Token

Contract Source Code (Solidity)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta
• Remix IDE

Outline

 contract PresidentialDebates *    - 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-06-27
*/

// SPDX-License-Identifier: MIT

pragma solidity ^0.8.7;

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

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

    string private constant _name = "PresidentialDebates";
    string private constant _symbol = "DEBATES";
    uint8 private constant _decimals = 18;
    uint256 private constant _totalSupply = 100_000_000_000 * 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"}]

60806040523480156200001157600080fd5b506012600a6200002291906200018e565b64174876e800620000349190620002cb565b6000803373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055503373ffffffffffffffffffffffffffffffffffffffff16600073ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef6012600a620000d691906200018e565b64174876e800620000e89190620002cb565b604051620000f7919062000116565b60405180910390a36200037f565b62000110816200032c565b82525050565b60006020820190506200012d600083018462000105565b92915050565b6000808291508390505b600185111562000185578086048111156200015d576200015c62000343565b5b60018516156200016d5780820291505b80810290506200017d8562000372565b94506200013d565b94509492505050565b60006200019b826200032c565b9150620001a88362000336565b9250620001d77fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff8484620001df565b905092915050565b600082620001f15760019050620002c4565b81620002015760009050620002c4565b81600181146200021a576002811462000225576200025b565b6001915050620002c4565b60ff8411156200023a576200023962000343565b5b8360020a91508482111562000254576200025362000343565b5b50620002c4565b5060208310610133831016604e8410600b8410161715620002955782820a9050838111156200028f576200028e62000343565b5b620002c4565b620002a4848484600162000133565b92509050818404811115620002be57620002bd62000343565b5b81810290505b9392505050565b6000620002d8826200032c565b9150620002e5836200032c565b9250817fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff048311821515161562000321576200032062000343565b5b828202905092915050565b6000819050919050565b600060ff82169050919050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052601160045260246000fd5b60008160011c9050919050565b6115dc806200038f6000396000f3fe608060405234801561001057600080fd5b50600436106100a95760003560e01c80633950935111610071578063395093511461016857806370a082311461019857806395d89b41146101c8578063a457c2d7146101e6578063a9059cbb14610216578063dd62ed3e14610246576100a9565b806306fdde03146100ae578063095ea7b3146100cc57806318160ddd146100fc57806323b872dd1461011a578063313ce5671461014a575b600080fd5b6100b6610276565b6040516100c39190610dd9565b60405180910390f35b6100e660048036038101906100e19190610bba565b6102b3565b6040516100f39190610dbe565b60405180910390f35b6101046102cf565b6040516101119190610f3b565b60405180910390f35b610134600480360381019061012f9190610b67565b6102f4565b6040516101419190610dbe565b60405180910390f35b61015261038b565b60405161015f9190610f56565b60405180910390f35b610182600480360381019061017d9190610bba565b610394565b60405161018f9190610dbe565b60405180910390f35b6101b260048036038101906101ad9190610afa565b6103c4565b6040516101bf9190610f3b565b60405180910390f35b6101d061040c565b6040516101dd9190610dd9565b60405180910390f35b61020060048036038101906101fb9190610bba565b610449565b60405161020d9190610dbe565b60405180910390f35b610230600480360381019061022b9190610bba565b6104b9565b60405161023d9190610dbe565b60405180910390f35b610260600480360381019061025b9190610b27565b610544565b60405161026d9190610f3b565b60405180910390f35b60606040518060400160405280601381526020017f507265736964656e7469616c4465626174657300000000000000000000000000815250905090565b6000803390506102c48185856105cb565b600191505092915050565b60006012600a6102df9190611036565b64174876e8006102ef9190611154565b905090565b6000803390508473ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff161415610369576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161036090610efb565b60405180910390fd5b610374858285610796565b61037f858585610822565b60019150509392505050565b60006012905090565b6000803390506103b98185856103aa8589610544565b6103b49190610f8d565b6105cb565b600191505092915050565b60008060008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020549050919050565b60606040518060400160405280600781526020017f4445424154455300000000000000000000000000000000000000000000000000815250905090565b600080339050600061045b8286610544565b9050838110156104a0576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161049790610f1b565b60405180910390fd5b6104ad82868684036105cb565b60019250505092915050565b6000803390508373ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff16141561052e576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161052590610e7b565b60405180910390fd5b610539818585610822565b600191505092915050565b6000600160008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054905092915050565b600073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff16141561063b576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161063290610edb565b60405180910390fd5b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff1614156106ab576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016106a290610e1b565b60405180910390fd5b80600160008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508173ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925836040516107899190610f3b565b60405180910390a3505050565b60006107a28484610544565b90507fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff811461081c578181101561080e576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161080590610e3b565b60405180910390fd5b61081b84848484036105cb565b5b50505050565b600073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff161415610892576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161088990610ebb565b60405180910390fd5b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff161415610902576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016108f990610dfb565b60405180910390fd5b60008111610945576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161093c90610e9b565b60405180910390fd5b60008060008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020549050818110156109cb576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016109c290610e5b565b60405180910390fd5b8181036000808673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550816000808573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000206000828254610a5e9190610f8d565b925050819055508273ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef84604051610ac29190610f3b565b60405180910390a350505050565b600081359050610adf81611578565b92915050565b600081359050610af48161158f565b92915050565b600060208284031215610b1057610b0f611265565b5b6000610b1e84828501610ad0565b91505092915050565b60008060408385031215610b3e57610b3d611265565b5b6000610b4c85828601610ad0565b9250506020610b5d85828601610ad0565b9150509250929050565b600080600060608486031215610b8057610b7f611265565b5b6000610b8e86828701610ad0565b9350506020610b9f86828701610ad0565b9250506040610bb086828701610ae5565b9150509250925092565b60008060408385031215610bd157610bd0611265565b5b6000610bdf85828601610ad0565b9250506020610bf085828601610ae5565b9150509250929050565b610c03816111c0565b82525050565b6000610c1482610f71565b610c1e8185610f7c565b9350610c2e818560208601611203565b610c378161126a565b840191505092915050565b6000610c4f602383610f7c565b9150610c5a82611288565b604082019050919050565b6000610c72602283610f7c565b9150610c7d826112d7565b604082019050919050565b6000610c95601d83610f7c565b9150610ca082611326565b602082019050919050565b6000610cb8602683610f7c565b9150610cc38261134f565b604082019050919050565b6000610cdb602a83610f7c565b9150610ce68261139e565b604082019050919050565b6000610cfe603083610f7c565b9150610d09826113ed565b604082019050919050565b6000610d21602583610f7c565b9150610d2c8261143c565b604082019050919050565b6000610d44602483610f7c565b9150610d4f8261148b565b604082019050919050565b6000610d67602f83610f7c565b9150610d72826114da565b604082019050919050565b6000610d8a602583610f7c565b9150610d9582611529565b604082019050919050565b610da9816111ec565b82525050565b610db8816111f6565b82525050565b6000602082019050610dd36000830184610bfa565b92915050565b60006020820190508181036000830152610df38184610c09565b905092915050565b60006020820190508181036000830152610e1481610c42565b9050919050565b60006020820190508181036000830152610e3481610c65565b9050919050565b60006020820190508181036000830152610e5481610c88565b9050919050565b60006020820190508181036000830152610e7481610cab565b9050919050565b60006020820190508181036000830152610e9481610cce565b9050919050565b60006020820190508181036000830152610eb481610cf1565b9050919050565b60006020820190508181036000830152610ed481610d14565b9050919050565b60006020820190508181036000830152610ef481610d37565b9050919050565b60006020820190508181036000830152610f1481610d5a565b9050919050565b60006020820190508181036000830152610f3481610d7d565b9050919050565b6000602082019050610f506000830184610da0565b92915050565b6000602082019050610f6b6000830184610daf565b92915050565b600081519050919050565b600082825260208201905092915050565b6000610f98826111ec565b9150610fa3836111ec565b9250827fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff03821115610fd857610fd7611236565b5b828201905092915050565b6000808291508390505b600185111561102d5780860481111561100957611008611236565b5b60018516156110185780820291505b80810290506110268561127b565b9450610fed565b94509492505050565b6000611041826111ec565b915061104c836111f6565b92506110797fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff8484611081565b905092915050565b600082611091576001905061114d565b8161109f576000905061114d565b81600181146110b557600281146110bf576110ee565b600191505061114d565b60ff8411156110d1576110d0611236565b5b8360020a9150848211156110e8576110e7611236565b5b5061114d565b5060208310610133831016604e8410600b84101617156111235782820a90508381111561111e5761111d611236565b5b61114d565b6111308484846001610fe3565b9250905081840481111561114757611146611236565b5b81810290505b9392505050565b600061115f826111ec565b915061116a836111ec565b9250817fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff04831182151516156111a3576111a2611236565b5b828202905092915050565b60006111b9826111cc565b9050919050565b60008115159050919050565b600073ffffffffffffffffffffffffffffffffffffffff82169050919050565b6000819050919050565b600060ff82169050919050565b60005b83811015611221578082015181840152602081019050611206565b83811115611230576000848401525b50505050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052601160045260246000fd5b600080fd5b6000601f19601f8301169050919050565b60008160011c9050919050565b7f45524332303a207472616e7366657220746f20746865207a65726f206164647260008201527f6573730000000000000000000000000000000000000000000000000000000000602082015250565b7f45524332303a20617070726f766520746f20746865207a65726f20616464726560008201527f7373000000000000000000000000000000000000000000000000000000000000602082015250565b7f45524332303a20696e73756666696369656e7420616c6c6f77616e6365000000600082015250565b7f45524332303a207472616e7366657220616d6f756e742065786365656473206260008201527f616c616e63650000000000000000000000000000000000000000000000000000602082015250565b7f45524332303a207472616e7366657220746f20616464726573732063616e6e6f60008201527f74206265206f776e657200000000000000000000000000000000000000000000602082015250565b7f45524332303a207472616e7366657220616d6f756e74206d757374206265206760008201527f726561746572207468616e207a65726f00000000000000000000000000000000602082015250565b7f45524332303a207472616e736665722066726f6d20746865207a65726f20616460008201527f6472657373000000000000000000000000000000000000000000000000000000602082015250565b7f45524332303a20617070726f76652066726f6d20746865207a65726f2061646460008201527f7265737300000000000000000000000000000000000000000000000000000000602082015250565b7f45524332303a207472616e7366657246726f6d207370656e6465722063616e2060008201527f6e6f74206265207468652066726f6d0000000000000000000000000000000000602082015250565b7f45524332303a2064656372656173656420616c6c6f77616e63652062656c6f7760008201527f207a65726f000000000000000000000000000000000000000000000000000000602082015250565b611581816111ae565b811461158c57600080fd5b50565b611598816111ec565b81146115a357600080fd5b5056fea26469706673582212209ba324b06abfc848c9e54ef95df215372c8c0a6084b8a825809dc200267581b364736f6c63430008070033

