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 MagnusTokenStandard *    - function mint()    - function coinAge()    - function annualInterest()  contract Magnus is ERC20,MagnusTok ... *    - function Magnus()    - 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 2020-08-28
*/

pragma solidity ^0.4.13;


/**
 * @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;
    }
}


contract Ownable {
    address public owner;


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


contract MagnusTokenStandard {
    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 Magnus is ERC20,MagnusTokenStandard,Ownable {
    using SafeMath for uint256;

    string public name = "Magnus";
    string public symbol = "MAG";
    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 = 3 days; // minimum age for coin age: 3D
    uint public stakeMaxAge = 90 days; // stake age of full weight: 90D
    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 canPoSMint() {
        require(totalSupply < maxTotalSupply);
        _;
    }

    function Magnus() {
        maxTotalSupply = 10**25/2;
        totalInitialSupply = 10**24/2;

        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() canPoSMint 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 = (1650 * maxMintProofOfStake).div(100);
        } else if((_now.sub(stakeStartTime)).div(1 years) == 1){
            interest = (770 * 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 300% when we select the stakeMaxAge (90 days) as the compounding period.
            interest = (1650 * maxMintProofOfStake).div(100);
        } else if((_now.sub(stakeStartTime)).div(1 years) == 1){
            // 2nd year effective annual interest rate is 100%
            interest = (770 * 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"}]

60606040526040805190810160405280600681526020017f4d61676e75730000000000000000000000000000000000000000000000000000815250600590805190602001906200005192919062000196565b506040805190810160405280600381526020017f4d41470000000000000000000000000000000000000000000000000000000000815250600690805190602001906200009f92919062000196565b5060126007556203f480600b556276a700600c5567016345785d8a0000600d553415620000cb57600080fd5b5b5b33600460006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055505b6a0422ca8b0a00a425000000600f819055506969e10de76676d08000006010819055504260088190555043600981905550601054601160003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550601054600e819055505b62000245565b828054600181600116156101000203166002900490600052602060002090601f016020900481019282601f10620001d957805160ff19168380011785556200020a565b828001600101855582156200020a579182015b8281111562000209578251825591602001919060010190620001ec565b5b5090506200021991906200021d565b5090565b6200024291905b808211156200023e57600081600090555060010162000224565b5090565b90565b612b7d80620002556000396000f30060606040523615610152576000357c0100000000000000000000000000000000000000000000000000000000900463ffffffff16806306fdde0314610157578063095ea7b3146101e65780631249c58b1461024057806318160ddd1461026d5780631e1b13c01461029657806323b872dd146102bf5780632a9edf6f146103385780632ab4d0521461035b578063313ce5671461038457806342cbb15c146103ad5780635b054f9b146103d657806370a08231146103ff5780637419f1901461044c57806388d695b2146104755780638da5cb5b1461052757806390762a8b1461057c57806395d89b411461059f5780639fd4da401461062e578063a9059cbb14610657578063b2552fc4146106b1578063cbd8877e146106da578063cd474b0414610703578063dd62ed3e1461072c578063e1c3bac614610798578063f2bb5ce1146107c1578063f2fde38b146107ea575b600080fd5b341561016257600080fd5b61016a610823565b6040518080602001828103825283818151815260200191508051906020019080838360005b838110156101ab5780820151818401525b60208101905061018f565b50505050905090810190601f1680156101d85780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b34156101f157600080fd5b610226600480803573ffffffffffffffffffffffffffffffffffffffff169060200190919080359060200190919050506108c1565b604051808215151515815260200191505060405180910390f35b341561024b57600080fd5b610253610a49565b604051808215151515815260200191505060405180910390f35b341561027857600080fd5b610280610dbb565b6040518082815260200191505060405180910390f35b34156102a157600080fd5b6102a9610dc1565b6040518082815260200191505060405180910390f35b34156102ca57600080fd5b61031e600480803573ffffffffffffffffffffffffffffffffffffffff1690602001909190803573ffffffffffffffffffffffffffffffffffffffff16906020019091908035906020019091905050610dd3565b604051808215151515815260200191505060405180910390f35b341561034357600080fd5b61035960048080359060200190919050506113c2565b005b341561036657600080fd5b61036e61144a565b6040518082815260200191505060405180910390f35b341561038f57600080fd5b610397611450565b6040518082815260200191505060405180910390f35b34156103b857600080fd5b6103c0611456565b6040518082815260200191505060405180910390f35b34156103e157600080fd5b6103e9611473565b6040518082815260200191505060405180910390f35b341561040a57600080fd5b610436600480803573ffffffffffffffffffffffffffffffffffffffff16906020019091905050611479565b6040518082815260200191505060405180910390f35b341561045757600080fd5b61045f6114c3565b6040518082815260200191505060405180910390f35b341561048057600080fd5b61050d600480803590602001908201803590602001908080602002602001604051908101604052809392919081815260200183836020028082843782019150505050505091908035906020019082018035906020019080806020026020016040519081016040528093929190818152602001838360200280828437820191505050505050919050506114c9565b604051808215151515815260200191505060405180910390f35b341561053257600080fd5b61053a611b6e565b604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b341561058757600080fd5b61059d6004808035906020019091905050611b94565b005b34156105aa57600080fd5b6105b2611ecb565b6040518080602001828103825283818151815260200191508051906020019080838360005b838110156105f35780820151818401525b6020810190506105d7565b50505050905090810190601f1680156106205780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b341561063957600080fd5b610641611f69565b6040518082815260200191505060405180910390f35b341561066257600080fd5b610697600480803573ffffffffffffffffffffffffffffffffffffffff16906020019091908035906020019091905050611f6f565b604051808215151515815260200191505060405180910390f35b34156106bc57600080fd5b6106c461244f565b6040518082815260200191505060405180910390f35b34156106e557600080fd5b6106ed612504565b6040518082815260200191505060405180910390f35b341561070e57600080fd5b61071661250a565b6040518082815260200191505060405180910390f35b341561073757600080fd5b610782600480803573ffffffffffffffffffffffffffffffffffffffff1690602001909190803573ffffffffffffffffffffffffffffffffffffffff16906020019091905050612510565b6040518082815260200191505060405180910390f35b34156107a357600080fd5b6107ab612598565b6040518082815260200191505060405180910390f35b34156107cc57600080fd5b6107d461259e565b6040518082815260200191505060405180910390f35b34156107f557600080fd5b610821600480803573ffffffffffffffffffffffffffffffffffffffff169060200190919050506125a4565b005b60058054600181600116156101000203166002900480601f0160208091040260200160405190810160405280929190818152602001828054600181600116156101000203166002900480156108b95780601f1061088e576101008083540402835291602001916108b9565b820191906000526020600020905b81548152906001019060200180831161089c57829003601f168201915b505050505081565b60008082148061094d57506000601260003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054145b151561095857600080fd5b81601260003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508273ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925846040518082815260200191505060405180910390a3600190505b92915050565b600080600f54600e54101515610a5e57600080fd5b6000601160003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054111515610ab05760009150610db6565b6000601360003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002080549050111515610b055760009150610db6565b610b0e33612682565b9050600081111515610b235760009150610db6565b610b3881600e5461279c90919063ffffffff16565b600e81905550610b9081601160003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461279c90919063ffffffff16565b601160003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550601360003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000206000610c1e9190612aa6565b601360003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000208054806001018281610c6f9190612ac8565b916000526020600020900160005b6040805190810160405280601160003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546fffffffffffffffffffffffffffffffff1681526020014267ffffffffffffffff16815250909190915060008201518160000160006101000a8154816fffffffffffffffffffffffffffffffff02191690836fffffffffffffffffffffffffffffffff16021790555060208201518160000160106101000a81548167ffffffffffffffff021916908367ffffffffffffffff1602179055505050503373ffffffffffffffffffffffffffffffffffffffff167f0f6798a560793a54c3bcfe86a93cde1e73087d944c0ea20544137d4121396885826040518082815260200191505060405180910390a2600191505b5b5090565b600e5481565b6000610dcd33426127bb565b90505b90565b6000806000606060048101600036905010151515610df057600080fd5b600073ffffffffffffffffffffffffffffffffffffffff168673ffffffffffffffffffffffffffffffffffffffff1614151515610e2c57600080fd5b601260008873ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020549250610efd85601160008a73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054612a7090919063ffffffff16565b601160008973ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550610f9285601160008973ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461279c90919063ffffffff16565b601160008873ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550610fe88584612a7090919063ffffffff16565b601260008973ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508573ffffffffffffffffffffffffffffffffffffffff168773ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef876040518082815260200191505060405180910390a36000601360008973ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002080549050111561116457601360008873ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006111639190612aa6565b5b429150601360008873ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002080548060010182816111b89190612ac8565b916000526020600020900160005b6040805190810160405280601160008d73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546fffffffffffffffffffffffffffffffff1681526020018667ffffffffffffffff16815250909190915060008201518160000160006101000a8154816fffffffffffffffffffffffffffffffff02191690836fffffffffffffffffffffffffffffffff16021790555060208201518160000160106101000a81548167ffffffffffffffff021916908367ffffffffffffffff160217905550505050601360008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002080548060010182816112fd9190612ac8565b916000526020600020900160005b6040805190810160405280896fffffffffffffffffffffffffffffffff1681526020018667ffffffffffffffff16815250909190915060008201518160000160006101000a8154816fffffffffffffffffffffffffffffffff02191690836fffffffffffffffffffffffffffffffff16021790555060208201518160000160106101000a81548167ffffffffffffffff021916908367ffffffffffffffff160217905550505050600193505b5b5050509392505050565b600460009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1614151561141e57600080fd5b6000600a541115801561143357506008548110155b151561143e57600080fd5b80600a819055505b5b50565b600f5481565b60075481565b600061146d60095443612a7090919063ffffffff16565b90505b90565b60085481565b6000601160008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205490505b919050565b600a5481565b6000806000806000600460009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1614151561152d57600080fd5b6000875111801561153f575085518751145b151561154a57600080fd5b60009350600092505b855183101561159657611586868481518110151561156d57fe5b906020019060200201518561279c90919063ffffffff16565b93505b8280600101935050611553565b601160003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205484111515156115e457600080fd5b429150600090505b86518110156118a457611675868281518110151561160657fe5b90602001906020020151601160008a8581518110151561162257fe5b9060200190602002015173ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461279c90919063ffffffff16565b60116000898481518110151561168757fe5b9060200190602002015173ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055506013600088838151811015156116e157fe5b9060200190602002015173ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002080548060010182816117379190612ac8565b916000526020600020900160005b60408051908101604052808a8681518110151561175e57fe5b906020019060200201516fffffffffffffffffffffffffffffffff1681526020018667ffffffffffffffff16815250909190915060008201518160000160006101000a8154816fffffffffffffffffffffffffffffffff02191690836fffffffffffffffffffffffffffffffff16021790555060208201518160000160106101000a81548167ffffffffffffffff021916908367ffffffffffffffff160217905550505050868181518110151561181157fe5b9060200190602002015173ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef888481518110151561187757fe5b906020019060200201516040518082815260200191505060405180910390a35b80806001019150506115ec565b6118f684601160003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054612a7090919063ffffffff16565b601160003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055506000601360003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000208054905011156119d057601360003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006119cf9190612aa6565b5b6000601160003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020541115611b5e57601360003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000208054806001018281611a699190612ac8565b916000526020600020900160005b6040805190810160405280601160003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546fffffffffffffffffffffffffffffffff1681526020018667ffffffffffffffff16815250909190915060008201518160000160006101000a8154816fffffffffffffffffffffffffffffffff02191690836fffffffffffffffffffffffffffffffff16021790555060208201518160000160106101000a81548167ffffffffffffffff021916908367ffffffffffffffff1602179055505050505b600194505b5b5050505092915050565b600460009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b600460009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff16141515611bf057600080fd5b600081111515611bff57600080fd5b611c5181601160003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054612a7090919063ffffffff16565b601160003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550601360003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000206000611cdf9190612aa6565b601360003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000208054806001018281611d309190612ac8565b916000526020600020900160005b6040805190810160405280601160003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546fffffffffffffffffffffffffffffffff1681526020014267ffffffffffffffff16815250909190915060008201518160000160006101000a8154816fffffffffffffffffffffffffffffffff02191690836fffffffffffffffffffffffffffffffff16021790555060208201518160000160106101000a81548167ffffffffffffffff021916908367ffffffffffffffff160217905550505050611e3981600e54612a7090919063ffffffff16565b600e81905550611e5481601054612a7090919063ffffffff16565b601081905550611e72600a8202600f54612a7090919063ffffffff16565b600f819055503373ffffffffffffffffffffffffffffffffffffffff167fcc16f5dbb4873280815c1ee09dbd06736cffcc184412cf7a71a0fdb75d397ca5826040518082815260200191505060405180910390a25b5b50565b60068054600181600116156101000203166002900480601f016020809104026020016040519081016040528092919081815260200182805460018160011615610100020316600290048015611f615780601f10611f3657610100808354040283529160200191611f61565b820191906000526020600020905b815481529060010190602001808311611f4457829003601f168201915b505050505081565b60105481565b600080604060048101600036905010151515611f8a57600080fd5b8473ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff161415611fcd57611fc6610a49565b9250612446565b61201f84601160003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054612a7090919063ffffffff16565b601160003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055506120b484601160008873ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461279c90919063ffffffff16565b601160008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508473ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef866040518082815260200191505060405180910390a36000601360003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000208054905011156121f357601360003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006121f29190612aa6565b5b429150601360003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002080548060010182816122479190612ac8565b916000526020600020900160005b6040805190810160405280601160003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546fffffffffffffffffffffffffffffffff1681526020018667ffffffffffffffff16815250909190915060008201518160000160006101000a8154816fffffffffffffffffffffffffffffffff02191690836fffffffffffffffffffffffffffffffff16021790555060208201518160000160106101000a81548167ffffffffffffffff021916908367ffffffffffffffff160217905550505050601360008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020805480600101828161238c9190612ac8565b916000526020600020900160005b6040805190810160405280886fffffffffffffffffffffffffffffffff1681526020018667ffffffffffffffff16815250909190915060008201518160000160006101000a8154816fffffffffffffffffffffffffffffffff02191690836fffffffffffffffffffffffffffffffff16021790555060208201518160000160106101000a81548167ffffffffffffffff021916908367ffffffffffffffff160217905550505050600192505b5b505092915050565b600080429050600d54915060006124876301e13380612479600a5485612a7090919063ffffffff16565b612a8a90919063ffffffff16565b14156124ae576124a76064600d5461067202612a8a90919063ffffffff16565b91506124ff565b60016124db6301e133806124cd600a5485612a7090919063ffffffff16565b612a8a90919063ffffffff16565b14156124fe576124fb6064600d5461030202612a8a90919063ffffffff16565b91505b5b5b5090565b600b5481565b60095481565b6000601260008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205490505b92915050565b600c5481565b600d5481565b600460009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1614151561260057600080fd5b600073ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff161415151561263c57600080fd5b80600460006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055505b5b50565b600080600080600a54421015801561269c57506000600a54115b15156126a757600080fd5b4292506126b485846127bb565b91506000821115156126c95760009350612794565b600d54905060006126fb6301e133806126ed600a5487612a7090919063ffffffff16565b612a8a90919063ffffffff16565b14156127225761271b6064600d5461067202612a8a90919063ffffffff16565b9050612773565b600161274f6301e13380612741600a5487612a7090919063ffffffff16565b612a8a90919063ffffffff16565b14156127725761276f6064600d5461030202612a8a90919063ffffffff16565b90505b5b612791600754600a0a61016d02828402612a8a90919063ffffffff16565b93505b505050919050565b60008082840190508381101515156127b057fe5b8091505b5092915050565b600080600080601360008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020805490501115156128145760009250612a68565b600091505b601360008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002080549050821015612a67576128f4600b54601360008873ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020848154811015156128b557fe5b906000526020600020900160005b5060000160109054906101000a900467ffffffffffffffff1667ffffffffffffffff1661279c90919063ffffffff16565b84101561290057612a5a565b61298f601360008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000208381548110151561294f57fe5b906000526020600020900160005b5060000160109054906101000a900467ffffffffffffffff1667ffffffffffffffff1685612a7090919063ffffffff16565b9050600c548111156129a157600c5490505b612a576129ba6201518083612a8a90919063ffffffff16565b601360008873ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002084815481101515612a0657fe5b906000526020600020900160005b5060000160009054906101000a90046fffffffffffffffffffffffffffffffff166fffffffffffffffffffffffffffffffff16028461279c90919063ffffffff16565b92505b8180600101925050612819565b5b505092915050565b6000828211151515612a7e57fe5b81830390505b92915050565b6000808284811515612a9857fe5b0490508091505b5092915050565b5080546000825590600052602060002090810190612ac49190612af4565b5b50565b815481835581811511612aef57818360005260206000209182019101612aee9190612af4565b5b505050565b612b4e91905b80821115612b4a57600080820160006101000a8154906fffffffffffffffffffffffffffffffff02191690556000820160106101000a81549067ffffffffffffffff021916905550600101612afa565b5090565b905600a165627a7a72305820c513e6221fca6c04625ae46c6b0c63e0d6554fe18a28f0fcd83f9bcb9d214add0029

0x60606040523615610152576000357c0100000000000000000000000000000000000000000000000000000000900463ffffffff16806306fdde0314610157578063095ea7b3146101e65780631249c58b1461024057806318160ddd1461026d5780631e1b13c01461029657806323b872dd146102bf5780632a9edf6f146103385780632ab4d0521461035b578063313ce5671461038457806342cbb15c146103ad5780635b054f9b146103d657806370a08231146103ff5780637419f1901461044c57806388d695b2146104755780638da5cb5b1461052757806390762a8b1461057c57806395d89b411461059f5780639fd4da401461062e578063a9059cbb14610657578063b2552fc4146106b1578063cbd8877e146106da578063cd474b0414610703578063dd62ed3e1461072c578063e1c3bac614610798578063f2bb5ce1146107c1578063f2fde38b146107ea575b600080fd5b341561016257600080fd5b61016a610823565b6040518080602001828103825283818151815260200191508051906020019080838360005b838110156101ab5780820151818401525b60208101905061018f565b50505050905090810190601f1680156101d85780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b34156101f157600080fd5b610226600480803573ffffffffffffffffffffffffffffffffffffffff169060200190919080359060200190919050506108c1565b604051808215151515815260200191505060405180910390f35b341561024b57600080fd5b610253610a49565b604051808215151515815260200191505060405180910390f35b341561027857600080fd5b610280610dbb565b6040518082815260200191505060405180910390f35b34156102a157600080fd5b6102a9610dc1565b6040518082815260200191505060405180910390f35b34156102ca57600080fd5b61031e600480803573ffffffffffffffffffffffffffffffffffffffff1690602001909190803573ffffffffffffffffffffffffffffffffffffffff16906020019091908035906020019091905050610dd3565b604051808215151515815260200191505060405180910390f35b341561034357600080fd5b61035960048080359060200190919050506113c2565b005b341561036657600080fd5b61036e61144a565b6040518082815260200191505060405180910390f35b341561038f57600080fd5b610397611450565b6040518082815260200191505060405180910390f35b34156103b857600080fd5b6103c0611456565b6040518082815260200191505060405180910390f35b34156103e157600080fd5b6103e9611473565b6040518082815260200191505060405180910390f35b341561040a57600080fd5b610436600480803573ffffffffffffffffffffffffffffffffffffffff16906020019091905050611479565b6040518082815260200191505060405180910390f35b341561045757600080fd5b61045f6114c3565b6040518082815260200191505060405180910390f35b341561048057600080fd5b61050d600480803590602001908201803590602001908080602002602001604051908101604052809392919081815260200183836020028082843782019150505050505091908035906020019082018035906020019080806020026020016040519081016040528093929190818152602001838360200280828437820191505050505050919050506114c9565b604051808215151515815260200191505060405180910390f35b341561053257600080fd5b61053a611b6e565b604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b341561058757600080fd5b61059d6004808035906020019091905050611b94565b005b34156105aa57600080fd5b6105b2611ecb565b6040518080602001828103825283818151815260200191508051906020019080838360005b838110156105f35780820151818401525b6020810190506105d7565b50505050905090810190601f1680156106205780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b341561063957600080fd5b610641611f69565b6040518082815260200191505060405180910390f35b341561066257600080fd5b610697600480803573ffffffffffffffffffffffffffffffffffffffff16906020019091908035906020019091905050611f6f565b604051808215151515815260200191505060405180910390f35b34156106bc57600080fd5b6106c461244f565b6040518082815260200191505060405180910390f35b34156106e557600080fd5b6106ed612504565b6040518082815260200191505060405180910390f35b341561070e57600080fd5b61071661250a565b6040518082815260200191505060405180910390f35b341561073757600080fd5b610782600480803573ffffffffffffffffffffffffffffffffffffffff1690602001909190803573ffffffffffffffffffffffffffffffffffffffff16906020019091905050612510565b6040518082815260200191505060405180910390f35b34156107a357600080fd5b6107ab612598565b6040518082815260200191505060405180910390f35b34156107cc57600080fd5b6107d461259e565b6040518082815260200191505060405180910390f35b34156107f557600080fd5b610821600480803573ffffffffffffffffffffffffffffffffffffffff169060200190919050506125a4565b005b60058054600181600116156101000203166002900480601f0160208091040260200160405190810160405280929190818152602001828054600181600116156101000203166002900480156108b95780601f1061088e576101008083540402835291602001916108b9565b820191906000526020600020905b81548152906001019060200180831161089c57829003601f168201915b505050505081565b60008082148061094d57506000601260003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054145b151561095857600080fd5b81601260003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508273ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925846040518082815260200191505060405180910390a3600190505b92915050565b600080600f54600e54101515610a5e57600080fd5b6000601160003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054111515610ab05760009150610db6565b6000601360003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002080549050111515610b055760009150610db6565b610b0e33612682565b9050600081111515610b235760009150610db6565b610b3881600e5461279c90919063ffffffff16565b600e81905550610b9081601160003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461279c90919063ffffffff16565b601160003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550601360003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000206000610c1e9190612aa6565b601360003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000208054806001018281610c6f9190612ac8565b916000526020600020900160005b6040805190810160405280601160003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546fffffffffffffffffffffffffffffffff1681526020014267ffffffffffffffff16815250909190915060008201518160000160006101000a8154816fffffffffffffffffffffffffffffffff02191690836fffffffffffffffffffffffffffffffff16021790555060208201518160000160106101000a81548167ffffffffffffffff021916908367ffffffffffffffff1602179055505050503373ffffffffffffffffffffffffffffffffffffffff167f0f6798a560793a54c3bcfe86a93cde1e73087d944c0ea20544137d4121396885826040518082815260200191505060405180910390a2600191505b5b5090565b600e5481565b6000610dcd33426127bb565b90505b90565b6000806000606060048101600036905010151515610df057600080fd5b600073ffffffffffffffffffffffffffffffffffffffff168673ffffffffffffffffffffffffffffffffffffffff1614151515610e2c57600080fd5b601260008873ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020549250610efd85601160008a73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054612a7090919063ffffffff16565b601160008973ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550610f9285601160008973ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461279c90919063ffffffff16565b601160008873ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550610fe88584612a7090919063ffffffff16565b601260008973ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508573ffffffffffffffffffffffffffffffffffffffff168773ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef876040518082815260200191505060405180910390a36000601360008973ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002080549050111561116457601360008873ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006111639190612aa6565b5b429150601360008873ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002080548060010182816111b89190612ac8565b916000526020600020900160005b6040805190810160405280601160008d73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546fffffffffffffffffffffffffffffffff1681526020018667ffffffffffffffff16815250909190915060008201518160000160006101000a8154816fffffffffffffffffffffffffffffffff02191690836fffffffffffffffffffffffffffffffff16021790555060208201518160000160106101000a81548167ffffffffffffffff021916908367ffffffffffffffff160217905550505050601360008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002080548060010182816112fd9190612ac8565b916000526020600020900160005b6040805190810160405280896fffffffffffffffffffffffffffffffff1681526020018667ffffffffffffffff16815250909190915060008201518160000160006101000a8154816fffffffffffffffffffffffffffffffff02191690836fffffffffffffffffffffffffffffffff16021790555060208201518160000160106101000a81548167ffffffffffffffff021916908367ffffffffffffffff160217905550505050600193505b5b5050509392505050565b600460009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1614151561141e57600080fd5b6000600a541115801561143357506008548110155b151561143e57600080fd5b80600a819055505b5b50565b600f5481565b60075481565b600061146d60095443612a7090919063ffffffff16565b90505b90565b60085481565b6000601160008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205490505b919050565b600a5481565b6000806000806000600460009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1614151561152d57600080fd5b6000875111801561153f575085518751145b151561154a57600080fd5b60009350600092505b855183101561159657611586868481518110151561156d57fe5b906020019060200201518561279c90919063ffffffff16565b93505b8280600101935050611553565b601160003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205484111515156115e457600080fd5b429150600090505b86518110156118a457611675868281518110151561160657fe5b90602001906020020151601160008a8581518110151561162257fe5b9060200190602002015173ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461279c90919063ffffffff16565b60116000898481518110151561168757fe5b9060200190602002015173ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055506013600088838151811015156116e157fe5b9060200190602002015173ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002080548060010182816117379190612ac8565b916000526020600020900160005b60408051908101604052808a8681518110151561175e57fe5b906020019060200201516fffffffffffffffffffffffffffffffff1681526020018667ffffffffffffffff16815250909190915060008201518160000160006101000a8154816fffffffffffffffffffffffffffffffff02191690836fffffffffffffffffffffffffffffffff16021790555060208201518160000160106101000a81548167ffffffffffffffff021916908367ffffffffffffffff160217905550505050868181518110151561181157fe5b9060200190602002015173ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef888481518110151561187757fe5b906020019060200201516040518082815260200191505060405180910390a35b80806001019150506115ec565b6118f684601160003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054612a7090919063ffffffff16565b601160003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055506000601360003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000208054905011156119d057601360003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006119cf9190612aa6565b5b6000601160003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020541115611b5e57601360003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000208054806001018281611a699190612ac8565b916000526020600020900160005b6040805190810160405280601160003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546fffffffffffffffffffffffffffffffff1681526020018667ffffffffffffffff16815250909190915060008201518160000160006101000a8154816fffffffffffffffffffffffffffffffff02191690836fffffffffffffffffffffffffffffffff16021790555060208201518160000160106101000a81548167ffffffffffffffff021916908367ffffffffffffffff1602179055505050505b600194505b5b5050505092915050565b600460009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b600460009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff16141515611bf057600080fd5b600081111515611bff57600080fd5b611c5181601160003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054612a7090919063ffffffff16565b601160003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550601360003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000206000611cdf9190612aa6565b601360003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000208054806001018281611d309190612ac8565b916000526020600020900160005b6040805190810160405280601160003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546fffffffffffffffffffffffffffffffff1681526020014267ffffffffffffffff16815250909190915060008201518160000160006101000a8154816fffffffffffffffffffffffffffffffff02191690836fffffffffffffffffffffffffffffffff16021790555060208201518160000160106101000a81548167ffffffffffffffff021916908367ffffffffffffffff160217905550505050611e3981600e54612a7090919063ffffffff16565b600e81905550611e5481601054612a7090919063ffffffff16565b601081905550611e72600a8202600f54612a7090919063ffffffff16565b600f819055503373ffffffffffffffffffffffffffffffffffffffff167fcc16f5dbb4873280815c1ee09dbd06736cffcc184412cf7a71a0fdb75d397ca5826040518082815260200191505060405180910390a25b5b50565b60068054600181600116156101000203166002900480601f016020809104026020016040519081016040528092919081815260200182805460018160011615610100020316600290048015611f615780601f10611f3657610100808354040283529160200191611f61565b820191906000526020600020905b815481529060010190602001808311611f4457829003601f168201915b505050505081565b60105481565b600080604060048101600036905010151515611f8a57600080fd5b8473ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff161415611fcd57611fc6610a49565b9250612446565b61201f84601160003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054612a7090919063ffffffff16565b601160003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055506120b484601160008873ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461279c90919063ffffffff16565b601160008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508473ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef866040518082815260200191505060405180910390a36000601360003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000208054905011156121f357601360003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006121f29190612aa6565b5b429150601360003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002080548060010182816122479190612ac8565b916000526020600020900160005b6040805190810160405280601160003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546fffffffffffffffffffffffffffffffff1681526020018667ffffffffffffffff16815250909190915060008201518160000160006101000a8154816fffffffffffffffffffffffffffffffff02191690836fffffffffffffffffffffffffffffffff16021790555060208201518160000160106101000a81548167ffffffffffffffff021916908367ffffffffffffffff160217905550505050601360008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020805480600101828161238c9190612ac8565b916000526020600020900160005b6040805190810160405280886fffffffffffffffffffffffffffffffff1681526020018667ffffffffffffffff16815250909190915060008201518160000160006101000a8154816fffffffffffffffffffffffffffffffff02191690836fffffffffffffffffffffffffffffffff16021790555060208201518160000160106101000a81548167ffffffffffffffff021916908367ffffffffffffffff160217905550505050600192505b5b505092915050565b600080429050600d54915060006124876301e13380612479600a5485612a7090919063ffffffff16565b612a8a90919063ffffffff16565b14156124ae576124a76064600d5461067202612a8a90919063ffffffff16565b91506124ff565b60016124db6301e133806124cd600a5485612a7090919063ffffffff16565b612a8a90919063ffffffff16565b14156124fe576124fb6064600d5461030202612a8a90919063ffffffff16565b91505b5b5b5090565b600b5481565b60095481565b6000601260008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205490505b92915050565b600c5481565b600d5481565b600460009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1614151561260057600080fd5b600073ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff161415151561263c57600080fd5b80600460006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055505b5b50565b600080600080600a54421015801561269c57506000600a54115b15156126a757600080fd5b4292506126b485846127bb565b91506000821115156126c95760009350612794565b600d54905060006126fb6301e133806126ed600a5487612a7090919063ffffffff16565b612a8a90919063ffffffff16565b14156127225761271b6064600d5461067202612a8a90919063ffffffff16565b9050612773565b600161274f6301e13380612741600a5487612a7090919063ffffffff16565b612a8a90919063ffffffff16565b14156127725761276f6064600d5461030202612a8a90919063ffffffff16565b90505b5b612791600754600a0a61016d02828402612a8a90919063ffffffff16565b93505b505050919050565b60008082840190508381101515156127b057fe5b8091505b5092915050565b600080600080601360008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020805490501115156128145760009250612a68565b600091505b601360008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002080549050821015612a67576128f4600b54601360008873ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020848154811015156128b557fe5b906000526020600020900160005b5060000160109054906101000a900467ffffffffffffffff1667ffffffffffffffff1661279c90919063ffffffff16565b84101561290057612a5a565b61298f601360008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000208381548110151561294f57fe5b906000526020600020900160005b5060000160109054906101000a900467ffffffffffffffff1667ffffffffffffffff1685612a7090919063ffffffff16565b9050600c548111156129a157600c5490505b612a576129ba6201518083612a8a90919063ffffffff16565b601360008873ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002084815481101515612a0657fe5b906000526020600020900160005b5060000160009054906101000a90046fffffffffffffffffffffffffffffffff166fffffffffffffffffffffffffffffffff16028461279c90919063ffffffff16565b92505b8180600101925050612819565b5b505092915050565b6000828211151515612a7e57fe5b81830390505b92915050565b6000808284811515612a9857fe5b0490508091505b5092915050565b5080546000825590600052602060002090810190612ac49190612af4565b5b50565b815481835581811511612aef57818360005260206000209182019101612aee9190612af4565b5b505050565b612b4e91905b80821115612b4a57600080820160006101000a8154906fffffffffffffffffffffffffffffffff02191690556000820160106101000a81549067ffffffffffffffff021916905550600101612afa565b5090565b905600a165627a7a72305820c513e6221fca6c04625ae46c6b0c63e0d6554fe18a28f0fcd83f9bcb9d214add0029

2729:8054:0:-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;2824:29;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;23:1:-1;8:100;33:3;30:1;27:2;8:100;;;99:1;94:3;90;84:5;80:1;75:3;71;64:6;8:100;52:2;49:1;45:3;40:15;;8:100;;;12:14;3:109;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;5893:269:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;6319:581;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;3324:23;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;7041:110;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;5027:858;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8996:177;;;;;;;;;;;;;;;;;;;;;;;;;;3354:26;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;2895:25;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;6908:125;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;2929:26;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;4907:112;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;3048:26;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;9787:993;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;940:20;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;9181:500;;;;;;;;;;;;;;;;;;;;;;;;;;2860:28;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;23:1:-1;8:100;33:3;30:1;27:2;8:100;;;99:1;94:3;90;84:5;80:1;75:3;71;64:6;8:100;52:2;49:1;45:3;40:15;;8:100;;;12:14;3:109;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;3387:30:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;4294:605;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;7159:395;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;3100:32;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;2981:33;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;6170:141;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;3171:33;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;3244:40;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;1381:132;;;;;;;;;;;;;;;;;;;;;;;;;;;;2824:29;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::o;5893:269::-;5953:4;5989:1;5979:6;:11;5978:53;;;;6029:1;5996:7;:19;6004:10;5996:19;;;;;;;;;;;;;;;:29;6016:8;5996:29;;;;;;;;;;;;;;;;:34;5978:53;5970:62;;;;;;;;6077:6;6045:7;:19;6053:10;6045:19;;;;;;;;;;;;;;;:29;6065:8;6045:29;;;;;;;;;;;;;;;:38;;;;6115:8;6094:38;;6103:10;6094:38;;;6125:6;6094:38;;;;;;;;;;;;;;;;;;6150:4;6143:11;;5893:269;;;;;:::o;6319:581::-;6355:4;6490:11;3964:14;;3950:11;;:28;3942:37;;;;;;;;6399:1;6375:8;:20;6384:10;6375:20;;;;;;;;;;;;;;;;:25;;6372:42;;;6409:5;6402:12;;;;6372:42;6462:1;6428:11;:23;6440:10;6428:23;;;;;;;;;;;;;;;:30;;;;:35;;6425:52;;;6472:5;6465:12;;;;6425:52;6504:33;6526:10;6504:21;:33::i;:::-;6490:47;;6561:1;6551:6;:11;;6548:28;;;6571:5;6564:12;;;;6548:28;6603:23;6619:6;6603:11;;:15;;:23;;;;:::i;:::-;6589:11;:37;;;;6660:32;6685:6;6660:8;:20;6669:10;6660:20;;;;;;;;;;;;;;;;:24;;:32;;;;:::i;:::-;6637:8;:20;6646:10;6637:20;;;;;;;;;;;;;;;:55;;;;6710:11;:23;6722:10;6710:23;;;;;;;;;;;;;;;;6703:30;;;;:::i;:::-;6744:11;:23;6756:10;6744:23;;;;;;;;;;;;;;;:89;;;;;;;;;;;:::i;:::-;;;;;;;;;;;6773:59;;;;;;;;;6798:8;:20;6807:10;6798:20;;;;;;;;;;;;;;;;6773:59;;;;;;6827:3;6773:59;;;;;6744:89;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;6851:10;6846:24;;;6863:6;6846:24;;;;;;;;;;;;;;;;;;6888:4;6881:11;;3990:1;6319:581;;;:::o;3324:23::-;;;;:::o;7041:110::-;7078:14;7117:26;7128:10;7139:3;7117:10;:26::i;:::-;7105:38;;7041:110;;:::o;5027:858::-;5126:4;5182:14;5675:11;5109:6;3879:1;3872:4;:8;3853;;:15;;:27;;3845:36;;;;;;;;5166:1;5151:17;;:3;:17;;;;5143:26;;;;;;;;5199:7;:14;5207:5;5199:14;;;;;;;;;;;;;;;:26;5214:10;5199:26;;;;;;;;;;;;;;;;5182:43;;5414:27;5434:6;5414:8;:15;5423:5;5414:15;;;;;;;;;;;;;;;;:19;;:27;;;;:::i;:::-;5396:8;:15;5405:5;5396:15;;;;;;;;;;;;;;;:45;;;;5468:25;5486:6;5468:8;:13;5477:3;5468:13;;;;;;;;;;;;;;;;:17;;:25;;;;:::i;:::-;5452:8;:13;5461:3;5452:13;;;;;;;;;;;;;;;:41;;;;5533:22;5548:6;5533:10;:14;;:22;;;;:::i;:::-;5504:7;:14;5512:5;5504:14;;;;;;;;;;;;;;;:26;5519:10;5504:26;;;;;;;;;;;;;;;:51;;;;5582:3;5566:28;;5575:5;5566:28;;;5587:6;5566:28;;;;;;;;;;;;;;;;;;5636:1;5608:11;:18;5620:5;5608:18;;;;;;;;;;;;;;;:25;;;;:29;5605:59;;;5646:11;:18;5658:5;5646:18;;;;;;;;;;;;;;;;5639:25;;;;:::i;:::-;5605:59;5696:3;5675:25;;5711:11;:18;5723:5;5711:18;;;;;;;;;;;;;;;:72;;;;;;;;;;;:::i;:::-;;;;;;;;;;;5735:47;;;;;;;;;5760:8;:15;5769:5;5760:15;;;;;;;;;;;;;;;;5735:47;;;;;;5777:4;5735:47;;;;;5711:72;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;5794:11;:16;5806:3;5794:16;;;;;;;;;;;;;;;:61;;;;;;;;;;;:::i;:::-;;;;;;;;;;;5816:38;;;;;;;;;5841:6;5816:38;;;;;;5849:4;5816:38;;;;;5794:61;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;5873:4;5866:11;;3892:1;5027:858;;;;;;;;;:::o;8996:177::-;1176:5;;;;;;;;;;;1162:19;;:10;:19;;;1154:28;;;;;;;;9092:1;9074:14;;:19;;9073:54;;;;;9112:14;;9099:9;:27;;9073:54;9065:63;;;;;;;;9156:9;9139:14;:26;;;;1193:1;8996:177;;:::o;3354:26::-;;;;:::o;2895:25::-;;;;:::o;6908:125::-;6943:16;6986:39;7003:21;;6986:12;:16;;:39;;;;:::i;:::-;6972:53;;6908:125;;:::o;2929:26::-;;;;:::o;4907:112::-;4960:15;4995:8;:16;5004:6;4995:16;;;;;;;;;;;;;;;;4988:23;;4907:112;;;;:::o;3048:26::-;;;;:::o;9787:993::-;9868:4;9970:10;9999:6;10152:11;10192:6;1176:5;;;;;;;;;;;1162:19;;:10;:19;;;1154:28;;;;;;;;9915:1;9894:11;:18;:22;:62;;;;;9942:7;:14;9920:11;:18;:36;9894:62;9885:72;;;;;;;;9983:1;9970:14;;10008:1;9999:10;;9995:96;10015:7;:14;10011:1;:18;9995:96;;;10058:21;10068:7;10076:1;10068:10;;;;;;;;;;;;;;;;;;10058:5;:9;;:21;;;;:::i;:::-;10050:29;;9995:96;10031:3;;;;;;;9995:96;;;10118:8;:20;10127:10;10118:20;;;;;;;;;;;;;;;;10109:5;:29;;10101:38;;;;;;;;10173:3;10152:25;;10201:1;10192:10;;10188:292;10208:11;:18;10204:1;:22;10188:292;;;10274:40;10303:7;10311:1;10303:10;;;;;;;;;;;;;;;;;;10274:8;:24;10283:11;10295:1;10283:14;;;;;;;;;;;;;;;;;;10274:24;;;;;;;;;;;;;;;;:28;;:40;;;;:::i;:::-;10247:8;:24;10256:11;10268:1;10256:14;;;;;;;;;;;;;;;;;;10247:24;;;;;;;;;;;;;;;:67;;;;10329:11;:27;10341:11;10353:1;10341:14;;;;;;;;;;;;;;;;;;10329:27;;;;;;;;;;;;;;;:76;;;;;;;;;;;:::i;:::-;;;;;;;;;;;10362:42;;;;;;;;;10387:7;10395:1;10387:10;;;;;;;;;;;;;;;;;;10362:42;;;;;;10399:4;10362:42;;;;;10329:76;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;10441:11;10453:1;10441:14;;;;;;;;;;;;;;;;;;10420:48;;10429:10;10420:48;;;10457:7;10465:1;10457:10;;;;;;;;;;;;;;;;;;10420:48;;;;;;;;;;;;;;;;;;10188:292;10228:3;;;;;;;10188:292;;;10515:31;10540:5;10515:8;:20;10524:10;10515:20;;;;;;;;;;;;;;;;:24;;:31;;;;:::i;:::-;10492:8;:20;10501:10;10492:20;;;;;;;;;;;;;;;:54;;;;10593:1;10560:11;:23;10572:10;10560:23;;;;;;;;;;;;;;;:30;;;;:34;10557:69;;;10603:11;:23;10615:10;10603:23;;;;;;;;;;;;;;;;10596:30;;;;:::i;:::-;10557:69;10663:1;10640:8;:20;10649:10;10640:20;;;;;;;;;;;;;;;;:24;10637:111;;;10666:11;:23;10678:10;10666:23;;;;;;;;;;;;;;;:82;;;;;;;;;;;:::i;:::-;;;;;;;;;;;10695:52;;;;;;;;;10720:8;:20;10729:10;10720:20;;;;;;;;;;;;;;;;10695:52;;;;;;10742:4;10695:52;;;;;10666:82;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;10637:111;10768:4;10761:11;;1193:1;9787:993;;;;;;;;;:::o;940:20::-;;;;;;;;;;;;;:::o;9181:500::-;1176:5;;;;;;;;;;;1162:19;;:10;:19;;;1154:28;;;;;;;;9256:1;9247:6;:10;9239:19;;;;;;;;9294:32;9319:6;9294:8;:20;9303:10;9294:20;;;;;;;;;;;;;;;;:24;;:32;;;;:::i;:::-;9271:8;:20;9280:10;9271:20;;;;;;;;;;;;;;;:55;;;;9344:11;:23;9356:10;9344:23;;;;;;;;;;;;;;;;9337:30;;;;:::i;:::-;9378:11;:23;9390:10;9378:23;;;;;;;;;;;;;;;:89;;;;;;;;;;;:::i;:::-;;;;;;;;;;;9407:59;;;;;;;;;9432:8;:20;9441:10;9432:20;;;;;;;;;;;;;;;;9407:59;;;;;;9461:3;9407:59;;;;;9378:89;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;9494:23;9510:6;9494:11;;:15;;:23;;;;:::i;:::-;9480:11;:37;;;;9549:30;9572:6;9549:18;;:22;;:30;;;;:::i;:::-;9528:18;:51;;;;9607:29;9633:2;9626:6;:9;9607:14;;:18;;:29;;;;:::i;:::-;9590:14;:46;;;;9654:10;9649:24;;;9666:6;9649:24;;;;;;;;;;;;;;;;;;1193:1;9181:500;;:::o;2860:28::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::o;3387:30::-;;;;:::o;4294:605::-;4374:4;4679:11;4357:6;3879:1;3872:4;:8;3853;;:15;;:27;;3845:36;;;;;;;;4408:3;4394:17;;:10;:17;;;4391:35;;;4420:6;:4;:6::i;:::-;4413:13;;;;4391:35;4460:32;4485:6;4460:8;:20;4469:10;4460:20;;;;;;;;;;;;;;;;:24;;:32;;;;:::i;:::-;4437:8;:20;4446:10;4437:20;;;;;;;;;;;;;;;:55;;;;4519:25;4537:6;4519:8;:13;4528:3;4519:13;;;;;;;;;;;;;;;;:17;;:25;;;;:::i;:::-;4503:8;:13;4512:3;4503:13;;;;;;;;;;;;;;;:41;;;;4576:3;4555:33;;4564:10;4555:33;;;4581:6;4555:33;;;;;;;;;;;;;;;;;;4635:1;4602:11;:23;4614:10;4602:23;;;;;;;;;;;;;;;:30;;;;:34;4599:69;;;4645:11;:23;4657:10;4645:23;;;;;;;;;;;;;;;;4638:30;;;;:::i;:::-;4599:69;4700:3;4679:25;;4715:11;:23;4727:10;4715:23;;;;;;;;;;;;;;;:82;;;;;;;;;;;:::i;:::-;;;;;;;;;;;4744:52;;;;;;;;;4769:8;:20;4778:10;4769:20;;;;;;;;;;;;;;;;4744:52;;;;;;4791:4;4744:52;;;;;4715:82;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;4808:11;:16;4820:3;4808:16;;;;;;;;;;;;;;;:61;;;;;;;;;;;:::i;:::-;;;;;;;;;;;4830:38;;;;;;;;;4855:6;4830:38;;;;;;4863:4;4830:38;;;;;4808:61;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;4887:4;4880:11;;3892:1;4294:605;;;;;;;:::o;7159:395::-;7202:13;7228:9;7240:3;7228:15;;7265:19;;7254:30;;7341:1;7298:39;7329:7;7299:24;7308:14;;7299:4;:8;;:24;;;;:::i;:::-;7298:30;;:39;;;;:::i;:::-;:44;7295:252;;;7370:37;7403:3;7378:19;;7371:4;:26;7370:32;;:37;;;;:::i;:::-;7359:48;;7295:252;;;7471:1;7428:39;7459:7;7429:24;7438:14;;7429:4;:8;;:24;;;;:::i;:::-;7428:30;;:39;;;;:::i;:::-;:44;7425:122;;;7499:36;7531:3;7506:19;;7500:3;:25;7499:31;;:36;;;;:::i;:::-;7488:47;;7425:122;7295:252;7159:395;;;:::o;3100:32::-;;;;:::o;2981:33::-;;;;:::o;6170:141::-;6241:17;6278:7;:15;6286:6;6278:15;;;;;;;;;;;;;;;:25;6294:8;6278:25;;;;;;;;;;;;;;;;6271:32;;6170:141;;;;;:::o;3171:33::-;;;;:::o;3244:40::-;;;;:::o;1381:132::-;1176:5;;;;;;;;;;;1162:19;;:10;:19;;;1154:28;;;;;;;;1475:1;1455:22;;:8;:22;;;;1447:31;;;;;;;;1497:8;1489:5;;:16;;;;;;;;;;;;;;;;;;1193:1;1381:132;;:::o;7562:841::-;7629:4;7717:9;7743:13;7835;7663:14;;7656:3;:21;;7655:47;;;;;7700:1;7683:14;;:18;7655:47;7646:58;;;;;;;;7729:3;7717:15;;7759:26;7770:8;7780:4;7759:10;:26::i;:::-;7743:42;;7811:1;7799:8;:13;;7796:26;;;7821:1;7814:8;;;;7796:26;7851:19;;7835:35;;7927:1;7884:39;7915:7;7885:24;7894:14;;7885:4;:8;;:24;;;;:::i;:::-;7884:30;;:39;;;;:::i;:::-;:44;7881:448;;;8088:37;8121:3;8096:19;;8089:4;:26;8088:32;;:37;;;;:::i;:::-;8077:48;;7881:448;;;8189:1;8146:39;8177:7;8147:24;8156:14;;8147:4;:8;;:24;;;;:::i;:::-;8146:30;;:39;;;;:::i;:::-;:44;8143:186;;;8281:36;8313:3;8288:19;;8282:3;:25;8281:31;;:36;;;;:::i;:::-;8270:47;;8143:186;7881:448;8348:47;8385:8;;8381:2;:12;8374:3;:20;8360:8;8349;:19;8348:25;;:47;;;;:::i;:::-;8341:54;;7562:841;;;;;;;:::o;756:151::-;818:7;838:9;854:1;850;:5;838:17;;878:1;873;:6;;866:14;;;;;;898:1;891:8;;756:151;;;;;;:::o;8411:577::-;8478:13;8568:6;8724:17;8539:1;8507:11;:21;8519:8;8507:21;;;;;;;;;;;;;;;:28;;;;:33;;8504:46;;;8549:1;8542:8;;;;8504:46;8577:1;8568:10;;8563:418;8584:11;:21;8596:8;8584:21;;;;;;;;;;;;;;;:28;;;;8580:1;:32;8563:418;;;8644:52;8684:11;;8649;:21;8661:8;8649:21;;;;;;;;;;;;;;;8671:1;8649:24;;;;;;;;;;;;;;;;;;;;;:29;;;;;;;;;;;;8644:35;;:39;;:52;;;;:::i;:::-;8637:4;:59;8633:74;;;8699:8;;8633:74;8744:45;8758:11;:21;8770:8;8758:21;;;;;;;;;;;;;;;8780:1;8758:24;;;;;;;;;;;;;;;;;;;;;:29;;;;;;;;;;;;8753:35;;8744:4;:8;;:45;;;;:::i;:::-;8724:65;;8823:11;;8808:12;:26;8804:59;;;8852:11;;8837:26;;8804:59;8891:78;8944:24;8961:6;8944:12;:16;;:24;;;;:::i;:::-;8909:11;:21;8921:8;8909:21;;;;;;;;;;;;;;;8931:1;8909:24;;;;;;;;;;;;;;;;;;;;;:31;;;;;;;;;;;;8904:37;;:64;8891:8;:12;;:78;;;;:::i;:::-;8880:89;;8563:418;8614:3;;;;;;;8563:418;;;8411:577;;;;;;;:::o;621:127::-;683:7;715:1;710;:6;;703:14;;;;;;739:1;735;:5;728:12;;621:127;;;;;:::o;321:292::-;383:7;482:9;498:1;494;:5;;;;;;;;482:17;;604:1;597:8;;321:292;;;;;;:::o;2729:8054::-;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;:::o;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;:::o;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::o

bzzr://c513e6221fca6c04625ae46c6b0c63e0d6554fe18a28f0fcd83f9bcb9d214add