# RUN: python %s > %t
# RUN: %diff %s.expect %t
print('FOO 0xc68ec5541dce77f')
print('FOO 0x604d45f265aec90a')
print('FOO 0x22527dbda43e7740')
print('FOO 0x14d138affd22bb42')
print('FOO 0x1f282cb7627070a')
print('FOO 0x69e277d3e1ffbe3')
print('FOO 0x66dafd61eaded544')
print('FOO 0x5930c672a78851de')
print('FOO 0x66c2e6af1150446a')
print('FOO 0x3fa56cc20604c16a')
print('FOO 0x47a0fbafac06350a')
print('FOO 0x6dc75f6fc354bccb')
print('FOO 0x1871d30b90ce99be')
print('FOO 0x47472cf2ac844d26')
print('FOO 0x211cc5a64f27576f')
print('FOO 0x4f01e6ced44ff2e2')
print('FOO 0x4fcd2bf5e0881e16')
print('FOO 0x236a20591491532c')
print('FOO 0x1e579345508a9bfb')
print('FOO 0x75bc9d4c506cd39')
print('FOO 0x2dd8e2984d0b5dea')
print('FOO 0x78d6908a2fb5dbaa')
print('FOO 0x54cc5b4da537e7fa')
print('FOO 0x738614c3835ad745')
print('FOO 0x550e6ab8f2ce75d4')
print('FOO 0x56706666851fedb0')
print('FOO 0x52dd219117932d9')
print('FOO 0x1a4c0377f1e1491f')
print('FOO 0x42f400b07c5398bb')
print('FOO 0x7a962e3deeba9e7d')
print('FOO 0x2b83f032accb58ea')
print('FOO 0x2f6ab668afa19848')
print('FOO 0x2fdb783ad3f88aff')
print('FOO 0x48ea21f3832de040')
print('FOO 0x7a18f3f2369d22e7')
print('FOO 0x4ca864d89eba558c')
print('FOO 0x4d2953f961dd0c8a')
print('FOO 0x78ab0b0fb1d90f85')
print('FOO 0x4f72184c5f8b7c2b')
print('FOO 0x237ec75a8494e940')
print('FOO 0x289da932b8a3669c')
print('FOO 0x4bc2a218f4e863f1')
print('FOO 0x53cec98521efd4f')
print('FOO 0x3055f761b0746935')
print('FOO 0x24e8dcbe01b78a8e')
print('FOO 0x5f784aead9b48457')
print('FOO 0x7024c61d43bfcecc')
print('FOO 0x22232de1237aa88c')
print('FOO 0x5513ba1fea45b0ff')
print('FOO 0x6accf34d633eef4')
print('FOO 0x6852dfc331915a6b')
print('FOO 0xd3cfc279ebc231')
print('FOO 0x10687dd8f9064f43')
print('FOO 0x3fd7153961746401')
print('FOO 0x4ae76106c2442a6d')
print('FOO 0x4c8627d8c2a16c65')
print('FOO 0x38ef5cf9cbbf060')
print('FOO 0x508d51a6e6fd1e0a')
print('FOO 0xab64515798c0fd')
print('FOO 0x5b2d3a8219d52cdd')
print('FOO 0x7a2b66c7c32aaafb')
print('FOO 0x1e4907862d68b2f1')
print('FOO 0x5521e18d3e2168f3')
print('FOO 0x63f39d147bebe8ab')
print('FOO 0x31c8369f1b1014d7')
print('FOO 0x7a02b648335ebc3d')
print('FOO 0x183a7ab3bd3e99b2')
print('FOO 0x652a122e1b465edd')
print('FOO 0x2c1867841d4799f3')
print('FOO 0x5809e2358488f740')
print('FOO 0x2a6b59aa90fb591c')
print('FOO 0x5f6dfa17b93d3c02')
print('FOO 0x30c10ffd4dd7a289')
print('FOO 0x59c3d23a99078361')
print('FOO 0x315cd6293a7c91aa')
print('FOO 0x24aa335923387490')
print('FOO 0x1f57ac3571689ddf')
print('FOO 0x525095bf38fb0634')
print('FOO 0x3094133d24b1a913')
print('FOO 0x4d2329dc2a259d67')
print('FOO 0x339c02846a3e271f')
print('FOO 0x6762fa949b0cfeb')
print('FOO 0x11111f64a1e6648')
print('FOO 0x664e098fd18d9a2d')
print('FOO 0x466c6477d59a6f63')
print('FOO 0x7aea25ed1ec8bb55')
print('FOO 0x6b05f8aa191d110c')
print('FOO 0x780b708817c9ac5f')
print('FOO 0x3d103f131362a475')
print('FOO 0x35396b41dae6e85b')
print('FOO 0x1bc696a2dd85')
print('FOO 0x1d21bbf922f35293')
print('FOO 0x41a1f67ec2eae2b6')
print('FOO 0x12cfb254c6f7e7cf')
print('FOO 0x2ee8733559be3469')
print('FOO 0x70fb5f4d83778253')
print('FOO 0x682f9d5973a33355')
print('FOO 0x30ee12a7101bcb74')
print('FOO 0x1105a7aaba62ea63')
print('FOO 0x620511d2c61eaae')
