Contract Source Code (Solidity)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta
• Remix IDE

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

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

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

/**
 * @title SMPRA Token – Maya Preferred PRA Preferred Class Regulated Security Token
 * @dev ERC-20 token integrated with ERC-3643 compliance logic.
 * - ERC-20: Token Standard
 * - ERC-734/735: Identity (via external IdentityRegistry)
 * - ERC-3643: Real-World Asset Compliance Structure
 */

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 SMPRA {
    string public name = "Maya Preferred PRA Preferred Class Regulated Security Token";
    string public symbol = "SMPRA";
    uint8 public decimals = 18;
    uint256 public totalSupply;

    mapping(address => uint256) public balanceOf;
    mapping(address => mapping(address => uint256)) public allowance;

    address public owner;
    IIdentityRegistry public identityRegistry;
    ICompliance public compliance;

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

    constructor(
        address _identityRegistry,
        address _compliance
    ) {
        owner = 0xAF2587b7e09d7816Fc0867Ea3A8B3058bBaAa16F; 
        identityRegistry = IIdentityRegistry(_identityRegistry);
        compliance = ICompliance(_compliance);
        _mint(0xAF2587b7e09d7816Fc0867Ea3A8B3058bBaAa16F, 23000000000000000000000000); 
    }

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

    function transfer(address to, uint256 value) external returns (bool) {
        require(identityRegistry.isVerified(msg.sender), "Sender not verified (ERC-734/735)");
        require(identityRegistry.isVerified(to), "Recipient not verified (ERC-734/735)");
        require(compliance.canTransfer(msg.sender, to, value), "Transfer blocked (ERC-3643)");
        require(balanceOf[msg.sender] >= value, "Insufficient balance");

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

    function approve(address spender, uint256 value) external returns (bool) {
        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 (ERC-734/735)");
        require(identityRegistry.isVerified(to), "To not verified (ERC-734/735)");
        require(compliance.canTransfer(from, to, value), "Transfer blocked (ERC-3643)");
        require(balanceOf[from] >= value, "Insufficient balance");
        require(allowance[from][msg.sender] >= value, "Not allowed");

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

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

• 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":"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":"","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":"identityRegistry","outputs":[{"internalType":"contract IIdentityRegistry","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"}]

60806040526040518060600160405280603b815260200162001f5b603b91395f90816200002d91906200057e565b506040518060400160405280600581526020017f534d505241000000000000000000000000000000000000000000000000000000815250600190816200007491906200057e565b50601260025f6101000a81548160ff021916908360ff1602179055503480156200009c575f80fd5b5060405162001f9638038062001f968339818101604052810190620000c29190620006c7565b73af2587b7e09d7816fc0867ea3a8b3058bbaaa16f60065f6101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055508160075f6101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055508060085f6101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff160217905550620001c773af2587b7e09d7816fc0867ea3a8b3058bbaaa16f6a1306707f94695977000000620001cf60201b60201c565b50506200081d565b5f73ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff160362000240576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040162000237906200076a565b60405180910390fd5b8060045f8473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f8282546200028e9190620007b7565b925050819055508060035f828254620002a89190620007b7565b925050819055508173ffffffffffffffffffffffffffffffffffffffff165f73ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef836040516200030e919062000802565b60405180910390a35050565b5f81519050919050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52604160045260245ffd5b7f4e487b71000000000000000000000000000000000000000000000000000000005f52602260045260245ffd5b5f60028204905060018216806200039657607f821691505b602082108103620003ac57620003ab62000351565b5b50919050565b5f819050815f5260205f209050919050565b5f6020601f8301049050919050565b5f82821b905092915050565b5f60088302620004107fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff82620003d3565b6200041c8683620003d3565b95508019841693508086168417925050509392505050565b5f819050919050565b5f819050919050565b5f62000466620004606200045a8462000434565b6200043d565b62000434565b9050919050565b5f819050919050565b620004818362000446565b6200049962000490826200046d565b848454620003df565b825550505050565b5f90565b620004af620004a1565b620004bc81848462000476565b505050565b5b81811015620004e357620004d75f82620004a5565b600181019050620004c2565b5050565b601f8211156200053257620004fc81620003b2565b6200050784620003c4565b8101602085101562000517578190505b6200052f6200052685620003c4565b830182620004c1565b50505b505050565b5f82821c905092915050565b5f620005545f198460080262000537565b1980831691505092915050565b5f6200056e838362000543565b9150826002028217905092915050565b62000589826200031a565b67ffffffffffffffff811115620005a557620005a462000324565b5b620005b182546200037e565b620005be828285620004e7565b5f60209050601f831160018114620005f4575f8415620005df578287015190505b620005eb858262000561565b8655506200065a565b601f1984166200060486620003b2565b5f5b828110156200062d5784890151825560018201915060208501945060208101905062000606565b868310156200064d578489015162000649601f89168262000543565b8355505b6001600288020188555050505b505050505050565b5f80fd5b5f73ffffffffffffffffffffffffffffffffffffffff82169050919050565b5f620006918262000666565b9050919050565b620006a38162000685565b8114620006ae575f80fd5b50565b5f81519050620006c18162000698565b92915050565b5f8060408385031215620006e057620006df62000662565b5b5f620006ef85828601620006b1565b92505060206200070285828601620006b1565b9150509250929050565b5f82825260208201905092915050565b7f496e76616c6964206164647265737300000000000000000000000000000000005f82015250565b5f62000752600f836200070c565b91506200075f826200071c565b602082019050919050565b5f6020820190508181035f830152620007838162000744565b9050919050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52601160045260245ffd5b5f620007c38262000434565b9150620007d08362000434565b9250828201905080821115620007eb57620007ea6200078a565b5b92915050565b620007fc8162000434565b82525050565b5f602082019050620008175f830184620007f1565b92915050565b611730806200082b5f395ff3fe608060405234801561000f575f80fd5b50600436106100b2575f3560e01c80636290865d1161006f5780636290865d1461018e57806370a08231146101ac5780638da5cb5b146101dc57806395d89b41146101fa578063a9059cbb14610218578063dd62ed3e14610248576100b2565b806306fdde03146100b6578063095ea7b3146100d4578063134e18f41461010457806318160ddd1461012257806323b872dd14610140578063313ce56714610170575b5f80fd5b6100be610278565b6040516100cb9190610f50565b60405180910390f35b6100ee60048036038101906100e99190611001565b610303565b6040516100fb9190611059565b60405180910390f35b61010c6103f0565b60405161011991906110cd565b60405180910390f35b61012a610415565b60405161013791906110f5565b60405180910390f35b61015a6004803603810190610155919061110e565b61041b565b6040516101679190611059565b60405180910390f35b610178610987565b6040516101859190611179565b60405180910390f35b610196610999565b6040516101a391906111b2565b60405180910390f35b6101c660048036038101906101c191906111cb565b6109be565b6040516101d391906110f5565b60405180910390f35b6101e46109d3565b6040516101f19190611205565b60405180910390f35b6102026109f8565b60405161020f9190610f50565b60405180910390f35b610232600480360381019061022d9190611001565b610a84565b60405161023f9190611059565b60405180910390f35b610262600480360381019061025d919061121e565b610ea6565b60405161026f91906110f5565b60405180910390f35b5f805461028490611289565b80601f01602080910402602001604051908101604052809291908181526020018280546102b090611289565b80156102fb5780601f106102d2576101008083540402835291602001916102fb565b820191905f5260205f20905b8154815290600101906020018083116102de57829003601f168201915b505050505081565b5f8160055f3373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f8573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20819055508273ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925846040516103de91906110f5565b60405180910390a36001905092915050565b60075f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b60035481565b5f60075f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1663b9209e33856040518263ffffffff1660e01b81526004016104769190611205565b602060405180830381865afa158015610491573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906104b591906112e3565b6104f4576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016104eb90611358565b60405180910390fd5b60075f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1663b9209e33846040518263ffffffff1660e01b815260040161054e9190611205565b602060405180830381865afa158015610569573d5f803e3d5ffd5b505050506040513d601f19601f8201168201806040525081019061058d91906112e3565b6105cc576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016105c3906113c0565b60405180910390fd5b60085f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1663e46638e68585856040518463ffffffff1660e01b815260040161062a939291906113de565b602060405180830381865afa158015610645573d5f803e3d5ffd5b505050506040513d601f19601f8201168201806040525081019061066991906112e3565b6106a8576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161069f9061145d565b60405180910390fd5b8160045f8673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20541015610728576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161071f906114c5565b60405180910390fd5b8160055f8673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f3373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205410156107e3576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016107da9061152d565b60405180910390fd5b8160055f8673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f3373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f82825461086a9190611578565b925050819055508160045f8673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f8282546108bd9190611578565b925050819055508160045f8573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f82825461091091906115ab565b925050819055508273ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef8460405161097491906110f5565b60405180910390a3600190509392505050565b60025f9054906101000a900460ff1681565b60085f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b6004602052805f5260405f205f915090505481565b60065f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b60018054610a0590611289565b80601f0160208091040260200160405190810160405280929190818152602001828054610a3190611289565b8015610a7c5780601f10610a5357610100808354040283529160200191610a7c565b820191905f5260205f20905b815481529060010190602001808311610a5f57829003601f168201915b505050505081565b5f60075f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1663b9209e33336040518263ffffffff1660e01b8152600401610adf9190611205565b602060405180830381865afa158015610afa573d5f803e3d5ffd5b505050506040513d601f19601f82011682018060405250810190610b1e91906112e3565b610b5d576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610b549061164e565b60405180910390fd5b60075f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1663b9209e33846040518263ffffffff1660e01b8152600401610bb79190611205565b602060405180830381865afa158015610bd2573d5f803e3d5ffd5b505050506040513d601f19601f82011682018060405250810190610bf691906112e3565b610c35576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610c2c906116dc565b60405180910390fd5b60085f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1663e46638e63385856040518463ffffffff1660e01b8152600401610c93939291906113de565b602060405180830381865afa158015610cae573d5f803e3d5ffd5b505050506040513d601f19601f82011682018060405250810190610cd291906112e3565b610d11576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610d089061145d565b60405180910390fd5b8160045f3373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20541015610d91576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610d88906114c5565b60405180910390fd5b8160045f3373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f828254610ddd9190611578565b925050819055508160045f8573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f828254610e3091906115ab565b925050819055508273ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef84604051610e9491906110f5565b60405180910390a36001905092915050565b6005602052815f5260405f20602052805f5260405f205f91509150505481565b5f81519050919050565b5f82825260208201905092915050565b5f5b83811015610efd578082015181840152602081019050610ee2565b5f8484015250505050565b5f601f19601f8301169050919050565b5f610f2282610ec6565b610f2c8185610ed0565b9350610f3c818560208601610ee0565b610f4581610f08565b840191505092915050565b5f6020820190508181035f830152610f688184610f18565b905092915050565b5f80fd5b5f73ffffffffffffffffffffffffffffffffffffffff82169050919050565b5f610f9d82610f74565b9050919050565b610fad81610f93565b8114610fb7575f80fd5b50565b5f81359050610fc881610fa4565b92915050565b5f819050919050565b610fe081610fce565b8114610fea575f80fd5b50565b5f81359050610ffb81610fd7565b92915050565b5f806040838503121561101757611016610f70565b5b5f61102485828601610fba565b925050602061103585828601610fed565b9150509250929050565b5f8115159050919050565b6110538161103f565b82525050565b5f60208201905061106c5f83018461104a565b92915050565b5f819050919050565b5f61109561109061108b84610f74565b611072565b610f74565b9050919050565b5f6110a68261107b565b9050919050565b5f6110b78261109c565b9050919050565b6110c7816110ad565b82525050565b5f6020820190506110e05f8301846110be565b92915050565b6110ef81610fce565b82525050565b5f6020820190506111085f8301846110e6565b92915050565b5f805f6060848603121561112557611124610f70565b5b5f61113286828701610fba565b935050602061114386828701610fba565b925050604061115486828701610fed565b9150509250925092565b5f60ff82169050919050565b6111738161115e565b82525050565b5f60208201905061118c5f83018461116a565b92915050565b5f61119c8261109c565b9050919050565b6111ac81611192565b82525050565b5f6020820190506111c55f8301846111a3565b92915050565b5f602082840312156111e0576111df610f70565b5b5f6111ed84828501610fba565b91505092915050565b6111ff81610f93565b82525050565b5f6020820190506112185f8301846111f6565b92915050565b5f806040838503121561123457611233610f70565b5b5f61124185828601610fba565b925050602061125285828601610fba565b9150509250929050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52602260045260245ffd5b5f60028204905060018216806112a057607f821691505b6020821081036112b3576112b261125c565b5b50919050565b6112c28161103f565b81146112cc575f80fd5b50565b5f815190506112dd816112b9565b92915050565b5f602082840312156112f8576112f7610f70565b5b5f611305848285016112cf565b91505092915050565b7f46726f6d206e6f7420766572696669656420284552432d3733342f37333529005f82015250565b5f611342601f83610ed0565b915061134d8261130e565b602082019050919050565b5f6020820190508181035f83015261136f81611336565b9050919050565b7f546f206e6f7420766572696669656420284552432d3733342f373335290000005f82015250565b5f6113aa601d83610ed0565b91506113b582611376565b602082019050919050565b5f6020820190508181035f8301526113d78161139e565b9050919050565b5f6060820190506113f15f8301866111f6565b6113fe60208301856111f6565b61140b60408301846110e6565b949350505050565b7f5472616e7366657220626c6f636b656420284552432d333634332900000000005f82015250565b5f611447601b83610ed0565b915061145282611413565b602082019050919050565b5f6020820190508181035f8301526114748161143b565b9050919050565b7f496e73756666696369656e742062616c616e63650000000000000000000000005f82015250565b5f6114af601483610ed0565b91506114ba8261147b565b602082019050919050565b5f6020820190508181035f8301526114dc816114a3565b9050919050565b7f4e6f7420616c6c6f7765640000000000000000000000000000000000000000005f82015250565b5f611517600b83610ed0565b9150611522826114e3565b602082019050919050565b5f6020820190508181035f8301526115448161150b565b9050919050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52601160045260245ffd5b5f61158282610fce565b915061158d83610fce565b92508282039050818111156115a5576115a461154b565b5b92915050565b5f6115b582610fce565b91506115c083610fce565b92508282019050808211156115d8576115d761154b565b5b92915050565b7f53656e646572206e6f7420766572696669656420284552432d3733342f3733355f8201527f2900000000000000000000000000000000000000000000000000000000000000602082015250565b5f611638602183610ed0565b9150611643826115de565b604082019050919050565b5f6020820190508181035f8301526116658161162c565b9050919050565b7f526563697069656e74206e6f7420766572696669656420284552432d3733342f5f8201527f3733352900000000000000000000000000000000000000000000000000000000602082015250565b5f6116c6602483610ed0565b91506116d18261166c565b604082019050919050565b5f6020820190508181035f8301526116f3816116ba565b905091905056fea2646970667358221220ff5ea3b2727b5a99931944bbf06d4babe91450a9a370b54a745ad90b0d23e24364736f6c634300081400334d61796120507265666572726564205052412050726566657272656420436c61737320526567756c6174656420536563757269747920546f6b656e0000000000000000000000009ea4c988261c3166764b691c2297fe6975c4ab0e0000000000000000000000003f95ad28a0b68ea29c5becb86a6e6d135628ec19

0x608060405234801561000f575f80fd5b50600436106100b2575f3560e01c80636290865d1161006f5780636290865d1461018e57806370a08231146101ac5780638da5cb5b146101dc57806395d89b41146101fa578063a9059cbb14610218578063dd62ed3e14610248576100b2565b806306fdde03146100b6578063095ea7b3146100d4578063134e18f41461010457806318160ddd1461012257806323b872dd14610140578063313ce56714610170575b5f80fd5b6100be610278565b6040516100cb9190610f50565b60405180910390f35b6100ee60048036038101906100e99190611001565b610303565b6040516100fb9190611059565b60405180910390f35b61010c6103f0565b60405161011991906110cd565b60405180910390f35b61012a610415565b60405161013791906110f5565b60405180910390f35b61015a6004803603810190610155919061110e565b61041b565b6040516101679190611059565b60405180910390f35b610178610987565b6040516101859190611179565b60405180910390f35b610196610999565b6040516101a391906111b2565b60405180910390f35b6101c660048036038101906101c191906111cb565b6109be565b6040516101d391906110f5565b60405180910390f35b6101e46109d3565b6040516101f19190611205565b60405180910390f35b6102026109f8565b60405161020f9190610f50565b60405180910390f35b610232600480360381019061022d9190611001565b610a84565b60405161023f9190611059565b60405180910390f35b610262600480360381019061025d919061121e565b610ea6565b60405161026f91906110f5565b60405180910390f35b5f805461028490611289565b80601f01602080910402602001604051908101604052809291908181526020018280546102b090611289565b80156102fb5780601f106102d2576101008083540402835291602001916102fb565b820191905f5260205f20905b8154815290600101906020018083116102de57829003601f168201915b505050505081565b5f8160055f3373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f8573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20819055508273ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925846040516103de91906110f5565b60405180910390a36001905092915050565b60075f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b60035481565b5f60075f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1663b9209e33856040518263ffffffff1660e01b81526004016104769190611205565b602060405180830381865afa158015610491573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906104b591906112e3565b6104f4576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016104eb90611358565b60405180910390fd5b60075f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1663b9209e33846040518263ffffffff1660e01b815260040161054e9190611205565b602060405180830381865afa158015610569573d5f803e3d5ffd5b505050506040513d601f19601f8201168201806040525081019061058d91906112e3565b6105cc576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016105c3906113c0565b60405180910390fd5b60085f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1663e46638e68585856040518463ffffffff1660e01b815260040161062a939291906113de565b602060405180830381865afa158015610645573d5f803e3d5ffd5b505050506040513d601f19601f8201168201806040525081019061066991906112e3565b6106a8576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161069f9061145d565b60405180910390fd5b8160045f8673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20541015610728576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161071f906114c5565b60405180910390fd5b8160055f8673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f3373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205410156107e3576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016107da9061152d565b60405180910390fd5b8160055f8673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f3373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f82825461086a9190611578565b925050819055508160045f8673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f8282546108bd9190611578565b925050819055508160045f8573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f82825461091091906115ab565b925050819055508273ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef8460405161097491906110f5565b60405180910390a3600190509392505050565b60025f9054906101000a900460ff1681565b60085f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b6004602052805f5260405f205f915090505481565b60065f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b60018054610a0590611289565b80601f0160208091040260200160405190810160405280929190818152602001828054610a3190611289565b8015610a7c5780601f10610a5357610100808354040283529160200191610a7c565b820191905f5260205f20905b815481529060010190602001808311610a5f57829003601f168201915b505050505081565b5f60075f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1663b9209e33336040518263ffffffff1660e01b8152600401610adf9190611205565b602060405180830381865afa158015610afa573d5f803e3d5ffd5b505050506040513d601f19601f82011682018060405250810190610b1e91906112e3565b610b5d576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610b549061164e565b60405180910390fd5b60075f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1663b9209e33846040518263ffffffff1660e01b8152600401610bb79190611205565b602060405180830381865afa158015610bd2573d5f803e3d5ffd5b505050506040513d601f19601f82011682018060405250810190610bf691906112e3565b610c35576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610c2c906116dc565b60405180910390fd5b60085f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1663e46638e63385856040518463ffffffff1660e01b8152600401610c93939291906113de565b602060405180830381865afa158015610cae573d5f803e3d5ffd5b505050506040513d601f19601f82011682018060405250810190610cd291906112e3565b610d11576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610d089061145d565b60405180910390fd5b8160045f3373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20541015610d91576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610d88906114c5565b60405180910390fd5b8160045f3373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f828254610ddd9190611578565b925050819055508160045f8573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f828254610e3091906115ab565b925050819055508273ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef84604051610e9491906110f5565b60405180910390a36001905092915050565b6005602052815f5260405f20602052805f5260405f205f91509150505481565b5f81519050919050565b5f82825260208201905092915050565b5f5b83811015610efd578082015181840152602081019050610ee2565b5f8484015250505050565b5f601f19601f8301169050919050565b5f610f2282610ec6565b610f2c8185610ed0565b9350610f3c818560208601610ee0565b610f4581610f08565b840191505092915050565b5f6020820190508181035f830152610f688184610f18565b905092915050565b5f80fd5b5f73ffffffffffffffffffffffffffffffffffffffff82169050919050565b5f610f9d82610f74565b9050919050565b610fad81610f93565b8114610fb7575f80fd5b50565b5f81359050610fc881610fa4565b92915050565b5f819050919050565b610fe081610fce565b8114610fea575f80fd5b50565b5f81359050610ffb81610fd7565b92915050565b5f806040838503121561101757611016610f70565b5b5f61102485828601610fba565b925050602061103585828601610fed565b9150509250929050565b5f8115159050919050565b6110538161103f565b82525050565b5f60208201905061106c5f83018461104a565b92915050565b5f819050919050565b5f61109561109061108b84610f74565b611072565b610f74565b9050919050565b5f6110a68261107b565b9050919050565b5f6110b78261109c565b9050919050565b6110c7816110ad565b82525050565b5f6020820190506110e05f8301846110be565b92915050565b6110ef81610fce565b82525050565b5f6020820190506111085f8301846110e6565b92915050565b5f805f6060848603121561112557611124610f70565b5b5f61113286828701610fba565b935050602061114386828701610fba565b925050604061115486828701610fed565b9150509250925092565b5f60ff82169050919050565b6111738161115e565b82525050565b5f60208201905061118c5f83018461116a565b92915050565b5f61119c8261109c565b9050919050565b6111ac81611192565b82525050565b5f6020820190506111c55f8301846111a3565b92915050565b5f602082840312156111e0576111df610f70565b5b5f6111ed84828501610fba565b91505092915050565b6111ff81610f93565b82525050565b5f6020820190506112185f8301846111f6565b92915050565b5f806040838503121561123457611233610f70565b5b5f61124185828601610fba565b925050602061125285828601610fba565b9150509250929050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52602260045260245ffd5b5f60028204905060018216806112a057607f821691505b6020821081036112b3576112b261125c565b5b50919050565b6112c28161103f565b81146112cc575f80fd5b50565b5f815190506112dd816112b9565b92915050565b5f602082840312156112f8576112f7610f70565b5b5f611305848285016112cf565b91505092915050565b7f46726f6d206e6f7420766572696669656420284552432d3733342f37333529005f82015250565b5f611342601f83610ed0565b915061134d8261130e565b602082019050919050565b5f6020820190508181035f83015261136f81611336565b9050919050565b7f546f206e6f7420766572696669656420284552432d3733342f373335290000005f82015250565b5f6113aa601d83610ed0565b91506113b582611376565b602082019050919050565b5f6020820190508181035f8301526113d78161139e565b9050919050565b5f6060820190506113f15f8301866111f6565b6113fe60208301856111f6565b61140b60408301846110e6565b949350505050565b7f5472616e7366657220626c6f636b656420284552432d333634332900000000005f82015250565b5f611447601b83610ed0565b915061145282611413565b602082019050919050565b5f6020820190508181035f8301526114748161143b565b9050919050565b7f496e73756666696369656e742062616c616e63650000000000000000000000005f82015250565b5f6114af601483610ed0565b91506114ba8261147b565b602082019050919050565b5f6020820190508181035f8301526114dc816114a3565b9050919050565b7f4e6f7420616c6c6f7765640000000000000000000000000000000000000000005f82015250565b5f611517600b83610ed0565b9150611522826114e3565b602082019050919050565b5f6020820190508181035f8301526115448161150b565b9050919050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52601160045260245ffd5b5f61158282610fce565b915061158d83610fce565b92508282039050818111156115a5576115a461154b565b5b92915050565b5f6115b582610fce565b91506115c083610fce565b92508282019050808211156115d8576115d761154b565b5b92915050565b7f53656e646572206e6f7420766572696669656420284552432d3733342f3733355f8201527f2900000000000000000000000000000000000000000000000000000000000000602082015250565b5f611638602183610ed0565b9150611643826115de565b604082019050919050565b5f6020820190508181035f8301526116658161162c565b9050919050565b7f526563697069656e74206e6f7420766572696669656420284552432d3733342f5f8201527f3733352900000000000000000000000000000000000000000000000000000000602082015250565b5f6116c6602483610ed0565b91506116d18261166c565b604082019050919050565b5f6020820190508181035f8301526116f3816116ba565b905091905056fea2646970667358221220ff5ea3b2727b5a99931944bbf06d4babe91450a9a370b54a745ad90b0d23e24364736f6c63430008140033

0000000000000000000000009ea4c988261c3166764b691c2297fe6975c4ab0e0000000000000000000000003f95ad28a0b68ea29c5becb86a6e6d135628ec19

-----Decoded View---------------
Arg [0] : _identityRegistry (address): 0x9eA4c988261c3166764B691c2297fE6975c4aB0e
Arg [1] : _compliance (address): 0x3F95Ad28A0b68Ea29C5beCb86A6e6d135628ec19

-----Encoded View---------------
2 Constructor Arguments found :
Arg [0] : 0000000000000000000000009ea4c988261c3166764b691c2297fe6975c4ab0e
Arg [1] : 0000000000000000000000003f95ad28a0b68ea29c5becb86a6e6d135628ec19

600:2799:0:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;622:82;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;2344:204;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;967:41;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;781:26;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;2556:676;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;748:26;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;1015:29;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;816:44;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;940:20;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;711:30;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;1757:579;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;867:64;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;622:82;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::o;2344:204::-;2411:4;2461:5;2428:9;:21;2438:10;2428:21;;;;;;;;;;;;;;;:30;2450:7;2428:30;;;;;;;;;;;;;;;:38;;;;2503:7;2482:36;;2491:10;2482:36;;;2512:5;2482:36;;;;;;:::i;:::-;;;;;;;;2536:4;2529:11;;2344:204;;;;:::o;967:41::-;;;;;;;;;;;;;:::o;781:26::-;;;;:::o;2556:676::-;2637:4;2662:16;;;;;;;;;;;:27;;;2690:4;2662:33;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;2654:77;;;;;;;;;;;;:::i;:::-;;;;;;;;;2750:16;;;;;;;;;;;:27;;;2778:2;2750:31;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;2742:73;;;;;;;;;;;;:::i;:::-;;;;;;;;;2834:10;;;;;;;;;;;:22;;;2857:4;2863:2;2867:5;2834:39;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;2826:79;;;;;;;;;;;;:::i;:::-;;;;;;;;;2943:5;2924:9;:15;2934:4;2924:15;;;;;;;;;;;;;;;;:24;;2916:57;;;;;;;;;;;;:::i;:::-;;;;;;;;;3023:5;2992:9;:15;3002:4;2992:15;;;;;;;;;;;;;;;:27;3008:10;2992:27;;;;;;;;;;;;;;;;:36;;2984:60;;;;;;;;;;;;:::i;:::-;;;;;;;;;3088:5;3057:9;:15;3067:4;3057:15;;;;;;;;;;;;;;;:27;3073:10;3057:27;;;;;;;;;;;;;;;;:36;;;;;;;:::i;:::-;;;;;;;;3123:5;3104:9;:15;3114:4;3104:15;;;;;;;;;;;;;;;;:24;;;;;;;:::i;:::-;;;;;;;;3156:5;3139:9;:13;3149:2;3139:13;;;;;;;;;;;;;;;;:22;;;;;;;:::i;:::-;;;;;;;;3192:2;3177:25;;3186:4;3177:25;;;3196:5;3177:25;;;;;;:::i;:::-;;;;;;;;3220:4;3213:11;;2556:676;;;;;:::o;748:26::-;;;;;;;;;;;;;:::o;1015:29::-;;;;;;;;;;;;;:::o;816:44::-;;;;;;;;;;;;;;;;;:::o;940:20::-;;;;;;;;;;;;;:::o;711:30::-;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::o;1757:579::-;1820:4;1845:16;;;;;;;;;;;:27;;;1873:10;1845:39;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;1837:85;;;;;;;;;;;;:::i;:::-;;;;;;;;;1941:16;;;;;;;;;;;:27;;;1969:2;1941:31;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;1933:80;;;;;;;;;;;;:::i;:::-;;;;;;;;;2032:10;;;;;;;;;;;:22;;;2055:10;2067:2;2071:5;2032:45;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;2024:85;;;;;;;;;;;;:::i;:::-;;;;;;;;;2153:5;2128:9;:21;2138:10;2128:21;;;;;;;;;;;;;;;;:30;;2120:63;;;;;;;;;;;;:::i;:::-;;;;;;;;;2221:5;2196:9;:21;2206:10;2196:21;;;;;;;;;;;;;;;;:30;;;;;;;:::i;:::-;;;;;;;;2254:5;2237:9;:13;2247:2;2237:13;;;;;;;;;;;;;;;;:22;;;;;;;:::i;:::-;;;;;;;;2296:2;2275:31;;2284:10;2275:31;;;2300:5;2275:31;;;;;;:::i;:::-;;;;;;;;2324:4;2317:11;;1757:579;;;;:::o;867: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;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: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:144::-;5884:9;5917:37;5948:5;5917:37;:::i;:::-;5904:50;;5816:144;;;:::o;5966:167::-;6071:55;6120:5;6071:55;:::i;:::-;6066:3;6059:68;5966:167;;:::o;6139:258::-;6250:4;6288:2;6277:9;6273:18;6265:26;;6301:89;6387:1;6376:9;6372:17;6363:6;6301:89;:::i;:::-;6139:258;;;;:::o;6403:329::-;6462:6;6511:2;6499:9;6490:7;6486:23;6482:32;6479:119;;;6517:79;;:::i;:::-;6479:119;6637:1;6662:53;6707:7;6698:6;6687:9;6683:22;6662:53;:::i;:::-;6652:63;;6608:117;6403:329;;;;:::o;6738:118::-;6825:24;6843:5;6825:24;:::i;:::-;6820:3;6813:37;6738:118;;:::o;6862:222::-;6955:4;6993:2;6982:9;6978:18;6970:26;;7006:71;7074:1;7063:9;7059:17;7050:6;7006:71;:::i;:::-;6862:222;;;;:::o;7090:474::-;7158:6;7166;7215:2;7203:9;7194:7;7190:23;7186:32;7183:119;;;7221:79;;:::i;:::-;7183:119;7341:1;7366:53;7411:7;7402:6;7391:9;7387:22;7366:53;:::i;:::-;7356:63;;7312:117;7468:2;7494:53;7539:7;7530:6;7519:9;7515:22;7494:53;:::i;:::-;7484:63;;7439:118;7090:474;;;;;:::o;7570:180::-;7618:77;7615:1;7608:88;7715:4;7712:1;7705:15;7739:4;7736:1;7729:15;7756:320;7800:6;7837:1;7831:4;7827:12;7817:22;;7884:1;7878:4;7874:12;7905:18;7895:81;;7961:4;7953:6;7949:17;7939:27;;7895:81;8023:2;8015:6;8012:14;7992:18;7989:38;7986:84;;8042:18;;:::i;:::-;7986:84;7807:269;7756:320;;;:::o;8082:116::-;8152:21;8167:5;8152:21;:::i;:::-;8145:5;8142:32;8132:60;;8188:1;8185;8178:12;8132:60;8082:116;:::o;8204:137::-;8258:5;8289:6;8283:13;8274:22;;8305:30;8329:5;8305:30;:::i;:::-;8204:137;;;;:::o;8347:345::-;8414:6;8463:2;8451:9;8442:7;8438:23;8434:32;8431:119;;;8469:79;;:::i;:::-;8431:119;8589:1;8614:61;8667:7;8658:6;8647:9;8643:22;8614:61;:::i;:::-;8604:71;;8560:125;8347:345;;;;:::o;8698:181::-;8838:33;8834:1;8826:6;8822:14;8815:57;8698:181;:::o;8885:366::-;9027:3;9048:67;9112:2;9107:3;9048:67;:::i;:::-;9041:74;;9124:93;9213:3;9124:93;:::i;:::-;9242:2;9237:3;9233:12;9226:19;;8885:366;;;:::o;9257:419::-;9423:4;9461:2;9450:9;9446:18;9438:26;;9510:9;9504:4;9500:20;9496:1;9485:9;9481:17;9474:47;9538:131;9664:4;9538:131;:::i;:::-;9530:139;;9257:419;;;:::o;9682:179::-;9822:31;9818:1;9810:6;9806:14;9799:55;9682:179;:::o;9867:366::-;10009:3;10030:67;10094:2;10089:3;10030:67;:::i;:::-;10023:74;;10106:93;10195:3;10106:93;:::i;:::-;10224:2;10219:3;10215:12;10208:19;;9867:366;;;:::o;10239:419::-;10405:4;10443:2;10432:9;10428:18;10420:26;;10492:9;10486:4;10482:20;10478:1;10467:9;10463:17;10456:47;10520:131;10646:4;10520:131;:::i;:::-;10512:139;;10239:419;;;:::o;10664:442::-;10813:4;10851:2;10840:9;10836:18;10828:26;;10864:71;10932:1;10921:9;10917:17;10908:6;10864:71;:::i;:::-;10945:72;11013:2;11002:9;10998:18;10989:6;10945:72;:::i;:::-;11027;11095:2;11084:9;11080:18;11071:6;11027:72;:::i;:::-;10664:442;;;;;;:::o;11112:177::-;11252:29;11248:1;11240:6;11236:14;11229:53;11112:177;:::o;11295:366::-;11437:3;11458:67;11522:2;11517:3;11458:67;:::i;:::-;11451:74;;11534:93;11623:3;11534:93;:::i;:::-;11652:2;11647:3;11643:12;11636:19;;11295:366;;;:::o;11667:419::-;11833:4;11871:2;11860:9;11856:18;11848:26;;11920:9;11914:4;11910:20;11906:1;11895:9;11891:17;11884:47;11948:131;12074:4;11948:131;:::i;:::-;11940:139;;11667:419;;;:::o;12092:170::-;12232:22;12228:1;12220:6;12216:14;12209:46;12092:170;:::o;12268:366::-;12410:3;12431:67;12495:2;12490:3;12431:67;:::i;:::-;12424:74;;12507:93;12596:3;12507:93;:::i;:::-;12625:2;12620:3;12616:12;12609:19;;12268:366;;;:::o;12640:419::-;12806:4;12844:2;12833:9;12829:18;12821:26;;12893:9;12887:4;12883:20;12879:1;12868:9;12864:17;12857:47;12921:131;13047:4;12921:131;:::i;:::-;12913:139;;12640:419;;;:::o;13065:161::-;13205:13;13201:1;13193:6;13189:14;13182:37;13065:161;:::o;13232:366::-;13374:3;13395:67;13459:2;13454:3;13395:67;:::i;:::-;13388:74;;13471:93;13560:3;13471:93;:::i;:::-;13589:2;13584:3;13580:12;13573:19;;13232:366;;;:::o;13604:419::-;13770:4;13808:2;13797:9;13793:18;13785:26;;13857:9;13851:4;13847:20;13843:1;13832:9;13828:17;13821:47;13885:131;14011:4;13885:131;:::i;:::-;13877:139;;13604:419;;;:::o;14029:180::-;14077:77;14074:1;14067:88;14174:4;14171:1;14164:15;14198:4;14195:1;14188:15;14215:194;14255:4;14275:20;14293:1;14275:20;:::i;:::-;14270:25;;14309:20;14327:1;14309:20;:::i;:::-;14304:25;;14353:1;14350;14346:9;14338:17;;14377:1;14371:4;14368:11;14365:37;;;14382:18;;:::i;:::-;14365:37;14215:194;;;;:::o;14415:191::-;14455:3;14474:20;14492:1;14474:20;:::i;:::-;14469:25;;14508:20;14526:1;14508:20;:::i;:::-;14503:25;;14551:1;14548;14544:9;14537:16;;14572:3;14569:1;14566:10;14563:36;;;14579:18;;:::i;:::-;14563:36;14415:191;;;;:::o;14612:220::-;14752:34;14748:1;14740:6;14736:14;14729:58;14821:3;14816:2;14808:6;14804:15;14797:28;14612:220;:::o;14838:366::-;14980:3;15001:67;15065:2;15060:3;15001:67;:::i;:::-;14994:74;;15077:93;15166:3;15077:93;:::i;:::-;15195:2;15190:3;15186:12;15179:19;;14838:366;;;:::o;15210:419::-;15376:4;15414:2;15403:9;15399:18;15391:26;;15463:9;15457:4;15453:20;15449:1;15438:9;15434:17;15427:47;15491:131;15617:4;15491:131;:::i;:::-;15483:139;;15210:419;;;:::o;15635:223::-;15775:34;15771:1;15763:6;15759:14;15752:58;15844:6;15839:2;15831:6;15827:15;15820:31;15635:223;:::o;15864:366::-;16006:3;16027:67;16091:2;16086:3;16027:67;:::i;:::-;16020:74;;16103:93;16192:3;16103:93;:::i;:::-;16221:2;16216:3;16212:12;16205:19;;15864:366;;;:::o;16236:419::-;16402:4;16440:2;16429:9;16425:18;16417:26;;16489:9;16483:4;16479:20;16475:1;16464:9;16460:17;16453:47;16517:131;16643:4;16517:131;:::i;:::-;16509:139;;16236:419;;;:::o

ipfs://ff5ea3b2727b5a99931944bbf06d4babe91450a9a370b54a745ad90b0d23e243