Contract Source Code (Solidity)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta
• Remix IDE

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

/**
 *Submitted for verification at Etherscan.io on 2021-06-13
*/

// SPDX-License-Identifier: MIT

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

    function _msgData() internal view virtual returns (bytes calldata) {
        this; // silence state mutability warning without generating bytecode - see https://github.com/ethereum/solidity/issues/2691
        return msg.data;
    }
}
interface Art_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 increaseAllowance(address spender, uint256 addedValue) external  returns (bool);

    function transferFrom(address sender, address recipient, uint256 amount) external returns (bool);

    function name() external  view  returns(string memory);
    function symbol() external view   returns (string memory);
    function decimals() external view  returns (uint8);
    
    function getTokenPrice() external view  returns (uint256);
    
    event Transfer(address indexed from, address indexed to, uint256 value);

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



/*
fixed supply MJC 
*/

contract MJC_ERC20 is Context, Art_IERC20 {
    mapping (address => uint256) private _balances;

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

    uint256 private _totalSupply;
    uint8 private _decimals;

    string private _name;
    string private _symbol;

    address payable owner;
    uint  priceEthToken;

    constructor ( string memory name_, string memory symbol_, uint8 decimals_) {
        _name = name_;
        _symbol = symbol_;
        _decimals = decimals_;
        owner =payable(msg.sender);
        priceEthToken = 0.01 ether;
    }
   
    modifier onlyOwner {
        require(msg.sender == owner);
        _;
    }
    
    function setTokenPrice(uint priceWeiTokens) public  returns (bool esito) {
        require(msg.sender == owner,"Solo il propritario puo settare il prezzo");
        priceEthToken = priceWeiTokens;
        return true;
    }
    
    /* buy MJC for using to buy Artworks */
    function buyToken( uint tokens) payable public  returns (bool success) {//
        uint amount = msg.value;
        uint256 sellerBalance = balanceOf(owner);
        require(tokens <= sellerBalance, "Not enough tokens in the Seller reserve");
        require(amount >= priceEthToken * (tokens / (10 ** uint256(_decimals))), "Wrong price Token");
        _balances[owner] -=  tokens;
        _balances[msg.sender] += tokens;
        emit Transfer(owner, msg.sender, tokens);
        owner.transfer(amount);

        return true;
    }
    
    function getTokenPrice() external view override returns (uint256){
        return priceEthToken;
    }
    
    /* DEFAULT FUNCTIONS*/
    
    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 _decimals;
    }

    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)), "MJC: transfer amount exceeds allowance ");
        unchecked {
            _approve(sender, _msgSender(), currentAllowance - amount);
        }
    
        return true;
    }

  
    function increaseAllowance(address spender, uint256 addedValue) public virtual override 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");

        _beforeTokenTransfer(sender, recipient, amount);

        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");

        _beforeTokenTransfer(address(0), account, amount);

        _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");

        _beforeTokenTransfer(account, address(0), amount);

        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 the zero address");
        require(spender != address(0), "ERC20: approve to the zero address");

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


    function _beforeTokenTransfer(address from, address to, uint256 amount) internal virtual { }
    
}
contract MJCoin_Token is MJC_ERC20 {
    
  //Nome symbol decimal  
    constructor() MJC_ERC20("MaryJaneCoin", "MJC",10)  {
        uint256 totalSupply = 1000000 * (10 ** uint256(10));
        _mint(msg.sender,totalSupply);
    }
}

• No Contract Security Audit Submitted- Submit Audit Here

[{"inputs":[],"stateMutability":"nonpayable","type":"constructor"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"owner","type":"address"},{"indexed":true,"internalType":"address","name":"spender","type":"address"},{"indexed":false,"internalType":"uint256","name":"value","type":"uint256"}],"name":"Approval","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"from","type":"address"},{"indexed":true,"internalType":"address","name":"to","type":"address"},{"indexed":false,"internalType":"uint256","name":"value","type":"uint256"}],"name":"Transfer","type":"event"},{"inputs":[{"internalType":"address","name":"Owner","type":"address"},{"internalType":"address","name":"spender","type":"address"}],"name":"allowance","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"spender","type":"address"},{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"approve","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"account","type":"address"}],"name":"balanceOf","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"uint256","name":"tokens","type":"uint256"}],"name":"buyToken","outputs":[{"internalType":"bool","name":"success","type":"bool"}],"stateMutability":"payable","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":[],"name":"getTokenPrice","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"spender","type":"address"},{"internalType":"uint256","name":"addedValue","type":"uint256"}],"name":"increaseAllowance","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"name","outputs":[{"internalType":"string","name":"","type":"string"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"uint256","name":"priceWeiTokens","type":"uint256"}],"name":"setTokenPrice","outputs":[{"internalType":"bool","name":"esito","type":"bool"}],"stateMutability":"nonpayable","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"}]

