Contract Source Code (Solidity Standard Json-Input format)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta
• Remix IDE

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

pragma solidity 0.5.12;

import { Context } from "@openzeppelin/contracts/GSN/Context.sol";
import { IERC20 } from "@openzeppelin/contracts/token/ERC20/IERC20.sol";
import { IERC777 } from "@openzeppelin/contracts/token/ERC777/IERC777.sol";
import { IERC777Recipient } from "@openzeppelin/contracts/token/ERC777/IERC777Recipient.sol";
import { IERC777Sender } from "@openzeppelin/contracts/token/ERC777/IERC777Sender.sol";
import { SafeMath } from "@openzeppelin/contracts/math/SafeMath.sol";
import { Address } from "@openzeppelin/contracts/utils/Address.sol";
import { IERC1820Registry } from "@openzeppelin/contracts/introspection/IERC1820Registry.sol";
import { RuntimeConstants } from "./RuntimeConstants.sol";

// ERC777 is inlined because we need to change `_callTokensToSend` to protect against Uniswap replay attacks

/**
 * @dev Implementation of the {IERC777} 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}.
 *
 * Support for ERC20 is included in this contract, as specified by the EIP: both
 * the ERC777 and ERC20 interfaces can be safely used when interacting with it.
 * Both {IERC777-Sent} and {IERC20-Transfer} events are emitted on token
 * movements.
 *
 * Additionally, the {IERC777-granularity} value is hard-coded to `1`, meaning that there
 * are no special restrictions in the amount of tokens that created, moved, or
 * destroyed. This makes integration with ERC20 applications seamless.
 */
contract ERC777 is RuntimeConstants, Context, IERC777, IERC20 {
	using SafeMath for uint256;
	using Address for address;

	IERC1820Registry constant private _erc1820 = IERC1820Registry(0x1820a4B7618BdE71Dce8cdc73aAB6C95905faD24);

	mapping(address => uint256) private _balances;

	uint256 private _totalSupply;

	string private _name;
	string private _symbol;

	// We inline the result of the following hashes because Solidity doesn't resolve them at compile time.
	// See https://github.com/ethereum/solidity/issues/4024.

	// keccak256("ERC777TokensSender")
	bytes32 constant private TOKENS_SENDER_INTERFACE_HASH =
		0x29ddb589b1fb5fc7cf394961c1adf5f8c6454761adf795e67fe149f658abe895;

	// keccak256("ERC777TokensRecipient")
	bytes32 constant private TOKENS_RECIPIENT_INTERFACE_HASH =
		0xb281fc8c12954d22544db45de3159a39272895b169a852b314f9cc762e44c53b;

	// This isn't ever read from - it's only used to respond to the defaultOperators query.
	address[] private _defaultOperatorsArray;

	// Immutable, but accounts may revoke them (tracked in __revokedDefaultOperators).
	mapping(address => bool) private _defaultOperators;

	// For each account, a mapping of its operators and revoked default operators.
	mapping(address => mapping(address => bool)) private _operators;
	mapping(address => mapping(address => bool)) private _revokedDefaultOperators;

	// ERC20-allowances
	mapping (address => mapping (address => uint256)) private _allowances;

	// KEYDONIX: Protect against Uniswap Exchange reentrancy bug: https://blog.openzeppelin.com/exploiting-uniswap-from-reentrancy-to-actual-profit/
	bool uniswapExchangeReentrancyGuard = false;

	/**
	 * @dev `defaultOperators` may be an empty array.
	 */
	constructor(string memory name, string memory symbol, address[] memory defaultOperators) public {
		_name = name;
		_symbol = symbol;

		_defaultOperatorsArray = defaultOperators;
		for (uint256 i = 0; i < _defaultOperatorsArray.length; i++) {
			_defaultOperators[_defaultOperatorsArray[i]] = true;
		}

		// register interfaces
		_erc1820.setInterfaceImplementer(address(this), keccak256("ERC777Token"), address(this));
		_erc1820.setInterfaceImplementer(address(this), keccak256("ERC20Token"), address(this));
	}

	/**
	 * @dev See {IERC777-name}.
	 */
	function name() public view returns (string memory) {
		return _name;
	}

	/**
	 * @dev See {IERC777-symbol}.
	 */
	function symbol() public view returns (string memory) {
		return _symbol;
	}

	/**
	 * @dev See {ERC20Detailed-decimals}.
	 *
	 * Always returns 18, as per the
	 * [ERC777 EIP](https://eips.ethereum.org/EIPS/eip-777#backward-compatibility).
	 */
	function decimals() public pure returns (uint8) {
		return 18;
	}

	/**
	 * @dev See {IERC777-granularity}.
	 *
	 * This implementation always returns `1`.
	 */
	function granularity() public view returns (uint256) {
		return 1;
	}

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

	/**
	 * @dev Returns the amount of tokens owned by an account (`tokenHolder`).
	 */
	function balanceOf(address tokenHolder) public view returns (uint256) {
		return _balances[tokenHolder];
	}

	/**
	 * @dev See {IERC777-send}.
	 *
	 * Also emits a {Transfer} event for ERC20 compatibility.
	 */
	function send(address recipient, uint256 amount, bytes calldata data) external {
		_send(_msgSender(), _msgSender(), recipient, amount, data, "", true);
	}

	/**
	 * @dev See {IERC20-transfer}.
	 *
	 * Unlike `send`, `recipient` is _not_ required to implement the {IERC777Recipient}
	 * interface if it is a contract.
	 *
	 * Also emits a {Sent} event.
	 */
	function transfer(address recipient, uint256 amount) external returns (bool) {
		require(recipient != address(0), "ERC777: transfer to the zero address");

		address from = _msgSender();

		_callTokensToSend(from, from, recipient, amount, "", "");

		_move(from, from, recipient, amount, "", "");

		_callTokensReceived(from, from, recipient, amount, "", "", false);

		return true;
	}

	/**
	 * @dev See {IERC777-burn}.
	 *
	 * Also emits a {Transfer} event for ERC20 compatibility.
	 */
	function burn(uint256 amount, bytes calldata data) external {
		_burn(_msgSender(), _msgSender(), amount, data, "");
	}

	/**
	 * @dev See {IERC777-isOperatorFor}.
	 */
	function isOperatorFor(address operator, address tokenHolder) public view returns (bool) {
		return operator == tokenHolder ||
			(_defaultOperators[operator] && !_revokedDefaultOperators[tokenHolder][operator]) ||
			_operators[tokenHolder][operator];
	}

	/**
	 * @dev See {IERC777-authorizeOperator}.
	 */
	function authorizeOperator(address operator) external {
		require(_msgSender() != operator, "ERC777: authorizing self as operator");

		if (_defaultOperators[operator]) {
			delete _revokedDefaultOperators[_msgSender()][operator];
		} else {
			_operators[_msgSender()][operator] = true;
		}

		emit AuthorizedOperator(operator, _msgSender());
	}

	/**
	 * @dev See {IERC777-revokeOperator}.
	 */
	function revokeOperator(address operator) external {
		require(operator != _msgSender(), "ERC777: revoking self as operator");

		if (_defaultOperators[operator]) {
			_revokedDefaultOperators[_msgSender()][operator] = true;
		} else {
			delete _operators[_msgSender()][operator];
		}

		emit RevokedOperator(operator, _msgSender());
	}

	/**
	 * @dev See {IERC777-defaultOperators}.
	 */
	function defaultOperators() public view returns (address[] memory) {
		return _defaultOperatorsArray;
	}

	/**
	 * @dev See {IERC777-operatorSend}.
	 *
	 * Emits {Sent} and {Transfer} events.
	 */
	function operatorSend(address sender, address recipient, uint256 amount, bytes calldata data, bytes calldata operatorData) external {
		require(isOperatorFor(_msgSender(), sender), "ERC777: caller is not an operator for holder");
		_send(_msgSender(), sender, recipient, amount, data, operatorData, true);
	}

	/**
	 * @dev See {IERC777-operatorBurn}.
	 *
	 * Emits {Burned} and {Transfer} events.
	 */
	function operatorBurn(address account, uint256 amount, bytes calldata data, bytes calldata operatorData) external {
		require(isOperatorFor(_msgSender(), account), "ERC777: caller is not an operator for holder");
		_burn(_msgSender(), account, amount, data, operatorData);
	}

	/**
	 * @dev See {IERC20-allowance}.
	 *
	 * Note that operator and allowance concepts are orthogonal: operators may
	 * not have allowance, and accounts with allowance may not be operators
	 * themselves.
	 */
	function allowance(address holder, address spender) public view returns (uint256) {
		return _allowances[holder][spender];
	}

	/**
	 * @dev See {IERC20-approve}.
	 *
	 * Note that accounts cannot have allowance issued by their operators.
	 */
	function approve(address spender, uint256 value) external returns (bool) {
		address holder = _msgSender();
		_approve(holder, spender, value);
		return true;
	}

	/**
	 * @dev See {IERC20-transferFrom}.
	 *
	 * Note that operator and allowance concepts are orthogonal: operators cannot
	 * call `transferFrom` (unless they have allowance), and accounts with
	 * allowance cannot call `operatorSend` (unless they are operators).
	 *
	 * Emits {Sent}, {Transfer} and {Approval} events.
	 */
	function transferFrom(address holder, address recipient, uint256 amount) external returns (bool) {
		require(recipient != address(0), "ERC777: transfer to the zero address");
		require(holder != address(0), "ERC777: transfer from the zero address");

		address spender = _msgSender();

		// KEYDONIX: Block re-entrancy specifically for uniswap, which is vulnerable to ERC-777 tokens
		if (msg.sender == uniswapExchange) {
			require(!uniswapExchangeReentrancyGuard, "Attempted to execute a Uniswap exchange while in the middle of a Uniswap exchange");
			uniswapExchangeReentrancyGuard = true;
		}
		_callTokensToSend(spender, holder, recipient, amount, "", "");
		if (msg.sender == uniswapExchange) {
			uniswapExchangeReentrancyGuard = false;
		}

		_move(spender, holder, recipient, amount, "", "");
		_approve(holder, spender, _allowances[holder][spender].sub(amount, "ERC777: transfer amount exceeds allowance"));

		_callTokensReceived(spender, holder, recipient, amount, "", "", false);

		return true;
	}

	/**
	 * @dev Creates `amount` tokens and assigns them to `account`, increasing
	 * the total supply.
	 *
	 * If a send hook is registered for `account`, the corresponding function
	 * will be called with `operator`, `data` and `operatorData`.
	 *
	 * See {IERC777Sender} and {IERC777Recipient}.
	 *
	 * Emits {Minted} and {Transfer} events.
	 *
	 * Requirements
	 *
	 * - `account` cannot be the zero address.
	 * - if `account` is a contract, it must implement the {IERC777Recipient}
	 * interface.
	 */
	function _mint(address operator, address account, uint256 amount, bytes memory userData, bytes memory operatorData) internal {
		require(account != address(0), "ERC777: mint to the zero address");

		// Update state variables
		_totalSupply = _totalSupply.add(amount);
		_balances[account] = _balances[account].add(amount);

		_callTokensReceived(operator, address(0), account, amount, userData, operatorData, true);

		emit Minted(operator, account, amount, userData, operatorData);
		emit Transfer(address(0), account, amount);
	}

	// KEYDONIX: changed visibility from private to internal, we reference this function in derived contract
	/**
	 * @dev Send tokens
	 * @param operator address operator requesting the transfer
	 * @param from address token holder address
	 * @param to address recipient address
	 * @param amount uint256 amount of tokens to transfer
	 * @param userData bytes extra information provided by the token holder (if any)
	 * @param operatorData bytes extra information provided by the operator (if any)
	 * @param requireReceptionAck if true, contract recipients are required to implement ERC777TokensRecipient
	 */
	function _send(address operator, address from, address to, uint256 amount, bytes memory userData, bytes memory operatorData, bool requireReceptionAck) internal {
		require(from != address(0), "ERC777: send from the zero address");
		require(to != address(0), "ERC777: send to the zero address");

		_callTokensToSend(operator, from, to, amount, userData, operatorData);

		_move(operator, from, to, amount, userData, operatorData);

		_callTokensReceived(operator, from, to, amount, userData, operatorData, requireReceptionAck);
	}

	// KEYDONIX: changed visibility from private to internal, we reference this function in derived contract
	/**
	 * @dev Burn tokens
	 * @param operator address operator requesting the operation
	 * @param from address token holder address
	 * @param amount uint256 amount of tokens to burn
	 * @param data bytes extra information provided by the token holder
	 * @param operatorData bytes extra information provided by the operator (if any)
	 */

	function _burn(address operator, address from, uint256 amount, bytes memory data, bytes memory operatorData) internal {
		require(from != address(0), "ERC777: burn from the zero address");

		_callTokensToSend(operator, from, address(0), amount, data, operatorData);

		// Update state variables
		_balances[from] = _balances[from].sub(amount, "ERC777: burn amount exceeds balance");
		_totalSupply = _totalSupply.sub(amount);

		emit Burned(operator, from, amount, data, operatorData);
		emit Transfer(from, address(0), amount);
	}

	function _move(address operator, address from, address to, uint256 amount, bytes memory userData, bytes memory operatorData) private {
		_balances[from] = _balances[from].sub(amount, "ERC777: transfer amount exceeds balance");
		_balances[to] = _balances[to].add(amount);

		emit Sent(operator, from, to, amount, userData, operatorData);
		emit Transfer(from, to, amount);
	}

	function _approve(address holder, address spender, uint256 value) private {
		// TODO: restore this require statement if this function becomes internal, or is called at a new callsite. It is
		// currently unnecessary.
		//require(holder != address(0), "ERC777: approve from the zero address");
		require(spender != address(0), "ERC777: approve to the zero address");

		_allowances[holder][spender] = value;
		emit Approval(holder, spender, value);
	}

	/**
	 * @dev Call from.tokensToSend() if the interface is registered
	 * @param operator address operator requesting the transfer
	 * @param from address token holder address
	 * @param to address recipient address
	 * @param amount uint256 amount of tokens to transfer
	 * @param userData bytes extra information provided by the token holder (if any)
	 * @param operatorData bytes extra information provided by the operator (if any)
	 */
	function _callTokensToSend(address operator, address from, address to, uint256 amount, bytes memory userData, bytes memory operatorData) private {
		address implementer = _erc1820.getInterfaceImplementer(from, TOKENS_SENDER_INTERFACE_HASH);
		if (implementer != address(0)) {
			IERC777Sender(implementer).tokensToSend(operator, from, to, amount, userData, operatorData);
		}
	}

	/**
	 * @dev Call to.tokensReceived() if the interface is registered. Reverts if the recipient is a contract but
	 * tokensReceived() was not registered for the recipient
	 * @param operator address operator requesting the transfer
	 * @param from address token holder address
	 * @param to address recipient address
	 * @param amount uint256 amount of tokens to transfer
	 * @param userData bytes extra information provided by the token holder (if any)
	 * @param operatorData bytes extra information provided by the operator (if any)
	 * @param requireReceptionAck if true, contract recipients are required to implement ERC777TokensRecipient
	 */
	function _callTokensReceived(address operator, address from, address to, uint256 amount, bytes memory userData, bytes memory operatorData, bool requireReceptionAck) private {
		address implementer = _erc1820.getInterfaceImplementer(to, TOKENS_RECIPIENT_INTERFACE_HASH);
		if (implementer != address(0)) {
			IERC777Recipient(implementer).tokensReceived(operator, from, to, amount, userData, operatorData);
		} else if (requireReceptionAck) {
			require(!to.isContract(), "ERC777: token recipient contract has no implementer for ERC777TokensRecipient");
		}
	}
}

contract MakerFunctions {
	// KEYDONIX: Renamed from `rmul` for clarity
	// KEYDONIX: Changed ONE to 10**27 for clarity
	function safeMul27(uint x, uint y) internal pure returns (uint z) {
		z = safeMul(x, y) / 10 ** 27;
	}

	function rpow(uint x, uint n, uint base) internal pure returns (uint z) {
		assembly {
			switch x case 0 {switch n case 0 {z := base} default {z := 0}}
			default {
				switch mod(n, 2) case 0 { z := base } default { z := x }
				let half := div(base, 2)  // for rounding.
				for { n := div(n, 2) } n { n := div(n,2) } {
				let xx := mul(x, x)
				if iszero(eq(div(xx, x), x)) { revert(0,0) }
				let xxRound := add(xx, half)
				if lt(xxRound, xx) { revert(0,0) }
				x := div(xxRound, base)
				if mod(n,2) {
					let zx := mul(z, x)
					if and(iszero(iszero(x)), iszero(eq(div(zx, x), z))) { revert(0,0) }
					let zxRound := add(zx, half)
					if lt(zxRound, zx) { revert(0,0) }
					z := div(zxRound, base)
				}
			}
			}
		}
	}

	// KEYDONIX: Renamed from `mul` due to shadowing warning from Solidity
	function safeMul(uint x, uint y) internal pure returns (uint z) {
		require(y == 0 || (z = x * y) / y == x);
	}
}

contract ReverseRegistrar {
	function setName(string memory name) public returns (bytes32 node);
}

contract DaiHrd is ERC777, MakerFunctions {
	event Deposit(address indexed from, uint256 depositedAttodai, uint256 mintedAttodaiHrd);
	event Withdrawal(address indexed from, address indexed to, uint256 withdrawnAttodai, uint256 burnedAttodaiHrd);
	event DepositVatDai(address indexed account, uint256 depositedAttorontodai, uint256 mintedAttodaiHrd);
	event WithdrawalVatDai(address indexed from, address indexed to, uint256 withdrawnAttorontodai, uint256 burnedAttodaiHrd);

	// uses this super constructor syntax instead of the preferred alternative syntax because my editor doesn't like the class syntax
	constructor(ReverseRegistrar reverseRegistrar) ERC777("DAI-HRD", "DAI-HRD", new address[](0)) public {
		dai.approve(address(daiJoin), uint(-1));
		vat.hope(address(pot));
		vat.hope(address(daiJoin));
		if (reverseRegistrar != ReverseRegistrar(0)) {
			reverseRegistrar.setName("dai-hrd.eth");
		}
	}

	function deposit(uint256 attodai) external returns(uint256 attodaiHrd) {
		dai.transferFrom(msg.sender, address(this), attodai);
		daiJoin.join(address(this), dai.balanceOf(address(this)));
		uint256 depositedAttopot = depositVatDaiForAccount(msg.sender);
		emit Deposit(msg.sender, attodai, depositedAttopot);
		return depositedAttopot;
	}

	// If the user has vat dai directly (after performing vault actions, for instance), they don't need to create the DAI ERC20 just so we can burn it, we'll accept vat dai
	function depositVatDai(uint256 attorontovatDai) external returns(uint256 attodaiHrd) {
		vat.move(msg.sender, address(this), attorontovatDai);
		uint256 depositedAttopot = depositVatDaiForAccount(msg.sender);
		emit DepositVatDai(msg.sender, attorontovatDai, depositedAttopot);
		return depositedAttopot;
	}

	function withdrawTo(address recipient, uint256 attodaiHrd) external returns(uint256 attodai) {
		// Don't need rontodaiPerPot, so we don't call updateAndFetchChi
		if (pot.rho() != now) pot.drip();
		return withdraw(recipient, attodaiHrd);
	}

	function withdrawToDenominatedInDai(address recipient, uint256 attodai) external returns(uint256 attodaiHrd) {
		uint256 rontodaiPerPot = updateAndFetchChi();
		attodaiHrd = convertAttodaiToAttodaiHrd(attodai, rontodaiPerPot);
		uint256 attodaiWithdrawn = withdraw(recipient, attodaiHrd);
		require(attodaiWithdrawn >= attodai, "DaiHrd/withdrawToDenominatedInDai: Not withdrawing enough DAI to cover request");
		return attodaiHrd;
	}

	function withdrawVatDai(address recipient, uint256 attodaiHrd) external returns(uint256 attorontodai) {
		require(recipient != address(0) && recipient != address(this), "DaiHrd/withdrawVatDai: Invalid recipient");
		// Don't need rontodaiPerPot, so we don't call updateAndFetchChi
		if (pot.rho() != now) pot.drip();
		_burn(address(0), msg.sender, attodaiHrd, new bytes(0), new bytes(0));
		pot.exit(attodaiHrd);
		attorontodai = vat.dai(address(this));
		vat.move(address(this), recipient, attorontodai);
		emit WithdrawalVatDai(msg.sender, recipient, attorontodai, attodaiHrd);
		return attorontodai;
	}

	// Dai specific functions. These functions all behave similar to standard ERC777 functions with input or output denominated in Dai instead of DaiHrd
	function balanceOfDenominatedInDai(address tokenHolder) external view returns(uint256 attodai) {
		uint256 rontodaiPerPot = calculatedChi();
		uint256 attodaiHrd = balanceOf(tokenHolder);
		return convertAttodaiHrdToAttodai(attodaiHrd, rontodaiPerPot);
	}

	function totalSupplyDenominatedInDai() external view returns(uint256 attodai) {
		uint256 rontodaiPerPot = calculatedChi();
		return convertAttodaiHrdToAttodai(totalSupply(), rontodaiPerPot);
	}

	function sendDenominatedInDai(address recipient, uint256 attodai, bytes calldata data) external {
		uint256 rontodaiPerPot = calculatedChi();
		uint256 attodaiHrd = convertAttodaiToAttodaiHrd(attodai, rontodaiPerPot);
		_send(_msgSender(), _msgSender(), recipient, attodaiHrd, data, "", true);
	}

	function burnDenominatedInDai(uint256 attodai, bytes calldata data) external {
		uint256 rontodaiPerPot = calculatedChi();
		uint256 attodaiHrd = convertAttodaiToAttodaiHrd(attodai, rontodaiPerPot);
		_burn(_msgSender(), _msgSender(), attodaiHrd, data, "");
	}

	function operatorSendDenominatedInDai(address sender, address recipient, uint256 attodai, bytes calldata data, bytes calldata operatorData) external {
		require(isOperatorFor(_msgSender(), sender), "ERC777: caller is not an operator for holder");

		uint256 rontodaiPerPot = calculatedChi();
		uint256 attodaiHrd = convertAttodaiToAttodaiHrd(attodai, rontodaiPerPot);
		_send(_msgSender(), sender, recipient, attodaiHrd, data, operatorData, true);
	}

	function operatorBurnDenominatedInDai(address account, uint256 attodai, bytes calldata data, bytes calldata operatorData) external {
		require(isOperatorFor(_msgSender(), account), "ERC777: caller is not an operator for holder");

		uint256 rontodaiPerPot = calculatedChi();
		uint256 attodaiHrd = convertAttodaiToAttodaiHrd(attodai, rontodaiPerPot);
		_burn(_msgSender(), account, attodaiHrd, data, operatorData);
	}

	// Utility Functions
	function calculatedChi() public view returns (uint256 rontodaiPerPot) {
		// mirrors Maker's calculation: rmul(rpow(dsr, now - rho, ONE), chi);
		return safeMul27(rpow(pot.dsr(), now - pot.rho(), 10 ** 27), pot.chi());
	}

	function convertAttodaiToAttodaiHrd(uint256 attodai, uint256 rontodaiPerPot ) private pure returns (uint256 attodaiHrd) {
		// + 1 is to compensate rounding? since attodaiHrd is rounded down
		return attodai.mul(10 ** 27).add(rontodaiPerPot - 1).div(rontodaiPerPot);
	}

	function convertAttodaiHrdToAttodai(uint256 attodaiHrd, uint256 rontodaiPerPot ) private pure returns (uint256 attodai) {
		return attodaiHrd.mul(rontodaiPerPot).div(10 ** 27);
	}

	function updateAndFetchChi() private returns (uint256 rontodaiPerPot) {
		return (pot.rho() == now) ? pot.chi() : pot.drip();
	}

	// Takes whatever vat dai has already been transferred to DaiHrd, gives to pot (DSR) and mints tokens for user
	function depositVatDaiForAccount(address account) private returns (uint256 attopotDeposited) {
		uint256 rontodaiPerPot = updateAndFetchChi();
		uint256 attopotToDeposit = vat.dai(address(this)) / rontodaiPerPot;
		pot.join(attopotToDeposit);
		_mint(address(0), account, attopotToDeposit, new bytes(0), new bytes(0));
		return attopotToDeposit;
	}

	// Internal implementations of functions with multiple entrypoints. drip() should be called prior to this call
	function withdraw(address recipient, uint256 attodaiHrd) private returns(uint256 attodaiWithdrawn) {
		require(recipient != address(0) && recipient != address(this), "DaiHrd/withdraw: Invalid recipient");
		_burn(address(0), msg.sender, attodaiHrd, new bytes(0), new bytes(0));
		pot.exit(attodaiHrd);
		daiJoin.exit(address(this), vat.dai(address(this)) / 10**27);
		uint256 attodai = dai.balanceOf(address(this));
		dai.transfer(recipient, attodai);
		emit Withdrawal(msg.sender, recipient, attodai, attodaiHrd);
		return attodai;
	}
}

