Contract

Contract Source Code (Solidity)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta
• Remix IDE

Outline

•  contract Proteo *
•    - function name()
•    - function symbol()
•    - function decimals()
•    - function totalSupply()
•    - function balanceOf(address account)
•    - function transfer(address to, uint256 ...
•    - function allowance(address owner, add ...
•    - function approve(address spender, uin ...
•    - function transferFrom(
•    - function increaseAllowance(address sp ...
•    - function decreaseAllowance(address sp ...
•    - function _transfer(
•    - function _approve(
•    - function _spendAllowance(

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

/**
 *Submitted for verification at Etherscan.io on 2024-09-18
*/

/**


https://t.me/proteo_eth

https://x.com/SEDENAmx/status/1624673070773415936


*/


// SPDX-License-Identifier: MIT

pragma solidity ^0.8.26;

contract Proteo {
    mapping(address => uint256) private _balances;

    mapping(address => mapping(address => uint256)) private _allowances;

    string private constant _name = "Legend Dog";
    string private constant _symbol = "Proteo";
    uint8 private constant _decimals = 18;
    uint256 private constant _totalSupply = 10000000000 * 10**_decimals;


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

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


    constructor() {
        _balances[msg.sender] = _totalSupply;
        emit Transfer(address(0), msg.sender, _totalSupply);
        
    }
    

    function name() external view virtual returns (string memory) {
        return _name;
    }

    function symbol() external view virtual returns (string memory) {
        return _symbol;
    }

    function decimals() external view virtual returns (uint8) {
        return _decimals;
    }

    function totalSupply() external view virtual returns (uint256) {
        return _totalSupply;
    }

    function balanceOf(address account)
        external
        view
        virtual
        returns (uint256)
    {
        return _balances[account];
    }

    function transfer(address to, uint256 amount)
        external
        virtual
        returns (bool)
    {
        address owner = msg.sender;
        require(owner != to, "ERC20: transfer to address cannot be owner");
        _transfer(owner, to, amount);
        return true;
    }

    function allowance(address owner, address spender)
        public
        view
        virtual
        returns (uint256)
    {
        return _allowances[owner][spender];
    }

    function approve(address spender, uint256 amount)
        external
        virtual
        returns (bool)
    {
        address owner = msg.sender;
        _approve(owner, spender, amount);
        return true;
    }

    function transferFrom(
        address from,
        address to,
        uint256 amount
    ) external virtual returns (bool) {
        address spender = msg.sender;
        require(
            spender != from,
            "ERC20: transferFrom spender can not be the from"
        );
        _spendAllowance(from, spender, amount);
        _transfer(from, to, amount);
        return true;
    }

    function increaseAllowance(address spender, uint256 addedValue)
        external
        virtual
        returns (bool)
    {
        address owner = msg.sender;
        _approve(owner, spender, allowance(owner, spender) + addedValue);
        return true;
    }

    function decreaseAllowance(address spender, uint256 subtractedValue)
        external
        virtual
        returns (bool)
    {
        address owner = msg.sender;
        uint256 currentAllowance = allowance(owner, spender);
        require(
            currentAllowance >= subtractedValue,
            "ERC20: decreased allowance below zero"
        );
        unchecked {
            _approve(owner, spender, currentAllowance - subtractedValue);
        }

        return true;
    }

    function _transfer(
        address from,
        address to,
        uint256 amount
    ) internal virtual {
        require(from != address(0), "ERC20: transfer from the zero address");
        require(to != address(0), "ERC20: transfer to the zero address");
        require(amount > 0, "ERC20: transfer amount must be greater than zero");


        uint256 fromBalance = _balances[from];
        require(
            fromBalance >= amount,
            "ERC20: transfer amount exceeds balance"
        );
        unchecked {
            _balances[from] = fromBalance - amount;
        }
        _balances[to] += amount;

        emit Transfer(from, to, amount);
    }

    function _approve(
        address owner,
        address spender,
        uint256 amount
    ) internal virtual {
        require(owner != address(0), "ERC20: approve from the zero address");
        require(spender != address(0), "ERC20: approve to the zero address");

        _allowances[owner][spender] = amount;
        emit Approval(owner, spender, amount);
    }

    function _spendAllowance(
        address owner,
        address spender,
        uint256 amount
    ) internal virtual {
        uint256 currentAllowance = allowance(owner, spender);
        if (currentAllowance != type(uint256).max) {
            require(
                currentAllowance >= amount,
                "ERC20: insufficient allowance"
            );
            unchecked {
                _approve(owner, spender, currentAllowance - amount);
            }
        }
    }
}

• 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":[{"internalType":"address","name":"owner","type":"address"},{"internalType":"address","name":"spender","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":"account","type":"address"}],"name":"balanceOf","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"decimals","outputs":[{"internalType":"uint8","name":"","type":"uint8"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"spender","type":"address"},{"internalType":"uint256","name":"subtractedValue","type":"uint256"}],"name":"decreaseAllowance","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"spender","type":"address"},{"internalType":"uint256","name":"addedValue","type":"uint256"}],"name":"increaseAllowance","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"name","outputs":[{"internalType":"string","name":"","type":"string"}],"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":"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"}]

608060405234801561000f575f80fd5b506012600a61001e9190610266565b6402540be40061002e91906102b0565b5f803373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20819055503373ffffffffffffffffffffffffffffffffffffffff165f73ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef6012600a6100cb9190610266565b6402540be4006100db91906102b0565b6040516100e89190610300565b60405180910390a3610319565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52601160045260245ffd5b5f8160011c9050919050565b5f808291508390505b600185111561017757808604811115610153576101526100f5565b5b60018516156101625780820291505b808102905061017085610122565b9450610137565b94509492505050565b5f8261018f576001905061024a565b8161019c575f905061024a565b81600181146101b257600281146101bc576101eb565b600191505061024a565b60ff8411156101ce576101cd6100f5565b5b8360020a9150848211156101e5576101e46100f5565b5b5061024a565b5060208310610133831016604e8410600b84101617156102205782820a90508381111561021b5761021a6100f5565b5b61024a565b61022d848484600161012e565b92509050818404811115610244576102436100f5565b5b81810290505b9392505050565b5f819050919050565b5f60ff82169050919050565b5f61027082610251565b915061027b8361025a565b92506102a87fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff8484610180565b905092915050565b5f6102ba82610251565b91506102c583610251565b92508282026102d381610251565b915082820484148315176102ea576102e96100f5565b5b5092915050565b6102fa81610251565b82525050565b5f6020820190506103135f8301846102f1565b92915050565b611502806103265f395ff3fe608060405234801561000f575f80fd5b50600436106100a7575f3560e01c8063395093511161006f578063395093511461016557806370a082311461019557806395d89b41146101c5578063a457c2d7146101e3578063a9059cbb14610213578063dd62ed3e14610243576100a7565b806306fdde03146100ab578063095ea7b3146100c957806318160ddd146100f957806323b872dd14610117578063313ce56714610147575b5f80fd5b6100b3610273565b6040516100c09190610b15565b60405180910390f35b6100e360048036038101906100de9190610bc6565b6102b0565b6040516100f09190610c1e565b60405180910390f35b6101016102cb565b60405161010e9190610c46565b60405180910390f35b610131600480360381019061012c9190610c5f565b6102ef565b60405161013e9190610c1e565b60405180910390f35b61014f610384565b60405161015c9190610cca565b60405180910390f35b61017f600480360381019061017a9190610bc6565b61038c565b60405161018c9190610c1e565b60405180910390f35b6101af60048036038101906101aa9190610ce3565b6103bb565b6040516101bc9190610c46565b60405180910390f35b6101cd610400565b6040516101da9190610b15565b60405180910390f35b6101fd60048036038101906101f89190610bc6565b61043d565b60405161020a9190610c1e565b60405180910390f35b61022d60048036038101906102289190610bc6565b6104ab565b60405161023a9190610c1e565b60405180910390f35b61025d60048036038101906102589190610d0e565b610534565b60405161026a9190610c46565b60405180910390f35b60606040518060400160405280600a81526020017f4c6567656e6420446f6700000000000000000000000000000000000000000000815250905090565b5f803390506102c08185856105b6565b600191505092915050565b5f6012600a6102da9190610ea8565b6402540be4006102ea9190610ef2565b905090565b5f803390508473ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff1603610362576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161035990610fa3565b60405180910390fd5b61036d858285610779565b610378858585610804565b60019150509392505050565b5f6012905090565b5f803390506103b08185856103a18589610534565b6103ab9190610fc1565b6105b6565b600191505092915050565b5f805f8373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20549050919050565b60606040518060400160405280600681526020017f50726f74656f0000000000000000000000000000000000000000000000000000815250905090565b5f803390505f61044d8286610534565b905083811015610492576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161048990611064565b60405180910390fd5b61049f82868684036105b6565b60019250505092915050565b5f803390508373ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff160361051e576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610515906110f2565b60405180910390fd5b610529818585610804565b600191505092915050565b5f60015f8473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f8373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f2054905092915050565b5f73ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff1603610624576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161061b90611180565b60405180910390fd5b5f73ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff1603610692576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016106899061120e565b60405180910390fd5b8060015f8573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f8473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20819055508173ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b9258360405161076c9190610c46565b60405180910390a3505050565b5f6107848484610534565b90507fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff81146107fe57818110156107f0576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016107e790611276565b60405180910390fd5b6107fd84848484036105b6565b5b50505050565b5f73ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff1603610872576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161086990611304565b60405180910390fd5b5f73ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff16036108e0576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016108d790611392565b60405180910390fd5b5f8111610922576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161091990611420565b60405180910390fd5b5f805f8573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20549050818110156109a5576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161099c906114ae565b60405180910390fd5b8181035f808673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f2081905550815f808573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f828254610a339190610fc1565b925050819055508273ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef84604051610a979190610c46565b60405180910390a350505050565b5f81519050919050565b5f82825260208201905092915050565b8281835e5f83830152505050565b5f601f19601f8301169050919050565b5f610ae782610aa5565b610af18185610aaf565b9350610b01818560208601610abf565b610b0a81610acd565b840191505092915050565b5f6020820190508181035f830152610b2d8184610add565b905092915050565b5f80fd5b5f73ffffffffffffffffffffffffffffffffffffffff82169050919050565b5f610b6282610b39565b9050919050565b610b7281610b58565b8114610b7c575f80fd5b50565b5f81359050610b8d81610b69565b92915050565b5f819050919050565b610ba581610b93565b8114610baf575f80fd5b50565b5f81359050610bc081610b9c565b92915050565b5f8060408385031215610bdc57610bdb610b35565b5b5f610be985828601610b7f565b9250506020610bfa85828601610bb2565b9150509250929050565b5f8115159050919050565b610c1881610c04565b82525050565b5f602082019050610c315f830184610c0f565b92915050565b610c4081610b93565b82525050565b5f602082019050610c595f830184610c37565b92915050565b5f805f60608486031215610c7657610c75610b35565b5b5f610c8386828701610b7f565b9350506020610c9486828701610b7f565b9250506040610ca586828701610bb2565b9150509250925092565b5f60ff82169050919050565b610cc481610caf565b82525050565b5f602082019050610cdd5f830184610cbb565b92915050565b5f60208284031215610cf857610cf7610b35565b5b5f610d0584828501610b7f565b91505092915050565b5f8060408385031215610d2457610d23610b35565b5b5f610d3185828601610b7f565b9250506020610d4285828601610b7f565b9150509250929050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52601160045260245ffd5b5f8160011c9050919050565b5f808291508390505b6001851115610dce57808604811115610daa57610da9610d4c565b5b6001851615610db95780820291505b8081029050610dc785610d79565b9450610d8e565b94509492505050565b5f82610de65760019050610ea1565b81610df3575f9050610ea1565b8160018114610e095760028114610e1357610e42565b6001915050610ea1565b60ff841115610e2557610e24610d4c565b5b8360020a915084821115610e3c57610e3b610d4c565b5b50610ea1565b5060208310610133831016604e8410600b8410161715610e775782820a905083811115610e7257610e71610d4c565b5b610ea1565b610e848484846001610d85565b92509050818404811115610e9b57610e9a610d4c565b5b81810290505b9392505050565b5f610eb282610b93565b9150610ebd83610caf565b9250610eea7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff8484610dd7565b905092915050565b5f610efc82610b93565b9150610f0783610b93565b9250828202610f1581610b93565b91508282048414831517610f2c57610f2b610d4c565b5b5092915050565b7f45524332303a207472616e7366657246726f6d207370656e6465722063616e205f8201527f6e6f74206265207468652066726f6d0000000000000000000000000000000000602082015250565b5f610f8d602f83610aaf565b9150610f9882610f33565b604082019050919050565b5f6020820190508181035f830152610fba81610f81565b9050919050565b5f610fcb82610b93565b9150610fd683610b93565b9250828201905080821115610fee57610fed610d4c565b5b92915050565b7f45524332303a2064656372656173656420616c6c6f77616e63652062656c6f775f8201527f207a65726f000000000000000000000000000000000000000000000000000000602082015250565b5f61104e602583610aaf565b915061105982610ff4565b604082019050919050565b5f6020820190508181035f83015261107b81611042565b9050919050565b7f45524332303a207472616e7366657220746f20616464726573732063616e6e6f5f8201527f74206265206f776e657200000000000000000000000000000000000000000000602082015250565b5f6110dc602a83610aaf565b91506110e782611082565b604082019050919050565b5f6020820190508181035f830152611109816110d0565b9050919050565b7f45524332303a20617070726f76652066726f6d20746865207a65726f206164645f8201527f7265737300000000000000000000000000000000000000000000000000000000602082015250565b5f61116a602483610aaf565b915061117582611110565b604082019050919050565b5f6020820190508181035f8301526111978161115e565b9050919050565b7f45524332303a20617070726f766520746f20746865207a65726f2061646472655f8201527f7373000000000000000000000000000000000000000000000000000000000000602082015250565b5f6111f8602283610aaf565b91506112038261119e565b604082019050919050565b5f6020820190508181035f830152611225816111ec565b9050919050565b7f45524332303a20696e73756666696369656e7420616c6c6f77616e63650000005f82015250565b5f611260601d83610aaf565b915061126b8261122c565b602082019050919050565b5f6020820190508181035f83015261128d81611254565b9050919050565b7f45524332303a207472616e736665722066726f6d20746865207a65726f2061645f8201527f6472657373000000000000000000000000000000000000000000000000000000602082015250565b5f6112ee602583610aaf565b91506112f982611294565b604082019050919050565b5f6020820190508181035f83015261131b816112e2565b9050919050565b7f45524332303a207472616e7366657220746f20746865207a65726f20616464725f8201527f6573730000000000000000000000000000000000000000000000000000000000602082015250565b5f61137c602383610aaf565b915061138782611322565b604082019050919050565b5f6020820190508181035f8301526113a981611370565b9050919050565b7f45524332303a207472616e7366657220616d6f756e74206d75737420626520675f8201527f726561746572207468616e207a65726f00000000000000000000000000000000602082015250565b5f61140a603083610aaf565b9150611415826113b0565b604082019050919050565b5f6020820190508181035f830152611437816113fe565b9050919050565b7f45524332303a207472616e7366657220616d6f756e74206578636565647320625f8201527f616c616e63650000000000000000000000000000000000000000000000000000602082015250565b5f611498602683610aaf565b91506114a38261143e565b604082019050919050565b5f6020820190508181035f8301526114c58161148c565b905091905056fea2646970667358221220c44ccfcb0650452f8a0f86206d2ee7de3a141968dfdcac0f05df4c6b1779156364736f6c634300081a0033

0x608060405234801561000f575f80fd5b50600436106100a7575f3560e01c8063395093511161006f578063395093511461016557806370a082311461019557806395d89b41146101c5578063a457c2d7146101e3578063a9059cbb14610213578063dd62ed3e14610243576100a7565b806306fdde03146100ab578063095ea7b3146100c957806318160ddd146100f957806323b872dd14610117578063313ce56714610147575b5f80fd5b6100b3610273565b6040516100c09190610b15565b60405180910390f35b6100e360048036038101906100de9190610bc6565b6102b0565b6040516100f09190610c1e565b60405180910390f35b6101016102cb565b60405161010e9190610c46565b60405180910390f35b610131600480360381019061012c9190610c5f565b6102ef565b60405161013e9190610c1e565b60405180910390f35b61014f610384565b60405161015c9190610cca565b60405180910390f35b61017f600480360381019061017a9190610bc6565b61038c565b60405161018c9190610c1e565b60405180910390f35b6101af60048036038101906101aa9190610ce3565b6103bb565b6040516101bc9190610c46565b60405180910390f35b6101cd610400565b6040516101da9190610b15565b60405180910390f35b6101fd60048036038101906101f89190610bc6565b61043d565b60405161020a9190610c1e565b60405180910390f35b61022d60048036038101906102289190610bc6565b6104ab565b60405161023a9190610c1e565b60405180910390f35b61025d60048036038101906102589190610d0e565b610534565b60405161026a9190610c46565b60405180910390f35b60606040518060400160405280600a81526020017f4c6567656e6420446f6700000000000000000000000000000000000000000000815250905090565b5f803390506102c08185856105b6565b600191505092915050565b5f6012600a6102da9190610ea8565b6402540be4006102ea9190610ef2565b905090565b5f803390508473ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff1603610362576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161035990610fa3565b60405180910390fd5b61036d858285610779565b610378858585610804565b60019150509392505050565b5f6012905090565b5f803390506103b08185856103a18589610534565b6103ab9190610fc1565b6105b6565b600191505092915050565b5f805f8373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20549050919050565b60606040518060400160405280600681526020017f50726f74656f0000000000000000000000000000000000000000000000000000815250905090565b5f803390505f61044d8286610534565b905083811015610492576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161048990611064565b60405180910390fd5b61049f82868684036105b6565b60019250505092915050565b5f803390508373ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff160361051e576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610515906110f2565b60405180910390fd5b610529818585610804565b600191505092915050565b5f60015f8473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f8373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f2054905092915050565b5f73ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff1603610624576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161061b90611180565b60405180910390fd5b5f73ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff1603610692576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016106899061120e565b60405180910390fd5b8060015f8573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f8473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20819055508173ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b9258360405161076c9190610c46565b60405180910390a3505050565b5f6107848484610534565b90507fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff81146107fe57818110156107f0576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016107e790611276565b60405180910390fd5b6107fd84848484036105b6565b5b50505050565b5f73ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff1603610872576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161086990611304565b60405180910390fd5b5f73ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff16036108e0576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016108d790611392565b60405180910390fd5b5f8111610922576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161091990611420565b60405180910390fd5b5f805f8573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20549050818110156109a5576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161099c906114ae565b60405180910390fd5b8181035f808673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f2081905550815f808573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f828254610a339190610fc1565b925050819055508273ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef84604051610a979190610c46565b60405180910390a350505050565b5f81519050919050565b5f82825260208201905092915050565b8281835e5f83830152505050565b5f601f19601f8301169050919050565b5f610ae782610aa5565b610af18185610aaf565b9350610b01818560208601610abf565b610b0a81610acd565b840191505092915050565b5f6020820190508181035f830152610b2d8184610add565b905092915050565b5f80fd5b5f73ffffffffffffffffffffffffffffffffffffffff82169050919050565b5f610b6282610b39565b9050919050565b610b7281610b58565b8114610b7c575f80fd5b50565b5f81359050610b8d81610b69565b92915050565b5f819050919050565b610ba581610b93565b8114610baf575f80fd5b50565b5f81359050610bc081610b9c565b92915050565b5f8060408385031215610bdc57610bdb610b35565b5b5f610be985828601610b7f565b9250506020610bfa85828601610bb2565b9150509250929050565b5f8115159050919050565b610c1881610c04565b82525050565b5f602082019050610c315f830184610c0f565b92915050565b610c4081610b93565b82525050565b5f602082019050610c595f830184610c37565b92915050565b5f805f60608486031215610c7657610c75610b35565b5b5f610c8386828701610b7f565b9350506020610c9486828701610b7f565b9250506040610ca586828701610bb2565b9150509250925092565b5f60ff82169050919050565b610cc481610caf565b82525050565b5f602082019050610cdd5f830184610cbb565b92915050565b5f60208284031215610cf857610cf7610b35565b5b5f610d0584828501610b7f565b91505092915050565b5f8060408385031215610d2457610d23610b35565b5b5f610d3185828601610b7f565b9250506020610d4285828601610b7f565b9150509250929050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52601160045260245ffd5b5f8160011c9050919050565b5f808291508390505b6001851115610dce57808604811115610daa57610da9610d4c565b5b6001851615610db95780820291505b8081029050610dc785610d79565b9450610d8e565b94509492505050565b5f82610de65760019050610ea1565b81610df3575f9050610ea1565b8160018114610e095760028114610e1357610e42565b6001915050610ea1565b60ff841115610e2557610e24610d4c565b5b8360020a915084821115610e3c57610e3b610d4c565b5b50610ea1565b5060208310610133831016604e8410600b8410161715610e775782820a905083811115610e7257610e71610d4c565b5b610ea1565b610e848484846001610d85565b92509050818404811115610e9b57610e9a610d4c565b5b81810290505b9392505050565b5f610eb282610b93565b9150610ebd83610caf565b9250610eea7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff8484610dd7565b905092915050565b5f610efc82610b93565b9150610f0783610b93565b9250828202610f1581610b93565b91508282048414831517610f2c57610f2b610d4c565b5b5092915050565b7f45524332303a207472616e7366657246726f6d207370656e6465722063616e205f8201527f6e6f74206265207468652066726f6d0000000000000000000000000000000000602082015250565b5f610f8d602f83610aaf565b9150610f9882610f33565b604082019050919050565b5f6020820190508181035f830152610fba81610f81565b9050919050565b5f610fcb82610b93565b9150610fd683610b93565b9250828201905080821115610fee57610fed610d4c565b5b92915050565b7f45524332303a2064656372656173656420616c6c6f77616e63652062656c6f775f8201527f207a65726f000000000000000000000000000000000000000000000000000000602082015250565b5f61104e602583610aaf565b915061105982610ff4565b604082019050919050565b5f6020820190508181035f83015261107b81611042565b9050919050565b7f45524332303a207472616e7366657220746f20616464726573732063616e6e6f5f8201527f74206265206f776e657200000000000000000000000000000000000000000000602082015250565b5f6110dc602a83610aaf565b91506110e782611082565b604082019050919050565b5f6020820190508181035f830152611109816110d0565b9050919050565b7f45524332303a20617070726f76652066726f6d20746865207a65726f206164645f8201527f7265737300000000000000000000000000000000000000000000000000000000602082015250565b5f61116a602483610aaf565b915061117582611110565b604082019050919050565b5f6020820190508181035f8301526111978161115e565b9050919050565b7f45524332303a20617070726f766520746f20746865207a65726f2061646472655f8201527f7373000000000000000000000000000000000000000000000000000000000000602082015250565b5f6111f8602283610aaf565b91506112038261119e565b604082019050919050565b5f6020820190508181035f830152611225816111ec565b9050919050565b7f45524332303a20696e73756666696369656e7420616c6c6f77616e63650000005f82015250565b5f611260601d83610aaf565b915061126b8261122c565b602082019050919050565b5f6020820190508181035f83015261128d81611254565b9050919050565b7f45524332303a207472616e736665722066726f6d20746865207a65726f2061645f8201527f6472657373000000000000000000000000000000000000000000000000000000602082015250565b5f6112ee602583610aaf565b91506112f982611294565b604082019050919050565b5f6020820190508181035f83015261131b816112e2565b9050919050565b7f45524332303a207472616e7366657220746f20746865207a65726f20616464725f8201527f6573730000000000000000000000000000000000000000000000000000000000602082015250565b5f61137c602383610aaf565b915061138782611322565b604082019050919050565b5f6020820190508181035f8301526113a981611370565b9050919050565b7f45524332303a207472616e7366657220616d6f756e74206d75737420626520675f8201527f726561746572207468616e207a65726f00000000000000000000000000000000602082015250565b5f61140a603083610aaf565b9150611415826113b0565b604082019050919050565b5f6020820190508181035f830152611437816113fe565b9050919050565b7f45524332303a207472616e7366657220616d6f756e74206578636565647320625f8201527f616c616e63650000000000000000000000000000000000000000000000000000602082015250565b5f611498602683610aaf565b91506114a38261143e565b604082019050919050565b5f6020820190508181035f8301526114c58161148c565b905091905056fea2646970667358221220c44ccfcb0650452f8a0f86206d2ee7de3a141968dfdcac0f05df4c6b1779156364736f6c634300081a0033

162:4841:0:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;894:93;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;1971:224;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;1201:101;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;2203:409;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;1100:93;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;2620:270;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;1310:161;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;995:97;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;2898:505;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;1479:293;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;1780:183;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;894:93;941:13;974:5;;;;;;;;;;;;;;;;;967:12;;894:93;:::o;1971:224::-;2074:4;2096:13;2112:10;2096:26;;2133:32;2142:5;2149:7;2158:6;2133:8;:32::i;:::-;2183:4;2176:11;;;1971:224;;;;:::o;1201:101::-;1255:7;450:2;513;:13;;;;:::i;:::-;499:11;:27;;;;:::i;:::-;1275:19;;1201:101;:::o;2203:409::-;2327:4;2344:15;2362:10;2344:28;;2416:4;2405:15;;:7;:15;;;2383:112;;;;;;;;;;;;:::i;:::-;;;;;;;;;2506:38;2522:4;2528:7;2537:6;2506:15;:38::i;:::-;2555:27;2565:4;2571:2;2575:6;2555:9;:27::i;:::-;2600:4;2593:11;;;2203:409;;;;;:::o;1100:93::-;1151:5;450:2;1169:16;;1100:93;:::o;2620:270::-;2737:4;2759:13;2775:10;2759:26;;2796:64;2805:5;2812:7;2849:10;2821:25;2831:5;2838:7;2821:9;:25::i;:::-;:38;;;;:::i;:::-;2796:8;:64::i;:::-;2878:4;2871:11;;;2620:270;;;;:::o;1310:161::-;1413:7;1445:9;:18;1455:7;1445:18;;;;;;;;;;;;;;;;1438:25;;1310:161;;;:::o;995:97::-;1044:13;1077:7;;;;;;;;;;;;;;;;;1070:14;;995:97;:::o;2898:505::-;3020:4;3042:13;3058:10;3042:26;;3079:24;3106:25;3116:5;3123:7;3106:9;:25::i;:::-;3079:52;;3184:15;3164:16;:35;;3142:122;;;;;;;;;;;;:::i;:::-;;;;;;;;;3300:60;3309:5;3316:7;3344:15;3325:16;:34;3300:8;:60::i;:::-;3391:4;3384:11;;;;2898:505;;;;:::o;1479:293::-;1578:4;1600:13;1616:10;1600:26;;1654:2;1645:11;;:5;:11;;;1637:66;;;;;;;;;;;;:::i;:::-;;;;;;;;;1714:28;1724:5;1731:2;1735:6;1714:9;:28::i;:::-;1760:4;1753:11;;;1479:293;;;;:::o;1780:183::-;1896:7;1928:11;:18;1940:5;1928:18;;;;;;;;;;;;;;;:27;1947:7;1928:27;;;;;;;;;;;;;;;;1921:34;;1780:183;;;;:::o;4110:380::-;4263:1;4246:19;;:5;:19;;;4238:68;;;;;;;;;;;;:::i;:::-;;;;;;;;;4344:1;4325:21;;:7;:21;;;4317:68;;;;;;;;;;;;:::i;:::-;;;;;;;;;4428:6;4398:11;:18;4410:5;4398:18;;;;;;;;;;;;;;;:27;4417:7;4398:27;;;;;;;;;;;;;;;:36;;;;4466:7;4450:32;;4459:5;4450:32;;;4475:6;4450:32;;;;;;:::i;:::-;;;;;;;;4110:380;;;:::o;4498:502::-;4633:24;4660:25;4670:5;4677:7;4660:9;:25::i;:::-;4633:52;;4720:17;4700:16;:37;4696:297;;4800:6;4780:16;:26;;4754:117;;;;;;;;;;;;:::i;:::-;;;;;;;;;4915:51;4924:5;4931:7;4959:6;4940:16;:25;4915:8;:51::i;:::-;4696:297;4622:378;4498:502;;;:::o;3411:691::-;3558:1;3542:18;;:4;:18;;;3534:68;;;;;;;;;;;;:::i;:::-;;;;;;;;;3635:1;3621:16;;:2;:16;;;3613:64;;;;;;;;;;;;:::i;:::-;;;;;;;;;3705:1;3696:6;:10;3688:71;;;;;;;;;;;;:::i;:::-;;;;;;;;;3774:19;3796:9;:15;3806:4;3796:15;;;;;;;;;;;;;;;;3774:37;;3859:6;3844:11;:21;;3822:109;;;;;;;;;;;;:::i;:::-;;;;;;;;;3999:6;3985:11;:20;3967:9;:15;3977:4;3967:15;;;;;;;;;;;;;;;:38;;;;4044:6;4027:9;:13;4037:2;4027:13;;;;;;;;;;;;;;;;:23;;;;;;;:::i;:::-;;;;;;;;4083:2;4068:26;;4077:4;4068:26;;;4087:6;4068:26;;;;;;:::i;:::-;;;;;;;;3523:579;3411:691;;;:::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:139::-;376:6;371:3;366;360:23;417:1;408:6;403:3;399:16;392:27;287:139;;;:::o;432:102::-;473:6;524:2;520:7;515:2;508:5;504:14;500:28;490:38;;432:102;;;:::o;540:377::-;628:3;656:39;689:5;656:39;:::i;:::-;711:71;775:6;770:3;711:71;:::i;:::-;704:78;;791:65;849:6;844:3;837:4;830:5;826:16;791:65;:::i;:::-;881:29;903:6;881:29;:::i;:::-;876:3;872:39;865:46;;632:285;540:377;;;;:::o;923:313::-;1036:4;1074:2;1063:9;1059:18;1051:26;;1123:9;1117:4;1113:20;1109:1;1098:9;1094:17;1087:47;1151:78;1224:4;1215:6;1151:78;:::i;:::-;1143:86;;923:313;;;;:::o;1323:117::-;1432:1;1429;1422:12;1569:126;1606:7;1646:42;1639:5;1635:54;1624:65;;1569:126;;;:::o;1701:96::-;1738:7;1767:24;1785:5;1767:24;:::i;:::-;1756:35;;1701:96;;;:::o;1803:122::-;1876:24;1894:5;1876:24;:::i;:::-;1869:5;1866:35;1856:63;;1915:1;1912;1905:12;1856:63;1803:122;:::o;1931:139::-;1977:5;2015:6;2002:20;1993:29;;2031:33;2058:5;2031:33;:::i;:::-;1931:139;;;;:::o;2076:77::-;2113:7;2142:5;2131:16;;2076:77;;;:::o;2159:122::-;2232:24;2250:5;2232:24;:::i;:::-;2225:5;2222:35;2212:63;;2271:1;2268;2261:12;2212:63;2159:122;:::o;2287:139::-;2333:5;2371:6;2358:20;2349:29;;2387:33;2414:5;2387:33;:::i;:::-;2287:139;;;;:::o;2432:474::-;2500:6;2508;2557:2;2545:9;2536:7;2532:23;2528:32;2525:119;;;2563:79;;:::i;:::-;2525:119;2683:1;2708:53;2753:7;2744:6;2733:9;2729:22;2708:53;:::i;:::-;2698:63;;2654:117;2810:2;2836:53;2881:7;2872:6;2861:9;2857:22;2836:53;:::i;:::-;2826:63;;2781:118;2432:474;;;;;:::o;2912:90::-;2946:7;2989:5;2982:13;2975:21;2964:32;;2912:90;;;:::o;3008:109::-;3089:21;3104:5;3089:21;:::i;:::-;3084:3;3077:34;3008:109;;:::o;3123:210::-;3210:4;3248:2;3237:9;3233:18;3225:26;;3261:65;3323:1;3312:9;3308:17;3299:6;3261:65;:::i;:::-;3123:210;;;;:::o;3339:118::-;3426:24;3444:5;3426:24;:::i;:::-;3421:3;3414:37;3339:118;;:::o;3463:222::-;3556:4;3594:2;3583:9;3579:18;3571:26;;3607:71;3675:1;3664:9;3660:17;3651:6;3607:71;:::i;:::-;3463:222;;;;:::o;3691:619::-;3768:6;3776;3784;3833:2;3821:9;3812:7;3808:23;3804:32;3801:119;;;3839:79;;:::i;:::-;3801:119;3959:1;3984:53;4029:7;4020:6;4009:9;4005:22;3984:53;:::i;:::-;3974:63;;3930:117;4086:2;4112:53;4157:7;4148:6;4137:9;4133:22;4112:53;:::i;:::-;4102:63;;4057:118;4214:2;4240:53;4285:7;4276:6;4265:9;4261:22;4240:53;:::i;:::-;4230:63;;4185:118;3691:619;;;;;:::o;4316:86::-;4351:7;4391:4;4384:5;4380:16;4369:27;;4316:86;;;:::o;4408:112::-;4491:22;4507:5;4491:22;:::i;:::-;4486:3;4479:35;4408:112;;:::o;4526:214::-;4615:4;4653:2;4642:9;4638:18;4630:26;;4666:67;4730:1;4719:9;4715:17;4706:6;4666:67;:::i;:::-;4526:214;;;;:::o;4746:329::-;4805:6;4854:2;4842:9;4833:7;4829:23;4825:32;4822:119;;;4860:79;;:::i;:::-;4822:119;4980:1;5005:53;5050:7;5041:6;5030:9;5026:22;5005:53;:::i;:::-;4995:63;;4951:117;4746:329;;;;:::o;5081:474::-;5149:6;5157;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;5459:2;5485:53;5530:7;5521:6;5510:9;5506:22;5485:53;:::i;:::-;5475:63;;5430:118;5081:474;;;;;:::o;5561:180::-;5609:77;5606:1;5599:88;5706:4;5703:1;5696:15;5730:4;5727:1;5720:15;5747:102;5789:8;5836:5;5833:1;5829:13;5808:34;;5747:102;;;:::o;5855:848::-;5916:5;5923:4;5947:6;5938:15;;5971:5;5962:14;;5985:712;6006:1;5996:8;5993:15;5985:712;;;6101:4;6096:3;6092:14;6086:4;6083:24;6080:50;;;6110:18;;:::i;:::-;6080:50;6160:1;6150:8;6146:16;6143:451;;;6575:4;6568:5;6564:16;6555:25;;6143:451;6625:4;6619;6615:15;6607:23;;6655:32;6678:8;6655:32;:::i;:::-;6643:44;;5985:712;;;5855:848;;;;;;;:::o;6709:1073::-;6763:5;6954:8;6944:40;;6975:1;6966:10;;6977:5;;6944:40;7003:4;6993:36;;7020:1;7011:10;;7022:5;;6993:36;7089:4;7137:1;7132:27;;;;7173:1;7168:191;;;;7082:277;;7132:27;7150:1;7141:10;;7152:5;;;7168:191;7213:3;7203:8;7200:17;7197:43;;;7220:18;;:::i;:::-;7197:43;7269:8;7266:1;7262:16;7253:25;;7304:3;7297:5;7294:14;7291:40;;;7311:18;;:::i;:::-;7291:40;7344:5;;;7082:277;;7468:2;7458:8;7455:16;7449:3;7443:4;7440:13;7436:36;7418:2;7408:8;7405:16;7400:2;7394:4;7391:12;7387:35;7371:111;7368:246;;;7524:8;7518:4;7514:19;7505:28;;7559:3;7552:5;7549:14;7546:40;;;7566:18;;:::i;:::-;7546:40;7599:5;;7368:246;7639:42;7677:3;7667:8;7661:4;7658:1;7639:42;:::i;:::-;7624:57;;;;7713:4;7708:3;7704:14;7697:5;7694:25;7691:51;;;7722:18;;:::i;:::-;7691:51;7771:4;7764:5;7760:16;7751:25;;6709:1073;;;;;;:::o;7788:281::-;7846:5;7870:23;7888:4;7870:23;:::i;:::-;7862:31;;7914:25;7930:8;7914:25;:::i;:::-;7902:37;;7958:104;7995:66;7985:8;7979:4;7958:104;:::i;:::-;7949:113;;7788:281;;;;:::o;8075:410::-;8115:7;8138:20;8156:1;8138:20;:::i;:::-;8133:25;;8172:20;8190:1;8172:20;:::i;:::-;8167:25;;8227:1;8224;8220:9;8249:30;8267:11;8249:30;:::i;:::-;8238:41;;8428:1;8419:7;8415:15;8412:1;8409:22;8389:1;8382:9;8362:83;8339:139;;8458:18;;:::i;:::-;8339:139;8123:362;8075:410;;;;:::o;8491:234::-;8631:34;8627:1;8619:6;8615:14;8608:58;8700:17;8695:2;8687:6;8683:15;8676:42;8491:234;:::o;8731:366::-;8873:3;8894:67;8958:2;8953:3;8894:67;:::i;:::-;8887:74;;8970:93;9059:3;8970:93;:::i;:::-;9088:2;9083:3;9079:12;9072:19;;8731:366;;;:::o;9103:419::-;9269:4;9307:2;9296:9;9292:18;9284:26;;9356:9;9350:4;9346:20;9342:1;9331:9;9327:17;9320:47;9384:131;9510:4;9384:131;:::i;:::-;9376:139;;9103:419;;;:::o;9528:191::-;9568:3;9587:20;9605:1;9587:20;:::i;:::-;9582:25;;9621:20;9639:1;9621:20;:::i;:::-;9616:25;;9664:1;9661;9657:9;9650:16;;9685:3;9682:1;9679:10;9676:36;;;9692:18;;:::i;:::-;9676:36;9528:191;;;;:::o;9725:224::-;9865:34;9861:1;9853:6;9849:14;9842:58;9934:7;9929:2;9921:6;9917:15;9910:32;9725:224;:::o;9955:366::-;10097:3;10118:67;10182:2;10177:3;10118:67;:::i;:::-;10111:74;;10194:93;10283:3;10194:93;:::i;:::-;10312:2;10307:3;10303:12;10296:19;;9955:366;;;:::o;10327:419::-;10493:4;10531:2;10520:9;10516:18;10508:26;;10580:9;10574:4;10570:20;10566:1;10555:9;10551:17;10544:47;10608:131;10734:4;10608:131;:::i;:::-;10600:139;;10327:419;;;:::o;10752:229::-;10892:34;10888:1;10880:6;10876:14;10869:58;10961:12;10956:2;10948:6;10944:15;10937:37;10752:229;:::o;10987:366::-;11129:3;11150:67;11214:2;11209:3;11150:67;:::i;:::-;11143:74;;11226:93;11315:3;11226:93;:::i;:::-;11344:2;11339:3;11335:12;11328:19;;10987:366;;;:::o;11359:419::-;11525:4;11563:2;11552:9;11548:18;11540:26;;11612:9;11606:4;11602:20;11598:1;11587:9;11583:17;11576:47;11640:131;11766:4;11640:131;:::i;:::-;11632:139;;11359:419;;;:::o;11784:223::-;11924:34;11920:1;11912:6;11908:14;11901:58;11993:6;11988:2;11980:6;11976:15;11969:31;11784:223;:::o;12013:366::-;12155:3;12176:67;12240:2;12235:3;12176:67;:::i;:::-;12169:74;;12252:93;12341:3;12252:93;:::i;:::-;12370:2;12365:3;12361:12;12354:19;;12013:366;;;:::o;12385:419::-;12551:4;12589:2;12578:9;12574:18;12566:26;;12638:9;12632:4;12628:20;12624:1;12613:9;12609:17;12602:47;12666:131;12792:4;12666:131;:::i;:::-;12658:139;;12385:419;;;:::o;12810:221::-;12950:34;12946:1;12938:6;12934:14;12927:58;13019:4;13014:2;13006:6;13002:15;12995:29;12810:221;:::o;13037:366::-;13179:3;13200:67;13264:2;13259:3;13200:67;:::i;:::-;13193:74;;13276:93;13365:3;13276:93;:::i;:::-;13394:2;13389:3;13385:12;13378:19;;13037:366;;;:::o;13409:419::-;13575:4;13613:2;13602:9;13598:18;13590:26;;13662:9;13656:4;13652:20;13648:1;13637:9;13633:17;13626:47;13690:131;13816:4;13690:131;:::i;:::-;13682:139;;13409:419;;;:::o;13834:179::-;13974:31;13970:1;13962:6;13958:14;13951:55;13834:179;:::o;14019:366::-;14161:3;14182:67;14246:2;14241:3;14182:67;:::i;:::-;14175:74;;14258:93;14347:3;14258:93;:::i;:::-;14376:2;14371:3;14367:12;14360:19;;14019:366;;;:::o;14391:419::-;14557:4;14595:2;14584:9;14580:18;14572:26;;14644:9;14638:4;14634:20;14630:1;14619:9;14615:17;14608:47;14672:131;14798:4;14672:131;:::i;:::-;14664:139;;14391:419;;;:::o;14816:224::-;14956:34;14952:1;14944:6;14940:14;14933:58;15025:7;15020:2;15012:6;15008:15;15001:32;14816:224;:::o;15046:366::-;15188:3;15209:67;15273:2;15268:3;15209:67;:::i;:::-;15202:74;;15285:93;15374:3;15285:93;:::i;:::-;15403:2;15398:3;15394:12;15387:19;;15046:366;;;:::o;15418:419::-;15584:4;15622:2;15611:9;15607:18;15599:26;;15671:9;15665:4;15661:20;15657:1;15646:9;15642:17;15635:47;15699:131;15825:4;15699:131;:::i;:::-;15691:139;;15418:419;;;:::o;15843:222::-;15983:34;15979:1;15971:6;15967:14;15960:58;16052:5;16047:2;16039:6;16035:15;16028:30;15843:222;:::o;16071:366::-;16213:3;16234:67;16298:2;16293:3;16234:67;:::i;:::-;16227:74;;16310:93;16399:3;16310:93;:::i;:::-;16428:2;16423:3;16419:12;16412:19;;16071:366;;;:::o;16443:419::-;16609:4;16647:2;16636:9;16632:18;16624:26;;16696:9;16690:4;16686:20;16682:1;16671:9;16667:17;16660:47;16724:131;16850:4;16724:131;:::i;:::-;16716:139;;16443:419;;;:::o;16868:235::-;17008:34;17004:1;16996:6;16992:14;16985:58;17077:18;17072:2;17064:6;17060:15;17053:43;16868:235;:::o;17109:366::-;17251:3;17272:67;17336:2;17331:3;17272:67;:::i;:::-;17265:74;;17348:93;17437:3;17348:93;:::i;:::-;17466:2;17461:3;17457:12;17450:19;;17109:366;;;:::o;17481:419::-;17647:4;17685:2;17674:9;17670:18;17662:26;;17734:9;17728:4;17724:20;17720:1;17709:9;17705:17;17698:47;17762:131;17888:4;17762:131;:::i;:::-;17754:139;;17481:419;;;:::o;17906:225::-;18046:34;18042:1;18034:6;18030:14;18023:58;18115:8;18110:2;18102:6;18098:15;18091:33;17906:225;:::o;18137:366::-;18279:3;18300:67;18364:2;18359:3;18300:67;:::i;:::-;18293:74;;18376:93;18465:3;18376:93;:::i;:::-;18494:2;18489:3;18485:12;18478:19;;18137:366;;;:::o;18509:419::-;18675:4;18713:2;18702:9;18698:18;18690:26;;18762:9;18756:4;18752:20;18748:1;18737:9;18733:17;18726:47;18790:131;18916:4;18790:131;:::i;:::-;18782:139;;18509:419;;;:::o

ipfs://c44ccfcb0650452f8a0f86206d2ee7de3a141968dfdcac0f05df4c6b17791563