Token
Overview
Max Total supply:
22,222,222,000,000,000,000,000,000
N/A
Holders:
5 addresses
Total transfers:
5
Token info
Contract Source Code Verified (Partial Match)
Contract Name:
FinalFantasyToken
Compiler Version:
0.8.18+commit.87f61d96
EVM Version:
default evmVersion
Optimizations:
Disabled with 200 runs
License:
MIT License (MIT)
Contract source code and ABI
Constructor arguments
000000000000000000000000000000000000000000000000000000000153158e
Creation bytecode
0x60806040523480156200001157600080fd5b506040516200179238038062001792833981810160405281019062000037919062000154565b601260ff16600a6200004a919062000309565b816200005791906200035a565b600081905550600054600160003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055503373ffffffffffffffffffffffffffffffffffffffff16600073ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef600054604051620001059190620003b6565b60405180910390a350620003d3565b600080fd5b6000819050919050565b6200012e8162000119565b81146200013a57600080fd5b50565b6000815190506200014e8162000123565b92915050565b6000602082840312156200016d576200016c62000114565b5b60006200017d848285016200013d565b91505092915050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052601160045260246000fd5b60008160011c9050919050565b6000808291508390505b60018511156200021457808604811115620001ec57620001eb62000186565b5b6001851615620001fc5780820291505b80810290506200020c85620001b5565b9450620001cc565b94509492505050565b6000826200022f576001905062000302565b816200023f576000905062000302565b8160018114620002585760028114620002635762000299565b600191505062000302565b60ff84111562000278576200027762000186565b5b8360020a91508482111562000292576200029162000186565b5b5062000302565b5060208310610133831016604e8410600b8410161715620002d35782820a905083811115620002cd57620002cc62000186565b5b62000302565b620002e28484846001620001c2565b92509050818404811115620002fc57620002fb62000186565b5b81810290505b9392505050565b6000620003168262000119565b9150620003238362000119565b9250620003527fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff84846200021d565b905092915050565b6000620003678262000119565b9150620003748362000119565b9250828202620003848162000119565b915082820484148315176200039e576200039d62000186565b5b5092915050565b620003b08162000119565b82525050565b6000602082019050620003cd6000830184620003a5565b92915050565b6113af80620003e36000396000f3fe608060405234801561001057600080fd5b506004361061007d5760003560e01c806370a082311161005b57806370a0823114610100578063846a44e614610130578063a9059cbb1461014c578063dd62ed3e1461017c5761007d565b8063095ea7b31461008257806318160ddd146100b257806323b872dd146100d0575b600080fd5b61009c600480360381019061009791906109b9565b6101ac565b6040516100a99190610a14565b60405180910390f35b6100ba6101c3565b6040516100c79190610a3e565b60405180910390f35b6100ea60048036038101906100e59190610a59565b6101cc565b6040516100f79190610a14565b60405180910390f35b61011a60048036038101906101159190610aac565b610276565b6040516101279190610a3e565b60405180910390f35b61014a60048036038101906101459190610c1f565b6102bf565b005b610166600480360381019061016191906109b9565b610386565b6040516101739190610a14565b60405180910390f35b61019660048036038101906101919190610c68565b61039d565b6040516101a39190610a3e565b60405180910390f35b60006101b9338484610424565b6001905092915050565b60008054905090565b60006101d98484846105ed565b61026b843384600260008973ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546102669190610cd7565b610424565b600190509392505050565b6000600160008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020549050919050565b6000600680546102ce90610d3a565b905014610310576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161030790610dee565b60405180910390fd5b6000815111610354576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161034b90610e80565b60405180910390fd5b80600690816103639190611057565b5061036d81610863565b6005908051906020019061038292919061086a565b5050565b60006103933384846105ed565b6001905092915050565b6000600260008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054905092915050565b600073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff1603610493576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161048a90611175565b60405180910390fd5b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff1603610502576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016104f9906111e1565b60405180910390fd5b80600260008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508173ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925836040516105e09190610a3e565b60405180910390a3505050565b600073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff160361065c576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016106539061124d565b60405180910390fd5b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff16036106cb576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016106c2906112b9565b60405180910390fd5b80600160008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054101561074d576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161074490611325565b60405180910390fd5b80600160008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020600082825461079c9190610cd7565b9250508190555080600160008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008282546107f29190611345565b925050819055508173ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef836040516108569190610a3e565b60405180910390a3505050565b6060919050565b8280548282559060005260206000209081019282156108e3579160200282015b828111156108e25782518260006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055509160200191906001019061088a565b5b5090506108f091906108f4565b5090565b5b8082111561090d5760008160009055506001016108f5565b5090565b6000604051905090565b600080fd5b600080fd5b600073ffffffffffffffffffffffffffffffffffffffff82169050919050565b600061095082610925565b9050919050565b61096081610945565b811461096b57600080fd5b50565b60008135905061097d81610957565b92915050565b6000819050919050565b61099681610983565b81146109a157600080fd5b50565b6000813590506109b38161098d565b92915050565b600080604083850312156109d0576109cf61091b565b5b60006109de8582860161096e565b92505060206109ef858286016109a4565b9150509250929050565b60008115159050919050565b610a0e816109f9565b82525050565b6000602082019050610a296000830184610a05565b92915050565b610a3881610983565b82525050565b6000602082019050610a536000830184610a2f565b92915050565b600080600060608486031215610a7257610a7161091b565b5b6000610a808682870161096e565b9350506020610a918682870161096e565b9250506040610aa2868287016109a4565b9150509250925092565b600060208284031215610ac257610ac161091b565b5b6000610ad08482850161096e565b91505092915050565b600080fd5b600080fd5b6000601f19601f8301169050919050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052604160045260246000fd5b610b2c82610ae3565b810181811067ffffffffffffffff82111715610b4b57610b4a610af4565b5b80604052505050565b6000610b5e610911565b9050610b6a8282610b23565b919050565b600067ffffffffffffffff821115610b8a57610b89610af4565b5b610b9382610ae3565b9050602081019050919050565b82818337600083830152505050565b6000610bc2610bbd84610b6f565b610b54565b905082815260208101848484011115610bde57610bdd610ade565b5b610be9848285610ba0565b509392505050565b600082601f830112610c0657610c05610ad9565b5b8135610c16848260208601610baf565b91505092915050565b600060208284031215610c3557610c3461091b565b5b600082013567ffffffffffffffff811115610c5357610c52610920565b5b610c5f84828501610bf1565b91505092915050565b60008060408385031215610c7f57610c7e61091b565b5b6000610c8d8582860161096e565b9250506020610c9e8582860161096e565b9150509250929050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052601160045260246000fd5b6000610ce282610983565b9150610ced83610983565b9250828203905081811115610d0557610d04610ca8565b5b92915050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052602260045260246000fd5b60006002820490506001821680610d5257607f821691505b602082108103610d6557610d64610d0b565b5b50919050565b600082825260208201905092915050565b7f466565206164647265737365732061726520616c726561647920696e6974696160008201527f6c697a6564000000000000000000000000000000000000000000000000000000602082015250565b6000610dd8602583610d6b565b9150610de382610d7c565b604082019050919050565b60006020820190508181036000830152610e0781610dcb565b9050919050565b7f4665652061646472657373657320737472696e672063616e6e6f74206265206560008201527f6d70747900000000000000000000000000000000000000000000000000000000602082015250565b6000610e6a602483610d6b565b9150610e7582610e0e565b604082019050919050565b60006020820190508181036000830152610e9981610e5d565b9050919050565b600081519050919050565b60008190508160005260206000209050919050565b60006020601f8301049050919050565b600082821b905092915050565b600060088302610f0d7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff82610ed0565b610f178683610ed0565b95508019841693508086168417925050509392505050565b6000819050919050565b6000610f54610f4f610f4a84610983565b610f2f565b610983565b9050919050565b6000819050919050565b610f6e83610f39565b610f82610f7a82610f5b565b848454610edd565b825550505050565b600090565b610f97610f8a565b610fa2818484610f65565b505050565b5b81811015610fc657610fbb600082610f8f565b600181019050610fa8565b5050565b601f82111561100b57610fdc81610eab565b610fe584610ec0565b81016020851015610ff4578190505b61100861100085610ec0565b830182610fa7565b50505b505050565b600082821c905092915050565b600061102e60001984600802611010565b1980831691505092915050565b6000611047838361101d565b9150826002028217905092915050565b61106082610ea0565b67ffffffffffffffff81111561107957611078610af4565b5b6110838254610d3a565b61108e828285610fca565b600060209050601f8311600181146110c157600084156110af578287015190505b6110b9858261103b565b865550611121565b601f1984166110cf86610eab565b60005b828110156110f7578489015182556001820191506020850194506020810190506110d2565b868310156111145784890151611110601f89168261101d565b8355505b6001600288020188555050505b505050505050565b7f417070726f76652066726f6d20746865207a65726f2061646472657373000000600082015250565b600061115f601d83610d6b565b915061116a82611129565b602082019050919050565b6000602082019050818103600083015261118e81611152565b9050919050565b7f417070726f766520746f20746865207a65726f20616464726573730000000000600082015250565b60006111cb601b83610d6b565b91506111d682611195565b602082019050919050565b600060208201905081810360008301526111fa816111be565b9050919050565b7f5472616e736665722066726f6d20746865207a65726f20616464726573730000600082015250565b6000611237601e83610d6b565b915061124282611201565b602082019050919050565b600060208201905081810360008301526112668161122a565b9050919050565b7f5472616e7366657220746f20746865207a65726f206164647265737300000000600082015250565b60006112a3601c83610d6b565b91506112ae8261126d565b602082019050919050565b600060208201905081810360008301526112d281611296565b9050919050565b7f496e73756666696369656e742062616c616e6365000000000000000000000000600082015250565b600061130f601483610d6b565b915061131a826112d9565b602082019050919050565b6000602082019050818103600083015261133e81611302565b9050919050565b600061135082610983565b915061135b83610983565b925082820190508082111561137357611372610ca8565b5b9291505056fea2646970667358221220cbe56a986cea78094accaad419bc0bcb257d7c0cc9b837ae45330c4bd38a200364736f6c63430008120033000000000000000000000000000000000000000000000000000000000153158e
Deployed bytecode
0x608060405234801561001057600080fd5b506004361061007d5760003560e01c806370a082311161005b57806370a0823114610100578063846a44e614610130578063a9059cbb1461014c578063dd62ed3e1461017c5761007d565b8063095ea7b31461008257806318160ddd146100b257806323b872dd146100d0575b600080fd5b61009c600480360381019061009791906109b9565b6101ac565b6040516100a99190610a14565b60405180910390f35b6100ba6101c3565b6040516100c79190610a3e565b60405180910390f35b6100ea60048036038101906100e59190610a59565b6101cc565b6040516100f79190610a14565b60405180910390f35b61011a60048036038101906101159190610aac565b610276565b6040516101279190610a3e565b60405180910390f35b61014a60048036038101906101459190610c1f565b6102bf565b005b610166600480360381019061016191906109b9565b610386565b6040516101739190610a14565b60405180910390f35b61019660048036038101906101919190610c68565b61039d565b6040516101a39190610a3e565b60405180910390f35b60006101b9338484610424565b6001905092915050565b60008054905090565b60006101d98484846105ed565b61026b843384600260008973ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546102669190610cd7565b610424565b600190509392505050565b6000600160008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020549050919050565b6000600680546102ce90610d3a565b905014610310576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161030790610dee565b60405180910390fd5b6000815111610354576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161034b90610e80565b60405180910390fd5b80600690816103639190611057565b5061036d81610863565b6005908051906020019061038292919061086a565b5050565b60006103933384846105ed565b6001905092915050565b6000600260008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054905092915050565b600073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff1603610493576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161048a90611175565b60405180910390fd5b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff1603610502576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016104f9906111e1565b60405180910390fd5b80600260008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508173ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925836040516105e09190610a3e565b60405180910390a3505050565b600073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff160361065c576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016106539061124d565b60405180910390fd5b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff16036106cb576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016106c2906112b9565b60405180910390fd5b80600160008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054101561074d576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161074490611325565b60405180910390fd5b80600160008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020600082825461079c9190610cd7565b9250508190555080600160008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008282546107f29190611345565b925050819055508173ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef836040516108569190610a3e565b60405180910390a3505050565b6060919050565b8280548282559060005260206000209081019282156108e3579160200282015b828111156108e25782518260006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055509160200191906001019061088a565b5b5090506108f091906108f4565b5090565b5b8082111561090d5760008160009055506001016108f5565b5090565b6000604051905090565b600080fd5b600080fd5b600073ffffffffffffffffffffffffffffffffffffffff82169050919050565b600061095082610925565b9050919050565b61096081610945565b811461096b57600080fd5b50565b60008135905061097d81610957565b92915050565b6000819050919050565b61099681610983565b81146109a157600080fd5b50565b6000813590506109b38161098d565b92915050565b600080604083850312156109d0576109cf61091b565b5b60006109de8582860161096e565b92505060206109ef858286016109a4565b9150509250929050565b60008115159050919050565b610a0e816109f9565b82525050565b6000602082019050610a296000830184610a05565b92915050565b610a3881610983565b82525050565b6000602082019050610a536000830184610a2f565b92915050565b600080600060608486031215610a7257610a7161091b565b5b6000610a808682870161096e565b9350506020610a918682870161096e565b9250506040610aa2868287016109a4565b9150509250925092565b600060208284031215610ac257610ac161091b565b5b6000610ad08482850161096e565b91505092915050565b600080fd5b600080fd5b6000601f19601f8301169050919050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052604160045260246000fd5b610b2c82610ae3565b810181811067ffffffffffffffff82111715610b4b57610b4a610af4565b5b80604052505050565b6000610b5e610911565b9050610b6a8282610b23565b919050565b600067ffffffffffffffff821115610b8a57610b89610af4565b5b610b9382610ae3565b9050602081019050919050565b82818337600083830152505050565b6000610bc2610bbd84610b6f565b610b54565b905082815260208101848484011115610bde57610bdd610ade565b5b610be9848285610ba0565b509392505050565b600082601f830112610c0657610c05610ad9565b5b8135610c16848260208601610baf565b91505092915050565b600060208284031215610c3557610c3461091b565b5b600082013567ffffffffffffffff811115610c5357610c52610920565b5b610c5f84828501610bf1565b91505092915050565b60008060408385031215610c7f57610c7e61091b565b5b6000610c8d8582860161096e565b9250506020610c9e8582860161096e565b9150509250929050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052601160045260246000fd5b6000610ce282610983565b9150610ced83610983565b9250828203905081811115610d0557610d04610ca8565b5b92915050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052602260045260246000fd5b60006002820490506001821680610d5257607f821691505b602082108103610d6557610d64610d0b565b5b50919050565b600082825260208201905092915050565b7f466565206164647265737365732061726520616c726561647920696e6974696160008201527f6c697a6564000000000000000000000000000000000000000000000000000000602082015250565b6000610dd8602583610d6b565b9150610de382610d7c565b604082019050919050565b60006020820190508181036000830152610e0781610dcb565b9050919050565b7f4665652061646472657373657320737472696e672063616e6e6f74206265206560008201527f6d70747900000000000000000000000000000000000000000000000000000000602082015250565b6000610e6a602483610d6b565b9150610e7582610e0e565b604082019050919050565b60006020820190508181036000830152610e9981610e5d565b9050919050565b600081519050919050565b60008190508160005260206000209050919050565b60006020601f8301049050919050565b600082821b905092915050565b600060088302610f0d7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff82610ed0565b610f178683610ed0565b95508019841693508086168417925050509392505050565b6000819050919050565b6000610f54610f4f610f4a84610983565b610f2f565b610983565b9050919050565b6000819050919050565b610f6e83610f39565b610f82610f7a82610f5b565b848454610edd565b825550505050565b600090565b610f97610f8a565b610fa2818484610f65565b505050565b5b81811015610fc657610fbb600082610f8f565b600181019050610fa8565b5050565b601f82111561100b57610fdc81610eab565b610fe584610ec0565b81016020851015610ff4578190505b61100861100085610ec0565b830182610fa7565b50505b505050565b600082821c905092915050565b600061102e60001984600802611010565b1980831691505092915050565b6000611047838361101d565b9150826002028217905092915050565b61106082610ea0565b67ffffffffffffffff81111561107957611078610af4565b5b6110838254610d3a565b61108e828285610fca565b600060209050601f8311600181146110c157600084156110af578287015190505b6110b9858261103b565b865550611121565b601f1984166110cf86610eab565b60005b828110156110f7578489015182556001820191506020850194506020810190506110d2565b868310156111145784890151611110601f89168261101d565b8355505b6001600288020188555050505b505050505050565b7f417070726f76652066726f6d20746865207a65726f2061646472657373000000600082015250565b600061115f601d83610d6b565b915061116a82611129565b602082019050919050565b6000602082019050818103600083015261118e81611152565b9050919050565b7f417070726f766520746f20746865207a65726f20616464726573730000000000600082015250565b60006111cb601b83610d6b565b91506111d682611195565b602082019050919050565b600060208201905081810360008301526111fa816111be565b9050919050565b7f5472616e736665722066726f6d20746865207a65726f20616464726573730000600082015250565b6000611237601e83610d6b565b915061124282611201565b602082019050919050565b600060208201905081810360008301526112668161122a565b9050919050565b7f5472616e7366657220746f20746865207a65726f206164647265737300000000600082015250565b60006112a3601c83610d6b565b91506112ae8261126d565b602082019050919050565b600060208201905081810360008301526112d281611296565b9050919050565b7f496e73756666696369656e742062616c616e6365000000000000000000000000600082015250565b600061130f601483610d6b565b915061131a826112d9565b602082019050919050565b6000602082019050818103600083015261133e81611302565b9050919050565b600061135082610983565b915061135b83610983565b925082820190508082111561137357611372610ca8565b5b9291505056fea2646970667358221220cbe56a986cea78094accaad419bc0bcb257d7c0cc9b837ae45330c4bd38a200364736f6c63430008120033
Source map
805:3328:0:-:0;;;1472:214;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;971:2;1553:18;;1547:2;:24;;;;:::i;:::-;1531:12;:41;;;;:::i;:::-;1516:12;:56;;;;1606:12;;1582:9;:21;1592:10;1582:21;;;;;;;;;;;;;;;:36;;;;1654:10;1633:46;;1650:1;1633:46;;;1666:12;;1633:46;;;;;;:::i;:::-;;;;;;;;1472:214;805:3328;;88:117:1;197:1;194;187:12;334:77;371:7;400:5;389:16;;334:77;;;:::o;417:122::-;490:24;508:5;490:24;:::i;:::-;483:5;480:35;470:63;;529:1;526;519:12;470:63;417:122;:::o;545:143::-;602:5;633:6;627:13;618:22;;649:33;676:5;649:33;:::i;:::-;545:143;;;;:::o;694:351::-;764:6;813:2;801:9;792:7;788:23;784:32;781:119;;;819:79;;:::i;:::-;781:119;939:1;964:64;1020:7;1011:6;1000:9;996:22;964:64;:::i;:::-;954:74;;910:128;694:351;;;;:::o;1051:180::-;1099:77;1096:1;1089:88;1196:4;1193:1;1186:15;1220:4;1217:1;1210:15;1237:102;1279:8;1326:5;1323:1;1319:13;1298:34;;1237:102;;;:::o;1345:848::-;1406:5;1413:4;1437:6;1428:15;;1461:5;1452:14;;1475:712;1496:1;1486:8;1483:15;1475:712;;;1591:4;1586:3;1582:14;1576:4;1573:24;1570:50;;;1600:18;;:::i;:::-;1570:50;1650:1;1640:8;1636:16;1633:451;;;2065:4;2058:5;2054:16;2045:25;;1633:451;2115:4;2109;2105:15;2097:23;;2145:32;2168:8;2145:32;:::i;:::-;2133:44;;1475:712;;;1345:848;;;;;;;:::o;2199:1073::-;2253:5;2444:8;2434:40;;2465:1;2456:10;;2467:5;;2434:40;2493:4;2483:36;;2510:1;2501:10;;2512:5;;2483:36;2579:4;2627:1;2622:27;;;;2663:1;2658:191;;;;2572:277;;2622:27;2640:1;2631:10;;2642:5;;;2658:191;2703:3;2693:8;2690:17;2687:43;;;2710:18;;:::i;:::-;2687:43;2759:8;2756:1;2752:16;2743:25;;2794:3;2787:5;2784:14;2781:40;;;2801:18;;:::i;:::-;2781:40;2834:5;;;2572:277;;2958:2;2948:8;2945:16;2939:3;2933:4;2930:13;2926:36;2908:2;2898:8;2895:16;2890:2;2884:4;2881:12;2877:35;2861:111;2858:246;;;3014:8;3008:4;3004:19;2995:28;;3049:3;3042:5;3039:14;3036:40;;;3056:18;;:::i;:::-;3036:40;3089:5;;2858:246;3129:42;3167:3;3157:8;3151:4;3148:1;3129:42;:::i;:::-;3114:57;;;;3203:4;3198:3;3194:14;3187:5;3184:25;3181:51;;;3212:18;;:::i;:::-;3181:51;3261:4;3254:5;3250:16;3241:25;;2199:1073;;;;;;:::o;3278:285::-;3338:5;3362:23;3380:4;3362:23;:::i;:::-;3354:31;;3406:27;3424:8;3406:27;:::i;:::-;3394:39;;3452:104;3489:66;3479:8;3473:4;3452:104;:::i;:::-;3443:113;;3278:285;;;;:::o;3569:410::-;3609:7;3632:20;3650:1;3632:20;:::i;:::-;3627:25;;3666:20;3684:1;3666:20;:::i;:::-;3661:25;;3721:1;3718;3714:9;3743:30;3761:11;3743:30;:::i;:::-;3732:41;;3922:1;3913:7;3909:15;3906:1;3903:22;3883:1;3876:9;3856:83;3833:139;;3952:18;;:::i;:::-;3833:139;3617:362;3569:410;;;;:::o;3985:118::-;4072:24;4090:5;4072:24;:::i;:::-;4067:3;4060:37;3985:118;;:::o;4109:222::-;4202:4;4240:2;4229:9;4225:18;4217:26;;4253:71;4321:1;4310:9;4306:17;4297:6;4253:71;:::i;:::-;4109:222;;;;:::o;805:3328:0:-;;;;;;;