pragma solidity ^0.5.0;

/*
 * @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;
    }
}

pragma solidity ^0.5.0;

/**
 * @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);
}

pragma solidity ^0.5.0;

/**
 * @dev Interface of the ERC777Token standard as defined in the EIP.
 *
 * This contract uses the
 * https://eips.ethereum.org/EIPS/eip-1820[ERC1820 registry standard] to let
 * token holders and recipients react to token movements by using setting implementers
 * for the associated interfaces in said registry. See {IERC1820Registry} and
 * {ERC1820Implementer}.
 */
interface IERC777 {
    /**
     * @dev Returns the name of the token.
     */
    function name() external view returns (string memory);

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

    /**
     * @dev Returns the smallest part of the token that is not divisible. This
     * means all token operations (creation, movement and destruction) must have
     * amounts that are a multiple of this number.
     *
     * For most token contracts, this value will equal 1.
     */
    function granularity() external view returns (uint256);

    /**
     * @dev Returns the amount of tokens in existence.
     */
    function totalSupply() external view returns (uint256);

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

    /**
     * @dev Moves `amount` tokens from the caller's account to `recipient`.
     *
     * If send or receive hooks are registered for the caller and `recipient`,
     * the corresponding functions will be called with `data` and empty
     * `operatorData`. See {IERC777Sender} and {IERC777Recipient}.
     *
     * Emits a {Sent} event.
     *
     * Requirements
     *
     * - the caller must have at least `amount` tokens.
     * - `recipient` cannot be the zero address.
     * - if `recipient` is a contract, it must implement the {IERC777Recipient}
     * interface.
     */
    function send(address recipient, uint256 amount, bytes calldata data) external;

    /**
     * @dev Destroys `amount` tokens from the caller's account, reducing the
     * total supply.
     *
     * If a send hook is registered for the caller, the corresponding function
     * will be called with `data` and empty `operatorData`. See {IERC777Sender}.
     *
     * Emits a {Burned} event.
     *
     * Requirements
     *
     * - the caller must have at least `amount` tokens.
     */
    function burn(uint256 amount, bytes calldata data) external;

    /**
     * @dev Returns true if an account is an operator of `tokenHolder`.
     * Operators can send and burn tokens on behalf of their owners. All
     * accounts are their own operator.
     *
     * See {operatorSend} and {operatorBurn}.
     */
    function isOperatorFor(address operator, address tokenHolder) external view returns (bool);

    /**
     * @dev Make an account an operator of the caller.
     *
     * See {isOperatorFor}.
     *
     * Emits an {AuthorizedOperator} event.
     *
     * Requirements
     *
     * - `operator` cannot be calling address.
     */
    function authorizeOperator(address operator) external;

    /**
     * @dev Make an account an operator of the caller.
     *
     * See {isOperatorFor} and {defaultOperators}.
     *
     * Emits a {RevokedOperator} event.
     *
     * Requirements
     *
     * - `operator` cannot be calling address.
     */
    function revokeOperator(address operator) external;

    /**
     * @dev Returns the list of default operators. These accounts are operators
     * for all token holders, even if {authorizeOperator} was never called on
     * them.
     *
     * This list is immutable, but individual holders may revoke these via
     * {revokeOperator}, in which case {isOperatorFor} will return false.
     */
    function defaultOperators() external view returns (address[] memory);

    /**
     * @dev Moves `amount` tokens from `sender` to `recipient`. The caller must
     * be an operator of `sender`.
     *
     * If send or receive hooks are registered for `sender` and `recipient`,
     * the corresponding functions will be called with `data` and
     * `operatorData`. See {IERC777Sender} and {IERC777Recipient}.
     *
     * Emits a {Sent} event.
     *
     * Requirements
     *
     * - `sender` cannot be the zero address.
     * - `sender` must have at least `amount` tokens.
     * - the caller must be an operator for `sender`.
     * - `recipient` cannot be the zero address.
     * - if `recipient` is a contract, it must implement the {IERC777Recipient}
     * interface.
     */
    function operatorSend(
        address sender,
        address recipient,
        uint256 amount,
        bytes calldata data,
        bytes calldata operatorData
    ) external;

    /**
     * @dev Destoys `amount` tokens from `account`, reducing the total supply.
     * The caller must be an operator of `account`.
     *
     * If a send hook is registered for `account`, the corresponding function
     * will be called with `data` and `operatorData`. See {IERC777Sender}.
     *
     * Emits a {Burned} event.
     *
     * Requirements
     *
     * - `account` cannot be the zero address.
     * - `account` must have at least `amount` tokens.
     * - the caller must be an operator for `account`.
     */
    function operatorBurn(
        address account,
        uint256 amount,
        bytes calldata data,
        bytes calldata operatorData
    ) external;

    event Sent(
        address indexed operator,
        address indexed from,
        address indexed to,
        uint256 amount,
        bytes data,
        bytes operatorData
    );

    event Minted(address indexed operator, address indexed to, uint256 amount, bytes data, bytes operatorData);

    event Burned(address indexed operator, address indexed from, uint256 amount, bytes data, bytes operatorData);

    event AuthorizedOperator(address indexed operator, address indexed tokenHolder);

    event RevokedOperator(address indexed operator, address indexed tokenHolder);
}

pragma solidity ^0.5.0;

/**
 * @dev Interface of the ERC777TokensRecipient standard as defined in the EIP.
 *
 * Accounts can be notified of {IERC777} tokens being sent to them by having a
 * contract implement this interface (contract holders can be their own
 * implementer) and registering it on the
 * https://eips.ethereum.org/EIPS/eip-1820[ERC1820 global registry].
 *
 * See {IERC1820Registry} and {ERC1820Implementer}.
 */
interface IERC777Recipient {
    /**
     * @dev Called by an {IERC777} token contract whenever tokens are being
     * moved or created into a registered account (`to`). The type of operation
     * is conveyed by `from` being the zero address or not.
     *
     * This call occurs _after_ the token contract's state is updated, so
     * {IERC777-balanceOf}, etc., can be used to query the post-operation state.
     *
     * This function may revert to prevent the operation from being executed.
     */
    function tokensReceived(
        address operator,
        address from,
        address to,
        uint256 amount,
        bytes calldata userData,
        bytes calldata operatorData
    ) external;
}

pragma solidity ^0.5.0;

/**
 * @dev Interface of the ERC777TokensSender standard as defined in the EIP.
 *
 * {IERC777} Token holders can be notified of operations performed on their
 * tokens by having a contract implement this interface (contract holders can be
 *  their own implementer) and registering it on the
 * https://eips.ethereum.org/EIPS/eip-1820[ERC1820 global registry].
 *
 * See {IERC1820Registry} and {ERC1820Implementer}.
 */
interface IERC777Sender {
    /**
     * @dev Called by an {IERC777} token contract whenever a registered holder's
     * (`from`) tokens are about to be moved or destroyed. The type of operation
     * is conveyed by `to` being the zero address or not.
     *
     * This call occurs _before_ the token contract's state is updated, so
     * {IERC777-balanceOf}, etc., can be used to query the pre-operation state.
     *
     * This function may revert to prevent the operation from being executed.
     */
    function tokensToSend(
        address operator,
        address from,
        address to,
        uint256 amount,
        bytes calldata userData,
        bytes calldata operatorData
    ) external;
}

pragma solidity ^0.5.0;

/**
 * @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;
    }
}

pragma solidity ^0.5.5;

/**
 * @dev Collection of functions related to the address type
 */
library Address {
    /**
     * @dev Returns true if `account` is a contract.
     *
     * This test is non-exhaustive, and there may be false-negatives: during the
     * execution of a contract's constructor, its address will be reported as
     * not containing a contract.
     *
     * IMPORTANT: It is unsafe to assume that an address for which this
     * function returns false is an externally-owned account (EOA) and not a
     * contract.
     */
    function isContract(address account) internal view returns (bool) {
        // This method relies in extcodesize, which returns 0 for contracts in
        // construction, since the code is only stored at the end of the
        // constructor execution.

        // According to EIP-1052, 0x0 is the value returned for not-yet created accounts
        // and 0xc5d2460186f7233c927e7db2dcc703c0e500b653ca82273b7bfad8045d85a470 is returned
        // for accounts without code, i.e. `keccak256('')`
        bytes32 codehash;
        bytes32 accountHash = 0xc5d2460186f7233c927e7db2dcc703c0e500b653ca82273b7bfad8045d85a470;
        // solhint-disable-next-line no-inline-assembly
        assembly { codehash := extcodehash(account) }
        return (codehash != 0x0 && codehash != accountHash);
    }

    /**
     * @dev Converts an `address` into `address payable`. Note that this is
     * simply a type cast: the actual underlying value is not changed.
     *
     * _Available since v2.4.0._
     */
    function toPayable(address account) internal pure returns (address payable) {
        return address(uint160(account));
    }

    /**
     * @dev Replacement for Solidity's `transfer`: sends `amount` wei to
     * `recipient`, forwarding all available gas and reverting on errors.
     *
     * https://eips.ethereum.org/EIPS/eip-1884[EIP1884] increases the gas cost
     * of certain opcodes, possibly making contracts go over the 2300 gas limit
     * imposed by `transfer`, making them unable to receive funds via
     * `transfer`. {sendValue} removes this limitation.
     *
     * https://diligence.consensys.net/posts/2019/09/stop-using-soliditys-transfer-now/[Learn more].
     *
     * IMPORTANT: because control is transferred to `recipient`, care must be
     * taken to not create reentrancy vulnerabilities. Consider using
     * {ReentrancyGuard} or the
     * https://solidity.readthedocs.io/en/v0.5.11/security-considerations.html#use-the-checks-effects-interactions-pattern[checks-effects-interactions pattern].
     *
     * _Available since v2.4.0._
     */
    function sendValue(address payable recipient, uint256 amount) internal {
        require(address(this).balance >= amount, "Address: insufficient balance");

        // solhint-disable-next-line avoid-call-value
        (bool success, ) = recipient.call.value(amount)("");
        require(success, "Address: unable to send value, recipient may have reverted");
    }
}

pragma solidity ^0.5.0;

/**
 * @dev Interface of the global ERC1820 Registry, as defined in the
 * https://eips.ethereum.org/EIPS/eip-1820[EIP]. Accounts may register
 * implementers for interfaces in this registry, as well as query support.
 *
 * Implementers may be shared by multiple accounts, and can also implement more
 * than a single interface for each account. Contracts can implement interfaces
 * for themselves, but externally-owned accounts (EOA) must delegate this to a
 * contract.
 *
 * {IERC165} interfaces can also be queried via the registry.
 *
 * For an in-depth explanation and source code analysis, see the EIP text.
 */
interface IERC1820Registry {
    /**
     * @dev Sets `newManager` as the manager for `account`. A manager of an
     * account is able to set interface implementers for it.
     *
     * By default, each account is its own manager. Passing a value of `0x0` in
     * `newManager` will reset the manager to this initial state.
     *
     * Emits a {ManagerChanged} event.
     *
     * Requirements:
     *
     * - the caller must be the current manager for `account`.
     */
    function setManager(address account, address newManager) external;

    /**
     * @dev Returns the manager for `account`.
     *
     * See {setManager}.
     */
    function getManager(address account) external view returns (address);

    /**
     * @dev Sets the `implementer` contract as `account`'s implementer for
     * `interfaceHash`.
     *
     * `account` being the zero address is an alias for the caller's address.
     * The zero address can also be used in `implementer` to remove an old one.
     *
     * See {interfaceHash} to learn how these are created.
     *
     * Emits an {InterfaceImplementerSet} event.
     *
     * Requirements:
     *
     * - the caller must be the current manager for `account`.
     * - `interfaceHash` must not be an {IERC165} interface id (i.e. it must not
     * end in 28 zeroes).
     * - `implementer` must implement {IERC1820Implementer} and return true when
     * queried for support, unless `implementer` is the caller. See
     * {IERC1820Implementer-canImplementInterfaceForAddress}.
     */
    function setInterfaceImplementer(address account, bytes32 interfaceHash, address implementer) external;

    /**
     * @dev Returns the implementer of `interfaceHash` for `account`. If no such
     * implementer is registered, returns the zero address.
     *
     * If `interfaceHash` is an {IERC165} interface id (i.e. it ends with 28
     * zeroes), `account` will be queried for support of it.
     *
     * `account` being the zero address is an alias for the caller's address.
     */
    function getInterfaceImplementer(address account, bytes32 interfaceHash) external view returns (address);

    /**
     * @dev Returns the interface hash for an `interfaceName`, as defined in the
     * corresponding
     * https://eips.ethereum.org/EIPS/eip-1820#interface-name[section of the EIP].
     */
    function interfaceHash(string calldata interfaceName) external pure returns (bytes32);

    /**
     *  @notice Updates the cache with whether the contract implements an ERC165 interface or not.
     *  @param account Address of the contract for which to update the cache.
     *  @param interfaceId ERC165 interface for which to update the cache.
     */
    function updateERC165Cache(address account, bytes4 interfaceId) external;

    /**
     *  @notice Checks whether a contract implements an ERC165 interface or not.
     *  If the result is not cached a direct lookup on the contract address is performed.
     *  If the result is not cached or the cached value is out-of-date, the cache MUST be updated manually by calling
     *  {updateERC165Cache} with the contract address.
     *  @param account Address of the contract to check.
     *  @param interfaceId ERC165 interface to check.
     *  @return True if `account` implements `interfaceId`, false otherwise.
     */
    function implementsERC165Interface(address account, bytes4 interfaceId) external view returns (bool);

    /**
     *  @notice Checks whether a contract implements an ERC165 interface or not without using nor updating the cache.
     *  @param account Address of the contract to check.
     *  @param interfaceId ERC165 interface to check.
     *  @return True if `account` implements `interfaceId`, false otherwise.
     */
    function implementsERC165InterfaceNoCache(address account, bytes4 interfaceId) external view returns (bool);

    event InterfaceImplementerSet(address indexed account, bytes32 indexed interfaceHash, address indexed implementer);

    event ManagerChanged(address indexed account, address indexed newManager);
}

// Copyright (C) 2017, 2018, 2019 dbrock, rain, mrchico

// This program is free software: you can redistribute it and/or modify
// it under the terms of the GNU Affero General Public License as published by
// the Free Software Foundation, either version 3 of the License, or
// (at your option) any later version.
//
// This program is distributed in the hope that it will be useful,
// but WITHOUT ANY WARRANTY; without even the implied warranty of
// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
// GNU Affero General Public License for more details.
//
// You should have received a copy of the GNU Affero General Public License
// along with this program.  If not, see <https://www.gnu.org/licenses/>.

pragma solidity 0.5.12;

import "./lib.sol";

contract Dai is LibNote {
    // --- Auth ---
    mapping (address => uint) public wards;
    function rely(address guy) external note auth { wards[guy] = 1; }
    function deny(address guy) external note auth { wards[guy] = 0; }
    modifier auth {
        require(wards[msg.sender] == 1, "Dai/not-authorized");
        _;
    }

    // --- ERC20 Data ---
    string  public constant name     = "Dai Stablecoin";
    string  public constant symbol   = "DAI";
    string  public constant version  = "1";
    uint8   public constant decimals = 18;
    uint256 public totalSupply;

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

    event Approval(address indexed src, address indexed guy, uint wad);
    event Transfer(address indexed src, address indexed dst, uint wad);

    // --- Math ---
    function add(uint x, uint y) internal pure returns (uint z) {
        require((z = x + y) >= x);
    }
    function sub(uint x, uint y) internal pure returns (uint z) {
        require((z = x - y) <= x);
    }

    // --- EIP712 niceties ---
    bytes32 public DOMAIN_SEPARATOR;
    // bytes32 public constant PERMIT_TYPEHASH = keccak256("Permit(address holder,address spender,uint256 nonce,uint256 expiry,bool allowed)");
    bytes32 public constant PERMIT_TYPEHASH = 0xea2aa0a1be11a07ed86d755c93467f4f82362b452371d1ba94d1715123511acb;

    constructor(uint256 chainId_) public {
        wards[msg.sender] = 1;
        DOMAIN_SEPARATOR = keccak256(abi.encode(
            keccak256("EIP712Domain(string name,string version,uint256 chainId,address verifyingContract)"),
            keccak256(bytes(name)),
            keccak256(bytes(version)),
            chainId_,
            address(this)
        ));
    }

    // --- Token ---
    function transfer(address dst, uint wad) external returns (bool) {
        return transferFrom(msg.sender, dst, wad);
    }
    function transferFrom(address src, address dst, uint wad)
        public returns (bool)
    {
        require(balanceOf[src] >= wad, "Dai/insufficient-balance");
        if (src != msg.sender && allowance[src][msg.sender] != uint(-1)) {
            require(allowance[src][msg.sender] >= wad, "Dai/insufficient-allowance");
            allowance[src][msg.sender] = sub(allowance[src][msg.sender], wad);
        }
        balanceOf[src] = sub(balanceOf[src], wad);
        balanceOf[dst] = add(balanceOf[dst], wad);
        emit Transfer(src, dst, wad);
        return true;
    }
    function mint(address usr, uint wad) external auth {
        balanceOf[usr] = add(balanceOf[usr], wad);
        totalSupply    = add(totalSupply, wad);
        emit Transfer(address(0), usr, wad);
    }
    function burn(address usr, uint wad) external {
        require(balanceOf[usr] >= wad, "Dai/insufficient-balance");
        if (usr != msg.sender && allowance[usr][msg.sender] != uint(-1)) {
            require(allowance[usr][msg.sender] >= wad, "Dai/insufficient-allowance");
            allowance[usr][msg.sender] = sub(allowance[usr][msg.sender], wad);
        }
        balanceOf[usr] = sub(balanceOf[usr], wad);
        totalSupply    = sub(totalSupply, wad);
        emit Transfer(usr, address(0), wad);
    }
    function approve(address usr, uint wad) external returns (bool) {
        allowance[msg.sender][usr] = wad;
        emit Approval(msg.sender, usr, wad);
        return true;
    }

    // --- Alias ---
    function push(address usr, uint wad) external {
        transferFrom(msg.sender, usr, wad);
    }
    function pull(address usr, uint wad) external {
        transferFrom(usr, msg.sender, wad);
    }
    function move(address src, address dst, uint wad) external {
        transferFrom(src, dst, wad);
    }

    // --- Approve by signature ---
    function permit(address holder, address spender, uint256 nonce, uint256 expiry,
                    bool allowed, uint8 v, bytes32 r, bytes32 s) external
    {
        bytes32 digest =
            keccak256(abi.encodePacked(
                "\x19\x01",
                DOMAIN_SEPARATOR,
                keccak256(abi.encode(PERMIT_TYPEHASH,
                                     holder,
                                     spender,
                                     nonce,
                                     expiry,
                                     allowed))
        ));

        require(holder != address(0), "Dai/invalid-address-0");
        require(holder == ecrecover(digest, v, r, s), "Dai/invalid-permit");
        require(expiry == 0 || now <= expiry, "Dai/permit-expired");
        require(nonce == nonces[holder]++, "Dai/invalid-nonce");
        uint wad = allowed ? uint(-1) : 0;
        allowance[holder][spender] = wad;
        emit Approval(holder, spender, wad);
    }
}

// This program is free software: you can redistribute it and/or modify
// it under the terms of the GNU General Public License as published by
// the Free Software Foundation, either version 3 of the License, or
// (at your option) any later version.

// This program is distributed in the hope that it will be useful,
// but WITHOUT ANY WARRANTY; without even the implied warranty of
// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
// GNU General Public License for more details.

// You should have received a copy of the GNU General Public License
// along with this program.  If not, see <http://www.gnu.org/licenses/>.

pragma solidity 0.5.12;

contract LibNote {
    event LogNote(
        bytes4   indexed  sig,
        address  indexed  usr,
        bytes32  indexed  arg1,
        bytes32  indexed  arg2,
        bytes             data
    ) anonymous;

    modifier note {
        _;
        assembly {
            // log an 'anonymous' event with a constant 6 words of calldata
            // and four indexed topics: selector, caller, arg1 and arg2
            let mark := msize                         // end of memory ensures zero
            mstore(0x40, add(mark, 288))              // update free memory pointer
            mstore(mark, 0x20)                        // bytes type data offset
            mstore(add(mark, 0x20), 224)              // bytes size (padded)
            calldatacopy(add(mark, 0x40), 0, 224)     // bytes payload
            log4(mark, 288,                           // calldata
                 shl(224, shr(224, calldataload(0))), // msg.sig
                 caller,                              // msg.sender
                 calldataload(4),                     // arg1
                 calldataload(36)                     // arg2
                )
        }
    }
}

/// join.sol -- Basic token adapters

// Copyright (C) 2018 Rain <[email protected]>
//
// This program is free software: you can redistribute it and/or modify
// it under the terms of the GNU Affero General Public License as published by
// the Free Software Foundation, either version 3 of the License, or
// (at your option) any later version.
//
// This program is distributed in the hope that it will be useful,
// but WITHOUT ANY WARRANTY; without even the implied warranty of
// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
// GNU Affero General Public License for more details.
//
// You should have received a copy of the GNU Affero General Public License
// along with this program.  If not, see <https://www.gnu.org/licenses/>.

pragma solidity 0.5.12;

import "./lib.sol";

contract GemLike {
    function decimals() public view returns (uint);
    function transfer(address,uint) external returns (bool);
    function transferFrom(address,address,uint) external returns (bool);
}

contract DSTokenLike {
    function mint(address,uint) external;
    function burn(address,uint) external;
}

contract VatLike {
    function slip(bytes32,address,int) external;
    function move(address,address,uint) external;
}

/*
    Here we provide *adapters* to connect the Vat to arbitrary external
    token implementations, creating a bounded context for the Vat. The
    adapters here are provided as working examples:

      - `GemJoin`: For well behaved ERC20 tokens, with simple transfer
                   semantics.

      - `ETHJoin`: For native Ether.

      - `DaiJoin`: For connecting internal Dai balances to an external
                   `DSToken` implementation.

    In practice, adapter implementations will be varied and specific to
    individual collateral types, accounting for different transfer
    semantics and token standards.

    Adapters need to implement two basic methods:

      - `join`: enter collateral into the system
      - `exit`: remove collateral from the system

*/

