Contract Source Code (Solidity)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta
• Remix IDE

Outline

• interface IERC20
•    - function totalSupply()
•    - function balanceOf(address account)
•    - function transfer(address to, uint256 ...
•    - function allowance(address owner, add ...
•    - function approve(address spender, uin ...
•    - function transferFrom(
• interface IStarknetCore
•    - function sendMessageToL2(uint toAddre ...
•    - function consumeMessageFromL2(uint fr ...
•  contract Rabbit *
•    - function setRabbitStarknetAddress(uin ...
•    - function setPaymentToken(address _pay ...
•    - function allocateDepositId()
•    - function deposit(uint amount)
•    - function resend (uint amount, address ...
•    - function depositOnStarknet(uint amoun ...
•    - function withdrawTokensTo(uint amount ...
•    - function withdraw()
•    - function consumeMessages(Receipt[] ca ...
•    - function handleWithdrawalReceipt(uint ...
•    - function makeTransfer(address to, uin ...
•    - function makeTransferFrom(address fro ...
•    - function tokenCall(bytes memory data)

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

/**
 *Submitted for verification at Etherscan.io on 2023-02-27
*/

// Sources flattened with hardhat v2.11.2 https://hardhat.org

// File @openzeppelin/contracts/token/ERC20/[email protected]

// SPDX-License-Identifier: BUSL-1.1
// OpenZeppelin Contracts (last updated v4.6.0) (token/ERC20/IERC20.sol)

pragma solidity ^0.8.0;

/**
 * @dev Interface of the ERC20 standard as defined in the EIP.
 */
interface IERC20 {
    /**
     * @dev Emitted when `value` tokens are moved from one account (`from`) to
     * another (`to`).
     *
     * Note that `value` may be zero.
     */
    event Transfer(address indexed from, address indexed to, uint256 value);

    /**
     * @dev Emitted when the allowance of a `spender` for an `owner` is set by
     * a call to {approve}. `value` is the new allowance.
     */
    event Approval(address indexed owner, address indexed spender, uint256 value);

    /**
     * @dev Returns the amount of tokens in existence.
     */
    function totalSupply() external view returns (uint256);

    /**
     * @dev Returns the amount of tokens owned by `account`.
     */
    function balanceOf(address account) external view returns (uint256);

    /**
     * @dev Moves `amount` tokens from the caller's account to `to`.
     *
     * Returns a boolean value indicating whether the operation succeeded.
     *
     * Emits a {Transfer} event.
     */
    function transfer(address to, uint256 amount) external returns (bool);

    /**
     * @dev Returns the remaining number of tokens that `spender` will be
     * allowed to spend on behalf of `owner` through {transferFrom}. This is
     * zero by default.
     *
     * This value changes when {approve} or {transferFrom} are called.
     */
    function allowance(address owner, address spender) external view returns (uint256);

    /**
     * @dev Sets `amount` as the allowance of `spender` over the caller's tokens.
     *
     * Returns a boolean value indicating whether the operation succeeded.
     *
     * IMPORTANT: Beware that changing an allowance with this method brings the risk
     * that someone may use both the old and the new allowance by unfortunate
     * transaction ordering. One possible solution to mitigate this race
     * condition is to first reduce the spender's allowance to 0 and set the
     * desired value afterwards:
     * https://github.com/ethereum/EIPs/issues/20#issuecomment-263524729
     *
     * Emits an {Approval} event.
     */
    function approve(address spender, uint256 amount) external returns (bool);

    /**
     * @dev Moves `amount` tokens from `from` to `to` using the
     * allowance mechanism. `amount` is then deducted from the caller's
     * allowance.
     *
     * Returns a boolean value indicating whether the operation succeeded.
     *
     * Emits a {Transfer} event.
     */
    function transferFrom(
        address from,
        address to,
        uint256 amount
    ) external returns (bool);
}


// File contracts/Rabbit.sol

pragma solidity ^0.8.17;

// import "hardhat/console.sol";

interface IStarknetCore {
    /**
       Sends a message to an L2 contract.

       Returns the hash of the message.
    */
    function sendMessageToL2(uint toAddress, uint selector, uint[] calldata payload)
        external payable returns (bytes32);

    /**
       Consumes a message that was sent from an L2 contract.

       Returns the hash of the message.
    */
    function consumeMessageFromL2(uint fromAddress, uint[] calldata payload)
        external returns (bytes32);
}

contract Rabbit {

    /* Starknet deposit function selector
       It's obtained from the @l1_handler function name (in this 
       case 'deposit_handler') using the following Python code:

       from starkware.starknet.compiler.compile import get_selector_from_name
       print(get_selector_from_name('deposit_handler'))
    */
    uint constant DEPOSIT_SELECTOR = 0x1696B17FB8498D5E407EB2F58D76080BF011D88BB933EFA9A4AC548391251AF;
    uint constant MESSAGE_WITHDRAW_RECEIVED = 0x1010101010101010;
    uint constant UNLOCKED = 1;
    uint constant LOCKED = 2;

    address public immutable owner;
    IStarknetCore public immutable starknetCore;
    uint public rabbitStarknetAddress;
    IERC20 public paymentToken;

    // balance of trader's funds available for withdrawal
    mapping(address => uint) public withdrawableBalance;

    // total of trader's deposits to date
    mapping(address => uint) public deposits;

    // total of trader's withdrawals to date
    mapping(address => uint) public withdrawals;

    uint nextDepositId = 1;
    uint reentryLockStatus = UNLOCKED;

    struct Receipt {
        uint fromAddress;
        address toAddress;
        uint[] payload;
    }

    event Deposit(uint indexed id, address indexed trader, uint amount, bool isResend);
    event Withdraw(address indexed trader, uint amount);
    event WithdrawTo(address indexed to, uint amount);
    event WithdrawalReceipt(address indexed trader, uint amount);
    event UnknownReceipt(uint indexed messageType, uint[] payload);
    event MsgNotFound(uint indexed fromAddress, uint[] payload);

    constructor(address _owner, address _starknetCore, address _paymentToken) {
        owner = _owner;
        starknetCore = IStarknetCore(_starknetCore);
        paymentToken = IERC20(_paymentToken);
    }

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

    modifier nonReentrant() {
        require(reentryLockStatus == UNLOCKED, "NO_REENTRY");
        reentryLockStatus = LOCKED;
        _;
        reentryLockStatus = UNLOCKED;
    }

    function setRabbitStarknetAddress(uint _rabbitStarknetAddress) external onlyOwner {
        rabbitStarknetAddress = _rabbitStarknetAddress;
    }

    function setPaymentToken(address _paymentToken) external onlyOwner {
        paymentToken = IERC20(_paymentToken);
    }

    function allocateDepositId() private returns (uint depositId) {
        depositId = nextDepositId;
        nextDepositId++;
        return depositId;
    }

    // re-entrancy shouldn't be possible anyway, but have nonReentrant modifier as well
    function deposit(uint amount) external nonReentrant {
        bool success = makeTransferFrom(msg.sender, address(this) , amount);
        require(success, "TRANSFER_FAILED");
        deposits[msg.sender] += amount;
        depositOnStarknet(amount, msg.sender, false);
    }

    function resend (uint amount, address trader) external onlyOwner {
        depositOnStarknet(amount, trader, true);
    }

    function depositOnStarknet(uint amount, address trader, bool isResend) private {
        uint depositId = allocateDepositId();
        emit Deposit(depositId, trader, amount, isResend);
        uint traderInt = uint(uint160(trader));
        uint[] memory payload = new uint[](3);
        payload[0] = depositId;
        payload[1] = traderInt;
        payload[2] = amount;
        starknetCore.sendMessageToL2(rabbitStarknetAddress, DEPOSIT_SELECTOR, payload);
    }

    function withdrawTokensTo(uint amount, address to) onlyOwner external {
        require(amount > 0, "WRONG_AMOUNT");
        require(to != address(0), "ZERO_ADDRESS");

        bool success = makeTransfer(to, amount);
        require(success, "TRANSFER_FAILED");


        emit WithdrawTo(to, amount);
    }
    

    // re-entrancy shouldn't be possible anyway, but have nonReentrant modifier as well
    function withdraw() nonReentrant external {
        uint amount = withdrawableBalance[msg.sender];
        require(amount != 0, "INSUFFICIENT_FUNDS");
        withdrawableBalance[msg.sender] = 0;
        emit Withdraw(msg.sender, amount); 
        bool success = makeTransfer(msg.sender, amount);
        require(success, "TRANSFER_FAILED");
    }

    // re-entrancy shouldn't be possible anyway, but have nonReentrant modifier as well
    function consumeMessages(Receipt[] calldata receipts) nonReentrant external {
        for (uint i = 0; i < receipts.length; i++) {            
            Receipt calldata receipt = receipts[i];
            uint[] calldata payload = receipt.payload;
            if (receipt.fromAddress == rabbitStarknetAddress) {
                // Consume the message from the Starknet core contract. This will
                // revert the (Ethereum) transaction if the message does not exist.
                try starknetCore.consumeMessageFromL2(rabbitStarknetAddress, payload) {
                    uint messageType = payload[0];
                    if (messageType == MESSAGE_WITHDRAW_RECEIVED) {
                        handleWithdrawalReceipt(payload);
                    } else {
                        emit UnknownReceipt(messageType, payload);
                    }
                } catch {
                    emit MsgNotFound(rabbitStarknetAddress, payload);
                }
            }
        }
    }

    function handleWithdrawalReceipt(uint[] calldata payload) private {
        uint next = 1;
        uint len = payload.length;
        while (next < len - 1) {
            address trader = address(uint160(payload[next]));
            uint amount = payload[next + 1];
            withdrawals[trader] += amount;
            withdrawableBalance[trader] += amount;
            emit WithdrawalReceipt(trader, amount);
            next = next + 2;
        }
    }

    function makeTransfer(address to, uint256 amount) private returns (bool success) {
        return tokenCall(abi.encodeWithSelector(paymentToken.transfer.selector, to, amount));
    }

    function makeTransferFrom(address from, address to, uint256 amount) private returns (bool success) {
        return tokenCall(abi.encodeWithSelector(paymentToken.transferFrom.selector, from, to, amount));
    }

    function tokenCall(bytes memory data) private returns (bool) {
        (bool success, bytes memory returndata) = address(paymentToken).call(data);
        if (success && returndata.length > 0) {
            success = abi.decode(returndata, (bool));
        }
        return success;
    }
}

• No Contract Security Audit Submitted- Submit Audit Here

[{"inputs":[{"internalType":"address","name":"_owner","type":"address"},{"internalType":"address","name":"_starknetCore","type":"address"},{"internalType":"address","name":"_paymentToken","type":"address"}],"stateMutability":"nonpayable","type":"constructor"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"uint256","name":"id","type":"uint256"},{"indexed":true,"internalType":"address","name":"trader","type":"address"},{"indexed":false,"internalType":"uint256","name":"amount","type":"uint256"},{"indexed":false,"internalType":"bool","name":"isResend","type":"bool"}],"name":"Deposit","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"uint256","name":"fromAddress","type":"uint256"},{"indexed":false,"internalType":"uint256[]","name":"payload","type":"uint256[]"}],"name":"MsgNotFound","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"uint256","name":"messageType","type":"uint256"},{"indexed":false,"internalType":"uint256[]","name":"payload","type":"uint256[]"}],"name":"UnknownReceipt","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"trader","type":"address"},{"indexed":false,"internalType":"uint256","name":"amount","type":"uint256"}],"name":"Withdraw","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"to","type":"address"},{"indexed":false,"internalType":"uint256","name":"amount","type":"uint256"}],"name":"WithdrawTo","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"trader","type":"address"},{"indexed":false,"internalType":"uint256","name":"amount","type":"uint256"}],"name":"WithdrawalReceipt","type":"event"},{"inputs":[{"components":[{"internalType":"uint256","name":"fromAddress","type":"uint256"},{"internalType":"address","name":"toAddress","type":"address"},{"internalType":"uint256[]","name":"payload","type":"uint256[]"}],"internalType":"struct Rabbit.Receipt[]","name":"receipts","type":"tuple[]"}],"name":"consumeMessages","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"deposit","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"","type":"address"}],"name":"deposits","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"owner","outputs":[{"internalType":"address","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"paymentToken","outputs":[{"internalType":"contract IERC20","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"rabbitStarknetAddress","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"uint256","name":"amount","type":"uint256"},{"internalType":"address","name":"trader","type":"address"}],"name":"resend","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"_paymentToken","type":"address"}],"name":"setPaymentToken","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"uint256","name":"_rabbitStarknetAddress","type":"uint256"}],"name":"setRabbitStarknetAddress","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"starknetCore","outputs":[{"internalType":"contract IStarknetCore","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"withdraw","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"uint256","name":"amount","type":"uint256"},{"internalType":"address","name":"to","type":"address"}],"name":"withdrawTokensTo","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"","type":"address"}],"name":"withdrawableBalance","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"","type":"address"}],"name":"withdrawals","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"}]

60c0604052600160055560016006553480156200001b57600080fd5b5060405162001efb38038062001efb83398181016040528101906200004191906200015d565b8273ffffffffffffffffffffffffffffffffffffffff1660808173ffffffffffffffffffffffffffffffffffffffff16815250508173ffffffffffffffffffffffffffffffffffffffff1660a08173ffffffffffffffffffffffffffffffffffffffff168152505080600160006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff160217905550505050620001b9565b600080fd5b600073ffffffffffffffffffffffffffffffffffffffff82169050919050565b60006200012582620000f8565b9050919050565b620001378162000118565b81146200014357600080fd5b50565b60008151905062000157816200012c565b92915050565b600080600060608486031215620001795762000178620000f3565b5b6000620001898682870162000146565b93505060206200019c8682870162000146565b9250506040620001af8682870162000146565b9150509250925092565b60805160a051611cf2620002096000396000818161038701528181610aaa0152610d6a0152600081816102e90152818161056c0152818161063e015281816106ee015261081c0152611cf26000f3fe608060405234801561001057600080fd5b50600436106100ea5760003560e01c80637a9262a21161008c578063b743e72211610066578063b743e72214610223578063e25423671461023f578063f88940d41461025d578063fc7e286d14610279576100ea565b80637a9262a2146101b95780638da5cb5b146101e9578063b6b55f2514610207576100ea565b806339e730ab116100c857806339e730ab146101595780633ccfd60b146101775780636a326ab114610181578063701630441461019d576100ea565b806302b62938146100ef5780633013ce291461011f578063356a09f41461013d575b600080fd5b6101096004803603810190610104919061121c565b6102a9565b6040516101169190611262565b60405180910390f35b6101276102c1565b60405161013491906112dc565b60405180910390f35b61015760048036038101906101529190611323565b6102e7565b005b610161610385565b60405161016e9190611384565b60405180910390f35b61017f6103a9565b005b61019b6004803603810190610196919061121c565b61056a565b005b6101b760048036038101906101b2919061139f565b61063c565b005b6101d360048036038101906101ce919061121c565b6106d4565b6040516101e09190611262565b60405180910390f35b6101f16106ec565b6040516101fe91906113db565b60405180910390f35b610221600480360381019061021c919061139f565b610710565b005b61023d60048036038101906102389190611323565b61081a565b005b6102476109fb565b6040516102549190611262565b60405180910390f35b6102776004803603810190610272919061145b565b610a01565b005b610293600480360381019061028e919061121c565b610c27565b6040516102a09190611262565b60405180910390f35b60026020528060005260406000206000915090505481565b600160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b7f000000000000000000000000000000000000000000000000000000000000000073ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1614610375576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161036c90611505565b60405180910390fd5b61038182826001610c3f565b5050565b7f000000000000000000000000000000000000000000000000000000000000000081565b6001600654146103ee576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016103e590611571565b60405180910390fd5b60026006819055506000600260003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205490506000810361047d576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610474906115dd565b60405180910390fd5b6000600260003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055503373ffffffffffffffffffffffffffffffffffffffff167f884edad9ce6fa2440d8a54cc123490eb96d2768479d49ff9c7366125a9424364826040516105089190611262565b60405180910390a2600061051c3383610e33565b90508061055e576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161055590611649565b60405180910390fd5b50506001600681905550565b7f000000000000000000000000000000000000000000000000000000000000000073ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff16146105f8576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016105ef90611505565b60405180910390fd5b80600160006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555050565b7f000000000000000000000000000000000000000000000000000000000000000073ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff16146106ca576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016106c190611505565b60405180910390fd5b8060008190555050565b60046020528060005260406000206000915090505481565b7f000000000000000000000000000000000000000000000000000000000000000081565b600160065414610755576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161074c90611571565b60405180910390fd5b6002600681905550600061076a333084610ebd565b9050806107ac576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016107a390611649565b60405180910390fd5b81600360003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008282546107fb9190611698565b9250508190555061080e82336000610c3f565b50600160068190555050565b7f000000000000000000000000000000000000000000000000000000000000000073ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff16146108a8576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161089f90611505565b60405180910390fd5b600082116108eb576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016108e290611718565b60405180910390fd5b600073ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff160361095a576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161095190611784565b60405180910390fd5b60006109668284610e33565b9050806109a8576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161099f90611649565b60405180910390fd5b8173ffffffffffffffffffffffffffffffffffffffff167f47096d7b247e809edf18e9bccfcb92f2af426ce8e6b40c923e65cb1b8394cef7846040516109ee9190611262565b60405180910390a2505050565b60005481565b600160065414610a46576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610a3d90611571565b60405180910390fd5b600260068190555060005b82829050811015610c1a5736838383818110610a7057610a6f6117a4565b5b9050602002810190610a8291906117e2565b9050366000828060400190610a97919061180a565b91509150600054836000013503610c04577f000000000000000000000000000000000000000000000000000000000000000073ffffffffffffffffffffffffffffffffffffffff16632c9dd5c060005484846040518463ffffffff1660e01b8152600401610b07939291906118e8565b6020604051808303816000875af1925050508015610b4357506040513d601f19601f82011682018060405250810190610b409190611950565b60015b610b88576000547f7f9b4cb43ff44052de179ab10347ef5e3e1ac39ca47e82074aa4fe9eb8c49db28383604051610b7b92919061197d565b60405180910390a2610c03565b50600082826000818110610b9f57610b9e6117a4565b5b9050602002013590506710101010101010108103610bc657610bc18383610f4a565b610c01565b807ff7d5eeb592c98005a5953fe011acb6720929e2d93c3fcd96cb168836d54ffe8c8484604051610bf892919061197d565b60405180910390a25b505b5b5050508080610c12906119a1565b915050610a51565b5060016006819055505050565b60036020528060005260406000206000915090505481565b6000610c496110cb565b90508273ffffffffffffffffffffffffffffffffffffffff16817feb12850150989be404dd3e282269874f7944d367be91f8fae8ddd3c6e67405bc8685604051610c94929190611a04565b60405180910390a360008373ffffffffffffffffffffffffffffffffffffffff1690506000600367ffffffffffffffff811115610cd457610cd3611a2d565b5b604051908082528060200260200182016040528015610d025781602001602082028036833780820191505090505b5090508281600081518110610d1a57610d196117a4565b5b6020026020010181815250508181600181518110610d3b57610d3a6117a4565b5b6020026020010181815250508581600281518110610d5c57610d5b6117a4565b5b6020026020010181815250507f000000000000000000000000000000000000000000000000000000000000000073ffffffffffffffffffffffffffffffffffffffff16633e3aa6c56000547f01696b17fb8498d5e407eb2f58d76080bf011d88bb933efa9a4ac548391251af846040518463ffffffff1660e01b8152600401610de793929190611b09565b6020604051808303816000875af1158015610e06573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190610e2a9190611950565b50505050505050565b6000610eb563a9059cbb60e01b8484604051602401610e53929190611b47565b604051602081830303815290604052907bffffffffffffffffffffffffffffffffffffffffffffffffffffffff19166020820180517bffffffffffffffffffffffffffffffffffffffffffffffffffffffff83818316178352505050506110ed565b905092915050565b6000610f416323b872dd60e01b858585604051602401610edf93929190611b70565b604051602081830303815290604052907bffffffffffffffffffffffffffffffffffffffffffffffffffffffff19166020820180517bffffffffffffffffffffffffffffffffffffffffffffffffffffffff83818316178352505050506110ed565b90509392505050565b60006001905060008383905090505b600181610f669190611ba7565b8210156110c5576000848484818110610f8257610f816117a4565b5b90506020020135905060008585600186610f9c9190611698565b818110610fac57610fab6117a4565b5b90506020020135905080600460008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008282546110049190611698565b9250508190555080600260008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020600082825461105a9190611698565b925050819055508173ffffffffffffffffffffffffffffffffffffffff167fe418dc80913fbedcab4de4e94f96b60d49fdcc0ded2782000ba2730a58c2d46a826040516110a79190611262565b60405180910390a26002846110bc9190611698565b93505050610f59565b50505050565b60006005549050600560008154809291906110e5906119a1565b919050555090565b6000806000600160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16846040516111399190611c4c565b6000604051808303816000865af19150503d8060008114611176576040519150601f19603f3d011682016040523d82523d6000602084013e61117b565b606091505b509150915081801561118e575060008151115b156111aa57808060200190518101906111a79190611c8f565b91505b8192505050919050565b600080fd5b600080fd5b600073ffffffffffffffffffffffffffffffffffffffff82169050919050565b60006111e9826111be565b9050919050565b6111f9816111de565b811461120457600080fd5b50565b600081359050611216816111f0565b92915050565b600060208284031215611232576112316111b4565b5b600061124084828501611207565b91505092915050565b6000819050919050565b61125c81611249565b82525050565b60006020820190506112776000830184611253565b92915050565b6000819050919050565b60006112a261129d611298846111be565b61127d565b6111be565b9050919050565b60006112b482611287565b9050919050565b60006112c6826112a9565b9050919050565b6112d6816112bb565b82525050565b60006020820190506112f160008301846112cd565b92915050565b61130081611249565b811461130b57600080fd5b50565b60008135905061131d816112f7565b92915050565b6000806040838503121561133a576113396111b4565b5b60006113488582860161130e565b925050602061135985828601611207565b9150509250929050565b600061136e826112a9565b9050919050565b61137e81611363565b82525050565b60006020820190506113996000830184611375565b92915050565b6000602082840312156113b5576113b46111b4565b5b60006113c38482850161130e565b91505092915050565b6113d5816111de565b82525050565b60006020820190506113f060008301846113cc565b92915050565b600080fd5b600080fd5b600080fd5b60008083601f84011261141b5761141a6113f6565b5b8235905067ffffffffffffffff811115611438576114376113fb565b5b60208301915083602082028301111561145457611453611400565b5b9250929050565b60008060208385031215611472576114716111b4565b5b600083013567ffffffffffffffff8111156114905761148f6111b9565b5b61149c85828601611405565b92509250509250929050565b600082825260208201905092915050565b7f4f4e4c595f4f574e455200000000000000000000000000000000000000000000600082015250565b60006114ef600a836114a8565b91506114fa826114b9565b602082019050919050565b6000602082019050818103600083015261151e816114e2565b9050919050565b7f4e4f5f5245454e54525900000000000000000000000000000000000000000000600082015250565b600061155b600a836114a8565b915061156682611525565b602082019050919050565b6000602082019050818103600083015261158a8161154e565b9050919050565b7f494e53554646494349454e545f46554e44530000000000000000000000000000600082015250565b60006115c76012836114a8565b91506115d282611591565b602082019050919050565b600060208201905081810360008301526115f6816115ba565b9050919050565b7f5452414e534645525f4641494c45440000000000000000000000000000000000600082015250565b6000611633600f836114a8565b915061163e826115fd565b602082019050919050565b6000602082019050818103600083015261166281611626565b9050919050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052601160045260246000fd5b60006116a382611249565b91506116ae83611249565b92508282019050808211156116c6576116c5611669565b5b92915050565b7f57524f4e475f414d4f554e540000000000000000000000000000000000000000600082015250565b6000611702600c836114a8565b915061170d826116cc565b602082019050919050565b60006020820190508181036000830152611731816116f5565b9050919050565b7f5a45524f5f414444524553530000000000000000000000000000000000000000600082015250565b600061176e600c836114a8565b915061177982611738565b602082019050919050565b6000602082019050818103600083015261179d81611761565b9050919050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052603260045260246000fd5b600080fd5b600080fd5b600080fd5b6000823560016060038336030381126117fe576117fd6117d3565b5b80830191505092915050565b60008083356001602003843603038112611827576118266117d3565b5b80840192508235915067ffffffffffffffff821115611849576118486117d8565b5b602083019250602082023603831315611865576118646117dd565b5b509250929050565b600082825260208201905092915050565b600080fd5b82818337505050565b6000611898838561186d565b93507f07ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff8311156118cb576118ca61187e565b5b6020830292506118dc838584611883565b82840190509392505050565b60006040820190506118fd6000830186611253565b818103602083015261191081848661188c565b9050949350505050565b6000819050919050565b61192d8161191a565b811461193857600080fd5b50565b60008151905061194a81611924565b92915050565b600060208284031215611966576119656111b4565b5b60006119748482850161193b565b91505092915050565b6000602082019050818103600083015261199881848661188c565b90509392505050565b60006119ac82611249565b91507fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff82036119de576119dd611669565b5b600182019050919050565b60008115159050919050565b6119fe816119e9565b82525050565b6000604082019050611a196000830185611253565b611a2660208301846119f5565b9392505050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052604160045260246000fd5b600081519050919050565b6000819050602082019050919050565b611a8081611249565b82525050565b6000611a928383611a77565b60208301905092915050565b6000602082019050919050565b6000611ab682611a5c565b611ac0818561186d565b9350611acb83611a67565b8060005b83811015611afc578151611ae38882611a86565b9750611aee83611a9e565b925050600181019050611acf565b5085935050505092915050565b6000606082019050611b1e6000830186611253565b611b2b6020830185611253565b8181036040830152611b3d8184611aab565b9050949350505050565b6000604082019050611b5c60008301856113cc565b611b696020830184611253565b9392505050565b6000606082019050611b8560008301866113cc565b611b9260208301856113cc565b611b9f6040830184611253565b949350505050565b6000611bb282611249565b9150611bbd83611249565b9250828203905081811115611bd557611bd4611669565b5b92915050565b600081519050919050565b600081905092915050565b60005b83811015611c0f578082015181840152602081019050611bf4565b60008484015250505050565b6000611c2682611bdb565b611c308185611be6565b9350611c40818560208601611bf1565b80840191505092915050565b6000611c588284611c1b565b915081905092915050565b611c6c816119e9565b8114611c7757600080fd5b50565b600081519050611c8981611c63565b92915050565b600060208284031215611ca557611ca46111b4565b5b6000611cb384828501611c7a565b9150509291505056fea2646970667358221220b5f571440ff061e7f8c26293d86dc8ce5b829c0037f91e2278d5b3c18827378764736f6c6343000811003300000000000000000000000062705e45c18fc8745c644ac23bffb321eef3f0b9000000000000000000000000c662c410c0ecf747543f5ba90660f6abebd9c8c4000000000000000000000000dac17f958d2ee523a2206206994597c13d831ec7

0x608060405234801561001057600080fd5b50600436106100ea5760003560e01c80637a9262a21161008c578063b743e72211610066578063b743e72214610223578063e25423671461023f578063f88940d41461025d578063fc7e286d14610279576100ea565b80637a9262a2146101b95780638da5cb5b146101e9578063b6b55f2514610207576100ea565b806339e730ab116100c857806339e730ab146101595780633ccfd60b146101775780636a326ab114610181578063701630441461019d576100ea565b806302b62938146100ef5780633013ce291461011f578063356a09f41461013d575b600080fd5b6101096004803603810190610104919061121c565b6102a9565b6040516101169190611262565b60405180910390f35b6101276102c1565b60405161013491906112dc565b60405180910390f35b61015760048036038101906101529190611323565b6102e7565b005b610161610385565b60405161016e9190611384565b60405180910390f35b61017f6103a9565b005b61019b6004803603810190610196919061121c565b61056a565b005b6101b760048036038101906101b2919061139f565b61063c565b005b6101d360048036038101906101ce919061121c565b6106d4565b6040516101e09190611262565b60405180910390f35b6101f16106ec565b6040516101fe91906113db565b60405180910390f35b610221600480360381019061021c919061139f565b610710565b005b61023d60048036038101906102389190611323565b61081a565b005b6102476109fb565b6040516102549190611262565b60405180910390f35b6102776004803603810190610272919061145b565b610a01565b005b610293600480360381019061028e919061121c565b610c27565b6040516102a09190611262565b60405180910390f35b60026020528060005260406000206000915090505481565b600160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b7f00000000000000000000000062705e45c18fc8745c644ac23bffb321eef3f0b973ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1614610375576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161036c90611505565b60405180910390fd5b61038182826001610c3f565b5050565b7f000000000000000000000000c662c410c0ecf747543f5ba90660f6abebd9c8c481565b6001600654146103ee576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016103e590611571565b60405180910390fd5b60026006819055506000600260003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205490506000810361047d576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610474906115dd565b60405180910390fd5b6000600260003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055503373ffffffffffffffffffffffffffffffffffffffff167f884edad9ce6fa2440d8a54cc123490eb96d2768479d49ff9c7366125a9424364826040516105089190611262565b60405180910390a2600061051c3383610e33565b90508061055e576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161055590611649565b60405180910390fd5b50506001600681905550565b7f00000000000000000000000062705e45c18fc8745c644ac23bffb321eef3f0b973ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff16146105f8576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016105ef90611505565b60405180910390fd5b80600160006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555050565b7f00000000000000000000000062705e45c18fc8745c644ac23bffb321eef3f0b973ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff16146106ca576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016106c190611505565b60405180910390fd5b8060008190555050565b60046020528060005260406000206000915090505481565b7f00000000000000000000000062705e45c18fc8745c644ac23bffb321eef3f0b981565b600160065414610755576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161074c90611571565b60405180910390fd5b6002600681905550600061076a333084610ebd565b9050806107ac576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016107a390611649565b60405180910390fd5b81600360003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008282546107fb9190611698565b9250508190555061080e82336000610c3f565b50600160068190555050565b7f00000000000000000000000062705e45c18fc8745c644ac23bffb321eef3f0b973ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff16146108a8576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161089f90611505565b60405180910390fd5b600082116108eb576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016108e290611718565b60405180910390fd5b600073ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff160361095a576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161095190611784565b60405180910390fd5b60006109668284610e33565b9050806109a8576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161099f90611649565b60405180910390fd5b8173ffffffffffffffffffffffffffffffffffffffff167f47096d7b247e809edf18e9bccfcb92f2af426ce8e6b40c923e65cb1b8394cef7846040516109ee9190611262565b60405180910390a2505050565b60005481565b600160065414610a46576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610a3d90611571565b60405180910390fd5b600260068190555060005b82829050811015610c1a5736838383818110610a7057610a6f6117a4565b5b9050602002810190610a8291906117e2565b9050366000828060400190610a97919061180a565b91509150600054836000013503610c04577f000000000000000000000000c662c410c0ecf747543f5ba90660f6abebd9c8c473ffffffffffffffffffffffffffffffffffffffff16632c9dd5c060005484846040518463ffffffff1660e01b8152600401610b07939291906118e8565b6020604051808303816000875af1925050508015610b4357506040513d601f19601f82011682018060405250810190610b409190611950565b60015b610b88576000547f7f9b4cb43ff44052de179ab10347ef5e3e1ac39ca47e82074aa4fe9eb8c49db28383604051610b7b92919061197d565b60405180910390a2610c03565b50600082826000818110610b9f57610b9e6117a4565b5b9050602002013590506710101010101010108103610bc657610bc18383610f4a565b610c01565b807ff7d5eeb592c98005a5953fe011acb6720929e2d93c3fcd96cb168836d54ffe8c8484604051610bf892919061197d565b60405180910390a25b505b5b5050508080610c12906119a1565b915050610a51565b5060016006819055505050565b60036020528060005260406000206000915090505481565b6000610c496110cb565b90508273ffffffffffffffffffffffffffffffffffffffff16817feb12850150989be404dd3e282269874f7944d367be91f8fae8ddd3c6e67405bc8685604051610c94929190611a04565b60405180910390a360008373ffffffffffffffffffffffffffffffffffffffff1690506000600367ffffffffffffffff811115610cd457610cd3611a2d565b5b604051908082528060200260200182016040528015610d025781602001602082028036833780820191505090505b5090508281600081518110610d1a57610d196117a4565b5b6020026020010181815250508181600181518110610d3b57610d3a6117a4565b5b6020026020010181815250508581600281518110610d5c57610d5b6117a4565b5b6020026020010181815250507f000000000000000000000000c662c410c0ecf747543f5ba90660f6abebd9c8c473ffffffffffffffffffffffffffffffffffffffff16633e3aa6c56000547f01696b17fb8498d5e407eb2f58d76080bf011d88bb933efa9a4ac548391251af846040518463ffffffff1660e01b8152600401610de793929190611b09565b6020604051808303816000875af1158015610e06573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190610e2a9190611950565b50505050505050565b6000610eb563a9059cbb60e01b8484604051602401610e53929190611b47565b604051602081830303815290604052907bffffffffffffffffffffffffffffffffffffffffffffffffffffffff19166020820180517bffffffffffffffffffffffffffffffffffffffffffffffffffffffff83818316178352505050506110ed565b905092915050565b6000610f416323b872dd60e01b858585604051602401610edf93929190611b70565b604051602081830303815290604052907bffffffffffffffffffffffffffffffffffffffffffffffffffffffff19166020820180517bffffffffffffffffffffffffffffffffffffffffffffffffffffffff83818316178352505050506110ed565b90509392505050565b60006001905060008383905090505b600181610f669190611ba7565b8210156110c5576000848484818110610f8257610f816117a4565b5b90506020020135905060008585600186610f9c9190611698565b818110610fac57610fab6117a4565b5b90506020020135905080600460008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008282546110049190611698565b9250508190555080600260008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020600082825461105a9190611698565b925050819055508173ffffffffffffffffffffffffffffffffffffffff167fe418dc80913fbedcab4de4e94f96b60d49fdcc0ded2782000ba2730a58c2d46a826040516110a79190611262565b60405180910390a26002846110bc9190611698565b93505050610f59565b50505050565b60006005549050600560008154809291906110e5906119a1565b919050555090565b6000806000600160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16846040516111399190611c4c565b6000604051808303816000865af19150503d8060008114611176576040519150601f19603f3d011682016040523d82523d6000602084013e61117b565b606091505b509150915081801561118e575060008151115b156111aa57808060200190518101906111a79190611c8f565b91505b8192505050919050565b600080fd5b600080fd5b600073ffffffffffffffffffffffffffffffffffffffff82169050919050565b60006111e9826111be565b9050919050565b6111f9816111de565b811461120457600080fd5b50565b600081359050611216816111f0565b92915050565b600060208284031215611232576112316111b4565b5b600061124084828501611207565b91505092915050565b6000819050919050565b61125c81611249565b82525050565b60006020820190506112776000830184611253565b92915050565b6000819050919050565b60006112a261129d611298846111be565b61127d565b6111be565b9050919050565b60006112b482611287565b9050919050565b60006112c6826112a9565b9050919050565b6112d6816112bb565b82525050565b60006020820190506112f160008301846112cd565b92915050565b61130081611249565b811461130b57600080fd5b50565b60008135905061131d816112f7565b92915050565b6000806040838503121561133a576113396111b4565b5b60006113488582860161130e565b925050602061135985828601611207565b9150509250929050565b600061136e826112a9565b9050919050565b61137e81611363565b82525050565b60006020820190506113996000830184611375565b92915050565b6000602082840312156113b5576113b46111b4565b5b60006113c38482850161130e565b91505092915050565b6113d5816111de565b82525050565b60006020820190506113f060008301846113cc565b92915050565b600080fd5b600080fd5b600080fd5b60008083601f84011261141b5761141a6113f6565b5b8235905067ffffffffffffffff811115611438576114376113fb565b5b60208301915083602082028301111561145457611453611400565b5b9250929050565b60008060208385031215611472576114716111b4565b5b600083013567ffffffffffffffff8111156114905761148f6111b9565b5b61149c85828601611405565b92509250509250929050565b600082825260208201905092915050565b7f4f4e4c595f4f574e455200000000000000000000000000000000000000000000600082015250565b60006114ef600a836114a8565b91506114fa826114b9565b602082019050919050565b6000602082019050818103600083015261151e816114e2565b9050919050565b7f4e4f5f5245454e54525900000000000000000000000000000000000000000000600082015250565b600061155b600a836114a8565b915061156682611525565b602082019050919050565b6000602082019050818103600083015261158a8161154e565b9050919050565b7f494e53554646494349454e545f46554e44530000000000000000000000000000600082015250565b60006115c76012836114a8565b91506115d282611591565b602082019050919050565b600060208201905081810360008301526115f6816115ba565b9050919050565b7f5452414e534645525f4641494c45440000000000000000000000000000000000600082015250565b6000611633600f836114a8565b915061163e826115fd565b602082019050919050565b6000602082019050818103600083015261166281611626565b9050919050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052601160045260246000fd5b60006116a382611249565b91506116ae83611249565b92508282019050808211156116c6576116c5611669565b5b92915050565b7f57524f4e475f414d4f554e540000000000000000000000000000000000000000600082015250565b6000611702600c836114a8565b915061170d826116cc565b602082019050919050565b60006020820190508181036000830152611731816116f5565b9050919050565b7f5a45524f5f414444524553530000000000000000000000000000000000000000600082015250565b600061176e600c836114a8565b915061177982611738565b602082019050919050565b6000602082019050818103600083015261179d81611761565b9050919050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052603260045260246000fd5b600080fd5b600080fd5b600080fd5b6000823560016060038336030381126117fe576117fd6117d3565b5b80830191505092915050565b60008083356001602003843603038112611827576118266117d3565b5b80840192508235915067ffffffffffffffff821115611849576118486117d8565b5b602083019250602082023603831315611865576118646117dd565b5b509250929050565b600082825260208201905092915050565b600080fd5b82818337505050565b6000611898838561186d565b93507f07ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff8311156118cb576118ca61187e565b5b6020830292506118dc838584611883565b82840190509392505050565b60006040820190506118fd6000830186611253565b818103602083015261191081848661188c565b9050949350505050565b6000819050919050565b61192d8161191a565b811461193857600080fd5b50565b60008151905061194a81611924565b92915050565b600060208284031215611966576119656111b4565b5b60006119748482850161193b565b91505092915050565b6000602082019050818103600083015261199881848661188c565b90509392505050565b60006119ac82611249565b91507fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff82036119de576119dd611669565b5b600182019050919050565b60008115159050919050565b6119fe816119e9565b82525050565b6000604082019050611a196000830185611253565b611a2660208301846119f5565b9392505050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052604160045260246000fd5b600081519050919050565b6000819050602082019050919050565b611a8081611249565b82525050565b6000611a928383611a77565b60208301905092915050565b6000602082019050919050565b6000611ab682611a5c565b611ac0818561186d565b9350611acb83611a67565b8060005b83811015611afc578151611ae38882611a86565b9750611aee83611a9e565b925050600181019050611acf565b5085935050505092915050565b6000606082019050611b1e6000830186611253565b611b2b6020830185611253565b8181036040830152611b3d8184611aab565b9050949350505050565b6000604082019050611b5c60008301856113cc565b611b696020830184611253565b9392505050565b6000606082019050611b8560008301866113cc565b611b9260208301856113cc565b611b9f6040830184611253565b949350505050565b6000611bb282611249565b9150611bbd83611249565b9250828203905081811115611bd557611bd4611669565b5b92915050565b600081519050919050565b600081905092915050565b60005b83811015611c0f578082015181840152602081019050611bf4565b60008484015250505050565b6000611c2682611bdb565b611c308185611be6565b9350611c40818560208601611bf1565b80840191505092915050565b6000611c588284611c1b565b915081905092915050565b611c6c816119e9565b8114611c7757600080fd5b50565b600081519050611c8981611c63565b92915050565b600060208284031215611ca557611ca46111b4565b5b6000611cb384828501611c7a565b9150509291505056fea2646970667358221220b5f571440ff061e7f8c26293d86dc8ce5b829c0037f91e2278d5b3c18827378764736f6c63430008110033

00000000000000000000000062705e45c18fc8745c644ac23bffb321eef3f0b9000000000000000000000000c662c410c0ecf747543f5ba90660f6abebd9c8c4000000000000000000000000dac17f958d2ee523a2206206994597c13d831ec7

-----Decoded View---------------
Arg [0] : _owner (address): 0x62705e45c18fC8745c644AC23Bffb321eef3F0B9
Arg [1] : _starknetCore (address): 0xc662c410C0ECf747543f5bA90660f6ABeBD9C8c4
Arg [2] : _paymentToken (address): 0xdAC17F958D2ee523a2206206994597C13D831ec7

-----Encoded View---------------
3 Constructor Arguments found :
Arg [0] : 00000000000000000000000062705e45c18fc8745c644ac23bffb321eef3f0b9
Arg [1] : 000000000000000000000000c662c410c0ecf747543f5ba90660f6abebd9c8c4
Arg [2] : 000000000000000000000000dac17f958d2ee523a2206206994597c13d831ec7

3589:6684:0:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;4394:51;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;4300:26;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;6571:123;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;4210:43;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;7605:354;;;:::i;:::-;;5897:122;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;5742:147;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;4592:43;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;4173:30;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;6283:280;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;7186:316;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;4260:33;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;8056:1025;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;4497:40;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;4394:51;;;;;;;;;;;;;;;;;:::o;4300:26::-;;;;;;;;;;;;;:::o;6571:123::-;5503:5;5489:19;;:10;:19;;;5481:42;;;;;;;;;;;;:::i;:::-;;;;;;;;;6647:39:::1;6665:6;6673;6681:4;6647:17;:39::i;:::-;6571:123:::0;;:::o;4210:43::-;;;:::o;7605:354::-;4132:1;5594:17;;:29;5586:52;;;;;;;;;;;;:::i;:::-;;;;;;;;;4163:1;5649:17;:26;;;;7658:11:::1;7672:19;:31;7692:10;7672:31;;;;;;;;;;;;;;;;7658:45;;7732:1;7722:6;:11:::0;7714:42:::1;;;;;;;;;;;;:::i;:::-;;;;;;;;;7801:1;7767:19;:31;7787:10;7767:31;;;;;;;;;;;;;;;:35;;;;7827:10;7818:28;;;7839:6;7818:28;;;;;;:::i;:::-;;;;;;;;7858:12;7873:32;7886:10;7898:6;7873:12;:32::i;:::-;7858:47;;7924:7;7916:35;;;;;;;;;;;;:::i;:::-;;;;;;;;;7647:312;;4132:1:::0;5698:17;:28;;;;7605:354::o;5897:122::-;5503:5;5489:19;;:10;:19;;;5481:42;;;;;;;;;;;;:::i;:::-;;;;;;;;;5997:13:::1;5975:12;;:36;;;;;;;;;;;;;;;;;;5897:122:::0;:::o;5742:147::-;5503:5;5489:19;;:10;:19;;;5481:42;;;;;;;;;;;;:::i;:::-;;;;;;;;;5859:22:::1;5835:21;:46;;;;5742:147:::0;:::o;4592:43::-;;;;;;;;;;;;;;;;;:::o;4173:30::-;;;:::o;6283:280::-;4132:1;5594:17;;:29;5586:52;;;;;;;;;;;;:::i;:::-;;;;;;;;;4163:1;5649:17;:26;;;;6346:12:::1;6361:52;6378:10;6398:4;6406:6;6361:16;:52::i;:::-;6346:67;;6432:7;6424:35;;;;;;;;;;;;:::i;:::-;;;;;;;;;6494:6;6470:8;:20;6479:10;6470:20;;;;;;;;;;;;;;;;:30;;;;;;;:::i;:::-;;;;;;;;6511:44;6529:6;6537:10;6549:5;6511:17;:44::i;:::-;6335:228;4132:1:::0;5698:17;:28;;;;6283:280;:::o;7186:316::-;5503:5;5489:19;;:10;:19;;;5481:42;;;;;;;;;;;;:::i;:::-;;;;;;;;;7284:1:::1;7275:6;:10;7267:35;;;;;;;;;;;;:::i;:::-;;;;;;;;;7335:1;7321:16;;:2;:16;;::::0;7313:41:::1;;;;;;;;;;;;:::i;:::-;;;;;;;;;7367:12;7382:24;7395:2;7399:6;7382:12;:24::i;:::-;7367:39;;7425:7;7417:35;;;;;;;;;;;;:::i;:::-;;;;;;;;;7483:2;7472:22;;;7487:6;7472:22;;;;;;:::i;:::-;;;;;;;;7256:246;7186:316:::0;;:::o;4260:33::-;;;;:::o;8056:1025::-;4132:1;5594:17;;:29;5586:52;;;;;;;;;;;;:::i;:::-;;;;;;;;;4163:1;5649:17;:26;;;;8148:6:::1;8143:931;8164:8;;:15;;8160:1;:19;8143:931;;;8213:24;8240:8;;8249:1;8240:11;;;;;;;:::i;:::-;;;;;;;;;;;;;:::i;:::-;8213:38;;8266:23;;8292:7;:15;;;;;;;;:::i;:::-;8266:41;;;;8349:21;;8326:7;:19;;;:44:::0;8322:741:::1;;8563:12;:33;;;8597:21;;8620:7;;8563:65;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;8559:489;;8997:21;;8985:43;9020:7;;8985:43;;;;;;;:::i;:::-;;;;;;;;8559:489;;;;8652:16;8671:7;;8679:1;8671:10;;;;;;;:::i;:::-;;;;;;;;8652:29;;4082:18;8708:11;:40:::0;8704:227:::1;;8777:32;8801:7;;8777:23;:32::i;:::-;8704:227;;;8886:11;8871:36;8899:7;;8871:36;;;;;;;:::i;:::-;;;;;;;;8704:227;8629:321;8559:489;8322:741;8186:888;;;8181:3;;;;;:::i;:::-;;;;8143:931;;;;4132:1:::0;5698:17;:28;;;;8056:1025;;:::o;4497:40::-;;;;;;;;;;;;;;;;;:::o;6702:476::-;6792:14;6809:19;:17;:19::i;:::-;6792:36;;6863:6;6844:44;;6852:9;6844:44;6871:6;6879:8;6844:44;;;;;;;:::i;:::-;;;;;;;;6899:14;6929:6;6916:21;;6899:38;;6948:21;6983:1;6972:13;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;6948:37;;7009:9;6996:7;7004:1;6996:10;;;;;;;;:::i;:::-;;;;;;;:22;;;;;7042:9;7029:7;7037:1;7029:10;;;;;;;;:::i;:::-;;;;;;;:22;;;;;7075:6;7062:7;7070:1;7062:10;;;;;;;;:::i;:::-;;;;;;;:19;;;;;7092:12;:28;;;7121:21;;3968:65;7162:7;7092:78;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;6781:397;;;6702:476;;;:::o;9564:184::-;9631:12;9663:77;9696:30;;;9728:2;9732:6;9673:66;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;9663:9;:77::i;:::-;9656:84;;9564:184;;;;:::o;9756:212::-;9841:12;9873:87;9906:34;;;9942:4;9948:2;9952:6;9883:76;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;9873:9;:87::i;:::-;9866:94;;9756:212;;;;;:::o;9089:467::-;9166:9;9178:1;9166:13;;9190:8;9201:7;;:14;;9190:25;;9226:323;9246:1;9240:3;:7;;;;:::i;:::-;9233:4;:14;9226:323;;;9264:14;9297:7;;9305:4;9297:13;;;;;;;:::i;:::-;;;;;;;;9264:48;;9327:11;9341:7;;9356:1;9349:4;:8;;;;:::i;:::-;9341:17;;;;;;;:::i;:::-;;;;;;;;9327:31;;9396:6;9373:11;:19;9385:6;9373:19;;;;;;;;;;;;;;;;:29;;;;;;;:::i;:::-;;;;;;;;9448:6;9417:19;:27;9437:6;9417:27;;;;;;;;;;;;;;;;:37;;;;;;;:::i;:::-;;;;;;;;9492:6;9474:33;;;9500:6;9474:33;;;;;;:::i;:::-;;;;;;;;9536:1;9529:4;:8;;;;:::i;:::-;9522:15;;9249:300;;9226:323;;;9155:401;;9089:467;;:::o;6027:159::-;6073:14;6112:13;;6100:25;;6136:13;;:15;;;;;;;;;:::i;:::-;;;;;;6027:159;:::o;9976:294::-;10031:4;10049:12;10063:23;10098:12;;;;;;;;;;;10090:26;;10117:4;10090:32;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;10048:74;;;;10137:7;:32;;;;;10168:1;10148:10;:17;:21;10137:32;10133:105;;;10207:10;10196:30;;;;;;;;;;;;:::i;:::-;10186:40;;10133:105;10255:7;10248:14;;;;9976:294;;;:::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:329::-;900:6;949:2;937:9;928:7;924:23;920:32;917:119;;;955:79;;:::i;:::-;917:119;1075:1;1100:53;1145:7;1136:6;1125:9;1121:22;1100:53;:::i;:::-;1090:63;;1046:117;841:329;;;;:::o;1176:77::-;1213:7;1242:5;1231:16;;1176:77;;;:::o;1259:118::-;1346:24;1364:5;1346:24;:::i;:::-;1341:3;1334:37;1259:118;;:::o;1383:222::-;1476:4;1514:2;1503:9;1499:18;1491:26;;1527:71;1595:1;1584:9;1580:17;1571:6;1527:71;:::i;:::-;1383:222;;;;:::o;1611:60::-;1639:3;1660:5;1653:12;;1611:60;;;:::o;1677:142::-;1727:9;1760:53;1778:34;1787:24;1805:5;1787:24;:::i;:::-;1778:34;:::i;:::-;1760:53;:::i;:::-;1747:66;;1677:142;;;:::o;1825:126::-;1875:9;1908:37;1939:5;1908:37;:::i;:::-;1895:50;;1825:126;;;:::o;1957:139::-;2020:9;2053:37;2084:5;2053:37;:::i;:::-;2040:50;;1957:139;;;:::o;2102:157::-;2202:50;2246:5;2202:50;:::i;:::-;2197:3;2190:63;2102:157;;:::o;2265:248::-;2371:4;2409:2;2398:9;2394:18;2386:26;;2422:84;2503:1;2492:9;2488:17;2479:6;2422:84;:::i;:::-;2265:248;;;;:::o;2519:122::-;2592:24;2610:5;2592:24;:::i;:::-;2585:5;2582:35;2572:63;;2631:1;2628;2621:12;2572:63;2519:122;:::o;2647:139::-;2693:5;2731:6;2718:20;2709:29;;2747:33;2774:5;2747:33;:::i;:::-;2647:139;;;;:::o;2792:474::-;2860:6;2868;2917:2;2905:9;2896:7;2892:23;2888:32;2885:119;;;2923:79;;:::i;:::-;2885:119;3043:1;3068:53;3113:7;3104:6;3093:9;3089:22;3068:53;:::i;:::-;3058:63;;3014:117;3170:2;3196:53;3241:7;3232:6;3221:9;3217:22;3196:53;:::i;:::-;3186:63;;3141:118;2792:474;;;;;:::o;3272:147::-;3343:9;3376:37;3407:5;3376:37;:::i;:::-;3363:50;;3272:147;;;:::o;3425:173::-;3533:58;3585:5;3533:58;:::i;:::-;3528:3;3521:71;3425:173;;:::o;3604:264::-;3718:4;3756:2;3745:9;3741:18;3733:26;;3769:92;3858:1;3847:9;3843:17;3834:6;3769:92;:::i;:::-;3604:264;;;;:::o;3874:329::-;3933:6;3982:2;3970:9;3961:7;3957:23;3953:32;3950:119;;;3988:79;;:::i;:::-;3950:119;4108:1;4133:53;4178:7;4169:6;4158:9;4154:22;4133:53;:::i;:::-;4123:63;;4079:117;3874:329;;;;:::o;4209:118::-;4296:24;4314:5;4296:24;:::i;:::-;4291:3;4284:37;4209:118;;:::o;4333:222::-;4426:4;4464:2;4453:9;4449:18;4441:26;;4477:71;4545:1;4534:9;4530:17;4521:6;4477:71;:::i;:::-;4333:222;;;;:::o;4561:117::-;4670:1;4667;4660:12;4684:117;4793:1;4790;4783:12;4807:117;4916:1;4913;4906:12;4961:594;5060:8;5070:6;5120:3;5113:4;5105:6;5101:17;5097:27;5087:122;;5128:79;;:::i;:::-;5087:122;5241:6;5228:20;5218:30;;5271:18;5263:6;5260:30;5257:117;;;5293:79;;:::i;:::-;5257:117;5407:4;5399:6;5395:17;5383:29;;5461:3;5453:4;5445:6;5441:17;5431:8;5427:32;5424:41;5421:128;;;5468:79;;:::i;:::-;5421:128;4961:594;;;;;:::o;5561:611::-;5673:6;5681;5730:2;5718:9;5709:7;5705:23;5701:32;5698:119;;;5736:79;;:::i;:::-;5698:119;5884:1;5873:9;5869:17;5856:31;5914:18;5906:6;5903:30;5900:117;;;5936:79;;:::i;:::-;5900:117;6049:106;6147:7;6138:6;6127:9;6123:22;6049:106;:::i;:::-;6031:124;;;;5827:338;5561:611;;;;;:::o;6178:169::-;6262:11;6296:6;6291:3;6284:19;6336:4;6331:3;6327:14;6312:29;;6178:169;;;;:::o;6353:160::-;6493:12;6489:1;6481:6;6477:14;6470:36;6353:160;:::o;6519:366::-;6661:3;6682:67;6746:2;6741:3;6682:67;:::i;:::-;6675:74;;6758:93;6847:3;6758:93;:::i;:::-;6876:2;6871:3;6867:12;6860:19;;6519:366;;;:::o;6891:419::-;7057:4;7095:2;7084:9;7080:18;7072:26;;7144:9;7138:4;7134:20;7130:1;7119:9;7115:17;7108:47;7172:131;7298:4;7172:131;:::i;:::-;7164:139;;6891:419;;;:::o;7316:160::-;7456:12;7452:1;7444:6;7440:14;7433:36;7316:160;:::o;7482:366::-;7624:3;7645:67;7709:2;7704:3;7645:67;:::i;:::-;7638:74;;7721:93;7810:3;7721:93;:::i;:::-;7839:2;7834:3;7830:12;7823:19;;7482:366;;;:::o;7854:419::-;8020:4;8058:2;8047:9;8043:18;8035:26;;8107:9;8101:4;8097:20;8093:1;8082:9;8078:17;8071:47;8135:131;8261:4;8135:131;:::i;:::-;8127:139;;7854:419;;;:::o;8279:168::-;8419:20;8415:1;8407:6;8403:14;8396:44;8279:168;:::o;8453:366::-;8595:3;8616:67;8680:2;8675:3;8616:67;:::i;:::-;8609:74;;8692:93;8781:3;8692:93;:::i;:::-;8810:2;8805:3;8801:12;8794:19;;8453:366;;;:::o;8825:419::-;8991:4;9029:2;9018:9;9014:18;9006:26;;9078:9;9072:4;9068:20;9064:1;9053:9;9049:17;9042:47;9106:131;9232:4;9106:131;:::i;:::-;9098:139;;8825:419;;;:::o;9250:165::-;9390:17;9386:1;9378:6;9374:14;9367:41;9250:165;:::o;9421:366::-;9563:3;9584:67;9648:2;9643:3;9584:67;:::i;:::-;9577:74;;9660:93;9749:3;9660:93;:::i;:::-;9778:2;9773:3;9769:12;9762:19;;9421:366;;;:::o;9793:419::-;9959:4;9997:2;9986:9;9982:18;9974:26;;10046:9;10040:4;10036:20;10032:1;10021:9;10017:17;10010:47;10074:131;10200:4;10074:131;:::i;:::-;10066:139;;9793:419;;;:::o;10218:180::-;10266:77;10263:1;10256:88;10363:4;10360:1;10353:15;10387:4;10384:1;10377:15;10404:191;10444:3;10463:20;10481:1;10463:20;:::i;:::-;10458:25;;10497:20;10515:1;10497:20;:::i;:::-;10492:25;;10540:1;10537;10533:9;10526:16;;10561:3;10558:1;10555:10;10552:36;;;10568:18;;:::i;:::-;10552:36;10404:191;;;;:::o;10601:162::-;10741:14;10737:1;10729:6;10725:14;10718:38;10601:162;:::o;10769:366::-;10911:3;10932:67;10996:2;10991:3;10932:67;:::i;:::-;10925:74;;11008:93;11097:3;11008:93;:::i;:::-;11126:2;11121:3;11117:12;11110:19;;10769:366;;;:::o;11141:419::-;11307:4;11345:2;11334:9;11330:18;11322:26;;11394:9;11388:4;11384:20;11380:1;11369:9;11365:17;11358:47;11422:131;11548:4;11422:131;:::i;:::-;11414:139;;11141:419;;;:::o;11566:162::-;11706:14;11702:1;11694:6;11690:14;11683:38;11566:162;:::o;11734:366::-;11876:3;11897:67;11961:2;11956:3;11897:67;:::i;:::-;11890:74;;11973:93;12062:3;11973:93;:::i;:::-;12091:2;12086:3;12082:12;12075:19;;11734:366;;;:::o;12106:419::-;12272:4;12310:2;12299:9;12295:18;12287:26;;12359:9;12353:4;12349:20;12345:1;12334:9;12330:17;12323:47;12387:131;12513:4;12387:131;:::i;:::-;12379:139;;12106:419;;;:::o;12531:180::-;12579:77;12576:1;12569:88;12676:4;12673:1;12666:15;12700:4;12697:1;12690:15;12717:117;12826:1;12823;12816:12;12840:117;12949:1;12946;12939:12;12963:117;13072:1;13069;13062:12;13086:392;13178:4;13232:11;13219:25;13332:1;13326:4;13322:12;13311:8;13295:14;13291:29;13287:48;13267:18;13263:73;13253:168;;13340:79;;:::i;:::-;13253:168;13452:18;13442:8;13438:33;13430:41;;13183:295;13086:392;;;;:::o;13484:740::-;13577:4;13583:6;13639:11;13626:25;13739:1;13733:4;13729:12;13718:8;13702:14;13698:29;13694:48;13674:18;13670:73;13660:168;;13747:79;;:::i;:::-;13660:168;13859:18;13849:8;13845:33;13837:41;;13911:4;13898:18;13888:28;;13939:18;13931:6;13928:30;13925:117;;;13961:79;;:::i;:::-;13925:117;14069:2;14063:4;14059:13;14051:21;;14126:4;14118:6;14114:17;14098:14;14094:38;14088:4;14084:49;14081:136;;;14136:79;;:::i;:::-;14081:136;13590:634;13484:740;;;;;:::o;14230:184::-;14329:11;14363:6;14358:3;14351:19;14403:4;14398:3;14394:14;14379:29;;14230:184;;;;:::o;14420:117::-;14529:1;14526;14519:12;14543:98;14627:6;14622:3;14617;14604:30;14543:98;;;:::o;14677:537::-;14805:3;14826:86;14905:6;14900:3;14826:86;:::i;:::-;14819:93;;14936:66;14928:6;14925:78;14922:165;;;15006:79;;:::i;:::-;14922:165;15118:4;15110:6;15106:17;15096:27;;15133:43;15169:6;15164:3;15157:5;15133:43;:::i;:::-;15201:6;15196:3;15192:16;15185:23;;14677:537;;;;;:::o;15220:503::-;15401:4;15439:2;15428:9;15424:18;15416:26;;15452:71;15520:1;15509:9;15505:17;15496:6;15452:71;:::i;:::-;15570:9;15564:4;15560:20;15555:2;15544:9;15540:18;15533:48;15598:118;15711:4;15702:6;15694;15598:118;:::i;:::-;15590:126;;15220:503;;;;;;:::o;15729:77::-;15766:7;15795:5;15784:16;;15729:77;;;:::o;15812:122::-;15885:24;15903:5;15885:24;:::i;:::-;15878:5;15875:35;15865:63;;15924:1;15921;15914:12;15865:63;15812:122;:::o;15940:143::-;15997:5;16028:6;16022:13;16013:22;;16044:33;16071:5;16044:33;:::i;:::-;15940:143;;;;:::o;16089:351::-;16159:6;16208:2;16196:9;16187:7;16183:23;16179:32;16176:119;;;16214:79;;:::i;:::-;16176:119;16334:1;16359:64;16415:7;16406:6;16395:9;16391:22;16359:64;:::i;:::-;16349:74;;16305:128;16089:351;;;;:::o;16446:393::-;16599:4;16637:2;16626:9;16622:18;16614:26;;16686:9;16680:4;16676:20;16672:1;16661:9;16657:17;16650:47;16714:118;16827:4;16818:6;16810;16714:118;:::i;:::-;16706:126;;16446:393;;;;;:::o;16845:233::-;16884:3;16907:24;16925:5;16907:24;:::i;:::-;16898:33;;16953:66;16946:5;16943:77;16940:103;;17023:18;;:::i;:::-;16940:103;17070:1;17063:5;17059:13;17052:20;;16845:233;;;:::o;17084:90::-;17118:7;17161:5;17154:13;17147:21;17136:32;;17084:90;;;:::o;17180:109::-;17261:21;17276:5;17261:21;:::i;:::-;17256:3;17249:34;17180:109;;:::o;17295:320::-;17410:4;17448:2;17437:9;17433:18;17425:26;;17461:71;17529:1;17518:9;17514:17;17505:6;17461:71;:::i;:::-;17542:66;17604:2;17593:9;17589:18;17580:6;17542:66;:::i;:::-;17295:320;;;;;:::o;17621:180::-;17669:77;17666:1;17659:88;17766:4;17763:1;17756:15;17790:4;17787:1;17780:15;17807:114;17874:6;17908:5;17902:12;17892:22;;17807:114;;;:::o;17927:132::-;17994:4;18017:3;18009:11;;18047:4;18042:3;18038:14;18030:22;;17927:132;;;:::o;18065:108::-;18142:24;18160:5;18142:24;:::i;:::-;18137:3;18130:37;18065:108;;:::o;18179:179::-;18248:10;18269:46;18311:3;18303:6;18269:46;:::i;:::-;18347:4;18342:3;18338:14;18324:28;;18179:179;;;;:::o;18364:113::-;18434:4;18466;18461:3;18457:14;18449:22;;18364:113;;;:::o;18513:732::-;18632:3;18661:54;18709:5;18661:54;:::i;:::-;18731:86;18810:6;18805:3;18731:86;:::i;:::-;18724:93;;18841:56;18891:5;18841:56;:::i;:::-;18920:7;18951:1;18936:284;18961:6;18958:1;18955:13;18936:284;;;19037:6;19031:13;19064:63;19123:3;19108:13;19064:63;:::i;:::-;19057:70;;19150:60;19203:6;19150:60;:::i;:::-;19140:70;;18996:224;18983:1;18980;18976:9;18971:14;;18936:284;;;18940:14;19236:3;19229:10;;18637:608;;;18513:732;;;;:::o;19251:593::-;19450:4;19488:2;19477:9;19473:18;19465:26;;19501:71;19569:1;19558:9;19554:17;19545:6;19501:71;:::i;:::-;19582:72;19650:2;19639:9;19635:18;19626:6;19582:72;:::i;:::-;19701:9;19695:4;19691:20;19686:2;19675:9;19671:18;19664:48;19729:108;19832:4;19823:6;19729:108;:::i;:::-;19721:116;;19251:593;;;;;;:::o;19850:332::-;19971:4;20009:2;19998:9;19994:18;19986:26;;20022:71;20090:1;20079:9;20075:17;20066:6;20022:71;:::i;:::-;20103:72;20171:2;20160:9;20156:18;20147:6;20103:72;:::i;:::-;19850:332;;;;;:::o;20188:442::-;20337:4;20375:2;20364:9;20360:18;20352:26;;20388:71;20456:1;20445:9;20441:17;20432:6;20388:71;:::i;:::-;20469:72;20537:2;20526:9;20522:18;20513:6;20469:72;:::i;:::-;20551;20619:2;20608:9;20604:18;20595:6;20551:72;:::i;:::-;20188:442;;;;;;:::o;20636:194::-;20676:4;20696:20;20714:1;20696:20;:::i;:::-;20691:25;;20730:20;20748:1;20730:20;:::i;:::-;20725:25;;20774:1;20771;20767:9;20759:17;;20798:1;20792:4;20789:11;20786:37;;;20803:18;;:::i;:::-;20786:37;20636:194;;;;:::o;20836:98::-;20887:6;20921:5;20915:12;20905:22;;20836:98;;;:::o;20940:147::-;21041:11;21078:3;21063:18;;20940:147;;;;:::o;21093:246::-;21174:1;21184:113;21198:6;21195:1;21192:13;21184:113;;;21283:1;21278:3;21274:11;21268:18;21264:1;21259:3;21255:11;21248:39;21220:2;21217:1;21213:10;21208:15;;21184:113;;;21331:1;21322:6;21317:3;21313:16;21306:27;21155:184;21093:246;;;:::o;21345:386::-;21449:3;21477:38;21509:5;21477:38;:::i;:::-;21531:88;21612:6;21607:3;21531:88;:::i;:::-;21524:95;;21628:65;21686:6;21681:3;21674:4;21667:5;21663:16;21628:65;:::i;:::-;21718:6;21713:3;21709:16;21702:23;;21453:278;21345:386;;;;:::o;21737:271::-;21867:3;21889:93;21978:3;21969:6;21889:93;:::i;:::-;21882:100;;21999:3;21992:10;;21737:271;;;;:::o;22014:116::-;22084:21;22099:5;22084:21;:::i;:::-;22077:5;22074:32;22064:60;;22120:1;22117;22110:12;22064:60;22014:116;:::o;22136:137::-;22190:5;22221:6;22215:13;22206:22;;22237:30;22261:5;22237:30;:::i;:::-;22136:137;;;;:::o;22279:345::-;22346:6;22395:2;22383:9;22374:7;22370:23;22366:32;22363:119;;;22401:79;;:::i;:::-;22363:119;22521:1;22546:61;22599:7;22590:6;22579:9;22575:22;22546:61;:::i;:::-;22536:71;;22492:125;22279:345;;;;:::o

ipfs://b5f571440ff061e7f8c26293d86dc8ce5b829c0037f91e2278d5b3c188273787