source = "main.tri"
hand = "../../std/crypto/keccak256.tasm"
input = [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0]
output = [1088544231, 4045770617, 868239242, 2228604153, 2790959598, 3583518238, 1870678349, 3172288304, 1649659991, 2334674437, 2140041172, 4288128045, 2756069316, 2432624032, 3591974518, 2354829836, 454624668, 2905646839, 3499097188, 814963383, 588764725, 3948587327, 225517827, 2846287398, 3687798111, 2175106070, 55035942, 1136144845, 296048287, 32648986, 567914081, 98919258, 2362011890, 1690238706, 2076468753, 1630957717, 1339035339, 3095157333, 483341000, 2352933002, 2923046420, 2483845410, 2730822116, 406976804, 3875825090, 385168678, 2133893435, 1979073769, 1559011913, 3941728123]
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"