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-12-08
*/

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

/**
 * @title Maya Preferred Common Class Regulated Security Token (SMPRD)
 *
 * @dev
 * ERC-20 style security token with ERC-3643-inspired compliance:
 * - Identity registry (KYC/AML verification)
 * - Compliance contract (transfer permissions)
 * - Standard balance/allowance mechanics
 *
 * This contract represents the regulated "Common Class" security version
 * of the original Maya Preferred (MPRD) token:
 *
 *  Legacy Common Class Token (MPRD)
 *  Contract Address: 0x3600aAae5f6F3F0cfd19cAD2F067718CB59E1AFE
 *
 * Preferred Class Reference (MPRA):
 *  Contract Address: 0xEc1227BfB3e76d7a2A9bca24d9E98f68dE8bf808
 *
 * Creator / Developer : UK Financial Ltd (United Kingdom)
 * Token Class         : Common (Regulated Security)
 * Symbol              : SMPRD
 * Total Supply        : 23,000,000 SMPRD (23 million)
 * Decimals            : 18
 * Owner Wallet        : 0xAF2587b7e09d7816Fc0867Ea3A8B3058bBaAa16F
 *
 * All tokens are minted to the owner on deployment.
 *
 * ------------------------------------------------------------------------
 * Supply Migration & Reduction Summary
 * ------------------------------------------------------------------------
 * Original Legacy MPRD Supply : 200,000,000 MPRD
 * New Regulated SMPRD Supply  : 23,000,000 SMPRD
 *
 * Total Supply Reduction      : 177,000,000 Tokens
 * Percentage Decrease         : 88.5% Supply Reduction
 *
 * This reduction is part of the migration into the fully regulated
 * Common Class Security Token (SMPRD) and was designed to:
 * - Eliminate excess legacy float
 * - Strengthen long-term value alignment
 * - Protect historical coinholders
 * - Align with regulated security token structure requirements
 * ------------------------------------------------------------------------
 */

interface IIdentityRegistry {
    function isVerified(address user) external view returns (bool);
}

interface ICompliance {
    function canTransfer(address from, address to, uint256 value) external view returns (bool);
}

contract SMPRD {
    // Core token data
    string public name = "Maya Preferred Common Class Regulated Security Token";
    string public symbol = "SMPRD";
    uint8 public decimals = 18;
    uint256 public totalSupply;

    // Balances and allowances (ERC-20 style)
    mapping(address => uint256) public balanceOf;
    mapping(address => mapping(address => uint256)) public allowance;

    // Ownership and compliance
    address public owner;
    IIdentityRegistry public identityRegistry;
    ICompliance public compliance;

    // Project metadata (from original MPRD structure)
    string private _projectInfo;
    string private _companyDetails;

    // Explicit token classification
    string private constant TOKEN_CLASS = "Common";
    string private constant TOKEN_VERSION = "2.0.0";
    string private constant COMPANY_NAME = "UK Financial Ltd";

    // Migration state (kept from original MPRD pattern)
    address public migrationTarget;
    bool public migrationActive;

    // Events
    event Transfer(address indexed from, address indexed to, uint256 value);
    event Approval(address indexed tokenOwner, address indexed spender, uint256 value);
    event MigrationEnabled(address indexed target);
    event MigrationDisabled();
    event TokensMigrated(address indexed account, uint256 amount);
    event MetadataUpdated(string projectInfo, string companyDetails);

    modifier onlyOwner() {
        require(msg.sender == owner, "Not owner");
        _;
    }

    /**
     * @dev Constructor wires in identity & compliance contracts and mints full supply to owner.
     * @param _identityRegistry Address of the identity registry contract (KYC/AML).
     * @param _compliance Address of the compliance contract (transfer permissions).
     */
    constructor(
        address _identityRegistry,
        address _compliance
    ) {
        owner = 0xAF2587b7e09d7816Fc0867Ea3A8B3058bBaAa16F; // UK Financial LTD Primary Owner
        identityRegistry = IIdentityRegistry(_identityRegistry);
        compliance = ICompliance(_compliance);

        // Mint full supply (23,000,000 * 10^18) to owner upon deployment
        uint256 initialSupply = 23_000_000 * 10 ** uint256(decimals);
        _mint(owner, initialSupply);

        // Preserve metadata pattern from original MPRD
        _projectInfo = "Maya Preferred Common Class Regulated Security Token (SMPRD)";
        _companyDetails = COMPANY_NAME;
    }

    // ---------------- INTERNAL MINT ----------------

    function _mint(address to, uint256 amount) internal {
        require(to != address(0), "Invalid address");
        balanceOf[to] += amount;
        totalSupply += amount;
        emit Transfer(address(0), to, amount);
    }

    // ---------------- ERC-20 STYLE TRANSFERS WITH COMPLIANCE ----------------

    function transfer(address to, uint256 value) external returns (bool) {
        require(identityRegistry.isVerified(msg.sender), "Sender not verified");
        require(identityRegistry.isVerified(to), "Recipient not verified");
        require(compliance.canTransfer(msg.sender, to, value), "Transfer blocked by compliance");
        require(balanceOf[msg.sender] >= value, "Insufficient balance");
        require(to != address(0), "Invalid address");

        balanceOf[msg.sender] -= value;
        balanceOf[to] += value;
        emit Transfer(msg.sender, to, value);
        return true;
    }

    function approve(address spender, uint256 value) external returns (bool) {
        require(spender != address(0), "Invalid address");

        allowance[msg.sender][spender] = value;
        emit Approval(msg.sender, spender, value);
        return true;
    }

    function transferFrom(address from, address to, uint256 value) external returns (bool) {
        require(identityRegistry.isVerified(from), "From not verified");
        require(identityRegistry.isVerified(to), "To not verified");
        require(compliance.canTransfer(from, to, value), "Transfer blocked by compliance");
        require(balanceOf[from] >= value, "Insufficient balance");
        require(allowance[from][msg.sender] >= value, "Not allowed");
        require(to != address(0), "Invalid address");

        allowance[from][msg.sender] -= value;
        balanceOf[from] -= value;
        balanceOf[to] += value;
        emit Transfer(from, to, value);
        return true;
    }

    // ---------------- METADATA (KEPT FROM ORIGINAL MPRD) ----------------

    /**
     * @dev Returns the token classification and version information
     * @return class The token class (Common)
     * @return version The implementation version
     * @return company The managing company
     */
    function getTokenInfo() external pure returns (
        string memory class,
        string memory version,
        string memory company
    ) {
        return (TOKEN_CLASS, TOKEN_VERSION, COMPANY_NAME);
    }

    /**
     * @dev Returns the detailed metadata about the project
     */
    function getMetadata() external view returns (
        string memory projectInfo,
        string memory companyDetails,
        string memory tokenClass
    ) {
        return (_projectInfo, _companyDetails, TOKEN_CLASS);
    }

    /**
     * @dev Allows owner to update project metadata
     * @param newProjectInfo Updated project information
     * @param newCompanyDetails Updated company details
     */
    function updateMetadata(
        string memory newProjectInfo,
        string memory newCompanyDetails
    ) external onlyOwner {
        _projectInfo = newProjectInfo;
        _companyDetails = newCompanyDetails;
        emit MetadataUpdated(newProjectInfo, newCompanyDetails);
    }

    // ---------------- MIGRATION LOGIC (KEPT, OPTIONAL USE) ----------------

    /**
     * @dev Enables token migration to a new contract
     * @param target Address of the new contract
     */
    function enableMigration(address target) external onlyOwner {
        require(target != address(0), "Invalid migration target");
        migrationTarget = target;
        migrationActive = true;
        emit MigrationEnabled(target);
    }

    /**
     * @dev Disables the migration functionality
     */
    function disableMigration() external onlyOwner {
        migrationActive = false;
        emit MigrationDisabled();
    }

    /**
     * @dev Allows token holders to migrate their tokens (by burning them here).
     * Actual minting on the new contract (if any) is handled off-chain or in that contract.
     */
    function migrate() external {
        require(migrationActive, "Migration not active");
        require(migrationTarget != address(0), "No migration target");

        uint256 balance = balanceOf[msg.sender];
        require(balance > 0, "No tokens to migrate");

        // Burn holder's balance on this contract
        balanceOf[msg.sender] = 0;
        totalSupply -= balance;
        emit Transfer(msg.sender, address(0), balance);
        emit TokensMigrated(msg.sender, balance);
    }
}

• No Contract Security Audit Submitted- Submit Audit Here

