Contract Source Code (Solidity Multiple files format)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta
• Remix IDE

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

pragma solidity ^0.5.16;

import "./SafeMath.sol";
import "./token.sol";

contract globalinsurance {

    constructor(address paxtoken) public{
        token = PAXImplementation(paxtoken);
        deployTime = now;
        tokenAdd = paxtoken;
        sAd = msg.sender;
        releaseTime = deployTime;
        mAd = msg.sender;
    }
     
    using SafeMath for uint256;
    
    PAXImplementation token;
    address public sAd;
    address public tokenAdd;
    address public mAd;
    
    address public insurance1;
    address public insurance2;
    address public insurance3;
    address public insurance4;
    address public insurance5;
    address public insurance6;
    address public insurance7;
    address public insurance8;
    
    
    uint256 public insurance14Bal;              
    uint256 public insurance25Bal;       
    uint256 public insurance36Bal;         
    uint256 public insurance78Bal;

    uint256 public deployTime;
    uint256 public releaseTime;
   

    event PoolAddressAdded(
        string pool, 
        address seAdd);

    event Insurance1FundsUpdated(uint256 insurance14Bal);
    event Insurance2FundsUpdated(uint256 insurance25Bal);
    event Insurance3FundsUpdated(uint256 insurance36Bal);
    event Insurance4FundsUpdated(uint256 insurance14Bal);
    event Insurance5FundsUpdated(uint256 insurance25Bal);
    event Insurance6FundsUpdated(uint256 insurance36Bal);
    event Insurance7FundsUpdated(uint256 insurance78Bal);
    event Insurance8FundsUpdated(uint256 insurance78Bal);


    modifier onSAd() {
        require(msg.sender == sAd, "onSad");
        _;
    }
    
     modifier onMan() {
        require(msg.sender == mAd || msg.sender == sAd, "onMan");
        _;
    }
    
    function adMan(address _manAd) public onSAd {
        mAd = _manAd;
    
    }
    
    function remMan() public onSAd {
        mAd = sAd;
    }
    

    function jackAd(address[8] calldata pool) external onSAd  returns(bool){


        if(pool[0] != address(0)){
          insurance1 = pool[0];
          emit PoolAddressAdded("jackpot1", insurance1);
        }
        if(pool[1] != address(0)){
          insurance2 = pool[1];
          emit PoolAddressAdded("jackpot2", insurance2);
        }
        if(pool[2] != address(0)){
          insurance3 = pool[2];
          emit PoolAddressAdded("jackpot3", insurance3);
        }

        if(pool[3] != address(0)){
          insurance4 = pool[3];
          emit PoolAddressAdded("jackpot4", insurance4);
        }
        if(pool[4] != address(0)){
          insurance5 = pool[4];
          emit PoolAddressAdded("jackpot5", insurance5);
        }
        if(pool[5] != address(0)){
          insurance6 = pool[5];
          emit PoolAddressAdded("jackpot6", insurance6);
        }
        if(pool[6] != address(0)){
          insurance7 = pool[6];
          emit PoolAddressAdded("jackpot7", insurance7);
        }
        if(pool[7] != address(0)){
          insurance8 = pool[7];
          emit PoolAddressAdded("jackpot8", insurance8);
        }
        return true;
      }

    function witAd(uint256[8] calldata pool) external onMan returns(bool){
      
        token.transfer(insurance1, pool[0]);
        token.transfer(insurance2, pool[1]);
        token.transfer(insurance3, pool[2]);
        token.transfer(insurance4, pool[3]);
        token.transfer(insurance5, pool[4]);
        token.transfer(insurance6, pool[5]);
        token.transfer(insurance7, pool[6]);
        token.transfer(insurance8, pool[7]);
        
        insurance14Bal = insurance14Bal+pool[0]+pool[3];
        insurance25Bal = insurance25Bal+pool[1]+pool[4];
        insurance36Bal = insurance36Bal+pool[2]+pool[5];
        insurance78Bal = insurance78Bal+pool[6]+pool[7];
        
        emit Insurance1FundsUpdated(pool[0]);
        emit Insurance2FundsUpdated(pool[1]);
        emit Insurance3FundsUpdated(pool[2]);
        emit Insurance4FundsUpdated(pool[3]);
        emit Insurance5FundsUpdated(pool[4]);
        emit Insurance6FundsUpdated(pool[5]);
        emit Insurance7FundsUpdated(pool[6]);
        emit Insurance8FundsUpdated(pool[7]);
    
        releaseTime = now;
        return true;
        
    }


    
    function feeC() public view returns (uint256) {
        return address(this).balance;
    }
    
    function witE() public onMan{
        msg.sender.transfer(address(this).balance);
    }
    
    function tokC() public view returns (uint256){
        return token.balanceOf(address(this));
    }

  
}

pragma solidity ^0.5.16;

/**
 * @title SafeMath
 * @dev Unsigned math operations with safety checks that revert on error
 */
library SafeMath {
    /**
     * @dev Multiplies two unsigned integers, reverts on 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-solidity/pull/522
        if (a == 0) {
            return 0;
        }

        uint256 c = a * b;
        require(c / a == b);

        return c;
    }

    /**
     * @dev Integer division of two unsigned integers truncating the quotient, reverts on division by zero.
     */
    function div(uint256 a, uint256 b) internal pure returns (uint256) {
        // Solidity only automatically asserts when dividing by 0
        require(b > 0);
        uint256 c = a / b;
        // assert(a == b * c + a % b); // There is no case in which this doesn't hold

        return c;
    }

    /**
     * @dev Subtracts two unsigned integers, reverts on overflow (i.e. if subtrahend is greater than minuend).
     */
    function sub(uint256 a, uint256 b) internal pure returns (uint256) {
        require(b <= a);
        uint256 c = a - b;

        return c;
    }

    /**
     * @dev Adds two unsigned integers, reverts on overflow.
     */
    function add(uint256 a, uint256 b) internal pure returns (uint256) {
        uint256 c = a + b;
        require(c >= a);

        return c;
    }

    /**
     * @dev Divides two unsigned integers and returns the remainder (unsigned integer modulo),
     * reverts when dividing by zero.
     */
    function mod(uint256 a, uint256 b) internal pure returns (uint256) {
        require(b != 0);
        return a % b;
    }
}

pragma solidity ^0.5.16;

import "./SafeMath.sol";


/**
 * @title PAXImplementation
 * @dev this contract is a Pausable ERC20 token with Burn and Mint
 * controleld by a central SupplyController. By implementing PaxosImplementation
 * this contract also includes external methods for setting
 * a new implementation contract for the Proxy.
 * NOTE: The storage defined here will actually be held in the Proxy
 * contract and all calls to this contract should be made through
 * the proxy, including admin actions done as owner or supplyController.
 * Any call to transfer against this contract should fail
 * with insufficient funds since no tokens will be issued there.
 */
 
 
