Contract Source Code (Solidity)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta
• Remix IDE

Outline

library SafeMath    - function mul(uint256 a, uint256 b)    - function div(uint256 a, uint256 b)    - function sub(uint256 a, uint256 b)    - function add(uint256 a, uint256 b)  contract Ownable    - function Ownable()    - function transferOwnership(address ne ...  contract ERC20Basic    - function balanceOf(address who)    - function transfer(address to, uint256 ...  contract ERC20 is ERC20Basic    - function allowance(address owner, add ...    - function transferFrom(address from, a ...    - function approve(address spender, uin ...  contract BRXTokenStandard *    - function mint()    - function coinAge()    - function annualInterest()  contract BRXToken is ERC20,BRXToke ... *    - function BRXToken()    - function transfer(address _to, uint25 ...    - function balanceOf(address _owner)    - function transferFrom(address _from, ...    - function approve(address _spender, ui ...    - function allowance(address _owner, ad ...    - function mint()    - function getBlockNumber()    - function coinAge()    - function annualInterest()    - function getProofOfStakeReward(addres ...    - function getCoinAge(address _address, ...    - function ownerSetStakeStartTime(uint ...    - function ownerBurnToken(uint _value)    - function batchTransfer(address[] _rec ...

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

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

pragma solidity ^0.4.11;

/**
 * @title SafeMath
 * @dev Math operations with safety checks that throw on error
 */
library SafeMath {
    function mul(uint256 a, uint256 b) internal constant returns (uint256) {
        uint256 c = a * b;
        assert(a == 0 || c / a == b);
        return c;
    }

    function div(uint256 a, uint256 b) internal constant returns (uint256) {
        // assert(b > 0); // Solidity automatically throws when dividing by 0
        uint256 c = a / b;
        // assert(a == b * c + a % b); // There is no case in which this doesn't hold
        return c;
    }

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

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


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


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


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


    /**
     * @dev Allows the current owner to transfer control of the contract to a newOwner.
     * @param newOwner The address to transfer ownership to.
     */
    function transferOwnership(address newOwner) onlyOwner {
        require(newOwner != address(0));
        owner = newOwner;
    }

}


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


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


/**
 * @title BRXTokenStandard
 * @dev the interface of BRXTokenStandard
 */
contract BRXTokenStandard {
    uint256 public stakeStartTime;
    uint256 public stakeMinAge;
    uint256 public stakeMaxAge;
    function mint() returns (bool);
    function coinAge() constant returns (uint256);
    function annualInterest() constant returns (uint256);
    event Mint(address indexed _address, uint _reward);
}


contract BRXToken is ERC20,BRXTokenStandard,Ownable {
    using SafeMath for uint256;

    string public name = "BerryXToken";
    string public symbol = "BRX";
    uint public decimals = 18;

    uint public chainStartTime; //chain start time
    uint public chainStartBlockNumber; //chain start block number
    uint public stakeStartTime; //stake start time
    uint public stakeMinAge = 180 days; // minimum age for coin age: 180D
    uint public stakeMaxAge = 365 days; // stake age of full weight: 365D
    uint public maxMintProofOfStake = 10**17; // default 10% annual interest

    uint public totalSupply;
    uint public maxTotalSupply;
    uint public totalInitialSupply;

    struct transferInStruct{
    uint128 amount;
    uint64 time;
    }

    mapping(address => uint256) balances;
    mapping(address => mapping (address => uint256)) allowed;
    mapping(address => transferInStruct[]) transferIns;

    event Burn(address indexed burner, uint256 value);

    /**
     * @dev Fix for the ERC20 short address attack.
     */
    modifier onlyPayloadSize(uint size) {
        require(msg.data.length >= size + 4);
        _;
    }

    modifier canBRXMint() {
        require(totalSupply < maxTotalSupply);
        _;
    }

    function BRXToken() {
        maxTotalSupply = 10**27; // 1 Bil.
        totalInitialSupply = 10**26; // 100 Mil.

        chainStartTime = now;
        chainStartBlockNumber = block.number;

        balances[msg.sender] = totalInitialSupply;
        totalSupply = totalInitialSupply;
    }

    function transfer(address _to, uint256 _value) onlyPayloadSize(2 * 32) returns (bool) {
        if(msg.sender == _to) return mint();
        balances[msg.sender] = balances[msg.sender].sub(_value);
        balances[_to] = balances[_to].add(_value);
        Transfer(msg.sender, _to, _value);
        if(transferIns[msg.sender].length > 0) delete transferIns[msg.sender];
        uint64 _now = uint64(now);
        transferIns[msg.sender].push(transferInStruct(uint128(balances[msg.sender]),_now));
        transferIns[_to].push(transferInStruct(uint128(_value),_now));
        return true;
    }

    function balanceOf(address _owner) constant returns (uint256 balance) {
        return balances[_owner];
    }

    function transferFrom(address _from, address _to, uint256 _value) onlyPayloadSize(3 * 32) returns (bool) {
        require(_to != address(0));

        var _allowance = allowed[_from][msg.sender];

        // Check is not needed because sub(_allowance, _value) will already throw if this condition is not met
        // require (_value <= _allowance);

        balances[_from] = balances[_from].sub(_value);
        balances[_to] = balances[_to].add(_value);
        allowed[_from][msg.sender] = _allowance.sub(_value);
        Transfer(_from, _to, _value);
        if(transferIns[_from].length > 0) delete transferIns[_from];
        uint64 _now = uint64(now);
        transferIns[_from].push(transferInStruct(uint128(balances[_from]),_now));
        transferIns[_to].push(transferInStruct(uint128(_value),_now));
        return true;
    }

    function approve(address _spender, uint256 _value) returns (bool) {
        require((_value == 0) || (allowed[msg.sender][_spender] == 0));

        allowed[msg.sender][_spender] = _value;
        Approval(msg.sender, _spender, _value);
        return true;
    }

    function allowance(address _owner, address _spender) constant returns (uint256 remaining) {
        return allowed[_owner][_spender];
    }

    function mint() canBRXMint returns (bool) {
        if(balances[msg.sender] <= 0) return false;
        if(transferIns[msg.sender].length <= 0) return false;

        uint reward = getProofOfStakeReward(msg.sender);
        if(reward <= 0) return false;

        totalSupply = totalSupply.add(reward);
        balances[msg.sender] = balances[msg.sender].add(reward);
        delete transferIns[msg.sender];
        transferIns[msg.sender].push(transferInStruct(uint128(balances[msg.sender]),uint64(now)));

        Mint(msg.sender, reward);
        return true;
    }

    function getBlockNumber() returns (uint blockNumber) {
        blockNumber = block.number.sub(chainStartBlockNumber);
    }

    function coinAge() constant returns (uint myCoinAge) {
        myCoinAge = getCoinAge(msg.sender,now);
    }

    function annualInterest() constant returns(uint interest) {
        uint _now = now;
        interest = maxMintProofOfStake;
        if((_now.sub(stakeStartTime)).div(1 years) == 0) {
            interest = (100 * maxMintProofOfStake).div(100);
        } else if((_now.sub(stakeStartTime)).div(1 years) == 1){
            interest = (100 * maxMintProofOfStake).div(100);
        }
    }

    function getProofOfStakeReward(address _address) internal returns (uint) {
        require( (now >= stakeStartTime) && (stakeStartTime > 0) );

        uint _now = now;
        uint _coinAge = getCoinAge(_address, _now);
        if(_coinAge <= 0) return 0;

        uint interest = maxMintProofOfStake;
        
        if((_now.sub(stakeStartTime)).div(1 years) == 0) {
            // 1st year effective annual interest rate is 100%.
            interest = (100 * maxMintProofOfStake).div(100);
        } else if((_now.sub(stakeStartTime)).div(1 years) == 1){
            // 2nd year effective annual interest rate is 100%.
            interest = (100 * maxMintProofOfStake).div(100);
        }

        return (_coinAge * interest).div(365 * (10**decimals));
    }

    function getCoinAge(address _address, uint _now) internal returns (uint _coinAge) {
        if(transferIns[_address].length <= 0) return 0;

        for (uint i = 0; i < transferIns[_address].length; i++){
            if( _now < uint(transferIns[_address][i].time).add(stakeMinAge) ) continue;

            uint nCoinSeconds = _now.sub(uint(transferIns[_address][i].time));
            if( nCoinSeconds > stakeMaxAge ) nCoinSeconds = stakeMaxAge;

            _coinAge = _coinAge.add(uint(transferIns[_address][i].amount) * nCoinSeconds.div(1 days));
        }
    }

    function ownerSetStakeStartTime(uint timestamp) onlyOwner {
        require((stakeStartTime <= 0) && (timestamp >= chainStartTime));
        stakeStartTime = timestamp;
    }

    function ownerBurnToken(uint _value) onlyOwner {
        require(_value > 0);

        balances[msg.sender] = balances[msg.sender].sub(_value);
        delete transferIns[msg.sender];
        transferIns[msg.sender].push(transferInStruct(uint128(balances[msg.sender]),uint64(now)));

        totalSupply = totalSupply.sub(_value);
        totalInitialSupply = totalInitialSupply.sub(_value);
        maxTotalSupply = maxTotalSupply.sub(_value*10);

        Burn(msg.sender, _value);
    }

    /* Batch token transfer. Used by contract creator to distribute initial tokens to holders */
    function batchTransfer(address[] _recipients, uint[] _values) onlyOwner returns (bool) {
        require( _recipients.length > 0 && _recipients.length == _values.length);

        uint total = 0;
        for(uint i = 0; i < _values.length; i++){
            total = total.add(_values[i]);
        }
        require(total <= balances[msg.sender]);

        uint64 _now = uint64(now);
        for(uint j = 0; j < _recipients.length; j++){
            balances[_recipients[j]] = balances[_recipients[j]].add(_values[j]);
            transferIns[_recipients[j]].push(transferInStruct(uint128(_values[j]),_now));
            Transfer(msg.sender, _recipients[j], _values[j]);
        }

        balances[msg.sender] = balances[msg.sender].sub(total);
        if(transferIns[msg.sender].length > 0) delete transferIns[msg.sender];
        if(balances[msg.sender] > 0) transferIns[msg.sender].push(transferInStruct(uint128(balances[msg.sender]),_now));

        return true;
    }
}

• No Contract Security Audit Submitted- Submit Audit Here

[{"constant":true,"inputs":[],"name":"name","outputs":[{"name":"","type":"string"}],"payable":false,"type":"function"},{"constant":false,"inputs":[{"name":"_spender","type":"address"},{"name":"_value","type":"uint256"}],"name":"approve","outputs":[{"name":"","type":"bool"}],"payable":false,"type":"function"},{"constant":false,"inputs":[],"name":"mint","outputs":[{"name":"","type":"bool"}],"payable":false,"type":"function"},{"constant":true,"inputs":[],"name":"totalSupply","outputs":[{"name":"","type":"uint256"}],"payable":false,"type":"function"},{"constant":true,"inputs":[],"name":"coinAge","outputs":[{"name":"myCoinAge","type":"uint256"}],"payable":false,"type":"function"},{"constant":false,"inputs":[{"name":"_from","type":"address"},{"name":"_to","type":"address"},{"name":"_value","type":"uint256"}],"name":"transferFrom","outputs":[{"name":"","type":"bool"}],"payable":false,"type":"function"},{"constant":false,"inputs":[{"name":"timestamp","type":"uint256"}],"name":"ownerSetStakeStartTime","outputs":[],"payable":false,"type":"function"},{"constant":true,"inputs":[],"name":"maxTotalSupply","outputs":[{"name":"","type":"uint256"}],"payable":false,"type":"function"},{"constant":true,"inputs":[],"name":"decimals","outputs":[{"name":"","type":"uint256"}],"payable":false,"type":"function"},{"constant":false,"inputs":[],"name":"getBlockNumber","outputs":[{"name":"blockNumber","type":"uint256"}],"payable":false,"type":"function"},{"constant":true,"inputs":[],"name":"chainStartTime","outputs":[{"name":"","type":"uint256"}],"payable":false,"type":"function"},{"constant":true,"inputs":[{"name":"_owner","type":"address"}],"name":"balanceOf","outputs":[{"name":"balance","type":"uint256"}],"payable":false,"type":"function"},{"constant":true,"inputs":[],"name":"stakeStartTime","outputs":[{"name":"","type":"uint256"}],"payable":false,"type":"function"},{"constant":false,"inputs":[{"name":"_recipients","type":"address[]"},{"name":"_values","type":"uint256[]"}],"name":"batchTransfer","outputs":[{"name":"","type":"bool"}],"payable":false,"type":"function"},{"constant":true,"inputs":[],"name":"owner","outputs":[{"name":"","type":"address"}],"payable":false,"type":"function"},{"constant":false,"inputs":[{"name":"_value","type":"uint256"}],"name":"ownerBurnToken","outputs":[],"payable":false,"type":"function"},{"constant":true,"inputs":[],"name":"symbol","outputs":[{"name":"","type":"string"}],"payable":false,"type":"function"},{"constant":true,"inputs":[],"name":"totalInitialSupply","outputs":[{"name":"","type":"uint256"}],"payable":false,"type":"function"},{"constant":false,"inputs":[{"name":"_to","type":"address"},{"name":"_value","type":"uint256"}],"name":"transfer","outputs":[{"name":"","type":"bool"}],"payable":false,"type":"function"},{"constant":true,"inputs":[],"name":"annualInterest","outputs":[{"name":"interest","type":"uint256"}],"payable":false,"type":"function"},{"constant":true,"inputs":[],"name":"stakeMinAge","outputs":[{"name":"","type":"uint256"}],"payable":false,"type":"function"},{"constant":true,"inputs":[],"name":"chainStartBlockNumber","outputs":[{"name":"","type":"uint256"}],"payable":false,"type":"function"},{"constant":true,"inputs":[{"name":"_owner","type":"address"},{"name":"_spender","type":"address"}],"name":"allowance","outputs":[{"name":"remaining","type":"uint256"}],"payable":false,"type":"function"},{"constant":true,"inputs":[],"name":"stakeMaxAge","outputs":[{"name":"","type":"uint256"}],"payable":false,"type":"function"},{"constant":true,"inputs":[],"name":"maxMintProofOfStake","outputs":[{"name":"","type":"uint256"}],"payable":false,"type":"function"},{"constant":false,"inputs":[{"name":"newOwner","type":"address"}],"name":"transferOwnership","outputs":[],"payable":false,"type":"function"},{"inputs":[],"payable":false,"type":"constructor"},{"anonymous":false,"inputs":[{"indexed":true,"name":"burner","type":"address"},{"indexed":false,"name":"value","type":"uint256"}],"name":"Burn","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"name":"_address","type":"address"},{"indexed":false,"name":"_reward","type":"uint256"}],"name":"Mint","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"name":"owner","type":"address"},{"indexed":true,"name":"spender","type":"address"},{"indexed":false,"name":"value","type":"uint256"}],"name":"Approval","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"name":"from","type":"address"},{"indexed":true,"name":"to","type":"address"},{"indexed":false,"name":"value","type":"uint256"}],"name":"Transfer","type":"event"}]

60a0604052600b60608190527f426572727958546f6b656e00000000000000000000000000000000000000000060809081526200004091600591906200011d565b506040805180820190915260038082527f4252580000000000000000000000000000000000000000000000000000000000602090920191825262000087916006916200011d565b50601260075562ed4e00600b556301e13380600c5567016345785d8a0000600d553415620000b157fe5b5b5b60048054600160a060020a03191633600160a060020a03161790555b6b033b2e3c9fd0803ce8000000600f556a52b7d2dcc80cd2e400000060108190554260085543600955600160a060020a0333166000908152601160205260409020819055600e555b620001c7565b828054600181600116156101000203166002900490600052602060002090601f016020900481019282601f106200016057805160ff191683800117855562000190565b8280016001018555821562000190579182015b828111156200019057825182559160200191906001019062000173565b5b506200019f929150620001a3565b5090565b620001c491905b808211156200019f5760008155600101620001aa565b5090565b90565b611a8480620001d76000396000f300606060405236156101515763ffffffff7c010000000000000000000000000000000000000000000000000000000060003504166306fdde038114610153578063095ea7b3146101e35780631249c58b1461021657806318160ddd1461023a5780631e1b13c01461025c57806323b872dd1461027e5780632a9edf6f146102b75780632ab4d052146102cc578063313ce567146102ee57806342cbb15c146103105780635b054f9b1461033257806370a08231146103545780637419f1901461038257806388d695b2146103a45780638da5cb5b1461044357806390762a8b1461046f57806395d89b41146104845780639fd4da4014610514578063a9059cbb14610536578063b2552fc414610569578063cbd8877e1461058b578063cd474b04146105ad578063dd62ed3e146105cf578063e1c3bac614610603578063f2bb5ce114610625578063f2fde38b14610647575bfe5b341561015b57fe5b610163610665565b6040805160208082528351818301528351919283929083019185019080838382156101a9575b8051825260208311156101a957601f199092019160209182019101610189565b505050905090810190601f1680156101d55780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b34156101eb57fe5b610202600160a060020a03600435166024356106f3565b604080519115158252519081900360200190f35b341561021e57fe5b610202610798565b604080519115158252519081900360200190f35b341561024257fe5b61024a610968565b60408051918252519081900360200190f35b341561026457fe5b61024a61096e565b60408051918252519081900360200190f35b341561028657fe5b610202600160a060020a0360043581169060243516604435610980565b604080519115158252519081900360200190f35b34156102bf57fe5b6102ca600435610c2b565b005b34156102d457fe5b61024a610c72565b60408051918252519081900360200190f35b34156102f657fe5b61024a610c78565b60408051918252519081900360200190f35b341561031857fe5b61024a610c7e565b60408051918252519081900360200190f35b341561033a57fe5b61024a610c9b565b60408051918252519081900360200190f35b341561035c57fe5b61024a600160a060020a0360043516610ca1565b60408051918252519081900360200190f35b341561038a57fe5b61024a610cc0565b60408051918252519081900360200190f35b34156103ac57fe5b610202600480803590602001908201803590602001908080602002602001604051908101604052809392919081815260200183836020028082843750506040805187358901803560208181028481018201909552818452989a998901989297509082019550935083925085019084908082843750949650610cc695505050505050565b604080519115158252519081900360200190f35b341561044b57fe5b6104536110c3565b60408051600160a060020a039092168252519081900360200190f35b341561047757fe5b6102ca6004356110d2565b005b341561048c57fe5b610163611278565b6040805160208082528351818301528351919283929083019185019080838382156101a9575b8051825260208311156101a957601f199092019160209182019101610189565b505050905090810190601f1680156101d55780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b341561051c57fe5b61024a611306565b60408051918252519081900360200190f35b341561053e57fe5b610202600160a060020a036004351660243561130c565b604080519115158252519081900360200190f35b341561057157fe5b61024a611575565b60408051918252519081900360200190f35b341561059357fe5b61024a61161d565b60408051918252519081900360200190f35b34156105b557fe5b61024a611623565b60408051918252519081900360200190f35b34156105d757fe5b61024a600160a060020a0360043581169060243516611629565b60408051918252519081900360200190f35b341561060b57fe5b61024a611656565b60408051918252519081900360200190f35b341561062d57fe5b61024a61165c565b60408051918252519081900360200190f35b341561064f57fe5b6102ca600160a060020a0360043516611662565b005b6005805460408051602060026001851615610100026000190190941693909304601f810184900484028201840190925281815292918301828280156106eb5780601f106106c0576101008083540402835291602001916106eb565b820191906000526020600020905b8154815290600101906020018083116106ce57829003601f168201915b505050505081565b60008115806107255750600160a060020a03338116600090815260126020908152604080832093871683529290522054155b15156107315760006000fd5b600160a060020a03338116600081815260126020908152604080832094881680845294825291829020869055815186815291517f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b9259281900390910190a35060015b92915050565b60006000600f54600e541015156107af5760006000fd5b600160a060020a033316600090815260116020526040812054116107d65760009150610963565b600160a060020a033316600090815260136020526040812054116107fd5760009150610963565b610806336116c1565b9050600081116108195760009150610963565b600e5461082c908263ffffffff6117d416565b600e55600160a060020a033316600090815260116020526040902054610858908263ffffffff6117d416565b600160a060020a03331660009081526011602090815260408083209390935560139052908120610887916119b0565b600160a060020a03331660009081526013602052604090208054600181016108af83826119d2565b916000526020600020900160005b5060408051808201825233600160a060020a031660008181526011602090815290849020546001608060020a03168084524267ffffffffffffffff1693820184905285546001608060020a03191617600080516020611a3983398151915216608060020a90930292909217909355815185815291519293507f0f6798a560793a54c3bcfe86a93cde1e73087d944c0ea20544137d412139688592918290030190a2600191505b5b5090565b600e5481565b600061097a33426117ee565b90505b90565b60008080606060643610156109955760006000fd5b600160a060020a03861615156109ab5760006000fd5b600160a060020a038088166000818152601260209081526040808320339095168352938152838220549282526011905291909120549093506109f3908663ffffffff61197c16565b600160a060020a038089166000908152601160205260408082209390935590881681522054610a28908663ffffffff6117d416565b600160a060020a038716600090815260116020526040902055610a51838663ffffffff61197c16565b600160a060020a03808916600081815260126020908152604080832033861684528252918290209490945580518981529051928a169391927fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef929181900390910190a3600160a060020a0387166000908152601360205260408120541115610af457600160a060020a0387166000908152601360205260408120610af4916119b0565b5b600160a060020a0387166000908152601360205260409020805442935060018101610b2083826119d2565b916000526020600020900160005b50604080518082018252600160a060020a038b8116600090815260116020908152848220546001608060020a031680855267ffffffffffffffff8a1694820185905286546001608060020a03191617600080516020611a3983398151915216608060020a909402939093179094558a168352601390529020805490915060018101610bb983826119d2565b916000526020600020900160005b50604080518082019091526001608060020a03881680825267ffffffffffffffff8616602090920182905282546001608060020a03191617600080516020611a3983398151915216608060020a90910217905550600193505b5b5050509392505050565b60045433600160a060020a03908116911614610c475760006000fd5b6000600a5411158015610c5c57506008548110155b1515610c685760006000fd5b600a8190555b5b50565b600f5481565b60075481565b600061097a6009544361197c90919063ffffffff16565b90505b90565b60085481565b600160a060020a0381166000908152601160205260409020545b919050565b600a5481565b600454600090819081908190819033600160a060020a03908116911614610ced5760006000fd5b60008751118015610cff575085518751145b1515610d0b5760006000fd5b60009350600092505b8551831015610d5357610d458684815181101515610d2e57fe5b60209081029091010151859063ffffffff6117d416565b93505b600190920191610d14565b600160a060020a033316600090815260116020526040902054841115610d795760006000fd5b5042905060005b8651811015610f7a57610de58682815181101515610d9a57fe5b90602001906020020151601160008a85815181101515610db657fe5b6020908102909101810151600160a060020a03168252810191909152604001600020549063ffffffff6117d416565b601160008984815181101515610df757fe5b90602001906020020151600160a060020a0316600160a060020a0316815260200190815260200160002081905550601360008883815181101515610e3757fe5b6020908102909101810151600160a060020a03168252810191909152604001600020805460018101610e6983826119d2565b916000526020600020900160005b6040604051908101604052808a86815181101515610e9157fe5b6020908102919091018101516001608060020a03908116835267ffffffffffffffff898116938301939093528351865494909201516001608060020a0319909416911617600080516020611a3983398151915216608060020a92909116919091021790915550508651879082908110610f0657fe5b90602001906020020151600160a060020a031633600160a060020a03167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef8884815181101515610f5257fe5b906020019060200201516040518082815260200191505060405180910390a35b600101610d80565b600160a060020a033316600090815260116020526040902054610fa3908563ffffffff61197c16565b600160a060020a03331660009081526011602090815260408083209390935560139052908120541115610ff157600160a060020a0333166000908152601360205260408120610ff1916119b0565b5b600160a060020a03331660009081526011602052604081205411156110b357600160a060020a033316600090815260136020526040902080546001810161103983826119d2565b916000526020600020900160005b5060408051808201825233600160a060020a0316600090815260116020908152929020546001608060020a031680825267ffffffffffffffff87169290910182905282546001608060020a03191617600080516020611a3983398151915216608060020a909102179055505b600194505b5b5050505092915050565b600454600160a060020a031681565b60045433600160a060020a039081169116146110ee5760006000fd5b600081116110fc5760006000fd5b600160a060020a033316600090815260116020526040902054611125908263ffffffff61197c16565b600160a060020a03331660009081526011602090815260408083209390935560139052908120611154916119b0565b600160a060020a033316600090815260136020526040902080546001810161117c83826119d2565b916000526020600020900160005b5060408051808201825233600160a060020a0316600090815260116020908152929020546001608060020a03168082524267ffffffffffffffff169290910182905282546001608060020a03191617600080516020611a3983398151915216608060020a90910217905550600e54611202908261197c565b600e55601054611218908263ffffffff61197c16565b601055600f5461123190600a830263ffffffff61197c16565b600f55604080518281529051600160a060020a033316917fcc16f5dbb4873280815c1ee09dbd06736cffcc184412cf7a71a0fdb75d397ca5919081900360200190a25b5b50565b6006805460408051602060026001851615610100026000190190941693909304601f810184900484028201840190925281815292918301828280156106eb5780601f106106c0576101008083540402835291602001916106eb565b820191906000526020600020905b8154815290600101906020018083116106ce57829003601f168201915b505050505081565b60105481565b600080604060443610156113205760006000fd5b84600160a060020a031633600160a060020a0316141561134957611342610798565b925061156c565b600160a060020a033316600090815260116020526040902054611372908563ffffffff61197c16565b600160a060020a0333811660009081526011602052604080822093909355908716815220546113a7908563ffffffff6117d416565b600160a060020a038087166000818152601160209081526040918290209490945580518881529051919333909316927fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef92918290030190a3600160a060020a033316600090815260136020526040812054111561143f57600160a060020a033316600090815260136020526040812061143f916119b0565b5b600160a060020a033316600090815260136020526040902080544293506001810161146b83826119d2565b916000526020600020900160005b5060408051808201825233600160a060020a03908116600090815260116020908152848220546001608060020a031680855267ffffffffffffffff8a1694820185905286546001608060020a03191617600080516020611a3983398151915216608060020a909402939093179094558916835260139052902080549091506001810161150583826119d2565b916000526020600020900160005b50604080518082019091526001608060020a03871680825267ffffffffffffffff8616602090920182905282546001608060020a03191617600080516020611a3983398151915216608060020a90910217905550600192505b5b505092915050565b600d54600a5442906115a4906301e133809061159890849063ffffffff61197c16565b9063ffffffff61199316565b15156115ca576115c36064600d5460640261199390919063ffffffff16565b9150610963565b6115f36301e13380611598600a548461197c90919063ffffffff16565b9063ffffffff61199316565b60011415610963576116146064600d5460640261199390919063ffffffff16565b91505b5b5b5090565b600b5481565b60095481565b600160a060020a038083166000908152601260209081526040808320938516835292905220545b92915050565b600c5481565b600d5481565b60045433600160a060020a0390811691161461167e5760006000fd5b600160a060020a03811615156116945760006000fd5b6004805473ffffffffffffffffffffffffffffffffffffffff1916600160a060020a0383161790555b5b50565b6000600060006000600a5442101580156116dd57506000600a54115b15156116e95760006000fd5b4292506116f685846117ee565b91506000821161170957600093506117cc565b600d5490506117376301e13380611598600a548661197c90919063ffffffff16565b9063ffffffff61199316565b151561175d576117566064600d5460640261199390919063ffffffff16565b90506117aa565b6117866301e13380611598600a548661197c90919063ffffffff16565b9063ffffffff61199316565b600114156117aa576117a76064600d5460640261199390919063ffffffff16565b90505b5b6117c9600754600a0a61016d0282840261199390919063ffffffff16565b93505b505050919050565b6000828201838110156117e357fe5b8091505b5092915050565b600160a060020a0382166000908152601360205260408120548190819081901161181b576000925061156c565b600091505b600160a060020a03851660009081526013602052604090205482101561156c57600b54600160a060020a038616600090815260136020526040902080546118949291908590811061186d57fe5b906000526020600020900160005b5054608060020a900467ffffffffffffffff16906117d4565b8410156118a057611968565b600160a060020a038516600090815260136020526040902080546118f19190849081106118c957fe5b906000526020600020900160005b50548590608060020a900467ffffffffffffffff1661197c565b9050600c548111156119025750600c545b611965611918826201518063ffffffff61199316565b600160a060020a038716600090815260136020526040902080548590811061193c57fe5b906000526020600020900160005b505485916001608060020a039091160263ffffffff6117d416565b92505b600190910190611820565b5b505092915050565b60008282111561198857fe5b508082035b92915050565b6000600082848115156119a257fe5b0490508091505b5092915050565b5080546000825590600052602060002090810190610c6e91906119fc565b5b50565b8154818355818115116119f6576000838152602090206119f69181019083016119fc565b5b505050565b61097d91905b8082111561096357805477ffffffffffffffffffffffffffffffffffffffffffffffff19168155600101611a02565b5090565b905600ffffffffffffffff0000000000000000ffffffffffffffffffffffffffffffffa165627a7a7230582031956b35aeb46c66720d978d81b9a50f1c86ddd8af3d7abe7439ec60544916270029

0x606060405236156101515763ffffffff7c010000000000000000000000000000000000000000000000000000000060003504166306fdde038114610153578063095ea7b3146101e35780631249c58b1461021657806318160ddd1461023a5780631e1b13c01461025c57806323b872dd1461027e5780632a9edf6f146102b75780632ab4d052146102cc578063313ce567146102ee57806342cbb15c146103105780635b054f9b1461033257806370a08231146103545780637419f1901461038257806388d695b2146103a45780638da5cb5b1461044357806390762a8b1461046f57806395d89b41146104845780639fd4da4014610514578063a9059cbb14610536578063b2552fc414610569578063cbd8877e1461058b578063cd474b04146105ad578063dd62ed3e146105cf578063e1c3bac614610603578063f2bb5ce114610625578063f2fde38b14610647575bfe5b341561015b57fe5b610163610665565b6040805160208082528351818301528351919283929083019185019080838382156101a9575b8051825260208311156101a957601f199092019160209182019101610189565b505050905090810190601f1680156101d55780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b34156101eb57fe5b610202600160a060020a03600435166024356106f3565b604080519115158252519081900360200190f35b341561021e57fe5b610202610798565b604080519115158252519081900360200190f35b341561024257fe5b61024a610968565b60408051918252519081900360200190f35b341561026457fe5b61024a61096e565b60408051918252519081900360200190f35b341561028657fe5b610202600160a060020a0360043581169060243516604435610980565b604080519115158252519081900360200190f35b34156102bf57fe5b6102ca600435610c2b565b005b34156102d457fe5b61024a610c72565b60408051918252519081900360200190f35b34156102f657fe5b61024a610c78565b60408051918252519081900360200190f35b341561031857fe5b61024a610c7e565b60408051918252519081900360200190f35b341561033a57fe5b61024a610c9b565b60408051918252519081900360200190f35b341561035c57fe5b61024a600160a060020a0360043516610ca1565b60408051918252519081900360200190f35b341561038a57fe5b61024a610cc0565b60408051918252519081900360200190f35b34156103ac57fe5b610202600480803590602001908201803590602001908080602002602001604051908101604052809392919081815260200183836020028082843750506040805187358901803560208181028481018201909552818452989a998901989297509082019550935083925085019084908082843750949650610cc695505050505050565b604080519115158252519081900360200190f35b341561044b57fe5b6104536110c3565b60408051600160a060020a039092168252519081900360200190f35b341561047757fe5b6102ca6004356110d2565b005b341561048c57fe5b610163611278565b6040805160208082528351818301528351919283929083019185019080838382156101a9575b8051825260208311156101a957601f199092019160209182019101610189565b505050905090810190601f1680156101d55780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b341561051c57fe5b61024a611306565b60408051918252519081900360200190f35b341561053e57fe5b610202600160a060020a036004351660243561130c565b604080519115158252519081900360200190f35b341561057157fe5b61024a611575565b60408051918252519081900360200190f35b341561059357fe5b61024a61161d565b60408051918252519081900360200190f35b34156105b557fe5b61024a611623565b60408051918252519081900360200190f35b34156105d757fe5b61024a600160a060020a0360043581169060243516611629565b60408051918252519081900360200190f35b341561060b57fe5b61024a611656565b60408051918252519081900360200190f35b341561062d57fe5b61024a61165c565b60408051918252519081900360200190f35b341561064f57fe5b6102ca600160a060020a0360043516611662565b005b6005805460408051602060026001851615610100026000190190941693909304601f810184900484028201840190925281815292918301828280156106eb5780601f106106c0576101008083540402835291602001916106eb565b820191906000526020600020905b8154815290600101906020018083116106ce57829003601f168201915b505050505081565b60008115806107255750600160a060020a03338116600090815260126020908152604080832093871683529290522054155b15156107315760006000fd5b600160a060020a03338116600081815260126020908152604080832094881680845294825291829020869055815186815291517f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b9259281900390910190a35060015b92915050565b60006000600f54600e541015156107af5760006000fd5b600160a060020a033316600090815260116020526040812054116107d65760009150610963565b600160a060020a033316600090815260136020526040812054116107fd5760009150610963565b610806336116c1565b9050600081116108195760009150610963565b600e5461082c908263ffffffff6117d416565b600e55600160a060020a033316600090815260116020526040902054610858908263ffffffff6117d416565b600160a060020a03331660009081526011602090815260408083209390935560139052908120610887916119b0565b600160a060020a03331660009081526013602052604090208054600181016108af83826119d2565b916000526020600020900160005b5060408051808201825233600160a060020a031660008181526011602090815290849020546001608060020a03168084524267ffffffffffffffff1693820184905285546001608060020a03191617600080516020611a3983398151915216608060020a90930292909217909355815185815291519293507f0f6798a560793a54c3bcfe86a93cde1e73087d944c0ea20544137d412139688592918290030190a2600191505b5b5090565b600e5481565b600061097a33426117ee565b90505b90565b60008080606060643610156109955760006000fd5b600160a060020a03861615156109ab5760006000fd5b600160a060020a038088166000818152601260209081526040808320339095168352938152838220549282526011905291909120549093506109f3908663ffffffff61197c16565b600160a060020a038089166000908152601160205260408082209390935590881681522054610a28908663ffffffff6117d416565b600160a060020a038716600090815260116020526040902055610a51838663ffffffff61197c16565b600160a060020a03808916600081815260126020908152604080832033861684528252918290209490945580518981529051928a169391927fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef929181900390910190a3600160a060020a0387166000908152601360205260408120541115610af457600160a060020a0387166000908152601360205260408120610af4916119b0565b5b600160a060020a0387166000908152601360205260409020805442935060018101610b2083826119d2565b916000526020600020900160005b50604080518082018252600160a060020a038b8116600090815260116020908152848220546001608060020a031680855267ffffffffffffffff8a1694820185905286546001608060020a03191617600080516020611a3983398151915216608060020a909402939093179094558a168352601390529020805490915060018101610bb983826119d2565b916000526020600020900160005b50604080518082019091526001608060020a03881680825267ffffffffffffffff8616602090920182905282546001608060020a03191617600080516020611a3983398151915216608060020a90910217905550600193505b5b5050509392505050565b60045433600160a060020a03908116911614610c475760006000fd5b6000600a5411158015610c5c57506008548110155b1515610c685760006000fd5b600a8190555b5b50565b600f5481565b60075481565b600061097a6009544361197c90919063ffffffff16565b90505b90565b60085481565b600160a060020a0381166000908152601160205260409020545b919050565b600a5481565b600454600090819081908190819033600160a060020a03908116911614610ced5760006000fd5b60008751118015610cff575085518751145b1515610d0b5760006000fd5b60009350600092505b8551831015610d5357610d458684815181101515610d2e57fe5b60209081029091010151859063ffffffff6117d416565b93505b600190920191610d14565b600160a060020a033316600090815260116020526040902054841115610d795760006000fd5b5042905060005b8651811015610f7a57610de58682815181101515610d9a57fe5b90602001906020020151601160008a85815181101515610db657fe5b6020908102909101810151600160a060020a03168252810191909152604001600020549063ffffffff6117d416565b601160008984815181101515610df757fe5b90602001906020020151600160a060020a0316600160a060020a0316815260200190815260200160002081905550601360008883815181101515610e3757fe5b6020908102909101810151600160a060020a03168252810191909152604001600020805460018101610e6983826119d2565b916000526020600020900160005b6040604051908101604052808a86815181101515610e9157fe5b6020908102919091018101516001608060020a03908116835267ffffffffffffffff898116938301939093528351865494909201516001608060020a0319909416911617600080516020611a3983398151915216608060020a92909116919091021790915550508651879082908110610f0657fe5b90602001906020020151600160a060020a031633600160a060020a03167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef8884815181101515610f5257fe5b906020019060200201516040518082815260200191505060405180910390a35b600101610d80565b600160a060020a033316600090815260116020526040902054610fa3908563ffffffff61197c16565b600160a060020a03331660009081526011602090815260408083209390935560139052908120541115610ff157600160a060020a0333166000908152601360205260408120610ff1916119b0565b5b600160a060020a03331660009081526011602052604081205411156110b357600160a060020a033316600090815260136020526040902080546001810161103983826119d2565b916000526020600020900160005b5060408051808201825233600160a060020a0316600090815260116020908152929020546001608060020a031680825267ffffffffffffffff87169290910182905282546001608060020a03191617600080516020611a3983398151915216608060020a909102179055505b600194505b5b5050505092915050565b600454600160a060020a031681565b60045433600160a060020a039081169116146110ee5760006000fd5b600081116110fc5760006000fd5b600160a060020a033316600090815260116020526040902054611125908263ffffffff61197c16565b600160a060020a03331660009081526011602090815260408083209390935560139052908120611154916119b0565b600160a060020a033316600090815260136020526040902080546001810161117c83826119d2565b916000526020600020900160005b5060408051808201825233600160a060020a0316600090815260116020908152929020546001608060020a03168082524267ffffffffffffffff169290910182905282546001608060020a03191617600080516020611a3983398151915216608060020a90910217905550600e54611202908261197c565b600e55601054611218908263ffffffff61197c16565b601055600f5461123190600a830263ffffffff61197c16565b600f55604080518281529051600160a060020a033316917fcc16f5dbb4873280815c1ee09dbd06736cffcc184412cf7a71a0fdb75d397ca5919081900360200190a25b5b50565b6006805460408051602060026001851615610100026000190190941693909304601f810184900484028201840190925281815292918301828280156106eb5780601f106106c0576101008083540402835291602001916106eb565b820191906000526020600020905b8154815290600101906020018083116106ce57829003601f168201915b505050505081565b60105481565b600080604060443610156113205760006000fd5b84600160a060020a031633600160a060020a0316141561134957611342610798565b925061156c565b600160a060020a033316600090815260116020526040902054611372908563ffffffff61197c16565b600160a060020a0333811660009081526011602052604080822093909355908716815220546113a7908563ffffffff6117d416565b600160a060020a038087166000818152601160209081526040918290209490945580518881529051919333909316927fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef92918290030190a3600160a060020a033316600090815260136020526040812054111561143f57600160a060020a033316600090815260136020526040812061143f916119b0565b5b600160a060020a033316600090815260136020526040902080544293506001810161146b83826119d2565b916000526020600020900160005b5060408051808201825233600160a060020a03908116600090815260116020908152848220546001608060020a031680855267ffffffffffffffff8a1694820185905286546001608060020a03191617600080516020611a3983398151915216608060020a909402939093179094558916835260139052902080549091506001810161150583826119d2565b916000526020600020900160005b50604080518082019091526001608060020a03871680825267ffffffffffffffff8616602090920182905282546001608060020a03191617600080516020611a3983398151915216608060020a90910217905550600192505b5b505092915050565b600d54600a5442906115a4906301e133809061159890849063ffffffff61197c16565b9063ffffffff61199316565b15156115ca576115c36064600d5460640261199390919063ffffffff16565b9150610963565b6115f36301e13380611598600a548461197c90919063ffffffff16565b9063ffffffff61199316565b60011415610963576116146064600d5460640261199390919063ffffffff16565b91505b5b5b5090565b600b5481565b60095481565b600160a060020a038083166000908152601260209081526040808320938516835292905220545b92915050565b600c5481565b600d5481565b60045433600160a060020a0390811691161461167e5760006000fd5b600160a060020a03811615156116945760006000fd5b6004805473ffffffffffffffffffffffffffffffffffffffff1916600160a060020a0383161790555b5b50565b6000600060006000600a5442101580156116dd57506000600a54115b15156116e95760006000fd5b4292506116f685846117ee565b91506000821161170957600093506117cc565b600d5490506117376301e13380611598600a548661197c90919063ffffffff16565b9063ffffffff61199316565b151561175d576117566064600d5460640261199390919063ffffffff16565b90506117aa565b6117866301e13380611598600a548661197c90919063ffffffff16565b9063ffffffff61199316565b600114156117aa576117a76064600d5460640261199390919063ffffffff16565b90505b5b6117c9600754600a0a61016d0282840261199390919063ffffffff16565b93505b505050919050565b6000828201838110156117e357fe5b8091505b5092915050565b600160a060020a0382166000908152601360205260408120548190819081901161181b576000925061156c565b600091505b600160a060020a03851660009081526013602052604090205482101561156c57600b54600160a060020a038616600090815260136020526040902080546118949291908590811061186d57fe5b906000526020600020900160005b5054608060020a900467ffffffffffffffff16906117d4565b8410156118a057611968565b600160a060020a038516600090815260136020526040902080546118f19190849081106118c957fe5b906000526020600020900160005b50548590608060020a900467ffffffffffffffff1661197c565b9050600c548111156119025750600c545b611965611918826201518063ffffffff61199316565b600160a060020a038716600090815260136020526040902080548590811061193c57fe5b906000526020600020900160005b505485916001608060020a039091160263ffffffff6117d416565b92505b600190910190611820565b5b505092915050565b60008282111561198857fe5b508082035b92915050565b6000600082848115156119a257fe5b0490508091505b5092915050565b5080546000825590600052602060002090810190610c6e91906119fc565b5b50565b8154818355818115116119f6576000838152602090206119f69181019083016119fc565b5b505050565b61097d91905b8082111561096357805477ffffffffffffffffffffffffffffffffffffffffffffffff19168155600101611a02565b5090565b905600ffffffffffffffff0000000000000000ffffffffffffffffffffffffffffffffa165627a7a7230582031956b35aeb46c66720d978d81b9a50f1c86ddd8af3d7abe7439ec60544916270029

3128:8026:0:-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;3222:34;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;18:2:-1;;13:3;7:5;32;59:3;53:5;48:3;41:6;93:2;88:3;85:2;78:6;73:3;67:5;-1:-1;;152:3;;;;117:2;108:3;;;;130;172:5;167:4;181:3;3:186;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;6322:269:0;;;;;;;;-1:-1:-1;;;;;6322:269:0;;;;;;;;;;;;;;;;;;;;;;;;;6748:581;;;;;;;;;;;;;;;;;;;;;;;;;;;;3733:23;;;;;;;;;;;;;;;;;;;;;;;;;;7470:110;;;;;;;;;;;;;;;;;;;;;;;;;;5456:858;;;;;;;;-1:-1:-1;;;;;5456:858:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;9367:177;;;;;;;;;;;;;;3763:26;;;;;;;;;;;;;;;;;;;;;;;;;;3298:25;;;;;;;;;;;;;;;;;;;;;;;;;;7337:125;;;;;;;;;;;;;;;;;;;;;;;;;;3332:26;;;;;;;;;;;;;;;;;;;;;;;;;;5336:112;;;;;;;;-1:-1:-1;;;;;5336:112:0;;;;;;;;;;;;;;;;;;;;;3451:26;;;;;;;;;;;;;;;;;;;;;;;;;;10158:993;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;10158:993:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;10158:993:0;;;;-1:-1:-1;10158:993:0;-1:-1:-1;10158:993:0;;-1:-1:-1;10158:993:0;;;;;;;;;-1:-1:-1;10158:993:0;;-1:-1:-1;10158:993:0;;-1:-1:-1;;;;;;10158:993:0;;;;;;;;;;;;;;;;;;;1133:20;;;;;;;;;;;;;;-1:-1:-1;;;;;1133:20:0;;;;;;;;;;;;;;9552:500;;;;;;;;;;;;;;3263:28;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;18:2:-1;;13:3;7:5;32;59:3;53:5;48:3;41:6;93:2;88:3;85:2;78:6;73:3;67:5;-1:-1;;152:3;;;;117:2;108:3;;;;130;172:5;167:4;181:3;3:186;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;3796:30:0;;;;;;;;;;;;;;;;;;;;;;;;;;4723:605;;;;;;;;-1:-1:-1;;;;;4723:605:0;;;;;;;;;;;;;;;;;;;;;;;;;7588:394;;;;;;;;;;;;;;;;;;;;;;;;;;3503:34;;;;;;;;;;;;;;;;;;;;;;;;;;3384:33;;;;;;;;;;;;;;;;;;;;;;;;;;6599:141;;;;;;;;-1:-1:-1;;;;;6599:141:0;;;;;;;;;;;;;;;;;;;;;;;;;;3578:34;;;;;;;;;;;;;;;;;;;;;;;;;;3653:40;;;;;;;;;;;;;;;;;;;;;;;;;;1702:132;;;;;;;;-1:-1:-1;;;;;1702:132:0;;;;;;;3222:34;;;;;;;;;;;;;;;-1:-1:-1;;3222:34:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::o;6322:269::-;6382:4;6408:11;;;6407:53;;-1:-1:-1;;;;;;6433:10:0;6425:19;;;;;;:7;:19;;;;;;;;:29;;;;;;;;;;:34;6407:53;6399:62;;;;;;;;-1:-1:-1;;;;;6482:10:0;6474:19;;;;;;:7;:19;;;;;;;;:29;;;;;;;;;;;;;:38;;;6523;;;;;;;;;;;;;;;;;-1:-1:-1;6579:4:0;6322:269;;;;;:::o;6748:581::-;6784:4;6919:11;4373:14;;4359:11;;:28;4351:37;;;;;;;;-1:-1:-1;;;;;6813:10:0;6804:20;6828:1;6804:20;;;:8;:20;;;;;;:25;6801:42;;6838:5;6831:12;;;;6801:42;-1:-1:-1;;;;;6869:10:0;6857:23;6891:1;6857:23;;;:11;:23;;;;;:30;:35;6854:52;;6901:5;6894:12;;;;6854:52;6933:33;6955:10;6933:21;:33::i;:::-;6919:47;-1:-1:-1;6990:1:0;6980:11;;6977:28;;7000:5;6993:12;;;;6977:28;7032:11;;:23;;7048:6;7032:23;:15;:23;:::i;:::-;7018:11;:37;-1:-1:-1;;;;;7098:10:0;7089:20;;;;;:8;:20;;;;;;:32;;7114:6;7089:32;:24;:32;:::i;:::-;-1:-1:-1;;;;;7075:10:0;7066:20;;;;;:8;:20;;;;;;;;:55;;;;7139:11;:23;;;;;7132:30;;;:::i;:::-;-1:-1:-1;;;;;7185:10:0;7173:23;;;;;:11;:23;;;;;:89;;;;;;:23;:89;;:::i;:::-;;;;;;;;;;;-1:-1:-1;7202:59:0;;;;;;;;7236:10;-1:-1:-1;;;;;7227:20:0;-1:-1:-1;7227:20:0;;;:8;:20;;;;;;;;;-1:-1:-1;;;;;7202:59:0;;;;7256:3;7202:59;;;;;;;;7173:89;;-1:-1:-1;;;;;;7173:89:0;;-1:-1:-1;;;;;;;;;;;7173:89:0;-1:-1:-1;;;7173:89:0;;;;;;;;;;7275:24;;;;;;;7227:20;;-1:-1:-1;7275:24:0;;;;;;;;;7317:4;7310:11;;4399:1;6748:581;;;:::o;3733:23::-;;;;:::o;7470:110::-;7507:14;7546:26;7557:10;7568:3;7546:10;:26::i;:::-;7534:38;;7470:110;;:::o;5456:858::-;5555:4;;;5538:6;4281:8;4262;:27;;4254:36;;;;;;-1:-1:-1;;;;;5580:17:0;;;;5572:26;;;;;;-1:-1:-1;;;;;5628:14:0;;;;;;;:7;:14;;;;;;;;5643:10;5628:26;;;;;;;;;;;;5843:15;;;:8;:15;;;;;;;5628:26;;-1:-1:-1;5843:27:0;;5863:6;5843:27;:19;:27;:::i;:::-;-1:-1:-1;;;;;5825:15:0;;;;;;;:8;:15;;;;;;:45;;;;5897:13;;;;;;;:25;;5915:6;5897:25;:17;:25;:::i;:::-;-1:-1:-1;;;;;5881:13:0;;;;;;:8;:13;;;;;:41;5962:22;:10;5977:6;5962:22;:14;:22;:::i;:::-;-1:-1:-1;;;;;5933:14:0;;;;;;;:7;:14;;;;;;;;5948:10;5933:26;;;;;;;;;;:51;;;;5995:28;;;;;;;;;;;5933:14;;5995:28;;;;;;;;;;;-1:-1:-1;;;;;6037:18:0;;6065:1;6037:18;;;:11;:18;;;;;:25;:29;6034:59;;;-1:-1:-1;;;;;6075:18:0;;;;;;:11;:18;;;;;6068:25;;;:::i;:::-;6034:59;-1:-1:-1;;;;;6140:18:0;;;;;;:11;:18;;;;;:72;;6125:3;;-1:-1:-1;6140:72:0;;;;:18;:72;;:::i;:::-;;;;;;;;;;;-1:-1:-1;6164:47:0;;;;;;;;-1:-1:-1;;;;;6189:15:0;;;-1:-1:-1;6189:15:0;;;:8;:15;;;;;;;;-1:-1:-1;;;;;6164:47:0;;;;;;;;;;;;;6140:72;;-1:-1:-1;;;;;;6140:72:0;;-1:-1:-1;;;;;;;;;;;6140:72:0;-1:-1:-1;;;6140:72:0;;;;;;;;;;6223:16;;;;:11;:16;;;;:61;;:16;;-1:-1:-1;;6223:61:0;;;:16;:61;;:::i;:::-;;;;;;;;;;;-1:-1:-1;6245:38:0;;;;;;;;;-1:-1:-1;;;;;6245:38:0;;;;;;;;;;;;;;;6223:61;;-1:-1:-1;;;;;;6223:61:0;;-1:-1:-1;;;;;;;;;;;6223:61:0;-1:-1:-1;;;6223:61:0;;;;;;-1:-1:-1;;;;4301:1:0;5456:858;;;;;;;;;:::o;9367:177::-;1497:5;;1483:10;-1:-1:-1;;;;;1483:19:0;;;1497:5;;1483:19;1475:28;;;;;;9463:1;9445:14;;:19;;9444:54;;;;;9483:14;;9470:9;:27;;9444:54;9436:63;;;;;;;;9510:14;:26;;;1514:1;9367:177;;:::o;3763:26::-;;;;:::o;3298:25::-;;;;:::o;7337:125::-;7372:16;7415:39;7432:21;;7415:12;:16;;:39;;;;:::i;:::-;7401:53;;7337:125;;:::o;3332:26::-;;;;:::o;5336:112::-;-1:-1:-1;;;;;5424:16:0;;5389:15;5424:16;;;:8;:16;;;;;;5336:112;;;;:::o;3451:26::-;;;;:::o;10158:993::-;1497:5;;10239:4;;;;;;;;;;1483:10;-1:-1:-1;;;;;1483:19:0;;;1497:5;;1483:19;1475:28;;;;;;10286:1;10265:11;:18;:22;:62;;;;;10313:7;:14;10291:11;:18;:36;10265:62;10256:72;;;;;;;;10354:1;10341:14;;10379:1;10370:10;;10366:96;10386:7;:14;10382:1;:18;10366:96;;;10429:21;10439:7;10447:1;10439:10;;;;;;;;;;;;;;;;;;;10429:5;;:21;:9;:21;:::i;:::-;10421:29;;10366:96;10402:3;;;;;10366:96;;;-1:-1:-1;;;;;10498:10:0;10489:20;;;;;:8;:20;;;;;;10480:29;;;10472:38;;;;;;-1:-1:-1;10544:3:0;;-1:-1:-1;10572:1:0;10559:292;10579:11;:18;10575:1;:22;10559:292;;;10645:40;10674:7;10682:1;10674:10;;;;;;;;;;;;;;;;;;10645:8;:24;10654:11;10666:1;10654:14;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;;;;10645:24:0;;;;;;;;;;;-1:-1:-1;10645:24:0;;;:40;:28;:40;:::i;:::-;10618:8;:24;10627:11;10639:1;10627:14;;;;;;;;;;;;;;;;;;-1:-1:-1;;;;;10618:24:0;-1:-1:-1;;;;;10618:24:0;;;;;;;;;;;;:67;;;;10700:11;:27;10712:11;10724:1;10712:14;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;;;;10700:27:0;;;;;;;;;;;-1:-1:-1;10700:27:0;:76;;;;;;:27;:76;;:::i;:::-;;;;;;;;;;;10733:42;;;;;;;;;10758:7;10766:1;10758:10;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;;;;10733:42:0;;;;;;;;;;;;;;;;10700:76;;;;;;;;;-1:-1:-1;;;;;;10700:76:0;;;;;;-1:-1:-1;;;;;;;;;;;10700:76:0;-1:-1:-1;;;10700:76:0;;;;;;;;;;;;-1:-1:-1;;10812:14:0;;;;10824:1;;10812:14;;;;;;;;;;;;;;-1:-1:-1;;;;;10791:48:0;10800:10;-1:-1:-1;;;;;10791:48:0;;10828:7;10836:1;10828:10;;;;;;;;;;;;;;;;;;10791:48;;;;;;;;;;;;;;;;;;10559:292;10599:3;;10559:292;;;-1:-1:-1;;;;;10895:10:0;10886:20;;;;;:8;:20;;;;;;:31;;10911:5;10886:31;:24;:31;:::i;:::-;-1:-1:-1;;;;;10872:10:0;10863:20;;;;;:8;:20;;;;;;;;:54;;;;10931:11;:23;;;;;:30;:34;10928:69;;;-1:-1:-1;;;;;10986:10:0;10974:23;;;;;:11;:23;;;;;10967:30;;;:::i;:::-;10928:69;-1:-1:-1;;;;;11020:10:0;11011:20;11034:1;11011:20;;;:8;:20;;;;;;:24;11008:111;;;-1:-1:-1;;;;;11049:10:0;11037:23;;;;;:11;:23;;;;;:82;;;;;;:23;:82;;:::i;:::-;;;;;;;;;;;-1:-1:-1;11066:52:0;;;;;;;;11100:10;-1:-1:-1;;;;;11091:20:0;-1:-1:-1;11091:20:0;;;:8;:20;;;;;;;;-1:-1:-1;;;;;11066:52:0;;;;;;;;;;;;;;11037:82;;-1:-1:-1;;;;;;11037:82:0;;-1:-1:-1;;;;;;;;;;;11037:82:0;-1:-1:-1;;;11037:82:0;;;;;;-1:-1:-1;11008:111:0;11139:4;11132:11;;1514:1;10158:993;;;;;;;;;:::o;1133:20::-;;;-1:-1:-1;;;;;1133:20:0;;:::o;9552:500::-;1497:5;;1483:10;-1:-1:-1;;;;;1483:19:0;;;1497:5;;1483:19;1475:28;;;;;;9627:1;9618:10;;9610:19;;;;;;-1:-1:-1;;;;;9674:10:0;9665:20;;;;;:8;:20;;;;;;:32;;9690:6;9665:32;:24;:32;:::i;:::-;-1:-1:-1;;;;;9651:10:0;9642:20;;;;;:8;:20;;;;;;;;:55;;;;9715:11;:23;;;;;9708:30;;;:::i;:::-;-1:-1:-1;;;;;9761:10:0;9749:23;;;;;:11;:23;;;;;:89;;;;;;:23;:89;;:::i;:::-;;;;;;;;;;;-1:-1:-1;9778:59:0;;;;;;;;9812:10;-1:-1:-1;;;;;9803:20:0;-1:-1:-1;9803:20:0;;;:8;:20;;;;;;;;-1:-1:-1;;;;;9778:59:0;;;;9832:3;9778:59;;;;;;;;;9749:89;;-1:-1:-1;;;;;;9749:89:0;;-1:-1:-1;;;;;;;;;;;9749:89:0;-1:-1:-1;;;9749:89:0;;;;;;-1:-1:-1;9865:11:0;;:23;;9881:6;9865:15;:23::i;:::-;9851:11;:37;9920:18;;:30;;9943:6;9920:30;:22;:30;:::i;:::-;9899:18;:51;9978:14;;:29;;10004:2;9997:9;;9978:29;:18;:29;:::i;:::-;9961:14;:46;10020:24;;;;;;;;-1:-1:-1;;;;;10025:10:0;10020:24;;;;;;;;;;;;1514:1;9552:500;;:::o;3263:28::-;;;;;;;;;;;;;;;-1:-1:-1;;3263:28:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::o;3796:30::-;;;;:::o;4723:605::-;4803:4;;4786:6;4281:8;4262;:27;;4254:36;;;;;;4837:3;-1:-1:-1;;;;;4823:17:0;:10;-1:-1:-1;;;;;4823:17:0;;4820:35;;;4849:6;:4;:6::i;:::-;4842:13;;;;4820:35;-1:-1:-1;;;;;4898:10:0;4889:20;;;;;:8;:20;;;;;;:32;;4914:6;4889:32;:24;:32;:::i;:::-;-1:-1:-1;;;;;4875:10:0;4866:20;;;;;;:8;:20;;;;;;:55;;;;4948:13;;;;;;;:25;;4966:6;4948:25;:17;:25;:::i;:::-;-1:-1:-1;;;;;4932:13:0;;;;;;;:8;:13;;;;;;;;;:41;;;;4984:33;;;;;;;4932:13;;4993:10;4984:33;;;;;;;;;;;;;-1:-1:-1;;;;;5043:10:0;5031:23;5064:1;5031:23;;;:11;:23;;;;;:30;:34;5028:69;;;-1:-1:-1;;;;;5086:10:0;5074:23;;;;;:11;:23;;;;;5067:30;;;:::i;:::-;5028:69;-1:-1:-1;;;;;5156:10:0;5144:23;;;;;:11;:23;;;;;:82;;5129:3;;-1:-1:-1;5144:82:0;;;;:23;:82;;:::i;:::-;;;;;;;;;;;-1:-1:-1;5173:52:0;;;;;;;;5207:10;-1:-1:-1;;;;;5198:20:0;;;-1:-1:-1;5198:20:0;;;:8;:20;;;;;;;;-1:-1:-1;;;;;5173:52:0;;;;;;;;;;;;;5144:82;;-1:-1:-1;;;;;;5144:82:0;;-1:-1:-1;;;;;;;;;;;5144:82:0;-1:-1:-1;;;5144:82:0;;;;;;;;;;5237:16;;;;:11;:16;;;;:61;;:16;;-1:-1:-1;;5237:61:0;;;:16;:61;;:::i;:::-;;;;;;;;;;;-1:-1:-1;5259:38:0;;;;;;;;;-1:-1:-1;;;;;5259:38:0;;;;;;;;;;;;;;;5237:61;;-1:-1:-1;;;;;;5237:61:0;;-1:-1:-1;;;;;;;;;;;5237:61:0;-1:-1:-1;;;5237:61:0;;;;;;-1:-1:-1;;;;4301:1:0;4723:605;;;;;;;:::o;7588:394::-;7694:19;;7737:14;;7669:3;;7727:39;;7758:7;;7728:24;;7669:3;;7728:24;:8;:24;:::i;:::-;7727:30;:39;:30;:39;:::i;:::-;:44;7724:251;;;7799:36;7831:3;7806:19;;7800:3;:25;7799:31;;:36;;;;:::i;:::-;7788:47;;7724:251;;;7856:39;7887:7;7857:24;7866:14;;7857:4;:8;;:24;;;;:::i;:::-;7856:30;:39;:30;:39;:::i;:::-;7899:1;7856:44;7853:122;;;7927:36;7959:3;7934:19;;7928:3;:25;7927:31;;:36;;;;:::i;:::-;7916:47;;7853:122;7724:251;7588:394;;;:::o;3503:34::-;;;;:::o;3384:33::-;;;;:::o;6599:141::-;-1:-1:-1;;;;;6707:15:0;;;6670:17;6707:15;;;:7;:15;;;;;;;;:25;;;;;;;;;;6599:141;;;;;:::o;3578:34::-;;;;:::o;3653:40::-;;;;:::o;1702:132::-;1497:5;;1483:10;-1:-1:-1;;;;;1483:19:0;;;1497:5;;1483:19;1475:28;;;;;;-1:-1:-1;;;;;1776:22:0;;;;1768:31;;;;;;1810:5;:16;;-1:-1:-1;;1810:16:0;-1:-1:-1;;;;;1810:16:0;;;;;1514:1;1702:132;;:::o;7990:784::-;8057:4;8145:9;8171:13;8263;8091:14;;8084:3;:21;;8083:47;;;;;8128:1;8111:14;;:18;8083:47;8074:58;;;;;;;;8157:3;8145:15;;8187:26;8198:8;8208:4;8187:10;:26::i;:::-;8171:42;-1:-1:-1;8239:1:0;8227:13;;8224:26;;8249:1;8242:8;;;;8224:26;8279:19;;8263:35;;8322:39;8353:7;8323:24;8332:14;;8323:4;:8;;:24;;;;:::i;:::-;8322:30;:39;:30;:39;:::i;:::-;:44;8319:381;;;8459:36;8491:3;8466:19;;8460:3;:25;8459:31;;:36;;;;:::i;:::-;8448:47;;8319:381;;;8516:39;8547:7;8517:24;8526:14;;8517:4;:8;;:24;;;;:::i;:::-;8516:30;:39;:30;:39;:::i;:::-;8559:1;8516:44;8513:187;;;8652:36;8684:3;8659:19;;8653:3;:25;8652:31;;:36;;;;:::i;:::-;8641:47;;8513:187;8319:381;8719:47;8756:8;;8752:2;:12;8745:3;:20;8731:8;8720;:19;8719:25;;:47;;;;:::i;:::-;8712:54;;7990:784;;;;;;;:::o;754:151::-;816:7;848:5;;;871:6;;;;864:14;;;;896:1;889:8;;754:151;;;;;;:::o;8782:577::-;-1:-1:-1;;;;;8878:21:0;;8849:13;8878:21;;;:11;:21;;;;;:28;8849:13;;;;8878:33;;;8875:46;;8920:1;8913:8;;;;8875:46;8948:1;8939:10;;8934:418;-1:-1:-1;;;;;8955:21:0;;;;;;:11;:21;;;;;:28;8951:32;;8934:418;;;9055:11;;-1:-1:-1;;;;;9020:21:0;;;;;;:11;:21;;;;;:24;;9015:52;;9055:11;9020:21;9042:1;;9020:24;;;;;;;;;;;;;;;;-1:-1:-1;9020:29:0;-1:-1:-1;;;9020:29:0;;;;;9015:39;:52::i;:::-;9008:4;:59;9004:74;;;9070:8;;9004:74;-1:-1:-1;;;;;9129:21:0;;;;;;:11;:21;;;;;:24;;9115:45;;9129:21;9151:1;;9129:24;;;;;;;;;;;;;;;;-1:-1:-1;9129:29:0;9115:4;;-1:-1:-1;;;9129:29:0;;;;9115:8;:45::i;:::-;9095:65;;9194:11;;9179:12;:26;9175:59;;;-1:-1:-1;9223:11:0;;9175:59;9262:78;9315:24;:12;9332:6;9315:24;:16;:24;:::i;:::-;-1:-1:-1;;;;;9280:21:0;;;;;;:11;:21;;;;;:24;;9302:1;;9280:24;;;;;;;;;;;;;;;;-1:-1:-1;9280:31:0;9262:8;;-1:-1:-1;;;;;9280:31:0;;;9275:64;9262:78;:12;:78;:::i;:::-;9251:89;;8934:418;8985:3;;;;;8934:418;;;8782:577;;;;;;;:::o;619:127::-;681:7;708:6;;;;701:14;;;;-1:-1:-1;733:5:0;;;619:127;;;;;:::o;319:292::-;381:7;480:9;496:1;492;:5;;;;;;;;480:17;;602:1;595:8;;319:292;;;;;;:::o;3128:8026::-;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;:::o;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;:::o;:::-;;;;;;;;;;;;;-1:-1:-1;;3128:8026:0;;;;;;;;;;;;;:::o

bzzr://31956b35aeb46c66720d978d81b9a50f1c86ddd8af3d7abe7439ec6054491627