Contract Source Code (Solidity)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta
• Remix IDE

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

/**
 *Submitted for verification at Etherscan.io on 2020-01-02
*/

pragma solidity ^0.5.15;


library SafeMath 
{
    /**
    * @dev Multiplies two unsigned integers, reverts on overflow.
    */
    function mul(uint256 a, uint256 b) internal pure returns (uint256) {
        // Gas optimization: this is cheaper than requiring 'a' not being zero, but the
        // benefit is lost if 'b' is also tested.
        // See: https://github.com/OpenZeppelin/openzeppelin-solidity/pull/522
        if (a == 0) {
            return 0;
        }

        uint256 c = a * b;
        require(c / a == b);

        return c;
    }

    /**
    * @dev Integer division of two unsigned integers truncating the quotient, reverts on division by zero.
    */
    function div(uint256 a, uint256 b) internal pure returns (uint256) {
        // Solidity only automatically asserts when dividing by 0
        require(b > 0);
        uint256 c = a / b;
        // assert(a == b * c + a % b); // There is no case in which this doesn't hold

        return c;
    }

    /**
    * @dev Subtracts two unsigned integers, reverts on overflow (i.e. if subtrahend is greater than minuend).
    */
    function sub(uint256 a, uint256 b) internal pure returns (uint256) {
        require(b <= a);
        uint256 c = a - b;

        return c;
    }

    /**
    * @dev Adds two unsigned integers, reverts on overflow.
    */
    function add(uint256 a, uint256 b) internal pure returns (uint256) {
        uint256 c = a + b;
        require(c >= a);

        return c;
    }
}


/******************************************/
/*       nerveShares starts here          */
/******************************************/

