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, ...
•    - function supplyeffect(uint _amount)
• 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 ...
•    - function mod(uint256 a, uint256 b)
•    - function mod(uint256 a, uint256 b, st ...
•  contract ASP *
•    - function tokenconfigs(address _axiato ...
•    - function _minStakeAmount(uint256 _num ...
•    - function stakaingStatus(bool _status)
•    - function unstakeburnrate(uint _rate)
•    - function MIN_DIVIDENDS_DUR_TIME(uint2 ...
•    - function StakeAxiaTokens(uint256 _tok ...
•    - function UnstakeAxiaTokens(uint256 _t ...
•    - function totalFrozen()
•    - function frozenOf(address _user)
•    - function dividendsOf(address _user)
•    - function userData(address _user)
•    - function _stake(uint256 _amount)
•    - function _unstake(uint256 _amount)
•    - function TakeDividends()
•    - function StakeDividends()
•    - function scaledToken(uint _amount)
•    - function mulDiv (uint x, uint y, uint ...
•    - function fullMul (uint x, uint y)

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

/**
 *Submitted for verification at Etherscan.io on 2020-09-02
*/

/*

* @dev This is the Axia Protocol Staking pool 4 contract (AXIA LONE Pool), a part of the protocol where stakers are rewarded in AXIA tokens 
* when they make stakes of Axia tokens.

* stakers reward come from the daily emission from the total supply into circulation,
* this happens daily and upon the reach of a new epoch each made of 180 days, 
* halvings are experienced on the emitting amount of tokens.


* on the 11th epoch all the tokens would have been completed emitted into circulation,
* from here on, the stakers will still be earning from daily emissions
* which would now be coming from the accumulated basis points over the epochs.

* upon unstaking, stakers are charged a fee of 1% of their unstaking sum which is
* burnt forever, thereby reducing the total supply. this gives the Axia token its deflationary feature.


*/
pragma solidity 0.6.4;


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);
    
    function supplyeffect(uint _amount) external returns (bool);

    event Transfer(address indexed from, address indexed to, uint256 value);

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


library SafeMath {
    /**
     * @dev Returns the addition of two unsigned integers, reverting on
     * overflow.
     *
     * Counterpart to Solidity's `+` operator.
     *
     * Requirements:
     *
     * - Addition cannot overflow.
     */
    function add(uint256 a, uint256 b) internal pure returns (uint256) {
        uint256 c = a + b;
        require(c >= a, "SafeMath: addition overflow");

        return c;
    }
 
    /**
     * @dev Returns the subtraction of two unsigned integers, reverting on
     * overflow (when the result is negative).
     *
     * Counterpart to Solidity's `-` operator.
     *
     * Requirements:
     *
     * - Subtraction cannot overflow.
     */
    function sub(uint256 a, uint256 b) internal pure returns (uint256) {
        return sub(a, b, "SafeMath: subtraction overflow");
    }

    /**
     * @dev Returns the subtraction of two unsigned integers, reverting with custom message on
     * overflow (when the result is negative).
     *
     * Counterpart to Solidity's `-` operator.
     *
     * Requirements:
     *
     * - Subtraction cannot overflow.
     */
    function sub(uint256 a, uint256 b, string memory errorMessage) internal pure returns (uint256) {
        require(b <= a, errorMessage);
        uint256 c = a - b;

        return c;
    }

    /**
     * @dev Returns the multiplication of two unsigned integers, reverting on
     * overflow.
     *
     * Counterpart to Solidity's `*` operator.
     *
     * Requirements:
     *
     * - Multiplication cannot overflow.
     */
    function mul(uint256 a, uint256 b) internal pure returns (uint256) {
        // Gas optimization: this is cheaper than requiring 'a' not being zero, but the
        // benefit is lost if 'b' is also tested.
        // See: https://github.com/OpenZeppelin/openzeppelin-contracts/pull/522
        if (a == 0) {
            return 0;
        }

        uint256 c = a * b;
        require(c / a == b, "SafeMath: multiplication overflow");

        return c;
    }

    /**
     * @dev Returns the integer division of two unsigned integers. Reverts on
     * division by zero. The result is rounded towards zero.
     *
     * Counterpart to Solidity's `/` operator. Note: this function uses a
     * `revert` opcode (which leaves remaining gas untouched) while Solidity
     * uses an invalid opcode to revert (consuming all remaining gas).
     *
     * Requirements:
     *
     * - The divisor cannot be zero.
     */
    function div(uint256 a, uint256 b) internal pure returns (uint256) {
        return div(a, b, "SafeMath: division by zero");
    }

    /**
     * @dev Returns the integer division of two unsigned integers. Reverts with custom message on
     * division by zero. The result is rounded towards zero.
     *
     * Counterpart to Solidity's `/` operator. Note: this function uses a
     * `revert` opcode (which leaves remaining gas untouched) while Solidity
     * uses an invalid opcode to revert (consuming all remaining gas).
     *
     * Requirements:
     *
     * - The divisor cannot be zero.
     */
    function div(uint256 a, uint256 b, string memory errorMessage) internal pure returns (uint256) {
        require(b > 0, errorMessage);
        uint256 c = a / b;
        // assert(a == b * c + a % b); // There is no case in which this doesn't hold

        return c;
    }

    /**
     * @dev Returns the remainder of dividing two unsigned integers. (unsigned integer modulo),
     * Reverts when dividing by zero.
     *
     * Counterpart to Solidity's `%` operator. This function uses a `revert`
     * opcode (which leaves remaining gas untouched) while Solidity uses an
     * invalid opcode to revert (consuming all remaining gas).
     *
     * Requirements:
     *
     * - The divisor cannot be zero.
     */
    function mod(uint256 a, uint256 b) internal pure returns (uint256) {
        return mod(a, b, "SafeMath: modulo by zero");
    }

    /**
     * @dev Returns the remainder of dividing two unsigned integers. (unsigned integer modulo),
     * Reverts with custom message when dividing by zero.
     *
     * Counterpart to Solidity's `%` operator. This function uses a `revert`
     * opcode (which leaves remaining gas untouched) while Solidity uses an
     * invalid opcode to revert (consuming all remaining gas).
     *
     * Requirements:
     *
     * - The divisor cannot be zero.
     */
    function mod(uint256 a, uint256 b, string memory errorMessage) internal pure returns (uint256) {
        require(b != 0, errorMessage);
        return a % b;
    }
}



contract ASP{
    
    using SafeMath for uint256;
    
    //======================================EVENTS=========================================//
    event StakeEvent(address indexed staker, address indexed pool, uint amount);
    event UnstakeEvent(address indexed unstaker, address indexed pool, uint amount);
    event RewardEvent(address indexed staker, address indexed pool, uint amount);
    event RewardStake(address indexed staker, address indexed pool, uint amount);
    //event BurnEvent(address indexed pool, address indexed burnaddress, uint amount);
    
    
    
    
     //======================================STAKING POOL=========================================//
    address public Axiatoken;
    
    address public administrator;
    
    bool public stakingEnabled;
    
    uint256 constant private FLOAT_SCALAR = 2**64;
    uint256 public MINIMUM_STAKE = 1000000000000000000; // 1000 AXIA Tokens
	uint256 public MIN_DIVIDENDS_DUR = 86400;
	uint256 private  UNSTAKE_FEE = 1; //1% burns when you unstake
	uint public infocheck;
	uint _burnedAmount;
	uint actualValue;
    
    struct User {
		uint256 balance;
		uint256 frozen;
		int256 scaledPayout;  
		uint256 staketime;
	}

	struct Info {
		uint256 totalSupply;
		uint256 totalFrozen;
		mapping(address => User) users;
		uint256 scaledPayoutPerToken; //pool balance 
		address admin;
	}
	
	Info private info;
	
	
	constructor() public {
       
	    info.admin = msg.sender;
		stakingEnabled = false;
		
	}
	
//======================================ADMINSTRATION=========================================//

	modifier onlyCreator() {
        require(msg.sender == info.admin, "Ownable: caller is not the administrator");
        _;
    }
    
    modifier onlyAxiaToken() {
        require(msg.sender == Axiatoken, "Authorization: only token contract can call");
        _;
    }
    
	 function tokenconfigs(address _axiatoken) public onlyCreator returns (bool success) {
        Axiatoken = _axiatoken;
        return true;
    }
	
	function _minStakeAmount(uint256 _number) onlyCreator public {
		
		MINIMUM_STAKE = _number*1000000000000000000;
		
	}
    
    function stakaingStatus(bool _status) public onlyCreator {
	stakingEnabled = _status;
    }
    
    function unstakeburnrate(uint _rate) public onlyCreator returns (bool success) {
        UNSTAKE_FEE = _rate;
        return true;
    }
    
    
    function MIN_DIVIDENDS_DUR_TIME(uint256 _minDuration) public onlyCreator {
        
	MIN_DIVIDENDS_DUR = _minDuration;
	
    }
//======================================USER WRITE=========================================//

	function StakeAxiaTokens(uint256 _tokens) external {
		_stake(_tokens);
	}
    
    function UnstakeAxiaTokens(uint256 _tokens) external {
		_unstake(_tokens);
	}
	
//======================================USER READ=========================================//

	function totalFrozen() public view returns (uint256) {
		return info.totalFrozen;
	}
	
    function frozenOf(address _user) public view returns (uint256) {
		return info.users[_user].frozen;
	}

	function dividendsOf(address _user) public view returns (uint256) {
	    
	    if(info.users[_user].staketime < MIN_DIVIDENDS_DUR){
	        return 0;
	    }else{
	     return uint256(int256(info.scaledPayoutPerToken * info.users[_user].frozen) - info.users[_user].scaledPayout) / FLOAT_SCALAR;   
	    }
	}
	

	function userData(address _user) public view 
	returns (uint256 totalTokensFrozen, uint256 userFrozen, 
	uint256 userDividends, uint256 userStaketime, int256 scaledPayout) {
	    
		return (totalFrozen(), frozenOf(_user), dividendsOf(_user), info.users[_user].staketime, info.users[_user].scaledPayout);
	
	    
	}
	

//======================================ACTION CALLS=========================================//	
	
	function _stake(uint256 _amount) internal {
	    
	    require(stakingEnabled, "Staking not yet initialized");
	    
		require(IERC20(Axiatoken).balanceOf(msg.sender) >= _amount, "Insufficient Axia token balance");
		require(frozenOf(msg.sender) + _amount >= MINIMUM_STAKE, "Your amount is lower than the minimum amount allowed to stake");
		require(IERC20(Axiatoken).allowance(msg.sender, address(this)) >= _amount, "Not enough allowance given to contract yet to spend by user");
		
		info.users[msg.sender].staketime = now;
		info.totalFrozen += _amount;
		info.users[msg.sender].frozen += _amount;
		
		info.users[msg.sender].scaledPayout += int256(_amount * info.scaledPayoutPerToken); 
		IERC20(Axiatoken).transferFrom(msg.sender, address(this), _amount);      // Transfer liquidity tokens from the sender to this contract
		
        emit StakeEvent(msg.sender, address(this), _amount);
	}
	
	    
	
	function _unstake(uint256 _amount) internal {
	    
		require(frozenOf(msg.sender) >= _amount, "You currently do not have up to that amount staked");
		
		info.totalFrozen -= _amount;
		info.users[msg.sender].frozen -= _amount;
		info.users[msg.sender].scaledPayout -= int256(_amount * info.scaledPayoutPerToken);
		
		uint256 interval =  now - info.users[msg.sender].staketime;
		
		
		if(interval < MIN_DIVIDENDS_DUR){
		    
		_burnedAmount = mulDiv(_amount, UNSTAKE_FEE, 100);
		actualValue = _amount.sub(_burnedAmount);
		
		require(IERC20(Axiatoken).transfer(msg.sender, actualValue), "Transaction failed");
        emit UnstakeEvent(address(this), msg.sender, actualValue);
		
		
		require(IERC20(Axiatoken).transfer(address(0x0), _burnedAmount), "Transaction failed");
 		
 		
 		IERC20(Axiatoken).supplyeffect(_burnedAmount);
 		//emit BurnEvent(address(this), address(0x0), _amount);
		
		
		 
		}else{
		    
		require(IERC20(Axiatoken).transfer(msg.sender, _amount), "Transaction failed");
        emit UnstakeEvent(address(this), msg.sender, _amount);
		
		}
		
	}
		
		
	function TakeDividends() external returns (uint256) {
		    
		uint256 _dividends = dividendsOf(msg.sender);
		require(_dividends >= 0, "you do not have any dividend yet");
		info.users[msg.sender].scaledPayout += int256(_dividends * FLOAT_SCALAR);
		
		require(IERC20(Axiatoken).transfer(msg.sender, _dividends), "Transaction Failed");    // Transfer dividends to msg.sender
		emit RewardEvent(msg.sender, address(this), _dividends);
		
		return _dividends;
	    
		    
	}
		
		
	function StakeDividends() external returns (uint256) {
		    
		uint256 _dividends = dividendsOf(msg.sender);
		require(_dividends >= 0, "you do not have any dividend yet");
		info.users[msg.sender].scaledPayout += int256(_dividends * FLOAT_SCALAR);
		
		require(IERC20(Axiatoken).transfer(msg.sender, _dividends), "Transaction Failed");    // Transfer dividends to msg.sender
		
		_stake(_dividends);
		emit RewardStake(msg.sender, address(this), _dividends);
		
        
		return _dividends;
	    
		    
	}
 
    function scaledToken(uint _amount) external onlyAxiaToken returns(bool){
            
    		info.scaledPayoutPerToken += _amount * FLOAT_SCALAR / info.totalFrozen;
    		infocheck = info.scaledPayoutPerToken;
    		return true;
            
    }
 
        
    function mulDiv (uint x, uint y, uint z) public pure returns (uint) {
              (uint l, uint h) = fullMul (x, y);
              assert (h < z);
              uint mm = mulmod (x, y, z);
              if (mm > l) h -= 1;
              l -= mm;
              uint pow2 = z & -z;
              z /= pow2;
              l /= pow2;
              l += h * ((-pow2) / pow2 + 1);
              uint r = 1;
              r *= 2 - z * r;
              r *= 2 - z * r;
              r *= 2 - z * r;
              r *= 2 - z * r;
              r *= 2 - z * r;
              r *= 2 - z * r;
              r *= 2 - z * r;
              r *= 2 - z * r;
              return l * r;
    }
        
    function fullMul (uint x, uint y) private pure returns (uint l, uint h) {
              uint mm = mulmod (x, y, uint (-1));
              l = x * y;
              h = mm - l;
              if (mm < l) h -= 1;
    }
 
    
}

• No Contract Security Audit Submitted- Submit Audit Here

[{"inputs":[],"stateMutability":"nonpayable","type":"constructor"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"staker","type":"address"},{"indexed":true,"internalType":"address","name":"pool","type":"address"},{"indexed":false,"internalType":"uint256","name":"amount","type":"uint256"}],"name":"RewardEvent","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"staker","type":"address"},{"indexed":true,"internalType":"address","name":"pool","type":"address"},{"indexed":false,"internalType":"uint256","name":"amount","type":"uint256"}],"name":"RewardStake","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"staker","type":"address"},{"indexed":true,"internalType":"address","name":"pool","type":"address"},{"indexed":false,"internalType":"uint256","name":"amount","type":"uint256"}],"name":"StakeEvent","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"unstaker","type":"address"},{"indexed":true,"internalType":"address","name":"pool","type":"address"},{"indexed":false,"internalType":"uint256","name":"amount","type":"uint256"}],"name":"UnstakeEvent","type":"event"},{"inputs":[],"name":"Axiatoken","outputs":[{"internalType":"address","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"MINIMUM_STAKE","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"MIN_DIVIDENDS_DUR","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"uint256","name":"_minDuration","type":"uint256"}],"name":"MIN_DIVIDENDS_DUR_TIME","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"uint256","name":"_tokens","type":"uint256"}],"name":"StakeAxiaTokens","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"StakeDividends","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"TakeDividends","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"uint256","name":"_tokens","type":"uint256"}],"name":"UnstakeAxiaTokens","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"uint256","name":"_number","type":"uint256"}],"name":"_minStakeAmount","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"administrator","outputs":[{"internalType":"address","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"_user","type":"address"}],"name":"dividendsOf","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"_user","type":"address"}],"name":"frozenOf","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"infocheck","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"uint256","name":"x","type":"uint256"},{"internalType":"uint256","name":"y","type":"uint256"},{"internalType":"uint256","name":"z","type":"uint256"}],"name":"mulDiv","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"pure","type":"function"},{"inputs":[{"internalType":"uint256","name":"_amount","type":"uint256"}],"name":"scaledToken","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"bool","name":"_status","type":"bool"}],"name":"stakaingStatus","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"stakingEnabled","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"_axiatoken","type":"address"}],"name":"tokenconfigs","outputs":[{"internalType":"bool","name":"success","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"totalFrozen","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"uint256","name":"_rate","type":"uint256"}],"name":"unstakeburnrate","outputs":[{"internalType":"bool","name":"success","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"_user","type":"address"}],"name":"userData","outputs":[{"internalType":"uint256","name":"totalTokensFrozen","type":"uint256"},{"internalType":"uint256","name":"userFrozen","type":"uint256"},{"internalType":"uint256","name":"userDividends","type":"uint256"},{"internalType":"uint256","name":"userStaketime","type":"uint256"},{"internalType":"int256","name":"scaledPayout","type":"int256"}],"stateMutability":"view","type":"function"}]

6080604052670de0b6b3a764000060025562015180600355600160045534801561002857600080fd5b50600c80546001600160a01b031916331790556001805460ff60a01b1916905561137e806100576000396000f3fe608060405234801561001057600080fd5b50600436106101365760003560e01c80636387c949116100b8578063aa9a09121161007c578063aa9a0912146102d1578063b333de24146102fa578063b821b6bf14610302578063c89109131461030a578063e0287b3e1461035b578063f53d0a8e1461037857610136565b80636387c9491461024e57806369c18e12146102725780636b6b6aa41461027a5780637640cb9e14610297578063a43fc871146102b457610136565b80631cfff51b116100ff5780631cfff51b146101fa5780631e7f87bc1461020257806321dee1271461020a5780632bdcd69114610227578063586448ea1461024657610136565b806265318b1461013b57806305d872aa1461017357806308dbbb03146101ad5780631495bf9a146101b55780631bf6e00d146101d4575b600080fd5b6101616004803603602081101561015157600080fd5b50356001600160a01b0316610380565b60408051918252519081900360200190f35b6101996004803603602081101561018957600080fd5b50356001600160a01b03166103e6565b604080519115158252519081900360200190f35b610161610457565b6101d2600480360360208110156101cb57600080fd5b503561045d565b005b610161600480360360208110156101ea57600080fd5b50356001600160a01b0316610469565b610199610487565b610161610497565b6101996004803603602081101561022057600080fd5b503561049d565b6101d26004803603602081101561023d57600080fd5b503515156104f2565b610161610559565b61025661068c565b604080516001600160a01b039092168252519081900360200190f35b61016161069b565b6101d26004803603602081101561029057600080fd5b50356106a1565b610199600480360360208110156102ad57600080fd5b50356106aa565b6101d2600480360360208110156102ca57600080fd5b503561071f565b610161600480360360608110156102e757600080fd5b5080359060208101359060400135610777565b61016161082b565b610161610955565b6103306004803603602081101561032057600080fd5b50356001600160a01b031661095b565b6040805195865260208601949094528484019290925260608401526080830152519081900360a00190f35b6101d26004803603602081101561037157600080fd5b50356109b2565b610256610a00565b600380546001600160a01b0383166000908152600a602052604081209092015410156103ae575060006103e1565b6001600160a01b0382166000908152600a602052604090206002810154600190910154600b54600160401b929102030490505b919050565b600c546000906001600160a01b031633146104325760405162461bcd60e51b81526004018080602001828103825260288152602001806113216028913960400191505060405180910390fd5b50600080546001600160a01b0383166001600160a01b03199091161790556001919050565b60025481565b61046681610a0f565b50565b6001600160a01b03166000908152600a602052604090206001015490565b600154600160a01b900460ff1681565b60095490565b600c546000906001600160a01b031633146104e95760405162461bcd60e51b81526004018080602001828103825260288152602001806113216028913960400191505060405180910390fd5b50600455600190565b600c546001600160a01b0316331461053b5760405162461bcd60e51b81526004018080602001828103825260288152602001806113216028913960400191505060405180910390fd5b60018054911515600160a01b0260ff60a01b19909216919091179055565b60008061056533610380565b336000818152600a602090815260408083206002018054600160401b87020190558254815163a9059cbb60e01b815260048101959095526024850186905290519495506001600160a01b03169363a9059cbb93604480820194918390030190829087803b1580156105d557600080fd5b505af11580156105e9573d6000803e3d6000fd5b505050506040513d60208110156105ff57600080fd5b5051610647576040805162461bcd60e51b8152602060048201526012602482015271151c985b9cd858dd1a5bdb8811985a5b195960721b604482015290519081900360640190fd5b61065081610a0f565b604080518281529051309133917feaf3a9c7efee1bdf36174a833c1d07b2922e166a5c836d31ab5e3d39c03b6b859181900360200190a3905090565b6000546001600160a01b031681565b60055481565b61046681610d31565b600080546001600160a01b031633146106f45760405162461bcd60e51b815260040180806020018281038252602b81526020018061127e602b913960400191505060405180910390fd5b600954600160401b83028161070557fe5b600b80549290910490910190819055600555506001919050565b600c546001600160a01b031633146107685760405162461bcd60e51b81526004018080602001828103825260288152602001806113216028913960400191505060405180910390fd5b670de0b6b3a764000002600255565b6000806000610786868661113e565b9150915083811061079357fe5b6000848061079d57fe5b8688099050828111156107b1576001820391505b9182900391600085900385168086816107c657fe5b0495508084816107d257fe5b0493508081600003816107e157fe5b046001019290920292909201600285810380870282030280870282030280870282030280870282030280870282030280870282030295860290039094029390930295945050505050565b60008061083733610380565b336000818152600a602090815260408083206002018054600160401b87020190558254815163a9059cbb60e01b815260048101959095526024850186905290519495506001600160a01b03169363a9059cbb93604480820194918390030190829087803b1580156108a757600080fd5b505af11580156108bb573d6000803e3d6000fd5b505050506040513d60208110156108d157600080fd5b5051610919576040805162461bcd60e51b8152602060048201526012602482015271151c985b9cd858dd1a5bdb8811985a5b195960721b604482015290519081900360640190fd5b604080518281529051309133917f8c998377165b6abd6e99f8b84a86ed2c92d0055aeef42626fedea45c2909f6eb9181900360200190a3905090565b60035481565b600080600080600061096b610497565b61097487610469565b61097d88610380565b6001600160a01b03989098166000908152600a6020526040902060038101546002909101549299919897509550909350915050565b600c546001600160a01b031633146109fb5760405162461bcd60e51b81526004018080602001828103825260288152602001806113216028913960400191505060405180910390fd5b600355565b6001546001600160a01b031681565b600154600160a01b900460ff16610a6d576040805162461bcd60e51b815260206004820152601b60248201527f5374616b696e67206e6f742079657420696e697469616c697a65640000000000604482015290519081900360640190fd5b600054604080516370a0823160e01b8152336004820152905183926001600160a01b0316916370a08231916024808301926020929190829003018186803b158015610ab757600080fd5b505afa158015610acb573d6000803e3d6000fd5b505050506040513d6020811015610ae157600080fd5b50511015610b36576040805162461bcd60e51b815260206004820152601f60248201527f496e73756666696369656e74204178696120746f6b656e2062616c616e636500604482015290519081900360640190fd5b60025481610b4333610469565b011015610b815760405162461bcd60e51b815260040180806020018281038252603d8152602001806112e4603d913960400191505060405180910390fd5b60005460408051636eb1769f60e11b8152336004820152306024820152905183926001600160a01b03169163dd62ed3e916044808301926020929190829003018186803b158015610bd157600080fd5b505afa158015610be5573d6000803e3d6000fd5b505050506040513d6020811015610bfb57600080fd5b50511015610c3a5760405162461bcd60e51b815260040180806020018281038252603b8152602001806112a9603b913960400191505060405180910390fd5b336000818152600a60209081526040808320426003820155600980548701905560018101805487019055600b54600290910180549187029091019055825481516323b872dd60e01b815260048101959095523060248601526044850186905290516001600160a01b03909116936323b872dd9360648083019493928390030190829087803b158015610ccb57600080fd5b505af1158015610cdf573d6000803e3d6000fd5b505050506040513d6020811015610cf557600080fd5b5050604080518281529051309133917f160ffcaa807f78c8b4983836e2396338d073e75695ac448aa0b5e4a75b210b1d9181900360200190a350565b80610d3b33610469565b1015610d785760405162461bcd60e51b815260040180806020018281038252603281526020018061124c6032913960400191505060405180910390fd5b600980548290039055336000908152600a602052604090206001810180548390039055600b546002820180549184029091039055600390810154905442919091039081101561103b57610dcf826004546064610777565b6006819055610de590839063ffffffff61116b16565b6007819055600080546040805163a9059cbb60e01b81523360048201526024810194909452516001600160a01b039091169263a9059cbb9260448083019360209390929083900390910190829087803b158015610e4157600080fd5b505af1158015610e55573d6000803e3d6000fd5b505050506040513d6020811015610e6b57600080fd5b5051610eb3576040805162461bcd60e51b8152602060048201526012602482015271151c985b9cd858dd1a5bdb8819985a5b195960721b604482015290519081900360640190fd5b6007546040805191825251339130917f15fba2c381f32b0e84d073dd1adb9edbcfd33a033ee48aaea415ac61ca7d448d9181900360200190a3600080546006546040805163a9059cbb60e01b8152600481018590526024810192909252516001600160a01b039092169263a9059cbb926044808401936020939083900390910190829087803b158015610f4557600080fd5b505af1158015610f59573d6000803e3d6000fd5b505050506040513d6020811015610f6f57600080fd5b5051610fb7576040805162461bcd60e51b8152602060048201526012602482015271151c985b9cd858dd1a5bdb8819985a5b195960721b604482015290519081900360640190fd5b60008054600654604080516326796dd560e01b81526004810192909252516001600160a01b03909216926326796dd5926024808401936020939083900390910190829087803b15801561100957600080fd5b505af115801561101d573d6000803e3d6000fd5b505050506040513d602081101561103357600080fd5b5061113a9050565b600080546040805163a9059cbb60e01b81523360048201526024810186905290516001600160a01b039092169263a9059cbb926044808401936020939083900390910190829087803b15801561109057600080fd5b505af11580156110a4573d6000803e3d6000fd5b505050506040513d60208110156110ba57600080fd5b5051611102576040805162461bcd60e51b8152602060048201526012602482015271151c985b9cd858dd1a5bdb8819985a5b195960721b604482015290519081900360640190fd5b604080518381529051339130917f15fba2c381f32b0e84d073dd1adb9edbcfd33a033ee48aaea415ac61ca7d448d9181900360200190a35b5050565b6000808060001984860990508385029250828103915082811015611163576001820391505b509250929050565b60006111ad83836040518060400160405280601e81526020017f536166654d6174683a207375627472616374696f6e206f766572666c6f7700008152506111b4565b9392505050565b600081848411156112435760405162461bcd60e51b81526004018080602001828103825283818151815260200191508051906020019080838360005b838110156112085781810151838201526020016111f0565b50505050905090810190601f1680156112355780820380516001836020036101000a031916815260200191505b509250505060405180910390fd5b50505090039056fe596f752063757272656e746c7920646f206e6f74206861766520757020746f207468617420616d6f756e74207374616b6564417574686f72697a6174696f6e3a206f6e6c7920746f6b656e20636f6e74726163742063616e2063616c6c4e6f7420656e6f75676820616c6c6f77616e636520676976656e20746f20636f6e74726163742079657420746f207370656e642062792075736572596f757220616d6f756e74206973206c6f776572207468616e20746865206d696e696d756d20616d6f756e7420616c6c6f77656420746f207374616b654f776e61626c653a2063616c6c6572206973206e6f74207468652061646d696e6973747261746f72a2646970667358221220fda5e5bfca11d13e6a2d57c4cb743a1976f9628eb291b5eb4359e694dc83fb7e64736f6c63430006040033

0x608060405234801561001057600080fd5b50600436106101365760003560e01c80636387c949116100b8578063aa9a09121161007c578063aa9a0912146102d1578063b333de24146102fa578063b821b6bf14610302578063c89109131461030a578063e0287b3e1461035b578063f53d0a8e1461037857610136565b80636387c9491461024e57806369c18e12146102725780636b6b6aa41461027a5780637640cb9e14610297578063a43fc871146102b457610136565b80631cfff51b116100ff5780631cfff51b146101fa5780631e7f87bc1461020257806321dee1271461020a5780632bdcd69114610227578063586448ea1461024657610136565b806265318b1461013b57806305d872aa1461017357806308dbbb03146101ad5780631495bf9a146101b55780631bf6e00d146101d4575b600080fd5b6101616004803603602081101561015157600080fd5b50356001600160a01b0316610380565b60408051918252519081900360200190f35b6101996004803603602081101561018957600080fd5b50356001600160a01b03166103e6565b604080519115158252519081900360200190f35b610161610457565b6101d2600480360360208110156101cb57600080fd5b503561045d565b005b610161600480360360208110156101ea57600080fd5b50356001600160a01b0316610469565b610199610487565b610161610497565b6101996004803603602081101561022057600080fd5b503561049d565b6101d26004803603602081101561023d57600080fd5b503515156104f2565b610161610559565b61025661068c565b604080516001600160a01b039092168252519081900360200190f35b61016161069b565b6101d26004803603602081101561029057600080fd5b50356106a1565b610199600480360360208110156102ad57600080fd5b50356106aa565b6101d2600480360360208110156102ca57600080fd5b503561071f565b610161600480360360608110156102e757600080fd5b5080359060208101359060400135610777565b61016161082b565b610161610955565b6103306004803603602081101561032057600080fd5b50356001600160a01b031661095b565b6040805195865260208601949094528484019290925260608401526080830152519081900360a00190f35b6101d26004803603602081101561037157600080fd5b50356109b2565b610256610a00565b600380546001600160a01b0383166000908152600a602052604081209092015410156103ae575060006103e1565b6001600160a01b0382166000908152600a602052604090206002810154600190910154600b54600160401b929102030490505b919050565b600c546000906001600160a01b031633146104325760405162461bcd60e51b81526004018080602001828103825260288152602001806113216028913960400191505060405180910390fd5b50600080546001600160a01b0383166001600160a01b03199091161790556001919050565b60025481565b61046681610a0f565b50565b6001600160a01b03166000908152600a602052604090206001015490565b600154600160a01b900460ff1681565b60095490565b600c546000906001600160a01b031633146104e95760405162461bcd60e51b81526004018080602001828103825260288152602001806113216028913960400191505060405180910390fd5b50600455600190565b600c546001600160a01b0316331461053b5760405162461bcd60e51b81526004018080602001828103825260288152602001806113216028913960400191505060405180910390fd5b60018054911515600160a01b0260ff60a01b19909216919091179055565b60008061056533610380565b336000818152600a602090815260408083206002018054600160401b87020190558254815163a9059cbb60e01b815260048101959095526024850186905290519495506001600160a01b03169363a9059cbb93604480820194918390030190829087803b1580156105d557600080fd5b505af11580156105e9573d6000803e3d6000fd5b505050506040513d60208110156105ff57600080fd5b5051610647576040805162461bcd60e51b8152602060048201526012602482015271151c985b9cd858dd1a5bdb8811985a5b195960721b604482015290519081900360640190fd5b61065081610a0f565b604080518281529051309133917feaf3a9c7efee1bdf36174a833c1d07b2922e166a5c836d31ab5e3d39c03b6b859181900360200190a3905090565b6000546001600160a01b031681565b60055481565b61046681610d31565b600080546001600160a01b031633146106f45760405162461bcd60e51b815260040180806020018281038252602b81526020018061127e602b913960400191505060405180910390fd5b600954600160401b83028161070557fe5b600b80549290910490910190819055600555506001919050565b600c546001600160a01b031633146107685760405162461bcd60e51b81526004018080602001828103825260288152602001806113216028913960400191505060405180910390fd5b670de0b6b3a764000002600255565b6000806000610786868661113e565b9150915083811061079357fe5b6000848061079d57fe5b8688099050828111156107b1576001820391505b9182900391600085900385168086816107c657fe5b0495508084816107d257fe5b0493508081600003816107e157fe5b046001019290920292909201600285810380870282030280870282030280870282030280870282030280870282030280870282030295860290039094029390930295945050505050565b60008061083733610380565b336000818152600a602090815260408083206002018054600160401b87020190558254815163a9059cbb60e01b815260048101959095526024850186905290519495506001600160a01b03169363a9059cbb93604480820194918390030190829087803b1580156108a757600080fd5b505af11580156108bb573d6000803e3d6000fd5b505050506040513d60208110156108d157600080fd5b5051610919576040805162461bcd60e51b8152602060048201526012602482015271151c985b9cd858dd1a5bdb8811985a5b195960721b604482015290519081900360640190fd5b604080518281529051309133917f8c998377165b6abd6e99f8b84a86ed2c92d0055aeef42626fedea45c2909f6eb9181900360200190a3905090565b60035481565b600080600080600061096b610497565b61097487610469565b61097d88610380565b6001600160a01b03989098166000908152600a6020526040902060038101546002909101549299919897509550909350915050565b600c546001600160a01b031633146109fb5760405162461bcd60e51b81526004018080602001828103825260288152602001806113216028913960400191505060405180910390fd5b600355565b6001546001600160a01b031681565b600154600160a01b900460ff16610a6d576040805162461bcd60e51b815260206004820152601b60248201527f5374616b696e67206e6f742079657420696e697469616c697a65640000000000604482015290519081900360640190fd5b600054604080516370a0823160e01b8152336004820152905183926001600160a01b0316916370a08231916024808301926020929190829003018186803b158015610ab757600080fd5b505afa158015610acb573d6000803e3d6000fd5b505050506040513d6020811015610ae157600080fd5b50511015610b36576040805162461bcd60e51b815260206004820152601f60248201527f496e73756666696369656e74204178696120746f6b656e2062616c616e636500604482015290519081900360640190fd5b60025481610b4333610469565b011015610b815760405162461bcd60e51b815260040180806020018281038252603d8152602001806112e4603d913960400191505060405180910390fd5b60005460408051636eb1769f60e11b8152336004820152306024820152905183926001600160a01b03169163dd62ed3e916044808301926020929190829003018186803b158015610bd157600080fd5b505afa158015610be5573d6000803e3d6000fd5b505050506040513d6020811015610bfb57600080fd5b50511015610c3a5760405162461bcd60e51b815260040180806020018281038252603b8152602001806112a9603b913960400191505060405180910390fd5b336000818152600a60209081526040808320426003820155600980548701905560018101805487019055600b54600290910180549187029091019055825481516323b872dd60e01b815260048101959095523060248601526044850186905290516001600160a01b03909116936323b872dd9360648083019493928390030190829087803b158015610ccb57600080fd5b505af1158015610cdf573d6000803e3d6000fd5b505050506040513d6020811015610cf557600080fd5b5050604080518281529051309133917f160ffcaa807f78c8b4983836e2396338d073e75695ac448aa0b5e4a75b210b1d9181900360200190a350565b80610d3b33610469565b1015610d785760405162461bcd60e51b815260040180806020018281038252603281526020018061124c6032913960400191505060405180910390fd5b600980548290039055336000908152600a602052604090206001810180548390039055600b546002820180549184029091039055600390810154905442919091039081101561103b57610dcf826004546064610777565b6006819055610de590839063ffffffff61116b16565b6007819055600080546040805163a9059cbb60e01b81523360048201526024810194909452516001600160a01b039091169263a9059cbb9260448083019360209390929083900390910190829087803b158015610e4157600080fd5b505af1158015610e55573d6000803e3d6000fd5b505050506040513d6020811015610e6b57600080fd5b5051610eb3576040805162461bcd60e51b8152602060048201526012602482015271151c985b9cd858dd1a5bdb8819985a5b195960721b604482015290519081900360640190fd5b6007546040805191825251339130917f15fba2c381f32b0e84d073dd1adb9edbcfd33a033ee48aaea415ac61ca7d448d9181900360200190a3600080546006546040805163a9059cbb60e01b8152600481018590526024810192909252516001600160a01b039092169263a9059cbb926044808401936020939083900390910190829087803b158015610f4557600080fd5b505af1158015610f59573d6000803e3d6000fd5b505050506040513d6020811015610f6f57600080fd5b5051610fb7576040805162461bcd60e51b8152602060048201526012602482015271151c985b9cd858dd1a5bdb8819985a5b195960721b604482015290519081900360640190fd5b60008054600654604080516326796dd560e01b81526004810192909252516001600160a01b03909216926326796dd5926024808401936020939083900390910190829087803b15801561100957600080fd5b505af115801561101d573d6000803e3d6000fd5b505050506040513d602081101561103357600080fd5b5061113a9050565b600080546040805163a9059cbb60e01b81523360048201526024810186905290516001600160a01b039092169263a9059cbb926044808401936020939083900390910190829087803b15801561109057600080fd5b505af11580156110a4573d6000803e3d6000fd5b505050506040513d60208110156110ba57600080fd5b5051611102576040805162461bcd60e51b8152602060048201526012602482015271151c985b9cd858dd1a5bdb8819985a5b195960721b604482015290519081900360640190fd5b604080518381529051339130917f15fba2c381f32b0e84d073dd1adb9edbcfd33a033ee48aaea415ac61ca7d448d9181900360200190a35b5050565b6000808060001984860990508385029250828103915082811015611163576001820391505b509250929050565b60006111ad83836040518060400160405280601e81526020017f536166654d6174683a207375627472616374696f6e206f766572666c6f7700008152506111b4565b9392505050565b600081848411156112435760405162461bcd60e51b81526004018080602001828103825283818151815260200191508051906020019080838360005b838110156112085781810151838201526020016111f0565b50505050905090810190601f1680156112355780820380516001836020036101000a031916815260200191505b509250505060405180910390fd5b50505090039056fe596f752063757272656e746c7920646f206e6f74206861766520757020746f207468617420616d6f756e74207374616b6564417574686f72697a6174696f6e3a206f6e6c7920746f6b656e20636f6e74726163742063616e2063616c6c4e6f7420656e6f75676820616c6c6f77616e636520676976656e20746f20636f6e74726163742079657420746f207370656e642062792075736572596f757220616d6f756e74206973206c6f776572207468616e20746865206d696e696d756d20616d6f756e7420616c6c6f77656420746f207374616b654f776e61626c653a2063616c6c6572206973206e6f74207468652061646d696e6973747261746f72a2646970667358221220fda5e5bfca11d13e6a2d57c4cb743a1976f9628eb291b5eb4359e694dc83fb7e64736f6c63430006040033

6385:8232:0:-:0;;;;5:9:-1;2:2;;;27:1;24;17:12;2:2;6385:8232:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;12:1:-1;9;2:12;9572:314:0;;;;;;15:2:-1;10:3;7:11;4:2;;;31:1;28;21:12;4:2;-1:-1;9572:314:0;-1:-1:-1;;;;;9572:314:0;;:::i;:::-;;;;;;;;;;;;;;;;8319:147;;;;;;15:2:-1;10:3;7:11;4:2;;;31:1;28;21:12;4:2;-1:-1;8319:147:0;-1:-1:-1;;;;;8319:147:0;;:::i;:::-;;;;;;;;;;;;;;;;;;7261:50;;;:::i;9098:76::-;;;;;;15:2:-1;10:3;7:11;4:2;;;31:1;28;21:12;4:2;-1:-1;9098:76:0;;:::i;:::-;;9463:104;;;;;;15:2:-1;10:3;7:11;4:2;;;31:1;28;21:12;4:2;-1:-1;9463:104:0;-1:-1:-1;;;;;9463:104:0;;:::i;7170:26::-;;;:::i;9368:86::-;;;:::i;8711:139::-;;;;;;15:2:-1;10:3;7:11;4:2;;;31:1;28;21:12;4:2;-1:-1;8711:139:0;;:::i;8606:93::-;;;;;;15:2:-1;10:3;7:11;4:2;;;31:1;28;21:12;4:2;-1:-1;8606:93:0;;;;:::i;12870:524::-;;;:::i;7092:24::-;;;:::i;:::-;;;;-1:-1:-1;;;;;7092:24:0;;;;;;;;;;;;;;7443:21;;;:::i;9186:80::-;;;;;;15:2:-1;10:3;7:11;4:2;;;31:1;28;21:12;4:2;-1:-1;9186:80:0;;:::i;13403:252::-;;;;;;15:2:-1;10:3;7:11;4:2;;;31:1;28;21:12;4:2;-1:-1;13403:252:0;;:::i;8472:122::-;;;;;;15:2:-1;10:3;7:11;4:2;;;31:1;28;21:12;4:2;-1:-1;8472:122:0;;:::i;13674:696::-;;;;;;15:2:-1;10:3;7:11;4:2;;;31:1;28;21:12;4:2;-1:-1;13674:696:0;;;;;;;;;;;;:::i;12373:486::-;;;:::i;7335:40::-;;;:::i;9894:321::-;;;;;;15:2:-1;10:3;7:11;4:2;;;31:1;28;21:12;4:2;-1:-1;9894:321:0;-1:-1:-1;;;;;9894:321:0;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8868:130;;;;;;15:2:-1;10:3;7:11;4:2;;;31:1;28;21:12;4:2;-1:-1;8868:130:0;;:::i;7129:28::-;;;:::i;9572:314::-;9686:17;;;-1:-1:-1;;;;;9656:17:0;;9629:7;9656:17;;;:10;:17;;;;;:27;;;;:47;9653:229;;;-1:-1:-1;9723:1:0;9716:8;;9653:229;-1:-1:-1;;;;;9824:17:0;;;;;;:10;:17;;;;;:10;:30;;;9796:24;;;;;9768:25;;-1:-1:-1;;;7249:5:0;9768:52;;9761:93;9753:117;9746:124;;9653:229;9572:314;;;:::o;8319:147::-;8087:10;;8389:12;;-1:-1:-1;;;;;8087:10:0;8073;:24;8065:77;;;;-1:-1:-1;;;8065:77:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;8414:9:0::1;:22:::0;;-1:-1:-1;;;;;8414:22:0;::::1;-1:-1:-1::0;;;;;;8414:22:0;;::::1;;::::0;;;8319:147;;;:::o;7261:50::-;;;;:::o;9098:76::-;9154:15;9161:7;9154:6;:15::i;:::-;9098:76;:::o;9463:104::-;-1:-1:-1;;;;;9538:17:0;9517:7;9538:17;;;:10;:17;;;;;:24;;;;9463:104::o;7170:26::-;;;-1:-1:-1;;;7170:26:0;;;;;:::o;9368:86::-;9433:16;;9368:86;:::o;8711:139::-;8087:10;;8776:12;;-1:-1:-1;;;;;8087:10:0;8073;:24;8065:77;;;;-1:-1:-1;;;8065:77:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;8801:11:0::1;:19:::0;8838:4:::1;::::0;8711:139::o;8606:93::-;8087:10;;-1:-1:-1;;;;;8087:10:0;8073;:24;8065:77;;;;-1:-1:-1;;;8065:77:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8667:14:::1;:24:::0;;;::::1;;-1:-1:-1::0;;;8667:24:0::1;-1:-1:-1::0;;;;8667:24:0;;::::1;::::0;;;::::1;::::0;;8606:93::o;12870:524::-;12914:7;12936:18;12957:23;12969:10;12957:11;:23::i;:::-;13061:10;13050:22;;;;:10;:22;;;;;;;;:10;:35;:72;;-1:-1:-1;;;13096:25:0;;13050:72;;;13146:9;;13139:50;;-1:-1:-1;;;13139:50:0;;;;;;;;;;;;;;;;;12936:44;;-1:-1:-1;;;;;;13146:9:0;;13139:26;;:50;;;;;;;;;;;;;13146:9;13139:50;;;2:2:-1;;;;27:1;24;17:12;2:2;13139:50:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;13139:50:0;;;;;;;15:2:-1;10:3;7:11;4:2;;;31:1;28;21:12;4:2;-1:-1;13139:50:0;13131:81;;;;;-1:-1:-1;;;13131:81:0;;;;;;;;;;;;-1:-1:-1;;;13131:81:0;;;;;;;;;;;;;;;13260:18;13267:10;13260:6;:18::i;:::-;13288:50;;;;;;;;13320:4;;13300:10;;13288:50;;;;;;;;;13364:10;-1:-1:-1;12870:524:0;:::o;7092:24::-;;;-1:-1:-1;;;;;7092:24:0;;:::o;7443:21::-;;;;:::o;9186:80::-;9244:17;9253:7;9244:8;:17::i;13403:252::-;13469:4;8232:9;;-1:-1:-1;;;;;8232:9:0;8218:10;:23;8210:79;;;;-1:-1:-1;;;8210:79:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;13551:16;;-1:-1:-1;;;13526:22:0;::::1;13551:16:::0;13526:41:::1;;;;13497:25:::0;:70;;13526:41;;;::::1;13497:70:::0;;::::1;::::0;;;;13576:9:::1;:37:::0;-1:-1:-1;;;13403:252:0;-1:-1:-1;13403:252:0:o;8472:122::-;8087:10;;-1:-1:-1;;;;;8087:10:0;8073;:24;8065:77;;;;-1:-1:-1;;;8065:77:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8566:19:::1;8558:27;8542:13;:43:::0;8472:122::o;13674:696::-;13736:4;13760:6;13768;13778:14;13787:1;13790;13778:7;:14::i;:::-;13759:33;;;;13821:1;13817;:5;13809:14;;;;13840:7;13864:1;13850:16;;;;;13861:1;13858;13850:16;13840:26;;13892:1;13887:2;:6;13883:18;;;13900:1;13895:6;;;;13883:18;13918:7;;;;;13942:9;13958:2;;;13954:6;;;13959:1;13954:6;13977:9;;;;;;;14008:4;14003:9;;;;;;;;;14049:4;14041;14040:5;;14039:14;;;;;;14056:1;14039:18;14034:24;;;;14029:29;;;;14107:1;:9;;;14142:5;;;14138:9;;14133:14;14173:5;;;14169:9;;14164:14;14204:5;;;14200:9;;14195:14;14235:5;;;14231:9;;14226:14;14266:5;;;14262:9;;14257:14;14297:5;;;14293:9;;14288:14;14328:5;;;14324:9;;14319:14;;;14357:5;;;;;13674:696;-1:-1:-1;;;;;13674:696:0:o;12373:486::-;12416:7;12438:18;12459:23;12471:10;12459:11;:23::i;:::-;12563:10;12552:22;;;;:10;:22;;;;;;;;:10;:35;:72;;-1:-1:-1;;;12598:25:0;;12552:72;;;12648:9;;12641:50;;-1:-1:-1;;;12641:50:0;;;;;;;;;;;;;;;;;12438:44;;-1:-1:-1;;;;;;12648:9:0;;12641:26;;:50;;;;;;;;;;;;;12648:9;12641:50;;;2:2:-1;;;;27:1;24;17:12;2:2;12641:50:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;12641:50:0;;;;;;;15:2:-1;10:3;7:11;4:2;;;31:1;28;21:12;4:2;-1:-1;12641:50:0;12633:81;;;;;-1:-1:-1;;;12633:81:0;;;;;;;;;;;;-1:-1:-1;;;12633:81:0;;;;;;;;;;;;;;;12763:50;;;;;;;;12795:4;;12775:10;;12763:50;;;;;;;;;12829:10;-1:-1:-1;12373:486:0;:::o;7335:40::-;;;;:::o;9894:321::-;9951:25;9978:18;10001:21;10024;10047:19;10088:13;:11;:13::i;:::-;10103:15;10112:5;10103:8;:15::i;:::-;10120:18;10132:5;10120:11;:18::i;:::-;-1:-1:-1;;;;;10140:17:0;;;;;;;;:10;:17;;;;;:27;;;;:10;10169:30;;;;10080:120;;;;;-1:-1:-1;10140:27:0;-1:-1:-1;10169:30:0;;-1:-1:-1;9894:321:0;-1:-1:-1;;9894:321:0:o;8868:130::-;8087:10;;-1:-1:-1;;;;;8087:10:0;8073;:24;8065:77;;;;-1:-1:-1;;;8065:77:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8955:17:::1;:32:::0;8868:130::o;7129:28::-;;;-1:-1:-1;;;;;7129:28:0;;:::o;10324:910::-;10389:14;;-1:-1:-1;;;10389:14:0;;;;10381:54;;;;;-1:-1:-1;;;10381:54:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;10462:9;;10455:39;;;-1:-1:-1;;;10455:39:0;;10483:10;10455:39;;;;;;10498:7;;-1:-1:-1;;;;;10462:9:0;;10455:27;;:39;;;;;;;;;;;;;;10462:9;10455:39;;;2:2:-1;;;;27:1;24;17:12;2:2;10455:39:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;10455:39:0;;;;;;;15:2:-1;10:3;7:11;4:2;;;31:1;28;21:12;4:2;-1:-1;10455:39:0;:50;;10447:94;;;;;-1:-1:-1;;;10447:94:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;10588:13;;10577:7;10554:20;10563:10;10554:8;:20::i;:::-;:30;:47;;10546:121;;;;-1:-1:-1;;;10546:121:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;10687:9;;10680:54;;;-1:-1:-1;;;10680:54:0;;10708:10;10680:54;;;;10728:4;10680:54;;;;;;10738:7;;-1:-1:-1;;;;;10687:9:0;;10680:27;;:54;;;;;;;;;;;;;;10687:9;10680:54;;;2:2:-1;;;;27:1;24;17:12;2:2;10680:54:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;10680:54:0;;;;;;;15:2:-1;10:3;7:11;4:2;;;31:1;28;21:12;4:2;-1:-1;10680:54:0;:65;;10672:137;;;;-1:-1:-1;;;10672:137:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;10829:10;10818:22;;;;:10;:22;;;;;;;;10853:3;10818:32;;;:38;10861:16;:27;;;;;;-1:-1:-1;10893:29:0;;:40;;;;;;10998:25;;10818:10;10942:35;;;:82;;10988:35;;;10942:82;;;;;11037:9;;11030:66;;-1:-1:-1;;;11030:66:0;;;;;;;;;11081:4;11030:66;;;;;;;;;;;;-1:-1:-1;;;;;11037:9:0;;;;11030:30;;:66;;;;;10818:22;11030:66;;;;;;;;11037:9;11030:66;;;2:2:-1;;;;27:1;24;17:12;2:2;11030:66:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;11030:66:0;;;;;;;15:2:-1;10:3;7:11;4:2;;;31:1;28;21:12;4:2;-1:-1;;11183:46:0;;;;;;;;11214:4;;11194:10;;11183:46;;;;;11030:66;11183:46;;;10324:910;:::o;11250:1112::-;11338:7;11314:20;11323:10;11314:8;:20::i;:::-;:31;;11306:94;;;;-1:-1:-1;;;11306:94:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;11409:16;:27;;;;;;;11452:10;11409:16;11441:22;;;:10;:22;;;;;11409:16;11441:29;;:40;;;;;;;11542:25;;11441:10;11486:35;;:82;;11532:35;;;11486:82;;;;;11542:25;11603:32;;;;11662:17;;11597:3;:38;;;;;11651:28;;11648:706;;;11709:33;11716:7;11725:11;;11738:3;11709:6;:33::i;:::-;11693:13;:49;;;11761:26;;:7;;:26;:11;:26;:::i;:::-;11747:11;:40;;;11811:9;;;11804:51;;;-1:-1:-1;;;11804:51:0;;11831:10;11804:51;;;;;;;;;;;;-1:-1:-1;;;;;11811:9:0;;;;11804:26;;:51;;;;;;;;;;;;;;;;;;;11811:9;11804:51;;;2:2:-1;;;;27:1;24;17:12;2:2;11804:51:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;11804:51:0;;;;;;;15:2:-1;10:3;7:11;4:2;;;31:1;28;21:12;4:2;-1:-1;11804:51:0;11796:82;;;;;-1:-1:-1;;;11796:82:0;;;;;;;;;;;;-1:-1:-1;;;11796:82:0;;;;;;;;;;;;;;;11934:11;;11894:52;;;;;;;11922:10;;11915:4;;11894:52;;;;;;;;;11974:9;;;12008:13;;11967:55;;;-1:-1:-1;;;11967:55:0;;;;;;;;;;;;;;;;-1:-1:-1;;;;;11974:9:0;;;;11967:26;;:55;;;;;;;;;;;;;;;;;11974:9;11967:55;;;2:2:-1;;;;27:1;24;17:12;2:2;11967:55:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;11967:55:0;;;;;;;15:2:-1;10:3;7:11;4:2;;;31:1;28;21:12;4:2;-1:-1;11967:55:0;11959:86;;;;;-1:-1:-1;;;11959:86:0;;;;;;;;;;;;-1:-1:-1;;;11959:86:0;;;;;;;;;;;;;;;12068:9;;;12092:13;;12061:45;;;-1:-1:-1;;;12061:45:0;;;;;;;;;;-1:-1:-1;;;;;12068:9:0;;;;12061:30;;:45;;;;;;;;;;;;;;;;;12068:9;12061:45;;;2:2:-1;;;;27:1;24;17:12;2:2;12061:45:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;12061:45:0;;;;;;;15:2:-1;10:3;7:11;4:2;;;31:1;28;21:12;4:2;-1:-1;11648:706:0;;-1:-1:-1;11648:706:0;;12217:9;;;12210:47;;;-1:-1:-1;;;12210:47:0;;12237:10;12210:47;;;;;;;;;;;;-1:-1:-1;;;;;12217:9:0;;;;12210:26;;:47;;;;;;;;;;;;;;;;;12217:9;12210:47;;;2:2:-1;;;;27:1;24;17:12;2:2;12210:47:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;12210:47:0;;;;;;;15:2:-1;10:3;7:11;4:2;;;31:1;28;21:12;4:2;-1:-1;12210:47:0;12202:78;;;;;-1:-1:-1;;;12202:78:0;;;;;;;;;;;;-1:-1:-1;;;12202:78:0;;;;;;;;;;;;;;;12296:48;;;;;;;;12324:10;;12317:4;;12296:48;;;;;;;;;11648:706;11250:1112;;:::o;14386:219::-;14442:6;;;-1:-1:-1;;14496:1:0;14493;14485:24;14475:34;;14534:1;14530;:5;14526:9;;14561:1;14556:2;:6;14552:10;;14588:1;14583:2;:6;14579:18;;;14596:1;14591:6;;;;14579:18;14386:219;;;;;;:::o;2385:136::-;2443:7;2470:43;2474:1;2477;2470:43;;;;;;;;;;;;;;;;;:3;:43::i;:::-;2463:50;2385:136;-1:-1:-1;;;2385:136:0:o;2824:192::-;2910:7;2946:12;2938:6;;;;2930:29;;;;-1:-1:-1;;;2930:29:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;23:1:-1;8:100;33:3;30:1;27:10;8:100;;;90:11;;;84:18;71:11;;;64:39;52:2;45:10;8:100;;;12:14;2930:29:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;;2982:5:0;;;2824:192::o

ipfs://fda5e5bfca11d13e6a2d57c4cb743a1976f9628eb291b5eb4359e694dc83fb7e