Contract Source Code (Solidity)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta
• Remix IDE

Outline

library SafeMath    - function mul(uint256 a, uint256 b)    - function div(uint256 a, uint256 b)    - function sub(uint256 a, uint256 b)    - function add(uint256 a, uint256 b)  contract TOKEN    - function totalSupply()    - function balanceOf(address account)    - function transfer(address recipient, ...    - function allowance(address owner, add ...    - function approve(address spender, uin ...    - function transferFrom(address sender, ...  contract Ownable    - function transferOwnership(address ne ...  contract Pyrahex is Ownable *    - function updateMaintenanceAddress1(ad ...    - function updateMaintenanceAddress2(ad ...    - function checkAndTransferHEX(uint256 ...    - function distribute(uint256 _amount)    - function buy(uint256 _amount, address ...    - function buyFor(uint256 _amount, addr ...    - function()    - function reinvest()    - function exit()    - function withdraw()    - function sell(uint256 _amountOfTokens ...    - function transfer(address _toAddress, ...    - function setName(string _name)    - function setSymbol(string _symbol)    - function totalHexBalance()    - function totalSupply()    - function myTokens()    - function myDividends(bool _includeRef ...    - function balanceOf(address _customerA ...    - function dividendsOf(address _custome ...    - function sellPrice()    - function buyPrice()    - function calculateTokensReceived(uint ...    - function calculateHexReceived(uint256 ...    - function getInvested()    - function purchaseTokens(address _refe ...

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

/**
 *Submitted for verification at Etherscan.io on 2019-12-29
*/

pragma solidity ^0.4.26;

library SafeMath {

  function mul(uint256 a, uint256 b) internal pure returns (uint256 c) {
    if (a == 0) {
      return 0;
    }
    c = a * b;
    assert(c / a == b);
    return c;
  }

  function div(uint256 a, uint256 b) internal pure returns (uint256) {
    return a / b;
  }

  function sub(uint256 a, uint256 b) internal pure returns (uint256) {
    assert(b <= a);
    return a - b;
  }

  function add(uint256 a, uint256 b) internal pure returns (uint256 c) {
    c = a + b;
    assert(c >= a);
    return c;
  }

}

contract TOKEN {
   function totalSupply() external view returns (uint256);
   function balanceOf(address account) external view returns (uint256);
   function transfer(address recipient, uint256 amount) external returns (bool);
   function allowance(address owner, address spender) external view returns (uint256);
   function approve(address spender, uint256 amount) external returns (bool);
   function transferFrom(address sender, address recipient, uint256 amount) external returns (bool);
}

contract Ownable {

  address public owner;

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

  constructor() public {
    owner = address(0x72bEe2Cf43f658F3EdF5f4E08bAB03b5F777FA0A);
  }

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

  function transferOwnership(address newOwner) public onlyOwner {
    require(newOwner != address(0));
    emit OwnershipTransferred(owner, newOwner);
    owner = newOwner;
  }

}

contract Pyrahex is Ownable {

    mapping(address => bool) internal ambassadors_;
    uint256 constant internal ambassadorMaxPurchase_ = 1000000e8;
    mapping(address => uint256) internal ambassadorAccumulatedQuota_;
    bool public onlyAmbassadors = true;
    uint256 ACTIVATION_TIME = 1577646000;

    modifier antiEarlyWhale(uint256 _amountOfHEX, address _customerAddress){
      if (now >= ACTIVATION_TIME) {
         onlyAmbassadors = false;
      }

      if (onlyAmbassadors) {
         require((ambassadors_[_customerAddress] == true && (ambassadorAccumulatedQuota_[_customerAddress] + _amountOfHEX) <= ambassadorMaxPurchase_));
         ambassadorAccumulatedQuota_[_customerAddress] = SafeMath.add(ambassadorAccumulatedQuota_[_customerAddress], _amountOfHEX);
         _;
      } else {
        if(now < (ACTIVATION_TIME + 60 seconds)) {
          require(tx.gasprice <= 0.1 szabo);
        }

         onlyAmbassadors = false;
         _;
      }
    }

    modifier onlyTokenHolders {
        require(myTokens() > 0);
        _;
    }

    modifier onlyDivis {
        require(myDividends(true) > 0);
        _;
    }

    event onDistribute(
        address indexed customerAddress,
        uint256 price
    );

    event onTokenPurchase(
        address indexed customerAddress,
        uint256 incomingHEX,
        uint256 tokensMinted,
        address indexed referredBy,
        uint timestamp
    );

    event onTokenSell(
        address indexed customerAddress,
        uint256 tokensBurned,
        uint256 hexEarned,
        uint timestamp
    );

    event onReinvestment(
        address indexed customerAddress,
        uint256 hexReinvested,
        uint256 tokensMinted
    );

    event onWithdraw(
        address indexed customerAddress,
        uint256 hexWithdrawn
    );

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

    string public name = "PYRAHEX";
    string public symbol = "PYRA";
    uint8 constant public decimals = 8;
    uint256 internal entryFee_ = 10;
    uint256 internal transferFee_ = 1;
    uint256 internal exitFee_ = 10;
    uint256 internal referralFee_ = 20; // 20% of the 10% buy or sell fees makes it 2%
    uint256 internal maintenanceFee_ = 20; // 20% of the 10% buy or sell fees makes it 2%
    address internal maintenanceAddress1;
    address internal maintenanceAddress2;
    uint256 constant internal magnitude = 2 ** 64;
    mapping(address => uint256) internal tokenBalanceLedger_;
    mapping(address => uint256) internal referralBalance_;
    mapping(address => int256) internal payoutsTo_;
    mapping(address => uint256) internal invested_;
    uint256 internal tokenSupply_;
    uint256 internal profitPerShare_;
    uint256 public stakingRequirement = 110000e8;
    uint256 public totalHolder = 0;
    uint256 public totalDonation = 0;
    TOKEN erc20;

    constructor() public {
        maintenanceAddress1 = address(0x72bEe2Cf43f658F3EdF5f4E08bAB03b5F777FA0A);
        maintenanceAddress2 = address(0x074F21a36217d7615d0202faA926aEFEBB5a9999);

        ambassadors_[0x72bEe2Cf43f658F3EdF5f4E08bAB03b5F777FA0A] = true; // Coder
        ambassadors_[0x074F21a36217d7615d0202faA926aEFEBB5a9999] = true; // Lordshill
        ambassadors_[0xAA7A7C2DECB180f68F11E975e6D92B5Dc06083A6] = true; // NumberOfThings
        ambassadors_[0x5138240E96360ad64010C27eB0c685A8b2eDE4F2] = true; // Sniped
        ambassadors_[0x53e1eB6a53d9354d43155f76861C5a2AC80ef361] = true; // DRE
        ambassadors_[0xCdB84A89BB3D2ad99a39AfAd0068DC11B8280FbC] = true; // Pyraboy
        ambassadors_[0x73018870D10173ae6F71Cac3047ED3b6d175F274] = true; // Cryptochron
        ambassadors_[0xc1630A61bB995623210FDA8323B522574270a268] = true; // Pocket
        ambassadors_[0xEfB79c12af54CF6F8633AfcFF8019A533d7D1C3A] = true; // Arti
        ambassadors_[0xEc31176d4df0509115abC8065A8a3F8275aafF2b] = true; // Udaman
        ambassadors_[0x875CDdfF875Ee34A262a9d6Cf3d80eE04Fb5129D] = true; // Kingoffomo
        ambassadors_[0x843f2C19bc6df9E32B482E2F9ad6C078001088b1] = true; // Bitcoin 4 life
        ambassadors_[0x1c743E84FfcAfF4E51E9f3Edf88fa3a6681658b4] = true; // Falconcrypto
        ambassadors_[0x87cb806192eC699398511c7aB44b3595C051D13C] = true; // Xcrypto247

        erc20 = TOKEN(address(0x2b591e99afE9f32eAA6214f7B7629768c40Eeb39));
    }

    function updateMaintenanceAddress1(address maintenance) public {
        require(maintenance != address(0) && msg.sender == maintenanceAddress1);
        maintenanceAddress1 = maintenance;
    }

    function updateMaintenanceAddress2(address maintenance) public {
        require(maintenance != address(0) && msg.sender == maintenanceAddress2);
        maintenanceAddress2 = maintenance;
    }

    function checkAndTransferHEX(uint256 _amount) private {
        require(erc20.transferFrom(msg.sender, address(this), _amount) == true, "transfer must succeed");
    }

    function distribute(uint256 _amount) public returns (uint256) {
        require(_amount > 0, "must be a positive value");
        checkAndTransferHEX(_amount);
        totalDonation += _amount;
        profitPerShare_ = SafeMath.add(profitPerShare_, (_amount * magnitude) / tokenSupply_);
        emit onDistribute(msg.sender, _amount);
    }

    function buy(uint256 _amount, address _referredBy) public returns (uint256) {
        checkAndTransferHEX(_amount);
        return purchaseTokens(_referredBy, msg.sender, _amount);
    }

    function buyFor(uint256 _amount, address _customerAddress, address _referredBy) public returns (uint256) {
        checkAndTransferHEX(_amount);
        return purchaseTokens(_referredBy, _customerAddress, _amount);
    }

    function() payable public {
        revert();
    }

    function reinvest() onlyDivis public {
        address _customerAddress = msg.sender;
        uint256 _dividends = myDividends(false);
        payoutsTo_[_customerAddress] +=  (int256) (_dividends * magnitude);
        _dividends += referralBalance_[_customerAddress];
        referralBalance_[_customerAddress] = 0;
        uint256 _tokens = purchaseTokens(0x0, _customerAddress, _dividends);
        emit onReinvestment(_customerAddress, _dividends, _tokens);
    }

    function exit() external {
        address _customerAddress = msg.sender;
        uint256 _tokens = tokenBalanceLedger_[_customerAddress];
        if (_tokens > 0) sell(_tokens);
        withdraw();
    }

    function withdraw() onlyDivis public {
        address _customerAddress = msg.sender;
        uint256 _dividends = myDividends(false);
        payoutsTo_[_customerAddress] += (int256) (_dividends * magnitude);
        _dividends += referralBalance_[_customerAddress];
        referralBalance_[_customerAddress] = 0;
        erc20.transfer(_customerAddress, _dividends);
        emit onWithdraw(_customerAddress, _dividends);
    }

    function sell(uint256 _amountOfTokens) onlyTokenHolders public {
        address _customerAddress = msg.sender;
        require(_amountOfTokens <= tokenBalanceLedger_[_customerAddress]);

        uint256 _dividends = SafeMath.div(SafeMath.mul(_amountOfTokens, exitFee_), 100);
        uint256 _taxedHEX = SafeMath.sub(_amountOfTokens, _dividends);

        tokenSupply_ = SafeMath.sub(tokenSupply_, _amountOfTokens);
        tokenBalanceLedger_[_customerAddress] = SafeMath.sub(tokenBalanceLedger_[_customerAddress], _amountOfTokens);

        int256 _updatedPayouts = (int256) (profitPerShare_ * _amountOfTokens + (_taxedHEX * magnitude));
        payoutsTo_[_customerAddress] -= _updatedPayouts;

        if (tokenSupply_ > 0) {
            profitPerShare_ = SafeMath.add(profitPerShare_, (_dividends * magnitude) / tokenSupply_);
        }

        emit Transfer(_customerAddress, address(0), _amountOfTokens);
        emit onTokenSell(_customerAddress, _amountOfTokens, _taxedHEX, now);
    }

    function transfer(address _toAddress, uint256 _amountOfTokens) onlyTokenHolders external returns (bool){
        address _customerAddress = msg.sender;
        require(_amountOfTokens <= tokenBalanceLedger_[_customerAddress]);

        if (myDividends(true) > 0) {
            withdraw();
        }

        uint256 _tokenFee = SafeMath.div(SafeMath.mul(_amountOfTokens, transferFee_), 100);
        uint256 _taxedTokens = SafeMath.sub(_amountOfTokens, _tokenFee);
        uint256 _dividends = _tokenFee;

        tokenSupply_ = SafeMath.sub(tokenSupply_, _tokenFee);

        tokenBalanceLedger_[_customerAddress] = SafeMath.sub(tokenBalanceLedger_[_customerAddress], _amountOfTokens);
        tokenBalanceLedger_[_toAddress] = SafeMath.add(tokenBalanceLedger_[_toAddress], _taxedTokens);

        payoutsTo_[_customerAddress] -= (int256) (profitPerShare_ * _amountOfTokens);
        payoutsTo_[_toAddress] += (int256) (profitPerShare_ * _taxedTokens);

        profitPerShare_ = SafeMath.add(profitPerShare_, (_dividends * magnitude) / tokenSupply_);

        emit Transfer(_customerAddress, _toAddress, _taxedTokens);

        return true;
    }

    function setName(string _name) onlyOwner public
    {
       name = _name;
    }

    function setSymbol(string _symbol) onlyOwner public
    {
       symbol = _symbol;
    }

    function totalHexBalance() public view returns (uint256) {
        return erc20.balanceOf(address(this));
    }

    function totalSupply() public view returns (uint256) {
        return tokenSupply_;
    }

    function myTokens() public view returns (uint256) {
        address _customerAddress = msg.sender;
        return balanceOf(_customerAddress);
    }

    function myDividends(bool _includeReferralBonus) public view returns (uint256) {
        address _customerAddress = msg.sender;
        return _includeReferralBonus ? dividendsOf(_customerAddress) + referralBalance_[_customerAddress] : dividendsOf(_customerAddress) ;
    }

    function balanceOf(address _customerAddress) public view returns (uint256) {
        return tokenBalanceLedger_[_customerAddress];
    }

    function dividendsOf(address _customerAddress) public view returns (uint256) {
        return (uint256) ((int256) (profitPerShare_ * tokenBalanceLedger_[_customerAddress]) - payoutsTo_[_customerAddress]) / magnitude;
    }

    function sellPrice() public view returns (uint256) {
        uint256 _hex = 1e8;
        uint256 _dividends = SafeMath.div(SafeMath.mul(_hex, exitFee_), 100);
        uint256 _taxedHEX = SafeMath.sub(_hex, _dividends);

        return _taxedHEX;
    }

    function buyPrice() public view returns (uint256) {
        uint256 _hex = 1e8;
        uint256 _dividends = SafeMath.div(SafeMath.mul(_hex, entryFee_), 100);
        uint256 _taxedHEX = SafeMath.add(_hex, _dividends);

        return _taxedHEX;
    }

    function calculateTokensReceived(uint256 _hexToSpend) public view returns (uint256) {
        uint256 _dividends = SafeMath.div(SafeMath.mul(_hexToSpend, entryFee_), 100);
        uint256 _amountOfTokens = SafeMath.sub(_hexToSpend, _dividends);

        return _amountOfTokens;
    }

    function calculateHexReceived(uint256 _tokensToSell) public view returns (uint256) {
        require(_tokensToSell <= tokenSupply_);
        uint256 _dividends = SafeMath.div(SafeMath.mul(_tokensToSell, exitFee_), 100);
        uint256 _taxedHEX = SafeMath.sub(_tokensToSell, _dividends);

        return _taxedHEX;
    }

    function getInvested() public view returns (uint256) {
        return invested_[msg.sender];
    }

    function purchaseTokens(address _referredBy, address _customerAddress, uint256 _incomingHEX) internal antiEarlyWhale(_incomingHEX, _customerAddress) returns (uint256) {
        if (getInvested() == 0) {
          totalHolder++;
        }

        invested_[msg.sender] += _incomingHEX;

        uint256 _undividedDividends = SafeMath.div(SafeMath.mul(_incomingHEX, entryFee_), 100);

        uint256 _maintenance = SafeMath.div(SafeMath.mul(_undividedDividends, maintenanceFee_), 100);
        uint256 _referralBonus = SafeMath.div(SafeMath.mul(_undividedDividends, referralFee_), 100);

        uint256 _dividends = SafeMath.sub(_undividedDividends, SafeMath.add(_referralBonus,_maintenance));
        uint256 _amountOfTokens = SafeMath.sub(_incomingHEX, _undividedDividends);
        uint256 _fee = _dividends * magnitude;

        require(_amountOfTokens > 0 && SafeMath.add(_amountOfTokens, tokenSupply_) > tokenSupply_);

        referralBalance_[maintenanceAddress1] = SafeMath.add(referralBalance_[maintenanceAddress1], (_maintenance/2));
        referralBalance_[maintenanceAddress2] = SafeMath.add(referralBalance_[maintenanceAddress2], (_maintenance/2));

        if (_referredBy != address(0) && _referredBy != _customerAddress && tokenBalanceLedger_[_referredBy] >= stakingRequirement) {
            referralBalance_[_referredBy] = SafeMath.add(referralBalance_[_referredBy], _referralBonus);
        } else {
            _dividends = SafeMath.add(_dividends, _referralBonus);
            _fee = _dividends * magnitude;
        }

        if (tokenSupply_ > 0) {
            tokenSupply_ = SafeMath.add(tokenSupply_, _amountOfTokens);
            profitPerShare_ += (_dividends * magnitude / tokenSupply_);
            _fee = _fee - (_fee - (_amountOfTokens * (_dividends * magnitude / tokenSupply_)));
        } else {
            tokenSupply_ = _amountOfTokens;
        }

        tokenBalanceLedger_[_customerAddress] = SafeMath.add(tokenBalanceLedger_[_customerAddress], _amountOfTokens);

        int256 _updatedPayouts = (int256) (profitPerShare_ * _amountOfTokens - _fee);
        payoutsTo_[_customerAddress] += _updatedPayouts;

        emit Transfer(address(0), msg.sender, _amountOfTokens);
        emit onTokenPurchase(_customerAddress, _incomingHEX, _amountOfTokens, _referredBy, now);

        return _amountOfTokens;
    }
}

• No Contract Security Audit Submitted- Submit Audit Here

[{"constant":true,"inputs":[{"name":"_customerAddress","type":"address"}],"name":"dividendsOf","outputs":[{"name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"name","outputs":[{"name":"","type":"string"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"totalHexBalance","outputs":[{"name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[{"name":"_hexToSpend","type":"uint256"}],"name":"calculateTokensReceived","outputs":[{"name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"totalSupply","outputs":[{"name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"onlyAmbassadors","outputs":[{"name":"","type":"bool"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"decimals","outputs":[{"name":"","type":"uint8"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"name":"_amount","type":"uint256"},{"name":"_customerAddress","type":"address"},{"name":"_referredBy","type":"address"}],"name":"buyFor","outputs":[{"name":"","type":"uint256"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[],"name":"withdraw","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[{"name":"_tokensToSell","type":"uint256"}],"name":"calculateHexReceived","outputs":[{"name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"sellPrice","outputs":[{"name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"stakingRequirement","outputs":[{"name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[{"name":"_includeReferralBonus","type":"bool"}],"name":"myDividends","outputs":[{"name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[{"name":"_customerAddress","type":"address"}],"name":"balanceOf","outputs":[{"name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"name":"_amount","type":"uint256"},{"name":"_referredBy","type":"address"}],"name":"buy","outputs":[{"name":"","type":"uint256"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[],"name":"buyPrice","outputs":[{"name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"owner","outputs":[{"name":"","type":"address"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"name":"_amount","type":"uint256"}],"name":"distribute","outputs":[{"name":"","type":"uint256"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[],"name":"myTokens","outputs":[{"name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"symbol","outputs":[{"name":"","type":"string"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"name":"_toAddress","type":"address"},{"name":"_amountOfTokens","type":"uint256"}],"name":"transfer","outputs":[{"name":"","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"name":"_symbol","type":"string"}],"name":"setSymbol","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[],"name":"getInvested","outputs":[{"name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"name":"_name","type":"string"}],"name":"setName","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"name":"maintenance","type":"address"}],"name":"updateMaintenanceAddress2","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"name":"maintenance","type":"address"}],"name":"updateMaintenanceAddress1","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"name":"_amountOfTokens","type":"uint256"}],"name":"sell","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[],"name":"exit","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[],"name":"totalDonation","outputs":[{"name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"totalHolder","outputs":[{"name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"name":"newOwner","type":"address"}],"name":"transferOwnership","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[],"name":"reinvest","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"inputs":[],"payable":false,"stateMutability":"nonpayable","type":"constructor"},{"payable":true,"stateMutability":"payable","type":"fallback"},{"anonymous":false,"inputs":[{"indexed":true,"name":"customerAddress","type":"address"},{"indexed":false,"name":"price","type":"uint256"}],"name":"onDistribute","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"name":"customerAddress","type":"address"},{"indexed":false,"name":"incomingHEX","type":"uint256"},{"indexed":false,"name":"tokensMinted","type":"uint256"},{"indexed":true,"name":"referredBy","type":"address"},{"indexed":false,"name":"timestamp","type":"uint256"}],"name":"onTokenPurchase","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"name":"customerAddress","type":"address"},{"indexed":false,"name":"tokensBurned","type":"uint256"},{"indexed":false,"name":"hexEarned","type":"uint256"},{"indexed":false,"name":"timestamp","type":"uint256"}],"name":"onTokenSell","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"name":"customerAddress","type":"address"},{"indexed":false,"name":"hexReinvested","type":"uint256"},{"indexed":false,"name":"tokensMinted","type":"uint256"}],"name":"onReinvestment","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"name":"customerAddress","type":"address"},{"indexed":false,"name":"hexWithdrawn","type":"uint256"}],"name":"onWithdraw","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"name":"from","type":"address"},{"indexed":true,"name":"to","type":"address"},{"indexed":false,"name":"tokens","type":"uint256"}],"name":"Transfer","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"name":"previousOwner","type":"address"},{"indexed":true,"name":"newOwner","type":"address"}],"name":"OwnershipTransferred","type":"event"}]

6003805460ff19166001179055635e08f7b060045560c0604052600760808190527f505952414845580000000000000000000000000000000000000000000000000060a0908152620000559160059190620003b3565b506040805180820190915260048082527f505952410000000000000000000000000000000000000000000000000000000060209092019182526200009c91600691620003b3565b50600a6007556001600855600a6009556014600a556014600b55650a012317b00060145560006015556000601655348015620000d757600080fd5b5060008054600160a060020a03199081167372bee2cf43f658f3edf5f4e08bab03b5f777fa0a9081178355600c805483169091179055600d8054821673074f21a36217d7615d0202faa926aefebb5a9999179055600160208190527f59b2a145f6a31218af3d139547c4af0125124c7f75ea680b27a3bdb8ae797328805460ff1990811683179091557f5e5333f4c880313a717699a0491af32c89b5fb2aa888a0faf4fbb2ce1c35b23580548216831790557feaf88fcd92fc684ee8faa91486dba3087ccfea20f50d1e4c564f146caf6dab6880548216831790557fd5a367a45134afc4525f6250e60cb5eb0ff7be25f9485f7b7619e20fda30da5980548216831790557f5a9529402e75b91370a6455ee074195ef35805102d96140d6a4034e0a68bf44380548216831790557f275516ee4f846676facba40030f5ecaebab2cb62c3d80ac8f3a9b3998c0327d680548216831790557fb934bc21a69b16ee022a8f0ec54047f1c2d07779b67d1793b76196c056a9d2a080548216831790557f2517d987978c86272d5295f241c9e290fc29e0b5a01e785e079cd012bacc362e80548216831790557f8d00b9ce5f7209e063132570f8fb329d8e543f37243a05c063a23819f1d9cb6980548216831790557f9ce8494ae2e1c2a1f3d71f92ef53f6da3db4c0b5b54a64853d2996f30e4d614280548216831790557f2d08cbd2bf68104b02c86a2fb8a817e7f32edd5def6e8a78e34f5416f57f545480548216831790557f4b95bbe8baf44995862305886f765724897843fa825e907932accce2753291d180548216831790557fd579e968f9185554fdebff8f84f2692764052bce4775d340e4773212792ae86780548216831790557387cb806192ec699398511c7ab44b3595c051d13c9093527f7df79364a3eab2662e0c8bb078cb0c06316eaa2365c7edf4f7ffffe4014450d280549093161790915560178054909116732b591e99afe9f32eaa6214f7b7629768c40eeb3917905562000458565b828054600181600116156101000203166002900490600052602060002090601f016020900481019282601f10620003f657805160ff191683800117855562000426565b8280016001018555821562000426579182015b828111156200042657825182559160200191906001019062000409565b506200043492915062000438565b5090565b6200045591905b808211156200043457600081556001016200043f565b90565b611a4280620004686000396000f3006080604052600436106101945763ffffffff7c010000000000000000000000000000000000000000000000000000000060003504166265318b811461019957806306fdde03146101cc5780630b9c51b11461025657806310d0ffdd1461026b57806318160ddd1461028357806327defa1f14610298578063313ce567146102c157806332b74ec7146102ec5780633ccfd60b14610316578063487af2001461032d5780634b7503341461034557806356d399e81461035a578063688abbf71461036f57806370a08231146103895780637deb6025146103aa5780638620410b146103ce5780638da5cb5b146103e357806391c05b0b14610414578063949e8acd1461042c57806395d89b4114610441578063a9059cbb14610456578063b84c82461461047a578063befc3e2b146104d3578063c47f0027146104e8578063e2e6669214610541578063e3cc7ebd14610562578063e4849b3214610583578063e9fad8ee1461059b578063ee2ac05f146105b0578063f11745df146105c5578063f2fde38b146105da578063fdb5a03e146105fb575b600080fd5b3480156101a557600080fd5b506101ba600160a060020a0360043516610610565b60408051918252519081900360200190f35b3480156101d857600080fd5b506101e1610646565b6040805160208082528351818301528351919283929083019185019080838360005b8381101561021b578181015183820152602001610203565b50505050905090810190601f1680156102485780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b34801561026257600080fd5b506101ba6106d4565b34801561027757600080fd5b506101ba60043561076b565b34801561028f57600080fd5b506101ba61079a565b3480156102a457600080fd5b506102ad6107a0565b604080519115158252519081900360200190f35b3480156102cd57600080fd5b506102d66107a9565b6040805160ff9092168252519081900360200190f35b3480156102f857600080fd5b506101ba600435600160a060020a03602435811690604435166107ae565b34801561032257600080fd5b5061032b6107c4565b005b34801561033957600080fd5b506101ba6004356108f6565b34801561035157600080fd5b506101ba61091b565b34801561036657600080fd5b506101ba610943565b34801561037b57600080fd5b506101ba6004351515610949565b34801561039557600080fd5b506101ba600160a060020a036004351661098a565b3480156103b657600080fd5b506101ba600435600160a060020a03602435166109a5565b3480156103da57600080fd5b506101ba6109c4565b3480156103ef57600080fd5b506103f86109ec565b60408051600160a060020a039092168252519081900360200190f35b34801561042057600080fd5b506101ba6004356109fb565b34801561043857600080fd5b506101ba610adb565b34801561044d57600080fd5b506101e1610aee565b34801561046257600080fd5b506102ad600160a060020a0360043516602435610b49565b34801561048657600080fd5b506040805160206004803580820135601f810184900484028501840190955284845261032b943694929360249392840191908190840183828082843750949750610cc89650505050505050565b3480156104df57600080fd5b506101ba610cf6565b3480156104f457600080fd5b506040805160206004803580820135601f810184900484028501840190955284845261032b943694929360249392840191908190840183828082843750949750610d099650505050505050565b34801561054d57600080fd5b5061032b600160a060020a0360043516610d33565b34801561056e57600080fd5b5061032b600160a060020a0360043516610d8f565b34801561058f57600080fd5b5061032b600435610deb565b3480156105a757600080fd5b5061032b610f5a565b3480156105bc57600080fd5b506101ba610f83565b3480156105d157600080fd5b506101ba610f89565b3480156105e657600080fd5b5061032b600160a060020a0360043516610f8f565b34801561060757600080fd5b5061032b611023565b600160a060020a0316600090815260106020908152604080832054600e90925290912054601354604060020a9102919091030490565b6005805460408051602060026001851615610100026000190190941693909304601f810184900484028201840190925281815292918301828280156106cc5780601f106106a1576101008083540402835291602001916106cc565b820191906000526020600020905b8154815290600101906020018083116106af57829003601f168201915b505050505081565b601754604080517f70a082310000000000000000000000000000000000000000000000000000000081523060048201529051600092600160a060020a0316916370a0823191602480830192602092919082900301818787803b15801561073957600080fd5b505af115801561074d573d6000803e3d6000fd5b505050506040513d602081101561076357600080fd5b505190505b90565b600080600061078661077f856007546110de565b6064611107565b9150610792848361111c565b949350505050565b60125490565b60035460ff1681565b600881565b60006107b98461112e565b610792828486611240565b60008060006107d36001610949565b116107dd57600080fd5b3391506107ea6000610949565b600160a060020a0380841660008181526010602090815260408083208054604060020a8802019055600f825280832080549084905560175482517fa9059cbb00000000000000000000000000000000000000000000000000000000815260048101969096529601602485018190529051909650949093169363a9059cbb936044808501949193918390030190829087803b15801561088757600080fd5b505af115801561089b573d6000803e3d6000fd5b505050506040513d60208110156108b157600080fd5b5050604080518281529051600160a060020a038416917fccad973dcd043c7d680389db4378bd6b9775db7124092e9e0422c9e46d7985dc919081900360200190a25050565b6000806000601254841115151561090c57600080fd5b61078661077f856009546110de565b6000806000806305f5e100925061093761077f846009546110de565b9150610792838361111c565b60145481565b6000338261095f5761095a81610610565b610983565b600160a060020a0381166000908152600f602052604090205461098182610610565b015b9392505050565b600160a060020a03166000908152600e602052604090205490565b60006109b08361112e565b6109bb823385611240565b90505b92915050565b6000806000806305f5e10092506109e061077f846007546110de565b9150610792838361195b565b600054600160a060020a031681565b6000808211610a6b57604080517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601860248201527f6d757374206265206120706f7369746976652076616c75650000000000000000604482015290519081900360640190fd5b610a748261112e565b6016805483019055601354601254610a9d9190604060020a8502811515610a9757fe5b0461195b565b60135560408051838152905133917fd14b763af9e91e53a0578778058d700fec4f12297440083843749bb37d806064919081900360200190a2919050565b600033610ae78161098a565b91505b5090565b6006805460408051602060026001851615610100026000190190941693909304601f810184900484028201840190925281815292918301828280156106cc5780601f106106a1576101008083540402835291602001916106cc565b600080600080600080610b5a610adb565b11610b6457600080fd5b336000818152600e6020526040902054909450861115610b8357600080fd5b6000610b8f6001610949565b1115610b9d57610b9d6107c4565b610bac61077f876008546110de565b9250610bb8868461111c565b9150829050610bc96012548461111c565b601255600160a060020a0384166000908152600e6020526040902054610bef908761111c565b600160a060020a038086166000908152600e60205260408082209390935590891681522054610c1e908361195b565b600160a060020a038881166000818152600e602090815260408083209590955560138054948a16835260109091528482208054948c02909403909355825491815292909220805492850290920190915554601254610c879190604060020a8402811515610a9757fe5b601355604080518381529051600160a060020a03808a1692908716916000805160206119f78339815191529181900360200190a35060019695505050505050565b600054600160a060020a03163314610cdf57600080fd5b8051610cf2906006906020840190611968565b5050565b3360009081526011602052604090205490565b600054600160a060020a03163314610d2057600080fd5b8051610cf2906005906020840190611968565b600160a060020a03811615801590610d555750600d54600160a060020a031633145b1515610d6057600080fd5b600d805473ffffffffffffffffffffffffffffffffffffffff1916600160a060020a0392909216919091179055565b600160a060020a03811615801590610db15750600c54600160a060020a031633145b1515610dbc57600080fd5b600c805473ffffffffffffffffffffffffffffffffffffffff1916600160a060020a0392909216919091179055565b6000806000806000610dfb610adb565b11610e0557600080fd5b336000818152600e6020526040902054909450851115610e2457600080fd5b610e3361077f866009546110de565b9250610e3f858461111c565b9150610e4d6012548661111c565b601255600160a060020a0384166000908152600e6020526040902054610e73908661111c565b600160a060020a0385166000908152600e602090815260408083209390935560135460109091529181208054928802604060020a8602019283900390556012549192501015610ed957610ed5601354601254604060020a8602811515610a9757fe5b6013555b604080518681529051600091600160a060020a038716916000805160206119f78339815191529181900360200190a3604080518681526020810184905242818301529051600160a060020a038616917f723391258f051422e0be75f0bbcc5c94947b440ae6162c87b3efb5fecde315e5919081900360600190a25050505050565b336000818152600e602052604081205490811115610f7b57610f7b81610deb565b610cf26107c4565b60165481565b60155481565b600054600160a060020a03163314610fa657600080fd5b600160a060020a0381161515610fbb57600080fd5b60008054604051600160a060020a03808516939216917f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e091a36000805473ffffffffffffffffffffffffffffffffffffffff1916600160a060020a0392909216919091179055565b6000806000806110336001610949565b1161103d57600080fd5b33925061104a6000610949565b600160a060020a03841660009081526010602090815260408083208054604060020a8602019055600f9091528120805490829055909101925061108e908484611240565b905082600160a060020a03167fbe339fc14b041c2b0e0f3dd2cd325d0c3668b78378001e53160eab36153264588383604051808381526020018281526020019250505060405180910390a2505050565b60008215156110ef575060006109be565b508181028183828115156110ff57fe5b04146109be57fe5b6000818381151561111457fe5b049392505050565b60008282111561112857fe5b50900390565b601754604080517f23b872dd000000000000000000000000000000000000000000000000000000008152336004820152306024820152604481018490529051600160a060020a03909216916323b872dd916064808201926020929091908290030181600087803b1580156111a157600080fd5b505af11580156111b5573d6000803e3d6000fd5b505050506040513d60208110156111cb57600080fd5b5051151560011461123d57604080517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601560248201527f7472616e73666572206d75737420737563636565640000000000000000000000604482015290519081900360640190fd5b50565b600080600080600080600080888a60045442101515611264576003805460ff191690555b60035460ff161561161857600160a060020a03811660009081526001602081905260409091205460ff1615151480156112be5750600160a060020a038116600090815260026020526040902054655af3107a400090830111155b15156112c957600080fd5b600160a060020a0381166000908152600260205260409020546112ec908361195b565b600160a060020a03821660009081526002602052604090205561130d610cf6565b151561131d576015805460010190555b33600090815260116020526040902080548c0190556007546113449061077f908d906110de565b985061135561077f8a600b546110de565b975061136661077f8a600a546110de565b965061137b89611376898b61195b565b61111c565b95506113878b8a61111c565b9450604060020a860293506000851180156113ac57506012546113aa868261195b565b115b15156113b757600080fd5b600c54600160a060020a03166000908152600f60205260409020546113de9060028a610a97565b600c54600160a060020a039081166000908152600f602052604080822093909355600d54909116815220546114159060028a610a97565b600d54600160a060020a039081166000908152600f60205260409020919091558d161580159061145757508b600160a060020a03168d600160a060020a031614155b801561147d5750601454600160a060020a038e166000908152600e602052604090205410155b156114c357600160a060020a038d166000908152600f60205260409020546114a5908861195b565b600160a060020a038e166000908152600f60205260409020556114d9565b6114cd868861195b565b9550604060020a860293505b60006012541115611533576114f06012548661195b565b6012819055604060020a870281151561150557fe5b60138054929091049091019055601254604060020a870281151561152557fe5b048502840384039350611539565b60128590555b600160a060020a038c166000908152600e602052604090205461155c908661195b565b600160a060020a038d166000908152600e6020908152604080832093909355601354601082528383208054918a0289900391820190558351898152935190965033936000805160206119f783398151915292908290030190a38c600160a060020a03168c600160a060020a03167fff69b2ba8f4ef8248f8c375ba3916c770604b215557acdd4e8387a4dd5e7de868d884260405180848152602001838152602001828152602001935050505060405180910390a384995061194b565b600454603c014210156116375764174876e8003a111561163757600080fd5b6003805460ff19169055611649610cf6565b1515611659576015805460010190555b33600090815260116020526040902080548c0190556007546116809061077f908d906110de565b985061169161077f8a600b546110de565b97506116a261077f8a600a546110de565b96506116b289611376898b61195b565b95506116be8b8a61111c565b9450604060020a860293506000851180156116e357506012546116e1868261195b565b115b15156116ee57600080fd5b600c54600160a060020a03166000908152600f60205260409020546117159060028a610a97565b600c54600160a060020a039081166000908152600f602052604080822093909355600d549091168152205461174c9060028a610a97565b600d54600160a060020a039081166000908152600f60205260409020919091558d161580159061178e57508b600160a060020a03168d600160a060020a031614155b80156117b45750601454600160a060020a038e166000908152600e602052604090205410155b156117fa57600160a060020a038d166000908152600f60205260409020546117dc908861195b565b600160a060020a038e166000908152600f6020526040902055611810565b611804868861195b565b9550604060020a860293505b6000601254111561186a576118276012548661195b565b6012819055604060020a870281151561183c57fe5b60138054929091049091019055601254604060020a870281151561185c57fe5b048502840384039350611870565b60128590555b600160a060020a038c166000908152600e6020526040902054611893908661195b565b600160a060020a038d166000908152600e6020908152604080832093909355601354601082528383208054918a0289900391820190558351898152935190965033936000805160206119f783398151915292908290030190a38c600160a060020a03168c600160a060020a03167fff69b2ba8f4ef8248f8c375ba3916c770604b215557acdd4e8387a4dd5e7de868d884260405180848152602001838152602001828152602001935050505060405180910390a38499505b5050505050505050509392505050565b818101828110156109be57fe5b828054600181600116156101000203166002900490600052602060002090601f016020900481019282601f106119a957805160ff19168380011785556119d6565b828001600101855582156119d6579182015b828111156119d65782518255916020019190600101906119bb565b50610aea926107689250905b80821115610aea57600081556001016119e25600ddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3efa165627a7a72305820772068cc83b342dabec905f192f49f1ebb4f58f254005a0d567254e854d57fe20029

0x6080604052600436106101945763ffffffff7c010000000000000000000000000000000000000000000000000000000060003504166265318b811461019957806306fdde03146101cc5780630b9c51b11461025657806310d0ffdd1461026b57806318160ddd1461028357806327defa1f14610298578063313ce567146102c157806332b74ec7146102ec5780633ccfd60b14610316578063487af2001461032d5780634b7503341461034557806356d399e81461035a578063688abbf71461036f57806370a08231146103895780637deb6025146103aa5780638620410b146103ce5780638da5cb5b146103e357806391c05b0b14610414578063949e8acd1461042c57806395d89b4114610441578063a9059cbb14610456578063b84c82461461047a578063befc3e2b146104d3578063c47f0027146104e8578063e2e6669214610541578063e3cc7ebd14610562578063e4849b3214610583578063e9fad8ee1461059b578063ee2ac05f146105b0578063f11745df146105c5578063f2fde38b146105da578063fdb5a03e146105fb575b600080fd5b3480156101a557600080fd5b506101ba600160a060020a0360043516610610565b60408051918252519081900360200190f35b3480156101d857600080fd5b506101e1610646565b6040805160208082528351818301528351919283929083019185019080838360005b8381101561021b578181015183820152602001610203565b50505050905090810190601f1680156102485780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b34801561026257600080fd5b506101ba6106d4565b34801561027757600080fd5b506101ba60043561076b565b34801561028f57600080fd5b506101ba61079a565b3480156102a457600080fd5b506102ad6107a0565b604080519115158252519081900360200190f35b3480156102cd57600080fd5b506102d66107a9565b6040805160ff9092168252519081900360200190f35b3480156102f857600080fd5b506101ba600435600160a060020a03602435811690604435166107ae565b34801561032257600080fd5b5061032b6107c4565b005b34801561033957600080fd5b506101ba6004356108f6565b34801561035157600080fd5b506101ba61091b565b34801561036657600080fd5b506101ba610943565b34801561037b57600080fd5b506101ba6004351515610949565b34801561039557600080fd5b506101ba600160a060020a036004351661098a565b3480156103b657600080fd5b506101ba600435600160a060020a03602435166109a5565b3480156103da57600080fd5b506101ba6109c4565b3480156103ef57600080fd5b506103f86109ec565b60408051600160a060020a039092168252519081900360200190f35b34801561042057600080fd5b506101ba6004356109fb565b34801561043857600080fd5b506101ba610adb565b34801561044d57600080fd5b506101e1610aee565b34801561046257600080fd5b506102ad600160a060020a0360043516602435610b49565b34801561048657600080fd5b506040805160206004803580820135601f810184900484028501840190955284845261032b943694929360249392840191908190840183828082843750949750610cc89650505050505050565b3480156104df57600080fd5b506101ba610cf6565b3480156104f457600080fd5b506040805160206004803580820135601f810184900484028501840190955284845261032b943694929360249392840191908190840183828082843750949750610d099650505050505050565b34801561054d57600080fd5b5061032b600160a060020a0360043516610d33565b34801561056e57600080fd5b5061032b600160a060020a0360043516610d8f565b34801561058f57600080fd5b5061032b600435610deb565b3480156105a757600080fd5b5061032b610f5a565b3480156105bc57600080fd5b506101ba610f83565b3480156105d157600080fd5b506101ba610f89565b3480156105e657600080fd5b5061032b600160a060020a0360043516610f8f565b34801561060757600080fd5b5061032b611023565b600160a060020a0316600090815260106020908152604080832054600e90925290912054601354604060020a9102919091030490565b6005805460408051602060026001851615610100026000190190941693909304601f810184900484028201840190925281815292918301828280156106cc5780601f106106a1576101008083540402835291602001916106cc565b820191906000526020600020905b8154815290600101906020018083116106af57829003601f168201915b505050505081565b601754604080517f70a082310000000000000000000000000000000000000000000000000000000081523060048201529051600092600160a060020a0316916370a0823191602480830192602092919082900301818787803b15801561073957600080fd5b505af115801561074d573d6000803e3d6000fd5b505050506040513d602081101561076357600080fd5b505190505b90565b600080600061078661077f856007546110de565b6064611107565b9150610792848361111c565b949350505050565b60125490565b60035460ff1681565b600881565b60006107b98461112e565b610792828486611240565b60008060006107d36001610949565b116107dd57600080fd5b3391506107ea6000610949565b600160a060020a0380841660008181526010602090815260408083208054604060020a8802019055600f825280832080549084905560175482517fa9059cbb00000000000000000000000000000000000000000000000000000000815260048101969096529601602485018190529051909650949093169363a9059cbb936044808501949193918390030190829087803b15801561088757600080fd5b505af115801561089b573d6000803e3d6000fd5b505050506040513d60208110156108b157600080fd5b5050604080518281529051600160a060020a038416917fccad973dcd043c7d680389db4378bd6b9775db7124092e9e0422c9e46d7985dc919081900360200190a25050565b6000806000601254841115151561090c57600080fd5b61078661077f856009546110de565b6000806000806305f5e100925061093761077f846009546110de565b9150610792838361111c565b60145481565b6000338261095f5761095a81610610565b610983565b600160a060020a0381166000908152600f602052604090205461098182610610565b015b9392505050565b600160a060020a03166000908152600e602052604090205490565b60006109b08361112e565b6109bb823385611240565b90505b92915050565b6000806000806305f5e10092506109e061077f846007546110de565b9150610792838361195b565b600054600160a060020a031681565b6000808211610a6b57604080517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601860248201527f6d757374206265206120706f7369746976652076616c75650000000000000000604482015290519081900360640190fd5b610a748261112e565b6016805483019055601354601254610a9d9190604060020a8502811515610a9757fe5b0461195b565b60135560408051838152905133917fd14b763af9e91e53a0578778058d700fec4f12297440083843749bb37d806064919081900360200190a2919050565b600033610ae78161098a565b91505b5090565b6006805460408051602060026001851615610100026000190190941693909304601f810184900484028201840190925281815292918301828280156106cc5780601f106106a1576101008083540402835291602001916106cc565b600080600080600080610b5a610adb565b11610b6457600080fd5b336000818152600e6020526040902054909450861115610b8357600080fd5b6000610b8f6001610949565b1115610b9d57610b9d6107c4565b610bac61077f876008546110de565b9250610bb8868461111c565b9150829050610bc96012548461111c565b601255600160a060020a0384166000908152600e6020526040902054610bef908761111c565b600160a060020a038086166000908152600e60205260408082209390935590891681522054610c1e908361195b565b600160a060020a038881166000818152600e602090815260408083209590955560138054948a16835260109091528482208054948c02909403909355825491815292909220805492850290920190915554601254610c879190604060020a8402811515610a9757fe5b601355604080518381529051600160a060020a03808a1692908716916000805160206119f78339815191529181900360200190a35060019695505050505050565b600054600160a060020a03163314610cdf57600080fd5b8051610cf2906006906020840190611968565b5050565b3360009081526011602052604090205490565b600054600160a060020a03163314610d2057600080fd5b8051610cf2906005906020840190611968565b600160a060020a03811615801590610d555750600d54600160a060020a031633145b1515610d6057600080fd5b600d805473ffffffffffffffffffffffffffffffffffffffff1916600160a060020a0392909216919091179055565b600160a060020a03811615801590610db15750600c54600160a060020a031633145b1515610dbc57600080fd5b600c805473ffffffffffffffffffffffffffffffffffffffff1916600160a060020a0392909216919091179055565b6000806000806000610dfb610adb565b11610e0557600080fd5b336000818152600e6020526040902054909450851115610e2457600080fd5b610e3361077f866009546110de565b9250610e3f858461111c565b9150610e4d6012548661111c565b601255600160a060020a0384166000908152600e6020526040902054610e73908661111c565b600160a060020a0385166000908152600e602090815260408083209390935560135460109091529181208054928802604060020a8602019283900390556012549192501015610ed957610ed5601354601254604060020a8602811515610a9757fe5b6013555b604080518681529051600091600160a060020a038716916000805160206119f78339815191529181900360200190a3604080518681526020810184905242818301529051600160a060020a038616917f723391258f051422e0be75f0bbcc5c94947b440ae6162c87b3efb5fecde315e5919081900360600190a25050505050565b336000818152600e602052604081205490811115610f7b57610f7b81610deb565b610cf26107c4565b60165481565b60155481565b600054600160a060020a03163314610fa657600080fd5b600160a060020a0381161515610fbb57600080fd5b60008054604051600160a060020a03808516939216917f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e091a36000805473ffffffffffffffffffffffffffffffffffffffff1916600160a060020a0392909216919091179055565b6000806000806110336001610949565b1161103d57600080fd5b33925061104a6000610949565b600160a060020a03841660009081526010602090815260408083208054604060020a8602019055600f9091528120805490829055909101925061108e908484611240565b905082600160a060020a03167fbe339fc14b041c2b0e0f3dd2cd325d0c3668b78378001e53160eab36153264588383604051808381526020018281526020019250505060405180910390a2505050565b60008215156110ef575060006109be565b508181028183828115156110ff57fe5b04146109be57fe5b6000818381151561111457fe5b049392505050565b60008282111561112857fe5b50900390565b601754604080517f23b872dd000000000000000000000000000000000000000000000000000000008152336004820152306024820152604481018490529051600160a060020a03909216916323b872dd916064808201926020929091908290030181600087803b1580156111a157600080fd5b505af11580156111b5573d6000803e3d6000fd5b505050506040513d60208110156111cb57600080fd5b5051151560011461123d57604080517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601560248201527f7472616e73666572206d75737420737563636565640000000000000000000000604482015290519081900360640190fd5b50565b600080600080600080600080888a60045442101515611264576003805460ff191690555b60035460ff161561161857600160a060020a03811660009081526001602081905260409091205460ff1615151480156112be5750600160a060020a038116600090815260026020526040902054655af3107a400090830111155b15156112c957600080fd5b600160a060020a0381166000908152600260205260409020546112ec908361195b565b600160a060020a03821660009081526002602052604090205561130d610cf6565b151561131d576015805460010190555b33600090815260116020526040902080548c0190556007546113449061077f908d906110de565b985061135561077f8a600b546110de565b975061136661077f8a600a546110de565b965061137b89611376898b61195b565b61111c565b95506113878b8a61111c565b9450604060020a860293506000851180156113ac57506012546113aa868261195b565b115b15156113b757600080fd5b600c54600160a060020a03166000908152600f60205260409020546113de9060028a610a97565b600c54600160a060020a039081166000908152600f602052604080822093909355600d54909116815220546114159060028a610a97565b600d54600160a060020a039081166000908152600f60205260409020919091558d161580159061145757508b600160a060020a03168d600160a060020a031614155b801561147d5750601454600160a060020a038e166000908152600e602052604090205410155b156114c357600160a060020a038d166000908152600f60205260409020546114a5908861195b565b600160a060020a038e166000908152600f60205260409020556114d9565b6114cd868861195b565b9550604060020a860293505b60006012541115611533576114f06012548661195b565b6012819055604060020a870281151561150557fe5b60138054929091049091019055601254604060020a870281151561152557fe5b048502840384039350611539565b60128590555b600160a060020a038c166000908152600e602052604090205461155c908661195b565b600160a060020a038d166000908152600e6020908152604080832093909355601354601082528383208054918a0289900391820190558351898152935190965033936000805160206119f783398151915292908290030190a38c600160a060020a03168c600160a060020a03167fff69b2ba8f4ef8248f8c375ba3916c770604b215557acdd4e8387a4dd5e7de868d884260405180848152602001838152602001828152602001935050505060405180910390a384995061194b565b600454603c014210156116375764174876e8003a111561163757600080fd5b6003805460ff19169055611649610cf6565b1515611659576015805460010190555b33600090815260116020526040902080548c0190556007546116809061077f908d906110de565b985061169161077f8a600b546110de565b97506116a261077f8a600a546110de565b96506116b289611376898b61195b565b95506116be8b8a61111c565b9450604060020a860293506000851180156116e357506012546116e1868261195b565b115b15156116ee57600080fd5b600c54600160a060020a03166000908152600f60205260409020546117159060028a610a97565b600c54600160a060020a039081166000908152600f602052604080822093909355600d549091168152205461174c9060028a610a97565b600d54600160a060020a039081166000908152600f60205260409020919091558d161580159061178e57508b600160a060020a03168d600160a060020a031614155b80156117b45750601454600160a060020a038e166000908152600e602052604090205410155b156117fa57600160a060020a038d166000908152600f60205260409020546117dc908861195b565b600160a060020a038e166000908152600f6020526040902055611810565b611804868861195b565b9550604060020a860293505b6000601254111561186a576118276012548661195b565b6012819055604060020a870281151561183c57fe5b60138054929091049091019055601254604060020a870281151561185c57fe5b048502840384039350611870565b60128590555b600160a060020a038c166000908152600e6020526040902054611893908661195b565b600160a060020a038d166000908152600e6020908152604080832093909355601354601082528383208054918a0289900391820190558351898152935190965033936000805160206119f783398151915292908290030190a38c600160a060020a03168c600160a060020a03167fff69b2ba8f4ef8248f8c375ba3916c770604b215557acdd4e8387a4dd5e7de868d884260405180848152602001838152602001828152602001935050505060405180910390a38499505b5050505050505050509392505050565b818101828110156109be57fe5b828054600181600116156101000203166002900490600052602060002090601f016020900481019282601f106119a957805160ff19168380011785556119d6565b828001600101855582156119d6579182015b828111156119d65782518255916020019190600101906119bb565b50610aea926107689250905b80821115610aea57600081556001016119e25600ddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3efa165627a7a72305820772068cc83b342dabec905f192f49f1ebb4f58f254005a0d567254e854d57fe20029

1595:14167:0:-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;7491:8;;;11864:224;;8:9:-1;5:2;;;30:1;27;20:12;5:2;-1:-1;11864:224:0;-1:-1:-1;;;;;11864:224:0;;;;;;;;;;;;;;;;;;;;;3590:30;;8:9:-1;5:2;;;30:1;27;20:12;5:2;3590:30:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:100:-1;33:3;30:1;27:10;8:100;;;90:11;;;84:18;71:11;;;64:39;52:2;45:10;8:100;;;12:14;3590:30:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;11055:113;;8:9:-1;5:2;;;30:1;27;20:12;5:2;11055:113:0;;;;12626:288;;8:9:-1;5:2;;;30:1;27;20:12;5:2;-1:-1;12626:288:0;;;;;11176:91;;8:9:-1;5:2;;;30:1;27;20:12;5:2;11176:91:0;;;;1823:34;;8:9:-1;5:2;;;30:1;27;20:12;5:2;1823:34:0;;;;;;;;;;;;;;;;;;;;;;3663;;8:9:-1;5:2;;;30:1;27;20:12;5:2;3663:34:0;;;;;;;;;;;;;;;;;;;;;;;7222:224;;8:9:-1;5:2;;;30:1;27;20:12;5:2;-1:-1;7222:224:0;;;-1:-1:-1;;;;;7222:224:0;;;;;;;;;;8215:438;;8:9:-1;5:2;;;30:1;27;20:12;5:2;8215:438:0;;;;;;12922:327;;8:9:-1;5:2;;;30:1;27;20:12;5:2;-1:-1;12922:327:0;;;;;12096:257;;8:9:-1;5:2;;;30:1;27;20:12;5:2;12096:257:0;;;;4440:44;;8:9:-1;5:2;;;30:1;27;20:12;5:2;4440:44:0;;;;11434:276;;8:9:-1;5:2;;;30:1;27;20:12;5:2;-1:-1;11434:276:0;;;;;;;11718:138;;8:9:-1;5:2;;;30:1;27;20:12;5:2;-1:-1;11718:138:0;-1:-1:-1;;;;;11718:138:0;;;;;7025:189;;8:9:-1;5:2;;;30:1;27;20:12;5:2;-1:-1;7025:189:0;;;-1:-1:-1;;;;;7025:189:0;;;;;12361:257;;8:9:-1;5:2;;;30:1;27;20:12;5:2;12361:257:0;;;;1116:20;;8:9:-1;5:2;;;30:1;27;20:12;5:2;1116:20:0;;;;;;;;-1:-1:-1;;;;;1116:20:0;;;;;;;;;;;;;;6669:348;;8:9:-1;5:2;;;30:1;27;20:12;5:2;-1:-1;6669:348:0;;;;;11275:151;;8:9:-1;5:2;;;30:1;27;20:12;5:2;11275:151:0;;;;3627:29;;8:9:-1;5:2;;;30:1;27;20:12;5:2;3627:29:0;;;;9684:1173;;8:9:-1;5:2;;;30:1;27;20:12;5:2;-1:-1;9684:1173:0;-1:-1:-1;;;;;9684:1173:0;;;;;;;10956:91;;8:9:-1;5:2;;;30:1;27;20:12;5:2;-1:-1;10956:91:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;10956:91:0;;-1:-1:-1;10956:91:0;;-1:-1:-1;;;;;;;10956:91:0;13257:100;;8:9:-1;5:2;;;30:1;27;20:12;5:2;13257:100:0;;;;10865:83;;8:9:-1;5:2;;;30:1;27;20:12;5:2;-1:-1;10865:83:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;10865:83:0;;-1:-1:-1;10865:83:0;;-1:-1:-1;;;;;;;10865:83:0;6287:197;;8:9:-1;5:2;;;30:1;27;20:12;5:2;-1:-1;6287:197:0;-1:-1:-1;;;;;6287:197:0;;;;;6082;;8:9:-1;5:2;;;30:1;27;20:12;5:2;-1:-1;6082:197:0;-1:-1:-1;;;;;6082:197:0;;;;;8661:1015;;8:9:-1;5:2;;;30:1;27;20:12;5:2;-1:-1;8661:1015:0;;;;;7998:209;;8:9:-1;5:2;;;30:1;27;20:12;5:2;7998:209:0;;;;4528:32;;8:9:-1;5:2;;;30:1;27;20:12;5:2;4528:32:0;;;;4491:30;;8:9:-1;5:2;;;30:1;27;20:12;5:2;4491:30:0;;;;1408:178;;8:9:-1;5:2;;;30:1;27;20:12;5:2;-1:-1;1408:178:0;-1:-1:-1;;;;;1408:178:0;;;;;7515:475;;8:9:-1;5:2;;;30:1;27;20:12;5:2;7515:475:0;;;;11864:224;-1:-1:-1;;;;;12039:28:0;11932:7;12039:28;;;:10;:28;;;;;;;;;11998:19;:37;;;;;;;11980:15;;-1:-1:-1;;;11980:55:0;;11970:97;;;;11959:121;;11864:224::o;3590:30::-;;;;;;;;;;;;;;;-1:-1:-1;;3590:30:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::o;11055:113::-;11130:5;;:30;;;;;;11154:4;11130:30;;;;;;11103:7;;-1:-1:-1;;;;;11130:5:0;;:15;;:30;;;;;;;;;;;;;;11103:7;11130:5;:30;;;5:2:-1;;;;30:1;27;20:12;5:2;11130:30:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;11130:30:0;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;11130:30:0;;-1:-1:-1;11055:113:0;;:::o;12626:288::-;12701:7;12721:18;12808:23;12742:55;12755:36;12768:11;12781:9;;12755:12;:36::i;:::-;12793:3;12742:12;:55::i;:::-;12721:76;;12834:37;12847:11;12860:10;12834:12;:37::i;:::-;12808:63;12626:288;-1:-1:-1;;;;12626:288:0:o;11176:91::-;11247:12;;11176:91;:::o;1823:34::-;;;;;;:::o;3663:::-;3696:1;3663:34;:::o;7222:224::-;7318:7;7338:28;7358:7;7338:19;:28::i;:::-;7384:54;7399:11;7412:16;7430:7;7384:14;:54::i;8215:438::-;8263:24;8311:18;2738:1;2718:17;2730:4;2718:11;:17::i;:::-;:21;2710:30;;;;;;8290:10;8263:37;;8332:18;8344:5;8332:11;:18::i;:::-;-1:-1:-1;;;;;8361:28:0;;;;;;;:10;:28;;;;;;;;:65;;-1:-1:-1;;;8403:22:0;;8361:65;;;8451:16;:34;;;;;;;8496:38;;;;8545:5;;:44;;;;;;;;;;;;8437:48;;8545:44;;;;;;;;8437:48;;-1:-1:-1;8545:5:0;;;;;:14;;:44;;;;;8361:28;;8545:44;;;;;;;;:5;:44;;;5:2:-1;;;;30:1;27;20:12;5:2;8545:44:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;8545:44:0;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;;8605:40:0;;;;;;;;-1:-1:-1;;;;;8605:40:0;;;;;;;;;8545:44;8605:40;;;8215:438;;:::o;12922:327::-;12996:7;13065:18;13153:17;13041:12;;13024:13;:29;;13016:38;;;;;;;;13086:56;13099:37;13112:13;13127:8;;13099:12;:37::i;12096:257::-;12138:7;12158:12;12187:18;12266:17;12173:3;12158:18;;12208:47;12221:28;12234:4;12240:8;;12221:12;:28::i;12208:47::-;12187:68;;12286:30;12299:4;12305:10;12286:12;:30::i;4440:44::-;;;;:::o;11434:276::-;11504:7;11551:10;11579:21;:122;;11672:29;11684:16;11672:11;:29::i;:::-;11579:122;;;-1:-1:-1;;;;;11635:34:0;;;;;;:16;:34;;;;;;11603:29;11652:16;11603:11;:29::i;:::-;:66;11579:122;11572:129;11434:276;-1:-1:-1;;;11434:276:0:o;11718:138::-;-1:-1:-1;;;;;11811:37:0;11784:7;11811:37;;;:19;:37;;;;;;;11718:138::o;7025:189::-;7092:7;7112:28;7132:7;7112:19;:28::i;:::-;7158:48;7173:11;7186:10;7198:7;7158:14;:48::i;:::-;7151:55;;7025:189;;;;;:::o;12361:257::-;12402:7;12422:12;12451:18;12531:17;12437:3;12422:18;;12472:48;12485:29;12498:4;12504:9;;12485:12;:29::i;12472:48::-;12451:69;;12551:30;12564:4;12570:10;12551:12;:30::i;1116:20::-;;;-1:-1:-1;;;;;1116:20:0;;:::o;6669:348::-;6722:7;6750:11;;;6742:48;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;6801:28;6821:7;6801:19;:28::i;:::-;6840:13;:24;;;;;;6906:15;;6947:12;;6893:67;;6906:15;-1:-1:-1;;;6924:19:0;;6923:36;;;;;;;;6893:12;:67::i;:::-;6875:15;:85;6976:33;;;;;;;;6989:10;;6976:33;;;;;;;;;;6669:348;;;:::o;11275:151::-;11316:7;11363:10;11391:27;11363:10;11391:9;:27::i;:::-;11384:34;;11275:151;;;:::o;3627:29::-;;;;;;;;;;;;;;;-1:-1:-1;;3627:29:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;9684:1173;9782:4;9798:24;10000:17;10093:20;10167:18;2650:1;2637:10;:8;:10::i;:::-;:14;2629:23;;;;;;9825:10;9873:37;;;;:19;:37;;;;;;9825:10;;-1:-1:-1;9854:56:0;;;9846:65;;;;;;9948:1;9928:17;9940:4;9928:11;:17::i;:::-;:21;9924:64;;;9966:10;:8;:10::i;:::-;10020:62;10033:43;10046:15;10063:12;;10033;:43::i;10020:62::-;10000:82;;10116:40;10129:15;10146:9;10116:12;:40::i;:::-;10093:63;;10188:9;10167:30;;10225:37;10238:12;;10252:9;10225:12;:37::i;:::-;10210:12;:52;-1:-1:-1;;;;;10328:37:0;;;;;;:19;:37;;;;;;10315:68;;10367:15;10315:12;:68::i;:::-;-1:-1:-1;;;;;10275:37:0;;;;;;;:19;:37;;;;;;:108;;;;10441:31;;;;;;;10428:59;;10474:12;10428;:59::i;:::-;-1:-1:-1;;;;;10394:31:0;;;;;;;:19;:31;;;;;;;;:93;;;;10542:15;;;10500:28;;;;;:10;:28;;;;;;:76;;10542:33;;;10500:76;;;;;;10623:15;;10587:22;;;;;;;:67;;10623:30;;;10587:67;;;;;;10698:15;10742:12;;10685:70;;10698:15;-1:-1:-1;;;10716:22:0;;10715:39;;;;;;10685:70;10667:15;:88;10773:52;;;;;;;;-1:-1:-1;;;;;10773:52:0;;;;;;;;-1:-1:-1;;;;;;;;;;;10773:52:0;;;;;;;;-1:-1:-1;10845:4:0;;9684:1173;-1:-1:-1;;;;;;9684:1173:0:o;10956:91::-;1382:5;;-1:-1:-1;;;;;1382:5:0;1368:10;:19;1360:28;;;;;;11023:16;;;;:6;;:16;;;;;:::i;:::-;;10956:91;:::o;13257:100::-;13338:10;13301:7;13328:21;;;:9;:21;;;;;;13257:100;:::o;10865:83::-;1382:5;;-1:-1:-1;;;;;1382:5:0;1368:10;:19;1360:28;;;;;;10928:12;;;;:4;;:12;;;;;:::i;6287:197::-;-1:-1:-1;;;;;6369:25:0;;;;;;:62;;-1:-1:-1;6412:19:0;;-1:-1:-1;;;;;6412:19:0;6398:10;:33;6369:62;6361:71;;;;;;;;6443:19;:33;;-1:-1:-1;;6443:33:0;-1:-1:-1;;;;;6443:33:0;;;;;;;;;;6287:197::o;6082:::-;-1:-1:-1;;;;;6164:25:0;;;;;;:62;;-1:-1:-1;6207:19:0;;-1:-1:-1;;;;;6207:19:0;6193:10;:33;6164:62;6156:71;;;;;;;;6238:19;:33;;-1:-1:-1;;6238:33:0;-1:-1:-1;;;;;6238:33:0;;;;;;;;;;6082:197::o;8661:1015::-;8735:24;8861:18;8951:17;9215:22;2650:1;2637:10;:8;:10::i;:::-;:14;2629:23;;;;;;8762:10;8810:37;;;;:19;:37;;;;;;8762:10;;-1:-1:-1;8791:56:0;;;8783:65;;;;;;8882:58;8895:39;8908:15;8925:8;;8895:12;:39::i;8882:58::-;8861:79;;8971:41;8984:15;9001:10;8971:12;:41::i;:::-;8951:61;;9040:43;9053:12;;9067:15;9040:12;:43::i;:::-;9025:12;:58;-1:-1:-1;;;;;9147:37:0;;;;;;:19;:37;;;;;;9134:68;;9186:15;9134:12;:68::i;:::-;-1:-1:-1;;;;;9094:37:0;;;;;;:19;:37;;;;;;;;:108;;;;9250:15;;9321:10;:28;;;;;;:47;;9250:33;;;-1:-1:-1;;;9287:21:0;;9250:59;9321:47;;;;;;9385:12;;9250:59;;-1:-1:-1;;9381:137:0;;;9436:70;9449:15;;9493:12;;-1:-1:-1;;;9467:10:0;:22;9466:39;;;;;;9436:70;9418:15;:88;9381:137;9535:55;;;;;;;;9570:1;;-1:-1:-1;;;;;9535:55:0;;;-1:-1:-1;;;;;;;;;;;9535:55:0;;;;;;;;9606:62;;;;;;;;;;;;9664:3;9606:62;;;;;;-1:-1:-1;;;;;9606:62:0;;;;;;;;;;;;;8661:1015;;;;;:::o;7998:209::-;8061:10;8034:24;8100:37;;;:19;:37;;;;;;;8152:11;;8148:30;;;8165:13;8170:7;8165:4;:13::i;:::-;8189:10;:8;:10::i;4528:32::-;;;;:::o;4491:30::-;;;;:::o;1408:178::-;1382:5;;-1:-1:-1;;;;;1382:5:0;1368:10;:19;1360:28;;;;;;-1:-1:-1;;;;;1485:22:0;;;;1477:31;;;;;;1541:5;;;1520:37;;-1:-1:-1;;;;;1520:37:0;;;;1541:5;;;1520:37;;;1564:5;:16;;-1:-1:-1;;1564:16:0;-1:-1:-1;;;;;1564:16:0;;;;;;;;;;1408:178::o;7515:475::-;7563:24;7611:18;7846:15;2738:1;2718:17;2730:4;2718:11;:17::i;:::-;:21;2710:30;;;;;;7590:10;7563:37;;7632:18;7644:5;7632:11;:18::i;:::-;-1:-1:-1;;;;;7661:28:0;;;;;;:10;:28;;;;;;;;:66;;-1:-1:-1;;;7704:22:0;;7661:66;;;7752:16;:34;;;;;;;7797:38;;;;7738:48;;;;-1:-1:-1;7864:49:0;;7672:16;7738:48;7864:14;:49::i;:::-;7846:67;;7944:16;-1:-1:-1;;;;;7929:53:0;;7962:10;7974:7;7929:53;;;;;;;;;;;;;;;;;;;;;;;;7515:475;;;:::o;52:174::-;110:9;132:6;;128:37;;;-1:-1:-1;156:1:0;149:8;;128:37;-1:-1:-1;175:5:0;;;179:1;175;:5;194;;;;;;;;:10;187:18;;;232:92;290:7;317:1;313;:5;;;;;;;;;232:92;-1:-1:-1;;;232:92:0:o;330:113::-;388:7;411:6;;;;404:14;;;;-1:-1:-1;432:5:0;;;330:113::o;6492:169::-;6565:5;;:54;;;;;;6584:10;6565:54;;;;6604:4;6565:54;;;;;;;;;;;;-1:-1:-1;;;;;6565:5:0;;;;:18;;:54;;;;;;;;;;;;;;;:5;;:54;;;5:2:-1;;;;30:1;27;20:12;5:2;6565:54:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;6565:54:0;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;6565:54:0;:62;;6623:4;6565:62;6557:96;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;6492:169;:::o;13365:2394::-;13523:7;13667:27;13766:20;13869:22;13973:18;14081:23;14165:12;15417:22;13482:12;13496:16;2000:15;;1993:3;:22;;1989:73;;;2029:15;:23;;-1:-1:-1;;2029:23:0;;;1989:73;2076:15;;;;2072:505;;;-1:-1:-1;;;;;2114:30:0;;;;;;:12;:30;;;;;;;;;;;:38;;;:130;;;;-1:-1:-1;;;;;;2157:45:0;;;;;;:27;:45;;;;;;1736:9;2157:60;;;2156:88;;2114:130;2105:141;;;;;;;;-1:-1:-1;;;;;2319:45:0;;;;;;:27;:45;;;;;;2306:73;;2366:12;2306;:73::i;:::-;-1:-1:-1;;;;;2258:45:0;;;;;;:27;:45;;;;;:121;13547:13;:11;:13::i;:::-;:18;13543:62;;;13580:11;:13;;;;;;13543:62;13627:10;13617:21;;;;:9;:21;;;;;:37;;;;;;13737:9;;13697:56;;13710:37;;13642:12;;13710;:37::i;13697:56::-;13667:86;;13789:69;13802:50;13815:19;13836:15;;13802:12;:50::i;13789:69::-;13766:92;;13894:66;13907:47;13920:19;13941:12;;13907;:47::i;13894:66::-;13869:91;;13994:76;14007:19;14028:41;14041:14;14056:12;14028;:41::i;:::-;13994:12;:76::i;:::-;13973:97;;14107:47;14120:12;14134:19;14107:12;:47::i;:::-;14081:73;;-1:-1:-1;;;14180:10:0;:22;14165:37;;14241:1;14223:15;:19;:81;;;;-1:-1:-1;14292:12:0;;14246:43;14259:15;14292:12;14246;:43::i;:::-;:58;14223:81;14215:90;;;;;;;;14388:19;;-1:-1:-1;;;;;14388:19:0;14371:37;;;;:16;:37;;;;;;14358:69;;14424:1;14411:12;:14;;14358:69;14335:19;;-1:-1:-1;;;;;14335:19:0;;;14318:37;;;;:16;:37;;;;;;:109;;;;14508:19;;;;;14491:37;;;;14478:69;;14544:1;14531:12;:14;;14478:69;14455:19;;-1:-1:-1;;;;;14455:19:0;;;14438:37;;;;:16;:37;;;;;:109;;;;14564:25;;;;;;:60;;;14608:16;-1:-1:-1;;;;;14593:31:0;:11;-1:-1:-1;;;;;14593:31:0;;;14564:60;:118;;;;-1:-1:-1;14664:18:0;;-1:-1:-1;;;;;14628:32:0;;;;;;:19;:32;;;;;;:54;;14564:118;14560:372;;;-1:-1:-1;;;;;14744:29:0;;;;;;:16;:29;;;;;;14731:59;;14775:14;14731:12;:59::i;:::-;-1:-1:-1;;;;;14699:29:0;;;;;;:16;:29;;;;;:91;14560:372;;;14836:40;14849:10;14861:14;14836:12;:40::i;:::-;14823:53;;-1:-1:-1;;;14898:10:0;:22;14891:29;;14560:372;14963:1;14948:12;;:16;14944:340;;;14996:43;15009:12;;15023:15;14996:12;:43::i;:::-;14981:12;:58;;;-1:-1:-1;;;15074:22:0;;:37;;;;;;;15054:15;:58;;15074:37;;;;15054:58;;;;;15194:12;;-1:-1:-1;;;15169:22:0;;:37;;;;;;;;15150:15;:57;15142:4;:66;15134:4;:75;15127:82;;14944:340;;;15242:12;:30;;;14944:340;-1:-1:-1;;;;;15349:37:0;;;;;;:19;:37;;;;;;15336:68;;15388:15;15336:12;:68::i;:::-;-1:-1:-1;;;;;15296:37:0;;;;;;:19;:37;;;;;;;;:108;;;;15452:15;;15504:10;:28;;;;;:47;;15452:33;;;:40;;;15504:47;;;;;15569:49;;;;;;;15452:40;;-1:-1:-1;15590:10:0;;-1:-1:-1;;;;;;;;;;;15569:49:0;;;;;;;;15699:11;-1:-1:-1;;;;;15634:82:0;15650:16;-1:-1:-1;;;;;15634:82:0;;15668:12;15682:15;15712:3;15634:82;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;15736:15;15729:22;;2072:505;;;2429:15;;2447:10;2429:28;2422:3;:36;2419:99;;;2496:9;2481:11;:24;;2473:33;;;;;;2531:15;:23;;-1:-1:-1;;2531:23:0;;;13547:13;:11;:13::i;:::-;:18;13543:62;;;13580:11;:13;;;;;;13543:62;13627:10;13617:21;;;;:9;:21;;;;;:37;;;;;;13737:9;;13697:56;;13710:37;;13642:12;;13710;:37::i;13697:56::-;13667:86;;13789:69;13802:50;13815:19;13836:15;;13802:12;:50::i;13789:69::-;13766:92;;13894:66;13907:47;13920:19;13941:12;;13907;:47::i;13894:66::-;13869:91;;13994:76;14007:19;14028:41;14041:14;14056:12;14028;:41::i;13994:76::-;13973:97;;14107:47;14120:12;14134:19;14107:12;:47::i;:::-;14081:73;;-1:-1:-1;;;14180:10:0;:22;14165:37;;14241:1;14223:15;:19;:81;;;;-1:-1:-1;14292:12:0;;14246:43;14259:15;14292:12;14246;:43::i;:::-;:58;14223:81;14215:90;;;;;;;;14388:19;;-1:-1:-1;;;;;14388:19:0;14371:37;;;;:16;:37;;;;;;14358:69;;14424:1;14411:12;:14;;14358:69;14335:19;;-1:-1:-1;;;;;14335:19:0;;;14318:37;;;;:16;:37;;;;;;:109;;;;14508:19;;;;;14491:37;;;;14478:69;;14544:1;14531:12;:14;;14478:69;14455:19;;-1:-1:-1;;;;;14455:19:0;;;14438:37;;;;:16;:37;;;;;:109;;;;14564:25;;;;;;:60;;;14608:16;-1:-1:-1;;;;;14593:31:0;:11;-1:-1:-1;;;;;14593:31:0;;;14564:60;:118;;;;-1:-1:-1;14664:18:0;;-1:-1:-1;;;;;14628:32:0;;;;;;:19;:32;;;;;;:54;;14564:118;14560:372;;;-1:-1:-1;;;;;14744:29:0;;;;;;:16;:29;;;;;;14731:59;;14775:14;14731:12;:59::i;:::-;-1:-1:-1;;;;;14699:29:0;;;;;;:16;:29;;;;;:91;14560:372;;;14836:40;14849:10;14861:14;14836:12;:40::i;:::-;14823:53;;-1:-1:-1;;;14898:10:0;:22;14891:29;;14560:372;14963:1;14948:12;;:16;14944:340;;;14996:43;15009:12;;15023:15;14996:12;:43::i;:::-;14981:12;:58;;;-1:-1:-1;;;15074:22:0;;:37;;;;;;;15054:15;:58;;15074:37;;;;15054:58;;;;;15194:12;;-1:-1:-1;;;15169:22:0;;:37;;;;;;;;15150:15;:57;15142:4;:66;15134:4;:75;15127:82;;14944:340;;;15242:12;:30;;;14944:340;-1:-1:-1;;;;;15349:37:0;;;;;;:19;:37;;;;;;15336:68;;15388:15;15336:12;:68::i;:::-;-1:-1:-1;;;;;15296:37:0;;;;;;:19;:37;;;;;;;;:108;;;;15452:15;;15504:10;:28;;;;;:47;;15452:33;;;:40;;;15504:47;;;;;15569:49;;;;;;;15452:40;;-1:-1:-1;15590:10:0;;-1:-1:-1;;;;;;;;;;;15569:49:0;;;;;;;;15699:11;-1:-1:-1;;;;;15634:82:0;15650:16;-1:-1:-1;;;;;15634:82:0;;15668:12;15682:15;15712:3;15634:82;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;15736:15;15729:22;;2566:1;13365:2394;;;;;;;;;;;;;;:::o;449:127::-;529:5;;;548:6;;;;541:14;;;1595:14167;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;1595:14167:0;;;;-1:-1:-1;1595:14167:0;;;;;;;;;;;;;;

bzzr://772068cc83b342dabec905f192f49f1ebb4f58f254005a0d567254e854d57fe2