Contract Source Code (Solidity)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta
• Remix IDE

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

/**
 *Submitted for verification at Etherscan.io on 2019-06-17
*/

pragma solidity 0.5.9;
                                                                                                                 
// 'BitcoinSoV' contract
// Mineable & Deflationary ERC20 Token using Proof Of Work
// Website: https://btcsov.com
//
// Symbol      : BSOV
// Name        : BitcoinSoV 
// Total supply: 21,000,000.00
// Decimals    : 8
//
// ----------------------------------------------------------------------------

// ----------------------------------------------------------------------------
// 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 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);
    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 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 _BitcoinSoV 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;
    uint public burnPercent;

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

    // ------------------------------------------------------------------------
    // Constructor
    // ------------------------------------------------------------------------

    constructor() public onlyOwner {

        symbol = "BSOV";
        name = "BitcoinSoV";
        decimals = 8;
        _totalSupply = 21000000 * 10 ** uint(decimals);
        if (locked) revert();
        locked = true;
        tokensMinted = 0;
        rewardEra = 0;
        maxSupplyForEra = _totalSupply.div(2);
        miningTarget = _MAXIMUM_TARGET;
        latestDifficultyPeriodStarted = block.number;
        burnPercent = 10; //it's divided by 1000, then 10/1000 = 0.01 = 1%
        _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(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);
        //Cannot mint more tokens than there are
        assert(tokensMinted <= maxSupplyForEra);
        //set readonly diagnostics data
        lastRewardTo = msg.sender;
        lastRewardAmount = reward_amount;
        lastRewardEthBlockNumber = block.number;
        _startNewMiningEpoch();
        emit 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 = 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 BitcoinSoV 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 view returns(bytes32) {
        return challengeNumber;
    }

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

    function getMiningTarget() public view 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 view 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(abi.encodePacked(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(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 _totalSupply - balances[address(0)];
    }

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

    function balanceOf(address tokenOwner) public view 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) {

        uint toBurn = tokens.mul(burnPercent).div(1000);
        uint toSend = tokens.sub(toBurn);

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

        balances[to] = balances[to].add(toSend);
        emit Transfer(msg.sender, to, toSend);

        balances[address(0)] = balances[address(0)].add(toBurn);
        emit Transfer(msg.sender, address(0), toBurn);

        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;
        emit 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) {
        uint toBurn = tokens.mul(burnPercent).div(1000);
        uint toSend = tokens.sub(toBurn);
        balances[from] = balances[from].sub(tokens);
        allowed[from][msg.sender] = allowed[from][msg.sender].sub(tokens);
        balances[to] = balances[to].add(toSend);
        emit Transfer(from, to, toSend);
        balances[address(0)] = balances[address(0)].add(toBurn);
        emit Transfer(from, address(0), toBurn);
        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;
    }

    // ------------------------------------------------------------------------
    // Don't 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);
    }

}

• No Contract Security Audit Submitted- Submit Audit Here

