Validity Ownership (VXT)
Overview
Max Total supply:
0
VXT
Holders:
1 addresses
Total transfers:
1
Token info
Contract Source Code Verified (Exact Match)
Contract Name:
ValidityOwnership
Compiler Version:
0.8.18+commit.87f61d96
EVM Version:
default evmVersion
Optimizations:
Disabled with 200 runs
License:
No License (None)
Contract source code and ABI
Creation bytecode
0x60806040523480156200001157600080fd5b506040518060400160405280601281526020017f56616c6964697479204f776e65727368697000000000000000000000000000008152506040518060400160405280600381526020017f565854000000000000000000000000000000000000000000000000000000000081525081600090816200008f919062000412565b508060019081620000a1919062000412565b505050620000c4620000b8620000ca60201b60201c565b620000d260201b60201c565b620004f9565b600033905090565b6000600660009054906101000a900473ffffffffffffffffffffffffffffffffffffffff16905081600660006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055508173ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff167f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e060405160405180910390a35050565b600081519050919050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052604160045260246000fd5b7f4e487b7100000000000000000000000000000000000000000000000000000000600052602260045260246000fd5b600060028204905060018216806200021a57607f821691505b60208210810362000230576200022f620001d2565b5b50919050565b60008190508160005260206000209050919050565b60006020601f8301049050919050565b600082821b905092915050565b6000600883026200029a7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff826200025b565b620002a686836200025b565b95508019841693508086168417925050509392505050565b6000819050919050565b6000819050919050565b6000620002f3620002ed620002e784620002be565b620002c8565b620002be565b9050919050565b6000819050919050565b6200030f83620002d2565b620003276200031e82620002fa565b84845462000268565b825550505050565b600090565b6200033e6200032f565b6200034b81848462000304565b505050565b5b8181101562000373576200036760008262000334565b60018101905062000351565b5050565b601f821115620003c2576200038c8162000236565b62000397846200024b565b81016020851015620003a7578190505b620003bf620003b6856200024b565b83018262000350565b50505b505050565b600082821c905092915050565b6000620003e760001984600802620003c7565b1980831691505092915050565b6000620004028383620003d4565b9150826002028217905092915050565b6200041d8262000198565b67ffffffffffffffff811115620004395762000438620001a3565b5b62000445825462000201565b6200045282828562000377565b600060209050601f8311600181146200048a576000841562000475578287015190505b620004818582620003f4565b865550620004f1565b601f1984166200049a8662000236565b60005b82811015620004c4578489015182556001820191506020850194506020810190506200049d565b86831015620004e45784890151620004e0601f891682620003d4565b8355505b6001600288020188555050505b505050505050565b612a5080620005096000396000f3fe608060405234801561001057600080fd5b50600436106101165760003560e01c806370a08231116100a2578063a22cb46511610071578063a22cb465146102cb578063b88d4fde146102e7578063c87b56dd14610303578063e985e9c514610333578063f2fde38b1461036357610116565b806370a0823114610255578063715018a6146102855780638da5cb5b1461028f57806395d89b41146102ad57610116565b806323b872dd116100e957806323b872dd146101b557806340d097c3146101d157806342842e0e146101ed57806342966c68146102095780636352211e1461022557610116565b806301ffc9a71461011b57806306fdde031461014b578063081812fc14610169578063095ea7b314610199575b600080fd5b61013560048036038101906101309190611c4e565b61037f565b6040516101429190611c96565b60405180910390f35b610153610461565b6040516101609190611d41565b60405180910390f35b610183600480360381019061017e9190611d99565b6104f3565b6040516101909190611e07565b60405180910390f35b6101b360048036038101906101ae9190611e4e565b610539565b005b6101cf60048036038101906101ca9190611e8e565b610650565b005b6101eb60048036038101906101e69190611ee1565b6106b0565b005b61020760048036038101906102029190611e8e565b6106de565b005b610223600480360381019061021e9190611d99565b6106fe565b005b61023f600480360381019061023a9190611d99565b61075a565b60405161024c9190611e07565b60405180910390f35b61026f600480360381019061026a9190611ee1565b6107e0565b60405161027c9190611f1d565b60405180910390f35b61028d610897565b005b6102976108ab565b6040516102a49190611e07565b60405180910390f35b6102b56108d5565b6040516102c29190611d41565b60405180910390f35b6102e560048036038101906102e09190611f64565b610967565b005b61030160048036038101906102fc91906120d9565b61097d565b005b61031d60048036038101906103189190611d99565b6109df565b60405161032a9190611d41565b60405180910390f35b61034d6004803603810190610348919061215c565b610a47565b60405161035a9190611c96565b60405180910390f35b61037d60048036038101906103789190611ee1565b610adb565b005b60007f80ac58cd000000000000000000000000000000000000000000000000000000007bffffffffffffffffffffffffffffffffffffffffffffffffffffffff1916827bffffffffffffffffffffffffffffffffffffffffffffffffffffffff1916148061044a57507f5b5e139f000000000000000000000000000000000000000000000000000000007bffffffffffffffffffffffffffffffffffffffffffffffffffffffff1916827bffffffffffffffffffffffffffffffffffffffffffffffffffffffff1916145b8061045a575061045982610b5e565b5b9050919050565b606060008054610470906121cb565b80601f016020809104026020016040519081016040528092919081815260200182805461049c906121cb565b80156104e95780601f106104be576101008083540402835291602001916104e9565b820191906000526020600020905b8154815290600101906020018083116104cc57829003601f168201915b5050505050905090565b60006104fe82610bc8565b6004600083815260200190815260200160002060009054906101000a900473ffffffffffffffffffffffffffffffffffffffff169050919050565b60006105448261075a565b90508073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff16036105b4576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016105ab9061226e565b60405180910390fd5b8073ffffffffffffffffffffffffffffffffffffffff166105d3610c13565b73ffffffffffffffffffffffffffffffffffffffff1614806106025750610601816105fc610c13565b610a47565b5b610641576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161063890612300565b60405180910390fd5b61064b8383610c1b565b505050565b61066161065b610c13565b82610cd4565b6106a0576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161069790612392565b60405180910390fd5b6106ab838383610d69565b505050565b6106b8611062565b60006106c460076110e0565b90506106d060076110ee565b6106da8282611104565b5050565b6106f98383836040518060200160405280600081525061097d565b505050565b61070f610709610c13565b82610cd4565b61074e576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161074590612392565b60405180910390fd5b61075781611122565b50565b60008061076683611270565b9050600073ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff16036107d7576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016107ce906123fe565b60405180910390fd5b80915050919050565b60008073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff1603610850576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161084790612490565b60405180910390fd5b600360008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020549050919050565b61089f611062565b6108a960006112ad565b565b6000600660009054906101000a900473ffffffffffffffffffffffffffffffffffffffff16905090565b6060600180546108e4906121cb565b80601f0160208091040260200160405190810160405280929190818152602001828054610910906121cb565b801561095d5780601f106109325761010080835404028352916020019161095d565b820191906000526020600020905b81548152906001019060200180831161094057829003601f168201915b5050505050905090565b610979610972610c13565b8383611373565b5050565b61098e610988610c13565b83610cd4565b6109cd576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016109c490612392565b60405180910390fd5b6109d9848484846114df565b50505050565b60606109ea82610bc8565b60006109f461153b565b90506000815111610a145760405180602001604052806000815250610a3f565b80610a1e84611552565b604051602001610a2f9291906124ec565b6040516020818303038152906040525b915050919050565b6000600560008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff16905092915050565b610ae3611062565b600073ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff1603610b52576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610b4990612582565b60405180910390fd5b610b5b816112ad565b50565b60007f01ffc9a7000000000000000000000000000000000000000000000000000000007bffffffffffffffffffffffffffffffffffffffffffffffffffffffff1916827bffffffffffffffffffffffffffffffffffffffffffffffffffffffff1916149050919050565b610bd181611620565b610c10576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610c07906123fe565b60405180910390fd5b50565b600033905090565b816004600083815260200190815260200160002060006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff160217905550808273ffffffffffffffffffffffffffffffffffffffff16610c8e8361075a565b73ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b92560405160405180910390a45050565b600080610ce08361075a565b90508073ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff161480610d225750610d218185610a47565b5b80610d6057508373ffffffffffffffffffffffffffffffffffffffff16610d48846104f3565b73ffffffffffffffffffffffffffffffffffffffff16145b91505092915050565b8273ffffffffffffffffffffffffffffffffffffffff16610d898261075a565b73ffffffffffffffffffffffffffffffffffffffff1614610ddf576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610dd690612614565b60405180910390fd5b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff1603610e4e576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610e45906126a6565b60405180910390fd5b610e5b8383836001611661565b8273ffffffffffffffffffffffffffffffffffffffff16610e7b8261075a565b73ffffffffffffffffffffffffffffffffffffffff1614610ed1576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610ec890612614565b60405180910390fd5b6004600082815260200190815260200160002060006101000a81549073ffffffffffffffffffffffffffffffffffffffff02191690556001600360008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020600082825403925050819055506001600360008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008282540192505081905550816002600083815260200190815260200160002060006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff160217905550808273ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef60405160405180910390a461105d8383836001611667565b505050565b61106a610c13565b73ffffffffffffffffffffffffffffffffffffffff166110886108ab565b73ffffffffffffffffffffffffffffffffffffffff16146110de576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016110d590612712565b60405180910390fd5b565b600081600001549050919050565b6001816000016000828254019250508190555050565b61111e82826040518060200160405280600081525061166d565b5050565b600061112d8261075a565b905061113d816000846001611661565b6111468261075a565b90506004600083815260200190815260200160002060006101000a81549073ffffffffffffffffffffffffffffffffffffffff02191690556001600360008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020600082825403925050819055506002600083815260200190815260200160002060006101000a81549073ffffffffffffffffffffffffffffffffffffffff021916905581600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef60405160405180910390a461126c816000846001611667565b5050565b60006002600083815260200190815260200160002060009054906101000a900473ffffffffffffffffffffffffffffffffffffffff169050919050565b6000600660009054906101000a900473ffffffffffffffffffffffffffffffffffffffff16905081600660006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055508173ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff167f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e060405160405180910390a35050565b8173ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff16036113e1576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016113d89061277e565b60405180910390fd5b80600560008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006101000a81548160ff0219169083151502179055508173ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff167f17307eab39ab6107e8899845ad3d59bd9653f200f220920489ca2b5937696c31836040516114d29190611c96565b60405180910390a3505050565b6114ea848484610d69565b6114f6848484846116c8565b611535576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161152c90612810565b60405180910390fd5b50505050565b606060405180602001604052806000815250905090565b6060600060016115618461184f565b01905060008167ffffffffffffffff8111156115805761157f611fae565b5b6040519080825280601f01601f1916602001820160405280156115b25781602001600182028036833780820191505090505b509050600082602001820190505b600115611615578080600190039150507f3031323334353637383961626364656600000000000000000000000000000000600a86061a8153600a858161160957611608612830565b5b049450600085036115c0575b819350505050919050565b60008073ffffffffffffffffffffffffffffffffffffffff1661164283611270565b73ffffffffffffffffffffffffffffffffffffffff1614159050919050565b50505050565b50505050565b61167783836119a2565b61168460008484846116c8565b6116c3576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016116ba90612810565b60405180910390fd5b505050565b60006116e98473ffffffffffffffffffffffffffffffffffffffff16611bbf565b15611842578373ffffffffffffffffffffffffffffffffffffffff1663150b7a02611712610c13565b8786866040518563ffffffff1660e01b815260040161173494939291906128b4565b6020604051808303816000875af192505050801561177057506040513d601f19601f8201168201806040525081019061176d9190612915565b60015b6117f2573d80600081146117a0576040519150601f19603f3d011682016040523d82523d6000602084013e6117a5565b606091505b5060008151036117ea576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016117e190612810565b60405180910390fd5b805181602001fd5b63150b7a0260e01b7bffffffffffffffffffffffffffffffffffffffffffffffffffffffff1916817bffffffffffffffffffffffffffffffffffffffffffffffffffffffff191614915050611847565b600190505b949350505050565b600080600090507a184f03e93ff9f4daa797ed6e38ed64bf6a1f01000000000000000083106118ad577a184f03e93ff9f4daa797ed6e38ed64bf6a1f01000000000000000083816118a3576118a2612830565b5b0492506040810190505b6d04ee2d6d415b85acef810000000083106118ea576d04ee2d6d415b85acef810000000083816118e0576118df612830565b5b0492506020810190505b662386f26fc10000831061191957662386f26fc10000838161190f5761190e612830565b5b0492506010810190505b6305f5e1008310611942576305f5e100838161193857611937612830565b5b0492506008810190505b612710831061196757612710838161195d5761195c612830565b5b0492506004810190505b6064831061198a57606483816119805761197f612830565b5b0492506002810190505b600a8310611999576001810190505b80915050919050565b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff1603611a11576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401611a089061298e565b60405180910390fd5b611a1a81611620565b15611a5a576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401611a51906129fa565b60405180910390fd5b611a68600083836001611661565b611a7181611620565b15611ab1576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401611aa8906129fa565b60405180910390fd5b6001600360008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008282540192505081905550816002600083815260200190815260200160002060006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff160217905550808273ffffffffffffffffffffffffffffffffffffffff16600073ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef60405160405180910390a4611bbb600083836001611667565b5050565b6000808273ffffffffffffffffffffffffffffffffffffffff163b119050919050565b6000604051905090565b600080fd5b600080fd5b60007fffffffff0000000000000000000000000000000000000000000000000000000082169050919050565b611c2b81611bf6565b8114611c3657600080fd5b50565b600081359050611c4881611c22565b92915050565b600060208284031215611c6457611c63611bec565b5b6000611c7284828501611c39565b91505092915050565b60008115159050919050565b611c9081611c7b565b82525050565b6000602082019050611cab6000830184611c87565b92915050565b600081519050919050565b600082825260208201905092915050565b60005b83811015611ceb578082015181840152602081019050611cd0565b60008484015250505050565b6000601f19601f8301169050919050565b6000611d1382611cb1565b611d1d8185611cbc565b9350611d2d818560208601611ccd565b611d3681611cf7565b840191505092915050565b60006020820190508181036000830152611d5b8184611d08565b905092915050565b6000819050919050565b611d7681611d63565b8114611d8157600080fd5b50565b600081359050611d9381611d6d565b92915050565b600060208284031215611daf57611dae611bec565b5b6000611dbd84828501611d84565b91505092915050565b600073ffffffffffffffffffffffffffffffffffffffff82169050919050565b6000611df182611dc6565b9050919050565b611e0181611de6565b82525050565b6000602082019050611e1c6000830184611df8565b92915050565b611e2b81611de6565b8114611e3657600080fd5b50565b600081359050611e4881611e22565b92915050565b60008060408385031215611e6557611e64611bec565b5b6000611e7385828601611e39565b9250506020611e8485828601611d84565b9150509250929050565b600080600060608486031215611ea757611ea6611bec565b5b6000611eb586828701611e39565b9350506020611ec686828701611e39565b9250506040611ed786828701611d84565b9150509250925092565b600060208284031215611ef757611ef6611bec565b5b6000611f0584828501611e39565b91505092915050565b611f1781611d63565b82525050565b6000602082019050611f326000830184611f0e565b92915050565b611f4181611c7b565b8114611f4c57600080fd5b50565b600081359050611f5e81611f38565b92915050565b60008060408385031215611f7b57611f7a611bec565b5b6000611f8985828601611e39565b9250506020611f9a85828601611f4f565b9150509250929050565b600080fd5b600080fd5b7f4e487b7100000000000000000000000000000000000000000000000000000000600052604160045260246000fd5b611fe682611cf7565b810181811067ffffffffffffffff8211171561200557612004611fae565b5b80604052505050565b6000612018611be2565b90506120248282611fdd565b919050565b600067ffffffffffffffff82111561204457612043611fae565b5b61204d82611cf7565b9050602081019050919050565b82818337600083830152505050565b600061207c61207784612029565b61200e565b90508281526020810184848401111561209857612097611fa9565b5b6120a384828561205a565b509392505050565b600082601f8301126120c0576120bf611fa4565b5b81356120d0848260208601612069565b91505092915050565b600080600080608085870312156120f3576120f2611bec565b5b600061210187828801611e39565b945050602061211287828801611e39565b935050604061212387828801611d84565b925050606085013567ffffffffffffffff81111561214457612143611bf1565b5b612150878288016120ab565b91505092959194509250565b6000806040838503121561217357612172611bec565b5b600061218185828601611e39565b925050602061219285828601611e39565b9150509250929050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052602260045260246000fd5b600060028204905060018216806121e357607f821691505b6020821081036121f6576121f561219c565b5b50919050565b7f4552433732313a20617070726f76616c20746f2063757272656e74206f776e6560008201527f7200000000000000000000000000000000000000000000000000000000000000602082015250565b6000612258602183611cbc565b9150612263826121fc565b604082019050919050565b600060208201905081810360008301526122878161224b565b9050919050565b7f4552433732313a20617070726f76652063616c6c6572206973206e6f7420746f60008201527f6b656e206f776e6572206f7220617070726f76656420666f7220616c6c000000602082015250565b60006122ea603d83611cbc565b91506122f58261228e565b604082019050919050565b60006020820190508181036000830152612319816122dd565b9050919050565b7f4552433732313a2063616c6c6572206973206e6f7420746f6b656e206f776e6560008201527f72206f7220617070726f76656400000000000000000000000000000000000000602082015250565b600061237c602d83611cbc565b915061238782612320565b604082019050919050565b600060208201905081810360008301526123ab8161236f565b9050919050565b7f4552433732313a20696e76616c696420746f6b656e2049440000000000000000600082015250565b60006123e8601883611cbc565b91506123f3826123b2565b602082019050919050565b60006020820190508181036000830152612417816123db565b9050919050565b7f4552433732313a2061646472657373207a65726f206973206e6f74206120766160008201527f6c6964206f776e65720000000000000000000000000000000000000000000000602082015250565b600061247a602983611cbc565b91506124858261241e565b604082019050919050565b600060208201905081810360008301526124a98161246d565b9050919050565b600081905092915050565b60006124c682611cb1565b6124d081856124b0565b93506124e0818560208601611ccd565b80840191505092915050565b60006124f882856124bb565b915061250482846124bb565b91508190509392505050565b7f4f776e61626c653a206e6577206f776e657220697320746865207a65726f206160008201527f6464726573730000000000000000000000000000000000000000000000000000602082015250565b600061256c602683611cbc565b915061257782612510565b604082019050919050565b6000602082019050818103600083015261259b8161255f565b9050919050565b7f4552433732313a207472616e736665722066726f6d20696e636f72726563742060008201527f6f776e6572000000000000000000000000000000000000000000000000000000602082015250565b60006125fe602583611cbc565b9150612609826125a2565b604082019050919050565b6000602082019050818103600083015261262d816125f1565b9050919050565b7f4552433732313a207472616e7366657220746f20746865207a65726f2061646460008201527f7265737300000000000000000000000000000000000000000000000000000000602082015250565b6000612690602483611cbc565b915061269b82612634565b604082019050919050565b600060208201905081810360008301526126bf81612683565b9050919050565b7f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572600082015250565b60006126fc602083611cbc565b9150612707826126c6565b602082019050919050565b6000602082019050818103600083015261272b816126ef565b9050919050565b7f4552433732313a20617070726f766520746f2063616c6c657200000000000000600082015250565b6000612768601983611cbc565b915061277382612732565b602082019050919050565b600060208201905081810360008301526127978161275b565b9050919050565b7f4552433732313a207472616e7366657220746f206e6f6e20455243373231526560008201527f63656976657220696d706c656d656e7465720000000000000000000000000000602082015250565b60006127fa603283611cbc565b91506128058261279e565b604082019050919050565b60006020820190508181036000830152612829816127ed565b9050919050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052601260045260246000fd5b600081519050919050565b600082825260208201905092915050565b60006128868261285f565b612890818561286a565b93506128a0818560208601611ccd565b6128a981611cf7565b840191505092915050565b60006080820190506128c96000830187611df8565b6128d66020830186611df8565b6128e36040830185611f0e565b81810360608301526128f5818461287b565b905095945050505050565b60008151905061290f81611c22565b92915050565b60006020828403121561292b5761292a611bec565b5b600061293984828501612900565b91505092915050565b7f4552433732313a206d696e7420746f20746865207a65726f2061646472657373600082015250565b6000612978602083611cbc565b915061298382612942565b602082019050919050565b600060208201905081810360008301526129a78161296b565b9050919050565b7f4552433732313a20746f6b656e20616c7265616479206d696e74656400000000600082015250565b60006129e4601c83611cbc565b91506129ef826129ae565b602082019050919050565b60006020820190508181036000830152612a13816129d7565b905091905056fea26469706673582212205a442061990f81fa46c93a07f8a3ac356b2eb176120ffb4e36576392c521c26764736f6c63430008120033
Deployed bytecode
0x608060405234801561001057600080fd5b50600436106101165760003560e01c806370a08231116100a2578063a22cb46511610071578063a22cb465146102cb578063b88d4fde146102e7578063c87b56dd14610303578063e985e9c514610333578063f2fde38b1461036357610116565b806370a0823114610255578063715018a6146102855780638da5cb5b1461028f57806395d89b41146102ad57610116565b806323b872dd116100e957806323b872dd146101b557806340d097c3146101d157806342842e0e146101ed57806342966c68146102095780636352211e1461022557610116565b806301ffc9a71461011b57806306fdde031461014b578063081812fc14610169578063095ea7b314610199575b600080fd5b61013560048036038101906101309190611c4e565b61037f565b6040516101429190611c96565b60405180910390f35b610153610461565b6040516101609190611d41565b60405180910390f35b610183600480360381019061017e9190611d99565b6104f3565b6040516101909190611e07565b60405180910390f35b6101b360048036038101906101ae9190611e4e565b610539565b005b6101cf60048036038101906101ca9190611e8e565b610650565b005b6101eb60048036038101906101e69190611ee1565b6106b0565b005b61020760048036038101906102029190611e8e565b6106de565b005b610223600480360381019061021e9190611d99565b6106fe565b005b61023f600480360381019061023a9190611d99565b61075a565b60405161024c9190611e07565b60405180910390f35b61026f600480360381019061026a9190611ee1565b6107e0565b60405161027c9190611f1d565b60405180910390f35b61028d610897565b005b6102976108ab565b6040516102a49190611e07565b60405180910390f35b6102b56108d5565b6040516102c29190611d41565b60405180910390f35b6102e560048036038101906102e09190611f64565b610967565b005b61030160048036038101906102fc91906120d9565b61097d565b005b61031d60048036038101906103189190611d99565b6109df565b60405161032a9190611d41565b60405180910390f35b61034d6004803603810190610348919061215c565b610a47565b60405161035a9190611c96565b60405180910390f35b61037d60048036038101906103789190611ee1565b610adb565b005b60007f80ac58cd000000000000000000000000000000000000000000000000000000007bffffffffffffffffffffffffffffffffffffffffffffffffffffffff1916827bffffffffffffffffffffffffffffffffffffffffffffffffffffffff1916148061044a57507f5b5e139f000000000000000000000000000000000000000000000000000000007bffffffffffffffffffffffffffffffffffffffffffffffffffffffff1916827bffffffffffffffffffffffffffffffffffffffffffffffffffffffff1916145b8061045a575061045982610b5e565b5b9050919050565b606060008054610470906121cb565b80601f016020809104026020016040519081016040528092919081815260200182805461049c906121cb565b80156104e95780601f106104be576101008083540402835291602001916104e9565b820191906000526020600020905b8154815290600101906020018083116104cc57829003601f168201915b5050505050905090565b60006104fe82610bc8565b6004600083815260200190815260200160002060009054906101000a900473ffffffffffffffffffffffffffffffffffffffff169050919050565b60006105448261075a565b90508073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff16036105b4576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016105ab9061226e565b60405180910390fd5b8073ffffffffffffffffffffffffffffffffffffffff166105d3610c13565b73ffffffffffffffffffffffffffffffffffffffff1614806106025750610601816105fc610c13565b610a47565b5b610641576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161063890612300565b60405180910390fd5b61064b8383610c1b565b505050565b61066161065b610c13565b82610cd4565b6106a0576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161069790612392565b60405180910390fd5b6106ab838383610d69565b505050565b6106b8611062565b60006106c460076110e0565b90506106d060076110ee565b6106da8282611104565b5050565b6106f98383836040518060200160405280600081525061097d565b505050565b61070f610709610c13565b82610cd4565b61074e576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161074590612392565b60405180910390fd5b61075781611122565b50565b60008061076683611270565b9050600073ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff16036107d7576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016107ce906123fe565b60405180910390fd5b80915050919050565b60008073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff1603610850576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161084790612490565b60405180910390fd5b600360008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020549050919050565b61089f611062565b6108a960006112ad565b565b6000600660009054906101000a900473ffffffffffffffffffffffffffffffffffffffff16905090565b6060600180546108e4906121cb565b80601f0160208091040260200160405190810160405280929190818152602001828054610910906121cb565b801561095d5780601f106109325761010080835404028352916020019161095d565b820191906000526020600020905b81548152906001019060200180831161094057829003601f168201915b5050505050905090565b610979610972610c13565b8383611373565b5050565b61098e610988610c13565b83610cd4565b6109cd576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016109c490612392565b60405180910390fd5b6109d9848484846114df565b50505050565b60606109ea82610bc8565b60006109f461153b565b90506000815111610a145760405180602001604052806000815250610a3f565b80610a1e84611552565b604051602001610a2f9291906124ec565b6040516020818303038152906040525b915050919050565b6000600560008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff16905092915050565b610ae3611062565b600073ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff1603610b52576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610b4990612582565b60405180910390fd5b610b5b816112ad565b50565b60007f01ffc9a7000000000000000000000000000000000000000000000000000000007bffffffffffffffffffffffffffffffffffffffffffffffffffffffff1916827bffffffffffffffffffffffffffffffffffffffffffffffffffffffff1916149050919050565b610bd181611620565b610c10576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610c07906123fe565b60405180910390fd5b50565b600033905090565b816004600083815260200190815260200160002060006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff160217905550808273ffffffffffffffffffffffffffffffffffffffff16610c8e8361075a565b73ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b92560405160405180910390a45050565b600080610ce08361075a565b90508073ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff161480610d225750610d218185610a47565b5b80610d6057508373ffffffffffffffffffffffffffffffffffffffff16610d48846104f3565b73ffffffffffffffffffffffffffffffffffffffff16145b91505092915050565b8273ffffffffffffffffffffffffffffffffffffffff16610d898261075a565b73ffffffffffffffffffffffffffffffffffffffff1614610ddf576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610dd690612614565b60405180910390fd5b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff1603610e4e576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610e45906126a6565b60405180910390fd5b610e5b8383836001611661565b8273ffffffffffffffffffffffffffffffffffffffff16610e7b8261075a565b73ffffffffffffffffffffffffffffffffffffffff1614610ed1576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610ec890612614565b60405180910390fd5b6004600082815260200190815260200160002060006101000a81549073ffffffffffffffffffffffffffffffffffffffff02191690556001600360008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020600082825403925050819055506001600360008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008282540192505081905550816002600083815260200190815260200160002060006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff160217905550808273ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef60405160405180910390a461105d8383836001611667565b505050565b61106a610c13565b73ffffffffffffffffffffffffffffffffffffffff166110886108ab565b73ffffffffffffffffffffffffffffffffffffffff16146110de576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016110d590612712565b60405180910390fd5b565b600081600001549050919050565b6001816000016000828254019250508190555050565b61111e82826040518060200160405280600081525061166d565b5050565b600061112d8261075a565b905061113d816000846001611661565b6111468261075a565b90506004600083815260200190815260200160002060006101000a81549073ffffffffffffffffffffffffffffffffffffffff02191690556001600360008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020600082825403925050819055506002600083815260200190815260200160002060006101000a81549073ffffffffffffffffffffffffffffffffffffffff021916905581600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef60405160405180910390a461126c816000846001611667565b5050565b60006002600083815260200190815260200160002060009054906101000a900473ffffffffffffffffffffffffffffffffffffffff169050919050565b6000600660009054906101000a900473ffffffffffffffffffffffffffffffffffffffff16905081600660006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055508173ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff167f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e060405160405180910390a35050565b8173ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff16036113e1576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016113d89061277e565b60405180910390fd5b80600560008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006101000a81548160ff0219169083151502179055508173ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff167f17307eab39ab6107e8899845ad3d59bd9653f200f220920489ca2b5937696c31836040516114d29190611c96565b60405180910390a3505050565b6114ea848484610d69565b6114f6848484846116c8565b611535576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161152c90612810565b60405180910390fd5b50505050565b606060405180602001604052806000815250905090565b6060600060016115618461184f565b01905060008167ffffffffffffffff8111156115805761157f611fae565b5b6040519080825280601f01601f1916602001820160405280156115b25781602001600182028036833780820191505090505b509050600082602001820190505b600115611615578080600190039150507f3031323334353637383961626364656600000000000000000000000000000000600a86061a8153600a858161160957611608612830565b5b049450600085036115c0575b819350505050919050565b60008073ffffffffffffffffffffffffffffffffffffffff1661164283611270565b73ffffffffffffffffffffffffffffffffffffffff1614159050919050565b50505050565b50505050565b61167783836119a2565b61168460008484846116c8565b6116c3576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016116ba90612810565b60405180910390fd5b505050565b60006116e98473ffffffffffffffffffffffffffffffffffffffff16611bbf565b15611842578373ffffffffffffffffffffffffffffffffffffffff1663150b7a02611712610c13565b8786866040518563ffffffff1660e01b815260040161173494939291906128b4565b6020604051808303816000875af192505050801561177057506040513d601f19601f8201168201806040525081019061176d9190612915565b60015b6117f2573d80600081146117a0576040519150601f19603f3d011682016040523d82523d6000602084013e6117a5565b606091505b5060008151036117ea576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016117e190612810565b60405180910390fd5b805181602001fd5b63150b7a0260e01b7bffffffffffffffffffffffffffffffffffffffffffffffffffffffff1916817bffffffffffffffffffffffffffffffffffffffffffffffffffffffff191614915050611847565b600190505b949350505050565b600080600090507a184f03e93ff9f4daa797ed6e38ed64bf6a1f01000000000000000083106118ad577a184f03e93ff9f4daa797ed6e38ed64bf6a1f01000000000000000083816118a3576118a2612830565b5b0492506040810190505b6d04ee2d6d415b85acef810000000083106118ea576d04ee2d6d415b85acef810000000083816118e0576118df612830565b5b0492506020810190505b662386f26fc10000831061191957662386f26fc10000838161190f5761190e612830565b5b0492506010810190505b6305f5e1008310611942576305f5e100838161193857611937612830565b5b0492506008810190505b612710831061196757612710838161195d5761195c612830565b5b0492506004810190505b6064831061198a57606483816119805761197f612830565b5b0492506002810190505b600a8310611999576001810190505b80915050919050565b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff1603611a11576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401611a089061298e565b60405180910390fd5b611a1a81611620565b15611a5a576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401611a51906129fa565b60405180910390fd5b611a68600083836001611661565b611a7181611620565b15611ab1576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401611aa8906129fa565b60405180910390fd5b6001600360008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008282540192505081905550816002600083815260200190815260200160002060006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff160217905550808273ffffffffffffffffffffffffffffffffffffffff16600073ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef60405160405180910390a4611bbb600083836001611667565b5050565b6000808273ffffffffffffffffffffffffffffffffffffffff163b119050919050565b6000604051905090565b600080fd5b600080fd5b60007fffffffff0000000000000000000000000000000000000000000000000000000082169050919050565b611c2b81611bf6565b8114611c3657600080fd5b50565b600081359050611c4881611c22565b92915050565b600060208284031215611c6457611c63611bec565b5b6000611c7284828501611c39565b91505092915050565b60008115159050919050565b611c9081611c7b565b82525050565b6000602082019050611cab6000830184611c87565b92915050565b600081519050919050565b600082825260208201905092915050565b60005b83811015611ceb578082015181840152602081019050611cd0565b60008484015250505050565b6000601f19601f8301169050919050565b6000611d1382611cb1565b611d1d8185611cbc565b9350611d2d818560208601611ccd565b611d3681611cf7565b840191505092915050565b60006020820190508181036000830152611d5b8184611d08565b905092915050565b6000819050919050565b611d7681611d63565b8114611d8157600080fd5b50565b600081359050611d9381611d6d565b92915050565b600060208284031215611daf57611dae611bec565b5b6000611dbd84828501611d84565b91505092915050565b600073ffffffffffffffffffffffffffffffffffffffff82169050919050565b6000611df182611dc6565b9050919050565b611e0181611de6565b82525050565b6000602082019050611e1c6000830184611df8565b92915050565b611e2b81611de6565b8114611e3657600080fd5b50565b600081359050611e4881611e22565b92915050565b60008060408385031215611e6557611e64611bec565b5b6000611e7385828601611e39565b9250506020611e8485828601611d84565b9150509250929050565b600080600060608486031215611ea757611ea6611bec565b5b6000611eb586828701611e39565b9350506020611ec686828701611e39565b9250506040611ed786828701611d84565b9150509250925092565b600060208284031215611ef757611ef6611bec565b5b6000611f0584828501611e39565b91505092915050565b611f1781611d63565b82525050565b6000602082019050611f326000830184611f0e565b92915050565b611f4181611c7b565b8114611f4c57600080fd5b50565b600081359050611f5e81611f38565b92915050565b60008060408385031215611f7b57611f7a611bec565b5b6000611f8985828601611e39565b9250506020611f9a85828601611f4f565b9150509250929050565b600080fd5b600080fd5b7f4e487b7100000000000000000000000000000000000000000000000000000000600052604160045260246000fd5b611fe682611cf7565b810181811067ffffffffffffffff8211171561200557612004611fae565b5b80604052505050565b6000612018611be2565b90506120248282611fdd565b919050565b600067ffffffffffffffff82111561204457612043611fae565b5b61204d82611cf7565b9050602081019050919050565b82818337600083830152505050565b600061207c61207784612029565b61200e565b90508281526020810184848401111561209857612097611fa9565b5b6120a384828561205a565b509392505050565b600082601f8301126120c0576120bf611fa4565b5b81356120d0848260208601612069565b91505092915050565b600080600080608085870312156120f3576120f2611bec565b5b600061210187828801611e39565b945050602061211287828801611e39565b935050604061212387828801611d84565b925050606085013567ffffffffffffffff81111561214457612143611bf1565b5b612150878288016120ab565b91505092959194509250565b6000806040838503121561217357612172611bec565b5b600061218185828601611e39565b925050602061219285828601611e39565b9150509250929050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052602260045260246000fd5b600060028204905060018216806121e357607f821691505b6020821081036121f6576121f561219c565b5b50919050565b7f4552433732313a20617070726f76616c20746f2063757272656e74206f776e6560008201527f7200000000000000000000000000000000000000000000000000000000000000602082015250565b6000612258602183611cbc565b9150612263826121fc565b604082019050919050565b600060208201905081810360008301526122878161224b565b9050919050565b7f4552433732313a20617070726f76652063616c6c6572206973206e6f7420746f60008201527f6b656e206f776e6572206f7220617070726f76656420666f7220616c6c000000602082015250565b60006122ea603d83611cbc565b91506122f58261228e565b604082019050919050565b60006020820190508181036000830152612319816122dd565b9050919050565b7f4552433732313a2063616c6c6572206973206e6f7420746f6b656e206f776e6560008201527f72206f7220617070726f76656400000000000000000000000000000000000000602082015250565b600061237c602d83611cbc565b915061238782612320565b604082019050919050565b600060208201905081810360008301526123ab8161236f565b9050919050565b7f4552433732313a20696e76616c696420746f6b656e2049440000000000000000600082015250565b60006123e8601883611cbc565b91506123f3826123b2565b602082019050919050565b60006020820190508181036000830152612417816123db565b9050919050565b7f4552433732313a2061646472657373207a65726f206973206e6f74206120766160008201527f6c6964206f776e65720000000000000000000000000000000000000000000000602082015250565b600061247a602983611cbc565b91506124858261241e565b604082019050919050565b600060208201905081810360008301526124a98161246d565b9050919050565b600081905092915050565b60006124c682611cb1565b6124d081856124b0565b93506124e0818560208601611ccd565b80840191505092915050565b60006124f882856124bb565b915061250482846124bb565b91508190509392505050565b7f4f776e61626c653a206e6577206f776e657220697320746865207a65726f206160008201527f6464726573730000000000000000000000000000000000000000000000000000602082015250565b600061256c602683611cbc565b915061257782612510565b604082019050919050565b6000602082019050818103600083015261259b8161255f565b9050919050565b7f4552433732313a207472616e736665722066726f6d20696e636f72726563742060008201527f6f776e6572000000000000000000000000000000000000000000000000000000602082015250565b60006125fe602583611cbc565b9150612609826125a2565b604082019050919050565b6000602082019050818103600083015261262d816125f1565b9050919050565b7f4552433732313a207472616e7366657220746f20746865207a65726f2061646460008201527f7265737300000000000000000000000000000000000000000000000000000000602082015250565b6000612690602483611cbc565b915061269b82612634565b604082019050919050565b600060208201905081810360008301526126bf81612683565b9050919050565b7f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572600082015250565b60006126fc602083611cbc565b9150612707826126c6565b602082019050919050565b6000602082019050818103600083015261272b816126ef565b9050919050565b7f4552433732313a20617070726f766520746f2063616c6c657200000000000000600082015250565b6000612768601983611cbc565b915061277382612732565b602082019050919050565b600060208201905081810360008301526127978161275b565b9050919050565b7f4552433732313a207472616e7366657220746f206e6f6e20455243373231526560008201527f63656976657220696d706c656d656e7465720000000000000000000000000000602082015250565b60006127fa603283611cbc565b91506128058261279e565b604082019050919050565b60006020820190508181036000830152612829816127ed565b9050919050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052601260045260246000fd5b600081519050919050565b600082825260208201905092915050565b60006128868261285f565b612890818561286a565b93506128a0818560208601611ccd565b6128a981611cf7565b840191505092915050565b60006080820190506128c96000830187611df8565b6128d66020830186611df8565b6128e36040830185611f0e565b81810360608301526128f5818461287b565b905095945050505050565b60008151905061290f81611c22565b92915050565b60006020828403121561292b5761292a611bec565b5b600061293984828501612900565b91505092915050565b7f4552433732313a206d696e7420746f20746865207a65726f2061646472657373600082015250565b6000612978602083611cbc565b915061298382612942565b602082019050919050565b600060208201905081810360008301526129a78161296b565b9050919050565b7f4552433732313a20746f6b656e20616c7265616479206d696e74656400000000600082015250565b60006129e4601c83611cbc565b91506129ef826129ae565b602082019050919050565b60006020820190508181036000830152612a13816129d7565b905091905056fea26469706673582212205a442061990f81fa46c93a07f8a3ac356b2eb176120ffb4e36576392c521c26764736f6c63430008120033
Source map
57379:393:0:-:0;;;57536:52;;;;;;;;;;40933:113;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;41007:5;40999;:13;;;;;;:::i;:::-;;41032:7;41022;:17;;;;;;:::i;:::-;;40933:113;;20096:32;20115:12;:10;;;:12;;:::i;:::-;20096:18;;;:32;;:::i;:::-;57379:393;;18958:96;19011:7;19037:10;19030:17;;18958:96;:::o;21586:187::-;21659:16;21678:6;;;;;;;;;;;21659:25;;21703:8;21694:6;;:17;;;;;;;;;;;;;;;;;;21757:8;21726:40;;21747:8;21726:40;;;;;;;;;;;;21649:124;21586:187;:::o;7:99:1:-;59:6;93:5;87:12;77:22;;7:99;;;:::o;112:180::-;160:77;157:1;150:88;257:4;254:1;247:15;281:4;278:1;271:15;298:180;346:77;343:1;336:88;443:4;440:1;433:15;467:4;464:1;457:15;484:320;528:6;565:1;559:4;555:12;545:22;;612:1;606:4;602:12;633:18;623:81;;689:4;681:6;677:17;667:27;;623:81;751:2;743:6;740:14;720:18;717:38;714:84;;770:18;;:::i;:::-;714:84;535:269;484:320;;;:::o;810:141::-;859:4;882:3;874:11;;905:3;902:1;895:14;939:4;936:1;926:18;918:26;;810:141;;;:::o;957:93::-;994:6;1041:2;1036;1029:5;1025:14;1021:23;1011:33;;957:93;;;:::o;1056:107::-;1100:8;1150:5;1144:4;1140:16;1119:37;;1056:107;;;;:::o;1169:393::-;1238:6;1288:1;1276:10;1272:18;1311:97;1341:66;1330:9;1311:97;:::i;:::-;1429:39;1459:8;1448:9;1429:39;:::i;:::-;1417:51;;1501:4;1497:9;1490:5;1486:21;1477:30;;1550:4;1540:8;1536:19;1529:5;1526:30;1516:40;;1245:317;;1169:393;;;;;:::o;1568:77::-;1605:7;1634:5;1623:16;;1568:77;;;:::o;1651:60::-;1679:3;1700:5;1693:12;;1651:60;;;:::o;1717:142::-;1767:9;1800:53;1818:34;1827:24;1845:5;1827:24;:::i;:::-;1818:34;:::i;:::-;1800:53;:::i;:::-;1787:66;;1717:142;;;:::o;1865:75::-;1908:3;1929:5;1922:12;;1865:75;;;:::o;1946:269::-;2056:39;2087:7;2056:39;:::i;:::-;2117:91;2166:41;2190:16;2166:41;:::i;:::-;2158:6;2151:4;2145:11;2117:91;:::i;:::-;2111:4;2104:105;2022:193;1946:269;;;:::o;2221:73::-;2266:3;2221:73;:::o;2300:189::-;2377:32;;:::i;:::-;2418:65;2476:6;2468;2462:4;2418:65;:::i;:::-;2353:136;2300:189;;:::o;2495:186::-;2555:120;2572:3;2565:5;2562:14;2555:120;;;2626:39;2663:1;2656:5;2626:39;:::i;:::-;2599:1;2592:5;2588:13;2579:22;;2555:120;;;2495:186;;:::o;2687:543::-;2788:2;2783:3;2780:11;2777:446;;;2822:38;2854:5;2822:38;:::i;:::-;2906:29;2924:10;2906:29;:::i;:::-;2896:8;2892:44;3089:2;3077:10;3074:18;3071:49;;;3110:8;3095:23;;3071:49;3133:80;3189:22;3207:3;3189:22;:::i;:::-;3179:8;3175:37;3162:11;3133:80;:::i;:::-;2792:431;;2777:446;2687:543;;;:::o;3236:117::-;3290:8;3340:5;3334:4;3330:16;3309:37;;3236:117;;;;:::o;3359:169::-;3403:6;3436:51;3484:1;3480:6;3472:5;3469:1;3465:13;3436:51;:::i;:::-;3432:56;3517:4;3511;3507:15;3497:25;;3410:118;3359:169;;;;:::o;3533:295::-;3609:4;3755:29;3780:3;3774:4;3755:29;:::i;:::-;3747:37;;3817:3;3814:1;3810:11;3804:4;3801:21;3793:29;;3533:295;;;;:::o;3833:1395::-;3950:37;3983:3;3950:37;:::i;:::-;4052:18;4044:6;4041:30;4038:56;;;4074:18;;:::i;:::-;4038:56;4118:38;4150:4;4144:11;4118:38;:::i;:::-;4203:67;4263:6;4255;4249:4;4203:67;:::i;:::-;4297:1;4321:4;4308:17;;4353:2;4345:6;4342:14;4370:1;4365:618;;;;5027:1;5044:6;5041:77;;;5093:9;5088:3;5084:19;5078:26;5069:35;;5041:77;5144:67;5204:6;5197:5;5144:67;:::i;:::-;5138:4;5131:81;5000:222;4335:887;;4365:618;4417:4;4413:9;4405:6;4401:22;4451:37;4483:4;4451:37;:::i;:::-;4510:1;4524:208;4538:7;4535:1;4532:14;4524:208;;;4617:9;4612:3;4608:19;4602:26;4594:6;4587:42;4668:1;4660:6;4656:14;4646:24;;4715:2;4704:9;4700:18;4687:31;;4561:4;4558:1;4554:12;4549:17;;4524:208;;;4760:6;4751:7;4748:19;4745:179;;;4818:9;4813:3;4809:19;4803:26;4861:48;4903:4;4895:6;4891:17;4880:9;4861:48;:::i;:::-;4853:6;4846:64;4768:156;4745:179;4970:1;4966;4958:6;4954:14;4950:22;4944:4;4937:36;4372:611;;;4335:887;;3925:1303;;;3833:1395;;:::o;57379:393:0:-;;;;;;;