On Thu, May 17, 2018 at 2:51 PM Alexander Belopolsky <alexander.belopolsky@gmail.com> wrote:

TAI                  | UTC   
---------------------+--------------------
2016-12-31T23:59:35  | 2016-12-31T23:59:59
2016-12-31T23:59:36  | 2016-12-31T23:59:60
2016-12-31T23:59:37  | 2017-01-01T00:00:00

this correspondence can be implemented in Python using the following datetime objects:

TAI                            | UTC   
-------------------------------+-------------------------------------------
datetime(2016,12,31,23,59,35)  | datetime(2016,12,31,23,59,59)
datetime(2016,12,31,23,59,36)  | datetime(2016,12,31,23,59,59,fold=1)
datetime(2016,12,31,23,59,37)  | datetime(2017,1,1,0,0,0)



Correction: 2016-01-01 in the tables I presented before should be read as 2017-01-01 and similarly for the datetime fields.