contract GemJoin is LibNote {
    // --- Auth ---
    mapping (address => uint) public wards;
    function rely(address usr) external note auth { wards[usr] = 1; }
    function deny(address usr) external note auth { wards[usr] = 0; }
    modifier auth {
        require(wards[msg.sender] == 1, "GemJoin/not-authorized");
        _;
    }

    VatLike public vat;
    bytes32 public ilk;
    GemLike public gem;
    uint    public dec;
    uint    public live;  // Access Flag

    constructor(address vat_, bytes32 ilk_, address gem_) public {
        wards[msg.sender] = 1;
        live = 1;
        vat = VatLike(vat_);
        ilk = ilk_;
        gem = GemLike(gem_);
        dec = gem.decimals();
    }
    function cage() external note auth {
        live = 0;
    }
    function join(address usr, uint wad) external note {
        require(live == 1, "GemJoin/not-live");
        require(int(wad) >= 0, "GemJoin/overflow");
        vat.slip(ilk, usr, int(wad));
        require(gem.transferFrom(msg.sender, address(this), wad), "GemJoin/failed-transfer");
    }
    function exit(address usr, uint wad) external note {
        require(wad <= 2 ** 255, "GemJoin/overflow");
        vat.slip(ilk, msg.sender, -int(wad));
        require(gem.transfer(usr, wad), "GemJoin/failed-transfer");
    }
}

contract ETHJoin is LibNote {
    // --- Auth ---
    mapping (address => uint) public wards;
    function rely(address usr) external note auth { wards[usr] = 1; }
    function deny(address usr) external note auth { wards[usr] = 0; }
    modifier auth {
        require(wards[msg.sender] == 1, "ETHJoin/not-authorized");
        _;
    }

    VatLike public vat;
    bytes32 public ilk;
    uint    public live;  // Access Flag

    constructor(address vat_, bytes32 ilk_) public {
        wards[msg.sender] = 1;
        live = 1;
        vat = VatLike(vat_);
        ilk = ilk_;
    }
    function cage() external note auth {
        live = 0;
    }
    function join(address usr) external payable note {
        require(live == 1, "ETHJoin/not-live");
        require(int(msg.value) >= 0, "ETHJoin/overflow");
        vat.slip(ilk, usr, int(msg.value));
    }
    function exit(address payable usr, uint wad) external note {
        require(int(wad) >= 0, "ETHJoin/overflow");
        vat.slip(ilk, msg.sender, -int(wad));
        usr.transfer(wad);
    }
}

contract DaiJoin is LibNote {
    // --- Auth ---
    mapping (address => uint) public wards;
    function rely(address usr) external note auth { wards[usr] = 1; }
    function deny(address usr) external note auth { wards[usr] = 0; }
    modifier auth {
        require(wards[msg.sender] == 1, "DaiJoin/not-authorized");
        _;
    }

    VatLike public vat;
    DSTokenLike public dai;
    uint    public live;  // Access Flag

    constructor(address vat_, address dai_) public {
        wards[msg.sender] = 1;
        live = 1;
        vat = VatLike(vat_);
        dai = DSTokenLike(dai_);
    }
    function cage() external note auth {
        live = 0;
    }
    uint constant ONE = 10 ** 27;
    function mul(uint x, uint y) internal pure returns (uint z) {
        require(y == 0 || (z = x * y) / y == x);
    }
    function join(address usr, uint wad) external note {
        vat.move(address(this), usr, mul(ONE, wad));
        dai.burn(msg.sender, wad);
    }
    function exit(address usr, uint wad) external note {
        require(live == 1, "DaiJoin/not-live");
        vat.move(msg.sender, address(this), mul(ONE, wad));
        dai.mint(usr, wad);
    }
}

/// pot.sol -- Dai Savings Rate

// Copyright (C) 2018 Rain <[email protected]>
//
// This program is free software: you can redistribute it and/or modify
// it under the terms of the GNU Affero General Public License as published by
// the Free Software Foundation, either version 3 of the License, or
// (at your option) any later version.
//
// This program is distributed in the hope that it will be useful,
// but WITHOUT ANY WARRANTY; without even the implied warranty of
// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
// GNU Affero General Public License for more details.
//
// You should have received a copy of the GNU Affero General Public License
// along with this program.  If not, see <https://www.gnu.org/licenses/>.

pragma solidity 0.5.12;

import "./lib.sol";

/*
   "Savings Dai" is obtained when Dai is deposited into
   this contract. Each "Savings Dai" accrues Dai interest
   at the "Dai Savings Rate".

   This contract does not implement a user tradeable token
   and is intended to be used with adapters.

         --- `save` your `dai` in the `pot` ---

   - `dsr`: the Dai Savings Rate
   - `pie`: user balance of Savings Dai

   - `join`: start saving some dai
   - `exit`: remove some dai
   - `drip`: perform rate collection

*/

contract VatLike {
    function move(address,address,uint256) external;
    function suck(address,address,uint256) external;
}

contract Pot is LibNote {
    // --- Auth ---
    mapping (address => uint) public wards;
    function rely(address guy) external note auth { wards[guy] = 1; }
    function deny(address guy) external note auth { wards[guy] = 0; }
    modifier auth {
        require(wards[msg.sender] == 1, "Pot/not-authorized");
        _;
    }

    // --- Data ---
    mapping (address => uint256) public pie;  // user Savings Dai

    uint256 public Pie;  // total Savings Dai
    uint256 public dsr;  // the Dai Savings Rate
    uint256 public chi;  // the Rate Accumulator

    VatLike public vat;  // CDP engine
    address public vow;  // debt engine
    uint256 public rho;  // time of last drip

    uint256 public live;  // Access Flag

    // --- Init ---
    constructor(address vat_) public {
        wards[msg.sender] = 1;
        vat = VatLike(vat_);
        dsr = ONE;
        chi = ONE;
        rho = now;
        live = 1;
    }

    // --- Math ---
    uint256 constant ONE = 10 ** 27;
    function rpow(uint x, uint n, uint base) internal pure returns (uint z) {
        assembly {
            switch x case 0 {switch n case 0 {z := base} default {z := 0}}
            default {
                switch mod(n, 2) case 0 { z := base } default { z := x }
                let half := div(base, 2)  // for rounding.
                for { n := div(n, 2) } n { n := div(n,2) } {
                    let xx := mul(x, x)
                    if iszero(eq(div(xx, x), x)) { revert(0,0) }
                    let xxRound := add(xx, half)
                    if lt(xxRound, xx) { revert(0,0) }
                    x := div(xxRound, base)
                    if mod(n,2) {
                        let zx := mul(z, x)
                        if and(iszero(iszero(x)), iszero(eq(div(zx, x), z))) { revert(0,0) }
                        let zxRound := add(zx, half)
                        if lt(zxRound, zx) { revert(0,0) }
                        z := div(zxRound, base)
                    }
                }
            }
        }
    }

    function rmul(uint x, uint y) internal pure returns (uint z) {
        z = mul(x, y) / ONE;
    }

    function add(uint x, uint y) internal pure returns (uint z) {
        require((z = x + y) >= x);
    }

    function sub(uint x, uint y) internal pure returns (uint z) {
        require((z = x - y) <= x);
    }

    function mul(uint x, uint y) internal pure returns (uint z) {
        require(y == 0 || (z = x * y) / y == x);
    }

    // --- Administration ---
    function file(bytes32 what, uint256 data) external note auth {
        require(live == 1, "Pot/not-live");
        require(now == rho, "Pot/rho-not-updated");
        if (what == "dsr") dsr = data;
        else revert("Pot/file-unrecognized-param");
    }

    function file(bytes32 what, address addr) external note auth {
        if (what == "vow") vow = addr;
        else revert("Pot/file-unrecognized-param");
    }

    function cage() external note auth {
        live = 0;
        dsr = ONE;
    }

    // --- Savings Rate Accumulation ---
    function drip() external note returns (uint tmp) {
        require(now >= rho, "Pot/invalid-now");
        tmp = rmul(rpow(dsr, now - rho, ONE), chi);
        uint chi_ = sub(tmp, chi);
        chi = tmp;
        rho = now;
        vat.suck(address(vow), address(this), mul(Pie, chi_));
    }

    // --- Savings Dai Management ---
    function join(uint wad) external note {
        require(now == rho, "Pot/rho-not-updated");
        pie[msg.sender] = add(pie[msg.sender], wad);
        Pie             = add(Pie,             wad);
        vat.move(msg.sender, address(this), mul(chi, wad));
    }

    function exit(uint wad) external note {
        pie[msg.sender] = sub(pie[msg.sender], wad);
        Pie             = sub(Pie,             wad);
        vat.move(address(this), msg.sender, mul(chi, wad));
    }
}

/// vat.sol -- Dai CDP database

// Copyright (C) 2018 Rain <[email protected]>
//
// This program is free software: you can redistribute it and/or modify
// it under the terms of the GNU Affero General Public License as published by
// the Free Software Foundation, either version 3 of the License, or
// (at your option) any later version.
//
// This program is distributed in the hope that it will be useful,
// but WITHOUT ANY WARRANTY; without even the implied warranty of
// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
// GNU Affero General Public License for more details.
//
// You should have received a copy of the GNU Affero General Public License
// along with this program.  If not, see <https://www.gnu.org/licenses/>.

pragma solidity 0.5.12;

contract Vat {
    // --- Auth ---
    mapping (address => uint) public wards;
    function rely(address usr) external note auth { require(live == 1, "Vat/not-live"); wards[usr] = 1; }
    function deny(address usr) external note auth { require(live == 1, "Vat/not-live"); wards[usr] = 0; }
    modifier auth {
        require(wards[msg.sender] == 1, "Vat/not-authorized");
        _;
    }

    mapping(address => mapping (address => uint)) public can;
    function hope(address usr) external note { can[msg.sender][usr] = 1; }
    function nope(address usr) external note { can[msg.sender][usr] = 0; }
    function wish(address bit, address usr) internal view returns (bool) {
        return either(bit == usr, can[bit][usr] == 1);
    }

    // --- Data ---
    struct Ilk {
        uint256 Art;   // Total Normalised Debt     [wad]
        uint256 rate;  // Accumulated Rates         [ray]
        uint256 spot;  // Price with Safety Margin  [ray]
        uint256 line;  // Debt Ceiling              [rad]
        uint256 dust;  // Urn Debt Floor            [rad]
    }
    struct Urn {
        uint256 ink;   // Locked Collateral  [wad]
        uint256 art;   // Normalised Debt    [wad]
    }

    mapping (bytes32 => Ilk)                       public ilks;
    mapping (bytes32 => mapping (address => Urn )) public urns;
    mapping (bytes32 => mapping (address => uint)) public gem;  // [wad]
    mapping (address => uint256)                   public dai;  // [rad]
    mapping (address => uint256)                   public sin;  // [rad]

    uint256 public debt;  // Total Dai Issued    [rad]
    uint256 public vice;  // Total Unbacked Dai  [rad]
    uint256 public Line;  // Total Debt Ceiling  [rad]
    uint256 public live;  // Access Flag

    // --- Logs ---
    event LogNote(
        bytes4   indexed  sig,
        bytes32  indexed  arg1,
        bytes32  indexed  arg2,
        bytes32  indexed  arg3,
        bytes             data
    ) anonymous;

    modifier note {
        _;
        assembly {
            // log an 'anonymous' event with a constant 6 words of calldata
            // and four indexed topics: the selector and the first three args
            let mark := msize                         // end of memory ensures zero
            mstore(0x40, add(mark, 288))              // update free memory pointer
            mstore(mark, 0x20)                        // bytes type data offset
            mstore(add(mark, 0x20), 224)              // bytes size (padded)
            calldatacopy(add(mark, 0x40), 0, 224)     // bytes payload
            log4(mark, 288,                           // calldata
                 shl(224, shr(224, calldataload(0))), // msg.sig
                 calldataload(4),                     // arg1
                 calldataload(36),                    // arg2
                 calldataload(68)                     // arg3
                )
        }
    }

    // --- Init ---
    constructor() public {
        wards[msg.sender] = 1;
        live = 1;
    }

    // --- Math ---
    function add(uint x, int y) internal pure returns (uint z) {
        z = x + uint(y);
        require(y >= 0 || z <= x);
        require(y <= 0 || z >= x);
    }
    function sub(uint x, int y) internal pure returns (uint z) {
        z = x - uint(y);
        require(y <= 0 || z <= x);
        require(y >= 0 || z >= x);
    }
    function mul(uint x, int y) internal pure returns (int z) {
        z = int(x) * y;
        require(int(x) >= 0);
        require(y == 0 || z / y == int(x));
    }
    function add(uint x, uint y) internal pure returns (uint z) {
        require((z = x + y) >= x);
    }
    function sub(uint x, uint y) internal pure returns (uint z) {
        require((z = x - y) <= x);
    }
    function mul(uint x, uint y) internal pure returns (uint z) {
        require(y == 0 || (z = x * y) / y == x);
    }

    // --- Administration ---
    function init(bytes32 ilk) external note auth {
        require(ilks[ilk].rate == 0, "Vat/ilk-already-init");
        ilks[ilk].rate = 10 ** 27;
    }
    function file(bytes32 what, uint data) external note auth {
        require(live == 1, "Vat/not-live");
        if (what == "Line") Line = data;
        else revert("Vat/file-unrecognized-param");
    }
    function file(bytes32 ilk, bytes32 what, uint data) external note auth {
        require(live == 1, "Vat/not-live");
        if (what == "spot") ilks[ilk].spot = data;
        else if (what == "line") ilks[ilk].line = data;
        else if (what == "dust") ilks[ilk].dust = data;
        else revert("Vat/file-unrecognized-param");
    }
    function cage() external note auth {
        live = 0;
    }

    // --- Fungibility ---
    function slip(bytes32 ilk, address usr, int256 wad) external note auth {
        gem[ilk][usr] = add(gem[ilk][usr], wad);
    }
    function flux(bytes32 ilk, address src, address dst, uint256 wad) external note {
        require(wish(src, msg.sender), "Vat/not-allowed");
        gem[ilk][src] = sub(gem[ilk][src], wad);
        gem[ilk][dst] = add(gem[ilk][dst], wad);
    }
    function move(address src, address dst, uint256 rad) external note {
        require(wish(src, msg.sender), "Vat/not-allowed");
        dai[src] = sub(dai[src], rad);
        dai[dst] = add(dai[dst], rad);
    }

    function either(bool x, bool y) internal pure returns (bool z) {
        assembly{ z := or(x, y)}
    }
    function both(bool x, bool y) internal pure returns (bool z) {
        assembly{ z := and(x, y)}
    }

    // --- CDP Manipulation ---
    function frob(bytes32 i, address u, address v, address w, int dink, int dart) external note {
        // system is live
        require(live == 1, "Vat/not-live");

        Urn memory urn = urns[i][u];
        Ilk memory ilk = ilks[i];
        // ilk has been initialised
        require(ilk.rate != 0, "Vat/ilk-not-init");

        urn.ink = add(urn.ink, dink);
        urn.art = add(urn.art, dart);
        ilk.Art = add(ilk.Art, dart);

        int dtab = mul(ilk.rate, dart);
        uint tab = mul(ilk.rate, urn.art);
        debt     = add(debt, dtab);

        // either debt has decreased, or debt ceilings are not exceeded
        require(either(dart <= 0, both(mul(ilk.Art, ilk.rate) <= ilk.line, debt <= Line)), "Vat/ceiling-exceeded");
        // urn is either less risky than before, or it is safe
        require(either(both(dart <= 0, dink >= 0), tab <= mul(urn.ink, ilk.spot)), "Vat/not-safe");

        // urn is either more safe, or the owner consents
        require(either(both(dart <= 0, dink >= 0), wish(u, msg.sender)), "Vat/not-allowed-u");
        // collateral src consents
        require(either(dink <= 0, wish(v, msg.sender)), "Vat/not-allowed-v");
        // debt dst consents
        require(either(dart >= 0, wish(w, msg.sender)), "Vat/not-allowed-w");

        // urn has no debt, or a non-dusty amount
        require(either(urn.art == 0, tab >= ilk.dust), "Vat/dust");

        gem[i][v] = sub(gem[i][v], dink);
        dai[w]    = add(dai[w],    dtab);

        urns[i][u] = urn;
        ilks[i]    = ilk;
    }
    // --- CDP Fungibility ---
    function fork(bytes32 ilk, address src, address dst, int dink, int dart) external note {
        Urn storage u = urns[ilk][src];
        Urn storage v = urns[ilk][dst];
        Ilk storage i = ilks[ilk];

        u.ink = sub(u.ink, dink);
        u.art = sub(u.art, dart);
        v.ink = add(v.ink, dink);
        v.art = add(v.art, dart);

        uint utab = mul(u.art, i.rate);
        uint vtab = mul(v.art, i.rate);

        // both sides consent
        require(both(wish(src, msg.sender), wish(dst, msg.sender)), "Vat/not-allowed");

        // both sides safe
        require(utab <= mul(u.ink, i.spot), "Vat/not-safe-src");
        require(vtab <= mul(v.ink, i.spot), "Vat/not-safe-dst");

        // both sides non-dusty
        require(either(utab >= i.dust, u.art == 0), "Vat/dust-src");
        require(either(vtab >= i.dust, v.art == 0), "Vat/dust-dst");
    }
    // --- CDP Confiscation ---
    function grab(bytes32 i, address u, address v, address w, int dink, int dart) external note auth {
        Urn storage urn = urns[i][u];
        Ilk storage ilk = ilks[i];

        urn.ink = add(urn.ink, dink);
        urn.art = add(urn.art, dart);
        ilk.Art = add(ilk.Art, dart);

        int dtab = mul(ilk.rate, dart);

        gem[i][v] = sub(gem[i][v], dink);
        sin[w]    = sub(sin[w],    dtab);
        vice      = sub(vice,      dtab);
    }

    // --- Settlement ---
    function heal(uint rad) external note {
        address u = msg.sender;
        sin[u] = sub(sin[u], rad);
        dai[u] = sub(dai[u], rad);
        vice   = sub(vice,   rad);
        debt   = sub(debt,   rad);
    }
    function suck(address u, address v, uint rad) external note auth {
        sin[u] = add(sin[u], rad);
        dai[v] = add(dai[v], rad);
        vice   = add(vice,   rad);
        debt   = add(debt,   rad);
    }

    // --- Rates ---
    function fold(bytes32 i, address u, int rate) external note auth {
        require(live == 1, "Vat/not-live");
        Ilk storage ilk = ilks[i];
        ilk.rate = add(ilk.rate, rate);
        int rad  = mul(ilk.Art, rate);
        dai[u]   = add(dai[u], rad);
        debt     = add(debt,   rad);
    }
}

// THIS FILE IS AUTOGENERATED DURING MIGRATION, DO NOT EDIT BY HAND
pragma solidity 0.5.12;

import { Dai } from "./dai.sol";
import { DaiJoin } from "./join.sol";
import { Pot } from "./pot.sol";
import { Vat } from "./vat.sol";

contract RuntimeConstants {
	Dai constant public dai = Dai(0x6B175474E89094C44Da98b954EedeAC495271d0F);
	Vat constant public vat = Vat(0x35D1b3F3D7966A1DFe207aa4514C12a259A0492B);
	Pot constant public pot = Pot(0x197E90f9FAD81970bA7976f33CbD77088E5D7cf7);
	DaiJoin constant public daiJoin = DaiJoin(0x9759A6Ac90977b93B58547b4A71c78317f391A28);
	address constant public uniswapExchange = 0x918Af0FB5517aC5b8B34240203408CeDBBa09Bd9;
}

{
  "optimizer": {
    "enabled": true,
    "runs": 200
  },
  "outputSelection": {
    "*": {
      "*": [
        "evm.bytecode",
        "evm.deployedBytecode",
        "abi"
      ]
    }
  }
}

• No Contract Security Audit Submitted- Submit Audit Here

