# RUN: python %s > %t
# RUN: %diff %s.expect %t
print('FOO 0x5d357ffe4423f60d')
print('FOO 0x547e1371f867f338')
print('FOO 0x3971d00b513fbea0')
print('FOO 0x58e0aff5273fd14b')
print('FOO 0x1937f9a9d34525ba')
print('FOO 0x58f6f004facf1de9')
print('FOO 0x38ee2c0651c02d66')
print('FOO 0x1198da733060458c')
print('FOO 0x6dca3d159b84bd80')
print('FOO 0x16c5deada28e9f8b')
print('FOO 0x1062a1d3f663558e')
print('FOO 0x5592002fd32ce3dd')
print('FOO 0x1773fd26e27a042')
print('FOO 0x566312953a2b2995')
print('FOO 0x6f35d36bee159bab')
print('FOO 0x33797ec01b156412')
print('FOO 0x7155865ce92afe7b')
print('FOO 0x206a39c575c20cd9')
print('FOO 0x1f714010943e4ae8')
print('FOO 0x1e16e40fd1c6d908')
print('FOO 0x6d4a739b7f00bba3')
print('FOO 0x7fd890522007275d')
print('FOO 0x4cee385e843f529f')
print('FOO 0x2675d52b84487563')
print('FOO 0x5bbfe93601b9f3be')
print('FOO 0x790430746934053a')
print('FOO 0x298abe2f3964218a')
print('FOO 0x419276e023090e38')
print('FOO 0x56000d563ee97d30')
print('FOO 0xc121ab184933c87')
print('FOO 0x4317c4feed230840')
print('FOO 0x6bd30d4d8740eb29')
print('FOO 0x6409ffd6d22b4f67')
print('FOO 0x16cb8672785de903')
print('FOO 0x1f03c874673126aa')
print('FOO 0xd359fb65cce6550')
print('FOO 0x114a125f04e917da')
print('FOO 0x4eb4c69102430dbc')
print('FOO 0x16bce8a97f70d1f7')
print('FOO 0x28f374e04d2eb9d1')
print('FOO 0x3242436e6e0418f9')
print('FOO 0x2dfbdc216814857')
print('FOO 0x21d6de1a28dec4b0')
print('FOO 0x7859355249e96bd')
print('FOO 0x5b018466f559d15f')
print('FOO 0x2dcb0675040d2bba')
print('FOO 0xd854822800a6fa3')
print('FOO 0x4ed6ea63feee610a')
print('FOO 0x26142da706ce097f')
print('FOO 0x67769ef97e7aaca6')
print('FOO 0x590fb12a6e9e8a6d')
print('FOO 0x27359fe98a31f6d5')
print('FOO 0x487dfbdf9ae14927')
print('FOO 0x5377567c60c7c5d0')
print('FOO 0x253693ef0b60fbad')
print('FOO 0x48d9798f7af8743b')
print('FOO 0x509b7b211d2aec93')
print('FOO 0x6120de63d99d8827')
print('FOO 0x19755ff01f673b3f')
print('FOO 0x117afc5f8f477324')
print('FOO 0x1b4005c8072b1339')
print('FOO 0x400f145b77313a5d')
print('FOO 0x4392ac0cc8490a0e')
print('FOO 0x397f9410d4c2f1ee')
print('FOO 0x32eded0cf597416a')
print('FOO 0x4c4d62d23fc09ffc')
print('FOO 0x3f4b9331fa0c0164')
print('FOO 0x7f86c5bc8fc80544')
print('FOO 0x3ddda8a22f4c59d7')
print('FOO 0x19b250cfec637f31')
print('FOO 0x2843fb62cdb9b4d1')
print('FOO 0x6fa65051aaa1e57a')
print('FOO 0x3a5377fbf6c7eb78')
print('FOO 0x640f25ac7c41e917')
print('FOO 0xc7c4381e4b47c4e')
print('FOO 0x4e661f3d865c73db')
print('FOO 0x1e1920f37e9f1e35')
print('FOO 0x2af5dde728432531')
print('FOO 0x7d5e1603271e314')
print('FOO 0x31388fb33b25617a')
print('FOO 0x7e0506d1c8748e04')
print('FOO 0x77f26dedaca455fc')
print('FOO 0x1d943a81f38b1a9b')
print('FOO 0x5b238b9a09cbdc27')
print('FOO 0x3975acd0165eb211')
print('FOO 0x1b77b2b62552754b')
print('FOO 0x1ec8b0eb70aa0ec4')
print('FOO 0x2bc7e9c03621abc8')
print('FOO 0x1a6ca8890eac51b0')
print('FOO 0x1597cef0f142155b')
print('FOO 0x67f638f35c35de79')
print('FOO 0xb059628061f9439')
print('FOO 0x79ece5e660a4ed7e')
print('FOO 0x501d6b9a987a6b66')
print('FOO 0x760d47767b12b447')
print('FOO 0x7492a8d33f13370f')
print('FOO 0x1efc4b63dcb5e745')
print('FOO 0x3e2d6f23faa791d8')
print('FOO 0x27e2ceacaa01b90e')
print('FOO 0x23e77ce88923b7c')
