# RUN: python %s > %t
# RUN: %diff %s.expect %t
print('FOO 0x7450bc566fc64ccb')
print('FOO 0x199c29f0587c05bd')
print('FOO 0x464ae110404d99df')
print('FOO 0x7c5b5fc1a95ad80c')
print('FOO 0x68a0e1e8449fcf4b')
print('FOO 0x60d267140709ba65')
print('FOO 0x32d82c7aad153b48')
print('FOO 0x324df93421b5a06c')
print('FOO 0x24bf6aafe092f2de')
print('FOO 0x7e236b244d580991')
print('FOO 0x4957b0f7691b133')
print('FOO 0x11f836bc0f7432cc')
print('FOO 0x452ef45d0e3ad563')
print('FOO 0x31d4f0e952ea3af9')
print('FOO 0x17143c7b0ed45c6a')
print('FOO 0x69c7e597d044fb0c')
print('FOO 0x5cd6aba34eb2e50e')
print('FOO 0x77563f88f3e0ae84')
print('FOO 0x4aa928f44abadb1b')
print('FOO 0x604143353eca4cb8')
print('FOO 0x1355375b4f3d7f1')
print('FOO 0x6ce09dbcb5aec84')
print('FOO 0x4ddc6f92f3c6225f')
print('FOO 0x52f26446eec13232')
print('FOO 0x4bcfdf3871e77901')
print('FOO 0x70a6b8e08c4068d7')
print('FOO 0x515522e0bcfe2004')
print('FOO 0x5aa36aac2ff62af9')
print('FOO 0x7fd453b86dfb9624')
print('FOO 0x7da80d96b514bea1')
print('FOO 0x1f4fc4a3bf7e9715')
print('FOO 0x42f20aec65d343b0')
print('FOO 0x5967979cfb156b5c')
print('FOO 0x485bf83f18ebb933')
print('FOO 0x64eecb7162eed3ce')
print('FOO 0x49aa5715527dc51')
print('FOO 0x7c3eb353da7686a2')
print('FOO 0x53ccdb24cd7532e6')
print('FOO 0x690a55925e3ddf90')
print('FOO 0x138b58339a7f8688')
print('FOO 0x5ec5da27cffe2b93')
print('FOO 0x21c30ade902851f2')
print('FOO 0x66268f09075a46aa')
print('FOO 0x49a701bf8fe0a5ba')
print('FOO 0x31fc12e9cdbb17a4')
print('FOO 0x72dcf84a5ace8fb3')
print('FOO 0x249f66ee30535a44')
print('FOO 0x3f38b19fc24bbcfe')
print('FOO 0x9d84419fb5103cd')
print('FOO 0x70eaf18c6d242905')
print('FOO 0x54e1ccf2ca6c8073')
print('FOO 0x7baf23aba6885b98')
print('FOO 0x35b08068bd6ae38b')
print('FOO 0x1bc5f81dafa05c5')
print('FOO 0x1514220dc6591e6f')
print('FOO 0x27bb84d95c853304')
print('FOO 0x4084544b26f6c775')
print('FOO 0x4151844736252c0c')
print('FOO 0x6db5dcb97cd12a06')
print('FOO 0x62563e13f12024d2')
print('FOO 0x67bc6fd225e14853')
print('FOO 0x1f678a87c9f41ec6')
print('FOO 0x3f0eedafdb6a1c26')
print('FOO 0x5c0f83a088cde2f8')
print('FOO 0x7a29e3beacab02ce')
print('FOO 0x786b84ad47d54751')
print('FOO 0x378195a1ffb0745f')
print('FOO 0x231595e25e9a11cd')
print('FOO 0x7300e28d57fad6fe')
print('FOO 0xa48254eba7dd59f')
print('FOO 0x35732844d9ec43d2')
print('FOO 0x45cff4c36418877b')
print('FOO 0x86c17534e724875')
print('FOO 0x12a8056528527de1')
print('FOO 0x3c9b0c3bcc88b84c')
print('FOO 0x53a3c53fc4b4d740')
print('FOO 0x3008d19c05e1eadb')
print('FOO 0x780455c5bc691106')
print('FOO 0x5cdd782e841b0bca')
print('FOO 0x57e4cd8ce4474891')
print('FOO 0x2f7ac516c1ba9151')
print('FOO 0x272faf00852bc088')
print('FOO 0xe70e4d80d8a9c5d')
print('FOO 0x5f1890b7be6c1e7d')
print('FOO 0x45fb483e316bb3d6')
print('FOO 0x33a000ee284b47bd')
print('FOO 0x1e8c8cde601ddaa7')
print('FOO 0x79fd2db34b64d609')
print('FOO 0x6d7858b7b3962c8c')
print('FOO 0x282e99ff346663f8')
print('FOO 0x131f88a3bed4092f')
print('FOO 0x206bdee963ee741f')
print('FOO 0x5ddb9cd4ed6b61d6')
print('FOO 0x23239e2bd328e4e5')
print('FOO 0x396d652e771e1d5d')
print('FOO 0x332dbcd2475652a3')
print('FOO 0x7168e01f846aaa3c')
print('FOO 0x673192d09afa2f92')
print('FOO 0x1da35c1edc9fa72e')
print('FOO 0x1375cabd273994d2')
