source = "main.tri"
hand = "../../std/crypto/keccak256.tasm"
input = [84281096, 16909060, 168562192, 33818120, 252843288, 50727180, 337124384, 67636240, 421405480, 84545300, 505686576, 101454360, 589967672, 118363420, 674248768, 135272480, 758529864, 152181540, 842810960, 169090600, 927092056, 185999660, 1011373152, 202908720, 1095654248, 219817780, 1179935344, 236726840, 1264216440, 253635900, 1348497536, 270544960, 1432778632, 287454020, 1517059728, 304363080, 1601340824, 321272140, 1685621920, 338181200, 1769903016, 355090260, 1854184112, 371999320, 1938465208, 388908380, 2022746304, 405817440, 2107027400, 422726500]
output = [3759828124, 495374253, 1055817720, 1390913863, 2449977017, 2425357327, 2778204668, 368089741, 2127659437, 3778728721, 3019010430, 3492742795, 711773519, 2877070041, 1422704859, 2299753492, 3302228253, 3029351532, 2147938199, 1605926370, 1695454092, 1140213032, 299558168, 4111178894, 142261941, 112467404, 3135225532, 1464246024, 1201852900, 3759823939, 794641011, 1096949003, 3117107848, 1954455948, 3974874658, 19009908, 3985030073, 1338674344, 3140801383, 479232918, 4221530695, 1260437745, 2682554976, 2071496093, 399056735, 2752684428, 3501106746, 1123750057, 1865512865, 2741232954]
max_cycles = 1000000
reference = "Independent 64-bit integer Keccak-f[1600] per https://keccak.team/keccak_specs_summary.html, caller-owned RAM API, all24 rounds/all25 lanes (50U32 outputs); not a padding or Ethereum-trie test."
hand_prefix = "read_io 1 push 0 write_mem 1 pop 1 read_io 1 push 1 write_mem 1 pop 1 read_io 1 push 2 write_mem 1 pop 1 read_io 1 push 3 write_mem 1 pop 1 read_io 1 push 4 write_mem 1 pop 1 read_io 1 push 5 write_mem 1 pop 1 read_io 1 push 6 write_mem 1 pop 1 read_io 1 push 7 write_mem 1 pop 1 read_io 1 push 8 write_mem 1 pop 1 read_io 1 push 9 write_mem 1 pop 1 read_io 1 push 10 write_mem 1 pop 1 read_io 1 push 11 write_mem 1 pop 1 read_io 1 push 12 write_mem 1 pop 1 read_io 1 push 13 write_mem 1 pop 1 read_io 1 push 14 write_mem 1 pop 1 read_io 1 push 15 write_mem 1 pop 1 read_io 1 push 16 write_mem 1 pop 1 read_io 1 push 17 write_mem 1 pop 1 read_io 1 push 18 write_mem 1 pop 1 read_io 1 push 19 write_mem 1 pop 1 read_io 1 push 20 write_mem 1 pop 1 read_io 1 push 21 write_mem 1 pop 1 read_io 1 push 22 write_mem 1 pop 1 read_io 1 push 23 write_mem 1 pop 1 read_io 1 push 24 write_mem 1 pop 1 read_io 1 push 25 write_mem 1 pop 1 read_io 1 push 26 write_mem 1 pop 1 read_io 1 push 27 write_mem 1 pop 1 read_io 1 push 28 write_mem 1 pop 1 read_io 1 push 29 write_mem 1 pop 1 read_io 1 push 30 write_mem 1 pop 1 read_io 1 push 31 write_mem 1 pop 1 read_io 1 push 32 write_mem 1 pop 1 read_io 1 push 33 write_mem 1 pop 1 read_io 1 push 34 write_mem 1 pop 1 read_io 1 push 35 write_mem 1 pop 1 read_io 1 push 36 write_mem 1 pop 1 read_io 1 push 37 write_mem 1 pop 1 read_io 1 push 38 write_mem 1 pop 1 read_io 1 push 39 write_mem 1 pop 1 read_io 1 push 40 write_mem 1 pop 1 read_io 1 push 41 write_mem 1 pop 1 read_io 1 push 42 write_mem 1 pop 1 read_io 1 push 43 write_mem 1 pop 1 read_io 1 push 44 write_mem 1 pop 1 read_io 1 push 45 write_mem 1 pop 1 read_io 1 push 46 write_mem 1 pop 1 read_io 1 push 47 write_mem 1 pop 1 read_io 1 push 48 write_mem 1 pop 1 read_io 1 push 49 write_mem 1 pop 1 call std_crypto_keccak256__keccak_f1600 push 0 read_mem 1 pop 1 write_io 1 push 1 read_mem 1 pop 1 write_io 1 push 2 read_mem 1 pop 1 write_io 1 push 3 read_mem 1 pop 1 write_io 1 push 4 read_mem 1 pop 1 write_io 1 push 5 read_mem 1 pop 1 write_io 1 push 6 read_mem 1 pop 1 write_io 1 push 7 read_mem 1 pop 1 write_io 1 push 8 read_mem 1 pop 1 write_io 1 push 9 read_mem 1 pop 1 write_io 1 push 10 read_mem 1 pop 1 write_io 1 push 11 read_mem 1 pop 1 write_io 1 push 12 read_mem 1 pop 1 write_io 1 push 13 read_mem 1 pop 1 write_io 1 push 14 read_mem 1 pop 1 write_io 1 push 15 read_mem 1 pop 1 write_io 1 push 16 read_mem 1 pop 1 write_io 1 push 17 read_mem 1 pop 1 write_io 1 push 18 read_mem 1 pop 1 write_io 1 push 19 read_mem 1 pop 1 write_io 1 push 20 read_mem 1 pop 1 write_io 1 push 21 read_mem 1 pop 1 write_io 1 push 22 read_mem 1 pop 1 write_io 1 push 23 read_mem 1 pop 1 write_io 1 push 24 read_mem 1 pop 1 write_io 1 push 25 read_mem 1 pop 1 write_io 1 push 26 read_mem 1 pop 1 write_io 1 push 27 read_mem 1 pop 1 write_io 1 push 28 read_mem 1 pop 1 write_io 1 push 29 read_mem 1 pop 1 write_io 1 push 30 read_mem 1 pop 1 write_io 1 push 31 read_mem 1 pop 1 write_io 1 push 32 read_mem 1 pop 1 write_io 1 push 33 read_mem 1 pop 1 write_io 1 push 34 read_mem 1 pop 1 write_io 1 push 35 read_mem 1 pop 1 write_io 1 push 36 read_mem 1 pop 1 write_io 1 push 37 read_mem 1 pop 1 write_io 1 push 38 read_mem 1 pop 1 write_io 1 push 39 read_mem 1 pop 1 write_io 1 push 40 read_mem 1 pop 1 write_io 1 push 41 read_mem 1 pop 1 write_io 1 push 42 read_mem 1 pop 1 write_io 1 push 43 read_mem 1 pop 1 write_io 1 push 44 read_mem 1 pop 1 write_io 1 push 45 read_mem 1 pop 1 write_io 1 push 46 read_mem 1 pop 1 write_io 1 push 47 read_mem 1 pop 1 write_io 1 push 48 read_mem 1 pop 1 write_io 1 push 49 read_mem 1 pop 1 write_io 1 halt"