Contract Source Code (Solidity)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta
• Remix IDE

Outline

• library SafeMath
•    - function sub(uint256 a, uint256 b)
•    - function add(uint256 a, uint256 b)
•  contract ERC20
•    - function totalSupply()
•    - function balanceOf(address _owner)
•    - function transfer(address _to, uint25 ...
•    - function transferFrom(address _from, ...
•    - function approve(address _spender, ui ...
•    - function allowance(address _owner, ad ...
•  contract PF is ERC20 *
•    - function totalSupply()
•    - function balanceOf(address _owner)
•    - function transfer(address _to, uint25 ...
•    - function approve(address _spender, ui ...
•    - function transferFrom(address _from, ...
•    - function allowance(address _owner, ad ...
•    - function changeOwner(address _newOwne ...
•    - function transferOwnerToken(address _ ...
•    - function transferOwnerETH(address _to ...
•    - function getEthBalance()
•    - function()

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

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

pragma solidity ^0.4.26;


// Math operations with safety checks that throw on error
library SafeMath {
  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;
  }
}


// Abstract contract for the full ERC 20 Token standard
contract ERC20 {
    function totalSupply() public constant returns (uint256 supply);
    
    function balanceOf(address _owner) public constant 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) public constant returns (uint256 remaining);

    event Transfer(address indexed _from, address indexed _to, uint256 _value);
    
    event Approval(address indexed _owner, address indexed _spender, uint256 _value);
}


// PF Token contract
contract PF is ERC20 {
    
    string public name = "Predicting Filter";
    string public symbol = "PF";
    uint8 public decimals = 18;
    uint256 public totalSupply = 28000 * 10**18;
    address public owner;
    mapping (address => uint256) public balances;
    mapping (address => mapping (address => uint256)) public allowed;
    
    constructor() public{
        balances[this] = totalSupply;
        owner = msg.sender;
    }
    
    // Number of three activities
    uint256 public oneAmount = 3000 * 10**18;
    uint256 public twoAmount = 2000 * 10**18;
    uint256 public threeAmount = 1000 * 10**18;
    // Time of three activities
    uint256 public oneDay = 1601812800;
    uint256 public twoDay = 1601899200;
    uint256 public threeDay = 1601985600;
    uint256 public overDay = 1602072000;
    // give amount
    uint256 public everyAmount = 5 * 10**18;
    
    // is join
    struct IsJoin {
        bool oneIs;
        bool twoIs;
        bool threeIs;
    }
    mapping (address => IsJoin) public userIsJoin;
    
    modifier onlyOwner { 
        require(msg.sender == owner, "You are not owner");
        _; 
    }
    
    function totalSupply() public constant returns (uint256 total) {
        return totalSupply;
    }
    
    function balanceOf(address _owner) public constant returns (uint256 balance) {
        return balances[_owner];
    }
    
    function transfer(address _to, uint256 _value) public returns (bool success) {
        require(balances[msg.sender] >= _value && _value > 0);
        balances[msg.sender] = SafeMath.sub(balances[msg.sender], _value);
        balances[_to] = SafeMath.add(balances[_to], _value);
        emit Transfer(msg.sender, _to, _value);
        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 transferFrom(address _from, address _to, uint256 _value) public returns (bool success) {
        require(balances[_from] >= _value && allowed[_from][msg.sender] >= _value && _value > 0);
        balances[_from] = SafeMath.sub(balances[_from], _value);
        balances[_to] = SafeMath.add(balances[_to], _value);
        allowed[_from][msg.sender] = SafeMath.sub(allowed[_from][msg.sender], _value);
        emit Transfer(_from, _to, _value);
        return true;
    }
    
    function allowance(address _owner, address _spender) public constant returns (uint256 remaining) {
        return allowed[_owner][_spender];
    }
    
     // change owner
    function changeOwner(address _newOwner) onlyOwner public returns (bool success) {
         owner = _newOwner;
         return true;
    }
    
    // Roll out the token in the contract
    function transferOwnerToken(address _to, uint256 _value) onlyOwner public returns (bool success) {
        require(balances[this] >= _value && _value > 0);
        balances[this] = SafeMath.sub(balances[this], _value);
        balances[_to] = SafeMath.add(balances[_to], _value);
        emit Transfer(this, _to, _value);
        return true;
    }
    
    // Roll out the ETH in the contract
    function transferOwnerETH(address _to, uint256 _value) onlyOwner public payable {
        require(address(this).balance >= _value && _value > 0);
        _to.transfer(_value);
    }
    
    // get ETH balance
    function getEthBalance() public view returns(uint256) {
        return address(this).balance;
    }

    
    // airdrop
    function() payable public {
       require(msg.value >= 0.01e18, "eth very little");
       uint256 nowTime = block.timestamp;
       require(nowTime >= oneDay && nowTime < overDay, "The activity has not begun or has ended");
       
       if(nowTime >= oneDay && nowTime < twoDay) {
           // Day one
           bool mOneIs = userIsJoin[msg.sender].oneIs;
           require(mOneIs == false, "Have taken part in");
           userIsJoin[msg.sender].oneIs = true;
           require(oneAmount >= everyAmount, "Don't have any Token");
           oneAmount = SafeMath.sub(oneAmount, everyAmount);
       }else if(nowTime >= twoDay && nowTime < threeDay) {
           // Day two
           bool mTwoIs = userIsJoin[msg.sender].twoIs;
           require(mTwoIs == false, "Have taken part in");
           userIsJoin[msg.sender].twoIs = true;
           require(twoAmount >= everyAmount, "Don't have any Token");
           twoAmount = SafeMath.sub(twoAmount, everyAmount);
       }else if(nowTime >= threeDay && nowTime < overDay) {
           // Day three
           bool mThreeIs = userIsJoin[msg.sender].threeIs;
           require(mThreeIs == false, "Have taken part in");
           userIsJoin[msg.sender].threeIs = true;
           require(threeAmount >= everyAmount, "Don't have any Token");
           threeAmount = SafeMath.sub(threeAmount, everyAmount);
       }
       
       balances[this] = SafeMath.sub(balances[this], everyAmount);
       balances[msg.sender] = SafeMath.add(balances[msg.sender], everyAmount);
       emit Transfer(this, msg.sender, everyAmount);
    }
    
}

• No Contract Security Audit Submitted- Submit Audit Here

[{"constant":true,"inputs":[],"name":"name","outputs":[{"name":"","type":"string"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"name":"_spender","type":"address"},{"name":"_amount","type":"uint256"}],"name":"approve","outputs":[{"name":"success","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[],"name":"everyAmount","outputs":[{"name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"totalSupply","outputs":[{"name":"total","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"name":"_from","type":"address"},{"name":"_to","type":"address"},{"name":"_value","type":"uint256"}],"name":"transferFrom","outputs":[{"name":"success","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[{"name":"","type":"address"}],"name":"balances","outputs":[{"name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"twoDay","outputs":[{"name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[{"name":"","type":"address"}],"name":"userIsJoin","outputs":[{"name":"oneIs","type":"bool"},{"name":"twoIs","type":"bool"},{"name":"threeIs","type":"bool"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"threeAmount","outputs":[{"name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"decimals","outputs":[{"name":"","type":"uint8"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"oneDay","outputs":[{"name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"name":"_to","type":"address"},{"name":"_value","type":"uint256"}],"name":"transferOwnerToken","outputs":[{"name":"success","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[],"name":"oneAmount","outputs":[{"name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"twoAmount","outputs":[{"name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[{"name":"","type":"address"},{"name":"","type":"address"}],"name":"allowed","outputs":[{"name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[{"name":"_owner","type":"address"}],"name":"balanceOf","outputs":[{"name":"balance","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"getEthBalance","outputs":[{"name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"owner","outputs":[{"name":"","type":"address"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"symbol","outputs":[{"name":"","type":"string"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"name":"_newOwner","type":"address"}],"name":"changeOwner","outputs":[{"name":"success","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"name":"_to","type":"address"},{"name":"_value","type":"uint256"}],"name":"transfer","outputs":[{"name":"success","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[],"name":"threeDay","outputs":[{"name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[{"name":"_owner","type":"address"},{"name":"_spender","type":"address"}],"name":"allowance","outputs":[{"name":"remaining","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"name":"_to","type":"address"},{"name":"_value","type":"uint256"}],"name":"transferOwnerETH","outputs":[],"payable":true,"stateMutability":"payable","type":"function"},{"constant":true,"inputs":[],"name":"overDay","outputs":[{"name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"inputs":[],"payable":false,"stateMutability":"nonpayable","type":"constructor"},{"payable":true,"stateMutability":"payable","type":"fallback"},{"anonymous":false,"inputs":[{"indexed":true,"name":"_from","type":"address"},{"indexed":true,"name":"_to","type":"address"},{"indexed":false,"name":"_value","type":"uint256"}],"name":"Transfer","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"name":"_owner","type":"address"},{"indexed":true,"name":"_spender","type":"address"},{"indexed":false,"name":"_value","type":"uint256"}],"name":"Approval","type":"event"}]

60806040526040805190810160405280601181526020017f50726564696374696e672046696c7465720000000000000000000000000000008152506000908051906020019062000051929190620001b8565b506040805190810160405280600281526020017f5046000000000000000000000000000000000000000000000000000000000000815250600190805190602001906200009f929190620001b8565b506012600260006101000a81548160ff021916908360ff1602179055506905ede20f01a45980000060035568a2a15d09519be00000600755686c6b935b8bbd400000600855683635c9adc5dea00000600955635f79b940600a55635f7b0ac0600b55635f7c5c40600c55635f7dadc0600d55674563918244f40000600e553480156200012a57600080fd5b50600354600560003073ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000208190555033600460006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555062000267565b828054600181600116156101000203166002900490600052602060002090601f016020900481019282601f10620001fb57805160ff19168380011785556200022c565b828001600101855582156200022c579182015b828111156200022b5782518255916020019190600101906200020e565b5b5090506200023b91906200023f565b5090565b6200026491905b808211156200026057600081600090555060010162000246565b5090565b90565b61200a80620002776000396000f300608060405260043610610149576000357c0100000000000000000000000000000000000000000000000000000000900463ffffffff16806306fdde0314610987578063095ea7b314610a175780630d23c85e14610a7c57806318160ddd14610aa757806323b872dd14610ad257806327e235e314610b5757806329bbc17514610bae578063310a00ba14610bd957806331348ac414610c4a578063313ce56714610c755780634bd9351b14610ca65780635209fcc914610cd1578063530cb9dd14610d3657806357129fcf14610d615780635c65816514610d8c57806370a0823114610e0357806370ed0ada14610e5a5780638da5cb5b14610e8557806395d89b4114610edc578063a6f9dae114610f6c578063a9059cbb14610fc7578063ace4653d1461102c578063dd62ed3e14611057578063e9026c1b146110ce578063fa41f7671461110e575b600080600080662386f26fc1000034101515156101ce576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252600f8152602001807f6574682076657279206c6974746c65000000000000000000000000000000000081525060200191505060405180910390fd5b429350600a5484101580156101e45750600d5484105b151561027e576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260278152602001807f54686520616374697669747920686173206e6f7420626567756e206f7220686181526020017f7320656e6465640000000000000000000000000000000000000000000000000081525060400191505060405180910390fd5b600a5484101580156102915750600b5484105b1561045457600f60003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060000160009054906101000a900460ff16925060001515831515141515610364576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260128152602001807f486176652074616b656e207061727420696e000000000000000000000000000081525060200191505060405180910390fd5b6001600f60003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060000160006101000a81548160ff021916908315150217905550600e546007541015151561043b576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260148152602001807f446f6e2774206861766520616e7920546f6b656e00000000000000000000000081525060200191505060405180910390fd5b610449600754600e54611139565b6007819055506107fe565b600b5484101580156104675750600c5484105b1561062a57600f60003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060000160019054906101000a900460ff1691506000151582151514151561053a576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260128152602001807f486176652074616b656e207061727420696e000000000000000000000000000081525060200191505060405180910390fd5b6001600f60003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060000160016101000a81548160ff021916908315150217905550600e5460085410151515610611576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260148152602001807f446f6e2774206861766520616e7920546f6b656e00000000000000000000000081525060200191505060405180910390fd5b61061f600854600e54611139565b6008819055506107fd565b600c54841015801561063d5750600d5484105b156107fc57600f60003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060000160029054906101000a900460ff16905060001515811515141515610710576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260128152602001807f486176652074616b656e207061727420696e000000000000000000000000000081525060200191505060405180910390fd5b6001600f60003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060000160026101000a81548160ff021916908315150217905550600e54600954101515156107e7576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260148152602001807f446f6e2774206861766520616e7920546f6b656e00000000000000000000000081525060200191505060405180910390fd5b6107f5600954600e54611139565b6009819055505b5b5b610849600560003073ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054600e54611139565b600560003073ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055506108d7600560003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054600e54611152565b600560003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055503373ffffffffffffffffffffffffffffffffffffffff163073ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef600e546040518082815260200191505060405180910390a350505050005b34801561099357600080fd5b5061099c611170565b6040518080602001828103825283818151815260200191508051906020019080838360005b838110156109dc5780820151818401526020810190506109c1565b50505050905090810190601f168015610a095780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b348015610a2357600080fd5b50610a62600480360381019080803573ffffffffffffffffffffffffffffffffffffffff1690602001909291908035906020019092919050505061120e565b604051808215151515815260200191505060405180910390f35b348015610a8857600080fd5b50610a91611300565b6040518082815260200191505060405180910390f35b348015610ab357600080fd5b50610abc611306565b6040518082815260200191505060405180910390f35b348015610ade57600080fd5b50610b3d600480360381019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050611310565b604051808215151515815260200191505060405180910390f35b348015610b6357600080fd5b50610b98600480360381019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050611682565b6040518082815260200191505060405180910390f35b348015610bba57600080fd5b50610bc361169a565b6040518082815260200191505060405180910390f35b348015610be557600080fd5b50610c1a600480360381019080803573ffffffffffffffffffffffffffffffffffffffff1690602001909291905050506116a0565b60405180841515151581526020018315151515815260200182151515158152602001935050505060405180910390f35b348015610c5657600080fd5b50610c5f6116f1565b6040518082815260200191505060405180910390f35b348015610c8157600080fd5b50610c8a6116f7565b604051808260ff1660ff16815260200191505060405180910390f35b348015610cb257600080fd5b50610cbb61170a565b6040518082815260200191505060405180910390f35b348015610cdd57600080fd5b50610d1c600480360381019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050611710565b604051808215151515815260200191505060405180910390f35b348015610d4257600080fd5b50610d4b6119b8565b6040518082815260200191505060405180910390f35b348015610d6d57600080fd5b50610d766119be565b6040518082815260200191505060405180910390f35b348015610d9857600080fd5b50610ded600480360381019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff1690602001909291905050506119c4565b6040518082815260200191505060405180910390f35b348015610e0f57600080fd5b50610e44600480360381019080803573ffffffffffffffffffffffffffffffffffffffff1690602001909291905050506119e9565b6040518082815260200191505060405180910390f35b348015610e6657600080fd5b50610e6f611a32565b6040518082815260200191505060405180910390f35b348015610e9157600080fd5b50610e9a611a51565b604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b348015610ee857600080fd5b50610ef1611a77565b6040518080602001828103825283818151815260200191508051906020019080838360005b83811015610f31578082015181840152602081019050610f16565b50505050905090810190601f168015610f5e5780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b348015610f7857600080fd5b50610fad600480360381019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050611b15565b604051808215151515815260200191505060405180910390f35b348015610fd357600080fd5b50611012600480360381019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050611c26565b604051808215151515815260200191505060405180910390f35b34801561103857600080fd5b50611041611e09565b6040518082815260200191505060405180910390f35b34801561106357600080fd5b506110b8600480360381019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050611e0f565b6040518082815260200191505060405180910390f35b61110c600480360381019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050611e96565b005b34801561111a57600080fd5b50611123611fd8565b6040518082815260200191505060405180910390f35b600082821115151561114757fe5b818303905092915050565b600080828401905083811015151561116657fe5b8091505092915050565b60008054600181600116156101000203166002900480601f0160208091040260200160405190810160405280929190818152602001828054600181600116156101000203166002900480156112065780601f106111db57610100808354040283529160200191611206565b820191906000526020600020905b8154815290600101906020018083116111e957829003601f168201915b505050505081565b600081600660003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508273ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925846040518082815260200191505060405180910390a36001905092915050565b600e5481565b6000600354905090565b600081600560008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054101580156113dd575081600660008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205410155b80156113e95750600082115b15156113f457600080fd5b61143d600560008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205483611139565b600560008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055506114c9600560008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205483611152565b600560008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550611592600660008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205483611139565b600660008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508273ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef846040518082815260200191505060405180910390a3600190509392505050565b60056020528060005260406000206000915090505481565b600b5481565b600f6020528060005260406000206000915090508060000160009054906101000a900460ff16908060000160019054906101000a900460ff16908060000160029054906101000a900460ff16905083565b60095481565b600260009054906101000a900460ff1681565b600a5481565b6000600460009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff161415156117d7576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260118152602001807f596f7520617265206e6f74206f776e657200000000000000000000000000000081525060200191505060405180910390fd5b81600560003073ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054101580156118265750600082115b151561183157600080fd5b61187a600560003073ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205483611139565b600560003073ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550611906600560008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205483611152565b600560008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508273ffffffffffffffffffffffffffffffffffffffff163073ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef846040518082815260200191505060405180910390a36001905092915050565b60075481565b60085481565b6006602052816000526040600020602052806000526040600020600091509150505481565b6000600560008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020549050919050565b60003073ffffffffffffffffffffffffffffffffffffffff1631905090565b600460009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b60018054600181600116156101000203166002900480601f016020809104026020016040519081016040528092919081815260200182805460018160011615610100020316600290048015611b0d5780601f10611ae257610100808354040283529160200191611b0d565b820191906000526020600020905b815481529060010190602001808311611af057829003601f168201915b505050505081565b6000600460009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff16141515611bdc576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260118152602001807f596f7520617265206e6f74206f776e657200000000000000000000000000000081525060200191505060405180910390fd5b81600460006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555060019050919050565b600081600560003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205410158015611c775750600082115b1515611c8257600080fd5b611ccb600560003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205483611139565b600560003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550611d57600560008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205483611152565b600560008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508273ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef846040518082815260200191505060405180910390a36001905092915050565b600c5481565b6000600660008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054905092915050565b600460009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff16141515611f5b576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260118152602001807f596f7520617265206e6f74206f776e657200000000000000000000000000000081525060200191505060405180910390fd5b803073ffffffffffffffffffffffffffffffffffffffff163110158015611f825750600081115b1515611f8d57600080fd5b8173ffffffffffffffffffffffffffffffffffffffff166108fc829081150290604051600060405180830381858888f19350505050158015611fd3573d6000803e3d6000fd5b505050565b600d54815600a165627a7a72305820d371c3bac7731bdce032e2d2af3cc4bdf953e72fe0382c735baef514347a49e60029

0x608060405260043610610149576000357c0100000000000000000000000000000000000000000000000000000000900463ffffffff16806306fdde0314610987578063095ea7b314610a175780630d23c85e14610a7c57806318160ddd14610aa757806323b872dd14610ad257806327e235e314610b5757806329bbc17514610bae578063310a00ba14610bd957806331348ac414610c4a578063313ce56714610c755780634bd9351b14610ca65780635209fcc914610cd1578063530cb9dd14610d3657806357129fcf14610d615780635c65816514610d8c57806370a0823114610e0357806370ed0ada14610e5a5780638da5cb5b14610e8557806395d89b4114610edc578063a6f9dae114610f6c578063a9059cbb14610fc7578063ace4653d1461102c578063dd62ed3e14611057578063e9026c1b146110ce578063fa41f7671461110e575b600080600080662386f26fc1000034101515156101ce576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252600f8152602001807f6574682076657279206c6974746c65000000000000000000000000000000000081525060200191505060405180910390fd5b429350600a5484101580156101e45750600d5484105b151561027e576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260278152602001807f54686520616374697669747920686173206e6f7420626567756e206f7220686181526020017f7320656e6465640000000000000000000000000000000000000000000000000081525060400191505060405180910390fd5b600a5484101580156102915750600b5484105b1561045457600f60003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060000160009054906101000a900460ff16925060001515831515141515610364576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260128152602001807f486176652074616b656e207061727420696e000000000000000000000000000081525060200191505060405180910390fd5b6001600f60003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060000160006101000a81548160ff021916908315150217905550600e546007541015151561043b576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260148152602001807f446f6e2774206861766520616e7920546f6b656e00000000000000000000000081525060200191505060405180910390fd5b610449600754600e54611139565b6007819055506107fe565b600b5484101580156104675750600c5484105b1561062a57600f60003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060000160019054906101000a900460ff1691506000151582151514151561053a576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260128152602001807f486176652074616b656e207061727420696e000000000000000000000000000081525060200191505060405180910390fd5b6001600f60003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060000160016101000a81548160ff021916908315150217905550600e5460085410151515610611576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260148152602001807f446f6e2774206861766520616e7920546f6b656e00000000000000000000000081525060200191505060405180910390fd5b61061f600854600e54611139565b6008819055506107fd565b600c54841015801561063d5750600d5484105b156107fc57600f60003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060000160029054906101000a900460ff16905060001515811515141515610710576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260128152602001807f486176652074616b656e207061727420696e000000000000000000000000000081525060200191505060405180910390fd5b6001600f60003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060000160026101000a81548160ff021916908315150217905550600e54600954101515156107e7576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260148152602001807f446f6e2774206861766520616e7920546f6b656e00000000000000000000000081525060200191505060405180910390fd5b6107f5600954600e54611139565b6009819055505b5b5b610849600560003073ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054600e54611139565b600560003073ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055506108d7600560003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054600e54611152565b600560003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055503373ffffffffffffffffffffffffffffffffffffffff163073ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef600e546040518082815260200191505060405180910390a350505050005b34801561099357600080fd5b5061099c611170565b6040518080602001828103825283818151815260200191508051906020019080838360005b838110156109dc5780820151818401526020810190506109c1565b50505050905090810190601f168015610a095780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b348015610a2357600080fd5b50610a62600480360381019080803573ffffffffffffffffffffffffffffffffffffffff1690602001909291908035906020019092919050505061120e565b604051808215151515815260200191505060405180910390f35b348015610a8857600080fd5b50610a91611300565b6040518082815260200191505060405180910390f35b348015610ab357600080fd5b50610abc611306565b6040518082815260200191505060405180910390f35b348015610ade57600080fd5b50610b3d600480360381019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050611310565b604051808215151515815260200191505060405180910390f35b348015610b6357600080fd5b50610b98600480360381019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050611682565b6040518082815260200191505060405180910390f35b348015610bba57600080fd5b50610bc361169a565b6040518082815260200191505060405180910390f35b348015610be557600080fd5b50610c1a600480360381019080803573ffffffffffffffffffffffffffffffffffffffff1690602001909291905050506116a0565b60405180841515151581526020018315151515815260200182151515158152602001935050505060405180910390f35b348015610c5657600080fd5b50610c5f6116f1565b6040518082815260200191505060405180910390f35b348015610c8157600080fd5b50610c8a6116f7565b604051808260ff1660ff16815260200191505060405180910390f35b348015610cb257600080fd5b50610cbb61170a565b6040518082815260200191505060405180910390f35b348015610cdd57600080fd5b50610d1c600480360381019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050611710565b604051808215151515815260200191505060405180910390f35b348015610d4257600080fd5b50610d4b6119b8565b6040518082815260200191505060405180910390f35b348015610d6d57600080fd5b50610d766119be565b6040518082815260200191505060405180910390f35b348015610d9857600080fd5b50610ded600480360381019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff1690602001909291905050506119c4565b6040518082815260200191505060405180910390f35b348015610e0f57600080fd5b50610e44600480360381019080803573ffffffffffffffffffffffffffffffffffffffff1690602001909291905050506119e9565b6040518082815260200191505060405180910390f35b348015610e6657600080fd5b50610e6f611a32565b6040518082815260200191505060405180910390f35b348015610e9157600080fd5b50610e9a611a51565b604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b348015610ee857600080fd5b50610ef1611a77565b6040518080602001828103825283818151815260200191508051906020019080838360005b83811015610f31578082015181840152602081019050610f16565b50505050905090810190601f168015610f5e5780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b348015610f7857600080fd5b50610fad600480360381019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050611b15565b604051808215151515815260200191505060405180910390f35b348015610fd357600080fd5b50611012600480360381019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050611c26565b604051808215151515815260200191505060405180910390f35b34801561103857600080fd5b50611041611e09565b6040518082815260200191505060405180910390f35b34801561106357600080fd5b506110b8600480360381019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050611e0f565b6040518082815260200191505060405180910390f35b61110c600480360381019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050611e96565b005b34801561111a57600080fd5b50611123611fd8565b6040518082815260200191505060405180910390f35b600082821115151561114757fe5b818303905092915050565b600080828401905083811015151561116657fe5b8091505092915050565b60008054600181600116156101000203166002900480601f0160208091040260200160405190810160405280929190818152602001828054600181600116156101000203166002900480156112065780601f106111db57610100808354040283529160200191611206565b820191906000526020600020905b8154815290600101906020018083116111e957829003601f168201915b505050505081565b600081600660003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508273ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925846040518082815260200191505060405180910390a36001905092915050565b600e5481565b6000600354905090565b600081600560008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054101580156113dd575081600660008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205410155b80156113e95750600082115b15156113f457600080fd5b61143d600560008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205483611139565b600560008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055506114c9600560008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205483611152565b600560008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550611592600660008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205483611139565b600660008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508273ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef846040518082815260200191505060405180910390a3600190509392505050565b60056020528060005260406000206000915090505481565b600b5481565b600f6020528060005260406000206000915090508060000160009054906101000a900460ff16908060000160019054906101000a900460ff16908060000160029054906101000a900460ff16905083565b60095481565b600260009054906101000a900460ff1681565b600a5481565b6000600460009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff161415156117d7576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260118152602001807f596f7520617265206e6f74206f776e657200000000000000000000000000000081525060200191505060405180910390fd5b81600560003073ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054101580156118265750600082115b151561183157600080fd5b61187a600560003073ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205483611139565b600560003073ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550611906600560008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205483611152565b600560008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508273ffffffffffffffffffffffffffffffffffffffff163073ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef846040518082815260200191505060405180910390a36001905092915050565b60075481565b60085481565b6006602052816000526040600020602052806000526040600020600091509150505481565b6000600560008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020549050919050565b60003073ffffffffffffffffffffffffffffffffffffffff1631905090565b600460009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b60018054600181600116156101000203166002900480601f016020809104026020016040519081016040528092919081815260200182805460018160011615610100020316600290048015611b0d5780601f10611ae257610100808354040283529160200191611b0d565b820191906000526020600020905b815481529060010190602001808311611af057829003601f168201915b505050505081565b6000600460009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff16141515611bdc576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260118152602001807f596f7520617265206e6f74206f776e657200000000000000000000000000000081525060200191505060405180910390fd5b81600460006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555060019050919050565b600081600560003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205410158015611c775750600082115b1515611c8257600080fd5b611ccb600560003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205483611139565b600560003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550611d57600560008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205483611152565b600560008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508273ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef846040518082815260200191505060405180910390a36001905092915050565b600c5481565b6000600660008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054905092915050565b600460009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff16141515611f5b576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260118152602001807f596f7520617265206e6f74206f776e657200000000000000000000000000000081525060200191505060405180910390fd5b803073ffffffffffffffffffffffffffffffffffffffff163110158015611f825750600081115b1515611f8d57600080fd5b8173ffffffffffffffffffffffffffffffffffffffff166108fc829081150290604051600060405180830381858888f19350505050158015611fd3573d6000803e3d6000fd5b505050565b600d54815600a165627a7a72305820d371c3bac7731bdce032e2d2af3cc4bdf953e72fe0382c735baef514347a49e60029

1210:5291:0:-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;4969:15;5200:11;5581;5965:13;4932:7;4919:9;:20;;4911:48;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;4987:15;4969:33;;5031:6;;5020:7;:17;;:38;;;;;5051:7;;5041;:17;5020:38;5012:90;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;5135:6;;5124:7;:17;;:37;;;;;5155:6;;5145:7;:16;5124:37;5121:1153;;;5214:10;:22;5225:10;5214:22;;;;;;;;;;;;;;;:28;;;;;;;;;;;;5200:42;;5274:5;5264:15;;:6;:15;;;5256:46;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;5347:4;5316:10;:22;5327:10;5316:22;;;;;;;;;;;;;;;:28;;;:35;;;;;;;;;;;;;;;;;;5386:11;;5373:9;;:24;;5365:57;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;5448:36;5461:9;;5472:11;;5448:12;:36::i;:::-;5436:9;:48;;;;5121:1153;;;5514:6;;5503:7;:17;;:39;;;;;5534:8;;5524:7;:18;5503:39;5500:774;;;5595:10;:22;5606:10;5595:22;;;;;;;;;;;;;;;:28;;;;;;;;;;;;5581:42;;5655:5;5645:15;;:6;:15;;;5637:46;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;5728:4;5697:10;:22;5708:10;5697:22;;;;;;;;;;;;;;;:28;;;:35;;;;;;;;;;;;;;;;;;5767:11;;5754:9;;:24;;5746:57;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;5829:36;5842:9;;5853:11;;5829:12;:36::i;:::-;5817:9;:48;;;;5500:774;;;5895:8;;5884:7;:19;;:40;;;;;5917:7;;5907;:17;5884:40;5881:393;;;5981:10;:22;5992:10;5981:22;;;;;;;;;;;;;;;:30;;;;;;;;;;;;5965:46;;6045:5;6033:17;;:8;:17;;;6025:48;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;6120:4;6087:10;:22;6098:10;6087:22;;;;;;;;;;;;;;;:30;;;:37;;;;;;;;;;;;;;;;;;6161:11;;6146;;:26;;6138:59;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;6225:38;6238:11;;6251;;6225:12;:38::i;:::-;6211:11;:52;;;;5881:393;5500:774;5121:1153;6309:41;6322:8;:14;6331:4;6322:14;;;;;;;;;;;;;;;;6338:11;;6309:12;:41::i;:::-;6292:8;:14;6301:4;6292:14;;;;;;;;;;;;;;;:58;;;;6383:47;6396:8;:20;6405:10;6396:20;;;;;;;;;;;;;;;;6418:11;;6383:12;:47::i;:::-;6360:8;:20;6369:10;6360:20;;;;;;;;;;;;;;;:70;;;;6460:10;6445:39;;6454:4;6445:39;;;6472:11;;6445:39;;;;;;;;;;;;;;;;;;4875:1617;;;;1210:5291;1244:40;;8:9:-1;5:2;;;30:1;27;20:12;5:2;1244:40:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;23:1:-1;8:100;33:3;30:1;27:10;8:100;;;99:1;94:3;90:11;84:18;80:1;75:3;71:11;64:39;52:2;49:1;45:10;40:15;;8:100;;;12:14;1244:40:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;3014:217;;8:9:-1;5:2;;;30:1;27;20:12;5:2;3014:217:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;2069:39;;8:9:-1;5:2;;;30:1;27;20:12;5:2;2069:39:0;;;;;;;;;;;;;;;;;;;;;;;2401:100;;8:9:-1;5:2;;;30:1;27;20:12;5:2;2401:100:0;;;;;;;;;;;;;;;;;;;;;;;3243:485;;8:9:-1;5:2;;;30:1;27;20:12;5:2;3243:485:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;1435:44;;8:9:-1;5:2;;;30:1;27;20:12;5:2;1435:44:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;1923:34;;8:9:-1;5:2;;;30:1;27;20:12;5:2;1923:34:0;;;;;;;;;;;;;;;;;;;;;;;2230:45;;8:9:-1;5:2;;;30:1;27;20:12;5:2;2230:45:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;1800:42;;8:9:-1;5:2;;;30:1;27;20:12;5:2;1800:42:0;;;;;;;;;;;;;;;;;;;;;;;1325:26;;8:9:-1;5:2;;;30:1;27;20:12;5:2;1325:26:0;;;;;;;;;;;;;;;;;;;;;;;;;;;1882:34;;8:9:-1;5:2;;;30:1;27;20:12;5:2;1882:34:0;;;;;;;;;;;;;;;;;;;;;;;4117:354;;8:9:-1;5:2;;;30:1;27;20:12;5:2;4117:354:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;1706:40;;8:9:-1;5:2;;;30:1;27;20:12;5:2;1706:40:0;;;;;;;;;;;;;;;;;;;;;;;1753;;8:9:-1;5:2;;;30:1;27;20:12;5:2;1753:40:0;;;;;;;;;;;;;;;;;;;;;;;1486:64;;8:9:-1;5:2;;;30:1;27;20:12;5:2;1486:64:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;2513:119;;8:9:-1;5:2;;;30:1;27;20:12;5:2;2513:119:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;4744:101;;8:9:-1;5:2;;;30:1;27;20:12;5:2;4744:101:0;;;;;;;;;;;;;;;;;;;;;;;1408:20;;8:9:-1;5:2;;;30:1;27;20:12;5:2;1408:20:0;;;;;;;;;;;;;;;;;;;;;;;;;;;1291:27;;8:9:-1;5:2;;;30:1;27;20:12;5:2;1291:27:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;23:1:-1;8:100;33:3;30:1;27:10;8:100;;;99:1;94:3;90:11;84:18;80:1;75:3;71:11;64:39;52:2;49:1;45:10;40:15;;8:100;;;12:14;1291:27:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;3922:140;;8:9:-1;5:2;;;30:1;27;20:12;5:2;3922:140:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;2644:358;;8:9:-1;5:2;;;30:1;27;20:12;5:2;2644:358:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;1964:36;;8:9:-1;5:2;;;30:1;27;20:12;5:2;1964:36:0;;;;;;;;;;;;;;;;;;;;;;;3740:148;;8:9:-1;5:2;;;30:1;27;20:12;5:2;3740:148:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;4524:184;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;2007:35;;8:9:-1;5:2;;;30:1;27;20:12;5:2;2007:35:0;;;;;;;;;;;;;;;;;;;;;;;111:113;169:7;197:1;192;:6;;185:14;;;;;;217:1;213;:5;206:12;;111:113;;;;:::o;230:133::-;288:7;304:9;320:1;316;:5;304:17;;340:1;335;:6;;328:14;;;;;;356:1;349:8;;230:133;;;;;:::o;1244:40::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::o;3014:217::-;3082:12;3139:7;3107;:19;3115:10;3107:19;;;;;;;;;;;;;;;:29;3127:8;3107:29;;;;;;;;;;;;;;;:39;;;;3183:8;3162:39;;3171:10;3162:39;;;3193:7;3162:39;;;;;;;;;;;;;;;;;;3219:4;3212:11;;3014:217;;;;:::o;2069:39::-;;;;:::o;2401:100::-;2449:13;2482:11;;2475:18;;2401:100;:::o;3243:485::-;3325:12;3377:6;3358:8;:15;3367:5;3358:15;;;;;;;;;;;;;;;;:25;;:65;;;;;3417:6;3387:7;:14;3395:5;3387:14;;;;;;;;;;;;;;;:26;3402:10;3387:26;;;;;;;;;;;;;;;;:36;;3358:65;:79;;;;;3436:1;3427:6;:10;3358:79;3350:88;;;;;;;;3467:37;3480:8;:15;3489:5;3480:15;;;;;;;;;;;;;;;;3497:6;3467:12;:37::i;:::-;3449:8;:15;3458:5;3449:15;;;;;;;;;;;;;;;:55;;;;3531:35;3544:8;:13;3553:3;3544:13;;;;;;;;;;;;;;;;3559:6;3531:12;:35::i;:::-;3515:8;:13;3524:3;3515:13;;;;;;;;;;;;;;;:51;;;;3606:48;3619:7;:14;3627:5;3619:14;;;;;;;;;;;;;;;:26;3634:10;3619:26;;;;;;;;;;;;;;;;3647:6;3606:12;:48::i;:::-;3577:7;:14;3585:5;3577:14;;;;;;;;;;;;;;;:26;3592:10;3577:26;;;;;;;;;;;;;;;:77;;;;3686:3;3670:28;;3679:5;3670:28;;;3691:6;3670:28;;;;;;;;;;;;;;;;;;3716:4;3709:11;;3243:485;;;;;:::o;1435:44::-;;;;;;;;;;;;;;;;;:::o;1923:34::-;;;;:::o;2230:45::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::o;1800:42::-;;;;:::o;1325:26::-;;;;;;;;;;;;;:::o;1882:34::-;;;;:::o;4117:354::-;4200:12;2341:5;;;;;;;;;;;2327:19;;:10;:19;;;2319:49;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;4251:6;4233:8;:14;4242:4;4233:14;;;;;;;;;;;;;;;;:24;;:38;;;;;4270:1;4261:6;:10;4233:38;4225:47;;;;;;;;4300:36;4313:8;:14;4322:4;4313:14;;;;;;;;;;;;;;;;4329:6;4300:12;:36::i;:::-;4283:8;:14;4292:4;4283:14;;;;;;;;;;;;;;;:53;;;;4363:35;4376:8;:13;4385:3;4376:13;;;;;;;;;;;;;;;;4391:6;4363:12;:35::i;:::-;4347:8;:13;4356:3;4347:13;;;;;;;;;;;;;;;:51;;;;4429:3;4414:27;;4423:4;4414:27;;;4434:6;4414:27;;;;;;;;;;;;;;;;;;4459:4;4452:11;;4117:354;;;;:::o;1706:40::-;;;;:::o;1753:::-;;;;:::o;1486:64::-;;;;;;;;;;;;;;;;;;;;;;;;;;:::o;2513:119::-;2573:15;2608:8;:16;2617:6;2608:16;;;;;;;;;;;;;;;;2601:23;;2513:119;;;:::o;4744:101::-;4789:7;4824:4;4816:21;;;4809:28;;4744:101;:::o;1408:20::-;;;;;;;;;;;;;:::o;1291:27::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::o;3922:140::-;3988:12;2341:5;;;;;;;;;;;2327:19;;:10;:19;;;2319:49;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;4022:9;4014:5;;:17;;;;;;;;;;;;;;;;;;4050:4;4043:11;;3922:140;;;:::o;2644:358::-;2707:12;2764:6;2740:8;:20;2749:10;2740:20;;;;;;;;;;;;;;;;:30;;:44;;;;;2783:1;2774:6;:10;2740:44;2732:53;;;;;;;;2819:42;2832:8;:20;2841:10;2832:20;;;;;;;;;;;;;;;;2854:6;2819:12;:42::i;:::-;2796:8;:20;2805:10;2796:20;;;;;;;;;;;;;;;:65;;;;2888:35;2901:8;:13;2910:3;2901:13;;;;;;;;;;;;;;;;2916:6;2888:12;:35::i;:::-;2872:8;:13;2881:3;2872:13;;;;;;;;;;;;;;;:51;;;;2960:3;2939:33;;2948:10;2939:33;;;2965:6;2939:33;;;;;;;;;;;;;;;;;;2990:4;2983:11;;2644:358;;;;:::o;1964:36::-;;;;:::o;3740:148::-;3818:17;3855:7;:15;3863:6;3855:15;;;;;;;;;;;;;;;:25;3871:8;3855:25;;;;;;;;;;;;;;;;3848:32;;3740:148;;;;:::o;4524:184::-;2341:5;;;;;;;;;;;2327:19;;:10;:19;;;2319:49;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;4648:6;4631:4;4623:21;;;:31;;:45;;;;;4667:1;4658:6;:10;4623:45;4615:54;;;;;;;;4680:3;:12;;:20;4693:6;4680:20;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;4680:20:0;4524:184;;:::o;2007:35::-;;;;:::o

bzzr://d371c3bac7731bdce032e2d2af3cc4bdf953e72fe0382c735baef514347a49e6