Contract

Contract Source Code (Solidity)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta
• Remix IDE

Outline

• library SafeMath
•    - function add(uint256 a, uint256 b)
•    - function sub(uint256 a, uint256 b)
•    - function mul(uint256 a, uint256 b)
•    - function div(uint256 a, uint256 b)
•    - function mod(uint256 a, uint256 b)
• 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, ...
•  contract ERC20 is 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, ...
•    - function increaseAllowance(address sp ...
•    - function decreaseAllowance(address sp ...
•    - function _transfer(address sender, ad ...
•    - function _mint(address account, uint2 ...
•    - function _burn(address account, uint2 ...
•    - function burn(uint256 _value)
•    - function _approve(address owner, addr ...
•    - function _burnFrom(address account, u ...
•  contract ERC20Detailed
•    - function name()
•    - function symbol()
•    - function decimals()
•  contract Savage is ERC20, ERC20Det ... *

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

/**
 *Submitted for verification at Etherscan.io on 2022-01-12
*/

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

library SafeMath {
    
    function add(uint256 a, uint256 b) internal pure returns (uint256) {
        uint256 c = a + b;
        require(c >= a, "SafeMath: addition overflow");
        return c;
    }
    function sub(uint256 a, uint256 b) internal pure returns (uint256) {
        require(b <= a, "SafeMath: subtraction overflow");
        uint256 c = a - b;
        return c;
    }
    function mul(uint256 a, uint256 b) internal pure returns (uint256) {
       if (a == 0) {
            return 0;
        }
        uint256 c = a * b;
        require(c / a == b, "SafeMath: multiplication overflow");
        return c;
    }
    function div(uint256 a, uint256 b) internal pure returns (uint256) {
        // Solidity only automatically asserts when dividing by 0
        require(b > 0, "SafeMath: division by zero");
        uint256 c = a / b;
        // assert(a == b * c + a % b); // There is no case in which this doesn't hold

        return c;
    }
    function mod(uint256 a, uint256 b) internal pure returns (uint256) {
        require(b != 0, "SafeMath: modulo by zero");
        return a % b;
    }
}

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

contract ERC20 is IERC20 {
    using SafeMath for uint256;

    mapping (address => uint256) private _balances;
    mapping (address => mapping (address => uint256)) private _allowances;
    uint256 private _totalSupply;
    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(msg.sender, 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 value) public virtual override returns (bool) {
        _approve(msg.sender, spender, value);
        return true;
    }
    function transferFrom(address sender, address recipient, uint256 amount) public virtual override returns (bool) {
        _transfer(sender, recipient, amount);
        _approve(sender, msg.sender, _allowances[sender][msg.sender].sub(amount));
        return true;
    }
    function increaseAllowance(address spender, uint256 addedValue) public returns (bool) {
        _approve(msg.sender, spender, _allowances[msg.sender][spender].add(addedValue));
        return true;
    }

    function decreaseAllowance(address spender, uint256 subtractedValue) public returns (bool) {
        _approve(msg.sender, spender, _allowances[msg.sender][spender].sub(subtractedValue));
        return true;
    }

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

        _balances[sender] = _balances[sender].sub(amount);
        _balances[recipient] = _balances[recipient].add(amount);
        emit Transfer(sender, recipient, amount);
    }
    function _mint(address account, uint256 amount) internal {
        require(account != address(0), "ERC20: mint to the zero address");

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

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

        _totalSupply = _totalSupply.sub(value);
        _balances[account] = _balances[account].sub(value);
        emit Transfer(account, address(0), value);
    }

    function burn(uint256 _value) public{
        
        _burn(msg.sender,_value);
    }

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

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

    function _burnFrom(address account, uint256 amount) internal {
        _burn(account, amount);
        _approve(account, msg.sender, _allowances[account][msg.sender].sub(amount));
    }
}

contract ERC20Detailed  {
    string private _name;
    string private _symbol;
    uint8 private _decimals;
    
    constructor (string memory __name, string memory __symbol, uint8 __decimals)  {
        _name = __name;
        _symbol = __symbol;
        _decimals = __decimals;
    }

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

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




contract Savage is ERC20, ERC20Detailed {

    constructor () ERC20Detailed("SAVAGE", "$SVG",18) {
        _mint(msg.sender,(20000000*(10**18)));
    }
}

• 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":"value","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":"_value","type":"uint256"}],"name":"burn","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"decimals","outputs":[{"internalType":"uint8","name":"","type":"uint8"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"spender","type":"address"},{"internalType":"uint256","name":"subtractedValue","type":"uint256"}],"name":"decreaseAllowance","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"spender","type":"address"},{"internalType":"uint256","name":"addedValue","type":"uint256"}],"name":"increaseAllowance","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"name","outputs":[{"internalType":"string","name":"","type":"string"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"symbol","outputs":[{"internalType":"string","name":"","type":"string"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"totalSupply","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"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"}]

60806040523480156200001157600080fd5b506040518060400160405280600681526020017f53415641474500000000000000000000000000000000000000000000000000008152506040518060400160405280600481526020017f24535647000000000000000000000000000000000000000000000000000000008152506012826003908051906020019062000098929190620002f1565b508160049080519060200190620000b1929190620002f1565b5080600560006101000a81548160ff021916908360ff160217905550505050620000ed336a108b2a2c28029094000000620000f360201b60201c565b620005bf565b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff16141562000166576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016200015d9062000422565b60405180910390fd5b62000182816002546200028e60201b620006e71790919060201c565b600281905550620001e0816000808573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546200028e60201b620006e71790919060201c565b6000808473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508173ffffffffffffffffffffffffffffffffffffffff16600073ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef8360405162000282919062000444565b60405180910390a35050565b60008082846200029f919062000472565b905083811015620002e7576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401620002de9062000400565b60405180910390fd5b8091505092915050565b828054620002ff90620004d9565b90600052602060002090601f0160209004810192826200032357600085556200036f565b82601f106200033e57805160ff19168380011785556200036f565b828001600101855582156200036f579182015b828111156200036e57825182559160200191906001019062000351565b5b5090506200037e919062000382565b5090565b5b808211156200039d57600081600090555060010162000383565b5090565b6000620003b0601b8362000461565b9150620003bd826200056d565b602082019050919050565b6000620003d7601f8362000461565b9150620003e48262000596565b602082019050919050565b620003fa81620004cf565b82525050565b600060208201905081810360008301526200041b81620003a1565b9050919050565b600060208201905081810360008301526200043d81620003c8565b9050919050565b60006020820190506200045b6000830184620003ef565b92915050565b600082825260208201905092915050565b60006200047f82620004cf565b91506200048c83620004cf565b9250827fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff03821115620004c457620004c36200050f565b5b828201905092915050565b6000819050919050565b60006002820490506001821680620004f257607f821691505b602082108114156200050957620005086200053e565b5b50919050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052601160045260246000fd5b7f4e487b7100000000000000000000000000000000000000000000000000000000600052602260045260246000fd5b7f536166654d6174683a206164646974696f6e206f766572666c6f770000000000600082015250565b7f45524332303a206d696e7420746f20746865207a65726f206164647265737300600082015250565b61158180620005cf6000396000f3fe608060405234801561001057600080fd5b50600436106100b45760003560e01c806342966c681161007157806342966c68146101a357806370a08231146101bf57806395d89b41146101ef578063a457c2d71461020d578063a9059cbb1461023d578063dd62ed3e1461026d576100b4565b806306fdde03146100b9578063095ea7b3146100d757806318160ddd1461010757806323b872dd14610125578063313ce567146101555780633950935114610173575b600080fd5b6100c161029d565b6040516100ce9190611034565b60405180910390f35b6100f160048036038101906100ec9190610e51565b61032f565b6040516100fe9190611019565b60405180910390f35b61010f610346565b60405161011c9190611136565b60405180910390f35b61013f600480360381019061013a9190610dfe565b610350565b60405161014c9190611019565b60405180910390f35b61015d610401565b60405161016a9190611151565b60405180910390f35b61018d60048036038101906101889190610e51565b610418565b60405161019a9190611019565b60405180910390f35b6101bd60048036038101906101b89190610e91565b6104bd565b005b6101d960048036038101906101d49190610d91565b6104ca565b6040516101e69190611136565b60405180910390f35b6101f7610512565b6040516102049190611034565b60405180910390f35b61022760048036038101906102229190610e51565b6105a4565b6040516102349190611019565b60405180910390f35b61025760048036038101906102529190610e51565b610649565b6040516102649190611019565b60405180910390f35b61028760048036038101906102829190610dbe565b610660565b6040516102949190611136565b60405180910390f35b6060600380546102ac9061129a565b80601f01602080910402602001604051908101604052809291908181526020018280546102d89061129a565b80156103255780601f106102fa57610100808354040283529160200191610325565b820191906000526020600020905b81548152906001019060200180831161030857829003601f168201915b5050505050905090565b600061033c338484610745565b6001905092915050565b6000600254905090565b600061035d848484610910565b6103f684336103f185600160008a73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054610b8090919063ffffffff16565b610745565b600190509392505050565b6000600560009054906101000a900460ff16905090565b60006104b333846104ae85600160003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008973ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546106e790919063ffffffff16565b610745565b6001905092915050565b6104c73382610bdf565b50565b60008060008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020549050919050565b6060600480546105219061129a565b80601f016020809104026020016040519081016040528092919081815260200182805461054d9061129a565b801561059a5780601f1061056f5761010080835404028352916020019161059a565b820191906000526020600020905b81548152906001019060200180831161057d57829003601f168201915b5050505050905090565b600061063f338461063a85600160003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008973ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054610b8090919063ffffffff16565b610745565b6001905092915050565b6000610656338484610910565b6001905092915050565b6000600160008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054905092915050565b60008082846106f69190611188565b90508381101561073b576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161073290611096565b60405180910390fd5b8091505092915050565b600073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff1614156107b5576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016107ac90611116565b60405180910390fd5b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff161415610825576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161081c90611076565b60405180910390fd5b80600160008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508173ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925836040516109039190611136565b60405180910390a3505050565b600073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff161415610980576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610977906110f6565b60405180910390fd5b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff1614156109f0576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016109e790611056565b60405180910390fd5b610a41816000808673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054610b8090919063ffffffff16565b6000808573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550610ad4816000808573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546106e790919063ffffffff16565b6000808473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508173ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef83604051610b739190611136565b60405180910390a3505050565b600082821115610bc5576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610bbc906110b6565b60405180910390fd5b60008284610bd391906111de565b90508091505092915050565b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff161415610c4f576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610c46906110d6565b60405180910390fd5b610c6481600254610b8090919063ffffffff16565b600281905550610cbb816000808573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054610b8090919063ffffffff16565b6000808473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef83604051610d5b9190611136565b60405180910390a35050565b600081359050610d768161151d565b92915050565b600081359050610d8b81611534565b92915050565b600060208284031215610da757610da661132a565b5b6000610db584828501610d67565b91505092915050565b60008060408385031215610dd557610dd461132a565b5b6000610de385828601610d67565b9250506020610df485828601610d67565b9150509250929050565b600080600060608486031215610e1757610e1661132a565b5b6000610e2586828701610d67565b9350506020610e3686828701610d67565b9250506040610e4786828701610d7c565b9150509250925092565b60008060408385031215610e6857610e6761132a565b5b6000610e7685828601610d67565b9250506020610e8785828601610d7c565b9150509250929050565b600060208284031215610ea757610ea661132a565b5b6000610eb584828501610d7c565b91505092915050565b610ec781611224565b82525050565b6000610ed88261116c565b610ee28185611177565b9350610ef2818560208601611267565b610efb8161132f565b840191505092915050565b6000610f13602383611177565b9150610f1e82611340565b604082019050919050565b6000610f36602283611177565b9150610f418261138f565b604082019050919050565b6000610f59601b83611177565b9150610f64826113de565b602082019050919050565b6000610f7c601e83611177565b9150610f8782611407565b602082019050919050565b6000610f9f602183611177565b9150610faa82611430565b604082019050919050565b6000610fc2602583611177565b9150610fcd8261147f565b604082019050919050565b6000610fe5602483611177565b9150610ff0826114ce565b604082019050919050565b61100481611250565b82525050565b6110138161125a565b82525050565b600060208201905061102e6000830184610ebe565b92915050565b6000602082019050818103600083015261104e8184610ecd565b905092915050565b6000602082019050818103600083015261106f81610f06565b9050919050565b6000602082019050818103600083015261108f81610f29565b9050919050565b600060208201905081810360008301526110af81610f4c565b9050919050565b600060208201905081810360008301526110cf81610f6f565b9050919050565b600060208201905081810360008301526110ef81610f92565b9050919050565b6000602082019050818103600083015261110f81610fb5565b9050919050565b6000602082019050818103600083015261112f81610fd8565b9050919050565b600060208201905061114b6000830184610ffb565b92915050565b6000602082019050611166600083018461100a565b92915050565b600081519050919050565b600082825260208201905092915050565b600061119382611250565b915061119e83611250565b9250827fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff038211156111d3576111d26112cc565b5b828201905092915050565b60006111e982611250565b91506111f483611250565b925082821015611207576112066112cc565b5b828203905092915050565b600061121d82611230565b9050919050565b60008115159050919050565b600073ffffffffffffffffffffffffffffffffffffffff82169050919050565b6000819050919050565b600060ff82169050919050565b60005b8381101561128557808201518184015260208101905061126a565b83811115611294576000848401525b50505050565b600060028204905060018216806112b257607f821691505b602082108114156112c6576112c56112fb565b5b50919050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052601160045260246000fd5b7f4e487b7100000000000000000000000000000000000000000000000000000000600052602260045260246000fd5b600080fd5b6000601f19601f8301169050919050565b7f45524332303a207472616e7366657220746f20746865207a65726f206164647260008201527f6573730000000000000000000000000000000000000000000000000000000000602082015250565b7f45524332303a20617070726f766520746f20746865207a65726f20616464726560008201527f7373000000000000000000000000000000000000000000000000000000000000602082015250565b7f536166654d6174683a206164646974696f6e206f766572666c6f770000000000600082015250565b7f536166654d6174683a207375627472616374696f6e206f766572666c6f770000600082015250565b7f45524332303a206275726e2066726f6d20746865207a65726f2061646472657360008201527f7300000000000000000000000000000000000000000000000000000000000000602082015250565b7f45524332303a207472616e736665722066726f6d20746865207a65726f20616460008201527f6472657373000000000000000000000000000000000000000000000000000000602082015250565b7f45524332303a20617070726f76652066726f6d20746865207a65726f2061646460008201527f7265737300000000000000000000000000000000000000000000000000000000602082015250565b61152681611212565b811461153157600080fd5b50565b61153d81611250565b811461154857600080fd5b5056fea2646970667358221220512efa2acc4d2c98c624f21fef750a8df5ed53e969360673d769b22584b2d72764736f6c63430008070033

0x608060405234801561001057600080fd5b50600436106100b45760003560e01c806342966c681161007157806342966c68146101a357806370a08231146101bf57806395d89b41146101ef578063a457c2d71461020d578063a9059cbb1461023d578063dd62ed3e1461026d576100b4565b806306fdde03146100b9578063095ea7b3146100d757806318160ddd1461010757806323b872dd14610125578063313ce567146101555780633950935114610173575b600080fd5b6100c161029d565b6040516100ce9190611034565b60405180910390f35b6100f160048036038101906100ec9190610e51565b61032f565b6040516100fe9190611019565b60405180910390f35b61010f610346565b60405161011c9190611136565b60405180910390f35b61013f600480360381019061013a9190610dfe565b610350565b60405161014c9190611019565b60405180910390f35b61015d610401565b60405161016a9190611151565b60405180910390f35b61018d60048036038101906101889190610e51565b610418565b60405161019a9190611019565b60405180910390f35b6101bd60048036038101906101b89190610e91565b6104bd565b005b6101d960048036038101906101d49190610d91565b6104ca565b6040516101e69190611136565b60405180910390f35b6101f7610512565b6040516102049190611034565b60405180910390f35b61022760048036038101906102229190610e51565b6105a4565b6040516102349190611019565b60405180910390f35b61025760048036038101906102529190610e51565b610649565b6040516102649190611019565b60405180910390f35b61028760048036038101906102829190610dbe565b610660565b6040516102949190611136565b60405180910390f35b6060600380546102ac9061129a565b80601f01602080910402602001604051908101604052809291908181526020018280546102d89061129a565b80156103255780601f106102fa57610100808354040283529160200191610325565b820191906000526020600020905b81548152906001019060200180831161030857829003601f168201915b5050505050905090565b600061033c338484610745565b6001905092915050565b6000600254905090565b600061035d848484610910565b6103f684336103f185600160008a73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054610b8090919063ffffffff16565b610745565b600190509392505050565b6000600560009054906101000a900460ff16905090565b60006104b333846104ae85600160003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008973ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546106e790919063ffffffff16565b610745565b6001905092915050565b6104c73382610bdf565b50565b60008060008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020549050919050565b6060600480546105219061129a565b80601f016020809104026020016040519081016040528092919081815260200182805461054d9061129a565b801561059a5780601f1061056f5761010080835404028352916020019161059a565b820191906000526020600020905b81548152906001019060200180831161057d57829003601f168201915b5050505050905090565b600061063f338461063a85600160003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008973ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054610b8090919063ffffffff16565b610745565b6001905092915050565b6000610656338484610910565b6001905092915050565b6000600160008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054905092915050565b60008082846106f69190611188565b90508381101561073b576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161073290611096565b60405180910390fd5b8091505092915050565b600073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff1614156107b5576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016107ac90611116565b60405180910390fd5b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff161415610825576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161081c90611076565b60405180910390fd5b80600160008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508173ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925836040516109039190611136565b60405180910390a3505050565b600073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff161415610980576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610977906110f6565b60405180910390fd5b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff1614156109f0576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016109e790611056565b60405180910390fd5b610a41816000808673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054610b8090919063ffffffff16565b6000808573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550610ad4816000808573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546106e790919063ffffffff16565b6000808473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508173ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef83604051610b739190611136565b60405180910390a3505050565b600082821115610bc5576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610bbc906110b6565b60405180910390fd5b60008284610bd391906111de565b90508091505092915050565b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff161415610c4f576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610c46906110d6565b60405180910390fd5b610c6481600254610b8090919063ffffffff16565b600281905550610cbb816000808573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054610b8090919063ffffffff16565b6000808473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef83604051610d5b9190611136565b60405180910390a35050565b600081359050610d768161151d565b92915050565b600081359050610d8b81611534565b92915050565b600060208284031215610da757610da661132a565b5b6000610db584828501610d67565b91505092915050565b60008060408385031215610dd557610dd461132a565b5b6000610de385828601610d67565b9250506020610df485828601610d67565b9150509250929050565b600080600060608486031215610e1757610e1661132a565b5b6000610e2586828701610d67565b9350506020610e3686828701610d67565b9250506040610e4786828701610d7c565b9150509250925092565b60008060408385031215610e6857610e6761132a565b5b6000610e7685828601610d67565b9250506020610e8785828601610d7c565b9150509250929050565b600060208284031215610ea757610ea661132a565b5b6000610eb584828501610d7c565b91505092915050565b610ec781611224565b82525050565b6000610ed88261116c565b610ee28185611177565b9350610ef2818560208601611267565b610efb8161132f565b840191505092915050565b6000610f13602383611177565b9150610f1e82611340565b604082019050919050565b6000610f36602283611177565b9150610f418261138f565b604082019050919050565b6000610f59601b83611177565b9150610f64826113de565b602082019050919050565b6000610f7c601e83611177565b9150610f8782611407565b602082019050919050565b6000610f9f602183611177565b9150610faa82611430565b604082019050919050565b6000610fc2602583611177565b9150610fcd8261147f565b604082019050919050565b6000610fe5602483611177565b9150610ff0826114ce565b604082019050919050565b61100481611250565b82525050565b6110138161125a565b82525050565b600060208201905061102e6000830184610ebe565b92915050565b6000602082019050818103600083015261104e8184610ecd565b905092915050565b6000602082019050818103600083015261106f81610f06565b9050919050565b6000602082019050818103600083015261108f81610f29565b9050919050565b600060208201905081810360008301526110af81610f4c565b9050919050565b600060208201905081810360008301526110cf81610f6f565b9050919050565b600060208201905081810360008301526110ef81610f92565b9050919050565b6000602082019050818103600083015261110f81610fb5565b9050919050565b6000602082019050818103600083015261112f81610fd8565b9050919050565b600060208201905061114b6000830184610ffb565b92915050565b6000602082019050611166600083018461100a565b92915050565b600081519050919050565b600082825260208201905092915050565b600061119382611250565b915061119e83611250565b9250827fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff038211156111d3576111d26112cc565b5b828201905092915050565b60006111e982611250565b91506111f483611250565b925082821015611207576112066112cc565b5b828203905092915050565b600061121d82611230565b9050919050565b60008115159050919050565b600073ffffffffffffffffffffffffffffffffffffffff82169050919050565b6000819050919050565b600060ff82169050919050565b60005b8381101561128557808201518184015260208101905061126a565b83811115611294576000848401525b50505050565b600060028204905060018216806112b257607f821691505b602082108114156112c6576112c56112fb565b5b50919050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052601160045260246000fd5b7f4e487b7100000000000000000000000000000000000000000000000000000000600052602260045260246000fd5b600080fd5b6000601f19601f8301169050919050565b7f45524332303a207472616e7366657220746f20746865207a65726f206164647260008201527f6573730000000000000000000000000000000000000000000000000000000000602082015250565b7f45524332303a20617070726f766520746f20746865207a65726f20616464726560008201527f7373000000000000000000000000000000000000000000000000000000000000602082015250565b7f536166654d6174683a206164646974696f6e206f766572666c6f770000000000600082015250565b7f536166654d6174683a207375627472616374696f6e206f766572666c6f770000600082015250565b7f45524332303a206275726e2066726f6d20746865207a65726f2061646472657360008201527f7300000000000000000000000000000000000000000000000000000000000000602082015250565b7f45524332303a207472616e736665722066726f6d20746865207a65726f20616460008201527f6472657373000000000000000000000000000000000000000000000000000000602082015250565b7f45524332303a20617070726f76652066726f6d20746865207a65726f2061646460008201527f7265737300000000000000000000000000000000000000000000000000000000602082015250565b61152681611212565b811461153157600080fd5b50565b61153d81611250565b811461154857600080fd5b5056fea2646970667358221220512efa2acc4d2c98c624f21fef750a8df5ed53e969360673d769b22584b2d72764736f6c63430008070033

5885:158:0:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;5605:83;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;2713:165;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;2126:108;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;2884:273;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;5789:83;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;3163:206;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;4666:89;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;2240:127;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;5694:87;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;3377:216;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;2375:173;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;2554:151;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;5605:83;5642:13;5675:5;5668:12;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;5605:83;:::o;2713:165::-;2795:4;2812:36;2821:10;2833:7;2842:5;2812:8;:36::i;:::-;2866:4;2859:11;;2713:165;;;;:::o;2126:108::-;2187:7;2214:12;;2207:19;;2126:108;:::o;2884:273::-;2990:4;3007:36;3017:6;3025:9;3036:6;3007:9;:36::i;:::-;3054:73;3063:6;3071:10;3083:43;3119:6;3083:11;:19;3095:6;3083:19;;;;;;;;;;;;;;;:31;3103:10;3083:31;;;;;;;;;;;;;;;;:35;;:43;;;;:::i;:::-;3054:8;:73::i;:::-;3145:4;3138:11;;2884:273;;;;;:::o;5789:83::-;5830:5;5855:9;;;;;;;;;;;5848:16;;5789:83;:::o;3163:206::-;3243:4;3260:79;3269:10;3281:7;3290:48;3327:10;3290:11;:23;3302:10;3290:23;;;;;;;;;;;;;;;:32;3314:7;3290:32;;;;;;;;;;;;;;;;:36;;:48;;;;:::i;:::-;3260:8;:79::i;:::-;3357:4;3350:11;;3163:206;;;;:::o;4666:89::-;4723:24;4729:10;4740:6;4723:5;:24::i;:::-;4666:89;:::o;2240:127::-;2314:7;2341:9;:18;2351:7;2341:18;;;;;;;;;;;;;;;;2334:25;;2240:127;;;:::o;5694:87::-;5733:13;5766:7;5759:14;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;5694:87;:::o;3377:216::-;3462:4;3479:84;3488:10;3500:7;3509:53;3546:15;3509:11;:23;3521:10;3509:23;;;;;;;;;;;;;;;:32;3533:7;3509:32;;;;;;;;;;;;;;;;:36;;:53;;;;:::i;:::-;3479:8;:84::i;:::-;3581:4;3574:11;;3377:216;;;;:::o;2375:173::-;2461:4;2478:40;2488:10;2500:9;2511:6;2478:9;:40::i;:::-;2536:4;2529:11;;2375:173;;;;:::o;2554:151::-;2643:7;2670:11;:18;2682:5;2670:18;;;;;;;;;;;;;;;:27;2689:7;2670:27;;;;;;;;;;;;;;;;2663:34;;2554:151;;;;:::o;90:179::-;148:7;168:9;184:1;180;:5;;;;:::i;:::-;168:17;;209:1;204;:6;;196:46;;;;;;;;;;;;:::i;:::-;;;;;;;;;260:1;253:8;;;90:179;;;;:::o;4763:335::-;4873:1;4856:19;;:5;:19;;;;4848:68;;;;;;;;;;;;:::i;:::-;;;;;;;;;4954:1;4935:21;;:7;:21;;;;4927:68;;;;;;;;;;;;:::i;:::-;;;;;;;;;5038:5;5008:11;:18;5020:5;5008:18;;;;;;;;;;;;;;;:27;5027:7;5008:27;;;;;;;;;;;;;;;:35;;;;5075:7;5059:31;;5068:5;5059:31;;;5084:5;5059:31;;;;;;:::i;:::-;;;;;;;;4763:335;;;:::o;3601:429::-;3717:1;3699:20;;:6;:20;;;;3691:70;;;;;;;;;;;;:::i;:::-;;;;;;;;;3801:1;3780:23;;:9;:23;;;;3772:71;;;;;;;;;;;;:::i;:::-;;;;;;;;;3876:29;3898:6;3876:9;:17;3886:6;3876:17;;;;;;;;;;;;;;;;:21;;:29;;;;:::i;:::-;3856:9;:17;3866:6;3856:17;;;;;;;;;;;;;;;:49;;;;3939:32;3964:6;3939:9;:20;3949:9;3939:20;;;;;;;;;;;;;;;;:24;;:32;;;;:::i;:::-;3916:9;:20;3926:9;3916:20;;;;;;;;;;;;;;;:55;;;;4004:9;3987:35;;3996:6;3987:35;;;4015:6;3987:35;;;;;;:::i;:::-;;;;;;;;3601:429;;;:::o;275:182::-;333:7;366:1;361;:6;;353:49;;;;;;;;;;;;:::i;:::-;;;;;;;;;413:9;429:1;425;:5;;;;:::i;:::-;413:17;;448:1;441:8;;;275:182;;;;:::o;4352:306::-;4446:1;4427:21;;:7;:21;;;;4419:67;;;;;;;;;;;;:::i;:::-;;;;;;;;;4514:23;4531:5;4514:12;;:16;;:23;;;;:::i;:::-;4499:12;:38;;;;4569:29;4592:5;4569:9;:18;4579:7;4569:18;;;;;;;;;;;;;;;;:22;;:29;;;;:::i;:::-;4548:9;:18;4558:7;4548:18;;;;;;;;;;;;;;;:50;;;;4640:1;4614:36;;4623:7;4614:36;;;4644:5;4614:36;;;;;;:::i;:::-;;;;;;;;4352:306;;:::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:329::-;2276:6;2325:2;2313:9;2304:7;2300:23;2296:32;2293:119;;;2331:79;;:::i;:::-;2293:119;2451:1;2476:53;2521:7;2512:6;2501:9;2497:22;2476:53;:::i;:::-;2466:63;;2422:117;2217:329;;;;:::o;2552:109::-;2633:21;2648:5;2633:21;:::i;:::-;2628:3;2621:34;2552:109;;:::o;2667:364::-;2755:3;2783:39;2816:5;2783:39;:::i;:::-;2838:71;2902:6;2897:3;2838:71;:::i;:::-;2831:78;;2918:52;2963:6;2958:3;2951:4;2944:5;2940:16;2918:52;:::i;:::-;2995:29;3017:6;2995:29;:::i;:::-;2990:3;2986:39;2979:46;;2759:272;2667:364;;;;:::o;3037:366::-;3179:3;3200:67;3264:2;3259:3;3200:67;:::i;:::-;3193:74;;3276:93;3365:3;3276:93;:::i;:::-;3394:2;3389:3;3385:12;3378:19;;3037:366;;;:::o;3409:::-;3551:3;3572:67;3636:2;3631:3;3572:67;:::i;:::-;3565:74;;3648:93;3737:3;3648:93;:::i;:::-;3766:2;3761:3;3757:12;3750:19;;3409:366;;;:::o;3781:::-;3923:3;3944:67;4008:2;4003:3;3944:67;:::i;:::-;3937:74;;4020:93;4109:3;4020:93;:::i;:::-;4138:2;4133:3;4129:12;4122:19;;3781:366;;;:::o;4153:::-;4295:3;4316:67;4380:2;4375:3;4316:67;:::i;:::-;4309:74;;4392:93;4481:3;4392:93;:::i;:::-;4510:2;4505:3;4501:12;4494:19;;4153:366;;;:::o;4525:::-;4667:3;4688:67;4752:2;4747:3;4688:67;:::i;:::-;4681:74;;4764:93;4853:3;4764:93;:::i;:::-;4882:2;4877:3;4873:12;4866:19;;4525:366;;;:::o;4897:::-;5039:3;5060:67;5124:2;5119:3;5060:67;:::i;:::-;5053:74;;5136:93;5225:3;5136:93;:::i;:::-;5254:2;5249:3;5245:12;5238:19;;4897:366;;;:::o;5269:::-;5411:3;5432:67;5496:2;5491:3;5432:67;:::i;:::-;5425:74;;5508:93;5597:3;5508:93;:::i;:::-;5626:2;5621:3;5617:12;5610:19;;5269:366;;;:::o;5641:118::-;5728:24;5746:5;5728:24;:::i;:::-;5723:3;5716:37;5641:118;;:::o;5765:112::-;5848:22;5864:5;5848:22;:::i;:::-;5843:3;5836:35;5765:112;;:::o;5883:210::-;5970:4;6008:2;5997:9;5993:18;5985:26;;6021:65;6083:1;6072:9;6068:17;6059:6;6021:65;:::i;:::-;5883:210;;;;:::o;6099:313::-;6212:4;6250:2;6239:9;6235:18;6227:26;;6299:9;6293:4;6289:20;6285:1;6274:9;6270:17;6263:47;6327:78;6400:4;6391:6;6327:78;:::i;:::-;6319:86;;6099:313;;;;:::o;6418:419::-;6584:4;6622:2;6611:9;6607:18;6599:26;;6671:9;6665:4;6661:20;6657:1;6646:9;6642:17;6635:47;6699:131;6825:4;6699:131;:::i;:::-;6691:139;;6418:419;;;:::o;6843:::-;7009:4;7047:2;7036:9;7032:18;7024:26;;7096:9;7090:4;7086:20;7082:1;7071:9;7067:17;7060:47;7124:131;7250:4;7124:131;:::i;:::-;7116:139;;6843:419;;;:::o;7268:::-;7434:4;7472:2;7461:9;7457:18;7449:26;;7521:9;7515:4;7511:20;7507:1;7496:9;7492:17;7485:47;7549:131;7675:4;7549:131;:::i;:::-;7541:139;;7268:419;;;:::o;7693:::-;7859:4;7897:2;7886:9;7882:18;7874:26;;7946:9;7940:4;7936:20;7932:1;7921:9;7917:17;7910:47;7974:131;8100:4;7974:131;:::i;:::-;7966:139;;7693:419;;;:::o;8118:::-;8284:4;8322:2;8311:9;8307:18;8299:26;;8371:9;8365:4;8361:20;8357:1;8346:9;8342:17;8335:47;8399:131;8525:4;8399:131;:::i;:::-;8391:139;;8118:419;;;:::o;8543:::-;8709:4;8747:2;8736:9;8732:18;8724:26;;8796:9;8790:4;8786:20;8782:1;8771:9;8767:17;8760:47;8824:131;8950:4;8824:131;:::i;:::-;8816:139;;8543:419;;;:::o;8968:::-;9134:4;9172:2;9161:9;9157:18;9149:26;;9221:9;9215:4;9211:20;9207:1;9196:9;9192:17;9185:47;9249:131;9375:4;9249:131;:::i;:::-;9241:139;;8968:419;;;:::o;9393:222::-;9486:4;9524:2;9513:9;9509:18;9501:26;;9537:71;9605:1;9594:9;9590:17;9581:6;9537:71;:::i;:::-;9393:222;;;;:::o;9621:214::-;9710:4;9748:2;9737:9;9733:18;9725:26;;9761:67;9825:1;9814:9;9810:17;9801:6;9761:67;:::i;:::-;9621:214;;;;:::o;9922:99::-;9974:6;10008:5;10002:12;9992:22;;9922:99;;;:::o;10027:169::-;10111:11;10145:6;10140:3;10133:19;10185:4;10180:3;10176:14;10161:29;;10027:169;;;;:::o;10202:305::-;10242:3;10261:20;10279:1;10261:20;:::i;:::-;10256:25;;10295:20;10313:1;10295:20;:::i;:::-;10290:25;;10449:1;10381:66;10377:74;10374:1;10371:81;10368:107;;;10455:18;;:::i;:::-;10368:107;10499:1;10496;10492:9;10485:16;;10202:305;;;;:::o;10513:191::-;10553:4;10573:20;10591:1;10573:20;:::i;:::-;10568:25;;10607:20;10625:1;10607:20;:::i;:::-;10602:25;;10646:1;10643;10640:8;10637:34;;;10651:18;;:::i;:::-;10637:34;10696:1;10693;10689:9;10681:17;;10513:191;;;;:::o;10710:96::-;10747:7;10776:24;10794:5;10776:24;:::i;:::-;10765:35;;10710:96;;;:::o;10812:90::-;10846:7;10889:5;10882:13;10875:21;10864:32;;10812:90;;;:::o;10908:126::-;10945:7;10985:42;10978:5;10974:54;10963:65;;10908:126;;;:::o;11040:77::-;11077:7;11106:5;11095:16;;11040:77;;;:::o;11123:86::-;11158:7;11198:4;11191:5;11187:16;11176:27;;11123:86;;;:::o;11215:307::-;11283:1;11293:113;11307:6;11304:1;11301:13;11293:113;;;11392:1;11387:3;11383:11;11377:18;11373:1;11368:3;11364:11;11357:39;11329:2;11326:1;11322:10;11317:15;;11293:113;;;11424:6;11421:1;11418:13;11415:101;;;11504:1;11495:6;11490:3;11486:16;11479:27;11415:101;11264:258;11215:307;;;:::o;11528:320::-;11572:6;11609:1;11603:4;11599:12;11589:22;;11656:1;11650:4;11646:12;11677:18;11667:81;;11733:4;11725:6;11721:17;11711:27;;11667:81;11795:2;11787:6;11784:14;11764:18;11761:38;11758:84;;;11814:18;;:::i;:::-;11758:84;11579:269;11528:320;;;:::o;11854:180::-;11902:77;11899:1;11892:88;11999:4;11996:1;11989:15;12023:4;12020:1;12013:15;12040:180;12088:77;12085:1;12078:88;12185:4;12182:1;12175:15;12209:4;12206:1;12199:15;12349:117;12458:1;12455;12448:12;12472:102;12513:6;12564:2;12560:7;12555:2;12548:5;12544:14;12540:28;12530:38;;12472:102;;;:::o;12580:222::-;12720:34;12716:1;12708:6;12704:14;12697:58;12789:5;12784:2;12776:6;12772:15;12765:30;12580:222;:::o;12808:221::-;12948:34;12944:1;12936:6;12932:14;12925:58;13017:4;13012:2;13004:6;13000:15;12993:29;12808:221;:::o;13035:177::-;13175:29;13171:1;13163:6;13159:14;13152:53;13035:177;:::o;13218:180::-;13358:32;13354:1;13346:6;13342:14;13335:56;13218:180;:::o;13404:220::-;13544:34;13540:1;13532:6;13528:14;13521:58;13613:3;13608:2;13600:6;13596:15;13589:28;13404:220;:::o;13630:224::-;13770:34;13766:1;13758:6;13754:14;13747:58;13839:7;13834:2;13826:6;13822:15;13815:32;13630:224;:::o;13860:223::-;14000:34;13996:1;13988:6;13984:14;13977:58;14069:6;14064:2;14056:6;14052:15;14045:31;13860:223;:::o;14089:122::-;14162:24;14180:5;14162:24;:::i;:::-;14155:5;14152:35;14142:63;;14201:1;14198;14191:12;14142:63;14089:122;:::o;14217:::-;14290:24;14308:5;14290:24;:::i;:::-;14283:5;14280:35;14270:63;;14329:1;14326;14319:12;14270:63;14217:122;:::o

ipfs://512efa2acc4d2c98c624f21fef750a8df5ed53e969360673d769b22584b2d727