[{"inputs":[],"name":"MulDivFailed","type":"error"},{"inputs":[{"internalType":"uint256","name":"value","type":"uint256"}],"name":"SafeCastOverflowedUintToInt","type":"error"},{"inputs":[{"internalType":"uint256","name":"balanceStable","type":"uint256"},{"internalType":"uint256","name":"balanceAsset","type":"uint256"},{"internalType":"uint256","name":"debtStable","type":"uint256"},{"internalType":"uint256","name":"debtAsset","type":"uint256"},{"internalType":"uint256","name":"fundingFee","type":"uint256"},{"internalType":"bool","name":"fundingFeeSign","type":"bool"},{"internalType":"uint256","name":"price","type":"uint256"},{"internalType":"uint256","name":"oracleDecimals","type":"uint256"},{"internalType":"address","name":"perpPair","type":"address"},{"internalType":"bool","name":"useSpotPrice","type":"bool"}],"name":"_calcPnL","outputs":[{"internalType":"uint256","name":"pnl","type":"uint256"},{"internalType":"bool","name":"pnlSign","type":"bool"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"uint256","name":"balanceStable","type":"uint256"},{"internalType":"uint256","name":"balanceAsset","type":"uint256"},{"internalType":"uint256","name":"debtStable","type":"uint256"},{"internalType":"uint256","name":"debtAsset","type":"uint256"},{"internalType":"uint256","name":"fundingFee","type":"uint256"},{"internalType":"bool","name":"fundingFeeSign","type":"bool"},{"internalType":"uint256","name":"price","type":"uint256"},{"internalType":"uint256","name":"oracleDecimals","type":"uint256"}],"name":"_calcPnLNoExit","outputs":[{"internalType":"uint256","name":"pnl","type":"uint256"},{"internalType":"bool","name":"pnlSign","type":"bool"}],"stateMutability":"pure","type":"function"},{"inputs":[{"internalType":"uint256","name":"balanceStable","type":"uint256"},{"internalType":"uint256","name":"balanceAsset","type":"uint256"},{"internalType":"uint256","name":"debtStable","type":"uint256"},{"internalType":"uint256","name":"debtAsset","type":"uint256"},{"internalType":"uint256","name":"fundingFee","type":"uint256"},{"internalType":"bool","name":"fundingFeeSign","type":"bool"},{"internalType":"uint256","name":"price","type":"uint256"},{"internalType":"uint256","name":"oracleDecimals","type":"uint256"},{"internalType":"uint256","name":"collateral","type":"uint256"},{"internalType":"uint256","name":"MMRDecimals","type":"uint256"},{"internalType":"address","name":"perpPair","type":"address"}],"name":"calcHypotheticalMR","outputs":[{"internalType":"uint256","name":"marginRatio","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"user","type":"address"},{"internalType":"uint256","name":"price","type":"uint256"},{"internalType":"address","name":"perpPair","type":"address"},{"internalType":"uint256","name":"collateral","type":"uint256"},{"internalType":"uint256","name":"lastOperationTimestamp","type":"uint256"}],"name":"calcMR","outputs":[{"internalType":"uint256","name":"marginRatio","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"user","type":"address"},{"internalType":"uint256","name":"price","type":"uint256"},{"internalType":"address","name":"perpPair","type":"address"}],"name":"calcPnLNoExit","outputs":[{"internalType":"uint256","name":"","type":"uint256"},{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"uint256","name":"x","type":"uint256"},{"internalType":"uint256","name":"y","type":"uint256"}],"name":"diffAbs","outputs":[{"internalType":"uint256","name":"z","type":"uint256"}],"stateMutability":"pure","type":"function"},{"inputs":[{"internalType":"int256","name":"a","type":"int256"},{"internalType":"int256","name":"b","type":"int256"}],"name":"divCeil","outputs":[{"internalType":"int256","name":"result","type":"int256"}],"stateMutability":"pure","type":"function"},{"inputs":[{"internalType":"address","name":"user","type":"address"},{"internalType":"bool","name":"direction","type":"bool"},{"internalType":"uint256","name":"size","type":"uint256"},{"internalType":"uint256","name":"addedCollateral","type":"uint256"},{"internalType":"uint256","name":"price","type":"uint256"},{"internalType":"address","name":"perpPair","type":"address"}],"name":"returnTradeInfo","outputs":[{"internalType":"uint256","name":"slippage","type":"uint256"},{"internalType":"uint256","name":"marginRatio","type":"uint256"},{"internalType":"uint256","name":"tradeReturn","type":"uint256"},{"internalType":"uint256","name":"initialGuess","type":"uint256"},{"internalType":"uint256","name":"finalStableBalance","type":"uint256"},{"internalType":"uint256","name":"finalAssetBalance","type":"uint256"},{"internalType":"uint256","name":"finalStableDebt","type":"uint256"},{"internalType":"uint256","name":"finalAssetDebt","type":"uint256"},{"internalType":"uint256","name":"finalCollateral","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"uint256","name":"x","type":"uint256"},{"internalType":"bool","name":"signX","type":"bool"},{"internalType":"uint256","name":"y","type":"uint256"},{"internalType":"bool","name":"signY","type":"bool"}],"name":"signedSum","outputs":[{"internalType":"uint256","name":"z","type":"uint256"},{"internalType":"bool","name":"zSign","type":"bool"}],"stateMutability":"pure","type":"function"},{"inputs":[{"internalType":"uint256","name":"x","type":"uint256"},{"internalType":"bool","name":"signX","type":"bool"},{"internalType":"uint256","name":"y","type":"uint256"},{"internalType":"bool","name":"signY","type":"bool"}],"name":"signedSumToInt","outputs":[{"internalType":"int256","name":"z","type":"int256"}],"stateMutability":"pure","type":"function"}]

608080604052346019576114fe908161001e823930815050f35b5f80fdfe60806040526004361015610011575f80fd5b5f3560e01c806344ce137614610c315780634f03f6e914610bd65780636da4d5c614610bba57806373ee8ada14610ba35780639f7ff65714610b77578063bce7619e14610b0b578063bd8caa5f14610aa4578063c3df51f01461092e578063c94eac91146107bc5763e4c0e4ce14610087575f80fd5b60c036600319011261063b576004356001600160a01b0381169081900361063b5760243580151580910361063b5760a4356001600160a01b038116919082900361063b57604051926100da60c085610d66565b8352602083015260443560408301526064356060830152608435608083015260a082015260405161010d61014082610d66565b5f81525f60208201525f60408201525f60608201525f60808201525f60a08201525f60c08201525f60e08201525f6101008201525f61012082015261015d60018060a01b0360a084015116611179565b815260a0820151610176906001600160a01b0316611116565b602082015260a0820151610192906001600160a01b031661106c565b602086015191939092911561071857505060209060408501516101df6080870151848701519387519685604051988997889763b2cdde9d60e01b89526305f5e10096879160048b01610d9d565b0381737c78d3a44341702ec342bdd4e16d8af95a50433a5af4908115610647575f916106e6575b5060408201525b6040828101516080840151918301516020850151909190156106c2576305f5e100908181029181830414901517156106ae576102519161024c91610cdc565b6111ad565b9061025b816111ad565b915f83820393128184128116918413901516176106ae578160ff1d8092019180831892620186a09184838102048314911417156106ae5761029c9202610cdc565b606082015260a082015182516102be916001600160a01b039182169116611254565b505060a0880151885160405163d4fd690560e01b81526001600160a01b0391821660048201529599929792969395939160809185916024918391165afa8015610647575f935f91610676575b506020870151158015959061067057835b6040890151818111156106675703955b156106525761034360208b015160408c015190610f9b565b60808b015260a08801518851604051639b56d6c960e01b81526001600160a01b0391821660048201529160209183916024918391165afa908115610647575f916105f3575b50938896938b6305f5e10097946101209e946103b2620f42409c996105219f9e6060015190611030565b61012084015260a08b01518b516103d5916001600160a01b0391821691166111d0565b60208d01519195918d90156105965750936101006104216104299561044c9c9b999561041761040c6104479d9b9761043d9b611030565b604087015190611030565b60c0860152611030565b910152611030565b6104378660408c0151610f9b565b90610f9b565b60a08d0152611030565b611030565b60e08801525b6104cf6104b361047c60018060a01b0360a087015116608087015161047682611494565b916113d8565b60a0870151909190610496906001600160a01b0316611322565b60a08801516104ad906001600160a01b0316611356565b90610fc2565b60a086015186519192916001600160a01b039081169116611444565b1561057e576104e29060e0890151611030565b60e08801525b60a08781015160c089015160e08a01516101008b015160808801518d8d015198909501516001600160a01b031699949593909290610cfa565b6060820151916040810151608082015160a083015160c08401519160e0850151938861010087015196015196604051988952602089015260408801526060870152608086015260a085015260c084015260e0830152610100820152f35b61058c9060a0890151611030565b60a08801526104e8565b996104476105d497956105df9997956105ca6105e99e6104378660406105c26101009b6104219b611030565b930151610f9b565b60c0880152611030565b60408c015190611030565b60a08b0152611030565b60e0880152610452565b999896939b9195929794905060208a3d60201161063f575b8161061860209383610d66565b8101031261063b579851909a979895979396929591949193929190610521610388565b5f80fd5b3d915061060b565b6040513d5f823e3d90fd5b6106628a5160408c015190610f9b565b610343565b50505f9561032b565b8261031b565b905061069b91935060803d6080116106a7575b6106938183610d66565b81019061103d565b9094925090505f61030a565b503d610689565b634e487b7160e01b5f52601160045260245ffd5b906305f5e100908181029181830414901517156106ae576102519161024c91610cdc565b90506020813d602011610710575b8161070160209383610d66565b8101031261063b57515f610206565b3d91506106f4565b909250602091506040850151610758608087015186519586948689015160405198899788976361ba7c9d60e11b89526305f5e10096879160048b01610d9d565b0381737c78d3a44341702ec342bdd4e16d8af95a50433a5af4908115610647575f9161078a575b50604082015261020d565b90506020813d6020116107b4575b816107a560209383610d66565b8101031261063b57515f61077f565b3d9150610798565b606036600319011261063b576004356001600160a01b038181169182810361063b57602435916044359081169081810361063b57826107fd60809483611254565b50509091949661081087829695966111d0565b9a909960246040519e8f92839163d4fd690560e01b835260048301525afa968715610647575f9c5f98610902575b5061084882611494565b610853908d846113d8565b61085c84611322565b9161086685611356565b61086f93610fc2565b9161087993611444565b9161088393610fc2565b9661088e9196611030565b9661089891611030565b976108a291611030565b916108ac91611030565b936108ba9160015f92610fc2565b6108c693159291610fc2565b915f9060016108d59396610fc2565b926108df91610cc9565b6305f5e1009004906108f093610fc2565b60408051928352901515602083015290f35b90975061091f919c5060803d6080116106a7576106938183610d66565b9d9291909150509b968d61083e565b60a036600319011261063b576004356001600160a01b038181169182900361063b576044351690816044350361063b5760809161096f6004356044356111d0565b929091610980600435604435611254565b505098949297919399909660246040518098819363d4fd690560e01b835260048301525afa93841561064757602099610a3d99620f4240985f985f98610a61575b50610a2392610a17610a0f6305f5e1009a9b94610a1d94610a076109e6604435611322565b6109f1604435611356565b904260843503610a45575b600435604435611444565b929091610fc2565b989097611030565b94611030565b99611030565b60443598610a376064359860243597611030565b92610cfa565b604051908152f35b90610a5b91610a076084356024356044356113d8565b906109fc565b610a1d9199506305f5e100985092610a17610a0f610a90610a239660803d6080116106a7576106938183610d66565b909e909d5094979495506109c19350505050565b610aaf366004610c99565b919290918315159015158103610af25750610acd9161024c91611030565b905b15610ae0575b602090604051908152f35b600160ff1b81146106ae575f03610ad5565b828211149250610b059161024c91610fa8565b90610acf565b61010036600319011261063b5760a43580159081150361063b57610b71610b496108f092610b405f6044356001600435610fc2565b60843591610fc2565b610b5a5f6064356001602435610fc2565b9390610b6c60e4359160c43590610cc9565b610cdc565b91610fc2565b604036600319011261063b57602060043560243590604051915f81831812158183071515169105018152f35b6108f0610bb1366004610c99565b92919091610fc2565b604036600319011261063b576020610a3d602435600435610fa8565b61014036600319011261063b5760a435801515810361063b57610104356001600160a01b038116810361063b576101243590811515820361063b576108f09260e4359060c43590608435606435604435602435600435610dd9565b61016036600319011261063b5760a435801515810361063b5761014435906001600160a01b038216820361063b57602091610a3d916101243590610104359060e4359060c43590608435606435604435602435600435610cfa565b3590811515820361063b57565b919082608091031261063b57813591610cb460208201610c8c565b91610cc6606060408401359301610c8c565b90565b818102929181159184041417156106ae57565b8115610ce6570490565b634e487b7160e01b5f52601260045260245ffd5b610d206001610d339a9b9c8a8a839a610d2d9a8a9e9a610b6c9a8a9f9a610d289a610dd9565b989097610fa8565b610cc9565b94610fc2565b1580610d5d575b610d56578115610d5157610cc692610b6c91610cc9565b505090565b5050505f90565b50801515610d3a565b601f909101601f19168101906001600160401b03821190821017610d8957604052565b634e487b7160e01b5f52604160045260245ffd5b95926101009794919a9998959261012088019b8852602088015260408701526060860152608085015260a084015260c083015260e08201520152565b610e0793919560019795610df65f80968b9c9e9c610dff96610fc2565b90921592610fc2565b969095610fc2565b95610e118161106c565b90859492949986610e33575b5050505050505050610e2f9450610fc2565b9091565b909192939495969799505f14610e6857505050505094610b6c610e5992610e2f97610cc9565b915b5f80808080808080610e1d565b939594938915610f1e575050602094610eb99282610e8a6305f5e10094611179565b90610e9d610e9782611179565b91611116565b916040519d8e998a996361ba7c9d60e11b8b5260048b01610d9d565b0381737c78d3a44341702ec342bdd4e16d8af95a50433a5af48015610647575f90610eea575b610e2f945091610e5b565b506020843d602011610f16575b81610f0460209383610d66565b8101031261063b57610e2f9351610edf565b3d9150610ef7565b92509450610f2b81611116565b8311610f7057602094610eb99282610f476305f5e10094611179565b90610f54610e9782611179565b916040519d8e998a99636210c2b560e11b8b5260048b01610d9d565b606460405162461bcd60e51b8152602060048201526004602482015263504e4c3160e01b6044820152fd5b919082039182116106ae57565b818110610fb95790610cc691610f9b565b610cc691610f9b565b90919280151583151514610ffc575b8214600114610ff557828111918214928082039215610fef57505091565b03905091565b9190910191565b8319821115610fd15760405162461bcd60e51b815260206004820152600360248201526253533160e81b6044820152606490fd5b919082018092116106ae57565b919082608091031261063b578151916020810151916060604083015192015190565b5190811515820361063b57565b604051639a97fd9b60e01b815291610100918290849060049082906001600160a01b03165afa908115610647575f5f945f945f946110ad575b505093929190565b9350935050925081813d831161110f575b6110c88183610d66565b8101031261063b5780519060208101519260408201519360608301519360808401519360a081015160e06110fe60c0840161105f565b92015192939796955050505f6110a5565b503d6110be565b60405163b6872e4960e01b815290602090829060049082906001600160a01b03165afa908115610647575f9161114a575090565b90506020813d602011611171575b8161116560209383610d66565b8101031261063b575190565b3d9150611158565b604051630813138b60e01b815290602090829060049082906001600160a01b03165afa908115610647575f9161114a575090565b6001600160ff1b0381116111be5790565b63123baf0360e11b5f5260045260245ffd5b6040805163cc4cd88160e01b81526001600160a01b03938416600482015293929091829185916024918391165afa92831561124a575f915f94611214575b50509190565b8194508092503d8311611243575b61122c8183610d66565b8101031261063b5760208251920151915f8061120e565b503d611222565b50513d5f823e3d90fd5b604051631467407960e11b81526001600160a01b0392831660048201526101009390929091849184916024918391165afa918215610647575f905f945f945f945f945f945f945f946112ad575b50509796959493929190565b975098505095505050505082813d831161131b575b6112cc8183610d66565b8101031261063b578151906020830151906040840151936060810151936080820151936112fb60a0840161105f565b9361130d60e060c0860151950161105f565b919796959493925f806112a1565b503d6112c2565b604051631074f21360e21b815290602090829060049082906001600160a01b03165afa908115610647575f9161114a575090565b604051632ab38c1360e11b815290602090829060049082906001600160a01b03165afa908115610647575f9161138a575090565b90506020813d6020116113b6575b816113a560209383610d66565b8101031261063b57610cc69061105f565b3d9150611398565b919082604091031261063b57610cc660208351930161105f565b9291604460409283519586938492638422e30b60e01b84526004840152602483015260018060a01b03165afa918215610647575f905f9361141857509190565b9050610e2f91925060403d60401161143d575b6114358183610d66565b8101906113be565b503d61142b565b6040805163088a5e3f60e11b81526001600160a01b039384166004820152602481019490945293151560448401529193929184916064918391165afa918215610647575f905f9361141857509190565b604051631b46a19960e21b815290602090829060049082906001600160a01b03165afa908115610647575f9161114a57509056fea2646970667358221220b865182578e9fa1cb684eed47d30e1acf1a24cf861ad887cc0160bf5a885a0ca64736f6c634300081e0033

0x60806040526004361015610011575f80fd5b5f3560e01c806344ce137614610c315780634f03f6e914610bd65780636da4d5c614610bba57806373ee8ada14610ba35780639f7ff65714610b77578063bce7619e14610b0b578063bd8caa5f14610aa4578063c3df51f01461092e578063c94eac91146107bc5763e4c0e4ce14610087575f80fd5b60c036600319011261063b576004356001600160a01b0381169081900361063b5760243580151580910361063b5760a4356001600160a01b038116919082900361063b57604051926100da60c085610d66565b8352602083015260443560408301526064356060830152608435608083015260a082015260405161010d61014082610d66565b5f81525f60208201525f60408201525f60608201525f60808201525f60a08201525f60c08201525f60e08201525f6101008201525f61012082015261015d60018060a01b0360a084015116611179565b815260a0820151610176906001600160a01b0316611116565b602082015260a0820151610192906001600160a01b031661106c565b602086015191939092911561071857505060209060408501516101df6080870151848701519387519685604051988997889763b2cdde9d60e01b89526305f5e10096879160048b01610d9d565b0381737c78d3a44341702ec342bdd4e16d8af95a50433a5af4908115610647575f916106e6575b5060408201525b6040828101516080840151918301516020850151909190156106c2576305f5e100908181029181830414901517156106ae576102519161024c91610cdc565b6111ad565b9061025b816111ad565b915f83820393128184128116918413901516176106ae578160ff1d8092019180831892620186a09184838102048314911417156106ae5761029c9202610cdc565b606082015260a082015182516102be916001600160a01b039182169116611254565b505060a0880151885160405163d4fd690560e01b81526001600160a01b0391821660048201529599929792969395939160809185916024918391165afa8015610647575f935f91610676575b506020870151158015959061067057835b6040890151818111156106675703955b156106525761034360208b015160408c015190610f9b565b60808b015260a08801518851604051639b56d6c960e01b81526001600160a01b0391821660048201529160209183916024918391165afa908115610647575f916105f3575b50938896938b6305f5e10097946101209e946103b2620f42409c996105219f9e6060015190611030565b61012084015260a08b01518b516103d5916001600160a01b0391821691166111d0565b60208d01519195918d90156105965750936101006104216104299561044c9c9b999561041761040c6104479d9b9761043d9b611030565b604087015190611030565b60c0860152611030565b910152611030565b6104378660408c0151610f9b565b90610f9b565b60a08d0152611030565b611030565b60e08801525b6104cf6104b361047c60018060a01b0360a087015116608087015161047682611494565b916113d8565b60a0870151909190610496906001600160a01b0316611322565b60a08801516104ad906001600160a01b0316611356565b90610fc2565b60a086015186519192916001600160a01b039081169116611444565b1561057e576104e29060e0890151611030565b60e08801525b60a08781015160c089015160e08a01516101008b015160808801518d8d015198909501516001600160a01b031699949593909290610cfa565b6060820151916040810151608082015160a083015160c08401519160e0850151938861010087015196015196604051988952602089015260408801526060870152608086015260a085015260c084015260e0830152610100820152f35b61058c9060a0890151611030565b60a08801526104e8565b996104476105d497956105df9997956105ca6105e99e6104378660406105c26101009b6104219b611030565b930151610f9b565b60c0880152611030565b60408c015190611030565b60a08b0152611030565b60e0880152610452565b999896939b9195929794905060208a3d60201161063f575b8161061860209383610d66565b8101031261063b579851909a979895979396929591949193929190610521610388565b5f80fd5b3d915061060b565b6040513d5f823e3d90fd5b6106628a5160408c015190610f9b565b610343565b50505f9561032b565b8261031b565b905061069b91935060803d6080116106a7575b6106938183610d66565b81019061103d565b9094925090505f61030a565b503d610689565b634e487b7160e01b5f52601160045260245ffd5b906305f5e100908181029181830414901517156106ae576102519161024c91610cdc565b90506020813d602011610710575b8161070160209383610d66565b8101031261063b57515f610206565b3d91506106f4565b909250602091506040850151610758608087015186519586948689015160405198899788976361ba7c9d60e11b89526305f5e10096879160048b01610d9d565b0381737c78d3a44341702ec342bdd4e16d8af95a50433a5af4908115610647575f9161078a575b50604082015261020d565b90506020813d6020116107b4575b816107a560209383610d66565b8101031261063b57515f61077f565b3d9150610798565b606036600319011261063b576004356001600160a01b038181169182810361063b57602435916044359081169081810361063b57826107fd60809483611254565b50509091949661081087829695966111d0565b9a909960246040519e8f92839163d4fd690560e01b835260048301525afa968715610647575f9c5f98610902575b5061084882611494565b610853908d846113d8565b61085c84611322565b9161086685611356565b61086f93610fc2565b9161087993611444565b9161088393610fc2565b9661088e9196611030565b9661089891611030565b976108a291611030565b916108ac91611030565b936108ba9160015f92610fc2565b6108c693159291610fc2565b915f9060016108d59396610fc2565b926108df91610cc9565b6305f5e1009004906108f093610fc2565b60408051928352901515602083015290f35b90975061091f919c5060803d6080116106a7576106938183610d66565b9d9291909150509b968d61083e565b60a036600319011261063b576004356001600160a01b038181169182900361063b576044351690816044350361063b5760809161096f6004356044356111d0565b929091610980600435604435611254565b505098949297919399909660246040518098819363d4fd690560e01b835260048301525afa93841561064757602099610a3d99620f4240985f985f98610a61575b50610a2392610a17610a0f6305f5e1009a9b94610a1d94610a076109e6604435611322565b6109f1604435611356565b904260843503610a45575b600435604435611444565b929091610fc2565b989097611030565b94611030565b99611030565b60443598610a376064359860243597611030565b92610cfa565b604051908152f35b90610a5b91610a076084356024356044356113d8565b906109fc565b610a1d9199506305f5e100985092610a17610a0f610a90610a239660803d6080116106a7576106938183610d66565b909e909d5094979495506109c19350505050565b610aaf366004610c99565b919290918315159015158103610af25750610acd9161024c91611030565b905b15610ae0575b602090604051908152f35b600160ff1b81146106ae575f03610ad5565b828211149250610b059161024c91610fa8565b90610acf565b61010036600319011261063b5760a43580159081150361063b57610b71610b496108f092610b405f6044356001600435610fc2565b60843591610fc2565b610b5a5f6064356001602435610fc2565b9390610b6c60e4359160c43590610cc9565b610cdc565b91610fc2565b604036600319011261063b57602060043560243590604051915f81831812158183071515169105018152f35b6108f0610bb1366004610c99565b92919091610fc2565b604036600319011261063b576020610a3d602435600435610fa8565b61014036600319011261063b5760a435801515810361063b57610104356001600160a01b038116810361063b576101243590811515820361063b576108f09260e4359060c43590608435606435604435602435600435610dd9565b61016036600319011261063b5760a435801515810361063b5761014435906001600160a01b038216820361063b57602091610a3d916101243590610104359060e4359060c43590608435606435604435602435600435610cfa565b3590811515820361063b57565b919082608091031261063b57813591610cb460208201610c8c565b91610cc6606060408401359301610c8c565b90565b818102929181159184041417156106ae57565b8115610ce6570490565b634e487b7160e01b5f52601260045260245ffd5b610d206001610d339a9b9c8a8a839a610d2d9a8a9e9a610b6c9a8a9f9a610d289a610dd9565b989097610fa8565b610cc9565b94610fc2565b1580610d5d575b610d56578115610d5157610cc692610b6c91610cc9565b505090565b5050505f90565b50801515610d3a565b601f909101601f19168101906001600160401b03821190821017610d8957604052565b634e487b7160e01b5f52604160045260245ffd5b95926101009794919a9998959261012088019b8852602088015260408701526060860152608085015260a084015260c083015260e08201520152565b610e0793919560019795610df65f80968b9c9e9c610dff96610fc2565b90921592610fc2565b969095610fc2565b95610e118161106c565b90859492949986610e33575b5050505050505050610e2f9450610fc2565b9091565b909192939495969799505f14610e6857505050505094610b6c610e5992610e2f97610cc9565b915b5f80808080808080610e1d565b939594938915610f1e575050602094610eb99282610e8a6305f5e10094611179565b90610e9d610e9782611179565b91611116565b916040519d8e998a996361ba7c9d60e11b8b5260048b01610d9d565b0381737c78d3a44341702ec342bdd4e16d8af95a50433a5af48015610647575f90610eea575b610e2f945091610e5b565b506020843d602011610f16575b81610f0460209383610d66565b8101031261063b57610e2f9351610edf565b3d9150610ef7565b92509450610f2b81611116565b8311610f7057602094610eb99282610f476305f5e10094611179565b90610f54610e9782611179565b916040519d8e998a99636210c2b560e11b8b5260048b01610d9d565b606460405162461bcd60e51b8152602060048201526004602482015263504e4c3160e01b6044820152fd5b919082039182116106ae57565b818110610fb95790610cc691610f9b565b610cc691610f9b565b90919280151583151514610ffc575b8214600114610ff557828111918214928082039215610fef57505091565b03905091565b9190910191565b8319821115610fd15760405162461bcd60e51b815260206004820152600360248201526253533160e81b6044820152606490fd5b919082018092116106ae57565b919082608091031261063b578151916020810151916060604083015192015190565b5190811515820361063b57565b604051639a97fd9b60e01b815291610100918290849060049082906001600160a01b03165afa908115610647575f5f945f945f946110ad575b505093929190565b9350935050925081813d831161110f575b6110c88183610d66565b8101031261063b5780519060208101519260408201519360608301519360808401519360a081015160e06110fe60c0840161105f565b92015192939796955050505f6110a5565b503d6110be565b60405163b6872e4960e01b815290602090829060049082906001600160a01b03165afa908115610647575f9161114a575090565b90506020813d602011611171575b8161116560209383610d66565b8101031261063b575190565b3d9150611158565b604051630813138b60e01b815290602090829060049082906001600160a01b03165afa908115610647575f9161114a575090565b6001600160ff1b0381116111be5790565b63123baf0360e11b5f5260045260245ffd5b6040805163cc4cd88160e01b81526001600160a01b03938416600482015293929091829185916024918391165afa92831561124a575f915f94611214575b50509190565b8194508092503d8311611243575b61122c8183610d66565b8101031261063b5760208251920151915f8061120e565b503d611222565b50513d5f823e3d90fd5b604051631467407960e11b81526001600160a01b0392831660048201526101009390929091849184916024918391165afa918215610647575f905f945f945f945f945f945f945f946112ad575b50509796959493929190565b975098505095505050505082813d831161131b575b6112cc8183610d66565b8101031261063b578151906020830151906040840151936060810151936080820151936112fb60a0840161105f565b9361130d60e060c0860151950161105f565b919796959493925f806112a1565b503d6112c2565b604051631074f21360e21b815290602090829060049082906001600160a01b03165afa908115610647575f9161114a575090565b604051632ab38c1360e11b815290602090829060049082906001600160a01b03165afa908115610647575f9161138a575090565b90506020813d6020116113b6575b816113a560209383610d66565b8101031261063b57610cc69061105f565b3d9150611398565b919082604091031261063b57610cc660208351930161105f565b9291604460409283519586938492638422e30b60e01b84526004840152602483015260018060a01b03165afa918215610647575f905f9361141857509190565b9050610e2f91925060403d60401161143d575b6114358183610d66565b8101906113be565b503d61142b565b6040805163088a5e3f60e11b81526001600160a01b039384166004820152602481019490945293151560448401529193929184916064918391165afa918215610647575f905f9361141857509190565b604051631b46a19960e21b815290602090829060049082906001600160a01b03165afa908115610647575f9161114a57509056fea2646970667358221220b865182578e9fa1cb684eed47d30e1acf1a24cf861ad887cc0160bf5a885a0ca64736f6c634300081e0033