# RUN: python %s > %t
# RUN: %diff %s.expect %t
print('FOO 0x6513270e269e0d37')
print('FOO 0xc5c7fd0a6a3a450')
print('FOO 0x1818e811892f902b')
print('FOO 0x36f675cc81e74ef5')
print('FOO 0x1600a35a099950d8')
print('FOO 0x6b0d549b6f03675a')
print('FOO 0x3d9c172411e20b8f')
print('FOO 0xf21ddb66cad4a26')
print('FOO 0xfd630f1f29d0da9')
print('FOO 0xcb1e29c658cda14')
print('FOO 0x3898d190f9ebdacc')
print('FOO 0x2217beaddbc496cb')
print('FOO 0x6b4cb2424a23d596')
print('FOO 0x1a61dbe22e44158b')
print('FOO 0x301850c5a38fd547')
print('FOO 0x18f135d25f557203')
print('FOO 0x7f15052434b9b5df')
print('FOO 0x7731af10506bf2ef')
print('FOO 0x5c90a9587403e430')
print('FOO 0x3f98e2774cbd87ad')
print('FOO 0x2e05319acb5c7427')
print('FOO 0x14f4733f3e7d1bfb')
print('FOO 0x4cdd2055930d6eaf')
print('FOO 0x7ebff20686734721')
print('FOO 0x57ee05cde00902c7')
print('FOO 0x72e6cc3ababced20')
print('FOO 0x12bd4acefaecbd38')
print('FOO 0x2a3af4d46b0a18e8')
print('FOO 0x5790f82ec1d3fcff')
print('FOO 0x6bf46c697d2caf82')
print('FOO 0x13deef86ab1031d0')
print('FOO 0x571242425051c1cc')
print('FOO 0x59a54a7bb1fee08f')
print('FOO 0x7f26144b98289fcd')
print('FOO 0x119a72d174c9df6a')
print('FOO 0x17f5e837d70820fe')
print('FOO 0x451abd81f1d69ed6')
print('FOO 0x10a3d6b2aa05e11a')
print('FOO 0x4f426dcbb394fb36')
print('FOO 0x72158370d269a9a5')
print('FOO 0x58d5563dab2cd31e')
print('FOO 0x5affb2297631a992')
print('FOO 0x7e62aa0a1df9fd78')
print('FOO 0x37dc76fb0f17a300')
print('FOO 0x49952399c4aaeac1')
print('FOO 0x65dc9f503f63af83')
print('FOO 0x7f1b103cdf1582b0')
print('FOO 0x2a96fb1a14a0f9e7')
print('FOO 0x66d2287672fdf202')
print('FOO 0x4720771f8ca81811')
print('FOO 0x230d977ee2257159')
print('FOO 0x6e36aab0d1bc52d9')
print('FOO 0x616499c9e25a7605')
print('FOO 0x3b1287fff52ddf5d')
print('FOO 0x153e7c2a26a2c0bd')
print('FOO 0x26bb7dbd2d1c9af0')
print('FOO 0x316909e3bbbe9ea')
print('FOO 0x2eae05cf96d0cc5f')
print('FOO 0x482c9cbc43435cc5')
print('FOO 0x254b0c4e010c4759')
print('FOO 0x519088f590fbbd11')
print('FOO 0x20203626f3fe39c0')
print('FOO 0x74e69a5d0dd27a65')
print('FOO 0x65e7e4236472f1a3')
print('FOO 0x64e50cad66237a04')
print('FOO 0x7b45145c1a81682c')
print('FOO 0x66836886a260cd0b')
print('FOO 0x30cbc97d0fef7928')
print('FOO 0x70ccec313571810a')
print('FOO 0x1c2442f9298cb3a5')
print('FOO 0x1a358ca00d75985d')
print('FOO 0x1200339d068739fa')
print('FOO 0x353c631cdfd43f37')
print('FOO 0x6050914a9d33a01c')
print('FOO 0x7961fd925d39d0a8')
print('FOO 0x1d87cec31f7296ab')
print('FOO 0x7cf20724d953ee26')
print('FOO 0x7afb2c68774b15d7')
print('FOO 0x4fd58dbe7bdc968b')
print('FOO 0x24e4e25a15fc899e')
print('FOO 0x7a86f7a243c71b9a')
print('FOO 0x3488f87605e999f3')
print('FOO 0x5c9bcf35873be078')
print('FOO 0x4c4f9b0687322e25')
print('FOO 0x174c77a2dd02de92')
print('FOO 0x5b0ee76f2ac34446')
print('FOO 0x3908f227c59db916')
print('FOO 0x31f51707da45e18a')
print('FOO 0x3d4882a5ce5b2a92')
print('FOO 0x66934036d17e4497')
print('FOO 0x332dd3313a0b9965')
print('FOO 0x7e26f36a8483f8b8')
print('FOO 0x78e4b98d4787f93b')
print('FOO 0x3192b70442594052')
print('FOO 0x5822cb77f4de2c08')
print('FOO 0x597a1ecffcf00fec')
print('FOO 0x149e259b5d58c705')
print('FOO 0x1a26f88938703800')
print('FOO 0x785729763a12917c')
print('FOO 0x5675f6ad325b55dd')
