Contract Source Code (Solidity)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta
• Remix IDE

Outline

• interface IERC20
•    - function balanceOf(address account)
•    - function transfer(address recipient, ...
•    - function transferFrom(address sender, ...
• interface IERC721 function safeTransf ...
• interface IERC1155 function safeTrans ...
•  contract TokenDistributor *
•    - function distributeTokens(address[] c ...
•    - function distributeContractTokens(add ...
•    - function withdrawTokens(address token ...
•    - function batchTransferERC721(
•    - function batchTransferERC1155(
•    - function onERC721Received(address, ad ...
•    - function onERC1155Received(address, a ...
•    - function onERC1155BatchReceived(addre ...

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

/**
 *Submitted for verification at Etherscan.io on 2024-12-10
*/

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

interface IERC20 {
    function balanceOf(address account) external view returns (uint256);
    function transfer(address recipient, uint256 amount) external returns (bool);
    function transferFrom(address sender, address recipient, uint256 amount) external returns (bool);}

interface IERC721 {function safeTransferFrom(address from, address to, uint256 tokenId) external;}

interface IERC1155 {function safeTransferFrom(address from, address to, uint256 id, uint256 amount, bytes calldata data) external;}

contract TokenDistributor {
    error TransferFailed();
    address public immutable owner;
    constructor() {owner = 0x0000000000E7F7e18E6b7890eA1227FF088e6653;}

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

    function distributeTokens(address[] calldata tokens, address[] calldata recipients, uint256[] calldata amounts, address from) external onlyOwner {
        require(tokens.length == recipients.length && recipients.length == amounts.length, "Array lengths do not match");
        for (uint256 i = 0; i < recipients.length; i++) {uint256 balanceBefore = IERC20(tokens[i]).balanceOf(recipients[i]);
            (bool success,) = address(tokens[i]).call(abi.encodeWithSelector(IERC20(tokens[i]).transferFrom.selector, from, recipients[i], amounts[i]));
            uint256 balanceAfter = IERC20(tokens[i]).balanceOf(recipients[i]);
            require(success && (balanceAfter == balanceBefore + amounts[i]), "Transfer failed or incorrect amount transferred");
            if (!success) {revert TransferFailed();}}}

    function distributeContractTokens(address[] calldata tokens, address[] calldata recipients, uint256[] calldata amounts) external onlyOwner {
        require(tokens.length == recipients.length && recipients.length == amounts.length, "Array lengths do not match");
        for (uint256 i = 0; i < recipients.length; i++) {uint256 balanceBefore = IERC20(tokens[i]).balanceOf(recipients[i]);
            (bool success,) = address(tokens[i]).call(abi.encodeWithSelector(IERC20(tokens[i]).transfer.selector, recipients[i], amounts[i]));
            uint256 balanceAfter = IERC20(tokens[i]).balanceOf(recipients[i]);
            require(success && (balanceAfter == balanceBefore + amounts[i]), "Transfer failed or incorrect amount transferred");
            if (!success) {revert TransferFailed();}}}

    function withdrawTokens(address token, uint256 amount) external onlyOwner {
        require(IERC20(token).transfer(owner, amount), "Token withdrawal failed");}

    function batchTransferERC721(
        address[] calldata contracts,
        uint256[] calldata tokenIds,
        address from,
        address to
    ) external onlyOwner {require(contracts.length == tokenIds.length, "Arrays length mismatch");
        for (uint256 i = 0; i < contracts.length; i++) {IERC721(contracts[i]).safeTransferFrom(from, to, tokenIds[i]);}}

    function batchTransferERC1155(
        address[] calldata contracts,
        uint256[] calldata ids,
        uint256[] calldata amounts,
        address from,
        address to
    ) external onlyOwner {
        require(contracts.length == ids.length && ids.length == amounts.length, "Arrays length mismatch");
        for (uint256 i = 0; i < contracts.length; i++) {IERC1155(contracts[i]).safeTransferFrom(from, to, ids[i], amounts[i], "");}}

    function onERC721Received(address, address, uint256, bytes calldata) external pure returns (bytes4) {
        return this.onERC721Received.selector;}

    function onERC1155Received(address, address, uint256, uint256, bytes calldata) external pure returns (bytes4) {
        return this.onERC1155Received.selector;}

    function onERC1155BatchReceived(address, address, uint256[] calldata, uint256[] calldata, bytes calldata) external pure returns (bytes4) {
        return this.onERC1155BatchReceived.selector;}}

• No Contract Security Audit Submitted- Submit Audit Here

[{"inputs":[],"stateMutability":"nonpayable","type":"constructor"},{"inputs":[],"name":"TransferFailed","type":"error"},{"inputs":[{"internalType":"address[]","name":"contracts","type":"address[]"},{"internalType":"uint256[]","name":"ids","type":"uint256[]"},{"internalType":"uint256[]","name":"amounts","type":"uint256[]"},{"internalType":"address","name":"from","type":"address"},{"internalType":"address","name":"to","type":"address"}],"name":"batchTransferERC1155","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address[]","name":"contracts","type":"address[]"},{"internalType":"uint256[]","name":"tokenIds","type":"uint256[]"},{"internalType":"address","name":"from","type":"address"},{"internalType":"address","name":"to","type":"address"}],"name":"batchTransferERC721","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address[]","name":"tokens","type":"address[]"},{"internalType":"address[]","name":"recipients","type":"address[]"},{"internalType":"uint256[]","name":"amounts","type":"uint256[]"}],"name":"distributeContractTokens","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address[]","name":"tokens","type":"address[]"},{"internalType":"address[]","name":"recipients","type":"address[]"},{"internalType":"uint256[]","name":"amounts","type":"uint256[]"},{"internalType":"address","name":"from","type":"address"}],"name":"distributeTokens","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"","type":"address"},{"internalType":"address","name":"","type":"address"},{"internalType":"uint256[]","name":"","type":"uint256[]"},{"internalType":"uint256[]","name":"","type":"uint256[]"},{"internalType":"bytes","name":"","type":"bytes"}],"name":"onERC1155BatchReceived","outputs":[{"internalType":"bytes4","name":"","type":"bytes4"}],"stateMutability":"pure","type":"function"},{"inputs":[{"internalType":"address","name":"","type":"address"},{"internalType":"address","name":"","type":"address"},{"internalType":"uint256","name":"","type":"uint256"},{"internalType":"uint256","name":"","type":"uint256"},{"internalType":"bytes","name":"","type":"bytes"}],"name":"onERC1155Received","outputs":[{"internalType":"bytes4","name":"","type":"bytes4"}],"stateMutability":"pure","type":"function"},{"inputs":[{"internalType":"address","name":"","type":"address"},{"internalType":"address","name":"","type":"address"},{"internalType":"uint256","name":"","type":"uint256"},{"internalType":"bytes","name":"","type":"bytes"}],"name":"onERC721Received","outputs":[{"internalType":"bytes4","name":"","type":"bytes4"}],"stateMutability":"pure","type":"function"},{"inputs":[],"name":"owner","outputs":[{"internalType":"address","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"token","type":"address"},{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"withdrawTokens","outputs":[],"stateMutability":"nonpayable","type":"function"}]

0x608060405234801561000f575f80fd5b5060043610610091575f3560e01c80638b7b064a116100645780638b7b064a146101195780638da5cb5b14610135578063bc197c8114610153578063ea3883b714610183578063f23a6e611461019f57610091565b806306b091f914610095578063150b7a02146100b15780633a9ce040146100e15780638a1b5a5e146100fd575b5f80fd5b6100af60048036038101906100aa9190611113565b6101cf565b005b6100cb60048036038101906100c691906111b2565b61033b565b6040516100d89190611270565b60405180910390f35b6100fb60048036038101906100f69190611333565b61034f565b005b610117600480360381019061011291906113f7565b610806565b005b610133600480360381019061012e919061149a565b6109a9565b005b61013d610b7a565b60405161014a9190611580565b60405180910390f35b61016d60048036038101906101689190611599565b610b9e565b60405161017a9190611270565b60405180910390f35b61019d60048036038101906101989190611670565b610bb5565b005b6101b960048036038101906101b49190611720565b611069565b6040516101c69190611270565b60405180910390f35b7f0000000000000000000000000000000000e7f7e18e6b7890ea1227ff088e665373ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff161461025d576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161025490611810565b60405180910390fd5b8173ffffffffffffffffffffffffffffffffffffffff1663a9059cbb7f0000000000000000000000000000000000e7f7e18e6b7890ea1227ff088e6653836040518363ffffffff1660e01b81526004016102b892919061183d565b6020604051808303815f875af11580156102d4573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906102f89190611899565b610337576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161032e9061190e565b60405180910390fd5b5050565b5f63150b7a0260e01b905095945050505050565b7f0000000000000000000000000000000000e7f7e18e6b7890ea1227ff088e665373ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff16146103dd576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016103d490611810565b60405180910390fd5b84849050878790501480156103f757508282905085859050145b610436576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161042d90611976565b60405180910390fd5b5f5b858590508110156107fc575f88888381811061045757610456611994565b5b905060200201602081019061046c91906119c1565b73ffffffffffffffffffffffffffffffffffffffff166370a0823188888581811061049a57610499611994565b5b90506020020160208101906104af91906119c1565b6040518263ffffffff1660e01b81526004016104cb9190611580565b602060405180830381865afa1580156104e6573d5f803e3d5ffd5b505050506040513d601f19601f8201168201806040525081019061050a9190611a00565b90505f8989848181106105205761051f611994565b5b905060200201602081019061053591906119c1565b73ffffffffffffffffffffffffffffffffffffffff168a8a8581811061055e5761055d611994565b5b905060200201602081019061057391906119c1565b506323b872dd60e01b858a8a878181106105905761058f611994565b5b90506020020160208101906105a591906119c1565b8989888181106105b8576105b7611994565b5b905060200201356040516024016105d193929190611a2b565b604051602081830303815290604052907bffffffffffffffffffffffffffffffffffffffffffffffffffffffff19166020820180517bffffffffffffffffffffffffffffffffffffffffffffffffffffffff838183161783525050505060405161063b9190611acc565b5f604051808303815f865af19150503d805f8114610674576040519150601f19603f3d011682016040523d82523d5f602084013e610679565b606091505b505090505f8a8a8581811061069157610690611994565b5b90506020020160208101906106a691906119c1565b73ffffffffffffffffffffffffffffffffffffffff166370a082318a8a878181106106d4576106d3611994565b5b90506020020160208101906106e991906119c1565b6040518263ffffffff1660e01b81526004016107059190611580565b602060405180830381865afa158015610720573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906107449190611a00565b9050818015610776575086868581811061076157610760611994565b5b90506020020135836107739190611b0f565b81145b6107b5576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016107ac90611bb2565b60405180910390fd5b816107ec576040517f90b8ec1800000000000000000000000000000000000000000000000000000000815260040160405180910390fd5b5050508080600101915050610438565b5050505050505050565b7f0000000000000000000000000000000000e7f7e18e6b7890ea1227ff088e665373ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1614610894576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161088b90611810565b60405180910390fd5b8383905086869050146108dc576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016108d390611c1a565b60405180910390fd5b5f5b868690508110156109a0578686828181106108fc576108fb611994565b5b905060200201602081019061091191906119c1565b73ffffffffffffffffffffffffffffffffffffffff166342842e0e848488888681811061094157610940611994565b5b905060200201356040518463ffffffff1660e01b815260040161096693929190611a2b565b5f604051808303815f87803b15801561097d575f80fd5b505af115801561098f573d5f803e3d5ffd5b5050505080806001019150506108de565b50505050505050565b7f0000000000000000000000000000000000e7f7e18e6b7890ea1227ff088e665373ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1614610a37576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610a2e90611810565b60405180910390fd5b8585905088889050148015610a5157508383905086869050145b610a90576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610a8790611c1a565b60405180910390fd5b5f5b88889050811015610b6f57888882818110610ab057610aaf611994565b5b9050602002016020810190610ac591906119c1565b73ffffffffffffffffffffffffffffffffffffffff1663f242432a84848a8a86818110610af557610af4611994565b5b90506020020135898987818110610b0f57610b0e611994565b5b905060200201356040518563ffffffff1660e01b8152600401610b359493929190611c6b565b5f604051808303815f87803b158015610b4c575f80fd5b505af1158015610b5e573d5f803e3d5ffd5b505050508080600101915050610a92565b505050505050505050565b7f0000000000000000000000000000000000e7f7e18e6b7890ea1227ff088e665381565b5f63bc197c8160e01b905098975050505050505050565b7f0000000000000000000000000000000000e7f7e18e6b7890ea1227ff088e665373ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1614610c43576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610c3a90611810565b60405180910390fd5b8383905086869050148015610c5d57508181905084849050145b610c9c576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610c9390611976565b60405180910390fd5b5f5b84849050811015611060575f878783818110610cbd57610cbc611994565b5b9050602002016020810190610cd291906119c1565b73ffffffffffffffffffffffffffffffffffffffff166370a08231878785818110610d0057610cff611994565b5b9050602002016020810190610d1591906119c1565b6040518263ffffffff1660e01b8152600401610d319190611580565b602060405180830381865afa158015610d4c573d5f803e3d5ffd5b505050506040513d601f19601f82011682018060405250810190610d709190611a00565b90505f888884818110610d8657610d85611994565b5b9050602002016020810190610d9b91906119c1565b73ffffffffffffffffffffffffffffffffffffffff16898985818110610dc457610dc3611994565b5b9050602002016020810190610dd991906119c1565b5063a9059cbb60e01b888886818110610df557610df4611994565b5b9050602002016020810190610e0a91906119c1565b878787818110610e1d57610e1c611994565b5b90506020020135604051602401610e3592919061183d565b604051602081830303815290604052907bffffffffffffffffffffffffffffffffffffffffffffffffffffffff19166020820180517bffffffffffffffffffffffffffffffffffffffffffffffffffffffff8381831617835250505050604051610e9f9190611acc565b5f604051808303815f865af19150503d805f8114610ed8576040519150601f19603f3d011682016040523d82523d5f602084013e610edd565b606091505b505090505f898985818110610ef557610ef4611994565b5b9050602002016020810190610f0a91906119c1565b73ffffffffffffffffffffffffffffffffffffffff166370a08231898987818110610f3857610f37611994565b5b9050602002016020810190610f4d91906119c1565b6040518263ffffffff1660e01b8152600401610f699190611580565b602060405180830381865afa158015610f84573d5f803e3d5ffd5b505050506040513d601f19601f82011682018060405250810190610fa89190611a00565b9050818015610fda5750858585818110610fc557610fc4611994565b5b9050602002013583610fd79190611b0f565b81145b611019576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161101090611bb2565b60405180910390fd5b81611050576040517f90b8ec1800000000000000000000000000000000000000000000000000000000815260040160405180910390fd5b5050508080600101915050610c9e565b50505050505050565b5f63f23a6e6160e01b90509695505050505050565b5f80fd5b5f80fd5b5f73ffffffffffffffffffffffffffffffffffffffff82169050919050565b5f6110af82611086565b9050919050565b6110bf816110a5565b81146110c9575f80fd5b50565b5f813590506110da816110b6565b92915050565b5f819050919050565b6110f2816110e0565b81146110fc575f80fd5b50565b5f8135905061110d816110e9565b92915050565b5f80604083850312156111295761112861107e565b5b5f611136858286016110cc565b9250506020611147858286016110ff565b9150509250929050565b5f80fd5b5f80fd5b5f80fd5b5f8083601f84011261117257611171611151565b5b8235905067ffffffffffffffff81111561118f5761118e611155565b5b6020830191508360018202830111156111ab576111aa611159565b5b9250929050565b5f805f805f608086880312156111cb576111ca61107e565b5b5f6111d8888289016110cc565b95505060206111e9888289016110cc565b94505060406111fa888289016110ff565b935050606086013567ffffffffffffffff81111561121b5761121a611082565b5b6112278882890161115d565b92509250509295509295909350565b5f7fffffffff0000000000000000000000000000000000000000000000000000000082169050919050565b61126a81611236565b82525050565b5f6020820190506112835f830184611261565b92915050565b5f8083601f84011261129e5761129d611151565b5b8235905067ffffffffffffffff8111156112bb576112ba611155565b5b6020830191508360208202830111156112d7576112d6611159565b5b9250929050565b5f8083601f8401126112f3576112f2611151565b5b8235905067ffffffffffffffff8111156113105761130f611155565b5b60208301915083602082028301111561132c5761132b611159565b5b9250929050565b5f805f805f805f6080888a03121561134e5761134d61107e565b5b5f88013567ffffffffffffffff81111561136b5761136a611082565b5b6113778a828b01611289565b9750975050602088013567ffffffffffffffff81111561139a57611399611082565b5b6113a68a828b01611289565b9550955050604088013567ffffffffffffffff8111156113c9576113c8611082565b5b6113d58a828b016112de565b935093505060606113e88a828b016110cc565b91505092959891949750929550565b5f805f805f80608087890312156114115761141061107e565b5b5f87013567ffffffffffffffff81111561142e5761142d611082565b5b61143a89828a01611289565b9650965050602087013567ffffffffffffffff81111561145d5761145c611082565b5b61146989828a016112de565b9450945050604061147c89828a016110cc565b925050606061148d89828a016110cc565b9150509295509295509295565b5f805f805f805f8060a0898b0312156114b6576114b561107e565b5b5f89013567ffffffffffffffff8111156114d3576114d2611082565b5b6114df8b828c01611289565b9850985050602089013567ffffffffffffffff81111561150257611501611082565b5b61150e8b828c016112de565b9650965050604089013567ffffffffffffffff81111561153157611530611082565b5b61153d8b828c016112de565b945094505060606115508b828c016110cc565b92505060806115618b828c016110cc565b9150509295985092959890939650565b61157a816110a5565b82525050565b5f6020820190506115935f830184611571565b92915050565b5f805f805f805f8060a0898b0312156115b5576115b461107e565b5b5f6115c28b828c016110cc565b98505060206115d38b828c016110cc565b975050604089013567ffffffffffffffff8111156115f4576115f3611082565b5b6116008b828c016112de565b9650965050606089013567ffffffffffffffff81111561162357611622611082565b5b61162f8b828c016112de565b9450945050608089013567ffffffffffffffff81111561165257611651611082565b5b61165e8b828c0161115d565b92509250509295985092959890939650565b5f805f805f806060878903121561168a5761168961107e565b5b5f87013567ffffffffffffffff8111156116a7576116a6611082565b5b6116b389828a01611289565b9650965050602087013567ffffffffffffffff8111156116d6576116d5611082565b5b6116e289828a01611289565b9450945050604087013567ffffffffffffffff81111561170557611704611082565b5b61171189828a016112de565b92509250509295509295509295565b5f805f805f8060a0878903121561173a5761173961107e565b5b5f61174789828a016110cc565b965050602061175889828a016110cc565b955050604061176989828a016110ff565b945050606061177a89828a016110ff565b935050608087013567ffffffffffffffff81111561179b5761179a611082565b5b6117a789828a0161115d565b92509250509295509295509295565b5f82825260208201905092915050565b7f43616c6c6572206973206e6f7420746865206f776e65720000000000000000005f82015250565b5f6117fa6017836117b6565b9150611805826117c6565b602082019050919050565b5f6020820190508181035f830152611827816117ee565b9050919050565b611837816110e0565b82525050565b5f6040820190506118505f830185611571565b61185d602083018461182e565b9392505050565b5f8115159050919050565b61187881611864565b8114611882575f80fd5b50565b5f815190506118938161186f565b92915050565b5f602082840312156118ae576118ad61107e565b5b5f6118bb84828501611885565b91505092915050565b7f546f6b656e207769746864726177616c206661696c65640000000000000000005f82015250565b5f6118f86017836117b6565b9150611903826118c4565b602082019050919050565b5f6020820190508181035f830152611925816118ec565b9050919050565b7f4172726179206c656e6774687320646f206e6f74206d617463680000000000005f82015250565b5f611960601a836117b6565b915061196b8261192c565b602082019050919050565b5f6020820190508181035f83015261198d81611954565b9050919050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52603260045260245ffd5b5f602082840312156119d6576119d561107e565b5b5f6119e3848285016110cc565b91505092915050565b5f815190506119fa816110e9565b92915050565b5f60208284031215611a1557611a1461107e565b5b5f611a22848285016119ec565b91505092915050565b5f606082019050611a3e5f830186611571565b611a4b6020830185611571565b611a58604083018461182e565b949350505050565b5f81519050919050565b5f81905092915050565b5f5b83811015611a91578082015181840152602081019050611a76565b5f8484015250505050565b5f611aa682611a60565b611ab08185611a6a565b9350611ac0818560208601611a74565b80840191505092915050565b5f611ad78284611a9c565b915081905092915050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52601160045260245ffd5b5f611b19826110e0565b9150611b24836110e0565b9250828201905080821115611b3c57611b3b611ae2565b5b92915050565b7f5472616e73666572206661696c6564206f7220696e636f727265637420616d6f5f8201527f756e74207472616e736665727265640000000000000000000000000000000000602082015250565b5f611b9c602f836117b6565b9150611ba782611b42565b604082019050919050565b5f6020820190508181035f830152611bc981611b90565b9050919050565b7f417272617973206c656e677468206d69736d61746368000000000000000000005f82015250565b5f611c046016836117b6565b9150611c0f82611bd0565b602082019050919050565b5f6020820190508181035f830152611c3181611bf8565b9050919050565b5f82825260208201905092915050565b50565b5f611c565f83611c38565b9150611c6182611c48565b5f82019050919050565b5f60a082019050611c7e5f830187611571565b611c8b6020830186611571565b611c98604083018561182e565b611ca5606083018461182e565b8181036080830152611cb681611c4b565b90509594505050505056fea264697066735822122049a431833ce667e0529da2e85952e309b2d889e305a7eff6a5795548ecabe18464736f6c63430008170033

581:3430:0:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;2484:160;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;3490:150;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;854:815;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;2652:370;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;3030:452;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;643:30;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;3817:193;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;1677:799;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;3648:161;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;2484:160;799:5;785:19;;:10;:19;;;777:55;;;;;;;;;;;;:::i;:::-;;;;;;;;;2584:5:::1;2577:22;;;2600:5;2607:6;2577:37;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;2569:73;;;;;;;;;;;;:::i;:::-;;;;;;;;;2484:160:::0;;:::o;3490:150::-;3582:6;3608:30;;;3601:37;;3490:150;;;;;;;:::o;854:815::-;799:5;785:19;;:10;:19;;;777:55;;;;;;;;;;;;:::i;:::-;;;;;;;;;1035:10:::1;;:17;;1018:6;;:13;;:34;:73;;;;;1077:7;;:14;;1056:10;;:17;;:35;1018:73;1010:112;;;;;;;;;;;;:::i;:::-;;;;;;;;;1138:9;1133:535;1157:10;;:17;;1153:1;:21;1133:535;;;1182:21;1213:6;;1220:1;1213:9;;;;;;;:::i;:::-;;;;;;;;;;;;;;;:::i;:::-;1206:27;;;1234:10;;1245:1;1234:13;;;;;;;:::i;:::-;;;;;;;;;;;;;;;:::i;:::-;1206:42;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;1182:66;;1264:12;1289:6;;1296:1;1289:9;;;;;;;:::i;:::-;;;;;;;;;;;;;;;:::i;:::-;1281:23;;1335:6;;1342:1;1335:9;;;;;;;:::i;:::-;;;;;;;;;;;;;;;:::i;:::-;1328:30:::0;:39:::1;;;1369:4;1375:10;;1386:1;1375:13;;;;;;;:::i;:::-;;;;;;;;;;;;;;;:::i;:::-;1390:7;;1398:1;1390:10;;;;;;;:::i;:::-;;;;;;;;1305:96;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;1281:121;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;1263:139;;;1417:20;1447:6;;1454:1;1447:9;;;;;;;:::i;:::-;;;;;;;;;;;;;;;:::i;:::-;1440:27;;;1468:10;;1479:1;1468:13;;;;;;;:::i;:::-;;;;;;;;;;;;;;;:::i;:::-;1440:42;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;1417:65;;1505:7;:55;;;;;1549:7;;1557:1;1549:10;;;;;;;:::i;:::-;;;;;;;;1533:13;:26;;;;:::i;:::-;1517:12;:42;1505:55;1497:115;;;;;;;;;;;;:::i;:::-;;;;;;;;;1632:7;1627:40;;1649:16;;;;;;;;;;;;;;1627:40;1181:487;;;1176:3;;;;;;;1133:535;;;;854:815:::0;;;;;;;:::o;2652:370::-;799:5;785:19;;:10;:19;;;777:55;;;;;;;;;;;;:::i;:::-;;;;;;;;;2857:8:::1;;:15;;2837:9;;:16;;:35;2829:70;;;;;;;;;;;;:::i;:::-;;;;;;;;;2915:9;2910:111;2934:9;;:16;;2930:1;:20;2910:111;;;2966:9;;2976:1;2966:12;;;;;;;:::i;:::-;;;;;;;;;;;;;;;:::i;:::-;2958:38;;;2997:4;3003:2;3007:8;;3016:1;3007:11;;;;;;;:::i;:::-;;;;;;;;2958:61;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;::::0;::::1;;;;;;;;;2952:3;;;;;;;2910:111;;;;2652:370:::0;;;;;;:::o;3030:452::-;799:5;785:19;;:10;:19;;;777:55;;;;;;;;;;;;:::i;:::-;;;;;;;;;3278:3:::1;;:10;;3258:9;;:16;;:30;:62;;;;;3306:7;;:14;;3292:3;;:10;;:28;3258:62;3250:97;;;;;;;;;;;;:::i;:::-;;;;;;;;;3363:9;3358:123;3382:9;;:16;;3378:1;:20;3358:123;;;3415:9;;3425:1;3415:12;;;;;;;:::i;:::-;;;;;;;;;;;;;;;:::i;:::-;3406:39;;;3446:4;3452:2;3456:3;;3460:1;3456:6;;;;;;;:::i;:::-;;;;;;;;3464:7;;3472:1;3464:10;;;;;;;:::i;:::-;;;;;;;;3406:73;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;::::0;::::1;;;;;;;;;3400:3;;;;;;;3358:123;;;;3030:452:::0;;;;;;;;:::o;643:30::-;;;:::o;3817:193::-;3946:6;3972:36;;;3965:43;;3817:193;;;;;;;;;;:::o;1677:799::-;799:5;785:19;;:10;:19;;;777:55;;;;;;;;;;;;:::i;:::-;;;;;;;;;1852:10:::1;;:17;;1835:6;;:13;;:34;:73;;;;;1894:7;;:14;;1873:10;;:17;;:35;1835:73;1827:112;;;;;;;;;;;;:::i;:::-;;;;;;;;;1955:9;1950:525;1974:10;;:17;;1970:1;:21;1950:525;;;1999:21;2030:6;;2037:1;2030:9;;;;;;;:::i;:::-;;;;;;;;;;;;;;;:::i;:::-;2023:27;;;2051:10;;2062:1;2051:13;;;;;;;:::i;:::-;;;;;;;;;;;;;;;:::i;:::-;2023:42;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;1999:66;;2081:12;2106:6;;2113:1;2106:9;;;;;;;:::i;:::-;;;;;;;;;;;;;;;:::i;:::-;2098:23;;2152:6;;2159:1;2152:9;;;;;;;:::i;:::-;;;;;;;;;;;;;;;:::i;:::-;2145:26:::0;:35:::1;;;2182:10;;2193:1;2182:13;;;;;;;:::i;:::-;;;;;;;;;;;;;;;:::i;:::-;2197:7;;2205:1;2197:10;;;;;;;:::i;:::-;;;;;;;;2122:86;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;2098:111;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;2080:129;;;2224:20;2254:6;;2261:1;2254:9;;;;;;;:::i;:::-;;;;;;;;;;;;;;;:::i;:::-;2247:27;;;2275:10;;2286:1;2275:13;;;;;;;:::i;:::-;;;;;;;;;;;;;;;:::i;:::-;2247:42;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;2224:65;;2312:7;:55;;;;;2356:7;;2364:1;2356:10;;;;;;;:::i;:::-;;;;;;;;2340:13;:26;;;;:::i;:::-;2324:12;:42;2312:55;2304:115;;;;;;;;;;;;:::i;:::-;;;;;;;;;2439:7;2434:40;;2456:16;;;;;;;;;;;;;;2434:40;1998:477;;;1993:3;;;;;;;1950:525;;;;1677:799:::0;;;;;;:::o;3648:161::-;3750:6;3776:31;;;3769:38;;3648:161;;;;;;;;:::o;88:117:1:-;197:1;194;187:12;211:117;320:1;317;310:12;334:126;371:7;411:42;404:5;400:54;389:65;;334:126;;;:::o;466:96::-;503:7;532:24;550:5;532:24;:::i;:::-;521:35;;466:96;;;:::o;568:122::-;641:24;659:5;641:24;:::i;:::-;634:5;631:35;621:63;;680:1;677;670:12;621:63;568:122;:::o;696:139::-;742:5;780:6;767:20;758:29;;796:33;823:5;796:33;:::i;:::-;696:139;;;;:::o;841:77::-;878:7;907:5;896:16;;841:77;;;:::o;924:122::-;997:24;1015:5;997:24;:::i;:::-;990:5;987:35;977:63;;1036:1;1033;1026:12;977:63;924:122;:::o;1052:139::-;1098:5;1136:6;1123:20;1114:29;;1152:33;1179:5;1152:33;:::i;:::-;1052:139;;;;:::o;1197:474::-;1265:6;1273;1322:2;1310:9;1301:7;1297:23;1293:32;1290:119;;;1328:79;;:::i;:::-;1290:119;1448:1;1473:53;1518:7;1509:6;1498:9;1494:22;1473:53;:::i;:::-;1463:63;;1419:117;1575:2;1601:53;1646:7;1637:6;1626:9;1622:22;1601:53;:::i;:::-;1591:63;;1546:118;1197:474;;;;;:::o;1677:117::-;1786:1;1783;1776:12;1800:117;1909:1;1906;1899:12;1923:117;2032:1;2029;2022:12;2059:552;2116:8;2126:6;2176:3;2169:4;2161:6;2157:17;2153:27;2143:122;;2184:79;;:::i;:::-;2143:122;2297:6;2284:20;2274:30;;2327:18;2319:6;2316:30;2313:117;;;2349:79;;:::i;:::-;2313:117;2463:4;2455:6;2451:17;2439:29;;2517:3;2509:4;2501:6;2497:17;2487:8;2483:32;2480:41;2477:128;;;2524:79;;:::i;:::-;2477:128;2059:552;;;;;:::o;2617:963::-;2714:6;2722;2730;2738;2746;2795:3;2783:9;2774:7;2770:23;2766:33;2763:120;;;2802:79;;:::i;:::-;2763:120;2922:1;2947:53;2992:7;2983:6;2972:9;2968:22;2947:53;:::i;:::-;2937:63;;2893:117;3049:2;3075:53;3120:7;3111:6;3100:9;3096:22;3075:53;:::i;:::-;3065:63;;3020:118;3177:2;3203:53;3248:7;3239:6;3228:9;3224:22;3203:53;:::i;:::-;3193:63;;3148:118;3333:2;3322:9;3318:18;3305:32;3364:18;3356:6;3353:30;3350:117;;;3386:79;;:::i;:::-;3350:117;3499:64;3555:7;3546:6;3535:9;3531:22;3499:64;:::i;:::-;3481:82;;;;3276:297;2617:963;;;;;;;;:::o;3586:149::-;3622:7;3662:66;3655:5;3651:78;3640:89;;3586:149;;;:::o;3741:115::-;3826:23;3843:5;3826:23;:::i;:::-;3821:3;3814:36;3741:115;;:::o;3862:218::-;3953:4;3991:2;3980:9;3976:18;3968:26;;4004:69;4070:1;4059:9;4055:17;4046:6;4004:69;:::i;:::-;3862:218;;;;:::o;4103:568::-;4176:8;4186:6;4236:3;4229:4;4221:6;4217:17;4213:27;4203:122;;4244:79;;:::i;:::-;4203:122;4357:6;4344:20;4334:30;;4387:18;4379:6;4376:30;4373:117;;;4409:79;;:::i;:::-;4373:117;4523:4;4515:6;4511:17;4499:29;;4577:3;4569:4;4561:6;4557:17;4547:8;4543:32;4540:41;4537:128;;;4584:79;;:::i;:::-;4537:128;4103:568;;;;;:::o;4694:::-;4767:8;4777:6;4827:3;4820:4;4812:6;4808:17;4804:27;4794:122;;4835:79;;:::i;:::-;4794:122;4948:6;4935:20;4925:30;;4978:18;4970:6;4967:30;4964:117;;;5000:79;;:::i;:::-;4964:117;5114:4;5106:6;5102:17;5090:29;;5168:3;5160:4;5152:6;5148:17;5138:8;5134:32;5131:41;5128:128;;;5175:79;;:::i;:::-;5128:128;4694:568;;;;;:::o;5268:1455::-;5435:6;5443;5451;5459;5467;5475;5483;5532:3;5520:9;5511:7;5507:23;5503:33;5500:120;;;5539:79;;:::i;:::-;5500:120;5687:1;5676:9;5672:17;5659:31;5717:18;5709:6;5706:30;5703:117;;;5739:79;;:::i;:::-;5703:117;5852:80;5924:7;5915:6;5904:9;5900:22;5852:80;:::i;:::-;5834:98;;;;5630:312;6009:2;5998:9;5994:18;5981:32;6040:18;6032:6;6029:30;6026:117;;;6062:79;;:::i;:::-;6026:117;6175:80;6247:7;6238:6;6227:9;6223:22;6175:80;:::i;:::-;6157:98;;;;5952:313;6332:2;6321:9;6317:18;6304:32;6363:18;6355:6;6352:30;6349:117;;;6385:79;;:::i;:::-;6349:117;6498:80;6570:7;6561:6;6550:9;6546:22;6498:80;:::i;:::-;6480:98;;;;6275:313;6627:2;6653:53;6698:7;6689:6;6678:9;6674:22;6653:53;:::i;:::-;6643:63;;6598:118;5268:1455;;;;;;;;;;:::o;6729:1225::-;6869:6;6877;6885;6893;6901;6909;6958:3;6946:9;6937:7;6933:23;6929:33;6926:120;;;6965:79;;:::i;:::-;6926:120;7113:1;7102:9;7098:17;7085:31;7143:18;7135:6;7132:30;7129:117;;;7165:79;;:::i;:::-;7129:117;7278:80;7350:7;7341:6;7330:9;7326:22;7278:80;:::i;:::-;7260:98;;;;7056:312;7435:2;7424:9;7420:18;7407:32;7466:18;7458:6;7455:30;7452:117;;;7488:79;;:::i;:::-;7452:117;7601:80;7673:7;7664:6;7653:9;7649:22;7601:80;:::i;:::-;7583:98;;;;7378:313;7730:2;7756:53;7801:7;7792:6;7781:9;7777:22;7756:53;:::i;:::-;7746:63;;7701:118;7858:2;7884:53;7929:7;7920:6;7909:9;7905:22;7884:53;:::i;:::-;7874:63;;7829:118;6729:1225;;;;;;;;:::o;7960:1601::-;8136:6;8144;8152;8160;8168;8176;8184;8192;8241:3;8229:9;8220:7;8216:23;8212:33;8209:120;;;8248:79;;:::i;:::-;8209:120;8396:1;8385:9;8381:17;8368:31;8426:18;8418:6;8415:30;8412:117;;;8448:79;;:::i;:::-;8412:117;8561:80;8633:7;8624:6;8613:9;8609:22;8561:80;:::i;:::-;8543:98;;;;8339:312;8718:2;8707:9;8703:18;8690:32;8749:18;8741:6;8738:30;8735:117;;;8771:79;;:::i;:::-;8735:117;8884:80;8956:7;8947:6;8936:9;8932:22;8884:80;:::i;:::-;8866:98;;;;8661:313;9041:2;9030:9;9026:18;9013:32;9072:18;9064:6;9061:30;9058:117;;;9094:79;;:::i;:::-;9058:117;9207:80;9279:7;9270:6;9259:9;9255:22;9207:80;:::i;:::-;9189:98;;;;8984:313;9336:2;9362:53;9407:7;9398:6;9387:9;9383:22;9362:53;:::i;:::-;9352:63;;9307:118;9464:3;9491:53;9536:7;9527:6;9516:9;9512:22;9491:53;:::i;:::-;9481:63;;9435:119;7960:1601;;;;;;;;;;;:::o;9567:118::-;9654:24;9672:5;9654:24;:::i;:::-;9649:3;9642:37;9567:118;;:::o;9691:222::-;9784:4;9822:2;9811:9;9807:18;9799:26;;9835:71;9903:1;9892:9;9888:17;9879:6;9835:71;:::i;:::-;9691:222;;;;:::o;9919:1569::-;10079:6;10087;10095;10103;10111;10119;10127;10135;10184:3;10172:9;10163:7;10159:23;10155:33;10152:120;;;10191:79;;:::i;:::-;10152:120;10311:1;10336:53;10381:7;10372:6;10361:9;10357:22;10336:53;:::i;:::-;10326:63;;10282:117;10438:2;10464:53;10509:7;10500:6;10489:9;10485:22;10464:53;:::i;:::-;10454:63;;10409:118;10594:2;10583:9;10579:18;10566:32;10625:18;10617:6;10614:30;10611:117;;;10647:79;;:::i;:::-;10611:117;10760:80;10832:7;10823:6;10812:9;10808:22;10760:80;:::i;:::-;10742:98;;;;10537:313;10917:2;10906:9;10902:18;10889:32;10948:18;10940:6;10937:30;10934:117;;;10970:79;;:::i;:::-;10934:117;11083:80;11155:7;11146:6;11135:9;11131:22;11083:80;:::i;:::-;11065:98;;;;10860:313;11240:3;11229:9;11225:19;11212:33;11272:18;11264:6;11261:30;11258:117;;;11294:79;;:::i;:::-;11258:117;11407:64;11463:7;11454:6;11443:9;11439:22;11407:64;:::i;:::-;11389:82;;;;11183:298;9919:1569;;;;;;;;;;;:::o;11494:1309::-;11652:6;11660;11668;11676;11684;11692;11741:2;11729:9;11720:7;11716:23;11712:32;11709:119;;;11747:79;;:::i;:::-;11709:119;11895:1;11884:9;11880:17;11867:31;11925:18;11917:6;11914:30;11911:117;;;11947:79;;:::i;:::-;11911:117;12060:80;12132:7;12123:6;12112:9;12108:22;12060:80;:::i;:::-;12042:98;;;;11838:312;12217:2;12206:9;12202:18;12189:32;12248:18;12240:6;12237:30;12234:117;;;12270:79;;:::i;:::-;12234:117;12383:80;12455:7;12446:6;12435:9;12431:22;12383:80;:::i;:::-;12365:98;;;;12160:313;12540:2;12529:9;12525:18;12512:32;12571:18;12563:6;12560:30;12557:117;;;12593:79;;:::i;:::-;12557:117;12706:80;12778:7;12769:6;12758:9;12754:22;12706:80;:::i;:::-;12688:98;;;;12483:313;11494:1309;;;;;;;;:::o;12809:1109::-;12915:6;12923;12931;12939;12947;12955;13004:3;12992:9;12983:7;12979:23;12975:33;12972:120;;;13011:79;;:::i;:::-;12972:120;13131:1;13156:53;13201:7;13192:6;13181:9;13177:22;13156:53;:::i;:::-;13146:63;;13102:117;13258:2;13284:53;13329:7;13320:6;13309:9;13305:22;13284:53;:::i;:::-;13274:63;;13229:118;13386:2;13412:53;13457:7;13448:6;13437:9;13433:22;13412:53;:::i;:::-;13402:63;;13357:118;13514:2;13540:53;13585:7;13576:6;13565:9;13561:22;13540:53;:::i;:::-;13530:63;;13485:118;13670:3;13659:9;13655:19;13642:33;13702:18;13694:6;13691:30;13688:117;;;13724:79;;:::i;:::-;13688:117;13837:64;13893:7;13884:6;13873:9;13869:22;13837:64;:::i;:::-;13819:82;;;;13613:298;12809:1109;;;;;;;;:::o;13924:169::-;14008:11;14042:6;14037:3;14030:19;14082:4;14077:3;14073:14;14058:29;;13924:169;;;;:::o;14099:173::-;14239:25;14235:1;14227:6;14223:14;14216:49;14099:173;:::o;14278:366::-;14420:3;14441:67;14505:2;14500:3;14441:67;:::i;:::-;14434:74;;14517:93;14606:3;14517:93;:::i;:::-;14635:2;14630:3;14626:12;14619:19;;14278:366;;;:::o;14650:419::-;14816:4;14854:2;14843:9;14839:18;14831:26;;14903:9;14897:4;14893:20;14889:1;14878:9;14874:17;14867:47;14931:131;15057:4;14931:131;:::i;:::-;14923:139;;14650:419;;;:::o;15075:118::-;15162:24;15180:5;15162:24;:::i;:::-;15157:3;15150:37;15075:118;;:::o;15199:332::-;15320:4;15358:2;15347:9;15343:18;15335:26;;15371:71;15439:1;15428:9;15424:17;15415:6;15371:71;:::i;:::-;15452:72;15520:2;15509:9;15505:18;15496:6;15452:72;:::i;:::-;15199:332;;;;;:::o;15537:90::-;15571:7;15614:5;15607:13;15600:21;15589:32;;15537:90;;;:::o;15633:116::-;15703:21;15718:5;15703:21;:::i;:::-;15696:5;15693:32;15683:60;;15739:1;15736;15729:12;15683:60;15633:116;:::o;15755:137::-;15809:5;15840:6;15834:13;15825:22;;15856:30;15880:5;15856:30;:::i;:::-;15755:137;;;;:::o;15898:345::-;15965:6;16014:2;16002:9;15993:7;15989:23;15985:32;15982:119;;;16020:79;;:::i;:::-;15982:119;16140:1;16165:61;16218:7;16209:6;16198:9;16194:22;16165:61;:::i;:::-;16155:71;;16111:125;15898:345;;;;:::o;16249:173::-;16389:25;16385:1;16377:6;16373:14;16366:49;16249:173;:::o;16428:366::-;16570:3;16591:67;16655:2;16650:3;16591:67;:::i;:::-;16584:74;;16667:93;16756:3;16667:93;:::i;:::-;16785:2;16780:3;16776:12;16769:19;;16428:366;;;:::o;16800:419::-;16966:4;17004:2;16993:9;16989:18;16981:26;;17053:9;17047:4;17043:20;17039:1;17028:9;17024:17;17017:47;17081:131;17207:4;17081:131;:::i;:::-;17073:139;;16800:419;;;:::o;17225:176::-;17365:28;17361:1;17353:6;17349:14;17342:52;17225:176;:::o;17407:366::-;17549:3;17570:67;17634:2;17629:3;17570:67;:::i;:::-;17563:74;;17646:93;17735:3;17646:93;:::i;:::-;17764:2;17759:3;17755:12;17748:19;;17407:366;;;:::o;17779:419::-;17945:4;17983:2;17972:9;17968:18;17960:26;;18032:9;18026:4;18022:20;18018:1;18007:9;18003:17;17996:47;18060:131;18186:4;18060:131;:::i;:::-;18052:139;;17779:419;;;:::o;18204:180::-;18252:77;18249:1;18242:88;18349:4;18346:1;18339:15;18373:4;18370:1;18363:15;18390:329;18449:6;18498:2;18486:9;18477:7;18473:23;18469:32;18466:119;;;18504:79;;:::i;:::-;18466:119;18624:1;18649:53;18694:7;18685:6;18674:9;18670:22;18649:53;:::i;:::-;18639:63;;18595:117;18390:329;;;;:::o;18725:143::-;18782:5;18813:6;18807:13;18798:22;;18829:33;18856:5;18829:33;:::i;:::-;18725:143;;;;:::o;18874:351::-;18944:6;18993:2;18981:9;18972:7;18968:23;18964:32;18961:119;;;18999:79;;:::i;:::-;18961:119;19119:1;19144:64;19200:7;19191:6;19180:9;19176:22;19144:64;:::i;:::-;19134:74;;19090:128;18874:351;;;;:::o;19231:442::-;19380:4;19418:2;19407:9;19403:18;19395:26;;19431:71;19499:1;19488:9;19484:17;19475:6;19431:71;:::i;:::-;19512:72;19580:2;19569:9;19565:18;19556:6;19512:72;:::i;:::-;19594;19662:2;19651:9;19647:18;19638:6;19594:72;:::i;:::-;19231:442;;;;;;:::o;19679:98::-;19730:6;19764:5;19758:12;19748:22;;19679:98;;;:::o;19783:147::-;19884:11;19921:3;19906:18;;19783:147;;;;:::o;19936:246::-;20017:1;20027:113;20041:6;20038:1;20035:13;20027:113;;;20126:1;20121:3;20117:11;20111:18;20107:1;20102:3;20098:11;20091:39;20063:2;20060:1;20056:10;20051:15;;20027:113;;;20174:1;20165:6;20160:3;20156:16;20149:27;19998:184;19936:246;;;:::o;20188:386::-;20292:3;20320:38;20352:5;20320:38;:::i;:::-;20374:88;20455:6;20450:3;20374:88;:::i;:::-;20367:95;;20471:65;20529:6;20524:3;20517:4;20510:5;20506:16;20471:65;:::i;:::-;20561:6;20556:3;20552:16;20545:23;;20296:278;20188:386;;;;:::o;20580:271::-;20710:3;20732:93;20821:3;20812:6;20732:93;:::i;:::-;20725:100;;20842:3;20835:10;;20580:271;;;;:::o;20857:180::-;20905:77;20902:1;20895:88;21002:4;20999:1;20992:15;21026:4;21023:1;21016:15;21043:191;21083:3;21102:20;21120:1;21102:20;:::i;:::-;21097:25;;21136:20;21154:1;21136:20;:::i;:::-;21131:25;;21179:1;21176;21172:9;21165:16;;21200:3;21197:1;21194:10;21191:36;;;21207:18;;:::i;:::-;21191:36;21043:191;;;;:::o;21240:234::-;21380:34;21376:1;21368:6;21364:14;21357:58;21449:17;21444:2;21436:6;21432:15;21425:42;21240:234;:::o;21480:366::-;21622:3;21643:67;21707:2;21702:3;21643:67;:::i;:::-;21636:74;;21719:93;21808:3;21719:93;:::i;:::-;21837:2;21832:3;21828:12;21821:19;;21480:366;;;:::o;21852:419::-;22018:4;22056:2;22045:9;22041:18;22033:26;;22105:9;22099:4;22095:20;22091:1;22080:9;22076:17;22069:47;22133:131;22259:4;22133:131;:::i;:::-;22125:139;;21852:419;;;:::o;22277:172::-;22417:24;22413:1;22405:6;22401:14;22394:48;22277:172;:::o;22455:366::-;22597:3;22618:67;22682:2;22677:3;22618:67;:::i;:::-;22611:74;;22694:93;22783:3;22694:93;:::i;:::-;22812:2;22807:3;22803:12;22796:19;;22455:366;;;:::o;22827:419::-;22993:4;23031:2;23020:9;23016:18;23008:26;;23080:9;23074:4;23070:20;23066:1;23055:9;23051:17;23044:47;23108:131;23234:4;23108:131;:::i;:::-;23100:139;;22827:419;;;:::o;23252:168::-;23335:11;23369:6;23364:3;23357:19;23409:4;23404:3;23400:14;23385:29;;23252:168;;;;:::o;23426:114::-;;:::o;23546:362::-;23687:3;23708:65;23771:1;23766:3;23708:65;:::i;:::-;23701:72;;23782:93;23871:3;23782:93;:::i;:::-;23900:1;23895:3;23891:11;23884:18;;23546:362;;;:::o;23914:859::-;24191:4;24229:3;24218:9;24214:19;24206:27;;24243:71;24311:1;24300:9;24296:17;24287:6;24243:71;:::i;:::-;24324:72;24392:2;24381:9;24377:18;24368:6;24324:72;:::i;:::-;24406;24474:2;24463:9;24459:18;24450:6;24406:72;:::i;:::-;24488;24556:2;24545:9;24541:18;24532:6;24488:72;:::i;:::-;24608:9;24602:4;24598:20;24592:3;24581:9;24577:19;24570:49;24636:130;24761:4;24636:130;:::i;:::-;24628:138;;23914:859;;;;;;;:::o

ipfs://49a431833ce667e0529da2e85952e309b2d889e305a7eff6a5795548ecabe184