0x608060405234801561001057600080fd5b50600436106100a95760003560e01c80633950935111610071578063395093511461016857806370a082311461019857806395d89b41146101c8578063a457c2d7146101e6578063a9059cbb14610216578063dd62ed3e14610246576100a9565b806306fdde03146100ae578063095ea7b3146100cc57806318160ddd146100fc57806323b872dd1461011a578063313ce5671461014a575b600080fd5b6100b6610276565b6040516100c39190610dd9565b60405180910390f35b6100e660048036038101906100e19190610bba565b6102b3565b6040516100f39190610dbe565b60405180910390f35b6101046102cf565b6040516101119190610f3b565b60405180910390f35b610134600480360381019061012f9190610b67565b6102f4565b6040516101419190610dbe565b60405180910390f35b61015261038b565b60405161015f9190610f56565b60405180910390f35b610182600480360381019061017d9190610bba565b610394565b60405161018f9190610dbe565b60405180910390f35b6101b260048036038101906101ad9190610afa565b6103c4565b6040516101bf9190610f3b565b60405180910390f35b6101d061040c565b6040516101dd9190610dd9565b60405180910390f35b61020060048036038101906101fb9190610bba565b610449565b60405161020d9190610dbe565b60405180910390f35b610230600480360381019061022b9190610bba565b6104b9565b60405161023d9190610dbe565b60405180910390f35b610260600480360381019061025b9190610b27565b610544565b60405161026d9190610f3b565b60405180910390f35b60606040518060400160405280601381526020017f507265736964656e7469616c4465626174657300000000000000000000000000815250905090565b6000803390506102c48185856105cb565b600191505092915050565b60006012600a6102df9190611036565b64174876e8006102ef9190611154565b905090565b6000803390508473ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff161415610369576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161036090610efb565b60405180910390fd5b610374858285610796565b61037f858585610822565b60019150509392505050565b60006012905090565b6000803390506103b98185856103aa8589610544565b6103b49190610f8d565b6105cb565b600191505092915050565b60008060008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020549050919050565b60606040518060400160405280600781526020017f4445424154455300000000000000000000000000000000000000000000000000815250905090565b600080339050600061045b8286610544565b9050838110156104a0576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161049790610f1b565b60405180910390fd5b6104ad82868684036105cb565b60019250505092915050565b6000803390508373ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff16141561052e576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161052590610e7b565b60405180910390fd5b610539818585610822565b600191505092915050565b6000600160008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054905092915050565b600073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff16141561063b576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161063290610edb565b60405180910390fd5b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff1614156106ab576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016106a290610e1b565b60405180910390fd5b80600160008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508173ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925836040516107899190610f3b565b60405180910390a3505050565b60006107a28484610544565b90507fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff811461081c578181101561080e576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161080590610e3b565b60405180910390fd5b61081b84848484036105cb565b5b50505050565b600073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff161415610892576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161088990610ebb565b60405180910390fd5b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff161415610902576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016108f990610dfb565b60405180910390fd5b60008111610945576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161093c90610e9b565b60405180910390fd5b60008060008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020549050818110156109cb576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016109c290610e5b565b60405180910390fd5b8181036000808673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550816000808573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000206000828254610a5e9190610f8d565b925050819055508273ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef84604051610ac29190610f3b565b60405180910390a350505050565b600081359050610adf81611578565b92915050565b600081359050610af48161158f565b92915050565b600060208284031215610b1057610b0f611265565b5b6000610b1e84828501610ad0565b91505092915050565b60008060408385031215610b3e57610b3d611265565b5b6000610b4c85828601610ad0565b9250506020610b5d85828601610ad0565b9150509250929050565b600080600060608486031215610b8057610b7f611265565b5b6000610b8e86828701610ad0565b9350506020610b9f86828701610ad0565b9250506040610bb086828701610ae5565b9150509250925092565b60008060408385031215610bd157610bd0611265565b5b6000610bdf85828601610ad0565b9250506020610bf085828601610ae5565b9150509250929050565b610c03816111c0565b82525050565b6000610c1482610f71565b610c1e8185610f7c565b9350610c2e818560208601611203565b610c378161126a565b840191505092915050565b6000610c4f602383610f7c565b9150610c5a82611288565b604082019050919050565b6000610c72602283610f7c565b9150610c7d826112d7565b604082019050919050565b6000610c95601d83610f7c565b9150610ca082611326565b602082019050919050565b6000610cb8602683610f7c565b9150610cc38261134f565b604082019050919050565b6000610cdb602a83610f7c565b9150610ce68261139e565b604082019050919050565b6000610cfe603083610f7c565b9150610d09826113ed565b604082019050919050565b6000610d21602583610f7c565b9150610d2c8261143c565b604082019050919050565b6000610d44602483610f7c565b9150610d4f8261148b565b604082019050919050565b6000610d67602f83610f7c565b9150610d72826114da565b604082019050919050565b6000610d8a602583610f7c565b9150610d9582611529565b604082019050919050565b610da9816111ec565b82525050565b610db8816111f6565b82525050565b6000602082019050610dd36000830184610bfa565b92915050565b60006020820190508181036000830152610df38184610c09565b905092915050565b60006020820190508181036000830152610e1481610c42565b9050919050565b60006020820190508181036000830152610e3481610c65565b9050919050565b60006020820190508181036000830152610e5481610c88565b9050919050565b60006020820190508181036000830152610e7481610cab565b9050919050565b60006020820190508181036000830152610e9481610cce565b9050919050565b60006020820190508181036000830152610eb481610cf1565b9050919050565b60006020820190508181036000830152610ed481610d14565b9050919050565b60006020820190508181036000830152610ef481610d37565b9050919050565b60006020820190508181036000830152610f1481610d5a565b9050919050565b60006020820190508181036000830152610f3481610d7d565b9050919050565b6000602082019050610f506000830184610da0565b92915050565b6000602082019050610f6b6000830184610daf565b92915050565b600081519050919050565b600082825260208201905092915050565b6000610f98826111ec565b9150610fa3836111ec565b9250827fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff03821115610fd857610fd7611236565b5b828201905092915050565b6000808291508390505b600185111561102d5780860481111561100957611008611236565b5b60018516156110185780820291505b80810290506110268561127b565b9450610fed565b94509492505050565b6000611041826111ec565b915061104c836111f6565b92506110797fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff8484611081565b905092915050565b600082611091576001905061114d565b8161109f576000905061114d565b81600181146110b557600281146110bf576110ee565b600191505061114d565b60ff8411156110d1576110d0611236565b5b8360020a9150848211156110e8576110e7611236565b5b5061114d565b5060208310610133831016604e8410600b84101617156111235782820a90508381111561111e5761111d611236565b5b61114d565b6111308484846001610fe3565b9250905081840481111561114757611146611236565b5b81810290505b9392505050565b600061115f826111ec565b915061116a836111ec565b9250817fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff04831182151516156111a3576111a2611236565b5b828202905092915050565b60006111b9826111cc565b9050919050565b60008115159050919050565b600073ffffffffffffffffffffffffffffffffffffffff82169050919050565b6000819050919050565b600060ff82169050919050565b60005b83811015611221578082015181840152602081019050611206565b83811115611230576000848401525b50505050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052601160045260246000fd5b600080fd5b6000601f19601f8301169050919050565b60008160011c9050919050565b7f45524332303a207472616e7366657220746f20746865207a65726f206164647260008201527f6573730000000000000000000000000000000000000000000000000000000000602082015250565b7f45524332303a20617070726f766520746f20746865207a65726f20616464726560008201527f7373000000000000000000000000000000000000000000000000000000000000602082015250565b7f45524332303a20696e73756666696369656e7420616c6c6f77616e6365000000600082015250565b7f45524332303a207472616e7366657220616d6f756e742065786365656473206260008201527f616c616e63650000000000000000000000000000000000000000000000000000602082015250565b7f45524332303a207472616e7366657220746f20616464726573732063616e6e6f60008201527f74206265206f776e657200000000000000000000000000000000000000000000602082015250565b7f45524332303a207472616e7366657220616d6f756e74206d757374206265206760008201527f726561746572207468616e207a65726f00000000000000000000000000000000602082015250565b7f45524332303a207472616e736665722066726f6d20746865207a65726f20616460008201527f6472657373000000000000000000000000000000000000000000000000000000602082015250565b7f45524332303a20617070726f76652066726f6d20746865207a65726f2061646460008201527f7265737300000000000000000000000000000000000000000000000000000000602082015250565b7f45524332303a207472616e7366657246726f6d207370656e6465722063616e2060008201527f6e6f74206265207468652066726f6d0000000000000000000000000000000000602082015250565b7f45524332303a2064656372656173656420616c6c6f77616e63652062656c6f7760008201527f207a65726f000000000000000000000000000000000000000000000000000000602082015250565b611581816111ae565b811461158c57600080fd5b50565b611598816111ec565b81146115a357600080fd5b5056fea26469706673582212209ba324b06abfc848c9e54ef95df215372c8c0a6084b8a825809dc200267581b364736f6c63430008070033

