Contract Source Code (Solidity)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

/**
 *Submitted for verification at BscScan.com on 2026-03-09
*/

// SPDX-License-Identifier: MIT
pragma solidity ^0.8.20;

/**
 * @title Vertex (VTX)
 * @notice Standard ERC20/BEP20-style token that can be deployed on EVM chains
 *         such as BNB Smart Chain (BSC), OKT Chain (OKTC), and X Layer.
 * @dev No tax / blacklist / mint-after-deploy / router binding.
 *      This keeps the contract chain-agnostic and easier to verify.
 */
contract VertexVTX {
    string public name = "Vertex";
    string public symbol = "VTX";
    uint8 public constant decimals = 6;

    // 10亿 * 10^6
    uint256 public constant INITIAL_SUPPLY_WHOLE = 1_000_000_000;
    uint256 private _totalSupply;

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

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

    constructor() {
        uint256 initial = INITIAL_SUPPLY_WHOLE * (10 ** uint256(decimals));
        _mint(msg.sender, initial);
    }

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

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

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

    function transfer(address to, uint256 amount) external returns (bool) {
        _transfer(msg.sender, to, amount);
        return true;
    }

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

    function transferFrom(address from, address to, uint256 amount) external returns (bool) {
        uint256 currentAllowance = _allowances[from][msg.sender];
        require(currentAllowance >= amount, "ERC20: insufficient allowance");

        unchecked {
            _approve(from, msg.sender, currentAllowance - amount);
        }
        _transfer(from, to, amount);
        return true;
    }

    /// @notice voluntary burn; no owner-only mint function
    function burn(uint256 amount) external returns (bool) {
        _burn(msg.sender, amount);
        return true;
    }

    function increaseAllowance(address spender, uint256 addedValue) external returns (bool) {
        _approve(msg.sender, spender, _allowances[msg.sender][spender] + addedValue);
        return true;
    }

    function decreaseAllowance(address spender, uint256 subtractedValue) external returns (bool) {
        uint256 currentAllowance = _allowances[msg.sender][spender];
        require(currentAllowance >= subtractedValue, "ERC20: decreased allowance below zero");

        unchecked {
            _approve(msg.sender, spender, currentAllowance - subtractedValue);
        }
        return true;
    }

    function _transfer(address from, address to, uint256 amount) internal {
        require(from != address(0), "ERC20: transfer from zero");
        require(to != address(0), "ERC20: transfer to zero");

        uint256 fromBalance = _balances[from];
        require(fromBalance >= amount, "ERC20: transfer exceeds balance");

        unchecked {
            _balances[from] = fromBalance - amount;
        }
        _balances[to] += amount;

        emit Transfer(from, to, amount);
    }

    function _mint(address account, uint256 amount) internal {
        require(account != address(0), "ERC20: mint to zero");

        _totalSupply += amount;
        _balances[account] += amount;

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

    function _burn(address account, uint256 amount) internal {
        require(account != address(0), "ERC20: burn from zero");

        uint256 accountBalance = _balances[account];
        require(accountBalance >= amount, "ERC20: burn exceeds balance");

        unchecked {
            _balances[account] = accountBalance - amount;
            _totalSupply -= amount;
        }

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

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

        _allowances[owner][spender] = amount;
        emit Approval(owner, spender, 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":[],"name":"INITIAL_SUPPLY_WHOLE","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"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":[{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"burn","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","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"}]

60806040526040518060400160405280600681526020017f56657274657800000000000000000000000000000000000000000000000000008152505f90816200004991906200048d565b506040518060400160405280600381526020017f5654580000000000000000000000000000000000000000000000000000000000815250600190816200009091906200048d565b503480156200009d575f80fd5b505f600660ff16600a620000b29190620006ee565b633b9aca00620000c391906200073e565b9050620000d73382620000de60201b60201c565b506200086c565b5f73ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff16036200014f576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016200014690620007e6565b60405180910390fd5b8060025f82825462000162919062000806565b925050819055508060035f8473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f828254620001b7919062000806565b925050819055508173ffffffffffffffffffffffffffffffffffffffff165f73ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef836040516200021d919062000851565b60405180910390a35050565b5f81519050919050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52604160045260245ffd5b7f4e487b71000000000000000000000000000000000000000000000000000000005f52602260045260245ffd5b5f6002820490506001821680620002a557607f821691505b602082108103620002bb57620002ba62000260565b5b50919050565b5f819050815f5260205f209050919050565b5f6020601f8301049050919050565b5f82821b905092915050565b5f600883026200031f7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff82620002e2565b6200032b8683620002e2565b95508019841693508086168417925050509392505050565b5f819050919050565b5f819050919050565b5f620003756200036f620003698462000343565b6200034c565b62000343565b9050919050565b5f819050919050565b620003908362000355565b620003a86200039f826200037c565b848454620002ee565b825550505050565b5f90565b620003be620003b0565b620003cb81848462000385565b505050565b5b81811015620003f257620003e65f82620003b4565b600181019050620003d1565b5050565b601f82111562000441576200040b81620002c1565b6200041684620002d3565b8101602085101562000426578190505b6200043e6200043585620002d3565b830182620003d0565b50505b505050565b5f82821c905092915050565b5f620004635f198460080262000446565b1980831691505092915050565b5f6200047d838362000452565b9150826002028217905092915050565b620004988262000229565b67ffffffffffffffff811115620004b457620004b362000233565b5b620004c082546200028d565b620004cd828285620003f6565b5f60209050601f83116001811462000503575f8415620004ee578287015190505b620004fa858262000470565b86555062000569565b601f1984166200051386620002c1565b5f5b828110156200053c5784890151825560018201915060208501945060208101905062000515565b868310156200055c578489015162000558601f89168262000452565b8355505b6001600288020188555050505b505050505050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52601160045260245ffd5b5f8160011c9050919050565b5f808291508390505b6001851115620005fb57808604811115620005d357620005d262000571565b5b6001851615620005e35780820291505b8081029050620005f3856200059e565b9450620005b3565b94509492505050565b5f82620006155760019050620006e7565b8162000624575f9050620006e7565b81600181146200063d576002811462000648576200067e565b6001915050620006e7565b60ff8411156200065d576200065c62000571565b5b8360020a91508482111562000677576200067662000571565b5b50620006e7565b5060208310610133831016604e8410600b8410161715620006b85782820a905083811115620006b257620006b162000571565b5b620006e7565b620006c78484846001620005aa565b92509050818404811115620006e157620006e062000571565b5b81810290505b9392505050565b5f620006fa8262000343565b9150620007078362000343565b9250620007367fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff848462000604565b905092915050565b5f6200074a8262000343565b9150620007578362000343565b9250828202620007678162000343565b9150828204841483151762000781576200078062000571565b5b5092915050565b5f82825260208201905092915050565b7f45524332303a206d696e7420746f207a65726f000000000000000000000000005f82015250565b5f620007ce60138362000788565b9150620007db8262000798565b602082019050919050565b5f6020820190508181035f830152620007ff81620007c0565b9050919050565b5f620008128262000343565b91506200081f8362000343565b92508282019050808211156200083a576200083962000571565b5b92915050565b6200084b8162000343565b82525050565b5f602082019050620008665f83018462000840565b92915050565b6114f2806200087a5f395ff3fe608060405234801561000f575f80fd5b50600436106100cd575f3560e01c806342966c681161008a57806395d89b411161006457806395d89b4114610239578063a457c2d714610257578063a9059cbb14610287578063dd62ed3e146102b7576100cd565b806342966c68146101bb57806370a08231146101eb57806375886f1d1461021b576100cd565b806306fdde03146100d1578063095ea7b3146100ef57806318160ddd1461011f57806323b872dd1461013d578063313ce5671461016d578063395093511461018b575b5f80fd5b6100d96102e7565b6040516100e69190610dcf565b60405180910390f35b61010960048036038101906101049190610e80565b610372565b6040516101169190610ed8565b60405180910390f35b610127610388565b6040516101349190610f00565b60405180910390f35b61015760048036038101906101529190610f19565b610391565b6040516101649190610ed8565b60405180910390f35b610175610475565b6040516101829190610f84565b60405180910390f35b6101a560048036038101906101a09190610e80565b61047a565b6040516101b29190610ed8565b60405180910390f35b6101d560048036038101906101d09190610f9d565b610513565b6040516101e29190610ed8565b60405180910390f35b61020560048036038101906102009190610fc8565b610527565b6040516102129190610f00565b60405180910390f35b61022361056d565b6040516102309190610f00565b60405180910390f35b610241610575565b60405161024e9190610dcf565b60405180910390f35b610271600480360381019061026c9190610e80565b610601565b60405161027e9190610ed8565b60405180910390f35b6102a1600480360381019061029c9190610e80565b6106d9565b6040516102ae9190610ed8565b60405180910390f35b6102d160048036038101906102cc9190610ff3565b6106ef565b6040516102de9190610f00565b60405180910390f35b5f80546102f39061105e565b80601f016020809104026020016040519081016040528092919081815260200182805461031f9061105e565b801561036a5780601f106103415761010080835404028352916020019161036a565b820191905f5260205f20905b81548152906001019060200180831161034d57829003601f168201915b505050505081565b5f61037e338484610771565b6001905092915050565b5f600254905090565b5f8060045f8673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f3373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f2054905082811015610451576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610448906110d8565b60405180910390fd5b61045e8533858403610771565b610469858585610934565b60019150509392505050565b600681565b5f61050933848460045f3373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f8873ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20546105049190611123565b610771565b6001905092915050565b5f61051e3383610b96565b60019050919050565b5f60035f8373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20549050919050565b633b9aca0081565b600180546105829061105e565b80601f01602080910402602001604051908101604052809291908181526020018280546105ae9061105e565b80156105f95780601f106105d0576101008083540402835291602001916105f9565b820191905f5260205f20905b8154815290600101906020018083116105dc57829003601f168201915b505050505081565b5f8060045f3373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f8573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20549050828110156106c1576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016106b8906111c6565b60405180910390fd5b6106ce3385858403610771565b600191505092915050565b5f6106e5338484610934565b6001905092915050565b5f60045f8473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f8373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f2054905092915050565b5f73ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff16036107df576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016107d69061122e565b60405180910390fd5b5f73ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff160361084d576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161084490611296565b60405180910390fd5b8060045f8573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f8473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20819055508173ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925836040516109279190610f00565b60405180910390a3505050565b5f73ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff16036109a2576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610999906112fe565b60405180910390fd5b5f73ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff1603610a10576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610a0790611366565b60405180910390fd5b5f60035f8573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f2054905081811015610a94576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610a8b906113ce565b60405180910390fd5b81810360035f8673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20819055508160035f8573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f828254610b249190611123565b925050819055508273ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef84604051610b889190610f00565b60405180910390a350505050565b5f73ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff1603610c04576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610bfb90611436565b60405180910390fd5b5f60035f8473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f2054905081811015610c88576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610c7f9061149e565b60405180910390fd5b81810360035f8573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20819055508160025f82825403925050819055505f73ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef84604051610d389190610f00565b60405180910390a3505050565b5f81519050919050565b5f82825260208201905092915050565b5f5b83811015610d7c578082015181840152602081019050610d61565b5f8484015250505050565b5f601f19601f8301169050919050565b5f610da182610d45565b610dab8185610d4f565b9350610dbb818560208601610d5f565b610dc481610d87565b840191505092915050565b5f6020820190508181035f830152610de78184610d97565b905092915050565b5f80fd5b5f73ffffffffffffffffffffffffffffffffffffffff82169050919050565b5f610e1c82610df3565b9050919050565b610e2c81610e12565b8114610e36575f80fd5b50565b5f81359050610e4781610e23565b92915050565b5f819050919050565b610e5f81610e4d565b8114610e69575f80fd5b50565b5f81359050610e7a81610e56565b92915050565b5f8060408385031215610e9657610e95610def565b5b5f610ea385828601610e39565b9250506020610eb485828601610e6c565b9150509250929050565b5f8115159050919050565b610ed281610ebe565b82525050565b5f602082019050610eeb5f830184610ec9565b92915050565b610efa81610e4d565b82525050565b5f602082019050610f135f830184610ef1565b92915050565b5f805f60608486031215610f3057610f2f610def565b5b5f610f3d86828701610e39565b9350506020610f4e86828701610e39565b9250506040610f5f86828701610e6c565b9150509250925092565b5f60ff82169050919050565b610f7e81610f69565b82525050565b5f602082019050610f975f830184610f75565b92915050565b5f60208284031215610fb257610fb1610def565b5b5f610fbf84828501610e6c565b91505092915050565b5f60208284031215610fdd57610fdc610def565b5b5f610fea84828501610e39565b91505092915050565b5f806040838503121561100957611008610def565b5b5f61101685828601610e39565b925050602061102785828601610e39565b9150509250929050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52602260045260245ffd5b5f600282049050600182168061107557607f821691505b60208210810361108857611087611031565b5b50919050565b7f45524332303a20696e73756666696369656e7420616c6c6f77616e63650000005f82015250565b5f6110c2601d83610d4f565b91506110cd8261108e565b602082019050919050565b5f6020820190508181035f8301526110ef816110b6565b9050919050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52601160045260245ffd5b5f61112d82610e4d565b915061113883610e4d565b92508282019050808211156111505761114f6110f6565b5b92915050565b7f45524332303a2064656372656173656420616c6c6f77616e63652062656c6f775f8201527f207a65726f000000000000000000000000000000000000000000000000000000602082015250565b5f6111b0602583610d4f565b91506111bb82611156565b604082019050919050565b5f6020820190508181035f8301526111dd816111a4565b9050919050565b7f45524332303a20617070726f76652066726f6d207a65726f00000000000000005f82015250565b5f611218601883610d4f565b9150611223826111e4565b602082019050919050565b5f6020820190508181035f8301526112458161120c565b9050919050565b7f45524332303a20617070726f766520746f207a65726f000000000000000000005f82015250565b5f611280601683610d4f565b915061128b8261124c565b602082019050919050565b5f6020820190508181035f8301526112ad81611274565b9050919050565b7f45524332303a207472616e736665722066726f6d207a65726f000000000000005f82015250565b5f6112e8601983610d4f565b91506112f3826112b4565b602082019050919050565b5f6020820190508181035f830152611315816112dc565b9050919050565b7f45524332303a207472616e7366657220746f207a65726f0000000000000000005f82015250565b5f611350601783610d4f565b915061135b8261131c565b602082019050919050565b5f6020820190508181035f83015261137d81611344565b9050919050565b7f45524332303a207472616e7366657220657863656564732062616c616e6365005f82015250565b5f6113b8601f83610d4f565b91506113c382611384565b602082019050919050565b5f6020820190508181035f8301526113e5816113ac565b9050919050565b7f45524332303a206275726e2066726f6d207a65726f00000000000000000000005f82015250565b5f611420601583610d4f565b915061142b826113ec565b602082019050919050565b5f6020820190508181035f83015261144d81611414565b9050919050565b7f45524332303a206275726e20657863656564732062616c616e636500000000005f82015250565b5f611488601b83610d4f565b915061149382611454565b602082019050919050565b5f6020820190508181035f8301526114b58161147c565b905091905056fea264697066735822122095e8b5d7a1baff2335876843666e8bfed0d9ede22bb9460cc98db1bee8558a9764736f6c63430008140033

0x608060405234801561000f575f80fd5b50600436106100cd575f3560e01c806342966c681161008a57806395d89b411161006457806395d89b4114610239578063a457c2d714610257578063a9059cbb14610287578063dd62ed3e146102b7576100cd565b806342966c68146101bb57806370a08231146101eb57806375886f1d1461021b576100cd565b806306fdde03146100d1578063095ea7b3146100ef57806318160ddd1461011f57806323b872dd1461013d578063313ce5671461016d578063395093511461018b575b5f80fd5b6100d96102e7565b6040516100e69190610dcf565b60405180910390f35b61010960048036038101906101049190610e80565b610372565b6040516101169190610ed8565b60405180910390f35b610127610388565b6040516101349190610f00565b60405180910390f35b61015760048036038101906101529190610f19565b610391565b6040516101649190610ed8565b60405180910390f35b610175610475565b6040516101829190610f84565b60405180910390f35b6101a560048036038101906101a09190610e80565b61047a565b6040516101b29190610ed8565b60405180910390f35b6101d560048036038101906101d09190610f9d565b610513565b6040516101e29190610ed8565b60405180910390f35b61020560048036038101906102009190610fc8565b610527565b6040516102129190610f00565b60405180910390f35b61022361056d565b6040516102309190610f00565b60405180910390f35b610241610575565b60405161024e9190610dcf565b60405180910390f35b610271600480360381019061026c9190610e80565b610601565b60405161027e9190610ed8565b60405180910390f35b6102a1600480360381019061029c9190610e80565b6106d9565b6040516102ae9190610ed8565b60405180910390f35b6102d160048036038101906102cc9190610ff3565b6106ef565b6040516102de9190610f00565b60405180910390f35b5f80546102f39061105e565b80601f016020809104026020016040519081016040528092919081815260200182805461031f9061105e565b801561036a5780601f106103415761010080835404028352916020019161036a565b820191905f5260205f20905b81548152906001019060200180831161034d57829003601f168201915b505050505081565b5f61037e338484610771565b6001905092915050565b5f600254905090565b5f8060045f8673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f3373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f2054905082811015610451576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610448906110d8565b60405180910390fd5b61045e8533858403610771565b610469858585610934565b60019150509392505050565b600681565b5f61050933848460045f3373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f8873ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20546105049190611123565b610771565b6001905092915050565b5f61051e3383610b96565b60019050919050565b5f60035f8373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20549050919050565b633b9aca0081565b600180546105829061105e565b80601f01602080910402602001604051908101604052809291908181526020018280546105ae9061105e565b80156105f95780601f106105d0576101008083540402835291602001916105f9565b820191905f5260205f20905b8154815290600101906020018083116105dc57829003601f168201915b505050505081565b5f8060045f3373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f8573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20549050828110156106c1576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016106b8906111c6565b60405180910390fd5b6106ce3385858403610771565b600191505092915050565b5f6106e5338484610934565b6001905092915050565b5f60045f8473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f8373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f2054905092915050565b5f73ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff16036107df576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016107d69061122e565b60405180910390fd5b5f73ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff160361084d576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161084490611296565b60405180910390fd5b8060045f8573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f8473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20819055508173ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925836040516109279190610f00565b60405180910390a3505050565b5f73ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff16036109a2576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610999906112fe565b60405180910390fd5b5f73ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff1603610a10576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610a0790611366565b60405180910390fd5b5f60035f8573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f2054905081811015610a94576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610a8b906113ce565b60405180910390fd5b81810360035f8673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20819055508160035f8573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f828254610b249190611123565b925050819055508273ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef84604051610b889190610f00565b60405180910390a350505050565b5f73ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff1603610c04576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610bfb90611436565b60405180910390fd5b5f60035f8473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f2054905081811015610c88576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610c7f9061149e565b60405180910390fd5b81810360035f8573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20819055508160025f82825403925050819055505f73ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef84604051610d389190610f00565b60405180910390a3505050565b5f81519050919050565b5f82825260208201905092915050565b5f5b83811015610d7c578082015181840152602081019050610d61565b5f8484015250505050565b5f601f19601f8301169050919050565b5f610da182610d45565b610dab8185610d4f565b9350610dbb818560208601610d5f565b610dc481610d87565b840191505092915050565b5f6020820190508181035f830152610de78184610d97565b905092915050565b5f80fd5b5f73ffffffffffffffffffffffffffffffffffffffff82169050919050565b5f610e1c82610df3565b9050919050565b610e2c81610e12565b8114610e36575f80fd5b50565b5f81359050610e4781610e23565b92915050565b5f819050919050565b610e5f81610e4d565b8114610e69575f80fd5b50565b5f81359050610e7a81610e56565b92915050565b5f8060408385031215610e9657610e95610def565b5b5f610ea385828601610e39565b9250506020610eb485828601610e6c565b9150509250929050565b5f8115159050919050565b610ed281610ebe565b82525050565b5f602082019050610eeb5f830184610ec9565b92915050565b610efa81610e4d565b82525050565b5f602082019050610f135f830184610ef1565b92915050565b5f805f60608486031215610f3057610f2f610def565b5b5f610f3d86828701610e39565b9350506020610f4e86828701610e39565b9250506040610f5f86828701610e6c565b9150509250925092565b5f60ff82169050919050565b610f7e81610f69565b82525050565b5f602082019050610f975f830184610f75565b92915050565b5f60208284031215610fb257610fb1610def565b5b5f610fbf84828501610e6c565b91505092915050565b5f60208284031215610fdd57610fdc610def565b5b5f610fea84828501610e39565b91505092915050565b5f806040838503121561100957611008610def565b5b5f61101685828601610e39565b925050602061102785828601610e39565b9150509250929050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52602260045260245ffd5b5f600282049050600182168061107557607f821691505b60208210810361108857611087611031565b5b50919050565b7f45524332303a20696e73756666696369656e7420616c6c6f77616e63650000005f82015250565b5f6110c2601d83610d4f565b91506110cd8261108e565b602082019050919050565b5f6020820190508181035f8301526110ef816110b6565b9050919050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52601160045260245ffd5b5f61112d82610e4d565b915061113883610e4d565b92508282019050808211156111505761114f6110f6565b5b92915050565b7f45524332303a2064656372656173656420616c6c6f77616e63652062656c6f775f8201527f207a65726f000000000000000000000000000000000000000000000000000000602082015250565b5f6111b0602583610d4f565b91506111bb82611156565b604082019050919050565b5f6020820190508181035f8301526111dd816111a4565b9050919050565b7f45524332303a20617070726f76652066726f6d207a65726f00000000000000005f82015250565b5f611218601883610d4f565b9150611223826111e4565b602082019050919050565b5f6020820190508181035f8301526112458161120c565b9050919050565b7f45524332303a20617070726f766520746f207a65726f000000000000000000005f82015250565b5f611280601683610d4f565b915061128b8261124c565b602082019050919050565b5f6020820190508181035f8301526112ad81611274565b9050919050565b7f45524332303a207472616e736665722066726f6d207a65726f000000000000005f82015250565b5f6112e8601983610d4f565b91506112f3826112b4565b602082019050919050565b5f6020820190508181035f830152611315816112dc565b9050919050565b7f45524332303a207472616e7366657220746f207a65726f0000000000000000005f82015250565b5f611350601783610d4f565b915061135b8261131c565b602082019050919050565b5f6020820190508181035f83015261137d81611344565b9050919050565b7f45524332303a207472616e7366657220657863656564732062616c616e6365005f82015250565b5f6113b8601f83610d4f565b91506113c382611384565b602082019050919050565b5f6020820190508181035f8301526113e5816113ac565b9050919050565b7f45524332303a206275726e2066726f6d207a65726f00000000000000000000005f82015250565b5f611420601583610d4f565b915061142b826113ec565b602082019050919050565b5f6020820190508181035f83015261144d81611414565b9050919050565b7f45524332303a206275726e20657863656564732062616c616e636500000000005f82015250565b5f611488601b83610d4f565b915061149382611454565b602082019050919050565b5f6020820190508181035f8301526114b58161147c565b905091905056fea264697066735822122095e8b5d7a1baff2335876843666e8bfed0d9ede22bb9460cc98db1bee8558a9764736f6c63430008140033

385:4148:0:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;411:29;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;1603:152;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;1086:93;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;1763:404;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;482:34;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;2364:205;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;2236:120;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;1187:112;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;546:60;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;447:28;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;2577:403;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;1451:144;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;1307:136;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;411:29;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::o;1603:152::-;1671:4;1688:37;1697:10;1709:7;1718:6;1688:8;:37::i;:::-;1743:4;1736:11;;1603:152;;;;:::o;1086:93::-;1132:7;1159:12;;1152:19;;1086:93;:::o;1763:404::-;1845:4;1862:24;1889:11;:17;1901:4;1889:17;;;;;;;;;;;;;;;:29;1907:10;1889:29;;;;;;;;;;;;;;;;1862:56;;1957:6;1937:16;:26;;1929:68;;;;;;;;;;;;:::i;:::-;;;;;;;;;2035:53;2044:4;2050:10;2081:6;2062:16;:25;2035:8;:53::i;:::-;2110:27;2120:4;2126:2;2130:6;2110:9;:27::i;:::-;2155:4;2148:11;;;1763:404;;;;;:::o;482:34::-;515:1;482:34;:::o;2364:205::-;2446:4;2463:76;2472:10;2484:7;2528:10;2493:11;:23;2505:10;2493:23;;;;;;;;;;;;;;;:32;2517:7;2493:32;;;;;;;;;;;;;;;;:45;;;;:::i;:::-;2463:8;:76::i;:::-;2557:4;2550:11;;2364:205;;;;:::o;2236:120::-;2284:4;2301:25;2307:10;2319:6;2301:5;:25::i;:::-;2344:4;2337:11;;2236:120;;;:::o;1187:112::-;1246:7;1273:9;:18;1283:7;1273:18;;;;;;;;;;;;;;;;1266:25;;1187:112;;;:::o;546:60::-;593:13;546:60;:::o;447:28::-;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::o;2577:403::-;2664:4;2681:24;2708:11;:23;2720:10;2708:23;;;;;;;;;;;;;;;:32;2732:7;2708:32;;;;;;;;;;;;;;;;2681:59;;2779:15;2759:16;:35;;2751:85;;;;;;;;;;;;:::i;:::-;;;;;;;;;2874:65;2883:10;2895:7;2923:15;2904:16;:34;2874:8;:65::i;:::-;2968:4;2961:11;;;2577:403;;;;:::o;1451:144::-;1515:4;1532:33;1542:10;1554:2;1558:6;1532:9;:33::i;:::-;1583:4;1576:11;;1451:144;;;;:::o;1307:136::-;1381:7;1408:11;:18;1420:5;1408:18;;;;;;;;;;;;;;;:27;1427:7;1408:27;;;;;;;;;;;;;;;;1401:34;;1307:136;;;;:::o;4216:314::-;4327:1;4310:19;;:5;:19;;;4302:56;;;;;;;;;;;;:::i;:::-;;;;;;;;;4396:1;4377:21;;:7;:21;;;4369:56;;;;;;;;;;;;:::i;:::-;;;;;;;;;4468:6;4438:11;:18;4450:5;4438:18;;;;;;;;;;;;;;;:27;4457:7;4438:27;;;;;;;;;;;;;;;:36;;;;4506:7;4490:32;;4499:5;4490:32;;;4515:6;4490:32;;;;;;:::i;:::-;;;;;;;;4216:314;;;:::o;2988:499::-;3093:1;3077:18;;:4;:18;;;3069:56;;;;;;;;;;;;:::i;:::-;;;;;;;;;3158:1;3144:16;;:2;:16;;;3136:52;;;;;;;;;;;;:::i;:::-;;;;;;;;;3201:19;3223:9;:15;3233:4;3223:15;;;;;;;;;;;;;;;;3201:37;;3272:6;3257:11;:21;;3249:65;;;;;;;;;;;;:::i;:::-;;;;;;;;;3384:6;3370:11;:20;3352:9;:15;3362:4;3352:15;;;;;;;;;;;;;;;:38;;;;3429:6;3412:9;:13;3422:2;3412:13;;;;;;;;;;;;;;;;:23;;;;;;;:::i;:::-;;;;;;;;3468:2;3453:26;;3462:4;3453:26;;;3472:6;3453:26;;;;;;:::i;:::-;;;;;;;;3058:429;2988:499;;;:::o;3761:447::-;3856:1;3837:21;;:7;:21;;;3829:55;;;;;;;;;;;;:::i;:::-;;;;;;;;;3897:22;3922:9;:18;3932:7;3922:18;;;;;;;;;;;;;;;;3897:43;;3977:6;3959:14;:24;;3951:64;;;;;;;;;;;;:::i;:::-;;;;;;;;;4091:6;4074:14;:23;4053:9;:18;4063:7;4053:18;;;;;;;;;;;;;;;:44;;;;4128:6;4112:12;;:22;;;;;;;;;;;4189:1;4163:37;;4172:7;4163:37;;;4193:6;4163:37;;;;;;:::i;:::-;;;;;;;;3818:390;3761:447;;:::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:619::-;3875:6;3883;3891;3940:2;3928:9;3919:7;3915:23;3911:32;3908:119;;;3946:79;;:::i;:::-;3908:119;4066:1;4091:53;4136:7;4127:6;4116:9;4112:22;4091:53;:::i;:::-;4081:63;;4037:117;4193:2;4219:53;4264:7;4255:6;4244:9;4240:22;4219:53;:::i;:::-;4209:63;;4164:118;4321:2;4347:53;4392:7;4383:6;4372:9;4368:22;4347:53;:::i;:::-;4337:63;;4292:118;3798:619;;;;;:::o;4423:86::-;4458:7;4498:4;4491:5;4487:16;4476:27;;4423:86;;;:::o;4515:112::-;4598:22;4614:5;4598:22;:::i;:::-;4593:3;4586:35;4515:112;;:::o;4633:214::-;4722:4;4760:2;4749:9;4745:18;4737:26;;4773:67;4837:1;4826:9;4822:17;4813:6;4773:67;:::i;:::-;4633:214;;;;:::o;4853:329::-;4912:6;4961:2;4949:9;4940:7;4936:23;4932:32;4929:119;;;4967:79;;:::i;:::-;4929:119;5087:1;5112:53;5157:7;5148:6;5137:9;5133:22;5112:53;:::i;:::-;5102:63;;5058:117;4853:329;;;;:::o;5188:::-;5247:6;5296:2;5284:9;5275:7;5271:23;5267:32;5264:119;;;5302:79;;:::i;:::-;5264:119;5422:1;5447:53;5492:7;5483:6;5472:9;5468:22;5447:53;:::i;:::-;5437:63;;5393:117;5188:329;;;;:::o;5523:474::-;5591:6;5599;5648:2;5636:9;5627:7;5623:23;5619:32;5616:119;;;5654:79;;:::i;:::-;5616:119;5774:1;5799:53;5844:7;5835:6;5824:9;5820:22;5799:53;:::i;:::-;5789:63;;5745:117;5901:2;5927:53;5972:7;5963:6;5952:9;5948:22;5927:53;:::i;:::-;5917:63;;5872:118;5523:474;;;;;:::o;6003:180::-;6051:77;6048:1;6041:88;6148:4;6145:1;6138:15;6172:4;6169:1;6162:15;6189:320;6233:6;6270:1;6264:4;6260:12;6250:22;;6317:1;6311:4;6307:12;6338:18;6328:81;;6394:4;6386:6;6382:17;6372:27;;6328:81;6456:2;6448:6;6445:14;6425:18;6422:38;6419:84;;6475:18;;:::i;:::-;6419:84;6240:269;6189:320;;;:::o;6515:179::-;6655:31;6651:1;6643:6;6639:14;6632:55;6515:179;:::o;6700:366::-;6842:3;6863:67;6927:2;6922:3;6863:67;:::i;:::-;6856:74;;6939:93;7028:3;6939:93;:::i;:::-;7057:2;7052:3;7048:12;7041:19;;6700:366;;;:::o;7072:419::-;7238:4;7276:2;7265:9;7261:18;7253:26;;7325:9;7319:4;7315:20;7311:1;7300:9;7296:17;7289:47;7353:131;7479:4;7353:131;:::i;:::-;7345:139;;7072:419;;;:::o;7497:180::-;7545:77;7542:1;7535:88;7642:4;7639:1;7632:15;7666:4;7663:1;7656:15;7683:191;7723:3;7742:20;7760:1;7742:20;:::i;:::-;7737:25;;7776:20;7794:1;7776:20;:::i;:::-;7771:25;;7819:1;7816;7812:9;7805:16;;7840:3;7837:1;7834:10;7831:36;;;7847:18;;:::i;:::-;7831:36;7683:191;;;;:::o;7880:224::-;8020:34;8016:1;8008:6;8004:14;7997:58;8089:7;8084:2;8076:6;8072:15;8065:32;7880:224;:::o;8110:366::-;8252:3;8273:67;8337:2;8332:3;8273:67;:::i;:::-;8266:74;;8349:93;8438:3;8349:93;:::i;:::-;8467:2;8462:3;8458:12;8451:19;;8110:366;;;:::o;8482:419::-;8648:4;8686:2;8675:9;8671:18;8663:26;;8735:9;8729:4;8725:20;8721:1;8710:9;8706:17;8699:47;8763:131;8889:4;8763:131;:::i;:::-;8755:139;;8482:419;;;:::o;8907:174::-;9047:26;9043:1;9035:6;9031:14;9024:50;8907:174;:::o;9087:366::-;9229:3;9250:67;9314:2;9309:3;9250:67;:::i;:::-;9243:74;;9326:93;9415:3;9326:93;:::i;:::-;9444:2;9439:3;9435:12;9428:19;;9087:366;;;:::o;9459:419::-;9625:4;9663:2;9652:9;9648:18;9640:26;;9712:9;9706:4;9702:20;9698:1;9687:9;9683:17;9676:47;9740:131;9866:4;9740:131;:::i;:::-;9732:139;;9459:419;;;:::o;9884:172::-;10024:24;10020:1;10012:6;10008:14;10001:48;9884:172;:::o;10062:366::-;10204:3;10225:67;10289:2;10284:3;10225:67;:::i;:::-;10218:74;;10301:93;10390:3;10301:93;:::i;:::-;10419:2;10414:3;10410:12;10403:19;;10062:366;;;:::o;10434:419::-;10600:4;10638:2;10627:9;10623:18;10615:26;;10687:9;10681:4;10677:20;10673:1;10662:9;10658:17;10651:47;10715:131;10841:4;10715:131;:::i;:::-;10707:139;;10434:419;;;:::o;10859:175::-;10999:27;10995:1;10987:6;10983:14;10976:51;10859:175;:::o;11040:366::-;11182:3;11203:67;11267:2;11262:3;11203:67;:::i;:::-;11196:74;;11279:93;11368:3;11279:93;:::i;:::-;11397:2;11392:3;11388:12;11381:19;;11040:366;;;:::o;11412:419::-;11578:4;11616:2;11605:9;11601:18;11593:26;;11665:9;11659:4;11655:20;11651:1;11640:9;11636:17;11629:47;11693:131;11819:4;11693:131;:::i;:::-;11685:139;;11412:419;;;:::o;11837:173::-;11977:25;11973:1;11965:6;11961:14;11954:49;11837:173;:::o;12016:366::-;12158:3;12179:67;12243:2;12238:3;12179:67;:::i;:::-;12172:74;;12255:93;12344:3;12255:93;:::i;:::-;12373:2;12368:3;12364:12;12357:19;;12016:366;;;:::o;12388:419::-;12554:4;12592:2;12581:9;12577:18;12569:26;;12641:9;12635:4;12631:20;12627:1;12616:9;12612:17;12605:47;12669:131;12795:4;12669:131;:::i;:::-;12661:139;;12388:419;;;:::o;12813:181::-;12953:33;12949:1;12941:6;12937:14;12930:57;12813:181;:::o;13000:366::-;13142:3;13163:67;13227:2;13222:3;13163:67;:::i;:::-;13156:74;;13239:93;13328:3;13239:93;:::i;:::-;13357:2;13352:3;13348:12;13341:19;;13000:366;;;:::o;13372:419::-;13538:4;13576:2;13565:9;13561:18;13553:26;;13625:9;13619:4;13615:20;13611:1;13600:9;13596:17;13589:47;13653:131;13779:4;13653:131;:::i;:::-;13645:139;;13372:419;;;:::o;13797:171::-;13937:23;13933:1;13925:6;13921:14;13914:47;13797:171;:::o;13974:366::-;14116:3;14137:67;14201:2;14196:3;14137:67;:::i;:::-;14130:74;;14213:93;14302:3;14213:93;:::i;:::-;14331:2;14326:3;14322:12;14315:19;;13974:366;;;:::o;14346:419::-;14512:4;14550:2;14539:9;14535:18;14527:26;;14599:9;14593:4;14589:20;14585:1;14574:9;14570:17;14563:47;14627:131;14753:4;14627:131;:::i;:::-;14619:139;;14346:419;;;:::o;14771:177::-;14911:29;14907:1;14899:6;14895:14;14888:53;14771:177;:::o;14954:366::-;15096:3;15117:67;15181:2;15176:3;15117:67;:::i;:::-;15110:74;;15193:93;15282:3;15193:93;:::i;:::-;15311:2;15306:3;15302:12;15295:19;;14954:366;;;:::o;15326:419::-;15492:4;15530:2;15519:9;15515:18;15507:26;;15579:9;15573:4;15569:20;15565:1;15554:9;15550:17;15543:47;15607:131;15733:4;15607:131;:::i;:::-;15599:139;;15326:419;;;:::o

ipfs://95e8b5d7a1baff2335876843666e8bfed0d9ede22bb9460cc98db1bee8558a97