Contract Source Code (Solidity)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta
• Remix IDE

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

/**
 *Submitted for verification at Etherscan.io on 2025-07-13
*/

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

contract USDT1 {
    string public name = "USDT1";
    string public symbol = "USDT1";
    uint8 public decimals = 6;
    uint256 public totalSupply;
    mapping(address => uint256) public balanceOf;
    mapping(address => mapping(address => uint256)) public allowed;
    address public owner;

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

    constructor() {
        owner = msg.sender;
        totalSupply = 900_000_000 * 10**6;
        balanceOf[msg.sender] = totalSupply;
    }

    function transfer(address to, uint256 amount) public returns (bool) {
        require(to != address(0), "Invalid address");
        require(balanceOf[msg.sender] >= amount, "Insufficient balance");
        balanceOf[msg.sender] -= amount;
        balanceOf[to] += amount;
        emit Transfer(msg.sender, to, amount);
        return true;
    }

    function approve(address spender, uint256 amount) public returns (bool) {
        require(spender != address(0), "Invalid spender");
        allowed[msg.sender][spender] = amount;
        emit Approval(msg.sender, spender, amount);
        return true;
    }

    function transferFrom(address from, address to, uint256 amount) public returns (bool) {
        require(from != address(0), "Invalid from address");
        require(to != address(0), "Invalid to address");
        require(balanceOf[from] >= amount, "Insufficient balance");
        require(allowed[from][msg.sender] >= amount, "Insufficient allowance");
        balanceOf[from] -= amount;
        balanceOf[to] += amount;
        allowed[from][msg.sender] -= amount;
        emit Transfer(from, to, amount);
        return true;
    }

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

    function mint(address to, uint256 amount) public {
        require(msg.sender == owner, "Only owner can mint");
        require(to != address(0), "Invalid address");
        totalSupply += amount;
        balanceOf[to] += amount;
        emit Transfer(address(0), to, amount);
    }

    function burn(uint256 amount) public {
        require(balanceOf[msg.sender] >= amount, "Insufficient balance");
        balanceOf[msg.sender] -= amount;
        totalSupply -= amount;
        emit Transfer(msg.sender, address(0), amount);
    }
}

• No Contract Security Audit Submitted- Submit Audit Here

[{"inputs":[],"stateMutability":"nonpayable","type":"constructor"},{"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":"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":"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":"","type":"address"},{"internalType":"address","name":"","type":"address"}],"name":"allowed","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":"","type":"address"}],"name":"balanceOf","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"uint256","name":"amount","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":"to","type":"address"},{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"mint","outputs":[],"stateMutability":"nonpayable","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":[],"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":"to","type":"address"},{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"transfer","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"from","type":"address"},{"internalType":"address","name":"to","type":"address"},{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"transferFrom","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"}]

