Token

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) library ExtendedMath    - function limitLessThan(uint a, uint b ...  contract ERC20Interface    - function totalSupply()    - function balanceOf(address tokenOwner ...    - function allowance(address tokenOwner ...    - function transfer(address to, uint to ...    - function approve(address spender, uin ...    - function transferFrom(address from, a ...  contract ApproveAndCallFallBack    - function receiveApproval(address from ...  contract Owned    - function Owned()    - function transferOwnership(address _n ...    - function acceptOwnership()  contract _0xMoneroToken is ERC20In ... *    - function _0xMoneroToken()    - function mint(uint256 nonce, bytes32 ...    - function _startNewMiningEpoch()    - function _reAdjustDifficulty()    - function getChallengeNumber()    - function getMiningDifficulty()    - function getMiningTarget()    - function getMiningReward()    - function getMintDigest(uint256 nonce, ...    - function checkMintSolution(uint256 no ...    - function totalSupply()    - function balanceOf(address tokenOwner ...    - function transfer(address to, uint to ...    - function approve(address spender, uin ...    - function transferFrom(address from, a ...    - function allowance(address tokenOwner ...    - function approveAndCall(address spend ...    - function ()    - function transferAnyERC20Token(addres ...

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

/**
 *Submitted for verification at Etherscan.io on 2020-04-18
*/

pragma solidity ^0.4.18;


// ----------------------------------------------------------------------------

// '0xMonero Token' contract

// Mineable ERC20 Token using Proof Of Work

//

// Symbol      : 0xMR

// Name        : 0xMonero

// Total supply: 18,400,000.00

// Decimals    : 16

//


// ----------------------------------------------------------------------------



// ----------------------------------------------------------------------------

// Safe maths

// ----------------------------------------------------------------------------

library SafeMath {

    function add(uint a, uint b) internal pure returns (uint c) {

        c = a + b;

        require(c >= a);

    }

    function sub(uint a, uint b) internal pure returns (uint c) {

        require(b <= a);

        c = a - b;

    }

    function mul(uint a, uint b) internal pure returns (uint c) {

        c = a * b;

        require(a == 0 || c / a == b);

    }

    function div(uint a, uint b) internal pure returns (uint c) {

        require(b > 0);

        c = a / b;

    }

}



library ExtendedMath {


    //return the smaller of the two inputs (a or b)
    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 constant returns (uint);

    function balanceOf(address tokenOwner) public constant returns (uint balance);

    function allowance(address tokenOwner, address spender) public constant 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);


    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

//

// Borrowed from MiniMeToken

// ----------------------------------------------------------------------------

contract ApproveAndCallFallBack {

    function receiveApproval(address from, uint256 tokens, address token, bytes data) public;

}



// ----------------------------------------------------------------------------

// Owned contract

// ----------------------------------------------------------------------------

contract Owned {

    address public owner;

    address public newOwner;


    event OwnershipTransferred(address indexed _from, address indexed _to);


    function Owned() 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);

        OwnershipTransferred(owner, newOwner);

        owner = newOwner;

        newOwner = address(0);

    }

}



// ----------------------------------------------------------------------------

// ERC20 Token, with the addition of symbol, name and decimals and an

// initial fixed supply

// ----------------------------------------------------------------------------

contract _0xMoneroToken is ERC20Interface, Owned {

    using SafeMath for uint;
    using ExtendedMath for uint;


    string public symbol;

    string public  name;

    uint8 public decimals;

    uint public _totalSupply;



     uint public latestDifficultyPeriodStarted;



    uint public epochCount;//number of 'blocks' mined


    uint public _BLOCKS_PER_READJUSTMENT = 1024;


    //a little number
    uint public  _MINIMUM_TARGET = 2**16;


      //a big number is easier ; just find a solution that is smaller
    //uint public  _MAXIMUM_TARGET = 2**224;  bitcoin uses 224
    uint public  _MAXIMUM_TARGET = 2**234;


    uint public miningTarget;

    bytes32 public challengeNumber;   //generate a new one when a new reward is minted



    uint public rewardEra;
    uint public maxSupplyForEra;


    address public lastRewardTo;
    uint public lastRewardAmount;
    uint public lastRewardEthBlockNumber;

    bool locked = false;

    mapping(bytes32 => bytes32) solutionForChallenge;

    uint public tokensMinted;

    mapping(address => uint) balances;


    mapping(address => mapping(address => uint)) allowed;


    event Mint(address indexed from, uint reward_amount, uint epochCount, bytes32 newChallengeNumber);

    // ------------------------------------------------------------------------

    // Constructor

    // ------------------------------------------------------------------------

    function _0xMoneroToken() public onlyOwner{



        symbol = "0xMR";

        name = "0xMonero";

        decimals = 18;

        _totalSupply = 18400000 * 10**uint(decimals);

        if(locked) revert();
        locked = true;

        tokensMinted = 0;

        rewardEra = 0;
        maxSupplyForEra = _totalSupply.div(2);

        miningTarget = _MAXIMUM_TARGET;

        latestDifficultyPeriodStarted = block.number;

        _startNewMiningEpoch();


        //The owner gets nothing! You must mine this ERC20 token
        //balances[owner] = _totalSupply;
        //Transfer(address(0), owner, _totalSupply);

    }




        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(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);


            //Cannot mint more tokens than there are
            assert(tokensMinted <= maxSupplyForEra);

            //set readonly diagnostics data
            lastRewardTo = msg.sender;
            lastRewardAmount = reward_amount;
            lastRewardEthBlockNumber = block.number;


             _startNewMiningEpoch();

              Mint(msg.sender, reward_amount, epochCount, challengeNumber );

           return true;

        }


    //a new 'block' to be mined
    function _startNewMiningEpoch() internal {

      //if max supply for the era will be exceeded next reward round then enter the new era before that happens

      //40 is the final reward era, almost all tokens minted
      //once the final era is reached, more tokens will not be given out because the assert function
      if( tokensMinted.add(getMiningReward()) > maxSupplyForEra && rewardEra < 39)
      {
        rewardEra = rewardEra + 1;
      }

      //set the next minted supply at which the era will change
      // total supply is 2100000000000000  because of 8 decimal places
      maxSupplyForEra = _totalSupply - _totalSupply.div( 2**(rewardEra + 1));

      epochCount = epochCount.add(1);

      //every so often, readjust difficulty. Dont readjust when deploying
      if(epochCount % _BLOCKS_PER_READJUSTMENT == 0)
      {
        _reAdjustDifficulty();
      }


      //make the latest ethereum block hash a part of the next challenge for PoW to prevent pre-mining future blocks
      //do this last since this is a protection mechanism in the mint() function
      challengeNumber = block.blockhash(block.number - 1);






    }




    //https://en.bitcoin.it/wiki/Difficulty#What_is_the_formula_for_difficulty.3F
    //as of 2017 the bitcoin difficulty was up to 17 zeroes, it was only 8 in the early days

    //readjust the target by 5 percent
    function _reAdjustDifficulty() internal {


        uint ethBlocksSinceLastDifficultyPeriod = block.number - latestDifficultyPeriodStarted;
        //assume 360 ethereum blocks per hour

        //we want miners to spend 10 minutes to mine each 'block', about 60 ethereum blocks = one 0xbitcoin epoch
        uint epochsMined = _BLOCKS_PER_READJUSTMENT; //256

        uint targetEthBlocksPerDiffPeriod = epochsMined * 60; //should be 60 times slower than ethereum

        //if there were less eth blocks passed in time than expected
        if( ethBlocksSinceLastDifficultyPeriod < targetEthBlocksPerDiffPeriod )
        {
          uint excess_block_pct = (targetEthBlocksPerDiffPeriod.mul(100)).div( ethBlocksSinceLastDifficultyPeriod );

          uint excess_block_pct_extra = excess_block_pct.sub(100).limitLessThan(1000);
          // If there were 5% more blocks mined than expected then this is 5.  If there were 100% more blocks mined than expected then this is 100.

          //make it harder
          miningTarget = miningTarget.sub(miningTarget.div(2000).mul(excess_block_pct_extra));   //by up to 50 %
        }else{
          uint shortage_block_pct = (ethBlocksSinceLastDifficultyPeriod.mul(100)).div( targetEthBlocksPerDiffPeriod );

          uint shortage_block_pct_extra = shortage_block_pct.sub(100).limitLessThan(1000); //always between 0 and 1000

          //make it easier
          miningTarget = miningTarget.add(miningTarget.div(2000).mul(shortage_block_pct_extra));   //by up to 50 %
        }



        latestDifficultyPeriodStarted = block.number;

        if(miningTarget < _MINIMUM_TARGET) //very difficult
        {
          miningTarget = _MINIMUM_TARGET;
        }

        if(miningTarget > _MAXIMUM_TARGET) //very easy
        {
          miningTarget = _MAXIMUM_TARGET;
        }
    }


    //this is a recent ethereum block hash, used to prevent pre-mining future blocks
    function getChallengeNumber() public constant returns (bytes32) {
        return challengeNumber;
    }

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

    function getMiningTarget() public constant returns (uint) {
       return miningTarget;
   }



    //21m coins total
    //reward begins at 50 and is cut in half every reward era (as tokens are mined)
    function getMiningReward() public constant returns (uint) {
        //once we get half way thru the coins, only get 25 per block

         //every reward era, the reward amount halves.

         return (50 * 10**uint(decimals) ).div( 2**rewardEra ) ;

    }

    //help debug mining software
    function getMintDigest(uint256 nonce, bytes32 challenge_digest, bytes32 challenge_number) public view returns (bytes32 digesttest) {

        bytes32 digest = keccak256(challenge_number,msg.sender,nonce);

        return digest;

      }

        //help debug mining software
      function checkMintSolution(uint256 nonce, bytes32 challenge_digest, bytes32 challenge_number, uint testTarget) public view returns (bool success) {

          bytes32 digest = keccak256(challenge_number,msg.sender,nonce);

          if(uint256(digest) > testTarget) revert();

          return (digest == challenge_digest);

        }



    // ------------------------------------------------------------------------

    // Total supply

    // ------------------------------------------------------------------------

    function totalSupply() public constant returns (uint) {

        return _totalSupply  - balances[address(0)];

    }



    // ------------------------------------------------------------------------

    // Get the token balance for account `tokenOwner`

    // ------------------------------------------------------------------------

    function balanceOf(address tokenOwner) public constant returns (uint balance) {

        return balances[tokenOwner];

    }



    // ------------------------------------------------------------------------

    // Transfer the balance from token owner's account to `to` account

    // - Owner's account must have sufficient balance to transfer

    // - 0 value transfers are allowed

    // ------------------------------------------------------------------------

    function transfer(address to, uint tokens) public returns (bool success) {

        balances[msg.sender] = balances[msg.sender].sub(tokens);

        balances[to] = balances[to].add(tokens);

        Transfer(msg.sender, to, tokens);

        return true;

    }



    // ------------------------------------------------------------------------

    // 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;

        Approval(msg.sender, spender, tokens);

        return true;

    }



    // ------------------------------------------------------------------------

    // Transfer `tokens` from the `from` account to the `to` account

    //

    // The calling account must already have sufficient tokens approve(...)-d

    // for spending from the `from` account and

    // - From account must have sufficient balance to transfer

    // - Spender must have sufficient allowance to transfer

    // - 0 value transfers are allowed

    // ------------------------------------------------------------------------

    function transferFrom(address from, address to, uint tokens) public returns (bool success) {

        balances[from] = balances[from].sub(tokens);

        allowed[from][msg.sender] = allowed[from][msg.sender].sub(tokens);

        balances[to] = balances[to].add(tokens);

        Transfer(from, to, 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 constant 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 data) public returns (bool success) {

        allowed[msg.sender][spender] = tokens;

        Approval(msg.sender, spender, tokens);

        ApproveAndCallFallBack(spender).receiveApproval(msg.sender, tokens, this, data);

        return true;

    }



    // ------------------------------------------------------------------------

    // Don't accept ETH

    // ------------------------------------------------------------------------

    function () public 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);

    }

}

• 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":"lastRewardEthBlockNumber","outputs":[{"name":"","type":"uint256"}],"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":"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":"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":"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":"getMiningReward","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":"maxSupplyForEra","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":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":"epochCount","outputs":[{"name":"","type":"uint256"}],"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":"miningTarget","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":true,"inputs":[],"name":"_BLOCKS_PER_READJUSTMENT","outputs":[{"name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"lastRewardAmount","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":"latestDifficultyPeriodStarted","outputs":[{"name":"","type":"uint256"}],"payable":false,"stateMutability":"view","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":"_MINIMUM_TARGET","outputs":[{"name":"","type":"uint256"}],"payable":false,"stateMutability":"view","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":false,"inputs":[{"name":"_newOwner","type":"address"}],"name":"transferOwnership","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"inputs":[],"payable":false,"stateMutability":"nonpayable","type":"constructor"},{"payable":true,"stateMutability":"payable","type":"fallback"},{"anonymous":false,"inputs":[{"indexed":true,"name":"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"}]

6080604052610400600855620100006009557d040000000000000000000000000000000000000000000000000000000000600a556000601260006101000a81548160ff0219169083151502179055503480156200005b57600080fd5b50336000806101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055506000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff16141515620000f857600080fd5b6040805190810160405280600481526020017f30784d52000000000000000000000000000000000000000000000000000000008152506002908051906020019062000145929190620006ec565b506040805190810160405280600881526020017f30784d6f6e65726f0000000000000000000000000000000000000000000000008152506003908051906020019062000193929190620006ec565b506012600460006101000a81548160ff021916908360ff160217905550600460009054906101000a900460ff1660ff16600a0a630118c30002600581905550601260009054906101000a900460ff1615620001ed57600080fd5b6001601260006101000a81548160ff02191690831515021790555060006014819055506000600d819055506200023e6002600554620002736401000000000262001e36179091906401000000009004565b600e81905550600a54600b81905550436006819055506200026d62000299640100000000026401000000009004565b6200079b565b600080821115156200028457600080fd5b81838115156200029057fe5b04905092915050565b600e54620002d9620002b9620003a4640100000000026401000000009004565b601454620003eb6401000000000262001e5a179091906401000000009004565b118015620002e957506027600d54105b15620002fc576001600d5401600d819055505b620003296001600d540160020a600554620002736401000000000262001e36179091906401000000009004565b60055403600e81905550620003596001600754620003eb6401000000000262001e5a179091906401000000009004565b60078190555060006008546007548115156200037157fe5b06141562000393576200039262000408640100000000026401000000009004565b5b6001430340600c8160001916905550565b6000620003e6600d5460020a600460009054906101000a900460ff1660ff16600a0a603202620002736401000000000262001e36179091906401000000009004565b905090565b600081830190508281101515156200040257600080fd5b92915050565b6000806000806000806000600654430396506008549550603c860294508487101562000539576200047487620004576064886200067d64010000000002620020d8179091906401000000009004565b620002736401000000000262001e36179091906401000000009004565b9350620004be6103e8620004a1606487620006b16401000000000262001f2b179091906401000000009004565b620006ce6401000000000262002109179091906401000000009004565b92506200052d6200050d84620004f06107d0600b54620002736401000000000262001e36179091906401000000009004565b6200067d64010000000002620020d8179091906401000000009004565b600b54620006b16401000000000262001f2b179091906401000000009004565b600b819055506200063f565b6200057f856200056260648a6200067d64010000000002620020d8179091906401000000009004565b620002736401000000000262001e36179091906401000000009004565b9150620005c96103e8620005ac606485620006b16401000000000262001f2b179091906401000000009004565b620006ce6401000000000262002109179091906401000000009004565b9050620006386200061882620005fb6107d0600b54620002736401000000000262001e36179091906401000000009004565b6200067d64010000000002620020d8179091906401000000009004565b600b54620003eb6401000000000262001e5a179091906401000000009004565b600b819055505b43600681905550600954600b5410156200065d57600954600b819055505b600a54600b5411156200067457600a54600b819055505b50505050505050565b6000818302905060008314806200069f57508183828115156200069c57fe5b04145b1515620006ab57600080fd5b92915050565b6000828211151515620006c357600080fd5b818303905092915050565b600081831115620006e257819050620006e6565b8290505b92915050565b828054600181600116156101000203166002900490600052602060002090601f016020900481019282601f106200072f57805160ff191683800117855562000760565b8280016001018555821562000760579182015b828111156200075f57825182559160200191906001019062000742565b5b5090506200076f919062000773565b5090565b6200079891905b80821115620007945760008160009055506001016200077a565b5090565b90565b61215180620007ab6000396000f3006080604052600436106101c2576000357c0100000000000000000000000000000000000000000000000000000000900463ffffffff16806306fdde03146101c7578063095ea7b314610257578063163aa00d146102bc57806317da485f146102e75780631801fbe51461031257806318160ddd1461036557806323b872dd146103905780632d38bf7a14610415578063313ce5671461044057806332e99708146104715780633eaaf86b1461049c578063490203a7146104c75780634ef37628146104f25780634fa972e1146105255780636de9f32b146105505780636fd396d61461057b57806370a08231146105d257806379ba50971461062957806381269a5614610640578063829965cc146106ab57806387a2a9d6146106d65780638a769d35146107015780638ae0368b1461072c5780638da5cb5b1461075f57806395d89b41146107b657806397566aa014610846578063a9059cbb146108ab578063b5ade81b14610910578063bafedcaa1461093b578063cae9ca5114610966578063cb9ae70714610a11578063d4ee1d9014610a3c578063dc39d06d14610a93578063dc6e9cf914610af8578063dd62ed3e14610b23578063f2fde38b14610b9a575b600080fd5b3480156101d357600080fd5b506101dc610bdd565b6040518080602001828103825283818151815260200191508051906020019080838360005b8381101561021c578082015181840152602081019050610201565b50505050905090810190601f1680156102495780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b34801561026357600080fd5b506102a2600480360381019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050610c7b565b604051808215151515815260200191505060405180910390f35b3480156102c857600080fd5b506102d1610d6d565b6040518082815260200191505060405180910390f35b3480156102f357600080fd5b506102fc610d73565b6040518082815260200191505060405180910390f35b34801561031e57600080fd5b5061034b600480360381019080803590602001909291908035600019169060200190929190505050610d91565b604051808215151515815260200191505060405180910390f35b34801561037157600080fd5b5061037a611021565b6040518082815260200191505060405180910390f35b34801561039c57600080fd5b506103fb600480360381019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff1690602001909291908035906020019092919050505061106c565b604051808215151515815260200191505060405180910390f35b34801561042157600080fd5b5061042a611317565b6040518082815260200191505060405180910390f35b34801561044c57600080fd5b5061045561131d565b604051808260ff1660ff16815260200191505060405180910390f35b34801561047d57600080fd5b50610486611330565b6040518082815260200191505060405180910390f35b3480156104a857600080fd5b506104b161133a565b6040518082815260200191505060405180910390f35b3480156104d357600080fd5b506104dc611340565b6040518082815260200191505060405180910390f35b3480156104fe57600080fd5b50610507611377565b60405180826000191660001916815260200191505060405180910390f35b34801561053157600080fd5b5061053a611381565b6040518082815260200191505060405180910390f35b34801561055c57600080fd5b50610565611387565b6040518082815260200191505060405180910390f35b34801561058757600080fd5b5061059061138d565b604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b3480156105de57600080fd5b50610613600480360381019080803573ffffffffffffffffffffffffffffffffffffffff1690602001909291905050506113b3565b6040518082815260200191505060405180910390f35b34801561063557600080fd5b5061063e6113fc565b005b34801561064c57600080fd5b5061069160048036038101908080359060200190929190803560001916906020019092919080356000191690602001909291908035906020019092919050505061159b565b604051808215151515815260200191505060405180910390f35b3480156106b757600080fd5b506106c0611630565b6040518082815260200191505060405180910390f35b3480156106e257600080fd5b506106eb611636565b6040518082815260200191505060405180910390f35b34801561070d57600080fd5b5061071661163c565b6040518082815260200191505060405180910390f35b34801561073857600080fd5b50610741611642565b60405180826000191660001916815260200191505060405180910390f35b34801561076b57600080fd5b50610774611648565b604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b3480156107c257600080fd5b506107cb61166d565b6040518080602001828103825283818151815260200191508051906020019080838360005b8381101561080b5780820151818401526020810190506107f0565b50505050905090810190601f1680156108385780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b34801561085257600080fd5b5061088d600480360381019080803590602001909291908035600019169060200190929190803560001916906020019092919050505061170b565b60405180826000191660001916815260200191505060405180910390f35b3480156108b757600080fd5b506108f6600480360381019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050611784565b604051808215151515815260200191505060405180910390f35b34801561091c57600080fd5b5061092561191f565b6040518082815260200191505060405180910390f35b34801561094757600080fd5b50610950611925565b6040518082815260200191505060405180910390f35b34801561097257600080fd5b506109f7600480360381019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190803590602001908201803590602001908080601f016020809104026020016040519081016040528093929190818152602001838380828437820191505050505050919291929050505061192b565b604051808215151515815260200191505060405180910390f35b348015610a1d57600080fd5b50610a26611b7a565b6040518082815260200191505060405180910390f35b348015610a4857600080fd5b50610a51611b80565b604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b348015610a9f57600080fd5b50610ade600480360381019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050611ba6565b604051808215151515815260200191505060405180910390f35b348015610b0457600080fd5b50610b0d611d0a565b6040518082815260200191505060405180910390f35b348015610b2f57600080fd5b50610b84600480360381019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050611d10565b6040518082815260200191505060405180910390f35b348015610ba657600080fd5b50610bdb600480360381019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050611d97565b005b60038054600181600116156101000203166002900480601f016020809104026020016040519081016040528092919081815260200182805460018160011615610100020316600290048015610c735780601f10610c4857610100808354040283529160200191610c73565b820191906000526020600020905b815481529060010190602001808311610c5657829003601f168201915b505050505081565b600081601660003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508273ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925846040518082815260200191505060405180910390a36001905092915050565b60115481565b6000610d8c600b54600a54611e3690919063ffffffff16565b905090565b600080600080600c5433876040518084600019166000191681526020018373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff166c0100000000000000000000000002815260140182815260200193505050506040518091039020925084600019168360001916141515610e1a57600080fd5b600b5483600190041115610e2d57600080fd5b60136000600c54600019166000191681526020019081526020016000205491508260136000600c5460001916600019168152602001908152602001600020816000191690555060006001028260001916141515610e8957600080fd5b610e91611340565b9050610ee581601560003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054611e5a90919063ffffffff16565b601560003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550610f3d81601454611e5a90919063ffffffff16565b601481905550600e5460145411151515610f5357fe5b33600f60006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055508060108190555043601181905550610faa611e76565b3373ffffffffffffffffffffffffffffffffffffffff167fcf6fbb9dcea7d07263ab4f5c3a92f53af33dffc421d9d121e1c74b307e68189d82600754600c54604051808481526020018381526020018260001916600019168152602001935050505060405180910390a26001935050505092915050565b6000601560008073ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205460055403905090565b60006110c082601560008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054611f2b90919063ffffffff16565b601560008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000208190555061119282601660008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054611f2b90919063ffffffff16565b601660008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000208190555061126482601560008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054611e5a90919063ffffffff16565b601560008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508273ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef846040518082815260200191505060405180910390a3600190509392505050565b600d5481565b600460009054906101000a900460ff1681565b6000600b54905090565b60055481565b6000611372600d5460020a600460009054906101000a900460ff1660ff16600a0a603202611e3690919063ffffffff16565b905090565b6000600c54905090565b600e5481565b60145481565b600f60009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b6000601560008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020549050919050565b600160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1614151561145857600080fd5b600160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff166000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff167f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e060405160405180910390a3600160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff166000806101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055506000600160006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff160217905550565b6000808333876040518084600019166000191681526020018373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff166c01000000000000000000000000028152601401828152602001935050505060405180910390209050828160019004111561161a57600080fd5b8460001916816000191614915050949350505050565b60075481565b600a5481565b600b5481565b600c5481565b6000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b60028054600181600116156101000203166002900480601f0160208091040260200160405190810160405280929190818152602001828054600181600116156101000203166002900480156117035780601f106116d857610100808354040283529160200191611703565b820191906000526020600020905b8154815290600101906020018083116116e657829003601f168201915b505050505081565b6000808233866040518084600019166000191681526020018373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff166c01000000000000000000000000028152601401828152602001935050505060405180910390209050809150509392505050565b60006117d882601560003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054611f2b90919063ffffffff16565b601560003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000208190555061186d82601560008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054611e5a90919063ffffffff16565b601560008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508273ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef846040518082815260200191505060405180910390a36001905092915050565b60085481565b60105481565b600082601660003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508373ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925856040518082815260200191505060405180910390a38373ffffffffffffffffffffffffffffffffffffffff16638f4ffcb1338530866040518563ffffffff167c0100000000000000000000000000000000000000000000000000000000028152600401808573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020018481526020018373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200180602001828103825283818151815260200191508051906020019080838360005b83811015611b08578082015181840152602081019050611aed565b50505050905090810190601f168015611b355780820380516001836020036101000a031916815260200191505b5095505050505050600060405180830381600087803b158015611b5757600080fd5b505af1158015611b6b573d6000803e3d6000fd5b50505050600190509392505050565b60065481565b600160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b60008060009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff16141515611c0357600080fd5b8273ffffffffffffffffffffffffffffffffffffffff1663a9059cbb6000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff16846040518363ffffffff167c0100000000000000000000000000000000000000000000000000000000028152600401808373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200182815260200192505050602060405180830381600087803b158015611cc757600080fd5b505af1158015611cdb573d6000803e3d6000fd5b505050506040513d6020811015611cf157600080fd5b8101908080519060200190929190505050905092915050565b60095481565b6000601660008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054905092915050565b6000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff16141515611df257600080fd5b80600160006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555050565b60008082111515611e4657600080fd5b8183811515611e5157fe5b04905092915050565b60008183019050828110151515611e7057600080fd5b92915050565b600e54611e95611e84611340565b601454611e5a90919063ffffffff16565b118015611ea457506027600d54105b15611eb6576001600d5401600d819055505b611ed36001600d540160020a600554611e3690919063ffffffff16565b60055403600e81905550611ef36001600754611e5a90919063ffffffff16565b6007819055506000600854600754811515611f0a57fe5b061415611f1a57611f19611f47565b5b6001430340600c8160001916905550565b6000828211151515611f3c57600080fd5b818303905092915050565b6000806000806000806000600654430396506008549550603c860294508487101561200657611f9287611f846064886120d890919063ffffffff16565b611e3690919063ffffffff16565b9350611fbc6103e8611fae606487611f2b90919063ffffffff16565b61210990919063ffffffff16565b9250611ffb611fea84611fdc6107d0600b54611e3690919063ffffffff16565b6120d890919063ffffffff16565b600b54611f2b90919063ffffffff16565b600b8190555061209c565b61202c8561201e60648a6120d890919063ffffffff16565b611e3690919063ffffffff16565b91506120566103e8612048606485611f2b90919063ffffffff16565b61210990919063ffffffff16565b9050612095612084826120766107d0600b54611e3690919063ffffffff16565b6120d890919063ffffffff16565b600b54611e5a90919063ffffffff16565b600b819055505b43600681905550600954600b5410156120b957600954600b819055505b600a54600b5411156120cf57600a54600b819055505b50505050505050565b6000818302905060008314806120f857508183828115156120f557fe5b04145b151561210357600080fd5b92915050565b60008183111561211b5781905061211f565b8290505b929150505600a165627a7a72305820cfc712a7dab07305cbbc6ea6f559b1f69908cce35ca6df1de09d26ae3ecab6b70029

0x6080604052600436106101c2576000357c0100000000000000000000000000000000000000000000000000000000900463ffffffff16806306fdde03146101c7578063095ea7b314610257578063163aa00d146102bc57806317da485f146102e75780631801fbe51461031257806318160ddd1461036557806323b872dd146103905780632d38bf7a14610415578063313ce5671461044057806332e99708146104715780633eaaf86b1461049c578063490203a7146104c75780634ef37628146104f25780634fa972e1146105255780636de9f32b146105505780636fd396d61461057b57806370a08231146105d257806379ba50971461062957806381269a5614610640578063829965cc146106ab57806387a2a9d6146106d65780638a769d35146107015780638ae0368b1461072c5780638da5cb5b1461075f57806395d89b41146107b657806397566aa014610846578063a9059cbb146108ab578063b5ade81b14610910578063bafedcaa1461093b578063cae9ca5114610966578063cb9ae70714610a11578063d4ee1d9014610a3c578063dc39d06d14610a93578063dc6e9cf914610af8578063dd62ed3e14610b23578063f2fde38b14610b9a575b600080fd5b3480156101d357600080fd5b506101dc610bdd565b6040518080602001828103825283818151815260200191508051906020019080838360005b8381101561021c578082015181840152602081019050610201565b50505050905090810190601f1680156102495780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b34801561026357600080fd5b506102a2600480360381019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050610c7b565b604051808215151515815260200191505060405180910390f35b3480156102c857600080fd5b506102d1610d6d565b6040518082815260200191505060405180910390f35b3480156102f357600080fd5b506102fc610d73565b6040518082815260200191505060405180910390f35b34801561031e57600080fd5b5061034b600480360381019080803590602001909291908035600019169060200190929190505050610d91565b604051808215151515815260200191505060405180910390f35b34801561037157600080fd5b5061037a611021565b6040518082815260200191505060405180910390f35b34801561039c57600080fd5b506103fb600480360381019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff1690602001909291908035906020019092919050505061106c565b604051808215151515815260200191505060405180910390f35b34801561042157600080fd5b5061042a611317565b6040518082815260200191505060405180910390f35b34801561044c57600080fd5b5061045561131d565b604051808260ff1660ff16815260200191505060405180910390f35b34801561047d57600080fd5b50610486611330565b6040518082815260200191505060405180910390f35b3480156104a857600080fd5b506104b161133a565b6040518082815260200191505060405180910390f35b3480156104d357600080fd5b506104dc611340565b6040518082815260200191505060405180910390f35b3480156104fe57600080fd5b50610507611377565b60405180826000191660001916815260200191505060405180910390f35b34801561053157600080fd5b5061053a611381565b6040518082815260200191505060405180910390f35b34801561055c57600080fd5b50610565611387565b6040518082815260200191505060405180910390f35b34801561058757600080fd5b5061059061138d565b604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b3480156105de57600080fd5b50610613600480360381019080803573ffffffffffffffffffffffffffffffffffffffff1690602001909291905050506113b3565b6040518082815260200191505060405180910390f35b34801561063557600080fd5b5061063e6113fc565b005b34801561064c57600080fd5b5061069160048036038101908080359060200190929190803560001916906020019092919080356000191690602001909291908035906020019092919050505061159b565b604051808215151515815260200191505060405180910390f35b3480156106b757600080fd5b506106c0611630565b6040518082815260200191505060405180910390f35b3480156106e257600080fd5b506106eb611636565b6040518082815260200191505060405180910390f35b34801561070d57600080fd5b5061071661163c565b6040518082815260200191505060405180910390f35b34801561073857600080fd5b50610741611642565b60405180826000191660001916815260200191505060405180910390f35b34801561076b57600080fd5b50610774611648565b604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b3480156107c257600080fd5b506107cb61166d565b6040518080602001828103825283818151815260200191508051906020019080838360005b8381101561080b5780820151818401526020810190506107f0565b50505050905090810190601f1680156108385780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b34801561085257600080fd5b5061088d600480360381019080803590602001909291908035600019169060200190929190803560001916906020019092919050505061170b565b60405180826000191660001916815260200191505060405180910390f35b3480156108b757600080fd5b506108f6600480360381019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050611784565b604051808215151515815260200191505060405180910390f35b34801561091c57600080fd5b5061092561191f565b6040518082815260200191505060405180910390f35b34801561094757600080fd5b50610950611925565b6040518082815260200191505060405180910390f35b34801561097257600080fd5b506109f7600480360381019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190803590602001908201803590602001908080601f016020809104026020016040519081016040528093929190818152602001838380828437820191505050505050919291929050505061192b565b604051808215151515815260200191505060405180910390f35b348015610a1d57600080fd5b50610a26611b7a565b6040518082815260200191505060405180910390f35b348015610a4857600080fd5b50610a51611b80565b604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b348015610a9f57600080fd5b50610ade600480360381019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050611ba6565b604051808215151515815260200191505060405180910390f35b348015610b0457600080fd5b50610b0d611d0a565b6040518082815260200191505060405180910390f35b348015610b2f57600080fd5b50610b84600480360381019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050611d10565b6040518082815260200191505060405180910390f35b348015610ba657600080fd5b50610bdb600480360381019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050611d97565b005b60038054600181600116156101000203166002900480601f016020809104026020016040519081016040528092919081815260200182805460018160011615610100020316600290048015610c735780601f10610c4857610100808354040283529160200191610c73565b820191906000526020600020905b815481529060010190602001808311610c5657829003601f168201915b505050505081565b600081601660003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508273ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925846040518082815260200191505060405180910390a36001905092915050565b60115481565b6000610d8c600b54600a54611e3690919063ffffffff16565b905090565b600080600080600c5433876040518084600019166000191681526020018373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff166c0100000000000000000000000002815260140182815260200193505050506040518091039020925084600019168360001916141515610e1a57600080fd5b600b5483600190041115610e2d57600080fd5b60136000600c54600019166000191681526020019081526020016000205491508260136000600c5460001916600019168152602001908152602001600020816000191690555060006001028260001916141515610e8957600080fd5b610e91611340565b9050610ee581601560003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054611e5a90919063ffffffff16565b601560003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550610f3d81601454611e5a90919063ffffffff16565b601481905550600e5460145411151515610f5357fe5b33600f60006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055508060108190555043601181905550610faa611e76565b3373ffffffffffffffffffffffffffffffffffffffff167fcf6fbb9dcea7d07263ab4f5c3a92f53af33dffc421d9d121e1c74b307e68189d82600754600c54604051808481526020018381526020018260001916600019168152602001935050505060405180910390a26001935050505092915050565b6000601560008073ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205460055403905090565b60006110c082601560008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054611f2b90919063ffffffff16565b601560008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000208190555061119282601660008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054611f2b90919063ffffffff16565b601660008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000208190555061126482601560008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054611e5a90919063ffffffff16565b601560008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508273ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef846040518082815260200191505060405180910390a3600190509392505050565b600d5481565b600460009054906101000a900460ff1681565b6000600b54905090565b60055481565b6000611372600d5460020a600460009054906101000a900460ff1660ff16600a0a603202611e3690919063ffffffff16565b905090565b6000600c54905090565b600e5481565b60145481565b600f60009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b6000601560008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020549050919050565b600160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1614151561145857600080fd5b600160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff166000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff167f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e060405160405180910390a3600160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff166000806101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055506000600160006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff160217905550565b6000808333876040518084600019166000191681526020018373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff166c01000000000000000000000000028152601401828152602001935050505060405180910390209050828160019004111561161a57600080fd5b8460001916816000191614915050949350505050565b60075481565b600a5481565b600b5481565b600c5481565b6000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b60028054600181600116156101000203166002900480601f0160208091040260200160405190810160405280929190818152602001828054600181600116156101000203166002900480156117035780601f106116d857610100808354040283529160200191611703565b820191906000526020600020905b8154815290600101906020018083116116e657829003601f168201915b505050505081565b6000808233866040518084600019166000191681526020018373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff166c01000000000000000000000000028152601401828152602001935050505060405180910390209050809150509392505050565b60006117d882601560003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054611f2b90919063ffffffff16565b601560003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000208190555061186d82601560008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054611e5a90919063ffffffff16565b601560008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508273ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef846040518082815260200191505060405180910390a36001905092915050565b60085481565b60105481565b600082601660003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508373ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925856040518082815260200191505060405180910390a38373ffffffffffffffffffffffffffffffffffffffff16638f4ffcb1338530866040518563ffffffff167c0100000000000000000000000000000000000000000000000000000000028152600401808573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020018481526020018373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200180602001828103825283818151815260200191508051906020019080838360005b83811015611b08578082015181840152602081019050611aed565b50505050905090810190601f168015611b355780820380516001836020036101000a031916815260200191505b5095505050505050600060405180830381600087803b158015611b5757600080fd5b505af1158015611b6b573d6000803e3d6000fd5b50505050600190509392505050565b60065481565b600160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b60008060009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff16141515611c0357600080fd5b8273ffffffffffffffffffffffffffffffffffffffff1663a9059cbb6000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff16846040518363ffffffff167c0100000000000000000000000000000000000000000000000000000000028152600401808373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200182815260200192505050602060405180830381600087803b158015611cc757600080fd5b505af1158015611cdb573d6000803e3d6000fd5b505050506040513d6020811015611cf157600080fd5b8101908080519060200190929190505050905092915050565b60095481565b6000601660008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054905092915050565b6000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff16141515611df257600080fd5b80600160006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555050565b60008082111515611e4657600080fd5b8183811515611e5157fe5b04905092915050565b60008183019050828110151515611e7057600080fd5b92915050565b600e54611e95611e84611340565b601454611e5a90919063ffffffff16565b118015611ea457506027600d54105b15611eb6576001600d5401600d819055505b611ed36001600d540160020a600554611e3690919063ffffffff16565b60055403600e81905550611ef36001600754611e5a90919063ffffffff16565b6007819055506000600854600754811515611f0a57fe5b061415611f1a57611f19611f47565b5b6001430340600c8160001916905550565b6000828211151515611f3c57600080fd5b818303905092915050565b6000806000806000806000600654430396506008549550603c860294508487101561200657611f9287611f846064886120d890919063ffffffff16565b611e3690919063ffffffff16565b9350611fbc6103e8611fae606487611f2b90919063ffffffff16565b61210990919063ffffffff16565b9250611ffb611fea84611fdc6107d0600b54611e3690919063ffffffff16565b6120d890919063ffffffff16565b600b54611f2b90919063ffffffff16565b600b8190555061209c565b61202c8561201e60648a6120d890919063ffffffff16565b611e3690919063ffffffff16565b91506120566103e8612048606485611f2b90919063ffffffff16565b61210990919063ffffffff16565b9050612095612084826120766107d0600b54611e3690919063ffffffff16565b6120d890919063ffffffff16565b600b54611e5a90919063ffffffff16565b600b819055505b43600681905550600954600b5410156120b957600954600b819055505b600a54600b5411156120cf57600a54600b819055505b50505050505050565b6000818302905060008314806120f857508183828115156120f557fe5b04145b151561210357600080fd5b92915050565b60008183111561211b5781905061211f565b8290505b929150505600a165627a7a72305820cfc712a7dab07305cbbc6ea6f559b1f69908cce35ca6df1de09d26ae3ecab6b70029

3920:13420:0:-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;16883:8;;;4075:19;;8:9:-1;5:2;;;30:1;27;20:12;5:2;4075:19:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;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;4075:19:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;14359:211;;8:9:-1;5:2;;;30:1;27;20:12;5:2;14359:211:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;4853:36;;8:9:-1;5:2;;;30:1;27;20:12;5:2;4853:36:0;;;;;;;;;;;;;;;;;;;;;;;11224:121;;8:9:-1;5:2;;;30:1;27;20:12;5:2;11224:121:0;;;;;;;;;;;;;;;;;;;;;;;6093:1506;;8:9:-1;5:2;;;30:1;27;20:12;5:2;6093:1506:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;12707:120;;8:9:-1;5:2;;;30:1;27;20:12;5:2;12707:120:0;;;;;;;;;;;;;;;;;;;;;;;15133:350;;8:9:-1;5:2;;;30:1;27;20:12;5:2;15133:350:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;4718:21;;8:9:-1;5:2;;;30:1;27;20:12;5:2;4718:21:0;;;;;;;;;;;;;;;;;;;;;;;4103;;8:9:-1;5:2;;;30:1;27;20:12;5:2;4103:21:0;;;;;;;;;;;;;;;;;;;;;;;;;;;11353:94;;8:9:-1;5:2;;;30:1;27;20:12;5:2;11353:94:0;;;;;;;;;;;;;;;;;;;;;;;4133:24;;8:9:-1;5:2;;;30:1;27;20:12;5:2;4133:24:0;;;;;;;;;;;;;;;;;;;;;;;11567:264;;8:9:-1;5:2;;;30:1;27;20:12;5:2;11567:264:0;;;;;;;;;;;;;;;;;;;;;;;11027:105;;8:9:-1;5:2;;;30:1;27;20:12;5:2;11027:105:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;4746:27;;8:9:-1;5:2;;;30:1;27;20:12;5:2;4746:27:0;;;;;;;;;;;;;;;;;;;;;;;4983:24;;8:9:-1;5:2;;;30:1;27;20:12;5:2;4983:24:0;;;;;;;;;;;;;;;;;;;;;;;4784:27;;8:9:-1;5:2;;;30:1;27;20:12;5:2;4784:27:0;;;;;;;;;;;;;;;;;;;;;;;;;;;13062:128;;8:9:-1;5:2;;;30:1;27;20:12;5:2;13062:128:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;3440:201;;8:9:-1;5:2;;;30:1;27;20:12;5:2;3440:201:0;;;;;;12164:342;;8:9:-1;5:2;;;30:1;27;20:12;5:2;12164:342:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;4225:22;;8:9:-1;5:2;;;30:1;27;20:12;5:2;4225:22:0;;;;;;;;;;;;;;;;;;;;;;;4543:37;;8:9:-1;5:2;;;30:1;27;20:12;5:2;4543:37:0;;;;;;;;;;;;;;;;;;;;;;;4591:24;;8:9:-1;5:2;;;30:1;27;20:12;5:2;4591:24:0;;;;;;;;;;;;;;;;;;;;;;;4624:30;;8:9:-1;5:2;;;30:1;27;20:12;5:2;4624:30:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;3013:20;;8:9:-1;5:2;;;30:1;27;20:12;5:2;3013:20:0;;;;;;;;;;;;;;;;;;;;;;;;;;;4046;;8:9:-1;5:2;;;30:1;27;20:12;5:2;4046:20:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;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;4046:20:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;11873:243;;8:9:-1;5:2;;;30:1;27;20:12;5:2;11873:243:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;13553:272;;8:9:-1;5:2;;;30:1;27;20:12;5:2;13553:272:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;4284:43;;8:9:-1;5:2;;;30:1;27;20:12;5:2;4284:43:0;;;;;;;;;;;;;;;;;;;;;;;4818:28;;8:9:-1;5:2;;;30:1;27;20:12;5:2;4818:28:0;;;;;;;;;;;;;;;;;;;;;;;16316:322;;8:9:-1;5:2;;;30:1;27;20:12;5:2;16316:322:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;4171:41;;8:9:-1;5:2;;;30:1;27;20:12;5:2;4171:41:0;;;;;;;;;;;;;;;;;;;;;;;3042:23;;8:9:-1;5:2;;;30:1;27;20:12;5:2;3042:23:0;;;;;;;;;;;;;;;;;;;;;;;;;;;17147:188;;8:9:-1;5:2;;;30:1;27;20:12;5:2;17147:188:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;4361:36;;8:9:-1;5:2;;;30:1;27;20:12;5:2;4361:36:0;;;;;;;;;;;;;;;;;;;;;;;15781:155;;8:9:-1;5:2;;;30:1;27;20:12;5:2;15781:155:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;3326:106;;8:9:-1;5:2;;;30:1;27;20:12;5:2;3326:106:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;4075:19;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::o;14359:211::-;14422:12;14480:6;14449:7;:19;14457:10;14449:19;;;;;;;;;;;;;;;:28;14469:7;14449:28;;;;;;;;;;;;;;;:37;;;;14520:7;14499:37;;14508:10;14499:37;;;14529:6;14499:37;;;;;;;;;;;;;;;;;;14556:4;14549:11;;14359:211;;;;:::o;4853:36::-;;;;:::o;11224:121::-;11280:4;11304:33;11324:12;;11304:15;;:19;;:33;;;;:::i;:::-;11297:40;;11224:121;:::o;6093:1506::-;6164:12;6353:14;6728:16;6956:18;6381:15;;6398:10;6410:5;6371:46;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;6353:64;;6508:16;6498:26;;;:6;:26;;;;;6494:40;;;6526:8;;;6494:40;6630:12;;6620:6;6612:15;;;:30;6609:43;;;6644:8;;;6609:43;6747:20;:37;6768:15;;6747:37;;;;;;;;;;;;;;;;;;6728:56;;6840:6;6800:20;:37;6821:15;;6800:37;;;;;;;;;;;;;;;;;:46;;;;;;;6877:3;6865:15;;:8;:15;;;;;6862:28;;;6882:8;;;6862:28;6977:17;:15;:17::i;:::-;6956:38;;7034:39;7059:13;7034:8;:20;7043:10;7034:20;;;;;;;;;;;;;;;;:24;;:39;;;;:::i;:::-;7011:8;:20;7020:10;7011:20;;;;;;;;;;;;;;;:62;;;;7105:31;7122:13;7105:12;;:16;;:31;;;;:::i;:::-;7090:12;:46;;;;7232:15;;7216:12;;:31;;7209:39;;;;;;7325:10;7310:12;;:25;;;;;;;;;;;;;;;;;;7369:13;7350:16;:32;;;;7424:12;7397:24;:39;;;;7456:22;:20;:22::i;:::-;7502:10;7497:61;;;7514:13;7529:10;;7541:15;;7497:61;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;7581:4;7574:11;;6093:1506;;;;;;;:::o;12707:120::-;12755:4;12797:8;:20;12814:1;12797:20;;;;;;;;;;;;;;;;12781:12;;:36;12774:43;;12707:120;:::o;15133:350::-;15210:12;15254:26;15273:6;15254:8;:14;15263:4;15254:14;;;;;;;;;;;;;;;;:18;;:26;;;;:::i;:::-;15237:8;:14;15246:4;15237:14;;;;;;;;;;;;;;;:43;;;;15321:37;15351:6;15321:7;:13;15329:4;15321:13;;;;;;;;;;;;;;;:25;15335:10;15321:25;;;;;;;;;;;;;;;;:29;;:37;;;;:::i;:::-;15293:7;:13;15301:4;15293:13;;;;;;;;;;;;;;;:25;15307:10;15293:25;;;;;;;;;;;;;;;:65;;;;15386:24;15403:6;15386:8;:12;15395:2;15386:12;;;;;;;;;;;;;;;;:16;;:24;;;;:::i;:::-;15371:8;:12;15380:2;15371:12;;;;;;;;;;;;;;;:39;;;;15438:2;15423:26;;15432:4;15423:26;;;15442:6;15423:26;;;;;;;;;;;;;;;;;;15469:4;15462:11;;15133:350;;;;;:::o;4718:21::-;;;;:::o;4103:::-;;;;;;;;;;;;;:::o;11353:94::-;11405:4;11428:12;;11421:19;;11353:94;:::o;4133:24::-;;;;:::o;11567:264::-;11619:4;11774:46;11809:9;;11806:1;:12;11789:8;;;;;;;;;;;11784:14;;11780:2;:18;11775:2;:23;11774:30;;:46;;;;:::i;:::-;11767:53;;11567:264;:::o;11027:105::-;11082:7;11109:15;;11102:22;;11027:105;:::o;4746:27::-;;;;:::o;4983:24::-;;;;:::o;4784:27::-;;;;;;;;;;;;;:::o;13062:128::-;13126:12;13160:8;:20;13169:10;13160:20;;;;;;;;;;;;;;;;13153:27;;13062:128;;;:::o;3440:201::-;3509:8;;;;;;;;;;;3495:22;;:10;:22;;;3487:31;;;;;;;;3559:8;;;;;;;;;;;3531:37;;3552:5;;;;;;;;;;;3531:37;;;;;;;;;;;;3589:8;;;;;;;;;;;3581:5;;:16;;;;;;;;;;;;;;;;;;3629:1;3610:8;;:21;;;;;;;;;;;;;;;;;;3440:201::o;12164:342::-;12296:12;12325:14;12352:16;12369:10;12380:5;12342:44;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;12325:61;;12422:10;12412:6;12404:15;;;:28;12401:41;;;12434:8;;;12401:41;12475:16;12465:26;;;:6;:26;;;;12457:35;;12164:342;;;;;;;:::o;4225:22::-;;;;:::o;4543:37::-;;;;:::o;4591:24::-;;;;:::o;4624:30::-;;;;:::o;3013:20::-;;;;;;;;;;;;;:::o;4046:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::o;11873:243::-;11984:18;12017:14;12044:16;12061:10;12072:5;12034:44;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;12017:61;;12098:6;12091:13;;11873:243;;;;;;:::o;13553:272::-;13612:12;13662:32;13687:6;13662:8;:20;13671:10;13662:20;;;;;;;;;;;;;;;;:24;;:32;;;;:::i;:::-;13639:8;:20;13648:10;13639:20;;;;;;;;;;;;;;;:55;;;;13722:24;13739:6;13722:8;:12;13731:2;13722:12;;;;;;;;;;;;;;;;:16;;:24;;;;:::i;:::-;13707:8;:12;13716:2;13707:12;;;;;;;;;;;;;;;:39;;;;13780:2;13759:32;;13768:10;13759:32;;;13784:6;13759:32;;;;;;;;;;;;;;;;;;13811:4;13804:11;;13553:272;;;;:::o;4284:43::-;;;;:::o;4818:28::-;;;;:::o;16316:322::-;16398:12;16456:6;16425:7;:19;16433:10;16425:19;;;;;;;;;;;;;;;:28;16445:7;16425:28;;;;;;;;;;;;;;;:37;;;;16496:7;16475:37;;16484:10;16475:37;;;16505:6;16475:37;;;;;;;;;;;;;;;;;;16548:7;16525:47;;;16573:10;16585:6;16593:4;16599;16525:79;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;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;16525:79:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;16525:79:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;16525:79:0;;;;16624:4;16617:11;;16316:322;;;;;:::o;4171:41::-;;;;:::o;3042:23::-;;;;;;;;;;;;;:::o;17147:188::-;17239:12;3286:5;;;;;;;;;;;3272:19;;:10;:19;;;3264:28;;;;;;;;17288:12;17273:37;;;17311:5;;;;;;;;;;;17318:6;17273:52;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;17273:52:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;17273:52:0;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;17273:52:0;;;;;;;;;;;;;;;;17266:59;;17147:188;;;;:::o;4361:36::-;;;;:::o;15781:155::-;15862:14;15898:7;:19;15906:10;15898:19;;;;;;;;;;;;;;;:28;15918:7;15898:28;;;;;;;;;;;;;;;;15891:35;;15781:155;;;;:::o;3326:106::-;3286:5;;;;;;;;;;;3272:19;;:10;:19;;;3264:28;;;;;;;;3413:9;3402:8;;:20;;;;;;;;;;;;;;;;;;3326:106;:::o;1011:119::-;1063:6;1096:1;1092;:5;1084:14;;;;;;;;1119:1;1115;:5;;;;;;;;1111:9;;1011:119;;;;:::o;613:120::-;665:6;694:1;690;:5;686:9;;721:1;716;:6;;708:15;;;;;;;;613:120;;;;:::o;7642:1184::-;8015:15;;7977:35;7994:17;:15;:17::i;:::-;7977:12;;:16;;:35;;;;:::i;:::-;:53;:71;;;;;8046:2;8034:9;;:14;7977:71;7973:130;;;8092:1;8080:9;;:13;8068:9;:25;;;;7973:130;8283:37;8317:1;8305:9;;:13;8301:1;:18;8283:12;;:16;;:37;;;;:::i;:::-;8268:12;;:52;8250:15;:70;;;;8344:17;8359:1;8344:10;;:14;;:17;;;;:::i;:::-;8331:10;:30;;;;8491:1;8463:24;;8450:10;;:37;;;;;;;;:42;8447:96;;;8512:21;:19;:21::i;:::-;8447:96;8804:1;8789:12;:16;8773:33;8755:15;:51;;;;;;;7642:1184::o;741:120::-;793:6;827:1;822;:6;;814:15;;;;;;;;850:1;846;:5;842:9;;741:120;;;;:::o;9059:1872::-;9114:39;9375:16;9437:33;9708:21;9828:27;10225:23;10347:29;9171;;9156:12;:44;9114:86;;9394:24;;9375:43;;9487:2;9473:11;:16;9437:52;;9655:28;9618:34;:65;9614:998;;;9732:81;9777:34;9733:37;9766:3;9733:28;:32;;:37;;;;:::i;:::-;9732:43;;:81;;;;:::i;:::-;9708:105;;9858:45;9898:4;9858:25;9879:3;9858:16;:20;;:25;;;;:::i;:::-;:39;;:45;;;;:::i;:::-;9828:75;;10110:68;10127:50;10154:22;10127;10144:4;10127:12;;:16;;:22;;;;:::i;:::-;:26;;:50;;;;:::i;:::-;10110:12;;:16;;:68;;;;:::i;:::-;10095:12;:83;;;;9614:998;;;10251:81;10302:28;10252:43;10291:3;10252:34;:38;;:43;;;;:::i;:::-;10251:49;;:81;;;;:::i;:::-;10225:107;;10379:47;10421:4;10379:27;10402:3;10379:18;:22;;:27;;;;:::i;:::-;:41;;:47;;;;:::i;:::-;10347:79;;10512:70;10529:52;10556:24;10529:22;10546:4;10529:12;;:16;;:22;;;;:::i;:::-;:26;;:52;;;;:::i;:::-;10512:12;;:16;;:70;;;;:::i;:::-;10497:12;:85;;;;9614:998;10660:12;10628:29;:44;;;;10703:15;;10688:12;;:30;10685:116;;;10774:15;;10759:12;:30;;;;10685:116;10831:15;;10816:12;;:30;10813:111;;;10897:15;;10882:12;:30;;;;10813:111;9059:1872;;;;;;;:::o;869:134::-;921:6;950:1;946;:5;942:9;;977:1;972;:6;:20;;;;991:1;986;982;:5;;;;;;;;:10;972:20;964:29;;;;;;;;869:134;;;;:::o;1228:132::-;1290:6;1318:1;1314;:5;1311:18;;;1328:1;1321:8;;;;1311:18;1349:1;1342:8;;1228:132;;;;;:::o

bzzr://cfc712a7dab07305cbbc6ea6f559b1f69908cce35ca6df1de09d26ae3ecab6b7