Token

Contract Source Code (Solidity)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta
• Remix IDE

Outline

library SafeMath    - function mul(uint256 a, uint256 b)    - function div(uint256 a, uint256 b)    - function sub(uint256 a, uint256 b)    - function add(uint256 a, uint256 b)    - function ceil(uint a, uint m)  contract Owned    - function changeOwner(address payable ...    - function acceptOwnership()  contract ERC20    - function balanceOf(address _owner)    - function transfer(address _to, uint25 ...    - function transferFrom(address _from, ...    - function approve(address _spender, ui ...    - function allowance(address _owner, ad ...  contract Token is Owned, ERC20    - function balanceOf(address _owner)    - function transfer(address _to, uint25 ...    - function transferFromOwner(address _t ...    - function transferFrom(address _from,a ...    - function approve(address _spender, ui ...    - function allowance(address _owner, ad ...    - function burn(address _from, uint256 ...    - function fivePercent(uint256 _tokens)  contract PEANUTS is Token *    - function ()

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

/**
 *Submitted for verification at Etherscan.io on 2020-12-24
*/

//Every CocktailBar needs some Peanuts ; )
//This is your official invitation to the Cocktailbar Grand opening,
//Come join us: @cocktailbar_discussion
//
//Sincerely, Mr. Martini

pragma solidity ^0.5.9;
library SafeMath {

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

  function div(uint256 a, uint256 b) internal pure returns (uint256) {
    uint256 c = a / b;
    return c;
  }

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

  function add(uint256 a, uint256 b) internal pure returns (uint256) {
    uint256 c = a + b;
    assert(c >= a);
    return c;
  }
  
      function ceil(uint a, uint m) internal pure returns (uint r) {
        return (a + m - 1) / m * m;
    }

}

contract Owned {
    modifier onlyOwner() {
        require(msg.sender==owner);
        _;
    }
    address payable owner;
    address payable newOwner;
    function changeOwner(address payable _newOwner) public onlyOwner {
        require(_newOwner!=address(0));
        newOwner = _newOwner;
    }
    function acceptOwnership() public {
        if (msg.sender==newOwner) {
            owner = newOwner;
        }
    }
}

contract ERC20 {
    uint256 public totalSupply;
    function balanceOf(address _owner) view public  returns (uint256 balance);
    function transfer(address _to, uint256 _value) public  returns (bool success);
    function transferFrom(address _from, address _to, uint256 _value) public  returns (bool success);
    function approve(address _spender, uint256 _value) public returns (bool success);
    function allowance(address _owner, address _spender) view public  returns (uint256 remaining);
    event Transfer(address indexed _from, address indexed _to, uint256 _value);
    event Approval(address indexed _owner, address indexed _spender, uint256 _value);
}

contract Token is Owned,  ERC20 {
    using SafeMath for uint256;
    string public symbol;
    string public name;
    uint8 public decimals;
    mapping (address=>uint256) balances;
    mapping (address=>mapping (address=>uint256)) allowed;
    
    uint256 burn_amount=0;
    event Burn(address burner, uint256 _value);
    event BurntOut(address burner, uint256 _value);
    
    function balanceOf(address _owner) view public   returns (uint256 balance) {return balances[_owner];}
    
    function transfer(address _to, uint256 _amount) public   returns (bool success) {
        require (balances[msg.sender]>=_amount&&_amount>0&&balances[_to]+_amount>balances[_to]);

//Herein lies the magic of Peanuts; A 5% Testa Waste (BURN) //function reduces the supply of each transaction by 5%.This repeats //until there is but 100 PEANUTS left.

        uint256 amount = fivePercent(_amount); 
        burn(msg.sender,amount);
        if(totalSupply > 100000000000000000000)
        {
            
        uint256 amountToTransfer = _amount.sub(amount);
        balances[msg.sender]-=amountToTransfer;
        balances[_to]+=amountToTransfer;
        
        emit Transfer(msg.sender,_to,amountToTransfer);
        return true;
        }
        else{
         
        balances[msg.sender]-=_amount;
        balances[_to]+=_amount;
        emit Transfer(msg.sender,_to,_amount);
        return true;
        }
        
    }
  
  function transferFromOwner(address _to, uint256 _amount) public   returns (bool success) {
        require (balances[owner]>=_amount&&_amount>0&&balances[_to]+_amount>balances[_to]);
       
        uint256 amount = fivePercent(_amount);
        burn(owner, amount);
        
        if(totalSupply > 100000000000000000000)
        {
        uint256 amountToTransfer = _amount.sub(amount);
        balances[owner]-=amountToTransfer;
        balances[_to]+=amountToTransfer;
           emit Transfer(owner,_to,amountToTransfer);
        }else
        {
        
        balances[owner]-=_amount;
        balances[_to]+=_amount;
           emit Transfer(owner,_to,_amount);
        }
 return true;
    }
  
    function transferFrom(address _from,address _to,uint256 _amount) public   returns (bool success) {
        require (balances[_from]>=_amount&&allowed[_from][msg.sender]>=_amount&&_amount>0&&balances[_to]+_amount>balances[_to]);
        uint256 amount = fivePercent(_amount);
       
        burn(_from, amount);
       
        if(totalSupply > 100000000000000000000)
        {
        uint256 amountToTransfer = _amount.sub(amount);
        balances[_from]-=amountToTransfer;
        allowed[_from][msg.sender]-=amountToTransfer;
        balances[_to]+=amountToTransfer;
        emit Transfer(_from, _to, amountToTransfer);
        }
        else
        {
           
        balances[_from]-=_amount;
        allowed[_from][msg.sender]-=_amount;
        balances[_to]+=_amount;
        emit Transfer(_from, _to, _amount);
        }
       
        return true;
    }
  
    function approve(address _spender, uint256 _amount) public   returns (bool success) {
        allowed[msg.sender][_spender]=_amount;
        emit Approval(msg.sender, _spender, _amount);
        return true;
    }
    
    function allowance(address _owner, address _spender) view public   returns (uint256 remaining) {
      return allowed[_owner][_spender];
    }
    
    
    function burn(address _from, uint256 _value) internal  {
    
        if(totalSupply > 100000000000000000000)
        {
            
            uint256 burnlimit = totalSupply.sub(_value);
        
        
        if(burnlimit > 100000000000000000000)    
        {
        balances[_from] =balances[_from].sub(_value);  // Subtract from the sender
        totalSupply =totalSupply.sub(_value);  
        burn_amount = burn_amount.add(_value);
        // Updates totalSupply
        emit Burn(_from, _value);
        }else
        {
             emit BurntOut(msg.sender, _value);
        }
            
        }else
        {
            emit BurntOut(msg.sender, _value);
        }
        
        
        
    }
        function fivePercent(uint256 _tokens) private pure returns (uint256){
        uint256 roundValue = _tokens.ceil(100);
        uint fivepercentofTokens = roundValue.mul(500).div(100 * 10**uint(2));
        return fivepercentofTokens;
    }
}

contract PEANUTS is Token{
    using SafeMath for uint256;
    constructor() public{
        symbol = "PEANUTS";
        name = "PEANUTS";
        decimals = 18;
        totalSupply = 2500000000000000000000; //2500 
        
        owner = msg.sender;
        balances[owner] = totalSupply;
        
        
    }

    function () payable external {
        require(msg.value>0);
        owner.transfer(msg.value);
    }
    
    
    
    
}

• No Contract Security Audit Submitted- Submit Audit Here

[{"inputs":[],"payable":false,"stateMutability":"nonpayable","type":"constructor"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"_owner","type":"address"},{"indexed":true,"internalType":"address","name":"_spender","type":"address"},{"indexed":false,"internalType":"uint256","name":"_value","type":"uint256"}],"name":"Approval","type":"event"},{"anonymous":false,"inputs":[{"indexed":false,"internalType":"address","name":"burner","type":"address"},{"indexed":false,"internalType":"uint256","name":"_value","type":"uint256"}],"name":"Burn","type":"event"},{"anonymous":false,"inputs":[{"indexed":false,"internalType":"address","name":"burner","type":"address"},{"indexed":false,"internalType":"uint256","name":"_value","type":"uint256"}],"name":"BurntOut","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"_from","type":"address"},{"indexed":true,"internalType":"address","name":"_to","type":"address"},{"indexed":false,"internalType":"uint256","name":"_value","type":"uint256"}],"name":"Transfer","type":"event"},{"payable":true,"stateMutability":"payable","type":"fallback"},{"constant":false,"inputs":[],"name":"acceptOwnership","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[{"internalType":"address","name":"_owner","type":"address"},{"internalType":"address","name":"_spender","type":"address"}],"name":"allowance","outputs":[{"internalType":"uint256","name":"remaining","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"internalType":"address","name":"_spender","type":"address"},{"internalType":"uint256","name":"_amount","type":"uint256"}],"name":"approve","outputs":[{"internalType":"bool","name":"success","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[{"internalType":"address","name":"_owner","type":"address"}],"name":"balanceOf","outputs":[{"internalType":"uint256","name":"balance","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"internalType":"address payable","name":"_newOwner","type":"address"}],"name":"changeOwner","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[],"name":"decimals","outputs":[{"internalType":"uint8","name":"","type":"uint8"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"name","outputs":[{"internalType":"string","name":"","type":"string"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"symbol","outputs":[{"internalType":"string","name":"","type":"string"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"totalSupply","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"internalType":"address","name":"_to","type":"address"},{"internalType":"uint256","name":"_amount","type":"uint256"}],"name":"transfer","outputs":[{"internalType":"bool","name":"success","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"internalType":"address","name":"_from","type":"address"},{"internalType":"address","name":"_to","type":"address"},{"internalType":"uint256","name":"_amount","type":"uint256"}],"name":"transferFrom","outputs":[{"internalType":"bool","name":"success","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"internalType":"address","name":"_to","type":"address"},{"internalType":"uint256","name":"_amount","type":"uint256"}],"name":"transferFromOwner","outputs":[{"internalType":"bool","name":"success","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"}]

608060405260006008553480156200001657600080fd5b506040518060400160405280600781526020017f5045414e5554530000000000000000000000000000000000000000000000000081525060039080519060200190620000649291906200018c565b506040518060400160405280600781526020017f5045414e5554530000000000000000000000000000000000000000000000000081525060049080519060200190620000b29291906200018c565b506012600560006101000a81548160ff021916908360ff16021790555068878678326eac900000600281905550336000806101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff160217905550600254600660008060009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055506200023b565b828054600181600116156101000203166002900490600052602060002090601f016020900481019282601f10620001cf57805160ff191683800117855562000200565b8280016001018555821562000200579182015b82811115620001ff578251825591602001919060010190620001e2565b5b5090506200020f919062000213565b5090565b6200023891905b80821115620002345760008160009055506001016200021a565b5090565b90565b611a05806200024b6000396000f3fe6080604052600436106100a75760003560e01c806370a082311161006457806370a082311461038357806379ba5097146103e857806395d89b41146103ff578063a6f9dae11461048f578063a9059cbb146104e0578063dd62ed3e14610553576100a7565b806306fdde031461011e578063095ea7b3146101ae5780630f18ac071461022157806318160ddd1461029457806323b872dd146102bf578063313ce56714610352575b600034116100b457600080fd5b6000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff166108fc349081150290604051600060405180830381858888f1935050505015801561011b573d6000803e3d6000fd5b50005b34801561012a57600080fd5b506101336105d8565b6040518080602001828103825283818151815260200191508051906020019080838360005b83811015610173578082015181840152602081019050610158565b50505050905090810190601f1680156101a05780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b3480156101ba57600080fd5b50610207600480360360408110156101d157600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050610676565b604051808215151515815260200191505060405180910390f35b34801561022d57600080fd5b5061027a6004803603604081101561024457600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050610768565b604051808215151515815260200191505060405180910390f35b3480156102a057600080fd5b506102a9610b64565b6040518082815260200191505060405180910390f35b3480156102cb57600080fd5b50610338600480360360608110156102e257600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050610b6a565b604051808215151515815260200191505060405180910390f35b34801561035e57600080fd5b5061036761103d565b604051808260ff1660ff16815260200191505060405180910390f35b34801561038f57600080fd5b506103d2600480360360208110156103a657600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050611050565b6040518082815260200191505060405180910390f35b3480156103f457600080fd5b506103fd611099565b005b34801561040b57600080fd5b50610414611154565b6040518080602001828103825283818151815260200191508051906020019080838360005b83811015610454578082015181840152602081019050610439565b50505050905090810190601f1680156104815780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b34801561049b57600080fd5b506104de600480360360208110156104b257600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff1690602001909291905050506111f2565b005b3480156104ec57600080fd5b506105396004803603604081101561050357600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803590602001909291905050506112c9565b604051808215151515815260200191505060405180910390f35b34801561055f57600080fd5b506105c26004803603604081101561057657600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050611604565b6040518082815260200191505060405180910390f35b60048054600181600116156101000203166002900480601f01602080910402602001604051908101604052809291908181526020018280546001816001161561010002031660029004801561066e5780601f106106435761010080835404028352916020019161066e565b820191906000526020600020905b81548152906001019060200180831161065157829003601f168201915b505050505081565b600081600760003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508273ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925846040518082815260200191505060405180910390a36001905092915050565b600081600660008060009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054101580156107da5750600082115b80156108655750600660008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205482600660008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205401115b61086e57600080fd5b60006108798361168b565b90506108a66000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff16826116e0565b68056bc75e2d631000006002541115610a175760006108ce828561193a90919063ffffffff16565b905080600660008060009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000206000828254039250508190555080600660008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020600082825401925050819055508473ffffffffffffffffffffffffffffffffffffffff166000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef836040518082815260200191505060405180910390a350610b59565b82600660008060009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000206000828254039250508190555082600660008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020600082825401925050819055508373ffffffffffffffffffffffffffffffffffffffff166000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef856040518082815260200191505060405180910390a35b600191505092915050565b60025481565b600081600660008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205410158015610c37575081600760008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205410155b8015610c435750600082115b8015610cce5750600660008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205482600660008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205401115b610cd757600080fd5b6000610ce28361168b565b9050610cee85826116e0565b68056bc75e2d631000006002541115610ea7576000610d16828561193a90919063ffffffff16565b905080600660008873ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000206000828254039250508190555080600760008873ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000206000828254039250508190555080600660008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020600082825401925050819055508473ffffffffffffffffffffffffffffffffffffffff168673ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef836040518082815260200191505060405180910390a350611031565b82600660008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000206000828254039250508190555082600760008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000206000828254039250508190555082600660008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020600082825401925050819055508373ffffffffffffffffffffffffffffffffffffffff168573ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef856040518082815260200191505060405180910390a35b60019150509392505050565b600560009054906101000a900460ff1681565b6000600660008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020549050919050565b600160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff16141561115257600160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff166000806101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055505b565b60038054600181600116156101000203166002900480601f0160208091040260200160405190810160405280929190818152602001828054600181600116156101000203166002900480156111ea5780601f106111bf576101008083540402835291602001916111ea565b820191906000526020600020905b8154815290600101906020018083116111cd57829003601f168201915b505050505081565b6000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff161461124b57600080fd5b600073ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff16141561128557600080fd5b80600160006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555050565b600081600660003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020541015801561131a5750600082115b80156113a55750600660008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205482600660008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205401115b6113ae57600080fd5b60006113b98361168b565b90506113c533826116e0565b68056bc75e2d6310000060025411156114f95760006113ed828561193a90919063ffffffff16565b905080600660003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000206000828254039250508190555080600660008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020600082825401925050819055508473ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef836040518082815260200191505060405180910390a36001925050506115fe565b82600660003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000206000828254039250508190555082600660008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020600082825401925050819055508373ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef856040518082815260200191505060405180910390a360019150505b92915050565b6000600760008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054905092915050565b6000806116a260648461195190919063ffffffff16565b905060006116d46002600a0a6064026116c66101f48561196c90919063ffffffff16565b61199b90919063ffffffff16565b90508092505050919050565b68056bc75e2d6310000060025411156118ca57600061170a8260025461193a90919063ffffffff16565b905068056bc75e2d631000008111156118585761176f82600660008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461193a90919063ffffffff16565b600660008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055506117c78260025461193a90919063ffffffff16565b6002819055506117e2826008546119b490919063ffffffff16565b6008819055507fcc16f5dbb4873280815c1ee09dbd06736cffcc184412cf7a71a0fdb75d397ca58383604051808373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020018281526020019250505060405180910390a16118c4565b7fee37276e7b3883cc7a0f4f1e238057a7fbe39cce5844e57de30fbc92fb4131cf3383604051808373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020018281526020019250505060405180910390a15b50611936565b7fee37276e7b3883cc7a0f4f1e238057a7fbe39cce5844e57de30fbc92fb4131cf3382604051808373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020018281526020019250505060405180910390a15b5050565b60008282111561194657fe5b818303905092915050565b600081826001848601038161196257fe5b0402905092915050565b6000808284029050600084148061198b57508284828161198857fe5b04145b61199157fe5b8091505092915050565b6000808284816119a757fe5b0490508091505092915050565b6000808284019050838110156119c657fe5b809150509291505056fea265627a7a723158204039dd8e0596aeeb39ccfa6716b4f05e1402ec15abaae41b40b08be1ed66106d64736f6c63430005110032

0x6080604052600436106100a75760003560e01c806370a082311161006457806370a082311461038357806379ba5097146103e857806395d89b41146103ff578063a6f9dae11461048f578063a9059cbb146104e0578063dd62ed3e14610553576100a7565b806306fdde031461011e578063095ea7b3146101ae5780630f18ac071461022157806318160ddd1461029457806323b872dd146102bf578063313ce56714610352575b600034116100b457600080fd5b6000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff166108fc349081150290604051600060405180830381858888f1935050505015801561011b573d6000803e3d6000fd5b50005b34801561012a57600080fd5b506101336105d8565b6040518080602001828103825283818151815260200191508051906020019080838360005b83811015610173578082015181840152602081019050610158565b50505050905090810190601f1680156101a05780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b3480156101ba57600080fd5b50610207600480360360408110156101d157600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050610676565b604051808215151515815260200191505060405180910390f35b34801561022d57600080fd5b5061027a6004803603604081101561024457600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050610768565b604051808215151515815260200191505060405180910390f35b3480156102a057600080fd5b506102a9610b64565b6040518082815260200191505060405180910390f35b3480156102cb57600080fd5b50610338600480360360608110156102e257600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050610b6a565b604051808215151515815260200191505060405180910390f35b34801561035e57600080fd5b5061036761103d565b604051808260ff1660ff16815260200191505060405180910390f35b34801561038f57600080fd5b506103d2600480360360208110156103a657600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050611050565b6040518082815260200191505060405180910390f35b3480156103f457600080fd5b506103fd611099565b005b34801561040b57600080fd5b50610414611154565b6040518080602001828103825283818151815260200191508051906020019080838360005b83811015610454578082015181840152602081019050610439565b50505050905090810190601f1680156104815780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b34801561049b57600080fd5b506104de600480360360208110156104b257600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff1690602001909291905050506111f2565b005b3480156104ec57600080fd5b506105396004803603604081101561050357600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803590602001909291905050506112c9565b604051808215151515815260200191505060405180910390f35b34801561055f57600080fd5b506105c26004803603604081101561057657600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050611604565b6040518082815260200191505060405180910390f35b60048054600181600116156101000203166002900480601f01602080910402602001604051908101604052809291908181526020018280546001816001161561010002031660029004801561066e5780601f106106435761010080835404028352916020019161066e565b820191906000526020600020905b81548152906001019060200180831161065157829003601f168201915b505050505081565b600081600760003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508273ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925846040518082815260200191505060405180910390a36001905092915050565b600081600660008060009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054101580156107da5750600082115b80156108655750600660008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205482600660008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205401115b61086e57600080fd5b60006108798361168b565b90506108a66000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff16826116e0565b68056bc75e2d631000006002541115610a175760006108ce828561193a90919063ffffffff16565b905080600660008060009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000206000828254039250508190555080600660008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020600082825401925050819055508473ffffffffffffffffffffffffffffffffffffffff166000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef836040518082815260200191505060405180910390a350610b59565b82600660008060009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000206000828254039250508190555082600660008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020600082825401925050819055508373ffffffffffffffffffffffffffffffffffffffff166000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef856040518082815260200191505060405180910390a35b600191505092915050565b60025481565b600081600660008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205410158015610c37575081600760008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205410155b8015610c435750600082115b8015610cce5750600660008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205482600660008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205401115b610cd757600080fd5b6000610ce28361168b565b9050610cee85826116e0565b68056bc75e2d631000006002541115610ea7576000610d16828561193a90919063ffffffff16565b905080600660008873ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000206000828254039250508190555080600760008873ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000206000828254039250508190555080600660008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020600082825401925050819055508473ffffffffffffffffffffffffffffffffffffffff168673ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef836040518082815260200191505060405180910390a350611031565b82600660008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000206000828254039250508190555082600760008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000206000828254039250508190555082600660008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020600082825401925050819055508373ffffffffffffffffffffffffffffffffffffffff168573ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef856040518082815260200191505060405180910390a35b60019150509392505050565b600560009054906101000a900460ff1681565b6000600660008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020549050919050565b600160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff16141561115257600160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff166000806101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055505b565b60038054600181600116156101000203166002900480601f0160208091040260200160405190810160405280929190818152602001828054600181600116156101000203166002900480156111ea5780601f106111bf576101008083540402835291602001916111ea565b820191906000526020600020905b8154815290600101906020018083116111cd57829003601f168201915b505050505081565b6000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff161461124b57600080fd5b600073ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff16141561128557600080fd5b80600160006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555050565b600081600660003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020541015801561131a5750600082115b80156113a55750600660008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205482600660008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205401115b6113ae57600080fd5b60006113b98361168b565b90506113c533826116e0565b68056bc75e2d6310000060025411156114f95760006113ed828561193a90919063ffffffff16565b905080600660003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000206000828254039250508190555080600660008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020600082825401925050819055508473ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef836040518082815260200191505060405180910390a36001925050506115fe565b82600660003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000206000828254039250508190555082600660008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020600082825401925050819055508373ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef856040518082815260200191505060405180910390a360019150505b92915050565b6000600760008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054905092915050565b6000806116a260648461195190919063ffffffff16565b905060006116d46002600a0a6064026116c66101f48561196c90919063ffffffff16565b61199b90919063ffffffff16565b90508092505050919050565b68056bc75e2d6310000060025411156118ca57600061170a8260025461193a90919063ffffffff16565b905068056bc75e2d631000008111156118585761176f82600660008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461193a90919063ffffffff16565b600660008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055506117c78260025461193a90919063ffffffff16565b6002819055506117e2826008546119b490919063ffffffff16565b6008819055507fcc16f5dbb4873280815c1ee09dbd06736cffcc184412cf7a71a0fdb75d397ca58383604051808373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020018281526020019250505060405180910390a16118c4565b7fee37276e7b3883cc7a0f4f1e238057a7fbe39cce5844e57de30fbc92fb4131cf3383604051808373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020018281526020019250505060405180910390a15b50611936565b7fee37276e7b3883cc7a0f4f1e238057a7fbe39cce5844e57de30fbc92fb4131cf3382604051808373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020018281526020019250505060405180910390a15b5050565b60008282111561194657fe5b818303905092915050565b600081826001848601038161196257fe5b0402905092915050565b6000808284029050600084148061198b57508284828161198857fe5b04145b61199157fe5b8091505092915050565b6000808284816119a757fe5b0490508091505092915050565b6000808284019050838110156119c657fe5b809150509291505056fea265627a7a723158204039dd8e0596aeeb39ccfa6716b4f05e1402ec15abaae41b40b08be1ed66106d64736f6c63430005110032

6509:466:0:-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;6902:1;6892:9;:11;6884:20;;;;;;6915:5;;;;;;;;;;;:14;;:25;6930:9;6915:25;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;6915:25:0;6509:466;2107:18;;8:9:-1;5:2;;;30:1;27;20:12;5:2;2107:18:0;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;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;2107:18:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;5113:217;;8:9:-1;5:2;;;30:1;27;20:12;5:2;5113:217:0;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;5113:217:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;3479:721;;8:9:-1;5:2;;;30:1;27;20:12;5:2;3479:721:0;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;3479:721:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;1352:26;;8:9:-1;5:2;;;30:1;27;20:12;5:2;1352:26:0;;;:::i;:::-;;;;;;;;;;;;;;;;;;;4210:893;;8:9:-1;5:2;;;30:1;27;20:12;5:2;4210:893:0;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;4210:893:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;2132:21;;8:9:-1;5:2;;;30:1;27;20:12;5:2;2132:21:0;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;2404:101;;8:9:-1;5:2;;;30:1;27;20:12;5:2;2404:101:0;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;2404:101:0;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;1202:121;;8:9:-1;5:2;;;30:1;27;20:12;5:2;1202:121:0;;;:::i;:::-;;2080:20;;8:9:-1;5:2;;;30:1;27;20:12;5:2;2080:20:0;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;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;2080:20:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;1051:145;;8:9:-1;5:2;;;30:1;27;20:12;5:2;1051:145:0;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;1051:145:0;;;;;;;;;;;;;;;;;;;:::i;:::-;;2517:954;;8:9:-1;5:2;;;30:1;27;20:12;5:2;2517:954:0;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;2517:954:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;5342:144;;8:9:-1;5:2;;;30:1;27;20:12;5:2;5342:144:0;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;5342:144:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;2107:18;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::o;5113:217::-;5183:12;5238:7;5208;:19;5216:10;5208:19;;;;;;;;;;;;;;;:29;5228:8;5208:29;;;;;;;;;;;;;;;:37;;;;5282:8;5261:39;;5270:10;5261:39;;;5292:7;5261:39;;;;;;;;;;;;;;;;;;5318:4;5311:11;;5113:217;;;;:::o;3479:721::-;3554:12;3605:7;3588:8;:15;3597:5;;;;;;;;;;;3588:15;;;;;;;;;;;;;;;;:24;;:35;;;;;3622:1;3614:7;:9;3588:35;:72;;;;;3647:8;:13;3656:3;3647:13;;;;;;;;;;;;;;;;3639:7;3625:8;:13;3634:3;3625:13;;;;;;;;;;;;;;;;:21;:35;3588:72;3579:82;;;;;;3681:14;3698:20;3710:7;3698:11;:20::i;:::-;3681:37;;3729:19;3734:5;;;;;;;;;;;3741:6;3729:4;:19::i;:::-;3786:21;3772:11;;:35;3769:409;;;3829:24;3856:19;3868:6;3856:7;:11;;:19;;;;:::i;:::-;3829:46;;3903:16;3886:8;:15;3895:5;;;;;;;;;;;3886:15;;;;;;;;;;;;;;;;:33;;;;;;;;;;;3945:16;3930:8;:13;3939:3;3930:13;;;;;;;;;;;;;;;;:31;;;;;;;;;;;3995:3;3980:36;;3989:5;;;;;;;;;;;3980:36;;;3999:16;3980:36;;;;;;;;;;;;;;;;;;3769:409;;;;4080:7;4063:8;:15;4072:5;;;;;;;;;;;4063:15;;;;;;;;;;;;;;;;:24;;;;;;;;;;;4113:7;4098:8;:13;4107:3;4098:13;;;;;;;;;;;;;;;;:22;;;;;;;;;;;4154:3;4139:27;;4148:5;;;;;;;;;;;4139:27;;;4158:7;4139:27;;;;;;;;;;;;;;;;;;3769:409;4188:4;4181:11;;;3479:721;;;;:::o;1352:26::-;;;;:::o;4210:893::-;4293:12;4344:7;4327:8;:15;4336:5;4327:15;;;;;;;;;;;;;;;;:24;;:61;;;;;4381:7;4353;:14;4361:5;4353:14;;;;;;;;;;;;;;;:26;4368:10;4353:26;;;;;;;;;;;;;;;;:35;;4327:61;:72;;;;;4398:1;4390:7;:9;4327:72;:109;;;;;4423:8;:13;4432:3;4423:13;;;;;;;;;;;;;;;;4415:7;4401:8;:13;4410:3;4401:13;;;;;;;;;;;;;;;;:21;:35;4327:109;4318:119;;;;;;4448:14;4465:20;4477:7;4465:11;:20::i;:::-;4448:37;;4505:19;4510:5;4517:6;4505:4;:19::i;:::-;4561:21;4547:11;;:35;4544:521;;;4604:24;4631:19;4643:6;4631:7;:11;;:19;;;;:::i;:::-;4604:46;;4678:16;4661:8;:15;4670:5;4661:15;;;;;;;;;;;;;;;;:33;;;;;;;;;;;4733:16;4705:7;:14;4713:5;4705:14;;;;;;;;;;;;;;;:26;4720:10;4705:26;;;;;;;;;;;;;;;;:44;;;;;;;;;;;4775:16;4760:8;:13;4769:3;4760:13;;;;;;;;;;;;;;;;:31;;;;;;;;;;;4823:3;4807:38;;4816:5;4807:38;;;4828:16;4807:38;;;;;;;;;;;;;;;;;;4544:521;;;;4922:7;4905:8;:15;4914:5;4905:15;;;;;;;;;;;;;;;;:24;;;;;;;;;;;4968:7;4940;:14;4948:5;4940:14;;;;;;;;;;;;;;;:26;4955:10;4940:26;;;;;;;;;;;;;;;;:35;;;;;;;;;;;5001:7;4986:8;:13;4995:3;4986:13;;;;;;;;;;;;;;;;:22;;;;;;;;;;;5040:3;5024:29;;5033:5;5024:29;;;5045:7;5024:29;;;;;;;;;;;;;;;;;;4544:521;5091:4;5084:11;;;4210:893;;;;;:::o;2132:21::-;;;;;;;;;;;;;:::o;2404:101::-;2462:15;2487:8;:16;2496:6;2487:16;;;;;;;;;;;;;;;;2480:23;;2404:101;;;:::o;1202:121::-;1263:8;;;;;;;;;;;1251:20;;:10;:20;;;1247:69;;;1296:8;;;;;;;;;;;1288:5;;:16;;;;;;;;;;;;;;;;;;1247:69;1202:121::o;2080:20::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::o;1051:145::-;960:5;;;;;;;;;;;948:17;;:10;:17;;;940:26;;;;;;1154:1;1135:21;;:9;:21;;;;1127:30;;;;;;1179:9;1168:8;;:20;;;;;;;;;;;;;;;;;;1051:145;:::o;2517:954::-;2583:12;2639:7;2617:8;:20;2626:10;2617:20;;;;;;;;;;;;;;;;:29;;:40;;;;;2656:1;2648:7;:9;2617:40;:77;;;;;2681:8;:13;2690:3;2681:13;;;;;;;;;;;;;;;;2673:7;2659:8;:13;2668:3;2659:13;;;;;;;;;;;;;;;;:21;:35;2617:77;2608:87;;;;;;2879:14;2896:20;2908:7;2896:11;:20::i;:::-;2879:37;;2928:23;2933:10;2944:6;2928:4;:23::i;:::-;2979:21;2965:11;;:35;2962:492;;;3036:24;3063:19;3075:6;3063:7;:11;;:19;;;;:::i;:::-;3036:46;;3115:16;3093:8;:20;3102:10;3093:20;;;;;;;;;;;;;;;;:38;;;;;;;;;;;3157:16;3142:8;:13;3151:3;3142:13;;;;;;;;;;;;;;;;:31;;;;;;;;;;;3219:3;3199:41;;3208:10;3199:41;;;3223:16;3199:41;;;;;;;;;;;;;;;;;;3258:4;3251:11;;;;;;2962:492;3332:7;3310:8;:20;3319:10;3310:20;;;;;;;;;;;;;;;;:29;;;;;;;;;;;3365:7;3350:8;:13;3359:3;3350:13;;;;;;;;;;;;;;;;:22;;;;;;;;;;;3408:3;3388:32;;3397:10;3388:32;;;3412:7;3388:32;;;;;;;;;;;;;;;;;;3438:4;3431:11;;;2517:954;;;;;:::o;5342:144::-;5418:17;5453:7;:15;5461:6;5453:15;;;;;;;;;;;;;;;:25;5469:8;5453:25;;;;;;;;;;;;;;;;5446:32;;5342:144;;;;:::o;6260:242::-;6320:7;6339:18;6360:17;6373:3;6360:7;:12;;:17;;;;:::i;:::-;6339:38;;6388:24;6415:42;6454:1;6445:2;:11;6439:3;:17;6415:19;6430:3;6415:10;:14;;:19;;;;:::i;:::-;:23;;:42;;;;:::i;:::-;6388:69;;6475:19;6468:26;;;;6260:242;;;:::o;5504:746::-;5593:21;5579:11;;:35;5576:637;;;5654:17;5674:23;5690:6;5674:11;;:15;;:23;;;;:::i;:::-;5654:43;;5743:21;5731:9;:33;5728:386;;;5807:27;5827:6;5807:8;:15;5816:5;5807:15;;;;;;;;;;;;;;;;:19;;:27;;;;:::i;:::-;5790:8;:15;5799:5;5790:15;;;;;;;;;;;;;;;:44;;;;5887:23;5903:6;5887:11;;:15;;:23;;;;:::i;:::-;5874:11;:36;;;;5937:23;5953:6;5937:11;;:15;;:23;;;;:::i;:::-;5923:11;:37;;;;6008:19;6013:5;6020:6;6008:19;;;;;;;;;;;;;;;;;;;;;;;;;;;;5728:386;;;6074:28;6083:10;6095:6;6074:28;;;;;;;;;;;;;;;;;;;;;;;;;;;;5728:386;5576:637;;;;6173:28;6182:10;6194:6;6173:28;;;;;;;;;;;;;;;;;;;;;;;;;;;;5576:637;5504:746;;:::o;507:113::-;565:7;593:1;588;:6;;581:14;;;;613:1;609;:5;602:12;;507:113;;;;:::o;771:106::-;824:6;868:1;864;859;855;851;:5;:9;850:15;;;;;;:19;843:26;;771:106;;;;:::o;236:147::-;294:7;310:9;326:1;322;:5;310:17;;346:1;341;:6;:20;;;;360:1;355;351;:5;;;;;;:10;341:20;334:28;;;;376:1;369:8;;;236:147;;;;:::o;389:112::-;447:7;463:9;479:1;475;:5;;;;;;463:17;;494:1;487:8;;;389:112;;;;:::o;626:133::-;684:7;700:9;716:1;712;:5;700:17;;736:1;731;:6;;724:14;;;;752:1;745:8;;;626:133;;;;:::o

bzzr://4039dd8e0596aeeb39ccfa6716b4f05e1402ec15abaae41b40b08be1ed66106d