[
{
"prim": "storage",
"args": [
{
"prim": "pair",
"args": [
{
"prim": "pair",
"args": [
{
"prim": "pair",
"args": [
{
"prim": "pair",
"args": [
{
"prim": "pair",
"args": [
{ "prim": "nat", "annots": [ "%accBorrowBalance" ] },
{ "prim": "pair", "args": [ { "prim": "nat", "annots": [ "%accCTokenBalance" ] }, { "prim": "nat", "annots": [ "%accExchangeRateMantissa" ] } ] }
]
},
{
"prim": "pair",
"args": [
{ "prim": "nat", "annots": [ "%accrualBlockNumber" ] },
{
"prim": "pair",
"args": [ { "prim": "set", "args": [ { "prim": "nat" } ], "annots": [ "%activeOperations" ] }, { "prim": "address", "annots": [ "%administrator" ] } ]
}
]
}
]
},
{
"prim": "pair",
"args": [
{
"prim": "pair",
"args": [
{ "prim": "nat", "annots": [ "%borrowIndex" ] },
{ "prim": "pair", "args": [ { "prim": "nat", "annots": [ "%borrowRateMaxMantissa" ] }, { "prim": "nat", "annots": [ "%borrowRatePerBlock" ] } ] }
]
},
{
"prim": "pair",
"args": [
{
"prim": "pair",
"args": [
{
"prim": "big_map",
"args": [
{ "prim": "address" },
{ "prim": "pair", "args": [ { "prim": "nat", "annots": [ "%interestIndex" ] }, { "prim": "nat", "annots": [ "%principal" ] } ] }
],
"annots": [ "%borrows" ]
},
{ "prim": "address", "annots": [ "%comptroller" ] }
]
},
{ "prim": "pair", "args": [ { "prim": "nat", "annots": [ "%expScale" ] }, { "prim": "nat", "annots": [ "%halfExpScale" ] } ] }
]
}
]
}
]
},
{
"prim": "pair",
"args": [
{
"prim": "pair",
"args": [
{
"prim": "pair",
"args": [
{ "prim": "nat", "annots": [ "%initialExchangeRateMantissa" ] },
{
"prim": "pair",
"args": [
{ "prim": "address", "annots": [ "%interestRateModel" ] },
{
"prim": "big_map",
"args": [
{ "prim": "address" },
{
"prim": "pair",
"args": [
{ "prim": "map", "args": [ { "prim": "address" }, { "prim": "nat" } ], "annots": [ "%approvals" ] },
{ "prim": "nat", "annots": [ "%balance" ] }
]
}
],
"annots": [ "%ledger" ]
}
]
}
]
},
{
"prim": "pair",
"args": [
{ "prim": "big_map", "args": [ { "prim": "string" }, { "prim": "bytes" } ], "annots": [ "%metadata" ] },
{
"prim": "pair",
"args": [
{ "prim": "option", "args": [ { "prim": "address" } ], "annots": [ "%pendingAdministrator" ] },
{ "prim": "nat", "annots": [ "%protocolSeizeShareMantissa" ] }
]
}
]
}
]
},
{
"prim": "pair",
"args": [
{
"prim": "pair",
"args": [
{ "prim": "nat", "annots": [ "%reserveFactorMantissa" ] },
{ "prim": "pair", "args": [ { "prim": "nat", "annots": [ "%reserveFactorMaxMantissa" ] }, { "prim": "nat", "annots": [ "%supplyRatePerBlock" ] } ] }
]
},
{
"prim": "pair",
"args": [
{
"prim": "pair",
"args": [
{
"prim": "big_map",
"args": [
{ "prim": "nat" },
{
"prim": "pair",
"args": [
{ "prim": "nat", "annots": [ "%token_id" ] },
{ "prim": "map", "args": [ { "prim": "string" }, { "prim": "bytes" } ], "annots": [ "%token_info" ] }
]
}
],
"annots": [ "%token_metadata" ]
},
{ "prim": "nat", "annots": [ "%totalBorrows" ] }
]
},
{ "prim": "pair", "args": [ { "prim": "nat", "annots": [ "%totalReserves" ] }, { "prim": "nat", "annots": [ "%totalSupply" ] } ] }
]
}
]
}
]
}
]
},
{
"prim": "big_map",
"args": [
{ "prim": "nat" },
{
"prim": "lambda",
"args": [
{
"prim": "pair",
"args": [
{
"prim": "or",
"args": [
{
"prim": "or",
"args": [
{
"prim": "or",
"args": [
{ "prim": "unit" },
{
"prim": "or",
"args": [ { "prim": "contract", "args": [ { "prim": "nat" } ] }, { "prim": "pair", "args": [ { "prim": "address" }, { "prim": "nat" } ] } ]
}
]
},
{ "prim": "or", "args": [ { "prim": "nat" }, { "prim": "or", "args": [ { "prim": "unit" }, { "prim": "nat" } ] } ] }
]
},
{
"prim": "or",
"args": [
{ "prim": "or", "args": [ { "prim": "unit" }, { "prim": "or", "args": [ { "prim": "address" }, { "prim": "address" } ] } ] },
{ "prim": "or", "args": [ { "prim": "address" }, { "prim": "or", "args": [ { "prim": "nat" }, { "prim": "nat" } ] } ] }
]
}
]
},
{
"prim": "pair",
"args": [
{
"prim": "pair",
"args": [
{
"prim": "pair",
"args": [
{ "prim": "pair", "args": [ { "prim": "nat" }, { "prim": "pair", "args": [ { "prim": "nat" }, { "prim": "nat" } ] } ] },
{
"prim": "pair",
"args": [ { "prim": "nat" }, { "prim": "pair", "args": [ { "prim": "set", "args": [ { "prim": "nat" } ] }, { "prim": "address" } ] } ]
}
]
},
{
"prim": "pair",
"args": [
{ "prim": "pair", "args": [ { "prim": "nat" }, { "prim": "pair", "args": [ { "prim": "nat" }, { "prim": "nat" } ] } ] },
{
"prim": "pair",
"args": [
{
"prim": "pair",
"args": [
{ "prim": "big_map", "args": [ { "prim": "address" }, { "prim": "pair", "args": [ { "prim": "nat" }, { "prim": "nat" } ] } ] },
{ "prim": "address" }
]
},
{ "prim": "pair", "args": [ { "prim": "nat" }, { "prim": "nat" } ] }
]
}
]
}
]
},
{
"prim": "pair",
"args": [
{
"prim": "pair",
"args": [
{
"prim": "pair",
"args": [
{ "prim": "nat" },
{
"prim": "pair",
"args": [
{ "prim": "address" },
{
"prim": "big_map",
"args": [
{ "prim": "address" },
{ "prim": "pair", "args": [ { "prim": "map", "args": [ { "prim": "address" }, { "prim": "nat" } ] }, { "prim": "nat" } ] }
]
}
]
}
]
},
{
"prim": "pair",
"args": [
{ "prim": "big_map", "args": [ { "prim": "string" }, { "prim": "bytes" } ] },
{ "prim": "pair", "args": [ { "prim": "option", "args": [ { "prim": "address" } ] }, { "prim": "nat" } ] }
]
}
]
},
{
"prim": "pair",
"args": [
{ "prim": "pair", "args": [ { "prim": "nat" }, { "prim": "pair", "args": [ { "prim": "nat" }, { "prim": "nat" } ] } ] },
{
"prim": "pair",
"args": [
{
"prim": "pair",
"args": [
{
"prim": "big_map",
"args": [
{ "prim": "nat" },
{ "prim": "pair", "args": [ { "prim": "nat" }, { "prim": "map", "args": [ { "prim": "string" }, { "prim": "bytes" } ] } ] }
]
},
{ "prim": "nat" }
]
},
{ "prim": "pair", "args": [ { "prim": "nat" }, { "prim": "nat" } ] }
]
}
]
}
]
}
]
}
]
},
{
"prim": "pair",
"args": [
{ "prim": "list", "args": [ { "prim": "operation" } ] },
{
"prim": "pair",
"args": [
{
"prim": "pair",
"args": [
{
"prim": "pair",
"args": [
{ "prim": "pair", "args": [ { "prim": "nat" }, { "prim": "pair", "args": [ { "prim": "nat" }, { "prim": "nat" } ] } ] },
{
"prim": "pair",
"args": [ { "prim": "nat" }, { "prim": "pair", "args": [ { "prim": "set", "args": [ { "prim": "nat" } ] }, { "prim": "address" } ] } ]
}
]
},
{
"prim": "pair",
"args": [
{ "prim": "pair", "args": [ { "prim": "nat" }, { "prim": "pair", "args": [ { "prim": "nat" }, { "prim": "nat" } ] } ] },
{
"prim": "pair",
"args": [
{
"prim": "pair",
"args": [
{ "prim": "big_map", "args": [ { "prim": "address" }, { "prim": "pair", "args": [ { "prim": "nat" }, { "prim": "nat" } ] } ] },
{ "prim": "address" }
]
},
{ "prim": "pair", "args": [ { "prim": "nat" }, { "prim": "nat" } ] }
]
}
]
}
]
},
{
"prim": "pair",
"args": [
{
"prim": "pair",
"args": [
{
"prim": "pair",
"args": [
{ "prim": "nat" },
{
"prim": "pair",
"args": [
{ "prim": "address" },
{
"prim": "big_map",
"args": [
{ "prim": "address" },
{ "prim": "pair", "args": [ { "prim": "map", "args": [ { "prim": "address" }, { "prim": "nat" } ] }, { "prim": "nat" } ] }
]
}
]
}
]
},
{
"prim": "pair",
"args": [
{ "prim": "big_map", "args": [ { "prim": "string" }, { "prim": "bytes" } ] },
{ "prim": "pair", "args": [ { "prim": "option", "args": [ { "prim": "address" } ] }, { "prim": "nat" } ] }
]
}
]
},
{
"prim": "pair",
"args": [
{ "prim": "pair", "args": [ { "prim": "nat" }, { "prim": "pair", "args": [ { "prim": "nat" }, { "prim": "nat" } ] } ] },
{
"prim": "pair",
"args": [
{
"prim": "pair",
"args": [
{
"prim": "big_map",
"args": [
{ "prim": "nat" },
{ "prim": "pair", "args": [ { "prim": "nat" }, { "prim": "map", "args": [ { "prim": "string" }, { "prim": "bytes" } ] } ] }
]
},
{ "prim": "nat" }
]
},
{ "prim": "pair", "args": [ { "prim": "nat" }, { "prim": "nat" } ] }
]
}
]
}
]
}
]
}
]
}
]
}
]
}
]
}
]
},
{
"prim": "parameter",
"args": [
{
"prim": "or",
"args": [
{
"prim": "or",
"args": [
{
"prim": "or",
"args": [
{
"prim": "or",
"args": [
{ "prim": "unit", "annots": [ "%acceptGovernance" ] },
{
"prim": "or",
"args": [
{ "prim": "contract", "args": [ { "prim": "nat" } ], "annots": [ "%accrueInterestInternal" ] },
{ "prim": "pair", "args": [ { "prim": "address", "annots": [ "%spender" ] }, { "prim": "nat", "annots": [ "%value" ] } ], "annots": [ "%approve" ] }
]
}
]
},
{
"prim": "or",
"args": [
{ "prim": "nat", "annots": [ "%doAccrueInterest" ] },
{ "prim": "or", "args": [ { "prim": "unit", "annots": [ "%hardResetOp" ] }, { "prim": "nat", "annots": [ "%reduceReservesInternal" ] } ] }
]
}
]
},
{
"prim": "or",
"args": [
{
"prim": "or",
"args": [
{ "prim": "unit", "annots": [ "%removePendingGovernance" ] },
{ "prim": "or", "args": [ { "prim": "address", "annots": [ "%setComptroller" ] }, { "prim": "address", "annots": [ "%setInterestRateModelInternal" ] } ] }
]
},
{
"prim": "or",
"args": [
{ "prim": "address", "annots": [ "%setPendingGovernance" ] },
{ "prim": "or", "args": [ { "prim": "nat", "annots": [ "%setReserveFactorInternal" ] }, { "prim": "nat", "annots": [ "%updateProtocolSeizeShare" ] } ] }
]
}
]
}
]
},
{
"prim": "or",
"args": [
{
"prim": "or",
"args": [
{
"prim": "or",
"args": [
{
"prim": "or",
"args": [
{ "prim": "unit", "annots": [ "%accrueInterest" ] },
{
"prim": "or",
"args": [
{ "prim": "nat", "annots": [ "%addReserves" ] },
{
"prim": "pair",
"args": [ { "prim": "nat", "annots": [ "%addAmount" ] }, { "prim": "address", "annots": [ "%originalSender" ] } ],
"annots": [ "%addReservesInternal" ]
}
]
}
]
},
{
"prim": "or",
"args": [
{
"prim": "or",
"args": [
{ "prim": "nat", "annots": [ "%borrow" ] },
{ "prim": "pair", "args": [ { "prim": "address" }, { "prim": "contract", "args": [ { "prim": "nat" } ] } ], "annots": [ "%borrowBalanceStored" ] }
]
},
{
"prim": "or",
"args": [
{ "prim": "pair", "args": [ { "prim": "unit" }, { "prim": "contract", "args": [ { "prim": "nat" } ] } ], "annots": [ "%exchangeRateStored" ] },
{
"prim": "pair",
"args": [
{ "prim": "address" },
{
"prim": "contract",
"args": [
{
"prim": "pair",
"args": [
{ "prim": "pair", "args": [ { "prim": "address", "annots": [ "%account" ] }, { "prim": "nat", "annots": [ "%borrowBalance" ] } ] },
{
"prim": "pair",
"args": [ { "prim": "nat", "annots": [ "%cTokenBalance" ] }, { "prim": "nat", "annots": [ "%exchangeRateMantissa" ] } ]
}
]
}
]
}
],
"annots": [ "%getAccountSnapshot" ]
}
]
}
]
}
]
},
{
"prim": "or",
"args": [
{
"prim": "or",
"args": [
{
"prim": "or",
"args": [
{
"prim": "pair",
"args": [
{ "prim": "pair", "args": [ { "prim": "address", "annots": [ "%owner" ] }, { "prim": "address", "annots": [ "%spender" ] } ] },
{ "prim": "contract", "args": [ { "prim": "nat" } ] }
],
"annots": [ "%getAllowance" ]
},
{ "prim": "pair", "args": [ { "prim": "address" }, { "prim": "contract", "args": [ { "prim": "nat" } ] } ], "annots": [ "%getBalance" ] }
]
},
{
"prim": "or",
"args": [
{ "prim": "pair", "args": [ { "prim": "address" }, { "prim": "contract", "args": [ { "prim": "nat" } ] } ], "annots": [ "%getBalanceOfUnderlying" ] },
{ "prim": "pair", "args": [ { "prim": "unit" }, { "prim": "contract", "args": [ { "prim": "nat" } ] } ], "annots": [ "%getCash" ] }
]
}
]
},
{
"prim": "or",
"args": [
{
"prim": "or",
"args": [
{ "prim": "pair", "args": [ { "prim": "unit" }, { "prim": "contract", "args": [ { "prim": "nat" } ] } ], "annots": [ "%getTotalSupply" ] },
{
"prim": "pair",
"args": [
{ "prim": "address", "annots": [ "%borrower" ] },
{ "prim": "pair", "args": [ { "prim": "address", "annots": [ "%cTokenCollateral" ] }, { "prim": "nat", "annots": [ "%repayAmount" ] } ] }
],
"annots": [ "%liquidateBorrow" ]
}
]
},
{ "prim": "or", "args": [ { "prim": "nat", "annots": [ "%mint" ] }, { "prim": "nat", "annots": [ "%redeem" ] } ] }
]
}
]
}
]
},
{
"prim": "or",
"args": [
{
"prim": "or",
"args": [
{
"prim": "or",
"args": [
{ "prim": "nat", "annots": [ "%redeemUnderlying" ] },
{ "prim": "or", "args": [ { "prim": "nat", "annots": [ "%reduceReserves" ] }, { "prim": "nat", "annots": [ "%repayBorrow" ] } ] }
]
},
{
"prim": "or",
"args": [
{
"prim": "or",
"args": [
{
"prim": "pair",
"args": [ { "prim": "address", "annots": [ "%borrower" ] }, { "prim": "nat", "annots": [ "%repayAmount" ] } ],
"annots": [ "%repayBorrowBehalf" ]
},
{
"prim": "pair",
"args": [
{ "prim": "address", "annots": [ "%borrower" ] },
{ "prim": "pair", "args": [ { "prim": "address", "annots": [ "%liquidator" ] }, { "prim": "nat", "annots": [ "%seizeTokens" ] } ] }
],
"annots": [ "%seize" ]
}
]
},
{
"prim": "or",
"args": [
{
"prim": "pair",
"args": [
{ "prim": "pair", "args": [ { "prim": "address", "annots": [ "%account" ] }, { "prim": "nat", "annots": [ "%borrowBalance" ] } ] },
{ "prim": "pair", "args": [ { "prim": "nat", "annots": [ "%cTokenBalance" ] }, { "prim": "nat", "annots": [ "%exchangeRateMantissa" ] } ] }
],
"annots": [ "%setAccountSnapshot" ]
},
{ "prim": "nat", "annots": [ "%setActiveOp" ] }
]
}
]
}
]
},
{
"prim": "or",
"args": [
{
"prim": "or",
"args": [
{ "prim": "or", "args": [ { "prim": "address", "annots": [ "%setInterestRateModel" ] }, { "prim": "nat", "annots": [ "%setReserveFactor" ] } ] },
{
"prim": "or",
"args": [
{
"prim": "pair",
"args": [ { "prim": "nat", "annots": [ "%amount" ] }, { "prim": "address", "annots": [ "%tokenAddress" ] } ],
"annots": [ "%sweepFA12" ]
},
{
"prim": "pair",
"args": [
{ "prim": "nat", "annots": [ "%amount" ] },
{ "prim": "pair", "args": [ { "prim": "nat", "annots": [ "%id" ] }, { "prim": "address", "annots": [ "%tokenAddress" ] } ] }
],
"annots": [ "%sweepFA2" ]
}
]
}
]
},
{
"prim": "or",
"args": [
{
"prim": "or",
"args": [
{ "prim": "bool", "annots": [ "%sweepMutez" ] },
{
"prim": "pair",
"args": [
{ "prim": "address", "annots": [ "%from" ] },
{ "prim": "pair", "args": [ { "prim": "address", "annots": [ "%to" ] }, { "prim": "nat", "annots": [ "%value" ] } ] }
],
"annots": [ "%transfer" ]
}
]
},
{
"prim": "or",
"args": [
{ "prim": "address", "annots": [ "%updateAccountSnapshot" ] },
{
"prim": "pair",
"args": [ { "prim": "string", "annots": [ "%key" ] }, { "prim": "bytes", "annots": [ "%value" ] } ],
"annots": [ "%updateMetadata" ]
}
]
}
]
}
]
}
]
}
]
}
]
}
]
},
{
"prim": "code",
"args": [
[
{ "prim": "UNPAIR", "args": [ { "int": "3" } ] },
{
"prim": "IF_LEFT",
"args": [
[
{ "prim": "DUP" },
{
"prim": "IF_LEFT",
"args": [
[
{
"prim": "IF_LEFT",
"args": [
[
{
"prim": "IF_LEFT",
"args": [
[ { "prim": "DROP" }, { "prim": "PUSH", "args": [ { "prim": "nat" }, { "int": "0" } ] } ],
[
{
"prim": "IF_LEFT",
"args": [
[ { "prim": "DROP" }, { "prim": "PUSH", "args": [ { "prim": "nat" }, { "int": "1" } ] } ],
[ { "prim": "DROP" }, { "prim": "PUSH", "args": [ { "prim": "nat" }, { "int": "2" } ] } ]
]
}
]
]
}
],
[
{
"prim": "IF_LEFT",
"args": [
[ { "prim": "DROP" }, { "prim": "PUSH", "args": [ { "prim": "nat" }, { "int": "3" } ] } ],
[
{
"prim": "IF_LEFT",
"args": [
[ { "prim": "DROP" }, { "prim": "PUSH", "args": [ { "prim": "nat" }, { "int": "4" } ] } ],
[ { "prim": "DROP" }, { "prim": "PUSH", "args": [ { "prim": "nat" }, { "int": "5" } ] } ]
]
}
]
]
}
]
]
}
],
[
{
"prim": "IF_LEFT",
"args": [
[
{
"prim": "IF_LEFT",
"args": [
[ { "prim": "DROP" }, { "prim": "PUSH", "args": [ { "prim": "nat" }, { "int": "6" } ] } ],
[
{
"prim": "IF_LEFT",
"args": [
[ { "prim": "DROP" }, { "prim": "PUSH", "args": [ { "prim": "nat" }, { "int": "7" } ] } ],
[ { "prim": "DROP" }, { "prim": "PUSH", "args": [ { "prim": "nat" }, { "int": "8" } ] } ]
]
}
]
]
}
],
[
{
"prim": "IF_LEFT",
"args": [
[ { "prim": "DROP" }, { "prim": "PUSH", "args": [ { "prim": "nat" }, { "int": "9" } ] } ],
[
{
"prim": "IF_LEFT",
"args": [
[ { "prim": "DROP" }, { "prim": "PUSH", "args": [ { "prim": "nat" }, { "int": "10" } ] } ],
[ { "prim": "DROP" }, { "prim": "PUSH", "args": [ { "prim": "nat" }, { "int": "11" } ] } ]
]
}
]
]
}
]
]
}
]
]
},
{ "prim": "DUP", "args": [ { "int": "4" } ] },
{ "prim": "SWAP" },
{ "prim": "GET" },
{ "prim": "IF_NONE", "args": [ [ { "prim": "PUSH", "args": [ { "prim": "int" }, { "int": "-1" } ] }, { "prim": "FAILWITH" } ], [] ] },
{ "prim": "DUG", "args": [ { "int": "2" } ] },
{ "prim": "PAIR" },
{ "prim": "EXEC" },
{ "prim": "UNPAIR" }
],
[
{
"prim": "IF_LEFT",
"args": [
[
{
"prim": "IF_LEFT",
"args": [
[
{
"prim": "IF_LEFT",
"args": [
[
{
"prim": "IF_LEFT",
"args": [
[
{ "prim": "DUP", "args": [ { "int": "2" } ] },
{ "prim": "CAR" },
{ "prim": "CAR" },
{ "prim": "GET", "args": [ { "int": "3" } ] },
{ "prim": "LEVEL" },
{ "prim": "COMPARE" },
{ "prim": "NEQ" },
{
"prim": "IF",
"args": [
[
{ "prim": "PUSH", "args": [ { "prim": "nat" }, { "int": "0" } ] },
{ "prim": "DUP", "args": [ { "int": "3" } ] },
{ "prim": "CAR" },
{ "prim": "CAR" },
{ "prim": "GET", "args": [ { "int": "3" } ] },
{ "prim": "COMPARE" },
{ "prim": "EQ" },
{
"prim": "IF",
"args": [
[
{ "prim": "SWAP" },
{ "prim": "UNPAIR" },
{ "prim": "UNPAIR" },
{ "prim": "UNPAIR" },
{ "prim": "SWAP" },
{ "prim": "CDR" },
{ "prim": "LEVEL" },
{ "prim": "DIG", "args": [ { "int": "5" } ] },
{ "prim": "DROP" },
{ "prim": "PAIR" },
{ "prim": "SWAP" },
{ "prim": "PAIR" },
{ "prim": "PAIR" },
{ "prim": "PAIR" },
{ "prim": "NIL", "args": [ { "prim": "operation" } ] }
],
[
{ "prim": "DROP" },
{ "prim": "UNPAIR" },
{ "prim": "UNPAIR" },
{ "prim": "UNPAIR" },
{ "prim": "SWAP" },
{ "prim": "UNPAIR" },
{ "prim": "SWAP" },
{ "prim": "UNPAIR" },
{ "prim": "PUSH", "args": [ { "prim": "bool" }, { "prim": "True" } ] },
{ "prim": "PUSH", "args": [ { "prim": "nat" }, { "int": "8" } ] },
{ "prim": "UPDATE" },
{ "prim": "PAIR" },
{ "prim": "SWAP" },
{ "prim": "PAIR" },
{ "prim": "SWAP" },
{ "prim": "PAIR" },
{ "prim": "PAIR" },
{ "prim": "PAIR" },
{ "prim": "NIL", "args": [ { "prim": "operation" } ] },
{ "prim": "SELF_ADDRESS" },
{
"prim": "CONTRACT",
"args": [ { "prim": "contract", "args": [ { "prim": "nat" } ] } ],
"annots": [ "%accrueInterestInternal" ]
},
{
"prim": "IF_NONE",
"args": [ [ { "prim": "PUSH", "args": [ { "prim": "int" }, { "int": "735" } ] }, { "prim": "FAILWITH" } ], [] ]
},
{ "prim": "PUSH", "args": [ { "prim": "mutez" }, { "int": "0" } ] },
{ "prim": "SELF", "annots": [ "%doAccrueInterest" ] },
{ "prim": "TRANSFER_TOKENS" },
{ "prim": "CONS" }
]
]
}
],
[ { "prim": "DROP" }, { "prim": "NIL", "args": [ { "prim": "operation" } ] } ]
]
}
],
[
{
"prim": "IF_LEFT",
"args": [
[
{ "prim": "SELF_ADDRESS" },
{ "prim": "SENDER" },
{ "prim": "COMPARE" },
{ "prim": "NEQ" },
{
"prim": "IF",
"args": [ [], [ { "prim": "PUSH", "args": [ { "prim": "string" }, { "string": "CT_INTERNAL_CALL" } ] }, { "prim": "FAILWITH" } ] ]
},
{ "prim": "PUSH", "args": [ { "prim": "nat" }, { "int": "0" } ] },
{ "prim": "DUP", "args": [ { "int": "3" } ] },
{ "prim": "CAR" },
{ "prim": "CAR" },
{ "prim": "GET", "args": [ { "int": "5" } ] },
{ "prim": "SIZE" },
{ "prim": "COMPARE" },
{ "prim": "EQ" },
{
"prim": "IF",
"args": [ [], [ { "prim": "PUSH", "args": [ { "prim": "string" }, { "string": "OP_IN_PROGRESS" } ] }, { "prim": "FAILWITH" } ] ]
},
{ "prim": "SWAP" },
{ "prim": "UNPAIR" },
{ "prim": "UNPAIR" },
{ "prim": "UNPAIR" },
{ "prim": "SWAP" },
{ "prim": "UNPAIR" },
{ "prim": "SWAP" },
{ "prim": "UNPAIR" },
{ "prim": "PUSH", "args": [ { "prim": "bool" }, { "prim": "True" } ] },
{ "prim": "PUSH", "args": [ { "prim": "nat" }, { "int": "11" } ] },
{ "prim": "UPDATE" },
{ "prim": "PAIR" },
{ "prim": "SWAP" },
{ "prim": "PAIR" },
{ "prim": "SWAP" },
{ "prim": "PAIR" },
{ "prim": "PAIR" },
{ "prim": "PAIR" },
{ "prim": "SWAP" },
{ "prim": "NIL", "args": [ { "prim": "operation" } ] },
{ "prim": "SELF", "annots": [ "%accrueInterest" ] },
{ "prim": "PUSH", "args": [ { "prim": "mutez" }, { "int": "0" } ] },
{ "prim": "UNIT" },
{ "prim": "TRANSFER_TOKENS" },
{ "prim": "CONS" },
{ "prim": "SELF", "annots": [ "%addReservesInternal" ] },
{ "prim": "AMOUNT" },
{ "prim": "SENDER" },
{ "prim": "DIG", "args": [ { "int": "4" } ] },
{ "prim": "PAIR" },
{ "prim": "TRANSFER_TOKENS" },
{ "prim": "CONS" }
],
[
{ "prim": "SELF_ADDRESS" },
{ "prim": "SENDER" },
{ "prim": "COMPARE" },
{ "prim": "EQ" },
{
"prim": "IF",
"args": [
[], [ { "prim": "PUSH", "args": [ { "prim": "string" }, { "string": "CT_INTERNAL_FUNCTION" } ] }, { "prim": "FAILWITH" } ]
]
},
{ "prim": "DUP", "args": [ { "int": "2" } ] },
{ "prim": "CAR" },
{ "prim": "CAR" },
{ "prim": "GET", "args": [ { "int": "5" } ] },
{ "prim": "PUSH", "args": [ { "prim": "nat" }, { "int": "11" } ] },
{ "prim": "MEM" },
{
"prim": "IF",
"args": [ [], [ { "prim": "PUSH", "args": [ { "prim": "string" }, { "string": "OP_NOT_ACTIVE" } ] }, { "prim": "FAILWITH" } ] ]
},
{ "prim": "SWAP" },
{ "prim": "UNPAIR" },
{ "prim": "UNPAIR" },
{ "prim": "UNPAIR" },
{ "prim": "SWAP" },
{ "prim": "UNPAIR" },
{ "prim": "SWAP" },
{ "prim": "UNPAIR" },
{ "prim": "PUSH", "args": [ { "prim": "bool" }, { "prim": "False" } ] },
{ "prim": "PUSH", "args": [ { "prim": "nat" }, { "int": "11" } ] },
{ "prim": "UPDATE" },
{ "prim": "PAIR" },
{ "prim": "SWAP" },
{ "prim": "PAIR" },
{ "prim": "SWAP" },
{ "prim": "PAIR" },
{ "prim": "PAIR" },
{ "prim": "PAIR" },
{ "prim": "SWAP" },
{ "prim": "DUP", "args": [ { "int": "2" } ] },
{ "prim": "CAR" },
{ "prim": "CAR" },
{ "prim": "GET", "args": [ { "int": "3" } ] },
{ "prim": "LEVEL" },
{ "prim": "COMPARE" },
{ "prim": "EQ" },
{
"prim": "IF",
"args": [ [], [ { "prim": "PUSH", "args": [ { "prim": "string" }, { "string": "CT_INTEREST_OLD" } ] }, { "prim": "FAILWITH" } ] ]
},
{ "prim": "SWAP" },
{ "prim": "DUP" },
{ "prim": "GET", "args": [ { "int": "9" } ] },
{ "prim": "DIG", "args": [ { "int": "2" } ] },
{ "prim": "CAR" },
{ "prim": "ADD" },
{ "prim": "UPDATE", "args": [ { "int": "9" } ] },
{ "prim": "NIL", "args": [ { "prim": "operation" } ] }
]
]
}
]
]
}
],
[
{
"prim": "IF_LEFT",
"args": [
[
{
"prim": "IF_LEFT",
"args": [
[
{ "prim": "SELF_ADDRESS" },
{ "prim": "SENDER" },
{ "prim": "COMPARE" },
{ "prim": "NEQ" },
{
"prim": "IF",
"args": [ [], [ { "prim": "PUSH", "args": [ { "prim": "string" }, { "string": "CT_INTERNAL_CALL" } ] }, { "prim": "FAILWITH" } ] ]
},
{ "prim": "DUP", "args": [ { "int": "2" } ] },
{ "prim": "GET", "args": [ { "int": "3" } ] },
{ "prim": "CAR" },
{ "prim": "GET", "args": [ { "int": "4" } ] },
{ "prim": "SENDER" },
{ "prim": "MEM" },
{
"prim": "IF",
"args": [
[],
[
{ "prim": "SWAP" },
{ "prim": "UNPAIR" },
{ "prim": "SWAP" },
{ "prim": "UNPAIR" },
{ "prim": "UNPAIR" },
{ "prim": "UNPAIR" },
{ "prim": "SWAP" },
{ "prim": "UNPAIR" },
{ "prim": "SWAP" },
{
"prim": "PUSH",
"args": [
{
"prim": "option",
"args": [
{
"prim": "pair",
"args": [ { "prim": "map", "args": [ { "prim": "address" }, { "prim": "nat" } ] }, { "prim": "nat" } ]
}
]
},
{ "prim": "Some", "args": [ { "prim": "Pair", "args": [ [], { "int": "0" } ] } ] }
]
},
{ "prim": "SENDER" },
{ "prim": "UPDATE" },
{ "prim": "SWAP" },
{ "prim": "PAIR" },
{ "prim": "SWAP" },
{ "prim": "PAIR" },
{ "prim": "PAIR" },
{ "prim": "PAIR" },
{ "prim": "SWAP" },
{ "prim": "PAIR" },
{ "prim": "SWAP" }
]
]
},
{ "prim": "DUP", "args": [ { "int": "2" } ] },
{ "prim": "CAR" },
{ "prim": "GET", "args": [ { "int": "5" } ] },
{ "prim": "CAR" },
{ "prim": "SENDER" },
{ "prim": "MEM" },
{
"prim": "IF",
"args": [
[],
[
{ "prim": "SWAP" },
{ "prim": "UNPAIR" },
{ "prim": "UNPAIR" },
{ "prim": "SWAP" },
{ "prim": "UNPAIR" },
{ "prim": "SWAP" },
{ "prim": "UNPAIR" },
{ "prim": "UNPAIR" },
{
"prim": "PUSH",
"args": [
{ "prim": "option", "args": [ { "prim": "pair", "args": [ { "prim": "nat" }, { "prim": "nat" } ] } ] },
{ "prim": "Some", "args": [ { "prim": "Pair", "args": [ { "int": "0" }, { "int": "0" } ] } ] }
]
},
{ "prim": "SENDER" },
{ "prim": "UPDATE" },
{ "prim": "PAIR" },
{ "prim": "PAIR" },
{ "prim": "SWAP" },
{ "prim": "PAIR" },
{ "prim": "SWAP" },
{ "prim": "PAIR" },
{ "prim": "PAIR" },
{ "prim": "SWAP" }
]
]
},
{ "prim": "NIL", "args": [ { "prim": "operation" } ] },
{ "prim": "DUP", "args": [ { "int": "3" } ] },
{ "prim": "CAR" },
{ "prim": "GET", "args": [ { "int": "5" } ] },
{ "prim": "CDR" },
{
"prim": "CONTRACT",
"args": [
{
"prim": "pair",
"args": [
{ "prim": "address", "annots": [ "%cToken" ] },
{
"prim": "pair",
"args": [ { "prim": "address", "annots": [ "%borrower" ] }, { "prim": "nat", "annots": [ "%borrowAmount" ] } ]
}
]
}
],
"annots": [ "%borrowAllowed" ]
},
{ "prim": "IF_NONE", "args": [ [ { "prim": "PUSH", "args": [ { "prim": "int" }, { "int": "217" } ] }, { "prim": "FAILWITH" } ], [] ] },
{ "prim": "PUSH", "args": [ { "prim": "mutez" }, { "int": "0" } ] },
{ "prim": "DUP", "args": [ { "int": "4" } ] },
{ "prim": "SENDER" },
{ "prim": "SELF_ADDRESS" },
{ "prim": "PAIR", "args": [ { "int": "3" } ] },
{ "prim": "TRANSFER_TOKENS" },
{ "prim": "CONS" },
{ "prim": "DUP", "args": [ { "int": "2" } ] },
{ "prim": "PUSH", "args": [ { "prim": "nat" }, { "int": "1000000" } ] },
{ "prim": "DUP", "args": [ { "int": "5" } ] },
{ "prim": "GET", "args": [ { "int": "10" } ] },
{ "prim": "EDIV" },
{
"prim": "IF_NONE",
"args": [ [ { "prim": "PUSH", "args": [ { "prim": "int" }, { "int": "19" } ] }, { "prim": "FAILWITH" } ], [ { "prim": "CAR" } ] ]
},
{ "prim": "COMPARE" },
{ "prim": "GE" },
{
"prim": "IF",
"args": [
[], [ { "prim": "PUSH", "args": [ { "prim": "string" }, { "string": "CT_INSUFFICIENT_CASH" } ] }, { "prim": "FAILWITH" } ]
]
},
{ "prim": "DUP", "args": [ { "int": "3" } ] },
{ "prim": "CAR" },
{ "prim": "CAR" },
{ "prim": "GET", "args": [ { "int": "3" } ] },
{ "prim": "LEVEL" },
{ "prim": "COMPARE" },
{ "prim": "EQ" },
{
"prim": "IF",
"args": [ [], [ { "prim": "PUSH", "args": [ { "prim": "string" }, { "string": "CT_INTEREST_OLD" } ] }, { "prim": "FAILWITH" } ] ]
},
{ "prim": "PUSH", "args": [ { "prim": "nat" }, { "int": "0" } ] },
{ "prim": "DUP", "args": [ { "int": "4" } ] },
{ "prim": "CAR" },
{ "prim": "GET", "args": [ { "int": "5" } ] },
{ "prim": "CAR" },
{ "prim": "SENDER" },
{ "prim": "MEM" },
{
"prim": "IF",
"args": [
[
{ "prim": "DUP", "args": [ { "int": "4" } ] },
{ "prim": "CAR" },
{ "prim": "GET", "args": [ { "int": "5" } ] },
{ "prim": "CAR" },
{ "prim": "SENDER" },
{ "prim": "GET" },
{
"prim": "IF_NONE",
"args": [ [ { "prim": "PUSH", "args": [ { "prim": "int" }, { "int": "628" } ] }, { "prim": "FAILWITH" } ], [] ]
},
{ "prim": "PUSH", "args": [ { "prim": "nat" }, { "int": "0" } ] },
{ "prim": "DUP", "args": [ { "int": "2" } ] },
{ "prim": "CDR" },
{ "prim": "COMPARE" },
{ "prim": "GT" },
{
"prim": "IF",
"args": [
[
{ "prim": "SWAP" },
{ "prim": "DROP" },
{ "prim": "DUP" },
{ "prim": "CAR" },
{ "prim": "DUP", "args": [ { "int": "5" } ] },
{ "prim": "CAR" },
{ "prim": "GET", "args": [ { "int": "3" } ] },
{ "prim": "CAR" },
{ "prim": "DIG", "args": [ { "int": "2" } ] },
{ "prim": "CDR" },
{ "prim": "MUL" },
{ "prim": "EDIV" },
{
"prim": "IF_NONE",
"args": [
[ { "prim": "PUSH", "args": [ { "prim": "int" }, { "int": "631" } ] }, { "prim": "FAILWITH" } ], [ { "prim": "CAR" } ]
]
}
],
[ { "prim": "DROP" } ]
]
}
],
[]
]
},
{ "prim": "DIG", "args": [ { "int": "3" } ] },
{ "prim": "UNPAIR" },
{ "prim": "UNPAIR" },
{ "prim": "SWAP" },
{ "prim": "UNPAIR" },
{ "prim": "SWAP" },
{ "prim": "UNPAIR" },
{ "prim": "UNPAIR" },
{ "prim": "DUP" },
{ "prim": "SENDER" },
{ "prim": "DUP" },
{ "prim": "DUG", "args": [ { "int": "2" } ] },
{ "prim": "GET" },
{ "prim": "IF_NONE", "args": [ [ { "prim": "PUSH", "args": [ { "prim": "int" }, { "int": "210" } ] }, { "prim": "FAILWITH" } ], [] ] },
{ "prim": "DUP", "args": [ { "int": "11" } ] },
{ "prim": "DIG", "args": [ { "int": "9" } ] },
{ "prim": "ADD" },
{ "prim": "UPDATE", "args": [ { "int": "2" } ] },
{ "prim": "SOME" },
{ "prim": "SWAP" },
{ "prim": "UPDATE" },
{ "prim": "PAIR" },
{ "prim": "PAIR" },
{ "prim": "SWAP" },
{ "prim": "PAIR" },
{ "prim": "SWAP" },
{ "prim": "PAIR" },
{ "prim": "PAIR" },
{ "prim": "DUP" },
{ "prim": "CAR" },
{ "prim": "GET", "args": [ { "int": "3" } ] },
{ "prim": "CAR" },
{ "prim": "SWAP" },
{ "prim": "UNPAIR" },
{ "prim": "UNPAIR" },
{ "prim": "SWAP" },
{ "prim": "UNPAIR" },
{ "prim": "SWAP" },
{ "prim": "UNPAIR" },
{ "prim": "UNPAIR" },
{ "prim": "DUP" },
{ "prim": "SENDER" },
{ "prim": "DUP" },
{ "prim": "DUG", "args": [ { "int": "2" } ] },
{ "prim": "GET" },
{ "prim": "IF_NONE", "args": [ [ { "prim": "PUSH", "args": [ { "prim": "int" }, { "int": "211" } ] }, { "prim": "FAILWITH" } ], [] ] },
{ "prim": "DIG", "args": [ { "int": "8" } ] },
{ "prim": "UPDATE", "args": [ { "int": "1" } ] },
{ "prim": "SOME" },
{ "prim": "SWAP" },
{ "prim": "UPDATE" },
{ "prim": "PAIR" },
{ "prim": "PAIR" },
{ "prim": "SWAP" },
{ "prim": "PAIR" },
{ "prim": "SWAP" },
{ "prim": "PAIR" },
{ "prim": "SWAP" },
{ "prim": "UNPAIR" },
{ "prim": "SWAP" },
{ "prim": "UNPAIR" },
{ "prim": "SWAP" },
{ "prim": "UNPAIR" },
{ "prim": "UNPAIR" },
{ "prim": "SWAP" },
{ "prim": "DIG", "args": [ { "int": "7" } ] },
{ "prim": "ADD" },
{ "prim": "SWAP" },
{ "prim": "PAIR" },
{ "prim": "PAIR" },
{ "prim": "SWAP" },
{ "prim": "PAIR" },
{ "prim": "SWAP" },
{ "prim": "PAIR" },
{ "prim": "SWAP" },
{ "prim": "PAIR" },
{ "prim": "SWAP" }
],
[
{ "prim": "PUSH", "args": [ { "prim": "nat" }, { "int": "0" } ] },
{ "prim": "DUP", "args": [ { "int": "3" } ] },
{ "prim": "CAR" },
{ "prim": "GET", "args": [ { "int": "5" } ] },
{ "prim": "CAR" },
{ "prim": "DUP", "args": [ { "int": "3" } ] },
{ "prim": "CAR" },
{ "prim": "MEM" },
{
"prim": "IF",
"args": [
[
{ "prim": "DUP", "args": [ { "int": "3" } ] },
{ "prim": "CAR" },
{ "prim": "GET", "args": [ { "int": "5" } ] },
{ "prim": "CAR" },
{ "prim": "DUP", "args": [ { "int": "3" } ] },
{ "prim": "CAR" },
{ "prim": "GET" },
{
"prim": "IF_NONE",
"args": [ [ { "prim": "PUSH", "args": [ { "prim": "int" }, { "int": "628" } ] }, { "prim": "FAILWITH" } ], [] ]
},
{ "prim": "PUSH", "args": [ { "prim": "nat" }, { "int": "0" } ] },
{ "prim": "DUP", "args": [ { "int": "2" } ] },
{ "prim": "CDR" },
{ "prim": "COMPARE" },
{ "prim": "GT" },
{
"prim": "IF",
"args": [
[
{ "prim": "SWAP" },
{ "prim": "DROP" },
{ "prim": "DUP" },
{ "prim": "CAR" },
{ "prim": "DUP", "args": [ { "int": "4" } ] },
{ "prim": "CAR" },
{ "prim": "GET", "args": [ { "int": "3" } ] },
{ "prim": "CAR" },
{ "prim": "DIG", "args": [ { "int": "2" } ] },
{ "prim": "CDR" },
{ "prim": "MUL" },
{ "prim": "EDIV" },
{
"prim": "IF_NONE",
"args": [
[ { "prim": "PUSH", "args": [ { "prim": "int" }, { "int": "631" } ] }, { "prim": "FAILWITH" } ], [ { "prim": "CAR" } ]
]
}
],
[ { "prim": "DROP" } ]
]
}
],
[]
]
},
{ "prim": "NIL", "args": [ { "prim": "operation" } ] },
{ "prim": "DIG", "args": [ { "int": "2" } ] },
{ "prim": "CDR" },
{ "prim": "PUSH", "args": [ { "prim": "mutez" }, { "int": "0" } ] },
{ "prim": "DIG", "args": [ { "int": "3" } ] },
{ "prim": "TRANSFER_TOKENS" },
{ "prim": "CONS" }
]
]
}
],
[
{
"prim": "IF_LEFT",
"args": [
[
{ "prim": "DUP", "args": [ { "int": "2" } ] },
{ "prim": "GET", "args": [ { "int": "3" } ] },
{ "prim": "CAR" },
{ "prim": "CAR" },
{ "prim": "PUSH", "args": [ { "prim": "nat" }, { "int": "0" } ] },
{ "prim": "DUP", "args": [ { "int": "4" } ] },
{ "prim": "GET", "args": [ { "int": "10" } ] },
{ "prim": "COMPARE" },
{ "prim": "GT" },
{
"prim": "IF",
"args": [
[
{ "prim": "DROP" },
{ "prim": "PUSH", "args": [ { "prim": "nat" }, { "int": "0" } ] },
{ "prim": "DUP", "args": [ { "int": "3" } ] },
{ "prim": "GET", "args": [ { "int": "10" } ] },
{ "prim": "COMPARE" },
{ "prim": "GT" },
{
"prim": "IF",
"args": [
[], [ { "prim": "PUSH", "args": [ { "prim": "string" }, { "string": "DIVISION_BY_ZERO" } ] }, { "prim": "FAILWITH" } ]
]
},
{ "prim": "DUP", "args": [ { "int": "2" } ] },
{ "prim": "GET", "args": [ { "int": "10" } ] },
{ "prim": "DUP", "args": [ { "int": "3" } ] },
{ "prim": "CAR" },
{ "prim": "GET", "args": [ { "int": "7" } ] },
{ "prim": "DUP", "args": [ { "int": "4" } ] },
{ "prim": "GET", "args": [ { "int": "9" } ] },
{ "prim": "DUP", "args": [ { "int": "5" } ] },
{ "prim": "GET", "args": [ { "int": "7" } ] },
{ "prim": "CDR" },
{ "prim": "PUSH", "args": [ { "prim": "nat" }, { "int": "0" } ] },
{ "prim": "PUSH", "args": [ { "prim": "nat" }, { "int": "1000000" } ] },
{ "prim": "DUP", "args": [ { "int": "8" } ] },
{ "prim": "GET", "args": [ { "int": "10" } ] },
{ "prim": "EDIV" },
{
"prim": "IF_NONE",
"args": [
[ { "prim": "PUSH", "args": [ { "prim": "int" }, { "int": "19" } ] }, { "prim": "FAILWITH" } ], [ { "prim": "CAR" } ]
]
},
{ "prim": "SUB" },
{ "prim": "ISNAT" },
{
"prim": "IF_NONE",
"args": [
[ { "prim": "PUSH", "args": [ { "prim": "string" }, { "string": "SUBTRACTION_UNDERFLOW" } ] }, { "prim": "FAILWITH" } ], []
]
},
{ "prim": "ADD" },
{ "prim": "SUB" },
{ "prim": "ISNAT" },
{
"prim": "IF_NONE",
"args": [ [ { "prim": "PUSH", "args": [ { "prim": "int" }, { "int": "671" } ] }, { "prim": "FAILWITH" } ], [] ]
},
{ "prim": "MUL" },
{ "prim": "EDIV" },
{
"prim": "IF_NONE",
"args": [
[ { "prim": "PUSH", "args": [ { "prim": "int" }, { "int": "257" } ] }, { "prim": "FAILWITH" } ], [ { "prim": "CAR" } ]
]
}
],
[]
]
},
{ "prim": "NIL", "args": [ { "prim": "operation" } ] },
{ "prim": "DIG", "args": [ { "int": "2" } ] },
{ "prim": "CDR" },
{ "prim": "PUSH", "args": [ { "prim": "mutez" }, { "int": "0" } ] },
{ "prim": "DIG", "args": [ { "int": "3" } ] },
{ "prim": "TRANSFER_TOKENS" },
{ "prim": "CONS" }
],
[
{
"prim": "PUSH",
"args": [
{ "prim": "pair", "args": [ { "prim": "nat" }, { "prim": "nat" } ] },
{ "prim": "Pair", "args": [ { "int": "0" }, { "int": "0" } ] }
]
},
{ "prim": "PUSH", "args": [ { "prim": "nat" }, { "int": "0" } ] },
{ "prim": "DUP", "args": [ { "int": "3" } ] },
{ "prim": "CAR" },
{ "prim": "PAIR" },
{ "prim": "PAIR" },
{ "prim": "DUP", "args": [ { "int": "3" } ] },
{ "prim": "GET", "args": [ { "int": "3" } ] },
{ "prim": "CAR" },
{ "prim": "GET", "args": [ { "int": "4" } ] },
{ "prim": "DUP", "args": [ { "int": "3" } ] },
{ "prim": "CAR" },
{ "prim": "MEM" },
{
"prim": "IF",
"args": [
[
{ "prim": "DUP", "args": [ { "int": "3" } ] },
{ "prim": "CAR" },
{ "prim": "CAR" },
{ "prim": "GET", "args": [ { "int": "3" } ] },
{ "prim": "LEVEL" },
{ "prim": "COMPARE" },
{ "prim": "EQ" },
{
"prim": "IF",
"args": [
[], [ { "prim": "PUSH", "args": [ { "prim": "string" }, { "string": "CT_INTEREST_OLD" } ] }, { "prim": "FAILWITH" } ]
]
},
{ "prim": "DUP", "args": [ { "int": "3" } ] },
{ "prim": "GET", "args": [ { "int": "3" } ] },
{ "prim": "CAR" },
{ "prim": "GET", "args": [ { "int": "4" } ] },
{ "prim": "DUP", "args": [ { "int": "3" } ] },
{ "prim": "CAR" },
{ "prim": "GET" },
{
"prim": "IF_NONE",
"args": [ [ { "prim": "PUSH", "args": [ { "prim": "int" }, { "int": "573" } ] }, { "prim": "FAILWITH" } ], [] ]
},
{ "prim": "CDR" },
{ "prim": "UPDATE", "args": [ { "int": "3" } ] },
{ "prim": "PUSH", "args": [ { "prim": "nat" }, { "int": "0" } ] },
{ "prim": "DUP", "args": [ { "int": "4" } ] },
{ "prim": "CAR" },
{ "prim": "GET", "args": [ { "int": "5" } ] },
{ "prim": "CAR" },
{ "prim": "DUP", "args": [ { "int": "4" } ] },
{ "prim": "CAR" },
{ "prim": "MEM" },
{
"prim": "IF",
"args": [
[
{ "prim": "DUP", "args": [ { "int": "4" } ] },
{ "prim": "CAR" },
{ "prim": "GET", "args": [ { "int": "5" } ] },
{ "prim": "CAR" },
{ "prim": "DUP", "args": [ { "int": "4" } ] },
{ "prim": "CAR" },
{ "prim": "GET" },
{
"prim": "IF_NONE",
"args": [ [ { "prim": "PUSH", "args": [ { "prim": "int" }, { "int": "628" } ] }, { "prim": "FAILWITH" } ], [] ]
},
{ "prim": "PUSH", "args": [ { "prim": "nat" }, { "int": "0" } ] },
{ "prim": "DUP", "args": [ { "int": "2" } ] },
{ "prim": "CDR" },
{ "prim": "COMPARE" },
{ "prim": "GT" },
{
"prim": "IF",
"args": [
[
{ "prim": "SWAP" },
{ "prim": "DROP" },
{ "prim": "DUP" },
{ "prim": "CAR" },
{ "prim": "DUP", "args": [ { "int": "5" } ] },
{ "prim": "CAR" },
{ "prim": "GET", "args": [ { "int": "3" } ] },
{ "prim": "CAR" },
{ "prim": "DIG", "args": [ { "int": "2" } ] },
{ "prim": "CDR" },
{ "prim": "MUL" },
{ "prim": "EDIV" },
{
"prim": "IF_NONE",
"args": [
[ { "prim": "PUSH", "args": [ { "prim": "int" }, { "int": "631" } ] }, { "prim": "FAILWITH" } ],
[ { "prim": "CAR" } ]
]
}
],
[ { "prim": "DROP" } ]
]
}
],
[]
]
},
{ "prim": "SWAP" },
{ "prim": "UNPAIR" },
{ "prim": "CAR" },
{ "prim": "DUP", "args": [ { "int": "3" } ] },
{ "prim": "SWAP" },
{ "prim": "PAIR" },
{ "prim": "PAIR" },
{ "prim": "SWAP" },
{ "prim": "DUP", "args": [ { "int": "4" } ] },
{ "prim": "GET", "args": [ { "int": "3" } ] },
{ "prim": "CAR" },
{ "prim": "CAR" },
{ "prim": "PUSH", "args": [ { "prim": "nat" }, { "int": "0" } ] },
{ "prim": "DUP", "args": [ { "int": "6" } ] },
{ "prim": "GET", "args": [ { "int": "10" } ] },
{ "prim": "COMPARE" },
{ "prim": "GT" },
{
"prim": "IF",
"args": [
[
{ "prim": "DROP", "args": [ { "int": "2" } ] },
{ "prim": "PUSH", "args": [ { "prim": "nat" }, { "int": "0" } ] },
{ "prim": "DUP", "args": [ { "int": "4" } ] },
{ "prim": "GET", "args": [ { "int": "10" } ] },
{ "prim": "COMPARE" },
{ "prim": "GT" },
{
"prim": "IF",
"args": [
[], [ { "prim": "PUSH", "args": [ { "prim": "string" }, { "string": "DIVISION_BY_ZERO" } ] }, { "prim": "FAILWITH" } ]
]
},
{ "prim": "DUP", "args": [ { "int": "3" } ] },
{ "prim": "GET", "args": [ { "int": "10" } ] },
{ "prim": "DUP", "args": [ { "int": "4" } ] },
{ "prim": "CAR" },
{ "prim": "GET", "args": [ { "int": "7" } ] },
{ "prim": "DUP", "args": [ { "int": "5" } ] },
{ "prim": "GET", "args": [ { "int": "9" } ] },
{ "prim": "DUP", "args": [ { "int": "6" } ] },
{ "prim": "GET", "args": [ { "int": "7" } ] },
{ "prim": "CDR" },
{ "prim": "PUSH", "args": [ { "prim": "nat" }, { "int": "0" } ] },
{ "prim": "PUSH", "args": [ { "prim": "nat" }, { "int": "1000000" } ] },
{ "prim": "DUP", "args": [ { "int": "9" } ] },
{ "prim": "GET", "args": [ { "int": "10" } ] },
{ "prim": "EDIV" },
{
"prim": "IF_NONE",
"args": [
[ { "prim": "PUSH", "args": [ { "prim": "int" }, { "int": "19" } ] }, { "prim": "FAILWITH" } ], [ { "prim": "CAR" } ]
]
},
{ "prim": "SUB" },
{ "prim": "ISNAT" },
{
"prim": "IF_NONE",
"args": [
[ { "prim": "PUSH", "args": [ { "prim": "string" }, { "string": "SUBTRACTION_UNDERFLOW" } ] }, { "prim": "FAILWITH" } ],
[]
]
},
{ "prim": "ADD" },
{ "prim": "SUB" },
{ "prim": "ISNAT" },
{
"prim": "IF_NONE",
"args": [ [ { "prim": "PUSH", "args": [ { "prim": "int" }, { "int": "671" } ] }, { "prim": "FAILWITH" } ], [] ]
},
{ "prim": "MUL" },
{ "prim": "EDIV" },
{
"prim": "IF_NONE",
"args": [
[ { "prim": "PUSH", "args": [ { "prim": "int" }, { "int": "257" } ] }, { "prim": "FAILWITH" } ], [ { "prim": "CAR" } ]
]
}
],
[ { "prim": "SWAP" }, { "prim": "DROP" } ]
]
},
{ "prim": "UPDATE", "args": [ { "int": "4" } ] }
],
[]
]
},
{ "prim": "NIL", "args": [ { "prim": "operation" } ] },
{ "prim": "DIG", "args": [ { "int": "2" } ] },
{ "prim": "CDR" },
{ "prim": "PUSH", "args": [ { "prim": "mutez" }, { "int": "0" } ] },
{ "prim": "DIG", "args": [ { "int": "3" } ] },
{ "prim": "TRANSFER_TOKENS" },
{ "prim": "CONS" }
]
]
}
]
]
}
]
]
}
],
[
{
"prim": "IF_LEFT",
"args": [
[
{
"prim": "IF_LEFT",
"args": [
[
{
"prim": "IF_LEFT",
"args": [
[
{ "prim": "PUSH", "args": [ { "prim": "nat" }, { "int": "0" } ] },
{ "prim": "DUP", "args": [ { "int": "3" } ] },
{ "prim": "GET", "args": [ { "int": "3" } ] },
{ "prim": "CAR" },
{ "prim": "GET", "args": [ { "int": "4" } ] },
{ "prim": "DUP", "args": [ { "int": "3" } ] },
{ "prim": "CAR" },
{ "prim": "CAR" },
{ "prim": "MEM" },
{
"prim": "IF",
"args": [
[
{ "prim": "DUP", "args": [ { "int": "3" } ] },
{ "prim": "GET", "args": [ { "int": "3" } ] },
{ "prim": "CAR" },
{ "prim": "GET", "args": [ { "int": "4" } ] },
{ "prim": "DUP", "args": [ { "int": "3" } ] },
{ "prim": "CAR" },
{ "prim": "CAR" },
{ "prim": "GET" },
{
"prim": "IF_NONE",
"args": [ [ { "prim": "PUSH", "args": [ { "prim": "int" }, { "int": "549" } ] }, { "prim": "FAILWITH" } ], [] ]
},
{ "prim": "CAR" },
{ "prim": "DUP", "args": [ { "int": "3" } ] },
{ "prim": "CAR" },
{ "prim": "CDR" },
{ "prim": "MEM" },
{
"prim": "IF",
"args": [
[
{ "prim": "DROP" },
{ "prim": "DUP", "args": [ { "int": "2" } ] },
{ "prim": "GET", "args": [ { "int": "3" } ] },
{ "prim": "CAR" },
{ "prim": "GET", "args": [ { "int": "4" } ] },
{ "prim": "DUP", "args": [ { "int": "2" } ] },
{ "prim": "CAR" },
{ "prim": "CAR" },
{ "prim": "GET" },
{
"prim": "IF_NONE",
"args": [ [ { "prim": "PUSH", "args": [ { "prim": "int" }, { "int": "550" } ] }, { "prim": "FAILWITH" } ], [] ]
},
{ "prim": "CAR" },
{ "prim": "DUP", "args": [ { "int": "2" } ] },
{ "prim": "CAR" },
{ "prim": "CDR" },
{ "prim": "GET" },
{
"prim": "IF_NONE",
"args": [ [ { "prim": "PUSH", "args": [ { "prim": "int" }, { "int": "550" } ] }, { "prim": "FAILWITH" } ], [] ]
}
],
[]
]
}
],
[]
]
},
{ "prim": "NIL", "args": [ { "prim": "operation" } ] },
{ "prim": "DIG", "args": [ { "int": "2" } ] },
{ "prim": "CDR" },
{ "prim": "PUSH", "args": [ { "prim": "mutez" }, { "int": "0" } ] },
{ "prim": "DIG", "args": [ { "int": "3" } ] },
{ "prim": "TRANSFER_TOKENS" },
{ "prim": "CONS" }
],
[
{ "prim": "PUSH", "args": [ { "prim": "nat" }, { "int": "0" } ] },
{ "prim": "DUP", "args": [ { "int": "3" } ] },
{ "prim": "GET", "args": [ { "int": "3" } ] },
{ "prim": "CAR" },
{ "prim": "GET", "args": [ { "int": "4" } ] },
{ "prim": "DUP", "args": [ { "int": "3" } ] },
{ "prim": "CAR" },
{ "prim": "MEM" },
{
"prim": "IF",
"args": [
[
{ "prim": "DROP" },
{ "prim": "DUP", "args": [ { "int": "2" } ] },
{ "prim": "GET", "args": [ { "int": "3" } ] },
{ "prim": "CAR" },
{ "prim": "GET", "args": [ { "int": "4" } ] },
{ "prim": "DUP", "args": [ { "int": "2" } ] },
{ "prim": "CAR" },
{ "prim": "GET" },
{
"prim": "IF_NONE",
"args": [ [ { "prim": "PUSH", "args": [ { "prim": "int" }, { "int": "489" } ] }, { "prim": "FAILWITH" } ], [] ]
},
{ "prim": "CDR" }
],
[]
]
},
{ "prim": "NIL", "args": [ { "prim": "operation" } ] },
{ "prim": "DIG", "args": [ { "int": "2" } ] },
{ "prim": "CDR" },
{ "prim": "PUSH", "args": [ { "prim": "mutez" }, { "int": "0" } ] },
{ "prim": "DIG", "args": [ { "int": "3" } ] },
{ "prim": "TRANSFER_TOKENS" },
{ "prim": "CONS" }
]
]
}
],
[
{
"prim": "IF_LEFT",
"args": [
[
{ "prim": "DUP", "args": [ { "int": "2" } ] },
{ "prim": "GET", "args": [ { "int": "3" } ] },
{ "prim": "CAR" },
{ "prim": "CAR" },
{ "prim": "PUSH", "args": [ { "prim": "nat" }, { "int": "0" } ] },
{ "prim": "DUP", "args": [ { "int": "4" } ] },
{ "prim": "GET", "args": [ { "int": "10" } ] },
{ "prim": "COMPARE" },
{ "prim": "GT" },
{
"prim": "IF",
"args": [
[
{ "prim": "DROP" },
{ "prim": "PUSH", "args": [ { "prim": "nat" }, { "int": "0" } ] },
{ "prim": "DUP", "args": [ { "int": "3" } ] },
{ "prim": "GET", "args": [ { "int": "10" } ] },
{ "prim": "COMPARE" },
{ "prim": "GT" },
{
"prim": "IF",
"args": [
[], [ { "prim": "PUSH", "args": [ { "prim": "string" }, { "string": "DIVISION_BY_ZERO" } ] }, { "prim": "FAILWITH" } ]
]
},
{ "prim": "DUP", "args": [ { "int": "2" } ] },
{ "prim": "GET", "args": [ { "int": "10" } ] },
{ "prim": "DUP", "args": [ { "int": "3" } ] },
{ "prim": "CAR" },
{ "prim": "GET", "args": [ { "int": "7" } ] },
{ "prim": "DUP", "args": [ { "int": "4" } ] },
{ "prim": "GET", "args": [ { "int": "9" } ] },
{ "prim": "DUP", "args": [ { "int": "5" } ] },
{ "prim": "GET", "args": [ { "int": "7" } ] },
{ "prim": "CDR" },
{ "prim": "PUSH", "args": [ { "prim": "nat" }, { "int": "0" } ] },
{ "prim": "PUSH", "args": [ { "prim": "nat" }, { "int": "1000000" } ] },
{ "prim": "DUP", "args": [ { "int": "8" } ] },
{ "prim": "GET", "args": [ { "int": "10" } ] },
{ "prim": "EDIV" },
{
"prim": "IF_NONE",
"args": [
[ { "prim": "PUSH", "args": [ { "prim": "int" }, { "int": "19" } ] }, { "prim": "FAILWITH" } ], [ { "prim": "CAR" } ]
]
},
{ "prim": "SUB" },
{ "prim": "ISNAT" },
{
"prim": "IF_NONE",
"args": [
[ { "prim": "PUSH", "args": [ { "prim": "string" }, { "string": "SUBTRACTION_UNDERFLOW" } ] }, { "prim": "FAILWITH" } ], []
]
},
{ "prim": "ADD" },
{ "prim": "SUB" },
{ "prim": "ISNAT" },
{
"prim": "IF_NONE",
"args": [ [ { "prim": "PUSH", "args": [ { "prim": "int" }, { "int": "671" } ] }, { "prim": "FAILWITH" } ], [] ]
},
{ "prim": "MUL" },
{ "prim": "EDIV" },
{
"prim": "IF_NONE",
"args": [
[ { "prim": "PUSH", "args": [ { "prim": "int" }, { "int": "257" } ] }, { "prim": "FAILWITH" } ], [ { "prim": "CAR" } ]
]
}
],
[]
]
},
{ "prim": "DUP", "args": [ { "int": "3" } ] },
{ "prim": "CAR" },
{ "prim": "GET", "args": [ { "int": "7" } ] },
{ "prim": "DUP", "args": [ { "int": "4" } ] },
{ "prim": "GET", "args": [ { "int": "3" } ] },
{ "prim": "CAR" },
{ "prim": "GET", "args": [ { "int": "4" } ] },
{ "prim": "DUP", "args": [ { "int": "4" } ] },
{ "prim": "CAR" },
{ "prim": "GET" },
{ "prim": "IF_NONE", "args": [ [ { "prim": "PUSH", "args": [ { "prim": "int" }, { "int": "521" } ] }, { "prim": "FAILWITH" } ], [] ] },
{ "prim": "CDR" },
{ "prim": "DIG", "args": [ { "int": "2" } ] },
{ "prim": "MUL" },
{ "prim": "EDIV" },
{
"prim": "IF_NONE",
"args": [ [ { "prim": "PUSH", "args": [ { "prim": "int" }, { "int": "61" } ] }, { "prim": "FAILWITH" } ], [ { "prim": "CAR" } ] ]
},
{ "prim": "NIL", "args": [ { "prim": "operation" } ] },
{ "prim": "DIG", "args": [ { "int": "2" } ] },
{ "prim": "CDR" },
{ "prim": "PUSH", "args": [ { "prim": "mutez" }, { "int": "0" } ] },
{ "prim": "DIG", "args": [ { "int": "3" } ] },
{ "prim": "TRANSFER_TOKENS" },
{ "prim": "CONS" }
],
[
{ "prim": "PUSH", "args": [ { "prim": "nat" }, { "int": "1000000" } ] },
{ "prim": "DUP", "args": [ { "int": "3" } ] },
{ "prim": "GET", "args": [ { "int": "10" } ] },
{ "prim": "EDIV" },
{
"prim": "IF_NONE",
"args": [ [ { "prim": "PUSH", "args": [ { "prim": "int" }, { "int": "19" } ] }, { "prim": "FAILWITH" } ], [ { "prim": "CAR" } ] ]
},
{ "prim": "NIL", "args": [ { "prim": "operation" } ] },
{ "prim": "DIG", "args": [ { "int": "2" } ] },
{ "prim": "CDR" },
{ "prim": "PUSH", "args": [ { "prim": "mutez" }, { "int": "0" } ] },
{ "prim": "DIG", "args": [ { "int": "3" } ] },
{ "prim": "TRANSFER_TOKENS" },
{ "prim": "CONS" }
]
]
}
]
]
}
],
[
{
"prim": "IF_LEFT",
"args": [
[
{
"prim": "IF_LEFT",
"args": [
[
{ "prim": "DUP", "args": [ { "int": "2" } ] },
{ "prim": "GET", "args": [ { "int": "10" } ] },
{ "prim": "NIL", "args": [ { "prim": "operation" } ] },
{ "prim": "DIG", "args": [ { "int": "2" } ] },
{ "prim": "CDR" },
{ "prim": "PUSH", "args": [ { "prim": "mutez" }, { "int": "0" } ] },
{ "prim": "DIG", "args": [ { "int": "3" } ] },
{ "prim": "TRANSFER_TOKENS" },
{ "prim": "CONS" }
],
[
{ "prim": "NIL", "args": [ { "prim": "operation" } ] },
{ "prim": "DUP", "args": [ { "int": "3" } ] },
{ "prim": "CAR" },
{ "prim": "GET", "args": [ { "int": "5" } ] },
{ "prim": "CDR" },
{
"prim": "CONTRACT",
"args": [
{
"prim": "pair",
"args": [
{
"prim": "pair",
"args": [ { "prim": "address", "annots": [ "%borrower" ] }, { "prim": "address", "annots": [ "%cTokenBorrowed" ] } ]
},
{
"prim": "pair",
"args": [
{ "prim": "address", "annots": [ "%cTokenCollateral" ] },
{
"prim": "pair",
"args": [ { "prim": "address", "annots": [ "%liquidator" ] }, { "prim": "nat", "annots": [ "%repayAmount" ] } ]
}
]
}
]
}
],
"annots": [ "%liquidateBorrowAllowed" ]
},
{ "prim": "IF_NONE", "args": [ [ { "prim": "PUSH", "args": [ { "prim": "int" }, { "int": "357" } ] }, { "prim": "FAILWITH" } ], [] ] },
{ "prim": "PUSH", "args": [ { "prim": "mutez" }, { "int": "0" } ] },
{ "prim": "DUP", "args": [ { "int": "4" } ] },
{ "prim": "GET", "args": [ { "int": "4" } ] },
{ "prim": "SENDER" },
{ "prim": "PAIR" },
{ "prim": "DUP", "args": [ { "int": "5" } ] },
{ "prim": "GET", "args": [ { "int": "3" } ] },
{ "prim": "PAIR" },
{ "prim": "SELF_ADDRESS" },
{ "prim": "DUP", "args": [ { "int": "6" } ] },
{ "prim": "CAR" },
{ "prim": "PAIR" },
{ "prim": "PAIR" },
{ "prim": "TRANSFER_TOKENS" },
{ "prim": "CONS" },
{ "prim": "SENDER" },
{ "prim": "DUP", "args": [ { "int": "3" } ] },
{ "prim": "CAR" },
{ "prim": "COMPARE" },
{ "prim": "NEQ" },
{
"prim": "IF",
"args": [
[],
[
{ "prim": "PUSH", "args": [ { "prim": "string" }, { "string": "CT_LIQUIDATE_LIQUIDATOR_IS_BORROWER" } ] }, { "prim": "FAILWITH" }
]
]
},
{ "prim": "PUSH", "args": [ { "prim": "nat" }, { "int": "0" } ] },
{ "prim": "DUP", "args": [ { "int": "3" } ] },
{ "prim": "GET", "args": [ { "int": "4" } ] },
{ "prim": "COMPARE" },
{ "prim": "GT" },
{
"prim": "IF",
"args": [
[],
[
{ "prim": "PUSH", "args": [ { "prim": "string" }, { "string": "CT_LIQUIDATE_CLOSE_AMOUNT_IS_INVALID" } ] },
{ "prim": "FAILWITH" }
]
]
},
{ "prim": "DUP", "args": [ { "int": "3" } ] },
{ "prim": "CAR" },
{ "prim": "CAR" },
{ "prim": "GET", "args": [ { "int": "3" } ] },
{ "prim": "LEVEL" },
{ "prim": "COMPARE" },
{ "prim": "EQ" },
{
"prim": "IF",
"args": [ [], [ { "prim": "PUSH", "args": [ { "prim": "string" }, { "string": "CT_INTEREST_OLD" } ] }, { "prim": "FAILWITH" } ] ]
},
{ "prim": "PUSH", "args": [ { "prim": "nat" }, { "int": "0" } ] },
{ "prim": "DUP", "args": [ { "int": "4" } ] },
{ "prim": "CAR" },
{ "prim": "GET", "args": [ { "int": "5" } ] },
{ "prim": "CAR" },
{ "prim": "DUP", "args": [ { "int": "4" } ] },
{ "prim": "CAR" },
{ "prim": "MEM" },
{
"prim": "IF",
"args": [
[
{ "prim": "DUP", "args": [ { "int": "4" } ] },
{ "prim": "CAR" },
{ "prim": "GET", "args": [ { "int": "5" } ] },
{ "prim": "CAR" },
{ "prim": "DUP", "args": [ { "int": "4" } ] },
{ "prim": "CAR" },
{ "prim": "GET" },
{
"prim": "IF_NONE",
"args": [ [ { "prim": "PUSH", "args": [ { "prim": "int" }, { "int": "628" } ] }, { "prim": "FAILWITH" } ], [] ]
},
{ "prim": "PUSH", "args": [ { "prim": "nat" }, { "int": "0" } ] },
{ "prim": "DUP", "args": [ { "int": "2" } ] },
{ "prim": "CDR" },
{ "prim": "COMPARE" },
{ "prim": "GT" },
{
"prim": "IF",
"args": [
[
{ "prim": "SWAP" },
{ "prim": "DROP" },
{ "prim": "DUP" },
{ "prim": "CAR" },
{ "prim": "DUP", "args": [ { "int": "5" } ] },
{ "prim": "CAR" },
{ "prim": "GET", "args": [ { "int": "3" } ] },
{ "prim": "CAR" },
{ "prim": "DIG", "args": [ { "int": "2" } ] },
{ "prim": "CDR" },
{ "prim": "MUL" },
{ "prim": "EDIV" },
{
"prim": "IF_NONE",
"args": [
[ { "prim": "PUSH", "args": [ { "prim": "int" }, { "int": "631" } ] }, { "prim": "FAILWITH" } ], [ { "prim": "CAR" } ]
]
}
],
[ { "prim": "DROP" } ]
]
}
],
[]
]
},
{ "prim": "DIG", "args": [ { "int": "3" } ] },
{ "prim": "UNPAIR" },
{ "prim": "UNPAIR" },
{ "prim": "SWAP" },
{ "prim": "UNPAIR" },
{ "prim": "SWAP" },
{ "prim": "UNPAIR" },
{ "prim": "UNPAIR" },
{ "prim": "DUP" },
{ "prim": "DUP", "args": [ { "int": "10" } ] },
{ "prim": "CAR" },
{ "prim": "DUP" },
{ "prim": "DUG", "args": [ { "int": "2" } ] },
{ "prim": "GET" },
{ "prim": "IF_NONE", "args": [ [ { "prim": "PUSH", "args": [ { "prim": "int" }, { "int": "263" } ] }, { "prim": "FAILWITH" } ], [] ] },
{ "prim": "DUP", "args": [ { "int": "11" } ] },
{ "prim": "GET", "args": [ { "int": "4" } ] },
{ "prim": "DUP", "args": [ { "int": "10" } ] },
{ "prim": "DUP" },
{ "prim": "DUP", "args": [ { "int": "3" } ] },
{ "prim": "COMPARE" },
{ "prim": "LE" },
{ "prim": "IF", "args": [ [ { "prim": "DROP" } ], [ { "prim": "SWAP" }, { "prim": "DROP" } ] ] },
{ "prim": "DUP", "args": [ { "int": "10" } ] },
{ "prim": "SUB" },
{ "prim": "ISNAT" },
{
"prim": "IF_NONE",
"args": [
[ { "prim": "PUSH", "args": [ { "prim": "string" }, { "string": "SUBTRACTION_UNDERFLOW" } ] }, { "prim": "FAILWITH" } ], []
]
},
{ "prim": "UPDATE", "args": [ { "int": "2" } ] },
{ "prim": "SOME" },
{ "prim": "SWAP" },
{ "prim": "UPDATE" },
{ "prim": "PAIR" },
{ "prim": "PAIR" },
{ "prim": "SWAP" },
{ "prim": "PAIR" },
{ "prim": "SWAP" },
{ "prim": "PAIR" },
{ "prim": "PAIR" },
{ "prim": "DUP" },
{ "prim": "CAR" },
{ "prim": "GET", "args": [ { "int": "3" } ] },
{ "prim": "CAR" },
{ "prim": "SWAP" },
{ "prim": "UNPAIR" },
{ "prim": "UNPAIR" },
{ "prim": "SWAP" },
{ "prim": "UNPAIR" },
{ "prim": "SWAP" },
{ "prim": "UNPAIR" },
{ "prim": "UNPAIR" },
{ "prim": "DUP" },
{ "prim": "DUP", "args": [ { "int": "11" } ] },
{ "prim": "CAR" },
{ "prim": "DUP" },
{ "prim": "DUG", "args": [ { "int": "2" } ] },
{ "prim": "GET" },
{ "prim": "IF_NONE", "args": [ [ { "prim": "PUSH", "args": [ { "prim": "int" }, { "int": "265" } ] }, { "prim": "FAILWITH" } ], [] ] },
{ "prim": "DIG", "args": [ { "int": "8" } ] },
{ "prim": "UPDATE", "args": [ { "int": "1" } ] },
{ "prim": "SOME" },
{ "prim": "SWAP" },
{ "prim": "UPDATE" },
{ "prim": "PAIR" },
{ "prim": "PAIR" },
{ "prim": "SWAP" },
{ "prim": "PAIR" },
{ "prim": "SWAP" },
{ "prim": "PAIR" },
{ "prim": "PAIR" },
{ "prim": "DUG", "args": [ { "int": "3" } ] },
{ "prim": "DUP", "args": [ { "int": "3" } ] },
{ "prim": "GET", "args": [ { "int": "4" } ] },
{ "prim": "SWAP" },
{ "prim": "DUP" },
{ "prim": "DUP", "args": [ { "int": "3" } ] },
{ "prim": "COMPARE" },
{ "prim": "LE" },
{ "prim": "IF", "args": [ [ { "prim": "DROP" } ], [ { "prim": "SWAP" }, { "prim": "DROP" } ] ] },
{ "prim": "DUP", "args": [ { "int": "4" } ] },
{ "prim": "GET", "args": [ { "int": "7" } ] },
{ "prim": "CDR" },
{ "prim": "SUB" },
{ "prim": "ISNAT" },
{
"prim": "IF_NONE",
"args": [
[ { "prim": "PUSH", "args": [ { "prim": "string" }, { "string": "SUBTRACTION_UNDERFLOW" } ] }, { "prim": "FAILWITH" } ], []
]
},
{ "prim": "DIG", "args": [ { "int": "3" } ] },
{ "prim": "UNPAIR" },
{ "prim": "SWAP" },
{ "prim": "UNPAIR" },
{ "prim": "SWAP" },
{ "prim": "UNPAIR" },
{ "prim": "SWAP" },
{ "prim": "UNPAIR" },
{ "prim": "CAR" },
{ "prim": "DIG", "args": [ { "int": "5" } ] },
{ "prim": "SWAP" },
{ "prim": "PAIR" },
{ "prim": "PAIR" },
{ "prim": "SWAP" },
{ "prim": "PAIR" },
{ "prim": "SWAP" },
{ "prim": "PAIR" },
{ "prim": "SWAP" },
{ "prim": "PAIR" },
{ "prim": "DUG", "args": [ { "int": "2" } ] },
{ "prim": "PUSH", "args": [ { "prim": "nat" }, { "int": "0" } ] },
{ "prim": "DUP", "args": [ { "int": "4" } ] },
{ "prim": "CAR" },
{ "prim": "GET", "args": [ { "int": "5" } ] },
{ "prim": "CAR" },
{ "prim": "DUP", "args": [ { "int": "4" } ] },
{ "prim": "CAR" },
{ "prim": "GET" },
{ "prim": "IF_NONE", "args": [ [ { "prim": "PUSH", "args": [ { "prim": "int" }, { "int": "268" } ] }, { "prim": "FAILWITH" } ], [] ] },
{ "prim": "CDR" },
{ "prim": "COMPARE" },
{ "prim": "EQ" },
{
"prim": "IF",
"args": [
[
{ "prim": "DUP", "args": [ { "int": "3" } ] },
{ "prim": "CAR" },
{ "prim": "GET", "args": [ { "int": "5" } ] },
{ "prim": "CDR" },
{ "prim": "CONTRACT", "args": [ { "prim": "address" } ], "annots": [ "%removeFromLoans" ] },
{
"prim": "IF_NONE",
"args": [ [ { "prim": "PUSH", "args": [ { "prim": "int" }, { "int": "270" } ] }, { "prim": "FAILWITH" } ], [] ]
},
{ "prim": "PUSH", "args": [ { "prim": "mutez" }, { "int": "0" } ] },
{ "prim": "DUP", "args": [ { "int": "4" } ] },
{ "prim": "CAR" },
{ "prim": "TRANSFER_TOKENS" },
{ "prim": "CONS" }
],
[]
]
},
{ "prim": "DUP", "args": [ { "int": "3" } ] },
{ "prim": "CAR" },
{ "prim": "GET", "args": [ { "int": "5" } ] },
{ "prim": "CDR" },
{ "prim": "DUP", "args": [ { "int": "3" } ] },
{ "prim": "GET", "args": [ { "int": "3" } ] },
{ "prim": "SELF_ADDRESS" },
{ "prim": "DUP", "args": [ { "int": "5" } ] },
{ "prim": "GET", "args": [ { "int": "4" } ] },
{ "prim": "PAIR", "args": [ { "int": "3" } ] },
{ "prim": "VIEW", "args": [ { "string": "liquidateCalculateSeizeTokens" }, { "prim": "nat" } ] },
{
"prim": "IF_NONE",
"args": [
[
{ "prim": "PUSH", "args": [ { "prim": "string" }, { "string": "INVALID LIQUIDATE CALC SEIZE TOKEN VIEW" } ] },
{ "prim": "FAILWITH" }
],
[]
]
},
{ "prim": "DUP", "args": [ { "int": "3" } ] },
{ "prim": "GET", "args": [ { "int": "3" } ] },
{ "prim": "DUP", "args": [ { "int": "4" } ] },
{ "prim": "CAR" },
{ "prim": "VIEW", "args": [ { "string": "balanceOf" }, { "prim": "nat" } ] },
{
"prim": "IF_NONE",
"args": [
[ { "prim": "PUSH", "args": [ { "prim": "string" }, { "string": "INVALID BALANCE OF VIEW" } ] }, { "prim": "FAILWITH" } ], []
]
},
{ "prim": "COMPARE" },
{ "prim": "GE" },
{
"prim": "IF",
"args": [
[], [ { "prim": "PUSH", "args": [ { "prim": "string" }, { "string": "LIQUIDATE_SEIZE_TOO_MUCH" } ] }, { "prim": "FAILWITH" } ]
]
},
{ "prim": "DUP", "args": [ { "int": "2" } ] },
{ "prim": "GET", "args": [ { "int": "3" } ] },
{
"prim": "CONTRACT",
"args": [
{
"prim": "pair",
"args": [
{ "prim": "address", "annots": [ "%borrower" ] },
{
"prim": "pair",
"args": [ { "prim": "address", "annots": [ "%liquidator" ] }, { "prim": "nat", "annots": [ "%seizeTokens" ] } ]
}
]
}
],
"annots": [ "%seize" ]
},
{ "prim": "IF_NONE", "args": [ [ { "prim": "PUSH", "args": [ { "prim": "int" }, { "int": "382" } ] }, { "prim": "FAILWITH" } ], [] ] },
{ "prim": "PUSH", "args": [ { "prim": "mutez" }, { "int": "0" } ] },
{ "prim": "DUP", "args": [ { "int": "5" } ] },
{ "prim": "CAR" },
{ "prim": "GET", "args": [ { "int": "5" } ] },
{ "prim": "CDR" },
{ "prim": "DUP", "args": [ { "int": "5" } ] },
{ "prim": "GET", "args": [ { "int": "3" } ] },
{ "prim": "SELF_ADDRESS" },
{ "prim": "DUP", "args": [ { "int": "7" } ] },
{ "prim": "GET", "args": [ { "int": "4" } ] },
{ "prim": "PAIR", "args": [ { "int": "3" } ] },
{ "prim": "VIEW", "args": [ { "string": "liquidateCalculateSeizeTokens" }, { "prim": "nat" } ] },
{
"prim": "IF_NONE",
"args": [
[
{ "prim": "PUSH", "args": [ { "prim": "string" }, { "string": "INVALID LIQUIDATE CALC SEIZE TOKEN VIEW" } ] },
{ "prim": "FAILWITH" }
],
[]
]
},
{ "prim": "SENDER" },
{ "prim": "DIG", "args": [ { "int": "5" } ] },
{ "prim": "CAR" },
{ "prim": "PAIR", "args": [ { "int": "3" } ] },
{ "prim": "TRANSFER_TOKENS" },
{ "prim": "CONS" }
]
]
}
],
[
{
"prim": "IF_LEFT",
"args": [
[
{ "prim": "SELF_ADDRESS" },
{ "prim": "SENDER" },
{ "prim": "COMPARE" },
{ "prim": "NEQ" },
{
"prim": "IF",
"args": [ [], [ { "prim": "PUSH", "args": [ { "prim": "string" }, { "string": "CT_INTERNAL_CALL" } ] }, { "prim": "FAILWITH" } ] ]
},
{ "prim": "DUP", "args": [ { "int": "2" } ] },
{ "prim": "GET", "args": [ { "int": "3" } ] },
{ "prim": "CAR" },
{ "prim": "GET", "args": [ { "int": "4" } ] },
{ "prim": "SENDER" },
{ "prim": "MEM" },
{
"prim": "IF",
"args": [
[],
[
{ "prim": "SWAP" },
{ "prim": "UNPAIR" },
{ "prim": "SWAP" },
{ "prim": "UNPAIR" },
{ "prim": "UNPAIR" },
{ "prim": "UNPAIR" },
{ "prim": "SWAP" },
{ "prim": "UNPAIR" },
{ "prim": "SWAP" },
{
"prim": "PUSH",
"args": [
{
"prim": "option",
"args": [
{
"prim": "pair",
"args": [ { "prim": "map", "args": [ { "prim": "address" }, { "prim": "nat" } ] }, { "prim": "nat" } ]
}
]
},
{ "prim": "Some", "args": [ { "prim": "Pair", "args": [ [], { "int": "0" } ] } ] }
]
},
{ "prim": "SENDER" },
{ "prim": "UPDATE" },
{ "prim": "SWAP" },
{ "prim": "PAIR" },
{ "prim": "SWAP" },
{ "prim": "PAIR" },
{ "prim": "PAIR" },
{ "prim": "PAIR" },
{ "prim": "SWAP" },
{ "prim": "PAIR" },
{ "prim": "SWAP" }
]
]
},
{ "prim": "DUP", "args": [ { "int": "2" } ] },
{ "prim": "CAR" },
{ "prim": "GET", "args": [ { "int": "5" } ] },
{ "prim": "CAR" },
{ "prim": "SENDER" },
{ "prim": "MEM" },
{
"prim": "IF",
"args": [
[],
[
{ "prim": "SWAP" },
{ "prim": "UNPAIR" },
{ "prim": "UNPAIR" },
{ "prim": "SWAP" },
{ "prim": "UNPAIR" },
{ "prim": "SWAP" },
{ "prim": "UNPAIR" },
{ "prim": "UNPAIR" },
{
"prim": "PUSH",
"args": [
{ "prim": "option", "args": [ { "prim": "pair", "args": [ { "prim": "nat" }, { "prim": "nat" } ] } ] },
{ "prim": "Some", "args": [ { "prim": "Pair", "args": [ { "int": "0" }, { "int": "0" } ] } ] }
]
},
{ "prim": "SENDER" },
{ "prim": "UPDATE" },
{ "prim": "PAIR" },
{ "prim": "PAIR" },
{ "prim": "SWAP" },
{ "prim": "PAIR" },
{ "prim": "SWAP" },
{ "prim": "PAIR" },
{ "prim": "PAIR" },
{ "prim": "SWAP" }
]
]
},
{ "prim": "NIL", "args": [ { "prim": "operation" } ] },
{ "prim": "DUP", "args": [ { "int": "3" } ] },
{ "prim": "CAR" },
{ "prim": "GET", "args": [ { "int": "5" } ] },
{ "prim": "CDR" },
{
"prim": "CONTRACT",
"args": [
{
"prim": "pair",
"args": [
{ "prim": "address", "annots": [ "%cToken" ] },
{ "prim": "pair", "args": [ { "prim": "address", "annots": [ "%minter" ] }, { "prim": "nat", "annots": [ "%mintAmount" ] } ] }
]
}
],
"annots": [ "%mintAllowed" ]
},
{ "prim": "IF_NONE", "args": [ [ { "prim": "PUSH", "args": [ { "prim": "int" }, { "int": "104" } ] }, { "prim": "FAILWITH" } ], [] ] },
{ "prim": "PUSH", "args": [ { "prim": "mutez" }, { "int": "0" } ] },
{ "prim": "DUP", "args": [ { "int": "4" } ] },
{ "prim": "SENDER" },
{ "prim": "SELF_ADDRESS" },
{ "prim": "PAIR", "args": [ { "int": "3" } ] },
{ "prim": "TRANSFER_TOKENS" },
{ "prim": "CONS" },
{ "prim": "DUP", "args": [ { "int": "3" } ] },
{ "prim": "CAR" },
{ "prim": "CAR" },
{ "prim": "GET", "args": [ { "int": "3" } ] },
{ "prim": "LEVEL" },
{ "prim": "COMPARE" },
{ "prim": "EQ" },
{
"prim": "IF",
"args": [ [], [ { "prim": "PUSH", "args": [ { "prim": "string" }, { "string": "CT_INTEREST_OLD" } ] }, { "prim": "FAILWITH" } ] ]
},
{ "prim": "DUP", "args": [ { "int": "3" } ] },
{ "prim": "GET", "args": [ { "int": "3" } ] },
{ "prim": "CAR" },
{ "prim": "CAR" },
{ "prim": "PUSH", "args": [ { "prim": "nat" }, { "int": "0" } ] },
{ "prim": "DUP", "args": [ { "int": "5" } ] },
{ "prim": "GET", "args": [ { "int": "10" } ] },
{ "prim": "COMPARE" },
{ "prim": "GT" },
{
"prim": "IF",
"args": [
[
{ "prim": "DROP" },
{ "prim": "PUSH", "args": [ { "prim": "nat" }, { "int": "0" } ] },
{ "prim": "DUP", "args": [ { "int": "4" } ] },
{ "prim": "GET", "args": [ { "int": "10" } ] },
{ "prim": "COMPARE" },
{ "prim": "GT" },
{
"prim": "IF",
"args": [
[], [ { "prim": "PUSH", "args": [ { "prim": "string" }, { "string": "DIVISION_BY_ZERO" } ] }, { "prim": "FAILWITH" } ]
]
},
{ "prim": "DUP", "args": [ { "int": "3" } ] },
{ "prim": "GET", "args": [ { "int": "10" } ] },
{ "prim": "DUP", "args": [ { "int": "4" } ] },
{ "prim": "CAR" },
{ "prim": "GET", "args": [ { "int": "7" } ] },
{ "prim": "DUP", "args": [ { "int": "5" } ] },
{ "prim": "GET", "args": [ { "int": "9" } ] },
{ "prim": "DUP", "args": [ { "int": "6" } ] },
{ "prim": "GET", "args": [ { "int": "7" } ] },
{ "prim": "CDR" },
{ "prim": "PUSH", "args": [ { "prim": "nat" }, { "int": "0" } ] },
{ "prim": "PUSH", "args": [ { "prim": "nat" }, { "int": "1000000" } ] },
{ "prim": "DUP", "args": [ { "int": "9" } ] },
{ "prim": "GET", "args": [ { "int": "10" } ] },
{ "prim": "EDIV" },
{
"prim": "IF_NONE",
"args": [
[ { "prim": "PUSH", "args": [ { "prim": "int" }, { "int": "19" } ] }, { "prim": "FAILWITH" } ], [ { "prim": "CAR" } ]
]
},
{ "prim": "SUB" },
{ "prim": "ISNAT" },
{
"prim": "IF_NONE",
"args": [
[ { "prim": "PUSH", "args": [ { "prim": "string" }, { "string": "SUBTRACTION_UNDERFLOW" } ] }, { "prim": "FAILWITH" } ], []
]
},
{ "prim": "ADD" },
{ "prim": "SUB" },
{ "prim": "ISNAT" },
{
"prim": "IF_NONE",
"args": [ [ { "prim": "PUSH", "args": [ { "prim": "int" }, { "int": "671" } ] }, { "prim": "FAILWITH" } ], [] ]
},
{ "prim": "MUL" },
{ "prim": "EDIV" },
{
"prim": "IF_NONE",
"args": [
[ { "prim": "PUSH", "args": [ { "prim": "int" }, { "int": "257" } ] }, { "prim": "FAILWITH" } ], [ { "prim": "CAR" } ]
]
}
],
[]
]
},
{ "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": "DIVISION_BY_ZERO" } ] }, { "prim": "FAILWITH" } ] ]
},
{ "prim": "DUP", "args": [ { "int": "4" } ] },
{ "prim": "CAR" },
{ "prim": "GET", "args": [ { "int": "7" } ] },
{ "prim": "DIG", "args": [ { "int": "3" } ] },
{ "prim": "MUL" },
{ "prim": "EDIV" },
{
"prim": "IF_NONE",
"args": [ [ { "prim": "PUSH", "args": [ { "prim": "int" }, { "int": "270" } ] }, { "prim": "FAILWITH" } ], [ { "prim": "CAR" } ] ]
},
{ "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": "CT_MINT_AMOUNT_IS_INVALID" } ] }, { "prim": "FAILWITH" } ]
]
},
{ "prim": "DIG", "args": [ { "int": "2" } ] },
{ "prim": "DUP" },
{ "prim": "GET", "args": [ { "int": "10" } ] },
{ "prim": "DUP", "args": [ { "int": "3" } ] },
{ "prim": "ADD" },
{ "prim": "UPDATE", "args": [ { "int": "10" } ] },
{ "prim": "UNPAIR" },
{ "prim": "SWAP" },
{ "prim": "UNPAIR" },
{ "prim": "UNPAIR" },
{ "prim": "UNPAIR" },
{ "prim": "SWAP" },
{ "prim": "UNPAIR" },
{ "prim": "SWAP" },
{ "prim": "DUP" },
{ "prim": "SENDER" },
{ "prim": "DUP" },
{ "prim": "DUG", "args": [ { "int": "2" } ] },
{ "prim": "GET" },
{ "prim": "IF_NONE", "args": [ [ { "prim": "PUSH", "args": [ { "prim": "int" }, { "int": "99" } ] }, { "prim": "FAILWITH" } ], [] ] },
{ "prim": "DUP" },
{ "prim": "CDR" },
{ "prim": "DIG", "args": [ { "int": "9" } ] },
{ "prim": "ADD" },
{ "prim": "UPDATE", "args": [ { "int": "2" } ] },
{ "prim": "SOME" },
{ "prim": "SWAP" },
{ "prim": "UPDATE" },
{ "prim": "SWAP" },
{ "prim": "PAIR" },
{ "prim": "SWAP" },
{ "prim": "PAIR" },
{ "prim": "PAIR" },
{ "prim": "PAIR" },
{ "prim": "SWAP" },
{ "prim": "PAIR" },
{ "prim": "SWAP" }
],
[
{ "prim": "SELF_ADDRESS" },
{ "prim": "SENDER" },
{ "prim": "COMPARE" },
{ "prim": "NEQ" },
{
"prim": "IF",
"args": [ [], [ { "prim": "PUSH", "args": [ { "prim": "string" }, { "string": "CT_INTERNAL_CALL" } ] }, { "prim": "FAILWITH" } ] ]
},
{ "prim": "NIL", "args": [ { "prim": "operation" } ] },
{ "prim": "DUP", "args": [ { "int": "3" } ] },
{ "prim": "CAR" },
{ "prim": "GET", "args": [ { "int": "5" } ] },
{ "prim": "CDR" },
{
"prim": "CONTRACT",
"args": [
{
"prim": "pair",
"args": [
{ "prim": "address", "annots": [ "%cToken" ] },
{
"prim": "pair",
"args": [ { "prim": "address", "annots": [ "%redeemer" ] }, { "prim": "nat", "annots": [ "%redeemAmount" ] } ]
}
]
}
],
"annots": [ "%redeemAllowed" ]
},
{ "prim": "IF_NONE", "args": [ [ { "prim": "PUSH", "args": [ { "prim": "int" }, { "int": "177" } ] }, { "prim": "FAILWITH" } ], [] ] },
{ "prim": "PUSH", "args": [ { "prim": "mutez" }, { "int": "0" } ] },
{ "prim": "DUP", "args": [ { "int": "4" } ] },
{ "prim": "SENDER" },
{ "prim": "SELF_ADDRESS" },
{ "prim": "PAIR", "args": [ { "int": "3" } ] },
{ "prim": "TRANSFER_TOKENS" },
{ "prim": "CONS" },
{ "prim": "PUSH", "args": [ { "prim": "nat" }, { "int": "0" } ] },
{ "prim": "DUP", "args": [ { "int": "4" } ] },
{ "prim": "GET", "args": [ { "int": "3" } ] },
{ "prim": "CAR" },
{ "prim": "CAR" },
{ "prim": "PUSH", "args": [ { "prim": "nat" }, { "int": "0" } ] },
{ "prim": "DUP", "args": [ { "int": "6" } ] },
{ "prim": "GET", "args": [ { "int": "10" } ] },
{ "prim": "COMPARE" },
{ "prim": "GT" },
{
"prim": "IF",
"args": [
[
{ "prim": "DROP", "args": [ { "int": "2" } ] },
{ "prim": "PUSH", "args": [ { "prim": "nat" }, { "int": "0" } ] },
{ "prim": "DUP", "args": [ { "int": "4" } ] },
{ "prim": "GET", "args": [ { "int": "10" } ] },
{ "prim": "COMPARE" },
{ "prim": "GT" },
{
"prim": "IF",
"args": [
[], [ { "prim": "PUSH", "args": [ { "prim": "string" }, { "string": "DIVISION_BY_ZERO" } ] }, { "prim": "FAILWITH" } ]
]
},
{ "prim": "DUP", "args": [ { "int": "3" } ] },
{ "prim": "GET", "args": [ { "int": "10" } ] },
{ "prim": "DUP", "args": [ { "int": "4" } ] },
{ "prim": "CAR" },
{ "prim": "GET", "args": [ { "int": "7" } ] },
{ "prim": "DUP", "args": [ { "int": "5" } ] },
{ "prim": "GET", "args": [ { "int": "9" } ] },
{ "prim": "DUP", "args": [ { "int": "6" } ] },
{ "prim": "GET", "args": [ { "int": "7" } ] },
{ "prim": "CDR" },
{ "prim": "PUSH", "args": [ { "prim": "nat" }, { "int": "0" } ] },
{ "prim": "PUSH", "args": [ { "prim": "nat" }, { "int": "1000000" } ] },
{ "prim": "DUP", "args": [ { "int": "9" } ] },
{ "prim": "GET", "args": [ { "int": "10" } ] },
{ "prim": "EDIV" },
{
"prim": "IF_NONE",
"args": [
[ { "prim": "PUSH", "args": [ { "prim": "int" }, { "int": "19" } ] }, { "prim": "FAILWITH" } ], [ { "prim": "CAR" } ]
]
},
{ "prim": "SUB" },
{ "prim": "ISNAT" },
{
"prim": "IF_NONE",
"args": [
[ { "prim": "PUSH", "args": [ { "prim": "string" }, { "string": "SUBTRACTION_UNDERFLOW" } ] }, { "prim": "FAILWITH" } ], []
]
},
{ "prim": "ADD" },
{ "prim": "SUB" },
{ "prim": "ISNAT" },
{
"prim": "IF_NONE",
"args": [ [ { "prim": "PUSH", "args": [ { "prim": "int" }, { "int": "671" } ] }, { "prim": "FAILWITH" } ], [] ]
},
{ "prim": "MUL" },
{ "prim": "EDIV" },
{
"prim": "IF_NONE",
"args": [
[ { "prim": "PUSH", "args": [ { "prim": "int" }, { "int": "257" } ] }, { "prim": "FAILWITH" } ], [ { "prim": "CAR" } ]
]
}
],
[ { "prim": "SWAP" }, { "prim": "DROP" } ]
]
},
{ "prim": "DUP", "args": [ { "int": "4" } ] },
{ "prim": "CAR" },
{ "prim": "GET", "args": [ { "int": "7" } ] },
{ "prim": "DUP", "args": [ { "int": "4" } ] },
{ "prim": "DIG", "args": [ { "int": "2" } ] },
{ "prim": "MUL" },
{ "prim": "EDIV" },
{
"prim": "IF_NONE",
"args": [ [ { "prim": "PUSH", "args": [ { "prim": "int" }, { "int": "61" } ] }, { "prim": "FAILWITH" } ], [ { "prim": "CAR" } ] ]
},
{ "prim": "DUP", "args": [ { "int": "3" } ] },
{ "prim": "PUSH", "args": [ { "prim": "nat" }, { "int": "0" } ] },
{ "prim": "DUP", "args": [ { "int": "3" } ] },
{ "prim": "COMPARE" },
{ "prim": "GT" },
{
"prim": "IF",
"args": [
[
{ "prim": "PUSH", "args": [ { "prim": "nat" }, { "int": "0" } ] },
{ "prim": "DUP", "args": [ { "int": "2" } ] },
{ "prim": "COMPARE" },
{ "prim": "GT" }
],
[ { "prim": "PUSH", "args": [ { "prim": "bool" }, { "prim": "False" } ] } ]
]
},
{
"prim": "IF",
"args": [
[
{ "prim": "DUP", "args": [ { "int": "2" } ] },
{ "prim": "PUSH", "args": [ { "prim": "nat" }, { "int": "1000000" } ] },
{ "prim": "DUP", "args": [ { "int": "7" } ] },
{ "prim": "GET", "args": [ { "int": "10" } ] },
{ "prim": "EDIV" },
{
"prim": "IF_NONE",
"args": [
[ { "prim": "PUSH", "args": [ { "prim": "int" }, { "int": "19" } ] }, { "prim": "FAILWITH" } ], [ { "prim": "CAR" } ]
]
},
{ "prim": "COMPARE" },
{ "prim": "GE" },
{
"prim": "IF",
"args": [
[], [ { "prim": "PUSH", "args": [ { "prim": "string" }, { "string": "CT_INSUFFICIENT_CASH" } ] }, { "prim": "FAILWITH" } ]
]
},
{ "prim": "DUP", "args": [ { "int": "5" } ] },
{ "prim": "CAR" },
{ "prim": "CAR" },
{ "prim": "GET", "args": [ { "int": "3" } ] },
{ "prim": "LEVEL" },
{ "prim": "DIG", "args": [ { "int": "3" } ] },
{ "prim": "DROP" },
{ "prim": "DIG", "args": [ { "int": "4" } ] },
{ "prim": "DROP" },
{ "prim": "COMPARE" },
{ "prim": "EQ" },
{
"prim": "IF",
"args": [
[], [ { "prim": "PUSH", "args": [ { "prim": "string" }, { "string": "CT_INTEREST_OLD" } ] }, { "prim": "FAILWITH" } ]
]
},
{ "prim": "DUP" },
{ "prim": "DUP", "args": [ { "int": "4" } ] },
{ "prim": "GET", "args": [ { "int": "10" } ] },
{ "prim": "SUB" },
{ "prim": "ISNAT" },
{
"prim": "IF_NONE",
"args": [
[ { "prim": "PUSH", "args": [ { "prim": "string" }, { "string": "Insufficient supply" } ] }, { "prim": "FAILWITH" } ], []
]
},
{ "prim": "DIG", "args": [ { "int": "3" } ] },
{ "prim": "SWAP" },
{ "prim": "UPDATE", "args": [ { "int": "10" } ] },
{ "prim": "DUG", "args": [ { "int": "2" } ] },
{ "prim": "DUP", "args": [ { "int": "3" } ] },
{ "prim": "GET", "args": [ { "int": "3" } ] },
{ "prim": "CAR" },
{ "prim": "GET", "args": [ { "int": "4" } ] },
{ "prim": "SENDER" },
{ "prim": "GET" },
{
"prim": "IF_NONE",
"args": [ [ { "prim": "PUSH", "args": [ { "prim": "int" }, { "int": "172" } ] }, { "prim": "FAILWITH" } ], [] ]
},
{ "prim": "CDR" },
{ "prim": "SUB" },
{ "prim": "ISNAT" },
{
"prim": "IF_NONE",
"args": [
[ { "prim": "PUSH", "args": [ { "prim": "string" }, { "string": "Insufficient balance" } ] }, { "prim": "FAILWITH" } ], []
]
},
{ "prim": "DIG", "args": [ { "int": "2" } ] },
{ "prim": "UNPAIR" },
{ "prim": "SWAP" },
{ "prim": "UNPAIR" },
{ "prim": "UNPAIR" },
{ "prim": "UNPAIR" },
{ "prim": "SWAP" },
{ "prim": "UNPAIR" },
{ "prim": "SWAP" },
{ "prim": "DUP" },
{ "prim": "SENDER" },
{ "prim": "DUP" },
{ "prim": "DUG", "args": [ { "int": "2" } ] },
{ "prim": "GET" },
{
"prim": "IF_NONE",
"args": [ [ { "prim": "PUSH", "args": [ { "prim": "int" }, { "int": "171" } ] }, { "prim": "FAILWITH" } ], [] ]
},
{ "prim": "DIG", "args": [ { "int": "8" } ] },
{ "prim": "UPDATE", "args": [ { "int": "2" } ] },
{ "prim": "SOME" },
{ "prim": "SWAP" },
{ "prim": "UPDATE" },
{ "prim": "SWAP" },
{ "prim": "PAIR" },
{ "prim": "SWAP" },
{ "prim": "PAIR" },
{ "prim": "PAIR" },
{ "prim": "PAIR" },
{ "prim": "SWAP" },
{ "prim": "PAIR" },
{ "prim": "SWAP" }
],
[ { "prim": "DROP", "args": [ { "int": "2" } ] }, { "prim": "SWAP" }, { "prim": "DROP" } ]
]
}
]
]
}
]
]
}
]
]
}
]
]
}
],
[
{
"prim": "IF_LEFT",
"args": [
[
{
"prim": "IF_LEFT",
"args": [
[
{
"prim": "IF_LEFT",
"args": [
[
{ "prim": "SELF_ADDRESS" },
{ "prim": "SENDER" },
{ "prim": "COMPARE" },
{ "prim": "NEQ" },
{
"prim": "IF",
"args": [ [], [ { "prim": "PUSH", "args": [ { "prim": "string" }, { "string": "CT_INTERNAL_CALL" } ] }, { "prim": "FAILWITH" } ] ]
},
{ "prim": "NIL", "args": [ { "prim": "operation" } ] },
{ "prim": "DUP", "args": [ { "int": "3" } ] },
{ "prim": "CAR" },
{ "prim": "GET", "args": [ { "int": "5" } ] },
{ "prim": "CDR" },
{
"prim": "CONTRACT",
"args": [
{
"prim": "pair",
"args": [
{ "prim": "address", "annots": [ "%cToken" ] },
{ "prim": "pair", "args": [ { "prim": "address", "annots": [ "%redeemer" ] }, { "prim": "nat", "annots": [ "%redeemAmount" ] } ] }
]
}
],
"annots": [ "%redeemAllowed" ]
},
{ "prim": "IF_NONE", "args": [ [ { "prim": "PUSH", "args": [ { "prim": "int" }, { "int": "177" } ] }, { "prim": "FAILWITH" } ], [] ] },
{ "prim": "PUSH", "args": [ { "prim": "mutez" }, { "int": "0" } ] },
{ "prim": "DUP", "args": [ { "int": "4" } ] },
{ "prim": "SENDER" },
{ "prim": "SELF_ADDRESS" },
{ "prim": "PAIR", "args": [ { "int": "3" } ] },
{ "prim": "TRANSFER_TOKENS" },
{ "prim": "CONS" },
{ "prim": "DUP", "args": [ { "int": "2" } ] },
{ "prim": "PUSH", "args": [ { "prim": "nat" }, { "int": "0" } ] },
{ "prim": "DUP", "args": [ { "int": "5" } ] },
{ "prim": "GET", "args": [ { "int": "3" } ] },
{ "prim": "CAR" },
{ "prim": "CAR" },
{ "prim": "PUSH", "args": [ { "prim": "nat" }, { "int": "0" } ] },
{ "prim": "DUP", "args": [ { "int": "7" } ] },
{ "prim": "GET", "args": [ { "int": "10" } ] },
{ "prim": "COMPARE" },
{ "prim": "GT" },
{
"prim": "IF",
"args": [
[
{ "prim": "DROP" },
{ "prim": "PUSH", "args": [ { "prim": "nat" }, { "int": "0" } ] },
{ "prim": "DUP", "args": [ { "int": "6" } ] },
{ "prim": "GET", "args": [ { "int": "10" } ] },
{ "prim": "COMPARE" },
{ "prim": "GT" },
{
"prim": "IF",
"args": [ [], [ { "prim": "PUSH", "args": [ { "prim": "string" }, { "string": "DIVISION_BY_ZERO" } ] }, { "prim": "FAILWITH" } ] ]
},
{ "prim": "DUP", "args": [ { "int": "5" } ] },
{ "prim": "GET", "args": [ { "int": "10" } ] },
{ "prim": "DUP", "args": [ { "int": "6" } ] },
{ "prim": "CAR" },
{ "prim": "GET", "args": [ { "int": "7" } ] },
{ "prim": "DUP", "args": [ { "int": "7" } ] },
{ "prim": "GET", "args": [ { "int": "9" } ] },
{ "prim": "DUP", "args": [ { "int": "8" } ] },
{ "prim": "GET", "args": [ { "int": "7" } ] },
{ "prim": "CDR" },
{ "prim": "PUSH", "args": [ { "prim": "nat" }, { "int": "0" } ] },
{ "prim": "PUSH", "args": [ { "prim": "nat" }, { "int": "1000000" } ] },
{ "prim": "DUP", "args": [ { "int": "11" } ] },
{ "prim": "GET", "args": [ { "int": "10" } ] },
{ "prim": "EDIV" },
{
"prim": "IF_NONE",
"args": [ [ { "prim": "PUSH", "args": [ { "prim": "int" }, { "int": "19" } ] }, { "prim": "FAILWITH" } ], [ { "prim": "CAR" } ] ]
},
{ "prim": "SUB" },
{ "prim": "ISNAT" },
{
"prim": "IF_NONE",
"args": [
[ { "prim": "PUSH", "args": [ { "prim": "string" }, { "string": "SUBTRACTION_UNDERFLOW" } ] }, { "prim": "FAILWITH" } ], []
]
},
{ "prim": "ADD" },
{ "prim": "SUB" },
{ "prim": "ISNAT" },
{ "prim": "IF_NONE", "args": [ [ { "prim": "PUSH", "args": [ { "prim": "int" }, { "int": "671" } ] }, { "prim": "FAILWITH" } ], [] ] },
{ "prim": "MUL" },
{ "prim": "EDIV" },
{
"prim": "IF_NONE",
"args": [ [ { "prim": "PUSH", "args": [ { "prim": "int" }, { "int": "257" } ] }, { "prim": "FAILWITH" } ], [ { "prim": "CAR" } ] ]
}
],
[]
]
},
{ "prim": "PUSH", "args": [ { "prim": "nat" }, { "int": "0" } ] },
{ "prim": "PUSH", "args": [ { "prim": "nat" }, { "int": "0" } ] },
{ "prim": "DUP", "args": [ { "int": "3" } ] },
{ "prim": "COMPARE" },
{ "prim": "GT" },
{
"prim": "IF",
"args": [ [], [ { "prim": "PUSH", "args": [ { "prim": "string" }, { "string": "DIVISION_BY_ZERO" } ] }, { "prim": "FAILWITH" } ] ]
},
{ "prim": "DUP", "args": [ { "int": "7" } ] },
{ "prim": "CAR" },
{ "prim": "GET", "args": [ { "int": "7" } ] },
{ "prim": "DUP", "args": [ { "int": "7" } ] },
{ "prim": "MUL" },
{ "prim": "DUP", "args": [ { "int": "3" } ] },
{ "prim": "DUP", "args": [ { "int": "2" } ] },
{ "prim": "EDIV" },
{
"prim": "IF_NONE",
"args": [ [ { "prim": "PUSH", "args": [ { "prim": "int" }, { "int": "280" } ] }, { "prim": "FAILWITH" } ], [ { "prim": "CAR" } ] ]
},
{ "prim": "PUSH", "args": [ { "prim": "nat" }, { "int": "0" } ] },
{ "prim": "DUP", "args": [ { "int": "5" } ] },
{ "prim": "DUP", "args": [ { "int": "4" } ] },
{ "prim": "EDIV" },
{
"prim": "IF_NONE",
"args": [
[ { "prim": "PUSH", "args": [ { "prim": "int" }, { "int": "281" } ] }, { "prim": "FAILWITH" } ],
[
{ "prim": "DROP", "args": [ { "int": "2" } ] },
{ "prim": "SWAP" },
{ "prim": "DROP" },
{ "prim": "SWAP" },
{ "prim": "DROP" },
{ "prim": "SWAP" },
{ "prim": "DROP" },
{ "prim": "SWAP" },
{ "prim": "DROP" }
]
]
},
{ "prim": "PUSH", "args": [ { "prim": "nat" }, { "int": "1" } ] },
{ "prim": "ADD" },
{ "prim": "PUSH", "args": [ { "prim": "nat" }, { "int": "0" } ] },
{ "prim": "DUP", "args": [ { "int": "3" } ] },
{ "prim": "COMPARE" },
{ "prim": "GT" },
{
"prim": "IF",
"args": [
[
{ "prim": "PUSH", "args": [ { "prim": "nat" }, { "int": "0" } ] },
{ "prim": "DUP", "args": [ { "int": "2" } ] },
{ "prim": "COMPARE" },
{ "prim": "GT" }
],
[ { "prim": "PUSH", "args": [ { "prim": "bool" }, { "prim": "False" } ] } ]
]
},
{
"prim": "IF",
"args": [
[
{ "prim": "DUP", "args": [ { "int": "2" } ] },
{ "prim": "PUSH", "args": [ { "prim": "nat" }, { "int": "1000000" } ] },
{ "prim": "DUP", "args": [ { "int": "7" } ] },
{ "prim": "GET", "args": [ { "int": "10" } ] },
{ "prim": "EDIV" },
{
"prim": "IF_NONE",
"args": [ [ { "prim": "PUSH", "args": [ { "prim": "int" }, { "int": "19" } ] }, { "prim": "FAILWITH" } ], [ { "prim": "CAR" } ] ]
},
{ "prim": "COMPARE" },
{ "prim": "GE" },
{
"prim": "IF",
"args": [
[], [ { "prim": "PUSH", "args": [ { "prim": "string" }, { "string": "CT_INSUFFICIENT_CASH" } ] }, { "prim": "FAILWITH" } ]
]
},
{ "prim": "DUP", "args": [ { "int": "5" } ] },
{ "prim": "CAR" },
{ "prim": "CAR" },
{ "prim": "GET", "args": [ { "int": "3" } ] },
{ "prim": "LEVEL" },
{ "prim": "DIG", "args": [ { "int": "3" } ] },
{ "prim": "DROP" },
{ "prim": "DIG", "args": [ { "int": "4" } ] },
{ "prim": "DROP" },
{ "prim": "COMPARE" },
{ "prim": "EQ" },
{
"prim": "IF",
"args": [ [], [ { "prim": "PUSH", "args": [ { "prim": "string" }, { "string": "CT_INTEREST_OLD" } ] }, { "prim": "FAILWITH" } ] ]
},
{ "prim": "DUP" },
{ "prim": "DUP", "args": [ { "int": "4" } ] },
{ "prim": "GET", "args": [ { "int": "10" } ] },
{ "prim": "SUB" },
{ "prim": "ISNAT" },
{
"prim": "IF_NONE",
"args": [ [ { "prim": "PUSH", "args": [ { "prim": "string" }, { "string": "Insufficient supply" } ] }, { "prim": "FAILWITH" } ], [] ]
},
{ "prim": "DIG", "args": [ { "int": "3" } ] },
{ "prim": "SWAP" },
{ "prim": "UPDATE", "args": [ { "int": "10" } ] },
{ "prim": "DUG", "args": [ { "int": "2" } ] },
{ "prim": "DUP", "args": [ { "int": "3" } ] },
{ "prim": "GET", "args": [ { "int": "3" } ] },
{ "prim": "CAR" },
{ "prim": "GET", "args": [ { "int": "4" } ] },
{ "prim": "SENDER" },
{ "prim": "GET" },
{ "prim": "IF_NONE", "args": [ [ { "prim": "PUSH", "args": [ { "prim": "int" }, { "int": "172" } ] }, { "prim": "FAILWITH" } ], [] ] },
{ "prim": "CDR" },
{ "prim": "SUB" },
{ "prim": "ISNAT" },
{
"prim": "IF_NONE",
"args": [
[ { "prim": "PUSH", "args": [ { "prim": "string" }, { "string": "Insufficient balance" } ] }, { "prim": "FAILWITH" } ], []
]
},
{ "prim": "DIG", "args": [ { "int": "2" } ] },
{ "prim": "UNPAIR" },
{ "prim": "SWAP" },
{ "prim": "UNPAIR" },
{ "prim": "UNPAIR" },
{ "prim": "UNPAIR" },
{ "prim": "SWAP" },
{ "prim": "UNPAIR" },
{ "prim": "SWAP" },
{ "prim": "DUP" },
{ "prim": "SENDER" },
{ "prim": "DUP" },
{ "prim": "DUG", "args": [ { "int": "2" } ] },
{ "prim": "GET" },
{ "prim": "IF_NONE", "args": [ [ { "prim": "PUSH", "args": [ { "prim": "int" }, { "int": "171" } ] }, { "prim": "FAILWITH" } ], [] ] },
{ "prim": "DIG", "args": [ { "int": "8" } ] },
{ "prim": "UPDATE", "args": [ { "int": "2" } ] },
{ "prim": "SOME" },
{ "prim": "SWAP" },
{ "prim": "UPDATE" },
{ "prim": "SWAP" },
{ "prim": "PAIR" },
{ "prim": "SWAP" },
{ "prim": "PAIR" },
{ "prim": "PAIR" },
{ "prim": "PAIR" },
{ "prim": "SWAP" },
{ "prim": "PAIR" },
{ "prim": "SWAP" }
],
[ { "prim": "DROP", "args": [ { "int": "2" } ] }, { "prim": "SWAP" }, { "prim": "DROP" } ]
]
}
],
[
{
"prim": "IF_LEFT",
"args": [
[
{ "prim": "DUP", "args": [ { "int": "2" } ] },
{ "prim": "CAR" },
{ "prim": "CAR" },
{ "prim": "GET", "args": [ { "int": "6" } ] },
{ "prim": "SENDER" },
{ "prim": "COMPARE" },
{ "prim": "EQ" },
{
"prim": "IF",
"args": [ [], [ { "prim": "PUSH", "args": [ { "prim": "string" }, { "string": "CT_NOT_ADMIN" } ] }, { "prim": "FAILWITH" } ] ]
},
{ "prim": "PUSH", "args": [ { "prim": "nat" }, { "int": "0" } ] },
{ "prim": "DUP", "args": [ { "int": "3" } ] },
{ "prim": "CAR" },
{ "prim": "CAR" },
{ "prim": "GET", "args": [ { "int": "5" } ] },
{ "prim": "SIZE" },
{ "prim": "COMPARE" },
{ "prim": "EQ" },
{
"prim": "IF",
"args": [ [], [ { "prim": "PUSH", "args": [ { "prim": "string" }, { "string": "OP_IN_PROGRESS" } ] }, { "prim": "FAILWITH" } ] ]
},
{ "prim": "SWAP" },
{ "prim": "UNPAIR" },
{ "prim": "UNPAIR" },
{ "prim": "UNPAIR" },
{ "prim": "SWAP" },
{ "prim": "UNPAIR" },
{ "prim": "SWAP" },
{ "prim": "UNPAIR" },
{ "prim": "PUSH", "args": [ { "prim": "bool" }, { "prim": "True" } ] },
{ "prim": "PUSH", "args": [ { "prim": "nat" }, { "int": "12" } ] },
{ "prim": "UPDATE" },
{ "prim": "PAIR" },
{ "prim": "SWAP" },
{ "prim": "PAIR" },
{ "prim": "SWAP" },
{ "prim": "PAIR" },
{ "prim": "PAIR" },
{ "prim": "PAIR" },
{ "prim": "SWAP" },
{ "prim": "NIL", "args": [ { "prim": "operation" } ] },
{ "prim": "SELF", "annots": [ "%accrueInterest" ] },
{ "prim": "PUSH", "args": [ { "prim": "mutez" }, { "int": "0" } ] },
{ "prim": "UNIT" },
{ "prim": "TRANSFER_TOKENS" },
{ "prim": "CONS" },
{ "prim": "SELF", "annots": [ "%reduceReservesInternal" ] },
{ "prim": "AMOUNT" },
{ "prim": "DIG", "args": [ { "int": "3" } ] },
{ "prim": "TRANSFER_TOKENS" },
{ "prim": "CONS" }
],
[
{ "prim": "SELF_ADDRESS" },
{ "prim": "SENDER" },
{ "prim": "COMPARE" },
{ "prim": "NEQ" },
{
"prim": "IF",
"args": [ [], [ { "prim": "PUSH", "args": [ { "prim": "string" }, { "string": "CT_INTERNAL_CALL" } ] }, { "prim": "FAILWITH" } ] ]
},
{ "prim": "DUP", "args": [ { "int": "2" } ] },
{ "prim": "GET", "args": [ { "int": "3" } ] },
{ "prim": "CAR" },
{ "prim": "GET", "args": [ { "int": "4" } ] },
{ "prim": "SENDER" },
{ "prim": "MEM" },
{
"prim": "IF",
"args": [
[],
[
{ "prim": "SWAP" },
{ "prim": "UNPAIR" },
{ "prim": "SWAP" },
{ "prim": "UNPAIR" },
{ "prim": "UNPAIR" },
{ "prim": "UNPAIR" },
{ "prim": "SWAP" },
{ "prim": "UNPAIR" },
{ "prim": "SWAP" },
{
"prim": "PUSH",
"args": [
{
"prim": "option",
"args": [
{
"prim": "pair",
"args": [ { "prim": "map", "args": [ { "prim": "address" }, { "prim": "nat" } ] }, { "prim": "nat" } ]
}
]
},
{ "prim": "Some", "args": [ { "prim": "Pair", "args": [ [], { "int": "0" } ] } ] }
]
},
{ "prim": "SENDER" },
{ "prim": "UPDATE" },
{ "prim": "SWAP" },
{ "prim": "PAIR" },
{ "prim": "SWAP" },
{ "prim": "PAIR" },
{ "prim": "PAIR" },
{ "prim": "PAIR" },
{ "prim": "SWAP" },
{ "prim": "PAIR" },
{ "prim": "SWAP" }
]
]
},
{ "prim": "DUP", "args": [ { "int": "2" } ] },
{ "prim": "CAR" },
{ "prim": "GET", "args": [ { "int": "5" } ] },
{ "prim": "CAR" },
{ "prim": "SENDER" },
{ "prim": "MEM" },
{
"prim": "IF",
"args": [
[],
[
{ "prim": "SWAP" },
{ "prim": "UNPAIR" },
{ "prim": "UNPAIR" },
{ "prim": "SWAP" },
{ "prim": "UNPAIR" },
{ "prim": "SWAP" },
{ "prim": "UNPAIR" },
{ "prim": "UNPAIR" },
{
"prim": "PUSH",
"args": [
{ "prim": "option", "args": [ { "prim": "pair", "args": [ { "prim": "nat" }, { "prim": "nat" } ] } ] },
{ "prim": "Some", "args": [ { "prim": "Pair", "args": [ { "int": "0" }, { "int": "0" } ] } ] }
]
},
{ "prim": "SENDER" },
{ "prim": "UPDATE" },
{ "prim": "PAIR" },
{ "prim": "PAIR" },
{ "prim": "SWAP" },
{ "prim": "PAIR" },
{ "prim": "SWAP" },
{ "prim": "PAIR" },
{ "prim": "PAIR" },
{ "prim": "SWAP" }
]
]
},
{ "prim": "NIL", "args": [ { "prim": "operation" } ] },
{ "prim": "DUP" },
{ "prim": "DUP", "args": [ { "int": "4" } ] },
{ "prim": "CAR" },
{ "prim": "GET", "args": [ { "int": "5" } ] },
{ "prim": "CDR" },
{
"prim": "CONTRACT",
"args": [
{
"prim": "pair",
"args": [
{ "prim": "address", "annots": [ "%cToken" ] },
{
"prim": "pair",
"args": [
{ "prim": "address", "annots": [ "%payer" ] },
{
"prim": "pair",
"args": [ { "prim": "address", "annots": [ "%borrower" ] }, { "prim": "nat", "annots": [ "%repayAmount" ] } ]
}
]
}
]
}
],
"annots": [ "%repayBorrowAllowed" ]
},
{ "prim": "IF_NONE", "args": [ [ { "prim": "PUSH", "args": [ { "prim": "int" }, { "int": "276" } ] }, { "prim": "FAILWITH" } ], [] ] },
{ "prim": "PUSH", "args": [ { "prim": "mutez" }, { "int": "0" } ] },
{ "prim": "DUP", "args": [ { "int": "5" } ] },
{ "prim": "SENDER" },
{ "prim": "SENDER" },
{ "prim": "SELF_ADDRESS" },
{ "prim": "PAIR", "args": [ { "int": "4" } ] },
{ "prim": "DIG", "args": [ { "int": "4" } ] },
{ "prim": "DROP" },
{ "prim": "TRANSFER_TOKENS" },
{ "prim": "CONS" },
{ "prim": "DUP", "args": [ { "int": "3" } ] },
{ "prim": "CAR" },
{ "prim": "CAR" },
{ "prim": "GET", "args": [ { "int": "3" } ] },
{ "prim": "LEVEL" },
{ "prim": "COMPARE" },
{ "prim": "EQ" },
{
"prim": "IF",
"args": [ [], [ { "prim": "PUSH", "args": [ { "prim": "string" }, { "string": "CT_INTEREST_OLD" } ] }, { "prim": "FAILWITH" } ] ]
},
{ "prim": "PUSH", "args": [ { "prim": "nat" }, { "int": "0" } ] },
{ "prim": "DUP", "args": [ { "int": "4" } ] },
{ "prim": "CAR" },
{ "prim": "GET", "args": [ { "int": "5" } ] },
{ "prim": "CAR" },
{ "prim": "SENDER" },
{ "prim": "MEM" },
{
"prim": "IF",
"args": [
[
{ "prim": "DUP", "args": [ { "int": "4" } ] },
{ "prim": "CAR" },
{ "prim": "GET", "args": [ { "int": "5" } ] },
{ "prim": "CAR" },
{ "prim": "SENDER" },
{ "prim": "GET" },
{
"prim": "IF_NONE",
"args": [ [ { "prim": "PUSH", "args": [ { "prim": "int" }, { "int": "628" } ] }, { "prim": "FAILWITH" } ], [] ]
},
{ "prim": "PUSH", "args": [ { "prim": "nat" }, { "int": "0" } ] },
{ "prim": "DUP", "args": [ { "int": "2" } ] },
{ "prim": "CDR" },
{ "prim": "COMPARE" },
{ "prim": "GT" },
{
"prim": "IF",
"args": [
[
{ "prim": "SWAP" },
{ "prim": "DROP" },
{ "prim": "DUP" },
{ "prim": "CAR" },
{ "prim": "DUP", "args": [ { "int": "5" } ] },
{ "prim": "CAR" },
{ "prim": "GET", "args": [ { "int": "3" } ] },
{ "prim": "CAR" },
{ "prim": "DIG", "args": [ { "int": "2" } ] },
{ "prim": "CDR" },
{ "prim": "MUL" },
{ "prim": "EDIV" },
{
"prim": "IF_NONE",
"args": [
[ { "prim": "PUSH", "args": [ { "prim": "int" }, { "int": "631" } ] }, { "prim": "FAILWITH" } ], [ { "prim": "CAR" } ]
]
}
],
[ { "prim": "DROP" } ]
]
}
],
[]
]
},
{ "prim": "DIG", "args": [ { "int": "3" } ] },
{ "prim": "UNPAIR" },
{ "prim": "UNPAIR" },
{ "prim": "SWAP" },
{ "prim": "UNPAIR" },
{ "prim": "SWAP" },
{ "prim": "UNPAIR" },
{ "prim": "UNPAIR" },
{ "prim": "DUP" },
{ "prim": "SENDER" },
{ "prim": "DUP" },
{ "prim": "DUG", "args": [ { "int": "2" } ] },
{ "prim": "GET" },
{ "prim": "IF_NONE", "args": [ [ { "prim": "PUSH", "args": [ { "prim": "int" }, { "int": "263" } ] }, { "prim": "FAILWITH" } ], [] ] },
{ "prim": "DUP", "args": [ { "int": "11" } ] },
{ "prim": "DUP", "args": [ { "int": "10" } ] },
{ "prim": "DUP" },
{ "prim": "DUP", "args": [ { "int": "3" } ] },
{ "prim": "COMPARE" },
{ "prim": "LE" },
{ "prim": "IF", "args": [ [ { "prim": "DROP" } ], [ { "prim": "SWAP" }, { "prim": "DROP" } ] ] },
{ "prim": "DUP", "args": [ { "int": "10" } ] },
{ "prim": "SUB" },
{ "prim": "ISNAT" },
{
"prim": "IF_NONE",
"args": [
[ { "prim": "PUSH", "args": [ { "prim": "string" }, { "string": "SUBTRACTION_UNDERFLOW" } ] }, { "prim": "FAILWITH" } ], []
]
},
{ "prim": "UPDATE", "args": [ { "int": "2" } ] },
{ "prim": "SOME" },
{ "prim": "SWAP" },
{ "prim": "UPDATE" },
{ "prim": "PAIR" },
{ "prim": "PAIR" },
{ "prim": "SWAP" },
{ "prim": "PAIR" },
{ "prim": "SWAP" },
{ "prim": "PAIR" },
{ "prim": "PAIR" },
{ "prim": "DUP" },
{ "prim": "CAR" },
{ "prim": "GET", "args": [ { "int": "3" } ] },
{ "prim": "CAR" },
{ "prim": "SWAP" },
{ "prim": "UNPAIR" },
{ "prim": "UNPAIR" },
{ "prim": "SWAP" },
{ "prim": "UNPAIR" },
{ "prim": "SWAP" },
{ "prim": "UNPAIR" },
{ "prim": "UNPAIR" },
{ "prim": "DUP" },
{ "prim": "SENDER" },
{ "prim": "DUP" },
{ "prim": "DUG", "args": [ { "int": "2" } ] },
{ "prim": "GET" },
{ "prim": "IF_NONE", "args": [ [ { "prim": "PUSH", "args": [ { "prim": "int" }, { "int": "265" } ] }, { "prim": "FAILWITH" } ], [] ] },
{ "prim": "DIG", "args": [ { "int": "8" } ] },
{ "prim": "UPDATE", "args": [ { "int": "1" } ] },
{ "prim": "SOME" },
{ "prim": "SWAP" },
{ "prim": "UPDATE" },
{ "prim": "PAIR" },
{ "prim": "PAIR" },
{ "prim": "SWAP" },
{ "prim": "PAIR" },
{ "prim": "SWAP" },
{ "prim": "PAIR" },
{ "prim": "PAIR" },
{ "prim": "DUG", "args": [ { "int": "3" } ] },
{ "prim": "DIG", "args": [ { "int": "2" } ] },
{ "prim": "SWAP" },
{ "prim": "DUP" },
{ "prim": "DUP", "args": [ { "int": "3" } ] },
{ "prim": "COMPARE" },
{ "prim": "LE" },
{ "prim": "IF", "args": [ [ { "prim": "DROP" } ], [ { "prim": "SWAP" }, { "prim": "DROP" } ] ] },
{ "prim": "DUP", "args": [ { "int": "3" } ] },
{ "prim": "GET", "args": [ { "int": "7" } ] },
{ "prim": "CDR" },
{ "prim": "SUB" },
{ "prim": "ISNAT" },
{
"prim": "IF_NONE",
"args": [
[ { "prim": "PUSH", "args": [ { "prim": "string" }, { "string": "SUBTRACTION_UNDERFLOW" } ] }, { "prim": "FAILWITH" } ], []
]
},
{ "prim": "DIG", "args": [ { "int": "2" } ] },
{ "prim": "UNPAIR" },
{ "prim": "SWAP" },
{ "prim": "UNPAIR" },
{ "prim": "SWAP" },
{ "prim": "UNPAIR" },
{ "prim": "SWAP" },
{ "prim": "UNPAIR" },
{ "prim": "CAR" },
{ "prim": "DIG", "args": [ { "int": "5" } ] },
{ "prim": "SWAP" },
{ "prim": "PAIR" },
{ "prim": "PAIR" },
{ "prim": "SWAP" },
{ "prim": "PAIR" },
{ "prim": "SWAP" },
{ "prim": "PAIR" },
{ "prim": "SWAP" },
{ "prim": "PAIR" },
{ "prim": "SWAP" },
{ "prim": "PUSH", "args": [ { "prim": "nat" }, { "int": "0" } ] },
{ "prim": "DUP", "args": [ { "int": "3" } ] },
{ "prim": "CAR" },
{ "prim": "GET", "args": [ { "int": "5" } ] },
{ "prim": "CAR" },
{ "prim": "SENDER" },
{ "prim": "GET" },
{ "prim": "IF_NONE", "args": [ [ { "prim": "PUSH", "args": [ { "prim": "int" }, { "int": "268" } ] }, { "prim": "FAILWITH" } ], [] ] },
{ "prim": "CDR" },
{ "prim": "COMPARE" },
{ "prim": "EQ" },
{
"prim": "IF",
"args": [
[
{ "prim": "DUP", "args": [ { "int": "2" } ] },
{ "prim": "CAR" },
{ "prim": "GET", "args": [ { "int": "5" } ] },
{ "prim": "CDR" },
{ "prim": "CONTRACT", "args": [ { "prim": "address" } ], "annots": [ "%removeFromLoans" ] },
{
"prim": "IF_NONE",
"args": [ [ { "prim": "PUSH", "args": [ { "prim": "int" }, { "int": "270" } ] }, { "prim": "FAILWITH" } ], [] ]
},
{ "prim": "PUSH", "args": [ { "prim": "mutez" }, { "int": "0" } ] },
{ "prim": "SENDER" },
{ "prim": "TRANSFER_TOKENS" },
{ "prim": "CONS" }
],
[]
]
}
]
]
}
]
]
}
],
[
{
"prim": "IF_LEFT",
"args": [
[
{
"prim": "IF_LEFT",
"args": [
[
{ "prim": "SELF_ADDRESS" },
{ "prim": "SENDER" },
{ "prim": "COMPARE" },
{ "prim": "NEQ" },
{
"prim": "IF",
"args": [ [], [ { "prim": "PUSH", "args": [ { "prim": "string" }, { "string": "CT_INTERNAL_CALL" } ] }, { "prim": "FAILWITH" } ] ]
},
{ "prim": "DUP", "args": [ { "int": "2" } ] },
{ "prim": "GET", "args": [ { "int": "3" } ] },
{ "prim": "CAR" },
{ "prim": "GET", "args": [ { "int": "4" } ] },
{ "prim": "SENDER" },
{ "prim": "MEM" },
{
"prim": "IF",
"args": [
[],
[
{ "prim": "SWAP" },
{ "prim": "UNPAIR" },
{ "prim": "SWAP" },
{ "prim": "UNPAIR" },
{ "prim": "UNPAIR" },
{ "prim": "UNPAIR" },
{ "prim": "SWAP" },
{ "prim": "UNPAIR" },
{ "prim": "SWAP" },
{
"prim": "PUSH",
"args": [
{
"prim": "option",
"args": [
{
"prim": "pair",
"args": [ { "prim": "map", "args": [ { "prim": "address" }, { "prim": "nat" } ] }, { "prim": "nat" } ]
}
]
},
{ "prim": "Some", "args": [ { "prim": "Pair", "args": [ [], { "int": "0" } ] } ] }
]
},
{ "prim": "SENDER" },
{ "prim": "UPDATE" },
{ "prim": "SWAP" },
{ "prim": "PAIR" },
{ "prim": "SWAP" },
{ "prim": "PAIR" },
{ "prim": "PAIR" },
{ "prim": "PAIR" },
{ "prim": "SWAP" },
{ "prim": "PAIR" },
{ "prim": "SWAP" }
]
]
},
{ "prim": "DUP", "args": [ { "int": "2" } ] },
{ "prim": "CAR" },
{ "prim": "GET", "args": [ { "int": "5" } ] },
{ "prim": "CAR" },
{ "prim": "SENDER" },
{ "prim": "MEM" },
{
"prim": "IF",
"args": [
[],
[
{ "prim": "SWAP" },
{ "prim": "UNPAIR" },
{ "prim": "UNPAIR" },
{ "prim": "SWAP" },
{ "prim": "UNPAIR" },
{ "prim": "SWAP" },
{ "prim": "UNPAIR" },
{ "prim": "UNPAIR" },
{
"prim": "PUSH",
"args": [
{ "prim": "option", "args": [ { "prim": "pair", "args": [ { "prim": "nat" }, { "prim": "nat" } ] } ] },
{ "prim": "Some", "args": [ { "prim": "Pair", "args": [ { "int": "0" }, { "int": "0" } ] } ] }
]
},
{ "prim": "SENDER" },
{ "prim": "UPDATE" },
{ "prim": "PAIR" },
{ "prim": "PAIR" },
{ "prim": "SWAP" },
{ "prim": "PAIR" },
{ "prim": "SWAP" },
{ "prim": "PAIR" },
{ "prim": "PAIR" },
{ "prim": "SWAP" }
]
]
},
{ "prim": "NIL", "args": [ { "prim": "operation" } ] },
{ "prim": "DUP" },
{ "prim": "DUP", "args": [ { "int": "4" } ] },
{ "prim": "CAR" },
{ "prim": "GET", "args": [ { "int": "5" } ] },
{ "prim": "CDR" },
{
"prim": "CONTRACT",
"args": [
{
"prim": "pair",
"args": [
{ "prim": "address", "annots": [ "%cToken" ] },
{
"prim": "pair",
"args": [
{ "prim": "address", "annots": [ "%payer" ] },
{
"prim": "pair",
"args": [ { "prim": "address", "annots": [ "%borrower" ] }, { "prim": "nat", "annots": [ "%repayAmount" ] } ]
}
]
}
]
}
],
"annots": [ "%repayBorrowAllowed" ]
},
{ "prim": "IF_NONE", "args": [ [ { "prim": "PUSH", "args": [ { "prim": "int" }, { "int": "276" } ] }, { "prim": "FAILWITH" } ], [] ] },
{ "prim": "PUSH", "args": [ { "prim": "mutez" }, { "int": "0" } ] },
{ "prim": "DUP", "args": [ { "int": "5" } ] },
{ "prim": "CDR" },
{ "prim": "DUP", "args": [ { "int": "6" } ] },
{ "prim": "CAR" },
{ "prim": "SENDER" },
{ "prim": "SELF_ADDRESS" },
{ "prim": "PAIR", "args": [ { "int": "4" } ] },
{ "prim": "DIG", "args": [ { "int": "4" } ] },
{ "prim": "DROP" },
{ "prim": "TRANSFER_TOKENS" },
{ "prim": "CONS" },
{ "prim": "DUP", "args": [ { "int": "3" } ] },
{ "prim": "CAR" },
{ "prim": "CAR" },
{ "prim": "GET", "args": [ { "int": "3" } ] },
{ "prim": "LEVEL" },
{ "prim": "COMPARE" },
{ "prim": "EQ" },
{
"prim": "IF",
"args": [ [], [ { "prim": "PUSH", "args": [ { "prim": "string" }, { "string": "CT_INTEREST_OLD" } ] }, { "prim": "FAILWITH" } ] ]
},
{ "prim": "PUSH", "args": [ { "prim": "nat" }, { "int": "0" } ] },
{ "prim": "DUP", "args": [ { "int": "4" } ] },
{ "prim": "CAR" },
{ "prim": "GET", "args": [ { "int": "5" } ] },
{ "prim": "CAR" },
{ "prim": "DUP", "args": [ { "int": "4" } ] },
{ "prim": "CAR" },
{ "prim": "MEM" },
{
"prim": "IF",
"args": [
[
{ "prim": "DUP", "args": [ { "int": "4" } ] },
{ "prim": "CAR" },
{ "prim": "GET", "args": [ { "int": "5" } ] },
{ "prim": "CAR" },
{ "prim": "DUP", "args": [ { "int": "4" } ] },
{ "prim": "CAR" },
{ "prim": "GET" },
{
"prim": "IF_NONE",
"args": [ [ { "prim": "PUSH", "args": [ { "prim": "int" }, { "int": "628" } ] }, { "prim": "FAILWITH" } ], [] ]
},
{ "prim": "PUSH", "args": [ { "prim": "nat" }, { "int": "0" } ] },
{ "prim": "DUP", "args": [ { "int": "2" } ] },
{ "prim": "CDR" },
{ "prim": "COMPARE" },
{ "prim": "GT" },
{
"prim": "IF",
"args": [
[
{ "prim": "SWAP" },
{ "prim": "DROP" },
{ "prim": "DUP" },
{ "prim": "CAR" },
{ "prim": "DUP", "args": [ { "int": "5" } ] },
{ "prim": "CAR" },
{ "prim": "GET", "args": [ { "int": "3" } ] },
{ "prim": "CAR" },
{ "prim": "DIG", "args": [ { "int": "2" } ] },
{ "prim": "CDR" },
{ "prim": "MUL" },
{ "prim": "EDIV" },
{
"prim": "IF_NONE",
"args": [
[ { "prim": "PUSH", "args": [ { "prim": "int" }, { "int": "631" } ] }, { "prim": "FAILWITH" } ], [ { "prim": "CAR" } ]
]
}
],
[ { "prim": "DROP" } ]
]
}
],
[]
]
},
{ "prim": "DIG", "args": [ { "int": "3" } ] },
{ "prim": "UNPAIR" },
{ "prim": "UNPAIR" },
{ "prim": "SWAP" },
{ "prim": "UNPAIR" },
{ "prim": "SWAP" },
{ "prim": "UNPAIR" },
{ "prim": "UNPAIR" },
{ "prim": "DUP" },
{ "prim": "DUP", "args": [ { "int": "10" } ] },
{ "prim": "CAR" },
{ "prim": "DUP" },
{ "prim": "DUG", "args": [ { "int": "2" } ] },
{ "prim": "GET" },
{ "prim": "IF_NONE", "args": [ [ { "prim": "PUSH", "args": [ { "prim": "int" }, { "int": "263" } ] }, { "prim": "FAILWITH" } ], [] ] },
{ "prim": "DUP", "args": [ { "int": "11" } ] },
{ "prim": "CDR" },
{ "prim": "DUP", "args": [ { "int": "10" } ] },
{ "prim": "DUP" },
{ "prim": "DUP", "args": [ { "int": "3" } ] },
{ "prim": "COMPARE" },
{ "prim": "LE" },
{ "prim": "IF", "args": [ [ { "prim": "DROP" } ], [ { "prim": "SWAP" }, { "prim": "DROP" } ] ] },
{ "prim": "DUP", "args": [ { "int": "10" } ] },
{ "prim": "SUB" },
{ "prim": "ISNAT" },
{
"prim": "IF_NONE",
"args": [
[ { "prim": "PUSH", "args": [ { "prim": "string" }, { "string": "SUBTRACTION_UNDERFLOW" } ] }, { "prim": "FAILWITH" } ], []
]
},
{ "prim": "UPDATE", "args": [ { "int": "2" } ] },
{ "prim": "SOME" },
{ "prim": "SWAP" },
{ "prim": "UPDATE" },
{ "prim": "PAIR" },
{ "prim": "PAIR" },
{ "prim": "SWAP" },
{ "prim": "PAIR" },
{ "prim": "SWAP" },
{ "prim": "PAIR" },
{ "prim": "PAIR" },
{ "prim": "DUP" },
{ "prim": "CAR" },
{ "prim": "GET", "args": [ { "int": "3" } ] },
{ "prim": "CAR" },
{ "prim": "SWAP" },
{ "prim": "UNPAIR" },
{ "prim": "UNPAIR" },
{ "prim": "SWAP" },
{ "prim": "UNPAIR" },
{ "prim": "SWAP" },
{ "prim": "UNPAIR" },
{ "prim": "UNPAIR" },
{ "prim": "DUP" },
{ "prim": "DUP", "args": [ { "int": "11" } ] },
{ "prim": "CAR" },
{ "prim": "DUP" },
{ "prim": "DUG", "args": [ { "int": "2" } ] },
{ "prim": "GET" },
{ "prim": "IF_NONE", "args": [ [ { "prim": "PUSH", "args": [ { "prim": "int" }, { "int": "265" } ] }, { "prim": "FAILWITH" } ], [] ] },
{ "prim": "DIG", "args": [ { "int": "8" } ] },
{ "prim": "UPDATE", "args": [ { "int": "1" } ] },
{ "prim": "SOME" },
{ "prim": "SWAP" },
{ "prim": "UPDATE" },
{ "prim": "PAIR" },
{ "prim": "PAIR" },
{ "prim": "SWAP" },
{ "prim": "PAIR" },
{ "prim": "SWAP" },
{ "prim": "PAIR" },
{ "prim": "PAIR" },
{ "prim": "DUG", "args": [ { "int": "3" } ] },
{ "prim": "DUP", "args": [ { "int": "3" } ] },
{ "prim": "CDR" },
{ "prim": "SWAP" },
{ "prim": "DUP" },
{ "prim": "DUP", "args": [ { "int": "3" } ] },
{ "prim": "COMPARE" },
{ "prim": "LE" },
{ "prim": "IF", "args": [ [ { "prim": "DROP" } ], [ { "prim": "SWAP" }, { "prim": "DROP" } ] ] },
{ "prim": "DUP", "args": [ { "int": "4" } ] },
{ "prim": "GET", "args": [ { "int": "7" } ] },
{ "prim": "CDR" },
{ "prim": "SUB" },
{ "prim": "ISNAT" },
{
"prim": "IF_NONE",
"args": [
[ { "prim": "PUSH", "args": [ { "prim": "string" }, { "string": "SUBTRACTION_UNDERFLOW" } ] }, { "prim": "FAILWITH" } ], []
]
},
{ "prim": "DIG", "args": [ { "int": "3" } ] },
{ "prim": "UNPAIR" },
{ "prim": "SWAP" },
{ "prim": "UNPAIR" },
{ "prim": "SWAP" },
{ "prim": "UNPAIR" },
{ "prim": "SWAP" },
{ "prim": "UNPAIR" },
{ "prim": "CAR" },
{ "prim": "DIG", "args": [ { "int": "5" } ] },
{ "prim": "SWAP" },
{ "prim": "PAIR" },
{ "prim": "PAIR" },
{ "prim": "SWAP" },
{ "prim": "PAIR" },
{ "prim": "SWAP" },
{ "prim": "PAIR" },
{ "prim": "SWAP" },
{ "prim": "PAIR" },
{ "prim": "DUG", "args": [ { "int": "2" } ] },
{ "prim": "PUSH", "args": [ { "prim": "nat" }, { "int": "0" } ] },
{ "prim": "DUP", "args": [ { "int": "4" } ] },
{ "prim": "CAR" },
{ "prim": "GET", "args": [ { "int": "5" } ] },
{ "prim": "CAR" },
{ "prim": "DUP", "args": [ { "int": "4" } ] },
{ "prim": "CAR" },
{ "prim": "GET" },
{ "prim": "IF_NONE", "args": [ [ { "prim": "PUSH", "args": [ { "prim": "int" }, { "int": "268" } ] }, { "prim": "FAILWITH" } ], [] ] },
{ "prim": "CDR" },
{ "prim": "COMPARE" },
{ "prim": "EQ" },
{
"prim": "IF",
"args": [
[
{ "prim": "DUP", "args": [ { "int": "3" } ] },
{ "prim": "CAR" },
{ "prim": "GET", "args": [ { "int": "5" } ] },
{ "prim": "CDR" },
{ "prim": "CONTRACT", "args": [ { "prim": "address" } ], "annots": [ "%removeFromLoans" ] },
{
"prim": "IF_NONE",
"args": [ [ { "prim": "PUSH", "args": [ { "prim": "int" }, { "int": "270" } ] }, { "prim": "FAILWITH" } ], [] ]
},
{ "prim": "PUSH", "args": [ { "prim": "mutez" }, { "int": "0" } ] },
{ "prim": "DIG", "args": [ { "int": "3" } ] },
{ "prim": "CAR" },
{ "prim": "TRANSFER_TOKENS" },
{ "prim": "CONS" }
],
[ { "prim": "SWAP" }, { "prim": "DROP" } ]
]
}
],
[
{ "prim": "DUP", "args": [ { "int": "2" } ] },
{ "prim": "GET", "args": [ { "int": "3" } ] },
{ "prim": "CAR" },
{ "prim": "GET", "args": [ { "int": "4" } ] },
{ "prim": "DUP", "args": [ { "int": "2" } ] },
{ "prim": "GET", "args": [ { "int": "3" } ] },
{ "prim": "MEM" },
{
"prim": "IF",
"args": [
[],
[
{ "prim": "SWAP" },
{ "prim": "UNPAIR" },
{ "prim": "SWAP" },
{ "prim": "UNPAIR" },
{ "prim": "UNPAIR" },
{ "prim": "UNPAIR" },
{ "prim": "SWAP" },
{ "prim": "UNPAIR" },
{ "prim": "SWAP" },
{
"prim": "PUSH",
"args": [
{
"prim": "option",
"args": [
{
"prim": "pair",
"args": [ { "prim": "map", "args": [ { "prim": "address" }, { "prim": "nat" } ] }, { "prim": "nat" } ]
}
]
},
{ "prim": "Some", "args": [ { "prim": "Pair", "args": [ [], { "int": "0" } ] } ] }
]
},
{ "prim": "DUP", "args": [ { "int": "8" } ] },
{ "prim": "GET", "args": [ { "int": "3" } ] },
{ "prim": "UPDATE" },
{ "prim": "SWAP" },
{ "prim": "PAIR" },
{ "prim": "SWAP" },
{ "prim": "PAIR" },
{ "prim": "PAIR" },
{ "prim": "PAIR" },
{ "prim": "SWAP" },
{ "prim": "PAIR" },
{ "prim": "SWAP" }
]
]
},
{ "prim": "DUP", "args": [ { "int": "2" } ] },
{ "prim": "CAR" },
{ "prim": "GET", "args": [ { "int": "5" } ] },
{ "prim": "CAR" },
{ "prim": "DUP", "args": [ { "int": "2" } ] },
{ "prim": "GET", "args": [ { "int": "3" } ] },
{ "prim": "MEM" },
{
"prim": "IF",
"args": [
[],
[
{ "prim": "SWAP" },
{ "prim": "UNPAIR" },
{ "prim": "UNPAIR" },
{ "prim": "SWAP" },
{ "prim": "UNPAIR" },
{ "prim": "SWAP" },
{ "prim": "UNPAIR" },
{ "prim": "UNPAIR" },
{
"prim": "PUSH",
"args": [
{ "prim": "option", "args": [ { "prim": "pair", "args": [ { "prim": "nat" }, { "prim": "nat" } ] } ] },
{ "prim": "Some", "args": [ { "prim": "Pair", "args": [ { "int": "0" }, { "int": "0" } ] } ] }
]
},
{ "prim": "DUP", "args": [ { "int": "8" } ] },
{ "prim": "GET", "args": [ { "int": "3" } ] },
{ "prim": "UPDATE" },
{ "prim": "PAIR" },
{ "prim": "PAIR" },
{ "prim": "SWAP" },
{ "prim": "PAIR" },
{ "prim": "SWAP" },
{ "prim": "PAIR" },
{ "prim": "PAIR" },
{ "prim": "SWAP" }
]
]
},
{ "prim": "DUP", "args": [ { "int": "2" } ] },
{ "prim": "CAR" },
{ "prim": "GET", "args": [ { "int": "5" } ] },
{ "prim": "CDR" },
{ "prim": "SELF_ADDRESS" },
{ "prim": "SENDER" },
{ "prim": "PAIR" },
{ "prim": "VIEW", "args": [ { "string": "seizeAllowed" }, { "prim": "bool" } ] },
{
"prim": "IF_NONE",
"args": [
[ { "prim": "PUSH", "args": [ { "prim": "string" }, { "string": "INVALID SEIZE ALLOWED VIEW" } ] }, { "prim": "FAILWITH" } ], []
]
},
{
"prim": "IF",
"args": [
[],
[
{ "prim": "PUSH", "args": [ { "prim": "string" }, { "string": "CT_LIQUIDATE_SEIZE_COMPTROLLER_REJECTION" } ] },
{ "prim": "FAILWITH" }
]
]
},
{ "prim": "DUP" },
{ "prim": "GET", "args": [ { "int": "3" } ] },
{ "prim": "DUP", "args": [ { "int": "2" } ] },
{ "prim": "CAR" },
{ "prim": "COMPARE" },
{ "prim": "NEQ" },
{
"prim": "IF",
"args": [
[],
[
{ "prim": "PUSH", "args": [ { "prim": "string" }, { "string": "CT_LIQUIDATE_SEIZE_LIQUIDATOR_IS_BORROWER" } ] },
{ "prim": "FAILWITH" }
]
]
},
{ "prim": "DUP", "args": [ { "int": "2" } ] },
{ "prim": "CAR" },
{ "prim": "CAR" },
{ "prim": "GET", "args": [ { "int": "3" } ] },
{ "prim": "LEVEL" },
{ "prim": "COMPARE" },
{ "prim": "EQ" },
{
"prim": "IF",
"args": [ [], [ { "prim": "PUSH", "args": [ { "prim": "string" }, { "string": "CT_INTEREST_OLD" } ] }, { "prim": "FAILWITH" } ] ]
},
{ "prim": "DUP", "args": [ { "int": "2" } ] },
{ "prim": "CAR" },
{ "prim": "GET", "args": [ { "int": "7" } ] },
{ "prim": "DUP", "args": [ { "int": "3" } ] },
{ "prim": "GET", "args": [ { "int": "3" } ] },
{ "prim": "GET", "args": [ { "int": "6" } ] },
{ "prim": "DUP", "args": [ { "int": "3" } ] },
{ "prim": "GET", "args": [ { "int": "4" } ] },
{ "prim": "MUL" },
{ "prim": "EDIV" },
{
"prim": "IF_NONE",
"args": [ [ { "prim": "PUSH", "args": [ { "prim": "int" }, { "int": "231" } ] }, { "prim": "FAILWITH" } ], [ { "prim": "CAR" } ] ]
},
{ "prim": "DUP", "args": [ { "int": "3" } ] },
{ "prim": "GET", "args": [ { "int": "3" } ] },
{ "prim": "CAR" },
{ "prim": "CAR" },
{ "prim": "PUSH", "args": [ { "prim": "nat" }, { "int": "0" } ] },
{ "prim": "DUP", "args": [ { "int": "5" } ] },
{ "prim": "GET", "args": [ { "int": "10" } ] },
{ "prim": "COMPARE" },
{ "prim": "GT" },
{
"prim": "IF",
"args": [
[
{ "prim": "DROP" },
{ "prim": "PUSH", "args": [ { "prim": "nat" }, { "int": "0" } ] },
{ "prim": "DUP", "args": [ { "int": "4" } ] },
{ "prim": "GET", "args": [ { "int": "10" } ] },
{ "prim": "COMPARE" },
{ "prim": "GT" },
{
"prim": "IF",
"args": [
[], [ { "prim": "PUSH", "args": [ { "prim": "string" }, { "string": "DIVISION_BY_ZERO" } ] }, { "prim": "FAILWITH" } ]
]
},
{ "prim": "DUP", "args": [ { "int": "3" } ] },
{ "prim": "GET", "args": [ { "int": "10" } ] },
{ "prim": "DUP", "args": [ { "int": "4" } ] },
{ "prim": "CAR" },
{ "prim": "GET", "args": [ { "int": "7" } ] },
{ "prim": "DUP", "args": [ { "int": "5" } ] },
{ "prim": "GET", "args": [ { "int": "9" } ] },
{ "prim": "DUP", "args": [ { "int": "6" } ] },
{ "prim": "GET", "args": [ { "int": "7" } ] },
{ "prim": "CDR" },
{ "prim": "PUSH", "args": [ { "prim": "nat" }, { "int": "0" } ] },
{ "prim": "PUSH", "args": [ { "prim": "nat" }, { "int": "1000000" } ] },
{ "prim": "DUP", "args": [ { "int": "9" } ] },
{ "prim": "GET", "args": [ { "int": "10" } ] },
{ "prim": "EDIV" },
{
"prim": "IF_NONE",
"args": [
[ { "prim": "PUSH", "args": [ { "prim": "int" }, { "int": "19" } ] }, { "prim": "FAILWITH" } ], [ { "prim": "CAR" } ]
]
},
{ "prim": "SUB" },
{ "prim": "ISNAT" },
{
"prim": "IF_NONE",
"args": [
[ { "prim": "PUSH", "args": [ { "prim": "string" }, { "string": "SUBTRACTION_UNDERFLOW" } ] }, { "prim": "FAILWITH" } ], []
]
},
{ "prim": "ADD" },
{ "prim": "SUB" },
{ "prim": "ISNAT" },
{
"prim": "IF_NONE",
"args": [ [ { "prim": "PUSH", "args": [ { "prim": "int" }, { "int": "671" } ] }, { "prim": "FAILWITH" } ], [] ]
},
{ "prim": "MUL" },
{ "prim": "EDIV" },
{
"prim": "IF_NONE",
"args": [
[ { "prim": "PUSH", "args": [ { "prim": "int" }, { "int": "257" } ] }, { "prim": "FAILWITH" } ], [ { "prim": "CAR" } ]
]
}
],
[]
]
},
{ "prim": "DUP", "args": [ { "int": "4" } ] },
{ "prim": "DUP" },
{ "prim": "GET", "args": [ { "int": "9" } ] },
{ "prim": "DIG", "args": [ { "int": "5" } ] },
{ "prim": "CAR" },
{ "prim": "GET", "args": [ { "int": "7" } ] },
{ "prim": "DUP", "args": [ { "int": "5" } ] },
{ "prim": "DIG", "args": [ { "int": "4" } ] },
{ "prim": "MUL" },
{ "prim": "EDIV" },
{
"prim": "IF_NONE",
"args": [ [ { "prim": "PUSH", "args": [ { "prim": "int" }, { "int": "61" } ] }, { "prim": "FAILWITH" } ], [ { "prim": "CAR" } ] ]
},
{ "prim": "ADD" },
{ "prim": "UPDATE", "args": [ { "int": "9" } ] },
{ "prim": "DUG", "args": [ { "int": "2" } ] },
{ "prim": "DUP" },
{ "prim": "DUP", "args": [ { "int": "4" } ] },
{ "prim": "GET", "args": [ { "int": "10" } ] },
{ "prim": "SUB" },
{ "prim": "ISNAT" },
{
"prim": "IF_NONE",
"args": [
[ { "prim": "PUSH", "args": [ { "prim": "string" }, { "string": "SUBTRACTION_UNDERFLOW" } ] }, { "prim": "FAILWITH" } ], []
]
},
{ "prim": "DIG", "args": [ { "int": "3" } ] },
{ "prim": "SWAP" },
{ "prim": "UPDATE", "args": [ { "int": "10" } ] },
{ "prim": "DUG", "args": [ { "int": "2" } ] },
{ "prim": "DUP", "args": [ { "int": "2" } ] },
{ "prim": "GET", "args": [ { "int": "4" } ] },
{ "prim": "DUP", "args": [ { "int": "4" } ] },
{ "prim": "GET", "args": [ { "int": "3" } ] },
{ "prim": "CAR" },
{ "prim": "GET", "args": [ { "int": "4" } ] },
{ "prim": "DUP", "args": [ { "int": "4" } ] },
{ "prim": "CAR" },
{ "prim": "GET" },
{ "prim": "IF_NONE", "args": [ [ { "prim": "PUSH", "args": [ { "prim": "int" }, { "int": "307" } ] }, { "prim": "FAILWITH" } ], [] ] },
{ "prim": "CDR" },
{ "prim": "SUB" },
{ "prim": "ISNAT" },
{
"prim": "IF_NONE",
"args": [
[ { "prim": "PUSH", "args": [ { "prim": "string" }, { "string": "SUBTRACTION_UNDERFLOW" } ] }, { "prim": "FAILWITH" } ], []
]
},
{ "prim": "DIG", "args": [ { "int": "3" } ] },
{ "prim": "UNPAIR" },
{ "prim": "SWAP" },
{ "prim": "UNPAIR" },
{ "prim": "UNPAIR" },
{ "prim": "UNPAIR" },
{ "prim": "SWAP" },
{ "prim": "UNPAIR" },
{ "prim": "SWAP" },
{ "prim": "DUP" },
{ "prim": "DUP", "args": [ { "int": "10" } ] },
{ "prim": "CAR" },
{ "prim": "DUP" },
{ "prim": "DUG", "args": [ { "int": "2" } ] },
{ "prim": "GET" },
{ "prim": "IF_NONE", "args": [ [ { "prim": "PUSH", "args": [ { "prim": "int" }, { "int": "334" } ] }, { "prim": "FAILWITH" } ], [] ] },
{ "prim": "DIG", "args": [ { "int": "8" } ] },
{ "prim": "UPDATE", "args": [ { "int": "2" } ] },
{ "prim": "SOME" },
{ "prim": "SWAP" },
{ "prim": "UPDATE" },
{ "prim": "DUP" },
{ "prim": "DUP", "args": [ { "int": "9" } ] },
{ "prim": "GET", "args": [ { "int": "3" } ] },
{ "prim": "DUP" },
{ "prim": "DUG", "args": [ { "int": "2" } ] },
{ "prim": "GET" },
{ "prim": "IF_NONE", "args": [ [ { "prim": "PUSH", "args": [ { "prim": "int" }, { "int": "335" } ] }, { "prim": "FAILWITH" } ], [] ] },
{ "prim": "DUP" },
{ "prim": "CDR" },
{ "prim": "DIG", "args": [ { "int": "9" } ] },
{ "prim": "DIG", "args": [ { "int": "10" } ] },
{ "prim": "GET", "args": [ { "int": "4" } ] },
{ "prim": "SUB" },
{ "prim": "ISNAT" },
{
"prim": "IF_NONE",
"args": [
[ { "prim": "PUSH", "args": [ { "prim": "string" }, { "string": "SUBTRACTION_UNDERFLOW" } ] }, { "prim": "FAILWITH" } ], []
]
},
{ "prim": "ADD" },
{ "prim": "UPDATE", "args": [ { "int": "2" } ] },
{ "prim": "SOME" },
{ "prim": "SWAP" },
{ "prim": "UPDATE" },
{ "prim": "SWAP" },
{ "prim": "PAIR" },
{ "prim": "SWAP" },
{ "prim": "PAIR" },
{ "prim": "PAIR" },
{ "prim": "PAIR" },
{ "prim": "SWAP" },
{ "prim": "PAIR" },
{ "prim": "NIL", "args": [ { "prim": "operation" } ] }
]
]
}
],
[
{
"prim": "IF_LEFT",
"args": [
[
{ "prim": "SWAP" },
{ "prim": "UNPAIR" },
{ "prim": "UNPAIR" },
{ "prim": "UNPAIR" },
{ "prim": "GET", "args": [ { "int": "4" } ] },
{ "prim": "DUP", "args": [ { "int": "5" } ] },
{ "prim": "GET", "args": [ { "int": "3" } ] },
{ "prim": "PAIR" },
{ "prim": "DUP", "args": [ { "int": "5" } ] },
{ "prim": "CAR" },
{ "prim": "CDR" },
{ "prim": "SWAP" },
{ "prim": "CAR" },
{ "prim": "DIG", "args": [ { "int": "5" } ] },
{ "prim": "GET", "args": [ { "int": "4" } ] },
{ "prim": "SWAP" },
{ "prim": "PAIR" },
{ "prim": "SWAP" },
{ "prim": "PAIR" },
{ "prim": "PAIR" },
{ "prim": "PAIR" },
{ "prim": "PAIR" }
],
[
{ "prim": "SWAP" },
{ "prim": "UNPAIR" },
{ "prim": "UNPAIR" },
{ "prim": "UNPAIR" },
{ "prim": "SWAP" },
{ "prim": "UNPAIR" },
{ "prim": "SWAP" },
{ "prim": "UNPAIR" },
{ "prim": "PUSH", "args": [ { "prim": "bool" }, { "prim": "True" } ] },
{ "prim": "DIG", "args": [ { "int": "7" } ] },
{ "prim": "UPDATE" },
{ "prim": "PAIR" },
{ "prim": "SWAP" },
{ "prim": "PAIR" },
{ "prim": "SWAP" },
{ "prim": "PAIR" },
{ "prim": "PAIR" },
{ "prim": "PAIR" }
]
]
},
{ "prim": "NIL", "args": [ { "prim": "operation" } ] }
]
]
}
]
]
}
],
[
{
"prim": "IF_LEFT",
"args": [
[
{
"prim": "IF_LEFT",
"args": [
[
{
"prim": "IF_LEFT",
"args": [
[
{ "prim": "DUP", "args": [ { "int": "2" } ] },
{ "prim": "CAR" },
{ "prim": "CAR" },
{ "prim": "GET", "args": [ { "int": "6" } ] },
{ "prim": "SENDER" },
{ "prim": "COMPARE" },
{ "prim": "EQ" },
{
"prim": "IF",
"args": [ [], [ { "prim": "PUSH", "args": [ { "prim": "string" }, { "string": "CT_NOT_ADMIN" } ] }, { "prim": "FAILWITH" } ] ]
},
{ "prim": "PUSH", "args": [ { "prim": "nat" }, { "int": "0" } ] },
{ "prim": "DUP", "args": [ { "int": "3" } ] },
{ "prim": "CAR" },
{ "prim": "CAR" },
{ "prim": "GET", "args": [ { "int": "5" } ] },
{ "prim": "SIZE" },
{ "prim": "COMPARE" },
{ "prim": "EQ" },
{
"prim": "IF",
"args": [ [], [ { "prim": "PUSH", "args": [ { "prim": "string" }, { "string": "OP_IN_PROGRESS" } ] }, { "prim": "FAILWITH" } ] ]
},
{ "prim": "SWAP" },
{ "prim": "UNPAIR" },
{ "prim": "UNPAIR" },
{ "prim": "UNPAIR" },
{ "prim": "SWAP" },
{ "prim": "UNPAIR" },
{ "prim": "SWAP" },
{ "prim": "UNPAIR" },
{ "prim": "PUSH", "args": [ { "prim": "bool" }, { "prim": "True" } ] },
{ "prim": "PUSH", "args": [ { "prim": "nat" }, { "int": "9" } ] },
{ "prim": "UPDATE" },
{ "prim": "PAIR" },
{ "prim": "SWAP" },
{ "prim": "PAIR" },
{ "prim": "SWAP" },
{ "prim": "PAIR" },
{ "prim": "PAIR" },
{ "prim": "PAIR" },
{ "prim": "SWAP" },
{ "prim": "NIL", "args": [ { "prim": "operation" } ] },
{ "prim": "SELF", "annots": [ "%accrueInterest" ] },
{ "prim": "PUSH", "args": [ { "prim": "mutez" }, { "int": "0" } ] },
{ "prim": "UNIT" },
{ "prim": "TRANSFER_TOKENS" },
{ "prim": "CONS" },
{ "prim": "SELF", "annots": [ "%setInterestRateModelInternal" ] },
{ "prim": "PUSH", "args": [ { "prim": "mutez" }, { "int": "0" } ] },
{ "prim": "DIG", "args": [ { "int": "3" } ] },
{ "prim": "TRANSFER_TOKENS" },
{ "prim": "CONS" }
],
[
{ "prim": "DUP", "args": [ { "int": "2" } ] },
{ "prim": "CAR" },
{ "prim": "CAR" },
{ "prim": "GET", "args": [ { "int": "6" } ] },
{ "prim": "SENDER" },
{ "prim": "COMPARE" },
{ "prim": "EQ" },
{
"prim": "IF",
"args": [ [], [ { "prim": "PUSH", "args": [ { "prim": "string" }, { "string": "CT_NOT_ADMIN" } ] }, { "prim": "FAILWITH" } ] ]
},
{ "prim": "PUSH", "args": [ { "prim": "nat" }, { "int": "0" } ] },
{ "prim": "DUP", "args": [ { "int": "3" } ] },
{ "prim": "CAR" },
{ "prim": "CAR" },
{ "prim": "GET", "args": [ { "int": "5" } ] },
{ "prim": "SIZE" },
{ "prim": "COMPARE" },
{ "prim": "EQ" },
{
"prim": "IF",
"args": [ [], [ { "prim": "PUSH", "args": [ { "prim": "string" }, { "string": "OP_IN_PROGRESS" } ] }, { "prim": "FAILWITH" } ] ]
},
{ "prim": "SWAP" },
{ "prim": "UNPAIR" },
{ "prim": "UNPAIR" },
{ "prim": "UNPAIR" },
{ "prim": "SWAP" },
{ "prim": "UNPAIR" },
{ "prim": "SWAP" },
{ "prim": "UNPAIR" },
{ "prim": "PUSH", "args": [ { "prim": "bool" }, { "prim": "True" } ] },
{ "prim": "PUSH", "args": [ { "prim": "nat" }, { "int": "10" } ] },
{ "prim": "UPDATE" },
{ "prim": "PAIR" },
{ "prim": "SWAP" },
{ "prim": "PAIR" },
{ "prim": "SWAP" },
{ "prim": "PAIR" },
{ "prim": "PAIR" },
{ "prim": "PAIR" },
{ "prim": "SWAP" },
{ "prim": "NIL", "args": [ { "prim": "operation" } ] },
{ "prim": "SELF", "annots": [ "%accrueInterest" ] },
{ "prim": "PUSH", "args": [ { "prim": "mutez" }, { "int": "0" } ] },
{ "prim": "UNIT" },
{ "prim": "TRANSFER_TOKENS" },
{ "prim": "CONS" },
{ "prim": "SELF", "annots": [ "%setReserveFactorInternal" ] },
{ "prim": "PUSH", "args": [ { "prim": "mutez" }, { "int": "0" } ] },
{ "prim": "DIG", "args": [ { "int": "3" } ] },
{ "prim": "TRANSFER_TOKENS" },
{ "prim": "CONS" }
]
]
}
],
[
{
"prim": "IF_LEFT",
"args": [
[
{ "prim": "NIL", "args": [ { "prim": "operation" } ] },
{ "prim": "DUP", "args": [ { "int": "2" } ] },
{ "prim": "CDR" },
{
"prim": "CONTRACT",
"args": [
{
"prim": "pair",
"args": [
{ "prim": "address", "annots": [ "%from" ] },
{ "prim": "pair", "args": [ { "prim": "address", "annots": [ "%to" ] }, { "prim": "nat", "annots": [ "%value" ] } ] }
]
}
],
"annots": [ "%transfer" ]
},
{ "prim": "IF_NONE", "args": [ [ { "prim": "PUSH", "args": [ { "prim": "int" }, { "int": "17" } ] }, { "prim": "FAILWITH" } ], [] ] },
{ "prim": "PUSH", "args": [ { "prim": "mutez" }, { "int": "0" } ] },
{ "prim": "DIG", "args": [ { "int": "3" } ] },
{ "prim": "CAR" },
{ "prim": "DUP", "args": [ { "int": "5" } ] },
{ "prim": "CAR" },
{ "prim": "CAR" },
{ "prim": "GET", "args": [ { "int": "6" } ] },
{ "prim": "SELF_ADDRESS" },
{ "prim": "PAIR", "args": [ { "int": "3" } ] },
{ "prim": "TRANSFER_TOKENS" },
{ "prim": "CONS" }
],
[
{ "prim": "NIL", "args": [ { "prim": "operation" } ] },
{ "prim": "DUP", "args": [ { "int": "2" } ] },
{ "prim": "GET", "args": [ { "int": "4" } ] },
{
"prim": "CONTRACT",
"args": [
{
"prim": "list",
"args": [
{
"prim": "pair",
"args": [
{ "prim": "address", "annots": [ "%from_" ] },
{
"prim": "list",
"args": [
{
"prim": "pair",
"args": [
{ "prim": "address", "annots": [ "%to_" ] },
{
"prim": "pair",
"args": [ { "prim": "nat", "annots": [ "%token_id" ] }, { "prim": "nat", "annots": [ "%amount" ] } ]
}
]
}
],
"annots": [ "%txs" ]
}
]
}
]
}
],
"annots": [ "%transfer" ]
},
{ "prim": "IF_NONE", "args": [ [ { "prim": "PUSH", "args": [ { "prim": "int" }, { "int": "43" } ] }, { "prim": "FAILWITH" } ], [] ] },
{ "prim": "PUSH", "args": [ { "prim": "mutez" }, { "int": "0" } ] },
{
"prim": "NIL",
"args": [
{
"prim": "pair",
"args": [
{ "prim": "address" },
{
"prim": "list",
"args": [
{ "prim": "pair", "args": [ { "prim": "address" }, { "prim": "pair", "args": [ { "prim": "nat" }, { "prim": "nat" } ] } ] }
]
}
]
}
]
},
{
"prim": "NIL",
"args": [
{ "prim": "pair", "args": [ { "prim": "address" }, { "prim": "pair", "args": [ { "prim": "nat" }, { "prim": "nat" } ] } ] }
]
},
{ "prim": "DIG", "args": [ { "int": "5" } ] },
{ "prim": "DUP" },
{ "prim": "CAR" },
{ "prim": "SWAP" },
{ "prim": "GET", "args": [ { "int": "3" } ] },
{ "prim": "DUP", "args": [ { "int": "8" } ] },
{ "prim": "CAR" },
{ "prim": "CAR" },
{ "prim": "GET", "args": [ { "int": "6" } ] },
{ "prim": "PAIR", "args": [ { "int": "3" } ] },
{ "prim": "CONS" },
{ "prim": "SELF_ADDRESS" },
{ "prim": "PAIR" },
{ "prim": "CONS" },
{ "prim": "TRANSFER_TOKENS" },
{ "prim": "CONS" }
]
]
}
]
]
}
],
[
{
"prim": "IF_LEFT",
"args": [
[
{
"prim": "IF_LEFT",
"args": [
[
{
"prim": "IF",
"args": [
[
{ "prim": "NIL", "args": [ { "prim": "operation" } ] },
{ "prim": "DUP", "args": [ { "int": "2" } ] },
{ "prim": "CAR" },
{ "prim": "CAR" },
{ "prim": "GET", "args": [ { "int": "6" } ] },
{ "prim": "CONTRACT", "args": [ { "prim": "unit" } ], "annots": [ "%receive" ] },
{
"prim": "IF_NONE",
"args": [ [ { "prim": "PUSH", "args": [ { "prim": "int" }, { "int": "21" } ] }, { "prim": "FAILWITH" } ], [] ]
},
{ "prim": "BALANCE" },
{ "prim": "UNIT" },
{ "prim": "TRANSFER_TOKENS" },
{ "prim": "CONS" }
],
[
{ "prim": "NIL", "args": [ { "prim": "operation" } ] },
{ "prim": "DUP", "args": [ { "int": "2" } ] },
{ "prim": "CAR" },
{ "prim": "CAR" },
{ "prim": "GET", "args": [ { "int": "6" } ] },
{ "prim": "CONTRACT", "args": [ { "prim": "unit" } ] },
{
"prim": "IF_NONE",
"args": [ [ { "prim": "PUSH", "args": [ { "prim": "int" }, { "int": "24" } ] }, { "prim": "FAILWITH" } ], [] ]
},
{ "prim": "BALANCE" },
{ "prim": "UNIT" },
{ "prim": "TRANSFER_TOKENS" },
{ "prim": "CONS" }
]
]
}
],
[
{ "prim": "SENDER" },
{ "prim": "DUP", "args": [ { "int": "2" } ] },
{ "prim": "CAR" },
{ "prim": "COMPARE" },
{ "prim": "EQ" },
{
"prim": "IF",
"args": [
[ { "prim": "PUSH", "args": [ { "prim": "bool" }, { "prim": "True" } ] } ],
[
{ "prim": "DUP" },
{ "prim": "GET", "args": [ { "int": "4" } ] },
{ "prim": "DUP", "args": [ { "int": "3" } ] },
{ "prim": "GET", "args": [ { "int": "3" } ] },
{ "prim": "CAR" },
{ "prim": "GET", "args": [ { "int": "4" } ] },
{ "prim": "DUP", "args": [ { "int": "3" } ] },
{ "prim": "CAR" },
{ "prim": "GET" },
{
"prim": "IF_NONE",
"args": [ [ { "prim": "PUSH", "args": [ { "prim": "int" }, { "int": "404" } ] }, { "prim": "FAILWITH" } ], [] ]
},
{ "prim": "CAR" },
{ "prim": "SENDER" },
{ "prim": "GET" },
{
"prim": "IF_NONE",
"args": [ [ { "prim": "PUSH", "args": [ { "prim": "int" }, { "int": "404" } ] }, { "prim": "FAILWITH" } ], [] ]
},
{ "prim": "COMPARE" },
{ "prim": "GE" }
]
]
},
{
"prim": "IF",
"args": [ [], [ { "prim": "PUSH", "args": [ { "prim": "string" }, { "string": "FA1.2_NotAllowed" } ] }, { "prim": "FAILWITH" } ] ]
},
{ "prim": "SELF_ADDRESS" },
{ "prim": "SENDER" },
{ "prim": "COMPARE" },
{ "prim": "NEQ" },
{
"prim": "IF",
"args": [ [], [ { "prim": "PUSH", "args": [ { "prim": "string" }, { "string": "CT_INTERNAL_CALL" } ] }, { "prim": "FAILWITH" } ] ]
},
{ "prim": "DUP", "args": [ { "int": "2" } ] },
{ "prim": "GET", "args": [ { "int": "3" } ] },
{ "prim": "CAR" },
{ "prim": "GET", "args": [ { "int": "4" } ] },
{ "prim": "DUP", "args": [ { "int": "2" } ] },
{ "prim": "GET", "args": [ { "int": "3" } ] },
{ "prim": "MEM" },
{
"prim": "IF",
"args": [
[],
[
{ "prim": "SWAP" },
{ "prim": "UNPAIR" },
{ "prim": "SWAP" },
{ "prim": "UNPAIR" },
{ "prim": "UNPAIR" },
{ "prim": "UNPAIR" },
{ "prim": "SWAP" },
{ "prim": "UNPAIR" },
{ "prim": "SWAP" },
{
"prim": "PUSH",
"args": [
{
"prim": "option",
"args": [
{
"prim": "pair",
"args": [ { "prim": "map", "args": [ { "prim": "address" }, { "prim": "nat" } ] }, { "prim": "nat" } ]
}
]
},
{ "prim": "Some", "args": [ { "prim": "Pair", "args": [ [], { "int": "0" } ] } ] }
]
},
{ "prim": "DUP", "args": [ { "int": "8" } ] },
{ "prim": "GET", "args": [ { "int": "3" } ] },
{ "prim": "UPDATE" },
{ "prim": "SWAP" },
{ "prim": "PAIR" },
{ "prim": "SWAP" },
{ "prim": "PAIR" },
{ "prim": "PAIR" },
{ "prim": "PAIR" },
{ "prim": "SWAP" },
{ "prim": "PAIR" },
{ "prim": "SWAP" }
]
]
},
{ "prim": "DUP", "args": [ { "int": "2" } ] },
{ "prim": "CAR" },
{ "prim": "GET", "args": [ { "int": "5" } ] },
{ "prim": "CAR" },
{ "prim": "DUP", "args": [ { "int": "2" } ] },
{ "prim": "GET", "args": [ { "int": "3" } ] },
{ "prim": "MEM" },
{
"prim": "IF",
"args": [
[],
[
{ "prim": "SWAP" },
{ "prim": "UNPAIR" },
{ "prim": "UNPAIR" },
{ "prim": "SWAP" },
{ "prim": "UNPAIR" },
{ "prim": "SWAP" },
{ "prim": "UNPAIR" },
{ "prim": "UNPAIR" },
{
"prim": "PUSH",
"args": [
{ "prim": "option", "args": [ { "prim": "pair", "args": [ { "prim": "nat" }, { "prim": "nat" } ] } ] },
{ "prim": "Some", "args": [ { "prim": "Pair", "args": [ { "int": "0" }, { "int": "0" } ] } ] }
]
},
{ "prim": "DUP", "args": [ { "int": "8" } ] },
{ "prim": "GET", "args": [ { "int": "3" } ] },
{ "prim": "UPDATE" },
{ "prim": "PAIR" },
{ "prim": "PAIR" },
{ "prim": "SWAP" },
{ "prim": "PAIR" },
{ "prim": "SWAP" },
{ "prim": "PAIR" },
{ "prim": "PAIR" },
{ "prim": "SWAP" }
]
]
},
{ "prim": "NIL", "args": [ { "prim": "operation" } ] },
{ "prim": "DUP", "args": [ { "int": "3" } ] },
{ "prim": "CAR" },
{ "prim": "GET", "args": [ { "int": "5" } ] },
{ "prim": "CDR" },
{
"prim": "CONTRACT",
"args": [
{
"prim": "pair",
"args": [
{ "prim": "pair", "args": [ { "prim": "address", "annots": [ "%cToken" ] }, { "prim": "address", "annots": [ "%src" ] } ] },
{ "prim": "pair", "args": [ { "prim": "address", "annots": [ "%dst" ] }, { "prim": "nat", "annots": [ "%transferTokens" ] } ] }
]
}
],
"annots": [ "%transferAllowed" ]
},
{ "prim": "IF_NONE", "args": [ [ { "prim": "PUSH", "args": [ { "prim": "int" }, { "int": "427" } ] }, { "prim": "FAILWITH" } ], [] ] },
{ "prim": "PUSH", "args": [ { "prim": "mutez" }, { "int": "0" } ] },
{ "prim": "DUP", "args": [ { "int": "4" } ] },
{ "prim": "GET", "args": [ { "int": "4" } ] },
{ "prim": "DUP", "args": [ { "int": "5" } ] },
{ "prim": "GET", "args": [ { "int": "3" } ] },
{ "prim": "PAIR" },
{ "prim": "DUP", "args": [ { "int": "5" } ] },
{ "prim": "CAR" },
{ "prim": "SELF_ADDRESS" },
{ "prim": "PAIR" },
{ "prim": "PAIR" },
{ "prim": "TRANSFER_TOKENS" },
{ "prim": "CONS" },
{ "prim": "DUP", "args": [ { "int": "2" } ] },
{ "prim": "GET", "args": [ { "int": "4" } ] },
{ "prim": "DUP", "args": [ { "int": "4" } ] },
{ "prim": "GET", "args": [ { "int": "3" } ] },
{ "prim": "CAR" },
{ "prim": "GET", "args": [ { "int": "4" } ] },
{ "prim": "DUP", "args": [ { "int": "4" } ] },
{ "prim": "CAR" },
{ "prim": "GET" },
{ "prim": "IF_NONE", "args": [ [ { "prim": "PUSH", "args": [ { "prim": "int" }, { "int": "413" } ] }, { "prim": "FAILWITH" } ], [] ] },
{ "prim": "CDR" },
{ "prim": "COMPARE" },
{ "prim": "GE" },
{
"prim": "IF",
"args": [
[], [ { "prim": "PUSH", "args": [ { "prim": "string" }, { "string": "FA1.2_InsufficientBalance" } ] }, { "prim": "FAILWITH" } ]
]
},
{ "prim": "DUP", "args": [ { "int": "2" } ] },
{ "prim": "GET", "args": [ { "int": "4" } ] },
{ "prim": "DUP", "args": [ { "int": "4" } ] },
{ "prim": "GET", "args": [ { "int": "3" } ] },
{ "prim": "CAR" },
{ "prim": "GET", "args": [ { "int": "4" } ] },
{ "prim": "DUP", "args": [ { "int": "4" } ] },
{ "prim": "CAR" },
{ "prim": "GET" },
{ "prim": "IF_NONE", "args": [ [ { "prim": "PUSH", "args": [ { "prim": "int" }, { "int": "416" } ] }, { "prim": "FAILWITH" } ], [] ] },
{ "prim": "CDR" },
{ "prim": "SUB" },
{ "prim": "ISNAT" },
{ "prim": "IF_NONE", "args": [ [ { "prim": "PUSH", "args": [ { "prim": "int" }, { "int": "415" } ] }, { "prim": "FAILWITH" } ], [] ] },
{ "prim": "DIG", "args": [ { "int": "3" } ] },
{ "prim": "UNPAIR" },
{ "prim": "SWAP" },
{ "prim": "UNPAIR" },
{ "prim": "UNPAIR" },
{ "prim": "UNPAIR" },
{ "prim": "SWAP" },
{ "prim": "UNPAIR" },
{ "prim": "SWAP" },
{ "prim": "DUP" },
{ "prim": "DUP", "args": [ { "int": "10" } ] },
{ "prim": "CAR" },
{ "prim": "DUP" },
{ "prim": "DUG", "args": [ { "int": "2" } ] },
{ "prim": "GET" },
{ "prim": "IF_NONE", "args": [ [ { "prim": "PUSH", "args": [ { "prim": "int" }, { "int": "415" } ] }, { "prim": "FAILWITH" } ], [] ] },
{ "prim": "DIG", "args": [ { "int": "8" } ] },
{ "prim": "UPDATE", "args": [ { "int": "2" } ] },
{ "prim": "SOME" },
{ "prim": "SWAP" },
{ "prim": "UPDATE" },
{ "prim": "DUP" },
{ "prim": "DUP", "args": [ { "int": "9" } ] },
{ "prim": "GET", "args": [ { "int": "3" } ] },
{ "prim": "DUP" },
{ "prim": "DUG", "args": [ { "int": "2" } ] },
{ "prim": "GET" },
{ "prim": "IF_NONE", "args": [ [ { "prim": "PUSH", "args": [ { "prim": "int" }, { "int": "417" } ] }, { "prim": "FAILWITH" } ], [] ] },
{ "prim": "DUP" },
{ "prim": "CDR" },
{ "prim": "DUP", "args": [ { "int": "11" } ] },
{ "prim": "GET", "args": [ { "int": "4" } ] },
{ "prim": "ADD" },
{ "prim": "UPDATE", "args": [ { "int": "2" } ] },
{ "prim": "SOME" },
{ "prim": "SWAP" },
{ "prim": "UPDATE" },
{ "prim": "SWAP" },
{ "prim": "PAIR" },
{ "prim": "SWAP" },
{ "prim": "PAIR" },
{ "prim": "PAIR" },
{ "prim": "PAIR" },
{ "prim": "SWAP" },
{ "prim": "PAIR" },
{ "prim": "DUG", "args": [ { "int": "2" } ] },
{ "prim": "SENDER" },
{ "prim": "DUP", "args": [ { "int": "3" } ] },
{ "prim": "CAR" },
{ "prim": "COMPARE" },
{ "prim": "NEQ" },
{
"prim": "IF",
"args": [
[
{ "prim": "DUP", "args": [ { "int": "3" } ] },
{ "prim": "UNPAIR" },
{ "prim": "SWAP" },
{ "prim": "UNPAIR" },
{ "prim": "UNPAIR" },
{ "prim": "UNPAIR" },
{ "prim": "SWAP" },
{ "prim": "UNPAIR" },
{ "prim": "SWAP" },
{ "prim": "DUP" },
{ "prim": "DUP", "args": [ { "int": "9" } ] },
{ "prim": "CAR" },
{ "prim": "DUP" },
{ "prim": "DUG", "args": [ { "int": "2" } ] },
{ "prim": "GET" },
{
"prim": "IF_NONE",
"args": [ [ { "prim": "PUSH", "args": [ { "prim": "int" }, { "int": "419" } ] }, { "prim": "FAILWITH" } ], [] ]
},
{ "prim": "DUP" },
{ "prim": "CAR" },
{ "prim": "DUP", "args": [ { "int": "11" } ] },
{ "prim": "GET", "args": [ { "int": "4" } ] },
{ "prim": "DIG", "args": [ { "int": "12" } ] },
{ "prim": "GET", "args": [ { "int": "3" } ] },
{ "prim": "CAR" },
{ "prim": "GET", "args": [ { "int": "4" } ] },
{ "prim": "DUP", "args": [ { "int": "13" } ] },
{ "prim": "CAR" },
{ "prim": "GET" },
{
"prim": "IF_NONE",
"args": [ [ { "prim": "PUSH", "args": [ { "prim": "int" }, { "int": "420" } ] }, { "prim": "FAILWITH" } ], [] ]
},
{ "prim": "CAR" },
{ "prim": "SENDER" },
{ "prim": "GET" },
{
"prim": "IF_NONE",
"args": [ [ { "prim": "PUSH", "args": [ { "prim": "int" }, { "int": "420" } ] }, { "prim": "FAILWITH" } ], [] ]
},
{ "prim": "SUB" },
{ "prim": "ISNAT" },
{
"prim": "IF_NONE",
"args": [ [ { "prim": "PUSH", "args": [ { "prim": "int" }, { "int": "419" } ] }, { "prim": "FAILWITH" } ], [] ]
},
{ "prim": "SOME" },
{ "prim": "SENDER" },
{ "prim": "UPDATE" },
{ "prim": "UPDATE", "args": [ { "int": "1" } ] },
{ "prim": "SOME" },
{ "prim": "SWAP" },
{ "prim": "UPDATE" },
{ "prim": "SWAP" },
{ "prim": "PAIR" },
{ "prim": "SWAP" },
{ "prim": "PAIR" },
{ "prim": "PAIR" },
{ "prim": "PAIR" },
{ "prim": "SWAP" },
{ "prim": "PAIR" },
{ "prim": "DUG", "args": [ { "int": "2" } ] },
{ "prim": "PUSH", "args": [ { "prim": "nat" }, { "int": "0" } ] },
{ "prim": "DUP", "args": [ { "int": "4" } ] },
{ "prim": "GET", "args": [ { "int": "3" } ] },
{ "prim": "CAR" },
{ "prim": "GET", "args": [ { "int": "4" } ] },
{ "prim": "DUP", "args": [ { "int": "4" } ] },
{ "prim": "CAR" },
{ "prim": "GET" },
{
"prim": "IF_NONE",
"args": [ [ { "prim": "PUSH", "args": [ { "prim": "int" }, { "int": "421" } ] }, { "prim": "FAILWITH" } ], [] ]
},
{ "prim": "CAR" },
{ "prim": "SENDER" },
{ "prim": "GET" },
{
"prim": "IF_NONE",
"args": [ [ { "prim": "PUSH", "args": [ { "prim": "int" }, { "int": "421" } ] }, { "prim": "FAILWITH" } ], [] ]
},
{ "prim": "COMPARE" },
{ "prim": "EQ" },
{
"prim": "IF",
"args": [
[
{ "prim": "DIG", "args": [ { "int": "2" } ] },
{ "prim": "UNPAIR" },
{ "prim": "SWAP" },
{ "prim": "UNPAIR" },
{ "prim": "UNPAIR" },
{ "prim": "UNPAIR" },
{ "prim": "SWAP" },
{ "prim": "UNPAIR" },
{ "prim": "SWAP" },
{ "prim": "DUP" },
{ "prim": "DIG", "args": [ { "int": "8" } ] },
{ "prim": "CAR" },
{ "prim": "DUP" },
{ "prim": "DUG", "args": [ { "int": "2" } ] },
{ "prim": "GET" },
{
"prim": "IF_NONE",
"args": [ [ { "prim": "PUSH", "args": [ { "prim": "int" }, { "int": "422" } ] }, { "prim": "FAILWITH" } ], [] ]
},
{ "prim": "DUP" },
{ "prim": "CAR" },
{ "prim": "NONE", "args": [ { "prim": "nat" } ] },
{ "prim": "SENDER" },
{ "prim": "UPDATE" },
{ "prim": "UPDATE", "args": [ { "int": "1" } ] },
{ "prim": "SOME" },
{ "prim": "SWAP" },
{ "prim": "UPDATE" },
{ "prim": "SWAP" },
{ "prim": "PAIR" },
{ "prim": "SWAP" },
{ "prim": "PAIR" },
{ "prim": "PAIR" },
{ "prim": "PAIR" },
{ "prim": "SWAP" },
{ "prim": "PAIR" },
{ "prim": "SWAP" }
],
[ { "prim": "SWAP" }, { "prim": "DROP" } ]
]
}
],
[ { "prim": "SWAP" }, { "prim": "DROP" } ]
]
}
]
]
}
],
[
{
"prim": "IF_LEFT",
"args": [
[
{ "prim": "NIL", "args": [ { "prim": "operation" } ] },
{ "prim": "SELF", "annots": [ "%getAccountSnapshot" ] },
{ "prim": "PUSH", "args": [ { "prim": "mutez" }, { "int": "0" } ] },
{ "prim": "SELF", "annots": [ "%setAccountSnapshot" ] },
{ "prim": "DIG", "args": [ { "int": "4" } ] },
{ "prim": "PAIR" },
{ "prim": "TRANSFER_TOKENS" },
{ "prim": "CONS" }
],
[
{ "prim": "DUP", "args": [ { "int": "2" } ] },
{ "prim": "CAR" },
{ "prim": "CAR" },
{ "prim": "GET", "args": [ { "int": "6" } ] },
{ "prim": "SENDER" },
{ "prim": "COMPARE" },
{ "prim": "EQ" },
{
"prim": "IF",
"args": [ [], [ { "prim": "PUSH", "args": [ { "prim": "string" }, { "string": "CT_NOT_ADMIN" } ] }, { "prim": "FAILWITH" } ] ]
},
{ "prim": "SWAP" },
{ "prim": "UNPAIR" },
{ "prim": "SWAP" },
{ "prim": "UNPAIR" },
{ "prim": "UNPAIR" },
{ "prim": "SWAP" },
{ "prim": "UNPAIR" },
{ "prim": "DUP", "args": [ { "int": "6" } ] },
{ "prim": "CDR" },
{ "prim": "SOME" },
{ "prim": "DIG", "args": [ { "int": "6" } ] },
{ "prim": "CAR" },
{ "prim": "UPDATE" },
{ "prim": "PAIR" },
{ "prim": "SWAP" },
{ "prim": "PAIR" },
{ "prim": "PAIR" },
{ "prim": "SWAP" },
{ "prim": "PAIR" },
{ "prim": "NIL", "args": [ { "prim": "operation" } ] }
]
]
}
]
]
}
]
]
}
]
]
}
]
]
}
]
]
},
{ "prim": "NIL", "args": [ { "prim": "operation" } ] },
{ "prim": "SWAP" },
{ "prim": "ITER", "args": [ [ { "prim": "CONS" } ] ] },
{ "prim": "DUG", "args": [ { "int": "2" } ] },
{ "prim": "PAIR" },
{ "prim": "SWAP" },
{ "prim": "PAIR" }
]
]
},
{
"prim": "view",
"args": [
{ "string": "accrualBlockNumber" },
{ "prim": "unit" },
{ "prim": "nat" },
[ { "prim": "GET", "args": [ { "int": "3" } ] }, { "prim": "CAR" }, { "prim": "CAR" }, { "prim": "GET", "args": [ { "int": "3" } ] } ]
]
},
{
"prim": "view",
"args": [
{ "string": "balanceOf" },
{ "prim": "address" },
{ "prim": "nat" },
[
{ "prim": "UNPAIR", "args": [ { "int": "3" } ] },
{ "prim": "PUSH", "args": [ { "prim": "nat" }, { "int": "0" } ] },
{ "prim": "DUP", "args": [ { "int": "3" } ] },
{ "prim": "GET", "args": [ { "int": "3" } ] },
{ "prim": "CAR" },
{ "prim": "GET", "args": [ { "int": "4" } ] },
{ "prim": "DUP", "args": [ { "int": "3" } ] },
{ "prim": "MEM" },
{
"prim": "IF",
"args": [
[
{ "prim": "DROP" },
{ "prim": "DIG", "args": [ { "int": "2" } ] },
{ "prim": "DROP" },
{ "prim": "SWAP" },
{ "prim": "GET", "args": [ { "int": "3" } ] },
{ "prim": "CAR" },
{ "prim": "GET", "args": [ { "int": "4" } ] },
{ "prim": "SWAP" },
{ "prim": "GET" },
{ "prim": "IF_NONE", "args": [ [ { "prim": "PUSH", "args": [ { "prim": "int" }, { "int": "503" } ] }, { "prim": "FAILWITH" } ], [] ] },
{ "prim": "CDR" }
],
[ { "prim": "SWAP" }, { "prim": "DROP" }, { "prim": "SWAP" }, { "prim": "DROP" }, { "prim": "SWAP" }, { "prim": "DROP" } ]
]
}
]
]
},
{
"prim": "view",
"args": [
{ "string": "borrowBalanceStoredView" },
{ "prim": "address" },
{ "prim": "nat" },
[
{ "prim": "UNPAIR", "args": [ { "int": "3" } ] },
{ "prim": "PUSH", "args": [ { "prim": "nat" }, { "int": "0" } ] },
{ "prim": "DUP", "args": [ { "int": "3" } ] },
{ "prim": "CAR" },
{ "prim": "GET", "args": [ { "int": "5" } ] },
{ "prim": "CAR" },
{ "prim": "DUP", "args": [ { "int": "3" } ] },
{ "prim": "MEM" },
{
"prim": "IF",
"args": [
[
{ "prim": "DUP", "args": [ { "int": "3" } ] },
{ "prim": "CAR" },
{ "prim": "GET", "args": [ { "int": "5" } ] },
{ "prim": "CAR" },
{ "prim": "DUP", "args": [ { "int": "3" } ] },
{ "prim": "GET" },
{ "prim": "IF_NONE", "args": [ [ { "prim": "PUSH", "args": [ { "prim": "int" }, { "int": "628" } ] }, { "prim": "FAILWITH" } ], [] ] },
{ "prim": "PUSH", "args": [ { "prim": "nat" }, { "int": "0" } ] },
{ "prim": "DUP", "args": [ { "int": "2" } ] },
{ "prim": "CDR" },
{ "prim": "COMPARE" },
{ "prim": "GT" },
{
"prim": "IF",
"args": [
[
{ "prim": "SWAP" },
{ "prim": "DROP" },
{ "prim": "SWAP" },
{ "prim": "DROP" },
{ "prim": "DIG", "args": [ { "int": "2" } ] },
{ "prim": "DROP" },
{ "prim": "DUP" },
{ "prim": "CAR" },
{ "prim": "DIG", "args": [ { "int": "2" } ] },
{ "prim": "CAR" },
{ "prim": "GET", "args": [ { "int": "3" } ] },
{ "prim": "CAR" },
{ "prim": "DIG", "args": [ { "int": "2" } ] },
{ "prim": "CDR" },
{ "prim": "MUL" },
{ "prim": "EDIV" },
{ "prim": "IF_NONE", "args": [ [ { "prim": "PUSH", "args": [ { "prim": "int" }, { "int": "631" } ] }, { "prim": "FAILWITH" } ], [ { "prim": "CAR" } ] ] }
],
[ { "prim": "DROP" }, { "prim": "SWAP" }, { "prim": "DROP" }, { "prim": "SWAP" }, { "prim": "DROP" }, { "prim": "SWAP" }, { "prim": "DROP" } ]
]
}
],
[ { "prim": "SWAP" }, { "prim": "DROP" }, { "prim": "SWAP" }, { "prim": "DROP" }, { "prim": "SWAP" }, { "prim": "DROP" } ]
]
}
]
]
},
{
"prim": "view",
"args": [
{ "string": "comptroller" },
{ "prim": "unit" },
{ "prim": "address" },
[ { "prim": "GET", "args": [ { "int": "3" } ] }, { "prim": "CAR" }, { "prim": "GET", "args": [ { "int": "5" } ] }, { "prim": "CDR" } ]
]
},
{
"prim": "view",
"args": [
{ "string": "exchangeRateStoredView" },
{ "prim": "unit" },
{ "prim": "nat" },
[
{ "prim": "UNPAIR", "args": [ { "int": "3" } ] },
{ "prim": "DUP", "args": [ { "int": "2" } ] },
{ "prim": "GET", "args": [ { "int": "3" } ] },
{ "prim": "CAR" },
{ "prim": "CAR" },
{ "prim": "PUSH", "args": [ { "prim": "nat" }, { "int": "0" } ] },
{ "prim": "DUP", "args": [ { "int": "4" } ] },
{ "prim": "GET", "args": [ { "int": "10" } ] },
{ "prim": "COMPARE" },
{ "prim": "GT" },
{
"prim": "IF",
"args": [
[
{ "prim": "DROP", "args": [ { "int": "2" } ] },
{ "prim": "SWAP" },
{ "prim": "DROP" },
{ "prim": "PUSH", "args": [ { "prim": "nat" }, { "int": "0" } ] },
{ "prim": "DUP", "args": [ { "int": "2" } ] },
{ "prim": "GET", "args": [ { "int": "10" } ] },
{ "prim": "COMPARE" },
{ "prim": "GT" },
{ "prim": "IF", "args": [ [], [ { "prim": "PUSH", "args": [ { "prim": "string" }, { "string": "DIVISION_BY_ZERO" } ] }, { "prim": "FAILWITH" } ] ] },
{ "prim": "DUP" },
{ "prim": "GET", "args": [ { "int": "10" } ] },
{ "prim": "DUP", "args": [ { "int": "2" } ] },
{ "prim": "CAR" },
{ "prim": "GET", "args": [ { "int": "7" } ] },
{ "prim": "DUP", "args": [ { "int": "3" } ] },
{ "prim": "GET", "args": [ { "int": "9" } ] },
{ "prim": "DUP", "args": [ { "int": "4" } ] },
{ "prim": "GET", "args": [ { "int": "7" } ] },
{ "prim": "CDR" },
{ "prim": "PUSH", "args": [ { "prim": "nat" }, { "int": "0" } ] },
{ "prim": "PUSH", "args": [ { "prim": "nat" }, { "int": "1000000" } ] },
{ "prim": "DIG", "args": [ { "int": "6" } ] },
{ "prim": "GET", "args": [ { "int": "10" } ] },
{ "prim": "EDIV" },
{ "prim": "IF_NONE", "args": [ [ { "prim": "PUSH", "args": [ { "prim": "int" }, { "int": "19" } ] }, { "prim": "FAILWITH" } ], [ { "prim": "CAR" } ] ] },
{ "prim": "SUB" },
{ "prim": "ISNAT" },
{ "prim": "IF_NONE", "args": [ [ { "prim": "PUSH", "args": [ { "prim": "string" }, { "string": "SUBTRACTION_UNDERFLOW" } ] }, { "prim": "FAILWITH" } ], [] ] },
{ "prim": "ADD" },
{ "prim": "SUB" },
{ "prim": "ISNAT" },
{ "prim": "IF_NONE", "args": [ [ { "prim": "PUSH", "args": [ { "prim": "int" }, { "int": "671" } ] }, { "prim": "FAILWITH" } ], [] ] },
{ "prim": "MUL" },
{ "prim": "EDIV" },
{ "prim": "IF_NONE", "args": [ [ { "prim": "PUSH", "args": [ { "prim": "int" }, { "int": "257" } ] }, { "prim": "FAILWITH" } ], [ { "prim": "CAR" } ] ] }
],
[ { "prim": "SWAP" }, { "prim": "DROP" }, { "prim": "SWAP" }, { "prim": "DROP" }, { "prim": "SWAP" }, { "prim": "DROP" } ]
]
}
]
]
},
{
"prim": "view",
"args": [
{ "string": "getAccountSnapshotView" },
{ "prim": "address" },
{
"prim": "pair",
"args": [
{ "prim": "pair", "args": [ { "prim": "address", "annots": [ "%account" ] }, { "prim": "nat", "annots": [ "%borrowBalance" ] } ] },
{ "prim": "pair", "args": [ { "prim": "nat", "annots": [ "%cTokenBalance" ] }, { "prim": "nat", "annots": [ "%exchangeRateMantissa" ] } ] }
]
},
[
{ "prim": "UNPAIR", "args": [ { "int": "3" } ] },
{ "prim": "PUSH", "args": [ { "prim": "pair", "args": [ { "prim": "nat" }, { "prim": "nat" } ] }, { "prim": "Pair", "args": [ { "int": "0" }, { "int": "0" } ] } ] },
{ "prim": "PUSH", "args": [ { "prim": "nat" }, { "int": "0" } ] },
{ "prim": "DUP", "args": [ { "int": "3" } ] },
{ "prim": "PAIR" },
{ "prim": "PAIR" },
{ "prim": "DUP", "args": [ { "int": "3" } ] },
{ "prim": "GET", "args": [ { "int": "3" } ] },
{ "prim": "CAR" },
{ "prim": "GET", "args": [ { "int": "4" } ] },
{ "prim": "DUP", "args": [ { "int": "3" } ] },
{ "prim": "MEM" },
{
"prim": "IF",
"args": [
[
{ "prim": "DUP", "args": [ { "int": "3" } ] },
{ "prim": "CAR" },
{ "prim": "CAR" },
{ "prim": "GET", "args": [ { "int": "3" } ] },
{ "prim": "LEVEL" },
{ "prim": "COMPARE" },
{ "prim": "EQ" },
{ "prim": "IF", "args": [ [], [ { "prim": "PUSH", "args": [ { "prim": "string" }, { "string": "CT_INTEREST_OLD" } ] }, { "prim": "FAILWITH" } ] ] },
{ "prim": "DUP", "args": [ { "int": "3" } ] },
{ "prim": "GET", "args": [ { "int": "3" } ] },
{ "prim": "CAR" },
{ "prim": "GET", "args": [ { "int": "4" } ] },
{ "prim": "DUP", "args": [ { "int": "3" } ] },
{ "prim": "GET" },
{ "prim": "IF_NONE", "args": [ [ { "prim": "PUSH", "args": [ { "prim": "int" }, { "int": "573" } ] }, { "prim": "FAILWITH" } ], [] ] },
{ "prim": "CDR" },
{ "prim": "UPDATE", "args": [ { "int": "3" } ] },
{ "prim": "PUSH", "args": [ { "prim": "nat" }, { "int": "0" } ] },
{ "prim": "DUP", "args": [ { "int": "4" } ] },
{ "prim": "CAR" },
{ "prim": "GET", "args": [ { "int": "5" } ] },
{ "prim": "CAR" },
{ "prim": "DUP", "args": [ { "int": "4" } ] },
{ "prim": "MEM" },
{
"prim": "IF",
"args": [
[
{ "prim": "DUP", "args": [ { "int": "4" } ] },
{ "prim": "CAR" },
{ "prim": "GET", "args": [ { "int": "5" } ] },
{ "prim": "CAR" },
{ "prim": "DUP", "args": [ { "int": "4" } ] },
{ "prim": "GET" },
{ "prim": "IF_NONE", "args": [ [ { "prim": "PUSH", "args": [ { "prim": "int" }, { "int": "628" } ] }, { "prim": "FAILWITH" } ], [] ] },
{ "prim": "PUSH", "args": [ { "prim": "nat" }, { "int": "0" } ] },
{ "prim": "DUP", "args": [ { "int": "2" } ] },
{ "prim": "CDR" },
{ "prim": "COMPARE" },
{ "prim": "GT" },
{
"prim": "IF",
"args": [
[
{ "prim": "SWAP" },
{ "prim": "DROP" },
{ "prim": "DUP" },
{ "prim": "CAR" },
{ "prim": "DUP", "args": [ { "int": "5" } ] },
{ "prim": "CAR" },
{ "prim": "GET", "args": [ { "int": "3" } ] },
{ "prim": "CAR" },
{ "prim": "DIG", "args": [ { "int": "2" } ] },
{ "prim": "CDR" },
{ "prim": "MUL" },
{ "prim": "EDIV" },
{ "prim": "IF_NONE", "args": [ [ { "prim": "PUSH", "args": [ { "prim": "int" }, { "int": "631" } ] }, { "prim": "FAILWITH" } ], [ { "prim": "CAR" } ] ] }
],
[ { "prim": "DROP" } ]
]
}
],
[]
]
},
{ "prim": "SWAP" },
{ "prim": "UNPAIR" },
{ "prim": "CAR" },
{ "prim": "DUP", "args": [ { "int": "3" } ] },
{ "prim": "SWAP" },
{ "prim": "PAIR" },
{ "prim": "PAIR" },
{ "prim": "SWAP" },
{ "prim": "DUP", "args": [ { "int": "4" } ] },
{ "prim": "GET", "args": [ { "int": "3" } ] },
{ "prim": "CAR" },
{ "prim": "CAR" },
{ "prim": "PUSH", "args": [ { "prim": "nat" }, { "int": "0" } ] },
{ "prim": "DUP", "args": [ { "int": "6" } ] },
{ "prim": "GET", "args": [ { "int": "10" } ] },
{ "prim": "COMPARE" },
{ "prim": "GT" },
{
"prim": "IF",
"args": [
[
{ "prim": "DROP", "args": [ { "int": "2" } ] },
{ "prim": "SWAP" },
{ "prim": "DROP" },
{ "prim": "DIG", "args": [ { "int": "2" } ] },
{ "prim": "DROP" },
{ "prim": "PUSH", "args": [ { "prim": "nat" }, { "int": "0" } ] },
{ "prim": "DUP", "args": [ { "int": "3" } ] },
{ "prim": "GET", "args": [ { "int": "10" } ] },
{ "prim": "COMPARE" },
{ "prim": "GT" },
{ "prim": "IF", "args": [ [], [ { "prim": "PUSH", "args": [ { "prim": "string" }, { "string": "DIVISION_BY_ZERO" } ] }, { "prim": "FAILWITH" } ] ] },
{ "prim": "DUP", "args": [ { "int": "2" } ] },
{ "prim": "GET", "args": [ { "int": "10" } ] },
{ "prim": "DUP", "args": [ { "int": "3" } ] },
{ "prim": "CAR" },
{ "prim": "GET", "args": [ { "int": "7" } ] },
{ "prim": "DUP", "args": [ { "int": "4" } ] },
{ "prim": "GET", "args": [ { "int": "9" } ] },
{ "prim": "DUP", "args": [ { "int": "5" } ] },
{ "prim": "GET", "args": [ { "int": "7" } ] },
{ "prim": "CDR" },
{ "prim": "PUSH", "args": [ { "prim": "nat" }, { "int": "0" } ] },
{ "prim": "PUSH", "args": [ { "prim": "nat" }, { "int": "1000000" } ] },
{ "prim": "DIG", "args": [ { "int": "7" } ] },
{ "prim": "GET", "args": [ { "int": "10" } ] },
{ "prim": "EDIV" },
{ "prim": "IF_NONE", "args": [ [ { "prim": "PUSH", "args": [ { "prim": "int" }, { "int": "19" } ] }, { "prim": "FAILWITH" } ], [ { "prim": "CAR" } ] ] },
{ "prim": "SUB" },
{ "prim": "ISNAT" },
{ "prim": "IF_NONE", "args": [ [ { "prim": "PUSH", "args": [ { "prim": "string" }, { "string": "SUBTRACTION_UNDERFLOW" } ] }, { "prim": "FAILWITH" } ], [] ] },
{ "prim": "ADD" },
{ "prim": "SUB" },
{ "prim": "ISNAT" },
{ "prim": "IF_NONE", "args": [ [ { "prim": "PUSH", "args": [ { "prim": "int" }, { "int": "671" } ] }, { "prim": "FAILWITH" } ], [] ] },
{ "prim": "MUL" },
{ "prim": "EDIV" },
{ "prim": "IF_NONE", "args": [ [ { "prim": "PUSH", "args": [ { "prim": "int" }, { "int": "257" } ] }, { "prim": "FAILWITH" } ], [ { "prim": "CAR" } ] ] }
],
[
{ "prim": "SWAP" },
{ "prim": "DROP" },
{ "prim": "DIG", "args": [ { "int": "2" } ] },
{ "prim": "DROP" },
{ "prim": "DIG", "args": [ { "int": "2" } ] },
{ "prim": "DROP" },
{ "prim": "DIG", "args": [ { "int": "2" } ] },
{ "prim": "DROP" }
]
]
},
{ "prim": "UPDATE", "args": [ { "int": "4" } ] }
],
[ { "prim": "SWAP" }, { "prim": "DROP" }, { "prim": "SWAP" }, { "prim": "DROP" }, { "prim": "SWAP" }, { "prim": "DROP" } ]
]
}
]
]
}
]