[{"inputs":[{"internalType":"contract ReverseRegistrar","name":"reverseRegistrar","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":"tokenHolder","type":"address"}],"name":"AuthorizedOperator","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":"amount","type":"uint256"},{"indexed":false,"internalType":"bytes","name":"data","type":"bytes"},{"indexed":false,"internalType":"bytes","name":"operatorData","type":"bytes"}],"name":"Burned","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"from","type":"address"},{"indexed":false,"internalType":"uint256","name":"depositedAttodai","type":"uint256"},{"indexed":false,"internalType":"uint256","name":"mintedAttodaiHrd","type":"uint256"}],"name":"Deposit","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"account","type":"address"},{"indexed":false,"internalType":"uint256","name":"depositedAttorontodai","type":"uint256"},{"indexed":false,"internalType":"uint256","name":"mintedAttodaiHrd","type":"uint256"}],"name":"DepositVatDai","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"operator","type":"address"},{"indexed":true,"internalType":"address","name":"to","type":"address"},{"indexed":false,"internalType":"uint256","name":"amount","type":"uint256"},{"indexed":false,"internalType":"bytes","name":"data","type":"bytes"},{"indexed":false,"internalType":"bytes","name":"operatorData","type":"bytes"}],"name":"Minted","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"operator","type":"address"},{"indexed":true,"internalType":"address","name":"tokenHolder","type":"address"}],"name":"RevokedOperator","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"operator","type":"address"},{"indexed":true,"internalType":"address","name":"from","type":"address"},{"indexed":true,"internalType":"address","name":"to","type":"address"},{"indexed":false,"internalType":"uint256","name":"amount","type":"uint256"},{"indexed":false,"internalType":"bytes","name":"data","type":"bytes"},{"indexed":false,"internalType":"bytes","name":"operatorData","type":"bytes"}],"name":"Sent","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"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"from","type":"address"},{"indexed":true,"internalType":"address","name":"to","type":"address"},{"indexed":false,"internalType":"uint256","name":"withdrawnAttodai","type":"uint256"},{"indexed":false,"internalType":"uint256","name":"burnedAttodaiHrd","type":"uint256"}],"name":"Withdrawal","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":"withdrawnAttorontodai","type":"uint256"},{"indexed":false,"internalType":"uint256","name":"burnedAttodaiHrd","type":"uint256"}],"name":"WithdrawalVatDai","type":"event"},{"constant":true,"inputs":[{"internalType":"address","name":"holder","type":"address"},{"internalType":"address","name":"spender","type":"address"}],"name":"allowance","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"internalType":"address","name":"spender","type":"address"},{"internalType":"uint256","name":"value","type":"uint256"}],"name":"approve","outputs":[{"internalType":"bool","name":"","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"internalType":"address","name":"operator","type":"address"}],"name":"authorizeOperator","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[{"internalType":"address","name":"tokenHolder","type":"address"}],"name":"balanceOf","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[{"internalType":"address","name":"tokenHolder","type":"address"}],"name":"balanceOfDenominatedInDai","outputs":[{"internalType":"uint256","name":"attodai","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"internalType":"uint256","name":"amount","type":"uint256"},{"internalType":"bytes","name":"data","type":"bytes"}],"name":"burn","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"internalType":"uint256","name":"attodai","type":"uint256"},{"internalType":"bytes","name":"data","type":"bytes"}],"name":"burnDenominatedInDai","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[],"name":"calculatedChi","outputs":[{"internalType":"uint256","name":"rontodaiPerPot","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"dai","outputs":[{"internalType":"contract Dai","name":"","type":"address"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"daiJoin","outputs":[{"internalType":"contract DaiJoin","name":"","type":"address"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"decimals","outputs":[{"internalType":"uint8","name":"","type":"uint8"}],"payable":false,"stateMutability":"pure","type":"function"},{"constant":true,"inputs":[],"name":"defaultOperators","outputs":[{"internalType":"address[]","name":"","type":"address[]"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"internalType":"uint256","name":"attodai","type":"uint256"}],"name":"deposit","outputs":[{"internalType":"uint256","name":"attodaiHrd","type":"uint256"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"internalType":"uint256","name":"attorontovatDai","type":"uint256"}],"name":"depositVatDai","outputs":[{"internalType":"uint256","name":"attodaiHrd","type":"uint256"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[],"name":"granularity","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[{"internalType":"address","name":"operator","type":"address"},{"internalType":"address","name":"tokenHolder","type":"address"}],"name":"isOperatorFor","outputs":[{"internalType":"bool","name":"","type":"bool"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"name","outputs":[{"internalType":"string","name":"","type":"string"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"internalType":"address","name":"account","type":"address"},{"internalType":"uint256","name":"amount","type":"uint256"},{"internalType":"bytes","name":"data","type":"bytes"},{"internalType":"bytes","name":"operatorData","type":"bytes"}],"name":"operatorBurn","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"internalType":"address","name":"account","type":"address"},{"internalType":"uint256","name":"attodai","type":"uint256"},{"internalType":"bytes","name":"data","type":"bytes"},{"internalType":"bytes","name":"operatorData","type":"bytes"}],"name":"operatorBurnDenominatedInDai","outputs":[],"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"},{"internalType":"bytes","name":"data","type":"bytes"},{"internalType":"bytes","name":"operatorData","type":"bytes"}],"name":"operatorSend","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"internalType":"address","name":"sender","type":"address"},{"internalType":"address","name":"recipient","type":"address"},{"internalType":"uint256","name":"attodai","type":"uint256"},{"internalType":"bytes","name":"data","type":"bytes"},{"internalType":"bytes","name":"operatorData","type":"bytes"}],"name":"operatorSendDenominatedInDai","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[],"name":"pot","outputs":[{"internalType":"contract Pot","name":"","type":"address"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"internalType":"address","name":"operator","type":"address"}],"name":"revokeOperator","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"internalType":"address","name":"recipient","type":"address"},{"internalType":"uint256","name":"amount","type":"uint256"},{"internalType":"bytes","name":"data","type":"bytes"}],"name":"send","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"internalType":"address","name":"recipient","type":"address"},{"internalType":"uint256","name":"attodai","type":"uint256"},{"internalType":"bytes","name":"data","type":"bytes"}],"name":"sendDenominatedInDai","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":true,"inputs":[],"name":"totalSupplyDenominatedInDai","outputs":[{"internalType":"uint256","name":"attodai","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":"holder","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"},{"constant":true,"inputs":[],"name":"uniswapExchange","outputs":[{"internalType":"address","name":"","type":"address"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"vat","outputs":[{"internalType":"contract Vat","name":"","type":"address"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"internalType":"address","name":"recipient","type":"address"},{"internalType":"uint256","name":"attodaiHrd","type":"uint256"}],"name":"withdrawTo","outputs":[{"internalType":"uint256","name":"attodai","type":"uint256"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"internalType":"address","name":"recipient","type":"address"},{"internalType":"uint256","name":"attodai","type":"uint256"}],"name":"withdrawToDenominatedInDai","outputs":[{"internalType":"uint256","name":"attodaiHrd","type":"uint256"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"internalType":"address","name":"recipient","type":"address"},{"internalType":"uint256","name":"attodaiHrd","type":"uint256"}],"name":"withdrawVatDai","outputs":[{"internalType":"uint256","name":"attorontodai","type":"uint256"}],"payable":false,"stateMutability":"nonpayable","type":"function"}]

60806040526009805460ff191690553480156200001b57600080fd5b506040516200428e3803806200428e833981810160405260208110156200004157600080fd5b505160408051808201825260078082527f4441492d4852440000000000000000000000000000000000000000000000000060208084018281528551808701875293845283820192909252845160008152908101909452825192939192620000ab916002916200057d565b508151620000c19060039060208501906200057d565b508051620000d790600490602084019062000602565b5060005b600454811015620001375760016005600060048481548110620000fa57fe5b6000918252602080832091909101546001600160a01b031683528201929092526040019020805460ff1916911515919091179055600101620000db565b50604080517f455243373737546f6b656e0000000000000000000000000000000000000000008152815190819003600b0181207f29965a1d0000000000000000000000000000000000000000000000000000000082523060048301819052602483019190915260448201529051731820a4b7618bde71dce8cdc73aab6c95905fad24916329965a1d91606480830192600092919082900301818387803b158015620001e157600080fd5b505af1158015620001f6573d6000803e3d6000fd5b5050604080517f4552433230546f6b656e000000000000000000000000000000000000000000008152815190819003600a0181207f29965a1d0000000000000000000000000000000000000000000000000000000082523060048301819052602483019190915260448201529051731820a4b7618bde71dce8cdc73aab6c95905fad2493506329965a1d9250606480830192600092919082900301818387803b158015620002a357600080fd5b505af1158015620002b8573d6000803e3d6000fd5b5050604080517f095ea7b3000000000000000000000000000000000000000000000000000000008152739759a6ac90977b93b58547b4a71c78317f391a28600482015260001960248201529051736b175474e89094c44da98b954eedeac495271d0f965063095ea7b395506044808301955060209450909250908290030181600087803b1580156200034957600080fd5b505af11580156200035e573d6000803e3d6000fd5b505050506040513d60208110156200037557600080fd5b5050604080517fa3b22fc400000000000000000000000000000000000000000000000000000000815273197e90f9fad81970ba7976f33cbd77088e5d7cf7600482015290517335d1b3f3d7966a1dfe207aa4514c12a259a0492b9163a3b22fc491602480830192600092919082900301818387803b158015620003f757600080fd5b505af11580156200040c573d6000803e3d6000fd5b5050604080517fa3b22fc4000000000000000000000000000000000000000000000000000000008152739759a6ac90977b93b58547b4a71c78317f391a28600482015290517335d1b3f3d7966a1dfe207aa4514c12a259a0492b935063a3b22fc49250602480830192600092919082900301818387803b1580156200049057600080fd5b505af1158015620004a5573d6000803e3d6000fd5b505050506001600160a01b038116156200057657604080517fc47f0027000000000000000000000000000000000000000000000000000000008152602060048201819052600b60248301527f6461692d6872642e657468000000000000000000000000000000000000000000604483015291516001600160a01b0384169263c47f002792606480820193918290030181600087803b1580156200054757600080fd5b505af11580156200055c573d6000803e3d6000fd5b505050506040513d60208110156200057357600080fd5b50505b50620006af565b828054600181600116156101000203166002900490600052602060002090601f016020900481019282601f10620005c057805160ff1916838001178555620005f0565b82800160010185558215620005f0579182015b82811115620005f0578251825591602001919060010190620005d3565b50620005fe92915062000668565b5090565b8280548282559060005260206000209081019282156200065a579160200282015b828111156200065a57825182546001600160a01b0319166001600160a01b0390911617825560209092019160019091019062000623565b50620005fe92915062000688565b6200068591905b80821115620005fe57600081556001016200066f565b90565b6200068591905b80821115620005fe5780546001600160a01b03191681556001016200068f565b613bcf80620006bf6000396000f3fe608060405234801561001057600080fd5b50600436106102115760003560e01c806395d89b4111610125578063d8fc7893116100ad578063f45887bc1161007c578063f45887bc146108db578063f4b9fa75146109b9578063fad8b32a146109c1578063fc673c4f146109e7578063fe9d930314610aba57610211565b8063d8fc7893146107a4578063d95b637114610877578063dd62ed3e146108a5578063ed290f0d146108d357610211565b8063a9059cbb116100f4578063a9059cbb1461065b578063b6b55f2514610687578063bafc9fc9146106a4578063c11645bc14610719578063d33a1a221461072157610211565b806395d89b411461059c57806398351308146105a45780639bd9bbc6146105ac5780639d866d101461062f57610211565b806336569e77116101a857806362ad1b831161017757806362ad1b831461044b57806362b856b51461052b57806370a082311461053357806371302cf214610559578063959b8c3f1461057657610211565b806336569e77146103f15780634ba2363a146104155780634ddb2c351461041d578063556f0dc71461044357610211565b80631dcb89e3116101e45780631dcb89e314610345578063205c28781461037157806323b872dd1461039d578063313ce567146103d357610211565b806306e485381461021657806306fdde031461026e578063095ea7b3146102eb57806318160ddd1461032b575b600080fd5b61021e610b2f565b60408051602080825283518183015283519192839290830191858101910280838360005b8381101561025a578181015183820152602001610242565b505050509050019250505060405180910390f35b610276610b91565b6040805160208082528351818301528351919283929083019185019080838360005b838110156102b0578181015183820152602001610298565b50505050905090810190601f1680156102dd5780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b6103176004803603604081101561030157600080fd5b506001600160a01b038135169060200135610c1b565b604080519115158252519081900360200190f35b610333610c3f565b60408051918252519081900360200190f35b6103336004803603604081101561035b57600080fd5b506001600160a01b038135169060200135610c45565b6103336004803603604081101561038757600080fd5b506001600160a01b038135169060200135610f7d565b610317600480360360608110156103b357600080fd5b506001600160a01b0381358116916020810135909116906040013561107f565b6103db611295565b6040805160ff9092168252519081900360200190f35b6103f961129a565b604080516001600160a01b039092168252519081900360200190f35b6103f96112b2565b6103336004803603602081101561043357600080fd5b50356001600160a01b03166112c4565b6103336112f0565b610529600480360360a081101561046157600080fd5b6001600160a01b03823581169260208101359091169160408201359190810190608081016060820135600160201b81111561049b57600080fd5b8201836020820111156104ad57600080fd5b803590602001918460018302840111600160201b831117156104ce57600080fd5b919390929091602081019035600160201b8111156104eb57600080fd5b8201836020820111156104fd57600080fd5b803590602001918460018302840111600160201b8311171561051e57600080fd5b5090925090506112f5565b005b6103f96113cb565b6103336004803603602081101561054957600080fd5b50356001600160a01b03166113e3565b6103336004803603602081101561056f57600080fd5b50356113fe565b6105296004803603602081101561058c57600080fd5b50356001600160a01b03166114c9565b610276611615565b610333611676565b610529600480360360608110156105c257600080fd5b6001600160a01b0382351691602081013591810190606081016040820135600160201b8111156105f157600080fd5b82018360208201111561060357600080fd5b803590602001918460018302840111600160201b8311171561062457600080fd5b50909250905061169a565b6103336004803603604081101561064557600080fd5b506001600160a01b038135169060200135611702565b6103176004803603604081101561067157600080fd5b506001600160a01b038135169060200135611770565b6103336004803603602081101561069d57600080fd5b5035611849565b610529600480360360408110156106ba57600080fd5b81359190810190604081016020820135600160201b8111156106db57600080fd5b8201836020820111156106ed57600080fd5b803590602001918460018302840111600160201b8311171561070e57600080fd5b509092509050611a2c565b6103f9611aab565b6105296004803603606081101561073757600080fd5b6001600160a01b0382351691602081013591810190606081016040820135600160201b81111561076657600080fd5b82018360208201111561077857600080fd5b803590602001918460018302840111600160201b8311171561079957600080fd5b509092509050611ac3565b610529600480360360808110156107ba57600080fd5b6001600160a01b0382351691602081013591810190606081016040820135600160201b8111156107e957600080fd5b8201836020820111156107fb57600080fd5b803590602001918460018302840111600160201b8311171561081c57600080fd5b919390929091602081019035600160201b81111561083957600080fd5b82018360208201111561084b57600080fd5b803590602001918460018302840111600160201b8311171561086c57600080fd5b509092509050611b47565b6103176004803603604081101561088d57600080fd5b506001600160a01b0381358116916020013516611c34565b610333600480360360408110156108bb57600080fd5b506001600160a01b0381358116916020013516611cd5565b610333611d00565b610529600480360360a08110156108f157600080fd5b6001600160a01b03823581169260208101359091169160408201359190810190608081016060820135600160201b81111561092b57600080fd5b82018360208201111561093d57600080fd5b803590602001918460018302840111600160201b8311171561095e57600080fd5b919390929091602081019035600160201b81111561097b57600080fd5b82018360208201111561098d57600080fd5b803590602001918460018302840111600160201b831117156109ae57600080fd5b509092509050611e7d565b6103f9611f69565b610529600480360360208110156109d757600080fd5b50356001600160a01b0316611f81565b610529600480360360808110156109fd57600080fd5b6001600160a01b0382351691602081013591810190606081016040820135600160201b811115610a2c57600080fd5b820183602082011115610a3e57600080fd5b803590602001918460018302840111600160201b83111715610a5f57600080fd5b919390929091602081019035600160201b811115610a7c57600080fd5b820183602082011115610a8e57600080fd5b803590602001918460018302840111600160201b83111715610aaf57600080fd5b5090925090506120cd565b61052960048036036040811015610ad057600080fd5b81359190810190604081016020820135600160201b811115610af157600080fd5b820183602082011115610b0357600080fd5b803590602001918460018302840111600160201b83111715610b2457600080fd5b509092509050612190565b60606004805480602002602001604051908101604052809291908181526020018280548015610b8757602002820191906000526020600020905b81546001600160a01b03168152600190910190602001808311610b69575b5050505050905090565b60028054604080516020601f6000196101006001871615020190941685900493840181900481028201810190925282815260609390929091830182828015610b875780601f10610bef57610100808354040283529160200191610b87565b820191906000526020600020905b815481529060010190602001808311610bfd57509395945050505050565b600080610c266121f3565b9050610c338185856121f7565b60019150505b92915050565b60015490565b60006001600160a01b03831615801590610c6857506001600160a01b0383163014155b610ca35760405162461bcd60e51b81526004018080602001828103825260288152602001806138d86028913960400191505060405180910390fd5b42600080516020613aba8339815191526001600160a01b03166320aba08b6040518163ffffffff1660e01b815260040160206040518083038186803b158015610ceb57600080fd5b505afa158015610cff573d6000803e3d6000fd5b505050506040513d6020811015610d1557600080fd5b505114610d9257600080516020613aba8339815191526001600160a01b0316639f678cca6040518163ffffffff1660e01b8152600401602060405180830381600087803b158015610d6557600080fd5b505af1158015610d79573d6000803e3d6000fd5b505050506040513d6020811015610d8f57600080fd5b50505b60408051600080825260208201909252610dc2919033908590835b5060408051600081526020810190915261229e565b600080516020613aba8339815191526001600160a01b0316637f8661a1836040518263ffffffff1660e01b815260040180828152602001915050600060405180830381600087803b158015610e1657600080fd5b505af1158015610e2a573d6000803e3d6000fd5b505060408051633612d9a360e11b815230600482015290517335d1b3f3d7966a1dfe207aa4514c12a259a0492b9350636c25b34692506024808301926020929190829003018186803b158015610e7f57600080fd5b505afa158015610e93573d6000803e3d6000fd5b505050506040513d6020811015610ea957600080fd5b50516040805163bb35783b60e01b81523060048201526001600160a01b03861660248201526044810183905290519192507335d1b3f3d7966a1dfe207aa4514c12a259a0492b9163bb35783b9160648082019260009290919082900301818387803b158015610f1757600080fd5b505af1158015610f2b573d6000803e3d6000fd5b5050604080518481526020810186905281516001600160a01b03881694503393507f847de51a378836029ca18c6b5c710c428ba534f16807ddc0b9efa05f577a5fac929181900390910190a392915050565b600042600080516020613aba8339815191526001600160a01b03166320aba08b6040518163ffffffff1660e01b815260040160206040518083038186803b158015610fc757600080fd5b505afa158015610fdb573d6000803e3d6000fd5b505050506040513d6020811015610ff157600080fd5b50511461106e57600080516020613aba8339815191526001600160a01b0316639f678cca6040518163ffffffff1660e01b8152600401602060405180830381600087803b15801561104157600080fd5b505af1158015611055573d6000803e3d6000fd5b505050506040513d602081101561106b57600080fd5b50505b61107883836124cb565b9392505050565b60006001600160a01b0383166110c65760405162461bcd60e51b8152600401808060200182810382526024815260200180613a456024913960400191505060405180910390fd5b6001600160a01b03841661110b5760405162461bcd60e51b8152600401808060200182810382526026815260200180613b2f6026913960400191505060405180910390fd5b60006111156121f3565b90503373918af0fb5517ac5b8b34240203408cedbba09bd914156111835760095460ff16156111755760405162461bcd60e51b8152600401808060200182810382526051815260200180613a696051913960600191505060405180910390fd5b6009805460ff191660011790555b6111af818686866040518060200160405280600081525060405180602001604052806000815250612830565b3373918af0fb5517ac5b8b34240203408cedbba09bd914156111d6576009805460ff191690555b611202818686866040518060200160405280600081525060405180602001604052806000815250612a77565b61125c858261125786604051806060016040528060298152602001613b06602991396001600160a01b03808c166000908152600860209081526040808320938b1683529290522054919063ffffffff612c9016565b6121f7565b61128a8186868660405180602001604052806000815250604051806020016040528060008152506000612d27565b506001949350505050565b601290565b7335d1b3f3d7966a1dfe207aa4514c12a259a0492b81565b600080516020613aba83398151915281565b6000806112cf611d00565b905060006112dc846113e3565b90506112e88183612fbd565b949350505050565b600190565b6113066113006121f3565b88611c34565b6113415760405162461bcd60e51b815260040180806020018281038252602c815260200180613ada602c913960400191505060405180910390fd5b6113c261134c6121f3565b88888888888080601f01602080910402602001604051908101604052809392919081815260200183838082843760009201919091525050604080516020601f8c018190048102820181019092528a815292508a915089908190840183828082843760009201919091525060019250612feb915050565b50505050505050565b73918af0fb5517ac5b8b34240203408cedbba09bd981565b6001600160a01b031660009081526020819052604090205490565b6040805163bb35783b60e01b81523360048201523060248201526044810183905290516000917335d1b3f3d7966a1dfe207aa4514c12a259a0492b9163bb35783b91606480820192869290919082900301818387803b15801561146057600080fd5b505af1158015611474573d6000803e3d6000fd5b505050506000611483336130b6565b6040805185815260208101839052815192935033927fd4369ef5848fe0e2ca4c2e8529e6c3c616dcf12b4f260f546f25e39301e3b862929181900390910190a292915050565b806001600160a01b03166114db6121f3565b6001600160a01b031614156115215760405162461bcd60e51b81526004018080602001828103825260248152602001806139226024913960400191505060405180910390fd5b6001600160a01b03811660009081526005602052604090205460ff1615611584576007600061154e6121f3565b6001600160a01b03908116825260208083019390935260409182016000908120918516815292529020805460ff191690556115cb565b6001600660006115926121f3565b6001600160a01b03908116825260208083019390935260409182016000908120918616815292529020805460ff19169115159190911790555b6115d36121f3565b6001600160a01b0316816001600160a01b03167ff4caeb2d6ca8932a215a353d0703c326ec2d81fc68170f320eb2ab49e9df61f960405160405180910390a350565b60038054604080516020601f6002600019610100600188161502019095169490940493840181900481028201810190925282815260609390929091830182828015610b875780601f10610bef57610100808354040283529160200191610b87565b600080611681611d00565b905061169461168e610c3f565b82612fbd565b91505090565b6116fc6116a56121f3565b6116ad6121f3565b868686868080601f01602080910402602001604051908101604052809392919081815260200183838082843760009201829052506040805160208101909152908152925060019150612feb9050565b50505050565b60008061170d6131e2565b9050611719838261334f565b9150600061172785846124cb565b9050838110156117685760405162461bcd60e51b815260040180806020018281038252604e815260200180613989604e913960600191505060405180910390fd5b505092915050565b60006001600160a01b0383166117b75760405162461bcd60e51b8152600401808060200182810382526024815260200180613a456024913960400191505060405180910390fd5b60006117c16121f3565b90506117ef818286866040518060200160405280600081525060405180602001604052806000815250612830565b61181b818286866040518060200160405280600081525060405180602001604052806000815250612a77565b610c338182868660405180602001604052806000815250604051806020016040528060008152506000612d27565b604080516323b872dd60e01b8152336004820152306024820152604481018390529051600091736b175474e89094c44da98b954eedeac495271d0f916323b872dd9160648082019260209290919082900301818787803b1580156118ac57600080fd5b505af11580156118c0573d6000803e3d6000fd5b505050506040513d60208110156118d657600080fd5b5050604080516370a0823160e01b815230600482018190529151739759a6ac90977b93b58547b4a71c78317f391a2892633b4da69f929091736b175474e89094c44da98b954eedeac495271d0f916370a08231916024808301926020929190829003018186803b15801561194957600080fd5b505afa15801561195d573d6000803e3d6000fd5b505050506040513d602081101561197357600080fd5b5051604080516001600160e01b031960e086901b1681526001600160a01b039093166004840152602483019190915251604480830192600092919082900301818387803b1580156119c357600080fd5b505af11580156119d7573d6000803e3d6000fd5b5050505060006119e6336130b6565b6040805185815260208101839052815192935033927f90890809c654f11d6e72a28fa60149770a0d11ec6c92319d6ceb2bb0a4ea1a15929181900390910190a292915050565b6000611a36611d00565b90506000611a44858361334f565b9050611aa4611a516121f3565b611a596121f3565b8387878080601f01602080910402602001604051908101604052809392919081815260200183838082843760009201829052506040805160208101909152908152925061229e915050565b5050505050565b739759a6ac90977b93b58547b4a71c78317f391a2881565b6000611acd611d00565b90506000611adb858361334f565b9050611b3f611ae86121f3565b611af06121f3565b888488888080601f01602080910402602001604051908101604052809392919081815260200183838082843760009201829052506040805160208101909152908152925060019150612feb9050565b505050505050565b611b58611b526121f3565b87611c34565b611b935760405162461bcd60e51b815260040180806020018281038252602c815260200180613ada602c913960400191505060405180910390fd5b6000611b9d611d00565b90506000611bab878361334f565b9050611c2a611bb86121f3565b898389898080601f01602080910402602001604051908101604052809392919081815260200183838082843760009201919091525050604080516020601f8d018190048102820181019092528b815292508b91508a908190840183828082843760009201919091525061229e92505050565b5050505050505050565b6000816001600160a01b0316836001600160a01b03161480611c9f57506001600160a01b03831660009081526005602052604090205460ff168015611c9f57506001600160a01b0380831660009081526007602090815260408083209387168352929052205460ff16155b806110785750506001600160a01b0390811660009081526006602090815260408083209490931682529290925290205460ff1690565b6001600160a01b03918216600090815260086020908152604080832093909416825291909152205490565b6000611e78611e00600080516020613aba8339815191526001600160a01b031663487bf0826040518163ffffffff1660e01b815260040160206040518083038186803b158015611d4f57600080fd5b505afa158015611d63573d6000803e3d6000fd5b505050506040513d6020811015611d7957600080fd5b5051604080516320aba08b60e01b81529051600080516020613aba833981519152916320aba08b916004808301926020929190829003018186803b158015611dc057600080fd5b505afa158015611dd4573d6000803e3d6000fd5b505050506040513d6020811015611dea57600080fd5b505142036b033b2e3c9fd0803ce8000000613385565b600080516020613aba8339815191526001600160a01b031663c92aecc46040518163ffffffff1660e01b815260040160206040518083038186803b158015611e4757600080fd5b505afa158015611e5b573d6000803e3d6000fd5b505050506040513d6020811015611e7157600080fd5b5051613444565b905090565b611e886113006121f3565b611ec35760405162461bcd60e51b815260040180806020018281038252602c815260200180613ada602c913960400191505060405180910390fd5b6000611ecd611d00565b90506000611edb878361334f565b9050611f5e611ee86121f3565b8a8a848a8a8080601f01602080910402602001604051908101604052809392919081815260200183838082843760009201919091525050604080516020601f8e018190048102820181019092528c815292508c91508b908190840183828082843760009201919091525060019250612feb915050565b505050505050505050565b736b175474e89094c44da98b954eedeac495271d0f81565b611f896121f3565b6001600160a01b0316816001600160a01b03161415611fd95760405162461bcd60e51b81526004018080602001828103825260218152602001806139686021913960400191505060405180910390fd5b6001600160a01b03811660009081526005602052604090205460ff1615612045576001600760006120086121f3565b6001600160a01b03908116825260208083019390935260409182016000908120918616815292529020805460ff1916911515919091179055612083565b600660006120516121f3565b6001600160a01b03908116825260208083019390935260409182016000908120918516815292529020805460ff191690555b61208b6121f3565b6001600160a01b0316816001600160a01b03167f50546e66e5f44d728365dc3908c63bc5cfeeab470722c1677e3073a6ac294aa160405160405180910390a350565b6120d8611b526121f3565b6121135760405162461bcd60e51b815260040180806020018281038252602c815260200180613ada602c913960400191505060405180910390fd5b611b3f61211e6121f3565b878787878080601f01602080910402602001604051908101604052809392919081815260200183838082843760009201919091525050604080516020601f8b01819004810282018101909252898152925089915088908190840183828082843760009201919091525061229e92505050565b6121ee61219b6121f3565b6121a36121f3565b8585858080601f01602080910402602001604051908101604052809392919081815260200183838082843760009201829052506040805160208101909152908152925061229e915050565b505050565b3390565b6001600160a01b03821661223c5760405162461bcd60e51b8152600401808060200182810382526023815260200180613b786023913960400191505060405180910390fd5b6001600160a01b03808416600081815260086020908152604080832094871680845294825291829020859055815185815291517f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b9259281900390910190a3505050565b6001600160a01b0384166122e35760405162461bcd60e51b81526004018080602001828103825260228152602001806139006022913960400191505060405180910390fd5b6122f285856000868686612830565b61233583604051806060016040528060238152602001613b55602391396001600160a01b038716600090815260208190526040902054919063ffffffff612c9016565b6001600160a01b038516600090815260208190526040902055600154612361908463ffffffff61346c16565b600181905550836001600160a01b0316856001600160a01b03167fa78a9be3a7b862d26933ad85fb11d80ef66b8f972d7cbba06621d583943a4098858585604051808481526020018060200180602001838103835285818151815260200191508051906020019080838360005b838110156123e65781810151838201526020016123ce565b50505050905090810190601f1680156124135780820380516001836020036101000a031916815260200191505b50838103825284518152845160209182019186019080838360005b8381101561244657818101518382015260200161242e565b50505050905090810190601f1680156124735780820380516001836020036101000a031916815260200191505b509550505050505060405180910390a36040805184815290516000916001600160a01b038716917fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef9181900360200190a35050505050565b60006001600160a01b038316158015906124ee57506001600160a01b0383163014155b6125295760405162461bcd60e51b81526004018080602001828103825260228152602001806139466022913960400191505060405180910390fd5b6040805160008082526020820190925261254891903390859083610dad565b600080516020613aba8339815191526001600160a01b0316637f8661a1836040518263ffffffff1660e01b815260040180828152602001915050600060405180830381600087803b15801561259c57600080fd5b505af11580156125b0573d6000803e3d6000fd5b505060408051633612d9a360e11b815230600482018190529151739759a6ac90977b93b58547b4a71c78317f391a28945063ef693bed93506b033b2e3c9fd0803ce8000000917335d1b3f3d7966a1dfe207aa4514c12a259a0492b91636c25b34691602480820192602092909190829003018186803b15801561263257600080fd5b505afa158015612646573d6000803e3d6000fd5b505050506040513d602081101561265c57600080fd5b50518161266557fe5b046040518363ffffffff1660e01b815260040180836001600160a01b03166001600160a01b0316815260200182815260200192505050600060405180830381600087803b1580156126b557600080fd5b505af11580156126c9573d6000803e3d6000fd5b5050604080516370a0823160e01b8152306004820152905160009350736b175474e89094c44da98b954eedeac495271d0f92506370a0823191602480820192602092909190829003018186803b15801561272257600080fd5b505afa158015612736573d6000803e3d6000fd5b505050506040513d602081101561274c57600080fd5b50516040805163a9059cbb60e01b81526001600160a01b0387166004820152602481018390529051919250736b175474e89094c44da98b954eedeac495271d0f9163a9059cbb916044808201926020929091908290030181600087803b1580156127b557600080fd5b505af11580156127c9573d6000803e3d6000fd5b505050506040513d60208110156127df57600080fd5b5050604080518281526020810185905281516001600160a01b0387169233927fc2b4a290c20fb28939d29f102514fbffd2b73c059ffba8b78250c94161d5fcc6929081900390910190a39392505050565b6040805163555ddc6560e11b81526001600160a01b03871660048201527f29ddb589b1fb5fc7cf394961c1adf5f8c6454761adf795e67fe149f658abe89560248201529051600091731820a4b7618bde71dce8cdc73aab6c95905fad249163aabbb8ca91604480820192602092909190829003018186803b1580156128b457600080fd5b505afa1580156128c8573d6000803e3d6000fd5b505050506040513d60208110156128de57600080fd5b505190506001600160a01b038116156113c257806001600160a01b03166375ab97828888888888886040518763ffffffff1660e01b815260040180876001600160a01b03166001600160a01b03168152602001866001600160a01b03166001600160a01b03168152602001856001600160a01b03166001600160a01b031681526020018481526020018060200180602001838103835285818151815260200191508051906020019080838360005b838110156129a457818101518382015260200161298c565b50505050905090810190601f1680156129d15780820380516001836020036101000a031916815260200191505b50838103825284518152845160209182019186019080838360005b83811015612a045781810151838201526020016129ec565b50505050905090810190601f168015612a315780820380516001836020036101000a031916815260200191505b5098505050505050505050600060405180830381600087803b158015612a5657600080fd5b505af1158015612a6a573d6000803e3d6000fd5b5050505050505050505050565b612aba836040518060600160405280602781526020016138b1602791396001600160a01b038816600090815260208190526040902054919063ffffffff612c9016565b6001600160a01b038087166000908152602081905260408082209390935590861681522054612aef908463ffffffff6134ae16565b600080866001600160a01b03166001600160a01b0316815260200190815260200160002081905550836001600160a01b0316856001600160a01b0316876001600160a01b03167f06b541ddaa720db2b10a4d0cdac39b8d360425fc073085fac19bc82614677987868686604051808481526020018060200180602001838103835285818151815260200191508051906020019080838360005b83811015612ba0578181015183820152602001612b88565b50505050905090810190601f168015612bcd5780820380516001836020036101000a031916815260200191505b50838103825284518152845160209182019186019080838360005b83811015612c00578181015183820152602001612be8565b50505050905090810190601f168015612c2d5780820380516001836020036101000a031916815260200191505b509550505050505060405180910390a4836001600160a01b0316856001600160a01b03167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef856040518082815260200191505060405180910390a3505050505050565b60008184841115612d1f5760405162461bcd60e51b81526004018080602001828103825283818151815260200191508051906020019080838360005b83811015612ce4578181015183820152602001612ccc565b50505050905090810190601f168015612d115780820380516001836020036101000a031916815260200191505b509250505060405180910390fd5b505050900390565b6040805163555ddc6560e11b81526001600160a01b03871660048201527fb281fc8c12954d22544db45de3159a39272895b169a852b314f9cc762e44c53b60248201529051600091731820a4b7618bde71dce8cdc73aab6c95905fad249163aabbb8ca91604480820192602092909190829003018186803b158015612dab57600080fd5b505afa158015612dbf573d6000803e3d6000fd5b505050506040513d6020811015612dd557600080fd5b505190506001600160a01b03811615612f6957806001600160a01b03166223de298989898989896040518763ffffffff1660e01b815260040180876001600160a01b03166001600160a01b03168152602001866001600160a01b03166001600160a01b03168152602001856001600160a01b03166001600160a01b031681526020018481526020018060200180602001838103835285818151815260200191508051906020019080838360005b83811015612e9a578181015183820152602001612e82565b50505050905090810190601f168015612ec75780820380516001836020036101000a031916815260200191505b50838103825284518152845160209182019186019080838360005b83811015612efa578181015183820152602001612ee2565b50505050905090810190601f168015612f275780820380516001836020036101000a031916815260200191505b5098505050505050505050600060405180830381600087803b158015612f4c57600080fd5b505af1158015612f60573d6000803e3d6000fd5b50505050611c2a565b8115611c2a57612f81866001600160a01b0316613508565b15611c2a5760405162461bcd60e51b815260040180806020018281038252604d8152602001806139f8604d913960600191505060405180910390fd5b60006110786b033b2e3c9fd0803ce8000000612fdf858563ffffffff61353f16565b9063ffffffff61359816565b6001600160a01b0386166130305760405162461bcd60e51b815260040180806020018281038252602281526020018061388f6022913960400191505060405180910390fd5b6001600160a01b03851661308b576040805162461bcd60e51b815260206004820181905260248201527f4552433737373a2073656e6420746f20746865207a65726f2061646472657373604482015290519081900360640190fd5b613099878787878787612830565b6130a7878787878787612a77565b6113c287878787878787612d27565b6000806130c16131e2565b60408051633612d9a360e11b8152306004820152905191925060009183917335d1b3f3d7966a1dfe207aa4514c12a259a0492b91636c25b34691602480820192602092909190829003018186803b15801561311b57600080fd5b505afa15801561312f573d6000803e3d6000fd5b505050506040513d602081101561314557600080fd5b50518161314e57fe5b049050600080516020613aba8339815191526001600160a01b031663049878f3826040518263ffffffff1660e01b815260040180828152602001915050600060405180830381600087803b1580156131a557600080fd5b505af11580156131b9573d6000803e3d6000fd5b5050604080516000808252602082018181528284019093526110789450925087918591906135da565b600042600080516020613aba8339815191526001600160a01b03166320aba08b6040518163ffffffff1660e01b815260040160206040518083038186803b15801561322c57600080fd5b505afa158015613240573d6000803e3d6000fd5b505050506040513d602081101561325657600080fd5b5051146132d757600080516020613aba8339815191526001600160a01b0316639f678cca6040518163ffffffff1660e01b8152600401602060405180830381600087803b1580156132a657600080fd5b505af11580156132ba573d6000803e3d6000fd5b505050506040513d60208110156132d057600080fd5b5051611e78565b600080516020613aba8339815191526001600160a01b031663c92aecc46040518163ffffffff1660e01b815260040160206040518083038186803b15801561331e57600080fd5b505afa158015613332573d6000803e3d6000fd5b505050506040513d602081101561334857600080fd5b5051905090565b600061107882612fdf6000198201613379876b033b2e3c9fd0803ce800000063ffffffff61353f16565b9063ffffffff6134ae16565b6000838015613426576001841680156133a0578592506133a4565b8392505b50600283046002850494505b84156134205785860286878204146133c757600080fd5b818101818110156133d757600080fd5b858104975060028706156134135787850285898204141589151516156133fc57600080fd5b8381018181101561340c57600080fd5b8790049550505b50506002850494506133b0565b5061343c565b838015613436576000925061343a565b8392505b505b509392505050565b60006b033b2e3c9fd0803ce800000061345d8484613805565b8161346457fe5b049392505050565b600061107883836040518060400160405280601e81526020017f536166654d6174683a207375627472616374696f6e206f766572666c6f770000815250612c90565b600082820183811015611078576040805162461bcd60e51b815260206004820152601b60248201527f536166654d6174683a206164646974696f6e206f766572666c6f770000000000604482015290519081900360640190fd5b6000813f7fc5d2460186f7233c927e7db2dcc703c0e500b653ca82273b7bfad8045d85a47081158015906112e85750141592915050565b60008261354e57506000610c39565b8282028284828161355b57fe5b04146110785760405162461bcd60e51b81526004018080602001828103825260218152602001806139d76021913960400191505060405180910390fd5b600061107883836040518060400160405280601a81526020017f536166654d6174683a206469766973696f6e206279207a65726f000000000000815250613829565b6001600160a01b038416613635576040805162461bcd60e51b815260206004820181905260248201527f4552433737373a206d696e7420746f20746865207a65726f2061646472657373604482015290519081900360640190fd5b600154613648908463ffffffff6134ae16565b6001556001600160a01b038416600090815260208190526040902054613674908463ffffffff6134ae16565b6001600160a01b0385166000908152602081905260408120919091556136a1908690868686866001612d27565b836001600160a01b0316856001600160a01b03167f2fe5be0146f74c5bce36c0b80911af6c7d86ff27e89d5cfa61fc681327954e5d858585604051808481526020018060200180602001838103835285818151815260200191508051906020019080838360005b83811015613720578181015183820152602001613708565b50505050905090810190601f16801561374d5780820380516001836020036101000a031916815260200191505b50838103825284518152845160209182019186019080838360005b83811015613780578181015183820152602001613768565b50505050905090810190601f1680156137ad5780820380516001836020036101000a031916815260200191505b509550505050505060405180910390a36040805184815290516001600160a01b038616916000917fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef9181900360200190a35050505050565b60008115806138205750508082028282828161381d57fe5b04145b610c3957600080fd5b600081836138785760405162461bcd60e51b8152602060048201818152835160248401528351909283926044909101919085019080838360008315612ce4578181015183820152602001612ccc565b50600083858161388457fe5b049594505050505056fe4552433737373a2073656e642066726f6d20746865207a65726f20616464726573734552433737373a207472616e7366657220616d6f756e7420657863656564732062616c616e63654461694872642f77697468647261775661744461693a20496e76616c696420726563697069656e744552433737373a206275726e2066726f6d20746865207a65726f20616464726573734552433737373a20617574686f72697a696e672073656c66206173206f70657261746f724461694872642f77697468647261773a20496e76616c696420726563697069656e744552433737373a207265766f6b696e672073656c66206173206f70657261746f724461694872642f7769746864726177546f44656e6f6d696e61746564496e4461693a204e6f74207769746864726177696e6720656e6f7567682044414920746f20636f7665722072657175657374536166654d6174683a206d756c7469706c69636174696f6e206f766572666c6f774552433737373a20746f6b656e20726563697069656e7420636f6e747261637420686173206e6f20696d706c656d656e74657220666f7220455243373737546f6b656e73526563697069656e744552433737373a207472616e7366657220746f20746865207a65726f2061646472657373417474656d7074656420746f2065786563757465206120556e69737761702065786368616e6765207768696c6520696e20746865206d6964646c65206f66206120556e69737761702065786368616e6765000000000000000000000000197e90f9fad81970ba7976f33cbd77088e5d7cf74552433737373a2063616c6c6572206973206e6f7420616e206f70657261746f7220666f7220686f6c6465724552433737373a207472616e7366657220616d6f756e74206578636565647320616c6c6f77616e63654552433737373a207472616e736665722066726f6d20746865207a65726f20616464726573734552433737373a206275726e20616d6f756e7420657863656564732062616c616e63654552433737373a20617070726f766520746f20746865207a65726f2061646472657373a265627a7a723158203dc93d980096f1d30451c109554cbcfca5f992eefdb74fa9e592faa67a0b668364736f6c634300050c00320000000000000000000000009062c0a6dbd6108336bcbe4593a3d1ce05512069