contract PAXImplementation {

    /**
     * MATH
     */

    using SafeMath for uint256;

    /**
     * DATA
     */

    // INITIALIZATION DATA
    bool private initialized = false;

    // ERC20 BASIC DATA
    mapping(address => uint256) internal balances;
    uint256 internal totalSupply_;
    string public constant name = "PAX"; // solium-disable-line uppercase
    string public constant symbol = "PAX"; // solium-disable-line uppercase
    uint8 public constant decimals = 18; // solium-disable-line uppercase

    // ERC20 DATA
    mapping (address => mapping (address => uint256)) internal allowed;

    // OWNER DATA
    address public owner;

    // PAUSABILITY DATA
    bool public paused = false;

    // LAW ENFORCEMENT DATA
    address public lawEnforcementRole;
    mapping(address => bool) internal frozen;

    // SUPPLY CONTROL DATA
    address public supplyController;

    /**
     * EVENTS
     */

    // ERC20 BASIC EVENTS
    event Transfer(address indexed from, address indexed to, uint256 value);

    // ERC20 EVENTS
    event Approval(
        address indexed owner,
        address indexed spender,
        uint256 value
    );

    // OWNABLE EVENTS
    event OwnershipTransferred(
        address indexed oldOwner,
        address indexed newOwner
    );

    // PAUSABLE EVENTS
    event Pause();
    event Unpause();

    // LAW ENFORCEMENT EVENTS
    event AddressFrozen(address indexed addr);
    event AddressUnfrozen(address indexed addr);
    event FrozenAddressWiped(address indexed addr);
    event LawEnforcementRoleSet (
        address indexed oldLawEnforcementRole,
        address indexed newLawEnforcementRole
    );

    // SUPPLY CONTROL EVENTS
    event SupplyIncreased(address indexed to, uint256 value);
    event SupplyDecreased(address indexed from, uint256 value);
    event SupplyControllerSet(
        address indexed oldSupplyController,
        address indexed newSupplyController
    );

    /**
     * FUNCTIONALITY
     */

    // INITIALIZATION FUNCTIONALITY

    /**
     * @dev sets 0 initials tokens, the owner, and the supplyController.
     * this serves as the constructor for the proxy but compiles to the
     * memory model of the Implementation contract.
     */
    function initialize() public {
        require(!initialized, "already initialized");
        owner = msg.sender;
        lawEnforcementRole = address(0);
        totalSupply_ = 0;
        supplyController = msg.sender;
        initialized = true;
    }

    /**
     * The constructor is used here to ensure that the implementation
     * contract is initialized. An uncontrolled implementation
     * contract might lead to misleading state
     * for users who accidentally interact with it.
     */
    constructor() public {
        initialize();
        pause();
    }

    // ERC20 BASIC FUNCTIONALITY

    /**
    * @dev Total number of tokens in existence
    */
    function totalSupply() public view returns (uint256) {
        return totalSupply_;
    }

    /**
    * @dev Transfer token for a specified address
    * @param _to The address to transfer to.
    * @param _value The amount to be transferred.
    */
    function transfer(address _to, uint256 _value) public whenNotPaused returns (bool) {
        require(_to != address(0), "cannot transfer to address zero");
        require(!frozen[_to] && !frozen[msg.sender], "address frozen");
        require(_value <= balances[msg.sender], "insufficient funds");

        balances[msg.sender] = balances[msg.sender].sub(_value);
        balances[_to] = balances[_to].add(_value);
        emit Transfer(msg.sender, _to, _value);
        return true;
    }

    /**
    * @dev Gets the balance of the specified address.
    * @param _addr The address to query the the balance of.
    * @return An uint256 representing the amount owned by the passed address.
    */
    function balanceOf(address _addr) public view returns (uint256) {
        return balances[_addr];
    }

    // ERC20 FUNCTIONALITY

    /**
     * @dev Transfer tokens from one address to another
     * @param _from address The address which you want to send tokens from
     * @param _to address The address which you want to transfer to
     * @param _value uint256 the amount of tokens to be transferred
     */
    function transferFrom(
        address _from,
        address _to,
        uint256 _value
    )
    public
    whenNotPaused
    returns (bool)
    {
        require(_to != address(0), "cannot transfer to address zero");
        require(!frozen[_to] && !frozen[_from] && !frozen[msg.sender], "address frozen");
        require(_value <= balances[_from], "insufficient funds");
        require(_value <= allowed[_from][msg.sender], "insufficient allowance");

        balances[_from] = balances[_from].sub(_value);
        balances[_to] = balances[_to].add(_value);
        allowed[_from][msg.sender] = allowed[_from][msg.sender].sub(_value);
        emit Transfer(_from, _to, _value);
        return true;
    }

    /**
     * @dev Approve the passed address to spend the specified amount of tokens on behalf of msg.sender.
     * Beware that changing an allowance with this method brings the risk that someone may use both the old
     * and the new allowance by unfortunate transaction ordering. One possible solution to mitigate this
     * race condition is to first reduce the spender's allowance to 0 and set the desired value afterwards:
     * https://github.com/ethereum/EIPs/issues/20#issuecomment-263524729
     * @param _spender The address which will spend the funds.
     * @param _value The amount of tokens to be spent.
     */
    function approve(address _spender, uint256 _value) public whenNotPaused returns (bool) {
        require(!frozen[_spender] && !frozen[msg.sender], "address frozen");
        allowed[msg.sender][_spender] = _value;
        emit Approval(msg.sender, _spender, _value);
        return true;
    }

    /**
     * @dev Function to check the amount of tokens that an owner allowed to a spender.
     * @param _owner address The address which owns the funds.
     * @param _spender address The address which will spend the funds.
     * @return A uint256 specifying the amount of tokens still available for the spender.
     */
    function allowance(
        address _owner,
        address _spender
    )
    public
    view
    returns (uint256)
    {
        return allowed[_owner][_spender];
    }

    // OWNER FUNCTIONALITY

    /**
     * @dev Throws if called by any account other than the owner.
     */
    modifier onlyOwner() {
        require(msg.sender == owner, "onlyOwner");
        _;
    }

    /**
     * @dev Allows the current owner to transfer control of the contract to a newOwner.
     * @param _newOwner The address to transfer ownership to.
     */
    function transferOwnership(address _newOwner) public onlyOwner {
        require(_newOwner != address(0), "cannot transfer ownership to address zero");
        emit OwnershipTransferred(owner, _newOwner);
        owner = _newOwner;
    }

    // PAUSABILITY FUNCTIONALITY

    /**
     * @dev Modifier to make a function callable only when the contract is not paused.
     */
    modifier whenNotPaused() {
        require(!paused, "whenNotPaused");
        _;
    }

    /**
     * @dev called by the owner to pause, triggers stopped state
     */
    function pause() public onlyOwner {
        require(!paused, "already paused");
        paused = true;
        emit Pause();
    }

    /**
     * @dev called by the owner to unpause, returns to normal state
     */
    function unpause() public onlyOwner {
        require(paused, "already unpaused");
        paused = false;
        emit Unpause();
    }

    // LAW ENFORCEMENT FUNCTIONALITY

    /**
     * @dev Sets a new law enforcement role address.
     * @param _newLawEnforcementRole The new address allowed to freeze/unfreeze addresses and seize their tokens.
     */
    function setLawEnforcementRole(address _newLawEnforcementRole) public {
        require(msg.sender == lawEnforcementRole || msg.sender == owner, "only lawEnforcementRole or Owner");
        emit LawEnforcementRoleSet(lawEnforcementRole, _newLawEnforcementRole);
        lawEnforcementRole = _newLawEnforcementRole;
    }

    modifier onlyLawEnforcementRole() {
        require(msg.sender == lawEnforcementRole, "onlyLawEnforcementRole");
        _;
    }

    /**
     * @dev Freezes an address balance from being transferred.
     * @param _addr The new address to freeze.
     */
    function freeze(address _addr) public onlyLawEnforcementRole {
        require(!frozen[_addr], "address already frozen");
        frozen[_addr] = true;
        emit AddressFrozen(_addr);
    }

    /**
     * @dev Unfreezes an address balance allowing transfer.
     * @param _addr The new address to unfreeze.
     */
    function unfreeze(address _addr) public onlyLawEnforcementRole {
        require(frozen[_addr], "address already unfrozen");
        frozen[_addr] = false;
        emit AddressUnfrozen(_addr);
    }

    /**
     * @dev Wipes the balance of a frozen address, burning the tokens
     * and setting the approval to zero.
     * @param _addr The new frozen address to wipe.
     */
    function wipeFrozenAddress(address _addr) public onlyLawEnforcementRole {
        require(frozen[_addr], "address is not frozen");
        uint256 _balance = balances[_addr];
        balances[_addr] = 0;
        totalSupply_ = totalSupply_.sub(_balance);
        emit FrozenAddressWiped(_addr);
        emit SupplyDecreased(_addr, _balance);
        emit Transfer(_addr, address(0), _balance);
    }

    /**
    * @dev Gets the balance of the specified address.
    * @param _addr The address to check if frozen.
    * @return A bool representing whether the given address is frozen.
    */
    function isFrozen(address _addr) public view returns (bool) {
        return frozen[_addr];
    }

    // SUPPLY CONTROL FUNCTIONALITY

    /**
     * @dev Sets a new supply controller address.
     * @param _newSupplyController The address allowed to burn/mint tokens to control supply.
     */
    function setSupplyController(address _newSupplyController) public {
        require(msg.sender == supplyController || msg.sender == owner, "only SupplyController or Owner");
        require(_newSupplyController != address(0), "cannot set supply controller to address zero");
        emit SupplyControllerSet(supplyController, _newSupplyController);
        supplyController = _newSupplyController;
    }

    modifier onlySupplyController() {
        require(msg.sender == supplyController, "onlySupplyController");
        _;
    }

    /**
     * @dev Increases the total supply by minting the specified number of tokens to the supply controller account.
     * @param _value The number of tokens to add.
     * @return A boolean that indicates if the operation was successful.
     */
    function increaseSupply(uint256 _value) public onlySupplyController returns (bool success) {
        totalSupply_ = totalSupply_.add(_value);
        balances[supplyController] = balances[supplyController].add(_value);
        emit SupplyIncreased(supplyController, _value);
        emit Transfer(address(0), supplyController, _value);
        return true;
    }

    /**
     * @dev Decreases the total supply by burning the specified number of tokens from the supply controller account.
     * @param _value The number of tokens to remove.
     * @return A boolean that indicates if the operation was successful.
     */
    function decreaseSupply(uint256 _value) public onlySupplyController returns (bool success) {
        require(_value <= balances[supplyController], "not enough supply");
        balances[supplyController] = balances[supplyController].sub(_value);
        totalSupply_ = totalSupply_.sub(_value);
        emit SupplyDecreased(supplyController, _value);
        emit Transfer(supplyController, address(0), _value);
        return true;
    }
}

