tox1coin (TXC)
Overview
Max Total supply:
0.000000000001
TXC
Holders:
2 addresses
Total transfers:
6
Token info
Contract Source Code Verified (Partial Match)
Contract Name:
MyToken
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
000000000000000000000000000000000000000000000000000000000000008000000000000000000000000000000000000000000000000000000000000000c0000000000000000000000000000000000000000000000000000000000000001200000000000000000000000000000000000000000000000000000000000f42400000000000000000000000000000000000000000000000000000000000000008746f7831636f696e00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000035458430000000000000000000000000000000000000000000000000000000000
Creation bytecode
0x60806040523480156200001157600080fd5b50604051620015e5380380620015e58339818101604052810190620000379190620002d7565b8360009081620000489190620005c8565b5082600190816200005a9190620005c8565b5081600260006101000a81548160ff021916908360ff1602179055508060038190555080600460003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000208190555050505050620006af565b6000604051905090565b600080fd5b600080fd5b600080fd5b600080fd5b6000601f19601f8301169050919050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052604160045260246000fd5b6200013482620000e9565b810181811067ffffffffffffffff82111715620001565762000155620000fa565b5b80604052505050565b60006200016b620000cb565b905062000179828262000129565b919050565b600067ffffffffffffffff8211156200019c576200019b620000fa565b5b620001a782620000e9565b9050602081019050919050565b60005b83811015620001d4578082015181840152602081019050620001b7565b60008484015250505050565b6000620001f7620001f1846200017e565b6200015f565b905082815260208101848484011115620002165762000215620000e4565b5b62000223848285620001b4565b509392505050565b600082601f830112620002435762000242620000df565b5b815162000255848260208601620001e0565b91505092915050565b600060ff82169050919050565b62000276816200025e565b81146200028257600080fd5b50565b60008151905062000296816200026b565b92915050565b6000819050919050565b620002b1816200029c565b8114620002bd57600080fd5b50565b600081519050620002d181620002a6565b92915050565b60008060008060808587031215620002f457620002f3620000d5565b5b600085015167ffffffffffffffff811115620003155762000314620000da565b5b62000323878288016200022b565b945050602085015167ffffffffffffffff811115620003475762000346620000da565b5b62000355878288016200022b565b9350506040620003688782880162000285565b92505060606200037b87828801620002c0565b91505092959194509250565b600081519050919050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052602260045260246000fd5b60006002820490506001821680620003da57607f821691505b602082108103620003f057620003ef62000392565b5b50919050565b60008190508160005260206000209050919050565b60006020601f8301049050919050565b600082821b905092915050565b6000600883026200045a7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff826200041b565b6200046686836200041b565b95508019841693508086168417925050509392505050565b6000819050919050565b6000620004a9620004a36200049d846200029c565b6200047e565b6200029c565b9050919050565b6000819050919050565b620004c58362000488565b620004dd620004d482620004b0565b84845462000428565b825550505050565b600090565b620004f4620004e5565b62000501818484620004ba565b505050565b5b8181101562000529576200051d600082620004ea565b60018101905062000507565b5050565b601f82111562000578576200054281620003f6565b6200054d846200040b565b810160208510156200055d578190505b620005756200056c856200040b565b83018262000506565b50505b505050565b600082821c905092915050565b60006200059d600019846008026200057d565b1980831691505092915050565b6000620005b883836200058a565b9150826002028217905092915050565b620005d38262000387565b67ffffffffffffffff811115620005ef57620005ee620000fa565b5b620005fb8254620003c1565b620006088282856200052d565b600060209050601f8311600181146200064057600084156200062b578287015190505b620006378582620005aa565b865550620006a7565b601f1984166200065086620003f6565b60005b828110156200067a5784890151825560018201915060208501945060208101905062000653565b868310156200069a578489015162000696601f8916826200058a565b8355505b6001600288020188555050505b505050505050565b610f2680620006bf6000396000f3fe608060405234801561001057600080fd5b50600436106100935760003560e01c8063313ce56711610066578063313ce5671461013457806370a082311461015257806395d89b4114610182578063a9059cbb146101a0578063dd62ed3e146101d057610093565b806306fdde0314610098578063095ea7b3146100b657806318160ddd146100e657806323b872dd14610104575b600080fd5b6100a0610200565b6040516100ad9190610a63565b60405180910390f35b6100d060048036038101906100cb9190610b1e565b61028e565b6040516100dd9190610b79565b60405180910390f35b6100ee610380565b6040516100fb9190610ba3565b60405180910390f35b61011e60048036038101906101199190610bbe565b610386565b60405161012b9190610b79565b60405180910390f35b61013c6106e7565b6040516101499190610c2d565b60405180910390f35b61016c60048036038101906101679190610c48565b6106fa565b6040516101799190610ba3565b60405180910390f35b61018a610712565b6040516101979190610a63565b60405180910390f35b6101ba60048036038101906101b59190610b1e565b6107a0565b6040516101c79190610b79565b60405180910390f35b6101ea60048036038101906101e59190610c75565b6109ae565b6040516101f79190610ba3565b60405180910390f35b6000805461020d90610ce4565b80601f016020809104026020016040519081016040528092919081815260200182805461023990610ce4565b80156102865780601f1061025b57610100808354040283529160200191610286565b820191906000526020600020905b81548152906001019060200180831161026957829003601f168201915b505050505081565b600081600560003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508273ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b9258460405161036e9190610ba3565b60405180910390a36001905092915050565b60035481565b600081600460008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054101561040a576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161040190610d61565b60405180910390fd5b81600560008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205410156104c9576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016104c090610dcd565b60405180910390fd5b600073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff1603610538576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161052f90610e39565b60405180910390fd5b81600460008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008282546105879190610e88565b9250508190555081600460008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008282546105dd9190610ebc565b9250508190555081600560008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008282546106709190610e88565b925050819055508273ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef846040516106d49190610ba3565b60405180910390a3600190509392505050565b600260009054906101000a900460ff1681565b60046020528060005260406000206000915090505481565b6001805461071f90610ce4565b80601f016020809104026020016040519081016040528092919081815260200182805461074b90610ce4565b80156107985780601f1061076d57610100808354040283529160200191610798565b820191906000526020600020905b81548152906001019060200180831161077b57829003601f168201915b505050505081565b600081600460003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020541015610824576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161081b90610d61565b60405180910390fd5b600073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff1603610893576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161088a90610e39565b60405180910390fd5b81600460003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008282546108e29190610e88565b9250508190555081600460008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008282546109389190610ebc565b925050819055508273ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef8460405161099c9190610ba3565b60405180910390a36001905092915050565b6005602052816000526040600020602052806000526040600020600091509150505481565b600081519050919050565b600082825260208201905092915050565b60005b83811015610a0d5780820151818401526020810190506109f2565b60008484015250505050565b6000601f19601f8301169050919050565b6000610a35826109d3565b610a3f81856109de565b9350610a4f8185602086016109ef565b610a5881610a19565b840191505092915050565b60006020820190508181036000830152610a7d8184610a2a565b905092915050565b600080fd5b600073ffffffffffffffffffffffffffffffffffffffff82169050919050565b6000610ab582610a8a565b9050919050565b610ac581610aaa565b8114610ad057600080fd5b50565b600081359050610ae281610abc565b92915050565b6000819050919050565b610afb81610ae8565b8114610b0657600080fd5b50565b600081359050610b1881610af2565b92915050565b60008060408385031215610b3557610b34610a85565b5b6000610b4385828601610ad3565b9250506020610b5485828601610b09565b9150509250929050565b60008115159050919050565b610b7381610b5e565b82525050565b6000602082019050610b8e6000830184610b6a565b92915050565b610b9d81610ae8565b82525050565b6000602082019050610bb86000830184610b94565b92915050565b600080600060608486031215610bd757610bd6610a85565b5b6000610be586828701610ad3565b9350506020610bf686828701610ad3565b9250506040610c0786828701610b09565b9150509250925092565b600060ff82169050919050565b610c2781610c11565b82525050565b6000602082019050610c426000830184610c1e565b92915050565b600060208284031215610c5e57610c5d610a85565b5b6000610c6c84828501610ad3565b91505092915050565b60008060408385031215610c8c57610c8b610a85565b5b6000610c9a85828601610ad3565b9250506020610cab85828601610ad3565b9150509250929050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052602260045260246000fd5b60006002820490506001821680610cfc57607f821691505b602082108103610d0f57610d0e610cb5565b5b50919050565b7f4e6f7420656e6f7567682062616c616e63650000000000000000000000000000600082015250565b6000610d4b6012836109de565b9150610d5682610d15565b602082019050919050565b60006020820190508181036000830152610d7a81610d3e565b9050919050565b7f4e6f7420656e6f75676820616c6c6f77616e6365000000000000000000000000600082015250565b6000610db76014836109de565b9150610dc282610d81565b602082019050919050565b60006020820190508181036000830152610de681610daa565b9050919050565b7f496e76616c696420616464726573730000000000000000000000000000000000600082015250565b6000610e23600f836109de565b9150610e2e82610ded565b602082019050919050565b60006020820190508181036000830152610e5281610e16565b9050919050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052601160045260246000fd5b6000610e9382610ae8565b9150610e9e83610ae8565b9250828203905081811115610eb657610eb5610e59565b5b92915050565b6000610ec782610ae8565b9150610ed283610ae8565b9250828201905080821115610eea57610ee9610e59565b5b9291505056fea26469706673582212208e9f3519e485bd1d10acbcf7ea518d591f6a5803e9f353b19ea1851117eb236564736f6c63430008120033000000000000000000000000000000000000000000000000000000000000008000000000000000000000000000000000000000000000000000000000000000c0000000000000000000000000000000000000000000000000000000000000001200000000000000000000000000000000000000000000000000000000000f42400000000000000000000000000000000000000000000000000000000000000008746f7831636f696e00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000035458430000000000000000000000000000000000000000000000000000000000
Deployed bytecode
0x608060405234801561001057600080fd5b50600436106100935760003560e01c8063313ce56711610066578063313ce5671461013457806370a082311461015257806395d89b4114610182578063a9059cbb146101a0578063dd62ed3e146101d057610093565b806306fdde0314610098578063095ea7b3146100b657806318160ddd146100e657806323b872dd14610104575b600080fd5b6100a0610200565b6040516100ad9190610a63565b60405180910390f35b6100d060048036038101906100cb9190610b1e565b61028e565b6040516100dd9190610b79565b60405180910390f35b6100ee610380565b6040516100fb9190610ba3565b60405180910390f35b61011e60048036038101906101199190610bbe565b610386565b60405161012b9190610b79565b60405180910390f35b61013c6106e7565b6040516101499190610c2d565b60405180910390f35b61016c60048036038101906101679190610c48565b6106fa565b6040516101799190610ba3565b60405180910390f35b61018a610712565b6040516101979190610a63565b60405180910390f35b6101ba60048036038101906101b59190610b1e565b6107a0565b6040516101c79190610b79565b60405180910390f35b6101ea60048036038101906101e59190610c75565b6109ae565b6040516101f79190610ba3565b60405180910390f35b6000805461020d90610ce4565b80601f016020809104026020016040519081016040528092919081815260200182805461023990610ce4565b80156102865780601f1061025b57610100808354040283529160200191610286565b820191906000526020600020905b81548152906001019060200180831161026957829003601f168201915b505050505081565b600081600560003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508273ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b9258460405161036e9190610ba3565b60405180910390a36001905092915050565b60035481565b600081600460008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054101561040a576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161040190610d61565b60405180910390fd5b81600560008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205410156104c9576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016104c090610dcd565b60405180910390fd5b600073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff1603610538576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161052f90610e39565b60405180910390fd5b81600460008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008282546105879190610e88565b9250508190555081600460008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008282546105dd9190610ebc565b9250508190555081600560008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008282546106709190610e88565b925050819055508273ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef846040516106d49190610ba3565b60405180910390a3600190509392505050565b600260009054906101000a900460ff1681565b60046020528060005260406000206000915090505481565b6001805461071f90610ce4565b80601f016020809104026020016040519081016040528092919081815260200182805461074b90610ce4565b80156107985780601f1061076d57610100808354040283529160200191610798565b820191906000526020600020905b81548152906001019060200180831161077b57829003601f168201915b505050505081565b600081600460003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020541015610824576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161081b90610d61565b60405180910390fd5b600073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff1603610893576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161088a90610e39565b60405180910390fd5b81600460003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008282546108e29190610e88565b9250508190555081600460008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008282546109389190610ebc565b925050819055508273ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef8460405161099c9190610ba3565b60405180910390a36001905092915050565b6005602052816000526040600020602052806000526040600020600091509150505481565b600081519050919050565b600082825260208201905092915050565b60005b83811015610a0d5780820151818401526020810190506109f2565b60008484015250505050565b6000601f19601f8301169050919050565b6000610a35826109d3565b610a3f81856109de565b9350610a4f8185602086016109ef565b610a5881610a19565b840191505092915050565b60006020820190508181036000830152610a7d8184610a2a565b905092915050565b600080fd5b600073ffffffffffffffffffffffffffffffffffffffff82169050919050565b6000610ab582610a8a565b9050919050565b610ac581610aaa565b8114610ad057600080fd5b50565b600081359050610ae281610abc565b92915050565b6000819050919050565b610afb81610ae8565b8114610b0657600080fd5b50565b600081359050610b1881610af2565b92915050565b60008060408385031215610b3557610b34610a85565b5b6000610b4385828601610ad3565b9250506020610b5485828601610b09565b9150509250929050565b60008115159050919050565b610b7381610b5e565b82525050565b6000602082019050610b8e6000830184610b6a565b92915050565b610b9d81610ae8565b82525050565b6000602082019050610bb86000830184610b94565b92915050565b600080600060608486031215610bd757610bd6610a85565b5b6000610be586828701610ad3565b9350506020610bf686828701610ad3565b9250506040610c0786828701610b09565b9150509250925092565b600060ff82169050919050565b610c2781610c11565b82525050565b6000602082019050610c426000830184610c1e565b92915050565b600060208284031215610c5e57610c5d610a85565b5b6000610c6c84828501610ad3565b91505092915050565b60008060408385031215610c8c57610c8b610a85565b5b6000610c9a85828601610ad3565b9250506020610cab85828601610ad3565b9150509250929050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052602260045260246000fd5b60006002820490506001821680610cfc57607f821691505b602082108103610d0f57610d0e610cb5565b5b50919050565b7f4e6f7420656e6f7567682062616c616e63650000000000000000000000000000600082015250565b6000610d4b6012836109de565b9150610d5682610d15565b602082019050919050565b60006020820190508181036000830152610d7a81610d3e565b9050919050565b7f4e6f7420656e6f75676820616c6c6f77616e6365000000000000000000000000600082015250565b6000610db76014836109de565b9150610dc282610d81565b602082019050919050565b60006020820190508181036000830152610de681610daa565b9050919050565b7f496e76616c696420616464726573730000000000000000000000000000000000600082015250565b6000610e23600f836109de565b9150610e2e82610ded565b602082019050919050565b60006020820190508181036000830152610e5281610e16565b9050919050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052601160045260246000fd5b6000610e9382610ae8565b9150610e9e83610ae8565b9250828203905081811115610eb657610eb5610e59565b5b92915050565b6000610ec782610ae8565b9150610ed283610ae8565b9250828201905080821115610eea57610ee9610e59565b5b9291505056fea26469706673582212208e9f3519e485bd1d10acbcf7ea518d591f6a5803e9f353b19ea1851117eb236564736f6c63430008120033
Source map
25:1757:0:-:0;;;440:262;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;552:5;545:4;:12;;;;;;:::i;:::-;;576:7;567:6;:16;;;;;;:::i;:::-;;604:9;593:8;;:20;;;;;;;;;;;;;;;;;;637:12;623:11;:26;;;;683:12;659:9;:21;669:10;659:21;;;;;;;;;;;;;;;:36;;;;440:262;;;;25:1757;;7:75:1;40:6;73:2;67:9;57:19;;7:75;:::o;88:117::-;197:1;194;187:12;211:117;320:1;317;310:12;334:117;443:1;440;433:12;457:117;566:1;563;556:12;580:102;621:6;672:2;668:7;663:2;656:5;652:14;648:28;638:38;;580:102;;;:::o;688:180::-;736:77;733:1;726:88;833:4;830:1;823:15;857:4;854:1;847:15;874:281;957:27;979:4;957:27;:::i;:::-;949:6;945:40;1087:6;1075:10;1072:22;1051:18;1039:10;1036:34;1033:62;1030:88;;;1098:18;;:::i;:::-;1030:88;1138:10;1134:2;1127:22;917:238;874:281;;:::o;1161:129::-;1195:6;1222:20;;:::i;:::-;1212:30;;1251:33;1279:4;1271:6;1251:33;:::i;:::-;1161:129;;;:::o;1296:308::-;1358:4;1448:18;1440:6;1437:30;1434:56;;;1470:18;;:::i;:::-;1434:56;1508:29;1530:6;1508:29;:::i;:::-;1500:37;;1592:4;1586;1582:15;1574:23;;1296:308;;;:::o;1610:246::-;1691:1;1701:113;1715:6;1712:1;1709:13;1701:113;;;1800:1;1795:3;1791:11;1785:18;1781:1;1776:3;1772:11;1765:39;1737:2;1734:1;1730:10;1725:15;;1701:113;;;1848:1;1839:6;1834:3;1830:16;1823:27;1672:184;1610:246;;;:::o;1862:434::-;1951:5;1976:66;1992:49;2034:6;1992:49;:::i;:::-;1976:66;:::i;:::-;1967:75;;2065:6;2058:5;2051:21;2103:4;2096:5;2092:16;2141:3;2132:6;2127:3;2123:16;2120:25;2117:112;;;2148:79;;:::i;:::-;2117:112;2238:52;2283:6;2278:3;2273;2238:52;:::i;:::-;1957:339;1862:434;;;;;:::o;2316:355::-;2383:5;2432:3;2425:4;2417:6;2413:17;2409:27;2399:122;;2440:79;;:::i;:::-;2399:122;2550:6;2544:13;2575:90;2661:3;2653:6;2646:4;2638:6;2634:17;2575:90;:::i;:::-;2566:99;;2389:282;2316:355;;;;:::o;2677:86::-;2712:7;2752:4;2745:5;2741:16;2730:27;;2677:86;;;:::o;2769:118::-;2840:22;2856:5;2840:22;:::i;:::-;2833:5;2830:33;2820:61;;2877:1;2874;2867:12;2820:61;2769:118;:::o;2893:139::-;2948:5;2979:6;2973:13;2964:22;;2995:31;3020:5;2995:31;:::i;:::-;2893:139;;;;:::o;3038:77::-;3075:7;3104:5;3093:16;;3038:77;;;:::o;3121:122::-;3194:24;3212:5;3194:24;:::i;:::-;3187:5;3184:35;3174:63;;3233:1;3230;3223:12;3174:63;3121:122;:::o;3249:143::-;3306:5;3337:6;3331:13;3322:22;;3353:33;3380:5;3353:33;:::i;:::-;3249:143;;;;:::o;3398:1162::-;3513:6;3521;3529;3537;3586:3;3574:9;3565:7;3561:23;3557:33;3554:120;;;3593:79;;:::i;:::-;3554:120;3734:1;3723:9;3719:17;3713:24;3764:18;3756:6;3753:30;3750:117;;;3786:79;;:::i;:::-;3750:117;3891:74;3957:7;3948:6;3937:9;3933:22;3891:74;:::i;:::-;3881:84;;3684:291;4035:2;4024:9;4020:18;4014:25;4066:18;4058:6;4055:30;4052:117;;;4088:79;;:::i;:::-;4052:117;4193:74;4259:7;4250:6;4239:9;4235:22;4193:74;:::i;:::-;4183:84;;3985:292;4316:2;4342:62;4396:7;4387:6;4376:9;4372:22;4342:62;:::i;:::-;4332:72;;4287:127;4453:2;4479:64;4535:7;4526:6;4515:9;4511:22;4479:64;:::i;:::-;4469:74;;4424:129;3398:1162;;;;;;;:::o;4566:99::-;4618:6;4652:5;4646:12;4636:22;;4566:99;;;:::o;4671:180::-;4719:77;4716:1;4709:88;4816:4;4813:1;4806:15;4840:4;4837:1;4830:15;4857:320;4901:6;4938:1;4932:4;4928:12;4918:22;;4985:1;4979:4;4975:12;5006:18;4996:81;;5062:4;5054:6;5050:17;5040:27;;4996:81;5124:2;5116:6;5113:14;5093:18;5090:38;5087:84;;5143:18;;:::i;:::-;5087:84;4908:269;4857:320;;;:::o;5183:141::-;5232:4;5255:3;5247:11;;5278:3;5275:1;5268:14;5312:4;5309:1;5299:18;5291:26;;5183:141;;;:::o;5330:93::-;5367:6;5414:2;5409;5402:5;5398:14;5394:23;5384:33;;5330:93;;;:::o;5429:107::-;5473:8;5523:5;5517:4;5513:16;5492:37;;5429:107;;;;:::o;5542:393::-;5611:6;5661:1;5649:10;5645:18;5684:97;5714:66;5703:9;5684:97;:::i;:::-;5802:39;5832:8;5821:9;5802:39;:::i;:::-;5790:51;;5874:4;5870:9;5863:5;5859:21;5850:30;;5923:4;5913:8;5909:19;5902:5;5899:30;5889:40;;5618:317;;5542:393;;;;;:::o;5941:60::-;5969:3;5990:5;5983:12;;5941:60;;;:::o;6007:142::-;6057:9;6090:53;6108:34;6117:24;6135:5;6117:24;:::i;:::-;6108:34;:::i;:::-;6090:53;:::i;:::-;6077:66;;6007:142;;;:::o;6155:75::-;6198:3;6219:5;6212:12;;6155:75;;;:::o;6236:269::-;6346:39;6377:7;6346:39;:::i;:::-;6407:91;6456:41;6480:16;6456:41;:::i;:::-;6448:6;6441:4;6435:11;6407:91;:::i;:::-;6401:4;6394:105;6312:193;6236:269;;;:::o;6511:73::-;6556:3;6511:73;:::o;6590:189::-;6667:32;;:::i;:::-;6708:65;6766:6;6758;6752:4;6708:65;:::i;:::-;6643:136;6590:189;;:::o;6785:186::-;6845:120;6862:3;6855:5;6852:14;6845:120;;;6916:39;6953:1;6946:5;6916:39;:::i;:::-;6889:1;6882:5;6878:13;6869:22;;6845:120;;;6785:186;;:::o;6977:543::-;7078:2;7073:3;7070:11;7067:446;;;7112:38;7144:5;7112:38;:::i;:::-;7196:29;7214:10;7196:29;:::i;:::-;7186:8;7182:44;7379:2;7367:10;7364:18;7361:49;;;7400:8;7385:23;;7361:49;7423:80;7479:22;7497:3;7479:22;:::i;:::-;7469:8;7465:37;7452:11;7423:80;:::i;:::-;7082:431;;7067:446;6977:543;;;:::o;7526:117::-;7580:8;7630:5;7624:4;7620:16;7599:37;;7526:117;;;;:::o;7649:169::-;7693:6;7726:51;7774:1;7770:6;7762:5;7759:1;7755:13;7726:51;:::i;:::-;7722:56;7807:4;7801;7797:15;7787:25;;7700:118;7649:169;;;;:::o;7823:295::-;7899:4;8045:29;8070:3;8064:4;8045:29;:::i;:::-;8037:37;;8107:3;8104:1;8100:11;8094:4;8091:21;8083:29;;7823:295;;;;:::o;8123:1395::-;8240:37;8273:3;8240:37;:::i;:::-;8342:18;8334:6;8331:30;8328:56;;;8364:18;;:::i;:::-;8328:56;8408:38;8440:4;8434:11;8408:38;:::i;:::-;8493:67;8553:6;8545;8539:4;8493:67;:::i;:::-;8587:1;8611:4;8598:17;;8643:2;8635:6;8632:14;8660:1;8655:618;;;;9317:1;9334:6;9331:77;;;9383:9;9378:3;9374:19;9368:26;9359:35;;9331:77;9434:67;9494:6;9487:5;9434:67;:::i;:::-;9428:4;9421:81;9290:222;8625:887;;8655:618;8707:4;8703:9;8695:6;8691:22;8741:37;8773:4;8741:37;:::i;:::-;8800:1;8814:208;8828:7;8825:1;8822:14;8814:208;;;8907:9;8902:3;8898:19;8892:26;8884:6;8877:42;8958:1;8950:6;8946:14;8936:24;;9005:2;8994:9;8990:18;8977:31;;8851:4;8848:1;8844:12;8839:17;;8814:208;;;9050:6;9041:7;9038:19;9035:179;;;9108:9;9103:3;9099:19;9093:26;9151:48;9193:4;9185:6;9181:17;9170:9;9151:48;:::i;:::-;9143:6;9136:64;9058:156;9035:179;9260:1;9256;9248:6;9244:14;9240:22;9234:4;9227:36;8662:611;;;8625:887;;8215:1303;;;8123:1395;;:::o;25:1757:0:-;;;;;;;