Contract 0x2D69aD895797C880abce92437788047BA0Eb7fF6 3

/**
 *Submitted for verification at Etherscan.io on 2019-11-20
*/

/**
 *Submitted for verification at Etherscan.io on 2019-09-28
*/

// File: openzeppelin-solidity/contracts/token/ERC20/IERC20.sol

pragma solidity ^0.5.2;

/**
 * @title ERC20 interface
 * @dev see https://eips.ethereum.org/EIPS/eip-20
 */
interface IERC20 {
    function transfer(address to, uint256 value) external returns (bool);

    function approve(address spender, uint256 value) external returns (bool);

    function transferFrom(address from, address to, uint256 value) external returns (bool);

    function totalSupply() external view returns (uint256);

    function balanceOf(address who) external view returns (uint256);

    function allowance(address owner, address spender) external view returns (uint256);

    event Transfer(address indexed from, address indexed to, uint256 value);

    event Approval(address indexed owner, address indexed spender, uint256 value);
}

// File: openzeppelin-solidity/contracts/math/SafeMath.sol

pragma solidity ^0.5.2;

/**
 * @title SafeMath
 * @dev Unsigned math operations with safety checks that revert on error
 */
library SafeMath {
    /**
     * @dev Multiplies two unsigned integers, reverts on 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-solidity/pull/522
        if (a == 0) {
            return 0;
        }

        uint256 c = a * b;
        require(c / a == b);

        return c;
    }

    /**
     * @dev Integer division of two unsigned integers truncating the quotient, reverts on division by zero.
     */
    function div(uint256 a, uint256 b) internal pure returns (uint256) {
        // Solidity only automatically asserts when dividing by 0
        require(b > 0);
        uint256 c = a / b;
        // assert(a == b * c + a % b); // There is no case in which this doesn't hold

        return c;
    }

    /**
     * @dev Subtracts two unsigned integers, reverts on overflow (i.e. if subtrahend is greater than minuend).
     */
    function sub(uint256 a, uint256 b) internal pure returns (uint256) {
        require(b <= a);
        uint256 c = a - b;

        return c;
    }

    /**
     * @dev Adds two unsigned integers, reverts on overflow.
     */
    function add(uint256 a, uint256 b) internal pure returns (uint256) {
        uint256 c = a + b;
        require(c >= a);

        return c;
    }

    /**
     * @dev Divides two unsigned integers and returns the remainder (unsigned integer modulo),
     * reverts when dividing by zero.
     */
    function mod(uint256 a, uint256 b) internal pure returns (uint256) {
        require(b != 0);
        return a % b;
    }
}

// File: openzeppelin-solidity/contracts/token/ERC20/ERC20.sol

pragma solidity ^0.5.2;



/**
 * @title Standard ERC20 token
 *
 * @dev Implementation of the basic standard token.
 * https://eips.ethereum.org/EIPS/eip-20
 * Originally based on code by FirstBlood:
 * https://github.com/Firstbloodio/token/blob/master/smart_contract/FirstBloodToken.sol
 *
 * This implementation emits additional Approval events, allowing applications to reconstruct the allowance status for
 * all accounts just by listening to said events. Note that this isn't required by the specification, and other
 * compliant implementations may not do it.
 */
