Contract Source Code (Solidity)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta
• Remix IDE

Outline

•  contract Mars *
•    - function balanceOf(address account)
•    - function transfer(address recipient, ...
•    - function _transfer(address sender, ad ...
•    - function approve(address spender, uin ...
•    - function _approve(address tokenOwner, ...
•    - function allowance(address tokenOwner ...
•    - function transferFrom(address sender, ...
•    - function addToBlacklist(address accou ...
•    - function removeFromBlacklist(address ...
•    - function transferOwnership(address ne ...
•    - function renounceOwnership()
• library SafeMath
•    - function add(uint256 a, uint256 b)
•    - function sub(uint256 a, uint256 b)

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

/**
 *Submitted for verification at Etherscan.io on 2024-09-24
*/

// SPDX-License-Identifier: MIT


/*                
                      
Web:https://marsk.xyz/

Twitter:https://x.com/ElonMarsk_

Telegram:https://t.me/ElonMarskcoin
*/

pragma solidity ^0.8.26;

contract Mars {
    using SafeMath for uint256;

    string public constant name = "Elon MarsK";
    string public constant symbol = "Marsk";
    uint8 public constant decimals = 18;
    uint256 public constant totalSupply = 100000000 * 10**18;

    mapping(address => uint256) private _balances;
    mapping(address => mapping(address => uint256)) private _allowances;
    
    
    mapping(address => bool) public isBlacklisted; 

    event Transfer(address indexed from, address indexed to, uint256 value);
    event Approval(address indexed tokenOwner, address indexed spender, uint256 value);
    event OwnershipTransferred(address indexed previousOwner, address indexed newOwner);
    event AddedToBlacklist(address indexed account); 
    event RemovedFromBlacklist(address indexed account); 

    address public owner;

    modifier onlyOwner() {
        require(owner == msg.sender, "Caller is not the owner");
        _;
    }

    constructor() {
        _balances[msg.sender] = totalSupply;
        owner = msg.sender;
        emit Transfer(address(0), msg.sender, totalSupply);
        emit OwnershipTransferred(address(0), msg.sender);
    }

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

    function transfer(address recipient, uint256 amount) external returns (bool) {
        _transfer(msg.sender, recipient, amount);
        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");

        
        require(!isBlacklisted[sender], "ERC20: sender is blacklisted");
        require(!isBlacklisted[recipient], "ERC20: recipient is blacklisted");

        uint256 senderBalance = _balances[sender];
        require(senderBalance >= amount, "ERC20: transfer amount exceeds balance");

        _balances[sender] = senderBalance.sub(amount);
        _balances[recipient] = _balances[recipient].add(amount);

        emit Transfer(sender, recipient, amount);
    }

    function approve(address spender, uint256 amount) external returns (bool) {
        _approve(msg.sender, spender, amount);
        return true;
    }

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

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

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

    function transferFrom(address sender, address recipient, uint256 amount) external returns (bool) {
        uint256 currentAllowance = _allowances[sender][msg.sender];
        require(currentAllowance >= amount, "ERC20: transfer amount exceeds allowance");

        _transfer(sender, recipient, amount);

        _approve(sender, msg.sender, currentAllowance.sub(amount));

        return true;
    }

    
    function addToBlacklist(address account) external onlyOwner {
        require(!isBlacklisted[account], "Account is already blacklisted");
        isBlacklisted[account] = true;
        emit AddedToBlacklist(account);
    }

    function removeFromBlacklist(address account) external onlyOwner {
        require(isBlacklisted[account], "Account is not blacklisted");
        isBlacklisted[account] = false;
        emit RemovedFromBlacklist(account);
    }

    
    function transferOwnership(address newOwner) public onlyOwner {
        require(newOwner != address(0), "New owner is the zero address");
        emit OwnershipTransferred(owner, newOwner);
        owner = newOwner;
    }

    function renounceOwnership() public onlyOwner {
        emit OwnershipTransferred(owner, address(0));
        owner = address(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");
        return a - b;
    }
}

• No Contract Security Audit Submitted- Submit Audit Here

[{"inputs":[],"stateMutability":"nonpayable","type":"constructor"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"account","type":"address"}],"name":"AddedToBlacklist","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"tokenOwner","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":"previousOwner","type":"address"},{"indexed":true,"internalType":"address","name":"newOwner","type":"address"}],"name":"OwnershipTransferred","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"account","type":"address"}],"name":"RemovedFromBlacklist","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":"account","type":"address"}],"name":"addToBlacklist","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"tokenOwner","type":"address"},{"internalType":"address","name":"spender","type":"address"}],"name":"allowance","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"spender","type":"address"},{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"approve","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"account","type":"address"}],"name":"balanceOf","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"decimals","outputs":[{"internalType":"uint8","name":"","type":"uint8"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"","type":"address"}],"name":"isBlacklisted","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"name","outputs":[{"internalType":"string","name":"","type":"string"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"owner","outputs":[{"internalType":"address","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"account","type":"address"}],"name":"removeFromBlacklist","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"renounceOwnership","outputs":[],"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"},{"inputs":[{"internalType":"address","name":"newOwner","type":"address"}],"name":"transferOwnership","outputs":[],"stateMutability":"nonpayable","type":"function"}]

608060405234801561000f575f80fd5b506a52b7d2dcc80cd2e40000005f803373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20819055503360035f6101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055503373ffffffffffffffffffffffffffffffffffffffff165f73ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef6a52b7d2dcc80cd2e40000006040516101049190610183565b60405180910390a33373ffffffffffffffffffffffffffffffffffffffff165f73ffffffffffffffffffffffffffffffffffffffff167f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e060405160405180910390a361019c565b5f819050919050565b61017d8161016b565b82525050565b5f6020820190506101965f830184610174565b92915050565b611c8b806101a95f395ff3fe608060405234801561000f575f80fd5b50600436106100f3575f3560e01c806370a0823111610095578063a9059cbb11610064578063a9059cbb1461025f578063dd62ed3e1461028f578063f2fde38b146102bf578063fe575a87146102db576100f3565b806370a08231146101e9578063715018a6146102195780638da5cb5b1461022357806395d89b4114610241576100f3565b806323b872dd116100d157806323b872dd14610163578063313ce5671461019357806344337ea1146101b1578063537df3b6146101cd576100f3565b806306fdde03146100f7578063095ea7b31461011557806318160ddd14610145575b5f80fd5b6100ff61030b565b60405161010c91906112cf565b60405180910390f35b61012f600480360381019061012a9190611380565b610344565b60405161013c91906113d8565b60405180910390f35b61014d61035a565b60405161015a9190611400565b60405180910390f35b61017d60048036038101906101789190611419565b610369565b60405161018a91906113d8565b60405180910390f35b61019b61045d565b6040516101a89190611484565b60405180910390f35b6101cb60048036038101906101c6919061149d565b610462565b005b6101e760048036038101906101e2919061149d565b610616565b005b61020360048036038101906101fe919061149d565b6107c8565b6040516102109190611400565b60405180910390f35b61022161080d565b005b61022b610959565b60405161023891906114d7565b60405180910390f35b61024961097e565b60405161025691906112cf565b60405180910390f35b61027960048036038101906102749190611380565b6109b7565b60405161028691906113d8565b60405180910390f35b6102a960048036038101906102a491906114f0565b6109cd565b6040516102b69190611400565b60405180910390f35b6102d960048036038101906102d4919061149d565b610a4f565b005b6102f560048036038101906102f0919061149d565b610c0a565b60405161030291906113d8565b60405180910390f35b6040518060400160405280600a81526020017f456c6f6e204d6172734b0000000000000000000000000000000000000000000081525081565b5f610350338484610c27565b6001905092915050565b6a52b7d2dcc80cd2e400000081565b5f8060015f8673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f3373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f2054905082811015610429576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016104209061159e565b60405180910390fd5b610434858585610dea565b610451853361044c86856111aa90919063ffffffff16565b610c27565b60019150509392505050565b601281565b3373ffffffffffffffffffffffffffffffffffffffff1660035f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16146104f1576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016104e890611606565b60405180910390fd5b60025f8273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f9054906101000a900460ff161561057b576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016105729061166e565b60405180910390fd5b600160025f8373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f6101000a81548160ff0219169083151502179055508073ffffffffffffffffffffffffffffffffffffffff167ff9b68063b051b82957fa193585681240904fed808db8b30fc5a2d2202c6ed62760405160405180910390a250565b3373ffffffffffffffffffffffffffffffffffffffff1660035f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16146106a5576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161069c90611606565b60405180910390fd5b60025f8273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f9054906101000a900460ff1661072e576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610725906116d6565b60405180910390fd5b5f60025f8373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f6101000a81548160ff0219169083151502179055508073ffffffffffffffffffffffffffffffffffffffff167f2b6bf71b58b3583add364b3d9060ebf8019650f65f5be35f5464b9cb3e4ba2d460405160405180910390a250565b5f805f8373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20549050919050565b3373ffffffffffffffffffffffffffffffffffffffff1660035f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff161461089c576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161089390611606565b60405180910390fd5b5f73ffffffffffffffffffffffffffffffffffffffff1660035f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff167f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e060405160405180910390a35f60035f6101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff160217905550565b60035f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b6040518060400160405280600581526020017f4d6172736b00000000000000000000000000000000000000000000000000000081525081565b5f6109c3338484610dea565b6001905092915050565b5f60015f8473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f8373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f2054905092915050565b3373ffffffffffffffffffffffffffffffffffffffff1660035f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1614610ade576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610ad590611606565b60405180910390fd5b5f73ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff1603610b4c576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610b439061173e565b60405180910390fd5b8073ffffffffffffffffffffffffffffffffffffffff1660035f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff167f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e060405160405180910390a38060035f6101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555050565b6002602052805f5260405f205f915054906101000a900460ff1681565b5f73ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff1603610c95576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610c8c906117cc565b60405180910390fd5b5f73ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff1603610d03576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610cfa9061185a565b60405180910390fd5b8060015f8573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f8473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20819055508173ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b92583604051610ddd9190611400565b60405180910390a3505050565b5f73ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff1603610e58576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610e4f906118e8565b60405180910390fd5b5f73ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff1603610ec6576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610ebd90611976565b60405180910390fd5b60025f8473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f9054906101000a900460ff1615610f50576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610f47906119de565b60405180910390fd5b60025f8373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f9054906101000a900460ff1615610fda576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610fd190611a46565b60405180910390fd5b5f805f8573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205490508181101561105d576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161105490611ad4565b60405180910390fd5b61107082826111aa90919063ffffffff16565b5f808673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20819055506110ff825f808673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205461120290919063ffffffff16565b5f808573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20819055508273ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef8460405161119c9190611400565b60405180910390a350505050565b5f828211156111ee576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016111e590611b3c565b60405180910390fd5b81836111fa9190611b87565b905092915050565b5f8082846112109190611bba565b905083811015611255576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161124c90611c37565b60405180910390fd5b8091505092915050565b5f81519050919050565b5f82825260208201905092915050565b8281835e5f83830152505050565b5f601f19601f8301169050919050565b5f6112a18261125f565b6112ab8185611269565b93506112bb818560208601611279565b6112c481611287565b840191505092915050565b5f6020820190508181035f8301526112e78184611297565b905092915050565b5f80fd5b5f73ffffffffffffffffffffffffffffffffffffffff82169050919050565b5f61131c826112f3565b9050919050565b61132c81611312565b8114611336575f80fd5b50565b5f8135905061134781611323565b92915050565b5f819050919050565b61135f8161134d565b8114611369575f80fd5b50565b5f8135905061137a81611356565b92915050565b5f8060408385031215611396576113956112ef565b5b5f6113a385828601611339565b92505060206113b48582860161136c565b9150509250929050565b5f8115159050919050565b6113d2816113be565b82525050565b5f6020820190506113eb5f8301846113c9565b92915050565b6113fa8161134d565b82525050565b5f6020820190506114135f8301846113f1565b92915050565b5f805f606084860312156114305761142f6112ef565b5b5f61143d86828701611339565b935050602061144e86828701611339565b925050604061145f8682870161136c565b9150509250925092565b5f60ff82169050919050565b61147e81611469565b82525050565b5f6020820190506114975f830184611475565b92915050565b5f602082840312156114b2576114b16112ef565b5b5f6114bf84828501611339565b91505092915050565b6114d181611312565b82525050565b5f6020820190506114ea5f8301846114c8565b92915050565b5f8060408385031215611506576115056112ef565b5b5f61151385828601611339565b925050602061152485828601611339565b9150509250929050565b7f45524332303a207472616e7366657220616d6f756e74206578636565647320615f8201527f6c6c6f77616e6365000000000000000000000000000000000000000000000000602082015250565b5f611588602883611269565b91506115938261152e565b604082019050919050565b5f6020820190508181035f8301526115b58161157c565b9050919050565b7f43616c6c6572206973206e6f7420746865206f776e65720000000000000000005f82015250565b5f6115f0601783611269565b91506115fb826115bc565b602082019050919050565b5f6020820190508181035f83015261161d816115e4565b9050919050565b7f4163636f756e7420697320616c726561647920626c61636b6c697374656400005f82015250565b5f611658601e83611269565b915061166382611624565b602082019050919050565b5f6020820190508181035f8301526116858161164c565b9050919050565b7f4163636f756e74206973206e6f7420626c61636b6c69737465640000000000005f82015250565b5f6116c0601a83611269565b91506116cb8261168c565b602082019050919050565b5f6020820190508181035f8301526116ed816116b4565b9050919050565b7f4e6577206f776e657220697320746865207a65726f20616464726573730000005f82015250565b5f611728601d83611269565b9150611733826116f4565b602082019050919050565b5f6020820190508181035f8301526117558161171c565b9050919050565b7f45524332303a20617070726f76652066726f6d20746865207a65726f206164645f8201527f7265737300000000000000000000000000000000000000000000000000000000602082015250565b5f6117b6602483611269565b91506117c18261175c565b604082019050919050565b5f6020820190508181035f8301526117e3816117aa565b9050919050565b7f45524332303a20617070726f766520746f20746865207a65726f2061646472655f8201527f7373000000000000000000000000000000000000000000000000000000000000602082015250565b5f611844602283611269565b915061184f826117ea565b604082019050919050565b5f6020820190508181035f83015261187181611838565b9050919050565b7f45524332303a207472616e736665722066726f6d20746865207a65726f2061645f8201527f6472657373000000000000000000000000000000000000000000000000000000602082015250565b5f6118d2602583611269565b91506118dd82611878565b604082019050919050565b5f6020820190508181035f8301526118ff816118c6565b9050919050565b7f45524332303a207472616e7366657220746f20746865207a65726f20616464725f8201527f6573730000000000000000000000000000000000000000000000000000000000602082015250565b5f611960602383611269565b915061196b82611906565b604082019050919050565b5f6020820190508181035f83015261198d81611954565b9050919050565b7f45524332303a2073656e64657220697320626c61636b6c6973746564000000005f82015250565b5f6119c8601c83611269565b91506119d382611994565b602082019050919050565b5f6020820190508181035f8301526119f5816119bc565b9050919050565b7f45524332303a20726563697069656e7420697320626c61636b6c6973746564005f82015250565b5f611a30601f83611269565b9150611a3b826119fc565b602082019050919050565b5f6020820190508181035f830152611a5d81611a24565b9050919050565b7f45524332303a207472616e7366657220616d6f756e74206578636565647320625f8201527f616c616e63650000000000000000000000000000000000000000000000000000602082015250565b5f611abe602683611269565b9150611ac982611a64565b604082019050919050565b5f6020820190508181035f830152611aeb81611ab2565b9050919050565b7f536166654d6174683a207375627472616374696f6e206f766572666c6f7700005f82015250565b5f611b26601e83611269565b9150611b3182611af2565b602082019050919050565b5f6020820190508181035f830152611b5381611b1a565b9050919050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52601160045260245ffd5b5f611b918261134d565b9150611b9c8361134d565b9250828203905081811115611bb457611bb3611b5a565b5b92915050565b5f611bc48261134d565b9150611bcf8361134d565b9250828201905080821115611be757611be6611b5a565b5b92915050565b7f536166654d6174683a206164646974696f6e206f766572666c6f7700000000005f82015250565b5f611c21601b83611269565b9150611c2c82611bed565b602082019050919050565b5f6020820190508181035f830152611c4e81611c15565b905091905056fea2646970667358221220e40895a36fac901335a46f861286f5f889da1e1d9e81fdca7806301ac6fb8fb564736f6c634300081a0033

0x608060405234801561000f575f80fd5b50600436106100f3575f3560e01c806370a0823111610095578063a9059cbb11610064578063a9059cbb1461025f578063dd62ed3e1461028f578063f2fde38b146102bf578063fe575a87146102db576100f3565b806370a08231146101e9578063715018a6146102195780638da5cb5b1461022357806395d89b4114610241576100f3565b806323b872dd116100d157806323b872dd14610163578063313ce5671461019357806344337ea1146101b1578063537df3b6146101cd576100f3565b806306fdde03146100f7578063095ea7b31461011557806318160ddd14610145575b5f80fd5b6100ff61030b565b60405161010c91906112cf565b60405180910390f35b61012f600480360381019061012a9190611380565b610344565b60405161013c91906113d8565b60405180910390f35b61014d61035a565b60405161015a9190611400565b60405180910390f35b61017d60048036038101906101789190611419565b610369565b60405161018a91906113d8565b60405180910390f35b61019b61045d565b6040516101a89190611484565b60405180910390f35b6101cb60048036038101906101c6919061149d565b610462565b005b6101e760048036038101906101e2919061149d565b610616565b005b61020360048036038101906101fe919061149d565b6107c8565b6040516102109190611400565b60405180910390f35b61022161080d565b005b61022b610959565b60405161023891906114d7565b60405180910390f35b61024961097e565b60405161025691906112cf565b60405180910390f35b61027960048036038101906102749190611380565b6109b7565b60405161028691906113d8565b60405180910390f35b6102a960048036038101906102a491906114f0565b6109cd565b6040516102b69190611400565b60405180910390f35b6102d960048036038101906102d4919061149d565b610a4f565b005b6102f560048036038101906102f0919061149d565b610c0a565b60405161030291906113d8565b60405180910390f35b6040518060400160405280600a81526020017f456c6f6e204d6172734b0000000000000000000000000000000000000000000081525081565b5f610350338484610c27565b6001905092915050565b6a52b7d2dcc80cd2e400000081565b5f8060015f8673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f3373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f2054905082811015610429576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016104209061159e565b60405180910390fd5b610434858585610dea565b610451853361044c86856111aa90919063ffffffff16565b610c27565b60019150509392505050565b601281565b3373ffffffffffffffffffffffffffffffffffffffff1660035f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16146104f1576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016104e890611606565b60405180910390fd5b60025f8273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f9054906101000a900460ff161561057b576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016105729061166e565b60405180910390fd5b600160025f8373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f6101000a81548160ff0219169083151502179055508073ffffffffffffffffffffffffffffffffffffffff167ff9b68063b051b82957fa193585681240904fed808db8b30fc5a2d2202c6ed62760405160405180910390a250565b3373ffffffffffffffffffffffffffffffffffffffff1660035f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16146106a5576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161069c90611606565b60405180910390fd5b60025f8273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f9054906101000a900460ff1661072e576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610725906116d6565b60405180910390fd5b5f60025f8373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f6101000a81548160ff0219169083151502179055508073ffffffffffffffffffffffffffffffffffffffff167f2b6bf71b58b3583add364b3d9060ebf8019650f65f5be35f5464b9cb3e4ba2d460405160405180910390a250565b5f805f8373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20549050919050565b3373ffffffffffffffffffffffffffffffffffffffff1660035f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff161461089c576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161089390611606565b60405180910390fd5b5f73ffffffffffffffffffffffffffffffffffffffff1660035f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff167f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e060405160405180910390a35f60035f6101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff160217905550565b60035f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b6040518060400160405280600581526020017f4d6172736b00000000000000000000000000000000000000000000000000000081525081565b5f6109c3338484610dea565b6001905092915050565b5f60015f8473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f8373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f2054905092915050565b3373ffffffffffffffffffffffffffffffffffffffff1660035f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1614610ade576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610ad590611606565b60405180910390fd5b5f73ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff1603610b4c576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610b439061173e565b60405180910390fd5b8073ffffffffffffffffffffffffffffffffffffffff1660035f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff167f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e060405160405180910390a38060035f6101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555050565b6002602052805f5260405f205f915054906101000a900460ff1681565b5f73ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff1603610c95576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610c8c906117cc565b60405180910390fd5b5f73ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff1603610d03576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610cfa9061185a565b60405180910390fd5b8060015f8573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f8473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20819055508173ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b92583604051610ddd9190611400565b60405180910390a3505050565b5f73ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff1603610e58576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610e4f906118e8565b60405180910390fd5b5f73ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff1603610ec6576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610ebd90611976565b60405180910390fd5b60025f8473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f9054906101000a900460ff1615610f50576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610f47906119de565b60405180910390fd5b60025f8373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f9054906101000a900460ff1615610fda576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610fd190611a46565b60405180910390fd5b5f805f8573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205490508181101561105d576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161105490611ad4565b60405180910390fd5b61107082826111aa90919063ffffffff16565b5f808673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20819055506110ff825f808673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205461120290919063ffffffff16565b5f808573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20819055508273ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef8460405161119c9190611400565b60405180910390a350505050565b5f828211156111ee576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016111e590611b3c565b60405180910390fd5b81836111fa9190611b87565b905092915050565b5f8082846112109190611bba565b905083811015611255576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161124c90611c37565b60405180910390fd5b8091505092915050565b5f81519050919050565b5f82825260208201905092915050565b8281835e5f83830152505050565b5f601f19601f8301169050919050565b5f6112a18261125f565b6112ab8185611269565b93506112bb818560208601611279565b6112c481611287565b840191505092915050565b5f6020820190508181035f8301526112e78184611297565b905092915050565b5f80fd5b5f73ffffffffffffffffffffffffffffffffffffffff82169050919050565b5f61131c826112f3565b9050919050565b61132c81611312565b8114611336575f80fd5b50565b5f8135905061134781611323565b92915050565b5f819050919050565b61135f8161134d565b8114611369575f80fd5b50565b5f8135905061137a81611356565b92915050565b5f8060408385031215611396576113956112ef565b5b5f6113a385828601611339565b92505060206113b48582860161136c565b9150509250929050565b5f8115159050919050565b6113d2816113be565b82525050565b5f6020820190506113eb5f8301846113c9565b92915050565b6113fa8161134d565b82525050565b5f6020820190506114135f8301846113f1565b92915050565b5f805f606084860312156114305761142f6112ef565b5b5f61143d86828701611339565b935050602061144e86828701611339565b925050604061145f8682870161136c565b9150509250925092565b5f60ff82169050919050565b61147e81611469565b82525050565b5f6020820190506114975f830184611475565b92915050565b5f602082840312156114b2576114b16112ef565b5b5f6114bf84828501611339565b91505092915050565b6114d181611312565b82525050565b5f6020820190506114ea5f8301846114c8565b92915050565b5f8060408385031215611506576115056112ef565b5b5f61151385828601611339565b925050602061152485828601611339565b9150509250929050565b7f45524332303a207472616e7366657220616d6f756e74206578636565647320615f8201527f6c6c6f77616e6365000000000000000000000000000000000000000000000000602082015250565b5f611588602883611269565b91506115938261152e565b604082019050919050565b5f6020820190508181035f8301526115b58161157c565b9050919050565b7f43616c6c6572206973206e6f7420746865206f776e65720000000000000000005f82015250565b5f6115f0601783611269565b91506115fb826115bc565b602082019050919050565b5f6020820190508181035f83015261161d816115e4565b9050919050565b7f4163636f756e7420697320616c726561647920626c61636b6c697374656400005f82015250565b5f611658601e83611269565b915061166382611624565b602082019050919050565b5f6020820190508181035f8301526116858161164c565b9050919050565b7f4163636f756e74206973206e6f7420626c61636b6c69737465640000000000005f82015250565b5f6116c0601a83611269565b91506116cb8261168c565b602082019050919050565b5f6020820190508181035f8301526116ed816116b4565b9050919050565b7f4e6577206f776e657220697320746865207a65726f20616464726573730000005f82015250565b5f611728601d83611269565b9150611733826116f4565b602082019050919050565b5f6020820190508181035f8301526117558161171c565b9050919050565b7f45524332303a20617070726f76652066726f6d20746865207a65726f206164645f8201527f7265737300000000000000000000000000000000000000000000000000000000602082015250565b5f6117b6602483611269565b91506117c18261175c565b604082019050919050565b5f6020820190508181035f8301526117e3816117aa565b9050919050565b7f45524332303a20617070726f766520746f20746865207a65726f2061646472655f8201527f7373000000000000000000000000000000000000000000000000000000000000602082015250565b5f611844602283611269565b915061184f826117ea565b604082019050919050565b5f6020820190508181035f83015261187181611838565b9050919050565b7f45524332303a207472616e736665722066726f6d20746865207a65726f2061645f8201527f6472657373000000000000000000000000000000000000000000000000000000602082015250565b5f6118d2602583611269565b91506118dd82611878565b604082019050919050565b5f6020820190508181035f8301526118ff816118c6565b9050919050565b7f45524332303a207472616e7366657220746f20746865207a65726f20616464725f8201527f6573730000000000000000000000000000000000000000000000000000000000602082015250565b5f611960602383611269565b915061196b82611906565b604082019050919050565b5f6020820190508181035f83015261198d81611954565b9050919050565b7f45524332303a2073656e64657220697320626c61636b6c6973746564000000005f82015250565b5f6119c8601c83611269565b91506119d382611994565b602082019050919050565b5f6020820190508181035f8301526119f5816119bc565b9050919050565b7f45524332303a20726563697069656e7420697320626c61636b6c6973746564005f82015250565b5f611a30601f83611269565b9150611a3b826119fc565b602082019050919050565b5f6020820190508181035f830152611a5d81611a24565b9050919050565b7f45524332303a207472616e7366657220616d6f756e74206578636565647320625f8201527f616c616e63650000000000000000000000000000000000000000000000000000602082015250565b5f611abe602683611269565b9150611ac982611a64565b604082019050919050565b5f6020820190508181035f830152611aeb81611ab2565b9050919050565b7f536166654d6174683a207375627472616374696f6e206f766572666c6f7700005f82015250565b5f611b26601e83611269565b9150611b3182611af2565b602082019050919050565b5f6020820190508181035f830152611b5381611b1a565b9050919050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52601160045260245ffd5b5f611b918261134d565b9150611b9c8361134d565b9250828203905081811115611bb457611bb3611b5a565b5b92915050565b5f611bc48261134d565b9150611bcf8361134d565b9250828201905080821115611be757611be6611b5a565b5b92915050565b7f536166654d6174683a206164646974696f6e206f766572666c6f7700000000005f82015250565b5f611c21601b83611269565b9150611c2c82611bed565b602082019050919050565b5f6020820190508181035f830152611c4e81611c15565b905091905056fea2646970667358221220e40895a36fac901335a46f861286f5f889da1e1d9e81fdca7806301ac6fb8fb564736f6c634300081a0033

214:4175:0:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;270:42;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;2434:152;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;407:56;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;3114:408;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;365:35;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;3536:226;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;3770:231;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;1408:112;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;4248:138;;;:::i;:::-;;1038:20;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;319:39;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;1528:158;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;2960:146;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;4015:225;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;610:45;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;270:42;;;;;;;;;;;;;;;;;;;:::o;2434:152::-;2502:4;2519:37;2528:10;2540:7;2549:6;2519:8;:37::i;:::-;2574:4;2567:11;;2434:152;;;;:::o;407:56::-;445:18;407:56;:::o;3114:408::-;3205:4;3222:24;3249:11;:19;3261:6;3249:19;;;;;;;;;;;;;;;:31;3269:10;3249:31;;;;;;;;;;;;;;;;3222:58;;3319:6;3299:16;:26;;3291:79;;;;;;;;;;;;:::i;:::-;;;;;;;;;3383:36;3393:6;3401:9;3412:6;3383:9;:36::i;:::-;3432:58;3441:6;3449:10;3461:28;3482:6;3461:16;:20;;:28;;;;:::i;:::-;3432:8;:58::i;:::-;3510:4;3503:11;;;3114:408;;;;;:::o;365:35::-;398:2;365:35;:::o;3536:226::-;1116:10;1107:19;;:5;;;;;;;;;;;:19;;;1099:55;;;;;;;;;;;;:::i;:::-;;;;;;;;;3616:13:::1;:22;3630:7;3616:22;;;;;;;;;;;;;;;;;;;;;;;;;3615:23;3607:66;;;;;;;;;;;;:::i;:::-;;;;;;;;;3709:4;3684:13;:22;3698:7;3684:22;;;;;;;;;;;;;;;;:29;;;;;;;;;;;;;;;;;;3746:7;3729:25;;;;;;;;;;;;3536:226:::0;:::o;3770:231::-;1116:10;1107:19;;:5;;;;;;;;;;;:19;;;1099:55;;;;;;;;;;;;:::i;:::-;;;;;;;;;3854:13:::1;:22;3868:7;3854:22;;;;;;;;;;;;;;;;;;;;;;;;;3846:61;;;;;;;;;;;;:::i;:::-;;;;;;;;;3943:5;3918:13;:22;3932:7;3918:22;;;;;;;;;;;;;;;;:30;;;;;;;;;;;;;;;;;;3985:7;3964:29;;;;;;;;;;;;3770:231:::0;:::o;1408:112::-;1467:7;1494:9;:18;1504:7;1494:18;;;;;;;;;;;;;;;;1487:25;;1408:112;;;:::o;4248:138::-;1116:10;1107:19;;:5;;;;;;;;;;;:19;;;1099:55;;;;;;;;;;;;:::i;:::-;;;;;;;;;4346:1:::1;4310:39;;4331:5;;;;;;;;;;;4310:39;;;;;;;;;;;;4376:1;4360:5;;:18;;;;;;;;;;;;;;;;;;4248:138::o:0;1038:20::-;;;;;;;;;;;;;:::o;319:39::-;;;;;;;;;;;;;;;;;;;:::o;1528:158::-;1599:4;1616:40;1626:10;1638:9;1649:6;1616:9;:40::i;:::-;1674:4;1667:11;;1528:158;;;;:::o;2960:146::-;3039:7;3066:11;:23;3078:10;3066:23;;;;;;;;;;;;;;;:32;3090:7;3066:32;;;;;;;;;;;;;;;;3059:39;;2960:146;;;;:::o;4015:225::-;1116:10;1107:19;;:5;;;;;;;;;;;:19;;;1099:55;;;;;;;;;;;;:::i;:::-;;;;;;;;;4116:1:::1;4096:22;;:8;:22;;::::0;4088:64:::1;;;;;;;;;;;;:::i;:::-;;;;;;;;;4196:8;4168:37;;4189:5;;;;;;;;;;;4168:37;;;;;;;;;;;;4224:8;4216:5;;:16;;;;;;;;;;;;;;;;;;4015:225:::0;:::o;610:45::-;;;;;;;;;;;;;;;;;;;;;;:::o;2594:358::-;2715:1;2693:24;;:10;:24;;;2685:73;;;;;;;;;;;;:::i;:::-;;;;;;;;;2796:1;2777:21;;:7;:21;;;2769:68;;;;;;;;;;;;:::i;:::-;;;;;;;;;2885:6;2850:11;:23;2862:10;2850:23;;;;;;;;;;;;;;;:32;2874:7;2850:32;;;;;;;;;;;;;;;:41;;;;2928:7;2907:37;;2916:10;2907:37;;;2937:6;2907:37;;;;;;:::i;:::-;;;;;;;;2594:358;;;:::o;1694:732::-;1810:1;1792:20;;:6;:20;;;1784:70;;;;;;;;;;;;:::i;:::-;;;;;;;;;1894:1;1873:23;;:9;:23;;;1865:71;;;;;;;;;;;;:::i;:::-;;;;;;;;;1968:13;:21;1982:6;1968:21;;;;;;;;;;;;;;;;;;;;;;;;;1967:22;1959:63;;;;;;;;;;;;:::i;:::-;;;;;;;;;2042:13;:24;2056:9;2042:24;;;;;;;;;;;;;;;;;;;;;;;;;2041:25;2033:69;;;;;;;;;;;;:::i;:::-;;;;;;;;;2115:21;2139:9;:17;2149:6;2139:17;;;;;;;;;;;;;;;;2115:41;;2192:6;2175:13;:23;;2167:74;;;;;;;;;;;;:::i;:::-;;;;;;;;;2274:25;2292:6;2274:13;:17;;:25;;;;:::i;:::-;2254:9;:17;2264:6;2254:17;;;;;;;;;;;;;;;:45;;;;2333:32;2358:6;2333:9;:20;2343:9;2333:20;;;;;;;;;;;;;;;;:24;;:32;;;;:::i;:::-;2310:9;:20;2320:9;2310:20;;;;;;;;;;;;;;;:55;;;;2400:9;2383:35;;2392:6;2383:35;;;2411:6;2383:35;;;;;;:::i;:::-;;;;;;;;1773:653;1694:732;;;:::o;4606:158::-;4664:7;4697:1;4692;:6;;4684:49;;;;;;;;;;;;:::i;:::-;;;;;;;;;4755:1;4751;:5;;;;:::i;:::-;4744:12;;4606:158;;;;:::o;4419:179::-;4477:7;4497:9;4513:1;4509;:5;;;;:::i;:::-;4497:17;;4538:1;4533;:6;;4525:46;;;;;;;;;;;;:::i;:::-;;;;;;;;;4589:1;4582:8;;;4419:179;;;;:::o;7:99:1:-;59:6;93:5;87:12;77:22;;7:99;;;:::o;112:169::-;196:11;230:6;225:3;218:19;270:4;265:3;261:14;246:29;;112:169;;;;:::o;287:139::-;376:6;371:3;366;360:23;417:1;408:6;403:3;399:16;392:27;287:139;;;:::o;432:102::-;473:6;524:2;520:7;515:2;508:5;504:14;500:28;490:38;;432:102;;;:::o;540:377::-;628:3;656:39;689:5;656:39;:::i;:::-;711:71;775:6;770:3;711:71;:::i;:::-;704:78;;791:65;849:6;844:3;837:4;830:5;826:16;791:65;:::i;:::-;881:29;903:6;881:29;:::i;:::-;876:3;872:39;865:46;;632:285;540:377;;;;:::o;923:313::-;1036:4;1074:2;1063:9;1059:18;1051:26;;1123:9;1117:4;1113:20;1109:1;1098:9;1094:17;1087:47;1151:78;1224:4;1215:6;1151:78;:::i;:::-;1143:86;;923:313;;;;:::o;1323:117::-;1432:1;1429;1422:12;1569:126;1606:7;1646:42;1639:5;1635:54;1624:65;;1569:126;;;:::o;1701:96::-;1738:7;1767:24;1785:5;1767:24;:::i;:::-;1756:35;;1701:96;;;:::o;1803:122::-;1876:24;1894:5;1876:24;:::i;:::-;1869:5;1866:35;1856:63;;1915:1;1912;1905:12;1856:63;1803:122;:::o;1931:139::-;1977:5;2015:6;2002:20;1993:29;;2031:33;2058:5;2031:33;:::i;:::-;1931:139;;;;:::o;2076:77::-;2113:7;2142:5;2131:16;;2076:77;;;:::o;2159:122::-;2232:24;2250:5;2232:24;:::i;:::-;2225:5;2222:35;2212:63;;2271:1;2268;2261:12;2212:63;2159:122;:::o;2287:139::-;2333:5;2371:6;2358:20;2349:29;;2387:33;2414:5;2387:33;:::i;:::-;2287:139;;;;:::o;2432:474::-;2500:6;2508;2557:2;2545:9;2536:7;2532:23;2528:32;2525:119;;;2563:79;;:::i;:::-;2525:119;2683:1;2708:53;2753:7;2744:6;2733:9;2729:22;2708:53;:::i;:::-;2698:63;;2654:117;2810:2;2836:53;2881:7;2872:6;2861:9;2857:22;2836:53;:::i;:::-;2826:63;;2781:118;2432:474;;;;;:::o;2912:90::-;2946:7;2989:5;2982:13;2975:21;2964:32;;2912:90;;;:::o;3008:109::-;3089:21;3104:5;3089:21;:::i;:::-;3084:3;3077:34;3008:109;;:::o;3123:210::-;3210:4;3248:2;3237:9;3233:18;3225:26;;3261:65;3323:1;3312:9;3308:17;3299:6;3261:65;:::i;:::-;3123:210;;;;:::o;3339:118::-;3426:24;3444:5;3426:24;:::i;:::-;3421:3;3414:37;3339:118;;:::o;3463:222::-;3556:4;3594:2;3583:9;3579:18;3571:26;;3607:71;3675:1;3664:9;3660:17;3651:6;3607:71;:::i;:::-;3463:222;;;;:::o;3691:619::-;3768:6;3776;3784;3833:2;3821:9;3812:7;3808:23;3804:32;3801:119;;;3839:79;;:::i;:::-;3801:119;3959:1;3984:53;4029:7;4020:6;4009:9;4005:22;3984:53;:::i;:::-;3974:63;;3930:117;4086:2;4112:53;4157:7;4148:6;4137:9;4133:22;4112:53;:::i;:::-;4102:63;;4057:118;4214:2;4240:53;4285:7;4276:6;4265:9;4261:22;4240:53;:::i;:::-;4230:63;;4185:118;3691:619;;;;;:::o;4316:86::-;4351:7;4391:4;4384:5;4380:16;4369:27;;4316:86;;;:::o;4408:112::-;4491:22;4507:5;4491:22;:::i;:::-;4486:3;4479:35;4408:112;;:::o;4526:214::-;4615:4;4653:2;4642:9;4638:18;4630:26;;4666:67;4730:1;4719:9;4715:17;4706:6;4666:67;:::i;:::-;4526:214;;;;:::o;4746:329::-;4805:6;4854:2;4842:9;4833:7;4829:23;4825:32;4822:119;;;4860:79;;:::i;:::-;4822:119;4980:1;5005:53;5050:7;5041:6;5030:9;5026:22;5005:53;:::i;:::-;4995:63;;4951:117;4746:329;;;;:::o;5081:118::-;5168:24;5186:5;5168:24;:::i;:::-;5163:3;5156:37;5081:118;;:::o;5205:222::-;5298:4;5336:2;5325:9;5321:18;5313:26;;5349:71;5417:1;5406:9;5402:17;5393:6;5349:71;:::i;:::-;5205:222;;;;:::o;5433:474::-;5501:6;5509;5558:2;5546:9;5537:7;5533:23;5529:32;5526:119;;;5564:79;;:::i;:::-;5526:119;5684:1;5709:53;5754:7;5745:6;5734:9;5730:22;5709:53;:::i;:::-;5699:63;;5655:117;5811:2;5837:53;5882:7;5873:6;5862:9;5858:22;5837:53;:::i;:::-;5827:63;;5782:118;5433:474;;;;;:::o;5913:227::-;6053:34;6049:1;6041:6;6037:14;6030:58;6122:10;6117:2;6109:6;6105:15;6098:35;5913:227;:::o;6146:366::-;6288:3;6309:67;6373:2;6368:3;6309:67;:::i;:::-;6302:74;;6385:93;6474:3;6385:93;:::i;:::-;6503:2;6498:3;6494:12;6487:19;;6146:366;;;:::o;6518:419::-;6684:4;6722:2;6711:9;6707:18;6699:26;;6771:9;6765:4;6761:20;6757:1;6746:9;6742:17;6735:47;6799:131;6925:4;6799:131;:::i;:::-;6791:139;;6518:419;;;:::o;6943:173::-;7083:25;7079:1;7071:6;7067:14;7060:49;6943:173;:::o;7122:366::-;7264:3;7285:67;7349:2;7344:3;7285:67;:::i;:::-;7278:74;;7361:93;7450:3;7361:93;:::i;:::-;7479:2;7474:3;7470:12;7463:19;;7122:366;;;:::o;7494:419::-;7660:4;7698:2;7687:9;7683:18;7675:26;;7747:9;7741:4;7737:20;7733:1;7722:9;7718:17;7711:47;7775:131;7901:4;7775:131;:::i;:::-;7767:139;;7494:419;;;:::o;7919:180::-;8059:32;8055:1;8047:6;8043:14;8036:56;7919:180;:::o;8105:366::-;8247:3;8268:67;8332:2;8327:3;8268:67;:::i;:::-;8261:74;;8344:93;8433:3;8344:93;:::i;:::-;8462:2;8457:3;8453:12;8446:19;;8105:366;;;:::o;8477:419::-;8643:4;8681:2;8670:9;8666:18;8658:26;;8730:9;8724:4;8720:20;8716:1;8705:9;8701:17;8694:47;8758:131;8884:4;8758:131;:::i;:::-;8750:139;;8477:419;;;:::o;8902:176::-;9042:28;9038:1;9030:6;9026:14;9019:52;8902:176;:::o;9084:366::-;9226:3;9247:67;9311:2;9306:3;9247:67;:::i;:::-;9240:74;;9323:93;9412:3;9323:93;:::i;:::-;9441:2;9436:3;9432:12;9425:19;;9084:366;;;:::o;9456:419::-;9622:4;9660:2;9649:9;9645:18;9637:26;;9709:9;9703:4;9699:20;9695:1;9684:9;9680:17;9673:47;9737:131;9863:4;9737:131;:::i;:::-;9729:139;;9456:419;;;:::o;9881:179::-;10021:31;10017:1;10009:6;10005:14;9998:55;9881:179;:::o;10066:366::-;10208:3;10229:67;10293:2;10288:3;10229:67;:::i;:::-;10222:74;;10305:93;10394:3;10305:93;:::i;:::-;10423:2;10418:3;10414:12;10407:19;;10066:366;;;:::o;10438:419::-;10604:4;10642:2;10631:9;10627:18;10619:26;;10691:9;10685:4;10681:20;10677:1;10666:9;10662:17;10655:47;10719:131;10845:4;10719:131;:::i;:::-;10711:139;;10438:419;;;:::o;10863:223::-;11003:34;10999:1;10991:6;10987:14;10980:58;11072:6;11067:2;11059:6;11055:15;11048:31;10863:223;:::o;11092:366::-;11234:3;11255:67;11319:2;11314:3;11255:67;:::i;:::-;11248:74;;11331:93;11420:3;11331:93;:::i;:::-;11449:2;11444:3;11440:12;11433:19;;11092:366;;;:::o;11464:419::-;11630:4;11668:2;11657:9;11653:18;11645:26;;11717:9;11711:4;11707:20;11703:1;11692:9;11688:17;11681:47;11745:131;11871:4;11745:131;:::i;:::-;11737:139;;11464:419;;;:::o;11889:221::-;12029:34;12025:1;12017:6;12013:14;12006:58;12098:4;12093:2;12085:6;12081:15;12074:29;11889:221;:::o;12116:366::-;12258:3;12279:67;12343:2;12338:3;12279:67;:::i;:::-;12272:74;;12355:93;12444:3;12355:93;:::i;:::-;12473:2;12468:3;12464:12;12457:19;;12116:366;;;:::o;12488:419::-;12654:4;12692:2;12681:9;12677:18;12669:26;;12741:9;12735:4;12731:20;12727:1;12716:9;12712:17;12705:47;12769:131;12895:4;12769:131;:::i;:::-;12761:139;;12488:419;;;:::o;12913:224::-;13053:34;13049:1;13041:6;13037:14;13030:58;13122:7;13117:2;13109:6;13105:15;13098:32;12913:224;:::o;13143:366::-;13285:3;13306:67;13370:2;13365:3;13306:67;:::i;:::-;13299:74;;13382:93;13471:3;13382:93;:::i;:::-;13500:2;13495:3;13491:12;13484:19;;13143:366;;;:::o;13515:419::-;13681:4;13719:2;13708:9;13704:18;13696:26;;13768:9;13762:4;13758:20;13754:1;13743:9;13739:17;13732:47;13796:131;13922:4;13796:131;:::i;:::-;13788:139;;13515:419;;;:::o;13940:222::-;14080:34;14076:1;14068:6;14064:14;14057:58;14149:5;14144:2;14136:6;14132:15;14125:30;13940:222;:::o;14168:366::-;14310:3;14331:67;14395:2;14390:3;14331:67;:::i;:::-;14324:74;;14407:93;14496:3;14407:93;:::i;:::-;14525:2;14520:3;14516:12;14509:19;;14168:366;;;:::o;14540:419::-;14706:4;14744:2;14733:9;14729:18;14721:26;;14793:9;14787:4;14783:20;14779:1;14768:9;14764:17;14757:47;14821:131;14947:4;14821:131;:::i;:::-;14813:139;;14540:419;;;:::o;14965:178::-;15105:30;15101:1;15093:6;15089:14;15082:54;14965:178;:::o;15149:366::-;15291:3;15312:67;15376:2;15371:3;15312:67;:::i;:::-;15305:74;;15388:93;15477:3;15388:93;:::i;:::-;15506:2;15501:3;15497:12;15490:19;;15149:366;;;:::o;15521:419::-;15687:4;15725:2;15714:9;15710:18;15702:26;;15774:9;15768:4;15764:20;15760:1;15749:9;15745:17;15738:47;15802:131;15928:4;15802:131;:::i;:::-;15794:139;;15521:419;;;:::o;15946:181::-;16086:33;16082:1;16074:6;16070:14;16063:57;15946:181;:::o;16133:366::-;16275:3;16296:67;16360:2;16355:3;16296:67;:::i;:::-;16289:74;;16372:93;16461:3;16372:93;:::i;:::-;16490:2;16485:3;16481:12;16474:19;;16133:366;;;:::o;16505:419::-;16671:4;16709:2;16698:9;16694:18;16686:26;;16758:9;16752:4;16748:20;16744:1;16733:9;16729:17;16722:47;16786:131;16912:4;16786:131;:::i;:::-;16778:139;;16505:419;;;:::o;16930:225::-;17070:34;17066:1;17058:6;17054:14;17047:58;17139:8;17134:2;17126:6;17122:15;17115:33;16930:225;:::o;17161:366::-;17303:3;17324:67;17388:2;17383:3;17324:67;:::i;:::-;17317:74;;17400:93;17489:3;17400:93;:::i;:::-;17518:2;17513:3;17509:12;17502:19;;17161:366;;;:::o;17533:419::-;17699:4;17737:2;17726:9;17722:18;17714:26;;17786:9;17780:4;17776:20;17772:1;17761:9;17757:17;17750:47;17814:131;17940:4;17814:131;:::i;:::-;17806:139;;17533:419;;;:::o;17958:180::-;18098:32;18094:1;18086:6;18082:14;18075:56;17958:180;:::o;18144:366::-;18286:3;18307:67;18371:2;18366:3;18307:67;:::i;:::-;18300:74;;18383:93;18472:3;18383:93;:::i;:::-;18501:2;18496:3;18492:12;18485:19;;18144:366;;;:::o;18516:419::-;18682:4;18720:2;18709:9;18705:18;18697:26;;18769:9;18763:4;18759:20;18755:1;18744:9;18740:17;18733:47;18797:131;18923:4;18797:131;:::i;:::-;18789:139;;18516:419;;;:::o;18941:180::-;18989:77;18986:1;18979:88;19086:4;19083:1;19076:15;19110:4;19107:1;19100:15;19127:194;19167:4;19187:20;19205:1;19187:20;:::i;:::-;19182:25;;19221:20;19239:1;19221:20;:::i;:::-;19216:25;;19265:1;19262;19258:9;19250:17;;19289:1;19283:4;19280:11;19277:37;;;19294:18;;:::i;:::-;19277:37;19127:194;;;;:::o;19327:191::-;19367:3;19386:20;19404:1;19386:20;:::i;:::-;19381:25;;19420:20;19438:1;19420:20;:::i;:::-;19415:25;;19463:1;19460;19456:9;19449:16;;19484:3;19481:1;19478:10;19475:36;;;19491:18;;:::i;:::-;19475:36;19327:191;;;;:::o;19524:177::-;19664:29;19660:1;19652:6;19648:14;19641:53;19524:177;:::o;19707:366::-;19849:3;19870:67;19934:2;19929:3;19870:67;:::i;:::-;19863:74;;19946:93;20035:3;19946:93;:::i;:::-;20064:2;20059:3;20055:12;20048:19;;19707:366;;;:::o;20079:419::-;20245:4;20283:2;20272:9;20268:18;20260:26;;20332:9;20326:4;20322:20;20318:1;20307:9;20303:17;20296:47;20360:131;20486:4;20360:131;:::i;:::-;20352:139;;20079:419;;;:::o

ipfs://e40895a36fac901335a46f861286f5f889da1e1d9e81fdca7806301ac6fb8fb5