Contract Source Code (Solidity)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta
• Remix IDE

Outline

interface IERC20    - function totalSupply()    - function balanceOf(address account)    - function transfer(address recipient, ...    - function allowance(address owner, add ...    - function approve(address spender, uin ...    - function transferFrom(address sender, ... interface IERC20Metadata is IERC20    - function name()    - function symbol()    - function decimals()    - function _msgSender()    - function _msgData()    - function toString(uint256 value)  contract GASfactory is Context, Fu ... *    - function mint()    - function nextClaimTimestamp( address ...    - function _calculateAmount()    - function name()    - function symbol()    - function decimals()    - function totalSupply()    - function balanceOf(address account)    - function transfer(address recipient, ...    - function allowance(address owner, add ...    - function approve(address spender, uin ...    - function transferFrom(    - function increaseAllowance(address sp ...    - function decreaseAllowance(address sp ...    - function _transfer(address sender, ad ...    - function _mint(address account, uint2 ...    - function _burn(address account, uint2 ...    - function _approve(

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

/**
 *Submitted for verification at Etherscan.io on 2022-10-13
*/

// SPDX-License-Identifier: MIT

pragma solidity ^0.8.0;


interface IERC20 {
    function totalSupply() external view returns (uint256);
    function balanceOf(address account) external view returns (uint256);
    function transfer(address recipient, uint256 amount) external returns (bool);
    function allowance(address owner, address spender) external view returns (uint256);
    function approve(address spender, uint256 amount) external returns (bool);
    function transferFrom(address sender, address recipient, uint256 amount) external returns (bool);

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

interface IERC20Metadata is IERC20 {
    function name() external view returns (string memory);
    function symbol() external view returns (string memory);
    function decimals() external view returns (uint8);
}

abstract contract Context {
    function _msgSender() internal view virtual returns (address) {
        return msg.sender;
    }

    function _msgData() internal view virtual returns (bytes calldata) {
        return msg.data;
    }
}

abstract contract Functional {
    function toString(uint256 value) internal pure returns (string memory) {
        if (value == 0) {
            return "0";
        }
        uint256 temp = value;
        uint256 digits;
        while (temp != 0) {
            digits++;
            temp /= 10;
        }
        bytes memory buffer = new bytes(digits);
        while (value != 0) {
            digits -= 1;
            buffer[digits] = bytes1(uint8(48 + uint256(value % 10)));
            value /= 10;
        }
        return string(buffer);
    }
    
    bool private _reentryKey = false;
    modifier reentryLock {
        require(!_reentryKey, "attempt reenter locked function");
        _reentryKey = true;
        _;
        _reentryKey = false;
    }
}

contract GASfactory is Context, Functional, IERC20, IERC20Metadata {
    mapping(address => uint256) private _balances;

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

    uint256 private _totalSupply;
	uint256 private DAY = 60 * 60 * 24;
    uint256 timer;

    string private _name;
    string private _symbol;
    

    constructor() {
        _name = "GASfactory";
        _symbol = "GAS";
        timer = 1667149200;
    }

    /**
     * @dev deposits daily mining coins into your wallet
     */    
    function mint() external reentryLock {
        require( block.timestamp > timer, "Minting will start soon");
    	require( block.timestamp - _timeStamp[_msgSender()] > DAY, "Min 1 day between mining");
    	_timeStamp[_msgSender()] = block.timestamp;
    	_mint( _msgSender(), _calculateAmount() );
    }
    
    /**
     * @dev shares the unix timestamp of the next time user can mine coins
     */
    function nextClaimTimestamp( address miner ) external view returns(uint256) {
    	return _timeStamp[miner] + DAY;
    }
    
    /**
     * @dev calculates the current coin amount to be dispersed per txn
     *      (reduces daily)
     */
    function _calculateAmount() public view returns (uint256) {
    	// timer is set when contract is deployed on the blockchain and is the basis for all
    	// calculations.
    	
    	// first we determine the amount of time the contract has been running in days
    	uint256 dt = (block.timestamp - timer) / DAY;
    	
    	// calculate the bonus based on dt (early adopters can mint more coins)
    	// bonus will stop 2 years after deployment.
    	return (10 ** 18) * (73000 / (dt + 1));
    }

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

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

    function decimals() public view virtual override returns (uint8) {
        return 18;
    }

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

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

    function transfer(address recipient, uint256 amount) public virtual override returns (bool) {
        _transfer(_msgSender(), recipient, amount);
        return true;
    }

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

    function approve(address spender, uint256 amount) public virtual override returns (bool) {
        _approve(_msgSender(), spender, amount);
        return true;
    }

    function transferFrom(
        address sender,
        address recipient,
        uint256 amount
    ) public virtual override returns (bool) {
        _transfer(sender, recipient, amount);

        uint256 currentAllowance = _allowances[sender][_msgSender()];
        require(currentAllowance >= amount, "ERC20: transfer amount exceeds allowance");
        unchecked {
            _approve(sender, _msgSender(), currentAllowance - amount);
        }

        return true;
    }

    function increaseAllowance(address spender, uint256 addedValue) public virtual returns (bool) {
        _approve(_msgSender(), spender, _allowances[_msgSender()][spender] + addedValue);
        return true;
    }

    function decreaseAllowance(address spender, uint256 subtractedValue) public virtual returns (bool) {
        uint256 currentAllowance = _allowances[_msgSender()][spender];
        require(currentAllowance >= subtractedValue, "ERC20: decreased allowance below zero");
        unchecked {
            _approve(_msgSender(), spender, currentAllowance - subtractedValue);
        }

        return true;
    }

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

        uint256 senderBalance = _balances[sender];
        require(senderBalance >= amount, "ERC20: transfer amount exceeds balance");
        unchecked {
            _balances[sender] = senderBalance - amount;
        }
        _balances[recipient] += amount;

        emit Transfer(sender, recipient, amount);
    }

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

        _totalSupply += amount;
        _balances[account] += amount;
        emit Transfer(address(0), account, amount);
    }

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

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

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

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

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

    receive() external payable {}
    
    fallback() external payable {}
}

• 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"},{"stateMutability":"payable","type":"fallback"},{"inputs":[],"name":"_calculateAmount","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"owner","type":"address"},{"internalType":"address","name":"spender","type":"address"}],"name":"allowance","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"spender","type":"address"},{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"approve","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"account","type":"address"}],"name":"balanceOf","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"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":"mint","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"name","outputs":[{"internalType":"string","name":"","type":"string"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"miner","type":"address"}],"name":"nextClaimTimestamp","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"symbol","outputs":[{"internalType":"string","name":"","type":"string"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"totalSupply","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"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"},{"stateMutability":"payable","type":"receive"}]

608060405260008060006101000a81548160ff021916908315150217905550620151806005553480156200003257600080fd5b506040518060400160405280600a81526020017f474153666163746f7279000000000000000000000000000000000000000000008152506007908051906020019062000080929190620000e0565b506040518060400160405280600381526020017f474153000000000000000000000000000000000000000000000000000000000081525060089080519060200190620000ce929190620000e0565b5063635ead90600681905550620001f5565b828054620000ee9062000190565b90600052602060002090601f0160209004810192826200011257600085556200015e565b82601f106200012d57805160ff19168380011785556200015e565b828001600101855582156200015e579182015b828111156200015d57825182559160200191906001019062000140565b5b5090506200016d919062000171565b5090565b5b808211156200018c57600081600090555060010162000172565b5090565b60006002820490506001821680620001a957607f821691505b60208210811415620001c057620001bf620001c6565b5b50919050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052602260045260246000fd5b611add80620002056000396000f3fe6080604052600436106100e15760003560e01c806370a082311161007f578063a9059cbb11610059578063a9059cbb146102de578063c6f03f7c1461031b578063dd62ed3e14610358578063e7baf2f914610395576100e8565b806370a082311461023957806395d89b4114610276578063a457c2d7146102a1576100e8565b806318160ddd116100bb57806318160ddd1461016957806323b872dd14610194578063313ce567146101d157806339509351146101fc576100e8565b806306fdde03146100ea578063095ea7b3146101155780631249c58b14610152576100e8565b366100e857005b005b3480156100f657600080fd5b506100ff6103c0565b60405161010c91906113b2565b60405180910390f35b34801561012157600080fd5b5061013c60048036038101906101379190611170565b610452565b6040516101499190611397565b60405180910390f35b34801561015e57600080fd5b50610167610470565b005b34801561017557600080fd5b5061017e610630565b60405161018b9190611534565b60405180910390f35b3480156101a057600080fd5b506101bb60048036038101906101b6919061111d565b61063a565b6040516101c89190611397565b60405180910390f35b3480156101dd57600080fd5b506101e6610732565b6040516101f3919061154f565b60405180910390f35b34801561020857600080fd5b50610223600480360381019061021e9190611170565b61073b565b6040516102309190611397565b60405180910390f35b34801561024557600080fd5b50610260600480360381019061025b91906110b0565b6107e7565b60405161026d9190611534565b60405180910390f35b34801561028257600080fd5b5061028b610830565b60405161029891906113b2565b60405180910390f35b3480156102ad57600080fd5b506102c860048036038101906102c39190611170565b6108c2565b6040516102d59190611397565b60405180910390f35b3480156102ea57600080fd5b5061030560048036038101906103009190611170565b6109ad565b6040516103129190611397565b60405180910390f35b34801561032757600080fd5b50610342600480360381019061033d91906110b0565b6109cb565b60405161034f9190611534565b60405180910390f35b34801561036457600080fd5b5061037f600480360381019061037a91906110dd565b610a21565b60405161038c9190611534565b60405180910390f35b3480156103a157600080fd5b506103aa610aa8565b6040516103b79190611534565b60405180910390f35b6060600780546103cf90611723565b80601f01602080910402602001604051908101604052809291908181526020018280546103fb90611723565b80156104485780601f1061041d57610100808354040283529160200191610448565b820191906000526020600020905b81548152906001019060200180831161042b57829003601f168201915b5050505050905090565b600061046661045f610afc565b8484610b04565b6001905092915050565b60008054906101000a900460ff16156104be576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016104b590611474565b60405180910390fd5b60016000806101000a81548160ff021916908315150217905550600654421161051c576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161051390611434565b60405180910390fd5b6005546003600061052b610afc565b73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054426105719190611667565b116105b1576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016105a890611454565b60405180910390fd5b42600360006105be610afc565b73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550610614610607610afc565b61060f610aa8565b610ccf565b60008060006101000a81548160ff021916908315150217905550565b6000600454905090565b6000610647848484610e18565b6000600260008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000206000610692610afc565b73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054905082811015610712576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161070990611494565b60405180910390fd5b6107268561071e610afc565b858403610b04565b60019150509392505050565b60006012905090565b60006107dd610748610afc565b848460026000610756610afc565b73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008873ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546107d89190611586565b610b04565b6001905092915050565b6000600160008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020549050919050565b60606008805461083f90611723565b80601f016020809104026020016040519081016040528092919081815260200182805461086b90611723565b80156108b85780601f1061088d576101008083540402835291602001916108b8565b820191906000526020600020905b81548152906001019060200180831161089b57829003601f168201915b5050505050905090565b600080600260006108d1610afc565b73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205490508281101561098e576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610985906114f4565b60405180910390fd5b6109a2610999610afc565b85858403610b04565b600191505092915050565b60006109c16109ba610afc565b8484610e18565b6001905092915050565b6000600554600360008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054610a1a9190611586565b9050919050565b6000600260008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054905092915050565b60008060055460065442610abc9190611667565b610ac691906115dc565b9050600181610ad59190611586565b62011d28610ae391906115dc565b670de0b6b3a7640000610af6919061160d565b91505090565b600033905090565b600073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff161415610b74576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610b6b906114d4565b60405180910390fd5b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff161415610be4576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610bdb906113f4565b60405180910390fd5b80600260008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508173ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b92583604051610cc29190611534565b60405180910390a3505050565b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff161415610d3f576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610d3690611514565b60405180910390fd5b8060046000828254610d519190611586565b9250508190555080600160008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000206000828254610da79190611586565b925050819055508173ffffffffffffffffffffffffffffffffffffffff16600073ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef83604051610e0c9190611534565b60405180910390a35050565b600073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff161415610e88576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610e7f906114b4565b60405180910390fd5b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff161415610ef8576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610eef906113d4565b60405180910390fd5b6000600160008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054905081811015610f7f576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610f7690611414565b60405180910390fd5b818103600160008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000208190555081600160008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008282546110149190611586565b925050819055508273ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef846040516110789190611534565b60405180910390a350505050565b60008135905061109581611a79565b92915050565b6000813590506110aa81611a90565b92915050565b6000602082840312156110c6576110c56117e2565b5b60006110d484828501611086565b91505092915050565b600080604083850312156110f4576110f36117e2565b5b600061110285828601611086565b925050602061111385828601611086565b9150509250929050565b600080600060608486031215611136576111356117e2565b5b600061114486828701611086565b935050602061115586828701611086565b92505060406111668682870161109b565b9150509250925092565b60008060408385031215611187576111866117e2565b5b600061119585828601611086565b92505060206111a68582860161109b565b9150509250929050565b6111b9816116ad565b82525050565b60006111ca8261156a565b6111d48185611575565b93506111e48185602086016116f0565b6111ed816117e7565b840191505092915050565b6000611205602383611575565b9150611210826117f8565b604082019050919050565b6000611228601583611575565b915061123382611847565b602082019050919050565b600061124b602683611575565b915061125682611870565b604082019050919050565b600061126e601783611575565b9150611279826118bf565b602082019050919050565b6000611291601883611575565b915061129c826118e8565b602082019050919050565b60006112b4601f83611575565b91506112bf82611911565b602082019050919050565b60006112d7602883611575565b91506112e28261193a565b604082019050919050565b60006112fa602583611575565b915061130582611989565b604082019050919050565b600061131d601783611575565b9150611328826119d8565b602082019050919050565b6000611340602583611575565b915061134b82611a01565b604082019050919050565b6000611363601f83611575565b915061136e82611a50565b602082019050919050565b611382816116d9565b82525050565b611391816116e3565b82525050565b60006020820190506113ac60008301846111b0565b92915050565b600060208201905081810360008301526113cc81846111bf565b905092915050565b600060208201905081810360008301526113ed816111f8565b9050919050565b6000602082019050818103600083015261140d8161121b565b9050919050565b6000602082019050818103600083015261142d8161123e565b9050919050565b6000602082019050818103600083015261144d81611261565b9050919050565b6000602082019050818103600083015261146d81611284565b9050919050565b6000602082019050818103600083015261148d816112a7565b9050919050565b600060208201905081810360008301526114ad816112ca565b9050919050565b600060208201905081810360008301526114cd816112ed565b9050919050565b600060208201905081810360008301526114ed81611310565b9050919050565b6000602082019050818103600083015261150d81611333565b9050919050565b6000602082019050818103600083015261152d81611356565b9050919050565b60006020820190506115496000830184611379565b92915050565b60006020820190506115646000830184611388565b92915050565b600081519050919050565b600082825260208201905092915050565b6000611591826116d9565b915061159c836116d9565b9250827fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff038211156115d1576115d0611755565b5b828201905092915050565b60006115e7826116d9565b91506115f2836116d9565b92508261160257611601611784565b5b828204905092915050565b6000611618826116d9565b9150611623836116d9565b9250817fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff048311821515161561165c5761165b611755565b5b828202905092915050565b6000611672826116d9565b915061167d836116d9565b9250828210156116905761168f611755565b5b828203905092915050565b60006116a6826116b9565b9050919050565b60008115159050919050565b600073ffffffffffffffffffffffffffffffffffffffff82169050919050565b6000819050919050565b600060ff82169050919050565b60005b8381101561170e5780820151818401526020810190506116f3565b8381111561171d576000848401525b50505050565b6000600282049050600182168061173b57607f821691505b6020821081141561174f5761174e6117b3565b5b50919050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052601160045260246000fd5b7f4e487b7100000000000000000000000000000000000000000000000000000000600052601260045260246000fd5b7f4e487b7100000000000000000000000000000000000000000000000000000000600052602260045260246000fd5b600080fd5b6000601f19601f8301169050919050565b7f45524332303a207472616e7366657220746f20746865207a65726f206164647260008201527f6573730000000000000000000000000000000000000000000000000000000000602082015250565b7f45524332303a20617070726f766520746f203078300000000000000000000000600082015250565b7f45524332303a207472616e7366657220616d6f756e742065786365656473206260008201527f616c616e63650000000000000000000000000000000000000000000000000000602082015250565b7f4d696e74696e672077696c6c20737461727420736f6f6e000000000000000000600082015250565b7f4d696e203120646179206265747765656e206d696e696e670000000000000000600082015250565b7f617474656d7074207265656e746572206c6f636b65642066756e6374696f6e00600082015250565b7f45524332303a207472616e7366657220616d6f756e742065786365656473206160008201527f6c6c6f77616e6365000000000000000000000000000000000000000000000000602082015250565b7f45524332303a207472616e736665722066726f6d20746865207a65726f20616460008201527f6472657373000000000000000000000000000000000000000000000000000000602082015250565b7f45524332303a20617070726f76652066726f6d20307830000000000000000000600082015250565b7f45524332303a2064656372656173656420616c6c6f77616e63652062656c6f7760008201527f207a65726f000000000000000000000000000000000000000000000000000000602082015250565b7f45524332303a206d696e7420746f20746865207a65726f206164647265737300600082015250565b611a828161169b565b8114611a8d57600080fd5b50565b611a99816116d9565b8114611aa457600080fd5b5056fea264697066735822122055e772e5241ecd342ebfae29ececb8e4c271c838b4b1d640a5a09cefc4b96c0364736f6c63430008070033

0x6080604052600436106100e15760003560e01c806370a082311161007f578063a9059cbb11610059578063a9059cbb146102de578063c6f03f7c1461031b578063dd62ed3e14610358578063e7baf2f914610395576100e8565b806370a082311461023957806395d89b4114610276578063a457c2d7146102a1576100e8565b806318160ddd116100bb57806318160ddd1461016957806323b872dd14610194578063313ce567146101d157806339509351146101fc576100e8565b806306fdde03146100ea578063095ea7b3146101155780631249c58b14610152576100e8565b366100e857005b005b3480156100f657600080fd5b506100ff6103c0565b60405161010c91906113b2565b60405180910390f35b34801561012157600080fd5b5061013c60048036038101906101379190611170565b610452565b6040516101499190611397565b60405180910390f35b34801561015e57600080fd5b50610167610470565b005b34801561017557600080fd5b5061017e610630565b60405161018b9190611534565b60405180910390f35b3480156101a057600080fd5b506101bb60048036038101906101b6919061111d565b61063a565b6040516101c89190611397565b60405180910390f35b3480156101dd57600080fd5b506101e6610732565b6040516101f3919061154f565b60405180910390f35b34801561020857600080fd5b50610223600480360381019061021e9190611170565b61073b565b6040516102309190611397565b60405180910390f35b34801561024557600080fd5b50610260600480360381019061025b91906110b0565b6107e7565b60405161026d9190611534565b60405180910390f35b34801561028257600080fd5b5061028b610830565b60405161029891906113b2565b60405180910390f35b3480156102ad57600080fd5b506102c860048036038101906102c39190611170565b6108c2565b6040516102d59190611397565b60405180910390f35b3480156102ea57600080fd5b5061030560048036038101906103009190611170565b6109ad565b6040516103129190611397565b60405180910390f35b34801561032757600080fd5b50610342600480360381019061033d91906110b0565b6109cb565b60405161034f9190611534565b60405180910390f35b34801561036457600080fd5b5061037f600480360381019061037a91906110dd565b610a21565b60405161038c9190611534565b60405180910390f35b3480156103a157600080fd5b506103aa610aa8565b6040516103b79190611534565b60405180910390f35b6060600780546103cf90611723565b80601f01602080910402602001604051908101604052809291908181526020018280546103fb90611723565b80156104485780601f1061041d57610100808354040283529160200191610448565b820191906000526020600020905b81548152906001019060200180831161042b57829003601f168201915b5050505050905090565b600061046661045f610afc565b8484610b04565b6001905092915050565b60008054906101000a900460ff16156104be576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016104b590611474565b60405180910390fd5b60016000806101000a81548160ff021916908315150217905550600654421161051c576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161051390611434565b60405180910390fd5b6005546003600061052b610afc565b73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054426105719190611667565b116105b1576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016105a890611454565b60405180910390fd5b42600360006105be610afc565b73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550610614610607610afc565b61060f610aa8565b610ccf565b60008060006101000a81548160ff021916908315150217905550565b6000600454905090565b6000610647848484610e18565b6000600260008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000206000610692610afc565b73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054905082811015610712576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161070990611494565b60405180910390fd5b6107268561071e610afc565b858403610b04565b60019150509392505050565b60006012905090565b60006107dd610748610afc565b848460026000610756610afc565b73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008873ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546107d89190611586565b610b04565b6001905092915050565b6000600160008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020549050919050565b60606008805461083f90611723565b80601f016020809104026020016040519081016040528092919081815260200182805461086b90611723565b80156108b85780601f1061088d576101008083540402835291602001916108b8565b820191906000526020600020905b81548152906001019060200180831161089b57829003601f168201915b5050505050905090565b600080600260006108d1610afc565b73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205490508281101561098e576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610985906114f4565b60405180910390fd5b6109a2610999610afc565b85858403610b04565b600191505092915050565b60006109c16109ba610afc565b8484610e18565b6001905092915050565b6000600554600360008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054610a1a9190611586565b9050919050565b6000600260008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054905092915050565b60008060055460065442610abc9190611667565b610ac691906115dc565b9050600181610ad59190611586565b62011d28610ae391906115dc565b670de0b6b3a7640000610af6919061160d565b91505090565b600033905090565b600073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff161415610b74576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610b6b906114d4565b60405180910390fd5b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff161415610be4576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610bdb906113f4565b60405180910390fd5b80600260008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508173ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b92583604051610cc29190611534565b60405180910390a3505050565b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff161415610d3f576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610d3690611514565b60405180910390fd5b8060046000828254610d519190611586565b9250508190555080600160008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000206000828254610da79190611586565b925050819055508173ffffffffffffffffffffffffffffffffffffffff16600073ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef83604051610e0c9190611534565b60405180910390a35050565b600073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff161415610e88576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610e7f906114b4565b60405180910390fd5b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff161415610ef8576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610eef906113d4565b60405180910390fd5b6000600160008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054905081811015610f7f576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610f7690611414565b60405180910390fd5b818103600160008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000208190555081600160008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008282546110149190611586565b925050819055508273ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef846040516110789190611534565b60405180910390a350505050565b60008135905061109581611a79565b92915050565b6000813590506110aa81611a90565b92915050565b6000602082840312156110c6576110c56117e2565b5b60006110d484828501611086565b91505092915050565b600080604083850312156110f4576110f36117e2565b5b600061110285828601611086565b925050602061111385828601611086565b9150509250929050565b600080600060608486031215611136576111356117e2565b5b600061114486828701611086565b935050602061115586828701611086565b92505060406111668682870161109b565b9150509250925092565b60008060408385031215611187576111866117e2565b5b600061119585828601611086565b92505060206111a68582860161109b565b9150509250929050565b6111b9816116ad565b82525050565b60006111ca8261156a565b6111d48185611575565b93506111e48185602086016116f0565b6111ed816117e7565b840191505092915050565b6000611205602383611575565b9150611210826117f8565b604082019050919050565b6000611228601583611575565b915061123382611847565b602082019050919050565b600061124b602683611575565b915061125682611870565b604082019050919050565b600061126e601783611575565b9150611279826118bf565b602082019050919050565b6000611291601883611575565b915061129c826118e8565b602082019050919050565b60006112b4601f83611575565b91506112bf82611911565b602082019050919050565b60006112d7602883611575565b91506112e28261193a565b604082019050919050565b60006112fa602583611575565b915061130582611989565b604082019050919050565b600061131d601783611575565b9150611328826119d8565b602082019050919050565b6000611340602583611575565b915061134b82611a01565b604082019050919050565b6000611363601f83611575565b915061136e82611a50565b602082019050919050565b611382816116d9565b82525050565b611391816116e3565b82525050565b60006020820190506113ac60008301846111b0565b92915050565b600060208201905081810360008301526113cc81846111bf565b905092915050565b600060208201905081810360008301526113ed816111f8565b9050919050565b6000602082019050818103600083015261140d8161121b565b9050919050565b6000602082019050818103600083015261142d8161123e565b9050919050565b6000602082019050818103600083015261144d81611261565b9050919050565b6000602082019050818103600083015261146d81611284565b9050919050565b6000602082019050818103600083015261148d816112a7565b9050919050565b600060208201905081810360008301526114ad816112ca565b9050919050565b600060208201905081810360008301526114cd816112ed565b9050919050565b600060208201905081810360008301526114ed81611310565b9050919050565b6000602082019050818103600083015261150d81611333565b9050919050565b6000602082019050818103600083015261152d81611356565b9050919050565b60006020820190506115496000830184611379565b92915050565b60006020820190506115646000830184611388565b92915050565b600081519050919050565b600082825260208201905092915050565b6000611591826116d9565b915061159c836116d9565b9250827fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff038211156115d1576115d0611755565b5b828201905092915050565b60006115e7826116d9565b91506115f2836116d9565b92508261160257611601611784565b5b828204905092915050565b6000611618826116d9565b9150611623836116d9565b9250817fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff048311821515161561165c5761165b611755565b5b828202905092915050565b6000611672826116d9565b915061167d836116d9565b9250828210156116905761168f611755565b5b828203905092915050565b60006116a6826116b9565b9050919050565b60008115159050919050565b600073ffffffffffffffffffffffffffffffffffffffff82169050919050565b6000819050919050565b600060ff82169050919050565b60005b8381101561170e5780820151818401526020810190506116f3565b8381111561171d576000848401525b50505050565b6000600282049050600182168061173b57607f821691505b6020821081141561174f5761174e6117b3565b5b50919050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052601160045260246000fd5b7f4e487b7100000000000000000000000000000000000000000000000000000000600052601260045260246000fd5b7f4e487b7100000000000000000000000000000000000000000000000000000000600052602260045260246000fd5b600080fd5b6000601f19601f8301169050919050565b7f45524332303a207472616e7366657220746f20746865207a65726f206164647260008201527f6573730000000000000000000000000000000000000000000000000000000000602082015250565b7f45524332303a20617070726f766520746f203078300000000000000000000000600082015250565b7f45524332303a207472616e7366657220616d6f756e742065786365656473206260008201527f616c616e63650000000000000000000000000000000000000000000000000000602082015250565b7f4d696e74696e672077696c6c20737461727420736f6f6e000000000000000000600082015250565b7f4d696e203120646179206265747765656e206d696e696e670000000000000000600082015250565b7f617474656d7074207265656e746572206c6f636b65642066756e6374696f6e00600082015250565b7f45524332303a207472616e7366657220616d6f756e742065786365656473206160008201527f6c6c6f77616e6365000000000000000000000000000000000000000000000000602082015250565b7f45524332303a207472616e736665722066726f6d20746865207a65726f20616460008201527f6472657373000000000000000000000000000000000000000000000000000000602082015250565b7f45524332303a20617070726f76652066726f6d20307830000000000000000000600082015250565b7f45524332303a2064656372656173656420616c6c6f77616e63652062656c6f7760008201527f207a65726f000000000000000000000000000000000000000000000000000000602082015250565b7f45524332303a206d696e7420746f20746865207a65726f206164647265737300600082015250565b611a828161169b565b8114611a8d57600080fd5b50565b611a99816116d9565b8114611aa457600080fd5b5056fea264697066735822122055e772e5241ecd342ebfae29ececb8e4c271c838b4b1d640a5a09cefc4b96c0364736f6c63430008070033

2004:5810:0:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;3795:100;;;;;;;;;;;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;4709:169;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;2613:309;;;;;;;;;;;;;:::i;:::-;;4116:108;;;;;;;;;;;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;4886:492;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;4015:93;;;;;;;;;;;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;5386:215;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;4232:127;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;3903:104;;;;;;;;;;;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;5609:413;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;4367:175;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;3028:122;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;4550:151;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;3281:506;;;;;;;;;;;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;3795:100;3849:13;3882:5;3875:12;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;3795:100;:::o;4709:169::-;4792:4;4809:39;4818:12;:10;:12::i;:::-;4832:7;4841:6;4809:8;:39::i;:::-;4866:4;4859:11;;4709:169;;;;:::o;2613:309::-;1871:11;;;;;;;;;;1870:12;1862:56;;;;;;;;;;;;:::i;:::-;;;;;;;;;1943:4;1929:11;;:18;;;;;;;;;;;;;;;;;;2688:5:::1;;2670:15;:23;2661:60;;;;;;;;;;;;:::i;:::-;;;;;;;;;2783:3;;2756:10;:24;2767:12;:10;:12::i;:::-;2756:24;;;;;;;;;;;;;;;;2738:15;:42;;;;:::i;:::-;:48;2729:86;;;;;;;;;;;;:::i;:::-;;;;;;;;;2850:15;2823:10;:24;2834:12;:10;:12::i;:::-;2823:24;;;;;;;;;;;;;;;:42;;;;2873:41;2880:12;:10;:12::i;:::-;2894:18;:16;:18::i;:::-;2873:5;:41::i;:::-;1984:5:::0;1970:11;;:19;;;;;;;;;;;;;;;;;;2613:309::o;4116:108::-;4177:7;4204:12;;4197:19;;4116:108;:::o;4886:492::-;5026:4;5043:36;5053:6;5061:9;5072:6;5043:9;:36::i;:::-;5092:24;5119:11;:19;5131:6;5119:19;;;;;;;;;;;;;;;:33;5139:12;:10;:12::i;:::-;5119:33;;;;;;;;;;;;;;;;5092:60;;5191:6;5171:16;:26;;5163:79;;;;;;;;;;;;:::i;:::-;;;;;;;;;5278:57;5287:6;5295:12;:10;:12::i;:::-;5328:6;5309:16;:25;5278:8;:57::i;:::-;5366:4;5359:11;;;4886:492;;;;;:::o;4015:93::-;4073:5;4098:2;4091:9;;4015:93;:::o;5386:215::-;5474:4;5491:80;5500:12;:10;:12::i;:::-;5514:7;5560:10;5523:11;:25;5535:12;:10;:12::i;:::-;5523:25;;;;;;;;;;;;;;;:34;5549:7;5523:34;;;;;;;;;;;;;;;;:47;;;;:::i;:::-;5491:8;:80::i;:::-;5589:4;5582:11;;5386:215;;;;:::o;4232:127::-;4306:7;4333:9;:18;4343:7;4333:18;;;;;;;;;;;;;;;;4326:25;;4232:127;;;:::o;3903:104::-;3959:13;3992:7;3985:14;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;3903:104;:::o;5609:413::-;5702:4;5719:24;5746:11;:25;5758:12;:10;:12::i;:::-;5746:25;;;;;;;;;;;;;;;:34;5772:7;5746:34;;;;;;;;;;;;;;;;5719:61;;5819:15;5799:16;:35;;5791:85;;;;;;;;;;;;:::i;:::-;;;;;;;;;5912:67;5921:12;:10;:12::i;:::-;5935:7;5963:15;5944:16;:34;5912:8;:67::i;:::-;6010:4;6003:11;;;5609:413;;;;:::o;4367:175::-;4453:4;4470:42;4480:12;:10;:12::i;:::-;4494:9;4505:6;4470:9;:42::i;:::-;4530:4;4523:11;;4367:175;;;;:::o;3028:122::-;3095:7;3139:3;;3119:10;:17;3130:5;3119:17;;;;;;;;;;;;;;;;:23;;;;:::i;:::-;3112:30;;3028:122;;;:::o;4550:151::-;4639:7;4666:11;:18;4678:5;4666:18;;;;;;;;;;;;;;;:27;4685:7;4666:27;;;;;;;;;;;;;;;;4659:34;;4550:151;;;;:::o;3281:506::-;3330:7;3553:10;3594:3;;3585:5;;3567:15;:23;;;;:::i;:::-;3566:31;;;;:::i;:::-;3553:44;;3776:1;3771:2;:6;;;;:::i;:::-;3762:5;:16;;;;:::i;:::-;3749:8;3748:31;;;;:::i;:::-;3741:38;;;3281:506;:::o;997:98::-;1050:7;1077:10;1070:17;;997:98;:::o;7378:354::-;7531:1;7514:19;;:5;:19;;;;7506:55;;;;;;;;;;;;:::i;:::-;;;;;;;;;7599:1;7580:21;;:7;:21;;;;7572:55;;;;;;;;;;;;:::i;:::-;;;;;;;;;7670:6;7640:11;:18;7652:5;7640:18;;;;;;;;;;;;;;;:27;7659:7;7640:27;;;;;;;;;;;;;;;:36;;;;7708:7;7692:32;;7701:5;7692:32;;;7717:6;7692:32;;;;;;:::i;:::-;;;;;;;;7378:354;;;:::o;6618:276::-;6721:1;6702:21;;:7;:21;;;;6694:65;;;;;;;;;;;;:::i;:::-;;;;;;;;;6788:6;6772:12;;:22;;;;;;;:::i;:::-;;;;;;;;6827:6;6805:9;:18;6815:7;6805:18;;;;;;;;;;;;;;;;:28;;;;;;;:::i;:::-;;;;;;;;6870:7;6849:37;;6866:1;6849:37;;;6879:6;6849:37;;;;;;:::i;:::-;;;;;;;;6618:276;;:::o;6030:580::-;6154:1;6136:20;;:6;:20;;;;6128:70;;;;;;;;;;;;:::i;:::-;;;;;;;;;6238:1;6217:23;;:9;:23;;;;6209:71;;;;;;;;;;;;:::i;:::-;;;;;;;;;6293:21;6317:9;:17;6327:6;6317:17;;;;;;;;;;;;;;;;6293:41;;6370:6;6353:13;:23;;6345:74;;;;;;;;;;;;:::i;:::-;;;;;;;;;6491:6;6475:13;:22;6455:9;:17;6465:6;6455:17;;;;;;;;;;;;;;;:42;;;;6543:6;6519:9;:20;6529:9;6519:20;;;;;;;;;;;;;;;;:30;;;;;;;:::i;:::-;;;;;;;;6584:9;6567:35;;6576:6;6567:35;;;6595:6;6567:35;;;;;;:::i;:::-;;;;;;;;6117:493;6030:580;;;:::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:::-;6564:3;6585:67;6649:2;6644:3;6585:67;:::i;:::-;6578:74;;6661:93;6750:3;6661:93;:::i;:::-;6779:2;6774:3;6770:12;6763:19;;6422:366;;;:::o;6794:118::-;6881:24;6899:5;6881:24;:::i;:::-;6876:3;6869:37;6794:118;;:::o;6918:112::-;7001:22;7017:5;7001:22;:::i;:::-;6996:3;6989:35;6918:112;;:::o;7036:210::-;7123:4;7161:2;7150:9;7146:18;7138:26;;7174:65;7236:1;7225:9;7221:17;7212:6;7174:65;:::i;:::-;7036:210;;;;:::o;7252:313::-;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:78;7553:4;7544:6;7480:78;:::i;:::-;7472:86;;7252:313;;;;:::o;7571:419::-;7737:4;7775:2;7764:9;7760:18;7752:26;;7824:9;7818:4;7814:20;7810:1;7799:9;7795:17;7788:47;7852:131;7978:4;7852:131;:::i;:::-;7844:139;;7571:419;;;:::o;7996:::-;8162:4;8200:2;8189:9;8185:18;8177:26;;8249:9;8243:4;8239:20;8235:1;8224:9;8220:17;8213:47;8277:131;8403:4;8277:131;:::i;:::-;8269:139;;7996:419;;;:::o;8421:::-;8587:4;8625:2;8614:9;8610:18;8602:26;;8674:9;8668:4;8664:20;8660:1;8649:9;8645:17;8638:47;8702:131;8828:4;8702:131;:::i;:::-;8694:139;;8421:419;;;:::o;8846:::-;9012:4;9050:2;9039:9;9035:18;9027:26;;9099:9;9093:4;9089:20;9085:1;9074:9;9070:17;9063:47;9127:131;9253:4;9127:131;:::i;:::-;9119:139;;8846:419;;;:::o;9271:::-;9437:4;9475:2;9464:9;9460:18;9452:26;;9524:9;9518:4;9514:20;9510:1;9499:9;9495:17;9488:47;9552:131;9678:4;9552:131;:::i;:::-;9544:139;;9271:419;;;:::o;9696:::-;9862:4;9900:2;9889:9;9885:18;9877:26;;9949:9;9943:4;9939:20;9935:1;9924:9;9920:17;9913:47;9977:131;10103:4;9977:131;:::i;:::-;9969:139;;9696:419;;;:::o;10121:::-;10287:4;10325:2;10314:9;10310:18;10302:26;;10374:9;10368:4;10364:20;10360:1;10349:9;10345:17;10338:47;10402:131;10528:4;10402:131;:::i;:::-;10394:139;;10121:419;;;:::o;10546:::-;10712:4;10750:2;10739:9;10735:18;10727:26;;10799:9;10793:4;10789:20;10785:1;10774:9;10770:17;10763:47;10827:131;10953:4;10827:131;:::i;:::-;10819:139;;10546:419;;;:::o;10971:::-;11137:4;11175:2;11164:9;11160:18;11152:26;;11224:9;11218:4;11214:20;11210:1;11199:9;11195:17;11188:47;11252:131;11378:4;11252:131;:::i;:::-;11244:139;;10971:419;;;:::o;11396:::-;11562:4;11600:2;11589:9;11585:18;11577:26;;11649:9;11643:4;11639:20;11635:1;11624:9;11620:17;11613:47;11677:131;11803:4;11677:131;:::i;:::-;11669:139;;11396:419;;;:::o;11821:::-;11987:4;12025:2;12014:9;12010:18;12002:26;;12074:9;12068:4;12064:20;12060:1;12049:9;12045:17;12038:47;12102:131;12228:4;12102:131;:::i;:::-;12094:139;;11821:419;;;:::o;12246:222::-;12339:4;12377:2;12366:9;12362:18;12354:26;;12390:71;12458:1;12447:9;12443:17;12434:6;12390:71;:::i;:::-;12246:222;;;;:::o;12474:214::-;12563:4;12601:2;12590:9;12586:18;12578:26;;12614:67;12678:1;12667:9;12663:17;12654:6;12614:67;:::i;:::-;12474:214;;;;:::o;12775:99::-;12827:6;12861:5;12855:12;12845:22;;12775:99;;;:::o;12880:169::-;12964:11;12998:6;12993:3;12986:19;13038:4;13033:3;13029:14;13014:29;;12880:169;;;;:::o;13055:305::-;13095:3;13114:20;13132:1;13114:20;:::i;:::-;13109:25;;13148:20;13166:1;13148:20;:::i;:::-;13143:25;;13302:1;13234:66;13230:74;13227:1;13224:81;13221:107;;;13308:18;;:::i;:::-;13221:107;13352:1;13349;13345:9;13338:16;;13055:305;;;;:::o;13366:185::-;13406:1;13423:20;13441:1;13423:20;:::i;:::-;13418:25;;13457:20;13475:1;13457:20;:::i;:::-;13452:25;;13496:1;13486:35;;13501:18;;:::i;:::-;13486:35;13543:1;13540;13536:9;13531:14;;13366:185;;;;:::o;13557:348::-;13597:7;13620:20;13638:1;13620:20;:::i;:::-;13615:25;;13654:20;13672:1;13654:20;:::i;:::-;13649:25;;13842:1;13774:66;13770:74;13767:1;13764:81;13759:1;13752:9;13745:17;13741:105;13738:131;;;13849:18;;:::i;:::-;13738:131;13897:1;13894;13890:9;13879:20;;13557:348;;;;:::o;13911:191::-;13951:4;13971:20;13989:1;13971:20;:::i;:::-;13966:25;;14005:20;14023:1;14005:20;:::i;:::-;14000:25;;14044:1;14041;14038:8;14035:34;;;14049:18;;:::i;:::-;14035:34;14094:1;14091;14087:9;14079:17;;13911:191;;;;:::o;14108:96::-;14145:7;14174:24;14192:5;14174:24;:::i;:::-;14163:35;;14108:96;;;:::o;14210:90::-;14244:7;14287:5;14280:13;14273:21;14262:32;;14210:90;;;:::o;14306:126::-;14343:7;14383:42;14376:5;14372:54;14361:65;;14306:126;;;:::o;14438:77::-;14475:7;14504:5;14493:16;;14438:77;;;:::o;14521:86::-;14556:7;14596:4;14589:5;14585:16;14574:27;;14521:86;;;:::o;14613:307::-;14681:1;14691:113;14705:6;14702:1;14699:13;14691:113;;;14790:1;14785:3;14781:11;14775:18;14771:1;14766:3;14762:11;14755:39;14727:2;14724:1;14720:10;14715:15;;14691:113;;;14822:6;14819:1;14816:13;14813:101;;;14902:1;14893:6;14888:3;14884:16;14877:27;14813:101;14662:258;14613:307;;;:::o;14926:320::-;14970:6;15007:1;15001:4;14997:12;14987:22;;15054:1;15048:4;15044:12;15075:18;15065:81;;15131:4;15123:6;15119:17;15109:27;;15065:81;15193:2;15185:6;15182:14;15162:18;15159:38;15156:84;;;15212:18;;:::i;:::-;15156:84;14977:269;14926:320;;;:::o;15252:180::-;15300:77;15297:1;15290:88;15397:4;15394:1;15387:15;15421:4;15418:1;15411:15;15438:180;15486:77;15483:1;15476:88;15583:4;15580:1;15573:15;15607:4;15604:1;15597:15;15624:180;15672:77;15669:1;15662:88;15769:4;15766:1;15759:15;15793:4;15790:1;15783:15;15933:117;16042:1;16039;16032:12;16056:102;16097:6;16148:2;16144:7;16139:2;16132:5;16128:14;16124:28;16114:38;;16056:102;;;:::o;16164:222::-;16304:34;16300:1;16292:6;16288:14;16281:58;16373:5;16368:2;16360:6;16356:15;16349:30;16164:222;:::o;16392:171::-;16532:23;16528:1;16520:6;16516:14;16509:47;16392:171;:::o;16569:225::-;16709:34;16705:1;16697:6;16693:14;16686:58;16778:8;16773:2;16765:6;16761:15;16754:33;16569:225;:::o;16800:173::-;16940:25;16936:1;16928:6;16924:14;16917:49;16800:173;:::o;16979:174::-;17119:26;17115:1;17107:6;17103:14;17096:50;16979:174;:::o;17159:181::-;17299:33;17295:1;17287:6;17283:14;17276:57;17159:181;:::o;17346:227::-;17486:34;17482:1;17474:6;17470:14;17463:58;17555:10;17550:2;17542:6;17538:15;17531:35;17346:227;:::o;17579:224::-;17719:34;17715:1;17707:6;17703:14;17696:58;17788:7;17783:2;17775:6;17771:15;17764:32;17579:224;:::o;17809:173::-;17949:25;17945:1;17937:6;17933:14;17926:49;17809:173;:::o;17988:224::-;18128:34;18124:1;18116:6;18112:14;18105:58;18197:7;18192:2;18184:6;18180:15;18173:32;17988:224;:::o;18218:181::-;18358:33;18354:1;18346:6;18342:14;18335:57;18218:181;:::o;18405:122::-;18478:24;18496:5;18478:24;:::i;:::-;18471:5;18468:35;18458:63;;18517:1;18514;18507:12;18458:63;18405:122;:::o;18533:::-;18606:24;18624:5;18606:24;:::i;:::-;18599:5;18596:35;18586:63;;18645:1;18642;18635:12;18586:63;18533:122;:::o

ipfs://55e772e5241ecd342ebfae29ececb8e4c271c838b4b1d640a5a09cefc4b96c03