Contract Source Code (Solidity)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta
• Remix IDE

Outline

 contract Context    - function _msgSender()    - function _msgData() interface IERC20    - function totalSupply()    - function balanceOf(address account)    - function transfer(address recipient, ...    - function allowance(address owner, add ...    - function approve(address spender, uin ...    - function transferFrom(address sender, ... 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 div(uint256 a, uint256 b, st ...    - function mod(uint256 a, uint256 b)    - function mod(uint256 a, uint256 b, st ...  contract ERC20 is Context, IERC20    - function totalSupply()    - function balanceOf(address account)    - function transfer(address recipient, ...    - function allowance(address owner, add ...    - function approve(address spender, uin ...    - function transferFrom(address sender, ...    - function increaseAllowance(address sp ...    - function decreaseAllowance(address sp ...    - function _transfer(address sender, ad ...    - function _mint(address account, uint2 ...    - function _burn(address account, uint2 ...    - function _approve(address owner, addr ...    - function _burnFrom(address account, u ...  contract ERC20Burnable is Context, ...    - function burn(uint256 amount)    - function burnFrom(address account, ui ...  contract ERC20Detailed is IERC20    - function name()    - function symbol()    - function decimals() library Roles    - function add(Role storage role, addre ...    - function remove(Role storage role, ad ...    - function has(Role storage role, addre ...  contract MinterRole is Context    - function isMinter(address account)    - function addMinter(address account)    - function renounceMinter()    - function _addMinter(address account)    - function _removeMinter(address accoun ... library Require    - function that(    - function that(    - function that(    - function that(    - function that(    - function that(    - function that(    - function that(    - function stringifyTruncated(    - function stringify(    - function stringify(    - function stringify(    - function char( library LibEIP712    - function hashEIP712Domain(    - function hashEIP712Message(bytes32 ei ... library Decimal    - function zero()    - function one()    - function from(uint256 a)    - function ratio(uint256 a, uint256 b)    - function add(D256 memory self, uint25 ...    - function sub(D256 memory self, uint25 ...    - function sub(    - function mul(D256 memory self, uint25 ...    - function div(D256 memory self, uint25 ...    - function pow(D256 memory self, uint25 ...    - function add(D256 memory self, D256 m ...    - function sub(D256 memory self, D256 m ...    - function sub(    - function mul(D256 memory self, D256 m ...    - function div(D256 memory self, D256 m ...    - function equals(D256 memory self, D25 ...    - function greaterThan(D256 memory self ...    - function lessThan(D256 memory self, D ...    - function greaterThanOrEqualTo(D256 me ...    - function lessThanOrEqualTo(D256 memor ...    - function isZero(D256 memory self)    - function asUint256(D256 memory self)    - function getPartial(    - function compareTo(D256 memory a, D25 ... library Constants    - function getDaiAddress()    - function getOracleReserveMinimum()    - function getCurrentEpochStrategy()    - function getInitialStakeMultiple()    - function getBootstrappingPeriod()    - function getBootstrappingPrice()    - function getGovernancePeriod()    - function getGovernanceExpiration()    - function getGovernanceQuorum()    - function getGovernanceProposalThresho ...    - function getGovernanceSuperMajority()    - function getGovernanceEmergencyDelay( ...    - function getAdvanceIncentive()    - function getDAOExitLockupEpochs()    - function getPoolExitLockupEpochs()    - function getCouponExpiration()    - function getDebtRatioCap()    - function getSupplyChangeLimit()    - function getCouponSupplyChangeLimit()    - function getOraclePoolRatio()    - function getTreasuryRatio()    - function getChainId()    - function getTreasuryAddress()  contract Permittable is ERC20Detai ...    - function permit(  contract IDollar is IERC20    - function burn(uint256 amount)    - function burnFrom(address account, ui ...    - function mint(address account, uint25 ...  contract Dollar is    - function mint(address account, uint25 ...    - function transferFrom(  contract ZaiV2 is Dollar *    - function burnAndSwap(address from)

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

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

pragma solidity ^0.5.17;
pragma experimental ABIEncoderV2;

// File: @openzeppelin/contracts/GSN/Context.sol

/*
 * @dev Provides information about the current execution context, including the
 * sender of the transaction and its data. While these are generally available
 * via msg.sender and msg.data, they should not be accessed in such a direct
 * manner, since when dealing with GSN meta-transactions the account sending and
 * paying for execution may not be the actual sender (as far as an application
 * is concerned).
 *
 * This contract is only required for intermediate, library-like contracts.
 */
contract Context {
    // Empty internal constructor, to prevent people from mistakenly deploying
    // an instance of this contract, which should be used via inheritance.
    constructor () internal { }
    // solhint-disable-previous-line no-empty-blocks

    function _msgSender() internal view returns (address payable) {
        return msg.sender;
    }

    function _msgData() internal view returns (bytes memory) {
        this; // silence state mutability warning without generating bytecode - see https://github.com/ethereum/solidity/issues/2691
        return msg.data;
    }
}

// File: @openzeppelin/contracts/token/ERC20/IERC20.sol


/**
 * @dev Interface of the ERC20 standard as defined in the EIP. Does not include
 * the optional functions; to access them see {ERC20Detailed}.
 */
interface IERC20 {
    /**
     * @dev Returns the amount of tokens in existence.
     */
    function totalSupply() external view returns (uint256);

    /**
     * @dev Returns the amount of tokens owned by `account`.
     */
    function balanceOf(address account) external view returns (uint256);

    /**
     * @dev Moves `amount` tokens from the caller's account to `recipient`.
     *
     * Returns a boolean value indicating whether the operation succeeded.
     *
     * Emits a {Transfer} event.
     */
    function transfer(address recipient, uint256 amount) external returns (bool);

    /**
     * @dev Returns the remaining number of tokens that `spender` will be
     * allowed to spend on behalf of `owner` through {transferFrom}. This is
     * zero by default.
     *
     * This value changes when {approve} or {transferFrom} are called.
     */
    function allowance(address owner, address spender) external view returns (uint256);

    /**
     * @dev Sets `amount` as the allowance of `spender` over the caller's tokens.
     *
     * Returns a boolean value indicating whether the operation succeeded.
     *
     * IMPORTANT: 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
     *
     * Emits an {Approval} event.
     */
    function approve(address spender, uint256 amount) external returns (bool);

    /**
     * @dev Moves `amount` tokens from `sender` to `recipient` using the
     * allowance mechanism. `amount` is then deducted from the caller's
     * allowance.
     *
     * Returns a boolean value indicating whether the operation succeeded.
     *
     * Emits a {Transfer} event.
     */
    function transferFrom(address sender, address recipient, uint256 amount) external returns (bool);

    /**
     * @dev Emitted when `value` tokens are moved from one account (`from`) to
     * another (`to`).
     *
     * Note that `value` may be zero.
     */
    event Transfer(address indexed from, address indexed to, uint256 value);

    /**
     * @dev Emitted when the allowance of a `spender` for an `owner` is set by
     * a call to {approve}. `value` is the new allowance.
     */
    event Approval(address indexed owner, address indexed spender, uint256 value);
}

// File: @openzeppelin/contracts/math/SafeMath.sol


/**
 * @dev Wrappers over Solidity's arithmetic operations with added overflow
 * checks.
 *
 * Arithmetic operations in Solidity wrap on overflow. This can easily result
 * in bugs, because programmers usually assume that an overflow raises an
 * error, which is the standard behavior in high level programming languages.
 * `SafeMath` restores this intuition by reverting the transaction when an
 * operation overflows.
 *
 * Using this library instead of the unchecked operations eliminates an entire
 * class of bugs, so it's recommended to use it always.
 */
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.
     *
     * _Available since v2.4.0._
     */
    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) {
        return div(a, b, "SafeMath: division by zero");
    }

    /**
     * @dev Returns the integer division of two unsigned integers. Reverts with custom message 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.
     *
     * _Available since v2.4.0._
     */
    function div(uint256 a, uint256 b, string memory errorMessage) internal pure returns (uint256) {
        // Solidity only automatically asserts when dividing by 0
        require(b > 0, errorMessage);
        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) {
        return mod(a, b, "SafeMath: modulo by zero");
    }

    /**
     * @dev Returns the remainder of dividing two unsigned integers. (unsigned integer modulo),
     * Reverts with custom message 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.
     *
     * _Available since v2.4.0._
     */
    function mod(uint256 a, uint256 b, string memory errorMessage) internal pure returns (uint256) {
        require(b != 0, errorMessage);
        return a % b;
    }
}

// File: @openzeppelin/contracts/token/ERC20/ERC20.sol





/**
 * @dev Implementation of the {IERC20} interface.
 *
 * This implementation is agnostic to the way tokens are created. This means
 * that a supply mechanism has to be added in a derived contract using {_mint}.
 * For a generic mechanism see {ERC20Mintable}.
 *
 * TIP: For a detailed writeup see our guide
 * https://forum.zeppelin.solutions/t/how-to-implement-erc20-supply-mechanisms/226[How
 * to implement supply mechanisms].
 *
 * We have followed general OpenZeppelin guidelines: functions revert instead
 * of returning `false` on failure. This behavior is nonetheless conventional
 * and does not conflict with the expectations of ERC20 applications.
 *
 * Additionally, an {Approval} event is emitted on calls to {transferFrom}.
 * This allows applications to reconstruct the allowance for all accounts just
 * by listening to said events. Other implementations of the EIP may not emit
 * these events, as it isn't required by the specification.
 *
 * Finally, the non-standard {decreaseAllowance} and {increaseAllowance}
 * functions have been added to mitigate the well-known issues around setting
 * allowances. See {IERC20-approve}.
 */
contract ERC20 is Context, IERC20 {
    using SafeMath for uint256;

    mapping (address => uint256) private _balances;

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

    uint256 private _totalSupply;

    /**
     * @dev See {IERC20-totalSupply}.
     */
    function totalSupply() public view returns (uint256) {
        return _totalSupply;
    }

    /**
     * @dev See {IERC20-balanceOf}.
     */
    function balanceOf(address account) public view returns (uint256) {
        return _balances[account];
    }

    /**
     * @dev See {IERC20-transfer}.
     *
     * Requirements:
     *
     * - `recipient` cannot be the zero address.
     * - the caller must have a balance of at least `amount`.
     */
    function transfer(address recipient, uint256 amount) public returns (bool) {
        _transfer(_msgSender(), recipient, amount);
        return true;
    }

    /**
     * @dev See {IERC20-allowance}.
     */
    function allowance(address owner, address spender) public view returns (uint256) {
        return _allowances[owner][spender];
    }

    /**
     * @dev See {IERC20-approve}.
     *
     * Requirements:
     *
     * - `spender` cannot be the zero address.
     */
    function approve(address spender, uint256 amount) public returns (bool) {
        _approve(_msgSender(), spender, amount);
        return true;
    }

    /**
     * @dev See {IERC20-transferFrom}.
     *
     * Emits an {Approval} event indicating the updated allowance. This is not
     * required by the EIP. See the note at the beginning of {ERC20};
     *
     * Requirements:
     * - `sender` and `recipient` cannot be the zero address.
     * - `sender` must have a balance of at least `amount`.
     * - the caller must have allowance for `sender`'s tokens of at least
     * `amount`.
     */
    function transferFrom(address sender, address recipient, uint256 amount) public returns (bool) {
        _transfer(sender, recipient, amount);
        _approve(sender, _msgSender(), _allowances[sender][_msgSender()].sub(amount, "ERC20: transfer amount exceeds allowance"));
        return true;
    }

    /**
     * @dev Atomically increases the allowance granted to `spender` by the caller.
     *
     * This is an alternative to {approve} that can be used as a mitigation for
     * problems described in {IERC20-approve}.
     *
     * Emits an {Approval} event indicating the updated allowance.
     *
     * Requirements:
     *
     * - `spender` cannot be the zero address.
     */
    function increaseAllowance(address spender, uint256 addedValue) public returns (bool) {
        _approve(_msgSender(), spender, _allowances[_msgSender()][spender].add(addedValue));
        return true;
    }

    /**
     * @dev Atomically decreases the allowance granted to `spender` by the caller.
     *
     * This is an alternative to {approve} that can be used as a mitigation for
     * problems described in {IERC20-approve}.
     *
     * Emits an {Approval} event indicating the updated allowance.
     *
     * Requirements:
     *
     * - `spender` cannot be the zero address.
     * - `spender` must have allowance for the caller of at least
     * `subtractedValue`.
     */
    function decreaseAllowance(address spender, uint256 subtractedValue) public returns (bool) {
        _approve(_msgSender(), spender, _allowances[_msgSender()][spender].sub(subtractedValue, "ERC20: decreased allowance below zero"));
        return true;
    }

    /**
     * @dev Moves tokens `amount` from `sender` to `recipient`.
     *
     * This is internal function is equivalent to {transfer}, and can be used to
     * e.g. implement automatic token fees, slashing mechanisms, etc.
     *
     * Emits a {Transfer} event.
     *
     * Requirements:
     *
     * - `sender` cannot be the zero address.
     * - `recipient` cannot be the zero address.
     * - `sender` must have a balance of at least `amount`.
     */
    function _transfer(address sender, address recipient, uint256 amount) internal {
        require(sender != address(0), "ERC20: transfer from the zero address");
        require(recipient != address(0), "ERC20: transfer to the zero address");

        _balances[sender] = _balances[sender].sub(amount, "ERC20: transfer amount exceeds balance");
        _balances[recipient] = _balances[recipient].add(amount);
        emit Transfer(sender, recipient, amount);
    }

    /** @dev Creates `amount` tokens and assigns them to `account`, increasing
     * the total supply.
     *
     * Emits a {Transfer} event with `from` set to the zero address.
     *
     * Requirements
     *
     * - `to` cannot be the zero address.
     */
    function _mint(address account, uint256 amount) internal {
        require(account != address(0), "ERC20: mint to the zero address");

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

    /**
     * @dev Destroys `amount` tokens from `account`, reducing the
     * total supply.
     *
     * Emits a {Transfer} event with `to` set to the zero address.
     *
     * Requirements
     *
     * - `account` cannot be the zero address.
     * - `account` must have at least `amount` tokens.
     */
    function _burn(address account, uint256 amount) internal {
        require(account != address(0), "ERC20: burn from the zero address");

        _balances[account] = _balances[account].sub(amount, "ERC20: burn amount exceeds balance");
        _totalSupply = _totalSupply.sub(amount);
        emit Transfer(account, address(0), amount);
    }

    /**
     * @dev Sets `amount` as the allowance of `spender` over the `owner`s tokens.
     *
     * This is internal function is equivalent to `approve`, and can be used to
     * e.g. set automatic allowances for certain subsystems, etc.
     *
     * Emits an {Approval} event.
     *
     * Requirements:
     *
     * - `owner` cannot be the zero address.
     * - `spender` cannot be the zero address.
     */
    function _approve(address owner, address spender, uint256 amount) internal {
        require(owner != address(0), "ERC20: approve from the zero address");
        require(spender != address(0), "ERC20: approve to the zero address");

        _allowances[owner][spender] = amount;
        emit Approval(owner, spender, amount);
    }

    /**
     * @dev Destroys `amount` tokens from `account`.`amount` is then deducted
     * from the caller's allowance.
     *
     * See {_burn} and {_approve}.
     */
    function _burnFrom(address account, uint256 amount) internal {
        _burn(account, amount);
        _approve(account, _msgSender(), _allowances[account][_msgSender()].sub(amount, "ERC20: burn amount exceeds allowance"));
    }
}

// File: @openzeppelin/contracts/token/ERC20/ERC20Burnable.sol




/**
 * @dev Extension of {ERC20} that allows token holders to destroy both their own
 * tokens and those that they have an allowance for, in a way that can be
 * recognized off-chain (via event analysis).
 */
contract ERC20Burnable is Context, ERC20 {
    /**
     * @dev Destroys `amount` tokens from the caller.
     *
     * See {ERC20-_burn}.
     */
    function burn(uint256 amount) public {
        _burn(_msgSender(), amount);
    }

    /**
     * @dev See {ERC20-_burnFrom}.
     */
    function burnFrom(address account, uint256 amount) public {
        _burnFrom(account, amount);
    }
}

// File: @openzeppelin/contracts/token/ERC20/ERC20Detailed.sol



/**
 * @dev Optional functions from the ERC20 standard.
 */
contract ERC20Detailed is IERC20 {
    string private _name;
    string private _symbol;
    uint8 private _decimals;

    /**
     * @dev Sets the values for `name`, `symbol`, and `decimals`. All three of
     * these values are immutable: they can only be set once during
     * construction.
     */
    constructor (string memory name, string memory symbol, uint8 decimals) public {
        _name = name;
        _symbol = symbol;
        _decimals = decimals;
    }

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

    /**
     * @dev Returns the symbol of the token, usually a shorter version of the
     * name.
     */
    function symbol() public view returns (string memory) {
        return _symbol;
    }

    /**
     * @dev Returns the number of decimals used to get its user representation.
     * For example, if `decimals` equals `2`, a balance of `505` tokens should
     * be displayed to a user as `5,05` (`505 / 10 ** 2`).
     *
     * Tokens usually opt for a value of 18, imitating the relationship between
     * Ether and Wei.
     *
     * NOTE: This information is only used for _display_ purposes: it in
     * no way affects any of the arithmetic of the contract, including
     * {IERC20-balanceOf} and {IERC20-transfer}.
     */
    function decimals() public view returns (uint8) {
        return _decimals;
    }
}

// File: @openzeppelin/contracts/access/Roles.sol


/**
 * @title Roles
 * @dev Library for managing addresses assigned to a Role.
 */
library Roles {
    struct Role {
        mapping (address => bool) bearer;
    }

    /**
     * @dev Give an account access to this role.
     */
    function add(Role storage role, address account) internal {
        require(!has(role, account), "Roles: account already has role");
        role.bearer[account] = true;
    }

    /**
     * @dev Remove an account's access to this role.
     */
    function remove(Role storage role, address account) internal {
        require(has(role, account), "Roles: account does not have role");
        role.bearer[account] = false;
    }

    /**
     * @dev Check if an account has this role.
     * @return bool
     */
    function has(Role storage role, address account) internal view returns (bool) {
        require(account != address(0), "Roles: account is the zero address");
        return role.bearer[account];
    }
}

// File: @openzeppelin/contracts/access/roles/MinterRole.sol




contract MinterRole is Context {
    using Roles for Roles.Role;

    event MinterAdded(address indexed account);
    event MinterRemoved(address indexed account);

    Roles.Role private _minters;

    constructor () internal {
        _addMinter(_msgSender());
    }

    modifier onlyMinter() {
        require(isMinter(_msgSender()), "MinterRole: caller does not have the Minter role");
        _;
    }

    function isMinter(address account) public view returns (bool) {
        return _minters.has(account);
    }

    function addMinter(address account) public onlyMinter {
        _addMinter(account);
    }

    function renounceMinter() public {
        _removeMinter(_msgSender());
    }

    function _addMinter(address account) internal {
        _minters.add(account);
        emit MinterAdded(account);
    }

    function _removeMinter(address account) internal {
        _minters.remove(account);
        emit MinterRemoved(account);
    }
}

// File: contracts/external/Require.sol

/*
    Copyright 2019 dYdX Trading Inc.

    Licensed under the Apache License, Version 2.0 (the "License");
    you may not use this file except in compliance with the License.
    You may obtain a copy of the License at

    http://www.apache.org/licenses/LICENSE-2.0

    Unless required by applicable law or agreed to in writing, software
    distributed under the License is distributed on an "AS IS" BASIS,
    WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
    See the License for the specific language governing permissions and
    limitations under the License.
*/


/**
 * @title Require
 * @author dYdX
 *
 * Stringifies parameters to pretty-print revert messages. Costs more gas than regular require()
 */
library Require {

    // ============ Constants ============

    uint256 constant ASCII_ZERO = 48; // '0'
    uint256 constant ASCII_RELATIVE_ZERO = 87; // 'a' - 10
    uint256 constant ASCII_LOWER_EX = 120; // 'x'
    bytes2 constant COLON = 0x3a20; // ': '
    bytes2 constant COMMA = 0x2c20; // ', '
    bytes2 constant LPAREN = 0x203c; // ' <'
    byte constant RPAREN = 0x3e; // '>'
    uint256 constant FOUR_BIT_MASK = 0xf;

    // ============ Library Functions ============

    function that(
        bool must,
        bytes32 file,
        bytes32 reason
    )
    internal
    pure
    {
        if (!must) {
            revert(
                string(
                    abi.encodePacked(
                        stringifyTruncated(file),
                        COLON,
                        stringifyTruncated(reason)
                    )
                )
            );
        }
    }

    function that(
        bool must,
        bytes32 file,
        bytes32 reason,
        uint256 payloadA
    )
    internal
    pure
    {
        if (!must) {
            revert(
                string(
                    abi.encodePacked(
                        stringifyTruncated(file),
                        COLON,
                        stringifyTruncated(reason),
                        LPAREN,
                        stringify(payloadA),
                        RPAREN
                    )
                )
            );
        }
    }

    function that(
        bool must,
        bytes32 file,
        bytes32 reason,
        uint256 payloadA,
        uint256 payloadB
    )
    internal
    pure
    {
        if (!must) {
            revert(
                string(
                    abi.encodePacked(
                        stringifyTruncated(file),
                        COLON,
                        stringifyTruncated(reason),
                        LPAREN,
                        stringify(payloadA),
                        COMMA,
                        stringify(payloadB),
                        RPAREN
                    )
                )
            );
        }
    }

    function that(
        bool must,
        bytes32 file,
        bytes32 reason,
        address payloadA
    )
    internal
    pure
    {
        if (!must) {
            revert(
                string(
                    abi.encodePacked(
                        stringifyTruncated(file),
                        COLON,
                        stringifyTruncated(reason),
                        LPAREN,
                        stringify(payloadA),
                        RPAREN
                    )
                )
            );
        }
    }

    function that(
        bool must,
        bytes32 file,
        bytes32 reason,
        address payloadA,
        uint256 payloadB
    )
    internal
    pure
    {
        if (!must) {
            revert(
                string(
                    abi.encodePacked(
                        stringifyTruncated(file),
                        COLON,
                        stringifyTruncated(reason),
                        LPAREN,
                        stringify(payloadA),
                        COMMA,
                        stringify(payloadB),
                        RPAREN
                    )
                )
            );
        }
    }

    function that(
        bool must,
        bytes32 file,
        bytes32 reason,
        address payloadA,
        uint256 payloadB,
        uint256 payloadC
    )
    internal
    pure
    {
        if (!must) {
            revert(
                string(
                    abi.encodePacked(
                        stringifyTruncated(file),
                        COLON,
                        stringifyTruncated(reason),
                        LPAREN,
                        stringify(payloadA),
                        COMMA,
                        stringify(payloadB),
                        COMMA,
                        stringify(payloadC),
                        RPAREN
                    )
                )
            );
        }
    }

    function that(
        bool must,
        bytes32 file,
        bytes32 reason,
        bytes32 payloadA
    )
    internal
    pure
    {
        if (!must) {
            revert(
                string(
                    abi.encodePacked(
                        stringifyTruncated(file),
                        COLON,
                        stringifyTruncated(reason),
                        LPAREN,
                        stringify(payloadA),
                        RPAREN
                    )
                )
            );
        }
    }

    function that(
        bool must,
        bytes32 file,
        bytes32 reason,
        bytes32 payloadA,
        uint256 payloadB,
        uint256 payloadC
    )
    internal
    pure
    {
        if (!must) {
            revert(
                string(
                    abi.encodePacked(
                        stringifyTruncated(file),
                        COLON,
                        stringifyTruncated(reason),
                        LPAREN,
                        stringify(payloadA),
                        COMMA,
                        stringify(payloadB),
                        COMMA,
                        stringify(payloadC),
                        RPAREN
                    )
                )
            );
        }
    }

    // ============ Private Functions ============

    function stringifyTruncated(
        bytes32 input
    )
    private
    pure
    returns (bytes memory)
    {
        // put the input bytes into the result
        bytes memory result = abi.encodePacked(input);

        // determine the length of the input by finding the location of the last non-zero byte
        for (uint256 i = 32; i > 0; ) {
            // reverse-for-loops with unsigned integer
            /* solium-disable-next-line security/no-modify-for-iter-var */
            i--;

            // find the last non-zero byte in order to determine the length
            if (result[i] != 0) {
                uint256 length = i + 1;

                /* solium-disable-next-line security/no-inline-assembly */
                assembly {
                    mstore(result, length) // r.length = length;
                }

                return result;
            }
        }

        // all bytes are zero
        return new bytes(0);
    }

    function stringify(
        uint256 input
    )
    private
    pure
    returns (bytes memory)
    {
        if (input == 0) {
            return "0";
        }

        // get the final string length
        uint256 j = input;
        uint256 length;
        while (j != 0) {
            length++;
            j /= 10;
        }

        // allocate the string
        bytes memory bstr = new bytes(length);

        // populate the string starting with the least-significant character
        j = input;
        for (uint256 i = length; i > 0; ) {
            // reverse-for-loops with unsigned integer
            /* solium-disable-next-line security/no-modify-for-iter-var */
            i--;

            // take last decimal digit
            bstr[i] = byte(uint8(ASCII_ZERO + (j % 10)));

            // remove the last decimal digit
            j /= 10;
        }

        return bstr;
    }

    function stringify(
        address input
    )
    private
    pure
    returns (bytes memory)
    {
        uint256 z = uint256(input);

        // addresses are "0x" followed by 20 bytes of data which take up 2 characters each
        bytes memory result = new bytes(42);

        // populate the result with "0x"
        result[0] = byte(uint8(ASCII_ZERO));
        result[1] = byte(uint8(ASCII_LOWER_EX));

        // for each byte (starting from the lowest byte), populate the result with two characters
        for (uint256 i = 0; i < 20; i++) {
            // each byte takes two characters
            uint256 shift = i * 2;

            // populate the least-significant character
            result[41 - shift] = char(z & FOUR_BIT_MASK);
            z = z >> 4;

            // populate the most-significant character
            result[40 - shift] = char(z & FOUR_BIT_MASK);
            z = z >> 4;
        }

        return result;
    }

    function stringify(
        bytes32 input
    )
    private
    pure
    returns (bytes memory)
    {
        uint256 z = uint256(input);

        // bytes32 are "0x" followed by 32 bytes of data which take up 2 characters each
        bytes memory result = new bytes(66);

        // populate the result with "0x"
        result[0] = byte(uint8(ASCII_ZERO));
        result[1] = byte(uint8(ASCII_LOWER_EX));

        // for each byte (starting from the lowest byte), populate the result with two characters
        for (uint256 i = 0; i < 32; i++) {
            // each byte takes two characters
            uint256 shift = i * 2;

            // populate the least-significant character
            result[65 - shift] = char(z & FOUR_BIT_MASK);
            z = z >> 4;

            // populate the most-significant character
            result[64 - shift] = char(z & FOUR_BIT_MASK);
            z = z >> 4;
        }

        return result;
    }

    function char(
        uint256 input
    )
    private
    pure
    returns (byte)
    {
        // return ASCII digit (0-9)
        if (input < 10) {
            return byte(uint8(input + ASCII_ZERO));
        }

        // return ASCII letter (a-f)
        return byte(uint8(input + ASCII_RELATIVE_ZERO));
    }
}

// File: contracts/external/LibEIP712.sol

/*
    Copyright 2019 ZeroEx Intl.

    Licensed under the Apache License, Version 2.0 (the "License");
    you may not use this file except in compliance with the License.
    You may obtain a copy of the License at

    http://www.apache.org/licenses/LICENSE-2.0

    Unless required by applicable law or agreed to in writing, software
    distributed under the License is distributed on an "AS IS" BASIS,
    WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
    See the License for the specific language governing permissions and
    limitations under the License.
*/



library LibEIP712 {

    // Hash of the EIP712 Domain Separator Schema
    // keccak256(abi.encodePacked(
    //     "EIP712Domain(",
    //     "string name,",
    //     "string version,",
    //     "uint256 chainId,",
    //     "address verifyingContract",
    //     ")"
    // ))
    bytes32 constant internal _EIP712_DOMAIN_SEPARATOR_SCHEMA_HASH = 0x8b73c3c69bb8fe3d512ecc4cf759cc79239f7b179b0ffacaa9a75d522b39400f;

    /// @dev Calculates a EIP712 domain separator.
    /// @param name The EIP712 domain name.
    /// @param version The EIP712 domain version.
    /// @param verifyingContract The EIP712 verifying contract.
    /// @return EIP712 domain separator.
    function hashEIP712Domain(
        string memory name,
        string memory version,
        uint256 chainId,
        address verifyingContract
    )
    internal
    pure
    returns (bytes32 result)
    {
        bytes32 schemaHash = _EIP712_DOMAIN_SEPARATOR_SCHEMA_HASH;

        // Assembly for more efficient computing:
        // keccak256(abi.encodePacked(
        //     _EIP712_DOMAIN_SEPARATOR_SCHEMA_HASH,
        //     keccak256(bytes(name)),
        //     keccak256(bytes(version)),
        //     chainId,
        //     uint256(verifyingContract)
        // ))

        assembly {
        // Calculate hashes of dynamic data
            let nameHash := keccak256(add(name, 32), mload(name))
            let versionHash := keccak256(add(version, 32), mload(version))

        // Load free memory pointer
            let memPtr := mload(64)

        // Store params in memory
            mstore(memPtr, schemaHash)
            mstore(add(memPtr, 32), nameHash)
            mstore(add(memPtr, 64), versionHash)
            mstore(add(memPtr, 96), chainId)
            mstore(add(memPtr, 128), verifyingContract)

        // Compute hash
            result := keccak256(memPtr, 160)
        }
        return result;
    }

    /// @dev Calculates EIP712 encoding for a hash struct with a given domain hash.
    /// @param eip712DomainHash Hash of the domain domain separator data, computed
    ///                         with getDomainHash().
    /// @param hashStruct The EIP712 hash struct.
    /// @return EIP712 hash applied to the given EIP712 Domain.
    function hashEIP712Message(bytes32 eip712DomainHash, bytes32 hashStruct)
    internal
    pure
    returns (bytes32 result)
    {
        // Assembly for more efficient computing:
        // keccak256(abi.encodePacked(
        //     EIP191_HEADER,
        //     EIP712_DOMAIN_HASH,
        //     hashStruct
        // ));

        assembly {
        // Load free memory pointer
            let memPtr := mload(64)

            mstore(memPtr, 0x1901000000000000000000000000000000000000000000000000000000000000)  // EIP191 header
            mstore(add(memPtr, 2), eip712DomainHash)                                            // EIP712 domain hash
            mstore(add(memPtr, 34), hashStruct)                                                 // Hash of struct

        // Compute hash
            result := keccak256(memPtr, 66)
        }
        return result;
    }
}

// File: contracts/external/Decimal.sol

/*
    Copyright 2019 dYdX Trading Inc.
    Copyright 2020 Zero Collateral Devs, standing on the shoulders of the Empty Set Squad <[email protected]>

    Licensed under the Apache License, Version 2.0 (the "License");
    you may not use this file except in compliance with the License.
    You may obtain a copy of the License at

    http://www.apache.org/licenses/LICENSE-2.0

    Unless required by applicable law or agreed to in writing, software
    distributed under the License is distributed on an "AS IS" BASIS,
    WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
    See the License for the specific language governing permissions and
    limitations under the License.
*/



/**
 * @title Decimal
 * @author dYdX
 *
 * Library that defines a fixed-point number with 18 decimal places.
 */
library Decimal {
    using SafeMath for uint256;

    // ============ Constants ============

    uint256 constant BASE = 10**18;

    // ============ Structs ============

    struct D256 {
        uint256 value;
    }

    // ============ Static Functions ============

    function zero() internal pure returns (D256 memory) {
        return D256({value: 0});
    }

    function one() internal pure returns (D256 memory) {
        return D256({value: BASE});
    }

    function from(uint256 a) internal pure returns (D256 memory) {
        return D256({value: a.mul(BASE)});
    }

    function ratio(uint256 a, uint256 b) internal pure returns (D256 memory) {
        return D256({value: getPartial(a, BASE, b)});
    }

    // ============ Self Functions ============

    function add(D256 memory self, uint256 b)
        internal
        pure
        returns (D256 memory)
    {
        return D256({value: self.value.add(b.mul(BASE))});
    }

    function sub(D256 memory self, uint256 b)
        internal
        pure
        returns (D256 memory)
    {
        return D256({value: self.value.sub(b.mul(BASE))});
    }

    function sub(
        D256 memory self,
        uint256 b,
        string memory reason
    ) internal pure returns (D256 memory) {
        return D256({value: self.value.sub(b.mul(BASE), reason)});
    }

    function mul(D256 memory self, uint256 b)
        internal
        pure
        returns (D256 memory)
    {
        return D256({value: self.value.mul(b)});
    }

    function div(D256 memory self, uint256 b)
        internal
        pure
        returns (D256 memory)
    {
        return D256({value: self.value.div(b)});
    }

    function pow(D256 memory self, uint256 b)
        internal
        pure
        returns (D256 memory)
    {
        if (b == 0) {
            return from(1);
        }

        D256 memory temp = D256({value: self.value});
        for (uint256 i = 1; i < b; i++) {
            temp = mul(temp, self);
        }

        return temp;
    }

    function add(D256 memory self, D256 memory b)
        internal
        pure
        returns (D256 memory)
    {
        return D256({value: self.value.add(b.value)});
    }

    function sub(D256 memory self, D256 memory b)
        internal
        pure
        returns (D256 memory)
    {
        return D256({value: self.value.sub(b.value)});
    }

    function sub(
        D256 memory self,
        D256 memory b,
        string memory reason
    ) internal pure returns (D256 memory) {
        return D256({value: self.value.sub(b.value, reason)});
    }

    function mul(D256 memory self, D256 memory b)
        internal
        pure
        returns (D256 memory)
    {
        return D256({value: getPartial(self.value, b.value, BASE)});
    }

    function div(D256 memory self, D256 memory b)
        internal
        pure
        returns (D256 memory)
    {
        return D256({value: getPartial(self.value, BASE, b.value)});
    }

    function equals(D256 memory self, D256 memory b)
        internal
        pure
        returns (bool)
    {
        return self.value == b.value;
    }

    function greaterThan(D256 memory self, D256 memory b)
        internal
        pure
        returns (bool)
    {
        return compareTo(self, b) == 2;
    }

    function lessThan(D256 memory self, D256 memory b)
        internal
        pure
        returns (bool)
    {
        return compareTo(self, b) == 0;
    }

    function greaterThanOrEqualTo(D256 memory self, D256 memory b)
        internal
        pure
        returns (bool)
    {
        return compareTo(self, b) > 0;
    }

    function lessThanOrEqualTo(D256 memory self, D256 memory b)
        internal
        pure
        returns (bool)
    {
        return compareTo(self, b) < 2;
    }

    function isZero(D256 memory self) internal pure returns (bool) {
        return self.value == 0;
    }

    function asUint256(D256 memory self) internal pure returns (uint256) {
        return self.value.div(BASE);
    }

    // ============ Core Methods ============

    function getPartial(
        uint256 target,
        uint256 numerator,
        uint256 denominator
    ) private pure returns (uint256) {
        return target.mul(numerator).div(denominator);
    }

    function compareTo(D256 memory a, D256 memory b)
        private
        pure
        returns (uint256)
    {
        if (a.value == b.value) {
            return 1;
        }
        return a.value > b.value ? 2 : 0;
    }
}

// File: contracts/Constants.sol

/*
    Copyright 2020 Zero Collateral Devs, standing on the shoulders of the Empty Set Squad <[email protected]>

    Licensed under the Apache License, Version 2.0 (the "License");
    you may not use this file except in compliance with the License.
    You may obtain a copy of the License at

    http://www.apache.org/licenses/LICENSE-2.0

    Unless required by applicable law or agreed to in writing, software
    distributed under the License is distributed on an "AS IS" BASIS,
    WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
    See the License for the specific language governing permissions and
    limitations under the License.
*/



library Constants {
    /* Chain */
    uint256 private constant CHAIN_ID = 1; // Mainnet

    /* Bootstrapping */
    uint256 private constant BOOTSTRAPPING_PERIOD = 240; // 5 cycles
    uint256 private constant BOOTSTRAPPING_PRICE = 11e17; // 1.10 DAI

    /* Oracle */
    address private constant DAI_ADDRESS =
        address(0x6B175474E89094C44Da98b954EedeAC495271d0F);
    uint256 private constant ORACLE_RESERVE_MINIMUM = 1e22; // 10,000 DAI

    /* Bonding */
    uint256 private constant INITIAL_STAKE_MULTIPLE = 1e6; // 100 ZAI -> 100M ZAIS

    /* Epoch */
    struct EpochStrategy {
        uint256 offset;
        uint256 start;
        uint256 period;
    }

    uint256 private constant CURRENT_EPOCH_OFFSET = 0;
    uint256 private constant CURRENT_EPOCH_START = 1611014400;
    uint256 private constant CURRENT_EPOCH_PERIOD = 1800;

    /* Governance */
    uint256 private constant GOVERNANCE_PERIOD = 144; // 3 cycles
    uint256 private constant GOVERNANCE_EXPIRATION = 48;
    uint256 private constant GOVERNANCE_QUORUM = 20e16; // 20%
    uint256 private constant GOVERNANCE_PROPOSAL_THRESHOLD = 5e15; // 0.5%
    uint256 private constant GOVERNANCE_SUPER_MAJORITY = 66e16; // 66%
    uint256 private constant GOVERNANCE_EMERGENCY_DELAY = 96; // 2 cycles

    /* DAO */
    uint256 private constant ADVANCE_INCENTIVE = 1e20; // 100 ZAI
    uint256 private constant DAO_EXIT_LOCKUP_EPOCHS = 240; // 5 cycles fluid

    /* Pool */
    uint256 private constant POOL_EXIT_LOCKUP_EPOCHS = 144; // 3 cycles fluid

    /* Market */
    uint256 private constant COUPON_EXPIRATION = 17520; // 365 cycles
    uint256 private constant DEBT_RATIO_CAP = 20e16; // 20%

    /* Regulator */
    uint256 private constant SUPPLY_CHANGE_LIMIT = 1e16; // 1%
    uint256 private constant COUPON_SUPPLY_CHANGE_LIMIT = 2e16; // 2%
    uint256 private constant ORACLE_POOL_RATIO = 50; // 50%
    uint256 private constant TREASURY_RATIO = 0; // 0%

    /* Deployed */
    address private constant TREASURY_ADDRESS =
        address(0x0000000000000000000000000000000000000000);

    /**
     * Getters
     */

    function getDaiAddress() internal pure returns (address) {
        return DAI_ADDRESS;
    }

    function getOracleReserveMinimum() internal pure returns (uint256) {
        return ORACLE_RESERVE_MINIMUM;
    }

    function getCurrentEpochStrategy()
        internal
        pure
        returns (EpochStrategy memory)
    {
        return
            EpochStrategy({
                offset: CURRENT_EPOCH_OFFSET,
                start: CURRENT_EPOCH_START,
                period: CURRENT_EPOCH_PERIOD
            });
    }

    function getInitialStakeMultiple() internal pure returns (uint256) {
        return INITIAL_STAKE_MULTIPLE;
    }

    function getBootstrappingPeriod() internal pure returns (uint256) {
        return BOOTSTRAPPING_PERIOD;
    }

    function getBootstrappingPrice()
        internal
        pure
        returns (Decimal.D256 memory)
    {
        return Decimal.D256({value: BOOTSTRAPPING_PRICE});
    }

    function getGovernancePeriod() internal pure returns (uint256) {
        return GOVERNANCE_PERIOD;
    }

    function getGovernanceExpiration() internal pure returns (uint256) {
        return GOVERNANCE_EXPIRATION;
    }

    function getGovernanceQuorum() internal pure returns (Decimal.D256 memory) {
        return Decimal.D256({value: GOVERNANCE_QUORUM});
    }

    function getGovernanceProposalThreshold()
        internal
        pure
        returns (Decimal.D256 memory)
    {
        return Decimal.D256({value: GOVERNANCE_PROPOSAL_THRESHOLD});
    }

    function getGovernanceSuperMajority()
        internal
        pure
        returns (Decimal.D256 memory)
    {
        return Decimal.D256({value: GOVERNANCE_SUPER_MAJORITY});
    }

    function getGovernanceEmergencyDelay() internal pure returns (uint256) {
        return GOVERNANCE_EMERGENCY_DELAY;
    }

    function getAdvanceIncentive() internal pure returns (uint256) {
        return ADVANCE_INCENTIVE;
    }

    function getDAOExitLockupEpochs() internal pure returns (uint256) {
        return DAO_EXIT_LOCKUP_EPOCHS;
    }

    function getPoolExitLockupEpochs() internal pure returns (uint256) {
        return POOL_EXIT_LOCKUP_EPOCHS;
    }

    function getCouponExpiration() internal pure returns (uint256) {
        return COUPON_EXPIRATION;
    }

    function getDebtRatioCap() internal pure returns (Decimal.D256 memory) {
        return Decimal.D256({value: DEBT_RATIO_CAP});
    }

    function getSupplyChangeLimit()
        internal
        pure
        returns (Decimal.D256 memory)
    {
        return Decimal.D256({value: SUPPLY_CHANGE_LIMIT});
    }

    function getCouponSupplyChangeLimit()
        internal
        pure
        returns (Decimal.D256 memory)
    {
        return Decimal.D256({value: COUPON_SUPPLY_CHANGE_LIMIT});
    }

    function getOraclePoolRatio() internal pure returns (uint256) {
        return ORACLE_POOL_RATIO;
    }

    function getTreasuryRatio() internal pure returns (uint256) {
        return TREASURY_RATIO;
    }

    function getChainId() internal pure returns (uint256) {
        return CHAIN_ID;
    }

    function getTreasuryAddress() internal pure returns (address) {
        return TREASURY_ADDRESS;
    }
}

// File: contracts/token/Permittable.sol

/*
    Copyright 2020 Zero Collateral Devs, standing on the shoulders of the Empty Set Squad <[email protected]>

    Licensed under the Apache License, Version 2.0 (the "License");
    you may not use this file except in compliance with the License.
    You may obtain a copy of the License at

    http://www.apache.org/licenses/LICENSE-2.0

    Unless required by applicable law or agreed to in writing, software
    distributed under the License is distributed on an "AS IS" BASIS,
    WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
    See the License for the specific language governing permissions and
    limitations under the License.
*/







contract Permittable is ERC20Detailed, ERC20 {
    bytes32 constant FILE = "Permittable";

    // keccak256("Permit(address owner,address spender,uint256 value,uint256 nonce,uint256 deadline)");
    bytes32
        public constant EIP712_PERMIT_TYPEHASH = 0x6e71edae12b1b97f4d1f60370fef10105fa2faae0126114a169c64845d6126c9;
    string private constant EIP712_VERSION = "1";

    bytes32 public EIP712_DOMAIN_SEPARATOR;

    mapping(address => uint256) nonces;

    constructor() public {
        EIP712_DOMAIN_SEPARATOR = LibEIP712.hashEIP712Domain(
            name(),
            EIP712_VERSION,
            Constants.getChainId(),
            address(this)
        );
    }

    function permit(
        address owner,
        address spender,
        uint256 value,
        uint256 deadline,
        uint8 v,
        bytes32 r,
        bytes32 s
    ) external {
        bytes32 digest = LibEIP712.hashEIP712Message(
            EIP712_DOMAIN_SEPARATOR,
            keccak256(
                abi.encode(
                    EIP712_PERMIT_TYPEHASH,
                    owner,
                    spender,
                    value,
                    nonces[owner]++,
                    deadline
                )
            )
        );

        address recovered = ecrecover(digest, v, r, s);
        Require.that(recovered == owner, FILE, "Invalid signature");

        Require.that(recovered != address(0), FILE, "Zero address");

        Require.that(now <= deadline, FILE, "Expired");

        _approve(owner, spender, value);
    }
}

// File: contracts/token/IDollar.sol

/*
    Copyright 2020 Zero Collateral Devs, standing on the shoulders of the Empty Set Squad <[email protected]>

    Licensed under the Apache License, Version 2.0 (the "License");
    you may not use this file except in compliance with the License.
    You may obtain a copy of the License at

    http://www.apache.org/licenses/LICENSE-2.0

    Unless required by applicable law or agreed to in writing, software
    distributed under the License is distributed on an "AS IS" BASIS,
    WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
    See the License for the specific language governing permissions and
    limitations under the License.
*/



contract IDollar is IERC20 {
    function burn(uint256 amount) public;

    function burnFrom(address account, uint256 amount) public;

    function mint(address account, uint256 amount) public returns (bool);
}

// File: contracts/token/Dollar.sol

/*
    Copyright 2020 Zero Collateral Devs, standing on the shoulders of the Empty Set Squad <[email protected]>

    Licensed under the Apache License, Version 2.0 (the "License");
    you may not use this file except in compliance with the License.
    You may obtain a copy of the License at

    http://www.apache.org/licenses/LICENSE-2.0

    Unless required by applicable law or agreed to in writing, software
    distributed under the License is distributed on an "AS IS" BASIS,
    WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
    See the License for the specific language governing permissions and
    limitations under the License.
*/







contract Dollar is
    IDollar,
    MinterRole,
    ERC20Detailed,
    Permittable,
    ERC20Burnable
{
    constructor()
        public
        ERC20Detailed("Zero Collateral Dai: V2", "ZAIv2", 18)
        Permittable()
    {}

    function mint(address account, uint256 amount)
        public
        onlyMinter
        returns (bool)
    {
        _mint(account, amount);
        return true;
    }

    function transferFrom(
        address sender,
        address recipient,
        uint256 amount
    ) public returns (bool) {
        _transfer(sender, recipient, amount);
        if (allowance(sender, _msgSender()) != uint256(-1)) {
            _approve(
                sender,
                _msgSender(),
                allowance(sender, _msgSender()).sub(
                    amount,
                    "Dollar: transfer amount exceeds allowance"
                )
            );
        }
        return true;
    }
}

// File: contracts/token/ZaiV2.sol

/*
    Copyright 2020 Zero Collateral Devs, standing on the shoulders of the Empty Set Squad <[email protected]>

    Licensed under the Apache License, Version 2.0 (the "License");
    you may not use this file except in compliance with the License.
    You may obtain a copy of the License at

    http://www.apache.org/licenses/LICENSE-2.0

    Unless required by applicable law or agreed to in writing, software
    distributed under the License is distributed on an "AS IS" BASIS,
    WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
    See the License for the specific language governing permissions and
    limitations under the License.
*/




contract ZaiV2 is Dollar {
    // 100:1 ZAI for ZAIv2
    uint256 public constant SWAP_EXCHANGE_RATE = 100;

    // Total supply of ZAI at the time of reset. Cannot swap more than that
    uint256 public constant MAX_ZAI_SWAPPABLE = 395407172763503943977588203;

    // Track zai that has been swapped
    uint256 public oldZaiSwapped = 0;

    // Original ZAI token address must be this on mainnet.
    // address(0x9d1233cc46795E94029fDA81aAaDc1455D510f15);
    // Only settable in the constructor for testing
    IDollar internal _oldZai;

    event BurnAndSwap(
        address indexed operator,
        address indexed from,
        uint256 burnAmount,
        uint256 mintAmount
    );

    constructor(address oldZaiAddress) public Dollar() {
        _oldZai = IDollar(oldZaiAddress);
    }

    // Approve the amount of ZAI for the ZAIv2 contract to burn and swap, then
    // call burnAndSwap for the address.
    function burnAndSwap(address from) public {
        uint256 burnAmount = _oldZai.allowance(from, address(this));
        require(burnAmount > 0, "gotta burn if you wanna earn...");

        oldZaiSwapped = oldZaiSwapped.add(burnAmount);
        require(
            oldZaiSwapped <= MAX_ZAI_SWAPPABLE,
            "where did all that ZAI come from..."
        );

        uint256 mintAmount = burnAmount.div(SWAP_EXCHANGE_RATE);
        require(mintAmount > 0, "how you gonna mint 0 of something?");

        _oldZai.transferFrom(from, address(this), burnAmount);
        _oldZai.burn(burnAmount);

        _mint(from, mintAmount);

        emit BurnAndSwap(msg.sender, from, burnAmount, mintAmount);
    }
}

• No Contract Security Audit Submitted- Submit Audit Here

[{"inputs":[{"internalType":"address","name":"oldZaiAddress","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":"operator","type":"address"},{"indexed":true,"internalType":"address","name":"from","type":"address"},{"indexed":false,"internalType":"uint256","name":"burnAmount","type":"uint256"},{"indexed":false,"internalType":"uint256","name":"mintAmount","type":"uint256"}],"name":"BurnAndSwap","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"account","type":"address"}],"name":"MinterAdded","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"account","type":"address"}],"name":"MinterRemoved","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":"EIP712_DOMAIN_SEPARATOR","outputs":[{"internalType":"bytes32","name":"","type":"bytes32"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"EIP712_PERMIT_TYPEHASH","outputs":[{"internalType":"bytes32","name":"","type":"bytes32"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"MAX_ZAI_SWAPPABLE","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"SWAP_EXCHANGE_RATE","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"internalType":"address","name":"account","type":"address"}],"name":"addMinter","outputs":[],"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"},{"constant":false,"inputs":[{"internalType":"address","name":"spender","type":"address"},{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"approve","outputs":[{"internalType":"bool","name":"","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[{"internalType":"address","name":"account","type":"address"}],"name":"balanceOf","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"burn","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"internalType":"address","name":"from","type":"address"}],"name":"burnAndSwap","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"internalType":"address","name":"account","type":"address"},{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"burnFrom","outputs":[],"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":"subtractedValue","type":"uint256"}],"name":"decreaseAllowance","outputs":[{"internalType":"bool","name":"","type":"bool"}],"payable":false,"stateMutability":"nonpayable","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":true,"inputs":[{"internalType":"address","name":"account","type":"address"}],"name":"isMinter","outputs":[{"internalType":"bool","name":"","type":"bool"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"internalType":"address","name":"account","type":"address"},{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"mint","outputs":[{"internalType":"bool","name":"","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[],"name":"name","outputs":[{"internalType":"string","name":"","type":"string"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"oldZaiSwapped","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"internalType":"address","name":"owner","type":"address"},{"internalType":"address","name":"spender","type":"address"},{"internalType":"uint256","name":"value","type":"uint256"},{"internalType":"uint256","name":"deadline","type":"uint256"},{"internalType":"uint8","name":"v","type":"uint8"},{"internalType":"bytes32","name":"r","type":"bytes32"},{"internalType":"bytes32","name":"s","type":"bytes32"}],"name":"permit","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[],"name":"renounceMinter","outputs":[],"payable":false,"stateMutability":"nonpayable","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":"recipient","type":"address"},{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"transfer","outputs":[{"internalType":"bool","name":"","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"internalType":"address","name":"sender","type":"address"},{"internalType":"address","name":"recipient","type":"address"},{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"transferFrom","outputs":[{"internalType":"bool","name":"","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"}]

608060405260006009553480156200001657600080fd5b506040516200219f3803806200219f83398101604081905262000039916200041a565b6040518060400160405280601781526020017f5a65726f20436f6c6c61746572616c204461693a205632000000000000000000815250604051806040016040528060058152602001642d20a4bb1960d91b8152506012620000b2620000a36200016d60201b60201c565b6001600160e01b036200017216565b8251620000c79060019060208601906200036b565b508151620000dd9060029060208501906200036b565b506003805460ff191660ff929092169190911790555062000144905062000103620001c4565b604051806040016040528060018152602001603160f81b815250620001326200025d60201b62001b191760201c565b306200026260201b62001b1e1760201c565b600755600a80546001600160a01b0319166001600160a01b03929092169190911790556200051d565b335b90565b6200018d816000620002b960201b620010811790919060201c565b6040516001600160a01b038216907f6ae172837ea30b801fbfcdd4108aa1d5bf8ff775444fd70256b44e6bf3dfc3f690600090a250565b60018054604080516020601f60026000196101008789161502019095169490940493840181900481028201810190925282815260609390929091830182828015620002535780601f10620002275761010080835404028352916020019162000253565b820191906000526020600020905b8154815290600101906020018083116200023557829003601f168201915b5050505050905090565b600190565b8351602094850120835193850193909320604080517f8b73c3c69bb8fe3d512ecc4cf759cc79239f7b179b0ffacaa9a75d522b39400f815295860194909452928401929092526060830152608082015260a0902090565b620002ce82826001600160e01b036200031c16565b15620002f75760405162461bcd60e51b8152600401620002ee90620004c4565b60405180910390fd5b6001600160a01b0316600090815260209190915260409020805460ff19166001179055565b60006001600160a01b038216620003475760405162461bcd60e51b8152600401620002ee90620004d6565b506001600160a01b03811660009081526020839052604090205460ff165b92915050565b828054600181600116156101000203166002900490600052602060002090601f016020900481019282601f10620003ae57805160ff1916838001178555620003de565b82800160010185558215620003de579182015b82811115620003de578251825591602001919060010190620003c1565b50620003ec929150620003f0565b5090565b6200016f91905b80821115620003ec5760008155600101620003f7565b8051620003658162000503565b6000602082840312156200042d57600080fd5b60006200043b84846200040d565b949350505050565b600062000452601f83620004e8565b7f526f6c65733a206163636f756e7420616c72656164792068617320726f6c6500815260200192915050565b60006200048d602283620004e8565b7f526f6c65733a206163636f756e7420697320746865207a65726f206164647265815261737360f01b602082015260400192915050565b60208082528101620003658162000443565b6020808252810162000365816200047e565b90815260200190565b60006001600160a01b03821662000365565b6200050e81620004f1565b81146200051a57600080fd5b50565b611c72806200052d6000396000f3fe608060405234801561001057600080fd5b50600436106101585760003560e01c8063983b2d56116100c3578063c8207a091161007c578063c8207a09146102b0578063d505accf146102b8578063dab400f3146102cb578063dd62ed3e146102d3578063e879c19f146102e6578063ed61b1d0146102ee57610158565b8063983b2d5614610249578063986502751461025c578063a457c2d714610264578063a9059cbb14610277578063aa271e1a1461028a578063c61fbbff1461029d57610158565b806340c10f191161011557806340c10f19146101eb57806342966c68146101fe57806370a082311461021357806379cc679014610226578063828803901461023957806395d89b411461024157610158565b806306fdde031461015d578063095ea7b31461017b57806318160ddd1461019b57806323b872dd146101b0578063313ce567146101c357806339509351146101d8575b600080fd5b6101656102f6565b6040516101729190611957565b60405180910390f35b61018e61018936600461134c565b61038b565b60405161017291906118ac565b6101a36103a9565b60405161017291906118ba565b61018e6101be366004611263565b6103af565b6101cb610422565b6040516101729190611a63565b61018e6101e636600461134c565b61042b565b61018e6101f936600461134c565b61047f565b61021161020c36600461139a565b6104bb565b005b6101a3610221366004611203565b6104cf565b61021161023436600461134c565b6104ee565b6101a36104fc565b610165610501565b610211610257366004611203565b61055f565b61021161058f565b61018e61027236600461134c565b6105a1565b61018e61028536600461134c565b61060f565b61018e610298366004611203565b610623565b6102116102ab366004611203565b610635565b6101a3610897565b6102116102c63660046112b0565b61089d565b6101a3610a24565b6101a36102e1366004611229565b610a2a565b6101a3610a55565b6101a3610a79565b60018054604080516020601f600260001961010087891615020190951694909404938401819004810282018101909252828152606093909290918301828280156103815780601f1061035657610100808354040283529160200191610381565b820191906000526020600020905b81548152906001019060200180831161036457829003601f168201915b5050505050905090565b600061039f610398610a89565b8484610a8d565b5060015b92915050565b60065490565b60006103bc848484610b34565b6000196103cb856102e1610a89565b1461041757610417846103dc610a89565b61041285604051806060016040528060298152602001611be2602991396104058a6102e1610a89565b919063ffffffff610c4a16565b610a8d565b5060015b9392505050565b60035460ff1690565b600061039f610438610a89565b846104128560056000610449610a89565b6001600160a01b03908116825260208083019390935260409182016000908120918c16815292529020549063ffffffff610c7616565b600061048c610298610a89565b6104b15760405162461bcd60e51b81526004016104a8906119b8565b60405180910390fd5b61039f8383610c9b565b6104cc6104c6610a89565b82610d5b565b50565b6001600160a01b0381166000908152600460205260409020545b919050565b6104f88282610e31565b5050565b606481565b60028054604080516020601f60001961010060018716150201909416859004938401819004810282018101909252828152606093909290918301828280156103815780601f1061035657610100808354040283529160200191610381565b61056a610298610a89565b6105865760405162461bcd60e51b81526004016104a8906119b8565b6104cc81610eac565b61059f61059a610a89565b610ef4565b565b600061039f6105ae610a89565b8461041285604051806060016040528060258152602001611c0b60259139600560006105d8610a89565b6001600160a01b03908116825260208083019390935260409182016000908120918d1681529252902054919063ffffffff610c4a16565b600061039f61061c610a89565b8484610b34565b60006103a3818363ffffffff610f3c16565b600a54604051636eb1769f60e11b81526000916001600160a01b03169063dd62ed3e906106689085903090600401611869565b60206040518083038186803b15801561068057600080fd5b505afa158015610694573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052506106b891908101906113b8565b9050600081116106da5760405162461bcd60e51b81526004016104a890611a28565b6009546106ed908263ffffffff610c7616565b60098190556b014712b9c94cbbbb87f4d5eb101561071d5760405162461bcd60e51b81526004016104a890611a08565b600061073082606463ffffffff610f8416565b9050600081116107525760405162461bcd60e51b81526004016104a8906119a8565b600a546040516323b872dd60e01b81526001600160a01b03909116906323b872dd9061078690869030908790600401611884565b602060405180830381600087803b1580156107a057600080fd5b505af11580156107b4573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052506107d8919081019061137c565b50600a54604051630852cd8d60e31b81526001600160a01b03909116906342966c68906108099085906004016118ba565b600060405180830381600087803b15801561082357600080fd5b505af1158015610837573d6000803e3d6000fd5b505050506108458382610c9b565b826001600160a01b0316336001600160a01b03167fe40eab03d6f9a986a8e14ee4e5e8b1f60ad2731eeb04b7dc62bf7f1c5308207d848460405161088a929190611a48565b60405180910390a3505050565b60095481565b6007546001600160a01b03881660009081526008602090815260408083208054600181019091559051929361091f939092610904927f6e71edae12b1b97f4d1f60370fef10105fa2faae0126114a169c64845d6126c9928e928e928e9290918e91016118c8565b60405160208183030381529060405280519060200120610fc6565b90506000600182868686604051600081526020016040526040516109469493929190611922565b6020604051602081039080840390855afa158015610968573d6000803e3d6000fd5b5050506020604051035190506109b5896001600160a01b0316826001600160a01b0316146a5065726d69747461626c6560a81b70496e76616c6964207369676e617475726560781b610fe5565b6109e86001600160a01b03821615156a5065726d69747461626c6560a81b6b5a65726f206164647265737360a01b610fe5565b610a0e864211156a5065726d69747461626c6560a81b66115e1c1a5c995960ca1b610fe5565b610a19898989610a8d565b505050505050505050565b60075481565b6001600160a01b03918216600090815260056020908152604080832093909416825291909152205490565b7f6e71edae12b1b97f4d1f60370fef10105fa2faae0126114a169c64845d6126c981565b6b014712b9c94cbbbb87f4d5eb81565b3390565b6001600160a01b038316610ab35760405162461bcd60e51b81526004016104a890611a18565b6001600160a01b038216610ad95760405162461bcd60e51b81526004016104a890611988565b6001600160a01b0380841660008181526005602090815260408083209487168084529490915290819020849055517f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b9259061088a9085906118ba565b6001600160a01b038316610b5a5760405162461bcd60e51b81526004016104a8906119f8565b6001600160a01b038216610b805760405162461bcd60e51b81526004016104a890611968565b610bc381604051806060016040528060268152602001611b98602691396001600160a01b038616600090815260046020526040902054919063ffffffff610c4a16565b6001600160a01b038085166000908152600460205260408082209390935590841681522054610bf8908263ffffffff610c7616565b6001600160a01b0380841660008181526004602052604090819020939093559151908516907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef9061088a9085906118ba565b60008184841115610c6e5760405162461bcd60e51b81526004016104a89190611957565b505050900390565b60008282018381101561041b5760405162461bcd60e51b81526004016104a890611998565b6001600160a01b038216610cc15760405162461bcd60e51b81526004016104a890611a38565b600654610cd4908263ffffffff610c7616565b6006556001600160a01b038216600090815260046020526040902054610d00908263ffffffff610c7616565b6001600160a01b0383166000818152600460205260408082209390935591519091907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef90610d4f9085906118ba565b60405180910390a35050565b6001600160a01b038216610d815760405162461bcd60e51b81526004016104a8906119e8565b610dc481604051806060016040528060228152602001611b76602291396001600160a01b038516600090815260046020526040902054919063ffffffff610c4a16565b6001600160a01b038316600090815260046020526040902055600654610df0908263ffffffff61103f16565b6006556040516000906001600160a01b038416907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef90610d4f9085906118ba565b610e3b8282610d5b565b6104f882610e47610a89565b61041284604051806060016040528060248152602001611bbe602491396001600160a01b038816600090815260056020526040812090610e85610a89565b6001600160a01b03168152602081019190915260400160002054919063ffffffff610c4a16565b610ebd60008263ffffffff61108116565b6040516001600160a01b038216907f6ae172837ea30b801fbfcdd4108aa1d5bf8ff775444fd70256b44e6bf3dfc3f690600090a250565b610f0560008263ffffffff6110cd16565b6040516001600160a01b038216907fe94479a9f7e1952cc78f2d6baab678adc1b772d936c6583def489e524cb6669290600090a250565b60006001600160a01b038216610f645760405162461bcd60e51b81526004016104a8906119d8565b506001600160a01b03166000908152602091909152604090205460ff1690565b600061041b83836040518060400160405280601a81526020017f536166654d6174683a206469766973696f6e206279207a65726f000000000000815250611115565b60405161190160f01b8152600281019290925260228201526042902090565b8261103a57610ff38261114c565b6101d160f51b6110028361114c565b60405160200161101493929190611838565b60408051601f198184030181529082905262461bcd60e51b82526104a891600401611957565b505050565b600061041b83836040518060400160405280601e81526020017f536166654d6174683a207375627472616374696f6e206f766572666c6f770000815250610c4a565b61108b8282610f3c565b156110a85760405162461bcd60e51b81526004016104a890611978565b6001600160a01b0316600090815260209190915260409020805460ff19166001179055565b6110d78282610f3c565b6110f35760405162461bcd60e51b81526004016104a8906119c8565b6001600160a01b0316600090815260209190915260409020805460ff19169055565b600081836111365760405162461bcd60e51b81526004016104a89190611957565b50600083858161114257fe5b0495945050505050565b606080826040516020016111609190611823565b60408051601f19818403018152919052905060205b80156111b55781516000199091019082908290811061119057fe5b01602001516001600160f81b031916156111b057600101815290506104e9565b611175565b505060408051600081526020810190915292915050565b80356103a381611aea565b80516103a381611afe565b80356103a381611b07565b80516103a381611b07565b80356103a381611b10565b60006020828403121561121557600080fd5b600061122184846111cc565b949350505050565b6000806040838503121561123c57600080fd5b600061124885856111cc565b9250506020611259858286016111cc565b9150509250929050565b60008060006060848603121561127857600080fd5b600061128486866111cc565b9350506020611295868287016111cc565b92505060406112a6868287016111e2565b9150509250925092565b600080600080600080600060e0888a0312156112cb57600080fd5b60006112d78a8a6111cc565b97505060206112e88a828b016111cc565b96505060406112f98a828b016111e2565b955050606061130a8a828b016111e2565b945050608061131b8a828b016111f8565b93505060a061132c8a828b016111e2565b92505060c061133d8a828b016111e2565b91505092959891949750929550565b6000806040838503121561135f57600080fd5b600061136b85856111cc565b9250506020611259858286016111e2565b60006020828403121561138e57600080fd5b600061122184846111d7565b6000602082840312156113ac57600080fd5b600061122184846111e2565b6000602082840312156113ca57600080fd5b600061122184846111ed565b6113df81611a7e565b82525050565b6113df81611a89565b6113df6113fa82611a8e565b611a9b565b6113df81611a9b565b6113df6113fa82611a9b565b600061141f82611a71565b61142981856104e9565b9350611439818560208601611ab0565b9290920192915050565b600061144e82611a71565b6114588185611a75565b9350611468818560208601611ab0565b61147181611ae0565b9093019392505050565b6000611488602383611a75565b7f45524332303a207472616e7366657220746f20746865207a65726f206164647281526265737360e81b602082015260400192915050565b60006114cd601f83611a75565b7f526f6c65733a206163636f756e7420616c72656164792068617320726f6c6500815260200192915050565b6000611506602283611a75565b7f45524332303a20617070726f766520746f20746865207a65726f206164647265815261737360f01b602082015260400192915050565b600061154a601b83611a75565b7f536166654d6174683a206164646974696f6e206f766572666c6f770000000000815260200192915050565b6000611583602283611a75565b7f686f7720796f7520676f6e6e61206d696e742030206f6620736f6d657468696e815261673f60f01b602082015260400192915050565b60006115c7603083611a75565b7f4d696e746572526f6c653a2063616c6c657220646f6573206e6f74206861766581526f20746865204d696e74657220726f6c6560801b602082015260400192915050565b6000611619602183611a75565b7f526f6c65733a206163636f756e7420646f6573206e6f74206861766520726f6c8152606560f81b602082015260400192915050565b600061165c602283611a75565b7f526f6c65733a206163636f756e7420697320746865207a65726f206164647265815261737360f01b602082015260400192915050565b60006116a0602183611a75565b7f45524332303a206275726e2066726f6d20746865207a65726f206164647265738152607360f81b602082015260400192915050565b60006116e3602583611a75565b7f45524332303a207472616e736665722066726f6d20746865207a65726f206164815264647265737360d81b602082015260400192915050565b600061172a602383611a75565b7f77686572652064696420616c6c2074686174205a414920636f6d652066726f6d81526217171760e91b602082015260400192915050565b600061176f602483611a75565b7f45524332303a20617070726f76652066726f6d20746865207a65726f206164648152637265737360e01b602082015260400192915050565b60006117b5601f83611a75565b7f676f747461206275726e20696620796f752077616e6e61206561726e2e2e2e00815260200192915050565b60006117ee601f83611a75565b7f45524332303a206d696e7420746f20746865207a65726f206164647265737300815260200192915050565b6113df81611aaa565b600061182f8284611408565b50602001919050565b60006118448286611414565b915061185082856113ee565b6002820191506118608284611414565b95945050505050565b6040810161187782856113d6565b61041b60208301846113d6565b6060810161189282866113d6565b61189f60208301856113d6565b61122160408301846113ff565b602081016103a382846113e5565b602081016103a382846113ff565b60c081016118d682896113ff565b6118e360208301886113d6565b6118f060408301876113d6565b6118fd60608301866113ff565b61190a60808301856113ff565b61191760a08301846113ff565b979650505050505050565b6080810161193082876113ff565b61193d602083018661181a565b61194a60408301856113ff565b61186060608301846113ff565b6020808252810161041b8184611443565b602080825281016103a38161147b565b602080825281016103a3816114c0565b602080825281016103a3816114f9565b602080825281016103a38161153d565b602080825281016103a381611576565b602080825281016103a3816115ba565b602080825281016103a38161160c565b602080825281016103a38161164f565b602080825281016103a381611693565b602080825281016103a3816116d6565b602080825281016103a38161171d565b602080825281016103a381611762565b602080825281016103a3816117a8565b602080825281016103a3816117e1565b60408101611a5682856113ff565b61041b60208301846113ff565b602081016103a3828461181a565b5190565b90815260200190565b60006103a382611a9e565b151590565b6001600160f01b03191690565b90565b6001600160a01b031690565b60ff1690565b60005b83811015611acb578181015183820152602001611ab3565b83811115611ada576000848401525b50505050565b601f01601f191690565b611af381611a7e565b81146104cc57600080fd5b611af381611a89565b611af381611a9b565b611af381611aaa565b600190565b8351602094850120835193850193909320604080517f8b73c3c69bb8fe3d512ecc4cf759cc79239f7b179b0ffacaa9a75d522b39400f815295860194909452928401929092526060830152608082015260a090209056fe45524332303a206275726e20616d6f756e7420657863656564732062616c616e636545524332303a207472616e7366657220616d6f756e7420657863656564732062616c616e636545524332303a206275726e20616d6f756e74206578636565647320616c6c6f77616e6365446f6c6c61723a207472616e7366657220616d6f756e74206578636565647320616c6c6f77616e636545524332303a2064656372656173656420616c6c6f77616e63652062656c6f77207a65726fa365627a7a723158200bdb2bc68e4ff7014e1d3e4c553bfe2b7c66740f634ab4fccf8fc14a95378ded6c6578706572696d656e74616cf564736f6c634300051100400000000000000000000000009d1233cc46795e94029fda81aaadc1455d510f15

0x608060405234801561001057600080fd5b50600436106101585760003560e01c8063983b2d56116100c3578063c8207a091161007c578063c8207a09146102b0578063d505accf146102b8578063dab400f3146102cb578063dd62ed3e146102d3578063e879c19f146102e6578063ed61b1d0146102ee57610158565b8063983b2d5614610249578063986502751461025c578063a457c2d714610264578063a9059cbb14610277578063aa271e1a1461028a578063c61fbbff1461029d57610158565b806340c10f191161011557806340c10f19146101eb57806342966c68146101fe57806370a082311461021357806379cc679014610226578063828803901461023957806395d89b411461024157610158565b806306fdde031461015d578063095ea7b31461017b57806318160ddd1461019b57806323b872dd146101b0578063313ce567146101c357806339509351146101d8575b600080fd5b6101656102f6565b6040516101729190611957565b60405180910390f35b61018e61018936600461134c565b61038b565b60405161017291906118ac565b6101a36103a9565b60405161017291906118ba565b61018e6101be366004611263565b6103af565b6101cb610422565b6040516101729190611a63565b61018e6101e636600461134c565b61042b565b61018e6101f936600461134c565b61047f565b61021161020c36600461139a565b6104bb565b005b6101a3610221366004611203565b6104cf565b61021161023436600461134c565b6104ee565b6101a36104fc565b610165610501565b610211610257366004611203565b61055f565b61021161058f565b61018e61027236600461134c565b6105a1565b61018e61028536600461134c565b61060f565b61018e610298366004611203565b610623565b6102116102ab366004611203565b610635565b6101a3610897565b6102116102c63660046112b0565b61089d565b6101a3610a24565b6101a36102e1366004611229565b610a2a565b6101a3610a55565b6101a3610a79565b60018054604080516020601f600260001961010087891615020190951694909404938401819004810282018101909252828152606093909290918301828280156103815780601f1061035657610100808354040283529160200191610381565b820191906000526020600020905b81548152906001019060200180831161036457829003601f168201915b5050505050905090565b600061039f610398610a89565b8484610a8d565b5060015b92915050565b60065490565b60006103bc848484610b34565b6000196103cb856102e1610a89565b1461041757610417846103dc610a89565b61041285604051806060016040528060298152602001611be2602991396104058a6102e1610a89565b919063ffffffff610c4a16565b610a8d565b5060015b9392505050565b60035460ff1690565b600061039f610438610a89565b846104128560056000610449610a89565b6001600160a01b03908116825260208083019390935260409182016000908120918c16815292529020549063ffffffff610c7616565b600061048c610298610a89565b6104b15760405162461bcd60e51b81526004016104a8906119b8565b60405180910390fd5b61039f8383610c9b565b6104cc6104c6610a89565b82610d5b565b50565b6001600160a01b0381166000908152600460205260409020545b919050565b6104f88282610e31565b5050565b606481565b60028054604080516020601f60001961010060018716150201909416859004938401819004810282018101909252828152606093909290918301828280156103815780601f1061035657610100808354040283529160200191610381565b61056a610298610a89565b6105865760405162461bcd60e51b81526004016104a8906119b8565b6104cc81610eac565b61059f61059a610a89565b610ef4565b565b600061039f6105ae610a89565b8461041285604051806060016040528060258152602001611c0b60259139600560006105d8610a89565b6001600160a01b03908116825260208083019390935260409182016000908120918d1681529252902054919063ffffffff610c4a16565b600061039f61061c610a89565b8484610b34565b60006103a3818363ffffffff610f3c16565b600a54604051636eb1769f60e11b81526000916001600160a01b03169063dd62ed3e906106689085903090600401611869565b60206040518083038186803b15801561068057600080fd5b505afa158015610694573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052506106b891908101906113b8565b9050600081116106da5760405162461bcd60e51b81526004016104a890611a28565b6009546106ed908263ffffffff610c7616565b60098190556b014712b9c94cbbbb87f4d5eb101561071d5760405162461bcd60e51b81526004016104a890611a08565b600061073082606463ffffffff610f8416565b9050600081116107525760405162461bcd60e51b81526004016104a8906119a8565b600a546040516323b872dd60e01b81526001600160a01b03909116906323b872dd9061078690869030908790600401611884565b602060405180830381600087803b1580156107a057600080fd5b505af11580156107b4573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052506107d8919081019061137c565b50600a54604051630852cd8d60e31b81526001600160a01b03909116906342966c68906108099085906004016118ba565b600060405180830381600087803b15801561082357600080fd5b505af1158015610837573d6000803e3d6000fd5b505050506108458382610c9b565b826001600160a01b0316336001600160a01b03167fe40eab03d6f9a986a8e14ee4e5e8b1f60ad2731eeb04b7dc62bf7f1c5308207d848460405161088a929190611a48565b60405180910390a3505050565b60095481565b6007546001600160a01b03881660009081526008602090815260408083208054600181019091559051929361091f939092610904927f6e71edae12b1b97f4d1f60370fef10105fa2faae0126114a169c64845d6126c9928e928e928e9290918e91016118c8565b60405160208183030381529060405280519060200120610fc6565b90506000600182868686604051600081526020016040526040516109469493929190611922565b6020604051602081039080840390855afa158015610968573d6000803e3d6000fd5b5050506020604051035190506109b5896001600160a01b0316826001600160a01b0316146a5065726d69747461626c6560a81b70496e76616c6964207369676e617475726560781b610fe5565b6109e86001600160a01b03821615156a5065726d69747461626c6560a81b6b5a65726f206164647265737360a01b610fe5565b610a0e864211156a5065726d69747461626c6560a81b66115e1c1a5c995960ca1b610fe5565b610a19898989610a8d565b505050505050505050565b60075481565b6001600160a01b03918216600090815260056020908152604080832093909416825291909152205490565b7f6e71edae12b1b97f4d1f60370fef10105fa2faae0126114a169c64845d6126c981565b6b014712b9c94cbbbb87f4d5eb81565b3390565b6001600160a01b038316610ab35760405162461bcd60e51b81526004016104a890611a18565b6001600160a01b038216610ad95760405162461bcd60e51b81526004016104a890611988565b6001600160a01b0380841660008181526005602090815260408083209487168084529490915290819020849055517f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b9259061088a9085906118ba565b6001600160a01b038316610b5a5760405162461bcd60e51b81526004016104a8906119f8565b6001600160a01b038216610b805760405162461bcd60e51b81526004016104a890611968565b610bc381604051806060016040528060268152602001611b98602691396001600160a01b038616600090815260046020526040902054919063ffffffff610c4a16565b6001600160a01b038085166000908152600460205260408082209390935590841681522054610bf8908263ffffffff610c7616565b6001600160a01b0380841660008181526004602052604090819020939093559151908516907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef9061088a9085906118ba565b60008184841115610c6e5760405162461bcd60e51b81526004016104a89190611957565b505050900390565b60008282018381101561041b5760405162461bcd60e51b81526004016104a890611998565b6001600160a01b038216610cc15760405162461bcd60e51b81526004016104a890611a38565b600654610cd4908263ffffffff610c7616565b6006556001600160a01b038216600090815260046020526040902054610d00908263ffffffff610c7616565b6001600160a01b0383166000818152600460205260408082209390935591519091907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef90610d4f9085906118ba565b60405180910390a35050565b6001600160a01b038216610d815760405162461bcd60e51b81526004016104a8906119e8565b610dc481604051806060016040528060228152602001611b76602291396001600160a01b038516600090815260046020526040902054919063ffffffff610c4a16565b6001600160a01b038316600090815260046020526040902055600654610df0908263ffffffff61103f16565b6006556040516000906001600160a01b038416907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef90610d4f9085906118ba565b610e3b8282610d5b565b6104f882610e47610a89565b61041284604051806060016040528060248152602001611bbe602491396001600160a01b038816600090815260056020526040812090610e85610a89565b6001600160a01b03168152602081019190915260400160002054919063ffffffff610c4a16565b610ebd60008263ffffffff61108116565b6040516001600160a01b038216907f6ae172837ea30b801fbfcdd4108aa1d5bf8ff775444fd70256b44e6bf3dfc3f690600090a250565b610f0560008263ffffffff6110cd16565b6040516001600160a01b038216907fe94479a9f7e1952cc78f2d6baab678adc1b772d936c6583def489e524cb6669290600090a250565b60006001600160a01b038216610f645760405162461bcd60e51b81526004016104a8906119d8565b506001600160a01b03166000908152602091909152604090205460ff1690565b600061041b83836040518060400160405280601a81526020017f536166654d6174683a206469766973696f6e206279207a65726f000000000000815250611115565b60405161190160f01b8152600281019290925260228201526042902090565b8261103a57610ff38261114c565b6101d160f51b6110028361114c565b60405160200161101493929190611838565b60408051601f198184030181529082905262461bcd60e51b82526104a891600401611957565b505050565b600061041b83836040518060400160405280601e81526020017f536166654d6174683a207375627472616374696f6e206f766572666c6f770000815250610c4a565b61108b8282610f3c565b156110a85760405162461bcd60e51b81526004016104a890611978565b6001600160a01b0316600090815260209190915260409020805460ff19166001179055565b6110d78282610f3c565b6110f35760405162461bcd60e51b81526004016104a8906119c8565b6001600160a01b0316600090815260209190915260409020805460ff19169055565b600081836111365760405162461bcd60e51b81526004016104a89190611957565b50600083858161114257fe5b0495945050505050565b606080826040516020016111609190611823565b60408051601f19818403018152919052905060205b80156111b55781516000199091019082908290811061119057fe5b01602001516001600160f81b031916156111b057600101815290506104e9565b611175565b505060408051600081526020810190915292915050565b80356103a381611aea565b80516103a381611afe565b80356103a381611b07565b80516103a381611b07565b80356103a381611b10565b60006020828403121561121557600080fd5b600061122184846111cc565b949350505050565b6000806040838503121561123c57600080fd5b600061124885856111cc565b9250506020611259858286016111cc565b9150509250929050565b60008060006060848603121561127857600080fd5b600061128486866111cc565b9350506020611295868287016111cc565b92505060406112a6868287016111e2565b9150509250925092565b600080600080600080600060e0888a0312156112cb57600080fd5b60006112d78a8a6111cc565b97505060206112e88a828b016111cc565b96505060406112f98a828b016111e2565b955050606061130a8a828b016111e2565b945050608061131b8a828b016111f8565b93505060a061132c8a828b016111e2565b92505060c061133d8a828b016111e2565b91505092959891949750929550565b6000806040838503121561135f57600080fd5b600061136b85856111cc565b9250506020611259858286016111e2565b60006020828403121561138e57600080fd5b600061122184846111d7565b6000602082840312156113ac57600080fd5b600061122184846111e2565b6000602082840312156113ca57600080fd5b600061122184846111ed565b6113df81611a7e565b82525050565b6113df81611a89565b6113df6113fa82611a8e565b611a9b565b6113df81611a9b565b6113df6113fa82611a9b565b600061141f82611a71565b61142981856104e9565b9350611439818560208601611ab0565b9290920192915050565b600061144e82611a71565b6114588185611a75565b9350611468818560208601611ab0565b61147181611ae0565b9093019392505050565b6000611488602383611a75565b7f45524332303a207472616e7366657220746f20746865207a65726f206164647281526265737360e81b602082015260400192915050565b60006114cd601f83611a75565b7f526f6c65733a206163636f756e7420616c72656164792068617320726f6c6500815260200192915050565b6000611506602283611a75565b7f45524332303a20617070726f766520746f20746865207a65726f206164647265815261737360f01b602082015260400192915050565b600061154a601b83611a75565b7f536166654d6174683a206164646974696f6e206f766572666c6f770000000000815260200192915050565b6000611583602283611a75565b7f686f7720796f7520676f6e6e61206d696e742030206f6620736f6d657468696e815261673f60f01b602082015260400192915050565b60006115c7603083611a75565b7f4d696e746572526f6c653a2063616c6c657220646f6573206e6f74206861766581526f20746865204d696e74657220726f6c6560801b602082015260400192915050565b6000611619602183611a75565b7f526f6c65733a206163636f756e7420646f6573206e6f74206861766520726f6c8152606560f81b602082015260400192915050565b600061165c602283611a75565b7f526f6c65733a206163636f756e7420697320746865207a65726f206164647265815261737360f01b602082015260400192915050565b60006116a0602183611a75565b7f45524332303a206275726e2066726f6d20746865207a65726f206164647265738152607360f81b602082015260400192915050565b60006116e3602583611a75565b7f45524332303a207472616e736665722066726f6d20746865207a65726f206164815264647265737360d81b602082015260400192915050565b600061172a602383611a75565b7f77686572652064696420616c6c2074686174205a414920636f6d652066726f6d81526217171760e91b602082015260400192915050565b600061176f602483611a75565b7f45524332303a20617070726f76652066726f6d20746865207a65726f206164648152637265737360e01b602082015260400192915050565b60006117b5601f83611a75565b7f676f747461206275726e20696620796f752077616e6e61206561726e2e2e2e00815260200192915050565b60006117ee601f83611a75565b7f45524332303a206d696e7420746f20746865207a65726f206164647265737300815260200192915050565b6113df81611aaa565b600061182f8284611408565b50602001919050565b60006118448286611414565b915061185082856113ee565b6002820191506118608284611414565b95945050505050565b6040810161187782856113d6565b61041b60208301846113d6565b6060810161189282866113d6565b61189f60208301856113d6565b61122160408301846113ff565b602081016103a382846113e5565b602081016103a382846113ff565b60c081016118d682896113ff565b6118e360208301886113d6565b6118f060408301876113d6565b6118fd60608301866113ff565b61190a60808301856113ff565b61191760a08301846113ff565b979650505050505050565b6080810161193082876113ff565b61193d602083018661181a565b61194a60408301856113ff565b61186060608301846113ff565b6020808252810161041b8184611443565b602080825281016103a38161147b565b602080825281016103a3816114c0565b602080825281016103a3816114f9565b602080825281016103a38161153d565b602080825281016103a381611576565b602080825281016103a3816115ba565b602080825281016103a38161160c565b602080825281016103a38161164f565b602080825281016103a381611693565b602080825281016103a3816116d6565b602080825281016103a38161171d565b602080825281016103a381611762565b602080825281016103a3816117a8565b602080825281016103a3816117e1565b60408101611a5682856113ff565b61041b60208301846113ff565b602081016103a3828461181a565b5190565b90815260200190565b60006103a382611a9e565b151590565b6001600160f01b03191690565b90565b6001600160a01b031690565b60ff1690565b60005b83811015611acb578181015183820152602001611ab3565b83811115611ada576000848401525b50505050565b601f01601f191690565b611af381611a7e565b81146104cc57600080fd5b611af381611a89565b611af381611a9b565b611af381611aaa565b600190565b8351602094850120835193850193909320604080517f8b73c3c69bb8fe3d512ecc4cf759cc79239f7b179b0ffacaa9a75d522b39400f815295860194909452928401929092526060830152608082015260a090209056fe45524332303a206275726e20616d6f756e7420657863656564732062616c616e636545524332303a207472616e7366657220616d6f756e7420657863656564732062616c616e636545524332303a206275726e20616d6f756e74206578636565647320616c6c6f77616e6365446f6c6c61723a207472616e7366657220616d6f756e74206578636565647320616c6c6f77616e636545524332303a2064656372656173656420616c6c6f77616e63652062656c6f77207a65726fa365627a7a723158200bdb2bc68e4ff7014e1d3e4c553bfe2b7c66740f634ab4fccf8fc14a95378ded6c6578706572696d656e74616cf564736f6c63430005110040

0000000000000000000000009d1233cc46795E94029fDA81aAaDc1455D510f15

-----Decoded View---------------
Arg [0] : oldZaiAddress (address): 0x9d1233cc46795E94029fDA81aAaDc1455D510f15

-----Encoded View---------------
1 Constructor Arguments found :
Arg [0] : 0000000000000000000000009d1233cc46795E94029fDA81aAaDc1455D510f15

54579:1679:0:-;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;54579:1679:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;19225:83;;;:::i;:::-;;;;;;;;;;;;;;;;12097:152;;;;;;;;;:::i;:::-;;;;;;;;11118:91;;;:::i;:::-;;;;;;;;53288:542;;;;;;;;;:::i;20077:83::-;;;:::i;:::-;;;;;;;;13434:210;;;;;;;;;:::i;53105:175::-;;;;;;;;;:::i;18283:83::-;;;;;;;;;:::i;:::-;;11272:110;;;;;;;;;:::i;18428:103::-;;;;;;;;;:::i;54639:48::-;;;:::i;19427:87::-;;;:::i;21832:92::-;;;;;;;;;:::i;21932:79::-;;;:::i;14147:261::-;;;;;;;;;:::i;11595:158::-;;;;;;;;;:::i;21715:109::-;;;;;;;;;:::i;55530:725::-;;;;;;;;;:::i;54893:32::-;;;:::i;50246:894::-;;;;;;;;;:::i;49930:38::-;;;:::i;11816:134::-;;;;;;;;;:::i;49746:124::-;;;:::i;54773:71::-;;;:::i;19225:83::-;19295:5;19288:12;;;;;;;;-1:-1:-1;;19288:12:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;19262:13;;19288:12;;19295:5;;19288:12;;19295:5;19288:12;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;19225:83;:::o;12097:152::-;12163:4;12180:39;12189:12;:10;:12::i;:::-;12203:7;12212:6;12180:8;:39::i;:::-;-1:-1:-1;12237:4:0;12097:152;;;;;:::o;11118:91::-;11189:12;;11118:91;:::o;53288:542::-;53411:4;53428:36;53438:6;53446:9;53457:6;53428:9;:36::i;:::-;-1:-1:-1;;53479:31:0;53489:6;53497:12;:10;:12::i;53479:31::-;:46;53475:326;;53542:247;53569:6;53594:12;:10;:12::i;:::-;53625:149;53683:6;53625:149;;;;;;;;;;;;;;;;;:31;53635:6;53643:12;:10;:12::i;53625:31::-;:35;:149;;:35;:149;:::i;:::-;53542:8;:247::i;:::-;-1:-1:-1;53818:4:0;53288:542;;;;;;:::o;20077:83::-;20143:9;;;;20077:83;:::o;13434:210::-;13514:4;13531:83;13540:12;:10;:12::i;:::-;13554:7;13563:50;13602:10;13563:11;:25;13575:12;:10;:12::i;:::-;-1:-1:-1;;;;;13563:25:0;;;;;;;;;;;;;;;;;-1:-1:-1;13563:25:0;;;:34;;;;;;;;;;;:50;:38;:50;:::i;53105:175::-;53206:4;21612:22;21621:12;:10;:12::i;21612:22::-;21604:83;;;;-1:-1:-1;;;21604:83:0;;;;;;;;;;;;;;;;;53228:22;53234:7;53243:6;53228:5;:22::i;18283:83::-;18331:27;18337:12;:10;:12::i;:::-;18351:6;18331:5;:27::i;:::-;18283:83;:::o;11272:110::-;-1:-1:-1;;;;;11356:18:0;;11329:7;11356:18;;;:9;:18;;;;;;11272:110;;;;:::o;18428:103::-;18497:26;18507:7;18516:6;18497:9;:26::i;:::-;18428:103;;:::o;54639:48::-;54684:3;54639:48;:::o;19427:87::-;19499:7;19492:14;;;;;;;-1:-1:-1;;19492:14:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;19466:13;;19492:14;;19499:7;;19492:14;;19499:7;19492:14;;;;;;;;;;;;;;;;;;;;;;;;21832:92;21612:22;21621:12;:10;:12::i;21612:22::-;21604:83;;;;-1:-1:-1;;;21604:83:0;;;;;;;;;21897:19;21908:7;21897:10;:19::i;21932:79::-;21976:27;21990:12;:10;:12::i;:::-;21976:13;:27::i;:::-;21932:79::o;14147:261::-;14232:4;14249:129;14258:12;:10;:12::i;:::-;14272:7;14281:96;14320:15;14281:96;;;;;;;;;;;;;;;;;:11;:25;14293:12;:10;:12::i;:::-;-1:-1:-1;;;;;14281:25:0;;;;;;;;;;;;;;;;;-1:-1:-1;14281:25:0;;;:34;;;;;;;;;;;:96;;:38;:96;:::i;11595:158::-;11664:4;11681:42;11691:12;:10;:12::i;:::-;11705:9;11716:6;11681:9;:42::i;21715:109::-;21771:4;21795:21;21771:4;21808:7;21795:21;:12;:21;:::i;55530:725::-;55604:7;;:38;;-1:-1:-1;;;55604:38:0;;55583:18;;-1:-1:-1;;;;;55604:7:0;;:17;;:38;;55622:4;;55636;;55604:38;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;55604:38:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;55604:38:0;;;;;;;101:4:-1;97:9;90:4;84;80:15;76:31;69:5;65:43;126:6;120:4;113:20;0:138;55604:38:0;;;;;;;;;55583:59;;55674:1;55661:10;:14;55653:58;;;;-1:-1:-1;;;55653:58:0;;;;;;;;;55740:13;;:29;;55758:10;55740:29;:17;:29;:::i;:::-;55724:13;:45;;;54817:27;-1:-1:-1;55802:34:0;55780:119;;;;-1:-1:-1;;;55780:119:0;;;;;;;;;55912:18;55933:34;:10;54684:3;55933:34;:14;:34;:::i;:::-;55912:55;;55999:1;55986:10;:14;55978:61;;;;-1:-1:-1;;;55978:61:0;;;;;;;;;56052:7;;:53;;-1:-1:-1;;;56052:53:0;;-1:-1:-1;;;;;56052:7:0;;;;:20;;:53;;56073:4;;56087;;56094:10;;56052:53;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;56052:53:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;56052:53:0;;;;;;;101:4:-1;97:9;90:4;84;80:15;76:31;69:5;65:43;126:6;120:4;113:20;0:138;56052:53:0;;;;;;;;;-1:-1:-1;56116:7:0;;:24;;-1:-1:-1;;;56116:24:0;;-1:-1:-1;;;;;56116:7:0;;;;:12;;:24;;56129:10;;56116:24;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;56116:24:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;56116:24:0;;;;56153:23;56159:4;56165:10;56153:5;:23::i;:::-;56218:4;-1:-1:-1;;;;;56194:53:0;56206:10;-1:-1:-1;;;;;56194:53:0;;56224:10;56236;56194:53;;;;;;;;;;;;;;;;55530:725;;;:::o;54893:32::-;;;;:::o;50246:894::-;50507:23;;-1:-1:-1;;;;;50737:13:0;;50448:14;50737:13;;;:6;:13;;;;;;;;:15;;;;;;;;50573:229;;50448:14;;50465:363;;50507:23;;50573:229;;49804:66;;50651:5;;50679:7;;50709:5;;50737:15;;50775:8;;50573:229;;;;;;49:4:-1;39:7;30;26:21;22:32;13:7;6:49;50573:229:0;;;50545:272;;;;;;50465:27;:363::i;:::-;50448:380;;50841:17;50861:26;50871:6;50879:1;50882;50885;50861:26;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;50861:26:0;;;;;;;;50841:46;;50898:59;50924:5;-1:-1:-1;;;;;50911:18:0;:9;-1:-1:-1;;;;;50911:18:0;;-1:-1:-1;;;;;;50898:12:0;:59::i;:::-;50970;-1:-1:-1;;;;;50983:23:0;;;;-1:-1:-1;;;;;;50970:12:0;:59::i;:::-;51042:46;51062:8;51055:3;:15;;-1:-1:-1;;;;;;51042:12:0;:46::i;:::-;51101:31;51110:5;51117:7;51126:5;51101:8;:31::i;:::-;50246:894;;;;;;;;;:::o;49930:38::-;;;;:::o;11816:134::-;-1:-1:-1;;;;;11915:18:0;;;11888:7;11915:18;;;:11;:18;;;;;;;;:27;;;;;;;;;;;;;11816:134::o;49746:124::-;49804:66;49746:124;:::o;54773:71::-;54817:27;54773:71;:::o;894:98::-;974:10;894:98;:::o;17078:338::-;-1:-1:-1;;;;;17172:19:0;;17164:68;;;;-1:-1:-1;;;17164:68:0;;;;;;;;;-1:-1:-1;;;;;17251:21:0;;17243:68;;;;-1:-1:-1;;;17243:68:0;;;;;;;;;-1:-1:-1;;;;;17324:18:0;;;;;;;:11;:18;;;;;;;;:27;;;;;;;;;;;;;;:36;;;17376:32;;;;;17354:6;;17376:32;;14898:471;-1:-1:-1;;;;;14996:20:0;;14988:70;;;;-1:-1:-1;;;14988:70:0;;;;;;;;;-1:-1:-1;;;;;15077:23:0;;15069:71;;;;-1:-1:-1;;;15069:71:0;;;;;;;;;15173;15195:6;15173:71;;;;;;;;;;;;;;;;;-1:-1:-1;;;;;15173:17:0;;;;;;:9;:17;;;;;;;:71;;:21;:71;:::i;:::-;-1:-1:-1;;;;;15153:17:0;;;;;;;:9;:17;;;;;;:91;;;;15278:20;;;;;;;:32;;15303:6;15278:32;:24;:32;:::i;:::-;-1:-1:-1;;;;;15255:20:0;;;;;;;:9;:20;;;;;;;:55;;;;15326:35;;;;;;;;;;15354:6;;15326:35;;5904:192;5990:7;6026:12;6018:6;;;;6010:29;;;;-1:-1:-1;;;6010:29:0;;;;;;;;;;-1:-1:-1;;;6062:5:0;;;5904:192::o;4975:181::-;5033:7;5065:5;;;5089:6;;;;5081:46;;;;-1:-1:-1;;;5081:46:0;;;;;;;;15650:308;-1:-1:-1;;;;;15726:21:0;;15718:65;;;;-1:-1:-1;;;15718:65:0;;;;;;;;;15811:12;;:24;;15828:6;15811:24;:16;:24;:::i;:::-;15796:12;:39;-1:-1:-1;;;;;15867:18:0;;;;;;:9;:18;;;;;;:30;;15890:6;15867:30;:22;:30;:::i;:::-;-1:-1:-1;;;;;15846:18:0;;;;;;:9;:18;;;;;;:51;;;;15913:37;;15846:18;;;15913:37;;;;15943:6;;15913:37;;;;;;;;;;15650:308;;:::o;16290:348::-;-1:-1:-1;;;;;16366:21:0;;16358:67;;;;-1:-1:-1;;;16358:67:0;;;;;;;;;16459:68;16482:6;16459:68;;;;;;;;;;;;;;;;;-1:-1:-1;;;;;16459:18:0;;;;;;:9;:18;;;;;;;:68;;:22;:68;:::i;:::-;-1:-1:-1;;;;;16438:18:0;;;;;;:9;:18;;;;;:89;16553:12;;:24;;16570:6;16553:24;:16;:24;:::i;:::-;16538:12;:39;16593:37;;16619:1;;-1:-1:-1;;;;;16593:37:0;;;;;;;16623:6;;16593:37;;17602:232;17674:22;17680:7;17689:6;17674:5;:22::i;:::-;17707:119;17716:7;17725:12;:10;:12::i;:::-;17739:86;17778:6;17739:86;;;;;;;;;;;;;;;;;-1:-1:-1;;;;;17739:20:0;;;;;;:11;:20;;;;;;17760:12;:10;:12::i;:::-;-1:-1:-1;;;;;17739:34:0;;;;;;;;;;;;-1:-1:-1;17739:34:0;;;:86;;:38;:86;:::i;22019:122::-;22076:21;:8;22089:7;22076:21;:12;:21;:::i;:::-;22113:20;;-1:-1:-1;;;;;22113:20:0;;;;;;;;22019:122;:::o;22149:130::-;22209:24;:8;22225:7;22209:24;:15;:24;:::i;:::-;22249:22;;-1:-1:-1;;;;;22249:22:0;;;;;;;;22149:130;:::o;21005:203::-;21077:4;-1:-1:-1;;;;;21102:21:0;;21094:68;;;;-1:-1:-1;;;21094:68:0;;;;;;;;;-1:-1:-1;;;;;;21180:20:0;:11;:20;;;;;;;;;;;;;;;21005:203::o;7286:132::-;7344:7;7371:39;7375:1;7378;7371:39;;;;;;;;;;;;;;;;;:3;:39::i;36046:894::-;36473:2;36467:9;-1:-1:-1;;;36492:82:0;;36625:1;36613:14;;36606:40;;;;36744:2;36732:15;;36725:35;36895:2;36877:21;;;36046:894::o;23600:437::-;23734:4;23729:301;;23852:24;23871:4;23852:18;:24::i;:::-;-1:-1:-1;;;23935:26:0;23954:6;23935:18;:26::i;:::-;23809:175;;;;;;;;;;;;;;;-1:-1:-1;;26:21;;;22:32;6:49;;23809:175:0;;;;-1:-1:-1;;;23755:263:0;;;;;;;;23729:301;23600:437;;;:::o;5431:136::-;5489:7;5516:43;5520:1;5523;5516:43;;;;;;;;;;;;;;;;;:3;:43::i;20469:178::-;20547:18;20551:4;20557:7;20547:3;:18::i;:::-;20546:19;20538:63;;;;-1:-1:-1;;;20538:63:0;;;;;;;;;-1:-1:-1;;;;;20612:20:0;:11;:20;;;;;;;;;;;:27;;-1:-1:-1;;20612:27:0;20635:4;20612:27;;;20469:178::o;20727:183::-;20807:18;20811:4;20817:7;20807:3;:18::i;:::-;20799:64;;;;-1:-1:-1;;;20799:64:0;;;;;;;;;-1:-1:-1;;;;;20874:20:0;20897:5;20874:20;;;;;;;;;;;:28;;-1:-1:-1;;20874:28:0;;;20727:183::o;7948:345::-;8034:7;8136:12;8129:5;8121:28;;;;-1:-1:-1;;;8121:28:0;;;;;;;;;;;8160:9;8176:1;8172;:5;;;;;;;7948:345;-1:-1:-1;;;;;7948:345:0:o;28817:985::-;28913:12;28991:19;29030:5;29013:23;;;;;;;;;;;;;-1:-1:-1;;26:21;;;22:32;6:49;;29013:23:0;;;;-1:-1:-1;49:4;29145:587:0;29166:5;;29145:587;;29423:9;;-1:-1:-1;;29322:3:0;;;;29423:6;;29322:3;;29423:9;;;;;;;;;;-1:-1:-1;;;;;;29423:9:0;:14;29419:302;;29479:1;29475:5;29609:22;;29616:6;-1:-1:-1;29692:13:0;;29419:302;29145:587;;;-1:-1:-1;;29782:12:0;;;29792:1;29782:12;;;;;;;;;29775:19;-1:-1:-1;;28817:985:0:o;5:130:-1:-;72:20;;97:33;72:20;97:33;;142:128;217:13;;235:30;217:13;235:30;;277:130;344:20;;369:33;344:20;369:33;;551:134;629:13;;647:33;629:13;647:33;;692:126;757:20;;782:31;757:20;782:31;;825:241;;929:2;917:9;908:7;904:23;900:32;897:2;;;945:1;942;935:12;897:2;980:1;997:53;1042:7;1022:9;997:53;;;987:63;891:175;-1:-1;;;;891:175;1073:366;;;1194:2;1182:9;1173:7;1169:23;1165:32;1162:2;;;1210:1;1207;1200:12;1162:2;1245:1;1262:53;1307:7;1287:9;1262:53;;;1252:63;;1224:97;1352:2;1370:53;1415:7;1406:6;1395:9;1391:22;1370:53;;;1360:63;;1331:98;1156:283;;;;;;1446:491;;;;1584:2;1572:9;1563:7;1559:23;1555:32;1552:2;;;1600:1;1597;1590:12;1552:2;1635:1;1652:53;1697:7;1677:9;1652:53;;;1642:63;;1614:97;1742:2;1760:53;1805:7;1796:6;1785:9;1781:22;1760:53;;;1750:63;;1721:98;1850:2;1868:53;1913:7;1904:6;1893:9;1889:22;1868:53;;;1858:63;;1829:98;1546:391;;;;;;1944:991;;;;;;;;2148:3;2136:9;2127:7;2123:23;2119:33;2116:2;;;2165:1;2162;2155:12;2116:2;2200:1;2217:53;2262:7;2242:9;2217:53;;;2207:63;;2179:97;2307:2;2325:53;2370:7;2361:6;2350:9;2346:22;2325:53;;;2315:63;;2286:98;2415:2;2433:53;2478:7;2469:6;2458:9;2454:22;2433:53;;;2423:63;;2394:98;2523:2;2541:53;2586:7;2577:6;2566:9;2562:22;2541:53;;;2531:63;;2502:98;2631:3;2650:51;2693:7;2684:6;2673:9;2669:22;2650:51;;;2640:61;;2610:97;2738:3;2757:53;2802:7;2793:6;2782:9;2778:22;2757:53;;;2747:63;;2717:99;2847:3;2866:53;2911:7;2902:6;2891:9;2887:22;2866:53;;;2856:63;;2826:99;2110:825;;;;;;;;;;;2942:366;;;3063:2;3051:9;3042:7;3038:23;3034:32;3031:2;;;3079:1;3076;3069:12;3031:2;3114:1;3131:53;3176:7;3156:9;3131:53;;;3121:63;;3093:97;3221:2;3239:53;3284:7;3275:6;3264:9;3260:22;3239:53;;3315:257;;3427:2;3415:9;3406:7;3402:23;3398:32;3395:2;;;3443:1;3440;3433:12;3395:2;3478:1;3495:61;3548:7;3528:9;3495:61;;3579:241;;3683:2;3671:9;3662:7;3658:23;3654:32;3651:2;;;3699:1;3696;3689:12;3651:2;3734:1;3751:53;3796:7;3776:9;3751:53;;3827:263;;3942:2;3930:9;3921:7;3917:23;3913:32;3910:2;;;3958:1;3955;3948:12;3910:2;3993:1;4010:64;4066:7;4046:9;4010:64;;4097:113;4180:24;4198:5;4180:24;;;4175:3;4168:37;4162:48;;;4217:104;4294:21;4309:5;4294:21;;4328:148;4427:43;4446:23;4463:5;4446:23;;;4427:43;;4483:113;4566:24;4584:5;4566:24;;4603:152;4704:45;4724:24;4742:5;4724:24;;4762:356;;4890:38;4922:5;4890:38;;;4940:88;5021:6;5016:3;4940:88;;;4933:95;;5033:52;5078:6;5073:3;5066:4;5059:5;5055:16;5033:52;;;5097:16;;;;;4870:248;-1:-1;;4870:248;5125:347;;5237:39;5270:5;5237:39;;;5288:71;5352:6;5347:3;5288:71;;;5281:78;;5364:52;5409:6;5404:3;5397:4;5390:5;5386:16;5364:52;;;5437:29;5459:6;5437:29;;;5428:39;;;;5217:255;-1:-1;;;5217:255;5480:372;;5640:67;5704:2;5699:3;5640:67;;;5740:34;5720:55;;-1:-1;;;5804:2;5795:12;;5788:27;5843:2;5834:12;;5626:226;-1:-1;;5626:226;5861:331;;6021:67;6085:2;6080:3;6021:67;;;6121:33;6101:54;;6183:2;6174:12;;6007:185;-1:-1;;6007:185;6201:371;;6361:67;6425:2;6420:3;6361:67;;;6461:34;6441:55;;-1:-1;;;6525:2;6516:12;;6509:26;6563:2;6554:12;;6347:225;-1:-1;;6347:225;6581:327;;6741:67;6805:2;6800:3;6741:67;;;6841:29;6821:50;;6899:2;6890:12;;6727:181;-1:-1;;6727:181;6917:371;;7077:67;7141:2;7136:3;7077:67;;;7177:34;7157:55;;-1:-1;;;7241:2;7232:12;;7225:26;7279:2;7270:12;;7063:225;-1:-1;;7063:225;7297:385;;7457:67;7521:2;7516:3;7457:67;;;7557:34;7537:55;;-1:-1;;;7621:2;7612:12;;7605:40;7673:2;7664:12;;7443:239;-1:-1;;7443:239;7691:370;;7851:67;7915:2;7910:3;7851:67;;;7951:34;7931:55;;-1:-1;;;8015:2;8006:12;;7999:25;8052:2;8043:12;;7837:224;-1:-1;;7837:224;8070:371;;8230:67;8294:2;8289:3;8230:67;;;8330:34;8310:55;;-1:-1;;;8394:2;8385:12;;8378:26;8432:2;8423:12;;8216:225;-1:-1;;8216:225;8450:370;;8610:67;8674:2;8669:3;8610:67;;;8710:34;8690:55;;-1:-1;;;8774:2;8765:12;;8758:25;8811:2;8802:12;;8596:224;-1:-1;;8596:224;8829:374;;8989:67;9053:2;9048:3;8989:67;;;9089:34;9069:55;;-1:-1;;;9153:2;9144:12;;9137:29;9194:2;9185:12;;8975:228;-1:-1;;8975:228;9212:372;;9372:67;9436:2;9431:3;9372:67;;;9472:34;9452:55;;-1:-1;;;9536:2;9527:12;;9520:27;9575:2;9566:12;;9358:226;-1:-1;;9358:226;9593:373;;9753:67;9817:2;9812:3;9753:67;;;9853:34;9833:55;;-1:-1;;;9917:2;9908:12;;9901:28;9957:2;9948:12;;9739:227;-1:-1;;9739:227;9975:331;;10135:67;10199:2;10194:3;10135:67;;;10235:33;10215:54;;10297:2;10288:12;;10121:185;-1:-1;;10121:185;10315:331;;10475:67;10539:2;10534:3;10475:67;;;10575:33;10555:54;;10637:2;10628:12;;10461:185;-1:-1;;10461:185;10774:107;10853:22;10869:5;10853:22;;10888:244;;11007:75;11078:3;11069:6;11007:75;;;-1:-1;11104:2;11095:12;;10995:137;-1:-1;10995:137;11139:553;;11355:93;11444:3;11435:6;11355:93;;;11348:100;;11459:73;11528:3;11519:6;11459:73;;;11554:1;11549:3;11545:11;11538:18;;11574:93;11663:3;11654:6;11574:93;;;11567:100;11336:356;-1:-1;;;;;11336:356;11699:324;11845:2;11830:18;;11859:71;11834:9;11903:6;11859:71;;;11941:72;12009:2;11998:9;11994:18;11985:6;11941:72;;12030:435;12204:2;12189:18;;12218:71;12193:9;12262:6;12218:71;;;12300:72;12368:2;12357:9;12353:18;12344:6;12300:72;;;12383;12451:2;12440:9;12436:18;12427:6;12383:72;;12472:201;12584:2;12569:18;;12598:65;12573:9;12636:6;12598:65;;12680:213;12798:2;12783:18;;12812:71;12787:9;12856:6;12812:71;;12900:771;13158:3;13143:19;;13173:71;13147:9;13217:6;13173:71;;;13255:72;13323:2;13312:9;13308:18;13299:6;13255:72;;;13338;13406:2;13395:9;13391:18;13382:6;13338:72;;;13421;13489:2;13478:9;13474:18;13465:6;13421:72;;;13504:73;13572:3;13561:9;13557:19;13548:6;13504:73;;;13588;13656:3;13645:9;13641:19;13632:6;13588:73;;;13129:542;;;;;;;;;;13678:539;13876:3;13861:19;;13891:71;13865:9;13935:6;13891:71;;;13973:68;14037:2;14026:9;14022:18;14013:6;13973:68;;;14052:72;14120:2;14109:9;14105:18;14096:6;14052:72;;;14135;14203:2;14192:9;14188:18;14179:6;14135:72;;14224:301;14362:2;14376:47;;;14347:18;;14437:78;14347:18;14501:6;14437:78;;14532:407;14723:2;14737:47;;;14708:18;;14798:131;14708:18;14798:131;;14946:407;15137:2;15151:47;;;15122:18;;15212:131;15122:18;15212:131;;15360:407;15551:2;15565:47;;;15536:18;;15626:131;15536:18;15626:131;;15774:407;15965:2;15979:47;;;15950:18;;16040:131;15950:18;16040:131;;16188:407;16379:2;16393:47;;;16364:18;;16454:131;16364:18;16454:131;;16602:407;16793:2;16807:47;;;16778:18;;16868:131;16778:18;16868:131;;17016:407;17207:2;17221:47;;;17192:18;;17282:131;17192:18;17282:131;;17430:407;17621:2;17635:47;;;17606:18;;17696:131;17606:18;17696:131;;17844:407;18035:2;18049:47;;;18020:18;;18110:131;18020:18;18110:131;;18258:407;18449:2;18463:47;;;18434:18;;18524:131;18434:18;18524:131;;18672:407;18863:2;18877:47;;;18848:18;;18938:131;18848:18;18938:131;;19086:407;19277:2;19291:47;;;19262:18;;19352:131;19262:18;19352:131;;19500:407;19691:2;19705:47;;;19676:18;;19766:131;19676:18;19766:131;;19914:407;20105:2;20119:47;;;20090:18;;20180:131;20090:18;20180:131;;20548:324;20694:2;20679:18;;20708:71;20683:9;20752:6;20708:71;;;20790:72;20858:2;20847:9;20843:18;20834:6;20790:72;;20879:205;20993:2;20978:18;;21007:67;20982:9;21047:6;21007:67;;21091:121;21178:12;;21149:63;21502:163;21605:19;;;21654:4;21645:14;;21598:67;21673:91;;21735:24;21753:5;21735:24;;21771:85;21837:13;21830:21;;21813:43;21863:144;-1:-1;;;;;;21924:78;;21907:100;22014:72;22076:5;22059:27;22093:121;-1:-1;;;;;22155:54;;22138:76;22300:81;22371:4;22360:16;;22343:38;22389:268;22454:1;22461:101;22475:6;22472:1;22469:13;22461:101;;;22542:11;;;22536:18;22523:11;;;22516:39;22497:2;22490:10;22461:101;;;22577:6;22574:1;22571:13;22568:2;;;22642:1;22633:6;22628:3;22624:16;22617:27;22568:2;22438:219;;;;;22826:97;22914:2;22894:14;-1:-1;;22890:28;;22874:49;22931:117;23000:24;23018:5;23000:24;;;22993:5;22990:35;22980:2;;23039:1;23036;23029:12;23055:111;23121:21;23136:5;23121:21;;23173:117;23242:24;23260:5;23242:24;;23421:113;23488:22;23504:5;23488:22;;23462:72;43372:1:0;48582:88;:::o;34423:1275::-;35142:11;;35137:2;35127:13;;;35117:37;35215:14;;35197:16;;;35187:43;;;;35303:2;35297:9;;34093:66;35357:26;;35404:15;;;35397:33;;;;35451:15;;;35444:36;;;;35513:2;35501:15;;35494:32;35559:3;35547:16;;35540:43;35652:3;35634:22;;;34423:1275::o

bzzr://0bdb2bc68e4ff7014e1d3e4c553bfe2b7c66740f634ab4fccf8fc14a95378ded