60806040526040518060400160405280600581526020017f55534454310000000000000000000000000000000000000000000000000000008152505f9081620000499190620003b5565b506040518060400160405280600581526020017f555344543100000000000000000000000000000000000000000000000000000081525060019081620000909190620003b5565b50600660025f6101000a81548160ff021916908360ff160217905550348015620000b8575f80fd5b503360065f6101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055506603328b944c400060038190555060035460045f3373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f208190555062000499565b5f81519050919050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52604160045260245ffd5b7f4e487b71000000000000000000000000000000000000000000000000000000005f52602260045260245ffd5b5f6002820490506001821680620001cd57607f821691505b602082108103620001e357620001e262000188565b5b50919050565b5f819050815f5260205f209050919050565b5f6020601f8301049050919050565b5f82821b905092915050565b5f60088302620002477fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff826200020a565b6200025386836200020a565b95508019841693508086168417925050509392505050565b5f819050919050565b5f819050919050565b5f6200029d6200029762000291846200026b565b62000274565b6200026b565b9050919050565b5f819050919050565b620002b8836200027d565b620002d0620002c782620002a4565b84845462000216565b825550505050565b5f90565b620002e6620002d8565b620002f3818484620002ad565b505050565b5b818110156200031a576200030e5f82620002dc565b600181019050620002f9565b5050565b601f82111562000369576200033381620001e9565b6200033e84620001fb565b810160208510156200034e578190505b620003666200035d85620001fb565b830182620002f8565b50505b505050565b5f82821c905092915050565b5f6200038b5f19846008026200036e565b1980831691505092915050565b5f620003a583836200037a565b9150826002028217905092915050565b620003c08262000151565b67ffffffffffffffff811115620003dc57620003db6200015b565b5b620003e88254620001b5565b620003f58282856200031e565b5f60209050601f8311600181146200042b575f841562000416578287015190505b62000422858262000398565b86555062000491565b601f1984166200043b86620001e9565b5f5b8281101562000464578489015182556001820191506020850194506020810190506200043d565b8683101562000484578489015162000480601f8916826200037a565b8355505b6001600288020188555050505b505050505050565b61161b80620004a75f395ff3fe608060405234801561000f575f80fd5b50600436106100cd575f3560e01c806342966c681161008a5780638da5cb5b116100645780638da5cb5b1461022357806395d89b4114610241578063a9059cbb1461025f578063dd62ed3e1461028f576100cd565b806342966c68146101a75780635c658165146101c357806370a08231146101f3576100cd565b806306fdde03146100d1578063095ea7b3146100ef57806318160ddd1461011f57806323b872dd1461013d578063313ce5671461016d57806340c10f191461018b575b5f80fd5b6100d96102bf565b6040516100e69190610f93565b60405180910390f35b61010960048036038101906101049190611044565b61034a565b604051610116919061109c565b60405180910390f35b6101276104a5565b60405161013491906110c4565b60405180910390f35b610157600480360381019061015291906110dd565b6104ab565b604051610164919061109c565b60405180910390f35b610175610867565b6040516101829190611148565b60405180910390f35b6101a560048036038101906101a09190611044565b610879565b005b6101c160048036038101906101bc9190611161565b610a4a565b005b6101dd60048036038101906101d8919061118c565b610b9d565b6040516101ea91906110c4565b60405180910390f35b61020d600480360381019061020891906111ca565b610bbd565b60405161021a91906110c4565b60405180910390f35b61022b610bd2565b6040516102389190611204565b60405180910390f35b610249610bf7565b6040516102569190610f93565b60405180910390f35b61027960048036038101906102749190611044565b610c83565b604051610286919061109c565b60405180910390f35b6102a960048036038101906102a4919061118c565b610e87565b6040516102b691906110c4565b60405180910390f35b5f80546102cb9061124a565b80601f01602080910402602001604051908101604052809291908181526020018280546102f79061124a565b80156103425780601f1061031957610100808354040283529160200191610342565b820191905f5260205f20905b81548152906001019060200180831161032557829003601f168201915b505050505081565b5f8073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff16036103b9576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016103b0906112c4565b60405180910390fd5b8160055f3373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f8573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20819055508273ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b9258460405161049391906110c4565b60405180910390a36001905092915050565b60035481565b5f8073ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff160361051a576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016105119061132c565b60405180910390fd5b5f73ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff1603610588576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161057f90611394565b60405180910390fd5b8160045f8673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20541015610608576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016105ff906113fc565b60405180910390fd5b8160055f8673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f3373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205410156106c3576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016106ba90611464565b60405180910390fd5b8160045f8673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f82825461070f91906114af565b925050819055508160045f8573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f82825461076291906114e2565b925050819055508160055f8673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f3373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f8282546107f091906114af565b925050819055508273ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef8460405161085491906110c4565b60405180910390a3600190509392505050565b60025f9054906101000a900460ff1681565b60065f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1614610908576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016108ff9061155f565b60405180910390fd5b5f73ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff1603610976576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161096d906115c7565b60405180910390fd5b8060035f82825461098791906114e2565b925050819055508060045f8473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f8282546109da91906114e2565b925050819055508173ffffffffffffffffffffffffffffffffffffffff165f73ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef83604051610a3e91906110c4565b60405180910390a35050565b8060045f3373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20541015610aca576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610ac1906113fc565b60405180910390fd5b8060045f3373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f828254610b1691906114af565b925050819055508060035f828254610b2e91906114af565b925050819055505f73ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef83604051610b9291906110c4565b60405180910390a350565b6005602052815f5260405f20602052805f5260405f205f91509150505481565b6004602052805f5260405f205f915090505481565b60065f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b60018054610c049061124a565b80601f0160208091040260200160405190810160405280929190818152602001828054610c309061124a565b8015610c7b5780601f10610c5257610100808354040283529160200191610c7b565b820191905f5260205f20905b815481529060010190602001808311610c5e57829003601f168201915b505050505081565b5f8073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff1603610cf2576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610ce9906115c7565b60405180910390fd5b8160045f3373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20541015610d72576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610d69906113fc565b60405180910390fd5b8160045f3373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f828254610dbe91906114af565b925050819055508160045f8573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f828254610e1191906114e2565b925050819055508273ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef84604051610e7591906110c4565b60405180910390a36001905092915050565b5f60055f8473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f8373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f2054905092915050565b5f81519050919050565b5f82825260208201905092915050565b5f5b83811015610f40578082015181840152602081019050610f25565b5f8484015250505050565b5f601f19601f8301169050919050565b5f610f6582610f09565b610f6f8185610f13565b9350610f7f818560208601610f23565b610f8881610f4b565b840191505092915050565b5f6020820190508181035f830152610fab8184610f5b565b905092915050565b5f80fd5b5f73ffffffffffffffffffffffffffffffffffffffff82169050919050565b5f610fe082610fb7565b9050919050565b610ff081610fd6565b8114610ffa575f80fd5b50565b5f8135905061100b81610fe7565b92915050565b5f819050919050565b61102381611011565b811461102d575f80fd5b50565b5f8135905061103e8161101a565b92915050565b5f806040838503121561105a57611059610fb3565b5b5f61106785828601610ffd565b925050602061107885828601611030565b9150509250929050565b5f8115159050919050565b61109681611082565b82525050565b5f6020820190506110af5f83018461108d565b92915050565b6110be81611011565b82525050565b5f6020820190506110d75f8301846110b5565b92915050565b5f805f606084860312156110f4576110f3610fb3565b5b5f61110186828701610ffd565b935050602061111286828701610ffd565b925050604061112386828701611030565b9150509250925092565b5f60ff82169050919050565b6111428161112d565b82525050565b5f60208201905061115b5f830184611139565b92915050565b5f6020828403121561117657611175610fb3565b5b5f61118384828501611030565b91505092915050565b5f80604083850312156111a2576111a1610fb3565b5b5f6111af85828601610ffd565b92505060206111c085828601610ffd565b9150509250929050565b5f602082840312156111df576111de610fb3565b5b5f6111ec84828501610ffd565b91505092915050565b6111fe81610fd6565b82525050565b5f6020820190506112175f8301846111f5565b92915050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52602260045260245ffd5b5f600282049050600182168061126157607f821691505b6020821081036112745761127361121d565b5b50919050565b7f496e76616c6964207370656e64657200000000000000000000000000000000005f82015250565b5f6112ae600f83610f13565b91506112b98261127a565b602082019050919050565b5f6020820190508181035f8301526112db816112a2565b9050919050565b7f496e76616c69642066726f6d20616464726573730000000000000000000000005f82015250565b5f611316601483610f13565b9150611321826112e2565b602082019050919050565b5f6020820190508181035f8301526113438161130a565b9050919050565b7f496e76616c696420746f206164647265737300000000000000000000000000005f82015250565b5f61137e601283610f13565b91506113898261134a565b602082019050919050565b5f6020820190508181035f8301526113ab81611372565b9050919050565b7f496e73756666696369656e742062616c616e63650000000000000000000000005f82015250565b5f6113e6601483610f13565b91506113f1826113b2565b602082019050919050565b5f6020820190508181035f830152611413816113da565b9050919050565b7f496e73756666696369656e7420616c6c6f77616e6365000000000000000000005f82015250565b5f61144e601683610f13565b91506114598261141a565b602082019050919050565b5f6020820190508181035f83015261147b81611442565b9050919050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52601160045260245ffd5b5f6114b982611011565b91506114c483611011565b92508282039050818111156114dc576114db611482565b5b92915050565b5f6114ec82611011565b91506114f783611011565b925082820190508082111561150f5761150e611482565b5b92915050565b7f4f6e6c79206f776e65722063616e206d696e74000000000000000000000000005f82015250565b5f611549601383610f13565b915061155482611515565b602082019050919050565b5f6020820190508181035f8301526115768161153d565b9050919050565b7f496e76616c6964206164647265737300000000000000000000000000000000005f82015250565b5f6115b1600f83610f13565b91506115bc8261157d565b602082019050919050565b5f6020820190508181035f8301526115de816115a5565b905091905056fea26469706673582212203e761176165d55ad2ba6e560ebe6f0d8126b1769186280bbbe7a60b694f3b45b64736f6c63430008180033

