/******** Generated on 2020/10/14 08:13:55 *********/

// Leapsecond times in utc
const long long leapseconds_utc[]={
    63072000000000000,  // 1972/01/01: 10
    78796800000000000,  // 1972/07/01: 11
    94694400000000000,  // 1973/01/01: 12
   126230400000000000,  // 1974/01/01: 13
   157766400000000000,  // 1975/01/01: 14
   189302400000000000,  // 1976/01/01: 15
   220924800000000000,  // 1977/01/01: 16
   252460800000000000,  // 1978/01/01: 17
   283996800000000000,  // 1979/01/01: 18
   315532800000000000,  // 1980/01/01: 19
   362793600000000000,  // 1981/07/01: 20
   394329600000000000,  // 1982/07/01: 21
   425865600000000000,  // 1983/07/01: 22
   489024000000000000,  // 1985/07/01: 23
   567993600000000000,  // 1988/01/01: 24
   631152000000000000,  // 1990/01/01: 25
   662688000000000000,  // 1991/01/01: 26
   709948800000000000,  // 1992/07/01: 27
   741484800000000000,  // 1993/07/01: 28
   773020800000000000,  // 1994/07/01: 29
   820454400000000000,  // 1996/01/01: 30
   867715200000000000,  // 1997/07/01: 31
   915148800000000000,  // 1999/01/01: 32
  1136073600000000000,  // 2006/01/01: 33
  1230768000000000000,  // 2009/01/01: 34
  1341100800000000000,  // 2012/07/01: 35
  1435708800000000000,  // 2015/07/01: 36
  1483228800000000000,  // 2017/01/01: 37
  };


// Leapseconds times in tai
const long long leapseconds_tai[]={
    63072010000000000,  // 1972/01/01: 10
    78796811000000000,  // 1972/07/01: 11
    94694412000000000,  // 1973/01/01: 12
   126230413000000000,  // 1974/01/01: 13
   157766414000000000,  // 1975/01/01: 14
   189302415000000000,  // 1976/01/01: 15
   220924816000000000,  // 1977/01/01: 16
   252460817000000000,  // 1978/01/01: 17
   283996818000000000,  // 1979/01/01: 18
   315532819000000000,  // 1980/01/01: 19
   362793620000000000,  // 1981/07/01: 20
   394329621000000000,  // 1982/07/01: 21
   425865622000000000,  // 1983/07/01: 22
   489024023000000000,  // 1985/07/01: 23
   567993624000000000,  // 1988/01/01: 24
   631152025000000000,  // 1990/01/01: 25
   662688026000000000,  // 1991/01/01: 26
   709948827000000000,  // 1992/07/01: 27
   741484828000000000,  // 1993/07/01: 28
   773020829000000000,  // 1994/07/01: 29
   820454430000000000,  // 1996/01/01: 30
   867715231000000000,  // 1997/07/01: 31
   915148832000000000,  // 1999/01/01: 32
  1136073633000000000,  // 2006/01/01: 33
  1230768034000000000,  // 2009/01/01: 34
  1341100835000000000,  // 2012/07/01: 35
  1435708836000000000,  // 2015/07/01: 36
  1483228837000000000,  // 2017/01/01: 37
  };