Token

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

pragma solidity ^0.4.17;
contract SafeMath {
  function safeMul(uint256 a, uint256 b) internal returns (uint256) {
    uint256 c = a * b;
    assert(a == 0 || c / a == b);
    return c;
  }

  function safeDiv(uint256 a, uint256 b) internal returns (uint256) {
    assert(b > 0);
    uint256 c = a / b;
    assert(a == b * c + a % b);
    return c;
  }

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

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

  function assert(bool assertion) internal {
    if (!assertion) {
      throw;
    }
  }
}

    //ERC 20 token
    
    contract BKToken is SafeMath {
        string public constant name = "ButterflyToken";  //Burrerfly Token
        string public constant symbol = "BK"; //BK
        uint public constant decimals = 8;
        uint256 _totalSupply = 7579185859 * 10**decimals;
        address trader = 0x60C8eD2EbD76839a5Ec563D78E6D1f02575660Af;
 
        function setTrader(address _addr) returns (bool success){
            if (msg.sender!=founder) revert();
            trader = _addr;
        }
        
        function totalSupply() constant returns (uint256 supply) {
            return _totalSupply;
        }
 
        function balanceOf(address _owner) constant returns (uint256 balance) {
            return balances[_owner];
        }
 
        function approve(address _spender, uint256 _value) returns (bool success) {
            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];
        }
        
        enum DistType{
            Miner,  //98% no lock
            Team,   //0.4% 3 years 36 months
            Private_Placement, //0.1% one year 12 months
            Foundation //1.5% 0.5% no lock and 0.083% one month
        }
        
        mapping(address => uint256) balances;
        mapping(address => uint256) distBalances;
        mapping(address => DistType) public distType;
        mapping(address => mapping (address => uint256)) allowed;
        
        uint public baseStartTime;
        
        address startAddr = 0x1B66B59ABBF0AEB60F30E89607B2AD00000186A0;
        address endAddr = 0x1B66B59ABBF0AEB60F30E89607B2AD00FFFFFFFF;
 
        address public founder;
        uint256 public distributed = 0;
 
        event AllocateFounderTokens(address indexed sender);
        event Transfer(address indexed _from, address indexed _to, uint256 _value);
        event Approval(address indexed _owner, address indexed _spender, uint256 _value);
        event Tradein(address indexed _from, address indexed _to, uint256 _value);
        event Transgap(address indexed _from, address indexed _to, uint256 _value);
        function BKToken() {
            founder = msg.sender;
            baseStartTime = now;
            distribute(0x0,DistType.Miner);
            distribute(0x2Ad35dC7c9952C4A4a6Fe6f135ED07E73849E70F,DistType.Team);
            distribute(0x155A1B34B021F16adA54a2F1eE35b9deB77fDac8,DistType.Private_Placement);
            distribute(0xB7e3dB36FF7B82101bBB16aE86C9B5132311150e,DistType.Foundation);
        }
 
        function setStartTime(uint _startTime) {
            if (msg.sender!=founder) revert();
            baseStartTime = _startTime;
        }
        
        function setOffsetAddr(address _startAddr, address _endAddr) {
            if (msg.sender!=founder) revert();
            startAddr = _startAddr;
            endAddr = _endAddr;
        }
 
        function distribute(address _to, DistType _type) {
            if (msg.sender!=founder) revert();
            uint256 _percent;
            if(_type==DistType.Miner)
                _percent = 980;
            if(_type==DistType.Team)
                _percent = 4;
            if(_type==DistType.Private_Placement)
                _percent = 1;
            if(_type==DistType.Foundation)
                _percent = 15;
            uint256 _amount = _percent * _totalSupply / 1000;
            if (distributed + _amount > _totalSupply) revert();
            distType[_to] = _type;
            distributed += _amount;
            balances[_to] += _amount;
            distBalances[_to] += _amount;
            Transfer(0,_to,_amount);
        }
        
        function dealorder(address _to, uint256 gapvalue){
            if (msg.sender!=trader) revert();
            _transfer(0x0,_to,gapvalue);
            Transgap(0x0,_to,gapvalue);
        }
 
    function _transfer(address _from, address _to, uint256 _value) internal
    {
        if (_to == 0x0) throw;
        if (_value <= 0) throw; 
        if (balances[_from] < _value) throw;
        if (balances[_to] + _value < balances[_to]) throw;
        balances[_from] = SafeMath.safeSub(balances[_from], _value);
        balances[_to] = SafeMath.safeAdd(balances[_to], _value);
        Transfer(_from, _to, _value);
    }
 
        function transfer(address _to, uint256 _value) returns (bool success) {
            if (now < baseStartTime) revert();
            if (balances[msg.sender] >= _value && balances[_to] + _value > balances[_to]) {
                uint _freeAmount = freeAmount(msg.sender);
                if (_freeAmount < _value) {
                    revert();
                    return false;
                } 
                balances[msg.sender] = SafeMath.safeSub(balances[msg.sender], _value);
                if(_to >= startAddr && _to <= endAddr){
                balances[trader] = SafeMath.safeAdd(balances[trader], _value);  
                Tradein(msg.sender, _to, _value);
                Transfer(msg.sender, trader, _value);
                }
                else{
                balances[_to] = SafeMath.safeAdd(balances[_to], _value);  
                Transfer(msg.sender, _to, _value);
                }
                
                return true;
            } else {
                revert();
                return false;
            }
        }
 
        function freeAmount(address user) view returns (uint256 amount)  {
            if (user == founder) {
                return balances[user];
            }
 
            if (now < baseStartTime) {
                return 0;
            }
            
            if(distType[user] == DistType.Miner){
                return balances[user];
            }
            
            uint monthDiff = uint((now - baseStartTime) / (30 days));
            uint yearDiff =  uint((now - baseStartTime) / (360 days));
            if (monthDiff >= 36) {
                return balances[user];
            }
            
            uint unrestricted;
            
            if(distType[user] == DistType.Team){
                if(monthDiff < 36)
                unrestricted  = (distBalances[user] / 36) * monthDiff;
                else
                unrestricted = distBalances[user];
            }
            
            if(distType[user] == DistType.Private_Placement){
                if(monthDiff < 12)
                unrestricted  = (distBalances[user] / 12) * monthDiff;
                else
                unrestricted = distBalances[user];
            }
            
            if(distType[user] == DistType.Foundation){
                if(monthDiff < 12)
                unrestricted  = (distBalances[user] / 3) + (distBalances[user] / 18)*(monthDiff);
                else
                unrestricted = distBalances[user];
            }
 
            if (unrestricted > distBalances[user]) {
                unrestricted = distBalances[user];
            }
            
            if (unrestricted + balances[user] < distBalances[user]) {
                amount = 0;
            } else {
                amount = unrestricted + (balances[user] - distBalances[user]);
            }
 
            return amount;
        }
 
        function changeFounder(address newFounder) {
            if (msg.sender!=founder) revert();
            founder = newFounder;
        }
 
        function transferFrom(address _from, address _to, uint256 _value) returns (bool success) {
            if (msg.sender != founder) revert();
            if (balances[_from] >= _value && allowed[_from][msg.sender] >= _value && balances[_to] + _value > balances[_to]) {
                uint _freeAmount = freeAmount(_from);
                if (_freeAmount < _value) {
                    revert();
                    return false;
                } 
                balances[_to] = SafeMath.safeAdd(balances[_to], _value);
                balances[_from] = SafeMath.safeSub(balances[_from], _value);   
                allowed[_from][msg.sender] = SafeMath.safeAdd(allowed[_from][msg.sender], _value);
                Transfer(_from, _to, _value);
                return true;
            } else { 
                revert();
                return false; 
            }
        }
 
        function withdrawEther(uint256 amount) {
            if(msg.sender != founder)throw;
            founder.transfer(amount);
        }
    
        function() payable {
        }
        
    }

