[
{
"prim": "storage",
"args": [
{
"prim": "pair",
"args": [
{ "prim": "pair", "args": [ { "prim": "nat", "annots": [ "%baseRatePerBlock" ] }, { "prim": "nat", "annots": [ "%jumpMultiplierPerBlock" ] } ] },
{
"prim": "pair",
"args": [
{ "prim": "nat", "annots": [ "%kink" ] },
{ "prim": "pair", "args": [ { "prim": "nat", "annots": [ "%multiplierPerBlock" ] }, { "prim": "nat", "annots": [ "%scale" ] } ] }
]
}
]
}
]
},
{
"prim": "parameter",
"args": [
{
"prim": "or",
"args": [
{
"prim": "pair",
"args": [
{ "prim": "pair", "args": [ { "prim": "nat", "annots": [ "%borrows" ] }, { "prim": "nat", "annots": [ "%cash" ] } ] },
{ "prim": "pair", "args": [ { "prim": "contract", "args": [ { "prim": "nat" } ], "annots": [ "%cb" ] }, { "prim": "nat", "annots": [ "%reserves" ] } ] }
],
"annots": [ "%getBorrowRate" ]
},
{
"prim": "pair",
"args": [
{ "prim": "pair", "args": [ { "prim": "nat", "annots": [ "%borrows" ] }, { "prim": "nat", "annots": [ "%cash" ] } ] },
{
"prim": "pair",
"args": [
{ "prim": "contract", "args": [ { "prim": "nat" } ], "annots": [ "%cb" ] },
{ "prim": "pair", "args": [ { "prim": "nat", "annots": [ "%reserveFactorMantissa" ] }, { "prim": "nat", "annots": [ "%reserves" ] } ] }
]
}
],
"annots": [ "%getSupplyRate" ]
}
]
}
]
},
{
"prim": "code",
"args": [
[
{
"prim": "LAMBDA",
"args": [
{
"prim": "pair",
"args": [
{ "prim": "nat" },
{
"prim": "pair",
"args": [
{ "prim": "pair", "args": [ { "prim": "nat" }, { "prim": "nat" } ] },
{ "prim": "pair", "args": [ { "prim": "nat" }, { "prim": "pair", "args": [ { "prim": "nat" }, { "prim": "nat" } ] } ] }
]
}
]
},
{
"prim": "pair",
"args": [
{ "prim": "nat" },
{
"prim": "pair",
"args": [
{ "prim": "pair", "args": [ { "prim": "nat" }, { "prim": "nat" } ] },
{ "prim": "pair", "args": [ { "prim": "nat" }, { "prim": "pair", "args": [ { "prim": "nat" }, { "prim": "nat" } ] } ] }
]
}
]
},
[
{ "prim": "UNPAIR" },
{ "prim": "DUP", "args": [ { "int": "2" } ] },
{ "prim": "GET", "args": [ { "int": "3" } ] },
{ "prim": "DUP", "args": [ { "int": "2" } ] },
{ "prim": "COMPARE" },
{ "prim": "LE" },
{
"prim": "IF",
"args": [
[
{ "prim": "DUP", "args": [ { "int": "2" } ] },
{ "prim": "CAR" },
{ "prim": "CAR" },
{ "prim": "DUP", "args": [ { "int": "3" } ] },
{ "prim": "GET", "args": [ { "int": "6" } ] },
{ "prim": "DUP", "args": [ { "int": "4" } ] },
{ "prim": "GET", "args": [ { "int": "5" } ] },
{ "prim": "DIG", "args": [ { "int": "3" } ] },
{ "prim": "MUL" },
{ "prim": "EDIV" },
{ "prim": "IF_NONE", "args": [ [ { "prim": "PUSH", "args": [ { "prim": "int" }, { "int": "79" } ] }, { "prim": "FAILWITH" } ], [ { "prim": "CAR" } ] ] },
{ "prim": "ADD" }
],
[
{ "prim": "DUP", "args": [ { "int": "2" } ] },
{ "prim": "CAR" },
{ "prim": "CAR" },
{ "prim": "DUP", "args": [ { "int": "3" } ] },
{ "prim": "GET", "args": [ { "int": "6" } ] },
{ "prim": "DUP", "args": [ { "int": "4" } ] },
{ "prim": "GET", "args": [ { "int": "5" } ] },
{ "prim": "DUP", "args": [ { "int": "5" } ] },
{ "prim": "GET", "args": [ { "int": "3" } ] },
{ "prim": "MUL" },
{ "prim": "EDIV" },
{ "prim": "IF_NONE", "args": [ [ { "prim": "PUSH", "args": [ { "prim": "int" }, { "int": "83" } ] }, { "prim": "FAILWITH" } ], [ { "prim": "CAR" } ] ] },
{ "prim": "ADD" },
{ "prim": "DUP", "args": [ { "int": "3" } ] },
{ "prim": "GET", "args": [ { "int": "6" } ] },
{ "prim": "DUP", "args": [ { "int": "4" } ] },
{ "prim": "CAR" },
{ "prim": "CDR" },
{ "prim": "DUP", "args": [ { "int": "5" } ] },
{ "prim": "GET", "args": [ { "int": "3" } ] },
{ "prim": "DIG", "args": [ { "int": "4" } ] },
{ "prim": "SUB" },
{ "prim": "ISNAT" },
{ "prim": "IF_NONE", "args": [ [ { "prim": "PUSH", "args": [ { "prim": "int" }, { "int": "86" } ] }, { "prim": "FAILWITH" } ], [] ] },
{ "prim": "MUL" },
{ "prim": "EDIV" },
{ "prim": "IF_NONE", "args": [ [ { "prim": "PUSH", "args": [ { "prim": "int" }, { "int": "89" } ] }, { "prim": "FAILWITH" } ], [ { "prim": "CAR" } ] ] },
{ "prim": "ADD" }
]
]
},
{ "prim": "PAIR" }
]
]
},
{ "prim": "SWAP" },
{
"prim": "LAMBDA",
"args": [
{
"prim": "pair",
"args": [
{ "prim": "pair", "args": [ { "prim": "nat" }, { "prim": "pair", "args": [ { "prim": "nat" }, { "prim": "nat" } ] } ] },
{
"prim": "pair",
"args": [
{ "prim": "pair", "args": [ { "prim": "nat" }, { "prim": "nat" } ] },
{ "prim": "pair", "args": [ { "prim": "nat" }, { "prim": "pair", "args": [ { "prim": "nat" }, { "prim": "nat" } ] } ] }
]
}
]
},
{
"prim": "pair",
"args": [
{ "prim": "nat" },
{
"prim": "pair",
"args": [
{ "prim": "pair", "args": [ { "prim": "nat" }, { "prim": "nat" } ] },
{ "prim": "pair", "args": [ { "prim": "nat" }, { "prim": "pair", "args": [ { "prim": "nat" }, { "prim": "nat" } ] } ] }
]
}
]
},
[
{ "prim": "UNPAIR" },
{ "prim": "PUSH", "args": [ { "prim": "nat" }, { "int": "0" } ] },
{ "prim": "PUSH", "args": [ { "prim": "nat" }, { "int": "0" } ] },
{ "prim": "DUP", "args": [ { "int": "3" } ] },
{ "prim": "CAR" },
{ "prim": "COMPARE" },
{ "prim": "GT" },
{
"prim": "IF",
"args": [
[
{ "prim": "DROP" },
{ "prim": "DUP" },
{ "prim": "GET", "args": [ { "int": "4" } ] },
{ "prim": "DUP", "args": [ { "int": "2" } ] },
{ "prim": "CAR" },
{ "prim": "DUP", "args": [ { "int": "3" } ] },
{ "prim": "GET", "args": [ { "int": "3" } ] },
{ "prim": "ADD" },
{ "prim": "SUB" },
{ "prim": "ISNAT" },
{ "prim": "IF_NONE", "args": [ [ { "prim": "PUSH", "args": [ { "prim": "int" }, { "int": "71" } ] }, { "prim": "FAILWITH" } ], [] ] },
{ "prim": "PUSH", "args": [ { "prim": "nat" }, { "int": "0" } ] },
{ "prim": "DUP", "args": [ { "int": "2" } ] },
{ "prim": "COMPARE" },
{ "prim": "GT" },
{ "prim": "IF", "args": [ [], [ { "prim": "PUSH", "args": [ { "prim": "string" }, { "string": "IRM_INSUFFICIENT_CASH" } ] }, { "prim": "FAILWITH" } ] ] },
{ "prim": "DUP", "args": [ { "int": "3" } ] },
{ "prim": "GET", "args": [ { "int": "6" } ] },
{ "prim": "DIG", "args": [ { "int": "2" } ] },
{ "prim": "CAR" },
{ "prim": "MUL" },
{ "prim": "EDIV" },
{ "prim": "IF_NONE", "args": [ [ { "prim": "PUSH", "args": [ { "prim": "int" }, { "int": "73" } ] }, { "prim": "FAILWITH" } ], [ { "prim": "CAR" } ] ] }
],
[ { "prim": "SWAP" }, { "prim": "DROP" } ]
]
},
{ "prim": "PAIR" }
]
]
},
{ "prim": "SWAP" },
{ "prim": "UNPAIR" },
{
"prim": "IF_LEFT",
"args": [
[
{ "prim": "NIL", "args": [ { "prim": "operation" } ] },
{ "prim": "DUP", "args": [ { "int": "2" } ] },
{ "prim": "GET", "args": [ { "int": "3" } ] },
{ "prim": "PUSH", "args": [ { "prim": "mutez" }, { "int": "0" } ] },
{ "prim": "DIG", "args": [ { "int": "6" } ] },
{ "prim": "DIG", "args": [ { "int": "6" } ] },
{ "prim": "DIG", "args": [ { "int": "5" } ] },
{ "prim": "DUP" },
{ "prim": "GET", "args": [ { "int": "4" } ] },
{ "prim": "SWAP" },
{ "prim": "DUP" },
{ "prim": "CAR" },
{ "prim": "CDR" },
{ "prim": "SWAP" },
{ "prim": "CAR" },
{ "prim": "CAR" },
{ "prim": "PAIR", "args": [ { "int": "3" } ] },
{ "prim": "SWAP" },
{ "prim": "DIG", "args": [ { "int": "6" } ] },
{ "prim": "DIG", "args": [ { "int": "2" } ] },
{ "prim": "PAIR" },
{ "prim": "EXEC" },
{ "prim": "UNPAIR" },
{ "prim": "SWAP" },
{ "prim": "DUG", "args": [ { "int": "5" } ] },
{ "prim": "SWAP" },
{ "prim": "DIG", "args": [ { "int": "5" } ] },
{ "prim": "DIG", "args": [ { "int": "2" } ] },
{ "prim": "PAIR" },
{ "prim": "EXEC" },
{ "prim": "UNPAIR" },
{ "prim": "SWAP" },
{ "prim": "DUG", "args": [ { "int": "4" } ] },
{ "prim": "TRANSFER_TOKENS" },
{ "prim": "CONS" }
],
[
{ "prim": "NIL", "args": [ { "prim": "operation" } ] },
{ "prim": "DUP", "args": [ { "int": "2" } ] },
{ "prim": "GET", "args": [ { "int": "3" } ] },
{ "prim": "PUSH", "args": [ { "prim": "mutez" }, { "int": "0" } ] },
{ "prim": "DUP", "args": [ { "int": "5" } ] },
{ "prim": "GET", "args": [ { "int": "6" } ] },
{ "prim": "DUP", "args": [ { "int": "6" } ] },
{ "prim": "GET", "args": [ { "int": "6" } ] },
{ "prim": "DUP", "args": [ { "int": "6" } ] },
{ "prim": "GET", "args": [ { "int": "5" } ] },
{ "prim": "DUP", "args": [ { "int": "8" } ] },
{ "prim": "GET", "args": [ { "int": "6" } ] },
{ "prim": "SUB" },
{ "prim": "ISNAT" },
{ "prim": "IF_NONE", "args": [ [ { "prim": "PUSH", "args": [ { "prim": "int" }, { "int": "57" } ] }, { "prim": "FAILWITH" } ], [] ] },
{ "prim": "DIG", "args": [ { "int": "9" } ] },
{ "prim": "DUP", "args": [ { "int": "10" } ] },
{ "prim": "DUP", "args": [ { "int": "9" } ] },
{ "prim": "GET", "args": [ { "int": "6" } ] },
{ "prim": "DUP", "args": [ { "int": "10" } ] },
{ "prim": "CAR" },
{ "prim": "CDR" },
{ "prim": "DUP", "args": [ { "int": "11" } ] },
{ "prim": "CAR" },
{ "prim": "CAR" },
{ "prim": "PAIR", "args": [ { "int": "3" } ] },
{ "prim": "SWAP" },
{ "prim": "DIG", "args": [ { "int": "10" } ] },
{ "prim": "DIG", "args": [ { "int": "2" } ] },
{ "prim": "PAIR" },
{ "prim": "EXEC" },
{ "prim": "UNPAIR" },
{ "prim": "DIG", "args": [ { "int": "10" } ] },
{ "prim": "DIG", "args": [ { "int": "2" } ] },
{ "prim": "DUG", "args": [ { "int": "10" } ] },
{ "prim": "DUG", "args": [ { "int": "10" } ] },
{ "prim": "SWAP" },
{ "prim": "DIG", "args": [ { "int": "9" } ] },
{ "prim": "DIG", "args": [ { "int": "2" } ] },
{ "prim": "PAIR" },
{ "prim": "EXEC" },
{ "prim": "UNPAIR" },
{ "prim": "DIG", "args": [ { "int": "9" } ] },
{ "prim": "DIG", "args": [ { "int": "2" } ] },
{ "prim": "DUG", "args": [ { "int": "9" } ] },
{ "prim": "DUG", "args": [ { "int": "9" } ] },
{ "prim": "MUL" },
{ "prim": "EDIV" },
{ "prim": "IF_NONE", "args": [ [ { "prim": "PUSH", "args": [ { "prim": "int" }, { "int": "62" } ] }, { "prim": "FAILWITH" } ], [ { "prim": "CAR" } ] ] },
{ "prim": "DIG", "args": [ { "int": "7" } ] },
{ "prim": "DIG", "args": [ { "int": "6" } ] },
{ "prim": "DUP" },
{ "prim": "GET", "args": [ { "int": "6" } ] },
{ "prim": "SWAP" },
{ "prim": "DUP" },
{ "prim": "CAR" },
{ "prim": "CDR" },
{ "prim": "SWAP" },
{ "prim": "CAR" },
{ "prim": "CAR" },
{ "prim": "PAIR", "args": [ { "int": "3" } ] },
{ "prim": "SWAP" },
{ "prim": "DIG", "args": [ { "int": "7" } ] },
{ "prim": "DIG", "args": [ { "int": "2" } ] },
{ "prim": "PAIR" },
{ "prim": "EXEC" },
{ "prim": "UNPAIR" },
{ "prim": "SWAP" },
{ "prim": "DUG", "args": [ { "int": "6" } ] },
{ "prim": "MUL" },
{ "prim": "EDIV" },
{ "prim": "IF_NONE", "args": [ [ { "prim": "PUSH", "args": [ { "prim": "int" }, { "int": "63" } ] }, { "prim": "FAILWITH" } ], [ { "prim": "CAR" } ] ] },
{ "prim": "TRANSFER_TOKENS" },
{ "prim": "CONS" }
]
]
},
{ "prim": "PAIR" }
]
]
}
]