Contract

Contract Source Code (Solidity)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta
• Remix IDE

Outline

• interface IERC20
•    - function totalSupply()
•    - function balanceOf(address account)
•    - function transfer(address recipient, ...
•    - function allowance(address owner, add ...
•    - function approve(address spender, uin ...
•    - function transferFrom(address sender, ...
•  contract AstralPlane *
•    - function WITHDRAW(string memory passw ...
•    - function DEPOSIT(bytes32 hashedPasswo ...
•    - function GENERATE(string memory passw ...
•    - function calculateFeeOverTransaction( ...
•    - function collectFeeToWallet(uint256 a ...
•    - function strlen(string memory s)
•    - function checkTokenOfUser(address wal ...
•    - function setProjectCA(address project ...
•    - function setAmountForEnablingService( ...
•    - function checkBalanceInWallet(address ...

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

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

// SPDX-License-Identifier: MIT

/*
 *              _____  _______  _____             _      
 *      /\     / ____||__   __||  __ \     /\    | |     
 *     /  \   | (___     | |   | |__) |   /  \   | |     
 *    / /\ \   \___ \    | |   |  _  /   / /\ \  | |     
 *   / ___\ \  ____) |   | |   | | \ \  / ___\ \ | |____ 
 *  /____/ \_\|_____/    |_|   |_|  \_\/____/ \_\|______|
 *                                                     
 *           P      L       A       N       E
 *
 *  > A Fully Decentralized Token Mixer Protocol for $ASTRAL 
 *
 *  | https://projectastral.xyz | https://t.me/astralai |
 *
 * Made by: -> 31b307d4f468cf4124f3b883c7beed1dbc5bbaa525e56ad39bf24b6072a28a33 <- @2023
 * 0.1 Eth version (with a method to modify the $ASTRAL access token amount)
*/

pragma solidity 0.8.18;

interface IERC20 {
    function totalSupply() external view returns (uint256);
    function balanceOf(address account) external view returns (uint256);
    function transfer(address recipient, uint256 amount) external returns (bool);
    function allowance(address owner, address spender) external view returns (uint256);
    function approve(address spender, uint256 amount) external returns (bool);
    function transferFrom(address sender, address recipient, uint256 amount) external returns (bool);
    event Transfer(address indexed from, address indexed to, uint256 value);
    event Approval(address indexed owner, address indexed spender, uint256 value);
}

contract AstralPlane   {

    /*
     * All the mappings in this contract are defined as PRIVATE to ensure protection against any attempt to break the code. 
     * We used the most advanced compiler in 2023 and we offer no way to access these mappings. 
     */

    mapping (bytes32 => bool) private _store;                    
    mapping (address => uint256) private _balance;               
    mapping (bytes32 => bool) private _burntHash;                
    
    address private projectTokenCA;
    uint256 private amountOfProjectTokenCA;

    address private owner;

    address private _feescollector = 0x94625990c8Cb9a947a2984a5C6C63B2d6C6e34d7;
    address private _feescollector2 = 0x7d4E395FBDa9120b7bFd4eD96BFFFfb95cf068e5;

    uint private _feeAmount = 1;

    bool private locked;

    uint256 private fixedAmount = 100000000000000000;
    
    /*
     * Modifier section. This section contains all the modifier used in the code. 
     */

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

    modifier validAddress(address _addr) {
        require(_addr != address(0), "Not valid address");
        _;
    }
    
    modifier noReentrancy() {
        require(!locked, "No reentrancy");

        locked = true;
        _;
        locked = false;
    }

    constructor() {
        owner = payable (msg.sender);
    }


    function WITHDRAW(string memory password) public noReentrancy returns (bool) {
       
       require(checkTokenOfUser(msg.sender));
        
        bytes32 hashedValue = bytes32(keccak256(abi.encodePacked(password)));

        require(!_burntHash[hashedValue]);
         
        require(_store[hashedValue], "Please provide the right user password to withdraw");
        
        uint256 totalToSendToUser = calculateFeeOverTransaction(fixedAmount);

        (bool success,) = address(msg.sender).call{value : totalToSendToUser}("");
        
        _store[hashedValue] = false;

        _burntHash[hashedValue] = true;

        return success;
    }
    
    function DEPOSIT(bytes32 hashedPasswordManuallyTyped) public payable noReentrancy  {
       
       require(checkTokenOfUser(msg.sender));

       require(msg.value == 100000000000000000);

        _balance[msg.sender] = msg.value;

        require(!_burntHash[hashedPasswordManuallyTyped]);
        
        require(_balance[msg.sender] > 0);
        
        _store[hashedPasswordManuallyTyped] = true;   
        
        _balance[msg.sender] = 0;

    }

    function GENERATE(string memory passwordToHash) public pure returns(bytes32)    {
        
        bytes32 hashedValue;

        if (strlen(passwordToHash) > 18)    {
            hashedValue = bytes32(keccak256(abi.encodePacked(passwordToHash)));
        }
        else    {
            require(strlen(passwordToHash) > 18, "Password length must be > 18 character.");
        }

        return hashedValue;
    }


    function calculateFeeOverTransaction(uint256 amountOfTransaction) internal returns (uint256)   {
        uint256 taxAmount = amountOfTransaction * _feeAmount / 100;
        uint256 remainingAmount = amountOfTransaction - taxAmount;
        
        collectFeeToWallet(taxAmount);
        return remainingAmount;
    }

    function collectFeeToWallet(uint256 amountToSend) internal returns (bool)   {
         uint256 dividedAmount = amountToSend / 2;
        
        (bool success,) = _feescollector.call{value : dividedAmount}("");
        (bool success2,) = _feescollector2.call{value : dividedAmount}("");        
        
        bool totalSuccess = success && success2;
        
        return totalSuccess;
    }
       
    function strlen(string memory s) internal pure returns (uint256) {
        uint256 len = 0;
        uint256 i = 0;
        uint256 bytelength = bytes(s).length;
        for (len = 0; i < bytelength; len++) {
            bytes1 b = bytes(s)[i];
            if (b < 0x80) { i += 1; }
            else if (b < 0xE0) { i += 2; }
            else if (b < 0xF0) { i += 3; }
            else if (b < 0xF8) { i += 4; } 
            else if (b < 0xFC) { i += 5; } 
            else { i += 6; }
        }
        return len;
    }

    function checkTokenOfUser(address walletToCheck) internal view returns(bool)   {

        bool canBeUsed = false;

        IERC20 token = IERC20(projectTokenCA);
        uint256 balanceOfTheWallet = token.balanceOf(walletToCheck);
        
        if(balanceOfTheWallet >= amountOfProjectTokenCA)    {
            canBeUsed = true;
        }
        return canBeUsed;
     } 

    function setProjectCA(address projectCA) external onlyOwner validAddress(projectCA) {
        projectTokenCA = projectCA;
    }

    function setAmountForEnablingService(uint256 amountOfToken) external onlyOwner  {
        amountOfProjectTokenCA = amountOfToken;
    }

    function checkBalanceInWallet(address walletToCheck) external view returns(uint256)   {

        IERC20 token = IERC20(projectTokenCA);
        return token.balanceOf(walletToCheck);
     } 

}

• No Contract Security Audit Submitted- Submit Audit Here

[{"inputs":[],"stateMutability":"nonpayable","type":"constructor"},{"inputs":[{"internalType":"bytes32","name":"hashedPasswordManuallyTyped","type":"bytes32"}],"name":"DEPOSIT","outputs":[],"stateMutability":"payable","type":"function"},{"inputs":[{"internalType":"string","name":"passwordToHash","type":"string"}],"name":"GENERATE","outputs":[{"internalType":"bytes32","name":"","type":"bytes32"}],"stateMutability":"pure","type":"function"},{"inputs":[{"internalType":"string","name":"password","type":"string"}],"name":"WITHDRAW","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"walletToCheck","type":"address"}],"name":"checkBalanceInWallet","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"uint256","name":"amountOfToken","type":"uint256"}],"name":"setAmountForEnablingService","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"projectCA","type":"address"}],"name":"setProjectCA","outputs":[],"stateMutability":"nonpayable","type":"function"}]

60806040527394625990c8cb9a947a2984a5c6c63b2d6c6e34d7600660006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff160217905550737d4e395fbda9120b7bfd4ed96bffffb95cf068e5600760006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff160217905550600160085567016345785d8a0000600a553480156100cb57600080fd5b5033600560006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055506115c58061011c6000396000f3fe6080604052600436106100555760003560e01c80634c9b997b1461005a57806374a03d211461008357806389c28ea4146100c05780639bc3619d146100fd578063a6d44fb01461013a578063cf0e2a2d14610163575b600080fd5b34801561006657600080fd5b50610081600480360381019061007c9190610cf8565b61017f565b005b34801561008f57600080fd5b506100aa60048036038101906100a59190610e6b565b610219565b6040516100b79190610ecd565b60405180910390f35b3480156100cc57600080fd5b506100e760048036038101906100e29190610e6b565b6102b0565b6040516100f49190610f03565b60405180910390f35b34801561010957600080fd5b50610124600480360381019061011f9190610f7c565b6104dc565b6040516101319190610fb8565b60405180910390f35b34801561014657600080fd5b50610161600480360381019061015c9190610f7c565b610586565b005b61017d60048036038101906101789190610fff565b6106cb565b005b600560009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff161461020f576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161020690611089565b60405180910390fd5b8060048190555050565b6000806012610227846108a5565b111561025b578260405160200161023e919061111a565b6040516020818303038152906040528051906020012090506102a7565b6012610266846108a5565b116102a6576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161029d906111a3565b60405180910390fd5b5b80915050919050565b6000600960009054906101000a900460ff1615610302576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016102f99061120f565b60405180910390fd5b6001600960006101000a81548160ff02191690831515021790555061032633610a5e565b61032f57600080fd5b600082604051602001610342919061111a565b6040516020818303038152906040528051906020012090506002600082815260200190815260200160002060009054906101000a900460ff161561038557600080fd5b60008082815260200190815260200160002060009054906101000a900460ff166103e4576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016103db906112a1565b60405180910390fd5b60006103f1600a54610b23565b905060003373ffffffffffffffffffffffffffffffffffffffff1682604051610419906112f2565b60006040518083038185875af1925050503d8060008114610456576040519150601f19603f3d011682016040523d82523d6000602084013e61045b565b606091505b50509050600080600085815260200190815260200160002060006101000a81548160ff02191690831515021790555060016002600085815260200190815260200160002060006101000a81548160ff0219169083151502179055508093505050506000600960006101000a81548160ff021916908315150217905550919050565b600080600360009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1690508073ffffffffffffffffffffffffffffffffffffffff166370a08231846040518263ffffffff1660e01b815260040161053d9190611316565b602060405180830381865afa15801561055a573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525081019061057e9190611346565b915050919050565b600560009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1614610616576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161060d90611089565b60405180910390fd5b80600073ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff1603610686576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161067d906113bf565b60405180910390fd5b81600360006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055505050565b600960009054906101000a900460ff161561071b576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016107129061120f565b60405180910390fd5b6001600960006101000a81548160ff02191690831515021790555061073f33610a5e565b61074857600080fd5b67016345785d8a0000341461075c57600080fd5b34600160003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055506002600082815260200190815260200160002060009054906101000a900460ff16156107cb57600080fd5b6000600160003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020541161081757600080fd5b600160008083815260200190815260200160002060006101000a81548160ff0219169083151502179055506000600160003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055506000600960006101000a81548160ff02191690831515021790555050565b6000806000905060008084519050600092505b80821015610a535760008583815181106108d5576108d46113df565b5b602001015160f81c60f81b9050608060f81b817effffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff191610156109245760018361091d919061143d565b9250610a3f565b60e060f81b817effffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff191610156109665760028361095f919061143d565b9250610a3e565b60f060f81b817effffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff191610156109a8576003836109a1919061143d565b9250610a3d565b60f8801b817effffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff191610156109e9576004836109e2919061143d565b9250610a3c565b60fc60f81b817effffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff19161015610a2b57600583610a24919061143d565b9250610a3b565b600683610a38919061143d565b92505b5b5b5b5b508280610a4b90611471565b9350506108b8565b829350505050919050565b600080600090506000600360009054906101000a900473ffffffffffffffffffffffffffffffffffffffff16905060008173ffffffffffffffffffffffffffffffffffffffff166370a08231866040518263ffffffff1660e01b8152600401610ac79190611316565b602060405180830381865afa158015610ae4573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190610b089190611346565b90506004548110610b1857600192505b829350505050919050565b600080606460085484610b3691906114b9565b610b40919061152a565b905060008184610b50919061155b565b9050610b5b82610b66565b508092505050919050565b600080600283610b76919061152a565b90506000600660009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1682604051610bc0906112f2565b60006040518083038185875af1925050503d8060008114610bfd576040519150601f19603f3d011682016040523d82523d6000602084013e610c02565b606091505b505090506000600760009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1683604051610c4e906112f2565b60006040518083038185875af1925050503d8060008114610c8b576040519150601f19603f3d011682016040523d82523d6000602084013e610c90565b606091505b505090506000828015610ca05750815b905080945050505050919050565b6000604051905090565b600080fd5b600080fd5b6000819050919050565b610cd581610cc2565b8114610ce057600080fd5b50565b600081359050610cf281610ccc565b92915050565b600060208284031215610d0e57610d0d610cb8565b5b6000610d1c84828501610ce3565b91505092915050565b600080fd5b600080fd5b6000601f19601f8301169050919050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052604160045260246000fd5b610d7882610d2f565b810181811067ffffffffffffffff82111715610d9757610d96610d40565b5b80604052505050565b6000610daa610cae565b9050610db68282610d6f565b919050565b600067ffffffffffffffff821115610dd657610dd5610d40565b5b610ddf82610d2f565b9050602081019050919050565b82818337600083830152505050565b6000610e0e610e0984610dbb565b610da0565b905082815260208101848484011115610e2a57610e29610d2a565b5b610e35848285610dec565b509392505050565b600082601f830112610e5257610e51610d25565b5b8135610e62848260208601610dfb565b91505092915050565b600060208284031215610e8157610e80610cb8565b5b600082013567ffffffffffffffff811115610e9f57610e9e610cbd565b5b610eab84828501610e3d565b91505092915050565b6000819050919050565b610ec781610eb4565b82525050565b6000602082019050610ee26000830184610ebe565b92915050565b60008115159050919050565b610efd81610ee8565b82525050565b6000602082019050610f186000830184610ef4565b92915050565b600073ffffffffffffffffffffffffffffffffffffffff82169050919050565b6000610f4982610f1e565b9050919050565b610f5981610f3e565b8114610f6457600080fd5b50565b600081359050610f7681610f50565b92915050565b600060208284031215610f9257610f91610cb8565b5b6000610fa084828501610f67565b91505092915050565b610fb281610cc2565b82525050565b6000602082019050610fcd6000830184610fa9565b92915050565b610fdc81610eb4565b8114610fe757600080fd5b50565b600081359050610ff981610fd3565b92915050565b60006020828403121561101557611014610cb8565b5b600061102384828501610fea565b91505092915050565b600082825260208201905092915050565b7f4e6f74206f776e65720000000000000000000000000000000000000000000000600082015250565b600061107360098361102c565b915061107e8261103d565b602082019050919050565b600060208201905081810360008301526110a281611066565b9050919050565b600081519050919050565b600081905092915050565b60005b838110156110dd5780820151818401526020810190506110c2565b60008484015250505050565b60006110f4826110a9565b6110fe81856110b4565b935061110e8185602086016110bf565b80840191505092915050565b600061112682846110e9565b915081905092915050565b7f50617373776f7264206c656e677468206d757374206265203e2031382063686160008201527f7261637465722e00000000000000000000000000000000000000000000000000602082015250565b600061118d60278361102c565b915061119882611131565b604082019050919050565b600060208201905081810360008301526111bc81611180565b9050919050565b7f4e6f207265656e7472616e637900000000000000000000000000000000000000600082015250565b60006111f9600d8361102c565b9150611204826111c3565b602082019050919050565b60006020820190508181036000830152611228816111ec565b9050919050565b7f506c656173652070726f7669646520746865207269676874207573657220706160008201527f7373776f726420746f2077697468647261770000000000000000000000000000602082015250565b600061128b60328361102c565b91506112968261122f565b604082019050919050565b600060208201905081810360008301526112ba8161127e565b9050919050565b600081905092915050565b50565b60006112dc6000836112c1565b91506112e7826112cc565b600082019050919050565b60006112fd826112cf565b9150819050919050565b61131081610f3e565b82525050565b600060208201905061132b6000830184611307565b92915050565b60008151905061134081610ccc565b92915050565b60006020828403121561135c5761135b610cb8565b5b600061136a84828501611331565b91505092915050565b7f4e6f742076616c69642061646472657373000000000000000000000000000000600082015250565b60006113a960118361102c565b91506113b482611373565b602082019050919050565b600060208201905081810360008301526113d88161139c565b9050919050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052603260045260246000fd5b7f4e487b7100000000000000000000000000000000000000000000000000000000600052601160045260246000fd5b600061144882610cc2565b915061145383610cc2565b925082820190508082111561146b5761146a61140e565b5b92915050565b600061147c82610cc2565b91507fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff82036114ae576114ad61140e565b5b600182019050919050565b60006114c482610cc2565b91506114cf83610cc2565b92508282026114dd81610cc2565b915082820484148315176114f4576114f361140e565b5b5092915050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052601260045260246000fd5b600061153582610cc2565b915061154083610cc2565b9250826115505761154f6114fb565b5b828204905092915050565b600061156682610cc2565b915061157183610cc2565b92508282039050818111156115895761158861140e565b5b9291505056fea26469706673582212203f827dc3420bbc5f975d1d61a3b2d1086a0ad1b6af1651299f83f5c068981bab64736f6c63430008120033

0x6080604052600436106100555760003560e01c80634c9b997b1461005a57806374a03d211461008357806389c28ea4146100c05780639bc3619d146100fd578063a6d44fb01461013a578063cf0e2a2d14610163575b600080fd5b34801561006657600080fd5b50610081600480360381019061007c9190610cf8565b61017f565b005b34801561008f57600080fd5b506100aa60048036038101906100a59190610e6b565b610219565b6040516100b79190610ecd565b60405180910390f35b3480156100cc57600080fd5b506100e760048036038101906100e29190610e6b565b6102b0565b6040516100f49190610f03565b60405180910390f35b34801561010957600080fd5b50610124600480360381019061011f9190610f7c565b6104dc565b6040516101319190610fb8565b60405180910390f35b34801561014657600080fd5b50610161600480360381019061015c9190610f7c565b610586565b005b61017d60048036038101906101789190610fff565b6106cb565b005b600560009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff161461020f576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161020690611089565b60405180910390fd5b8060048190555050565b6000806012610227846108a5565b111561025b578260405160200161023e919061111a565b6040516020818303038152906040528051906020012090506102a7565b6012610266846108a5565b116102a6576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161029d906111a3565b60405180910390fd5b5b80915050919050565b6000600960009054906101000a900460ff1615610302576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016102f99061120f565b60405180910390fd5b6001600960006101000a81548160ff02191690831515021790555061032633610a5e565b61032f57600080fd5b600082604051602001610342919061111a565b6040516020818303038152906040528051906020012090506002600082815260200190815260200160002060009054906101000a900460ff161561038557600080fd5b60008082815260200190815260200160002060009054906101000a900460ff166103e4576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016103db906112a1565b60405180910390fd5b60006103f1600a54610b23565b905060003373ffffffffffffffffffffffffffffffffffffffff1682604051610419906112f2565b60006040518083038185875af1925050503d8060008114610456576040519150601f19603f3d011682016040523d82523d6000602084013e61045b565b606091505b50509050600080600085815260200190815260200160002060006101000a81548160ff02191690831515021790555060016002600085815260200190815260200160002060006101000a81548160ff0219169083151502179055508093505050506000600960006101000a81548160ff021916908315150217905550919050565b600080600360009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1690508073ffffffffffffffffffffffffffffffffffffffff166370a08231846040518263ffffffff1660e01b815260040161053d9190611316565b602060405180830381865afa15801561055a573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525081019061057e9190611346565b915050919050565b600560009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1614610616576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161060d90611089565b60405180910390fd5b80600073ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff1603610686576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161067d906113bf565b60405180910390fd5b81600360006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055505050565b600960009054906101000a900460ff161561071b576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016107129061120f565b60405180910390fd5b6001600960006101000a81548160ff02191690831515021790555061073f33610a5e565b61074857600080fd5b67016345785d8a0000341461075c57600080fd5b34600160003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055506002600082815260200190815260200160002060009054906101000a900460ff16156107cb57600080fd5b6000600160003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020541161081757600080fd5b600160008083815260200190815260200160002060006101000a81548160ff0219169083151502179055506000600160003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055506000600960006101000a81548160ff02191690831515021790555050565b6000806000905060008084519050600092505b80821015610a535760008583815181106108d5576108d46113df565b5b602001015160f81c60f81b9050608060f81b817effffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff191610156109245760018361091d919061143d565b9250610a3f565b60e060f81b817effffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff191610156109665760028361095f919061143d565b9250610a3e565b60f060f81b817effffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff191610156109a8576003836109a1919061143d565b9250610a3d565b60f8801b817effffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff191610156109e9576004836109e2919061143d565b9250610a3c565b60fc60f81b817effffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff19161015610a2b57600583610a24919061143d565b9250610a3b565b600683610a38919061143d565b92505b5b5b5b5b508280610a4b90611471565b9350506108b8565b829350505050919050565b600080600090506000600360009054906101000a900473ffffffffffffffffffffffffffffffffffffffff16905060008173ffffffffffffffffffffffffffffffffffffffff166370a08231866040518263ffffffff1660e01b8152600401610ac79190611316565b602060405180830381865afa158015610ae4573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190610b089190611346565b90506004548110610b1857600192505b829350505050919050565b600080606460085484610b3691906114b9565b610b40919061152a565b905060008184610b50919061155b565b9050610b5b82610b66565b508092505050919050565b600080600283610b76919061152a565b90506000600660009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1682604051610bc0906112f2565b60006040518083038185875af1925050503d8060008114610bfd576040519150601f19603f3d011682016040523d82523d6000602084013e610c02565b606091505b505090506000600760009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1683604051610c4e906112f2565b60006040518083038185875af1925050503d8060008114610c8b576040519150601f19603f3d011682016040523d82523d6000602084013e610c90565b606091505b505090506000828015610ca05750815b905080945050505050919050565b6000604051905090565b600080fd5b600080fd5b6000819050919050565b610cd581610cc2565b8114610ce057600080fd5b50565b600081359050610cf281610ccc565b92915050565b600060208284031215610d0e57610d0d610cb8565b5b6000610d1c84828501610ce3565b91505092915050565b600080fd5b600080fd5b6000601f19601f8301169050919050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052604160045260246000fd5b610d7882610d2f565b810181811067ffffffffffffffff82111715610d9757610d96610d40565b5b80604052505050565b6000610daa610cae565b9050610db68282610d6f565b919050565b600067ffffffffffffffff821115610dd657610dd5610d40565b5b610ddf82610d2f565b9050602081019050919050565b82818337600083830152505050565b6000610e0e610e0984610dbb565b610da0565b905082815260208101848484011115610e2a57610e29610d2a565b5b610e35848285610dec565b509392505050565b600082601f830112610e5257610e51610d25565b5b8135610e62848260208601610dfb565b91505092915050565b600060208284031215610e8157610e80610cb8565b5b600082013567ffffffffffffffff811115610e9f57610e9e610cbd565b5b610eab84828501610e3d565b91505092915050565b6000819050919050565b610ec781610eb4565b82525050565b6000602082019050610ee26000830184610ebe565b92915050565b60008115159050919050565b610efd81610ee8565b82525050565b6000602082019050610f186000830184610ef4565b92915050565b600073ffffffffffffffffffffffffffffffffffffffff82169050919050565b6000610f4982610f1e565b9050919050565b610f5981610f3e565b8114610f6457600080fd5b50565b600081359050610f7681610f50565b92915050565b600060208284031215610f9257610f91610cb8565b5b6000610fa084828501610f67565b91505092915050565b610fb281610cc2565b82525050565b6000602082019050610fcd6000830184610fa9565b92915050565b610fdc81610eb4565b8114610fe757600080fd5b50565b600081359050610ff981610fd3565b92915050565b60006020828403121561101557611014610cb8565b5b600061102384828501610fea565b91505092915050565b600082825260208201905092915050565b7f4e6f74206f776e65720000000000000000000000000000000000000000000000600082015250565b600061107360098361102c565b915061107e8261103d565b602082019050919050565b600060208201905081810360008301526110a281611066565b9050919050565b600081519050919050565b600081905092915050565b60005b838110156110dd5780820151818401526020810190506110c2565b60008484015250505050565b60006110f4826110a9565b6110fe81856110b4565b935061110e8185602086016110bf565b80840191505092915050565b600061112682846110e9565b915081905092915050565b7f50617373776f7264206c656e677468206d757374206265203e2031382063686160008201527f7261637465722e00000000000000000000000000000000000000000000000000602082015250565b600061118d60278361102c565b915061119882611131565b604082019050919050565b600060208201905081810360008301526111bc81611180565b9050919050565b7f4e6f207265656e7472616e637900000000000000000000000000000000000000600082015250565b60006111f9600d8361102c565b9150611204826111c3565b602082019050919050565b60006020820190508181036000830152611228816111ec565b9050919050565b7f506c656173652070726f7669646520746865207269676874207573657220706160008201527f7373776f726420746f2077697468647261770000000000000000000000000000602082015250565b600061128b60328361102c565b91506112968261122f565b604082019050919050565b600060208201905081810360008301526112ba8161127e565b9050919050565b600081905092915050565b50565b60006112dc6000836112c1565b91506112e7826112cc565b600082019050919050565b60006112fd826112cf565b9150819050919050565b61131081610f3e565b82525050565b600060208201905061132b6000830184611307565b92915050565b60008151905061134081610ccc565b92915050565b60006020828403121561135c5761135b610cb8565b5b600061136a84828501611331565b91505092915050565b7f4e6f742076616c69642061646472657373000000000000000000000000000000600082015250565b60006113a960118361102c565b91506113b482611373565b602082019050919050565b600060208201905081810360008301526113d88161139c565b9050919050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052603260045260246000fd5b7f4e487b7100000000000000000000000000000000000000000000000000000000600052601160045260246000fd5b600061144882610cc2565b915061145383610cc2565b925082820190508082111561146b5761146a61140e565b5b92915050565b600061147c82610cc2565b91507fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff82036114ae576114ad61140e565b5b600182019050919050565b60006114c482610cc2565b91506114cf83610cc2565b92508282026114dd81610cc2565b915082820484148315176114f4576114f361140e565b5b5092915050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052601260045260246000fd5b600061153582610cc2565b915061154083610cc2565b9250826115505761154f6114fb565b5b828204905092915050565b600061156682610cc2565b915061157183610cc2565b92508282039050818111156115895761158861140e565b5b9291505056fea26469706673582212203f827dc3420bbc5f975d1d61a3b2d1086a0ad1b6af1651299f83f5c068981bab64736f6c63430008120033

1509:5208:0:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;6373:137;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;4114:424;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;2948:673;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;6518:193;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;6236:129;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;3633:473;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;6373:137;2554:5;;;;;;;;;;;2540:19;;:10;:19;;;2532:41;;;;;;;;;;;;:::i;:::-;;;;;;;;;6489:13:::1;6464:22;:38;;;;6373:137:::0;:::o;4114:424::-;4182:7;4215:19;4276:2;4251:22;4258:14;4251:6;:22::i;:::-;:27;4247:253;;;4347:14;4330:32;;;;;;;;:::i;:::-;;;;;;;;;;;;;4320:43;;;;;;4298:66;;4247:253;;;4442:2;4417:22;4424:14;4417:6;:22::i;:::-;:27;4409:79;;;;;;;;;;;;:::i;:::-;;;;;;;;;4247:253;4519:11;4512:18;;;4114:424;;;:::o;2948:673::-;3019:4;2774:6;;;;;;;;;;;2773:7;2765:33;;;;;;;;;;;;:::i;:::-;;;;;;;;;2820:4;2811:6;;:13;;;;;;;;;;;;;;;;;;3052:28:::1;3069:10;3052:16;:28::i;:::-;3044:37;;;::::0;::::1;;3102:19;3159:8;3142:26;;;;;;;;:::i;:::-;;;;;;;;;;;;;3132:37;;;;;;3102:68;;3192:10;:23;3203:11;3192:23;;;;;;;;;;;;;;;;;;;;;3191:24;3183:33;;;::::0;::::1;;3246:6;:19:::0;3253:11:::1;3246:19;;;;;;;;;;;;;;;;;;;;;3238:82;;;;;;;;;;;;:::i;:::-;;;;;;;;;3341:25;3369:40;3397:11;;3369:27;:40::i;:::-;3341:68;;3423:12;3448:10;3440:24;;3473:17;3440:55;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;3422:73;;;3538:5;3516:6:::0;:19:::1;3523:11;3516:19;;;;;;;;;;;;:27;;;;;;;;;;;;;;;;;;3582:4;3556:10;:23;3567:11;3556:23;;;;;;;;;;;;:30;;;;;;;;;;;;;;;;;;3606:7;3599:14;;;;;2856:5:::0;2847:6;;:14;;;;;;;;;;;;;;;;;;2948:673;;;:::o;6518:193::-;6593:7;6617:12;6639:14;;;;;;;;;;;6617:37;;6672:5;:15;;;6688:13;6672:30;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;6665:37;;;6518:193;;;:::o;6236:129::-;2554:5;;;;;;;;;;;2540:19;;:10;:19;;;2532:41;;;;;;;;;;;;:::i;:::-;;;;;;;;;6309:9:::1;2674:1;2657:19;;:5;:19;;::::0;2649:49:::1;;;;;;;;;;;;:::i;:::-;;;;;;;;;6348:9:::2;6331:14;;:26;;;;;;;;;;;;;;;;;;2584:1:::1;6236:129:::0;:::o;3633:473::-;2774:6;;;;;;;;;;;2773:7;2765:33;;;;;;;;;;;;:::i;:::-;;;;;;;;;2820:4;2811:6;;:13;;;;;;;;;;;;;;;;;;3743:28:::1;3760:10;3743:16;:28::i;:::-;3735:37;;;::::0;::::1;;3805:18;3792:9;:31;3784:40;;;::::0;::::1;;3860:9;3837:8;:20;3846:10;3837:20;;;;;;;;;;;;;;;:32;;;;3891:10;:39;3902:27;3891:39;;;;;;;;;;;;;;;;;;;;;3890:40;3882:49;;;::::0;::::1;;3983:1;3960:8;:20;3969:10;3960:20;;;;;;;;;;;;;;;;:24;3952:33;;;::::0;::::1;;4044:4;4006:6;:35:::0;4013:27:::1;4006:35;;;;;;;;;;;;:42;;;;;;;;;;;;;;;;;;4095:1;4072:8;:20;4081:10;4072:20;;;;;;;;;;;;;;;:24;;;;2856:5:::0;2847:6;;:14;;;;;;;;;;;;;;;;;;3633:473;:::o;5300:534::-;5356:7;5376:11;5390:1;5376:15;;5402:9;5426:18;5453:1;5447:15;5426:36;;5484:1;5478:7;;5473:333;5491:10;5487:1;:14;5473:333;;;5525:8;5542:1;5545;5536:11;;;;;;;;:::i;:::-;;;;;;;;;;5525:22;;5570:4;5566:8;;:1;:8;;;;5562:233;;;5583:1;5578:6;;;;;:::i;:::-;;;5562:233;;;5614:4;5610:8;;:1;:8;;;;5606:189;;;5627:1;5622:6;;;;;:::i;:::-;;;5606:189;;;5658:4;5654:8;;:1;:8;;;;5650:145;;;5671:1;5666:6;;;;;:::i;:::-;;;5650:145;;;5702:4;5698:8;;:1;:8;;;;5694:101;;;5715:1;5710:6;;;;;:::i;:::-;;;5694:101;;;5747:4;5743:8;;:1;:8;;;;5739:56;;;5760:1;5755:6;;;;;:::i;:::-;;;5739:56;;;5791:1;5786:6;;;;;:::i;:::-;;;5739:56;5694:101;5650:145;5606:189;5562:233;5510:296;5503:5;;;;;:::i;:::-;;;;5473:333;;;5823:3;5816:10;;;;;5300:534;;;:::o;5842:385::-;5913:4;5934:14;5951:5;5934:22;;5969:12;5991:14;;;;;;;;;;;5969:37;;6017:26;6046:5;:15;;;6062:13;6046:30;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;6017:59;;6122:22;;6100:18;:44;6097:95;;6176:4;6164:16;;6097:95;6209:9;6202:16;;;;;5842:385;;;:::o;4548:323::-;4632:7;4654:17;4709:3;4696:10;;4674:19;:32;;;;:::i;:::-;:38;;;;:::i;:::-;4654:58;;4723:23;4771:9;4749:19;:31;;;;:::i;:::-;4723:57;;4801:29;4820:9;4801:18;:29::i;:::-;;4848:15;4841:22;;;;4548:323;;;:::o;4879:406::-;4947:4;4967:21;5006:1;4991:12;:16;;;;:::i;:::-;4967:40;;5029:12;5046:14;;;;;;;;;;;:19;;5074:13;5046:46;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;5028:64;;;5104:13;5122:15;;;;;;;;;;;:20;;5151:13;5122:47;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;5103:66;;;5198:17;5218:7;:19;;;;;5229:8;5218:19;5198:39;;5265:12;5258:19;;;;;;4879:406;;;:::o;7:75:1:-;40:6;73:2;67:9;57:19;;7:75;:::o;88:117::-;197:1;194;187:12;211:117;320:1;317;310:12;334:77;371:7;400:5;389:16;;334:77;;;:::o;417:122::-;490:24;508:5;490:24;:::i;:::-;483:5;480:35;470:63;;529:1;526;519:12;470:63;417:122;:::o;545:139::-;591:5;629:6;616:20;607:29;;645:33;672:5;645:33;:::i;:::-;545:139;;;;:::o;690:329::-;749:6;798:2;786:9;777:7;773:23;769:32;766:119;;;804:79;;:::i;:::-;766:119;924:1;949:53;994:7;985:6;974:9;970:22;949:53;:::i;:::-;939:63;;895:117;690:329;;;;:::o;1025:117::-;1134:1;1131;1124:12;1148:117;1257:1;1254;1247:12;1271:102;1312:6;1363:2;1359:7;1354:2;1347:5;1343:14;1339:28;1329:38;;1271:102;;;:::o;1379:180::-;1427:77;1424:1;1417:88;1524:4;1521:1;1514:15;1548:4;1545:1;1538:15;1565:281;1648:27;1670:4;1648:27;:::i;:::-;1640:6;1636:40;1778:6;1766:10;1763:22;1742:18;1730:10;1727:34;1724:62;1721:88;;;1789:18;;:::i;:::-;1721:88;1829:10;1825:2;1818:22;1608:238;1565:281;;:::o;1852:129::-;1886:6;1913:20;;:::i;:::-;1903:30;;1942:33;1970:4;1962:6;1942:33;:::i;:::-;1852:129;;;:::o;1987:308::-;2049:4;2139:18;2131:6;2128:30;2125:56;;;2161:18;;:::i;:::-;2125:56;2199:29;2221:6;2199:29;:::i;:::-;2191:37;;2283:4;2277;2273:15;2265:23;;1987:308;;;:::o;2301:146::-;2398:6;2393:3;2388;2375:30;2439:1;2430:6;2425:3;2421:16;2414:27;2301:146;;;:::o;2453:425::-;2531:5;2556:66;2572:49;2614:6;2572:49;:::i;:::-;2556:66;:::i;:::-;2547:75;;2645:6;2638:5;2631:21;2683:4;2676:5;2672:16;2721:3;2712:6;2707:3;2703:16;2700:25;2697:112;;;2728:79;;:::i;:::-;2697:112;2818:54;2865:6;2860:3;2855;2818:54;:::i;:::-;2537:341;2453:425;;;;;:::o;2898:340::-;2954:5;3003:3;2996:4;2988:6;2984:17;2980:27;2970:122;;3011:79;;:::i;:::-;2970:122;3128:6;3115:20;3153:79;3228:3;3220:6;3213:4;3205:6;3201:17;3153:79;:::i;:::-;3144:88;;2960:278;2898:340;;;;:::o;3244:509::-;3313:6;3362:2;3350:9;3341:7;3337:23;3333:32;3330:119;;;3368:79;;:::i;:::-;3330:119;3516:1;3505:9;3501:17;3488:31;3546:18;3538:6;3535:30;3532:117;;;3568:79;;:::i;:::-;3532:117;3673:63;3728:7;3719:6;3708:9;3704:22;3673:63;:::i;:::-;3663:73;;3459:287;3244:509;;;;:::o;3759:77::-;3796:7;3825:5;3814:16;;3759:77;;;:::o;3842:118::-;3929:24;3947:5;3929:24;:::i;:::-;3924:3;3917:37;3842:118;;:::o;3966:222::-;4059:4;4097:2;4086:9;4082:18;4074:26;;4110:71;4178:1;4167:9;4163:17;4154:6;4110:71;:::i;:::-;3966:222;;;;:::o;4194:90::-;4228:7;4271:5;4264:13;4257:21;4246:32;;4194:90;;;:::o;4290:109::-;4371:21;4386:5;4371:21;:::i;:::-;4366:3;4359:34;4290:109;;:::o;4405:210::-;4492:4;4530:2;4519:9;4515:18;4507:26;;4543:65;4605:1;4594:9;4590:17;4581:6;4543:65;:::i;:::-;4405:210;;;;:::o;4621:126::-;4658:7;4698:42;4691:5;4687:54;4676:65;;4621:126;;;:::o;4753:96::-;4790:7;4819:24;4837:5;4819:24;:::i;:::-;4808:35;;4753:96;;;:::o;4855:122::-;4928:24;4946:5;4928:24;:::i;:::-;4921:5;4918:35;4908:63;;4967:1;4964;4957:12;4908:63;4855:122;:::o;4983:139::-;5029:5;5067:6;5054:20;5045:29;;5083:33;5110:5;5083:33;:::i;:::-;4983:139;;;;:::o;5128:329::-;5187:6;5236:2;5224:9;5215:7;5211:23;5207:32;5204:119;;;5242:79;;:::i;:::-;5204:119;5362:1;5387:53;5432:7;5423:6;5412:9;5408:22;5387:53;:::i;:::-;5377:63;;5333:117;5128:329;;;;:::o;5463:118::-;5550:24;5568:5;5550:24;:::i;:::-;5545:3;5538:37;5463:118;;:::o;5587:222::-;5680:4;5718:2;5707:9;5703:18;5695:26;;5731:71;5799:1;5788:9;5784:17;5775:6;5731:71;:::i;:::-;5587:222;;;;:::o;5815:122::-;5888:24;5906:5;5888:24;:::i;:::-;5881:5;5878:35;5868:63;;5927:1;5924;5917:12;5868:63;5815:122;:::o;5943:139::-;5989:5;6027:6;6014:20;6005:29;;6043:33;6070:5;6043:33;:::i;:::-;5943:139;;;;:::o;6088:329::-;6147:6;6196:2;6184:9;6175:7;6171:23;6167:32;6164:119;;;6202:79;;:::i;:::-;6164:119;6322:1;6347:53;6392:7;6383:6;6372:9;6368:22;6347:53;:::i;:::-;6337:63;;6293:117;6088:329;;;;:::o;6423:169::-;6507:11;6541:6;6536:3;6529:19;6581:4;6576:3;6572:14;6557:29;;6423:169;;;;:::o;6598:159::-;6738:11;6734:1;6726:6;6722:14;6715:35;6598:159;:::o;6763:365::-;6905:3;6926:66;6990:1;6985:3;6926:66;:::i;:::-;6919:73;;7001:93;7090:3;7001:93;:::i;:::-;7119:2;7114:3;7110:12;7103:19;;6763:365;;;:::o;7134:419::-;7300:4;7338:2;7327:9;7323:18;7315:26;;7387:9;7381:4;7377:20;7373:1;7362:9;7358:17;7351:47;7415:131;7541:4;7415:131;:::i;:::-;7407:139;;7134:419;;;:::o;7559:99::-;7611:6;7645:5;7639:12;7629:22;;7559:99;;;:::o;7664:148::-;7766:11;7803:3;7788:18;;7664:148;;;;:::o;7818:246::-;7899:1;7909:113;7923:6;7920:1;7917:13;7909:113;;;8008:1;8003:3;7999:11;7993:18;7989:1;7984:3;7980:11;7973:39;7945:2;7942:1;7938:10;7933:15;;7909:113;;;8056:1;8047:6;8042:3;8038:16;8031:27;7880:184;7818:246;;;:::o;8070:390::-;8176:3;8204:39;8237:5;8204:39;:::i;:::-;8259:89;8341:6;8336:3;8259:89;:::i;:::-;8252:96;;8357:65;8415:6;8410:3;8403:4;8396:5;8392:16;8357:65;:::i;:::-;8447:6;8442:3;8438:16;8431:23;;8180:280;8070:390;;;;:::o;8466:275::-;8598:3;8620:95;8711:3;8702:6;8620:95;:::i;:::-;8613:102;;8732:3;8725:10;;8466:275;;;;:::o;8747:226::-;8887:34;8883:1;8875:6;8871:14;8864:58;8956:9;8951:2;8943:6;8939:15;8932:34;8747:226;:::o;8979:366::-;9121:3;9142:67;9206:2;9201:3;9142:67;:::i;:::-;9135:74;;9218:93;9307:3;9218:93;:::i;:::-;9336:2;9331:3;9327:12;9320:19;;8979:366;;;:::o;9351:419::-;9517:4;9555:2;9544:9;9540:18;9532:26;;9604:9;9598:4;9594:20;9590:1;9579:9;9575:17;9568:47;9632:131;9758:4;9632:131;:::i;:::-;9624:139;;9351:419;;;:::o;9776:163::-;9916:15;9912:1;9904:6;9900:14;9893:39;9776:163;:::o;9945:366::-;10087:3;10108:67;10172:2;10167:3;10108:67;:::i;:::-;10101:74;;10184:93;10273:3;10184:93;:::i;:::-;10302:2;10297:3;10293:12;10286:19;;9945:366;;;:::o;10317:419::-;10483:4;10521:2;10510:9;10506:18;10498:26;;10570:9;10564:4;10560:20;10556:1;10545:9;10541:17;10534:47;10598:131;10724:4;10598:131;:::i;:::-;10590:139;;10317:419;;;:::o;10742:237::-;10882:34;10878:1;10870:6;10866:14;10859:58;10951:20;10946:2;10938:6;10934:15;10927:45;10742:237;:::o;10985:366::-;11127:3;11148:67;11212:2;11207:3;11148:67;:::i;:::-;11141:74;;11224:93;11313:3;11224:93;:::i;:::-;11342:2;11337:3;11333:12;11326:19;;10985:366;;;:::o;11357:419::-;11523:4;11561:2;11550:9;11546:18;11538:26;;11610:9;11604:4;11600:20;11596:1;11585:9;11581:17;11574:47;11638:131;11764:4;11638:131;:::i;:::-;11630:139;;11357:419;;;:::o;11782:147::-;11883:11;11920:3;11905:18;;11782:147;;;;:::o;11935:114::-;;:::o;12055:398::-;12214:3;12235:83;12316:1;12311:3;12235:83;:::i;:::-;12228:90;;12327:93;12416:3;12327:93;:::i;:::-;12445:1;12440:3;12436:11;12429:18;;12055:398;;;:::o;12459:379::-;12643:3;12665:147;12808:3;12665:147;:::i;:::-;12658:154;;12829:3;12822:10;;12459:379;;;:::o;12844:118::-;12931:24;12949:5;12931:24;:::i;:::-;12926:3;12919:37;12844:118;;:::o;12968:222::-;13061:4;13099:2;13088:9;13084:18;13076:26;;13112:71;13180:1;13169:9;13165:17;13156:6;13112:71;:::i;:::-;12968:222;;;;:::o;13196:143::-;13253:5;13284:6;13278:13;13269:22;;13300:33;13327:5;13300:33;:::i;:::-;13196:143;;;;:::o;13345:351::-;13415:6;13464:2;13452:9;13443:7;13439:23;13435:32;13432:119;;;13470:79;;:::i;:::-;13432:119;13590:1;13615:64;13671:7;13662:6;13651:9;13647:22;13615:64;:::i;:::-;13605:74;;13561:128;13345:351;;;;:::o;13702:167::-;13842:19;13838:1;13830:6;13826:14;13819:43;13702:167;:::o;13875:366::-;14017:3;14038:67;14102:2;14097:3;14038:67;:::i;:::-;14031:74;;14114:93;14203:3;14114:93;:::i;:::-;14232:2;14227:3;14223:12;14216:19;;13875:366;;;:::o;14247:419::-;14413:4;14451:2;14440:9;14436:18;14428:26;;14500:9;14494:4;14490:20;14486:1;14475:9;14471:17;14464:47;14528:131;14654:4;14528:131;:::i;:::-;14520:139;;14247:419;;;:::o;14672:180::-;14720:77;14717:1;14710:88;14817:4;14814:1;14807:15;14841:4;14838:1;14831:15;14858:180;14906:77;14903:1;14896:88;15003:4;15000:1;14993:15;15027:4;15024:1;15017:15;15044:191;15084:3;15103:20;15121:1;15103:20;:::i;:::-;15098:25;;15137:20;15155:1;15137:20;:::i;:::-;15132:25;;15180:1;15177;15173:9;15166:16;;15201:3;15198:1;15195:10;15192:36;;;15208:18;;:::i;:::-;15192:36;15044:191;;;;:::o;15241:233::-;15280:3;15303:24;15321:5;15303:24;:::i;:::-;15294:33;;15349:66;15342:5;15339:77;15336:103;;15419:18;;:::i;:::-;15336:103;15466:1;15459:5;15455:13;15448:20;;15241:233;;;:::o;15480:410::-;15520:7;15543:20;15561:1;15543:20;:::i;:::-;15538:25;;15577:20;15595:1;15577:20;:::i;:::-;15572:25;;15632:1;15629;15625:9;15654:30;15672:11;15654:30;:::i;:::-;15643:41;;15833:1;15824:7;15820:15;15817:1;15814:22;15794:1;15787:9;15767:83;15744:139;;15863:18;;:::i;:::-;15744:139;15528:362;15480:410;;;;:::o;15896:180::-;15944:77;15941:1;15934:88;16041:4;16038:1;16031:15;16065:4;16062:1;16055:15;16082:185;16122:1;16139:20;16157:1;16139:20;:::i;:::-;16134:25;;16173:20;16191:1;16173:20;:::i;:::-;16168:25;;16212:1;16202:35;;16217:18;;:::i;:::-;16202:35;16259:1;16256;16252:9;16247:14;;16082:185;;;;:::o;16273:194::-;16313:4;16333:20;16351:1;16333:20;:::i;:::-;16328:25;;16367:20;16385:1;16367:20;:::i;:::-;16362:25;;16411:1;16408;16404:9;16396:17;;16435:1;16429:4;16426:11;16423:37;;;16440:18;;:::i;:::-;16423:37;16273:194;;;;:::o

ipfs://3f827dc3420bbc5f975d1d61a3b2d1086a0ad1b6af1651299f83f5c068981bab