# RUN: python %s > %t
# RUN: %diff %s.expect %t
print('FOO 0x2faf2ceafd4c656d')
print('FOO 0x4e93127a5fd4c654')
print('FOO 0x210623929946349f')
print('FOO 0x3b8650d157c3aee9')
print('FOO 0x24b42dc561445417')
print('FOO 0x6ecd200a23619ff')
print('FOO 0x748b9bad38d4bf67')
print('FOO 0x35e5a54cf1c40b8')
print('FOO 0x11aaf73e726ffc96')
print('FOO 0x4b9da17ac5bc1b41')
print('FOO 0x44f65b4c41075f0a')
print('FOO 0x5ecd059e58cf4b1e')
print('FOO 0x5fac4c4f387b56a1')
print('FOO 0x7cea3794da06695e')
print('FOO 0x3fafc659a29ca12b')
print('FOO 0x4cd2cd8c2f4c576f')
print('FOO 0x687c4e67f13a2140')
print('FOO 0x55e726cb9244f3ce')
print('FOO 0x7417d2062744d152')
print('FOO 0xabec76f3776bdaf')
print('FOO 0x54701db80e11a4b1')
print('FOO 0xfaca0b36b21c9ec')
print('FOO 0x12ac346d609cf3c1')
print('FOO 0x4c5b3121258355ba')
print('FOO 0x7d2eb1707106fc2a')
print('FOO 0x64681db6ef739b09')
print('FOO 0x1eeee1f93bf82c0e')
print('FOO 0x42a48b291455a77e')
print('FOO 0x555d846774db97bb')
print('FOO 0x7ac701c2faf4f441')
print('FOO 0x14b320fc0e4c8d99')
print('FOO 0x3cf718af5ca1d5eb')
print('FOO 0x6b80fded19b93db7')
print('FOO 0xdf693a80363abb2')
print('FOO 0x7f2fa90ba4611577')
print('FOO 0x434e3f79420f030')
print('FOO 0x337f1be95155d6c7')
print('FOO 0x366ff970bff06655')
print('FOO 0x5290d5161f2a5eee')
print('FOO 0x706393fad4488c7a')
print('FOO 0x5a8d5fc63d1ebb20')
print('FOO 0x324f59d0cf4090f5')
print('FOO 0x1d6730fc593fa75')
print('FOO 0x61af0797277727ff')
print('FOO 0x1a288a4ce11f841b')
print('FOO 0x55d28374f75de681')
print('FOO 0x76b983346fd2c2b')
print('FOO 0x7b505614ab15a5b8')
print('FOO 0x6280e0ac68ac2c53')
print('FOO 0x7c6f581d4e4d816')
print('FOO 0x6cef19cb907d2e10')
print('FOO 0x75a25c8d5d3e4486')
print('FOO 0x37974798bea341cc')
print('FOO 0x2175f47b103ef078')
print('FOO 0x69fc360f1b6ae3ac')
print('FOO 0x1e69550a0a8c9d55')
print('FOO 0x5668050b08084136')
print('FOO 0xb0a9008ce76590a')
print('FOO 0x356d8a7d1d46534b')
print('FOO 0x127a3fbd6275ea46')
print('FOO 0x4d2cac8ac73307e0')
print('FOO 0x6aec979276dc34c')
print('FOO 0x1beb4a389fd34196')
print('FOO 0x5258e5bb25e6f38e')
print('FOO 0x30c12fbad858ff4')
print('FOO 0x54d47ba08c60673a')
print('FOO 0x17618275da73e262')
print('FOO 0x72f5b1b2246e2373')
print('FOO 0x11f23dfaaa68da09')
print('FOO 0x7334b152b30fde34')
print('FOO 0x6bdd61b81c86db6c')
print('FOO 0x1a47c306d32ddf88')
print('FOO 0x6c4d7bf9899ec19a')
print('FOO 0x4c617192a99ae267')
print('FOO 0x6dbb41749db16326')
print('FOO 0x59df01b94addfc9a')
print('FOO 0x29dc1d57bea64fbe')
print('FOO 0x1fda7a296c9b4049')
print('FOO 0x44d24fd47dbc9f80')
print('FOO 0x4eb8d467a0698964')
print('FOO 0x3ff2b353b32f90fb')
print('FOO 0x9b2c85bf51eadd')
print('FOO 0x700d744724ed1ca6')
print('FOO 0x52e86c09633afd38')
print('FOO 0x959d225508558ba')
print('FOO 0x6e3b4913b13468a2')
print('FOO 0x35d1386b78b7ff3e')
print('FOO 0x1701fe14b72c7284')
print('FOO 0x4d4f7d8af3b42555')
print('FOO 0x152dbad89015c42')
print('FOO 0x5ace7d0944129391')
print('FOO 0xc36aacfbfe8f32d')
print('FOO 0x6aa158e36659fda7')
print('FOO 0x42576af6a3f4049e')
print('FOO 0x430244e8ea8f3aa3')
print('FOO 0x2356e76ff6a4e1e3')
print('FOO 0x277d4565be3f023a')
print('FOO 0x1a39e5e4626ae889')
print('FOO 0x7bd5cacf51697864')
print('FOO 0x280d025aef8525ce')