contract ERC20 is IERC20 {
    using SafeMath for uint256;

    mapping (address => uint256) private _balances;

    mapping (address => mapping (address => uint256)) private _allowed;

    uint256 private _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) {
        _approve(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) {
        _transfer(from, to, value);
        _approve(from, msg.sender, _allowed[from][msg.sender].sub(value));
        return true;
    }

    /**
     * @dev Increase the amount of tokens that an owner allowed to a spender.
     * approve should be called when _allowed[msg.sender][spender] == 0. To increment
     * allowed value is better to use this function to avoid 2 calls (and wait until
     * the first transaction is mined)
     * From MonolithDAO Token.sol
     * Emits an Approval event.
     * @param spender The address which will spend the funds.
     * @param addedValue The amount of tokens to increase the allowance by.
     */
    function increaseAllowance(address spender, uint256 addedValue) public returns (bool) {
        _approve(msg.sender, spender, _allowed[msg.sender][spender].add(addedValue));
        return true;
    }

    /**
     * @dev Decrease the amount of tokens that an owner allowed to a spender.
     * approve should be called when _allowed[msg.sender][spender] == 0. To decrement
     * allowed value is better to use this function to avoid 2 calls (and wait until
     * the first transaction is mined)
     * From MonolithDAO Token.sol
     * Emits an Approval event.
     * @param spender The address which will spend the funds.
     * @param subtractedValue The amount of tokens to decrease the allowance by.
     */
    function decreaseAllowance(address spender, uint256 subtractedValue) public returns (bool) {
        _approve(msg.sender, spender, _allowed[msg.sender][spender].sub(subtractedValue));
        return true;
    }

    /**
     * @dev Transfer token for a specified addresses
     * @param from The address to transfer from.
     * @param to The address to transfer to.
     * @param value The amount to be transferred.
     */
    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);
    }

    /**
     * @dev Internal function that mints an amount of the token and assigns it to
     * an account. This encapsulates the modification of balances such that the
     * proper events are emitted.
     * @param account The account that will receive the created tokens.
     * @param value The amount that will be created.
     */
    function _mint(address account, uint256 value) internal {
        require(account != address(0));

        _totalSupply = _totalSupply.add(value);
        _balances[account] = _balances[account].add(value);
        emit Transfer(address(0), account, value);
    }

    /**
     * @dev Internal function that burns an amount of the token of a given
     * account.
     * @param account The account whose tokens will be burnt.
     * @param value The amount that will be burnt.
     */
    function _burn(address account, uint256 value) internal {
        require(account != address(0));

        _totalSupply = _totalSupply.sub(value);
        _balances[account] = _balances[account].sub(value);
        emit Transfer(account, address(0), value);
    }

    /**
     * @dev Approve an address to spend another addresses' tokens.
     * @param owner The address that owns the tokens.
     * @param spender The address that will spend the tokens.
     * @param value The number of tokens that can be spent.
     */
    function _approve(address owner, address spender, uint256 value) internal {
        require(spender != address(0));
        require(owner != address(0));

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

    /**
     * @dev Internal function that burns an amount of the token of a given
     * account, deducting from the sender's allowance for said account. Uses the
     * internal burn function.
     * Emits an Approval event (reflecting the reduced allowance).
     * @param account The account whose tokens will be burnt.
     * @param value The amount that will be burnt.
     */
    function _burnFrom(address account, uint256 value) internal {
        _burn(account, value);
        _approve(account, msg.sender, _allowed[account][msg.sender].sub(value));
    }
}

// File: openzeppelin-solidity/contracts/token/ERC20/ERC20Detailed.sol

pragma solidity ^0.5.2;


/**
 * @title ERC20Detailed token
 * @dev The decimals are only for visualization purposes.
 * All the operations are done using the smallest and indivisible token unit,
 * just as on Ethereum all the operations are done in wei.
 */
contract ERC20Detailed is IERC20 {
    string private _name;
    string private _symbol;
    uint8 private _decimals;

    constructor (string memory name, string memory symbol, uint8 decimals) public {
        _name = name;
        _symbol = symbol;
        _decimals = decimals;
    }

    /**
     * @return the name of the token.
     */
    function name() public view returns (string memory) {
        return _name;
    }

    /**
     * @return the symbol of the token.
     */
    function symbol() public view returns (string memory) {
        return _symbol;
    }

    /**
     * @return the number of decimals of the token.
     */
    function decimals() public view returns (uint8) {
        return _decimals;
    }
}

// File: contracts/RinkebyDai.sol

pragma solidity >=0.5.0 <0.6.0;



/**
 * @title Testnet Dai
 * @dev ERC20 minting logic
 * Sourced from OpenZeppelin and thoroughly butchered to remove security guards.
 * Anybody can mint - STRICTLY FOR TEST PURPOSES
 */
