Contract Source Code (Solidity)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta
• Remix IDE

Outline

•  contract Token
•    - function balanceOf(address who)
•    - function allowance(address owner, add ...
•    - function transfer(address to, uint256 ...
•    - function approve(address spender, uin ...
•    - function approveAndCall(address spend ...
•    - function transferFrom(address from, a ...
• library SafeMath
•    - function mul(uint256 a, uint256 b)
•    - function div(uint256 a, uint256 b)
•    - function sub(uint256 a, uint256 b)
•    - function add(uint256 a, uint256 b)
•    - function ceil(uint256 a, uint256 m)
•  contract owned
•    - function transferOwnership(address ne ...
•  contract lockToken is owned *
•    - function lockTokens(address _tokenAdd ...
•    - function withdrawTokens(uint256 _id)
•    - function getTotalTokenBalance(address ...
•    - function getTokenBalanceByAddress(add ...
•    - function getAllDepositIds()
•    - function getDepositDetails(uint256 _i ...
•    - function getDepositsByWithdrawalAddre ...

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

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

pragma solidity ^0.4.25;

/**
 * Team Token Lockup
*/

contract Token {
    function balanceOf(address who) external view returns (uint256);
    function allowance(address owner, address spender) external view returns (uint256);
    function transfer(address to, uint256 value) external returns (bool);
    function approve(address spender, uint256 value) external returns (bool);
    function approveAndCall(address spender, uint tokens, bytes data) external returns (bool success);
    function transferFrom(address from, address to, uint256 value) external returns (bool);
}

library SafeMath {
  function mul(uint256 a, uint256 b) internal pure returns (uint256) {
    if (a == 0) {
      return 0;
    }
    uint256 c = a * b;
    require(c / a == b);
    return c;
  }

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

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

  function add(uint256 a, uint256 b) internal pure returns (uint256) {
    uint256 c = a + b;
    require(c >= a);
    return c;
  }

  function ceil(uint256 a, uint256 m) internal pure returns (uint256) {
    uint256 c = add(a,m);
    uint256 d = sub(c,1);
    return mul(div(d,m),m);
  }
}

contract owned {
        address public owner;

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

        modifier onlyOwner {
            require(msg.sender == owner);
            _;
        }

        function transferOwnership(address newOwner) onlyOwner public {
            owner = newOwner;
        }
}

contract lockToken is owned{
    using SafeMath for uint256;
    
    /*
     * deposit vars
    */
    struct Items {
        address tokenAddress;
        address withdrawalAddress;
        uint256 tokenAmount;
        uint256 unlockTime;
        bool withdrawn;
    }
    
    uint256 public depositId;
    uint256[] public allDepositIds;
    mapping (address => uint256[]) public depositsByWithdrawalAddress;
    mapping (uint256 => Items) public lockedToken;
    mapping (address => mapping(address => uint256)) public walletTokenBalance;
    
    event LogWithdrawal(address SentToAddress, uint256 AmountTransferred);
    
    /**
     * Constrctor function
    */
    constructor() public {
        
    }
    
    /**
     *lock tokens
    */
    function lockTokens(address _tokenAddress, uint256 _amount, uint256 _unlockTime) public returns (uint256 _id) {
        require(_amount > 0, 'token amount is Zero');
        require(_unlockTime < 10000000000, 'Enter an unix timestamp in seconds, not miliseconds');
        require(Token(_tokenAddress).approve(this, _amount), 'Approve tokens failed');
        require(Token(_tokenAddress).transferFrom(msg.sender, this, _amount), 'Transfer of tokens failed');
        
        //update balance in address
        walletTokenBalance[_tokenAddress][msg.sender] = walletTokenBalance[_tokenAddress][msg.sender].add(_amount);
        
        address _withdrawalAddress = msg.sender;
        _id = ++depositId;
        lockedToken[_id].tokenAddress = _tokenAddress;
        lockedToken[_id].withdrawalAddress = _withdrawalAddress;
        lockedToken[_id].tokenAmount = _amount;
        lockedToken[_id].unlockTime = _unlockTime;
        lockedToken[_id].withdrawn = false;
        
        allDepositIds.push(_id);
        depositsByWithdrawalAddress[_withdrawalAddress].push(_id);
    }
    
    /**
     *withdraw tokens
    */
    function withdrawTokens(uint256 _id) public {
        require(block.timestamp >= lockedToken[_id].unlockTime, 'Tokens are locked');
        require(msg.sender == lockedToken[_id].withdrawalAddress, 'Can withdraw by withdrawal Address only');
        require(!lockedToken[_id].withdrawn, 'Tokens already withdrawn');
        require(Token(lockedToken[_id].tokenAddress).transfer(msg.sender, lockedToken[_id].tokenAmount), 'Transfer of tokens failed');
        
        lockedToken[_id].withdrawn = true;
        
        //update balance in address
        walletTokenBalance[lockedToken[_id].tokenAddress][msg.sender] = walletTokenBalance[lockedToken[_id].tokenAddress][msg.sender].sub(lockedToken[_id].tokenAmount);
        
        //remove this id from this address
        uint256 i; uint256 j;
        for(j=0; j<depositsByWithdrawalAddress[lockedToken[_id].withdrawalAddress].length; j++){
            if(depositsByWithdrawalAddress[lockedToken[_id].withdrawalAddress][j] == _id){
                for (i = j; i<depositsByWithdrawalAddress[lockedToken[_id].withdrawalAddress].length-1; i++){
                    depositsByWithdrawalAddress[lockedToken[_id].withdrawalAddress][i] = depositsByWithdrawalAddress[lockedToken[_id].withdrawalAddress][i+1];
                }
                depositsByWithdrawalAddress[lockedToken[_id].withdrawalAddress].length--;
                break;
            }
        }
        emit LogWithdrawal(msg.sender, lockedToken[_id].tokenAmount);
    }

     /*get total token balance in contract*/
    function getTotalTokenBalance(address _tokenAddress) view public returns (uint256)
    {
       return Token(_tokenAddress).balanceOf(this);
    }
    
    /*get total token balance by address*/
    function getTokenBalanceByAddress(address _tokenAddress, address _walletAddress) view public returns (uint256)
    {
       return walletTokenBalance[_tokenAddress][_walletAddress];
    }
    
    /*get allDepositIds*/
    function getAllDepositIds() view public returns (uint256[])
    {
        return allDepositIds;
    }
    
    /*get getDepositDetails*/
    function getDepositDetails(uint256 _id) view public returns (address, address, uint256, uint256, bool)
    {
        return(lockedToken[_id].tokenAddress,lockedToken[_id].withdrawalAddress,lockedToken[_id].tokenAmount,
        lockedToken[_id].unlockTime,lockedToken[_id].withdrawn);
    }
    
    /*get DepositsByWithdrawalAddress*/
    function getDepositsByWithdrawalAddress(address _withdrawalAddress) view public returns (uint256[])
    {
        return depositsByWithdrawalAddress[_withdrawalAddress];
    }
    
}

• No Contract Security Audit Submitted- Submit Audit Here

[{"constant":true,"inputs":[{"name":"_withdrawalAddress","type":"address"}],"name":"getDepositsByWithdrawalAddress","outputs":[{"name":"","type":"uint256[]"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"name":"_id","type":"uint256"}],"name":"withdrawTokens","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[{"name":"_tokenAddress","type":"address"},{"name":"_walletAddress","type":"address"}],"name":"getTokenBalanceByAddress","outputs":[{"name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[{"name":"","type":"address"},{"name":"","type":"uint256"}],"name":"depositsByWithdrawalAddress","outputs":[{"name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"getAllDepositIds","outputs":[{"name":"","type":"uint256[]"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[{"name":"_id","type":"uint256"}],"name":"getDepositDetails","outputs":[{"name":"","type":"address"},{"name":"","type":"address"},{"name":"","type":"uint256"},{"name":"","type":"uint256"},{"name":"","type":"bool"}],"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":"depositId","outputs":[{"name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"name":"_tokenAddress","type":"address"},{"name":"_amount","type":"uint256"},{"name":"_unlockTime","type":"uint256"}],"name":"lockTokens","outputs":[{"name":"_id","type":"uint256"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[{"name":"_tokenAddress","type":"address"}],"name":"getTotalTokenBalance","outputs":[{"name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[{"name":"","type":"address"},{"name":"","type":"address"}],"name":"walletTokenBalance","outputs":[{"name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[{"name":"","type":"uint256"}],"name":"lockedToken","outputs":[{"name":"tokenAddress","type":"address"},{"name":"withdrawalAddress","type":"address"},{"name":"tokenAmount","type":"uint256"},{"name":"unlockTime","type":"uint256"},{"name":"withdrawn","type":"bool"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[{"name":"","type":"uint256"}],"name":"allDepositIds","outputs":[{"name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"name":"newOwner","type":"address"}],"name":"transferOwnership","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"inputs":[],"payable":false,"stateMutability":"nonpayable","type":"constructor"},{"anonymous":false,"inputs":[{"indexed":false,"name":"SentToAddress","type":"address"},{"indexed":false,"name":"AmountTransferred","type":"uint256"}],"name":"LogWithdrawal","type":"event"}]

608060405234801561001057600080fd5b50336000806101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff160217905550611c76806100606000396000f3006080604052600436106100d0576000357c0100000000000000000000000000000000000000000000000000000000900463ffffffff1680630bd59ad3146100d5578063315a095d1461016d578063347c80ba1461019a578063530680d8146102115780636ba0392414610272578063890db72f146102de5780638da5cb5b146103975780639852099c146103ee578063a25983e514610419578063adad19bd14610484578063b9e7df1c146104db578063bb941cff14610552578063c9028aff1461060b578063f2fde38b1461064c575b600080fd5b3480156100e157600080fd5b50610116600480360381019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919050505061068f565b6040518080602001828103825283818151815260200191508051906020019060200280838360005b8381101561015957808201518184015260208101905061013e565b505050509050019250505060405180910390f35b34801561017957600080fd5b5061019860048036038101908080359060200190929190505050610726565b005b3480156101a657600080fd5b506101fb600480360381019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff16906020019092919050505061109b565b6040518082815260200191505060405180910390f35b34801561021d57600080fd5b5061025c600480360381019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050611122565b6040518082815260200191505060405180910390f35b34801561027e57600080fd5b50610287611152565b6040518080602001828103825283818151815260200191508051906020019060200280838360005b838110156102ca5780820151818401526020810190506102af565b505050509050019250505060405180910390f35b3480156102ea57600080fd5b50610309600480360381019080803590602001909291905050506111aa565b604051808673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020018573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001848152602001838152602001821515151581526020019550505050505060405180910390f35b3480156103a357600080fd5b506103ac611285565b604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b3480156103fa57600080fd5b506104036112aa565b6040518082815260200191505060405180910390f35b34801561042557600080fd5b5061046e600480360381019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190803590602001909291905050506112b0565b6040518082815260200191505060405180910390f35b34801561049057600080fd5b506104c5600480360381019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050611974565b6040518082815260200191505060405180910390f35b3480156104e757600080fd5b5061053c600480360381019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050611a53565b6040518082815260200191505060405180910390f35b34801561055e57600080fd5b5061057d60048036038101908080359060200190929190505050611a78565b604051808673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020018573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001848152602001838152602001821515151581526020019550505050505060405180910390f35b34801561061757600080fd5b5061063660048036038101908080359060200190929190505050611afb565b6040518082815260200191505060405180910390f35b34801561065857600080fd5b5061068d600480360381019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050611b1e565b005b6060600360008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002080548060200260200160405190810160405280929190818152602001828054801561071a57602002820191906000526020600020905b815481526020019060010190808311610706575b50505050509050919050565b600080600460008481526020019081526020016000206003015442101515156107b7576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260118152602001807f546f6b656e7320617265206c6f636b656400000000000000000000000000000081525060200191505060405180910390fd5b6004600084815260200190815260200160002060010160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff161415156108b6576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260278152602001807f43616e207769746864726177206279207769746864726177616c20416464726581526020017f7373206f6e6c790000000000000000000000000000000000000000000000000081525060400191505060405180910390fd5b6004600084815260200190815260200160002060040160009054906101000a900460ff1615151561094f576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260188152602001807f546f6b656e7320616c72656164792077697468647261776e000000000000000081525060200191505060405180910390fd5b6004600084815260200190815260200160002060000160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1663a9059cbb3360046000878152602001908152602001600020600201546040518363ffffffff167c0100000000000000000000000000000000000000000000000000000000028152600401808373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200182815260200192505050602060405180830381600087803b158015610a3e57600080fd5b505af1158015610a52573d6000803e3d6000fd5b505050506040513d6020811015610a6857600080fd5b81019080805190602001909291905050501515610aed576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260198152602001807f5472616e73666572206f6620746f6b656e73206661696c65640000000000000081525060200191505060405180910390fd5b60016004600085815260200190815260200160002060040160006101000a81548160ff021916908315150217905550610bf76004600085815260200190815260200160002060020154600560006004600088815260200190815260200160002060000160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054611bbc90919063ffffffff16565b600560006004600087815260200190815260200160002060000160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550600090505b600360006004600086815260200190815260200160002060010160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020805490508110156110155782600360006004600087815260200190815260200160002060010160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002082815481101515610db557fe5b90600052602060002001541415611008578091505b6001600360006004600087815260200190815260200160002060010160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000208054905003821015610f7a57600360006004600086815260200190815260200160002060010160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060018301815481101515610ed257fe5b9060005260206000200154600360006004600087815260200190815260200160002060010160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002083815481101515610f5f57fe5b90600052602060002001819055508180600101925050610dca565b600360006004600086815260200190815260200160002060010160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000208054809190600190036110029190611bf9565b50611015565b8080600101915050610cb2565b7fb4214c8c54fc7442f36d3682f59aebaf09358a4431835b30efb29d52cf9e1e91336004600086815260200190815260200160002060020154604051808373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020018281526020019250505060405180910390a1505050565b6000600560008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054905092915050565b60036020528160005260406000208181548110151561113d57fe5b90600052602060002001600091509150505481565b606060028054806020026020016040519081016040528092919081815260200182805480156111a057602002820191906000526020600020905b81548152602001906001019080831161118c575b5050505050905090565b60008060008060006004600087815260200190815260200160002060000160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff166004600088815260200190815260200160002060010160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff166004600089815260200190815260200160002060020154600460008a815260200190815260200160002060030154600460008b815260200190815260200160002060040160009054906101000a900460ff169450945094509450945091939590929450565b6000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b60015481565b60008060008411151561132b576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260148152602001807f746f6b656e20616d6f756e74206973205a65726f00000000000000000000000081525060200191505060405180910390fd5b6402540be400831015156113cd576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260338152602001807f456e74657220616e20756e69782074696d657374616d7020696e207365636f6e81526020017f64732c206e6f74206d696c697365636f6e64730000000000000000000000000081525060400191505060405180910390fd5b8473ffffffffffffffffffffffffffffffffffffffff1663095ea7b330866040518363ffffffff167c0100000000000000000000000000000000000000000000000000000000028152600401808373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200182815260200192505050602060405180830381600087803b15801561147057600080fd5b505af1158015611484573d6000803e3d6000fd5b505050506040513d602081101561149a57600080fd5b8101908080519060200190929190505050151561151f576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260158152602001807f417070726f766520746f6b656e73206661696c6564000000000000000000000081525060200191505060405180910390fd5b8473ffffffffffffffffffffffffffffffffffffffff166323b872dd3330876040518463ffffffff167c0100000000000000000000000000000000000000000000000000000000028152600401808473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020018373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020018281526020019350505050602060405180830381600087803b1580156115f657600080fd5b505af115801561160a573d6000803e3d6000fd5b505050506040513d602081101561162057600080fd5b810190808051906020019092919050505015156116a5576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260198152602001807f5472616e73666572206f6620746f6b656e73206661696c65640000000000000081525060200191505060405180910390fd5b61173484600560008873ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054611bd890919063ffffffff16565b600560008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055503390506001600081546001019190508190559150846004600084815260200190815260200160002060000160006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff160217905550806004600084815260200190815260200160002060010160006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555083600460008481526020019081526020016000206002018190555082600460008481526020019081526020016000206003018190555060006004600084815260200190815260200160002060040160006101000a81548160ff0219169083151502179055506002829080600181540180825580915050906001820390600052602060002001600090919290919091505550600360008273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020829080600181540180825580915050906001820390600052602060002001600090919290919091505550509392505050565b60008173ffffffffffffffffffffffffffffffffffffffff166370a08231306040518263ffffffff167c0100000000000000000000000000000000000000000000000000000000028152600401808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001915050602060405180830381600087803b158015611a1157600080fd5b505af1158015611a25573d6000803e3d6000fd5b505050506040513d6020811015611a3b57600080fd5b81019080805190602001909291905050509050919050565b6005602052816000526040600020602052806000526040600020600091509150505481565b60046020528060005260406000206000915090508060000160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff16908060010160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff16908060020154908060030154908060040160009054906101000a900460ff16905085565b600281815481101515611b0a57fe5b906000526020600020016000915090505481565b6000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff16141515611b7957600080fd5b806000806101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555050565b6000828211151515611bcd57600080fd5b818303905092915050565b6000808284019050838110151515611bef57600080fd5b8091505092915050565b815481835581811115611c2057818360005260206000209182019101611c1f9190611c25565b5b505050565b611c4791905b80821115611c43576000816000905550600101611c2b565b5090565b905600a165627a7a7230582075402c38e21f70d7439536bf7bda4422fda90432fe8780c4c9d99e584fa291b20029

0x6080604052600436106100d0576000357c0100000000000000000000000000000000000000000000000000000000900463ffffffff1680630bd59ad3146100d5578063315a095d1461016d578063347c80ba1461019a578063530680d8146102115780636ba0392414610272578063890db72f146102de5780638da5cb5b146103975780639852099c146103ee578063a25983e514610419578063adad19bd14610484578063b9e7df1c146104db578063bb941cff14610552578063c9028aff1461060b578063f2fde38b1461064c575b600080fd5b3480156100e157600080fd5b50610116600480360381019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919050505061068f565b6040518080602001828103825283818151815260200191508051906020019060200280838360005b8381101561015957808201518184015260208101905061013e565b505050509050019250505060405180910390f35b34801561017957600080fd5b5061019860048036038101908080359060200190929190505050610726565b005b3480156101a657600080fd5b506101fb600480360381019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff16906020019092919050505061109b565b6040518082815260200191505060405180910390f35b34801561021d57600080fd5b5061025c600480360381019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050611122565b6040518082815260200191505060405180910390f35b34801561027e57600080fd5b50610287611152565b6040518080602001828103825283818151815260200191508051906020019060200280838360005b838110156102ca5780820151818401526020810190506102af565b505050509050019250505060405180910390f35b3480156102ea57600080fd5b50610309600480360381019080803590602001909291905050506111aa565b604051808673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020018573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001848152602001838152602001821515151581526020019550505050505060405180910390f35b3480156103a357600080fd5b506103ac611285565b604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b3480156103fa57600080fd5b506104036112aa565b6040518082815260200191505060405180910390f35b34801561042557600080fd5b5061046e600480360381019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190803590602001909291905050506112b0565b6040518082815260200191505060405180910390f35b34801561049057600080fd5b506104c5600480360381019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050611974565b6040518082815260200191505060405180910390f35b3480156104e757600080fd5b5061053c600480360381019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050611a53565b6040518082815260200191505060405180910390f35b34801561055e57600080fd5b5061057d60048036038101908080359060200190929190505050611a78565b604051808673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020018573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001848152602001838152602001821515151581526020019550505050505060405180910390f35b34801561061757600080fd5b5061063660048036038101908080359060200190929190505050611afb565b6040518082815260200191505060405180910390f35b34801561065857600080fd5b5061068d600480360381019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050611b1e565b005b6060600360008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002080548060200260200160405190810160405280929190818152602001828054801561071a57602002820191906000526020600020905b815481526020019060010190808311610706575b50505050509050919050565b600080600460008481526020019081526020016000206003015442101515156107b7576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260118152602001807f546f6b656e7320617265206c6f636b656400000000000000000000000000000081525060200191505060405180910390fd5b6004600084815260200190815260200160002060010160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff161415156108b6576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260278152602001807f43616e207769746864726177206279207769746864726177616c20416464726581526020017f7373206f6e6c790000000000000000000000000000000000000000000000000081525060400191505060405180910390fd5b6004600084815260200190815260200160002060040160009054906101000a900460ff1615151561094f576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260188152602001807f546f6b656e7320616c72656164792077697468647261776e000000000000000081525060200191505060405180910390fd5b6004600084815260200190815260200160002060000160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1663a9059cbb3360046000878152602001908152602001600020600201546040518363ffffffff167c0100000000000000000000000000000000000000000000000000000000028152600401808373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200182815260200192505050602060405180830381600087803b158015610a3e57600080fd5b505af1158015610a52573d6000803e3d6000fd5b505050506040513d6020811015610a6857600080fd5b81019080805190602001909291905050501515610aed576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260198152602001807f5472616e73666572206f6620746f6b656e73206661696c65640000000000000081525060200191505060405180910390fd5b60016004600085815260200190815260200160002060040160006101000a81548160ff021916908315150217905550610bf76004600085815260200190815260200160002060020154600560006004600088815260200190815260200160002060000160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054611bbc90919063ffffffff16565b600560006004600087815260200190815260200160002060000160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550600090505b600360006004600086815260200190815260200160002060010160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020805490508110156110155782600360006004600087815260200190815260200160002060010160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002082815481101515610db557fe5b90600052602060002001541415611008578091505b6001600360006004600087815260200190815260200160002060010160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000208054905003821015610f7a57600360006004600086815260200190815260200160002060010160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060018301815481101515610ed257fe5b9060005260206000200154600360006004600087815260200190815260200160002060010160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002083815481101515610f5f57fe5b90600052602060002001819055508180600101925050610dca565b600360006004600086815260200190815260200160002060010160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000208054809190600190036110029190611bf9565b50611015565b8080600101915050610cb2565b7fb4214c8c54fc7442f36d3682f59aebaf09358a4431835b30efb29d52cf9e1e91336004600086815260200190815260200160002060020154604051808373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020018281526020019250505060405180910390a1505050565b6000600560008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054905092915050565b60036020528160005260406000208181548110151561113d57fe5b90600052602060002001600091509150505481565b606060028054806020026020016040519081016040528092919081815260200182805480156111a057602002820191906000526020600020905b81548152602001906001019080831161118c575b5050505050905090565b60008060008060006004600087815260200190815260200160002060000160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff166004600088815260200190815260200160002060010160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff166004600089815260200190815260200160002060020154600460008a815260200190815260200160002060030154600460008b815260200190815260200160002060040160009054906101000a900460ff169450945094509450945091939590929450565b6000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b60015481565b60008060008411151561132b576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260148152602001807f746f6b656e20616d6f756e74206973205a65726f00000000000000000000000081525060200191505060405180910390fd5b6402540be400831015156113cd576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260338152602001807f456e74657220616e20756e69782074696d657374616d7020696e207365636f6e81526020017f64732c206e6f74206d696c697365636f6e64730000000000000000000000000081525060400191505060405180910390fd5b8473ffffffffffffffffffffffffffffffffffffffff1663095ea7b330866040518363ffffffff167c0100000000000000000000000000000000000000000000000000000000028152600401808373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200182815260200192505050602060405180830381600087803b15801561147057600080fd5b505af1158015611484573d6000803e3d6000fd5b505050506040513d602081101561149a57600080fd5b8101908080519060200190929190505050151561151f576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260158152602001807f417070726f766520746f6b656e73206661696c6564000000000000000000000081525060200191505060405180910390fd5b8473ffffffffffffffffffffffffffffffffffffffff166323b872dd3330876040518463ffffffff167c0100000000000000000000000000000000000000000000000000000000028152600401808473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020018373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020018281526020019350505050602060405180830381600087803b1580156115f657600080fd5b505af115801561160a573d6000803e3d6000fd5b505050506040513d602081101561162057600080fd5b810190808051906020019092919050505015156116a5576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260198152602001807f5472616e73666572206f6620746f6b656e73206661696c65640000000000000081525060200191505060405180910390fd5b61173484600560008873ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054611bd890919063ffffffff16565b600560008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055503390506001600081546001019190508190559150846004600084815260200190815260200160002060000160006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff160217905550806004600084815260200190815260200160002060010160006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555083600460008481526020019081526020016000206002018190555082600460008481526020019081526020016000206003018190555060006004600084815260200190815260200160002060040160006101000a81548160ff0219169083151502179055506002829080600181540180825580915050906001820390600052602060002001600090919290919091505550600360008273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020829080600181540180825580915050906001820390600052602060002001600090919290919091505550509392505050565b60008173ffffffffffffffffffffffffffffffffffffffff166370a08231306040518263ffffffff167c0100000000000000000000000000000000000000000000000000000000028152600401808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001915050602060405180830381600087803b158015611a1157600080fd5b505af1158015611a25573d6000803e3d6000fd5b505050506040513d6020811015611a3b57600080fd5b81019080805190602001909291905050509050919050565b6005602052816000526040600020602052806000526040600020600091509150505481565b60046020528060005260406000206000915090508060000160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff16908060010160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff16908060020154908060030154908060040160009054906101000a900460ff16905085565b600281815481101515611b0a57fe5b906000526020600020016000915090505481565b6000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff16141515611b7957600080fd5b806000806101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555050565b6000828211151515611bcd57600080fd5b818303905092915050565b6000808284019050838110151515611bef57600080fd5b8091505092915050565b815481835581811115611c2057818360005260206000209182019101611c1f9190611c25565b5b505050565b611c4791905b80821115611c43576000816000905550600101611c2b565b5090565b905600a165627a7a7230582075402c38e21f70d7439536bf7bda4422fda90432fe8780c4c9d99e584fa291b20029

1696:4618:0:-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;6127:178;;8:9:-1;5:2;;;30:1;27;20:12;5:2;6127:178: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;6127:178:0;;;;;;;;;;;;;;;;;3637:1509;;8:9:-1;5:2;;;30:1;27;20:12;5:2;3637:1509:0;;;;;;;;;;;;;;;;;;;;;;;;;;5405:190;;8:9:-1;5:2;;;30:1;27;20:12;5:2;5405:190:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;2058:65;;8:9:-1;5:2;;;30:1;27;20:12;5:2;2058:65:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;5634:104;;8:9:-1;5:2;;;30:1;27;20:12;5:2;5634:104: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;5634:104:0;;;;;;;;;;;;;;;;;5781:293;;8:9:-1;5:2;;;30:1;27;20:12;5:2;5781:293:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;1371:20;;8:9:-1;5:2;;;30:1;27;20:12;5:2;1371:20:0;;;;;;;;;;;;;;;;;;;;;;;;;;;1990:24;;8:9:-1;5:2;;;30:1;27;20:12;5:2;1990:24:0;;;;;;;;;;;;;;;;;;;;;;;2483:1102;;8:9:-1;5:2;;;30:1;27;20:12;5:2;2483:1102:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;5200:149;;8:9:-1;5:2;;;30:1;27;20:12;5:2;5200:149:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;2182:74;;8:9:-1;5:2;;;30:1;27;20:12;5:2;2182:74:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;2130:45;;8:9:-1;5:2;;;30:1;27;20:12;5:2;2130:45:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;2021:30;;8:9:-1;5:2;;;30:1;27;20:12;5:2;2021:30:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;1584:105;;8:9:-1;5:2;;;30:1;27;20:12;5:2;1584:105:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;6127:178;6216:9;6250:27;:47;6278:18;6250:47;;;;;;;;;;;;;;;6243:54;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;6127:178;;;:::o;3637:1509::-;4426:9;4437;3719:11;:16;3731:3;3719:16;;;;;;;;;;;:27;;;3700:15;:46;;3692:76;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;3801:11;:16;3813:3;3801:16;;;;;;;;;;;:34;;;;;;;;;;;;3787:48;;:10;:48;;;3779:100;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;3899:11;:16;3911:3;3899:16;;;;;;;;;;;:26;;;;;;;;;;;;3898:27;3890:64;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;3979:11;:16;3991:3;3979:16;;;;;;;;;;;:29;;;;;;;;;;;;3973:45;;;4019:10;4031:11;:16;4043:3;4031:16;;;;;;;;;;;:28;;;3973:87;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;3973:87:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;3973:87:0;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;3973:87:0;;;;;;;;;;;;;;;;3965:125;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;4140:4;4111:11;:16;4123:3;4111:16;;;;;;;;;;;:26;;;:33;;;;;;;;;;;;;;;;;;4266:95;4332:11;:16;4344:3;4332:16;;;;;;;;;;;:28;;;4266:18;:49;4285:11;:16;4297:3;4285:16;;;;;;;;;;;:29;;;;;;;;;;;;4266:49;;;;;;;;;;;;;;;:61;4316:10;4266:61;;;;;;;;;;;;;;;;:65;;:95;;;;:::i;:::-;4202:18;:49;4221:11;:16;4233:3;4221:16;;;;;;;;;;;:29;;;;;;;;;;;;4202:49;;;;;;;;;;;;;;;:61;4252:10;4202:61;;;;;;;;;;;;;;;:159;;;;4463:1;4461:3;;4457:611;4468:27;:63;4496:11;:16;4508:3;4496:16;;;;;;;;;;;:34;;;;;;;;;;;;4468:63;;;;;;;;;;;;;;;:70;;;;4466:1;:72;4457:611;;;4632:3;4562:27;:63;4590:11;:16;4602:3;4590:16;;;;;;;;;;;:34;;;;;;;;;;;;4562:63;;;;;;;;;;;;;;;4626:1;4562:66;;;;;;;;;;;;;;;;;;:73;4559:498;;;4664:1;4660:5;;4655:272;4740:1;4669:27;:63;4697:11;:16;4709:3;4697:16;;;;;;;;;;;:34;;;;;;;;;;;;4669:63;;;;;;;;;;;;;;;:70;;;;:72;4667:1;:74;4655:272;;;4839:27;:63;4867:11;:16;4879:3;4867:16;;;;;;;;;;;:34;;;;;;;;;;;;4839:63;;;;;;;;;;;;;;;4905:1;4903;:3;4839:68;;;;;;;;;;;;;;;;;;4770:27;:63;4798:11;:16;4810:3;4798:16;;;;;;;;;;;:34;;;;;;;;;;;;4770:63;;;;;;;;;;;;;;;4834:1;4770:66;;;;;;;;;;;;;;;;;:137;;;;4743:3;;;;;;;4655:272;;;4945:27;:63;4973:11;:16;4985:3;4973:16;;;;;;;;;;;:34;;;;;;;;;;;;4945:63;;;;;;;;;;;;;;;:72;;;;;;;;;;;;:::i;:::-;;5036:5;;4559:498;4540:3;;;;;;;4457:611;;;5083:55;5097:10;5109:11;:16;5121:3;5109:16;;;;;;;;;;;:28;;;5083:55;;;;;;;;;;;;;;;;;;;;;;;;;;;;3637:1509;;;:::o;5405:190::-;5507:7;5538:18;:33;5557:13;5538:33;;;;;;;;;;;;;;;:49;5572:14;5538:49;;;;;;;;;;;;;;;;5531:56;;5405:190;;;;:::o;2058:65::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::o;5634:104::-;5683:9;5717:13;5710:20;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;5634:104;:::o;5781:293::-;5842:7;5851;5860;5869;5878:4;5907:11;:16;5919:3;5907:16;;;;;;;;;;;:29;;;;;;;;;;;;5937:11;:16;5949:3;5937:16;;;;;;;;;;;:34;;;;;;;;;;;;5972:11;:16;5984:3;5972:16;;;;;;;;;;;:28;;;6011:11;:16;6023:3;6011:16;;;;;;;;;;;:27;;;6039:11;:16;6051:3;6039:16;;;;;;;;;;;:26;;;;;;;;;;;;5900:166;;;;;;;;;;5781:293;;;;;;;:::o;1371:20::-;;;;;;;;;;;;;:::o;1990:24::-;;;;:::o;2483:1102::-;2580:11;3130:26;2622:1;2612:7;:11;2604:44;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;2681:11;2667;:25;2659:89;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;2773:13;2767:28;;;2796:4;2802:7;2767:43;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;2767:43:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;2767:43:0;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;2767:43:0;;;;;;;;;;;;;;;;2759:77;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;2861:13;2855:33;;;2889:10;2901:4;2907:7;2855:60;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;2855:60:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;2855:60:0;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;2855:60:0;;;;;;;;;;;;;;;;2847:98;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;3051:58;3101:7;3051:18;:33;3070:13;3051:33;;;;;;;;;;;;;;;:45;3085:10;3051:45;;;;;;;;;;;;;;;;:49;;:58;;;;:::i;:::-;3003:18;:33;3022:13;3003:33;;;;;;;;;;;;;;;:45;3037:10;3003:45;;;;;;;;;;;;;;;:106;;;;3159:10;3130:39;;3188:9;;3186:11;;;;;;;;;;3180:17;;3240:13;3208:11;:16;3220:3;3208:16;;;;;;;;;;;:29;;;:45;;;;;;;;;;;;;;;;;;3301:18;3264:11;:16;3276:3;3264:16;;;;;;;;;;;:34;;;:55;;;;;;;;;;;;;;;;;;3361:7;3330:11;:16;3342:3;3330:16;;;;;;;;;;;:28;;:38;;;;3409:11;3379;:16;3391:3;3379:16;;;;;;;;;;;:27;;:41;;;;3460:5;3431:11;:16;3443:3;3431:16;;;;;;;;;;;:26;;;:34;;;;;;;;;;;;;;;;;;3486:13;3505:3;3486:23;;39:1:-1;33:3;27:10;23:18;57:10;52:3;45:23;79:10;72:17;;0:93;3486:23:0;;;;;;;;;;;;;;;;;;;;;;3520:27;:47;3548:18;3520:47;;;;;;;;;;;;;;;3573:3;3520:57;;39:1:-1;33:3;27:10;23:18;57:10;52:3;45:23;79:10;72:17;;0:93;3520:57:0;;;;;;;;;;;;;;;;;;;;;;2483:1102;;;;;;:::o;5200:149::-;5274:7;5311:13;5305:30;;;5336:4;5305:36;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;5305:36:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;5305:36:0;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;5305:36:0;;;;;;;;;;;;;;;;5298:43;;5200:149;;;:::o;2182:74::-;;;;;;;;;;;;;;;;;;;;;;;;;;:::o;2130:45::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::o;2021:30::-;;;;;;;;;;;;;;;;;;;;;;;;;;;:::o;1584:105::-;1538:5;;;;;;;;;;;1524:19;;:10;:19;;;1516:28;;;;;;;;1669:8;1661:5;;:16;;;;;;;;;;;;;;;;;;1584:105;:::o;921:114::-;979:7;1008:1;1003;:6;;995:15;;;;;;;;1028:1;1024;:5;1017:12;;921:114;;;;:::o;1041:134::-;1099:7;1115:9;1131:1;1127;:5;1115:17;;1152:1;1147;:6;;1139:15;;;;;;;;1168:1;1161:8;;1041:134;;;;;:::o;1696:4618::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;:::o;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;:::o

bzzr://75402c38e21f70d7439536bf7bda4422fda90432fe8780c4c9d99e584fa291b2