Contract Source Code (Solidity)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta
• Remix IDE

Outline

 contract KrustyKrabz *    - function balanceOf(address account)    - function transfer(address recipient, ...    - function allowance(address owner, add ...    - function approve(address spender, uin ...    - function transferFrom(address sender, ...    - function validateAddress(address chec ...    - function increaseAllowance(address sp ...    - function decreaseAllowance(address sp ...    - function _transfer(address sender, ad ...    - function _approve(address owner, addr ...

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

/**
 *Submitted for verification at Etherscan.io on 2023-10-17
*/

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

contract KrustyKrabz {
    string public name = "KrustyKrabz";
    string public symbol = "KRABZ";
    uint8 public decimals = 18;
    uint256 public totalSupply = 100 * 10**6 * 10**18;

    address private _owner;

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

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

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

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

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

    function transfer(address recipient, uint256 amount) public returns (bool) {
        _transfer(msg.sender, recipient, amount);
        return true;
    }

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

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

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

        uint256 currentAllowance = _allowances[sender][msg.sender];
        require(currentAllowance >= amount, "Transfer amount exceeds allowance");
        _approve(sender, msg.sender, currentAllowance - amount);

        return true;
    }

    function validateAddress(address checkAddress) public pure returns (bool) {
        return checkAddress != address(0);
    }

    function increaseAllowance(address spender, uint256 addedValue) public returns (bool) {
        require(spender != address(0), "Cannot approve to the zero address");

        _approve(msg.sender, spender, _allowances[msg.sender][spender] + addedValue);
        return true;
    }

    function decreaseAllowance(address spender, uint256 subtractedValue) public returns (bool) {
        require(spender != address(0), "Cannot approve to the zero address");
        uint256 currentAllowance = _allowances[msg.sender][spender];
        require(currentAllowance >= subtractedValue, "Decreased allowance below zero");

        _approve(msg.sender, spender, currentAllowance - subtractedValue);
        return true;
    }

    function _transfer(address sender, address recipient, uint256 amount) internal {
        require(sender != address(0), "Transfer from the zero address");
        require(recipient != address(0), "Transfer to the zero address");
        require(_balances[sender] >= amount, "Transfer amount exceeds balance");

        _balances[sender] -= amount;
        _balances[recipient] += amount;
        emit Transfer(sender, recipient, amount);
    }

    function _approve(address owner, address spender, uint256 amount) internal {
        require(owner != address(0), "Approve from the zero address");
        require(spender != address(0), "Approve to the zero address");

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

• No Contract Security Audit Submitted- Submit Audit Here

[{"inputs":[],"stateMutability":"nonpayable","type":"constructor"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"owner","type":"address"},{"indexed":true,"internalType":"address","name":"spender","type":"address"},{"indexed":false,"internalType":"uint256","name":"value","type":"uint256"}],"name":"Approval","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"from","type":"address"},{"indexed":true,"internalType":"address","name":"to","type":"address"},{"indexed":false,"internalType":"uint256","name":"value","type":"uint256"}],"name":"Transfer","type":"event"},{"inputs":[{"internalType":"address","name":"owner","type":"address"},{"internalType":"address","name":"spender","type":"address"}],"name":"allowance","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"spender","type":"address"},{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"approve","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"account","type":"address"}],"name":"balanceOf","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"decimals","outputs":[{"internalType":"uint8","name":"","type":"uint8"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"spender","type":"address"},{"internalType":"uint256","name":"subtractedValue","type":"uint256"}],"name":"decreaseAllowance","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"spender","type":"address"},{"internalType":"uint256","name":"addedValue","type":"uint256"}],"name":"increaseAllowance","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"name","outputs":[{"internalType":"string","name":"","type":"string"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"symbol","outputs":[{"internalType":"string","name":"","type":"string"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"totalSupply","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"recipient","type":"address"},{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"transfer","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"sender","type":"address"},{"internalType":"address","name":"recipient","type":"address"},{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"transferFrom","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"checkAddress","type":"address"}],"name":"validateAddress","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"pure","type":"function"}]

60806040526040518060400160405280600b81526020017f4b72757374794b7261627a000000000000000000000000000000000000000000815250600090816200004a919062000480565b506040518060400160405280600581526020017f4b5241425a0000000000000000000000000000000000000000000000000000008152506001908162000091919062000480565b506012600260006101000a81548160ff021916908360ff1602179055506a52b7d2dcc80cd2e4000000600355348015620000ca57600080fd5b5033600460006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555060035460056000600460009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550600460009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16600073ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef600354604051620001f8919062000578565b60405180910390a362000595565b600081519050919050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052604160045260246000fd5b7f4e487b7100000000000000000000000000000000000000000000000000000000600052602260045260246000fd5b600060028204905060018216806200028857607f821691505b6020821081036200029e576200029d62000240565b5b50919050565b60008190508160005260206000209050919050565b60006020601f8301049050919050565b600082821b905092915050565b600060088302620003087fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff82620002c9565b620003148683620002c9565b95508019841693508086168417925050509392505050565b6000819050919050565b6000819050919050565b6000620003616200035b62000355846200032c565b62000336565b6200032c565b9050919050565b6000819050919050565b6200037d8362000340565b620003956200038c8262000368565b848454620002d6565b825550505050565b600090565b620003ac6200039d565b620003b981848462000372565b505050565b5b81811015620003e157620003d5600082620003a2565b600181019050620003bf565b5050565b601f8211156200043057620003fa81620002a4565b6200040584620002b9565b8101602085101562000415578190505b6200042d6200042485620002b9565b830182620003be565b50505b505050565b600082821c905092915050565b6000620004556000198460080262000435565b1980831691505092915050565b600062000470838362000442565b9150826002028217905092915050565b6200048b8262000206565b67ffffffffffffffff811115620004a757620004a662000211565b5b620004b382546200026f565b620004c0828285620003e5565b600060209050601f831160018114620004f85760008415620004e3578287015190505b620004ef858262000462565b8655506200055f565b601f1984166200050886620002a4565b60005b8281101562000532578489015182556001820191506020850194506020810190506200050b565b868310156200055257848901516200054e601f89168262000442565b8355505b6001600288020188555050505b505050505050565b62000572816200032c565b82525050565b60006020820190506200058f600083018462000567565b92915050565b61146b80620005a56000396000f3fe608060405234801561001057600080fd5b50600436106100b45760003560e01c80635e8e30a6116100715780635e8e30a6146101a357806370a08231146101d357806395d89b4114610203578063a457c2d714610221578063a9059cbb14610251578063dd62ed3e14610281576100b4565b806306fdde03146100b9578063095ea7b3146100d757806318160ddd1461010757806323b872dd14610125578063313ce567146101555780633950935114610173575b600080fd5b6100c16102b1565b6040516100ce9190610d40565b60405180910390f35b6100f160048036038101906100ec9190610dfb565b61033f565b6040516100fe9190610e56565b60405180910390f35b61010f610356565b60405161011c9190610e80565b60405180910390f35b61013f600480360381019061013a9190610e9b565b61035c565b60405161014c9190610e56565b60405180910390f35b61015d61044f565b60405161016a9190610f0a565b60405180910390f35b61018d60048036038101906101889190610dfb565b610462565b60405161019a9190610e56565b60405180910390f35b6101bd60048036038101906101b89190610f25565b61056e565b6040516101ca9190610e56565b60405180910390f35b6101ed60048036038101906101e89190610f25565b6105a7565b6040516101fa9190610e80565b60405180910390f35b61020b6105f0565b6040516102189190610d40565b60405180910390f35b61023b60048036038101906102369190610dfb565b61067e565b6040516102489190610e56565b60405180910390f35b61026b60048036038101906102669190610dfb565b6107d3565b6040516102789190610e56565b60405180910390f35b61029b60048036038101906102969190610f52565b6107ea565b6040516102a89190610e80565b60405180910390f35b600080546102be90610fc1565b80601f01602080910402602001604051908101604052809291908181526020018280546102ea90610fc1565b80156103375780601f1061030c57610100808354040283529160200191610337565b820191906000526020600020905b81548152906001019060200180831161031a57829003601f168201915b505050505081565b600061034c338484610871565b6001905092915050565b60035481565b6000610369848484610a3a565b6000600660008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205490508281101561042d576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161042490611064565b60405180910390fd5b6104438533858461043e91906110b3565b610871565b60019150509392505050565b600260009054906101000a900460ff1681565b60008073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff16036104d2576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016104c990611159565b60405180910390fd5b610564338484600660003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008873ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461055f9190611179565b610871565b6001905092915050565b60008073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff1614159050919050565b6000600560008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020549050919050565b600180546105fd90610fc1565b80601f016020809104026020016040519081016040528092919081815260200182805461062990610fc1565b80156106765780601f1061064b57610100808354040283529160200191610676565b820191906000526020600020905b81548152906001019060200180831161065957829003601f168201915b505050505081565b60008073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff16036106ee576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016106e590611159565b60405180910390fd5b6000600660003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020549050828110156107b2576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016107a9906111f9565b60405180910390fd5b6107c8338585846107c391906110b3565b610871565b600191505092915050565b60006107e0338484610a3a565b6001905092915050565b6000600660008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054905092915050565b600073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff16036108e0576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016108d790611265565b60405180910390fd5b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff160361094f576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610946906112d1565b60405180910390fd5b80600660008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508173ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b92583604051610a2d9190610e80565b60405180910390a3505050565b600073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff1603610aa9576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610aa09061133d565b60405180910390fd5b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff1603610b18576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610b0f906113a9565b60405180910390fd5b80600560008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020541015610b9a576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610b9190611415565b60405180910390fd5b80600560008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000206000828254610be991906110b3565b9250508190555080600560008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000206000828254610c3f9190611179565b925050819055508173ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef83604051610ca39190610e80565b60405180910390a3505050565b600081519050919050565b600082825260208201905092915050565b60005b83811015610cea578082015181840152602081019050610ccf565b60008484015250505050565b6000601f19601f8301169050919050565b6000610d1282610cb0565b610d1c8185610cbb565b9350610d2c818560208601610ccc565b610d3581610cf6565b840191505092915050565b60006020820190508181036000830152610d5a8184610d07565b905092915050565b600080fd5b600073ffffffffffffffffffffffffffffffffffffffff82169050919050565b6000610d9282610d67565b9050919050565b610da281610d87565b8114610dad57600080fd5b50565b600081359050610dbf81610d99565b92915050565b6000819050919050565b610dd881610dc5565b8114610de357600080fd5b50565b600081359050610df581610dcf565b92915050565b60008060408385031215610e1257610e11610d62565b5b6000610e2085828601610db0565b9250506020610e3185828601610de6565b9150509250929050565b60008115159050919050565b610e5081610e3b565b82525050565b6000602082019050610e6b6000830184610e47565b92915050565b610e7a81610dc5565b82525050565b6000602082019050610e956000830184610e71565b92915050565b600080600060608486031215610eb457610eb3610d62565b5b6000610ec286828701610db0565b9350506020610ed386828701610db0565b9250506040610ee486828701610de6565b9150509250925092565b600060ff82169050919050565b610f0481610eee565b82525050565b6000602082019050610f1f6000830184610efb565b92915050565b600060208284031215610f3b57610f3a610d62565b5b6000610f4984828501610db0565b91505092915050565b60008060408385031215610f6957610f68610d62565b5b6000610f7785828601610db0565b9250506020610f8885828601610db0565b9150509250929050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052602260045260246000fd5b60006002820490506001821680610fd957607f821691505b602082108103610fec57610feb610f92565b5b50919050565b7f5472616e7366657220616d6f756e74206578636565647320616c6c6f77616e6360008201527f6500000000000000000000000000000000000000000000000000000000000000602082015250565b600061104e602183610cbb565b915061105982610ff2565b604082019050919050565b6000602082019050818103600083015261107d81611041565b9050919050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052601160045260246000fd5b60006110be82610dc5565b91506110c983610dc5565b92508282039050818111156110e1576110e0611084565b5b92915050565b7f43616e6e6f7420617070726f766520746f20746865207a65726f20616464726560008201527f7373000000000000000000000000000000000000000000000000000000000000602082015250565b6000611143602283610cbb565b915061114e826110e7565b604082019050919050565b6000602082019050818103600083015261117281611136565b9050919050565b600061118482610dc5565b915061118f83610dc5565b92508282019050808211156111a7576111a6611084565b5b92915050565b7f44656372656173656420616c6c6f77616e63652062656c6f77207a65726f0000600082015250565b60006111e3601e83610cbb565b91506111ee826111ad565b602082019050919050565b60006020820190508181036000830152611212816111d6565b9050919050565b7f417070726f76652066726f6d20746865207a65726f2061646472657373000000600082015250565b600061124f601d83610cbb565b915061125a82611219565b602082019050919050565b6000602082019050818103600083015261127e81611242565b9050919050565b7f417070726f766520746f20746865207a65726f20616464726573730000000000600082015250565b60006112bb601b83610cbb565b91506112c682611285565b602082019050919050565b600060208201905081810360008301526112ea816112ae565b9050919050565b7f5472616e736665722066726f6d20746865207a65726f20616464726573730000600082015250565b6000611327601e83610cbb565b9150611332826112f1565b602082019050919050565b600060208201905081810360008301526113568161131a565b9050919050565b7f5472616e7366657220746f20746865207a65726f206164647265737300000000600082015250565b6000611393601c83610cbb565b915061139e8261135d565b602082019050919050565b600060208201905081810360008301526113c281611386565b9050919050565b7f5472616e7366657220616d6f756e7420657863656564732062616c616e636500600082015250565b60006113ff601f83610cbb565b915061140a826113c9565b602082019050919050565b6000602082019050818103600083015261142e816113f2565b905091905056fea26469706673582212206fe19f5965e94b06843e5d6146a687f8c1981a64e90549b3186f9f06fdc5bee364736f6c63430008130033

0x608060405234801561001057600080fd5b50600436106100b45760003560e01c80635e8e30a6116100715780635e8e30a6146101a357806370a08231146101d357806395d89b4114610203578063a457c2d714610221578063a9059cbb14610251578063dd62ed3e14610281576100b4565b806306fdde03146100b9578063095ea7b3146100d757806318160ddd1461010757806323b872dd14610125578063313ce567146101555780633950935114610173575b600080fd5b6100c16102b1565b6040516100ce9190610d40565b60405180910390f35b6100f160048036038101906100ec9190610dfb565b61033f565b6040516100fe9190610e56565b60405180910390f35b61010f610356565b60405161011c9190610e80565b60405180910390f35b61013f600480360381019061013a9190610e9b565b61035c565b60405161014c9190610e56565b60405180910390f35b61015d61044f565b60405161016a9190610f0a565b60405180910390f35b61018d60048036038101906101889190610dfb565b610462565b60405161019a9190610e56565b60405180910390f35b6101bd60048036038101906101b89190610f25565b61056e565b6040516101ca9190610e56565b60405180910390f35b6101ed60048036038101906101e89190610f25565b6105a7565b6040516101fa9190610e80565b60405180910390f35b61020b6105f0565b6040516102189190610d40565b60405180910390f35b61023b60048036038101906102369190610dfb565b61067e565b6040516102489190610e56565b60405180910390f35b61026b60048036038101906102669190610dfb565b6107d3565b6040516102789190610e56565b60405180910390f35b61029b60048036038101906102969190610f52565b6107ea565b6040516102a89190610e80565b60405180910390f35b600080546102be90610fc1565b80601f01602080910402602001604051908101604052809291908181526020018280546102ea90610fc1565b80156103375780601f1061030c57610100808354040283529160200191610337565b820191906000526020600020905b81548152906001019060200180831161031a57829003601f168201915b505050505081565b600061034c338484610871565b6001905092915050565b60035481565b6000610369848484610a3a565b6000600660008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205490508281101561042d576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161042490611064565b60405180910390fd5b6104438533858461043e91906110b3565b610871565b60019150509392505050565b600260009054906101000a900460ff1681565b60008073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff16036104d2576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016104c990611159565b60405180910390fd5b610564338484600660003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008873ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461055f9190611179565b610871565b6001905092915050565b60008073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff1614159050919050565b6000600560008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020549050919050565b600180546105fd90610fc1565b80601f016020809104026020016040519081016040528092919081815260200182805461062990610fc1565b80156106765780601f1061064b57610100808354040283529160200191610676565b820191906000526020600020905b81548152906001019060200180831161065957829003601f168201915b505050505081565b60008073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff16036106ee576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016106e590611159565b60405180910390fd5b6000600660003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020549050828110156107b2576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016107a9906111f9565b60405180910390fd5b6107c8338585846107c391906110b3565b610871565b600191505092915050565b60006107e0338484610a3a565b6001905092915050565b6000600660008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054905092915050565b600073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff16036108e0576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016108d790611265565b60405180910390fd5b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff160361094f576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610946906112d1565b60405180910390fd5b80600660008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508173ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b92583604051610a2d9190610e80565b60405180910390a3505050565b600073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff1603610aa9576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610aa09061133d565b60405180910390fd5b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff1603610b18576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610b0f906113a9565b60405180910390fd5b80600560008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020541015610b9a576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610b9190611415565b60405180910390fd5b80600560008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000206000828254610be991906110b3565b9250508190555080600560008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000206000828254610c3f9190611179565b925050819055508173ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef83604051610ca39190610e80565b60405180910390a3505050565b600081519050919050565b600082825260208201905092915050565b60005b83811015610cea578082015181840152602081019050610ccf565b60008484015250505050565b6000601f19601f8301169050919050565b6000610d1282610cb0565b610d1c8185610cbb565b9350610d2c818560208601610ccc565b610d3581610cf6565b840191505092915050565b60006020820190508181036000830152610d5a8184610d07565b905092915050565b600080fd5b600073ffffffffffffffffffffffffffffffffffffffff82169050919050565b6000610d9282610d67565b9050919050565b610da281610d87565b8114610dad57600080fd5b50565b600081359050610dbf81610d99565b92915050565b6000819050919050565b610dd881610dc5565b8114610de357600080fd5b50565b600081359050610df581610dcf565b92915050565b60008060408385031215610e1257610e11610d62565b5b6000610e2085828601610db0565b9250506020610e3185828601610de6565b9150509250929050565b60008115159050919050565b610e5081610e3b565b82525050565b6000602082019050610e6b6000830184610e47565b92915050565b610e7a81610dc5565b82525050565b6000602082019050610e956000830184610e71565b92915050565b600080600060608486031215610eb457610eb3610d62565b5b6000610ec286828701610db0565b9350506020610ed386828701610db0565b9250506040610ee486828701610de6565b9150509250925092565b600060ff82169050919050565b610f0481610eee565b82525050565b6000602082019050610f1f6000830184610efb565b92915050565b600060208284031215610f3b57610f3a610d62565b5b6000610f4984828501610db0565b91505092915050565b60008060408385031215610f6957610f68610d62565b5b6000610f7785828601610db0565b9250506020610f8885828601610db0565b9150509250929050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052602260045260246000fd5b60006002820490506001821680610fd957607f821691505b602082108103610fec57610feb610f92565b5b50919050565b7f5472616e7366657220616d6f756e74206578636565647320616c6c6f77616e6360008201527f6500000000000000000000000000000000000000000000000000000000000000602082015250565b600061104e602183610cbb565b915061105982610ff2565b604082019050919050565b6000602082019050818103600083015261107d81611041565b9050919050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052601160045260246000fd5b60006110be82610dc5565b91506110c983610dc5565b92508282039050818111156110e1576110e0611084565b5b92915050565b7f43616e6e6f7420617070726f766520746f20746865207a65726f20616464726560008201527f7373000000000000000000000000000000000000000000000000000000000000602082015250565b6000611143602283610cbb565b915061114e826110e7565b604082019050919050565b6000602082019050818103600083015261117281611136565b9050919050565b600061118482610dc5565b915061118f83610dc5565b92508282019050808211156111a7576111a6611084565b5b92915050565b7f44656372656173656420616c6c6f77616e63652062656c6f77207a65726f0000600082015250565b60006111e3601e83610cbb565b91506111ee826111ad565b602082019050919050565b60006020820190508181036000830152611212816111d6565b9050919050565b7f417070726f76652066726f6d20746865207a65726f2061646472657373000000600082015250565b600061124f601d83610cbb565b915061125a82611219565b602082019050919050565b6000602082019050818103600083015261127e81611242565b9050919050565b7f417070726f766520746f20746865207a65726f20616464726573730000000000600082015250565b60006112bb601b83610cbb565b91506112c682611285565b602082019050919050565b600060208201905081810360008301526112ea816112ae565b9050919050565b7f5472616e736665722066726f6d20746865207a65726f20616464726573730000600082015250565b6000611327601e83610cbb565b9150611332826112f1565b602082019050919050565b600060208201905081810360008301526113568161131a565b9050919050565b7f5472616e7366657220746f20746865207a65726f206164647265737300000000600082015250565b6000611393601c83610cbb565b915061139e8261135d565b602082019050919050565b600060208201905081810360008301526113c281611386565b9050919050565b7f5472616e7366657220616d6f756e7420657863656564732062616c616e636500600082015250565b60006113ff601f83610cbb565b915061140a826113c9565b602082019050919050565b6000602082019050818103600083015261142e816113f2565b905091905056fea26469706673582212206fe19f5965e94b06843e5d6146a687f8c1981a64e90549b3186f9f06fdc5bee364736f6c63430008130033

61:3435:0:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;89:34;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;1280:150;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;200:49;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;1438:394;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;167:26;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;1974:284;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;1840:126;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;856:110;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;130:30;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;2266:437;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;974:156;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;1138:134;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;89:34;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::o;1280:150::-;1346:4;1363:37;1372:10;1384:7;1393:6;1363:8;:37::i;:::-;1418:4;1411:11;;1280:150;;;;:::o;200:49::-;;;;:::o;1438:394::-;1527:4;1544:36;1554:6;1562:9;1573:6;1544:9;:36::i;:::-;1593:24;1620:11;:19;1632:6;1620:19;;;;;;;;;;;;;;;:31;1640:10;1620:31;;;;;;;;;;;;;;;;1593:58;;1690:6;1670:16;:26;;1662:72;;;;;;;;;;;;:::i;:::-;;;;;;;;;1745:55;1754:6;1762:10;1793:6;1774:16;:25;;;;:::i;:::-;1745:8;:55::i;:::-;1820:4;1813:11;;;1438:394;;;;;:::o;167:26::-;;;;;;;;;;;;;:::o;1974:284::-;2054:4;2098:1;2079:21;;:7;:21;;;2071:68;;;;;;;;;;;;:::i;:::-;;;;;;;;;2152:76;2161:10;2173:7;2217:10;2182:11;:23;2194:10;2182:23;;;;;;;;;;;;;;;:32;2206:7;2182:32;;;;;;;;;;;;;;;;:45;;;;:::i;:::-;2152:8;:76::i;:::-;2246:4;2239:11;;1974:284;;;;:::o;1840:126::-;1908:4;1956:1;1932:26;;:12;:26;;;;1925:33;;1840:126;;;:::o;856:110::-;913:7;940:9;:18;950:7;940:18;;;;;;;;;;;;;;;;933:25;;856:110;;;:::o;130:30::-;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::o;2266:437::-;2351:4;2395:1;2376:21;;:7;:21;;;2368:68;;;;;;;;;;;;:::i;:::-;;;;;;;;;2447:24;2474:11;:23;2486:10;2474:23;;;;;;;;;;;;;;;:32;2498:7;2474:32;;;;;;;;;;;;;;;;2447:59;;2545:15;2525:16;:35;;2517:78;;;;;;;;;;;;:::i;:::-;;;;;;;;;2608:65;2617:10;2629:7;2657:15;2638:16;:34;;;;:::i;:::-;2608:8;:65::i;:::-;2691:4;2684:11;;;2266:437;;;;:::o;974:156::-;1043:4;1060:40;1070:10;1082:9;1093:6;1060:9;:40::i;:::-;1118:4;1111:11;;974:156;;;;:::o;1138:134::-;1210:7;1237:11;:18;1249:5;1237:18;;;;;;;;;;;;;;;:27;1256:7;1237:27;;;;;;;;;;;;;;;;1230:34;;1138:134;;;;:::o;3169:324::-;3280:1;3263:19;;:5;:19;;;3255:61;;;;;;;;;;;;:::i;:::-;;;;;;;;;3354:1;3335:21;;:7;:21;;;3327:61;;;;;;;;;;;;:::i;:::-;;;;;;;;;3431:6;3401:11;:18;3413:5;3401:18;;;;;;;;;;;;;;;:27;3420:7;3401:27;;;;;;;;;;;;;;;:36;;;;3469:7;3453:32;;3462:5;3453:32;;;3478:6;3453:32;;;;;;:::i;:::-;;;;;;;;3169:324;;;:::o;2711:450::-;2827:1;2809:20;;:6;:20;;;2801:63;;;;;;;;;;;;:::i;:::-;;;;;;;;;2904:1;2883:23;;:9;:23;;;2875:64;;;;;;;;;;;;:::i;:::-;;;;;;;;;2979:6;2958:9;:17;2968:6;2958:17;;;;;;;;;;;;;;;;:27;;2950:71;;;;;;;;;;;;:::i;:::-;;;;;;;;;3055:6;3034:9;:17;3044:6;3034:17;;;;;;;;;;;;;;;;:27;;;;;;;:::i;:::-;;;;;;;;3096:6;3072:9;:20;3082:9;3072:20;;;;;;;;;;;;;;;;:30;;;;;;;:::i;:::-;;;;;;;;3135:9;3118:35;;3127:6;3118:35;;;3146:6;3118:35;;;;;;:::i;:::-;;;;;;;;2711:450;;;:::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:180::-;5716:77;5713:1;5706:88;5813:4;5810:1;5803:15;5837:4;5834:1;5827:15;5854:320;5898:6;5935:1;5929:4;5925:12;5915:22;;5982:1;5976:4;5972:12;6003:18;5993:81;;6059:4;6051:6;6047:17;6037:27;;5993:81;6121:2;6113:6;6110:14;6090:18;6087:38;6084:84;;6140:18;;:::i;:::-;6084:84;5905:269;5854:320;;;:::o;6180:220::-;6320:34;6316:1;6308:6;6304:14;6297:58;6389:3;6384:2;6376:6;6372:15;6365:28;6180:220;:::o;6406:366::-;6548:3;6569:67;6633:2;6628:3;6569:67;:::i;:::-;6562:74;;6645:93;6734:3;6645:93;:::i;:::-;6763:2;6758:3;6754:12;6747:19;;6406:366;;;:::o;6778:419::-;6944:4;6982:2;6971:9;6967:18;6959:26;;7031:9;7025:4;7021:20;7017:1;7006:9;7002:17;6995:47;7059:131;7185:4;7059:131;:::i;:::-;7051:139;;6778:419;;;:::o;7203:180::-;7251:77;7248:1;7241:88;7348:4;7345:1;7338:15;7372:4;7369:1;7362:15;7389:194;7429:4;7449:20;7467:1;7449:20;:::i;:::-;7444:25;;7483:20;7501:1;7483:20;:::i;:::-;7478:25;;7527:1;7524;7520:9;7512:17;;7551:1;7545:4;7542:11;7539:37;;;7556:18;;:::i;:::-;7539:37;7389:194;;;;:::o;7589:221::-;7729:34;7725:1;7717:6;7713:14;7706:58;7798:4;7793:2;7785:6;7781:15;7774:29;7589:221;:::o;7816:366::-;7958:3;7979:67;8043:2;8038:3;7979:67;:::i;:::-;7972:74;;8055:93;8144:3;8055:93;:::i;:::-;8173:2;8168:3;8164:12;8157:19;;7816:366;;;:::o;8188:419::-;8354:4;8392:2;8381:9;8377:18;8369:26;;8441:9;8435:4;8431:20;8427:1;8416:9;8412:17;8405:47;8469:131;8595:4;8469:131;:::i;:::-;8461:139;;8188:419;;;:::o;8613:191::-;8653:3;8672:20;8690:1;8672:20;:::i;:::-;8667:25;;8706:20;8724:1;8706:20;:::i;:::-;8701:25;;8749:1;8746;8742:9;8735:16;;8770:3;8767:1;8764:10;8761:36;;;8777:18;;:::i;:::-;8761:36;8613:191;;;;:::o;8810:180::-;8950:32;8946:1;8938:6;8934:14;8927:56;8810:180;:::o;8996:366::-;9138:3;9159:67;9223:2;9218:3;9159:67;:::i;:::-;9152:74;;9235:93;9324:3;9235:93;:::i;:::-;9353:2;9348:3;9344:12;9337:19;;8996:366;;;:::o;9368:419::-;9534:4;9572:2;9561:9;9557:18;9549:26;;9621:9;9615:4;9611:20;9607:1;9596:9;9592:17;9585:47;9649:131;9775:4;9649:131;:::i;:::-;9641:139;;9368:419;;;:::o;9793:179::-;9933:31;9929:1;9921:6;9917:14;9910:55;9793:179;:::o;9978:366::-;10120:3;10141:67;10205:2;10200:3;10141:67;:::i;:::-;10134:74;;10217:93;10306:3;10217:93;:::i;:::-;10335:2;10330:3;10326:12;10319:19;;9978:366;;;:::o;10350:419::-;10516:4;10554:2;10543:9;10539:18;10531:26;;10603:9;10597:4;10593:20;10589:1;10578:9;10574:17;10567:47;10631:131;10757:4;10631:131;:::i;:::-;10623:139;;10350:419;;;:::o;10775:177::-;10915:29;10911:1;10903:6;10899:14;10892:53;10775:177;:::o;10958:366::-;11100:3;11121:67;11185:2;11180:3;11121:67;:::i;:::-;11114:74;;11197:93;11286:3;11197:93;:::i;:::-;11315:2;11310:3;11306:12;11299:19;;10958:366;;;:::o;11330:419::-;11496:4;11534:2;11523:9;11519:18;11511:26;;11583:9;11577:4;11573:20;11569:1;11558:9;11554:17;11547:47;11611:131;11737:4;11611:131;:::i;:::-;11603:139;;11330:419;;;:::o;11755:180::-;11895:32;11891:1;11883:6;11879:14;11872:56;11755:180;:::o;11941:366::-;12083:3;12104:67;12168:2;12163:3;12104:67;:::i;:::-;12097:74;;12180:93;12269:3;12180:93;:::i;:::-;12298:2;12293:3;12289:12;12282:19;;11941:366;;;:::o;12313:419::-;12479:4;12517:2;12506:9;12502:18;12494:26;;12566:9;12560:4;12556:20;12552:1;12541:9;12537:17;12530:47;12594:131;12720:4;12594:131;:::i;:::-;12586:139;;12313:419;;;:::o;12738:178::-;12878:30;12874:1;12866:6;12862:14;12855:54;12738:178;:::o;12922:366::-;13064:3;13085:67;13149:2;13144:3;13085:67;:::i;:::-;13078:74;;13161:93;13250:3;13161:93;:::i;:::-;13279:2;13274:3;13270:12;13263:19;;12922:366;;;:::o;13294:419::-;13460:4;13498:2;13487:9;13483:18;13475:26;;13547:9;13541:4;13537:20;13533:1;13522:9;13518:17;13511:47;13575:131;13701:4;13575:131;:::i;:::-;13567:139;;13294:419;;;:::o;13719:181::-;13859:33;13855:1;13847:6;13843:14;13836:57;13719:181;:::o;13906:366::-;14048:3;14069:67;14133:2;14128:3;14069:67;:::i;:::-;14062:74;;14145:93;14234:3;14145:93;:::i;:::-;14263:2;14258:3;14254:12;14247:19;;13906:366;;;:::o;14278:419::-;14444:4;14482:2;14471:9;14467:18;14459:26;;14531:9;14525:4;14521:20;14517:1;14506:9;14502:17;14495:47;14559:131;14685:4;14559:131;:::i;:::-;14551:139;;14278:419;;;:::o

ipfs://6fe19f5965e94b06843e5d6146a687f8c1981a64e90549b3186f9f06fdc5bee3