contract nerveShares {

    string public name;
    string public symbol;
    uint8 public decimals;
    uint256 public totalSupply;
    uint256 public totalDividends;

    mapping (address => uint) public balanceOf;
    mapping (address => mapping (address => uint)) public allowance;
    mapping (address => uint256) internal lastDividends;
    mapping (address => bool) public lockedAccounts;
    
    event Transfer(address indexed _from, address indexed _to, uint256 _value);
    event Approval(address indexed _owner, address indexed _spender, uint256 _value);
    event Claim(address indexed _from, uint256 value);
    event Locked(address indexed _from, bool state);

    using SafeMath for uint256;

    constructor() public
    {
        decimals = 18;                              // decimals  
        totalSupply = 1000000*10**18;               // initialSupply
        name = "Nerve";                             // Set the name for display purposes
        symbol = "NRV";                             // Set the symbol for display purposes

        balanceOf[msg.sender] = totalSupply;
        emit Transfer(address(0), msg.sender, totalSupply);
    }

    /**
    * @dev Get the current dividends of a user. Take prior payoffs into account.
    * @param account The address of the user.
    */
    function dividendBalanceOf(address account) public view returns (uint256) 
    {
        uint256 newDividends = totalDividends.sub(lastDividends[account]);
        uint256 product = balanceOf[account].mul(newDividends);
        return product.div(totalSupply);
    }   

    /**
    * @dev Internal dividendBalanceOf.
    * @param account The address of the user.
    */
    function internalDividendBalanceOf(address account, uint256 tempLastDividends) internal view returns (uint256) 
    {
        uint256 newDividends = totalDividends.sub(tempLastDividends);
        uint256 product = balanceOf[account].mul(newDividends);
        return product.div(totalSupply);
    }   

    /**
    * @dev Claim dividends. Restrict dividends to new income.
    */
    function claimDividend() external 
    {
        uint256 tempLastDividends = lastDividends[msg.sender];
        lastDividends[msg.sender] = totalDividends;
        uint256 owing = internalDividendBalanceOf(msg.sender, tempLastDividends);

        require(owing > 0, "No dividends to claim.");

        msg.sender.transfer(owing);
        
        emit Claim(msg.sender, owing);
    }

    /**
    * @dev Open or close sending address for trade.
    * @param lock True -> can't send or receive NRV.
    */
    function lockToken(bool lock) external
    {
        lockedAccounts[msg.sender] = lock;
        
        emit Locked(msg.sender, lock);
    }

    /**
    * @dev Transfer tokens.
    * @param to The address of the recipient.
    * @param value The amount to send.
    */
    function transfer(address payable to, uint256 value) external returns(bool success)
    {
        _transfer(msg.sender, to, value);
        return true;
    }

    /**
    * @dev Transfer tokens. Spread open dividends across all users.
    * @param to The address to transfer to.
    * @param value The amount to be transferred.
    */
    function _transfer(address payable from, address payable to, uint256 value) internal
    {   
        require(value > 0, "Transferred value has to be grater than 0.");
        require(to != address(0), "0x00 address not allowed.");
        require(lockedAccounts[to] == false, "Target address is locked.");
        require(lockedAccounts[from] == false, "Sending address is locked.");
        require(value <= balanceOf[from], "Not enough funds on sender address.");
        require(balanceOf[to] + value >= balanceOf[to], "Overflow protection.");
 
        uint256 fromOwing = dividendBalanceOf(from);
        uint256 toOwing = dividendBalanceOf(to);

        lastDividends[to] = totalDividends;
        lastDividends[from] = totalDividends;

        totalDividends = totalDividends.add(fromOwing);
        totalDividends = totalDividends.add(toOwing);

        balanceOf[from] -= value;
        balanceOf[to] += value;
 
        emit Transfer(from, to, value);
    }

    /**
    * @dev ERC20 transferFrom.
    * @param from Address to transfer from.
    * @param to Address to transfer to.
    * @param value Amount to transfer.
    * @return success of transfer.
    */
    function transferFrom(address payable from, address payable to, uint value) external returns (bool success)
    {     
        require(allowance[from][msg.sender] >= value, "Funds not approved."); 
        require(balanceOf[from] >= value, "Not enough funds on sender address.");
        require(balanceOf[to] + value >= balanceOf[to], "Overflow protection.");

        allowance[from][msg.sender] -= value;
  
        _transfer(from, to, value);

        return true;
    }

    /**
    * @dev `msg.sender` approves `addr` to spend `value` tokens.
    * @param spender The address of the account able to transfer the tokens.
    * @param value The amount of wei to be approved for transfer.
    */
    function approve(address spender, uint value) external returns (bool) 
    {
        allowance[msg.sender][spender] = value;
        emit Approval(msg.sender, spender, value);
        return true;
    }
   
    /**
    * @dev Get contract ETH amount. 
    */ 
    function contractBalance() external view returns(uint256 amount)
    {
        return (address(this).balance);
    }
    
    /**
    * @dev Receive ETH from CONTRACT and increase the total historic amount of dividend eligible earnings.
    */
    function receiveETH() external payable
    {
        totalDividends = totalDividends.add(msg.value);
    }
    
    /**
    * @dev Receive ETH and increase the total historic amount of dividend eligible earnings.
    */
    function () external payable 
    {
        totalDividends = totalDividends.add(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":true,"internalType":"address","name":"_from","type":"address"},{"indexed":false,"internalType":"uint256","name":"value","type":"uint256"}],"name":"Claim","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"_from","type":"address"},{"indexed":false,"internalType":"bool","name":"state","type":"bool"}],"name":"Locked","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":true,"inputs":[{"internalType":"address","name":"","type":"address"},{"internalType":"address","name":"","type":"address"}],"name":"allowance","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"internalType":"address","name":"spender","type":"address"},{"internalType":"uint256","name":"value","type":"uint256"}],"name":"approve","outputs":[{"internalType":"bool","name":"","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[{"internalType":"address","name":"","type":"address"}],"name":"balanceOf","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[],"name":"claimDividend","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[],"name":"contractBalance","outputs":[{"internalType":"uint256","name":"amount","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"decimals","outputs":[{"internalType":"uint8","name":"","type":"uint8"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[{"internalType":"address","name":"account","type":"address"}],"name":"dividendBalanceOf","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"internalType":"bool","name":"lock","type":"bool"}],"name":"lockToken","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[{"internalType":"address","name":"","type":"address"}],"name":"lockedAccounts","outputs":[{"internalType":"bool","name":"","type":"bool"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"name","outputs":[{"internalType":"string","name":"","type":"string"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[],"name":"receiveETH","outputs":[],"payable":true,"stateMutability":"payable","type":"function"},{"constant":true,"inputs":[],"name":"symbol","outputs":[{"internalType":"string","name":"","type":"string"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"totalDividends","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"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 payable","name":"to","type":"address"},{"internalType":"uint256","name":"value","type":"uint256"}],"name":"transfer","outputs":[{"internalType":"bool","name":"success","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"internalType":"address payable","name":"from","type":"address"},{"internalType":"address payable","name":"to","type":"address"},{"internalType":"uint256","name":"value","type":"uint256"}],"name":"transferFrom","outputs":[{"internalType":"bool","name":"success","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"}]

60806040523480156200001157600080fd5b506012600260006101000a81548160ff021916908360ff16021790555069d3c21bcecceda10000006003819055506040518060400160405280600581526020017f4e65727665000000000000000000000000000000000000000000000000000000815250600090805190602001906200008c9291906200018f565b506040518060400160405280600381526020017f4e5256000000000000000000000000000000000000000000000000000000000081525060019080519060200190620000da9291906200018f565b50600354600560003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055503373ffffffffffffffffffffffffffffffffffffffff16600073ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef6003546040518082815260200191505060405180910390a36200023e565b828054600181600116156101000203166002900490600052602060002090601f016020900481019282601f10620001d257805160ff191683800117855562000203565b8280016001018555821562000203579182015b8281111562000202578251825591602001919060010190620001e5565b5b50905062000212919062000216565b5090565b6200023b91905b80821115620002375760008160009055506001016200021d565b5090565b90565b611741806200024e6000396000f3fe6080604052600436106100f35760003560e01c806395d89b411161008a578063e083d4c811610059578063e083d4c81461054f578063ebd0d820146105b4578063f0fc6bca1461061d578063f1f0b29014610634576100f3565b806395d89b411461039c578063997664d71461042c578063a9059cbb14610457578063dd62ed3e146104ca576100f3565b8063313ce567116100c6578063313ce567146102d15780633ecfd51e1461030257806370a082311461030c5780638b7afe2e14610371576100f3565b806306fdde0314610110578063095ea7b3146101a057806318160ddd1461021357806323b872dd1461023e575b6101083460045461067190919063ffffffff16565b600481905550005b34801561011c57600080fd5b50610125610690565b6040518080602001828103825283818151815260200191508051906020019080838360005b8381101561016557808201518184015260208101905061014a565b50505050905090810190601f1680156101925780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b3480156101ac57600080fd5b506101f9600480360360408110156101c357600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff1690602001909291908035906020019092919050505061072e565b604051808215151515815260200191505060405180910390f35b34801561021f57600080fd5b50610228610820565b6040518082815260200191505060405180910390f35b34801561024a57600080fd5b506102b76004803603606081101561026157600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050610826565b604051808215151515815260200191505060405180910390f35b3480156102dd57600080fd5b506102e6610b48565b604051808260ff1660ff16815260200191505060405180910390f35b61030a610b5b565b005b34801561031857600080fd5b5061035b6004803603602081101561032f57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050610b78565b6040518082815260200191505060405180910390f35b34801561037d57600080fd5b50610386610b90565b6040518082815260200191505060405180910390f35b3480156103a857600080fd5b506103b1610b98565b6040518080602001828103825283818151815260200191508051906020019080838360005b838110156103f15780820151818401526020810190506103d6565b50505050905090810190601f16801561041e5780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b34801561043857600080fd5b50610441610c36565b6040518082815260200191505060405180910390f35b34801561046357600080fd5b506104b06004803603604081101561047a57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050610c3c565b604051808215151515815260200191505060405180910390f35b3480156104d657600080fd5b50610539600480360360408110156104ed57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050610c53565b6040518082815260200191505060405180910390f35b34801561055b57600080fd5b5061059e6004803603602081101561057257600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050610c78565b6040518082815260200191505060405180910390f35b3480156105c057600080fd5b50610603600480360360208110156105d757600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050610d45565b604051808215151515815260200191505060405180910390f35b34801561062957600080fd5b50610632610d65565b005b34801561064057600080fd5b5061066f6004803603602081101561065757600080fd5b81019080803515159060200190929190505050610f0c565b005b60008082840190508381101561068657600080fd5b8091505092915050565b60008054600181600116156101000203166002900480601f0160208091040260200160405190810160405280929190818152602001828054600181600116156101000203166002900480156107265780601f106106fb57610100808354040283529160200191610726565b820191906000526020600020905b81548152906001019060200180831161070957829003601f168201915b505050505081565b600081600660003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508273ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925846040518082815260200191505060405180910390a36001905092915050565b60035481565b600081600660008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054101561091a576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260138152602001807f46756e6473206e6f7420617070726f7665642e0000000000000000000000000081525060200191505060405180910390fd5b81600560008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205410156109b2576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260238152602001806116c06023913960400191505060405180910390fd5b600560008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205482600560008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054011015610aa8576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260148152602001807f4f766572666c6f772070726f74656374696f6e2e00000000000000000000000081525060200191505060405180910390fd5b81600660008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008282540392505081905550610b3d848484610fb8565b600190509392505050565b600260009054906101000a900460ff1681565b610b703460045461067190919063ffffffff16565b600481905550565b60056020528060005260406000206000915090505481565b600047905090565b60018054600181600116156101000203166002900480601f016020809104026020016040519081016040528092919081815260200182805460018160011615610100020316600290048015610c2e5780601f10610c0357610100808354040283529160200191610c2e565b820191906000526020600020905b815481529060010190602001808311610c1157829003601f168201915b505050505081565b60045481565b6000610c49338484610fb8565b6001905092915050565b6006602052816000526040600020602052806000526040600020600091509150505481565b600080610ccf600760008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546004546115b090919063ffffffff16565b90506000610d2582600560008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546115d090919063ffffffff16565b9050610d3c6003548261160a90919063ffffffff16565b92505050919050565b60086020528060005260406000206000915054906101000a900460ff1681565b6000600760003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020549050600454600760003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055506000610dfb3383611630565b905060008111610e73576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260168152602001807f4e6f206469766964656e647320746f20636c61696d2e0000000000000000000081525060200191505060405180910390fd5b3373ffffffffffffffffffffffffffffffffffffffff166108fc829081150290604051600060405180830381858888f19350505050158015610eb9573d6000803e3d6000fd5b503373ffffffffffffffffffffffffffffffffffffffff167f47cee97cb7acd717b3c0aa1435d004cd5b3c8c57d70dbceb4e4458bbd60e39d4826040518082815260200191505060405180910390a25050565b80600860003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006101000a81548160ff0219169083151502179055503373ffffffffffffffffffffffffffffffffffffffff167fcaf46096bdd957e9271a7e46a00ff61870b80644805049e7ea814162a2b606bc82604051808215151515815260200191505060405180910390a250565b60008111611011576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252602a8152602001806116e3602a913960400191505060405180910390fd5b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff1614156110b4576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260198152602001807f307830302061646472657373206e6f7420616c6c6f7765642e0000000000000081525060200191505060405180910390fd5b60001515600860008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff1615151461117a576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260198152602001807f5461726765742061646472657373206973206c6f636b65642e0000000000000081525060200191505060405180910390fd5b60001515600860008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff16151514611240576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252601a8152602001807f53656e64696e672061646472657373206973206c6f636b65642e00000000000081525060200191505060405180910390fd5b600560008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020548111156112d8576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260238152602001806116c06023913960400191505060405180910390fd5b600560008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205481600560008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020540110156113ce576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260148152602001807f4f766572666c6f772070726f74656374696f6e2e00000000000000000000000081525060200191505060405180910390fd5b60006113d984610c78565b905060006113e684610c78565b9050600454600760008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550600454600760008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055506114898260045461067190919063ffffffff16565b6004819055506114a48160045461067190919063ffffffff16565b60048190555082600560008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000206000828254039250508190555082600560008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020600082825401925050819055508373ffffffffffffffffffffffffffffffffffffffff168573ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef856040518082815260200191505060405180910390a35050505050565b6000828211156115bf57600080fd5b600082840390508091505092915050565b6000808314156115e35760009050611604565b60008284029050828482816115f457fe5b04146115ff57600080fd5b809150505b92915050565b600080821161161857600080fd5b600082848161162357fe5b0490508091505092915050565b600080611648836004546115b090919063ffffffff16565b9050600061169e82600560008873ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546115d090919063ffffffff16565b90506116b56003548261160a90919063ffffffff16565b925050509291505056fe4e6f7420656e6f7567682066756e6473206f6e2073656e64657220616464726573732e5472616e736665727265642076616c75652068617320746f20626520677261746572207468616e20302ea265627a7a723158205817791d0082a51b34175c665f74e85efc5e50f5ae0bdb8ef55c6f9eb4a794f764736f6c634300050f0032

0x6080604052600436106100f35760003560e01c806395d89b411161008a578063e083d4c811610059578063e083d4c81461054f578063ebd0d820146105b4578063f0fc6bca1461061d578063f1f0b29014610634576100f3565b806395d89b411461039c578063997664d71461042c578063a9059cbb14610457578063dd62ed3e146104ca576100f3565b8063313ce567116100c6578063313ce567146102d15780633ecfd51e1461030257806370a082311461030c5780638b7afe2e14610371576100f3565b806306fdde0314610110578063095ea7b3146101a057806318160ddd1461021357806323b872dd1461023e575b6101083460045461067190919063ffffffff16565b600481905550005b34801561011c57600080fd5b50610125610690565b6040518080602001828103825283818151815260200191508051906020019080838360005b8381101561016557808201518184015260208101905061014a565b50505050905090810190601f1680156101925780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b3480156101ac57600080fd5b506101f9600480360360408110156101c357600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff1690602001909291908035906020019092919050505061072e565b604051808215151515815260200191505060405180910390f35b34801561021f57600080fd5b50610228610820565b6040518082815260200191505060405180910390f35b34801561024a57600080fd5b506102b76004803603606081101561026157600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050610826565b604051808215151515815260200191505060405180910390f35b3480156102dd57600080fd5b506102e6610b48565b604051808260ff1660ff16815260200191505060405180910390f35b61030a610b5b565b005b34801561031857600080fd5b5061035b6004803603602081101561032f57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050610b78565b6040518082815260200191505060405180910390f35b34801561037d57600080fd5b50610386610b90565b6040518082815260200191505060405180910390f35b3480156103a857600080fd5b506103b1610b98565b6040518080602001828103825283818151815260200191508051906020019080838360005b838110156103f15780820151818401526020810190506103d6565b50505050905090810190601f16801561041e5780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b34801561043857600080fd5b50610441610c36565b6040518082815260200191505060405180910390f35b34801561046357600080fd5b506104b06004803603604081101561047a57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050610c3c565b604051808215151515815260200191505060405180910390f35b3480156104d657600080fd5b50610539600480360360408110156104ed57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050610c53565b6040518082815260200191505060405180910390f35b34801561055b57600080fd5b5061059e6004803603602081101561057257600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050610c78565b6040518082815260200191505060405180910390f35b3480156105c057600080fd5b50610603600480360360208110156105d757600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050610d45565b604051808215151515815260200191505060405180910390f35b34801561062957600080fd5b50610632610d65565b005b34801561064057600080fd5b5061066f6004803603602081101561065757600080fd5b81019080803515159060200190929190505050610f0c565b005b60008082840190508381101561068657600080fd5b8091505092915050565b60008054600181600116156101000203166002900480601f0160208091040260200160405190810160405280929190818152602001828054600181600116156101000203166002900480156107265780601f106106fb57610100808354040283529160200191610726565b820191906000526020600020905b81548152906001019060200180831161070957829003601f168201915b505050505081565b600081600660003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508273ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925846040518082815260200191505060405180910390a36001905092915050565b60035481565b600081600660008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054101561091a576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260138152602001807f46756e6473206e6f7420617070726f7665642e0000000000000000000000000081525060200191505060405180910390fd5b81600560008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205410156109b2576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260238152602001806116c06023913960400191505060405180910390fd5b600560008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205482600560008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054011015610aa8576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260148152602001807f4f766572666c6f772070726f74656374696f6e2e00000000000000000000000081525060200191505060405180910390fd5b81600660008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008282540392505081905550610b3d848484610fb8565b600190509392505050565b600260009054906101000a900460ff1681565b610b703460045461067190919063ffffffff16565b600481905550565b60056020528060005260406000206000915090505481565b600047905090565b60018054600181600116156101000203166002900480601f016020809104026020016040519081016040528092919081815260200182805460018160011615610100020316600290048015610c2e5780601f10610c0357610100808354040283529160200191610c2e565b820191906000526020600020905b815481529060010190602001808311610c1157829003601f168201915b505050505081565b60045481565b6000610c49338484610fb8565b6001905092915050565b6006602052816000526040600020602052806000526040600020600091509150505481565b600080610ccf600760008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546004546115b090919063ffffffff16565b90506000610d2582600560008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546115d090919063ffffffff16565b9050610d3c6003548261160a90919063ffffffff16565b92505050919050565b60086020528060005260406000206000915054906101000a900460ff1681565b6000600760003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020549050600454600760003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055506000610dfb3383611630565b905060008111610e73576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260168152602001807f4e6f206469766964656e647320746f20636c61696d2e0000000000000000000081525060200191505060405180910390fd5b3373ffffffffffffffffffffffffffffffffffffffff166108fc829081150290604051600060405180830381858888f19350505050158015610eb9573d6000803e3d6000fd5b503373ffffffffffffffffffffffffffffffffffffffff167f47cee97cb7acd717b3c0aa1435d004cd5b3c8c57d70dbceb4e4458bbd60e39d4826040518082815260200191505060405180910390a25050565b80600860003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006101000a81548160ff0219169083151502179055503373ffffffffffffffffffffffffffffffffffffffff167fcaf46096bdd957e9271a7e46a00ff61870b80644805049e7ea814162a2b606bc82604051808215151515815260200191505060405180910390a250565b60008111611011576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252602a8152602001806116e3602a913960400191505060405180910390fd5b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff1614156110b4576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260198152602001807f307830302061646472657373206e6f7420616c6c6f7765642e0000000000000081525060200191505060405180910390fd5b60001515600860008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff1615151461117a576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260198152602001807f5461726765742061646472657373206973206c6f636b65642e0000000000000081525060200191505060405180910390fd5b60001515600860008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff16151514611240576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252601a8152602001807f53656e64696e672061646472657373206973206c6f636b65642e00000000000081525060200191505060405180910390fd5b600560008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020548111156112d8576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260238152602001806116c06023913960400191505060405180910390fd5b600560008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205481600560008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020540110156113ce576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260148152602001807f4f766572666c6f772070726f74656374696f6e2e00000000000000000000000081525060200191505060405180910390fd5b60006113d984610c78565b905060006113e684610c78565b9050600454600760008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550600454600760008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055506114898260045461067190919063ffffffff16565b6004819055506114a48160045461067190919063ffffffff16565b60048190555082600560008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000206000828254039250508190555082600560008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020600082825401925050819055508373ffffffffffffffffffffffffffffffffffffffff168573ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef856040518082815260200191505060405180910390a35050505050565b6000828211156115bf57600080fd5b600082840390508091505092915050565b6000808314156115e35760009050611604565b60008284029050828482816115f457fe5b04146115ff57600080fd5b809150505b92915050565b600080821161161857600080fd5b600082848161162357fe5b0490508091505092915050565b600080611648836004546115b090919063ffffffff16565b9050600061169e82600560008873ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546115d090919063ffffffff16565b90506116b56003548261160a90919063ffffffff16565b925050509291505056fe4e6f7420656e6f7567682066756e6473206f6e2073656e64657220616464726573732e5472616e736665727265642076616c75652068617320746f20626520677261746572207468616e20302ea265627a7a723158205817791d0082a51b34175c665f74e85efc5e50f5ae0bdb8ef55c6f9eb4a794f764736f6c634300050f0032

1680:6094:0:-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;7728:29;7747:9;7728:14;;:18;;:29;;;;:::i;:::-;7711:14;:46;;;;1680:6094;1710:18;;8:9:-1;5:2;;;30:1;27;20:12;5:2;1710: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;1710:18:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;6903:207;;8:9:-1;5:2;;;30:1;27;20:12;5:2;6903:207:0;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;6903:207:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;1790:26;;8:9:-1;5:2;;;30:1;27;20:12;5:2;1790:26:0;;;:::i;:::-;;;;;;;;;;;;;;;;;;;6182:485;;8:9:-1;5:2;;;30:1;27;20:12;5:2;6182:485:0;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;6182:485:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;1762:21;;8:9:-1;5:2;;;30:1;27;20:12;5:2;1762:21:0;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;7433:109;;;:::i;:::-;;1861:42;;8:9:-1;5:2;;;30:1;27;20:12;5:2;1861:42:0;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;1861:42:0;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;7177:119;;8:9:-1;5:2;;;30:1;27;20:12;5:2;7177:119:0;;;:::i;:::-;;;;;;;;;;;;;;;;;;;1735:20;;8:9:-1;5:2;;;30:1;27;20:12;5:2;1735: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;1735:20:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;1823:29;;8:9:-1;5:2;;;30:1;27;20:12;5:2;1823:29:0;;;:::i;:::-;;;;;;;;;;;;;;;;;;;4622:162;;8:9:-1;5:2;;;30:1;27;20:12;5:2;4622:162:0;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;4622:162:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;1910:63;;8:9:-1;5:2;;;30:1;27;20:12;5:2;1910:63:0;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;1910:63:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;3029:271;;8:9:-1;5:2;;;30:1;27;20:12;5:2;3029:271:0;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;3029:271:0;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;2038:47;;8:9:-1;5:2;;;30:1;27;20:12;5:2;2038:47:0;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;2038:47:0;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;3809:394;;8:9:-1;5:2;;;30:1;27;20:12;5:2;3809:394:0;;;:::i;:::-;;4335:146;;8:9:-1;5:2;;;30:1;27;20:12;5:2;4335:146:0;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;4335:146:0;;;;;;;;;;;;;;;;;;;:::i;:::-;;1381:150;1439:7;1459:9;1475:1;1471;:5;1459:17;;1500:1;1495;:6;;1487:15;;;;;;1522:1;1515:8;;;1381:150;;;;:::o;1710:18::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::o;6903:207::-;6967:4;7023:5;6990:9;:21;7000:10;6990:21;;;;;;;;;;;;;;;:30;7012:7;6990:30;;;;;;;;;;;;;;;:38;;;;7065:7;7044:36;;7053:10;7044:36;;;7074:5;7044:36;;;;;;;;;;;;;;;;;;7098:4;7091:11;;6903:207;;;;:::o;1790:26::-;;;;:::o;6182:485::-;6276:12;6350:5;6319:9;:15;6329:4;6319:15;;;;;;;;;;;;;;;:27;6335:10;6319:27;;;;;;;;;;;;;;;;:36;;6311:68;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;6418:5;6399:9;:15;6409:4;6399:15;;;;;;;;;;;;;;;;:24;;6391:72;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;6507:9;:13;6517:2;6507:13;;;;;;;;;;;;;;;;6498:5;6482:9;:13;6492:2;6482:13;;;;;;;;;;;;;;;;:21;:38;;6474:71;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;6589:5;6558:9;:15;6568:4;6558:15;;;;;;;;;;;;;;;:27;6574:10;6558:27;;;;;;;;;;;;;;;;:36;;;;;;;;;;;6609:26;6619:4;6625:2;6629:5;6609:9;:26::i;:::-;6655:4;6648:11;;6182:485;;;;;:::o;1762:21::-;;;;;;;;;;;;;:::o;7433:109::-;7505:29;7524:9;7505:14;;:18;;:29;;;;:::i;:::-;7488:14;:46;;;;7433:109::o;1861:42::-;;;;;;;;;;;;;;;;;:::o;7177:119::-;7226:14;7266:21;7258:30;;7177:119;:::o;1735:20::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::o;1823:29::-;;;;:::o;4622:162::-;4692:12;4722:32;4732:10;4744:2;4748:5;4722:9;:32::i;:::-;4772:4;4765:11;;4622:162;;;;:::o;1910:63::-;;;;;;;;;;;;;;;;;;;;;;;;;;:::o;3029:271::-;3094:7;3120:20;3143:42;3162:13;:22;3176:7;3162:22;;;;;;;;;;;;;;;;3143:14;;:18;;:42;;;;:::i;:::-;3120:65;;3196:15;3214:36;3237:12;3214:9;:18;3224:7;3214:18;;;;;;;;;;;;;;;;:22;;:36;;;;:::i;:::-;3196:54;;3268:24;3280:11;;3268:7;:11;;:24;;;;:::i;:::-;3261:31;;;;3029:271;;;:::o;2038:47::-;;;;;;;;;;;;;;;;;;;;;;:::o;3809:394::-;3860:25;3888:13;:25;3902:10;3888:25;;;;;;;;;;;;;;;;3860:53;;3952:14;;3924:13;:25;3938:10;3924:25;;;;;;;;;;;;;;;:42;;;;3977:13;3993:56;4019:10;4031:17;3993:25;:56::i;:::-;3977:72;;4078:1;4070:5;:9;4062:44;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;4119:10;:19;;:26;4139:5;4119:26;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;4119:26:0;4177:10;4171:24;;;4189:5;4171:24;;;;;;;;;;;;;;;;;;3809:394;;:::o;4335:146::-;4419:4;4390:14;:26;4405:10;4390:26;;;;;;;;;;;;;;;;:33;;;;;;;;;;;;;;;;;;4456:10;4449:24;;;4468:4;4449:24;;;;;;;;;;;;;;;;;;;;;;4335:146;:::o;4973:990::-;5093:1;5085:5;:9;5077:64;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;5174:1;5160:16;;:2;:16;;;;5152:54;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;5247:5;5225:27;;:14;:18;5240:2;5225:18;;;;;;;;;;;;;;;;;;;;;;;;;:27;;;5217:65;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;5325:5;5301:29;;:14;:20;5316:4;5301:20;;;;;;;;;;;;;;;;;;;;;;;;;:29;;;5293:68;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;5389:9;:15;5399:4;5389:15;;;;;;;;;;;;;;;;5380:5;:24;;5372:72;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;5488:9;:13;5498:2;5488:13;;;;;;;;;;;;;;;;5479:5;5463:9;:13;5473:2;5463:13;;;;;;;;;;;;;;;;:21;:38;;5455:71;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;5540:17;5560:23;5578:4;5560:17;:23::i;:::-;5540:43;;5594:15;5612:21;5630:2;5612:17;:21::i;:::-;5594:39;;5666:14;;5646:13;:17;5660:2;5646:17;;;;;;;;;;;;;;;:34;;;;5713:14;;5691:13;:19;5705:4;5691:19;;;;;;;;;;;;;;;:36;;;;5757:29;5776:9;5757:14;;:18;;:29;;;;:::i;:::-;5740:14;:46;;;;5814:27;5833:7;5814:14;;:18;;:27;;;;:::i;:::-;5797:14;:44;;;;5873:5;5854:9;:15;5864:4;5854:15;;;;;;;;;;;;;;;;:24;;;;;;;;;;;5906:5;5889:9;:13;5899:2;5889:13;;;;;;;;;;;;;;;;:22;;;;;;;;;;;5945:2;5930:25;;5939:4;5930:25;;;5949:5;5930:25;;;;;;;;;;;;;;;;;;4973:990;;;;;:::o;1145:150::-;1203:7;1236:1;1231;:6;;1223:15;;;;;;1249:9;1265:1;1261;:5;1249:17;;1286:1;1279:8;;;1145:150;;;;:::o;140:433::-;198:7;447:1;442;:6;438:47;;;472:1;465:8;;;;438:47;497:9;513:1;509;:5;497:17;;542:1;537;533;:5;;;;;;:10;525:19;;;;;;564:1;557:8;;;140:433;;;;;:::o;706:303::-;764:7;863:1;859;:5;851:14;;;;;;876:9;892:1;888;:5;;;;;;876:17;;1000:1;993:8;;;706:303;;;;:::o;3415:::-;3517:7;3543:20;3566:37;3585:17;3566:14;;:18;;:37;;;;:::i;:::-;3543:60;;3614:15;3632:36;3655:12;3632:9;:18;3642:7;3632:18;;;;;;;;;;;;;;;;:22;;:36;;;;:::i;:::-;3614:54;;3686:24;3698:11;;3686:7;:11;;:24;;;;:::i;:::-;3679:31;;;;3415:303;;;;:::o

bzzr://5817791d0082a51b34175c665f74e85efc5e50f5ae0bdb8ef55c6f9eb4a794f7