• No Contract Security Audit Submitted- Submit Audit Here

[{"inputs":[{"internalType":"address","name":"paxtoken","type":"address"}],"payable":false,"stateMutability":"nonpayable","type":"constructor"},{"anonymous":false,"inputs":[{"indexed":false,"internalType":"uint256","name":"insurance14Bal","type":"uint256"}],"name":"Insurance1FundsUpdated","type":"event"},{"anonymous":false,"inputs":[{"indexed":false,"internalType":"uint256","name":"insurance25Bal","type":"uint256"}],"name":"Insurance2FundsUpdated","type":"event"},{"anonymous":false,"inputs":[{"indexed":false,"internalType":"uint256","name":"insurance36Bal","type":"uint256"}],"name":"Insurance3FundsUpdated","type":"event"},{"anonymous":false,"inputs":[{"indexed":false,"internalType":"uint256","name":"insurance14Bal","type":"uint256"}],"name":"Insurance4FundsUpdated","type":"event"},{"anonymous":false,"inputs":[{"indexed":false,"internalType":"uint256","name":"insurance25Bal","type":"uint256"}],"name":"Insurance5FundsUpdated","type":"event"},{"anonymous":false,"inputs":[{"indexed":false,"internalType":"uint256","name":"insurance36Bal","type":"uint256"}],"name":"Insurance6FundsUpdated","type":"event"},{"anonymous":false,"inputs":[{"indexed":false,"internalType":"uint256","name":"insurance78Bal","type":"uint256"}],"name":"Insurance7FundsUpdated","type":"event"},{"anonymous":false,"inputs":[{"indexed":false,"internalType":"uint256","name":"insurance78Bal","type":"uint256"}],"name":"Insurance8FundsUpdated","type":"event"},{"anonymous":false,"inputs":[{"indexed":false,"internalType":"string","name":"pool","type":"string"},{"indexed":false,"internalType":"address","name":"seAdd","type":"address"}],"name":"PoolAddressAdded","type":"event"},{"constant":false,"inputs":[{"internalType":"address","name":"_manAd","type":"address"}],"name":"adMan","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[],"name":"deployTime","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"feeC","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"insurance1","outputs":[{"internalType":"address","name":"","type":"address"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"insurance14Bal","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"insurance2","outputs":[{"internalType":"address","name":"","type":"address"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"insurance25Bal","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"insurance3","outputs":[{"internalType":"address","name":"","type":"address"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"insurance36Bal","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"insurance4","outputs":[{"internalType":"address","name":"","type":"address"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"insurance5","outputs":[{"internalType":"address","name":"","type":"address"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"insurance6","outputs":[{"internalType":"address","name":"","type":"address"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"insurance7","outputs":[{"internalType":"address","name":"","type":"address"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"insurance78Bal","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"insurance8","outputs":[{"internalType":"address","name":"","type":"address"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"internalType":"address[8]","name":"pool","type":"address[8]"}],"name":"jackAd","outputs":[{"internalType":"bool","name":"","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[],"name":"mAd","outputs":[{"internalType":"address","name":"","type":"address"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"releaseTime","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[],"name":"remMan","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[],"name":"sAd","outputs":[{"internalType":"address","name":"","type":"address"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"tokC","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"tokenAdd","outputs":[{"internalType":"address","name":"","type":"address"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"internalType":"uint256[8]","name":"pool","type":"uint256[8]"}],"name":"witAd","outputs":[{"internalType":"bool","name":"","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[],"name":"witE","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"}]

608060405234801561001057600080fd5b506040516127ff3803806127ff8339818101604052602081101561003357600080fd5b8101908080519060200190929190505050806000806101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055504260108190555080600260006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555033600160006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555060105460118190555033600360006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555050612698806101676000396000f3fe608060405234801561001057600080fd5b50600436106101585760003560e01c80637d9a9e96116100c3578063b91d40011161007c578063b91d400114610541578063d301f1631461055f578063e29f99f014610569578063e5bd9a22146105b3578063e83232b2146105d1578063fa6198971461061b57610158565b80637d9a9e96146104235780637dc06a241461046d57806388ace818146104b75780638f93c053146104fb5780639a14734f14610519578063af8099a21461053757610158565b8063512daf9c11610115578063512daf9c146102bf5780635588ea8c146103095780636359ff8e146103535780636c8630601461039d578063745e63b6146103bb5780637a40624b1461040557610158565b806305ec43b01461015d5780630c11bfed146101a75780632a5e4411146101c55780632ed944011461020d5780634583e8ca14610257578063485b947d146102a1575b600080fd5b610165610663565b604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b6101af610689565b6040518082815260200191505060405180910390f35b6101f360048036036101008110156101dc57600080fd5b81019080806101000190919291929050505061068f565b604051808215151515815260200191505060405180910390f35b610215611370565b604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b61025f611396565b604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b6102a96113bc565b6040518082815260200191505060405180910390f35b6102c76113c2565b604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b6103116113e8565b604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b61035b61140e565b604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b6103a5611434565b6040518082815260200191505060405180910390f35b6103c361143a565b604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b61040d611460565b6040518082815260200191505060405180910390f35b61042b611466565b604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b61047561148c565b604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b6104f9600480360360208110156104cd57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff1690602001909291905050506114b2565b005b6105036115b9565b6040518082815260200191505060405180910390f35b610521611699565b6040518082815260200191505060405180910390f35b61053f61169f565b005b610549611803565b6040518082815260200191505060405180910390f35b610567611809565b005b610571611931565b604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b6105bb611957565b6040518082815260200191505060405180910390f35b6105d961195f565b604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b610649600480360361010081101561063257600080fd5b810190808061010001909192919290505050611985565b604051808215151515815260200191505060405180910390f35b600a60009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b600c5481565b6000600360009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff16148061073a5750600160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff16145b6107ac576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260058152602001807f6f6e4d616e00000000000000000000000000000000000000000000000000000081525060200191505060405180910390fd5b6000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1663a9059cbb600460009054906101000a900473ffffffffffffffffffffffffffffffffffffffff168460006008811061081957fe5b60200201356040518363ffffffff1660e01b8152600401808373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200182815260200192505050602060405180830381600087803b15801561088757600080fd5b505af115801561089b573d6000803e3d6000fd5b505050506040513d60208110156108b157600080fd5b8101908080519060200190929190505050506000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1663a9059cbb600560009054906101000a900473ffffffffffffffffffffffffffffffffffffffff168460016008811061093057fe5b60200201356040518363ffffffff1660e01b8152600401808373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200182815260200192505050602060405180830381600087803b15801561099e57600080fd5b505af11580156109b2573d6000803e3d6000fd5b505050506040513d60208110156109c857600080fd5b8101908080519060200190929190505050506000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1663a9059cbb600660009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1684600260088110610a4757fe5b60200201356040518363ffffffff1660e01b8152600401808373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200182815260200192505050602060405180830381600087803b158015610ab557600080fd5b505af1158015610ac9573d6000803e3d6000fd5b505050506040513d6020811015610adf57600080fd5b8101908080519060200190929190505050506000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1663a9059cbb600760009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1684600360088110610b5e57fe5b60200201356040518363ffffffff1660e01b8152600401808373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200182815260200192505050602060405180830381600087803b158015610bcc57600080fd5b505af1158015610be0573d6000803e3d6000fd5b505050506040513d6020811015610bf657600080fd5b8101908080519060200190929190505050506000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1663a9059cbb600860009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1684600460088110610c7557fe5b60200201356040518363ffffffff1660e01b8152600401808373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200182815260200192505050602060405180830381600087803b158015610ce357600080fd5b505af1158015610cf7573d6000803e3d6000fd5b505050506040513d6020811015610d0d57600080fd5b8101908080519060200190929190505050506000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1663a9059cbb600960009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1684600560088110610d8c57fe5b60200201356040518363ffffffff1660e01b8152600401808373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200182815260200192505050602060405180830381600087803b158015610dfa57600080fd5b505af1158015610e0e573d6000803e3d6000fd5b505050506040513d6020811015610e2457600080fd5b8101908080519060200190929190505050506000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1663a9059cbb600a60009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1684600660088110610ea357fe5b60200201356040518363ffffffff1660e01b8152600401808373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200182815260200192505050602060405180830381600087803b158015610f1157600080fd5b505af1158015610f25573d6000803e3d6000fd5b505050506040513d6020811015610f3b57600080fd5b8101908080519060200190929190505050506000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1663a9059cbb600b60009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1684600760088110610fba57fe5b60200201356040518363ffffffff1660e01b8152600401808373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200182815260200192505050602060405180830381600087803b15801561102857600080fd5b505af115801561103c573d6000803e3d6000fd5b505050506040513d602081101561105257600080fd5b8101908080519060200190929190505050508160036008811061107157fe5b60200201358260006008811061108357fe5b6020020135600c540101600c81905550816004600881106110a057fe5b6020020135826001600881106110b257fe5b6020020135600d540101600d81905550816005600881106110cf57fe5b6020020135826002600881106110e157fe5b6020020135600e540101600e81905550816007600881106110fe57fe5b60200201358260066008811061111057fe5b6020020135600f540101600f819055507f1eb5b7dfe956eb201b3000b9498b3d40c22c8dc1d643f1eab7318882038834898260006008811061114e57fe5b60200201356040518082815260200191505060405180910390a17fa53108b2bdf1de4a104818891cb4b774a96bbe4dcf2508782d344af87636b3958260016008811061119657fe5b60200201356040518082815260200191505060405180910390a17fe5a00701f746ad55e31c8d557f9a782360615ba629dfab7d8d50c33bee8efc9f826002600881106111de57fe5b60200201356040518082815260200191505060405180910390a17fb4d09eff9a58dcc11ee6cf999f110b5c1f62b8333eee9636a578aead2951e85b8260036008811061122657fe5b60200201356040518082815260200191505060405180910390a17f6db1a793f8831969663164ed913bee0495dac62de829de538309390f0b22e3f58260046008811061126e57fe5b60200201356040518082815260200191505060405180910390a17f451ce545aa275eb945bf00b88d3f43d57cacba3db3c4a73337df0c7743f77a56826005600881106112b657fe5b60200201356040518082815260200191505060405180910390a17f07f1a47b72eadb3bd50a152c15e14e6505c1aca266a66997a628390a517ae040826006600881106112fe57fe5b60200201356040518082815260200191505060405180910390a17f585940e79a2d001956870bff81e721e8f6c3867e87888d0d56c1b7f329e497f38260076008811061134657fe5b60200201356040518082815260200191505060405180910390a14260118190555060019050919050565b600360009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b600b60009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b600e5481565b600460009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b600960009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b600560009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b600f5481565b600160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b60105481565b600660009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b600860009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b600160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1614611575576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260058152602001807f6f6e53616400000000000000000000000000000000000000000000000000000081525060200191505060405180910390fd5b80600360006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555050565b60008060009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff166370a08231306040518263ffffffff1660e01b8152600401808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060206040518083038186803b15801561165957600080fd5b505afa15801561166d573d6000803e3d6000fd5b505050506040513d602081101561168357600080fd5b8101908080519060200190929190505050905090565b600d5481565b600360009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1614806117485750600160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff16145b6117ba576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260058152602001807f6f6e4d616e00000000000000000000000000000000000000000000000000000081525060200191505060405180910390fd5b3373ffffffffffffffffffffffffffffffffffffffff166108fc479081150290604051600060405180830381858888f19350505050158015611800573d6000803e3d6000fd5b50565b60115481565b600160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff16146118cc576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260058152602001807f6f6e53616400000000000000000000000000000000000000000000000000000081525060200191505060405180910390fd5b600160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff16600360006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff160217905550565b600260009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b600047905090565b600760009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b6000600160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1614611a4a576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260058152602001807f6f6e53616400000000000000000000000000000000000000000000000000000081525060200191505060405180910390fd5b600073ffffffffffffffffffffffffffffffffffffffff1682600060088110611a6f57fe5b602002013573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1614611bcc5781600060088110611ab257fe5b602002013573ffffffffffffffffffffffffffffffffffffffff16600460006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055507f12fb0c5abba542bf97c53eecc4ebe59d9ba7ad563247ed305f002ada0291d60f600460009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1660405180806020018373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001828103825260088152602001807f6a61636b706f74310000000000000000000000000000000000000000000000008152506020019250505060405180910390a15b600073ffffffffffffffffffffffffffffffffffffffff1682600160088110611bf157fe5b602002013573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1614611d4e5781600160088110611c3457fe5b602002013573ffffffffffffffffffffffffffffffffffffffff16600560006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055507f12fb0c5abba542bf97c53eecc4ebe59d9ba7ad563247ed305f002ada0291d60f600560009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1660405180806020018373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001828103825260088152602001807f6a61636b706f74320000000000000000000000000000000000000000000000008152506020019250505060405180910390a15b600073ffffffffffffffffffffffffffffffffffffffff1682600260088110611d7357fe5b602002013573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1614611ed05781600260088110611db657fe5b602002013573ffffffffffffffffffffffffffffffffffffffff16600660006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055507f12fb0c5abba542bf97c53eecc4ebe59d9ba7ad563247ed305f002ada0291d60f600660009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1660405180806020018373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001828103825260088152602001807f6a61636b706f74330000000000000000000000000000000000000000000000008152506020019250505060405180910390a15b600073ffffffffffffffffffffffffffffffffffffffff1682600360088110611ef557fe5b602002013573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16146120525781600360088110611f3857fe5b602002013573ffffffffffffffffffffffffffffffffffffffff16600760006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055507f12fb0c5abba542bf97c53eecc4ebe59d9ba7ad563247ed305f002ada0291d60f600760009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1660405180806020018373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001828103825260088152602001807f6a61636b706f74340000000000000000000000000000000000000000000000008152506020019250505060405180910390a15b600073ffffffffffffffffffffffffffffffffffffffff168260046008811061207757fe5b602002013573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16146121d457816004600881106120ba57fe5b602002013573ffffffffffffffffffffffffffffffffffffffff16600860006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055507f12fb0c5abba542bf97c53eecc4ebe59d9ba7ad563247ed305f002ada0291d60f600860009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1660405180806020018373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001828103825260088152602001807f6a61636b706f74350000000000000000000000000000000000000000000000008152506020019250505060405180910390a15b600073ffffffffffffffffffffffffffffffffffffffff16826005600881106121f957fe5b602002013573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1614612356578160056008811061223c57fe5b602002013573ffffffffffffffffffffffffffffffffffffffff16600960006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055507f12fb0c5abba542bf97c53eecc4ebe59d9ba7ad563247ed305f002ada0291d60f600960009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1660405180806020018373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001828103825260088152602001807f6a61636b706f74360000000000000000000000000000000000000000000000008152506020019250505060405180910390a15b600073ffffffffffffffffffffffffffffffffffffffff168260066008811061237b57fe5b602002013573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16146124d857816006600881106123be57fe5b602002013573ffffffffffffffffffffffffffffffffffffffff16600a60006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055507f12fb0c5abba542bf97c53eecc4ebe59d9ba7ad563247ed305f002ada0291d60f600a60009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1660405180806020018373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001828103825260088152602001807f6a61636b706f74370000000000000000000000000000000000000000000000008152506020019250505060405180910390a15b600073ffffffffffffffffffffffffffffffffffffffff16826007600881106124fd57fe5b602002013573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff161461265a578160076008811061254057fe5b602002013573ffffffffffffffffffffffffffffffffffffffff16600b60006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055507f12fb0c5abba542bf97c53eecc4ebe59d9ba7ad563247ed305f002ada0291d60f600b60009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1660405180806020018373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001828103825260088152602001807f6a61636b706f74380000000000000000000000000000000000000000000000008152506020019250505060405180910390a15b6001905091905056fea265627a7a723158205c1bd89bb712dd5d8987b7ebfb3601785c1e453825317b52a6f1e059f474206f64736f6c634300051100320000000000000000000000008e870d67f660d95d5be530380d0ec0bd388289e1

0x608060405234801561001057600080fd5b50600436106101585760003560e01c80637d9a9e96116100c3578063b91d40011161007c578063b91d400114610541578063d301f1631461055f578063e29f99f014610569578063e5bd9a22146105b3578063e83232b2146105d1578063fa6198971461061b57610158565b80637d9a9e96146104235780637dc06a241461046d57806388ace818146104b75780638f93c053146104fb5780639a14734f14610519578063af8099a21461053757610158565b8063512daf9c11610115578063512daf9c146102bf5780635588ea8c146103095780636359ff8e146103535780636c8630601461039d578063745e63b6146103bb5780637a40624b1461040557610158565b806305ec43b01461015d5780630c11bfed146101a75780632a5e4411146101c55780632ed944011461020d5780634583e8ca14610257578063485b947d146102a1575b600080fd5b610165610663565b604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b6101af610689565b6040518082815260200191505060405180910390f35b6101f360048036036101008110156101dc57600080fd5b81019080806101000190919291929050505061068f565b604051808215151515815260200191505060405180910390f35b610215611370565b604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b61025f611396565b604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b6102a96113bc565b6040518082815260200191505060405180910390f35b6102c76113c2565b604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b6103116113e8565b604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b61035b61140e565b604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b6103a5611434565b6040518082815260200191505060405180910390f35b6103c361143a565b604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b61040d611460565b6040518082815260200191505060405180910390f35b61042b611466565b604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b61047561148c565b604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b6104f9600480360360208110156104cd57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff1690602001909291905050506114b2565b005b6105036115b9565b6040518082815260200191505060405180910390f35b610521611699565b6040518082815260200191505060405180910390f35b61053f61169f565b005b610549611803565b6040518082815260200191505060405180910390f35b610567611809565b005b610571611931565b604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b6105bb611957565b6040518082815260200191505060405180910390f35b6105d961195f565b604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b610649600480360361010081101561063257600080fd5b810190808061010001909192919290505050611985565b604051808215151515815260200191505060405180910390f35b600a60009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b600c5481565b6000600360009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff16148061073a5750600160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff16145b6107ac576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260058152602001807f6f6e4d616e00000000000000000000000000000000000000000000000000000081525060200191505060405180910390fd5b6000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1663a9059cbb600460009054906101000a900473ffffffffffffffffffffffffffffffffffffffff168460006008811061081957fe5b60200201356040518363ffffffff1660e01b8152600401808373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200182815260200192505050602060405180830381600087803b15801561088757600080fd5b505af115801561089b573d6000803e3d6000fd5b505050506040513d60208110156108b157600080fd5b8101908080519060200190929190505050506000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1663a9059cbb600560009054906101000a900473ffffffffffffffffffffffffffffffffffffffff168460016008811061093057fe5b60200201356040518363ffffffff1660e01b8152600401808373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200182815260200192505050602060405180830381600087803b15801561099e57600080fd5b505af11580156109b2573d6000803e3d6000fd5b505050506040513d60208110156109c857600080fd5b8101908080519060200190929190505050506000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1663a9059cbb600660009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1684600260088110610a4757fe5b60200201356040518363ffffffff1660e01b8152600401808373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200182815260200192505050602060405180830381600087803b158015610ab557600080fd5b505af1158015610ac9573d6000803e3d6000fd5b505050506040513d6020811015610adf57600080fd5b8101908080519060200190929190505050506000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1663a9059cbb600760009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1684600360088110610b5e57fe5b60200201356040518363ffffffff1660e01b8152600401808373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200182815260200192505050602060405180830381600087803b158015610bcc57600080fd5b505af1158015610be0573d6000803e3d6000fd5b505050506040513d6020811015610bf657600080fd5b8101908080519060200190929190505050506000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1663a9059cbb600860009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1684600460088110610c7557fe5b60200201356040518363ffffffff1660e01b8152600401808373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200182815260200192505050602060405180830381600087803b158015610ce357600080fd5b505af1158015610cf7573d6000803e3d6000fd5b505050506040513d6020811015610d0d57600080fd5b8101908080519060200190929190505050506000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1663a9059cbb600960009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1684600560088110610d8c57fe5b60200201356040518363ffffffff1660e01b8152600401808373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200182815260200192505050602060405180830381600087803b158015610dfa57600080fd5b505af1158015610e0e573d6000803e3d6000fd5b505050506040513d6020811015610e2457600080fd5b8101908080519060200190929190505050506000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1663a9059cbb600a60009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1684600660088110610ea357fe5b60200201356040518363ffffffff1660e01b8152600401808373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200182815260200192505050602060405180830381600087803b158015610f1157600080fd5b505af1158015610f25573d6000803e3d6000fd5b505050506040513d6020811015610f3b57600080fd5b8101908080519060200190929190505050506000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1663a9059cbb600b60009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1684600760088110610fba57fe5b60200201356040518363ffffffff1660e01b8152600401808373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200182815260200192505050602060405180830381600087803b15801561102857600080fd5b505af115801561103c573d6000803e3d6000fd5b505050506040513d602081101561105257600080fd5b8101908080519060200190929190505050508160036008811061107157fe5b60200201358260006008811061108357fe5b6020020135600c540101600c81905550816004600881106110a057fe5b6020020135826001600881106110b257fe5b6020020135600d540101600d81905550816005600881106110cf57fe5b6020020135826002600881106110e157fe5b6020020135600e540101600e81905550816007600881106110fe57fe5b60200201358260066008811061111057fe5b6020020135600f540101600f819055507f1eb5b7dfe956eb201b3000b9498b3d40c22c8dc1d643f1eab7318882038834898260006008811061114e57fe5b60200201356040518082815260200191505060405180910390a17fa53108b2bdf1de4a104818891cb4b774a96bbe4dcf2508782d344af87636b3958260016008811061119657fe5b60200201356040518082815260200191505060405180910390a17fe5a00701f746ad55e31c8d557f9a782360615ba629dfab7d8d50c33bee8efc9f826002600881106111de57fe5b60200201356040518082815260200191505060405180910390a17fb4d09eff9a58dcc11ee6cf999f110b5c1f62b8333eee9636a578aead2951e85b8260036008811061122657fe5b60200201356040518082815260200191505060405180910390a17f6db1a793f8831969663164ed913bee0495dac62de829de538309390f0b22e3f58260046008811061126e57fe5b60200201356040518082815260200191505060405180910390a17f451ce545aa275eb945bf00b88d3f43d57cacba3db3c4a73337df0c7743f77a56826005600881106112b657fe5b60200201356040518082815260200191505060405180910390a17f07f1a47b72eadb3bd50a152c15e14e6505c1aca266a66997a628390a517ae040826006600881106112fe57fe5b60200201356040518082815260200191505060405180910390a17f585940e79a2d001956870bff81e721e8f6c3867e87888d0d56c1b7f329e497f38260076008811061134657fe5b60200201356040518082815260200191505060405180910390a14260118190555060019050919050565b600360009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b600b60009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b600e5481565b600460009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b600960009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b600560009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b600f5481565b600160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b60105481565b600660009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b600860009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b600160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1614611575576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260058152602001807f6f6e53616400000000000000000000000000000000000000000000000000000081525060200191505060405180910390fd5b80600360006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555050565b60008060009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff166370a08231306040518263ffffffff1660e01b8152600401808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060206040518083038186803b15801561165957600080fd5b505afa15801561166d573d6000803e3d6000fd5b505050506040513d602081101561168357600080fd5b8101908080519060200190929190505050905090565b600d5481565b600360009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1614806117485750600160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff16145b6117ba576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260058152602001807f6f6e4d616e00000000000000000000000000000000000000000000000000000081525060200191505060405180910390fd5b3373ffffffffffffffffffffffffffffffffffffffff166108fc479081150290604051600060405180830381858888f19350505050158015611800573d6000803e3d6000fd5b50565b60115481565b600160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff16146118cc576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260058152602001807f6f6e53616400000000000000000000000000000000000000000000000000000081525060200191505060405180910390fd5b600160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff16600360006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff160217905550565b600260009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b600047905090565b600760009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b6000600160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1614611a4a576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260058152602001807f6f6e53616400000000000000000000000000000000000000000000000000000081525060200191505060405180910390fd5b600073ffffffffffffffffffffffffffffffffffffffff1682600060088110611a6f57fe5b602002013573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1614611bcc5781600060088110611ab257fe5b602002013573ffffffffffffffffffffffffffffffffffffffff16600460006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055507f12fb0c5abba542bf97c53eecc4ebe59d9ba7ad563247ed305f002ada0291d60f600460009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1660405180806020018373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001828103825260088152602001807f6a61636b706f74310000000000000000000000000000000000000000000000008152506020019250505060405180910390a15b600073ffffffffffffffffffffffffffffffffffffffff1682600160088110611bf157fe5b602002013573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1614611d4e5781600160088110611c3457fe5b602002013573ffffffffffffffffffffffffffffffffffffffff16600560006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055507f12fb0c5abba542bf97c53eecc4ebe59d9ba7ad563247ed305f002ada0291d60f600560009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1660405180806020018373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001828103825260088152602001807f6a61636b706f74320000000000000000000000000000000000000000000000008152506020019250505060405180910390a15b600073ffffffffffffffffffffffffffffffffffffffff1682600260088110611d7357fe5b602002013573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1614611ed05781600260088110611db657fe5b602002013573ffffffffffffffffffffffffffffffffffffffff16600660006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055507f12fb0c5abba542bf97c53eecc4ebe59d9ba7ad563247ed305f002ada0291d60f600660009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1660405180806020018373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001828103825260088152602001807f6a61636b706f74330000000000000000000000000000000000000000000000008152506020019250505060405180910390a15b600073ffffffffffffffffffffffffffffffffffffffff1682600360088110611ef557fe5b602002013573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16146120525781600360088110611f3857fe5b602002013573ffffffffffffffffffffffffffffffffffffffff16600760006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055507f12fb0c5abba542bf97c53eecc4ebe59d9ba7ad563247ed305f002ada0291d60f600760009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1660405180806020018373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001828103825260088152602001807f6a61636b706f74340000000000000000000000000000000000000000000000008152506020019250505060405180910390a15b600073ffffffffffffffffffffffffffffffffffffffff168260046008811061207757fe5b602002013573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16146121d457816004600881106120ba57fe5b602002013573ffffffffffffffffffffffffffffffffffffffff16600860006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055507f12fb0c5abba542bf97c53eecc4ebe59d9ba7ad563247ed305f002ada0291d60f600860009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1660405180806020018373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001828103825260088152602001807f6a61636b706f74350000000000000000000000000000000000000000000000008152506020019250505060405180910390a15b600073ffffffffffffffffffffffffffffffffffffffff16826005600881106121f957fe5b602002013573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1614612356578160056008811061223c57fe5b602002013573ffffffffffffffffffffffffffffffffffffffff16600960006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055507f12fb0c5abba542bf97c53eecc4ebe59d9ba7ad563247ed305f002ada0291d60f600960009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1660405180806020018373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001828103825260088152602001807f6a61636b706f74360000000000000000000000000000000000000000000000008152506020019250505060405180910390a15b600073ffffffffffffffffffffffffffffffffffffffff168260066008811061237b57fe5b602002013573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16146124d857816006600881106123be57fe5b602002013573ffffffffffffffffffffffffffffffffffffffff16600a60006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055507f12fb0c5abba542bf97c53eecc4ebe59d9ba7ad563247ed305f002ada0291d60f600a60009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1660405180806020018373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001828103825260088152602001807f6a61636b706f74370000000000000000000000000000000000000000000000008152506020019250505060405180910390a15b600073ffffffffffffffffffffffffffffffffffffffff16826007600881106124fd57fe5b602002013573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff161461265a578160076008811061254057fe5b602002013573ffffffffffffffffffffffffffffffffffffffff16600b60006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055507f12fb0c5abba542bf97c53eecc4ebe59d9ba7ad563247ed305f002ada0291d60f600b60009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1660405180806020018373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001828103825260088152602001807f6a61636b706f74380000000000000000000000000000000000000000000000008152506020019250505060405180910390a15b6001905091905056fea265627a7a723158205c1bd89bb712dd5d8987b7ebfb3601785c1e453825317b52a6f1e059f474206f64736f6c63430005110032

0000000000000000000000008e870d67f660d95d5be530380d0ec0bd388289e1

-----Decoded View---------------
Arg [0] : paxtoken (address): 0x8E870D67F660D95d5be530380D0eC0bd388289E1

-----Encoded View---------------
1 Constructor Arguments found :
Arg [0] : 0000000000000000000000008e870d67f660d95d5be530380d0ec0bd388289e1

74:4432:1:-;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;74:4432:1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;680:25;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;752:29;;;:::i;:::-;;;;;;;;;;;;;;;;;;;3072:1119;;;;;;13:3:-1;8;5:12;2:2;;;30:1;27;20:12;2:2;3072:1119:1;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;465:18;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;711:25;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;843:29;;;:::i;:::-;;;;;;;;;;;;;;;;;;;494:25;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;649;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;525;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;887:29;;;:::i;:::-;;;;;;;;;;;;;;;;;;;412:18;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;923:25;;;:::i;:::-;;;;;;;;;;;;;;;;;;;556;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;618;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;1734:78;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;1734:78:1;;;;;;;;;;;;;;;;;;;:::i;:::-;;4401:99;;;:::i;:::-;;;;;;;;;;;;;;;;;;;801:29;;;:::i;:::-;;;;;;;;;;;;;;;;;;;4304:87;;;:::i;:::-;;954:26;;;:::i;:::-;;;;;;;;;;;;;;;;;;;1822:57;;;:::i;:::-;;436:23;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;4203:91;;;:::i;:::-;;;;;;;;;;;;;;;;;;;587:25;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;1890:1176;;;;;;13:3:-1;8;5:12;2:2;;;30:1;27;20:12;2:2;1890:1176:1;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;680:25;;;;;;;;;;;;;:::o;752:29::-;;;;:::o;3072:1119::-;3136:4;1672:3;;;;;;;;;;;1658:17;;:10;:17;;;:38;;;;1693:3;;;;;;;;;;;1679:17;;:10;:17;;;1658:38;1650:56;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;3158:5;;;;;;;;;;;:14;;;3173:10;;;;;;;;;;;3185:4;3190:1;3185:7;;;;;;;;;;;3158:35;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;3158:35:1;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;3158:35:1;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;3158:35:1;;;;;;;;;;;;;;;;;3203:5;;;;;;;;;;;:14;;;3218:10;;;;;;;;;;;3230:4;3235:1;3230:7;;;;;;;;;;;3203:35;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;3203:35:1;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;3203:35:1;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;3203:35:1;;;;;;;;;;;;;;;;;3248:5;;;;;;;;;;;:14;;;3263:10;;;;;;;;;;;3275:4;3280:1;3275:7;;;;;;;;;;;3248:35;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;3248:35:1;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;3248:35:1;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;3248:35:1;;;;;;;;;;;;;;;;;3293:5;;;;;;;;;;;:14;;;3308:10;;;;;;;;;;;3320:4;3325:1;3320:7;;;;;;;;;;;3293:35;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;3293:35:1;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;3293:35:1;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;3293:35:1;;;;;;;;;;;;;;;;;3338:5;;;;;;;;;;;:14;;;3353:10;;;;;;;;;;;3365:4;3370:1;3365:7;;;;;;;;;;;3338:35;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;3338:35:1;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;3338:35:1;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;3338:35:1;;;;;;;;;;;;;;;;;3383:5;;;;;;;;;;;:14;;;3398:10;;;;;;;;;;;3410:4;3415:1;3410:7;;;;;;;;;;;3383:35;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;3383:35:1;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;3383:35:1;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;3383:35:1;;;;;;;;;;;;;;;;;3428:5;;;;;;;;;;;:14;;;3443:10;;;;;;;;;;;3455:4;3460:1;3455:7;;;;;;;;;;;3428:35;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;3428:35:1;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;3428:35:1;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;3428:35:1;;;;;;;;;;;;;;;;;3473:5;;;;;;;;;;;:14;;;3488:10;;;;;;;;;;;3500:4;3505:1;3500:7;;;;;;;;;;;3473:35;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;3473:35:1;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;3473:35:1;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;3473:35:1;;;;;;;;;;;;;;;;;3567:4;3572:1;3567:7;;;;;;;;;;;3559:4;3564:1;3559:7;;;;;;;;;;;3544:14;;:22;:30;3527:14;:47;;;;3624:4;3629:1;3624:7;;;;;;;;;;;3616:4;3621:1;3616:7;;;;;;;;;;;3601:14;;:22;:30;3584:14;:47;;;;3681:4;3686:1;3681:7;;;;;;;;;;;3673:4;3678:1;3673:7;;;;;;;;;;;3658:14;;:22;:30;3641:14;:47;;;;3738:4;3743:1;3738:7;;;;;;;;;;;3730:4;3735:1;3730:7;;;;;;;;;;;3715:14;;:22;:30;3698:14;:47;;;;3769:31;3792:4;3797:1;3792:7;;;;;;;;;;;3769:31;;;;;;;;;;;;;;;;;;3815;3838:4;3843:1;3838:7;;;;;;;;;;;3815:31;;;;;;;;;;;;;;;;;;3861;3884:4;3889:1;3884:7;;;;;;;;;;;3861:31;;;;;;;;;;;;;;;;;;3907;3930:4;3935:1;3930:7;;;;;;;;;;;3907:31;;;;;;;;;;;;;;;;;;3953;3976:4;3981:1;3976:7;;;;;;;;;;;3953:31;;;;;;;;;;;;;;;;;;3999;4022:4;4027:1;4022:7;;;;;;;;;;;3999:31;;;;;;;;;;;;;;;;;;4045;4068:4;4073:1;4068:7;;;;;;;;;;;4045:31;;;;;;;;;;;;;;;;;;4091;4114:4;4119:1;4114:7;;;;;;;;;;;4091:31;;;;;;;;;;;;;;;;;;4151:3;4137:11;:17;;;;4171:4;4164:11;;3072:1119;;;:::o;465:18::-;;;;;;;;;;;;;:::o;711:25::-;;;;;;;;;;;;;:::o;843:29::-;;;;:::o;494:25::-;;;;;;;;;;;;;:::o;649:::-;;;;;;;;;;;;;:::o;525:::-;;;;;;;;;;;;;:::o;887:29::-;;;;:::o;412:18::-;;;;;;;;;;;;;:::o;923:25::-;;;;:::o;556:::-;;;;;;;;;;;;;:::o;618:::-;;;;;;;;;;;;;:::o;1734:78::-;1581:3;;;;;;;;;;;1567:17;;:10;:17;;;1559:35;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;1794:6;1788:3;;:12;;;;;;;;;;;;;;;;;;1734:78;:::o;4401:99::-;4438:7;4463:5;;;;;;;;;;;:15;;;4487:4;4463:30;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;4463:30:1;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;4463:30:1;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;4463:30:1;;;;;;;;;;;;;;;;4456:37;;4401:99;:::o;801:29::-;;;;:::o;4304:87::-;1672:3;;;;;;;;;;;1658:17;;:10;:17;;;:38;;;;1693:3;;;;;;;;;;;1679:17;;:10;:17;;;1658:38;1650:56;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;4342:10;:19;;:42;4362:21;4342:42;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;4342:42:1;4304:87::o;954:26::-;;;;:::o;1822:57::-;1581:3;;;;;;;;;;;1567:17;;:10;:17;;;1559:35;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;1869:3;;;;;;;;;;;1863;;:9;;;;;;;;;;;;;;;;;;1822:57::o;436:23::-;;;;;;;;;;;;;:::o;4203:91::-;4240:7;4266:21;4259:28;;4203:91;:::o;587:25::-;;;;;;;;;;;;;:::o;1890:1176::-;1956:4;1581:3;;;;;;;;;;;1567:17;;:10;:17;;;1559:35;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;1995:1;1976:21;;:4;1981:1;1976:7;;;;;;;;;;;;;:21;;;1973:125;;2023:4;2028:1;2023:7;;;;;;;;;;;;;2010:10;;:20;;;;;;;;;;;;;;;;;;2047:40;2076:10;;;;;;;;;;;2047:40;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;1973:125;2129:1;2110:21;;:4;2115:1;2110:7;;;;;;;;;;;;;:21;;;2107:125;;2157:4;2162:1;2157:7;;;;;;;;;;;;;2144:10;;:20;;;;;;;;;;;;;;;;;;2181:40;2210:10;;;;;;;;;;;2181:40;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;2107:125;2263:1;2244:21;;:4;2249:1;2244:7;;;;;;;;;;;;;:21;;;2241:125;;2291:4;2296:1;2291:7;;;;;;;;;;;;;2278:10;;:20;;;;;;;;;;;;;;;;;;2315:40;2344:10;;;;;;;;;;;2315:40;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;2241:125;2398:1;2379:21;;:4;2384:1;2379:7;;;;;;;;;;;;;:21;;;2376:125;;2426:4;2431:1;2426:7;;;;;;;;;;;;;2413:10;;:20;;;;;;;;;;;;;;;;;;2450:40;2479:10;;;;;;;;;;;2450:40;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;2376:125;2532:1;2513:21;;:4;2518:1;2513:7;;;;;;;;;;;;;:21;;;2510:125;;2560:4;2565:1;2560:7;;;;;;;;;;;;;2547:10;;:20;;;;;;;;;;;;;;;;;;2584:40;2613:10;;;;;;;;;;;2584:40;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;2510:125;2666:1;2647:21;;:4;2652:1;2647:7;;;;;;;;;;;;;:21;;;2644:125;;2694:4;2699:1;2694:7;;;;;;;;;;;;;2681:10;;:20;;;;;;;;;;;;;;;;;;2718:40;2747:10;;;;;;;;;;;2718:40;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;2644:125;2800:1;2781:21;;:4;2786:1;2781:7;;;;;;;;;;;;;:21;;;2778:125;;2828:4;2833:1;2828:7;;;;;;;;;;;;;2815:10;;:20;;;;;;;;;;;;;;;;;;2852:40;2881:10;;;;;;;;;;;2852:40;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;2778:125;2934:1;2915:21;;:4;2920:1;2915:7;;;;;;;;;;;;;:21;;;2912:125;;2962:4;2967:1;2962:7;;;;;;;;;;;;;2949:10;;:20;;;;;;;;;;;;;;;;;;2986:40;3015:10;;;;;;;;;;;2986:40;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;2912:125;3053:4;3046:11;;1890:1176;;;:::o

bzzr://5c1bd89bb712dd5d8987b7ebfb3601785c1e453825317b52a6f1e059f474206f