0x608060405234801561001057600080fd5b50600436106102115760003560e01c806395d89b4111610125578063d8fc7893116100ad578063f45887bc1161007c578063f45887bc146108db578063f4b9fa75146109b9578063fad8b32a146109c1578063fc673c4f146109e7578063fe9d930314610aba57610211565b8063d8fc7893146107a4578063d95b637114610877578063dd62ed3e146108a5578063ed290f0d146108d357610211565b8063a9059cbb116100f4578063a9059cbb1461065b578063b6b55f2514610687578063bafc9fc9146106a4578063c11645bc14610719578063d33a1a221461072157610211565b806395d89b411461059c57806398351308146105a45780639bd9bbc6146105ac5780639d866d101461062f57610211565b806336569e77116101a857806362ad1b831161017757806362ad1b831461044b57806362b856b51461052b57806370a082311461053357806371302cf214610559578063959b8c3f1461057657610211565b806336569e77146103f15780634ba2363a146104155780634ddb2c351461041d578063556f0dc71461044357610211565b80631dcb89e3116101e45780631dcb89e314610345578063205c28781461037157806323b872dd1461039d578063313ce567146103d357610211565b806306e485381461021657806306fdde031461026e578063095ea7b3146102eb57806318160ddd1461032b575b600080fd5b61021e610b2f565b60408051602080825283518183015283519192839290830191858101910280838360005b8381101561025a578181015183820152602001610242565b505050509050019250505060405180910390f35b610276610b91565b6040805160208082528351818301528351919283929083019185019080838360005b838110156102b0578181015183820152602001610298565b50505050905090810190601f1680156102dd5780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b6103176004803603604081101561030157600080fd5b506001600160a01b038135169060200135610c1b565b604080519115158252519081900360200190f35b610333610c3f565b60408051918252519081900360200190f35b6103336004803603604081101561035b57600080fd5b506001600160a01b038135169060200135610c45565b6103336004803603604081101561038757600080fd5b506001600160a01b038135169060200135610f7d565b610317600480360360608110156103b357600080fd5b506001600160a01b0381358116916020810135909116906040013561107f565b6103db611295565b6040805160ff9092168252519081900360200190f35b6103f961129a565b604080516001600160a01b039092168252519081900360200190f35b6103f96112b2565b6103336004803603602081101561043357600080fd5b50356001600160a01b03166112c4565b6103336112f0565b610529600480360360a081101561046157600080fd5b6001600160a01b03823581169260208101359091169160408201359190810190608081016060820135600160201b81111561049b57600080fd5b8201836020820111156104ad57600080fd5b803590602001918460018302840111600160201b831117156104ce57600080fd5b919390929091602081019035600160201b8111156104eb57600080fd5b8201836020820111156104fd57600080fd5b803590602001918460018302840111600160201b8311171561051e57600080fd5b5090925090506112f5565b005b6103f96113cb565b6103336004803603602081101561054957600080fd5b50356001600160a01b03166113e3565b6103336004803603602081101561056f57600080fd5b50356113fe565b6105296004803603602081101561058c57600080fd5b50356001600160a01b03166114c9565b610276611615565b610333611676565b610529600480360360608110156105c257600080fd5b6001600160a01b0382351691602081013591810190606081016040820135600160201b8111156105f157600080fd5b82018360208201111561060357600080fd5b803590602001918460018302840111600160201b8311171561062457600080fd5b50909250905061169a565b6103336004803603604081101561064557600080fd5b506001600160a01b038135169060200135611702565b6103176004803603604081101561067157600080fd5b506001600160a01b038135169060200135611770565b6103336004803603602081101561069d57600080fd5b5035611849565b610529600480360360408110156106ba57600080fd5b81359190810190604081016020820135600160201b8111156106db57600080fd5b8201836020820111156106ed57600080fd5b803590602001918460018302840111600160201b8311171561070e57600080fd5b509092509050611a2c565b6103f9611aab565b6105296004803603606081101561073757600080fd5b6001600160a01b0382351691602081013591810190606081016040820135600160201b81111561076657600080fd5b82018360208201111561077857600080fd5b803590602001918460018302840111600160201b8311171561079957600080fd5b509092509050611ac3565b610529600480360360808110156107ba57600080fd5b6001600160a01b0382351691602081013591810190606081016040820135600160201b8111156107e957600080fd5b8201836020820111156107fb57600080fd5b803590602001918460018302840111600160201b8311171561081c57600080fd5b919390929091602081019035600160201b81111561083957600080fd5b82018360208201111561084b57600080fd5b803590602001918460018302840111600160201b8311171561086c57600080fd5b509092509050611b47565b6103176004803603604081101561088d57600080fd5b506001600160a01b0381358116916020013516611c34565b610333600480360360408110156108bb57600080fd5b506001600160a01b0381358116916020013516611cd5565b610333611d00565b610529600480360360a08110156108f157600080fd5b6001600160a01b03823581169260208101359091169160408201359190810190608081016060820135600160201b81111561092b57600080fd5b82018360208201111561093d57600080fd5b803590602001918460018302840111600160201b8311171561095e57600080fd5b919390929091602081019035600160201b81111561097b57600080fd5b82018360208201111561098d57600080fd5b803590602001918460018302840111600160201b831117156109ae57600080fd5b509092509050611e7d565b6103f9611f69565b610529600480360360208110156109d757600080fd5b50356001600160a01b0316611f81565b610529600480360360808110156109fd57600080fd5b6001600160a01b0382351691602081013591810190606081016040820135600160201b811115610a2c57600080fd5b820183602082011115610a3e57600080fd5b803590602001918460018302840111600160201b83111715610a5f57600080fd5b919390929091602081019035600160201b811115610a7c57600080fd5b820183602082011115610a8e57600080fd5b803590602001918460018302840111600160201b83111715610aaf57600080fd5b5090925090506120cd565b61052960048036036040811015610ad057600080fd5b81359190810190604081016020820135600160201b811115610af157600080fd5b820183602082011115610b0357600080fd5b803590602001918460018302840111600160201b83111715610b2457600080fd5b509092509050612190565b60606004805480602002602001604051908101604052809291908181526020018280548015610b8757602002820191906000526020600020905b81546001600160a01b03168152600190910190602001808311610b69575b5050505050905090565b60028054604080516020601f6000196101006001871615020190941685900493840181900481028201810190925282815260609390929091830182828015610b875780601f10610bef57610100808354040283529160200191610b87565b820191906000526020600020905b815481529060010190602001808311610bfd57509395945050505050565b600080610c266121f3565b9050610c338185856121f7565b60019150505b92915050565b60015490565b60006001600160a01b03831615801590610c6857506001600160a01b0383163014155b610ca35760405162461bcd60e51b81526004018080602001828103825260288152602001806138d86028913960400191505060405180910390fd5b42600080516020613aba8339815191526001600160a01b03166320aba08b6040518163ffffffff1660e01b815260040160206040518083038186803b158015610ceb57600080fd5b505afa158015610cff573d6000803e3d6000fd5b505050506040513d6020811015610d1557600080fd5b505114610d9257600080516020613aba8339815191526001600160a01b0316639f678cca6040518163ffffffff1660e01b8152600401602060405180830381600087803b158015610d6557600080fd5b505af1158015610d79573d6000803e3d6000fd5b505050506040513d6020811015610d8f57600080fd5b50505b60408051600080825260208201909252610dc2919033908590835b5060408051600081526020810190915261229e565b600080516020613aba8339815191526001600160a01b0316637f8661a1836040518263ffffffff1660e01b815260040180828152602001915050600060405180830381600087803b158015610e1657600080fd5b505af1158015610e2a573d6000803e3d6000fd5b505060408051633612d9a360e11b815230600482015290517335d1b3f3d7966a1dfe207aa4514c12a259a0492b9350636c25b34692506024808301926020929190829003018186803b158015610e7f57600080fd5b505afa158015610e93573d6000803e3d6000fd5b505050506040513d6020811015610ea957600080fd5b50516040805163bb35783b60e01b81523060048201526001600160a01b03861660248201526044810183905290519192507335d1b3f3d7966a1dfe207aa4514c12a259a0492b9163bb35783b9160648082019260009290919082900301818387803b158015610f1757600080fd5b505af1158015610f2b573d6000803e3d6000fd5b5050604080518481526020810186905281516001600160a01b03881694503393507f847de51a378836029ca18c6b5c710c428ba534f16807ddc0b9efa05f577a5fac929181900390910190a392915050565b600042600080516020613aba8339815191526001600160a01b03166320aba08b6040518163ffffffff1660e01b815260040160206040518083038186803b158015610fc757600080fd5b505afa158015610fdb573d6000803e3d6000fd5b505050506040513d6020811015610ff157600080fd5b50511461106e57600080516020613aba8339815191526001600160a01b0316639f678cca6040518163ffffffff1660e01b8152600401602060405180830381600087803b15801561104157600080fd5b505af1158015611055573d6000803e3d6000fd5b505050506040513d602081101561106b57600080fd5b50505b61107883836124cb565b9392505050565b60006001600160a01b0383166110c65760405162461bcd60e51b8152600401808060200182810382526024815260200180613a456024913960400191505060405180910390fd5b6001600160a01b03841661110b5760405162461bcd60e51b8152600401808060200182810382526026815260200180613b2f6026913960400191505060405180910390fd5b60006111156121f3565b90503373918af0fb5517ac5b8b34240203408cedbba09bd914156111835760095460ff16156111755760405162461bcd60e51b8152600401808060200182810382526051815260200180613a696051913960600191505060405180910390fd5b6009805460ff191660011790555b6111af818686866040518060200160405280600081525060405180602001604052806000815250612830565b3373918af0fb5517ac5b8b34240203408cedbba09bd914156111d6576009805460ff191690555b611202818686866040518060200160405280600081525060405180602001604052806000815250612a77565b61125c858261125786604051806060016040528060298152602001613b06602991396001600160a01b03808c166000908152600860209081526040808320938b1683529290522054919063ffffffff612c9016565b6121f7565b61128a8186868660405180602001604052806000815250604051806020016040528060008152506000612d27565b506001949350505050565b601290565b7335d1b3f3d7966a1dfe207aa4514c12a259a0492b81565b600080516020613aba83398151915281565b6000806112cf611d00565b905060006112dc846113e3565b90506112e88183612fbd565b949350505050565b600190565b6113066113006121f3565b88611c34565b6113415760405162461bcd60e51b815260040180806020018281038252602c815260200180613ada602c913960400191505060405180910390fd5b6113c261134c6121f3565b88888888888080601f01602080910402602001604051908101604052809392919081815260200183838082843760009201919091525050604080516020601f8c018190048102820181019092528a815292508a915089908190840183828082843760009201919091525060019250612feb915050565b50505050505050565b73918af0fb5517ac5b8b34240203408cedbba09bd981565b6001600160a01b031660009081526020819052604090205490565b6040805163bb35783b60e01b81523360048201523060248201526044810183905290516000917335d1b3f3d7966a1dfe207aa4514c12a259a0492b9163bb35783b91606480820192869290919082900301818387803b15801561146057600080fd5b505af1158015611474573d6000803e3d6000fd5b505050506000611483336130b6565b6040805185815260208101839052815192935033927fd4369ef5848fe0e2ca4c2e8529e6c3c616dcf12b4f260f546f25e39301e3b862929181900390910190a292915050565b806001600160a01b03166114db6121f3565b6001600160a01b031614156115215760405162461bcd60e51b81526004018080602001828103825260248152602001806139226024913960400191505060405180910390fd5b6001600160a01b03811660009081526005602052604090205460ff1615611584576007600061154e6121f3565b6001600160a01b03908116825260208083019390935260409182016000908120918516815292529020805460ff191690556115cb565b6001600660006115926121f3565b6001600160a01b03908116825260208083019390935260409182016000908120918616815292529020805460ff19169115159190911790555b6115d36121f3565b6001600160a01b0316816001600160a01b03167ff4caeb2d6ca8932a215a353d0703c326ec2d81fc68170f320eb2ab49e9df61f960405160405180910390a350565b60038054604080516020601f6002600019610100600188161502019095169490940493840181900481028201810190925282815260609390929091830182828015610b875780601f10610bef57610100808354040283529160200191610b87565b600080611681611d00565b905061169461168e610c3f565b82612fbd565b91505090565b6116fc6116a56121f3565b6116ad6121f3565b868686868080601f01602080910402602001604051908101604052809392919081815260200183838082843760009201829052506040805160208101909152908152925060019150612feb9050565b50505050565b60008061170d6131e2565b9050611719838261334f565b9150600061172785846124cb565b9050838110156117685760405162461bcd60e51b815260040180806020018281038252604e815260200180613989604e913960600191505060405180910390fd5b505092915050565b60006001600160a01b0383166117b75760405162461bcd60e51b8152600401808060200182810382526024815260200180613a456024913960400191505060405180910390fd5b60006117c16121f3565b90506117ef818286866040518060200160405280600081525060405180602001604052806000815250612830565b61181b818286866040518060200160405280600081525060405180602001604052806000815250612a77565b610c338182868660405180602001604052806000815250604051806020016040528060008152506000612d27565b604080516323b872dd60e01b8152336004820152306024820152604481018390529051600091736b175474e89094c44da98b954eedeac495271d0f916323b872dd9160648082019260209290919082900301818787803b1580156118ac57600080fd5b505af11580156118c0573d6000803e3d6000fd5b505050506040513d60208110156118d657600080fd5b5050604080516370a0823160e01b815230600482018190529151739759a6ac90977b93b58547b4a71c78317f391a2892633b4da69f929091736b175474e89094c44da98b954eedeac495271d0f916370a08231916024808301926020929190829003018186803b15801561194957600080fd5b505afa15801561195d573d6000803e3d6000fd5b505050506040513d602081101561197357600080fd5b5051604080516001600160e01b031960e086901b1681526001600160a01b039093166004840152602483019190915251604480830192600092919082900301818387803b1580156119c357600080fd5b505af11580156119d7573d6000803e3d6000fd5b5050505060006119e6336130b6565b6040805185815260208101839052815192935033927f90890809c654f11d6e72a28fa60149770a0d11ec6c92319d6ceb2bb0a4ea1a15929181900390910190a292915050565b6000611a36611d00565b90506000611a44858361334f565b9050611aa4611a516121f3565b611a596121f3565b8387878080601f01602080910402602001604051908101604052809392919081815260200183838082843760009201829052506040805160208101909152908152925061229e915050565b5050505050565b739759a6ac90977b93b58547b4a71c78317f391a2881565b6000611acd611d00565b90506000611adb858361334f565b9050611b3f611ae86121f3565b611af06121f3565b888488888080601f01602080910402602001604051908101604052809392919081815260200183838082843760009201829052506040805160208101909152908152925060019150612feb9050565b505050505050565b611b58611b526121f3565b87611c34565b611b935760405162461bcd60e51b815260040180806020018281038252602c815260200180613ada602c913960400191505060405180910390fd5b6000611b9d611d00565b90506000611bab878361334f565b9050611c2a611bb86121f3565b898389898080601f01602080910402602001604051908101604052809392919081815260200183838082843760009201919091525050604080516020601f8d018190048102820181019092528b815292508b91508a908190840183828082843760009201919091525061229e92505050565b5050505050505050565b6000816001600160a01b0316836001600160a01b03161480611c9f57506001600160a01b03831660009081526005602052604090205460ff168015611c9f57506001600160a01b0380831660009081526007602090815260408083209387168352929052205460ff16155b806110785750506001600160a01b0390811660009081526006602090815260408083209490931682529290925290205460ff1690565b6001600160a01b03918216600090815260086020908152604080832093909416825291909152205490565b6000611e78611e00600080516020613aba8339815191526001600160a01b031663487bf0826040518163ffffffff1660e01b815260040160206040518083038186803b158015611d4f57600080fd5b505afa158015611d63573d6000803e3d6000fd5b505050506040513d6020811015611d7957600080fd5b5051604080516320aba08b60e01b81529051600080516020613aba833981519152916320aba08b916004808301926020929190829003018186803b158015611dc057600080fd5b505afa158015611dd4573d6000803e3d6000fd5b505050506040513d6020811015611dea57600080fd5b505142036b033b2e3c9fd0803ce8000000613385565b600080516020613aba8339815191526001600160a01b031663c92aecc46040518163ffffffff1660e01b815260040160206040518083038186803b158015611e4757600080fd5b505afa158015611e5b573d6000803e3d6000fd5b505050506040513d6020811015611e7157600080fd5b5051613444565b905090565b611e886113006121f3565b611ec35760405162461bcd60e51b815260040180806020018281038252602c815260200180613ada602c913960400191505060405180910390fd5b6000611ecd611d00565b90506000611edb878361334f565b9050611f5e611ee86121f3565b8a8a848a8a8080601f01602080910402602001604051908101604052809392919081815260200183838082843760009201919091525050604080516020601f8e018190048102820181019092528c815292508c91508b908190840183828082843760009201919091525060019250612feb915050565b505050505050505050565b736b175474e89094c44da98b954eedeac495271d0f81565b611f896121f3565b6001600160a01b0316816001600160a01b03161415611fd95760405162461bcd60e51b81526004018080602001828103825260218152602001806139686021913960400191505060405180910390fd5b6001600160a01b03811660009081526005602052604090205460ff1615612045576001600760006120086121f3565b6001600160a01b03908116825260208083019390935260409182016000908120918616815292529020805460ff1916911515919091179055612083565b600660006120516121f3565b6001600160a01b03908116825260208083019390935260409182016000908120918516815292529020805460ff191690555b61208b6121f3565b6001600160a01b0316816001600160a01b03167f50546e66e5f44d728365dc3908c63bc5cfeeab470722c1677e3073a6ac294aa160405160405180910390a350565b6120d8611b526121f3565b6121135760405162461bcd60e51b815260040180806020018281038252602c815260200180613ada602c913960400191505060405180910390fd5b611b3f61211e6121f3565b878787878080601f01602080910402602001604051908101604052809392919081815260200183838082843760009201919091525050604080516020601f8b01819004810282018101909252898152925089915088908190840183828082843760009201919091525061229e92505050565b6121ee61219b6121f3565b6121a36121f3565b8585858080601f01602080910402602001604051908101604052809392919081815260200183838082843760009201829052506040805160208101909152908152925061229e915050565b505050565b3390565b6001600160a01b03821661223c5760405162461bcd60e51b8152600401808060200182810382526023815260200180613b786023913960400191505060405180910390fd5b6001600160a01b03808416600081815260086020908152604080832094871680845294825291829020859055815185815291517f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b9259281900390910190a3505050565b6001600160a01b0384166122e35760405162461bcd60e51b81526004018080602001828103825260228152602001806139006022913960400191505060405180910390fd5b6122f285856000868686612830565b61233583604051806060016040528060238152602001613b55602391396001600160a01b038716600090815260208190526040902054919063ffffffff612c9016565b6001600160a01b038516600090815260208190526040902055600154612361908463ffffffff61346c16565b600181905550836001600160a01b0316856001600160a01b03167fa78a9be3a7b862d26933ad85fb11d80ef66b8f972d7cbba06621d583943a4098858585604051808481526020018060200180602001838103835285818151815260200191508051906020019080838360005b838110156123e65781810151838201526020016123ce565b50505050905090810190601f1680156124135780820380516001836020036101000a031916815260200191505b50838103825284518152845160209182019186019080838360005b8381101561244657818101518382015260200161242e565b50505050905090810190601f1680156124735780820380516001836020036101000a031916815260200191505b509550505050505060405180910390a36040805184815290516000916001600160a01b038716917fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef9181900360200190a35050505050565b60006001600160a01b038316158015906124ee57506001600160a01b0383163014155b6125295760405162461bcd60e51b81526004018080602001828103825260228152602001806139466022913960400191505060405180910390fd5b6040805160008082526020820190925261254891903390859083610dad565b600080516020613aba8339815191526001600160a01b0316637f8661a1836040518263ffffffff1660e01b815260040180828152602001915050600060405180830381600087803b15801561259c57600080fd5b505af11580156125b0573d6000803e3d6000fd5b505060408051633612d9a360e11b815230600482018190529151739759a6ac90977b93b58547b4a71c78317f391a28945063ef693bed93506b033b2e3c9fd0803ce8000000917335d1b3f3d7966a1dfe207aa4514c12a259a0492b91636c25b34691602480820192602092909190829003018186803b15801561263257600080fd5b505afa158015612646573d6000803e3d6000fd5b505050506040513d602081101561265c57600080fd5b50518161266557fe5b046040518363ffffffff1660e01b815260040180836001600160a01b03166001600160a01b0316815260200182815260200192505050600060405180830381600087803b1580156126b557600080fd5b505af11580156126c9573d6000803e3d6000fd5b5050604080516370a0823160e01b8152306004820152905160009350736b175474e89094c44da98b954eedeac495271d0f92506370a0823191602480820192602092909190829003018186803b15801561272257600080fd5b505afa158015612736573d6000803e3d6000fd5b505050506040513d602081101561274c57600080fd5b50516040805163a9059cbb60e01b81526001600160a01b0387166004820152602481018390529051919250736b175474e89094c44da98b954eedeac495271d0f9163a9059cbb916044808201926020929091908290030181600087803b1580156127b557600080fd5b505af11580156127c9573d6000803e3d6000fd5b505050506040513d60208110156127df57600080fd5b5050604080518281526020810185905281516001600160a01b0387169233927fc2b4a290c20fb28939d29f102514fbffd2b73c059ffba8b78250c94161d5fcc6929081900390910190a39392505050565b6040805163555ddc6560e11b81526001600160a01b03871660048201527f29ddb589b1fb5fc7cf394961c1adf5f8c6454761adf795e67fe149f658abe89560248201529051600091731820a4b7618bde71dce8cdc73aab6c95905fad249163aabbb8ca91604480820192602092909190829003018186803b1580156128b457600080fd5b505afa1580156128c8573d6000803e3d6000fd5b505050506040513d60208110156128de57600080fd5b505190506001600160a01b038116156113c257806001600160a01b03166375ab97828888888888886040518763ffffffff1660e01b815260040180876001600160a01b03166001600160a01b03168152602001866001600160a01b03166001600160a01b03168152602001856001600160a01b03166001600160a01b031681526020018481526020018060200180602001838103835285818151815260200191508051906020019080838360005b838110156129a457818101518382015260200161298c565b50505050905090810190601f1680156129d15780820380516001836020036101000a031916815260200191505b50838103825284518152845160209182019186019080838360005b83811015612a045781810151838201526020016129ec565b50505050905090810190601f168015612a315780820380516001836020036101000a031916815260200191505b5098505050505050505050600060405180830381600087803b158015612a5657600080fd5b505af1158015612a6a573d6000803e3d6000fd5b5050505050505050505050565b612aba836040518060600160405280602781526020016138b1602791396001600160a01b038816600090815260208190526040902054919063ffffffff612c9016565b6001600160a01b038087166000908152602081905260408082209390935590861681522054612aef908463ffffffff6134ae16565b600080866001600160a01b03166001600160a01b0316815260200190815260200160002081905550836001600160a01b0316856001600160a01b0316876001600160a01b03167f06b541ddaa720db2b10a4d0cdac39b8d360425fc073085fac19bc82614677987868686604051808481526020018060200180602001838103835285818151815260200191508051906020019080838360005b83811015612ba0578181015183820152602001612b88565b50505050905090810190601f168015612bcd5780820380516001836020036101000a031916815260200191505b50838103825284518152845160209182019186019080838360005b83811015612c00578181015183820152602001612be8565b50505050905090810190601f168015612c2d5780820380516001836020036101000a031916815260200191505b509550505050505060405180910390a4836001600160a01b0316856001600160a01b03167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef856040518082815260200191505060405180910390a3505050505050565b60008184841115612d1f5760405162461bcd60e51b81526004018080602001828103825283818151815260200191508051906020019080838360005b83811015612ce4578181015183820152602001612ccc565b50505050905090810190601f168015612d115780820380516001836020036101000a031916815260200191505b509250505060405180910390fd5b505050900390565b6040805163555ddc6560e11b81526001600160a01b03871660048201527fb281fc8c12954d22544db45de3159a39272895b169a852b314f9cc762e44c53b60248201529051600091731820a4b7618bde71dce8cdc73aab6c95905fad249163aabbb8ca91604480820192602092909190829003018186803b158015612dab57600080fd5b505afa158015612dbf573d6000803e3d6000fd5b505050506040513d6020811015612dd557600080fd5b505190506001600160a01b03811615612f6957806001600160a01b03166223de298989898989896040518763ffffffff1660e01b815260040180876001600160a01b03166001600160a01b03168152602001866001600160a01b03166001600160a01b03168152602001856001600160a01b03166001600160a01b031681526020018481526020018060200180602001838103835285818151815260200191508051906020019080838360005b83811015612e9a578181015183820152602001612e82565b50505050905090810190601f168015612ec75780820380516001836020036101000a031916815260200191505b50838103825284518152845160209182019186019080838360005b83811015612efa578181015183820152602001612ee2565b50505050905090810190601f168015612f275780820380516001836020036101000a031916815260200191505b5098505050505050505050600060405180830381600087803b158015612f4c57600080fd5b505af1158015612f60573d6000803e3d6000fd5b50505050611c2a565b8115611c2a57612f81866001600160a01b0316613508565b15611c2a5760405162461bcd60e51b815260040180806020018281038252604d8152602001806139f8604d913960600191505060405180910390fd5b60006110786b033b2e3c9fd0803ce8000000612fdf858563ffffffff61353f16565b9063ffffffff61359816565b6001600160a01b0386166130305760405162461bcd60e51b815260040180806020018281038252602281526020018061388f6022913960400191505060405180910390fd5b6001600160a01b03851661308b576040805162461bcd60e51b815260206004820181905260248201527f4552433737373a2073656e6420746f20746865207a65726f2061646472657373604482015290519081900360640190fd5b613099878787878787612830565b6130a7878787878787612a77565b6113c287878787878787612d27565b6000806130c16131e2565b60408051633612d9a360e11b8152306004820152905191925060009183917335d1b3f3d7966a1dfe207aa4514c12a259a0492b91636c25b34691602480820192602092909190829003018186803b15801561311b57600080fd5b505afa15801561312f573d6000803e3d6000fd5b505050506040513d602081101561314557600080fd5b50518161314e57fe5b049050600080516020613aba8339815191526001600160a01b031663049878f3826040518263ffffffff1660e01b815260040180828152602001915050600060405180830381600087803b1580156131a557600080fd5b505af11580156131b9573d6000803e3d6000fd5b5050604080516000808252602082018181528284019093526110789450925087918591906135da565b600042600080516020613aba8339815191526001600160a01b03166320aba08b6040518163ffffffff1660e01b815260040160206040518083038186803b15801561322c57600080fd5b505afa158015613240573d6000803e3d6000fd5b505050506040513d602081101561325657600080fd5b5051146132d757600080516020613aba8339815191526001600160a01b0316639f678cca6040518163ffffffff1660e01b8152600401602060405180830381600087803b1580156132a657600080fd5b505af11580156132ba573d6000803e3d6000fd5b505050506040513d60208110156132d057600080fd5b5051611e78565b600080516020613aba8339815191526001600160a01b031663c92aecc46040518163ffffffff1660e01b815260040160206040518083038186803b15801561331e57600080fd5b505afa158015613332573d6000803e3d6000fd5b505050506040513d602081101561334857600080fd5b5051905090565b600061107882612fdf6000198201613379876b033b2e3c9fd0803ce800000063ffffffff61353f16565b9063ffffffff6134ae16565b6000838015613426576001841680156133a0578592506133a4565b8392505b50600283046002850494505b84156134205785860286878204146133c757600080fd5b818101818110156133d757600080fd5b858104975060028706156134135787850285898204141589151516156133fc57600080fd5b8381018181101561340c57600080fd5b8790049550505b50506002850494506133b0565b5061343c565b838015613436576000925061343a565b8392505b505b509392505050565b60006b033b2e3c9fd0803ce800000061345d8484613805565b8161346457fe5b049392505050565b600061107883836040518060400160405280601e81526020017f536166654d6174683a207375627472616374696f6e206f766572666c6f770000815250612c90565b600082820183811015611078576040805162461bcd60e51b815260206004820152601b60248201527f536166654d6174683a206164646974696f6e206f766572666c6f770000000000604482015290519081900360640190fd5b6000813f7fc5d2460186f7233c927e7db2dcc703c0e500b653ca82273b7bfad8045d85a47081158015906112e85750141592915050565b60008261354e57506000610c39565b8282028284828161355b57fe5b04146110785760405162461bcd60e51b81526004018080602001828103825260218152602001806139d76021913960400191505060405180910390fd5b600061107883836040518060400160405280601a81526020017f536166654d6174683a206469766973696f6e206279207a65726f000000000000815250613829565b6001600160a01b038416613635576040805162461bcd60e51b815260206004820181905260248201527f4552433737373a206d696e7420746f20746865207a65726f2061646472657373604482015290519081900360640190fd5b600154613648908463ffffffff6134ae16565b6001556001600160a01b038416600090815260208190526040902054613674908463ffffffff6134ae16565b6001600160a01b0385166000908152602081905260408120919091556136a1908690868686866001612d27565b836001600160a01b0316856001600160a01b03167f2fe5be0146f74c5bce36c0b80911af6c7d86ff27e89d5cfa61fc681327954e5d858585604051808481526020018060200180602001838103835285818151815260200191508051906020019080838360005b83811015613720578181015183820152602001613708565b50505050905090810190601f16801561374d5780820380516001836020036101000a031916815260200191505b50838103825284518152845160209182019186019080838360005b83811015613780578181015183820152602001613768565b50505050905090810190601f1680156137ad5780820380516001836020036101000a031916815260200191505b509550505050505060405180910390a36040805184815290516001600160a01b038616916000917fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef9181900360200190a35050505050565b60008115806138205750508082028282828161381d57fe5b04145b610c3957600080fd5b600081836138785760405162461bcd60e51b8152602060048201818152835160248401528351909283926044909101919085019080838360008315612ce4578181015183820152602001612ccc565b50600083858161388457fe5b049594505050505056fe4552433737373a2073656e642066726f6d20746865207a65726f20616464726573734552433737373a207472616e7366657220616d6f756e7420657863656564732062616c616e63654461694872642f77697468647261775661744461693a20496e76616c696420726563697069656e744552433737373a206275726e2066726f6d20746865207a65726f20616464726573734552433737373a20617574686f72697a696e672073656c66206173206f70657261746f724461694872642f77697468647261773a20496e76616c696420726563697069656e744552433737373a207265766f6b696e672073656c66206173206f70657261746f724461694872642f7769746864726177546f44656e6f6d696e61746564496e4461693a204e6f74207769746864726177696e6720656e6f7567682044414920746f20636f7665722072657175657374536166654d6174683a206d756c7469706c69636174696f6e206f766572666c6f774552433737373a20746f6b656e20726563697069656e7420636f6e747261637420686173206e6f20696d706c656d656e74657220666f7220455243373737546f6b656e73526563697069656e744552433737373a207472616e7366657220746f20746865207a65726f2061646472657373417474656d7074656420746f2065786563757465206120556e69737761702065786368616e6765207768696c6520696e20746865206d6964646c65206f66206120556e69737761702065786368616e6765000000000000000000000000197e90f9fad81970ba7976f33cbd77088e5d7cf74552433737373a2063616c6c6572206973206e6f7420616e206f70657261746f7220666f7220686f6c6465724552433737373a207472616e7366657220616d6f756e74206578636565647320616c6c6f77616e63654552433737373a207472616e736665722066726f6d20746865207a65726f20616464726573734552433737373a206275726e20616d6f756e7420657863656564732062616c616e63654552433737373a20617070726f766520746f20746865207a65726f2061646472657373a265627a7a723158203dc93d980096f1d30451c109554cbcfca5f992eefdb74fa9e592faa67a0b668364736f6c634300050c0032

