Contract Source Code (Solidity)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta
• Remix IDE

Outline

library SafeMath    - function mul(uint256 a, uint256 b)    - function div(uint256 a, uint256 b)    - function sub(uint256 a, uint256 b)    - function add(uint256 a, uint256 b)    - function mod(uint256 a, uint256 b)  contract ERC20    - function totalSupply()    - function balanceOf(address owner)    - function allowance(address owner, add ...    - function transfer(address to, uint256 ...    - function approve(address spender, uin ...    - function transferFrom(address from, a ...    - function _transfer(address from, addr ...  contract ERC20Mintable is ERC20    - function _mint(address to, uint256 am ...    - function _burn(address from, uint256 ...  contract ThreeFMutual  contract TFToken is ERC20Mintable *    - function claim(address receiver)

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

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

pragma solidity 0.5.16;

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) {
        require(b > 0);
        uint256 c = a / b;
        return c;
    }

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

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

    function mod(uint256 a, uint256 b) internal pure returns (uint256) {
        require(b != 0);
        return a % b;
    }
}


contract ERC20 {
    using SafeMath for uint256;

    mapping (address => uint256) internal _balances;
    mapping (address => mapping (address => uint256)) internal _allowed;
    
    event Transfer(address indexed from, address indexed to, uint256 value);
    event Approval(address indexed owner, address indexed spender, uint256 value);

    uint256 internal _totalSupply;

    /**
    * @dev Total number of tokens in existence
    */
    function totalSupply() public view returns (uint256) {
        return _totalSupply;
    }

    /**
    * @dev Gets the balance of the specified address.
    * @param owner The address to query the balance of.
    * @return A uint256 representing the amount owned by the passed address.
    */
    function balanceOf(address owner) public view returns (uint256) {
        return _balances[owner];
    }

    /**
    * @dev Function to check the amount of tokens that an owner allowed to a spender.
    * @param owner address The address which owns the funds.
    * @param spender address The address which will spend the funds.
    * @return A uint256 specifying the amount of tokens still available for the spender.
    */
    function allowance(address owner, address spender) public view returns (uint256) {
        return _allowed[owner][spender];
    }

    /**
    * @dev Transfer token to a specified address
    * @param to The address to transfer to.
    * @param value The amount to be transferred.
    */
    function transfer(address to, uint256 value) public returns (bool) {
        _transfer(msg.sender, to, value);
        return true;
    }

    /**
    * @dev Approve the passed address to spend the specified amount of tokens on behalf of msg.sender.
    * Beware that changing an allowance with this method brings the risk that someone may use both the old
    * and the new allowance by unfortunate transaction ordering. One possible solution to mitigate this
    * race condition is to first reduce the spender's allowance to 0 and set the desired value afterwards:
    * https://github.com/ethereum/EIPs/issues/20#issuecomment-263524729
    * @param spender The address which will spend the funds.
    * @param value The amount of tokens to be spent.
    */
    function approve(address spender, uint256 value) public returns (bool) {
        _allowed[msg.sender][spender] = value;
        emit Approval(msg.sender, spender, value);
        return true;
    }

    /**
    * @dev Transfer tokens from one address to another.
    * Note that while this function emits an Approval event, this is not required as per the specification,
    * and other compliant implementations may not emit the event.
    * @param from address The address which you want to send tokens from
    * @param to address The address which you want to transfer to
    * @param value uint256 the amount of tokens to be transferred
    */
    function transferFrom(address from, address to, uint256 value) public returns (bool) {
        _allowed[from][msg.sender] = _allowed[from][msg.sender].sub(value);
        _transfer(from, to, value);
        return true;
    }

    function _transfer(address from, address to, uint256 value) internal {
        require(to != address(0));
        _balances[from] = _balances[from].sub(value);
        _balances[to] = _balances[to].add(value);
        emit Transfer(from, to, value);
    }

}

contract ERC20Mintable is ERC20 {
    string public name;
    string public symbol;
    uint8 public decimals;

    function _mint(address to, uint256 amount) internal {
        _balances[to] = _balances[to].add(amount);
        _totalSupply = _totalSupply.add(amount);
        emit Transfer(address(0), to, amount);
    }

    function _burn(address from, uint256 amount) internal {
        _balances[from] = _balances[from].sub(amount);
        _totalSupply = _totalSupply.sub(amount);
        emit Transfer(from, address(0), amount);
    }
}

contract ThreeFMutual {

    struct Player {
        uint256 id;             // agent id
        bytes32 name;           // agent name
        uint256 ref;            // referral vault
        bool isAgent;           // referral activated
        bool claimed;           // insurance claimed
        uint256 eth;            // eth player has paid
        uint256 shares;         // shares
        uint256 units;          // uints of insurance
        uint256 plyrLastSeen;   // last day player played
        uint256 mask;           // player mask
        uint256 level;          // agent level
        uint256 accumulatedRef; // accumulated referral income
    }

    mapping(address => mapping(uint256 => uint256)) public unitToExpirePlayer;
    mapping(uint256 => uint256) public unitToExpire; // unit of insurance due at day x

    uint256 public issuedInsurance; // all issued insurance
    uint256 public ethOfShare;      // virtual eth pointer
    uint256 public shares;          // total share
    uint256 public pool;            // eth gonna pay to beneficiary
    uint256 public today;           // today's date
    uint256 public _now;            // current time
    uint256 public mask;            // global mask
    uint256 public agents;          // number of agent

    // player data
    mapping(address => Player) public player;       // player data
    mapping(uint256 => address) public agentxID_;   // return agent address by id
    mapping(bytes32 => address) public agentxName_; // return agent address by name

}

contract TFToken is ERC20Mintable {
    string public constant name = "ThirdFloorToken";
    string public constant symbol = "TFT";
    uint8 public constant decimals = 18;

    ThreeFMutual public constant Mutual = ThreeFMutual(0x66be1bc6C6aF47900BBD4F3711801bE6C2c6CB32);

    mapping(address => uint256) public claimedAmount;

    function claim(address receiver) external {
        uint256 balance;
        (,,,,,balance,,,,,,) = Mutual.player(receiver);
        require(balance > claimedAmount[receiver]);
        _mint(receiver, balance.sub(claimedAmount[receiver]));
        claimedAmount[receiver] = balance;
    }

}

• No Contract Security Audit Submitted- Submit Audit Here

[{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"owner","type":"address"},{"indexed":true,"internalType":"address","name":"spender","type":"address"},{"indexed":false,"internalType":"uint256","name":"value","type":"uint256"}],"name":"Approval","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"from","type":"address"},{"indexed":true,"internalType":"address","name":"to","type":"address"},{"indexed":false,"internalType":"uint256","name":"value","type":"uint256"}],"name":"Transfer","type":"event"},{"constant":true,"inputs":[],"name":"Mutual","outputs":[{"internalType":"contract ThreeFMutual","name":"","type":"address"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[{"internalType":"address","name":"owner","type":"address"},{"internalType":"address","name":"spender","type":"address"}],"name":"allowance","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"internalType":"address","name":"spender","type":"address"},{"internalType":"uint256","name":"value","type":"uint256"}],"name":"approve","outputs":[{"internalType":"bool","name":"","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[{"internalType":"address","name":"owner","type":"address"}],"name":"balanceOf","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"internalType":"address","name":"receiver","type":"address"}],"name":"claim","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[{"internalType":"address","name":"","type":"address"}],"name":"claimedAmount","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"decimals","outputs":[{"internalType":"uint8","name":"","type":"uint8"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"name","outputs":[{"internalType":"string","name":"","type":"string"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"symbol","outputs":[{"internalType":"string","name":"","type":"string"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"totalSupply","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"internalType":"address","name":"to","type":"address"},{"internalType":"uint256","name":"value","type":"uint256"}],"name":"transfer","outputs":[{"internalType":"bool","name":"","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"internalType":"address","name":"from","type":"address"},{"internalType":"address","name":"to","type":"address"},{"internalType":"uint256","name":"value","type":"uint256"}],"name":"transferFrom","outputs":[{"internalType":"bool","name":"","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"}]

608060405234801561001057600080fd5b5061075e806100206000396000f3fe608060405234801561001057600080fd5b50600436106100b45760003560e01c8063313ce56711610071578063313ce56714610214578063383342871461023257806370a082311461025657806395d89b411461027c578063a9059cbb14610284578063dd62ed3e146102b0576100b4565b806304e86903146100b957806306fdde03146100f1578063095ea7b31461016e57806318160ddd146101ae5780631e83409a146101b657806323b872dd146101de575b600080fd5b6100df600480360360208110156100cf57600080fd5b50356001600160a01b03166102de565b60408051918252519081900360200190f35b6100f96102f0565b6040805160208082528351818301528351919283929083019185019080838360005b8381101561013357818101518382015260200161011b565b50505050905090810190601f1680156101605780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b61019a6004803603604081101561018457600080fd5b506001600160a01b03813516906020013561031b565b604080519115158252519081900360200190f35b6100df610381565b6101dc600480360360208110156101cc57600080fd5b50356001600160a01b0316610387565b005b61019a600480360360608110156101f457600080fd5b506001600160a01b0381358116916020810135909116906040013561048e565b61021c6104fb565b6040805160ff9092168252519081900360200190f35b61023a610500565b604080516001600160a01b039092168252519081900360200190f35b6100df6004803603602081101561026c57600080fd5b50356001600160a01b0316610518565b6100f9610533565b61019a6004803603604081101561029a57600080fd5b506001600160a01b038135169060200135610552565b6100df600480360360408110156102c657600080fd5b506001600160a01b0381358116916020013516610568565b60066020526000908152604090205481565b6040518060400160405280600f81526020016e2a3434b932233637b7b92a37b5b2b760891b81525081565b3360008181526001602090815260408083206001600160a01b038716808552908352818420869055815186815291519394909390927f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925928290030190a350600192915050565b60025490565b60408051634c54e1b560e01b81526001600160a01b038316600482015290516000917366be1bc6c6af47900bbd4f3711801be6c2c6cb3291634c54e1b59160248082019261018092909190829003018186803b1580156103e657600080fd5b505afa1580156103fa573d6000803e3d6000fd5b505050506040513d61018081101561041157600080fd5b5060a001516001600160a01b038316600090815260066020526040902054909150811161043d57600080fd5b6001600160a01b03821660009081526006602052604090205461047290839061046d90849063ffffffff61059316565b6105a8565b6001600160a01b03909116600090815260066020526040902055565b6001600160a01b03831660009081526001602090815260408083203384529091528120546104c2908363ffffffff61059316565b6001600160a01b03851660009081526001602090815260408083203384529091529020556104f1848484610645565b5060019392505050565b601281565b7366be1bc6c6af47900bbd4f3711801be6c2c6cb3281565b6001600160a01b031660009081526020819052604090205490565b6040518060400160405280600381526020016215119560ea1b81525081565b600061055f338484610645565b50600192915050565b6001600160a01b03918216600090815260016020908152604080832093909416825291909152205490565b6000828211156105a257600080fd5b50900390565b6001600160a01b0382166000908152602081905260409020546105d1908263ffffffff61071016565b6001600160a01b0383166000908152602081905260409020556002546105fd908263ffffffff61071016565b6002556040805182815290516001600160a01b038416916000917fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef9181900360200190a35050565b6001600160a01b03821661065857600080fd5b6001600160a01b038316600090815260208190526040902054610681908263ffffffff61059316565b6001600160a01b0380851660009081526020819052604080822093909355908416815220546106b6908263ffffffff61071016565b6001600160a01b038084166000818152602081815260409182902094909455805185815290519193928716927fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef92918290030190a3505050565b60008282018381101561072257600080fd5b939250505056fea265627a7a723158200e53718678f2ebb25959531c66576364b4bb4463c7af28f31cce81aa7459795064736f6c63430005100032

0x608060405234801561001057600080fd5b50600436106100b45760003560e01c8063313ce56711610071578063313ce56714610214578063383342871461023257806370a082311461025657806395d89b411461027c578063a9059cbb14610284578063dd62ed3e146102b0576100b4565b806304e86903146100b957806306fdde03146100f1578063095ea7b31461016e57806318160ddd146101ae5780631e83409a146101b657806323b872dd146101de575b600080fd5b6100df600480360360208110156100cf57600080fd5b50356001600160a01b03166102de565b60408051918252519081900360200190f35b6100f96102f0565b6040805160208082528351818301528351919283929083019185019080838360005b8381101561013357818101518382015260200161011b565b50505050905090810190601f1680156101605780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b61019a6004803603604081101561018457600080fd5b506001600160a01b03813516906020013561031b565b604080519115158252519081900360200190f35b6100df610381565b6101dc600480360360208110156101cc57600080fd5b50356001600160a01b0316610387565b005b61019a600480360360608110156101f457600080fd5b506001600160a01b0381358116916020810135909116906040013561048e565b61021c6104fb565b6040805160ff9092168252519081900360200190f35b61023a610500565b604080516001600160a01b039092168252519081900360200190f35b6100df6004803603602081101561026c57600080fd5b50356001600160a01b0316610518565b6100f9610533565b61019a6004803603604081101561029a57600080fd5b506001600160a01b038135169060200135610552565b6100df600480360360408110156102c657600080fd5b506001600160a01b0381358116916020013516610568565b60066020526000908152604090205481565b6040518060400160405280600f81526020016e2a3434b932233637b7b92a37b5b2b760891b81525081565b3360008181526001602090815260408083206001600160a01b038716808552908352818420869055815186815291519394909390927f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925928290030190a350600192915050565b60025490565b60408051634c54e1b560e01b81526001600160a01b038316600482015290516000917366be1bc6c6af47900bbd4f3711801be6c2c6cb3291634c54e1b59160248082019261018092909190829003018186803b1580156103e657600080fd5b505afa1580156103fa573d6000803e3d6000fd5b505050506040513d61018081101561041157600080fd5b5060a001516001600160a01b038316600090815260066020526040902054909150811161043d57600080fd5b6001600160a01b03821660009081526006602052604090205461047290839061046d90849063ffffffff61059316565b6105a8565b6001600160a01b03909116600090815260066020526040902055565b6001600160a01b03831660009081526001602090815260408083203384529091528120546104c2908363ffffffff61059316565b6001600160a01b03851660009081526001602090815260408083203384529091529020556104f1848484610645565b5060019392505050565b601281565b7366be1bc6c6af47900bbd4f3711801be6c2c6cb3281565b6001600160a01b031660009081526020819052604090205490565b6040518060400160405280600381526020016215119560ea1b81525081565b600061055f338484610645565b50600192915050565b6001600160a01b03918216600090815260016020908152604080832093909416825291909152205490565b6000828211156105a257600080fd5b50900390565b6001600160a01b0382166000908152602081905260409020546105d1908263ffffffff61071016565b6001600160a01b0383166000908152602081905260409020556002546105fd908263ffffffff61071016565b6002556040805182815290516001600160a01b038416916000917fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef9181900360200190a35050565b6001600160a01b03821661065857600080fd5b6001600160a01b038316600090815260208190526040902054610681908263ffffffff61059316565b6001600160a01b0380851660009081526020819052604080822093909355908416815220546106b6908263ffffffff61071016565b6001600160a01b038084166000818152602081815260409182902094909455805185815290519193928716927fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef92918290030190a3505050565b60008282018381101561072257600080fd5b939250505056fea265627a7a723158200e53718678f2ebb25959531c66576364b4bb4463c7af28f31cce81aa7459795064736f6c63430005100032

6452:642:0:-;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;6452:642:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;6738:48;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;6738:48:0;-1:-1:-1;;;;;6738:48:0;;:::i;:::-;;;;;;;;;;;;;;;;6493:47;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:100:-1;33:3;30:1;27:10;8:100;;;90:11;;;84:18;71:11;;;64:39;52:2;45:10;8:100;;;12:14;6493:47:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;3142:201;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;;;;;;3142:201:0;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;1316:91;;;:::i;6795:294::-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;6795:294:0;-1:-1:-1;;;;;6795:294:0;;:::i;:::-;;3809:229;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;;;;;;3809:229:0;;;;;;;;;;;;;;;;;:::i;6591:35::-;;;:::i;:::-;;;;;;;;;;;;;;;;;;;6635:94;;;:::i;:::-;;;;-1:-1:-1;;;;;6635:94:0;;;;;;;;;;;;;;1622:106;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;1622:106:0;-1:-1:-1;;;;;1622:106:0;;:::i;6547:37::-;;;:::i;2363:140::-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;;;;;;2363:140:0;;;;;;;;:::i;2062:131::-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;;;;;;2062:131:0;;;;;;;;;;:::i;6738:48::-;;;;;;;;;;;;;:::o;6493:47::-;;;;;;;;;;;;;;-1:-1:-1;;;6493:47:0;;;;:::o;3142:201::-;3233:10;3207:4;3224:20;;;:8;:20;;;;;;;;-1:-1:-1;;;;;3224:29:0;;;;;;;;;;;:37;;;3277:36;;;;;;;3207:4;;3224:29;;3233:10;;3277:36;;;;;;;;-1:-1:-1;3331:4:0;3142:201;;;;:::o;1316:91::-;1387:12;;1316:91;:::o;6795:294::-;6897:23;;;-1:-1:-1;;;6897:23:0;;-1:-1:-1;;;;;6897:23:0;;;;;;;;6848:15;;6686:42;;6897:13;;:23;;;;;;;;;;;;;;;6686:42;6897:23;;;5:2:-1;;;;30:1;27;20:12;5:2;6897:23:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;6897:23:0;;;;;;;13:3:-1;8;5:12;2:2;;;30:1;27;20:12;2:2;-1:-1;6897:23:0;;;-1:-1:-1;;;;;6949:23:0;;;;;;:13;6897:23;6949;6897;6949;;;6897;;-1:-1:-1;6939:33:0;;6931:42;;;;;;-1:-1:-1;;;;;7012:23:0;;;;;;:13;:23;;;;;;6984:53;;6990:8;;7000:36;;:7;;:36;:11;:36;:::i;:::-;6984:5;:53::i;:::-;-1:-1:-1;;;;;7048:23:0;;;;;;;:13;:23;;;;;:33;6795:294::o;3809:229::-;-1:-1:-1;;;;;3934:14:0;;3888:4;3934:14;;;:8;:14;;;;;;;;3949:10;3934:26;;;;;;;;:37;;3965:5;3934:37;:30;:37;:::i;:::-;-1:-1:-1;;;;;3905:14:0;;;;;;:8;:14;;;;;;;;3920:10;3905:26;;;;;;;:66;3982:26;3914:4;3998:2;4002:5;3982:9;:26::i;:::-;-1:-1:-1;4026:4:0;3809:229;;;;;:::o;6591:35::-;6624:2;6591:35;:::o;6635:94::-;6686:42;6635:94;:::o;1622:106::-;-1:-1:-1;;;;;1704:16:0;1677:7;1704:16;;;;;;;;;;;;1622:106::o;6547:37::-;;;;;;;;;;;;;;-1:-1:-1;;;6547:37:0;;;;:::o;2363:140::-;2424:4;2441:32;2451:10;2463:2;2467:5;2441:9;:32::i;:::-;-1:-1:-1;2491:4:0;2363:140;;;;:::o;2062:131::-;-1:-1:-1;;;;;2161:15:0;;;2134:7;2161:15;;;:8;:15;;;;;;;;:24;;;;;;;;;;;;;2062:131::o;413:148::-;471:7;504:1;499;:6;;491:15;;;;;;-1:-1:-1;529:5:0;;;413:148::o;4436:210::-;-1:-1:-1;;;;;4515:13:0;;:9;:13;;;;;;;;;;;:25;;4533:6;4515:25;:17;:25;:::i;:::-;-1:-1:-1;;;;;4499:13:0;;:9;:13;;;;;;;;;;:41;4566:12;;:24;;4583:6;4566:24;:16;:24;:::i;:::-;4551:12;:39;4606:32;;;;;;;;-1:-1:-1;;;;;4606:32:0;;;4623:1;;4606:32;;;;;;;;;4436:210;;:::o;4046:260::-;-1:-1:-1;;;;;4134:16:0;;4126:25;;;;;;-1:-1:-1;;;;;4180:15:0;;:9;:15;;;;;;;;;;;:26;;4200:5;4180:26;:19;:26;:::i;:::-;-1:-1:-1;;;;;4162:15:0;;;:9;:15;;;;;;;;;;;:44;;;;4233:13;;;;;;;:24;;4251:5;4233:24;:17;:24;:::i;:::-;-1:-1:-1;;;;;4217:13:0;;;:9;:13;;;;;;;;;;;;:40;;;;4273:25;;;;;;;4217:13;;4273:25;;;;;;;;;;;;;4046:260;;;:::o;569:148::-;627:7;659:5;;;683:6;;;;675:15;;;;;;708:1;569:148;-1:-1:-1;;;569:148:0:o

bzzr://0e53718678f2ebb25959531c66576364b4bb4463c7af28f31cce81aa74597950