Contract

/**
 *Submitted for verification at Etherscan.io on 2021-03-20
*/

pragma solidity ^0.5.17;

/**
 * @title ERC20Basic
 * @dev Simpler version of ERC20 interface
 * @dev see https://github.com/ethereum/EIPs/issues/179
 */
contract ERC20Basic {
  function totalSupply() public view returns (uint256);
  function balanceOf(address who) public view returns (uint256);
  function transfer(address to, uint256 value) public returns (bool);
  event Transfer(address indexed from, address indexed to, uint256 value);
}

/**
 * @title ERC20 interface
 * @dev see https://github.com/ethereum/EIPs/issues/20
 */
contract ERC20 is ERC20Basic {
  function allowance(address owner, address spender) public view returns (uint256);
  function transferFrom(address from, address to, uint256 value) public returns (bool);
  function approve(address spender, uint256 value) public returns (bool);
  event Approval(address indexed owner, address indexed spender, uint256 value);
}

/**
 * @title SafeMath
 * @dev Math operations with safety checks that throw on error
 * @notice https://github.com/OpenZeppelin/zeppelin-solidity/blob/master/contracts/math/SafeMath.sol
 */
library SafeMath {
	/**
	 * SafeMath mul function
	 * @dev function for safe multiply, throws on overflow.
	 **/
	function mul(uint256 a, uint256 b) internal pure returns (uint256) {
		uint256 c = a * b;
		assert(a == 0 || c / a == b);
		return c;
	}

	/**
	 * SafeMath div funciotn
	 * @dev function for safe devide, throws on overflow.
	 **/
	function div(uint256 a, uint256 b) internal pure returns (uint256) {
		uint256 c = a / b;
		return c;
	}

	/**
	 * SafeMath sub function
	 * @dev function for safe subtraction, throws on overflow.
	 **/
	function sub(uint256 a, uint256 b) internal pure returns (uint256) {
		assert(b <= a);
		return a - b;
	}
	
	/**
	 * SafeMath add function
	 * @dev Adds two numbers, throws on overflow.
	 */
	function add(uint256 a, uint256 b) internal pure returns (uint256 c) {
		c = a + b;
		assert(c >= a);
		return c;
	}
}

/**
 * @title Basic token
 * @dev Basic version of StandardToken, with no allowances.
 */
contract BasicToken is ERC20Basic {
  using SafeMath for uint256;

  mapping(address => uint256) balances;

  uint256 totalSupply_;

  /**
  * @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 returns (bool) {
    require(_to != address(0));
    require(_value <= balances[msg.sender]);

    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 _owner The address to query the the balance of.
  * @return An uint256 representing the amount owned by the passed address.
  */
  function balanceOf(address _owner) public view returns (uint256) {
    return balances[_owner];
  }

}

/**
 * @title Standard ERC20 token
 *
 * @dev Implementation of the basic standard token.
 * @dev https://github.com/ethereum/EIPs/issues/2
 */
contract StandardToken is ERC20, BasicToken {

  mapping (address => mapping (address => uint256)) internal allowed;

  /**
   * @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 returns (bool) {
    require(_to != address(0));
    require(_value <= balances[_from]);
    require(_value <= allowed[_from][msg.sender]);

    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 returns (bool) {
    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];
  }

  /**
   * @dev Increase the amount of tokens that an owner allowed to a spender.
   *
   * approve should be called when allowed[_spender] == 0. To increment
   * allowed value is better to use this function to avoid 2 calls (and wait until
   * the first transaction is mined)
   * From MonolithDAO Token.sol
   * @param _spender The address which will spend the funds.
   * @param _addedValue The amount of tokens to increase the allowance by.
   */
  function increaseApproval(address _spender, uint _addedValue) public returns (bool) {
    allowed[msg.sender][_spender] = (
      allowed[msg.sender][_spender].add(_addedValue));
    emit Approval(msg.sender, _spender, allowed[msg.sender][_spender]);
    return true;
  }

  /**
   * @dev Decrease the amount of tokens that an owner allowed to a spender.
   *
   * approve should be called when allowed[_spender] == 0. To decrement
   * allowed value is better to use this function to avoid 2 calls (and wait until
   * the first transaction is mined)
   * From MonolithDAO Token.sol
   * @param _spender The address which will spend the funds.
   * @param _subtractedValue The amount of tokens to decrease the allowance by.
   */
  function decreaseApproval(address _spender, uint _subtractedValue) public returns (bool) {
    uint oldValue = allowed[msg.sender][_spender];
    
    if (_subtractedValue > oldValue) {
      allowed[msg.sender][_spender] = 0;
    } else {
      allowed[msg.sender][_spender] = oldValue.sub(_subtractedValue);
    }
    
    emit Approval(msg.sender, _spender, allowed[msg.sender][_spender]);
    return true;
  }

}

