# RUN: python %s > %t
# RUN: %diff %s.expect %t
print('FOO 0x6eb58eea34854702')
print('FOO 0x20bc3fd70e87a553')
print('FOO 0x7a2d4f33c3b072e1')
print('FOO 0x2bef1f6b80b36714')
print('FOO 0x6dfa23e7a2ac704c')
print('FOO 0x3e113028f427d2bb')
print('FOO 0x33b29589d819c90f')
print('FOO 0x24ea816a38e7741b')
print('FOO 0x376c1fdf21211a73')
print('FOO 0x7bb1ae6998f2ffd2')
print('FOO 0x63808ad7f4e89322')
print('FOO 0x3e5f8d205d415f26')
print('FOO 0x7c7259207e1e5a8')
print('FOO 0x76de673501f7f5ca')
print('FOO 0x50491a5c8fa5c61f')
print('FOO 0x51b62296d0e1d010')
print('FOO 0x6e984de36c676bf5')
print('FOO 0xe635a193363254d')
print('FOO 0x32873e8140239db3')
print('FOO 0x27eef2ff84b09fc5')
print('FOO 0x1973fe3a0f152c71')
print('FOO 0x203646e0132c0c5d')
print('FOO 0xc08e4b40b74a7ce')
print('FOO 0x37d1b3a46820d71c')
print('FOO 0x53a885ad8b2f225b')
print('FOO 0x68411bdf1aabe163')
print('FOO 0xb86cadfc8a3326a')
print('FOO 0x6ba44238f13522e0')
print('FOO 0x75168e5eb4db8e74')
print('FOO 0x1328111194dfe774')
print('FOO 0x5a2f92c70a5fc815')
print('FOO 0x46c69697f59592e3')
print('FOO 0x6fae5523b2aa4460')
print('FOO 0x26e559740b49560a')
print('FOO 0x2165d6f914dd152')
print('FOO 0x1c8dc94785d25576')
print('FOO 0x8843dfa79fc596b')
print('FOO 0x2edb61ac94fef0d5')
print('FOO 0xc7755836dfbaf7f')
print('FOO 0x29f400096d978fa0')
print('FOO 0x4aafb45110630fdf')
print('FOO 0x1115a2001933f0fb')
print('FOO 0x46d4766af0bfa6fe')
print('FOO 0x5257df30efe492b2')
print('FOO 0x76ab009652bf360')
print('FOO 0x1c61580f19c2d00f')
print('FOO 0x34f6ad26f73f24a9')
print('FOO 0x3ce5c7a6708cbcda')
print('FOO 0x3bff589d4e5e74d1')
print('FOO 0x62c7f4a4fbb5511b')
print('FOO 0x50f9a2c1ce9ba3ec')
print('FOO 0x14dc068eb3292708')
print('FOO 0x10e6e6c5a74219e2')
print('FOO 0x27871fdabb7b2246')
print('FOO 0x610fc520b4c08cf')
print('FOO 0x65a7ab0624d291b9')
print('FOO 0x52cd07593e0abd73')
print('FOO 0x334fd56e11398340')
print('FOO 0x52e7b46547f85408')
print('FOO 0x7867f4696f75c1ce')
print('FOO 0x3d4f52757fdb149d')
print('FOO 0x19ab090db6ed7405')
print('FOO 0x5f2267e1a8671dd')
print('FOO 0x363de98f368b0849')
print('FOO 0x197f2ee5c1f2c581')
print('FOO 0x2262ee11bbf46b2f')
print('FOO 0x2a4bda8b8a98e220')
print('FOO 0x2a00fc05cb6a7845')
print('FOO 0xe29919dfc382730')
print('FOO 0x635d894f0d9b3489')
print('FOO 0x6ac4500f1db532b0')
print('FOO 0x57a0786934b4f69d')
print('FOO 0x3b0c16ba2af2d496')
print('FOO 0x4dd9643903fdf6df')
print('FOO 0x6ac9ef8142ed2a34')
print('FOO 0x7008f88c8614c5df')
print('FOO 0x7e1bf21bb89557e8')
print('FOO 0x4ac1cb7aa5eba471')
print('FOO 0x678e510f43032350')
print('FOO 0x2fa038f34ec1b686')
print('FOO 0x4bedcf27994951d4')
print('FOO 0x6b4b3298b6da1807')
print('FOO 0x51f7eb37b58a7a35')
print('FOO 0x35aec20fc33451b8')
print('FOO 0x4bf0425a77cd01c8')
print('FOO 0x2279dd57127aa291')
print('FOO 0x15707977b037321a')
print('FOO 0x5a97e8ecb14383f8')
print('FOO 0x7bd719be1e497083')
print('FOO 0x7ec7186e6553c784')
print('FOO 0x407926856ae2e786')
print('FOO 0x7df6cc6acfb78776')
print('FOO 0x119a9789a66ca5ee')
print('FOO 0x38c20169778ee1a4')
print('FOO 0x2468218144373541')
print('FOO 0x1bf2c979b0dc57ec')
print('FOO 0x385cde438d22de56')
print('FOO 0x1b8094fa779dd138')
print('FOO 0x7b818606726d1a59')
print('FOO 0x3919c34c4c526795')