62:4868:0:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;821:93;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;1898:224;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;1128:101;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;2130:409;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;1027:93;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;2547:270;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;1237:161;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;922:97;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;2825:505;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;1406:293;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;1707:183;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;821:93;868:13;901:5;;;;;;;;;;;;;;;;;894:12;;821:93;:::o;1898:224::-;2001:4;2023:13;2039:10;2023:26;;2060:32;2069:5;2076:7;2085:6;2060:8;:32::i;:::-;2110:4;2103:11;;;1898:224;;;;:::o;1128:101::-;1182:7;373:2;440;:13;;;;:::i;:::-;422:15;:31;;;;:::i;:::-;1202:19;;1128:101;:::o;2130:409::-;2254:4;2271:15;2289:10;2271:28;;2343:4;2332:15;;:7;:15;;;;2310:112;;;;;;;;;;;;:::i;:::-;;;;;;;;;2433:38;2449:4;2455:7;2464:6;2433:15;:38::i;:::-;2482:27;2492:4;2498:2;2502:6;2482:9;:27::i;:::-;2527:4;2520:11;;;2130:409;;;;;:::o;1027:93::-;1078:5;373:2;1096:16;;1027:93;:::o;2547:270::-;2664:4;2686:13;2702:10;2686:26;;2723:64;2732:5;2739:7;2776:10;2748:25;2758:5;2765:7;2748:9;:25::i;:::-;:38;;;;:::i;:::-;2723:8;:64::i;:::-;2805:4;2798:11;;;2547:270;;;;:::o;1237:161::-;1340:7;1372:9;:18;1382:7;1372:18;;;;;;;;;;;;;;;;1365:25;;1237:161;;;:::o;922:97::-;971:13;1004:7;;;;;;;;;;;;;;;;;997:14;;922:97;:::o;2825:505::-;2947:4;2969:13;2985:10;2969:26;;3006:24;3033:25;3043:5;3050:7;3033:9;:25::i;:::-;3006:52;;3111:15;3091:16;:35;;3069:122;;;;;;;;;;;;:::i;:::-;;;;;;;;;3227:60;3236:5;3243:7;3271:15;3252:16;:34;3227:8;:60::i;:::-;3318:4;3311:11;;;;2825:505;;;;:::o;1406:293::-;1505:4;1527:13;1543:10;1527:26;;1581:2;1572:11;;:5;:11;;;;1564:66;;;;;;;;;;;;:::i;:::-;;;;;;;;;1641:28;1651:5;1658:2;1662:6;1641:9;:28::i;:::-;1687:4;1680:11;;;1406:293;;;;:::o;1707:183::-;1823:7;1855:11;:18;1867:5;1855:18;;;;;;;;;;;;;;;:27;1874:7;1855:27;;;;;;;;;;;;;;;;1848:34;;1707:183;;;;:::o;4037:380::-;4190:1;4173:19;;:5;:19;;;;4165:68;;;;;;;;;;;;:::i;:::-;;;;;;;;;4271:1;4252:21;;:7;:21;;;;4244:68;;;;;;;;;;;;:::i;:::-;;;;;;;;;4355:6;4325:11;:18;4337:5;4325:18;;;;;;;;;;;;;;;:27;4344:7;4325:27;;;;;;;;;;;;;;;:36;;;;4393:7;4377:32;;4386:5;4377:32;;;4402:6;4377:32;;;;;;:::i;:::-;;;;;;;;4037:380;;;:::o;4425:502::-;4560:24;4587:25;4597:5;4604:7;4587:9;:25::i;:::-;4560:52;;4647:17;4627:16;:37;4623:297;;4727:6;4707:16;:26;;4681:117;;;;;;;;;;;;:::i;:::-;;;;;;;;;4842:51;4851:5;4858:7;4886:6;4867:16;:25;4842:8;:51::i;:::-;4623:297;4549:378;4425:502;;;:::o;3338:691::-;3485:1;3469:18;;:4;:18;;;;3461:68;;;;;;;;;;;;:::i;:::-;;;;;;;;;3562:1;3548:16;;:2;:16;;;;3540:64;;;;;;;;;;;;:::i;:::-;;;;;;;;;3632:1;3623:6;:10;3615:71;;;;;;;;;;;;:::i;:::-;;;;;;;;;3701:19;3723:9;:15;3733:4;3723:15;;;;;;;;;;;;;;;;3701:37;;3786:6;3771:11;:21;;3749:109;;;;;;;;;;;;:::i;:::-;;;;;;;;;3926:6;3912:11;:20;3894:9;:15;3904:4;3894:15;;;;;;;;;;;;;;;:38;;;;3971:6;3954:9;:13;3964:2;3954:13;;;;;;;;;;;;;;;;:23;;;;;;;:::i;:::-;;;;;;;;4010:2;3995:26;;4004:4;3995:26;;;4014:6;3995:26;;;;;;:::i;:::-;;;;;;;;3450:579;3338:691;;;:::o;7:139:1:-;53:5;91:6;78:20;69:29;;107:33;134:5;107:33;:::i;:::-;7:139;;;;:::o;152:::-;198:5;236:6;223:20;214:29;;252:33;279:5;252:33;:::i;:::-;152:139;;;;:::o;297:329::-;356:6;405:2;393:9;384:7;380:23;376:32;373:119;;;411:79;;:::i;:::-;373:119;531:1;556:53;601:7;592:6;581:9;577:22;556:53;:::i;:::-;546:63;;502:117;297:329;;;;:::o;632:474::-;700:6;708;757:2;745:9;736:7;732:23;728:32;725:119;;;763:79;;:::i;:::-;725:119;883:1;908:53;953:7;944:6;933:9;929:22;908:53;:::i;:::-;898:63;;854:117;1010:2;1036:53;1081:7;1072:6;1061:9;1057:22;1036:53;:::i;:::-;1026:63;;981:118;632:474;;;;;:::o;1112:619::-;1189:6;1197;1205;1254:2;1242:9;1233:7;1229:23;1225:32;1222:119;;;1260:79;;:::i;:::-;1222:119;1380:1;1405:53;1450:7;1441:6;1430:9;1426:22;1405:53;:::i;:::-;1395:63;;1351:117;1507:2;1533:53;1578:7;1569:6;1558:9;1554:22;1533:53;:::i;:::-;1523:63;;1478:118;1635:2;1661:53;1706:7;1697:6;1686:9;1682:22;1661:53;:::i;:::-;1651:63;;1606:118;1112:619;;;;;:::o;1737:474::-;1805:6;1813;1862:2;1850:9;1841:7;1837:23;1833:32;1830:119;;;1868:79;;:::i;:::-;1830:119;1988:1;2013:53;2058:7;2049:6;2038:9;2034:22;2013:53;:::i;:::-;2003:63;;1959:117;2115:2;2141:53;2186:7;2177:6;2166:9;2162:22;2141:53;:::i;:::-;2131:63;;2086:118;1737:474;;;;;:::o;2217:109::-;2298:21;2313:5;2298:21;:::i;:::-;2293:3;2286:34;2217:109;;:::o;2332:364::-;2420:3;2448:39;2481:5;2448:39;:::i;:::-;2503:71;2567:6;2562:3;2503:71;:::i;:::-;2496:78;;2583:52;2628:6;2623:3;2616:4;2609:5;2605:16;2583:52;:::i;:::-;2660:29;2682:6;2660:29;:::i;:::-;2655:3;2651:39;2644:46;;2424:272;2332:364;;;;:::o;2702:366::-;2844:3;2865:67;2929:2;2924:3;2865:67;:::i;:::-;2858:74;;2941:93;3030:3;2941:93;:::i;:::-;3059:2;3054:3;3050:12;3043:19;;2702:366;;;:::o;3074:::-;3216:3;3237:67;3301:2;3296:3;3237:67;:::i;:::-;3230:74;;3313:93;3402:3;3313:93;:::i;:::-;3431:2;3426:3;3422:12;3415:19;;3074:366;;;:::o;3446:::-;3588:3;3609:67;3673:2;3668:3;3609:67;:::i;:::-;3602:74;;3685:93;3774:3;3685:93;:::i;:::-;3803:2;3798:3;3794:12;3787:19;;3446:366;;;:::o;3818:::-;3960:3;3981:67;4045:2;4040:3;3981:67;:::i;:::-;3974:74;;4057:93;4146:3;4057:93;:::i;:::-;4175:2;4170:3;4166:12;4159:19;;3818:366;;;:::o;4190:::-;4332:3;4353:67;4417:2;4412:3;4353:67;:::i;:::-;4346:74;;4429:93;4518:3;4429:93;:::i;:::-;4547:2;4542:3;4538:12;4531:19;;4190:366;;;:::o;4562:::-;4704:3;4725:67;4789:2;4784:3;4725:67;:::i;:::-;4718:74;;4801:93;4890:3;4801:93;:::i;:::-;4919:2;4914:3;4910:12;4903:19;;4562:366;;;:::o;4934:::-;5076:3;5097:67;5161:2;5156:3;5097:67;:::i;:::-;5090:74;;5173:93;5262:3;5173:93;:::i;:::-;5291:2;5286:3;5282:12;5275:19;;4934:366;;;:::o;5306:::-;5448:3;5469:67;5533:2;5528:3;5469:67;:::i;:::-;5462:74;;5545:93;5634:3;5545:93;:::i;:::-;5663:2;5658:3;5654:12;5647:19;;5306:366;;;:::o;5678:::-;5820:3;5841:67;5905:2;5900:3;5841:67;:::i;:::-;5834:74;;5917:93;6006:3;5917:93;:::i;:::-;6035:2;6030:3;6026:12;6019:19;;5678:366;;;:::o;6050:::-;6192:3;6213:67;6277:2;6272:3;6213:67;:::i;:::-;6206:74;;6289:93;6378:3;6289:93;:::i;:::-;6407:2;6402:3;6398:12;6391:19;;6050:366;;;:::o;6422:118::-;6509:24;6527:5;6509:24;:::i;:::-;6504:3;6497:37;6422:118;;:::o;6546:112::-;6629:22;6645:5;6629:22;:::i;:::-;6624:3;6617:35;6546:112;;:::o;6664:210::-;6751:4;6789:2;6778:9;6774:18;6766:26;;6802:65;6864:1;6853:9;6849:17;6840:6;6802:65;:::i;:::-;6664:210;;;;:::o;6880:313::-;6993:4;7031:2;7020:9;7016:18;7008:26;;7080:9;7074:4;7070:20;7066:1;7055:9;7051:17;7044:47;7108:78;7181:4;7172:6;7108:78;:::i;:::-;7100:86;;6880:313;;;;:::o;7199:419::-;7365:4;7403:2;7392:9;7388:18;7380:26;;7452:9;7446:4;7442:20;7438:1;7427:9;7423:17;7416:47;7480:131;7606:4;7480:131;:::i;:::-;7472:139;;7199:419;;;:::o;7624:::-;7790:4;7828:2;7817:9;7813:18;7805:26;;7877:9;7871:4;7867:20;7863:1;7852:9;7848:17;7841:47;7905:131;8031:4;7905:131;:::i;:::-;7897:139;;7624:419;;;:::o;8049:::-;8215:4;8253:2;8242:9;8238:18;8230:26;;8302:9;8296:4;8292:20;8288:1;8277:9;8273:17;8266:47;8330:131;8456:4;8330:131;:::i;:::-;8322:139;;8049:419;;;:::o;8474:::-;8640:4;8678:2;8667:9;8663:18;8655:26;;8727:9;8721:4;8717:20;8713:1;8702:9;8698:17;8691:47;8755:131;8881:4;8755:131;:::i;:::-;8747:139;;8474:419;;;:::o;8899:::-;9065:4;9103:2;9092:9;9088:18;9080:26;;9152:9;9146:4;9142:20;9138:1;9127:9;9123:17;9116:47;9180:131;9306:4;9180:131;:::i;:::-;9172:139;;8899:419;;;:::o;9324:::-;9490:4;9528:2;9517:9;9513:18;9505:26;;9577:9;9571:4;9567:20;9563:1;9552:9;9548:17;9541:47;9605:131;9731:4;9605:131;:::i;:::-;9597:139;;9324:419;;;:::o;9749:::-;9915:4;9953:2;9942:9;9938:18;9930:26;;10002:9;9996:4;9992:20;9988:1;9977:9;9973:17;9966:47;10030:131;10156:4;10030:131;:::i;:::-;10022:139;;9749:419;;;:::o;10174:::-;10340:4;10378:2;10367:9;10363:18;10355:26;;10427:9;10421:4;10417:20;10413:1;10402:9;10398:17;10391:47;10455:131;10581:4;10455:131;:::i;:::-;10447:139;;10174:419;;;:::o;10599:::-;10765:4;10803:2;10792:9;10788:18;10780:26;;10852:9;10846:4;10842:20;10838:1;10827:9;10823:17;10816:47;10880:131;11006:4;10880:131;:::i;:::-;10872:139;;10599:419;;;:::o;11024:::-;11190:4;11228:2;11217:9;11213:18;11205:26;;11277:9;11271:4;11267:20;11263:1;11252:9;11248:17;11241:47;11305:131;11431:4;11305:131;:::i;:::-;11297:139;;11024:419;;;:::o;11449:222::-;11542:4;11580:2;11569:9;11565:18;11557:26;;11593:71;11661:1;11650:9;11646:17;11637:6;11593:71;:::i;:::-;11449:222;;;;:::o;11677:214::-;11766:4;11804:2;11793:9;11789:18;11781:26;;11817:67;11881:1;11870:9;11866:17;11857:6;11817:67;:::i;:::-;11677:214;;;;:::o;11978:99::-;12030:6;12064:5;12058:12;12048:22;;11978:99;;;:::o;12083:169::-;12167:11;12201:6;12196:3;12189:19;12241:4;12236:3;12232:14;12217:29;;12083:169;;;;:::o;12258:305::-;12298:3;12317:20;12335:1;12317:20;:::i;:::-;12312:25;;12351:20;12369:1;12351:20;:::i;:::-;12346:25;;12505:1;12437:66;12433:74;12430:1;12427:81;12424:107;;;12511:18;;:::i;:::-;12424:107;12555:1;12552;12548:9;12541:16;;12258:305;;;;:::o;12569:848::-;12630:5;12637:4;12661:6;12652:15;;12685:5;12676:14;;12699:712;12720:1;12710:8;12707:15;12699:712;;;12815:4;12810:3;12806:14;12800:4;12797:24;12794:50;;;12824:18;;:::i;:::-;12794:50;12874:1;12864:8;12860:16;12857:451;;;13289:4;13282:5;13278:16;13269:25;;12857:451;13339:4;13333;13329:15;13321:23;;13369:32;13392:8;13369:32;:::i;:::-;13357:44;;12699:712;;;12569:848;;;;;;;:::o;13423:281::-;13481:5;13505:23;13523:4;13505:23;:::i;:::-;13497:31;;13549:25;13565:8;13549:25;:::i;:::-;13537:37;;13593:104;13630:66;13620:8;13614:4;13593:104;:::i;:::-;13584:113;;13423:281;;;;:::o;13710:1073::-;13764:5;13955:8;13945:40;;13976:1;13967:10;;13978:5;;13945:40;14004:4;13994:36;;14021:1;14012:10;;14023:5;;13994:36;14090:4;14138:1;14133:27;;;;14174:1;14169:191;;;;14083:277;;14133:27;14151:1;14142:10;;14153:5;;;14169:191;14214:3;14204:8;14201:17;14198:43;;;14221:18;;:::i;:::-;14198:43;14270:8;14267:1;14263:16;14254:25;;14305:3;14298:5;14295:14;14292:40;;;14312:18;;:::i;:::-;14292:40;14345:5;;;14083:277;;14469:2;14459:8;14456:16;14450:3;14444:4;14441:13;14437:36;14419:2;14409:8;14406:16;14401:2;14395:4;14392:12;14388:35;14372:111;14369:246;;;14525:8;14519:4;14515:19;14506:28;;14560:3;14553:5;14550:14;14547:40;;;14567:18;;:::i;:::-;14547:40;14600:5;;14369:246;14640:42;14678:3;14668:8;14662:4;14659:1;14640:42;:::i;:::-;14625:57;;;;14714:4;14709:3;14705:14;14698:5;14695:25;14692:51;;;14723:18;;:::i;:::-;14692:51;14772:4;14765:5;14761:16;14752:25;;13710:1073;;;;;;:::o;14789:348::-;14829:7;14852:20;14870:1;14852:20;:::i;:::-;14847:25;;14886:20;14904:1;14886:20;:::i;:::-;14881:25;;15074:1;15006:66;15002:74;14999:1;14996:81;14991:1;14984:9;14977:17;14973:105;14970:131;;;15081:18;;:::i;:::-;14970:131;15129:1;15126;15122:9;15111:20;;14789:348;;;;:::o;15143:96::-;15180:7;15209:24;15227:5;15209:24;:::i;:::-;15198:35;;15143:96;;;:::o;15245:90::-;15279:7;15322:5;15315:13;15308:21;15297:32;;15245:90;;;:::o;15341:126::-;15378:7;15418:42;15411:5;15407:54;15396:65;;15341:126;;;:::o;15473:77::-;15510:7;15539:5;15528:16;;15473:77;;;:::o;15556:86::-;15591:7;15631:4;15624:5;15620:16;15609:27;;15556:86;;;:::o;15648:307::-;15716:1;15726:113;15740:6;15737:1;15734:13;15726:113;;;15825:1;15820:3;15816:11;15810:18;15806:1;15801:3;15797:11;15790:39;15762:2;15759:1;15755:10;15750:15;;15726:113;;;15857:6;15854:1;15851:13;15848:101;;;15937:1;15928:6;15923:3;15919:16;15912:27;15848:101;15697:258;15648:307;;;:::o;15961:180::-;16009:77;16006:1;15999:88;16106:4;16103:1;16096:15;16130:4;16127:1;16120:15;16270:117;16379:1;16376;16369:12;16393:102;16434:6;16485:2;16481:7;16476:2;16469:5;16465:14;16461:28;16451:38;;16393:102;;;:::o;16501:::-;16543:8;16590:5;16587:1;16583:13;16562:34;;16501:102;;;:::o;16609:222::-;16749:34;16745:1;16737:6;16733:14;16726:58;16818:5;16813:2;16805:6;16801:15;16794:30;16609:222;:::o;16837:221::-;16977:34;16973:1;16965:6;16961:14;16954:58;17046:4;17041:2;17033:6;17029:15;17022:29;16837:221;:::o;17064:179::-;17204:31;17200:1;17192:6;17188:14;17181:55;17064:179;:::o;17249:225::-;17389:34;17385:1;17377:6;17373:14;17366:58;17458:8;17453:2;17445:6;17441:15;17434:33;17249:225;:::o;17480:229::-;17620:34;17616:1;17608:6;17604:14;17597:58;17689:12;17684:2;17676:6;17672:15;17665:37;17480:229;:::o;17715:235::-;17855:34;17851:1;17843:6;17839:14;17832:58;17924:18;17919:2;17911:6;17907:15;17900:43;17715:235;:::o;17956:224::-;18096:34;18092:1;18084:6;18080:14;18073:58;18165:7;18160:2;18152:6;18148:15;18141:32;17956:224;:::o;18186:223::-;18326:34;18322:1;18314:6;18310:14;18303:58;18395:6;18390:2;18382:6;18378:15;18371:31;18186:223;:::o;18415:234::-;18555:34;18551:1;18543:6;18539:14;18532:58;18624:17;18619:2;18611:6;18607:15;18600:42;18415:234;:::o;18655:224::-;18795:34;18791:1;18783:6;18779:14;18772:58;18864:7;18859:2;18851:6;18847:15;18840:32;18655:224;:::o;18885:122::-;18958:24;18976:5;18958:24;:::i;:::-;18951:5;18948:35;18938:63;;18997:1;18994;18987:12;18938:63;18885:122;:::o;19013:::-;19086:24;19104:5;19086:24;:::i;:::-;19079:5;19076:35;19066:63;;19125:1;19122;19115:12;19066:63;19013:122;:::o

ipfs://9ba324b06abfc848c9e54ef95df215372c8c0a6084b8a825809dc200267581b3