Contract Source Code (Solidity)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta
• Remix IDE

Outline

•  contract THESMP *
•    - function safeMul(uint256 a, uint256 b ...
•    - function safeSub(uint256 a, uint256 b ...
•    - function safeAdd(uint256 a, uint256 b ...
•    - function transferOwnership(address _n ...
•    - function pause()
•    - function start()
•    - function airDeliver(address _to, u ...
•    - function airDeliverMulti(address[] _ ...
•    - function airDeliverStandalone(address ...
•    - function freezeDeliver(address _to, ...
•    - function freezeDeliverMuti(address[] ...
•    - function freezeDeliverMultiStandalon ...
•    - function addWhitelist(address[] _addr ...
•    - function balanceOf(address _owner)
•    - function freezeOf(address _owner)
•    - function transfer(address _to, uint25 ...
•    - function transferFrom(address _from, ...
•    - function approve(address _spender, ui ...
•    - function allowance(address _owner, ad ...
•    - function withdraw()
•    - function burn(address burner, uint256 ...

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

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

pragma solidity ^0.4.24;

contract THESMP {   
    string public constant name         = "THESMP";
    string public constant symbol       = "SMP";
    uint public constant decimals       = 18;
    
    uint256 smpEthRate                  = 10 ** decimals;
    uint256 smpSupply                   = 10000000;
    uint256 public totalSupply          = smpSupply * smpEthRate;
    uint256 public freezeDuration       = 30 days;

    bool public running                 = true;  
    
    address owner;
    mapping (address => mapping (address => uint256)) allowed;
    mapping (address => bool) public whitelist;
    mapping (address =>  uint256) whitelistLimit;

    struct BalanceInfo {
        uint256 balance;
        uint256[] freezeAmount;
        uint256[] releaseTime;
    }
    mapping (address => BalanceInfo) balances;
    
    event Transfer(address indexed _from, address indexed _to, uint256 _value);
    event Approval(address indexed _owner, address indexed _spender, uint256 _value);
    event BeginRunning();
    event PauseRunning();
    event BeginSell();
    event PauseSell();
    event Burn(address indexed burner, uint256 val);
    event Freeze(address indexed from, uint256 value);
    
    constructor () public{
        owner = msg.sender;
        balances[owner].balance = totalSupply;
    }
    
    modifier onlyOwner() {
        require(msg.sender == owner);
        _;
    }
    
    modifier onlyWhitelist() {
        require(whitelist[msg.sender] == true);
        _;
    }
    
    modifier isRunning(){
        require(running);
        _;
    }
    modifier isNotRunning(){
        require(!running);
        _;
    }

    // mitigates the ERC20 short address attack
    modifier onlyPayloadSize(uint size) {
        assert(msg.data.length >= size + 4);
        _;
    }

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

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

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

        
    function transferOwnership(address _newOwner) onlyOwner public {
        if (_newOwner !=    address(0)) {
            owner = _newOwner;
        }
    }
    
    function pause() onlyOwner isRunning    public   {
        running = false;
        emit PauseRunning();
    }
    
    function start() onlyOwner isNotRunning public   {
        running = true;
        emit BeginRunning();
    }

    function airDeliver(address _to,    uint256 _amount)  onlyOwner public {
        require(owner != _to);
        require(_amount > 0);
        require(balances[owner].balance >= _amount);
        
        // take big number as wei
        if(_amount < smpSupply){
            _amount = _amount * smpEthRate;
        }
        balances[owner].balance = safeSub(balances[owner].balance, _amount);
        balances[_to].balance = safeAdd(balances[_to].balance, _amount);
        emit Transfer(owner, _to, _amount);
    }
    
    
    function airDeliverMulti(address[]  _addrs, uint256 _amount) onlyOwner public {
        require(_addrs.length <=  255);
        
        for (uint8 i = 0; i < _addrs.length; i++)   {
            airDeliver(_addrs[i],   _amount);
        }
    }
    
    function airDeliverStandalone(address[] _addrs, uint256[] _amounts) onlyOwner public {
        require(_addrs.length <=  255);
        require(_addrs.length ==     _amounts.length);
        
        for (uint8 i = 0; i < _addrs.length;    i++) {
            airDeliver(_addrs[i],   _amounts[i]);
        }
    }

 
    function  freezeDeliver(address _to, uint _amount, uint _freezeAmount, uint _freezeMonth, uint _unfreezeBeginTime ) onlyOwner public {
        require(owner != _to);
        require(_freezeMonth > 0);
        
        uint average = _freezeAmount / _freezeMonth;
        BalanceInfo storage bi = balances[_to];
        uint[] memory fa = new uint[](_freezeMonth);
        uint[] memory rt = new uint[](_freezeMonth);

        if(_amount < smpSupply){
            _amount = _amount * smpEthRate;
            average = average * smpEthRate;
            _freezeAmount = _freezeAmount * smpEthRate;
        }
        require(balances[owner].balance > _amount);
        uint remainAmount = _freezeAmount;
        
        if(_unfreezeBeginTime == 0)
            _unfreezeBeginTime = now + freezeDuration;
        for(uint i=0;i<_freezeMonth-1;i++){
            fa[i] = average;
            rt[i] = _unfreezeBeginTime;
            _unfreezeBeginTime += freezeDuration;
            remainAmount = safeSub(remainAmount, average);
        }
        fa[i] = remainAmount;
        rt[i] = _unfreezeBeginTime;
        
        bi.balance = safeAdd(bi.balance, _amount);
        bi.freezeAmount = fa;
        bi.releaseTime = rt;
        balances[owner].balance = safeSub(balances[owner].balance, _amount);
        emit Transfer(owner, _to, _amount);
        emit Freeze(_to, _freezeAmount);
    }
    
    function  freezeDeliverMuti(address[] _addrs, uint _deliverAmount, uint _freezeAmount, uint _freezeMonth, uint _unfreezeBeginTime ) onlyOwner public {
        require(_addrs.length <=  255);
        
        for(uint i=0;i< _addrs.length;i++){
            freezeDeliver(_addrs[i], _deliverAmount, _freezeAmount, _freezeMonth, _unfreezeBeginTime);
        }
    }

    function  freezeDeliverMultiStandalone(address[] _addrs, uint[] _deliverAmounts, uint[] _freezeAmounts, uint _freezeMonth, uint _unfreezeBeginTime ) onlyOwner public {
        require(_addrs.length <=  255);
        require(_addrs.length == _deliverAmounts.length);
        require(_addrs.length == _freezeAmounts.length);
        
        for(uint i=0;i< _addrs.length;i++){
            freezeDeliver(_addrs[i], _deliverAmounts[i], _freezeAmounts[i], _freezeMonth, _unfreezeBeginTime);
        }
    }
    
    function addWhitelist(address[] _addrs) public onlyOwner {
        require(_addrs.length <=  255);

        for (uint8 i = 0; i < _addrs.length; i++) {
            if (!whitelist[_addrs[i]]){
                whitelist[_addrs[i]] = true;
            }
        }
    }

    function balanceOf(address _owner) constant public returns (uint256) {
        return balances[_owner].balance;
    }
    
    function freezeOf(address _owner) constant  public returns (uint256) {
        BalanceInfo storage bi = balances[_owner];
        uint freezeAmount = 0;
        uint t = now;
        
        for(uint i=0;i< bi.freezeAmount.length;i++){
            if(t < bi.releaseTime[i])
                freezeAmount += bi.freezeAmount[i];
        }
        return freezeAmount;
    }
    
    function transfer(address _to, uint256 _amount)  isRunning onlyPayloadSize(2 *  32) public returns (bool success) {
        require(_to != address(0));
        uint freezeAmount = freezeOf(msg.sender);
        uint256 _balance = safeSub(balances[msg.sender].balance, freezeAmount);
        require(_amount <= _balance);
        
        balances[msg.sender].balance = safeSub(balances[msg.sender].balance,_amount);
        balances[_to].balance = safeAdd(balances[_to].balance,_amount);
        emit Transfer(msg.sender, _to, _amount);
        return true;
    }

    function transferFrom(address _from, address _to, uint256 _amount) isRunning onlyPayloadSize(3 * 32) public returns (bool   success) {
        require(_from   != address(0) && _to != address(0));
        require(_amount <= allowed[_from][msg.sender]);
        uint freezeAmount = freezeOf(_from);
        uint256 _balance = safeSub(balances[_from].balance, freezeAmount);
        require(_amount <= _balance);
        
        balances[_from].balance = safeSub(balances[_from].balance,_amount);
        allowed[_from][msg.sender] = safeSub(allowed[_from][msg.sender],_amount);
        balances[_to].balance = safeAdd(balances[_to].balance,_amount);
        emit Transfer(_from, _to, _amount);
        return true;
    }

    function approve(address _spender, uint256 _value) isRunning public returns (bool   success) {
        if (_value != 0 && allowed[msg.sender][_spender] != 0) { 
            return  false; 
        }
        allowed[msg.sender][_spender] = _value;
        emit Approval(msg.sender, _spender, _value);
        return true;
    }
    
    function allowance(address _owner, address _spender) constant public returns (uint256) {
        return allowed[_owner][_spender];
    }
    
    function withdraw() onlyOwner public {
        address myAddress = this;
        require(myAddress.balance > 0);
        owner.transfer(myAddress.balance);
        emit Transfer(this, owner, myAddress.balance);    
    }
    
    function burn(address burner, uint256 _value) onlyOwner public {
        require(_value <= balances[msg.sender].balance);

        balances[burner].balance = safeSub(balances[burner].balance, _value);
        totalSupply = safeSub(totalSupply, _value);
        smpSupply = totalSupply / smpEthRate;
        emit Burn(burner, _value);
    }
}

• 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":"success","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"name":"_addrs","type":"address[]"},{"name":"_amount","type":"uint256"}],"name":"airDeliverMulti","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"name":"_to","type":"address"},{"name":"_amount","type":"uint256"}],"name":"airDeliver","outputs":[],"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":"_addrs","type":"address[]"},{"name":"_deliverAmount","type":"uint256"},{"name":"_freezeAmount","type":"uint256"},{"name":"_freezeMonth","type":"uint256"},{"name":"_unfreezeBeginTime","type":"uint256"}],"name":"freezeDeliverMuti","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"name":"_from","type":"address"},{"name":"_to","type":"address"},{"name":"_amount","type":"uint256"}],"name":"transferFrom","outputs":[{"name":"success","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[],"name":"decimals","outputs":[{"name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"name":"_to","type":"address"},{"name":"_amount","type":"uint256"},{"name":"_freezeAmount","type":"uint256"},{"name":"_freezeMonth","type":"uint256"},{"name":"_unfreezeBeginTime","type":"uint256"}],"name":"freezeDeliver","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[],"name":"withdraw","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[],"name":"freezeDuration","outputs":[{"name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"name":"_addrs","type":"address[]"},{"name":"_deliverAmounts","type":"uint256[]"},{"name":"_freezeAmounts","type":"uint256[]"},{"name":"_freezeMonth","type":"uint256"},{"name":"_unfreezeBeginTime","type":"uint256"}],"name":"freezeDeliverMultiStandalone","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[{"name":"_owner","type":"address"}],"name":"balanceOf","outputs":[{"name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[],"name":"pause","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[],"name":"symbol","outputs":[{"name":"","type":"string"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[{"name":"","type":"address"}],"name":"whitelist","outputs":[{"name":"","type":"bool"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"name":"burner","type":"address"},{"name":"_value","type":"uint256"}],"name":"burn","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"name":"_to","type":"address"},{"name":"_amount","type":"uint256"}],"name":"transfer","outputs":[{"name":"success","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"name":"_addrs","type":"address[]"},{"name":"_amounts","type":"uint256[]"}],"name":"airDeliverStandalone","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[],"name":"start","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[{"name":"_owner","type":"address"}],"name":"freezeOf","outputs":[{"name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"running","outputs":[{"name":"","type":"bool"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[{"name":"_owner","type":"address"},{"name":"_spender","type":"address"}],"name":"allowance","outputs":[{"name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"name":"_addrs","type":"address[]"}],"name":"addWhitelist","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"name":"_newOwner","type":"address"}],"name":"transferOwnership","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"inputs":[],"payable":false,"stateMutability":"nonpayable","type":"constructor"},{"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"},{"anonymous":false,"inputs":[],"name":"BeginRunning","type":"event"},{"anonymous":false,"inputs":[],"name":"PauseRunning","type":"event"},{"anonymous":false,"inputs":[],"name":"BeginSell","type":"event"},{"anonymous":false,"inputs":[],"name":"PauseSell","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"name":"burner","type":"address"},{"indexed":false,"name":"val","type":"uint256"}],"name":"Burn","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"name":"from","type":"address"},{"indexed":false,"name":"value","type":"uint256"}],"name":"Freeze","type":"event"}]

60806040526012600a0a600055629896806001556000546001540260025562278d006003556001600460006101000a81548160ff02191690831515021790555034801561004b57600080fd5b5033600460016101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555060025460086000600460019054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060000181905550612881806101076000396000f300608060405260043610610149576000357c0100000000000000000000000000000000000000000000000000000000900463ffffffff16806306fdde031461014e578063095ea7b3146101de5780630c3e564a146102435780630ea7c8cd146102b357806318160ddd146103005780632111c0f91461032b57806323b872dd146103b9578063313ce5671461043e57806334d05b1f146104695780633ccfd60b146104d4578063440991bd146104eb578063679019ba1461051657806370a08231146106165780638456cb591461066d57806395d89b41146106845780639b19251a146107145780639dc29fac1461076f578063a9059cbb146107bc578063b885d56014610821578063be9a6555146108ca578063cd4217c1146108e1578063d85bd52614610938578063dd62ed3e14610967578063edac985b146109de578063f2fde38b14610a44575b600080fd5b34801561015a57600080fd5b50610163610a87565b6040518080602001828103825283818151815260200191508051906020019080838360005b838110156101a3578082015181840152602081019050610188565b50505050905090810190601f1680156101d05780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b3480156101ea57600080fd5b50610229600480360381019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050610ac0565b604051808215151515815260200191505060405180910390f35b34801561024f57600080fd5b506102b16004803603810190808035906020019082018035906020019080806020026020016040519081016040528093929190818152602001838360200280828437820191505050505050919291929080359060200190929190505050610c6a565b005b3480156102bf57600080fd5b506102fe600480360381019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050610d20565b005b34801561030c57600080fd5b50610315611060565b6040518082815260200191505060405180910390f35b34801561033757600080fd5b506103b76004803603810190808035906020019082018035906020019080806020026020016040519081016040528093929190818152602001838360200280828437820191505050505050919291929080359060200190929190803590602001909291908035906020019092919080359060200190929190505050611066565b005b3480156103c557600080fd5b50610424600480360381019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff1690602001909291908035906020019092919050505061111c565b604051808215151515815260200191505060405180910390f35b34801561044a57600080fd5b50610453611556565b6040518082815260200191505060405180910390f35b34801561047557600080fd5b506104d2600480360381019080803573ffffffffffffffffffffffffffffffffffffffff1690602001909291908035906020019092919080359060200190929190803590602001909291908035906020019092919050505061155b565b005b3480156104e057600080fd5b506104e9611a29565b005b3480156104f757600080fd5b50610500611bd1565b6040518082815260200191505060405180910390f35b34801561052257600080fd5b506106146004803603810190808035906020019082018035906020019080806020026020016040519081016040528093929190818152602001838360200280828437820191505050505050919291929080359060200190820180359060200190808060200260200160405190810160405280939291908181526020018383602002808284378201915050505050509192919290803590602001908201803590602001908080602002602001604051908101604052809392919081815260200183836020028082843782019150505050505091929192908035906020019092919080359060200190929190505050611bd7565b005b34801561062257600080fd5b50610657600480360381019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050611cdb565b6040518082815260200191505060405180910390f35b34801561067957600080fd5b50610682611d27565b005b34801561069057600080fd5b50610699611de7565b6040518080602001828103825283818151815260200191508051906020019080838360005b838110156106d95780820151818401526020810190506106be565b50505050905090810190601f1680156107065780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b34801561072057600080fd5b50610755600480360381019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050611e20565b604051808215151515815260200191505060405180910390f35b34801561077b57600080fd5b506107ba600480360381019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050611e40565b005b3480156107c857600080fd5b50610807600480360381019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050611ff9565b604051808215151515815260200191505060405180910390f35b34801561082d57600080fd5b506108c86004803603810190808035906020019082018035906020019080806020026020016040519081016040528093929190818152602001838360200280828437820191505050505050919291929080359060200190820180359060200190808060200260200160405190810160405280939291908181526020018383602002808284378201915050505050509192919290505050612268565b005b3480156108d657600080fd5b506108df612348565b005b3480156108ed57600080fd5b50610922600480360381019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050612409565b6040518082815260200191505060405180910390f35b34801561094457600080fd5b5061094d6124ca565b604051808215151515815260200191505060405180910390f35b34801561097357600080fd5b506109c8600480360381019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff1690602001909291905050506124dd565b6040518082815260200191505060405180910390f35b3480156109ea57600080fd5b50610a4260048036038101908080359060200190820180359060200190808060200260200160405190810160405280939291908181526020018383602002808284378201915050505050509192919290505050612564565b005b348015610a5057600080fd5b50610a85600480360381019080803573ffffffffffffffffffffffffffffffffffffffff1690602001909291905050506126d5565b005b6040805190810160405280600681526020017f544845534d50000000000000000000000000000000000000000000000000000081525081565b6000600460009054906101000a900460ff161515610add57600080fd5b60008214158015610b6b57506000600560003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205414155b15610b795760009050610c64565b81600560003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508273ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925846040518082815260200191505060405180910390a3600190505b92915050565b6000600460019054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff16141515610cc857600080fd5b60ff835111151515610cd957600080fd5b600090505b82518160ff161015610d1b57610d0e838260ff16815181101515610cfe57fe5b9060200190602002015183610d20565b8080600101915050610cde565b505050565b600460019054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff16141515610d7c57600080fd5b8173ffffffffffffffffffffffffffffffffffffffff16600460019054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1614151515610dd957600080fd5b600081111515610de857600080fd5b8060086000600460019054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000206000015410151515610e5b57600080fd5b600154811015610e6d57600054810290505b610edb60086000600460019054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060000154826127ac565b60086000600460019054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060000181905550610f8f600860008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060000154826127c5565b600860008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020600001819055508173ffffffffffffffffffffffffffffffffffffffff16600460019054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef836040518082815260200191505060405180910390a35050565b60025481565b6000600460019054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff161415156110c457600080fd5b60ff8651111515156110d557600080fd5b600090505b85518110156111145761110786828151811015156110f457fe5b906020019060200201518686868661155b565b80806001019150506110da565b505050505050565b6000806000600460009054906101000a900460ff16151561113c57600080fd5b60606004810160003690501015151561115157fe5b600073ffffffffffffffffffffffffffffffffffffffff168773ffffffffffffffffffffffffffffffffffffffff16141580156111bb5750600073ffffffffffffffffffffffffffffffffffffffff168673ffffffffffffffffffffffffffffffffffffffff1614155b15156111c657600080fd5b600560008873ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054851115151561125157600080fd5b61125a87612409565b92506112a8600860008973ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060000154846127ac565b91508185111515156112b957600080fd5b611305600860008973ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060000154866127ac565b600860008973ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020600001819055506113d1600560008973ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054866127ac565b600560008973ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000208190555061149d600860008873ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060000154866127c5565b600860008873ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020600001819055508573ffffffffffffffffffffffffffffffffffffffff168773ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef876040518082815260200191505060405180910390a3600193505050509392505050565b601281565b600080606080600080600460019054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff161415156115c057600080fd5b8a73ffffffffffffffffffffffffffffffffffffffff16600460019054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff161415151561161d57600080fd5b60008811151561162c57600080fd5b878981151561163757fe5b049550600860008c73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000209450876040519080825280602002602001820160405280156116aa5781602001602082028038833980820191505090505b509350876040519080825280602002602001820160405280156116dc5781602001602082028038833980820191505090505b5092506001548a10156116ff576000548a02995060005486029550600054890298505b8960086000600460019054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000206000015411151561177157600080fd5b889150600087141561178557600354420196505b600090505b600188038110156117ef578584828151811015156117a457fe5b90602001906020020181815250508683828151811015156117c157fe5b9060200190602002018181525050600354870196506117e082876127ac565b9150808060010191505061178a565b8184828151811015156117fe57fe5b906020019060200201818152505086838281518110151561181b57fe5b906020019060200201818152505061183785600001548b6127c5565b8560000181905550838560010190805190602001906118579291906127e3565b50828560020190805190602001906118709291906127e3565b506118df60086000600460019054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020600001548b6127ac565b60086000600460019054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020600001819055508a73ffffffffffffffffffffffffffffffffffffffff16600460019054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef8c6040518082815260200191505060405180910390a38a73ffffffffffffffffffffffffffffffffffffffff167ff97a274face0b5517365ad396b1fdba6f68bd3135ef603e44272adba3af5a1e08a6040518082815260200191505060405180910390a25050505050505050505050565b6000600460019054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff16141515611a8757600080fd5b30905060008173ffffffffffffffffffffffffffffffffffffffff1631111515611ab057600080fd5b600460019054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff166108fc8273ffffffffffffffffffffffffffffffffffffffff16319081150290604051600060405180830381858888f19350505050158015611b2f573d6000803e3d6000fd5b50600460019054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163073ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef8373ffffffffffffffffffffffffffffffffffffffff16316040518082815260200191505060405180910390a350565b60035481565b6000600460019054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff16141515611c3557600080fd5b60ff865111151515611c4657600080fd5b84518651141515611c5657600080fd5b83518651141515611c6657600080fd5b600090505b8551811015611cd357611cc68682815181101515611c8557fe5b906020019060200201518683815181101515611c9d57fe5b906020019060200201518684815181101515611cb557fe5b90602001906020020151868661155b565b8080600101915050611c6b565b505050505050565b6000600860008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020600001549050919050565b600460019054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff16141515611d8357600080fd5b600460009054906101000a900460ff161515611d9e57600080fd5b6000600460006101000a81548160ff0219169083151502179055507f24faf5703cd024754e538120a7237535f1ea01677015f7e32f67be64b66d9dac60405160405180910390a1565b6040805190810160405280600381526020017f534d50000000000000000000000000000000000000000000000000000000000081525081565b60066020528060005260406000206000915054906101000a900460ff1681565b600460019054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff16141515611e9c57600080fd5b600860003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020600001548111151515611eed57600080fd5b611f39600860008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060000154826127ac565b600860008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060000181905550611f8b600254826127ac565b600281905550600054600254811515611fa057fe5b046001819055508173ffffffffffffffffffffffffffffffffffffffff167fcc16f5dbb4873280815c1ee09dbd06736cffcc184412cf7a71a0fdb75d397ca5826040518082815260200191505060405180910390a25050565b6000806000600460009054906101000a900460ff16151561201957600080fd5b60406004810160003690501015151561202e57fe5b600073ffffffffffffffffffffffffffffffffffffffff168673ffffffffffffffffffffffffffffffffffffffff161415151561206a57600080fd5b61207333612409565b92506120c1600860003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060000154846127ac565b91508185111515156120d257600080fd5b61211e600860003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060000154866127ac565b600860003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020600001819055506121b0600860008873ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060000154866127c5565b600860008873ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020600001819055508573ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef876040518082815260200191505060405180910390a36001935050505092915050565b6000600460019054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff161415156122c657600080fd5b60ff8351111515156122d757600080fd5b815183511415156122e757600080fd5b600090505b82518160ff16101561234357612336838260ff1681518110151561230c57fe5b90602001906020020151838360ff1681518110151561232757fe5b90602001906020020151610d20565b80806001019150506122ec565b505050565b600460019054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff161415156123a457600080fd5b600460009054906101000a900460ff161515156123c057600080fd5b6001600460006101000a81548160ff0219169083151502179055507ff999e0378b31fd060880ceb4bc403bc32de3d1000bee77078a09c7f1d929a51560405160405180910390a1565b6000806000806000600860008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020935060009250429150600090505b83600101805490508110156124be57836002018181548110151561247e57fe5b90600052602060002001548210156124b15783600101818154811015156124a157fe5b9060005260206000200154830192505b808060010191505061245e565b82945050505050919050565b600460009054906101000a900460ff1681565b6000600560008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054905092915050565b6000600460019054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff161415156125c257600080fd5b60ff8251111515156125d357600080fd5b600090505b81518160ff1610156126d15760066000838360ff168151811015156125f957fe5b9060200190602002015173ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff1615156126c457600160066000848460ff1681518110151561266857fe5b9060200190602002015173ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006101000a81548160ff0219169083151502179055505b80806001019150506125d8565b5050565b600460019054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1614151561273157600080fd5b600073ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff161415156127a95780600460016101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055505b50565b60008282111515156127ba57fe5b818303905092915050565b60008082840190508381101515156127d957fe5b8091505092915050565b82805482825590600052602060002090810192821561281f579160200282015b8281111561281e578251825591602001919060010190612803565b5b50905061282c9190612830565b5090565b61285291905b8082111561284e576000816000905550600101612836565b5090565b905600a165627a7a723058201c2a3d9fe31023711cdff3b5eef8c5259caf740c040f32b2e6bb78ac49e928d80029

0x608060405260043610610149576000357c0100000000000000000000000000000000000000000000000000000000900463ffffffff16806306fdde031461014e578063095ea7b3146101de5780630c3e564a146102435780630ea7c8cd146102b357806318160ddd146103005780632111c0f91461032b57806323b872dd146103b9578063313ce5671461043e57806334d05b1f146104695780633ccfd60b146104d4578063440991bd146104eb578063679019ba1461051657806370a08231146106165780638456cb591461066d57806395d89b41146106845780639b19251a146107145780639dc29fac1461076f578063a9059cbb146107bc578063b885d56014610821578063be9a6555146108ca578063cd4217c1146108e1578063d85bd52614610938578063dd62ed3e14610967578063edac985b146109de578063f2fde38b14610a44575b600080fd5b34801561015a57600080fd5b50610163610a87565b6040518080602001828103825283818151815260200191508051906020019080838360005b838110156101a3578082015181840152602081019050610188565b50505050905090810190601f1680156101d05780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b3480156101ea57600080fd5b50610229600480360381019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050610ac0565b604051808215151515815260200191505060405180910390f35b34801561024f57600080fd5b506102b16004803603810190808035906020019082018035906020019080806020026020016040519081016040528093929190818152602001838360200280828437820191505050505050919291929080359060200190929190505050610c6a565b005b3480156102bf57600080fd5b506102fe600480360381019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050610d20565b005b34801561030c57600080fd5b50610315611060565b6040518082815260200191505060405180910390f35b34801561033757600080fd5b506103b76004803603810190808035906020019082018035906020019080806020026020016040519081016040528093929190818152602001838360200280828437820191505050505050919291929080359060200190929190803590602001909291908035906020019092919080359060200190929190505050611066565b005b3480156103c557600080fd5b50610424600480360381019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff1690602001909291908035906020019092919050505061111c565b604051808215151515815260200191505060405180910390f35b34801561044a57600080fd5b50610453611556565b6040518082815260200191505060405180910390f35b34801561047557600080fd5b506104d2600480360381019080803573ffffffffffffffffffffffffffffffffffffffff1690602001909291908035906020019092919080359060200190929190803590602001909291908035906020019092919050505061155b565b005b3480156104e057600080fd5b506104e9611a29565b005b3480156104f757600080fd5b50610500611bd1565b6040518082815260200191505060405180910390f35b34801561052257600080fd5b506106146004803603810190808035906020019082018035906020019080806020026020016040519081016040528093929190818152602001838360200280828437820191505050505050919291929080359060200190820180359060200190808060200260200160405190810160405280939291908181526020018383602002808284378201915050505050509192919290803590602001908201803590602001908080602002602001604051908101604052809392919081815260200183836020028082843782019150505050505091929192908035906020019092919080359060200190929190505050611bd7565b005b34801561062257600080fd5b50610657600480360381019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050611cdb565b6040518082815260200191505060405180910390f35b34801561067957600080fd5b50610682611d27565b005b34801561069057600080fd5b50610699611de7565b6040518080602001828103825283818151815260200191508051906020019080838360005b838110156106d95780820151818401526020810190506106be565b50505050905090810190601f1680156107065780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b34801561072057600080fd5b50610755600480360381019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050611e20565b604051808215151515815260200191505060405180910390f35b34801561077b57600080fd5b506107ba600480360381019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050611e40565b005b3480156107c857600080fd5b50610807600480360381019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050611ff9565b604051808215151515815260200191505060405180910390f35b34801561082d57600080fd5b506108c86004803603810190808035906020019082018035906020019080806020026020016040519081016040528093929190818152602001838360200280828437820191505050505050919291929080359060200190820180359060200190808060200260200160405190810160405280939291908181526020018383602002808284378201915050505050509192919290505050612268565b005b3480156108d657600080fd5b506108df612348565b005b3480156108ed57600080fd5b50610922600480360381019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050612409565b6040518082815260200191505060405180910390f35b34801561094457600080fd5b5061094d6124ca565b604051808215151515815260200191505060405180910390f35b34801561097357600080fd5b506109c8600480360381019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff1690602001909291905050506124dd565b6040518082815260200191505060405180910390f35b3480156109ea57600080fd5b50610a4260048036038101908080359060200190820180359060200190808060200260200160405190810160405280939291908181526020018383602002808284378201915050505050509192919290505050612564565b005b348015610a5057600080fd5b50610a85600480360381019080803573ffffffffffffffffffffffffffffffffffffffff1690602001909291905050506126d5565b005b6040805190810160405280600681526020017f544845534d50000000000000000000000000000000000000000000000000000081525081565b6000600460009054906101000a900460ff161515610add57600080fd5b60008214158015610b6b57506000600560003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205414155b15610b795760009050610c64565b81600560003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508273ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925846040518082815260200191505060405180910390a3600190505b92915050565b6000600460019054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff16141515610cc857600080fd5b60ff835111151515610cd957600080fd5b600090505b82518160ff161015610d1b57610d0e838260ff16815181101515610cfe57fe5b9060200190602002015183610d20565b8080600101915050610cde565b505050565b600460019054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff16141515610d7c57600080fd5b8173ffffffffffffffffffffffffffffffffffffffff16600460019054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1614151515610dd957600080fd5b600081111515610de857600080fd5b8060086000600460019054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000206000015410151515610e5b57600080fd5b600154811015610e6d57600054810290505b610edb60086000600460019054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060000154826127ac565b60086000600460019054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060000181905550610f8f600860008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060000154826127c5565b600860008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020600001819055508173ffffffffffffffffffffffffffffffffffffffff16600460019054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef836040518082815260200191505060405180910390a35050565b60025481565b6000600460019054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff161415156110c457600080fd5b60ff8651111515156110d557600080fd5b600090505b85518110156111145761110786828151811015156110f457fe5b906020019060200201518686868661155b565b80806001019150506110da565b505050505050565b6000806000600460009054906101000a900460ff16151561113c57600080fd5b60606004810160003690501015151561115157fe5b600073ffffffffffffffffffffffffffffffffffffffff168773ffffffffffffffffffffffffffffffffffffffff16141580156111bb5750600073ffffffffffffffffffffffffffffffffffffffff168673ffffffffffffffffffffffffffffffffffffffff1614155b15156111c657600080fd5b600560008873ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054851115151561125157600080fd5b61125a87612409565b92506112a8600860008973ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060000154846127ac565b91508185111515156112b957600080fd5b611305600860008973ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060000154866127ac565b600860008973ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020600001819055506113d1600560008973ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054866127ac565b600560008973ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000208190555061149d600860008873ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060000154866127c5565b600860008873ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020600001819055508573ffffffffffffffffffffffffffffffffffffffff168773ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef876040518082815260200191505060405180910390a3600193505050509392505050565b601281565b600080606080600080600460019054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff161415156115c057600080fd5b8a73ffffffffffffffffffffffffffffffffffffffff16600460019054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff161415151561161d57600080fd5b60008811151561162c57600080fd5b878981151561163757fe5b049550600860008c73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000209450876040519080825280602002602001820160405280156116aa5781602001602082028038833980820191505090505b509350876040519080825280602002602001820160405280156116dc5781602001602082028038833980820191505090505b5092506001548a10156116ff576000548a02995060005486029550600054890298505b8960086000600460019054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000206000015411151561177157600080fd5b889150600087141561178557600354420196505b600090505b600188038110156117ef578584828151811015156117a457fe5b90602001906020020181815250508683828151811015156117c157fe5b9060200190602002018181525050600354870196506117e082876127ac565b9150808060010191505061178a565b8184828151811015156117fe57fe5b906020019060200201818152505086838281518110151561181b57fe5b906020019060200201818152505061183785600001548b6127c5565b8560000181905550838560010190805190602001906118579291906127e3565b50828560020190805190602001906118709291906127e3565b506118df60086000600460019054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020600001548b6127ac565b60086000600460019054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020600001819055508a73ffffffffffffffffffffffffffffffffffffffff16600460019054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef8c6040518082815260200191505060405180910390a38a73ffffffffffffffffffffffffffffffffffffffff167ff97a274face0b5517365ad396b1fdba6f68bd3135ef603e44272adba3af5a1e08a6040518082815260200191505060405180910390a25050505050505050505050565b6000600460019054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff16141515611a8757600080fd5b30905060008173ffffffffffffffffffffffffffffffffffffffff1631111515611ab057600080fd5b600460019054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff166108fc8273ffffffffffffffffffffffffffffffffffffffff16319081150290604051600060405180830381858888f19350505050158015611b2f573d6000803e3d6000fd5b50600460019054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163073ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef8373ffffffffffffffffffffffffffffffffffffffff16316040518082815260200191505060405180910390a350565b60035481565b6000600460019054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff16141515611c3557600080fd5b60ff865111151515611c4657600080fd5b84518651141515611c5657600080fd5b83518651141515611c6657600080fd5b600090505b8551811015611cd357611cc68682815181101515611c8557fe5b906020019060200201518683815181101515611c9d57fe5b906020019060200201518684815181101515611cb557fe5b90602001906020020151868661155b565b8080600101915050611c6b565b505050505050565b6000600860008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020600001549050919050565b600460019054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff16141515611d8357600080fd5b600460009054906101000a900460ff161515611d9e57600080fd5b6000600460006101000a81548160ff0219169083151502179055507f24faf5703cd024754e538120a7237535f1ea01677015f7e32f67be64b66d9dac60405160405180910390a1565b6040805190810160405280600381526020017f534d50000000000000000000000000000000000000000000000000000000000081525081565b60066020528060005260406000206000915054906101000a900460ff1681565b600460019054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff16141515611e9c57600080fd5b600860003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020600001548111151515611eed57600080fd5b611f39600860008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060000154826127ac565b600860008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060000181905550611f8b600254826127ac565b600281905550600054600254811515611fa057fe5b046001819055508173ffffffffffffffffffffffffffffffffffffffff167fcc16f5dbb4873280815c1ee09dbd06736cffcc184412cf7a71a0fdb75d397ca5826040518082815260200191505060405180910390a25050565b6000806000600460009054906101000a900460ff16151561201957600080fd5b60406004810160003690501015151561202e57fe5b600073ffffffffffffffffffffffffffffffffffffffff168673ffffffffffffffffffffffffffffffffffffffff161415151561206a57600080fd5b61207333612409565b92506120c1600860003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060000154846127ac565b91508185111515156120d257600080fd5b61211e600860003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060000154866127ac565b600860003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020600001819055506121b0600860008873ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060000154866127c5565b600860008873ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020600001819055508573ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef876040518082815260200191505060405180910390a36001935050505092915050565b6000600460019054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff161415156122c657600080fd5b60ff8351111515156122d757600080fd5b815183511415156122e757600080fd5b600090505b82518160ff16101561234357612336838260ff1681518110151561230c57fe5b90602001906020020151838360ff1681518110151561232757fe5b90602001906020020151610d20565b80806001019150506122ec565b505050565b600460019054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff161415156123a457600080fd5b600460009054906101000a900460ff161515156123c057600080fd5b6001600460006101000a81548160ff0219169083151502179055507ff999e0378b31fd060880ceb4bc403bc32de3d1000bee77078a09c7f1d929a51560405160405180910390a1565b6000806000806000600860008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020935060009250429150600090505b83600101805490508110156124be57836002018181548110151561247e57fe5b90600052602060002001548210156124b15783600101818154811015156124a157fe5b9060005260206000200154830192505b808060010191505061245e565b82945050505050919050565b600460009054906101000a900460ff1681565b6000600560008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054905092915050565b6000600460019054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff161415156125c257600080fd5b60ff8251111515156125d357600080fd5b600090505b81518160ff1610156126d15760066000838360ff168151811015156125f957fe5b9060200190602002015173ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff1615156126c457600160066000848460ff1681518110151561266857fe5b9060200190602002015173ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006101000a81548160ff0219169083151502179055505b80806001019150506125d8565b5050565b600460019054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1614151561273157600080fd5b600073ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff161415156127a95780600460016101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055505b50565b60008282111515156127ba57fe5b818303905092915050565b60008082840190508381101515156127d957fe5b8091505092915050565b82805482825590600052602060002090810192821561281f579160200282015b8281111561281e578251825591602001919060010190612803565b5b50905061282c9190612830565b5090565b61285291905b8082111561284e576000816000905550600101612836565b5090565b905600a165627a7a723058201c2a3d9fe31023711cdff3b5eef8c5259caf740c040f32b2e6bb78ac49e928d80029

28:9411:0:-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;54:46;;8:9:-1;5:2;;;30:1;27;20:12;5:2;54:46: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;54:46:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8358:333;;8:9:-1;5:2;;;30:1;27;20:12;5:2;8358:333:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;3314:250;;8:9:-1;5:2;;;30:1;27;20:12;5:2;3314:250:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;2768:528;;8:9:-1;5:2;;;30:1;27;20:12;5:2;2768:528:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;322:60;;8:9:-1;5:2;;;30:1;27;20:12;5:2;322:60:0;;;;;;;;;;;;;;;;;;;;;;;5335:368;;8:9:-1;5:2;;;30:1;27;20:12;5:2;5335:368:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;7619:731;;8:9:-1;5:2;;;30:1;27;20:12;5:2;7619:731:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;157:40;;8:9:-1;5:2;;;30:1;27;20:12;5:2;157:40:0;;;;;;;;;;;;;;;;;;;;;;;3905:1418;;8:9:-1;5:2;;;30:1;27;20:12;5:2;3905:1418:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8853:225;;8:9:-1;5:2;;;30:1;27;20:12;5:2;8853:225:0;;;;;;389:45;;8:9:-1;5:2;;;30:1;27;20:12;5:2;389:45:0;;;;;;;;;;;;;;;;;;;;;;;5711:510;;8:9:-1;5:2;;;30:1;27;20:12;5:2;5711:510:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;6515:119;;8:9:-1;5:2;;;30:1;27;20:12;5:2;6515:119:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;2523:113;;8:9:-1;5:2;;;30:1;27;20:12;5:2;2523:113:0;;;;;;107:43;;8:9:-1;5:2;;;30:1;27;20:12;5:2;107:43: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;107:43:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;584:42;;8:9:-1;5:2;;;30:1;27;20:12;5:2;584:42:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;9090:346;;8:9:-1;5:2;;;30:1;27;20:12;5:2;9090:346:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;7039:572;;8:9:-1;5:2;;;30:1;27;20:12;5:2;7039:572:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;3576:318;;8:9:-1;5:2;;;30:1;27;20:12;5:2;3576:318:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;2648:112;;8:9:-1;5:2;;;30:1;27;20:12;5:2;2648:112:0;;;;;;6646:381;;8:9:-1;5:2;;;30:1;27;20:12;5:2;6646:381:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;443:42;;8:9:-1;5:2;;;30:1;27;20:12;5:2;443:42:0;;;;;;;;;;;;;;;;;;;;;;;;;;;8703:138;;8:9:-1;5:2;;;30:1;27;20:12;5:2;8703:138:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;6233:274;;8:9:-1;5:2;;;30:1;27;20:12;5:2;6233:274:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;2354:157;;8:9:-1;5:2;;;30:1;27;20:12;5:2;2354:157:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;54:46;;;;;;;;;;;;;;;;;;;;:::o;8358:333::-;8435:14;1605:7;;;;;;;;;;;1597:16;;;;;;;;8476:1;8466:6;:11;;:49;;;;;8514:1;8481:7;:19;8489:10;8481:19;;;;;;;;;;;;;;;:29;8501:8;8481:29;;;;;;;;;;;;;;;;:34;;8466:49;8462:97;;;8541:5;8533:13;;;;8462:97;8601:6;8569:7;:19;8577:10;8569:19;;;;;;;;;;;;;;;:29;8589:8;8569:29;;;;;;;;;;;;;;;:38;;;;8644:8;8623:38;;8632:10;8623:38;;;8654:6;8623:38;;;;;;;;;;;;;;;;;;8679:4;8672:11;;1624:1;8358:333;;;;:::o;3314:250::-;3459:7;1422:5;;;;;;;;;;;1408:19;;:10;:19;;;1400:28;;;;;;;;3429:3;3411:6;:13;:21;;3403:30;;;;;;;;3469:1;3459:11;;3454:103;3476:6;:13;3472:1;:17;;;3454:103;;;3513:32;3524:6;3531:1;3524:9;;;;;;;;;;;;;;;;;;;;3537:7;3513:10;:32::i;:::-;3491:3;;;;;;;3454:103;;;3314:250;;;:::o;2768:528::-;1422:5;;;;;;;;;;;1408:19;;:10;:19;;;1400:28;;;;;;;;2867:3;2858:12;;:5;;;;;;;;;;;:12;;;;2850:21;;;;;;;;2900:1;2890:7;:11;2882:20;;;;;;;;2948:7;2921:8;:15;2930:5;;;;;;;;;;;2921:15;;;;;;;;;;;;;;;:23;;;:34;;2913:43;;;;;;;;3025:9;;3015:7;:19;3012:80;;;3070:10;;3060:7;:20;3050:30;;3012:80;3128:41;3136:8;:15;3145:5;;;;;;;;;;;3136:15;;;;;;;;;;;;;;;:23;;;3161:7;3128;:41::i;:::-;3102:8;:15;3111:5;;;;;;;;;;;3102:15;;;;;;;;;;;;;;;:23;;:67;;;;3204:39;3212:8;:13;3221:3;3212:13;;;;;;;;;;;;;;;:21;;;3235:7;3204;:39::i;:::-;3180:8;:13;3189:3;3180:13;;;;;;;;;;;;;;;:21;;:63;;;;3275:3;3259:29;;3268:5;;;;;;;;;;;3259:29;;;3280:7;3259:29;;;;;;;;;;;;;;;;;;2768:528;;:::o;322:60::-;;;;:::o;5335:368::-;5550:6;1422:5;;;;;;;;;;;1408:19;;:10;:19;;;1400:28;;;;;;;;5521:3;5503:6;:13;:21;;5495:30;;;;;;;;5557:1;5550:8;;5546:150;5562:6;:13;5559:1;:16;5546:150;;;5595:89;5609:6;5616:1;5609:9;;;;;;;;;;;;;;;;;;5620:14;5636:13;5651:12;5665:18;5595:13;:89::i;:::-;5576:3;;;;;;;5546:150;;;5335:368;;;;;;:::o;7619:731::-;7736:14;7882:17;7928:16;1605:7;;;;;;;;;;;1597:16;;;;;;;;7712:6;1847:1;1840:4;:8;1821;;:15;;:27;;1814:35;;;;;;7790:1;7771:21;;:5;:21;;;;:42;;;;;7811:1;7796:17;;:3;:17;;;;7771:42;7763:51;;;;;;;;7844:7;:14;7852:5;7844:14;;;;;;;;;;;;;;;:26;7859:10;7844:26;;;;;;;;;;;;;;;;7833:7;:37;;7825:46;;;;;;;;7902:15;7911:5;7902:8;:15::i;:::-;7882:35;;7947:46;7955:8;:15;7964:5;7955:15;;;;;;;;;;;;;;;:23;;;7980:12;7947:7;:46::i;:::-;7928:65;;8023:8;8012:7;:19;;8004:28;;;;;;;;8079:40;8087:8;:15;8096:5;8087:15;;;;;;;;;;;;;;;:23;;;8111:7;8079;:40::i;:::-;8053:8;:15;8062:5;8053:15;;;;;;;;;;;;;;;:23;;:66;;;;8159:43;8167:7;:14;8175:5;8167:14;;;;;;;;;;;;;;;:26;8182:10;8167:26;;;;;;;;;;;;;;;;8194:7;8159;:43::i;:::-;8130:7;:14;8138:5;8130:14;;;;;;;;;;;;;;;:26;8145:10;8130:26;;;;;;;;;;;;;;;:72;;;;8237:38;8245:8;:13;8254:3;8245:13;;;;;;;;;;;;;;;:21;;;8267:7;8237;:38::i;:::-;8213:8;:13;8222:3;8213:13;;;;;;;;;;;;;;;:21;;:62;;;;8307:3;8291:29;;8300:5;8291:29;;;8312:7;8291:29;;;;;;;;;;;;;;;;;;8338:4;8331:11;;1624:1;7619:731;;;;;;;:::o;157:40::-;195:2;157:40;:::o;3905:1418::-;4127:12;4181:22;4230:16;4284;4585:17;4736:6;1422:5;;;;;;;;;;;1408:19;;:10;:19;;;1400:28;;;;;;;;4066:3;4057:12;;:5;;;;;;;;;;;:12;;;;4049:21;;;;;;;;4104:1;4089:12;:16;4081:25;;;;;;;;4158:12;4142:13;:28;;;;;;;;4127:43;;4206:8;:13;4215:3;4206:13;;;;;;;;;;;;;;;4181:38;;4260:12;4249:24;;;;;;;;;;;;;;;;;;;;;;29:2:-1;21:6;17:15;117:4;105:10;97:6;88:34;148:4;140:6;136:17;126:27;;0:157;4249:24:0;;;;4230:43;;4314:12;4303:24;;;;;;;;;;;;;;;;;;;;;;29:2:-1;21:6;17:15;117:4;105:10;97:6;88:34;148:4;140:6;136:17;126:27;;0:157;4303:24:0;;;;4284:43;;4353:9;;4343:7;:19;4340:182;;;4398:10;;4388:7;:20;4378:30;;4443:10;;4433:7;:20;4423:30;;4500:10;;4484:13;:26;4468:42;;4340:182;4566:7;4540:8;:15;4549:5;;;;;;;;;;;4540:15;;;;;;;;;;;;;;;:23;;;:33;4532:42;;;;;;;;4605:13;4585:33;;4664:1;4642:18;:23;4639:82;;;4707:14;;4701:3;:20;4680:41;;4639:82;4743:1;4736:8;;4732:228;4760:1;4747:12;:14;4745:1;:16;4732:228;;;4789:7;4781:2;4784:1;4781:5;;;;;;;;;;;;;;;;;:15;;;;;4819:18;4811:2;4814:1;4811:5;;;;;;;;;;;;;;;;;:26;;;;;4874:14;;4852:36;;;;4918:30;4926:12;4940:7;4918;:30::i;:::-;4903:45;;4762:3;;;;;;;4732:228;;;4978:12;4970:2;4973:1;4970:5;;;;;;;;;;;;;;;;;:20;;;;;5009:18;5001:2;5004:1;5001:5;;;;;;;;;;;;;;;;;:26;;;;;5061:28;5069:2;:10;;;5081:7;5061;:28::i;:::-;5048:2;:10;;:41;;;;5118:2;5100;:15;;:20;;;;;;;;;;;;:::i;:::-;;5148:2;5131;:14;;:19;;;;;;;;;;;;:::i;:::-;;5187:41;5195:8;:15;5204:5;;;;;;;;;;;5195:15;;;;;;;;;;;;;;;:23;;;5220:7;5187;:41::i;:::-;5161:8;:15;5170:5;;;;;;;;;;;5161:15;;;;;;;;;;;;;;;:23;;:67;;;;5260:3;5244:29;;5253:5;;;;;;;;;;;5244:29;;;5265:7;5244:29;;;;;;;;;;;;;;;;;;5296:3;5289:26;;;5301:13;5289:26;;;;;;;;;;;;;;;;;;3905:1418;;;;;;;;;;;:::o;8853:225::-;8901:17;1422:5;;;;;;;;;;;1408:19;;:10;:19;;;1400:28;;;;;;;;8921:4;8901:24;;8964:1;8944:9;:17;;;:21;8936:30;;;;;;;;8977:5;;;;;;;;;;;:14;;:33;8992:9;:17;;;8977:33;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;8977:33:0;9041:5;;;;;;;;;;;9026:40;;9035:4;9026:40;;;9048:9;:17;;;9026:40;;;;;;;;;;;;;;;;;;8853:225;:::o;389:45::-;;;;:::o;5711:510::-;6060:6;1422:5;;;;;;;;;;;1408:19;;:10;:19;;;1400:28;;;;;;;;5914:3;5896:6;:13;:21;;5888:30;;;;;;;;5954:15;:22;5937:6;:13;:39;5929:48;;;;;;;;6013:14;:21;5996:6;:13;:38;5988:47;;;;;;;;6067:1;6060:8;;6056:158;6072:6;:13;6069:1;:16;6056:158;;;6105:97;6119:6;6126:1;6119:9;;;;;;;;;;;;;;;;;;6130:15;6146:1;6130:18;;;;;;;;;;;;;;;;;;6150:14;6165:1;6150:17;;;;;;;;;;;;;;;;;;6169:12;6183:18;6105:13;:97::i;:::-;6086:3;;;;;;;6056:158;;;5711:510;;;;;;:::o;6515:119::-;6575:7;6602:8;:16;6611:6;6602:16;;;;;;;;;;;;;;;:24;;;6595:31;;6515:119;;;:::o;2523:113::-;1422:5;;;;;;;;;;;1408:19;;:10;:19;;;1400:28;;;;;;;;1605:7;;;;;;;;;;;1597:16;;;;;;;;2593:5;2583:7;;:15;;;;;;;;;;;;;;;;;;2614:14;;;;;;;;;;2523:113::o;107:43::-;;;;;;;;;;;;;;;;;;;;:::o;584:42::-;;;;;;;;;;;;;;;;;;;;;;:::o;9090:346::-;1422:5;;;;;;;;;;;1408:19;;:10;:19;;;1400:28;;;;;;;;9182:8;:20;9191:10;9182:20;;;;;;;;;;;;;;;:28;;;9172:6;:38;;9164:47;;;;;;;;9251:41;9259:8;:16;9268:6;9259:16;;;;;;;;;;;;;;;:24;;;9285:6;9251:7;:41::i;:::-;9224:8;:16;9233:6;9224:16;;;;;;;;;;;;;;;:24;;:68;;;;9317:28;9325:11;;9338:6;9317:7;:28::i;:::-;9303:11;:42;;;;9382:10;;9368:11;;:24;;;;;;;;9356:9;:36;;;;9413:6;9408:20;;;9421:6;9408:20;;;;;;;;;;;;;;;;;;9090:346;;:::o;7039:572::-;7139:12;7201:17;7252:16;1605:7;;;;;;;;;;;1597:16;;;;;;;;7114:7;1847:1;1840:4;:8;1821;;:15;;:27;;1814:35;;;;;;7187:1;7172:17;;:3;:17;;;;7164:26;;;;;;;;7221:20;7230:10;7221:8;:20::i;:::-;7201:40;;7271:51;7279:8;:20;7288:10;7279:20;;;;;;;;;;;;;;;:28;;;7309:12;7271:7;:51::i;:::-;7252:70;;7352:8;7341:7;:19;;7333:28;;;;;;;;7413:45;7421:8;:20;7430:10;7421:20;;;;;;;;;;;;;;;:28;;;7450:7;7413;:45::i;:::-;7382:8;:20;7391:10;7382:20;;;;;;;;;;;;;;;:28;;:76;;;;7493:38;7501:8;:13;7510:3;7501:13;;;;;;;;;;;;;;;:21;;;7523:7;7493;:38::i;:::-;7469:8;:13;7478:3;7469:13;;;;;;;;;;;;;;;:21;;:62;;;;7568:3;7547:34;;7556:10;7547:34;;;7573:7;7547:34;;;;;;;;;;;;;;;;;;7599:4;7592:11;;1624:1;7039:572;;;;;;:::o;3576:318::-;3784:7;1422:5;;;;;;;;;;;1408:19;;:10;:19;;;1400:28;;;;;;;;3698:3;3680:6;:13;:21;;3672:30;;;;;;;;3742:8;:15;3721:6;:13;:36;3713:45;;;;;;;;3794:1;3784:11;;3779:108;3801:6;:13;3797:1;:17;;;3779:108;;;3839:36;3850:6;3857:1;3850:9;;;;;;;;;;;;;;;;;;;;3863:8;3872:1;3863:11;;;;;;;;;;;;;;;;;;;;3839:10;:36::i;:::-;3819:3;;;;;;;3779:108;;;3576:318;;;:::o;2648:112::-;1422:5;;;;;;;;;;;1408:19;;:10;:19;;;1400:28;;;;;;;;1682:7;;;;;;;;;;;1681:8;1673:17;;;;;;;;2718:4;2708:7;;:14;;;;;;;;;;;;;;;;;;2738;;;;;;;;;;2648:112::o;6646:381::-;6706:7;6726:22;6778:17;6810:6;6847;6751:8;:16;6760:6;6751:16;;;;;;;;;;;;;;;6726:41;;6798:1;6778:21;;6819:3;6810:12;;6854:1;6847:8;;6843:147;6859:2;:15;;:22;;;;6856:1;:25;6843:147;;;6908:2;:14;;6923:1;6908:17;;;;;;;;;;;;;;;;;;6904:1;:21;6901:77;;;6960:2;:15;;6976:1;6960:18;;;;;;;;;;;;;;;;;;6944:34;;;;6901:77;6882:3;;;;;;;6843:147;;;7007:12;7000:19;;6646:381;;;;;;;:::o;443:42::-;;;;;;;;;;;;;:::o;8703:138::-;8781:7;8808;:15;8816:6;8808:15;;;;;;;;;;;;;;;:25;8824:8;8808:25;;;;;;;;;;;;;;;;8801:32;;8703:138;;;;:::o;6233:274::-;6349:7;1422:5;;;;;;;;;;;1408:19;;:10;:19;;;1400:28;;;;;;;;6327:3;6309:6;:13;:21;;6301:30;;;;;;;;6359:1;6349:11;;6344:156;6366:6;:13;6362:1;:17;;;6344:156;;;6406:9;:20;6416:6;6423:1;6416:9;;;;;;;;;;;;;;;;;;;;6406:20;;;;;;;;;;;;;;;;;;;;;;;;;6405:21;6401:88;;;6469:4;6446:9;:20;6456:6;6463:1;6456:9;;;;;;;;;;;;;;;;;;;;6446:20;;;;;;;;;;;;;;;;:27;;;;;;;;;;;;;;;;;;6401:88;6381:3;;;;;;;6344:156;;;6233:274;;:::o;2354:157::-;1422:5;;;;;;;;;;;1408:19;;:10;:19;;;1400:28;;;;;;;;2456:1;2432:26;;:9;:26;;;;2428:76;;;2483:9;2475:5;;:17;;;;;;;;;;;;;;;;;;2428:76;2354:157;:::o;2050:127::-;2112:7;2144:1;2139;:6;;2132:14;;;;;;2168:1;2164;:5;2157:12;;2050:127;;;;:::o;2185:151::-;2247:7;2267:9;2283:1;2279;:5;2267:17;;2307:1;2302;:6;;2295:14;;;;;;2327:1;2320:8;;2185:151;;;;;:::o;28:9411::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;:::o;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;:::o

bzzr://1c2a3d9fe31023711cdff3b5eef8c5259caf740c040f32b2e6bb78ac49e928d8