/**
 * @title Ownable
 * @dev The Ownable contract has an owner address, and provides basic authorization control
 * functions, this simplifies the implementation of "user permissions".
 */
contract Ownable {
  address public owner;


  event OwnershipRenounced(address indexed previousOwner);
  event OwnershipTransferred(address indexed previousOwner, address indexed newOwner);


  /**
   * @dev The Ownable constructor sets the original `owner` of the contract to the sender
   * account.
   */
  constructor() public {
    owner = msg.sender;
  }

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

  /**
   * @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));
    emit OwnershipTransferred(owner, newOwner);
    owner = newOwner;
  }

  /**
   * @dev Allows the current owner to relinquish control of the contract.
   */
  function renounceOwnership() public onlyOwner {
    emit OwnershipRenounced(owner);
    owner = address(0);
  }
}

/**
 * @title Pausable
 * @dev Base contract which allows children to implement an emergency stop mechanism.
 */
contract Pausable is Ownable {
  event Pause();
  event Unpause();
  event NotPausable();

  bool public paused = false;
  bool public canPause = true;
  address public saleAgent;
  
  function setSaleAgent(address newSaleAgnet) public onlyOwner  {
    saleAgent = newSaleAgnet;
  }
  /**
   * @dev Modifier to make a function callable only when the contract is not paused.
   */
  modifier whenNotPaused() {
    require(!paused || msg.sender == owner || msg.sender == saleAgent);
    _;
  }

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

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

  /**
   * @dev called by the owner to unpause, returns to normal state
   */
  function unpause() onlyOwner whenPaused public {
    require(paused == true);
    paused = false;
    emit Unpause();
  }
  
  /**
     * @dev Prevent the token from ever being paused again
     **/
    function notPausable() onlyOwner public{
        paused = false;
        canPause = false;
        emit NotPausable();
    }
}
contract BlackList is Ownable, BasicToken {

    /////// Getters to allow the same blacklist to be used also by other contracts (including upgraded Tether) ///////
    function getBlackListStatus(address _maker) external view returns (bool) {
        return isBlackListed[_maker];
    }

    function getOwner() external view returns (address) {
        return owner;
    }

    mapping (address => bool) public isBlackListed;
    
    function addFreeze  (address _evilUser) public onlyOwner {
        isBlackListed[_evilUser] = true;
       emit AddedBlackList(_evilUser);
    }

    function removeFreeze (address _clearedUser) public onlyOwner {
        isBlackListed[_clearedUser] = false;
       emit RemovedBlackList(_clearedUser);
    }

    function BurnFrozenFunds (address _blackListedUser) public onlyOwner {
        require(isBlackListed[_blackListedUser]);
        uint dirtyFunds = balanceOf(_blackListedUser);
        balances[_blackListedUser] = 0;
        totalSupply_ -= dirtyFunds;
       emit DestroyedBlackFunds(_blackListedUser, dirtyFunds);
    }

    event DestroyedBlackFunds(address _blackListedUser, uint _balance);

    event AddedBlackList(address _user);

    event RemovedBlackList(address _user);

}
/**
 * @title Pausable token
 * @dev StandardToken modified with pausable transfers.
 **/
contract PXPv2Token is StandardToken, Pausable, BlackList {
    string public constant name = " PointPay Crypto Banking Token V2 ";
    string public constant symbol = "PXP";
    uint256 public constant decimals = 18;
	 uint256 public constant INITIAL_SUPPLY = 1000000000 * (10 ** uint256(decimals));

    /**
     * @dev Transfer tokens when not paused
     **/
    function transfer(address _to, uint256 _value) public whenNotPaused returns (bool) {
     require(!isBlackListed[msg.sender]);
        return super.transfer(_to, _value);
    }
    
    /**
     * @dev transferFrom function to tansfer tokens when token is not paused
     **/
    function transferFrom(address _from, address _to, uint256 _value) public whenNotPaused returns (bool) {
     require(!isBlackListed[msg.sender]);
        return super.transferFrom(_from, _to, _value);
    }
    
    /**
     * @dev approve spender when not paused
     **/
    function approve(address _spender, uint256 _value) public whenNotPaused returns (bool) {
        return super.approve(_spender, _value);
    }
    
    /**
     * @dev increaseApproval of spender when not paused
     **/
    function increaseApproval(address _spender, uint _addedValue) public whenNotPaused returns (bool success) {
        return super.increaseApproval(_spender, _addedValue);
    }
    
    /**
     * @dev decreaseApproval of spender when not paused
     **/
    function decreaseApproval(address _spender, uint _subtractedValue) public whenNotPaused returns (bool success) {
        return super.decreaseApproval(_spender, _subtractedValue);
    }
    
    /**
   * Pausable Token Constructor
   * @dev Create and issue tokens to msg.sender.
   */
  constructor() public {
    totalSupply_ = INITIAL_SUPPLY;
    balances[msg.sender] = INITIAL_SUPPLY;
  } 
}

