[{"prim":"parameter","args":[{"prim":"or","args":[{"prim":"or","args":[{"prim":"or","args":[{"prim":"or","args":[{"prim":"or","args":[{"prim":"pair","annots":["%balance_of"],"args":[{"prim":"list","annots":["%requests"],"args":[{"prim":"pair","args":[{"prim":"address","annots":["%owner"]},{"prim":"nat","annots":["%token_id"]}]}]},{"prim":"contract","annots":["%callback"],"args":[{"prim":"list","args":[{"prim":"pair","args":[{"prim":"pair","annots":["%request"],"args":[{"prim":"address","annots":["%owner"]},{"prim":"nat","annots":["%token_id"]}]},{"prim":"nat","annots":["%balance"]}]}]}]}]},{"prim":"pair","annots":["%set_contract"],"args":[{"prim":"address","annots":["%contract_address"]},{"prim":"string","annots":["%contract_type"]}]}]},{"prim":"or","args":[{"prim":"pair","annots":["%set_metadata"],"args":[{"prim":"string","annots":["%k"]},{"prim":"bytes","annots":["%d"]}]},{"prim":"map","annots":["%set_token_metadata"],"args":[{"prim":"string"},{"prim":"bytes"}]}]}]},{"prim":"or","args":[{"prim":"or","args":[{"prim":"address","annots":["%set_permits"]},{"prim":"nat","annots":["%set_asset_protection_role"]}]},{"prim":"or","args":[{"prim":"address","annots":["%declare_ownership"]},{"prim":"unit","annots":["%claim_ownership"]}]}]}]},{"prim":"or","args":[{"prim":"or","args":[{"prim":"or","args":[{"prim":"pair","annots":["%exec"],"args":[{"prim":"int","annots":["%ep_entrypoint"]},{"prim":"bytes","annots":["%ep_params"]}]},{"prim":"pair","annots":["%apply_storage"],"args":[{"prim":"address","annots":["%owner"]},{"prim":"address","annots":["%permits"]},{"prim":"address","annots":["%rbac"]},{"prim":"big_map","annots":["%token_metadata"],"args":[{"prim":"nat"},{"prim":"pair","args":[{"prim":"nat"},{"prim":"map","args":[{"prim":"string"},{"prim":"bytes"}]}]}]},{"prim":"big_map","annots":["%ledger"],"args":[{"prim":"pair","args":[{"prim":"address"},{"prim":"nat"}]},{"prim":"nat"}]},{"prim":"big_map","annots":["%operator"],"args":[{"prim":"pair","args":[{"prim":"address"},{"prim":"nat"},{"prim":"address"}]},{"prim":"unit"}]},{"prim":"big_map","annots":["%operator_for_all"],"args":[{"prim":"pair","args":[{"prim":"address"},{"prim":"address"}]},{"prim":"unit"}]},{"prim":"bool","annots":["%paused"]},{"prim":"option","annots":["%owner_candidate"],"args":[{"prim":"address"}]},{"prim":"nat","annots":["%assetProtectionRole"]},{"prim":"big_map","annots":["%contract_data"],"args":[{"prim":"string"},{"prim":"bytes"}]},{"prim":"big_map","annots":["%frozen_accounts"],"args":[{"prim":"address"},{"prim":"nat"}]}]}]},{"prim":"or","args":[{"prim":"pair","annots":["%update_metadata"],"args":[{"prim":"string","annots":["%k"]},{"prim":"bytes","annots":["%d"]}]},{"prim":"pair","annots":["%update_token_metadata"],"args":[{"prim":"nat","annots":["%k"]},{"prim":"option","annots":["%v"],"args":[{"prim":"pair","args":[{"prim":"nat"},{"prim":"map","args":[{"prim":"string"},{"prim":"bytes"}]}]}]}]}]}]},{"prim":"or","args":[{"prim":"or","args":[{"prim":"list","annots":["%update_ledger"],"args":[{"prim":"pair","args":[{"prim":"pair","annots":["%ulp_k"],"args":[{"prim":"address"},{"prim":"nat"}]},{"prim":"int","annots":["%ulp_diff"]}]}]},{"prim":"list","annots":["%update_operator"],"args":[{"prim":"pair","args":[{"prim":"pair","annots":["%uop_k"],"args":[{"prim":"address"},{"prim":"nat"},{"prim":"address"}]},{"prim":"option","annots":["%uop_diff"],"args":[{"prim":"unit"}]}]}]}]},{"prim":"or","args":[{"prim":"list","annots":["%update_operators"],"args":[{"prim":"or","args":[{"prim":"pair","annots":["%add_operator"],"args":[{"prim":"address","annots":["%owner"]},{"prim":"pair","args":[{"prim":"address","annots":["%operator"]},{"prim":"nat","annots":["%token_id"]}]}]},{"prim":"pair","annots":["%remove_operator"],"args":[{"prim":"address","annots":["%owner"]},{"prim":"pair","args":[{"prim":"address","annots":["%operator"]},{"prim":"nat","annots":["%token_id"]}]}]}]}]},{"prim":"list","annots":["%transfer"],"args":[{"prim":"pair","args":[{"prim":"address","annots":["%from_"]},{"prim":"list","annots":["%txs"],"args":[{"prim":"pair","args":[{"prim":"address","annots":["%to_"]},{"prim":"pair","args":[{"prim":"nat","annots":["%token_id"]},{"prim":"nat","annots":["%amount"]}]}]}]}]}]}]}]}]}]},{"prim":"or","args":[{"prim":"or","args":[{"prim":"or","args":[{"prim":"list","annots":["%transfer_gasless"],"args":[{"prim":"pair","args":[{"prim":"list","annots":["%transfer_params"],"args":[{"prim":"pair","args":[{"prim":"address","annots":["%from_"]},{"prim":"list","annots":["%txs"],"args":[{"prim":"pair","args":[{"prim":"address","annots":["%to_"]},{"prim":"pair","args":[{"prim":"nat","annots":["%token_id"]},{"prim":"nat","annots":["%amount"]}]}]}]}]}]},{"prim":"key","annots":["%user_pk"]},{"prim":"signature","annots":["%user_sig"]}]}]},{"prim":"pair","annots":["%mint"],"args":[{"prim":"address","annots":["%tow"]},{"prim":"nat","annots":["%nbt"]}]}]},{"prim":"or","args":[{"prim":"pair","annots":["%burn"],"args":[{"prim":"address","annots":["%tow"]},{"prim":"nat","annots":["%nbt"]}]},{"prim":"unit","annots":["%pause"]}]}]},{"prim":"or","args":[{"prim":"or","args":[{"prim":"unit","annots":["%unpause"]},{"prim":"address","annots":["%freeze"]}]},{"prim":"address","annots":["%unfreeze"]}]}]}]}]},{"prim":"storage","args":[{"prim":"pair","args":[{"prim":"address","annots":["%owner"]},{"prim":"address","annots":["%implementation"]},{"prim":"address","annots":["%permits"]},{"prim":"address","annots":["%rbac"]},{"prim":"string","annots":["%backed_by_currency"]},{"prim":"big_map","annots":["%token_metadata"],"args":[{"prim":"nat"},{"prim":"pair","args":[{"prim":"nat"},{"prim":"map","args":[{"prim":"string"},{"prim":"bytes"}]}]}]},{"prim":"big_map","annots":["%ledger"],"args":[{"prim":"pair","args":[{"prim":"address"},{"prim":"nat"}]},{"prim":"nat"}]},{"prim":"big_map","annots":["%operator"],"args":[{"prim":"pair","args":[{"prim":"address"},{"prim":"nat"},{"prim":"address"}]},{"prim":"unit"}]},{"prim":"big_map","annots":["%operator_for_all"],"args":[{"prim":"pair","args":[{"prim":"address"},{"prim":"address"}]},{"prim":"unit"}]},{"prim":"bool","annots":["%paused"]},{"prim":"option","annots":["%owner_candidate"],"args":[{"prim":"address"}]},{"prim":"nat","annots":["%assetProtectionRole"]},{"prim":"big_map","annots":["%contract_data"],"args":[{"prim":"string"},{"prim":"bytes"}]},{"prim":"big_map","annots":["%frozen_accounts"],"args":[{"prim":"address"},{"prim":"nat"}]},{"prim":"big_map","annots":["%metadata"],"args":[{"prim":"string"},{"prim":"bytes"}]}]}]},{"prim":"view","args":[{"string":"get_token_metadata"},{"prim":"nat"},{"prim":"option","args":[{"prim":"pair","args":[{"prim":"nat"},{"prim":"map","args":[{"prim":"string"},{"prim":"bytes"}]}]}]},[{"prim":"UNPAIR"},{"prim":"DIP","args":[{"int":"1"},[{"prim":"CDR"},{"prim":"CDR"},{"prim":"CDR"},{"prim":"CDR"},{"prim":"CDR"},{"prim":"UNPAIR"},{"prim":"SWAP"},{"prim":"DROP","args":[{"int":"1"}]}]]},{"prim":"UNIT"},{"prim":"DUP","args":[{"int":"3"}]},{"prim":"DUP","args":[{"int":"3"}]},{"prim":"GET"},{"prim":"SWAP"},{"prim":"DROP","args":[{"int":"1"}]},{"prim":"DIP","args":[{"int":"1"},[{"prim":"DROP","args":[{"int":"2"}]}]]}]]},{"prim":"view","args":[{"string":"get_ledger"},{"prim":"pair","args":[{"prim":"address"},{"prim":"nat"}]},{"prim":"nat"},[{"prim":"UNPAIR"},{"prim":"DIP","args":[{"int":"1"},[{"prim":"CDR"},{"prim":"CDR"},{"prim":"CDR"},{"prim":"CDR"},{"prim":"CDR"},{"prim":"CDR"},{"prim":"UNPAIR"},{"prim":"SWAP"},{"prim":"DROP","args":[{"int":"1"}]}]]},{"prim":"UNIT"},{"prim":"DUP","args":[{"int":"3"}]},{"prim":"DUP","args":[{"int":"3"}]},{"prim":"GET"},{"prim":"IF_NONE","args":[[{"prim":"PUSH","args":[{"prim":"nat"},{"int":"0"}]}],[]]},{"prim":"SWAP"},{"prim":"DROP","args":[{"int":"1"}]},{"prim":"DIP","args":[{"int":"1"},[{"prim":"DROP","args":[{"int":"2"}]}]]}]]},{"prim":"code","args":[[{"prim":"LAMBDA","args":[{"prim":"pair","args":[{"prim":"big_map","args":[{"prim":"address"},{"prim":"nat"}]},{"prim":"big_map","args":[{"prim":"string"},{"prim":"bytes"}]},{"prim":"nat"},{"prim":"option","args":[{"prim":"address"}]},{"prim":"bool"},{"prim":"big_map","args":[{"prim":"pair","args":[{"prim":"address"},{"prim":"address"}]},{"prim":"unit"}]},{"prim":"big_map","args":[{"prim":"pair","args":[{"prim":"address"},{"prim":"nat"},{"prim":"address"}]},{"prim":"unit"}]},{"prim":"big_map","args":[{"prim":"pair","args":[{"prim":"address"},{"prim":"nat"}]},{"prim":"nat"}]},{"prim":"big_map","args":[{"prim":"nat"},{"prim":"pair","args":[{"prim":"nat"},{"prim":"map","args":[{"prim":"string"},{"prim":"bytes"}]}]}]},{"prim":"address"},{"prim":"address"},{"prim":"address"},{"prim":"pair","args":[{"prim":"int","annots":["%ep_entrypoint"]},{"prim":"bytes","annots":["%ep_params"]}]}]},{"prim":"pair","args":[{"prim":"int","annots":["%pe_entrypoint"]},{"prim":"address","annots":["%pe_sender"]},{"prim":"bytes","annots":["%pe_params"]},{"prim":"pair","annots":["%pe_storage"],"args":[{"prim":"address","annots":["%owner"]},{"prim":"address","annots":["%permits"]},{"prim":"address","annots":["%rbac"]},{"prim":"big_map","annots":["%token_metadata"],"args":[{"prim":"nat"},{"prim":"pair","args":[{"prim":"nat"},{"prim":"map","args":[{"prim":"string"},{"prim":"bytes"}]}]}]},{"prim":"big_map","annots":["%ledger"],"args":[{"prim":"pair","args":[{"prim":"address"},{"prim":"nat"}]},{"prim":"nat"}]},{"prim":"big_map","annots":["%operator"],"args":[{"prim":"pair","args":[{"prim":"address"},{"prim":"nat"},{"prim":"address"}]},{"prim":"unit"}]},{"prim":"big_map","annots":["%operator_for_all"],"args":[{"prim":"pair","args":[{"prim":"address"},{"prim":"address"}]},{"prim":"unit"}]},{"prim":"bool","annots":["%paused"]},{"prim":"option","annots":["%owner_candidate"],"args":[{"prim":"address"}]},{"prim":"nat","annots":["%assetProtectionRole"]},{"prim":"big_map","annots":["%contract_data"],"args":[{"prim":"string"},{"prim":"bytes"}]},{"prim":"big_map","annots":["%frozen_accounts"],"args":[{"prim":"address"},{"prim":"nat"}]}]}]},[{"prim":"UNPAIR","args":[{"int":"13"}]},{"prim":"PUSH","args":[{"prim":"unit"},{"prim":"Unit"}]},{"prim":"DUP","args":[{"int":"2"}]},{"prim":"DUP","args":[{"int":"4"}]},{"prim":"PAIR"},{"prim":"DUP","args":[{"int":"5"}]},{"prim":"PAIR"},{"prim":"DUP","args":[{"int":"6"}]},{"prim":"PAIR"},{"prim":"DUP","args":[{"int":"7"}]},{"prim":"PAIR"},{"prim":"DUP","args":[{"int":"8"}]},{"prim":"PAIR"},{"prim":"DUP","args":[{"int":"9"}]},{"prim":"PAIR"},{"prim":"DUP","args":[{"int":"10"}]},{"prim":"PAIR"},{"prim":"DUP","args":[{"int":"11"}]},{"prim":"PAIR"},{"prim":"DUP","args":[{"int":"12"}]},{"prim":"PAIR"},{"prim":"DUP","args":[{"int":"13"}]},{"prim":"PAIR"},{"prim":"DUP","args":[{"int":"14"}]},{"prim":"PAIR"},{"prim":"DUP","args":[{"int":"15"}]},{"prim":"GET","args":[{"int":"2"}]},{"prim":"PAIR"},{"prim":"SENDER"},{"prim":"PAIR"},{"prim":"DUP","args":[{"int":"15"}]},{"prim":"GET","args":[{"int":"1"}]},{"prim":"PAIR"},{"prim":"SWAP"},{"prim":"DROP","args":[{"int":"1"}]},{"prim":"DUG","args":[{"int":"13"}]},{"prim":"DROP","args":[{"int":"13"}]}]]},{"prim":"NIL","args":[{"prim":"operation"}]},{"prim":"DIG","args":[{"int":"2"}]},{"prim":"UNPAIR"},{"prim":"DIP","args":[{"int":"1"},[{"prim":"UNPAIR","args":[{"int":"15"}]}]]},{"prim":"IF_LEFT","args":[[{"prim":"IF_LEFT","args":[[{"prim":"IF_LEFT","args":[[{"prim":"IF_LEFT","args":[[{"prim":"IF_LEFT","args":[[{"prim":"UNPAIR"},{"prim":"NIL","args":[{"prim":"operation"}]},{"prim":"NIL","args":[{"prim":"operation"}]},{"prim":"DUP","args":[{"int":"20"}]},{"prim":"ITER","args":[[{"prim":"CONS"}]]},{"prim":"DUP","args":[{"int":"4"}]},{"prim":"AMOUNT"},{"prim":"DUP","args":[{"int":"5"}]},{"prim":"MAP","args":[[{"prim":"DUP","args":[{"int":"13"}]},{"prim":"DUP","args":[{"int":"2"}]},{"prim":"GET","args":[{"int":"2"}]},{"prim":"MEM"},{"prim":"NOT"},{"prim":"IF","args":[[{"prim":"PUSH","args":[{"prim":"nat"},{"int":"0"}]}],[{"prim":"DUP","args":[{"int":"14"}]},{"prim":"DUP","args":[{"int":"2"}]},{"prim":"GET","args":[{"int":"2"}]},{"prim":"DUP","args":[{"int":"3"}]},{"prim":"GET","args":[{"int":"1"}]},{"prim":"PAIR"},{"prim":"GET"},{"prim":"IF_NONE","args":[[{"prim":"PUSH","args":[{"prim":"nat"},{"int":"0"}]}],[]]}]]},{"prim":"DUP"},{"prim":"DUP","args":[{"int":"3"}]},{"prim":"PAIR"},{"prim":"SWAP"},{"prim":"DROP","args":[{"int":"1"}]},{"prim":"SWAP"},{"prim":"DROP","args":[{"int":"1"}]}]]},{"prim":"TRANSFER_TOKENS"},{"prim":"CONS"},{"prim":"ITER","args":[[{"prim":"CONS"}]]},{"prim":"DIP","args":[{"int":"1"},[{"prim":"DIG","args":[{"int":"17"}]},{"prim":"DROP","args":[{"int":"1"}]}]]},{"prim":"DUG","args":[{"int":"17"}]},{"prim":"DROP","args":[{"int":"2"}]},{"prim":"PAIR","args":[{"int":"15"}]},{"prim":"SWAP"},{"prim":"PAIR"}],[{"prim":"UNPAIR"},{"prim":"SWAP"},{"prim":"DUP","args":[{"int":"3"}]},{"prim":"SENDER"},{"prim":"COMPARE"},{"prim":"EQ"},{"prim":"NOT"},{"prim":"IF","args":[[{"prim":"PUSH","args":[{"prim":"string"},{"string":"INVALID_CALLER"}]},{"prim":"FAILWITH"}],[]]},{"prim":"PUSH","args":[{"prim":"mutez"},{"int":"0"}]},{"prim":"AMOUNT"},{"prim":"COMPARE"},{"prim":"EQ"},{"prim":"NOT"},{"prim":"IF","args":[[{"prim":"PUSH","args":[{"prim":"string"},{"string":"NO_FUND_EXPECTED"}]},{"prim":"FAILWITH"}],[]]},{"prim":"PUSH","args":[{"prim":"string"},{"string":"rbac"}]},{"prim":"DUP","args":[{"int":"2"}]},{"prim":"COMPARE"},{"prim":"EQ"},{"prim":"IF","args":[[{"prim":"DUP","args":[{"int":"2"}]},{"prim":"DIP","args":[{"int":"1"},[{"prim":"DIG","args":[{"int":"5"}]},{"prim":"DROP","args":[{"int":"1"}]}]]},{"prim":"DUG","args":[{"int":"5"}]}],[]]},{"prim":"PUSH","args":[{"prim":"string"},{"string":"implementation"}]},{"prim":"DUP","args":[{"int":"2"}]},{"prim":"COMPARE"},{"prim":"EQ"},{"prim":"IF","args":[[{"prim":"DUP","args":[{"int":"2"}]},{"prim":"DIP","args":[{"int":"1"},[{"prim":"DIG","args":[{"int":"3"}]},{"prim":"DROP","args":[{"int":"1"}]}]]},{"prim":"DUG","args":[{"int":"3"}]}],[]]},{"prim":"DROP","args":[{"int":"2"}]},{"prim":"PAIR","args":[{"int":"15"}]},{"prim":"SWAP"},{"prim":"PAIR"}]]}],[{"prim":"IF_LEFT","args":[[{"prim":"UNPAIR"},{"prim":"SWAP"},{"prim":"PUSH","args":[{"prim":"mutez"},{"int":"0"}]},{"prim":"AMOUNT"},{"prim":"COMPARE"},{"prim":"EQ"},{"prim":"NOT"},{"prim":"IF","args":[[{"prim":"PUSH","args":[{"prim":"string"},{"string":"NO_FUND_EXPECTED"}]},{"prim":"FAILWITH"}],[]]},{"prim":"DUP","args":[{"int":"19"}]},{"prim":"DUP","args":[{"int":"2"}]},{"prim":"DUP","args":[{"int":"4"}]},{"prim":"PAIR"},{"prim":"PACK"},{"prim":"PUSH","args":[{"prim":"int"},{"int":"10"}]},{"prim":"PAIR"},{"prim":"DUP","args":[{"int":"5"}]},{"prim":"PAIR"},{"prim":"DUP","args":[{"int":"7"}]},{"prim":"PAIR"},{"prim":"DUP","args":[{"int":"8"}]},{"prim":"PAIR"},{"prim":"DUP","args":[{"int":"10"}]},{"prim":"PAIR"},{"prim":"DUP","args":[{"int":"11"}]},{"prim":"PAIR"},{"prim":"DUP","args":[{"int":"12"}]},{"prim":"PAIR"},{"prim":"DUP","args":[{"int":"13"}]},{"prim":"PAIR"},{"prim":"DUP","args":[{"int":"14"}]},{"prim":"PAIR"},{"prim":"DUP","args":[{"int":"15"}]},{"prim":"PAIR"},{"prim":"DUP","args":[{"int":"16"}]},{"prim":"PAIR"},{"prim":"DUP","args":[{"int":"17"}]},{"prim":"PAIR"},{"prim":"DUP","args":[{"int":"18"}]},{"prim":"PAIR"},{"prim":"EXEC"},{"prim":"NIL","args":[{"prim":"operation"}]},{"prim":"NIL","args":[{"prim":"operation"}]},{"prim":"DUP","args":[{"int":"21"}]},{"prim":"ITER","args":[[{"prim":"CONS"}]]},{"prim":"DUP","args":[{"int":"7"}]},{"prim":"CONTRACT","args":[{"prim":"pair","args":[{"prim":"int"},{"prim":"address"},{"prim":"bytes"},{"prim":"pair","args":[{"prim":"address"},{"prim":"address"},{"prim":"address"},{"prim":"big_map","args":[{"prim":"nat"},{"prim":"pair","args":[{"prim":"nat"},{"prim":"map","args":[{"prim":"string"},{"prim":"bytes"}]}]}]},{"prim":"big_map","args":[{"prim":"pair","args":[{"prim":"address"},{"prim":"nat"}]},{"prim":"nat"}]},{"prim":"big_map","args":[{"prim":"pair","args":[{"prim":"address"},{"prim":"nat"},{"prim":"address"}]},{"prim":"unit"}]},{"prim":"big_map","args":[{"prim":"pair","args":[{"prim":"address"},{"prim":"address"}]},{"prim":"unit"}]},{"prim":"bool"},{"prim":"option","args":[{"prim":"address"}]},{"prim":"nat"},{"prim":"big_map","args":[{"prim":"string"},{"prim":"bytes"}]},{"prim":"big_map","args":[{"prim":"address"},{"prim":"nat"}]}]}]}]},{"prim":"IF_NONE","args":[[{"prim":"PUSH","args":[{"prim":"string"},{"string":"default"}]},{"prim":"PUSH","args":[{"prim":"string"},{"string":"ENTRY_NOT_FOUND"}]},{"prim":"PAIR"},{"prim":"FAILWITH"}],[]]},{"prim":"PUSH","args":[{"prim":"mutez"},{"int":"0"}]},{"prim":"DUP","args":[{"int":"5"}]},{"prim":"TRANSFER_TOKENS"},{"prim":"CONS"},{"prim":"ITER","args":[[{"prim":"CONS"}]]},{"prim":"DIP","args":[{"int":"1"},[{"prim":"DIG","args":[{"int":"18"}]},{"prim":"DROP","args":[{"int":"1"}]}]]},{"prim":"DUG","args":[{"int":"18"}]},{"prim":"DROP","args":[{"int":"3"}]},{"prim":"PAIR","args":[{"int":"15"}]},{"prim":"SWAP"},{"prim":"PAIR"}],[{"prim":"PUSH","args":[{"prim":"mutez"},{"int":"0"}]},{"prim":"AMOUNT"},{"prim":"COMPARE"},{"prim":"EQ"},{"prim":"NOT"},{"prim":"IF","args":[[{"prim":"PUSH","args":[{"prim":"string"},{"string":"NO_FUND_EXPECTED"}]},{"prim":"FAILWITH"}],[]]},{"prim":"DUP","args":[{"int":"18"}]},{"prim":"DUP","args":[{"int":"2"}]},{"prim":"PUSH","args":[{"prim":"nat"},{"int":"0"}]},{"prim":"PAIR"},{"prim":"PUSH","args":[{"prim":"nat"},{"int":"0"}]},{"prim":"PAIR"},{"prim":"PACK"},{"prim":"PUSH","args":[{"prim":"int"},{"int":"12"}]},{"prim":"PAIR"},{"prim":"DUP","args":[{"int":"4"}]},{"prim":"PAIR"},{"prim":"DUP","args":[{"int":"6"}]},{"prim":"PAIR"},{"prim":"DUP","args":[{"int":"7"}]},{"prim":"PAIR"},{"prim":"DUP","args":[{"int":"9"}]},{"prim":"PAIR"},{"prim":"DUP","args":[{"int":"10"}]},{"prim":"PAIR"},{"prim":"DUP","args":[{"int":"11"}]},{"prim":"PAIR"},{"prim":"DUP","args":[{"int":"12"}]},{"prim":"PAIR"},{"prim":"DUP","args":[{"int":"13"}]},{"prim":"PAIR"},{"prim":"DUP","args":[{"int":"14"}]},{"prim":"PAIR"},{"prim":"DUP","args":[{"int":"15"}]},{"prim":"PAIR"},{"prim":"DUP","args":[{"int":"16"}]},{"prim":"PAIR"},{"prim":"DUP","args":[{"int":"17"}]},{"prim":"PAIR"},{"prim":"EXEC"},{"prim":"NIL","args":[{"prim":"operation"}]},{"prim":"NIL","args":[{"prim":"operation"}]},{"prim":"DUP","args":[{"int":"20"}]},{"prim":"ITER","args":[[{"prim":"CONS"}]]},{"prim":"DUP","args":[{"int":"6"}]},{"prim":"CONTRACT","args":[{"prim":"pair","args":[{"prim":"int"},{"prim":"address"},{"prim":"bytes"},{"prim":"pair","args":[{"prim":"address"},{"prim":"address"},{"prim":"address"},{"prim":"big_map","args":[{"prim":"nat"},{"prim":"pair","args":[{"prim":"nat"},{"prim":"map","args":[{"prim":"string"},{"prim":"bytes"}]}]}]},{"prim":"big_map","args":[{"prim":"pair","args":[{"prim":"address"},{"prim":"nat"}]},{"prim":"nat"}]},{"prim":"big_map","args":[{"prim":"pair","args":[{"prim":"address"},{"prim":"nat"},{"prim":"address"}]},{"prim":"unit"}]},{"prim":"big_map","args":[{"prim":"pair","args":[{"prim":"address"},{"prim":"address"}]},{"prim":"unit"}]},{"prim":"bool"},{"prim":"option","args":[{"prim":"address"}]},{"prim":"nat"},{"prim":"big_map","args":[{"prim":"string"},{"prim":"bytes"}]},{"prim":"big_map","args":[{"prim":"address"},{"prim":"nat"}]}]}]}]},{"prim":"IF_NONE","args":[[{"prim":"PUSH","args":[{"prim":"string"},{"string":"default"}]},{"prim":"PUSH","args":[{"prim":"string"},{"string":"ENTRY_NOT_FOUND"}]},{"prim":"PAIR"},{"prim":"FAILWITH"}],[]]},{"prim":"PUSH","args":[{"prim":"mutez"},{"int":"0"}]},{"prim":"DUP","args":[{"int":"5"}]},{"prim":"TRANSFER_TOKENS"},{"prim":"CONS"},{"prim":"ITER","args":[[{"prim":"CONS"}]]},{"prim":"DIP","args":[{"int":"1"},[{"prim":"DIG","args":[{"int":"17"}]},{"prim":"DROP","args":[{"int":"1"}]}]]},{"prim":"DUG","args":[{"int":"17"}]},{"prim":"DROP","args":[{"int":"2"}]},{"prim":"PAIR","args":[{"int":"15"}]},{"prim":"SWAP"},{"prim":"PAIR"}]]}]]}],[{"prim":"IF_LEFT","args":[[{"prim":"IF_LEFT","args":[[{"prim":"PUSH","args":[{"prim":"mutez"},{"int":"0"}]},{"prim":"AMOUNT"},{"prim":"COMPARE"},{"prim":"EQ"},{"prim":"NOT"},{"prim":"IF","args":[[{"prim":"PUSH","args":[{"prim":"string"},{"string":"NO_FUND_EXPECTED"}]},{"prim":"FAILWITH"}],[]]},{"prim":"DUP","args":[{"int":"18"}]},{"prim":"DUP","args":[{"int":"2"}]},{"prim":"PACK"},{"prim":"PUSH","args":[{"prim":"int"},{"int":"7"}]},{"prim":"PAIR"},{"prim":"DUP","args":[{"int":"4"}]},{"prim":"PAIR"},{"prim":"DUP","args":[{"int":"6"}]},{"prim":"PAIR"},{"prim":"DUP","args":[{"int":"7"}]},{"prim":"PAIR"},{"prim":"DUP","args":[{"int":"9"}]},{"prim":"PAIR"},{"prim":"DUP","args":[{"int":"10"}]},{"prim":"PAIR"},{"prim":"DUP","args":[{"int":"11"}]},{"prim":"PAIR"},{"prim":"DUP","args":[{"int":"12"}]},{"prim":"PAIR"},{"prim":"DUP","args":[{"int":"13"}]},{"prim":"PAIR"},{"prim":"DUP","args":[{"int":"14"}]},{"prim":"PAIR"},{"prim":"DUP","args":[{"int":"15"}]},{"prim":"PAIR"},{"prim":"DUP","args":[{"int":"16"}]},{"prim":"PAIR"},{"prim":"DUP","args":[{"int":"17"}]},{"prim":"PAIR"},{"prim":"EXEC"},{"prim":"NIL","args":[{"prim":"operation"}]},{"prim":"NIL","args":[{"prim":"operation"}]},{"prim":"DUP","args":[{"int":"20"}]},{"prim":"ITER","args":[[{"prim":"CONS"}]]},{"prim":"DUP","args":[{"int":"6"}]},{"prim":"CONTRACT","args":[{"prim":"pair","args":[{"prim":"int"},{"prim":"address"},{"prim":"bytes"},{"prim":"pair","args":[{"prim":"address"},{"prim":"address"},{"prim":"address"},{"prim":"big_map","args":[{"prim":"nat"},{"prim":"pair","args":[{"prim":"nat"},{"prim":"map","args":[{"prim":"string"},{"prim":"bytes"}]}]}]},{"prim":"big_map","args":[{"prim":"pair","args":[{"prim":"address"},{"prim":"nat"}]},{"prim":"nat"}]},{"prim":"big_map","args":[{"prim":"pair","args":[{"prim":"address"},{"prim":"nat"},{"prim":"address"}]},{"prim":"unit"}]},{"prim":"big_map","args":[{"prim":"pair","args":[{"prim":"address"},{"prim":"address"}]},{"prim":"unit"}]},{"prim":"bool"},{"prim":"option","args":[{"prim":"address"}]},{"prim":"nat"},{"prim":"big_map","args":[{"prim":"string"},{"prim":"bytes"}]},{"prim":"big_map","args":[{"prim":"address"},{"prim":"nat"}]}]}]}]},{"prim":"IF_NONE","args":[[{"prim":"PUSH","args":[{"prim":"string"},{"string":"default"}]},{"prim":"PUSH","args":[{"prim":"string"},{"string":"ENTRY_NOT_FOUND"}]},{"prim":"PAIR"},{"prim":"FAILWITH"}],[]]},{"prim":"PUSH","args":[{"prim":"mutez"},{"int":"0"}]},{"prim":"DUP","args":[{"int":"5"}]},{"prim":"TRANSFER_TOKENS"},{"prim":"CONS"},{"prim":"ITER","args":[[{"prim":"CONS"}]]},{"prim":"DIP","args":[{"int":"1"},[{"prim":"DIG","args":[{"int":"17"}]},{"prim":"DROP","args":[{"int":"1"}]}]]},{"prim":"DUG","args":[{"int":"17"}]},{"prim":"DROP","args":[{"int":"2"}]},{"prim":"PAIR","args":[{"int":"15"}]},{"prim":"SWAP"},{"prim":"PAIR"}],[{"prim":"PUSH","args":[{"prim":"mutez"},{"int":"0"}]},{"prim":"AMOUNT"},{"prim":"COMPARE"},{"prim":"EQ"},{"prim":"NOT"},{"prim":"IF","args":[[{"prim":"PUSH","args":[{"prim":"string"},{"string":"NO_FUND_EXPECTED"}]},{"prim":"FAILWITH"}],[]]},{"prim":"DUP","args":[{"int":"18"}]},{"prim":"DUP","args":[{"int":"2"}]},{"prim":"PACK"},{"prim":"PUSH","args":[{"prim":"int"},{"int":"11"}]},{"prim":"PAIR"},{"prim":"DUP","args":[{"int":"4"}]},{"prim":"PAIR"},{"prim":"DUP","args":[{"int":"6"}]},{"prim":"PAIR"},{"prim":"DUP","args":[{"int":"7"}]},{"prim":"PAIR"},{"prim":"DUP","args":[{"int":"9"}]},{"prim":"PAIR"},{"prim":"DUP","args":[{"int":"10"}]},{"prim":"PAIR"},{"prim":"DUP","args":[{"int":"11"}]},{"prim":"PAIR"},{"prim":"DUP","args":[{"int":"12"}]},{"prim":"PAIR"},{"prim":"DUP","args":[{"int":"13"}]},{"prim":"PAIR"},{"prim":"DUP","args":[{"int":"14"}]},{"prim":"PAIR"},{"prim":"DUP","args":[{"int":"15"}]},{"prim":"PAIR"},{"prim":"DUP","args":[{"int":"16"}]},{"prim":"PAIR"},{"prim":"DUP","args":[{"int":"17"}]},{"prim":"PAIR"},{"prim":"EXEC"},{"prim":"NIL","args":[{"prim":"operation"}]},{"prim":"NIL","args":[{"prim":"operation"}]},{"prim":"DUP","args":[{"int":"20"}]},{"prim":"ITER","args":[[{"prim":"CONS"}]]},{"prim":"DUP","args":[{"int":"6"}]},{"prim":"CONTRACT","args":[{"prim":"pair","args":[{"prim":"int"},{"prim":"address"},{"prim":"bytes"},{"prim":"pair","args":[{"prim":"address"},{"prim":"address"},{"prim":"address"},{"prim":"big_map","args":[{"prim":"nat"},{"prim":"pair","args":[{"prim":"nat"},{"prim":"map","args":[{"prim":"string"},{"prim":"bytes"}]}]}]},{"prim":"big_map","args":[{"prim":"pair","args":[{"prim":"address"},{"prim":"nat"}]},{"prim":"nat"}]},{"prim":"big_map","args":[{"prim":"pair","args":[{"prim":"address"},{"prim":"nat"},{"prim":"address"}]},{"prim":"unit"}]},{"prim":"big_map","args":[{"prim":"pair","args":[{"prim":"address"},{"prim":"address"}]},{"prim":"unit"}]},{"prim":"bool"},{"prim":"option","args":[{"prim":"address"}]},{"prim":"nat"},{"prim":"big_map","args":[{"prim":"string"},{"prim":"bytes"}]},{"prim":"big_map","args":[{"prim":"address"},{"prim":"nat"}]}]}]}]},{"prim":"IF_NONE","args":[[{"prim":"PUSH","args":[{"prim":"string"},{"string":"default"}]},{"prim":"PUSH","args":[{"prim":"string"},{"string":"ENTRY_NOT_FOUND"}]},{"prim":"PAIR"},{"prim":"FAILWITH"}],[]]},{"prim":"PUSH","args":[{"prim":"mutez"},{"int":"0"}]},{"prim":"DUP","args":[{"int":"5"}]},{"prim":"TRANSFER_TOKENS"},{"prim":"CONS"},{"prim":"ITER","args":[[{"prim":"CONS"}]]},{"prim":"DIP","args":[{"int":"1"},[{"prim":"DIG","args":[{"int":"17"}]},{"prim":"DROP","args":[{"int":"1"}]}]]},{"prim":"DUG","args":[{"int":"17"}]},{"prim":"DROP","args":[{"int":"2"}]},{"prim":"PAIR","args":[{"int":"15"}]},{"prim":"SWAP"},{"prim":"PAIR"}]]}],[{"prim":"IF_LEFT","args":[[{"prim":"PUSH","args":[{"prim":"mutez"},{"int":"0"}]},{"prim":"AMOUNT"},{"prim":"COMPARE"},{"prim":"EQ"},{"prim":"NOT"},{"prim":"IF","args":[[{"prim":"PUSH","args":[{"prim":"string"},{"string":"NO_FUND_EXPECTED"}]},{"prim":"FAILWITH"}],[]]},{"prim":"DUP","args":[{"int":"18"}]},{"prim":"DUP","args":[{"int":"2"}]},{"prim":"PACK"},{"prim":"PUSH","args":[{"prim":"int"},{"int":"8"}]},{"prim":"PAIR"},{"prim":"DUP","args":[{"int":"4"}]},{"prim":"PAIR"},{"prim":"DUP","args":[{"int":"6"}]},{"prim":"PAIR"},{"prim":"DUP","args":[{"int":"7"}]},{"prim":"PAIR"},{"prim":"DUP","args":[{"int":"9"}]},{"prim":"PAIR"},{"prim":"DUP","args":[{"int":"10"}]},{"prim":"PAIR"},{"prim":"DUP","args":[{"int":"11"}]},{"prim":"PAIR"},{"prim":"DUP","args":[{"int":"12"}]},{"prim":"PAIR"},{"prim":"DUP","args":[{"int":"13"}]},{"prim":"PAIR"},{"prim":"DUP","args":[{"int":"14"}]},{"prim":"PAIR"},{"prim":"DUP","args":[{"int":"15"}]},{"prim":"PAIR"},{"prim":"DUP","args":[{"int":"16"}]},{"prim":"PAIR"},{"prim":"DUP","args":[{"int":"17"}]},{"prim":"PAIR"},{"prim":"EXEC"},{"prim":"NIL","args":[{"prim":"operation"}]},{"prim":"NIL","args":[{"prim":"operation"}]},{"prim":"DUP","args":[{"int":"20"}]},{"prim":"ITER","args":[[{"prim":"CONS"}]]},{"prim":"DUP","args":[{"int":"6"}]},{"prim":"CONTRACT","args":[{"prim":"pair","args":[{"prim":"int"},{"prim":"address"},{"prim":"bytes"},{"prim":"pair","args":[{"prim":"address"},{"prim":"address"},{"prim":"address"},{"prim":"big_map","args":[{"prim":"nat"},{"prim":"pair","args":[{"prim":"nat"},{"prim":"map","args":[{"prim":"string"},{"prim":"bytes"}]}]}]},{"prim":"big_map","args":[{"prim":"pair","args":[{"prim":"address"},{"prim":"nat"}]},{"prim":"nat"}]},{"prim":"big_map","args":[{"prim":"pair","args":[{"prim":"address"},{"prim":"nat"},{"prim":"address"}]},{"prim":"unit"}]},{"prim":"big_map","args":[{"prim":"pair","args":[{"prim":"address"},{"prim":"address"}]},{"prim":"unit"}]},{"prim":"bool"},{"prim":"option","args":[{"prim":"address"}]},{"prim":"nat"},{"prim":"big_map","args":[{"prim":"string"},{"prim":"bytes"}]},{"prim":"big_map","args":[{"prim":"address"},{"prim":"nat"}]}]}]}]},{"prim":"IF_NONE","args":[[{"prim":"PUSH","args":[{"prim":"string"},{"string":"default"}]},{"prim":"PUSH","args":[{"prim":"string"},{"string":"ENTRY_NOT_FOUND"}]},{"prim":"PAIR"},{"prim":"FAILWITH"}],[]]},{"prim":"PUSH","args":[{"prim":"mutez"},{"int":"0"}]},{"prim":"DUP","args":[{"int":"5"}]},{"prim":"TRANSFER_TOKENS"},{"prim":"CONS"},{"prim":"ITER","args":[[{"prim":"CONS"}]]},{"prim":"DIP","args":[{"int":"1"},[{"prim":"DIG","args":[{"int":"17"}]},{"prim":"DROP","args":[{"int":"1"}]}]]},{"prim":"DUG","args":[{"int":"17"}]},{"prim":"DROP","args":[{"int":"2"}]},{"prim":"PAIR","args":[{"int":"15"}]},{"prim":"SWAP"},{"prim":"PAIR"}],[{"prim":"DROP","args":[{"int":"1"}]},{"prim":"PUSH","args":[{"prim":"mutez"},{"int":"0"}]},{"prim":"AMOUNT"},{"prim":"COMPARE"},{"prim":"EQ"},{"prim":"NOT"},{"prim":"IF","args":[[{"prim":"PUSH","args":[{"prim":"string"},{"string":"NO_FUND_EXPECTED"}]},{"prim":"FAILWITH"}],[]]},{"prim":"DUP","args":[{"int":"17"}]},{"prim":"SENDER"},{"prim":"PACK"},{"prim":"PUSH","args":[{"prim":"int"},{"int":"9"}]},{"prim":"PAIR"},{"prim":"DUP","args":[{"int":"3"}]},{"prim":"PAIR"},{"prim":"DUP","args":[{"int":"5"}]},{"prim":"PAIR"},{"prim":"DUP","args":[{"int":"6"}]},{"prim":"PAIR"},{"prim":"DUP","args":[{"int":"8"}]},{"prim":"PAIR"},{"prim":"DUP","args":[{"int":"9"}]},{"prim":"PAIR"},{"prim":"DUP","args":[{"int":"10"}]},{"prim":"PAIR"},{"prim":"DUP","args":[{"int":"11"}]},{"prim":"PAIR"},{"prim":"DUP","args":[{"int":"12"}]},{"prim":"PAIR"},{"prim":"DUP","args":[{"int":"13"}]},{"prim":"PAIR"},{"prim":"DUP","args":[{"int":"14"}]},{"prim":"PAIR"},{"prim":"DUP","args":[{"int":"15"}]},{"prim":"PAIR"},{"prim":"DUP","args":[{"int":"16"}]},{"prim":"PAIR"},{"prim":"EXEC"},{"prim":"NIL","args":[{"prim":"operation"}]},{"prim":"NIL","args":[{"prim":"operation"}]},{"prim":"DUP","args":[{"int":"19"}]},{"prim":"ITER","args":[[{"prim":"CONS"}]]},{"prim":"DUP","args":[{"int":"5"}]},{"prim":"CONTRACT","args":[{"prim":"pair","args":[{"prim":"int"},{"prim":"address"},{"prim":"bytes"},{"prim":"pair","args":[{"prim":"address"},{"prim":"address"},{"prim":"address"},{"prim":"big_map","args":[{"prim":"nat"},{"prim":"pair","args":[{"prim":"nat"},{"prim":"map","args":[{"prim":"string"},{"prim":"bytes"}]}]}]},{"prim":"big_map","args":[{"prim":"pair","args":[{"prim":"address"},{"prim":"nat"}]},{"prim":"nat"}]},{"prim":"big_map","args":[{"prim":"pair","args":[{"prim":"address"},{"prim":"nat"},{"prim":"address"}]},{"prim":"unit"}]},{"prim":"big_map","args":[{"prim":"pair","args":[{"prim":"address"},{"prim":"address"}]},{"prim":"unit"}]},{"prim":"bool"},{"prim":"option","args":[{"prim":"address"}]},{"prim":"nat"},{"prim":"big_map","args":[{"prim":"string"},{"prim":"bytes"}]},{"prim":"big_map","args":[{"prim":"address"},{"prim":"nat"}]}]}]}]},{"prim":"IF_NONE","args":[[{"prim":"PUSH","args":[{"prim":"string"},{"string":"default"}]},{"prim":"PUSH","args":[{"prim":"string"},{"string":"ENTRY_NOT_FOUND"}]},{"prim":"PAIR"},{"prim":"FAILWITH"}],[]]},{"prim":"PUSH","args":[{"prim":"mutez"},{"int":"0"}]},{"prim":"DUP","args":[{"int":"5"}]},{"prim":"TRANSFER_TOKENS"},{"prim":"CONS"},{"prim":"ITER","args":[[{"prim":"CONS"}]]},{"prim":"DIP","args":[{"int":"1"},[{"prim":"DIG","args":[{"int":"16"}]},{"prim":"DROP","args":[{"int":"1"}]}]]},{"prim":"DUG","args":[{"int":"16"}]},{"prim":"DROP","args":[{"int":"1"}]},{"prim":"PAIR","args":[{"int":"15"}]},{"prim":"SWAP"},{"prim":"PAIR"}]]}]]}]]}],[{"prim":"IF_LEFT","args":[[{"prim":"IF_LEFT","args":[[{"prim":"IF_LEFT","args":[[{"prim":"PUSH","args":[{"prim":"mutez"},{"int":"0"}]},{"prim":"AMOUNT"},{"prim":"COMPARE"},{"prim":"EQ"},{"prim":"NOT"},{"prim":"IF","args":[[{"prim":"PUSH","args":[{"prim":"string"},{"string":"NO_FUND_EXPECTED"}]},{"prim":"FAILWITH"}],[]]},{"prim":"DUP","args":[{"int":"18"}]},{"prim":"DUP","args":[{"int":"2"}]},{"prim":"DUP","args":[{"int":"4"}]},{"prim":"PAIR"},{"prim":"DUP","args":[{"int":"6"}]},{"prim":"PAIR"},{"prim":"DUP","args":[{"int":"7"}]},{"prim":"PAIR"},{"prim":"DUP","args":[{"int":"9"}]},{"prim":"PAIR"},{"prim":"DUP","args":[{"int":"10"}]},{"prim":"PAIR"},{"prim":"DUP","args":[{"int":"11"}]},{"prim":"PAIR"},{"prim":"DUP","args":[{"int":"12"}]},{"prim":"PAIR"},{"prim":"DUP","args":[{"int":"13"}]},{"prim":"PAIR"},{"prim":"DUP","args":[{"int":"14"}]},{"prim":"PAIR"},{"prim":"DUP","args":[{"int":"15"}]},{"prim":"PAIR"},{"prim":"DUP","args":[{"int":"16"}]},{"prim":"PAIR"},{"prim":"DUP","args":[{"int":"17"}]},{"prim":"PAIR"},{"prim":"EXEC"},{"prim":"NIL","args":[{"prim":"operation"}]},{"prim":"NIL","args":[{"prim":"operation"}]},{"prim":"DUP","args":[{"int":"20"}]},{"prim":"ITER","args":[[{"prim":"CONS"}]]},{"prim":"DUP","args":[{"int":"6"}]},{"prim":"CONTRACT","args":[{"prim":"pair","args":[{"prim":"int"},{"prim":"address"},{"prim":"bytes"},{"prim":"pair","args":[{"prim":"address"},{"prim":"address"},{"prim":"address"},{"prim":"big_map","args":[{"prim":"nat"},{"prim":"pair","args":[{"prim":"nat"},{"prim":"map","args":[{"prim":"string"},{"prim":"bytes"}]}]}]},{"prim":"big_map","args":[{"prim":"pair","args":[{"prim":"address"},{"prim":"nat"}]},{"prim":"nat"}]},{"prim":"big_map","args":[{"prim":"pair","args":[{"prim":"address"},{"prim":"nat"},{"prim":"address"}]},{"prim":"unit"}]},{"prim":"big_map","args":[{"prim":"pair","args":[{"prim":"address"},{"prim":"address"}]},{"prim":"unit"}]},{"prim":"bool"},{"prim":"option","args":[{"prim":"address"}]},{"prim":"nat"},{"prim":"big_map","args":[{"prim":"string"},{"prim":"bytes"}]},{"prim":"big_map","args":[{"prim":"address"},{"prim":"nat"}]}]}]}]},{"prim":"IF_NONE","args":[[{"prim":"PUSH","args":[{"prim":"string"},{"string":"default"}]},{"prim":"PUSH","args":[{"prim":"string"},{"string":"ENTRY_NOT_FOUND"}]},{"prim":"PAIR"},{"prim":"FAILWITH"}],[]]},{"prim":"PUSH","args":[{"prim":"mutez"},{"int":"0"}]},{"prim":"DUP","args":[{"int":"5"}]},{"prim":"TRANSFER_TOKENS"},{"prim":"CONS"},{"prim":"ITER","args":[[{"prim":"CONS"}]]},{"prim":"DIP","args":[{"int":"1"},[{"prim":"DIG","args":[{"int":"17"}]},{"prim":"DROP","args":[{"int":"1"}]}]]},{"prim":"DUG","args":[{"int":"17"}]},{"prim":"DROP","args":[{"int":"2"}]},{"prim":"PAIR","args":[{"int":"15"}]},{"prim":"SWAP"},{"prim":"PAIR"}],[{"prim":"DUP","args":[{"int":"3"}]},{"prim":"SENDER"},{"prim":"COMPARE"},{"prim":"EQ"},{"prim":"NOT"},{"prim":"IF","args":[[{"prim":"PUSH","args":[{"prim":"string"},{"string":"INVALID_CALLER"}]},{"prim":"FAILWITH"}],[]]},{"prim":"PUSH","args":[{"prim":"mutez"},{"int":"0"}]},{"prim":"AMOUNT"},{"prim":"COMPARE"},{"prim":"EQ"},{"prim":"NOT"},{"prim":"IF","args":[[{"prim":"PUSH","args":[{"prim":"string"},{"string":"NO_FUND_EXPECTED"}]},{"prim":"FAILWITH"}],[]]},{"prim":"DUP"},{"prim":"GET","args":[{"int":"1"}]},{"prim":"DIP","args":[{"int":"1"},[{"prim":"SWAP"},{"prim":"DROP","args":[{"int":"1"}]}]]},{"prim":"SWAP"},{"prim":"DUP"},{"prim":"GET","args":[{"int":"15"}]},{"prim":"DIP","args":[{"int":"1"},[{"prim":"DIG","args":[{"int":"10"}]},{"prim":"DROP","args":[{"int":"1"}]}]]},{"prim":"DUG","args":[{"int":"10"}]},{"prim":"DUP"},{"prim":"GET","args":[{"int":"17"}]},{"prim":"DIP","args":[{"int":"1"},[{"prim":"DIG","args":[{"int":"11"}]},{"prim":"DROP","args":[{"int":"1"}]}]]},{"prim":"DUG","args":[{"int":"11"}]},{"prim":"DUP"},{"prim":"GET","args":[{"int":"19"}]},{"prim":"DIP","args":[{"int":"1"},[{"prim":"DIG","args":[{"int":"12"}]},{"prim":"DROP","args":[{"int":"1"}]}]]},{"prim":"DUG","args":[{"int":"12"}]},{"prim":"DUP"},{"prim":"GET","args":[{"int":"3"}]},{"prim":"DIP","args":[{"int":"1"},[{"prim":"DIG","args":[{"int":"3"}]},{"prim":"DROP","args":[{"int":"1"}]}]]},{"prim":"DUG","args":[{"int":"3"}]},{"prim":"DUP"},{"prim":"GET","args":[{"int":"21"}]},{"prim":"DIP","args":[{"int":"1"},[{"prim":"DIG","args":[{"int":"15"}]},{"prim":"DROP","args":[{"int":"1"}]}]]},{"prim":"DUG","args":[{"int":"15"}]},{"prim":"DUP"},{"prim":"GET","args":[{"int":"22"}]},{"prim":"DIP","args":[{"int":"1"},[{"prim":"DIG","args":[{"int":"14"}]},{"prim":"DROP","args":[{"int":"1"}]}]]},{"prim":"DUG","args":[{"int":"14"}]},{"prim":"DROP","args":[{"int":"1"}]},{"prim":"PAIR","args":[{"int":"15"}]},{"prim":"SWAP"},{"prim":"PAIR"}]]}],[{"prim":"IF_LEFT","args":[[{"prim":"UNPAIR"},{"prim":"SWAP"},{"prim":"DUP","args":[{"int":"4"}]},{"prim":"SENDER"},{"prim":"COMPARE"},{"prim":"EQ"},{"prim":"NOT"},{"prim":"IF","args":[[{"prim":"PUSH","args":[{"prim":"string"},{"string":"INVALID_CALLER"}]},{"prim":"FAILWITH"}],[]]},{"prim":"PUSH","args":[{"prim":"mutez"},{"int":"0"}]},{"prim":"AMOUNT"},{"prim":"COMPARE"},{"prim":"EQ"},{"prim":"NOT"},{"prim":"IF","args":[[{"prim":"PUSH","args":[{"prim":"string"},{"string":"NO_TRANSFER"}]},{"prim":"FAILWITH"}],[]]},{"prim":"DUP","args":[{"int":"17"}]},{"prim":"DUP","args":[{"int":"2"}]},{"prim":"SOME"},{"prim":"DUP","args":[{"int":"4"}]},{"prim":"UPDATE"},{"prim":"DIP","args":[{"int":"1"},[{"prim":"DIG","args":[{"int":"16"}]},{"prim":"DROP","args":[{"int":"1"}]}]]},{"prim":"DUG","args":[{"int":"16"}]},{"prim":"DROP","args":[{"int":"2"}]},{"prim":"PAIR","args":[{"int":"15"}]},{"prim":"SWAP"},{"prim":"PAIR"}],[{"prim":"UNPAIR"},{"prim":"SWAP"},{"prim":"DUP","args":[{"int":"4"}]},{"prim":"SENDER"},{"prim":"COMPARE"},{"prim":"EQ"},{"prim":"NOT"},{"prim":"IF","args":[[{"prim":"PUSH","args":[{"prim":"string"},{"string":"INVALID_CALLER"}]},{"prim":"FAILWITH"}],[]]},{"prim":"PUSH","args":[{"prim":"mutez"},{"int":"0"}]},{"prim":"AMOUNT"},{"prim":"COMPARE"},{"prim":"EQ"},{"prim":"NOT"},{"prim":"IF","args":[[{"prim":"PUSH","args":[{"prim":"string"},{"string":"NO_TRANSFER"}]},{"prim":"FAILWITH"}],[]]},{"prim":"DUP"},{"prim":"IF_NONE","args":[[{"prim":"DUP","args":[{"int":"8"}]},{"prim":"NONE","args":[{"prim":"pair","args":[{"prim":"nat"},{"prim":"map","args":[{"prim":"string"},{"prim":"bytes"}]}]}]},{"prim":"DUP","args":[{"int":"4"}]},{"prim":"UPDATE"},{"prim":"DIP","args":[{"int":"1"},[{"prim":"DIG","args":[{"int":"7"}]},{"prim":"DROP","args":[{"int":"1"}]}]]},{"prim":"DUG","args":[{"int":"7"}]}],[{"prim":"DUP","args":[{"int":"9"}]},{"prim":"DUP","args":[{"int":"2"}]},{"prim":"SOME"},{"prim":"DUP","args":[{"int":"5"}]},{"prim":"UPDATE"},{"prim":"DIP","args":[{"int":"1"},[{"prim":"DIG","args":[{"int":"8"}]},{"prim":"DROP","args":[{"int":"1"}]}]]},{"prim":"DUG","args":[{"int":"8"}]},{"prim":"DROP","args":[{"int":"1"}]}]]},{"prim":"DROP","args":[{"int":"2"}]},{"prim":"PAIR","args":[{"int":"15"}]},{"prim":"SWAP"},{"prim":"PAIR"}]]}]]}],[{"prim":"IF_LEFT","args":[[{"prim":"IF_LEFT","args":[[{"prim":"DUP","args":[{"int":"3"}]},{"prim":"SENDER"},{"prim":"COMPARE"},{"prim":"EQ"},{"prim":"NOT"},{"prim":"IF","args":[[{"prim":"PUSH","args":[{"prim":"string"},{"string":"INVALID_CALLER"}]},{"prim":"FAILWITH"}],[]]},{"prim":"PUSH","args":[{"prim":"mutez"},{"int":"0"}]},{"prim":"AMOUNT"},{"prim":"COMPARE"},{"prim":"EQ"},{"prim":"NOT"},{"prim":"IF","args":[[{"prim":"PUSH","args":[{"prim":"string"},{"string":"NO_TRANSFER"}]},{"prim":"FAILWITH"}],[]]},{"prim":"DUP"},{"prim":"ITER","args":[[{"prim":"SELF_ADDRESS"},{"prim":"DUP","args":[{"int":"2"}]},{"prim":"GET","args":[{"int":"1"}]},{"prim":"VIEW","args":[{"string":"get_ledger"},{"prim":"nat"}]},{"prim":"IF_NONE","args":[[{"prim":"PUSH","args":[{"prim":"nat"},{"int":"0"}]},{"prim":"FAILWITH"}],[]]},{"prim":"DUP","args":[{"int":"2"}]},{"prim":"GET","args":[{"int":"2"}]},{"prim":"DUP","args":[{"int":"2"}]},{"prim":"INT"},{"prim":"ADD"},{"prim":"ISNAT"},{"prim":"IF_NONE","args":[[{"prim":"PUSH","args":[{"prim":"string"},{"string":"FA2_INSUFFICIENT_BALANCE"}]},{"prim":"FAILWITH"}],[]]},{"prim":"PUSH","args":[{"prim":"nat"},{"int":"0"}]},{"prim":"DUP","args":[{"int":"2"}]},{"prim":"COMPARE"},{"prim":"EQ"},{"prim":"IF","args":[[{"prim":"DUP","args":[{"int":"11"}]},{"prim":"NONE","args":[{"prim":"nat"}]},{"prim":"DUP","args":[{"int":"5"}]},{"prim":"GET","args":[{"int":"1"}]},{"prim":"UPDATE"},{"prim":"DIP","args":[{"int":"1"},[{"prim":"DIG","args":[{"int":"10"}]},{"prim":"DROP","args":[{"int":"1"}]}]]},{"prim":"DUG","args":[{"int":"10"}]}],[{"prim":"DUP","args":[{"int":"11"}]},{"prim":"DUP","args":[{"int":"2"}]},{"prim":"SOME"},{"prim":"DUP","args":[{"int":"5"}]},{"prim":"GET","args":[{"int":"1"}]},{"prim":"UPDATE"},{"prim":"DIP","args":[{"int":"1"},[{"prim":"DIG","args":[{"int":"10"}]},{"prim":"DROP","args":[{"int":"1"}]}]]},{"prim":"DUG","args":[{"int":"10"}]}]]},{"prim":"DROP","args":[{"int":"3"}]}]]},{"prim":"DROP","args":[{"int":"1"}]},{"prim":"PAIR","args":[{"int":"15"}]},{"prim":"SWAP"},{"prim":"PAIR"}],[{"prim":"DUP","args":[{"int":"3"}]},{"prim":"SENDER"},{"prim":"COMPARE"},{"prim":"EQ"},{"prim":"NOT"},{"prim":"IF","args":[[{"prim":"PUSH","args":[{"prim":"string"},{"string":"INVALID_CALLER"}]},{"prim":"FAILWITH"}],[]]},{"prim":"PUSH","args":[{"prim":"mutez"},{"int":"0"}]},{"prim":"AMOUNT"},{"prim":"COMPARE"},{"prim":"EQ"},{"prim":"NOT"},{"prim":"IF","args":[[{"prim":"PUSH","args":[{"prim":"string"},{"string":"NO_TRANSFER"}]},{"prim":"FAILWITH"}],[]]},{"prim":"DUP"},{"prim":"ITER","args":[[{"prim":"DUP"},{"prim":"GET","args":[{"int":"2"}]},{"prim":"IF_NONE","args":[[{"prim":"DUP","args":[{"int":"10"}]},{"prim":"NONE","args":[{"prim":"unit"}]},{"prim":"DUP","args":[{"int":"3"}]},{"prim":"GET","args":[{"int":"1"}]},{"prim":"UPDATE"},{"prim":"DIP","args":[{"int":"1"},[{"prim":"DIG","args":[{"int":"9"}]},{"prim":"DROP","args":[{"int":"1"}]}]]},{"prim":"DUG","args":[{"int":"9"}]}],[{"prim":"DUP","args":[{"int":"11"}]},{"prim":"DUP","args":[{"int":"2"}]},{"prim":"SOME"},{"prim":"DUP","args":[{"int":"4"}]},{"prim":"GET","args":[{"int":"1"}]},{"prim":"UPDATE"},{"prim":"DIP","args":[{"int":"1"},[{"prim":"DIG","args":[{"int":"10"}]},{"prim":"DROP","args":[{"int":"1"}]}]]},{"prim":"DUG","args":[{"int":"10"}]},{"prim":"DROP","args":[{"int":"1"}]}]]},{"prim":"DROP","args":[{"int":"1"}]}]]},{"prim":"DROP","args":[{"int":"1"}]},{"prim":"PAIR","args":[{"int":"15"}]},{"prim":"SWAP"},{"prim":"PAIR"}]]}],[{"prim":"IF_LEFT","args":[[{"prim":"PUSH","args":[{"prim":"mutez"},{"int":"0"}]},{"prim":"AMOUNT"},{"prim":"COMPARE"},{"prim":"EQ"},{"prim":"NOT"},{"prim":"IF","args":[[{"prim":"PUSH","args":[{"prim":"string"},{"string":"NO_FUND_EXPECTED"}]},{"prim":"FAILWITH"}],[]]},{"prim":"DUP","args":[{"int":"18"}]},{"prim":"DUP","args":[{"int":"2"}]},{"prim":"PACK"},{"prim":"PUSH","args":[{"prim":"int"},{"int":"2"}]},{"prim":"PAIR"},{"prim":"DUP","args":[{"int":"4"}]},{"prim":"PAIR"},{"prim":"DUP","args":[{"int":"6"}]},{"prim":"PAIR"},{"prim":"DUP","args":[{"int":"7"}]},{"prim":"PAIR"},{"prim":"DUP","args":[{"int":"9"}]},{"prim":"PAIR"},{"prim":"DUP","args":[{"int":"10"}]},{"prim":"PAIR"},{"prim":"DUP","args":[{"int":"11"}]},{"prim":"PAIR"},{"prim":"DUP","args":[{"int":"12"}]},{"prim":"PAIR"},{"prim":"DUP","args":[{"int":"13"}]},{"prim":"PAIR"},{"prim":"DUP","args":[{"int":"14"}]},{"prim":"PAIR"},{"prim":"DUP","args":[{"int":"15"}]},{"prim":"PAIR"},{"prim":"DUP","args":[{"int":"16"}]},{"prim":"PAIR"},{"prim":"DUP","args":[{"int":"17"}]},{"prim":"PAIR"},{"prim":"EXEC"},{"prim":"NIL","args":[{"prim":"operation"}]},{"prim":"NIL","args":[{"prim":"operation"}]},{"prim":"DUP","args":[{"int":"20"}]},{"prim":"ITER","args":[[{"prim":"CONS"}]]},{"prim":"DUP","args":[{"int":"6"}]},{"prim":"CONTRACT","args":[{"prim":"pair","args":[{"prim":"int"},{"prim":"address"},{"prim":"bytes"},{"prim":"pair","args":[{"prim":"address"},{"prim":"address"},{"prim":"address"},{"prim":"big_map","args":[{"prim":"nat"},{"prim":"pair","args":[{"prim":"nat"},{"prim":"map","args":[{"prim":"string"},{"prim":"bytes"}]}]}]},{"prim":"big_map","args":[{"prim":"pair","args":[{"prim":"address"},{"prim":"nat"}]},{"prim":"nat"}]},{"prim":"big_map","args":[{"prim":"pair","args":[{"prim":"address"},{"prim":"nat"},{"prim":"address"}]},{"prim":"unit"}]},{"prim":"big_map","args":[{"prim":"pair","args":[{"prim":"address"},{"prim":"address"}]},{"prim":"unit"}]},{"prim":"bool"},{"prim":"option","args":[{"prim":"address"}]},{"prim":"nat"},{"prim":"big_map","args":[{"prim":"string"},{"prim":"bytes"}]},{"prim":"big_map","args":[{"prim":"address"},{"prim":"nat"}]}]}]}]},{"prim":"IF_NONE","args":[[{"prim":"PUSH","args":[{"prim":"string"},{"string":"default"}]},{"prim":"PUSH","args":[{"prim":"string"},{"string":"ENTRY_NOT_FOUND"}]},{"prim":"PAIR"},{"prim":"FAILWITH"}],[]]},{"prim":"PUSH","args":[{"prim":"mutez"},{"int":"0"}]},{"prim":"DUP","args":[{"int":"5"}]},{"prim":"TRANSFER_TOKENS"},{"prim":"CONS"},{"prim":"ITER","args":[[{"prim":"CONS"}]]},{"prim":"DIP","args":[{"int":"1"},[{"prim":"DIG","args":[{"int":"17"}]},{"prim":"DROP","args":[{"int":"1"}]}]]},{"prim":"DUG","args":[{"int":"17"}]},{"prim":"DROP","args":[{"int":"2"}]},{"prim":"PAIR","args":[{"int":"15"}]},{"prim":"SWAP"},{"prim":"PAIR"}],[{"prim":"PUSH","args":[{"prim":"mutez"},{"int":"0"}]},{"prim":"AMOUNT"},{"prim":"COMPARE"},{"prim":"EQ"},{"prim":"NOT"},{"prim":"IF","args":[[{"prim":"PUSH","args":[{"prim":"string"},{"string":"NO_FUND_EXPECTED"}]},{"prim":"FAILWITH"}],[]]},{"prim":"DUP","args":[{"int":"18"}]},{"prim":"DUP","args":[{"int":"2"}]},{"prim":"PACK"},{"prim":"PUSH","args":[{"prim":"int"},{"int":"0"}]},{"prim":"PAIR"},{"prim":"DUP","args":[{"int":"4"}]},{"prim":"PAIR"},{"prim":"DUP","args":[{"int":"6"}]},{"prim":"PAIR"},{"prim":"DUP","args":[{"int":"7"}]},{"prim":"PAIR"},{"prim":"DUP","args":[{"int":"9"}]},{"prim":"PAIR"},{"prim":"DUP","args":[{"int":"10"}]},{"prim":"PAIR"},{"prim":"DUP","args":[{"int":"11"}]},{"prim":"PAIR"},{"prim":"DUP","args":[{"int":"12"}]},{"prim":"PAIR"},{"prim":"DUP","args":[{"int":"13"}]},{"prim":"PAIR"},{"prim":"DUP","args":[{"int":"14"}]},{"prim":"PAIR"},{"prim":"DUP","args":[{"int":"15"}]},{"prim":"PAIR"},{"prim":"DUP","args":[{"int":"16"}]},{"prim":"PAIR"},{"prim":"DUP","args":[{"int":"17"}]},{"prim":"PAIR"},{"prim":"EXEC"},{"prim":"NIL","args":[{"prim":"operation"}]},{"prim":"NIL","args":[{"prim":"operation"}]},{"prim":"DUP","args":[{"int":"20"}]},{"prim":"ITER","args":[[{"prim":"CONS"}]]},{"prim":"DUP","args":[{"int":"6"}]},{"prim":"CONTRACT","args":[{"prim":"pair","args":[{"prim":"int"},{"prim":"address"},{"prim":"bytes"},{"prim":"pair","args":[{"prim":"address"},{"prim":"address"},{"prim":"address"},{"prim":"big_map","args":[{"prim":"nat"},{"prim":"pair","args":[{"prim":"nat"},{"prim":"map","args":[{"prim":"string"},{"prim":"bytes"}]}]}]},{"prim":"big_map","args":[{"prim":"pair","args":[{"prim":"address"},{"prim":"nat"}]},{"prim":"nat"}]},{"prim":"big_map","args":[{"prim":"pair","args":[{"prim":"address"},{"prim":"nat"},{"prim":"address"}]},{"prim":"unit"}]},{"prim":"big_map","args":[{"prim":"pair","args":[{"prim":"address"},{"prim":"address"}]},{"prim":"unit"}]},{"prim":"bool"},{"prim":"option","args":[{"prim":"address"}]},{"prim":"nat"},{"prim":"big_map","args":[{"prim":"string"},{"prim":"bytes"}]},{"prim":"big_map","args":[{"prim":"address"},{"prim":"nat"}]}]}]}]},{"prim":"IF_NONE","args":[[{"prim":"PUSH","args":[{"prim":"string"},{"string":"default"}]},{"prim":"PUSH","args":[{"prim":"string"},{"string":"ENTRY_NOT_FOUND"}]},{"prim":"PAIR"},{"prim":"FAILWITH"}],[]]},{"prim":"PUSH","args":[{"prim":"mutez"},{"int":"0"}]},{"prim":"DUP","args":[{"int":"5"}]},{"prim":"TRANSFER_TOKENS"},{"prim":"CONS"},{"prim":"ITER","args":[[{"prim":"CONS"}]]},{"prim":"DIP","args":[{"int":"1"},[{"prim":"DIG","args":[{"int":"17"}]},{"prim":"DROP","args":[{"int":"1"}]}]]},{"prim":"DUG","args":[{"int":"17"}]},{"prim":"DROP","args":[{"int":"2"}]},{"prim":"PAIR","args":[{"int":"15"}]},{"prim":"SWAP"},{"prim":"PAIR"}]]}]]}]]}]]}],[{"prim":"IF_LEFT","args":[[{"prim":"IF_LEFT","args":[[{"prim":"IF_LEFT","args":[[{"prim":"PUSH","args":[{"prim":"mutez"},{"int":"0"}]},{"prim":"AMOUNT"},{"prim":"COMPARE"},{"prim":"EQ"},{"prim":"NOT"},{"prim":"IF","args":[[{"prim":"PUSH","args":[{"prim":"string"},{"string":"NO_FUND_EXPECTED"}]},{"prim":"FAILWITH"}],[]]},{"prim":"DUP","args":[{"int":"18"}]},{"prim":"DUP","args":[{"int":"2"}]},{"prim":"PACK"},{"prim":"PUSH","args":[{"prim":"int"},{"int":"1"}]},{"prim":"PAIR"},{"prim":"DUP","args":[{"int":"4"}]},{"prim":"PAIR"},{"prim":"DUP","args":[{"int":"6"}]},{"prim":"PAIR"},{"prim":"DUP","args":[{"int":"7"}]},{"prim":"PAIR"},{"prim":"DUP","args":[{"int":"9"}]},{"prim":"PAIR"},{"prim":"DUP","args":[{"int":"10"}]},{"prim":"PAIR"},{"prim":"DUP","args":[{"int":"11"}]},{"prim":"PAIR"},{"prim":"DUP","args":[{"int":"12"}]},{"prim":"PAIR"},{"prim":"DUP","args":[{"int":"13"}]},{"prim":"PAIR"},{"prim":"DUP","args":[{"int":"14"}]},{"prim":"PAIR"},{"prim":"DUP","args":[{"int":"15"}]},{"prim":"PAIR"},{"prim":"DUP","args":[{"int":"16"}]},{"prim":"PAIR"},{"prim":"DUP","args":[{"int":"17"}]},{"prim":"PAIR"},{"prim":"EXEC"},{"prim":"NIL","args":[{"prim":"operation"}]},{"prim":"NIL","args":[{"prim":"operation"}]},{"prim":"DUP","args":[{"int":"20"}]},{"prim":"ITER","args":[[{"prim":"CONS"}]]},{"prim":"DUP","args":[{"int":"6"}]},{"prim":"CONTRACT","args":[{"prim":"pair","args":[{"prim":"int"},{"prim":"address"},{"prim":"bytes"},{"prim":"pair","args":[{"prim":"address"},{"prim":"address"},{"prim":"address"},{"prim":"big_map","args":[{"prim":"nat"},{"prim":"pair","args":[{"prim":"nat"},{"prim":"map","args":[{"prim":"string"},{"prim":"bytes"}]}]}]},{"prim":"big_map","args":[{"prim":"pair","args":[{"prim":"address"},{"prim":"nat"}]},{"prim":"nat"}]},{"prim":"big_map","args":[{"prim":"pair","args":[{"prim":"address"},{"prim":"nat"},{"prim":"address"}]},{"prim":"unit"}]},{"prim":"big_map","args":[{"prim":"pair","args":[{"prim":"address"},{"prim":"address"}]},{"prim":"unit"}]},{"prim":"bool"},{"prim":"option","args":[{"prim":"address"}]},{"prim":"nat"},{"prim":"big_map","args":[{"prim":"string"},{"prim":"bytes"}]},{"prim":"big_map","args":[{"prim":"address"},{"prim":"nat"}]}]}]}]},{"prim":"IF_NONE","args":[[{"prim":"PUSH","args":[{"prim":"string"},{"string":"default"}]},{"prim":"PUSH","args":[{"prim":"string"},{"string":"ENTRY_NOT_FOUND"}]},{"prim":"PAIR"},{"prim":"FAILWITH"}],[]]},{"prim":"PUSH","args":[{"prim":"mutez"},{"int":"0"}]},{"prim":"DUP","args":[{"int":"5"}]},{"prim":"TRANSFER_TOKENS"},{"prim":"CONS"},{"prim":"ITER","args":[[{"prim":"CONS"}]]},{"prim":"DIP","args":[{"int":"1"},[{"prim":"DIG","args":[{"int":"17"}]},{"prim":"DROP","args":[{"int":"1"}]}]]},{"prim":"DUG","args":[{"int":"17"}]},{"prim":"DROP","args":[{"int":"2"}]},{"prim":"PAIR","args":[{"int":"15"}]},{"prim":"SWAP"},{"prim":"PAIR"}],[{"prim":"UNPAIR"},{"prim":"SWAP"},{"prim":"PUSH","args":[{"prim":"mutez"},{"int":"0"}]},{"prim":"AMOUNT"},{"prim":"COMPARE"},{"prim":"EQ"},{"prim":"NOT"},{"prim":"IF","args":[[{"prim":"PUSH","args":[{"prim":"string"},{"string":"NO_FUND_EXPECTED"}]},{"prim":"FAILWITH"}],[]]},{"prim":"DUP","args":[{"int":"19"}]},{"prim":"DUP","args":[{"int":"2"}]},{"prim":"PUSH","args":[{"prim":"nat"},{"int":"0"}]},{"prim":"PAIR"},{"prim":"DUP","args":[{"int":"4"}]},{"prim":"PAIR"},{"prim":"PACK"},{"prim":"PUSH","args":[{"prim":"int"},{"int":"3"}]},{"prim":"PAIR"},{"prim":"DUP","args":[{"int":"5"}]},{"prim":"PAIR"},{"prim":"DUP","args":[{"int":"7"}]},{"prim":"PAIR"},{"prim":"DUP","args":[{"int":"8"}]},{"prim":"PAIR"},{"prim":"DUP","args":[{"int":"10"}]},{"prim":"PAIR"},{"prim":"DUP","args":[{"int":"11"}]},{"prim":"PAIR"},{"prim":"DUP","args":[{"int":"12"}]},{"prim":"PAIR"},{"prim":"DUP","args":[{"int":"13"}]},{"prim":"PAIR"},{"prim":"DUP","args":[{"int":"14"}]},{"prim":"PAIR"},{"prim":"DUP","args":[{"int":"15"}]},{"prim":"PAIR"},{"prim":"DUP","args":[{"int":"16"}]},{"prim":"PAIR"},{"prim":"DUP","args":[{"int":"17"}]},{"prim":"PAIR"},{"prim":"DUP","args":[{"int":"18"}]},{"prim":"PAIR"},{"prim":"EXEC"},{"prim":"NIL","args":[{"prim":"operation"}]},{"prim":"NIL","args":[{"prim":"operation"}]},{"prim":"DUP","args":[{"int":"21"}]},{"prim":"ITER","args":[[{"prim":"CONS"}]]},{"prim":"DUP","args":[{"int":"7"}]},{"prim":"CONTRACT","args":[{"prim":"pair","args":[{"prim":"int"},{"prim":"address"},{"prim":"bytes"},{"prim":"pair","args":[{"prim":"address"},{"prim":"address"},{"prim":"address"},{"prim":"big_map","args":[{"prim":"nat"},{"prim":"pair","args":[{"prim":"nat"},{"prim":"map","args":[{"prim":"string"},{"prim":"bytes"}]}]}]},{"prim":"big_map","args":[{"prim":"pair","args":[{"prim":"address"},{"prim":"nat"}]},{"prim":"nat"}]},{"prim":"big_map","args":[{"prim":"pair","args":[{"prim":"address"},{"prim":"nat"},{"prim":"address"}]},{"prim":"unit"}]},{"prim":"big_map","args":[{"prim":"pair","args":[{"prim":"address"},{"prim":"address"}]},{"prim":"unit"}]},{"prim":"bool"},{"prim":"option","args":[{"prim":"address"}]},{"prim":"nat"},{"prim":"big_map","args":[{"prim":"string"},{"prim":"bytes"}]},{"prim":"big_map","args":[{"prim":"address"},{"prim":"nat"}]}]}]}]},{"prim":"IF_NONE","args":[[{"prim":"PUSH","args":[{"prim":"string"},{"string":"default"}]},{"prim":"PUSH","args":[{"prim":"string"},{"string":"ENTRY_NOT_FOUND"}]},{"prim":"PAIR"},{"prim":"FAILWITH"}],[]]},{"prim":"PUSH","args":[{"prim":"mutez"},{"int":"0"}]},{"prim":"DUP","args":[{"int":"5"}]},{"prim":"TRANSFER_TOKENS"},{"prim":"CONS"},{"prim":"ITER","args":[[{"prim":"CONS"}]]},{"prim":"DIP","args":[{"int":"1"},[{"prim":"DIG","args":[{"int":"18"}]},{"prim":"DROP","args":[{"int":"1"}]}]]},{"prim":"DUG","args":[{"int":"18"}]},{"prim":"DROP","args":[{"int":"3"}]},{"prim":"PAIR","args":[{"int":"15"}]},{"prim":"SWAP"},{"prim":"PAIR"}]]}],[{"prim":"IF_LEFT","args":[[{"prim":"UNPAIR"},{"prim":"SWAP"},{"prim":"PUSH","args":[{"prim":"mutez"},{"int":"0"}]},{"prim":"AMOUNT"},{"prim":"COMPARE"},{"prim":"EQ"},{"prim":"NOT"},{"prim":"IF","args":[[{"prim":"PUSH","args":[{"prim":"string"},{"string":"NO_FUND_EXPECTED"}]},{"prim":"FAILWITH"}],[]]},{"prim":"DUP","args":[{"int":"19"}]},{"prim":"DUP","args":[{"int":"2"}]},{"prim":"PUSH","args":[{"prim":"nat"},{"int":"0"}]},{"prim":"PAIR"},{"prim":"DUP","args":[{"int":"4"}]},{"prim":"PAIR"},{"prim":"PACK"},{"prim":"PUSH","args":[{"prim":"int"},{"int":"4"}]},{"prim":"PAIR"},{"prim":"DUP","args":[{"int":"5"}]},{"prim":"PAIR"},{"prim":"DUP","args":[{"int":"7"}]},{"prim":"PAIR"},{"prim":"DUP","args":[{"int":"8"}]},{"prim":"PAIR"},{"prim":"DUP","args":[{"int":"10"}]},{"prim":"PAIR"},{"prim":"DUP","args":[{"int":"11"}]},{"prim":"PAIR"},{"prim":"DUP","args":[{"int":"12"}]},{"prim":"PAIR"},{"prim":"DUP","args":[{"int":"13"}]},{"prim":"PAIR"},{"prim":"DUP","args":[{"int":"14"}]},{"prim":"PAIR"},{"prim":"DUP","args":[{"int":"15"}]},{"prim":"PAIR"},{"prim":"DUP","args":[{"int":"16"}]},{"prim":"PAIR"},{"prim":"DUP","args":[{"int":"17"}]},{"prim":"PAIR"},{"prim":"DUP","args":[{"int":"18"}]},{"prim":"PAIR"},{"prim":"EXEC"},{"prim":"NIL","args":[{"prim":"operation"}]},{"prim":"NIL","args":[{"prim":"operation"}]},{"prim":"DUP","args":[{"int":"21"}]},{"prim":"ITER","args":[[{"prim":"CONS"}]]},{"prim":"DUP","args":[{"int":"7"}]},{"prim":"CONTRACT","args":[{"prim":"pair","args":[{"prim":"int"},{"prim":"address"},{"prim":"bytes"},{"prim":"pair","args":[{"prim":"address"},{"prim":"address"},{"prim":"address"},{"prim":"big_map","args":[{"prim":"nat"},{"prim":"pair","args":[{"prim":"nat"},{"prim":"map","args":[{"prim":"string"},{"prim":"bytes"}]}]}]},{"prim":"big_map","args":[{"prim":"pair","args":[{"prim":"address"},{"prim":"nat"}]},{"prim":"nat"}]},{"prim":"big_map","args":[{"prim":"pair","args":[{"prim":"address"},{"prim":"nat"},{"prim":"address"}]},{"prim":"unit"}]},{"prim":"big_map","args":[{"prim":"pair","args":[{"prim":"address"},{"prim":"address"}]},{"prim":"unit"}]},{"prim":"bool"},{"prim":"option","args":[{"prim":"address"}]},{"prim":"nat"},{"prim":"big_map","args":[{"prim":"string"},{"prim":"bytes"}]},{"prim":"big_map","args":[{"prim":"address"},{"prim":"nat"}]}]}]}]},{"prim":"IF_NONE","args":[[{"prim":"PUSH","args":[{"prim":"string"},{"string":"default"}]},{"prim":"PUSH","args":[{"prim":"string"},{"string":"ENTRY_NOT_FOUND"}]},{"prim":"PAIR"},{"prim":"FAILWITH"}],[]]},{"prim":"PUSH","args":[{"prim":"mutez"},{"int":"0"}]},{"prim":"DUP","args":[{"int":"5"}]},{"prim":"TRANSFER_TOKENS"},{"prim":"CONS"},{"prim":"ITER","args":[[{"prim":"CONS"}]]},{"prim":"DIP","args":[{"int":"1"},[{"prim":"DIG","args":[{"int":"18"}]},{"prim":"DROP","args":[{"int":"1"}]}]]},{"prim":"DUG","args":[{"int":"18"}]},{"prim":"DROP","args":[{"int":"3"}]},{"prim":"PAIR","args":[{"int":"15"}]},{"prim":"SWAP"},{"prim":"PAIR"}],[{"prim":"DROP","args":[{"int":"1"}]},{"prim":"PUSH","args":[{"prim":"mutez"},{"int":"0"}]},{"prim":"AMOUNT"},{"prim":"COMPARE"},{"prim":"EQ"},{"prim":"NOT"},{"prim":"IF","args":[[{"prim":"PUSH","args":[{"prim":"string"},{"string":"NO_FUND_EXPECTED"}]},{"prim":"FAILWITH"}],[]]},{"prim":"DUP","args":[{"int":"17"}]},{"prim":"PUSH","args":[{"prim":"bool"},{"prim":"True"}]},{"prim":"PACK"},{"prim":"PUSH","args":[{"prim":"int"},{"int":"5"}]},{"prim":"PAIR"},{"prim":"DUP","args":[{"int":"3"}]},{"prim":"PAIR"},{"prim":"DUP","args":[{"int":"5"}]},{"prim":"PAIR"},{"prim":"DUP","args":[{"int":"6"}]},{"prim":"PAIR"},{"prim":"DUP","args":[{"int":"8"}]},{"prim":"PAIR"},{"prim":"DUP","args":[{"int":"9"}]},{"prim":"PAIR"},{"prim":"DUP","args":[{"int":"10"}]},{"prim":"PAIR"},{"prim":"DUP","args":[{"int":"11"}]},{"prim":"PAIR"},{"prim":"DUP","args":[{"int":"12"}]},{"prim":"PAIR"},{"prim":"DUP","args":[{"int":"13"}]},{"prim":"PAIR"},{"prim":"DUP","args":[{"int":"14"}]},{"prim":"PAIR"},{"prim":"DUP","args":[{"int":"15"}]},{"prim":"PAIR"},{"prim":"DUP","args":[{"int":"16"}]},{"prim":"PAIR"},{"prim":"EXEC"},{"prim":"NIL","args":[{"prim":"operation"}]},{"prim":"NIL","args":[{"prim":"operation"}]},{"prim":"DUP","args":[{"int":"19"}]},{"prim":"ITER","args":[[{"prim":"CONS"}]]},{"prim":"DUP","args":[{"int":"5"}]},{"prim":"CONTRACT","args":[{"prim":"pair","args":[{"prim":"int"},{"prim":"address"},{"prim":"bytes"},{"prim":"pair","args":[{"prim":"address"},{"prim":"address"},{"prim":"address"},{"prim":"big_map","args":[{"prim":"nat"},{"prim":"pair","args":[{"prim":"nat"},{"prim":"map","args":[{"prim":"string"},{"prim":"bytes"}]}]}]},{"prim":"big_map","args":[{"prim":"pair","args":[{"prim":"address"},{"prim":"nat"}]},{"prim":"nat"}]},{"prim":"big_map","args":[{"prim":"pair","args":[{"prim":"address"},{"prim":"nat"},{"prim":"address"}]},{"prim":"unit"}]},{"prim":"big_map","args":[{"prim":"pair","args":[{"prim":"address"},{"prim":"address"}]},{"prim":"unit"}]},{"prim":"bool"},{"prim":"option","args":[{"prim":"address"}]},{"prim":"nat"},{"prim":"big_map","args":[{"prim":"string"},{"prim":"bytes"}]},{"prim":"big_map","args":[{"prim":"address"},{"prim":"nat"}]}]}]}]},{"prim":"IF_NONE","args":[[{"prim":"PUSH","args":[{"prim":"string"},{"string":"default"}]},{"prim":"PUSH","args":[{"prim":"string"},{"string":"ENTRY_NOT_FOUND"}]},{"prim":"PAIR"},{"prim":"FAILWITH"}],[]]},{"prim":"PUSH","args":[{"prim":"mutez"},{"int":"0"}]},{"prim":"DUP","args":[{"int":"5"}]},{"prim":"TRANSFER_TOKENS"},{"prim":"CONS"},{"prim":"ITER","args":[[{"prim":"CONS"}]]},{"prim":"DIP","args":[{"int":"1"},[{"prim":"DIG","args":[{"int":"16"}]},{"prim":"DROP","args":[{"int":"1"}]}]]},{"prim":"DUG","args":[{"int":"16"}]},{"prim":"DROP","args":[{"int":"1"}]},{"prim":"PAIR","args":[{"int":"15"}]},{"prim":"SWAP"},{"prim":"PAIR"}]]}]]}],[{"prim":"IF_LEFT","args":[[{"prim":"IF_LEFT","args":[[{"prim":"DROP","args":[{"int":"1"}]},{"prim":"PUSH","args":[{"prim":"mutez"},{"int":"0"}]},{"prim":"AMOUNT"},{"prim":"COMPARE"},{"prim":"EQ"},{"prim":"NOT"},{"prim":"IF","args":[[{"prim":"PUSH","args":[{"prim":"string"},{"string":"NO_FUND_EXPECTED"}]},{"prim":"FAILWITH"}],[]]},{"prim":"DUP","args":[{"int":"17"}]},{"prim":"PUSH","args":[{"prim":"bool"},{"prim":"False"}]},{"prim":"PACK"},{"prim":"PUSH","args":[{"prim":"int"},{"int":"6"}]},{"prim":"PAIR"},{"prim":"DUP","args":[{"int":"3"}]},{"prim":"PAIR"},{"prim":"DUP","args":[{"int":"5"}]},{"prim":"PAIR"},{"prim":"DUP","args":[{"int":"6"}]},{"prim":"PAIR"},{"prim":"DUP","args":[{"int":"8"}]},{"prim":"PAIR"},{"prim":"DUP","args":[{"int":"9"}]},{"prim":"PAIR"},{"prim":"DUP","args":[{"int":"10"}]},{"prim":"PAIR"},{"prim":"DUP","args":[{"int":"11"}]},{"prim":"PAIR"},{"prim":"DUP","args":[{"int":"12"}]},{"prim":"PAIR"},{"prim":"DUP","args":[{"int":"13"}]},{"prim":"PAIR"},{"prim":"DUP","args":[{"int":"14"}]},{"prim":"PAIR"},{"prim":"DUP","args":[{"int":"15"}]},{"prim":"PAIR"},{"prim":"DUP","args":[{"int":"16"}]},{"prim":"PAIR"},{"prim":"EXEC"},{"prim":"NIL","args":[{"prim":"operation"}]},{"prim":"NIL","args":[{"prim":"operation"}]},{"prim":"DUP","args":[{"int":"19"}]},{"prim":"ITER","args":[[{"prim":"CONS"}]]},{"prim":"DUP","args":[{"int":"5"}]},{"prim":"CONTRACT","args":[{"prim":"pair","args":[{"prim":"int"},{"prim":"address"},{"prim":"bytes"},{"prim":"pair","args":[{"prim":"address"},{"prim":"address"},{"prim":"address"},{"prim":"big_map","args":[{"prim":"nat"},{"prim":"pair","args":[{"prim":"nat"},{"prim":"map","args":[{"prim":"string"},{"prim":"bytes"}]}]}]},{"prim":"big_map","args":[{"prim":"pair","args":[{"prim":"address"},{"prim":"nat"}]},{"prim":"nat"}]},{"prim":"big_map","args":[{"prim":"pair","args":[{"prim":"address"},{"prim":"nat"},{"prim":"address"}]},{"prim":"unit"}]},{"prim":"big_map","args":[{"prim":"pair","args":[{"prim":"address"},{"prim":"address"}]},{"prim":"unit"}]},{"prim":"bool"},{"prim":"option","args":[{"prim":"address"}]},{"prim":"nat"},{"prim":"big_map","args":[{"prim":"string"},{"prim":"bytes"}]},{"prim":"big_map","args":[{"prim":"address"},{"prim":"nat"}]}]}]}]},{"prim":"IF_NONE","args":[[{"prim":"PUSH","args":[{"prim":"string"},{"string":"default"}]},{"prim":"PUSH","args":[{"prim":"string"},{"string":"ENTRY_NOT_FOUND"}]},{"prim":"PAIR"},{"prim":"FAILWITH"}],[]]},{"prim":"PUSH","args":[{"prim":"mutez"},{"int":"0"}]},{"prim":"DUP","args":[{"int":"5"}]},{"prim":"TRANSFER_TOKENS"},{"prim":"CONS"},{"prim":"ITER","args":[[{"prim":"CONS"}]]},{"prim":"DIP","args":[{"int":"1"},[{"prim":"DIG","args":[{"int":"16"}]},{"prim":"DROP","args":[{"int":"1"}]}]]},{"prim":"DUG","args":[{"int":"16"}]},{"prim":"DROP","args":[{"int":"1"}]},{"prim":"PAIR","args":[{"int":"15"}]},{"prim":"SWAP"},{"prim":"PAIR"}],[{"prim":"PUSH","args":[{"prim":"mutez"},{"int":"0"}]},{"prim":"AMOUNT"},{"prim":"COMPARE"},{"prim":"EQ"},{"prim":"NOT"},{"prim":"IF","args":[[{"prim":"PUSH","args":[{"prim":"string"},{"string":"NO_FUND_EXPECTED"}]},{"prim":"FAILWITH"}],[]]},{"prim":"DUP","args":[{"int":"18"}]},{"prim":"DUP","args":[{"int":"2"}]},{"prim":"PACK"},{"prim":"PUSH","args":[{"prim":"int"},{"int":"13"}]},{"prim":"PAIR"},{"prim":"DUP","args":[{"int":"4"}]},{"prim":"PAIR"},{"prim":"DUP","args":[{"int":"6"}]},{"prim":"PAIR"},{"prim":"DUP","args":[{"int":"7"}]},{"prim":"PAIR"},{"prim":"DUP","args":[{"int":"9"}]},{"prim":"PAIR"},{"prim":"DUP","args":[{"int":"10"}]},{"prim":"PAIR"},{"prim":"DUP","args":[{"int":"11"}]},{"prim":"PAIR"},{"prim":"DUP","args":[{"int":"12"}]},{"prim":"PAIR"},{"prim":"DUP","args":[{"int":"13"}]},{"prim":"PAIR"},{"prim":"DUP","args":[{"int":"14"}]},{"prim":"PAIR"},{"prim":"DUP","args":[{"int":"15"}]},{"prim":"PAIR"},{"prim":"DUP","args":[{"int":"16"}]},{"prim":"PAIR"},{"prim":"DUP","args":[{"int":"17"}]},{"prim":"PAIR"},{"prim":"EXEC"},{"prim":"NIL","args":[{"prim":"operation"}]},{"prim":"NIL","args":[{"prim":"operation"}]},{"prim":"DUP","args":[{"int":"20"}]},{"prim":"ITER","args":[[{"prim":"CONS"}]]},{"prim":"DUP","args":[{"int":"6"}]},{"prim":"CONTRACT","args":[{"prim":"pair","args":[{"prim":"int"},{"prim":"address"},{"prim":"bytes"},{"prim":"pair","args":[{"prim":"address"},{"prim":"address"},{"prim":"address"},{"prim":"big_map","args":[{"prim":"nat"},{"prim":"pair","args":[{"prim":"nat"},{"prim":"map","args":[{"prim":"string"},{"prim":"bytes"}]}]}]},{"prim":"big_map","args":[{"prim":"pair","args":[{"prim":"address"},{"prim":"nat"}]},{"prim":"nat"}]},{"prim":"big_map","args":[{"prim":"pair","args":[{"prim":"address"},{"prim":"nat"},{"prim":"address"}]},{"prim":"unit"}]},{"prim":"big_map","args":[{"prim":"pair","args":[{"prim":"address"},{"prim":"address"}]},{"prim":"unit"}]},{"prim":"bool"},{"prim":"option","args":[{"prim":"address"}]},{"prim":"nat"},{"prim":"big_map","args":[{"prim":"string"},{"prim":"bytes"}]},{"prim":"big_map","args":[{"prim":"address"},{"prim":"nat"}]}]}]}]},{"prim":"IF_NONE","args":[[{"prim":"PUSH","args":[{"prim":"string"},{"string":"default"}]},{"prim":"PUSH","args":[{"prim":"string"},{"string":"ENTRY_NOT_FOUND"}]},{"prim":"PAIR"},{"prim":"FAILWITH"}],[]]},{"prim":"PUSH","args":[{"prim":"mutez"},{"int":"0"}]},{"prim":"DUP","args":[{"int":"5"}]},{"prim":"TRANSFER_TOKENS"},{"prim":"CONS"},{"prim":"ITER","args":[[{"prim":"CONS"}]]},{"prim":"DIP","args":[{"int":"1"},[{"prim":"DIG","args":[{"int":"17"}]},{"prim":"DROP","args":[{"int":"1"}]}]]},{"prim":"DUG","args":[{"int":"17"}]},{"prim":"DROP","args":[{"int":"2"}]},{"prim":"PAIR","args":[{"int":"15"}]},{"prim":"SWAP"},{"prim":"PAIR"}]]}],[{"prim":"PUSH","args":[{"prim":"mutez"},{"int":"0"}]},{"prim":"AMOUNT"},{"prim":"COMPARE"},{"prim":"EQ"},{"prim":"NOT"},{"prim":"IF","args":[[{"prim":"PUSH","args":[{"prim":"string"},{"string":"NO_FUND_EXPECTED"}]},{"prim":"FAILWITH"}],[]]},{"prim":"DUP","args":[{"int":"18"}]},{"prim":"DUP","args":[{"int":"2"}]},{"prim":"PACK"},{"prim":"PUSH","args":[{"prim":"int"},{"int":"14"}]},{"prim":"PAIR"},{"prim":"DUP","args":[{"int":"4"}]},{"prim":"PAIR"},{"prim":"DUP","args":[{"int":"6"}]},{"prim":"PAIR"},{"prim":"DUP","args":[{"int":"7"}]},{"prim":"PAIR"},{"prim":"DUP","args":[{"int":"9"}]},{"prim":"PAIR"},{"prim":"DUP","args":[{"int":"10"}]},{"prim":"PAIR"},{"prim":"DUP","args":[{"int":"11"}]},{"prim":"PAIR"},{"prim":"DUP","args":[{"int":"12"}]},{"prim":"PAIR"},{"prim":"DUP","args":[{"int":"13"}]},{"prim":"PAIR"},{"prim":"DUP","args":[{"int":"14"}]},{"prim":"PAIR"},{"prim":"DUP","args":[{"int":"15"}]},{"prim":"PAIR"},{"prim":"DUP","args":[{"int":"16"}]},{"prim":"PAIR"},{"prim":"DUP","args":[{"int":"17"}]},{"prim":"PAIR"},{"prim":"EXEC"},{"prim":"NIL","args":[{"prim":"operation"}]},{"prim":"NIL","args":[{"prim":"operation"}]},{"prim":"DUP","args":[{"int":"20"}]},{"prim":"ITER","args":[[{"prim":"CONS"}]]},{"prim":"DUP","args":[{"int":"6"}]},{"prim":"CONTRACT","args":[{"prim":"pair","args":[{"prim":"int"},{"prim":"address"},{"prim":"bytes"},{"prim":"pair","args":[{"prim":"address"},{"prim":"address"},{"prim":"address"},{"prim":"big_map","args":[{"prim":"nat"},{"prim":"pair","args":[{"prim":"nat"},{"prim":"map","args":[{"prim":"string"},{"prim":"bytes"}]}]}]},{"prim":"big_map","args":[{"prim":"pair","args":[{"prim":"address"},{"prim":"nat"}]},{"prim":"nat"}]},{"prim":"big_map","args":[{"prim":"pair","args":[{"prim":"address"},{"prim":"nat"},{"prim":"address"}]},{"prim":"unit"}]},{"prim":"big_map","args":[{"prim":"pair","args":[{"prim":"address"},{"prim":"address"}]},{"prim":"unit"}]},{"prim":"bool"},{"prim":"option","args":[{"prim":"address"}]},{"prim":"nat"},{"prim":"big_map","args":[{"prim":"string"},{"prim":"bytes"}]},{"prim":"big_map","args":[{"prim":"address"},{"prim":"nat"}]}]}]}]},{"prim":"IF_NONE","args":[[{"prim":"PUSH","args":[{"prim":"string"},{"string":"default"}]},{"prim":"PUSH","args":[{"prim":"string"},{"string":"ENTRY_NOT_FOUND"}]},{"prim":"PAIR"},{"prim":"FAILWITH"}],[]]},{"prim":"PUSH","args":[{"prim":"mutez"},{"int":"0"}]},{"prim":"DUP","args":[{"int":"5"}]},{"prim":"TRANSFER_TOKENS"},{"prim":"CONS"},{"prim":"ITER","args":[[{"prim":"CONS"}]]},{"prim":"DIP","args":[{"int":"1"},[{"prim":"DIG","args":[{"int":"17"}]},{"prim":"DROP","args":[{"int":"1"}]}]]},{"prim":"DUG","args":[{"int":"17"}]},{"prim":"DROP","args":[{"int":"2"}]},{"prim":"PAIR","args":[{"int":"15"}]},{"prim":"SWAP"},{"prim":"PAIR"}]]}]]}]]},{"prim":"DIP","args":[{"int":"1"},[{"prim":"DROP","args":[{"int":"1"}]}]]}]]}]