0x608060405234801561000f575f80fd5b50600436106100cd575f3560e01c806342966c681161008a5780638da5cb5b116100645780638da5cb5b1461022357806395d89b4114610241578063a9059cbb1461025f578063dd62ed3e1461028f576100cd565b806342966c68146101a75780635c658165146101c357806370a08231146101f3576100cd565b806306fdde03146100d1578063095ea7b3146100ef57806318160ddd1461011f57806323b872dd1461013d578063313ce5671461016d57806340c10f191461018b575b5f80fd5b6100d96102bf565b6040516100e69190610f93565b60405180910390f35b61010960048036038101906101049190611044565b61034a565b604051610116919061109c565b60405180910390f35b6101276104a5565b60405161013491906110c4565b60405180910390f35b610157600480360381019061015291906110dd565b6104ab565b604051610164919061109c565b60405180910390f35b610175610867565b6040516101829190611148565b60405180910390f35b6101a560048036038101906101a09190611044565b610879565b005b6101c160048036038101906101bc9190611161565b610a4a565b005b6101dd60048036038101906101d8919061118c565b610b9d565b6040516101ea91906110c4565b60405180910390f35b61020d600480360381019061020891906111ca565b610bbd565b60405161021a91906110c4565b60405180910390f35b61022b610bd2565b6040516102389190611204565b60405180910390f35b610249610bf7565b6040516102569190610f93565b60405180910390f35b61027960048036038101906102749190611044565b610c83565b604051610286919061109c565b60405180910390f35b6102a960048036038101906102a4919061118c565b610e87565b6040516102b691906110c4565b60405180910390f35b5f80546102cb9061124a565b80601f01602080910402602001604051908101604052809291908181526020018280546102f79061124a565b80156103425780601f1061031957610100808354040283529160200191610342565b820191905f5260205f20905b81548152906001019060200180831161032557829003601f168201915b505050505081565b5f8073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff16036103b9576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016103b0906112c4565b60405180910390fd5b8160055f3373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f8573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20819055508273ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b9258460405161049391906110c4565b60405180910390a36001905092915050565b60035481565b5f8073ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff160361051a576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016105119061132c565b60405180910390fd5b5f73ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff1603610588576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161057f90611394565b60405180910390fd5b8160045f8673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20541015610608576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016105ff906113fc565b60405180910390fd5b8160055f8673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f3373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205410156106c3576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016106ba90611464565b60405180910390fd5b8160045f8673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f82825461070f91906114af565b925050819055508160045f8573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f82825461076291906114e2565b925050819055508160055f8673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f3373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f8282546107f091906114af565b925050819055508273ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef8460405161085491906110c4565b60405180910390a3600190509392505050565b60025f9054906101000a900460ff1681565b60065f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1614610908576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016108ff9061155f565b60405180910390fd5b5f73ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff1603610976576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161096d906115c7565b60405180910390fd5b8060035f82825461098791906114e2565b925050819055508060045f8473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f8282546109da91906114e2565b925050819055508173ffffffffffffffffffffffffffffffffffffffff165f73ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef83604051610a3e91906110c4565b60405180910390a35050565b8060045f3373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20541015610aca576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610ac1906113fc565b60405180910390fd5b8060045f3373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f828254610b1691906114af565b925050819055508060035f828254610b2e91906114af565b925050819055505f73ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef83604051610b9291906110c4565b60405180910390a350565b6005602052815f5260405f20602052805f5260405f205f91509150505481565b6004602052805f5260405f205f915090505481565b60065f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b60018054610c049061124a565b80601f0160208091040260200160405190810160405280929190818152602001828054610c309061124a565b8015610c7b5780601f10610c5257610100808354040283529160200191610c7b565b820191905f5260205f20905b815481529060010190602001808311610c5e57829003601f168201915b505050505081565b5f8073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff1603610cf2576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610ce9906115c7565b60405180910390fd5b8160045f3373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20541015610d72576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610d69906113fc565b60405180910390fd5b8160045f3373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f828254610dbe91906114af565b925050819055508160045f8573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f828254610e1191906114e2565b925050819055508273ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef84604051610e7591906110c4565b60405180910390a36001905092915050565b5f60055f8473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f8373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f2054905092915050565b5f81519050919050565b5f82825260208201905092915050565b5f5b83811015610f40578082015181840152602081019050610f25565b5f8484015250505050565b5f601f19601f8301169050919050565b5f610f6582610f09565b610f6f8185610f13565b9350610f7f818560208601610f23565b610f8881610f4b565b840191505092915050565b5f6020820190508181035f830152610fab8184610f5b565b905092915050565b5f80fd5b5f73ffffffffffffffffffffffffffffffffffffffff82169050919050565b5f610fe082610fb7565b9050919050565b610ff081610fd6565b8114610ffa575f80fd5b50565b5f8135905061100b81610fe7565b92915050565b5f819050919050565b61102381611011565b811461102d575f80fd5b50565b5f8135905061103e8161101a565b92915050565b5f806040838503121561105a57611059610fb3565b5b5f61106785828601610ffd565b925050602061107885828601611030565b9150509250929050565b5f8115159050919050565b61109681611082565b82525050565b5f6020820190506110af5f83018461108d565b92915050565b6110be81611011565b82525050565b5f6020820190506110d75f8301846110b5565b92915050565b5f805f606084860312156110f4576110f3610fb3565b5b5f61110186828701610ffd565b935050602061111286828701610ffd565b925050604061112386828701611030565b9150509250925092565b5f60ff82169050919050565b6111428161112d565b82525050565b5f60208201905061115b5f830184611139565b92915050565b5f6020828403121561117657611175610fb3565b5b5f61118384828501611030565b91505092915050565b5f80604083850312156111a2576111a1610fb3565b5b5f6111af85828601610ffd565b92505060206111c085828601610ffd565b9150509250929050565b5f602082840312156111df576111de610fb3565b5b5f6111ec84828501610ffd565b91505092915050565b6111fe81610fd6565b82525050565b5f6020820190506112175f8301846111f5565b92915050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52602260045260245ffd5b5f600282049050600182168061126157607f821691505b6020821081036112745761127361121d565b5b50919050565b7f496e76616c6964207370656e64657200000000000000000000000000000000005f82015250565b5f6112ae600f83610f13565b91506112b98261127a565b602082019050919050565b5f6020820190508181035f8301526112db816112a2565b9050919050565b7f496e76616c69642066726f6d20616464726573730000000000000000000000005f82015250565b5f611316601483610f13565b9150611321826112e2565b602082019050919050565b5f6020820190508181035f8301526113438161130a565b9050919050565b7f496e76616c696420746f206164647265737300000000000000000000000000005f82015250565b5f61137e601283610f13565b91506113898261134a565b602082019050919050565b5f6020820190508181035f8301526113ab81611372565b9050919050565b7f496e73756666696369656e742062616c616e63650000000000000000000000005f82015250565b5f6113e6601483610f13565b91506113f1826113b2565b602082019050919050565b5f6020820190508181035f830152611413816113da565b9050919050565b7f496e73756666696369656e7420616c6c6f77616e6365000000000000000000005f82015250565b5f61144e601683610f13565b91506114598261141a565b602082019050919050565b5f6020820190508181035f83015261147b81611442565b9050919050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52601160045260245ffd5b5f6114b982611011565b91506114c483611011565b92508282039050818111156114dc576114db611482565b5b92915050565b5f6114ec82611011565b91506114f783611011565b925082820190508082111561150f5761150e611482565b5b92915050565b7f4f6e6c79206f776e65722063616e206d696e74000000000000000000000000005f82015250565b5f611549601383610f13565b915061155482611515565b602082019050919050565b5f6020820190508181035f8301526115768161153d565b9050919050565b7f496e76616c6964206164647265737300000000000000000000000000000000005f82015250565b5f6115b1600f83610f13565b91506115bc8261157d565b602082019050919050565b5f6020820190508181035f8301526115de816115a5565b905091905056fea26469706673582212203e761176165d55ad2ba6e560ebe6f0d8126b1769186280bbbe7a60b694f3b45b64736f6c63430008180033