[{"constant":true,"inputs":[],"name":"burnPercent","outputs":[{"name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"name","outputs":[{"name":"","type":"string"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":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"}]

6080604052610400600855620100006009557d040000000000000000000000000000000000000000000000000000000000600a556000601260006101000a81548160ff0219169083151502179055503480156200005b57600080fd5b50336000806101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055506000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1614620000f657600080fd5b6040518060400160405280600481526020017f42534f560000000000000000000000000000000000000000000000000000000081525060029080519060200190620001439291906200061d565b506040518060400160405280600a81526020017f426974636f696e536f560000000000000000000000000000000000000000000081525060039080519060200190620001919291906200061d565b506008600460006101000a81548160ff021916908360ff160217905550600460009054906101000a900460ff1660ff16600a0a6301406f4002600581905550601260009054906101000a900460ff1615620001eb57600080fd5b6001601260006101000a81548160ff02191690831515021790555060006014819055506000600d819055506200023360026005546200026760201b6200217f1790919060201c565b600e81905550600a54600b8190555043600681905550600a601781905550620002616200028960201b60201c565b620006cc565b60008082116200027657600080fd5b8183816200028057fe5b04905092915050565b600e54620002b7620002a06200036160201b60201c565b6014546200039f60201b6200219f1790919060201c565b118015620002c757506027600d54105b15620002da576001600d5401600d819055505b620002fe6001600d540160020a6005546200026760201b6200217f1790919060201c565b60055403600e819055506200032560016007546200039f60201b6200219f1790919060201c565b6007819055506000600854600754816200033b57fe5b061415620003545762000353620003ba60201b60201c565b5b6001430340600c81905550565b60006200039a600d5460020a600460009054906101000a900460ff1660ff16600a0a6032026200026760201b6200217f1790919060201c565b905090565b6000818301905082811015620003b457600080fd5b92915050565b600060065443039050600060085490506000603c8202905080831015620004ad5760006200041184620003fd606485620005b460201b620022681790919060201c565b6200026760201b6200217f1790919060201c565b905060006200044b6103e862000437606485620005e460201b620022951790919060201c565b620005ff60201b620024431790919060201c565b90506200049f6200048882620004746107d0600b546200026760201b6200217f1790919060201c565b620005b460201b620022681790919060201c565b600b54620005e460201b620022951790919060201c565b600b8190555050506200057a565b6000620004e382620004cf606487620005b460201b620022681790919060201c565b6200026760201b6200217f1790919060201c565b905060006200051d6103e862000509606485620005e460201b620022951790919060201c565b620005ff60201b620024431790919060201c565b9050620005716200055a82620005466107d0600b546200026760201b6200217f1790919060201c565b620005b460201b620022681790919060201c565b600b546200039f60201b6200219f1790919060201c565b600b8190555050505b43600681905550600954600b5410156200059857600954600b819055505b600a54600b541115620005af57600a54600b819055505b505050565b600081830290506000831480620005d4575081838281620005d157fe5b04145b620005de57600080fd5b92915050565b600082821115620005f457600080fd5b818303905092915050565b600081831115620006135781905062000617565b8290505b92915050565b828054600181600116156101000203166002900490600052602060002090601f016020900481019282601f106200066057805160ff191683800117855562000691565b8280016001018555821562000691579182015b828111156200069057825182559160200191906001019062000673565b5b509050620006a09190620006a4565b5090565b620006c991905b80821115620006c5576000816000905550600101620006ab565b5090565b90565b61249480620006dc6000396000f3fe60806040526004361061021a5760003560e01c806379ba509711610123578063a9059cbb116100ab578063d4ee1d901161006f578063d4ee1d9014610b54578063dc39d06d14610bab578063dc6e9cf914610c1e578063dd62ed3e14610c49578063f2fde38b14610cce5761021a565b8063a9059cbb14610956578063b5ade81b146109c9578063bafedcaa146109f4578063cae9ca5114610a1f578063cb9ae70714610b295761021a565b80638a769d35116100f25780638a769d35146107b65780638ae0368b146107e15780638da5cb5b1461080c57806395d89b411461086357806397566aa0146108f35761021a565b806379ba5097146106d857806381269a56146106ef578063829965cc1461076057806387a2a9d61461078b5761021a565b8063313ce567116101a65780634ef37628116101755780634ef376281461059b5780634fa972e1146105c65780636de9f32b146105f15780636fd396d61461061c57806370a08231146106735761021a565b8063313ce567146104e957806332e997081461051a5780633eaaf86b14610545578063490203a7146105705761021a565b806317da485f116101ed57806317da485f146103785780631801fbe5146103a357806318160ddd1461040057806323b872dd1461042b5780632d38bf7a146104be5761021a565b806303807ee51461021f57806306fdde031461024a578063095ea7b3146102da578063163aa00d1461034d575b600080fd5b34801561022b57600080fd5b50610234610d1f565b6040518082815260200191505060405180910390f35b34801561025657600080fd5b5061025f610d25565b6040518080602001828103825283818151815260200191508051906020019080838360005b8381101561029f578082015181840152602081019050610284565b50505050905090810190601f1680156102cc5780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b3480156102e657600080fd5b50610333600480360360408110156102fd57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050610dc3565b604051808215151515815260200191505060405180910390f35b34801561035957600080fd5b50610362610eb5565b6040518082815260200191505060405180910390f35b34801561038457600080fd5b5061038d610ebb565b6040518082815260200191505060405180910390f35b3480156103af57600080fd5b506103e6600480360360408110156103c657600080fd5b810190808035906020019092919080359060200190929190505050610ed9565b604051808215151515815260200191505060405180910390f35b34801561040c57600080fd5b50610415611137565b6040518082815260200191505060405180910390f35b34801561043757600080fd5b506104a46004803603606081101561044e57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050611182565b604051808215151515815260200191505060405180910390f35b3480156104ca57600080fd5b506104d361156d565b6040518082815260200191505060405180910390f35b3480156104f557600080fd5b506104fe611573565b604051808260ff1660ff16815260200191505060405180910390f35b34801561052657600080fd5b5061052f611586565b6040518082815260200191505060405180910390f35b34801561055157600080fd5b5061055a611590565b6040518082815260200191505060405180910390f35b34801561057c57600080fd5b50610585611596565b6040518082815260200191505060405180910390f35b3480156105a757600080fd5b506105b06115cd565b6040518082815260200191505060405180910390f35b3480156105d257600080fd5b506105db6115d7565b6040518082815260200191505060405180910390f35b3480156105fd57600080fd5b506106066115dd565b6040518082815260200191505060405180910390f35b34801561062857600080fd5b506106316115e3565b604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b34801561067f57600080fd5b506106c26004803603602081101561069657600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050611609565b6040518082815260200191505060405180910390f35b3480156106e457600080fd5b506106ed611652565b005b3480156106fb57600080fd5b506107466004803603608081101561071257600080fd5b81019080803590602001909291908035906020019092919080359060200190929190803590602001909291905050506117ef565b604051808215151515815260200191505060405180910390f35b34801561076c57600080fd5b50610775611878565b6040518082815260200191505060405180910390f35b34801561079757600080fd5b506107a061187e565b6040518082815260200191505060405180910390f35b3480156107c257600080fd5b506107cb611884565b6040518082815260200191505060405180910390f35b3480156107ed57600080fd5b506107f661188a565b6040518082815260200191505060405180910390f35b34801561081857600080fd5b50610821611890565b604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b34801561086f57600080fd5b506108786118b5565b6040518080602001828103825283818151815260200191508051906020019080838360005b838110156108b857808201518184015260208101905061089d565b50505050905090810190601f1680156108e55780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b3480156108ff57600080fd5b506109406004803603606081101561091657600080fd5b81019080803590602001909291908035906020019092919080359060200190929190505050611953565b6040518082815260200191505060405180910390f35b34801561096257600080fd5b506109af6004803603604081101561097957600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803590602001909291905050506119c9565b604051808215151515815260200191505060405180910390f35b3480156109d557600080fd5b506109de611ca4565b6040518082815260200191505060405180910390f35b348015610a0057600080fd5b50610a09611caa565b6040518082815260200191505060405180910390f35b348015610a2b57600080fd5b50610b0f60048036036060811015610a4257600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff1690602001909291908035906020019092919080359060200190640100000000811115610a8957600080fd5b820183602082011115610a9b57600080fd5b80359060200191846001830284011164010000000083111715610abd57600080fd5b91908080601f016020809104026020016040519081016040528093929190818152602001838380828437600081840152601f19601f820116905080830192505050505050509192919290505050611cb0565b604051808215151515815260200191505060405180910390f35b348015610b3557600080fd5b50610b3e611ee3565b6040518082815260200191505060405180910390f35b348015610b6057600080fd5b50610b69611ee9565b604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b348015610bb757600080fd5b50610c0460048036036040811015610bce57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050611f0f565b604051808215151515815260200191505060405180910390f35b348015610c2a57600080fd5b50610c33612055565b6040518082815260200191505060405180910390f35b348015610c5557600080fd5b50610cb860048036036040811015610c6c57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff16906020019092919050505061205b565b6040518082815260200191505060405180910390f35b348015610cda57600080fd5b50610d1d60048036036020811015610cf157600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff1690602001909291905050506120e2565b005b60175481565b60038054600181600116156101000203166002900480601f016020809104026020016040519081016040528092919081815260200182805460018160011615610100020316600290048015610dbb5780601f10610d9057610100808354040283529160200191610dbb565b820191906000526020600020905b815481529060010190602001808311610d9e57829003601f168201915b505050505081565b600081601660003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508273ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925846040518082815260200191505060405180910390a36001905092915050565b60115481565b6000610ed4600b54600a5461217f90919063ffffffff16565b905090565b600080600c543385604051602001808481526020018373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1660601b81526014018281526020019350505050604051602081830303815290604052805190602001209050828114610f5257600080fd5b600b548160001c1115610f6457600080fd5b600060136000600c5481526020019081526020016000205490508160136000600c548152602001908152602001600020819055506000801b8114610fa757600080fd5b6000610fb1611596565b905061100581601560003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461219f90919063ffffffff16565b601560003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000208190555061105d8160145461219f90919063ffffffff16565b601481905550600e54601454111561107157fe5b33600f60006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555080601081905550436011819055506110c86121b9565b3373ffffffffffffffffffffffffffffffffffffffff167fcf6fbb9dcea7d07263ab4f5c3a92f53af33dffc421d9d121e1c74b307e68189d82600754600c5460405180848152602001838152602001828152602001935050505060405180910390a26001935050505092915050565b6000601560008073ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205460055403905090565b6000806111ae6103e86111a06017548661226890919063ffffffff16565b61217f90919063ffffffff16565b905060006111c5828561229590919063ffffffff16565b905061121984601560008973ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461229590919063ffffffff16565b601560008873ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055506112eb84601660008973ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461229590919063ffffffff16565b601660008873ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055506113bd81601560008873ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461219f90919063ffffffff16565b601560008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508473ffffffffffffffffffffffffffffffffffffffff168673ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef836040518082815260200191505060405180910390a36114b782601560008073ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461219f90919063ffffffff16565b601560008073ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550600073ffffffffffffffffffffffffffffffffffffffff168673ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef846040518082815260200191505060405180910390a36001925050509392505050565b600d5481565b600460009054906101000a900460ff1681565b6000600b54905090565b60055481565b60006115c8600d5460020a600460009054906101000a900460ff1660ff16600a0a60320261217f90919063ffffffff16565b905090565b6000600c54905090565b600e5481565b60145481565b600f60009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b6000601560008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020549050919050565b600160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff16146116ac57600080fd5b600160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff166000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff167f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e060405160405180910390a3600160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff166000806101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055506000600160006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff160217905550565b600080833387604051602001808481526020018373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1660601b81526014018281526020019350505050604051602081830303815290604052805190602001209050828160001c111561186a57600080fd5b848114915050949350505050565b60075481565b600a5481565b600b5481565b600c5481565b6000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b60028054600181600116156101000203166002900480601f01602080910402602001604051908101604052809291908181526020018280546001816001161561010002031660029004801561194b5780601f106119205761010080835404028352916020019161194b565b820191906000526020600020905b81548152906001019060200180831161192e57829003601f168201915b505050505081565b600080823386604051602001808481526020018373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1660601b81526014018281526020019350505050604051602081830303815290604052805190602001209050809150509392505050565b6000806119f56103e86119e76017548661226890919063ffffffff16565b61217f90919063ffffffff16565b90506000611a0c828561229590919063ffffffff16565b9050611a6084601560003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461229590919063ffffffff16565b601560003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550611af581601560008873ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461219f90919063ffffffff16565b601560008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508473ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef836040518082815260200191505060405180910390a3611bef82601560008073ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461219f90919063ffffffff16565b601560008073ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550600073ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef846040518082815260200191505060405180910390a360019250505092915050565b60085481565b60105481565b600082601660003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508373ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925856040518082815260200191505060405180910390a38373ffffffffffffffffffffffffffffffffffffffff16638f4ffcb1338530866040518563ffffffff1660e01b8152600401808573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020018481526020018373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200180602001828103825283818151815260200191508051906020019080838360005b83811015611e71578082015181840152602081019050611e56565b50505050905090810190601f168015611e9e5780820380516001836020036101000a031916815260200191505b5095505050505050600060405180830381600087803b158015611ec057600080fd5b505af1158015611ed4573d6000803e3d6000fd5b50505050600190509392505050565b60065481565b600160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b60008060009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1614611f6a57600080fd5b8273ffffffffffffffffffffffffffffffffffffffff1663a9059cbb6000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff16846040518363ffffffff1660e01b8152600401808373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200182815260200192505050602060405180830381600087803b15801561201257600080fd5b505af1158015612026573d6000803e3d6000fd5b505050506040513d602081101561203c57600080fd5b8101908080519060200190929190505050905092915050565b60095481565b6000601660008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054905092915050565b6000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff161461213b57600080fd5b80600160006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555050565b600080821161218d57600080fd5b81838161219657fe5b04905092915050565b60008183019050828110156121b357600080fd5b92915050565b600e546121d86121c7611596565b60145461219f90919063ffffffff16565b1180156121e757506027600d54105b156121f9576001600d5401600d819055505b6122166001600d540160020a60055461217f90919063ffffffff16565b60055403600e81905550612236600160075461219f90919063ffffffff16565b60078190555060006008546007548161224b57fe5b06141561225b5761225a6122af565b5b6001430340600c81905550565b60008183029050600083148061228657508183828161228357fe5b04145b61228f57600080fd5b92915050565b6000828211156122a457600080fd5b818303905092915050565b600060065443039050600060085490506000603c820290508083101561236f5760006122f7846122e960648561226890919063ffffffff16565b61217f90919063ffffffff16565b905060006123236103e861231560648561229590919063ffffffff16565b61244390919063ffffffff16565b9050612362612351826123436107d0600b5461217f90919063ffffffff16565b61226890919063ffffffff16565b600b5461229590919063ffffffff16565b600b81905550505061240b565b60006123978261238960648761226890919063ffffffff16565b61217f90919063ffffffff16565b905060006123c36103e86123b560648561229590919063ffffffff16565b61244390919063ffffffff16565b90506124026123f1826123e36107d0600b5461217f90919063ffffffff16565b61226890919063ffffffff16565b600b5461219f90919063ffffffff16565b600b8190555050505b43600681905550600954600b54101561242857600954600b819055505b600a54600b54111561243e57600a54600b819055505b505050565b60008183111561245557819050612459565b8290505b9291505056fea265627a7a723058203dde5fdc0cbaa336e96ceb8a9b29cdf487ddd5d5abef72360b347bd8b793737064736f6c63430005090032

0x60806040526004361061021a5760003560e01c806379ba509711610123578063a9059cbb116100ab578063d4ee1d901161006f578063d4ee1d9014610b54578063dc39d06d14610bab578063dc6e9cf914610c1e578063dd62ed3e14610c49578063f2fde38b14610cce5761021a565b8063a9059cbb14610956578063b5ade81b146109c9578063bafedcaa146109f4578063cae9ca5114610a1f578063cb9ae70714610b295761021a565b80638a769d35116100f25780638a769d35146107b65780638ae0368b146107e15780638da5cb5b1461080c57806395d89b411461086357806397566aa0146108f35761021a565b806379ba5097146106d857806381269a56146106ef578063829965cc1461076057806387a2a9d61461078b5761021a565b8063313ce567116101a65780634ef37628116101755780634ef376281461059b5780634fa972e1146105c65780636de9f32b146105f15780636fd396d61461061c57806370a08231146106735761021a565b8063313ce567146104e957806332e997081461051a5780633eaaf86b14610545578063490203a7146105705761021a565b806317da485f116101ed57806317da485f146103785780631801fbe5146103a357806318160ddd1461040057806323b872dd1461042b5780632d38bf7a146104be5761021a565b806303807ee51461021f57806306fdde031461024a578063095ea7b3146102da578063163aa00d1461034d575b600080fd5b34801561022b57600080fd5b50610234610d1f565b6040518082815260200191505060405180910390f35b34801561025657600080fd5b5061025f610d25565b6040518080602001828103825283818151815260200191508051906020019080838360005b8381101561029f578082015181840152602081019050610284565b50505050905090810190601f1680156102cc5780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b3480156102e657600080fd5b50610333600480360360408110156102fd57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050610dc3565b604051808215151515815260200191505060405180910390f35b34801561035957600080fd5b50610362610eb5565b6040518082815260200191505060405180910390f35b34801561038457600080fd5b5061038d610ebb565b6040518082815260200191505060405180910390f35b3480156103af57600080fd5b506103e6600480360360408110156103c657600080fd5b810190808035906020019092919080359060200190929190505050610ed9565b604051808215151515815260200191505060405180910390f35b34801561040c57600080fd5b50610415611137565b6040518082815260200191505060405180910390f35b34801561043757600080fd5b506104a46004803603606081101561044e57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050611182565b604051808215151515815260200191505060405180910390f35b3480156104ca57600080fd5b506104d361156d565b6040518082815260200191505060405180910390f35b3480156104f557600080fd5b506104fe611573565b604051808260ff1660ff16815260200191505060405180910390f35b34801561052657600080fd5b5061052f611586565b6040518082815260200191505060405180910390f35b34801561055157600080fd5b5061055a611590565b6040518082815260200191505060405180910390f35b34801561057c57600080fd5b50610585611596565b6040518082815260200191505060405180910390f35b3480156105a757600080fd5b506105b06115cd565b6040518082815260200191505060405180910390f35b3480156105d257600080fd5b506105db6115d7565b6040518082815260200191505060405180910390f35b3480156105fd57600080fd5b506106066115dd565b6040518082815260200191505060405180910390f35b34801561062857600080fd5b506106316115e3565b604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b34801561067f57600080fd5b506106c26004803603602081101561069657600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050611609565b6040518082815260200191505060405180910390f35b3480156106e457600080fd5b506106ed611652565b005b3480156106fb57600080fd5b506107466004803603608081101561071257600080fd5b81019080803590602001909291908035906020019092919080359060200190929190803590602001909291905050506117ef565b604051808215151515815260200191505060405180910390f35b34801561076c57600080fd5b50610775611878565b6040518082815260200191505060405180910390f35b34801561079757600080fd5b506107a061187e565b6040518082815260200191505060405180910390f35b3480156107c257600080fd5b506107cb611884565b6040518082815260200191505060405180910390f35b3480156107ed57600080fd5b506107f661188a565b6040518082815260200191505060405180910390f35b34801561081857600080fd5b50610821611890565b604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b34801561086f57600080fd5b506108786118b5565b6040518080602001828103825283818151815260200191508051906020019080838360005b838110156108b857808201518184015260208101905061089d565b50505050905090810190601f1680156108e55780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b3480156108ff57600080fd5b506109406004803603606081101561091657600080fd5b81019080803590602001909291908035906020019092919080359060200190929190505050611953565b6040518082815260200191505060405180910390f35b34801561096257600080fd5b506109af6004803603604081101561097957600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803590602001909291905050506119c9565b604051808215151515815260200191505060405180910390f35b3480156109d557600080fd5b506109de611ca4565b6040518082815260200191505060405180910390f35b348015610a0057600080fd5b50610a09611caa565b6040518082815260200191505060405180910390f35b348015610a2b57600080fd5b50610b0f60048036036060811015610a4257600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff1690602001909291908035906020019092919080359060200190640100000000811115610a8957600080fd5b820183602082011115610a9b57600080fd5b80359060200191846001830284011164010000000083111715610abd57600080fd5b91908080601f016020809104026020016040519081016040528093929190818152602001838380828437600081840152601f19601f820116905080830192505050505050509192919290505050611cb0565b604051808215151515815260200191505060405180910390f35b348015610b3557600080fd5b50610b3e611ee3565b6040518082815260200191505060405180910390f35b348015610b6057600080fd5b50610b69611ee9565b604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b348015610bb757600080fd5b50610c0460048036036040811015610bce57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050611f0f565b604051808215151515815260200191505060405180910390f35b348015610c2a57600080fd5b50610c33612055565b6040518082815260200191505060405180910390f35b348015610c5557600080fd5b50610cb860048036036040811015610c6c57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff16906020019092919050505061205b565b6040518082815260200191505060405180910390f35b348015610cda57600080fd5b50610d1d60048036036020811015610cf157600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff1690602001909291905050506120e2565b005b60175481565b60038054600181600116156101000203166002900480601f016020809104026020016040519081016040528092919081815260200182805460018160011615610100020316600290048015610dbb5780601f10610d9057610100808354040283529160200191610dbb565b820191906000526020600020905b815481529060010190602001808311610d9e57829003601f168201915b505050505081565b600081601660003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508273ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925846040518082815260200191505060405180910390a36001905092915050565b60115481565b6000610ed4600b54600a5461217f90919063ffffffff16565b905090565b600080600c543385604051602001808481526020018373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1660601b81526014018281526020019350505050604051602081830303815290604052805190602001209050828114610f5257600080fd5b600b548160001c1115610f6457600080fd5b600060136000600c5481526020019081526020016000205490508160136000600c548152602001908152602001600020819055506000801b8114610fa757600080fd5b6000610fb1611596565b905061100581601560003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461219f90919063ffffffff16565b601560003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000208190555061105d8160145461219f90919063ffffffff16565b601481905550600e54601454111561107157fe5b33600f60006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555080601081905550436011819055506110c86121b9565b3373ffffffffffffffffffffffffffffffffffffffff167fcf6fbb9dcea7d07263ab4f5c3a92f53af33dffc421d9d121e1c74b307e68189d82600754600c5460405180848152602001838152602001828152602001935050505060405180910390a26001935050505092915050565b6000601560008073ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205460055403905090565b6000806111ae6103e86111a06017548661226890919063ffffffff16565b61217f90919063ffffffff16565b905060006111c5828561229590919063ffffffff16565b905061121984601560008973ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461229590919063ffffffff16565b601560008873ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055506112eb84601660008973ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461229590919063ffffffff16565b601660008873ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055506113bd81601560008873ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461219f90919063ffffffff16565b601560008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508473ffffffffffffffffffffffffffffffffffffffff168673ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef836040518082815260200191505060405180910390a36114b782601560008073ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461219f90919063ffffffff16565b601560008073ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550600073ffffffffffffffffffffffffffffffffffffffff168673ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef846040518082815260200191505060405180910390a36001925050509392505050565b600d5481565b600460009054906101000a900460ff1681565b6000600b54905090565b60055481565b60006115c8600d5460020a600460009054906101000a900460ff1660ff16600a0a60320261217f90919063ffffffff16565b905090565b6000600c54905090565b600e5481565b60145481565b600f60009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b6000601560008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020549050919050565b600160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff16146116ac57600080fd5b600160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff166000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff167f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e060405160405180910390a3600160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff166000806101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055506000600160006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff160217905550565b600080833387604051602001808481526020018373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1660601b81526014018281526020019350505050604051602081830303815290604052805190602001209050828160001c111561186a57600080fd5b848114915050949350505050565b60075481565b600a5481565b600b5481565b600c5481565b6000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b60028054600181600116156101000203166002900480601f01602080910402602001604051908101604052809291908181526020018280546001816001161561010002031660029004801561194b5780601f106119205761010080835404028352916020019161194b565b820191906000526020600020905b81548152906001019060200180831161192e57829003601f168201915b505050505081565b600080823386604051602001808481526020018373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1660601b81526014018281526020019350505050604051602081830303815290604052805190602001209050809150509392505050565b6000806119f56103e86119e76017548661226890919063ffffffff16565b61217f90919063ffffffff16565b90506000611a0c828561229590919063ffffffff16565b9050611a6084601560003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461229590919063ffffffff16565b601560003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550611af581601560008873ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461219f90919063ffffffff16565b601560008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508473ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef836040518082815260200191505060405180910390a3611bef82601560008073ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461219f90919063ffffffff16565b601560008073ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550600073ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef846040518082815260200191505060405180910390a360019250505092915050565b60085481565b60105481565b600082601660003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508373ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925856040518082815260200191505060405180910390a38373ffffffffffffffffffffffffffffffffffffffff16638f4ffcb1338530866040518563ffffffff1660e01b8152600401808573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020018481526020018373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200180602001828103825283818151815260200191508051906020019080838360005b83811015611e71578082015181840152602081019050611e56565b50505050905090810190601f168015611e9e5780820380516001836020036101000a031916815260200191505b5095505050505050600060405180830381600087803b158015611ec057600080fd5b505af1158015611ed4573d6000803e3d6000fd5b50505050600190509392505050565b60065481565b600160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b60008060009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1614611f6a57600080fd5b8273ffffffffffffffffffffffffffffffffffffffff1663a9059cbb6000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff16846040518363ffffffff1660e01b8152600401808373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200182815260200192505050602060405180830381600087803b15801561201257600080fd5b505af1158015612026573d6000803e3d6000fd5b505050506040513d602081101561203c57600080fd5b8101908080519060200190929190505050905092915050565b60095481565b6000601660008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054905092915050565b6000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff161461213b57600080fd5b80600160006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555050565b600080821161218d57600080fd5b81838161219657fe5b04905092915050565b60008183019050828110156121b357600080fd5b92915050565b600e546121d86121c7611596565b60145461219f90919063ffffffff16565b1180156121e757506027600d54105b156121f9576001600d5401600d819055505b6122166001600d540160020a60055461217f90919063ffffffff16565b60055403600e81905550612236600160075461219f90919063ffffffff16565b60078190555060006008546007548161224b57fe5b06141561225b5761225a6122af565b5b6001430340600c81905550565b60008183029050600083148061228657508183828161228357fe5b04145b61228f57600080fd5b92915050565b6000828211156122a457600080fd5b818303905092915050565b600060065443039050600060085490506000603c820290508083101561236f5760006122f7846122e960648561226890919063ffffffff16565b61217f90919063ffffffff16565b905060006123236103e861231560648561229590919063ffffffff16565b61244390919063ffffffff16565b9050612362612351826123436107d0600b5461217f90919063ffffffff16565b61226890919063ffffffff16565b600b5461229590919063ffffffff16565b600b81905550505061240b565b60006123978261238960648761226890919063ffffffff16565b61217f90919063ffffffff16565b905060006123c36103e86123b560648561229590919063ffffffff16565b61244390919063ffffffff16565b90506124026123f1826123e36107d0600b5461217f90919063ffffffff16565b61226890919063ffffffff16565b600b5461219f90919063ffffffff16565b600b8190555050505b43600681905550600954600b54101561242857600954600b819055505b600a54600b54111561243e57600a54600b819055505b505050565b60008183111561245557819050612459565b8290505b9291505056fea265627a7a723058203dde5fdc0cbaa336e96ceb8a9b29cdf487ddd5d5abef72360b347bd8b793737064736f6c63430005090032

3830:13546:0:-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;16934:8;;;4967:23;;8:9:-1;5:2;;;30:1;27;20:12;5:2;4967:23:0;;;:::i;:::-;;;;;;;;;;;;;;;;;;;3978:18;;8:9:-1;5:2;;;30:1;27;20:12;5:2;3978: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;3978:18:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;14254:207;;8:9:-1;5:2;;;30:1;27;20:12;5:2;14254:207:0;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;14254:207:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;4713:36;;8:9:-1;5:2;;;30:1;27;20:12;5:2;4713:36:0;;;:::i;:::-;;;;;;;;;;;;;;;;;;;10973:116;;8:9:-1;5:2;;;30:1;27;20:12;5:2;10973:116:0;;;:::i;:::-;;;;;;;;;;;;;;;;;;;6000:1393;;8:9:-1;5:2;;;30:1;27;20:12;5:2;6000:1393:0;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;6000:1393:0;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;12430:110;;8:9:-1;5:2;;;30:1;27;20:12;5:2;12430:110:0;;;:::i;:::-;;;;;;;;;;;;;;;;;;;15004:559;;8:9:-1;5:2;;;30:1;27;20:12;5:2;15004:559:0;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;15004:559:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;4582:21;;8:9:-1;5:2;;;30:1;27;20:12;5:2;4582:21:0;;;:::i;:::-;;;;;;;;;;;;;;;;;;;4003;;8:9:-1;5:2;;;30:1;27;20:12;5:2;4003:21:0;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;11097:91;;8:9:-1;5:2;;;30:1;27;20:12;5:2;11097:91:0;;;:::i;:::-;;;;;;;;;;;;;;;;;;;4031:24;;8:9:-1;5:2;;;30:1;27;20:12;5:2;4031:24:0;;;:::i;:::-;;;;;;;;;;;;;;;;;;;11304:251;;8:9:-1;5:2;;;30:1;27;20:12;5:2;11304:251:0;;;:::i;:::-;;;;;;;;;;;;;;;;;;;10782:100;;8:9:-1;5:2;;;30:1;27;20:12;5:2;10782:100:0;;;:::i;:::-;;;;;;;;;;;;;;;;;;;4610:27;;8:9:-1;5:2;;;30:1;27;20:12;5:2;4610:27:0;;;:::i;:::-;;;;;;;;;;;;;;;;;;;4837:24;;8:9:-1;5:2;;;30:1;27;20:12;5:2;4837:24:0;;;:::i;:::-;;;;;;;;;;;;;;;;;;;4644:27;;8:9:-1;5:2;;;30:1;27;20:12;5:2;4644:27:0;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;12767:119;;8:9:-1;5:2;;;30:1;27;20:12;5:2;12767:119:0;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;12767:119:0;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;3365:196;;8:9:-1;5:2;;;30:1;27;20:12;5:2;3365:196:0;;;:::i;:::-;;11893:344;;8:9:-1;5:2;;;30:1;27;20:12;5:2;11893:344:0;;;;;;13:3:-1;8;5:12;2:2;;;30:1;27;20:12;2:2;11893:344:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;4110:22;;8:9:-1;5:2;;;30:1;27;20:12;5:2;4110:22:0;;;:::i;:::-;;;;;;;;;;;;;;;;;;;4420:38;;8:9:-1;5:2;;;30:1;27;20:12;5:2;4420:38:0;;;:::i;:::-;;;;;;;;;;;;;;;;;;;4465:24;;8:9:-1;5:2;;;30:1;27;20:12;5:2;4465:24:0;;;:::i;:::-;;;;;;;;;;;;;;;;;;;4496:30;;8:9:-1;5:2;;;30:1;27;20:12;5:2;4496:30:0;;;:::i;:::-;;;;;;;;;;;;;;;;;;;2965:20;;8:9:-1;5:2;;;30:1;27;20:12;5:2;2965:20:0;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;3951;;8:9:-1;5:2;;;30:1;27;20:12;5:2;3951: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;3951:20:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;11597:254;;8:9:-1;5:2;;;30:1;27;20:12;5:2;11597:254:0;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;11597:254:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;13237:501;;8:9:-1;5:2;;;30:1;27;20:12;5:2;13237:501:0;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;13237:501:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;4166:43;;8:9:-1;5:2;;;30:1;27;20:12;5:2;4166:43:0;;;:::i;:::-;;;;;;;;;;;;;;;;;;;4678:28;;8:9:-1;5:2;;;30:1;27;20:12;5:2;4678:28:0;;;:::i;:::-;;;;;;;;;;;;;;;;;;;16365:332;;8:9:-1;5:2;;;30:1;27;20:12;5:2;16365:332:0;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;16365:332:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;21:11:-1;8;5:28;2:2;;;46:1;43;36:12;2:2;16365:332:0;;35:9:-1;28:4;12:14;8:25;5:40;2:2;;;58:1;55;48:12;2:2;16365:332: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;16365:332: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;;16365:332:0;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;4062:41;;8:9:-1;5:2;;;30:1;27;20:12;5:2;4062:41:0;;;:::i;:::-;;;;;;;;;;;;;;;;;;;2992:23;;8:9:-1;5:2;;;30:1;27;20:12;5:2;2992:23:0;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;17188:183;;8:9:-1;5:2;;;30:1;27;20:12;5:2;17188:183:0;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;17188:183:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;4241:37;;8:9:-1;5:2;;;30:1;27;20:12;5:2;4241:37:0;;;:::i;:::-;;;;;;;;;;;;;;;;;;;15851:146;;8:9:-1;5:2;;;30:1;27;20:12;5:2;15851:146:0;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;15851:146:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;3255:102;;8:9:-1;5:2;;;30:1;27;20:12;5:2;3255:102:0;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;3255:102:0;;;;;;;;;;;;;;;;;;;:::i;:::-;;4967:23;;;;:::o;3978:18::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::o;14254:207::-;14316:12;14372:6;14341:7;:19;14349:10;14341:19;;;;;;;;;;;;;;;:28;14361:7;14341:28;;;;;;;;;;;;;;;:37;;;;14415:7;14394:37;;14403:10;14394:37;;;14424:6;14394:37;;;;;;;;;;;;;;;;;;14449:4;14442:11;;14254:207;;;;:::o;4713:36::-;;;;:::o;10973:116::-;11024:4;11048:33;11068:12;;11048:15;;:19;;:33;;;;:::i;:::-;11041:40;;10973:116;:::o;6000:1393::-;6070:12;6247:14;6291:15;;6308:10;6320:5;6274:52;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;49:4:-1;39:7;30;26:21;22:32;13:7;6:49;6274:52:0;;;6264:63;;;;;;6247:80;;6408:16;6398:6;:26;6394:40;;6426:8;;;6394:40;6521:12;;6511:6;6503:15;;:30;6499:44;;;6535:8;;;6499:44;6606:16;6625:20;:37;6646:15;;6625:37;;;;;;;;;;;;6606:56;;6713:6;6673:20;:37;6694:15;;6673:37;;;;;;;;;;;:46;;;;6746:3;6734:15;;:8;:15;6730:29;;6751:8;;;6730:29;6816:18;6837:17;:15;:17::i;:::-;6816:38;;6888:39;6913:13;6888:8;:20;6897:10;6888:20;;;;;;;;;;;;;;;;:24;;:39;;;;:::i;:::-;6865:8;:20;6874:10;6865:20;;;;;;;;;;;;;;;:62;;;;6953:31;6970:13;6953:12;;:16;;:31;;;;:::i;:::-;6938:12;:46;;;;7068:15;;7052:12;;:31;;7045:39;;;;7151:10;7136:12;;:25;;;;;;;;;;;;;;;;;;7191:13;7172:16;:32;;;;7242:12;7215:24;:39;;;;7265:22;:20;:22::i;:::-;7308:10;7303:60;;;7320:13;7335:10;;7347:15;;7303:60;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;7381:4;7374:11;;;;;6000:1393;;;;:::o;12430:110::-;12473:4;12512:8;:20;12529:1;12512:20;;;;;;;;;;;;;;;;12497:12;;:35;12490:42;;12430:110;:::o;15004:559::-;15080:12;15105:11;15119:33;15147:4;15119:23;15130:11;;15119:6;:10;;:23;;;;:::i;:::-;:27;;:33;;;;:::i;:::-;15105:47;;15163:11;15177:18;15188:6;15177;:10;;:18;;;;:::i;:::-;15163:32;;15223:26;15242:6;15223:8;:14;15232:4;15223:14;;;;;;;;;;;;;;;;:18;;:26;;;;:::i;:::-;15206:8;:14;15215:4;15206:14;;;;;;;;;;;;;;;:43;;;;15288:37;15318:6;15288:7;:13;15296:4;15288:13;;;;;;;;;;;;;;;:25;15302:10;15288:25;;;;;;;;;;;;;;;;:29;;:37;;;;:::i;:::-;15260:7;:13;15268:4;15260:13;;;;;;;;;;;;;;;:25;15274:10;15260:25;;;;;;;;;;;;;;;:65;;;;15351:24;15368:6;15351:8;:12;15360:2;15351:12;;;;;;;;;;;;;;;;:16;;:24;;;;:::i;:::-;15336:8;:12;15345:2;15336:12;;;;;;;;;;;;;;;:39;;;;15406:2;15391:26;;15400:4;15391:26;;;15410:6;15391:26;;;;;;;;;;;;;;;;;;15451:32;15476:6;15451:8;:20;15468:1;15451:20;;;;;;;;;;;;;;;;:24;;:32;;;;:::i;:::-;15428:8;:20;15445:1;15428:20;;;;;;;;;;;;;;;:55;;;;15522:1;15499:34;;15508:4;15499:34;;;15526:6;15499:34;;;;;;;;;;;;;;;;;;15551:4;15544:11;;;;15004:559;;;;;:::o;4582:21::-;;;;:::o;4003:::-;;;;;;;;;;;;;:::o;11097:91::-;11144:4;11168:12;;11161:19;;11097:91;:::o;4031:24::-;;;;:::o;11304:251::-;11351:4;11500:47;11537:9;;11532:1;:14;11517:8;;;;;;;;;;;11512:14;;11506:2;:20;11501:2;:25;11500:31;;:47;;;;:::i;:::-;11493:54;;11304:251;:::o;10782:100::-;10832:7;10859:15;;10852:22;;10782:100;:::o;4610:27::-;;;;:::o;4837:24::-;;;;:::o;4644:27::-;;;;;;;;;;;;;:::o;12767:119::-;12826:12;12858:8;:20;12867:10;12858:20;;;;;;;;;;;;;;;;12851:27;;12767:119;;;:::o;3365:196::-;3432:8;;;;;;;;;;;3418:22;;:10;:22;;;3410:31;;;;;;3485:8;;;;;;;;;;;3457:37;;3478:5;;;;;;;;;;;3457:37;;;;;;;;;;;;3513:8;;;;;;;;;;;3505:5;;:16;;;;;;;;;;;;;;;;;;3551:1;3532:8;;:21;;;;;;;;;;;;;;;;;;3365:196::o;11893:344::-;12024:12;12049:14;12093:16;12111:10;12123:5;12076:53;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;49:4:-1;39:7;30;26:21;22:32;13:7;6:49;12076:53:0;;;12066:64;;;;;;12049:81;;12163:10;12153:6;12145:15;;:28;12141:42;;;12175:8;;;12141:42;12212:16;12202:6;:26;12194:35;;;11893:344;;;;;;:::o;4110:22::-;;;;:::o;4420:38::-;;;;:::o;4465:24::-;;;;:::o;4496:30::-;;;;:::o;2965:20::-;;;;;;;;;;;;;:::o;3951:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::o;11597:254::-;11707:18;11738:14;11782:16;11800:10;11812:5;11765:53;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;49:4:-1;39:7;30;26:21;22:32;13:7;6:49;11765:53:0;;;11755:64;;;;;;11738:81;;11837:6;11830:13;;;11597:254;;;;;:::o;13237:501::-;13295:12;13322:11;13336:33;13364:4;13336:23;13347:11;;13336:6;:10;;:23;;;;:::i;:::-;:27;;:33;;;;:::i;:::-;13322:47;;13380:11;13394:18;13405:6;13394;:10;;:18;;;;:::i;:::-;13380:32;;13448;13473:6;13448:8;:20;13457:10;13448:20;;;;;;;;;;;;;;;;:24;;:32;;;;:::i;:::-;13425:8;:20;13434:10;13425:20;;;;;;;;;;;;;;;:55;;;;13508:24;13525:6;13508:8;:12;13517:2;13508:12;;;;;;;;;;;;;;;;:16;;:24;;;;:::i;:::-;13493:8;:12;13502:2;13493:12;;;;;;;;;;;;;;;:39;;;;13569:2;13548:32;;13557:10;13548:32;;;13573:6;13548:32;;;;;;;;;;;;;;;;;;13616;13641:6;13616:8;:20;13633:1;13616:20;;;;;;;;;;;;;;;;:24;;:32;;;;:::i;:::-;13593:8;:20;13610:1;13593:20;;;;;;;;;;;;;;;:55;;;;13693:1;13664:40;;13673:10;13664:40;;;13697:6;13664:40;;;;;;;;;;;;;;;;;;13724:4;13717:11;;;;13237:501;;;;:::o;4166:43::-;;;;:::o;4678:28::-;;;;:::o;16365:332::-;16453:12;16509:6;16478:7;:19;16486:10;16478:19;;;;;;;;;;;;;;;:28;16498:7;16478:28;;;;;;;;;;;;;;;:37;;;;16552:7;16531:37;;16540:10;16531:37;;;16561:6;16531:37;;;;;;;;;;;;;;;;;;16602:7;16579:47;;;16627:10;16639:6;16655:4;16662;16579: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;16579:88:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;16579:88:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;16579:88:0;;;;16685:4;16678:11;;16365:332;;;;;:::o;4062:41::-;;;;:::o;2992:23::-;;;;;;;;;;;;;:::o;17188:183::-;17279:12;3221:5;;;;;;;;;;;3207:19;;:10;:19;;;3199:28;;;;;;17326:12;17311:37;;;17349:5;;;;;;;;;;;17356:6;17311:52;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;17311:52:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;17311:52:0;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;17311:52:0;;;;;;;;;;;;;;;;17304:59;;17188:183;;;;:::o;4241:37::-;;;;:::o;15851:146::-;15927:14;15961:7;:19;15969:10;15961:19;;;;;;;;;;;;;;;:28;15981:7;15961:28;;;;;;;;;;;;;;;;15954:35;;15851:146;;;;:::o;3255:102::-;3221:5;;;;;;;;;;;3207:19;;:10;:19;;;3199:28;;;;;;3340:9;3329:8;;:20;;;;;;;;;;;;;;;;;;3255:102;:::o;1035:112::-;1086:6;1117:1;1113;:5;1105:14;;;;;;1138:1;1134;:5;;;;;;1130:9;;1035:112;;;;:::o;658:113::-;709:6;736:1;732;:5;728:9;;761:1;756;:6;;748:15;;;;;;658:113;;;;:::o;7434:1178::-;7811:15;;7773:35;7790:17;:15;:17::i;:::-;7773:12;;:16;;:35;;;;:::i;:::-;:53;:71;;;;;7842:2;7830:9;;:14;7773:71;7769:129;;;7885:1;7873:9;;:13;7861:9;:25;;;;7769:129;8082:38;8117:1;8105:9;;:13;8099:1;:20;8082:12;;:16;;:38;;;;:::i;:::-;8067:12;;:53;8049:15;:71;;;;8144:17;8159:1;8144:10;;:14;;:17;;;;:::i;:::-;8131:10;:30;;;;8294:1;8266:24;;8253:10;;:37;;;;;;:42;8249:96;;;8312:21;:19;:21::i;:::-;8249:96;8602:1;8587:12;:16;8577:27;8559:15;:45;;;;7434:1178::o;900:127::-;951:6;978:1;974;:5;970:9;;1003:1;998;:6;:20;;;;1017:1;1012;1008;:5;;;;;;:10;998:20;990:29;;;;;;900:127;;;;:::o;779:113::-;830:6;862:1;857;:6;;849:15;;;;;;883:1;879;:5;875:9;;779:113;;;;:::o;8835:1853::-;8886:39;8943:29;;8928:12;:44;8886:86;;9146:16;9165:24;;9146:43;;9206:33;9256:2;9242:11;:16;9206:52;;9422:28;9385:34;:65;9381:992;;;9467:21;9491:79;9535:34;9492:37;9525:3;9492:28;:32;;:37;;;;:::i;:::-;9491:43;;:79;;;;:::i;:::-;9467:103;;9585:27;9615:45;9655:4;9615:25;9636:3;9615:16;:20;;:25;;;;:::i;:::-;:39;;:45;;;;:::i;:::-;9585:75;;9871:68;9888:50;9915:22;9888;9905:4;9888:12;;:16;;:22;;;;:::i;:::-;:26;;:50;;;;:::i;:::-;9871:12;;:16;;:68;;;;:::i;:::-;9856:12;:83;;;;9381:992;;;;;9988:23;10014:79;10064:28;10015:43;10054:3;10015:34;:38;;:43;;;;:::i;:::-;10014:49;;:79;;;;:::i;:::-;9988:105;;10108:29;10140:47;10182:4;10140:27;10163:3;10140:18;:22;;:27;;;;:::i;:::-;:41;;:47;;;;:::i;:::-;10108:79;;10275:70;10292:52;10319:24;10292:22;10309:4;10292:12;;:16;;:22;;;;:::i;:::-;:26;;:52;;;;:::i;:::-;10275:12;;:16;;:70;;;;:::i;:::-;10260:12;:85;;;;9381:992;;;10415:12;10383:29;:44;;;;10457:15;;10442:12;;:30;10438:119;;;10530:15;;10515:12;:30;;;;10438:119;10586:15;;10571:12;;:30;10567:114;;;10654:15;;10639:12;:30;;;;10567:114;8835:1853;;;:::o;1239:126::-;1300:6;1327:1;1323;:5;1319:19;;;1337:1;1330:8;;;;1319:19;1356:1;1349:8;;1239:126;;;;;:::o

bzzr://3dde5fdc0cbaa336e96ceb8a9b29cdf487ddd5d5abef72360b347bd8b7937370