Contract Source Code (Solidity)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta

Outline

•  contract Cinos *
•    - function transfer(address _to, uint25 ...
•    - function approve(address _spender, ui ...
•    - function transferFrom(address _from, ...
•    - function mint()
•    - function mintable()
•    - function blocksPerToken()
•    - function advanceEpochIfNeeded()
•    - function _transfer(address _from, add ...
•    - function currentEpoch()

More Options

• Similar
• Submit Audit
• Compare

/**
 *Submitted for verification at SonicScan.org on 2025-03-03
*/

// SPDX-License-Identifier:  None

pragma solidity ^0.8.0;

/**
 * Cinos Token - Deployed on Sonic Network
 *
 * Cinos is a token with a bound supply curve, where new tokens become available for minting every block.
 * Every 4 years, minting becomes twice as hard, following a unique time-based halving schedule.
 * After 92 years, minting a single token will take 4 years, capping practical supply around 21 million.
 * 
 * As a tribute, 5% of each minted amount is silently sent to the creator, Satocinos, to honor the spirit of creation.
 *
 * Designed for Sonic, Cinos blends scarcity, time, and innovation into one timeless asset.
 */

contract Cinos {
    string public constant name = "Cinos";
    string public constant symbol = "CNS";
    uint8 public constant decimals = 18;

    uint256 public totalSupply;
    uint8 public epoch;
    uint256 public lastDoublingBlock;
    uint256 public nextDoublingBlock;
    uint256 public lastMintingBlock;

    address public immutable creator;

    mapping(address => uint256) public balanceOf;
    mapping(address => mapping(address => uint256)) public allowance;

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

    uint256 constant FOUR_YEARS_BLOCKS = 10519200; // ~4 years
    uint256 constant MINT_FEE_PERCENT = 5;         // 0.5%

    constructor() {
        creator = msg.sender;

        totalSupply = 1e18;
        balanceOf[msg.sender] = totalSupply;
        emit Transfer(address(0), msg.sender, totalSupply);

        lastDoublingBlock = block.number;
        nextDoublingBlock = block.number + FOUR_YEARS_BLOCKS;
        lastMintingBlock = block.number;
        epoch = 0;
    }

    function transfer(address _to, uint256 _value) public returns (bool) {
        require(balanceOf[msg.sender] >= _value, "Insufficient balance");
        _transfer(msg.sender, _to, _value);
        return true;
    }

    function approve(address _spender, uint256 _value) public returns (bool) {
        allowance[msg.sender][_spender] = _value;
        emit Approval(msg.sender, _spender, _value);
        return true;
    }

    function transferFrom(address _from, address _to, uint256 _value) public returns (bool) {
        require(balanceOf[_from] >= _value, "Insufficient balance");
        require(allowance[_from][msg.sender] >= _value, "Insufficient allowance");

        allowance[_from][msg.sender] -= _value;
        _transfer(_from, _to, _value);
        return true;
    }

    function mint() public {
        uint256 numberToMint = mintable();
        require(numberToMint > 0, "Nothing to mint");

        uint256 fee = (numberToMint * MINT_FEE_PERCENT) / 1000;
        uint256 userAmount = numberToMint - fee;

        totalSupply += numberToMint;

        balanceOf[msg.sender] += userAmount;
        emit Transfer(address(0), msg.sender, userAmount);

        balanceOf[creator] += fee;

        lastMintingBlock = block.number - ((block.number - lastMintingBlock) % blocksPerToken());
    }

    function mintable() public view returns (uint256 numberToMint) {
        uint256 blocksPassed = block.number - lastMintingBlock;
        if (blocksPassed < blocksPerToken()) {
            return 0;
        }
        numberToMint = (blocksPassed / blocksPerToken()) * 1e18;
    }

    function blocksPerToken() public view returns (uint256) {
        return 2**epoch;
    }

    function advanceEpochIfNeeded() public {
        if (block.number >= nextDoublingBlock) {
            epoch++;
            lastDoublingBlock = block.number;
            nextDoublingBlock = block.number + FOUR_YEARS_BLOCKS;

            emit EpochAdvanced(epoch);
        }
    }

    function _transfer(address _from, address _to, uint256 _value) internal {
        balanceOf[_from] -= _value;
        balanceOf[_to] += _value;
        emit Transfer(_from, _to, _value);
    }

    function currentEpoch() public view returns (uint8) {
        return epoch;
    }
}

• 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":false,"internalType":"uint8","name":"newEpoch","type":"uint8"}],"name":"EpochAdvanced","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":"advanceEpochIfNeeded","outputs":[],"stateMutability":"nonpayable","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":"_value","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":[],"name":"blocksPerToken","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"creator","outputs":[{"internalType":"address","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"currentEpoch","outputs":[{"internalType":"uint8","name":"","type":"uint8"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"decimals","outputs":[{"internalType":"uint8","name":"","type":"uint8"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"epoch","outputs":[{"internalType":"uint8","name":"","type":"uint8"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"lastDoublingBlock","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"lastMintingBlock","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"mint","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"mintable","outputs":[{"internalType":"uint256","name":"numberToMint","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"name","outputs":[{"internalType":"string","name":"","type":"string"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"nextDoublingBlock","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","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":"_value","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":"_value","type":"uint256"}],"name":"transferFrom","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"}]

60a060405234801561000f575f80fd5b503373ffffffffffffffffffffffffffffffffffffffff1660808173ffffffffffffffffffffffffffffffffffffffff1681525050670de0b6b3a76400005f819055505f5460055f3373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20819055503373ffffffffffffffffffffffffffffffffffffffff165f73ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef5f546040516100f39190610155565b60405180910390a34360028190555062a082a043610111919061019b565b600381905550436004819055505f60015f6101000a81548160ff021916908360ff1602179055506101ce565b5f819050919050565b61014f8161013d565b82525050565b5f6020820190506101685f830184610146565b92915050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52601160045260245ffd5b5f6101a58261013d565b91506101b08361013d565b92508282019050808211156101c8576101c761016e565b5b92915050565b60805161135c6101ed5f395f81816103910152610648015261135c5ff3fe608060405234801561000f575f80fd5b506004361061011f575f3560e01c80634bf365df116100ab578063900cf0cf1161006f578063900cf0cf146102d557806395d89b41146102f3578063a9059cbb14610311578063cb6b8f0e14610341578063dd62ed3e1461035f5761011f565b80634bf365df1461022d5780634f719b691461024b578063653cab4f1461026957806370a082311461028757806376671808146102b75761011f565b80631249c58b116100f25780631249c58b146101ad57806318160ddd146101b757806323b872dd146101d5578063313ce56714610205578063461fc5f6146102235761011f565b806302d05d3f14610123578063039cfbf51461014157806306fdde031461015f578063095ea7b31461017d575b5f80fd5b61012b61038f565b6040516101389190610c5c565b60405180910390f35b6101496103b3565b6040516101569190610c8d565b60405180910390f35b6101676103d4565b6040516101749190610d16565b60405180910390f35b61019760048036038101906101929190610d8e565b61040d565b6040516101a49190610de6565b60405180910390f35b6101b56104fa565b005b6101bf6106eb565b6040516101cc9190610c8d565b60405180910390f35b6101ef60048036038101906101ea9190610dff565b6106f0565b6040516101fc9190610de6565b60405180910390f35b61020d6108d0565b60405161021a9190610e6a565b60405180910390f35b61022b6108d5565b005b610235610979565b6040516102429190610c8d565b60405180910390f35b6102536109d0565b6040516102609190610c8d565b60405180910390f35b6102716109d6565b60405161027e9190610c8d565b60405180910390f35b6102a1600480360381019061029c9190610e83565b6109dc565b6040516102ae9190610c8d565b60405180910390f35b6102bf6109f1565b6040516102cc9190610e6a565b60405180910390f35b6102dd610a06565b6040516102ea9190610e6a565b60405180910390f35b6102fb610a18565b6040516103089190610d16565b60405180910390f35b61032b60048036038101906103269190610d8e565b610a51565b6040516103389190610de6565b60405180910390f35b610349610ae7565b6040516103569190610c8d565b60405180910390f35b61037960048036038101906103749190610eae565b610aed565b6040516103869190610c8d565b60405180910390f35b7f000000000000000000000000000000000000000000000000000000000000000081565b5f60015f9054906101000a900460ff1660026103cf9190611048565b905090565b6040518060400160405280600581526020017f43696e6f7300000000000000000000000000000000000000000000000000000081525081565b5f8160065f3373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f8573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20819055508273ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925846040516104e89190610c8d565b60405180910390a36001905092915050565b5f610503610979565b90505f8111610547576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161053e906110dc565b60405180910390fd5b5f6103e860058361055891906110fa565b6105629190611168565b90505f81836105719190611198565b9050825f8082825461058391906111cb565b925050819055508060055f3373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f8282546105d691906111cb565b925050819055503373ffffffffffffffffffffffffffffffffffffffff165f73ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef8360405161063a9190610c8d565b60405180910390a38160055f7f000000000000000000000000000000000000000000000000000000000000000073ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f8282546106ae91906111cb565b925050819055506106bd6103b3565b600454436106cb9190611198565b6106d591906111fe565b436106e09190611198565b600481905550505050565b5f5481565b5f8160055f8673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20541015610771576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161076890611278565b60405180910390fd5b8160065f8673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f3373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f2054101561082c576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610823906112e0565b60405180910390fd5b8160065f8673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f3373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f8282546108b39190611198565b925050819055506108c5848484610b0d565b600190509392505050565b601281565b60035443106109775760015f81819054906101000a900460ff16809291906108fc906112fe565b91906101000a81548160ff021916908360ff160217905550504360028190555062a082a04361092b91906111cb565b6003819055507f2275430a9d1a5ceebab3cea39eaf5de4e2dd0786cdba1b9802f27944b8814f0c60015f9054906101000a900460ff1660405161096e9190610e6a565b60405180910390a15b565b5f80600454436109899190611198565b90506109936103b3565b8110156109a3575f9150506109cd565b670de0b6b3a76400006109b46103b3565b826109bf9190611168565b6109c991906110fa565b9150505b90565b60025481565b60035481565b6005602052805f5260405f205f915090505481565b5f60015f9054906101000a900460ff16905090565b60015f9054906101000a900460ff1681565b6040518060400160405280600381526020017f434e53000000000000000000000000000000000000000000000000000000000081525081565b5f8160055f3373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20541015610ad2576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610ac990611278565b60405180910390fd5b610add338484610b0d565b6001905092915050565b60045481565b6006602052815f5260405f20602052805f5260405f205f91509150505481565b8060055f8573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f828254610b599190611198565b925050819055508060055f8473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f828254610bac91906111cb565b925050819055508173ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef83604051610c109190610c8d565b60405180910390a3505050565b5f73ffffffffffffffffffffffffffffffffffffffff82169050919050565b5f610c4682610c1d565b9050919050565b610c5681610c3c565b82525050565b5f602082019050610c6f5f830184610c4d565b92915050565b5f819050919050565b610c8781610c75565b82525050565b5f602082019050610ca05f830184610c7e565b92915050565b5f81519050919050565b5f82825260208201905092915050565b8281835e5f83830152505050565b5f601f19601f8301169050919050565b5f610ce882610ca6565b610cf28185610cb0565b9350610d02818560208601610cc0565b610d0b81610cce565b840191505092915050565b5f6020820190508181035f830152610d2e8184610cde565b905092915050565b5f80fd5b610d4381610c3c565b8114610d4d575f80fd5b50565b5f81359050610d5e81610d3a565b92915050565b610d6d81610c75565b8114610d77575f80fd5b50565b5f81359050610d8881610d64565b92915050565b5f8060408385031215610da457610da3610d36565b5b5f610db185828601610d50565b9250506020610dc285828601610d7a565b9150509250929050565b5f8115159050919050565b610de081610dcc565b82525050565b5f602082019050610df95f830184610dd7565b92915050565b5f805f60608486031215610e1657610e15610d36565b5b5f610e2386828701610d50565b9350506020610e3486828701610d50565b9250506040610e4586828701610d7a565b9150509250925092565b5f60ff82169050919050565b610e6481610e4f565b82525050565b5f602082019050610e7d5f830184610e5b565b92915050565b5f60208284031215610e9857610e97610d36565b5b5f610ea584828501610d50565b91505092915050565b5f8060408385031215610ec457610ec3610d36565b5b5f610ed185828601610d50565b9250506020610ee285828601610d50565b9150509250929050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52601160045260245ffd5b5f8160011c9050919050565b5f808291508390505b6001851115610f6e57808604811115610f4a57610f49610eec565b5b6001851615610f595780820291505b8081029050610f6785610f19565b9450610f2e565b94509492505050565b5f82610f865760019050611041565b81610f93575f9050611041565b8160018114610fa95760028114610fb357610fe2565b6001915050611041565b60ff841115610fc557610fc4610eec565b5b8360020a915084821115610fdc57610fdb610eec565b5b50611041565b5060208310610133831016604e8410600b84101617156110175782820a90508381111561101257611011610eec565b5b611041565b6110248484846001610f25565b9250905081840481111561103b5761103a610eec565b5b81810290505b9392505050565b5f61105282610c75565b915061105d83610e4f565b925061108a7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff8484610f77565b905092915050565b7f4e6f7468696e6720746f206d696e7400000000000000000000000000000000005f82015250565b5f6110c6600f83610cb0565b91506110d182611092565b602082019050919050565b5f6020820190508181035f8301526110f3816110ba565b9050919050565b5f61110482610c75565b915061110f83610c75565b925082820261111d81610c75565b9150828204841483151761113457611133610eec565b5b5092915050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52601260045260245ffd5b5f61117282610c75565b915061117d83610c75565b92508261118d5761118c61113b565b5b828204905092915050565b5f6111a282610c75565b91506111ad83610c75565b92508282039050818111156111c5576111c4610eec565b5b92915050565b5f6111d582610c75565b91506111e083610c75565b92508282019050808211156111f8576111f7610eec565b5b92915050565b5f61120882610c75565b915061121383610c75565b9250826112235761122261113b565b5b828206905092915050565b7f496e73756666696369656e742062616c616e63650000000000000000000000005f82015250565b5f611262601483610cb0565b915061126d8261122e565b602082019050919050565b5f6020820190508181035f83015261128f81611256565b9050919050565b7f496e73756666696369656e7420616c6c6f77616e6365000000000000000000005f82015250565b5f6112ca601683610cb0565b91506112d582611296565b602082019050919050565b5f6020820190508181035f8301526112f7816112be565b9050919050565b5f61130882610e4f565b915060ff820361131b5761131a610eec565b5b60018201905091905056fea264697066735822122081783f88dd047457480b6cb40dbbdb03f91e86663468b6c7688844390bb7ea4564736f6c634300081a0033

0x608060405234801561000f575f80fd5b506004361061011f575f3560e01c80634bf365df116100ab578063900cf0cf1161006f578063900cf0cf146102d557806395d89b41146102f3578063a9059cbb14610311578063cb6b8f0e14610341578063dd62ed3e1461035f5761011f565b80634bf365df1461022d5780634f719b691461024b578063653cab4f1461026957806370a082311461028757806376671808146102b75761011f565b80631249c58b116100f25780631249c58b146101ad57806318160ddd146101b757806323b872dd146101d5578063313ce56714610205578063461fc5f6146102235761011f565b806302d05d3f14610123578063039cfbf51461014157806306fdde031461015f578063095ea7b31461017d575b5f80fd5b61012b61038f565b6040516101389190610c5c565b60405180910390f35b6101496103b3565b6040516101569190610c8d565b60405180910390f35b6101676103d4565b6040516101749190610d16565b60405180910390f35b61019760048036038101906101929190610d8e565b61040d565b6040516101a49190610de6565b60405180910390f35b6101b56104fa565b005b6101bf6106eb565b6040516101cc9190610c8d565b60405180910390f35b6101ef60048036038101906101ea9190610dff565b6106f0565b6040516101fc9190610de6565b60405180910390f35b61020d6108d0565b60405161021a9190610e6a565b60405180910390f35b61022b6108d5565b005b610235610979565b6040516102429190610c8d565b60405180910390f35b6102536109d0565b6040516102609190610c8d565b60405180910390f35b6102716109d6565b60405161027e9190610c8d565b60405180910390f35b6102a1600480360381019061029c9190610e83565b6109dc565b6040516102ae9190610c8d565b60405180910390f35b6102bf6109f1565b6040516102cc9190610e6a565b60405180910390f35b6102dd610a06565b6040516102ea9190610e6a565b60405180910390f35b6102fb610a18565b6040516103089190610d16565b60405180910390f35b61032b60048036038101906103269190610d8e565b610a51565b6040516103389190610de6565b60405180910390f35b610349610ae7565b6040516103569190610c8d565b60405180910390f35b61037960048036038101906103749190610eae565b610aed565b6040516103869190610c8d565b60405180910390f35b7f0000000000000000000000000dd6118090eae3a4dc1ca4305f6580a14f3bf9a781565b5f60015f9054906101000a900460ff1660026103cf9190611048565b905090565b6040518060400160405280600581526020017f43696e6f7300000000000000000000000000000000000000000000000000000081525081565b5f8160065f3373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f8573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20819055508273ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925846040516104e89190610c8d565b60405180910390a36001905092915050565b5f610503610979565b90505f8111610547576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161053e906110dc565b60405180910390fd5b5f6103e860058361055891906110fa565b6105629190611168565b90505f81836105719190611198565b9050825f8082825461058391906111cb565b925050819055508060055f3373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f8282546105d691906111cb565b925050819055503373ffffffffffffffffffffffffffffffffffffffff165f73ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef8360405161063a9190610c8d565b60405180910390a38160055f7f0000000000000000000000000dd6118090eae3a4dc1ca4305f6580a14f3bf9a773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f8282546106ae91906111cb565b925050819055506106bd6103b3565b600454436106cb9190611198565b6106d591906111fe565b436106e09190611198565b600481905550505050565b5f5481565b5f8160055f8673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20541015610771576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161076890611278565b60405180910390fd5b8160065f8673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f3373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f2054101561082c576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610823906112e0565b60405180910390fd5b8160065f8673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f3373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f8282546108b39190611198565b925050819055506108c5848484610b0d565b600190509392505050565b601281565b60035443106109775760015f81819054906101000a900460ff16809291906108fc906112fe565b91906101000a81548160ff021916908360ff160217905550504360028190555062a082a04361092b91906111cb565b6003819055507f2275430a9d1a5ceebab3cea39eaf5de4e2dd0786cdba1b9802f27944b8814f0c60015f9054906101000a900460ff1660405161096e9190610e6a565b60405180910390a15b565b5f80600454436109899190611198565b90506109936103b3565b8110156109a3575f9150506109cd565b670de0b6b3a76400006109b46103b3565b826109bf9190611168565b6109c991906110fa565b9150505b90565b60025481565b60035481565b6005602052805f5260405f205f915090505481565b5f60015f9054906101000a900460ff16905090565b60015f9054906101000a900460ff1681565b6040518060400160405280600381526020017f434e53000000000000000000000000000000000000000000000000000000000081525081565b5f8160055f3373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20541015610ad2576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610ac990611278565b60405180910390fd5b610add338484610b0d565b6001905092915050565b60045481565b6006602052815f5260405f20602052805f5260405f205f91509150505481565b8060055f8573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f828254610b599190611198565b925050819055508060055f8473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f828254610bac91906111cb565b925050819055508173ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef83604051610c109190610c8d565b60405180910390a3505050565b5f73ffffffffffffffffffffffffffffffffffffffff82169050919050565b5f610c4682610c1d565b9050919050565b610c5681610c3c565b82525050565b5f602082019050610c6f5f830184610c4d565b92915050565b5f819050919050565b610c8781610c75565b82525050565b5f602082019050610ca05f830184610c7e565b92915050565b5f81519050919050565b5f82825260208201905092915050565b8281835e5f83830152505050565b5f601f19601f8301169050919050565b5f610ce882610ca6565b610cf28185610cb0565b9350610d02818560208601610cc0565b610d0b81610cce565b840191505092915050565b5f6020820190508181035f830152610d2e8184610cde565b905092915050565b5f80fd5b610d4381610c3c565b8114610d4d575f80fd5b50565b5f81359050610d5e81610d3a565b92915050565b610d6d81610c75565b8114610d77575f80fd5b50565b5f81359050610d8881610d64565b92915050565b5f8060408385031215610da457610da3610d36565b5b5f610db185828601610d50565b9250506020610dc285828601610d7a565b9150509250929050565b5f8115159050919050565b610de081610dcc565b82525050565b5f602082019050610df95f830184610dd7565b92915050565b5f805f60608486031215610e1657610e15610d36565b5b5f610e2386828701610d50565b9350506020610e3486828701610d50565b9250506040610e4586828701610d7a565b9150509250925092565b5f60ff82169050919050565b610e6481610e4f565b82525050565b5f602082019050610e7d5f830184610e5b565b92915050565b5f60208284031215610e9857610e97610d36565b5b5f610ea584828501610d50565b91505092915050565b5f8060408385031215610ec457610ec3610d36565b5b5f610ed185828601610d50565b9250506020610ee285828601610d50565b9150509250929050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52601160045260245ffd5b5f8160011c9050919050565b5f808291508390505b6001851115610f6e57808604811115610f4a57610f49610eec565b5b6001851615610f595780820291505b8081029050610f6785610f19565b9450610f2e565b94509492505050565b5f82610f865760019050611041565b81610f93575f9050611041565b8160018114610fa95760028114610fb357610fe2565b6001915050611041565b60ff841115610fc557610fc4610eec565b5b8360020a915084821115610fdc57610fdb610eec565b5b50611041565b5060208310610133831016604e8410600b84101617156110175782820a90508381111561101257611011610eec565b5b611041565b6110248484846001610f25565b9250905081840481111561103b5761103a610eec565b5b81810290505b9392505050565b5f61105282610c75565b915061105d83610e4f565b925061108a7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff8484610f77565b905092915050565b7f4e6f7468696e6720746f206d696e7400000000000000000000000000000000005f82015250565b5f6110c6600f83610cb0565b91506110d182611092565b602082019050919050565b5f6020820190508181035f8301526110f3816110ba565b9050919050565b5f61110482610c75565b915061110f83610c75565b925082820261111d81610c75565b9150828204841483151761113457611133610eec565b5b5092915050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52601260045260245ffd5b5f61117282610c75565b915061117d83610c75565b92508261118d5761118c61113b565b5b828204905092915050565b5f6111a282610c75565b91506111ad83610c75565b92508282039050818111156111c5576111c4610eec565b5b92915050565b5f6111d582610c75565b91506111e083610c75565b92508282019050808211156111f8576111f7610eec565b5b92915050565b5f61120882610c75565b915061121383610c75565b9250826112235761122261113b565b5b828206905092915050565b7f496e73756666696369656e742062616c616e63650000000000000000000000005f82015250565b5f611262601483610cb0565b915061126d8261122e565b602082019050919050565b5f6020820190508181035f83015261128f81611256565b9050919050565b7f496e73756666696369656e7420616c6c6f77616e6365000000000000000000005f82015250565b5f6112ca601683610cb0565b91506112d582611296565b602082019050919050565b5f6020820190508181035f8301526112f7816112be565b9050919050565b5f61130882610e4f565b915060ff820361131b5761131a610eec565b5b60018201905091905056fea264697066735822122081783f88dd047457480b6cb40dbbdb03f91e86663468b6c7688844390bb7ea4564736f6c634300081a0033

657:3526:0:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;987:32;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;3501:90;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;679:37;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;2080:208;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;2667:534;;;:::i;:::-;;811:26;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;2296:363;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;767:35;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;3599:286;;;:::i;:::-;;3209:284;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;869:32;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;908;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;1028:44;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;4097:83;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;844:18;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;723:37;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;1853:219;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;947:31;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;1079:64;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;987:32;;;:::o;3501:90::-;3548:7;3578:5;;;;;;;;;;;3575:1;:8;;;;:::i;:::-;3568:15;;3501:90;:::o;679:37::-;;;;;;;;;;;;;;;;;;;:::o;2080:208::-;2147:4;2198:6;2164:9;:21;2174:10;2164:21;;;;;;;;;;;;;;;:31;2186:8;2164:31;;;;;;;;;;;;;;;:40;;;;2241:8;2220:38;;2229:10;2220:38;;;2251:6;2220:38;;;;;;:::i;:::-;;;;;;;;2276:4;2269:11;;2080:208;;;;:::o;2667:534::-;2701:20;2724:10;:8;:10::i;:::-;2701:33;;2768:1;2753:12;:16;2745:44;;;;;;;;;;;;:::i;:::-;;;;;;;;;2802:11;2852:4;1458:1;2817:12;:31;;;;:::i;:::-;2816:40;;;;:::i;:::-;2802:54;;2867:18;2903:3;2888:12;:18;;;;:::i;:::-;2867:39;;2934:12;2919:11;;:27;;;;;;;:::i;:::-;;;;;;;;2984:10;2959:9;:21;2969:10;2959:21;;;;;;;;;;;;;;;;:35;;;;;;;:::i;:::-;;;;;;;;3031:10;3010:44;;3027:1;3010:44;;;3043:10;3010:44;;;;;;:::i;:::-;;;;;;;;3089:3;3067:9;:18;3077:7;3067:18;;;;;;;;;;;;;;;;:25;;;;;;;:::i;:::-;;;;;;;;3176:16;:14;:16::i;:::-;3156;;3141:12;:31;;;;:::i;:::-;3140:52;;;;:::i;:::-;3124:12;:69;;;;:::i;:::-;3105:16;:88;;;;2690:511;;;2667:534::o;811:26::-;;;;:::o;2296:363::-;2378:4;2423:6;2403:9;:16;2413:5;2403:16;;;;;;;;;;;;;;;;:26;;2395:59;;;;;;;;;;;;:::i;:::-;;;;;;;;;2505:6;2473:9;:16;2483:5;2473:16;;;;;;;;;;;;;;;:28;2490:10;2473:28;;;;;;;;;;;;;;;;:38;;2465:73;;;;;;;;;;;;:::i;:::-;;;;;;;;;2583:6;2551:9;:16;2561:5;2551:16;;;;;;;;;;;;;;;:28;2568:10;2551:28;;;;;;;;;;;;;;;;:38;;;;;;;:::i;:::-;;;;;;;;2600:29;2610:5;2617:3;2622:6;2600:9;:29::i;:::-;2647:4;2640:11;;2296:363;;;;;:::o;767:35::-;800:2;767:35;:::o;3599:286::-;3669:17;;3653:12;:33;3649:229;;3703:5;;:7;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;3745:12;3725:17;:32;;;;1395:8;3792:12;:32;;;;:::i;:::-;3772:17;:52;;;;3846:20;3860:5;;;;;;;;;;;3846:20;;;;;;:::i;:::-;;;;;;;;3649:229;3599:286::o;3209:284::-;3250:20;3283;3321:16;;3306:12;:31;;;;:::i;:::-;3283:54;;3367:16;:14;:16::i;:::-;3352:12;:31;3348:72;;;3407:1;3400:8;;;;;3348:72;3481:4;3461:16;:14;:16::i;:::-;3446:12;:31;;;;:::i;:::-;3445:40;;;;:::i;:::-;3430:55;;3272:221;3209:284;;:::o;869:32::-;;;;:::o;908:::-;;;;:::o;1028:44::-;;;;;;;;;;;;;;;;;:::o;4097:83::-;4142:5;4167;;;;;;;;;;;4160:12;;4097:83;:::o;844:18::-;;;;;;;;;;;;;:::o;723:37::-;;;;;;;;;;;;;;;;;;;:::o;1853:219::-;1916:4;1966:6;1941:9;:21;1951:10;1941:21;;;;;;;;;;;;;;;;:31;;1933:64;;;;;;;;;;;;:::i;:::-;;;;;;;;;2008:34;2018:10;2030:3;2035:6;2008:9;:34::i;:::-;2060:4;2053:11;;1853:219;;;;:::o;947:31::-;;;;:::o;1079:64::-;;;;;;;;;;;;;;;;;;;;;;;;;;:::o;3893:196::-;3996:6;3976:9;:16;3986:5;3976:16;;;;;;;;;;;;;;;;:26;;;;;;;:::i;:::-;;;;;;;;4031:6;4013:9;:14;4023:3;4013:14;;;;;;;;;;;;;;;;:24;;;;;;;:::i;:::-;;;;;;;;4069:3;4053:28;;4062:5;4053:28;;;4074:6;4053:28;;;;;;:::i;:::-;;;;;;;;3893:196;;;:::o;7:126:1:-;44:7;84:42;77:5;73:54;62:65;;7:126;;;:::o;139:96::-;176:7;205:24;223:5;205:24;:::i;:::-;194:35;;139:96;;;:::o;241:118::-;328:24;346:5;328:24;:::i;:::-;323:3;316:37;241:118;;:::o;365:222::-;458:4;496:2;485:9;481:18;473:26;;509:71;577:1;566:9;562:17;553:6;509:71;:::i;:::-;365:222;;;;:::o;593:77::-;630:7;659:5;648:16;;593:77;;;:::o;676:118::-;763:24;781:5;763:24;:::i;:::-;758:3;751:37;676:118;;:::o;800:222::-;893:4;931:2;920:9;916:18;908:26;;944:71;1012:1;1001:9;997:17;988:6;944:71;:::i;:::-;800:222;;;;:::o;1028:99::-;1080:6;1114:5;1108:12;1098:22;;1028:99;;;:::o;1133:169::-;1217:11;1251:6;1246:3;1239:19;1291:4;1286:3;1282:14;1267:29;;1133:169;;;;:::o;1308:139::-;1397:6;1392:3;1387;1381:23;1438:1;1429:6;1424:3;1420:16;1413:27;1308:139;;;:::o;1453:102::-;1494:6;1545:2;1541:7;1536:2;1529:5;1525:14;1521:28;1511:38;;1453:102;;;:::o;1561:377::-;1649:3;1677:39;1710:5;1677:39;:::i;:::-;1732:71;1796:6;1791:3;1732:71;:::i;:::-;1725:78;;1812:65;1870:6;1865:3;1858:4;1851:5;1847:16;1812:65;:::i;:::-;1902:29;1924:6;1902:29;:::i;:::-;1897:3;1893:39;1886:46;;1653:285;1561:377;;;;:::o;1944:313::-;2057:4;2095:2;2084:9;2080:18;2072:26;;2144:9;2138:4;2134:20;2130:1;2119:9;2115:17;2108:47;2172:78;2245:4;2236:6;2172:78;:::i;:::-;2164:86;;1944:313;;;;:::o;2344:117::-;2453:1;2450;2443:12;2590:122;2663:24;2681:5;2663:24;:::i;:::-;2656:5;2653:35;2643:63;;2702:1;2699;2692:12;2643:63;2590:122;:::o;2718:139::-;2764:5;2802:6;2789:20;2780:29;;2818:33;2845:5;2818:33;:::i;:::-;2718:139;;;;:::o;2863:122::-;2936:24;2954:5;2936:24;:::i;:::-;2929:5;2926:35;2916:63;;2975:1;2972;2965:12;2916:63;2863:122;:::o;2991:139::-;3037:5;3075:6;3062:20;3053:29;;3091:33;3118:5;3091:33;:::i;:::-;2991:139;;;;:::o;3136:474::-;3204:6;3212;3261:2;3249:9;3240:7;3236:23;3232:32;3229:119;;;3267:79;;:::i;:::-;3229:119;3387:1;3412:53;3457:7;3448:6;3437:9;3433:22;3412:53;:::i;:::-;3402:63;;3358:117;3514:2;3540:53;3585:7;3576:6;3565:9;3561:22;3540:53;:::i;:::-;3530:63;;3485:118;3136:474;;;;;:::o;3616:90::-;3650:7;3693:5;3686:13;3679:21;3668:32;;3616:90;;;:::o;3712:109::-;3793:21;3808:5;3793:21;:::i;:::-;3788:3;3781:34;3712:109;;:::o;3827:210::-;3914:4;3952:2;3941:9;3937:18;3929:26;;3965:65;4027:1;4016:9;4012:17;4003:6;3965:65;:::i;:::-;3827:210;;;;:::o;4043:619::-;4120:6;4128;4136;4185:2;4173:9;4164:7;4160:23;4156:32;4153:119;;;4191:79;;:::i;:::-;4153:119;4311:1;4336:53;4381:7;4372:6;4361:9;4357:22;4336:53;:::i;:::-;4326:63;;4282:117;4438:2;4464:53;4509:7;4500:6;4489:9;4485:22;4464:53;:::i;:::-;4454:63;;4409:118;4566:2;4592:53;4637:7;4628:6;4617:9;4613:22;4592:53;:::i;:::-;4582:63;;4537:118;4043:619;;;;;:::o;4668:86::-;4703:7;4743:4;4736:5;4732:16;4721:27;;4668:86;;;:::o;4760:112::-;4843:22;4859:5;4843:22;:::i;:::-;4838:3;4831:35;4760:112;;:::o;4878:214::-;4967:4;5005:2;4994:9;4990:18;4982:26;;5018:67;5082:1;5071:9;5067:17;5058:6;5018:67;:::i;:::-;4878:214;;;;:::o;5098:329::-;5157:6;5206:2;5194:9;5185:7;5181:23;5177:32;5174:119;;;5212:79;;:::i;:::-;5174:119;5332:1;5357:53;5402:7;5393:6;5382:9;5378:22;5357:53;:::i;:::-;5347:63;;5303:117;5098:329;;;;:::o;5433:474::-;5501:6;5509;5558:2;5546:9;5537:7;5533:23;5529:32;5526:119;;;5564:79;;:::i;:::-;5526:119;5684:1;5709:53;5754:7;5745:6;5734:9;5730:22;5709:53;:::i;:::-;5699:63;;5655:117;5811:2;5837:53;5882:7;5873:6;5862:9;5858:22;5837:53;:::i;:::-;5827:63;;5782:118;5433:474;;;;;:::o;5913:180::-;5961:77;5958:1;5951:88;6058:4;6055:1;6048:15;6082:4;6079:1;6072:15;6099:102;6141:8;6188:5;6185:1;6181:13;6160:34;;6099:102;;;:::o;6207:848::-;6268:5;6275:4;6299:6;6290:15;;6323:5;6314:14;;6337:712;6358:1;6348:8;6345:15;6337:712;;;6453:4;6448:3;6444:14;6438:4;6435:24;6432:50;;;6462:18;;:::i;:::-;6432:50;6512:1;6502:8;6498:16;6495:451;;;6927:4;6920:5;6916:16;6907:25;;6495:451;6977:4;6971;6967:15;6959:23;;7007:32;7030:8;7007:32;:::i;:::-;6995:44;;6337:712;;;6207:848;;;;;;;:::o;7061:1073::-;7115:5;7306:8;7296:40;;7327:1;7318:10;;7329:5;;7296:40;7355:4;7345:36;;7372:1;7363:10;;7374:5;;7345:36;7441:4;7489:1;7484:27;;;;7525:1;7520:191;;;;7434:277;;7484:27;7502:1;7493:10;;7504:5;;;7520:191;7565:3;7555:8;7552:17;7549:43;;;7572:18;;:::i;:::-;7549:43;7621:8;7618:1;7614:16;7605:25;;7656:3;7649:5;7646:14;7643:40;;;7663:18;;:::i;:::-;7643:40;7696:5;;;7434:277;;7820:2;7810:8;7807:16;7801:3;7795:4;7792:13;7788:36;7770:2;7760:8;7757:16;7752:2;7746:4;7743:12;7739:35;7723:111;7720:246;;;7876:8;7870:4;7866:19;7857:28;;7911:3;7904:5;7901:14;7898:40;;;7918:18;;:::i;:::-;7898:40;7951:5;;7720:246;7991:42;8029:3;8019:8;8013:4;8010:1;7991:42;:::i;:::-;7976:57;;;;8065:4;8060:3;8056:14;8049:5;8046:25;8043:51;;;8074:18;;:::i;:::-;8043:51;8123:4;8116:5;8112:16;8103:25;;7061:1073;;;;;;:::o;8140:281::-;8198:5;8222:23;8240:4;8222:23;:::i;:::-;8214:31;;8266:25;8282:8;8266:25;:::i;:::-;8254:37;;8310:104;8347:66;8337:8;8331:4;8310:104;:::i;:::-;8301:113;;8140:281;;;;:::o;8427:165::-;8567:17;8563:1;8555:6;8551:14;8544:41;8427:165;:::o;8598:366::-;8740:3;8761:67;8825:2;8820:3;8761:67;:::i;:::-;8754:74;;8837:93;8926:3;8837:93;:::i;:::-;8955:2;8950:3;8946:12;8939:19;;8598:366;;;:::o;8970:419::-;9136:4;9174:2;9163:9;9159:18;9151:26;;9223:9;9217:4;9213:20;9209:1;9198:9;9194:17;9187:47;9251:131;9377:4;9251:131;:::i;:::-;9243:139;;8970:419;;;:::o;9395:410::-;9435:7;9458:20;9476:1;9458:20;:::i;:::-;9453:25;;9492:20;9510:1;9492:20;:::i;:::-;9487:25;;9547:1;9544;9540:9;9569:30;9587:11;9569:30;:::i;:::-;9558:41;;9748:1;9739:7;9735:15;9732:1;9729:22;9709:1;9702:9;9682:83;9659:139;;9778:18;;:::i;:::-;9659:139;9443:362;9395:410;;;;:::o;9811:180::-;9859:77;9856:1;9849:88;9956:4;9953:1;9946:15;9980:4;9977:1;9970:15;9997:185;10037:1;10054:20;10072:1;10054:20;:::i;:::-;10049:25;;10088:20;10106:1;10088:20;:::i;:::-;10083:25;;10127:1;10117:35;;10132:18;;:::i;:::-;10117:35;10174:1;10171;10167:9;10162:14;;9997:185;;;;:::o;10188:194::-;10228:4;10248:20;10266:1;10248:20;:::i;:::-;10243:25;;10282:20;10300:1;10282:20;:::i;:::-;10277:25;;10326:1;10323;10319:9;10311:17;;10350:1;10344:4;10341:11;10338:37;;;10355:18;;:::i;:::-;10338:37;10188:194;;;;:::o;10388:191::-;10428:3;10447:20;10465:1;10447:20;:::i;:::-;10442:25;;10481:20;10499:1;10481:20;:::i;:::-;10476:25;;10524:1;10521;10517:9;10510:16;;10545:3;10542:1;10539:10;10536:36;;;10552:18;;:::i;:::-;10536:36;10388:191;;;;:::o;10585:176::-;10617:1;10634:20;10652:1;10634:20;:::i;:::-;10629:25;;10668:20;10686:1;10668:20;:::i;:::-;10663:25;;10707:1;10697:35;;10712:18;;:::i;:::-;10697:35;10753:1;10750;10746:9;10741:14;;10585:176;;;;:::o;10767:170::-;10907:22;10903:1;10895:6;10891:14;10884:46;10767:170;:::o;10943:366::-;11085:3;11106:67;11170:2;11165:3;11106:67;:::i;:::-;11099:74;;11182:93;11271:3;11182:93;:::i;:::-;11300:2;11295:3;11291:12;11284:19;;10943:366;;;:::o;11315:419::-;11481:4;11519:2;11508:9;11504:18;11496:26;;11568:9;11562:4;11558:20;11554:1;11543:9;11539:17;11532:47;11596:131;11722:4;11596:131;:::i;:::-;11588:139;;11315:419;;;:::o;11740:172::-;11880:24;11876:1;11868:6;11864:14;11857:48;11740:172;:::o;11918:366::-;12060:3;12081:67;12145:2;12140:3;12081:67;:::i;:::-;12074:74;;12157:93;12246:3;12157:93;:::i;:::-;12275:2;12270:3;12266:12;12259:19;;11918:366;;;:::o;12290:419::-;12456:4;12494:2;12483:9;12479:18;12471:26;;12543:9;12537:4;12533:20;12529:1;12518:9;12514:17;12507:47;12571:131;12697:4;12571:131;:::i;:::-;12563:139;;12290:419;;;:::o;12715:167::-;12752:3;12775:22;12791:5;12775:22;:::i;:::-;12766:31;;12819:4;12812:5;12809:15;12806:41;;12827:18;;:::i;:::-;12806:41;12874:1;12867:5;12863:13;12856:20;;12715:167;;;:::o

ipfs://81783f88dd047457480b6cb40dbbdb03f91e86663468b6c7688844390bb7ea45