Contract Source Code (Solidity)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta
• Remix IDE

Outline

library SafeMath    - function add(uint a, uint b)    - function sub(uint a, uint b)    - function mul(uint a, uint b)    - function div(uint a, uint b)    - function ceil(uint a, uint m) library ExtendedMath    - function limitLessThan(uint a, uint b ...  contract ERC20Interface    - function totalSupply()    - function burned()    - function minted()    - function mintingEpoch()    - function balanceOf(address tokenOwner ...    - function allowance(address tokenOwner ...    - function transfer(address to, uint to ...    - function approve(address spender, uin ...    - function transferFrom(address from, a ...    - function getSymbol()    - function getName()    - function getDecimals()    - function getCirculatingSupply()    - function getDifficultyExponent()    - function getDecreaseStamp()    - function getChallengeNumber()    - function getMiningDifficulty()    - function getMiningTarget()    - function getPreviousSender()    - function getNextAward()    - function receiveApproval(address from ...    - function transferOwnership(address _n ...    - function acceptOwnership()  contract ZERO_X_BUTTv4 is ERC20Int ... *    - function premint(address account, uin ...    - function mint(uint256 nonce, bytes32 ...    - function _startNewMiningEpoch()    - function checkMintedNumber()    - function _reAdjustDifficulty()    - function sendTo(address from, address ...    - function transfer(address to, uint to ...    - function transferFrom(address from, a ...    - function pulseCheck()    - function getMiningReward()    - function multiTransfer(address[] memo ...    - function findTwoPercent(uint256 value ...    - function approve(address spender, uin ...    - function allowance(address tokenOwner ...    - function approveAndCall(address spend ...    - function ()    - function transferAnyERC20Token(addres ...    - function getSymbol()    - function getName()    - function getDecimals()    - function getCirculatingSupply()    - function getDifficultyExponent()    - function getDecreaseStamp()    - function getMintingEpoch()    - function getChallengeNumber()    - function getMiningDifficulty()    - function getMiningTarget()    - function getPreviousSender()    - function getNextAward()    - function getMintDigest(uint256 nonce, ...    - function checkMintSolution(uint256 no ...    - function totalSupply()    - function burned()    - function minted()    - function mintingEpoch()    - function balanceOf(address tokenOwner ...

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

/**
 *Submitted for verification at Etherscan.io on 2019-07-26
*/

pragma solidity ^ 0.5 .10;

// ----------------------------------------------------------------------------
//'ButtCoin' contract, version 2.3
// See: https://github.com/butttcoin/0xBUTT
// Symbol      : 0xBUTT
// Name        : ButtCoin
// Total supply: Dynamic
// Decimals    : 8
// ----------------------------------------------------------------------------

// ----------------------------------------------------------------------------
// Safe maths
// ----------------------------------------------------------------------------

library SafeMath {

//addition
    function add(uint a, uint b) internal pure returns(uint c) {
        c = a + b;
        require(c >= a);
    }

//subtraction
    function sub(uint a, uint b) internal pure returns(uint c) {
        require(b <= a);
        c = a - b;
    }

//multiplication
    function mul(uint a, uint b) internal pure returns(uint c) {
        c = a * b;
        require(a == 0 || c / a == b);
    }

//division
    function div(uint a, uint b) internal pure returns(uint c) {
        require(b > 0);
        c = a / b;
    }

    //ceil
    function ceil(uint a, uint m) internal pure returns(uint) {
        uint c = add(a, m);
        uint d = sub(c, 1);
        return mul(div(d, m), m);
    }

}

library ExtendedMath {
    //also known as the minimum
    function limitLessThan(uint a, uint b) internal pure returns(uint c) {
        if (a > b) return b;
        return a;
    }
}

// ----------------------------------------------------------------------------
// ERC Token Standard #20 Interface
// https://github.com/ethereum/EIPs/blob/master/EIPS/eip-20-token-standard.md
// ----------------------------------------------------------------------------

contract ERC20Interface {

    function totalSupply() public view returns(uint);
    function burned() public view returns(uint);
    function minted() public view returns(uint);
    function mintingEpoch() public view returns(uint);
    function balanceOf(address tokenOwner) public view returns(uint balance);
    function allowance(address tokenOwner, address spender) public view returns(uint remaining);
    function transfer(address to, uint tokens) public returns(bool success);
    function approve(address spender, uint tokens) public returns(bool success);
    function transferFrom(address from, address to, uint tokens) public returns(bool success);
    function getSymbol() public view returns(string memory); 
    function getName() public view returns(string memory); 
    function getDecimals() public view returns(uint8); 
    function getCirculatingSupply() public view returns(uint256); 
    function getDifficultyExponent() public view returns(uint); 
    function getDecreaseStamp() public view returns(uint); 
    function getChallengeNumber() public view returns(bytes32);
    function getMiningDifficulty() public view returns(uint);
    function getMiningTarget() public view returns(uint);
    function getPreviousSender() public view returns(address);
    function getNextAward() public view returns(uint);
 
    event Transfer(address indexed from, address indexed to, uint tokens);
    event Approval(address indexed tokenOwner, address indexed spender, uint tokens);
}

// ----------------------------------------------------------------------------
// Contract function to receive approval and execute function in one call
// ----------------------------------------------------------------------------
    contract ApproveAndCallFallBack {
      function receiveApproval(address from, uint256 tokens, address token, bytes memory data) public;
    }

// ----------------------------------------------------------------------------
// Owned contract
// ----------------------------------------------------------------------------

    contract Owned {
    
      address public owner;
      address public newOwner;
    
      event OwnershipTransferred(address indexed _from, address indexed _to);
    
      constructor() public {
        owner = msg.sender;
      }
    
      modifier onlyOwner {
        require(msg.sender == owner);
        _;
      }
    
      function transferOwnership(address _newOwner) public onlyOwner {
        newOwner = _newOwner;
      }
    
      function acceptOwnership() public {
        require(msg.sender == newOwner);
        emit OwnershipTransferred(owner, newOwner);
        owner = newOwner;
        newOwner = address(0);
      }
    }

// ----------------------------------------------------------------------------
// ERC20 Token, with the addition of symbol, name and decimals and an
// initial fixed supply
// ----------------------------------------------------------------------------

contract ZERO_X_BUTTv4 is ERC20Interface, Owned {

    using SafeMath for uint;
    using ExtendedMath for uint;
    
    string public symbol;
    string public name;
    uint8 public decimals;
    uint256 public _totalSupply;
    uint256 public _burned;
    
    uint private n;
    uint private nFutureTime;
    
    uint public _MAXIMUM_TARGET;
    
    bytes32 public challengeNumber; //generate a new one when a new reward is minted
    
    uint public rewardEra;
    
    address public lastRewardTo;
    uint public lastRewardAmount;
    uint public lastRewardEthBlockNumber;
    
    mapping(bytes32 => bytes32) solutionForChallenge;
    uint public tokensMinted;
    
    mapping(address => uint) balances;
    mapping(address => mapping(address => uint)) allowed;
    
    uint private basePercent;
    bool private locked = false;
    address private previousSender = address(0); //the previous user of a contract
    
    uint private miningTarget;
    uint private _mintingEpoch;
    
    event Mint(address indexed from, uint reward_amount, uint epochCount, bytes32 newChallengeNumber);

  // ------------------------------------------------------------------------
  // Constructor
  // ------------------------------------------------------------------------
    constructor() public {
        if (locked) revert();
            symbol = "0xBUTT";
            name = "ButtCoin";
            decimals = 8;
            basePercent = 100;
            n = 234; //the maxiumum target exponent
            _MAXIMUM_TARGET = 2 ** n;
            
            uint toMint = 33554432 * 10 ** uint(decimals); //This is an assumption and a kick-start, which resets when 75% is burned.
            premint(msg.sender, toMint);
            
            tokensMinted = toMint;
            _totalSupply = _totalSupply.add(toMint);
            rewardEra = 1;
            miningTarget = _MAXIMUM_TARGET;
            _startNewMiningEpoch();
            
            _mintingEpoch = 0;
            nFutureTime = now + 1097 days; // about 3 years in future
            
            locked = true;
    }

  // ------------------------------------------------------------------------
  // Minting tokens before the mining.
  // ------------------------------------------------------------------------
    function premint(address account, uint256 amount) internal {
        if (locked) revert();
        require(amount != 0);
        balances[account] = balances[account].add(amount);
        emit Transfer(address(0), account, amount);
    }

  // ------------------------------------------------------------------------
  // Minting of tokens during the mining.
  // ------------------------------------------------------------------------
    function mint(uint256 nonce, bytes32 challenge_digest) public returns(bool success) {
        //the PoW must contain work that includes a recent ethereum block hash (challenge number) and the msg.sender's address to prevent MITM attacks
        bytes32 digest = keccak256(abi.encodePacked(challengeNumber, msg.sender, nonce));
        
        //the challenge digest must match the expected
        if (digest != challenge_digest) revert();
        
        //the digest must be smaller than the target
        if (uint256(digest) > miningTarget) revert();
        
        //only allow one reward for each challenge
        bytes32 solution = solutionForChallenge[challengeNumber];
        solutionForChallenge[challengeNumber] = digest;
        if (solution != 0x0) revert(); //prevent the same answer from awarding twice
        
        uint reward_amount = getMiningReward();
        balances[msg.sender] = balances[msg.sender].add(reward_amount);
        tokensMinted = tokensMinted.add(reward_amount);
        _totalSupply = _totalSupply.add(tokensMinted);
        
        //set readonly diagnostics data
        lastRewardTo = msg.sender;
        lastRewardAmount = reward_amount;
        lastRewardEthBlockNumber = block.number;
        
        _startNewMiningEpoch();
        emit Mint(msg.sender, reward_amount, rewardEra, challengeNumber);
        
        return true;
    }

  // ------------------------------------------------------------------------
  // Starts new mining epoch, a new 'block' to be mined.
  // ------------------------------------------------------------------------
    function _startNewMiningEpoch() internal {
        rewardEra = rewardEra + 1; //increment the rewardEra
        checkMintedNumber();
        _reAdjustDifficulty();
        challengeNumber = blockhash(block.number - 1);
    }

    //checks if the minted number is too high, reduces a tracking number if it is
    function checkMintedNumber() internal {
        if (tokensMinted >= (2 ** (230))) { //This will not happen in the forseable future.
            //50 is neither too low or too high, we'd need additional tracking to get overall totals after this.
            tokensMinted = tokensMinted.div(2 ** (50));
            _burned = _burned.div(2 ** (50));
            _mintingEpoch = _mintingEpoch + 1;
        }
    }

  // ------------------------------------------------------------------------
  // Readjust difficulty
  // ------------------------------------------------------------------------
    function _reAdjustDifficulty() internal {
        n = n - 1;
        miningTarget = (2 ** n);
        nFutureTime = now + 1097 days;
        
        //if difficulty level became too much for the miners and coins are running out of a supply, we need to lower a difficulty to mint new coins...
        //this way, the coin does not become store of a value. Nevertheless, it may be required for the miners to do some extra work to lower a difficulty.
        uint treshold = (tokensMinted.mul(95)).div(100);
        if(_burned>=treshold){
            //lower difficulty to significant levels
            n = (n.mul(105)).div(100);
            if(n > 213){n = 213;}
            miningTarget = (2 ** n);
        }
    }
    
    
  // ------------------------------------------------------------------------
  // Transfer `tokens` from the `from` account to the `to` account
  // ------------------------------------------------------------------------

    function sendTo(address from, address to, uint tokens) public returns(bool success) {
        balances[from] = balances[from].sub(tokens);
        balances[to] = balances[to].add(tokens);
        emit Transfer(from, to, tokens);
        return true;
    }

    function transfer(address to, uint tokens) public returns(bool success) {
        pulseCheck(); 
        
        uint256 tokensToBurn = findTwoPercent(tokens);
        uint256 toZeroAddress = tokensToBurn.div(2);
        uint256 toPreviousAddress = tokensToBurn.sub(toZeroAddress);
        uint256 tokensToTransfer = tokens.sub(toZeroAddress.add(toPreviousAddress));
        
         sendTo(msg.sender, to, tokensToTransfer);
         sendTo(msg.sender, address(0), toZeroAddress);
        if (previousSender != to) { //Don't send the tokens to yourself
         sendTo(msg.sender, previousSender, toPreviousAddress);
          if (previousSender == address(0)) {
            _burned = _burned.add(toPreviousAddress);
          }
        }
        if (to == address(0)) {
          _burned = _burned.add(tokensToTransfer);
        }
        
        _burned = _burned.add(toZeroAddress);
        
        _totalSupply = totalSupply();
        previousSender = msg.sender;
        return true;
    }
  

    function transferFrom(address from, address to, uint tokens) public returns(bool success) {
        pulseCheck();
        
        uint256 tokensToBurn = findTwoPercent(tokens);
        uint256 toZeroAddress = tokensToBurn.div(2);
        uint256 toPreviousAddress = tokensToBurn - toZeroAddress;
        uint256 tokensToTransfer = tokens.sub(toZeroAddress).sub(toPreviousAddress);
        
        sendTo(from, to, tokensToTransfer);
        sendTo(from, address(0), toZeroAddress);
        if (previousSender != to) { //Don't send tokens to yourself
          sendTo(from, previousSender, toPreviousAddress);
          if (previousSender == address(0)) {
            _burned = _burned.add(toPreviousAddress);
          }
        }
        if (to == address(0)) {
          _burned = _burned.add(tokensToTransfer);
        }
        
        _burned = _burned.add(toZeroAddress);
        _totalSupply = totalSupply();
        previousSender = from;
        
        return true;
  }
  
  
    function pulseCheck() internal{
    //if either the coin is dead or the mining is stuck  
        if(nFutureTime<=now){
          n = (n.mul(150)).div(100); 
          miningTarget = (2 ** n);
          _startNewMiningEpoch();
        }  
    }
    
  // ------------------------------------------------------------------------
  // Gives miners their earned reward, zero if everything is mined.
  // ------------------------------------------------------------------------
    function getMiningReward() internal returns(uint) {
        uint reward = ((234 - n) ** 3) * 10 ** uint(decimals);
        return reward;
    }



  // ------------------------------------------------------------------------
  // Transfers to multiple accounts
  // ------------------------------------------------------------------------
    function multiTransfer(address[] memory receivers, uint256[] memory amounts) public {
        for (uint256 i = 0; i < receivers.length; i++) {
          transfer(receivers[i], amounts[i]);
        }
    }

  // ------------------------------------------------------------------------
  // Calculates 2% for burning
  // ------------------------------------------------------------------------
    function findTwoPercent(uint256 value) private view returns(uint256) {
        uint256 roundValue = value.ceil(basePercent);
        uint256 onePercent = roundValue.mul(basePercent).div(10000);
        return onePercent.mul(2);
    }

  // ------------------------------------------------------------------------
  // Token owner can approve for `spender` to transferFrom(...) `tokens`
  // from the token owner's account
  // https://github.com/ethereum/EIPs/blob/master/EIPS/eip-20-token-standard.md
  // recommends that there are no checks for the approval double-spend attack
  // as this should be implemented in user interfaces
  // ------------------------------------------------------------------------
    function approve(address spender, uint tokens) public returns(bool success) {
        allowed[msg.sender][spender] = tokens;
        emit Approval(msg.sender, spender, tokens);
        return true;
    }



  // ------------------------------------------------------------------------
  // Returns the amount of tokens approved by the owner that can be
  // transferred to the spender's account
  // ------------------------------------------------------------------------
  function allowance(address tokenOwner, address spender) public view returns(uint remaining) {
    return allowed[tokenOwner][spender];
  }

  // ------------------------------------------------------------------------
  // Token owner can approve for `spender` to transferFrom(...) `tokens`
  // from the token owner's account. The `spender` contract function
  // `receiveApproval(...)` is then executed
  // ------------------------------------------------------------------------
  function approveAndCall(address spender, uint tokens, bytes memory data) public returns(bool success) {
    allowed[msg.sender][spender] = tokens;
    emit Approval(msg.sender, spender, tokens);
    ApproveAndCallFallBack(spender).receiveApproval(msg.sender, tokens, address(this), data);
    return true;
  }

  // ------------------------------------------------------------------------
  // Do not accept ETH
  // ------------------------------------------------------------------------
  function () external payable {
    revert();
  }

  // ------------------------------------------------------------------------
  // Owner can transfer out any accidentally sent ERC20 tokens
  // ------------------------------------------------------------------------
  function transferAnyERC20Token(address tokenAddress, uint tokens) public onlyOwner returns(bool success) {
    return ERC20Interface(tokenAddress).transfer(owner, tokens);
  }
  
  
  
  //---------------------------------------VIEWS------------------------------------
  // -------------------------------------------------------------------------------
  // Gets token symbol
  // -------------------------------------------------------------------------------
    function getSymbol() public view returns(string memory) {
        return symbol;
    }
    
    
  // -------------------------------------------------------------------------------
  // Gets token name
  // -------------------------------------------------------------------------------
    function getName() public view returns(string memory) {
        return name;
    }
    
  // -------------------------------------------------------------------------------
  // Gets token decimals
  // -------------------------------------------------------------------------------
    function getDecimals() public view returns(uint8) {
        return decimals;
    }
 
  // -------------------------------------------------------------------------------
  // Gets circulating supply
  // -------------------------------------------------------------------------------
    function getCirculatingSupply() public view returns(uint256) {
        return _totalSupply;
    }    
    
  // -------------------------------------------------------------------------------
  // Gets difficulty exponent n from the 2^n
  // -------------------------------------------------------------------------------
    function getDifficultyExponent() public view returns(uint) {
        return n;
    }     
    
  // -------------------------------------------------------------------------------
  // Gets the timestamp of the moment when the decrease will drop if no increase in 
  // mining difficulty. This is to make sure coin is not in a dead-water
  // -------------------------------------------------------------------------------
    function getDecreaseStamp() public view returns(uint) {
        return _mintingEpoch;
    } 
    
  // -------------------------------------------------------------------------------
  // Gets the minting epoch, will probably remain a zero
  // -------------------------------------------------------------------------------
    function getMintingEpoch() public view returns(uint) {
        return nFutureTime;
    } 
  
  // -------------------------------------------------------------------------------
  // this is a recent ethereum block hash, used to prevent pre-mining future blocks.
  // -------------------------------------------------------------------------------
    function getChallengeNumber() public view returns(bytes32) {
        return challengeNumber;
    }

  // -------------------------------------------------------------------------------
  // Auto adjusts the number of zeroes the digest of the PoW solution requires.  
  // -------------------------------------------------------------------------------
    function getMiningDifficulty() public view returns(uint) {
        return _MAXIMUM_TARGET.div(miningTarget);
    }

  // -------------------------------------------------------------------------------
  // Returns the mining target.
  // -------------------------------------------------------------------------------
    function getMiningTarget() public view returns(uint) {
        return miningTarget;
    }

  // -------------------------------------------------------------------------------
  // Returns the previous sender address.
  // -------------------------------------------------------------------------------
    function getPreviousSender() public view returns(address) {
        return previousSender;
    }
    
  // -------------------------------------------------------------------------------
  // Returns the next mining award
  // -------------------------------------------------------------------------------
    function getNextAward() public view returns(uint) {
        return ((234 - n) ** 3) * 10 ** uint(decimals);
    }    
    
      // ------------------------------------------------------------------------
  // Used to help debugging the mining software.
  // ------------------------------------------------------------------------
    function getMintDigest(uint256 nonce, bytes32 challenge_digest, bytes32 challenge_number) public view returns(bytes32 digesttest) {
        bytes32 digest = keccak256(abi.encodePacked(challenge_number, msg.sender, nonce));
        return digest;
    }

  // ------------------------------------------------------------------------
  // Used to help debugging the mining software.
  // ------------------------------------------------------------------------
    function checkMintSolution(uint256 nonce, bytes32 challenge_digest, bytes32 challenge_number, uint testTarget) public view returns(bool success) {
        bytes32 digest = keccak256(abi.encodePacked(challenge_number, msg.sender, nonce));
        if (uint256(digest) > testTarget) revert();
        return (digest == challenge_digest);
    }

  // ------------------------------------------------------------------------
  // Total supply
  // ------------------------------------------------------------------------
    function totalSupply() public view returns(uint) {
        return tokensMinted.sub(_burned);
    }

  // ------------------------------------------------------------------------
  // Burned tokens
  // ------------------------------------------------------------------------
    function burned() public view returns(uint) {
        return _burned;
    }

  // ------------------------------------------------------------------------
  // Minted tokens
  // ------------------------------------------------------------------------
    function minted() public view returns(uint) {
        return tokensMinted;
    }

  // ------------------------------------------------------------------------
  // Minting epoch
  // ------------------------------------------------------------------------
    function mintingEpoch() public view returns(uint) {
        return _mintingEpoch;
    }

  // ------------------------------------------------------------------------
  // Get the token balance for account `tokenOwner`
  // ------------------------------------------------------------------------

  function balanceOf(address tokenOwner) public view returns(uint balance) {
    return balances[tokenOwner];
  }
    
  //---------------------------------------END VIEWS--------------------------------

}

• No Contract Security Audit Submitted- Submit Audit Here

[{"constant":true,"inputs":[],"name":"name","outputs":[{"name":"","type":"string"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"name":"spender","type":"address"},{"name":"tokens","type":"uint256"}],"name":"approve","outputs":[{"name":"success","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[],"name":"getSymbol","outputs":[{"name":"","type":"string"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"lastRewardEthBlockNumber","outputs":[{"name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"getName","outputs":[{"name":"","type":"string"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"getMiningDifficulty","outputs":[{"name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"name":"nonce","type":"uint256"},{"name":"challenge_digest","type":"bytes32"}],"name":"mint","outputs":[{"name":"success","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[],"name":"totalSupply","outputs":[{"name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"name":"receivers","type":"address[]"},{"name":"amounts","type":"uint256[]"}],"name":"multiTransfer","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"name":"from","type":"address"},{"name":"to","type":"address"},{"name":"tokens","type":"uint256"}],"name":"transferFrom","outputs":[{"name":"success","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[],"name":"getCirculatingSupply","outputs":[{"name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"getPreviousSender","outputs":[{"name":"","type":"address"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"rewardEra","outputs":[{"name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"decimals","outputs":[{"name":"","type":"uint8"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"getMintingEpoch","outputs":[{"name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"getMiningTarget","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":"_burned","outputs":[{"name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"getChallengeNumber","outputs":[{"name":"","type":"bytes32"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"minted","outputs":[{"name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"tokensMinted","outputs":[{"name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"lastRewardTo","outputs":[{"name":"","type":"address"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[{"name":"tokenOwner","type":"address"}],"name":"balanceOf","outputs":[{"name":"balance","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"burned","outputs":[{"name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[],"name":"acceptOwnership","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[{"name":"nonce","type":"uint256"},{"name":"challenge_digest","type":"bytes32"},{"name":"challenge_number","type":"bytes32"},{"name":"testTarget","type":"uint256"}],"name":"checkMintSolution","outputs":[{"name":"success","type":"bool"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"_MAXIMUM_TARGET","outputs":[{"name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"challengeNumber","outputs":[{"name":"","type":"bytes32"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"owner","outputs":[{"name":"","type":"address"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"symbol","outputs":[{"name":"","type":"string"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[{"name":"nonce","type":"uint256"},{"name":"challenge_digest","type":"bytes32"},{"name":"challenge_number","type":"bytes32"}],"name":"getMintDigest","outputs":[{"name":"digesttest","type":"bytes32"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"name":"to","type":"address"},{"name":"tokens","type":"uint256"}],"name":"transfer","outputs":[{"name":"success","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"name":"from","type":"address"},{"name":"to","type":"address"},{"name":"tokens","type":"uint256"}],"name":"sendTo","outputs":[{"name":"success","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[],"name":"lastRewardAmount","outputs":[{"name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"mintingEpoch","outputs":[{"name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"getDifficultyExponent","outputs":[{"name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"name":"spender","type":"address"},{"name":"tokens","type":"uint256"},{"name":"data","type":"bytes"}],"name":"approveAndCall","outputs":[{"name":"success","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[],"name":"newOwner","outputs":[{"name":"","type":"address"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"name":"tokenAddress","type":"address"},{"name":"tokens","type":"uint256"}],"name":"transferAnyERC20Token","outputs":[{"name":"success","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[{"name":"tokenOwner","type":"address"},{"name":"spender","type":"address"}],"name":"allowance","outputs":[{"name":"remaining","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"getDecreaseStamp","outputs":[{"name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"getDecimals","outputs":[{"name":"","type":"uint8"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"name":"_newOwner","type":"address"}],"name":"transferOwnership","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[],"name":"getNextAward","outputs":[{"name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"inputs":[],"payable":false,"stateMutability":"nonpayable","type":"constructor"},{"payable":true,"stateMutability":"payable","type":"fallback"},{"anonymous":false,"inputs":[{"indexed":true,"name":"from","type":"address"},{"indexed":false,"name":"reward_amount","type":"uint256"},{"indexed":false,"name":"epochCount","type":"uint256"},{"indexed":false,"name":"newChallengeNumber","type":"bytes32"}],"name":"Mint","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"name":"_from","type":"address"},{"indexed":true,"name":"_to","type":"address"}],"name":"OwnershipTransferred","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":"tokenOwner","type":"address"},{"indexed":true,"name":"spender","type":"address"},{"indexed":false,"name":"tokens","type":"uint256"}],"name":"Approval","type":"event"}]

60806040526000601460006101000a81548160ff0219169083151502179055506000601460016101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055503480156200006e57600080fd5b50336000806101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff160217905550601460009054906101000a900460ff1615620000ca57600080fd5b6040518060400160405280600681526020017f307842555454000000000000000000000000000000000000000000000000000081525060029080519060200190620001179291906200057b565b506040518060400160405280600881526020017f42757474436f696e00000000000000000000000000000000000000000000000081525060039080519060200190620001659291906200057b565b506008600460006101000a81548160ff021916908360ff160217905550606460138190555060ea60078190555060075460020a6009819055506000600460009054906101000a900460ff1660ff16600a0a6302000000029050620001d033826200025160201b60201c565b80601081905550620001f3816005546200038160201b620026f91790919060201c565b6005819055506001600b819055506009546015819055506200021a6200039c60201b60201c565b60006016819055506305a63d8042016008819055506001601460006101000a81548160ff021916908315150217905550506200062a565b601460009054906101000a900460ff16156200026c57600080fd5b60008114156200027b57600080fd5b620002d481601160008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546200038160201b620026f91790919060201c565b601160008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508173ffffffffffffffffffffffffffffffffffffffff16600073ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef836040518082815260200191505060405180910390a35050565b60008183019050828110156200039657600080fd5b92915050565b6001600b5401600b81905550620003b8620003d560201b60201c565b620003c86200045d60201b60201c565b6001430340600a81905550565b7c4000000000000000000000000000000000000000000000000000000000601054106200045b576200041f66040000000000006010546200052960201b620026ad1790919060201c565b6010819055506200044866040000000000006006546200052960201b620026ad1790919060201c565b6006819055506001601654016016819055505b565b60016007540360078190555060075460020a6015819055506305a63d8042016008819055506000620004bb6064620004a7605f6010546200054b60201b620029301790919060201c565b6200052960201b620026ad1790919060201c565b905080600654106200052657620004fe6064620004ea60696007546200054b60201b620029301790919060201c565b6200052960201b620026ad1790919060201c565b60078190555060d56007541115620005195760d56007819055505b60075460020a6015819055505b50565b60008082116200053857600080fd5b8183816200054257fe5b04905092915050565b6000818302905060008314806200056b5750818382816200056857fe5b04145b6200057557600080fd5b92915050565b828054600181600116156101000203166002900490600052602060002090601f016020900481019282601f10620005be57805160ff1916838001178555620005ef565b82800160010185558215620005ef579182015b82811115620005ee578251825591602001919060010190620005d1565b5b509050620005fe919062000602565b5090565b6200062791905b808211156200062357600081600090555060010162000609565b5090565b90565b6129cd806200063a6000396000f3fe6080604052600436106102675760003560e01c806370a0823111610144578063bafedcaa116100b6578063dc39d06d1161007a578063dc39d06d14610f5b578063dd62ed3e14610fce578063e8ca8db414611053578063f0141d841461107e578063f2fde38b146110af578063f40145261461110057610267565b8063bafedcaa14610d79578063c94ea06a14610da4578063c968642514610dcf578063cae9ca5114610dfa578063d4ee1d9014610f0457610267565b80638ae0368b116101085780638ae0368b14610afe5780638da5cb5b14610b2957806395d89b4114610b8057806397566aa014610c10578063a9059cbb14610c73578063ae63932914610ce657610267565b806370a08231146109bb57806373f4256114610a2057806379ba509714610a4b57806381269a5614610a6257806387a2a9d614610ad357610267565b80632b86a449116101dd5780633eaaf86b116101a15780633eaaf86b1461088d578063405e3cc1146108b85780634ef37628146108e35780634f02c4201461090e5780636de9f32b146109395780636fd396d61461096457610267565b80632b86a449146107845780632d38bf7a146107db578063313ce56714610806578063319ae5731461083757806332e997081461086257610267565b806317da485f1161022f57806317da485f146104ba5780631801fbe5146104e557806318160ddd146105425780631e89d5451461056d57806323b872dd146106c65780632b112e491461075957610267565b806306fdde031461026c578063095ea7b3146102fc578063150704011461036f578063163aa00d146103ff57806317d7de7c1461042a575b600080fd5b34801561027857600080fd5b5061028161112b565b6040518080602001828103825283818151815260200191508051906020019080838360005b838110156102c15780820151818401526020810190506102a6565b50505050905090810190601f1680156102ee5780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b34801561030857600080fd5b506103556004803603604081101561031f57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803590602001909291905050506111c9565b604051808215151515815260200191505060405180910390f35b34801561037b57600080fd5b506103846112bb565b6040518080602001828103825283818151815260200191508051906020019080838360005b838110156103c45780820151818401526020810190506103a9565b50505050905090810190601f1680156103f15780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b34801561040b57600080fd5b5061041461135d565b6040518082815260200191505060405180910390f35b34801561043657600080fd5b5061043f611363565b6040518080602001828103825283818151815260200191508051906020019080838360005b8381101561047f578082015181840152602081019050610464565b50505050905090810190601f1680156104ac5780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b3480156104c657600080fd5b506104cf611405565b6040518082815260200191505060405180910390f35b3480156104f157600080fd5b506105286004803603604081101561050857600080fd5b810190808035906020019092919080359060200190929190505050611423565b604051808215151515815260200191505060405180910390f35b34801561054e57600080fd5b50610557611690565b6040518082815260200191505060405180910390f35b34801561057957600080fd5b506106c46004803603604081101561059057600080fd5b81019080803590602001906401000000008111156105ad57600080fd5b8201836020820111156105bf57600080fd5b803590602001918460208302840111640100000000831117156105e157600080fd5b919080806020026020016040519081016040528093929190818152602001838360200280828437600081840152601f19601f8201169050808301925050505050505091929192908035906020019064010000000081111561064157600080fd5b82018360208201111561065357600080fd5b8035906020019184602083028401116401000000008311171561067557600080fd5b919080806020026020016040519081016040528093929190818152602001838360200280828437600081840152601f19601f8201169050808301925050505050505091929192905050506116ae565b005b3480156106d257600080fd5b5061073f600480360360608110156106e957600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050611700565b604051808215151515815260200191505060405180910390f35b34801561076557600080fd5b5061076e611939565b6040518082815260200191505060405180910390f35b34801561079057600080fd5b50610799611943565b604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b3480156107e757600080fd5b506107f061196d565b6040518082815260200191505060405180910390f35b34801561081257600080fd5b5061081b611973565b604051808260ff1660ff16815260200191505060405180910390f35b34801561084357600080fd5b5061084c611986565b6040518082815260200191505060405180910390f35b34801561086e57600080fd5b50610877611990565b6040518082815260200191505060405180910390f35b34801561089957600080fd5b506108a261199a565b6040518082815260200191505060405180910390f35b3480156108c457600080fd5b506108cd6119a0565b6040518082815260200191505060405180910390f35b3480156108ef57600080fd5b506108f86119a6565b6040518082815260200191505060405180910390f35b34801561091a57600080fd5b506109236119b0565b6040518082815260200191505060405180910390f35b34801561094557600080fd5b5061094e6119ba565b6040518082815260200191505060405180910390f35b34801561097057600080fd5b506109796119c0565b604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b3480156109c757600080fd5b50610a0a600480360360208110156109de57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff1690602001909291905050506119e6565b6040518082815260200191505060405180910390f35b348015610a2c57600080fd5b50610a35611a2f565b6040518082815260200191505060405180910390f35b348015610a5757600080fd5b50610a60611a39565b005b348015610a6e57600080fd5b50610ab960048036036080811015610a8557600080fd5b8101908080359060200190929190803590602001909291908035906020019092919080359060200190929190505050611bd6565b604051808215151515815260200191505060405180910390f35b348015610adf57600080fd5b50610ae8611c5f565b6040518082815260200191505060405180910390f35b348015610b0a57600080fd5b50610b13611c65565b6040518082815260200191505060405180910390f35b348015610b3557600080fd5b50610b3e611c6b565b604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b348015610b8c57600080fd5b50610b95611c90565b6040518080602001828103825283818151815260200191508051906020019080838360005b83811015610bd5578082015181840152602081019050610bba565b50505050905090810190601f168015610c025780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b348015610c1c57600080fd5b50610c5d60048036036060811015610c3357600080fd5b81019080803590602001909291908035906020019092919080359060200190929190505050611d2e565b6040518082815260200191505060405180910390f35b348015610c7f57600080fd5b50610ccc60048036036040811015610c9657600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050611da4565b604051808215151515815260200191505060405180910390f35b348015610cf257600080fd5b50610d5f60048036036060811015610d0957600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050611fec565b604051808215151515815260200191505060405180910390f35b348015610d8557600080fd5b50610d8e612188565b6040518082815260200191505060405180910390f35b348015610db057600080fd5b50610db961218e565b6040518082815260200191505060405180910390f35b348015610ddb57600080fd5b50610de4612198565b6040518082815260200191505060405180910390f35b348015610e0657600080fd5b50610eea60048036036060811015610e1d57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff1690602001909291908035906020019092919080359060200190640100000000811115610e6457600080fd5b820183602082011115610e7657600080fd5b80359060200191846001830284011164010000000083111715610e9857600080fd5b91908080601f016020809104026020016040519081016040528093929190818152602001838380828437600081840152601f19601f8201169050808301925050505050505091929192905050506121a2565b604051808215151515815260200191505060405180910390f35b348015610f1057600080fd5b50610f196123d5565b604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b348015610f6757600080fd5b50610fb460048036036040811015610f7e57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803590602001909291905050506123fb565b604051808215151515815260200191505060405180910390f35b348015610fda57600080fd5b5061103d60048036036040811015610ff157600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050612541565b6040518082815260200191505060405180910390f35b34801561105f57600080fd5b506110686125c8565b6040518082815260200191505060405180910390f35b34801561108a57600080fd5b506110936125d2565b604051808260ff1660ff16815260200191505060405180910390f35b3480156110bb57600080fd5b506110fe600480360360208110156110d257600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff1690602001909291905050506125e9565b005b34801561110c57600080fd5b50611115612686565b6040518082815260200191505060405180910390f35b60038054600181600116156101000203166002900480601f0160208091040260200160405190810160405280929190818152602001828054600181600116156101000203166002900480156111c15780601f10611196576101008083540402835291602001916111c1565b820191906000526020600020905b8154815290600101906020018083116111a457829003601f168201915b505050505081565b600081601260003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508273ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925846040518082815260200191505060405180910390a36001905092915050565b606060028054600181600116156101000203166002900480601f0160208091040260200160405190810160405280929190818152602001828054600181600116156101000203166002900480156113535780601f1061132857610100808354040283529160200191611353565b820191906000526020600020905b81548152906001019060200180831161133657829003601f168201915b5050505050905090565b600e5481565b606060038054600181600116156101000203166002900480601f0160208091040260200160405190810160405280929190818152602001828054600181600116156101000203166002900480156113fb5780601f106113d0576101008083540402835291602001916113fb565b820191906000526020600020905b8154815290600101906020018083116113de57829003601f168201915b5050505050905090565b600061141e6015546009546126ad90919063ffffffff16565b905090565b600080600a543385604051602001808481526020018373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1660601b8152601401828152602001935050505060405160208183030381529060405280519060200120905082811461149c57600080fd5b6015548160001c11156114ae57600080fd5b6000600f6000600a54815260200190815260200160002054905081600f6000600a548152602001908152602001600020819055506000801b81146114f157600080fd5b60006114fb6126cd565b905061154f81601160003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546126f990919063ffffffff16565b601160003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055506115a7816010546126f990919063ffffffff16565b6010819055506115c46010546005546126f990919063ffffffff16565b60058190555033600c60006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555080600d8190555043600e81905550611621612713565b3373ffffffffffffffffffffffffffffffffffffffff167fcf6fbb9dcea7d07263ab4f5c3a92f53af33dffc421d9d121e1c74b307e68189d82600b54600a5460405180848152602001838152602001828152602001935050505060405180910390a26001935050505092915050565b60006116a960065460105461273c90919063ffffffff16565b905090565b60008090505b82518110156116fb576116ed8382815181106116cc57fe5b60200260200101518383815181106116e057fe5b6020026020010151611da4565b5080806001019150506116b4565b505050565b600061170a612756565b6000611715836127a5565b9050600061172d6002836126ad90919063ffffffff16565b905060008183039050600061175d8261174f858961273c90919063ffffffff16565b61273c90919063ffffffff16565b905061176a888883611fec565b5061177788600085611fec565b508673ffffffffffffffffffffffffffffffffffffffff16601460019054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff161461186f576117fa88601460019054906101000a900473ffffffffffffffffffffffffffffffffffffffff1684611fec565b50600073ffffffffffffffffffffffffffffffffffffffff16601460019054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16141561186e57611867826006546126f990919063ffffffff16565b6006819055505b5b600073ffffffffffffffffffffffffffffffffffffffff168773ffffffffffffffffffffffffffffffffffffffff1614156118c0576118b9816006546126f990919063ffffffff16565b6006819055505b6118d5836006546126f990919063ffffffff16565b6006819055506118e3611690565b60058190555087601460016101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555060019450505050509392505050565b6000600554905090565b6000601460019054906101000a900473ffffffffffffffffffffffffffffffffffffffff16905090565b600b5481565b600460009054906101000a900460ff1681565b6000600854905090565b6000601554905090565b60055481565b60065481565b6000600a54905090565b6000601054905090565b60105481565b600c60009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b6000601160008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020549050919050565b6000600654905090565b600160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1614611a9357600080fd5b600160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff166000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff167f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e060405160405180910390a3600160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff166000806101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055506000600160006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff160217905550565b600080833387604051602001808481526020018373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1660601b81526014018281526020019350505050604051602081830303815290604052805190602001209050828160001c1115611c5157600080fd5b848114915050949350505050565b60095481565b600a5481565b6000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b60028054600181600116156101000203166002900480601f016020809104026020016040519081016040528092919081815260200182805460018160011615610100020316600290048015611d265780601f10611cfb57610100808354040283529160200191611d26565b820191906000526020600020905b815481529060010190602001808311611d0957829003601f168201915b505050505081565b600080823386604051602001808481526020018373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1660601b81526014018281526020019350505050604051602081830303815290604052805190602001209050809150509392505050565b6000611dae612756565b6000611db9836127a5565b90506000611dd16002836126ad90919063ffffffff16565b90506000611de8828461273c90919063ffffffff16565b90506000611e11611e0283856126f990919063ffffffff16565b8761273c90919063ffffffff16565b9050611e1e338883611fec565b50611e2b33600085611fec565b508673ffffffffffffffffffffffffffffffffffffffff16601460019054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1614611f2357611eae33601460019054906101000a900473ffffffffffffffffffffffffffffffffffffffff1684611fec565b50600073ffffffffffffffffffffffffffffffffffffffff16601460019054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff161415611f2257611f1b826006546126f990919063ffffffff16565b6006819055505b5b600073ffffffffffffffffffffffffffffffffffffffff168773ffffffffffffffffffffffffffffffffffffffff161415611f7457611f6d816006546126f990919063ffffffff16565b6006819055505b611f89836006546126f990919063ffffffff16565b600681905550611f97611690565b60058190555033601460016101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff160217905550600194505050505092915050565b600061204082601160008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461273c90919063ffffffff16565b601160008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055506120d582601160008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546126f990919063ffffffff16565b601160008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508273ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef846040518082815260200191505060405180910390a3600190509392505050565b600d5481565b6000601654905090565b6000600754905090565b600082601260003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508373ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925856040518082815260200191505060405180910390a38373ffffffffffffffffffffffffffffffffffffffff16638f4ffcb1338530866040518563ffffffff1660e01b8152600401808573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020018481526020018373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200180602001828103825283818151815260200191508051906020019080838360005b83811015612363578082015181840152602081019050612348565b50505050905090810190601f1680156123905780820380516001836020036101000a031916815260200191505b5095505050505050600060405180830381600087803b1580156123b257600080fd5b505af11580156123c6573d6000803e3d6000fd5b50505050600190509392505050565b600160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b60008060009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff161461245657600080fd5b8273ffffffffffffffffffffffffffffffffffffffff1663a9059cbb6000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff16846040518363ffffffff1660e01b8152600401808373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200182815260200192505050602060405180830381600087803b1580156124fe57600080fd5b505af1158015612512573d6000803e3d6000fd5b505050506040513d602081101561252857600080fd5b8101908080519060200190929190505050905092915050565b6000601260008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054905092915050565b6000601654905090565b6000600460009054906101000a900460ff16905090565b6000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff161461264257600080fd5b80600160006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555050565b6000600460009054906101000a900460ff1660ff16600a0a600360075460ea030a02905090565b60008082116126bb57600080fd5b8183816126c457fe5b04905092915050565b600080600460009054906101000a900460ff1660ff16600a0a600360075460ea030a0290508091505090565b600081830190508281101561270d57600080fd5b92915050565b6001600b5401600b81905550612727612809565b61272f612882565b6001430340600a81905550565b60008282111561274b57600080fd5b818303905092915050565b42600854116127a357612788606461277a609660075461293090919063ffffffff16565b6126ad90919063ffffffff16565b60078190555060075460020a6015819055506127a2612713565b5b565b6000806127bd6013548461295d90919063ffffffff16565b905060006127ea6127106127dc6013548561293090919063ffffffff16565b6126ad90919063ffffffff16565b905061280060028261293090919063ffffffff16565b92505050919050565b7c4000000000000000000000000000000000000000000000000000000000601054106128805761284b66040000000000006010546126ad90919063ffffffff16565b60108190555061286d66040000000000006006546126ad90919063ffffffff16565b6006819055506001601654016016819055505b565b60016007540360078190555060075460020a6015819055506305a63d80420160088190555060006128d260646128c4605f60105461293090919063ffffffff16565b6126ad90919063ffffffff16565b9050806006541061292d5761290660646128f8606960075461293090919063ffffffff16565b6126ad90919063ffffffff16565b60078190555060d560075411156129205760d56007819055505b60075460020a6015819055505b50565b60008183029050600083148061294e57508183828161294b57fe5b04145b61295757600080fd5b92915050565b60008061296a84846126f9565b9050600061297982600161273c565b905061298e61298882866126ad565b85612930565b925050509291505056fea265627a7a72305820bb480c5c5fc3aff098176a7d63696f2d44b08df828db17e2e9c1ea50e922ef6e64736f6c634300050a0032

0x6080604052600436106102675760003560e01c806370a0823111610144578063bafedcaa116100b6578063dc39d06d1161007a578063dc39d06d14610f5b578063dd62ed3e14610fce578063e8ca8db414611053578063f0141d841461107e578063f2fde38b146110af578063f40145261461110057610267565b8063bafedcaa14610d79578063c94ea06a14610da4578063c968642514610dcf578063cae9ca5114610dfa578063d4ee1d9014610f0457610267565b80638ae0368b116101085780638ae0368b14610afe5780638da5cb5b14610b2957806395d89b4114610b8057806397566aa014610c10578063a9059cbb14610c73578063ae63932914610ce657610267565b806370a08231146109bb57806373f4256114610a2057806379ba509714610a4b57806381269a5614610a6257806387a2a9d614610ad357610267565b80632b86a449116101dd5780633eaaf86b116101a15780633eaaf86b1461088d578063405e3cc1146108b85780634ef37628146108e35780634f02c4201461090e5780636de9f32b146109395780636fd396d61461096457610267565b80632b86a449146107845780632d38bf7a146107db578063313ce56714610806578063319ae5731461083757806332e997081461086257610267565b806317da485f1161022f57806317da485f146104ba5780631801fbe5146104e557806318160ddd146105425780631e89d5451461056d57806323b872dd146106c65780632b112e491461075957610267565b806306fdde031461026c578063095ea7b3146102fc578063150704011461036f578063163aa00d146103ff57806317d7de7c1461042a575b600080fd5b34801561027857600080fd5b5061028161112b565b6040518080602001828103825283818151815260200191508051906020019080838360005b838110156102c15780820151818401526020810190506102a6565b50505050905090810190601f1680156102ee5780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b34801561030857600080fd5b506103556004803603604081101561031f57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803590602001909291905050506111c9565b604051808215151515815260200191505060405180910390f35b34801561037b57600080fd5b506103846112bb565b6040518080602001828103825283818151815260200191508051906020019080838360005b838110156103c45780820151818401526020810190506103a9565b50505050905090810190601f1680156103f15780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b34801561040b57600080fd5b5061041461135d565b6040518082815260200191505060405180910390f35b34801561043657600080fd5b5061043f611363565b6040518080602001828103825283818151815260200191508051906020019080838360005b8381101561047f578082015181840152602081019050610464565b50505050905090810190601f1680156104ac5780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b3480156104c657600080fd5b506104cf611405565b6040518082815260200191505060405180910390f35b3480156104f157600080fd5b506105286004803603604081101561050857600080fd5b810190808035906020019092919080359060200190929190505050611423565b604051808215151515815260200191505060405180910390f35b34801561054e57600080fd5b50610557611690565b6040518082815260200191505060405180910390f35b34801561057957600080fd5b506106c46004803603604081101561059057600080fd5b81019080803590602001906401000000008111156105ad57600080fd5b8201836020820111156105bf57600080fd5b803590602001918460208302840111640100000000831117156105e157600080fd5b919080806020026020016040519081016040528093929190818152602001838360200280828437600081840152601f19601f8201169050808301925050505050505091929192908035906020019064010000000081111561064157600080fd5b82018360208201111561065357600080fd5b8035906020019184602083028401116401000000008311171561067557600080fd5b919080806020026020016040519081016040528093929190818152602001838360200280828437600081840152601f19601f8201169050808301925050505050505091929192905050506116ae565b005b3480156106d257600080fd5b5061073f600480360360608110156106e957600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050611700565b604051808215151515815260200191505060405180910390f35b34801561076557600080fd5b5061076e611939565b6040518082815260200191505060405180910390f35b34801561079057600080fd5b50610799611943565b604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b3480156107e757600080fd5b506107f061196d565b6040518082815260200191505060405180910390f35b34801561081257600080fd5b5061081b611973565b604051808260ff1660ff16815260200191505060405180910390f35b34801561084357600080fd5b5061084c611986565b6040518082815260200191505060405180910390f35b34801561086e57600080fd5b50610877611990565b6040518082815260200191505060405180910390f35b34801561089957600080fd5b506108a261199a565b6040518082815260200191505060405180910390f35b3480156108c457600080fd5b506108cd6119a0565b6040518082815260200191505060405180910390f35b3480156108ef57600080fd5b506108f86119a6565b6040518082815260200191505060405180910390f35b34801561091a57600080fd5b506109236119b0565b6040518082815260200191505060405180910390f35b34801561094557600080fd5b5061094e6119ba565b6040518082815260200191505060405180910390f35b34801561097057600080fd5b506109796119c0565b604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b3480156109c757600080fd5b50610a0a600480360360208110156109de57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff1690602001909291905050506119e6565b6040518082815260200191505060405180910390f35b348015610a2c57600080fd5b50610a35611a2f565b6040518082815260200191505060405180910390f35b348015610a5757600080fd5b50610a60611a39565b005b348015610a6e57600080fd5b50610ab960048036036080811015610a8557600080fd5b8101908080359060200190929190803590602001909291908035906020019092919080359060200190929190505050611bd6565b604051808215151515815260200191505060405180910390f35b348015610adf57600080fd5b50610ae8611c5f565b6040518082815260200191505060405180910390f35b348015610b0a57600080fd5b50610b13611c65565b6040518082815260200191505060405180910390f35b348015610b3557600080fd5b50610b3e611c6b565b604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b348015610b8c57600080fd5b50610b95611c90565b6040518080602001828103825283818151815260200191508051906020019080838360005b83811015610bd5578082015181840152602081019050610bba565b50505050905090810190601f168015610c025780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b348015610c1c57600080fd5b50610c5d60048036036060811015610c3357600080fd5b81019080803590602001909291908035906020019092919080359060200190929190505050611d2e565b6040518082815260200191505060405180910390f35b348015610c7f57600080fd5b50610ccc60048036036040811015610c9657600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050611da4565b604051808215151515815260200191505060405180910390f35b348015610cf257600080fd5b50610d5f60048036036060811015610d0957600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050611fec565b604051808215151515815260200191505060405180910390f35b348015610d8557600080fd5b50610d8e612188565b6040518082815260200191505060405180910390f35b348015610db057600080fd5b50610db961218e565b6040518082815260200191505060405180910390f35b348015610ddb57600080fd5b50610de4612198565b6040518082815260200191505060405180910390f35b348015610e0657600080fd5b50610eea60048036036060811015610e1d57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff1690602001909291908035906020019092919080359060200190640100000000811115610e6457600080fd5b820183602082011115610e7657600080fd5b80359060200191846001830284011164010000000083111715610e9857600080fd5b91908080601f016020809104026020016040519081016040528093929190818152602001838380828437600081840152601f19601f8201169050808301925050505050505091929192905050506121a2565b604051808215151515815260200191505060405180910390f35b348015610f1057600080fd5b50610f196123d5565b604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b348015610f6757600080fd5b50610fb460048036036040811015610f7e57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803590602001909291905050506123fb565b604051808215151515815260200191505060405180910390f35b348015610fda57600080fd5b5061103d60048036036040811015610ff157600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050612541565b6040518082815260200191505060405180910390f35b34801561105f57600080fd5b506110686125c8565b6040518082815260200191505060405180910390f35b34801561108a57600080fd5b506110936125d2565b604051808260ff1660ff16815260200191505060405180910390f35b3480156110bb57600080fd5b506110fe600480360360208110156110d257600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff1690602001909291905050506125e9565b005b34801561110c57600080fd5b50611115612686565b6040518082815260200191505060405180910390f35b60038054600181600116156101000203166002900480601f0160208091040260200160405190810160405280929190818152602001828054600181600116156101000203166002900480156111c15780601f10611196576101008083540402835291602001916111c1565b820191906000526020600020905b8154815290600101906020018083116111a457829003601f168201915b505050505081565b600081601260003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508273ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925846040518082815260200191505060405180910390a36001905092915050565b606060028054600181600116156101000203166002900480601f0160208091040260200160405190810160405280929190818152602001828054600181600116156101000203166002900480156113535780601f1061132857610100808354040283529160200191611353565b820191906000526020600020905b81548152906001019060200180831161133657829003601f168201915b5050505050905090565b600e5481565b606060038054600181600116156101000203166002900480601f0160208091040260200160405190810160405280929190818152602001828054600181600116156101000203166002900480156113fb5780601f106113d0576101008083540402835291602001916113fb565b820191906000526020600020905b8154815290600101906020018083116113de57829003601f168201915b5050505050905090565b600061141e6015546009546126ad90919063ffffffff16565b905090565b600080600a543385604051602001808481526020018373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1660601b8152601401828152602001935050505060405160208183030381529060405280519060200120905082811461149c57600080fd5b6015548160001c11156114ae57600080fd5b6000600f6000600a54815260200190815260200160002054905081600f6000600a548152602001908152602001600020819055506000801b81146114f157600080fd5b60006114fb6126cd565b905061154f81601160003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546126f990919063ffffffff16565b601160003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055506115a7816010546126f990919063ffffffff16565b6010819055506115c46010546005546126f990919063ffffffff16565b60058190555033600c60006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555080600d8190555043600e81905550611621612713565b3373ffffffffffffffffffffffffffffffffffffffff167fcf6fbb9dcea7d07263ab4f5c3a92f53af33dffc421d9d121e1c74b307e68189d82600b54600a5460405180848152602001838152602001828152602001935050505060405180910390a26001935050505092915050565b60006116a960065460105461273c90919063ffffffff16565b905090565b60008090505b82518110156116fb576116ed8382815181106116cc57fe5b60200260200101518383815181106116e057fe5b6020026020010151611da4565b5080806001019150506116b4565b505050565b600061170a612756565b6000611715836127a5565b9050600061172d6002836126ad90919063ffffffff16565b905060008183039050600061175d8261174f858961273c90919063ffffffff16565b61273c90919063ffffffff16565b905061176a888883611fec565b5061177788600085611fec565b508673ffffffffffffffffffffffffffffffffffffffff16601460019054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff161461186f576117fa88601460019054906101000a900473ffffffffffffffffffffffffffffffffffffffff1684611fec565b50600073ffffffffffffffffffffffffffffffffffffffff16601460019054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16141561186e57611867826006546126f990919063ffffffff16565b6006819055505b5b600073ffffffffffffffffffffffffffffffffffffffff168773ffffffffffffffffffffffffffffffffffffffff1614156118c0576118b9816006546126f990919063ffffffff16565b6006819055505b6118d5836006546126f990919063ffffffff16565b6006819055506118e3611690565b60058190555087601460016101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555060019450505050509392505050565b6000600554905090565b6000601460019054906101000a900473ffffffffffffffffffffffffffffffffffffffff16905090565b600b5481565b600460009054906101000a900460ff1681565b6000600854905090565b6000601554905090565b60055481565b60065481565b6000600a54905090565b6000601054905090565b60105481565b600c60009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b6000601160008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020549050919050565b6000600654905090565b600160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1614611a9357600080fd5b600160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff166000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff167f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e060405160405180910390a3600160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff166000806101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055506000600160006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff160217905550565b600080833387604051602001808481526020018373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1660601b81526014018281526020019350505050604051602081830303815290604052805190602001209050828160001c1115611c5157600080fd5b848114915050949350505050565b60095481565b600a5481565b6000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b60028054600181600116156101000203166002900480601f016020809104026020016040519081016040528092919081815260200182805460018160011615610100020316600290048015611d265780601f10611cfb57610100808354040283529160200191611d26565b820191906000526020600020905b815481529060010190602001808311611d0957829003601f168201915b505050505081565b600080823386604051602001808481526020018373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1660601b81526014018281526020019350505050604051602081830303815290604052805190602001209050809150509392505050565b6000611dae612756565b6000611db9836127a5565b90506000611dd16002836126ad90919063ffffffff16565b90506000611de8828461273c90919063ffffffff16565b90506000611e11611e0283856126f990919063ffffffff16565b8761273c90919063ffffffff16565b9050611e1e338883611fec565b50611e2b33600085611fec565b508673ffffffffffffffffffffffffffffffffffffffff16601460019054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1614611f2357611eae33601460019054906101000a900473ffffffffffffffffffffffffffffffffffffffff1684611fec565b50600073ffffffffffffffffffffffffffffffffffffffff16601460019054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff161415611f2257611f1b826006546126f990919063ffffffff16565b6006819055505b5b600073ffffffffffffffffffffffffffffffffffffffff168773ffffffffffffffffffffffffffffffffffffffff161415611f7457611f6d816006546126f990919063ffffffff16565b6006819055505b611f89836006546126f990919063ffffffff16565b600681905550611f97611690565b60058190555033601460016101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff160217905550600194505050505092915050565b600061204082601160008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461273c90919063ffffffff16565b601160008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055506120d582601160008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546126f990919063ffffffff16565b601160008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508273ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef846040518082815260200191505060405180910390a3600190509392505050565b600d5481565b6000601654905090565b6000600754905090565b600082601260003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508373ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925856040518082815260200191505060405180910390a38373ffffffffffffffffffffffffffffffffffffffff16638f4ffcb1338530866040518563ffffffff1660e01b8152600401808573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020018481526020018373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200180602001828103825283818151815260200191508051906020019080838360005b83811015612363578082015181840152602081019050612348565b50505050905090810190601f1680156123905780820380516001836020036101000a031916815260200191505b5095505050505050600060405180830381600087803b1580156123b257600080fd5b505af11580156123c6573d6000803e3d6000fd5b50505050600190509392505050565b600160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b60008060009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff161461245657600080fd5b8273ffffffffffffffffffffffffffffffffffffffff1663a9059cbb6000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff16846040518363ffffffff1660e01b8152600401808373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200182815260200192505050602060405180830381600087803b1580156124fe57600080fd5b505af1158015612512573d6000803e3d6000fd5b505050506040513d602081101561252857600080fd5b8101908080519060200190929190505050905092915050565b6000601260008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054905092915050565b6000601654905090565b6000600460009054906101000a900460ff16905090565b6000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff161461264257600080fd5b80600160006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555050565b6000600460009054906101000a900460ff1660ff16600a0a600360075460ea030a02905090565b60008082116126bb57600080fd5b8183816126c457fe5b04905092915050565b600080600460009054906101000a900460ff1660ff16600a0a600360075460ea030a0290508091505090565b600081830190508281101561270d57600080fd5b92915050565b6001600b5401600b81905550612727612809565b61272f612882565b6001430340600a81905550565b60008282111561274b57600080fd5b818303905092915050565b42600854116127a357612788606461277a609660075461293090919063ffffffff16565b6126ad90919063ffffffff16565b60078190555060075460020a6015819055506127a2612713565b5b565b6000806127bd6013548461295d90919063ffffffff16565b905060006127ea6127106127dc6013548561293090919063ffffffff16565b6126ad90919063ffffffff16565b905061280060028261293090919063ffffffff16565b92505050919050565b7c4000000000000000000000000000000000000000000000000000000000601054106128805761284b66040000000000006010546126ad90919063ffffffff16565b60108190555061286d66040000000000006006546126ad90919063ffffffff16565b6006819055506001601654016016819055505b565b60016007540360078190555060075460020a6015819055506305a63d80420160088190555060006128d260646128c4605f60105461293090919063ffffffff16565b6126ad90919063ffffffff16565b9050806006541061292d5761290660646128f8606960075461293090919063ffffffff16565b6126ad90919063ffffffff16565b60078190555060d560075411156129205760d56007819055505b60075460020a6015819055505b50565b60008183029050600083148061294e57508183828161294b57fe5b04145b61295757600080fd5b92915050565b60008061296a84846126f9565b9050600061297982600161273c565b905061298e61298882866126ad565b85612930565b925050509291505056fea265627a7a72305820bb480c5c5fc3aff098176a7d63696f2d44b08df828db17e2e9c1ea50e922ef6e64736f6c634300050a0032

4826:19260:0:-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;17014:8;;;4980:18;;8:9:-1;5:2;;;30:1;27;20:12;5:2;4980:18:0;;;:::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;4980:18:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;15495:207;;8:9:-1;5:2;;;30:1;27;20:12;5:2;15495:207:0;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;15495:207:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;17733:88;;8:9:-1;5:2;;;30:1;27;20:12;5:2;17733:88:0;;;:::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;17733:88:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;5395:36;;8:9:-1;5:2;;;30:1;27;20:12;5:2;5395:36:0;;;:::i;:::-;;;;;;;;;;;;;;;;;;;18033:84;;8:9:-1;5:2;;;30:1;27;20:12;5:2;18033:84:0;;;:::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;18033:84:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;20448:116;;8:9:-1;5:2;;;30:1;27;20:12;5:2;20448:116:0;;;:::i;:::-;;;;;;;;;;;;;;;;;;;7645:1418;;8:9:-1;5:2;;;30:1;27;20:12;5:2;7645:1418:0;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;7645:1418:0;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;22751:100;;8:9:-1;5:2;;;30:1;27;20:12;5:2;22751:100:0;;;:::i;:::-;;;;;;;;;;;;;;;;;;;14360:208;;8:9:-1;5:2;;;30:1;27;20:12;5:2;14360:208:0;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;14360:208:0;;;;;;;;;;21:11:-1;8;5:28;2:2;;;46:1;43;36:12;2:2;14360:208:0;;35:9:-1;28:4;12:14;8:25;5:40;2:2;;;58:1;55;48:12;2:2;14360:208:0;;;;;;101:9:-1;95:2;81:12;77:21;67:8;63:36;60:51;39:11;25:12;22:29;11:108;8:2;;;132:1;129;122:12;8:2;14360:208:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;30:3:-1;22:6;14;1:33;99:1;93:3;85:6;81:16;74:27;137:4;133:9;126:4;121:3;117:14;113:30;106:37;;169:3;161:6;157:16;147:26;;14360:208:0;;;;;;;;;;;;;;;;;21:11:-1;8;5:28;2:2;;;46:1;43;36:12;2:2;14360:208:0;;35:9:-1;28:4;12:14;8:25;5:40;2:2;;;58:1;55;48:12;2:2;14360:208:0;;;;;;101:9:-1;95:2;81:12;77:21;67:8;63:36;60:51;39:11;25:12;22:29;11:108;8:2;;;132:1;129;122:12;8:2;14360:208:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;30:3:-1;22:6;14;1:33;99:1;93:3;85:6;81:16;74:27;137:4;133:9;126:4;121:3;117:14;113:30;106:37;;169:3;161:6;157:16;147:26;;14360:208:0;;;;;;;;;;;;;;;:::i;:::-;;12495:1008;;8:9:-1;5:2;;;30:1;27;20:12;5:2;12495:1008:0;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;12495:1008:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;18622:99;;8:9:-1;5:2;;;30:1;27;20:12;5:2;18622:99:0;;;:::i;:::-;;;;;;;;;;;;;;;;;;;21091:98;;8:9:-1;5:2;;;30:1;27;20:12;5:2;21091:98:0;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;5292:21;;8:9:-1;5:2;;;30:1;27;20:12;5:2;5292:21:0;;;:::i;:::-;;;;;;;;;;;;;;;;;;;5005;;8:9:-1;5:2;;;30:1;27;20:12;5:2;5005:21:0;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;19726:90;;8:9:-1;5:2;;;30:1;27;20:12;5:2;19726:90:0;;;:::i;:::-;;;;;;;;;;;;;;;;;;;20777:91;;8:9:-1;5:2;;;30:1;27;20:12;5:2;20777:91:0;;;:::i;:::-;;;;;;;;;;;;;;;;;;;5033:27;;8:9:-1;5:2;;;30:1;27;20:12;5:2;5033:27:0;;;:::i;:::-;;;;;;;;;;;;;;;;;;;5067:22;;8:9:-1;5:2;;;30:1;27;20:12;5:2;5067:22:0;;;:::i;:::-;;;;;;;;;;;;;;;;;;;20085:100;;8:9:-1;5:2;;;30:1;27;20:12;5:2;20085:100:0;;;:::i;:::-;;;;;;;;;;;;;;;;;;;23300:82;;8:9:-1;5:2;;;30:1;27;20:12;5:2;23300:82:0;;;:::i;:::-;;;;;;;;;;;;;;;;;;;5499:24;;8:9:-1;5:2;;;30:1;27;20:12;5:2;5499:24:0;;;:::i;:::-;;;;;;;;;;;;;;;;;;;5326:27;;8:9:-1;5:2;;;30:1;27;20:12;5:2;5326:27:0;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;23876:113;;8:9:-1;5:2;;;30:1;27;20:12;5:2;23876:113:0;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;23876:113:0;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;23037:77;;8:9:-1;5:2;;;30:1;27;20:12;5:2;23037:77:0;;;:::i;:::-;;;;;;;;;;;;;;;;;;;4357:198;;8:9:-1;5:2;;;30:1;27;20:12;5:2;4357:198:0;;;:::i;:::-;;22222:344;;8:9:-1;5:2;;;30:1;27;20:12;5:2;22222:344:0;;;;;;13:3:-1;8;5:12;2:2;;;30:1;27;20:12;2:2;22222:344:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;5160:27;;8:9:-1;5:2;;;30:1;27;20:12;5:2;5160:27:0;;;:::i;:::-;;;;;;;;;;;;;;;;;;;5200:30;;8:9:-1;5:2;;;30:1;27;20:12;5:2;5200:30:0;;;:::i;:::-;;;;;;;;;;;;;;;;;;;3919:20;;8:9:-1;5:2;;;30:1;27;20:12;5:2;3919:20:0;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;4953;;8:9:-1;5:2;;;30:1;27;20:12;5:2;4953:20:0;;;:::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;4953:20:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;21752:254;;8:9:-1;5:2;;;30:1;27;20:12;5:2;21752:254:0;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;21752:254:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;11458:1025;;8:9:-1;5:2;;;30:1;27;20:12;5:2;11458:1025:0;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;11458:1025:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;11190:260;;8:9:-1;5:2;;;30:1;27;20:12;5:2;11190:260:0;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;11190:260:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;5360:28;;8:9:-1;5:2;;;30:1;27;20:12;5:2;5360:28:0;;;:::i;:::-;;;;;;;;;;;;;;;;;;;23568:89;;8:9:-1;5:2;;;30:1;27;20:12;5:2;23568:89:0;;;:::i;:::-;;;;;;;;;;;;;;;;;;;18955:86;;8:9:-1;5:2;;;30:1;27;20:12;5:2;18955:86:0;;;:::i;:::-;;;;;;;;;;;;;;;;;;;16476:314;;8:9:-1;5:2;;;30:1;27;20:12;5:2;16476:314:0;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;16476:314:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;21:11:-1;8;5:28;2:2;;;46:1;43;36:12;2:2;16476:314:0;;35:9:-1;28:4;12:14;8:25;5:40;2:2;;;58:1;55;48:12;2:2;16476:314:0;;;;;;100:9:-1;95:1;81:12;77:20;67:8;63:35;60:50;39:11;25:12;22:29;11:107;8:2;;;131:1;128;121:12;8:2;16476:314:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;30:3:-1;22:6;14;1:33;99:1;93:3;85:6;81:16;74:27;137:4;133:9;126:4;121:3;117:14;113:30;106:37;;169:3;161:6;157:16;147:26;;16476:314:0;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;3948:23;;8:9:-1;5:2;;;30:1;27;20:12;5:2;3948:23:0;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;17256:177;;8:9:-1;5:2;;;30:1;27;20:12;5:2;17256:177:0;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;17256:177:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;15982:140;;8:9:-1;5:2;;;30:1;27;20:12;5:2;15982:140:0;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;15982:140:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;19390:93;;8:9:-1;5:2;;;30:1;27;20:12;5:2;19390:93:0;;;:::i;:::-;;;;;;;;;;;;;;;;;;;18327:84;;8:9:-1;5:2;;;30:1;27;20:12;5:2;18327:84:0;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;4239:104;;8:9:-1;5:2;;;30:1;27;20:12;5:2;4239:104:0;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;4239:104:0;;;;;;;;;;;;;;;;;;;:::i;:::-;;21409:115;;8:9:-1;5:2;;;30:1;27;20:12;5:2;21409:115:0;;;:::i;:::-;;;;;;;;;;;;;;;;;;;4980:18;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::o;15495:207::-;15557:12;15613:6;15582:7;:19;15590:10;15582:19;;;;;;;;;;;;;;;:28;15602:7;15582:28;;;;;;;;;;;;;;;:37;;;;15656:7;15635:37;;15644:10;15635:37;;;15665:6;15635:37;;;;;;;;;;;;;;;;;;15690:4;15683:11;;15495:207;;;;:::o;17733:88::-;17774:13;17807:6;17800:13;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;17733:88;:::o;5395:36::-;;;;:::o;18033:84::-;18072:13;18105:4;18098:11;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;18033:84;:::o;20448:116::-;20499:4;20523:33;20543:12;;20523:15;;:19;;:33;;;;:::i;:::-;20516:40;;20448:116;:::o;7645:1418::-;7715:12;7892:14;7936:15;;7953:10;7965:5;7919:52;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;49:4:-1;39:7;30;26:21;22:32;13:7;6:49;7919:52:0;;;7909:63;;;;;;7892:80;;8063:16;8053:6;:26;8049:40;;8081:8;;;8049:40;8186:12;;8176:6;8168:15;;:30;8164:44;;;8200:8;;;8164:44;8281:16;8300:20;:37;8321:15;;8300:37;;;;;;;;;;;;8281:56;;8388:6;8348:20;:37;8369:15;;8348:37;;;;;;;;;;;:46;;;;8421:3;8409:15;;:8;:15;8405:29;;8426:8;;;8405:29;8501:18;8522:17;:15;:17::i;:::-;8501:38;;8573:39;8598:13;8573:8;:20;8582:10;8573:20;;;;;;;;;;;;;;;;:24;;:39;;;;:::i;:::-;8550:8;:20;8559:10;8550:20;;;;;;;;;;;;;;;:62;;;;8638:31;8655:13;8638:12;;:16;;:31;;;;:::i;:::-;8623:12;:46;;;;8695:30;8712:12;;8695;;:16;;:30;;;;:::i;:::-;8680:12;:45;;;;8802:10;8787:12;;:25;;;;;;;;;;;;;;;;;;8842:13;8823:16;:32;;;;8893:12;8866:24;:39;;;;8926:22;:20;:22::i;:::-;8969:10;8964:59;;;8981:13;8996:9;;9007:15;;8964:59;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;9051:4;9044:11;;;;;7645:1418;;;;:::o;22751:100::-;22794:4;22818:25;22835:7;;22818:12;;:16;;:25;;;;:::i;:::-;22811:32;;22751:100;:::o;14360:208::-;14460:9;14472:1;14460:13;;14455:106;14479:9;:16;14475:1;:20;14455:106;;;14515:34;14524:9;14534:1;14524:12;;;;;;;;;;;;;;14538:7;14546:1;14538:10;;;;;;;;;;;;;;14515:8;:34::i;:::-;;14497:3;;;;;;;14455:106;;;;14360:208;;:::o;12495:1008::-;12571:12;12596;:10;:12::i;:::-;12629:20;12652:22;12667:6;12652:14;:22::i;:::-;12629:45;;12685:21;12709:19;12726:1;12709:12;:16;;:19;;;;:::i;:::-;12685:43;;12739:25;12782:13;12767:12;:28;12739:56;;12806:24;12833:48;12863:17;12833:25;12844:13;12833:6;:10;;:25;;;;:::i;:::-;:29;;:48;;;;:::i;:::-;12806:75;;12902:34;12909:4;12915:2;12919:16;12902:6;:34::i;:::-;;12947:39;12954:4;12968:1;12972:13;12947:6;:39::i;:::-;;13019:2;13001:20;;:14;;;;;;;;;;;:20;;;12997:245;;13068:47;13075:4;13081:14;;;;;;;;;;;13097:17;13068:6;:47::i;:::-;;13158:1;13132:28;;:14;;;;;;;;;;;:28;;;13128:103;;;13187:30;13199:17;13187:7;;:11;;:30;;;;:::i;:::-;13177:7;:40;;;;13128:103;12997:245;13270:1;13256:16;;:2;:16;;;13252:86;;;13297:29;13309:16;13297:7;;:11;;:29;;;;:::i;:::-;13287:7;:39;;;;13252:86;13368:26;13380:13;13368:7;;:11;;:26;;;;:::i;:::-;13358:7;:36;;;;13420:13;:11;:13::i;:::-;13405:12;:28;;;;13461:4;13444:14;;:21;;;;;;;;;;;;;;;;;;13493:4;13486:11;;;;;;12495:1008;;;;;:::o;18622:99::-;18674:7;18701:12;;18694:19;;18622:99;:::o;21091:98::-;21140:7;21167:14;;;;;;;;;;;21160:21;;21091:98;:::o;5292:21::-;;;;:::o;5005:::-;;;;;;;;;;;;;:::o;19726:90::-;19773:4;19797:11;;19790:18;;19726:90;:::o;20777:91::-;20824:4;20848:12;;20841:19;;20777:91;:::o;5033:27::-;;;;:::o;5067:22::-;;;;:::o;20085:100::-;20135:7;20162:15;;20155:22;;20085:100;:::o;23300:82::-;23338:4;23362:12;;23355:19;;23300:82;:::o;5499:24::-;;;;:::o;5326:27::-;;;;;;;;;;;;;:::o;23876:113::-;23935:12;23963:8;:20;23972:10;23963:20;;;;;;;;;;;;;;;;23956:27;;23876:113;;;:::o;23037:77::-;23075:4;23099:7;;23092:14;;23037:77;:::o;4357:198::-;4424:8;;;;;;;;;;;4410:22;;:10;:22;;;4402:31;;;;;;4477:8;;;;;;;;;;;4449:37;;4470:5;;;;;;;;;;;4449:37;;;;;;;;;;;;4505:8;;;;;;;;;;;4497:5;;:16;;;;;;;;;;;;;;;;;;4543:1;4524:8;;:21;;;;;;;;;;;;;;;;;;4357:198::o;22222:344::-;22353:12;22378:14;22422:16;22440:10;22452:5;22405:53;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;49:4:-1;39:7;30;26:21;22:32;13:7;6:49;22405:53:0;;;22395:64;;;;;;22378:81;;22492:10;22482:6;22474:15;;:28;22470:42;;;22504:8;;;22470:42;22541:16;22531:6;:26;22523:35;;;22222:344;;;;;;:::o;5160:27::-;;;;:::o;5200:30::-;;;;:::o;3919:20::-;;;;;;;;;;;;;:::o;4953:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::o;21752:254::-;21862:18;21893:14;21937:16;21955:10;21967:5;21920:53;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;49:4:-1;39:7;30;26:21;22:32;13:7;6:49;21920:53:0;;;21910:64;;;;;;21893:81;;21992:6;21985:13;;;21752:254;;;;;:::o;11458:1025::-;11516:12;11541;:10;:12::i;:::-;11575:20;11598:22;11613:6;11598:14;:22::i;:::-;11575:45;;11631:21;11655:19;11672:1;11655:12;:16;;:19;;;;:::i;:::-;11631:43;;11685:25;11713:31;11730:13;11713:12;:16;;:31;;;;:::i;:::-;11685:59;;11755:24;11782:48;11793:36;11811:17;11793:13;:17;;:36;;;;:::i;:::-;11782:6;:10;;:48;;;;:::i;:::-;11755:75;;11852:40;11859:10;11871:2;11875:16;11852:6;:40::i;:::-;;11904:45;11911:10;11931:1;11935:13;11904:6;:45::i;:::-;;11982:2;11964:20;;:14;;;;;;;;;;;:20;;;11960:254;;12034:53;12041:10;12053:14;;;;;;;;;;;12069:17;12034:6;:53::i;:::-;;12130:1;12104:28;;:14;;;;;;;;;;;:28;;;12100:103;;;12159:30;12171:17;12159:7;;:11;;:30;;;;:::i;:::-;12149:7;:40;;;;12100:103;11960:254;12242:1;12228:16;;:2;:16;;;12224:86;;;12269:29;12281:16;12269:7;;:11;;:29;;;;:::i;:::-;12259:7;:39;;;;12224:86;12340:26;12352:13;12340:7;;:11;;:26;;;;:::i;:::-;12330:7;:36;;;;12402:13;:11;:13::i;:::-;12387:12;:28;;;;12443:10;12426:14;;:27;;;;;;;;;;;;;;;;;;12471:4;12464:11;;;;;;11458:1025;;;;:::o;11190:260::-;11260:12;11302:26;11321:6;11302:8;:14;11311:4;11302:14;;;;;;;;;;;;;;;;:18;;:26;;;;:::i;:::-;11285:8;:14;11294:4;11285:14;;;;;;;;;;;;;;;:43;;;;11354:24;11371:6;11354:8;:12;11363:2;11354:12;;;;;;;;;;;;;;;;:16;;:24;;;;:::i;:::-;11339:8;:12;11348:2;11339:12;;;;;;;;;;;;;;;:39;;;;11409:2;11394:26;;11403:4;11394:26;;;11413:6;11394:26;;;;;;;;;;;;;;;;;;11438:4;11431:11;;11190:260;;;;;:::o;5360:28::-;;;;:::o;23568:89::-;23612:4;23636:13;;23629:20;;23568:89;:::o;18955:86::-;19008:4;19032:1;;19025:8;;18955:86;:::o;16476:314::-;16564:12;16616:6;16585:7;:19;16593:10;16585:19;;;;;;;;;;;;;;;:28;16605:7;16585:28;;;;;;;;;;;;;;;:37;;;;16655:7;16634:37;;16643:10;16634:37;;;16664:6;16634:37;;;;;;;;;;;;;;;;;;16701:7;16678:47;;;16726:10;16738:6;16754:4;16761;16678:88;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;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;16678:88:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;16678:88:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;16678:88:0;;;;16780:4;16773:11;;16476:314;;;;;:::o;3948:23::-;;;;;;;;;;;;;:::o;17256:177::-;17347:12;4197:5;;;;;;;;;;;4183:19;;:10;:19;;;4175:28;;;;;;17390:12;17375:37;;;17413:5;;;;;;;;;;;17420:6;17375:52;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;17375:52:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;17375:52:0;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;17375:52:0;;;;;;;;;;;;;;;;17368:59;;17256:177;;;;:::o;15982:140::-;16058:14;16088:7;:19;16096:10;16088:19;;;;;;;;;;;;;;;:28;16108:7;16088:28;;;;;;;;;;;;;;;;16081:35;;15982:140;;;;:::o;19390:93::-;19438:4;19462:13;;19455:20;;19390:93;:::o;18327:84::-;18370:5;18395:8;;;;;;;;;;;18388:15;;18327:84;:::o;4239:104::-;4197:5;;;;;;;;;;;4183:19;;:10;:19;;;4175:28;;;;;;4324:9;4313:8;;:20;;;;;;;;;;;;;;;;;;4239:104;:::o;21409:115::-;21453:4;21507:8;;;;;;;;;;;21502:14;;21496:2;:20;21491:1;21485;;21479:3;:7;21478:14;21477:39;21470:46;;21409:115;:::o;1012:112::-;1063:6;1094:1;1090;:5;1082:14;;;;;;1115:1;1111;:5;;;;;;1107:9;;1012:112;;;;:::o;14007:146::-;14051:4;14068:11;14112:8;;;;;;;;;;;14107:14;;14101:2;:20;14096:1;14090;;14084:3;:7;14083:14;14082:39;14068:53;;14139:6;14132:13;;;14007:146;:::o;590:113::-;641:6;668:1;664;:5;660:9;;693:1;688;:6;;680:15;;;;;;590:113;;;;:::o;9287:229::-;9363:1;9351:9;;:13;9339:9;:25;;;;9401:19;:17;:19::i;:::-;9431:21;:19;:21::i;:::-;9506:1;9491:12;:16;9481:27;9463:15;:45;;;;9287:229::o;726:113::-;777:6;809:1;804;:6;;796:15;;;;;;830:1;826;:5;822:9;;726:113;;;;:::o;13517:251::-;13633:3;13620:11;;:16;13617:142;;13654:21;13671:3;13655:10;13661:3;13655:1;;:5;;:10;;;;:::i;:::-;13654:16;;:21;;;;:::i;:::-;13650:1;:25;;;;13710:1;;13705;:6;13689:12;:23;;;;13725:22;:20;:22::i;:::-;13617:142;13517:251::o;14766:237::-;14826:7;14846:18;14867:23;14878:11;;14867:5;:10;;:23;;;;:::i;:::-;14846:44;;14901:18;14922:38;14954:5;14922:27;14937:11;;14922:10;:14;;:27;;;;:::i;:::-;:31;;:38;;;;:::i;:::-;14901:59;;14978:17;14993:1;14978:10;:14;;:17;;;;:::i;:::-;14971:24;;;;14766:237;;;:::o;9607:416::-;9677:10;9660:12;;:28;9656:360;;9882:27;9899:9;9882:12;;:16;;:27;;;;:::i;:::-;9867:12;:42;;;;9934:22;9946:9;9934:7;;:11;;:22;;;;:::i;:::-;9924:7;:32;;;;10003:1;9987:13;;:17;9971:13;:33;;;;9656:360;9607:416::o;10215:729::-;10274:1;10270;;:5;10266:1;:9;;;;10307:1;;10302;:6;10286:12;:23;;;;10340:9;10334:3;:15;10320:11;:29;;;;10679:13;10695:31;10722:3;10696:20;10713:2;10696:12;;:16;;:20;;;;:::i;:::-;10695:26;;:31;;;;:::i;:::-;10679:47;;10749:8;10740:7;;:17;10737:200;;10831:21;10848:3;10832:10;10838:3;10832:1;;:5;;:10;;;;:::i;:::-;10831:16;;:21;;;;:::i;:::-;10827:1;:25;;;;10874:3;10870:1;;:7;10867:21;;;10883:3;10879:1;:7;;;;10867:21;10923:1;;10918;:6;10902:12;:23;;;;10737:200;10215:729;:::o;865:127::-;916:6;943:1;939;:5;935:9;;968:1;963;:6;:20;;;;982:1;977;973;:5;;;;;;:10;963:20;955:29;;;;;;865:127;;;;:::o;1144:159::-;1196:4;1213:6;1222:9;1226:1;1229;1222:3;:9::i;:::-;1213:18;;1242:6;1251:9;1255:1;1258;1251:3;:9::i;:::-;1242:18;;1278:17;1282:9;1286:1;1289;1282:3;:9::i;:::-;1293:1;1278:3;:17::i;:::-;1271:24;;;;1144:159;;;;:::o

bzzr://bb480c5c5fc3aff098176a7d63696f2d44b08df828db17e2e9c1ea50e922ef6e