Contract
0xca2239cb7e588D02c8574197a81C83F7A66Cc73f
WRC20
Overview
Balance:
0 WBT
WBT Value:
0 USDT (@ 24.72/WBT)
More info
Contract Source Code Verified (Partial Match)
Contract Name:
Token
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
Creation bytecode
0x60806040526040518060400160405280600381526020017f5742540000000000000000000000000000000000000000000000000000000000815250600090816200004a91906200036e565b506040518060400160405280600381526020017f5742540000000000000000000000000000000000000000000000000000000000815250600190816200009191906200036e565b506317d78400600255348015620000a757600080fd5b50600254600360003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000208190555062000455565b600081519050919050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052604160045260246000fd5b7f4e487b7100000000000000000000000000000000000000000000000000000000600052602260045260246000fd5b600060028204905060018216806200017657607f821691505b6020821081036200018c576200018b6200012e565b5b50919050565b60008190508160005260206000209050919050565b60006020601f8301049050919050565b600082821b905092915050565b600060088302620001f67fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff82620001b7565b620002028683620001b7565b95508019841693508086168417925050509392505050565b6000819050919050565b6000819050919050565b60006200024f6200024962000243846200021a565b62000224565b6200021a565b9050919050565b6000819050919050565b6200026b836200022e565b620002836200027a8262000256565b848454620001c4565b825550505050565b600090565b6200029a6200028b565b620002a781848462000260565b505050565b5b81811015620002cf57620002c360008262000290565b600181019050620002ad565b5050565b601f8211156200031e57620002e88162000192565b620002f384620001a7565b8101602085101562000303578190505b6200031b6200031285620001a7565b830182620002ac565b50505b505050565b600082821c905092915050565b6000620003436000198460080262000323565b1980831691505092915050565b60006200035e838362000330565b9150826002028217905092915050565b6200037982620000f4565b67ffffffffffffffff811115620003955762000394620000ff565b5b620003a182546200015d565b620003ae828285620002d3565b600060209050601f831160018114620003e65760008415620003d1578287015190505b620003dd858262000350565b8655506200044d565b601f198416620003f68662000192565b60005b828110156200042057848901518255600182019150602085019450602081019050620003f9565b868310156200044057848901516200043c601f89168262000330565b8355505b6001600288020188555050505b505050505050565b61106680620004656000396000f3fe608060405234801561001057600080fd5b50600436106100885760003560e01c806370a082311161005b57806370a082311461012957806395d89b4114610159578063a9059cbb14610177578063dd62ed3e146101a757610088565b806306fdde031461008d578063095ea7b3146100ab57806318160ddd146100db57806323b872dd146100f9575b600080fd5b6100956101d7565b6040516100a29190610b02565b60405180910390f35b6100c560048036038101906100c09190610bbd565b610265565b6040516100d29190610c18565b60405180910390f35b6100e36103c5565b6040516100f09190610c42565b60405180910390f35b610113600480360381019061010e9190610c5d565b6103cb565b6040516101209190610c18565b60405180910390f35b610143600480360381019061013e9190610cb0565b61079a565b6040516101509190610c42565b60405180910390f35b6101616107b2565b60405161016e9190610b02565b60405180910390f35b610191600480360381019061018c9190610bbd565b610840565b60405161019e9190610c18565b60405180910390f35b6101c160048036038101906101bc9190610cdd565b610a4d565b6040516101ce9190610c42565b60405180910390f35b600080546101e490610d4c565b80601f016020809104026020016040519081016040528092919081815260200182805461021090610d4c565b801561025d5780601f106102325761010080835404028352916020019161025d565b820191906000526020600020905b81548152906001019060200180831161024057829003601f168201915b505050505081565b60008073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff16036102d5576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016102cc90610dc9565b60405180910390fd5b81600460003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508273ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925846040516103b39190610c42565b60405180910390a36001905092915050565b60025481565b60008073ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff160361043b576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161043290610e35565b60405180910390fd5b600073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff16036104aa576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016104a190610ea1565b60405180910390fd5b81600360008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054101561052c576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161052390610f0d565b60405180910390fd5b81600460008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205410156105eb576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016105e290610f79565b60405180910390fd5b81600360008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020600082825461063a9190610fc8565b9250508190555081600360008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008282546106909190610ffc565b9250508190555081600460008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008282546107239190610fc8565b925050819055508273ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef846040516107879190610c42565b60405180910390a3600190509392505050565b60036020528060005260406000206000915090505481565b600180546107bf90610d4c565b80601f01602080910402602001604051908101604052809291908181526020018280546107eb90610d4c565b80156108385780601f1061080d57610100808354040283529160200191610838565b820191906000526020600020905b81548152906001019060200180831161081b57829003601f168201915b505050505081565b60008073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff16036108b0576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016108a790610ea1565b60405180910390fd5b81600360003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020541015610932576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161092990610f0d565b60405180910390fd5b81600360003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008282546109819190610fc8565b9250508190555081600360008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008282546109d79190610ffc565b925050819055508273ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef84604051610a3b9190610c42565b60405180910390a36001905092915050565b6004602052816000526040600020602052806000526040600020600091509150505481565b600081519050919050565b600082825260208201905092915050565b60005b83811015610aac578082015181840152602081019050610a91565b60008484015250505050565b6000601f19601f8301169050919050565b6000610ad482610a72565b610ade8185610a7d565b9350610aee818560208601610a8e565b610af781610ab8565b840191505092915050565b60006020820190508181036000830152610b1c8184610ac9565b905092915050565b600080fd5b600073ffffffffffffffffffffffffffffffffffffffff82169050919050565b6000610b5482610b29565b9050919050565b610b6481610b49565b8114610b6f57600080fd5b50565b600081359050610b8181610b5b565b92915050565b6000819050919050565b610b9a81610b87565b8114610ba557600080fd5b50565b600081359050610bb781610b91565b92915050565b60008060408385031215610bd457610bd3610b24565b5b6000610be285828601610b72565b9250506020610bf385828601610ba8565b9150509250929050565b60008115159050919050565b610c1281610bfd565b82525050565b6000602082019050610c2d6000830184610c09565b92915050565b610c3c81610b87565b82525050565b6000602082019050610c576000830184610c33565b92915050565b600080600060608486031215610c7657610c75610b24565b5b6000610c8486828701610b72565b9350506020610c9586828701610b72565b9250506040610ca686828701610ba8565b9150509250925092565b600060208284031215610cc657610cc5610b24565b5b6000610cd484828501610b72565b91505092915050565b60008060408385031215610cf457610cf3610b24565b5b6000610d0285828601610b72565b9250506020610d1385828601610b72565b9150509250929050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052602260045260246000fd5b60006002820490506001821680610d6457607f821691505b602082108103610d7757610d76610d1d565b5b50919050565b7f496e76616c6964207370656e6465720000000000000000000000000000000000600082015250565b6000610db3600f83610a7d565b9150610dbe82610d7d565b602082019050919050565b60006020820190508181036000830152610de281610da6565b9050919050565b7f496e76616c69642073656e646572000000000000000000000000000000000000600082015250565b6000610e1f600e83610a7d565b9150610e2a82610de9565b602082019050919050565b60006020820190508181036000830152610e4e81610e12565b9050919050565b7f496e76616c696420726563697069656e74000000000000000000000000000000600082015250565b6000610e8b601183610a7d565b9150610e9682610e55565b602082019050919050565b60006020820190508181036000830152610eba81610e7e565b9050919050565b7f496e73756666696369656e742062616c616e6365000000000000000000000000600082015250565b6000610ef7601483610a7d565b9150610f0282610ec1565b602082019050919050565b60006020820190508181036000830152610f2681610eea565b9050919050565b7f496e73756666696369656e7420616c6c6f77616e636500000000000000000000600082015250565b6000610f63601683610a7d565b9150610f6e82610f2d565b602082019050919050565b60006020820190508181036000830152610f9281610f56565b9050919050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052601160045260246000fd5b6000610fd382610b87565b9150610fde83610b87565b9250828203905081811115610ff657610ff5610f99565b5b92915050565b600061100782610b87565b915061101283610b87565b925082820190508082111561102a57611029610f99565b5b9291505056fea26469706673582212209db115cb5eeed4845e8256067da3e2d53169565b124bdfd1400002fd5f2acc7164736f6c63430008120033
Deployed bytecode
0x608060405234801561001057600080fd5b50600436106100885760003560e01c806370a082311161005b57806370a082311461012957806395d89b4114610159578063a9059cbb14610177578063dd62ed3e146101a757610088565b806306fdde031461008d578063095ea7b3146100ab57806318160ddd146100db57806323b872dd146100f9575b600080fd5b6100956101d7565b6040516100a29190610b02565b60405180910390f35b6100c560048036038101906100c09190610bbd565b610265565b6040516100d29190610c18565b60405180910390f35b6100e36103c5565b6040516100f09190610c42565b60405180910390f35b610113600480360381019061010e9190610c5d565b6103cb565b6040516101209190610c18565b60405180910390f35b610143600480360381019061013e9190610cb0565b61079a565b6040516101509190610c42565b60405180910390f35b6101616107b2565b60405161016e9190610b02565b60405180910390f35b610191600480360381019061018c9190610bbd565b610840565b60405161019e9190610c18565b60405180910390f35b6101c160048036038101906101bc9190610cdd565b610a4d565b6040516101ce9190610c42565b60405180910390f35b600080546101e490610d4c565b80601f016020809104026020016040519081016040528092919081815260200182805461021090610d4c565b801561025d5780601f106102325761010080835404028352916020019161025d565b820191906000526020600020905b81548152906001019060200180831161024057829003601f168201915b505050505081565b60008073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff16036102d5576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016102cc90610dc9565b60405180910390fd5b81600460003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508273ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925846040516103b39190610c42565b60405180910390a36001905092915050565b60025481565b60008073ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff160361043b576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161043290610e35565b60405180910390fd5b600073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff16036104aa576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016104a190610ea1565b60405180910390fd5b81600360008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054101561052c576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161052390610f0d565b60405180910390fd5b81600460008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205410156105eb576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016105e290610f79565b60405180910390fd5b81600360008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020600082825461063a9190610fc8565b9250508190555081600360008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008282546106909190610ffc565b9250508190555081600460008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008282546107239190610fc8565b925050819055508273ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef846040516107879190610c42565b60405180910390a3600190509392505050565b60036020528060005260406000206000915090505481565b600180546107bf90610d4c565b80601f01602080910402602001604051908101604052809291908181526020018280546107eb90610d4c565b80156108385780601f1061080d57610100808354040283529160200191610838565b820191906000526020600020905b81548152906001019060200180831161081b57829003601f168201915b505050505081565b60008073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff16036108b0576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016108a790610ea1565b60405180910390fd5b81600360003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020541015610932576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161092990610f0d565b60405180910390fd5b81600360003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008282546109819190610fc8565b9250508190555081600360008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008282546109d79190610ffc565b925050819055508273ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef84604051610a3b9190610c42565b60405180910390a36001905092915050565b6004602052816000526040600020602052806000526040600020600091509150505481565b600081519050919050565b600082825260208201905092915050565b60005b83811015610aac578082015181840152602081019050610a91565b60008484015250505050565b6000601f19601f8301169050919050565b6000610ad482610a72565b610ade8185610a7d565b9350610aee818560208601610a8e565b610af781610ab8565b840191505092915050565b60006020820190508181036000830152610b1c8184610ac9565b905092915050565b600080fd5b600073ffffffffffffffffffffffffffffffffffffffff82169050919050565b6000610b5482610b29565b9050919050565b610b6481610b49565b8114610b6f57600080fd5b50565b600081359050610b8181610b5b565b92915050565b6000819050919050565b610b9a81610b87565b8114610ba557600080fd5b50565b600081359050610bb781610b91565b92915050565b60008060408385031215610bd457610bd3610b24565b5b6000610be285828601610b72565b9250506020610bf385828601610ba8565b9150509250929050565b60008115159050919050565b610c1281610bfd565b82525050565b6000602082019050610c2d6000830184610c09565b92915050565b610c3c81610b87565b82525050565b6000602082019050610c576000830184610c33565b92915050565b600080600060608486031215610c7657610c75610b24565b5b6000610c8486828701610b72565b9350506020610c9586828701610b72565b9250506040610ca686828701610ba8565b9150509250925092565b600060208284031215610cc657610cc5610b24565b5b6000610cd484828501610b72565b91505092915050565b60008060408385031215610cf457610cf3610b24565b5b6000610d0285828601610b72565b9250506020610d1385828601610b72565b9150509250929050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052602260045260246000fd5b60006002820490506001821680610d6457607f821691505b602082108103610d7757610d76610d1d565b5b50919050565b7f496e76616c6964207370656e6465720000000000000000000000000000000000600082015250565b6000610db3600f83610a7d565b9150610dbe82610d7d565b602082019050919050565b60006020820190508181036000830152610de281610da6565b9050919050565b7f496e76616c69642073656e646572000000000000000000000000000000000000600082015250565b6000610e1f600e83610a7d565b9150610e2a82610de9565b602082019050919050565b60006020820190508181036000830152610e4e81610e12565b9050919050565b7f496e76616c696420726563697069656e74000000000000000000000000000000600082015250565b6000610e8b601183610a7d565b9150610e9682610e55565b602082019050919050565b60006020820190508181036000830152610eba81610e7e565b9050919050565b7f496e73756666696369656e742062616c616e6365000000000000000000000000600082015250565b6000610ef7601483610a7d565b9150610f0282610ec1565b602082019050919050565b60006020820190508181036000830152610f2681610eea565b9050919050565b7f496e73756666696369656e7420616c6c6f77616e636500000000000000000000600082015250565b6000610f63601683610a7d565b9150610f6e82610f2d565b602082019050919050565b60006020820190508181036000830152610f9281610f56565b9050919050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052601160045260246000fd5b6000610fd382610b87565b9150610fde83610b87565b9250828203905081811115610ff657610ff5610f99565b5b92915050565b600061100782610b87565b915061101283610b87565b925082820190508082111561102a57611029610f99565b5b9291505056fea26469706673582212209db115cb5eeed4845e8256067da3e2d53169565b124bdfd1400002fd5f2acc7164736f6c63430008120033
Source map
57:1687:0:-:0;;;78:26;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;110:28;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;173:9;144:38;;471:66;;;;;;;;;;519:11;;495:9;:21;505:10;495:21;;;;;;;;;;;;;;;:35;;;;57:1687;;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;57:1687:0:-;;;;;;;