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)
•    - function max64(uint64 a, uint64 b)
•    - function min64(uint64 a, uint64 b)
•    - function max256(uint256 a, uint256 b)
•    - function min256(uint256 a, uint256 b)
•  contract ERC20Basic
•    - function balanceOf(address who)
•    - function transfer(address to, uint256 ...
•  contract ERC20
•    - function balanceOf(address _owner)
•    - function transfer(address _to, uint25 ...
•    - function transferFrom(address _from, ...
•    - function approve(address _spender, ui ...
•    - function allowance(address _owner, ad ...
•  contract BasicToken is ERC20Basic
•    - function transfer(address _to, uint25 ...
•    - function balanceOf(address _owner)
•  contract StandardToken is ERC20, B ...
•    - function transferFrom(address _from, ...
•    - function approve(address _spender, ui ...
•    - function allowance(address _owner, ad ...
•    - function increaseApproval(address _sp ...
•    - function decreaseApproval(address _sp ...
•  contract KAJINO is StandardToken *
•    - function KAJINO()
•    - function()
•    - function buyTokens(address _investor)
•    - function validPurchaseTokens(uint256 ...
•    - function getTotalAmountOfTokens(uint2 ...
•    - function mint(address _to, uint256 _a ...
•    - function changeOwner(address _newOwne ...
•    - function startSale()
•    - function stopSale()
•    - function enableTransfers(bool _transf ...
•    - function claimTokens()

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

/**
 *Submitted for verification at Etherscan.io on 2019-09-21
*/

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

    function div(uint256 a, uint256 b) internal pure 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 pure returns (uint256) {
        assert(b <= a);
        return a - b;
    }

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

    function max64(uint64 a, uint64 b) internal pure returns (uint64) {
        return a >= b ? a : b;
    }

    function min64(uint64 a, uint64 b) internal pure returns (uint64) {
        return a < b ? a : b;
    }

    function max256(uint256 a, uint256 b) internal pure returns (uint256) {
        return a >= b ? a : b;
    }

    function min256(uint256 a, uint256 b) internal pure returns (uint256) {
        return a < b ? a : b;
    }
}

contract ERC20Basic {
    uint256 public totalSupply;

    bool public transfersEnabled;

    function balanceOf(address who) public view returns (uint256);

    function transfer(address to, uint256 value) public returns (bool);

    event Transfer(address indexed from, address indexed to, uint256 value);
}

contract ERC20 {
    uint256 public totalSupply;

    bool public transfersEnabled;

    function balanceOf(address _owner) public constant returns (uint256 balance);

    function transfer(address _to, uint256 _value) public returns (bool success);

    function transferFrom(address _from, address _to, uint256 _value) public returns (bool success);

    function approve(address _spender, uint256 _value) public returns (bool success);

    function allowance(address _owner, address _spender) public constant returns (uint256 remaining);

    event Transfer(address indexed _from, address indexed _to, uint256 _value);
    event Approval(address indexed _owner, address indexed _spender, uint256 _value);
}

contract BasicToken is ERC20Basic {
    using SafeMath for uint256;

    mapping(address => uint256) balances;

    /**
    * @dev protection against short address attack
    */
    modifier onlyPayloadSize(uint numwords) {
        assert(msg.data.length == numwords * 32 + 4);
        _;
    }


    /**
    * @dev transfer token for a specified address
    * @param _to The address to transfer to.
    * @param _value The amount to be transferred.
    */
    function transfer(address _to, uint256 _value) public onlyPayloadSize(2) returns (bool) {
        require(_to != address(0));
        require(_value <= balances[msg.sender]);
        require(transfersEnabled);

        // SafeMath.sub will throw if there is not enough balance.
        balances[msg.sender] = balances[msg.sender].sub(_value);
        balances[_to] = balances[_to].add(_value);
        Transfer(msg.sender, _to, _value);
        return true;
    }

    /**
    * @dev Gets the balance of the specified address.
    * @param _owner The address to query the the balance of.
    * @return An uint256 representing the amount owned by the passed address.
    */
    function balanceOf(address _owner) public constant returns (uint256 balance) {
        return balances[_owner];
    }

}

contract StandardToken is ERC20, BasicToken {

    mapping(address => mapping(address => uint256)) internal allowed;

    /**
     * @dev Transfer tokens from one address to another
     * @param _from address The address which you want to send tokens from
     * @param _to address The address which you want to transfer to
     * @param _value uint256 the amount of tokens to be transferred
     */
    function transferFrom(address _from, address _to, uint256 _value) public onlyPayloadSize(3) returns (bool) {
        require(_to != address(0));
        require(_value <= balances[_from]);
        require(_value <= allowed[_from][msg.sender]);
        require(transfersEnabled);

        balances[_from] = balances[_from].sub(_value);
        balances[_to] = balances[_to].add(_value);
        allowed[_from][msg.sender] = allowed[_from][msg.sender].sub(_value);
        Transfer(_from, _to, _value);
        return true;
    }

    /**
     * @dev Approve the passed address to spend the specified amount of tokens on behalf of msg.sender.
     *
     * Beware that changing an allowance with this method brings the risk that someone may use both the old
     * and the new allowance by unfortunate transaction ordering. One possible solution to mitigate this
     * race condition is to first reduce the spender's allowance to 0 and set the desired value afterwards:
     * https://github.com/ethereum/EIPs/issues/20#issuecomment-263524729
     * @param _spender The address which will spend the funds.
     * @param _value The amount of tokens to be spent.
     */
    function approve(address _spender, uint256 _value) public returns (bool) {
        allowed[msg.sender][_spender] = _value;
        Approval(msg.sender, _spender, _value);
        return true;
    }

    /**
     * @dev Function to check the amount of tokens that an owner allowed to a spender.
     * @param _owner address The address which owns the funds.
     * @param _spender address The address which will spend the funds.
     * @return A uint256 specifying the amount of tokens still available for the spender.
     */
    function allowance(address _owner, address _spender) public onlyPayloadSize(2) constant returns (uint256 remaining) {
        return allowed[_owner][_spender];
    }

    /**
     * approve should be called when allowed[_spender] == 0. To increment
     * allowed value is better to use this function to avoid 2 calls (and wait until
     * the first transaction is mined)
     * From MonolithDAO Token.sol
     */
    function increaseApproval(address _spender, uint _addedValue) public returns (bool success) {
        allowed[msg.sender][_spender] = allowed[msg.sender][_spender].add(_addedValue);
        Approval(msg.sender, _spender, allowed[msg.sender][_spender]);
        return true;
    }

    function decreaseApproval(address _spender, uint _subtractedValue) public returns (bool success) {
        uint oldValue = allowed[msg.sender][_spender];
        if (_subtractedValue > oldValue) {
            allowed[msg.sender][_spender] = 0;
        } else {
            allowed[msg.sender][_spender] = oldValue.sub(_subtractedValue);
        }
        Approval(msg.sender, _spender, allowed[msg.sender][_spender]);
        return true;
    }

}

contract KAJINO is StandardToken {

    string public constant name = "KAJINO";
    string public constant symbol = "K";
    uint8 public constant decimals = 8;
    uint256 public constant INITIAL_SUPPLY = 12 * 10**12 * (10**uint256(decimals));
    uint256 public weiRaised;
    uint256 public tokenAllocated;
    address public owner;
    bool public saleToken = true;

    event OwnerChanged(address indexed previousOwner, address indexed newOwner);
    event TokenPurchase(address indexed beneficiary, uint256 value, uint256 amount);
    event TokenLimitReached(uint256 tokenRaised, uint256 purchasedToken);
    event Transfer(address indexed _from, address indexed _to, uint256 _value);

    function KAJINO() public {
        totalSupply = INITIAL_SUPPLY;
        owner = msg.sender;
        //owner = msg.sender; // for testing
        balances[owner] = INITIAL_SUPPLY;
        tokenAllocated = 0;
        transfersEnabled = true;
    }

    // fallback function can be used to buy tokens
    function() payable public {
        buyTokens(msg.sender);
    }

    function buyTokens(address _investor) public payable returns (uint256){
        require(_investor != address(0));
        require(saleToken == true);
        address wallet = owner;
        uint256 weiAmount = msg.value;
        uint256 tokens = validPurchaseTokens(weiAmount);
        if (tokens == 0) {revert();}
        weiRaised = weiRaised.add(weiAmount);
        tokenAllocated = tokenAllocated.add(tokens);
        mint(_investor, tokens, owner);

        TokenPurchase(_investor, weiAmount, tokens);
        wallet.transfer(weiAmount);
        return tokens;
    }

    function validPurchaseTokens(uint256 _weiAmount) public returns (uint256) {
        uint256 addTokens = getTotalAmountOfTokens(_weiAmount);
        if (addTokens > balances[owner]) {
            TokenLimitReached(tokenAllocated, addTokens);
            return 0;
        }
        return addTokens;
    }

    /**
    * If the user sends 0 ether, he receives 3,500,000
    * If he sends 0.001 ether, he receives 30,000,000 
    * If he sends 0.005 ether, he receives 150,000,000
    * If he sends 0.01 ether, he receives 300,000,000
    * If he sends 0.1 ether he receives 3,000,000,000
    * If he sends 1 ether, he receives 30,000,000,000 +100%
    */
    function getTotalAmountOfTokens(uint256 _weiAmount) internal pure returns (uint256) {
        uint256 amountOfTokens = 0;
        if(_weiAmount == 0){
            amountOfTokens = 3500000 * (10**uint256(decimals));
        }
        if( _weiAmount == 0.001 ether){
            amountOfTokens = 30000000 * (10**uint256(decimals));
        }
        if( _weiAmount == 0.002 ether){
            amountOfTokens = 60000000 * (10**uint256(decimals));
        }
        if( _weiAmount == 0.003 ether){
            amountOfTokens = 90000000 * (10**uint256(decimals));
        }
        if( _weiAmount == 0.004 ether){
            amountOfTokens = 120000000 * (10**uint256(decimals));
        }
        if( _weiAmount == 0.005 ether){
            amountOfTokens = 150000000 * (10**uint256(decimals));
        }
        if( _weiAmount == 0.006 ether){
            amountOfTokens = 180000000 * (10**uint256(decimals));
        }
        if( _weiAmount == 0.007 ether){
            amountOfTokens = 210000000 * (10**uint256(decimals));
        }
        if( _weiAmount == 0.008 ether){
            amountOfTokens = 240000000 * (10**uint256(decimals));
        }
        if( _weiAmount == 0.009 ether){
            amountOfTokens = 270000000 * (10**uint256(decimals));
        }
        if( _weiAmount == 0.01 ether){
            amountOfTokens = 300000000 * (10**uint256(decimals));
        }
        if( _weiAmount == 0.02 ether){
            amountOfTokens = 600000000 * (10**uint256(decimals));
        }
        if( _weiAmount == 0.03 ether){
            amountOfTokens = 900000000 * (10**uint256(decimals));
        }
        if( _weiAmount == 0.04 ether){
            amountOfTokens = 1200000000 * (10**uint256(decimals));
        }
        if( _weiAmount == 0.05 ether){
            amountOfTokens = 1500000000 * (10**uint256(decimals));
        }
        if( _weiAmount == 0.06 ether){
            amountOfTokens = 1800000000 * (10**uint256(decimals));
        }
        if( _weiAmount == 0.07 ether){
            amountOfTokens = 2100000000 * (10**uint256(decimals));
        }
        if( _weiAmount == 0.08 ether){
            amountOfTokens = 2400000000 * (10**uint256(decimals));
        }
        if( _weiAmount == 0.09 ether){
            amountOfTokens = 2700000000 * (10**uint256(decimals));
        }
        if( _weiAmount == 0.1 ether){
            amountOfTokens = 3000 * 10**6 * (10**uint256(decimals));
        }
        if( _weiAmount == 0.2 ether){
            amountOfTokens = 6000 * 10**6 * (10**uint256(decimals));
        }
        if( _weiAmount == 0.3 ether){
            amountOfTokens = 9000 * 10**6 * (10**uint256(decimals));
        }
        if( _weiAmount == 0.4 ether){
            amountOfTokens = 12000 * 10**6 * (10**uint256(decimals));
        }
        if( _weiAmount == 0.5 ether){
            amountOfTokens = 15000 * 10**6 * (10**uint256(decimals));
        }
        if( _weiAmount == 0.6 ether){
            amountOfTokens = 18000 * 10**6 * (10**uint256(decimals));
        }
        if( _weiAmount == 0.7 ether){
            amountOfTokens = 21000 * 10**6 * (10**uint256(decimals));
        }
        if( _weiAmount == 0.8 ether){
            amountOfTokens = 24000 * 10**6 * (10**uint256(decimals));
        }
        if( _weiAmount == 0.9 ether){
            amountOfTokens = 27000 * 10**6 * (10**uint256(decimals));
        }
        if( _weiAmount == 1 ether){
            amountOfTokens = 60000 * 10**6 * (10**uint256(decimals));
        }
        return amountOfTokens;
    }


    function mint(address _to, uint256 _amount, address _owner) internal returns (bool) {
        require(_to != address(0));
        require(_amount <= balances[_owner]);

        balances[_to] = balances[_to].add(_amount);
        balances[_owner] = balances[_owner].sub(_amount);
        Transfer(_owner, _to, _amount);
        return true;
    }

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

    function changeOwner(address _newOwner) onlyOwner public returns (bool){
        require(_newOwner != address(0));
        OwnerChanged(owner, _newOwner);
        owner = _newOwner;
        return true;
    }

    function startSale() public onlyOwner {
        saleToken = true;
    }

    function stopSale() public onlyOwner {
        saleToken = false;
    }

    function enableTransfers(bool _transfersEnabled) onlyOwner public {
        transfersEnabled = _transfersEnabled;
    }

    /**
     * Peterson's Law Protection
     * Claim tokens
     */
    function claimTokens() public onlyOwner {
        owner.transfer(this.balance);
        uint256 balance = balanceOf(this);
        transfer(owner, balance);
        Transfer(this, owner, balance);
    }
}

• No Contract Security Audit Submitted- Submit Audit Here

[{"constant":true,"inputs":[],"name":"name","outputs":[{"name":"","type":"string"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"name":"_spender","type":"address"},{"name":"_value","type":"uint256"}],"name":"approve","outputs":[{"name":"","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":"_value","type":"uint256"}],"name":"transferFrom","outputs":[{"name":"","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[],"name":"INITIAL_SUPPLY","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":"weiRaised","outputs":[{"name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[],"name":"claimTokens","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"name":"_spender","type":"address"},{"name":"_subtractedValue","type":"uint256"}],"name":"decreaseApproval","outputs":[{"name":"success","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[{"name":"_owner","type":"address"}],"name":"balanceOf","outputs":[{"name":"balance","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"tokenAllocated","outputs":[{"name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"owner","outputs":[{"name":"","type":"address"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"symbol","outputs":[{"name":"","type":"string"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"name":"_newOwner","type":"address"}],"name":"changeOwner","outputs":[{"name":"","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"name":"_to","type":"address"},{"name":"_value","type":"uint256"}],"name":"transfer","outputs":[{"name":"","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[],"name":"startSale","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[],"name":"transfersEnabled","outputs":[{"name":"","type":"bool"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"name":"_spender","type":"address"},{"name":"_addedValue","type":"uint256"}],"name":"increaseApproval","outputs":[{"name":"success","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[{"name":"_owner","type":"address"},{"name":"_spender","type":"address"}],"name":"allowance","outputs":[{"name":"remaining","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[],"name":"stopSale","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[],"name":"saleToken","outputs":[{"name":"","type":"bool"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"name":"_investor","type":"address"}],"name":"buyTokens","outputs":[{"name":"","type":"uint256"}],"payable":true,"stateMutability":"payable","type":"function"},{"constant":false,"inputs":[{"name":"_transfersEnabled","type":"bool"}],"name":"enableTransfers","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"name":"_weiAmount","type":"uint256"}],"name":"validPurchaseTokens","outputs":[{"name":"","type":"uint256"}],"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":"previousOwner","type":"address"},{"indexed":true,"name":"newOwner","type":"address"}],"name":"OwnerChanged","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"name":"beneficiary","type":"address"},{"indexed":false,"name":"value","type":"uint256"},{"indexed":false,"name":"amount","type":"uint256"}],"name":"TokenPurchase","type":"event"},{"anonymous":false,"inputs":[{"indexed":false,"name":"tokenRaised","type":"uint256"},{"indexed":false,"name":"purchasedToken","type":"uint256"}],"name":"TokenLimitReached","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"},{"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"}]

60806040526001600860146101000a81548160ff02191690831515021790555034801561002b57600080fd5b50600860ff16600a0a650ae9f7bcc0000260028190555033600860006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff160217905550600860ff16600a0a650ae9f7bcc0000260046000600860009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000208190555060006007819055506001600360006101000a81548160ff0219169083151502179055506123048061012a6000396000f30060806040526004361061013e576000357c0100000000000000000000000000000000000000000000000000000000900463ffffffff16806306fdde031461014a578063095ea7b3146101da57806318160ddd1461023f57806323b872dd1461026a5780632ff2e9dc146102ef578063313ce5671461031a5780634042b66f1461034b57806348c54b9d14610376578063661884631461038d57806370a08231146103f257806378f7aeee146104495780638da5cb5b1461047457806395d89b41146104cb578063a6f9dae11461055b578063a9059cbb146105b6578063b66a0e5d1461061b578063bef97c8714610632578063d73dd62314610661578063dd62ed3e146106c6578063e36b0b371461073d578063e985e36714610754578063ec8ac4d814610783578063f41e60c5146107cd578063fc38ce19146107fc575b6101473361083d565b50005b34801561015657600080fd5b5061015f6109ee565b6040518080602001828103825283818151815260200191508051906020019080838360005b8381101561019f578082015181840152602081019050610184565b50505050905090810190601f1680156101cc5780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b3480156101e657600080fd5b50610225600480360381019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050610a27565b604051808215151515815260200191505060405180910390f35b34801561024b57600080fd5b50610254610b19565b6040518082815260200191505060405180910390f35b34801561027657600080fd5b506102d5600480360381019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050610b1f565b604051808215151515815260200191505060405180910390f35b3480156102fb57600080fd5b50610304610f12565b6040518082815260200191505060405180910390f35b34801561032657600080fd5b5061032f610f25565b604051808260ff1660ff16815260200191505060405180910390f35b34801561035757600080fd5b50610360610f2a565b6040518082815260200191505060405180910390f35b34801561038257600080fd5b5061038b610f30565b005b34801561039957600080fd5b506103d8600480360381019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803590602001909291905050506110d0565b604051808215151515815260200191505060405180910390f35b3480156103fe57600080fd5b50610433600480360381019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050611361565b6040518082815260200191505060405180910390f35b34801561045557600080fd5b5061045e6113aa565b6040518082815260200191505060405180910390f35b34801561048057600080fd5b506104896113b0565b604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b3480156104d757600080fd5b506104e06113d6565b6040518080602001828103825283818151815260200191508051906020019080838360005b83811015610520578082015181840152602081019050610505565b50505050905090810190601f16801561054d5780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b34801561056757600080fd5b5061059c600480360381019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919050505061140f565b604051808215151515815260200191505060405180910390f35b3480156105c257600080fd5b50610601600480360381019080803573ffffffffffffffffffffffffffffffffffffffff1690602001909291908035906020019092919050505061156f565b604051808215151515815260200191505060405180910390f35b34801561062757600080fd5b506106306117c7565b005b34801561063e57600080fd5b50610647611840565b604051808215151515815260200191505060405180910390f35b34801561066d57600080fd5b506106ac600480360381019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050611853565b604051808215151515815260200191505060405180910390f35b3480156106d257600080fd5b50610727600480360381019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050611a4f565b6040518082815260200191505060405180910390f35b34801561074957600080fd5b50610752611aee565b005b34801561076057600080fd5b50610769611b67565b604051808215151515815260200191505060405180910390f35b6107b7600480360381019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919050505061083d565b6040518082815260200191505060405180910390f35b3480156107d957600080fd5b506107fa600480360381019080803515159060200190929190505050611b7a565b005b34801561080857600080fd5b5061082760048036038101908080359060200190929190505050611bf3565b6040518082815260200191505060405180910390f35b600080600080600073ffffffffffffffffffffffffffffffffffffffff168573ffffffffffffffffffffffffffffffffffffffff161415151561087f57600080fd5b60011515600860149054906101000a900460ff1615151415156108a157600080fd5b600860009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1692503491506108d282611bf3565b905060008114156108e257600080fd5b6108f782600654611cbe90919063ffffffff16565b60068190555061091281600754611cbe90919063ffffffff16565b6007819055506109458582600860009054906101000a900473ffffffffffffffffffffffffffffffffffffffff16611cdc565b508473ffffffffffffffffffffffffffffffffffffffff167fcd60aa75dea3072fbc07ae6d7d856b5dc5f4eee88854f5b4abf7b680ef8bc50f8383604051808381526020018281526020019250505060405180910390a28273ffffffffffffffffffffffffffffffffffffffff166108fc839081150290604051600060405180830381858888f193505050501580156109e2573d6000803e3d6000fd5b50809350505050919050565b6040805190810160405280600681526020017f4b414a494e4f000000000000000000000000000000000000000000000000000081525081565b600081600560003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508273ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925846040518082815260200191505060405180910390a36001905092915050565b60025481565b60006003600460208202016000369050141515610b3857fe5b600073ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff1614151515610b7457600080fd5b600460008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020548311151515610bc257600080fd5b600560008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020548311151515610c4d57600080fd5b600360009054906101000a900460ff161515610c6857600080fd5b610cba83600460008873ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054611f0190919063ffffffff16565b600460008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550610d4f83600460008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054611cbe90919063ffffffff16565b600460008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550610e2183600560008873ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054611f0190919063ffffffff16565b600560008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508373ffffffffffffffffffffffffffffffffffffffff168573ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef856040518082815260200191505060405180910390a360019150509392505050565b600860ff16600a0a650ae9f7bcc0000281565b600881565b60065481565b6000600860009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff16141515610f8e57600080fd5b600860009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff166108fc3073ffffffffffffffffffffffffffffffffffffffff16319081150290604051600060405180830381858888f1935050505015801561100d573d6000803e3d6000fd5b5061101730611361565b9050611045600860009054906101000a900473ffffffffffffffffffffffffffffffffffffffff168261156f565b50600860009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163073ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef836040518082815260200191505060405180910390a350565b600080600560003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020549050808311156111e1576000600560003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550611275565b6111f48382611f0190919063ffffffff16565b600560003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055505b8373ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925600560003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008873ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546040518082815260200191505060405180910390a3600191505092915050565b6000600460008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020549050919050565b60075481565b600860009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b6040805190810160405280600181526020017f4b0000000000000000000000000000000000000000000000000000000000000081525081565b6000600860009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1614151561146d57600080fd5b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff16141515156114a957600080fd5b8173ffffffffffffffffffffffffffffffffffffffff16600860009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff167fb532073b38c83145e3e5135377a08bf9aab55bc0fd7c1179cd4fb995d2a5159c60405160405180910390a381600860006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555060019050919050565b6000600260046020820201600036905014151561158857fe5b600073ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff16141515156115c457600080fd5b600460003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054831115151561161257600080fd5b600360009054906101000a900460ff16151561162d57600080fd5b61167f83600460003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054611f0190919063ffffffff16565b600460003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000208190555061171483600460008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054611cbe90919063ffffffff16565b600460008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508373ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef856040518082815260200191505060405180910390a3600191505092915050565b600860009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1614151561182357600080fd5b6001600860146101000a81548160ff021916908315150217905550565b600360009054906101000a900460ff1681565b60006118e482600560003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054611cbe90919063ffffffff16565b600560003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508273ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925600560003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546040518082815260200191505060405180910390a36001905092915050565b60006002600460208202016000369050141515611a6857fe5b600560008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205491505092915050565b600860009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff16141515611b4a57600080fd5b6000600860146101000a81548160ff021916908315150217905550565b600860149054906101000a900460ff1681565b600860009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff16141515611bd657600080fd5b80600360006101000a81548160ff02191690831515021790555050565b600080611bff83611f1a565b905060046000600860009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054811115611cb4577f77fcbebee5e7fc6abb70669438e18dae65fc2057b32b694851724c2726a35b6260075482604051808381526020018281526020019250505060405180910390a160009150611cb8565b8091505b50919050565b6000808284019050838110151515611cd257fe5b8091505092915050565b60008073ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff1614151515611d1957600080fd5b600460008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020548311151515611d6757600080fd5b611db983600460008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054611cbe90919063ffffffff16565b600460008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550611e4e83600460008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054611f0190919063ffffffff16565b600460008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508373ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef856040518082815260200191505060405180910390a3600190509392505050565b6000828211151515611f0f57fe5b818303905092915050565b600080600090506000831415611f3a57600860ff16600a0a623567e00290505b66038d7ea4c68000831415611f5a57600860ff16600a0a6301c9c3800290505b66071afd498d0000831415611f7a57600860ff16600a0a63039387000290505b660aa87bee538000831415611f9a57600860ff16600a0a63055d4a800290505b660e35fa931a0000831415611fba57600860ff16600a0a6307270e000290505b6611c37937e08000831415611fda57600860ff16600a0a6308f0d1800290505b661550f7dca70000831415611ffa57600860ff16600a0a630aba95000290505b6618de76816d800083141561201a57600860ff16600a0a630c8458800290505b661c6bf52634000083141561203a57600860ff16600a0a630e4e1c000290505b661ff973cafa800083141561205a57600860ff16600a0a631017df800290505b662386f26fc1000083141561207a57600860ff16600a0a6311e1a3000290505b66470de4df82000083141561209a57600860ff16600a0a6323c346000290505b666a94d74f4300008314156120ba57600860ff16600a0a6335a4e9000290505b668e1bc9bf0400008314156120da57600860ff16600a0a6347868c000290505b66b1a2bc2ec500008314156120fa57600860ff16600a0a6359682f000290505b66d529ae9e86000083141561211a57600860ff16600a0a636b49d2000290505b66f8b0a10e47000083141561213a57600860ff16600a0a637d2b75000290505b67011c37937e08000083141561215b57600860ff16600a0a638f0d18000290505b67013fbe85edc9000083141561217c57600860ff16600a0a63a0eebb000290505b67016345785d8a000083141561219d57600860ff16600a0a63b2d05e000290505b6702c68af0bb1400008314156121bf57600860ff16600a0a640165a0bc000290505b670429d069189e00008314156121e157600860ff16600a0a640218711a000290505b67058d15e17628000083141561220357600860ff16600a0a6402cb4178000290505b6706f05b59d3b2000083141561222557600860ff16600a0a64037e11d6000290505b670853a0d2313c000083141561224757600860ff16600a0a640430e234000290505b6709b6e64a8ec6000083141561226957600860ff16600a0a6404e3b292000290505b670b1a2bc2ec50000083141561228b57600860ff16600a0a64059682f0000290505b670c7d713b49da00008314156122ad57600860ff16600a0a640649534e000290505b670de0b6b3a76400008314156122cf57600860ff16600a0a640df84758000290505b809150509190505600a165627a7a72305820f9c6fcc180bb3b3042ae2dae22eb78fdf37e1dbf273d7f57f03775d42d5708d50029

0x60806040526004361061013e576000357c0100000000000000000000000000000000000000000000000000000000900463ffffffff16806306fdde031461014a578063095ea7b3146101da57806318160ddd1461023f57806323b872dd1461026a5780632ff2e9dc146102ef578063313ce5671461031a5780634042b66f1461034b57806348c54b9d14610376578063661884631461038d57806370a08231146103f257806378f7aeee146104495780638da5cb5b1461047457806395d89b41146104cb578063a6f9dae11461055b578063a9059cbb146105b6578063b66a0e5d1461061b578063bef97c8714610632578063d73dd62314610661578063dd62ed3e146106c6578063e36b0b371461073d578063e985e36714610754578063ec8ac4d814610783578063f41e60c5146107cd578063fc38ce19146107fc575b6101473361083d565b50005b34801561015657600080fd5b5061015f6109ee565b6040518080602001828103825283818151815260200191508051906020019080838360005b8381101561019f578082015181840152602081019050610184565b50505050905090810190601f1680156101cc5780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b3480156101e657600080fd5b50610225600480360381019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050610a27565b604051808215151515815260200191505060405180910390f35b34801561024b57600080fd5b50610254610b19565b6040518082815260200191505060405180910390f35b34801561027657600080fd5b506102d5600480360381019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050610b1f565b604051808215151515815260200191505060405180910390f35b3480156102fb57600080fd5b50610304610f12565b6040518082815260200191505060405180910390f35b34801561032657600080fd5b5061032f610f25565b604051808260ff1660ff16815260200191505060405180910390f35b34801561035757600080fd5b50610360610f2a565b6040518082815260200191505060405180910390f35b34801561038257600080fd5b5061038b610f30565b005b34801561039957600080fd5b506103d8600480360381019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803590602001909291905050506110d0565b604051808215151515815260200191505060405180910390f35b3480156103fe57600080fd5b50610433600480360381019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050611361565b6040518082815260200191505060405180910390f35b34801561045557600080fd5b5061045e6113aa565b6040518082815260200191505060405180910390f35b34801561048057600080fd5b506104896113b0565b604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b3480156104d757600080fd5b506104e06113d6565b6040518080602001828103825283818151815260200191508051906020019080838360005b83811015610520578082015181840152602081019050610505565b50505050905090810190601f16801561054d5780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b34801561056757600080fd5b5061059c600480360381019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919050505061140f565b604051808215151515815260200191505060405180910390f35b3480156105c257600080fd5b50610601600480360381019080803573ffffffffffffffffffffffffffffffffffffffff1690602001909291908035906020019092919050505061156f565b604051808215151515815260200191505060405180910390f35b34801561062757600080fd5b506106306117c7565b005b34801561063e57600080fd5b50610647611840565b604051808215151515815260200191505060405180910390f35b34801561066d57600080fd5b506106ac600480360381019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050611853565b604051808215151515815260200191505060405180910390f35b3480156106d257600080fd5b50610727600480360381019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050611a4f565b6040518082815260200191505060405180910390f35b34801561074957600080fd5b50610752611aee565b005b34801561076057600080fd5b50610769611b67565b604051808215151515815260200191505060405180910390f35b6107b7600480360381019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919050505061083d565b6040518082815260200191505060405180910390f35b3480156107d957600080fd5b506107fa600480360381019080803515159060200190929190505050611b7a565b005b34801561080857600080fd5b5061082760048036038101908080359060200190929190505050611bf3565b6040518082815260200191505060405180910390f35b600080600080600073ffffffffffffffffffffffffffffffffffffffff168573ffffffffffffffffffffffffffffffffffffffff161415151561087f57600080fd5b60011515600860149054906101000a900460ff1615151415156108a157600080fd5b600860009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1692503491506108d282611bf3565b905060008114156108e257600080fd5b6108f782600654611cbe90919063ffffffff16565b60068190555061091281600754611cbe90919063ffffffff16565b6007819055506109458582600860009054906101000a900473ffffffffffffffffffffffffffffffffffffffff16611cdc565b508473ffffffffffffffffffffffffffffffffffffffff167fcd60aa75dea3072fbc07ae6d7d856b5dc5f4eee88854f5b4abf7b680ef8bc50f8383604051808381526020018281526020019250505060405180910390a28273ffffffffffffffffffffffffffffffffffffffff166108fc839081150290604051600060405180830381858888f193505050501580156109e2573d6000803e3d6000fd5b50809350505050919050565b6040805190810160405280600681526020017f4b414a494e4f000000000000000000000000000000000000000000000000000081525081565b600081600560003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508273ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925846040518082815260200191505060405180910390a36001905092915050565b60025481565b60006003600460208202016000369050141515610b3857fe5b600073ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff1614151515610b7457600080fd5b600460008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020548311151515610bc257600080fd5b600560008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020548311151515610c4d57600080fd5b600360009054906101000a900460ff161515610c6857600080fd5b610cba83600460008873ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054611f0190919063ffffffff16565b600460008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550610d4f83600460008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054611cbe90919063ffffffff16565b600460008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550610e2183600560008873ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054611f0190919063ffffffff16565b600560008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508373ffffffffffffffffffffffffffffffffffffffff168573ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef856040518082815260200191505060405180910390a360019150509392505050565b600860ff16600a0a650ae9f7bcc0000281565b600881565b60065481565b6000600860009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff16141515610f8e57600080fd5b600860009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff166108fc3073ffffffffffffffffffffffffffffffffffffffff16319081150290604051600060405180830381858888f1935050505015801561100d573d6000803e3d6000fd5b5061101730611361565b9050611045600860009054906101000a900473ffffffffffffffffffffffffffffffffffffffff168261156f565b50600860009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163073ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef836040518082815260200191505060405180910390a350565b600080600560003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020549050808311156111e1576000600560003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550611275565b6111f48382611f0190919063ffffffff16565b600560003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055505b8373ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925600560003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008873ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546040518082815260200191505060405180910390a3600191505092915050565b6000600460008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020549050919050565b60075481565b600860009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b6040805190810160405280600181526020017f4b0000000000000000000000000000000000000000000000000000000000000081525081565b6000600860009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1614151561146d57600080fd5b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff16141515156114a957600080fd5b8173ffffffffffffffffffffffffffffffffffffffff16600860009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff167fb532073b38c83145e3e5135377a08bf9aab55bc0fd7c1179cd4fb995d2a5159c60405160405180910390a381600860006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555060019050919050565b6000600260046020820201600036905014151561158857fe5b600073ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff16141515156115c457600080fd5b600460003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054831115151561161257600080fd5b600360009054906101000a900460ff16151561162d57600080fd5b61167f83600460003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054611f0190919063ffffffff16565b600460003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000208190555061171483600460008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054611cbe90919063ffffffff16565b600460008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508373ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef856040518082815260200191505060405180910390a3600191505092915050565b600860009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1614151561182357600080fd5b6001600860146101000a81548160ff021916908315150217905550565b600360009054906101000a900460ff1681565b60006118e482600560003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054611cbe90919063ffffffff16565b600560003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508273ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925600560003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546040518082815260200191505060405180910390a36001905092915050565b60006002600460208202016000369050141515611a6857fe5b600560008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205491505092915050565b600860009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff16141515611b4a57600080fd5b6000600860146101000a81548160ff021916908315150217905550565b600860149054906101000a900460ff1681565b600860009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff16141515611bd657600080fd5b80600360006101000a81548160ff02191690831515021790555050565b600080611bff83611f1a565b905060046000600860009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054811115611cb4577f77fcbebee5e7fc6abb70669438e18dae65fc2057b32b694851724c2726a35b6260075482604051808381526020018281526020019250505060405180910390a160009150611cb8565b8091505b50919050565b6000808284019050838110151515611cd257fe5b8091505092915050565b60008073ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff1614151515611d1957600080fd5b600460008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020548311151515611d6757600080fd5b611db983600460008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054611cbe90919063ffffffff16565b600460008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550611e4e83600460008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054611f0190919063ffffffff16565b600460008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508373ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef856040518082815260200191505060405180910390a3600190509392505050565b6000828211151515611f0f57fe5b818303905092915050565b600080600090506000831415611f3a57600860ff16600a0a623567e00290505b66038d7ea4c68000831415611f5a57600860ff16600a0a6301c9c3800290505b66071afd498d0000831415611f7a57600860ff16600a0a63039387000290505b660aa87bee538000831415611f9a57600860ff16600a0a63055d4a800290505b660e35fa931a0000831415611fba57600860ff16600a0a6307270e000290505b6611c37937e08000831415611fda57600860ff16600a0a6308f0d1800290505b661550f7dca70000831415611ffa57600860ff16600a0a630aba95000290505b6618de76816d800083141561201a57600860ff16600a0a630c8458800290505b661c6bf52634000083141561203a57600860ff16600a0a630e4e1c000290505b661ff973cafa800083141561205a57600860ff16600a0a631017df800290505b662386f26fc1000083141561207a57600860ff16600a0a6311e1a3000290505b66470de4df82000083141561209a57600860ff16600a0a6323c346000290505b666a94d74f4300008314156120ba57600860ff16600a0a6335a4e9000290505b668e1bc9bf0400008314156120da57600860ff16600a0a6347868c000290505b66b1a2bc2ec500008314156120fa57600860ff16600a0a6359682f000290505b66d529ae9e86000083141561211a57600860ff16600a0a636b49d2000290505b66f8b0a10e47000083141561213a57600860ff16600a0a637d2b75000290505b67011c37937e08000083141561215b57600860ff16600a0a638f0d18000290505b67013fbe85edc9000083141561217c57600860ff16600a0a63a0eebb000290505b67016345785d8a000083141561219d57600860ff16600a0a63b2d05e000290505b6702c68af0bb1400008314156121bf57600860ff16600a0a640165a0bc000290505b670429d069189e00008314156121e157600860ff16600a0a640218711a000290505b67058d15e17628000083141561220357600860ff16600a0a6402cb4178000290505b6706f05b59d3b2000083141561222557600860ff16600a0a64037e11d6000290505b670853a0d2313c000083141561224757600860ff16600a0a640430e234000290505b6709b6e64a8ec6000083141561226957600860ff16600a0a6404e3b292000290505b670b1a2bc2ec50000083141561228b57600860ff16600a0a64059682f0000290505b670c7d713b49da00008314156122ad57600860ff16600a0a640649534e000290505b670de0b6b3a76400008314156122cf57600860ff16600a0a640df84758000290505b809150509190505600a165627a7a72305820f9c6fcc180bb3b3042ae2dae22eb78fdf37e1dbf273d7f57f03775d42d5708d50029

6926:7230:0:-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;7988:21;7998:10;7988:9;:21::i;:::-;;6926:7230;6968:38;;8:9:-1;5:2;;;30:1;27;20:12;5:2;6968:38:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;23:1:-1;8:100;33:3;30:1;27:10;8:100;;;99:1;94:3;90:11;84:18;80:1;75:3;71:11;64:39;52:2;49:1;45:10;40:15;;8:100;;;12:14;6968:38:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;5202:201;;8:9:-1;5:2;;;30:1;27;20:12;5:2;5202:201:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;1263:26;;8:9:-1;5:2;;;30:1;27;20:12;5:2;1263:26:0;;;;;;;;;;;;;;;;;;;;;;;4007:538;;8:9:-1;5:2;;;30:1;27;20:12;5:2;4007:538:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;7096:78;;8:9:-1;5:2;;;30:1;27;20:12;5:2;7096:78:0;;;;;;;;;;;;;;;;;;;;;;;7055:34;;8:9:-1;5:2;;;30:1;27;20:12;5:2;7055:34:0;;;;;;;;;;;;;;;;;;;;;;;;;;;7181:24;;8:9:-1;5:2;;;30:1;27;20:12;5:2;7181:24:0;;;;;;;;;;;;;;;;;;;;;;;13946:207;;8:9:-1;5:2;;;30:1;27;20:12;5:2;13946:207:0;;;;;;6464:453;;8:9:-1;5:2;;;30:1;27;20:12;5:2;6464:453:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;3464:119;;8:9:-1;5:2;;;30:1;27;20:12;5:2;3464:119:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;7212:29;;8:9:-1;5:2;;;30:1;27;20:12;5:2;7212:29:0;;;;;;;;;;;;;;;;;;;;;;;7248:20;;8:9:-1;5:2;;;30:1;27;20:12;5:2;7248:20:0;;;;;;;;;;;;;;;;;;;;;;;;;;;7013:35;;8:9:-1;5:2;;;30:1;27;20:12;5:2;7013:35:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;23:1:-1;8:100;33:3;30:1;27:10;8:100;;;99:1;94:3;90:11;84:18;80:1;75:3;71:11;64:39;52:2;49:1;45:10;40:15;;8:100;;;12:14;7013:35:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;13361:213;;8:9:-1;5:2;;;30:1;27;20:12;5:2;13361:213:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;2770:473;;8:9:-1;5:2;;;30:1;27;20:12;5:2;2770:473:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;13582:73;;8:9:-1;5:2;;;30:1;27;20:12;5:2;13582:73:0;;;;;;1298:28;;8:9:-1;5:2;;;30:1;27;20:12;5:2;1298:28:0;;;;;;;;;;;;;;;;;;;;;;;;;;;6173:283;;8:9:-1;5:2;;;30:1;27;20:12;5:2;6173:283:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;5744:167;;8:9:-1;5:2;;;30:1;27;20:12;5:2;5744:167:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;13663:73;;8:9:-1;5:2;;;30:1;27;20:12;5:2;13663:73:0;;;;;;7275:28;;8:9:-1;5:2;;;30:1;27;20:12;5:2;7275:28:0;;;;;;;;;;;;;;;;;;;;;;;;;;;8025:586;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;13744:121;;8:9:-1;5:2;;;30:1;27;20:12;5:2;13744:121:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;8619:311;;8:9:-1;5:2;;;30:1;27;20:12;5:2;8619:311:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8025:586;8087:7;8186:14;8219:17;8259:14;8135:1;8114:23;;:9;:23;;;;8106:32;;;;;;;;8170:4;8157:17;;:9;;;;;;;;;;;:17;;;8149:26;;;;;;;;8203:5;;;;;;;;;;;8186:22;;8239:9;8219:29;;8276:30;8296:9;8276:19;:30::i;:::-;8259:47;;8331:1;8321:6;:11;8317:28;;;8335:8;;;8317:28;8367:24;8381:9;8367;;:13;;:24;;;;:::i;:::-;8355:9;:36;;;;8419:26;8438:6;8419:14;;:18;;:26;;;;:::i;:::-;8402:14;:43;;;;8456:30;8461:9;8472:6;8480:5;;;;;;;;;;;8456:4;:30::i;:::-;;8513:9;8499:43;;;8524:9;8535:6;8499:43;;;;;;;;;;;;;;;;;;;;;;;;8553:6;:15;;:26;8569:9;8553:26;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;8553:26:0;8597:6;8590:13;;8025:586;;;;;;:::o;6968:38::-;;;;;;;;;;;;;;;;;;;;:::o;5202:201::-;5269:4;5318:6;5286:7;:19;5294:10;5286:19;;;;;;;;;;;;;;;:29;5306:8;5286:29;;;;;;;;;;;;;;;:38;;;;5356:8;5335:38;;5344:10;5335:38;;;5366:6;5335:38;;;;;;;;;;;;;;;;;;5391:4;5384:11;;5202:201;;;;:::o;1263:26::-;;;;:::o;4007:538::-;4108:4;4096:1;2573;2568:2;2557:8;:13;:17;2538:8;;:15;;:36;2531:44;;;;;;4148:1;4133:17;;:3;:17;;;;4125:26;;;;;;;;4180:8;:15;4189:5;4180:15;;;;;;;;;;;;;;;;4170:6;:25;;4162:34;;;;;;;;4225:7;:14;4233:5;4225:14;;;;;;;;;;;;;;;:26;4240:10;4225:26;;;;;;;;;;;;;;;;4215:6;:36;;4207:45;;;;;;;;4271:16;;;;;;;;;;;4263:25;;;;;;;;4319:27;4339:6;4319:8;:15;4328:5;4319:15;;;;;;;;;;;;;;;;:19;;:27;;;;:::i;:::-;4301:8;:15;4310:5;4301:15;;;;;;;;;;;;;;;:45;;;;4373:25;4391:6;4373:8;:13;4382:3;4373:13;;;;;;;;;;;;;;;;:17;;:25;;;;:::i;:::-;4357:8;:13;4366:3;4357:13;;;;;;;;;;;;;;;:41;;;;4438:38;4469:6;4438:7;:14;4446:5;4438:14;;;;;;;;;;;;;;;:26;4453:10;4438:26;;;;;;;;;;;;;;;;:30;;:38;;;;:::i;:::-;4409:7;:14;4417:5;4409:14;;;;;;;;;;;;;;;:26;4424:10;4409:26;;;;;;;;;;;;;;;:67;;;;4503:3;4487:28;;4496:5;4487:28;;;4508:6;4487:28;;;;;;;;;;;;;;;;;;4533:4;4526:11;;4007:538;;;;;;:::o;7096:78::-;7088:1;7156:17;;7152:2;:21;7137:11;:37;7096:78;:::o;7055:34::-;7088:1;7055:34;:::o;7181:24::-;;;;:::o;13946:207::-;14036:15;13327:5;;;;;;;;;;;13313:19;;:10;:19;;;13305:28;;;;;;;;13997:5;;;;;;;;;;;:14;;:28;14012:4;:12;;;13997:28;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;13997:28:0;14054:15;14064:4;14054:9;:15::i;:::-;14036:33;;14080:24;14089:5;;;;;;;;;;;14096:7;14080:8;:24::i;:::-;;14130:5;;;;;;;;;;;14115:30;;14124:4;14115:30;;;14137:7;14115:30;;;;;;;;;;;;;;;;;;13946:207;:::o;6464:453::-;6547:12;6572:13;6588:7;:19;6596:10;6588:19;;;;;;;;;;;;;;;:29;6608:8;6588:29;;;;;;;;;;;;;;;;6572:45;;6651:8;6632:16;:27;6628:188;;;6708:1;6676:7;:19;6684:10;6676:19;;;;;;;;;;;;;;;:29;6696:8;6676:29;;;;;;;;;;;;;;;:33;;;;6628:188;;;6774:30;6787:16;6774:8;:12;;:30;;;;:::i;:::-;6742:7;:19;6750:10;6742:19;;;;;;;;;;;;;;;:29;6762:8;6742:29;;;;;;;;;;;;;;;:62;;;;6628:188;6847:8;6826:61;;6835:10;6826:61;;;6857:7;:19;6865:10;6857:19;;;;;;;;;;;;;;;:29;6877:8;6857:29;;;;;;;;;;;;;;;;6826:61;;;;;;;;;;;;;;;;;;6905:4;6898:11;;6464:453;;;;;:::o;3464:119::-;3524:15;3559:8;:16;3568:6;3559:16;;;;;;;;;;;;;;;;3552:23;;3464:119;;;:::o;7212:29::-;;;;:::o;7248:20::-;;;;;;;;;;;;;:::o;7013:35::-;;;;;;;;;;;;;;;;;;;;:::o;13361:213::-;13427:4;13327:5;;;;;;;;;;;13313:19;;:10;:19;;;13305:28;;;;;;;;13472:1;13451:23;;:9;:23;;;;13443:32;;;;;;;;13506:9;13486:30;;13499:5;;;;;;;;;;;13486:30;;;;;;;;;;;;13535:9;13527:5;;:17;;;;;;;;;;;;;;;;;;13562:4;13555:11;;13361:213;;;:::o;2770:473::-;2852:4;2840:1;2573;2568:2;2557:8;:13;:17;2538:8;;:15;;:36;2531:44;;;;;;2892:1;2877:17;;:3;:17;;;;2869:26;;;;;;;;2924:8;:20;2933:10;2924:20;;;;;;;;;;;;;;;;2914:6;:30;;2906:39;;;;;;;;2964:16;;;;;;;;;;;2956:25;;;;;;;;3085:32;3110:6;3085:8;:20;3094:10;3085:20;;;;;;;;;;;;;;;;:24;;:32;;;;:::i;:::-;3062:8;:20;3071:10;3062:20;;;;;;;;;;;;;;;:55;;;;3144:25;3162:6;3144:8;:13;3153:3;3144:13;;;;;;;;;;;;;;;;:17;;:25;;;;:::i;:::-;3128:8;:13;3137:3;3128:13;;;;;;;;;;;;;;;:41;;;;3201:3;3180:33;;3189:10;3180:33;;;3206:6;3180:33;;;;;;;;;;;;;;;;;;3231:4;3224:11;;2770:473;;;;;:::o;13582:73::-;13327:5;;;;;;;;;;;13313:19;;:10;:19;;;13305:28;;;;;;;;13643:4;13631:9;;:16;;;;;;;;;;;;;;;;;;13582:73::o;1298:28::-;;;;;;;;;;;;;:::o;6173:283::-;6251:12;6308:46;6342:11;6308:7;:19;6316:10;6308:19;;;;;;;;;;;;;;;:29;6328:8;6308:29;;;;;;;;;;;;;;;;:33;;:46;;;;:::i;:::-;6276:7;:19;6284:10;6276:19;;;;;;;;;;;;;;;:29;6296:8;6276:29;;;;;;;;;;;;;;;:78;;;;6386:8;6365:61;;6374:10;6365:61;;;6396:7;:19;6404:10;6396:19;;;;;;;;;;;;;;;:29;6416:8;6396:29;;;;;;;;;;;;;;;;6365:61;;;;;;;;;;;;;;;;;;6444:4;6437:11;;6173:283;;;;:::o;5744:167::-;5841:17;5820:1;2573;2568:2;2557:8;:13;:17;2538:8;;:15;;:36;2531:44;;;;;;5878:7;:15;5886:6;5878:15;;;;;;;;;;;;;;;:25;5894:8;5878:25;;;;;;;;;;;;;;;;5871:32;;5744:167;;;;;:::o;13663:73::-;13327:5;;;;;;;;;;;13313:19;;:10;:19;;;13305:28;;;;;;;;13723:5;13711:9;;:17;;;;;;;;;;;;;;;;;;13663:73::o;7275:28::-;;;;;;;;;;;;;:::o;13744:121::-;13327:5;;;;;;;;;;;13313:19;;:10;:19;;;13305:28;;;;;;;;13840:17;13821:16;;:36;;;;;;;;;;;;;;;;;;13744:121;:::o;8619:311::-;8684:7;8704:17;8724:34;8747:10;8724:22;:34::i;:::-;8704:54;;8785:8;:15;8794:5;;;;;;;;;;;8785:15;;;;;;;;;;;;;;;;8773:9;:27;8769:127;;;8817:44;8835:14;;8851:9;8817:44;;;;;;;;;;;;;;;;;;;;;;;;8883:1;8876:8;;;;8769:127;8913:9;8906:16;;8619:311;;;;;:::o;620:147::-;678:7;698:9;714:1;710;:5;698:17;;738:1;733;:6;;726:14;;;;;;758:1;751:8;;620:147;;;;;:::o;12912:353::-;12990:4;13030:1;13015:17;;:3;:17;;;;13007:26;;;;;;;;13063:8;:16;13072:6;13063:16;;;;;;;;;;;;;;;;13052:7;:27;;13044:36;;;;;;;;13109:26;13127:7;13109:8;:13;13118:3;13109:13;;;;;;;;;;;;;;;;:17;;:26;;;;:::i;:::-;13093:8;:13;13102:3;13093:13;;;;;;;;;;;;;;;:42;;;;13165:29;13186:7;13165:8;:16;13174:6;13165:16;;;;;;;;;;;;;;;;:20;;:29;;;;:::i;:::-;13146:8;:16;13155:6;13146:16;;;;;;;;;;;;;;;:48;;;;13222:3;13205:30;;13214:6;13205:30;;;13227:7;13205:30;;;;;;;;;;;;;;;;;;13253:4;13246:11;;12912:353;;;;;:::o;489:123::-;547:7;579:1;574;:6;;567:14;;;;;;603:1;599;:5;592:12;;489:123;;;;:::o;9294:3608::-;9369:7;9389:22;9414:1;9389:26;;9443:1;9429:10;:15;9426:96;;;7088:1;9492:17;;9488:2;:21;9477:7;:33;9460:50;;9426:96;9550:11;9536:10;:25;9532:108;;;7088:1;9610:17;;9606:2;:21;9594:8;:34;9577:51;;9532:108;9668:11;9654:10;:25;9650:108;;;7088:1;9728:17;;9724:2;:21;9712:8;:34;9695:51;;9650:108;9786:11;9772:10;:25;9768:108;;;7088:1;9846:17;;9842:2;:21;9830:8;:34;9813:51;;9768:108;9904:11;9890:10;:25;9886:109;;;7088:1;9965:17;;9961:2;:21;9948:9;:35;9931:52;;9886:109;10023:11;10009:10;:25;10005:109;;;7088:1;10084:17;;10080:2;:21;10067:9;:35;10050:52;;10005:109;10142:11;10128:10;:25;10124:109;;;7088:1;10203:17;;10199:2;:21;10186:9;:35;10169:52;;10124:109;10261:11;10247:10;:25;10243:109;;;7088:1;10322:17;;10318:2;:21;10305:9;:35;10288:52;;10243:109;10380:11;10366:10;:25;10362:109;;;7088:1;10441:17;;10437:2;:21;10424:9;:35;10407:52;;10362:109;10499:11;10485:10;:25;10481:109;;;7088:1;10560:17;;10556:2;:21;10543:9;:35;10526:52;;10481:109;10618:10;10604;:24;10600:108;;;7088:1;10678:17;;10674:2;:21;10661:9;:35;10644:52;;10600:108;10736:10;10722;:24;10718:108;;;7088:1;10796:17;;10792:2;:21;10779:9;:35;10762:52;;10718:108;10854:10;10840;:24;10836:108;;;7088:1;10914:17;;10910:2;:21;10897:9;:35;10880:52;;10836:108;10972:10;10958;:24;10954:109;;;7088:1;11033:17;;11029:2;:21;11015:10;:36;10998:53;;10954:109;11091:10;11077;:24;11073:109;;;7088:1;11152:17;;11148:2;:21;11134:10;:36;11117:53;;11073:109;11210:10;11196;:24;11192:109;;;7088:1;11271:17;;11267:2;:21;11253:10;:36;11236:53;;11192:109;11329:10;11315;:24;11311:109;;;7088:1;11390:17;;11386:2;:21;11372:10;:36;11355:53;;11311:109;11448:10;11434;:24;11430:109;;;7088:1;11509:17;;11505:2;:21;11491:10;:36;11474:53;;11430:109;11567:10;11553;:24;11549:109;;;7088:1;11628:17;;11624:2;:21;11610:10;:36;11593:53;;11549:109;11686:9;11672:10;:23;11668:110;;;7088:1;11748:17;;11744:2;:21;11728:12;:38;11711:55;;11668:110;11806:9;11792:10;:23;11788:110;;;7088:1;11868:17;;11864:2;:21;11848:12;:38;11831:55;;11788:110;11926:9;11912:10;:23;11908:110;;;7088:1;11988:17;;11984:2;:21;11968:12;:38;11951:55;;11908:110;12046:9;12032:10;:23;12028:111;;;7088:1;12109:17;;12105:2;:21;12088:13;:39;12071:56;;12028:111;12167:9;12153:10;:23;12149:111;;;7088:1;12230:17;;12226:2;:21;12209:13;:39;12192:56;;12149:111;12288:9;12274:10;:23;12270:111;;;7088:1;12351:17;;12347:2;:21;12330:13;:39;12313:56;;12270:111;12409:9;12395:10;:23;12391:111;;;7088:1;12472:17;;12468:2;:21;12451:13;:39;12434:56;;12391:111;12530:9;12516:10;:23;12512:111;;;7088:1;12593:17;;12589:2;:21;12572:13;:39;12555:56;;12512:111;12651:9;12637:10;:23;12633:111;;;7088:1;12714:17;;12710:2;:21;12693:13;:39;12676:56;;12633:111;12772:7;12758:10;:21;12754:109;;;7088:1;12833:17;;12829:2;:21;12812:13;:39;12795:56;;12754:109;12880:14;12873:21;;9294:3608;;;;:::o

bzzr://f9c6fcc180bb3b3042ae2dae22eb78fdf37e1dbf273d7f57f03775d42d5708d5