61:2506:0:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;83:28;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;1047:263;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;187:26;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;1318:544;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;155:25;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;2018:288;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;2314:250;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;271:62;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;220:44;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;340:20;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;118:30;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;687:352;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;1870:140;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;83:28;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::o;1047:263::-;1113:4;1157:1;1138:21;;:7;:21;;;1130:49;;;;;;;;;;;;:::i;:::-;;;;;;;;;1221:6;1190:7;:19;1198:10;1190:19;;;;;;;;;;;;;;;:28;1210:7;1190:28;;;;;;;;;;;;;;;:37;;;;1264:7;1243:37;;1252:10;1243:37;;;1273:6;1243:37;;;;;;:::i;:::-;;;;;;;;1298:4;1291:11;;1047:263;;;;:::o;187:26::-;;;;:::o;1318:544::-;1398:4;1439:1;1423:18;;:4;:18;;;1415:51;;;;;;;;;;;;:::i;:::-;;;;;;;;;1499:1;1485:16;;:2;:16;;;1477:47;;;;;;;;;;;;:::i;:::-;;;;;;;;;1562:6;1543:9;:15;1553:4;1543:15;;;;;;;;;;;;;;;;:25;;1535:58;;;;;;;;;;;;:::i;:::-;;;;;;;;;1641:6;1612:7;:13;1620:4;1612:13;;;;;;;;;;;;;;;:25;1626:10;1612:25;;;;;;;;;;;;;;;;:35;;1604:70;;;;;;;;;;;;:::i;:::-;;;;;;;;;1704:6;1685:9;:15;1695:4;1685:15;;;;;;;;;;;;;;;;:25;;;;;;;:::i;:::-;;;;;;;;1738:6;1721:9;:13;1731:2;1721:13;;;;;;;;;;;;;;;;:23;;;;;;;:::i;:::-;;;;;;;;1784:6;1755:7;:13;1763:4;1755:13;;;;;;;;;;;;;;;:25;1769:10;1755:25;;;;;;;;;;;;;;;;:35;;;;;;;:::i;:::-;;;;;;;;1821:2;1806:26;;1815:4;1806:26;;;1825:6;1806:26;;;;;;:::i;:::-;;;;;;;;1850:4;1843:11;;1318:544;;;;;:::o;155:25::-;;;;;;;;;;;;;:::o;2018:288::-;2100:5;;;;;;;;;;;2086:19;;:10;:19;;;2078:51;;;;;;;;;;;;:::i;:::-;;;;;;;;;2162:1;2148:16;;:2;:16;;;2140:44;;;;;;;;;;;;:::i;:::-;;;;;;;;;2210:6;2195:11;;:21;;;;;;;:::i;:::-;;;;;;;;2244:6;2227:9;:13;2237:2;2227:13;;;;;;;;;;;;;;;;:23;;;;;;;:::i;:::-;;;;;;;;2287:2;2266:32;;2283:1;2266:32;;;2291:6;2266:32;;;;;;:::i;:::-;;;;;;;;2018:288;;:::o;2314:250::-;2395:6;2370:9;:21;2380:10;2370:21;;;;;;;;;;;;;;;;:31;;2362:64;;;;;;;;;;;;:::i;:::-;;;;;;;;;2462:6;2437:9;:21;2447:10;2437:21;;;;;;;;;;;;;;;;:31;;;;;;;:::i;:::-;;;;;;;;2494:6;2479:11;;:21;;;;;;;:::i;:::-;;;;;;;;2545:1;2516:40;;2525:10;2516:40;;;2549:6;2516:40;;;;;;:::i;:::-;;;;;;;;2314:250;:::o;271:62::-;;;;;;;;;;;;;;;;;;;;;;;;;;:::o;220:44::-;;;;;;;;;;;;;;;;;:::o;340:20::-;;;;;;;;;;;;;:::o;118:30::-;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::o;687:352::-;749:4;788:1;774:16;;:2;:16;;;766:44;;;;;;;;;;;;:::i;:::-;;;;;;;;;854:6;829:9;:21;839:10;829:21;;;;;;;;;;;;;;;;:31;;821:64;;;;;;;;;;;;:::i;:::-;;;;;;;;;921:6;896:9;:21;906:10;896:21;;;;;;;;;;;;;;;;:31;;;;;;;:::i;:::-;;;;;;;;955:6;938:9;:13;948:2;938:13;;;;;;;;;;;;;;;;:23;;;;;;;:::i;:::-;;;;;;;;998:2;977:32;;986:10;977:32;;;1002:6;977:32;;;;;;:::i;:::-;;;;;;;;1027:4;1020:11;;687:352;;;;:::o;1870:140::-;1947:7;1974;:19;1982:10;1974:19;;;;;;;;;;;;;;;:28;1994:7;1974:28;;;;;;;;;;;;;;;;1967:35;;1870:140;;;;:::o;7:99:1:-;59:6;93:5;87:12;77:22;;7:99;;;:::o;112:169::-;196:11;230:6;225:3;218:19;270:4;265:3;261:14;246:29;;112:169;;;;:::o;287:246::-;368:1;378:113;392:6;389:1;386:13;378:113;;;477:1;472:3;468:11;462:18;458:1;453:3;449:11;442:39;414:2;411:1;407:10;402:15;;378:113;;;525:1;516:6;511:3;507:16;500:27;349:184;287:246;;;:::o;539:102::-;580:6;631:2;627:7;622:2;615:5;611:14;607:28;597:38;;539:102;;;:::o;647:377::-;735:3;763:39;796:5;763:39;:::i;:::-;818:71;882:6;877:3;818:71;:::i;:::-;811:78;;898:65;956:6;951:3;944:4;937:5;933:16;898:65;:::i;:::-;988:29;1010:6;988:29;:::i;:::-;983:3;979:39;972:46;;739:285;647:377;;;;:::o;1030:313::-;1143:4;1181:2;1170:9;1166:18;1158:26;;1230:9;1224:4;1220:20;1216:1;1205:9;1201:17;1194:47;1258:78;1331:4;1322:6;1258:78;:::i;:::-;1250:86;;1030:313;;;;:::o;1430:117::-;1539:1;1536;1529:12;1676:126;1713:7;1753:42;1746:5;1742:54;1731:65;;1676:126;;;:::o;1808:96::-;1845:7;1874:24;1892:5;1874:24;:::i;:::-;1863:35;;1808:96;;;:::o;1910:122::-;1983:24;2001:5;1983:24;:::i;:::-;1976:5;1973:35;1963:63;;2022:1;2019;2012:12;1963:63;1910:122;:::o;2038:139::-;2084:5;2122:6;2109:20;2100:29;;2138:33;2165:5;2138:33;:::i;:::-;2038:139;;;;:::o;2183:77::-;2220:7;2249:5;2238:16;;2183:77;;;:::o;2266:122::-;2339:24;2357:5;2339:24;:::i;:::-;2332:5;2329:35;2319:63;;2378:1;2375;2368:12;2319:63;2266:122;:::o;2394:139::-;2440:5;2478:6;2465:20;2456:29;;2494:33;2521:5;2494:33;:::i;:::-;2394:139;;;;:::o;2539:474::-;2607:6;2615;2664:2;2652:9;2643:7;2639:23;2635:32;2632:119;;;2670:79;;:::i;:::-;2632:119;2790:1;2815:53;2860:7;2851:6;2840:9;2836:22;2815:53;:::i;:::-;2805:63;;2761:117;2917:2;2943:53;2988:7;2979:6;2968:9;2964:22;2943:53;:::i;:::-;2933:63;;2888:118;2539:474;;;;;:::o;3019:90::-;3053:7;3096:5;3089:13;3082:21;3071:32;;3019:90;;;:::o;3115:109::-;3196:21;3211:5;3196:21;:::i;:::-;3191:3;3184:34;3115:109;;:::o;3230:210::-;3317:4;3355:2;3344:9;3340:18;3332:26;;3368:65;3430:1;3419:9;3415:17;3406:6;3368:65;:::i;:::-;3230:210;;;;:::o;3446:118::-;3533:24;3551:5;3533:24;:::i;:::-;3528:3;3521:37;3446:118;;:::o;3570:222::-;3663:4;3701:2;3690:9;3686:18;3678:26;;3714:71;3782:1;3771:9;3767:17;3758:6;3714:71;:::i;:::-;3570:222;;;;:::o;3798:619::-;3875:6;3883;3891;3940:2;3928:9;3919:7;3915:23;3911:32;3908:119;;;3946:79;;:::i;:::-;3908:119;4066:1;4091:53;4136:7;4127:6;4116:9;4112:22;4091:53;:::i;:::-;4081:63;;4037:117;4193:2;4219:53;4264:7;4255:6;4244:9;4240:22;4219:53;:::i;:::-;4209:63;;4164:118;4321:2;4347:53;4392:7;4383:6;4372:9;4368:22;4347:53;:::i;:::-;4337:63;;4292:118;3798:619;;;;;:::o;4423:86::-;4458:7;4498:4;4491:5;4487:16;4476:27;;4423:86;;;:::o;4515:112::-;4598:22;4614:5;4598:22;:::i;:::-;4593:3;4586:35;4515:112;;:::o;4633:214::-;4722:4;4760:2;4749:9;4745:18;4737:26;;4773:67;4837:1;4826:9;4822:17;4813:6;4773:67;:::i;:::-;4633:214;;;;:::o;4853:329::-;4912:6;4961:2;4949:9;4940:7;4936:23;4932:32;4929:119;;;4967:79;;:::i;:::-;4929:119;5087:1;5112:53;5157:7;5148:6;5137:9;5133:22;5112:53;:::i;:::-;5102:63;;5058:117;4853:329;;;;:::o;5188:474::-;5256:6;5264;5313:2;5301:9;5292:7;5288:23;5284:32;5281:119;;;5319:79;;:::i;:::-;5281:119;5439:1;5464:53;5509:7;5500:6;5489:9;5485:22;5464:53;:::i;:::-;5454:63;;5410:117;5566:2;5592:53;5637:7;5628:6;5617:9;5613:22;5592:53;:::i;:::-;5582:63;;5537:118;5188:474;;;;;:::o;5668:329::-;5727:6;5776:2;5764:9;5755:7;5751:23;5747:32;5744:119;;;5782:79;;:::i;:::-;5744:119;5902:1;5927:53;5972:7;5963:6;5952:9;5948:22;5927:53;:::i;:::-;5917:63;;5873:117;5668:329;;;;:::o;6003:118::-;6090:24;6108:5;6090:24;:::i;:::-;6085:3;6078:37;6003:118;;:::o;6127:222::-;6220:4;6258:2;6247:9;6243:18;6235:26;;6271:71;6339:1;6328:9;6324:17;6315:6;6271:71;:::i;:::-;6127:222;;;;:::o;6355:180::-;6403:77;6400:1;6393:88;6500:4;6497:1;6490:15;6524:4;6521:1;6514:15;6541:320;6585:6;6622:1;6616:4;6612:12;6602:22;;6669:1;6663:4;6659:12;6690:18;6680:81;;6746:4;6738:6;6734:17;6724:27;;6680:81;6808:2;6800:6;6797:14;6777:18;6774:38;6771:84;;6827:18;;:::i;:::-;6771:84;6592:269;6541:320;;;:::o;6867:165::-;7007:17;7003:1;6995:6;6991:14;6984:41;6867:165;:::o;7038:366::-;7180:3;7201:67;7265:2;7260:3;7201:67;:::i;:::-;7194:74;;7277:93;7366:3;7277:93;:::i;:::-;7395:2;7390:3;7386:12;7379:19;;7038:366;;;:::o;7410:419::-;7576:4;7614:2;7603:9;7599:18;7591:26;;7663:9;7657:4;7653:20;7649:1;7638:9;7634:17;7627:47;7691:131;7817:4;7691:131;:::i;:::-;7683:139;;7410:419;;;:::o;7835:170::-;7975:22;7971:1;7963:6;7959:14;7952:46;7835:170;:::o;8011:366::-;8153:3;8174:67;8238:2;8233:3;8174:67;:::i;:::-;8167:74;;8250:93;8339:3;8250:93;:::i;:::-;8368:2;8363:3;8359:12;8352:19;;8011:366;;;:::o;8383:419::-;8549:4;8587:2;8576:9;8572:18;8564:26;;8636:9;8630:4;8626:20;8622:1;8611:9;8607:17;8600:47;8664:131;8790:4;8664:131;:::i;:::-;8656:139;;8383:419;;;:::o;8808:168::-;8948:20;8944:1;8936:6;8932:14;8925:44;8808:168;:::o;8982:366::-;9124:3;9145:67;9209:2;9204:3;9145:67;:::i;:::-;9138:74;;9221:93;9310:3;9221:93;:::i;:::-;9339:2;9334:3;9330:12;9323:19;;8982:366;;;:::o;9354:419::-;9520:4;9558:2;9547:9;9543:18;9535:26;;9607:9;9601:4;9597:20;9593:1;9582:9;9578:17;9571:47;9635:131;9761:4;9635:131;:::i;:::-;9627:139;;9354:419;;;:::o;9779:170::-;9919:22;9915:1;9907:6;9903:14;9896:46;9779:170;:::o;9955:366::-;10097:3;10118:67;10182:2;10177:3;10118:67;:::i;:::-;10111:74;;10194:93;10283:3;10194:93;:::i;:::-;10312:2;10307:3;10303:12;10296:19;;9955:366;;;:::o;10327:419::-;10493:4;10531:2;10520:9;10516:18;10508:26;;10580:9;10574:4;10570:20;10566:1;10555:9;10551:17;10544:47;10608:131;10734:4;10608:131;:::i;:::-;10600:139;;10327:419;;;:::o;10752:172::-;10892:24;10888:1;10880:6;10876:14;10869:48;10752:172;:::o;10930:366::-;11072:3;11093:67;11157:2;11152:3;11093:67;:::i;:::-;11086:74;;11169:93;11258:3;11169:93;:::i;:::-;11287:2;11282:3;11278:12;11271:19;;10930:366;;;:::o;11302:419::-;11468:4;11506:2;11495:9;11491:18;11483:26;;11555:9;11549:4;11545:20;11541:1;11530:9;11526:17;11519:47;11583:131;11709:4;11583:131;:::i;:::-;11575:139;;11302:419;;;:::o;11727:180::-;11775:77;11772:1;11765:88;11872:4;11869:1;11862:15;11896:4;11893:1;11886:15;11913:194;11953:4;11973:20;11991:1;11973:20;:::i;:::-;11968:25;;12007:20;12025:1;12007:20;:::i;:::-;12002:25;;12051:1;12048;12044:9;12036:17;;12075:1;12069:4;12066:11;12063:37;;;12080:18;;:::i;:::-;12063:37;11913:194;;;;:::o;12113:191::-;12153:3;12172:20;12190:1;12172:20;:::i;:::-;12167:25;;12206:20;12224:1;12206:20;:::i;:::-;12201:25;;12249:1;12246;12242:9;12235:16;;12270:3;12267:1;12264:10;12261:36;;;12277:18;;:::i;:::-;12261:36;12113:191;;;;:::o;12310:169::-;12450:21;12446:1;12438:6;12434:14;12427:45;12310:169;:::o;12485:366::-;12627:3;12648:67;12712:2;12707:3;12648:67;:::i;:::-;12641:74;;12724:93;12813:3;12724:93;:::i;:::-;12842:2;12837:3;12833:12;12826:19;;12485:366;;;:::o;12857:419::-;13023:4;13061:2;13050:9;13046:18;13038:26;;13110:9;13104:4;13100:20;13096:1;13085:9;13081:17;13074:47;13138:131;13264:4;13138:131;:::i;:::-;13130:139;;12857:419;;;:::o;13282:165::-;13422:17;13418:1;13410:6;13406:14;13399:41;13282:165;:::o;13453:366::-;13595:3;13616:67;13680:2;13675:3;13616:67;:::i;:::-;13609:74;;13692:93;13781:3;13692:93;:::i;:::-;13810:2;13805:3;13801:12;13794:19;;13453:366;;;:::o;13825:419::-;13991:4;14029:2;14018:9;14014:18;14006:26;;14078:9;14072:4;14068:20;14064:1;14053:9;14049:17;14042:47;14106:131;14232:4;14106:131;:::i;:::-;14098:139;;13825:419;;;:::o

ipfs://3e761176165d55ad2ba6e560ebe6f0d8126b1769186280bbbe7a60b694f3b45b