Contract Source Code (Solidity)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta

More Options

• Similar
• Submit Audit
• Compare

/**
 *Submitted for verification at Arbiscan.io on 2024-03-13
*/

// SPDX-License-Identifier: MIT

pragma solidity ^0.8.0;


contract UnibitToken {
    string public name = "Unibit";
    string public symbol = "UIBT";
    uint8 public constant decimals = 18;
    uint256 public totalSupply;
    mapping (address => uint256) public balanceOf;
    mapping (address => mapping(address => uint256)) public allowance;
    mapping (address => uint256) public nonces;

    bytes32 public DOMAIN_SEPARATOR;
    bytes32 public constant PERMIT_TYPEHASH = keccak256("Permit(address owner,address spender,uint256 value,uint256 nonce,uint256 deadline)");
    bytes32 public constant DOMAIN_TYPEHASH = keccak256("EIP712Domain(string name,string version,uint256 chainId,address verifyingContract)");

    event Approval(address indexed owner, address indexed spender, uint256 value);
    event Transfer(address indexed from, address indexed to, uint256 value);

    constructor() {
        _mint(msg.sender, 1000000000 * 10**18);

        uint256 chainId;
        assembly {
            chainId := chainid()
        }
        DOMAIN_SEPARATOR = keccak256(abi.encode(DOMAIN_TYPEHASH, keccak256(bytes(name)), keccak256(bytes('1')), chainId, address(this)));
    }

    function _mint(address to, uint256 amount) internal {
        
        totalSupply += amount;

        unchecked {
            balanceOf[to] += amount;
        }

        emit Transfer(address(0), to, amount);
    }

    function burn(uint256 amount) external {
        balanceOf[msg.sender] -= amount;

        unchecked {
            totalSupply -= amount;
        }

        emit Transfer(msg.sender, address(0), amount);
    }

    function approve(address spender, uint256 amount) external returns (bool) {
        allowance[msg.sender][spender] = amount;

        emit Approval(msg.sender, spender, amount);

        return true;
    }

    function transfer(address to, uint256 amount) external returns (bool) {
        balanceOf[msg.sender] -= amount;

        unchecked {
            balanceOf[to] += amount;
        }

        emit Transfer(msg.sender, to, amount);

        return true;
    }

    function transferFrom(address from, address to, uint256 amount) external returns (bool) {
        uint256 allowed = allowance[from][msg.sender];

        if (allowed != type(uint256).max) allowance[from][msg.sender] = allowed - amount;

        balanceOf[from] -= amount;

        unchecked {
            balanceOf[to] += amount;
        }

        emit Transfer(from, to, amount);

        return true;
    }

    function permit(address owner, address spender, uint256 value, uint256 deadline, uint8 v, bytes32 r, bytes32 s) external {
        require(deadline >= block.timestamp, 'EXPIRED');
        unchecked {
            bytes32 digest = keccak256(
                abi.encodePacked(
                    '\x19\x01',
                    DOMAIN_SEPARATOR,
                    keccak256(abi.encode(PERMIT_TYPEHASH, owner, spender, value, nonces[owner]++, deadline))
                )
            );
            address recoveredAddress = ecrecover(digest, v, r, s);
            require(recoveredAddress != address(0) && recoveredAddress == owner, 'INVALID_SIGNATURE');
            allowance[recoveredAddress][spender] = value;
        }
        emit Approval(owner, spender, value);
    }
}

• No Contract Security Audit Submitted- Submit Audit Here

