[{"prim":"parameter","args":[{"prim":"or","args":[{"prim":"or","args":[{"prim":"or","args":[{"prim":"or","args":[{"prim":"nat","annots":["%bailout"]},{"prim":"or","args":[{"prim":"nat","annots":["%burn"]},{"prim":"pair","annots":["%create_vault"],"args":[{"prim":"option","annots":["%baker"],"args":[{"prim":"key_hash"}]},{"prim":"contract","annots":["%contract_address_callback"],"args":[{"prim":"address"}]}]}]}]},{"prim":"or","args":[{"prim":"lambda","annots":["%execute"],"args":[{"prim":"unit"},{"prim":"list","args":[{"prim":"operation"}]}]},{"prim":"or","args":[{"prim":"unit","annots":["%interest_rate_update"]},{"prim":"nat","annots":["%internal_bailout"]}]}]}]},{"prim":"or","args":[{"prim":"or","args":[{"prim":"nat","annots":["%internal_burn"]},{"prim":"or","args":[{"prim":"unit","annots":["%internal_interest_rate_update"]},{"prim":"pair","annots":["%internal_liquidate"],"args":[{"prim":"address","annots":["%vault_owner"]},{"prim":"nat","annots":["%token_amount"]}]}]}]},{"prim":"or","args":[{"prim":"nat","annots":["%internal_mint"]},{"prim":"or","args":[{"prim":"pair","annots":["%internal_settle_with_vault"],"args":[{"prim":"address","annots":["%vault_owner"]},{"prim":"pair","args":[{"prim":"nat","annots":["%token_amount"]},{"prim":"address","annots":["%recipient"]}]}]},{"prim":"mutez","annots":["%internal_withdraw"]}]}]}]}]},{"prim":"or","args":[{"prim":"or","args":[{"prim":"or","args":[{"prim":"pair","annots":["%liquidate"],"args":[{"prim":"address","annots":["%vault_owner"]},{"prim":"nat","annots":["%token_amount"]}]},{"prim":"or","args":[{"prim":"nat","annots":["%mint"]},{"prim":"pair","annots":["%remove_administrator"],"args":[{"prim":"address","annots":["%administrator_to_remove"]},{"prim":"nat","annots":["%token_id"]}]}]}]},{"prim":"or","args":[{"prim":"pair","annots":["%set_administrator"],"args":[{"prim":"address","annots":["%administrator_to_set"]},{"prim":"nat","annots":["%token_id"]}]},{"prim":"or","args":[{"prim":"pair","annots":["%set_contracts"],"args":[{"prim":"pair","args":[{"prim":"address","annots":["%governance_token_contract"]},{"prim":"pair","args":[{"prim":"address","annots":["%observed_price_oracle"]},{"prim":"address","annots":["%options_contract"]}]}]},{"prim":"pair","args":[{"prim":"address","annots":["%reward_pool_contract"]},{"prim":"pair","args":[{"prim":"address","annots":["%savings_pool_contract"]},{"prim":"address","annots":["%target_price_oracle"]}]}]}]},{"prim":"nat","annots":["%set_observed_price"]}]}]}]},{"prim":"or","args":[{"prim":"or","args":[{"prim":"nat","annots":["%set_target_price"]},{"prim":"or","args":[{"prim":"mutez","annots":["%set_vault_balance"]},{"prim":"option","annots":["%set_vault_delegate"],"args":[{"prim":"key_hash"}]}]}]},{"prim":"or","args":[{"prim":"pair","annots":["%settle_with_vault"],"args":[{"prim":"address","annots":["%vault_owner"]},{"prim":"pair","args":[{"prim":"nat","annots":["%token_amount"]},{"prim":"address","annots":["%recipient"]}]}]},{"prim":"or","args":[{"prim":"unit","annots":["%update"]},{"prim":"mutez","annots":["%withdraw"]}]}]}]}]}]}]},{"prim":"storage","args":[{"prim":"pair","args":[{"prim":"pair","args":[{"prim":"pair","args":[{"prim":"pair","args":[{"prim":"timestamp","annots":["%accrual_update_timestamp"]},{"prim":"big_map","annots":["%administrators"],"args":[{"prim":"pair","args":[{"prim":"address","annots":["%owner"]},{"prim":"nat","annots":["%token_id"]}]},{"prim":"unit"}]}]},{"prim":"pair","args":[{"prim":"nat","annots":["%compound_interest_rate"]},{"prim":"address","annots":["%governance_token_contract"]}]}]},{"prim":"pair","args":[{"prim":"pair","args":[{"prim":"timestamp","annots":["%last_update_timestamp"]},{"prim":"nat","annots":["%observed_price"]}]},{"prim":"pair","args":[{"prim":"address","annots":["%observed_price_oracle"]},{"prim":"pair","args":[{"prim":"address","annots":["%options_contract"]},{"prim":"nat","annots":["%reference_interest_rate"]}]}]}]}]},{"prim":"pair","args":[{"prim":"pair","args":[{"prim":"pair","args":[{"prim":"address","annots":["%reward_pool_contract"]},{"prim":"address","annots":["%savings_pool_contract"]}]},{"prim":"pair","args":[{"prim":"address","annots":["%sender"]},{"prim":"pair","args":[{"prim":"nat","annots":["%target_price"]},{"prim":"address","annots":["%target_price_oracle"]}]}]}]},{"prim":"pair","args":[{"prim":"pair","args":[{"prim":"address","annots":["%token_contract"]},{"prim":"nat","annots":["%token_id"]}]},{"prim":"pair","args":[{"prim":"nat","annots":["%total_supply"]},{"prim":"pair","args":[{"prim":"big_map","annots":["%vault_contexts"],"args":[{"prim":"address"},{"prim":"pair","args":[{"prim":"pair","args":[{"prim":"address","annots":["%address"]},{"prim":"mutez","annots":["%balance"]}]},{"prim":"pair","args":[{"prim":"bool","annots":["%is_being_liquidated"]},{"prim":"nat","annots":["%minted"]}]}]}]},{"prim":"big_map","annots":["%vault_lookup"],"args":[{"prim":"address"},{"prim":"address"}]}]}]}]}]}]}]},{"prim":"code","args":[[{"prim":"CAST","args":[{"prim":"pair","args":[{"prim":"or","args":[{"prim":"or","args":[{"prim":"or","args":[{"prim":"or","args":[{"prim":"nat"},{"prim":"or","args":[{"prim":"nat"},{"prim":"pair","args":[{"prim":"option","args":[{"prim":"key_hash"}]},{"prim":"contract","args":[{"prim":"address"}]}]}]}]},{"prim":"or","args":[{"prim":"lambda","args":[{"prim":"unit"},{"prim":"list","args":[{"prim":"operation"}]}]},{"prim":"or","args":[{"prim":"unit"},{"prim":"nat"}]}]}]},{"prim":"or","args":[{"prim":"or","args":[{"prim":"nat"},{"prim":"or","args":[{"prim":"unit"},{"prim":"pair","args":[{"prim":"address"},{"prim":"nat"}]}]}]},{"prim":"or","args":[{"prim":"nat"},{"prim":"or","args":[{"prim":"pair","args":[{"prim":"address"},{"prim":"pair","args":[{"prim":"nat"},{"prim":"address"}]}]},{"prim":"mutez"}]}]}]}]},{"prim":"or","args":[{"prim":"or","args":[{"prim":"or","args":[{"prim":"pair","args":[{"prim":"address"},{"prim":"nat"}]},{"prim":"or","args":[{"prim":"nat"},{"prim":"pair","args":[{"prim":"address"},{"prim":"nat"}]}]}]},{"prim":"or","args":[{"prim":"pair","args":[{"prim":"address"},{"prim":"nat"}]},{"prim":"or","args":[{"prim":"pair","args":[{"prim":"pair","args":[{"prim":"address"},{"prim":"pair","args":[{"prim":"address"},{"prim":"address"}]}]},{"prim":"pair","args":[{"prim":"address"},{"prim":"pair","args":[{"prim":"address"},{"prim":"address"}]}]}]},{"prim":"nat"}]}]}]},{"prim":"or","args":[{"prim":"or","args":[{"prim":"nat"},{"prim":"or","args":[{"prim":"mutez"},{"prim":"option","args":[{"prim":"key_hash"}]}]}]},{"prim":"or","args":[{"prim":"pair","args":[{"prim":"address"},{"prim":"pair","args":[{"prim":"nat"},{"prim":"address"}]}]},{"prim":"or","args":[{"prim":"unit"},{"prim":"mutez"}]}]}]}]}]},{"prim":"pair","args":[{"prim":"pair","args":[{"prim":"pair","args":[{"prim":"pair","args":[{"prim":"timestamp"},{"prim":"big_map","args":[{"prim":"pair","args":[{"prim":"address"},{"prim":"nat"}]},{"prim":"unit"}]}]},{"prim":"pair","args":[{"prim":"nat"},{"prim":"address"}]}]},{"prim":"pair","args":[{"prim":"pair","args":[{"prim":"timestamp"},{"prim":"nat"}]},{"prim":"pair","args":[{"prim":"address"},{"prim":"pair","args":[{"prim":"address"},{"prim":"nat"}]}]}]}]},{"prim":"pair","args":[{"prim":"pair","args":[{"prim":"pair","args":[{"prim":"address"},{"prim":"address"}]},{"prim":"pair","args":[{"prim":"address"},{"prim":"pair","args":[{"prim":"nat"},{"prim":"address"}]}]}]},{"prim":"pair","args":[{"prim":"pair","args":[{"prim":"address"},{"prim":"nat"}]},{"prim":"pair","args":[{"prim":"nat"},{"prim":"pair","args":[{"prim":"big_map","args":[{"prim":"address"},{"prim":"pair","args":[{"prim":"pair","args":[{"prim":"address"},{"prim":"mutez"}]},{"prim":"pair","args":[{"prim":"bool"},{"prim":"nat"}]}]}]},{"prim":"big_map","args":[{"prim":"address"},{"prim":"address"}]}]}]}]}]}]}]}]},{"prim":"LAMBDA","args":[{"prim":"pair","args":[{"prim":"unit"},{"prim":"pair","args":[{"prim":"pair","args":[{"prim":"pair","args":[{"prim":"pair","args":[{"prim":"timestamp"},{"prim":"big_map","args":[{"prim":"pair","args":[{"prim":"address"},{"prim":"nat"}]},{"prim":"unit"}]}]},{"prim":"pair","args":[{"prim":"nat"},{"prim":"address"}]}]},{"prim":"pair","args":[{"prim":"pair","args":[{"prim":"timestamp"},{"prim":"nat"}]},{"prim":"pair","args":[{"prim":"address"},{"prim":"pair","args":[{"prim":"address"},{"prim":"nat"}]}]}]}]},{"prim":"pair","args":[{"prim":"pair","args":[{"prim":"pair","args":[{"prim":"address"},{"prim":"address"}]},{"prim":"pair","args":[{"prim":"address"},{"prim":"pair","args":[{"prim":"nat"},{"prim":"address"}]}]}]},{"prim":"pair","args":[{"prim":"pair","args":[{"prim":"address"},{"prim":"nat"}]},{"prim":"pair","args":[{"prim":"nat"},{"prim":"pair","args":[{"prim":"big_map","args":[{"prim":"address"},{"prim":"pair","args":[{"prim":"pair","args":[{"prim":"address"},{"prim":"mutez"}]},{"prim":"pair","args":[{"prim":"bool"},{"prim":"nat"}]}]}]},{"prim":"big_map","args":[{"prim":"address"},{"prim":"address"}]}]}]}]}]}]}]},{"prim":"pair","args":[{"prim":"list","args":[{"prim":"operation"}]},{"prim":"pair","args":[{"prim":"unit"},{"prim":"pair","args":[{"prim":"pair","args":[{"prim":"pair","args":[{"prim":"pair","args":[{"prim":"timestamp"},{"prim":"big_map","args":[{"prim":"pair","args":[{"prim":"address"},{"prim":"nat"}]},{"prim":"unit"}]}]},{"prim":"pair","args":[{"prim":"nat"},{"prim":"address"}]}]},{"prim":"pair","args":[{"prim":"pair","args":[{"prim":"timestamp"},{"prim":"nat"}]},{"prim":"pair","args":[{"prim":"address"},{"prim":"pair","args":[{"prim":"address"},{"prim":"nat"}]}]}]}]},{"prim":"pair","args":[{"prim":"pair","args":[{"prim":"pair","args":[{"prim":"address"},{"prim":"address"}]},{"prim":"pair","args":[{"prim":"address"},{"prim":"pair","args":[{"prim":"nat"},{"prim":"address"}]}]}]},{"prim":"pair","args":[{"prim":"pair","args":[{"prim":"address"},{"prim":"nat"}]},{"prim":"pair","args":[{"prim":"nat"},{"prim":"pair","args":[{"prim":"big_map","args":[{"prim":"address"},{"prim":"pair","args":[{"prim":"pair","args":[{"prim":"address"},{"prim":"mutez"}]},{"prim":"pair","args":[{"prim":"bool"},{"prim":"nat"}]}]}]},{"prim":"big_map","args":[{"prim":"address"},{"prim":"address"}]}]}]}]}]}]}]}]},[{"prim":"NIL","args":[{"prim":"operation"}]},{"prim":"SWAP"},{"prim":"CDR"},{"prim":"DUP"},{"prim":"DUG","args":[{"int":"2"}]},{"prim":"CAR"},{"prim":"GET","args":[{"int":"5"}]},{"prim":"CONTRACT","annots":["%get_price"],"args":[{"prim":"contract","args":[{"prim":"nat"}]}]},{"prim":"IF_NONE","args":[[{"prim":"PUSH","args":[{"prim":"int"},{"int":"50"}]},{"prim":"FAILWITH"}],[]]},{"prim":"PUSH","args":[{"prim":"mutez"},{"int":"0"}]},{"prim":"SELF_ADDRESS"},{"prim":"CONTRACT","annots":["%set_observed_price"],"args":[{"prim":"nat"}]},{"prim":"IF_NONE","args":[[{"prim":"PUSH","args":[{"prim":"int"},{"int":"52"}]},{"prim":"FAILWITH"}],[]]},{"prim":"TRANSFER_TOKENS"},{"prim":"CONS"},{"prim":"SWAP"},{"prim":"UNIT"},{"prim":"DIG","args":[{"int":"2"}]},{"prim":"PAIR","args":[{"int":"3"}]}]]},{"prim":"SWAP"},{"prim":"LAMBDA","args":[{"prim":"pair","args":[{"prim":"unit"},{"prim":"pair","args":[{"prim":"pair","args":[{"prim":"pair","args":[{"prim":"pair","args":[{"prim":"timestamp"},{"prim":"big_map","args":[{"prim":"pair","args":[{"prim":"address"},{"prim":"nat"}]},{"prim":"unit"}]}]},{"prim":"pair","args":[{"prim":"nat"},{"prim":"address"}]}]},{"prim":"pair","args":[{"prim":"pair","args":[{"prim":"timestamp"},{"prim":"nat"}]},{"prim":"pair","args":[{"prim":"address"},{"prim":"pair","args":[{"prim":"address"},{"prim":"nat"}]}]}]}]},{"prim":"pair","args":[{"prim":"pair","args":[{"prim":"pair","args":[{"prim":"address"},{"prim":"address"}]},{"prim":"pair","args":[{"prim":"address"},{"prim":"pair","args":[{"prim":"nat"},{"prim":"address"}]}]}]},{"prim":"pair","args":[{"prim":"pair","args":[{"prim":"address"},{"prim":"nat"}]},{"prim":"pair","args":[{"prim":"nat"},{"prim":"pair","args":[{"prim":"big_map","args":[{"prim":"address"},{"prim":"pair","args":[{"prim":"pair","args":[{"prim":"address"},{"prim":"mutez"}]},{"prim":"pair","args":[{"prim":"bool"},{"prim":"nat"}]}]}]},{"prim":"big_map","args":[{"prim":"address"},{"prim":"address"}]}]}]}]}]}]}]},{"prim":"pair","args":[{"prim":"list","args":[{"prim":"operation"}]},{"prim":"pair","args":[{"prim":"unit"},{"prim":"pair","args":[{"prim":"pair","args":[{"prim":"pair","args":[{"prim":"pair","args":[{"prim":"timestamp"},{"prim":"big_map","args":[{"prim":"pair","args":[{"prim":"address"},{"prim":"nat"}]},{"prim":"unit"}]}]},{"prim":"pair","args":[{"prim":"nat"},{"prim":"address"}]}]},{"prim":"pair","args":[{"prim":"pair","args":[{"prim":"timestamp"},{"prim":"nat"}]},{"prim":"pair","args":[{"prim":"address"},{"prim":"pair","args":[{"prim":"address"},{"prim":"nat"}]}]}]}]},{"prim":"pair","args":[{"prim":"pair","args":[{"prim":"pair","args":[{"prim":"address"},{"prim":"address"}]},{"prim":"pair","args":[{"prim":"address"},{"prim":"pair","args":[{"prim":"nat"},{"prim":"address"}]}]}]},{"prim":"pair","args":[{"prim":"pair","args":[{"prim":"address"},{"prim":"nat"}]},{"prim":"pair","args":[{"prim":"nat"},{"prim":"pair","args":[{"prim":"big_map","args":[{"prim":"address"},{"prim":"pair","args":[{"prim":"pair","args":[{"prim":"address"},{"prim":"mutez"}]},{"prim":"pair","args":[{"prim":"bool"},{"prim":"nat"}]}]}]},{"prim":"big_map","args":[{"prim":"address"},{"prim":"address"}]}]}]}]}]}]}]}]},[{"prim":"NIL","args":[{"prim":"operation"}]},{"prim":"SWAP"},{"prim":"CDR"},{"prim":"DUP"},{"prim":"DUG","args":[{"int":"2"}]},{"prim":"GET","args":[{"int":"3"}]},{"prim":"GET","args":[{"int":"6"}]},{"prim":"CONTRACT","annots":["%get_price"],"args":[{"prim":"contract","args":[{"prim":"nat"}]}]},{"prim":"IF_NONE","args":[[{"prim":"PUSH","args":[{"prim":"int"},{"int":"50"}]},{"prim":"FAILWITH"}],[]]},{"prim":"PUSH","args":[{"prim":"mutez"},{"int":"0"}]},{"prim":"SELF_ADDRESS"},{"prim":"CONTRACT","annots":["%set_target_price"],"args":[{"prim":"nat"}]},{"prim":"IF_NONE","args":[[{"prim":"PUSH","args":[{"prim":"int"},{"int":"52"}]},{"prim":"FAILWITH"}],[]]},{"prim":"TRANSFER_TOKENS"},{"prim":"CONS"},{"prim":"SWAP"},{"prim":"UNIT"},{"prim":"DIG","args":[{"int":"2"}]},{"prim":"PAIR","args":[{"int":"3"}]}]]},{"prim":"SWAP"},{"prim":"LAMBDA","args":[{"prim":"pair","args":[{"prim":"unit"},{"prim":"pair","args":[{"prim":"pair","args":[{"prim":"pair","args":[{"prim":"pair","args":[{"prim":"timestamp"},{"prim":"big_map","args":[{"prim":"pair","args":[{"prim":"address"},{"prim":"nat"}]},{"prim":"unit"}]}]},{"prim":"pair","args":[{"prim":"nat"},{"prim":"address"}]}]},{"prim":"pair","args":[{"prim":"pair","args":[{"prim":"timestamp"},{"prim":"nat"}]},{"prim":"pair","args":[{"prim":"address"},{"prim":"pair","args":[{"prim":"address"},{"prim":"nat"}]}]}]}]},{"prim":"pair","args":[{"prim":"pair","args":[{"prim":"pair","args":[{"prim":"address"},{"prim":"address"}]},{"prim":"pair","args":[{"prim":"address"},{"prim":"pair","args":[{"prim":"nat"},{"prim":"address"}]}]}]},{"prim":"pair","args":[{"prim":"pair","args":[{"prim":"address"},{"prim":"nat"}]},{"prim":"pair","args":[{"prim":"nat"},{"prim":"pair","args":[{"prim":"big_map","args":[{"prim":"address"},{"prim":"pair","args":[{"prim":"pair","args":[{"prim":"address"},{"prim":"mutez"}]},{"prim":"pair","args":[{"prim":"bool"},{"prim":"nat"}]}]}]},{"prim":"big_map","args":[{"prim":"address"},{"prim":"address"}]}]}]}]}]}]}]},{"prim":"pair","args":[{"prim":"list","args":[{"prim":"operation"}]},{"prim":"pair","args":[{"prim":"unit"},{"prim":"pair","args":[{"prim":"pair","args":[{"prim":"pair","args":[{"prim":"pair","args":[{"prim":"timestamp"},{"prim":"big_map","args":[{"prim":"pair","args":[{"prim":"address"},{"prim":"nat"}]},{"prim":"unit"}]}]},{"prim":"pair","args":[{"prim":"nat"},{"prim":"address"}]}]},{"prim":"pair","args":[{"prim":"pair","args":[{"prim":"timestamp"},{"prim":"nat"}]},{"prim":"pair","args":[{"prim":"address"},{"prim":"pair","args":[{"prim":"address"},{"prim":"nat"}]}]}]}]},{"prim":"pair","args":[{"prim":"pair","args":[{"prim":"pair","args":[{"prim":"address"},{"prim":"address"}]},{"prim":"pair","args":[{"prim":"address"},{"prim":"pair","args":[{"prim":"nat"},{"prim":"address"}]}]}]},{"prim":"pair","args":[{"prim":"pair","args":[{"prim":"address"},{"prim":"nat"}]},{"prim":"pair","args":[{"prim":"nat"},{"prim":"pair","args":[{"prim":"big_map","args":[{"prim":"address"},{"prim":"pair","args":[{"prim":"pair","args":[{"prim":"address"},{"prim":"mutez"}]},{"prim":"pair","args":[{"prim":"bool"},{"prim":"nat"}]}]}]},{"prim":"big_map","args":[{"prim":"address"},{"prim":"address"}]}]}]}]}]}]}]}]},[{"prim":"NIL","args":[{"prim":"operation"}]},{"prim":"SWAP"},{"prim":"DUP"},{"prim":"DUG","args":[{"int":"2"}]},{"prim":"CDR"},{"prim":"DUP"},{"prim":"CAR"},{"prim":"CAR"},{"prim":"CAR"},{"prim":"CAR"},{"prim":"NOW"},{"prim":"SUB"},{"prim":"ISNAT"},{"prim":"IF_NONE","args":[[{"prim":"PUSH","args":[{"prim":"int"},{"int":"146"}]},{"prim":"FAILWITH"}],[]]},{"prim":"DUP"},{"prim":"PUSH","args":[{"prim":"nat"},{"int":"0"}]},{"prim":"COMPARE"},{"prim":"LT"},{"prim":"IF","args":[[{"prim":"DIG","args":[{"int":"3"}]},{"prim":"DROP"},{"prim":"PUSH","args":[{"prim":"nat"},{"int":"1000000000000"}]},{"prim":"DUP","args":[{"int":"3"}]},{"prim":"GET","args":[{"int":"7"}]},{"prim":"DUP","args":[{"int":"3"}]},{"prim":"DUP","args":[{"int":"5"}]},{"prim":"CAR"},{"prim":"GET","args":[{"int":"8"}]},{"prim":"MUL"},{"prim":"MUL"},{"prim":"EDIV"},{"prim":"IF_NONE","args":[[{"prim":"PUSH","args":[{"prim":"int"},{"int":"149"}]},{"prim":"FAILWITH"}],[{"prim":"CAR"}]]},{"prim":"PUSH","args":[{"prim":"nat"},{"int":"1000000000000"}]},{"prim":"DUP","args":[{"int":"4"}]},{"prim":"GET","args":[{"int":"7"}]},{"prim":"DUP","args":[{"int":"4"}]},{"prim":"PUSH","args":[{"prim":"nat"},{"int":"316"}]},{"prim":"MUL"},{"prim":"MUL"},{"prim":"EDIV"},{"prim":"IF_NONE","args":[[{"prim":"PUSH","args":[{"prim":"int"},{"int":"151"}]},{"prim":"FAILWITH"}],[{"prim":"CAR"}]]},{"prim":"DUP","args":[{"int":"4"}]},{"prim":"UNPAIR"},{"prim":"UNPAIR"},{"prim":"UNPAIR"},{"prim":"SWAP"},{"prim":"CDR"},{"prim":"PUSH","args":[{"prim":"nat"},{"int":"1000000000000"}]},{"prim":"DIG","args":[{"int":"7"}]},{"prim":"PUSH","args":[{"prim":"nat"},{"int":"316"}]},{"prim":"DUP","args":[{"int":"10"}]},{"prim":"CAR"},{"prim":"GET","args":[{"int":"8"}]},{"prim":"ADD"},{"prim":"MUL"},{"prim":"PUSH","args":[{"prim":"nat"},{"int":"1000000000000"}]},{"prim":"ADD"},{"prim":"DIG","args":[{"int":"8"}]},{"prim":"CAR"},{"prim":"CAR"},{"prim":"GET","args":[{"int":"3"}]},{"prim":"MUL"},{"prim":"EDIV"},{"prim":"IF_NONE","args":[[{"prim":"PUSH","args":[{"prim":"int"},{"int":"155"}]},{"prim":"FAILWITH"}],[{"prim":"CAR"}]]},{"prim":"PAIR"},{"prim":"SWAP"},{"prim":"PAIR"},{"prim":"PAIR"},{"prim":"PAIR"},{"prim":"DUG","args":[{"int":"2"}]},{"prim":"DIG","args":[{"int":"3"}]},{"prim":"DUP","args":[{"int":"4"}]},{"prim":"GET","args":[{"int":"5"}]},{"prim":"CAR"},{"prim":"CONTRACT","annots":["%mint"],"args":[{"prim":"pair","args":[{"prim":"address"},{"prim":"pair","args":[{"prim":"nat"},{"prim":"nat"}]}]}]},{"prim":"IF_NONE","args":[[{"prim":"PUSH","args":[{"prim":"int"},{"int":"101"}]},{"prim":"FAILWITH"}],[]]},{"prim":"PUSH","args":[{"prim":"mutez"},{"int":"0"}]},{"prim":"DUP","args":[{"int":"5"}]},{"prim":"DIG","args":[{"int":"6"}]},{"prim":"DUP"},{"prim":"GET","args":[{"int":"5"}]},{"prim":"CDR"},{"prim":"SWAP"},{"prim":"DUP"},{"prim":"DUG","args":[{"int":"8"}]},{"prim":"GET","args":[{"int":"3"}]},{"prim":"CAR"},{"prim":"CDR"},{"prim":"PAIR","args":[{"int":"3"}]},{"prim":"TRANSFER_TOKENS"},{"prim":"CONS"},{"prim":"DUP","args":[{"int":"4"}]},{"prim":"GET","args":[{"int":"5"}]},{"prim":"CAR"},{"prim":"CONTRACT","annots":["%mint"],"args":[{"prim":"pair","args":[{"prim":"address"},{"prim":"pair","args":[{"prim":"nat"},{"prim":"nat"}]}]}]},{"prim":"IF_NONE","args":[[{"prim":"PUSH","args":[{"prim":"int"},{"int":"101"}]},{"prim":"FAILWITH"}],[]]},{"prim":"PUSH","args":[{"prim":"mutez"},{"int":"0"}]},{"prim":"DUP","args":[{"int":"4"}]},{"prim":"DIG","args":[{"int":"6"}]},{"prim":"DUP"},{"prim":"GET","args":[{"int":"5"}]},{"prim":"CDR"},{"prim":"SWAP"},{"prim":"DUP"},{"prim":"DUG","args":[{"int":"8"}]},{"prim":"GET","args":[{"int":"3"}]},{"prim":"CAR"},{"prim":"CAR"},{"prim":"PAIR","args":[{"int":"3"}]},{"prim":"TRANSFER_TOKENS"},{"prim":"CONS"},{"prim":"DUG","args":[{"int":"3"}]},{"prim":"DIG","args":[{"int":"2"}]},{"prim":"DUP"},{"prim":"GET","args":[{"int":"7"}]},{"prim":"DIG","args":[{"int":"2"}]},{"prim":"DIG","args":[{"int":"3"}]},{"prim":"ADD"},{"prim":"ADD"},{"prim":"UPDATE","args":[{"int":"7"}]},{"prim":"UNPAIR"},{"prim":"UNPAIR"},{"prim":"UNPAIR"},{"prim":"CDR"},{"prim":"NOW"},{"prim":"PAIR"},{"prim":"PAIR"},{"prim":"PAIR"},{"prim":"PAIR"}],[{"prim":"DROP"},{"prim":"DIG","args":[{"int":"2"}]},{"prim":"DROP"}]]},{"prim":"UNIT"},{"prim":"DIG","args":[{"int":"2"}]},{"prim":"PAIR","args":[{"int":"3"}]}]]},{"prim":"SWAP"},{"prim":"LAMBDA","args":[{"prim":"pair","args":[{"prim":"pair","args":[{"prim":"address"},{"prim":"nat"}]},{"prim":"pair","args":[{"prim":"pair","args":[{"prim":"pair","args":[{"prim":"pair","args":[{"prim":"timestamp"},{"prim":"big_map","args":[{"prim":"pair","args":[{"prim":"address"},{"prim":"nat"}]},{"prim":"unit"}]}]},{"prim":"pair","args":[{"prim":"nat"},{"prim":"address"}]}]},{"prim":"pair","args":[{"prim":"pair","args":[{"prim":"timestamp"},{"prim":"nat"}]},{"prim":"pair","args":[{"prim":"address"},{"prim":"pair","args":[{"prim":"address"},{"prim":"nat"}]}]}]}]},{"prim":"pair","args":[{"prim":"pair","args":[{"prim":"pair","args":[{"prim":"address"},{"prim":"address"}]},{"prim":"pair","args":[{"prim":"address"},{"prim":"pair","args":[{"prim":"nat"},{"prim":"address"}]}]}]},{"prim":"pair","args":[{"prim":"pair","args":[{"prim":"address"},{"prim":"nat"}]},{"prim":"pair","args":[{"prim":"nat"},{"prim":"pair","args":[{"prim":"big_map","args":[{"prim":"address"},{"prim":"pair","args":[{"prim":"pair","args":[{"prim":"address"},{"prim":"mutez"}]},{"prim":"pair","args":[{"prim":"bool"},{"prim":"nat"}]}]}]},{"prim":"big_map","args":[{"prim":"address"},{"prim":"address"}]}]}]}]}]}]}]},{"prim":"pair","args":[{"prim":"list","args":[{"prim":"operation"}]},{"prim":"pair","args":[{"prim":"unit"},{"prim":"pair","args":[{"prim":"pair","args":[{"prim":"pair","args":[{"prim":"pair","args":[{"prim":"timestamp"},{"prim":"big_map","args":[{"prim":"pair","args":[{"prim":"address"},{"prim":"nat"}]},{"prim":"unit"}]}]},{"prim":"pair","args":[{"prim":"nat"},{"prim":"address"}]}]},{"prim":"pair","args":[{"prim":"pair","args":[{"prim":"timestamp"},{"prim":"nat"}]},{"prim":"pair","args":[{"prim":"address"},{"prim":"pair","args":[{"prim":"address"},{"prim":"nat"}]}]}]}]},{"prim":"pair","args":[{"prim":"pair","args":[{"prim":"pair","args":[{"prim":"address"},{"prim":"address"}]},{"prim":"pair","args":[{"prim":"address"},{"prim":"pair","args":[{"prim":"nat"},{"prim":"address"}]}]}]},{"prim":"pair","args":[{"prim":"pair","args":[{"prim":"address"},{"prim":"nat"}]},{"prim":"pair","args":[{"prim":"nat"},{"prim":"pair","args":[{"prim":"big_map","args":[{"prim":"address"},{"prim":"pair","args":[{"prim":"pair","args":[{"prim":"address"},{"prim":"mutez"}]},{"prim":"pair","args":[{"prim":"bool"},{"prim":"nat"}]}]}]},{"prim":"big_map","args":[{"prim":"address"},{"prim":"address"}]}]}]}]}]}]}]}]},[{"prim":"NIL","args":[{"prim":"operation"}]},{"prim":"SWAP"},{"prim":"DUP"},{"prim":"DUG","args":[{"int":"2"}]},{"prim":"CDR"},{"prim":"DUP"},{"prim":"DUG","args":[{"int":"2"}]},{"prim":"CAR"},{"prim":"CAR"},{"prim":"GET","args":[{"int":"4"}]},{"prim":"CONTRACT","annots":["%update_stake"],"args":[{"prim":"pair","args":[{"prim":"address"},{"prim":"nat"}]}]},{"prim":"IF_NONE","args":[[{"prim":"PUSH","args":[{"prim":"int"},{"int":"174"}]},{"prim":"FAILWITH"}],[]]},{"prim":"PUSH","args":[{"prim":"mutez"},{"int":"0"}]},{"prim":"DIG","args":[{"int":"4"}]},{"prim":"CAR"},{"prim":"TRANSFER_TOKENS"},{"prim":"CONS"},{"prim":"SWAP"},{"prim":"UNIT"},{"prim":"DIG","args":[{"int":"2"}]},{"prim":"PAIR","args":[{"int":"3"}]}]]},{"prim":"SWAP"},{"prim":"LAMBDA","args":[{"prim":"pair","args":[{"prim":"unit"},{"prim":"pair","args":[{"prim":"pair","args":[{"prim":"pair","args":[{"prim":"pair","args":[{"prim":"timestamp"},{"prim":"big_map","args":[{"prim":"pair","args":[{"prim":"address"},{"prim":"nat"}]},{"prim":"unit"}]}]},{"prim":"pair","args":[{"prim":"nat"},{"prim":"address"}]}]},{"prim":"pair","args":[{"prim":"pair","args":[{"prim":"timestamp"},{"prim":"nat"}]},{"prim":"pair","args":[{"prim":"address"},{"prim":"pair","args":[{"prim":"address"},{"prim":"nat"}]}]}]}]},{"prim":"pair","args":[{"prim":"pair","args":[{"prim":"pair","args":[{"prim":"address"},{"prim":"address"}]},{"prim":"pair","args":[{"prim":"address"},{"prim":"pair","args":[{"prim":"nat"},{"prim":"address"}]}]}]},{"prim":"pair","args":[{"prim":"pair","args":[{"prim":"address"},{"prim":"nat"}]},{"prim":"pair","args":[{"prim":"nat"},{"prim":"pair","args":[{"prim":"big_map","args":[{"prim":"address"},{"prim":"pair","args":[{"prim":"pair","args":[{"prim":"address"},{"prim":"mutez"}]},{"prim":"pair","args":[{"prim":"bool"},{"prim":"nat"}]}]}]},{"prim":"big_map","args":[{"prim":"address"},{"prim":"address"}]}]}]}]}]}]}]},{"prim":"pair","args":[{"prim":"list","args":[{"prim":"operation"}]},{"prim":"pair","args":[{"prim":"unit"},{"prim":"pair","args":[{"prim":"pair","args":[{"prim":"pair","args":[{"prim":"pair","args":[{"prim":"timestamp"},{"prim":"big_map","args":[{"prim":"pair","args":[{"prim":"address"},{"prim":"nat"}]},{"prim":"unit"}]}]},{"prim":"pair","args":[{"prim":"nat"},{"prim":"address"}]}]},{"prim":"pair","args":[{"prim":"pair","args":[{"prim":"timestamp"},{"prim":"nat"}]},{"prim":"pair","args":[{"prim":"address"},{"prim":"pair","args":[{"prim":"address"},{"prim":"nat"}]}]}]}]},{"prim":"pair","args":[{"prim":"pair","args":[{"prim":"pair","args":[{"prim":"address"},{"prim":"address"}]},{"prim":"pair","args":[{"prim":"address"},{"prim":"pair","args":[{"prim":"nat"},{"prim":"address"}]}]}]},{"prim":"pair","args":[{"prim":"pair","args":[{"prim":"address"},{"prim":"nat"}]},{"prim":"pair","args":[{"prim":"nat"},{"prim":"pair","args":[{"prim":"big_map","args":[{"prim":"address"},{"prim":"pair","args":[{"prim":"pair","args":[{"prim":"address"},{"prim":"mutez"}]},{"prim":"pair","args":[{"prim":"bool"},{"prim":"nat"}]}]}]},{"prim":"big_map","args":[{"prim":"address"},{"prim":"address"}]}]}]}]}]}]}]}]},[{"prim":"NIL","args":[{"prim":"operation"}]},{"prim":"SWAP"},{"prim":"CDR"},{"prim":"SELF_ADDRESS"},{"prim":"SENDER"},{"prim":"COMPARE"},{"prim":"EQ"},{"prim":"IF","args":[[],[{"prim":"PUSH","args":[{"prim":"int"},{"int":"400"}]},{"prim":"FAILWITH"}]]},{"prim":"UNIT"},{"prim":"DIG","args":[{"int":"2"}]},{"prim":"PAIR","args":[{"int":"3"}]}]]},{"prim":"SWAP"},{"prim":"LAMBDA","args":[{"prim":"pair","args":[{"prim":"nat"},{"prim":"pair","args":[{"prim":"pair","args":[{"prim":"pair","args":[{"prim":"pair","args":[{"prim":"timestamp"},{"prim":"big_map","args":[{"prim":"pair","args":[{"prim":"address"},{"prim":"nat"}]},{"prim":"unit"}]}]},{"prim":"pair","args":[{"prim":"nat"},{"prim":"address"}]}]},{"prim":"pair","args":[{"prim":"pair","args":[{"prim":"timestamp"},{"prim":"nat"}]},{"prim":"pair","args":[{"prim":"address"},{"prim":"pair","args":[{"prim":"address"},{"prim":"nat"}]}]}]}]},{"prim":"pair","args":[{"prim":"pair","args":[{"prim":"pair","args":[{"prim":"address"},{"prim":"address"}]},{"prim":"pair","args":[{"prim":"address"},{"prim":"pair","args":[{"prim":"nat"},{"prim":"address"}]}]}]},{"prim":"pair","args":[{"prim":"pair","args":[{"prim":"address"},{"prim":"nat"}]},{"prim":"pair","args":[{"prim":"nat"},{"prim":"pair","args":[{"prim":"big_map","args":[{"prim":"address"},{"prim":"pair","args":[{"prim":"pair","args":[{"prim":"address"},{"prim":"mutez"}]},{"prim":"pair","args":[{"prim":"bool"},{"prim":"nat"}]}]}]},{"prim":"big_map","args":[{"prim":"address"},{"prim":"address"}]}]}]}]}]}]}]},{"prim":"pair","args":[{"prim":"list","args":[{"prim":"operation"}]},{"prim":"pair","args":[{"prim":"unit"},{"prim":"pair","args":[{"prim":"pair","args":[{"prim":"pair","args":[{"prim":"pair","args":[{"prim":"timestamp"},{"prim":"big_map","args":[{"prim":"pair","args":[{"prim":"address"},{"prim":"nat"}]},{"prim":"unit"}]}]},{"prim":"pair","args":[{"prim":"nat"},{"prim":"address"}]}]},{"prim":"pair","args":[{"prim":"pair","args":[{"prim":"timestamp"},{"prim":"nat"}]},{"prim":"pair","args":[{"prim":"address"},{"prim":"pair","args":[{"prim":"address"},{"prim":"nat"}]}]}]}]},{"prim":"pair","args":[{"prim":"pair","args":[{"prim":"pair","args":[{"prim":"address"},{"prim":"address"}]},{"prim":"pair","args":[{"prim":"address"},{"prim":"pair","args":[{"prim":"nat"},{"prim":"address"}]}]}]},{"prim":"pair","args":[{"prim":"pair","args":[{"prim":"address"},{"prim":"nat"}]},{"prim":"pair","args":[{"prim":"nat"},{"prim":"pair","args":[{"prim":"big_map","args":[{"prim":"address"},{"prim":"pair","args":[{"prim":"pair","args":[{"prim":"address"},{"prim":"mutez"}]},{"prim":"pair","args":[{"prim":"bool"},{"prim":"nat"}]}]}]},{"prim":"big_map","args":[{"prim":"address"},{"prim":"address"}]}]}]}]}]}]}]}]},[{"prim":"NIL","args":[{"prim":"operation"}]},{"prim":"SWAP"},{"prim":"DUP"},{"prim":"DUG","args":[{"int":"2"}]},{"prim":"CDR"},{"prim":"DUP"},{"prim":"CAR"},{"prim":"CAR"},{"prim":"CAR"},{"prim":"CDR"},{"prim":"DIG","args":[{"int":"3"}]},{"prim":"CAR"},{"prim":"SENDER"},{"prim":"PAIR"},{"prim":"MEM"},{"prim":"IF","args":[[],[{"prim":"PUSH","args":[{"prim":"int"},{"int":"401"}]},{"prim":"FAILWITH"}]]},{"prim":"UNIT"},{"prim":"DIG","args":[{"int":"2"}]},{"prim":"PAIR","args":[{"int":"3"}]}]]},{"prim":"SWAP"},{"prim":"UNPAIR"},{"prim":"IF_LEFT","args":[[{"prim":"IF_LEFT","args":[[{"prim":"IF_LEFT","args":[[{"prim":"IF_LEFT","args":[[{"prim":"DUP","args":[{"int":"7"}]},{"prim":"DIG","args":[{"int":"2"}]},{"prim":"UNIT"},{"prim":"PAIR"},{"prim":"EXEC"},{"prim":"DUP"},{"prim":"GET","args":[{"int":"4"}]},{"prim":"DUG","args":[{"int":"2"}]},{"prim":"DUP"},{"prim":"CAR"},{"prim":"DUP","args":[{"int":"8"}]},{"prim":"DIG","args":[{"int":"4"}]},{"prim":"UNIT"},{"prim":"PAIR"},{"prim":"EXEC"},{"prim":"DUP"},{"prim":"GET","args":[{"int":"4"}]},{"prim":"DUG","args":[{"int":"4"}]},{"prim":"DUP"},{"prim":"CAR"},{"prim":"NIL","args":[{"prim":"operation"}]},{"prim":"SWAP"},{"prim":"ITER","args":[[{"prim":"CONS"}]]},{"prim":"ITER","args":[[{"prim":"DIG","args":[{"int":"2"}]},{"prim":"SWAP"},{"prim":"CONS"},{"prim":"SWAP"}]]},{"prim":"DROP"},{"prim":"SWAP"},{"prim":"DROP"},{"prim":"DIG","args":[{"int":"3"}]},{"prim":"DROP"},{"prim":"DIG","args":[{"int":"3"}]},{"prim":"DROP"},{"prim":"DIG","args":[{"int":"3"}]},{"prim":"DROP"},{"prim":"DIG","args":[{"int":"3"}]},{"prim":"DROP"},{"prim":"DIG","args":[{"int":"3"}]},{"prim":"DROP"},{"prim":"DIG","args":[{"int":"3"}]},{"prim":"DROP"},{"prim":"DIG","args":[{"int":"2"}]},{"prim":"UNPAIR"},{"prim":"SWAP"},{"prim":"UNPAIR"},{"prim":"UNPAIR"},{"prim":"SWAP"},{"prim":"CDR"},{"prim":"SENDER"},{"prim":"PAIR"},{"prim":"SWAP"},{"prim":"PAIR"},{"prim":"PAIR"},{"prim":"SWAP"},{"prim":"PAIR"},{"prim":"DUP"},{"prim":"DUG","args":[{"int":"3"}]},{"prim":"GET","args":[{"int":"3"}]},{"prim":"CAR"},{"prim":"CDR"},{"prim":"CONTRACT","annots":["%bailout"],"args":[{"prim":"nat"}]},{"prim":"IF_NONE","args":[[{"prim":"PUSH","args":[{"prim":"int"},{"int":"644"}]},{"prim":"FAILWITH"}],[]]},{"prim":"PUSH","args":[{"prim":"mutez"},{"int":"0"}]},{"prim":"DUP","args":[{"int":"4"}]},{"prim":"TRANSFER_TOKENS"},{"prim":"CONS"},{"prim":"SELF","annots":["%internal_bailout"]},{"prim":"PUSH","args":[{"prim":"mutez"},{"int":"0"}]},{"prim":"DIG","args":[{"int":"3"}]},{"prim":"TRANSFER_TOKENS"},{"prim":"CONS"}],[{"prim":"IF_LEFT","args":[[{"prim":"DUP","args":[{"int":"7"}]},{"prim":"DIG","args":[{"int":"2"}]},{"prim":"UNIT"},{"prim":"PAIR"},{"prim":"EXEC"},{"prim":"DUP"},{"prim":"GET","args":[{"int":"4"}]},{"prim":"DUG","args":[{"int":"2"}]},{"prim":"DUP"},{"prim":"CAR"},{"prim":"DUP","args":[{"int":"8"}]},{"prim":"DIG","args":[{"int":"4"}]},{"prim":"UNIT"},{"prim":"PAIR"},{"prim":"EXEC"},{"prim":"DUP"},{"prim":"GET","args":[{"int":"4"}]},{"prim":"DUG","args":[{"int":"4"}]},{"prim":"DUP"},{"prim":"CAR"},{"prim":"NIL","args":[{"prim":"operation"}]},{"prim":"SWAP"},{"prim":"ITER","args":[[{"prim":"CONS"}]]},{"prim":"ITER","args":[[{"prim":"DIG","args":[{"int":"2"}]},{"prim":"SWAP"},{"prim":"CONS"},{"prim":"SWAP"}]]},{"prim":"DROP"},{"prim":"SWAP"},{"prim":"DROP"},{"prim":"DIG","args":[{"int":"3"}]},{"prim":"DROP"},{"prim":"DIG","args":[{"int":"3"}]},{"prim":"DROP"},{"prim":"DIG","args":[{"int":"3"}]},{"prim":"DROP"},{"prim":"DIG","args":[{"int":"3"}]},{"prim":"DROP"},{"prim":"DIG","args":[{"int":"3"}]},{"prim":"DROP"},{"prim":"DIG","args":[{"int":"3"}]},{"prim":"DROP"},{"prim":"DIG","args":[{"int":"2"}]},{"prim":"UNPAIR"},{"prim":"SWAP"},{"prim":"UNPAIR"},{"prim":"UNPAIR"},{"prim":"SWAP"},{"prim":"CDR"},{"prim":"SENDER"},{"prim":"PAIR"},{"prim":"SWAP"},{"prim":"PAIR"},{"prim":"PAIR"},{"prim":"SWAP"},{"prim":"PAIR"},{"prim":"DUG","args":[{"int":"2"}]},{"prim":"SELF","annots":["%internal_burn"]},{"prim":"PUSH","args":[{"prim":"mutez"},{"int":"0"}]},{"prim":"DIG","args":[{"int":"3"}]},{"prim":"TRANSFER_TOKENS"},{"prim":"CONS"}],[{"prim":"DIG","args":[{"int":"2"}]},{"prim":"DROP"},{"prim":"DIG","args":[{"int":"2"}]},{"prim":"DROP"},{"prim":"DIG","args":[{"int":"2"}]},{"prim":"DROP"},{"prim":"DIG","args":[{"int":"2"}]},{"prim":"DROP"},{"prim":"DIG","args":[{"int":"2"}]},{"prim":"DROP"},{"prim":"DIG","args":[{"int":"2"}]},{"prim":"DROP"},{"prim":"SWAP"},{"prim":"DUP"},{"prim":"DUG","args":[{"int":"2"}]},{"prim":"GET","args":[{"int":"9"}]},{"prim":"SENDER"},{"prim":"MEM"},{"prim":"IF","args":[[{"prim":"NIL","args":[{"prim":"operation"}]},{"prim":"DUP","args":[{"int":"3"}]},{"prim":"GET","args":[{"int":"9"}]},{"prim":"SENDER"},{"prim":"GET"},{"prim":"IF_NONE","args":[[{"prim":"PUSH","args":[{"prim":"int"},{"int":"299"}]},{"prim":"FAILWITH"}],[]]},{"prim":"CAR"},{"prim":"CAR"},{"prim":"CONTRACT","args":[{"prim":"unit"}]},{"prim":"IF_NONE","args":[[{"prim":"PUSH","args":[{"prim":"int"},{"int":"299"}]},{"prim":"FAILWITH"}],[]]},{"prim":"AMOUNT"},{"prim":"UNIT"},{"prim":"TRANSFER_TOKENS"},{"prim":"CONS"}],[{"prim":"SELF_ADDRESS"},{"prim":"AMOUNT"},{"prim":"DUP","args":[{"int":"3"}]},{"prim":"CAR"},{"prim":"CREATE_CONTRACT","args":[[{"prim":"parameter","args":[{"prim":"or","args":[{"prim":"unit","annots":["%default"]},{"prim":"or","args":[{"prim":"option","annots":["%set_delegate"],"args":[{"prim":"key_hash"}]},{"prim":"pair","annots":["%withdraw"],"args":[{"prim":"address","annots":["%recipient"]},{"prim":"mutez","annots":["%amount"]}]}]}]}]},{"prim":"storage","args":[{"prim":"address"}]},{"prim":"code","args":[[{"prim":"CAST","args":[{"prim":"pair","args":[{"prim":"or","args":[{"prim":"unit"},{"prim":"or","args":[{"prim":"option","args":[{"prim":"key_hash"}]},{"prim":"pair","args":[{"prim":"address"},{"prim":"mutez"}]}]}]},{"prim":"address"}]}]},{"prim":"UNPAIR"},{"prim":"IF_LEFT","args":[[{"prim":"DROP"},{"prim":"DUP"},{"prim":"CONTRACT","annots":["%set_vault_balance"],"args":[{"prim":"mutez"}]},{"prim":"IF_NONE","args":[[{"prim":"PUSH","args":[{"prim":"int"},{"int":"64"}]},{"prim":"FAILWITH"}],[]]},{"prim":"NIL","args":[{"prim":"operation"}]},{"prim":"SWAP"},{"prim":"PUSH","args":[{"prim":"mutez"},{"int":"0"}]},{"prim":"BALANCE"},{"prim":"TRANSFER_TOKENS"},{"prim":"CONS"}],[{"prim":"IF_LEFT","args":[[{"prim":"SWAP"},{"prim":"DUP"},{"prim":"DUG","args":[{"int":"2"}]},{"prim":"SENDER"},{"prim":"COMPARE"},{"prim":"EQ"},{"prim":"IF","args":[[],[{"prim":"PUSH","args":[{"prim":"int"},{"int":"401"}]},{"prim":"FAILWITH"}]]},{"prim":"SET_DELEGATE"},{"prim":"NIL","args":[{"prim":"operation"}]},{"prim":"SWAP"},{"prim":"CONS"},{"prim":"SELF_ADDRESS"},{"prim":"CONTRACT","args":[{"prim":"unit"}]},{"prim":"IF_NONE","args":[[{"prim":"PUSH","args":[{"prim":"int"},{"int":"57"}]},{"prim":"FAILWITH"}],[]]},{"prim":"PUSH","args":[{"prim":"mutez"},{"int":"0"}]},{"prim":"UNIT"},{"prim":"TRANSFER_TOKENS"},{"prim":"CONS"}],[{"prim":"SWAP"},{"prim":"DUP"},{"prim":"DUG","args":[{"int":"2"}]},{"prim":"SENDER"},{"prim":"COMPARE"},{"prim":"EQ"},{"prim":"IF","args":[[],[{"prim":"PUSH","args":[{"prim":"int"},{"int":"401"}]},{"prim":"FAILWITH"}]]},{"prim":"DUP"},{"prim":"CAR"},{"prim":"CONTRACT","args":[{"prim":"unit"}]},{"prim":"IF_NONE","args":[[{"prim":"PUSH","args":[{"prim":"int"},{"int":"79"}]},{"prim":"FAILWITH"}],[]]},{"prim":"NIL","args":[{"prim":"operation"}]},{"prim":"SWAP"},{"prim":"DIG","args":[{"int":"2"}]},{"prim":"CDR"},{"prim":"UNIT"},{"prim":"TRANSFER_TOKENS"},{"prim":"CONS"}]]}]]},{"prim":"NIL","args":[{"prim":"operation"}]},{"prim":"SWAP"},{"prim":"ITER","args":[[{"prim":"CONS"}]]},{"prim":"PAIR"}]]}]]},{"prim":"PAIR"},{"prim":"DUP"},{"prim":"CAR"},{"prim":"NIL","args":[{"prim":"operation"}]},{"prim":"SWAP"},{"prim":"CONS"},{"prim":"DIG","args":[{"int":"3"}]},{"prim":"DUP"},{"prim":"GET","args":[{"int":"9"}]},{"prim":"PUSH","args":[{"prim":"pair","args":[{"prim":"bool"},{"prim":"nat"}]},{"prim":"Pair","args":[{"prim":"False"},{"int":"0"}]}]},{"prim":"AMOUNT"},{"prim":"DUP","args":[{"int":"6"}]},{"prim":"CDR"},{"prim":"PAIR"},{"prim":"PAIR"},{"prim":"SOME"},{"prim":"SENDER"},{"prim":"UPDATE"},{"prim":"UPDATE","args":[{"int":"9"}]},{"prim":"DUP"},{"prim":"GET","args":[{"int":"10"}]},{"prim":"SENDER"},{"prim":"SOME"},{"prim":"DIG","args":[{"int":"4"}]},{"prim":"CDR"},{"prim":"UPDATE"},{"prim":"UPDATE","args":[{"int":"10"}]},{"prim":"DUG","args":[{"int":"2"}]}]]},{"prim":"SWAP"},{"prim":"CDR"},{"prim":"PUSH","args":[{"prim":"mutez"},{"int":"0"}]},{"prim":"DUP","args":[{"int":"4"}]},{"prim":"GET","args":[{"int":"9"}]},{"prim":"SENDER"},{"prim":"GET"},{"prim":"IF_NONE","args":[[{"prim":"PUSH","args":[{"prim":"int"},{"int":"301"}]},{"prim":"FAILWITH"}],[]]},{"prim":"CAR"},{"prim":"CAR"},{"prim":"TRANSFER_TOKENS"},{"prim":"CONS"}]]}]]}],[{"prim":"IF_LEFT","args":[[{"prim":"DIG","args":[{"int":"3"}]},{"prim":"DROP"},{"prim":"DIG","args":[{"int":"3"}]},{"prim":"DROP"},{"prim":"DIG","args":[{"int":"3"}]},{"prim":"DROP"},{"prim":"DIG","args":[{"int":"3"}]},{"prim":"DROP"},{"prim":"DIG","args":[{"int":"3"}]},{"prim":"DROP"},{"prim":"DUG","args":[{"int":"2"}]},{"prim":"PUSH","args":[{"prim":"nat"},{"int":"0"}]},{"prim":"PAIR"},{"prim":"EXEC"},{"prim":"DUP"},{"prim":"GET","args":[{"int":"4"}]},{"prim":"DUG","args":[{"int":"2"}]},{"prim":"CAR"},{"prim":"SWAP"},{"prim":"UNIT"},{"prim":"EXEC"},{"prim":"NIL","args":[{"prim":"operation"}]},{"prim":"SWAP"},{"prim":"ITER","args":[[{"prim":"CONS"}]]},{"prim":"ITER","args":[[{"prim":"CONS"}]]}],[{"prim":"IF_LEFT","args":[[{"prim":"DUP","args":[{"int":"7"}]},{"prim":"DIG","args":[{"int":"2"}]},{"prim":"UNIT"},{"prim":"PAIR"},{"prim":"EXEC"},{"prim":"DUP"},{"prim":"GET","args":[{"int":"4"}]},{"prim":"DUG","args":[{"int":"2"}]},{"prim":"DUP"},{"prim":"CAR"},{"prim":"DUP","args":[{"int":"10"}]},{"prim":"DIG","args":[{"int":"4"}]},{"prim":"UNIT"},{"prim":"PAIR"},{"prim":"EXEC"},{"prim":"DUP"},{"prim":"GET","args":[{"int":"4"}]},{"prim":"DUG","args":[{"int":"4"}]},{"prim":"DUP"},{"prim":"CAR"},{"prim":"NIL","args":[{"prim":"operation"}]},{"prim":"SWAP"},{"prim":"ITER","args":[[{"prim":"CONS"}]]},{"prim":"ITER","args":[[{"prim":"DIG","args":[{"int":"2"}]},{"prim":"SWAP"},{"prim":"CONS"},{"prim":"SWAP"}]]},{"prim":"DROP"},{"prim":"SWAP"},{"prim":"DROP"},{"prim":"SWAP"},{"prim":"DROP"},{"prim":"DIG","args":[{"int":"2"}]},{"prim":"DROP"},{"prim":"DIG","args":[{"int":"2"}]},{"prim":"DROP"},{"prim":"DIG","args":[{"int":"2"}]},{"prim":"DROP"},{"prim":"DIG","args":[{"int":"2"}]},{"prim":"DROP"},{"prim":"DIG","args":[{"int":"2"}]},{"prim":"DROP"},{"prim":"DIG","args":[{"int":"2"}]},{"prim":"DROP"},{"prim":"SELF","annots":["%internal_interest_rate_update"]},{"prim":"PUSH","args":[{"prim":"mutez"},{"int":"0"}]},{"prim":"UNIT"},{"prim":"TRANSFER_TOKENS"},{"prim":"CONS"}],[{"prim":"DUP","args":[{"int":"4"}]},{"prim":"DIG","args":[{"int":"2"}]},{"prim":"UNIT"},{"prim":"PAIR"},{"prim":"EXEC"},{"prim":"DUP"},{"prim":"GET","args":[{"int":"4"}]},{"prim":"DUG","args":[{"int":"2"}]},{"prim":"DUP"},{"prim":"CAR"},{"prim":"DIG","args":[{"int":"3"}]},{"prim":"DUP"},{"prim":"GET","args":[{"int":"9"}]},{"prim":"SWAP"},{"prim":"DUP"},{"prim":"DUG","args":[{"int":"5"}]},{"prim":"GET","args":[{"int":"3"}]},{"prim":"GET","args":[{"int":"3"}]},{"prim":"GET"},{"prim":"IF_NONE","args":[[{"prim":"PUSH","args":[{"prim":"int"},{"int":"669"}]},{"prim":"FAILWITH"}],[]]},{"prim":"DUP","args":[{"int":"5"}]},{"prim":"GET","args":[{"int":"3"}]},{"prim":"GET","args":[{"int":"5"}]},{"prim":"DUP","args":[{"int":"5"}]},{"prim":"MUL"},{"prim":"PUSH","args":[{"prim":"mutez"},{"int":"1"}]},{"prim":"PUSH","args":[{"prim":"nat"},{"int":"1000000000000"}]},{"prim":"PUSH","args":[{"prim":"nat"},{"int":"2"}]},{"prim":"DUP","args":[{"int":"4"}]},{"prim":"LSR"},{"prim":"DUP","args":[{"int":"4"}]},{"prim":"ADD"},{"prim":"EDIV"},{"prim":"IF_NONE","args":[[{"prim":"PUSH","args":[{"prim":"int"},{"int":"673"}]},{"prim":"FAILWITH"}],[{"prim":"CAR"}]]},{"prim":"MUL"},{"prim":"DUP"},{"prim":"PUSH","args":[{"prim":"mutez"},{"int":"1000"}]},{"prim":"SWAP"},{"prim":"COMPARE"},{"prim":"GE"},{"prim":"IF","args":[[],[{"prim":"PUSH","args":[{"prim":"int"},{"int":"602"}]},{"prim":"FAILWITH"}]]},{"prim":"PUSH","args":[{"prim":"nat"},{"int":"1000000000000"}]},{"prim":"DUP","args":[{"int":"8"}]},{"prim":"CAR"},{"prim":"CAR"},{"prim":"GET","args":[{"int":"3"}]},{"prim":"DUP","args":[{"int":"5"}]},{"prim":"GET","args":[{"int":"4"}]},{"prim":"MUL"},{"prim":"EDIV"},{"prim":"IF_NONE","args":[[{"prim":"PUSH","args":[{"prim":"int"},{"int":"677"}]},{"prim":"FAILWITH"}],[{"prim":"CAR"}]]},{"prim":"DIG","args":[{"int":"3"}]},{"prim":"DUP","args":[{"int":"8"}]},{"prim":"CAR"},{"prim":"CAR"},{"prim":"GET","args":[{"int":"3"}]},{"prim":"PUSH","args":[{"prim":"nat"},{"int":"1000000000000"}]},{"prim":"DUP","args":[{"int":"9"}]},{"prim":"DUP","args":[{"int":"5"}]},{"prim":"SUB"},{"prim":"ISNAT"},{"prim":"IF_NONE","args":[[{"prim":"PUSH","args":[{"prim":"int"},{"int":"678"}]},{"prim":"FAILWITH"}],[]]},{"prim":"MUL"},{"prim":"EDIV"},{"prim":"IF_NONE","args":[[{"prim":"PUSH","args":[{"prim":"int"},{"int":"678"}]},{"prim":"FAILWITH"}],[{"prim":"CAR"}]]},{"prim":"UPDATE","args":[{"int":"4"}]},{"prim":"UNPAIR"},{"prim":"UNPAIR"},{"prim":"SWAP"},{"prim":"DUP","args":[{"int":"5"}]},{"prim":"SWAP"},{"prim":"SUB"},{"prim":"SWAP"},{"prim":"PAIR"},{"prim":"PAIR"},{"prim":"DUG","args":[{"int":"3"}]},{"prim":"DUP","args":[{"int":"8"}]},{"prim":"DUP"},{"prim":"GET","args":[{"int":"9"}]},{"prim":"DUP","args":[{"int":"6"}]},{"prim":"SOME"},{"prim":"DIG","args":[{"int":"10"}]},{"prim":"GET","args":[{"int":"3"}]},{"prim":"GET","args":[{"int":"3"}]},{"prim":"UPDATE"},{"prim":"UPDATE","args":[{"int":"9"}]},{"prim":"DUG","args":[{"int":"7"}]},{"prim":"DUP","args":[{"int":"11"}]},{"prim":"DIG","args":[{"int":"8"}]},{"prim":"DUP"},{"prim":"DUP"},{"prim":"DUG","args":[{"int":"10"}]},{"prim":"GET","args":[{"int":"3"}]},{"prim":"GET","args":[{"int":"5"}]},{"prim":"DUP","args":[{"int":"10"}]},{"prim":"DUP","args":[{"int":"5"}]},{"prim":"SUB"},{"prim":"ISNAT"},{"prim":"IF_NONE","args":[[{"prim":"PUSH","args":[{"prim":"int"},{"int":"682"}]},{"prim":"FAILWITH"}],[]]},{"prim":"MUL"},{"prim":"DIG","args":[{"int":"10"}]},{"prim":"GET","args":[{"int":"3"}]},{"prim":"GET","args":[{"int":"3"}]},{"prim":"PAIR"},{"prim":"PAIR"},{"prim":"EXEC"},{"prim":"DUP"},{"prim":"GET","args":[{"int":"4"}]},{"prim":"DUG","args":[{"int":"8"}]},{"prim":"DUP"},{"prim":"CAR"},{"prim":"NIL","args":[{"prim":"operation"}]},{"prim":"SWAP"},{"prim":"ITER","args":[[{"prim":"CONS"}]]},{"prim":"ITER","args":[[{"prim":"DIG","args":[{"int":"6"}]},{"prim":"SWAP"},{"prim":"CONS"},{"prim":"DUG","args":[{"int":"5"}]}]]},{"prim":"DROP","args":[{"int":"2"}]},{"prim":"SWAP"},{"prim":"DROP"},{"prim":"DIG","args":[{"int":"3"}]},{"prim":"DROP"},{"prim":"DIG","args":[{"int":"5"}]},{"prim":"DROP"},{"prim":"DIG","args":[{"int":"5"}]},{"prim":"DROP"},{"prim":"DIG","args":[{"int":"5"}]},{"prim":"DROP"},{"prim":"DIG","args":[{"int":"5"}]},{"prim":"DROP"},{"prim":"DIG","args":[{"int":"5"}]},{"prim":"DROP"},{"prim":"DIG","args":[{"int":"5"}]},{"prim":"DROP"},{"prim":"DUG","args":[{"int":"2"}]},{"prim":"CAR"},{"prim":"CAR"},{"prim":"CONTRACT","annots":["%withdraw"],"args":[{"prim":"pair","args":[{"prim":"address"},{"prim":"mutez"}]}]},{"prim":"IF_NONE","args":[[{"prim":"PUSH","args":[{"prim":"int"},{"int":"684"}]},{"prim":"FAILWITH"}],[]]},{"prim":"PUSH","args":[{"prim":"mutez"},{"int":"0"}]},{"prim":"DIG","args":[{"int":"3"}]},{"prim":"DUP","args":[{"int":"6"}]},{"prim":"GET","args":[{"int":"3"}]},{"prim":"CAR"},{"prim":"CDR"},{"prim":"PAIR"},{"prim":"TRANSFER_TOKENS"},{"prim":"CONS"},{"prim":"DUP","args":[{"int":"3"}]},{"prim":"GET","args":[{"int":"5"}]},{"prim":"CAR"},{"prim":"CONTRACT","annots":["%burn"],"args":[{"prim":"pair","args":[{"prim":"address"},{"prim":"pair","args":[{"prim":"nat"},{"prim":"nat"}]}]}]},{"prim":"IF_NONE","args":[[{"prim":"PUSH","args":[{"prim":"int"},{"int":"101"}]},{"prim":"FAILWITH"}],[]]},{"prim":"PUSH","args":[{"prim":"mutez"},{"int":"0"}]},{"prim":"DUP","args":[{"int":"4"}]},{"prim":"DIG","args":[{"int":"5"}]},{"prim":"DUP"},{"prim":"GET","args":[{"int":"5"}]},{"prim":"CDR"},{"prim":"SWAP"},{"prim":"DUP"},{"prim":"DUG","args":[{"int":"7"}]},{"prim":"GET","args":[{"int":"3"}]},{"prim":"CAR"},{"prim":"CDR"},{"prim":"PAIR","args":[{"int":"3"}]},{"prim":"TRANSFER_TOKENS"},{"prim":"CONS"},{"prim":"DUP","args":[{"int":"3"}]},{"prim":"DIG","args":[{"int":"2"}]},{"prim":"DIG","args":[{"int":"3"}]},{"prim":"GET","args":[{"int":"7"}]},{"prim":"SUB"},{"prim":"ISNAT"},{"prim":"IF_NONE","args":[[{"prim":"PUSH","args":[{"prim":"int"},{"int":"688"}]},{"prim":"FAILWITH"}],[]]},{"prim":"UPDATE","args":[{"int":"7"}]},{"prim":"SWAP"}]]}]]}]]}],[{"prim":"IF_LEFT","args":[[{"prim":"IF_LEFT","args":[[{"prim":"DUP","args":[{"int":"4"}]},{"prim":"DIG","args":[{"int":"2"}]},{"prim":"UNIT"},{"prim":"PAIR"},{"prim":"EXEC"},{"prim":"DUP"},{"prim":"GET","args":[{"int":"4"}]},{"prim":"DUG","args":[{"int":"2"}]},{"prim":"DUP"},{"prim":"CAR"},{"prim":"PUSH","args":[{"prim":"nat"},{"int":"1000000000"}]},{"prim":"DUP","args":[{"int":"4"}]},{"prim":"COMPARE"},{"prim":"GE"},{"prim":"IF","args":[[],[{"prim":"PUSH","args":[{"prim":"int"},{"int":"602"}]},{"prim":"FAILWITH"}]]},{"prim":"DIG","args":[{"int":"3"}]},{"prim":"DUP"},{"prim":"GET","args":[{"int":"9"}]},{"prim":"SWAP"},{"prim":"DUP"},{"prim":"DUG","args":[{"int":"5"}]},{"prim":"GET","args":[{"int":"3"}]},{"prim":"GET","args":[{"int":"3"}]},{"prim":"GET"},{"prim":"IF_NONE","args":[[{"prim":"PUSH","args":[{"prim":"int"},{"int":"418"}]},{"prim":"FAILWITH"}],[]]},{"prim":"PUSH","args":[{"prim":"nat"},{"int":"1000000000000"}]},{"prim":"DUP","args":[{"int":"6"}]},{"prim":"CAR"},{"prim":"CAR"},{"prim":"GET","args":[{"int":"3"}]},{"prim":"DUP","args":[{"int":"3"}]},{"prim":"GET","args":[{"int":"4"}]},{"prim":"MUL"},{"prim":"EDIV"},{"prim":"IF_NONE","args":[[{"prim":"PUSH","args":[{"prim":"int"},{"int":"420"}]},{"prim":"FAILWITH"}],[{"prim":"CAR"}]]},{"prim":"DUP","args":[{"int":"6"}]},{"prim":"GET","args":[{"int":"3"}]},{"prim":"GET","args":[{"int":"5"}]},{"prim":"DUP","args":[{"int":"6"}]},{"prim":"DUP","args":[{"int":"3"}]},{"prim":"SUB"},{"prim":"ISNAT"},{"prim":"IF_NONE","args":[[{"prim":"PUSH","args":[{"prim":"int"},{"int":"421"}]},{"prim":"FAILWITH"}],[]]},{"prim":"MUL"},{"prim":"DIG","args":[{"int":"2"}]},{"prim":"DUP","args":[{"int":"7"}]},{"prim":"CAR"},{"prim":"CAR"},{"prim":"GET","args":[{"int":"3"}]},{"prim":"PUSH","args":[{"prim":"nat"},{"int":"1000000000000"}]},{"prim":"DUP","args":[{"int":"8"}]},{"prim":"DUP","args":[{"int":"6"}]},{"prim":"SUB"},{"prim":"ISNAT"},{"prim":"IF_NONE","args":[[{"prim":"PUSH","args":[{"prim":"int"},{"int":"422"}]},{"prim":"FAILWITH"}],[]]},{"prim":"MUL"},{"prim":"EDIV"},{"prim":"IF_NONE","args":[[{"prim":"PUSH","args":[{"prim":"int"},{"int":"422"}]},{"prim":"FAILWITH"}],[{"prim":"CAR"}]]},{"prim":"UPDATE","args":[{"int":"4"}]},{"prim":"DUG","args":[{"int":"2"}]},{"prim":"DUP","args":[{"int":"7"}]},{"prim":"DUP"},{"prim":"GET","args":[{"int":"9"}]},{"prim":"DUP","args":[{"int":"5"}]},{"prim":"SOME"},{"prim":"DIG","args":[{"int":"9"}]},{"prim":"GET","args":[{"int":"3"}]},{"prim":"GET","args":[{"int":"3"}]},{"prim":"UPDATE"},{"prim":"UPDATE","args":[{"int":"9"}]},{"prim":"DUG","args":[{"int":"6"}]},{"prim":"DIG","args":[{"int":"3"}]},{"prim":"DUP","args":[{"int":"7"}]},{"prim":"GET","args":[{"int":"5"}]},{"prim":"CAR"},{"prim":"CONTRACT","annots":["%burn"],"args":[{"prim":"pair","args":[{"prim":"address"},{"prim":"pair","args":[{"prim":"nat"},{"prim":"nat"}]}]}]},{"prim":"IF_NONE","args":[[{"prim":"PUSH","args":[{"prim":"int"},{"int":"101"}]},{"prim":"FAILWITH"}],[]]},{"prim":"PUSH","args":[{"prim":"mutez"},{"int":"0"}]},{"prim":"DUP","args":[{"int":"8"}]},{"prim":"DIG","args":[{"int":"9"}]},{"prim":"DUP"},{"prim":"GET","args":[{"int":"5"}]},{"prim":"CDR"},{"prim":"SWAP"},{"prim":"DUP"},{"prim":"DUG","args":[{"int":"11"}]},{"prim":"GET","args":[{"int":"3"}]},{"prim":"GET","args":[{"int":"3"}]},{"prim":"PAIR","args":[{"int":"3"}]},{"prim":"TRANSFER_TOKENS"},{"prim":"CONS"},{"prim":"DUG","args":[{"int":"3"}]},{"prim":"DUP","args":[{"int":"7"}]},{"prim":"DUP","args":[{"int":"7"}]},{"prim":"DIG","args":[{"int":"8"}]},{"prim":"GET","args":[{"int":"7"}]},{"prim":"SUB"},{"prim":"ISNAT"},{"prim":"IF_NONE","args":[[{"prim":"PUSH","args":[{"prim":"int"},{"int":"427"}]},{"prim":"FAILWITH"}],[]]},{"prim":"UPDATE","args":[{"int":"7"}]},{"prim":"DUG","args":[{"int":"6"}]},{"prim":"DUP","args":[{"int":"10"}]},{"prim":"DUP","args":[{"int":"8"}]},{"prim":"DUP","args":[{"int":"3"}]},{"prim":"DIG","args":[{"int":"9"}]},{"prim":"GET","args":[{"int":"3"}]},{"prim":"GET","args":[{"int":"3"}]},{"prim":"PAIR"},{"prim":"PAIR"},{"prim":"EXEC"},{"prim":"DUP"},{"prim":"GET","args":[{"int":"4"}]},{"prim":"DUG","args":[{"int":"7"}]},{"prim":"DUP"},{"prim":"CAR"},{"prim":"NIL","args":[{"prim":"operation"}]},{"prim":"SWAP"},{"prim":"ITER","args":[[{"prim":"CONS"}]]},{"prim":"ITER","args":[[{"prim":"DIG","args":[{"int":"5"}]},{"prim":"SWAP"},{"prim":"CONS"},{"prim":"DUG","args":[{"int":"4"}]}]]},{"prim":"DROP","args":[{"int":"4"}]},{"prim":"SWAP"},{"prim":"DROP"},{"prim":"SWAP"},{"prim":"DROP"},{"prim":"DIG","args":[{"int":"2"}]},{"prim":"DROP"},{"prim":"DIG","args":[{"int":"2"}]},{"prim":"DROP"},{"prim":"DIG","args":[{"int":"2"}]},{"prim":"DROP"},{"prim":"DIG","args":[{"int":"2"}]},{"prim":"DROP"},{"prim":"DIG","args":[{"int":"2"}]},{"prim":"DROP"},{"prim":"DIG","args":[{"int":"2"}]},{"prim":"DROP"}],[{"prim":"IF_LEFT","args":[[{"prim":"DUP","args":[{"int":"4"}]},{"prim":"DIG","args":[{"int":"2"}]},{"prim":"UNIT"},{"prim":"PAIR"},{"prim":"EXEC"},{"prim":"DUP"},{"prim":"GET","args":[{"int":"4"}]},{"prim":"DUG","args":[{"int":"2"}]},{"prim":"DUP"},{"prim":"CAR"},{"prim":"PUSH","args":[{"prim":"nat"},{"int":"604800"}]},{"prim":"PUSH","args":[{"prim":"timestamp"},{"string":"1970-01-01T00:00:00Z"}]},{"prim":"DUP","args":[{"int":"6"}]},{"prim":"CAR"},{"prim":"GET","args":[{"int":"3"}]},{"prim":"CAR"},{"prim":"SUB"},{"prim":"ISNAT"},{"prim":"IF_NONE","args":[[{"prim":"PUSH","args":[{"prim":"int"},{"int":"257"}]},{"prim":"FAILWITH"}],[]]},{"prim":"EDIV"},{"prim":"IF_NONE","args":[[{"prim":"PUSH","args":[{"prim":"int"},{"int":"257"}]},{"prim":"FAILWITH"}],[{"prim":"CAR"}]]},{"prim":"PUSH","args":[{"prim":"nat"},{"int":"604800"}]},{"prim":"PUSH","args":[{"prim":"timestamp"},{"string":"1970-01-01T00:00:00Z"}]},{"prim":"NOW"},{"prim":"SUB"},{"prim":"ISNAT"},{"prim":"IF_NONE","args":[[{"prim":"PUSH","args":[{"prim":"int"},{"int":"259"}]},{"prim":"FAILWITH"}],[]]},{"prim":"EDIV"},{"prim":"IF_NONE","args":[[{"prim":"PUSH","args":[{"prim":"int"},{"int":"259"}]},{"prim":"FAILWITH"}],[{"prim":"CAR"}]]},{"prim":"COMPARE"},{"prim":"GT"},{"prim":"IF","args":[[],[{"prim":"PUSH","args":[{"prim":"int"},{"int":"611"}]},{"prim":"FAILWITH"}]]},{"prim":"DIG","args":[{"int":"3"}]},{"prim":"DUP"},{"prim":"GET","args":[{"int":"3"}]},{"prim":"GET","args":[{"int":"5"}]},{"prim":"SWAP"},{"prim":"DUP"},{"prim":"DUG","args":[{"int":"5"}]},{"prim":"CAR"},{"prim":"GET","args":[{"int":"3"}]},{"prim":"CDR"},{"prim":"SUB"},{"prim":"PUSH","args":[{"prim":"nat"},{"int":"35"}]},{"prim":"PUSH","args":[{"prim":"nat"},{"int":"1000000000000"}]},{"prim":"PUSH","args":[{"prim":"nat"},{"int":"1"}]},{"prim":"PUSH","args":[{"prim":"nat"},{"int":"2"}]},{"prim":"DUP","args":[{"int":"9"}]},{"prim":"GET","args":[{"int":"3"}]},{"prim":"GET","args":[{"int":"5"}]},{"prim":"PUSH","args":[{"prim":"nat"},{"int":"100"}]},{"prim":"DUP","args":[{"int":"7"}]},{"prim":"ABS"},{"prim":"DUP"},{"prim":"PUSH","args":[{"prim":"nat"},{"int":"2"}]},{"prim":"DUP","args":[{"int":"14"}]},{"prim":"GET","args":[{"int":"3"}]},{"prim":"GET","args":[{"int":"5"}]},{"prim":"LSR"},{"prim":"DUP"},{"prim":"DUG","args":[{"int":"2"}]},{"prim":"COMPARE"},{"prim":"LE"},{"prim":"IF","args":[[{"prim":"SWAP"},{"prim":"DROP"}],[{"prim":"DROP"}]]},{"prim":"MUL"},{"prim":"EDIV"},{"prim":"IF_NONE","args":[[{"prim":"PUSH","args":[{"prim":"int"},{"int":"267"}]},{"prim":"FAILWITH"}],[{"prim":"CAR"}]]},{"prim":"LSR"},{"prim":"PUSH","args":[{"prim":"nat"},{"int":"1"}]},{"prim":"LSL"},{"prim":"SUB"},{"prim":"ISNAT"},{"prim":"IF_NONE","args":[[{"prim":"PUSH","args":[{"prim":"int"},{"int":"269"}]},{"prim":"FAILWITH"}],[]]},{"prim":"MUL"},{"prim":"LSR"},{"prim":"DUP","args":[{"int":"10"}]},{"prim":"DIG","args":[{"int":"6"}]},{"prim":"UNIT"},{"prim":"PAIR"},{"prim":"EXEC"},{"prim":"DUP"},{"prim":"GET","args":[{"int":"4"}]},{"prim":"DUG","args":[{"int":"6"}]},{"prim":"DUP"},{"prim":"CAR"},{"prim":"NIL","args":[{"prim":"operation"}]},{"prim":"SWAP"},{"prim":"ITER","args":[[{"prim":"CONS"}]]},{"prim":"ITER","args":[[{"prim":"DIG","args":[{"int":"4"}]},{"prim":"SWAP"},{"prim":"CONS"},{"prim":"DUG","args":[{"int":"3"}]}]]},{"prim":"DROP"},{"prim":"DIG","args":[{"int":"3"}]},{"prim":"DROP"},{"prim":"DIG","args":[{"int":"3"}]},{"prim":"DROP"},{"prim":"DIG","args":[{"int":"4"}]},{"prim":"DROP"},{"prim":"DIG","args":[{"int":"4"}]},{"prim":"DROP"},{"prim":"DIG","args":[{"int":"4"}]},{"prim":"DROP"},{"prim":"DIG","args":[{"int":"4"}]},{"prim":"DROP"},{"prim":"DIG","args":[{"int":"4"}]},{"prim":"DROP"},{"prim":"DIG","args":[{"int":"4"}]},{"prim":"DROP"},{"prim":"PUSH","args":[{"prim":"int"},{"int":"0"}]},{"prim":"DIG","args":[{"int":"2"}]},{"prim":"COMPARE"},{"prim":"GT"},{"prim":"IF","args":[[{"prim":"DUP","args":[{"int":"3"}]},{"prim":"UNPAIR"},{"prim":"UNPAIR"},{"prim":"SWAP"},{"prim":"UNPAIR"},{"prim":"SWAP"},{"prim":"UNPAIR"},{"prim":"SWAP"},{"prim":"CAR"},{"prim":"DIG","args":[{"int":"5"}]},{"prim":"DIG","args":[{"int":"7"}]},{"prim":"CAR"},{"prim":"GET","args":[{"int":"8"}]},{"prim":"SUB"},{"prim":"DUP"},{"prim":"PUSH","args":[{"prim":"int"},{"int":"128"}]},{"prim":"DUP"},{"prim":"DUG","args":[{"int":"2"}]},{"prim":"COMPARE"},{"prim":"LE"},{"prim":"IF","args":[[{"prim":"DROP"}],[{"prim":"SWAP"},{"prim":"DROP"}]]},{"prim":"ISNAT"},{"prim":"IF_NONE","args":[[{"prim":"PUSH","args":[{"prim":"int"},{"int":"275"}]},{"prim":"FAILWITH"}],[]]},{"prim":"SWAP"},{"prim":"PAIR"},{"prim":"SWAP"},{"prim":"PAIR"},{"prim":"SWAP"},{"prim":"PAIR"},{"prim":"SWAP"},{"prim":"PAIR"},{"prim":"PAIR"},{"prim":"SWAP"}],[{"prim":"DUP","args":[{"int":"3"}]},{"prim":"UNPAIR"},{"prim":"UNPAIR"},{"prim":"SWAP"},{"prim":"UNPAIR"},{"prim":"SWAP"},{"prim":"UNPAIR"},{"prim":"SWAP"},{"prim":"CAR"},{"prim":"DIG","args":[{"int":"5"}]},{"prim":"DIG","args":[{"int":"7"}]},{"prim":"CAR"},{"prim":"GET","args":[{"int":"8"}]},{"prim":"ADD"},{"prim":"DUP"},{"prim":"PUSH","args":[{"prim":"nat"},{"int":"8192"}]},{"prim":"DUP"},{"prim":"DUG","args":[{"int":"2"}]},{"prim":"COMPARE"},{"prim":"LE"},{"prim":"IF","args":[[{"prim":"SWAP"},{"prim":"DROP"}],[{"prim":"DROP"}]]},{"prim":"SWAP"},{"prim":"PAIR"},{"prim":"SWAP"},{"prim":"PAIR"},{"prim":"SWAP"},{"prim":"PAIR"},{"prim":"SWAP"},{"prim":"PAIR"},{"prim":"PAIR"},{"prim":"SWAP"}]]},{"prim":"SWAP"},{"prim":"UNPAIR"},{"prim":"UNPAIR"},{"prim":"SWAP"},{"prim":"UNPAIR"},{"prim":"CDR"},{"prim":"NOW"},{"prim":"PAIR"},{"prim":"PAIR"},{"prim":"SWAP"},{"prim":"PAIR"},{"prim":"PAIR"},{"prim":"SWAP"}],[{"prim":"DUP","args":[{"int":"4"}]},{"prim":"DIG","args":[{"int":"2"}]},{"prim":"UNIT"},{"prim":"PAIR"},{"prim":"EXEC"},{"prim":"DUP"},{"prim":"GET","args":[{"int":"4"}]},{"prim":"DUG","args":[{"int":"2"}]},{"prim":"DUP"},{"prim":"CAR"},{"prim":"DUP","args":[{"int":"4"}]},{"prim":"GET","args":[{"int":"9"}]},{"prim":"DUP","args":[{"int":"4"}]},{"prim":"CAR"},{"prim":"GET"},{"prim":"IF_NONE","args":[[{"prim":"PUSH","args":[{"prim":"int"},{"int":"472"}]},{"prim":"FAILWITH"}],[]]},{"prim":"PUSH","args":[{"prim":"nat"},{"int":"1000000000000"}]},{"prim":"PUSH","args":[{"prim":"mutez"},{"int":"1"}]},{"prim":"DUP","args":[{"int":"3"}]},{"prim":"CAR"},{"prim":"CDR"},{"prim":"EDIV"},{"prim":"IF_NONE","args":[[{"prim":"UNIT"},{"prim":"FAILWITH"}],[]]},{"prim":"CAR"},{"prim":"MUL"},{"prim":"PUSH","args":[{"prim":"nat"},{"int":"2"}]},{"prim":"DUP","args":[{"int":"7"}]},{"prim":"GET","args":[{"int":"3"}]},{"prim":"GET","args":[{"int":"5"}]},{"prim":"PUSH","args":[{"prim":"nat"},{"int":"1000000000000"}]},{"prim":"DUP","args":[{"int":"9"}]},{"prim":"CAR"},{"prim":"CAR"},{"prim":"GET","args":[{"int":"3"}]},{"prim":"DUP","args":[{"int":"6"}]},{"prim":"GET","args":[{"int":"4"}]},{"prim":"MUL"},{"prim":"EDIV"},{"prim":"IF_NONE","args":[[{"prim":"PUSH","args":[{"prim":"int"},{"int":"475"}]},{"prim":"FAILWITH"}],[{"prim":"CAR"}]]},{"prim":"MUL"},{"prim":"MUL"},{"prim":"SWAP"},{"prim":"DUP"},{"prim":"DUG","args":[{"int":"2"}]},{"prim":"COMPARE"},{"prim":"LT"},{"prim":"IF","args":[[{"prim":"PUSH","args":[{"prim":"bool"},{"prim":"True"}]}],[{"prim":"SWAP"},{"prim":"DUP"},{"prim":"DUG","args":[{"int":"2"}]},{"prim":"GET","args":[{"int":"3"}]}]]},{"prim":"IF","args":[[],[{"prim":"PUSH","args":[{"prim":"int"},{"int":"802"}]},{"prim":"FAILWITH"}]]},{"prim":"SWAP"},{"prim":"PUSH","args":[{"prim":"bool"},{"prim":"True"}]},{"prim":"UPDATE","args":[{"int":"3"}]},{"prim":"SWAP"},{"prim":"PUSH","args":[{"prim":"nat"},{"int":"3"}]},{"prim":"DUP","args":[{"int":"7"}]},{"prim":"GET","args":[{"int":"3"}]},{"prim":"GET","args":[{"int":"5"}]},{"prim":"DUP","args":[{"int":"7"}]},{"prim":"CDR"},{"prim":"MUL"},{"prim":"LSR"},{"prim":"DUP","args":[{"int":"7"}]},{"prim":"GET","args":[{"int":"3"}]},{"prim":"GET","args":[{"int":"5"}]},{"prim":"DUP","args":[{"int":"7"}]},{"prim":"CDR"},{"prim":"MUL"},{"prim":"ADD"},{"prim":"PUSH","args":[{"prim":"mutez"},{"int":"1"}]},{"prim":"PUSH","args":[{"prim":"nat"},{"int":"1000000000000"}]},{"prim":"DUP","args":[{"int":"3"}]},{"prim":"EDIV"},{"prim":"IF_NONE","args":[[{"prim":"PUSH","args":[{"prim":"int"},{"int":"485"}]},{"prim":"FAILWITH"}],[{"prim":"CAR"}]]},{"prim":"MUL"},{"prim":"DUP","args":[{"int":"8"}]},{"prim":"GET","args":[{"int":"3"}]},{"prim":"GET","args":[{"int":"5"}]},{"prim":"DUP","args":[{"int":"8"}]},{"prim":"CDR"},{"prim":"PUSH","args":[{"prim":"nat"},{"int":"1000000000000"}]},{"prim":"DUP","args":[{"int":"11"}]},{"prim":"CAR"},{"prim":"CAR"},{"prim":"GET","args":[{"int":"3"}]},{"prim":"DUP","args":[{"int":"8"}]},{"prim":"GET","args":[{"int":"4"}]},{"prim":"MUL"},{"prim":"EDIV"},{"prim":"IF_NONE","args":[[{"prim":"PUSH","args":[{"prim":"int"},{"int":"475"}]},{"prim":"FAILWITH"}],[{"prim":"CAR"}]]},{"prim":"SUB"},{"prim":"ISNAT"},{"prim":"IF_NONE","args":[[{"prim":"PUSH","args":[{"prim":"int"},{"int":"486"}]},{"prim":"FAILWITH"}],[]]},{"prim":"MUL"},{"prim":"DUP"},{"prim":"PUSH","args":[{"prim":"nat"},{"int":"3"}]},{"prim":"MUL"},{"prim":"DUP","args":[{"int":"4"}]},{"prim":"DUP","args":[{"int":"6"}]},{"prim":"SUB"},{"prim":"ISNAT"},{"prim":"IF_NONE","args":[[{"prim":"PUSH","args":[{"prim":"int"},{"int":"488"}]},{"prim":"FAILWITH"}],[]]},{"prim":"COMPARE"},{"prim":"LT"},{"prim":"IF","args":[[],[{"prim":"PUSH","args":[{"prim":"int"},{"int":"803"}]},{"prim":"FAILWITH"}]]},{"prim":"PUSH","args":[{"prim":"mutez"},{"int":"1000"}]},{"prim":"DUP","args":[{"int":"3"}]},{"prim":"COMPARE"},{"prim":"GE"},{"prim":"IF","args":[[],[{"prim":"PUSH","args":[{"prim":"int"},{"int":"602"}]},{"prim":"FAILWITH"}]]},{"prim":"PUSH","args":[{"prim":"nat"},{"int":"100"}]},{"prim":"PUSH","args":[{"prim":"nat"},{"int":"3"}]},{"prim":"DUP","args":[{"int":"3"}]},{"prim":"MUL"},{"prim":"MUL"},{"prim":"PUSH","args":[{"prim":"nat"},{"int":"105"}]},{"prim":"DUP","args":[{"int":"5"}]},{"prim":"DUP","args":[{"int":"7"}]},{"prim":"SUB"},{"prim":"ISNAT"},{"prim":"IF_NONE","args":[[{"prim":"PUSH","args":[{"prim":"int"},{"int":"491"}]},{"prim":"FAILWITH"}],[]]},{"prim":"MUL"},{"prim":"COMPARE"},{"prim":"GE"},{"prim":"IF","args":[[{"prim":"DIG","args":[{"int":"4"}]},{"prim":"PUSH","args":[{"prim":"bool"},{"prim":"False"}]},{"prim":"UPDATE","args":[{"int":"3"}]},{"prim":"DUG","args":[{"int":"4"}]}],[]]},{"prim":"DIG","args":[{"int":"5"}]},{"prim":"DUP","args":[{"int":"9"}]},{"prim":"GET","args":[{"int":"5"}]},{"prim":"CAR"},{"prim":"CONTRACT","annots":["%burn"],"args":[{"prim":"pair","args":[{"prim":"address"},{"prim":"pair","args":[{"prim":"nat"},{"prim":"nat"}]}]}]},{"prim":"IF_NONE","args":[[{"prim":"PUSH","args":[{"prim":"int"},{"int":"101"}]},{"prim":"FAILWITH"}],[]]},{"prim":"PUSH","args":[{"prim":"mutez"},{"int":"0"}]},{"prim":"DUP","args":[{"int":"10"}]},{"prim":"CDR"},{"prim":"DIG","args":[{"int":"11"}]},{"prim":"DUP"},{"prim":"GET","args":[{"int":"5"}]},{"prim":"CDR"},{"prim":"SWAP"},{"prim":"DUP"},{"prim":"DUG","args":[{"int":"13"}]},{"prim":"GET","args":[{"int":"3"}]},{"prim":"GET","args":[{"int":"3"}]},{"prim":"PAIR","args":[{"int":"3"}]},{"prim":"TRANSFER_TOKENS"},{"prim":"CONS"},{"prim":"DUG","args":[{"int":"5"}]},{"prim":"DUP","args":[{"int":"9"}]},{"prim":"DUP","args":[{"int":"9"}]},{"prim":"CDR"},{"prim":"DIG","args":[{"int":"10"}]},{"prim":"GET","args":[{"int":"7"}]},{"prim":"SUB"},{"prim":"ISNAT"},{"prim":"IF_NONE","args":[[{"prim":"PUSH","args":[{"prim":"int"},{"int":"496"}]},{"prim":"FAILWITH"}],[]]},{"prim":"UPDATE","args":[{"int":"7"}]},{"prim":"DUG","args":[{"int":"8"}]},{"prim":"DUP","args":[{"int":"5"}]},{"prim":"DUP","args":[{"int":"10"}]},{"prim":"CAR"},{"prim":"CAR"},{"prim":"GET","args":[{"int":"3"}]},{"prim":"PUSH","args":[{"prim":"nat"},{"int":"1000000000000"}]},{"prim":"DUP","args":[{"int":"11"}]},{"prim":"CDR"},{"prim":"PUSH","args":[{"prim":"nat"},{"int":"1000000000000"}]},{"prim":"DUP","args":[{"int":"14"}]},{"prim":"CAR"},{"prim":"CAR"},{"prim":"GET","args":[{"int":"3"}]},{"prim":"DIG","args":[{"int":"10"}]},{"prim":"GET","args":[{"int":"4"}]},{"prim":"MUL"},{"prim":"EDIV"},{"prim":"IF_NONE","args":[[{"prim":"PUSH","args":[{"prim":"int"},{"int":"475"}]},{"prim":"FAILWITH"}],[{"prim":"CAR"}]]},{"prim":"SUB"},{"prim":"ISNAT"},{"prim":"IF_NONE","args":[[{"prim":"PUSH","args":[{"prim":"int"},{"int":"498"}]},{"prim":"FAILWITH"}],[]]},{"prim":"MUL"},{"prim":"EDIV"},{"prim":"IF_NONE","args":[[{"prim":"PUSH","args":[{"prim":"int"},{"int":"498"}]},{"prim":"FAILWITH"}],[{"prim":"CAR"}]]},{"prim":"UPDATE","args":[{"int":"4"}]},{"prim":"UNPAIR"},{"prim":"UNPAIR"},{"prim":"SWAP"},{"prim":"DUP","args":[{"int":"5"}]},{"prim":"SWAP"},{"prim":"SUB"},{"prim":"SWAP"},{"prim":"PAIR"},{"prim":"PAIR"},{"prim":"DUG","args":[{"int":"4"}]},{"prim":"DIG","args":[{"int":"8"}]},{"prim":"DUP"},{"prim":"GET","args":[{"int":"9"}]},{"prim":"DUP","args":[{"int":"7"}]},{"prim":"SOME"},{"prim":"DUP","args":[{"int":"11"}]},{"prim":"CAR"},{"prim":"UPDATE"},{"prim":"UPDATE","args":[{"int":"9"}]},{"prim":"DUG","args":[{"int":"8"}]},{"prim":"DUP","args":[{"int":"12"}]},{"prim":"DIG","args":[{"int":"9"}]},{"prim":"DUP","args":[{"int":"3"}]},{"prim":"DUP","args":[{"int":"11"}]},{"prim":"CAR"},{"prim":"PAIR"},{"prim":"PAIR"},{"prim":"EXEC"},{"prim":"DUP"},{"prim":"GET","args":[{"int":"4"}]},{"prim":"DUG","args":[{"int":"9"}]},{"prim":"DUP"},{"prim":"CAR"},{"prim":"NIL","args":[{"prim":"operation"}]},{"prim":"SWAP"},{"prim":"ITER","args":[[{"prim":"CONS"}]]},{"prim":"ITER","args":[[{"prim":"DIG","args":[{"int":"7"}]},{"prim":"SWAP"},{"prim":"CONS"},{"prim":"DUG","args":[{"int":"6"}]}]]},{"prim":"DROP","args":[{"int":"2"}]},{"prim":"SWAP"},{"prim":"DROP"},{"prim":"SWAP"},{"prim":"DROP"},{"prim":"DIG","args":[{"int":"3"}]},{"prim":"DROP"},{"prim":"DIG","args":[{"int":"3"}]},{"prim":"DROP"},{"prim":"DIG","args":[{"int":"4"}]},{"prim":"DROP"},{"prim":"DIG","args":[{"int":"4"}]},{"prim":"DROP"},{"prim":"DIG","args":[{"int":"4"}]},{"prim":"DROP"},{"prim":"DIG","args":[{"int":"4"}]},{"prim":"DROP"},{"prim":"DIG","args":[{"int":"4"}]},{"prim":"DROP"},{"prim":"DIG","args":[{"int":"4"}]},{"prim":"DROP"},{"prim":"DUG","args":[{"int":"2"}]},{"prim":"CAR"},{"prim":"CAR"},{"prim":"CONTRACT","annots":["%withdraw"],"args":[{"prim":"pair","args":[{"prim":"address"},{"prim":"mutez"}]}]},{"prim":"IF_NONE","args":[[{"prim":"PUSH","args":[{"prim":"int"},{"int":"505"}]},{"prim":"FAILWITH"}],[]]},{"prim":"PUSH","args":[{"prim":"mutez"},{"int":"0"}]},{"prim":"DIG","args":[{"int":"3"}]},{"prim":"DUP","args":[{"int":"5"}]},{"prim":"GET","args":[{"int":"3"}]},{"prim":"GET","args":[{"int":"3"}]},{"prim":"PAIR"},{"prim":"TRANSFER_TOKENS"},{"prim":"CONS"}]]}]]}],[{"prim":"IF_LEFT","args":[[{"prim":"DUP","args":[{"int":"4"}]},{"prim":"DIG","args":[{"int":"2"}]},{"prim":"UNIT"},{"prim":"PAIR"},{"prim":"EXEC"},{"prim":"DUP"},{"prim":"GET","args":[{"int":"4"}]},{"prim":"DUG","args":[{"int":"2"}]},{"prim":"DUP"},{"prim":"CAR"},{"prim":"PUSH","args":[{"prim":"nat"},{"int":"1000000000"}]},{"prim":"DUP","args":[{"int":"4"}]},{"prim":"COMPARE"},{"prim":"GE"},{"prim":"IF","args":[[],[{"prim":"PUSH","args":[{"prim":"int"},{"int":"602"}]},{"prim":"FAILWITH"}]]},{"prim":"DIG","args":[{"int":"3"}]},{"prim":"DUP"},{"prim":"GET","args":[{"int":"9"}]},{"prim":"SWAP"},{"prim":"DUP"},{"prim":"DUG","args":[{"int":"5"}]},{"prim":"GET","args":[{"int":"3"}]},{"prim":"GET","args":[{"int":"3"}]},{"prim":"GET"},{"prim":"IF_NONE","args":[[{"prim":"PUSH","args":[{"prim":"int"},{"int":"357"}]},{"prim":"FAILWITH"}],[]]},{"prim":"PUSH","args":[{"prim":"nat"},{"int":"1000000000000"}]},{"prim":"DUP","args":[{"int":"6"}]},{"prim":"CAR"},{"prim":"CAR"},{"prim":"GET","args":[{"int":"3"}]},{"prim":"DUP","args":[{"int":"3"}]},{"prim":"GET","args":[{"int":"4"}]},{"prim":"MUL"},{"prim":"EDIV"},{"prim":"IF_NONE","args":[[{"prim":"PUSH","args":[{"prim":"int"},{"int":"360"}]},{"prim":"FAILWITH"}],[{"prim":"CAR"}]]},{"prim":"DUP","args":[{"int":"6"}]},{"prim":"GET","args":[{"int":"3"}]},{"prim":"GET","args":[{"int":"5"}]},{"prim":"DUP","args":[{"int":"6"}]},{"prim":"DUP","args":[{"int":"3"}]},{"prim":"ADD"},{"prim":"MUL"},{"prim":"DUP"},{"prim":"PUSH","args":[{"prim":"nat"},{"int":"3"}]},{"prim":"MUL"},{"prim":"PUSH","args":[{"prim":"nat"},{"int":"1000000000000"}]},{"prim":"PUSH","args":[{"prim":"mutez"},{"int":"1"}]},{"prim":"DUP","args":[{"int":"6"}]},{"prim":"CAR"},{"prim":"CDR"},{"prim":"EDIV"},{"prim":"IF_NONE","args":[[{"prim":"UNIT"},{"prim":"FAILWITH"}],[]]},{"prim":"CAR"},{"prim":"MUL"},{"prim":"COMPARE"},{"prim":"GE"},{"prim":"IF","args":[[],[{"prim":"PUSH","args":[{"prim":"int"},{"int":"801"}]},{"prim":"FAILWITH"}]]},{"prim":"DIG","args":[{"int":"2"}]},{"prim":"DUP"},{"prim":"GET","args":[{"int":"4"}]},{"prim":"DUP","args":[{"int":"8"}]},{"prim":"CAR"},{"prim":"CAR"},{"prim":"GET","args":[{"int":"3"}]},{"prim":"PUSH","args":[{"prim":"nat"},{"int":"1000000000000"}]},{"prim":"DUP","args":[{"int":"9"}]},{"prim":"MUL"},{"prim":"EDIV"},{"prim":"IF_NONE","args":[[{"prim":"PUSH","args":[{"prim":"int"},{"int":"370"}]},{"prim":"FAILWITH"}],[{"prim":"CAR"}]]},{"prim":"ADD"},{"prim":"UPDATE","args":[{"int":"4"}]},{"prim":"DUG","args":[{"int":"2"}]},{"prim":"DUP","args":[{"int":"7"}]},{"prim":"DUP"},{"prim":"GET","args":[{"int":"9"}]},{"prim":"DUP","args":[{"int":"5"}]},{"prim":"SOME"},{"prim":"DIG","args":[{"int":"9"}]},{"prim":"GET","args":[{"int":"3"}]},{"prim":"GET","args":[{"int":"3"}]},{"prim":"UPDATE"},{"prim":"UPDATE","args":[{"int":"9"}]},{"prim":"DUG","args":[{"int":"6"}]},{"prim":"DIG","args":[{"int":"3"}]},{"prim":"DUP","args":[{"int":"7"}]},{"prim":"GET","args":[{"int":"5"}]},{"prim":"CAR"},{"prim":"CONTRACT","annots":["%mint"],"args":[{"prim":"pair","args":[{"prim":"address"},{"prim":"pair","args":[{"prim":"nat"},{"prim":"nat"}]}]}]},{"prim":"IF_NONE","args":[[{"prim":"PUSH","args":[{"prim":"int"},{"int":"101"}]},{"prim":"FAILWITH"}],[]]},{"prim":"PUSH","args":[{"prim":"mutez"},{"int":"0"}]},{"prim":"PUSH","args":[{"prim":"nat"},{"int":"6"}]},{"prim":"DUP","args":[{"int":"9"}]},{"prim":"LSR"},{"prim":"DUP","args":[{"int":"9"}]},{"prim":"SUB"},{"prim":"ISNAT"},{"prim":"IF_NONE","args":[[{"prim":"PUSH","args":[{"prim":"int"},{"int":"368"}]},{"prim":"FAILWITH"}],[]]},{"prim":"DIG","args":[{"int":"9"}]},{"prim":"DUP"},{"prim":"GET","args":[{"int":"5"}]},{"prim":"CDR"},{"prim":"SWAP"},{"prim":"DUP"},{"prim":"DUG","args":[{"int":"11"}]},{"prim":"GET","args":[{"int":"3"}]},{"prim":"GET","args":[{"int":"3"}]},{"prim":"PAIR","args":[{"int":"3"}]},{"prim":"TRANSFER_TOKENS"},{"prim":"CONS"},{"prim":"DUP","args":[{"int":"7"}]},{"prim":"GET","args":[{"int":"5"}]},{"prim":"CAR"},{"prim":"CONTRACT","annots":["%mint"],"args":[{"prim":"pair","args":[{"prim":"address"},{"prim":"pair","args":[{"prim":"nat"},{"prim":"nat"}]}]}]},{"prim":"IF_NONE","args":[[{"prim":"PUSH","args":[{"prim":"int"},{"int":"101"}]},{"prim":"FAILWITH"}],[]]},{"prim":"PUSH","args":[{"prim":"mutez"},{"int":"0"}]},{"prim":"PUSH","args":[{"prim":"nat"},{"int":"6"}]},{"prim":"DUP","args":[{"int":"9"}]},{"prim":"LSR"},{"prim":"DIG","args":[{"int":"9"}]},{"prim":"DUP"},{"prim":"GET","args":[{"int":"5"}]},{"prim":"CDR"},{"prim":"SWAP"},{"prim":"DUP"},{"prim":"DUG","args":[{"int":"11"}]},{"prim":"GET","args":[{"int":"3"}]},{"prim":"CAR"},{"prim":"CAR"},{"prim":"PAIR","args":[{"int":"3"}]},{"prim":"TRANSFER_TOKENS"},{"prim":"CONS"},{"prim":"DUG","args":[{"int":"3"}]},{"prim":"DIG","args":[{"int":"6"}]},{"prim":"DUP"},{"prim":"GET","args":[{"int":"7"}]},{"prim":"DUP","args":[{"int":"8"}]},{"prim":"ADD"},{"prim":"UPDATE","args":[{"int":"7"}]},{"prim":"DUG","args":[{"int":"6"}]},{"prim":"DUP","args":[{"int":"10"}]},{"prim":"DUP","args":[{"int":"8"}]},{"prim":"DUP","args":[{"int":"3"}]},{"prim":"DIG","args":[{"int":"9"}]},{"prim":"GET","args":[{"int":"3"}]},{"prim":"GET","args":[{"int":"3"}]},{"prim":"PAIR"},{"prim":"PAIR"},{"prim":"EXEC"},{"prim":"DUP"},{"prim":"GET","args":[{"int":"4"}]},{"prim":"DUG","args":[{"int":"7"}]},{"prim":"DUP"},{"prim":"CAR"},{"prim":"NIL","args":[{"prim":"operation"}]},{"prim":"SWAP"},{"prim":"ITER","args":[[{"prim":"CONS"}]]},{"prim":"ITER","args":[[{"prim":"DIG","args":[{"int":"5"}]},{"prim":"SWAP"},{"prim":"CONS"},{"prim":"DUG","args":[{"int":"4"}]}]]},{"prim":"DROP","args":[{"int":"4"}]},{"prim":"SWAP"},{"prim":"DROP"},{"prim":"SWAP"},{"prim":"DROP"},{"prim":"DIG","args":[{"int":"2"}]},{"prim":"DROP"},{"prim":"DIG","args":[{"int":"2"}]},{"prim":"DROP"},{"prim":"DIG","args":[{"int":"2"}]},{"prim":"DROP"},{"prim":"DIG","args":[{"int":"2"}]},{"prim":"DROP"},{"prim":"DIG","args":[{"int":"2"}]},{"prim":"DROP"},{"prim":"DIG","args":[{"int":"2"}]},{"prim":"DROP"}],[{"prim":"IF_LEFT","args":[[{"prim":"DUP","args":[{"int":"4"}]},{"prim":"DIG","args":[{"int":"2"}]},{"prim":"UNIT"},{"prim":"PAIR"},{"prim":"EXEC"},{"prim":"DUP"},{"prim":"GET","args":[{"int":"4"}]},{"prim":"DUG","args":[{"int":"2"}]},{"prim":"DUP"},{"prim":"CAR"},{"prim":"DIG","args":[{"int":"3"}]},{"prim":"DUP"},{"prim":"CAR"},{"prim":"GET","args":[{"int":"7"}]},{"prim":"SWAP"},{"prim":"DUP"},{"prim":"DUG","args":[{"int":"5"}]},{"prim":"GET","args":[{"int":"3"}]},{"prim":"GET","args":[{"int":"3"}]},{"prim":"COMPARE"},{"prim":"EQ"},{"prim":"IF","args":[[],[{"prim":"PUSH","args":[{"prim":"int"},{"int":"401"}]},{"prim":"FAILWITH"}]]},{"prim":"DUP","args":[{"int":"4"}]},{"prim":"GET","args":[{"int":"9"}]},{"prim":"DUP","args":[{"int":"4"}]},{"prim":"CAR"},{"prim":"GET"},{"prim":"IF_NONE","args":[[{"prim":"PUSH","args":[{"prim":"int"},{"int":"601"}]},{"prim":"FAILWITH"}],[]]},{"prim":"DUP","args":[{"int":"5"}]},{"prim":"GET","args":[{"int":"3"}]},{"prim":"GET","args":[{"int":"5"}]},{"prim":"DUP","args":[{"int":"5"}]},{"prim":"GET","args":[{"int":"3"}]},{"prim":"MUL"},{"prim":"PUSH","args":[{"prim":"mutez"},{"int":"1"}]},{"prim":"PUSH","args":[{"prim":"nat"},{"int":"1000000000000"}]},{"prim":"PUSH","args":[{"prim":"nat"},{"int":"4"}]},{"prim":"DUP","args":[{"int":"4"}]},{"prim":"LSR"},{"prim":"DUP","args":[{"int":"4"}]},{"prim":"SUB"},{"prim":"ISNAT"},{"prim":"IF_NONE","args":[[{"prim":"PUSH","args":[{"prim":"int"},{"int":"605"}]},{"prim":"FAILWITH"}],[]]},{"prim":"EDIV"},{"prim":"IF_NONE","args":[[{"prim":"PUSH","args":[{"prim":"int"},{"int":"605"}]},{"prim":"FAILWITH"}],[{"prim":"CAR"}]]},{"prim":"MUL"},{"prim":"DUP"},{"prim":"PUSH","args":[{"prim":"mutez"},{"int":"1000"}]},{"prim":"SWAP"},{"prim":"COMPARE"},{"prim":"GE"},{"prim":"IF","args":[[],[{"prim":"PUSH","args":[{"prim":"int"},{"int":"602"}]},{"prim":"FAILWITH"}]]},{"prim":"PUSH","args":[{"prim":"nat"},{"int":"1000000000000"}]},{"prim":"DUP","args":[{"int":"8"}]},{"prim":"CAR"},{"prim":"CAR"},{"prim":"GET","args":[{"int":"3"}]},{"prim":"DUP","args":[{"int":"5"}]},{"prim":"GET","args":[{"int":"4"}]},{"prim":"MUL"},{"prim":"EDIV"},{"prim":"IF_NONE","args":[[{"prim":"PUSH","args":[{"prim":"int"},{"int":"610"}]},{"prim":"FAILWITH"}],[{"prim":"CAR"}]]},{"prim":"DIG","args":[{"int":"3"}]},{"prim":"DUP","args":[{"int":"8"}]},{"prim":"CAR"},{"prim":"CAR"},{"prim":"GET","args":[{"int":"3"}]},{"prim":"PUSH","args":[{"prim":"nat"},{"int":"1000000000000"}]},{"prim":"DUP","args":[{"int":"9"}]},{"prim":"GET","args":[{"int":"3"}]},{"prim":"DUP","args":[{"int":"5"}]},{"prim":"SUB"},{"prim":"ISNAT"},{"prim":"IF_NONE","args":[[{"prim":"PUSH","args":[{"prim":"int"},{"int":"612"}]},{"prim":"FAILWITH"}],[]]},{"prim":"MUL"},{"prim":"EDIV"},{"prim":"IF_NONE","args":[[{"prim":"PUSH","args":[{"prim":"int"},{"int":"612"}]},{"prim":"FAILWITH"}],[{"prim":"CAR"}]]},{"prim":"UPDATE","args":[{"int":"4"}]},{"prim":"UNPAIR"},{"prim":"UNPAIR"},{"prim":"SWAP"},{"prim":"DUP","args":[{"int":"5"}]},{"prim":"SWAP"},{"prim":"SUB"},{"prim":"SWAP"},{"prim":"PAIR"},{"prim":"PAIR"},{"prim":"DUG","args":[{"int":"3"}]},{"prim":"DIG","args":[{"int":"7"}]},{"prim":"DUP"},{"prim":"GET","args":[{"int":"9"}]},{"prim":"DUP","args":[{"int":"6"}]},{"prim":"SOME"},{"prim":"DUP","args":[{"int":"10"}]},{"prim":"CAR"},{"prim":"UPDATE"},{"prim":"UPDATE","args":[{"int":"9"}]},{"prim":"DUG","args":[{"int":"7"}]},{"prim":"DUP","args":[{"int":"11"}]},{"prim":"DIG","args":[{"int":"8"}]},{"prim":"DUP"},{"prim":"GET","args":[{"int":"3"}]},{"prim":"GET","args":[{"int":"5"}]},{"prim":"DUP","args":[{"int":"10"}]},{"prim":"GET","args":[{"int":"3"}]},{"prim":"DUP","args":[{"int":"5"}]},{"prim":"SUB"},{"prim":"ISNAT"},{"prim":"IF_NONE","args":[[{"prim":"PUSH","args":[{"prim":"int"},{"int":"617"}]},{"prim":"FAILWITH"}],[]]},{"prim":"MUL"},{"prim":"DUP","args":[{"int":"10"}]},{"prim":"CAR"},{"prim":"PAIR"},{"prim":"PAIR"},{"prim":"EXEC"},{"prim":"DUP"},{"prim":"GET","args":[{"int":"4"}]},{"prim":"DUG","args":[{"int":"8"}]},{"prim":"DUP"},{"prim":"CAR"},{"prim":"NIL","args":[{"prim":"operation"}]},{"prim":"SWAP"},{"prim":"ITER","args":[[{"prim":"CONS"}]]},{"prim":"ITER","args":[[{"prim":"DIG","args":[{"int":"6"}]},{"prim":"SWAP"},{"prim":"CONS"},{"prim":"DUG","args":[{"int":"5"}]}]]},{"prim":"DROP","args":[{"int":"2"}]},{"prim":"SWAP"},{"prim":"DROP"},{"prim":"DIG","args":[{"int":"3"}]},{"prim":"DROP"},{"prim":"DIG","args":[{"int":"5"}]},{"prim":"DROP"},{"prim":"DIG","args":[{"int":"5"}]},{"prim":"DROP"},{"prim":"DIG","args":[{"int":"5"}]},{"prim":"DROP"},{"prim":"DIG","args":[{"int":"5"}]},{"prim":"DROP"},{"prim":"DIG","args":[{"int":"5"}]},{"prim":"DROP"},{"prim":"DIG","args":[{"int":"5"}]},{"prim":"DROP"},{"prim":"DUG","args":[{"int":"2"}]},{"prim":"CAR"},{"prim":"CAR"},{"prim":"CONTRACT","annots":["%withdraw"],"args":[{"prim":"pair","args":[{"prim":"address"},{"prim":"mutez"}]}]},{"prim":"IF_NONE","args":[[{"prim":"PUSH","args":[{"prim":"int"},{"int":"619"}]},{"prim":"FAILWITH"}],[]]},{"prim":"PUSH","args":[{"prim":"mutez"},{"int":"0"}]},{"prim":"DIG","args":[{"int":"3"}]},{"prim":"DUP","args":[{"int":"5"}]},{"prim":"GET","args":[{"int":"4"}]},{"prim":"PAIR"},{"prim":"TRANSFER_TOKENS"},{"prim":"CONS"},{"prim":"DUP","args":[{"int":"3"}]},{"prim":"GET","args":[{"int":"5"}]},{"prim":"CAR"},{"prim":"CONTRACT","annots":["%burn"],"args":[{"prim":"pair","args":[{"prim":"address"},{"prim":"pair","args":[{"prim":"nat"},{"prim":"nat"}]}]}]},{"prim":"IF_NONE","args":[[{"prim":"PUSH","args":[{"prim":"int"},{"int":"101"}]},{"prim":"FAILWITH"}],[]]},{"prim":"PUSH","args":[{"prim":"mutez"},{"int":"0"}]},{"prim":"DUP","args":[{"int":"4"}]},{"prim":"GET","args":[{"int":"3"}]},{"prim":"DIG","args":[{"int":"5"}]},{"prim":"DUP"},{"prim":"GET","args":[{"int":"5"}]},{"prim":"CDR"},{"prim":"SWAP"},{"prim":"DUP"},{"prim":"DUG","args":[{"int":"7"}]},{"prim":"GET","args":[{"int":"3"}]},{"prim":"GET","args":[{"int":"3"}]},{"prim":"PAIR","args":[{"int":"3"}]},{"prim":"TRANSFER_TOKENS"},{"prim":"CONS"},{"prim":"DUP","args":[{"int":"3"}]},{"prim":"DIG","args":[{"int":"2"}]},{"prim":"GET","args":[{"int":"3"}]},{"prim":"DIG","args":[{"int":"3"}]},{"prim":"GET","args":[{"int":"7"}]},{"prim":"SUB"},{"prim":"ISNAT"},{"prim":"IF_NONE","args":[[{"prim":"PUSH","args":[{"prim":"int"},{"int":"623"}]},{"prim":"FAILWITH"}],[]]},{"prim":"UPDATE","args":[{"int":"7"}]},{"prim":"SWAP"}],[{"prim":"DIG","args":[{"int":"2"}]},{"prim":"DROP"},{"prim":"DIG","args":[{"int":"3"}]},{"prim":"DROP"},{"prim":"DIG","args":[{"int":"3"}]},{"prim":"DROP"},{"prim":"DIG","args":[{"int":"3"}]},{"prim":"DROP"},{"prim":"DIG","args":[{"int":"3"}]},{"prim":"DROP"},{"prim":"DUG","args":[{"int":"2"}]},{"prim":"UNIT"},{"prim":"PAIR"},{"prim":"EXEC"},{"prim":"DUP"},{"prim":"GET","args":[{"int":"4"}]},{"prim":"DUG","args":[{"int":"2"}]},{"prim":"CAR"},{"prim":"DIG","args":[{"int":"2"}]},{"prim":"DUP"},{"prim":"GET","args":[{"int":"9"}]},{"prim":"SWAP"},{"prim":"DUP"},{"prim":"DUG","args":[{"int":"4"}]},{"prim":"GET","args":[{"int":"3"}]},{"prim":"GET","args":[{"int":"3"}]},{"prim":"GET"},{"prim":"IF_NONE","args":[[{"prim":"PUSH","args":[{"prim":"int"},{"int":"544"}]},{"prim":"FAILWITH"}],[]]},{"prim":"PUSH","args":[{"prim":"nat"},{"int":"3"}]},{"prim":"DIG","args":[{"int":"4"}]},{"prim":"DUP"},{"prim":"GET","args":[{"int":"3"}]},{"prim":"GET","args":[{"int":"5"}]},{"prim":"SWAP"},{"prim":"DUP"},{"prim":"DUG","args":[{"int":"6"}]},{"prim":"CAR"},{"prim":"CAR"},{"prim":"GET","args":[{"int":"3"}]},{"prim":"DUP","args":[{"int":"4"}]},{"prim":"GET","args":[{"int":"4"}]},{"prim":"MUL"},{"prim":"MUL"},{"prim":"MUL"},{"prim":"PUSH","args":[{"prim":"nat"},{"int":"1000000000000"}]},{"prim":"DUP"},{"prim":"PUSH","args":[{"prim":"mutez"},{"int":"1"}]},{"prim":"DUP","args":[{"int":"7"}]},{"prim":"DUP","args":[{"int":"6"}]},{"prim":"CAR"},{"prim":"CDR"},{"prim":"SUB"},{"prim":"EDIV"},{"prim":"IF_NONE","args":[[{"prim":"UNIT"},{"prim":"FAILWITH"}],[]]},{"prim":"CAR"},{"prim":"MUL"},{"prim":"MUL"},{"prim":"COMPARE"},{"prim":"GE"},{"prim":"IF","args":[[],[{"prim":"PUSH","args":[{"prim":"int"},{"int":"801"}]},{"prim":"FAILWITH"}]]},{"prim":"UNPAIR"},{"prim":"UNPAIR"},{"prim":"SWAP"},{"prim":"DUP","args":[{"int":"5"}]},{"prim":"SWAP"},{"prim":"SUB"},{"prim":"SWAP"},{"prim":"PAIR"},{"prim":"PAIR"},{"prim":"DUP","args":[{"int":"4"}]},{"prim":"DUP"},{"prim":"GET","args":[{"int":"9"}]},{"prim":"DUP","args":[{"int":"3"}]},{"prim":"SOME"},{"prim":"DIG","args":[{"int":"6"}]},{"prim":"GET","args":[{"int":"3"}]},{"prim":"GET","args":[{"int":"3"}]},{"prim":"UPDATE"},{"prim":"UPDATE","args":[{"int":"9"}]},{"prim":"DUG","args":[{"int":"3"}]},{"prim":"CAR"},{"prim":"CAR"},{"prim":"CONTRACT","annots":["%withdraw"],"args":[{"prim":"pair","args":[{"prim":"address"},{"prim":"mutez"}]}]},{"prim":"IF_NONE","args":[[{"prim":"PUSH","args":[{"prim":"int"},{"int":"555"}]},{"prim":"FAILWITH"}],[]]},{"prim":"PUSH","args":[{"prim":"mutez"},{"int":"0"}]},{"prim":"DIG","args":[{"int":"3"}]},{"prim":"DUP","args":[{"int":"5"}]},{"prim":"GET","args":[{"int":"3"}]},{"prim":"GET","args":[{"int":"3"}]},{"prim":"PAIR"},{"prim":"TRANSFER_TOKENS"},{"prim":"CONS"}]]}]]}]]}]]}],[{"prim":"IF_LEFT","args":[[{"prim":"IF_LEFT","args":[[{"prim":"IF_LEFT","args":[[{"prim":"DUP","args":[{"int":"7"}]},{"prim":"DIG","args":[{"int":"2"}]},{"prim":"UNIT"},{"prim":"PAIR"},{"prim":"EXEC"},{"prim":"DUP"},{"prim":"GET","args":[{"int":"4"}]},{"prim":"DUG","args":[{"int":"2"}]},{"prim":"DUP"},{"prim":"CAR"},{"prim":"DUP","args":[{"int":"8"}]},{"prim":"DIG","args":[{"int":"4"}]},{"prim":"UNIT"},{"prim":"PAIR"},{"prim":"EXEC"},{"prim":"DUP"},{"prim":"GET","args":[{"int":"4"}]},{"prim":"DUG","args":[{"int":"4"}]},{"prim":"DUP"},{"prim":"CAR"},{"prim":"NIL","args":[{"prim":"operation"}]},{"prim":"SWAP"},{"prim":"ITER","args":[[{"prim":"CONS"}]]},{"prim":"ITER","args":[[{"prim":"DIG","args":[{"int":"2"}]},{"prim":"SWAP"},{"prim":"CONS"},{"prim":"SWAP"}]]},{"prim":"DROP"},{"prim":"SWAP"},{"prim":"DROP"},{"prim":"DIG","args":[{"int":"3"}]},{"prim":"DROP"},{"prim":"DIG","args":[{"int":"3"}]},{"prim":"DROP"},{"prim":"DIG","args":[{"int":"3"}]},{"prim":"DROP"},{"prim":"DIG","args":[{"int":"3"}]},{"prim":"DROP"},{"prim":"DIG","args":[{"int":"3"}]},{"prim":"DROP"},{"prim":"DIG","args":[{"int":"3"}]},{"prim":"DROP"},{"prim":"DIG","args":[{"int":"2"}]},{"prim":"UNPAIR"},{"prim":"SWAP"},{"prim":"UNPAIR"},{"prim":"UNPAIR"},{"prim":"SWAP"},{"prim":"CDR"},{"prim":"SENDER"},{"prim":"PAIR"},{"prim":"SWAP"},{"prim":"PAIR"},{"prim":"PAIR"},{"prim":"SWAP"},{"prim":"PAIR"},{"prim":"DUG","args":[{"int":"2"}]},{"prim":"SELF","annots":["%internal_liquidate"]},{"prim":"PUSH","args":[{"prim":"mutez"},{"int":"0"}]},{"prim":"DIG","args":[{"int":"3"}]},{"prim":"TRANSFER_TOKENS"},{"prim":"CONS"}],[{"prim":"IF_LEFT","args":[[{"prim":"DUP","args":[{"int":"7"}]},{"prim":"DIG","args":[{"int":"2"}]},{"prim":"UNIT"},{"prim":"PAIR"},{"prim":"EXEC"},{"prim":"DUP"},{"prim":"GET","args":[{"int":"4"}]},{"prim":"DUG","args":[{"int":"2"}]},{"prim":"DUP"},{"prim":"CAR"},{"prim":"DUP","args":[{"int":"8"}]},{"prim":"DIG","args":[{"int":"4"}]},{"prim":"UNIT"},{"prim":"PAIR"},{"prim":"EXEC"},{"prim":"DUP"},{"prim":"GET","args":[{"int":"4"}]},{"prim":"DUG","args":[{"int":"4"}]},{"prim":"DUP"},{"prim":"CAR"},{"prim":"NIL","args":[{"prim":"operation"}]},{"prim":"SWAP"},{"prim":"ITER","args":[[{"prim":"CONS"}]]},{"prim":"ITER","args":[[{"prim":"DIG","args":[{"int":"2"}]},{"prim":"SWAP"},{"prim":"CONS"},{"prim":"SWAP"}]]},{"prim":"DROP"},{"prim":"SWAP"},{"prim":"DROP"},{"prim":"DIG","args":[{"int":"3"}]},{"prim":"DROP"},{"prim":"DIG","args":[{"int":"3"}]},{"prim":"DROP"},{"prim":"DIG","args":[{"int":"3"}]},{"prim":"DROP"},{"prim":"DIG","args":[{"int":"3"}]},{"prim":"DROP"},{"prim":"DIG","args":[{"int":"3"}]},{"prim":"DROP"},{"prim":"DIG","args":[{"int":"3"}]},{"prim":"DROP"},{"prim":"DIG","args":[{"int":"2"}]},{"prim":"UNPAIR"},{"prim":"SWAP"},{"prim":"UNPAIR"},{"prim":"UNPAIR"},{"prim":"SWAP"},{"prim":"CDR"},{"prim":"SENDER"},{"prim":"PAIR"},{"prim":"SWAP"},{"prim":"PAIR"},{"prim":"PAIR"},{"prim":"SWAP"},{"prim":"PAIR"},{"prim":"DUG","args":[{"int":"2"}]},{"prim":"SELF","annots":["%internal_mint"]},{"prim":"PUSH","args":[{"prim":"mutez"},{"int":"0"}]},{"prim":"DIG","args":[{"int":"3"}]},{"prim":"TRANSFER_TOKENS"},{"prim":"CONS"}],[{"prim":"DIG","args":[{"int":"3"}]},{"prim":"DROP"},{"prim":"DIG","args":[{"int":"3"}]},{"prim":"DROP"},{"prim":"DIG","args":[{"int":"3"}]},{"prim":"DROP"},{"prim":"DIG","args":[{"int":"3"}]},{"prim":"DROP"},{"prim":"DIG","args":[{"int":"3"}]},{"prim":"DROP"},{"prim":"DUP"},{"prim":"DUG","args":[{"int":"3"}]},{"prim":"CDR"},{"prim":"PAIR"},{"prim":"EXEC"},{"prim":"DUP"},{"prim":"GET","args":[{"int":"4"}]},{"prim":"DUG","args":[{"int":"2"}]},{"prim":"CAR"},{"prim":"DIG","args":[{"int":"2"}]},{"prim":"UNPAIR"},{"prim":"UNPAIR"},{"prim":"UNPAIR"},{"prim":"UNPAIR"},{"prim":"SWAP"},{"prim":"NONE","args":[{"prim":"unit"}]},{"prim":"DIG","args":[{"int":"7"}]},{"prim":"UPDATE"},{"prim":"SWAP"},{"prim":"PAIR"},{"prim":"PAIR"},{"prim":"PAIR"},{"prim":"PAIR"},{"prim":"SWAP"}]]}]]}],[{"prim":"DIG","args":[{"int":"3"}]},{"prim":"DROP"},{"prim":"DIG","args":[{"int":"3"}]},{"prim":"DROP"},{"prim":"DIG","args":[{"int":"3"}]},{"prim":"DROP"},{"prim":"DIG","args":[{"int":"3"}]},{"prim":"DROP"},{"prim":"DIG","args":[{"int":"3"}]},{"prim":"DROP"},{"prim":"IF_LEFT","args":[[{"prim":"DUP"},{"prim":"DUG","args":[{"int":"3"}]},{"prim":"CDR"},{"prim":"PAIR"},{"prim":"EXEC"},{"prim":"DUP"},{"prim":"GET","args":[{"int":"4"}]},{"prim":"DUG","args":[{"int":"2"}]},{"prim":"CAR"},{"prim":"DIG","args":[{"int":"2"}]},{"prim":"UNPAIR"},{"prim":"UNPAIR"},{"prim":"UNPAIR"},{"prim":"UNPAIR"},{"prim":"SWAP"},{"prim":"PUSH","args":[{"prim":"option","args":[{"prim":"unit"}]},{"prim":"Some","args":[{"prim":"Unit"}]}]},{"prim":"DIG","args":[{"int":"7"}]},{"prim":"UPDATE"},{"prim":"SWAP"},{"prim":"PAIR"},{"prim":"PAIR"},{"prim":"PAIR"},{"prim":"PAIR"},{"prim":"SWAP"}],[{"prim":"IF_LEFT","args":[[{"prim":"DUG","args":[{"int":"2"}]},{"prim":"PUSH","args":[{"prim":"nat"},{"int":"0"}]},{"prim":"PAIR"},{"prim":"EXEC"},{"prim":"DUP"},{"prim":"GET","args":[{"int":"4"}]},{"prim":"DUG","args":[{"int":"2"}]},{"prim":"CAR"},{"prim":"DIG","args":[{"int":"2"}]},{"prim":"UNPAIR"},{"prim":"SWAP"},{"prim":"UNPAIR"},{"prim":"UNPAIR"},{"prim":"SWAP"},{"prim":"UNPAIR"},{"prim":"SWAP"},{"prim":"CAR"},{"prim":"DUP","args":[{"int":"7"}]},{"prim":"GET","args":[{"int":"6"}]},{"prim":"SWAP"},{"prim":"PAIR"},{"prim":"SWAP"},{"prim":"PAIR"},{"prim":"SWAP"},{"prim":"PAIR"},{"prim":"PAIR"},{"prim":"SWAP"},{"prim":"UNPAIR"},{"prim":"SWAP"},{"prim":"UNPAIR"},{"prim":"SWAP"},{"prim":"CDR"},{"prim":"DUP","args":[{"int":"6"}]},{"prim":"CAR"},{"prim":"GET","args":[{"int":"3"}]},{"prim":"PAIR"},{"prim":"SWAP"},{"prim":"PAIR"},{"prim":"SWAP"},{"prim":"PAIR"},{"prim":"SWAP"},{"prim":"UNPAIR"},{"prim":"CDR"},{"prim":"DUP","args":[{"int":"5"}]},{"prim":"GET","args":[{"int":"3"}]},{"prim":"DUP","args":[{"int":"6"}]},{"prim":"GET","args":[{"int":"5"}]},{"prim":"SWAP"},{"prim":"PAIR"},{"prim":"PAIR"},{"prim":"PAIR"},{"prim":"SWAP"},{"prim":"UNPAIR"},{"prim":"UNPAIR"},{"prim":"SWAP"},{"prim":"CAR"},{"prim":"DUP","args":[{"int":"6"}]},{"prim":"CAR"},{"prim":"CAR"},{"prim":"SWAP"},{"prim":"PAIR"},{"prim":"SWAP"},{"prim":"PAIR"},{"prim":"SWAP"},{"prim":"UNPAIR"},{"prim":"SWAP"},{"prim":"UNPAIR"},{"prim":"SWAP"},{"prim":"CDR"},{"prim":"DIG","args":[{"int":"6"}]},{"prim":"CAR"},{"prim":"GET","args":[{"int":"4"}]},{"prim":"PAIR"},{"prim":"SWAP"},{"prim":"PAIR"},{"prim":"SWAP"},{"prim":"PAIR"},{"prim":"SWAP"},{"prim":"PAIR"},{"prim":"PAIR"},{"prim":"SWAP"}],[{"prim":"DIG","args":[{"int":"2"}]},{"prim":"DROP"},{"prim":"SWAP"},{"prim":"DUP"},{"prim":"DUG","args":[{"int":"2"}]},{"prim":"CAR"},{"prim":"GET","args":[{"int":"5"}]},{"prim":"SENDER"},{"prim":"COMPARE"},{"prim":"EQ"},{"prim":"IF","args":[[],[{"prim":"PUSH","args":[{"prim":"string"},{"string":"WrongCondition: sp.sender == self.data.observed_price_oracle"}]},{"prim":"FAILWITH"}]]},{"prim":"SWAP"},{"prim":"UNPAIR"},{"prim":"UNPAIR"},{"prim":"SWAP"},{"prim":"UNPAIR"},{"prim":"CAR"},{"prim":"DIG","args":[{"int":"4"}]},{"prim":"SWAP"},{"prim":"PAIR"},{"prim":"PAIR"},{"prim":"SWAP"},{"prim":"PAIR"},{"prim":"PAIR"},{"prim":"NIL","args":[{"prim":"operation"}]}]]}]]}]]}],[{"prim":"IF_LEFT","args":[[{"prim":"DIG","args":[{"int":"3"}]},{"prim":"DROP"},{"prim":"DIG","args":[{"int":"3"}]},{"prim":"DROP"},{"prim":"DIG","args":[{"int":"3"}]},{"prim":"DROP"},{"prim":"DIG","args":[{"int":"3"}]},{"prim":"DROP"},{"prim":"DIG","args":[{"int":"3"}]},{"prim":"DROP"},{"prim":"IF_LEFT","args":[[{"prim":"DIG","args":[{"int":"2"}]},{"prim":"DROP"},{"prim":"SWAP"},{"prim":"DUP"},{"prim":"DUG","args":[{"int":"2"}]},{"prim":"GET","args":[{"int":"3"}]},{"prim":"GET","args":[{"int":"6"}]},{"prim":"SENDER"},{"prim":"COMPARE"},{"prim":"EQ"},{"prim":"IF","args":[[],[{"prim":"PUSH","args":[{"prim":"string"},{"string":"WrongCondition: sp.sender == self.data.target_price_oracle"}]},{"prim":"FAILWITH"}]]},{"prim":"SWAP"},{"prim":"UNPAIR"},{"prim":"SWAP"},{"prim":"UNPAIR"},{"prim":"UNPAIR"},{"prim":"SWAP"},{"prim":"UNPAIR"},{"prim":"SWAP"},{"prim":"CDR"},{"prim":"DIG","args":[{"int":"5"}]},{"prim":"PAIR"},{"prim":"SWAP"},{"prim":"PAIR"},{"prim":"SWAP"},{"prim":"PAIR"},{"prim":"PAIR"},{"prim":"SWAP"},{"prim":"PAIR"},{"prim":"NIL","args":[{"prim":"operation"}]}],[{"prim":"IF_LEFT","args":[[{"prim":"DIG","args":[{"int":"2"}]},{"prim":"DROP"},{"prim":"SWAP"},{"prim":"DUP"},{"prim":"DUG","args":[{"int":"2"}]},{"prim":"DUP"},{"prim":"GET","args":[{"int":"9"}]},{"prim":"DUP"},{"prim":"DIG","args":[{"int":"4"}]},{"prim":"GET","args":[{"int":"10"}]},{"prim":"SENDER"},{"prim":"GET"},{"prim":"IF_NONE","args":[[{"prim":"PUSH","args":[{"prim":"int"},{"int":"185"}]},{"prim":"FAILWITH"}],[]]},{"prim":"DUP"},{"prim":"DUG","args":[{"int":"2"}]},{"prim":"GET"},{"prim":"IF_NONE","args":[[{"prim":"PUSH","args":[{"prim":"int"},{"int":"185"}]},{"prim":"FAILWITH"}],[]]},{"prim":"UNPAIR"},{"prim":"CAR"},{"prim":"DIG","args":[{"int":"5"}]},{"prim":"SWAP"},{"prim":"PAIR"},{"prim":"PAIR"},{"prim":"SOME"},{"prim":"SWAP"},{"prim":"UPDATE"},{"prim":"UPDATE","args":[{"int":"9"}]},{"prim":"NIL","args":[{"prim":"operation"}]}],[{"prim":"DIG","args":[{"int":"2"}]},{"prim":"DROP"},{"prim":"NIL","args":[{"prim":"operation"}]},{"prim":"DUP","args":[{"int":"3"}]},{"prim":"GET","args":[{"int":"9"}]},{"prim":"SENDER"},{"prim":"GET"},{"prim":"IF_NONE","args":[[{"prim":"PUSH","args":[{"prim":"int"},{"int":"315"}]},{"prim":"FAILWITH"}],[]]},{"prim":"CAR"},{"prim":"CAR"},{"prim":"CONTRACT","annots":["%set_delegate"],"args":[{"prim":"option","args":[{"prim":"key_hash"}]}]},{"prim":"IF_NONE","args":[[{"prim":"PUSH","args":[{"prim":"int"},{"int":"315"}]},{"prim":"FAILWITH"}],[]]},{"prim":"AMOUNT"},{"prim":"DIG","args":[{"int":"3"}]},{"prim":"TRANSFER_TOKENS"},{"prim":"CONS"}]]}]]}],[{"prim":"IF_LEFT","args":[[{"prim":"DUP","args":[{"int":"7"}]},{"prim":"DIG","args":[{"int":"2"}]},{"prim":"UNIT"},{"prim":"PAIR"},{"prim":"EXEC"},{"prim":"DUP"},{"prim":"GET","args":[{"int":"4"}]},{"prim":"DUG","args":[{"int":"2"}]},{"prim":"DUP"},{"prim":"CAR"},{"prim":"DUP","args":[{"int":"8"}]},{"prim":"DIG","args":[{"int":"4"}]},{"prim":"UNIT"},{"prim":"PAIR"},{"prim":"EXEC"},{"prim":"DUP"},{"prim":"GET","args":[{"int":"4"}]},{"prim":"DUG","args":[{"int":"4"}]},{"prim":"DUP"},{"prim":"CAR"},{"prim":"NIL","args":[{"prim":"operation"}]},{"prim":"SWAP"},{"prim":"ITER","args":[[{"prim":"CONS"}]]},{"prim":"ITER","args":[[{"prim":"DIG","args":[{"int":"2"}]},{"prim":"SWAP"},{"prim":"CONS"},{"prim":"SWAP"}]]},{"prim":"DROP"},{"prim":"SWAP"},{"prim":"DROP"},{"prim":"DIG","args":[{"int":"3"}]},{"prim":"DROP"},{"prim":"DIG","args":[{"int":"3"}]},{"prim":"DROP"},{"prim":"DIG","args":[{"int":"3"}]},{"prim":"DROP"},{"prim":"DIG","args":[{"int":"3"}]},{"prim":"DROP"},{"prim":"DIG","args":[{"int":"3"}]},{"prim":"DROP"},{"prim":"DIG","args":[{"int":"3"}]},{"prim":"DROP"},{"prim":"DIG","args":[{"int":"2"}]},{"prim":"UNPAIR"},{"prim":"SWAP"},{"prim":"UNPAIR"},{"prim":"UNPAIR"},{"prim":"SWAP"},{"prim":"CDR"},{"prim":"SENDER"},{"prim":"PAIR"},{"prim":"SWAP"},{"prim":"PAIR"},{"prim":"PAIR"},{"prim":"SWAP"},{"prim":"PAIR"},{"prim":"DUG","args":[{"int":"2"}]},{"prim":"SELF","annots":["%internal_settle_with_vault"]},{"prim":"PUSH","args":[{"prim":"mutez"},{"int":"0"}]},{"prim":"DIG","args":[{"int":"3"}]},{"prim":"TRANSFER_TOKENS"},{"prim":"CONS"}],[{"prim":"IF_LEFT","args":[[{"prim":"DROP"},{"prim":"SWAP"},{"prim":"DROP"},{"prim":"SWAP"},{"prim":"DROP"},{"prim":"SWAP"},{"prim":"DROP"},{"prim":"DIG","args":[{"int":"2"}]},{"prim":"DROP"},{"prim":"DIG","args":[{"int":"2"}]},{"prim":"DROP"},{"prim":"UNIT"},{"prim":"PAIR"},{"prim":"EXEC"},{"prim":"DUP"},{"prim":"GET","args":[{"int":"4"}]},{"prim":"SWAP"},{"prim":"CAR"}],[{"prim":"DUP","args":[{"int":"7"}]},{"prim":"DIG","args":[{"int":"2"}]},{"prim":"UNIT"},{"prim":"PAIR"},{"prim":"EXEC"},{"prim":"DUP"},{"prim":"GET","args":[{"int":"4"}]},{"prim":"DUG","args":[{"int":"2"}]},{"prim":"DUP"},{"prim":"CAR"},{"prim":"DUP","args":[{"int":"8"}]},{"prim":"DIG","args":[{"int":"4"}]},{"prim":"UNIT"},{"prim":"PAIR"},{"prim":"EXEC"},{"prim":"DUP"},{"prim":"GET","args":[{"int":"4"}]},{"prim":"DUG","args":[{"int":"4"}]},{"prim":"DUP"},{"prim":"CAR"},{"prim":"NIL","args":[{"prim":"operation"}]},{"prim":"SWAP"},{"prim":"ITER","args":[[{"prim":"CONS"}]]},{"prim":"ITER","args":[[{"prim":"DIG","args":[{"int":"2"}]},{"prim":"SWAP"},{"prim":"CONS"},{"prim":"SWAP"}]]},{"prim":"DROP"},{"prim":"SWAP"},{"prim":"DROP"},{"prim":"DIG","args":[{"int":"3"}]},{"prim":"DROP"},{"prim":"DIG","args":[{"int":"3"}]},{"prim":"DROP"},{"prim":"DIG","args":[{"int":"3"}]},{"prim":"DROP"},{"prim":"DIG","args":[{"int":"3"}]},{"prim":"DROP"},{"prim":"DIG","args":[{"int":"3"}]},{"prim":"DROP"},{"prim":"DIG","args":[{"int":"3"}]},{"prim":"DROP"},{"prim":"DIG","args":[{"int":"2"}]},{"prim":"UNPAIR"},{"prim":"SWAP"},{"prim":"UNPAIR"},{"prim":"UNPAIR"},{"prim":"SWAP"},{"prim":"CDR"},{"prim":"SENDER"},{"prim":"PAIR"},{"prim":"SWAP"},{"prim":"PAIR"},{"prim":"PAIR"},{"prim":"SWAP"},{"prim":"PAIR"},{"prim":"DUG","args":[{"int":"2"}]},{"prim":"SELF","annots":["%internal_withdraw"]},{"prim":"PUSH","args":[{"prim":"mutez"},{"int":"0"}]},{"prim":"DIG","args":[{"int":"3"}]},{"prim":"TRANSFER_TOKENS"},{"prim":"CONS"}]]}]]}]]}]]}]]},{"prim":"NIL","args":[{"prim":"operation"}]},{"prim":"SWAP"},{"prim":"ITER","args":[[{"prim":"CONS"}]]},{"prim":"PAIR"}]]}]