Token

Contract Source Code (Solidity)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta
• Remix IDE

Outline

interface ERC20Interface    - function transfer(address to, uint to ...    - function transferFrom(address from, a ...    - function balanceOf(address tokenOwner ...    - function approve(address spender, uin ...    - function allowance(address tokenOwner ...    - function totalSupply()  contract SafeMath    - function safeAdd(uint a, uint b)    - function safeSub(uint a, uint b)    - function safeMul(uint a, uint b)    - function safeDiv(uint a, uint b)  contract Owned    - function transferOwnership(address _n ...    - function acceptOwnership()  contract MixtyFinance is ERC20Inte ... *    - function transfer(address to, uint va ...    - function transferFrom(address from, a ...    - function approve(address spender, uin ...    - function TimeLockedWallet(address _cr ...    - function Recieved()    - function withdraw()    - function allowance(address owner, add ...    - function balanceOf(address owner)

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

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

pragma solidity =0.5.16;

interface ERC20Interface {
    function transfer(address to, uint tokens) external returns (bool success);
    function transferFrom(address from, address to, uint tokens) external returns (bool success);
    function balanceOf(address tokenOwner) external view returns (uint balance);
    function approve(address spender, uint tokens) external returns (bool success);
    function allowance(address tokenOwner, address spender) external view returns (uint remaining);
    function totalSupply() external view returns (uint);

    event Transfer(address indexed from, address indexed to, uint tokens);
    event Approval(address indexed tokenOwner, address indexed spender, uint tokens);
}

contract SafeMath {
    function safeAdd(uint a, uint b) public pure returns (uint c) {
        c = a + b;
        require(c >= a);
    }
    function safeSub(uint a, uint b) public pure returns (uint c) {
        require(b <= a);
        c = a - b;
    }
    function safeMul(uint a, uint b) public pure returns (uint c) {
        c = a * b;
        require(a == 0 || c / a == b);
    }
    function safeDiv(uint a, uint b) public pure returns (uint c) {
        require(b > 0);
        c = a / b;
    }
}

contract Owned {
    address public owner;
    address public newOwner;
    address public creator;
    uint public unlockDate;
    uint public createdAt;
    uint public balance;

    event OwnershipTransferred(address indexed _from, address indexed _to);

    constructor() public {
        owner = msg.sender;
    }

    modifier onlyOwner {
        require(msg.sender == owner, "you are not the owner");
        _;
    }

    function transferOwnership(address _newOwner) public onlyOwner {
        newOwner = _newOwner;
    }
    function acceptOwnership() public {
        require(msg.sender == newOwner, "you are not the new owner");
        emit OwnershipTransferred(owner, newOwner);
        owner = newOwner;
        newOwner = address(0);
    }
}

contract MixtyFinance is ERC20Interface, SafeMath, Owned {
    string public name;
    string public symbol;
    uint8 public decimals;
    uint public totalSupply;
    mapping(address => uint) public balances;
    mapping(address => mapping(address => uint)) public allowed;
   
   
     constructor () public {
        name = "Mixty Finance";
        symbol = "MXF";
        decimals = 18;
        totalSupply = 20000*10**uint(decimals);
        balances[msg.sender] = totalSupply;
    }
       
    function transfer(address to, uint value) public returns(bool) {
        require(balances[msg.sender] >= value);
        balances[msg.sender] -= value;
        balances[to] += value;
        emit Transfer(msg.sender, to, value);
        return true;
    }
   
    function transferFrom(address from, address to, uint value) public returns(bool) {
        uint allowance = allowed[from][msg.sender];
        require(balances[msg.sender] >= value && allowance >= value);
        allowed[from][msg.sender] -= value;
        balances[msg.sender] -= value;
        balances[to] += value;
        emit Transfer(msg.sender, to, value);
        return true;
    }
   
    function approve(address spender, uint value) public returns(bool) {
        require(spender != msg.sender);
        allowed[msg.sender][spender] = value;
        emit Approval(msg.sender, spender, value);
        return true;
    }
    
    function TimeLockedWallet(address _creator, address _owner, uint _unlockDate) onlyOwner public {
        creator = _creator;
        owner = _owner;
        unlockDate = _unlockDate;
        createdAt = now;
    }
    
    function Recieved() payable public { 
        (msg.sender, msg.value);
    }
   
   function withdraw() onlyOwner public {
         require(now >= unlockDate);
         msg.sender.transfer(balance);
         withdraw();
    }
    

    function allowance(address owner, address spender) public view returns(uint) {
        return allowed[owner][spender];
    }
   
    function balanceOf(address owner) public view returns(uint) {
        return balances[owner];
    }
   
}

• No Contract Security Audit Submitted- Submit Audit Here

[{"inputs":[],"payable":false,"stateMutability":"nonpayable","type":"constructor"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"tokenOwner","type":"address"},{"indexed":true,"internalType":"address","name":"spender","type":"address"},{"indexed":false,"internalType":"uint256","name":"tokens","type":"uint256"}],"name":"Approval","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"_from","type":"address"},{"indexed":true,"internalType":"address","name":"_to","type":"address"}],"name":"OwnershipTransferred","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":"tokens","type":"uint256"}],"name":"Transfer","type":"event"},{"constant":false,"inputs":[],"name":"Recieved","outputs":[],"payable":true,"stateMutability":"payable","type":"function"},{"constant":false,"inputs":[{"internalType":"address","name":"_creator","type":"address"},{"internalType":"address","name":"_owner","type":"address"},{"internalType":"uint256","name":"_unlockDate","type":"uint256"}],"name":"TimeLockedWallet","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"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":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[{"internalType":"address","name":"","type":"address"},{"internalType":"address","name":"","type":"address"}],"name":"allowed","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":[],"name":"balance","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[{"internalType":"address","name":"owner","type":"address"}],"name":"balanceOf","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[{"internalType":"address","name":"","type":"address"}],"name":"balances","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"createdAt","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"creator","outputs":[{"internalType":"address","name":"","type":"address"}],"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":[],"name":"name","outputs":[{"internalType":"string","name":"","type":"string"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"newOwner","outputs":[{"internalType":"address","name":"","type":"address"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"owner","outputs":[{"internalType":"address","name":"","type":"address"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[{"internalType":"uint256","name":"a","type":"uint256"},{"internalType":"uint256","name":"b","type":"uint256"}],"name":"safeAdd","outputs":[{"internalType":"uint256","name":"c","type":"uint256"}],"payable":false,"stateMutability":"pure","type":"function"},{"constant":true,"inputs":[{"internalType":"uint256","name":"a","type":"uint256"},{"internalType":"uint256","name":"b","type":"uint256"}],"name":"safeDiv","outputs":[{"internalType":"uint256","name":"c","type":"uint256"}],"payable":false,"stateMutability":"pure","type":"function"},{"constant":true,"inputs":[{"internalType":"uint256","name":"a","type":"uint256"},{"internalType":"uint256","name":"b","type":"uint256"}],"name":"safeMul","outputs":[{"internalType":"uint256","name":"c","type":"uint256"}],"payable":false,"stateMutability":"pure","type":"function"},{"constant":true,"inputs":[{"internalType":"uint256","name":"a","type":"uint256"},{"internalType":"uint256","name":"b","type":"uint256"}],"name":"safeSub","outputs":[{"internalType":"uint256","name":"c","type":"uint256"}],"payable":false,"stateMutability":"pure","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":"value","type":"uint256"}],"name":"transfer","outputs":[{"internalType":"bool","name":"","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":"value","type":"uint256"}],"name":"transferFrom","outputs":[{"internalType":"bool","name":"","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"internalType":"address","name":"_newOwner","type":"address"}],"name":"transferOwnership","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[],"name":"unlockDate","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[],"name":"withdraw","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"}]

60806040523480156200001157600080fd5b50336000806101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055506040518060400160405280600d81526020017f4d697874792046696e616e636500000000000000000000000000000000000000815250600690805190602001906200009f92919062000176565b506040518060400160405280600381526020017f4d5846000000000000000000000000000000000000000000000000000000000081525060079080519060200190620000ed92919062000176565b506012600860006101000a81548160ff021916908360ff160217905550600860009054906101000a900460ff1660ff16600a0a614e2002600981905550600954600a60003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000208190555062000225565b828054600181600116156101000203166002900490600052602060002090601f016020900481019282601f10620001b957805160ff1916838001178555620001ea565b82800160010185558215620001ea579182015b82811115620001e9578251825591602001919060010190620001cc565b5b509050620001f99190620001fd565b5090565b6200022291905b808211156200021e57600081600090555060010162000204565b5090565b90565b61185180620002356000396000f3fe6080604052600436106101815760003560e01c80637bdc297c116100d1578063b69ef8a81161008a578063d4ee1d9011610064578063d4ee1d90146108b7578063dd62ed3e1461090e578063e6cb901314610993578063f2fde38b146109ec57610181565b8063b69ef8a814610808578063cf09e0d014610833578063d05c78da1461085e57610181565b80637bdc297c146105815780638da5cb5b146105fc57806395d89b4114610653578063a293d1e8146106e3578063a9059cbb1461073c578063b5931f7c146107af57610181565b806327e235e31161013e5780635c658165116101185780635c6581651461045557806369ac5721146104da57806370a082311461050557806379ba50971461056a57610181565b806327e235e3146103a8578063313ce5671461040d5780633ccfd60b1461043e57610181565b806302d05d3f1461018657806306fdde03146101dd578063095ea7b31461026d57806314977389146102e057806318160ddd146102ea57806323b872dd14610315575b600080fd5b34801561019257600080fd5b5061019b610a3d565b604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b3480156101e957600080fd5b506101f2610a63565b6040518080602001828103825283818151815260200191508051906020019080838360005b83811015610232578082015181840152602081019050610217565b50505050905090810190601f16801561025f5780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b34801561027957600080fd5b506102c66004803603604081101561029057600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050610b01565b604051808215151515815260200191505060405180910390f35b6102e8610c2c565b005b3480156102f657600080fd5b506102ff610c2e565b6040518082815260200191505060405180910390f35b34801561032157600080fd5b5061038e6004803603606081101561033857600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050610c34565b604051808215151515815260200191505060405180910390f35b3480156103b457600080fd5b506103f7600480360360208110156103cb57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050610ea3565b6040518082815260200191505060405180910390f35b34801561041957600080fd5b50610422610ebb565b604051808260ff1660ff16815260200191505060405180910390f35b34801561044a57600080fd5b50610453610ece565b005b34801561046157600080fd5b506104c46004803603604081101561047857600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050610ff2565b6040518082815260200191505060405180910390f35b3480156104e657600080fd5b506104ef611017565b6040518082815260200191505060405180910390f35b34801561051157600080fd5b506105546004803603602081101561052857600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919050505061101d565b6040518082815260200191505060405180910390f35b34801561057657600080fd5b5061057f611066565b005b34801561058d57600080fd5b506105fa600480360360608110156105a457600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff1690602001909291908035906020019092919050505061126c565b005b34801561060857600080fd5b506106116113c2565b604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b34801561065f57600080fd5b506106686113e7565b6040518080602001828103825283818151815260200191508051906020019080838360005b838110156106a857808201518184015260208101905061068d565b50505050905090810190601f1680156106d55780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b3480156106ef57600080fd5b506107266004803603604081101561070657600080fd5b810190808035906020019092919080359060200190929190505050611485565b6040518082815260200191505060405180910390f35b34801561074857600080fd5b506107956004803603604081101561075f57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff1690602001909291908035906020019092919050505061149f565b604051808215151515815260200191505060405180910390f35b3480156107bb57600080fd5b506107f2600480360360408110156107d257600080fd5b8101908080359060200190929190803590602001909291905050506115f6565b6040518082815260200191505060405180910390f35b34801561081457600080fd5b5061081d611616565b6040518082815260200191505060405180910390f35b34801561083f57600080fd5b5061084861161c565b6040518082815260200191505060405180910390f35b34801561086a57600080fd5b506108a16004803603604081101561088157600080fd5b810190808035906020019092919080359060200190929190505050611622565b6040518082815260200191505060405180910390f35b3480156108c357600080fd5b506108cc61164f565b604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b34801561091a57600080fd5b5061097d6004803603604081101561093157600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050611675565b6040518082815260200191505060405180910390f35b34801561099f57600080fd5b506109d6600480360360408110156109b657600080fd5b8101908080359060200190929190803590602001909291905050506116fc565b6040518082815260200191505060405180910390f35b3480156109f857600080fd5b50610a3b60048036036020811015610a0f57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050611716565b005b600260009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b60068054600181600116156101000203166002900480601f016020809104026020016040519081016040528092919081815260200182805460018160011615610100020316600290048015610af95780601f10610ace57610100808354040283529160200191610af9565b820191906000526020600020905b815481529060010190602001808311610adc57829003601f168201915b505050505081565b60003373ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff161415610b3c57600080fd5b81600b60003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508273ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925846040518082815260200191505060405180910390a36001905092915050565b565b60095481565b600080600b60008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054905082600a60003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205410158015610d055750828110155b610d0e57600080fd5b82600b60008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000206000828254039250508190555082600a60003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000206000828254039250508190555082600a60008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020600082825401925050819055508373ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef856040518082815260200191505060405180910390a360019150509392505050565b600a6020528060005260406000206000915090505481565b600860009054906101000a900460ff1681565b6000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1614610f90576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260158152602001807f796f7520617265206e6f7420746865206f776e6572000000000000000000000081525060200191505060405180910390fd5b600354421015610f9f57600080fd5b3373ffffffffffffffffffffffffffffffffffffffff166108fc6005549081150290604051600060405180830381858888f19350505050158015610fe7573d6000803e3d6000fd5b50610ff0610ece565b565b600b602052816000526040600020602052806000526040600020600091509150505481565b60035481565b6000600a60008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020549050919050565b600160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1614611129576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260198152602001807f796f7520617265206e6f7420746865206e6577206f776e65720000000000000081525060200191505060405180910390fd5b600160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff166000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff167f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e060405160405180910390a3600160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff166000806101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055506000600160006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff160217905550565b6000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff161461132e576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260158152602001807f796f7520617265206e6f7420746865206f776e6572000000000000000000000081525060200191505060405180910390fd5b82600260006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff160217905550816000806101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055508060038190555042600481905550505050565b6000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b60078054600181600116156101000203166002900480601f01602080910402602001604051908101604052809291908181526020018280546001816001161561010002031660029004801561147d5780601f106114525761010080835404028352916020019161147d565b820191906000526020600020905b81548152906001019060200180831161146057829003601f168201915b505050505081565b60008282111561149457600080fd5b818303905092915050565b600081600a60003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205410156114ed57600080fd5b81600a60003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000206000828254039250508190555081600a60008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020600082825401925050819055508273ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef846040518082815260200191505060405180910390a36001905092915050565b600080821161160457600080fd5b81838161160d57fe5b04905092915050565b60055481565b60045481565b60008183029050600083148061164057508183828161163d57fe5b04145b61164957600080fd5b92915050565b600160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b6000600b60008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054905092915050565b600081830190508281101561171057600080fd5b92915050565b6000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff16146117d8576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260158152602001807f796f7520617265206e6f7420746865206f776e6572000000000000000000000081525060200191505060405180910390fd5b80600160006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055505056fea265627a7a7231582059ff37fdc535c97f3f4f745ce3139ce6b4c6b634260970945b5449bfff08184c64736f6c63430005100032

0x6080604052600436106101815760003560e01c80637bdc297c116100d1578063b69ef8a81161008a578063d4ee1d9011610064578063d4ee1d90146108b7578063dd62ed3e1461090e578063e6cb901314610993578063f2fde38b146109ec57610181565b8063b69ef8a814610808578063cf09e0d014610833578063d05c78da1461085e57610181565b80637bdc297c146105815780638da5cb5b146105fc57806395d89b4114610653578063a293d1e8146106e3578063a9059cbb1461073c578063b5931f7c146107af57610181565b806327e235e31161013e5780635c658165116101185780635c6581651461045557806369ac5721146104da57806370a082311461050557806379ba50971461056a57610181565b806327e235e3146103a8578063313ce5671461040d5780633ccfd60b1461043e57610181565b806302d05d3f1461018657806306fdde03146101dd578063095ea7b31461026d57806314977389146102e057806318160ddd146102ea57806323b872dd14610315575b600080fd5b34801561019257600080fd5b5061019b610a3d565b604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b3480156101e957600080fd5b506101f2610a63565b6040518080602001828103825283818151815260200191508051906020019080838360005b83811015610232578082015181840152602081019050610217565b50505050905090810190601f16801561025f5780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b34801561027957600080fd5b506102c66004803603604081101561029057600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050610b01565b604051808215151515815260200191505060405180910390f35b6102e8610c2c565b005b3480156102f657600080fd5b506102ff610c2e565b6040518082815260200191505060405180910390f35b34801561032157600080fd5b5061038e6004803603606081101561033857600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050610c34565b604051808215151515815260200191505060405180910390f35b3480156103b457600080fd5b506103f7600480360360208110156103cb57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050610ea3565b6040518082815260200191505060405180910390f35b34801561041957600080fd5b50610422610ebb565b604051808260ff1660ff16815260200191505060405180910390f35b34801561044a57600080fd5b50610453610ece565b005b34801561046157600080fd5b506104c46004803603604081101561047857600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050610ff2565b6040518082815260200191505060405180910390f35b3480156104e657600080fd5b506104ef611017565b6040518082815260200191505060405180910390f35b34801561051157600080fd5b506105546004803603602081101561052857600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919050505061101d565b6040518082815260200191505060405180910390f35b34801561057657600080fd5b5061057f611066565b005b34801561058d57600080fd5b506105fa600480360360608110156105a457600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff1690602001909291908035906020019092919050505061126c565b005b34801561060857600080fd5b506106116113c2565b604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b34801561065f57600080fd5b506106686113e7565b6040518080602001828103825283818151815260200191508051906020019080838360005b838110156106a857808201518184015260208101905061068d565b50505050905090810190601f1680156106d55780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b3480156106ef57600080fd5b506107266004803603604081101561070657600080fd5b810190808035906020019092919080359060200190929190505050611485565b6040518082815260200191505060405180910390f35b34801561074857600080fd5b506107956004803603604081101561075f57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff1690602001909291908035906020019092919050505061149f565b604051808215151515815260200191505060405180910390f35b3480156107bb57600080fd5b506107f2600480360360408110156107d257600080fd5b8101908080359060200190929190803590602001909291905050506115f6565b6040518082815260200191505060405180910390f35b34801561081457600080fd5b5061081d611616565b6040518082815260200191505060405180910390f35b34801561083f57600080fd5b5061084861161c565b6040518082815260200191505060405180910390f35b34801561086a57600080fd5b506108a16004803603604081101561088157600080fd5b810190808035906020019092919080359060200190929190505050611622565b6040518082815260200191505060405180910390f35b3480156108c357600080fd5b506108cc61164f565b604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b34801561091a57600080fd5b5061097d6004803603604081101561093157600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050611675565b6040518082815260200191505060405180910390f35b34801561099f57600080fd5b506109d6600480360360408110156109b657600080fd5b8101908080359060200190929190803590602001909291905050506116fc565b6040518082815260200191505060405180910390f35b3480156109f857600080fd5b50610a3b60048036036020811015610a0f57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050611716565b005b600260009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b60068054600181600116156101000203166002900480601f016020809104026020016040519081016040528092919081815260200182805460018160011615610100020316600290048015610af95780601f10610ace57610100808354040283529160200191610af9565b820191906000526020600020905b815481529060010190602001808311610adc57829003601f168201915b505050505081565b60003373ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff161415610b3c57600080fd5b81600b60003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508273ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925846040518082815260200191505060405180910390a36001905092915050565b565b60095481565b600080600b60008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054905082600a60003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205410158015610d055750828110155b610d0e57600080fd5b82600b60008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000206000828254039250508190555082600a60003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000206000828254039250508190555082600a60008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020600082825401925050819055508373ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef856040518082815260200191505060405180910390a360019150509392505050565b600a6020528060005260406000206000915090505481565b600860009054906101000a900460ff1681565b6000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1614610f90576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260158152602001807f796f7520617265206e6f7420746865206f776e6572000000000000000000000081525060200191505060405180910390fd5b600354421015610f9f57600080fd5b3373ffffffffffffffffffffffffffffffffffffffff166108fc6005549081150290604051600060405180830381858888f19350505050158015610fe7573d6000803e3d6000fd5b50610ff0610ece565b565b600b602052816000526040600020602052806000526040600020600091509150505481565b60035481565b6000600a60008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020549050919050565b600160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1614611129576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260198152602001807f796f7520617265206e6f7420746865206e6577206f776e65720000000000000081525060200191505060405180910390fd5b600160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff166000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff167f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e060405160405180910390a3600160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff166000806101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055506000600160006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff160217905550565b6000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff161461132e576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260158152602001807f796f7520617265206e6f7420746865206f776e6572000000000000000000000081525060200191505060405180910390fd5b82600260006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff160217905550816000806101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055508060038190555042600481905550505050565b6000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b60078054600181600116156101000203166002900480601f01602080910402602001604051908101604052809291908181526020018280546001816001161561010002031660029004801561147d5780601f106114525761010080835404028352916020019161147d565b820191906000526020600020905b81548152906001019060200180831161146057829003601f168201915b505050505081565b60008282111561149457600080fd5b818303905092915050565b600081600a60003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205410156114ed57600080fd5b81600a60003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000206000828254039250508190555081600a60008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020600082825401925050819055508273ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef846040518082815260200191505060405180910390a36001905092915050565b600080821161160457600080fd5b81838161160d57fe5b04905092915050565b60055481565b60045481565b60008183029050600083148061164057508183828161163d57fe5b04145b61164957600080fd5b92915050565b600160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b6000600b60008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054905092915050565b600081830190508281101561171057600080fd5b92915050565b6000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff16146117d8576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260158152602001807f796f7520617265206e6f7420746865206f776e6572000000000000000000000081525060200191505060405180910390fd5b80600160006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055505056fea265627a7a7231582059ff37fdc535c97f3f4f745ce3139ce6b4c6b634260970945b5449bfff08184c64736f6c63430005100032

2048:2173:0:-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;1338:22;;8:9:-1;5:2;;;30:1;27;20:12;5:2;1338:22:0;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;2112:18;;8:9:-1;5:2;;;30:1;27;20:12;5:2;2112: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;2112:18:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;3249:237;;8:9:-1;5:2;;;30:1;27;20:12;5:2;3249:237:0;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;3249:237:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;3728:78;;;:::i;:::-;;2192:23;;8:9:-1;5:2;;;30:1;27;20:12;5:2;2192:23:0;;;:::i;:::-;;;;;;;;;;;;;;;;;;;2839:399;;8:9:-1;5:2;;;30:1;27;20:12;5:2;2839:399:0;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;2839:399:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;2222:40;;8:9:-1;5:2;;;30:1;27;20:12;5:2;2222:40:0;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;2222:40:0;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;2164:21;;8:9:-1;5:2;;;30:1;27;20:12;5:2;2164:21:0;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;3816:145;;8:9:-1;5:2;;;30:1;27;20:12;5:2;3816:145:0;;;:::i;:::-;;2269:59;;8:9:-1;5:2;;;30:1;27;20:12;5:2;2269:59:0;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;2269:59:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;1367:22;;8:9:-1;5:2;;;30:1;27;20:12;5:2;1367:22:0;;;:::i;:::-;;;;;;;;;;;;;;;;;;;4112:101;;8:9:-1;5:2;;;30:1;27;20:12;5:2;4112:101:0;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;4112:101:0;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;1816:225;;8:9:-1;5:2;;;30:1;27;20:12;5:2;1816:225:0;;;:::i;:::-;;3498:218;;8:9:-1;5:2;;;30:1;27;20:12;5:2;3498:218:0;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;3498:218:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;1281:20;;8:9:-1;5:2;;;30:1;27;20:12;5:2;1281:20:0;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;2137;;8:9:-1;5:2;;;30:1;27;20:12;5:2;2137: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;2137:20:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;879:116;;8:9:-1;5:2;;;30:1;27;20:12;5:2;879:116:0;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;879:116:0;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;2567:261;;8:9:-1;5:2;;;30:1;27;20:12;5:2;2567:261:0;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;2567:261:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;1137:115;;8:9:-1;5:2;;;30:1;27;20:12;5:2;1137:115:0;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;1137:115:0;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;1424:19;;8:9:-1;5:2;;;30:1;27;20:12;5:2;1424:19:0;;;:::i;:::-;;;;;;;;;;;;;;;;;;;1396:21;;8:9:-1;5:2;;;30:1;27;20:12;5:2;1396:21:0;;;:::i;:::-;;;;;;;;;;;;;;;;;;;1001:130;;8:9:-1;5:2;;;30:1;27;20:12;5:2;1001:130:0;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;1001:130:0;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;1308:23;;8:9:-1;5:2;;;30:1;27;20:12;5:2;1308:23:0;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;3975:126;;8:9:-1;5:2;;;30:1;27;20:12;5:2;3975:126:0;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;3975:126:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;757:116;;8:9:-1;5:2;;;30:1;27;20:12;5:2;757:116:0;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;757:116:0;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;1708:102;;8:9:-1;5:2;;;30:1;27;20:12;5:2;1708:102:0;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;1708:102:0;;;;;;;;;;;;;;;;;;;:::i;:::-;;1338:22;;;;;;;;;;;;;:::o;2112:18::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::o;3249:237::-;3310:4;3346:10;3335:21;;:7;:21;;;;3327:30;;;;;;3399:5;3368:7;:19;3376:10;3368:19;;;;;;;;;;;;;;;:28;3388:7;3368:28;;;;;;;;;;;;;;;:36;;;;3441:7;3420:36;;3429:10;3420:36;;;3450:5;3420:36;;;;;;;;;;;;;;;;;;3474:4;3467:11;;3249:237;;;;:::o;3728:78::-;:::o;2192:23::-;;;;:::o;2839:399::-;2914:4;2931:14;2948:7;:13;2956:4;2948:13;;;;;;;;;;;;;;;:25;2962:10;2948:25;;;;;;;;;;;;;;;;2931:42;;3016:5;2992:8;:20;3001:10;2992:20;;;;;;;;;;;;;;;;:29;;:51;;;;;3038:5;3025:9;:18;;2992:51;2984:60;;;;;;3084:5;3055:7;:13;3063:4;3055:13;;;;;;;;;;;;;;;:25;3069:10;3055:25;;;;;;;;;;;;;;;;:34;;;;;;;;;;;3124:5;3100:8;:20;3109:10;3100:20;;;;;;;;;;;;;;;;:29;;;;;;;;;;;3156:5;3140:8;:12;3149:2;3140:12;;;;;;;;;;;;;;;;:21;;;;;;;;;;;3198:2;3177:31;;3186:10;3177:31;;;3202:5;3177:31;;;;;;;;;;;;;;;;;;3226:4;3219:11;;;2839:399;;;;;:::o;2222:40::-;;;;;;;;;;;;;;;;;:::o;2164:21::-;;;;;;;;;;;;;:::o;3816:145::-;1649:5;;;;;;;;;;;1635:19;;:10;:19;;;1627:53;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;3880:10;;3873:3;:17;;3865:26;;;;;;3903:10;:19;;:28;3923:7;;3903:28;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;3903:28:0;3943:10;:8;:10::i;:::-;3816:145::o;2269:59::-;;;;;;;;;;;;;;;;;;;;;;;;;;:::o;1367:22::-;;;;:::o;4112:101::-;4166:4;4190:8;:15;4199:5;4190:15;;;;;;;;;;;;;;;;4183:22;;4112:101;;;:::o;1816:225::-;1883:8;;;;;;;;;;;1869:22;;:10;:22;;;1861:60;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;1965:8;;;;;;;;;;;1937:37;;1958:5;;;;;;;;;;;1937:37;;;;;;;;;;;;1993:8;;;;;;;;;;;1985:5;;:16;;;;;;;;;;;;;;;;;;2031:1;2012:8;;:21;;;;;;;;;;;;;;;;;;1816:225::o;3498:218::-;1649:5;;;;;;;;;;;1635:19;;:10;:19;;;1627:53;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;3614:8;3604:7;;:18;;;;;;;;;;;;;;;;;;3641:6;3633:5;;:14;;;;;;;;;;;;;;;;;;3671:11;3658:10;:24;;;;3705:3;3693:9;:15;;;;3498:218;;;:::o;1281:20::-;;;;;;;;;;;;;:::o;2137:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::o;879:116::-;933:6;965:1;960;:6;;952:15;;;;;;986:1;982;:5;978:9;;879:116;;;;:::o;2567:261::-;2624:4;2673:5;2649:8;:20;2658:10;2649:20;;;;;;;;;;;;;;;;:29;;2641:38;;;;;;2714:5;2690:8;:20;2699:10;2690:20;;;;;;;;;;;;;;;;:29;;;;;;;;;;;2746:5;2730:8;:12;2739:2;2730:12;;;;;;;;;;;;;;;;:21;;;;;;;;;;;2788:2;2767:31;;2776:10;2767:31;;;2792:5;2767:31;;;;;;;;;;;;;;;;;;2816:4;2809:11;;2567:261;;;;:::o;1137:115::-;1191:6;1222:1;1218;:5;1210:14;;;;;;1243:1;1239;:5;;;;;;1235:9;;1137:115;;;;:::o;1424:19::-;;;;:::o;1396:21::-;;;;:::o;1001:130::-;1055:6;1082:1;1078;:5;1074:9;;1107:1;1102;:6;:20;;;;1121:1;1116;1112;:5;;;;;;:10;1102:20;1094:29;;;;;;1001:130;;;;:::o;1308:23::-;;;;;;;;;;;;;:::o;3975:126::-;4046:4;4070:7;:14;4078:5;4070:14;;;;;;;;;;;;;;;:23;4085:7;4070:23;;;;;;;;;;;;;;;;4063:30;;3975:126;;;;:::o;757:116::-;811:6;838:1;834;:5;830:9;;863:1;858;:6;;850:15;;;;;;757:116;;;;:::o;1708:102::-;1649:5;;;;;;;;;;;1635:19;;:10;:19;;;1627:53;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;1793:9;1782:8;;:20;;;;;;;;;;;;;;;;;;1708:102;:::o

bzzr://59ff37fdc535c97f3f4f745ce3139ce6b4c6b634260970945b5449bfff08184c