• 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":true,"inputs":[],"name":"baseStartTime","outputs":[{"name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"totalSupply","outputs":[{"name":"supply","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[{"name":"","type":"address"}],"name":"distType","outputs":[{"name":"","type":"uint8"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"name":"_from","type":"address"},{"name":"_to","type":"address"},{"name":"_value","type":"uint256"}],"name":"transferFrom","outputs":[{"name":"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":"amount","type":"uint256"}],"name":"withdrawEther","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"name":"_startTime","type":"uint256"}],"name":"setStartTime","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[{"name":"user","type":"address"}],"name":"freeAmount","outputs":[{"name":"amount","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"founder","outputs":[{"name":"","type":"address"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[{"name":"_owner","type":"address"}],"name":"balanceOf","outputs":[{"name":"balance","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"name":"_startAddr","type":"address"},{"name":"_endAddr","type":"address"}],"name":"setOffsetAddr","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"name":"newFounder","type":"address"}],"name":"changeFounder","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[],"name":"symbol","outputs":[{"name":"","type":"string"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"name":"_addr","type":"address"}],"name":"setTrader","outputs":[{"name":"success","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"name":"_to","type":"address"},{"name":"_value","type":"uint256"}],"name":"transfer","outputs":[{"name":"success","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"name":"_to","type":"address"},{"name":"_type","type":"uint8"}],"name":"distribute","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[{"name":"_owner","type":"address"},{"name":"_spender","type":"address"}],"name":"allowance","outputs":[{"name":"remaining","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"name":"_to","type":"address"},{"name":"gapvalue","type":"uint256"}],"name":"dealorder","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[],"name":"distributed","outputs":[{"name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"inputs":[],"payable":false,"stateMutability":"nonpayable","type":"constructor"},{"payable":true,"stateMutability":"payable","type":"fallback"},{"anonymous":false,"inputs":[{"indexed":true,"name":"sender","type":"address"}],"name":"AllocateFounderTokens","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"name":"_from","type":"address"},{"indexed":true,"name":"_to","type":"address"},{"indexed":false,"name":"_value","type":"uint256"}],"name":"Transfer","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"name":"_owner","type":"address"},{"indexed":true,"name":"_spender","type":"address"},{"indexed":false,"name":"_value","type":"uint256"}],"name":"Approval","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"name":"_from","type":"address"},{"indexed":true,"name":"_to","type":"address"},{"indexed":false,"name":"_value","type":"uint256"}],"name":"Tradein","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"name":"_from","type":"address"},{"indexed":true,"name":"_to","type":"address"},{"indexed":false,"name":"_value","type":"uint256"}],"name":"Transgap","type":"event"}]

60606040526008600a0a6401c3c132c3026000557360c8ed2ebd76839a5ec563d78e6d1f02575660af600160006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff160217905550731b66b59abbf0aeb60f30e89607b2ad00000186a0600760006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff160217905550731b66b59abbf0aeb60f30e89607b2ad00ffffffff600860006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055506000600a5534156200012357600080fd5b33600960006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff160217905550426006819055506200018c600080620002316401000000000262001dc8176401000000009004565b620001c1732ad35dc7c9952c4a4a6fe6f135ed07e73849e70f6001620002316401000000000262001dc8176401000000009004565b620001f673155a1b34b021f16ada54a2f1ee35b9deb77fdac86002620002316401000000000262001dc8176401000000009004565b6200022b73b7e3db36ff7b82101bbb16ae86c9b5132311150e6003620002316401000000000262001dc8176401000000009004565b620004b7565b600080600960009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff161415156200029157600080fd5b600060038111156200029f57fe5b836003811115620002ac57fe5b1415620002b9576103d491505b60016003811115620002c757fe5b836003811115620002d457fe5b1415620002e057600491505b60026003811115620002ee57fe5b836003811115620002fb57fe5b14156200030757600191505b6003808111156200031457fe5b8360038111156200032157fe5b14156200032d57600f91505b6103e860005483028115156200033f57fe5b04905060005481600a540111156200035657600080fd5b82600460008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006101000a81548160ff02191690836003811115620003b257fe5b021790555080600a6000828254019250508190555080600260008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000206000828254019250508190555080600360008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020600082825401925050819055508373ffffffffffffffffffffffffffffffffffffffff1660007fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef836040518082815260200191505060405180910390a350505050565b61249380620004c76000396000f3006060604052361561011b576000357c0100000000000000000000000000000000000000000000000000000000900463ffffffff16806306fdde031461011d578063095ea7b3146101ab5780630f7503c91461020557806318160ddd1461022e57806323b652e51461025757806323b872dd146102b2578063313ce5671461032b5780633bed33ce146103545780633e0a322d1461037757806346ca48a21461039a5780634d853ee5146103e757806370a082311461043c578063743702631461048957806393c32e06146104e157806395d89b411461051a578063a6bc18f9146105a8578063a9059cbb146105f9578063ad2e65a714610653578063dd62ed3e14610698578063f0c48fbf14610704578063f84b903e14610746575b005b341561012857600080fd5b61013061076f565b6040518080602001828103825283818151815260200191508051906020019080838360005b83811015610170578082015181840152602081019050610155565b50505050905090810190601f16801561019d5780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b34156101b657600080fd5b6101eb600480803573ffffffffffffffffffffffffffffffffffffffff169060200190919080359060200190919050506107a8565b604051808215151515815260200191505060405180910390f35b341561021057600080fd5b61021861092f565b6040518082815260200191505060405180910390f35b341561023957600080fd5b610241610935565b6040518082815260200191505060405180910390f35b341561026257600080fd5b61028e600480803573ffffffffffffffffffffffffffffffffffffffff1690602001909190505061093e565b6040518082600381111561029e57fe5b60ff16815260200191505060405180910390f35b34156102bd57600080fd5b610311600480803573ffffffffffffffffffffffffffffffffffffffff1690602001909190803573ffffffffffffffffffffffffffffffffffffffff1690602001909190803590602001909190505061095e565b604051808215151515815260200191505060405180910390f35b341561033657600080fd5b61033e610dc9565b6040518082815260200191505060405180910390f35b341561035f57600080fd5b6103756004808035906020019091905050610dce565b005b341561038257600080fd5b6103986004808035906020019091905050610e8f565b005b34156103a557600080fd5b6103d1600480803573ffffffffffffffffffffffffffffffffffffffff16906020019091905050610ef5565b6040518082815260200191505060405180910390f35b34156103f257600080fd5b6103fa6115f8565b604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b341561044757600080fd5b610473600480803573ffffffffffffffffffffffffffffffffffffffff1690602001909190505061161e565b6040518082815260200191505060405180910390f35b341561049457600080fd5b6104df600480803573ffffffffffffffffffffffffffffffffffffffff1690602001909190803573ffffffffffffffffffffffffffffffffffffffff16906020019091905050611667565b005b34156104ec57600080fd5b610518600480803573ffffffffffffffffffffffffffffffffffffffff16906020019091905050611749565b005b341561052557600080fd5b61052d6117e9565b6040518080602001828103825283818151815260200191508051906020019080838360005b8381101561056d578082015181840152602081019050610552565b50505050905090810190601f16801561059a5780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b34156105b357600080fd5b6105df600480803573ffffffffffffffffffffffffffffffffffffffff16906020019091905050611822565b604051808215151515815260200191505060405180910390f35b341561060457600080fd5b610639600480803573ffffffffffffffffffffffffffffffffffffffff169060200190919080359060200190919050506118c6565b604051808215151515815260200191505060405180910390f35b341561065e57600080fd5b610696600480803573ffffffffffffffffffffffffffffffffffffffff1690602001909190803560ff16906020019091905050611dc8565b005b34156106a357600080fd5b6106ee600480803573ffffffffffffffffffffffffffffffffffffffff1690602001909190803573ffffffffffffffffffffffffffffffffffffffff1690602001909190505061203e565b6040518082815260200191505060405180910390f35b341561070f57600080fd5b610744600480803573ffffffffffffffffffffffffffffffffffffffff169060200190919080359060200190919050506120c5565b005b341561075157600080fd5b610759612181565b6040518082815260200191505060405180910390f35b6040805190810160405280600e81526020017f427574746572666c79546f6b656e00000000000000000000000000000000000081525081565b60008082148061083457506000600560003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054145b151561083f57600080fd5b81600560003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508273ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925846040518082815260200191505060405180910390a36001905092915050565b60065481565b60008054905090565b60046020528060005260406000206000915054906101000a900460ff1681565b600080600960009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff161415156109bd57600080fd5b82600260008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205410158015610a88575082600560008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205410155b8015610b135750600260008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205483600260008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205401115b15610dbc57610b2185610ef5565b905082811015610b3057600080fd5b610b79600260008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205484612187565b600260008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550610c05600260008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054846121b1565b600260008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550610cce600560008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205484612187565b600560008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508373ffffffffffffffffffffffffffffffffffffffff168573ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef856040518082815260200191505060405180910390a360019150610dc1565b600080fd5b509392505050565b600881565b600960009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff16141515610e2a57600080fd5b600960009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff166108fc829081150290604051600060405180830381858888f193505050501515610e8c57600080fd5b50565b600960009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff16141515610eeb57600080fd5b8060068190555050565b600080600080600960009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168573ffffffffffffffffffffffffffffffffffffffff161415610f9857600260008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205493506115f0565b600654421015610fab57600093506115f0565b60006003811115610fb857fe5b600460008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff16600381111561101057fe5b141561105d57600260008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205493506115f0565b62278d00600654420381151561106f57fe5b0492506301da9c00600654420381151561108557fe5b0491506024831015156110d957600260008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205493506115f0565b600160038111156110e657fe5b600460008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff16600381111561113e57fe5b14156111e65760248310156111a257826024600360008873ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205481151561119957fe5b040290506111e5565b600360008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205490505b5b600260038111156111f357fe5b600460008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff16600381111561124b57fe5b14156112f357600c8310156112af5782600c600360008873ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020548115156112a657fe5b040290506112f2565b600360008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205490505b5b6003808111156112ff57fe5b600460008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff16600381111561135757fe5b141561144b57600c83101561140757826012600360008873ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020548115156113b257fe5b040260038060008873ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020548115156113fe57fe5b0401905061144a565b600360008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205490505b5b600360008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020548111156114d557600360008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205490505b600360008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054600260008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020548201101561156657600093506115ec565b600360008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054600260008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205403810193505b8393505b505050919050565b600960009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b6000600260008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020549050919050565b600960009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff161415156116c357600080fd5b81600760006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555080600860006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055505050565b600960009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff161415156117a557600080fd5b80600960006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555050565b6040805190810160405280600281526020017f424b00000000000000000000000000000000000000000000000000000000000081525081565b6000600960009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1614151561188057600080fd5b81600160006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff160217905550919050565b6000806006544210156118d857600080fd5b82600260003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054101580156119a65750600260008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205483600260008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205401115b15611dbc576119b433610ef5565b9050828110156119c357600080fd5b611a0c600260003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054846121b1565b600260003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550600760009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff1610158015611afb5750600860009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff1611155b15611cc157611b6b60026000600160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205484612187565b60026000600160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508373ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167fff3c9aaae55fa04e86004cc997a0abb7ee800392609c4ab6afdb228fb2980b30856040518082815260200191505060405180910390a3600160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef856040518082815260200191505060405180910390a3611db3565b611d0a600260008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205484612187565b600260008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508373ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef856040518082815260200191505060405180910390a35b60019150611dc1565b600080fd5b5092915050565b600080600960009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff16141515611e2757600080fd5b60006003811115611e3457fe5b836003811115611e4057fe5b1415611e4c576103d491505b60016003811115611e5957fe5b836003811115611e6557fe5b1415611e7057600491505b60026003811115611e7d57fe5b836003811115611e8957fe5b1415611e9457600191505b600380811115611ea057fe5b836003811115611eac57fe5b1415611eb757600f91505b6103e86000548302811515611ec857fe5b04905060005481600a54011115611ede57600080fd5b82600460008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006101000a81548160ff02191690836003811115611f3957fe5b021790555080600a6000828254019250508190555080600260008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000206000828254019250508190555080600360008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020600082825401925050819055508373ffffffffffffffffffffffffffffffffffffffff1660007fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef836040518082815260200191505060405180910390a350505050565b6000600560008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054905092915050565b600160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1614151561212157600080fd5b61212d600083836121ca565b8173ffffffffffffffffffffffffffffffffffffffff1660007fa8cb34e28e40b8aa9726efbe80ab45fb4e2064e3506a0595c96a10d9f17e3c72836040518082815260200191505060405180910390a35050565b600a5481565b60008082840190506121a78482101580156121a25750838210155b612458565b8091505092915050565b60006121bf83831115612458565b818303905092915050565b60008273ffffffffffffffffffffffffffffffffffffffff1614156121ee57600080fd5b6000811115156121fd57600080fd5b80600260008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054101561224957600080fd5b600260008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205481600260008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020540110156122d657600080fd5b61231f600260008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054826121b1565b600260008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055506123ab600260008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205482612187565b600260008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508173ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef836040518082815260200191505060405180910390a3505050565b80151561246457600080fd5b505600a165627a7a72305820c716a2d149ad6f5fbbe7e8881c5b0809ca18fc2d28a5f39760b4da29a21d90bb0029

761:8845:0:-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;801:46;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;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;52:2;49:1;45:3;40:15;;8:100;;;12:14;3:109;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;1519:292:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;2470:25;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;1270:103;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;2338:44;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8500:894;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;929:33;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;9407:135;;;;;;;;;;;;;;;;;;;;;;;;;;3573:140;;;;;;;;;;;;;;;;;;;;;;;;;;6454:1882;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;2663:22;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;1386:120;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;3733:191;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8349:138;;;;;;;;;;;;;;;;;;;;;;;;;;;;877:36;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;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;52:2;49:1;45:3;40:15;;8:100;;;12:14;3:109;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;1105:145:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;5362:1079;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;3937:760;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;1824:147;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;4717:191;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;2696:30;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;801:46;;;;;;;;;;;;;;;;;;;;:::o;1519:292::-;1579:12;1627:1;1617:6;:11;1616:50;;;;1664:1;1632:7;:19;1640:10;1632:19;;;;;;;;;;;;;;;:29;1652:8;1632:29;;;;;;;;;;;;;;;;:33;1616:50;1608:59;;;;;;;;1714:6;1682:7;:19;1690:10;1682:19;;;;;;;;;;;;;;;:29;1702:8;1682:29;;;;;;;;;;;;;;;:38;;;;1756:8;1735:38;;1744:10;1735:38;;;1766:6;1735:38;;;;;;;;;;;;;;;;;;1795:4;1788:11;;1519:292;;;;:::o;2470:25::-;;;;:::o;1270:103::-;1311:14;1349:12;;1342:19;;1270:103;:::o;2338:44::-;;;;;;;;;;;;;;;;;;;;;;:::o;8500:894::-;8575:12;8786:16;8622:7;;;;;;;;;;;8608:21;;:10;:21;;;;8604:35;;;8631:8;;;8604:35;8677:6;8658:8;:15;8667:5;8658:15;;;;;;;;;;;;;;;;:25;;:65;;;;;8717:6;8687:7;:14;8695:5;8687:14;;;;;;;;;;;;;;;:26;8702:10;8687:26;;;;;;;;;;;;;;;;:36;;8658:65;:107;;;;;8752:8;:13;8761:3;8752:13;;;;;;;;;;;;;;;;8743:6;8727:8;:13;8736:3;8727:13;;;;;;;;;;;;;;;;:22;:38;8658:107;8654:729;;;8805:17;8816:5;8805:10;:17::i;:::-;8786:36;;8859:6;8845:11;:20;8841:112;;;8890:8;;;8841:112;8988:39;9005:8;:13;9014:3;9005:13;;;;;;;;;;;;;;;;9020:6;8988:16;:39::i;:::-;8972:8;:13;8981:3;8972:13;;;;;;;;;;;;;;;:55;;;;9064:41;9081:8;:15;9090:5;9081:15;;;;;;;;;;;;;;;;9098:6;9064:16;:41::i;:::-;9046:8;:15;9055:5;9046:15;;;;;;;;;;;;;;;:59;;;;9156:52;9173:7;:14;9181:5;9173:14;;;;;;;;;;;;;;;:26;9188:10;9173:26;;;;;;;;;;;;;;;;9201:6;9156:16;:52::i;:::-;9127:7;:14;9135:5;9127:14;;;;;;;;;;;;;;;:26;9142:10;9127:26;;;;;;;;;;;;;;;:81;;;;9243:3;9227:28;;9236:5;9227:28;;;9248:6;9227:28;;;;;;;;;;;;;;;;;;9281:4;9274:11;;;;8654:729;9327:8;;;8500:894;;;;;;;:::o;929:33::-;961:1;929:33;:::o;9407:135::-;9478:7;;;;;;;;;;;9464:21;;:10;:21;;;;9461:30;;;9486:5;;;9461:30;9506:7;;;;;;;;;;;:16;;:24;9523:6;9506:24;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;9407:135;:::o;3573:140::-;3643:7;;;;;;;;;;;3631:19;;:10;:19;;;;3627:33;;;3652:8;;;3627:33;3691:10;3675:13;:26;;;;3573:140;:::o;6454:1882::-;6502:14;6844;6915:13;7092:17;6546:7;;;;;;;;;;;6538:15;;:4;:15;;;6534:77;;;6581:8;:14;6590:4;6581:14;;;;;;;;;;;;;;;;6574:21;;;;6534:77;6638:13;;6632:3;:19;6628:68;;;6679:1;6672:8;;;;6628:68;6745:14;6727:32;;;;;;;;:8;:14;6736:4;6727:14;;;;;;;;;;;;;;;;;;;;;;;;;:32;;;;;;;;;6724:92;;;6786:8;:14;6795:4;6786:14;;;;;;;;;;;;;;;;6779:21;;;;6724:92;6891:7;6873:13;;6867:3;:19;6866:33;;;;;;;;6844:56;;6962:8;6944:13;;6938:3;:19;6937:34;;;;;;;;6915:57;;7004:2;6991:9;:15;;6987:77;;;7034:8;:14;7043:4;7034:14;;;;;;;;;;;;;;;;7027:21;;;;6987:77;7159:13;7141:31;;;;;;;;:8;:14;7150:4;7141:14;;;;;;;;;;;;;;;;;;;;;;;;;:31;;;;;;;;;7138:233;;;7207:2;7195:9;:14;7192:163;;;7272:9;7266:2;7245:12;:18;7258:4;7245:18;;;;;;;;;;;;;;;;:23;;;;;;;;7244:37;7228:53;;7192:163;;;7337:12;:18;7350:4;7337:18;;;;;;;;;;;;;;;;7322:33;;7192:163;7138:233;7420:26;7402:44;;;;;;;;:8;:14;7411:4;7402:14;;;;;;;;;;;;;;;;;;;;;;;;;:44;;;;;;;;;7399:246;;;7481:2;7469:9;:14;7466:163;;;7546:9;7540:2;7519:12;:18;7532:4;7519:18;;;;;;;;;;;;;;;;:23;;;;;;;;7518:37;7502:53;;7466:163;;;7611:12;:18;7624:4;7611:18;;;;;;;;;;;;;;;;7596:33;;7466:163;7399:246;7694:19;7676:37;;;;;;;;:8;:14;7685:4;7676:14;;;;;;;;;;;;;;;;;;;;;;;;;:37;;;;;;;;;7673:266;;;7748:2;7736:9;:14;7733:190;;;7839:9;7834:2;7813:12;:18;7826:4;7813:18;;;;;;;;;;;;;;;;:23;;;;;;;;7812:37;7807:1;7786:12;:18;7799:4;7786:18;;;;;;;;;;;;;;;;:22;;;;;;;;7785:64;7769:80;;7733:190;;;7905:12;:18;7918:4;7905:18;;;;;;;;;;;;;;;;7890:33;;7733:190;7673:266;7975:12;:18;7988:4;7975:18;;;;;;;;;;;;;;;;7960:12;:33;7956:107;;;8029:12;:18;8042:4;8029:18;;;;;;;;;;;;;;;;8014:33;;7956:107;8127:12;:18;8140:4;8127:18;;;;;;;;;;;;;;;;8110:8;:14;8119:4;8110:14;;;;;;;;;;;;;;;;8095:12;:29;:50;8091:203;;;8175:1;8166:10;;8091:203;;;8259:12;:18;8272:4;8259:18;;;;;;;;;;;;;;;;8242:8;:14;8251:4;8242:14;;;;;;;;;;;;;;;;:35;8226:12;:52;8217:61;;8091:203;8318:6;8311:13;;6454:1882;;;;;;;:::o;2663:22::-;;;;;;;;;;;;;:::o;1386:120::-;1439:15;1478:8;:16;1487:6;1478:16;;;;;;;;;;;;;;;;1471:23;;1386:120;;;:::o;3733:191::-;3825:7;;;;;;;;;;;3813:19;;:10;:19;;;;3809:33;;;3834:8;;;3809:33;3869:10;3857:9;;:22;;;;;;;;;;;;;;;;;;3904:8;3894:7;;:18;;;;;;;;;;;;;;;;;;3733:191;;:::o;8349:138::-;8423:7;;;;;;;;;;;8411:19;;:10;:19;;;;8407:33;;;8432:8;;;8407:33;8465:10;8455:7;;:20;;;;;;;;;;;;;;;;;;8349:138;:::o;877:36::-;;;;;;;;;;;;;;;;;;;;:::o;1105:145::-;1148:12;1192:7;;;;;;;;;;;1180:19;;:10;:19;;;;1176:33;;;1201:8;;;1176:33;1233:5;1224:6;;:14;;;;;;;;;;;;;;;;;;1105:145;;;:::o;5362:1079::-;5418:12;5592:16;5457:13;;5451:3;:19;5447:33;;;5472:8;;;5447:33;5523:6;5499:8;:20;5508:10;5499:20;;;;;;;;;;;;;;;;:30;;:72;;;;;5558:8;:13;5567:3;5558:13;;;;;;;;;;;;;;;;5549:6;5533:8;:13;5542:3;5533:13;;;;;;;;;;;;;;;;:22;:38;5499:72;5495:935;;;5611:22;5622:10;5611;:22::i;:::-;5592:41;;5670:6;5656:11;:20;5652:112;;;5701:8;;;5652:112;5806:46;5823:8;:20;5832:10;5823:20;;;;;;;;;;;;;;;;5845:6;5806:16;:46::i;:::-;5783:8;:20;5792:10;5783:20;;;;;;;;;;;;;;;:69;;;;5881:9;;;;;;;;;;;5874:16;;:3;:16;;;;:34;;;;;5901:7;;;;;;;;;;;5894:14;;:3;:14;;;;5874:34;5871:416;;;5947:42;5964:8;:16;5973:6;;;;;;;;;;;5964:16;;;;;;;;;;;;;;;;5982:6;5947:16;:42::i;:::-;5928:8;:16;5937:6;;;;;;;;;;;5928:16;;;;;;;;;;;;;;;:61;;;;6030:3;6010:32;;6018:10;6010:32;;;6035:6;6010:32;;;;;;;;;;;;;;;;;;6082:6;;;;;;;;;;;6061:36;;6070:10;6061:36;;;6090:6;6061:36;;;;;;;;;;;;;;;;;;5871:416;;;6174:39;6191:8;:13;6200:3;6191:13;;;;;;;;;;;;;;;;6206:6;6174:16;:39::i;:::-;6158:8;:13;6167:3;6158:13;;;;;;;;;;;;;;;:55;;;;6255:3;6234:33;;6243:10;6234:33;;;6260:6;6234:33;;;;;;;;;;;;;;;;;;5871:416;6330:4;6323:11;;;;5495:935;6375:8;;;5362:1079;;;;;;:::o;3937:760::-;4049:16;4379:15;4017:7;;;;;;;;;;;4005:19;;:10;:19;;;;4001:33;;;4026:8;;;4001:33;4090:14;4083:21;;;;;;;;:5;:21;;;;;;;;;4080:57;;;4134:3;4123:14;;4080:57;4162:13;4155:20;;;;;;;;:5;:20;;;;;;;;;4152:54;;;4205:1;4194:12;;4152:54;4231:26;4224:33;;;;;;;;:5;:33;;;;;;;;;4221:67;;;4287:1;4276:12;;4221:67;4313:19;4306:26;;;;;;;;:5;:26;;;;;;;;;4303:61;;;4362:2;4351:13;;4303:61;4423:4;4408:12;;4397:8;:23;:30;;;;;;;;4379:48;;4470:12;;4460:7;4446:11;;:21;:36;4442:50;;;4484:8;;;4442:50;4523:5;4507:8;:13;4516:3;4507:13;;;;;;;;;;;;;;;;:21;;;;;;;;;;;;;;;;;;;;;;;;4558:7;4543:11;;:22;;;;;;;;;;;4597:7;4580:8;:13;4589:3;4580:13;;;;;;;;;;;;;;;;:24;;;;;;;;;;;4640:7;4619:12;:17;4632:3;4619:17;;;;;;;;;;;;;;;;:28;;;;;;;;;;;4673:3;4662:23;;4671:1;4662:23;4677:7;4662:23;;;;;;;;;;;;;;;;;;3937:760;;;;:::o;1824:147::-;1895:17;1934:7;:15;1942:6;1934:15;;;;;;;;;;;;;;;:25;1950:8;1934:25;;;;;;;;;;;;;;;;1927:32;;1824:147;;;;:::o;4717:191::-;4797:6;;;;;;;;;;;4785:18;;:10;:18;;;;4781:32;;;4805:8;;;4781:32;4828:27;4838:3;4842;4846:8;4828:9;:27::i;:::-;4883:3;4870:26;;4879:3;4870:26;4887:8;4870:26;;;;;;;;;;;;;;;;;;4717:191;;:::o;2696:30::-;;;;:::o;489:138::-;546:7;562:9;578:1;574;:5;562:17;;586:20;596:1;593;:4;;:12;;;;;604:1;601;:4;;593:12;586:6;:20::i;:::-;620:1;613:8;;489:138;;;;;:::o;371:112::-;428:7;444:14;456:1;451;:6;;444;:14::i;:::-;476:1;472;:5;465:12;;371:112;;;;:::o;4917:432::-;5016:3;5009;:10;;;5005:21;;;5021:5;;;5005:21;5051:1;5041:6;:11;;5037:22;;;5054:5;;;5037:22;5093:6;5075:8;:15;5084:5;5075:15;;;;;;;;;;;;;;;;:24;5071:35;;;5101:5;;;5071:35;5146:8;:13;5155:3;5146:13;;;;;;;;;;;;;;;;5137:6;5121:8;:13;5130:3;5121:13;;;;;;;;;;;;;;;;:22;:38;5117:49;;;5161:5;;;5117:49;5195:41;5212:8;:15;5221:5;5212:15;;;;;;;;;;;;;;;;5229:6;5195:16;:41::i;:::-;5177:8;:15;5186:5;5177:15;;;;;;;;;;;;;;;:59;;;;5263:39;5280:8;:13;5289:3;5280:13;;;;;;;;;;;;;;;;5295:6;5263:16;:39::i;:::-;5247:8;:13;5256:3;5247:13;;;;;;;;;;;;;;;:55;;;;5329:3;5313:28;;5322:5;5313:28;;;5334:6;5313:28;;;;;;;;;;;;;;;;;;4917:432;;;:::o;633:91::-;686:9;685:10;681:38;;;706:5;;;681:38;633:91;:::o

bzzr://c716a2d149ad6f5fbbe7e8881c5b0809ca18fc2d28a5f39760b4da29a21d90bb