# RUN: python %s > %t
# RUN: %diff %s.expect %t
print('FOO 0x44b06badfa7576c5')
print('FOO 0x5efb4f12f114c653')
print('FOO 0x8b7c28568279da5')
print('FOO 0x23e8c5ffeb53825f')
print('FOO 0x708783d55899f364')
print('FOO 0x4a1edea17bd6ac')
print('FOO 0x701cd368631e7da6')
print('FOO 0x3cbc19ac02d7a7da')
print('FOO 0x28b4711e11c2214e')
print('FOO 0x7b5b02ae2b9862d7')
print('FOO 0x7d124938463ca801')
print('FOO 0x7fc4b748c73434d0')
print('FOO 0x1f7125f36a7f0748')
print('FOO 0x89eb497db810d0c')
print('FOO 0x60d26ec9e52c69bf')
print('FOO 0x1750424cf29ae758')
print('FOO 0x651fc92e936bf8f4')
print('FOO 0x5db13f1de1aa46f2')
print('FOO 0x21b0c1ce8b303638')
print('FOO 0x65a25d08246cdcf5')
print('FOO 0x47aeea6c2dfd948d')
print('FOO 0x527891ac17bbef0c')
print('FOO 0x6c60a103b288e39f')
print('FOO 0x33ad5ef50748d9bb')
print('FOO 0x345016620118db4b')
print('FOO 0x7b5c95cb8795220e')
print('FOO 0x223df60574e95b1c')
print('FOO 0x165145682e15db35')
print('FOO 0x37d392eb9972acd0')
print('FOO 0x3339caf94e9d763e')
print('FOO 0x1291cb186de31dce')
print('FOO 0x2b4993cd8c423d0b')
print('FOO 0x369e6266c7cee675')
print('FOO 0x3b2c6a20da6435bb')
print('FOO 0x274ed209f3b304f1')
print('FOO 0x63f4476ee64e85cb')
print('FOO 0x338a8285abd329a2')
print('FOO 0xacef59f2570fdae')
print('FOO 0x10877b4e6ffdf5a')
print('FOO 0x430af7aa5f1f5b73')
print('FOO 0x67e39aeb11f1d7a3')
print('FOO 0x20fb7a390b174c00')
print('FOO 0x1b27a96e27eabeff')
print('FOO 0x602894d99c143ea7')
print('FOO 0x15b278fabcfdeba')
print('FOO 0x4cff3e9b269c410f')
print('FOO 0x2fa37ce00bd35994')
print('FOO 0x2728badf8c255dd1')
print('FOO 0x268c41b6cb2004f9')
print('FOO 0x16cc21c8277486cc')
print('FOO 0x3f2b0675fe7bb9e4')
print('FOO 0x5d925c8c3553c617')
print('FOO 0x31b3b14c409d8a9d')
print('FOO 0x23282489d554e15e')
print('FOO 0xfd9deb242f5daf2')
print('FOO 0x17422eaec1830d1f')
print('FOO 0x3a90e84f312ed0fb')
print('FOO 0x5374d1008c4aa885')
print('FOO 0x5cc87d4551190ccc')
print('FOO 0x5df25d7fe00e3819')
print('FOO 0x260af0f4b859c3e')
print('FOO 0x422621e767ee5fd2')
print('FOO 0x7bcd350116184b5c')
print('FOO 0xc4b1032b3f480d2')
print('FOO 0x4c915ff7ef6311bd')
print('FOO 0x5d680fa242d00890')
print('FOO 0x6e6e22a8cba510b0')
print('FOO 0x79d9a1618e657b25')
print('FOO 0x161306fa60a0b0f')
print('FOO 0x7b2d1e20b1a04046')
print('FOO 0x1d1562d7a7d83e85')
print('FOO 0xf85fcd481dcda5f')
print('FOO 0x7bff553a1dc318a1')
print('FOO 0x35ba054a73b5e5f6')
print('FOO 0x4260d0beba37f58c')
print('FOO 0x49d7b9c90e9f41be')
print('FOO 0x2be378fb84b3a1b9')
print('FOO 0x40e1670d125a41b')
print('FOO 0x3581e3b53e7c4783')
print('FOO 0x755fb38e57c180b0')
print('FOO 0x3aef21401a2076f2')
print('FOO 0x5b859a1bb1d1dd90')
print('FOO 0x23b1d7c2d4711f67')
print('FOO 0x13b0064b0e3f3124')
print('FOO 0x224bff798711b1b7')
print('FOO 0x30c7cc28c722f3d2')
print('FOO 0x4a90b719aeb07db6')
print('FOO 0x450e86e185360e07')
print('FOO 0x6db83b4dffc7fd97')
print('FOO 0x14b1cfd3e9155789')
print('FOO 0x7498facbf73d5abb')
print('FOO 0x59564b4206585108')
print('FOO 0x3007da54942c3870')
print('FOO 0x562d53c243fe22d7')
print('FOO 0x35f8a012cbdd5091')
print('FOO 0x2a3c63920373b57a')
print('FOO 0x78ecef9bb839307b')
print('FOO 0x28dbcd8f276c3ac2')
print('FOO 0x6ca1a442f2fd956e')
print('FOO 0x36e1d1f8545f5457')