[{"inputs":[{"internalType":"address","name":"_identityRegistry","type":"address"},{"internalType":"address","name":"_compliance","type":"address"}],"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":false,"internalType":"string","name":"projectInfo","type":"string"},{"indexed":false,"internalType":"string","name":"companyDetails","type":"string"}],"name":"MetadataUpdated","type":"event"},{"anonymous":false,"inputs":[],"name":"MigrationDisabled","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"target","type":"address"}],"name":"MigrationEnabled","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"account","type":"address"},{"indexed":false,"internalType":"uint256","name":"amount","type":"uint256"}],"name":"TokensMigrated","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":"","type":"address"},{"internalType":"address","name":"","type":"address"}],"name":"allowance","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"spender","type":"address"},{"internalType":"uint256","name":"value","type":"uint256"}],"name":"approve","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"","type":"address"}],"name":"balanceOf","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"compliance","outputs":[{"internalType":"contract ICompliance","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"decimals","outputs":[{"internalType":"uint8","name":"","type":"uint8"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"disableMigration","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"target","type":"address"}],"name":"enableMigration","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"getMetadata","outputs":[{"internalType":"string","name":"projectInfo","type":"string"},{"internalType":"string","name":"companyDetails","type":"string"},{"internalType":"string","name":"tokenClass","type":"string"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"getTokenInfo","outputs":[{"internalType":"string","name":"class","type":"string"},{"internalType":"string","name":"version","type":"string"},{"internalType":"string","name":"company","type":"string"}],"stateMutability":"pure","type":"function"},{"inputs":[],"name":"identityRegistry","outputs":[{"internalType":"contract IIdentityRegistry","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"migrate","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"migrationActive","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"migrationTarget","outputs":[{"internalType":"address","name":"","type":"address"}],"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":[],"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":"value","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":"value","type":"uint256"}],"name":"transferFrom","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"string","name":"newProjectInfo","type":"string"},{"internalType":"string","name":"newCompanyDetails","type":"string"}],"name":"updateMetadata","outputs":[],"stateMutability":"nonpayable","type":"function"}]

608060405260405180606001604052806034815260200162003383603491395f90816200002d919062000627565b506040518060400160405280600581526020017f534d5052440000000000000000000000000000000000000000000000000000008152506001908162000074919062000627565b50601260025f6101000a81548160ff021916908360ff1602179055503480156200009c575f80fd5b50604051620033b7380380620033b78339818101604052810190620000c2919062000770565b73af2587b7e09d7816fc0867ea3a8b3058bbaaa16f60065f6101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055508160075f6101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055508060085f6101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055505f60025f9054906101000a900460ff1660ff16600a620001b7919062000932565b63015ef3c0620001c8919062000982565b9050620001fd60065f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff16826200027860201b60201c565b6040518060600160405280603c815260200162003347603c91396009908162000227919062000627565b506040518060400160405280601081526020017f554b2046696e616e6369616c204c746400000000000000000000000000000000815250600a90816200026e919062000627565b5050505062000ab0565b5f73ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff1603620002e9576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401620002e09062000a2a565b60405180910390fd5b8060045f8473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f82825462000337919062000a4a565b925050819055508060035f82825462000351919062000a4a565b925050819055508173ffffffffffffffffffffffffffffffffffffffff165f73ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef83604051620003b7919062000a95565b60405180910390a35050565b5f81519050919050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52604160045260245ffd5b7f4e487b71000000000000000000000000000000000000000000000000000000005f52602260045260245ffd5b5f60028204905060018216806200043f57607f821691505b602082108103620004555762000454620003fa565b5b50919050565b5f819050815f5260205f209050919050565b5f6020601f8301049050919050565b5f82821b905092915050565b5f60088302620004b97fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff826200047c565b620004c586836200047c565b95508019841693508086168417925050509392505050565b5f819050919050565b5f819050919050565b5f6200050f620005096200050384620004dd565b620004e6565b620004dd565b9050919050565b5f819050919050565b6200052a83620004ef565b62000542620005398262000516565b84845462000488565b825550505050565b5f90565b620005586200054a565b620005658184846200051f565b505050565b5b818110156200058c57620005805f826200054e565b6001810190506200056b565b5050565b601f821115620005db57620005a5816200045b565b620005b0846200046d565b81016020851015620005c0578190505b620005d8620005cf856200046d565b8301826200056a565b50505b505050565b5f82821c905092915050565b5f620005fd5f1984600802620005e0565b1980831691505092915050565b5f620006178383620005ec565b9150826002028217905092915050565b6200063282620003c3565b67ffffffffffffffff8111156200064e576200064d620003cd565b5b6200065a825462000427565b6200066782828562000590565b5f60209050601f8311600181146200069d575f841562000688578287015190505b6200069485826200060a565b86555062000703565b601f198416620006ad866200045b565b5f5b82811015620006d657848901518255600182019150602085019450602081019050620006af565b86831015620006f65784890151620006f2601f891682620005ec565b8355505b6001600288020188555050505b505050505050565b5f80fd5b5f73ffffffffffffffffffffffffffffffffffffffff82169050919050565b5f6200073a826200070f565b9050919050565b6200074c816200072e565b811462000757575f80fd5b50565b5f815190506200076a8162000741565b92915050565b5f80604083850312156200078957620007886200070b565b5b5f62000798858286016200075a565b9250506020620007ab858286016200075a565b9150509250929050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52601160045260245ffd5b5f8160011c9050919050565b5f808291508390505b60018511156200083f57808604811115620008175762000816620007b5565b5b6001851615620008275780820291505b80810290506200083785620007e2565b9450620007f7565b94509492505050565b5f826200085957600190506200092b565b8162000868575f90506200092b565b81600181146200088157600281146200088c57620008c2565b60019150506200092b565b60ff841115620008a157620008a0620007b5565b5b8360020a915084821115620008bb57620008ba620007b5565b5b506200092b565b5060208310610133831016604e8410600b8410161715620008fc5782820a905083811115620008f657620008f5620007b5565b5b6200092b565b6200090b8484846001620007ee565b92509050818404811115620009255762000924620007b5565b5b81810290505b9392505050565b5f6200093e82620004dd565b91506200094b83620004dd565b92506200097a7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff848462000848565b905092915050565b5f6200098e82620004dd565b91506200099b83620004dd565b9250828202620009ab81620004dd565b91508282048414831517620009c557620009c4620007b5565b5b5092915050565b5f82825260208201905092915050565b7f496e76616c6964206164647265737300000000000000000000000000000000005f82015250565b5f62000a12600f83620009cc565b915062000a1f82620009dc565b602082019050919050565b5f6020820190508181035f83015262000a438162000a04565b9050919050565b5f62000a5682620004dd565b915062000a6383620004dd565b925082820190508082111562000a7e5762000a7d620007b5565b5b92915050565b62000a8f81620004dd565b82525050565b5f60208201905062000aaa5f83018462000a84565b92915050565b6128898062000abe5f395ff3fe608060405234801561000f575f80fd5b506004361061012a575f3560e01c80637a5b4f59116100ab57806395d89b411161006f57806395d89b4114610310578063a9059cbb1461032e578063abb1dc441461035e578063adf5e30c1461037e578063dd62ed3e146103885761012a565b80637a5b4f591461028e5780638da5cb5b146102ae5780638ed6b016146102cc5780638fd3ab80146102ea5780639457c1dc146102f45761012a565b8063313ce567116100f2578063313ce567146101e857806356ce0e6c146102065780635b51acff146102225780636290865d1461024057806370a082311461025e5761012a565b806306fdde031461012e578063095ea7b31461014c578063134e18f41461017c57806318160ddd1461019a57806323b872dd146101b8575b5f80fd5b6101366103b8565b60405161014391906119f4565b60405180910390f35b61016660048036038101906101619190611ab2565b610443565b6040516101739190611b0a565b60405180910390f35b61018461059e565b6040516101919190611b7e565b60405180910390f35b6101a26105c3565b6040516101af9190611ba6565b60405180910390f35b6101d260048036038101906101cd9190611bbf565b6105c9565b6040516101df9190611b0a565b60405180910390f35b6101f0610ba3565b6040516101fd9190611c2a565b60405180910390f35b610220600480360381019061021b9190611d6f565b610bb5565b005b61022a610ca1565b6040516102379190611df4565b60405180910390f35b610248610cc6565b6040516102559190611e2d565b60405180910390f35b61027860048036038101906102739190611e46565b610ceb565b6040516102859190611ba6565b60405180910390f35b610296610d00565b6040516102a593929190611e71565b60405180910390f35b6102b6610e5e565b6040516102c39190611df4565b60405180910390f35b6102d4610e83565b6040516102e19190611b0a565b60405180910390f35b6102f2610e96565b005b61030e60048036038101906103099190611e46565b611107565b005b6103186112a5565b60405161032591906119f4565b60405180910390f35b61034860048036038101906103439190611ab2565b611331565b6040516103559190611b0a565b60405180910390f35b6103666117c1565b60405161037593929190611e71565b60405180910390f35b610386611873565b005b6103a2600480360381019061039d9190611ebb565b61194a565b6040516103af9190611ba6565b60405180910390f35b5f80546103c490611f26565b80601f01602080910402602001604051908101604052809291908181526020018280546103f090611f26565b801561043b5780601f106104125761010080835404028352916020019161043b565b820191905f5260205f20905b81548152906001019060200180831161041e57829003601f168201915b505050505081565b5f8073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff16036104b2576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016104a990611fa0565b60405180910390fd5b8160055f3373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f8573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20819055508273ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b9258460405161058c9190611ba6565b60405180910390a36001905092915050565b60075f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b60035481565b5f60075f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1663b9209e33856040518263ffffffff1660e01b81526004016106249190611df4565b602060405180830381865afa15801561063f573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906106639190611fe8565b6106a2576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016106999061205d565b60405180910390fd5b60075f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1663b9209e33846040518263ffffffff1660e01b81526004016106fc9190611df4565b602060405180830381865afa158015610717573d5f803e3d5ffd5b505050506040513d601f19601f8201168201806040525081019061073b9190611fe8565b61077a576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610771906120c5565b60405180910390fd5b60085f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1663e46638e68585856040518463ffffffff1660e01b81526004016107d8939291906120e3565b602060405180830381865afa1580156107f3573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906108179190611fe8565b610856576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161084d90612162565b60405180910390fd5b8160045f8673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205410156108d6576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016108cd906121ca565b60405180910390fd5b8160055f8673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f3373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20541015610991576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161098890612232565b60405180910390fd5b5f73ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff16036109ff576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016109f690611fa0565b60405180910390fd5b8160055f8673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f3373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f828254610a86919061227d565b925050819055508160045f8673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f828254610ad9919061227d565b925050819055508160045f8573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f828254610b2c91906122b0565b925050819055508273ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef84604051610b909190611ba6565b60405180910390a3600190509392505050565b60025f9054906101000a900460ff1681565b60065f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1614610c44576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610c3b9061232d565b60405180910390fd5b8160099081610c5391906124df565b5080600a9081610c6391906124df565b507f30f5c4b652f95e2a697bda3258896c421eee4f29adce8fe38060f47f7aed91ad8282604051610c959291906125ae565b60405180910390a15050565b600b5f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b60085f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b6004602052805f5260405f205f915090505481565b60608060606009600a6040518060400160405280600681526020017f436f6d6d6f6e0000000000000000000000000000000000000000000000000000815250828054610d4b90611f26565b80601f0160208091040260200160405190810160405280929190818152602001828054610d7790611f26565b8015610dc25780601f10610d9957610100808354040283529160200191610dc2565b820191905f5260205f20905b815481529060010190602001808311610da557829003601f168201915b50505050509250818054610dd590611f26565b80601f0160208091040260200160405190810160405280929190818152602001828054610e0190611f26565b8015610e4c5780601f10610e2357610100808354040283529160200191610e4c565b820191905f5260205f20905b815481529060010190602001808311610e2f57829003601f168201915b50505050509150925092509250909192565b60065f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b600b60149054906101000a900460ff1681565b600b60149054906101000a900460ff16610ee5576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610edc9061262d565b60405180910390fd5b5f73ffffffffffffffffffffffffffffffffffffffff16600b5f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1603610f74576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610f6b90612695565b60405180910390fd5b5f60045f3373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205490505f8111610ff7576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610fee906126fd565b60405180910390fd5b5f60045f3373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20819055508060035f82825461104a919061227d565b925050819055505f73ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef836040516110ae9190611ba6565b60405180910390a33373ffffffffffffffffffffffffffffffffffffffff167f2558d4091fc8e966ac64668ecbe596974579c9f0e5b2e11d94d1469934ab5fd8826040516110fc9190611ba6565b60405180910390a250565b60065f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1614611196576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161118d9061232d565b60405180910390fd5b5f73ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff1603611204576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016111fb90612765565b60405180910390fd5b80600b5f6101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055506001600b60146101000a81548160ff0219169083151502179055508073ffffffffffffffffffffffffffffffffffffffff167ff8cb72b93188da0cf41cc6a23978cb1faee80e70bd3c6bdf0a9301728474544260405160405180910390a250565b600180546112b290611f26565b80601f01602080910402602001604051908101604052809291908181526020018280546112de90611f26565b80156113295780601f1061130057610100808354040283529160200191611329565b820191905f5260205f20905b81548152906001019060200180831161130c57829003601f168201915b505050505081565b5f60075f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1663b9209e33336040518263ffffffff1660e01b815260040161138c9190611df4565b602060405180830381865afa1580156113a7573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906113cb9190611fe8565b61140a576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401611401906127cd565b60405180910390fd5b60075f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1663b9209e33846040518263ffffffff1660e01b81526004016114649190611df4565b602060405180830381865afa15801561147f573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906114a39190611fe8565b6114e2576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016114d990612835565b60405180910390fd5b60085f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1663e46638e63385856040518463ffffffff1660e01b8152600401611540939291906120e3565b602060405180830381865afa15801561155b573d5f803e3d5ffd5b505050506040513d601f19601f8201168201806040525081019061157f9190611fe8565b6115be576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016115b590612162565b60405180910390fd5b8160045f3373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f2054101561163e576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401611635906121ca565b60405180910390fd5b5f73ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff16036116ac576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016116a390611fa0565b60405180910390fd5b8160045f3373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f8282546116f8919061227d565b925050819055508160045f8573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f82825461174b91906122b0565b925050819055508273ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef846040516117af9190611ba6565b60405180910390a36001905092915050565b60608060606040518060400160405280600681526020017f436f6d6d6f6e00000000000000000000000000000000000000000000000000008152506040518060400160405280600581526020017f322e302e300000000000000000000000000000000000000000000000000000008152506040518060400160405280601081526020017f554b2046696e616e6369616c204c746400000000000000000000000000000000815250925092509250909192565b60065f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1614611902576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016118f99061232d565b60405180910390fd5b5f600b60146101000a81548160ff0219169083151502179055507f1e6a33fba02a1ba779412a9af0a34aeb4a9e66b0a93b9ad1247b03c544ce2ab060405160405180910390a1565b6005602052815f5260405f20602052805f5260405f205f91509150505481565b5f81519050919050565b5f82825260208201905092915050565b5f5b838110156119a1578082015181840152602081019050611986565b5f8484015250505050565b5f601f19601f8301169050919050565b5f6119c68261196a565b6119d08185611974565b93506119e0818560208601611984565b6119e9816119ac565b840191505092915050565b5f6020820190508181035f830152611a0c81846119bc565b905092915050565b5f604051905090565b5f80fd5b5f80fd5b5f73ffffffffffffffffffffffffffffffffffffffff82169050919050565b5f611a4e82611a25565b9050919050565b611a5e81611a44565b8114611a68575f80fd5b50565b5f81359050611a7981611a55565b92915050565b5f819050919050565b611a9181611a7f565b8114611a9b575f80fd5b50565b5f81359050611aac81611a88565b92915050565b5f8060408385031215611ac857611ac7611a1d565b5b5f611ad585828601611a6b565b9250506020611ae685828601611a9e565b9150509250929050565b5f8115159050919050565b611b0481611af0565b82525050565b5f602082019050611b1d5f830184611afb565b92915050565b5f819050919050565b5f611b46611b41611b3c84611a25565b611b23565b611a25565b9050919050565b5f611b5782611b2c565b9050919050565b5f611b6882611b4d565b9050919050565b611b7881611b5e565b82525050565b5f602082019050611b915f830184611b6f565b92915050565b611ba081611a7f565b82525050565b5f602082019050611bb95f830184611b97565b92915050565b5f805f60608486031215611bd657611bd5611a1d565b5b5f611be386828701611a6b565b9350506020611bf486828701611a6b565b9250506040611c0586828701611a9e565b9150509250925092565b5f60ff82169050919050565b611c2481611c0f565b82525050565b5f602082019050611c3d5f830184611c1b565b92915050565b5f80fd5b5f80fd5b7f4e487b71000000000000000000000000000000000000000000000000000000005f52604160045260245ffd5b611c81826119ac565b810181811067ffffffffffffffff82111715611ca057611c9f611c4b565b5b80604052505050565b5f611cb2611a14565b9050611cbe8282611c78565b919050565b5f67ffffffffffffffff821115611cdd57611cdc611c4b565b5b611ce6826119ac565b9050602081019050919050565b828183375f83830152505050565b5f611d13611d0e84611cc3565b611ca9565b905082815260208101848484011115611d2f57611d2e611c47565b5b611d3a848285611cf3565b509392505050565b5f82601f830112611d5657611d55611c43565b5b8135611d66848260208601611d01565b91505092915050565b5f8060408385031215611d8557611d84611a1d565b5b5f83013567ffffffffffffffff811115611da257611da1611a21565b5b611dae85828601611d42565b925050602083013567ffffffffffffffff811115611dcf57611dce611a21565b5b611ddb85828601611d42565b9150509250929050565b611dee81611a44565b82525050565b5f602082019050611e075f830184611de5565b92915050565b5f611e1782611b4d565b9050919050565b611e2781611e0d565b82525050565b5f602082019050611e405f830184611e1e565b92915050565b5f60208284031215611e5b57611e5a611a1d565b5b5f611e6884828501611a6b565b91505092915050565b5f6060820190508181035f830152611e8981866119bc565b90508181036020830152611e9d81856119bc565b90508181036040830152611eb181846119bc565b9050949350505050565b5f8060408385031215611ed157611ed0611a1d565b5b5f611ede85828601611a6b565b9250506020611eef85828601611a6b565b9150509250929050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52602260045260245ffd5b5f6002820490506001821680611f3d57607f821691505b602082108103611f5057611f4f611ef9565b5b50919050565b7f496e76616c6964206164647265737300000000000000000000000000000000005f82015250565b5f611f8a600f83611974565b9150611f9582611f56565b602082019050919050565b5f6020820190508181035f830152611fb781611f7e565b9050919050565b611fc781611af0565b8114611fd1575f80fd5b50565b5f81519050611fe281611fbe565b92915050565b5f60208284031215611ffd57611ffc611a1d565b5b5f61200a84828501611fd4565b91505092915050565b7f46726f6d206e6f742076657269666965640000000000000000000000000000005f82015250565b5f612047601183611974565b915061205282612013565b602082019050919050565b5f6020820190508181035f8301526120748161203b565b9050919050565b7f546f206e6f7420766572696669656400000000000000000000000000000000005f82015250565b5f6120af600f83611974565b91506120ba8261207b565b602082019050919050565b5f6020820190508181035f8301526120dc816120a3565b9050919050565b5f6060820190506120f65f830186611de5565b6121036020830185611de5565b6121106040830184611b97565b949350505050565b7f5472616e7366657220626c6f636b656420627920636f6d706c69616e636500005f82015250565b5f61214c601e83611974565b915061215782612118565b602082019050919050565b5f6020820190508181035f83015261217981612140565b9050919050565b7f496e73756666696369656e742062616c616e63650000000000000000000000005f82015250565b5f6121b4601483611974565b91506121bf82612180565b602082019050919050565b5f6020820190508181035f8301526121e1816121a8565b9050919050565b7f4e6f7420616c6c6f7765640000000000000000000000000000000000000000005f82015250565b5f61221c600b83611974565b9150612227826121e8565b602082019050919050565b5f6020820190508181035f83015261224981612210565b9050919050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52601160045260245ffd5b5f61228782611a7f565b915061229283611a7f565b92508282039050818111156122aa576122a9612250565b5b92915050565b5f6122ba82611a7f565b91506122c583611a7f565b92508282019050808211156122dd576122dc612250565b5b92915050565b7f4e6f74206f776e657200000000000000000000000000000000000000000000005f82015250565b5f612317600983611974565b9150612322826122e3565b602082019050919050565b5f6020820190508181035f8301526123448161230b565b9050919050565b5f819050815f5260205f209050919050565b5f6020601f8301049050919050565b5f82821b905092915050565b5f600883026123a77fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff8261236c565b6123b1868361236c565b95508019841693508086168417925050509392505050565b5f6123e36123de6123d984611a7f565b611b23565b611a7f565b9050919050565b5f819050919050565b6123fc836123c9565b612410612408826123ea565b848454612378565b825550505050565b5f90565b612424612418565b61242f8184846123f3565b505050565b5b81811015612452576124475f8261241c565b600181019050612435565b5050565b601f821115612497576124688161234b565b6124718461235d565b81016020851015612480578190505b61249461248c8561235d565b830182612434565b50505b505050565b5f82821c905092915050565b5f6124b75f198460080261249c565b1980831691505092915050565b5f6124cf83836124a8565b9150826002028217905092915050565b6124e88261196a565b67ffffffffffffffff81111561250157612500611c4b565b5b61250b8254611f26565b612516828285612456565b5f60209050601f831160018114612547575f8415612535578287015190505b61253f85826124c4565b8655506125a6565b601f1984166125558661234b565b5f5b8281101561257c57848901518255600182019150602085019450602081019050612557565b868310156125995784890151612595601f8916826124a8565b8355505b6001600288020188555050505b505050505050565b5f6040820190508181035f8301526125c681856119bc565b905081810360208301526125da81846119bc565b90509392505050565b7f4d6967726174696f6e206e6f74206163746976650000000000000000000000005f82015250565b5f612617601483611974565b9150612622826125e3565b602082019050919050565b5f6020820190508181035f8301526126448161260b565b9050919050565b7f4e6f206d6967726174696f6e20746172676574000000000000000000000000005f82015250565b5f61267f601383611974565b915061268a8261264b565b602082019050919050565b5f6020820190508181035f8301526126ac81612673565b9050919050565b7f4e6f20746f6b656e7320746f206d6967726174650000000000000000000000005f82015250565b5f6126e7601483611974565b91506126f2826126b3565b602082019050919050565b5f6020820190508181035f830152612714816126db565b9050919050565b7f496e76616c6964206d6967726174696f6e2074617267657400000000000000005f82015250565b5f61274f601883611974565b915061275a8261271b565b602082019050919050565b5f6020820190508181035f83015261277c81612743565b9050919050565b7f53656e646572206e6f74207665726966696564000000000000000000000000005f82015250565b5f6127b7601383611974565b91506127c282612783565b602082019050919050565b5f6020820190508181035f8301526127e4816127ab565b9050919050565b7f526563697069656e74206e6f74207665726966696564000000000000000000005f82015250565b5f61281f601683611974565b915061282a826127eb565b602082019050919050565b5f6020820190508181035f83015261284c81612813565b905091905056fea26469706673582212203106728f8c16bd5f46be4256e027550594db290ea910b2f62f894c035a8bd28e64736f6c634300081400334d6179612050726566657272656420436f6d6d6f6e20436c61737320526567756c6174656420536563757269747920546f6b656e2028534d505244294d6179612050726566657272656420436f6d6d6f6e20436c61737320526567756c6174656420536563757269747920546f6b656e00000000000000000000000047cb05f7b6b3cf80ef43020dc8236cf6781c4bda0000000000000000000000009c6b2631abea6ef9a6152ab472e5fe8499a54c33

0x608060405234801561000f575f80fd5b506004361061012a575f3560e01c80637a5b4f59116100ab57806395d89b411161006f57806395d89b4114610310578063a9059cbb1461032e578063abb1dc441461035e578063adf5e30c1461037e578063dd62ed3e146103885761012a565b80637a5b4f591461028e5780638da5cb5b146102ae5780638ed6b016146102cc5780638fd3ab80146102ea5780639457c1dc146102f45761012a565b8063313ce567116100f2578063313ce567146101e857806356ce0e6c146102065780635b51acff146102225780636290865d1461024057806370a082311461025e5761012a565b806306fdde031461012e578063095ea7b31461014c578063134e18f41461017c57806318160ddd1461019a57806323b872dd146101b8575b5f80fd5b6101366103b8565b60405161014391906119f4565b60405180910390f35b61016660048036038101906101619190611ab2565b610443565b6040516101739190611b0a565b60405180910390f35b61018461059e565b6040516101919190611b7e565b60405180910390f35b6101a26105c3565b6040516101af9190611ba6565b60405180910390f35b6101d260048036038101906101cd9190611bbf565b6105c9565b6040516101df9190611b0a565b60405180910390f35b6101f0610ba3565b6040516101fd9190611c2a565b60405180910390f35b610220600480360381019061021b9190611d6f565b610bb5565b005b61022a610ca1565b6040516102379190611df4565b60405180910390f35b610248610cc6565b6040516102559190611e2d565b60405180910390f35b61027860048036038101906102739190611e46565b610ceb565b6040516102859190611ba6565b60405180910390f35b610296610d00565b6040516102a593929190611e71565b60405180910390f35b6102b6610e5e565b6040516102c39190611df4565b60405180910390f35b6102d4610e83565b6040516102e19190611b0a565b60405180910390f35b6102f2610e96565b005b61030e60048036038101906103099190611e46565b611107565b005b6103186112a5565b60405161032591906119f4565b60405180910390f35b61034860048036038101906103439190611ab2565b611331565b6040516103559190611b0a565b60405180910390f35b6103666117c1565b60405161037593929190611e71565b60405180910390f35b610386611873565b005b6103a2600480360381019061039d9190611ebb565b61194a565b6040516103af9190611ba6565b60405180910390f35b5f80546103c490611f26565b80601f01602080910402602001604051908101604052809291908181526020018280546103f090611f26565b801561043b5780601f106104125761010080835404028352916020019161043b565b820191905f5260205f20905b81548152906001019060200180831161041e57829003601f168201915b505050505081565b5f8073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff16036104b2576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016104a990611fa0565b60405180910390fd5b8160055f3373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f8573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20819055508273ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b9258460405161058c9190611ba6565b60405180910390a36001905092915050565b60075f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b60035481565b5f60075f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1663b9209e33856040518263ffffffff1660e01b81526004016106249190611df4565b602060405180830381865afa15801561063f573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906106639190611fe8565b6106a2576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016106999061205d565b60405180910390fd5b60075f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1663b9209e33846040518263ffffffff1660e01b81526004016106fc9190611df4565b602060405180830381865afa158015610717573d5f803e3d5ffd5b505050506040513d601f19601f8201168201806040525081019061073b9190611fe8565b61077a576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610771906120c5565b60405180910390fd5b60085f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1663e46638e68585856040518463ffffffff1660e01b81526004016107d8939291906120e3565b602060405180830381865afa1580156107f3573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906108179190611fe8565b610856576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161084d90612162565b60405180910390fd5b8160045f8673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205410156108d6576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016108cd906121ca565b60405180910390fd5b8160055f8673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f3373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20541015610991576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161098890612232565b60405180910390fd5b5f73ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff16036109ff576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016109f690611fa0565b60405180910390fd5b8160055f8673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f3373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f828254610a86919061227d565b925050819055508160045f8673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f828254610ad9919061227d565b925050819055508160045f8573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f828254610b2c91906122b0565b925050819055508273ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef84604051610b909190611ba6565b60405180910390a3600190509392505050565b60025f9054906101000a900460ff1681565b60065f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1614610c44576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610c3b9061232d565b60405180910390fd5b8160099081610c5391906124df565b5080600a9081610c6391906124df565b507f30f5c4b652f95e2a697bda3258896c421eee4f29adce8fe38060f47f7aed91ad8282604051610c959291906125ae565b60405180910390a15050565b600b5f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b60085f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b6004602052805f5260405f205f915090505481565b60608060606009600a6040518060400160405280600681526020017f436f6d6d6f6e0000000000000000000000000000000000000000000000000000815250828054610d4b90611f26565b80601f0160208091040260200160405190810160405280929190818152602001828054610d7790611f26565b8015610dc25780601f10610d9957610100808354040283529160200191610dc2565b820191905f5260205f20905b815481529060010190602001808311610da557829003601f168201915b50505050509250818054610dd590611f26565b80601f0160208091040260200160405190810160405280929190818152602001828054610e0190611f26565b8015610e4c5780601f10610e2357610100808354040283529160200191610e4c565b820191905f5260205f20905b815481529060010190602001808311610e2f57829003601f168201915b50505050509150925092509250909192565b60065f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b600b60149054906101000a900460ff1681565b600b60149054906101000a900460ff16610ee5576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610edc9061262d565b60405180910390fd5b5f73ffffffffffffffffffffffffffffffffffffffff16600b5f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1603610f74576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610f6b90612695565b60405180910390fd5b5f60045f3373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205490505f8111610ff7576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610fee906126fd565b60405180910390fd5b5f60045f3373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20819055508060035f82825461104a919061227d565b925050819055505f73ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef836040516110ae9190611ba6565b60405180910390a33373ffffffffffffffffffffffffffffffffffffffff167f2558d4091fc8e966ac64668ecbe596974579c9f0e5b2e11d94d1469934ab5fd8826040516110fc9190611ba6565b60405180910390a250565b60065f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1614611196576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161118d9061232d565b60405180910390fd5b5f73ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff1603611204576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016111fb90612765565b60405180910390fd5b80600b5f6101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055506001600b60146101000a81548160ff0219169083151502179055508073ffffffffffffffffffffffffffffffffffffffff167ff8cb72b93188da0cf41cc6a23978cb1faee80e70bd3c6bdf0a9301728474544260405160405180910390a250565b600180546112b290611f26565b80601f01602080910402602001604051908101604052809291908181526020018280546112de90611f26565b80156113295780601f1061130057610100808354040283529160200191611329565b820191905f5260205f20905b81548152906001019060200180831161130c57829003601f168201915b505050505081565b5f60075f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1663b9209e33336040518263ffffffff1660e01b815260040161138c9190611df4565b602060405180830381865afa1580156113a7573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906113cb9190611fe8565b61140a576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401611401906127cd565b60405180910390fd5b60075f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1663b9209e33846040518263ffffffff1660e01b81526004016114649190611df4565b602060405180830381865afa15801561147f573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906114a39190611fe8565b6114e2576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016114d990612835565b60405180910390fd5b60085f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1663e46638e63385856040518463ffffffff1660e01b8152600401611540939291906120e3565b602060405180830381865afa15801561155b573d5f803e3d5ffd5b505050506040513d601f19601f8201168201806040525081019061157f9190611fe8565b6115be576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016115b590612162565b60405180910390fd5b8160045f3373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f2054101561163e576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401611635906121ca565b60405180910390fd5b5f73ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff16036116ac576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016116a390611fa0565b60405180910390fd5b8160045f3373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f8282546116f8919061227d565b925050819055508160045f8573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f82825461174b91906122b0565b925050819055508273ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef846040516117af9190611ba6565b60405180910390a36001905092915050565b60608060606040518060400160405280600681526020017f436f6d6d6f6e00000000000000000000000000000000000000000000000000008152506040518060400160405280600581526020017f322e302e300000000000000000000000000000000000000000000000000000008152506040518060400160405280601081526020017f554b2046696e616e6369616c204c746400000000000000000000000000000000815250925092509250909192565b60065f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1614611902576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016118f99061232d565b60405180910390fd5b5f600b60146101000a81548160ff0219169083151502179055507f1e6a33fba02a1ba779412a9af0a34aeb4a9e66b0a93b9ad1247b03c544ce2ab060405160405180910390a1565b6005602052815f5260405f20602052805f5260405f205f91509150505481565b5f81519050919050565b5f82825260208201905092915050565b5f5b838110156119a1578082015181840152602081019050611986565b5f8484015250505050565b5f601f19601f8301169050919050565b5f6119c68261196a565b6119d08185611974565b93506119e0818560208601611984565b6119e9816119ac565b840191505092915050565b5f6020820190508181035f830152611a0c81846119bc565b905092915050565b5f604051905090565b5f80fd5b5f80fd5b5f73ffffffffffffffffffffffffffffffffffffffff82169050919050565b5f611a4e82611a25565b9050919050565b611a5e81611a44565b8114611a68575f80fd5b50565b5f81359050611a7981611a55565b92915050565b5f819050919050565b611a9181611a7f565b8114611a9b575f80fd5b50565b5f81359050611aac81611a88565b92915050565b5f8060408385031215611ac857611ac7611a1d565b5b5f611ad585828601611a6b565b9250506020611ae685828601611a9e565b9150509250929050565b5f8115159050919050565b611b0481611af0565b82525050565b5f602082019050611b1d5f830184611afb565b92915050565b5f819050919050565b5f611b46611b41611b3c84611a25565b611b23565b611a25565b9050919050565b5f611b5782611b2c565b9050919050565b5f611b6882611b4d565b9050919050565b611b7881611b5e565b82525050565b5f602082019050611b915f830184611b6f565b92915050565b611ba081611a7f565b82525050565b5f602082019050611bb95f830184611b97565b92915050565b5f805f60608486031215611bd657611bd5611a1d565b5b5f611be386828701611a6b565b9350506020611bf486828701611a6b565b9250506040611c0586828701611a9e565b9150509250925092565b5f60ff82169050919050565b611c2481611c0f565b82525050565b5f602082019050611c3d5f830184611c1b565b92915050565b5f80fd5b5f80fd5b7f4e487b71000000000000000000000000000000000000000000000000000000005f52604160045260245ffd5b611c81826119ac565b810181811067ffffffffffffffff82111715611ca057611c9f611c4b565b5b80604052505050565b5f611cb2611a14565b9050611cbe8282611c78565b919050565b5f67ffffffffffffffff821115611cdd57611cdc611c4b565b5b611ce6826119ac565b9050602081019050919050565b828183375f83830152505050565b5f611d13611d0e84611cc3565b611ca9565b905082815260208101848484011115611d2f57611d2e611c47565b5b611d3a848285611cf3565b509392505050565b5f82601f830112611d5657611d55611c43565b5b8135611d66848260208601611d01565b91505092915050565b5f8060408385031215611d8557611d84611a1d565b5b5f83013567ffffffffffffffff811115611da257611da1611a21565b5b611dae85828601611d42565b925050602083013567ffffffffffffffff811115611dcf57611dce611a21565b5b611ddb85828601611d42565b9150509250929050565b611dee81611a44565b82525050565b5f602082019050611e075f830184611de5565b92915050565b5f611e1782611b4d565b9050919050565b611e2781611e0d565b82525050565b5f602082019050611e405f830184611e1e565b92915050565b5f60208284031215611e5b57611e5a611a1d565b5b5f611e6884828501611a6b565b91505092915050565b5f6060820190508181035f830152611e8981866119bc565b90508181036020830152611e9d81856119bc565b90508181036040830152611eb181846119bc565b9050949350505050565b5f8060408385031215611ed157611ed0611a1d565b5b5f611ede85828601611a6b565b9250506020611eef85828601611a6b565b9150509250929050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52602260045260245ffd5b5f6002820490506001821680611f3d57607f821691505b602082108103611f5057611f4f611ef9565b5b50919050565b7f496e76616c6964206164647265737300000000000000000000000000000000005f82015250565b5f611f8a600f83611974565b9150611f9582611f56565b602082019050919050565b5f6020820190508181035f830152611fb781611f7e565b9050919050565b611fc781611af0565b8114611fd1575f80fd5b50565b5f81519050611fe281611fbe565b92915050565b5f60208284031215611ffd57611ffc611a1d565b5b5f61200a84828501611fd4565b91505092915050565b7f46726f6d206e6f742076657269666965640000000000000000000000000000005f82015250565b5f612047601183611974565b915061205282612013565b602082019050919050565b5f6020820190508181035f8301526120748161203b565b9050919050565b7f546f206e6f7420766572696669656400000000000000000000000000000000005f82015250565b5f6120af600f83611974565b91506120ba8261207b565b602082019050919050565b5f6020820190508181035f8301526120dc816120a3565b9050919050565b5f6060820190506120f65f830186611de5565b6121036020830185611de5565b6121106040830184611b97565b949350505050565b7f5472616e7366657220626c6f636b656420627920636f6d706c69616e636500005f82015250565b5f61214c601e83611974565b915061215782612118565b602082019050919050565b5f6020820190508181035f83015261217981612140565b9050919050565b7f496e73756666696369656e742062616c616e63650000000000000000000000005f82015250565b5f6121b4601483611974565b91506121bf82612180565b602082019050919050565b5f6020820190508181035f8301526121e1816121a8565b9050919050565b7f4e6f7420616c6c6f7765640000000000000000000000000000000000000000005f82015250565b5f61221c600b83611974565b9150612227826121e8565b602082019050919050565b5f6020820190508181035f83015261224981612210565b9050919050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52601160045260245ffd5b5f61228782611a7f565b915061229283611a7f565b92508282039050818111156122aa576122a9612250565b5b92915050565b5f6122ba82611a7f565b91506122c583611a7f565b92508282019050808211156122dd576122dc612250565b5b92915050565b7f4e6f74206f776e657200000000000000000000000000000000000000000000005f82015250565b5f612317600983611974565b9150612322826122e3565b602082019050919050565b5f6020820190508181035f8301526123448161230b565b9050919050565b5f819050815f5260205f209050919050565b5f6020601f8301049050919050565b5f82821b905092915050565b5f600883026123a77fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff8261236c565b6123b1868361236c565b95508019841693508086168417925050509392505050565b5f6123e36123de6123d984611a7f565b611b23565b611a7f565b9050919050565b5f819050919050565b6123fc836123c9565b612410612408826123ea565b848454612378565b825550505050565b5f90565b612424612418565b61242f8184846123f3565b505050565b5b81811015612452576124475f8261241c565b600181019050612435565b5050565b601f821115612497576124688161234b565b6124718461235d565b81016020851015612480578190505b61249461248c8561235d565b830182612434565b50505b505050565b5f82821c905092915050565b5f6124b75f198460080261249c565b1980831691505092915050565b5f6124cf83836124a8565b9150826002028217905092915050565b6124e88261196a565b67ffffffffffffffff81111561250157612500611c4b565b5b61250b8254611f26565b612516828285612456565b5f60209050601f831160018114612547575f8415612535578287015190505b61253f85826124c4565b8655506125a6565b601f1984166125558661234b565b5f5b8281101561257c57848901518255600182019150602085019450602081019050612557565b868310156125995784890151612595601f8916826124a8565b8355505b6001600288020188555050505b505050505050565b5f6040820190508181035f8301526125c681856119bc565b905081810360208301526125da81846119bc565b90509392505050565b7f4d6967726174696f6e206e6f74206163746976650000000000000000000000005f82015250565b5f612617601483611974565b9150612622826125e3565b602082019050919050565b5f6020820190508181035f8301526126448161260b565b9050919050565b7f4e6f206d6967726174696f6e20746172676574000000000000000000000000005f82015250565b5f61267f601383611974565b915061268a8261264b565b602082019050919050565b5f6020820190508181035f8301526126ac81612673565b9050919050565b7f4e6f20746f6b656e7320746f206d6967726174650000000000000000000000005f82015250565b5f6126e7601483611974565b91506126f2826126b3565b602082019050919050565b5f6020820190508181035f830152612714816126db565b9050919050565b7f496e76616c6964206d6967726174696f6e2074617267657400000000000000005f82015250565b5f61274f601883611974565b915061275a8261271b565b602082019050919050565b5f6020820190508181035f83015261277c81612743565b9050919050565b7f53656e646572206e6f74207665726966696564000000000000000000000000005f82015250565b5f6127b7601383611974565b91506127c282612783565b602082019050919050565b5f6020820190508181035f8301526127e4816127ab565b9050919050565b7f526563697069656e74206e6f74207665726966696564000000000000000000005f82015250565b5f61281f601683611974565b915061282a826127eb565b602082019050919050565b5f6020820190508181035f83015261284c81612813565b905091905056fea26469706673582212203106728f8c16bd5f46be4256e027550594db290ea910b2f62f894c035a8bd28e64736f6c63430008140033

00000000000000000000000047cb05f7b6b3cf80ef43020dc8236cf6781c4bda0000000000000000000000009c6b2631abea6ef9a6152ab472e5fe8499a54c33

-----Decoded View---------------
Arg [0] : _identityRegistry (address): 0x47cB05f7b6b3cf80eF43020dc8236cf6781c4BDA
Arg [1] : _compliance (address): 0x9c6B2631ABEA6Ef9A6152aB472E5FE8499a54C33

-----Encoded View---------------
2 Constructor Arguments found :
Arg [0] : 00000000000000000000000047cb05f7b6b3cf80ef43020dc8236cf6781c4bda
Arg [1] : 0000000000000000000000009c6b2631abea6ef9a6152ab472e5fe8499a54c33

2109:7181:0:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;2155:75;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;5606:266;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;2573:41;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;2307:26;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;5880:706;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;2274:26;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;7634:291;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;3057:30;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;2621:29;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;2389:44;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;7207:233;;;:::i;:::-;;;;;;;;;:::i;:::-;;;;;;;;2546:20;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;3094:27;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;8783:504;;;:::i;:::-;;8137:244;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;2237:30;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;4989:609;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;6904:216;;;:::i;:::-;;;;;;;;;:::i;:::-;;;;;;;;8457:124;;;:::i;:::-;;2440:64;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;2155:75;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::o;5606:266::-;5673:4;5717:1;5698:21;;:7;:21;;;5690:49;;;;;;;;;;;;:::i;:::-;;;;;;;;;5785:5;5752:9;:21;5762:10;5752:21;;;;;;;;;;;;;;;:30;5774:7;5752:30;;;;;;;;;;;;;;;:38;;;;5827:7;5806:36;;5815:10;5806:36;;;5836:5;5806:36;;;;;;:::i;:::-;;;;;;;;5860:4;5853:11;;5606:266;;;;:::o;2573:41::-;;;;;;;;;;;;;:::o;2307:26::-;;;;:::o;5880:706::-;5961:4;5986:16;;;;;;;;;;;:27;;;6014:4;5986:33;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;5978:63;;;;;;;;;;;;:::i;:::-;;;;;;;;;6060:16;;;;;;;;;;;:27;;;6088:2;6060:31;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;6052:59;;;;;;;;;;;;:::i;:::-;;;;;;;;;6130:10;;;;;;;;;;;:22;;;6153:4;6159:2;6163:5;6130:39;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;6122:82;;;;;;;;;;;;:::i;:::-;;;;;;;;;6242:5;6223:9;:15;6233:4;6223:15;;;;;;;;;;;;;;;;:24;;6215:57;;;;;;;;;;;;:::i;:::-;;;;;;;;;6322:5;6291:9;:15;6301:4;6291:15;;;;;;;;;;;;;;;:27;6307:10;6291:27;;;;;;;;;;;;;;;;:36;;6283:60;;;;;;;;;;;;:::i;:::-;;;;;;;;;6376:1;6362:16;;:2;:16;;;6354:44;;;;;;;;;;;;:::i;:::-;;;;;;;;;6442:5;6411:9;:15;6421:4;6411:15;;;;;;;;;;;;;;;:27;6427:10;6411:27;;;;;;;;;;;;;;;;:36;;;;;;;:::i;:::-;;;;;;;;6477:5;6458:9;:15;6468:4;6458:15;;;;;;;;;;;;;;;;:24;;;;;;;:::i;:::-;;;;;;;;6510:5;6493:9;:13;6503:2;6493:13;;;;;;;;;;;;;;;;:22;;;;;;;:::i;:::-;;;;;;;;6546:2;6531:25;;6540:4;6531:25;;;6550:5;6531:25;;;;;;:::i;:::-;;;;;;;;6574:4;6567:11;;5880:706;;;;;:::o;2274:26::-;;;;;;;;;;;;;:::o;7634:291::-;3592:5;;;;;;;;;;;3578:19;;:10;:19;;;3570:41;;;;;;;;;;;;:::i;:::-;;;;;;;;;7791:14:::1;7776:12;:29;;;;;;:::i;:::-;;7834:17;7816:15;:35;;;;;;:::i;:::-;;7867:50;7883:14;7899:17;7867:50;;;;;;;:::i;:::-;;;;;;;;7634:291:::0;;:::o;3057:30::-;;;;;;;;;;;;;:::o;2621:29::-;;;;;;;;;;;;;:::o;2389:44::-;;;;;;;;;;;;;;;;;:::o;7207:233::-;7263:25;7299:28;7338:24;7389:12;7403:15;7420:11;;;;;;;;;;;;;;;;;7381:51;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;7207:233;;;:::o;2546:20::-;;;;;;;;;;;;;:::o;3094:27::-;;;;;;;;;;;;;:::o;8783:504::-;8830:15;;;;;;;;;;;8822:48;;;;;;;;;;;;:::i;:::-;;;;;;;;;8916:1;8889:29;;:15;;;;;;;;;;;:29;;;8881:61;;;;;;;;;;;;:::i;:::-;;;;;;;;;8955:15;8973:9;:21;8983:10;8973:21;;;;;;;;;;;;;;;;8955:39;;9023:1;9013:7;:11;9005:44;;;;;;;;;;;;:::i;:::-;;;;;;;;;9137:1;9113:9;:21;9123:10;9113:21;;;;;;;;;;;;;;;:25;;;;9164:7;9149:11;;:22;;;;;;;:::i;:::-;;;;;;;;9216:1;9187:41;;9196:10;9187:41;;;9220:7;9187:41;;;;;;:::i;:::-;;;;;;;;9259:10;9244:35;;;9271:7;9244:35;;;;;;:::i;:::-;;;;;;;;8811:476;8783:504::o;8137:244::-;3592:5;;;;;;;;;;;3578:19;;:10;:19;;;3570:41;;;;;;;;;;;;:::i;:::-;;;;;;;;;8234:1:::1;8216:20;;:6;:20;;::::0;8208:57:::1;;;;;;;;;;;;:::i;:::-;;;;;;;;;8294:6;8276:15;;:24;;;;;;;;;;;;;;;;;;8329:4;8311:15;;:22;;;;;;;;;;;;;;;;;;8366:6;8349:24;;;;;;;;;;;;8137:244:::0;:::o;2237:30::-;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::o;4989:609::-;5052:4;5077:16;;;;;;;;;;;:27;;;5105:10;5077:39;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;5069:71;;;;;;;;;;;;:::i;:::-;;;;;;;;;5159:16;;;;;;;;;;;:27;;;5187:2;5159:31;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;5151:66;;;;;;;;;;;;:::i;:::-;;;;;;;;;5236:10;;;;;;;;;;;:22;;;5259:10;5271:2;5275:5;5236:45;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;5228:88;;;;;;;;;;;;:::i;:::-;;;;;;;;;5360:5;5335:9;:21;5345:10;5335:21;;;;;;;;;;;;;;;;:30;;5327:63;;;;;;;;;;;;:::i;:::-;;;;;;;;;5423:1;5409:16;;:2;:16;;;5401:44;;;;;;;;;;;;:::i;:::-;;;;;;;;;5483:5;5458:9;:21;5468:10;5458:21;;;;;;;;;;;;;;;;:30;;;;;;;:::i;:::-;;;;;;;;5516:5;5499:9;:13;5509:2;5499:13;;;;;;;;;;;;;;;;:22;;;;;;;:::i;:::-;;;;;;;;5558:2;5537:31;;5546:10;5537:31;;;5562:5;5537:31;;;;;;:::i;:::-;;;;;;;;5586:4;5579:11;;4989:609;;;;:::o;6904:216::-;6961:19;6991:21;7023;7071:11;;;;;;;;;;;;;;;;;7084:13;;;;;;;;;;;;;;;;;7099:12;;;;;;;;;;;;;;;;;7063:49;;;;;;6904:216;;;:::o;8457:124::-;3592:5;;;;;;;;;;;3578:19;;:10;:19;;;3570:41;;;;;;;;;;;;:::i;:::-;;;;;;;;;8533:5:::1;8515:15;;:23;;;;;;;;;;;;;;;;;;8554:19;;;;;;;;;;8457:124::o:0;2440:64::-;;;;;;;;;;;;;;;;;;;;;;;;;;:::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;1349:75::-;1382:6;1415:2;1409:9;1399:19;;1349:75;:::o;1430:117::-;1539:1;1536;1529:12;1553:117;1662:1;1659;1652: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:60::-;3474:3;3495:5;3488:12;;3446:60;;;:::o;3512:142::-;3562:9;3595:53;3613:34;3622:24;3640:5;3622:24;:::i;:::-;3613:34;:::i;:::-;3595:53;:::i;:::-;3582:66;;3512:142;;;:::o;3660:126::-;3710:9;3743:37;3774:5;3743:37;:::i;:::-;3730:50;;3660:126;;;:::o;3792:150::-;3866:9;3899:37;3930:5;3899:37;:::i;:::-;3886:50;;3792:150;;;:::o;3948:179::-;4059:61;4114:5;4059:61;:::i;:::-;4054:3;4047:74;3948:179;;:::o;4133:270::-;4250:4;4288:2;4277:9;4273:18;4265:26;;4301:95;4393:1;4382:9;4378:17;4369:6;4301:95;:::i;:::-;4133:270;;;;:::o;4409:118::-;4496:24;4514:5;4496:24;:::i;:::-;4491:3;4484:37;4409:118;;:::o;4533:222::-;4626:4;4664:2;4653:9;4649:18;4641:26;;4677:71;4745:1;4734:9;4730:17;4721:6;4677:71;:::i;:::-;4533:222;;;;:::o;4761:619::-;4838:6;4846;4854;4903:2;4891:9;4882:7;4878:23;4874:32;4871:119;;;4909:79;;:::i;:::-;4871:119;5029:1;5054:53;5099:7;5090:6;5079:9;5075:22;5054:53;:::i;:::-;5044:63;;5000:117;5156:2;5182:53;5227:7;5218:6;5207:9;5203:22;5182:53;:::i;:::-;5172:63;;5127:118;5284:2;5310:53;5355:7;5346:6;5335:9;5331:22;5310:53;:::i;:::-;5300:63;;5255:118;4761:619;;;;;:::o;5386:86::-;5421:7;5461:4;5454:5;5450:16;5439:27;;5386:86;;;:::o;5478:112::-;5561:22;5577:5;5561:22;:::i;:::-;5556:3;5549:35;5478:112;;:::o;5596:214::-;5685:4;5723:2;5712:9;5708:18;5700:26;;5736:67;5800:1;5789:9;5785:17;5776:6;5736:67;:::i;:::-;5596:214;;;;:::o;5816:117::-;5925:1;5922;5915:12;5939:117;6048:1;6045;6038:12;6062:180;6110:77;6107:1;6100:88;6207:4;6204:1;6197:15;6231:4;6228:1;6221:15;6248:281;6331:27;6353:4;6331:27;:::i;:::-;6323:6;6319:40;6461:6;6449:10;6446:22;6425:18;6413:10;6410:34;6407:62;6404:88;;;6472:18;;:::i;:::-;6404:88;6512:10;6508:2;6501:22;6291:238;6248:281;;:::o;6535:129::-;6569:6;6596:20;;:::i;:::-;6586:30;;6625:33;6653:4;6645:6;6625:33;:::i;:::-;6535:129;;;:::o;6670:308::-;6732:4;6822:18;6814:6;6811:30;6808:56;;;6844:18;;:::i;:::-;6808:56;6882:29;6904:6;6882:29;:::i;:::-;6874:37;;6966:4;6960;6956:15;6948:23;;6670:308;;;:::o;6984:146::-;7081:6;7076:3;7071;7058:30;7122:1;7113:6;7108:3;7104:16;7097:27;6984:146;;;:::o;7136:425::-;7214:5;7239:66;7255:49;7297:6;7255:49;:::i;:::-;7239:66;:::i;:::-;7230:75;;7328:6;7321:5;7314:21;7366:4;7359:5;7355:16;7404:3;7395:6;7390:3;7386:16;7383:25;7380:112;;;7411:79;;:::i;:::-;7380:112;7501:54;7548:6;7543:3;7538;7501:54;:::i;:::-;7220:341;7136:425;;;;;:::o;7581:340::-;7637:5;7686:3;7679:4;7671:6;7667:17;7663:27;7653:122;;7694:79;;:::i;:::-;7653:122;7811:6;7798:20;7836:79;7911:3;7903:6;7896:4;7888:6;7884:17;7836:79;:::i;:::-;7827:88;;7643:278;7581:340;;;;:::o;7927:834::-;8015:6;8023;8072:2;8060:9;8051:7;8047:23;8043:32;8040:119;;;8078:79;;:::i;:::-;8040:119;8226:1;8215:9;8211:17;8198:31;8256:18;8248:6;8245:30;8242:117;;;8278:79;;:::i;:::-;8242:117;8383:63;8438:7;8429:6;8418:9;8414:22;8383:63;:::i;:::-;8373:73;;8169:287;8523:2;8512:9;8508:18;8495:32;8554:18;8546:6;8543:30;8540:117;;;8576:79;;:::i;:::-;8540:117;8681:63;8736:7;8727:6;8716:9;8712:22;8681:63;:::i;:::-;8671:73;;8466:288;7927:834;;;;;:::o;8767:118::-;8854:24;8872:5;8854:24;:::i;:::-;8849:3;8842:37;8767:118;;:::o;8891:222::-;8984:4;9022:2;9011:9;9007:18;8999:26;;9035:71;9103:1;9092:9;9088:17;9079:6;9035:71;:::i;:::-;8891:222;;;;:::o;9119:144::-;9187:9;9220:37;9251:5;9220:37;:::i;:::-;9207:50;;9119:144;;;:::o;9269:167::-;9374:55;9423:5;9374:55;:::i;:::-;9369:3;9362:68;9269:167;;:::o;9442:258::-;9553:4;9591:2;9580:9;9576:18;9568:26;;9604:89;9690:1;9679:9;9675:17;9666:6;9604:89;:::i;:::-;9442:258;;;;:::o;9706:329::-;9765:6;9814:2;9802:9;9793:7;9789:23;9785:32;9782:119;;;9820:79;;:::i;:::-;9782:119;9940:1;9965:53;10010:7;10001:6;9990:9;9986:22;9965:53;:::i;:::-;9955:63;;9911:117;9706:329;;;;:::o;10041:715::-;10250:4;10288:2;10277:9;10273:18;10265:26;;10337:9;10331:4;10327:20;10323:1;10312:9;10308:17;10301:47;10365:78;10438:4;10429:6;10365:78;:::i;:::-;10357:86;;10490:9;10484:4;10480:20;10475:2;10464:9;10460:18;10453:48;10518:78;10591:4;10582:6;10518:78;:::i;:::-;10510:86;;10643:9;10637:4;10633:20;10628:2;10617:9;10613:18;10606:48;10671:78;10744:4;10735:6;10671:78;:::i;:::-;10663:86;;10041:715;;;;;;:::o;10762:474::-;10830:6;10838;10887:2;10875:9;10866:7;10862:23;10858:32;10855:119;;;10893:79;;:::i;:::-;10855:119;11013:1;11038:53;11083:7;11074:6;11063:9;11059:22;11038:53;:::i;:::-;11028:63;;10984:117;11140:2;11166:53;11211:7;11202:6;11191:9;11187:22;11166:53;:::i;:::-;11156:63;;11111:118;10762:474;;;;;:::o;11242:180::-;11290:77;11287:1;11280:88;11387:4;11384:1;11377:15;11411:4;11408:1;11401:15;11428:320;11472:6;11509:1;11503:4;11499:12;11489:22;;11556:1;11550:4;11546:12;11577:18;11567:81;;11633:4;11625:6;11621:17;11611:27;;11567:81;11695:2;11687:6;11684:14;11664:18;11661:38;11658:84;;11714:18;;:::i;:::-;11658:84;11479:269;11428:320;;;:::o;11754:165::-;11894:17;11890:1;11882:6;11878:14;11871:41;11754:165;:::o;11925:366::-;12067:3;12088:67;12152:2;12147:3;12088:67;:::i;:::-;12081:74;;12164:93;12253:3;12164:93;:::i;:::-;12282:2;12277:3;12273:12;12266:19;;11925:366;;;:::o;12297:419::-;12463:4;12501:2;12490:9;12486:18;12478:26;;12550:9;12544:4;12540:20;12536:1;12525:9;12521:17;12514:47;12578:131;12704:4;12578:131;:::i;:::-;12570:139;;12297:419;;;:::o;12722:116::-;12792:21;12807:5;12792:21;:::i;:::-;12785:5;12782:32;12772:60;;12828:1;12825;12818:12;12772:60;12722:116;:::o;12844:137::-;12898:5;12929:6;12923:13;12914:22;;12945:30;12969:5;12945:30;:::i;:::-;12844:137;;;;:::o;12987:345::-;13054:6;13103:2;13091:9;13082:7;13078:23;13074:32;13071:119;;;13109:79;;:::i;:::-;13071:119;13229:1;13254:61;13307:7;13298:6;13287:9;13283:22;13254:61;:::i;:::-;13244:71;;13200:125;12987:345;;;;:::o;13338:167::-;13478:19;13474:1;13466:6;13462:14;13455:43;13338:167;:::o;13511:366::-;13653:3;13674:67;13738:2;13733:3;13674:67;:::i;:::-;13667:74;;13750:93;13839:3;13750:93;:::i;:::-;13868:2;13863:3;13859:12;13852:19;;13511:366;;;:::o;13883:419::-;14049:4;14087:2;14076:9;14072:18;14064:26;;14136:9;14130:4;14126:20;14122:1;14111:9;14107:17;14100:47;14164:131;14290:4;14164:131;:::i;:::-;14156:139;;13883:419;;;:::o;14308:165::-;14448:17;14444:1;14436:6;14432:14;14425:41;14308:165;:::o;14479:366::-;14621:3;14642:67;14706:2;14701:3;14642:67;:::i;:::-;14635:74;;14718:93;14807:3;14718:93;:::i;:::-;14836:2;14831:3;14827:12;14820:19;;14479:366;;;:::o;14851:419::-;15017:4;15055:2;15044:9;15040:18;15032:26;;15104:9;15098:4;15094:20;15090:1;15079:9;15075:17;15068:47;15132:131;15258:4;15132:131;:::i;:::-;15124:139;;14851:419;;;:::o;15276:442::-;15425:4;15463:2;15452:9;15448:18;15440:26;;15476:71;15544:1;15533:9;15529:17;15520:6;15476:71;:::i;:::-;15557:72;15625:2;15614:9;15610:18;15601:6;15557:72;:::i;:::-;15639;15707:2;15696:9;15692:18;15683:6;15639:72;:::i;:::-;15276:442;;;;;;:::o;15724:180::-;15864:32;15860:1;15852:6;15848:14;15841:56;15724:180;:::o;15910:366::-;16052:3;16073:67;16137:2;16132:3;16073:67;:::i;:::-;16066:74;;16149:93;16238:3;16149:93;:::i;:::-;16267:2;16262:3;16258:12;16251:19;;15910:366;;;:::o;16282:419::-;16448:4;16486:2;16475:9;16471:18;16463:26;;16535:9;16529:4;16525:20;16521:1;16510:9;16506:17;16499:47;16563:131;16689:4;16563:131;:::i;:::-;16555:139;;16282:419;;;:::o;16707:170::-;16847:22;16843:1;16835:6;16831:14;16824:46;16707:170;:::o;16883:366::-;17025:3;17046:67;17110:2;17105:3;17046:67;:::i;:::-;17039:74;;17122:93;17211:3;17122:93;:::i;:::-;17240:2;17235:3;17231:12;17224:19;;16883:366;;;:::o;17255:419::-;17421:4;17459:2;17448:9;17444:18;17436:26;;17508:9;17502:4;17498:20;17494:1;17483:9;17479:17;17472:47;17536:131;17662:4;17536:131;:::i;:::-;17528:139;;17255:419;;;:::o;17680:161::-;17820:13;17816:1;17808:6;17804:14;17797:37;17680:161;:::o;17847:366::-;17989:3;18010:67;18074:2;18069:3;18010:67;:::i;:::-;18003:74;;18086:93;18175:3;18086:93;:::i;:::-;18204:2;18199:3;18195:12;18188:19;;17847:366;;;:::o;18219:419::-;18385:4;18423:2;18412:9;18408:18;18400:26;;18472:9;18466:4;18462:20;18458:1;18447:9;18443:17;18436:47;18500:131;18626:4;18500:131;:::i;:::-;18492:139;;18219:419;;;:::o;18644:180::-;18692:77;18689:1;18682:88;18789:4;18786:1;18779:15;18813:4;18810:1;18803:15;18830:194;18870:4;18890:20;18908:1;18890:20;:::i;:::-;18885:25;;18924:20;18942:1;18924:20;:::i;:::-;18919:25;;18968:1;18965;18961:9;18953:17;;18992:1;18986:4;18983:11;18980:37;;;18997:18;;:::i;:::-;18980:37;18830:194;;;;:::o;19030:191::-;19070:3;19089:20;19107:1;19089:20;:::i;:::-;19084:25;;19123:20;19141:1;19123:20;:::i;:::-;19118:25;;19166:1;19163;19159:9;19152:16;;19187:3;19184:1;19181:10;19178:36;;;19194:18;;:::i;:::-;19178:36;19030:191;;;;:::o;19227:159::-;19367:11;19363:1;19355:6;19351:14;19344:35;19227:159;:::o;19392:365::-;19534:3;19555:66;19619:1;19614:3;19555:66;:::i;:::-;19548:73;;19630:93;19719:3;19630:93;:::i;:::-;19748:2;19743:3;19739:12;19732:19;;19392:365;;;:::o;19763:419::-;19929:4;19967:2;19956:9;19952:18;19944:26;;20016:9;20010:4;20006:20;20002:1;19991:9;19987:17;19980:47;20044:131;20170:4;20044:131;:::i;:::-;20036:139;;19763:419;;;:::o;20188:141::-;20237:4;20260:3;20252:11;;20283:3;20280:1;20273:14;20317:4;20314:1;20304:18;20296:26;;20188:141;;;:::o;20335:93::-;20372:6;20419:2;20414;20407:5;20403:14;20399:23;20389:33;;20335:93;;;:::o;20434:107::-;20478:8;20528:5;20522:4;20518:16;20497:37;;20434:107;;;;:::o;20547:393::-;20616:6;20666:1;20654:10;20650:18;20689:97;20719:66;20708:9;20689:97;:::i;:::-;20807:39;20837:8;20826:9;20807:39;:::i;:::-;20795:51;;20879:4;20875:9;20868:5;20864:21;20855:30;;20928:4;20918:8;20914:19;20907:5;20904:30;20894:40;;20623:317;;20547:393;;;;;:::o;20946:142::-;20996:9;21029:53;21047:34;21056:24;21074:5;21056:24;:::i;:::-;21047:34;:::i;:::-;21029:53;:::i;:::-;21016:66;;20946:142;;;:::o;21094:75::-;21137:3;21158:5;21151:12;;21094:75;;;:::o;21175:269::-;21285:39;21316:7;21285:39;:::i;:::-;21346:91;21395:41;21419:16;21395:41;:::i;:::-;21387:6;21380:4;21374:11;21346:91;:::i;:::-;21340:4;21333:105;21251:193;21175:269;;;:::o;21450:73::-;21495:3;21450:73;:::o;21529:189::-;21606:32;;:::i;:::-;21647:65;21705:6;21697;21691:4;21647:65;:::i;:::-;21582:136;21529:189;;:::o;21724:186::-;21784:120;21801:3;21794:5;21791:14;21784:120;;;21855:39;21892:1;21885:5;21855:39;:::i;:::-;21828:1;21821:5;21817:13;21808:22;;21784:120;;;21724:186;;:::o;21916:543::-;22017:2;22012:3;22009:11;22006:446;;;22051:38;22083:5;22051:38;:::i;:::-;22135:29;22153:10;22135:29;:::i;:::-;22125:8;22121:44;22318:2;22306:10;22303:18;22300:49;;;22339:8;22324:23;;22300:49;22362:80;22418:22;22436:3;22418:22;:::i;:::-;22408:8;22404:37;22391:11;22362:80;:::i;:::-;22021:431;;22006:446;21916:543;;;:::o;22465:117::-;22519:8;22569:5;22563:4;22559:16;22538:37;;22465:117;;;;:::o;22588:169::-;22632:6;22665:51;22713:1;22709:6;22701:5;22698:1;22694:13;22665:51;:::i;:::-;22661:56;22746:4;22740;22736:15;22726:25;;22639:118;22588:169;;;;:::o;22762:295::-;22838:4;22984:29;23009:3;23003:4;22984:29;:::i;:::-;22976:37;;23046:3;23043:1;23039:11;23033:4;23030:21;23022:29;;22762:295;;;;:::o;23062:1395::-;23179:37;23212:3;23179:37;:::i;:::-;23281:18;23273:6;23270:30;23267:56;;;23303:18;;:::i;:::-;23267:56;23347:38;23379:4;23373:11;23347:38;:::i;:::-;23432:67;23492:6;23484;23478:4;23432:67;:::i;:::-;23526:1;23550:4;23537:17;;23582:2;23574:6;23571:14;23599:1;23594:618;;;;24256:1;24273:6;24270:77;;;24322:9;24317:3;24313:19;24307:26;24298:35;;24270:77;24373:67;24433:6;24426:5;24373:67;:::i;:::-;24367:4;24360:81;24229:222;23564:887;;23594:618;23646:4;23642:9;23634:6;23630:22;23680:37;23712:4;23680:37;:::i;:::-;23739:1;23753:208;23767:7;23764:1;23761:14;23753:208;;;23846:9;23841:3;23837:19;23831:26;23823:6;23816:42;23897:1;23889:6;23885:14;23875:24;;23944:2;23933:9;23929:18;23916:31;;23790:4;23787:1;23783:12;23778:17;;23753:208;;;23989:6;23980:7;23977:19;23974:179;;;24047:9;24042:3;24038:19;24032:26;24090:48;24132:4;24124:6;24120:17;24109:9;24090:48;:::i;:::-;24082:6;24075:64;23997:156;23974:179;24199:1;24195;24187:6;24183:14;24179:22;24173:4;24166:36;23601:611;;;23564:887;;23154:1303;;;23062:1395;;:::o;24463:514::-;24624:4;24662:2;24651:9;24647:18;24639:26;;24711:9;24705:4;24701:20;24697:1;24686:9;24682:17;24675:47;24739:78;24812:4;24803:6;24739:78;:::i;:::-;24731:86;;24864:9;24858:4;24854:20;24849:2;24838:9;24834:18;24827:48;24892:78;24965:4;24956:6;24892:78;:::i;:::-;24884:86;;24463:514;;;;;:::o;24983:170::-;25123:22;25119:1;25111:6;25107:14;25100:46;24983:170;:::o;25159:366::-;25301:3;25322:67;25386:2;25381:3;25322:67;:::i;:::-;25315:74;;25398:93;25487:3;25398:93;:::i;:::-;25516:2;25511:3;25507:12;25500:19;;25159:366;;;:::o;25531:419::-;25697:4;25735:2;25724:9;25720:18;25712:26;;25784:9;25778:4;25774:20;25770:1;25759:9;25755:17;25748:47;25812:131;25938:4;25812:131;:::i;:::-;25804:139;;25531:419;;;:::o;25956:169::-;26096:21;26092:1;26084:6;26080:14;26073:45;25956:169;:::o;26131:366::-;26273:3;26294:67;26358:2;26353:3;26294:67;:::i;:::-;26287:74;;26370:93;26459:3;26370:93;:::i;:::-;26488:2;26483:3;26479:12;26472:19;;26131:366;;;:::o;26503:419::-;26669:4;26707:2;26696:9;26692:18;26684:26;;26756:9;26750:4;26746:20;26742:1;26731:9;26727:17;26720:47;26784:131;26910:4;26784:131;:::i;:::-;26776:139;;26503:419;;;:::o;26928:170::-;27068:22;27064:1;27056:6;27052:14;27045:46;26928:170;:::o;27104:366::-;27246:3;27267:67;27331:2;27326:3;27267:67;:::i;:::-;27260:74;;27343:93;27432:3;27343:93;:::i;:::-;27461:2;27456:3;27452:12;27445:19;;27104:366;;;:::o;27476:419::-;27642:4;27680:2;27669:9;27665:18;27657:26;;27729:9;27723:4;27719:20;27715:1;27704:9;27700:17;27693:47;27757:131;27883:4;27757:131;:::i;:::-;27749:139;;27476:419;;;:::o;27901:174::-;28041:26;28037:1;28029:6;28025:14;28018:50;27901:174;:::o;28081:366::-;28223:3;28244:67;28308:2;28303:3;28244:67;:::i;:::-;28237:74;;28320:93;28409:3;28320:93;:::i;:::-;28438:2;28433:3;28429:12;28422:19;;28081:366;;;:::o;28453:419::-;28619:4;28657:2;28646:9;28642:18;28634:26;;28706:9;28700:4;28696:20;28692:1;28681:9;28677:17;28670:47;28734:131;28860:4;28734:131;:::i;:::-;28726:139;;28453:419;;;:::o;28878:169::-;29018:21;29014:1;29006:6;29002:14;28995:45;28878:169;:::o;29053:366::-;29195:3;29216:67;29280:2;29275:3;29216:67;:::i;:::-;29209:74;;29292:93;29381:3;29292:93;:::i;:::-;29410:2;29405:3;29401:12;29394:19;;29053:366;;;:::o;29425:419::-;29591:4;29629:2;29618:9;29614:18;29606:26;;29678:9;29672:4;29668:20;29664:1;29653:9;29649:17;29642:47;29706:131;29832:4;29706:131;:::i;:::-;29698:139;;29425:419;;;:::o;29850:172::-;29990:24;29986:1;29978:6;29974:14;29967:48;29850:172;:::o;30028:366::-;30170:3;30191:67;30255:2;30250:3;30191:67;:::i;:::-;30184:74;;30267:93;30356:3;30267:93;:::i;:::-;30385:2;30380:3;30376:12;30369:19;;30028:366;;;:::o;30400:419::-;30566:4;30604:2;30593:9;30589:18;30581:26;;30653:9;30647:4;30643:20;30639:1;30628:9;30624:17;30617:47;30681:131;30807:4;30681:131;:::i;:::-;30673:139;;30400:419;;;:::o

ipfs://3106728f8c16bd5f46be4256e027550594db290ea910b2f62f894c035a8bd28e