Contract

0xd55a84163866fDD88a11b80FF5A4AbFE5dCB919b

Overview

Balance:

0 WBT

WBT Value:

0 USDT (@ 27.28/WBT)

More info

Contract creator:

0xd7E5...49b33aat txn0x5d5b...852749

Transactions Contract

Contract code Read contract Write contract

Contract Source Code Verified (Exact Match)

Contract Name:

AlanManToken

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

0x60806040523480156200001157600080fd5b506040518060400160405280600781526020017f416c616e4d616e00000000000000000000000000000000000000000000000000815250600090816200005891906200034c565b506040518060400160405280600281526020017f414d000000000000000000000000000000000000000000000000000000000000815250600190816200009f91906200034c565b5061270f60028190555060006003819055506000600460006101000a81548160ff02191690831515021790555062000433565b600081519050919050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052604160045260246000fd5b7f4e487b7100000000000000000000000000000000000000000000000000000000600052602260045260246000fd5b600060028204905060018216806200015457607f821691505b6020821081036200016a57620001696200010c565b5b50919050565b60008190508160005260206000209050919050565b60006020601f8301049050919050565b600082821b905092915050565b600060088302620001d47fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff8262000195565b620001e0868362000195565b95508019841693508086168417925050509392505050565b6000819050919050565b6000819050919050565b60006200022d620002276200022184620001f8565b62000202565b620001f8565b9050919050565b6000819050919050565b62000249836200020c565b62000261620002588262000234565b848454620001a2565b825550505050565b600090565b6200027862000269565b620002858184846200023e565b505050565b5b81811015620002ad57620002a16000826200026e565b6001810190506200028b565b5050565b601f821115620002fc57620002c68162000170565b620002d18462000185565b81016020851015620002e1578190505b620002f9620002f08562000185565b8301826200028a565b50505b505050565b600082821c905092915050565b6000620003216000198460080262000301565b1980831691505092915050565b60006200033c83836200030e565b9150826002028217905092915050565b6200035782620000d2565b67ffffffffffffffff811115620003735762000372620000dd565b5b6200037f82546200013b565b6200038c828285620002b1565b600060209050601f831160018114620003c45760008415620003af578287015190505b620003bb85826200032e565b8655506200042b565b601f198416620003d48662000170565b60005b82811015620003fe57848901518255600182019150602085019450602081019050620003d7565b868310156200041e57848901516200041a601f8916826200030e565b8355505b6001600288020188555050505b505050505050565b6112db80620004436000396000f3fe608060405234801561001057600080fd5b50600436106100935760003560e01c806395d89b411161006657806395d89b411461010e578063b2b93b731461012c578063c1bd8cf91461014a578063d8b66ae114610168578063e467f7e01461018457610093565b806306fdde031461009857806318160ddd146100b657806370a08231146100d457806387491c6014610104575b600080fd5b6100a06101a0565b6040516100ad91906109b1565b60405180910390f35b6100be61022e565b6040516100cb91906109ec565b60405180910390f35b6100ee60048036038101906100e99190610a79565b610234565b6040516100fb91906109ec565b60405180910390f35b61010c61024c565b005b6101166102b9565b60405161012391906109b1565b60405180910390f35b610134610347565b6040516101419190610ac1565b60405180910390f35b61015261035a565b60405161015f91906109ec565b60405180910390f35b610182600480360381019061017d9190610d13565b610360565b005b61019e60048036038101906101999190610d13565b61064d565b005b600080546101ad90610dba565b80601f01602080910402602001604051908101604052809291908181526020018280546101d990610dba565b80156102265780601f106101fb57610100808354040283529160200191610226565b820191906000526020600020905b81548152906001019060200180831161020957829003601f168201915b505050505081565b60025481565b60056020528060005260406000206000915090505481565b600460009054906101000a900460ff161561029c576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161029390610e37565b60405180910390fd5b6001600460006101000a81548160ff021916908315150217905550565b600180546102c690610dba565b80601f01602080910402602001604051908101604052809291908181526020018280546102f290610dba565b801561033f5780601f106103145761010080835404028352916020019161033f565b820191906000526020600020905b81548152906001019060200180831161032257829003601f168201915b505050505081565b600460009054906101000a900460ff1681565b60035481565b80518251146103a4576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161039b90610ea3565b60405180910390fd5b60005b82518110156106485760008382815181106103c5576103c4610ec3565b5b6020026020010151905060008383815181106103e4576103e3610ec3565b5b60200260200101519050600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff160361045d576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161045490610f3e565b60405180910390fd5b600081116104a0576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161049790610faa565b60405180910390fd5b80600560003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020541015610522576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161051990611016565b60405180910390fd5b80600560003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008282546105719190611065565b9250508190555080600560008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008282546105c79190611099565b925050819055508173ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef8360405161062b91906109ec565b60405180910390a350508080610640906110cd565b9150506103a7565b505050565b8151600460009054906101000a900460ff161561069f576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161069690611161565b60405180910390fd5b806003546002546106b09190611065565b10156106f1576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016106e8906111f3565b60405180910390fd5b600a811115610735576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161072c90611285565b60405180910390fd5b60005b835181101561091b57600084828151811061075657610755610ec3565b5b60200260200101519050600084838151811061077557610774610ec3565b5b60200260200101519050600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff16036107ee576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016107e590610f3e565b60405180910390fd5b60008111610831576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161082890610faa565b60405180910390fd5b80600560008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008282546108809190611099565b9250508190555080600360008282546108999190611099565b925050819055508173ffffffffffffffffffffffffffffffffffffffff16600073ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef836040516108fe91906109ec565b60405180910390a350508080610913906110cd565b915050610738565b50505050565b600081519050919050565b600082825260208201905092915050565b60005b8381101561095b578082015181840152602081019050610940565b60008484015250505050565b6000601f19601f8301169050919050565b600061098382610921565b61098d818561092c565b935061099d81856020860161093d565b6109a681610967565b840191505092915050565b600060208201905081810360008301526109cb8184610978565b905092915050565b6000819050919050565b6109e6816109d3565b82525050565b6000602082019050610a0160008301846109dd565b92915050565b6000604051905090565b600080fd5b600080fd5b600073ffffffffffffffffffffffffffffffffffffffff82169050919050565b6000610a4682610a1b565b9050919050565b610a5681610a3b565b8114610a6157600080fd5b50565b600081359050610a7381610a4d565b92915050565b600060208284031215610a8f57610a8e610a11565b5b6000610a9d84828501610a64565b91505092915050565b60008115159050919050565b610abb81610aa6565b82525050565b6000602082019050610ad66000830184610ab2565b92915050565b600080fd5b7f4e487b7100000000000000000000000000000000000000000000000000000000600052604160045260246000fd5b610b1982610967565b810181811067ffffffffffffffff82111715610b3857610b37610ae1565b5b80604052505050565b6000610b4b610a07565b9050610b578282610b10565b919050565b600067ffffffffffffffff821115610b7757610b76610ae1565b5b602082029050602081019050919050565b600080fd5b6000610ba0610b9b84610b5c565b610b41565b90508083825260208201905060208402830185811115610bc357610bc2610b88565b5b835b81811015610bec5780610bd88882610a64565b845260208401935050602081019050610bc5565b5050509392505050565b600082601f830112610c0b57610c0a610adc565b5b8135610c1b848260208601610b8d565b91505092915050565b600067ffffffffffffffff821115610c3f57610c3e610ae1565b5b602082029050602081019050919050565b610c59816109d3565b8114610c6457600080fd5b50565b600081359050610c7681610c50565b92915050565b6000610c8f610c8a84610c24565b610b41565b90508083825260208201905060208402830185811115610cb257610cb1610b88565b5b835b81811015610cdb5780610cc78882610c67565b845260208401935050602081019050610cb4565b5050509392505050565b600082601f830112610cfa57610cf9610adc565b5b8135610d0a848260208601610c7c565b91505092915050565b60008060408385031215610d2a57610d29610a11565b5b600083013567ffffffffffffffff811115610d4857610d47610a16565b5b610d5485828601610bf6565b925050602083013567ffffffffffffffff811115610d7557610d74610a16565b5b610d8185828601610ce5565b9150509250929050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052602260045260246000fd5b60006002820490506001821680610dd257607f821691505b602082108103610de557610de4610d8b565b5b50919050565b7f4d696e74696e6720697320616c726561647920636c6f73656400000000000000600082015250565b6000610e2160198361092c565b9150610e2c82610deb565b602082019050919050565b60006020820190508181036000830152610e5081610e14565b9050919050565b7f496e76616c696420696e707574206c656e677468730000000000000000000000600082015250565b6000610e8d60158361092c565b9150610e9882610e57565b602082019050919050565b60006020820190508181036000830152610ebc81610e80565b9050919050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052603260045260246000fd5b7f496e76616c696420726563697069656e74206164647265737300000000000000600082015250565b6000610f2860198361092c565b9150610f3382610ef2565b602082019050919050565b60006020820190508181036000830152610f5781610f1b565b9050919050565b7f496e76616c696420746f6b656e20616d6f756e74000000000000000000000000600082015250565b6000610f9460148361092c565b9150610f9f82610f5e565b602082019050919050565b60006020820190508181036000830152610fc381610f87565b9050919050565b7f496e73756666696369656e742062616c616e6365000000000000000000000000600082015250565b600061100060148361092c565b915061100b82610fca565b602082019050919050565b6000602082019050818103600083015261102f81610ff3565b9050919050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052601160045260246000fd5b6000611070826109d3565b915061107b836109d3565b925082820390508181111561109357611092611036565b5b92915050565b60006110a4826109d3565b91506110af836109d3565b92508282019050808211156110c7576110c6611036565b5b92915050565b60006110d8826109d3565b91507fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff820361110a57611109611036565b5b600182019050919050565b7f4d696e74696e6720697320636c6f736564000000000000000000000000000000600082015250565b600061114b60118361092c565b915061115682611115565b602082019050919050565b6000602082019050818103600083015261117a8161113e565b9050919050565b7f4e6f7420656e6f75676820746f6b656e7320617661696c61626c6520666f722060008201527f6d696e74696e6700000000000000000000000000000000000000000000000000602082015250565b60006111dd60278361092c565b91506111e882611181565b604082019050919050565b6000602082019050818103600083015261120c816111d0565b9050919050565b7f4578636565646564206d6178696d756d206d696e74696e67206c696d6974207060008201527f6572207472616e73616374696f6e000000000000000000000000000000000000602082015250565b600061126f602e8361092c565b915061127a82611213565b604082019050919050565b6000602082019050818103600083015261129e81611262565b905091905056fea264697066735822122015d58e2b3332274f91ce531b29d145212a8f814d1bf47867d5c1c8abb955cdd264736f6c63430008120033

