
// Leap Second table


C                                         1972 July 1
      IF (UTC.GE.41498D0) DT=11D0
C                                         1973 January 1
      IF (UTC.GE.41683D0) DT=12D0
C                                         1974 January 1
      IF (UTC.GE.42048D0) DT=13D0
C                                         1975 January 1
      IF (UTC.GE.42413D0) DT=14D0
C                                         1976 January 1
      IF (UTC.GE.42778D0) DT=15D0
C                                         1977 January 1
      IF (UTC.GE.43144D0) DT=16D0
C                                         1978 January 1
      IF (UTC.GE.43509D0) DT=17D0
C                                         1979 January 1
      IF (UTC.GE.43874D0) DT=18D0
C                                         1980 January 1
      IF (UTC.GE.44239D0) DT=19D0
C                                         1981 July 1
      IF (UTC.GE.44786D0) DT=20D0
C                                         1982 July 1
      IF (UTC.GE.45151D0) DT=21D0
C                                         1983 July 1
      IF (UTC.GE.45516D0) DT=22D0
C                                         1985 July 1
      IF (UTC.GE.46247D0) DT=23D0
C                                         1988 January 1
      IF (UTC.GE.47161D0) DT=24D0
C                                         1990 January 1
      IF (UTC.GE.47892D0) DT=25D0

double LeapSeconds [][2] = {
    // Date                     TAI-UTC
# 1972 JAN  1,  10.0
2441317.5
# 1972 JUL  1,  11.0
2441499.5
# 1973 JAN  1,  12.0
2441683.5
# 1974 JAN  1,  13.0
2442048.5
# 1975 JAN  1,  14.0
2442413.5
# 1976 JAN  1,  15.0
2442778.5
# 1977 JAN  1,  16.0
2443144.5
# 1978 JAN  1,  17.0
2443509.5
# 1979 JAN  1,  18.0
2443874.5
# 1980 JAN  1,  19.0
2444239.5
# 1981 JUL  1,  20.0
2444786.5
# 1982 JUL  1,  21.0
2445151.5
# 1983 JUL  1,  22.0
2445516.5
# 1985 JUL  1,  23.0
2446247.5
# 1988 JAN  1,  24.0
2447161.5
# 1990 JAN  1,  25.0
2447892.5
# 1991 JAN  1,  26.0
2448257.5
# 1992 JUL  1,  27.0
2448804.5
# 1993 JUL  1,  28.0
2449169.5
# 1994 JUL  1,  29.0
2449534.5
# 1996 JAN  1,  30.0
2450083.5
# 1997 JUL  1,  31.0
2450630.5
# 1999 JAN  1,  32.0
2451179.5
# 2006 JAN  1,  33.0
2453736.5
# 2009 JAN  1,  34.0
2454832.5
