# RUN: python %s > %t
# RUN: %diff %s.expect %t
print('FOO 0x3278e0a594ac807a')
print('FOO 0x337fdf27f24cdea7')
print('FOO 0x3141cbca0a8c81db')
print('FOO 0x67c84558730bda74')
print('FOO 0x42a2a94de07e1ef7')
print('FOO 0x7337ee9ff77badff')
print('FOO 0x48af5a426b4596fd')
print('FOO 0x32e93321ac7ad0a')
print('FOO 0x36a6d1a67d599072')
print('FOO 0x73ca374712cd0706')
print('FOO 0xfd5211d5e2a4901')
print('FOO 0x4d47f181227b276d')
print('FOO 0x2f37372208df1cf5')
print('FOO 0x4b274812de3cbdbd')
print('FOO 0x2c15c8f54f6e3ad7')
print('FOO 0x3e3156eeb9d3cee8')
print('FOO 0x135cad9ae9d4f88b')
print('FOO 0x3390235d28a2a5a8')
print('FOO 0x200f62ad72c46d9d')
print('FOO 0x21971b1d214d823d')
print('FOO 0x7ccbd263a365a26')
print('FOO 0x1977e32bb80505e3')
print('FOO 0x44e9f02896e2e331')
print('FOO 0x20d659f36661e30f')
print('FOO 0x41dc262249131c24')
print('FOO 0x766e4c58347a2d37')
print('FOO 0x32dddadae76556de')
print('FOO 0x3a4e572b9c1f053e')
print('FOO 0x1788bb999eb45fca')
print('FOO 0x1678c2f5e146d67b')
print('FOO 0x52196d074c5b5b21')
print('FOO 0x726dd114b1e404be')
print('FOO 0x41abc9e27c75f220')
print('FOO 0x7d23ec06b44c13a9')
print('FOO 0x101ea4f9e1bf06c6')
print('FOO 0xb607e0620d38770')
print('FOO 0x3be05ab4849404b6')
print('FOO 0x496cacfd08bd82d6')
print('FOO 0x9a689420f04b34e')
print('FOO 0x1fc427e211aa3ab3')
print('FOO 0xc543bcaf44819bd')
print('FOO 0xe13559a7d8b3902')
print('FOO 0x54e96ca6994a0345')
print('FOO 0x5802ac1de4c75c64')
print('FOO 0x12357508fc68d00b')
print('FOO 0x259e6d4821513c4a')
print('FOO 0x5f6db496d63a6aaa')
print('FOO 0x1a7c357c69b02454')
print('FOO 0x26a786847cb535e9')
print('FOO 0x37595f4492875e68')
print('FOO 0x69ecdb5c21b3e36')
print('FOO 0x24eacf6d0b42933c')
print('FOO 0xe747373c58bf76f')
print('FOO 0x5f411b6a6b2c2be2')
print('FOO 0x167682ff7fef5d99')
print('FOO 0x65bf034a876e899b')
print('FOO 0x75042508667177ca')
print('FOO 0x6b07c1ffcf5a2b37')
print('FOO 0x57dbf3d515354403')
print('FOO 0x3409be50d26ad6f9')
print('FOO 0x60cdb894ca01fd08')
print('FOO 0x60f6229fa35e98c4')
print('FOO 0x1d88011cb6dda1d4')
print('FOO 0x35561a94b2de585e')
print('FOO 0x4ed075d03ca9d52c')
print('FOO 0xceb9bcee3fd487f')
print('FOO 0x4a62f27529a60741')
print('FOO 0x1e69d8bd4e87e54c')
print('FOO 0x71ba601b06516d79')
print('FOO 0xbfe8f8b9ed488cd')
print('FOO 0x3368ea579408ef23')
print('FOO 0x44bd9f9e7dbde902')
print('FOO 0x1b25f6dad6462ad1')
print('FOO 0x5ce94ba85d815c65')
print('FOO 0x1add89403ef718dc')
print('FOO 0x1e2422a2e0451480')
print('FOO 0x54085ee920be40d5')
print('FOO 0x6c42cbc769a9cf4a')
print('FOO 0x26a7532a537f18d8')
print('FOO 0x34f83d25a2f64aa4')
print('FOO 0x5db2069a438228b4')
print('FOO 0x1bff81c50b004db')
print('FOO 0x29b015a35b5a7143')
print('FOO 0x14f83c63f666ab7d')
print('FOO 0x550a33bb958e80c3')
print('FOO 0x2a76f76585ede754')
print('FOO 0x7a2a655c3317c1f2')
print('FOO 0x59ef80643876fe95')
print('FOO 0x67741862168a352')
print('FOO 0x73cfddd2260aef21')
print('FOO 0x2f77811607f0448a')
print('FOO 0x11b3865ecea46caa')
print('FOO 0x33445b9c2541d075')
print('FOO 0x57a2414be7b94803')
print('FOO 0x6523fcd676734823')
print('FOO 0x6b12052fb6404950')
print('FOO 0x1a5200b8c15eb136')
print('FOO 0x5509a20fcff32ad1')
print('FOO 0x1593406118ae8079')
print('FOO 0x3c516d6c585c380e')