[{"inputs":[],"stateMutability":"nonpayable","type":"constructor"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"owner","type":"address"},{"indexed":true,"internalType":"address","name":"spender","type":"address"},{"indexed":false,"internalType":"uint256","name":"value","type":"uint256"}],"name":"Approval","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"from","type":"address"},{"indexed":true,"internalType":"address","name":"to","type":"address"},{"indexed":false,"internalType":"uint256","name":"value","type":"uint256"}],"name":"Transfer","type":"event"},{"inputs":[],"name":"DOMAIN_SEPARATOR","outputs":[{"internalType":"bytes32","name":"","type":"bytes32"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"DOMAIN_TYPEHASH","outputs":[{"internalType":"bytes32","name":"","type":"bytes32"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"PERMIT_TYPEHASH","outputs":[{"internalType":"bytes32","name":"","type":"bytes32"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"","type":"address"},{"internalType":"address","name":"","type":"address"}],"name":"allowance","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"spender","type":"address"},{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"approve","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"","type":"address"}],"name":"balanceOf","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"burn","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"decimals","outputs":[{"internalType":"uint8","name":"","type":"uint8"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"name","outputs":[{"internalType":"string","name":"","type":"string"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"","type":"address"}],"name":"nonces","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"owner","type":"address"},{"internalType":"address","name":"spender","type":"address"},{"internalType":"uint256","name":"value","type":"uint256"},{"internalType":"uint256","name":"deadline","type":"uint256"},{"internalType":"uint8","name":"v","type":"uint8"},{"internalType":"bytes32","name":"r","type":"bytes32"},{"internalType":"bytes32","name":"s","type":"bytes32"}],"name":"permit","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"symbol","outputs":[{"internalType":"string","name":"","type":"string"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"totalSupply","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"to","type":"address"},{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"transfer","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"from","type":"address"},{"internalType":"address","name":"to","type":"address"},{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"transferFrom","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"}]

60806040526040518060400160405280600681526020017f556e696269740000000000000000000000000000000000000000000000000000815250600090816200004a9190620004c3565b506040518060400160405280600481526020017f554942540000000000000000000000000000000000000000000000000000000081525060019081620000919190620004c3565b503480156200009f57600080fd5b50620000be336b033b2e3c9fd0803ce80000006200017560201b60201c565b60004690507f8b73c3c69bb8fe3d512ecc4cf759cc79239f7b179b0ffacaa9a75d522b39400f6000604051620000f5919062000659565b60405180910390206040518060400160405280600181526020017f310000000000000000000000000000000000000000000000000000000000000081525080519060200120833060405160200162000152959493929190620006e3565b6040516020818303038152906040528051906020012060068190555050620007c7565b80600260008282546200018991906200076f565b9250508190555080600360008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020600082825401925050819055508173ffffffffffffffffffffffffffffffffffffffff16600073ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef836040516200023d9190620007aa565b60405180910390a35050565b600081519050919050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052604160045260246000fd5b7f4e487b7100000000000000000000000000000000000000000000000000000000600052602260045260246000fd5b60006002820490506001821680620002cb57607f821691505b602082108103620002e157620002e062000283565b5b50919050565b60008190508160005260206000209050919050565b60006020601f8301049050919050565b600082821b905092915050565b6000600883026200034b7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff826200030c565b6200035786836200030c565b95508019841693508086168417925050509392505050565b6000819050919050565b6000819050919050565b6000620003a46200039e62000398846200036f565b62000379565b6200036f565b9050919050565b6000819050919050565b620003c08362000383565b620003d8620003cf82620003ab565b84845462000319565b825550505050565b600090565b620003ef620003e0565b620003fc818484620003b5565b505050565b5b81811015620004245762000418600082620003e5565b60018101905062000402565b5050565b601f82111562000473576200043d81620002e7565b6200044884620002fc565b8101602085101562000458578190505b620004706200046785620002fc565b83018262000401565b50505b505050565b600082821c905092915050565b6000620004986000198460080262000478565b1980831691505092915050565b6000620004b3838362000485565b9150826002028217905092915050565b620004ce8262000249565b67ffffffffffffffff811115620004ea57620004e962000254565b5b620004f68254620002b2565b6200050382828562000428565b600060209050601f8311600181146200053b576000841562000526578287015190505b620005328582620004a5565b865550620005a2565b601f1984166200054b86620002e7565b60005b8281101562000575578489015182556001820191506020850194506020810190506200054e565b8683101562000595578489015162000591601f89168262000485565b8355505b6001600288020188555050505b505050505050565b600081905092915050565b60008190508160005260206000209050919050565b60008154620005d981620002b2565b620005e58186620005aa565b94506001821660008114620006035760018114620006195762000650565b60ff198316865281151582028601935062000650565b6200062485620005b5565b60005b83811015620006485781548189015260018201915060208101905062000627565b838801955050505b50505092915050565b6000620006678284620005ca565b915081905092915050565b6000819050919050565b620006878162000672565b82525050565b62000698816200036f565b82525050565b600073ffffffffffffffffffffffffffffffffffffffff82169050919050565b6000620006cb826200069e565b9050919050565b620006dd81620006be565b82525050565b600060a082019050620006fa60008301886200067c565b6200070960208301876200067c565b6200071860408301866200067c565b6200072760608301856200068d565b620007366080830184620006d2565b9695505050505050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052601160045260246000fd5b60006200077c826200036f565b915062000789836200036f565b9250828201905080821115620007a457620007a362000740565b5b92915050565b6000602082019050620007c160008301846200068d565b92915050565b61147980620007d76000396000f3fe608060405234801561001057600080fd5b50600436106100f55760003560e01c80633644e5151161009757806395d89b411161006657806395d89b411461028a578063a9059cbb146102a8578063d505accf146102d8578063dd62ed3e146102f4576100f5565b80633644e515146101f057806342966c681461020e57806370a082311461022a5780637ecebe001461025a576100f5565b806320606b70116100d357806320606b701461016657806323b872dd1461018457806330adf81f146101b4578063313ce567146101d2576100f5565b806306fdde03146100fa578063095ea7b31461011857806318160ddd14610148575b600080fd5b610102610324565b60405161010f9190610d97565b60405180910390f35b610132600480360381019061012d9190610e52565b6103b2565b60405161013f9190610ead565b60405180910390f35b6101506104a4565b60405161015d9190610ed7565b60405180910390f35b61016e6104aa565b60405161017b9190610f0b565b60405180910390f35b61019e60048036038101906101999190610f26565b6104ce565b6040516101ab9190610ead565b60405180910390f35b6101bc610718565b6040516101c99190610f0b565b60405180910390f35b6101da61073c565b6040516101e79190610f95565b60405180910390f35b6101f8610741565b6040516102059190610f0b565b60405180910390f35b61022860048036038101906102239190610fb0565b610747565b005b610244600480360381019061023f9190610fdd565b610816565b6040516102519190610ed7565b60405180910390f35b610274600480360381019061026f9190610fdd565b61082e565b6040516102819190610ed7565b60405180910390f35b610292610846565b60405161029f9190610d97565b60405180910390f35b6102c260048036038101906102bd9190610e52565b6108d4565b6040516102cf9190610ead565b60405180910390f35b6102f260048036038101906102ed9190611062565b6109e8565b005b61030e60048036038101906103099190611104565b610ce2565b60405161031b9190610ed7565b60405180910390f35b6000805461033190611173565b80601f016020809104026020016040519081016040528092919081815260200182805461035d90611173565b80156103aa5780601f1061037f576101008083540402835291602001916103aa565b820191906000526020600020905b81548152906001019060200180831161038d57829003601f168201915b505050505081565b600081600460003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508273ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925846040516104929190610ed7565b60405180910390a36001905092915050565b60025481565b7f8b73c3c69bb8fe3d512ecc4cf759cc79239f7b179b0ffacaa9a75d522b39400f81565b600080600460008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205490507fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff811461060457828161058391906111d3565b600460008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055505b82600360008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020600082825461065391906111d3565b9250508190555082600360008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020600082825401925050819055508373ffffffffffffffffffffffffffffffffffffffff168573ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef856040516107049190610ed7565b60405180910390a360019150509392505050565b7f6e71edae12b1b97f4d1f60370fef10105fa2faae0126114a169c64845d6126c981565b601281565b60065481565b80600360003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020600082825461079691906111d3565b9250508190555080600260008282540392505081905550600073ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef8360405161080b9190610ed7565b60405180910390a350565b60036020528060005260406000206000915090505481565b60056020528060005260406000206000915090505481565b6001805461085390611173565b80601f016020809104026020016040519081016040528092919081815260200182805461087f90611173565b80156108cc5780601f106108a1576101008083540402835291602001916108cc565b820191906000526020600020905b8154815290600101906020018083116108af57829003601f168201915b505050505081565b600081600360003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020600082825461092591906111d3565b9250508190555081600360008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020600082825401925050819055508273ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef846040516109d69190610ed7565b60405180910390a36001905092915050565b42841015610a2b576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610a2290611253565b60405180910390fd5b60006006547f6e71edae12b1b97f4d1f60370fef10105fa2faae0126114a169c64845d6126c9898989600560008e73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000206000815480929190600101919050558a604051602001610ab896959493929190611282565b60405160208183030381529060405280519060200120604051602001610adf92919061135b565b604051602081830303815290604052805190602001209050600060018286868660405160008152602001604052604051610b1c9493929190611392565b6020604051602081039080840390855afa158015610b3e573d6000803e3d6000fd5b505050602060405103519050600073ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff1614158015610bb257508873ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff16145b610bf1576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610be890611423565b60405180910390fd5b86600460008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008a73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000208190555050508573ffffffffffffffffffffffffffffffffffffffff168773ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b92587604051610cd19190610ed7565b60405180910390a350505050505050565b6004602052816000526040600020602052806000526040600020600091509150505481565b600081519050919050565b600082825260208201905092915050565b60005b83811015610d41578082015181840152602081019050610d26565b60008484015250505050565b6000601f19601f8301169050919050565b6000610d6982610d07565b610d738185610d12565b9350610d83818560208601610d23565b610d8c81610d4d565b840191505092915050565b60006020820190508181036000830152610db18184610d5e565b905092915050565b600080fd5b600073ffffffffffffffffffffffffffffffffffffffff82169050919050565b6000610de982610dbe565b9050919050565b610df981610dde565b8114610e0457600080fd5b50565b600081359050610e1681610df0565b92915050565b6000819050919050565b610e2f81610e1c565b8114610e3a57600080fd5b50565b600081359050610e4c81610e26565b92915050565b60008060408385031215610e6957610e68610db9565b5b6000610e7785828601610e07565b9250506020610e8885828601610e3d565b9150509250929050565b60008115159050919050565b610ea781610e92565b82525050565b6000602082019050610ec26000830184610e9e565b92915050565b610ed181610e1c565b82525050565b6000602082019050610eec6000830184610ec8565b92915050565b6000819050919050565b610f0581610ef2565b82525050565b6000602082019050610f206000830184610efc565b92915050565b600080600060608486031215610f3f57610f3e610db9565b5b6000610f4d86828701610e07565b9350506020610f5e86828701610e07565b9250506040610f6f86828701610e3d565b9150509250925092565b600060ff82169050919050565b610f8f81610f79565b82525050565b6000602082019050610faa6000830184610f86565b92915050565b600060208284031215610fc657610fc5610db9565b5b6000610fd484828501610e3d565b91505092915050565b600060208284031215610ff357610ff2610db9565b5b600061100184828501610e07565b91505092915050565b61101381610f79565b811461101e57600080fd5b50565b6000813590506110308161100a565b92915050565b61103f81610ef2565b811461104a57600080fd5b50565b60008135905061105c81611036565b92915050565b600080600080600080600060e0888a03121561108157611080610db9565b5b600061108f8a828b01610e07565b97505060206110a08a828b01610e07565b96505060406110b18a828b01610e3d565b95505060606110c28a828b01610e3d565b94505060806110d38a828b01611021565b93505060a06110e48a828b0161104d565b92505060c06110f58a828b0161104d565b91505092959891949750929550565b6000806040838503121561111b5761111a610db9565b5b600061112985828601610e07565b925050602061113a85828601610e07565b9150509250929050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052602260045260246000fd5b6000600282049050600182168061118b57607f821691505b60208210810361119e5761119d611144565b5b50919050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052601160045260246000fd5b60006111de82610e1c565b91506111e983610e1c565b9250828203905081811115611201576112006111a4565b5b92915050565b7f4558504952454400000000000000000000000000000000000000000000000000600082015250565b600061123d600783610d12565b915061124882611207565b602082019050919050565b6000602082019050818103600083015261126c81611230565b9050919050565b61127c81610dde565b82525050565b600060c0820190506112976000830189610efc565b6112a46020830188611273565b6112b16040830187611273565b6112be6060830186610ec8565b6112cb6080830185610ec8565b6112d860a0830184610ec8565b979650505050505050565b600081905092915050565b7f1901000000000000000000000000000000000000000000000000000000000000600082015250565b60006113246002836112e3565b915061132f826112ee565b600282019050919050565b6000819050919050565b61135561135082610ef2565b61133a565b82525050565b600061136682611317565b91506113728285611344565b6020820191506113828284611344565b6020820191508190509392505050565b60006080820190506113a76000830187610efc565b6113b46020830186610f86565b6113c16040830185610efc565b6113ce6060830184610efc565b95945050505050565b7f494e56414c49445f5349474e4154555245000000000000000000000000000000600082015250565b600061140d601183610d12565b9150611418826113d7565b602082019050919050565b6000602082019050818103600083015261143c81611400565b905091905056fea26469706673582212208e9b2390f5fb0c721ef1ce105867a25633dbcace5a9fdb08e9030fedb6ec86cf64736f6c63430008120033

0x608060405234801561001057600080fd5b50600436106100f55760003560e01c80633644e5151161009757806395d89b411161006657806395d89b411461028a578063a9059cbb146102a8578063d505accf146102d8578063dd62ed3e146102f4576100f5565b80633644e515146101f057806342966c681461020e57806370a082311461022a5780637ecebe001461025a576100f5565b806320606b70116100d357806320606b701461016657806323b872dd1461018457806330adf81f146101b4578063313ce567146101d2576100f5565b806306fdde03146100fa578063095ea7b31461011857806318160ddd14610148575b600080fd5b610102610324565b60405161010f9190610d97565b60405180910390f35b610132600480360381019061012d9190610e52565b6103b2565b60405161013f9190610ead565b60405180910390f35b6101506104a4565b60405161015d9190610ed7565b60405180910390f35b61016e6104aa565b60405161017b9190610f0b565b60405180910390f35b61019e60048036038101906101999190610f26565b6104ce565b6040516101ab9190610ead565b60405180910390f35b6101bc610718565b6040516101c99190610f0b565b60405180910390f35b6101da61073c565b6040516101e79190610f95565b60405180910390f35b6101f8610741565b6040516102059190610f0b565b60405180910390f35b61022860048036038101906102239190610fb0565b610747565b005b610244600480360381019061023f9190610fdd565b610816565b6040516102519190610ed7565b60405180910390f35b610274600480360381019061026f9190610fdd565b61082e565b6040516102819190610ed7565b60405180910390f35b610292610846565b60405161029f9190610d97565b60405180910390f35b6102c260048036038101906102bd9190610e52565b6108d4565b6040516102cf9190610ead565b60405180910390f35b6102f260048036038101906102ed9190611062565b6109e8565b005b61030e60048036038101906103099190611104565b610ce2565b60405161031b9190610ed7565b60405180910390f35b6000805461033190611173565b80601f016020809104026020016040519081016040528092919081815260200182805461035d90611173565b80156103aa5780601f1061037f576101008083540402835291602001916103aa565b820191906000526020600020905b81548152906001019060200180831161038d57829003601f168201915b505050505081565b600081600460003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508273ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925846040516104929190610ed7565b60405180910390a36001905092915050565b60025481565b7f8b73c3c69bb8fe3d512ecc4cf759cc79239f7b179b0ffacaa9a75d522b39400f81565b600080600460008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205490507fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff811461060457828161058391906111d3565b600460008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055505b82600360008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020600082825461065391906111d3565b9250508190555082600360008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020600082825401925050819055508373ffffffffffffffffffffffffffffffffffffffff168573ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef856040516107049190610ed7565b60405180910390a360019150509392505050565b7f6e71edae12b1b97f4d1f60370fef10105fa2faae0126114a169c64845d6126c981565b601281565b60065481565b80600360003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020600082825461079691906111d3565b9250508190555080600260008282540392505081905550600073ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef8360405161080b9190610ed7565b60405180910390a350565b60036020528060005260406000206000915090505481565b60056020528060005260406000206000915090505481565b6001805461085390611173565b80601f016020809104026020016040519081016040528092919081815260200182805461087f90611173565b80156108cc5780601f106108a1576101008083540402835291602001916108cc565b820191906000526020600020905b8154815290600101906020018083116108af57829003601f168201915b505050505081565b600081600360003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020600082825461092591906111d3565b9250508190555081600360008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020600082825401925050819055508273ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef846040516109d69190610ed7565b60405180910390a36001905092915050565b42841015610a2b576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610a2290611253565b60405180910390fd5b60006006547f6e71edae12b1b97f4d1f60370fef10105fa2faae0126114a169c64845d6126c9898989600560008e73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000206000815480929190600101919050558a604051602001610ab896959493929190611282565b60405160208183030381529060405280519060200120604051602001610adf92919061135b565b604051602081830303815290604052805190602001209050600060018286868660405160008152602001604052604051610b1c9493929190611392565b6020604051602081039080840390855afa158015610b3e573d6000803e3d6000fd5b505050602060405103519050600073ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff1614158015610bb257508873ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff16145b610bf1576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610be890611423565b60405180910390fd5b86600460008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008a73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000208190555050508573ffffffffffffffffffffffffffffffffffffffff168773ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b92587604051610cd19190610ed7565b60405180910390a350505050505050565b6004602052816000526040600020602052806000526040600020600091509150505481565b600081519050919050565b600082825260208201905092915050565b60005b83811015610d41578082015181840152602081019050610d26565b60008484015250505050565b6000601f19601f8301169050919050565b6000610d6982610d07565b610d738185610d12565b9350610d83818560208601610d23565b610d8c81610d4d565b840191505092915050565b60006020820190508181036000830152610db18184610d5e565b905092915050565b600080fd5b600073ffffffffffffffffffffffffffffffffffffffff82169050919050565b6000610de982610dbe565b9050919050565b610df981610dde565b8114610e0457600080fd5b50565b600081359050610e1681610df0565b92915050565b6000819050919050565b610e2f81610e1c565b8114610e3a57600080fd5b50565b600081359050610e4c81610e26565b92915050565b60008060408385031215610e6957610e68610db9565b5b6000610e7785828601610e07565b9250506020610e8885828601610e3d565b9150509250929050565b60008115159050919050565b610ea781610e92565b82525050565b6000602082019050610ec26000830184610e9e565b92915050565b610ed181610e1c565b82525050565b6000602082019050610eec6000830184610ec8565b92915050565b6000819050919050565b610f0581610ef2565b82525050565b6000602082019050610f206000830184610efc565b92915050565b600080600060608486031215610f3f57610f3e610db9565b5b6000610f4d86828701610e07565b9350506020610f5e86828701610e07565b9250506040610f6f86828701610e3d565b9150509250925092565b600060ff82169050919050565b610f8f81610f79565b82525050565b6000602082019050610faa6000830184610f86565b92915050565b600060208284031215610fc657610fc5610db9565b5b6000610fd484828501610e3d565b91505092915050565b600060208284031215610ff357610ff2610db9565b5b600061100184828501610e07565b91505092915050565b61101381610f79565b811461101e57600080fd5b50565b6000813590506110308161100a565b92915050565b61103f81610ef2565b811461104a57600080fd5b50565b60008135905061105c81611036565b92915050565b600080600080600080600060e0888a03121561108157611080610db9565b5b600061108f8a828b01610e07565b97505060206110a08a828b01610e07565b96505060406110b18a828b01610e3d565b95505060606110c28a828b01610e3d565b94505060806110d38a828b01611021565b93505060a06110e48a828b0161104d565b92505060c06110f58a828b0161104d565b91505092959891949750929550565b6000806040838503121561111b5761111a610db9565b5b600061112985828601610e07565b925050602061113a85828601610e07565b9150509250929050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052602260045260246000fd5b6000600282049050600182168061118b57607f821691505b60208210810361119e5761119d611144565b5b50919050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052601160045260246000fd5b60006111de82610e1c565b91506111e983610e1c565b9250828203905081811115611201576112006111a4565b5b92915050565b7f4558504952454400000000000000000000000000000000000000000000000000600082015250565b600061123d600783610d12565b915061124882611207565b602082019050919050565b6000602082019050818103600083015261126c81611230565b9050919050565b61127c81610dde565b82525050565b600060c0820190506112976000830189610efc565b6112a46020830188611273565b6112b16040830187611273565b6112be6060830186610ec8565b6112cb6080830185610ec8565b6112d860a0830184610ec8565b979650505050505050565b600081905092915050565b7f1901000000000000000000000000000000000000000000000000000000000000600082015250565b60006113246002836112e3565b915061132f826112ee565b600282019050919050565b6000819050919050565b61135561135082610ef2565b61133a565b82525050565b600061136682611317565b91506113728285611344565b6020820191506113828284611344565b6020820191508190509392505050565b60006080820190506113a76000830187610efc565b6113b46020830186610f86565b6113c16040830185610efc565b6113ce6060830184610efc565b95945050505050565b7f494e56414c49445f5349474e4154555245000000000000000000000000000000600082015250565b600061140d601183610d12565b9150611418826113d7565b602082019050919050565b6000602082019050818103600083015261143c81611400565b905091905056fea26469706673582212208e9b2390f5fb0c721ef1ce105867a25633dbcace5a9fdb08e9030fedb6ec86cf64736f6c63430008120033

64:3327:0:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;92:29;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;1674:211;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;206:26;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;596:137;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;2167:423;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;452:137;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;164:35;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;414:31;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;1449:217;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;239:45;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;363:42;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;128:29;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;1893:266;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;2598:790;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;291:65;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;92:29;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::o;1674:211::-;1742:4;1792:6;1759:9;:21;1769:10;1759:21;;;;;;;;;;;;;;;:30;1781:7;1759:30;;;;;;;;;;;;;;;:39;;;;1837:7;1816:37;;1825:10;1816:37;;;1846:6;1816:37;;;;;;:::i;:::-;;;;;;;;1873:4;1866:11;;1674:211;;;;:::o;206:26::-;;;;:::o;596:137::-;638:95;596:137;:::o;2167:423::-;2249:4;2266:15;2284:9;:15;2294:4;2284:15;;;;;;;;;;;;;;;:27;2300:10;2284:27;;;;;;;;;;;;;;;;2266:45;;2339:17;2328:7;:28;2324:80;;2398:6;2388:7;:16;;;;:::i;:::-;2358:9;:15;2368:4;2358:15;;;;;;;;;;;;;;;:27;2374:10;2358:27;;;;;;;;;;;;;;;:46;;;;2324:80;2436:6;2417:9;:15;2427:4;2417:15;;;;;;;;;;;;;;;;:25;;;;;;;:::i;:::-;;;;;;;;2497:6;2480:9;:13;2490:2;2480:13;;;;;;;;;;;;;;;;:23;;;;;;;;;;;2547:2;2532:26;;2541:4;2532:26;;;2551:6;2532:26;;;;;;:::i;:::-;;;;;;;;2578:4;2571:11;;;2167:423;;;;;:::o;452:137::-;494:95;452:137;:::o;164:35::-;197:2;164:35;:::o;414:31::-;;;;:::o;1449:217::-;1524:6;1499:9;:21;1509:10;1499:21;;;;;;;;;;;;;;;;:31;;;;;;;:::i;:::-;;;;;;;;1583:6;1568:11;;:21;;;;;;;;;;;1647:1;1618:40;;1627:10;1618:40;;;1651:6;1618:40;;;;;;:::i;:::-;;;;;;;;1449:217;:::o;239:45::-;;;;;;;;;;;;;;;;;:::o;363:42::-;;;;;;;;;;;;;;;;;:::o;128:29::-;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::o;1893:266::-;1957:4;1999:6;1974:9;:21;1984:10;1974:21;;;;;;;;;;;;;;;;:31;;;;;;;:::i;:::-;;;;;;;;2060:6;2043:9;:13;2053:2;2043:13;;;;;;;;;;;;;;;;:23;;;;;;;;;;;2116:2;2095:32;;2104:10;2095:32;;;2120:6;2095:32;;;;;;:::i;:::-;;;;;;;;2147:4;2140:11;;1893:266;;;;:::o;2598:790::-;2750:15;2738:8;:27;;2730:47;;;;;;;;;;;;:::i;:::-;;;;;;;;;2813:14;2930:16;;494:95;3007:5;3014:7;3023:5;3030:6;:13;3037:5;3030:13;;;;;;;;;;;;;;;;:15;;;;;;;;;;;;3047:8;2979:77;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;2969:88;;;;;;2858:218;;;;;;;;;:::i;:::-;;;;;;;;;;;;;2830:261;;;;;;2813:278;;3106:24;3133:26;3143:6;3151:1;3154;3157;3133:26;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;3106:53;;3210:1;3182:30;;:16;:30;;;;:59;;;;;3236:5;3216:25;;:16;:25;;;3182:59;3174:89;;;;;;;;;;;;:::i;:::-;;;;;;;;;3317:5;3278:9;:27;3288:16;3278:27;;;;;;;;;;;;;;;:36;3306:7;3278:36;;;;;;;;;;;;;;;:44;;;;2788:546;;3365:7;3349:31;;3358:5;3349:31;;;3374:5;3349:31;;;;;;:::i;:::-;;;;;;;;2598:790;;;;;;;:::o;291:65::-;;;;;;;;;;;;;;;;;;;;;;;;;;:::o;7:99:1:-;59:6;93:5;87:12;77:22;;7:99;;;:::o;112:169::-;196:11;230:6;225:3;218:19;270:4;265:3;261:14;246:29;;112:169;;;;:::o;287:246::-;368:1;378:113;392:6;389:1;386:13;378:113;;;477:1;472:3;468:11;462:18;458:1;453:3;449:11;442:39;414:2;411:1;407:10;402:15;;378:113;;;525:1;516:6;511:3;507:16;500:27;349:184;287:246;;;:::o;539:102::-;580:6;631:2;627:7;622:2;615:5;611:14;607:28;597:38;;539:102;;;:::o;647:377::-;735:3;763:39;796:5;763:39;:::i;:::-;818:71;882:6;877:3;818:71;:::i;:::-;811:78;;898:65;956:6;951:3;944:4;937:5;933:16;898:65;:::i;:::-;988:29;1010:6;988:29;:::i;:::-;983:3;979:39;972:46;;739:285;647:377;;;;:::o;1030:313::-;1143:4;1181:2;1170:9;1166:18;1158:26;;1230:9;1224:4;1220:20;1216:1;1205:9;1201:17;1194:47;1258:78;1331:4;1322:6;1258:78;:::i;:::-;1250:86;;1030:313;;;;:::o;1430:117::-;1539:1;1536;1529:12;1676:126;1713:7;1753:42;1746:5;1742:54;1731:65;;1676:126;;;:::o;1808:96::-;1845:7;1874:24;1892:5;1874:24;:::i;:::-;1863:35;;1808:96;;;:::o;1910:122::-;1983:24;2001:5;1983:24;:::i;:::-;1976:5;1973:35;1963:63;;2022:1;2019;2012:12;1963:63;1910:122;:::o;2038:139::-;2084:5;2122:6;2109:20;2100:29;;2138:33;2165:5;2138:33;:::i;:::-;2038:139;;;;:::o;2183:77::-;2220:7;2249:5;2238:16;;2183:77;;;:::o;2266:122::-;2339:24;2357:5;2339:24;:::i;:::-;2332:5;2329:35;2319:63;;2378:1;2375;2368:12;2319:63;2266:122;:::o;2394:139::-;2440:5;2478:6;2465:20;2456:29;;2494:33;2521:5;2494:33;:::i;:::-;2394:139;;;;:::o;2539:474::-;2607:6;2615;2664:2;2652:9;2643:7;2639:23;2635:32;2632:119;;;2670:79;;:::i;:::-;2632:119;2790:1;2815:53;2860:7;2851:6;2840:9;2836:22;2815:53;:::i;:::-;2805:63;;2761:117;2917:2;2943:53;2988:7;2979:6;2968:9;2964:22;2943:53;:::i;:::-;2933:63;;2888:118;2539:474;;;;;:::o;3019:90::-;3053:7;3096:5;3089:13;3082:21;3071:32;;3019:90;;;:::o;3115:109::-;3196:21;3211:5;3196:21;:::i;:::-;3191:3;3184:34;3115:109;;:::o;3230:210::-;3317:4;3355:2;3344:9;3340:18;3332:26;;3368:65;3430:1;3419:9;3415:17;3406:6;3368:65;:::i;:::-;3230:210;;;;:::o;3446:118::-;3533:24;3551:5;3533:24;:::i;:::-;3528:3;3521:37;3446:118;;:::o;3570:222::-;3663:4;3701:2;3690:9;3686:18;3678:26;;3714:71;3782:1;3771:9;3767:17;3758:6;3714:71;:::i;:::-;3570:222;;;;:::o;3798:77::-;3835:7;3864:5;3853:16;;3798:77;;;:::o;3881:118::-;3968:24;3986:5;3968:24;:::i;:::-;3963:3;3956:37;3881:118;;:::o;4005:222::-;4098:4;4136:2;4125:9;4121:18;4113:26;;4149:71;4217:1;4206:9;4202:17;4193:6;4149:71;:::i;:::-;4005:222;;;;:::o;4233:619::-;4310:6;4318;4326;4375:2;4363:9;4354:7;4350:23;4346:32;4343:119;;;4381:79;;:::i;:::-;4343:119;4501:1;4526:53;4571:7;4562:6;4551:9;4547:22;4526:53;:::i;:::-;4516:63;;4472:117;4628:2;4654:53;4699:7;4690:6;4679:9;4675:22;4654:53;:::i;:::-;4644:63;;4599:118;4756:2;4782:53;4827:7;4818:6;4807:9;4803:22;4782:53;:::i;:::-;4772:63;;4727:118;4233:619;;;;;:::o;4858:86::-;4893:7;4933:4;4926:5;4922:16;4911:27;;4858:86;;;:::o;4950:112::-;5033:22;5049:5;5033:22;:::i;:::-;5028:3;5021:35;4950:112;;:::o;5068:214::-;5157:4;5195:2;5184:9;5180:18;5172:26;;5208:67;5272:1;5261:9;5257:17;5248:6;5208:67;:::i;:::-;5068:214;;;;:::o;5288:329::-;5347:6;5396:2;5384:9;5375:7;5371:23;5367:32;5364:119;;;5402:79;;:::i;:::-;5364:119;5522:1;5547:53;5592:7;5583:6;5572:9;5568:22;5547:53;:::i;:::-;5537:63;;5493:117;5288:329;;;;:::o;5623:::-;5682:6;5731:2;5719:9;5710:7;5706:23;5702:32;5699:119;;;5737:79;;:::i;:::-;5699:119;5857:1;5882:53;5927:7;5918:6;5907:9;5903:22;5882:53;:::i;:::-;5872:63;;5828:117;5623:329;;;;:::o;5958:118::-;6029:22;6045:5;6029:22;:::i;:::-;6022:5;6019:33;6009:61;;6066:1;6063;6056:12;6009:61;5958:118;:::o;6082:135::-;6126:5;6164:6;6151:20;6142:29;;6180:31;6205:5;6180:31;:::i;:::-;6082:135;;;;:::o;6223:122::-;6296:24;6314:5;6296:24;:::i;:::-;6289:5;6286:35;6276:63;;6335:1;6332;6325:12;6276:63;6223:122;:::o;6351:139::-;6397:5;6435:6;6422:20;6413:29;;6451:33;6478:5;6451:33;:::i;:::-;6351:139;;;;:::o;6496:1199::-;6607:6;6615;6623;6631;6639;6647;6655;6704:3;6692:9;6683:7;6679:23;6675:33;6672:120;;;6711:79;;:::i;:::-;6672:120;6831:1;6856:53;6901:7;6892:6;6881:9;6877:22;6856:53;:::i;:::-;6846:63;;6802:117;6958:2;6984:53;7029:7;7020:6;7009:9;7005:22;6984:53;:::i;:::-;6974:63;;6929:118;7086:2;7112:53;7157:7;7148:6;7137:9;7133:22;7112:53;:::i;:::-;7102:63;;7057:118;7214:2;7240:53;7285:7;7276:6;7265:9;7261:22;7240:53;:::i;:::-;7230:63;;7185:118;7342:3;7369:51;7412:7;7403:6;7392:9;7388:22;7369:51;:::i;:::-;7359:61;;7313:117;7469:3;7496:53;7541:7;7532:6;7521:9;7517:22;7496:53;:::i;:::-;7486:63;;7440:119;7598:3;7625:53;7670:7;7661:6;7650:9;7646:22;7625:53;:::i;:::-;7615:63;;7569:119;6496:1199;;;;;;;;;;:::o;7701:474::-;7769:6;7777;7826:2;7814:9;7805:7;7801:23;7797:32;7794:119;;;7832:79;;:::i;:::-;7794:119;7952:1;7977:53;8022:7;8013:6;8002:9;7998:22;7977:53;:::i;:::-;7967:63;;7923:117;8079:2;8105:53;8150:7;8141:6;8130:9;8126:22;8105:53;:::i;:::-;8095:63;;8050:118;7701:474;;;;;:::o;8181:180::-;8229:77;8226:1;8219:88;8326:4;8323:1;8316:15;8350:4;8347:1;8340:15;8367:320;8411:6;8448:1;8442:4;8438:12;8428:22;;8495:1;8489:4;8485:12;8516:18;8506:81;;8572:4;8564:6;8560:17;8550:27;;8506:81;8634:2;8626:6;8623:14;8603:18;8600:38;8597:84;;8653:18;;:::i;:::-;8597:84;8418:269;8367:320;;;:::o;8693:180::-;8741:77;8738:1;8731:88;8838:4;8835:1;8828:15;8862:4;8859:1;8852:15;8879:194;8919:4;8939:20;8957:1;8939:20;:::i;:::-;8934:25;;8973:20;8991:1;8973:20;:::i;:::-;8968:25;;9017:1;9014;9010:9;9002:17;;9041:1;9035:4;9032:11;9029:37;;;9046:18;;:::i;:::-;9029:37;8879:194;;;;:::o;9079:157::-;9219:9;9215:1;9207:6;9203:14;9196:33;9079:157;:::o;9242:365::-;9384:3;9405:66;9469:1;9464:3;9405:66;:::i;:::-;9398:73;;9480:93;9569:3;9480:93;:::i;:::-;9598:2;9593:3;9589:12;9582:19;;9242:365;;;:::o;9613:419::-;9779:4;9817:2;9806:9;9802:18;9794:26;;9866:9;9860:4;9856:20;9852:1;9841:9;9837:17;9830:47;9894:131;10020:4;9894:131;:::i;:::-;9886:139;;9613:419;;;:::o;10038:118::-;10125:24;10143:5;10125:24;:::i;:::-;10120:3;10113:37;10038:118;;:::o;10162:775::-;10395:4;10433:3;10422:9;10418:19;10410:27;;10447:71;10515:1;10504:9;10500:17;10491:6;10447:71;:::i;:::-;10528:72;10596:2;10585:9;10581:18;10572:6;10528:72;:::i;:::-;10610;10678:2;10667:9;10663:18;10654:6;10610:72;:::i;:::-;10692;10760:2;10749:9;10745:18;10736:6;10692:72;:::i;:::-;10774:73;10842:3;10831:9;10827:19;10818:6;10774:73;:::i;:::-;10857;10925:3;10914:9;10910:19;10901:6;10857:73;:::i;:::-;10162:775;;;;;;;;;:::o;10943:148::-;11045:11;11082:3;11067:18;;10943:148;;;;:::o;11097:214::-;11237:66;11233:1;11225:6;11221:14;11214:90;11097:214;:::o;11317:400::-;11477:3;11498:84;11580:1;11575:3;11498:84;:::i;:::-;11491:91;;11591:93;11680:3;11591:93;:::i;:::-;11709:1;11704:3;11700:11;11693:18;;11317:400;;;:::o;11723:79::-;11762:7;11791:5;11780:16;;11723:79;;;:::o;11808:157::-;11913:45;11933:24;11951:5;11933:24;:::i;:::-;11913:45;:::i;:::-;11908:3;11901:58;11808:157;;:::o;11971:663::-;12212:3;12234:148;12378:3;12234:148;:::i;:::-;12227:155;;12392:75;12463:3;12454:6;12392:75;:::i;:::-;12492:2;12487:3;12483:12;12476:19;;12505:75;12576:3;12567:6;12505:75;:::i;:::-;12605:2;12600:3;12596:12;12589:19;;12625:3;12618:10;;11971:663;;;;;:::o;12640:545::-;12813:4;12851:3;12840:9;12836:19;12828:27;;12865:71;12933:1;12922:9;12918:17;12909:6;12865:71;:::i;:::-;12946:68;13010:2;12999:9;12995:18;12986:6;12946:68;:::i;:::-;13024:72;13092:2;13081:9;13077:18;13068:6;13024:72;:::i;:::-;13106;13174:2;13163:9;13159:18;13150:6;13106:72;:::i;:::-;12640:545;;;;;;;:::o;13191:167::-;13331:19;13327:1;13319:6;13315:14;13308:43;13191:167;:::o;13364:366::-;13506:3;13527:67;13591:2;13586:3;13527:67;:::i;:::-;13520:74;;13603:93;13692:3;13603:93;:::i;:::-;13721:2;13716:3;13712:12;13705:19;;13364:366;;;:::o;13736:419::-;13902:4;13940:2;13929:9;13925:18;13917:26;;13989:9;13983:4;13979:20;13975:1;13964:9;13960:17;13953:47;14017:131;14143:4;14017:131;:::i;:::-;14009:139;;13736:419;;;:::o

ipfs://8e9b2390f5fb0c721ef1ce105867a25633dbcace5a9fdb08e9030fedb6ec86cf