token.update.json

{"state_tree_height":32,"circuit_definitions":[{"name":"withdraw","method_id":3055054724,"circuit_inputs":[0,8589934592,8589934593,8589934594,8589934595,8589934596,8589934597,8589934598,8589934599,8589934600,8589934601,8589934602,8589934603,8589934604,8589934605,8589934606,8589934607,8589934608,8589934609,8589934610,8589934611,8589934612,8589934613,8589934614,8589934615,8589934616,8589934617,8589934618,8589934619,8589934620,8589934621,8589934622,8589934623],"circuit_outputs":[],"state_commands":[{"type":"GetContractLeaf","contract_id":1},{"type":"GetSelfUserCurrentContractStateSlotSingle","sub_slot_index":2},{"type":"SetContractStateSlotSingle","condition":4294967296,"sub_slot_index":2,"value":9},{"type":"ContainsSelfUserCurrentIMTContractStateValue","base_offset":10,"capacity":11,"key":[28,29,30,31]},{"type":"SetIMTContractStateValue","condition":4294967296,"base_offset":10,"capacity":11,"key":[28,29,30,31],"value":[55,56,57,58]}],"state_command_resolution_indices":[34,35,43,67,95],"assertions":[{"left":4294967307,"right":4294967296,"message":"amount exceeds uint64 range"},{"left":4294967308,"right":4294967296,"message":"amount must be positive"},{"left":4294967309,"right":4294967296,"message":"insufficient balance"},{"left":4294967310,"right":4294967296,"message":"destination chain index out of range (0-255)"},{"left":4294967311,"right":4294967296,"message":"nonce already used for withdrawal"}],"definitions":[{"data_type":0,"index":0,"op_type":0,"inputs":[0]},{"data_type":2,"index":0,"op_type":66,"inputs":[1]},{"data_type":2,"index":1,"op_type":66,"inputs":[2]},{"data_type":2,"index":2,"op_type":66,"inputs":[3]},{"data_type":2,"index":3,"op_type":66,"inputs":[4]},{"data_type":2,"index":4,"op_type":66,"inputs":[5]},{"data_type":2,"index":5,"op_type":66,"inputs":[6]},{"data_type":2,"index":6,"op_type":66,"inputs":[7]},{"data_type":2,"index":7,"op_type":66,"inputs":[8]},{"data_type":2,"index":8,"op_type":66,"inputs":[9]},{"data_type":2,"index":9,"op_type":66,"inputs":[10]},{"data_type":2,"index":10,"op_type":66,"inputs":[11]},{"data_type":2,"index":11,"op_type":66,"inputs":[12]},{"data_type":2,"index":12,"op_type":66,"inputs":[13]},{"data_type":2,"index":13,"op_type":66,"inputs":[14]},{"data_type":2,"index":14,"op_type":66,"inputs":[15]},{"data_type":2,"index":15,"op_type":66,"inputs":[16]},{"data_type":2,"index":16,"op_type":66,"inputs":[17]},{"data_type":2,"index":17,"op_type":66,"inputs":[18]},{"data_type":2,"index":18,"op_type":66,"inputs":[19]},{"data_type":2,"index":19,"op_type":66,"inputs":[20]},{"data_type":2,"index":20,"op_type":66,"inputs":[21]},{"data_type":2,"index":21,"op_type":66,"inputs":[22]},{"data_type":2,"index":22,"op_type":66,"inputs":[23]},{"data_type":2,"index":23,"op_type":66,"inputs":[24]},{"data_type":2,"index":24,"op_type":66,"inputs":[25]},{"data_type":2,"index":25,"op_type":66,"inputs":[26]},{"data_type":2,"index":26,"op_type":66,"inputs":[27]},{"data_type":2,"index":27,"op_type":66,"inputs":[28]},{"data_type":2,"index":28,"op_type":66,"inputs":[29]},{"data_type":2,"index":29,"op_type":66,"inputs":[30]},{"data_type":2,"index":30,"op_type":66,"inputs":[31]},{"data_type":2,"index":31,"op_type":66,"inputs":[32]},{"data_type":0,"index":1,"op_type":47,"inputs":[0]},{"data_type":0,"index":2,"op_type":1,"inputs":[0]},{"data_type":1,"index":0,"op_type":2,"inputs":[1]},{"data_type":0,"index":3,"op_type":54,"inputs":[1]},{"data_type":0,"index":4,"op_type":72,"inputs":[8589934606]},{"data_type":0,"index":5,"op_type":1,"inputs":[4294967296]},{"data_type":0,"index":6,"op_type":6,"inputs":[4,5]},{"data_type":0,"index":7,"op_type":72,"inputs":[8589934607]},{"data_type":0,"index":8,"op_type":4,"inputs":[6,7]},{"data_type":0,"index":9,"op_type":5,"inputs":[3,8]},{"data_type":0,"index":10,"op_type":1,"inputs":[8589934680]},{"data_type":0,"index":11,"op_type":1,"inputs":[1048576]},{"data_type":0,"index":12,"op_type":1,"inputs":[6]},{"data_type":0,"index":13,"op_type":72,"inputs":[8589934616]},{"data_type":0,"index":14,"op_type":72,"inputs":[8589934617]},{"data_type":0,"index":15,"op_type":72,"inputs":[8589934618]},{"data_type":0,"index":16,"op_type":72,"inputs":[8589934619]},{"data_type":0,"index":17,"op_type":72,"inputs":[8589934620]},{"data_type":0,"index":18,"op_type":72,"inputs":[8589934621]},{"data_type":0,"index":19,"op_type":72,"inputs":[8589934622]},{"data_type":0,"index":20,"op_type":72,"inputs":[8589934623]},{"data_type":3,"index":0,"op_type":21,"inputs":[13,14,15,16,17,18,19,20]},{"data_type":0,"index":21,"op_type":20,"inputs":[12884901888,2]},{"data_type":0,"index":22,"op_type":1,"inputs":[1]},{"data_type":0,"index":23,"op_type":20,"inputs":[12884901888,22]},{"data_type":0,"index":24,"op_type":1,"inputs":[2]},{"data_type":0,"index":25,"op_type":20,"inputs":[12884901888,24]},{"data_type":0,"index":26,"op_type":1,"inputs":[3]},{"data_type":0,"index":27,"op_type":20,"inputs":[12884901888,26]},{"data_type":3,"index":1,"op_type":21,"inputs":[12,21,23,25,27]},{"data_type":0,"index":28,"op_type":20,"inputs":[12884901889,2]},{"data_type":0,"index":29,"op_type":20,"inputs":[12884901889,22]},{"data_type":0,"index":30,"op_type":20,"inputs":[12884901889,24]},{"data_type":0,"index":31,"op_type":20,"inputs":[12884901889,26]},{"data_type":0,"index":32,"op_type":46,"inputs":[0]},{"data_type":0,"index":33,"op_type":72,"inputs":[8589934608]},{"data_type":0,"index":34,"op_type":72,"inputs":[8589934609]},{"data_type":0,"index":35,"op_type":72,"inputs":[8589934610]},{"data_type":0,"index":36,"op_type":72,"inputs":[8589934611]},{"data_type":0,"index":37,"op_type":72,"inputs":[8589934612]},{"data_type":0,"index":38,"op_type":72,"inputs":[8589934613]},{"data_type":0,"index":39,"op_type":72,"inputs":[8589934614]},{"data_type":0,"index":40,"op_type":72,"inputs":[8589934615]},{"data_type":0,"index":41,"op_type":72,"inputs":[8589934592]},{"data_type":0,"index":42,"op_type":72,"inputs":[8589934593]},{"data_type":0,"index":43,"op_type":72,"inputs":[8589934594]},{"data_type":0,"index":44,"op_type":72,"inputs":[8589934595]},{"data_type":0,"index":45,"op_type":72,"inputs":[8589934596]},{"data_type":0,"index":46,"op_type":72,"inputs":[8589934597]},{"data_type":0,"index":47,"op_type":72,"inputs":[8589934598]},{"data_type":0,"index":48,"op_type":72,"inputs":[8589934599]},{"data_type":0,"index":49,"op_type":72,"inputs":[8589934600]},{"data_type":0,"index":50,"op_type":72,"inputs":[8589934601]},{"data_type":0,"index":51,"op_type":72,"inputs":[8589934602]},{"data_type":0,"index":52,"op_type":72,"inputs":[8589934603]},{"data_type":0,"index":53,"op_type":72,"inputs":[8589934604]},{"data_type":0,"index":54,"op_type":72,"inputs":[8589934605]},{"data_type":3,"index":2,"op_type":21,"inputs":[32,33,34,35,36,37,38,39,40,41,42,43,44,45,46,47,48,49,50,51,52,53,54,4,7,13,14,15,16,17,18,19,20,0]},{"data_type":0,"index":55,"op_type":20,"inputs":[12884901890,2]},{"data_type":0,"index":56,"op_type":20,"inputs":[12884901890,22]},{"data_type":0,"index":57,"op_type":20,"inputs":[12884901890,24]},{"data_type":0,"index":58,"op_type":20,"inputs":[12884901890,26]},{"data_type":2,"index":32,"op_type":67,"inputs":[0]},{"data_type":1,"index":1,"op_type":13,"inputs":[8589934600,8589934624]},{"data_type":1,"index":2,"op_type":13,"inputs":[8589934601,8589934624]},{"data_type":1,"index":3,"op_type":9,"inputs":[4294967297,4294967298]},{"data_type":1,"index":4,"op_type":13,"inputs":[8589934602,8589934624]},{"data_type":1,"index":5,"op_type":9,"inputs":[4294967299,4294967300]},{"data_type":1,"index":6,"op_type":13,"inputs":[8589934603,8589934624]},{"data_type":1,"index":7,"op_type":9,"inputs":[4294967301,4294967302]},{"data_type":1,"index":8,"op_type":13,"inputs":[8589934604,8589934624]},{"data_type":1,"index":9,"op_type":9,"inputs":[4294967303,4294967304]},{"data_type":1,"index":10,"op_type":13,"inputs":[8589934605,8589934624]},{"data_type":1,"index":11,"op_type":9,"inputs":[4294967305,4294967306]},{"data_type":1,"index":12,"op_type":16,"inputs":[8,2]},{"data_type":1,"index":13,"op_type":15,"inputs":[3,8]},{"data_type":0,"index":59,"op_type":1,"inputs":[256]},{"data_type":1,"index":14,"op_type":17,"inputs":[0,59]},{"data_type":0,"index":60,"op_type":54,"inputs":[3]},{"data_type":0,"index":61,"op_type":20,"inputs":[60,2]},{"data_type":1,"index":15,"op_type":8,"inputs":[61]},{"data_type":0,"index":62,"op_type":48,"inputs":[0]}],"events":[{"condition":4294967296,"checkpoint_id":62,"user_id":32,"contract_id":1,"data":[32,0,8589934592,8589934593,8589934594,8589934595,8589934596,8589934597,8589934598,8589934599,8589934600,8589934601,8589934602,8589934603,8589934604,8589934605,8589934606,8589934607,8589934608,8589934609,8589934610,8589934611,8589934612,8589934613,8589934614,8589934615,8589934616,8589934617,8589934618,8589934619,8589934620,8589934621,8589934622,8589934623]}]},{"name":"claim_deposit","method_id":1577908089,"circuit_inputs":[0,1,2,3,4,5,6,7,8589934592,8589934593,8589934594,8589934595,8589934596,8589934597,8589934598,8589934599,8589934600,8589934601,8589934602,8589934603,8589934604,8589934605,8589934606,8589934607,8,8589934608,8589934609,8589934610,8589934611,8589934612,8589934613,8589934614,8589934615,9,10,11,12,13,14,15,16,17,18,19,20,21,22,23,24,25,26,27,28,29,30,31,32,33,34,35,36,37,38,39,40,41,42,43,44,45,46,47,48,49,50,51,52,53,54,55,56,57,58,59,60,61,62,63,64,65,66,67,68,69,70,71,72,73,74,75,76,77,78,79,80],"circuit_outputs":[],"state_commands":[{"type":"GetContractLeaf","contract_id":81},{"type":"GetContractLeaf","contract_id":82},{"type":"ContainsOtherUserIMTContractStateValue","user_id":83,"contract_id":82,"base_offset":86,"capacity":87,"key":[103,104,105,106],"contract_state_tree_height":85},{"type":"ContainsSelfUserCurrentIMTContractStateValue","base_offset":107,"capacity":87,"key":[109,110,111,112]},{"type":"SetIMTContractStateValue","condition":4294967296,"base_offset":107,"capacity":87,"key":[109,110,111,112],"value":[98,96,96,96]},{"type":"GetSelfUserCurrentContractStateSlotSingle","sub_slot_index":96},{"type":"SetContractStateSlotSingle","condition":4294967296,"sub_slot_index":96,"value":119}],"state_command_resolution_indices":[106,107,134,141,142,142,149],"assertions":[{"left":4294967307,"right":4294967296,"message":"amount exceeds uint64 range"},{"left":4294967308,"right":4294967296,"message":"amount must be positive"},{"left":4294967315,"right":4294967296,"message":"shield address mismatch"},{"left":127,"right":4294967296,"message":"deposit root is not known"},{"left":439,"right":4294967296,"message":"proof tree root mismatch"},{"left":4294967357,"right":4294967296,"message":"shield claim already used"}],"definitions":[{"data_type":0,"index":0,"op_type":0,"inputs":[0]},{"data_type":0,"index":1,"op_type":0,"inputs":[1]},{"data_type":0,"index":2,"op_type":0,"inputs":[2]},{"data_type":0,"index":3,"op_type":0,"inputs":[3]},{"data_type":0,"index":4,"op_type":0,"inputs":[4]},{"data_type":0,"index":5,"op_type":0,"inputs":[5]},{"data_type":0,"index":6,"op_type":0,"inputs":[6]},{"data_type":0,"index":7,"op_type":0,"inputs":[7]},{"data_type":2,"index":0,"op_type":66,"inputs":[8]},{"data_type":2,"index":1,"op_type":66,"inputs":[9]},{"data_type":2,"index":2,"op_type":66,"inputs":[10]},{"data_type":2,"index":3,"op_type":66,"inputs":[11]},{"data_type":2,"index":4,"op_type":66,"inputs":[12]},{"data_type":2,"index":5,"op_type":66,"inputs":[13]},{"data_type":2,"index":6,"op_type":66,"inputs":[14]},{"data_type":2,"index":7,"op_type":66,"inputs":[15]},{"data_type":2,"index":8,"op_type":66,"inputs":[16]},{"data_type":2,"index":9,"op_type":66,"inputs":[17]},{"data_type":2,"index":10,"op_type":66,"inputs":[18]},{"data_type":2,"index":11,"op_type":66,"inputs":[19]},{"data_type":2,"index":12,"op_type":66,"inputs":[20]},{"data_type":2,"index":13,"op_type":66,"inputs":[21]},{"data_type":2,"index":14,"op_type":66,"inputs":[22]},{"data_type":2,"index":15,"op_type":66,"inputs":[23]},{"data_type":0,"index":8,"op_type":0,"inputs":[24]},{"data_type":2,"index":16,"op_type":66,"inputs":[25]},{"data_type":2,"index":17,"op_type":66,"inputs":[26]},{"data_type":2,"index":18,"op_type":66,"inputs":[27]},{"data_type":2,"index":19,"op_type":66,"inputs":[28]},{"data_type":2,"index":20,"op_type":66,"inputs":[29]},{"data_type":2,"index":21,"op_type":66,"inputs":[30]},{"data_type":2,"index":22,"op_type":66,"inputs":[31]},{"data_type":2,"index":23,"op_type":66,"inputs":[32]},{"data_type":0,"index":9,"op_type":0,"inputs":[33]},{"data_type":0,"index":10,"op_type":0,"inputs":[34]},{"data_type":0,"index":11,"op_type":0,"inputs":[35]},{"data_type":0,"index":12,"op_type":0,"inputs":[36]},{"data_type":0,"index":13,"op_type":0,"inputs":[37]},{"data_type":0,"index":14,"op_type":0,"inputs":[38]},{"data_type":0,"index":15,"op_type":0,"inputs":[39]},{"data_type":0,"index":16,"op_type":0,"inputs":[40]},{"data_type":0,"index":17,"op_type":0,"inputs":[41]},{"data_type":0,"index":18,"op_type":0,"inputs":[42]},{"data_type":0,"index":19,"op_type":0,"inputs":[43]},{"data_type":0,"index":20,"op_type":0,"inputs":[44]},{"data_type":0,"index":21,"op_type":0,"inputs":[45]},{"data_type":0,"index":22,"op_type":0,"inputs":[46]},{"data_type":0,"index":23,"op_type":0,"inputs":[47]},{"data_type":0,"index":24,"op_type":0,"inputs":[48]},{"data_type":0,"index":25,"op_type":0,"inputs":[49]},{"data_type":0,"index":26,"op_type":0,"inputs":[50]},{"data_type":0,"index":27,"op_type":0,"inputs":[51]},{"data_type":0,"index":28,"op_type":0,"inputs":[52]},{"data_type":0,"index":29,"op_type":0,"inputs":[53]},{"data_type":0,"index":30,"op_type":0,"inputs":[54]},{"data_type":0,"index":31,"op_type":0,"inputs":[55]},{"data_type":0,"index":32,"op_type":0,"inputs":[56]},{"data_type":0,"index":33,"op_type":0,"inputs":[57]},{"data_type":0,"index":34,"op_type":0,"inputs":[58]},{"data_type":0,"index":35,"op_type":0,"inputs":[59]},{"data_type":0,"index":36,"op_type":0,"inputs":[60]},{"data_type":0,"index":37,"op_type":0,"inputs":[61]},{"data_type":0,"index":38,"op_type":0,"inputs":[62]},{"data_type":0,"index":39,"op_type":0,"inputs":[63]},{"data_type":0,"index":40,"op_type":0,"inputs":[64]},{"data_type":0,"index":41,"op_type":0,"inputs":[65]},{"data_type":0,"index":42,"op_type":0,"inputs":[66]},{"data_type":0,"index":43,"op_type":0,"inputs":[67]},{"data_type":0,"index":44,"op_type":0,"inputs":[68]},{"data_type":0,"index":45,"op_type":0,"inputs":[69]},{"data_type":0,"index":46,"op_type":0,"inputs":[70]},{"data_type":0,"index":47,"op_type":0,"inputs":[71]},{"data_type":0,"index":48,"op_type":0,"inputs":[72]},{"data_type":0,"index":49,"op_type":0,"inputs":[73]},{"data_type":0,"index":50,"op_type":0,"inputs":[74]},{"data_type":0,"index":51,"op_type":0,"inputs":[75]},{"data_type":0,"index":52,"op_type":0,"inputs":[76]},{"data_type":0,"index":53,"op_type":0,"inputs":[77]},{"data_type":0,"index":54,"op_type":0,"inputs":[78]},{"data_type":0,"index":55,"op_type":0,"inputs":[79]},{"data_type":0,"index":56,"op_type":0,"inputs":[80]},{"data_type":0,"index":57,"op_type":0,"inputs":[81]},{"data_type":0,"index":58,"op_type":0,"inputs":[82]},{"data_type":0,"index":59,"op_type":0,"inputs":[83]},{"data_type":0,"index":60,"op_type":0,"inputs":[84]},{"data_type":0,"index":61,"op_type":0,"inputs":[85]},{"data_type":0,"index":62,"op_type":0,"inputs":[86]},{"data_type":0,"index":63,"op_type":0,"inputs":[87]},{"data_type":0,"index":64,"op_type":0,"inputs":[88]},{"data_type":0,"index":65,"op_type":0,"inputs":[89]},{"data_type":0,"index":66,"op_type":0,"inputs":[90]},{"data_type":0,"index":67,"op_type":0,"inputs":[91]},{"data_type":0,"index":68,"op_type":0,"inputs":[92]},{"data_type":0,"index":69,"op_type":0,"inputs":[93]},{"data_type":0,"index":70,"op_type":0,"inputs":[94]},{"data_type":0,"index":71,"op_type":0,"inputs":[95]},{"data_type":0,"index":72,"op_type":0,"inputs":[96]},{"data_type":0,"index":73,"op_type":0,"inputs":[97]},{"data_type":0,"index":74,"op_type":0,"inputs":[98]},{"data_type":0,"index":75,"op_type":0,"inputs":[99]},{"data_type":0,"index":76,"op_type":0,"inputs":[100]},{"data_type":0,"index":77,"op_type":0,"inputs":[101]},{"data_type":0,"index":78,"op_type":0,"inputs":[102]},{"data_type":0,"index":79,"op_type":0,"inputs":[103]},{"data_type":0,"index":80,"op_type":0,"inputs":[104]},{"data_type":0,"index":81,"op_type":47,"inputs":[0]},{"data_type":0,"index":82,"op_type":1,"inputs":[2]},{"data_type":0,"index":83,"op_type":1,"inputs":[524288]},{"data_type":5,"index":0,"op_type":55,"inputs":[1]},{"data_type":0,"index":84,"op_type":1,"inputs":[12]},{"data_type":0,"index":85,"op_type":20,"inputs":[21474836480,84]},{"data_type":0,"index":86,"op_type":1,"inputs":[71948]},{"data_type":0,"index":87,"op_type":1,"inputs":[1048576]},{"data_type":0,"index":88,"op_type":72,"inputs":[8589934608]},{"data_type":0,"index":89,"op_type":72,"inputs":[8589934609]},{"data_type":0,"index":90,"op_type":72,"inputs":[8589934610]},{"data_type":0,"index":91,"op_type":72,"inputs":[8589934611]},{"data_type":0,"index":92,"op_type":72,"inputs":[8589934612]},{"data_type":0,"index":93,"op_type":72,"inputs":[8589934613]},{"data_type":0,"index":94,"op_type":72,"inputs":[8589934614]},{"data_type":0,"index":95,"op_type":72,"inputs":[8589934615]},{"data_type":3,"index":0,"op_type":21,"inputs":[88,89,90,91,92,93,94,95]},{"data_type":0,"index":96,"op_type":1,"inputs":[0]},{"data_type":0,"index":97,"op_type":20,"inputs":[12884901888,96]},{"data_type":0,"index":98,"op_type":1,"inputs":[1]},{"data_type":0,"index":99,"op_type":20,"inputs":[12884901888,98]},{"data_type":0,"index":100,"op_type":20,"inputs":[12884901888,82]},{"data_type":0,"index":101,"op_type":1,"inputs":[3]},{"data_type":0,"index":102,"op_type":20,"inputs":[12884901888,101]},{"data_type":3,"index":1,"op_type":21,"inputs":[8,97,99,100,102]},{"data_type":0,"index":103,"op_type":20,"inputs":[12884901889,96]},{"data_type":0,"index":104,"op_type":20,"inputs":[12884901889,98]},{"data_type":0,"index":105,"op_type":20,"inputs":[12884901889,82]},{"data_type":0,"index":106,"op_type":20,"inputs":[12884901889,101]},{"data_type":0,"index":107,"op_type":1,"inputs":[8589934680]},{"data_type":0,"index":108,"op_type":1,"inputs":[4]},{"data_type":3,"index":2,"op_type":21,"inputs":[108,0,1,2,3]},{"data_type":0,"index":109,"op_type":20,"inputs":[12884901890,96]},{"data_type":0,"index":110,"op_type":20,"inputs":[12884901890,98]},{"data_type":0,"index":111,"op_type":20,"inputs":[12884901890,82]},{"data_type":0,"index":112,"op_type":20,"inputs":[12884901890,101]},{"data_type":1,"index":0,"op_type":2,"inputs":[1]},{"data_type":0,"index":113,"op_type":54,"inputs":[5]},{"data_type":0,"index":114,"op_type":72,"inputs":[8589934606]},{"data_type":0,"index":115,"op_type":1,"inputs":[4294967296]},{"data_type":0,"index":116,"op_type":6,"inputs":[114,115]},{"data_type":0,"index":117,"op_type":72,"inputs":[8589934607]},{"data_type":0,"index":118,"op_type":4,"inputs":[116,117]},{"data_type":0,"index":119,"op_type":4,"inputs":[113,118]},{"data_type":2,"index":24,"op_type":67,"inputs":[0]},{"data_type":1,"index":1,"op_type":13,"inputs":[8589934600,8589934616]},{"data_type":1,"index":2,"op_type":13,"inputs":[8589934601,8589934616]},{"data_type":1,"index":3,"op_type":9,"inputs":[4294967297,4294967298]},{"data_type":1,"index":4,"op_type":13,"inputs":[8589934602,8589934616]},{"data_type":1,"index":5,"op_type":9,"inputs":[4294967299,4294967300]},{"data_type":1,"index":6,"op_type":13,"inputs":[8589934603,8589934616]},{"data_type":1,"index":7,"op_type":9,"inputs":[4294967301,4294967302]},{"data_type":1,"index":8,"op_type":13,"inputs":[8589934604,8589934616]},{"data_type":1,"index":9,"op_type":9,"inputs":[4294967303,4294967304]},{"data_type":1,"index":10,"op_type":13,"inputs":[8589934605,8589934616]},{"data_type":1,"index":11,"op_type":9,"inputs":[4294967305,4294967306]},{"data_type":1,"index":12,"op_type":16,"inputs":[118,96]},{"data_type":0,"index":120,"op_type":46,"inputs":[0]},{"data_type":0,"index":121,"op_type":1,"inputs":[1337]},{"data_type":3,"index":3,"op_type":21,"inputs":[120,121,14,15]},{"data_type":0,"index":122,"op_type":20,"inputs":[12884901891,96]},{"data_type":1,"index":13,"op_type":13,"inputs":[4,122]},{"data_type":0,"index":123,"op_type":20,"inputs":[12884901891,98]},{"data_type":1,"index":14,"op_type":13,"inputs":[5,123]},{"data_type":1,"index":15,"op_type":9,"inputs":[4294967309,4294967310]},{"data_type":0,"index":124,"op_type":20,"inputs":[12884901891,82]},{"data_type":1,"index":16,"op_type":13,"inputs":[6,124]},{"data_type":1,"index":17,"op_type":9,"inputs":[4294967311,4294967312]},{"data_type":0,"index":125,"op_type":20,"inputs":[12884901891,101]},{"data_type":1,"index":18,"op_type":13,"inputs":[7,125]},{"data_type":1,"index":19,"op_type":9,"inputs":[4294967313,4294967314]},{"data_type":0,"index":126,"op_type":54,"inputs":[2]},{"data_type":0,"index":127,"op_type":20,"inputs":[126,96]},{"data_type":0,"index":128,"op_type":1,"inputs":[15]},{"data_type":2,"index":25,"op_type":42,"inputs":[80,128]},{"data_type":2,"index":26,"op_type":32,"inputs":[8589934617,98]},{"data_type":1,"index":20,"op_type":13,"inputs":[8589934618,96]},{"data_type":1,"index":21,"op_type":8,"inputs":[4294967316]},{"data_type":0,"index":129,"op_type":1,"inputs":[14]},{"data_type":2,"index":27,"op_type":42,"inputs":[80,129]},{"data_type":2,"index":28,"op_type":32,"inputs":[8589934619,98]},{"data_type":1,"index":22,"op_type":13,"inputs":[8589934620,96]},{"data_type":1,"index":23,"op_type":8,"inputs":[4294967318]},{"data_type":0,"index":130,"op_type":1,"inputs":[13]},{"data_type":2,"index":29,"op_type":42,"inputs":[80,130]},{"data_type":2,"index":30,"op_type":32,"inputs":[8589934621,98]},{"data_type":1,"index":24,"op_type":13,"inputs":[8589934622,96]},{"data_type":1,"index":25,"op_type":8,"inputs":[4294967320]},{"data_type":2,"index":31,"op_type":42,"inputs":[80,84]},{"data_type":2,"index":32,"op_type":32,"inputs":[8589934623,98]},{"data_type":1,"index":26,"op_type":13,"inputs":[8589934624,96]},{"data_type":1,"index":27,"op_type":8,"inputs":[4294967322]},{"data_type":0,"index":131,"op_type":1,"inputs":[11]},{"data_type":2,"index":33,"op_type":42,"inputs":[80,131]},{"data_type":2,"index":34,"op_type":32,"inputs":[8589934625,98]},{"data_type":1,"index":28,"op_type":13,"inputs":[8589934626,96]},{"data_type":1,"index":29,"op_type":8,"inputs":[4294967324]},{"data_type":0,"index":132,"op_type":1,"inputs":[10]},{"data_type":2,"index":35,"op_type":42,"inputs":[80,132]},{"data_type":2,"index":36,"op_type":32,"inputs":[8589934627,98]},{"data_type":1,"index":30,"op_type":13,"inputs":[8589934628,96]},{"data_type":1,"index":31,"op_type":8,"inputs":[4294967326]},{"data_type":0,"index":133,"op_type":1,"inputs":[9]},{"data_type":2,"index":37,"op_type":42,"inputs":[80,133]},{"data_type":2,"index":38,"op_type":32,"inputs":[8589934629,98]},{"data_type":1,"index":32,"op_type":13,"inputs":[8589934630,96]},{"data_type":1,"index":33,"op_type":8,"inputs":[4294967328]},{"data_type":0,"index":134,"op_type":1,"inputs":[8]},{"data_type":2,"index":39,"op_type":42,"inputs":[80,134]},{"data_type":2,"index":40,"op_type":32,"inputs":[8589934631,98]},{"data_type":1,"index":34,"op_type":13,"inputs":[8589934632,96]},{"data_type":1,"index":35,"op_type":8,"inputs":[4294967330]},{"data_type":0,"index":135,"op_type":1,"inputs":[7]},{"data_type":2,"index":41,"op_type":42,"inputs":[80,135]},{"data_type":2,"index":42,"op_type":32,"inputs":[8589934633,98]},{"data_type":1,"index":36,"op_type":13,"inputs":[8589934634,96]},{"data_type":1,"index":37,"op_type":8,"inputs":[4294967332]},{"data_type":0,"index":136,"op_type":1,"inputs":[6]},{"data_type":2,"index":43,"op_type":42,"inputs":[80,136]},{"data_type":2,"index":44,"op_type":32,"inputs":[8589934635,98]},{"data_type":1,"index":38,"op_type":13,"inputs":[8589934636,96]},{"data_type":1,"index":39,"op_type":8,"inputs":[4294967334]},{"data_type":0,"index":137,"op_type":1,"inputs":[5]},{"data_type":2,"index":45,"op_type":42,"inputs":[80,137]},{"data_type":2,"index":46,"op_type":32,"inputs":[8589934637,98]},{"data_type":1,"index":40,"op_type":13,"inputs":[8589934638,96]},{"data_type":1,"index":41,"op_type":8,"inputs":[4294967336]},{"data_type":2,"index":47,"op_type":42,"inputs":[80,108]},{"data_type":2,"index":48,"op_type":32,"inputs":[8589934639,98]},{"data_type":1,"index":42,"op_type":13,"inputs":[8589934640,96]},{"data_type":1,"index":43,"op_type":8,"inputs":[4294967338]},{"data_type":2,"index":49,"op_type":42,"inputs":[80,101]},{"data_type":2,"index":50,"op_type":32,"inputs":[8589934641,98]},{"data_type":1,"index":44,"op_type":13,"inputs":[8589934642,96]},{"data_type":1,"index":45,"op_type":8,"inputs":[4294967340]},{"data_type":2,"index":51,"op_type":42,"inputs":[80,82]},{"data_type":2,"index":52,"op_type":32,"inputs":[8589934643,98]},{"data_type":1,"index":46,"op_type":13,"inputs":[8589934644,96]},{"data_type":1,"index":47,"op_type":8,"inputs":[4294967342]},{"data_type":2,"index":53,"op_type":42,"inputs":[80,98]},{"data_type":2,"index":54,"op_type":32,"inputs":[8589934645,98]},{"data_type":1,"index":48,"op_type":13,"inputs":[8589934646,96]},{"data_type":1,"index":49,"op_type":8,"inputs":[4294967344]},{"data_type":2,"index":55,"op_type":42,"inputs":[80,96]},{"data_type":2,"index":56,"op_type":32,"inputs":[8589934647,98]},{"data_type":1,"index":50,"op_type":13,"inputs":[8589934648,96]},{"data_type":1,"index":51,"op_type":8,"inputs":[4294967346]},{"data_type":0,"index":138,"op_type":1,"inputs":[12102704748894912577]},{"data_type":0,"index":139,"op_type":1,"inputs":[2605816805097074474]},{"data_type":0,"index":140,"op_type":1,"inputs":[270858441303242900]},{"data_type":0,"index":141,"op_type":1,"inputs":[1525812673267139438]},{"data_type":0,"index":142,"op_type":72,"inputs":[8589934600]},{"data_type":0,"index":143,"op_type":72,"inputs":[8589934601]},{"data_type":0,"index":144,"op_type":72,"inputs":[8589934602]},{"data_type":0,"index":145,"op_type":72,"inputs":[8589934603]},{"data_type":0,"index":146,"op_type":72,"inputs":[8589934604]},{"data_type":0,"index":147,"op_type":72,"inputs":[8589934605]},{"data_type":0,"index":148,"op_type":72,"inputs":[8589934592]},{"data_type":0,"index":149,"op_type":72,"inputs":[8589934593]},{"data_type":0,"index":150,"op_type":72,"inputs":[8589934594]},{"data_type":0,"index":151,"op_type":72,"inputs":[8589934595]},{"data_type":0,"index":152,"op_type":72,"inputs":[8589934596]},{"data_type":0,"index":153,"op_type":72,"inputs":[8589934597]},{"data_type":0,"index":154,"op_type":72,"inputs":[8589934598]},{"data_type":0,"index":155,"op_type":72,"inputs":[8589934599]},{"data_type":0,"index":156,"op_type":1,"inputs":[32]},{"data_type":2,"index":57,"op_type":42,"inputs":[81,156]},{"data_type":0,"index":157,"op_type":72,"inputs":[8589934649]},{"data_type":0,"index":158,"op_type":1,"inputs":[4294967295]},{"data_type":2,"index":58,"op_type":32,"inputs":[81,158]},{"data_type":0,"index":159,"op_type":72,"inputs":[8589934650]},{"data_type":0,"index":160,"op_type":6,"inputs":[89,115]},{"data_type":0,"index":161,"op_type":4,"inputs":[88,160]},{"data_type":0,"index":162,"op_type":6,"inputs":[91,115]},{"data_type":0,"index":163,"op_type":4,"inputs":[90,162]},{"data_type":0,"index":164,"op_type":6,"inputs":[93,115]},{"data_type":0,"index":165,"op_type":4,"inputs":[92,164]},{"data_type":0,"index":166,"op_type":6,"inputs":[95,115]},{"data_type":0,"index":167,"op_type":4,"inputs":[94,166]},{"data_type":3,"index":4,"op_type":21,"inputs":[4,5,6,7,142,143,144,145,146,147,114,117,148,149,150,151,152,153,154,155,96,96,96,96,96,96,157,159,8,161,163,165,167,0,1,2,3,9,10,11,12,13]},{"data_type":0,"index":168,"op_type":20,"inputs":[12884901892,96]},{"data_type":0,"index":169,"op_type":20,"inputs":[12884901892,98]},{"data_type":0,"index":170,"op_type":20,"inputs":[12884901892,82]},{"data_type":0,"index":171,"op_type":20,"inputs":[12884901892,101]},{"data_type":3,"index":5,"op_type":78,"inputs":[138,139,140,141,168,169,170,171]},{"data_type":0,"index":172,"op_type":20,"inputs":[12884901893,96]},{"data_type":0,"index":173,"op_type":20,"inputs":[12884901893,98]},{"data_type":0,"index":174,"op_type":20,"inputs":[12884901893,82]},{"data_type":0,"index":175,"op_type":20,"inputs":[12884901893,101]},{"data_type":3,"index":6,"op_type":78,"inputs":[172,173,174,175,16,17,18,19]},{"data_type":0,"index":176,"op_type":20,"inputs":[12884901894,96]},{"data_type":0,"index":177,"op_type":23,"inputs":[4294967346,176,172]},{"data_type":0,"index":178,"op_type":20,"inputs":[12884901894,98]},{"data_type":0,"index":179,"op_type":23,"inputs":[4294967346,178,173]},{"data_type":0,"index":180,"op_type":20,"inputs":[12884901894,82]},{"data_type":0,"index":181,"op_type":23,"inputs":[4294967346,180,174]},{"data_type":0,"index":182,"op_type":20,"inputs":[12884901894,101]},{"data_type":0,"index":183,"op_type":23,"inputs":[4294967346,182,175]},{"data_type":3,"index":7,"op_type":78,"inputs":[16,17,18,19,177,179,181,183]},{"data_type":0,"index":184,"op_type":20,"inputs":[12884901895,96]},{"data_type":0,"index":185,"op_type":23,"inputs":[4294967347,184,177]},{"data_type":0,"index":186,"op_type":20,"inputs":[12884901895,98]},{"data_type":0,"index":187,"op_type":23,"inputs":[4294967347,186,179]},{"data_type":0,"index":188,"op_type":20,"inputs":[12884901895,82]},{"data_type":0,"index":189,"op_type":23,"inputs":[4294967347,188,181]},{"data_type":0,"index":190,"op_type":20,"inputs":[12884901895,101]},{"data_type":0,"index":191,"op_type":23,"inputs":[4294967347,190,183]},{"data_type":3,"index":8,"op_type":78,"inputs":[185,187,189,191,20,21,22,23]},{"data_type":0,"index":192,"op_type":20,"inputs":[12884901896,96]},{"data_type":0,"index":193,"op_type":23,"inputs":[4294967344,192,185]},{"data_type":0,"index":194,"op_type":20,"inputs":[12884901896,98]},{"data_type":0,"index":195,"op_type":23,"inputs":[4294967344,194,187]},{"data_type":0,"index":196,"op_type":20,"inputs":[12884901896,82]},{"data_type":0,"index":197,"op_type":23,"inputs":[4294967344,196,189]},{"data_type":0,"index":198,"op_type":20,"inputs":[12884901896,101]},{"data_type":0,"index":199,"op_type":23,"inputs":[4294967344,198,191]},{"data_type":3,"index":9,"op_type":78,"inputs":[20,21,22,23,193,195,197,199]},{"data_type":0,"index":200,"op_type":20,"inputs":[12884901897,96]},{"data_type":0,"index":201,"op_type":23,"inputs":[4294967345,200,193]},{"data_type":0,"index":202,"op_type":20,"inputs":[12884901897,98]},{"data_type":0,"index":203,"op_type":23,"inputs":[4294967345,202,195]},{"data_type":0,"index":204,"op_type":20,"inputs":[12884901897,82]},{"data_type":0,"index":205,"op_type":23,"inputs":[4294967345,204,197]},{"data_type":0,"index":206,"op_type":20,"inputs":[12884901897,101]},{"data_type":0,"index":207,"op_type":23,"inputs":[4294967345,206,199]},{"data_type":3,"index":10,"op_type":78,"inputs":[201,203,205,207,24,25,26,27]},{"data_type":0,"index":208,"op_type":20,"inputs":[12884901898,96]},{"data_type":0,"index":209,"op_type":23,"inputs":[4294967342,208,201]},{"data_type":0,"index":210,"op_type":20,"inputs":[12884901898,98]},{"data_type":0,"index":211,"op_type":23,"inputs":[4294967342,210,203]},{"data_type":0,"index":212,"op_type":20,"inputs":[12884901898,82]},{"data_type":0,"index":213,"op_type":23,"inputs":[4294967342,212,205]},{"data_type":0,"index":214,"op_type":20,"inputs":[12884901898,101]},{"data_type":0,"index":215,"op_type":23,"inputs":[4294967342,214,207]},{"data_type":3,"index":11,"op_type":78,"inputs":[24,25,26,27,209,211,213,215]},{"data_type":0,"index":216,"op_type":20,"inputs":[12884901899,96]},{"data_type":0,"index":217,"op_type":23,"inputs":[4294967343,216,209]},{"data_type":0,"index":218,"op_type":20,"inputs":[12884901899,98]},{"data_type":0,"index":219,"op_type":23,"inputs":[4294967343,218,211]},{"data_type":0,"index":220,"op_type":20,"inputs":[12884901899,82]},{"data_type":0,"index":221,"op_type":23,"inputs":[4294967343,220,213]},{"data_type":0,"index":222,"op_type":20,"inputs":[12884901899,101]},{"data_type":0,"index":223,"op_type":23,"inputs":[4294967343,222,215]},{"data_type":3,"index":12,"op_type":78,"inputs":[217,219,221,223,28,29,30,31]},{"data_type":0,"index":224,"op_type":20,"inputs":[12884901900,96]},{"data_type":0,"index":225,"op_type":23,"inputs":[4294967340,224,217]},{"data_type":0,"index":226,"op_type":20,"inputs":[12884901900,98]},{"data_type":0,"index":227,"op_type":23,"inputs":[4294967340,226,219]},{"data_type":0,"index":228,"op_type":20,"inputs":[12884901900,82]},{"data_type":0,"index":229,"op_type":23,"inputs":[4294967340,228,221]},{"data_type":0,"index":230,"op_type":20,"inputs":[12884901900,101]},{"data_type":0,"index":231,"op_type":23,"inputs":[4294967340,230,223]},{"data_type":3,"index":13,"op_type":78,"inputs":[28,29,30,31,225,227,229,231]},{"data_type":0,"index":232,"op_type":20,"inputs":[12884901901,96]},{"data_type":0,"index":233,"op_type":23,"inputs":[4294967341,232,225]},{"data_type":0,"index":234,"op_type":20,"inputs":[12884901901,98]},{"data_type":0,"index":235,"op_type":23,"inputs":[4294967341,234,227]},{"data_type":0,"index":236,"op_type":20,"inputs":[12884901901,82]},{"data_type":0,"index":237,"op_type":23,"inputs":[4294967341,236,229]},{"data_type":0,"index":238,"op_type":20,"inputs":[12884901901,101]},{"data_type":0,"index":239,"op_type":23,"inputs":[4294967341,238,231]},{"data_type":3,"index":14,"op_type":78,"inputs":[233,235,237,239,32,33,34,35]},{"data_type":0,"index":240,"op_type":20,"inputs":[12884901902,96]},{"data_type":0,"index":241,"op_type":23,"inputs":[4294967338,240,233]},{"data_type":0,"index":242,"op_type":20,"inputs":[12884901902,98]},{"data_type":0,"index":243,"op_type":23,"inputs":[4294967338,242,235]},{"data_type":0,"index":244,"op_type":20,"inputs":[12884901902,82]},{"data_type":0,"index":245,"op_type":23,"inputs":[4294967338,244,237]},{"data_type":0,"index":246,"op_type":20,"inputs":[12884901902,101]},{"data_type":0,"index":247,"op_type":23,"inputs":[4294967338,246,239]},{"data_type":3,"index":15,"op_type":78,"inputs":[32,33,34,35,241,243,245,247]},{"data_type":0,"index":248,"op_type":20,"inputs":[12884901903,96]},{"data_type":0,"index":249,"op_type":23,"inputs":[4294967339,248,241]},{"data_type":0,"index":250,"op_type":20,"inputs":[12884901903,98]},{"data_type":0,"index":251,"op_type":23,"inputs":[4294967339,250,243]},{"data_type":0,"index":252,"op_type":20,"inputs":[12884901903,82]},{"data_type":0,"index":253,"op_type":23,"inputs":[4294967339,252,245]},{"data_type":0,"index":254,"op_type":20,"inputs":[12884901903,101]},{"data_type":0,"index":255,"op_type":23,"inputs":[4294967339,254,247]},{"data_type":3,"index":16,"op_type":78,"inputs":[249,251,253,255,36,37,38,39]},{"data_type":0,"index":256,"op_type":20,"inputs":[12884901904,96]},{"data_type":0,"index":257,"op_type":23,"inputs":[4294967336,256,249]},{"data_type":0,"index":258,"op_type":20,"inputs":[12884901904,98]},{"data_type":0,"index":259,"op_type":23,"inputs":[4294967336,258,251]},{"data_type":0,"index":260,"op_type":20,"inputs":[12884901904,82]},{"data_type":0,"index":261,"op_type":23,"inputs":[4294967336,260,253]},{"data_type":0,"index":262,"op_type":20,"inputs":[12884901904,101]},{"data_type":0,"index":263,"op_type":23,"inputs":[4294967336,262,255]},{"data_type":3,"index":17,"op_type":78,"inputs":[36,37,38,39,257,259,261,263]},{"data_type":0,"index":264,"op_type":20,"inputs":[12884901905,96]},{"data_type":0,"index":265,"op_type":23,"inputs":[4294967337,264,257]},{"data_type":0,"index":266,"op_type":20,"inputs":[12884901905,98]},{"data_type":0,"index":267,"op_type":23,"inputs":[4294967337,266,259]},{"data_type":0,"index":268,"op_type":20,"inputs":[12884901905,82]},{"data_type":0,"index":269,"op_type":23,"inputs":[4294967337,268,261]},{"data_type":0,"index":270,"op_type":20,"inputs":[12884901905,101]},{"data_type":0,"index":271,"op_type":23,"inputs":[4294967337,270,263]},{"data_type":3,"index":18,"op_type":78,"inputs":[265,267,269,271,40,41,42,43]},{"data_type":0,"index":272,"op_type":20,"inputs":[12884901906,96]},{"data_type":0,"index":273,"op_type":23,"inputs":[4294967334,272,265]},{"data_type":0,"index":274,"op_type":20,"inputs":[12884901906,98]},{"data_type":0,"index":275,"op_type":23,"inputs":[4294967334,274,267]},{"data_type":0,"index":276,"op_type":20,"inputs":[12884901906,82]},{"data_type":0,"index":277,"op_type":23,"inputs":[4294967334,276,269]},{"data_type":0,"index":278,"op_type":20,"inputs":[12884901906,101]},{"data_type":0,"index":279,"op_type":23,"inputs":[4294967334,278,271]},{"data_type":3,"index":19,"op_type":78,"inputs":[40,41,42,43,273,275,277,279]},{"data_type":0,"index":280,"op_type":20,"inputs":[12884901907,96]},{"data_type":0,"index":281,"op_type":23,"inputs":[4294967335,280,273]},{"data_type":0,"index":282,"op_type":20,"inputs":[12884901907,98]},{"data_type":0,"index":283,"op_type":23,"inputs":[4294967335,282,275]},{"data_type":0,"index":284,"op_type":20,"inputs":[12884901907,82]},{"data_type":0,"index":285,"op_type":23,"inputs":[4294967335,284,277]},{"data_type":0,"index":286,"op_type":20,"inputs":[12884901907,101]},{"data_type":0,"index":287,"op_type":23,"inputs":[4294967335,286,279]},{"data_type":3,"index":20,"op_type":78,"inputs":[281,283,285,287,44,45,46,47]},{"data_type":0,"index":288,"op_type":20,"inputs":[12884901908,96]},{"data_type":0,"index":289,"op_type":23,"inputs":[4294967332,288,281]},{"data_type":0,"index":290,"op_type":20,"inputs":[12884901908,98]},{"data_type":0,"index":291,"op_type":23,"inputs":[4294967332,290,283]},{"data_type":0,"index":292,"op_type":20,"inputs":[12884901908,82]},{"data_type":0,"index":293,"op_type":23,"inputs":[4294967332,292,285]},{"data_type":0,"index":294,"op_type":20,"inputs":[12884901908,101]},{"data_type":0,"index":295,"op_type":23,"inputs":[4294967332,294,287]},{"data_type":3,"index":21,"op_type":78,"inputs":[44,45,46,47,289,291,293,295]},{"data_type":0,"index":296,"op_type":20,"inputs":[12884901909,96]},{"data_type":0,"index":297,"op_type":23,"inputs":[4294967333,296,289]},{"data_type":0,"index":298,"op_type":20,"inputs":[12884901909,98]},{"data_type":0,"index":299,"op_type":23,"inputs":[4294967333,298,291]},{"data_type":0,"index":300,"op_type":20,"inputs":[12884901909,82]},{"data_type":0,"index":301,"op_type":23,"inputs":[4294967333,300,293]},{"data_type":0,"index":302,"op_type":20,"inputs":[12884901909,101]},{"data_type":0,"index":303,"op_type":23,"inputs":[4294967333,302,295]},{"data_type":3,"index":22,"op_type":78,"inputs":[297,299,301,303,48,49,50,51]},{"data_type":0,"index":304,"op_type":20,"inputs":[12884901910,96]},{"data_type":0,"index":305,"op_type":23,"inputs":[4294967330,304,297]},{"data_type":0,"index":306,"op_type":20,"inputs":[12884901910,98]},{"data_type":0,"index":307,"op_type":23,"inputs":[4294967330,306,299]},{"data_type":0,"index":308,"op_type":20,"inputs":[12884901910,82]},{"data_type":0,"index":309,"op_type":23,"inputs":[4294967330,308,301]},{"data_type":0,"index":310,"op_type":20,"inputs":[12884901910,101]},{"data_type":0,"index":311,"op_type":23,"inputs":[4294967330,310,303]},{"data_type":3,"index":23,"op_type":78,"inputs":[48,49,50,51,305,307,309,311]},{"data_type":0,"index":312,"op_type":20,"inputs":[12884901911,96]},{"data_type":0,"index":313,"op_type":23,"inputs":[4294967331,312,305]},{"data_type":0,"index":314,"op_type":20,"inputs":[12884901911,98]},{"data_type":0,"index":315,"op_type":23,"inputs":[4294967331,314,307]},{"data_type":0,"index":316,"op_type":20,"inputs":[12884901911,82]},{"data_type":0,"index":317,"op_type":23,"inputs":[4294967331,316,309]},{"data_type":0,"index":318,"op_type":20,"inputs":[12884901911,101]},{"data_type":0,"index":319,"op_type":23,"inputs":[4294967331,318,311]},{"data_type":3,"index":24,"op_type":78,"inputs":[313,315,317,319,52,53,54,55]},{"data_type":0,"index":320,"op_type":20,"inputs":[12884901912,96]},{"data_type":0,"index":321,"op_type":23,"inputs":[4294967328,320,313]},{"data_type":0,"index":322,"op_type":20,"inputs":[12884901912,98]},{"data_type":0,"index":323,"op_type":23,"inputs":[4294967328,322,315]},{"data_type":0,"index":324,"op_type":20,"inputs":[12884901912,82]},{"data_type":0,"index":325,"op_type":23,"inputs":[4294967328,324,317]},{"data_type":0,"index":326,"op_type":20,"inputs":[12884901912,101]},{"data_type":0,"index":327,"op_type":23,"inputs":[4294967328,326,319]},{"data_type":3,"index":25,"op_type":78,"inputs":[52,53,54,55,321,323,325,327]},{"data_type":0,"index":328,"op_type":20,"inputs":[12884901913,96]},{"data_type":0,"index":329,"op_type":23,"inputs":[4294967329,328,321]},{"data_type":0,"index":330,"op_type":20,"inputs":[12884901913,98]},{"data_type":0,"index":331,"op_type":23,"inputs":[4294967329,330,323]},{"data_type":0,"index":332,"op_type":20,"inputs":[12884901913,82]},{"data_type":0,"index":333,"op_type":23,"inputs":[4294967329,332,325]},{"data_type":0,"index":334,"op_type":20,"inputs":[12884901913,101]},{"data_type":0,"index":335,"op_type":23,"inputs":[4294967329,334,327]},{"data_type":3,"index":26,"op_type":78,"inputs":[329,331,333,335,56,57,58,59]},{"data_type":0,"index":336,"op_type":20,"inputs":[12884901914,96]},{"data_type":0,"index":337,"op_type":23,"inputs":[4294967326,336,329]},{"data_type":0,"index":338,"op_type":20,"inputs":[12884901914,98]},{"data_type":0,"index":339,"op_type":23,"inputs":[4294967326,338,331]},{"data_type":0,"index":340,"op_type":20,"inputs":[12884901914,82]},{"data_type":0,"index":341,"op_type":23,"inputs":[4294967326,340,333]},{"data_type":0,"index":342,"op_type":20,"inputs":[12884901914,101]},{"data_type":0,"index":343,"op_type":23,"inputs":[4294967326,342,335]},{"data_type":3,"index":27,"op_type":78,"inputs":[56,57,58,59,337,339,341,343]},{"data_type":0,"index":344,"op_type":20,"inputs":[12884901915,96]},{"data_type":0,"index":345,"op_type":23,"inputs":[4294967327,344,337]},{"data_type":0,"index":346,"op_type":20,"inputs":[12884901915,98]},{"data_type":0,"index":347,"op_type":23,"inputs":[4294967327,346,339]},{"data_type":0,"index":348,"op_type":20,"inputs":[12884901915,82]},{"data_type":0,"index":349,"op_type":23,"inputs":[4294967327,348,341]},{"data_type":0,"index":350,"op_type":20,"inputs":[12884901915,101]},{"data_type":0,"index":351,"op_type":23,"inputs":[4294967327,350,343]},{"data_type":3,"index":28,"op_type":78,"inputs":[345,347,349,351,60,61,62,63]},{"data_type":0,"index":352,"op_type":20,"inputs":[12884901916,96]},{"data_type":0,"index":353,"op_type":23,"inputs":[4294967324,352,345]},{"data_type":0,"index":354,"op_type":20,"inputs":[12884901916,98]},{"data_type":0,"index":355,"op_type":23,"inputs":[4294967324,354,347]},{"data_type":0,"index":356,"op_type":20,"inputs":[12884901916,82]},{"data_type":0,"index":357,"op_type":23,"inputs":[4294967324,356,349]},{"data_type":0,"index":358,"op_type":20,"inputs":[12884901916,101]},{"data_type":0,"index":359,"op_type":23,"inputs":[4294967324,358,351]},{"data_type":3,"index":29,"op_type":78,"inputs":[60,61,62,63,353,355,357,359]},{"data_type":0,"index":360,"op_type":20,"inputs":[12884901917,96]},{"data_type":0,"index":361,"op_type":23,"inputs":[4294967325,360,353]},{"data_type":0,"index":362,"op_type":20,"inputs":[12884901917,98]},{"data_type":0,"index":363,"op_type":23,"inputs":[4294967325,362,355]},{"data_type":0,"index":364,"op_type":20,"inputs":[12884901917,82]},{"data_type":0,"index":365,"op_type":23,"inputs":[4294967325,364,357]},{"data_type":0,"index":366,"op_type":20,"inputs":[12884901917,101]},{"data_type":0,"index":367,"op_type":23,"inputs":[4294967325,366,359]},{"data_type":3,"index":30,"op_type":78,"inputs":[361,363,365,367,64,65,66,67]},{"data_type":0,"index":368,"op_type":20,"inputs":[12884901918,96]},{"data_type":0,"index":369,"op_type":23,"inputs":[4294967322,368,361]},{"data_type":0,"index":370,"op_type":20,"inputs":[12884901918,98]},{"data_type":0,"index":371,"op_type":23,"inputs":[4294967322,370,363]},{"data_type":0,"index":372,"op_type":20,"inputs":[12884901918,82]},{"data_type":0,"index":373,"op_type":23,"inputs":[4294967322,372,365]},{"data_type":0,"index":374,"op_type":20,"inputs":[12884901918,101]},{"data_type":0,"index":375,"op_type":23,"inputs":[4294967322,374,367]},{"data_type":3,"index":31,"op_type":78,"inputs":[64,65,66,67,369,371,373,375]},{"data_type":0,"index":376,"op_type":20,"inputs":[12884901919,96]},{"data_type":0,"index":377,"op_type":23,"inputs":[4294967323,376,369]},{"data_type":0,"index":378,"op_type":20,"inputs":[12884901919,98]},{"data_type":0,"index":379,"op_type":23,"inputs":[4294967323,378,371]},{"data_type":0,"index":380,"op_type":20,"inputs":[12884901919,82]},{"data_type":0,"index":381,"op_type":23,"inputs":[4294967323,380,373]},{"data_type":0,"index":382,"op_type":20,"inputs":[12884901919,101]},{"data_type":0,"index":383,"op_type":23,"inputs":[4294967323,382,375]},{"data_type":3,"index":32,"op_type":78,"inputs":[377,379,381,383,68,69,70,71]},{"data_type":0,"index":384,"op_type":20,"inputs":[12884901920,96]},{"data_type":0,"index":385,"op_type":23,"inputs":[4294967320,384,377]},{"data_type":0,"index":386,"op_type":20,"inputs":[12884901920,98]},{"data_type":0,"index":387,"op_type":23,"inputs":[4294967320,386,379]},{"data_type":0,"index":388,"op_type":20,"inputs":[12884901920,82]},{"data_type":0,"index":389,"op_type":23,"inputs":[4294967320,388,381]},{"data_type":0,"index":390,"op_type":20,"inputs":[12884901920,101]},{"data_type":0,"index":391,"op_type":23,"inputs":[4294967320,390,383]},{"data_type":3,"index":33,"op_type":78,"inputs":[68,69,70,71,385,387,389,391]},{"data_type":0,"index":392,"op_type":20,"inputs":[12884901921,96]},{"data_type":0,"index":393,"op_type":23,"inputs":[4294967321,392,385]},{"data_type":0,"index":394,"op_type":20,"inputs":[12884901921,98]},{"data_type":0,"index":395,"op_type":23,"inputs":[4294967321,394,387]},{"data_type":0,"index":396,"op_type":20,"inputs":[12884901921,82]},{"data_type":0,"index":397,"op_type":23,"inputs":[4294967321,396,389]},{"data_type":0,"index":398,"op_type":20,"inputs":[12884901921,101]},{"data_type":0,"index":399,"op_type":23,"inputs":[4294967321,398,391]},{"data_type":3,"index":34,"op_type":78,"inputs":[393,395,397,399,72,73,74,75]},{"data_type":0,"index":400,"op_type":20,"inputs":[12884901922,96]},{"data_type":0,"index":401,"op_type":23,"inputs":[4294967318,400,393]},{"data_type":0,"index":402,"op_type":20,"inputs":[12884901922,98]},{"data_type":0,"index":403,"op_type":23,"inputs":[4294967318,402,395]},{"data_type":0,"index":404,"op_type":20,"inputs":[12884901922,82]},{"data_type":0,"index":405,"op_type":23,"inputs":[4294967318,404,397]},{"data_type":0,"index":406,"op_type":20,"inputs":[12884901922,101]},{"data_type":0,"index":407,"op_type":23,"inputs":[4294967318,406,399]},{"data_type":3,"index":35,"op_type":78,"inputs":[72,73,74,75,401,403,405,407]},{"data_type":0,"index":408,"op_type":20,"inputs":[12884901923,96]},{"data_type":0,"index":409,"op_type":23,"inputs":[4294967319,408,401]},{"data_type":0,"index":410,"op_type":20,"inputs":[12884901923,98]},{"data_type":0,"index":411,"op_type":23,"inputs":[4294967319,410,403]},{"data_type":0,"index":412,"op_type":20,"inputs":[12884901923,82]},{"data_type":0,"index":413,"op_type":23,"inputs":[4294967319,412,405]},{"data_type":0,"index":414,"op_type":20,"inputs":[12884901923,101]},{"data_type":0,"index":415,"op_type":23,"inputs":[4294967319,414,407]},{"data_type":3,"index":36,"op_type":78,"inputs":[409,411,413,415,76,77,78,79]},{"data_type":0,"index":416,"op_type":20,"inputs":[12884901924,96]},{"data_type":0,"index":417,"op_type":23,"inputs":[4294967316,416,409]},{"data_type":0,"index":418,"op_type":20,"inputs":[12884901924,98]},{"data_type":0,"index":419,"op_type":23,"inputs":[4294967316,418,411]},{"data_type":0,"index":420,"op_type":20,"inputs":[12884901924,82]},{"data_type":0,"index":421,"op_type":23,"inputs":[4294967316,420,413]},{"data_type":0,"index":422,"op_type":20,"inputs":[12884901924,101]},{"data_type":0,"index":423,"op_type":23,"inputs":[4294967316,422,415]},{"data_type":3,"index":37,"op_type":78,"inputs":[76,77,78,79,417,419,421,423]},{"data_type":0,"index":424,"op_type":20,"inputs":[12884901925,101]},{"data_type":0,"index":425,"op_type":23,"inputs":[4294967317,424,423]},{"data_type":3,"index":38,"op_type":80,"inputs":[0]},{"data_type":0,"index":426,"op_type":20,"inputs":[12884901926,101]},{"data_type":1,"index":52,"op_type":13,"inputs":[425,426]},{"data_type":1,"index":53,"op_type":8,"inputs":[4294967348]},{"data_type":1,"index":54,"op_type":3,"inputs":[0]},{"data_type":0,"index":427,"op_type":20,"inputs":[12884901925,82]},{"data_type":0,"index":428,"op_type":23,"inputs":[4294967317,427,421]},{"data_type":0,"index":429,"op_type":20,"inputs":[12884901926,82]},{"data_type":1,"index":55,"op_type":13,"inputs":[428,429]},{"data_type":1,"index":56,"op_type":8,"inputs":[4294967351]},{"data_type":0,"index":430,"op_type":20,"inputs":[12884901925,98]},{"data_type":0,"index":431,"op_type":23,"inputs":[4294967317,430,419]},{"data_type":0,"index":432,"op_type":20,"inputs":[12884901926,98]},{"data_type":1,"index":57,"op_type":13,"inputs":[431,432]},{"data_type":1,"index":58,"op_type":8,"inputs":[4294967353]},{"data_type":0,"index":433,"op_type":20,"inputs":[12884901925,96]},{"data_type":0,"index":434,"op_type":23,"inputs":[4294967317,433,417]},{"data_type":0,"index":435,"op_type":20,"inputs":[12884901926,96]},{"data_type":1,"index":59,"op_type":13,"inputs":[434,435]},{"data_type":1,"index":60,"op_type":8,"inputs":[4294967355]},{"data_type":0,"index":436,"op_type":23,"inputs":[4294967356,4294967350,4294967296]},{"data_type":0,"index":437,"op_type":23,"inputs":[4294967354,4294967350,436]},{"data_type":0,"index":438,"op_type":23,"inputs":[4294967352,4294967350,437]},{"data_type":0,"index":439,"op_type":23,"inputs":[4294967349,4294967350,438]},{"data_type":0,"index":440,"op_type":54,"inputs":[3]},{"data_type":0,"index":441,"op_type":20,"inputs":[440,96]},{"data_type":1,"index":61,"op_type":13,"inputs":[441,4294967350]},{"data_type":0,"index":442,"op_type":48,"inputs":[0]}],"events":[{"condition":4294967296,"checkpoint_id":442,"user_id":120,"contract_id":81,"data":[4,5,6,7,0,1,2,3,118,8,9,10,11,12,13]}]},{"name":"simple_transfer","method_id":354447671,"circuit_inputs":[0,1],"circuit_outputs":[],"state_commands":[{"type":"GetContractLeaf","contract_id":2},{"type":"GetSelfUserCurrentContractStateSlotSingle","sub_slot_index":3},{"type":"GetSelfUserCurrentContractStateSlotSingle","sub_slot_index":7},{"type":"GetSelfUserCurrentContractStateSlotSingle","sub_slot_index":9},{"type":"SetContractStateSlotSingle","condition":4294967296,"sub_slot_index":7,"value":11},{"type":"GetSelfUserCurrentContractStateSlotSingle","sub_slot_index":9},{"type":"SetContractStateSlotSingle","condition":4294967296,"sub_slot_index":9,"value":12},{"type":"GetSelfUserCurrentContractStateSlotSingle","sub_slot_index":3},{"type":"SetContractStateSlotSingle","condition":4294967296,"sub_slot_index":3,"value":14},{"type":"GetSelfUserCurrentContractStateSlotSingle","sub_slot_index":3}],"state_command_resolution_indices":[3,4,8,10,13,13,14,14,16,16],"assertions":[{"left":4294967297,"right":4294967296,"message":"insufficient balance"},{"left":4294967298,"right":4294967296,"message":"Index out of bounds"},{"left":4294967299,"right":4294967296,"message":"amount sent overflow"},{"left":4294967298,"right":4294967296,"message":"Index out of bounds"}],"definitions":[{"data_type":0,"index":0,"op_type":0,"inputs":[0]},{"data_type":0,"index":1,"op_type":0,"inputs":[1]},{"data_type":0,"index":2,"op_type":47,"inputs":[0]},{"data_type":0,"index":3,"op_type":1,"inputs":[0]},{"data_type":0,"index":4,"op_type":1,"inputs":[3]},{"data_type":0,"index":5,"op_type":1,"inputs":[2]},{"data_type":0,"index":6,"op_type":6,"inputs":[0,5]},{"data_type":0,"index":7,"op_type":4,"inputs":[4,6]},{"data_type":0,"index":8,"op_type":1,"inputs":[1]},{"data_type":0,"index":9,"op_type":4,"inputs":[7,8]},{"data_type":1,"index":0,"op_type":2,"inputs":[1]},{"data_type":0,"index":10,"op_type":54,"inputs":[2]},{"data_type":0,"index":11,"op_type":4,"inputs":[10,1]},{"data_type":0,"index":12,"op_type":54,"inputs":[3]},{"data_type":0,"index":13,"op_type":54,"inputs":[1]},{"data_type":0,"index":14,"op_type":5,"inputs":[13,1]},{"data_type":1,"index":1,"op_type":15,"inputs":[13,1]},{"data_type":0,"index":15,"op_type":1,"inputs":[4294967296]},{"data_type":1,"index":2,"op_type":17,"inputs":[0,15]},{"data_type":1,"index":3,"op_type":16,"inputs":[11,10]},{"data_type":0,"index":16,"op_type":48,"inputs":[0]},{"data_type":0,"index":17,"op_type":46,"inputs":[0]},{"data_type":0,"index":18,"op_type":54,"inputs":[7]},{"data_type":0,"index":19,"op_type":54,"inputs":[9]}],"events":[{"condition":4294967296,"checkpoint_id":16,"user_id":17,"contract_id":2,"data":[0,1]},{"condition":4294967296,"checkpoint_id":16,"user_id":17,"contract_id":2,"data":[18]},{"condition":4294967296,"checkpoint_id":16,"user_id":17,"contract_id":2,"data":[19]}]},{"name":"simple_claim","method_id":2293029357,"circuit_inputs":[0],"circuit_outputs":[],"state_commands":[{"type":"GetContractLeaf","contract_id":1},{"type":"GetOtherUserContractStateSlotSingle","user_id":0,"contract_id":1,"sub_slot_index":8,"contract_state_tree_height":3},{"type":"GetOtherUserContractStateSlotSingle","user_id":0,"contract_id":1,"sub_slot_index":10,"contract_state_tree_height":3},{"type":"GetSelfUserCurrentContractStateSlotSingle","sub_slot_index":12},{"type":"GetSelfUserCurrentContractStateSlotSingle","sub_slot_index":13},{"type":"SetContractStateSlotSingle","condition":4294967296,"sub_slot_index":13,"value":14},{"type":"GetSelfUserCurrentContractStateSlotSingle","sub_slot_index":15},{"type":"SetContractStateSlotSingle","condition":4294967296,"sub_slot_index":15,"value":19}],"state_command_resolution_indices":[2,10,12,14,15,17,18,22],"assertions":[{"left":4294967297,"right":4294967296,"message":"Index out of bounds"},{"left":4294967298,"right":4294967296,"message":"Index out of bounds"},{"left":4294967299,"right":4294967296,"message":"no tokens to claim from this sender"},{"left":4294967298,"right":4294967296,"message":"Index out of bounds"}],"definitions":[{"data_type":0,"index":0,"op_type":0,"inputs":[0]},{"data_type":0,"index":1,"op_type":47,"inputs":[0]},{"data_type":5,"index":0,"op_type":55,"inputs":[0]},{"data_type":0,"index":2,"op_type":1,"inputs":[12]},{"data_type":0,"index":3,"op_type":20,"inputs":[21474836480,2]},{"data_type":0,"index":4,"op_type":1,"inputs":[3]},{"data_type":0,"index":5,"op_type":46,"inputs":[0]},{"data_type":0,"index":6,"op_type":1,"inputs":[2]},{"data_type":0,"index":7,"op_type":6,"inputs":[5,6]},{"data_type":0,"index":8,"op_type":4,"inputs":[4,7]},{"data_type":0,"index":9,"op_type":1,"inputs":[1]},{"data_type":0,"index":10,"op_type":4,"inputs":[8,9]},{"data_type":0,"index":11,"op_type":6,"inputs":[0,6]},{"data_type":0,"index":12,"op_type":4,"inputs":[4,11]},{"data_type":0,"index":13,"op_type":4,"inputs":[12,9]},{"data_type":1,"index":0,"op_type":2,"inputs":[1]},{"data_type":0,"index":14,"op_type":54,"inputs":[1]},{"data_type":0,"index":15,"op_type":1,"inputs":[0]},{"data_type":0,"index":16,"op_type":54,"inputs":[6]},{"data_type":0,"index":17,"op_type":54,"inputs":[4]},{"data_type":0,"index":18,"op_type":5,"inputs":[14,17]},{"data_type":0,"index":19,"op_type":4,"inputs":[16,18]},{"data_type":0,"index":20,"op_type":1,"inputs":[4294967296]},{"data_type":1,"index":1,"op_type":17,"inputs":[5,20]},{"data_type":1,"index":2,"op_type":17,"inputs":[0,20]},{"data_type":1,"index":3,"op_type":17,"inputs":[17,14]},{"data_type":0,"index":21,"op_type":48,"inputs":[0]}],"events":[{"condition":4294967296,"checkpoint_id":21,"user_id":5,"contract_id":1,"data":[0,18,14]}]},{"name":"batch_simple_transfer_2","method_id":2184671991,"circuit_inputs":[0,1,2,3],"circuit_outputs":[],"state_commands":[{"type":"GetContractLeaf","contract_id":4},{"type":"GetSelfUserCurrentContractStateSlotSingle","sub_slot_index":5},{"type":"GetSelfUserCurrentContractStateSlotSingle","sub_slot_index":9},{"type":"GetSelfUserCurrentContractStateSlotSingle","sub_slot_index":11},{"type":"SetContractStateSlotSingle","condition":4294967296,"sub_slot_index":9,"value":13},{"type":"GetSelfUserCurrentContractStateSlotSingle","sub_slot_index":11},{"type":"SetContractStateSlotSingle","condition":4294967296,"sub_slot_index":11,"value":14},{"type":"GetSelfUserCurrentContractStateSlotSingle","sub_slot_index":16},{"type":"GetSelfUserCurrentContractStateSlotSingle","sub_slot_index":17},{"type":"SetContractStateSlotSingle","condition":4294967297,"sub_slot_index":16,"value":19},{"type":"GetSelfUserCurrentContractStateSlotSingle","sub_slot_index":17},{"type":"SetContractStateSlotSingle","condition":4294967297,"sub_slot_index":17,"value":20},{"type":"GetSelfUserCurrentContractStateSlotSingle","sub_slot_index":5},{"type":"SetContractStateSlotSingle","condition":4294967298,"sub_slot_index":5,"value":24}],"state_command_resolution_indices":[5,6,10,12,15,15,16,18,19,22,22,23,23,28],"assertions":[{"left":4294967299,"right":4294967298,"message":"total amount overflow"},{"left":4294967300,"right":4294967298,"message":"total amount overflow"},{"left":4294967301,"right":4294967298,"message":"insufficient balance for batch transfer"},{"left":26,"right":4294967298,"message":"Index out of bounds"},{"left":27,"right":4294967298,"message":"amount sent overflow"},{"left":26,"right":4294967298,"message":"Index out of bounds"},{"left":28,"right":4294967298,"message":"Index out of bounds"},{"left":29,"right":4294967298,"message":"amount sent overflow"},{"left":28,"right":4294967298,"message":"Index out of bounds"}],"definitions":[{"data_type":0,"index":0,"op_type":0,"inputs":[0]},{"data_type":0,"index":1,"op_type":0,"inputs":[1]},{"data_type":0,"index":2,"op_type":0,"inputs":[2]},{"data_type":0,"index":3,"op_type":0,"inputs":[3]},{"data_type":0,"index":4,"op_type":47,"inputs":[0]},{"data_type":0,"index":5,"op_type":1,"inputs":[0]},{"data_type":0,"index":6,"op_type":1,"inputs":[3]},{"data_type":0,"index":7,"op_type":1,"inputs":[2]},{"data_type":0,"index":8,"op_type":6,"inputs":[0,7]},{"data_type":0,"index":9,"op_type":4,"inputs":[6,8]},{"data_type":0,"index":10,"op_type":1,"inputs":[1]},{"data_type":0,"index":11,"op_type":4,"inputs":[9,10]},{"data_type":1,"index":0,"op_type":16,"inputs":[2,5]},{"data_type":0,"index":12,"op_type":54,"inputs":[2]},{"data_type":0,"index":13,"op_type":4,"inputs":[12,2]},{"data_type":0,"index":14,"op_type":54,"inputs":[3]},{"data_type":0,"index":15,"op_type":6,"inputs":[1,7]},{"data_type":0,"index":16,"op_type":4,"inputs":[6,15]},{"data_type":0,"index":17,"op_type":4,"inputs":[16,10]},{"data_type":1,"index":1,"op_type":16,"inputs":[3,5]},{"data_type":0,"index":18,"op_type":54,"inputs":[7]},{"data_type":0,"index":19,"op_type":4,"inputs":[18,3]},{"data_type":0,"index":20,"op_type":54,"inputs":[8]},{"data_type":1,"index":2,"op_type":2,"inputs":[1]},{"data_type":0,"index":21,"op_type":54,"inputs":[1]},{"data_type":0,"index":22,"op_type":4,"inputs":[5,2]},{"data_type":0,"index":23,"op_type":4,"inputs":[22,3]},{"data_type":0,"index":24,"op_type":5,"inputs":[21,23]},{"data_type":1,"index":3,"op_type":15,"inputs":[22,2]},{"data_type":1,"index":4,"op_type":15,"inputs":[23,3]},{"data_type":1,"index":5,"op_type":15,"inputs":[21,23]},{"data_type":0,"index":25,"op_type":1,"inputs":[4294967296]},{"data_type":1,"index":6,"op_type":17,"inputs":[0,25]},{"data_type":0,"index":26,"op_type":23,"inputs":[4294967296,4294967302,4294967298]},{"data_type":1,"index":7,"op_type":16,"inputs":[13,12]},{"data_type":0,"index":27,"op_type":23,"inputs":[4294967296,4294967303,4294967298]},{"data_type":1,"index":8,"op_type":17,"inputs":[1,25]},{"data_type":0,"index":28,"op_type":23,"inputs":[4294967297,4294967304,4294967298]},{"data_type":1,"index":9,"op_type":16,"inputs":[19,18]},{"data_type":0,"index":29,"op_type":23,"inputs":[4294967297,4294967305,4294967298]}],"events":[]},{"name":"batch_simple_transfer_5","method_id":2000856578,"circuit_inputs":[0,1,2,3,4,5,6,7,8,9],"circuit_outputs":[],"state_commands":[{"type":"GetContractLeaf","contract_id":10},{"type":"GetSelfUserCurrentContractStateSlotSingle","sub_slot_index":11},{"type":"GetSelfUserCurrentContractStateSlotSingle","sub_slot_index":15},{"type":"GetSelfUserCurrentContractStateSlotSingle","sub_slot_index":17},{"type":"SetContractStateSlotSingle","condition":4294967296,"sub_slot_index":15,"value":19},{"type":"GetSelfUserCurrentContractStateSlotSingle","sub_slot_index":17},{"type":"SetContractStateSlotSingle","condition":4294967296,"sub_slot_index":17,"value":20},{"type":"GetSelfUserCurrentContractStateSlotSingle","sub_slot_index":22},{"type":"GetSelfUserCurrentContractStateSlotSingle","sub_slot_index":23},{"type":"SetContractStateSlotSingle","condition":4294967297,"sub_slot_index":22,"value":25},{"type":"GetSelfUserCurrentContractStateSlotSingle","sub_slot_index":23},{"type":"SetContractStateSlotSingle","condition":4294967297,"sub_slot_index":23,"value":26},{"type":"GetSelfUserCurrentContractStateSlotSingle","sub_slot_index":28},{"type":"GetSelfUserCurrentContractStateSlotSingle","sub_slot_index":29},{"type":"SetContractStateSlotSingle","condition":4294967298,"sub_slot_index":28,"value":31},{"type":"GetSelfUserCurrentContractStateSlotSingle","sub_slot_index":29},{"type":"SetContractStateSlotSingle","condition":4294967298,"sub_slot_index":29,"value":32},{"type":"GetSelfUserCurrentContractStateSlotSingle","sub_slot_index":34},{"type":"GetSelfUserCurrentContractStateSlotSingle","sub_slot_index":35},{"type":"SetContractStateSlotSingle","condition":4294967299,"sub_slot_index":34,"value":37},{"type":"GetSelfUserCurrentContractStateSlotSingle","sub_slot_index":35},{"type":"SetContractStateSlotSingle","condition":4294967299,"sub_slot_index":35,"value":38},{"type":"GetSelfUserCurrentContractStateSlotSingle","sub_slot_index":40},{"type":"GetSelfUserCurrentContractStateSlotSingle","sub_slot_index":41},{"type":"SetContractStateSlotSingle","condition":4294967300,"sub_slot_index":40,"value":43},{"type":"GetSelfUserCurrentContractStateSlotSingle","sub_slot_index":41},{"type":"SetContractStateSlotSingle","condition":4294967300,"sub_slot_index":41,"value":44},{"type":"GetSelfUserCurrentContractStateSlotSingle","sub_slot_index":11},{"type":"SetContractStateSlotSingle","condition":4294967301,"sub_slot_index":11,"value":51}],"state_command_resolution_indices":[11,12,16,18,21,21,22,24,25,28,28,29,31,32,35,35,36,38,39,42,42,43,45,46,49,49,50,50,58],"assertions":[{"left":4294967302,"right":4294967301,"message":"total amount overflow"},{"left":4294967303,"right":4294967301,"message":"total amount overflow"},{"left":4294967304,"right":4294967301,"message":"total amount overflow"},{"left":4294967305,"right":4294967301,"message":"total amount overflow"},{"left":4294967306,"right":4294967301,"message":"total amount overflow"},{"left":4294967307,"right":4294967301,"message":"insufficient balance for batch transfer"},{"left":53,"right":4294967301,"message":"Index out of bounds"},{"left":54,"right":4294967301,"message":"amount sent overflow"},{"left":53,"right":4294967301,"message":"Index out of bounds"},{"left":55,"right":4294967301,"message":"Index out of bounds"},{"left":56,"right":4294967301,"message":"amount sent overflow"},{"left":55,"right":4294967301,"message":"Index out of bounds"},{"left":57,"right":4294967301,"message":"Index out of bounds"},{"left":58,"right":4294967301,"message":"amount sent overflow"},{"left":57,"right":4294967301,"message":"Index out of bounds"},{"left":59,"right":4294967301,"message":"Index out of bounds"},{"left":60,"right":4294967301,"message":"amount sent overflow"},{"left":59,"right":4294967301,"message":"Index out of bounds"},{"left":61,"right":4294967301,"message":"Index out of bounds"},{"left":62,"right":4294967301,"message":"amount sent overflow"},{"left":61,"right":4294967301,"message":"Index out of bounds"}],"definitions":[{"data_type":0,"index":0,"op_type":0,"inputs":[0]},{"data_type":0,"index":1,"op_type":0,"inputs":[1]},{"data_type":0,"index":2,"op_type":0,"inputs":[2]},{"data_type":0,"index":3,"op_type":0,"inputs":[3]},{"data_type":0,"index":4,"op_type":0,"inputs":[4]},{"data_type":0,"index":5,"op_type":0,"inputs":[5]},{"data_type":0,"index":6,"op_type":0,"inputs":[6]},{"data_type":0,"index":7,"op_type":0,"inputs":[7]},{"data_type":0,"index":8,"op_type":0,"inputs":[8]},{"data_type":0,"index":9,"op_type":0,"inputs":[9]},{"data_type":0,"index":10,"op_type":47,"inputs":[0]},{"data_type":0,"index":11,"op_type":1,"inputs":[0]},{"data_type":0,"index":12,"op_type":1,"inputs":[3]},{"data_type":0,"index":13,"op_type":1,"inputs":[2]},{"data_type":0,"index":14,"op_type":6,"inputs":[0,13]},{"data_type":0,"index":15,"op_type":4,"inputs":[12,14]},{"data_type":0,"index":16,"op_type":1,"inputs":[1]},{"data_type":0,"index":17,"op_type":4,"inputs":[15,16]},{"data_type":1,"index":0,"op_type":16,"inputs":[5,11]},{"data_type":0,"index":18,"op_type":54,"inputs":[2]},{"data_type":0,"index":19,"op_type":4,"inputs":[18,5]},{"data_type":0,"index":20,"op_type":54,"inputs":[3]},{"data_type":0,"index":21,"op_type":6,"inputs":[1,13]},{"data_type":0,"index":22,"op_type":4,"inputs":[12,21]},{"data_type":0,"index":23,"op_type":4,"inputs":[22,16]},{"data_type":1,"index":1,"op_type":16,"inputs":[6,11]},{"data_type":0,"index":24,"op_type":54,"inputs":[7]},{"data_type":0,"index":25,"op_type":4,"inputs":[24,6]},{"data_type":0,"index":26,"op_type":54,"inputs":[8]},{"data_type":0,"index":27,"op_type":6,"inputs":[2,13]},{"data_type":0,"index":28,"op_type":4,"inputs":[12,27]},{"data_type":0,"index":29,"op_type":4,"inputs":[28,16]},{"data_type":1,"index":2,"op_type":16,"inputs":[7,11]},{"data_type":0,"index":30,"op_type":54,"inputs":[12]},{"data_type":0,"index":31,"op_type":4,"inputs":[30,7]},{"data_type":0,"index":32,"op_type":54,"inputs":[13]},{"data_type":0,"index":33,"op_type":6,"inputs":[3,13]},{"data_type":0,"index":34,"op_type":4,"inputs":[12,33]},{"data_type":0,"index":35,"op_type":4,"inputs":[34,16]},{"data_type":1,"index":3,"op_type":16,"inputs":[8,11]},{"data_type":0,"index":36,"op_type":54,"inputs":[17]},{"data_type":0,"index":37,"op_type":4,"inputs":[36,8]},{"data_type":0,"index":38,"op_type":54,"inputs":[18]},{"data_type":0,"index":39,"op_type":6,"inputs":[4,13]},{"data_type":0,"index":40,"op_type":4,"inputs":[12,39]},{"data_type":0,"index":41,"op_type":4,"inputs":[40,16]},{"data_type":1,"index":4,"op_type":16,"inputs":[9,11]},{"data_type":0,"index":42,"op_type":54,"inputs":[22]},{"data_type":0,"index":43,"op_type":4,"inputs":[42,9]},{"data_type":0,"index":44,"op_type":54,"inputs":[23]},{"data_type":1,"index":5,"op_type":2,"inputs":[1]},{"data_type":0,"index":45,"op_type":54,"inputs":[1]},{"data_type":0,"index":46,"op_type":4,"inputs":[11,5]},{"data_type":0,"index":47,"op_type":4,"inputs":[46,6]},{"data_type":0,"index":48,"op_type":4,"inputs":[47,7]},{"data_type":0,"index":49,"op_type":4,"inputs":[48,8]},{"data_type":0,"index":50,"op_type":4,"inputs":[49,9]},{"data_type":0,"index":51,"op_type":5,"inputs":[45,50]},{"data_type":1,"index":6,"op_type":15,"inputs":[46,5]},{"data_type":1,"index":7,"op_type":15,"inputs":[47,6]},{"data_type":1,"index":8,"op_type":15,"inputs":[48,7]},{"data_type":1,"index":9,"op_type":15,"inputs":[49,8]},{"data_type":1,"index":10,"op_type":15,"inputs":[50,9]},{"data_type":1,"index":11,"op_type":15,"inputs":[45,50]},{"data_type":0,"index":52,"op_type":1,"inputs":[4294967296]},{"data_type":1,"index":12,"op_type":17,"inputs":[0,52]},{"data_type":0,"index":53,"op_type":23,"inputs":[4294967296,4294967308,4294967301]},{"data_type":1,"index":13,"op_type":16,"inputs":[19,18]},{"data_type":0,"index":54,"op_type":23,"inputs":[4294967296,4294967309,4294967301]},{"data_type":1,"index":14,"op_type":17,"inputs":[1,52]},{"data_type":0,"index":55,"op_type":23,"inputs":[4294967297,4294967310,4294967301]},{"data_type":1,"index":15,"op_type":16,"inputs":[25,24]},{"data_type":0,"index":56,"op_type":23,"inputs":[4294967297,4294967311,4294967301]},{"data_type":1,"index":16,"op_type":17,"inputs":[2,52]},{"data_type":0,"index":57,"op_type":23,"inputs":[4294967298,4294967312,4294967301]},{"data_type":1,"index":17,"op_type":16,"inputs":[31,30]},{"data_type":0,"index":58,"op_type":23,"inputs":[4294967298,4294967313,4294967301]},{"data_type":1,"index":18,"op_type":17,"inputs":[3,52]},{"data_type":0,"index":59,"op_type":23,"inputs":[4294967299,4294967314,4294967301]},{"data_type":1,"index":19,"op_type":16,"inputs":[37,36]},{"data_type":0,"index":60,"op_type":23,"inputs":[4294967299,4294967315,4294967301]},{"data_type":1,"index":20,"op_type":17,"inputs":[4,52]},{"data_type":0,"index":61,"op_type":23,"inputs":[4294967300,4294967316,4294967301]},{"data_type":1,"index":21,"op_type":16,"inputs":[43,42]},{"data_type":0,"index":62,"op_type":23,"inputs":[4294967300,4294967317,4294967301]}],"events":[]},{"name":"simple_burn","method_id":2923993647,"circuit_inputs":[0],"circuit_outputs":[],"state_commands":[{"type":"GetContractLeaf","contract_id":1},{"type":"GetSelfUserCurrentContractStateSlotSingle","sub_slot_index":2},{"type":"SetContractStateSlotSingle","condition":4294967296,"sub_slot_index":2,"value":4}],"state_command_resolution_indices":[2,3,6],"assertions":[{"left":4294967297,"right":4294967296,"message":"insufficient balance"}],"definitions":[{"data_type":0,"index":0,"op_type":0,"inputs":[0]},{"data_type":0,"index":1,"op_type":47,"inputs":[0]},{"data_type":0,"index":2,"op_type":1,"inputs":[0]},{"data_type":1,"index":0,"op_type":2,"inputs":[1]},{"data_type":0,"index":3,"op_type":54,"inputs":[1]},{"data_type":0,"index":4,"op_type":5,"inputs":[3,0]},{"data_type":1,"index":1,"op_type":15,"inputs":[3,0]}],"events":[]},{"name":"simple_claim_pow_rewards","method_id":421974506,"circuit_inputs":[0],"circuit_outputs":[],"state_commands":[{"type":"GetContractLeaf","contract_id":1},{"type":"GetContractLeaf","contract_id":2},{"type":"GetSelfUserExternalContractStateSlotSingle","contract_id":2,"sub_slot_index":5,"contract_state_tree_height":4},{"type":"GetSelfUserExternalContractStateSlotSingle","contract_id":2,"sub_slot_index":2,"contract_state_tree_height":4},{"type":"GetSelfUserExternalContractStateSlotSingle","contract_id":2,"sub_slot_index":6,"contract_state_tree_height":4},{"type":"GetSelfUserCurrentContractStateSlotSingle","sub_slot_index":2},{"type":"SetContractStateSlotSingle","condition":4294967296,"sub_slot_index":2,"value":0},{"type":"GetSelfUserCurrentContractStateSlotSingle","sub_slot_index":5},{"type":"SetContractStateSlotSingle","condition":4294967296,"sub_slot_index":5,"value":9}],"state_command_resolution_indices":[2,3,7,7,8,8,9,9,12],"assertions":[{"left":4294967297,"right":4294967296,"message":"the claims must be from the latest ups"},{"left":4294967298,"right":4294967296,"message":"the checkpoint must be sealed"},{"left":4294967299,"right":4294967296,"message":"must haven't already claimed during this ups"}],"definitions":[{"data_type":0,"index":0,"op_type":0,"inputs":[0]},{"data_type":0,"index":1,"op_type":47,"inputs":[0]},{"data_type":0,"index":2,"op_type":1,"inputs":[1]},{"data_type":5,"index":0,"op_type":55,"inputs":[1]},{"data_type":0,"index":3,"op_type":1,"inputs":[12]},{"data_type":0,"index":4,"op_type":20,"inputs":[21474836480,3]},{"data_type":0,"index":5,"op_type":1,"inputs":[0]},{"data_type":0,"index":6,"op_type":1,"inputs":[2]},{"data_type":1,"index":0,"op_type":2,"inputs":[1]},{"data_type":0,"index":7,"op_type":54,"inputs":[7]},{"data_type":0,"index":8,"op_type":54,"inputs":[2]},{"data_type":0,"index":9,"op_type":4,"inputs":[7,8]},{"data_type":0,"index":10,"op_type":54,"inputs":[3]},{"data_type":1,"index":1,"op_type":13,"inputs":[10,0]},{"data_type":0,"index":11,"op_type":54,"inputs":[4]},{"data_type":1,"index":2,"op_type":13,"inputs":[11,0]},{"data_type":0,"index":12,"op_type":54,"inputs":[5]},{"data_type":1,"index":3,"op_type":17,"inputs":[12,0]}],"events":[]},{"name":"private_transfer","method_id":1325380837,"circuit_inputs":[0,1,2,3,4,5,6,7,8],"circuit_outputs":[],"state_commands":[{"type":"GetContractLeaf","contract_id":9},{"type":"GetSelfUserCurrentContractStateSlotSingle","sub_slot_index":10},{"type":"SetContractStateSlotSingle","condition":4294967296,"sub_slot_index":10,"value":12},{"type":"GetSelfUserCurrentContractStateSlotSingle","sub_slot_index":13},{"type":"SetContractStateSlotRange","condition":4294967297,"sub_slot_index":16,"value":[23,24,25,26]},{"type":"GetSelfUserCurrentContractStateSlotRange","sub_slot_index":16,"length":4},{"type":"SetContractStateSlotRange","condition":4294967298,"sub_slot_index":27,"value":[41,43,45,47]},{"type":"GetSelfUserCurrentContractStateSlotRange","sub_slot_index":27,"length":4},{"type":"SetContractStateSlotRange","condition":4294967300,"sub_slot_index":48,"value":[66,68,70,72]},{"type":"GetSelfUserCurrentContractStateSlotRange","sub_slot_index":48,"length":4},{"type":"SetContractStateSlotRange","condition":4294967302,"sub_slot_index":73,"value":[91,93,95,97]},{"type":"GetSelfUserCurrentContractStateSlotRange","sub_slot_index":73,"length":4},{"type":"SetContractStateSlotRange","condition":4294967304,"sub_slot_index":98,"value":[116,118,120,122]},{"type":"GetSelfUserCurrentContractStateSlotRange","sub_slot_index":98,"length":4},{"type":"SetContractStateSlotRange","condition":4294967306,"sub_slot_index":123,"value":[141,143,145,147]},{"type":"GetSelfUserCurrentContractStateSlotRange","sub_slot_index":123,"length":4},{"type":"SetContractStateSlotRange","condition":4294967308,"sub_slot_index":148,"value":[166,168,170,172]},{"type":"GetSelfUserCurrentContractStateSlotRange","sub_slot_index":148,"length":4},{"type":"SetContractStateSlotRange","condition":4294967310,"sub_slot_index":173,"value":[191,193,195,197]},{"type":"GetSelfUserCurrentContractStateSlotRange","sub_slot_index":173,"length":4},{"type":"SetContractStateSlotRange","condition":4294967312,"sub_slot_index":198,"value":[216,218,220,222]},{"type":"GetSelfUserCurrentContractStateSlotRange","sub_slot_index":198,"length":4},{"type":"SetContractStateSlotRange","condition":4294967314,"sub_slot_index":223,"value":[241,243,245,247]},{"type":"GetSelfUserCurrentContractStateSlotRange","sub_slot_index":223,"length":4},{"type":"SetContractStateSlotRange","condition":4294967316,"sub_slot_index":248,"value":[266,268,270,272]},{"type":"GetSelfUserCurrentContractStateSlotRange","sub_slot_index":248,"length":4},{"type":"SetContractStateSlotRange","condition":4294967318,"sub_slot_index":273,"value":[291,293,295,297]},{"type":"GetSelfUserCurrentContractStateSlotRange","sub_slot_index":273,"length":4},{"type":"SetContractStateSlotRange","condition":4294967320,"sub_slot_index":298,"value":[316,318,320,322]},{"type":"GetSelfUserCurrentContractStateSlotRange","sub_slot_index":298,"length":4},{"type":"SetContractStateSlotRange","condition":4294967322,"sub_slot_index":323,"value":[341,343,345,347]},{"type":"GetSelfUserCurrentContractStateSlotRange","sub_slot_index":323,"length":4},{"type":"SetContractStateSlotRange","condition":4294967324,"sub_slot_index":348,"value":[366,368,370,372]},{"type":"GetSelfUserCurrentContractStateSlotRange","sub_slot_index":348,"length":4},{"type":"SetContractStateSlotRange","condition":4294967326,"sub_slot_index":373,"value":[391,393,395,397]},{"type":"GetSelfUserCurrentContractStateSlotRange","sub_slot_index":373,"length":4},{"type":"SetContractStateSlotRange","condition":4294967328,"sub_slot_index":398,"value":[416,418,420,422]},{"type":"GetSelfUserCurrentContractStateSlotRange","sub_slot_index":398,"length":4},{"type":"SetContractStateSlotRange","condition":4294967330,"sub_slot_index":423,"value":[441,443,445,447]},{"type":"GetSelfUserCurrentContractStateSlotRange","sub_slot_index":423,"length":4},{"type":"SetContractStateSlotRange","condition":4294967332,"sub_slot_index":448,"value":[466,468,470,472]},{"type":"GetSelfUserCurrentContractStateSlotRange","sub_slot_index":448,"length":4},{"type":"SetContractStateSlotRange","condition":4294967334,"sub_slot_index":473,"value":[491,493,495,497]},{"type":"GetSelfUserCurrentContractStateSlotRange","sub_slot_index":473,"length":4},{"type":"SetContractStateSlotRange","condition":4294967296,"sub_slot_index":498,"value":[516,518,520,522]},{"type":"GetSelfUserCurrentContractStateSlotSingle","sub_slot_index":13},{"type":"SetContractStateSlotSingle","condition":4294967296,"sub_slot_index":13,"value":523}],"state_command_resolution_indices":[10,11,14,15,32,32,60,60,93,93,126,126,159,159,192,192,225,225,258,258,291,291,324,324,357,357,390,390,423,423,456,456,489,489,522,522,555,555,588,588,621,621,654,654,684,684,685],"assertions":[{"left":4294967337,"right":4294967296,"message":"value must be positive"},{"left":4294967338,"right":4294967296,"message":"insufficient balance"},{"left":4294967339,"right":4294967296,"message":"note tree is full"},{"left":525,"right":4294967296,"message":"Index out of bounds"},{"left":526,"right":4294967296,"message":"Index out of bounds"},{"left":527,"right":4294967296,"message":"Index out of bounds"},{"left":528,"right":4294967296,"message":"Index out of bounds"},{"left":529,"right":4294967296,"message":"Index out of bounds"},{"left":530,"right":4294967296,"message":"Index out of bounds"},{"left":531,"right":4294967296,"message":"Index out of bounds"},{"left":532,"right":4294967296,"message":"Index out of bounds"},{"left":533,"right":4294967296,"message":"Index out of bounds"},{"left":534,"right":4294967296,"message":"Index out of bounds"},{"left":535,"right":4294967296,"message":"Index out of bounds"},{"left":536,"right":4294967296,"message":"Index out of bounds"},{"left":537,"right":4294967296,"message":"Index out of bounds"},{"left":538,"right":4294967296,"message":"Index out of bounds"},{"left":539,"right":4294967296,"message":"Index out of bounds"},{"left":540,"right":4294967296,"message":"Index out of bounds"},{"left":541,"right":4294967296,"message":"Index out of bounds"},{"left":542,"right":4294967296,"message":"Index out of bounds"},{"left":543,"right":4294967296,"message":"Index out of bounds"},{"left":544,"right":4294967296,"message":"Index out of bounds"},{"left":545,"right":4294967296,"message":"Index out of bounds"},{"left":546,"right":4294967296,"message":"Index out of bounds"},{"left":547,"right":4294967296,"message":"Index out of bounds"},{"left":548,"right":4294967296,"message":"Index out of bounds"},{"left":549,"right":4294967296,"message":"Index out of bounds"},{"left":550,"right":4294967296,"message":"Index out of bounds"},{"left":551,"right":4294967296,"message":"Index out of bounds"},{"left":552,"right":4294967296,"message":"Index out of bounds"},{"left":553,"right":4294967296,"message":"Index out of bounds"},{"left":554,"right":4294967296,"message":"Index out of bounds"},{"left":555,"right":4294967296,"message":"Index out of bounds"},{"left":556,"right":4294967296,"message":"Index out of bounds"},{"left":557,"right":4294967296,"message":"Index out of bounds"},{"left":558,"right":4294967296,"message":"Index out of bounds"},{"left":559,"right":4294967296,"message":"Index out of bounds"},{"left":560,"right":4294967296,"message":"Index out of bounds"},{"left":561,"right":4294967296,"message":"Index out of bounds"},{"left":562,"right":4294967296,"message":"Index out of bounds"},{"left":563,"right":4294967296,"message":"Index out of bounds"},{"left":564,"right":4294967296,"message":"Index out of bounds"}],"definitions":[{"data_type":0,"index":0,"op_type":0,"inputs":[0]},{"data_type":0,"index":1,"op_type":0,"inputs":[1]},{"data_type":0,"index":2,"op_type":0,"inputs":[2]},{"data_type":0,"index":3,"op_type":0,"inputs":[3]},{"data_type":0,"index":4,"op_type":0,"inputs":[4]},{"data_type":0,"index":5,"op_type":0,"inputs":[5]},{"data_type":0,"index":6,"op_type":0,"inputs":[6]},{"data_type":0,"index":7,"op_type":0,"inputs":[7]},{"data_type":0,"index":8,"op_type":0,"inputs":[8]},{"data_type":0,"index":9,"op_type":47,"inputs":[0]},{"data_type":0,"index":10,"op_type":1,"inputs":[0]},{"data_type":1,"index":0,"op_type":2,"inputs":[1]},{"data_type":0,"index":11,"op_type":54,"inputs":[1]},{"data_type":0,"index":12,"op_type":5,"inputs":[11,4]},{"data_type":0,"index":13,"op_type":1,"inputs":[8589934595]},{"data_type":0,"index":14,"op_type":54,"inputs":[3]},{"data_type":0,"index":15,"op_type":1,"inputs":[1]},{"data_type":2,"index":0,"op_type":32,"inputs":[14,15]},{"data_type":1,"index":1,"op_type":13,"inputs":[8589934592,10]},{"data_type":0,"index":16,"op_type":1,"inputs":[8589934600]},{"data_type":3,"index":0,"op_type":78,"inputs":[0,1,2,3,4,10,10,10]},{"data_type":0,"index":17,"op_type":20,"inputs":[12884901888,10]},{"data_type":0,"index":18,"op_type":20,"inputs":[12884901888,15]},{"data_type":0,"index":19,"op_type":1,"inputs":[2]},{"data_type":0,"index":20,"op_type":20,"inputs":[12884901888,19]},{"data_type":0,"index":21,"op_type":1,"inputs":[3]},{"data_type":0,"index":22,"op_type":20,"inputs":[12884901888,21]},{"data_type":3,"index":1,"op_type":78,"inputs":[17,18,20,22,5,6,7,8]},{"data_type":0,"index":23,"op_type":20,"inputs":[12884901889,10]},{"data_type":0,"index":24,"op_type":20,"inputs":[12884901889,15]},{"data_type":0,"index":25,"op_type":20,"inputs":[12884901889,19]},{"data_type":0,"index":26,"op_type":20,"inputs":[12884901889,21]},{"data_type":2,"index":1,"op_type":42,"inputs":[14,15]},{"data_type":2,"index":2,"op_type":32,"inputs":[8589934593,15]},{"data_type":1,"index":2,"op_type":13,"inputs":[8589934594,10]},{"data_type":0,"index":27,"op_type":1,"inputs":[8589934604]},{"data_type":1,"index":3,"op_type":8,"inputs":[4294967297]},{"data_type":5,"index":0,"op_type":55,"inputs":[5]},{"data_type":0,"index":28,"op_type":20,"inputs":[21474836480,10]},{"data_type":0,"index":29,"op_type":20,"inputs":[21474836480,15]},{"data_type":0,"index":30,"op_type":20,"inputs":[21474836480,19]},{"data_type":0,"index":31,"op_type":20,"inputs":[21474836480,21]},{"data_type":3,"index":2,"op_type":78,"inputs":[23,24,25,26,10,10,10,10]},{"data_type":0,"index":32,"op_type":20,"inputs":[12884901890,10]},{"data_type":0,"index":33,"op_type":23,"inputs":[4294967297,32,23]},{"data_type":0,"index":34,"op_type":20,"inputs":[12884901890,15]},{"data_type":0,"index":35,"op_type":23,"inputs":[4294967297,34,24]},{"data_type":0,"index":36,"op_type":20,"inputs":[12884901890,19]},{"data_type":0,"index":37,"op_type":23,"inputs":[4294967297,36,25]},{"data_type":0,"index":38,"op_type":20,"inputs":[12884901890,21]},{"data_type":0,"index":39,"op_type":23,"inputs":[4294967297,38,26]},{"data_type":3,"index":3,"op_type":78,"inputs":[28,29,30,31,33,35,37,39]},{"data_type":0,"index":40,"op_type":20,"inputs":[12884901891,10]},{"data_type":0,"index":41,"op_type":23,"inputs":[4294967299,40,33]},{"data_type":0,"index":42,"op_type":20,"inputs":[12884901891,15]},{"data_type":0,"index":43,"op_type":23,"inputs":[4294967299,42,35]},{"data_type":0,"index":44,"op_type":20,"inputs":[12884901891,19]},{"data_type":0,"index":45,"op_type":23,"inputs":[4294967299,44,37]},{"data_type":0,"index":46,"op_type":20,"inputs":[12884901891,21]},{"data_type":0,"index":47,"op_type":23,"inputs":[4294967299,46,39]},{"data_type":2,"index":3,"op_type":42,"inputs":[8589934593,15]},{"data_type":2,"index":4,"op_type":32,"inputs":[8589934595,15]},{"data_type":1,"index":4,"op_type":13,"inputs":[8589934596,10]},{"data_type":0,"index":48,"op_type":1,"inputs":[8589934608]},{"data_type":1,"index":5,"op_type":8,"inputs":[4294967298]},{"data_type":5,"index":1,"op_type":55,"inputs":[7]},{"data_type":0,"index":49,"op_type":20,"inputs":[21474836481,10]},{"data_type":0,"index":50,"op_type":20,"inputs":[21474836481,15]},{"data_type":0,"index":51,"op_type":20,"inputs":[21474836481,19]},{"data_type":0,"index":52,"op_type":20,"inputs":[21474836481,21]},{"data_type":3,"index":4,"op_type":78,"inputs":[10,10,10,10,10,10,10,10]},{"data_type":0,"index":53,"op_type":20,"inputs":[12884901892,10]},{"data_type":0,"index":54,"op_type":20,"inputs":[12884901892,15]},{"data_type":0,"index":55,"op_type":20,"inputs":[12884901892,19]},{"data_type":0,"index":56,"op_type":20,"inputs":[12884901892,21]},{"data_type":3,"index":5,"op_type":78,"inputs":[41,43,45,47,53,54,55,56]},{"data_type":0,"index":57,"op_type":20,"inputs":[12884901893,10]},{"data_type":0,"index":58,"op_type":23,"inputs":[4294967298,57,41]},{"data_type":0,"index":59,"op_type":20,"inputs":[12884901893,15]},{"data_type":0,"index":60,"op_type":23,"inputs":[4294967298,59,43]},{"data_type":0,"index":61,"op_type":20,"inputs":[12884901893,19]},{"data_type":0,"index":62,"op_type":23,"inputs":[4294967298,61,45]},{"data_type":0,"index":63,"op_type":20,"inputs":[12884901893,21]},{"data_type":0,"index":64,"op_type":23,"inputs":[4294967298,63,47]},{"data_type":3,"index":6,"op_type":78,"inputs":[49,50,51,52,58,60,62,64]},{"data_type":0,"index":65,"op_type":20,"inputs":[12884901894,10]},{"data_type":0,"index":66,"op_type":23,"inputs":[4294967301,65,58]},{"data_type":0,"index":67,"op_type":20,"inputs":[12884901894,15]},{"data_type":0,"index":68,"op_type":23,"inputs":[4294967301,67,60]},{"data_type":0,"index":69,"op_type":20,"inputs":[12884901894,19]},{"data_type":0,"index":70,"op_type":23,"inputs":[4294967301,69,62]},{"data_type":0,"index":71,"op_type":20,"inputs":[12884901894,21]},{"data_type":0,"index":72,"op_type":23,"inputs":[4294967301,71,64]},{"data_type":2,"index":5,"op_type":42,"inputs":[8589934595,15]},{"data_type":2,"index":6,"op_type":32,"inputs":[8589934597,15]},{"data_type":1,"index":6,"op_type":13,"inputs":[8589934598,10]},{"data_type":0,"index":73,"op_type":1,"inputs":[8589934612]},{"data_type":1,"index":7,"op_type":8,"inputs":[4294967300]},{"data_type":5,"index":2,"op_type":55,"inputs":[9]},{"data_type":0,"index":74,"op_type":20,"inputs":[21474836482,10]},{"data_type":0,"index":75,"op_type":20,"inputs":[21474836482,15]},{"data_type":0,"index":76,"op_type":20,"inputs":[21474836482,19]},{"data_type":0,"index":77,"op_type":20,"inputs":[21474836482,21]},{"data_type":3,"index":7,"op_type":78,"inputs":[53,54,55,56,53,54,55,56]},{"data_type":0,"index":78,"op_type":20,"inputs":[12884901895,10]},{"data_type":0,"index":79,"op_type":20,"inputs":[12884901895,15]},{"data_type":0,"index":80,"op_type":20,"inputs":[12884901895,19]},{"data_type":0,"index":81,"op_type":20,"inputs":[12884901895,21]},{"data_type":3,"index":8,"op_type":78,"inputs":[66,68,70,72,78,79,80,81]},{"data_type":0,"index":82,"op_type":20,"inputs":[12884901896,10]},{"data_type":0,"index":83,"op_type":23,"inputs":[4294967300,82,66]},{"data_type":0,"index":84,"op_type":20,"inputs":[12884901896,15]},{"data_type":0,"index":85,"op_type":23,"inputs":[4294967300,84,68]},{"data_type":0,"index":86,"op_type":20,"inputs":[12884901896,19]},{"data_type":0,"index":87,"op_type":23,"inputs":[4294967300,86,70]},{"data_type":0,"index":88,"op_type":20,"inputs":[12884901896,21]},{"data_type":0,"index":89,"op_type":23,"inputs":[4294967300,88,72]},{"data_type":3,"index":9,"op_type":78,"inputs":[74,75,76,77,83,85,87,89]},{"data_type":0,"index":90,"op_type":20,"inputs":[12884901897,10]},{"data_type":0,"index":91,"op_type":23,"inputs":[4294967303,90,83]},{"data_type":0,"index":92,"op_type":20,"inputs":[12884901897,15]},{"data_type":0,"index":93,"op_type":23,"inputs":[4294967303,92,85]},{"data_type":0,"index":94,"op_type":20,"inputs":[12884901897,19]},{"data_type":0,"index":95,"op_type":23,"inputs":[4294967303,94,87]},{"data_type":0,"index":96,"op_type":20,"inputs":[12884901897,21]},{"data_type":0,"index":97,"op_type":23,"inputs":[4294967303,96,89]},{"data_type":2,"index":7,"op_type":42,"inputs":[8589934597,15]},{"data_type":2,"index":8,"op_type":32,"inputs":[8589934599,15]},{"data_type":1,"index":8,"op_type":13,"inputs":[8589934600,10]},{"data_type":0,"index":98,"op_type":1,"inputs":[8589934616]},{"data_type":1,"index":9,"op_type":8,"inputs":[4294967302]},{"data_type":5,"index":3,"op_type":55,"inputs":[11]},{"data_type":0,"index":99,"op_type":20,"inputs":[21474836483,10]},{"data_type":0,"index":100,"op_type":20,"inputs":[21474836483,15]},{"data_type":0,"index":101,"op_type":20,"inputs":[21474836483,19]},{"data_type":0,"index":102,"op_type":20,"inputs":[21474836483,21]},{"data_type":3,"index":10,"op_type":78,"inputs":[78,79,80,81,78,79,80,81]},{"data_type":0,"index":103,"op_type":20,"inputs":[12884901898,10]},{"data_type":0,"index":104,"op_type":20,"inputs":[12884901898,15]},{"data_type":0,"index":105,"op_type":20,"inputs":[12884901898,19]},{"data_type":0,"index":106,"op_type":20,"inputs":[12884901898,21]},{"data_type":3,"index":11,"op_type":78,"inputs":[91,93,95,97,103,104,105,106]},{"data_type":0,"index":107,"op_type":20,"inputs":[12884901899,10]},{"data_type":0,"index":108,"op_type":23,"inputs":[4294967302,107,91]},{"data_type":0,"index":109,"op_type":20,"inputs":[12884901899,15]},{"data_type":0,"index":110,"op_type":23,"inputs":[4294967302,109,93]},{"data_type":0,"index":111,"op_type":20,"inputs":[12884901899,19]},{"data_type":0,"index":112,"op_type":23,"inputs":[4294967302,111,95]},{"data_type":0,"index":113,"op_type":20,"inputs":[12884901899,21]},{"data_type":0,"index":114,"op_type":23,"inputs":[4294967302,113,97]},{"data_type":3,"index":12,"op_type":78,"inputs":[99,100,101,102,108,110,112,114]},{"data_type":0,"index":115,"op_type":20,"inputs":[12884901900,10]},{"data_type":0,"index":116,"op_type":23,"inputs":[4294967305,115,108]},{"data_type":0,"index":117,"op_type":20,"inputs":[12884901900,15]},{"data_type":0,"index":118,"op_type":23,"inputs":[4294967305,117,110]},{"data_type":0,"index":119,"op_type":20,"inputs":[12884901900,19]},{"data_type":0,"index":120,"op_type":23,"inputs":[4294967305,119,112]},{"data_type":0,"index":121,"op_type":20,"inputs":[12884901900,21]},{"data_type":0,"index":122,"op_type":23,"inputs":[4294967305,121,114]},{"data_type":2,"index":9,"op_type":42,"inputs":[8589934599,15]},{"data_type":2,"index":10,"op_type":32,"inputs":[8589934601,15]},{"data_type":1,"index":10,"op_type":13,"inputs":[8589934602,10]},{"data_type":0,"index":123,"op_type":1,"inputs":[8589934620]},{"data_type":1,"index":11,"op_type":8,"inputs":[4294967304]},{"data_type":5,"index":4,"op_type":55,"inputs":[13]},{"data_type":0,"index":124,"op_type":20,"inputs":[21474836484,10]},{"data_type":0,"index":125,"op_type":20,"inputs":[21474836484,15]},{"data_type":0,"index":126,"op_type":20,"inputs":[21474836484,19]},{"data_type":0,"index":127,"op_type":20,"inputs":[21474836484,21]},{"data_type":3,"index":13,"op_type":78,"inputs":[103,104,105,106,103,104,105,106]},{"data_type":0,"index":128,"op_type":20,"inputs":[12884901901,10]},{"data_type":0,"index":129,"op_type":20,"inputs":[12884901901,15]},{"data_type":0,"index":130,"op_type":20,"inputs":[12884901901,19]},{"data_type":0,"index":131,"op_type":20,"inputs":[12884901901,21]},{"data_type":3,"index":14,"op_type":78,"inputs":[116,118,120,122,128,129,130,131]},{"data_type":0,"index":132,"op_type":20,"inputs":[12884901902,10]},{"data_type":0,"index":133,"op_type":23,"inputs":[4294967304,132,116]},{"data_type":0,"index":134,"op_type":20,"inputs":[12884901902,15]},{"data_type":0,"index":135,"op_type":23,"inputs":[4294967304,134,118]},{"data_type":0,"index":136,"op_type":20,"inputs":[12884901902,19]},{"data_type":0,"index":137,"op_type":23,"inputs":[4294967304,136,120]},{"data_type":0,"index":138,"op_type":20,"inputs":[12884901902,21]},{"data_type":0,"index":139,"op_type":23,"inputs":[4294967304,138,122]},{"data_type":3,"index":15,"op_type":78,"inputs":[124,125,126,127,133,135,137,139]},{"data_type":0,"index":140,"op_type":20,"inputs":[12884901903,10]},{"data_type":0,"index":141,"op_type":23,"inputs":[4294967307,140,133]},{"data_type":0,"index":142,"op_type":20,"inputs":[12884901903,15]},{"data_type":0,"index":143,"op_type":23,"inputs":[4294967307,142,135]},{"data_type":0,"index":144,"op_type":20,"inputs":[12884901903,19]},{"data_type":0,"index":145,"op_type":23,"inputs":[4294967307,144,137]},{"data_type":0,"index":146,"op_type":20,"inputs":[12884901903,21]},{"data_type":0,"index":147,"op_type":23,"inputs":[4294967307,146,139]},{"data_type":2,"index":11,"op_type":42,"inputs":[8589934601,15]},{"data_type":2,"index":12,"op_type":32,"inputs":[8589934603,15]},{"data_type":1,"index":12,"op_type":13,"inputs":[8589934604,10]},{"data_type":0,"index":148,"op_type":1,"inputs":[8589934624]},{"data_type":1,"index":13,"op_type":8,"inputs":[4294967306]},{"data_type":5,"index":5,"op_type":55,"inputs":[15]},{"data_type":0,"index":149,"op_type":20,"inputs":[21474836485,10]},{"data_type":0,"index":150,"op_type":20,"inputs":[21474836485,15]},{"data_type":0,"index":151,"op_type":20,"inputs":[21474836485,19]},{"data_type":0,"index":152,"op_type":20,"inputs":[21474836485,21]},{"data_type":3,"index":16,"op_type":78,"inputs":[128,129,130,131,128,129,130,131]},{"data_type":0,"index":153,"op_type":20,"inputs":[12884901904,10]},{"data_type":0,"index":154,"op_type":20,"inputs":[12884901904,15]},{"data_type":0,"index":155,"op_type":20,"inputs":[12884901904,19]},{"data_type":0,"index":156,"op_type":20,"inputs":[12884901904,21]},{"data_type":3,"index":17,"op_type":78,"inputs":[141,143,145,147,153,154,155,156]},{"data_type":0,"index":157,"op_type":20,"inputs":[12884901905,10]},{"data_type":0,"index":158,"op_type":23,"inputs":[4294967306,157,141]},{"data_type":0,"index":159,"op_type":20,"inputs":[12884901905,15]},{"data_type":0,"index":160,"op_type":23,"inputs":[4294967306,159,143]},{"data_type":0,"index":161,"op_type":20,"inputs":[12884901905,19]},{"data_type":0,"index":162,"op_type":23,"inputs":[4294967306,161,145]},{"data_type":0,"index":163,"op_type":20,"inputs":[12884901905,21]},{"data_type":0,"index":164,"op_type":23,"inputs":[4294967306,163,147]},{"data_type":3,"index":18,"op_type":78,"inputs":[149,150,151,152,158,160,162,164]},{"data_type":0,"index":165,"op_type":20,"inputs":[12884901906,10]},{"data_type":0,"index":166,"op_type":23,"inputs":[4294967309,165,158]},{"data_type":0,"index":167,"op_type":20,"inputs":[12884901906,15]},{"data_type":0,"index":168,"op_type":23,"inputs":[4294967309,167,160]},{"data_type":0,"index":169,"op_type":20,"inputs":[12884901906,19]},{"data_type":0,"index":170,"op_type":23,"inputs":[4294967309,169,162]},{"data_type":0,"index":171,"op_type":20,"inputs":[12884901906,21]},{"data_type":0,"index":172,"op_type":23,"inputs":[4294967309,171,164]},{"data_type":2,"index":13,"op_type":42,"inputs":[8589934603,15]},{"data_type":2,"index":14,"op_type":32,"inputs":[8589934605,15]},{"data_type":1,"index":14,"op_type":13,"inputs":[8589934606,10]},{"data_type":0,"index":173,"op_type":1,"inputs":[8589934628]},{"data_type":1,"index":15,"op_type":8,"inputs":[4294967308]},{"data_type":5,"index":6,"op_type":55,"inputs":[17]},{"data_type":0,"index":174,"op_type":20,"inputs":[21474836486,10]},{"data_type":0,"index":175,"op_type":20,"inputs":[21474836486,15]},{"data_type":0,"index":176,"op_type":20,"inputs":[21474836486,19]},{"data_type":0,"index":177,"op_type":20,"inputs":[21474836486,21]},{"data_type":3,"index":19,"op_type":78,"inputs":[153,154,155,156,153,154,155,156]},{"data_type":0,"index":178,"op_type":20,"inputs":[12884901907,10]},{"data_type":0,"index":179,"op_type":20,"inputs":[12884901907,15]},{"data_type":0,"index":180,"op_type":20,"inputs":[12884901907,19]},{"data_type":0,"index":181,"op_type":20,"inputs":[12884901907,21]},{"data_type":3,"index":20,"op_type":78,"inputs":[166,168,170,172,178,179,180,181]},{"data_type":0,"index":182,"op_type":20,"inputs":[12884901908,10]},{"data_type":0,"index":183,"op_type":23,"inputs":[4294967308,182,166]},{"data_type":0,"index":184,"op_type":20,"inputs":[12884901908,15]},{"data_type":0,"index":185,"op_type":23,"inputs":[4294967308,184,168]},{"data_type":0,"index":186,"op_type":20,"inputs":[12884901908,19]},{"data_type":0,"index":187,"op_type":23,"inputs":[4294967308,186,170]},{"data_type":0,"index":188,"op_type":20,"inputs":[12884901908,21]},{"data_type":0,"index":189,"op_type":23,"inputs":[4294967308,188,172]},{"data_type":3,"index":21,"op_type":78,"inputs":[174,175,176,177,183,185,187,189]},{"data_type":0,"index":190,"op_type":20,"inputs":[12884901909,10]},{"data_type":0,"index":191,"op_type":23,"inputs":[4294967311,190,183]},{"data_type":0,"index":192,"op_type":20,"inputs":[12884901909,15]},{"data_type":0,"index":193,"op_type":23,"inputs":[4294967311,192,185]},{"data_type":0,"index":194,"op_type":20,"inputs":[12884901909,19]},{"data_type":0,"index":195,"op_type":23,"inputs":[4294967311,194,187]},{"data_type":0,"index":196,"op_type":20,"inputs":[12884901909,21]},{"data_type":0,"index":197,"op_type":23,"inputs":[4294967311,196,189]},{"data_type":2,"index":15,"op_type":42,"inputs":[8589934605,15]},{"data_type":2,"index":16,"op_type":32,"inputs":[8589934607,15]},{"data_type":1,"index":16,"op_type":13,"inputs":[8589934608,10]},{"data_type":0,"index":198,"op_type":1,"inputs":[8589934632]},{"data_type":1,"index":17,"op_type":8,"inputs":[4294967310]},{"data_type":5,"index":7,"op_type":55,"inputs":[19]},{"data_type":0,"index":199,"op_type":20,"inputs":[21474836487,10]},{"data_type":0,"index":200,"op_type":20,"inputs":[21474836487,15]},{"data_type":0,"index":201,"op_type":20,"inputs":[21474836487,19]},{"data_type":0,"index":202,"op_type":20,"inputs":[21474836487,21]},{"data_type":3,"index":22,"op_type":78,"inputs":[178,179,180,181,178,179,180,181]},{"data_type":0,"index":203,"op_type":20,"inputs":[12884901910,10]},{"data_type":0,"index":204,"op_type":20,"inputs":[12884901910,15]},{"data_type":0,"index":205,"op_type":20,"inputs":[12884901910,19]},{"data_type":0,"index":206,"op_type":20,"inputs":[12884901910,21]},{"data_type":3,"index":23,"op_type":78,"inputs":[191,193,195,197,203,204,205,206]},{"data_type":0,"index":207,"op_type":20,"inputs":[12884901911,10]},{"data_type":0,"index":208,"op_type":23,"inputs":[4294967310,207,191]},{"data_type":0,"index":209,"op_type":20,"inputs":[12884901911,15]},{"data_type":0,"index":210,"op_type":23,"inputs":[4294967310,209,193]},{"data_type":0,"index":211,"op_type":20,"inputs":[12884901911,19]},{"data_type":0,"index":212,"op_type":23,"inputs":[4294967310,211,195]},{"data_type":0,"index":213,"op_type":20,"inputs":[12884901911,21]},{"data_type":0,"index":214,"op_type":23,"inputs":[4294967310,213,197]},{"data_type":3,"index":24,"op_type":78,"inputs":[199,200,201,202,208,210,212,214]},{"data_type":0,"index":215,"op_type":20,"inputs":[12884901912,10]},{"data_type":0,"index":216,"op_type":23,"inputs":[4294967313,215,208]},{"data_type":0,"index":217,"op_type":20,"inputs":[12884901912,15]},{"data_type":0,"index":218,"op_type":23,"inputs":[4294967313,217,210]},{"data_type":0,"index":219,"op_type":20,"inputs":[12884901912,19]},{"data_type":0,"index":220,"op_type":23,"inputs":[4294967313,219,212]},{"data_type":0,"index":221,"op_type":20,"inputs":[12884901912,21]},{"data_type":0,"index":222,"op_type":23,"inputs":[4294967313,221,214]},{"data_type":2,"index":17,"op_type":42,"inputs":[8589934607,15]},{"data_type":2,"index":18,"op_type":32,"inputs":[8589934609,15]},{"data_type":1,"index":18,"op_type":13,"inputs":[8589934610,10]},{"data_type":0,"index":223,"op_type":1,"inputs":[8589934636]},{"data_type":1,"index":19,"op_type":8,"inputs":[4294967312]},{"data_type":5,"index":8,"op_type":55,"inputs":[21]},{"data_type":0,"index":224,"op_type":20,"inputs":[21474836488,10]},{"data_type":0,"index":225,"op_type":20,"inputs":[21474836488,15]},{"data_type":0,"index":226,"op_type":20,"inputs":[21474836488,19]},{"data_type":0,"index":227,"op_type":20,"inputs":[21474836488,21]},{"data_type":3,"index":25,"op_type":78,"inputs":[203,204,205,206,203,204,205,206]},{"data_type":0,"index":228,"op_type":20,"inputs":[12884901913,10]},{"data_type":0,"index":229,"op_type":20,"inputs":[12884901913,15]},{"data_type":0,"index":230,"op_type":20,"inputs":[12884901913,19]},{"data_type":0,"index":231,"op_type":20,"inputs":[12884901913,21]},{"data_type":3,"index":26,"op_type":78,"inputs":[216,218,220,222,228,229,230,231]},{"data_type":0,"index":232,"op_type":20,"inputs":[12884901914,10]},{"data_type":0,"index":233,"op_type":23,"inputs":[4294967312,232,216]},{"data_type":0,"index":234,"op_type":20,"inputs":[12884901914,15]},{"data_type":0,"index":235,"op_type":23,"inputs":[4294967312,234,218]},{"data_type":0,"index":236,"op_type":20,"inputs":[12884901914,19]},{"data_type":0,"index":237,"op_type":23,"inputs":[4294967312,236,220]},{"data_type":0,"index":238,"op_type":20,"inputs":[12884901914,21]},{"data_type":0,"index":239,"op_type":23,"inputs":[4294967312,238,222]},{"data_type":3,"index":27,"op_type":78,"inputs":[224,225,226,227,233,235,237,239]},{"data_type":0,"index":240,"op_type":20,"inputs":[12884901915,10]},{"data_type":0,"index":241,"op_type":23,"inputs":[4294967315,240,233]},{"data_type":0,"index":242,"op_type":20,"inputs":[12884901915,15]},{"data_type":0,"index":243,"op_type":23,"inputs":[4294967315,242,235]},{"data_type":0,"index":244,"op_type":20,"inputs":[12884901915,19]},{"data_type":0,"index":245,"op_type":23,"inputs":[4294967315,244,237]},{"data_type":0,"index":246,"op_type":20,"inputs":[12884901915,21]},{"data_type":0,"index":247,"op_type":23,"inputs":[4294967315,246,239]},{"data_type":2,"index":19,"op_type":42,"inputs":[8589934609,15]},{"data_type":2,"index":20,"op_type":32,"inputs":[8589934611,15]},{"data_type":1,"index":20,"op_type":13,"inputs":[8589934612,10]},{"data_type":0,"index":248,"op_type":1,"inputs":[8589934640]},{"data_type":1,"index":21,"op_type":8,"inputs":[4294967314]},{"data_type":5,"index":9,"op_type":55,"inputs":[23]},{"data_type":0,"index":249,"op_type":20,"inputs":[21474836489,10]},{"data_type":0,"index":250,"op_type":20,"inputs":[21474836489,15]},{"data_type":0,"index":251,"op_type":20,"inputs":[21474836489,19]},{"data_type":0,"index":252,"op_type":20,"inputs":[21474836489,21]},{"data_type":3,"index":28,"op_type":78,"inputs":[228,229,230,231,228,229,230,231]},{"data_type":0,"index":253,"op_type":20,"inputs":[12884901916,10]},{"data_type":0,"index":254,"op_type":20,"inputs":[12884901916,15]},{"data_type":0,"index":255,"op_type":20,"inputs":[12884901916,19]},{"data_type":0,"index":256,"op_type":20,"inputs":[12884901916,21]},{"data_type":3,"index":29,"op_type":78,"inputs":[241,243,245,247,253,254,255,256]},{"data_type":0,"index":257,"op_type":20,"inputs":[12884901917,10]},{"data_type":0,"index":258,"op_type":23,"inputs":[4294967314,257,241]},{"data_type":0,"index":259,"op_type":20,"inputs":[12884901917,15]},{"data_type":0,"index":260,"op_type":23,"inputs":[4294967314,259,243]},{"data_type":0,"index":261,"op_type":20,"inputs":[12884901917,19]},{"data_type":0,"index":262,"op_type":23,"inputs":[4294967314,261,245]},{"data_type":0,"index":263,"op_type":20,"inputs":[12884901917,21]},{"data_type":0,"index":264,"op_type":23,"inputs":[4294967314,263,247]},{"data_type":3,"index":30,"op_type":78,"inputs":[249,250,251,252,258,260,262,264]},{"data_type":0,"index":265,"op_type":20,"inputs":[12884901918,10]},{"data_type":0,"index":266,"op_type":23,"inputs":[4294967317,265,258]},{"data_type":0,"index":267,"op_type":20,"inputs":[12884901918,15]},{"data_type":0,"index":268,"op_type":23,"inputs":[4294967317,267,260]},{"data_type":0,"index":269,"op_type":20,"inputs":[12884901918,19]},{"data_type":0,"index":270,"op_type":23,"inputs":[4294967317,269,262]},{"data_type":0,"index":271,"op_type":20,"inputs":[12884901918,21]},{"data_type":0,"index":272,"op_type":23,"inputs":[4294967317,271,264]},{"data_type":2,"index":21,"op_type":42,"inputs":[8589934611,15]},{"data_type":2,"index":22,"op_type":32,"inputs":[8589934613,15]},{"data_type":1,"index":22,"op_type":13,"inputs":[8589934614,10]},{"data_type":0,"index":273,"op_type":1,"inputs":[8589934644]},{"data_type":1,"index":23,"op_type":8,"inputs":[4294967316]},{"data_type":5,"index":10,"op_type":55,"inputs":[25]},{"data_type":0,"index":274,"op_type":20,"inputs":[21474836490,10]},{"data_type":0,"index":275,"op_type":20,"inputs":[21474836490,15]},{"data_type":0,"index":276,"op_type":20,"inputs":[21474836490,19]},{"data_type":0,"index":277,"op_type":20,"inputs":[21474836490,21]},{"data_type":3,"index":31,"op_type":78,"inputs":[253,254,255,256,253,254,255,256]},{"data_type":0,"index":278,"op_type":20,"inputs":[12884901919,10]},{"data_type":0,"index":279,"op_type":20,"inputs":[12884901919,15]},{"data_type":0,"index":280,"op_type":20,"inputs":[12884901919,19]},{"data_type":0,"index":281,"op_type":20,"inputs":[12884901919,21]},{"data_type":3,"index":32,"op_type":78,"inputs":[266,268,270,272,278,279,280,281]},{"data_type":0,"index":282,"op_type":20,"inputs":[12884901920,10]},{"data_type":0,"index":283,"op_type":23,"inputs":[4294967316,282,266]},{"data_type":0,"index":284,"op_type":20,"inputs":[12884901920,15]},{"data_type":0,"index":285,"op_type":23,"inputs":[4294967316,284,268]},{"data_type":0,"index":286,"op_type":20,"inputs":[12884901920,19]},{"data_type":0,"index":287,"op_type":23,"inputs":[4294967316,286,270]},{"data_type":0,"index":288,"op_type":20,"inputs":[12884901920,21]},{"data_type":0,"index":289,"op_type":23,"inputs":[4294967316,288,272]},{"data_type":3,"index":33,"op_type":78,"inputs":[274,275,276,277,283,285,287,289]},{"data_type":0,"index":290,"op_type":20,"inputs":[12884901921,10]},{"data_type":0,"index":291,"op_type":23,"inputs":[4294967319,290,283]},{"data_type":0,"index":292,"op_type":20,"inputs":[12884901921,15]},{"data_type":0,"index":293,"op_type":23,"inputs":[4294967319,292,285]},{"data_type":0,"index":294,"op_type":20,"inputs":[12884901921,19]},{"data_type":0,"index":295,"op_type":23,"inputs":[4294967319,294,287]},{"data_type":0,"index":296,"op_type":20,"inputs":[12884901921,21]},{"data_type":0,"index":297,"op_type":23,"inputs":[4294967319,296,289]},{"data_type":2,"index":23,"op_type":42,"inputs":[8589934613,15]},{"data_type":2,"index":24,"op_type":32,"inputs":[8589934615,15]},{"data_type":1,"index":24,"op_type":13,"inputs":[8589934616,10]},{"data_type":0,"index":298,"op_type":1,"inputs":[8589934648]},{"data_type":1,"index":25,"op_type":8,"inputs":[4294967318]},{"data_type":5,"index":11,"op_type":55,"inputs":[27]},{"data_type":0,"index":299,"op_type":20,"inputs":[21474836491,10]},{"data_type":0,"index":300,"op_type":20,"inputs":[21474836491,15]},{"data_type":0,"index":301,"op_type":20,"inputs":[21474836491,19]},{"data_type":0,"index":302,"op_type":20,"inputs":[21474836491,21]},{"data_type":3,"index":34,"op_type":78,"inputs":[278,279,280,281,278,279,280,281]},{"data_type":0,"index":303,"op_type":20,"inputs":[12884901922,10]},{"data_type":0,"index":304,"op_type":20,"inputs":[12884901922,15]},{"data_type":0,"index":305,"op_type":20,"inputs":[12884901922,19]},{"data_type":0,"index":306,"op_type":20,"inputs":[12884901922,21]},{"data_type":3,"index":35,"op_type":78,"inputs":[291,293,295,297,303,304,305,306]},{"data_type":0,"index":307,"op_type":20,"inputs":[12884901923,10]},{"data_type":0,"index":308,"op_type":23,"inputs":[4294967318,307,291]},{"data_type":0,"index":309,"op_type":20,"inputs":[12884901923,15]},{"data_type":0,"index":310,"op_type":23,"inputs":[4294967318,309,293]},{"data_type":0,"index":311,"op_type":20,"inputs":[12884901923,19]},{"data_type":0,"index":312,"op_type":23,"inputs":[4294967318,311,295]},{"data_type":0,"index":313,"op_type":20,"inputs":[12884901923,21]},{"data_type":0,"index":314,"op_type":23,"inputs":[4294967318,313,297]},{"data_type":3,"index":36,"op_type":78,"inputs":[299,300,301,302,308,310,312,314]},{"data_type":0,"index":315,"op_type":20,"inputs":[12884901924,10]},{"data_type":0,"index":316,"op_type":23,"inputs":[4294967321,315,308]},{"data_type":0,"index":317,"op_type":20,"inputs":[12884901924,15]},{"data_type":0,"index":318,"op_type":23,"inputs":[4294967321,317,310]},{"data_type":0,"index":319,"op_type":20,"inputs":[12884901924,19]},{"data_type":0,"index":320,"op_type":23,"inputs":[4294967321,319,312]},{"data_type":0,"index":321,"op_type":20,"inputs":[12884901924,21]},{"data_type":0,"index":322,"op_type":23,"inputs":[4294967321,321,314]},{"data_type":2,"index":25,"op_type":42,"inputs":[8589934615,15]},{"data_type":2,"index":26,"op_type":32,"inputs":[8589934617,15]},{"data_type":1,"index":26,"op_type":13,"inputs":[8589934618,10]},{"data_type":0,"index":323,"op_type":1,"inputs":[8589934652]},{"data_type":1,"index":27,"op_type":8,"inputs":[4294967320]},{"data_type":5,"index":12,"op_type":55,"inputs":[29]},{"data_type":0,"index":324,"op_type":20,"inputs":[21474836492,10]},{"data_type":0,"index":325,"op_type":20,"inputs":[21474836492,15]},{"data_type":0,"index":326,"op_type":20,"inputs":[21474836492,19]},{"data_type":0,"index":327,"op_type":20,"inputs":[21474836492,21]},{"data_type":3,"index":37,"op_type":78,"inputs":[303,304,305,306,303,304,305,306]},{"data_type":0,"index":328,"op_type":20,"inputs":[12884901925,10]},{"data_type":0,"index":329,"op_type":20,"inputs":[12884901925,15]},{"data_type":0,"index":330,"op_type":20,"inputs":[12884901925,19]},{"data_type":0,"index":331,"op_type":20,"inputs":[12884901925,21]},{"data_type":3,"index":38,"op_type":78,"inputs":[316,318,320,322,328,329,330,331]},{"data_type":0,"index":332,"op_type":20,"inputs":[12884901926,10]},{"data_type":0,"index":333,"op_type":23,"inputs":[4294967320,332,316]},{"data_type":0,"index":334,"op_type":20,"inputs":[12884901926,15]},{"data_type":0,"index":335,"op_type":23,"inputs":[4294967320,334,318]},{"data_type":0,"index":336,"op_type":20,"inputs":[12884901926,19]},{"data_type":0,"index":337,"op_type":23,"inputs":[4294967320,336,320]},{"data_type":0,"index":338,"op_type":20,"inputs":[12884901926,21]},{"data_type":0,"index":339,"op_type":23,"inputs":[4294967320,338,322]},{"data_type":3,"index":39,"op_type":78,"inputs":[324,325,326,327,333,335,337,339]},{"data_type":0,"index":340,"op_type":20,"inputs":[12884901927,10]},{"data_type":0,"index":341,"op_type":23,"inputs":[4294967323,340,333]},{"data_type":0,"index":342,"op_type":20,"inputs":[12884901927,15]},{"data_type":0,"index":343,"op_type":23,"inputs":[4294967323,342,335]},{"data_type":0,"index":344,"op_type":20,"inputs":[12884901927,19]},{"data_type":0,"index":345,"op_type":23,"inputs":[4294967323,344,337]},{"data_type":0,"index":346,"op_type":20,"inputs":[12884901927,21]},{"data_type":0,"index":347,"op_type":23,"inputs":[4294967323,346,339]},{"data_type":2,"index":27,"op_type":42,"inputs":[8589934617,15]},{"data_type":2,"index":28,"op_type":32,"inputs":[8589934619,15]},{"data_type":1,"index":28,"op_type":13,"inputs":[8589934620,10]},{"data_type":0,"index":348,"op_type":1,"inputs":[8589934656]},{"data_type":1,"index":29,"op_type":8,"inputs":[4294967322]},{"data_type":5,"index":13,"op_type":55,"inputs":[31]},{"data_type":0,"index":349,"op_type":20,"inputs":[21474836493,10]},{"data_type":0,"index":350,"op_type":20,"inputs":[21474836493,15]},{"data_type":0,"index":351,"op_type":20,"inputs":[21474836493,19]},{"data_type":0,"index":352,"op_type":20,"inputs":[21474836493,21]},{"data_type":3,"index":40,"op_type":78,"inputs":[328,329,330,331,328,329,330,331]},{"data_type":0,"index":353,"op_type":20,"inputs":[12884901928,10]},{"data_type":0,"index":354,"op_type":20,"inputs":[12884901928,15]},{"data_type":0,"index":355,"op_type":20,"inputs":[12884901928,19]},{"data_type":0,"index":356,"op_type":20,"inputs":[12884901928,21]},{"data_type":3,"index":41,"op_type":78,"inputs":[341,343,345,347,353,354,355,356]},{"data_type":0,"index":357,"op_type":20,"inputs":[12884901929,10]},{"data_type":0,"index":358,"op_type":23,"inputs":[4294967322,357,341]},{"data_type":0,"index":359,"op_type":20,"inputs":[12884901929,15]},{"data_type":0,"index":360,"op_type":23,"inputs":[4294967322,359,343]},{"data_type":0,"index":361,"op_type":20,"inputs":[12884901929,19]},{"data_type":0,"index":362,"op_type":23,"inputs":[4294967322,361,345]},{"data_type":0,"index":363,"op_type":20,"inputs":[12884901929,21]},{"data_type":0,"index":364,"op_type":23,"inputs":[4294967322,363,347]},{"data_type":3,"index":42,"op_type":78,"inputs":[349,350,351,352,358,360,362,364]},{"data_type":0,"index":365,"op_type":20,"inputs":[12884901930,10]},{"data_type":0,"index":366,"op_type":23,"inputs":[4294967325,365,358]},{"data_type":0,"index":367,"op_type":20,"inputs":[12884901930,15]},{"data_type":0,"index":368,"op_type":23,"inputs":[4294967325,367,360]},{"data_type":0,"index":369,"op_type":20,"inputs":[12884901930,19]},{"data_type":0,"index":370,"op_type":23,"inputs":[4294967325,369,362]},{"data_type":0,"index":371,"op_type":20,"inputs":[12884901930,21]},{"data_type":0,"index":372,"op_type":23,"inputs":[4294967325,371,364]},{"data_type":2,"index":29,"op_type":42,"inputs":[8589934619,15]},{"data_type":2,"index":30,"op_type":32,"inputs":[8589934621,15]},{"data_type":1,"index":30,"op_type":13,"inputs":[8589934622,10]},{"data_type":0,"index":373,"op_type":1,"inputs":[8589934660]},{"data_type":1,"index":31,"op_type":8,"inputs":[4294967324]},{"data_type":5,"index":14,"op_type":55,"inputs":[33]},{"data_type":0,"index":374,"op_type":20,"inputs":[21474836494,10]},{"data_type":0,"index":375,"op_type":20,"inputs":[21474836494,15]},{"data_type":0,"index":376,"op_type":20,"inputs":[21474836494,19]},{"data_type":0,"index":377,"op_type":20,"inputs":[21474836494,21]},{"data_type":3,"index":43,"op_type":78,"inputs":[353,354,355,356,353,354,355,356]},{"data_type":0,"index":378,"op_type":20,"inputs":[12884901931,10]},{"data_type":0,"index":379,"op_type":20,"inputs":[12884901931,15]},{"data_type":0,"index":380,"op_type":20,"inputs":[12884901931,19]},{"data_type":0,"index":381,"op_type":20,"inputs":[12884901931,21]},{"data_type":3,"index":44,"op_type":78,"inputs":[366,368,370,372,378,379,380,381]},{"data_type":0,"index":382,"op_type":20,"inputs":[12884901932,10]},{"data_type":0,"index":383,"op_type":23,"inputs":[4294967324,382,366]},{"data_type":0,"index":384,"op_type":20,"inputs":[12884901932,15]},{"data_type":0,"index":385,"op_type":23,"inputs":[4294967324,384,368]},{"data_type":0,"index":386,"op_type":20,"inputs":[12884901932,19]},{"data_type":0,"index":387,"op_type":23,"inputs":[4294967324,386,370]},{"data_type":0,"index":388,"op_type":20,"inputs":[12884901932,21]},{"data_type":0,"index":389,"op_type":23,"inputs":[4294967324,388,372]},{"data_type":3,"index":45,"op_type":78,"inputs":[374,375,376,377,383,385,387,389]},{"data_type":0,"index":390,"op_type":20,"inputs":[12884901933,10]},{"data_type":0,"index":391,"op_type":23,"inputs":[4294967327,390,383]},{"data_type":0,"index":392,"op_type":20,"inputs":[12884901933,15]},{"data_type":0,"index":393,"op_type":23,"inputs":[4294967327,392,385]},{"data_type":0,"index":394,"op_type":20,"inputs":[12884901933,19]},{"data_type":0,"index":395,"op_type":23,"inputs":[4294967327,394,387]},{"data_type":0,"index":396,"op_type":20,"inputs":[12884901933,21]},{"data_type":0,"index":397,"op_type":23,"inputs":[4294967327,396,389]},{"data_type":2,"index":31,"op_type":42,"inputs":[8589934621,15]},{"data_type":2,"index":32,"op_type":32,"inputs":[8589934623,15]},{"data_type":1,"index":32,"op_type":13,"inputs":[8589934624,10]},{"data_type":0,"index":398,"op_type":1,"inputs":[8589934664]},{"data_type":1,"index":33,"op_type":8,"inputs":[4294967326]},{"data_type":5,"index":15,"op_type":55,"inputs":[35]},{"data_type":0,"index":399,"op_type":20,"inputs":[21474836495,10]},{"data_type":0,"index":400,"op_type":20,"inputs":[21474836495,15]},{"data_type":0,"index":401,"op_type":20,"inputs":[21474836495,19]},{"data_type":0,"index":402,"op_type":20,"inputs":[21474836495,21]},{"data_type":3,"index":46,"op_type":78,"inputs":[378,379,380,381,378,379,380,381]},{"data_type":0,"index":403,"op_type":20,"inputs":[12884901934,10]},{"data_type":0,"index":404,"op_type":20,"inputs":[12884901934,15]},{"data_type":0,"index":405,"op_type":20,"inputs":[12884901934,19]},{"data_type":0,"index":406,"op_type":20,"inputs":[12884901934,21]},{"data_type":3,"index":47,"op_type":78,"inputs":[391,393,395,397,403,404,405,406]},{"data_type":0,"index":407,"op_type":20,"inputs":[12884901935,10]},{"data_type":0,"index":408,"op_type":23,"inputs":[4294967326,407,391]},{"data_type":0,"index":409,"op_type":20,"inputs":[12884901935,15]},{"data_type":0,"index":410,"op_type":23,"inputs":[4294967326,409,393]},{"data_type":0,"index":411,"op_type":20,"inputs":[12884901935,19]},{"data_type":0,"index":412,"op_type":23,"inputs":[4294967326,411,395]},{"data_type":0,"index":413,"op_type":20,"inputs":[12884901935,21]},{"data_type":0,"index":414,"op_type":23,"inputs":[4294967326,413,397]},{"data_type":3,"index":48,"op_type":78,"inputs":[399,400,401,402,408,410,412,414]},{"data_type":0,"index":415,"op_type":20,"inputs":[12884901936,10]},{"data_type":0,"index":416,"op_type":23,"inputs":[4294967329,415,408]},{"data_type":0,"index":417,"op_type":20,"inputs":[12884901936,15]},{"data_type":0,"index":418,"op_type":23,"inputs":[4294967329,417,410]},{"data_type":0,"index":419,"op_type":20,"inputs":[12884901936,19]},{"data_type":0,"index":420,"op_type":23,"inputs":[4294967329,419,412]},{"data_type":0,"index":421,"op_type":20,"inputs":[12884901936,21]},{"data_type":0,"index":422,"op_type":23,"inputs":[4294967329,421,414]},{"data_type":2,"index":33,"op_type":42,"inputs":[8589934623,15]},{"data_type":2,"index":34,"op_type":32,"inputs":[8589934625,15]},{"data_type":1,"index":34,"op_type":13,"inputs":[8589934626,10]},{"data_type":0,"index":423,"op_type":1,"inputs":[8589934668]},{"data_type":1,"index":35,"op_type":8,"inputs":[4294967328]},{"data_type":5,"index":16,"op_type":55,"inputs":[37]},{"data_type":0,"index":424,"op_type":20,"inputs":[21474836496,10]},{"data_type":0,"index":425,"op_type":20,"inputs":[21474836496,15]},{"data_type":0,"index":426,"op_type":20,"inputs":[21474836496,19]},{"data_type":0,"index":427,"op_type":20,"inputs":[21474836496,21]},{"data_type":3,"index":49,"op_type":78,"inputs":[403,404,405,406,403,404,405,406]},{"data_type":0,"index":428,"op_type":20,"inputs":[12884901937,10]},{"data_type":0,"index":429,"op_type":20,"inputs":[12884901937,15]},{"data_type":0,"index":430,"op_type":20,"inputs":[12884901937,19]},{"data_type":0,"index":431,"op_type":20,"inputs":[12884901937,21]},{"data_type":3,"index":50,"op_type":78,"inputs":[416,418,420,422,428,429,430,431]},{"data_type":0,"index":432,"op_type":20,"inputs":[12884901938,10]},{"data_type":0,"index":433,"op_type":23,"inputs":[4294967328,432,416]},{"data_type":0,"index":434,"op_type":20,"inputs":[12884901938,15]},{"data_type":0,"index":435,"op_type":23,"inputs":[4294967328,434,418]},{"data_type":0,"index":436,"op_type":20,"inputs":[12884901938,19]},{"data_type":0,"index":437,"op_type":23,"inputs":[4294967328,436,420]},{"data_type":0,"index":438,"op_type":20,"inputs":[12884901938,21]},{"data_type":0,"index":439,"op_type":23,"inputs":[4294967328,438,422]},{"data_type":3,"index":51,"op_type":78,"inputs":[424,425,426,427,433,435,437,439]},{"data_type":0,"index":440,"op_type":20,"inputs":[12884901939,10]},{"data_type":0,"index":441,"op_type":23,"inputs":[4294967331,440,433]},{"data_type":0,"index":442,"op_type":20,"inputs":[12884901939,15]},{"data_type":0,"index":443,"op_type":23,"inputs":[4294967331,442,435]},{"data_type":0,"index":444,"op_type":20,"inputs":[12884901939,19]},{"data_type":0,"index":445,"op_type":23,"inputs":[4294967331,444,437]},{"data_type":0,"index":446,"op_type":20,"inputs":[12884901939,21]},{"data_type":0,"index":447,"op_type":23,"inputs":[4294967331,446,439]},{"data_type":2,"index":35,"op_type":42,"inputs":[8589934625,15]},{"data_type":2,"index":36,"op_type":32,"inputs":[8589934627,15]},{"data_type":1,"index":36,"op_type":13,"inputs":[8589934628,10]},{"data_type":0,"index":448,"op_type":1,"inputs":[8589934672]},{"data_type":1,"index":37,"op_type":8,"inputs":[4294967330]},{"data_type":5,"index":17,"op_type":55,"inputs":[39]},{"data_type":0,"index":449,"op_type":20,"inputs":[21474836497,10]},{"data_type":0,"index":450,"op_type":20,"inputs":[21474836497,15]},{"data_type":0,"index":451,"op_type":20,"inputs":[21474836497,19]},{"data_type":0,"index":452,"op_type":20,"inputs":[21474836497,21]},{"data_type":3,"index":52,"op_type":78,"inputs":[428,429,430,431,428,429,430,431]},{"data_type":0,"index":453,"op_type":20,"inputs":[12884901940,10]},{"data_type":0,"index":454,"op_type":20,"inputs":[12884901940,15]},{"data_type":0,"index":455,"op_type":20,"inputs":[12884901940,19]},{"data_type":0,"index":456,"op_type":20,"inputs":[12884901940,21]},{"data_type":3,"index":53,"op_type":78,"inputs":[441,443,445,447,453,454,455,456]},{"data_type":0,"index":457,"op_type":20,"inputs":[12884901941,10]},{"data_type":0,"index":458,"op_type":23,"inputs":[4294967330,457,441]},{"data_type":0,"index":459,"op_type":20,"inputs":[12884901941,15]},{"data_type":0,"index":460,"op_type":23,"inputs":[4294967330,459,443]},{"data_type":0,"index":461,"op_type":20,"inputs":[12884901941,19]},{"data_type":0,"index":462,"op_type":23,"inputs":[4294967330,461,445]},{"data_type":0,"index":463,"op_type":20,"inputs":[12884901941,21]},{"data_type":0,"index":464,"op_type":23,"inputs":[4294967330,463,447]},{"data_type":3,"index":54,"op_type":78,"inputs":[449,450,451,452,458,460,462,464]},{"data_type":0,"index":465,"op_type":20,"inputs":[12884901942,10]},{"data_type":0,"index":466,"op_type":23,"inputs":[4294967333,465,458]},{"data_type":0,"index":467,"op_type":20,"inputs":[12884901942,15]},{"data_type":0,"index":468,"op_type":23,"inputs":[4294967333,467,460]},{"data_type":0,"index":469,"op_type":20,"inputs":[12884901942,19]},{"data_type":0,"index":470,"op_type":23,"inputs":[4294967333,469,462]},{"data_type":0,"index":471,"op_type":20,"inputs":[12884901942,21]},{"data_type":0,"index":472,"op_type":23,"inputs":[4294967333,471,464]},{"data_type":2,"index":37,"op_type":42,"inputs":[8589934627,15]},{"data_type":2,"index":38,"op_type":32,"inputs":[8589934629,15]},{"data_type":1,"index":38,"op_type":13,"inputs":[8589934630,10]},{"data_type":0,"index":473,"op_type":1,"inputs":[8589934676]},{"data_type":1,"index":39,"op_type":8,"inputs":[4294967332]},{"data_type":5,"index":18,"op_type":55,"inputs":[41]},{"data_type":0,"index":474,"op_type":20,"inputs":[21474836498,10]},{"data_type":0,"index":475,"op_type":20,"inputs":[21474836498,15]},{"data_type":0,"index":476,"op_type":20,"inputs":[21474836498,19]},{"data_type":0,"index":477,"op_type":20,"inputs":[21474836498,21]},{"data_type":3,"index":55,"op_type":78,"inputs":[453,454,455,456,453,454,455,456]},{"data_type":0,"index":478,"op_type":20,"inputs":[12884901943,10]},{"data_type":0,"index":479,"op_type":20,"inputs":[12884901943,15]},{"data_type":0,"index":480,"op_type":20,"inputs":[12884901943,19]},{"data_type":0,"index":481,"op_type":20,"inputs":[12884901943,21]},{"data_type":3,"index":56,"op_type":78,"inputs":[466,468,470,472,478,479,480,481]},{"data_type":0,"index":482,"op_type":20,"inputs":[12884901944,10]},{"data_type":0,"index":483,"op_type":23,"inputs":[4294967332,482,466]},{"data_type":0,"index":484,"op_type":20,"inputs":[12884901944,15]},{"data_type":0,"index":485,"op_type":23,"inputs":[4294967332,484,468]},{"data_type":0,"index":486,"op_type":20,"inputs":[12884901944,19]},{"data_type":0,"index":487,"op_type":23,"inputs":[4294967332,486,470]},{"data_type":0,"index":488,"op_type":20,"inputs":[12884901944,21]},{"data_type":0,"index":489,"op_type":23,"inputs":[4294967332,488,472]},{"data_type":3,"index":57,"op_type":78,"inputs":[474,475,476,477,483,485,487,489]},{"data_type":0,"index":490,"op_type":20,"inputs":[12884901945,10]},{"data_type":0,"index":491,"op_type":23,"inputs":[4294967335,490,483]},{"data_type":0,"index":492,"op_type":20,"inputs":[12884901945,15]},{"data_type":0,"index":493,"op_type":23,"inputs":[4294967335,492,485]},{"data_type":0,"index":494,"op_type":20,"inputs":[12884901945,19]},{"data_type":0,"index":495,"op_type":23,"inputs":[4294967335,494,487]},{"data_type":0,"index":496,"op_type":20,"inputs":[12884901945,21]},{"data_type":0,"index":497,"op_type":23,"inputs":[4294967335,496,489]},{"data_type":0,"index":498,"op_type":1,"inputs":[8589934596]},{"data_type":1,"index":40,"op_type":8,"inputs":[4294967334]},{"data_type":5,"index":19,"op_type":55,"inputs":[43]},{"data_type":0,"index":499,"op_type":20,"inputs":[21474836499,10]},{"data_type":0,"index":500,"op_type":20,"inputs":[21474836499,15]},{"data_type":0,"index":501,"op_type":20,"inputs":[21474836499,19]},{"data_type":0,"index":502,"op_type":20,"inputs":[21474836499,21]},{"data_type":3,"index":58,"op_type":78,"inputs":[478,479,480,481,478,479,480,481]},{"data_type":0,"index":503,"op_type":20,"inputs":[12884901946,10]},{"data_type":0,"index":504,"op_type":20,"inputs":[12884901946,15]},{"data_type":0,"index":505,"op_type":20,"inputs":[12884901946,19]},{"data_type":0,"index":506,"op_type":20,"inputs":[12884901946,21]},{"data_type":3,"index":59,"op_type":78,"inputs":[491,493,495,497,503,504,505,506]},{"data_type":0,"index":507,"op_type":20,"inputs":[12884901947,10]},{"data_type":0,"index":508,"op_type":23,"inputs":[4294967334,507,491]},{"data_type":0,"index":509,"op_type":20,"inputs":[12884901947,15]},{"data_type":0,"index":510,"op_type":23,"inputs":[4294967334,509,493]},{"data_type":0,"index":511,"op_type":20,"inputs":[12884901947,19]},{"data_type":0,"index":512,"op_type":23,"inputs":[4294967334,511,495]},{"data_type":0,"index":513,"op_type":20,"inputs":[12884901947,21]},{"data_type":0,"index":514,"op_type":23,"inputs":[4294967334,513,497]},{"data_type":3,"index":60,"op_type":78,"inputs":[499,500,501,502,508,510,512,514]},{"data_type":0,"index":515,"op_type":20,"inputs":[12884901948,10]},{"data_type":0,"index":516,"op_type":23,"inputs":[4294967336,515,508]},{"data_type":0,"index":517,"op_type":20,"inputs":[12884901948,15]},{"data_type":0,"index":518,"op_type":23,"inputs":[4294967336,517,510]},{"data_type":0,"index":519,"op_type":20,"inputs":[12884901948,19]},{"data_type":0,"index":520,"op_type":23,"inputs":[4294967336,519,512]},{"data_type":0,"index":521,"op_type":20,"inputs":[12884901948,21]},{"data_type":0,"index":522,"op_type":23,"inputs":[4294967336,521,514]},{"data_type":0,"index":523,"op_type":4,"inputs":[14,15]},{"data_type":1,"index":41,"op_type":16,"inputs":[4,10]},{"data_type":1,"index":42,"op_type":15,"inputs":[11,4]},{"data_type":0,"index":524,"op_type":1,"inputs":[1048576]},{"data_type":1,"index":43,"op_type":17,"inputs":[14,524]},{"data_type":0,"index":525,"op_type":23,"inputs":[4294967297,15,4294967296]},{"data_type":0,"index":526,"op_type":23,"inputs":[4294967299,15,4294967296]},{"data_type":0,"index":527,"op_type":23,"inputs":[4294967298,15,4294967296]},{"data_type":0,"index":528,"op_type":23,"inputs":[4294967301,15,4294967296]},{"data_type":0,"index":529,"op_type":23,"inputs":[4294967300,15,4294967296]},{"data_type":0,"index":530,"op_type":23,"inputs":[4294967303,15,4294967296]},{"data_type":0,"index":531,"op_type":23,"inputs":[4294967302,15,4294967296]},{"data_type":0,"index":532,"op_type":23,"inputs":[4294967305,15,4294967296]},{"data_type":0,"index":533,"op_type":23,"inputs":[4294967304,15,4294967296]},{"data_type":0,"index":534,"op_type":23,"inputs":[4294967307,15,4294967296]},{"data_type":0,"index":535,"op_type":23,"inputs":[4294967306,15,4294967296]},{"data_type":0,"index":536,"op_type":23,"inputs":[4294967309,15,4294967296]},{"data_type":0,"index":537,"op_type":23,"inputs":[4294967308,15,4294967296]},{"data_type":0,"index":538,"op_type":23,"inputs":[4294967311,15,4294967296]},{"data_type":0,"index":539,"op_type":23,"inputs":[4294967310,15,4294967296]},{"data_type":0,"index":540,"op_type":23,"inputs":[4294967313,15,4294967296]},{"data_type":0,"index":541,"op_type":23,"inputs":[4294967312,15,4294967296]},{"data_type":0,"index":542,"op_type":23,"inputs":[4294967315,15,4294967296]},{"data_type":0,"index":543,"op_type":23,"inputs":[4294967314,15,4294967296]},{"data_type":0,"index":544,"op_type":23,"inputs":[4294967317,15,4294967296]},{"data_type":0,"index":545,"op_type":23,"inputs":[4294967316,15,4294967296]},{"data_type":0,"index":546,"op_type":23,"inputs":[4294967319,15,4294967296]},{"data_type":0,"index":547,"op_type":23,"inputs":[4294967318,15,4294967296]},{"data_type":0,"index":548,"op_type":23,"inputs":[4294967321,15,4294967296]},{"data_type":0,"index":549,"op_type":23,"inputs":[4294967320,15,4294967296]},{"data_type":0,"index":550,"op_type":23,"inputs":[4294967323,15,4294967296]},{"data_type":0,"index":551,"op_type":23,"inputs":[4294967322,15,4294967296]},{"data_type":0,"index":552,"op_type":23,"inputs":[4294967325,15,4294967296]},{"data_type":0,"index":553,"op_type":23,"inputs":[4294967324,15,4294967296]},{"data_type":0,"index":554,"op_type":23,"inputs":[4294967327,15,4294967296]},{"data_type":0,"index":555,"op_type":23,"inputs":[4294967326,15,4294967296]},{"data_type":0,"index":556,"op_type":23,"inputs":[4294967329,15,4294967296]},{"data_type":0,"index":557,"op_type":23,"inputs":[4294967328,15,4294967296]},{"data_type":0,"index":558,"op_type":23,"inputs":[4294967331,15,4294967296]},{"data_type":0,"index":559,"op_type":23,"inputs":[4294967330,15,4294967296]},{"data_type":0,"index":560,"op_type":23,"inputs":[4294967333,15,4294967296]},{"data_type":0,"index":561,"op_type":23,"inputs":[4294967332,15,4294967296]},{"data_type":0,"index":562,"op_type":23,"inputs":[4294967335,15,4294967296]},{"data_type":0,"index":563,"op_type":23,"inputs":[4294967334,15,4294967296]},{"data_type":0,"index":564,"op_type":23,"inputs":[4294967336,15,4294967296]}],"events":[]},{"name":"private_claim","method_id":635905178,"circuit_inputs":[0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,21,22,23,24,25,26,27,28,29,30,31,32,33,34,35,36,37,38,39,40,41,42,43,44,45,46,47,48,49,50,51,52,53,54,55,56,57,58,59,60,61,62,63,64,65,66,67,68,69,70,71,72,73,74,75,76,77,78,79,80,81],"circuit_outputs":[],"state_commands":[{"type":"GetContractLeaf","contract_id":82},{"type":"GetGlobalStateRoots","checkpoint_id":13},{"type":"ContainsSelfUserCurrentIMTContractStateValue","base_offset":83,"capacity":84,"key":[87,88,90,92]},{"type":"SetIMTContractStateValue","condition":4294967296,"base_offset":83,"capacity":84,"key":[87,88,90,92],"value":[85,86,86,86]},{"type":"GetSelfUserCurrentContractStateSlotSingle","sub_slot_index":86},{"type":"SetContractStateSlotSingle","condition":4294967296,"sub_slot_index":86,"value":94}],"state_command_resolution_indices":[83,83,94,95,95,97],"assertions":[{"left":382,"right":4294967296,"message":"proof tree root mismatch"},{"left":390,"right":4294967296,"message":"user tree root does not match checkpoint state"},{"left":4294967346,"right":4294967296,"message":"invalid note root slot id"},{"left":401,"right":4294967296,"message":"receiver does not match claiming user"},{"left":4294967355,"right":4294967296,"message":"nullifier already claimed"}],"definitions":[{"data_type":0,"index":0,"op_type":0,"inputs":[0]},{"data_type":0,"index":1,"op_type":0,"inputs":[1]},{"data_type":0,"index":2,"op_type":0,"inputs":[2]},{"data_type":0,"index":3,"op_type":0,"inputs":[3]},{"data_type":0,"index":4,"op_type":0,"inputs":[4]},{"data_type":0,"index":5,"op_type":0,"inputs":[5]},{"data_type":0,"index":6,"op_type":0,"inputs":[6]},{"data_type":0,"index":7,"op_type":0,"inputs":[7]},{"data_type":0,"index":8,"op_type":0,"inputs":[8]},{"data_type":0,"index":9,"op_type":0,"inputs":[9]},{"data_type":0,"index":10,"op_type":0,"inputs":[10]},{"data_type":0,"index":11,"op_type":0,"inputs":[11]},{"data_type":0,"index":12,"op_type":0,"inputs":[12]},{"data_type":0,"index":13,"op_type":0,"inputs":[13]},{"data_type":0,"index":14,"op_type":0,"inputs":[14]},{"data_type":0,"index":15,"op_type":0,"inputs":[15]},{"data_type":0,"index":16,"op_type":0,"inputs":[16]},{"data_type":0,"index":17,"op_type":0,"inputs":[17]},{"data_type":0,"index":18,"op_type":0,"inputs":[18]},{"data_type":0,"index":19,"op_type":0,"inputs":[19]},{"data_type":0,"index":20,"op_type":0,"inputs":[20]},{"data_type":0,"index":21,"op_type":0,"inputs":[21]},{"data_type":0,"index":22,"op_type":0,"inputs":[22]},{"data_type":0,"index":23,"op_type":0,"inputs":[23]},{"data_type":0,"index":24,"op_type":0,"inputs":[24]},{"data_type":0,"index":25,"op_type":0,"inputs":[25]},{"data_type":0,"index":26,"op_type":0,"inputs":[26]},{"data_type":0,"index":27,"op_type":0,"inputs":[27]},{"data_type":0,"index":28,"op_type":0,"inputs":[28]},{"data_type":0,"index":29,"op_type":0,"inputs":[29]},{"data_type":0,"index":30,"op_type":0,"inputs":[30]},{"data_type":0,"index":31,"op_type":0,"inputs":[31]},{"data_type":0,"index":32,"op_type":0,"inputs":[32]},{"data_type":0,"index":33,"op_type":0,"inputs":[33]},{"data_type":0,"index":34,"op_type":0,"inputs":[34]},{"data_type":0,"index":35,"op_type":0,"inputs":[35]},{"data_type":0,"index":36,"op_type":0,"inputs":[36]},{"data_type":0,"index":37,"op_type":0,"inputs":[37]},{"data_type":0,"index":38,"op_type":0,"inputs":[38]},{"data_type":0,"index":39,"op_type":0,"inputs":[39]},{"data_type":0,"index":40,"op_type":0,"inputs":[40]},{"data_type":0,"index":41,"op_type":0,"inputs":[41]},{"data_type":0,"index":42,"op_type":0,"inputs":[42]},{"data_type":0,"index":43,"op_type":0,"inputs":[43]},{"data_type":0,"index":44,"op_type":0,"inputs":[44]},{"data_type":0,"index":45,"op_type":0,"inputs":[45]},{"data_type":0,"index":46,"op_type":0,"inputs":[46]},{"data_type":0,"index":47,"op_type":0,"inputs":[47]},{"data_type":0,"index":48,"op_type":0,"inputs":[48]},{"data_type":0,"index":49,"op_type":0,"inputs":[49]},{"data_type":0,"index":50,"op_type":0,"inputs":[50]},{"data_type":0,"index":51,"op_type":0,"inputs":[51]},{"data_type":0,"index":52,"op_type":0,"inputs":[52]},{"data_type":0,"index":53,"op_type":0,"inputs":[53]},{"data_type":0,"index":54,"op_type":0,"inputs":[54]},{"data_type":0,"index":55,"op_type":0,"inputs":[55]},{"data_type":0,"index":56,"op_type":0,"inputs":[56]},{"data_type":0,"index":57,"op_type":0,"inputs":[57]},{"data_type":0,"index":58,"op_type":0,"inputs":[58]},{"data_type":0,"index":59,"op_type":0,"inputs":[59]},{"data_type":0,"index":60,"op_type":0,"inputs":[60]},{"data_type":0,"index":61,"op_type":0,"inputs":[61]},{"data_type":0,"index":62,"op_type":0,"inputs":[62]},{"data_type":0,"index":63,"op_type":0,"inputs":[63]},{"data_type":0,"index":64,"op_type":0,"inputs":[64]},{"data_type":0,"index":65,"op_type":0,"inputs":[65]},{"data_type":0,"index":66,"op_type":0,"inputs":[66]},{"data_type":0,"index":67,"op_type":0,"inputs":[67]},{"data_type":0,"index":68,"op_type":0,"inputs":[68]},{"data_type":0,"index":69,"op_type":0,"inputs":[69]},{"data_type":0,"index":70,"op_type":0,"inputs":[70]},{"data_type":0,"index":71,"op_type":0,"inputs":[71]},{"data_type":0,"index":72,"op_type":0,"inputs":[72]},{"data_type":0,"index":73,"op_type":0,"inputs":[73]},{"data_type":0,"index":74,"op_type":0,"inputs":[74]},{"data_type":0,"index":75,"op_type":0,"inputs":[75]},{"data_type":0,"index":76,"op_type":0,"inputs":[76]},{"data_type":0,"index":77,"op_type":0,"inputs":[77]},{"data_type":0,"index":78,"op_type":0,"inputs":[78]},{"data_type":0,"index":79,"op_type":0,"inputs":[79]},{"data_type":0,"index":80,"op_type":0,"inputs":[80]},{"data_type":0,"index":81,"op_type":0,"inputs":[81]},{"data_type":0,"index":82,"op_type":47,"inputs":[0]},{"data_type":0,"index":83,"op_type":1,"inputs":[8589934680]},{"data_type":0,"index":84,"op_type":1,"inputs":[1048576]},{"data_type":0,"index":85,"op_type":1,"inputs":[1]},{"data_type":3,"index":0,"op_type":21,"inputs":[85,0,1,2,3]},{"data_type":0,"index":86,"op_type":1,"inputs":[0]},{"data_type":0,"index":87,"op_type":20,"inputs":[12884901888,86]},{"data_type":0,"index":88,"op_type":20,"inputs":[12884901888,85]},{"data_type":0,"index":89,"op_type":1,"inputs":[2]},{"data_type":0,"index":90,"op_type":20,"inputs":[12884901888,89]},{"data_type":0,"index":91,"op_type":1,"inputs":[3]},{"data_type":0,"index":92,"op_type":20,"inputs":[12884901888,91]},{"data_type":1,"index":0,"op_type":2,"inputs":[1]},{"data_type":0,"index":93,"op_type":54,"inputs":[4]},{"data_type":0,"index":94,"op_type":4,"inputs":[93,8]},{"data_type":0,"index":95,"op_type":1,"inputs":[15]},{"data_type":2,"index":0,"op_type":42,"inputs":[81,95]},{"data_type":2,"index":1,"op_type":32,"inputs":[8589934592,85]},{"data_type":1,"index":1,"op_type":13,"inputs":[8589934593,86]},{"data_type":1,"index":2,"op_type":8,"inputs":[4294967297]},{"data_type":0,"index":96,"op_type":1,"inputs":[14]},{"data_type":2,"index":2,"op_type":42,"inputs":[81,96]},{"data_type":2,"index":3,"op_type":32,"inputs":[8589934594,85]},{"data_type":1,"index":3,"op_type":13,"inputs":[8589934595,86]},{"data_type":1,"index":4,"op_type":8,"inputs":[4294967299]},{"data_type":0,"index":97,"op_type":1,"inputs":[13]},{"data_type":2,"index":4,"op_type":42,"inputs":[81,97]},{"data_type":2,"index":5,"op_type":32,"inputs":[8589934596,85]},{"data_type":1,"index":5,"op_type":13,"inputs":[8589934597,86]},{"data_type":1,"index":6,"op_type":8,"inputs":[4294967301]},{"data_type":0,"index":98,"op_type":1,"inputs":[12]},{"data_type":2,"index":6,"op_type":42,"inputs":[81,98]},{"data_type":2,"index":7,"op_type":32,"inputs":[8589934598,85]},{"data_type":1,"index":7,"op_type":13,"inputs":[8589934599,86]},{"data_type":1,"index":8,"op_type":8,"inputs":[4294967303]},{"data_type":0,"index":99,"op_type":1,"inputs":[11]},{"data_type":2,"index":8,"op_type":42,"inputs":[81,99]},{"data_type":2,"index":9,"op_type":32,"inputs":[8589934600,85]},{"data_type":1,"index":9,"op_type":13,"inputs":[8589934601,86]},{"data_type":1,"index":10,"op_type":8,"inputs":[4294967305]},{"data_type":0,"index":100,"op_type":1,"inputs":[10]},{"data_type":2,"index":10,"op_type":42,"inputs":[81,100]},{"data_type":2,"index":11,"op_type":32,"inputs":[8589934602,85]},{"data_type":1,"index":11,"op_type":13,"inputs":[8589934603,86]},{"data_type":1,"index":12,"op_type":8,"inputs":[4294967307]},{"data_type":0,"index":101,"op_type":1,"inputs":[9]},{"data_type":2,"index":12,"op_type":42,"inputs":[81,101]},{"data_type":2,"index":13,"op_type":32,"inputs":[8589934604,85]},{"data_type":1,"index":13,"op_type":13,"inputs":[8589934605,86]},{"data_type":1,"index":14,"op_type":8,"inputs":[4294967309]},{"data_type":0,"index":102,"op_type":1,"inputs":[8]},{"data_type":2,"index":14,"op_type":42,"inputs":[81,102]},{"data_type":2,"index":15,"op_type":32,"inputs":[8589934606,85]},{"data_type":1,"index":15,"op_type":13,"inputs":[8589934607,86]},{"data_type":1,"index":16,"op_type":8,"inputs":[4294967311]},{"data_type":0,"index":103,"op_type":1,"inputs":[7]},{"data_type":2,"index":16,"op_type":42,"inputs":[81,103]},{"data_type":2,"index":17,"op_type":32,"inputs":[8589934608,85]},{"data_type":1,"index":17,"op_type":13,"inputs":[8589934609,86]},{"data_type":1,"index":18,"op_type":8,"inputs":[4294967313]},{"data_type":0,"index":104,"op_type":1,"inputs":[6]},{"data_type":2,"index":18,"op_type":42,"inputs":[81,104]},{"data_type":2,"index":19,"op_type":32,"inputs":[8589934610,85]},{"data_type":1,"index":19,"op_type":13,"inputs":[8589934611,86]},{"data_type":1,"index":20,"op_type":8,"inputs":[4294967315]},{"data_type":0,"index":105,"op_type":1,"inputs":[5]},{"data_type":2,"index":20,"op_type":42,"inputs":[81,105]},{"data_type":2,"index":21,"op_type":32,"inputs":[8589934612,85]},{"data_type":1,"index":21,"op_type":13,"inputs":[8589934613,86]},{"data_type":1,"index":22,"op_type":8,"inputs":[4294967317]},{"data_type":0,"index":106,"op_type":1,"inputs":[4]},{"data_type":2,"index":22,"op_type":42,"inputs":[81,106]},{"data_type":2,"index":23,"op_type":32,"inputs":[8589934614,85]},{"data_type":1,"index":23,"op_type":13,"inputs":[8589934615,86]},{"data_type":1,"index":24,"op_type":8,"inputs":[4294967319]},{"data_type":2,"index":24,"op_type":42,"inputs":[81,91]},{"data_type":2,"index":25,"op_type":32,"inputs":[8589934616,85]},{"data_type":1,"index":25,"op_type":13,"inputs":[8589934617,86]},{"data_type":1,"index":26,"op_type":8,"inputs":[4294967321]},{"data_type":2,"index":26,"op_type":42,"inputs":[81,89]},{"data_type":2,"index":27,"op_type":32,"inputs":[8589934618,85]},{"data_type":1,"index":27,"op_type":13,"inputs":[8589934619,86]},{"data_type":1,"index":28,"op_type":8,"inputs":[4294967323]},{"data_type":2,"index":28,"op_type":42,"inputs":[81,85]},{"data_type":2,"index":29,"op_type":32,"inputs":[8589934620,85]},{"data_type":1,"index":29,"op_type":13,"inputs":[8589934621,86]},{"data_type":1,"index":30,"op_type":8,"inputs":[4294967325]},{"data_type":2,"index":30,"op_type":42,"inputs":[81,86]},{"data_type":2,"index":31,"op_type":32,"inputs":[8589934622,85]},{"data_type":1,"index":31,"op_type":13,"inputs":[8589934623,86]},{"data_type":1,"index":32,"op_type":8,"inputs":[4294967327]},{"data_type":0,"index":107,"op_type":1,"inputs":[2482434993266711942]},{"data_type":0,"index":108,"op_type":1,"inputs":[6028864160300535936]},{"data_type":0,"index":109,"op_type":1,"inputs":[2827549014984201026]},{"data_type":0,"index":110,"op_type":1,"inputs":[3018365102481798071]},{"data_type":3,"index":1,"op_type":21,"inputs":[4,5,6,7,8,9,10,11,12,13,14,82,0,1,2,3]},{"data_type":0,"index":111,"op_type":20,"inputs":[12884901889,86]},{"data_type":0,"index":112,"op_type":20,"inputs":[12884901889,85]},{"data_type":0,"index":113,"op_type":20,"inputs":[12884901889,89]},{"data_type":0,"index":114,"op_type":20,"inputs":[12884901889,91]},{"data_type":3,"index":2,"op_type":78,"inputs":[107,108,109,110,111,112,113,114]},{"data_type":0,"index":115,"op_type":20,"inputs":[12884901890,86]},{"data_type":0,"index":116,"op_type":20,"inputs":[12884901890,85]},{"data_type":0,"index":117,"op_type":20,"inputs":[12884901890,89]},{"data_type":0,"index":118,"op_type":20,"inputs":[12884901890,91]},{"data_type":3,"index":3,"op_type":78,"inputs":[115,116,117,118,17,18,19,20]},{"data_type":0,"index":119,"op_type":20,"inputs":[12884901891,86]},{"data_type":0,"index":120,"op_type":23,"inputs":[4294967327,119,115]},{"data_type":0,"index":121,"op_type":20,"inputs":[12884901891,85]},{"data_type":0,"index":122,"op_type":23,"inputs":[4294967327,121,116]},{"data_type":0,"index":123,"op_type":20,"inputs":[12884901891,89]},{"data_type":0,"index":124,"op_type":23,"inputs":[4294967327,123,117]},{"data_type":0,"index":125,"op_type":20,"inputs":[12884901891,91]},{"data_type":0,"index":126,"op_type":23,"inputs":[4294967327,125,118]},{"data_type":3,"index":4,"op_type":78,"inputs":[17,18,19,20,120,122,124,126]},{"data_type":0,"index":127,"op_type":20,"inputs":[12884901892,86]},{"data_type":0,"index":128,"op_type":23,"inputs":[4294967328,127,120]},{"data_type":0,"index":129,"op_type":20,"inputs":[12884901892,85]},{"data_type":0,"index":130,"op_type":23,"inputs":[4294967328,129,122]},{"data_type":0,"index":131,"op_type":20,"inputs":[12884901892,89]},{"data_type":0,"index":132,"op_type":23,"inputs":[4294967328,131,124]},{"data_type":0,"index":133,"op_type":20,"inputs":[12884901892,91]},{"data_type":0,"index":134,"op_type":23,"inputs":[4294967328,133,126]},{"data_type":3,"index":5,"op_type":78,"inputs":[128,130,132,134,21,22,23,24]},{"data_type":0,"index":135,"op_type":20,"inputs":[12884901893,86]},{"data_type":0,"index":136,"op_type":23,"inputs":[4294967325,135,128]},{"data_type":0,"index":137,"op_type":20,"inputs":[12884901893,85]},{"data_type":0,"index":138,"op_type":23,"inputs":[4294967325,137,130]},{"data_type":0,"index":139,"op_type":20,"inputs":[12884901893,89]},{"data_type":0,"index":140,"op_type":23,"inputs":[4294967325,139,132]},{"data_type":0,"index":141,"op_type":20,"inputs":[12884901893,91]},{"data_type":0,"index":142,"op_type":23,"inputs":[4294967325,141,134]},{"data_type":3,"index":6,"op_type":78,"inputs":[21,22,23,24,136,138,140,142]},{"data_type":0,"index":143,"op_type":20,"inputs":[12884901894,86]},{"data_type":0,"index":144,"op_type":23,"inputs":[4294967326,143,136]},{"data_type":0,"index":145,"op_type":20,"inputs":[12884901894,85]},{"data_type":0,"index":146,"op_type":23,"inputs":[4294967326,145,138]},{"data_type":0,"index":147,"op_type":20,"inputs":[12884901894,89]},{"data_type":0,"index":148,"op_type":23,"inputs":[4294967326,147,140]},{"data_type":0,"index":149,"op_type":20,"inputs":[12884901894,91]},{"data_type":0,"index":150,"op_type":23,"inputs":[4294967326,149,142]},{"data_type":3,"index":7,"op_type":78,"inputs":[144,146,148,150,25,26,27,28]},{"data_type":0,"index":151,"op_type":20,"inputs":[12884901895,86]},{"data_type":0,"index":152,"op_type":23,"inputs":[4294967323,151,144]},{"data_type":0,"index":153,"op_type":20,"inputs":[12884901895,85]},{"data_type":0,"index":154,"op_type":23,"inputs":[4294967323,153,146]},{"data_type":0,"index":155,"op_type":20,"inputs":[12884901895,89]},{"data_type":0,"index":156,"op_type":23,"inputs":[4294967323,155,148]},{"data_type":0,"index":157,"op_type":20,"inputs":[12884901895,91]},{"data_type":0,"index":158,"op_type":23,"inputs":[4294967323,157,150]},{"data_type":3,"index":8,"op_type":78,"inputs":[25,26,27,28,152,154,156,158]},{"data_type":0,"index":159,"op_type":20,"inputs":[12884901896,86]},{"data_type":0,"index":160,"op_type":23,"inputs":[4294967324,159,152]},{"data_type":0,"index":161,"op_type":20,"inputs":[12884901896,85]},{"data_type":0,"index":162,"op_type":23,"inputs":[4294967324,161,154]},{"data_type":0,"index":163,"op_type":20,"inputs":[12884901896,89]},{"data_type":0,"index":164,"op_type":23,"inputs":[4294967324,163,156]},{"data_type":0,"index":165,"op_type":20,"inputs":[12884901896,91]},{"data_type":0,"index":166,"op_type":23,"inputs":[4294967324,165,158]},{"data_type":3,"index":9,"op_type":78,"inputs":[160,162,164,166,29,30,31,32]},{"data_type":0,"index":167,"op_type":20,"inputs":[12884901897,86]},{"data_type":0,"index":168,"op_type":23,"inputs":[4294967321,167,160]},{"data_type":0,"index":169,"op_type":20,"inputs":[12884901897,85]},{"data_type":0,"index":170,"op_type":23,"inputs":[4294967321,169,162]},{"data_type":0,"index":171,"op_type":20,"inputs":[12884901897,89]},{"data_type":0,"index":172,"op_type":23,"inputs":[4294967321,171,164]},{"data_type":0,"index":173,"op_type":20,"inputs":[12884901897,91]},{"data_type":0,"index":174,"op_type":23,"inputs":[4294967321,173,166]},{"data_type":3,"index":10,"op_type":78,"inputs":[29,30,31,32,168,170,172,174]},{"data_type":0,"index":175,"op_type":20,"inputs":[12884901898,86]},{"data_type":0,"index":176,"op_type":23,"inputs":[4294967322,175,168]},{"data_type":0,"index":177,"op_type":20,"inputs":[12884901898,85]},{"data_type":0,"index":178,"op_type":23,"inputs":[4294967322,177,170]},{"data_type":0,"index":179,"op_type":20,"inputs":[12884901898,89]},{"data_type":0,"index":180,"op_type":23,"inputs":[4294967322,179,172]},{"data_type":0,"index":181,"op_type":20,"inputs":[12884901898,91]},{"data_type":0,"index":182,"op_type":23,"inputs":[4294967322,181,174]},{"data_type":3,"index":11,"op_type":78,"inputs":[176,178,180,182,33,34,35,36]},{"data_type":0,"index":183,"op_type":20,"inputs":[12884901899,86]},{"data_type":0,"index":184,"op_type":23,"inputs":[4294967319,183,176]},{"data_type":0,"index":185,"op_type":20,"inputs":[12884901899,85]},{"data_type":0,"index":186,"op_type":23,"inputs":[4294967319,185,178]},{"data_type":0,"index":187,"op_type":20,"inputs":[12884901899,89]},{"data_type":0,"index":188,"op_type":23,"inputs":[4294967319,187,180]},{"data_type":0,"index":189,"op_type":20,"inputs":[12884901899,91]},{"data_type":0,"index":190,"op_type":23,"inputs":[4294967319,189,182]},{"data_type":3,"index":12,"op_type":78,"inputs":[33,34,35,36,184,186,188,190]},{"data_type":0,"index":191,"op_type":20,"inputs":[12884901900,86]},{"data_type":0,"index":192,"op_type":23,"inputs":[4294967320,191,184]},{"data_type":0,"index":193,"op_type":20,"inputs":[12884901900,85]},{"data_type":0,"index":194,"op_type":23,"inputs":[4294967320,193,186]},{"data_type":0,"index":195,"op_type":20,"inputs":[12884901900,89]},{"data_type":0,"index":196,"op_type":23,"inputs":[4294967320,195,188]},{"data_type":0,"index":197,"op_type":20,"inputs":[12884901900,91]},{"data_type":0,"index":198,"op_type":23,"inputs":[4294967320,197,190]},{"data_type":3,"index":13,"op_type":78,"inputs":[192,194,196,198,37,38,39,40]},{"data_type":0,"index":199,"op_type":20,"inputs":[12884901901,86]},{"data_type":0,"index":200,"op_type":23,"inputs":[4294967317,199,192]},{"data_type":0,"index":201,"op_type":20,"inputs":[12884901901,85]},{"data_type":0,"index":202,"op_type":23,"inputs":[4294967317,201,194]},{"data_type":0,"index":203,"op_type":20,"inputs":[12884901901,89]},{"data_type":0,"index":204,"op_type":23,"inputs":[4294967317,203,196]},{"data_type":0,"index":205,"op_type":20,"inputs":[12884901901,91]},{"data_type":0,"index":206,"op_type":23,"inputs":[4294967317,205,198]},{"data_type":3,"index":14,"op_type":78,"inputs":[37,38,39,40,200,202,204,206]},{"data_type":0,"index":207,"op_type":20,"inputs":[12884901902,86]},{"data_type":0,"index":208,"op_type":23,"inputs":[4294967318,207,200]},{"data_type":0,"index":209,"op_type":20,"inputs":[12884901902,85]},{"data_type":0,"index":210,"op_type":23,"inputs":[4294967318,209,202]},{"data_type":0,"index":211,"op_type":20,"inputs":[12884901902,89]},{"data_type":0,"index":212,"op_type":23,"inputs":[4294967318,211,204]},{"data_type":0,"index":213,"op_type":20,"inputs":[12884901902,91]},{"data_type":0,"index":214,"op_type":23,"inputs":[4294967318,213,206]},{"data_type":3,"index":15,"op_type":78,"inputs":[208,210,212,214,41,42,43,44]},{"data_type":0,"index":215,"op_type":20,"inputs":[12884901903,86]},{"data_type":0,"index":216,"op_type":23,"inputs":[4294967315,215,208]},{"data_type":0,"index":217,"op_type":20,"inputs":[12884901903,85]},{"data_type":0,"index":218,"op_type":23,"inputs":[4294967315,217,210]},{"data_type":0,"index":219,"op_type":20,"inputs":[12884901903,89]},{"data_type":0,"index":220,"op_type":23,"inputs":[4294967315,219,212]},{"data_type":0,"index":221,"op_type":20,"inputs":[12884901903,91]},{"data_type":0,"index":222,"op_type":23,"inputs":[4294967315,221,214]},{"data_type":3,"index":16,"op_type":78,"inputs":[41,42,43,44,216,218,220,222]},{"data_type":0,"index":223,"op_type":20,"inputs":[12884901904,86]},{"data_type":0,"index":224,"op_type":23,"inputs":[4294967316,223,216]},{"data_type":0,"index":225,"op_type":20,"inputs":[12884901904,85]},{"data_type":0,"index":226,"op_type":23,"inputs":[4294967316,225,218]},{"data_type":0,"index":227,"op_type":20,"inputs":[12884901904,89]},{"data_type":0,"index":228,"op_type":23,"inputs":[4294967316,227,220]},{"data_type":0,"index":229,"op_type":20,"inputs":[12884901904,91]},{"data_type":0,"index":230,"op_type":23,"inputs":[4294967316,229,222]},{"data_type":3,"index":17,"op_type":78,"inputs":[224,226,228,230,45,46,47,48]},{"data_type":0,"index":231,"op_type":20,"inputs":[12884901905,86]},{"data_type":0,"index":232,"op_type":23,"inputs":[4294967313,231,224]},{"data_type":0,"index":233,"op_type":20,"inputs":[12884901905,85]},{"data_type":0,"index":234,"op_type":23,"inputs":[4294967313,233,226]},{"data_type":0,"index":235,"op_type":20,"inputs":[12884901905,89]},{"data_type":0,"index":236,"op_type":23,"inputs":[4294967313,235,228]},{"data_type":0,"index":237,"op_type":20,"inputs":[12884901905,91]},{"data_type":0,"index":238,"op_type":23,"inputs":[4294967313,237,230]},{"data_type":3,"index":18,"op_type":78,"inputs":[45,46,47,48,232,234,236,238]},{"data_type":0,"index":239,"op_type":20,"inputs":[12884901906,86]},{"data_type":0,"index":240,"op_type":23,"inputs":[4294967314,239,232]},{"data_type":0,"index":241,"op_type":20,"inputs":[12884901906,85]},{"data_type":0,"index":242,"op_type":23,"inputs":[4294967314,241,234]},{"data_type":0,"index":243,"op_type":20,"inputs":[12884901906,89]},{"data_type":0,"index":244,"op_type":23,"inputs":[4294967314,243,236]},{"data_type":0,"index":245,"op_type":20,"inputs":[12884901906,91]},{"data_type":0,"index":246,"op_type":23,"inputs":[4294967314,245,238]},{"data_type":3,"index":19,"op_type":78,"inputs":[240,242,244,246,49,50,51,52]},{"data_type":0,"index":247,"op_type":20,"inputs":[12884901907,86]},{"data_type":0,"index":248,"op_type":23,"inputs":[4294967311,247,240]},{"data_type":0,"index":249,"op_type":20,"inputs":[12884901907,85]},{"data_type":0,"index":250,"op_type":23,"inputs":[4294967311,249,242]},{"data_type":0,"index":251,"op_type":20,"inputs":[12884901907,89]},{"data_type":0,"index":252,"op_type":23,"inputs":[4294967311,251,244]},{"data_type":0,"index":253,"op_type":20,"inputs":[12884901907,91]},{"data_type":0,"index":254,"op_type":23,"inputs":[4294967311,253,246]},{"data_type":3,"index":20,"op_type":78,"inputs":[49,50,51,52,248,250,252,254]},{"data_type":0,"index":255,"op_type":20,"inputs":[12884901908,86]},{"data_type":0,"index":256,"op_type":23,"inputs":[4294967312,255,248]},{"data_type":0,"index":257,"op_type":20,"inputs":[12884901908,85]},{"data_type":0,"index":258,"op_type":23,"inputs":[4294967312,257,250]},{"data_type":0,"index":259,"op_type":20,"inputs":[12884901908,89]},{"data_type":0,"index":260,"op_type":23,"inputs":[4294967312,259,252]},{"data_type":0,"index":261,"op_type":20,"inputs":[12884901908,91]},{"data_type":0,"index":262,"op_type":23,"inputs":[4294967312,261,254]},{"data_type":3,"index":21,"op_type":78,"inputs":[256,258,260,262,53,54,55,56]},{"data_type":0,"index":263,"op_type":20,"inputs":[12884901909,86]},{"data_type":0,"index":264,"op_type":23,"inputs":[4294967309,263,256]},{"data_type":0,"index":265,"op_type":20,"inputs":[12884901909,85]},{"data_type":0,"index":266,"op_type":23,"inputs":[4294967309,265,258]},{"data_type":0,"index":267,"op_type":20,"inputs":[12884901909,89]},{"data_type":0,"index":268,"op_type":23,"inputs":[4294967309,267,260]},{"data_type":0,"index":269,"op_type":20,"inputs":[12884901909,91]},{"data_type":0,"index":270,"op_type":23,"inputs":[4294967309,269,262]},{"data_type":3,"index":22,"op_type":78,"inputs":[53,54,55,56,264,266,268,270]},{"data_type":0,"index":271,"op_type":20,"inputs":[12884901910,86]},{"data_type":0,"index":272,"op_type":23,"inputs":[4294967310,271,264]},{"data_type":0,"index":273,"op_type":20,"inputs":[12884901910,85]},{"data_type":0,"index":274,"op_type":23,"inputs":[4294967310,273,266]},{"data_type":0,"index":275,"op_type":20,"inputs":[12884901910,89]},{"data_type":0,"index":276,"op_type":23,"inputs":[4294967310,275,268]},{"data_type":0,"index":277,"op_type":20,"inputs":[12884901910,91]},{"data_type":0,"index":278,"op_type":23,"inputs":[4294967310,277,270]},{"data_type":3,"index":23,"op_type":78,"inputs":[272,274,276,278,57,58,59,60]},{"data_type":0,"index":279,"op_type":20,"inputs":[12884901911,86]},{"data_type":0,"index":280,"op_type":23,"inputs":[4294967307,279,272]},{"data_type":0,"index":281,"op_type":20,"inputs":[12884901911,85]},{"data_type":0,"index":282,"op_type":23,"inputs":[4294967307,281,274]},{"data_type":0,"index":283,"op_type":20,"inputs":[12884901911,89]},{"data_type":0,"index":284,"op_type":23,"inputs":[4294967307,283,276]},{"data_type":0,"index":285,"op_type":20,"inputs":[12884901911,91]},{"data_type":0,"index":286,"op_type":23,"inputs":[4294967307,285,278]},{"data_type":3,"index":24,"op_type":78,"inputs":[57,58,59,60,280,282,284,286]},{"data_type":0,"index":287,"op_type":20,"inputs":[12884901912,86]},{"data_type":0,"index":288,"op_type":23,"inputs":[4294967308,287,280]},{"data_type":0,"index":289,"op_type":20,"inputs":[12884901912,85]},{"data_type":0,"index":290,"op_type":23,"inputs":[4294967308,289,282]},{"data_type":0,"index":291,"op_type":20,"inputs":[12884901912,89]},{"data_type":0,"index":292,"op_type":23,"inputs":[4294967308,291,284]},{"data_type":0,"index":293,"op_type":20,"inputs":[12884901912,91]},{"data_type":0,"index":294,"op_type":23,"inputs":[4294967308,293,286]},{"data_type":3,"index":25,"op_type":78,"inputs":[288,290,292,294,61,62,63,64]},{"data_type":0,"index":295,"op_type":20,"inputs":[12884901913,86]},{"data_type":0,"index":296,"op_type":23,"inputs":[4294967305,295,288]},{"data_type":0,"index":297,"op_type":20,"inputs":[12884901913,85]},{"data_type":0,"index":298,"op_type":23,"inputs":[4294967305,297,290]},{"data_type":0,"index":299,"op_type":20,"inputs":[12884901913,89]},{"data_type":0,"index":300,"op_type":23,"inputs":[4294967305,299,292]},{"data_type":0,"index":301,"op_type":20,"inputs":[12884901913,91]},{"data_type":0,"index":302,"op_type":23,"inputs":[4294967305,301,294]},{"data_type":3,"index":26,"op_type":78,"inputs":[61,62,63,64,296,298,300,302]},{"data_type":0,"index":303,"op_type":20,"inputs":[12884901914,86]},{"data_type":0,"index":304,"op_type":23,"inputs":[4294967306,303,296]},{"data_type":0,"index":305,"op_type":20,"inputs":[12884901914,85]},{"data_type":0,"index":306,"op_type":23,"inputs":[4294967306,305,298]},{"data_type":0,"index":307,"op_type":20,"inputs":[12884901914,89]},{"data_type":0,"index":308,"op_type":23,"inputs":[4294967306,307,300]},{"data_type":0,"index":309,"op_type":20,"inputs":[12884901914,91]},{"data_type":0,"index":310,"op_type":23,"inputs":[4294967306,309,302]},{"data_type":3,"index":27,"op_type":78,"inputs":[304,306,308,310,65,66,67,68]},{"data_type":0,"index":311,"op_type":20,"inputs":[12884901915,86]},{"data_type":0,"index":312,"op_type":23,"inputs":[4294967303,311,304]},{"data_type":0,"index":313,"op_type":20,"inputs":[12884901915,85]},{"data_type":0,"index":314,"op_type":23,"inputs":[4294967303,313,306]},{"data_type":0,"index":315,"op_type":20,"inputs":[12884901915,89]},{"data_type":0,"index":316,"op_type":23,"inputs":[4294967303,315,308]},{"data_type":0,"index":317,"op_type":20,"inputs":[12884901915,91]},{"data_type":0,"index":318,"op_type":23,"inputs":[4294967303,317,310]},{"data_type":3,"index":28,"op_type":78,"inputs":[65,66,67,68,312,314,316,318]},{"data_type":0,"index":319,"op_type":20,"inputs":[12884901916,86]},{"data_type":0,"index":320,"op_type":23,"inputs":[4294967304,319,312]},{"data_type":0,"index":321,"op_type":20,"inputs":[12884901916,85]},{"data_type":0,"index":322,"op_type":23,"inputs":[4294967304,321,314]},{"data_type":0,"index":323,"op_type":20,"inputs":[12884901916,89]},{"data_type":0,"index":324,"op_type":23,"inputs":[4294967304,323,316]},{"data_type":0,"index":325,"op_type":20,"inputs":[12884901916,91]},{"data_type":0,"index":326,"op_type":23,"inputs":[4294967304,325,318]},{"data_type":3,"index":29,"op_type":78,"inputs":[320,322,324,326,69,70,71,72]},{"data_type":0,"index":327,"op_type":20,"inputs":[12884901917,86]},{"data_type":0,"index":328,"op_type":23,"inputs":[4294967301,327,320]},{"data_type":0,"index":329,"op_type":20,"inputs":[12884901917,85]},{"data_type":0,"index":330,"op_type":23,"inputs":[4294967301,329,322]},{"data_type":0,"index":331,"op_type":20,"inputs":[12884901917,89]},{"data_type":0,"index":332,"op_type":23,"inputs":[4294967301,331,324]},{"data_type":0,"index":333,"op_type":20,"inputs":[12884901917,91]},{"data_type":0,"index":334,"op_type":23,"inputs":[4294967301,333,326]},{"data_type":3,"index":30,"op_type":78,"inputs":[69,70,71,72,328,330,332,334]},{"data_type":0,"index":335,"op_type":20,"inputs":[12884901918,86]},{"data_type":0,"index":336,"op_type":23,"inputs":[4294967302,335,328]},{"data_type":0,"index":337,"op_type":20,"inputs":[12884901918,85]},{"data_type":0,"index":338,"op_type":23,"inputs":[4294967302,337,330]},{"data_type":0,"index":339,"op_type":20,"inputs":[12884901918,89]},{"data_type":0,"index":340,"op_type":23,"inputs":[4294967302,339,332]},{"data_type":0,"index":341,"op_type":20,"inputs":[12884901918,91]},{"data_type":0,"index":342,"op_type":23,"inputs":[4294967302,341,334]},{"data_type":3,"index":31,"op_type":78,"inputs":[336,338,340,342,73,74,75,76]},{"data_type":0,"index":343,"op_type":20,"inputs":[12884901919,86]},{"data_type":0,"index":344,"op_type":23,"inputs":[4294967299,343,336]},{"data_type":0,"index":345,"op_type":20,"inputs":[12884901919,85]},{"data_type":0,"index":346,"op_type":23,"inputs":[4294967299,345,338]},{"data_type":0,"index":347,"op_type":20,"inputs":[12884901919,89]},{"data_type":0,"index":348,"op_type":23,"inputs":[4294967299,347,340]},{"data_type":0,"index":349,"op_type":20,"inputs":[12884901919,91]},{"data_type":0,"index":350,"op_type":23,"inputs":[4294967299,349,342]},{"data_type":3,"index":32,"op_type":78,"inputs":[73,74,75,76,344,346,348,350]},{"data_type":0,"index":351,"op_type":20,"inputs":[12884901920,86]},{"data_type":0,"index":352,"op_type":23,"inputs":[4294967300,351,344]},{"data_type":0,"index":353,"op_type":20,"inputs":[12884901920,85]},{"data_type":0,"index":354,"op_type":23,"inputs":[4294967300,353,346]},{"data_type":0,"index":355,"op_type":20,"inputs":[12884901920,89]},{"data_type":0,"index":356,"op_type":23,"inputs":[4294967300,355,348]},{"data_type":0,"index":357,"op_type":20,"inputs":[12884901920,91]},{"data_type":0,"index":358,"op_type":23,"inputs":[4294967300,357,350]},{"data_type":3,"index":33,"op_type":78,"inputs":[352,354,356,358,77,78,79,80]},{"data_type":0,"index":359,"op_type":20,"inputs":[12884901921,86]},{"data_type":0,"index":360,"op_type":23,"inputs":[4294967297,359,352]},{"data_type":0,"index":361,"op_type":20,"inputs":[12884901921,85]},{"data_type":0,"index":362,"op_type":23,"inputs":[4294967297,361,354]},{"data_type":0,"index":363,"op_type":20,"inputs":[12884901921,89]},{"data_type":0,"index":364,"op_type":23,"inputs":[4294967297,363,356]},{"data_type":0,"index":365,"op_type":20,"inputs":[12884901921,91]},{"data_type":0,"index":366,"op_type":23,"inputs":[4294967297,365,358]},{"data_type":3,"index":34,"op_type":78,"inputs":[77,78,79,80,360,362,364,366]},{"data_type":0,"index":367,"op_type":20,"inputs":[12884901922,91]},{"data_type":0,"index":368,"op_type":23,"inputs":[4294967298,367,366]},{"data_type":3,"index":35,"op_type":80,"inputs":[0]},{"data_type":0,"index":369,"op_type":20,"inputs":[12884901923,91]},{"data_type":1,"index":33,"op_type":13,"inputs":[368,369]},{"data_type":1,"index":34,"op_type":8,"inputs":[4294967329]},{"data_type":1,"index":35,"op_type":3,"inputs":[0]},{"data_type":0,"index":370,"op_type":20,"inputs":[12884901922,89]},{"data_type":0,"index":371,"op_type":23,"inputs":[4294967298,370,364]},{"data_type":0,"index":372,"op_type":20,"inputs":[12884901923,89]},{"data_type":1,"index":36,"op_type":13,"inputs":[371,372]},{"data_type":1,"index":37,"op_type":8,"inputs":[4294967332]},{"data_type":0,"index":373,"op_type":20,"inputs":[12884901922,85]},{"data_type":0,"index":374,"op_type":23,"inputs":[4294967298,373,362]},{"data_type":0,"index":375,"op_type":20,"inputs":[12884901923,85]},{"data_type":1,"index":38,"op_type":13,"inputs":[374,375]},{"data_type":1,"index":39,"op_type":8,"inputs":[4294967334]},{"data_type":0,"index":376,"op_type":20,"inputs":[12884901922,86]},{"data_type":0,"index":377,"op_type":23,"inputs":[4294967298,376,360]},{"data_type":0,"index":378,"op_type":20,"inputs":[12884901923,86]},{"data_type":1,"index":40,"op_type":13,"inputs":[377,378]},{"data_type":1,"index":41,"op_type":8,"inputs":[4294967336]},{"data_type":0,"index":379,"op_type":23,"inputs":[4294967337,4294967331,4294967296]},{"data_type":0,"index":380,"op_type":23,"inputs":[4294967335,4294967331,379]},{"data_type":0,"index":381,"op_type":23,"inputs":[4294967333,4294967331,380]},{"data_type":0,"index":382,"op_type":23,"inputs":[4294967330,4294967331,381]},{"data_type":5,"index":0,"op_type":55,"inputs":[1]},{"data_type":0,"index":383,"op_type":20,"inputs":[21474836480,99]},{"data_type":1,"index":42,"op_type":13,"inputs":[12,383]},{"data_type":1,"index":43,"op_type":8,"inputs":[4294967338]},{"data_type":0,"index":384,"op_type":20,"inputs":[21474836480,100]},{"data_type":1,"index":44,"op_type":13,"inputs":[11,384]},{"data_type":1,"index":45,"op_type":8,"inputs":[4294967340]},{"data_type":0,"index":385,"op_type":20,"inputs":[21474836480,101]},{"data_type":1,"index":46,"op_type":13,"inputs":[10,385]},{"data_type":1,"index":47,"op_type":8,"inputs":[4294967342]},{"data_type":0,"index":386,"op_type":20,"inputs":[21474836480,102]},{"data_type":1,"index":48,"op_type":13,"inputs":[9,386]},{"data_type":1,"index":49,"op_type":8,"inputs":[4294967344]},{"data_type":0,"index":387,"op_type":23,"inputs":[4294967345,4294967331,4294967296]},{"data_type":0,"index":388,"op_type":23,"inputs":[4294967343,4294967331,387]},{"data_type":0,"index":389,"op_type":23,"inputs":[4294967341,4294967331,388]},{"data_type":0,"index":390,"op_type":23,"inputs":[4294967339,4294967331,389]},{"data_type":0,"index":391,"op_type":1,"inputs":[2147483649]},{"data_type":1,"index":50,"op_type":13,"inputs":[14,391]},{"data_type":0,"index":392,"op_type":46,"inputs":[0]},{"data_type":0,"index":393,"op_type":1,"inputs":[1337]},{"data_type":3,"index":36,"op_type":21,"inputs":[392,393,15,16]},{"data_type":0,"index":394,"op_type":20,"inputs":[12884901924,91]},{"data_type":1,"index":51,"op_type":13,"inputs":[7,394]},{"data_type":1,"index":52,"op_type":8,"inputs":[4294967347]},{"data_type":0,"index":395,"op_type":20,"inputs":[12884901924,89]},{"data_type":1,"index":53,"op_type":13,"inputs":[6,395]},{"data_type":1,"index":54,"op_type":8,"inputs":[4294967349]},{"data_type":0,"index":396,"op_type":20,"inputs":[12884901924,85]},{"data_type":1,"index":55,"op_type":13,"inputs":[5,396]},{"data_type":1,"index":56,"op_type":8,"inputs":[4294967351]},{"data_type":0,"index":397,"op_type":20,"inputs":[12884901924,86]},{"data_type":1,"index":57,"op_type":13,"inputs":[4,397]},{"data_type":1,"index":58,"op_type":8,"inputs":[4294967353]},{"data_type":0,"index":398,"op_type":23,"inputs":[4294967354,4294967331,4294967296]},{"data_type":0,"index":399,"op_type":23,"inputs":[4294967352,4294967331,398]},{"data_type":0,"index":400,"op_type":23,"inputs":[4294967350,4294967331,399]},{"data_type":0,"index":401,"op_type":23,"inputs":[4294967348,4294967331,400]},{"data_type":0,"index":402,"op_type":54,"inputs":[2]},{"data_type":0,"index":403,"op_type":20,"inputs":[402,86]},{"data_type":1,"index":59,"op_type":13,"inputs":[403,4294967331]},{"data_type":0,"index":404,"op_type":48,"inputs":[0]}],"events":[{"condition":4294967296,"checkpoint_id":404,"user_id":392,"contract_id":82,"data":[4,5,6,7,0,1,2,3,8]}]}],"abi":{"schema_version":"2.0.0","contract":{"name":"PsyTokenContract","state_tree_height":32,"state":[{"name":"balance","type":{"kind":"primitive","name":"Felt"},"offset":0,"felt_size":1},{"name":"last_claimed_pow_rewards_checkpoint_id","type":{"kind":"primitive","name":"Felt"},"offset":1,"felt_size":1},{"name":"claimed_rewards","type":{"kind":"primitive","name":"Felt"},"offset":2,"felt_size":1},{"name":"other_user_info","type":{"kind":"array","item":{"kind":"struct","name":"OtherUserInfo"},"length":4294967296,"item_felt_size":2},"offset":3,"felt_size":8589934592},{"name":"note_count","type":{"kind":"primitive","name":"Felt"},"offset":8589934595,"felt_size":1},{"name":"note_root","type":{"kind":"primitive","name":"Hash"},"offset":8589934596,"felt_size":4},{"name":"last_path","type":{"kind":"array","item":{"kind":"primitive","name":"Hash"},"length":20,"item_felt_size":4},"offset":8589934600,"felt_size":80},{"name":"state_map","type":{"kind":"map","map_kind":"map","key":{"kind":"primitive","name":"Hash"},"value":{"kind":"primitive","name":"Hash"},"capacity":1048576,"value_felt_size":4,"alignment_felts":4},"offset":8589934680,"felt_size":4194304}],"methods":[{"name":"batch_simple_transfer_2","method_id":2184671991,"state_mutability":"external","inputs":[{"name":"recipients","type":{"kind":"array","item":{"kind":"primitive","name":"Felt"},"length":2,"item_felt_size":1},"felt_size":2},{"name":"amounts","type":{"kind":"array","item":{"kind":"primitive","name":"Felt"},"length":2,"item_felt_size":1},"felt_size":2}],"outputs":[],"input_felt_count":4,"output_felt_count":0},{"name":"batch_simple_transfer_5","method_id":2000856578,"state_mutability":"external","inputs":[{"name":"recipients","type":{"kind":"array","item":{"kind":"primitive","name":"Felt"},"length":5,"item_felt_size":1},"felt_size":5},{"name":"amounts","type":{"kind":"array","item":{"kind":"primitive","name":"Felt"},"length":5,"item_felt_size":1},"felt_size":5}],"outputs":[],"input_felt_count":10,"output_felt_count":0},{"name":"claim_deposit","method_id":1577908089,"state_mutability":"external","inputs":[{"name":"nullifier_hash","type":{"kind":"primitive","name":"Hash"},"felt_size":4},{"name":"shield_address","type":{"kind":"primitive","name":"Hash"},"felt_size":4},{"name":"token_address","type":{"kind":"array","item":{"kind":"primitive","name":"U32"},"length":8,"item_felt_size":1},"felt_size":8},{"name":"amount","type":{"kind":"array","item":{"kind":"primitive","name":"U32"},"length":8,"item_felt_size":1},"felt_size":8},{"name":"source_chain_index","type":{"kind":"primitive","name":"Felt"},"felt_size":1},{"name":"deposit_root","type":{"kind":"array","item":{"kind":"primitive","name":"U32"},"length":8,"item_felt_size":1},"felt_size":8},{"name":"note_commitment","type":{"kind":"primitive","name":"Hash"},"felt_size":4},{"name":"deposit_index","type":{"kind":"primitive","name":"Felt"},"felt_size":1},{"name":"r0","type":{"kind":"primitive","name":"Felt"},"felt_size":1},{"name":"r1","type":{"kind":"primitive","name":"Felt"},"felt_size":1},{"name":"proof","type":{"kind":"struct","name":"ShieldClaimProof"},"felt_size":65}],"outputs":[],"input_felt_count":105,"output_felt_count":0},{"name":"private_claim","method_id":635905178,"state_mutability":"external","inputs":[{"name":"nullifier_hash","type":{"kind":"primitive","name":"Hash"},"felt_size":4},{"name":"receiver","type":{"kind":"primitive","name":"Hash"},"felt_size":4},{"name":"amount","type":{"kind":"primitive","name":"Felt"},"felt_size":1},{"name":"user_tree_root","type":{"kind":"primitive","name":"Hash"},"felt_size":4},{"name":"checkpoint_id","type":{"kind":"primitive","name":"Felt"},"felt_size":1},{"name":"note_root_slot","type":{"kind":"primitive","name":"Felt"},"felt_size":1},{"name":"random0","type":{"kind":"primitive","name":"Felt"},"felt_size":1},{"name":"random1","type":{"kind":"primitive","name":"Felt"},"felt_size":1},{"name":"proof","type":{"kind":"struct","name":"PrivateClaimProof"},"felt_size":65}],"outputs":[],"input_felt_count":82,"output_felt_count":0},{"name":"private_transfer","method_id":1325380837,"state_mutability":"external","inputs":[{"name":"receiver","type":{"kind":"primitive","name":"Hash"},"felt_size":4},{"name":"value","type":{"kind":"primitive","name":"Felt"},"felt_size":1},{"name":"note_commitment","type":{"kind":"primitive","name":"Hash"},"felt_size":4}],"outputs":[],"input_felt_count":9,"output_felt_count":0},{"name":"simple_burn","method_id":2923993647,"state_mutability":"external","inputs":[{"name":"amount","type":{"kind":"primitive","name":"Felt"},"felt_size":1}],"outputs":[],"input_felt_count":1,"output_felt_count":0},{"name":"simple_claim","method_id":2293029357,"state_mutability":"external","inputs":[{"name":"sender","type":{"kind":"primitive","name":"Felt"},"felt_size":1}],"outputs":[],"input_felt_count":1,"output_felt_count":0},{"name":"simple_claim_pow_rewards","method_id":421974506,"state_mutability":"external","inputs":[{"name":"checkpoint_id","type":{"kind":"primitive","name":"Felt"},"felt_size":1}],"outputs":[],"input_felt_count":1,"output_felt_count":0},{"name":"simple_transfer","method_id":354447671,"state_mutability":"external","inputs":[{"name":"recipient","type":{"kind":"primitive","name":"Felt"},"felt_size":1},{"name":"amount","type":{"kind":"primitive","name":"Felt"},"felt_size":1}],"outputs":[],"input_felt_count":2,"output_felt_count":0},{"name":"withdraw","method_id":3055054724,"state_mutability":"external","inputs":[{"name":"destination_chain_index","type":{"kind":"primitive","name":"Felt"},"felt_size":1},{"name":"token_address","type":{"kind":"array","item":{"kind":"primitive","name":"U32"},"length":8,"item_felt_size":1},"felt_size":8},{"name":"amount","type":{"kind":"array","item":{"kind":"primitive","name":"U32"},"length":8,"item_felt_size":1},"felt_size":8},{"name":"recipient","type":{"kind":"array","item":{"kind":"primitive","name":"U32"},"length":8,"item_felt_size":1},"felt_size":8},{"name":"nonce","type":{"kind":"array","item":{"kind":"primitive","name":"U32"},"length":8,"item_felt_size":1},"felt_size":8}],"outputs":[],"input_felt_count":33,"output_felt_count":0}]},"types":[{"kind":"struct","name":"ClaimEvent","felt_size":3,"fields":[{"name":"from","type":{"kind":"primitive","name":"Felt"},"offset_within_parent":0,"felt_size":1},{"name":"amount","type":{"kind":"primitive","name":"Felt"},"offset_within_parent":1,"felt_size":1},{"name":"amount_claimed","type":{"kind":"primitive","name":"Felt"},"offset_within_parent":2,"felt_size":1}]},{"kind":"struct","name":"DepositClaimEvent","felt_size":15,"fields":[{"name":"shield_address","type":{"kind":"primitive","name":"Hash"},"offset_within_parent":0,"felt_size":4},{"name":"nullifier_hash","type":{"kind":"primitive","name":"Hash"},"offset_within_parent":4,"felt_size":4},{"name":"amount","type":{"kind":"primitive","name":"Felt"},"offset_within_parent":8,"felt_size":1},{"name":"source_chain_index","type":{"kind":"primitive","name":"Felt"},"offset_within_parent":9,"felt_size":1},{"name":"note_commitment","type":{"kind":"primitive","name":"Hash"},"offset_within_parent":10,"felt_size":4},{"name":"deposit_index","type":{"kind":"primitive","name":"Felt"},"offset_within_parent":14,"felt_size":1}]},{"kind":"struct","name":"DepositLeafAppended","felt_size":26,"fields":[{"name":"chain_index","type":{"kind":"primitive","name":"Felt"},"offset_within_parent":0,"felt_size":1},{"name":"index","type":{"kind":"primitive","name":"Felt"},"offset_within_parent":1,"felt_size":1},{"name":"leaf","type":{"kind":"array","item":{"kind":"primitive","name":"U32"},"length":8,"item_felt_size":1},"offset_within_parent":2,"felt_size":8},{"name":"new_chain_root","type":{"kind":"array","item":{"kind":"primitive","name":"U32"},"length":8,"item_felt_size":1},"offset_within_parent":10,"felt_size":8},{"name":"new_global_root","type":{"kind":"array","item":{"kind":"primitive","name":"U32"},"length":8,"item_felt_size":1},"offset_within_parent":18,"felt_size":8}]},{"kind":"struct","name":"Map","felt_size":0,"fields":[]},{"kind":"struct","name":"MiningRewardMerkleProof","felt_size":190,"fields":[{"name":"root","type":{"kind":"array","item":{"kind":"primitive","name":"Felt"},"length":4,"item_felt_size":1},"offset_within_parent":0,"felt_size":4},{"name":"leaf_left","type":{"kind":"array","item":{"kind":"primitive","name":"Felt"},"length":4,"item_felt_size":1},"offset_within_parent":4,"felt_size":4},{"name":"leaf_right","type":{"kind":"array","item":{"kind":"primitive","name":"Felt"},"length":4,"item_felt_size":1},"offset_within_parent":8,"felt_size":4},{"name":"leaf_tag","type":{"kind":"array","item":{"kind":"primitive","name":"Felt"},"length":4,"item_felt_size":1},"offset_within_parent":12,"felt_size":4},{"name":"index","type":{"kind":"primitive","name":"Felt"},"offset_within_parent":16,"felt_size":1},{"name":"proof_height","type":{"kind":"primitive","name":"Felt"},"offset_within_parent":17,"felt_size":1},{"name":"reward_tree_tag_preimage","type":{"kind":"array","item":{"kind":"primitive","name":"Felt"},"length":4,"item_felt_size":1},"offset_within_parent":18,"felt_size":4},{"name":"siblings","type":{"kind":"array","item":{"kind":"struct","name":"SimpleMerkleProofSiblingLevel"},"length":21,"item_felt_size":8},"offset_within_parent":22,"felt_size":168}]},{"kind":"struct","name":"NamespacedMap","felt_size":0,"fields":[]},{"kind":"struct","name":"OtherUserInfo","felt_size":2,"fields":[{"name":"amount_sent","type":{"kind":"primitive","name":"Felt"},"offset_within_parent":0,"felt_size":1},{"name":"amount_claimed","type":{"kind":"primitive","name":"Felt"},"offset_within_parent":1,"felt_size":1}]},{"kind":"struct","name":"PersistentState","felt_size":3,"fields":[{"name":"claimed_rewards","type":{"kind":"primitive","name":"Felt"},"offset_within_parent":0,"felt_size":1},{"name":"last_claimed_checkpoint_id","type":{"kind":"primitive","name":"Felt"},"offset_within_parent":1,"felt_size":1},{"name":"last_sealed_checkpoint_id","type":{"kind":"primitive","name":"Felt"},"offset_within_parent":2,"felt_size":1}]},{"kind":"struct","name":"PrivateClaimEvent","felt_size":9,"fields":[{"name":"shield_address","type":{"kind":"primitive","name":"Hash"},"offset_within_parent":0,"felt_size":4},{"name":"nullifier_hash","type":{"kind":"primitive","name":"Hash"},"offset_within_parent":4,"felt_size":4},{"name":"amount","type":{"kind":"primitive","name":"Felt"},"offset_within_parent":8,"felt_size":1}]},{"kind":"struct","name":"PrivateClaimProof","felt_size":65,"fields":[{"name":"siblings","type":{"kind":"array","item":{"kind":"primitive","name":"Hash"},"length":16,"item_felt_size":4},"offset_within_parent":0,"felt_size":64},{"name":"index","type":{"kind":"primitive","name":"Felt"},"offset_within_parent":64,"felt_size":1}]},{"kind":"struct","name":"ProofPublicInputsPreimage","felt_size":16,"fields":[{"name":"receiver","type":{"kind":"primitive","name":"Hash"},"offset_within_parent":0,"felt_size":4},{"name":"amount","type":{"kind":"primitive","name":"Felt"},"offset_within_parent":4,"felt_size":1},{"name":"user_tree_root","type":{"kind":"primitive","name":"Hash"},"offset_within_parent":5,"felt_size":4},{"name":"checkpoint_id","type":{"kind":"primitive","name":"Felt"},"offset_within_parent":9,"felt_size":1},{"name":"note_root_slot","type":{"kind":"primitive","name":"Felt"},"offset_within_parent":10,"felt_size":1},{"name":"token_contract_id","type":{"kind":"primitive","name":"Felt"},"offset_within_parent":11,"felt_size":1},{"name":"nullifier_hash","type":{"kind":"primitive","name":"Hash"},"offset_within_parent":12,"felt_size":4}]},{"kind":"struct","name":"PsyDepositTreeContract","felt_size":71948,"fields":[{"name":"root","type":{"kind":"array","item":{"kind":"primitive","name":"U32"},"length":8,"item_felt_size":1},"offset_within_parent":0,"felt_size":8},{"name":"frontiers","type":{"kind":"array","item":{"kind":"array","item":{"kind":"primitive","name":"U32"},"length":8,"item_felt_size":1},"length":8192,"item_felt_size":8},"offset_within_parent":8,"felt_size":65536},{"name":"chain_counts","type":{"kind":"array","item":{"kind":"primitive","name":"Felt"},"length":256,"item_felt_size":1},"offset_within_parent":65544,"felt_size":256},{"name":"global_count","type":{"kind":"primitive","name":"Felt"},"offset_within_parent":65800,"felt_size":1},{"name":"_chain_roots_padding","type":{"kind":"array","item":{"kind":"primitive","name":"Felt"},"length":3,"item_felt_size":1},"offset_within_parent":65801,"felt_size":3},{"name":"chain_roots","type":{"kind":"array","item":{"kind":"array","item":{"kind":"primitive","name":"U32"},"length":8,"item_felt_size":1},"length":256,"item_felt_size":8},"offset_within_parent":65804,"felt_size":2048},{"name":"agg_tree","type":{"kind":"array","item":{"kind":"array","item":{"kind":"primitive","name":"U32"},"length":8,"item_felt_size":1},"length":512,"item_felt_size":8},"offset_within_parent":67852,"felt_size":4096},{"name":"known_roots","type":{"kind":"map","map_kind":"map","key":{"kind":"primitive","name":"Hash"},"value":{"kind":"primitive","name":"Hash"},"capacity":1048576,"value_felt_size":4,"alignment_felts":4},"offset_within_parent":71948,"felt_size":0}]},{"kind":"struct","name":"PsyPOWMiningRewardsClaimContract","felt_size":18874371,"fields":[{"name":"persistent_state","type":{"kind":"struct","name":"PersistentState"},"offset_within_parent":0,"felt_size":3},{"name":"claimed_guta_nullifiers","type":{"kind":"array","item":{"kind":"primitive","name":"Felt"},"length":16777216,"item_felt_size":1},"offset_within_parent":3,"felt_size":16777216},{"name":"claimed_contract_deployment_nullifiers","type":{"kind":"array","item":{"kind":"primitive","name":"Felt"},"length":1048576,"item_felt_size":1},"offset_within_parent":16777219,"felt_size":1048576},{"name":"claimed_user_registration_nullifiers","type":{"kind":"array","item":{"kind":"primitive","name":"Felt"},"length":1048576,"item_felt_size":1},"offset_within_parent":17825795,"felt_size":1048576}]},{"kind":"struct","name":"ShieldClaimProof","felt_size":65,"fields":[{"name":"siblings","type":{"kind":"array","item":{"kind":"primitive","name":"Hash"},"length":16,"item_felt_size":4},"offset_within_parent":0,"felt_size":64},{"name":"index","type":{"kind":"primitive","name":"Felt"},"offset_within_parent":64,"felt_size":1}]},{"kind":"struct","name":"ShieldClaimPublicInputsPreimage","felt_size":42,"fields":[{"name":"shield_address","type":{"kind":"primitive","name":"Hash"},"offset_within_parent":0,"felt_size":4},{"name":"amount","type":{"kind":"array","item":{"kind":"primitive","name":"U32"},"length":8,"item_felt_size":1},"offset_within_parent":4,"felt_size":8},{"name":"token_address","type":{"kind":"array","item":{"kind":"primitive","name":"U32"},"length":8,"item_felt_size":1},"offset_within_parent":12,"felt_size":8},{"name":"l2_token_contract_id","type":{"kind":"array","item":{"kind":"primitive","name":"U32"},"length":8,"item_felt_size":1},"offset_within_parent":20,"felt_size":8},{"name":"source_chain_index","type":{"kind":"primitive","name":"Felt"},"offset_within_parent":28,"felt_size":1},{"name":"deposit_root","type":{"kind":"primitive","name":"Hash"},"offset_within_parent":29,"felt_size":4},{"name":"nullifier_hash","type":{"kind":"primitive","name":"Hash"},"offset_within_parent":33,"felt_size":4},{"name":"note_commitment","type":{"kind":"primitive","name":"Hash"},"offset_within_parent":37,"felt_size":4},{"name":"deposit_index","type":{"kind":"primitive","name":"Felt"},"offset_within_parent":41,"felt_size":1}]},{"kind":"struct","name":"SimpleMerkleProofSiblingLevel","felt_size":8,"fields":[{"name":"sibling","type":{"kind":"array","item":{"kind":"primitive","name":"Felt"},"length":4,"item_felt_size":1},"offset_within_parent":0,"felt_size":4},{"name":"parent_tag","type":{"kind":"array","item":{"kind":"primitive","name":"Felt"},"length":4,"item_felt_size":1},"offset_within_parent":4,"felt_size":4}]},{"kind":"struct","name":"TransferEvent","felt_size":2,"fields":[{"name":"to","type":{"kind":"primitive","name":"Felt"},"offset_within_parent":0,"felt_size":1},{"name":"amount","type":{"kind":"primitive","name":"Felt"},"offset_within_parent":1,"felt_size":1}]},{"kind":"struct","name":"UserInfoEvent","felt_size":1,"fields":[{"name":"balance","type":{"kind":"primitive","name":"Felt"},"offset_within_parent":0,"felt_size":1}]},{"kind":"struct","name":"WithdrawalEvent","felt_size":34,"fields":[{"name":"sender_user_id","type":{"kind":"primitive","name":"Felt"},"offset_within_parent":0,"felt_size":1},{"name":"destination_chain_index","type":{"kind":"primitive","name":"Felt"},"offset_within_parent":1,"felt_size":1},{"name":"token_address","type":{"kind":"array","item":{"kind":"primitive","name":"U32"},"length":8,"item_felt_size":1},"offset_within_parent":2,"felt_size":8},{"name":"amount","type":{"kind":"array","item":{"kind":"primitive","name":"U32"},"length":8,"item_felt_size":1},"offset_within_parent":10,"felt_size":8},{"name":"recipient","type":{"kind":"array","item":{"kind":"primitive","name":"U32"},"length":8,"item_felt_size":1},"offset_within_parent":18,"felt_size":8},{"name":"nonce","type":{"kind":"array","item":{"kind":"primitive","name":"U32"},"length":8,"item_felt_size":1},"offset_within_parent":26,"felt_size":8}]}]}}