contract TestnetDAI is ERC20, ERC20Detailed {

    constructor() public ERC20Detailed("TestnetDAI", "DAI", 18) {}

    /**
    * @dev Function to mint tokens
    * @param to The address that will receive the minted tokens.
    * @param value The amount of tokens to mint.
    * @return A boolean that indicates if the operation was successful.
    */
    function mint(address to, uint256 value) public returns (bool) {
        _mint(to, value);
        return true;
    }
}

[{"constant":true,"inputs":[],"name":"name","outputs":[{"internalType":"string","name":"","type":"string"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"internalType":"address","name":"spender","type":"address"},{"internalType":"uint256","name":"value","type":"uint256"}],"name":"approve","outputs":[{"internalType":"bool","name":"","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[],"name":"totalSupply","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"internalType":"address","name":"from","type":"address"},{"internalType":"address","name":"to","type":"address"},{"internalType":"uint256","name":"value","type":"uint256"}],"name":"transferFrom","outputs":[{"internalType":"bool","name":"","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[],"name":"decimals","outputs":[{"internalType":"uint8","name":"","type":"uint8"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"internalType":"address","name":"spender","type":"address"},{"internalType":"uint256","name":"addedValue","type":"uint256"}],"name":"increaseAllowance","outputs":[{"internalType":"bool","name":"","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"internalType":"address","name":"to","type":"address"},{"internalType":"uint256","name":"value","type":"uint256"}],"name":"mint","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":true,"inputs":[],"name":"symbol","outputs":[{"internalType":"string","name":"","type":"string"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"internalType":"address","name":"spender","type":"address"},{"internalType":"uint256","name":"subtractedValue","type":"uint256"}],"name":"decreaseAllowance","outputs":[{"internalType":"bool","name":"","type":"bool"}],"payable":false,"stateMutability":"nonpayable","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":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"},{"inputs":[],"payable":false,"stateMutability":"nonpayable","type":"constructor"},{"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"},{"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"}]

608060405234801561001057600080fd5b506040518060400160405280600a81526020017f546573746e6574444149000000000000000000000000000000000000000000008152506040518060400160405280600381526020017f4441490000000000000000000000000000000000000000000000000000000000815250601282600390805190602001906100959291906100c6565b5081516100a99060049060208501906100c6565b506005805460ff191660ff92909216919091179055506101619050565b828054600181600116156101000203166002900490600052602060002090601f016020900481019282601f1061010757805160ff1916838001178555610134565b82800160010185558215610134579182015b82811115610134578251825591602001919060010190610119565b50610140929150610144565b5090565b61015e91905b80821115610140576000815560010161014a565b90565b610798806101706000396000f3fe608060405234801561001057600080fd5b50600436106100b45760003560e01c806340c10f191161007157806340c10f191461021057806370a082311461023c57806395d89b4114610262578063a457c2d71461026a578063a9059cbb14610296578063dd62ed3e146102c2576100b4565b806306fdde03146100b9578063095ea7b31461013657806318160ddd1461017657806323b872dd14610190578063313ce567146101c657806339509351146101e4575b600080fd5b6100c16102f0565b6040805160208082528351818301528351919283929083019185019080838360005b838110156100fb5781810151838201526020016100e3565b50505050905090810190601f1680156101285780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b6101626004803603604081101561014c57600080fd5b506001600160a01b038135169060200135610386565b604080519115158252519081900360200190f35b61017e61039c565b60408051918252519081900360200190f35b610162600480360360608110156101a657600080fd5b506001600160a01b038135811691602081013590911690604001356103a2565b6101ce6103f9565b6040805160ff9092168252519081900360200190f35b610162600480360360408110156101fa57600080fd5b506001600160a01b038135169060200135610402565b6101626004803603604081101561022657600080fd5b506001600160a01b03813516906020013561043e565b61017e6004803603602081101561025257600080fd5b50356001600160a01b031661044a565b6100c1610465565b6101626004803603604081101561028057600080fd5b506001600160a01b0381351690602001356104c6565b610162600480360360408110156102ac57600080fd5b506001600160a01b038135169060200135610502565b61017e600480360360408110156102d857600080fd5b506001600160a01b038135811691602001351661050f565b60038054604080516020601f600260001961010060018816150201909516949094049384018190048102820181019092528281526060939092909183018282801561037c5780601f106103515761010080835404028352916020019161037c565b820191906000526020600020905b81548152906001019060200180831161035f57829003601f168201915b5050505050905090565b600061039333848461053a565b50600192915050565b60025490565b60006103af8484846105c2565b6001600160a01b0384166000908152600160209081526040808320338085529252909120546103ef9186916103ea908663ffffffff61068d16565b61053a565b5060019392505050565b60055460ff1690565b3360008181526001602090815260408083206001600160a01b038716845290915281205490916103939185906103ea908663ffffffff6106a216565b600061039383836106bb565b6001600160a01b031660009081526020819052604090205490565b60048054604080516020601f600260001961010060018816150201909516949094049384018190048102820181019092528281526060939092909183018282801561037c5780601f106103515761010080835404028352916020019161037c565b3360008181526001602090815260408083206001600160a01b038716845290915281205490916103939185906103ea908663ffffffff61068d16565b60006103933384846105c2565b6001600160a01b03918216600090815260016020908152604080832093909416825291909152205490565b6001600160a01b03821661054d57600080fd5b6001600160a01b03831661056057600080fd5b6001600160a01b03808416600081815260016020908152604080832094871680845294825291829020859055815185815291517f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b9259281900390910190a3505050565b6001600160a01b0382166105d557600080fd5b6001600160a01b0383166000908152602081905260409020546105fe908263ffffffff61068d16565b6001600160a01b038085166000908152602081905260408082209390935590841681522054610633908263ffffffff6106a216565b6001600160a01b038084166000818152602081815260409182902094909455805185815290519193928716927fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef92918290030190a3505050565b60008282111561069c57600080fd5b50900390565b6000828201838110156106b457600080fd5b9392505050565b6001600160a01b0382166106ce57600080fd5b6002546106e1908263ffffffff6106a216565b6002556001600160a01b03821660009081526020819052604090205461070d908263ffffffff6106a216565b6001600160a01b0383166000818152602081815260408083209490945583518581529351929391927fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef9281900390910190a3505056fea265627a7a7231582067fd22cecae996eec1f7a0166fc4db251960f132f9b5b8554695148d53f96a4264736f6c634300050b0032

12142:488:0:-;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;12142:488:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;11466:83;;;:::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;11466:83:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;5714:148;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;;;;;;5714:148:0;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;3867:91;;;:::i;:::-;;;;;;;;;;;;;;;;6335:228;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;;;;;;6335:228:0;;;;;;;;;;;;;;;;;:::i;11782:83::-;;;:::i;:::-;;;;;;;;;;;;;;;;;;;7089:203;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;;;;;;7089:203:0;;;;;;;;:::i;12507:120::-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;;;;;;12507:120:0;;;;;;;;:::i;4177:106::-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;4177:106:0;-1:-1:-1;;;;;4177:106:0;;:::i;11616:87::-;;;:::i;7823:213::-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;;;;;;7823:213:0;;;;;;;;:::i;4927:140::-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;;;;;;4927:140:0;;;;;;;;:::i;4622:131::-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;;;;;;4622:131:0;;;;;;;;;;:::i;11466:83::-;11536:5;11529:12;;;;;;;;-1:-1:-1;;11529:12:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;11503:13;;11529:12;;11536:5;;11529:12;;11536:5;11529:12;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;11466:83;:::o;5714:148::-;5779:4;5796:36;5805:10;5817:7;5826:5;5796:8;:36::i;:::-;-1:-1:-1;5850:4:0;5714:148;;;;:::o;3867:91::-;3938:12;;3867:91;:::o;6335:228::-;6414:4;6431:26;6441:4;6447:2;6451:5;6431:9;:26::i;:::-;-1:-1:-1;;;;;6495:14:0;;;;;;:8;:14;;;;;;;;6483:10;6495:26;;;;;;;;;6468:65;;6477:4;;6495:37;;6526:5;6495:37;:30;:37;:::i;:::-;6468:8;:65::i;:::-;-1:-1:-1;6551:4:0;6335:228;;;;;:::o;11782:83::-;11848:9;;;;11782:83;:::o;7089:203::-;7195:10;7169:4;7216:20;;;:8;:20;;;;;;;;-1:-1:-1;;;;;7216:29:0;;;;;;;;;;7169:4;;7186:76;;7207:7;;7216:45;;7250:10;7216:45;:33;:45;:::i;12507:120::-;12564:4;12581:16;12587:2;12591:5;12581;:16::i;4177:106::-;-1:-1:-1;;;;;4259:16:0;4232:7;4259:16;;;;;;;;;;;;4177:106::o;11616:87::-;11688:7;11681:14;;;;;;;;-1:-1:-1;;11681:14:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;11655:13;;11681:14;;11688:7;;11681:14;;11688:7;11681:14;;;;;;;;;;;;;;;;;;;;;;;;7823:213;7934:10;7908:4;7955:20;;;:8;:20;;;;;;;;-1:-1:-1;;;;;7955:29:0;;;;;;;;;;7908:4;;7925:81;;7946:7;;7955:50;;7989:15;7955:50;:33;:50;:::i;4927:140::-;4988:4;5005:32;5015:10;5027:2;5031:5;5005:9;:32::i;4622:131::-;-1:-1:-1;;;;;4721:15:0;;;4694:7;4721:15;;;:8;:15;;;;;;;;:24;;;;;;;;;;;;;4622:131::o;9922:254::-;-1:-1:-1;;;;;10015:21:0;;10007:30;;;;;;-1:-1:-1;;;;;10056:19:0;;10048:28;;;;;;-1:-1:-1;;;;;10089:15:0;;;;;;;:8;:15;;;;;;;;:24;;;;;;;;;;;;;:32;;;10137:31;;;;;;;;;;;;;;;;;9922:254;;;:::o;8263:262::-;-1:-1:-1;;;;;8351:16:0;;8343:25;;;;;;-1:-1:-1;;;;;8399:15:0;;:9;:15;;;;;;;;;;;:26;;8419:5;8399:26;:19;:26;:::i;:::-;-1:-1:-1;;;;;8381:15:0;;;:9;:15;;;;;;;;;;;:44;;;;8452:13;;;;;;;:24;;8470:5;8452:24;:17;:24;:::i;:::-;-1:-1:-1;;;;;8436:13:0;;;:9;:13;;;;;;;;;;;;:40;;;;8492:25;;;;;;;8436:13;;8492:25;;;;;;;;;;;;;8263:262;;;:::o;2233:150::-;2291:7;2324:1;2319;:6;;2311:15;;;;;;-1:-1:-1;2349:5:0;;;2233:150::o;2471:::-;2529:7;2561:5;;;2585:6;;;;2577:15;;;;;;2612:1;2471:150;-1:-1:-1;;;2471:150:0:o;8877:269::-;-1:-1:-1;;;;;8952:21:0;;8944:30;;;;;;9002:12;;:23;;9019:5;9002:23;:16;:23;:::i;:::-;8987:12;:38;-1:-1:-1;;;;;9057:18:0;;:9;:18;;;;;;;;;;;:29;;9080:5;9057:29;:22;:29;:::i;:::-;-1:-1:-1;;;;;9036:18:0;;:9;:18;;;;;;;;;;;:50;;;;9102:36;;;;;;;9036:18;;:9;;9102:36;;;;;;;;;;8877:269;;:::o

bzzr://67fd22cecae996eec1f7a0166fc4db251960f132f9b5b8554695148d53f96a42