BCD

Tezos Contract Explorer
FA2Ledger
operations (21.1K)Storage Code Interact Tokens Metadata Fork Views Statistics Details
TZIP-16
{
"interfaces": [
"TZIP-016-4b3c67aad5abb"
],
"views": [
{
"name": "current_liquidation_auction_details",
"implementations": [
{
"michelsonStorageView": {
"parameter": {
"prim": "unit"
},
"returnType": {
"prim": "pair",
"args": [
{
"prim": "pair",
"args": [
{
"prim": "pair",
"args": [
{
"prim": "nat",
"annots": [
"%auction_id"
]
},
{
"prim": "nat",
"annots": [
"%collateral"
]
}
]
},
{
"prim": "pair",
"args": [
{
"prim": "option",
"args": [
{
"prim": "pair",
"args": [
{
"prim": "address",
"annots": [
"%address"
]
},
{
"prim": "nat",
"annots": [
"%kit"
]
}
]
}
],
"annots": [
"%current_bid"
]
},
{
"prim": "nat",
"annots": [
"%minimum_bid"
]
}
]
}
]
},
{
"prim": "pair",
"args": [
{
"prim": "option",
"args": [
{
"prim": "int"
}
],
"annots": [
"%remaining_blocks"
]
},
{
"prim": "option",
"args": [
{
"prim": "int"
}
],
"annots": [
"%remaining_seconds"
]
}
]
}
]
},
"code": [
{
"prim": "PUSH",
"args": [
{
"prim": "pair",
"args": [
{
"prim": "lambda",
"args": [
{
"prim": "pair",
"args": [
{
"prim": "int"
},
{
"prim": "int"
}
]
},
{
"prim": "nat"
}
]
},
{
"prim": "int"
},
{
"prim": "lambda",
"args": [
{
"prim": "pair",
"args": [
{
"prim": "int"
},
{
"prim": "int"
}
]
},
{
"prim": "int"
}
]
},
{
"prim": "lambda",
"args": [
{
"prim": "pair",
"args": [
{
"prim": "int"
},
{
"prim": "nat"
}
]
},
{
"prim": "int"
}
]
}
]
},
{
"prim": "Pair",
"args": [
[
{
"prim": "PUSH",
"args": [
{
"prim": "lambda",
"args": [
{
"prim": "pair",
"args": [
{
"prim": "int"
},
{
"prim": "int"
}
]
},
{
"prim": "int"
}
]
},
[
{
"prim": "UNPAIR"
},
{
"prim": "SWAP"
},
{
"prim": "DUP"
},
{
"prim": "DUG",
"args": [
{
"int": "2"
}
]
},
{
"prim": "SWAP"
},
{
"prim": "EDIV"
},
{
"prim": "IF_NONE",
"args": [
[
{
"prim": "DROP"
},
{
"prim": "PUSH",
"args": [
{
"prim": "int"
},
{
"int": "292"
}
]
},
{
"prim": "FAILWITH"
}
],
[
{
"prim": "UNPAIR"
},
{
"prim": "PUSH",
"args": [
{
"prim": "nat"
},
{
"int": "0"
}
]
},
{
"prim": "DIG",
"args": [
{
"int": "2"
}
]
},
{
"prim": "COMPARE"
},
{
"prim": "EQ"
},
{
"prim": "IF",
"args": [
[
{
"prim": "SWAP"
},
{
"prim": "DROP"
}
],
[
{
"prim": "PUSH",
"args": [
{
"prim": "int"
},
{
"int": "0"
}
]
},
{
"prim": "DIG",
"args": [
{
"int": "2"
}
]
},
{
"prim": "COMPARE"
},
{
"prim": "GT"
},
{
"prim": "IF",
"args": [
[
],
[
{
"prim": "PUSH",
"args": [
{
"prim": "int"
},
{
"int": "1"
}
]
},
{
"prim": "SWAP"
},
{
"prim": "SUB"
}
]
]
}
]
]
}
]
]
}
]
]
},
{
"prim": "PAIR"
},
[
{
"prim": "UNPAIR"
},
{
"prim": "SWAP"
},
{
"prim": "UNPAIR"
},
{
"prim": "PUSH",
"args": [
{
"prim": "int"
},
{
"int": "0"
}
]
},
{
"prim": "SWAP"
},
{
"prim": "DUP"
},
{
"prim": "DUG",
"args": [
{
"int": "2"
}
]
},
{
"prim": "COMPARE"
},
{
"prim": "LT"
},
{
"prim": "IF",
"args": [
[
{
"prim": "DROP",
"args": [
{
"int": "3"
}
]
},
{
"prim": "PUSH",
"args": [
{
"prim": "int"
},
{
"int": "272"
}
]
},
{
"prim": "FAILWITH"
}
],
[
{
"prim": "SWAP"
},
{
"prim": "PUSH",
"args": [
{
"prim": "int"
},
{
"int": "1000000000000"
}
]
},
{
"prim": "DIG",
"args": [
{
"int": "2"
}
]
},
{
"prim": "MUL"
},
{
"prim": "PAIR"
},
{
"prim": "EXEC"
},
{
"prim": "ABS"
}
]
]
}
]
],
{
"int": "18446744073709551616"
},
[
{
"prim": "UNPAIR"
},
{
"prim": "SWAP"
},
{
"prim": "DUP"
},
{
"prim": "DUG",
"args": [
{
"int": "2"
}
]
},
{
"prim": "SWAP"
},
{
"prim": "EDIV"
},
{
"prim": "IF_NONE",
"args": [
[
{
"prim": "DROP"
},
{
"prim": "PUSH",
"args": [
{
"prim": "int"
},
{
"int": "292"
}
]
},
{
"prim": "FAILWITH"
}
],
[
{
"prim": "UNPAIR"
},
{
"prim": "PUSH",
"args": [
{
"prim": "nat"
},
{
"int": "0"
}
]
},
{
"prim": "DIG",
"args": [
{
"int": "2"
}
]
},
{
"prim": "COMPARE"
},
{
"prim": "EQ"
},
{
"prim": "IF",
"args": [
[
{
"prim": "SWAP"
},
{
"prim": "DROP"
}
],
[
{
"prim": "PUSH",
"args": [
{
"prim": "int"
},
{
"int": "0"
}
]
},
{
"prim": "DIG",
"args": [
{
"int": "2"
}
]
},
{
"prim": "COMPARE"
},
{
"prim": "GT"
},
{
"prim": "IF",
"args": [
[
],
[
{
"prim": "PUSH",
"args": [
{
"prim": "int"
},
{
"int": "1"
}
]
},
{
"prim": "SWAP"
},
{
"prim": "SUB"
}
]
]
}
]
]
}
]
]
}
],
[
{
"prim": "UNPAIR"
},
{
"prim": "PUSH",
"args": [
{
"prim": "int"
},
{
"int": "1"
}
]
},
{
"prim": "PAIR"
},
{
"prim": "PAIR"
},
{
"prim": "LEFT",
"args": [
{
"prim": "int"
}
]
},
{
"prim": "LOOP_LEFT",
"args": [
[
{
"prim": "UNPAIR"
},
{
"prim": "UNPAIR"
},
{
"prim": "PUSH",
"args": [
{
"prim": "nat"
},
{
"int": "0"
}
]
},
{
"prim": "DUP",
"args": [
{
"int": "4"
}
]
},
{
"prim": "COMPARE"
},
{
"prim": "EQ"
},
{
"prim": "IF",
"args": [
[
{
"prim": "SWAP"
},
{
"prim": "DIG",
"args": [
{
"int": "2"
}
]
},
{
"prim": "DROP",
"args": [
{
"int": "2"
}
]
},
{
"prim": "RIGHT",
"args": [
{
"prim": "pair",
"args": [
{
"prim": "pair",
"args": [
{
"prim": "int"
},
{
"prim": "int"
}
]
},
{
"prim": "nat"
}
]
}
]
}
],
[
{
"prim": "PUSH",
"args": [
{
"prim": "nat"
},
{
"int": "1"
}
]
},
{
"prim": "DUP",
"args": [
{
"int": "4"
}
]
},
{
"prim": "COMPARE"
},
{
"prim": "EQ"
},
{
"prim": "IF",
"args": [
[
{
"prim": "DIG",
"args": [
{
"int": "2"
}
]
},
{
"prim": "DROP"
},
{
"prim": "SWAP"
},
{
"prim": "MUL"
},
{
"prim": "RIGHT",
"args": [
{
"prim": "pair",
"args": [
{
"prim": "pair",
"args": [
{
"prim": "int"
},
{
"prim": "int"
}
]
},
{
"prim": "nat"
}
]
}
]
}
],
[
{
"prim": "PUSH",
"args": [
{
"prim": "nat"
},
{
"int": "2"
}
]
},
{
"prim": "DIG",
"args": [
{
"int": "3"
}
]
},
{
"prim": "EDIV"
},
{
"prim": "IF_NONE",
"args": [
[
{
"prim": "DROP",
"args": [
{
"int": "2"
}
]
},
{
"prim": "PUSH",
"args": [
{
"prim": "int"
},
{
"int": "290"
}
]
},
{
"prim": "FAILWITH"
}
],
[
{
"prim": "UNPAIR"
},
{
"prim": "PUSH",
"args": [
{
"prim": "nat"
},
{
"int": "0"
}
]
},
{
"prim": "DIG",
"args": [
{
"int": "2"
}
]
},
{
"prim": "COMPARE"
},
{
"prim": "EQ"
},
{
"prim": "IF",
"args": [
[
{
"prim": "DIG",
"args": [
{
"int": "2"
}
]
},
{
"prim": "DUP"
},
{
"prim": "MUL"
},
{
"prim": "DIG",
"args": [
{
"int": "2"
}
]
},
{
"prim": "PAIR"
},
{
"prim": "PAIR"
},
{
"prim": "LEFT",
"args": [
{
"prim": "int"
}
]
}
],
[
{
"prim": "DIG",
"args": [
{
"int": "2"
}
]
},
{
"prim": "DUP"
},
{
"prim": "DUP"
},
{
"prim": "DUG",
"args": [
{
"int": "4"
}
]
},
{
"prim": "MUL"
},
{
"prim": "DIG",
"args": [
{
"int": "2"
}
]
},
{
"prim": "DIG",
"args": [
{
"int": "3"
}
]
},
{
"prim": "MUL"
},
{
"prim": "PAIR"
},
{
"prim": "PAIR"
},
{
"prim": "LEFT",
"args": [
{
"prim": "int"
}
]
}
]
]
}
]
]
}
]
]
}
]
]
}
]
]
}
]
]
}
]
},
{
"prim": "PAIR"
},
[
{
"prim": "UNPAIR"
},
{
"prim": "UNPAIR",
"args": [
{
"int": "4"
}
]
},
{
"prim": "DIG",
"args": [
{
"int": "4"
}
]
},
{
"prim": "UNPAIR"
},
{
"prim": "SWAP"
},
{
"prim": "GET",
"args": [
{
"int": "4"
}
]
},
{
"prim": "IF_LEFT",
"args": [
[
{
"prim": "SWAP"
},
{
"prim": "DROP"
},
{
"prim": "DUP"
},
{
"prim": "CAR"
},
{
"prim": "CDR"
},
{
"prim": "CDR"
},
{
"prim": "CDR"
},
{
"prim": "CAR"
},
{
"prim": "CDR"
},
{
"prim": "CDR"
},
{
"prim": "IF_NONE",
"args": [
[
{
"prim": "PUSH",
"args": [
{
"prim": "int"
},
{
"int": "52"
}
]
},
{
"prim": "FAILWITH"
}
],
[
]
]
},
{
"prim": "DUP"
},
{
"prim": "CDR"
},
{
"prim": "IF_LEFT",
"args": [
[
{
"prim": "UNPAIR"
},
{
"prim": "UNPAIR"
},
{
"prim": "NOW"
},
{
"prim": "PUSH",
"args": [
{
"prim": "int"
},
{
"int": "1200"
}
]
},
{
"prim": "DIG",
"args": [
{
"int": "3"
}
]
},
{
"prim": "ADD"
},
{
"prim": "SUB"
},
{
"prim": "SOME"
},
{
"prim": "LEVEL"
},
{
"prim": "PUSH",
"args": [
{
"prim": "nat"
},
{
"int": "50"
}
]
},
{
"prim": "DIG",
"args": [
{
"int": "4"
}
]
},
{
"prim": "ADD"
},
{
"prim": "SUB"
},
{
"prim": "SOME"
},
{
"prim": "DIG",
"args": [
{
"int": "2"
}
]
},
{
"prim": "SOME"
},
{
"prim": "PAIR"
},
{
"prim": "PAIR"
}
],
[
{
"prim": "DROP"
},
{
"prim": "NONE",
"args": [
{
"prim": "int"
}
]
},
{
"prim": "NONE",
"args": [
{
"prim": "int"
}
]
},
{
"prim": "NONE",
"args": [
{
"prim": "pair",
"args": [
{
"prim": "address"
},
{
"prim": "nat"
}
]
}
]
},
{
"prim": "PAIR"
},
{
"prim": "PAIR"
}
]
]
},
{
"prim": "UNPAIR"
},
{
"prim": "UNPAIR"
},
{
"prim": "DUG",
"args": [
{
"int": "2"
}
]
},
{
"prim": "PAIR"
},
{
"prim": "DUP",
"args": [
{
"int": "3"
}
]
},
{
"prim": "CDR"
},
{
"prim": "IF_LEFT",
"args": [
[
{
"prim": "DIG",
"args": [
{
"int": "8"
}
]
},
{
"prim": "DROP"
},
{
"prim": "CAR"
},
{
"prim": "CAR"
},
{
"prim": "PUSH",
"args": [
{
"prim": "int"
},
{
"int": "33"
}
]
},
{
"prim": "PUSH",
"args": [
{
"prim": "int"
},
{
"int": "10000"
}
]
},
{
"prim": "PAIR"
},
{
"prim": "DUP"
},
{
"prim": "CAR"
},
{
"prim": "DUP",
"args": [
{
"int": "9"
}
]
},
{
"prim": "DIG",
"args": [
{
"int": "2"
}
]
},
{
"prim": "CDR"
},
{
"prim": "MUL"
},
{
"prim": "PAIR"
},
{
"prim": "DIG",
"args": [
{
"int": "8"
}
]
},
{
"prim": "SWAP"
},
{
"prim": "EXEC"
},
{
"prim": "DUP",
"args": [
{
"int": "8"
}
]
},
{
"prim": "ADD"
},
{
"prim": "SWAP"
},
{
"prim": "CDR"
},
{
"prim": "PUSH",
"args": [
{
"prim": "int"
},
{
"int": "1000000000000"
}
]
},
{
"prim": "DIG",
"args": [
{
"int": "8"
}
]
},
{
"prim": "MUL"
},
{
"prim": "SWAP"
},
{
"prim": "DIG",
"args": [
{
"int": "2"
}
]
},
{
"prim": "MUL"
},
{
"prim": "PAIR"
},
{
"prim": "DIG",
"args": [
{
"int": "5"
}
]
},
{
"prim": "SWAP"
},
{
"prim": "EXEC"
}
],
[
{
"prim": "DIG",
"args": [
{
"int": "7"
}
]
},
{
"prim": "DROP"
},
{
"prim": "UNPAIR"
},
{
"prim": "PUSH",
"args": [
{
"prim": "int"
},
{
"int": "1"
}
]
},
{
"prim": "PUSH",
"args": [
{
"prim": "int"
},
{
"int": "60000"
}
]
},
{
"prim": "PAIR"
},
{
"prim": "DUP"
},
{
"prim": "CAR"
},
{
"prim": "DUP",
"args": [
{
"int": "10"
}
]
},
{
"prim": "DIG",
"args": [
{
"int": "2"
}
]
},
{
"prim": "CDR"
},
{
"prim": "MUL"
},
{
"prim": "SWAP"
},
{
"prim": "DUP"
},
{
"prim": "DUG",
"args": [
{
"int": "2"
}
]
},
{
"prim": "SWAP"
},
{
"prim": "EDIV"
},
{
"prim": "IF_NONE",
"args": [
[
{
"prim": "DROP"
},
{
"prim": "PUSH",
"args": [
{
"prim": "int"
},
{
"int": "291"
}
]
},
{
"prim": "FAILWITH"
}
],
[
{
"prim": "UNPAIR"
},
{
"prim": "PUSH",
"args": [
{
"prim": "nat"
},
{
"int": "0"
}
]
},
{
"prim": "DIG",
"args": [
{
"int": "2"
}
]
},
{
"prim": "COMPARE"
},
{
"prim": "EQ"
},
{
"prim": "IF",
"args": [
[
{
"prim": "SWAP"
},
{
"prim": "DROP"
}
],
[
{
"prim": "PUSH",
"args": [
{
"prim": "int"
},
{
"int": "0"
}
]
},
{
"prim": "DIG",
"args": [
{
"int": "2"
}
]
},
{
"prim": "COMPARE"
},
{
"prim": "LT"
},
{
"prim": "IF",
"args": [
[
],
[
{
"prim": "PUSH",
"args": [
{
"prim": "int"
},
{
"int": "1"
}
]
},
{
"prim": "ADD"
}
]
]
}
]
]
}
]
]
},
{
"prim": "DIG",
"args": [
{
"int": "2"
}
]
},
{
"prim": "NOW"
},
{
"prim": "SUB"
},
{
"prim": "PUSH",
"args": [
{
"prim": "int"
},
{
"int": "86400"
}
]
},
{
"prim": "SWAP"
},
{
"prim": "DUP"
},
{
"prim": "DUG",
"args": [
{
"int": "2"
}
]
},
{
"prim": "COMPARE"
},
{
"prim": "LT"
},
{
"prim": "IF",
"args": [
[
],
[
{
"prim": "DROP"
},
{
"prim": "PUSH",
"args": [
{
"prim": "int"
},
{
"int": "86400"
}
]
}
]
]
},
{
"prim": "ABS"
},
{
"prim": "SWAP"
},
{
"prim": "DUP",
"args": [
{
"int": "9"
}
]
},
{
"prim": "SUB"
},
{
"prim": "PUSH",
"args": [
{
"prim": "nat"
},
{
"int": "0"
}
]
},
{
"prim": "DUP",
"args": [
{
"int": "3"
}
]
},
{
"prim": "COMPARE"
},
{
"prim": "EQ"
},
{
"prim": "IF",
"args": [
[
{
"prim": "SWAP"
},
{
"prim": "DIG",
"args": [
{
"int": "9"
}
]
},
{
"prim": "DROP",
"args": [
{
"int": "3"
}
]
},
{
"prim": "DUP",
"args": [
{
"int": "7"
}
]
}
],
[
{
"prim": "PUSH",
"args": [
{
"prim": "nat"
},
{
"int": "1"
}
]
},
{
"prim": "DUP",
"args": [
{
"int": "3"
}
]
},
{
"prim": "SUB"
},
{
"prim": "ABS"
},
{
"prim": "DUP",
"args": [
{
"int": "10"
}
]
},
{
"prim": "PAIR"
},
{
"prim": "DUP",
"args": [
{
"int": "11"
}
]
},
{
"prim": "SWAP"
},
{
"prim": "EXEC"
},
{
"prim": "DUG",
"args": [
{
"int": "2"
}
]
},
{
"prim": "PAIR"
},
{
"prim": "DIG",
"args": [
{
"int": "9"
}
]
},
{
"prim": "SWAP"
},
{
"prim": "EXEC"
},
{
"prim": "EDIV"
},
{
"prim": "IF_NONE",
"args": [
[
{
"prim": "PUSH",
"args": [
{
"prim": "string"
},
{
"string": "DIV by 0"
}
]
},
{
"prim": "FAILWITH"
}
],
[
]
]
},
{
"prim": "CAR"
}
]
]
},
{
"prim": "PUSH",
"args": [
{
"prim": "int"
},
{
"int": "1000000000000"
}
]
},
{
"prim": "DIG",
"args": [
{
"int": "8"
}
]
},
{
"prim": "MUL"
},
{
"prim": "DUG",
"args": [
{
"int": "2"
}
]
},
{
"prim": "MUL"
},
{
"prim": "PAIR"
},
{
"prim": "DIG",
"args": [
{
"int": "5"
}
]
},
{
"prim": "SWAP"
},
{
"prim": "EXEC"
}
]
]
},
{
"prim": "PUSH",
"args": [
{
"prim": "nat"
},
{
"int": "1"
}
]
},
{
"prim": "SWAP"
},
{
"prim": "DUP"
},
{
"prim": "DUG",
"args": [
{
"int": "2"
}
]
},
{
"prim": "SWAP"
},
{
"prim": "DUP"
},
{
"prim": "DUG",
"args": [
{
"int": "2"
}
]
},
{
"prim": "COMPARE"
},
{
"prim": "GE"
},
{
"prim": "IF",
"args": [
[
{
"prim": "SWAP"
},
{
"prim": "DROP"
}
],
[
{
"prim": "DROP"
}
]
]
},
{
"prim": "DIG",
"args": [
{
"int": "2"
}
]
},
{
"prim": "PAIR"
},
{
"prim": "DIG",
"args": [
{
"int": "3"
}
]
},
{
"prim": "CAR"
},
{
"prim": "CDR"
},
{
"prim": "CDR"
},
{
"prim": "CDR"
},
{
"prim": "CAR"
},
{
"prim": "CAR"
},
{
"prim": "CAR"
},
{
"prim": "DUP"
},
{
"prim": "CDR"
},
{
"prim": "DUP",
"args": [
{
"int": "5"
}
]
},
{
"prim": "CAR"
},
{
"prim": "GET"
},
{
"prim": "IF_NONE",
"args": [
[
{
"prim": "PUSH",
"args": [
{
"prim": "int"
},
{
"int": "310"
}
]
},
{
"prim": "FAILWITH"
}
],
[
]
]
},
{
"prim": "IF_LEFT",
"args": [
[
{
"prim": "IF_LEFT",
"args": [
[
{
"prim": "DROP"
},
{
"prim": "PUSH",
"args": [
{
"prim": "int"
},
{
"int": "205"
}
]
},
{
"prim": "FAILWITH"
}
],
[
{
"prim": "DROP"
},
{
"prim": "PUSH",
"args": [
{
"prim": "int"
},
{
"int": "205"
}
]
},
{
"prim": "FAILWITH"
}
]
]
}
],
[
]
]
},
{
"prim": "CAR"
},
{
"prim": "IF_NONE",
"args": [
[
{
"prim": "DROP"
},
{
"prim": "PUSH",
"args": [
{
"prim": "nat"
},
{
"int": "0"
}
]
}
],
[
{
"prim": "SWAP"
},
{
"prim": "CDR"
},
{
"prim": "SWAP"
},
{
"prim": "GET"
},
{
"prim": "IF_NONE",
"args": [
[
{
"prim": "PUSH",
"args": [
{
"prim": "int"
},
{
"int": "310"
}
]
},
{
"prim": "FAILWITH"
}
],
[
]
]
},
{
"prim": "IF_LEFT",
"args": [
[
{
"prim": "IF_LEFT",
"args": [
[
{
"prim": "DUP"
},
{
"prim": "CDR"
},
{
"prim": "CDR"
},
{
"prim": "SWAP"
},
{
"prim": "CAR"
},
{
"prim": "CDR"
},
{
"prim": "CAR"
},
{
"prim": "ADD"
}
],
[
{
"prim": "CDR"
},
{
"prim": "CAR"
},
{
"prim": "CAR"
},
{
"prim": "CDR"
}
]
]
}
],
[
{
"prim": "DROP"
},
{
"prim": "PUSH",
"args": [
{
"prim": "int"
},
{
"int": "200"
}
]
},
{
"prim": "FAILWITH"
}
]
]
}
]
]
},
{
"prim": "DIG",
"args": [
{
"int": "3"
}
]
},
{
"prim": "CAR"
},
{
"prim": "PAIR"
},
{
"prim": "PAIR"
},
{
"prim": "PAIR"
}
],
[
{
"prim": "DROP",
"args": [
{
"int": "6"
}
]
},
{
"prim": "PUSH",
"args": [
{
"prim": "int"
},
{
"int": "134"
}
]
},
{
"prim": "FAILWITH"
}
]
]
}
]
]
}
}
]
},
{
"name": "is_burrow_liquidatable",
"implementations": [
{
"michelsonStorageView": {
"parameter": {
"prim": "pair",
"args": [
{
"prim": "address"
},
{
"prim": "nat"
}
]
},
"returnType": {
"prim": "bool"
},
"code": [
{
"prim": "PUSH",
"args": [
{
"prim": "pair",
"args": [
{
"prim": "int"
},
{
"prim": "int"
}
]
},
{
"prim": "Pair",
"args": [
{
"int": "18446744073709551616"
},
{
"int": "1000000"
}
]
}
]
},
{
"prim": "PAIR"
},
[
{
"prim": "UNPAIR"
},
{
"prim": "UNPAIR"
},
{
"prim": "DIG",
"args": [
{
"int": "2"
}
]
},
{
"prim": "UNPAIR"
},
{
"prim": "SWAP"
},
{
"prim": "GET",
"args": [
{
"int": "4"
}
]
},
{
"prim": "IF_LEFT",
"args": [
[
{
"prim": "DUP"
},
{
"prim": "DUG",
"args": [
{
"int": "2"
}
]
},
{
"prim": "CAR"
},
{
"prim": "CAR"
},
{
"prim": "CAR"
},
{
"prim": "CDR"
},
{
"prim": "SWAP"
},
{
"prim": "GET"
},
{
"prim": "IF_NONE",
"args": [
[
{
"prim": "PUSH",
"args": [
{
"prim": "int"
},
{
"int": "81"
}
]
},
{
"prim": "FAILWITH"
}
],
[
]
]
},
{
"prim": "SWAP"
},
{
"prim": "DUP"
},
{
"prim": "DUG",
"args": [
{
"int": "2"
}
]
},
{
"prim": "CDR"
},
{
"prim": "SWAP"
},
{
"prim": "DUP"
},
{
"prim": "DUG",
"args": [
{
"int": "2"
}
]
},
{
"prim": "CDR"
},
{
"prim": "CAR"
},
{
"prim": "CDR"
},
{
"prim": "SWAP"
},
{
"prim": "DUP"
},
{
"prim": "DUG",
"args": [
{
"int": "2"
}
]
},
{
"prim": "CAR"
},
{
"prim": "CDR"
},
{
"prim": "CDR"
},
{
"prim": "CAR"
},
{
"prim": "COMPARE"
},
{
"prim": "EQ"
},
{
"prim": "IF",
"args": [
[
{
"prim": "DROP"
}
],
[
{
"prim": "DUP",
"args": [
{
"int": "4"
}
]
},
{
"prim": "SWAP"
},
{
"prim": "DUP"
},
{
"prim": "DUG",
"args": [
{
"int": "2"
}
]
},
{
"prim": "CAR"
},
{
"prim": "CDR"
},
{
"prim": "CAR"
},
{
"prim": "CAR"
},
{
"prim": "DUP",
"args": [
{
"int": "3"
}
]
},
{
"prim": "CAR"
},
{
"prim": "CAR"
},
{
"prim": "CAR"
},
{
"prim": "CAR"
},
{
"prim": "MUL"
},
{
"prim": "SWAP"
},
{
"prim": "DUP"
},
{
"prim": "DUG",
"args": [
{
"int": "2"
}
]
},
{
"prim": "SWAP"
},
{
"prim": "EDIV"
},
{
"prim": "IF_NONE",
"args": [
[
{
"prim": "DROP"
},
{
"prim": "PUSH",
"args": [
{
"prim": "int"
},
{
"int": "292"
}
]
},
{
"prim": "FAILWITH"
}
],
[
{
"prim": "UNPAIR"
},
{
"prim": "PUSH",
"args": [
{
"prim": "nat"
},
{
"int": "0"
}
]
},
{
"prim": "DIG",
"args": [
{
"int": "2"
}
]
},
{
"prim": "COMPARE"
},
{
"prim": "EQ"
},
{
"prim": "IF",
"args": [
[
{
"prim": "SWAP"
},
{
"prim": "DROP"
}
],
[
{
"prim": "PUSH",
"args": [
{
"prim": "int"
},
{
"int": "0"
}
]
},
{
"prim": "DIG",
"args": [
{
"int": "2"
}
]
},
{
"prim": "COMPARE"
},
{
"prim": "GT"
},
{
"prim": "IF",
"args": [
[
],
[
{
"prim": "PUSH",
"args": [
{
"prim": "int"
},
{
"int": "1"
}
]
},
{
"prim": "SWAP"
},
{
"prim": "SUB"
}
]
]
}
]
]
}
]
]
},
{
"prim": "DUP",
"args": [
{
"int": "3"
}
]
},
{
"prim": "CAR"
},
{
"prim": "CDR"
},
{
"prim": "CAR"
},
{
"prim": "PUSH",
"args": [
{
"prim": "int"
},
{
"int": "1000000000000"
}
]
},
{
"prim": "MUL"
},
{
"prim": "SWAP"
},
{
"prim": "DUP"
},
{
"prim": "DUG",
"args": [
{
"int": "2"
}
]
},
{
"prim": "DUP",
"args": [
{
"int": "5"
}
]
},
{
"prim": "CDR"
},
{
"prim": "CDR"
},
{
"prim": "MUL"
},
{
"prim": "PUSH",
"args": [
{
"prim": "int"
},
{
"int": "0"
}
]
},
{
"prim": "SWAP"
},
{
"prim": "DUP"
},
{
"prim": "DUG",
"args": [
{
"int": "2"
}
]
},
{
"prim": "COMPARE"
},
{
"prim": "LT"
},
{
"prim": "IF",
"args": [
[
{
"prim": "DROP",
"args": [
{
"int": "2"
}
]
},
{
"prim": "PUSH",
"args": [
{
"prim": "int"
},
{
"int": "271"
}
]
},
{
"prim": "FAILWITH"
}
],
[
{
"prim": "SWAP"
},
{
"prim": "PUSH",
"args": [
{
"prim": "int"
},
{
"int": "1000000000000"
}
]
},
{
"prim": "DIG",
"args": [
{
"int": "2"
}
]
},
{
"prim": "MUL"
},
{
"prim": "SWAP"
},
{
"prim": "DUP"
},
{
"prim": "DUG",
"args": [
{
"int": "2"
}
]
},
{
"prim": "SWAP"
},
{
"prim": "EDIV"
},
{
"prim": "IF_NONE",
"args": [
[
{
"prim": "DROP"
},
{
"prim": "PUSH",
"args": [
{
"prim": "int"
},
{
"int": "291"
}
]
},
{
"prim": "FAILWITH"
}
],
[
{
"prim": "UNPAIR"
},
{
"prim": "PUSH",
"args": [
{
"prim": "nat"
},
{
"int": "0"
}
]
},
{
"prim": "DIG",
"args": [
{
"int": "2"
}
]
},
{
"prim": "COMPARE"
},
{
"prim": "EQ"
},
{
"prim": "IF",
"args": [
[
{
"prim": "SWAP"
},
{
"prim": "DROP"
}
],
[
{
"prim": "PUSH",
"args": [
{
"prim": "int"
},
{
"int": "0"
}
]
},
{
"prim": "DIG",
"args": [
{
"int": "2"
}
]
},
{
"prim": "COMPARE"
},
{
"prim": "LT"
},
{
"prim": "IF",
"args": [
[
],
[
{
"prim": "PUSH",
"args": [
{
"prim": "int"
},
{
"int": "1"
}
]
},
{
"prim": "ADD"
}
]
]
}
]
]
}
]
]
},
{
"prim": "ABS"
}
]
]
},
{
"prim": "DUP",
"args": [
{
"int": "4"
}
]
},
{
"prim": "CDR"
},
{
"prim": "CAR"
},
{
"prim": "PAIR"
},
{
"prim": "DIG",
"args": [
{
"int": "3"
}
]
},
{
"prim": "CAR"
},
{
"prim": "PAIR"
},
{
"prim": "DUP"
},
{
"prim": "CDR"
},
{
"prim": "SWAP"
},
{
"prim": "DUP"
},
{
"prim": "DUG",
"args": [
{
"int": "2"
}
]
},
{
"prim": "CAR"
},
{
"prim": "CDR"
},
{
"prim": "CDR"
},
{
"prim": "DIG",
"args": [
{
"int": "3"
}
]
},
{
"prim": "PAIR"
},
{
"prim": "DIG",
"args": [
{
"int": "2"
}
]
},
{
"prim": "CAR"
},
{
"prim": "CAR"
},
{
"prim": "PAIR"
},
{
"prim": "PAIR"
},
{
"prim": "DUP"
},
{
"prim": "CDR"
},
{
"prim": "CDR"
},
{
"prim": "DIG",
"args": [
{
"int": "2"
}
]
},
{
"prim": "CAR"
},
{
"prim": "CDR"
},
{
"prim": "CDR"
},
{
"prim": "CAR"
},
{
"prim": "DUP",
"args": [
{
"int": "3"
}
]
},
{
"prim": "CDR"
},
{
"prim": "CAR"
},
{
"prim": "CAR"
},
{
"prim": "PAIR"
},
{
"prim": "PAIR"
},
{
"prim": "SWAP"
},
{
"prim": "CAR"
},
{
"prim": "PAIR"
}
]
]
},
{
"prim": "SWAP"
},
{
"prim": "CDR"
},
{
"prim": "PUSH",
"args": [
{
"prim": "int"
},
{
"int": "1"
}
]
},
{
"prim": "PUSH",
"args": [
{
"prim": "int"
},
{
"int": "10"
}
]
},
{
"prim": "DUP",
"args": [
{
"int": "6"
}
]
},
{
"prim": "DUP",
"args": [
{
"int": "6"
}
]
},
{
"prim": "MUL"
},
{
"prim": "DUP",
"args": [
{
"int": "4"
}
]
},
{
"prim": "CDR"
},
{
"prim": "CAR"
},
{
"prim": "CAR"
},
{
"prim": "DUP",
"args": [
{
"int": "5"
}
]
},
{
"prim": "CAR"
},
{
"prim": "CDR"
},
{
"prim": "CAR"
},
{
"prim": "CDR"
},
{
"prim": "SWAP"
},
{
"prim": "DUP"
},
{
"prim": "DUG",
"args": [
{
"int": "2"
}
]
},
{
"prim": "SWAP"
},
{
"prim": "DUP"
},
{
"prim": "DUG",
"args": [
{
"int": "2"
}
]
},
{
"prim": "COMPARE"
},
{
"prim": "GE"
},
{
"prim": "IF",
"args": [
[
{
"prim": "SWAP"
},
{
"prim": "DROP"
}
],
[
{
"prim": "DROP"
}
]
]
},
{
"prim": "DUP",
"args": [
{
"int": "5"
}
]
},
{
"prim": "CDR"
},
{
"prim": "CAR"
},
{
"prim": "CDR"
},
{
"prim": "MUL"
},
{
"prim": "SWAP"
},
{
"prim": "DIG",
"args": [
{
"int": "3"
}
]
},
{
"prim": "DUP",
"args": [
{
"int": "4"
}
]
},
{
"prim": "SUB"
},
{
"prim": "MUL"
},
{
"prim": "DUP",
"args": [
{
"int": "5"
}
]
},
{
"prim": "CDR"
},
{
"prim": "CAR"
},
{
"prim": "CAR"
},
{
"prim": "MUL"
},
{
"prim": "SWAP"
},
{
"prim": "DIG",
"args": [
{
"int": "2"
}
]
},
{
"prim": "MUL"
},
{
"prim": "PUSH",
"args": [
{
"prim": "int"
},
{
"int": "1000000"
}
]
},
{
"prim": "MUL"
},
{
"prim": "SWAP"
},
{
"prim": "PUSH",
"args": [
{
"prim": "int"
},
{
"int": "1000000000000"
}
]
},
{
"prim": "MUL"
},
{
"prim": "SWAP"
},
{
"prim": "DUP"
},
{
"prim": "DUG",
"args": [
{
"int": "2"
}
]
},
{
"prim": "DUP",
"args": [
{
"int": "5"
}
]
},
{
"prim": "CDR"
},
{
"prim": "CDR"
},
{
"prim": "MUL"
},
{
"prim": "SUB"
},
{
"prim": "SWAP"
},
{
"prim": "PUSH",
"args": [
{
"prim": "int"
},
{
"int": "1000000000000"
}
]
},
{
"prim": "MUL"
},
{
"prim": "PAIR"
},
{
"prim": "DUP",
"args": [
{
"int": "3"
}
]
},
{
"prim": "CAR"
},
{
"prim": "CDR"
},
{
"prim": "CDR"
},
{
"prim": "INT"
},
{
"prim": "PUSH",
"args": [
{
"prim": "int"
},
{
"int": "1000000"
}
]
},
{
"prim": "PAIR"
},
{
"prim": "DIG",
"args": [
{
"int": "5"
}
]
},
{
"prim": "DIG",
"args": [
{
"int": "5"
}
]
},
{
"prim": "MUL"
},
{
"prim": "DUP",
"args": [
{
"int": "4"
}
]
},
{
"prim": "CDR"
},
{
"prim": "CAR"
},
{
"prim": "CAR"
},
{
"prim": "DUP",
"args": [
{
"int": "5"
}
]
},
{
"prim": "CAR"
},
{
"prim": "CDR"
},
{
"prim": "CAR"
},
{
"prim": "CDR"
},
{
"prim": "SWAP"
},
{
"prim": "DUP"
},
{
"prim": "DUG",
"args": [
{
"int": "2"
}
]
},
{
"prim": "SWAP"
},
{
"prim": "DUP"
},
{
"prim": "DUG",
"args": [
{
"int": "2"
}
]
},
{
"prim": "COMPARE"
},
{
"prim": "LE"
},
{
"prim": "IF",
"args": [
[
{
"prim": "SWAP"
},
{
"prim": "DROP"
}
],
[
{
"prim": "DROP"
}
]
]
},
{
"prim": "DIG",
"args": [
{
"int": "4"
}
]
},
{
"prim": "CDR"
},
{
"prim": "CAR"
},
{
"prim": "CDR"
},
{
"prim": "MUL"
},
{
"prim": "SWAP"
},
{
"prim": "PAIR"
},
{
"prim": "PUSH",
"args": [
{
"prim": "int"
},
{
"int": "19"
}
]
},
{
"prim": "PUSH",
"args": [
{
"prim": "int"
},
{
"int": "10"
}
]
},
{
"prim": "PAIR"
},
{
"prim": "PAIR",
"args": [
{
"int": "4"
}
]
},
{
"prim": "UNPAIR",
"args": [
{
"int": "4"
}
]
},
{
"prim": "UNPAIR"
},
{
"prim": "DIG",
"args": [
{
"int": "2"
}
]
},
{
"prim": "UNPAIR"
},
{
"prim": "DIG",
"args": [
{
"int": "4"
}
]
},
{
"prim": "UNPAIR"
},
{
"prim": "DIG",
"args": [
{
"int": "6"
}
]
},
{
"prim": "UNPAIR"
},
{
"prim": "DIG",
"args": [
{
"int": "4"
}
]
},
{
"prim": "SWAP"
},
{
"prim": "MUL"
},
{
"prim": "DIG",
"args": [
{
"int": "5"
}
]
},
{
"prim": "DIG",
"args": [
{
"int": "4"
}
]
},
{
"prim": "MUL"
},
{
"prim": "MUL"
},
{
"prim": "DIG",
"args": [
{
"int": "3"
}
]
},
{
"prim": "DIG",
"args": [
{
"int": "3"
}
]
},
{
"prim": "MUL"
},
{
"prim": "DIG",
"args": [
{
"int": "2"
}
]
},
{
"prim": "DIG",
"args": [
{
"int": "3"
}
]
},
{
"prim": "MUL"
},
{
"prim": "MUL"
},
{
"prim": "SWAP"
},
{
"prim": "COMPARE"
},
{
"prim": "LT"
},
{
"prim": "SWAP"
},
{
"prim": "CAR"
},
{
"prim": "CAR"
},
{
"prim": "CAR"
},
{
"prim": "AND"
}
],
[
{
"prim": "DROP",
"args": [
{
"int": "4"
}
]
},
{
"prim": "PUSH",
"args": [
{
"prim": "int"
},
{
"int": "134"
}
]
},
{
"prim": "FAILWITH"
}
]
]
}
]
]
}
}
]
},
{
"name": "max_removable_collateral",
"implementations": [
{
"michelsonStorageView": {
"parameter": {
"prim": "pair",
"args": [
{
"prim": "address"
},
{
"prim": "nat"
}
]
},
"returnType": {
"prim": "nat"
},
"code": [
{
"prim": "PUSH",
"args": [
{
"prim": "pair",
"args": [
{
"prim": "int"
},
{
"prim": "lambda",
"args": [
{
"prim": "pair",
"args": [
{
"prim": "int"
},
{
"prim": "int"
}
]
},
{
"prim": "int"
}
]
}
]
},
{
"prim": "Pair",
"args": [
{
"int": "18446744073709551616"
},
[
{
"prim": "UNPAIR"
},
{
"prim": "SWAP"
},
{
"prim": "DUP"
},
{
"prim": "DUG",
"args": [
{
"int": "2"
}
]
},
{
"prim": "SWAP"
},
{
"prim": "EDIV"
},
{
"prim": "IF_NONE",
"args": [
[
{
"prim": "DROP"
},
{
"prim": "PUSH",
"args": [
{
"prim": "int"
},
{
"int": "291"
}
]
},
{
"prim": "FAILWITH"
}
],
[
{
"prim": "UNPAIR"
},
{
"prim": "PUSH",
"args": [
{
"prim": "nat"
},
{
"int": "0"
}
]
},
{
"prim": "DIG",
"args": [
{
"int": "2"
}
]
},
{
"prim": "COMPARE"
},
{
"prim": "EQ"
},
{
"prim": "IF",
"args": [
[
{
"prim": "SWAP"
},
{
"prim": "DROP"
}
],
[
{
"prim": "PUSH",
"args": [
{
"prim": "int"
},
{
"int": "0"
}
]
},
{
"prim": "DIG",
"args": [
{
"int": "2"
}
]
},
{
"prim": "COMPARE"
},
{
"prim": "LT"
},
{
"prim": "IF",
"args": [
[
],
[
{
"prim": "PUSH",
"args": [
{
"prim": "int"
},
{
"int": "1"
}
]
},
{
"prim": "ADD"
}
]
]
}
]
]
}
]
]
}
]
]
}
]
},
{
"prim": "PAIR"
},
[
{
"prim": "UNPAIR"
},
{
"prim": "UNPAIR"
},
{
"prim": "DIG",
"args": [
{
"int": "2"
}
]
},
{
"prim": "UNPAIR"
},
{
"prim": "SWAP"
},
{
"prim": "GET",
"args": [
{
"int": "4"
}
]
},
{
"prim": "IF_LEFT",
"args": [
[
{
"prim": "DUP"
},
{
"prim": "DUG",
"args": [
{
"int": "2"
}
]
},
{
"prim": "CAR"
},
{
"prim": "CAR"
},
{
"prim": "CAR"
},
{
"prim": "CDR"
},
{
"prim": "SWAP"
},
{
"prim": "GET"
},
{
"prim": "IF_NONE",
"args": [
[
{
"prim": "PUSH",
"args": [
{
"prim": "int"
},
{
"int": "81"
}
]
},
{
"prim": "FAILWITH"
}
],
[
]
]
},
{
"prim": "SWAP"
},
{
"prim": "DUP"
},
{
"prim": "DUG",
"args": [
{
"int": "2"
}
]
},
{
"prim": "CDR"
},
{
"prim": "SWAP"
},
{
"prim": "DUP"
},
{
"prim": "DUG",
"args": [
{
"int": "2"
}
]
},
{
"prim": "CDR"
},
{
"prim": "CAR"
},
{
"prim": "CDR"
},
{
"prim": "SWAP"
},
{
"prim": "DUP"
},
{
"prim": "DUG",
"args": [
{
"int": "2"
}
]
},
{
"prim": "CAR"
},
{
"prim": "CDR"
},
{
"prim": "CDR"
},
{
"prim": "CAR"
},
{
"prim": "COMPARE"
},
{
"prim": "EQ"
},
{
"prim": "IF",
"args": [
[
{
"prim": "DROP"
}
],
[
{
"prim": "DUP",
"args": [
{
"int": "4"
}
]
},
{
"prim": "SWAP"
},
{
"prim": "DUP"
},
{
"prim": "DUG",
"args": [
{
"int": "2"
}
]
},
{
"prim": "CAR"
},
{
"prim": "CDR"
},
{
"prim": "CAR"
},
{
"prim": "CAR"
},
{
"prim": "DUP",
"args": [
{
"int": "3"
}
]
},
{
"prim": "CAR"
},
{
"prim": "CAR"
},
{
"prim": "CAR"
},
{
"prim": "CAR"
},
{
"prim": "MUL"
},
{
"prim": "SWAP"
},
{
"prim": "DUP"
},
{
"prim": "DUG",
"args": [
{
"int": "2"
}
]
},
{
"prim": "SWAP"
},
{
"prim": "EDIV"
},
{
"prim": "IF_NONE",
"args": [
[
{
"prim": "DROP"
},
{
"prim": "PUSH",
"args": [
{
"prim": "int"
},
{
"int": "292"
}
]
},
{
"prim": "FAILWITH"
}
],
[
{
"prim": "UNPAIR"
},
{
"prim": "PUSH",
"args": [
{
"prim": "nat"
},
{
"int": "0"
}
]
},
{
"prim": "DIG",
"args": [
{
"int": "2"
}
]
},
{
"prim": "COMPARE"
},
{
"prim": "EQ"
},
{
"prim": "IF",
"args": [
[
{
"prim": "SWAP"
},
{
"prim": "DROP"
}
],
[
{
"prim": "PUSH",
"args": [
{
"prim": "int"
},
{
"int": "0"
}
]
},
{
"prim": "DIG",
"args": [
{
"int": "2"
}
]
},
{
"prim": "COMPARE"
},
{
"prim": "GT"
},
{
"prim": "IF",
"args": [
[
],
[
{
"prim": "PUSH",
"args": [
{
"prim": "int"
},
{
"int": "1"
}
]
},
{
"prim": "SWAP"
},
{
"prim": "SUB"
}
]
]
}
]
]
}
]
]
},
{
"prim": "DUP",
"args": [
{
"int": "3"
}
]
},
{
"prim": "CAR"
},
{
"prim": "CDR"
},
{
"prim": "CAR"
},
{
"prim": "PUSH",
"args": [
{
"prim": "int"
},
{
"int": "1000000000000"
}
]
},
{
"prim": "MUL"
},
{
"prim": "SWAP"
},
{
"prim": "DUP"
},
{
"prim": "DUG",
"args": [
{
"int": "2"
}
]
},
{
"prim": "DUP",
"args": [
{
"int": "5"
}
]
},
{
"prim": "CDR"
},
{
"prim": "CDR"
},
{
"prim": "MUL"
},
{
"prim": "PUSH",
"args": [
{
"prim": "int"
},
{
"int": "0"
}
]
},
{
"prim": "SWAP"
},
{
"prim": "DUP"
},
{
"prim": "DUG",
"args": [
{
"int": "2"
}
]
},
{
"prim": "COMPARE"
},
{
"prim": "LT"
},
{
"prim": "IF",
"args": [
[
{
"prim": "DROP",
"args": [
{
"int": "2"
}
]
},
{
"prim": "PUSH",
"args": [
{
"prim": "int"
},
{
"int": "271"
}
]
},
{
"prim": "FAILWITH"
}
],
[
{
"prim": "SWAP"
},
{
"prim": "PUSH",
"args": [
{
"prim": "int"
},
{
"int": "1000000000000"
}
]
},
{
"prim": "DIG",
"args": [
{
"int": "2"
}
]
},
{
"prim": "MUL"
},
{
"prim": "PAIR"
},
{
"prim": "DUP",
"args": [
{
"int": "7"
}
]
},
{
"prim": "SWAP"
},
{
"prim": "EXEC"
},
{
"prim": "ABS"
}
]
]
},
{
"prim": "DUP",
"args": [
{
"int": "4"
}
]
},
{
"prim": "CDR"
},
{
"prim": "CAR"
},
{
"prim": "PAIR"
},
{
"prim": "DIG",
"args": [
{
"int": "3"
}
]
},
{
"prim": "CAR"
},
{
"prim": "PAIR"
},
{
"prim": "DUP"
},
{
"prim": "CDR"
},
{
"prim": "SWAP"
},
{
"prim": "DUP"
},
{
"prim": "DUG",
"args": [
{
"int": "2"
}
]
},
{
"prim": "CAR"
},
{
"prim": "CDR"
},
{
"prim": "CDR"
},
{
"prim": "DIG",
"args": [
{
"int": "3"
}
]
},
{
"prim": "PAIR"
},
{
"prim": "DIG",
"args": [
{
"int": "2"
}
]
},
{
"prim": "CAR"
},
{
"prim": "CAR"
},
{
"prim": "PAIR"
},
{
"prim": "PAIR"
},
{
"prim": "DUP"
},
{
"prim": "CDR"
},
{
"prim": "CDR"
},
{
"prim": "DIG",
"args": [
{
"int": "2"
}
]
},
{
"prim": "CAR"
},
{
"prim": "CDR"
},
{
"prim": "CDR"
},
{
"prim": "CAR"
},
{
"prim": "DUP",
"args": [
{
"int": "3"
}
]
},
{
"prim": "CDR"
},
{
"prim": "CAR"
},
{
"prim": "CAR"
},
{
"prim": "PAIR"
},
{
"prim": "PAIR"
},
{
"prim": "SWAP"
},
{
"prim": "CAR"
},
{
"prim": "PAIR"
}
]
]
},
{
"prim": "DUP"
},
{
"prim": "CAR"
},
{
"prim": "CAR"
},
{
"prim": "CAR"
},
{
"prim": "NOT"
},
{
"prim": "IF",
"args": [
[
{
"prim": "SWAP"
},
{
"prim": "DIG",
"args": [
{
"int": "2"
}
]
},
{
"prim": "DROP",
"args": [
{
"int": "2"
}
]
},
{
"prim": "PUSH",
"args": [
{
"prim": "int"
},
{
"int": "93"
}
]
},
{
"prim": "FAILWITH"
}
],
[
{
"prim": "PUSH",
"args": [
{
"prim": "nat"
},
{
"int": "0"
}
]
},
{
"prim": "SWAP"
},
{
"prim": "DUP"
},
{
"prim": "DUG",
"args": [
{
"int": "2"
}
]
},
{
"prim": "CDR"
},
{
"prim": "CAR"
},
{
"prim": "CAR"
},
{
"prim": "COMPARE"
},
{
"prim": "GT"
},
{
"prim": "IF",
"args": [
[
{
"prim": "SWAP"
},
{
"prim": "DIG",
"args": [
{
"int": "2"
}
]
},
{
"prim": "DROP",
"args": [
{
"int": "2"
}
]
},
{
"prim": "PUSH",
"args": [
{
"prim": "int"
},
{
"int": "94"
}
]
},
{
"prim": "FAILWITH"
}
],
[
{
"prim": "SWAP"
},
{
"prim": "CDR"
},
{
"prim": "PUSH",
"args": [
{
"prim": "int"
},
{
"int": "1000000"
}
]
},
{
"prim": "DIG",
"args": [
{
"int": "3"
}
]
},
{
"prim": "MUL"
},
{
"prim": "SWAP"
},
{
"prim": "DUP"
},
{
"prim": "DUG",
"args": [
{
"int": "2"
}
]
},
{
"prim": "CDR"
},
{
"prim": "CAR"
},
{
"prim": "CAR"
},
{
"prim": "DUP",
"args": [
{
"int": "3"
}
]
},
{
"prim": "CAR"
},
{
"prim": "CDR"
},
{
"prim": "CAR"
},
{
"prim": "CDR"
},
{
"prim": "SWAP"
},
{
"prim": "DUP"
},
{
"prim": "DUG",
"args": [
{
"int": "2"
}
]
},
{
"prim": "SWAP"
},
{
"prim": "DUP"
},
{
"prim": "DUG",
"args": [
{
"int": "2"
}
]
},
{
"prim": "COMPARE"
},
{
"prim": "GE"
},
{
"prim": "IF",
"args": [
[
{
"prim": "SWAP"
},
{
"prim": "DROP"
}
],
[
{
"prim": "DROP"
}
]
]
},
{
"prim": "DIG",
"args": [
{
"int": "2"
}
]
},
{
"prim": "CDR"
},
{
"prim": "CAR"
},
{
"prim": "CDR"
},
{
"prim": "MUL"
},
{
"prim": "PAIR"
},
{
"prim": "SWAP"
},
{
"prim": "DUP"
},
{
"prim": "DUG",
"args": [
{
"int": "2"
}
]
},
{
"prim": "CDR"
},
{
"prim": "CDR"
},
{
"prim": "INT"
},
{
"prim": "PUSH",
"args": [
{
"prim": "int"
},
{
"int": "1000000000000"
}
]
},
{
"prim": "PAIR"
},
{
"prim": "SWAP"
},
{
"prim": "UNPAIR"
},
{
"prim": "SWAP"
},
{
"prim": "PAIR"
},
{
"prim": "PAIR"
}
]
]
}
]
]
},
{
"prim": "UNPAIR"
},
{
"prim": "SWAP"
},
{
"prim": "UNPAIR"
},
{
"prim": "PUSH",
"args": [
{
"prim": "int"
},
{
"int": "21"
}
]
},
{
"prim": "PUSH",
"args": [
{
"prim": "int"
},
{
"int": "10"
}
]
},
{
"prim": "DIG",
"args": [
{
"int": "4"
}
]
},
{
"prim": "UNPAIR"
},
{
"prim": "DIG",
"args": [
{
"int": "4"
}
]
},
{
"prim": "DIG",
"args": [
{
"int": "3"
}
]
},
{
"prim": "DIG",
"args": [
{
"int": "2"
}
]
},
{
"prim": "MUL"
},
{
"prim": "MUL"
},
{
"prim": "PUSH",
"args": [
{
"prim": "int"
},
{
"int": "1000000"
}
]
},
{
"prim": "DIG",
"args": [
{
"int": "4"
}
]
},
{
"prim": "MUL"
},
{
"prim": "DIG",
"args": [
{
"int": "3"
}
]
},
{
"prim": "DIG",
"args": [
{
"int": "3"
}
]
},
{
"prim": "MUL"
},
{
"prim": "MUL"
},
{
"prim": "PUSH",
"args": [
{
"prim": "int"
},
{
"int": "0"
}
]
},
{
"prim": "SWAP"
},
{
"prim": "DUP"
},
{
"prim": "DUG",
"args": [
{
"int": "2"
}
]
},
{
"prim": "COMPARE"
},
{
"prim": "LT"
},
{
"prim": "IF",
"args": [
[
{
"prim": "SWAP"
},
{
"prim": "DIG",
"args": [
{
"int": "3"
}
]
},
{
"prim": "DROP",
"args": [
{
"int": "3"
}
]
},
{
"prim": "PUSH",
"args": [
{
"prim": "int"
},
{
"int": "321"
}
]
},
{
"prim": "FAILWITH"
}
],
[
{
"prim": "SWAP"
},
{
"prim": "PUSH",
"args": [
{
"prim": "int"
},
{
"int": "1000000"
}
]
},
{
"prim": "DIG",
"args": [
{
"int": "2"
}
]
},
{
"prim": "MUL"
},
{
"prim": "PAIR"
},
{
"prim": "DIG",
"args": [
{
"int": "2"
}
]
},
{
"prim": "SWAP"
},
{
"prim": "EXEC"
},
{
"prim": "ABS"
}
]
]
},
{
"prim": "SWAP"
},
{
"prim": "CAR"
},
{
"prim": "CDR"
},
{
"prim": "CDR"
},
{
"prim": "SUB"
},
{
"prim": "ISNAT"
},
{
"prim": "IF_NONE",
"args": [
[
{
"prim": "PUSH",
"args": [
{
"prim": "int"
},
{
"int": "320"
}
]
},
{
"prim": "FAILWITH"
}
],
[
]
]
}
],
[
{
"prim": "DROP",
"args": [
{
"int": "4"
}
]
},
{
"prim": "PUSH",
"args": [
{
"prim": "int"
},
{
"int": "134"
}
]
},
{
"prim": "FAILWITH"
}
]
]
}
]
]
}
}
]
},
{
"name": "all_tokens",
"implementations": [
{
"michelsonStorageView": {
"parameter": {
"prim": "unit"
},
"returnType": {
"prim": "list",
"args": [
{
"prim": "nat"
}
]
},
"code": [
{
"prim": "UNPAIR"
},
{
"prim": "SWAP"
},
{
"prim": "GET",
"args": [
{
"int": "4"
}
]
},
{
"prim": "IF_LEFT",
"args": [
[
{
"prim": "DROP",
"args": [
{
"int": "2"
}
]
},
{
"prim": "NIL",
"args": [
{
"prim": "nat"
}
]
},
{
"prim": "PUSH",
"args": [
{
"prim": "nat"
},
{
"int": "1"
}
]
},
{
"prim": "CONS"
},
{
"prim": "PUSH",
"args": [
{
"prim": "nat"
},
{
"int": "0"
}
]
},
{
"prim": "CONS"
}
],
[
{
"prim": "DROP",
"args": [
{
"int": "2"
}
]
},
{
"prim": "PUSH",
"args": [
{
"prim": "int"
},
{
"int": "134"
}
]
},
{
"prim": "FAILWITH"
}
]
]
}
]
}
}
]
},
{
"name": "add_liquidity_min_lqt_minted",
"implementations": [
{
"michelsonStorageView": {
"parameter": {
"prim": "nat"
},
"returnType": {
"prim": "nat"
},
"code": [
{
"prim": "UNPAIR"
},
{
"prim": "SWAP"
},
{
"prim": "GET",
"args": [
{
"int": "4"
}
]
},
{
"prim": "IF_LEFT",
"args": [
[
{
"prim": "CAR"
},
{
"prim": "CAR"
},
{
"prim": "CDR"
},
{
"prim": "CAR"
},
{
"prim": "LEVEL"
},
{
"prim": "SWAP"
},
{
"prim": "DUP"
},
{
"prim": "DUG",
"args": [
{
"int": "2"
}
]
},
{
"prim": "CAR"
},
{
"prim": "CDR"
},
{
"prim": "CDR"
},
{
"prim": "SWAP"
},
{
"prim": "COMPARE"
},
{
"prim": "LE"
},
{
"prim": "IF",
"args": [
[
],
[
{
"prim": "DUP"
},
{
"prim": "CDR"
},
{
"prim": "SWAP"
},
{
"prim": "DUP"
},
{
"prim": "DUG",
"args": [
{
"int": "2"
}
]
},
{
"prim": "CAR"
},
{
"prim": "CDR"
},
{
"prim": "CDR"
},
{
"prim": "PUSH",
"args": [
{
"prim": "int"
},
{
"int": "1000000"
}
]
},
{
"prim": "DUP",
"args": [
{
"int": "4"
}
]
},
{
"prim": "CAR"
},
{
"prim": "CAR"
},
{
"prim": "CDR"
},
{
"prim": "MUL"
},
{
"prim": "PUSH",
"args": [
{
"prim": "int"
},
{
"int": "1000000000000"
}
]
},
{
"prim": "DUP",
"args": [
{
"int": "5"
}
]
},
{
"prim": "CAR"
},
{
"prim": "CAR"
},
{
"prim": "CAR"
},
{
"prim": "MUL"
},
{
"prim": "SWAP"
},
{
"prim": "PAIR"
},
{
"prim": "PAIR"
},
{
"prim": "DIG",
"args": [
{
"int": "2"
}
]
},
{
"prim": "CAR"
},
{
"prim": "CAR"
},
{
"prim": "PAIR"
},
{
"prim": "PAIR"
},
{
"prim": "DUP"
},
{
"prim": "CDR"
},
{
"prim": "LEVEL"
},
{
"prim": "DUP",
"args": [
{
"int": "3"
}
]
},
{
"prim": "CAR"
},
{
"prim": "CDR"
},
{
"prim": "CAR"
},
{
"prim": "PAIR"
},
{
"prim": "DIG",
"args": [
{
"int": "2"
}
]
},
{
"prim": "CAR"
},
{
"prim": "CAR"
},
{
"prim": "PAIR"
},
{
"prim": "PAIR"
}
]
]
},
{
"prim": "PUSH",
"args": [
{
"prim": "nat"
},
{
"int": "0"
}
]
},
{
"prim": "DUP",
"args": [
{
"int": "3"
}
]
},
{
"prim": "COMPARE"
},
{
"prim": "EQ"
},
{
"prim": "IF",
"args": [
[
{
"prim": "DROP",
"args": [
{
"int": "2"
}
]
},
{
"prim": "PUSH",
"args": [
{
"prim": "int"
},
{
"int": "30"
}
]
},
{
"prim": "FAILWITH"
}
],
[
{
"prim": "DUP"
},
{
"prim": "CAR"
},
{
"prim": "CAR"
},
{
"prim": "CAR"
},
{
"prim": "DUP"
},
{
"prim": "PUSH",
"args": [
{
"prim": "int"
},
{
"int": "1000000"
}
]
},
{
"prim": "MUL"
},
{
"prim": "DUP",
"args": [
{
"int": "4"
}
]
},
{
"prim": "DUP",
"args": [
{
"int": "4"
}
]
},
{
"prim": "CDR"
},
{
"prim": "INT"
},
{
"prim": "MUL"
},
{
"prim": "PUSH",
"args": [
{
"prim": "int"
},
{
"int": "0"
}
]
},
{
"prim": "SWAP"
},
{
"prim": "DUP"
},
{
"prim": "DUG",
"args": [
{
"int": "2"
}
]
},
{
"prim": "COMPARE"
},
{
"prim": "LT"
},
{
"prim": "IF",
"args": [
[
{
"prim": "DROP",
"args": [
{
"int": "2"
}
]
},
{
"prim": "PUSH",
"args": [
{
"prim": "int"
},
{
"int": "282"
}
]
},
{
"prim": "FAILWITH"
}
],
[
{
"prim": "SWAP"
},
{
"prim": "PUSH",
"args": [
{
"prim": "int"
},
{
"int": "1000000"
}
]
},
{
"prim": "DIG",
"args": [
{
"int": "2"
}
]
},
{
"prim": "MUL"
},
{
"prim": "SWAP"
},
{
"prim": "DUP"
},
{
"prim": "DUG",
"args": [
{
"int": "2"
}
]
},
{
"prim": "SWAP"
},
{
"prim": "EDIV"
},
{
"prim": "IF_NONE",
"args": [
[
{
"prim": "DROP"
},
{
"prim": "PUSH",
"args": [
{
"prim": "int"
},
{
"int": "292"
}
]
},
{
"prim": "FAILWITH"
}
],
[
{
"prim": "UNPAIR"
},
{
"prim": "PUSH",
"args": [
{
"prim": "nat"
},
{
"int": "0"
}
]
},
{
"prim": "DIG",
"args": [
{
"int": "2"
}
]
},
{
"prim": "COMPARE"
},
{
"prim": "EQ"
},
{
"prim": "IF",
"args": [
[
{
"prim": "SWAP"
},
{
"prim": "DROP"
}
],
[
{
"prim": "PUSH",
"args": [
{
"prim": "int"
},
{
"int": "0"
}
]
},
{
"prim": "DIG",
"args": [
{
"int": "2"
}
]
},
{
"prim": "COMPARE"
},
{
"prim": "GT"
},
{
"prim": "IF",
"args": [
[
],
[
{
"prim": "PUSH",
"args": [
{
"prim": "int"
},
{
"int": "1"
}
]
},
{
"prim": "SWAP"
},
{
"prim": "SUB"
}
]
]
}
]
]
}
]
]
},
{
"prim": "ABS"
}
]
]
},
{
"prim": "SWAP"
},
{
"prim": "PUSH",
"args": [
{
"prim": "int"
},
{
"int": "1000000000000"
}
]
},
{
"prim": "MUL"
},
{
"prim": "DUP",
"args": [
{
"int": "4"
}
]
},
{
"prim": "DUP",
"args": [
{
"int": "4"
}
]
},
{
"prim": "CAR"
},
{
"prim": "CAR"
},
{
"prim": "CDR"
},
{
"prim": "INT"
},
{
"prim": "MUL"
},
{
"prim": "PUSH",
"args": [
{
"prim": "int"
},
{
"int": "0"
}
]
},
{
"prim": "SWAP"
},
{
"prim": "DUP"
},
{
"prim": "DUG",
"args": [
{
"int": "2"
}
]
},
{
"prim": "COMPARE"
},
{
"prim": "LT"
},
{
"prim": "IF",
"args": [
[
{
"prim": "DROP",
"args": [
{
"int": "2"
}
]
},
{
"prim": "PUSH",
"args": [
{
"prim": "int"
},
{
"int": "271"
}
]
},
{
"prim": "FAILWITH"
}
],
[
{
"prim": "SWAP"
},
{
"prim": "PUSH",
"args": [
{
"prim": "int"
},
{
"int": "1000000000000"
}
]
},
{
"prim": "DIG",
"args": [
{
"int": "2"
}
]
},
{
"prim": "MUL"
},
{
"prim": "SWAP"
},
{
"prim": "DUP"
},
{
"prim": "DUG",
"args": [
{
"int": "2"
}
]
},
{
"prim": "SWAP"
},
{
"prim": "EDIV"
},
{
"prim": "IF_NONE",
"args": [
[
{
"prim": "DROP"
},
{
"prim": "PUSH",
"args": [
{
"prim": "int"
},
{
"int": "291"
}
]
},
{
"prim": "FAILWITH"
}
],
[
{
"prim": "UNPAIR"
},
{
"prim": "PUSH",
"args": [
{
"prim": "nat"
},
{
"int": "0"
}
]
},
{
"prim": "DIG",
"args": [
{
"int": "2"
}
]
},
{
"prim": "COMPARE"
},
{
"prim": "EQ"
},
{
"prim": "IF",
"args": [
[
{
"prim": "SWAP"
},
{
"prim": "DROP"
}
],
[
{
"prim": "PUSH",
"args": [
{
"prim": "int"
},
{
"int": "0"
}
]
},
{
"prim": "DIG",
"args": [
{
"int": "2"
}
]
},
{
"prim": "COMPARE"
},
{
"prim": "LT"
},
{
"prim": "IF",
"args": [
[
],
[
{
"prim": "PUSH",
"args": [
{
"prim": "int"
},
{
"int": "1"
}
]
},
{
"prim": "ADD"
}
]
]
}
]
]
}
]
]
},
{
"prim": "ABS"
}
]
]
},
{
"prim": "DUP",
"args": [
{
"int": "3"
}
]
},
{
"prim": "CDR"
},
{
"prim": "DUP",
"args": [
{
"int": "4"
}
]
},
{
"prim": "CAR"
},
{
"prim": "CDR"
},
{
"prim": "DUP",
"args": [
{
"int": "3"
}
]
},
{
"prim": "DUP",
"args": [
{
"int": "6"
}
]
},
{
"prim": "CAR"
},
{
"prim": "CAR"
},
{
"prim": "CDR"
},
{
"prim": "ADD"
},
{
"prim": "DUP",
"args": [
{
"int": "6"
}
]
},
{
"prim": "CAR"
},
{
"prim": "CAR"
},
{
"prim": "CAR"
},
{
"prim": "PAIR"
},
{
"prim": "PAIR"
},
{
"prim": "PAIR"
},
{
"prim": "DUP"
},
{
"prim": "CDR"
},
{
"prim": "SWAP"
},
{
"prim": "DUP"
},
{
"prim": "DUG",
"args": [
{
"int": "2"
}
]
},
{
"prim": "CAR"
},
{
"prim": "CDR"
},
{
"prim": "DIG",
"args": [
{
"int": "2"
}
]
},
{
"prim": "CAR"
},
{
"prim": "CAR"
},
{
"prim": "CDR"
},
{
"prim": "DIG",
"args": [
{
"int": "6"
}
]
},
{
"prim": "DUP",
"args": [
{
"int": "7"
}
]
},
{
"prim": "CAR"
},
{
"prim": "CAR"
},
{
"prim": "CAR"
},
{
"prim": "ADD"
},
{
"prim": "PAIR"
},
{
"prim": "PAIR"
},
{
"prim": "PAIR"
},
{
"prim": "DUP",
"args": [
{
"int": "3"
}
]
},
{
"prim": "DIG",
"args": [
{
"int": "4"
}
]
},
{
"prim": "CDR"
},
{
"prim": "ADD"
},
{
"prim": "SWAP"
},
{
"prim": "CAR"
},
{
"prim": "PAIR"
},
{
"prim": "SWAP"
},
{
"prim": "DIG",
"args": [
{
"int": "2"
}
]
},
{
"prim": "PAIR"
},
{
"prim": "PAIR"
}
]
]
},
{
"prim": "CAR"
},
{
"prim": "CAR"
}
],
[
{
"prim": "DROP",
"args": [
{
"int": "2"
}
]
},
{
"prim": "PUSH",
"args": [
{
"prim": "int"
},
{
"int": "134"
}
]
},
{
"prim": "FAILWITH"
}
]
]
}
]
}
}
]
},
{
"name": "is_operator",
"implementations": [
{
"michelsonStorageView": {
"parameter": {
"prim": "pair",
"args": [
{
"prim": "address"
},
{
"prim": "pair",
"args": [
{
"prim": "address"
},
{
"prim": "nat"
}
]
}
]
},
"returnType": {
"prim": "bool"
},
"code": [
{
"prim": "UNPAIR"
},
{
"prim": "SWAP"
},
{
"prim": "GET",
"args": [
{
"int": "4"
}
]
},
{
"prim": "IF_LEFT",
"args": [
[
{
"prim": "SWAP"
},
{
"prim": "UNPAIR"
},
{
"prim": "SWAP"
},
{
"prim": "UNPAIR"
},
{
"prim": "SWAP"
},
{
"prim": "DIG",
"args": [
{
"int": "2"
}
]
},
{
"prim": "PAIR"
},
{
"prim": "SWAP"
},
{
"prim": "DIG",
"args": [
{
"int": "2"
}
]
},
{
"prim": "CAR"
},
{
"prim": "CDR"
},
{
"prim": "CAR"
},
{
"prim": "CAR"
},
{
"prim": "DIG",
"args": [
{
"int": "2"
}
]
},
{
"prim": "UNPAIR"
},
{
"prim": "DIG",
"args": [
{
"int": "2"
}
]
},
{
"prim": "CDR"
},
{
"prim": "DUG",
"args": [
{
"int": "2"
}
]
},
{
"prim": "DUP"
},
{
"prim": "DUG",
"args": [
{
"int": "3"
}
]
},
{
"prim": "DUP",
"args": [
{
"int": "5"
}
]
},
{
"prim": "PAIR"
},
{
"prim": "PAIR"
},
{
"prim": "MEM"
},
{
"prim": "DUG",
"args": [
{
"int": "2"
}
]
},
{
"prim": "COMPARE"
},
{
"prim": "EQ"
},
{
"prim": "OR"
}
],
[
{
"prim": "DROP",
"args": [
{
"int": "2"
}
]
},
{
"prim": "PUSH",
"args": [
{
"prim": "int"
},
{
"int": "134"
}
]
},
{
"prim": "FAILWITH"
}
]
]
}
]
}
}
]
},
{
"name": "max_mintable_kit_given_collateral",
"implementations": [
{
"michelsonStorageView": {
"parameter": {
"prim": "nat"
},
"returnType": {
"prim": "nat"
},
"code": [
{
"prim": "PUSH",
"args": [
{
"prim": "int"
},
{
"int": "18446744073709551616"
}
]
},
{
"prim": "PAIR"
},
[
{
"prim": "UNPAIR"
},
{
"prim": "SWAP"
},
{
"prim": "UNPAIR"
},
{
"prim": "SWAP"
},
{
"prim": "GET",
"args": [
{
"int": "4"
}
]
},
{
"prim": "IF_LEFT",
"args": [
[
{
"prim": "SWAP"
},
{
"prim": "PUSH",
"args": [
{
"prim": "int"
},
{
"int": "21"
}
]
},
{
"prim": "PUSH",
"args": [
{
"prim": "int"
},
{
"int": "10"
}
]
},
{
"prim": "DIG",
"args": [
{
"int": "3"
}
]
},
{
"prim": "CDR"
},
{
"prim": "PUSH",
"args": [
{
"prim": "int"
},
{
"int": "1000000"
}
]
},
{
"prim": "DIG",
"args": [
{
"int": "5"
}
]
},
{
"prim": "MUL"
},
{
"prim": "SWAP"
},
{
"prim": "DUP"
},
{
"prim": "DUG",
"args": [
{
"int": "2"
}
]
},
{
"prim": "CDR"
},
{
"prim": "CAR"
},
{
"prim": "CAR"
},
{
"prim": "DUP",
"args": [
{
"int": "3"
}
]
},
{
"prim": "CAR"
},
{
"prim": "CDR"
},
{
"prim": "CAR"
},
{
"prim": "CDR"
},
{
"prim": "SWAP"
},
{
"prim": "DUP"
},
{
"prim": "DUG",
"args": [
{
"int": "2"
}
]
},
{
"prim": "SWAP"
},
{
"prim": "DUP"
},
{
"prim": "DUG",
"args": [
{
"int": "2"
}
]
},
{
"prim": "COMPARE"
},
{
"prim": "GE"
},
{
"prim": "IF",
"args": [
[
{
"prim": "SWAP"
},
{
"prim": "DROP"
}
],
[
{
"prim": "DROP"
}
]
]
},
{
"prim": "DIG",
"args": [
{
"int": "2"
}
]
},
{
"prim": "CDR"
},
{
"prim": "CAR"
},
{
"prim": "CDR"
},
{
"prim": "MUL"
},
{
"prim": "SWAP"
},
{
"prim": "DIG",
"args": [
{
"int": "2"
}
]
},
{
"prim": "MUL"
},
{
"prim": "DIG",
"args": [
{
"int": "3"
}
]
},
{
"prim": "MUL"
},
{
"prim": "SWAP"
},
{
"prim": "DIG",
"args": [
{
"int": "2"
}
]
},
{
"prim": "MUL"
},
{
"prim": "PUSH",
"args": [
{
"prim": "int"
},
{
"int": "1000000"
}
]
},
{
"prim": "MUL"
},
{
"prim": "PUSH",
"args": [
{
"prim": "int"
},
{
"int": "0"
}
]
},
{
"prim": "DUP",
"args": [
{
"int": "3"
}
]
},
{
"prim": "COMPARE"
},
{
"prim": "LT"
},
{
"prim": "IF",
"args": [
[
{
"prim": "DROP",
"args": [
{
"int": "2"
}
]
},
{
"prim": "PUSH",
"args": [
{
"prim": "int"
},
{
"int": "272"
}
]
},
{
"prim": "FAILWITH"
}
],
[
{
"prim": "PUSH",
"args": [
{
"prim": "int"
},
{
"int": "1000000000000"
}
]
},
{
"prim": "DIG",
"args": [
{
"int": "2"
}
]
},
{
"prim": "MUL"
},
{
"prim": "SWAP"
},
{
"prim": "DUP"
},
{
"prim": "DUG",
"args": [
{
"int": "2"
}
]
},
{
"prim": "SWAP"
},
{
"prim": "EDIV"
},
{
"prim": "IF_NONE",
"args": [
[
{
"prim": "DROP"
},
{
"prim": "PUSH",
"args": [
{
"prim": "int"
},
{
"int": "292"
}
]
},
{
"prim": "FAILWITH"
}
],
[
{
"prim": "UNPAIR"
},
{
"prim": "PUSH",
"args": [
{
"prim": "nat"
},
{
"int": "0"
}
]
},
{
"prim": "DIG",
"args": [
{
"int": "2"
}
]
},
{
"prim": "COMPARE"
},
{
"prim": "EQ"
},
{
"prim": "IF",
"args": [
[
{
"prim": "SWAP"
},
{
"prim": "DROP"
}
],
[
{
"prim": "PUSH",
"args": [
{
"prim": "int"
},
{
"int": "0"
}
]
},
{
"prim": "DIG",
"args": [
{
"int": "2"
}
]
},
{
"prim": "COMPARE"
},
{
"prim": "GT"
},
{
"prim": "IF",
"args": [
[
],
[
{
"prim": "PUSH",
"args": [
{
"prim": "int"
},
{
"int": "1"
}
]
},
{
"prim": "SWAP"
},
{
"prim": "SUB"
}
]
]
}
]
]
}
]
]
},
{
"prim": "ABS"
}
]
]
}
],
[
{
"prim": "DROP",
"args": [
{
"int": "3"
}
]
},
{
"prim": "PUSH",
"args": [
{
"prim": "int"
},
{
"int": "134"
}
]
},
{
"prim": "FAILWITH"
}
]
]
}
]
]
}
}
]
},
{
"name": "remove_liquidity_min_ctez_withdrawn",
"implementations": [
{
"michelsonStorageView": {
"parameter": {
"prim": "nat"
},
"returnType": {
"prim": "nat"
},
"code": [
{
"prim": "PUSH",
"args": [
{
"prim": "lambda",
"args": [
{
"prim": "pair",
"args": [
{
"prim": "int"
},
{
"prim": "int"
}
]
},
{
"prim": "int"
}
]
},
[
{
"prim": "UNPAIR"
},
{
"prim": "SWAP"
},
{
"prim": "DUP"
},
{
"prim": "DUG",
"args": [
{
"int": "2"
}
]
},
{
"prim": "SWAP"
},
{
"prim": "EDIV"
},
{
"prim": "IF_NONE",
"args": [
[
{
"prim": "DROP"
},
{
"prim": "PUSH",
"args": [
{
"prim": "int"
},
{
"int": "292"
}
]
},
{
"prim": "FAILWITH"
}
],
[
{
"prim": "UNPAIR"
},
{
"prim": "PUSH",
"args": [
{
"prim": "nat"
},
{
"int": "0"
}
]
},
{
"prim": "DIG",
"args": [
{
"int": "2"
}
]
},
{
"prim": "COMPARE"
},
{
"prim": "EQ"
},
{
"prim": "IF",
"args": [
[
{
"prim": "SWAP"
},
{
"prim": "DROP"
}
],
[
{
"prim": "PUSH",
"args": [
{
"prim": "int"
},
{
"int": "0"
}
]
},
{
"prim": "DIG",
"args": [
{
"int": "2"
}
]
},
{
"prim": "COMPARE"
},
{
"prim": "GT"
},
{
"prim": "IF",
"args": [
[
],
[
{
"prim": "PUSH",
"args": [
{
"prim": "int"
},
{
"int": "1"
}
]
},
{
"prim": "SWAP"
},
{
"prim": "SUB"
}
]
]
}
]
]
}
]
]
}
]
]
},
{
"prim": "PAIR"
},
[
{
"prim": "UNPAIR"
},
{
"prim": "SWAP"
},
{
"prim": "UNPAIR"
},
{
"prim": "SWAP"
},
{
"prim": "GET",
"args": [
{
"int": "4"
}
]
},
{
"prim": "IF_LEFT",
"args": [
[
{
"prim": "CAR"
},
{
"prim": "CAR"
},
{
"prim": "CDR"
},
{
"prim": "CAR"
},
{
"prim": "LEVEL"
},
{
"prim": "SWAP"
},
{
"prim": "DUP"
},
{
"prim": "DUG",
"args": [
{
"int": "2"
}
]
},
{
"prim": "CAR"
},
{
"prim": "CDR"
},
{
"prim": "CDR"
},
{
"prim": "SWAP"
},
{
"prim": "COMPARE"
},
{
"prim": "LE"
},
{
"prim": "IF",
"args": [
[
],
[
{
"prim": "DUP"
},
{
"prim": "CDR"
},
{
"prim": "SWAP"
},
{
"prim": "DUP"
},
{
"prim": "DUG",
"args": [
{
"int": "2"
}
]
},
{
"prim": "CAR"
},
{
"prim": "CDR"
},
{
"prim": "CDR"
},
{
"prim": "PUSH",
"args": [
{
"prim": "int"
},
{
"int": "1000000"
}
]
},
{
"prim": "DUP",
"args": [
{
"int": "4"
}
]
},
{
"prim": "CAR"
},
{
"prim": "CAR"
},
{
"prim": "CDR"
},
{
"prim": "MUL"
},
{
"prim": "PUSH",
"args": [
{
"prim": "int"
},
{
"int": "1000000000000"
}
]
},
{
"prim": "DUP",
"args": [
{
"int": "5"
}
]
},
{
"prim": "CAR"
},
{
"prim": "CAR"
},
{
"prim": "CAR"
},
{
"prim": "MUL"
},
{
"prim": "SWAP"
},
{
"prim": "PAIR"
},
{
"prim": "PAIR"
},
{
"prim": "DIG",
"args": [
{
"int": "2"
}
]
},
{
"prim": "CAR"
},
{
"prim": "CAR"
},
{
"prim": "PAIR"
},
{
"prim": "PAIR"
},
{
"prim": "DUP"
},
{
"prim": "CDR"
},
{
"prim": "LEVEL"
},
{
"prim": "DUP",
"args": [
{
"int": "3"
}
]
},
{
"prim": "CAR"
},
{
"prim": "CDR"
},
{
"prim": "CAR"
},
{
"prim": "PAIR"
},
{
"prim": "DIG",
"args": [
{
"int": "2"
}
]
},
{
"prim": "CAR"
},
{
"prim": "CAR"
},
{
"prim": "PAIR"
},
{
"prim": "PAIR"
}
]
]
},
{
"prim": "PUSH",
"args": [
{
"prim": "nat"
},
{
"int": "0"
}
]
},
{
"prim": "DUP",
"args": [
{
"int": "3"
}
]
},
{
"prim": "COMPARE"
},
{
"prim": "EQ"
},
{
"prim": "IF",
"args": [
[
{
"prim": "DROP",
"args": [
{
"int": "3"
}
]
},
{
"prim": "PUSH",
"args": [
{
"prim": "int"
},
{
"int": "41"
}
]
},
{
"prim": "FAILWITH"
}
],
[
{
"prim": "DUP"
},
{
"prim": "CDR"
},
{
"prim": "DUP",
"args": [
{
"int": "3"
}
]
},
{
"prim": "COMPARE"
},
{
"prim": "GE"
},
{
"prim": "IF",
"args": [
[
{
"prim": "DROP",
"args": [
{
"int": "3"
}
]
},
{
"prim": "PUSH",
"args": [
{
"prim": "int"
},
{
"int": "48"
}
]
},
{
"prim": "FAILWITH"
}
],
[
{
"prim": "DUP"
},
{
"prim": "CDR"
},
{
"prim": "PUSH",
"args": [
{
"prim": "int"
},
{
"int": "1000000"
}
]
},
{
"prim": "MUL"
},
{
"prim": "DUP",
"args": [
{
"int": "3"
}
]
},
{
"prim": "INT"
},
{
"prim": "DUP",
"args": [
{
"int": "3"
}
]
},
{
"prim": "CAR"
},
{
"prim": "CAR"
},
{
"prim": "CAR"
},
{
"prim": "MUL"
},
{
"prim": "PUSH",
"args": [
{
"prim": "int"
},
{
"int": "0"
}
]
},
{
"prim": "SWAP"
},
{
"prim": "DUP"
},
{
"prim": "DUG",
"args": [
{
"int": "2"
}
]
},
{
"prim": "COMPARE"
},
{
"prim": "LT"
},
{
"prim": "IF",
"args": [
[
{
"prim": "DROP",
"args": [
{
"int": "2"
}
]
},
{
"prim": "PUSH",
"args": [
{
"prim": "int"
},
{
"int": "262"
}
]
},
{
"prim": "FAILWITH"
}
],
[
{
"prim": "SWAP"
},
{
"prim": "PUSH",
"args": [
{
"prim": "int"
},
{
"int": "1000000"
}
]
},
{
"prim": "DIG",
"args": [
{
"int": "2"
}
]
},
{
"prim": "MUL"
},
{
"prim": "PAIR"
},
{
"prim": "DUP",
"args": [
{
"int": "4"
}
]
},
{
"prim": "SWAP"
},
{
"prim": "EXEC"
},
{
"prim": "ABS"
}
]
]
},
{
"prim": "SWAP"
},
{
"prim": "DUP"
},
{
"prim": "DUG",
"args": [
{
"int": "2"
}
]
},
{
"prim": "CDR"
},
{
"prim": "PUSH",
"args": [
{
"prim": "int"
},
{
"int": "1000000000000"
}
]
},
{
"prim": "MUL"
},
{
"prim": "DUP",
"args": [
{
"int": "4"
}
]
},
{
"prim": "DUP",
"args": [
{
"int": "4"
}
]
},
{
"prim": "CAR"
},
{
"prim": "CAR"
},
{
"prim": "CDR"
},
{
"prim": "INT"
},
{
"prim": "MUL"
},
{
"prim": "PUSH",
"args": [
{
"prim": "int"
},
{
"int": "0"
}
]
},
{
"prim": "SWAP"
},
{
"prim": "DUP"
},
{
"prim": "DUG",
"args": [
{
"int": "2"
}
]
},
{
"prim": "COMPARE"
},
{
"prim": "LT"
},
{
"prim": "IF",
"args": [
[
{
"prim": "SWAP"
},
{
"prim": "DIG",
"args": [
{
"int": "5"
}
]
},
{
"prim": "DROP",
"args": [
{
"int": "3"
}
]
},
{
"prim": "PUSH",
"args": [
{
"prim": "int"
},
{
"int": "272"
}
]
},
{
"prim": "FAILWITH"
}
],
[
{
"prim": "SWAP"
},
{
"prim": "PUSH",
"args": [
{
"prim": "int"
},
{
"int": "1000000000000"
}
]
},
{
"prim": "DIG",
"args": [
{
"int": "2"
}
]
},
{
"prim": "MUL"
},
{
"prim": "PAIR"
},
{
"prim": "DIG",
"args": [
{
"int": "4"
}
]
},
{
"prim": "SWAP"
},
{
"prim": "EXEC"
},
{
"prim": "ABS"
}
]
]
},
{
"prim": "SWAP"
},
{
"prim": "DUP"
},
{
"prim": "DUG",
"args": [
{
"int": "2"
}
]
},
{
"prim": "DUP",
"args": [
{
"int": "4"
}
]
},
{
"prim": "CAR"
},
{
"prim": "CAR"
},
{
"prim": "CAR"
},
{
"prim": "SUB"
},
{
"prim": "ISNAT"
},
{
"prim": "IF_NONE",
"args": [
[
{
"prim": "PUSH",
"args": [
{
"prim": "int"
},
{
"int": "260"
}
]
},
{
"prim": "FAILWITH"
}
],
[
]
]
},
{
"prim": "DIG",
"args": [
{
"int": "4"
}
]
},
{
"prim": "DUP",
"args": [
{
"int": "5"
}
]
},
{
"prim": "CDR"
},
{
"prim": "SUB"
},
{
"prim": "ISNAT"
},
{
"prim": "IF_NONE",
"args": [
[
{
"prim": "PUSH",
"args": [
{
"prim": "int"
},
{
"int": "280"
}
]
},
{
"prim": "FAILWITH"
}
],
[
]
]
},
{
"prim": "DUP",
"args": [
{
"int": "3"
}
]
},
{
"prim": "DUP",
"args": [
{
"int": "6"
}
]
},
{
"prim": "CAR"
},
{
"prim": "CAR"
},
{
"prim": "CDR"
},
{
"prim": "SUB"
},
{
"prim": "ISNAT"
},
{
"prim": "IF_NONE",
"args": [
[
{
"prim": "PUSH",
"args": [
{
"prim": "int"
},
{
"int": "270"
}
]
},
{
"prim": "FAILWITH"
}
],
[
]
]
},
{
"prim": "SWAP"
},
{
"prim": "DUP",
"args": [
{
"int": "6"
}
]
},
{
"prim": "CDR"
},
{
"prim": "DUP",
"args": [
{
"int": "7"
}
]
},
{
"prim": "CAR"
},
{
"prim": "CDR"
},
{
"prim": "DIG",
"args": [
{
"int": "7"
}
]
},
{
"prim": "CAR"
},
{
"prim": "CAR"
},
{
"prim": "CDR"
},
{
"prim": "DIG",
"args": [
{
"int": "5"
}
]
},
{
"prim": "PAIR"
},
{
"prim": "PAIR"
},
{
"prim": "PAIR"
},
{
"prim": "DUP"
},
{
"prim": "CDR"
},
{
"prim": "SWAP"
},
{
"prim": "DUP"
},
{
"prim": "DUG",
"args": [
{
"int": "2"
}
]
},
{
"prim": "CAR"
},
{
"prim": "CDR"
},
{
"prim": "DIG",
"args": [
{
"int": "4"
}
]
},
{
"prim": "DIG",
"args": [
{
"int": "3"
}
]
},
{
"prim": "CAR"
},
{
"prim": "CAR"
},
{
"prim": "CAR"
},
{
"prim": "PAIR"
},
{
"prim": "PAIR"
},
{
"prim": "PAIR"
},
{
"prim": "CAR"
},
{
"prim": "PAIR"
},
{
"prim": "SWAP"
},
{
"prim": "DIG",
"args": [
{
"int": "2"
}
]
},
{
"prim": "PAIR"
},
{
"prim": "PAIR"
}
]
]
}
]
]
},
{
"prim": "CAR"
},
{
"prim": "CAR"
}
],
[
{
"prim": "DROP",
"args": [
{
"int": "3"
}
]
},
{
"prim": "PUSH",
"args": [
{
"prim": "int"
},
{
"int": "134"
}
]
},
{
"prim": "FAILWITH"
}
]
]
}
]
]
}
}
]
},
{
"name": "total_supply",
"implementations": [
{
"michelsonStorageView": {
"parameter": {
"prim": "nat"
},
"returnType": {
"prim": "nat"
},
"code": [
{
"prim": "UNPAIR"
},
{
"prim": "SWAP"
},
{
"prim": "GET",
"args": [
{
"int": "4"
}
]
},
{
"prim": "IF_LEFT",
"args": [
[
{
"prim": "SWAP"
},
{
"prim": "PUSH",
"args": [
{
"prim": "nat"
},
{
"int": "0"
}
]
},
{
"prim": "SWAP"
},
{
"prim": "DUP"
},
{
"prim": "DUG",
"args": [
{
"int": "2"
}
]
},
{
"prim": "COMPARE"
},
{
"prim": "EQ"
},
{
"prim": "IF",
"args": [
[
{
"prim": "DROP"
},
{
"prim": "CDR"
},
{
"prim": "CAR"
},
{
"prim": "CAR"
},
{
"prim": "CAR"
},
{
"prim": "CDR"
}
],
[
{
"prim": "PUSH",
"args": [
{
"prim": "nat"
},
{
"int": "1"
}
]
},
{
"prim": "SWAP"
},
{
"prim": "COMPARE"
},
{
"prim": "EQ"
},
{
"prim": "IF",
"args": [
[
{
"prim": "PUSH",
"args": [
{
"prim": "nat"
},
{
"int": "1"
}
]
},
{
"prim": "SWAP"
},
{
"prim": "CAR"
},
{
"prim": "CAR"
},
{
"prim": "CDR"
},
{
"prim": "CAR"
},
{
"prim": "CDR"
},
{
"prim": "SUB"
},
{
"prim": "ISNAT"
},
{
"prim": "IF_NONE",
"args": [
[
{
"prim": "PUSH",
"args": [
{
"prim": "int"
},
{
"int": "280"
}
]
},
{
"prim": "FAILWITH"
}
],
[
]
]
}
],
[
{
"prim": "DROP"
},
{
"prim": "PUSH",
"args": [
{
"prim": "string"
},
{
"string": "FA2_TOKEN_UNDEFINED"
}
]
},
{
"prim": "FAILWITH"
}
]
]
}
]
]
}
],
[
{
"prim": "DROP",
"args": [
{
"int": "2"
}
]
},
{
"prim": "PUSH",
"args": [
{
"prim": "int"
},
{
"int": "134"
}
]
},
{
"prim": "FAILWITH"
}
]
]
}
]
}
}
]
},
{
"name": "burrow_max_mintable_kit",
"implementations": [
{
"michelsonStorageView": {
"parameter": {
"prim": "pair",
"args": [
{
"prim": "address"
},
{
"prim": "nat"
}
]
},
"returnType": {
"prim": "nat"
},
"code": [
{
"prim": "PUSH",
"args": [
{
"prim": "pair",
"args": [
{
"prim": "int"
},
{
"prim": "lambda",
"args": [
{
"prim": "pair",
"args": [
{
"prim": "int"
},
{
"prim": "int"
}
]
},
{
"prim": "int"
}
]
}
]
},
{
"prim": "Pair",
"args": [
{
"int": "18446744073709551616"
},
[
{
"prim": "UNPAIR"
},
{
"prim": "SWAP"
},
{
"prim": "DUP"
},
{
"prim": "DUG",
"args": [
{
"int": "2"
}
]
},
{
"prim": "SWAP"
},
{
"prim": "EDIV"
},
{
"prim": "IF_NONE",
"args": [
[
{
"prim": "DROP"
},
{
"prim": "PUSH",
"args": [
{
"prim": "int"
},
{
"int": "292"
}
]
},
{
"prim": "FAILWITH"
}
],
[
{
"prim": "UNPAIR"
},
{
"prim": "PUSH",
"args": [
{
"prim": "nat"
},
{
"int": "0"
}
]
},
{
"prim": "DIG",
"args": [
{
"int": "2"
}
]
},
{
"prim": "COMPARE"
},
{
"prim": "EQ"
},
{
"prim": "IF",
"args": [
[
{
"prim": "SWAP"
},
{
"prim": "DROP"
}
],
[
{
"prim": "PUSH",
"args": [
{
"prim": "int"
},
{
"int": "0"
}
]
},
{
"prim": "DIG",
"args": [
{
"int": "2"
}
]
},
{
"prim": "COMPARE"
},
{
"prim": "GT"
},
{
"prim": "IF",
"args": [
[
],
[
{
"prim": "PUSH",
"args": [
{
"prim": "int"
},
{
"int": "1"
}
]
},
{
"prim": "SWAP"
},
{
"prim": "SUB"
}
]
]
}
]
]
}
]
]
}
]
]
}
]
},
{
"prim": "PAIR"
},
[
{
"prim": "UNPAIR"
},
{
"prim": "UNPAIR"
},
{
"prim": "DIG",
"args": [
{
"int": "2"
}
]
},
{
"prim": "UNPAIR"
},
{
"prim": "SWAP"
},
{
"prim": "GET",
"args": [
{
"int": "4"
}
]
},
{
"prim": "IF_LEFT",
"args": [
[
{
"prim": "DUP"
},
{
"prim": "DUG",
"args": [
{
"int": "2"
}
]
},
{
"prim": "CAR"
},
{
"prim": "CAR"
},
{
"prim": "CAR"
},
{
"prim": "CDR"
},
{
"prim": "SWAP"
},
{
"prim": "GET"
},
{
"prim": "IF_NONE",
"args": [
[
{
"prim": "PUSH",
"args": [
{
"prim": "int"
},
{
"int": "81"
}
]
},
{
"prim": "FAILWITH"
}
],
[
]
]
},
{
"prim": "SWAP"
},
{
"prim": "DUP"
},
{
"prim": "DUG",
"args": [
{
"int": "2"
}
]
},
{
"prim": "CDR"
},
{
"prim": "SWAP"
},
{
"prim": "DUP"
},
{
"prim": "DUG",
"args": [
{
"int": "2"
}
]
},
{
"prim": "CDR"
},
{
"prim": "CAR"
},
{
"prim": "CDR"
},
{
"prim": "SWAP"
},
{
"prim": "DUP"
},
{
"prim": "DUG",
"args": [
{
"int": "2"
}
]
},
{
"prim": "CAR"
},
{
"prim": "CDR"
},
{
"prim": "CDR"
},
{
"prim": "CAR"
},
{
"prim": "COMPARE"
},
{
"prim": "EQ"
},
{
"prim": "IF",
"args": [
[
{
"prim": "DROP"
}
],
[
{
"prim": "DUP",
"args": [
{
"int": "4"
}
]
},
{
"prim": "SWAP"
},
{
"prim": "DUP"
},
{
"prim": "DUG",
"args": [
{
"int": "2"
}
]
},
{
"prim": "CAR"
},
{
"prim": "CDR"
},
{
"prim": "CAR"
},
{
"prim": "CAR"
},
{
"prim": "DUP",
"args": [
{
"int": "3"
}
]
},
{
"prim": "CAR"
},
{
"prim": "CAR"
},
{
"prim": "CAR"
},
{
"prim": "CAR"
},
{
"prim": "MUL"
},
{
"prim": "PAIR"
},
{
"prim": "DUP",
"args": [
{
"int": "6"
}
]
},
{
"prim": "SWAP"
},
{
"prim": "EXEC"
},
{
"prim": "DUP",
"args": [
{
"int": "3"
}
]
},
{
"prim": "CAR"
},
{
"prim": "CDR"
},
{
"prim": "CAR"
},
{
"prim": "PUSH",
"args": [
{
"prim": "int"
},
{
"int": "1000000000000"
}
]
},
{
"prim": "MUL"
},
{
"prim": "SWAP"
},
{
"prim": "DUP"
},
{
"prim": "DUG",
"args": [
{
"int": "2"
}
]
},
{
"prim": "DUP",
"args": [
{
"int": "5"
}
]
},
{
"prim": "CDR"
},
{
"prim": "CDR"
},
{
"prim": "MUL"
},
{
"prim": "PUSH",
"args": [
{
"prim": "int"
},
{
"int": "0"
}
]
},
{
"prim": "SWAP"
},
{
"prim": "DUP"
},
{
"prim": "DUG",
"args": [
{
"int": "2"
}
]
},
{
"prim": "COMPARE"
},
{
"prim": "LT"
},
{
"prim": "IF",
"args": [
[
{
"prim": "DROP",
"args": [
{
"int": "2"
}
]
},
{
"prim": "PUSH",
"args": [
{
"prim": "int"
},
{
"int": "271"
}
]
},
{
"prim": "FAILWITH"
}
],
[
{
"prim": "SWAP"
},
{
"prim": "PUSH",
"args": [
{
"prim": "int"
},
{
"int": "1000000000000"
}
]
},
{
"prim": "DIG",
"args": [
{
"int": "2"
}
]
},
{
"prim": "MUL"
},
{
"prim": "SWAP"
},
{
"prim": "DUP"
},
{
"prim": "DUG",
"args": [
{
"int": "2"
}
]
},
{
"prim": "SWAP"
},
{
"prim": "EDIV"
},
{
"prim": "IF_NONE",
"args": [
[
{
"prim": "DROP"
},
{
"prim": "PUSH",
"args": [
{
"prim": "int"
},
{
"int": "291"
}
]
},
{
"prim": "FAILWITH"
}
],
[
{
"prim": "UNPAIR"
},
{
"prim": "PUSH",
"args": [
{
"prim": "nat"
},
{
"int": "0"
}
]
},
{
"prim": "DIG",
"args": [
{
"int": "2"
}
]
},
{
"prim": "COMPARE"
},
{
"prim": "EQ"
},
{
"prim": "IF",
"args": [
[
{
"prim": "SWAP"
},
{
"prim": "DROP"
}
],
[
{
"prim": "PUSH",
"args": [
{
"prim": "int"
},
{
"int": "0"
}
]
},
{
"prim": "DIG",
"args": [
{
"int": "2"
}
]
},
{
"prim": "COMPARE"
},
{
"prim": "LT"
},
{
"prim": "IF",
"args": [
[
],
[
{
"prim": "PUSH",
"args": [
{
"prim": "int"
},
{
"int": "1"
}
]
},
{
"prim": "ADD"
}
]
]
}
]
]
}
]
]
},
{
"prim": "ABS"
}
]
]
},
{
"prim": "DUP",
"args": [
{
"int": "4"
}
]
},
{
"prim": "CDR"
},
{
"prim": "CAR"
},
{
"prim": "PAIR"
},
{
"prim": "DIG",
"args": [
{
"int": "3"
}
]
},
{
"prim": "CAR"
},
{
"prim": "PAIR"
},
{
"prim": "DUP"
},
{
"prim": "CDR"
},
{
"prim": "SWAP"
},
{
"prim": "DUP"
},
{
"prim": "DUG",
"args": [
{
"int": "2"
}
]
},
{
"prim": "CAR"
},
{
"prim": "CDR"
},
{
"prim": "CDR"
},
{
"prim": "DIG",
"args": [
{
"int": "3"
}
]
},
{
"prim": "PAIR"
},
{
"prim": "DIG",
"args": [
{
"int": "2"
}
]
},
{
"prim": "CAR"
},
{
"prim": "CAR"
},
{
"prim": "PAIR"
},
{
"prim": "PAIR"
},
{
"prim": "DUP"
},
{
"prim": "CDR"
},
{
"prim": "CDR"
},
{
"prim": "DIG",
"args": [
{
"int": "2"
}
]
},
{
"prim": "CAR"
},
{
"prim": "CDR"
},
{
"prim": "CDR"
},
{
"prim": "CAR"
},
{
"prim": "DUP",
"args": [
{
"int": "3"
}
]
},
{
"prim": "CDR"
},
{
"prim": "CAR"
},
{
"prim": "CAR"
},
{
"prim": "PAIR"
},
{
"prim": "PAIR"
},
{
"prim": "SWAP"
},
{
"prim": "CAR"
},
{
"prim": "PAIR"
}
]
]
},
{
"prim": "PUSH",
"args": [
{
"prim": "int"
},
{
"int": "21"
}
]
},
{
"prim": "PUSH",
"args": [
{
"prim": "int"
},
{
"int": "10"
}
]
},
{
"prim": "DIG",
"args": [
{
"int": "3"
}
]
},
{
"prim": "CDR"
},
{
"prim": "PUSH",
"args": [
{
"prim": "int"
},
{
"int": "1000000"
}
]
},
{
"prim": "DIG",
"args": [
{
"int": "5"
}
]
},
{
"prim": "MUL"
},
{
"prim": "SWAP"
},
{
"prim": "DUP"
},
{
"prim": "DUG",
"args": [
{
"int": "2"
}
]
},
{
"prim": "CDR"
},
{
"prim": "CAR"
},
{
"prim": "CAR"
},
{
"prim": "DUP",
"args": [
{
"int": "3"
}
]
},
{
"prim": "CAR"
},
{
"prim": "CDR"
},
{
"prim": "CAR"
},
{
"prim": "CDR"
},
{
"prim": "SWAP"
},
{
"prim": "DUP"
},
{
"prim": "DUG",
"args": [
{
"int": "2"
}
]
},
{
"prim": "SWAP"
},
{
"prim": "DUP"
},
{
"prim": "DUG",
"args": [
{
"int": "2"
}
]
},
{
"prim": "COMPARE"
},
{
"prim": "GE"
},
{
"prim": "IF",
"args": [
[
{
"prim": "SWAP"
},
{
"prim": "DROP"
}
],
[
{
"prim": "DROP"
}
]
]
},
{
"prim": "DIG",
"args": [
{
"int": "2"
}
]
},
{
"prim": "CDR"
},
{
"prim": "CAR"
},
{
"prim": "CDR"
},
{
"prim": "MUL"
},
{
"prim": "SWAP"
},
{
"prim": "DIG",
"args": [
{
"int": "2"
}
]
},
{
"prim": "MUL"
},
{
"prim": "DIG",
"args": [
{
"int": "3"
}
]
},
{
"prim": "CAR"
},
{
"prim": "CDR"
},
{
"prim": "CDR"
},
{
"prim": "MUL"
},
{
"prim": "SWAP"
},
{
"prim": "DIG",
"args": [
{
"int": "2"
}
]
},
{
"prim": "MUL"
},
{
"prim": "PUSH",
"args": [
{
"prim": "int"
},
{
"int": "1000000"
}
]
},
{
"prim": "MUL"
},
{
"prim": "PUSH",
"args": [
{
"prim": "int"
},
{
"int": "0"
}
]
},
{
"prim": "DUP",
"args": [
{
"int": "3"
}
]
},
{
"prim": "COMPARE"
},
{
"prim": "LT"
},
{
"prim": "IF",
"args": [
[
{
"prim": "DROP",
"args": [
{
"int": "3"
}
]
},
{
"prim": "PUSH",
"args": [
{
"prim": "int"
},
{
"int": "272"
}
]
},
{
"prim": "FAILWITH"
}
],
[
{
"prim": "PUSH",
"args": [
{
"prim": "int"
},
{
"int": "1000000000000"
}
]
},
{
"prim": "DIG",
"args": [
{
"int": "2"
}
]
},
{
"prim": "MUL"
},
{
"prim": "PAIR"
},
{
"prim": "EXEC"
},
{
"prim": "ABS"
}
]
]
}
],
[
{
"prim": "DROP",
"args": [
{
"int": "4"
}
]
},
{
"prim": "PUSH",
"args": [
{
"prim": "int"
},
{
"int": "134"
}
]
},
{
"prim": "FAILWITH"
}
]
]
}
]
]
}
}
]
},
{
"name": "cfmm_ctez_amount",
"implementations": [
{
"michelsonStorageView": {
"parameter": {
"prim": "unit"
},
"returnType": {
"prim": "nat"
},
"code": [
{
"prim": "UNPAIR"
},
{
"prim": "SWAP"
},
{
"prim": "GET",
"args": [
{
"int": "4"
}
]
},
{
"prim": "IF_LEFT",
"args": [
[
{
"prim": "SWAP"
},
{
"prim": "DROP"
},
{
"prim": "CAR"
},
{
"prim": "CAR"
},
{
"prim": "CDR"
},
{
"prim": "CAR"
},
{
"prim": "CAR"
},
{
"prim": "CAR"
},
{
"prim": "CAR"
}
],
[
{
"prim": "DROP",
"args": [
{
"int": "2"
}
]
},
{
"prim": "PUSH",
"args": [
{
"prim": "int"
},
{
"int": "134"
}
]
},
{
"prim": "FAILWITH"
}
]
]
}
]
}
}
]
},
{
"name": "remove_liquidity_min_kit_withdrawn",
"implementations": [
{
"michelsonStorageView": {
"parameter": {
"prim": "nat"
},
"returnType": {
"prim": "nat"
},
"code": [
{
"prim": "PUSH",
"args": [
{
"prim": "lambda",
"args": [
{
"prim": "pair",
"args": [
{
"prim": "int"
},
{
"prim": "int"
}
]
},
{
"prim": "int"
}
]
},
[
{
"prim": "UNPAIR"
},
{
"prim": "SWAP"
},
{
"prim": "DUP"
},
{
"prim": "DUG",
"args": [
{
"int": "2"
}
]
},
{
"prim": "SWAP"
},
{
"prim": "EDIV"
},
{
"prim": "IF_NONE",
"args": [
[
{
"prim": "DROP"
},
{
"prim": "PUSH",
"args": [
{
"prim": "int"
},
{
"int": "292"
}
]
},
{
"prim": "FAILWITH"
}
],
[
{
"prim": "UNPAIR"
},
{
"prim": "PUSH",
"args": [
{
"prim": "nat"
},
{
"int": "0"
}
]
},
{
"prim": "DIG",
"args": [
{
"int": "2"
}
]
},
{
"prim": "COMPARE"
},
{
"prim": "EQ"
},
{
"prim": "IF",
"args": [
[
{
"prim": "SWAP"
},
{
"prim": "DROP"
}
],
[
{
"prim": "PUSH",
"args": [
{
"prim": "int"
},
{
"int": "0"
}
]
},
{
"prim": "DIG",
"args": [
{
"int": "2"
}
]
},
{
"prim": "COMPARE"
},
{
"prim": "GT"
},
{
"prim": "IF",
"args": [
[
],
[
{
"prim": "PUSH",
"args": [
{
"prim": "int"
},
{
"int": "1"
}
]
},
{
"prim": "SWAP"
},
{
"prim": "SUB"
}
]
]
}
]
]
}
]
]
}
]
]
},
{
"prim": "PAIR"
},
[
{
"prim": "UNPAIR"
},
{
"prim": "SWAP"
},
{
"prim": "UNPAIR"
},
{
"prim": "SWAP"
},
{
"prim": "GET",
"args": [
{
"int": "4"
}
]
},
{
"prim": "IF_LEFT",
"args": [
[
{
"prim": "CAR"
},
{
"prim": "CAR"
},
{
"prim": "CDR"
},
{
"prim": "CAR"
},
{
"prim": "LEVEL"
},
{
"prim": "SWAP"
},
{
"prim": "DUP"
},
{
"prim": "DUG",
"args": [
{
"int": "2"
}
]
},
{
"prim": "CAR"
},
{
"prim": "CDR"
},
{
"prim": "CDR"
},
{
"prim": "SWAP"
},
{
"prim": "COMPARE"
},
{
"prim": "LE"
},
{
"prim": "IF",
"args": [
[
],
[
{
"prim": "DUP"
},
{
"prim": "CDR"
},
{
"prim": "SWAP"
},
{
"prim": "DUP"
},
{
"prim": "DUG",
"args": [
{
"int": "2"
}
]
},
{
"prim": "CAR"
},
{
"prim": "CDR"
},
{
"prim": "CDR"
},
{
"prim": "PUSH",
"args": [
{
"prim": "int"
},
{
"int": "1000000"
}
]
},
{
"prim": "DUP",
"args": [
{
"int": "4"
}
]
},
{
"prim": "CAR"
},
{
"prim": "CAR"
},
{
"prim": "CDR"
},
{
"prim": "MUL"
},
{
"prim": "PUSH",
"args": [
{
"prim": "int"
},
{
"int": "1000000000000"
}
]
},
{
"prim": "DUP",
"args": [
{
"int": "5"
}
]
},
{
"prim": "CAR"
},
{
"prim": "CAR"
},
{
"prim": "CAR"
},
{
"prim": "MUL"
},
{
"prim": "SWAP"
},
{
"prim": "PAIR"
},
{
"prim": "PAIR"
},
{
"prim": "DIG",
"args": [
{
"int": "2"
}
]
},
{
"prim": "CAR"
},
{
"prim": "CAR"
},
{
"prim": "PAIR"
},
{
"prim": "PAIR"
},
{
"prim": "DUP"
},
{
"prim": "CDR"
},
{
"prim": "LEVEL"
},
{
"prim": "DUP",
"args": [
{
"int": "3"
}
]
},
{
"prim": "CAR"
},
{
"prim": "CDR"
},
{
"prim": "CAR"
},
{
"prim": "PAIR"
},
{
"prim": "DIG",
"args": [
{
"int": "2"
}
]
},
{
"prim": "CAR"
},
{
"prim": "CAR"
},
{
"prim": "PAIR"
},
{
"prim": "PAIR"
}
]
]
},
{
"prim": "PUSH",
"args": [
{
"prim": "nat"
},
{
"int": "0"
}
]
},
{
"prim": "DUP",
"args": [
{
"int": "3"
}
]
},
{
"prim": "COMPARE"
},
{
"prim": "EQ"
},
{
"prim": "IF",
"args": [
[
{
"prim": "DROP",
"args": [
{
"int": "3"
}
]
},
{
"prim": "PUSH",
"args": [
{
"prim": "int"
},
{
"int": "41"
}
]
},
{
"prim": "FAILWITH"
}
],
[
{
"prim": "DUP"
},
{
"prim": "CDR"
},
{
"prim": "DUP",
"args": [
{
"int": "3"
}
]
},
{
"prim": "COMPARE"
},
{
"prim": "GE"
},
{
"prim": "IF",
"args": [
[
{
"prim": "DROP",
"args": [
{
"int": "3"
}
]
},
{
"prim": "PUSH",
"args": [
{
"prim": "int"
},
{
"int": "48"
}
]
},
{
"prim": "FAILWITH"
}
],
[
{
"prim": "DUP"
},
{
"prim": "CDR"
},
{
"prim": "PUSH",
"args": [
{
"prim": "int"
},
{
"int": "1000000"
}
]
},
{
"prim": "MUL"
},
{
"prim": "DUP",
"args": [
{
"int": "3"
}
]
},
{
"prim": "INT"
},
{
"prim": "DUP",
"args": [
{
"int": "3"
}
]
},
{
"prim": "CAR"
},
{
"prim": "CAR"
},
{
"prim": "CAR"
},
{
"prim": "MUL"
},
{
"prim": "PUSH",
"args": [
{
"prim": "int"
},
{
"int": "0"
}
]
},
{
"prim": "SWAP"
},
{
"prim": "DUP"
},
{
"prim": "DUG",
"args": [
{
"int": "2"
}
]
},
{
"prim": "COMPARE"
},
{
"prim": "LT"
},
{
"prim": "IF",
"args": [
[
{
"prim": "DROP",
"args": [
{
"int": "2"
}
]
},
{
"prim": "PUSH",
"args": [
{
"prim": "int"
},
{
"int": "262"
}
]
},
{
"prim": "FAILWITH"
}
],
[
{
"prim": "SWAP"
},
{
"prim": "PUSH",
"args": [
{
"prim": "int"
},
{
"int": "1000000"
}
]
},
{
"prim": "DIG",
"args": [
{
"int": "2"
}
]
},
{
"prim": "MUL"
},
{
"prim": "PAIR"
},
{
"prim": "DUP",
"args": [
{
"int": "4"
}
]
},
{
"prim": "SWAP"
},
{
"prim": "EXEC"
},
{
"prim": "ABS"
}
]
]
},
{
"prim": "SWAP"
},
{
"prim": "DUP"
},
{
"prim": "DUG",
"args": [
{
"int": "2"
}
]
},
{
"prim": "CDR"
},
{
"prim": "PUSH",
"args": [
{
"prim": "int"
},
{
"int": "1000000000000"
}
]
},
{
"prim": "MUL"
},
{
"prim": "DUP",
"args": [
{
"int": "4"
}
]
},
{
"prim": "DUP",
"args": [
{
"int": "4"
}
]
},
{
"prim": "CAR"
},
{
"prim": "CAR"
},
{
"prim": "CDR"
},
{
"prim": "INT"
},
{
"prim": "MUL"
},
{
"prim": "PUSH",
"args": [
{
"prim": "int"
},
{
"int": "0"
}
]
},
{
"prim": "SWAP"
},
{
"prim": "DUP"
},
{
"prim": "DUG",
"args": [
{
"int": "2"
}
]
},
{
"prim": "COMPARE"
},
{
"prim": "LT"
},
{
"prim": "IF",
"args": [
[
{
"prim": "SWAP"
},
{
"prim": "DIG",
"args": [
{
"int": "5"
}
]
},
{
"prim": "DROP",
"args": [
{
"int": "3"
}
]
},
{
"prim": "PUSH",
"args": [
{
"prim": "int"
},
{
"int": "272"
}
]
},
{
"prim": "FAILWITH"
}
],
[
{
"prim": "SWAP"
},
{
"prim": "PUSH",
"args": [
{
"prim": "int"
},
{
"int": "1000000000000"
}
]
},
{
"prim": "DIG",
"args": [
{
"int": "2"
}
]
},
{
"prim": "MUL"
},
{
"prim": "PAIR"
},
{
"prim": "DIG",
"args": [
{
"int": "4"
}
]
},
{
"prim": "SWAP"
},
{
"prim": "EXEC"
},
{
"prim": "ABS"
}
]
]
},
{
"prim": "SWAP"
},
{
"prim": "DUP"
},
{
"prim": "DUG",
"args": [
{
"int": "2"
}
]
},
{
"prim": "DUP",
"args": [
{
"int": "4"
}
]
},
{
"prim": "CAR"
},
{
"prim": "CAR"
},
{
"prim": "CAR"
},
{
"prim": "SUB"
},
{
"prim": "ISNAT"
},
{
"prim": "IF_NONE",
"args": [
[
{
"prim": "PUSH",
"args": [
{
"prim": "int"
},
{
"int": "260"
}
]
},
{
"prim": "FAILWITH"
}
],
[
]
]
},
{
"prim": "DIG",
"args": [
{
"int": "4"
}
]
},
{
"prim": "DUP",
"args": [
{
"int": "5"
}
]
},
{
"prim": "CDR"
},
{
"prim": "SUB"
},
{
"prim": "ISNAT"
},
{
"prim": "IF_NONE",
"args": [
[
{
"prim": "PUSH",
"args": [
{
"prim": "int"
},
{
"int": "280"
}
]
},
{
"prim": "FAILWITH"
}
],
[
]
]
},
{
"prim": "DUP",
"args": [
{
"int": "3"
}
]
},
{
"prim": "DUP",
"args": [
{
"int": "6"
}
]
},
{
"prim": "CAR"
},
{
"prim": "CAR"
},
{
"prim": "CDR"
},
{
"prim": "SUB"
},
{
"prim": "ISNAT"
},
{
"prim": "IF_NONE",
"args": [
[
{
"prim": "PUSH",
"args": [
{
"prim": "int"
},
{
"int": "270"
}
]
},
{
"prim": "FAILWITH"
}
],
[
]
]
},
{
"prim": "SWAP"
},
{
"prim": "DUP",
"args": [
{
"int": "6"
}
]
},
{
"prim": "CDR"
},
{
"prim": "DUP",
"args": [
{
"int": "7"
}
]
},
{
"prim": "CAR"
},
{
"prim": "CDR"
},
{
"prim": "DIG",
"args": [
{
"int": "7"
}
]
},
{
"prim": "CAR"
},
{
"prim": "CAR"
},
{
"prim": "CDR"
},
{
"prim": "DIG",
"args": [
{
"int": "5"
}
]
},
{
"prim": "PAIR"
},
{
"prim": "PAIR"
},
{
"prim": "PAIR"
},
{
"prim": "DUP"
},
{
"prim": "CDR"
},
{
"prim": "SWAP"
},
{
"prim": "DUP"
},
{
"prim": "DUG",
"args": [
{
"int": "2"
}
]
},
{
"prim": "CAR"
},
{
"prim": "CDR"
},
{
"prim": "DIG",
"args": [
{
"int": "4"
}
]
},
{
"prim": "DIG",
"args": [
{
"int": "3"
}
]
},
{
"prim": "CAR"
},
{
"prim": "CAR"
},
{
"prim": "CAR"
},
{
"prim": "PAIR"
},
{
"prim": "PAIR"
},
{
"prim": "PAIR"
},
{
"prim": "CAR"
},
{
"prim": "PAIR"
},
{
"prim": "SWAP"
},
{
"prim": "DIG",
"args": [
{
"int": "2"
}
]
},
{
"prim": "PAIR"
},
{
"prim": "PAIR"
}
]
]
}
]
]
},
{
"prim": "CAR"
},
{
"prim": "CDR"
}
],
[
{
"prim": "DROP",
"args": [
{
"int": "3"
}
]
},
{
"prim": "PUSH",
"args": [
{
"prim": "int"
},
{
"int": "134"
}
]
},
{
"prim": "FAILWITH"
}
]
]
}
]
]
}
}
]
},
{
"name": "sell_kit_min_ctez_expected",
"implementations": [
{
"michelsonStorageView": {
"parameter": {
"prim": "nat"
},
"returnType": {
"prim": "nat"
},
"code": [
{
"prim": "UNPAIR"
},
{
"prim": "SWAP"
},
{
"prim": "GET",
"args": [
{
"int": "4"
}
]
},
{
"prim": "IF_LEFT",
"args": [
[
{
"prim": "CAR"
},
{
"prim": "CAR"
},
{
"prim": "CDR"
},
{
"prim": "CAR"
},
{
"prim": "LEVEL"
},
{
"prim": "SWAP"
},
{
"prim": "DUP"
},
{
"prim": "DUG",
"args": [
{
"int": "2"
}
]
},
{
"prim": "CAR"
},
{
"prim": "CDR"
},
{
"prim": "CDR"
},
{
"prim": "SWAP"
},
{
"prim": "COMPARE"
},
{
"prim": "LE"
},
{
"prim": "IF",
"args": [
[
],
[
{
"prim": "DUP"
},
{
"prim": "CDR"
},
{
"prim": "SWAP"
},
{
"prim": "DUP"
},
{
"prim": "DUG",
"args": [
{
"int": "2"
}
]
},
{
"prim": "CAR"
},
{
"prim": "CDR"
},
{
"prim": "CDR"
},
{
"prim": "PUSH",
"args": [
{
"prim": "int"
},
{
"int": "1000000"
}
]
},
{
"prim": "DUP",
"args": [
{
"int": "4"
}
]
},
{
"prim": "CAR"
},
{
"prim": "CAR"
},
{
"prim": "CDR"
},
{
"prim": "MUL"
},
{
"prim": "PUSH",
"args": [
{
"prim": "int"
},
{
"int": "1000000000000"
}
]
},
{
"prim": "DUP",
"args": [
{
"int": "5"
}
]
},
{
"prim": "CAR"
},
{
"prim": "CAR"
},
{
"prim": "CAR"
},
{
"prim": "MUL"
},
{
"prim": "SWAP"
},
{
"prim": "PAIR"
},
{
"prim": "PAIR"
},
{
"prim": "DIG",
"args": [
{
"int": "2"
}
]
},
{
"prim": "CAR"
},
{
"prim": "CAR"
},
{
"prim": "PAIR"
},
{
"prim": "PAIR"
},
{
"prim": "DUP"
},
{
"prim": "CDR"
},
{
"prim": "LEVEL"
},
{
"prim": "DUP",
"args": [
{
"int": "3"
}
]
},
{
"prim": "CAR"
},
{
"prim": "CDR"
},
{
"prim": "CAR"
},
{
"prim": "PAIR"
},
{
"prim": "DIG",
"args": [
{
"int": "2"
}
]
},
{
"prim": "CAR"
},
{
"prim": "CAR"
},
{
"prim": "PAIR"
},
{
"prim": "PAIR"
}
]
]
},
{
"prim": "PUSH",
"args": [
{
"prim": "nat"
},
{
"int": "0"
}
]
},
{
"prim": "DUP",
"args": [
{
"int": "3"
}
]
},
{
"prim": "COMPARE"
},
{
"prim": "EQ"
},
{
"prim": "IF",
"args": [
[
{
"prim": "DROP",
"args": [
{
"int": "2"
}
]
},
{
"prim": "PUSH",
"args": [
{
"prim": "int"
},
{
"int": "24"
}
]
},
{
"prim": "FAILWITH"
}
],
[
{
"prim": "PUSH",
"args": [
{
"prim": "int"
},
{
"int": "2"
}
]
},
{
"prim": "PUSH",
"args": [
{
"prim": "int"
},
{
"int": "1000"
}
]
},
{
"prim": "DUP"
},
{
"prim": "DUG",
"args": [
{
"int": "2"
}
]
},
{
"prim": "SUB"
},
{
"prim": "SWAP"
},
{
"prim": "DUP",
"args": [
{
"int": "4"
}
]
},
{
"prim": "DUP",
"args": [
{
"int": "4"
}
]
},
{
"prim": "CAR"
},
{
"prim": "CAR"
},
{
"prim": "CDR"
},
{
"prim": "ADD"
},
{
"prim": "DIG",
"args": [
{
"int": "2"
}
]
},
{
"prim": "DUP",
"args": [
{
"int": "4"
}
]
},
{
"prim": "CAR"
},
{
"prim": "CAR"
},
{
"prim": "CAR"
},
{
"prim": "MUL"
},
{
"prim": "DIG",
"args": [
{
"int": "4"
}
]
},
{
"prim": "MUL"
},
{
"prim": "DUG",
"args": [
{
"int": "2"
}
]
},
{
"prim": "DUP"
},
{
"prim": "DUG",
"args": [
{
"int": "3"
}
]
},
{
"prim": "MUL"
},
{
"prim": "PUSH",
"args": [
{
"prim": "int"
},
{
"int": "1000000"
}
]
},
{
"prim": "MUL"
},
{
"prim": "PUSH",
"args": [
{
"prim": "int"
},
{
"int": "0"
}
]
},
{
"prim": "DUP",
"args": [
{
"int": "3"
}
]
},
{
"prim": "COMPARE"
},
{
"prim": "LT"
},
{
"prim": "IF",
"args": [
[
{
"prim": "DROP",
"args": [
{
"int": "2"
}
]
},
{
"prim": "PUSH",
"args": [
{
"prim": "int"
},
{
"int": "262"
}
]
},
{
"prim": "FAILWITH"
}
],
[
{
"prim": "PUSH",
"args": [
{
"prim": "int"
},
{
"int": "1000000"
}
]
},
{
"prim": "DIG",
"args": [
{
"int": "2"
}
]
},
{
"prim": "MUL"
},
{
"prim": "SWAP"
},
{
"prim": "DUP"
},
{
"prim": "DUG",
"args": [
{
"int": "2"
}
]
},
{
"prim": "SWAP"
},
{
"prim": "EDIV"
},
{
"prim": "IF_NONE",
"args": [
[
{
"prim": "DROP"
},
{
"prim": "PUSH",
"args": [
{
"prim": "int"
},
{
"int": "292"
}
]
},
{
"prim": "FAILWITH"
}
],
[
{
"prim": "UNPAIR"
},
{
"prim": "PUSH",
"args": [
{
"prim": "nat"
},
{
"int": "0"
}
]
},
{
"prim": "DIG",
"args": [
{
"int": "2"
}
]
},
{
"prim": "COMPARE"
},
{
"prim": "EQ"
},
{
"prim": "IF",
"args": [
[
{
"prim": "SWAP"
},
{
"prim": "DROP"
}
],
[
{
"prim": "PUSH",
"args": [
{
"prim": "int"
},
{
"int": "0"
}
]
},
{
"prim": "DIG",
"args": [
{
"int": "2"
}
]
},
{
"prim": "COMPARE"
},
{
"prim": "GT"
},
{
"prim": "IF",
"args": [
[
],
[
{
"prim": "PUSH",
"args": [
{
"prim": "int"
},
{
"int": "1"
}
]
},
{
"prim": "SWAP"
},
{
"prim": "SUB"
}
]
]
}
]
]
}
]
]
},
{
"prim": "ABS"
}
]
]
},
{
"prim": "DUP",
"args": [
{
"int": "3"
}
]
},
{
"prim": "CDR"
},
{
"prim": "DUP",
"args": [
{
"int": "4"
}
]
},
{
"prim": "CAR"
},
{
"prim": "CDR"
},
{
"prim": "DIG",
"args": [
{
"int": "3"
}
]
},
{
"prim": "DUP",
"args": [
{
"int": "5"
}
]
},
{
"prim": "CAR"
},
{
"prim": "CAR"
},
{
"prim": "CAR"
},
{
"prim": "PAIR"
},
{
"prim": "PAIR"
},
{
"prim": "PAIR"
},
{
"prim": "DUP"
},
{
"prim": "CDR"
},
{
"prim": "SWAP"
},
{
"prim": "DUP"
},
{
"prim": "DUG",
"args": [
{
"int": "2"
}
]
},
{
"prim": "CAR"
},
{
"prim": "CDR"
},
{
"prim": "DIG",
"args": [
{
"int": "2"
}
]
},
{
"prim": "CAR"
},
{
"prim": "CAR"
},
{
"prim": "CDR"
},
{
"prim": "DUP",
"args": [
{
"int": "4"
}
]
},
{
"prim": "DIG",
"args": [
{
"int": "5"
}
]
},
{
"prim": "CAR"
},
{
"prim": "CAR"
},
{
"prim": "CAR"
},
{
"prim": "SUB"
},
{
"prim": "ISNAT"
},
{
"prim": "IF_NONE",
"args": [
[
{
"prim": "PUSH",
"args": [
{
"prim": "int"
},
{
"int": "260"
}
]
},
{
"prim": "FAILWITH"
}
],
[
]
]
},
{
"prim": "PAIR"
},
{
"prim": "PAIR"
},
{
"prim": "PAIR"
},
{
"prim": "SWAP"
},
{
"prim": "PAIR"
}
]
]
},
{
"prim": "CAR"
}
],
[
{
"prim": "DROP",
"args": [
{
"int": "2"
}
]
},
{
"prim": "PUSH",
"args": [
{
"prim": "int"
},
{
"int": "134"
}
]
},
{
"prim": "FAILWITH"
}
]
]
}
]
}
}
]
},
{
"name": "is_burrow_overburrowed",
"implementations": [
{
"michelsonStorageView": {
"parameter": {
"prim": "pair",
"args": [
{
"prim": "address"
},
{
"prim": "nat"
}
]
},
"returnType": {
"prim": "bool"
},
"code": [
{
"prim": "PUSH",
"args": [
{
"prim": "int"
},
{
"int": "18446744073709551616"
}
]
},
{
"prim": "PAIR"
},
[
{
"prim": "UNPAIR"
},
{
"prim": "SWAP"
},
{
"prim": "UNPAIR"
},
{
"prim": "SWAP"
},
{
"prim": "GET",
"args": [
{
"int": "4"
}
]
},
{
"prim": "IF_LEFT",
"args": [
[
{
"prim": "DUP"
},
{
"prim": "DUG",
"args": [
{
"int": "2"
}
]
},
{
"prim": "CAR"
},
{
"prim": "CAR"
},
{
"prim": "CAR"
},
{
"prim": "CDR"
},
{
"prim": "SWAP"
},
{
"prim": "GET"
},
{
"prim": "IF_NONE",
"args": [
[
{
"prim": "PUSH",
"args": [
{
"prim": "int"
},
{
"int": "81"
}
]
},
{
"prim": "FAILWITH"
}
],
[
]
]
},
{
"prim": "SWAP"
},
{
"prim": "DUP"
},
{
"prim": "DUG",
"args": [
{
"int": "2"
}
]
},
{
"prim": "CDR"
},
{
"prim": "SWAP"
},
{
"prim": "DUP"
},
{
"prim": "DUG",
"args": [
{
"int": "2"
}
]
},
{
"prim": "CDR"
},
{
"prim": "CAR"
},
{
"prim": "CDR"
},
{
"prim": "SWAP"
},
{
"prim": "DUP"
},
{
"prim": "DUG",
"args": [
{
"int": "2"
}
]
},
{
"prim": "CAR"
},
{
"prim": "CDR"
},
{
"prim": "CDR"
},
{
"prim": "CAR"
},
{
"prim": "COMPARE"
},
{
"prim": "EQ"
},
{
"prim": "IF",
"args": [
[
{
"prim": "DROP"
}
],
[
{
"prim": "DUP",
"args": [
{
"int": "4"
}
]
},
{
"prim": "SWAP"
},
{
"prim": "DUP"
},
{
"prim": "DUG",
"args": [
{
"int": "2"
}
]
},
{
"prim": "CAR"
},
{
"prim": "CDR"
},
{
"prim": "CAR"
},
{
"prim": "CAR"
},
{
"prim": "DUP",
"args": [
{
"int": "3"
}
]
},
{
"prim": "CAR"
},
{
"prim": "CAR"
},
{
"prim": "CAR"
},
{
"prim": "CAR"
},
{
"prim": "MUL"
},
{
"prim": "SWAP"
},
{
"prim": "DUP"
},
{
"prim": "DUG",
"args": [
{
"int": "2"
}
]
},
{
"prim": "SWAP"
},
{
"prim": "EDIV"
},
{
"prim": "IF_NONE",
"args": [
[
{
"prim": "DROP"
},
{
"prim": "PUSH",
"args": [
{
"prim": "int"
},
{
"int": "292"
}
]
},
{
"prim": "FAILWITH"
}
],
[
{
"prim": "UNPAIR"
},
{
"prim": "PUSH",
"args": [
{
"prim": "nat"
},
{
"int": "0"
}
]
},
{
"prim": "DIG",
"args": [
{
"int": "2"
}
]
},
{
"prim": "COMPARE"
},
{
"prim": "EQ"
},
{
"prim": "IF",
"args": [
[
{
"prim": "SWAP"
},
{
"prim": "DROP"
}
],
[
{
"prim": "PUSH",
"args": [
{
"prim": "int"
},
{
"int": "0"
}
]
},
{
"prim": "DIG",
"args": [
{
"int": "2"
}
]
},
{
"prim": "COMPARE"
},
{
"prim": "GT"
},
{
"prim": "IF",
"args": [
[
],
[
{
"prim": "PUSH",
"args": [
{
"prim": "int"
},
{
"int": "1"
}
]
},
{
"prim": "SWAP"
},
{
"prim": "SUB"
}
]
]
}
]
]
}
]
]
},
{
"prim": "DUP",
"args": [
{
"int": "3"
}
]
},
{
"prim": "CAR"
},
{
"prim": "CDR"
},
{
"prim": "CAR"
},
{
"prim": "PUSH",
"args": [
{
"prim": "int"
},
{
"int": "1000000000000"
}
]
},
{
"prim": "MUL"
},
{
"prim": "SWAP"
},
{
"prim": "DUP"
},
{
"prim": "DUG",
"args": [
{
"int": "2"
}
]
},
{
"prim": "DUP",
"args": [
{
"int": "5"
}
]
},
{
"prim": "CDR"
},
{
"prim": "CDR"
},
{
"prim": "MUL"
},
{
"prim": "PUSH",
"args": [
{
"prim": "int"
},
{
"int": "0"
}
]
},
{
"prim": "SWAP"
},
{
"prim": "DUP"
},
{
"prim": "DUG",
"args": [
{
"int": "2"
}
]
},
{
"prim": "COMPARE"
},
{
"prim": "LT"
},
{
"prim": "IF",
"args": [
[
{
"prim": "DROP",
"args": [
{
"int": "2"
}
]
},
{
"prim": "PUSH",
"args": [
{
"prim": "int"
},
{
"int": "271"
}
]
},
{
"prim": "FAILWITH"
}
],
[
{
"prim": "SWAP"
},
{
"prim": "PUSH",
"args": [
{
"prim": "int"
},
{
"int": "1000000000000"
}
]
},
{
"prim": "DIG",
"args": [
{
"int": "2"
}
]
},
{
"prim": "MUL"
},
{
"prim": "SWAP"
},
{
"prim": "DUP"
},
{
"prim": "DUG",
"args": [
{
"int": "2"
}
]
},
{
"prim": "SWAP"
},
{
"prim": "EDIV"
},
{
"prim": "IF_NONE",
"args": [
[
{
"prim": "DROP"
},
{
"prim": "PUSH",
"args": [
{
"prim": "int"
},
{
"int": "291"
}
]
},
{
"prim": "FAILWITH"
}
],
[
{
"prim": "UNPAIR"
},
{
"prim": "PUSH",
"args": [
{
"prim": "nat"
},
{
"int": "0"
}
]
},
{
"prim": "DIG",
"args": [
{
"int": "2"
}
]
},
{
"prim": "COMPARE"
},
{
"prim": "EQ"
},
{
"prim": "IF",
"args": [
[
{
"prim": "SWAP"
},
{
"prim": "DROP"
}
],
[
{
"prim": "PUSH",
"args": [
{
"prim": "int"
},
{
"int": "0"
}
]
},
{
"prim": "DIG",
"args": [
{
"int": "2"
}
]
},
{
"prim": "COMPARE"
},
{
"prim": "LT"
},
{
"prim": "IF",
"args": [
[
],
[
{
"prim": "PUSH",
"args": [
{
"prim": "int"
},
{
"int": "1"
}
]
},
{
"prim": "ADD"
}
]
]
}
]
]
}
]
]
},
{
"prim": "ABS"
}
]
]
},
{
"prim": "DUP",
"args": [
{
"int": "4"
}
]
},
{
"prim": "CDR"
},
{
"prim": "CAR"
},
{
"prim": "PAIR"
},
{
"prim": "DIG",
"args": [
{
"int": "3"
}
]
},
{
"prim": "CAR"
},
{
"prim": "PAIR"
},
{
"prim": "DUP"
},
{
"prim": "CDR"
},
{
"prim": "SWAP"
},
{
"prim": "DUP"
},
{
"prim": "DUG",
"args": [
{
"int": "2"
}
]
},
{
"prim": "CAR"
},
{
"prim": "CDR"
},
{
"prim": "CDR"
},
{
"prim": "DIG",
"args": [
{
"int": "3"
}
]
},
{
"prim": "PAIR"
},
{
"prim": "DIG",
"args": [
{
"int": "2"
}
]
},
{
"prim": "CAR"
},
{
"prim": "CAR"
},
{
"prim": "PAIR"
},
{
"prim": "PAIR"
},
{
"prim": "DUP"
},
{
"prim": "CDR"
},
{
"prim": "CDR"
},
{
"prim": "DIG",
"args": [
{
"int": "2"
}
]
},
{
"prim": "CAR"
},
{
"prim": "CDR"
},
{
"prim": "CDR"
},
{
"prim": "CAR"
},
{
"prim": "DUP",
"args": [
{
"int": "3"
}
]
},
{
"prim": "CDR"
},
{
"prim": "CAR"
},
{
"prim": "CAR"
},
{
"prim": "PAIR"
},
{
"prim": "PAIR"
},
{
"prim": "SWAP"
},
{
"prim": "CAR"
},
{
"prim": "PAIR"
}
]
]
},
{
"prim": "DUP"
},
{
"prim": "CDR"
},
{
"prim": "CDR"
},
{
"prim": "INT"
},
{
"prim": "PUSH",
"args": [
{
"prim": "int"
},
{
"int": "1000000000000"
}
]
},
{
"prim": "PAIR"
},
{
"prim": "SWAP"
},
{
"prim": "CAR"
},
{
"prim": "CDR"
},
{
"prim": "CDR"
},
{
"prim": "INT"
},
{
"prim": "PUSH",
"args": [
{
"prim": "int"
},
{
"int": "1000000"
}
]
},
{
"prim": "PAIR"
},
{
"prim": "DIG",
"args": [
{
"int": "2"
}
]
},
{
"prim": "CDR"
},
{
"prim": "PUSH",
"args": [
{
"prim": "int"
},
{
"int": "1000000"
}
]
},
{
"prim": "DIG",
"args": [
{
"int": "4"
}
]
},
{
"prim": "MUL"
},
{
"prim": "SWAP"
},
{
"prim": "DUP"
},
{
"prim": "DUG",
"args": [
{
"int": "2"
}
]
},
{
"prim": "CDR"
},
{
"prim": "CAR"
},
{
"prim": "CAR"
},
{
"prim": "DUP",
"args": [
{
"int": "3"
}
]
},
{
"prim": "CAR"
},
{
"prim": "CDR"
},
{
"prim": "CAR"
},
{
"prim": "CDR"
},
{
"prim": "SWAP"
},
{
"prim": "DUP"
},
{
"prim": "DUG",
"args": [
{
"int": "2"
}
]
},
{
"prim": "SWAP"
},
{
"prim": "DUP"
},
{
"prim": "DUG",
"args": [
{
"int": "2"
}
]
},
{
"prim": "COMPARE"
},
{
"prim": "GE"
},
{
"prim": "IF",
"args": [
[
{
"prim": "SWAP"
},
{
"prim": "DROP"
}
],
[
{
"prim": "DROP"
}
]
]
},
{
"prim": "DIG",
"args": [
{
"int": "2"
}
]
},
{
"prim": "CDR"
},
{
"prim": "CAR"
},
{
"prim": "CDR"
},
{
"prim": "MUL"
},
{
"prim": "SWAP"
},
{
"prim": "PAIR"
},
{
"prim": "PUSH",
"args": [
{
"prim": "int"
},
{
"int": "21"
}
]
},
{
"prim": "PUSH",
"args": [
{
"prim": "int"
},
{
"int": "10"
}
]
},
{
"prim": "PAIR"
},
{
"prim": "PAIR",
"args": [
{
"int": "4"
}
]
},
{
"prim": "UNPAIR",
"args": [
{
"int": "4"
}
]
},
{
"prim": "UNPAIR"
},
{
"prim": "DIG",
"args": [
{
"int": "2"
}
]
},
{
"prim": "UNPAIR"
},
{
"prim": "DIG",
"args": [
{
"int": "4"
}
]
},
{
"prim": "UNPAIR"
},
{
"prim": "DIG",
"args": [
{
"int": "6"
}
]
},
{
"prim": "UNPAIR"
},
{
"prim": "DIG",
"args": [
{
"int": "4"
}
]
},
{
"prim": "SWAP"
},
{
"prim": "MUL"
},
{
"prim": "DIG",
"args": [
{
"int": "5"
}
]
},
{
"prim": "DIG",
"args": [
{
"int": "4"
}
]
},
{
"prim": "MUL"
},
{
"prim": "MUL"
},
{
"prim": "DIG",
"args": [
{
"int": "3"
}
]
},
{
"prim": "DIG",
"args": [
{
"int": "3"
}
]
},
{
"prim": "MUL"
},
{
"prim": "DIG",
"args": [
{
"int": "2"
}
]
},
{
"prim": "DIG",
"args": [
{
"int": "3"
}
]
},
{
"prim": "MUL"
},
{
"prim": "MUL"
},
{
"prim": "SWAP"
},
{
"prim": "COMPARE"
},
{
"prim": "LT"
}
],
[
{
"prim": "DROP",
"args": [
{
"int": "3"
}
]
},
{
"prim": "PUSH",
"args": [
{
"prim": "int"
},
{
"int": "134"
}
]
},
{
"prim": "FAILWITH"
}
]
]
}
]
]
}
}
]
},
{
"name": "cfmm_liquidity_amount",
"implementations": [
{
"michelsonStorageView": {
"parameter": {
"prim": "unit"
},
"returnType": {
"prim": "nat"
},
"code": [
{
"prim": "UNPAIR"
},
{
"prim": "SWAP"
},
{
"prim": "GET",
"args": [
{
"int": "4"
}
]
},
{
"prim": "IF_LEFT",
"args": [
[
{
"prim": "SWAP"
},
{
"prim": "DROP"
},
{
"prim": "CAR"
},
{
"prim": "CAR"
},
{
"prim": "CDR"
},
{
"prim": "CAR"
},
{
"prim": "CDR"
}
],
[
{
"prim": "DROP",
"args": [
{
"int": "2"
}
]
},
{
"prim": "PUSH",
"args": [
{
"prim": "int"
},
{
"int": "134"
}
]
},
{
"prim": "FAILWITH"
}
]
]
}
]
}
}
]
},
{
"name": "cfmm_kit_amount",
"implementations": [
{
"michelsonStorageView": {
"parameter": {
"prim": "unit"
},
"returnType": {
"prim": "nat"
},
"code": [
{
"prim": "UNPAIR"
},
{
"prim": "SWAP"
},
{
"prim": "GET",
"args": [
{
"int": "4"
}
]
},
{
"prim": "IF_LEFT",
"args": [
[
{
"prim": "SWAP"
},
{
"prim": "DROP"
},
{
"prim": "CAR"
},
{
"prim": "CAR"
},
{
"prim": "CDR"
},
{
"prim": "CAR"
},
{
"prim": "CAR"
},
{
"prim": "CAR"
},
{
"prim": "CDR"
}
],
[
{
"prim": "DROP",
"args": [
{
"int": "2"
}
]
},
{
"prim": "PUSH",
"args": [
{
"prim": "int"
},
{
"int": "134"
}
]
},
{
"prim": "FAILWITH"
}
]
]
}
]
}
}
]
},
{
"name": "burrow_assuming_touch",
"implementations": [
{
"michelsonStorageView": {
"parameter": {
"prim": "pair",
"args": [
{
"prim": "address"
},
{
"prim": "nat"
}
]
},
"returnType": {
"prim": "pair",
"args": [
{
"prim": "pair",
"args": [
{
"prim": "pair",
"args": [
{
"prim": "bool",
"annots": [
"%active"
]
},
{
"prim": "address",
"annots": [
"%address"
]
}
]
},
{
"prim": "pair",
"args": [
{
"prim": "int",
"annots": [
"%adjustment_index"
]
},
{
"prim": "nat",
"annots": [
"%collateral"
]
}
]
}
]
},
{
"prim": "pair",
"args": [
{
"prim": "pair",
"args": [
{
"prim": "nat",
"annots": [
"%collateral_at_auction"
]
},
{
"prim": "timestamp",
"annots": [
"%last_checker_timestamp"
]
}
]
},
{
"prim": "nat",
"annots": [
"%outstanding_kit"
]
}
]
}
]
},
"code": [
{
"prim": "PUSH",
"args": [
{
"prim": "int"
},
{
"int": "18446744073709551616"
}
]
},
{
"prim": "PAIR"
},
[
{
"prim": "UNPAIR"
},
{
"prim": "SWAP"
},
{
"prim": "UNPAIR"
},
{
"prim": "SWAP"
},
{
"prim": "GET",
"args": [
{
"int": "4"
}
]
},
{
"prim": "IF_LEFT",
"args": [
[
{
"prim": "DUP"
},
{
"prim": "DUG",
"args": [
{
"int": "2"
}
]
},
{
"prim": "CAR"
},
{
"prim": "CAR"
},
{
"prim": "CAR"
},
{
"prim": "CDR"
},
{
"prim": "SWAP"
},
{
"prim": "GET"
},
{
"prim": "IF_NONE",
"args": [
[
{
"prim": "PUSH",
"args": [
{
"prim": "int"
},
{
"int": "81"
}
]
},
{
"prim": "FAILWITH"
}
],
[
]
]
},
{
"prim": "SWAP"
},
{
"prim": "CDR"
},
{
"prim": "SWAP"
},
{
"prim": "DUP"
},
{
"prim": "DUG",
"args": [
{
"int": "2"
}
]
},
{
"prim": "CDR"
},
{
"prim": "CAR"
},
{
"prim": "CDR"
},
{
"prim": "SWAP"
},
{
"prim": "DUP"
},
{
"prim": "DUG",
"args": [
{
"int": "2"
}
]
},
{
"prim": "CAR"
},
{
"prim": "CDR"
},
{
"prim": "CDR"
},
{
"prim": "CAR"
},
{
"prim": "COMPARE"
},
{
"prim": "EQ"
},
{
"prim": "IF",
"args": [
[
{
"prim": "DIG",
"args": [
{
"int": "2"
}
]
},
{
"prim": "DROP",
"args": [
{
"int": "2"
}
]
}
],
[
{
"prim": "DIG",
"args": [
{
"int": "2"
}
]
},
{
"prim": "SWAP"
},
{
"prim": "DUP"
},
{
"prim": "DUG",
"args": [
{
"int": "2"
}
]
},
{
"prim": "CAR"
},
{
"prim": "CDR"
},
{
"prim": "CAR"
},
{
"prim": "CAR"
},
{
"prim": "DUP",
"args": [
{
"int": "3"
}
]
},
{
"prim": "CAR"
},
{
"prim": "CAR"
},
{
"prim": "CAR"
},
{
"prim": "CAR"
},
{
"prim": "MUL"
},
{
"prim": "SWAP"
},
{
"prim": "DUP"
},
{
"prim": "DUG",
"args": [
{
"int": "2"
}
]
},
{
"prim": "SWAP"
},
{
"prim": "EDIV"
},
{
"prim": "IF_NONE",
"args": [
[
{
"prim": "DROP"
},
{
"prim": "PUSH",
"args": [
{
"prim": "int"
},
{
"int": "292"
}
]
},
{
"prim": "FAILWITH"
}
],
[
{
"prim": "UNPAIR"
},
{
"prim": "PUSH",
"args": [
{
"prim": "nat"
},
{
"int": "0"
}
]
},
{
"prim": "DIG",
"args": [
{
"int": "2"
}
]
},
{
"prim": "COMPARE"
},
{
"prim": "EQ"
},
{
"prim": "IF",
"args": [
[
{
"prim": "SWAP"
},
{
"prim": "DROP"
}
],
[
{
"prim": "PUSH",
"args": [
{
"prim": "int"
},
{
"int": "0"
}
]
},
{
"prim": "DIG",
"args": [
{
"int": "2"
}
]
},
{
"prim": "COMPARE"
},
{
"prim": "GT"
},
{
"prim": "IF",
"args": [
[
],
[
{
"prim": "PUSH",
"args": [
{
"prim": "int"
},
{
"int": "1"
}
]
},
{
"prim": "SWAP"
},
{
"prim": "SUB"
}
]
]
}
]
]
}
]
]
},
{
"prim": "DUP",
"args": [
{
"int": "3"
}
]
},
{
"prim": "CAR"
},
{
"prim": "CDR"
},
{
"prim": "CAR"
},
{
"prim": "PUSH",
"args": [
{
"prim": "int"
},
{
"int": "1000000000000"
}
]
},
{
"prim": "MUL"
},
{
"prim": "SWAP"
},
{
"prim": "DUP"
},
{
"prim": "DUG",
"args": [
{
"int": "2"
}
]
},
{
"prim": "DUP",
"args": [
{
"int": "5"
}
]
},
{
"prim": "CDR"
},
{
"prim": "CDR"
},
{
"prim": "MUL"
},
{
"prim": "PUSH",
"args": [
{
"prim": "int"
},
{
"int": "0"
}
]
},
{
"prim": "SWAP"
},
{
"prim": "DUP"
},
{
"prim": "DUG",
"args": [
{
"int": "2"
}
]
},
{
"prim": "COMPARE"
},
{
"prim": "LT"
},
{
"prim": "IF",
"args": [
[
{
"prim": "DROP",
"args": [
{
"int": "2"
}
]
},
{
"prim": "PUSH",
"args": [
{
"prim": "int"
},
{
"int": "271"
}
]
},
{
"prim": "FAILWITH"
}
],
[
{
"prim": "SWAP"
},
{
"prim": "PUSH",
"args": [
{
"prim": "int"
},
{
"int": "1000000000000"
}
]
},
{
"prim": "DIG",
"args": [
{
"int": "2"
}
]
},
{
"prim": "MUL"
},
{
"prim": "SWAP"
},
{
"prim": "DUP"
},
{
"prim": "DUG",
"args": [
{
"int": "2"
}
]
},
{
"prim": "SWAP"
},
{
"prim": "EDIV"
},
{
"prim": "IF_NONE",
"args": [
[
{
"prim": "DROP"
},
{
"prim": "PUSH",
"args": [
{
"prim": "int"
},
{
"int": "291"
}
]
},
{
"prim": "FAILWITH"
}
],
[
{
"prim": "UNPAIR"
},
{
"prim": "PUSH",
"args": [
{
"prim": "nat"
},
{
"int": "0"
}
]
},
{
"prim": "DIG",
"args": [
{
"int": "2"
}
]
},
{
"prim": "COMPARE"
},
{
"prim": "EQ"
},
{
"prim": "IF",
"args": [
[
{
"prim": "SWAP"
},
{
"prim": "DROP"
}
],
[
{
"prim": "PUSH",
"args": [
{
"prim": "int"
},
{
"int": "0"
}
]
},
{
"prim": "DIG",
"args": [
{
"int": "2"
}
]
},
{
"prim": "COMPARE"
},
{
"prim": "LT"
},
{
"prim": "IF",
"args": [
[
],
[
{
"prim": "PUSH",
"args": [
{
"prim": "int"
},
{
"int": "1"
}
]
},
{
"prim": "ADD"
}
]
]
}
]
]
}
]
]
},
{
"prim": "ABS"
}
]
]
},
{
"prim": "DUP",
"args": [
{
"int": "4"
}
]
},
{
"prim": "CDR"
},
{
"prim": "CAR"
},
{
"prim": "PAIR"
},
{
"prim": "DIG",
"args": [
{
"int": "3"
}
]
},
{
"prim": "CAR"
},
{
"prim": "PAIR"
},
{
"prim": "DUP"
},
{
"prim": "CDR"
},
{
"prim": "SWAP"
},
{
"prim": "DUP"
},
{
"prim": "DUG",
"args": [
{
"int": "2"
}
]
},
{
"prim": "CAR"
},
{
"prim": "CDR"
},
{
"prim": "CDR"
},
{
"prim": "DIG",
"args": [
{
"int": "3"
}
]
},
{
"prim": "PAIR"
},
{
"prim": "DIG",
"args": [
{
"int": "2"
}
]
},
{
"prim": "CAR"
},
{
"prim": "CAR"
},
{
"prim": "PAIR"
},
{
"prim": "PAIR"
},
{
"prim": "DUP"
},
{
"prim": "CDR"
},
{
"prim": "CDR"
},
{
"prim": "DIG",
"args": [
{
"int": "2"
}
]
},
{
"prim": "CAR"
},
{
"prim": "CDR"
},
{
"prim": "CDR"
},
{
"prim": "CAR"
},
{
"prim": "DUP",
"args": [
{
"int": "3"
}
]
},
{
"prim": "CDR"
},
{
"prim": "CAR"
},
{
"prim": "CAR"
},
{
"prim": "PAIR"
},
{
"prim": "PAIR"
},
{
"prim": "SWAP"
},
{
"prim": "CAR"
},
{
"prim": "PAIR"
}
]
]
}
],
[
{
"prim": "DROP",
"args": [
{
"int": "3"
}
]
},
{
"prim": "PUSH",
"args": [
{
"prim": "int"
},
{
"int": "134"
}
]
},
{
"prim": "FAILWITH"
}
]
]
}
]
]
}
}
]
},
{
"name": "get_balance",
"implementations": [
{
"michelsonStorageView": {
"parameter": {
"prim": "pair",
"args": [
{
"prim": "address"
},
{
"prim": "nat"
}
]
},
"returnType": {
"prim": "nat"
},
"code": [
{
"prim": "UNPAIR"
},
{
"prim": "SWAP"
},
{
"prim": "GET",
"args": [
{
"int": "4"
}
]
},
{
"prim": "IF_LEFT",
"args": [
[
{
"prim": "SWAP"
},
{
"prim": "UNPAIR"
},
{
"prim": "DIG",
"args": [
{
"int": "2"
}
]
},
{
"prim": "CAR"
},
{
"prim": "CDR"
},
{
"prim": "CAR"
},
{
"prim": "CAR"
},
{
"prim": "PUSH",
"args": [
{
"prim": "nat"
},
{
"int": "1"
}
]
},
{
"prim": "DUP",
"args": [
{
"int": "4"
}
]
},
{
"prim": "COMPARE"
},
{
"prim": "EQ"
},
{
"prim": "PUSH",
"args": [
{
"prim": "nat"
},
{
"int": "0"
}
]
},
{
"prim": "DUP",
"args": [
{
"int": "5"
}
]
},
{
"prim": "COMPARE"
},
{
"prim": "EQ"
},
{
"prim": "OR"
},
{
"prim": "IF",
"args": [
[
],
[
{
"prim": "PUSH",
"args": [
{
"prim": "string"
},
{
"string": "FA2_TOKEN_UNDEFINED"
}
]
},
{
"prim": "FAILWITH"
}
]
]
},
{
"prim": "CAR"
},
{
"prim": "DUG",
"args": [
{
"int": "2"
}
]
},
{
"prim": "PAIR"
},
{
"prim": "GET"
},
{
"prim": "IF_NONE",
"args": [
[
{
"prim": "PUSH",
"args": [
{
"prim": "nat"
},
{
"int": "0"
}
]
}
],
[
]
]
}
],
[
{
"prim": "DROP",
"args": [
{
"int": "2"
}
]
},
{
"prim": "PUSH",
"args": [
{
"prim": "int"
},
{
"int": "134"
}
]
},
{
"prim": "FAILWITH"
}
]
]
}
]
}
}
]
},
{
"name": "burrow_remaining_mintable_kit",
"implementations": [
{
"michelsonStorageView": {
"parameter": {
"prim": "pair",
"args": [
{
"prim": "address"
},
{
"prim": "nat"
}
]
},
"returnType": {
"prim": "nat"
},
"code": [
{
"prim": "PUSH",
"args": [
{
"prim": "pair",
"args": [
{
"prim": "int"
},
{
"prim": "lambda",
"args": [
{
"prim": "pair",
"args": [
{
"prim": "int"
},
{
"prim": "int"
}
]
},
{
"prim": "int"
}
]
}
]
},
{
"prim": "Pair",
"args": [
{
"int": "18446744073709551616"
},
[
{
"prim": "UNPAIR"
},
{
"prim": "SWAP"
},
{
"prim": "DUP"
},
{
"prim": "DUG",
"args": [
{
"int": "2"
}
]
},
{
"prim": "SWAP"
},
{
"prim": "EDIV"
},
{
"prim": "IF_NONE",
"args": [
[
{
"prim": "DROP"
},
{
"prim": "PUSH",
"args": [
{
"prim": "int"
},
{
"int": "292"
}
]
},
{
"prim": "FAILWITH"
}
],
[
{
"prim": "UNPAIR"
},
{
"prim": "PUSH",
"args": [
{
"prim": "nat"
},
{
"int": "0"
}
]
},
{
"prim": "DIG",
"args": [
{
"int": "2"
}
]
},
{
"prim": "COMPARE"
},
{
"prim": "EQ"
},
{
"prim": "IF",
"args": [
[
{
"prim": "SWAP"
},
{
"prim": "DROP"
}
],
[
{
"prim": "PUSH",
"args": [
{
"prim": "int"
},
{
"int": "0"
}
]
},
{
"prim": "DIG",
"args": [
{
"int": "2"
}
]
},
{
"prim": "COMPARE"
},
{
"prim": "GT"
},
{
"prim": "IF",
"args": [
[
],
[
{
"prim": "PUSH",
"args": [
{
"prim": "int"
},
{
"int": "1"
}
]
},
{
"prim": "SWAP"
},
{
"prim": "SUB"
}
]
]
}
]
]
}
]
]
}
]
]
}
]
},
{
"prim": "PAIR"
},
[
{
"prim": "UNPAIR"
},
{
"prim": "UNPAIR"
},
{
"prim": "DIG",
"args": [
{
"int": "2"
}
]
},
{
"prim": "UNPAIR"
},
{
"prim": "SWAP"
},
{
"prim": "GET",
"args": [
{
"int": "4"
}
]
},
{
"prim": "IF_LEFT",
"args": [
[
{
"prim": "DUP"
},
{
"prim": "DUG",
"args": [
{
"int": "2"
}
]
},
{
"prim": "CAR"
},
{
"prim": "CAR"
},
{
"prim": "CAR"
},
{
"prim": "CDR"
},
{
"prim": "SWAP"
},
{
"prim": "GET"
},
{
"prim": "IF_NONE",
"args": [
[
{
"prim": "PUSH",
"args": [
{
"prim": "int"
},
{
"int": "81"
}
]
},
{
"prim": "FAILWITH"
}
],
[
]
]
},
{
"prim": "SWAP"
},
{
"prim": "DUP"
},
{
"prim": "DUG",
"args": [
{
"int": "2"
}
]
},
{
"prim": "CDR"
},
{
"prim": "SWAP"
},
{
"prim": "DUP"
},
{
"prim": "DUG",
"args": [
{
"int": "2"
}
]
},
{
"prim": "CDR"
},
{
"prim": "CAR"
},
{
"prim": "CDR"
},
{
"prim": "SWAP"
},
{
"prim": "DUP"
},
{
"prim": "DUG",
"args": [
{
"int": "2"
}
]
},
{
"prim": "CAR"
},
{
"prim": "CDR"
},
{
"prim": "CDR"
},
{
"prim": "CAR"
},
{
"prim": "COMPARE"
},
{
"prim": "EQ"
},
{
"prim": "IF",
"args": [
[
{
"prim": "DROP"
}
],
[
{
"prim": "DUP",
"args": [
{
"int": "4"
}
]
},
{
"prim": "SWAP"
},
{
"prim": "DUP"
},
{
"prim": "DUG",
"args": [
{
"int": "2"
}
]
},
{
"prim": "CAR"
},
{
"prim": "CDR"
},
{
"prim": "CAR"
},
{
"prim": "CAR"
},
{
"prim": "DUP",
"args": [
{
"int": "3"
}
]
},
{
"prim": "CAR"
},
{
"prim": "CAR"
},
{
"prim": "CAR"
},
{
"prim": "CAR"
},
{
"prim": "MUL"
},
{
"prim": "PAIR"
},
{
"prim": "DUP",
"args": [
{
"int": "6"
}
]
},
{
"prim": "SWAP"
},
{
"prim": "EXEC"
},
{
"prim": "DUP",
"args": [
{
"int": "3"
}
]
},
{
"prim": "CAR"
},
{
"prim": "CDR"
},
{
"prim": "CAR"
},
{
"prim": "PUSH",
"args": [
{
"prim": "int"
},
{
"int": "1000000000000"
}
]
},
{
"prim": "MUL"
},
{
"prim": "SWAP"
},
{
"prim": "DUP"
},
{
"prim": "DUG",
"args": [
{
"int": "2"
}
]
},
{
"prim": "DUP",
"args": [
{
"int": "5"
}
]
},
{
"prim": "CDR"
},
{
"prim": "CDR"
},
{
"prim": "MUL"
},
{
"prim": "PUSH",
"args": [
{
"prim": "int"
},
{
"int": "0"
}
]
},
{
"prim": "SWAP"
},
{
"prim": "DUP"
},
{
"prim": "DUG",
"args": [
{
"int": "2"
}
]
},
{
"prim": "COMPARE"
},
{
"prim": "LT"
},
{
"prim": "IF",
"args": [
[
{
"prim": "DROP",
"args": [
{
"int": "2"
}
]
},
{
"prim": "PUSH",
"args": [
{
"prim": "int"
},
{
"int": "271"
}
]
},
{
"prim": "FAILWITH"
}
],
[
{
"prim": "SWAP"
},
{
"prim": "PUSH",
"args": [
{
"prim": "int"
},
{
"int": "1000000000000"
}
]
},
{
"prim": "DIG",
"args": [
{
"int": "2"
}
]
},
{
"prim": "MUL"
},
{
"prim": "SWAP"
},
{
"prim": "DUP"
},
{
"prim": "DUG",
"args": [
{
"int": "2"
}
]
},
{
"prim": "SWAP"
},
{
"prim": "EDIV"
},
{
"prim": "IF_NONE",
"args": [
[
{
"prim": "DROP"
},
{
"prim": "PUSH",
"args": [
{
"prim": "int"
},
{
"int": "291"
}
]
},
{
"prim": "FAILWITH"
}
],
[
{
"prim": "UNPAIR"
},
{
"prim": "PUSH",
"args": [
{
"prim": "nat"
},
{
"int": "0"
}
]
},
{
"prim": "DIG",
"args": [
{
"int": "2"
}
]
},
{
"prim": "COMPARE"
},
{
"prim": "EQ"
},
{
"prim": "IF",
"args": [
[
{
"prim": "SWAP"
},
{
"prim": "DROP"
}
],
[
{
"prim": "PUSH",
"args": [
{
"prim": "int"
},
{
"int": "0"
}
]
},
{
"prim": "DIG",
"args": [
{
"int": "2"
}
]
},
{
"prim": "COMPARE"
},
{
"prim": "LT"
},
{
"prim": "IF",
"args": [
[
],
[
{
"prim": "PUSH",
"args": [
{
"prim": "int"
},
{
"int": "1"
}
]
},
{
"prim": "ADD"
}
]
]
}
]
]
}
]
]
},
{
"prim": "ABS"
}
]
]
},
{
"prim": "DUP",
"args": [
{
"int": "4"
}
]
},
{
"prim": "CDR"
},
{
"prim": "CAR"
},
{
"prim": "PAIR"
},
{
"prim": "DIG",
"args": [
{
"int": "3"
}
]
},
{
"prim": "CAR"
},
{
"prim": "PAIR"
},
{
"prim": "DUP"
},
{
"prim": "CDR"
},
{
"prim": "SWAP"
},
{
"prim": "DUP"
},
{
"prim": "DUG",
"args": [
{
"int": "2"
}
]
},
{
"prim": "CAR"
},
{
"prim": "CDR"
},
{
"prim": "CDR"
},
{
"prim": "DIG",
"args": [
{
"int": "3"
}
]
},
{
"prim": "PAIR"
},
{
"prim": "DIG",
"args": [
{
"int": "2"
}
]
},
{
"prim": "CAR"
},
{
"prim": "CAR"
},
{
"prim": "PAIR"
},
{
"prim": "PAIR"
},
{
"prim": "DUP"
},
{
"prim": "CDR"
},
{
"prim": "CDR"
},
{
"prim": "DIG",
"args": [
{
"int": "2"
}
]
},
{
"prim": "CAR"
},
{
"prim": "CDR"
},
{
"prim": "CDR"
},
{
"prim": "CAR"
},
{
"prim": "DUP",
"args": [
{
"int": "3"
}
]
},
{
"prim": "CDR"
},
{
"prim": "CAR"
},
{
"prim": "CAR"
},
{
"prim": "PAIR"
},
{
"prim": "PAIR"
},
{
"prim": "SWAP"
},
{
"prim": "CAR"
},
{
"prim": "PAIR"
}
]
]
},
{
"prim": "PUSH",
"args": [
{
"prim": "int"
},
{
"int": "21"
}
]
},
{
"prim": "PUSH",
"args": [
{
"prim": "int"
},
{
"int": "10"
}
]
},
{
"prim": "DIG",
"args": [
{
"int": "3"
}
]
},
{
"prim": "CDR"
},
{
"prim": "PUSH",
"args": [
{
"prim": "int"
},
{
"int": "1000000"
}
]
},
{
"prim": "DIG",
"args": [
{
"int": "5"
}
]
},
{
"prim": "MUL"
},
{
"prim": "SWAP"
},
{
"prim": "DUP"
},
{
"prim": "DUG",
"args": [
{
"int": "2"
}
]
},
{
"prim": "CDR"
},
{
"prim": "CAR"
},
{
"prim": "CAR"
},
{
"prim": "DUP",
"args": [
{
"int": "3"
}
]
},
{
"prim": "CAR"
},
{
"prim": "CDR"
},
{
"prim": "CAR"
},
{
"prim": "CDR"
},
{
"prim": "SWAP"
},
{
"prim": "DUP"
},
{
"prim": "DUG",
"args": [
{
"int": "2"
}
]
},
{
"prim": "SWAP"
},
{
"prim": "DUP"
},
{
"prim": "DUG",
"args": [
{
"int": "2"
}
]
},
{
"prim": "COMPARE"
},
{
"prim": "GE"
},
{
"prim": "IF",
"args": [
[
{
"prim": "SWAP"
},
{
"prim": "DROP"
}
],
[
{
"prim": "DROP"
}
]
]
},
{
"prim": "DIG",
"args": [
{
"int": "2"
}
]
},
{
"prim": "CDR"
},
{
"prim": "CAR"
},
{
"prim": "CDR"
},
{
"prim": "MUL"
},
{
"prim": "SWAP"
},
{
"prim": "DIG",
"args": [
{
"int": "2"
}
]
},
{
"prim": "MUL"
},
{
"prim": "DUP",
"args": [
{
"int": "4"
}
]
},
{
"prim": "CAR"
},
{
"prim": "CDR"
},
{
"prim": "CDR"
},
{
"prim": "MUL"
},
{
"prim": "SWAP"
},
{
"prim": "DIG",
"args": [
{
"int": "2"
}
]
},
{
"prim": "MUL"
},
{
"prim": "PUSH",
"args": [
{
"prim": "int"
},
{
"int": "1000000"
}
]
},
{
"prim": "MUL"
},
{
"prim": "PUSH",
"args": [
{
"prim": "int"
},
{
"int": "0"
}
]
},
{
"prim": "DUP",
"args": [
{
"int": "3"
}
]
},
{
"prim": "COMPARE"
},
{
"prim": "LT"
},
{
"prim": "IF",
"args": [
[
{
"prim": "SWAP"
},
{
"prim": "DIG",
"args": [
{
"int": "3"
}
]
},
{
"prim": "DROP",
"args": [
{
"int": "3"
}
]
},
{
"prim": "PUSH",
"args": [
{
"prim": "int"
},
{
"int": "272"
}
]
},
{
"prim": "FAILWITH"
}
],
[
{
"prim": "PUSH",
"args": [
{
"prim": "int"
},
{
"int": "1000000000000"
}
]
},
{
"prim": "DIG",
"args": [
{
"int": "2"
}
]
},
{
"prim": "MUL"
},
{
"prim": "PAIR"
},
{
"prim": "DIG",
"args": [
{
"int": "2"
}
]
},
{
"prim": "SWAP"
},
{
"prim": "EXEC"
},
{
"prim": "ABS"
}
]
]
},
{
"prim": "SWAP"
},
{
"prim": "CDR"
},
{
"prim": "CDR"
},
{
"prim": "SWAP"
},
{
"prim": "SUB"
},
{
"prim": "ISNAT"
},
{
"prim": "IF_NONE",
"args": [
[
{
"prim": "PUSH",
"args": [
{
"prim": "int"
},
{
"int": "270"
}
]
},
{
"prim": "FAILWITH"
}
],
[
]
]
}
],
[
{
"prim": "DROP",
"args": [
{
"int": "4"
}
]
},
{
"prim": "PUSH",
"args": [
{
"prim": "int"
},
{
"int": "134"
}
]
},
{
"prim": "FAILWITH"
}
]
]
}
]
]
}
}
]
},
{
"name": "buy_kit_min_kit_expected",
"implementations": [
{
"michelsonStorageView": {
"parameter": {
"prim": "nat"
},
"returnType": {
"prim": "nat"
},
"code": [
{
"prim": "UNPAIR"
},
{
"prim": "SWAP"
},
{
"prim": "GET",
"args": [
{
"int": "4"
}
]
},
{
"prim": "IF_LEFT",
"args": [
[
{
"prim": "CAR"
},
{
"prim": "CAR"
},
{
"prim": "CDR"
},
{
"prim": "CAR"
},
{
"prim": "LEVEL"
},
{
"prim": "SWAP"
},
{
"prim": "DUP"
},
{
"prim": "DUG",
"args": [
{
"int": "2"
}
]
},
{
"prim": "CAR"
},
{
"prim": "CDR"
},
{
"prim": "CDR"
},
{
"prim": "SWAP"
},
{
"prim": "COMPARE"
},
{
"prim": "LE"
},
{
"prim": "IF",
"args": [
[
],
[
{
"prim": "DUP"
},
{
"prim": "CDR"
},
{
"prim": "SWAP"
},
{
"prim": "DUP"
},
{
"prim": "DUG",
"args": [
{
"int": "2"
}
]
},
{
"prim": "CAR"
},
{
"prim": "CDR"
},
{
"prim": "CDR"
},
{
"prim": "PUSH",
"args": [
{
"prim": "int"
},
{
"int": "1000000"
}
]
},
{
"prim": "DUP",
"args": [
{
"int": "4"
}
]
},
{
"prim": "CAR"
},
{
"prim": "CAR"
},
{
"prim": "CDR"
},
{
"prim": "MUL"
},
{
"prim": "PUSH",
"args": [
{
"prim": "int"
},
{
"int": "1000000000000"
}
]
},
{
"prim": "DUP",
"args": [
{
"int": "5"
}
]
},
{
"prim": "CAR"
},
{
"prim": "CAR"
},
{
"prim": "CAR"
},
{
"prim": "MUL"
},
{
"prim": "SWAP"
},
{
"prim": "PAIR"
},
{
"prim": "PAIR"
},
{
"prim": "DIG",
"args": [
{
"int": "2"
}
]
},
{
"prim": "CAR"
},
{
"prim": "CAR"
},
{
"prim": "PAIR"
},
{
"prim": "PAIR"
},
{
"prim": "DUP"
},
{
"prim": "CDR"
},
{
"prim": "LEVEL"
},
{
"prim": "DUP",
"args": [
{
"int": "3"
}
]
},
{
"prim": "CAR"
},
{
"prim": "CDR"
},
{
"prim": "CAR"
},
{
"prim": "PAIR"
},
{
"prim": "DIG",
"args": [
{
"int": "2"
}
]
},
{
"prim": "CAR"
},
{
"prim": "CAR"
},
{
"prim": "PAIR"
},
{
"prim": "PAIR"
}
]
]
},
{
"prim": "PUSH",
"args": [
{
"prim": "nat"
},
{
"int": "0"
}
]
},
{
"prim": "DUP",
"args": [
{
"int": "3"
}
]
},
{
"prim": "COMPARE"
},
{
"prim": "EQ"
},
{
"prim": "IF",
"args": [
[
{
"prim": "DROP",
"args": [
{
"int": "2"
}
]
},
{
"prim": "PUSH",
"args": [
{
"prim": "int"
},
{
"int": "13"
}
]
},
{
"prim": "FAILWITH"
}
],
[
{
"prim": "PUSH",
"args": [
{
"prim": "int"
},
{
"int": "2"
}
]
},
{
"prim": "PUSH",
"args": [
{
"prim": "int"
},
{
"int": "1000"
}
]
},
{
"prim": "DUP"
},
{
"prim": "DUG",
"args": [
{
"int": "2"
}
]
},
{
"prim": "SUB"
},
{
"prim": "SWAP"
},
{
"prim": "DUP",
"args": [
{
"int": "4"
}
]
},
{
"prim": "DUP",
"args": [
{
"int": "4"
}
]
},
{
"prim": "CAR"
},
{
"prim": "CAR"
},
{
"prim": "CAR"
},
{
"prim": "ADD"
},
{
"prim": "DIG",
"args": [
{
"int": "2"
}
]
},
{
"prim": "DUP",
"args": [
{
"int": "4"
}
]
},
{
"prim": "CAR"
},
{
"prim": "CAR"
},
{
"prim": "CDR"
},
{
"prim": "MUL"
},
{
"prim": "DIG",
"args": [
{
"int": "4"
}
]
},
{
"prim": "MUL"
},
{
"prim": "DUG",
"args": [
{
"int": "2"
}
]
},
{
"prim": "DUP"
},
{
"prim": "DUG",
"args": [
{
"int": "3"
}
]
},
{
"prim": "MUL"
},
{
"prim": "PUSH",
"args": [
{
"prim": "int"
},
{
"int": "1000000000000"
}
]
},
{
"prim": "MUL"
},
{
"prim": "PUSH",
"args": [
{
"prim": "int"
},
{
"int": "0"
}
]
},
{
"prim": "DUP",
"args": [
{
"int": "3"
}
]
},
{
"prim": "COMPARE"
},
{
"prim": "LT"
},
{
"prim": "IF",
"args": [
[
{
"prim": "DROP",
"args": [
{
"int": "2"
}
]
},
{
"prim": "PUSH",
"args": [
{
"prim": "int"
},
{
"int": "272"
}
]
},
{
"prim": "FAILWITH"
}
],
[
{
"prim": "PUSH",
"args": [
{
"prim": "int"
},
{
"int": "1000000000000"
}
]
},
{
"prim": "DIG",
"args": [
{
"int": "2"
}
]
},
{
"prim": "MUL"
},
{
"prim": "SWAP"
},
{
"prim": "DUP"
},
{
"prim": "DUG",
"args": [
{
"int": "2"
}
]
},
{
"prim": "SWAP"
},
{
"prim": "EDIV"
},
{
"prim": "IF_NONE",
"args": [
[
{
"prim": "DROP"
},
{
"prim": "PUSH",
"args": [
{
"prim": "int"
},
{
"int": "292"
}
]
},
{
"prim": "FAILWITH"
}
],
[
{
"prim": "UNPAIR"
},
{
"prim": "PUSH",
"args": [
{
"prim": "nat"
},
{
"int": "0"
}
]
},
{
"prim": "DIG",
"args": [
{
"int": "2"
}
]
},
{
"prim": "COMPARE"
},
{
"prim": "EQ"
},
{
"prim": "IF",
"args": [
[
{
"prim": "SWAP"
},
{
"prim": "DROP"
}
],
[
{
"prim": "PUSH",
"args": [
{
"prim": "int"
},
{
"int": "0"
}
]
},
{
"prim": "DIG",
"args": [
{
"int": "2"
}
]
},
{
"prim": "COMPARE"
},
{
"prim": "GT"
},
{
"prim": "IF",
"args": [
[
],
[
{
"prim": "PUSH",
"args": [
{
"prim": "int"
},
{
"int": "1"
}
]
},
{
"prim": "SWAP"
},
{
"prim": "SUB"
}
]
]
}
]
]
}
]
]
},
{
"prim": "ABS"
}
]
]
},
{
"prim": "DUP",
"args": [
{
"int": "3"
}
]
},
{
"prim": "CDR"
},
{
"prim": "DUP",
"args": [
{
"int": "4"
}
]
},
{
"prim": "CAR"
},
{
"prim": "CDR"
},
{
"prim": "DUP",
"args": [
{
"int": "3"
}
]
},
{
"prim": "DUP",
"args": [
{
"int": "6"
}
]
},
{
"prim": "CAR"
},
{
"prim": "CAR"
},
{
"prim": "CDR"
},
{
"prim": "SUB"
},
{
"prim": "ISNAT"
},
{
"prim": "IF_NONE",
"args": [
[
{
"prim": "PUSH",
"args": [
{
"prim": "int"
},
{
"int": "270"
}
]
},
{
"prim": "FAILWITH"
}
],
[
]
]
},
{
"prim": "DIG",
"args": [
{
"int": "5"
}
]
},
{
"prim": "CAR"
},
{
"prim": "CAR"
},
{
"prim": "CAR"
},
{
"prim": "PAIR"
},
{
"prim": "PAIR"
},
{
"prim": "PAIR"
},
{
"prim": "DUP"
},
{
"prim": "CDR"
},
{
"prim": "SWAP"
},
{
"prim": "DUP"
},
{
"prim": "DUG",
"args": [
{
"int": "2"
}
]
},
{
"prim": "CAR"
},
{
"prim": "CDR"
},
{
"prim": "DIG",
"args": [
{
"int": "2"
}
]
},
{
"prim": "CAR"
},
{
"prim": "CAR"
},
{
"prim": "CDR"
},
{
"prim": "DIG",
"args": [
{
"int": "4"
}
]
},
{
"prim": "PAIR"
},
{
"prim": "PAIR"
},
{
"prim": "PAIR"
},
{
"prim": "SWAP"
},
{
"prim": "PAIR"
}
]
]
},
{
"prim": "CAR"
}
],
[
{
"prim": "DROP",
"args": [
{
"int": "2"
}
]
},
{
"prim": "PUSH",
"args": [
{
"prim": "int"
},
{
"int": "134"
}
]
},
{
"prim": "FAILWITH"
}
]
]
}
]
}
}
]
},
{
"name": "add_liquidity_max_kit_deposited",
"implementations": [
{
"michelsonStorageView": {
"parameter": {
"prim": "nat"
},
"returnType": {
"prim": "nat"
},
"code": [
{
"prim": "UNPAIR"
},
{
"prim": "SWAP"
},
{
"prim": "GET",
"args": [
{
"int": "4"
}
]
},
{
"prim": "IF_LEFT",
"args": [
[
{
"prim": "CAR"
},
{
"prim": "CAR"
},
{
"prim": "CDR"
},
{
"prim": "CAR"
},
{
"prim": "LEVEL"
},
{
"prim": "SWAP"
},
{
"prim": "DUP"
},
{
"prim": "DUG",
"args": [
{
"int": "2"
}
]
},
{
"prim": "CAR"
},
{
"prim": "CDR"
},
{
"prim": "CDR"
},
{
"prim": "SWAP"
},
{
"prim": "COMPARE"
},
{
"prim": "LE"
},
{
"prim": "IF",
"args": [
[
],
[
{
"prim": "DUP"
},
{
"prim": "CDR"
},
{
"prim": "SWAP"
},
{
"prim": "DUP"
},
{
"prim": "DUG",
"args": [
{
"int": "2"
}
]
},
{
"prim": "CAR"
},
{
"prim": "CDR"
},
{
"prim": "CDR"
},
{
"prim": "PUSH",
"args": [
{
"prim": "int"
},
{
"int": "1000000"
}
]
},
{
"prim": "DUP",
"args": [
{
"int": "4"
}
]
},
{
"prim": "CAR"
},
{
"prim": "CAR"
},
{
"prim": "CDR"
},
{
"prim": "MUL"
},
{
"prim": "PUSH",
"args": [
{
"prim": "int"
},
{
"int": "1000000000000"
}
]
},
{
"prim": "DUP",
"args": [
{
"int": "5"
}
]
},
{
"prim": "CAR"
},
{
"prim": "CAR"
},
{
"prim": "CAR"
},
{
"prim": "MUL"
},
{
"prim": "SWAP"
},
{
"prim": "PAIR"
},
{
"prim": "PAIR"
},
{
"prim": "DIG",
"args": [
{
"int": "2"
}
]
},
{
"prim": "CAR"
},
{
"prim": "CAR"
},
{
"prim": "PAIR"
},
{
"prim": "PAIR"
},
{
"prim": "DUP"
},
{
"prim": "CDR"
},
{
"prim": "LEVEL"
},
{
"prim": "DUP",
"args": [
{
"int": "3"
}
]
},
{
"prim": "CAR"
},
{
"prim": "CDR"
},
{
"prim": "CAR"
},
{
"prim": "PAIR"
},
{
"prim": "DIG",
"args": [
{
"int": "2"
}
]
},
{
"prim": "CAR"
},
{
"prim": "CAR"
},
{
"prim": "PAIR"
},
{
"prim": "PAIR"
}
]
]
},
{
"prim": "PUSH",
"args": [
{
"prim": "nat"
},
{
"int": "0"
}
]
},
{
"prim": "DUP",
"args": [
{
"int": "3"
}
]
},
{
"prim": "COMPARE"
},
{
"prim": "EQ"
},
{
"prim": "IF",
"args": [
[
{
"prim": "DROP",
"args": [
{
"int": "2"
}
]
},
{
"prim": "PUSH",
"args": [
{
"prim": "int"
},
{
"int": "30"
}
]
},
{
"prim": "FAILWITH"
}
],
[
{
"prim": "DUP"
},
{
"prim": "CAR"
},
{
"prim": "CAR"
},
{
"prim": "CAR"
},
{
"prim": "DUP"
},
{
"prim": "PUSH",
"args": [
{
"prim": "int"
},
{
"int": "1000000"
}
]
},
{
"prim": "MUL"
},
{
"prim": "DUP",
"args": [
{
"int": "4"
}
]
},
{
"prim": "DUP",
"args": [
{
"int": "4"
}
]
},
{
"prim": "CDR"
},
{
"prim": "INT"
},
{
"prim": "MUL"
},
{
"prim": "PUSH",
"args": [
{
"prim": "int"
},
{
"int": "0"
}
]
},
{
"prim": "SWAP"
},
{
"prim": "DUP"
},
{
"prim": "DUG",
"args": [
{
"int": "2"
}
]
},
{
"prim": "COMPARE"
},
{
"prim": "LT"
},
{
"prim": "IF",
"args": [
[
{
"prim": "DROP",
"args": [
{
"int": "2"
}
]
},
{
"prim": "PUSH",
"args": [
{
"prim": "int"
},
{
"int": "282"
}
]
},
{
"prim": "FAILWITH"
}
],
[
{
"prim": "SWAP"
},
{
"prim": "PUSH",
"args": [
{
"prim": "int"
},
{
"int": "1000000"
}
]
},
{
"prim": "DIG",
"args": [
{
"int": "2"
}
]
},
{
"prim": "MUL"
},
{
"prim": "SWAP"
},
{
"prim": "DUP"
},
{
"prim": "DUG",
"args": [
{
"int": "2"
}
]
},
{
"prim": "SWAP"
},
{
"prim": "EDIV"
},
{
"prim": "IF_NONE",
"args": [
[
{
"prim": "DROP"
},
{
"prim": "PUSH",
"args": [
{
"prim": "int"
},
{
"int": "292"
}
]
},
{
"prim": "FAILWITH"
}
],
[
{
"prim": "UNPAIR"
},
{
"prim": "PUSH",
"args": [
{
"prim": "nat"
},
{
"int": "0"
}
]
},
{
"prim": "DIG",
"args": [
{
"int": "2"
}
]
},
{
"prim": "COMPARE"
},
{
"prim": "EQ"
},
{
"prim": "IF",
"args": [
[
{
"prim": "SWAP"
},
{
"prim": "DROP"
}
],
[
{
"prim": "PUSH",
"args": [
{
"prim": "int"
},
{
"int": "0"
}
]
},
{
"prim": "DIG",
"args": [
{
"int": "2"
}
]
},
{
"prim": "COMPARE"
},
{
"prim": "GT"
},
{
"prim": "IF",
"args": [
[
],
[
{
"prim": "PUSH",
"args": [
{
"prim": "int"
},
{
"int": "1"
}
]
},
{
"prim": "SWAP"
},
{
"prim": "SUB"
}
]
]
}
]
]
}
]
]
},
{
"prim": "ABS"
}
]
]
},
{
"prim": "SWAP"
},
{
"prim": "PUSH",
"args": [
{
"prim": "int"
},
{
"int": "1000000000000"
}
]
},
{
"prim": "MUL"
},
{
"prim": "DUP",
"args": [
{
"int": "4"
}
]
},
{
"prim": "DUP",
"args": [
{
"int": "4"
}
]
},
{
"prim": "CAR"
},
{
"prim": "CAR"
},
{
"prim": "CDR"
},
{
"prim": "INT"
},
{
"prim": "MUL"
},
{
"prim": "PUSH",
"args": [
{
"prim": "int"
},
{
"int": "0"
}
]
},
{
"prim": "SWAP"
},
{
"prim": "DUP"
},
{
"prim": "DUG",
"args": [
{
"int": "2"
}
]
},
{
"prim": "COMPARE"
},
{
"prim": "LT"
},
{
"prim": "IF",
"args": [
[
{
"prim": "DROP",
"args": [
{
"int": "2"
}
]
},
{
"prim": "PUSH",
"args": [
{
"prim": "int"
},
{
"int": "271"
}
]
},
{
"prim": "FAILWITH"
}
],
[
{
"prim": "SWAP"
},
{
"prim": "PUSH",
"args": [
{
"prim": "int"
},
{
"int": "1000000000000"
}
]
},
{
"prim": "DIG",
"args": [
{
"int": "2"
}
]
},
{
"prim": "MUL"
},
{
"prim": "SWAP"
},
{
"prim": "DUP"
},
{
"prim": "DUG",
"args": [
{
"int": "2"
}
]
},
{
"prim": "SWAP"
},
{
"prim": "EDIV"
},
{
"prim": "IF_NONE",
"args": [
[
{
"prim": "DROP"
},
{
"prim": "PUSH",
"args": [
{
"prim": "int"
},
{
"int": "291"
}
]
},
{
"prim": "FAILWITH"
}
],
[
{
"prim": "UNPAIR"
},
{
"prim": "PUSH",
"args": [
{
"prim": "nat"
},
{
"int": "0"
}
]
},
{
"prim": "DIG",
"args": [
{
"int": "2"
}
]
},
{
"prim": "COMPARE"
},
{
"prim": "EQ"
},
{
"prim": "IF",
"args": [
[
{
"prim": "SWAP"
},
{
"prim": "DROP"
}
],
[
{
"prim": "PUSH",
"args": [
{
"prim": "int"
},
{
"int": "0"
}
]
},
{
"prim": "DIG",
"args": [
{
"int": "2"
}
]
},
{
"prim": "COMPARE"
},
{
"prim": "LT"
},
{
"prim": "IF",
"args": [
[
],
[
{
"prim": "PUSH",
"args": [
{
"prim": "int"
},
{
"int": "1"
}
]
},
{
"prim": "ADD"
}
]
]
}
]
]
}
]
]
},
{
"prim": "ABS"
}
]
]
},
{
"prim": "DUP",
"args": [
{
"int": "3"
}
]
},
{
"prim": "CDR"
},
{
"prim": "DUP",
"args": [
{
"int": "4"
}
]
},
{
"prim": "CAR"
},
{
"prim": "CDR"
},
{
"prim": "DUP",
"args": [
{
"int": "3"
}
]
},
{
"prim": "DUP",
"args": [
{
"int": "6"
}
]
},
{
"prim": "CAR"
},
{
"prim": "CAR"
},
{
"prim": "CDR"
},
{
"prim": "ADD"
},
{
"prim": "DUP",
"args": [
{
"int": "6"
}
]
},
{
"prim": "CAR"
},
{
"prim": "CAR"
},
{
"prim": "CAR"
},
{
"prim": "PAIR"
},
{
"prim": "PAIR"
},
{
"prim": "PAIR"
},
{
"prim": "DUP"
},
{
"prim": "CDR"
},
{
"prim": "SWAP"
},
{
"prim": "DUP"
},
{
"prim": "DUG",
"args": [
{
"int": "2"
}
]
},
{
"prim": "CAR"
},
{
"prim": "CDR"
},
{
"prim": "DIG",
"args": [
{
"int": "2"
}
]
},
{
"prim": "CAR"
},
{
"prim": "CAR"
},
{
"prim": "CDR"
},
{
"prim": "DIG",
"args": [
{
"int": "6"
}
]
},
{
"prim": "DUP",
"args": [
{
"int": "7"
}
]
},
{
"prim": "CAR"
},
{
"prim": "CAR"
},
{
"prim": "CAR"
},
{
"prim": "ADD"
},
{
"prim": "PAIR"
},
{
"prim": "PAIR"
},
{
"prim": "PAIR"
},
{
"prim": "DUP",
"args": [
{
"int": "3"
}
]
},
{
"prim": "DIG",
"args": [
{
"int": "4"
}
]
},
{
"prim": "CDR"
},
{
"prim": "ADD"
},
{
"prim": "SWAP"
},
{
"prim": "CAR"
},
{
"prim": "PAIR"
},
{
"prim": "SWAP"
},
{
"prim": "DIG",
"args": [
{
"int": "2"
}
]
},
{
"prim": "PAIR"
},
{
"prim": "PAIR"
}
]
]
},
{
"prim": "CAR"
},
{
"prim": "CDR"
}
],
[
{
"prim": "DROP",
"args": [
{
"int": "2"
}
]
},
{
"prim": "PUSH",
"args": [
{
"prim": "int"
},
{
"int": "134"
}
]
},
{
"prim": "FAILWITH"
}
]
]
}
]
}
}
]
},
{
"name": "token_metadata",
"implementations": [
{
"michelsonStorageView": {
"parameter": {
"prim": "nat"
},
"returnType": {
"prim": "pair",
"args": [
{
"prim": "nat"
},
{
"prim": "map",
"args": [
{
"prim": "string"
},
{
"prim": "bytes"
}
]
}
]
},
"code": [
{
"prim": "CAR"
},
{
"prim": "PUSH",
"args": [
{
"prim": "map",
"args": [
{
"prim": "nat"
},
{
"prim": "pair",
"args": [
{
"prim": "nat"
},
{
"prim": "map",
"args": [
{
"prim": "string"
},
{
"prim": "bytes"
}
]
}
]
}
]
},
[
{
"prim": "Elt",
"args": [
{
"int": "0"
},
{
"prim": "Pair",
"args": [
{
"int": "0"
},
[
{
"prim": "Elt",
"args": [
{
"string": "decimals"
},
{
"bytes": "3132"
}
]
},
{
"prim": "Elt",
"args": [
{
"string": "isBooleanAmount"
},
{
"bytes": "46616c7365"
}
]
},
{
"prim": "Elt",
"args": [
{
"string": "isTransferable"
},
{
"bytes": "54727565"
}
]
},
{
"prim": "Elt",
"args": [
{
"string": "name"
},
{
"bytes": "63434846"
}
]
},
{
"prim": "Elt",
"args": [
{
"string": "shouldPreferSymbol"
},
{
"bytes": "54727565"
}
]
},
{
"prim": "Elt",
"args": [
{
"string": "symbol"
},
{
"bytes": "63434846"
}
]
},
{
"prim": "Elt",
"args": [
{
"string": "thumbnailUri"
},
{
"bytes": "697066733a2f2f516d6272447736316776464e7065616567566f6e436f50383547434e71695a59684544727872367559784e387474"
}
]
}
]
]
}
]
},
{
"prim": "Elt",
"args": [
{
"int": "1"
},
{
"prim": "Pair",
"args": [
{
"int": "1"
},
[
{
"prim": "Elt",
"args": [
{
"string": "decimals"
},
{
"bytes": "36"
}
]
},
{
"prim": "Elt",
"args": [
{
"string": "isBooleanAmount"
},
{
"bytes": "46616c7365"
}
]
},
{
"prim": "Elt",
"args": [
{
"string": "isTransferable"
},
{
"bytes": "54727565"
}
]
},
{
"prim": "Elt",
"args": [
{
"string": "name"
},
{
"bytes": "634348462f6354455a206c697175696469747920746f6b656e"
}
]
},
{
"prim": "Elt",
"args": [
{
"string": "shouldPreferSymbol"
},
{
"bytes": "54727565"
}
]
},
{
"prim": "Elt",
"args": [
{
"string": "symbol"
},
{
"bytes": "634348462f6354455a204c50"
}
]
}
]
]
}
]
}
]
]
},
{
"prim": "SWAP"
},
{
"prim": "GET"
},
{
"prim": "IF_NONE",
"args": [
[
{
"prim": "PUSH",
"args": [
{
"prim": "string"
},
{
"string": "FA2_UNKNOWN_TOKEN"
}
]
},
{
"prim": "FAILWITH"
}
],
[
]
]
}
]
}
}
]
}
],
"errors": [
]
}