# RUN: python %s > %t
# RUN: %diff %s.expect %t
print('FOO 0x4da4f9fc3c6da5d7')
print('FOO 0x7a97c643656412a9')
print('FOO 0x1710cf5327ac435a')
print('FOO 0x512bd1311072231')
print('FOO 0x4a14876aeaff1a09')
print('FOO 0xf1099c6c3e1b258')
print('FOO 0x5c3902b38963dc6e')
print('FOO 0x43000de01b2ed40e')
print('FOO 0x6905269ed6f0b09')
print('FOO 0x42a00403ce80c4b0')
print('FOO 0x459142deccea2645')
print('FOO 0x2a3187853184ff27')
print('FOO 0x4a25e4664f5253a0')
print('FOO 0x5f552773e14b0190')
print('FOO 0x566002249b191bf4')
print('FOO 0x634f806fabf4a07c')
print('FOO 0x3fb62d2c81862fc9')
print('FOO 0x3f5082492d83a823')
print('FOO 0x47adec26793d0e45')
print('FOO 0x1d89a024cdce7a6')
print('FOO 0x4abcb06ae8abb93f')
print('FOO 0x4fcfa583e1df8af9')
print('FOO 0x31f3b9238224b122')
print('FOO 0x6c79a3de69f85e31')
print('FOO 0x49c7b59b995253fd')
print('FOO 0x738d243a6e58d5ca')
print('FOO 0x3bb4a570294c4ea3')
print('FOO 0x4278c2614e1bcb38')
print('FOO 0x14c15c910b11ad28')
print('FOO 0x7671863c0bdbc23a')
print('FOO 0x2522d53857c49391')
print('FOO 0x11021c9e32111ac1')
print('FOO 0x70ef55b1a1f65507')
print('FOO 0x2f0733c846bbe9e8')
print('FOO 0x6f98bca35b17b966')
print('FOO 0x32decd6b8efbc170')
print('FOO 0x52d32377e78131c1')
print('FOO 0x4708d9893a973000')
print('FOO 0x1f44ebd13cc75f3e')
print('FOO 0x4a7a03052d733dcd')
print('FOO 0x692b534758240df')
print('FOO 0x5b69dc230af5ac87')
print('FOO 0x1525f363b281b888')
print('FOO 0x4922b9ccf469aef8')
print('FOO 0x53be4721f5b9e1f5')
print('FOO 0x52a3b18104a7f007')
print('FOO 0x52595daf49fbac36')
print('FOO 0x272515cdf74c3816')
print('FOO 0x13e7d611d163b764')
print('FOO 0x4ac034cf71b34e47')
print('FOO 0x40031ad622ed9387')
print('FOO 0x28adf9c6f6396ae3')
print('FOO 0x5d02db430267ce8c')
print('FOO 0x746ccfcd0b77d43a')
print('FOO 0x5d7d255f2b68beef')
print('FOO 0x7077b81d18dbb0c1')
print('FOO 0x350d775dfb53e13d')
print('FOO 0x1d1615ad353a09cf')
print('FOO 0xfecf10e0f30e005')
print('FOO 0x52496e1e3fc24ec0')
print('FOO 0x91b5ffbff651b90')
print('FOO 0x4afbfae4877c606f')
print('FOO 0x33445533fcd71d42')
print('FOO 0x33a760e17a4e9ba3')
print('FOO 0x705620733deaaddd')
print('FOO 0x7defb12b691e8e3b')
print('FOO 0x38146a2f0970425b')
print('FOO 0x71895aa36bd5231f')
print('FOO 0x6d86b88de3a9312c')
print('FOO 0x37396957d4bf8115')
print('FOO 0x300dc4c27fa2ebbc')
print('FOO 0x96c1dbb081a3cfe')
print('FOO 0x40ddfed8411ff179')
print('FOO 0x6ac9573d3b416610')
print('FOO 0x42fdef77dea5486a')
print('FOO 0x53341f5b24469138')
print('FOO 0x50842aaaed939512')
print('FOO 0x1dea467190ba65d0')
print('FOO 0xa5e6beabea661c3')
print('FOO 0x633169077e89a8ed')
print('FOO 0x6e1b879317c8dbfc')
print('FOO 0x2a5b4beaecb11a5a')
print('FOO 0x4bd411e6562abc30')
print('FOO 0x78a277a8a82b302f')
print('FOO 0x50a64652a47a7b5e')
print('FOO 0x6b8468c8d09872a7')
print('FOO 0x3719d668872c92ea')
print('FOO 0x56a9f13444af3f13')
print('FOO 0x646607a4ec3c9e45')
print('FOO 0x7f1371a9f4ceb45f')
print('FOO 0x47b3626cf8993dde')
print('FOO 0x30f6418eab191be1')
print('FOO 0x6511993d0b673bd8')
print('FOO 0x44fa1f36f7f1e857')
print('FOO 0x76ee7876a29bcc45')
print('FOO 0x78e100a991b77af5')
print('FOO 0x675a9879bf1a4478')
print('FOO 0x63f40668ed6f642c')
print('FOO 0x3610e45100d68048')
print('FOO 0x282046a9ec1fea7f')
