Token

Contract Source Code (Solidity)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta
• Remix IDE

Outline

library SafeMath    - function add(uint256 a, uint256 b)    - function sub(uint256 a, uint256 b)    - function sub(uint256 a, uint256 b, st ...    - function mul(uint256 a, uint256 b)    - function div(uint256 a, uint256 b)    - function mod(uint256 a, uint256 b)    - function max(uint256 a, uint256 b)    - function min(uint256 a, uint256 b)    - function average(uint256 a, uint256 b ...  contract HotPot *    - function _burn(address from, uint val ...    - function _approve(address owner, addr ...    - function _transfer(address from, addr ...    - function approve(address spender, uin ...    - function transfer(address to, uint va ...    - function transferFrom(address from, a ...    - function burn(uint value)    - function burnFrom(address from, uint ...

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

/**
 *Submitted for verification at Etherscan.io on 2021-01-27
*/

pragma solidity >=0.5.0;


library SafeMath {
    /**
     * @dev Returns the addition of two unsigned integers, reverting on
     * overflow.
     *
     * Counterpart to Solidity's `+` operator.
     *
     * Requirements:
     *
     * - Addition cannot overflow.
     */
    function add(uint256 a, uint256 b) internal pure returns (uint256) {
        uint256 c = a + b;
        require(c >= a, "SafeMath: addition overflow");

        return c;
    }

    /**
     * @dev Returns the subtraction of two unsigned integers, reverting on
     * overflow (when the result is negative).
     *
     * Counterpart to Solidity's `-` operator.
     *
     * Requirements:
     *
     * - Subtraction cannot overflow.
     */
    function sub(uint256 a, uint256 b) internal pure returns (uint256) {
        return sub(a, b, "SafeMath: subtraction overflow");
    }

    /**
     * @dev Returns the subtraction of two unsigned integers, reverting with custom message on
     * overflow (when the result is negative).
     *
     * Counterpart to Solidity's `-` operator.
     *
     * Requirements:
     *
     * - Subtraction cannot overflow.
     */
    function sub(uint256 a, uint256 b, string memory errorMessage) internal pure returns (uint256) {
        require(b <= a, errorMessage);
        uint256 c = a - b;

        return c;
    }

    /**
     * @dev Returns the multiplication of two unsigned integers, reverting on
     * overflow.
     *
     * Counterpart to Solidity's `*` operator.
     *
     * Requirements:
     *
     * - Multiplication cannot overflow.
     */
    function mul(uint256 a, uint256 b) internal pure returns (uint256) {
        // Gas optimization: this is cheaper than requiring 'a' not being zero, but the
        // benefit is lost if 'b' is also tested.
        // See: https://github.com/OpenZeppelin/openzeppelin-contracts/pull/522
        if (a == 0) {
            return 0;
        }

        uint256 c = a * b;
        require(c / a == b, "SafeMath: multiplication overflow");

        return c;
    }

    /**
     * @dev Returns the integer division of two unsigned integers. Reverts on
     * division by zero. The result is rounded towards zero.
     *
     * Counterpart to Solidity's `/` operator. Note: this function uses a
     * `revert` opcode (which leaves remaining gas untouched) while Solidity
     * uses an invalid opcode to revert (consuming all remaining gas).
     *
     * Requirements:
     *
     * - The divisor cannot be zero.
     */
    function div(uint256 a, uint256 b) internal pure returns (uint256) {
        require(b > 0, "SafeMath: division by zero");
        uint256 c = a / b;
        // assert(a == b * c + a % b); // There is no case in which this doesn't hold

        return c;
    }

    /**
     * @dev Returns the remainder of dividing two unsigned integers. (unsigned integer modulo),
     * Reverts when dividing by zero.
     *
     * Counterpart to Solidity's `%` operator. This function uses a `revert`
     * opcode (which leaves remaining gas untouched) while Solidity uses an
     * invalid opcode to revert (consuming all remaining gas).
     *
     * Requirements:
     * - The divisor cannot be zero.
     */
    function mod(uint256 a, uint256 b) internal pure returns (uint256) {
        require(b != 0, "SafeMath: modulo by zero");
        return a % b;
    }
        
    /**
     * @dev Returns the largest of two numbers.
     */
    function max(uint256 a, uint256 b) internal pure returns (uint256) {
        return a >= b ? a : b;
    }

    /**
     * @dev Returns the smallest of two numbers.
     */
    function min(uint256 a, uint256 b) internal pure returns (uint256) {
        return a < b ? a : b;
    }

    /**
     * @dev Returns the average of two numbers. The result is rounded towards
     * zero.
     */
    function average(uint256 a, uint256 b) internal pure returns (uint256) {
        // (a + b) / 2 can overflow, so we distribute
        return (a / 2) + (b / 2) + ((a % 2 + b % 2) / 2);
    }
}

contract HotPot {
    using SafeMath for uint;

    string public constant name = 'Hotpot Funds';
    string public constant symbol = 'HPT';
    uint8 public constant decimals = 18;
    uint public totalSupply = 1000000e18;  // Initial supply 1 million HotPot.

    mapping(address => uint) public balanceOf;

    mapping(address => mapping(address => uint)) public allowance;

    event Approval(address indexed owner, address indexed spender, uint value);
    event Transfer(address indexed from, address indexed to, uint value);

    constructor(address account) public {
        balanceOf[account] = totalSupply;
        emit Transfer(address(0), account, totalSupply);
    }

    function _burn(address from, uint value) internal {
        require(from != address(0), "ERC20: burn from the zero address");

        balanceOf[from] = balanceOf[from].sub(value);
        totalSupply = totalSupply.sub(value);
        emit Transfer(from, address(0), value);
    }

    function _approve(address owner, address spender, uint value) private {
        require(owner != address(0), "ERC20: approve from the zero address");
        require(spender != address(0), "ERC20: approve to the zero address");

        allowance[owner][spender] = value;
        emit Approval(owner, spender, value);
    }

    function _transfer(address from, address to, uint value) private {
        require(from != address(0), "ERC20: transfer from the zero address");
        require(to != address(0), "ERC20: transfer to the zero address");

        balanceOf[from] = balanceOf[from].sub(value);
        balanceOf[to] = balanceOf[to].add(value);
        emit Transfer(from, to, value);
    }

    function approve(address spender, uint value) external returns (bool) {
        _approve(msg.sender, spender, value);
        return true;
    }

    function transfer(address to, uint value) external returns (bool) {
        _transfer(msg.sender, to, value);
        return true;
    }

    function transferFrom(address from, address to, uint value) external returns (bool) {
        allowance[from][msg.sender] = allowance[from][msg.sender].sub(value);
        _transfer(from, to, value);
        return true;
    }

    function burn(uint value) external returns (bool) {
        _burn(msg.sender, value);
        return true;
    }

    function burnFrom(address from, uint value) external returns (bool) {
        allowance[from][msg.sender] = allowance[from][msg.sender].sub(value);
        _burn(from, value);
        return true;
    }
}

• No Contract Security Audit Submitted- Submit Audit Here

[{"inputs":[{"internalType":"address","name":"account","type":"address"}],"payable":false,"stateMutability":"nonpayable","type":"constructor"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"owner","type":"address"},{"indexed":true,"internalType":"address","name":"spender","type":"address"},{"indexed":false,"internalType":"uint256","name":"value","type":"uint256"}],"name":"Approval","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"from","type":"address"},{"indexed":true,"internalType":"address","name":"to","type":"address"},{"indexed":false,"internalType":"uint256","name":"value","type":"uint256"}],"name":"Transfer","type":"event"},{"constant":true,"inputs":[{"internalType":"address","name":"","type":"address"},{"internalType":"address","name":"","type":"address"}],"name":"allowance","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"internalType":"address","name":"spender","type":"address"},{"internalType":"uint256","name":"value","type":"uint256"}],"name":"approve","outputs":[{"internalType":"bool","name":"","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[{"internalType":"address","name":"","type":"address"}],"name":"balanceOf","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"internalType":"uint256","name":"value","type":"uint256"}],"name":"burn","outputs":[{"internalType":"bool","name":"","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"internalType":"address","name":"from","type":"address"},{"internalType":"uint256","name":"value","type":"uint256"}],"name":"burnFrom","outputs":[{"internalType":"bool","name":"","type":"bool"}],"payable":false,"stateMutability":"nonpayable","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"}]

608060405269d3c21bcecceda100000060005534801561001e57600080fd5b50604051610a09380380610a098339818101604052602081101561004157600080fd5b5051600080546001600160a01b0383168083526001602090815260408085208490558051938452519193927fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef929081900390910190a350610962806100a76000396000f3fe608060405234801561001057600080fd5b50600436106100a95760003560e01c806342966c681161007157806342966c68146101d957806370a08231146101f657806379cc67901461021c57806395d89b4114610248578063a9059cbb14610250578063dd62ed3e1461027c576100a9565b806306fdde03146100ae578063095ea7b31461012b57806318160ddd1461016b57806323b872dd14610185578063313ce567146101bb575b600080fd5b6100b66102aa565b6040805160208082528351818301528351919283929083019185019080838360005b838110156100f05781810151838201526020016100d8565b50505050905090810190601f16801561011d5780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b6101576004803603604081101561014157600080fd5b506001600160a01b0381351690602001356102d2565b604080519115158252519081900360200190f35b6101736102e8565b60408051918252519081900360200190f35b6101576004803603606081101561019b57600080fd5b506001600160a01b038135811691602081013590911690604001356102ee565b6101c361035b565b6040805160ff9092168252519081900360200190f35b610157600480360360208110156101ef57600080fd5b5035610360565b6101736004803603602081101561020c57600080fd5b50356001600160a01b0316610374565b6101576004803603604081101561023257600080fd5b506001600160a01b038135169060200135610386565b6100b66103e8565b6101576004803603604081101561026657600080fd5b506001600160a01b038135169060200135610407565b6101736004803603604081101561029257600080fd5b506001600160a01b0381358116916020013516610414565b6040518060400160405280600c81526020016b486f74706f742046756e647360a01b81525081565b60006102df338484610431565b50600192915050565b60005481565b6001600160a01b0383166000908152600260209081526040808320338452909152812054610322908363ffffffff61051d16565b6001600160a01b0385166000908152600260209081526040808320338452909152902055610351848484610566565b5060019392505050565b601281565b600061036c33836106aa565b506001919050565b60016020526000908152604090205481565b6001600160a01b03821660009081526002602090815260408083203384529091528120546103ba908363ffffffff61051d16565b6001600160a01b03841660009081526002602090815260408083203384529091529020556102df83836106aa565b6040518060400160405280600381526020016212141560ea1b81525081565b60006102df338484610566565b600260209081526000928352604080842090915290825290205481565b6001600160a01b0383166104765760405162461bcd60e51b815260040180806020018281038252602481526020018061090a6024913960400191505060405180910390fd5b6001600160a01b0382166104bb5760405162461bcd60e51b81526004018080602001828103825260228152602001806108a26022913960400191505060405180910390fd5b6001600160a01b03808416600081815260026020908152604080832094871680845294825291829020859055815185815291517f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b9259281900390910190a3505050565b600061055f83836040518060400160405280601e81526020017f536166654d6174683a207375627472616374696f6e206f766572666c6f77000081525061078d565b9392505050565b6001600160a01b0383166105ab5760405162461bcd60e51b81526004018080602001828103825260258152602001806108e56025913960400191505060405180910390fd5b6001600160a01b0382166105f05760405162461bcd60e51b815260040180806020018281038252602381526020018061087f6023913960400191505060405180910390fd5b6001600160a01b038316600090815260016020526040902054610619908263ffffffff61051d16565b6001600160a01b03808516600090815260016020526040808220939093559084168152205461064e908263ffffffff61082416565b6001600160a01b0380841660008181526001602090815260409182902094909455805185815290519193928716927fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef92918290030190a3505050565b6001600160a01b0382166106ef5760405162461bcd60e51b81526004018080602001828103825260218152602001806108c46021913960400191505060405180910390fd5b6001600160a01b038216600090815260016020526040902054610718908263ffffffff61051d16565b6001600160a01b03831660009081526001602052604081209190915554610745908263ffffffff61051d16565b60009081556040805183815290516001600160a01b038516917fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef919081900360200190a35050565b6000818484111561081c5760405162461bcd60e51b81526004018080602001828103825283818151815260200191508051906020019080838360005b838110156107e15781810151838201526020016107c9565b50505050905090810190601f16801561080e5780820380516001836020036101000a031916815260200191505b509250505060405180910390fd5b505050900390565b60008282018381101561055f576040805162461bcd60e51b815260206004820152601b60248201527f536166654d6174683a206164646974696f6e206f766572666c6f770000000000604482015290519081900360640190fdfe45524332303a207472616e7366657220746f20746865207a65726f206164647265737345524332303a20617070726f766520746f20746865207a65726f206164647265737345524332303a206275726e2066726f6d20746865207a65726f206164647265737345524332303a207472616e736665722066726f6d20746865207a65726f206164647265737345524332303a20617070726f76652066726f6d20746865207a65726f2061646472657373a265627a7a72315820bfea2c97db713acc3db4646170a9cc212ae92511a49dc77d8312d79a8967b48564736f6c634300051100320000000000000000000000002ac2f232920076ec20ea41c936584d4788f5bede

0x608060405234801561001057600080fd5b50600436106100a95760003560e01c806342966c681161007157806342966c68146101d957806370a08231146101f657806379cc67901461021c57806395d89b4114610248578063a9059cbb14610250578063dd62ed3e1461027c576100a9565b806306fdde03146100ae578063095ea7b31461012b57806318160ddd1461016b57806323b872dd14610185578063313ce567146101bb575b600080fd5b6100b66102aa565b6040805160208082528351818301528351919283929083019185019080838360005b838110156100f05781810151838201526020016100d8565b50505050905090810190601f16801561011d5780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b6101576004803603604081101561014157600080fd5b506001600160a01b0381351690602001356102d2565b604080519115158252519081900360200190f35b6101736102e8565b60408051918252519081900360200190f35b6101576004803603606081101561019b57600080fd5b506001600160a01b038135811691602081013590911690604001356102ee565b6101c361035b565b6040805160ff9092168252519081900360200190f35b610157600480360360208110156101ef57600080fd5b5035610360565b6101736004803603602081101561020c57600080fd5b50356001600160a01b0316610374565b6101576004803603604081101561023257600080fd5b506001600160a01b038135169060200135610386565b6100b66103e8565b6101576004803603604081101561026657600080fd5b506001600160a01b038135169060200135610407565b6101736004803603604081101561029257600080fd5b506001600160a01b0381358116916020013516610414565b6040518060400160405280600c81526020016b486f74706f742046756e647360a01b81525081565b60006102df338484610431565b50600192915050565b60005481565b6001600160a01b0383166000908152600260209081526040808320338452909152812054610322908363ffffffff61051d16565b6001600160a01b0385166000908152600260209081526040808320338452909152902055610351848484610566565b5060019392505050565b601281565b600061036c33836106aa565b506001919050565b60016020526000908152604090205481565b6001600160a01b03821660009081526002602090815260408083203384529091528120546103ba908363ffffffff61051d16565b6001600160a01b03841660009081526002602090815260408083203384529091529020556102df83836106aa565b6040518060400160405280600381526020016212141560ea1b81525081565b60006102df338484610566565b600260209081526000928352604080842090915290825290205481565b6001600160a01b0383166104765760405162461bcd60e51b815260040180806020018281038252602481526020018061090a6024913960400191505060405180910390fd5b6001600160a01b0382166104bb5760405162461bcd60e51b81526004018080602001828103825260228152602001806108a26022913960400191505060405180910390fd5b6001600160a01b03808416600081815260026020908152604080832094871680845294825291829020859055815185815291517f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b9259281900390910190a3505050565b600061055f83836040518060400160405280601e81526020017f536166654d6174683a207375627472616374696f6e206f766572666c6f77000081525061078d565b9392505050565b6001600160a01b0383166105ab5760405162461bcd60e51b81526004018080602001828103825260258152602001806108e56025913960400191505060405180910390fd5b6001600160a01b0382166105f05760405162461bcd60e51b815260040180806020018281038252602381526020018061087f6023913960400191505060405180910390fd5b6001600160a01b038316600090815260016020526040902054610619908263ffffffff61051d16565b6001600160a01b03808516600090815260016020526040808220939093559084168152205461064e908263ffffffff61082416565b6001600160a01b0380841660008181526001602090815260409182902094909455805185815290519193928716927fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef92918290030190a3505050565b6001600160a01b0382166106ef5760405162461bcd60e51b81526004018080602001828103825260218152602001806108c46021913960400191505060405180910390fd5b6001600160a01b038216600090815260016020526040902054610718908263ffffffff61051d16565b6001600160a01b03831660009081526001602052604081209190915554610745908263ffffffff61051d16565b60009081556040805183815290516001600160a01b038516917fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef919081900360200190a35050565b6000818484111561081c5760405162461bcd60e51b81526004018080602001828103825283818151815260200191508051906020019080838360005b838110156107e15781810151838201526020016107c9565b50505050905090810190601f16801561080e5780820380516001836020036101000a031916815260200191505b509250505060405180910390fd5b505050900390565b60008282018381101561055f576040805162461bcd60e51b815260206004820152601b60248201527f536166654d6174683a206164646974696f6e206f766572666c6f770000000000604482015290519081900360640190fdfe45524332303a207472616e7366657220746f20746865207a65726f206164647265737345524332303a20617070726f766520746f20746865207a65726f206164647265737345524332303a206275726e2066726f6d20746865207a65726f206164647265737345524332303a207472616e736665722066726f6d20746865207a65726f206164647265737345524332303a20617070726f76652066726f6d20746865207a65726f2061646472657373a265627a7a72315820bfea2c97db713acc3db4646170a9cc212ae92511a49dc77d8312d79a8967b48564736f6c63430005110032

0000000000000000000000002ac2f232920076ec20ea41c936584d4788f5bede

-----Decoded View---------------
Arg [0] : account (address): 0x2AC2f232920076EC20ea41c936584d4788F5bEDE

-----Encoded View---------------
1 Constructor Arguments found :
Arg [0] : 0000000000000000000000002ac2f232920076ec20ea41c936584d4788f5bede

4160:2592:0:-;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;4160:2592:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;4215:44;;;:::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;4215:44:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;5880:147;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;;;;;;5880:147:0;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;4352:36;;;:::i;:::-;;;;;;;;;;;;;;;;6182:230;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;;;;;;6182:230:0;;;;;;;;;;;;;;;;;:::i;4310:35::-;;;:::i;:::-;;;;;;;;;;;;;;;;;;;6420:115;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;6420:115:0;;:::i;4434:41::-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;4434:41:0;-1:-1:-1;;;;;4434:41:0;;:::i;6543:206::-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;;;;;;6543:206:0;;;;;;;;:::i;4266:37::-;;;:::i;6035:139::-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;;;;;;6035:139:0;;;;;;;;:::i;4484:61::-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;;;;;;4484:61:0;;;;;;;;;;:::i;4215:44::-;;;;;;;;;;;;;;-1:-1:-1;;;4215:44:0;;;;:::o;5880:147::-;5944:4;5961:36;5970:10;5982:7;5991:5;5961:8;:36::i;:::-;-1:-1:-1;6015:4:0;5880:147;;;;:::o;4352:36::-;;;;:::o;6182:230::-;-1:-1:-1;;;;;6307:15:0;;6260:4;6307:15;;;:9;:15;;;;;;;;6323:10;6307:27;;;;;;;;:38;;6339:5;6307:38;:31;:38;:::i;:::-;-1:-1:-1;;;;;6277:15:0;;;;;;:9;:15;;;;;;;;6293:10;6277:27;;;;;;;:68;6356:26;6287:4;6372:2;6376:5;6356:9;:26::i;:::-;-1:-1:-1;6400:4:0;6182:230;;;;;:::o;4310:35::-;4343:2;4310:35;:::o;6420:115::-;6464:4;6481:24;6487:10;6499:5;6481;:24::i;:::-;-1:-1:-1;6523:4:0;6420:115;;;:::o;4434:41::-;;;;;;;;;;;;;:::o;6543:206::-;-1:-1:-1;;;;;6652:15:0;;6605:4;6652:15;;;:9;:15;;;;;;;;6668:10;6652:27;;;;;;;;:38;;6684:5;6652:38;:31;:38;:::i;:::-;-1:-1:-1;;;;;6622:15:0;;;;;;:9;:15;;;;;;;;6638:10;6622:27;;;;;;;:68;6701:18;6632:4;6713:5;6701;:18::i;4266:37::-;;;;;;;;;;;;;;-1:-1:-1;;;4266:37:0;;;;:::o;6035:139::-;6095:4;6112:32;6122:10;6134:2;6138:5;6112:9;:32::i;4484:61::-;;;;;;;;;;;;;;;;;;;;;;;;:::o;5159:329::-;-1:-1:-1;;;;;5248:19:0;;5240:68;;;;-1:-1:-1;;;5240:68:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;;;;5327:21:0;;5319:68;;;;-1:-1:-1;;;5319:68:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;;;;5400:16:0;;;;;;;:9;:16;;;;;;;;:25;;;;;;;;;;;;;:33;;;5449:31;;;;;;;;;;;;;;;;;5159:329;;;:::o;757:136::-;815:7;842:43;846:1;849;842:43;;;;;;;;;;;;;;;;;:3;:43::i;:::-;835:50;757:136;-1:-1:-1;;;757:136:0:o;5496:376::-;-1:-1:-1;;;;;5580:18:0;;5572:68;;;;-1:-1:-1;;;5572:68:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;;;;5659:16:0;;5651:64;;;;-1:-1:-1;;;5651:64:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;;;;5746:15:0;;;;;;:9;:15;;;;;;:26;;5766:5;5746:26;:19;:26;:::i;:::-;-1:-1:-1;;;;;5728:15:0;;;;;;;:9;:15;;;;;;:44;;;;5799:13;;;;;;;:24;;5817:5;5799:24;:17;:24;:::i;:::-;-1:-1:-1;;;;;5783:13:0;;;;;;;:9;:13;;;;;;;;;:40;;;;5839:25;;;;;;;5783:13;;5839:25;;;;;;;;;;;;;5496:376;;;:::o;4865:286::-;-1:-1:-1;;;;;4934:18:0;;4926:64;;;;-1:-1:-1;;;4926:64:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;;;;5021:15:0;;;;;;:9;:15;;;;;;:26;;5041:5;5021:26;:19;:26;:::i;:::-;-1:-1:-1;;;;;5003:15:0;;;;;;:9;:15;;;;;:44;;;;5072:11;:22;;5088:5;5072:22;:15;:22;:::i;:::-;5058:11;:36;;;5110:33;;;;;;;;-1:-1:-1;;;;;5110:33:0;;;;;;;;;;;;;4865:286;;:::o;1196:192::-;1282:7;1318:12;1310:6;;;;1302:29;;;;-1:-1:-1;;;1302:29:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;23:1:-1;8:100;33:3;30:1;27:10;8:100;;;90:11;;;84:18;71:11;;;64:39;52:2;45:10;8:100;;;12:14;1302:29:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;;1354:5:0;;;1196:192::o;293:181::-;351:7;383:5;;;407:6;;;;399:46;;;;;-1:-1:-1;;;399:46:0;;;;;;;;;;;;;;;;;;;;;;;;;;

bzzr://bfea2c97db713acc3db4646170a9cc212ae92511a49dc77d8312d79a8967b485