0000000000000000000000009062c0a6dbd6108336bcbe4593a3d1ce05512069

-----Decoded View---------------
Arg [0] : reverseRegistrar (address): 0x9062C0A6Dbd6108336BcBe4593a3D1cE05512069

-----Encoded View---------------
1 Constructor Arguments found :
Arg [0] : 0000000000000000000000009062c0a6dbd6108336bcbe4593a3d1ce05512069

17074:7009:8:-;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;17074:7009:8;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;6943:104;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:100:-1;33:3;30:1;27:10;8:100;;;90:11;;;84:18;71:11;;;64:39;52:2;45:10;8:100;;;12:14;6943:104:8;;;;;;;;;;;;;;;;;3802:72;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:100:-1;33:3;30:1;27:10;8:100;;;90:11;;;84:18;71:11;;;64:39;52:2;45:10;8:100;;;12:14;3802:72:8;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8280:161;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;;;;;;8280:161:8;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;4445:80;;;:::i;:::-;;;;;;;;;;;;;;;;19491:606;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;;;;;;19491:606:8;;;;;;;;:::i;18809:242::-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;;;;;;18809:242:8;;;;;;;;:::i;8771:1012::-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;;;;;;8771:1012:8;;;;;;;;;;;;;;;;;:::i;4165:65::-;;;:::i;:::-;;;;;;;;;;;;;;;;;;;336:73:9;;;:::i;:::-;;;;-1:-1:-1;;;;;336:73:9;;;;;;;;;;;;;;412;;;:::i;20250:255:8:-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;20250:255:8;-1:-1:-1;;;;;20250:255:8;;:::i;4327:69::-;;;:::i;7141:308::-;;;;;;13:3:-1;8;5:12;2:2;;;30:1;27;20:12;2:2;-1:-1;;;;;7141:308:8;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;;5:28;;2:2;;;46:1;43;36:12;2:2;7141:308:8;;35:9:-1;28:4;12:14;8:25;5:40;2:2;;;58:1;55;48:12;2:2;7141:308:8;;;;;;100:9:-1;95:1;81:12;77:20;67:8;63:35;60:50;-1:-1;;;25:12;22:29;11:107;8:2;;;131:1;128;121:12;8:2;7141:308:8;;;;;;;;;;;-1:-1:-1;;;5:28;;2:2;;;46:1;43;36:12;2:2;7141:308:8;;35:9:-1;28:4;12:14;8:25;5:40;2:2;;;58:1;55;48:12;2:2;7141:308:8;;;;;;100:9:-1;95:1;81:12;77:20;67:8;63:35;60:50;-1:-1;;;25:12;22:29;11:107;8:2;;;131:1;128;121:12;8:2;-1:-1;7141:308:8;;-1:-1:-1;7141:308:8;-1:-1:-1;7141:308:8;:::i;:::-;;576:84:9;;;:::i;4613:107:8:-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;4613:107:8;-1:-1:-1;;;;;4613:107:8;;:::i;18499:307::-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;18499:307:8;;:::i;6154:346::-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;6154:346:8;-1:-1:-1;;;;;6154:346:8;;:::i;3918:76::-;;;:::i;20508:194::-;;;:::i;4825:155::-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;;;;;4825:155:8;;;;;;;;;;;;;;;;;;;-1:-1:-1;;;5:28;;2:2;;;46:1;43;36:12;2:2;4825:155:8;;35:9:-1;28:4;12:14;8:25;5:40;2:2;;;58:1;55;48:12;2:2;4825:155:8;;;;;;100:9:-1;95:1;81:12;77:20;67:8;63:35;60:50;-1:-1;;;25:12;22:29;11:107;8:2;;;131:1;128;121:12;8:2;-1:-1;4825:155:8;;-1:-1:-1;4825:155:8;-1:-1:-1;4825:155:8;:::i;19054:434::-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;;;;;;19054:434:8;;;;;;;;:::i;5184:385::-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;;;;;;5184:385:8;;;;;;;;:::i;17986:340::-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;17986:340:8;;:::i;21004:260::-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;21004:260:8;;;;;;;;;;;;;;-1:-1:-1;;;5:28;;2:2;;;46:1;43;36:12;2:2;21004:260:8;;35:9:-1;28:4;12:14;8:25;5:40;2:2;;;58:1;55;48:12;2:2;21004:260:8;;;;;;100:9:-1;95:1;81:12;77:20;67:8;63:35;60:50;-1:-1;;;25:12;22:29;11:107;8:2;;;131:1;128;121:12;8:2;-1:-1;21004:260:8;;-1:-1:-1;21004:260:8;-1:-1:-1;21004:260:8;:::i;488:85:9:-;;;:::i;20705:296:8:-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;;;;;20705:296:8;;;;;;;;;;;;;;;;;;;-1:-1:-1;;;5:28;;2:2;;;46:1;43;36:12;2:2;20705:296:8;;35:9:-1;28:4;12:14;8:25;5:40;2:2;;;58:1;55;48:12;2:2;20705:296:8;;;;;;100:9:-1;95:1;81:12;77:20;67:8;63:35;60:50;-1:-1;;;25:12;22:29;11:107;8:2;;;131:1;128;121:12;8:2;-1:-1;20705:296:8;;-1:-1:-1;20705:296:8;-1:-1:-1;20705:296:8;:::i;21720:417::-;;;;;;13:3:-1;8;5:12;2:2;;;30:1;27;20:12;2:2;-1:-1;;;;;21720:417:8;;;;;;;;;;;;;;;;;;;-1:-1:-1;;;5:28;;2:2;;;46:1;43;36:12;2:2;21720:417:8;;35:9:-1;28:4;12:14;8:25;5:40;2:2;;;58:1;55;48:12;2:2;21720:417:8;;;;;;100:9:-1;95:1;81:12;77:20;67:8;63:35;60:50;-1:-1;;;25:12;22:29;11:107;8:2;;;131:1;128;121:12;8:2;21720:417:8;;;;;;;;;;;-1:-1:-1;;;5:28;;2:2;;;46:1;43;36:12;2:2;21720:417:8;;35:9:-1;28:4;12:14;8:25;5:40;2:2;;;58:1;55;48:12;2:2;21720:417:8;;;;;;100:9:-1;95:1;81:12;77:20;67:8;63:35;60:50;-1:-1;;;25:12;22:29;11:107;8:2;;;131:1;128;121:12;8:2;-1:-1;21720:417:8;;-1:-1:-1;21720:417:8;-1:-1:-1;21720:417:8;:::i;5844:255::-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;;;;;;5844:255:8;;;;;;;;;;:::i;8035:125::-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;;;;;;8035:125:8;;;;;;;;;;:::i;22162:221::-;;;:::i;21267:450::-;;;;;;13:3:-1;8;5:12;2:2;;;30:1;27;20:12;2:2;-1:-1;;;;;21267:450:8;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;;5:28;;2:2;;;46:1;43;36:12;2:2;21267:450:8;;35:9:-1;28:4;12:14;8:25;5:40;2:2;;;58:1;55;48:12;2:2;21267:450:8;;;;;;100:9:-1;95:1;81:12;77:20;67:8;63:35;60:50;-1:-1;;;25:12;22:29;11:107;8:2;;;131:1;128;121:12;8:2;21267:450:8;;;;;;;;;;;-1:-1:-1;;;5:28;;2:2;;;46:1;43;36:12;2:2;21267:450:8;;35:9:-1;28:4;12:14;8:25;5:40;2:2;;;58:1;55;48:12;2:2;21267:450:8;;;;;;100:9:-1;95:1;81:12;77:20;67:8;63:35;60:50;-1:-1;;;25:12;22:29;11:107;8:2;;;131:1;128;121:12;8:2;-1:-1;21267:450:8;;-1:-1:-1;21267:450:8;-1:-1:-1;21267:450:8;:::i;260:73:9:-;;;:::i;6552:337:8:-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;6552:337:8;-1:-1:-1;;;;;6552:337:8;;:::i;7545:275::-;;;;;;13:3:-1;8;5:12;2:2;;;30:1;27;20:12;2:2;-1:-1;;;;;7545:275:8;;;;;;;;;;;;;;;;;;;-1:-1:-1;;;5:28;;2:2;;;46:1;43;36:12;2:2;7545:275:8;;35:9:-1;28:4;12:14;8:25;5:40;2:2;;;58:1;55;48:12;2:2;7545:275:8;;;;;;100:9:-1;95:1;81:12;77:20;67:8;63:35;60:50;-1:-1;;;25:12;22:29;11:107;8:2;;;131:1;128;121:12;8:2;7545:275:8;;;;;;;;;;;-1:-1:-1;;;5:28;;2:2;;;46:1;43;36:12;2:2;7545:275:8;;35:9:-1;28:4;12:14;8:25;5:40;2:2;;;58:1;55;48:12;2:2;7545:275:8;;;;;;100:9:-1;95:1;81:12;77:20;67:8;63:35;60:50;-1:-1;;;25:12;22:29;11:107;8:2;;;131:1;128;121:12;8:2;-1:-1;7545:275:8;;-1:-1:-1;7545:275:8;-1:-1:-1;7545:275:8;:::i;5674:119::-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;5674:119:8;;;;;;;;;;;;;;-1:-1:-1;;;5:28;;2:2;;;46:1;43;36:12;2:2;5674:119:8;;35:9:-1;28:4;12:14;8:25;5:40;2:2;;;58:1;55;48:12;2:2;5674:119:8;;;;;;100:9:-1;95:1;81:12;77:20;67:8;63:35;60:50;-1:-1;;;25:12;22:29;11:107;8:2;;;131:1;128;121:12;8:2;-1:-1;5674:119:8;;-1:-1:-1;5674:119:8;-1:-1:-1;5674:119:8;:::i;6943:104::-;6992:16;7021:22;7014:29;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;;;;7014:29:8;;;;;;;;;;;;;;;;;;;;;;;6943:104;:::o;3802:72::-;3865:5;3858:12;;;;;;;-1:-1:-1;;3858:12:8;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;3839:13;;3858:12;;3865:5;;3858:12;;3865:5;3858:12;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;3858:12:8;;3802:72;-1:-1:-1;;;;;3802:72:8:o;8280:161::-;8347:4;8357:14;8374:12;:10;:12::i;:::-;8357:29;;8390:32;8399:6;8407:7;8416:5;8390:8;:32::i;:::-;8433:4;8426:11;;;8280:161;;;;;:::o;4445:80::-;4509:12;;4445:80;:::o;19491:606::-;19571:20;-1:-1:-1;;;;;19605:23:8;;;;;;:53;;-1:-1:-1;;;;;;19632:26:8;;19653:4;19632:26;;19605:53;19597:106;;;;-1:-1:-1;;;19597:106:8;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;19791:3;-1:-1:-1;;;;;;;;;;;;;;;;19778:7:8;;:9;;;;;;;;;;;;;;;;;;;;;;8::-1;5:2;;;30:1;27;20:12;5:2;19778:9:8;;;;8::-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;19778:9:8;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;19778:9:8;:16;19774:32;;-1:-1:-1;;;;;;;;;;;;;;;;19796:8:8;;:10;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;19796:10:8;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;19796:10:8;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;;19774:32:8;19852:12;;;19824:1;19852:12;;;;;;;;;19810:69;;19824:1;19828:10;;19840;;19824:1;19852:12;-1:-1:-1;19866:12:8;;;19876:1;19866:12;;;;;;;;19810:5;:69::i;:::-;-1:-1:-1;;;;;;;;;;;;;;;;19883:8:8;;19892:10;19883:20;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;19883:20:8;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;-1:-1;;19922:22:8;;;-1:-1:-1;;;19922:22:8;;19938:4;19922:22;;;;;;366:42:9;;-1:-1:-1;19922:7:8;;-1:-1:-1;19922:22:8;;;;;;;;;;;;;;366:42:9;19922:22:8;;;5:2:-1;;;;30:1;27;20:12;5:2;19922:22:8;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;19922:22:8;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;19922:22:8;19948:48;;;-1:-1:-1;;;19948:48:8;;19965:4;19948:48;;;;-1:-1:-1;;;;;19948:48:8;;;;;;;;;;;;;;19922:22;;-1:-1:-1;366:42:9;;19948:8:8;;:48;;;;;-1:-1:-1;;19948:48:8;;;;;;;;-1:-1:-1;366:42:9;19948:48:8;;;5:2:-1;;;;30:1;27;20:12;5:2;19948:48:8;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;-1:-1;;20005:65:8;;;;;;;;;;;;;;-1:-1:-1;;;;;20005:65:8;;;-1:-1:-1;20022:10:8;;-1:-1:-1;20005:65:8;;;;;;;;;;;19491:606;;;;:::o;18809:242::-;18885:15;18990:3;-1:-1:-1;;;;;;;;;;;;;;;;18977:7:8;;:9;;;;;;;;;;;;;;;;;;;;;;8::-1;5:2;;;30:1;27;20:12;5:2;18977:9:8;;;;8::-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;18977:9:8;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;18977:9:8;:16;18973:32;;-1:-1:-1;;;;;;;;;;;;;;;;18995:8:8;;:10;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;18995:10:8;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;18995:10:8;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;;18973:32:8;19016:31;19025:9;19036:10;19016:8;:31::i;:::-;19009:38;18809:242;-1:-1:-1;;;18809:242:8:o;8771:1012::-;8862:4;-1:-1:-1;;;;;8880:23:8;;8872:72;;;;-1:-1:-1;;;8872:72:8;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;;;;8956:20:8;;8948:71;;;;-1:-1:-1;;;8948:71:8;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;9024:15;9042:12;:10;:12::i;:::-;9024:30;-1:-1:-1;9160:10:8;618:42:9;9160:29:8;9156:212;;;9205:30;;;;9204:31;9196:125;;;;-1:-1:-1;;;9196:125:8;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;9326:30;:37;;-1:-1:-1;;9326:37:8;9359:4;9326:37;;;9156:212;9371:61;9389:7;9398:6;9406:9;9417:6;9371:61;;;;;;;;;;;;;;;;;;;;;;;;:17;:61::i;:::-;9440:10;618:42:9;9440:29:8;9436:83;;;9476:30;:38;;-1:-1:-1;;9476:38:8;;;9436:83;9523:49;9529:7;9538:6;9546:9;9557:6;9523:49;;;;;;;;;;;;;;;;;;;;;;;;:5;:49::i;:::-;9576:112;9585:6;9593:7;9602:85;9635:6;9602:85;;;;;;;;;;;;;;;;;-1:-1:-1;;;;;9602:19:8;;;;;;;:11;:19;;;;;;;;:28;;;;;;;;;;;:85;;:32;:85;:::i;:::-;9576:8;:112::i;:::-;9693:70;9713:7;9722:6;9730:9;9741:6;9693:70;;;;;;;;;;;;;;;;;;;;;;;;9757:5;9693:19;:70::i;:::-;-1:-1:-1;9775:4:8;;8771:1012;-1:-1:-1;;;;8771:1012:8:o;4165:65::-;4224:2;4165:65;:::o;336:73:9:-;366:42;336:73;:::o;412:::-;-1:-1:-1;;;;;;;;;;;412:73:9;:::o;20250:255:8:-;20328:15;20349:22;20374:15;:13;:15::i;:::-;20349:40;;20393:18;20414:22;20424:11;20414:9;:22::i;:::-;20393:43;;20447:54;20474:10;20486:14;20447:26;:54::i;:::-;20440:61;20250:255;-1:-1:-1;;;;20250:255:8:o;4327:69::-;4391:1;4327:69;:::o;7141:308::-;7285:35;7299:12;:10;:12::i;:::-;7313:6;7285:13;:35::i;:::-;7277:92;;;;-1:-1:-1;;;7277:92:8;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;7373:72;7379:12;:10;:12::i;:::-;7393:6;7401:9;7412:6;7420:4;;7373:72;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;30:3:-1;22:6;14;1:33;99:1;81:16;;74:27;;;;-1:-1;;7373:72:8;;;;137:4:-1;7373:72:8;;;;;;;;;;;;;;;;;;-1:-1:-1;7426:12:8;;-1:-1:-1;7426:12:8;;;;7373:72;;7426:12;;;;7373:72;1:33:-1;99:1;81:16;;74:27;;;;-1:-1;7440:4:8;;-1:-1:-1;7373:5:8;;-1:-1:-1;;7373:72:8:i;:::-;7141:308;;;;;;;:::o;576:84:9:-;618:42;576:84;:::o;4613:107:8:-;-1:-1:-1;;;;;4694:22:8;4674:7;4694:22;;;;;;;;;;;;4613:107::o;18499:307::-;18588:52;;;-1:-1:-1;;;18588:52:8;;18597:10;18588:52;;;;18617:4;18588:52;;;;;;;;;;;;18564:18;;366:42:9;;18588:8:8;;:52;;;;;18564:18;;18588:52;;;;;;;;18564:18;366:42:9;18588:52:8;;;5:2:-1;;;;30:1;27;20:12;5:2;18588:52:8;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;18588:52:8;;;;18644:24;18671:35;18695:10;18671:23;:35::i;:::-;18715:60;;;;;;;;;;;;;;18644:62;;-1:-1:-1;18729:10:8;;18715:60;;;;;;;;;;;18786:16;18499:307;-1:-1:-1;;18499:307:8:o;6154:346::-;6236:8;-1:-1:-1;;;;;6220:24:8;:12;:10;:12::i;:::-;-1:-1:-1;;;;;6220:24:8;;;6212:73;;;;-1:-1:-1;;;6212:73:8;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;;;;6294:27:8;;;;;;:17;:27;;;;;;;;6290:155;;;6335:24;:38;6360:12;:10;:12::i;:::-;-1:-1:-1;;;;;6335:38:8;;;;;;;;;;;;;;;;;-1:-1:-1;6335:38:8;;;:48;;;;;;;;;6328:55;;-1:-1:-1;;6328:55:8;;;6290:155;;;6436:4;6399:10;:24;6410:12;:10;:12::i;:::-;-1:-1:-1;;;;;6399:24:8;;;;;;;;;;;;;;;;;-1:-1:-1;6399:24:8;;;:34;;;;;;;;;:41;;-1:-1:-1;;6399:41:8;;;;;;;;;;6290:155;6483:12;:10;:12::i;:::-;-1:-1:-1;;;;;6454:42:8;6473:8;-1:-1:-1;;;;;6454:42:8;;;;;;;;;;;6154:346;:::o;3918:76::-;3983:7;3976:14;;;;;;;;-1:-1:-1;;3976:14:8;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;3957:13;;3976:14;;3983:7;;3976:14;;3983:7;3976:14;;;;;;;;;;;;;;;;;;;;;;;;20508:194;20569:15;20590:22;20615:15;:13;:15::i;:::-;20590:40;;20641:57;20668:13;:11;:13::i;:::-;20683:14;20641:26;:57::i;:::-;20634:64;;;20508:194;:::o;4825:155::-;4908:68;4914:12;:10;:12::i;:::-;4928;:10;:12::i;:::-;4942:9;4953:6;4961:4;;4908:68;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;30:3:-1;22:6;14;1:33;99:1;81:16;;74:27;;;-1:-1;4908:68:8;;;;;;;;;;;;;-1:-1:-1;4971:4:8;;-1:-1:-1;4908:5:8;;-1:-1:-1;4908:68:8:i;:::-;4825:155;;;;:::o;19054:434::-;19143:18;19167:22;19192:19;:17;:19::i;:::-;19167:44;;19228:51;19255:7;19264:14;19228:26;:51::i;:::-;19215:64;;19283:24;19310:31;19319:9;19330:10;19310:8;:31::i;:::-;19283:58;;19373:7;19353:16;:27;;19345:118;;;;-1:-1:-1;;;19345:118:8;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;19054:434:8;;;;:::o;5184:385::-;5255:4;-1:-1:-1;;;;;5273:23:8;;5265:72;;;;-1:-1:-1;;;5265:72:8;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;5342:12;5357;:10;:12::i;:::-;5342:27;;5374:56;5392:4;5398;5404:9;5415:6;5374:56;;;;;;;;;;;;;;;;;;;;;;;;:17;:56::i;:::-;5435:44;5441:4;5447;5453:9;5464:6;5435:44;;;;;;;;;;;;;;;;;;;;;;;;:5;:44::i;:::-;5484:65;5504:4;5510;5516:9;5527:6;5484:65;;;;;;;;;;;;;;;;;;;;;;;;5543:5;5484:19;:65::i;17986:340::-;18061:52;;;-1:-1:-1;;;18061:52:8;;18078:10;18061:52;;;;18098:4;18061:52;;;;;;;;;;;;18037:18;;290:42:9;;18061:16:8;;:52;;;;;;;;;;;;;;;18037:18;290:42:9;18061:52:8;;;5:2:-1;;;;30:1;27;20:12;5:2;18061:52:8;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;18061:52:8;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;;18145:28:8;;;-1:-1:-1;;;18145:28:8;;18138:4;18145:28;;;;;;;;530:42:9;;18117:12:8;;18138:4;;290:42:9;;18145:13:8;;:28;;;;;18061:52;;18145:28;;;;;;;290:42:9;18145:28:8;;;5:2:-1;;;;30:1;27;20:12;5:2;18145:28:8;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;18145:28:8;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;18145:28:8;18117:57;;;-1:-1:-1;;;;;;18117:57:8;;;;;;;-1:-1:-1;;;;;18117:57:8;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;18117:57:8;;;;;;;-1:-1:-1;18117:57:8;;;;5:2:-1;;;;30:1;27;20:12;5:2;18117:57:8;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;18117:57:8;;;;18178:24;18205:35;18229:10;18205:23;:35::i;:::-;18249:46;;;;;;;;;;;;;;18178:62;;-1:-1:-1;18257:10:8;;18249:46;;;;;;;;;;;18306:16;17986:340;-1:-1:-1;;17986:340:8:o;21004:260::-;21085:22;21110:15;:13;:15::i;:::-;21085:40;;21129:18;21150:51;21177:7;21186:14;21150:26;:51::i;:::-;21129:72;;21205:55;21211:12;:10;:12::i;:::-;21225;:10;:12::i;:::-;21239:10;21251:4;;21205:55;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;30:3:-1;22:6;14;1:33;99:1;81:16;;74:27;;;-1:-1;21205:55:8;;;;;;;;;;;;;-1:-1:-1;21205:5:8;;-1:-1:-1;;21205:55:8:i;:::-;21004:260;;;;;:::o;488:85:9:-;530:42;488:85;:::o;20705:296:8:-;20805:22;20830:15;:13;:15::i;:::-;20805:40;;20849:18;20870:51;20897:7;20906:14;20870:26;:51::i;:::-;20849:72;;20925;20931:12;:10;:12::i;:::-;20945;:10;:12::i;:::-;20959:9;20970:10;20982:4;;20925:72;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;30:3:-1;22:6;14;1:33;99:1;81:16;;74:27;;;-1:-1;20925:72:8;;;;;;;;;;;;;-1:-1:-1;20992:4:8;;-1:-1:-1;20925:5:8;;-1:-1:-1;20925:72:8:i;:::-;20705:296;;;;;;:::o;21720:417::-;21863:36;21877:12;:10;:12::i;:::-;21891:7;21863:13;:36::i;:::-;21855:93;;;;-1:-1:-1;;;21855:93:8;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;21953:22;21978:15;:13;:15::i;:::-;21953:40;;21997:18;22018:51;22045:7;22054:14;22018:26;:51::i;:::-;21997:72;;22073:60;22079:12;:10;:12::i;:::-;22093:7;22102:10;22114:4;;22073:60;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;30:3:-1;22:6;14;1:33;99:1;81:16;;74:27;;;;-1:-1;;22073:60:8;;;;137:4:-1;22073:60:8;;;;;;;;;;;;;;;;;;-1:-1:-1;22120:12:8;;-1:-1:-1;22120:12:8;;;;22073:60;;22120:12;;;;22073:60;1:33:-1;99:1;81:16;;74:27;;;;-1:-1;22073:5:8;;-1:-1:-1;;;22073:60:8:i;:::-;21720:417;;;;;;;;:::o;5844:255::-;5927:4;5956:11;-1:-1:-1;;;;;5944:23:8;:8;-1:-1:-1;;;;;5944:23:8;;:111;;;-1:-1:-1;;;;;;5975:27:8;;;;;;:17;:27;;;;;;;;:79;;;;-1:-1:-1;;;;;;6007:37:8;;;;;;;:24;:37;;;;;;;;:47;;;;;;;;;;;;6006:48;5975:79;5944:151;;;-1:-1:-1;;;;;;;6062:23:8;;;;;;;:10;:23;;;;;;;;:33;;;;;;;;;;;;;;;;5844:255::o;8035:125::-;-1:-1:-1;;;;;8128:19:8;;;8108:7;8128:19;;;:11;:19;;;;;;;;:28;;;;;;;;;;;;;8035:125::o;22162:221::-;22208:22;22315:64;22325:42;-1:-1:-1;;;;;;;;;;;;;;;;22330:7:8;;:9;;;;;;;;;;;;;;;;;;;;;;8::-1;5:2;;;30:1;27;20:12;5:2;22330:9:8;;;;8::-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;22330:9:8;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;22330:9:8;22347;;;-1:-1:-1;;;22347:9:8;;;;-1:-1:-1;;;;;;;;;;;442:42:9;22347:7:8;;:9;;;;;22330;;22347;;;;;;;442:42:9;22347:9:8;;;5:2:-1;;;;30:1;27;20:12;5:2;22347:9:8;;;;8::-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;22347:9:8;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;22347:9:8;22341:3;:15;22358:8;22325:4;:42::i;:::-;-1:-1:-1;;;;;;;;;;;;;;;;22369:7:8;;:9;;;;;;;;;;;;;;;;;;;;;;8::-1;5:2;;;30:1;27;20:12;5:2;22369:9:8;;;;8::-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;22369:9:8;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;22369:9:8;22315;:64::i;:::-;22308:71;;22162:221;:::o;21267:450::-;21428:35;21442:12;:10;:12::i;21428:35::-;21420:92;;;;-1:-1:-1;;;21420:92:8;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;21517:22;21542:15;:13;:15::i;:::-;21517:40;;21561:18;21582:51;21609:7;21618:14;21582:26;:51::i;:::-;21561:72;;21637:76;21643:12;:10;:12::i;:::-;21657:6;21665:9;21676:10;21688:4;;21637:76;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;30:3:-1;22:6;14;1:33;99:1;81:16;;74:27;;;;-1:-1;;21637:76:8;;;;137:4:-1;21637:76:8;;;;;;;;;;;;;;;;;;-1:-1:-1;21694:12:8;;-1:-1:-1;21694:12:8;;;;21637:76;;21694:12;;;;21637:76;1:33:-1;99:1;81:16;;74:27;;;;-1:-1;21708:4:8;;-1:-1:-1;21637:5:8;;-1:-1:-1;;21637:76:8:i;:::-;21267:450;;;;;;;;;:::o;260:73:9:-;290:42;260:73;:::o;6552:337:8:-;6627:12;:10;:12::i;:::-;-1:-1:-1;;;;;6615:24:8;:8;-1:-1:-1;;;;;6615:24:8;;;6607:70;;;;-1:-1:-1;;;6607:70:8;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;;;;6686:27:8;;;;;;:17;:27;;;;;;;;6682:155;;;6771:4;6720:24;:38;6745:12;:10;:12::i;:::-;-1:-1:-1;;;;;6720:38:8;;;;;;;;;;;;;;;;;-1:-1:-1;6720:38:8;;;:48;;;;;;;;;:55;;-1:-1:-1;;6720:55:8;;;;;;;;;;6682:155;;;6798:10;:24;6809:12;:10;:12::i;:::-;-1:-1:-1;;;;;6798:24:8;;;;;;;;;;;;;;;;;-1:-1:-1;6798:24:8;;;:34;;;;;;;;;6791:41;;-1:-1:-1;;6791:41:8;;;6682:155;6872:12;:10;:12::i;:::-;-1:-1:-1;;;;;6846:39:8;6862:8;-1:-1:-1;;;;;6846:39:8;;;;;;;;;;;6552:337;:::o;7545:275::-;7671:36;7685:12;:10;:12::i;7671:36::-;7663:93;;;;-1:-1:-1;;;7663:93:8;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;7760:56;7766:12;:10;:12::i;:::-;7780:7;7789:6;7797:4;;7760:56;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;30:3:-1;22:6;14;1:33;99:1;81:16;;74:27;;;;-1:-1;;7760:56:8;;;;137:4:-1;7760:56:8;;;;;;;;;;;;;;;;;;-1:-1:-1;7803:12:8;;-1:-1:-1;7803:12:8;;;;7760:56;;7803:12;;;;7760:56;1:33:-1;99:1;81:16;;74:27;;;;-1:-1;7760:5:8;;-1:-1:-1;;;7760:56:8:i;5674:119::-;5738:51;5744:12;:10;:12::i;:::-;5758;:10;:12::i;:::-;5772:6;5780:4;;5738:51;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;30:3:-1;22:6;14;1:33;99:1;81:16;;74:27;;;-1:-1;5738:51:8;;;;;;;;;;;;;-1:-1:-1;5738:5:8;;-1:-1:-1;;5738:51:8:i;:::-;5674:119;;;:::o;788:96:0:-;867:10;788:96;:::o;13331:452:8:-;-1:-1:-1;;;;;13636:21:8;;13628:69;;;;-1:-1:-1;;;13628:69:8;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;;;;13702:19:8;;;;;;;:11;:19;;;;;;;;:28;;;;;;;;;;;;;:36;;;13747:32;;;;;;;;;;;;;;;;;13331:452;;;:::o;12418:532::-;-1:-1:-1;;;;;12548:18:8;;12540:65;;;;-1:-1:-1;;;12540:65:8;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;12610:73;12628:8;12638:4;12652:1;12656:6;12664:4;12670:12;12610:17;:73::i;:::-;12734:66;12754:6;12734:66;;;;;;;;;;;;;;;;;-1:-1:-1;;;;;12734:15:8;;:9;:15;;;;;;;;;;;;:66;;:19;:66;:::i;:::-;-1:-1:-1;;;;;12716:15:8;;:9;:15;;;;;;;;;;:84;12819:12;;:24;;12836:6;12819:24;:16;:24;:::i;:::-;12804:12;:39;;;;12870:4;-1:-1:-1;;;;;12853:50:8;12860:8;-1:-1:-1;;;;;12853:50:8;;12876:6;12884:4;12890:12;12853:50;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;23:1:-1;8:100;33:3;30:1;27:10;8:100;;;90:11;;;84:18;71:11;;;64:39;52:2;45:10;8:100;;;12:14;12853:50:8;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;12853:50:8;;;;;;;;;;;;;;;;;;;;;;23:1:-1;8:100;33:3;30:1;27:10;8:100;;;90:11;;;84:18;71:11;;;64:39;52:2;45:10;8:100;;;12:14;12853:50:8;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;12912:34;;;;;;;;12935:1;;-1:-1:-1;;;;;12912:34:8;;;;;;;;;;;;12418:532;;;;;:::o;23546:535::-;23619:24;-1:-1:-1;;;;;23657:23:8;;;;;;:53;;-1:-1:-1;;;;;;23684:26:8;;23705:4;23684:26;;23657:53;23649:100;;;;-1:-1:-1;;;23649:100:8;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;23795:12;;;23767:1;23795:12;;;;;;;;;23753:69;;23767:1;23771:10;;23783;;23767:1;23795:12;;23753:69;-1:-1:-1;;;;;;;;;;;;;;;;23826:8:8;;23835:10;23826:20;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;23826:20:8;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;-1:-1;;23878:22:8;;;-1:-1:-1;;;23878:22:8;;23871:4;23878:22;;;;;;;;530:42:9;;-1:-1:-1;23850:12:8;;-1:-1:-1;23903:6:8;;366:42:9;;23878:7:8;;:22;;;;;;;;;;;;;;;366:42:9;23878:22:8;;;5:2:-1;;;;30:1;27;20:12;5:2;23878:22:8;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;23878:22:8;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;23878:22:8;:31;;;;;;23850:60;;;;;;;;;;;;;-1:-1:-1;;;;;23850:60:8;-1:-1:-1;;;;;23850:60:8;;;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;23850:60:8;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;-1:-1;;23932:28:8;;;-1:-1:-1;;;23932:28:8;;23954:4;23932:28;;;;;;23914:15;;-1:-1:-1;290:42:9;;-1:-1:-1;23932:13:8;;:28;;;;;;;;;;;;;;;290:42:9;23932:28:8;;;5:2:-1;;;;30:1;27;20:12;5:2;23932:28:8;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;23932:28:8;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;23932:28:8;23964:32;;;-1:-1:-1;;;23964:32:8;;-1:-1:-1;;;;;23964:32:8;;;;;;;;;;;;;;23932:28;;-1:-1:-1;290:42:9;;23964:12:8;;:32;;;;;23932:28;;23964:32;;;;;;;;-1:-1:-1;290:42:9;23964:32:8;;;5:2:-1;;;;30:1;27;20:12;5:2;23964:32:8;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;23964:32:8;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;;24005:54:8;;;;;;23964:32;24005:54;;;;;;;-1:-1:-1;;;;;24005:54:8;;;24016:10;;24005:54;;;;;;;;;;;24070:7;23546:535;-1:-1:-1;;;23546:535:8:o;14226:378::-;14397:68;;;-1:-1:-1;;;14397:68:8;;-1:-1:-1;;;;;14397:68:8;;;;;;2159:66;14397:68;;;;;;14375:19;;1725:42;;14397:32;;:68;;;;;;;;;;;;;;;1725:42;14397:68;;;5:2:-1;;;;30:1;27;20:12;5:2;14397:68:8;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;14397:68:8;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;14397:68:8;;-1:-1:-1;;;;;;14473:25:8;;;14469:132;;14519:11;-1:-1:-1;;;;;14505:39:8;;14545:8;14555:4;14561:2;14565:6;14573:8;14583:12;14505:91;;;;;;;;;;;;;-1:-1:-1;;;;;14505:91:8;-1:-1:-1;;;;;14505:91:8;;;;;;-1:-1:-1;;;;;14505:91:8;-1:-1:-1;;;;;14505:91:8;;;;;;-1:-1:-1;;;;;14505:91:8;-1:-1:-1;;;;;14505:91:8;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;23:1:-1;8:100;33:3;30:1;27:10;8:100;;;90:11;;;84:18;71:11;;;64:39;52:2;45:10;8:100;;;12:14;14505:91:8;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;14505:91:8;;;;;;;;;;;;;;;;;;;;;;23:1:-1;8:100;33:3;30:1;27:10;8:100;;;90:11;;;84:18;71:11;;;64:39;52:2;45:10;8:100;;;12:14;14505:91:8;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;14505:91:8;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;14505:91:8;;;;14226:378;;;;;;;:::o;12953:375::-;13108:70;13128:6;13108:70;;;;;;;;;;;;;;;;;-1:-1:-1;;;;;13108:15:8;;:9;:15;;;;;;;;;;;;:70;;:19;:70;:::i;:::-;-1:-1:-1;;;;;13090:15:8;;;:9;:15;;;;;;;;;;;:88;;;;13198:13;;;;;;;:25;;13216:6;13198:25;:17;:25;:::i;:::-;13182:9;:13;13192:2;-1:-1:-1;;;;;13182:13:8;-1:-1:-1;;;;;13182:13:8;;;;;;;;;;;;:41;;;;13254:2;-1:-1:-1;;;;;13233:56:8;13248:4;-1:-1:-1;;;;;13233:56:8;13238:8;-1:-1:-1;;;;;13233:56:8;;13258:6;13266:8;13276:12;13233:56;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;23:1:-1;8:100;33:3;30:1;27:10;8:100;;;90:11;;;84:18;71:11;;;64:39;52:2;45:10;8:100;;;12:14;13233:56:8;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;13233:56:8;;;;;;;;;;;;;;;;;;;;;;23:1:-1;8:100;33:3;30:1;27:10;8:100;;;90:11;;;84:18;71:11;;;64:39;52:2;45:10;8:100;;;12:14;13233:56:8;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;13313:2;-1:-1:-1;;;;;13298:26:8;13307:4;-1:-1:-1;;;;;13298:26:8;;13317:6;13298:26;;;;;;;;;;;;;;;;;;12953:375;;;;;;:::o;1732:187:2:-;1818:7;1853:12;1845:6;;;;1837:29;;;;-1:-1:-1;;;1837:29:2;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;23:1:-1;8:100;33:3;30:1;27:10;8:100;;;90:11;;;84:18;71:11;;;64:39;52:2;45:10;8:100;;;12:14;1837:29:2;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;;1888:5:2;;;1732:187::o;15257:559:8:-;15456:69;;;-1:-1:-1;;;15456:69:8;;-1:-1:-1;;;;;15456:69:8;;;;;;2329:66;15456:69;;;;;;15434:19;;1725:42;;15456:32;;:69;;;;;;;;;;;;;;;1725:42;15456:69;;;5:2:-1;;;;30:1;27;20:12;5:2;15456:69:8;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;15456:69:8;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;15456:69:8;;-1:-1:-1;;;;;;15533:25:8;;;15529:284;;15582:11;-1:-1:-1;;;;;15565:44:8;;15610:8;15620:4;15626:2;15630:6;15638:8;15648:12;15565:96;;;;;;;;;;;;;-1:-1:-1;;;;;15565:96:8;-1:-1:-1;;;;;15565:96:8;;;;;;-1:-1:-1;;;;;15565:96:8;-1:-1:-1;;;;;15565:96:8;;;;;;-1:-1:-1;;;;;15565:96:8;-1:-1:-1;;;;;15565:96:8;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;23:1:-1;8:100;33:3;30:1;27:10;8:100;;;90:11;;;84:18;71:11;;;64:39;52:2;45:10;8:100;;;12:14;15565:96:8;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;15565:96:8;;;;;;;;;;;;;;;;;;;;;;23:1:-1;8:100;33:3;30:1;27:10;8:100;;;90:11;;;84:18;71:11;;;64:39;52:2;45:10;8:100;;;12:14;15565:96:8;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;15565:96:8;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;15565:96:8;;;;15529:284;;;15676:19;15672:141;;;15711:15;:2;-1:-1:-1;;;;;15711:13:8;;:15::i;:::-;15710:16;15702:106;;;;-1:-1:-1;;;15702:106:8;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;22658:179;22761:15;22789:44;22824:8;22789:30;:10;22804:14;22789:30;:14;:30;:::i;:::-;:34;:44;:34;:44;:::i;11437:531::-;-1:-1:-1;;;;;11609:18:8;;11601:65;;;;-1:-1:-1;;;11601:65:8;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;;;;11678:16:8;;11670:61;;;;;-1:-1:-1;;;11670:61:8;;;;;;;;;;;;;;;;;;;;;;;;;;;;;11736:69;11754:8;11764:4;11770:2;11774:6;11782:8;11792:12;11736:17;:69::i;:::-;11810:57;11816:8;11826:4;11832:2;11836:6;11844:8;11854:12;11810:5;:57::i;:::-;11872:92;11892:8;11902:4;11908:2;11912:6;11920:8;11930:12;11944:19;11872;:92::i;23083:348::-;23150:24;23180:22;23205:19;:17;:19::i;:::-;23255:22;;;-1:-1:-1;;;23255:22:8;;23271:4;23255:22;;;;;;23180:44;;-1:-1:-1;23228:24:8;;23180:44;;366:42:9;;23255:7:8;;:22;;;;;;;;;;;;;;;366:42:9;23255:22:8;;;5:2:-1;;;;30:1;27;20:12;5:2;23255:22:8;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;23255:22:8;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;23255:22:8;:39;;;;;;23228:66;;-1:-1:-1;;;;;;;;;;;;;;;;23298:8:8;;23307:16;23298:26;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;23298:26:8;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;-1:-1;;23373:12:8;;;23342:1;23373:12;;;;;;23387;;;;;;;;;23328:72;;-1:-1:-1;23342:1:8;-1:-1:-1;23346:7:8;;23355:16;;23373:12;23328:5;:72::i;22840:128::-;22886:22;22935:3;-1:-1:-1;;;;;;;;;;;;;;;;22922:7:8;;:9;;;;;;;;;;;;;;;;;;;;;;8::-1;5:2;;;30:1;27;20:12;5:2;22922:9:8;;;;8::-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;22922:9:8;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;22922:9:8;:16;22921:43;;-1:-1:-1;;;;;;;;;;;;;;;;22954:8:8;;:10;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;22954:10:8;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;22954:10:8;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;22954:10:8;22921:43;;;-1:-1:-1;;;;;;;;;;;;;;;;22942:7:8;;:9;;;;;;;;;;;;;;;;;;;;;;8::-1;5:2;;;30:1;27;20:12;5:2;22942:9:8;;;;8::-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;22942:9:8;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;22942:9:8;22914:50;;22840:128;:::o;22386:269::-;22486:18;22586:65;22636:14;22586:45;-1:-1:-1;;22612:18:8;;22586:21;:7;22598:8;22586:21;:11;:21;:::i;:::-;:25;:45;:25;:45;:::i;16046:738::-;16110:6;16143:1;16145:53;;;;16223:9;;;16233:20;;;;16269:1;16264:6;;16216:56;;16233:20;16247:4;16242:9;;16216:56;;16299:1;16293:4;16289:12;16342:1;16339;16335:9;16330:14;;16324:448;16347:1;16324:448;;;16390:1;16387;16383:9;16422:1;16418;16414:2;16410:10;16407:17;16397:2;;16437:1;16435;16428:11;16397:2;16469:4;16465:2;16461:13;16494:2;16485:7;16482:15;16479:2;;;16509:1;16507;16500:11;16479:2;16536:4;16527:7;16523:18;16518:23;;16555:1;16553;16549:8;16546:2;;;16582:1;16579;16575:9;16638:1;16634;16630:2;16626:10;16623:17;16616:25;16611:1;16604:9;16597:17;16593:49;16590:2;;;16654:1;16652;16645:11;16590:2;16687:4;16683:2;16679:13;16713:2;16704:7;16701:15;16698:2;;;16728:1;16726;16719:11;16698:2;16743:18;;;;-1:-1:-1;;16546:2:8;16367:405;;16362:1;16360;16356:8;16351:13;;16324:448;;;16210:567;16136:641;;16145:53;16160:1;16162:18;;;;16195:1;16190:6;;16153:44;;16162:18;16175:4;16170:9;;16153:44;;16136:641;;16131:650;;;;;:::o;15941:102::-;15999:6;16031:8;16015:13;16023:1;16026;16015:7;:13::i;:::-;:24;;;;;;;15941:102;-1:-1:-1;;;15941:102:8:o;1274:134:2:-;1332:7;1358:43;1362:1;1365;1358:43;;;;;;;;;;;;;;;;;:3;:43::i;834:176::-;892:7;923:5;;;946:6;;;;938:46;;;;;-1:-1:-1;;;938:46:2;;;;;;;;;;;;;;;;;;;;;;;;;;;557:797:7;617:4;1265:20;;1110:66;1304:15;;;;;:42;;-1:-1:-1;1323:23:7;;;557:797;-1:-1:-1;;557:797:7:o;2159:459:2:-;2217:7;2458:6;2454:45;;-1:-1:-1;2487:1:2;2480:8;;2454:45;2521:5;;;2525:1;2521;:5;:1;2544:5;;;;;:10;2536:56;;;;-1:-1:-1;;;2536:56:2;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;3073:130;3131:7;3157:39;3161:1;3164;3157:39;;;;;;;;;;;;;;;;;:3;:39::i;10292:532:8:-;-1:-1:-1;;;;;10429:21:8;;10421:66;;;;;-1:-1:-1;;;10421:66:8;;;;;;;;;;;;;;;;;;;;;;;;;;;;;10535:12;;:24;;10552:6;10535:24;:16;:24;:::i;:::-;10520:12;:39;-1:-1:-1;;;;;10584:18:8;;:9;:18;;;;;;;;;;;:30;;10607:6;10584:30;:22;:30;:::i;:::-;-1:-1:-1;;;;;10563:18:8;;:9;:18;;;;;;;;;;:51;;;;10619:88;;10639:8;;10573:7;10670:6;10678:8;10688:12;10702:4;10619:19;:88::i;:::-;10734:7;-1:-1:-1;;;;;10717:57:8;10724:8;-1:-1:-1;;;;;10717:57:8;;10743:6;10751:8;10761:12;10717:57;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;23:1:-1;8:100;33:3;30:1;27:10;8:100;;;90:11;;;84:18;71:11;;;64:39;52:2;45:10;8:100;;;12:14;10717:57:8;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;10717:57:8;;;;;;;;;;;;;;;;;;;;;;23:1:-1;8:100;33:3;30:1;27:10;8:100;;;90:11;;;84:18;71:11;;;64:39;52:2;45:10;8:100;;;12:14;10717:57:8;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;10783:37;;;;;;;;-1:-1:-1;;;;;10783:37:8;;;10800:1;;10783:37;;;;;;;;;10292:532;;;;;:::o;16859:111::-;16915:6;16935;;;:30;;-1:-1:-1;;16950:5:8;;;16964:1;16959;16950:5;16959:1;16945:15;;;;;:20;16935:30;16927:39;;;;;3718:338:2;3804:7;3904:12;3897:5;3889:28;;;;-1:-1:-1;;;3889:28:2;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;27:10:-1;;8:100;;90:11;;;84:18;71:11;;;64:39;52:2;45:10;8:100;;3889:28:2;;3927:9;3943:1;3939;:5;;;;;;;3718:338;-1:-1:-1;;;;;3718:338:2:o

bzzr://3dc93d980096f1d30451c109554cbcfca5f992eefdb74fa9e592faa67a0b6683