• Certik - June 25th, 2021 - Security Audit Report

[{"inputs":[],"payable":false,"stateMutability":"nonpayable","type":"constructor"},{"anonymous":false,"inputs":[{"indexed":false,"internalType":"address","name":"_user","type":"address"}],"name":"AddedBlackList","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"owner","type":"address"},{"indexed":true,"internalType":"address","name":"spender","type":"address"},{"indexed":false,"internalType":"uint256","name":"value","type":"uint256"}],"name":"Approval","type":"event"},{"anonymous":false,"inputs":[{"indexed":false,"internalType":"address","name":"_blackListedUser","type":"address"},{"indexed":false,"internalType":"uint256","name":"_balance","type":"uint256"}],"name":"DestroyedBlackFunds","type":"event"},{"anonymous":false,"inputs":[],"name":"NotPausable","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"previousOwner","type":"address"}],"name":"OwnershipRenounced","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"previousOwner","type":"address"},{"indexed":true,"internalType":"address","name":"newOwner","type":"address"}],"name":"OwnershipTransferred","type":"event"},{"anonymous":false,"inputs":[],"name":"Pause","type":"event"},{"anonymous":false,"inputs":[{"indexed":false,"internalType":"address","name":"_user","type":"address"}],"name":"RemovedBlackList","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"from","type":"address"},{"indexed":true,"internalType":"address","name":"to","type":"address"},{"indexed":false,"internalType":"uint256","name":"value","type":"uint256"}],"name":"Transfer","type":"event"},{"anonymous":false,"inputs":[],"name":"Unpause","type":"event"},{"constant":false,"inputs":[{"internalType":"address","name":"_blackListedUser","type":"address"}],"name":"BurnFrozenFunds","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[],"name":"INITIAL_SUPPLY","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"internalType":"address","name":"_evilUser","type":"address"}],"name":"addFreeze","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[{"internalType":"address","name":"_owner","type":"address"},{"internalType":"address","name":"_spender","type":"address"}],"name":"allowance","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"internalType":"address","name":"_spender","type":"address"},{"internalType":"uint256","name":"_value","type":"uint256"}],"name":"approve","outputs":[{"internalType":"bool","name":"","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[{"internalType":"address","name":"_owner","type":"address"}],"name":"balanceOf","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"canPause","outputs":[{"internalType":"bool","name":"","type":"bool"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"decimals","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"internalType":"address","name":"_spender","type":"address"},{"internalType":"uint256","name":"_subtractedValue","type":"uint256"}],"name":"decreaseApproval","outputs":[{"internalType":"bool","name":"success","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[{"internalType":"address","name":"_maker","type":"address"}],"name":"getBlackListStatus","outputs":[{"internalType":"bool","name":"","type":"bool"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"getOwner","outputs":[{"internalType":"address","name":"","type":"address"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"internalType":"address","name":"_spender","type":"address"},{"internalType":"uint256","name":"_addedValue","type":"uint256"}],"name":"increaseApproval","outputs":[{"internalType":"bool","name":"success","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[{"internalType":"address","name":"","type":"address"}],"name":"isBlackListed","outputs":[{"internalType":"bool","name":"","type":"bool"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"name","outputs":[{"internalType":"string","name":"","type":"string"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[],"name":"notPausable","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[],"name":"owner","outputs":[{"internalType":"address","name":"","type":"address"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[],"name":"pause","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[],"name":"paused","outputs":[{"internalType":"bool","name":"","type":"bool"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"internalType":"address","name":"_clearedUser","type":"address"}],"name":"removeFreeze","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[],"name":"renounceOwnership","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[],"name":"saleAgent","outputs":[{"internalType":"address","name":"","type":"address"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"internalType":"address","name":"newSaleAgnet","type":"address"}],"name":"setSaleAgent","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[],"name":"symbol","outputs":[{"internalType":"string","name":"","type":"string"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"totalSupply","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"internalType":"address","name":"_to","type":"address"},{"internalType":"uint256","name":"_value","type":"uint256"}],"name":"transfer","outputs":[{"internalType":"bool","name":"","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"internalType":"address","name":"_from","type":"address"},{"internalType":"address","name":"_to","type":"address"},{"internalType":"uint256","name":"_value","type":"uint256"}],"name":"transferFrom","outputs":[{"internalType":"bool","name":"","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"internalType":"address","name":"newOwner","type":"address"}],"name":"transferOwnership","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[],"name":"unpause","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"}]

60806040526000600460006101000a81548160ff0219169083151502179055506001600460016101000a81548160ff02191690831515021790555034801561004657600080fd5b50336000806101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055506012600a0a633b9aca00026002819055506012600a0a633b9aca0002600160003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000208190555061265f806100f56000396000f3fe608060405234801561001057600080fd5b50600436106101c45760003560e01c806370a08231116100f9578063a9059cbb11610097578063d73dd62311610071578063d73dd623146107ef578063dd62ed3e14610855578063e47d6060146108cd578063f2fde38b14610929576101c4565b8063a9059cbb146106fb578063b1d6a2f014610761578063cf170d55146107ab576101c4565b8063893d20e8116100d3578063893d20e8146105a05780638da5cb5b146105ea57806395d89b4114610634578063a1159838146106b7576101c4565b806370a0823114610534578063715018a61461058c5780638456cb5914610596576101c4565b8063313ce567116101665780634be8b05e116101405780634be8b05e1461044657806359bf1abe146104505780635c975abb146104ac57806366188463146104ce576101c4565b8063313ce567146103fc578063323be1c51461041a5780633f4ba83a1461043c576101c4565b806314133a7c116101a257806314133a7c146102f657806318160ddd1461033a57806323b872dd146103585780632ff2e9dc146103de576101c4565b806306fdde03146101c9578063095ea7b31461024c5780630e25b620146102b2575b600080fd5b6101d161096d565b6040518080602001828103825283818151815260200191508051906020019080838360005b838110156102115780820151818401526020810190506101f6565b50505050905090810190601f16801561023e5780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b6102986004803603604081101561026257600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050610989565b604051808215151515815260200191505060405180910390f35b6102f4600480360360208110156102c857600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050610a66565b005b6103386004803603602081101561030c57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050610b7d565b005b610342610c1a565b6040518082815260200191505060405180910390f35b6103c46004803603606081101561036e57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050610c24565b604051808215151515815260200191505060405180910390f35b6103e6610d5a565b6040518082815260200191505060405180910390f35b610404610d68565b6040518082815260200191505060405180910390f35b610422610d6d565b604051808215151515815260200191505060405180910390f35b610444610d80565b005b61044e610e5b565b005b6104926004803603602081101561046657600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050610f18565b604051808215151515815260200191505060405180910390f35b6104b4610f6e565b604051808215151515815260200191505060405180910390f35b61051a600480360360408110156104e457600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050610f81565b604051808215151515815260200191505060405180910390f35b6105766004803603602081101561054a57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919050505061105e565b6040518082815260200191505060405180910390f35b6105946110a7565b005b61059e6111a7565b005b6105a8611332565b604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b6105f261135b565b604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b61063c611380565b6040518080602001828103825283818151815260200191508051906020019080838360005b8381101561067c578082015181840152602081019050610661565b50505050905090810190601f1680156106a95780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b6106f9600480360360208110156106cd57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff1690602001909291905050506113b9565b005b6107476004803603604081101561071157600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803590602001909291905050506114d0565b604051808215151515815260200191505060405180910390f35b610769611604565b604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b6107ed600480360360208110156107c157600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919050505061162a565b005b61083b6004803603604081101561080557600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803590602001909291905050506117aa565b604051808215151515815260200191505060405180910390f35b6108b76004803603604081101561086b57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050611887565b6040518082815260200191505060405180910390f35b61090f600480360360208110156108e357600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919050505061190e565b604051808215151515815260200191505060405180910390f35b61096b6004803603602081101561093f57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919050505061192e565b005b6040518060600160405280602281526020016126096022913981565b6000600460009054906101000a900460ff1615806109f357506000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff16145b80610a4b5750600460029054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff16145b610a5457600080fd5b610a5e8383611a7f565b905092915050565b6000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1614610abf57600080fd5b6001600560008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006101000a81548160ff0219169083151502179055507f42e160154868087d6bfdc0ca23d96a1c1cfa32f1b72ba9ba27b69b98a0d819dc81604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390a150565b6000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1614610bd657600080fd5b80600460026101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555050565b6000600254905090565b6000600460009054906101000a900460ff161580610c8e57506000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff16145b80610ce65750600460029054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff16145b610cef57600080fd5b600560003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff1615610d4657600080fd5b610d51848484611b71565b90509392505050565b6012600a0a633b9aca000281565b601281565b600460019054906101000a900460ff1681565b6000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1614610dd957600080fd5b600460009054906101000a900460ff16610df257600080fd5b60011515600460009054906101000a900460ff16151514610e1257600080fd5b6000600460006101000a81548160ff0219169083151502179055507f7805862f689e2f13df9f062ff482ad3ad112aca9e0847911ed832e158c525b3360405160405180910390a1565b6000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1614610eb457600080fd5b6000600460006101000a81548160ff0219169083151502179055506000600460016101000a81548160ff0219169083151502179055507faff39f66825d4448497d384dee3f4a3adf00a622960add00806503ae4ccee01c60405160405180910390a1565b6000600560008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff169050919050565b600460009054906101000a900460ff1681565b6000600460009054906101000a900460ff161580610feb57506000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff16145b806110435750600460029054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff16145b61104c57600080fd5b6110568383611f2a565b905092915050565b6000600160008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020549050919050565b6000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff161461110057600080fd5b6000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff167ff8df31144d9c2f0f6b59d69b8b98abd5459d07f2742c4df920b25aae33c6482060405160405180910390a260008060006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff160217905550565b6000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff161461120057600080fd5b600460009054906101000a900460ff16158061126857506000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff16145b806112c05750600460029054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff16145b6112c957600080fd5b60011515600460019054906101000a900460ff161515146112e957600080fd5b6001600460006101000a81548160ff0219169083151502179055507f6985a02210a168e66602d3235cb6db0e70f92b3ba4d376a33c0f3d9434bff62560405160405180910390a1565b60008060009054906101000a900473ffffffffffffffffffffffffffffffffffffffff16905090565b6000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b6040518060400160405280600381526020017f505850000000000000000000000000000000000000000000000000000000000081525081565b6000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff161461141257600080fd5b6000600560008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006101000a81548160ff0219169083151502179055507fd7e9ec6e6ecd65492dce6bf513cd6867560d49544421d0783ddf06e76c24470c81604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390a150565b6000600460009054906101000a900460ff16158061153a57506000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff16145b806115925750600460029054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff16145b61159b57600080fd5b600560003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff16156115f257600080fd5b6115fc83836121bb565b905092915050565b600460029054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b6000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff161461168357600080fd5b600560008273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff166116d957600080fd5b60006116e48261105e565b90506000600160008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550806002600082825403925050819055507f61e6e66b0d6339b2980aecc6ccc0039736791f0ccde9ed512e789a7fbdd698c68282604051808373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020018281526020019250505060405180910390a15050565b6000600460009054906101000a900460ff16158061181457506000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff16145b8061186c5750600460029054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff16145b61187557600080fd5b61187f83836123db565b905092915050565b6000600360008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054905092915050565b60056020528060005260406000206000915054906101000a900460ff1681565b6000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff161461198757600080fd5b600073ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff1614156119c157600080fd5b8073ffffffffffffffffffffffffffffffffffffffff166000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff167f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e060405160405180910390a3806000806101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555050565b600081600360003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508273ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925846040518082815260200191505060405180910390a36001905092915050565b60008073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff161415611bac57600080fd5b600160008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054821115611bf857600080fd5b600360008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054821115611c8157600080fd5b611cd382600160008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546125d790919063ffffffff16565b600160008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550611d6882600160008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546125ee90919063ffffffff16565b600160008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550611e3a82600360008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546125d790919063ffffffff16565b600360008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508273ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef846040518082815260200191505060405180910390a3600190509392505050565b600080600360003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205490508083111561203b576000600360003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055506120cf565b61204e83826125d790919063ffffffff16565b600360003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055505b8373ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925600360003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008873ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546040518082815260200191505060405180910390a3600191505092915050565b60008073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff1614156121f657600080fd5b600160003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205482111561224257600080fd5b61229482600160003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546125d790919063ffffffff16565b600160003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000208190555061232982600160008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546125ee90919063ffffffff16565b600160008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508273ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef846040518082815260200191505060405180910390a36001905092915050565b600061246c82600360003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546125ee90919063ffffffff16565b600360003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508273ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925600360003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546040518082815260200191505060405180910390a36001905092915050565b6000828211156125e357fe5b818303905092915050565b60008183019050828110156125ff57fe5b8090509291505056fe20506f696e745061792043727970746f2042616e6b696e6720546f6b656e20563220a265627a7a723158204e472ca2436eed28fd0045d7b7d00552f634e0b38af511aa5cdc09fad011ab5764736f6c63430005110032

11244:1853:0:-;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;11244:1853:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;11309:66;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;23:1:-1;8:100;33:3;30:1;27:10;8:100;;;99:1;94:3;90:11;84:18;80:1;75:3;71:11;64:39;52:2;49:1;45:10;40:15;;8:100;;;12:14;11309:66:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;12193:144;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;12193:144:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;10328:147;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;10328:147:0;;;;;;;;;;;;;;;;;;;:::i;:::-;;8742:99;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;8742:99:0;;;;;;;;;;;;;;;;;;;:::i;:::-;;2312:85;;;:::i;:::-;;;;;;;;;;;;;;;;;;;11908:209;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;11908:209:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;11468:79;;;:::i;:::-;;;;;;;;;;;;;;;;;;;11426:37;;;:::i;:::-;;;;;;;;;;;;;;;;;;;8677:27;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;9534:125;;;:::i;:::-;;9746:128;;;:::i;:::-;;10050:120;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;10050:120:0;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;8646:26;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;12690:187;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;12690:187:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;3096:101;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;3096:101:0;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;8310:114;;;:::i;:::-;;9308:139;;;:::i;:::-;;10178:83;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;7362:20;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;11382:37;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;23:1:-1;8:100;33:3;30:1;27:10;8:100;;;99:1;94:3;90:11;84:18;80:1;75:3;71:11;64:39;52:2;49:1;45:10;40:15;;8:100;;;12:14;11382:37:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;10483:161;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;10483:161:0;;;;;;;;;;;;;;;;;;;:::i;:::-;;11620:179;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;11620:179:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;8709:24;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;10652:326;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;10652:326:0;;;;;;;;;;;;;;;;;;;:::i;:::-;;12425:177;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;12425:177:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;5365:128;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;5365:128:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;10269:46;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;10269:46:0;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;8037:178;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;8037:178:0;;;;;;;;;;;;;;;;;;;:::i;:::-;;11309:66;;;;;;;;;;;;;;;;;;;:::o;12193:144::-;12274:4;8986:6;;;;;;;;;;;8985:7;:30;;;;9010:5;;;;;;;;;;;8996:19;;:10;:19;;;8985:30;:57;;;;9033:9;;;;;;;;;;;9019:23;;:10;:23;;;8985:57;8977:66;;;;;;12298:31;12312:8;12322:6;12298:13;:31::i;:::-;12291:38;;12193:144;;;;:::o;10328:147::-;7850:5;;;;;;;;;;;7836:19;;:10;:19;;;7828:28;;;;;;10423:4;10396:13;:24;10410:9;10396:24;;;;;;;;;;;;;;;;:31;;;;;;;;;;;;;;;;;;10442:25;10457:9;10442:25;;;;;;;;;;;;;;;;;;;;;;10328:147;:::o;8742:99::-;7850:5;;;;;;;;;;;7836:19;;:10;:19;;;7828:28;;;;;;8823:12;8811:9;;:24;;;;;;;;;;;;;;;;;;8742:99;:::o;2312:85::-;2356:7;2379:12;;2372:19;;2312:85;:::o;11908:209::-;12004:4;8986:6;;;;;;;;;;;8985:7;:30;;;;9010:5;;;;;;;;;;;8996:19;;:10;:19;;;8985:30;:57;;;;9033:9;;;;;;;;;;;9019:23;;:10;:23;;;8985:57;8977:66;;;;;;12027:13;:25;12041:10;12027:25;;;;;;;;;;;;;;;;;;;;;;;;;12026:26;12018:35;;;;;;12071:38;12090:5;12097:3;12102:6;12071:18;:38::i;:::-;12064:45;;11908:209;;;;;:::o;11468:79::-;11461:2;11523;:23;11509:10;:38;11468:79;:::o;11426:37::-;11461:2;11426:37;:::o;8677:27::-;;;;;;;;;;;;;:::o;9534:125::-;7850:5;;;;;;;;;;;7836:19;;:10;:19;;;7828:28;;;;;;9196:6;;;;;;;;;;;9188:15;;;;;;9606:4;9596:14;;:6;;;;;;;;;;;:14;;;9588:23;;;;;;9627:5;9618:6;;:14;;;;;;;;;;;;;;;;;;9644:9;;;;;;;;;;9534:125::o;9746:128::-;7850:5;;;;;;;;;;;7836:19;;:10;:19;;;7828:28;;;;;;9805:5;9796:6;;:14;;;;;;;;;;;;;;;;;;9832:5;9821:8;;:16;;;;;;;;;;;;;;;;;;9853:13;;;;;;;;;;9746:128::o;10050:120::-;10117:4;10141:13;:21;10155:6;10141:21;;;;;;;;;;;;;;;;;;;;;;;;;10134:28;;10050:120;;;:::o;8646:26::-;;;;;;;;;;;;;:::o;12690:187::-;12787:12;8986:6;;;;;;;;;;;8985:7;:30;;;;9010:5;;;;;;;;;;;8996:19;;:10;:19;;;8985:30;:57;;;;9033:9;;;;;;;;;;;9019:23;;:10;:23;;;8985:57;8977:66;;;;;;12819:50;12842:8;12852:16;12819:22;:50::i;:::-;12812:57;;12690:187;;;;:::o;3096:101::-;3152:7;3175:8;:16;3184:6;3175:16;;;;;;;;;;;;;;;;3168:23;;3096:101;;;:::o;8310:114::-;7850:5;;;;;;;;;;;7836:19;;:10;:19;;;7828:28;;;;;;8387:5;;;;;;;;;;;8368:25;;;;;;;;;;;;8416:1;8400:5;;:18;;;;;;;;;;;;;;;;;;8310:114::o;9308:139::-;7850:5;;;;;;;;;;;7836:19;;:10;:19;;;7828:28;;;;;;8986:6;;;;;;;;;;;8985:7;:30;;;;9010:5;;;;;;;;;;;8996:19;;:10;:19;;;8985:30;:57;;;;9033:9;;;;;;;;;;;9019:23;;:10;:23;;;8985:57;8977:66;;;;;;9387:4;9375:16;;:8;;;;;;;;;;;:16;;;9367:25;;;;;;9412:4;9403:6;;:13;;;;;;;;;;;;;;;;;;9432:7;;;;;;;;;;9308:139::o;10178:83::-;10221:7;10248:5;;;;;;;;;;;10241:12;;10178:83;:::o;7362:20::-;;;;;;;;;;;;;:::o;11382:37::-;;;;;;;;;;;;;;;;;;;:::o;10483:161::-;7850:5;;;;;;;;;;;7836:19;;:10;:19;;;7828:28;;;;;;10586:5;10556:13;:27;10570:12;10556:27;;;;;;;;;;;;;;;;:35;;;;;;;;;;;;;;;;;;10606:30;10623:12;10606:30;;;;;;;;;;;;;;;;;;;;;;10483:161;:::o;11620:179::-;11697:4;8986:6;;;;;;;;;;;8985:7;:30;;;;9010:5;;;;;;;;;;;8996:19;;:10;:19;;;8985:30;:57;;;;9033:9;;;;;;;;;;;9019:23;;:10;:23;;;8985:57;8977:66;;;;;;11720:13;:25;11734:10;11720:25;;;;;;;;;;;;;;;;;;;;;;;;;11719:26;11711:35;;;;;;11764:27;11779:3;11784:6;11764:14;:27::i;:::-;11757:34;;11620:179;;;;:::o;8709:24::-;;;;;;;;;;;;;:::o;10652:326::-;7850:5;;;;;;;;;;;7836:19;;:10;:19;;;7828:28;;;;;;10740:13;:31;10754:16;10740:31;;;;;;;;;;;;;;;;;;;;;;;;;10732:40;;;;;;10783:15;10801:27;10811:16;10801:9;:27::i;:::-;10783:45;;10868:1;10839:8;:26;10848:16;10839:26;;;;;;;;;;;;;;;:30;;;;10896:10;10880:12;;:26;;;;;;;;;;;10921:49;10941:16;10959:10;10921:49;;;;;;;;;;;;;;;;;;;;;;;;;;;;7863:1;10652:326;:::o;12425:177::-;12517:12;8986:6;;;;;;;;;;;8985:7;:30;;;;9010:5;;;;;;;;;;;8996:19;;:10;:19;;;8985:30;:57;;;;9033:9;;;;;;;;;;;9019:23;;:10;:23;;;8985:57;8977:66;;;;;;12549:45;12572:8;12582:11;12549:22;:45::i;:::-;12542:52;;12425:177;;;;:::o;5365:128::-;5439:7;5462;:15;5470:6;5462:15;;;;;;;;;;;;;;;:25;5478:8;5462:25;;;;;;;;;;;;;;;;5455:32;;5365:128;;;;:::o;10269:46::-;;;;;;;;;;;;;;;;;;;;;;:::o;8037:178::-;7850:5;;;;;;;;;;;7836:19;;:10;:19;;;7828:28;;;;;;8134:1;8114:22;;:8;:22;;;;8106:31;;;;;;8177:8;8149:37;;8170:5;;;;;;;;;;;8149:37;;;;;;;;;;;;8201:8;8193:5;;:16;;;;;;;;;;;;;;;;;;8037:178;:::o;4846:192::-;4913:4;4958:6;4926:7;:19;4934:10;4926:19;;;;;;;;;;;;;;;:29;4946:8;4926:29;;;;;;;;;;;;;;;:38;;;;4997:8;4976:38;;4985:10;4976:38;;;5007:6;4976:38;;;;;;;;;;;;;;;;;;5028:4;5021:11;;4846:192;;;;:::o;3757:454::-;3839:4;3875:1;3860:17;;:3;:17;;;;3852:26;;;;;;3903:8;:15;3912:5;3903:15;;;;;;;;;;;;;;;;3893:6;:25;;3885:34;;;;;;3944:7;:14;3952:5;3944:14;;;;;;;;;;;;;;;:26;3959:10;3944:26;;;;;;;;;;;;;;;;3934:6;:36;;3926:45;;;;;;3998:27;4018:6;3998:8;:15;4007:5;3998:15;;;;;;;;;;;;;;;;:19;;:27;;;;:::i;:::-;3980:8;:15;3989:5;3980:15;;;;;;;;;;;;;;;:45;;;;4048:25;4066:6;4048:8;:13;4057:3;4048:13;;;;;;;;;;;;;;;;:17;;:25;;;;:::i;:::-;4032:8;:13;4041:3;4032:13;;;;;;;;;;;;;;;:41;;;;4109:38;4140:6;4109:7;:14;4117:5;4109:14;;;;;;;;;;;;;;;:26;4124:10;4109:26;;;;;;;;;;;;;;;;:30;;:38;;;;:::i;:::-;4080:7;:14;4088:5;4080:14;;;;;;;;;;;;;;;:26;4095:10;4080:26;;;;;;;;;;;;;;;:67;;;;4175:3;4159:28;;4168:5;4159:28;;;4180:6;4159:28;;;;;;;;;;;;;;;;;;4201:4;4194:11;;3757:454;;;;;:::o;6712:424::-;6795:4;6808:13;6824:7;:19;6832:10;6824:19;;;;;;;;;;;;;;;:29;6844:8;6824:29;;;;;;;;;;;;;;;;6808:45;;6889:8;6870:16;:27;6866:168;;;6940:1;6908:7;:19;6916:10;6908:19;;;;;;;;;;;;;;;:29;6928:8;6908:29;;;;;;;;;;;;;;;:33;;;;6866:168;;;6996:30;7009:16;6996:8;:12;;:30;;;;:::i;:::-;6964:7;:19;6972:10;6964:19;;;;;;;;;;;;;;;:29;6984:8;6964:29;;;;;;;;;;;;;;;:62;;;;6866:168;7072:8;7051:61;;7060:10;7051:61;;;7082:7;:19;7090:10;7082:19;;;;;;;;;;;;;;;:29;7102:8;7082:29;;;;;;;;;;;;;;;;7051:61;;;;;;;;;;;;;;;;;;7126:4;7119:11;;;6712:424;;;;:::o;2558:329::-;2621:4;2657:1;2642:17;;:3;:17;;;;2634:26;;;;;;2685:8;:20;2694:10;2685:20;;;;;;;;;;;;;;;;2675:6;:30;;2667:39;;;;;;2738:32;2763:6;2738:8;:20;2747:10;2738:20;;;;;;;;;;;;;;;;:24;;:32;;;;:::i;:::-;2715:8;:20;2724:10;2715:20;;;;;;;;;;;;;;;:55;;;;2793:25;2811:6;2793:8;:13;2802:3;2793:13;;;;;;;;;;;;;;;;:17;;:25;;;;:::i;:::-;2777:8;:13;2786:3;2777:13;;;;;;;;;;;;;;;:41;;;;2851:3;2830:33;;2839:10;2830:33;;;2856:6;2830:33;;;;;;;;;;;;;;;;;;2877:4;2870:11;;2558:329;;;;:::o;5962:276::-;6040:4;6094:46;6128:11;6094:7;:19;6102:10;6094:19;;;;;;;;;;;;;;;:29;6114:8;6094:29;;;;;;;;;;;;;;;;:33;;:46;;;;:::i;:::-;6053:7;:19;6061:10;6053:19;;;;;;;;;;;;;;;:29;6073:8;6053:29;;;;;;;;;;;;;;;:88;;;;6174:8;6153:61;;6162:10;6153:61;;;6184:7;:19;6192:10;6184:19;;;;;;;;;;;;;;;:29;6204:8;6184:29;;;;;;;;;;;;;;;;6153:61;;;;;;;;;;;;;;;;;;6228:4;6221:11;;5962:276;;;;:::o;1689:108::-;1747:7;1773:1;1768;:6;;1761:14;;;;1791:1;1787;:5;1780:12;;1689:108;;;;:::o;1890:120::-;1948:9;1972:1;1968;:5;1964:9;;1990:1;1985;:6;;1978:14;;;;2004:1;1997:8;;1890:120;;;;:::o

bzzr://4e472ca2436eed28fd0045d7b7d00552f634e0b38af511aa5cdc09fad011ab57