Deployed bytecode

0x608060405234801561001057600080fd5b50600436106100935760003560e01c806395d89b411161006657806395d89b411461010e578063b2b93b731461012c578063c1bd8cf91461014a578063d8b66ae114610168578063e467f7e01461018457610093565b806306fdde031461009857806318160ddd146100b657806370a08231146100d457806387491c6014610104575b600080fd5b6100a06101a0565b6040516100ad91906109b1565b60405180910390f35b6100be61022e565b6040516100cb91906109ec565b60405180910390f35b6100ee60048036038101906100e99190610a79565b610234565b6040516100fb91906109ec565b60405180910390f35b61010c61024c565b005b6101166102b9565b60405161012391906109b1565b60405180910390f35b610134610347565b6040516101419190610ac1565b60405180910390f35b61015261035a565b60405161015f91906109ec565b60405180910390f35b610182600480360381019061017d9190610d13565b610360565b005b61019e60048036038101906101999190610d13565b61064d565b005b600080546101ad90610dba565b80601f01602080910402602001604051908101604052809291908181526020018280546101d990610dba565b80156102265780601f106101fb57610100808354040283529160200191610226565b820191906000526020600020905b81548152906001019060200180831161020957829003601f168201915b505050505081565b60025481565b60056020528060005260406000206000915090505481565b600460009054906101000a900460ff161561029c576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161029390610e37565b60405180910390fd5b6001600460006101000a81548160ff021916908315150217905550565b600180546102c690610dba565b80601f01602080910402602001604051908101604052809291908181526020018280546102f290610dba565b801561033f5780601f106103145761010080835404028352916020019161033f565b820191906000526020600020905b81548152906001019060200180831161032257829003601f168201915b505050505081565b600460009054906101000a900460ff1681565b60035481565b80518251146103a4576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161039b90610ea3565b60405180910390fd5b60005b82518110156106485760008382815181106103c5576103c4610ec3565b5b6020026020010151905060008383815181106103e4576103e3610ec3565b5b60200260200101519050600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff160361045d576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161045490610f3e565b60405180910390fd5b600081116104a0576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161049790610faa565b60405180910390fd5b80600560003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020541015610522576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161051990611016565b60405180910390fd5b80600560003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008282546105719190611065565b9250508190555080600560008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008282546105c79190611099565b925050819055508173ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef8360405161062b91906109ec565b60405180910390a350508080610640906110cd565b9150506103a7565b505050565b8151600460009054906101000a900460ff161561069f576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161069690611161565b60405180910390fd5b806003546002546106b09190611065565b10156106f1576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016106e8906111f3565b60405180910390fd5b600a811115610735576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161072c90611285565b60405180910390fd5b60005b835181101561091b57600084828151811061075657610755610ec3565b5b60200260200101519050600084838151811061077557610774610ec3565b5b60200260200101519050600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff16036107ee576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016107e590610f3e565b60405180910390fd5b60008111610831576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161082890610faa565b60405180910390fd5b80600560008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008282546108809190611099565b9250508190555080600360008282546108999190611099565b925050819055508173ffffffffffffffffffffffffffffffffffffffff16600073ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef836040516108fe91906109ec565b60405180910390a350508080610913906110cd565b915050610738565b50505050565b600081519050919050565b600082825260208201905092915050565b60005b8381101561095b578082015181840152602081019050610940565b60008484015250505050565b6000601f19601f8301169050919050565b600061098382610921565b61098d818561092c565b935061099d81856020860161093d565b6109a681610967565b840191505092915050565b600060208201905081810360008301526109cb8184610978565b905092915050565b6000819050919050565b6109e6816109d3565b82525050565b6000602082019050610a0160008301846109dd565b92915050565b6000604051905090565b600080fd5b600080fd5b600073ffffffffffffffffffffffffffffffffffffffff82169050919050565b6000610a4682610a1b565b9050919050565b610a5681610a3b565b8114610a6157600080fd5b50565b600081359050610a7381610a4d565b92915050565b600060208284031215610a8f57610a8e610a11565b5b6000610a9d84828501610a64565b91505092915050565b60008115159050919050565b610abb81610aa6565b82525050565b6000602082019050610ad66000830184610ab2565b92915050565b600080fd5b7f4e487b7100000000000000000000000000000000000000000000000000000000600052604160045260246000fd5b610b1982610967565b810181811067ffffffffffffffff82111715610b3857610b37610ae1565b5b80604052505050565b6000610b4b610a07565b9050610b578282610b10565b919050565b600067ffffffffffffffff821115610b7757610b76610ae1565b5b602082029050602081019050919050565b600080fd5b6000610ba0610b9b84610b5c565b610b41565b90508083825260208201905060208402830185811115610bc357610bc2610b88565b5b835b81811015610bec5780610bd88882610a64565b845260208401935050602081019050610bc5565b5050509392505050565b600082601f830112610c0b57610c0a610adc565b5b8135610c1b848260208601610b8d565b91505092915050565b600067ffffffffffffffff821115610c3f57610c3e610ae1565b5b602082029050602081019050919050565b610c59816109d3565b8114610c6457600080fd5b50565b600081359050610c7681610c50565b92915050565b6000610c8f610c8a84610c24565b610b41565b90508083825260208201905060208402830185811115610cb257610cb1610b88565b5b835b81811015610cdb5780610cc78882610c67565b845260208401935050602081019050610cb4565b5050509392505050565b600082601f830112610cfa57610cf9610adc565b5b8135610d0a848260208601610c7c565b91505092915050565b60008060408385031215610d2a57610d29610a11565b5b600083013567ffffffffffffffff811115610d4857610d47610a16565b5b610d5485828601610bf6565b925050602083013567ffffffffffffffff811115610d7557610d74610a16565b5b610d8185828601610ce5565b9150509250929050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052602260045260246000fd5b60006002820490506001821680610dd257607f821691505b602082108103610de557610de4610d8b565b5b50919050565b7f4d696e74696e6720697320616c726561647920636c6f73656400000000000000600082015250565b6000610e2160198361092c565b9150610e2c82610deb565b602082019050919050565b60006020820190508181036000830152610e5081610e14565b9050919050565b7f496e76616c696420696e707574206c656e677468730000000000000000000000600082015250565b6000610e8d60158361092c565b9150610e9882610e57565b602082019050919050565b60006020820190508181036000830152610ebc81610e80565b9050919050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052603260045260246000fd5b7f496e76616c696420726563697069656e74206164647265737300000000000000600082015250565b6000610f2860198361092c565b9150610f3382610ef2565b602082019050919050565b60006020820190508181036000830152610f5781610f1b565b9050919050565b7f496e76616c696420746f6b656e20616d6f756e74000000000000000000000000600082015250565b6000610f9460148361092c565b9150610f9f82610f5e565b602082019050919050565b60006020820190508181036000830152610fc381610f87565b9050919050565b7f496e73756666696369656e742062616c616e6365000000000000000000000000600082015250565b600061100060148361092c565b915061100b82610fca565b602082019050919050565b6000602082019050818103600083015261102f81610ff3565b9050919050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052601160045260246000fd5b6000611070826109d3565b915061107b836109d3565b925082820390508181111561109357611092611036565b5b92915050565b60006110a4826109d3565b91506110af836109d3565b92508282019050808211156110c7576110c6611036565b5b92915050565b60006110d8826109d3565b91507fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff820361110a57611109611036565b5b600182019050919050565b7f4d696e74696e6720697320636c6f736564000000000000000000000000000000600082015250565b600061114b60118361092c565b915061115682611115565b602082019050919050565b6000602082019050818103600083015261117a8161113e565b9050919050565b7f4e6f7420656e6f75676820746f6b656e7320617661696c61626c6520666f722060008201527f6d696e74696e6700000000000000000000000000000000000000000000000000602082015250565b60006111dd60278361092c565b91506111e882611181565b604082019050919050565b6000602082019050818103600083015261120c816111d0565b9050919050565b7f4578636565646564206d6178696d756d206d696e74696e67206c696d6974207060008201527f6572207472616e73616374696f6e000000000000000000000000000000000000602082015250565b600061126f602e8361092c565b915061127a82611213565b604082019050919050565b6000602082019050818103600083015261129e81611262565b905091905056fea264697066735822122015d58e2b3332274f91ce531b29d145212a8f814d1bf47867d5c1c8abb955cdd264736f6c63430008120033

Source map

58:2121:0:-:0;;;362:155;;;;;;;;;;386:16;;;;;;;;;;;;;;;;;:4;:16;;;;;;:::i;:::-;;412:13;;;;;;;;;;;;;;;;;:6;:13;;;;;;:::i;:::-;;449:4;435:11;:18;;;;478:1;463:12;:16;;;;505:5;489:13;;:21;;;;;;;;;;;;;;;;;;58:2121;;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;58:2121:0:-;;;;;;;