60806040523480156200001157600080fd5b506040518060400160405280600c81526020017f4d6172794a616e65436f696e00000000000000000000000000000000000000008152506040518060400160405280600381526020017f4d4a430000000000000000000000000000000000000000000000000000000000815250600a826004908051906020019062000098929190620002c5565b508160059080519060200190620000b1929190620002c5565b5080600360006101000a81548160ff021916908360ff16021790555033600660006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff160217905550662386f26fc100006007819055505050506000600a80620001309190620004b5565b620f4240620001409190620005f2565b90506200015433826200015b60201b60201c565b5062000727565b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff161415620001ce576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401620001c590620003ad565b60405180910390fd5b620001e260008383620002c060201b60201c565b8060026000828254620001f69190620003fd565b92505081905550806000808473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008282546200024d9190620003fd565b925050819055508173ffffffffffffffffffffffffffffffffffffffff16600073ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef83604051620002b49190620003cf565b60405180910390a35050565b505050565b828054620002d3906200065d565b90600052602060002090601f016020900481019282620002f7576000855562000343565b82601f106200031257805160ff191683800117855562000343565b8280016001018555821562000343579182015b828111156200034257825182559160200191906001019062000325565b5b50905062000352919062000356565b5090565b5b808211156200037157600081600090555060010162000357565b5090565b600062000384601f83620003ec565b91506200039182620006fe565b602082019050919050565b620003a78162000653565b82525050565b60006020820190508181036000830152620003c88162000375565b9050919050565b6000602082019050620003e660008301846200039c565b92915050565b600082825260208201905092915050565b60006200040a8262000653565b9150620004178362000653565b9250827fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff038211156200044f576200044e62000693565b5b828201905092915050565b6000808291508390505b6001851115620004ac5780860481111562000484576200048362000693565b5b6001851615620004945780820291505b8081029050620004a485620006f1565b945062000464565b94509492505050565b6000620004c28262000653565b9150620004cf8362000653565b9250620004fe7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff848462000506565b905092915050565b600082620005185760019050620005eb565b81620005285760009050620005eb565b81600181146200054157600281146200054c5762000582565b6001915050620005eb565b60ff84111562000561576200056062000693565b5b8360020a9150848211156200057b576200057a62000693565b5b50620005eb565b5060208310610133831016604e8410600b8410161715620005bc5782820a905083811115620005b657620005b562000693565b5b620005eb565b620005cb84848460016200045a565b92509050818404811115620005e557620005e462000693565b5b81810290505b9392505050565b6000620005ff8262000653565b91506200060c8362000653565b9250817fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff048311821515161562000648576200064762000693565b5b828202905092915050565b6000819050919050565b600060028204905060018216806200067657607f821691505b602082108114156200068d576200068c620006c2565b5b50919050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052601160045260246000fd5b7f4e487b7100000000000000000000000000000000000000000000000000000000600052602260045260246000fd5b60008160011c9050919050565b7f45524332303a206d696e7420746f20746865207a65726f206164647265737300600082015250565b611c7780620007376000396000f3fe6080604052600436106100dd5760003560e01c80634b94f50e1161007f57806395d89b411161005957806395d89b41146102ef578063a457c2d71461031a578063a9059cbb14610357578063dd62ed3e14610394576100dd565b80634b94f50e1461024a5780636a61e5fc1461027557806370a08231146102b2576100dd565b806323b872dd116100bb57806323b872dd146101755780632d296bf1146101b2578063313ce567146101e2578063395093511461020d576100dd565b806306fdde03146100e2578063095ea7b31461010d57806318160ddd1461014a575b600080fd5b3480156100ee57600080fd5b506100f76103d1565b6040516101049190611384565b60405180910390f35b34801561011957600080fd5b50610134600480360381019061012f9190611140565b610463565b6040516101419190611369565b60405180910390f35b34801561015657600080fd5b5061015f610481565b60405161016c91906114e6565b60405180910390f35b34801561018157600080fd5b5061019c600480360381019061019791906110f1565b61048b565b6040516101a99190611369565b60405180910390f35b6101cc60048036038101906101c7919061117c565b610583565b6040516101d99190611369565b60405180910390f35b3480156101ee57600080fd5b506101f761083b565b6040516102049190611501565b60405180910390f35b34801561021957600080fd5b50610234600480360381019061022f9190611140565b610852565b6040516102419190611369565b60405180910390f35b34801561025657600080fd5b5061025f6108fe565b60405161026c91906114e6565b60405180910390f35b34801561028157600080fd5b5061029c6004803603810190610297919061117c565b610908565b6040516102a99190611369565b60405180910390f35b3480156102be57600080fd5b506102d960048036038101906102d4919061108c565b6109aa565b6040516102e691906114e6565b60405180910390f35b3480156102fb57600080fd5b506103046109f2565b6040516103119190611384565b60405180910390f35b34801561032657600080fd5b50610341600480360381019061033c9190611140565b610a84565b60405161034e9190611369565b60405180910390f35b34801561036357600080fd5b5061037e60048036038101906103799190611140565b610b6f565b60405161038b9190611369565b60405180910390f35b3480156103a057600080fd5b506103bb60048036038101906103b691906110b5565b610b8d565b6040516103c891906114e6565b60405180910390f35b6060600480546103e090611846565b80601f016020809104026020016040519081016040528092919081815260200182805461040c90611846565b80156104595780601f1061042e57610100808354040283529160200191610459565b820191906000526020600020905b81548152906001019060200180831161043c57829003601f168201915b5050505050905090565b6000610477610470610c14565b8484610c1c565b6001905092915050565b6000600254905090565b6000610498848484610de7565b6000600160008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006104e3610c14565b73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054905082811015610563576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161055a90611406565b60405180910390fd5b6105778561056f610c14565b858403610c1c565b60019150509392505050565b60008034905060006105b6600660009054906101000a900473ffffffffffffffffffffffffffffffffffffffff166109aa565b9050808411156105fb576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016105f290611446565b60405180910390fd5b600360009054906101000a900460ff1660ff16600a61061a9190611612565b84610625919061158e565b6007546106329190611730565b821015610674576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161066b90611426565b60405180910390fd5b83600080600660009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008282546106e4919061178a565b92505081905550836000803373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008282546107399190611538565b925050819055503373ffffffffffffffffffffffffffffffffffffffff16600660009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef866040516107bf91906114e6565b60405180910390a3600660009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff166108fc839081150290604051600060405180830381858888f1935050505015801561082f573d6000803e3d6000fd5b50600192505050919050565b6000600360009054906101000a900460ff16905090565b60006108f461085f610c14565b84846001600061086d610c14565b73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008873ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546108ef9190611538565b610c1c565b6001905092915050565b6000600754905090565b6000600660009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff161461099a576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161099190611486565b60405180910390fd5b8160078190555060019050919050565b60008060008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020549050919050565b606060058054610a0190611846565b80601f0160208091040260200160405190810160405280929190818152602001828054610a2d90611846565b8015610a7a5780601f10610a4f57610100808354040283529160200191610a7a565b820191906000526020600020905b815481529060010190602001808311610a5d57829003601f168201915b5050505050905090565b60008060016000610a93610c14565b73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054905082811015610b50576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610b47906114c6565b60405180910390fd5b610b64610b5b610c14565b85858403610c1c565b600191505092915050565b6000610b83610b7c610c14565b8484610de7565b6001905092915050565b6000600160008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054905092915050565b600033905090565b600073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff161415610c8c576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610c83906114a6565b60405180910390fd5b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff161415610cfc576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610cf3906113c6565b60405180910390fd5b80600160008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508173ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b92583604051610dda91906114e6565b60405180910390a3505050565b600073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff161415610e57576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610e4e90611466565b60405180910390fd5b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff161415610ec7576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610ebe906113a6565b60405180910390fd5b610ed283838361105d565b60008060008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054905081811015610f58576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610f4f906113e6565b60405180910390fd5b8181036000808673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550816000808573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000206000828254610feb9190611538565b925050819055508273ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef8460405161104f91906114e6565b60405180910390a350505050565b505050565b60008135905061107181611c13565b92915050565b60008135905061108681611c2a565b92915050565b60006020828403121561109e57600080fd5b60006110ac84828501611062565b91505092915050565b600080604083850312156110c857600080fd5b60006110d685828601611062565b92505060206110e785828601611062565b9150509250929050565b60008060006060848603121561110657600080fd5b600061111486828701611062565b935050602061112586828701611062565b925050604061113686828701611077565b9150509250925092565b6000806040838503121561115357600080fd5b600061116185828601611062565b925050602061117285828601611077565b9150509250929050565b60006020828403121561118e57600080fd5b600061119c84828501611077565b91505092915050565b6111ae816117d0565b82525050565b60006111bf8261151c565b6111c98185611527565b93506111d9818560208601611813565b6111e281611905565b840191505092915050565b60006111fa602383611527565b915061120582611923565b604082019050919050565b600061121d602283611527565b915061122882611972565b604082019050919050565b6000611240602683611527565b915061124b826119c1565b604082019050919050565b6000611263602783611527565b915061126e82611a10565b604082019050919050565b6000611286601183611527565b915061129182611a5f565b602082019050919050565b60006112a9602783611527565b91506112b482611a88565b604082019050919050565b60006112cc602583611527565b91506112d782611ad7565b604082019050919050565b60006112ef602983611527565b91506112fa82611b26565b604082019050919050565b6000611312602483611527565b915061131d82611b75565b604082019050919050565b6000611335602583611527565b915061134082611bc4565b604082019050919050565b611354816117fc565b82525050565b61136381611806565b82525050565b600060208201905061137e60008301846111a5565b92915050565b6000602082019050818103600083015261139e81846111b4565b905092915050565b600060208201905081810360008301526113bf816111ed565b9050919050565b600060208201905081810360008301526113df81611210565b9050919050565b600060208201905081810360008301526113ff81611233565b9050919050565b6000602082019050818103600083015261141f81611256565b9050919050565b6000602082019050818103600083015261143f81611279565b9050919050565b6000602082019050818103600083015261145f8161129c565b9050919050565b6000602082019050818103600083015261147f816112bf565b9050919050565b6000602082019050818103600083015261149f816112e2565b9050919050565b600060208201905081810360008301526114bf81611305565b9050919050565b600060208201905081810360008301526114df81611328565b9050919050565b60006020820190506114fb600083018461134b565b92915050565b6000602082019050611516600083018461135a565b92915050565b600081519050919050565b600082825260208201905092915050565b6000611543826117fc565b915061154e836117fc565b9250827fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff0382111561158357611582611878565b5b828201905092915050565b6000611599826117fc565b91506115a4836117fc565b9250826115b4576115b36118a7565b5b828204905092915050565b6000808291508390505b6001851115611609578086048111156115e5576115e4611878565b5b60018516156115f45780820291505b808102905061160285611916565b94506115c9565b94509492505050565b600061161d826117fc565b9150611628836117fc565b92506116557fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff848461165d565b905092915050565b60008261166d5760019050611729565b8161167b5760009050611729565b8160018114611691576002811461169b576116ca565b6001915050611729565b60ff8411156116ad576116ac611878565b5b8360020a9150848211156116c4576116c3611878565b5b50611729565b5060208310610133831016604e8410600b84101617156116ff5782820a9050838111156116fa576116f9611878565b5b611729565b61170c84848460016115bf565b9250905081840481111561172357611722611878565b5b81810290505b9392505050565b600061173b826117fc565b9150611746836117fc565b9250817fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff048311821515161561177f5761177e611878565b5b828202905092915050565b6000611795826117fc565b91506117a0836117fc565b9250828210156117b3576117b2611878565b5b828203905092915050565b60006117c9826117dc565b9050919050565b60008115159050919050565b600073ffffffffffffffffffffffffffffffffffffffff82169050919050565b6000819050919050565b600060ff82169050919050565b60005b83811015611831578082015181840152602081019050611816565b83811115611840576000848401525b50505050565b6000600282049050600182168061185e57607f821691505b60208210811415611872576118716118d6565b5b50919050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052601160045260246000fd5b7f4e487b7100000000000000000000000000000000000000000000000000000000600052601260045260246000fd5b7f4e487b7100000000000000000000000000000000000000000000000000000000600052602260045260246000fd5b6000601f19601f8301169050919050565b60008160011c9050919050565b7f45524332303a207472616e7366657220746f20746865207a65726f206164647260008201527f6573730000000000000000000000000000000000000000000000000000000000602082015250565b7f45524332303a20617070726f766520746f20746865207a65726f20616464726560008201527f7373000000000000000000000000000000000000000000000000000000000000602082015250565b7f45524332303a207472616e7366657220616d6f756e742065786365656473206260008201527f616c616e63650000000000000000000000000000000000000000000000000000602082015250565b7f4d4a433a207472616e7366657220616d6f756e74206578636565647320616c6c60008201527f6f77616e63652000000000000000000000000000000000000000000000000000602082015250565b7f57726f6e6720707269636520546f6b656e000000000000000000000000000000600082015250565b7f4e6f7420656e6f75676820746f6b656e7320696e207468652053656c6c65722060008201527f7265736572766500000000000000000000000000000000000000000000000000602082015250565b7f45524332303a207472616e736665722066726f6d20746865207a65726f20616460008201527f6472657373000000000000000000000000000000000000000000000000000000602082015250565b7f536f6c6f20696c2070726f707269746172696f2070756f20736574746172652060008201527f696c207072657a7a6f0000000000000000000000000000000000000000000000602082015250565b7f45524332303a20617070726f76652066726f6d20746865207a65726f2061646460008201527f7265737300000000000000000000000000000000000000000000000000000000602082015250565b7f45524332303a2064656372656173656420616c6c6f77616e63652062656c6f7760008201527f207a65726f000000000000000000000000000000000000000000000000000000602082015250565b611c1c816117be565b8114611c2757600080fd5b50565b611c33816117fc565b8114611c3e57600080fd5b5056fea26469706673582212205877b8df5cf55a1741e66bd579d61726c5f5b2c35cc2e92099e62b61e142d54264736f6c63430008040033

