[{"inputs":[],"name":"NoETHAccepted","type":"error"},{"inputs":[],"name":"PushToZeroAddress","type":"error"},{"anonymous":false,"inputs":[{"indexed":false,"internalType":"uint256","name":"prevTotalSupply","type":"uint256"}],"name":"PhaseOverflow","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"user","type":"address"},{"indexed":false,"internalType":"uint256","name":"prevPushOf","type":"uint256"}],"name":"PushOverflow","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"from","type":"address"},{"indexed":true,"internalType":"address","name":"to","type":"address"},{"indexed":false,"internalType":"uint256","name":"amount","type":"uint256"}],"name":"Pushed","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"from","type":"address"},{"indexed":true,"internalType":"address","name":"to","type":"address"},{"indexed":false,"internalType":"uint256","name":"value","type":"uint256"}],"name":"Transfer","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"account","type":"address"},{"indexed":false,"internalType":"uint256","name":"prevBalance","type":"uint256"}],"name":"TrustOfOverflow","type":"event"},{"stateMutability":"payable","type":"fallback"},{"inputs":[{"internalType":"address","name":"account","type":"address"}],"name":"balanceOf","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"decimals","outputs":[{"internalType":"uint8","name":"","type":"uint8"}],"stateMutability":"pure","type":"function"},{"inputs":[{"internalType":"address","name":"account","type":"address"}],"name":"displayBalanceOf","outputs":[{"internalType":"string","name":"","type":"string"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"myBalance","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"myDisplayBalance","outputs":[{"internalType":"string","name":"","type":"string"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"myPushCount","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"myPushOverflowCount","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"myTrustOverflowCount","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"name","outputs":[{"internalType":"string","name":"","type":"string"}],"stateMutability":"pure","type":"function"},{"inputs":[{"internalType":"address","name":"user","type":"address"}],"name":"pushCountOf","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"pushForMe","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"user","type":"address"}],"name":"pushOverflowCountOf","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"to","type":"address"}],"name":"pushTo","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"symbol","outputs":[{"internalType":"string","name":"","type":"string"}],"stateMutability":"pure","type":"function"},{"inputs":[],"name":"totalPhaseOverflowCount","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"totalSupply","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"account","type":"address"}],"name":"trustOverflowCountOf","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"uint256Max","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"pure","type":"function"},{"inputs":[],"name":"verifyTotalSupply","outputs":[{"internalType":"uint256","name":"storedTotal","type":"uint256"}],"stateMutability":"view","type":"function"},{"stateMutability":"payable","type":"receive"}]

6080604052348015600e575f5ffd5b506112988061001c5f395ff3fe608060405260043610610117575f3560e01c80639f1e8fdb1161009f578063c9116b6911610063578063c9116b69146103da578063cf8400ce14610404578063dae69ee914610440578063dd97a01b1461047c578063fec07958146104a65761014e565b80639f1e8fdb146102f65780639fba734f14610320578063ad22be231461034a578063b903380814610374578063bc44de11146103b05761014e565b8063313ce567116100e6578063313ce567146102265780633dd21a4c146102505780634478c8bb1461026657806370a082311461029057806395d89b41146102cc5761014e565b806306fdde0314610180578063132910d5146101aa578063146eeb4c146101d257806318160ddd146101fc5761014e565b3661014e576040517fcc30be8000000000000000000000000000000000000000000000000000000000815260040160405180910390fd5b6040517fcc30be8000000000000000000000000000000000000000000000000000000000815260040160405180910390fd5b34801561018b575f5ffd5b506101946104e2565b6040516101a19190610f9f565b60405180910390f35b3480156101b5575f5ffd5b506101d060048036038101906101cb919061101d565b61051f565b005b3480156101dd575f5ffd5b506101e6610591565b6040516101f39190610f9f565b60405180910390f35b348015610207575f5ffd5b506102106105de565b60405161021d9190611060565b60405180910390f35b348015610231575f5ffd5b5061023a6105e7565b6040516102479190611094565b60405180910390f35b34801561025b575f5ffd5b506102646105ee565b005b348015610271575f5ffd5b5061027a6105fa565b6040516102879190611060565b60405180910390f35b34801561029b575f5ffd5b506102b660048036038101906102b1919061101d565b61063d565b6040516102c39190611060565b60405180910390f35b3480156102d7575f5ffd5b506102e0610683565b6040516102ed9190610f9f565b60405180910390f35b348015610301575f5ffd5b5061030a6106c0565b6040516103179190611060565b60405180910390f35b34801561032b575f5ffd5b506103346106c9565b6040516103419190611060565b60405180910390f35b348015610355575f5ffd5b5061035e61070d565b60405161036b9190611060565b60405180910390f35b34801561037f575f5ffd5b5061039a6004803603810190610395919061101d565b610751565b6040516103a79190611060565b60405180910390f35b3480156103bb575f5ffd5b506103c4610797565b6040516103d19190611060565b60405180910390f35b3480156103e5575f5ffd5b506103ee6107a0565b6040516103fb9190611060565b60405180910390f35b34801561040f575f5ffd5b5061042a6004803603810190610425919061101d565b6107e4565b6040516104379190611060565b60405180910390f35b34801561044b575f5ffd5b506104666004803603810190610461919061101d565b610829565b6040516104739190610f9f565b60405180910390f35b348015610487575f5ffd5b50610490610878565b60405161049d9190611060565b60405180910390f35b3480156104b1575f5ffd5b506104cc60048036038101906104c7919061101d565b61089f565b6040516104d99190611060565b60405180910390f35b60606040518060400160405280600581526020017f3639303639000000000000000000000000000000000000000000000000000000815250905090565b5f73ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff1603610584576040517fb46d05cd00000000000000000000000000000000000000000000000000000000815260040160405180910390fd5b61058e33826108e5565b50565b60606105d960015f3373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f2054610dd7565b905090565b5f600254905090565b5f5f905090565b6105f833336108e5565b565b5f5f5f3373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f2054905090565b5f60015f8373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20549050919050565b60606040518060400160405280600381526020017f534f530000000000000000000000000000000000000000000000000000000000815250905090565b5f600554905090565b5f60045f3373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f2054905090565b5f60035f3373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f2054905090565b5f60035f8373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20549050919050565b5f600254905090565b5f60015f3373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f2054905090565b5f5f5f8373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20549050919050565b606061087160015f8473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f2054610dd7565b9050919050565b5f7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff905090565b5f60045f8373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20549050919050565b5f5f5f8473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205490505f60015f8473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205490505f60025490507fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff8303610a9b578473ffffffffffffffffffffffffffffffffffffffff167f5892f9e72b38da20e7c1448a35d447d1a6e24bcca9e69334e7f1aa8ce1112daf7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff6040516109f99190611060565b60405180910390a25f5f5f8773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f2081905550600160035f8773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f828254610a8f91906110da565b92505081905550610ae0565b600183015f5f8773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20819055505b7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff8203610c10578373ffffffffffffffffffffffffffffffffffffffff167f5ab6f950e1bb00a44ce4a2b5e1f0756d2369b6e78263ca326858855ec126eb2b7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff604051610b6d9190611060565b60405180910390a25f60015f8673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f2081905550600160045f8673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f828254610c0491906110da565b92505081905550610c56565b6001820160015f8673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20819055505b7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff8103610cf9577fcc00265a97766f7a6fff38e42a0d1efd92aef07ec4af9c551b0762d5c56d14437fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff604051610ccc9190611060565b60405180910390a15f600281905550600160055f828254610ced91906110da565b92505081905550610d04565b600181016002819055505b8373ffffffffffffffffffffffffffffffffffffffff168573ffffffffffffffffffffffffffffffffffffffff167f309b6ff7c796d92b2e93ed2e36f9e0a60c6f15ad0baea02f68da16974159af536001604051610d629190611060565b60405180910390a38373ffffffffffffffffffffffffffffffffffffffff168573ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef6001604051610dc89190611060565b60405180910390a35050505050565b60605f8203610e1d576040518060400160405280600181526020017f30000000000000000000000000000000000000000000000000000000000000008152509050610f2a565b5f8290505f5b5f8214610e4c578080610e359061110d565b915050600a82610e459190611181565b9150610e23565b5f8167ffffffffffffffff811115610e6757610e666111b1565b5b6040519080825280601f01601f191660200182016040528015610e995781602001600182028036833780820191505090505b5090505b5f8514610f23578180610eaf906111de565b925050600a85610ebf9190611205565b6030610ecb91906110da565b60f81b818381518110610ee157610ee0611235565b5b60200101907effffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff191690815f1a905350600a85610f1c9190611181565b9450610e9d565b8093505050505b919050565b5f81519050919050565b5f82825260208201905092915050565b8281835e5f83830152505050565b5f601f19601f8301169050919050565b5f610f7182610f2f565b610f7b8185610f39565b9350610f8b818560208601610f49565b610f9481610f57565b840191505092915050565b5f6020820190508181035f830152610fb78184610f67565b905092915050565b5f5ffd5b5f73ffffffffffffffffffffffffffffffffffffffff82169050919050565b5f610fec82610fc3565b9050919050565b610ffc81610fe2565b8114611006575f5ffd5b50565b5f8135905061101781610ff3565b92915050565b5f6020828403121561103257611031610fbf565b5b5f61103f84828501611009565b91505092915050565b5f819050919050565b61105a81611048565b82525050565b5f6020820190506110735f830184611051565b92915050565b5f60ff82169050919050565b61108e81611079565b82525050565b5f6020820190506110a75f830184611085565b92915050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52601160045260245ffd5b5f6110e482611048565b91506110ef83611048565b9250828201905080821115611107576111066110ad565b5b92915050565b5f61111782611048565b91507fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff8203611149576111486110ad565b5b600182019050919050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52601260045260245ffd5b5f61118b82611048565b915061119683611048565b9250826111a6576111a5611154565b5b828204905092915050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52604160045260245ffd5b5f6111e882611048565b91505f82036111fa576111f96110ad565b5b600182039050919050565b5f61120f82611048565b915061121a83611048565b92508261122a57611229611154565b5b828206905092915050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52603260045260245ffdfea26469706673582212206256e2d65d0bcae36bebea167f22593da19d2d7a137f56263fc09f721e06b65364736f6c63430008220033

0x608060405260043610610117575f3560e01c80639f1e8fdb1161009f578063c9116b6911610063578063c9116b69146103da578063cf8400ce14610404578063dae69ee914610440578063dd97a01b1461047c578063fec07958146104a65761014e565b80639f1e8fdb146102f65780639fba734f14610320578063ad22be231461034a578063b903380814610374578063bc44de11146103b05761014e565b8063313ce567116100e6578063313ce567146102265780633dd21a4c146102505780634478c8bb1461026657806370a082311461029057806395d89b41146102cc5761014e565b806306fdde0314610180578063132910d5146101aa578063146eeb4c146101d257806318160ddd146101fc5761014e565b3661014e576040517fcc30be8000000000000000000000000000000000000000000000000000000000815260040160405180910390fd5b6040517fcc30be8000000000000000000000000000000000000000000000000000000000815260040160405180910390fd5b34801561018b575f5ffd5b506101946104e2565b6040516101a19190610f9f565b60405180910390f35b3480156101b5575f5ffd5b506101d060048036038101906101cb919061101d565b61051f565b005b3480156101dd575f5ffd5b506101e6610591565b6040516101f39190610f9f565b60405180910390f35b348015610207575f5ffd5b506102106105de565b60405161021d9190611060565b60405180910390f35b348015610231575f5ffd5b5061023a6105e7565b6040516102479190611094565b60405180910390f35b34801561025b575f5ffd5b506102646105ee565b005b348015610271575f5ffd5b5061027a6105fa565b6040516102879190611060565b60405180910390f35b34801561029b575f5ffd5b506102b660048036038101906102b1919061101d565b61063d565b6040516102c39190611060565b60405180910390f35b3480156102d7575f5ffd5b506102e0610683565b6040516102ed9190610f9f565b60405180910390f35b348015610301575f5ffd5b5061030a6106c0565b6040516103179190611060565b60405180910390f35b34801561032b575f5ffd5b506103346106c9565b6040516103419190611060565b60405180910390f35b348015610355575f5ffd5b5061035e61070d565b60405161036b9190611060565b60405180910390f35b34801561037f575f5ffd5b5061039a6004803603810190610395919061101d565b610751565b6040516103a79190611060565b60405180910390f35b3480156103bb575f5ffd5b506103c4610797565b6040516103d19190611060565b60405180910390f35b3480156103e5575f5ffd5b506103ee6107a0565b6040516103fb9190611060565b60405180910390f35b34801561040f575f5ffd5b5061042a6004803603810190610425919061101d565b6107e4565b6040516104379190611060565b60405180910390f35b34801561044b575f5ffd5b506104666004803603810190610461919061101d565b610829565b6040516104739190610f9f565b60405180910390f35b348015610487575f5ffd5b50610490610878565b60405161049d9190611060565b60405180910390f35b3480156104b1575f5ffd5b506104cc60048036038101906104c7919061101d565b61089f565b6040516104d99190611060565b60405180910390f35b60606040518060400160405280600581526020017f3639303639000000000000000000000000000000000000000000000000000000815250905090565b5f73ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff1603610584576040517fb46d05cd00000000000000000000000000000000000000000000000000000000815260040160405180910390fd5b61058e33826108e5565b50565b60606105d960015f3373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f2054610dd7565b905090565b5f600254905090565b5f5f905090565b6105f833336108e5565b565b5f5f5f3373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f2054905090565b5f60015f8373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20549050919050565b60606040518060400160405280600381526020017f534f530000000000000000000000000000000000000000000000000000000000815250905090565b5f600554905090565b5f60045f3373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f2054905090565b5f60035f3373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f2054905090565b5f60035f8373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20549050919050565b5f600254905090565b5f60015f3373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f2054905090565b5f5f5f8373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20549050919050565b606061087160015f8473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f2054610dd7565b9050919050565b5f7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff905090565b5f60045f8373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20549050919050565b5f5f5f8473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205490505f60015f8473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205490505f60025490507fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff8303610a9b578473ffffffffffffffffffffffffffffffffffffffff167f5892f9e72b38da20e7c1448a35d447d1a6e24bcca9e69334e7f1aa8ce1112daf7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff6040516109f99190611060565b60405180910390a25f5f5f8773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f2081905550600160035f8773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f828254610a8f91906110da565b92505081905550610ae0565b600183015f5f8773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20819055505b7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff8203610c10578373ffffffffffffffffffffffffffffffffffffffff167f5ab6f950e1bb00a44ce4a2b5e1f0756d2369b6e78263ca326858855ec126eb2b7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff604051610b6d9190611060565b60405180910390a25f60015f8673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f2081905550600160045f8673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f828254610c0491906110da565b92505081905550610c56565b6001820160015f8673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20819055505b7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff8103610cf9577fcc00265a97766f7a6fff38e42a0d1efd92aef07ec4af9c551b0762d5c56d14437fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff604051610ccc9190611060565b60405180910390a15f600281905550600160055f828254610ced91906110da565b92505081905550610d04565b600181016002819055505b8373ffffffffffffffffffffffffffffffffffffffff168573ffffffffffffffffffffffffffffffffffffffff167f309b6ff7c796d92b2e93ed2e36f9e0a60c6f15ad0baea02f68da16974159af536001604051610d629190611060565b60405180910390a38373ffffffffffffffffffffffffffffffffffffffff168573ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef6001604051610dc89190611060565b60405180910390a35050505050565b60605f8203610e1d576040518060400160405280600181526020017f30000000000000000000000000000000000000000000000000000000000000008152509050610f2a565b5f8290505f5b5f8214610e4c578080610e359061110d565b915050600a82610e459190611181565b9150610e23565b5f8167ffffffffffffffff811115610e6757610e666111b1565b5b6040519080825280601f01601f191660200182016040528015610e995781602001600182028036833780820191505090505b5090505b5f8514610f23578180610eaf906111de565b925050600a85610ebf9190611205565b6030610ecb91906110da565b60f81b818381518110610ee157610ee0611235565b5b60200101907effffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff191690815f1a905350600a85610f1c9190611181565b9450610e9d565b8093505050505b919050565b5f81519050919050565b5f82825260208201905092915050565b8281835e5f83830152505050565b5f601f19601f8301169050919050565b5f610f7182610f2f565b610f7b8185610f39565b9350610f8b818560208601610f49565b610f9481610f57565b840191505092915050565b5f6020820190508181035f830152610fb78184610f67565b905092915050565b5f5ffd5b5f73ffffffffffffffffffffffffffffffffffffffff82169050919050565b5f610fec82610fc3565b9050919050565b610ffc81610fe2565b8114611006575f5ffd5b50565b5f8135905061101781610ff3565b92915050565b5f6020828403121561103257611031610fbf565b5b5f61103f84828501611009565b91505092915050565b5f819050919050565b61105a81611048565b82525050565b5f6020820190506110735f830184611051565b92915050565b5f60ff82169050919050565b61108e81611079565b82525050565b5f6020820190506110a75f830184611085565b92915050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52601160045260245ffd5b5f6110e482611048565b91506110ef83611048565b9250828201905080821115611107576111066110ad565b5b92915050565b5f61111782611048565b91507fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff8203611149576111486110ad565b5b600182019050919050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52601260045260245ffd5b5f61118b82611048565b915061119683611048565b9250826111a6576111a5611154565b5b828204905092915050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52604160045260245ffd5b5f6111e882611048565b91505f82036111fa576111f96110ad565b5b600182039050919050565b5f61120f82611048565b915061121a83611048565b92508261122a57611229611154565b5b828206905092915050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52603260045260245ffdfea26469706673582212206256e2d65d0bcae36bebea167f22593da19d2d7a137f56263fc09f721e06b65364736f6c63430008220033

7148:11470:0:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;18456:15;;;;;;;;;;;;;;7148:11470;18597:15;;;;;;;;;;;;;;9790:85;;;;;;;;;;;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;17783:136;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;14250:124;;;;;;;;;;;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;10519:89;;;;;;;;;;;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;10224:75;;;;;;;;;;;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;18218:78;;;;;;;;;;;;;:::i;:::-;;11270:97;;;;;;;;;;;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;10785:108;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;9962:85;;;;;;;;;;;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;13560:109;;;;;;;;;;;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;13274:118;;;;;;;;;;;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;13060:116;;;;;;;;;;;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;12534:122;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;11900:114;;;;;;;;;;;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;11454:96;;;;;;;;;;;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;10989:103;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;14020:136;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;12194:95;;;;;;;;;;;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;12833:130;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;9790:85;9827:13;9853:14;;;;;;;;;;;;;;;;;;;9790:85;:::o;17783:136::-;17849:1;17835:16;;:2;:16;;;17831:48;;17860:19;;;;;;;;;;;;;;17831:48;17890:21;17896:10;17908:2;17890:5;:21::i;:::-;17783:136;:::o;14250:124::-;14299:13;14332:34;14346:7;:19;14354:10;14346:19;;;;;;;;;;;;;;;;14332:13;:34::i;:::-;14325:41;;14250:124;:::o;10519:89::-;10563:7;10590:10;;10583:17;;10519:89;:::o;10224:75::-;10265:5;10290:1;10283:8;;10224:75;:::o;18218:78::-;18259:29;18265:10;18277;18259:5;:29::i;:::-;18218:78::o;11270:97::-;11314:7;11341:6;:18;11348:10;11341:18;;;;;;;;;;;;;;;;11334:25;;11270:97;:::o;10785:108::-;10842:7;10869;:16;10877:7;10869:16;;;;;;;;;;;;;;;;10862:23;;10785:108;;;:::o;9962:85::-;10001:13;10027:12;;;;;;;;;;;;;;;;;;;9962:85;:::o;13560:109::-;13616:7;13643:18;;13636:25;;13560:109;:::o;13274:118::-;13327:7;13354:18;:30;13373:10;13354:30;;;;;;;;;;;;;;;;13347:37;;13274:118;:::o;13060:116::-;13112:7;13139:17;:29;13157:10;13139:29;;;;;;;;;;;;;;;;13132:36;;13060:116;:::o;12534:122::-;12598:7;12625:17;:23;12643:4;12625:23;;;;;;;;;;;;;;;;12618:30;;12534:122;;;:::o;11900:114::-;11950:19;11996:10;;11982:24;;11900:114;:::o;11454:96::-;11496:7;11523;:19;11531:10;11523:19;;;;;;;;;;;;;;;;11516:26;;11454:96;:::o;10989:103::-;11045:7;11072:6;:12;11079:4;11072:12;;;;;;;;;;;;;;;;11065:19;;10989:103;;;:::o;14020:136::-;14084:13;14117:31;14131:7;:16;14139:7;14131:16;;;;;;;;;;;;;;;;14117:13;:31::i;:::-;14110:38;;14020:136;;;:::o;12194:95::-;12237:7;12264:17;12257:24;;12194:95;:::o;12833:130::-;12901:7;12928:18;:27;12947:7;12928:27;;;;;;;;;;;;;;;;12921:34;;12833:130;;;:::o;16143:1199::-;16204:19;16227:6;:12;16234:4;16227:12;;;;;;;;;;;;;;;;16204:35;;16250:20;16273:7;:11;16281:2;16273:11;;;;;;;;;;;;;;;;16250:34;;16295:20;16318:10;;16295:33;;7327:17;16345:11;:26;16341:292;;16406:4;16393:31;;;7327:17;16393:31;;;;;;:::i;:::-;;;;;;;;16454:1;16439:6;:12;16446:4;16439:12;;;;;;;;;;;;;;;:16;;;;16497:1;16470:17;:23;16488:4;16470:23;;;;;;;;;;;;;;;;:28;;;;;;;:::i;:::-;;;;;;;;16341:292;;;7280:1;16575:11;:31;16560:6;:12;16567:4;16560:12;;;;;;;;;;;;;;;:46;;;;16341:292;7327:17;16649:12;:27;16645:292;;16714:2;16698:32;;;7327:17;16698:32;;;;;;:::i;:::-;;;;;;;;16759:1;16745:7;:11;16753:2;16745:11;;;;;;;;;;;;;;;:15;;;;16801:1;16775:18;:22;16794:2;16775:22;;;;;;;;;;;;;;;;:27;;;;;;;:::i;:::-;;;;;;;;16645:292;;;7280:1;16878:12;:32;16864:7;:11;16872:2;16864:11;;;;;;;;;;;;;;;:46;;;;16645:292;7327:17;16953:12;:27;16949:280;;17002:26;7327:17;17002:26;;;;;;:::i;:::-;;;;;;;;17056:1;17043:10;:14;;;;17094:1;17072:18;;:23;;;;;;;:::i;:::-;;;;;;;;16949:280;;;7280:1;17170:12;:32;17157:10;:45;;;;16949:280;17259:2;17246:35;;17253:4;17246:35;;;7280:1;17246:35;;;;;;:::i;:::-;;;;;;;;17312:2;17297:37;;17306:4;17297:37;;;7280:1;17297:37;;;;;;:::i;:::-;;;;;;;;16193:1149;;;16143:1199;;:::o;14526:508::-;14587:13;14626:1;14617:5;:10;14613:26;;14629:10;;;;;;;;;;;;;;;;;;;;;14613:26;14650:12;14665:5;14650:20;;14681:14;14706:78;14721:1;14713:4;:9;14706:78;;14739:8;;;;;:::i;:::-;;;;14770:2;14762:10;;;;;:::i;:::-;;;14706:78;;;14794:19;14826:6;14816:17;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;14794:39;;14844:151;14860:1;14851:5;:10;14844:151;;14878:8;;;;;:::i;:::-;;;;14952:2;14944:5;:10;;;;:::i;:::-;14931:2;:24;;;;:::i;:::-;14918:39;;14901:6;14908;14901:14;;;;;;;;:::i;:::-;;;;;:56;;;;;;;;;;;14981:2;14972:11;;;;;:::i;:::-;;;14844:151;;;15019:6;15005:21;;;;;14526:508;;;;:::o;7:99:1:-;59:6;93:5;87:12;77:22;;7:99;;;:::o;112:169::-;196:11;230:6;225:3;218:19;270:4;265:3;261:14;246:29;;112:169;;;;:::o;287:139::-;376:6;371:3;366;360:23;417:1;408:6;403:3;399:16;392:27;287:139;;;:::o;432:102::-;473:6;524:2;520:7;515:2;508:5;504:14;500:28;490:38;;432:102;;;:::o;540:377::-;628:3;656:39;689:5;656:39;:::i;:::-;711:71;775:6;770:3;711:71;:::i;:::-;704:78;;791:65;849:6;844:3;837:4;830:5;826:16;791:65;:::i;:::-;881:29;903:6;881:29;:::i;:::-;876:3;872:39;865:46;;632:285;540:377;;;;:::o;923:313::-;1036:4;1074:2;1063:9;1059:18;1051:26;;1123:9;1117:4;1113:20;1109:1;1098:9;1094:17;1087:47;1151:78;1224:4;1215:6;1151:78;:::i;:::-;1143:86;;923:313;;;;:::o;1323:117::-;1432:1;1429;1422:12;1569:126;1606:7;1646:42;1639:5;1635:54;1624:65;;1569:126;;;:::o;1701:96::-;1738:7;1767:24;1785:5;1767:24;:::i;:::-;1756:35;;1701:96;;;:::o;1803:122::-;1876:24;1894:5;1876:24;:::i;:::-;1869:5;1866:35;1856:63;;1915:1;1912;1905:12;1856:63;1803:122;:::o;1931:139::-;1977:5;2015:6;2002:20;1993:29;;2031:33;2058:5;2031:33;:::i;:::-;1931:139;;;;:::o;2076:329::-;2135:6;2184:2;2172:9;2163:7;2159:23;2155:32;2152:119;;;2190:79;;:::i;:::-;2152:119;2310:1;2335:53;2380:7;2371:6;2360:9;2356:22;2335:53;:::i;:::-;2325:63;;2281:117;2076:329;;;;:::o;2411:77::-;2448:7;2477:5;2466:16;;2411:77;;;:::o;2494:118::-;2581:24;2599:5;2581:24;:::i;:::-;2576:3;2569:37;2494:118;;:::o;2618:222::-;2711:4;2749:2;2738:9;2734:18;2726:26;;2762:71;2830:1;2819:9;2815:17;2806:6;2762:71;:::i;:::-;2618:222;;;;:::o;2846:86::-;2881:7;2921:4;2914:5;2910:16;2899:27;;2846:86;;;:::o;2938:112::-;3021:22;3037:5;3021:22;:::i;:::-;3016:3;3009:35;2938:112;;:::o;3056:214::-;3145:4;3183:2;3172:9;3168:18;3160:26;;3196:67;3260:1;3249:9;3245:17;3236:6;3196:67;:::i;:::-;3056:214;;;;:::o;3276:180::-;3324:77;3321:1;3314:88;3421:4;3418:1;3411:15;3445:4;3442:1;3435:15;3462:191;3502:3;3521:20;3539:1;3521:20;:::i;:::-;3516:25;;3555:20;3573:1;3555:20;:::i;:::-;3550:25;;3598:1;3595;3591:9;3584:16;;3619:3;3616:1;3613:10;3610:36;;;3626:18;;:::i;:::-;3610:36;3462:191;;;;:::o;3659:233::-;3698:3;3721:24;3739:5;3721:24;:::i;:::-;3712:33;;3767:66;3760:5;3757:77;3754:103;;3837:18;;:::i;:::-;3754:103;3884:1;3877:5;3873:13;3866:20;;3659:233;;;:::o;3898:180::-;3946:77;3943:1;3936:88;4043:4;4040:1;4033:15;4067:4;4064:1;4057:15;4084:185;4124:1;4141:20;4159:1;4141:20;:::i;:::-;4136:25;;4175:20;4193:1;4175:20;:::i;:::-;4170:25;;4214:1;4204:35;;4219:18;;:::i;:::-;4204:35;4261:1;4258;4254:9;4249:14;;4084:185;;;;:::o;4275:180::-;4323:77;4320:1;4313:88;4420:4;4417:1;4410:15;4444:4;4441:1;4434:15;4461:171;4500:3;4523:24;4541:5;4523:24;:::i;:::-;4514:33;;4569:4;4562:5;4559:15;4556:41;;4577:18;;:::i;:::-;4556:41;4624:1;4617:5;4613:13;4606:20;;4461:171;;;:::o;4638:176::-;4670:1;4687:20;4705:1;4687:20;:::i;:::-;4682:25;;4721:20;4739:1;4721:20;:::i;:::-;4716:25;;4760:1;4750:35;;4765:18;;:::i;:::-;4750:35;4806:1;4803;4799:9;4794:14;;4638:176;;;;:::o;4820:180::-;4868:77;4865:1;4858:88;4965:4;4962:1;4955:15;4989:4;4986:1;4979:15

ipfs://6256e2d65d0bcae36bebea167f22593da19d2d7a137f56263fc09f721e06b653