# RUN: python %s > %t
# RUN: %diff %s.expect %t
print('FOO 0x6bcefab3a3b48c4a')
print('FOO 0x1a004483b96ba5cb')
print('FOO 0x5dcc39d710f48bb9')
print('FOO 0x769dd09fb2a724d8')
print('FOO 0xb2eaa635ffb86c8')
print('FOO 0x53fa573e58358c1b')
print('FOO 0x4ecfd2bdba023ff2')
print('FOO 0x6696e05995351857')
print('FOO 0x15993b809ce04f5a')
print('FOO 0x7d0ee92d872e3aca')
print('FOO 0x6fc71631240d65d0')
print('FOO 0x3f1721b686df6545')
print('FOO 0x616187f902fd987b')
print('FOO 0x25627009064abb41')
print('FOO 0x1a3a2eca79bc971e')
print('FOO 0x1d4fb0b7400d2a69')
print('FOO 0x20cf3703bf4e258f')
print('FOO 0x750c396ae4c4fcb7')
print('FOO 0x1e03355416373798')
print('FOO 0x64fec11dc589857a')
print('FOO 0x5b1f21322ecdf3d3')
print('FOO 0x7d06044a6b33ad27')
print('FOO 0x2dca8a7e438c96e6')
print('FOO 0x439f19856ef9c1d9')
print('FOO 0x141dff2e5f717e79')
print('FOO 0x4de01da33f8006e1')
print('FOO 0x2596ca18075db052')
print('FOO 0x3d40d9e7ef25b482')
print('FOO 0x5d3284cfcbc7147c')
print('FOO 0x1114f501d7b25a9e')
print('FOO 0x96e5305fea7969a')
print('FOO 0x60bd098d388dcaee')
print('FOO 0x108c8ee2a8568866')
print('FOO 0xbef2adc95f0c20e')
print('FOO 0x716d2a678afdbabf')
print('FOO 0x19f03f2cc8e144b')
print('FOO 0x602b6ac125361dcb')
print('FOO 0x323d06c14382070e')
print('FOO 0x573ae2970865602d')
print('FOO 0x4090a374b075a412')
print('FOO 0x76470a8b15fc0835')
print('FOO 0x4866976d355510aa')
print('FOO 0x2236f74142edd780')
print('FOO 0x2f6014dc6b15cbf5')
print('FOO 0x6098e7ea3d69d9d0')
print('FOO 0x1819c64e0abf25ea')
print('FOO 0x71646061b156c223')
print('FOO 0x6287b52d9d385a69')
print('FOO 0x1bef538a4bb1556')
print('FOO 0x68acbe57c5ef911d')
print('FOO 0x78eb9af2a088f47b')
print('FOO 0x510a8f9670adf8c8')
print('FOO 0x373b051f2f87e24a')
print('FOO 0x1b8aff58b5f235db')
print('FOO 0x59949112b481eb7')
print('FOO 0x360863ba3e0eebf6')
print('FOO 0x4f5f07d79f163e02')
print('FOO 0x1e57e13197c51de7')
print('FOO 0xc28d3f35df4b871')
print('FOO 0x75502b5d6cd411f6')
print('FOO 0x66de964d818b1ff3')
print('FOO 0x33540b6ca05e94d1')
print('FOO 0x4570ebf35a7799d8')
print('FOO 0x276945681b50431b')
print('FOO 0x4297f885e6db4e0d')
print('FOO 0x1a1961cec6a6f6eb')
print('FOO 0xe39e7b30bb91382')
print('FOO 0x6274db2681b83315')
print('FOO 0x409c2b2153f91a12')
print('FOO 0x1fe3e2316fd2c1be')
print('FOO 0x6e3ffe396adb77bd')
print('FOO 0x72898abc95de6f03')
print('FOO 0x2e5f26e33c2256ac')
print('FOO 0x2231ec22db04844a')
print('FOO 0x438cdf2cf99534e2')
print('FOO 0x46696cf440166466')
print('FOO 0x4e22e2bc98232c8b')
print('FOO 0x446950d0e08b19ea')
print('FOO 0x286946db90e40010')
print('FOO 0x4c03ef078796e113')
print('FOO 0x9ab188f00a0f361')
print('FOO 0x3f1203c301382d81')
print('FOO 0x55c43e58818ffc9a')
print('FOO 0x1fd36c64d38cf3c1')
print('FOO 0x7e3d3014248b2572')
print('FOO 0x4a284fe7d3e71811')
print('FOO 0x87096aef85330cb')
print('FOO 0x6aecf827aff5be85')
print('FOO 0x3c226d15e548faef')
print('FOO 0xe9491ea6a4db331')
print('FOO 0x2960b2a02bccf2bc')
print('FOO 0x2ba0f1041f6436bc')
print('FOO 0x6e3397fddb07bcf6')
print('FOO 0x7274567189d670e7')
print('FOO 0x417374bbb32e4a3c')
print('FOO 0x2c42716246d4b63')
print('FOO 0xd1b96d7e2fb82b')
print('FOO 0x2e7d3b0394e885ea')
print('FOO 0x40b495086fcd6e0')
print('FOO 0x43bcd052447fbacd')