0x6080604052600436106100dd5760003560e01c80634b94f50e1161007f57806395d89b411161005957806395d89b41146102ef578063a457c2d71461031a578063a9059cbb14610357578063dd62ed3e14610394576100dd565b80634b94f50e1461024a5780636a61e5fc1461027557806370a08231146102b2576100dd565b806323b872dd116100bb57806323b872dd146101755780632d296bf1146101b2578063313ce567146101e2578063395093511461020d576100dd565b806306fdde03146100e2578063095ea7b31461010d57806318160ddd1461014a575b600080fd5b3480156100ee57600080fd5b506100f76103d1565b6040516101049190611384565b60405180910390f35b34801561011957600080fd5b50610134600480360381019061012f9190611140565b610463565b6040516101419190611369565b60405180910390f35b34801561015657600080fd5b5061015f610481565b60405161016c91906114e6565b60405180910390f35b34801561018157600080fd5b5061019c600480360381019061019791906110f1565b61048b565b6040516101a99190611369565b60405180910390f35b6101cc60048036038101906101c7919061117c565b610583565b6040516101d99190611369565b60405180910390f35b3480156101ee57600080fd5b506101f761083b565b6040516102049190611501565b60405180910390f35b34801561021957600080fd5b50610234600480360381019061022f9190611140565b610852565b6040516102419190611369565b60405180910390f35b34801561025657600080fd5b5061025f6108fe565b60405161026c91906114e6565b60405180910390f35b34801561028157600080fd5b5061029c6004803603810190610297919061117c565b610908565b6040516102a99190611369565b60405180910390f35b3480156102be57600080fd5b506102d960048036038101906102d4919061108c565b6109aa565b6040516102e691906114e6565b60405180910390f35b3480156102fb57600080fd5b506103046109f2565b6040516103119190611384565b60405180910390f35b34801561032657600080fd5b50610341600480360381019061033c9190611140565b610a84565b60405161034e9190611369565b60405180910390f35b34801561036357600080fd5b5061037e60048036038101906103799190611140565b610b6f565b60405161038b9190611369565b60405180910390f35b3480156103a057600080fd5b506103bb60048036038101906103b691906110b5565b610b8d565b6040516103c891906114e6565b60405180910390f35b6060600480546103e090611846565b80601f016020809104026020016040519081016040528092919081815260200182805461040c90611846565b80156104595780601f1061042e57610100808354040283529160200191610459565b820191906000526020600020905b81548152906001019060200180831161043c57829003601f168201915b5050505050905090565b6000610477610470610c14565b8484610c1c565b6001905092915050565b6000600254905090565b6000610498848484610de7565b6000600160008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006104e3610c14565b73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054905082811015610563576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161055a90611406565b60405180910390fd5b6105778561056f610c14565b858403610c1c565b60019150509392505050565b60008034905060006105b6600660009054906101000a900473ffffffffffffffffffffffffffffffffffffffff166109aa565b9050808411156105fb576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016105f290611446565b60405180910390fd5b600360009054906101000a900460ff1660ff16600a61061a9190611612565b84610625919061158e565b6007546106329190611730565b821015610674576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161066b90611426565b60405180910390fd5b83600080600660009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008282546106e4919061178a565b92505081905550836000803373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008282546107399190611538565b925050819055503373ffffffffffffffffffffffffffffffffffffffff16600660009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef866040516107bf91906114e6565b60405180910390a3600660009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff166108fc839081150290604051600060405180830381858888f1935050505015801561082f573d6000803e3d6000fd5b50600192505050919050565b6000600360009054906101000a900460ff16905090565b60006108f461085f610c14565b84846001600061086d610c14565b73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008873ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546108ef9190611538565b610c1c565b6001905092915050565b6000600754905090565b6000600660009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff161461099a576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161099190611486565b60405180910390fd5b8160078190555060019050919050565b60008060008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020549050919050565b606060058054610a0190611846565b80601f0160208091040260200160405190810160405280929190818152602001828054610a2d90611846565b8015610a7a5780601f10610a4f57610100808354040283529160200191610a7a565b820191906000526020600020905b815481529060010190602001808311610a5d57829003601f168201915b5050505050905090565b60008060016000610a93610c14565b73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054905082811015610b50576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610b47906114c6565b60405180910390fd5b610b64610b5b610c14565b85858403610c1c565b600191505092915050565b6000610b83610b7c610c14565b8484610de7565b6001905092915050565b6000600160008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054905092915050565b600033905090565b600073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff161415610c8c576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610c83906114a6565b60405180910390fd5b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff161415610cfc576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610cf3906113c6565b60405180910390fd5b80600160008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508173ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b92583604051610dda91906114e6565b60405180910390a3505050565b600073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff161415610e57576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610e4e90611466565b60405180910390fd5b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff161415610ec7576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610ebe906113a6565b60405180910390fd5b610ed283838361105d565b60008060008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054905081811015610f58576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610f4f906113e6565b60405180910390fd5b8181036000808673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550816000808573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000206000828254610feb9190611538565b925050819055508273ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef8460405161104f91906114e6565b60405180910390a350505050565b505050565b60008135905061107181611c13565b92915050565b60008135905061108681611c2a565b92915050565b60006020828403121561109e57600080fd5b60006110ac84828501611062565b91505092915050565b600080604083850312156110c857600080fd5b60006110d685828601611062565b92505060206110e785828601611062565b9150509250929050565b60008060006060848603121561110657600080fd5b600061111486828701611062565b935050602061112586828701611062565b925050604061113686828701611077565b9150509250925092565b6000806040838503121561115357600080fd5b600061116185828601611062565b925050602061117285828601611077565b9150509250929050565b60006020828403121561118e57600080fd5b600061119c84828501611077565b91505092915050565b6111ae816117d0565b82525050565b60006111bf8261151c565b6111c98185611527565b93506111d9818560208601611813565b6111e281611905565b840191505092915050565b60006111fa602383611527565b915061120582611923565b604082019050919050565b600061121d602283611527565b915061122882611972565b604082019050919050565b6000611240602683611527565b915061124b826119c1565b604082019050919050565b6000611263602783611527565b915061126e82611a10565b604082019050919050565b6000611286601183611527565b915061129182611a5f565b602082019050919050565b60006112a9602783611527565b91506112b482611a88565b604082019050919050565b60006112cc602583611527565b91506112d782611ad7565b604082019050919050565b60006112ef602983611527565b91506112fa82611b26565b604082019050919050565b6000611312602483611527565b915061131d82611b75565b604082019050919050565b6000611335602583611527565b915061134082611bc4565b604082019050919050565b611354816117fc565b82525050565b61136381611806565b82525050565b600060208201905061137e60008301846111a5565b92915050565b6000602082019050818103600083015261139e81846111b4565b905092915050565b600060208201905081810360008301526113bf816111ed565b9050919050565b600060208201905081810360008301526113df81611210565b9050919050565b600060208201905081810360008301526113ff81611233565b9050919050565b6000602082019050818103600083015261141f81611256565b9050919050565b6000602082019050818103600083015261143f81611279565b9050919050565b6000602082019050818103600083015261145f8161129c565b9050919050565b6000602082019050818103600083015261147f816112bf565b9050919050565b6000602082019050818103600083015261149f816112e2565b9050919050565b600060208201905081810360008301526114bf81611305565b9050919050565b600060208201905081810360008301526114df81611328565b9050919050565b60006020820190506114fb600083018461134b565b92915050565b6000602082019050611516600083018461135a565b92915050565b600081519050919050565b600082825260208201905092915050565b6000611543826117fc565b915061154e836117fc565b9250827fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff0382111561158357611582611878565b5b828201905092915050565b6000611599826117fc565b91506115a4836117fc565b9250826115b4576115b36118a7565b5b828204905092915050565b6000808291508390505b6001851115611609578086048111156115e5576115e4611878565b5b60018516156115f45780820291505b808102905061160285611916565b94506115c9565b94509492505050565b600061161d826117fc565b9150611628836117fc565b92506116557fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff848461165d565b905092915050565b60008261166d5760019050611729565b8161167b5760009050611729565b8160018114611691576002811461169b576116ca565b6001915050611729565b60ff8411156116ad576116ac611878565b5b8360020a9150848211156116c4576116c3611878565b5b50611729565b5060208310610133831016604e8410600b84101617156116ff5782820a9050838111156116fa576116f9611878565b5b611729565b61170c84848460016115bf565b9250905081840481111561172357611722611878565b5b81810290505b9392505050565b600061173b826117fc565b9150611746836117fc565b9250817fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff048311821515161561177f5761177e611878565b5b828202905092915050565b6000611795826117fc565b91506117a0836117fc565b9250828210156117b3576117b2611878565b5b828203905092915050565b60006117c9826117dc565b9050919050565b60008115159050919050565b600073ffffffffffffffffffffffffffffffffffffffff82169050919050565b6000819050919050565b600060ff82169050919050565b60005b83811015611831578082015181840152602081019050611816565b83811115611840576000848401525b50505050565b6000600282049050600182168061185e57607f821691505b60208210811415611872576118716118d6565b5b50919050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052601160045260246000fd5b7f4e487b7100000000000000000000000000000000000000000000000000000000600052601260045260246000fd5b7f4e487b7100000000000000000000000000000000000000000000000000000000600052602260045260246000fd5b6000601f19601f8301169050919050565b60008160011c9050919050565b7f45524332303a207472616e7366657220746f20746865207a65726f206164647260008201527f6573730000000000000000000000000000000000000000000000000000000000602082015250565b7f45524332303a20617070726f766520746f20746865207a65726f20616464726560008201527f7373000000000000000000000000000000000000000000000000000000000000602082015250565b7f45524332303a207472616e7366657220616d6f756e742065786365656473206260008201527f616c616e63650000000000000000000000000000000000000000000000000000602082015250565b7f4d4a433a207472616e7366657220616d6f756e74206578636565647320616c6c60008201527f6f77616e63652000000000000000000000000000000000000000000000000000602082015250565b7f57726f6e6720707269636520546f6b656e000000000000000000000000000000600082015250565b7f4e6f7420656e6f75676820746f6b656e7320696e207468652053656c6c65722060008201527f7265736572766500000000000000000000000000000000000000000000000000602082015250565b7f45524332303a207472616e736665722066726f6d20746865207a65726f20616460008201527f6472657373000000000000000000000000000000000000000000000000000000602082015250565b7f536f6c6f20696c2070726f707269746172696f2070756f20736574746172652060008201527f696c207072657a7a6f0000000000000000000000000000000000000000000000602082015250565b7f45524332303a20617070726f76652066726f6d20746865207a65726f2061646460008201527f7265737300000000000000000000000000000000000000000000000000000000602082015250565b7f45524332303a2064656372656173656420616c6c6f77616e63652062656c6f7760008201527f207a65726f000000000000000000000000000000000000000000000000000000602082015250565b611c1c816117be565b8114611c2757600080fd5b50565b611c33816117fc565b8114611c3e57600080fd5b5056fea26469706673582212205877b8df5cf55a1741e66bd579d61726c5f5b2c35cc2e92099e62b61e142d54264736f6c63430008040033

