@uniswap/v4-core
Version:
🦄 Core smart contracts of Uniswap v4
1 lines • 157 kB
JSON
{"abi":[{"type":"function","name":"IS_TEST","inputs":[],"outputs":[{"name":"","type":"bool","internalType":"bool"}],"stateMutability":"view"},{"type":"function","name":"excludeArtifacts","inputs":[],"outputs":[{"name":"excludedArtifacts_","type":"string[]","internalType":"string[]"}],"stateMutability":"view"},{"type":"function","name":"excludeContracts","inputs":[],"outputs":[{"name":"excludedContracts_","type":"address[]","internalType":"address[]"}],"stateMutability":"view"},{"type":"function","name":"excludeSelectors","inputs":[],"outputs":[{"name":"excludedSelectors_","type":"tuple[]","internalType":"struct StdInvariant.FuzzSelector[]","components":[{"name":"addr","type":"address","internalType":"address"},{"name":"selectors","type":"bytes4[]","internalType":"bytes4[]"}]}],"stateMutability":"view"},{"type":"function","name":"excludeSenders","inputs":[],"outputs":[{"name":"excludedSenders_","type":"address[]","internalType":"address[]"}],"stateMutability":"view"},{"type":"function","name":"failed","inputs":[],"outputs":[{"name":"","type":"bool","internalType":"bool"}],"stateMutability":"view"},{"type":"function","name":"targetArtifactSelectors","inputs":[],"outputs":[{"name":"targetedArtifactSelectors_","type":"tuple[]","internalType":"struct StdInvariant.FuzzArtifactSelector[]","components":[{"name":"artifact","type":"string","internalType":"string"},{"name":"selectors","type":"bytes4[]","internalType":"bytes4[]"}]}],"stateMutability":"view"},{"type":"function","name":"targetArtifacts","inputs":[],"outputs":[{"name":"targetedArtifacts_","type":"string[]","internalType":"string[]"}],"stateMutability":"view"},{"type":"function","name":"targetContracts","inputs":[],"outputs":[{"name":"targetedContracts_","type":"address[]","internalType":"address[]"}],"stateMutability":"view"},{"type":"function","name":"targetInterfaces","inputs":[],"outputs":[{"name":"targetedInterfaces_","type":"tuple[]","internalType":"struct StdInvariant.FuzzInterface[]","components":[{"name":"addr","type":"address","internalType":"address"},{"name":"artifacts","type":"string[]","internalType":"string[]"}]}],"stateMutability":"view"},{"type":"function","name":"targetSelectors","inputs":[],"outputs":[{"name":"targetedSelectors_","type":"tuple[]","internalType":"struct StdInvariant.FuzzSelector[]","components":[{"name":"addr","type":"address","internalType":"address"},{"name":"selectors","type":"bytes4[]","internalType":"bytes4[]"}]}],"stateMutability":"view"},{"type":"function","name":"targetSenders","inputs":[],"outputs":[{"name":"targetedSenders_","type":"address[]","internalType":"address[]"}],"stateMutability":"view"},{"type":"function","name":"test_computeSwapStep_amountOut_isCappedAtTheDesiredAmountOut","inputs":[],"outputs":[],"stateMutability":"pure"},{"type":"function","name":"test_computeSwapStep_exactAmountIn_oneForZero_thatGetsCappedAtPriceTargetIn","inputs":[],"outputs":[],"stateMutability":"pure"},{"type":"function","name":"test_computeSwapStep_exactAmountIn_oneForZero_thatIsFullySpentIn","inputs":[],"outputs":[],"stateMutability":"pure"},{"type":"function","name":"test_computeSwapStep_exactAmountOut_oneForZero_thatGetsCappedAtPriceTargetIn","inputs":[],"outputs":[],"stateMutability":"pure"},{"type":"function","name":"test_computeSwapStep_exactAmountOut_oneForZero_thatIsFullyReceivedIn","inputs":[],"outputs":[],"stateMutability":"pure"},{"type":"function","name":"test_computeSwapStep_notEntireInputAmountTakenAsFee","inputs":[],"outputs":[],"stateMutability":"pure"},{"type":"function","name":"test_computeSwapStep_oneForZero_handlesIntermediateInsufficientLiquidityInExactOutputCase","inputs":[],"outputs":[],"stateMutability":"pure"},{"type":"function","name":"test_computeSwapStep_swapOneForZero_exactInCapped","inputs":[],"outputs":[],"stateMutability":"nonpayable"},{"type":"function","name":"test_computeSwapStep_swapOneForZero_exactInPartial","inputs":[],"outputs":[],"stateMutability":"nonpayable"},{"type":"function","name":"test_computeSwapStep_swapOneForZero_exactOutCapped","inputs":[],"outputs":[],"stateMutability":"nonpayable"},{"type":"function","name":"test_computeSwapStep_swapOneForZero_exactOutPartial","inputs":[],"outputs":[],"stateMutability":"nonpayable"},{"type":"function","name":"test_computeSwapStep_swapZeroForOne_exactInCapped","inputs":[],"outputs":[],"stateMutability":"nonpayable"},{"type":"function","name":"test_computeSwapStep_swapZeroForOne_exactInPartial","inputs":[],"outputs":[],"stateMutability":"nonpayable"},{"type":"function","name":"test_computeSwapStep_swapZeroForOne_exactOutCapped","inputs":[],"outputs":[],"stateMutability":"nonpayable"},{"type":"function","name":"test_computeSwapStep_swapZeroForOne_exactOutPartial","inputs":[],"outputs":[],"stateMutability":"nonpayable"},{"type":"function","name":"test_computeSwapStep_targetPriceOf1UsesPartialInputAmount","inputs":[],"outputs":[],"stateMutability":"pure"},{"type":"function","name":"test_computeSwapStep_zeroForOne_handlesIntermediateInsufficientLiquidityInExactOutputCase","inputs":[],"outputs":[],"stateMutability":"pure"},{"type":"function","name":"test_fuzz_computeSwapStep","inputs":[{"name":"sqrtPriceRaw","type":"uint160","internalType":"uint160"},{"name":"sqrtPriceTargetRaw","type":"uint160","internalType":"uint160"},{"name":"liquidity","type":"uint128","internalType":"uint128"},{"name":"amountRemaining","type":"int256","internalType":"int256"},{"name":"feePips","type":"uint24","internalType":"uint24"}],"outputs":[],"stateMutability":"pure"},{"type":"function","name":"test_fuzz_getSqrtPriceTarget","inputs":[{"name":"zeroForOne","type":"bool","internalType":"bool"},{"name":"sqrtPriceNextX96","type":"uint160","internalType":"uint160"},{"name":"sqrtPriceLimitX96","type":"uint160","internalType":"uint160"}],"outputs":[],"stateMutability":"pure"},{"type":"event","name":"log","inputs":[{"name":"","type":"string","indexed":false,"internalType":"string"}],"anonymous":false},{"type":"event","name":"log_address","inputs":[{"name":"","type":"address","indexed":false,"internalType":"address"}],"anonymous":false},{"type":"event","name":"log_array","inputs":[{"name":"val","type":"uint256[]","indexed":false,"internalType":"uint256[]"}],"anonymous":false},{"type":"event","name":"log_array","inputs":[{"name":"val","type":"int256[]","indexed":false,"internalType":"int256[]"}],"anonymous":false},{"type":"event","name":"log_array","inputs":[{"name":"val","type":"address[]","indexed":false,"internalType":"address[]"}],"anonymous":false},{"type":"event","name":"log_bytes","inputs":[{"name":"","type":"bytes","indexed":false,"internalType":"bytes"}],"anonymous":false},{"type":"event","name":"log_bytes32","inputs":[{"name":"","type":"bytes32","indexed":false,"internalType":"bytes32"}],"anonymous":false},{"type":"event","name":"log_int","inputs":[{"name":"","type":"int256","indexed":false,"internalType":"int256"}],"anonymous":false},{"type":"event","name":"log_named_address","inputs":[{"name":"key","type":"string","indexed":false,"internalType":"string"},{"name":"val","type":"address","indexed":false,"internalType":"address"}],"anonymous":false},{"type":"event","name":"log_named_array","inputs":[{"name":"key","type":"string","indexed":false,"internalType":"string"},{"name":"val","type":"uint256[]","indexed":false,"internalType":"uint256[]"}],"anonymous":false},{"type":"event","name":"log_named_array","inputs":[{"name":"key","type":"string","indexed":false,"internalType":"string"},{"name":"val","type":"int256[]","indexed":false,"internalType":"int256[]"}],"anonymous":false},{"type":"event","name":"log_named_array","inputs":[{"name":"key","type":"string","indexed":false,"internalType":"string"},{"name":"val","type":"address[]","indexed":false,"internalType":"address[]"}],"anonymous":false},{"type":"event","name":"log_named_bytes","inputs":[{"name":"key","type":"string","indexed":false,"internalType":"string"},{"name":"val","type":"bytes","indexed":false,"internalType":"bytes"}],"anonymous":false},{"type":"event","name":"log_named_bytes32","inputs":[{"name":"key","type":"string","indexed":false,"internalType":"string"},{"name":"val","type":"bytes32","indexed":false,"internalType":"bytes32"}],"anonymous":false},{"type":"event","name":"log_named_decimal_int","inputs":[{"name":"key","type":"string","indexed":false,"internalType":"string"},{"name":"val","type":"int256","indexed":false,"internalType":"int256"},{"name":"decimals","type":"uint256","indexed":false,"internalType":"uint256"}],"anonymous":false},{"type":"event","name":"log_named_decimal_uint","inputs":[{"name":"key","type":"string","indexed":false,"internalType":"string"},{"name":"val","type":"uint256","indexed":false,"internalType":"uint256"},{"name":"decimals","type":"uint256","indexed":false,"internalType":"uint256"}],"anonymous":false},{"type":"event","name":"log_named_int","inputs":[{"name":"key","type":"string","indexed":false,"internalType":"string"},{"name":"val","type":"int256","indexed":false,"internalType":"int256"}],"anonymous":false},{"type":"event","name":"log_named_string","inputs":[{"name":"key","type":"string","indexed":false,"internalType":"string"},{"name":"val","type":"string","indexed":false,"internalType":"string"}],"anonymous":false},{"type":"event","name":"log_named_uint","inputs":[{"name":"key","type":"string","indexed":false,"internalType":"string"},{"name":"val","type":"uint256","indexed":false,"internalType":"uint256"}],"anonymous":false},{"type":"event","name":"log_string","inputs":[{"name":"","type":"string","indexed":false,"internalType":"string"}],"anonymous":false},{"type":"event","name":"log_uint","inputs":[{"name":"","type":"uint256","indexed":false,"internalType":"uint256"}],"anonymous":false},{"type":"event","name":"logs","inputs":[{"name":"","type":"bytes","indexed":false,"internalType":"bytes"}],"anonymous":false}],"bytecode":{"object":"0x60808060405234602f57600160ff19600c541617600c55600160ff19601f541617601f556149a490816100348239f35b5f80fdfe6080806040526004361015610012575f80fd5b5f905f3560e01c9081631ed7831c14613270575080632ade3880146130425780633e5e3c2314612f9a5780633f7286f414612ef257806346e2586114612c8457806348e228de14612bda578063562a012614612a3457806366d9a9a0146128d957806385226c81146128315780638b8d4a111461266e578063912ab608146124d5578063916a17c6146124005780639d5ac75b1461218f578063a3a2e43f14611d61578063b0464fdc14611c8c578063b5508aa914611be4578063b5babc4514611ad2578063ba414fa614611a8f578063c2792cca1461189a578063c46c78b3146116ae578063d0a79e97146115f3578063d0cb63ad14611539578063d671749e14611369578063e20c9f71146112b0578063e4c7f47114611148578063e6ca8bb014610ea1578063f70d468c14610bdb578063f75fef1514610a46578063fa7626d414610a05578063fd3ebfb5146107c55763fe435dc314610173575f80fd5b346107c25760a07ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc3601126107c25760043573ffffffffffffffffffffffffffffffffffffffff8116908181036107be576101cc61351c565b90604435916fffffffffffffffffffffffffffffffff831683036107ba576064356084359262ffffff84168094036107b657737109709ecfa91a80626ff3989d68f67f5b1dd12d3b156107b657866040517f4c63e56200000000000000000000000000000000000000000000000000000000815287151560048201528181602481737109709ecfa91a80626ff3989d68f67f5b1dd12d5afa80156106d7576107a1575b505073ffffffffffffffffffffffffffffffffffffffff831694737109709ecfa91a80626ff3989d68f67f5b1dd12d3b1561078857876040517f4c63e56200000000000000000000000000000000000000000000000000000000815287151560048201528181602481737109709ecfa91a80626ff3989d68f67f5b1dd12d5afa80156106d75761078c575b5050737109709ecfa91a80626ff3989d68f67f5b1dd12d3b1561078857876040517f4c63e562000000000000000000000000000000000000000000000000000000008152600160048201528181602481737109709ecfa91a80626ff3989d68f67f5b1dd12d5afa80156106d757610773575b50831294851592866106e257737109709ecfa91a80626ff3989d68f67f5b1dd12d3b156106d357896040517f4c63e562000000000000000000000000000000000000000000000000000000008152620f4240841060048201528181602481737109709ecfa91a80626ff3989d68f67f5b1dd12d5afa80156106d7576106be575b50505b87891015928715610604578a83620f4240039361040e85898403614579565b9886156105f35761042084868361440a565b995b8a81106105bb575073ffffffffffffffffffffffffffffffffffffffff959094939250849190620f424082036105ac575050885b955b1561059e5791610467926144b5565b935b610474841988614261565b1561058b576104838585614261565b87891461055f575b16948686036104ca575b50505084841191506104b89050576104b06104b59382614261565b6142d7565b80f35b6104c56104b593826142d7565b614261565b7f800000000000000000000000000000000000000000000000000000000000000084036105495750877f8000000000000000000000000000000000000000000000000000000000000000935b131561053157506105279250614037565b5f80808080610495565b61053f9150610544936139cb565b614037565b610527565b15610558578783810393610516565b8783610516565b61056886613f43565b61057184613f43565b61057a83613f43565b61058688838316614037565b61048b565b610599858b03848801614261565b610483565b6105a792614357565b610467565b6105b6918b614550565b610456565b9493995050505073ffffffffffffffffffffffffffffffffffffffff925081966105e785848385614218565b809388018d0395610458565b6105fe8482876144f5565b99610422565b919593929182156106ac578a61061b8284886144b5565b955b868810610677579173ffffffffffffffffffffffffffffffffffffffff949391610663939485915b501561066957916106559261440a565b809780620f42400391614550565b92610469565b610672926144f5565b610655565b505093509061066373ffffffffffffffffffffffffffffffffffffffff9286958c6106a4858a84866140ad565b948591610645565b8a6106b8828785614357565b9561061d565b816106c891613588565b6106d357895f6103ec565b8980fd5b6040513d84823e3d90fd5b737109709ecfa91a80626ff3989d68f67f5b1dd12d3b156106d357896040517f4c63e562000000000000000000000000000000000000000000000000000000008152620f424084111560048201528181602481737109709ecfa91a80626ff3989d68f67f5b1dd12d5afa80156106d75761075e575b50506103ef565b8161076891613588565b6106d357895f610757565b8161077d91613588565b61078857875f61036c565b8780fd5b8161079691613588565b61078857875f6102fa565b816107ab91613588565b6107b657865f61026f565b8680fd5b8480fd5b8280fd5b80fd5b50346107c257807ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc3601126107c257737109709ecfa91a80626ff3989d68f67f5b1dd12d3b156107c257806040517f3cad9d7b00000000000000000000000000000000000000000000000000000000815260206004820152602360248201527f537761704d6174685f7a65726f466f724f6e655f65786163744f75745061727460448201527f69616c00000000000000000000000000000000000000000000000000000000006064820152818160848183737109709ecfa91a80626ff3989d68f67f5b1dd12d5af180156106d7576109f0575b506108f690507fffffffffffffffffffffffffffffffffffffffff508c6bc6cb3b01636bd290d160ff81901d90810118671bc16d674ec80000614604565b6103e8106109b857610939620f3fe8610258610934671bc16d674ec800006c010000000000000000000000006b508c6bc6cb3b01636bd290d161440a565b614550565b506040517ff6402eda00000000000000000000000000000000000000000000000000000000815260208160048185737109709ecfa91a80626ff3989d68f67f5b1dd12d5af180156106d75761098c575080f35b6109ad9060203d6020116109b1575b6109a58183613588565b8101906136e4565b5080f35b503d61099b565b610939620f3fe8610258610934671bc16d674ec800006c010000000000000000000000006109eb60016103e884846140ad565b61440a565b816109fa91613588565b6107c257805f6108b8565b50346107c257807ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc3601126107c257602060ff601f54166040519015158152f35b50346107c257807ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc3601126107c2576ce6666666666666666666666666610ab87fffffffffffffffffffffffffffffffffffffffe666666666666666666666666660ff81901d90810118610400614604565b620403588111610bb357815b610adf6104006d01000000000000000000000000008561440a565b9284610af1620f3688610bb887614550565b93737109709ecfa91a80626ff3989d68f67f5b1dd12d3b15610baf57604051907f98296c54000000000000000000000000000000000000000000000000000000008252600482015261666660248201528181604481737109709ecfa91a80626ff3989d68f67f5b1dd12d5afa80156106d757610b96575b505092610b91610b919273ffffffffffffffffffffffffffffffffffffffff6104b59616614037565b613ecc565b81610ba391969396613588565b6107ba5792845f610b68565b5080fd5b5062040358610bd56001826104006d01000000000000000000000000006140ad565b91610ac4565b50346107c257807ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc3601126107c25780610c19620f3af0600a614579565b8115610e7957610c416c190e03e8198ff82e007f9618b261096d67011bd15c65b77e5861440a565b905b818110610e4f575067011bd15c65b77e58908215610e3a57805b905b8315610e1a57610cc673ffffffffffffffffffffffffffffffffffffffff61096d1673ffffffffffffffffffffffffffffffffffffffff8516038060ff1d908101186fffffffffffffffffffffffffffffffff6c190e03e8198ff82e007f9618b216614604565b905b737109709ecfa91a80626ff3989d68f67f5b1dd12d3b156107ba57604051907f98296c540000000000000000000000000000000000000000000000000000000082526004820152600960248201528481604481737109709ecfa91a80626ff3989d68f67f5b1dd12d5afa908115610e0f578591610df5575b5050610d4e610d5392613ecc565b613f43565b737109709ecfa91a80626ff3989d68f67f5b1dd12d3b15610df25773ffffffffffffffffffffffffffffffffffffffff604051917f98296c5400000000000000000000000000000000000000000000000000000000835216600482015261096d60248201528181604481737109709ecfa91a80626ff3989d68f67f5b1dd12d5afa80156106d757610de15750f35b81610deb91613588565b6107c25780f35b50fd5b81610dff91613588565b610e0a57835f610d40565b505050fd5b6040513d87823e3d90fd5b610e346c190e03e8198ff82e007f9618b28461096d614357565b90610cc8565b610e4a620f3af061075083614550565b610c5d565b809150600a610e6f84846c190e03e8198ff82e007f9618b261096d614218565b9284030190610c5f565b610e9b6c190e03e8198ff82e007f9618b267011bd15c65b77e5861096d6144f5565b90610c43565b50346107c257807ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc3601126107c257610efd671bc16d674ec800006c0a0000000000000000000000006c01000000000000000000000000614357565b670de0b6b3a76400008111611118576c0a0000000000000000000000005b82156110f25782610f42671bc16d674ec800006c010000000000000000000000008461440a565b610f52620f3fe861025883614550565b90737109709ecfa91a80626ff3989d68f67f5b1dd12d3b156107be57604051907f98296c540000000000000000000000000000000000000000000000000000000082526004820152671bc16d674ec8000060248201528281604481737109709ecfa91a80626ff3989d68f67f5b1dd12d5afa9081156110e75783916110d2575b5050737109709ecfa91a80626ff3989d68f67f5b1dd12d3b15610baf57604051907f98296c5400000000000000000000000000000000000000000000000000000000825260048201526604440c82d6e11c60248201528181604481737109709ecfa91a80626ff3989d68f67f5b1dd12d5afa80156106d7576110bd575b505061105d6104b592613fb9565b73ffffffffffffffffffffffffffffffffffffffff8061109b670de0b6b3a7640000671bc16d674ec800006c010000000000000000000000006147d6565b9216916110b66c0a00000000000000000000000084106136f3565b1690614037565b816110c791613588565b6107be57825f61104f565b816110dc91613588565b610baf57815f610fd2565b6040513d85823e3d90fd5b82611113671bc16d674ec80000836c010000000000000000000000006144f5565b610f42565b50670de0b6b3a76400006111438282671bc16d674ec800006c010000000000000000000000006140ad565b610f1b565b50346107c257807ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc3601126107c257737109709ecfa91a80626ff3989d68f67f5b1dd12d3b156107c257806040517f3cad9d7b00000000000000000000000000000000000000000000000000000000815260206004820152602160248201527f537761704d6174685f6f6e65466f725a65726f5f6578616374496e436170706560448201527f64000000000000000000000000000000000000000000000000000000000000006064820152818160848183737109709ecfa91a80626ff3989d68f67f5b1dd12d5af180156106d75761129b575b5050611245613b91565b505050506040517ff6402eda00000000000000000000000000000000000000000000000000000000815260208160048185737109709ecfa91a80626ff3989d68f67f5b1dd12d5af180156106d75761098c575080f35b816112a591613588565b6107c257805f61123b565b50346107c257807ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc3601126107c25760405180916020601554928381520191601582527f55f448fdea98c4d29eb340757ef0a66cd03dbb9538908a6a81d96026b71ec475915b81811061133d576113398561132d81870382613588565b60405191829182613314565b0390f35b825473ffffffffffffffffffffffffffffffffffffffff16845260209093019260019283019201611316565b50346107c257807ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc3601126107c257737109709ecfa91a80626ff3989d68f67f5b1dd12d3b156107c257806040517f3cad9d7b00000000000000000000000000000000000000000000000000000000815260206004820152602360248201527f537761704d6174685f6f6e65466f725a65726f5f65786163744f75745061727460448201527f69616c00000000000000000000000000000000000000000000000000000000006064820152818160848183737109709ecfa91a80626ff3989d68f67f5b1dd12d5af180156106d757611524575b505061148b671bc16d674ec800006c032d94aa8d0f912742a3fc34e16c01000000000000000000000000614357565b6103e8106114f257610939620f3fe86102586c032d94aa8d0f912742a3fc34e15b84156114d257671bc16d674ec800006c010000000000000000000000006109349261440a565b671bc16d674ec80000610934916c010000000000000000000000006144f5565b610939620f3fe861025861151f846103e8671bc16d674ec800006c010000000000000000000000006140ad565b6114ac565b8161152e91613588565b6107c257805f61145c565b50346107c25760607ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc3601126107c2576004358015158103610baf5761157d61351c565b906044359173ffffffffffffffffffffffffffffffffffffffff83168084036107ba576104b5938183600173ffffffffffffffffffffffffffffffffffffffff808097169484861093895f146115eb57845b156115e457505b169616189118021816614037565b90506115d6565b8587116115cf565b50346107c257807ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc3601126107c2576104b561165d73ffffffffffffffffffffffffffffffffffffffff8061169b61166b61164c613b91565b92979061165883613cc9565b613d50565b61166682613dcd565b6139cb565b61167f670de0b6b3a76400008092106136f3565b671bc16d674ec800006c010000000000000000000000006148e0565b9216916116a783613e49565b16116136f3565b50346107c257807ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc3601126107c257806d0119999999999999999999999999611708610400826d0100000000000000000000000000614357565b906004821161187157611766815b73ffffffffffffffffffffffffffffffffffffffff611746610400856d01000000000000000000000000006144f5565b9361176061175a620f3688610bb888614550565b96613f43565b16614037565b737109709ecfa91a80626ff3989d68f67f5b1dd12d3b1561186d57604051907f98296c54000000000000000000000000000000000000000000000000000000008252600482015261666760248201528281604481737109709ecfa91a80626ff3989d68f67f5b1dd12d5afa9081156110e7578391611858575b5050737109709ecfa91a80626ff3989d68f67f5b1dd12d3b15610df257604051907f98296c540000000000000000000000000000000000000000000000000000000082526004820152604f60248201528181604481737109709ecfa91a80626ff3989d68f67f5b1dd12d5afa80156106d757610de15750f35b8161186291613588565b610df257815f6117df565b5050fd5b600491506117666118945f846104006d01000000000000000000000000006140ad565b91611716565b50346107c257807ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc3601126107c257737109709ecfa91a80626ff3989d68f67f5b1dd12d3b156107c257806040517f3cad9d7b00000000000000000000000000000000000000000000000000000000815260206004820152602260248201527f537761704d6174685f7a65726f466f724f6e655f6578616374496e506172746960448201527f616c0000000000000000000000000000000000000000000000000000000000006064820152818160848183737109709ecfa91a80626ff3989d68f67f5b1dd12d5af180156106d757611a7a575b5050610939816119a2620f3fe86103e8614579565b6119ce671bc16d674ec800006c010000000000000000000000006b508c6bc6cb3b01636bd290d161440a565b91828210611a4a5750506b508c6bc6cb3b01636bd290d1906119f7620f3fe86102588693614550565b505b5073ffffffffffffffffffffffffffffffffffffffff806c01000000000000000000000000169116038060ff1d908101186fffffffffffffffffffffffffffffffff671bc16d674ec8000016614604565b9091506103e8611a72600184671bc16d674ec800006c01000000000000000000000000614218565b9250506119f9565b81611a8491613588565b6107c257805f61198d565b50346107c257807ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc3601126107c2576020611ac8613a05565b6040519015158152f35b50346107c257807ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc3601126107c257737109709ecfa91a80626ff3989d68f67f5b1dd12d3b156107c257806040517f3cad9d7b00000000000000000000000000000000000000000000000000000000815260206004820152602260248201527f537761704d6174685f6f6e65466f725a65726f5f65786163744f75744361707060448201527f65640000000000000000000000000000000000000000000000000000000000006064820152818160848183737109709ecfa91a80626ff3989d68f67f5b1dd12d5af180156106d757611bcf575b5050611245613ade565b81611bd991613588565b6107c257805f611bc5565b50346107c257807ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc3601126107c257601954611c1f816135c9565b91611c2d6040519384613588565b818352601981527f944998273e477b495144fb8794c914197f3ccb46be2900f4698fd0ef743c9695602084015b838310611c6f576040518061133987826133fb565b600160208192611c7e856135e1565b815201920192019190611c5a565b50346107c257807ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc3601126107c257601c54611cc7816135c9565b91611cd56040519384613588565b818352601c81527f0e4562a10381dec21b205ed72637e6b1b523bdd0e4d4d50af5cd23dd4500a211602084015b838310611d1757604051806113398782613478565b60026020600192604051611d2a8161353f565b73ffffffffffffffffffffffffffffffffffffffff8654168152611d4f858701613727565b83820152815201920192019190611d02565b50346107c257807ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc3601126107c257611da5620f3fe8670de0b6b3a7640000614579565b811561215c57611dd8671bc16d674ec800006c010000000000000000000000006c03298b075b4b6a52409457906161440a565b905b81811061212557506c03298b075b4b6a52409457906190821561211057805b905b83156120ea5783611e6973ffffffffffffffffffffffffffffffffffffffff6c010000000000000000000000001673ffffffffffffffffffffffffffffffffffffffff8616038060ff1d908101186fffffffffffffffffffffffffffffffff671bc16d674ec8000016614604565b737109709ecfa91a80626ff3989d68f67f5b1dd12d3b15610baf576040517f98296c54000000000000000000000000000000000000000000000000000000008152836004820152670dde95014486800060248201528281604481737109709ecfa91a80626ff3989d68f67f5b1dd12d5afa9081156110e75783916120d5575b5050737109709ecfa91a80626ff3989d68f67f5b1dd12d3b15610baf57604051907f98296c54000000000000000000000000000000000000000000000000000000008252600482015267093f873882c51faa60248201528181604481737109709ecfa91a80626ff3989d68f67f5b1dd12d5afa80156106d7576120c0575b5050737109709ecfa91a80626ff3989d68f67f5b1dd12d3b156120af576040517f98296c54000000000000000000000000000000000000000000000000000000008152826004820152660221b262dd80006024820152848082604481737109709ecfa91a80626ff3989d68f67f5b1dd12d5afa9182156120b3578492612096575b5050611ff690611ffb926139cb565b613fb9565b670de0b6b3a764000003670de0b6b3a76400008111612069579073ffffffffffffffffffffffffffffffffffffffff8061204e6104b594671bc16d674ec800006c010000000000000000000000006148e0565b9216916110b66c03298b075b4b6a52409457906184106136f3565b6024837f4e487b710000000000000000000000000000000000000000000000000000000081526011600452fd5b819250906120a391613588565b6120af5781845f611fe7565b8380fd5b50604051903d90823e3d90fd5b816120ca91613588565b6120af57835f611f66565b816120df91613588565b610baf57815f611ee8565b8361210b671bc16d674ec80000856c01000000000000000000000000614357565b611e69565b612120620f3fe861025883614550565b611df9565b809150670de0b6b3a76400006121528484671bc16d674ec800006c01000000000000000000000000614218565b9284030190611dfb565b612189671bc16d674ec800006c03298b075b4b6a5240945790616c010000000000000000000000006144f5565b90611dda565b50346107c257807ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc3601126107c257806121da620f423f6dc107454e8a609a22ec7487c862b7614579565b906121e8600160028161440a565b918281106123d5575050600182612204620f423f600185614550565b905b5061225b73ffffffffffffffffffffffffffffffffffffffff60021673ffffffffffffffffffffffffffffffffffffffff8416038060ff1d908101186fffffffffffffffffffffffffffffffff600116614604565b92737109709ecfa91a80626ff3989d68f67f5b1dd12d3b156107ba57846040517f98296c540000000000000000000000000000000000000000000000000000000081528260048201526b80000000000000000000000060248201528181604481737109709ecfa91a80626ff3989d68f67f5b1dd12d5afa80156106d7576123c0575b5050737109709ecfa91a80626ff3989d68f67f5b1dd12d3b156107ba57846040517f98296c540000000000000000000000000000000000000000000000000000000081528360048201526908637c5d17cc093a2e9560248201528181604481737109709ecfa91a80626ff3989d68f67f5b1dd12d5afa80156106d7576123a5575b509261239f85610d4e6dc107454e8a609a22ec7487c862b76123986104b59773ffffffffffffffffffffffffffffffffffffffff976139cb565b11156136f3565b16613ecc565b816123b39195949395613588565b6107ba579091845f61235e565b816123ca91613588565b6107ba57845f6122dd565b915081906dc107454e8a609a22ec7487c862b76123f6600184816002614218565b9285030190612206565b50346107c257807ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc3601126107c257601d5461243b816135c9565b916124496040519384613588565b818352601d81527f6d4407e7be21f808e6509aa9fa9143369579dd7d760fe20a2c09680fc146134f602084015b83831061248b57604051806113398782613478565b6002602060019260405161249e8161353f565b73ffffffffffffffffffffffffffffffffffffffff86541681526124c3858701613727565b83820152815201920192019190612476565b50346107c257807ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc3601126107c257806125457fffffffffffffffffffffffffffffffffffffeb6c8bc384a6a3ca3ebd3721f82660ff81901d908101186c0202ded16393eb492fe5113e27614604565b6001811161263a576125a06b04b1c93ebf8a0da5b10b23d4915b610b916125886c0202ded16393eb492fe5113e276d149378ee44981bbfcee879e92bae8661440a565b610b9161259a620f423f600184614550565b91613ecc565b737109709ecfa91a80626ff3989d68f67f5b1dd12d3b15610df25773ffffffffffffffffffffffffffffffffffffffff604051917f98296c540000000000000000000000000000000000000000000000000000000083521660048201526d149378ee44981bbfcee879e92bad60248201528181604481737109709ecfa91a80626ff3989d68f67f5b1dd12d5afa80156106d757610de15750f35b5060016125a06126686001806c0202ded16393eb492fe5113e276d149378ee44981bbfcee879e92bae6140ad565b9161255f565b50346107c257807ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc3601126107c257737109709ecfa91a80626ff3989d68f67f5b1dd12d3b156107c257806040517f3cad9d7b00000000000000000000000000000000000000000000000000000000815260206004820152602260248201527f537761704d6174685f7a65726f466f724f6e655f65786163744f75744361707060448201527f65640000000000000000000000000000000000000000000000000000000000006064820152818160848183737109709ecfa91a80626ff3989d68f67f5b1dd12d5af180156106d75761281c575b5061279f90507ffffffffffffffffffffffffffffffffffffffffffeb77f264dc5273ef5e2f75b60ff81901d90810118671bc16d674ec80000614604565b670de0b6b3a7640000106127e357610939620f3fe8610258610934671bc16d674ec800006c010000000000000000000000006bfeb77f264dc5273ef5e2f75b61440a565b610939620f3fe8610258610934671bc16d674ec800006c010000000000000000000000006109eb6001670de0b6b3a764000084846140ad565b8161282691613588565b6107c257805f612761565b50346107c257807ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc3601126107c257601a5461286c816135c9565b9161287a6040519384613588565b818352601a81527f057c384a7d1c54f3a1b2e5e67b2617b8224fdfd1ea7234eea573a6ff665ff63e602084015b8383106128bc576040518061133987826133fb565b6001602081926128cb856135e1565b8152019201920191906128a7565b50346107c257807ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc3601126107c257601b54612914816135c9565b6129216040519182613588565b818152601b83526020810191837f3ad8aa4f87544323a9d1e5dd902f40c356527a7955687113db5f9a85ad579dc1845b8383106129f957868587604051928392602084019060208552518091526040840160408260051b8601019392905b82821061298e57505050500390f35b919360206129e9827fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc06001959799849503018652885190836129d98351604084526040840190613363565b92015190848184039101526133a6565b960192019201859493919261297f565b60026020600192604051612a0c8161353f565b612a15866135e1565b8152612a22858701613727565b83820152815201920192019190612951565b50346107c257807ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc3601126107c257737109709ecfa91a80626ff3989d68f67f5b1dd12d3b156107c257806040517f3cad9d7b00000000000000000000000000000000000000000000000000000000815260206004820152602160248201527f537761704d6174685f7a65726f466f724f6e655f6578616374496e436170706560448201527f64000000000000000000000000000000000000000000000000000000000000006064820152818160848183737109709ecfa91a80626ff3989d68f67f5b1dd12d5af180156106d757612bc5575b505061093981612b42620f3fe8670de0b6b3a7640000614579565b612b6e671bc16d674ec800006c010000000000000000000000006bfeb77f264dc5273ef5e2f75b61440a565b91828210612b975750506bfeb77f264dc5273ef5e2f75b906119f7620f3fe86102588693614550565b909150670de0b6b3a7640000611a72600184671bc16d674ec800006c01000000000000000000000000614218565b81612bcf91613588565b6107c257805f612b27565b50346107c257807ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc3601126107c2576104b5612c40612c46670de0b6b3a7640000612c32612c26613ade565b91969296939093613cc9565b612c3b83613d50565b613dcd565b106136f3565b73ffffffffffffffffffffffffffffffffffffffff8061169b670de0b6b3a7640000671bc16d674ec800006c010000000000000000000000006147d6565b5034612eee575f7ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc360112612eee57737109709ecfa91a80626ff3989d68f67f5b1dd12d3b15612eee576040517f3cad9d7b00000000000000000000000000000000000000000000000000000000815260206004820152602260248201527f537761704d6174685f6f6e65466f725a65726f5f6578616374496e506172746960448201527f616c00000000000000000000000000000000000000000000000000000000000060648201525f8160848183737109709ecfa91a80626ff3989d68f67f5b1dd12d5af18015612ee357612ed0575b50612d86620f3fe86103e8614579565b8115612e9d57612db9671bc16d674ec800006c010000000000000000000000006c032d94aa8d0f912742a3fc34e161440a565b905b818110612e6f57506c032d94aa8d0f912742a3fc34e1908215612e5a575b505b8115612e35576109399073ffffffffffffffffffffffffffffffffffffffff806c01000000000000000000000000169116038060ff1d908101186fffffffffffffffffffffffffffffffff671bc16d674ec8000016614604565b671bc16d674ec80000612e55916c01000000000000000000000000614357565b610939565b620f3fe8610258612e6a92614550565b612dd9565b90506103e8612e958383671bc16d674ec800006c01000000000000000000000000614218565b915050612ddb565b612eca671bc16d674ec800006c032d94aa8d0f912742a3fc34e16c010000000000000000000000006144f5565b90612dbb565b612edc91505f90613588565b5f80612d76565b6040513d5f823e3d90fd5b5f80fd5b34612eee575f7ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc360112612eee5760405180602060175491828152019060175f527fc624b66cc0138b8fabc209247f72d758e1cf3343756d543badbf24212bed8c15905f5b818110612f6e576113398561132d81870382613588565b825473ffffffffffffffffffffffffffffffffffffffff16845260209093019260019283019201612f57565b34612eee575f7ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc360112612eee5760405180602060185491828152019060185f527fb13d2d76d1f4b7be834882e410b3e3a8afaf69f83600ae24db354391d2378d2e905f5b818110613016576113398561132d81870382613588565b825473ffffffffffffffffffffffffffffffffffffffff16845260209093019260019283019201612fff565b34612eee575f7ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc360112612eee57601e5461307c816135c9565b9061308a6040519283613588565b808252602082019081601e5f527f50bb669a95c7b50b7e8a6f09454034b2b14cf2b85c730dca9a539ca82cb6e3505f915b8383106131d857848660405191829160208301906020845251809152604083019060408160051b85010192915f905b8282106130f957505050500390f35b91939092947fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc09082030182528451906020604082019273ffffffffffffffffffffffffffffffffffffffff81511683520151916040602083015282518091526060820190602060608260051b8501019401925f5b82811061318f57505050505060208060019296019201920185949391926130ea565b90919293946020806131cb837fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffa087600196030189528951613363565b970195019392910161316d565b6040516131e48161353f565b73ffffffffffffffffffffffffffffffffffffffff835416815260018301805461320d816135c9565b9161321b6040519384613588565b81835260208301905f5260205f20905f905b8382106132535750505050600192826020928360029501528152019201920191906130bb565b600160208192613262866135e1565b81520193019101909161322d565b34612eee575f7ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc360112612eee57601654808252602082019060165f527fd833147d7dc355ba459fc788f669e58cfaf9dc25ddcd0702e87d69c7b5124289905f5b8181106132e8576113398561132d81870382613588565b825473ffffffffffffffffffffffffffffffffffffffff168452602090930192600192830192016132d1565b60206040818301928281528451809452019201905f5b8181106133375750505090565b825173ffffffffffffffffffffffffffffffffffffffff1684526020938401939092019160010161332a565b907fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0601f602080948051918291828752018686015e5f8582860101520116010190565b90602080835192838152019201905f5b8181106133c35750505090565b82517fffffffff00000000000000000000000000000000000000000000000000000000168452602093840193909201916001016133b6565b602081016020825282518091526040820191602060408360051b8301019401925f915b83831061342d57505050505090565b9091929394602080613469837fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc086600196030187528951613363565b9701930193019193929061341e565b602081016020825282518091526040820191602060408360051b8301019401925f915b8383106134aa57505050505090565b909192939460208061350d837fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc086600196030187526040838b5173ffffffffffffffffffffffffffffffffffffffff8151168452015191818582015201906133a6565b9701930193019193929061349b565b6024359073ffffffffffffffffffffffffffffffffffffffff82168203612eee57565b6040810190811067ffffffffffffffff82111761355b57604052565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52604160045260245ffd5b90601f7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0910116810190811067ffffffffffffffff82111761355b57604052565b67ffffffffffffffff811161355b5760051b60200190565b90604051915f8154908160011c92600183169283156136da575b6020851084146136ad57848752869390811561366d5750600114613629575b5061362792500383613588565b565b90505f9291925260205f20905f915b818310613651575050906020613627928201015f61361a565b6020919350806001915483858901015201910190918492613638565b602093506136279592507fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff0091501682840152151560051b8201015f61361a565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52602260045260245ffd5b93607f16936135fb565b90816020910312612eee575190565b156136fa57565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52600160045260245ffd5b90604051918281549182825260208201905f5260205f20925f905b80600783011061393e57613627945491818110613908575b8181106138d2575b81811061389c575b818110613866575b818110613830575b8181106137fa575b8181106137c5575b10613798575b500383613588565b7fffffffff000000000000000000000000000000000000000000000000000000001681526020015f613790565b9260206001917fffffffff0000000000000000000000000000000000000000000000000000000085831b16815201930161378a565b9260206001917fffffffff000000000000000000000000000000000000000000000000000000008560401b168152019301613782565b9260206001917fffffffff000000000000000000000000000000000000000000000000000000008560601b16815201930161377a565b9260206001917fffffffff000000000000000000000000000000000000000000000000000000008560801b168152019301613772565b9260206001917fffffffff000000000000000000000000000000000000000000000000000000008560a01b16815201930161376a565b9260206001917fffffffff000000000000000000000000000000000000000000000000000000008560c01b168152019301613762565b9260206001917fffffffff000000000000000000000000000000000000000000000000000000008560e01b16815201930161375a565b9160089193506101006001917fffffffff000000000000000000000000000000000000000000000000000000008754818160e01b168352818160c01b166020840152818160a01b166040840152818160801b166060840152818160601b166080840152818160401b1660a0840152818160201b1660c08401521660e0820152019401920185929391613742565b919082018092116139d857565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52601160045260245ffd5b60085460ff168015613a145790565b506040517f667f9d70000000000000000000000000000000000000000000000000000000008152737109709ecfa91a80626ff3989d68f67f5b1dd12d60048201527f6661696c656400000000000000000000000000000000000000000000000000006024820152602081604481737109709ecfa91a80626ff3989d68f67f5b1dd12d5afa908115612ee3575f91613aac575b50151590565b90506020813d602011613ad6575b81613ac760209383613588565b81010312612eee57515f613aa6565b3d9150613aba565b613b0b671bc16d674ec800006c010146dd68287f35899f20af676c01000000000000000000000000614357565b90670de0b6b3a76400008211613b5f576c010146dd68287f35899f20af67915b613b4b671bc16d674ec80000846c010000000000000000000000006144f5565b91613b5c620f3fe861025885614550565b90565b670de0b6b3a76400009150613b8b5f83671bc16d674ec800006c010000000000000000000000006140ad565b91613b2b565b613ba6620f3fe8670de0b6b3a7640000614579565b5f90613bd5671bc16d674ec800006c010146dd68287f35899f20af676c010000000000000000000000006144f5565b91828210613c905750506c010146dd68287f35899f20af67915f613bff620f3fe861025885614550565b905b15613c7057613c6d73ffffffffffffffffffffffffffffffffffffffff6c010000000000000000000000001673ffffffffffffffffffffffffffffffffffffffff8616038060ff1d908101186fffffffffffffffffffffffffffffffff671bc16d674ec8000016614604565b91565b613c6d671bc16d674ec80000856c01000000000000000000000000614357565b9150918291670de0b6b3a7640000613cbf5f86671bc16d674ec800006c01000000000000000000000000614218565b945f030190613c01565b737109709ecfa91a80626ff3989d68f67f5b1dd12d3b15612eee57604051907f98296c5400000000000000000000000000000000000000000000000000000000825260048201526623705297f8f78760248201525f81604481737109709ecfa91a80626ff3989d68f67f5b1dd12d5afa8015612ee357613d465750565b5f61362791613588565b737109709ecfa91a80626ff3989d68f67f5b1dd12d3b15612eee57604051907f98296c5400000000000000000000000000000000000000000000000000000000825260048201526623434c653e2be060248201525f81604481737109709ecfa91a80626ff3989d68f67f5b1dd12d5afa8015612ee357613d465750565b737109709ecfa91a80626ff3989d68f67f5b1dd12d3b15612eee57604051907f98296c5400000000000000000000000000000000000000000000000000000000825260048201526505725869bc6c60248201525f81604481737109709ecfa91a80626ff3989d68f67f5b1dd12d5afa8015612ee357613d465750565b737109709ecfa91a80626ff3989d68f67f5b1dd12d3b15612eee57604051907f98296c5400000000000000000000000000000000000000000000000000000000825260048201526c010146dd68287f35899f20af6760248201525f81604481737109709ecfa91a80626ff3989d68f67f5b1dd12d5afa8015612ee357613d465750565b737109709ecfa91a80626ff3989d68f67f5b1dd12d3b15612eee57604051907f98296c540000000000000000000000000000000000000000000000000000000082526004820152600160248201525f81604481737109709ecfa91a80626ff3989d68f67f5b1dd12d5afa8015612ee357613d465750565b737109709ecfa91a80626ff3989d68f67f5b1dd12d3b15612eee57604051907f98296c5400000000000000000000000000000000000000000000000000000000825260048201525f60248201525f81604481737109709ecfa91a80626ff3989d68f67f5b1dd12d5afa8015612ee357613d465750565b737109709ecfa91a80626ff3989d68f67f5b1dd12d3b15612eee57604051907f98296c540000000000000000000000000000000000000000000000000000000082526004820152670de0b6b3a764000060248201525f81604481737109709ecfa91a80626ff3989d68f67f5b1dd12d5afa8015612ee357613d465750565b90737109709ecfa91a80626ff3989d68f67f5b1dd12d3b15612eee57604051917f98296c54000000000000000000000000000000000000000000000000000000008352600483015260248201525f81604481737109709ecfa91a80626ff3989d68f67f5b1dd12d5afa8015612ee357613d465750565b926fffffffffffffffffffffffffffffffff82161573ffffffffffffffffffffffffffffffffffffffff8516151761420b57156142025773ffffffffffffffffffffffffffffffffffffffff8211614167576fffffffffffffffffffffffffffffffff73ffffffffffffffffffffffffffffffffffffffff9260601b91168082061515910401915b16908082111561415a5773ffffffffffffffffffffffffffffffffffffffff91031690565b634323a5555f526004601cfd5b6fffffffffffffffffffffffffffffffff16614191816c0100000000000000000000000084614737565b9181156141d5576c0100000000000000000000000090096141c9575b73ffffffffffffffffffffffffffffffffffffffff9091614135565b600101806141ad575f80fd5b7f4e487b71000000000000000000000000000000000000000000000000000000005f52601260045260245ffd5b613b5c926147d6565b634f2461b85f526004601cfd5b926fffffffffffffffffffffffffffffffff82161573ffffffffffffffffffffffffffffffffffffffff8516151761420b571561425857613b5c92614851565b613b5c926148e0565b90737109709ecfa91a80626ff3989d68f67f5b1dd12d3b15612eee57604051917f8466f415000000000000000000000000000000000000000000000000000000008352600483015260248201525f81604481737109709ecfa91a80626ff3989d68f67f5b1dd12d5afa8015612ee357613d465750565b90737109709ecfa91a80626ff3989d68f67f5b1dd12d3b15612eee57604051917fa8d4d1d9000000000000000000000000000000000000000000000000000000008352600483015260248201525f81604481737109709ecfa91a80626ff3989d68f67f5b1dd12d5afa8015612ee357613d465750565b81156141d5570490565b73ffffffffffffffffffffffffffffffffffffffff821673ffffffffffffffffffffffffffffffffffffffff821611614404575b73ffffffffffffffffffffffffffffffffffffffff81169182156143f857613b5c937bffffffffffffffffffffffffffffffff00000000000000000000000073ffffffffffffffffffffffffffffffffffffffff6143f3948185169403169160601b16614737565b61434d565b62bfc9215f526004601cfd5b9061438b565b9073ffffffffffffffffffffffffffffffffffffffff811673ffffffffffffffffffffffffffffffffffffffff8316116144af575b73ffffffffffffffffffffffffffffffffffffffff82169283156143f8577bffffffffffffffffffffffffffffffff00000000000000000000000073ffffffffffffffffffffffffffffffffffffffff6144a3948185169403169160601b16614550565b90808206151591040190565b9061443f565b6fffffffffffffffffffffffffffffffff9073ffffffffffffffffffffffffffffffffffffffff80613b5c9594169116038060ff1d908101189116614604565b6fffffffffffffffffffffffffffffffff6c010000000000000000000000009173ffffffffffffffffffffffffffffffffffffffff80600195169116038060ff1d908101189316926145478185614604565b93091515160190565b92919061455e828286614737565b9382156141d5570961456c57565b90600101908115612eee57565b818102907fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff83820990828083109203918083039283620f42401115612eee57146145f8577fde8f6cefed634549b62c77574f722e1ac57e23f24d8fd5cb790fb65668c2613993620f4240910990828211900360fa1b910360061c170290565b5050620f424091500490565b90808202917fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff828209918380841093039280840393846c010000000000000000000000001115612eee5714614675576c01000000000000000000000000910990828211900360a01b910360601c1790565b50505060601c90565b908160601b907fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff6c01000000000000000000000000840992828085109403938085039485841115612eee5714614730576c0100000000000000000000000082910981805f03168092046002816003021880820260020302808202600203028082026002030280820260020302808202600203028091026002030293600183805f03040190848311900302920304170290565b5091500490565b91818302917fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff81850993838086109503948086039586851115612eee57146147ce579082910981805f03168092046002816003021880820260020302808202600203028082026002030280820260020302808202600203028091026002030293600183805f03040190848311900302920304170290565b505091500490565b9190811561484c577bffffffffffffffffffffffffffffffff00000000000000000000000073ffffffffffffffffffffffffffffffffffffffff9160601b16921691828202918383831191840414161561483f57613b5c9261483a92820391614550565b61494e565b63f5c787f15f526004601cfd5b505090565b909180156148da5773ffffffffffffffffffffffffffffffffffffffff7bffffffffffffffffffffffffffffffff000000000000000000000000819460601b169216808202816148a1848361434d565b146148c2575b50906116666148b6928461434d565b80820615159104011690565b83018381106148a75791506148d692614550565b1690565b50905090565b613b5c9261483a9273ffffffffffffffffffffffffffffffffffffffff9182811161492c576fffffffffffffffffffffffffffffffff61492492169060601b61434d565b915b166139cb565b6fffffffffffffffffffffffffffffffff61494892169061467e565b91614926565b9073ffffffffffffffffffffffffffffffffffffffff821691820361496f57565b7f93dafdf1000000000000000000000000000000000000000000000000000000005f5260045ffdfea164736f6c634300081a000a","sourceMap":"322:11795:142:-:0;;;;;;;3166:4:2;322:11795:142;;3166:4:2;322:11795:142;;;3166:4:2;322:11795:142;3166:4:2;322:11795:142;;1038:4:12;322:11795:142;;;1038:4:12;322:11795:142;;;;;;;;;;;","linkReferences":{}},"deployedBytecode":{"object":"0x6080806040526004361015610012575f80fd5b5f905f3560e01c9081631ed7831c14613270575080632ade3880146130425780633e5e3c2314612f9a5780633f7286f414612ef257806346e2586114612c8457806348e228de14612bda578063562a012614612a3457806366d9a9a0146128d957806385226c81146128315780638b8d4a111461266e578063912ab608146124d5578063916a17c6146124005780639d5ac75b1461218f578063a3a2e43f14611d61578063b0464fdc14611c8c578063b5508aa914611be4578063b5babc4514611ad2578063ba414fa614611a8f578063c2792cca1461189a578063c46c78b3146116ae578063d0a79e97146115f3578063d0cb63ad14611539578063d671749e14611369578063e20c9f71146112b0578063e4c7f47114611148578063e6ca8bb014610ea1578063f70d468c14610bdb578063f75fef1514610a46578063fa7626d414610a05578063fd3ebfb5146107c55763fe435dc314610173575f80fd5b346107c25760a07ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc3601126107c25760043573ffffffffffffffffffffffffffffffffffffffff8116908181036107be576101cc61351c565b90604435916fffffffffffffffffffffffffffffffff831683036107ba576064356084359262ffffff84168094036107b657737109709ecfa91a80626ff3989d68f67f5b1dd12d3b156107b657866040517f4c63e56200000000000000000000000000000000000000000000000000000000815287151560048201528181602481737109709ecfa91a80626ff3989d68f67f5b1dd12d5afa80156106d7576107a1575b505073ffffffffffffffffffffffffffffffffffffffff831694737109709ecfa91a80626ff3989d68f67f5b1dd12d3b1561078857876040517f4c63e56200000000000000000000000000000000000000000000000000000000815287151560048201528181602481737109709ecfa91a80626ff3989d68f67f5b1dd12d5afa80156106d75761078c575b5050737109709ecfa91a80626ff3989d68f67f5b1dd12d3b1561078857876040517f4c63e562000000000000000000000000000000000000000000000000000000008152600160048201528181602481737109709ecfa91a80626ff3989d68f67f5b1dd12d5afa80156106d757610773575b50831294851592866106e257737109709ecfa91a80626ff3989d68f67f5b1dd12d3b156106d357896040517f4c63e562000000000000000000000000000000000000000000000000000000008152620f4240841060048201528181602481737109709ecfa91a80626ff3989d68f67f5b1dd12d5afa80156106d7576106be575b50505b87891015928715610604578a83620f4240039361040e85898403614579565b98861561