# RUN: python %s > %t
# RUN: %diff %s.expect %t
print('FOO 0x3eff111c2974bcb6')
print('FOO 0x417e93af8d6568e2')
print('FOO 0x76afdd56f7c630a4')
print('FOO 0x57a87375a1011f73')
print('FOO 0x630358085c377356')
print('FOO 0x471718d2ff28e85f')
print('FOO 0x1f24518fbdd47bb')
print('FOO 0x1d2815feda423ed3')
print('FOO 0x857f4dc42198998')
print('FOO 0x58e6f2fe2d7942b5')
print('FOO 0x4cb858e89da7ba99')
print('FOO 0x72f493b55e016f45')
print('FOO 0x78b958cc2a23b9c')
print('FOO 0x2b00ccaad654325f')
print('FOO 0x347bb917859eb79')
print('FOO 0xf83abc8e819c861')
print('FOO 0x1b32d620fc75673b')
print('FOO 0x1b8e5ca59795a6e9')
print('FOO 0x5eac43b7f5da4b97')
print('FOO 0x7c1dc2281cada484')
print('FOO 0x7eca1be073481bd2')
print('FOO 0x709f07e4c355143c')
print('FOO 0x2a5221aa6ceff16')
print('FOO 0x6f1fe559fb782707')
print('FOO 0xa7635eec93534d2')
print('FOO 0x7971a522ff3554ca')
print('FOO 0x1981970e8a0d3ffe')
print('FOO 0x4e97487ad058a8a9')
print('FOO 0x75c84614d49c1e83')
print('FOO 0x53db4fcc07022b52')
print('FOO 0x689e6a1f9480c978')
print('FOO 0x473df236dba43d6f')
print('FOO 0x7816bc94ba959441')
print('FOO 0x7bf5ff1d961fd9bd')
print('FOO 0x5299486c0db63365')
print('FOO 0x4ec5fc6c7702f6b3')
print('FOO 0x717f045c9875f03d')
print('FOO 0x33f22bacfb667e68')
print('FOO 0x5a3585e68d2db32e')
print('FOO 0x40b500314b62714a')
print('FOO 0x2db3798ac8ec2247')
print('FOO 0x4c5072a11cc8e816')
print('FOO 0x28234975a90a9c5c')
print('FOO 0x6bda9732ad6fe5c6')
print('FOO 0x13ccc02bb9d2beaa')
print('FOO 0x7001ea6aab206177')
print('FOO 0x724a9e0fba7380a8')
print('FOO 0x61a599a57a56bb0c')
print('FOO 0x23c6292d477dea9b')
print('FOO 0x668e8a2dc6c9fcbc')
print('FOO 0x513a0d8662ca4fec')
print('FOO 0x66c98f5651eb1e20')
print('FOO 0x5460767faf975866')
print('FOO 0x752a07a18d78f203')
print('FOO 0x7a74e83f530e316a')
print('FOO 0x1fe49ab89b3db26a')
print('FOO 0x644d3636218430b3')
print('FOO 0x42c7fb9769a762e0')
print('FOO 0x6413c4690da5e5a1')
print('FOO 0x87a3839461fb274')
print('FOO 0x52fdef2cee380767')
print('FOO 0x4a1a682c00c8707e')
print('FOO 0x73b2a9fbf41eb130')
print('FOO 0x593248db24358056')
print('FOO 0x145b8d86462f4db1')
print('FOO 0x7c40218ebcfaa119')
print('FOO 0x3dca639000790ded')
print('FOO 0x2f971a006f6dbcc2')
print('FOO 0x2b26440ed3289be')
print('FOO 0x7a3a581894c1f8ad')
print('FOO 0x22779982a2da1496')
print('FOO 0x6afc8cf868cc45cf')
print('FOO 0x7d1ab57334a6b812')
print('FOO 0xddae780f0f831a4')
print('FOO 0x7565bbd3d8a1535d')
print('FOO 0x67ceef7f757dd3d3')
print('FOO 0xbc4d1edfbda066c')
print('FOO 0x4ba6afdb1e209714')
print('FOO 0x13d8371d81c3c667')
print('FOO 0x31b9629a90b3ff37')
print('FOO 0x2544544adaffc28b')
print('FOO 0x10a6df77a7f1d5a3')
print('FOO 0x333f71d7834c73b4')
print('FOO 0x70d06204d1e4ae42')
print('FOO 0x397a6c265b324030')
print('FOO 0x3b09e1277c75c1e6')
print('FOO 0x7b5705c3112d097c')
print('FOO 0x2b103e6635376440')
print('FOO 0x620860a2cddccd0e')
print('FOO 0x1c8c97743968ca3d')
print('FOO 0x78858a39cf0d0315')
print('FOO 0x4384f4886ee8f79')
print('FOO 0x30a1d447025c619d')
print('FOO 0x549a296104418d32')
print('FOO 0x4c332aa34cdc8388')
print('FOO 0x2934646a154ab827')
print('FOO 0x183fcd6f4d968499')
print('FOO 0x24314dd224998e2')
print('FOO 0xf19b1832f83012c')
print('FOO 0x5355fdc2c7a1ada3')