7449:239:0:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;3223:100;;;;;;;;;;;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;4144:169;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;3551:108;;;;;;;;;;;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;4321:467;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;2517:544;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;3443:100;;;;;;;;;;;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;4800:224;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;3073:104;;;;;;;;;;;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;2233:227;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;3667:127;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;3331:104;;;;;;;;;;;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;5032:413;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;3802:175;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;3985:151;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;3223:100;3277:13;3310:5;3303:12;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;3223:100;:::o;4144:169::-;4227:4;4244:39;4253:12;:10;:12::i;:::-;4267:7;4276:6;4244:8;:39::i;:::-;4301:4;4294:11;;4144:169;;;;:::o;3551:108::-;3612:7;3639:12;;3632:19;;3551:108;:::o;4321:467::-;4427:4;4444:36;4454:6;4462:9;4473:6;4444:9;:36::i;:::-;4495:24;4522:11;:19;4534:6;4522:19;;;;;;;;;;;;;;;:33;4542:12;:10;:12::i;:::-;4522:33;;;;;;;;;;;;;;;;4495:60;;4596:6;4576:16;:26;;4566:82;;;;;;;;;;;;:::i;:::-;;;;;;;;;4684:57;4693:6;4701:12;:10;:12::i;:::-;4734:6;4715:16;:25;4684:8;:57::i;:::-;4776:4;4769:11;;;4321:467;;;;;:::o;2517:544::-;2574:12;2601:11;2615:9;2601:23;;2635:21;2659:16;2669:5;;;;;;;;;;;2659:9;:16::i;:::-;2635:40;;2704:13;2694:6;:23;;2686:75;;;;;;;;;;;;:::i;:::-;;;;;;;;;2831:9;;;;;;;;;;;2823:18;;2817:2;:24;;;;:::i;:::-;2807:6;:35;;;;:::i;:::-;2790:13;;:53;;;;:::i;:::-;2780:6;:63;;2772:93;;;;;;;;;;;;:::i;:::-;;;;;;;;;2897:6;2876:9;:16;2886:5;;;;;;;;;;;2876:16;;;;;;;;;;;;;;;;:27;;;;;;;:::i;:::-;;;;;;;;2939:6;2914:9;:21;2924:10;2914:21;;;;;;;;;;;;;;;;:31;;;;;;;:::i;:::-;;;;;;;;2977:10;2961:35;;2970:5;;;;;;;;;;;2961:35;;;2989:6;2961:35;;;;;;:::i;:::-;;;;;;;;3007:5;;;;;;;;;;;:14;;:22;3022:6;3007:22;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;3049:4;3042:11;;;;2517:544;;;:::o;3443:100::-;3501:5;3526:9;;;;;;;;;;;3519:16;;3443:100;:::o;4800:224::-;4897:4;4914:80;4923:12;:10;:12::i;:::-;4937:7;4983:10;4946:11;:25;4958:12;:10;:12::i;:::-;4946:25;;;;;;;;;;;;;;;:34;4972:7;4946:34;;;;;;;;;;;;;;;;:47;;;;:::i;:::-;4914:8;:80::i;:::-;5012:4;5005:11;;4800:224;;;;:::o;3073:104::-;3130:7;3156:13;;3149:20;;3073:104;:::o;2233:227::-;2294:10;2339:5;;;;;;;;;;;2325:19;;:10;:19;;;2317:72;;;;;;;;;;;;:::i;:::-;;;;;;;;;2416:14;2400:13;:30;;;;2448:4;2441:11;;2233:227;;;:::o;3667:127::-;3741:7;3768:9;:18;3778:7;3768:18;;;;;;;;;;;;;;;;3761:25;;3667:127;;;:::o;3331:104::-;3387:13;3420:7;3413:14;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;3331:104;:::o;5032:413::-;5125:4;5142:24;5169:11;:25;5181:12;:10;:12::i;:::-;5169:25;;;;;;;;;;;;;;;:34;5195:7;5169:34;;;;;;;;;;;;;;;;5142:61;;5242:15;5222:16;:35;;5214:85;;;;;;;;;;;;:::i;:::-;;;;;;;;;5335:67;5344:12;:10;:12::i;:::-;5358:7;5386:15;5367:16;:34;5335:8;:67::i;:::-;5433:4;5426:11;;;5032:413;;;;:::o;3802:175::-;3888:4;3905:42;3915:12;:10;:12::i;:::-;3929:9;3940:6;3905:9;:42::i;:::-;3965:4;3958:11;;3802:175;;;;:::o;3985:151::-;4074:7;4101:11;:18;4113:5;4101:18;;;;;;;;;;;;;;;:27;4120:7;4101:27;;;;;;;;;;;;;;;;4094:34;;3985:151;;;;:::o;93:98::-;146:7;173:10;166:17;;93:98;:::o;6990:346::-;7109:1;7092:19;;:5;:19;;;;7084:68;;;;;;;;;;;;:::i;:::-;;;;;;;;;7190:1;7171:21;;:7;:21;;;;7163:68;;;;;;;;;;;;:::i;:::-;;;;;;;;;7274:6;7244:11;:18;7256:5;7244:18;;;;;;;;;;;;;;;:27;7263:7;7244:27;;;;;;;;;;;;;;;:36;;;;7312:7;7296:32;;7305:5;7296:32;;;7321:6;7296:32;;;;;;:::i;:::-;;;;;;;;6990:346;;;:::o;5453:640::-;5577:1;5559:20;;:6;:20;;;;5551:70;;;;;;;;;;;;:::i;:::-;;;;;;;;;5661:1;5640:23;;:9;:23;;;;5632:71;;;;;;;;;;;;:::i;:::-;;;;;;;;;5716:47;5737:6;5745:9;5756:6;5716:20;:47::i;:::-;5776:21;5800:9;:17;5810:6;5800:17;;;;;;;;;;;;;;;;5776:41;;5853:6;5836:13;:23;;5828:74;;;;;;;;;;;;:::i;:::-;;;;;;;;;5974:6;5958:13;:22;5938:9;:17;5948:6;5938:17;;;;;;;;;;;;;;;:42;;;;6026:6;6002:9;:20;6012:9;6002:20;;;;;;;;;;;;;;;;:30;;;;;;;:::i;:::-;;;;;;;;6067:9;6050:35;;6059:6;6050:35;;;6078:6;6050:35;;;;;;:::i;:::-;;;;;;;;5453:640;;;;:::o;7346:92::-;;;;:::o;7:139:1:-;53:5;91:6;78:20;69:29;;107:33;134:5;107:33;:::i;:::-;59:87;;;;:::o;152:139::-;198:5;236:6;223:20;214:29;;252:33;279:5;252:33;:::i;:::-;204:87;;;;:::o;297:262::-;356:6;405:2;393:9;384:7;380:23;376:32;373:2;;;421:1;418;411:12;373:2;464:1;489:53;534:7;525:6;514:9;510:22;489:53;:::i;:::-;479:63;;435:117;363:196;;;;:::o;565:407::-;633:6;641;690:2;678:9;669:7;665:23;661:32;658:2;;;706:1;703;696:12;658:2;749:1;774:53;819:7;810:6;799:9;795:22;774:53;:::i;:::-;764:63;;720:117;876:2;902:53;947:7;938:6;927:9;923:22;902:53;:::i;:::-;892:63;;847:118;648:324;;;;;:::o;978:552::-;1055:6;1063;1071;1120:2;1108:9;1099:7;1095:23;1091:32;1088:2;;;1136:1;1133;1126:12;1088:2;1179:1;1204:53;1249:7;1240:6;1229:9;1225:22;1204:53;:::i;:::-;1194:63;;1150:117;1306:2;1332:53;1377:7;1368:6;1357:9;1353:22;1332:53;:::i;:::-;1322:63;;1277:118;1434:2;1460:53;1505:7;1496:6;1485:9;1481:22;1460:53;:::i;:::-;1450:63;;1405:118;1078:452;;;;;:::o;1536:407::-;1604:6;1612;1661:2;1649:9;1640:7;1636:23;1632:32;1629:2;;;1677:1;1674;1667:12;1629:2;1720:1;1745:53;1790:7;1781:6;1770:9;1766:22;1745:53;:::i;:::-;1735:63;;1691:117;1847:2;1873:53;1918:7;1909:6;1898:9;1894:22;1873:53;:::i;:::-;1863:63;;1818:118;1619:324;;;;;:::o;1949:262::-;2008:6;2057:2;2045:9;2036:7;2032:23;2028:32;2025:2;;;2073:1;2070;2063:12;2025:2;2116:1;2141:53;2186:7;2177:6;2166:9;2162:22;2141:53;:::i;:::-;2131:63;;2087:117;2015:196;;;;:::o;2217:109::-;2298:21;2313:5;2298:21;:::i;:::-;2293:3;2286:34;2276:50;;:::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;;;;;:::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;;2848:220;;;:::o;3074:366::-;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;;3220:220;;;:::o;3446:366::-;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;;3592:220;;;:::o;3818:366::-;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;;3964:220;;;:::o;4190:366::-;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;;4336:220;;;:::o;4562:366::-;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;;4708:220;;;:::o;4934:366::-;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;;5080:220;;;:::o;5306:366::-;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;;5452:220;;;:::o;5678:366::-;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;;5824:220;;;:::o;6050:366::-;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;;6196:220;;;:::o;6422:118::-;6509:24;6527:5;6509:24;:::i;:::-;6504:3;6497:37;6487:53;;:::o;6546:112::-;6629:22;6645:5;6629:22;:::i;:::-;6624:3;6617:35;6607:51;;:::o;6664:210::-;6751:4;6789:2;6778:9;6774:18;6766:26;;6802:65;6864:1;6853:9;6849:17;6840:6;6802:65;:::i;:::-;6756:118;;;;:::o;6880:313::-;6993:4;7031:2;7020:9;7016:18;7008:26;;7080:9;7074:4;7070:20;7066:1;7055:9;7051:17;7044:47;7108:78;7181:4;7172:6;7108:78;:::i;:::-;7100:86;;6998:195;;;;:::o;7199:419::-;7365:4;7403:2;7392:9;7388:18;7380:26;;7452:9;7446:4;7442:20;7438:1;7427:9;7423:17;7416:47;7480:131;7606:4;7480:131;:::i;:::-;7472:139;;7370:248;;;:::o;7624:419::-;7790:4;7828:2;7817:9;7813:18;7805:26;;7877:9;7871:4;7867:20;7863:1;7852:9;7848:17;7841:47;7905:131;8031:4;7905:131;:::i;:::-;7897:139;;7795:248;;;:::o;8049:419::-;8215:4;8253:2;8242:9;8238:18;8230:26;;8302:9;8296:4;8292:20;8288:1;8277:9;8273:17;8266:47;8330:131;8456:4;8330:131;:::i;:::-;8322:139;;8220:248;;;:::o;8474:419::-;8640:4;8678:2;8667:9;8663:18;8655:26;;8727:9;8721:4;8717:20;8713:1;8702:9;8698:17;8691:47;8755:131;8881:4;8755:131;:::i;:::-;8747:139;;8645:248;;;:::o;8899:419::-;9065:4;9103:2;9092:9;9088:18;9080:26;;9152:9;9146:4;9142:20;9138:1;9127:9;9123:17;9116:47;9180:131;9306:4;9180:131;:::i;:::-;9172:139;;9070:248;;;:::o;9324:419::-;9490:4;9528:2;9517:9;9513:18;9505:26;;9577:9;9571:4;9567:20;9563:1;9552:9;9548:17;9541:47;9605:131;9731:4;9605:131;:::i;:::-;9597:139;;9495:248;;;:::o;9749:419::-;9915:4;9953:2;9942:9;9938:18;9930:26;;10002:9;9996:4;9992:20;9988:1;9977:9;9973:17;9966:47;10030:131;10156:4;10030:131;:::i;:::-;10022:139;;9920:248;;;:::o;10174:419::-;10340:4;10378:2;10367:9;10363:18;10355:26;;10427:9;10421:4;10417:20;10413:1;10402:9;10398:17;10391:47;10455:131;10581:4;10455:131;:::i;:::-;10447:139;;10345:248;;;:::o;10599:419::-;10765:4;10803:2;10792:9;10788:18;10780:26;;10852:9;10846:4;10842:20;10838:1;10827:9;10823:17;10816:47;10880:131;11006:4;10880:131;:::i;:::-;10872:139;;10770:248;;;:::o;11024:419::-;11190:4;11228:2;11217:9;11213:18;11205:26;;11277:9;11271:4;11267:20;11263:1;11252:9;11248:17;11241:47;11305:131;11431:4;11305:131;:::i;:::-;11297:139;;11195:248;;;:::o;11449:222::-;11542:4;11580:2;11569:9;11565:18;11557:26;;11593:71;11661:1;11650:9;11646:17;11637:6;11593:71;:::i;:::-;11547:124;;;;:::o;11677:214::-;11766:4;11804:2;11793:9;11789:18;11781:26;;11817:67;11881:1;11870:9;11866:17;11857:6;11817:67;:::i;:::-;11771:120;;;;:::o;11897:99::-;11949:6;11983:5;11977:12;11967:22;;11956:40;;;:::o;12002:169::-;12086:11;12120:6;12115:3;12108:19;12160:4;12155:3;12151:14;12136:29;;12098:73;;;;:::o;12177:305::-;12217:3;12236:20;12254:1;12236:20;:::i;:::-;12231:25;;12270:20;12288:1;12270:20;:::i;:::-;12265:25;;12424:1;12356:66;12352:74;12349:1;12346:81;12343:2;;;12430:18;;:::i;:::-;12343:2;12474:1;12471;12467:9;12460:16;;12221:261;;;;:::o;12488:185::-;12528:1;12545:20;12563:1;12545:20;:::i;:::-;12540:25;;12579:20;12597:1;12579:20;:::i;:::-;12574:25;;12618:1;12608:2;;12623:18;;:::i;:::-;12608:2;12665:1;12662;12658:9;12653:14;;12530:143;;;;:::o;12679:848::-;12740:5;12747:4;12771:6;12762:15;;12795:5;12786:14;;12809:712;12830:1;12820:8;12817:15;12809:712;;;12925:4;12920:3;12916:14;12910:4;12907:24;12904:2;;;12934:18;;:::i;:::-;12904:2;12984:1;12974:8;12970:16;12967:2;;;13399:4;13392:5;13388:16;13379:25;;12967:2;13449:4;13443;13439:15;13431:23;;13479:32;13502:8;13479:32;:::i;:::-;13467:44;;12809:712;;;12752:775;;;;;;;:::o;13533:285::-;13593:5;13617:23;13635:4;13617:23;:::i;:::-;13609:31;;13661:27;13679:8;13661:27;:::i;:::-;13649:39;;13707:104;13744:66;13734:8;13728:4;13707:104;:::i;:::-;13698:113;;13599:219;;;;:::o;13824:1073::-;13878:5;14069:8;14059:2;;14090:1;14081:10;;14092:5;;14059:2;14118:4;14108:2;;14135:1;14126:10;;14137:5;;14108:2;14204:4;14252:1;14247:27;;;;14288:1;14283:191;;;;14197:277;;14247:27;14265:1;14256:10;;14267:5;;;14283:191;14328:3;14318:8;14315:17;14312:2;;;14335:18;;:::i;:::-;14312:2;14384:8;14381:1;14377:16;14368:25;;14419:3;14412:5;14409:14;14406:2;;;14426:18;;:::i;:::-;14406:2;14459:5;;;14197:277;;14583:2;14573:8;14570:16;14564:3;14558:4;14555:13;14551:36;14533:2;14523:8;14520:16;14515:2;14509:4;14506:12;14502:35;14486:111;14483:2;;;14639:8;14633:4;14629:19;14620:28;;14674:3;14667:5;14664:14;14661:2;;;14681:18;;:::i;:::-;14661:2;14714:5;;14483:2;14754:42;14792:3;14782:8;14776:4;14773:1;14754:42;:::i;:::-;14739:57;;;;14828:4;14823:3;14819:14;14812:5;14809:25;14806:2;;;14837:18;;:::i;:::-;14806:2;14886:4;14879:5;14875:16;14866:25;;13884:1013;;;;;;:::o;14903:348::-;14943:7;14966:20;14984:1;14966:20;:::i;:::-;14961:25;;15000:20;15018:1;15000:20;:::i;:::-;14995:25;;15188:1;15120:66;15116:74;15113:1;15110:81;15105:1;15098:9;15091:17;15087:105;15084:2;;;15195:18;;:::i;:::-;15084:2;15243:1;15240;15236:9;15225:20;;14951:300;;;;:::o;15257:191::-;15297:4;15317:20;15335:1;15317:20;:::i;:::-;15312:25;;15351:20;15369:1;15351:20;:::i;:::-;15346:25;;15390:1;15387;15384:8;15381:2;;;15395:18;;:::i;:::-;15381:2;15440:1;15437;15433:9;15425:17;;15302:146;;;;:::o;15454:96::-;15491:7;15520:24;15538:5;15520:24;:::i;:::-;15509:35;;15499:51;;;:::o;15556:90::-;15590:7;15633:5;15626:13;15619:21;15608:32;;15598:48;;;:::o;15652:126::-;15689:7;15729:42;15722:5;15718:54;15707:65;;15697:81;;;:::o;15784:77::-;15821:7;15850:5;15839:16;;15829:32;;;:::o;15867:86::-;15902:7;15942:4;15935:5;15931:16;15920:27;;15910:43;;;:::o;15959:307::-;16027:1;16037:113;16051:6;16048:1;16045:13;16037:113;;;16136:1;16131:3;16127:11;16121:18;16117:1;16112:3;16108:11;16101:39;16073:2;16070:1;16066:10;16061:15;;16037:113;;;16168:6;16165:1;16162:13;16159:2;;;16248:1;16239:6;16234:3;16230:16;16223:27;16159:2;16008:258;;;;:::o;16272:320::-;16316:6;16353:1;16347:4;16343:12;16333:22;;16400:1;16394:4;16390:12;16421:18;16411:2;;16477:4;16469:6;16465:17;16455:27;;16411:2;16539;16531:6;16528:14;16508:18;16505:38;16502:2;;;16558:18;;:::i;:::-;16502:2;16323:269;;;;:::o;16598:180::-;16646:77;16643:1;16636:88;16743:4;16740:1;16733:15;16767:4;16764:1;16757:15;16784:180;16832:77;16829:1;16822:88;16929:4;16926:1;16919:15;16953:4;16950:1;16943:15;16970:180;17018:77;17015:1;17008:88;17115:4;17112:1;17105:15;17139:4;17136:1;17129:15;17156:102;17197:6;17248:2;17244:7;17239:2;17232:5;17228:14;17224:28;17214:38;;17204:54;;;:::o;17264:102::-;17306:8;17353:5;17350:1;17346:13;17325:34;;17315:51;;;:::o;17372:222::-;17512:34;17508:1;17500:6;17496:14;17489:58;17581:5;17576:2;17568:6;17564:15;17557:30;17478:116;:::o;17600:221::-;17740:34;17736:1;17728:6;17724:14;17717:58;17809:4;17804:2;17796:6;17792:15;17785:29;17706:115;:::o;17827:225::-;17967:34;17963:1;17955:6;17951:14;17944:58;18036:8;18031:2;18023:6;18019:15;18012:33;17933:119;:::o;18058:226::-;18198:34;18194:1;18186:6;18182:14;18175:58;18267:9;18262:2;18254:6;18250:15;18243:34;18164:120;:::o;18290:167::-;18430:19;18426:1;18418:6;18414:14;18407:43;18396:61;:::o;18463:226::-;18603:34;18599:1;18591:6;18587:14;18580:58;18672:9;18667:2;18659:6;18655:15;18648:34;18569:120;:::o;18695:224::-;18835:34;18831:1;18823:6;18819:14;18812:58;18904:7;18899:2;18891:6;18887:15;18880:32;18801:118;:::o;18925:228::-;19065:34;19061:1;19053:6;19049:14;19042:58;19134:11;19129:2;19121:6;19117:15;19110:36;19031:122;:::o;19159:223::-;19299:34;19295:1;19287:6;19283:14;19276:58;19368:6;19363:2;19355:6;19351:15;19344:31;19265:117;:::o;19388:224::-;19528:34;19524:1;19516:6;19512:14;19505:58;19597:7;19592:2;19584:6;19580:15;19573:32;19494:118;:::o;19618:122::-;19691:24;19709:5;19691:24;:::i;:::-;19684:5;19681:35;19671:2;;19730:1;19727;19720:12;19671:2;19661:79;:::o;19746:122::-;19819:24;19837:5;19819:24;:::i;:::-;19812:5;19809:35;19799:2;;19858:1;19855;19848:12;19799:2;19789:79;:::o

ipfs://5877b8df5cf55a1741e66bd579d61726c5f5b2c35cc2e92099e62b61e142d542