Contract Source Code (Solidity Standard Json-Input format)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta
• Remix IDE

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

// Be name Khoda
// Bime Abolfazl

// SPDX-License-Identifier: GPL-2.0-or-later
pragma solidity >=0.6.11;

import "./DEIPool.sol";

contract Pool_USDC is DEIPool {
    address public USDC_address;
    constructor(
        address _dei_contract_address,
        address _deus_contract_address,
        address _collateral_address,
        address _trusty_address,
        address _admin_address,
        uint256 _pool_ceiling,
        address _library
    ) 
    DEIPool(_dei_contract_address, _deus_contract_address, _collateral_address, _trusty_address, _admin_address, _pool_ceiling, _library)
    public {
        require(_collateral_address != address(0), "Zero address detected");

        _setupRole(DEFAULT_ADMIN_ROLE, _msgSender());
        USDC_address = _collateral_address;
    }
}

//Dar panah khoda

// Be name Khoda
// Bime Abolfazl

// SPDX-License-Identifier: GPL-2.0-or-later
pragma solidity ^0.8.0;
pragma abicoder v2;
// =================================================================================================================
//  _|_|_|    _|_|_|_|  _|    _|    _|_|_|      _|_|_|_|  _|                                                       |
//  _|    _|  _|        _|    _|  _|            _|            _|_|_|      _|_|_|  _|_|_|      _|_|_|    _|_|       |
//  _|    _|  _|_|_|    _|    _|    _|_|        _|_|_|    _|  _|    _|  _|    _|  _|    _|  _|        _|_|_|_|     |
//  _|    _|  _|        _|    _|        _|      _|        _|  _|    _|  _|    _|  _|    _|  _|        _|           |
//  _|_|_|    _|_|_|_|    _|_|    _|_|_|        _|        _|  _|    _|    _|_|_|  _|    _|    _|_|_|    _|_|_|     |
// =================================================================================================================
// ============================= DEIPool =============================
// ====================================================================
// DEUS Finance: https://github.com/DeusFinance

// Primary Author(s)
// Travis Moore: https://github.com/FortisFortuna
// Jason Huan: https://github.com/jasonhuan
// Sam Kazemian: https://github.com/samkazemian
// Vahid Gh: https://github.com/vahid-dev
// SAYaghoubnejad: https://github.com/SAYaghoubnejad

// Reviewer(s) / Contributor(s)
// Sam Sun: https://github.com/samczsun

import "../../Uniswap/TransferHelper.sol";
import "../../DEUS/IDEUS.sol";
import "../../DEI/IDEI.sol";
import "../../ERC20/ERC20.sol";
import "../../Governance/AccessControl.sol";
import "./DEIPoolLibrary.sol";

contract DEIPool is AccessControl {

    struct RecollateralizeDEI {
		uint256 collateral_amount;
		uint256 pool_collateral_price;
		uint256[] collateral_price;
		uint256 deus_current_price;
		uint256 expireBlock;
		bytes[] sigs;
    }

	/* ========== STATE VARIABLES ========== */

	ERC20 private collateral_token;
	address private collateral_address;

	address private dei_contract_address;
	address private deus_contract_address;

	uint256 public minting_fee;
	uint256 public redemption_fee;
	uint256 public buyback_fee;
	uint256 public recollat_fee;

	mapping(address => uint256) public redeemDEUSBalances;
	mapping(address => uint256) public redeemCollateralBalances;
	uint256 public unclaimedPoolCollateral;
	uint256 public unclaimedPoolDEUS;
	mapping(address => uint256) public lastRedeemed;

	// Constants for various precisions
	uint256 private constant PRICE_PRECISION = 1e6;
	uint256 private constant COLLATERAL_RATIO_PRECISION = 1e6;
	uint256 private constant COLLATERAL_RATIO_MAX = 1e6;

	// Number of decimals needed to get to 18
	uint256 private immutable missing_decimals;

	// Pool_ceiling is the total units of collateral that a pool contract can hold
	uint256 public pool_ceiling = 0;

	// Stores price of the collateral, if price is paused
	uint256 public pausedPrice = 0;

	// Bonus rate on DEUS minted during recollateralizeDEI(); 6 decimals of precision, set to 0.75% on genesis
	uint256 public bonus_rate = 7500;

	// Number of blocks to wait before being able to collectRedemption()
	uint256 public redemption_delay = 2;

	// Minting/Redeeming fees goes to daoWallet
	uint256 public daoShare = 0;

	DEIPoolLibrary poolLibrary;

	// AccessControl Roles
	bytes32 private constant MINT_PAUSER = keccak256("MINT_PAUSER");
	bytes32 private constant REDEEM_PAUSER = keccak256("REDEEM_PAUSER");
	bytes32 private constant BUYBACK_PAUSER = keccak256("BUYBACK_PAUSER");
	bytes32 private constant RECOLLATERALIZE_PAUSER = keccak256("RECOLLATERALIZE_PAUSER");
    bytes32 public constant TRUSTY_ROLE = keccak256("TRUSTY_ROLE");
	bytes32 public constant DAO_SHARE_COLLECTOR = keccak256("DAO_SHARE_COLLECTOR");
	bytes32 public constant PARAMETER_SETTER_ROLE = keccak256("PARAMETER_SETTER_ROLE");

	// AccessControl state variables
	bool public mintPaused = false;
	bool public redeemPaused = false;
	bool public recollateralizePaused = false;
	bool public buyBackPaused = false;

	/* ========== MODIFIERS ========== */

	modifier onlyByTrusty() {
		require(
			hasRole(TRUSTY_ROLE, msg.sender),
			"POOL::you are not trusty"
		);
		_;
	}

	modifier notRedeemPaused() {
		require(redeemPaused == false, "POOL::Redeeming is paused");
		_;
	}

	modifier notMintPaused() {
		require(mintPaused == false, "POOL::Minting is paused");
		_;
	}

	/* ========== CONSTRUCTOR ========== */

	constructor(
		address _dei_contract_address,
		address _deus_contract_address,
		address _collateral_address,
		address _trusty_address,
		address _admin_address,
		uint256 _pool_ceiling,
		address _library
	) {
		require(
			(_dei_contract_address != address(0)) &&
				(_deus_contract_address != address(0)) &&
				(_collateral_address != address(0)) &&
				(_trusty_address != address(0)) &&
				(_admin_address != address(0)) &&
				(_library != address(0)),
			"POOL::Zero address detected"
		);
		poolLibrary = DEIPoolLibrary(_library);
		dei_contract_address = _dei_contract_address;
		deus_contract_address = _deus_contract_address;
		collateral_address = _collateral_address;
		collateral_token = ERC20(_collateral_address);
		pool_ceiling = _pool_ceiling;
		missing_decimals = uint256(18) - collateral_token.decimals();

		_setupRole(DEFAULT_ADMIN_ROLE, _admin_address);
		_setupRole(MINT_PAUSER, _trusty_address);
		_setupRole(REDEEM_PAUSER, _trusty_address);
		_setupRole(RECOLLATERALIZE_PAUSER, _trusty_address);
		_setupRole(BUYBACK_PAUSER, _trusty_address);
        _setupRole(TRUSTY_ROLE, _trusty_address);
        _setupRole(TRUSTY_ROLE, _trusty_address);
        _setupRole(PARAMETER_SETTER_ROLE, _trusty_address);
	}

	/* ========== VIEWS ========== */

	// Returns dollar value of collateral held in this DEI pool
	function collatDollarBalance(uint256 collat_usd_price) public view returns (uint256) {
		return ((collateral_token.balanceOf(address(this)) - unclaimedPoolCollateral) * (10**missing_decimals) * collat_usd_price) / (PRICE_PRECISION);
	}

	// Returns the value of excess collateral held in this DEI pool, compared to what is needed to maintain the global collateral ratio
	function availableExcessCollatDV(uint256[] memory collat_usd_price) public view returns (uint256) {
		uint256 total_supply = IDEIStablecoin(dei_contract_address).totalSupply();
		uint256 global_collateral_ratio = IDEIStablecoin(dei_contract_address).global_collateral_ratio();
		uint256 global_collat_value = IDEIStablecoin(dei_contract_address).globalCollateralValue(collat_usd_price);

		if (global_collateral_ratio > COLLATERAL_RATIO_PRECISION)
			global_collateral_ratio = COLLATERAL_RATIO_PRECISION; // Handles an overcollateralized contract with CR > 1
		uint256 required_collat_dollar_value_d18 = (total_supply * global_collateral_ratio) / (COLLATERAL_RATIO_PRECISION); // Calculates collateral needed to back each 1 DEI with $1 of collateral at current collat ratio
		if (global_collat_value > required_collat_dollar_value_d18)
			return global_collat_value - required_collat_dollar_value_d18;
		else return 0;
	}

	function getChainID() public view returns (uint256) {
        uint256 id;
        assembly {
            id := chainid()
        }
        return id;
    }

	/* ========== PUBLIC FUNCTIONS ========== */

	// We separate out the 1t1, fractional and algorithmic minting functions for gas efficiency
	function mint1t1DEI(uint256 collateral_amount, uint256 collateral_price, uint256 expireBlock, bytes[] calldata sigs)
		external
		notMintPaused
		returns (uint256 dei_amount_d18)
	{

		require(
			IDEIStablecoin(dei_contract_address).global_collateral_ratio() >= COLLATERAL_RATIO_MAX,
			"Collateral ratio must be >= 1"
		);
		require(
			collateral_token.balanceOf(address(this)) - unclaimedPoolCollateral +  collateral_amount <= pool_ceiling,
			"[Pool's Closed]: Ceiling reached"
		);

		require(expireBlock >= block.number, "POOL::mint1t1DEI: signature is expired");
        bytes32 sighash = keccak256(abi.encodePacked(collateral_address, collateral_price, expireBlock, getChainID()));
		require(IDEIStablecoin(dei_contract_address).verify_price(sighash, sigs), "POOL::mint1t1DEI: invalid signatures");

		uint256 collateral_amount_d18 = collateral_amount * (10**missing_decimals);
		dei_amount_d18 = poolLibrary.calcMint1t1DEI(
			collateral_price,
			collateral_amount_d18
		); //1 DEI for each $1 worth of collateral

		dei_amount_d18 = (dei_amount_d18 * (uint256(1e6) - minting_fee)) / 1e6; //remove precision at the end

		TransferHelper.safeTransferFrom(
			address(collateral_token),
			msg.sender,
			address(this),
			collateral_amount
		);

		daoShare += dei_amount_d18 *  minting_fee / 1e6;
		IDEIStablecoin(dei_contract_address).pool_mint(msg.sender, dei_amount_d18);
	}

	// 0% collateral-backed
	function mintAlgorithmicDEI(
		uint256 deus_amount_d18,
		uint256 deus_current_price,
		uint256 expireBlock,
		bytes[] calldata sigs
	) external notMintPaused returns (uint256 dei_amount_d18) {
		require(
			IDEIStablecoin(dei_contract_address).global_collateral_ratio() == 0,
			"Collateral ratio must be 0"
		);
		require(expireBlock >= block.number, "POOL::mintAlgorithmicDEI: signature is expired.");
		bytes32 sighash = keccak256(abi.encodePacked(deus_contract_address, deus_current_price, expireBlock, getChainID()));
		require(IDEIStablecoin(dei_contract_address).verify_price(sighash, sigs), "POOL::mintAlgorithmicDEI: invalid signatures");

		dei_amount_d18 = poolLibrary.calcMintAlgorithmicDEI(
			deus_current_price, // X DEUS / 1 USD
			deus_amount_d18
		);

		dei_amount_d18 = (dei_amount_d18 * (uint256(1e6) - (minting_fee))) / (1e6);
		daoShare += dei_amount_d18 *  minting_fee / 1e6;

		IDEUSToken(deus_contract_address).pool_burn_from(msg.sender, deus_amount_d18);
		IDEIStablecoin(dei_contract_address).pool_mint(msg.sender, dei_amount_d18);
	}

	// Will fail if fully collateralized or fully algorithmic
	// > 0% and < 100% collateral-backed
	function mintFractionalDEI(
		uint256 collateral_amount,
		uint256 deus_amount,
		uint256 collateral_price,
		uint256 deus_current_price,
		uint256 expireBlock,
		bytes[] calldata sigs
	) external notMintPaused returns (uint256 mint_amount) {
		uint256 global_collateral_ratio = IDEIStablecoin(dei_contract_address).global_collateral_ratio();
		require(
			global_collateral_ratio < COLLATERAL_RATIO_MAX && global_collateral_ratio > 0,
			"Collateral ratio needs to be between .000001 and .999999"
		);
		require(
			collateral_token.balanceOf(address(this)) - unclaimedPoolCollateral + collateral_amount <= pool_ceiling,
			"Pool ceiling reached, no more DEI can be minted with this collateral"
		);

		require(expireBlock >= block.number, "POOL::mintFractionalDEI: signature is expired.");
		bytes32 sighash = keccak256(abi.encodePacked(collateral_address, collateral_price, deus_contract_address, deus_current_price, expireBlock, getChainID()));
		require(IDEIStablecoin(dei_contract_address).verify_price(sighash, sigs), "POOL::mintFractionalDEI: invalid signatures");

		DEIPoolLibrary.MintFD_Params memory input_params;

		// Blocking is just for solving stack depth problem
		{
			uint256 collateral_amount_d18 = collateral_amount * (10**missing_decimals);
			input_params = DEIPoolLibrary.MintFD_Params(
											deus_current_price,
											collateral_price,
											collateral_amount_d18,
											global_collateral_ratio
										);
		}						

		uint256 deus_needed;
		(mint_amount, deus_needed) = poolLibrary.calcMintFractionalDEI(input_params);
		require(deus_needed <= deus_amount, "Not enough DEUS inputted");
		
		mint_amount = (mint_amount * (uint256(1e6) - minting_fee)) / (1e6);

		IDEUSToken(deus_contract_address).pool_burn_from(msg.sender, deus_needed);
		TransferHelper.safeTransferFrom(
			address(collateral_token),
			msg.sender,
			address(this),
			collateral_amount
		);

		daoShare += mint_amount *  minting_fee / 1e6;
		IDEIStablecoin(dei_contract_address).pool_mint(msg.sender, mint_amount);
	}

	// Redeem collateral. 100% collateral-backed
	function redeem1t1DEI(uint256 DEI_amount, uint256 collateral_price, uint256 expireBlock, bytes[] calldata sigs)
		external
		notRedeemPaused
	{
		require(
			IDEIStablecoin(dei_contract_address).global_collateral_ratio() == COLLATERAL_RATIO_MAX,
			"Collateral ratio must be == 1"
		);

		require(expireBlock >= block.number, "POOL::mintAlgorithmicDEI: signature is expired.");
        bytes32 sighash = keccak256(abi.encodePacked(collateral_address, collateral_price, expireBlock, getChainID()));
		require(IDEIStablecoin(dei_contract_address).verify_price(sighash, sigs), "POOL::redeem1t1DEI: invalid signatures");

		// Need to adjust for decimals of collateral
		uint256 DEI_amount_precision = DEI_amount / (10**missing_decimals);
		uint256 collateral_needed = poolLibrary.calcRedeem1t1DEI(
			collateral_price,
			DEI_amount_precision
		);

		collateral_needed = (collateral_needed * (uint256(1e6) - redemption_fee)) / (1e6);
		require(
			collateral_needed <= collateral_token.balanceOf(address(this)) - unclaimedPoolCollateral,
			"Not enough collateral in pool"
		);

		redeemCollateralBalances[msg.sender] = redeemCollateralBalances[msg.sender] + collateral_needed;
		unclaimedPoolCollateral = unclaimedPoolCollateral + collateral_needed;
		lastRedeemed[msg.sender] = block.number;

		daoShare += DEI_amount * redemption_fee / 1e6;
		// Move all external functions to the end
		IDEIStablecoin(dei_contract_address).pool_burn_from(msg.sender, DEI_amount);
	}

	// Will fail if fully collateralized or algorithmic
	// Redeem DEI for collateral and DEUS. > 0% and < 100% collateral-backed
	function redeemFractionalDEI(
		uint256 DEI_amount,
		uint256 collateral_price, 
		uint256 deus_current_price,
		uint256 expireBlock,
		bytes[] calldata sigs
	) external notRedeemPaused {
		uint256 global_collateral_ratio = IDEIStablecoin(dei_contract_address).global_collateral_ratio();
		require(
			global_collateral_ratio < COLLATERAL_RATIO_MAX && global_collateral_ratio > 0,
			"POOL::redeemFractionalDEI: Collateral ratio needs to be between .000001 and .999999"
		);

		require(expireBlock >= block.number, "DEI::redeemFractionalDEI: signature is expired");
		bytes32 sighash = keccak256(abi.encodePacked(collateral_address, collateral_price, deus_contract_address, deus_current_price, expireBlock, getChainID()));
		require(IDEIStablecoin(dei_contract_address).verify_price(sighash, sigs), "POOL::redeemFractionalDEI: invalid signatures");

		// Blocking is just for solving stack depth problem
		uint256 deus_amount;
		uint256 collateral_amount;
		{
			uint256 col_price_usd = collateral_price;

			uint256 DEI_amount_post_fee = (DEI_amount * (uint256(1e6) - redemption_fee)) / (PRICE_PRECISION);

			uint256 deus_dollar_value_d18 = DEI_amount_post_fee - ((DEI_amount_post_fee * global_collateral_ratio) / (PRICE_PRECISION));
			deus_amount = deus_dollar_value_d18 * (PRICE_PRECISION) / (deus_current_price);

			// Need to adjust for decimals of collateral
			uint256 DEI_amount_precision = DEI_amount_post_fee / (10**missing_decimals);
			uint256 collateral_dollar_value = (DEI_amount_precision * global_collateral_ratio) / PRICE_PRECISION;
			collateral_amount = (collateral_dollar_value * PRICE_PRECISION) / (col_price_usd);
		}
		require(
			collateral_amount <= collateral_token.balanceOf(address(this)) - unclaimedPoolCollateral,
			"Not enough collateral in pool"
		);

		redeemCollateralBalances[msg.sender] = redeemCollateralBalances[msg.sender] + collateral_amount;
		unclaimedPoolCollateral = unclaimedPoolCollateral + collateral_amount;

		redeemDEUSBalances[msg.sender] = redeemDEUSBalances[msg.sender] + deus_amount;
		unclaimedPoolDEUS = unclaimedPoolDEUS + deus_amount;

		lastRedeemed[msg.sender] = block.number;

		daoShare += DEI_amount * redemption_fee / 1e6;
		// Move all external functions to the end
		IDEIStablecoin(dei_contract_address).pool_burn_from(msg.sender, DEI_amount);
		IDEUSToken(deus_contract_address).pool_mint(address(this), deus_amount);
	}

	// Redeem DEI for DEUS. 0% collateral-backed
	function redeemAlgorithmicDEI(
		uint256 DEI_amount,
		uint256 deus_current_price,
		uint256 expireBlock,
		bytes[] calldata sigs
	) external notRedeemPaused {
		require(IDEIStablecoin(dei_contract_address).global_collateral_ratio() == 0, "POOL::redeemAlgorithmicDEI: Collateral ratio must be 0");

		require(expireBlock >= block.number, "DEI::redeemAlgorithmicDEI: signature is expired.");
		bytes32 sighash = keccak256(abi.encodePacked(deus_contract_address, deus_current_price, expireBlock, getChainID()));
		require(IDEIStablecoin(dei_contract_address).verify_price(sighash, sigs), "POOL::redeemAlgorithmicDEI: invalid signatures");

		uint256 deus_dollar_value_d18 = DEI_amount;

		deus_dollar_value_d18 = (deus_dollar_value_d18 * (uint256(1e6) - redemption_fee)) / 1e6; //apply fees

		uint256 deus_amount = (deus_dollar_value_d18 * (PRICE_PRECISION)) / deus_current_price;

		redeemDEUSBalances[msg.sender] = redeemDEUSBalances[msg.sender] + deus_amount;
		unclaimedPoolDEUS = unclaimedPoolDEUS + deus_amount;

		lastRedeemed[msg.sender] = block.number;

		daoShare += DEI_amount * redemption_fee / 1e6;
		// Move all external functions to the end
		IDEIStablecoin(dei_contract_address).pool_burn_from(msg.sender, DEI_amount);
		IDEUSToken(deus_contract_address).pool_mint(address(this), deus_amount);
	}

	// After a redemption happens, transfer the newly minted DEUS and owed collateral from this pool
	// contract to the user. Redemption is split into two functions to prevent flash loans from being able
	// to take out DEI/collateral from the system, use an AMM to trade the new price, and then mint back into the system.
	function collectRedemption() external {
		require(
			(lastRedeemed[msg.sender] + redemption_delay) <= block.number,
			"POOL::collectRedemption: Must wait for redemption_delay blocks before collecting redemption"
		);
		bool sendDEUS = false;
		bool sendCollateral = false;
		uint256 DEUSAmount = 0;
		uint256 CollateralAmount = 0;

		// Use Checks-Effects-Interactions pattern
		if (redeemDEUSBalances[msg.sender] > 0) {
			DEUSAmount = redeemDEUSBalances[msg.sender];
			redeemDEUSBalances[msg.sender] = 0;
			unclaimedPoolDEUS = unclaimedPoolDEUS - DEUSAmount;

			sendDEUS = true;
		}

		if (redeemCollateralBalances[msg.sender] > 0) {
			CollateralAmount = redeemCollateralBalances[msg.sender];
			redeemCollateralBalances[msg.sender] = 0;
			unclaimedPoolCollateral = unclaimedPoolCollateral - CollateralAmount;
			sendCollateral = true;
		}

		if (sendDEUS) {
			TransferHelper.safeTransfer(address(deus_contract_address), msg.sender, DEUSAmount);
		}
		if (sendCollateral) {
			TransferHelper.safeTransfer(
				address(collateral_token),
				msg.sender,
				CollateralAmount
			);
		}
	}

	// When the protocol is recollateralizing, we need to give a discount of DEUS to hit the new CR target
	// Thus, if the target collateral ratio is higher than the actual value of collateral, minters get DEUS for adding collateral
	// This function simply rewards anyone that sends collateral to a pool with the same amount of DEUS + the bonus rate
	// Anyone can call this function to recollateralize the protocol and take the extra DEUS value from the bonus rate as an arb opportunity
	function recollateralizeDEI(RecollateralizeDEI memory inputs) external {
		require(recollateralizePaused == false, "POOL::recollateralizeDEI: Recollateralize is paused");

		require(inputs.expireBlock >= block.number, "POOL::recollateralizeDEI: signature is expired.");
		bytes32 sighash = keccak256(abi.encodePacked(
                                        collateral_address, 
                                        inputs.collateral_price,
                                        deus_contract_address, 
                                        inputs.deus_current_price, 
                                        inputs.expireBlock,
										getChainID()
                                    ));
		require(IDEIStablecoin(dei_contract_address).verify_price(sighash, inputs.sigs), "POOL::recollateralizeDEI: invalid signatures");

		uint256 collateral_amount_d18 = inputs.collateral_amount * (10**missing_decimals);

		uint256 dei_total_supply = IDEIStablecoin(dei_contract_address).totalSupply();
		uint256 global_collateral_ratio = IDEIStablecoin(dei_contract_address).global_collateral_ratio();
		uint256 global_collat_value = IDEIStablecoin(dei_contract_address).globalCollateralValue(inputs.collateral_price);

		(uint256 collateral_units, uint256 amount_to_recollat) = poolLibrary.calcRecollateralizeDEIInner(
																				collateral_amount_d18,
																				inputs.collateral_price[inputs.collateral_price.length - 1], // pool collateral price exist in last index
																				global_collat_value,
																				dei_total_supply,
																				global_collateral_ratio
																			);

		uint256 collateral_units_precision = collateral_units / (10**missing_decimals);

		uint256 deus_paid_back = (amount_to_recollat * (uint256(1e6) + bonus_rate - recollat_fee)) / inputs.deus_current_price;

		TransferHelper.safeTransferFrom(
			address(collateral_token),
			msg.sender,
			address(this),
			collateral_units_precision
		);
		IDEUSToken(deus_contract_address).pool_mint(msg.sender, deus_paid_back);
	}

	// Function can be called by an DEUS holder to have the protocol buy back DEUS with excess collateral value from a desired collateral pool
	// This can also happen if the collateral ratio > 1
	function buyBackDEUS(
		uint256 DEUS_amount,
		uint256[] memory collateral_price,
		uint256 deus_current_price,
		uint256 expireBlock,
		bytes[] calldata sigs
	) external {
		require(buyBackPaused == false, "POOL::buyBackDEUS: Buyback is paused");
		require(expireBlock >= block.number, "DEI::buyBackDEUS: signature is expired.");
		bytes32 sighash = keccak256(abi.encodePacked(
										collateral_address,
										collateral_price,
										deus_contract_address,
										deus_current_price,
										expireBlock,
										getChainID()));
		require(IDEIStablecoin(dei_contract_address).verify_price(sighash, sigs), "POOL::buyBackDEUS: invalid signatures");

		DEIPoolLibrary.BuybackDEUS_Params memory input_params = DEIPoolLibrary.BuybackDEUS_Params(
													availableExcessCollatDV(collateral_price),
													deus_current_price,
													collateral_price[collateral_price.length - 1], // pool collateral price exist in last index
													DEUS_amount
												);

		uint256 collateral_equivalent_d18 = (poolLibrary.calcBuyBackDEUS(input_params) * (uint256(1e6) - buyback_fee)) / (1e6);
		uint256 collateral_precision = collateral_equivalent_d18 / (10**missing_decimals);

		// Give the sender their desired collateral and burn the DEUS
		IDEUSToken(deus_contract_address).pool_burn_from(msg.sender, DEUS_amount);
		TransferHelper.safeTransfer(
			address(collateral_token),
			msg.sender,
			collateral_precision
		);
	}

	/* ========== RESTRICTED FUNCTIONS ========== */

	function collectDaoShare(uint256 amount, address to) external {
		require(hasRole(DAO_SHARE_COLLECTOR, msg.sender));
		require(amount <= daoShare, "amount<=daoShare");
		IDEIStablecoin(dei_contract_address).pool_mint(to, amount);
		daoShare -= amount;

		emit daoShareCollected(amount, to);
	}

	function emergencyWithdrawERC20(address token, uint amount, address to) external onlyByTrusty {
		IERC20(token).transfer(to, amount);
	}

	function toggleMinting() external {
		require(hasRole(MINT_PAUSER, msg.sender));
		mintPaused = !mintPaused;

		emit MintingToggled(mintPaused);
	}

	function toggleRedeeming() external {
		require(hasRole(REDEEM_PAUSER, msg.sender));
		redeemPaused = !redeemPaused;

		emit RedeemingToggled(redeemPaused);
	}

	function toggleRecollateralize() external {
		require(hasRole(RECOLLATERALIZE_PAUSER, msg.sender));
		recollateralizePaused = !recollateralizePaused;

		emit RecollateralizeToggled(recollateralizePaused);
	}

	function toggleBuyBack() external {
		require(hasRole(BUYBACK_PAUSER, msg.sender));
		buyBackPaused = !buyBackPaused;

		emit BuybackToggled(buyBackPaused);
	}

	// Combined into one function due to 24KiB contract memory limit
	function setPoolParameters(
		uint256 new_ceiling,
		uint256 new_bonus_rate,
		uint256 new_redemption_delay,
		uint256 new_mint_fee,
		uint256 new_redeem_fee,
		uint256 new_buyback_fee,
		uint256 new_recollat_fee
	) external {
		require(hasRole(PARAMETER_SETTER_ROLE, msg.sender), "POOL: Caller is not PARAMETER_SETTER_ROLE");
		pool_ceiling = new_ceiling;
		bonus_rate = new_bonus_rate;
		redemption_delay = new_redemption_delay;
		minting_fee = new_mint_fee;
		redemption_fee = new_redeem_fee;
		buyback_fee = new_buyback_fee;
		recollat_fee = new_recollat_fee;

		emit PoolParametersSet(
			new_ceiling,
			new_bonus_rate,
			new_redemption_delay,
			new_mint_fee,
			new_redeem_fee,
			new_buyback_fee,
			new_recollat_fee
		);
	}

	/* ========== EVENTS ========== */

	event PoolParametersSet(
		uint256 new_ceiling,
		uint256 new_bonus_rate,
		uint256 new_redemption_delay,
		uint256 new_mint_fee,
		uint256 new_redeem_fee,
		uint256 new_buyback_fee,
		uint256 new_recollat_fee
	);
	event daoShareCollected(uint256 daoShare, address to);
	event MintingToggled(bool toggled);
	event RedeemingToggled(bool toggled);
	event RecollateralizeToggled(bool toggled);
	event BuybackToggled(bool toggled);
}

//Dar panah khoda

// SPDX-License-Identifier: MIT
pragma solidity >=0.6.11;

// helper methods for interacting with ERC20 tokens and sending ETH that do not consistently return true/false
library TransferHelper {
    function safeApprove(address token, address to, uint value) internal {
        // bytes4(keccak256(bytes('approve(address,uint256)')));
        (bool success, bytes memory data) = token.call(abi.encodeWithSelector(0x095ea7b3, to, value));
        require(success && (data.length == 0 || abi.decode(data, (bool))), 'TransferHelper: APPROVE_FAILED');
    }

    function safeTransfer(address token, address to, uint value) internal {
        // bytes4(keccak256(bytes('transfer(address,uint256)')));
        (bool success, bytes memory data) = token.call(abi.encodeWithSelector(0xa9059cbb, to, value));
        require(success && (data.length == 0 || abi.decode(data, (bool))), 'TransferHelper: TRANSFER_FAILED');
    }

    function safeTransferFrom(address token, address from, address to, uint value) internal {
        // bytes4(keccak256(bytes('transferFrom(address,address,uint256)')));
        (bool success, bytes memory data) = token.call(abi.encodeWithSelector(0x23b872dd, from, to, value));
        require(success && (data.length == 0 || abi.decode(data, (bool))), 'TransferHelper: TRANSFER_FROM_FAILED');
    }

    function safeTransferETH(address to, uint value) internal {
        (bool success,) = to.call{value:value}(new bytes(0));
        require(success, 'TransferHelper: ETH_TRANSFER_FAILED');
    }
}

// Be name Khoda
// Bime Abolfazl

// SPDX-License-Identifier: GPL-2.0-or-later

interface IDEUSToken {
    function setDEIAddress(address dei_contract_address) external;
    function mint(address to, uint256 amount) external;

    // This function is what other dei pools will call to mint new DEUS (similar to the DEI mint)
    function pool_mint(address m_address, uint256 m_amount) external;

    // This function is what other dei pools will call to burn DEUS
    function pool_burn_from(address b_address, uint256 b_amount) external;

    function toggleVotes() external;

    /* ========== OVERRIDDEN PUBLIC FUNCTIONS ========== */

    function transfer(address recipient, uint256 amount) external returns (bool);

    function transferFrom(
        address sender,
        address recipient,
        uint256 amount
    ) external returns (bool);

    /* ========== PUBLIC FUNCTIONS ========== */

    /**
     * @notice Gets the current votes balance for `account`
     * @param account The address to get votes balance
     * @return The number of current votes for `account`
     */
    function getCurrentVotes(address account) external view returns (uint96);

    /**
     * @notice Determine the prior number of votes for an account as of a block number
     * @dev Block number must be a finalized block or else this function will revert to prevent misinformation.
     * @param account The address of the account to check
     * @param blockNumber The block number to get the vote balance at
     * @return The number of votes the account had as of the given block
     */
    function getPriorVotes(address account, uint256 blockNumber)
        external
        view
        returns (uint96);
}

//Dar panah khoda

// Be name Khoda
// Bime Abolfazl

// SPDX-License-Identifier: GPL-2.0-or-later

interface IDEIStablecoin {

    function totalSupply() external view returns (uint256);

    function global_collateral_ratio() external view returns (uint256);
	
    function verify_price(bytes32 sighash, bytes[] calldata sigs) external view returns (bool);

	function dei_info(uint256 eth_usd_price, uint256 eth_collat_price)
		external
		view
		returns (
			uint256,
			uint256,
			uint256
		);

	function globalCollateralValue(uint256[] memory collat_usd_price) external view returns (uint256);

	function refreshCollateralRatio(uint256 dei_price_cur, uint256 expireBlock, bytes[] calldata sigs) external;

	function pool_burn_from(address b_address, uint256 b_amount) external;

	function pool_mint(address m_address, uint256 m_amount) external;

	function addPool(address pool_address) external;

	function removePool(address pool_address) external;

	function setDEIStep(uint256 _new_step) external;

	function setPriceTarget(uint256 _new_price_target) external;

	function setRefreshCooldown(uint256 _new_cooldown) external;

	function setDEUSAddress(address _deus_address) external;

	function setPriceBand(uint256 _price_band) external;
	
    function toggleCollateralRatio() external;
}

//Dar panah khoda

// SPDX-License-Identifier: MIT
pragma solidity >=0.6.11;

import "../Common/Context.sol";
import "./IERC20.sol";
import "../Math/SafeMath.sol";
import "../Utils/Address.sol";


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

    mapping (address => uint256) private _balances;

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

    uint256 private _totalSupply;

    string private _name;
    string private _symbol;
    uint8 private _decimals;
    
    /**
     * @dev Sets the values for {name} and {symbol}, initializes {decimals} with
     * a default value of 18.
     *
     * To select a different value for {decimals}, use {_setupDecimals}.
     *
     * All three of these values are immutable: they can only be set once during
     * construction.
     */
    constructor (string memory __name, string memory __symbol) public {
        _name = __name;
        _symbol = __symbol;
        _decimals = 18;
    }

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

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

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

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

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

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

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

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

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

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

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

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

        _beforeTokenTransfer(sender, recipient, amount);

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

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

        _beforeTokenTransfer(address(0), account, amount);

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

    /**
     * @dev Destroys `amount` tokens from the caller.
     *
     * See {ERC20-_burn}.
     */
    function burn(uint256 amount) public virtual {
        _burn(_msgSender(), amount);
    }

    /**
     * @dev Destroys `amount` tokens from `account`, deducting from the caller's
     * allowance.
     *
     * See {ERC20-_burn} and {ERC20-allowance}.
     *
     * Requirements:
     *
     * - the caller must have allowance for `accounts`'s tokens of at least
     * `amount`.
     */
    function burnFrom(address account, uint256 amount) public virtual {
        uint256 decreasedAllowance = allowance(account, _msgSender()).sub(amount, "ERC20: burn amount exceeds allowance");

        _approve(account, _msgSender(), decreasedAllowance);
        _burn(account, amount);
    }


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

        _beforeTokenTransfer(account, address(0), amount);

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

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

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

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

    /**
     * @dev Hook that is called before any transfer of tokens. This includes
     * minting and burning.
     *
     * Calling conditions:
     *
     * - when `from` and `to` are both non-zero, `amount` of `from`'s tokens
     * will be to transferred to `to`.
     * - when `from` is zero, `amount` tokens will be minted for `to`.
     * - when `to` is zero, `amount` of `from`'s tokens will be burned.
     * - `from` and `to` are never both zero.
     *
     * To learn more about hooks, head to xref:ROOT:using-hooks.adoc[Using Hooks].
     */
    function _beforeTokenTransfer(address from, address to, uint256 amount) internal virtual { }
}

// SPDX-License-Identifier: MIT

pragma solidity >=0.6.11;

import "../Utils/EnumerableSet.sol";
import "../Utils/Address.sol";
import "../Common/Context.sol";

/**
 * @dev Contract module that allows children to implement role-based access
 * control mechanisms.
 *
 * Roles are referred to by their `bytes32` identifier. These should be exposed
 * in the external API and be unique. The best way to achieve this is by
 * using `public constant` hash digests:
 *
 * ```
 * bytes32 public constant MY_ROLE = keccak256("MY_ROLE");
 * ```
 *
 * Roles can be used to represent a set of permissions. To restrict access to a
 * function call, use {hasRole}:
 *
 * ```
 * function foo() public {
 *     require(hasRole(MY_ROLE, msg.sender));
 *     ...
 * }
 * ```
 *
 * Roles can be granted and revoked dynamically via the {grantRole} and
 * {revokeRole} functions. Each role has an associated admin role, and only
 * accounts that have a role's admin role can call {grantRole} and {revokeRole}.
 *
 * By default, the admin role for all roles is `DEFAULT_ADMIN_ROLE`, which means
 * that only accounts with this role will be able to grant or revoke other
 * roles. More complex role relationships can be created by using
 * {_setRoleAdmin}.
 *
 * WARNING: The `DEFAULT_ADMIN_ROLE` is also its own admin: it has permission to
 * grant and revoke this role. Extra precautions should be taken to secure
 * accounts that have been granted it.
 */
abstract contract AccessControl is Context {
    using EnumerableSet for EnumerableSet.AddressSet;
    using Address for address;

    struct RoleData {
        EnumerableSet.AddressSet members;
        bytes32 adminRole;
    }

    mapping (bytes32 => RoleData) private _roles;

    bytes32 public constant DEFAULT_ADMIN_ROLE = 0x00; //bytes32(uint256(0x4B437D01b575618140442A4975db38850e3f8f5f) << 96);

    /**
     * @dev Emitted when `newAdminRole` is set as ``role``'s admin role, replacing `previousAdminRole`
     *
     * `DEFAULT_ADMIN_ROLE` is the starting admin for all roles, despite
     * {RoleAdminChanged} not being emitted signaling this.
     *
     * _Available since v3.1._
     */
    event RoleAdminChanged(bytes32 indexed role, bytes32 indexed previousAdminRole, bytes32 indexed newAdminRole);

    /**
     * @dev Emitted when `account` is granted `role`.
     *
     * `sender` is the account that originated the contract call, an admin role
     * bearer except when using {_setupRole}.
     */
    event RoleGranted(bytes32 indexed role, address indexed account, address indexed sender);

    /**
     * @dev Emitted when `account` is revoked `role`.
     *
     * `sender` is the account that originated the contract call:
     *   - if using `revokeRole`, it is the admin role bearer
     *   - if using `renounceRole`, it is the role bearer (i.e. `account`)
     */
    event RoleRevoked(bytes32 indexed role, address indexed account, address indexed sender);

    /**
     * @dev Returns `true` if `account` has been granted `role`.
     */
    function hasRole(bytes32 role, address account) public view returns (bool) {
        return _roles[role].members.contains(account);
    }

    /**
     * @dev Returns the number of accounts that have `role`. Can be used
     * together with {getRoleMember} to enumerate all bearers of a role.
     */
    function getRoleMemberCount(bytes32 role) public view returns (uint256) {
        return _roles[role].members.length();
    }

    /**
     * @dev Returns one of the accounts that have `role`. `index` must be a
     * value between 0 and {getRoleMemberCount}, non-inclusive.
     *
     * Role bearers are not sorted in any particular way, and their ordering may
     * change at any point.
     *
     * WARNING: When using {getRoleMember} and {getRoleMemberCount}, make sure
     * you perform all queries on the same block. See the following
     * https://forum.openzeppelin.com/t/iterating-over-elements-on-enumerableset-in-openzeppelin-contracts/2296[forum post]
     * for more information.
     */
    function getRoleMember(bytes32 role, uint256 index) public view returns (address) {
        return _roles[role].members.at(index);
    }

    /**
     * @dev Returns the admin role that controls `role`. See {grantRole} and
     * {revokeRole}.
     *
     * To change a role's admin, use {_setRoleAdmin}.
     */
    function getRoleAdmin(bytes32 role) public view returns (bytes32) {
        return _roles[role].adminRole;
    }

    /**
     * @dev Grants `role` to `account`.
     *
     * If `account` had not been already granted `role`, emits a {RoleGranted}
     * event.
     *
     * Requirements:
     *
     * - the caller must have ``role``'s admin role.
     */
    function grantRole(bytes32 role, address account) public virtual {
        require(hasRole(_roles[role].adminRole, _msgSender()), "AccessControl: sender must be an admin to grant");

        _grantRole(role, account);
    }

    /**
     * @dev Revokes `role` from `account`.
     *
     * If `account` had been granted `role`, emits a {RoleRevoked} event.
     *
     * Requirements:
     *
     * - the caller must have ``role``'s admin role.
     */
    function revokeRole(bytes32 role, address account) public virtual {
        require(hasRole(_roles[role].adminRole, _msgSender()), "AccessControl: sender must be an admin to revoke");

        _revokeRole(role, account);
    }

    /**
     * @dev Revokes `role` from the calling account.
     *
     * Roles are often managed via {grantRole} and {revokeRole}: this function's
     * purpose is to provide a mechanism for accounts to lose their privileges
     * if they are compromised (such as when a trusted device is misplaced).
     *
     * If the calling account had been granted `role`, emits a {RoleRevoked}
     * event.
     *
     * Requirements:
     *
     * - the caller must be `account`.
     */
    function renounceRole(bytes32 role, address account) public virtual {
        require(account == _msgSender(), "AccessControl: can only renounce roles for self");

        _revokeRole(role, account);
    }

    /**
     * @dev Grants `role` to `account`.
     *
     * If `account` had not been already granted `role`, emits a {RoleGranted}
     * event. Note that unlike {grantRole}, this function doesn't perform any
     * checks on the calling account.
     *
     * [WARNING]
     * ====
     * This function should only be called from the constructor when setting
     * up the initial roles for the system.
     *
     * Using this function in any other way is effectively circumventing the admin
     * system imposed by {AccessControl}.
     * ====
     */
    function _setupRole(bytes32 role, address account) internal virtual {
        _grantRole(role, account);
    }

    /**
     * @dev Sets `adminRole` as ``role``'s admin role.
     *
     * Emits a {RoleAdminChanged} event.
     */
    function _setRoleAdmin(bytes32 role, bytes32 adminRole) internal virtual {
        emit RoleAdminChanged(role, _roles[role].adminRole, adminRole);
        _roles[role].adminRole = adminRole;
    }

    function _grantRole(bytes32 role, address account) private {
        if (_roles[role].members.add(account)) {
            emit RoleGranted(role, account, _msgSender());
        }
    }

    function _revokeRole(bytes32 role, address account) private {
        if (_roles[role].members.remove(account)) {
            emit RoleRevoked(role, account, _msgSender());
        }
    }
}

// Be name Khoda
// Bime Abolfazl

// SPDX-License-Identifier: GPL-2.0-or-later
pragma solidity >=0.8.0;

contract DEIPoolLibrary {

    // Constants for various precisions
    uint256 private constant PRICE_PRECISION = 1e6;

    constructor() {}

    // ================ Structs ================
    // Needed to lower stack size
    struct MintFD_Params {
        uint256 deus_price_usd; 
        uint256 col_price_usd;
        uint256 collateral_amount;
        uint256 col_ratio;
    }

    struct BuybackDEUS_Params {
        uint256 excess_collateral_dollar_value_d18;
        uint256 deus_price_usd;
        uint256 col_price_usd;
        uint256 DEUS_amount;
    }

    // ================ Functions ================

    function calcMint1t1DEI(uint256 col_price, uint256 collateral_amount_d18) public pure returns (uint256) {
        return (collateral_amount_d18 * col_price) / (1e6);
    }

    function calcMintAlgorithmicDEI(uint256 deus_price_usd, uint256 deus_amount_d18) public pure returns (uint256) {
        return (deus_amount_d18 * deus_price_usd) / (1e6);
    }

    // Must be internal because of the struct
    function calcMintFractionalDEI(MintFD_Params memory params) public pure returns (uint256, uint256) {
        // Since solidity truncates division, every division operation must be the last operation in the equation to ensure minimum error
        // The contract must check the proper ratio was sent to mint DEI. We do this by seeing the minimum mintable DEI based on each amount 
        uint256 c_dollar_value_d18;
        
        // Scoping for stack concerns
        {    
            // USD amounts of the collateral and the DEUS
            c_dollar_value_d18 = (params.collateral_amount * params.col_price_usd) / (1e6);

        }
        uint calculated_deus_dollar_value_d18 = ((c_dollar_value_d18 * (1e6)) / params.col_ratio) - c_dollar_value_d18;

        uint calculated_deus_needed = (calculated_deus_dollar_value_d18 * (1e6)) / params.deus_price_usd;

        return (
            c_dollar_value_d18 + calculated_deus_dollar_value_d18,
            calculated_deus_needed
        );
    }

    function calcRedeem1t1DEI(uint256 col_price_usd, uint256 DEI_amount) public pure returns (uint256) {
        return (DEI_amount * (1e6)) / col_price_usd;
    }

    // Must be internal because of the struct
    function calcBuyBackDEUS(BuybackDEUS_Params memory params) public pure returns (uint256) {
        // If the total collateral value is higher than the amount required at the current collateral ratio then buy back up to the possible DEUS with the desired collateral
        require(params.excess_collateral_dollar_value_d18 > 0, "No excess collateral to buy back!");

        // Make sure not to take more than is available
        uint256 deus_dollar_value_d18 = (params.DEUS_amount * (params.deus_price_usd)) / (1e6);
        require(deus_dollar_value_d18 <= params.excess_collateral_dollar_value_d18, "You are trying to buy back more than the excess!");

        // Get the equivalent amount of collateral based on the market value of DEUS provided 
        uint256 collateral_equivalent_d18 = (deus_dollar_value_d18 * (1e6)) / params.col_price_usd;
        //collateral_equivalent_d18 = collateral_equivalent_d18.sub((collateral_equivalent_d18.mul(params.buyback_fee)).div(1e6));

        return collateral_equivalent_d18;

    }


    // Returns value of collateral that must increase to reach recollateralization target (if 0 means no recollateralization)
    function recollateralizeAmount(uint256 total_supply, uint256 global_collateral_ratio, uint256 global_collat_value) public pure returns (uint256) {
        uint256 target_collat_value = (total_supply * global_collateral_ratio) / (1e6); // We want 18 decimals of precision so divide by 1e6; total_supply is 1e18 and global_collateral_ratio is 1e6
        // Subtract the current value of collateral from the target value needed, if higher than 0 then system needs to recollateralize
        return target_collat_value - global_collat_value; // If recollateralization is not needed, throws a subtraction underflow
        // return(recollateralization_left);
    }

    function calcRecollateralizeDEIInner(
        uint256 collateral_amount, 
        uint256 col_price,
        uint256 global_collat_value,
        uint256 dei_total_supply,
        uint256 global_collateral_ratio
    ) public pure returns (uint256, uint256) {
        uint256 collat_value_attempted = (collateral_amount * col_price) / (1e6);
        uint256 effective_collateral_ratio = (global_collat_value * (1e6)) / dei_total_supply; //returns it in 1e6
        uint256 recollat_possible = (global_collateral_ratio * dei_total_supply - (dei_total_supply * effective_collateral_ratio)) / (1e6);

        uint256 amount_to_recollat;
        if(collat_value_attempted <= recollat_possible){
            amount_to_recollat = collat_value_attempted;
        } else {
            amount_to_recollat = recollat_possible;
        }

        return ((amount_to_recollat * (1e6)) / col_price, amount_to_recollat);

    }

}

//Dar panah khoda

// SPDX-License-Identifier: MIT
pragma solidity >=0.6.11;

/*
 * @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.
 */
abstract contract Context {
    function _msgSender() internal view virtual returns (address payable) {
        return payable(msg.sender);
    }

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

// SPDX-License-Identifier: MIT
pragma solidity >=0.6.11;

import "../Common/Context.sol";
import "../Math/SafeMath.sol";

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

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

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

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

    /**
     * @dev Sets `amount` as the allowance of `spender` over the caller's tokens.
     *
     * Returns a boolean value indicating whether the operation succeeded.
     *
     * IMPORTANT: Beware that changing an allowance with this method brings the risk
     * that someone may use both the old and the new allowance by unfortunate
     * transaction ordering. One possible solution to mitigate this race
     * condition is to first reduce the spender's allowance to 0 and set the
     * desired value afterwards:
     * https://github.com/ethereum/EIPs/issues/20#issuecomment-263524729
     *
     * Emits an {Approval} event.
     */
    function approve(address spender, uint256 amount) external returns (bool);

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

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

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

// SPDX-License-Identifier: MIT
pragma solidity >=0.6.11;

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

// SPDX-License-Identifier: MIT
pragma solidity >=0.6.11 <0.9.0;

/**
 * @dev Collection of functions related to the address type
 */
library Address {
    /**
     * @dev Returns true if `account` is 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.
     *
     * Among others, `isContract` will return false for the following
     * types of addresses:
     *
     *  - an externally-owned account
     *  - a contract in construction
     *  - an address where a contract will be created
     *  - an address where a contract lived, but was destroyed
     * ====
     */
    function isContract(address account) internal view returns (bool) {
        // This method relies on extcodesize, which returns 0 for contracts in
        // construction, since the code is only stored at the end of the
        // constructor execution.

        uint256 size;
        // solhint-disable-next-line no-inline-assembly
        assembly { size := extcodesize(account) }
        return size > 0;
    }

    /**
     * @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].
     */
    function sendValue(address payable recipient, uint256 amount) internal {
        require(address(this).balance >= amount, "Address: insufficient balance");

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

    /**
     * @dev Performs a Solidity function call using a low level `call`. A
     * plain`call` is an unsafe replacement for a function call: use this
     * function instead.
     *
     * If `target` reverts with a revert reason, it is bubbled up by this
     * function (like regular Solidity function calls).
     *
     * Returns the raw returned data. To convert to the expected return value,
     * use https://solidity.readthedocs.io/en/latest/units-and-global-variables.html?highlight=abi.decode#abi-encoding-and-decoding-functions[`abi.decode`].
     *
     * Requirements:
     *
     * - `target` must be a contract.
     * - calling `target` with `data` must not revert.
     *
     * _Available since v3.1._
     */
    function functionCall(address target, bytes memory data) internal returns (bytes memory) {
      return functionCall(target, data, "Address: low-level call failed");
    }

    /**
     * @dev Same as {xref-Address-functionCall-address-bytes-}[`functionCall`], but with
     * `errorMessage` as a fallback revert reason when `target` reverts.
     *
     * _Available since v3.1._
     */
    function functionCall(address target, bytes memory data, string memory errorMessage) internal returns (bytes memory) {
        return functionCallWithValue(target, data, 0, errorMessage);
    }

    /**
     * @dev Same as {xref-Address-functionCall-address-bytes-}[`functionCall`],
     * but also transferring `value` wei to `target`.
     *
     * Requirements:
     *
     * - the calling contract must have an ETH balance of at least `value`.
     * - the called Solidity function must be `payable`.
     *
     * _Available since v3.1._
     */
    function functionCallWithValue(address target, bytes memory data, uint256 value) internal returns (bytes memory) {
        return functionCallWithValue(target, data, value, "Address: low-level call with value failed");
    }

    /**
     * @dev Same as {xref-Address-functionCallWithValue-address-bytes-uint256-}[`functionCallWithValue`], but
     * with `errorMessage` as a fallback revert reason when `target` reverts.
     *
     * _Available since v3.1._
     */
    function functionCallWithValue(address target, bytes memory data, uint256 value, string memory errorMessage) internal returns (bytes memory) {
        require(address(this).balance >= value, "Address: insufficient balance for call");
        require(isContract(target), "Address: call to non-contract");

        // solhint-disable-next-line avoid-low-level-calls
        (bool success, bytes memory returndata) = target.call{ value: value }(data);
        return _verifyCallResult(success, returndata, errorMessage);
    }

    /**
     * @dev Same as {xref-Address-functionCall-address-bytes-}[`functionCall`],
     * but performing a static call.
     *
     * _Available since v3.3._
     */
    function functionStaticCall(address target, bytes memory data) internal view returns (bytes memory) {
        return functionStaticCall(target, data, "Address: low-level static call failed");
    }

    /**
     * @dev Same as {xref-Address-functionCall-address-bytes-string-}[`functionCall`],
     * but performing a static call.
     *
     * _Available since v3.3._
     */
    function functionStaticCall(address target, bytes memory data, string memory errorMessage) internal view returns (bytes memory) {
        require(isContract(target), "Address: static call to non-contract");

        // solhint-disable-next-line avoid-low-level-calls
        (bool success, bytes memory returndata) = target.staticcall(data);
        return _verifyCallResult(success, returndata, errorMessage);
    }

    /**
     * @dev Same as {xref-Address-functionCall-address-bytes-}[`functionCall`],
     * but performing a delegate call.
     *
     * _Available since v3.4._
     */
    function functionDelegateCall(address target, bytes memory data) internal returns (bytes memory) {
        return functionDelegateCall(target, data, "Address: low-level delegate call failed");
    }

    /**
     * @dev Same as {xref-Address-functionCall-address-bytes-string-}[`functionCall`],
     * but performing a delegate call.
     *
     * _Available since v3.4._
     */
    function functionDelegateCall(address target, bytes memory data, string memory errorMessage) internal returns (bytes memory) {
        require(isContract(target), "Address: delegate call to non-contract");

        // solhint-disable-next-line avoid-low-level-calls
        (bool success, bytes memory returndata) = target.delegatecall(data);
        return _verifyCallResult(success, returndata, errorMessage);
    }

    function _verifyCallResult(bool success, bytes memory returndata, string memory errorMessage) private pure returns(bytes memory) {
        if (success) {
            return returndata;
        } else {
            // Look for revert reason and bubble it up if present
            if (returndata.length > 0) {
                // The easiest way to bubble the revert reason is using memory via assembly

                // solhint-disable-next-line no-inline-assembly
                assembly {
                    let returndata_size := mload(returndata)
                    revert(add(32, returndata), returndata_size)
                }
            } else {
                revert(errorMessage);
            }
        }
    }
}

// SPDX-License-Identifier: MIT

pragma solidity >=0.6.11;

/**
 * @dev Library for managing
 * https://en.wikipedia.org/wiki/Set_(abstract_data_type)[sets] of primitive
 * types.
 *
 * Sets have the following properties:
 *
 * - Elements are added, removed, and checked for existence in constant time
 * (O(1)).
 * - Elements are enumerated in O(n). No guarantees are made on the ordering.
 *
 * ```
 * contract Example {
 *     // Add the library methods
 *     using EnumerableSet for EnumerableSet.AddressSet;
 *
 *     // Declare a set state variable
 *     EnumerableSet.AddressSet private mySet;
 * }
 * ```
 *
 * As of v3.0.0, only sets of type `address` (`AddressSet`) and `uint256`
 * (`UintSet`) are supported.
 */
library EnumerableSet {
    // To implement this library for multiple types with as little code
    // repetition as possible, we write it in terms of a generic Set type with
    // bytes32 values.
    // The Set implementation uses private functions, and user-facing
    // implementations (such as AddressSet) are just wrappers around the
    // underlying Set.
    // This means that we can only create new EnumerableSets for types that fit
    // in bytes32.

    struct Set {
        // Storage of set values
        bytes32[] _values;

        // Position of the value in the `values` array, plus 1 because index 0
        // means a value is not in the set.
        mapping (bytes32 => uint256) _indexes;
    }

    /**
     * @dev Add a value to a set. O(1).
     *
     * Returns true if the value was added to the set, that is if it was not
     * already present.
     */
    function _add(Set storage set, bytes32 value) private returns (bool) {
        if (!_contains(set, value)) {
            set._values.push(value);
            // The value is stored at length-1, but we add 1 to all indexes
            // and use 0 as a sentinel value
            set._indexes[value] = set._values.length;
            return true;
        } else {
            return false;
        }
    }

    /**
     * @dev Removes a value from a set. O(1).
     *
     * Returns true if the value was removed from the set, that is if it was
     * present.
     */
    function _remove(Set storage set, bytes32 value) private returns (bool) {
        // We read and store the value's index to prevent multiple reads from the same storage slot
        uint256 valueIndex = set._indexes[value];

        if (valueIndex != 0) { // Equivalent to contains(set, value)
            // To delete an element from the _values array in O(1), we swap the element to delete with the last one in
            // the array, and then remove the last element (sometimes called as 'swap and pop').
            // This modifies the order of the array, as noted in {at}.

            uint256 toDeleteIndex = valueIndex - 1;
            uint256 lastIndex = set._values.length - 1;

            // When the value to delete is the last one, the swap operation is unnecessary. However, since this occurs
            // so rarely, we still do the swap anyway to avoid the gas cost of adding an 'if' statement.

            bytes32 lastvalue = set._values[lastIndex];

            // Move the last value to the index where the value to delete is
            set._values[toDeleteIndex] = lastvalue;
            // Update the index for the moved value
            set._indexes[lastvalue] = toDeleteIndex + 1; // All indexes are 1-based

            // Delete the slot where the moved value was stored
            set._values.pop();

            // Delete the index for the deleted slot
            delete set._indexes[value];

            return true;
        } else {
            return false;
        }
    }

    /**
     * @dev Returns true if the value is in the set. O(1).
     */
    function _contains(Set storage set, bytes32 value) private view returns (bool) {
        return set._indexes[value] != 0;
    }

    /**
     * @dev Returns the number of values on the set. O(1).
     */
    function _length(Set storage set) private view returns (uint256) {
        return set._values.length;
    }

   /**
    * @dev Returns the value stored at position `index` in the set. O(1).
    *
    * Note that there are no guarantees on the ordering of values inside the
    * array, and it may change when more values are added or removed.
    *
    * Requirements:
    *
    * - `index` must be strictly less than {length}.
    */
    function _at(Set storage set, uint256 index) private view returns (bytes32) {
        require(set._values.length > index, "EnumerableSet: index out of bounds");
        return set._values[index];
    }

    // AddressSet

    struct AddressSet {
        Set _inner;
    }

    /**
     * @dev Add a value to a set. O(1).
     *
     * Returns true if the value was added to the set, that is if it was not
     * already present.
     */
    function add(AddressSet storage set, address value) internal returns (bool) {
        return _add(set._inner, bytes32(bytes20(value)));
    }

    /**
     * @dev Removes a value from a set. O(1).
     *
     * Returns true if the value was removed from the set, that is if it was
     * present.
     */
    function remove(AddressSet storage set, address value) internal returns (bool) {
        return _remove(set._inner, bytes32(bytes20(value)));
    }

    /**
     * @dev Returns true if the value is in the set. O(1).
     */
    function contains(AddressSet storage set, address value) internal view returns (bool) {
        return _contains(set._inner, bytes32(bytes20(value)));
    }

    /**
     * @dev Returns the number of values in the set. O(1).
     */
    function length(AddressSet storage set) internal view returns (uint256) {
        return _length(set._inner);
    }

   /**
    * @dev Returns the value stored at position `index` in the set. O(1).
    *
    * Note that there are no guarantees on the ordering of values inside the
    * array, and it may change when more values are added or removed.
    *
    * Requirements:
    *
    * - `index` must be strictly less than {length}.
    */
    function at(AddressSet storage set, uint256 index) internal view returns (address) {
        return address(bytes20(_at(set._inner, index)));
    }


    // UintSet

    struct UintSet {
        Set _inner;
    }

    /**
     * @dev Add a value to a set. O(1).
     *
     * Returns true if the value was added to the set, that is if it was not
     * already present.
     */
    function add(UintSet storage set, uint256 value) internal returns (bool) {
        return _add(set._inner, bytes32(value));
    }

    /**
     * @dev Removes a value from a set. O(1).
     *
     * Returns true if the value was removed from the set, that is if it was
     * present.
     */
    function remove(UintSet storage set, uint256 value) internal returns (bool) {
        return _remove(set._inner, bytes32(value));
    }

    /**
     * @dev Returns true if the value is in the set. O(1).
     */
    function contains(UintSet storage set, uint256 value) internal view returns (bool) {
        return _contains(set._inner, bytes32(value));
    }

    /**
     * @dev Returns the number of values on the set. O(1).
     */
    function length(UintSet storage set) internal view returns (uint256) {
        return _length(set._inner);
    }

   /**
    * @dev Returns the value stored at position `index` in the set. O(1).
    *
    * Note that there are no guarantees on the ordering of values inside the
    * array, and it may change when more values are added or removed.
    *
    * Requirements:
    *
    * - `index` must be strictly less than {length}.
    */
    function at(UintSet storage set, uint256 index) internal view returns (uint256) {
        return uint256(_at(set._inner, index));
    }
}

{
  "optimizer": {
    "enabled": true,
    "runs": 100000
  },
  "outputSelection": {
    "*": {
      "*": [
        "evm.bytecode",
        "evm.deployedBytecode",
        "abi"
      ]
    }
  },
  "metadata": {
    "useLiteralContent": true
  },
  "libraries": {}
}

• No Contract Security Audit Submitted- Submit Audit Here

[{"inputs":[{"internalType":"address","name":"_dei_contract_address","type":"address"},{"internalType":"address","name":"_deus_contract_address","type":"address"},{"internalType":"address","name":"_collateral_address","type":"address"},{"internalType":"address","name":"_trusty_address","type":"address"},{"internalType":"address","name":"_admin_address","type":"address"},{"internalType":"uint256","name":"_pool_ceiling","type":"uint256"},{"internalType":"address","name":"_library","type":"address"}],"stateMutability":"nonpayable","type":"constructor"},{"anonymous":false,"inputs":[{"indexed":false,"internalType":"bool","name":"toggled","type":"bool"}],"name":"BuybackToggled","type":"event"},{"anonymous":false,"inputs":[{"indexed":false,"internalType":"bool","name":"toggled","type":"bool"}],"name":"MintingToggled","type":"event"},{"anonymous":false,"inputs":[{"indexed":false,"internalType":"uint256","name":"new_ceiling","type":"uint256"},{"indexed":false,"internalType":"uint256","name":"new_bonus_rate","type":"uint256"},{"indexed":false,"internalType":"uint256","name":"new_redemption_delay","type":"uint256"},{"indexed":false,"internalType":"uint256","name":"new_mint_fee","type":"uint256"},{"indexed":false,"internalType":"uint256","name":"new_redeem_fee","type":"uint256"},{"indexed":false,"internalType":"uint256","name":"new_buyback_fee","type":"uint256"},{"indexed":false,"internalType":"uint256","name":"new_recollat_fee","type":"uint256"}],"name":"PoolParametersSet","type":"event"},{"anonymous":false,"inputs":[{"indexed":false,"internalType":"bool","name":"toggled","type":"bool"}],"name":"RecollateralizeToggled","type":"event"},{"anonymous":false,"inputs":[{"indexed":false,"internalType":"bool","name":"toggled","type":"bool"}],"name":"RedeemingToggled","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"bytes32","name":"role","type":"bytes32"},{"indexed":true,"internalType":"bytes32","name":"previousAdminRole","type":"bytes32"},{"indexed":true,"internalType":"bytes32","name":"newAdminRole","type":"bytes32"}],"name":"RoleAdminChanged","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"bytes32","name":"role","type":"bytes32"},{"indexed":true,"internalType":"address","name":"account","type":"address"},{"indexed":true,"internalType":"address","name":"sender","type":"address"}],"name":"RoleGranted","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"bytes32","name":"role","type":"bytes32"},{"indexed":true,"internalType":"address","name":"account","type":"address"},{"indexed":true,"internalType":"address","name":"sender","type":"address"}],"name":"RoleRevoked","type":"event"},{"anonymous":false,"inputs":[{"indexed":false,"internalType":"uint256","name":"daoShare","type":"uint256"},{"indexed":false,"internalType":"address","name":"to","type":"address"}],"name":"daoShareCollected","type":"event"},{"inputs":[],"name":"DAO_SHARE_COLLECTOR","outputs":[{"internalType":"bytes32","name":"","type":"bytes32"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"DEFAULT_ADMIN_ROLE","outputs":[{"internalType":"bytes32","name":"","type":"bytes32"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"PARAMETER_SETTER_ROLE","outputs":[{"internalType":"bytes32","name":"","type":"bytes32"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"TRUSTY_ROLE","outputs":[{"internalType":"bytes32","name":"","type":"bytes32"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"USDC_address","outputs":[{"internalType":"address","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"uint256[]","name":"collat_usd_price","type":"uint256[]"}],"name":"availableExcessCollatDV","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"bonus_rate","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"uint256","name":"DEUS_amount","type":"uint256"},{"internalType":"uint256[]","name":"collateral_price","type":"uint256[]"},{"internalType":"uint256","name":"deus_current_price","type":"uint256"},{"internalType":"uint256","name":"expireBlock","type":"uint256"},{"internalType":"bytes[]","name":"sigs","type":"bytes[]"}],"name":"buyBackDEUS","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"buyBackPaused","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"buyback_fee","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"uint256","name":"collat_usd_price","type":"uint256"}],"name":"collatDollarBalance","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"uint256","name":"amount","type":"uint256"},{"internalType":"address","name":"to","type":"address"}],"name":"collectDaoShare","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"collectRedemption","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"daoShare","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"token","type":"address"},{"internalType":"uint256","name":"amount","type":"uint256"},{"internalType":"address","name":"to","type":"address"}],"name":"emergencyWithdrawERC20","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"getChainID","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"bytes32","name":"role","type":"bytes32"}],"name":"getRoleAdmin","outputs":[{"internalType":"bytes32","name":"","type":"bytes32"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"bytes32","name":"role","type":"bytes32"},{"internalType":"uint256","name":"index","type":"uint256"}],"name":"getRoleMember","outputs":[{"internalType":"address","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"bytes32","name":"role","type":"bytes32"}],"name":"getRoleMemberCount","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"bytes32","name":"role","type":"bytes32"},{"internalType":"address","name":"account","type":"address"}],"name":"grantRole","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"bytes32","name":"role","type":"bytes32"},{"internalType":"address","name":"account","type":"address"}],"name":"hasRole","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"","type":"address"}],"name":"lastRedeemed","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"uint256","name":"collateral_amount","type":"uint256"},{"internalType":"uint256","name":"collateral_price","type":"uint256"},{"internalType":"uint256","name":"expireBlock","type":"uint256"},{"internalType":"bytes[]","name":"sigs","type":"bytes[]"}],"name":"mint1t1DEI","outputs":[{"internalType":"uint256","name":"dei_amount_d18","type":"uint256"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"uint256","name":"deus_amount_d18","type":"uint256"},{"internalType":"uint256","name":"deus_current_price","type":"uint256"},{"internalType":"uint256","name":"expireBlock","type":"uint256"},{"internalType":"bytes[]","name":"sigs","type":"bytes[]"}],"name":"mintAlgorithmicDEI","outputs":[{"internalType":"uint256","name":"dei_amount_d18","type":"uint256"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"uint256","name":"collateral_amount","type":"uint256"},{"internalType":"uint256","name":"deus_amount","type":"uint256"},{"internalType":"uint256","name":"collateral_price","type":"uint256"},{"internalType":"uint256","name":"deus_current_price","type":"uint256"},{"internalType":"uint256","name":"expireBlock","type":"uint256"},{"internalType":"bytes[]","name":"sigs","type":"bytes[]"}],"name":"mintFractionalDEI","outputs":[{"internalType":"uint256","name":"mint_amount","type":"uint256"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"mintPaused","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"minting_fee","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"pausedPrice","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"pool_ceiling","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"recollat_fee","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"components":[{"internalType":"uint256","name":"collateral_amount","type":"uint256"},{"internalType":"uint256","name":"pool_collateral_price","type":"uint256"},{"internalType":"uint256[]","name":"collateral_price","type":"uint256[]"},{"internalType":"uint256","name":"deus_current_price","type":"uint256"},{"internalType":"uint256","name":"expireBlock","type":"uint256"},{"internalType":"bytes[]","name":"sigs","type":"bytes[]"}],"internalType":"struct DEIPool.RecollateralizeDEI","name":"inputs","type":"tuple"}],"name":"recollateralizeDEI","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"recollateralizePaused","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"uint256","name":"DEI_amount","type":"uint256"},{"internalType":"uint256","name":"collateral_price","type":"uint256"},{"internalType":"uint256","name":"expireBlock","type":"uint256"},{"internalType":"bytes[]","name":"sigs","type":"bytes[]"}],"name":"redeem1t1DEI","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"uint256","name":"DEI_amount","type":"uint256"},{"internalType":"uint256","name":"deus_current_price","type":"uint256"},{"internalType":"uint256","name":"expireBlock","type":"uint256"},{"internalType":"bytes[]","name":"sigs","type":"bytes[]"}],"name":"redeemAlgorithmicDEI","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"","type":"address"}],"name":"redeemCollateralBalances","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"","type":"address"}],"name":"redeemDEUSBalances","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"uint256","name":"DEI_amount","type":"uint256"},{"internalType":"uint256","name":"collateral_price","type":"uint256"},{"internalType":"uint256","name":"deus_current_price","type":"uint256"},{"internalType":"uint256","name":"expireBlock","type":"uint256"},{"internalType":"bytes[]","name":"sigs","type":"bytes[]"}],"name":"redeemFractionalDEI","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"redeemPaused","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"redemption_delay","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"redemption_fee","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"bytes32","name":"role","type":"bytes32"},{"internalType":"address","name":"account","type":"address"}],"name":"renounceRole","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"bytes32","name":"role","type":"bytes32"},{"internalType":"address","name":"account","type":"address"}],"name":"revokeRole","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"uint256","name":"new_ceiling","type":"uint256"},{"internalType":"uint256","name":"new_bonus_rate","type":"uint256"},{"internalType":"uint256","name":"new_redemption_delay","type":"uint256"},{"internalType":"uint256","name":"new_mint_fee","type":"uint256"},{"internalType":"uint256","name":"new_redeem_fee","type":"uint256"},{"internalType":"uint256","name":"new_buyback_fee","type":"uint256"},{"internalType":"uint256","name":"new_recollat_fee","type":"uint256"}],"name":"setPoolParameters","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"toggleBuyBack","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"toggleMinting","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"toggleRecollateralize","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"toggleRedeeming","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"unclaimedPoolCollateral","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"unclaimedPoolDEUS","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"}]

60a06040526000600e819055600f819055611d4c60105560026011556012556013805463ffffffff60a01b191690553480156200003b57600080fd5b50604051620065e1380380620065e18339810160408190526200005e91620004f0565b868686868686866001600160a01b038716158015906200008657506001600160a01b03861615155b80156200009b57506001600160a01b03851615155b8015620000b057506001600160a01b03841615155b8015620000c557506001600160a01b03831615155b8015620000da57506001600160a01b03811615155b6200012c5760405162461bcd60e51b815260206004820152601b60248201527f504f4f4c3a3a5a65726f2061646472657373206465746563746564000000000060448201526064015b60405180910390fd5b601380546001600160a01b038084166001600160a01b031992831617909255600380548a8416908316179055600480548984169083161781556002805493891693831684179055600180549092168317909155600e8490556040805163313ce56760e01b8152905163313ce56792828101926020929190829003018186803b158015620001b857600080fd5b505afa158015620001cd573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190620001f391906200057c565b620002039060ff166012620005a8565b60805262000213600084620003e5565b6200023f7fc65532185ed70b2e999433e2e9fac124e083acb13ec183a4e05944da0792337b85620003e5565b6200026b7fa84a5389ad41f9aab0831b01e5384cae76e7a7fd09131c206ff7927c201c385785620003e5565b620002977f8118eeb5231a5fe4008a55b62860f6a0db4f6c3ac04f8141927a9b3fedd86d2f85620003e5565b620002c37f103da79ff3755ff7a17a557d28b73d37cb4de0b3c3cc02fa6c48df0f35071fbf85620003e5565b620002ef7f0db189261133fd7647d3308512b693b47bed44004cac80fb59aa64b63a231e2c85620003e5565b6200031b7f0db189261133fd7647d3308512b693b47bed44004cac80fb59aa64b63a231e2c85620003e5565b620003477fe08e6e8e2e796f02419355c6fa268d1461fe6f2f34114a881a2db47c0f24050985620003e5565b50505050506001600160a01b03871615159150620003aa90505760405162461bcd60e51b815260206004820152601560248201527f5a65726f20616464726573732064657465637465640000000000000000000000604482015260640162000123565b620003b7600033620003e5565b5050601480546001600160a01b0319166001600160a01b03949094169390931790925550620005ce92505050565b620003f18282620003f5565b5050565b6000828152602081815260409091206200041a91839062004cb06200045c821b17901c565b15620003f15760405133906001600160a01b0383169084907f2f8788117e7eff1d82e926ec794901d17c78024a50270940304540a733656f0d90600090a45050565b600062000478836001600160601b0319606085901b1662000481565b90505b92915050565b6000818152600183016020526040812054620004ca575081546001818101845560008481526020808220909301849055845484825282860190935260409020919091556200047b565b5060006200047b565b80516001600160a01b0381168114620004eb57600080fd5b919050565b600080600080600080600060e0888a0312156200050c57600080fd5b6200051788620004d3565b96506200052760208901620004d3565b95506200053760408901620004d3565b94506200054760608901620004d3565b93506200055760808901620004d3565b925060a088015191506200056e60c08901620004d3565b905092959891949750929550565b6000602082840312156200058f57600080fd5b815160ff81168114620005a157600080fd5b9392505050565b600082821015620005c957634e487b7160e01b600052601160045260246000fd5b500390565b608051615fc66200061b60003960008181610cdf015281816115ee0152818161235301528181612bed01528181612f1b0152818161361301528181613b1701526149800152615fc66000f3fe608060405234801561001057600080fd5b506004361061032b5760003560e01c80637b0461e9116101b2578063b6258aaa116100f9578063cb73999f116100a2578063e3d84d5e1161007c578063e3d84d5e146106df578063eb2d7461146106f2578063f9abd26c14610705578063fede5c9c1461072557600080fd5b8063cb73999f146106bb578063d547741f146106c4578063daa50485146106d757600080fd5b8063c6301e5d116100d3578063c6301e5d1461068c578063c74ec56a1461069f578063ca15c873146106a857600080fd5b8063b6258aaa1461065d578063c3355b8d14610670578063c410ca1b1461067957600080fd5b806391d148541161015b578063a217fddf11610135578063a217fddf1461060f578063abae2c4c14610617578063b235d4681461063757600080fd5b806391d14854146105d6578063928d2b31146105e9578063978b73b5146105fc57600080fd5b80637f877f851161018c5780637f877f851461056d57806388d19f1b146105955780639010d07c1461059e57600080fd5b80637b0461e9146105375780637d55094d146105405780637e4831d31461054857600080fd5b806340e14b7811610276578063564b81ef1161021f5780636d2c5615116101f95780636d2c5615146104c65780636d82e314146104fd5780637901330b1461052457600080fd5b8063564b81ef146104905780635de207cc146104965780636526a12a146104bd57600080fd5b80634ebbe762116102505780634ebbe7621461046257806350c9ecd91461047557806354f9769d1461047d57600080fd5b806340e14b781461043e57806342d15aec146104515780634c6349341461045957600080fd5b80632f2ff15d116102d85780633648b7dc116102b25780633648b7dc1461040257806336568abe1461040b5780633b92da471461041e57600080fd5b80632f2ff15d146103b557806332ad1ee4146103c857806334ddb95d146103db57600080fd5b806315128425116103095780631512842514610376578063248a9ca31461037f578063254cd2bd146103a257600080fd5b806308a7493d14610330578063101197c71461036357806312ace5a21461036c575b600080fd5b61035061033e366004615373565b600a6020526000908152604090205481565b6040519081526020015b60405180910390f35b61035060075481565b61037461072e565b005b61035060115481565b61035061038d36600461538e565b60009081526020819052604090206002015490565b6103746103b03660046153f3565b6108e7565b6103746103c3366004615454565b61101a565b6103506103d63660046153f3565b6110d0565b6103507f0db189261133fd7647d3308512b693b47bed44004cac80fb59aa64b63a231e2c81565b610350600c5481565b610374610419366004615454565b6117e2565b61035061042c366004615373565b60096020526000908152604090205481565b61035061044c3660046155b6565b611891565b610374611adc565b61035060105481565b6103746104703660046155f3565b611ba3565b610374611ce2565b61035061048b36600461563f565b611da0565b46610350565b6103507fe08e6e8e2e796f02419355c6fa268d1461fe6f2f34114a881a2db47c0f24050981565b610350600e5481565b6013546104ed90760100000000000000000000000000000000000000000000900460ff1681565b604051901515815260200161035a565b6103507f0d4a2989857a24de9c91e1daffe87d051d59f52b68729413d1ef656ec487e53081565b610374610532366004615454565b612667565b610350600b5481565b6103746127fb565b6013546104ed9074010000000000000000000000000000000000000000900460ff1681565b6013546104ed9077010000000000000000000000000000000000000000000000900460ff1681565b61035060125481565b6105b16105ac3660046156b3565b6128b6565b60405173ffffffffffffffffffffffffffffffffffffffff909116815260200161035a565b6104ed6105e4366004615454565b6128d7565b6103746105f73660046157d7565b6128ef565b61037461060a3660046153f3565b613046565b610350600081565b610350610625366004615373565b600d6020526000908152604090205481565b6013546104ed907501000000000000000000000000000000000000000000900460ff1681565b61035061066b36600461538e565b613607565b61035060055481565b610374610687366004615890565b613705565b61035061069a3660046153f3565b613c08565b610350600f5481565b6103506106b636600461538e565b61421d565b61035060065481565b6103746106d2366004615454565b614234565b6103746142dc565b6103746106ed366004615917565b614398565b610374610700366004615953565b6144d0565b6014546105b19073ffffffffffffffffffffffffffffffffffffffff1681565b61035060085481565b601154336000908152600d6020526040902054439161074c916159da565b1115610805576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152605b60248201527f504f4f4c3a3a636f6c6c656374526564656d7074696f6e3a204d75737420776160448201527f697420666f7220726564656d7074696f6e5f64656c617920626c6f636b73206260648201527f65666f726520636f6c6c656374696e6720726564656d7074696f6e0000000000608482015260a4015b60405180910390fd5b336000908152600960205260408120548190819081901561084d573360009081526009602052604081208054919055600c549092506108459083906159f2565b600c55600193505b336000908152600a60205260409020541561088d5750336000908152600a602052604081208054919055600b546108859082906159f2565b600b55600192505b83156108b7576004546108b79073ffffffffffffffffffffffffffffffffffffffff163384614ce2565b82156108e1576001546108e19073ffffffffffffffffffffffffffffffffffffffff163383614ce2565b50505050565b6013547501000000000000000000000000000000000000000000900460ff161561096d576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601960248201527f504f4f4c3a3a52656465656d696e67206973207061757365640000000000000060448201526064016107fc565b600354604080517f2eb9771b0000000000000000000000000000000000000000000000000000000081529051620f42409273ffffffffffffffffffffffffffffffffffffffff1691632eb9771b916004808301926020929190829003018186803b1580156109da57600080fd5b505afa1580156109ee573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190610a129190615a09565b14610a79576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601d60248201527f436f6c6c61746572616c20726174696f206d757374206265203d3d203100000060448201526064016107fc565b43831015610b09576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152602f60248201527f504f4f4c3a3a6d696e74416c676f726974686d69634445493a207369676e617460448201527f75726520697320657870697265642e000000000000000000000000000000000060648201526084016107fc565b60025460009073ffffffffffffffffffffffffffffffffffffffff1685854660405160609490941b7fffffffffffffffffffffffffffffffffffffffff000000000000000000000000166020850152603484019290925260548301526074820152609401604080517fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe08184030181529082905280516020909101206003547f6793f0ac00000000000000000000000000000000000000000000000000000000835290925073ffffffffffffffffffffffffffffffffffffffff1690636793f0ac90610bfc90849087908790600401615a6b565b60206040518083038186803b158015610c1457600080fd5b505afa158015610c28573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190610c4c9190615b4d565b610cd8576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152602660248201527f504f4f4c3a3a72656465656d3174314445493a20696e76616c6964207369676e60448201527f617475726573000000000000000000000000000000000000000000000000000060648201526084016107fc565b6000610d057f0000000000000000000000000000000000000000000000000000000000000000600a615c96565b610d0f9088615ca2565b6013546040517f068d54aa000000000000000000000000000000000000000000000000000000008152600481018990526024810183905291925060009173ffffffffffffffffffffffffffffffffffffffff9091169063068d54aa9060440160206040518083038186803b158015610d8657600080fd5b505afa158015610d9a573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190610dbe9190615a09565b9050620f4240600654620f4240610dd591906159f2565b610ddf9083615cdd565b610de99190615ca2565b600b546001546040517f70a08231000000000000000000000000000000000000000000000000000000008152306004820152929350909173ffffffffffffffffffffffffffffffffffffffff909116906370a082319060240160206040518083038186803b158015610e5a57600080fd5b505afa158015610e6e573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190610e929190615a09565b610e9c91906159f2565b811115610f05576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601d60248201527f4e6f7420656e6f75676820636f6c6c61746572616c20696e20706f6f6c00000060448201526064016107fc565b336000908152600a6020526040902054610f209082906159da565b336000908152600a6020526040902055600b54610f3e9082906159da565b600b55336000908152600d60205260409020439055600654620f424090610f65908a615cdd565b610f6f9190615ca2565b60126000828254610f8091906159da565b90915550506003546040517fa8a778ae000000000000000000000000000000000000000000000000000000008152336004820152602481018a905273ffffffffffffffffffffffffffffffffffffffff9091169063a8a778ae906044015b600060405180830381600087803b158015610ff857600080fd5b505af115801561100c573d6000803e3d6000fd5b505050505050505050505050565b60008281526020819052604090206002015461103690336128d7565b6110c2576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152602f60248201527f416363657373436f6e74726f6c3a2073656e646572206d75737420626520616e60448201527f2061646d696e20746f206772616e74000000000000000000000000000000000060648201526084016107fc565b6110cc8282614e52565b5050565b60135460009074010000000000000000000000000000000000000000900460ff1615611158576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601760248201527f504f4f4c3a3a4d696e74696e672069732070617573656400000000000000000060448201526064016107fc565b600354604080517f2eb9771b0000000000000000000000000000000000000000000000000000000081529051620f42409273ffffffffffffffffffffffffffffffffffffffff1691632eb9771b916004808301926020929190829003018186803b1580156111c557600080fd5b505afa1580156111d9573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906111fd9190615a09565b1015611265576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601d60248201527f436f6c6c61746572616c20726174696f206d757374206265203e3d203100000060448201526064016107fc565b600e54600b546001546040517f70a0823100000000000000000000000000000000000000000000000000000000815230600482015289929173ffffffffffffffffffffffffffffffffffffffff16906370a082319060240160206040518083038186803b1580156112d557600080fd5b505afa1580156112e9573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525081019061130d9190615a09565b61131791906159f2565b61132191906159da565b1115611389576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820181905260248201527f5b506f6f6c277320436c6f7365645d3a204365696c696e67207265616368656460448201526064016107fc565b43841015611419576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152602660248201527f504f4f4c3a3a6d696e743174314445493a207369676e6174757265206973206560448201527f787069726564000000000000000000000000000000000000000000000000000060648201526084016107fc565b60025460009073ffffffffffffffffffffffffffffffffffffffff1686864660405160609490941b7fffffffffffffffffffffffffffffffffffffffff000000000000000000000000166020850152603484019290925260548301526074820152609401604080517fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe08184030181529082905280516020909101206003547f6793f0ac00000000000000000000000000000000000000000000000000000000835290925073ffffffffffffffffffffffffffffffffffffffff1690636793f0ac9061150c90849088908890600401615a6b565b60206040518083038186803b15801561152457600080fd5b505afa158015611538573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525081019061155c9190615b4d565b6115e7576040517f08c379a0000000000000000000000000000000000000000000000000000000008152602060048201526024808201527f504f4f4c3a3a6d696e743174314445493a20696e76616c6964207369676e617460448201527f757265730000000000000000000000000000000000000000000000000000000060648201526084016107fc565b60006116147f0000000000000000000000000000000000000000000000000000000000000000600a615c96565b61161e9089615cdd565b6013546040517f882ab63a000000000000000000000000000000000000000000000000000000008152600481018a90526024810183905291925073ffffffffffffffffffffffffffffffffffffffff169063882ab63a9060440160206040518083038186803b15801561169057600080fd5b505afa1580156116a4573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906116c89190615a09565b9250620f4240600554620f42406116df91906159f2565b6116e99085615cdd565b6116f39190615ca2565b60015490935061171b9073ffffffffffffffffffffffffffffffffffffffff1633308b614eb8565b620f42406005548461172d9190615cdd565b6117379190615ca2565b6012600082825461174891906159da565b90915550506003546040517fb4f56b260000000000000000000000000000000000000000000000000000000081523360048201526024810185905273ffffffffffffffffffffffffffffffffffffffff9091169063b4f56b2690604401600060405180830381600087803b1580156117bf57600080fd5b505af11580156117d3573d6000803e3d6000fd5b50505050505095945050505050565b73ffffffffffffffffffffffffffffffffffffffff81163314611887576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152602f60248201527f416363657373436f6e74726f6c3a2063616e206f6e6c792072656e6f756e636560448201527f20726f6c657320666f722073656c66000000000000000000000000000000000060648201526084016107fc565b6110cc8282615056565b600080600360009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff166318160ddd6040518163ffffffff1660e01b815260040160206040518083038186803b1580156118fc57600080fd5b505afa158015611910573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906119349190615a09565b90506000600360009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16632eb9771b6040518163ffffffff1660e01b815260040160206040518083038186803b1580156119a057600080fd5b505afa1580156119b4573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906119d89190615a09565b6003546040517f2480fcea00000000000000000000000000000000000000000000000000000000815291925060009173ffffffffffffffffffffffffffffffffffffffff90911690632480fcea90611a34908890600401615d1a565b60206040518083038186803b158015611a4c57600080fd5b505afa158015611a60573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190611a849190615a09565b9050620f4240821115611a9857620f424091505b6000620f4240611aa88486615cdd565b611ab29190615ca2565b905080821115611ad057611ac681836159f2565b9695505050505050565b50600095945050505050565b611b067f8118eeb5231a5fe4008a55b62860f6a0db4f6c3ac04f8141927a9b3fedd86d2f336128d7565b611b0f57600080fd5b6013805460ff76010000000000000000000000000000000000000000000080830482161581027fffffffffffffffffff00ffffffffffffffffffffffffffffffffffffffffffff90931692909217928390556040517f2fda313d9b5bb0b73bd003153f2fccbc0dca49791fdd1184dfad82b44f54bd2e93611b999390049091161515815260200190565b60405180910390a1565b611bcd7fe08e6e8e2e796f02419355c6fa268d1461fe6f2f34114a881a2db47c0f240509336128d7565b611c59576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152602960248201527f504f4f4c3a2043616c6c6572206973206e6f7420504152414d455445525f534560448201527f545445525f524f4c45000000000000000000000000000000000000000000000060648201526084016107fc565b600e8790556010869055601185905560058490556006839055600782905560088190556040805188815260208101889052908101869052606081018590526080810184905260a0810183905260c081018290527f17fe98b66d27bd793ea01bd8a23a54acab8eeb167d9eb016a0c7cd71c573920c9060e00160405180910390a150505050505050565b611d0c7f103da79ff3755ff7a17a557d28b73d37cb4de0b3c3cc02fa6c48df0f35071fbf336128d7565b611d1557600080fd5b6013805460ff7701000000000000000000000000000000000000000000000080830482161581027fffffffffffffffff00ffffffffffffffffffffffffffffffffffffffffffffff90931692909217928390556040517f4f40fd1c59f78d7a2220da638cd9400daba01e57c7965702f390bf13133cc31f93611b999390049091161515815260200190565b60135460009074010000000000000000000000000000000000000000900460ff1615611e28576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601760248201527f504f4f4c3a3a4d696e74696e672069732070617573656400000000000000000060448201526064016107fc565b600354604080517f2eb9771b000000000000000000000000000000000000000000000000000000008152905160009273ffffffffffffffffffffffffffffffffffffffff1691632eb9771b916004808301926020929190829003018186803b158015611e9357600080fd5b505afa158015611ea7573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190611ecb9190615a09565b9050620f424081108015611edf5750600081115b611f6b576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152603860248201527f436f6c6c61746572616c20726174696f206e6565647320746f2062652062657460448201527f7765656e202e30303030303120616e64202e393939393939000000000000000060648201526084016107fc565b600e54600b546001546040517f70a082310000000000000000000000000000000000000000000000000000000081523060048201528c929173ffffffffffffffffffffffffffffffffffffffff16906370a082319060240160206040518083038186803b158015611fdb57600080fd5b505afa158015611fef573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906120139190615a09565b61201d91906159f2565b61202791906159da565b11156120dc576040517f08c379a0000000000000000000000000000000000000000000000000000000008152602060048201526044602482018190527f506f6f6c206365696c696e6720726561636865642c206e6f206d6f7265204445908201527f492063616e206265206d696e7465642077697468207468697320636f6c6c617460648201527f6572616c00000000000000000000000000000000000000000000000000000000608482015260a4016107fc565b4385101561216c576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152602e60248201527f504f4f4c3a3a6d696e744672616374696f6e616c4445493a207369676e61747560448201527f726520697320657870697265642e00000000000000000000000000000000000060648201526084016107fc565b600254600454604080517fffffffffffffffffffffffffffffffffffffffff000000000000000000000000606094851b8116602080840191909152603483018d90529390941b909316605484015260688301899052608883018890524660a8808501919091528151808503909101815260c884019182905280519201919091206003547f6793f0ac000000000000000000000000000000000000000000000000000000009092529173ffffffffffffffffffffffffffffffffffffffff90911690636793f0ac906122459084908990899060cc01615a6b565b60206040518083038186803b15801561225d57600080fd5b505afa158015612271573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906122959190615b4d565b612321576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152602b60248201527f504f4f4c3a3a6d696e744672616374696f6e616c4445493a20696e76616c696460448201527f207369676e61747572657300000000000000000000000000000000000000000060648201526084016107fc565b61234c6040518060800160405280600081526020016000815260200160008152602001600081525090565b60006123797f0000000000000000000000000000000000000000000000000000000000000000600a615c96565b612383908d615cdd565b604080516080810182528b8152602081018d9052808201929092526060820186905260135490517f537a30a70000000000000000000000000000000000000000000000000000000081529193506000925073ffffffffffffffffffffffffffffffffffffffff169063537a30a7906123ff908590600401615d5e565b604080518083038186803b15801561241657600080fd5b505afa15801561242a573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525081019061244e9190615d89565b90955090508a8111156124bd576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601860248201527f4e6f7420656e6f756768204445555320696e707574746564000000000000000060448201526064016107fc565b620f4240600554620f42406124d291906159f2565b6124dc9087615cdd565b6124e69190615ca2565b600480546040517fa8a778ae00000000000000000000000000000000000000000000000000000000815233928101929092526024820184905291965073ffffffffffffffffffffffffffffffffffffffff9091169063a8a778ae90604401600060405180830381600087803b15801561255e57600080fd5b505af1158015612572573d6000803e3d6000fd5b505060015461259c925073ffffffffffffffffffffffffffffffffffffffff16905033308f614eb8565b620f4240600554866125ae9190615cdd565b6125b89190615ca2565b601260008282546125c991906159da565b90915550506003546040517fb4f56b260000000000000000000000000000000000000000000000000000000081523360048201526024810187905273ffffffffffffffffffffffffffffffffffffffff9091169063b4f56b2690604401600060405180830381600087803b15801561264057600080fd5b505af1158015612654573d6000803e3d6000fd5b5050505050505050979650505050505050565b6126917f0d4a2989857a24de9c91e1daffe87d051d59f52b68729413d1ef656ec487e530336128d7565b61269a57600080fd5b601254821115612706576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601060248201527f616d6f756e743c3d64616f53686172650000000000000000000000000000000060448201526064016107fc565b6003546040517fb4f56b2600000000000000000000000000000000000000000000000000000000815273ffffffffffffffffffffffffffffffffffffffff8381166004830152602482018590529091169063b4f56b2690604401600060405180830381600087803b15801561277a57600080fd5b505af115801561278e573d6000803e3d6000fd5b5050505081601260008282546127a491906159f2565b90915550506040805183815273ffffffffffffffffffffffffffffffffffffffff831660208201527f3a708f2f1c75b12457d207cf1e259ab9f87bbfccb29672903acf4661bd342e49910160405180910390a15050565b6128257fc65532185ed70b2e999433e2e9fac124e083acb13ec183a4e05944da0792337b336128d7565b61282e57600080fd5b6013805460ff7401000000000000000000000000000000000000000080830482161581027fffffffffffffffffffffff00ffffffffffffffffffffffffffffffffffffffff90931692909217928390556040517f6bdfe227d5db299c59aa56d5f846f40dbd73b271aaa78e18ed74fc3e00b8aa6b93611b999390049091161515815260200190565b60008281526020819052604081206128ce90836150bc565b90505b92915050565b60008281526020819052604081206128ce90836150d2565b601354760100000000000000000000000000000000000000000000900460ff161561299c576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152603360248201527f504f4f4c3a3a7265636f6c6c61746572616c697a654445493a205265636f6c6c60448201527f61746572616c697a65206973207061757365640000000000000000000000000060648201526084016107fc565b4381608001511015612a30576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152602f60248201527f504f4f4c3a3a7265636f6c6c61746572616c697a654445493a207369676e617460448201527f75726520697320657870697265642e000000000000000000000000000000000060648201526084016107fc565b600254604082810151600454606085015160808601519351600095612a799573ffffffffffffffffffffffffffffffffffffffff91821695949190911692914690602001615dad565b604080517fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe081840301815290829052805160209091012060035460a08501517f6793f0ac00000000000000000000000000000000000000000000000000000000845291935073ffffffffffffffffffffffffffffffffffffffff1691636793f0ac91612b0a91859190600401615e58565b60206040518083038186803b158015612b2257600080fd5b505afa158015612b36573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190612b5a9190615b4d565b612be6576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152602c60248201527f504f4f4c3a3a7265636f6c6c61746572616c697a654445493a20696e76616c6960448201527f64207369676e617475726573000000000000000000000000000000000000000060648201526084016107fc565b6000612c137f0000000000000000000000000000000000000000000000000000000000000000600a615c96565b8351612c1f9190615cdd565b90506000600360009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff166318160ddd6040518163ffffffff1660e01b815260040160206040518083038186803b158015612c8b57600080fd5b505afa158015612c9f573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190612cc39190615a09565b90506000600360009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16632eb9771b6040518163ffffffff1660e01b815260040160206040518083038186803b158015612d2f57600080fd5b505afa158015612d43573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190612d679190615a09565b60035460408088015190517f2480fcea00000000000000000000000000000000000000000000000000000000815292935060009273ffffffffffffffffffffffffffffffffffffffff90921691632480fcea91612dc691600401615d1a565b60206040518083038186803b158015612dde57600080fd5b505afa158015612df2573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190612e169190615a09565b60135460408801518051929350600092839273ffffffffffffffffffffffffffffffffffffffff169163fc01106191899190612e54906001906159f2565b81518110612e6457612e64615f16565b60209081029190910101516040517fffffffff0000000000000000000000000000000000000000000000000000000060e085901b1681526004810192909252602482015260448101869052606481018890526084810187905260a401604080518083038186803b158015612ed757600080fd5b505afa158015612eeb573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190612f0f9190615d89565b90925090506000612f417f0000000000000000000000000000000000000000000000000000000000000000600a615c96565b612f4b9084615ca2565b905060008960600151600854601054620f4240612f6891906159da565b612f7291906159f2565b612f7c9085615cdd565b612f869190615ca2565b600154909150612fae9073ffffffffffffffffffffffffffffffffffffffff16333085614eb8565b600480546040517fb4f56b2600000000000000000000000000000000000000000000000000000000815233928101929092526024820183905273ffffffffffffffffffffffffffffffffffffffff169063b4f56b26906044015b600060405180830381600087803b15801561302257600080fd5b505af1158015613036573d6000803e3d6000fd5b5050505050505050505050505050565b6013547501000000000000000000000000000000000000000000900460ff16156130cc576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601960248201527f504f4f4c3a3a52656465656d696e67206973207061757365640000000000000060448201526064016107fc565b600360009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16632eb9771b6040518163ffffffff1660e01b815260040160206040518083038186803b15801561313457600080fd5b505afa158015613148573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525081019061316c9190615a09565b156131f9576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152603660248201527f504f4f4c3a3a72656465656d416c676f726974686d69634445493a20436f6c6c60448201527f61746572616c20726174696f206d75737420626520300000000000000000000060648201526084016107fc565b43831015613289576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152603060248201527f4445493a3a72656465656d416c676f726974686d69634445493a207369676e6160448201527f7475726520697320657870697265642e0000000000000000000000000000000060648201526084016107fc565b60045460009073ffffffffffffffffffffffffffffffffffffffff1685854660405160609490941b7fffffffffffffffffffffffffffffffffffffffff000000000000000000000000166020850152603484019290925260548301526074820152609401604080517fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe08184030181529082905280516020909101206003547f6793f0ac00000000000000000000000000000000000000000000000000000000835290925073ffffffffffffffffffffffffffffffffffffffff1690636793f0ac9061337c90849087908790600401615a6b565b60206040518083038186803b15801561339457600080fd5b505afa1580156133a8573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906133cc9190615b4d565b613458576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152602e60248201527f504f4f4c3a3a72656465656d416c676f726974686d69634445493a20696e766160448201527f6c6964207369676e61747572657300000000000000000000000000000000000060648201526084016107fc565b6006548690620f42409061346c90826159f2565b6134769083615cdd565b6134809190615ca2565b9050600086613492620f424084615cdd565b61349c9190615ca2565b336000908152600960205260409020549091506134ba9082906159da565b33600090815260096020526040902055600c546134d89082906159da565b600c55336000908152600d60205260409020439055600654620f4240906134ff908a615cdd565b6135099190615ca2565b6012600082825461351a91906159da565b90915550506003546040517fa8a778ae000000000000000000000000000000000000000000000000000000008152336004820152602481018a905273ffffffffffffffffffffffffffffffffffffffff9091169063a8a778ae90604401600060405180830381600087803b15801561359157600080fd5b505af11580156135a5573d6000803e3d6000fd5b5050600480546040517fb4f56b2600000000000000000000000000000000000000000000000000000000815230928101929092526024820185905273ffffffffffffffffffffffffffffffffffffffff16925063b4f56b269150604401610fde565b6000620f4240826136397f0000000000000000000000000000000000000000000000000000000000000000600a615c96565b600b546001546040517f70a0823100000000000000000000000000000000000000000000000000000000815230600482015273ffffffffffffffffffffffffffffffffffffffff909116906370a082319060240160206040518083038186803b1580156136a557600080fd5b505afa1580156136b9573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906136dd9190615a09565b6136e791906159f2565b6136f19190615cdd565b6136fb9190615cdd565b6128d19190615ca2565b60135477010000000000000000000000000000000000000000000000900460ff16156137b2576040517f08c379a0000000000000000000000000000000000000000000000000000000008152602060048201526024808201527f504f4f4c3a3a6275794261636b444555533a204275796261636b20697320706160448201527f757365640000000000000000000000000000000000000000000000000000000060648201526084016107fc565b43831015613842576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152602760248201527f4445493a3a6275794261636b444555533a207369676e6174757265206973206560448201527f7870697265642e0000000000000000000000000000000000000000000000000060648201526084016107fc565b60025460045460009173ffffffffffffffffffffffffffffffffffffffff9081169188911687874660405160200161387f96959493929190615dad565b604080517fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe08184030181529082905280516020909101206003547f6793f0ac00000000000000000000000000000000000000000000000000000000835290925073ffffffffffffffffffffffffffffffffffffffff1690636793f0ac9061390e90849087908790600401615a6b565b60206040518083038186803b15801561392657600080fd5b505afa15801561393a573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525081019061395e9190615b4d565b6139ea576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152602560248201527f504f4f4c3a3a6275794261636b444555533a20696e76616c6964207369676e6160448201527f747572657300000000000000000000000000000000000000000000000000000060648201526084016107fc565b60006040518060800160405280613a0089611891565b81526020018781526020018860018a51613a1a91906159f2565b81518110613a2a57613a2a615f16565b602002602001015181526020018981525090506000620f4240600754620f4240613a5491906159f2565b6013546040517f3c04af9f00000000000000000000000000000000000000000000000000000000815273ffffffffffffffffffffffffffffffffffffffff90911690633c04af9f90613aaa908790600401615d5e565b60206040518083038186803b158015613ac257600080fd5b505afa158015613ad6573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190613afa9190615a09565b613b049190615cdd565b613b0e9190615ca2565b90506000613b3d7f0000000000000000000000000000000000000000000000000000000000000000600a615c96565b613b479083615ca2565b600480546040517fa8a778ae0000000000000000000000000000000000000000000000000000000081523392810192909252602482018d905291925073ffffffffffffffffffffffffffffffffffffffff9091169063a8a778ae90604401600060405180830381600087803b158015613bbf57600080fd5b505af1158015613bd3573d6000803e3d6000fd5b5050600154613bfc925073ffffffffffffffffffffffffffffffffffffffff1690503383614ce2565b50505050505050505050565b60135460009074010000000000000000000000000000000000000000900460ff1615613c90576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601760248201527f504f4f4c3a3a4d696e74696e672069732070617573656400000000000000000060448201526064016107fc565b600360009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16632eb9771b6040518163ffffffff1660e01b815260040160206040518083038186803b158015613cf857600080fd5b505afa158015613d0c573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190613d309190615a09565b15613d97576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601a60248201527f436f6c6c61746572616c20726174696f206d757374206265203000000000000060448201526064016107fc565b43841015613e27576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152602f60248201527f504f4f4c3a3a6d696e74416c676f726974686d69634445493a207369676e617460448201527f75726520697320657870697265642e000000000000000000000000000000000060648201526084016107fc565b60045460009073ffffffffffffffffffffffffffffffffffffffff1686864660405160609490941b7fffffffffffffffffffffffffffffffffffffffff000000000000000000000000166020850152603484019290925260548301526074820152609401604080517fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe08184030181529082905280516020909101206003547f6793f0ac00000000000000000000000000000000000000000000000000000000835290925073ffffffffffffffffffffffffffffffffffffffff1690636793f0ac90613f1a90849088908890600401615a6b565b60206040518083038186803b158015613f3257600080fd5b505afa158015613f46573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190613f6a9190615b4d565b613ff6576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152602c60248201527f504f4f4c3a3a6d696e74416c676f726974686d69634445493a20696e76616c6960448201527f64207369676e617475726573000000000000000000000000000000000000000060648201526084016107fc565b6013546040517f14da4ee1000000000000000000000000000000000000000000000000000000008152600481018890526024810189905273ffffffffffffffffffffffffffffffffffffffff909116906314da4ee19060440160206040518083038186803b15801561406757600080fd5b505afa15801561407b573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525081019061409f9190615a09565b9150620f4240600554620f42406140b691906159f2565b6140c09084615cdd565b6140ca9190615ca2565b9150620f4240600554836140de9190615cdd565b6140e89190615ca2565b601260008282546140f991906159da565b9091555050600480546040517fa8a778ae00000000000000000000000000000000000000000000000000000000815233928101929092526024820189905273ffffffffffffffffffffffffffffffffffffffff169063a8a778ae90604401600060405180830381600087803b15801561417157600080fd5b505af1158015614185573d6000803e3d6000fd5b50506003546040517fb4f56b260000000000000000000000000000000000000000000000000000000081523360048201526024810186905273ffffffffffffffffffffffffffffffffffffffff909116925063b4f56b269150604401600060405180830381600087803b1580156141fb57600080fd5b505af115801561420f573d6000803e3d6000fd5b505050505095945050505050565b60008181526020819052604081206128d190615111565b60008281526020819052604090206002015461425090336128d7565b611887576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152603060248201527f416363657373436f6e74726f6c3a2073656e646572206d75737420626520616e60448201527f2061646d696e20746f207265766f6b650000000000000000000000000000000060648201526084016107fc565b6143067fa84a5389ad41f9aab0831b01e5384cae76e7a7fd09131c206ff7927c201c3857336128d7565b61430f57600080fd5b6013805460ff750100000000000000000000000000000000000000000080830482161581027fffffffffffffffffffff00ffffffffffffffffffffffffffffffffffffffffff90931692909217928390556040517f5860c5063a65e23cea4e2e2925f1a841bb6d1bc9615bd425f8dd084980b0514193611b999390049091161515815260200190565b6143c27f0db189261133fd7647d3308512b693b47bed44004cac80fb59aa64b63a231e2c336128d7565b614428576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601860248201527f504f4f4c3a3a796f7520617265206e6f7420747275737479000000000000000060448201526064016107fc565b6040517fa9059cbb00000000000000000000000000000000000000000000000000000000815273ffffffffffffffffffffffffffffffffffffffff82811660048301526024820184905284169063a9059cbb90604401602060405180830381600087803b15801561449857600080fd5b505af11580156144ac573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906108e19190615b4d565b6013547501000000000000000000000000000000000000000000900460ff1615614556576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601960248201527f504f4f4c3a3a52656465656d696e67206973207061757365640000000000000060448201526064016107fc565b600354604080517f2eb9771b000000000000000000000000000000000000000000000000000000008152905160009273ffffffffffffffffffffffffffffffffffffffff1691632eb9771b916004808301926020929190829003018186803b1580156145c157600080fd5b505afa1580156145d5573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906145f99190615a09565b9050620f42408110801561460d5750600081115b6146bf576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152605360248201527f504f4f4c3a3a72656465656d4672616374696f6e616c4445493a20436f6c6c6160448201527f746572616c20726174696f206e6565647320746f206265206265747765656e2060648201527f2e30303030303120616e64202e39393939393900000000000000000000000000608482015260a4016107fc565b4384101561474f576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152602e60248201527f4445493a3a72656465656d4672616374696f6e616c4445493a207369676e617460448201527f757265206973206578706972656400000000000000000000000000000000000060648201526084016107fc565b600254600454604080517fffffffffffffffffffffffffffffffffffffffff000000000000000000000000606094851b8116602080840191909152603483018c90529390941b909316605484015260688301889052608883018790524660a8808501919091528151808503909101815260c884019182905280519201919091206003547f6793f0ac000000000000000000000000000000000000000000000000000000009092529173ffffffffffffffffffffffffffffffffffffffff90911690636793f0ac906148289084908890889060cc01615a6b565b60206040518083038186803b15801561484057600080fd5b505afa158015614854573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906148789190615b4d565b614904576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152602d60248201527f504f4f4c3a3a72656465656d4672616374696f6e616c4445493a20696e76616c60448201527f6964207369676e6174757265730000000000000000000000000000000000000060648201526084016107fc565b60008060008990506000620f4240600654620f424061492391906159f2565b61492d908e615cdd565b6149379190615ca2565b90506000620f42406149498884615cdd565b6149539190615ca2565b61495d90836159f2565b90508a61496d620f424083615cdd565b6149779190615ca2565b945060006149a67f0000000000000000000000000000000000000000000000000000000000000000600a615c96565b6149b09084615ca2565b90506000620f42406149c28a84615cdd565b6149cc9190615ca2565b9050846149dc620f424083615cdd565b6149e69190615ca2565b600b546001546040517f70a0823100000000000000000000000000000000000000000000000000000000815230600482015292985090965073ffffffffffffffffffffffffffffffffffffffff1694506370a0823193506024019150614a499050565b60206040518083038186803b158015614a6157600080fd5b505afa158015614a75573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190614a999190615a09565b614aa391906159f2565b811115614b0c576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601d60248201527f4e6f7420656e6f75676820636f6c6c61746572616c20696e20706f6f6c00000060448201526064016107fc565b336000908152600a6020526040902054614b279082906159da565b336000908152600a6020526040902055600b54614b459082906159da565b600b5533600090815260096020526040902054614b639083906159da565b33600090815260096020526040902055600c54614b819083906159da565b600c55336000908152600d60205260409020439055600654620f424090614ba8908c615cdd565b614bb29190615ca2565b60126000828254614bc391906159da565b90915550506003546040517fa8a778ae000000000000000000000000000000000000000000000000000000008152336004820152602481018c905273ffffffffffffffffffffffffffffffffffffffff9091169063a8a778ae90604401600060405180830381600087803b158015614c3a57600080fd5b505af1158015614c4e573d6000803e3d6000fd5b5050600480546040517fb4f56b2600000000000000000000000000000000000000000000000000000000815230928101929092526024820186905273ffffffffffffffffffffffffffffffffffffffff16925063b4f56b269150604401613008565b60006128ce837fffffffffffffffffffffffffffffffffffffffff000000000000000000000000606085901b1661511b565b6040805173ffffffffffffffffffffffffffffffffffffffff8481166024830152604480830185905283518084039091018152606490920183526020820180517bffffffffffffffffffffffffffffffffffffffffffffffffffffffff167fa9059cbb000000000000000000000000000000000000000000000000000000001790529151600092839290871691614d799190615f45565b6000604051808303816000865af19150503d8060008114614db6576040519150601f19603f3d011682016040523d82523d6000602084013e614dbb565b606091505b5091509150818015614de5575080511580614de5575080806020019051810190614de59190615b4d565b614e4b576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601f60248201527f5472616e7366657248656c7065723a205452414e534645525f4641494c45440060448201526064016107fc565b5050505050565b6000828152602081905260409020614e6a9082614cb0565b156110cc57604051339073ffffffffffffffffffffffffffffffffffffffff83169084907f2f8788117e7eff1d82e926ec794901d17c78024a50270940304540a733656f0d90600090a45050565b6040805173ffffffffffffffffffffffffffffffffffffffff85811660248301528481166044830152606480830185905283518084039091018152608490920183526020820180517bffffffffffffffffffffffffffffffffffffffffffffffffffffffff167f23b872dd000000000000000000000000000000000000000000000000000000001790529151600092839290881691614f579190615f45565b6000604051808303816000865af19150503d8060008114614f94576040519150601f19603f3d011682016040523d82523d6000602084013e614f99565b606091505b5091509150818015614fc3575080511580614fc3575080806020019051810190614fc39190615b4d565b61504e576040517f08c379a0000000000000000000000000000000000000000000000000000000008152602060048201526024808201527f5472616e7366657248656c7065723a205452414e534645525f46524f4d5f464160448201527f494c45440000000000000000000000000000000000000000000000000000000060648201526084016107fc565b505050505050565b600082815260208190526040902061506e908261516a565b156110cc57604051339073ffffffffffffffffffffffffffffffffffffffff83169084907ff6391f5c32d9c69d2a47ea670b442974b53935d1edc7fd64eb21e047a839171b90600090a45050565b60006150c8838361519c565b60601c9392505050565b606081901b7fffffffffffffffffffffffffffffffffffffffff00000000000000000000000016600090815260018301602052604081205415156128ce565b60006128d1825490565b6000818152600183016020526040812054615162575081546001818101845560008481526020808220909301849055845484825282860190935260409020919091556128d1565b5060006128d1565b60006128ce837fffffffffffffffffffffffffffffffffffffffff000000000000000000000000606085901b16615257565b8154600090821061522f576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152602260248201527f456e756d657261626c655365743a20696e646578206f7574206f6620626f756e60448201527f647300000000000000000000000000000000000000000000000000000000000060648201526084016107fc565b82600001828154811061524457615244615f16565b9060005260206000200154905092915050565b6000818152600183016020526040812054801561534057600061527b6001836159f2565b855490915060009061528f906001906159f2565b905060008660000182815481106152a8576152a8615f16565b90600052602060002001549050808760000184815481106152cb576152cb615f16565b6000918252602090912001556152e28360016159da565b6000828152600189016020526040902055865487908061530457615304615f61565b600190038181906000526020600020016000905590558660010160008781526020019081526020016000206000905560019450505050506128d1565b60009150506128d1565b803573ffffffffffffffffffffffffffffffffffffffff8116811461536e57600080fd5b919050565b60006020828403121561538557600080fd5b6128ce8261534a565b6000602082840312156153a057600080fd5b5035919050565b60008083601f8401126153b957600080fd5b50813567ffffffffffffffff8111156153d157600080fd5b6020830191508360208260051b85010111156153ec57600080fd5b9250929050565b60008060008060006080868803121561540b57600080fd5b853594506020860135935060408601359250606086013567ffffffffffffffff81111561543757600080fd5b615443888289016153a7565b969995985093965092949392505050565b6000806040838503121561546757600080fd5b823591506154776020840161534a565b90509250929050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052604160045260246000fd5b60405160c0810167ffffffffffffffff811182821017156154d2576154d2615480565b60405290565b604051601f82017fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe016810167ffffffffffffffff8111828210171561551f5761551f615480565b604052919050565b600067ffffffffffffffff82111561554157615541615480565b5060051b60200190565b600082601f83011261555c57600080fd5b8135602061557161556c83615527565b6154d8565b82815260059290921b8401810191818101908684111561559057600080fd5b8286015b848110156155ab5780358352918301918301615594565b509695505050505050565b6000602082840312156155c857600080fd5b813567ffffffffffffffff8111156155df57600080fd5b6155eb8482850161554b565b949350505050565b600080600080600080600060e0888a03121561560e57600080fd5b505085359760208701359750604087013596606081013596506080810135955060a0810135945060c0013592509050565b600080600080600080600060c0888a03121561565a57600080fd5b873596506020880135955060408801359450606088013593506080880135925060a088013567ffffffffffffffff81111561569457600080fd5b6156a08a828b016153a7565b989b979a50959850939692959293505050565b600080604083850312156156c657600080fd5b50508035926020909101359150565b6000601f83818401126156e757600080fd5b823560206156f761556c83615527565b82815260059290921b8501810191818101908784111561571657600080fd5b8287015b848110156157cb57803567ffffffffffffffff8082111561573b5760008081fd5b818a0191508a603f8301126157505760008081fd5b8582013560408282111561576657615766615480565b615795887fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe08c850116016154d8565b92508183528c818386010111156157ac5760008081fd5b818185018985013750600090820187015284525091830191830161571a565b50979650505050505050565b6000602082840312156157e957600080fd5b813567ffffffffffffffff8082111561580157600080fd5b9083019060c0828603121561581557600080fd5b61581d6154af565b823581526020830135602082015260408301358281111561583d57600080fd5b6158498782860161554b565b604083015250606083013560608201526080830135608082015260a08301358281111561587557600080fd5b615881878286016156d5565b60a08301525095945050505050565b60008060008060008060a087890312156158a957600080fd5b86359550602087013567ffffffffffffffff808211156158c857600080fd5b6158d48a838b0161554b565b9650604089013595506060890135945060808901359150808211156158f857600080fd5b5061590589828a016153a7565b979a9699509497509295939492505050565b60008060006060848603121561592c57600080fd5b6159358461534a565b92506020840135915061594a6040850161534a565b90509250925092565b60008060008060008060a0878903121561596c57600080fd5b86359550602087013594506040870135935060608701359250608087013567ffffffffffffffff81111561599f57600080fd5b61590589828a016153a7565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052601160045260246000fd5b600082198211156159ed576159ed6159ab565b500190565b600082821015615a0457615a046159ab565b500390565b600060208284031215615a1b57600080fd5b5051919050565b8183528181602085013750600060208284010152600060207fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0601f840116840101905092915050565b60006040820185835260206040818501528185835260608501905060608660051b86010192508660005b87811015615b3f577fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffa087860301835281357fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe18a3603018112615af657600080fd5b8901803567ffffffffffffffff811115615b0f57600080fd5b8036038b1315615b1e57600080fd5b615b2b8782888501615a22565b965050509183019190830190600101615a95565b509298975050505050505050565b600060208284031215615b5f57600080fd5b81518015158114615b6f57600080fd5b9392505050565b600181815b80851115615bcf57817fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff04821115615bb557615bb56159ab565b80851615615bc257918102915b93841c9390800290615b7b565b509250929050565b600082615be6575060016128d1565b81615bf3575060006128d1565b8160018114615c095760028114615c1357615c2f565b60019150506128d1565b60ff841115615c2457615c246159ab565b50506001821b6128d1565b5060208310610133831016604e8410600b8410161715615c52575081810a6128d1565b615c5c8383615b76565b807fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff04821115615c8e57615c8e6159ab565b029392505050565b60006128ce8383615bd7565b600082615cd8577f4e487b7100000000000000000000000000000000000000000000000000000000600052601260045260246000fd5b500490565b6000817fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff0483118215151615615d1557615d156159ab565b500290565b6020808252825182820181905260009190848201906040850190845b81811015615d5257835183529284019291840191600101615d36565b50909695505050505050565b81518152602080830151908201526040808301519082015260608083015190820152608081016128d1565b60008060408385031215615d9c57600080fd5b505080516020909101519092909150565b60007fffffffffffffffffffffffffffffffffffffffff000000000000000000000000808960601b1683526014830188516020808b0160005b83811015615e0257815185529382019390820190600101615de6565b5050505060609790971b168652505060148401929092526034830152605482015260740192915050565b60005b83811015615e47578181015183820152602001615e2f565b838111156108e15750506000910152565b600060408201848352602060408185015281855180845260608601915060608160051b870101935082870160005b82811015615f08577fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffa088870301845281518051808852615ecb81888a01898501615e2c565b601f017fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe01696909601850195509284019290840190600101615e86565b509398975050505050505050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052603260045260246000fd5b60008251615f57818460208701615e2c565b9190910192915050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052603160045260246000fdfea2646970667358221220474dfb38eda924d2f3d33f544cbfee7c1aa40cd949371d34bece320ca3e0c07864736f6c63430008080033000000000000000000000000de12c7959e1a72bbe8a5f7a1dc8f8eef9ab011b3000000000000000000000000de5ed76e7c05ec5e4572cfc88d1acea165109e44000000000000000000000000a0b86991c6218b36c1d19d4a2e9eb0ce3606eb48000000000000000000000000fe351f5ed699fd5ea80b906f89dfdad2f885a46c000000000000000000000000fe351f5ed699fd5ea80b906f89dfdad2f885a46c000000000000000000000000000000000000000000000000000012309ce54000000000000000000000000000c63eaf6bc162531b153dfc61f225e62d2edb4488

0x608060405234801561001057600080fd5b506004361061032b5760003560e01c80637b0461e9116101b2578063b6258aaa116100f9578063cb73999f116100a2578063e3d84d5e1161007c578063e3d84d5e146106df578063eb2d7461146106f2578063f9abd26c14610705578063fede5c9c1461072557600080fd5b8063cb73999f146106bb578063d547741f146106c4578063daa50485146106d757600080fd5b8063c6301e5d116100d3578063c6301e5d1461068c578063c74ec56a1461069f578063ca15c873146106a857600080fd5b8063b6258aaa1461065d578063c3355b8d14610670578063c410ca1b1461067957600080fd5b806391d148541161015b578063a217fddf11610135578063a217fddf1461060f578063abae2c4c14610617578063b235d4681461063757600080fd5b806391d14854146105d6578063928d2b31146105e9578063978b73b5146105fc57600080fd5b80637f877f851161018c5780637f877f851461056d57806388d19f1b146105955780639010d07c1461059e57600080fd5b80637b0461e9146105375780637d55094d146105405780637e4831d31461054857600080fd5b806340e14b7811610276578063564b81ef1161021f5780636d2c5615116101f95780636d2c5615146104c65780636d82e314146104fd5780637901330b1461052457600080fd5b8063564b81ef146104905780635de207cc146104965780636526a12a146104bd57600080fd5b80634ebbe762116102505780634ebbe7621461046257806350c9ecd91461047557806354f9769d1461047d57600080fd5b806340e14b781461043e57806342d15aec146104515780634c6349341461045957600080fd5b80632f2ff15d116102d85780633648b7dc116102b25780633648b7dc1461040257806336568abe1461040b5780633b92da471461041e57600080fd5b80632f2ff15d146103b557806332ad1ee4146103c857806334ddb95d146103db57600080fd5b806315128425116103095780631512842514610376578063248a9ca31461037f578063254cd2bd146103a257600080fd5b806308a7493d14610330578063101197c71461036357806312ace5a21461036c575b600080fd5b61035061033e366004615373565b600a6020526000908152604090205481565b6040519081526020015b60405180910390f35b61035060075481565b61037461072e565b005b61035060115481565b61035061038d36600461538e565b60009081526020819052604090206002015490565b6103746103b03660046153f3565b6108e7565b6103746103c3366004615454565b61101a565b6103506103d63660046153f3565b6110d0565b6103507f0db189261133fd7647d3308512b693b47bed44004cac80fb59aa64b63a231e2c81565b610350600c5481565b610374610419366004615454565b6117e2565b61035061042c366004615373565b60096020526000908152604090205481565b61035061044c3660046155b6565b611891565b610374611adc565b61035060105481565b6103746104703660046155f3565b611ba3565b610374611ce2565b61035061048b36600461563f565b611da0565b46610350565b6103507fe08e6e8e2e796f02419355c6fa268d1461fe6f2f34114a881a2db47c0f24050981565b610350600e5481565b6013546104ed90760100000000000000000000000000000000000000000000900460ff1681565b604051901515815260200161035a565b6103507f0d4a2989857a24de9c91e1daffe87d051d59f52b68729413d1ef656ec487e53081565b610374610532366004615454565b612667565b610350600b5481565b6103746127fb565b6013546104ed9074010000000000000000000000000000000000000000900460ff1681565b6013546104ed9077010000000000000000000000000000000000000000000000900460ff1681565b61035060125481565b6105b16105ac3660046156b3565b6128b6565b60405173ffffffffffffffffffffffffffffffffffffffff909116815260200161035a565b6104ed6105e4366004615454565b6128d7565b6103746105f73660046157d7565b6128ef565b61037461060a3660046153f3565b613046565b610350600081565b610350610625366004615373565b600d6020526000908152604090205481565b6013546104ed907501000000000000000000000000000000000000000000900460ff1681565b61035061066b36600461538e565b613607565b61035060055481565b610374610687366004615890565b613705565b61035061069a3660046153f3565b613c08565b610350600f5481565b6103506106b636600461538e565b61421d565b61035060065481565b6103746106d2366004615454565b614234565b6103746142dc565b6103746106ed366004615917565b614398565b610374610700366004615953565b6144d0565b6014546105b19073ffffffffffffffffffffffffffffffffffffffff1681565b61035060085481565b601154336000908152600d6020526040902054439161074c916159da565b1115610805576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152605b60248201527f504f4f4c3a3a636f6c6c656374526564656d7074696f6e3a204d75737420776160448201527f697420666f7220726564656d7074696f6e5f64656c617920626c6f636b73206260648201527f65666f726520636f6c6c656374696e6720726564656d7074696f6e0000000000608482015260a4015b60405180910390fd5b336000908152600960205260408120548190819081901561084d573360009081526009602052604081208054919055600c549092506108459083906159f2565b600c55600193505b336000908152600a60205260409020541561088d5750336000908152600a602052604081208054919055600b546108859082906159f2565b600b55600192505b83156108b7576004546108b79073ffffffffffffffffffffffffffffffffffffffff163384614ce2565b82156108e1576001546108e19073ffffffffffffffffffffffffffffffffffffffff163383614ce2565b50505050565b6013547501000000000000000000000000000000000000000000900460ff161561096d576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601960248201527f504f4f4c3a3a52656465656d696e67206973207061757365640000000000000060448201526064016107fc565b600354604080517f2eb9771b0000000000000000000000000000000000000000000000000000000081529051620f42409273ffffffffffffffffffffffffffffffffffffffff1691632eb9771b916004808301926020929190829003018186803b1580156109da57600080fd5b505afa1580156109ee573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190610a129190615a09565b14610a79576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601d60248201527f436f6c6c61746572616c20726174696f206d757374206265203d3d203100000060448201526064016107fc565b43831015610b09576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152602f60248201527f504f4f4c3a3a6d696e74416c676f726974686d69634445493a207369676e617460448201527f75726520697320657870697265642e000000000000000000000000000000000060648201526084016107fc565b60025460009073ffffffffffffffffffffffffffffffffffffffff1685854660405160609490941b7fffffffffffffffffffffffffffffffffffffffff000000000000000000000000166020850152603484019290925260548301526074820152609401604080517fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe08184030181529082905280516020909101206003547f6793f0ac00000000000000000000000000000000000000000000000000000000835290925073ffffffffffffffffffffffffffffffffffffffff1690636793f0ac90610bfc90849087908790600401615a6b565b60206040518083038186803b158015610c1457600080fd5b505afa158015610c28573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190610c4c9190615b4d565b610cd8576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152602660248201527f504f4f4c3a3a72656465656d3174314445493a20696e76616c6964207369676e60448201527f617475726573000000000000000000000000000000000000000000000000000060648201526084016107fc565b6000610d057f000000000000000000000000000000000000000000000000000000000000000c600a615c96565b610d0f9088615ca2565b6013546040517f068d54aa000000000000000000000000000000000000000000000000000000008152600481018990526024810183905291925060009173ffffffffffffffffffffffffffffffffffffffff9091169063068d54aa9060440160206040518083038186803b158015610d8657600080fd5b505afa158015610d9a573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190610dbe9190615a09565b9050620f4240600654620f4240610dd591906159f2565b610ddf9083615cdd565b610de99190615ca2565b600b546001546040517f70a08231000000000000000000000000000000000000000000000000000000008152306004820152929350909173ffffffffffffffffffffffffffffffffffffffff909116906370a082319060240160206040518083038186803b158015610e5a57600080fd5b505afa158015610e6e573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190610e929190615a09565b610e9c91906159f2565b811115610f05576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601d60248201527f4e6f7420656e6f75676820636f6c6c61746572616c20696e20706f6f6c00000060448201526064016107fc565b336000908152600a6020526040902054610f209082906159da565b336000908152600a6020526040902055600b54610f3e9082906159da565b600b55336000908152600d60205260409020439055600654620f424090610f65908a615cdd565b610f6f9190615ca2565b60126000828254610f8091906159da565b90915550506003546040517fa8a778ae000000000000000000000000000000000000000000000000000000008152336004820152602481018a905273ffffffffffffffffffffffffffffffffffffffff9091169063a8a778ae906044015b600060405180830381600087803b158015610ff857600080fd5b505af115801561100c573d6000803e3d6000fd5b505050505050505050505050565b60008281526020819052604090206002015461103690336128d7565b6110c2576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152602f60248201527f416363657373436f6e74726f6c3a2073656e646572206d75737420626520616e60448201527f2061646d696e20746f206772616e74000000000000000000000000000000000060648201526084016107fc565b6110cc8282614e52565b5050565b60135460009074010000000000000000000000000000000000000000900460ff1615611158576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601760248201527f504f4f4c3a3a4d696e74696e672069732070617573656400000000000000000060448201526064016107fc565b600354604080517f2eb9771b0000000000000000000000000000000000000000000000000000000081529051620f42409273ffffffffffffffffffffffffffffffffffffffff1691632eb9771b916004808301926020929190829003018186803b1580156111c557600080fd5b505afa1580156111d9573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906111fd9190615a09565b1015611265576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601d60248201527f436f6c6c61746572616c20726174696f206d757374206265203e3d203100000060448201526064016107fc565b600e54600b546001546040517f70a0823100000000000000000000000000000000000000000000000000000000815230600482015289929173ffffffffffffffffffffffffffffffffffffffff16906370a082319060240160206040518083038186803b1580156112d557600080fd5b505afa1580156112e9573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525081019061130d9190615a09565b61131791906159f2565b61132191906159da565b1115611389576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820181905260248201527f5b506f6f6c277320436c6f7365645d3a204365696c696e67207265616368656460448201526064016107fc565b43841015611419576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152602660248201527f504f4f4c3a3a6d696e743174314445493a207369676e6174757265206973206560448201527f787069726564000000000000000000000000000000000000000000000000000060648201526084016107fc565b60025460009073ffffffffffffffffffffffffffffffffffffffff1686864660405160609490941b7fffffffffffffffffffffffffffffffffffffffff000000000000000000000000166020850152603484019290925260548301526074820152609401604080517fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe08184030181529082905280516020909101206003547f6793f0ac00000000000000000000000000000000000000000000000000000000835290925073ffffffffffffffffffffffffffffffffffffffff1690636793f0ac9061150c90849088908890600401615a6b565b60206040518083038186803b15801561152457600080fd5b505afa158015611538573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525081019061155c9190615b4d565b6115e7576040517f08c379a0000000000000000000000000000000000000000000000000000000008152602060048201526024808201527f504f4f4c3a3a6d696e743174314445493a20696e76616c6964207369676e617460448201527f757265730000000000000000000000000000000000000000000000000000000060648201526084016107fc565b60006116147f000000000000000000000000000000000000000000000000000000000000000c600a615c96565b61161e9089615cdd565b6013546040517f882ab63a000000000000000000000000000000000000000000000000000000008152600481018a90526024810183905291925073ffffffffffffffffffffffffffffffffffffffff169063882ab63a9060440160206040518083038186803b15801561169057600080fd5b505afa1580156116a4573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906116c89190615a09565b9250620f4240600554620f42406116df91906159f2565b6116e99085615cdd565b6116f39190615ca2565b60015490935061171b9073ffffffffffffffffffffffffffffffffffffffff1633308b614eb8565b620f42406005548461172d9190615cdd565b6117379190615ca2565b6012600082825461174891906159da565b90915550506003546040517fb4f56b260000000000000000000000000000000000000000000000000000000081523360048201526024810185905273ffffffffffffffffffffffffffffffffffffffff9091169063b4f56b2690604401600060405180830381600087803b1580156117bf57600080fd5b505af11580156117d3573d6000803e3d6000fd5b50505050505095945050505050565b73ffffffffffffffffffffffffffffffffffffffff81163314611887576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152602f60248201527f416363657373436f6e74726f6c3a2063616e206f6e6c792072656e6f756e636560448201527f20726f6c657320666f722073656c66000000000000000000000000000000000060648201526084016107fc565b6110cc8282615056565b600080600360009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff166318160ddd6040518163ffffffff1660e01b815260040160206040518083038186803b1580156118fc57600080fd5b505afa158015611910573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906119349190615a09565b90506000600360009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16632eb9771b6040518163ffffffff1660e01b815260040160206040518083038186803b1580156119a057600080fd5b505afa1580156119b4573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906119d89190615a09565b6003546040517f2480fcea00000000000000000000000000000000000000000000000000000000815291925060009173ffffffffffffffffffffffffffffffffffffffff90911690632480fcea90611a34908890600401615d1a565b60206040518083038186803b158015611a4c57600080fd5b505afa158015611a60573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190611a849190615a09565b9050620f4240821115611a9857620f424091505b6000620f4240611aa88486615cdd565b611ab29190615ca2565b905080821115611ad057611ac681836159f2565b9695505050505050565b50600095945050505050565b611b067f8118eeb5231a5fe4008a55b62860f6a0db4f6c3ac04f8141927a9b3fedd86d2f336128d7565b611b0f57600080fd5b6013805460ff76010000000000000000000000000000000000000000000080830482161581027fffffffffffffffffff00ffffffffffffffffffffffffffffffffffffffffffff90931692909217928390556040517f2fda313d9b5bb0b73bd003153f2fccbc0dca49791fdd1184dfad82b44f54bd2e93611b999390049091161515815260200190565b60405180910390a1565b611bcd7fe08e6e8e2e796f02419355c6fa268d1461fe6f2f34114a881a2db47c0f240509336128d7565b611c59576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152602960248201527f504f4f4c3a2043616c6c6572206973206e6f7420504152414d455445525f534560448201527f545445525f524f4c45000000000000000000000000000000000000000000000060648201526084016107fc565b600e8790556010869055601185905560058490556006839055600782905560088190556040805188815260208101889052908101869052606081018590526080810184905260a0810183905260c081018290527f17fe98b66d27bd793ea01bd8a23a54acab8eeb167d9eb016a0c7cd71c573920c9060e00160405180910390a150505050505050565b611d0c7f103da79ff3755ff7a17a557d28b73d37cb4de0b3c3cc02fa6c48df0f35071fbf336128d7565b611d1557600080fd5b6013805460ff7701000000000000000000000000000000000000000000000080830482161581027fffffffffffffffff00ffffffffffffffffffffffffffffffffffffffffffffff90931692909217928390556040517f4f40fd1c59f78d7a2220da638cd9400daba01e57c7965702f390bf13133cc31f93611b999390049091161515815260200190565b60135460009074010000000000000000000000000000000000000000900460ff1615611e28576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601760248201527f504f4f4c3a3a4d696e74696e672069732070617573656400000000000000000060448201526064016107fc565b600354604080517f2eb9771b000000000000000000000000000000000000000000000000000000008152905160009273ffffffffffffffffffffffffffffffffffffffff1691632eb9771b916004808301926020929190829003018186803b158015611e9357600080fd5b505afa158015611ea7573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190611ecb9190615a09565b9050620f424081108015611edf5750600081115b611f6b576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152603860248201527f436f6c6c61746572616c20726174696f206e6565647320746f2062652062657460448201527f7765656e202e30303030303120616e64202e393939393939000000000000000060648201526084016107fc565b600e54600b546001546040517f70a082310000000000000000000000000000000000000000000000000000000081523060048201528c929173ffffffffffffffffffffffffffffffffffffffff16906370a082319060240160206040518083038186803b158015611fdb57600080fd5b505afa158015611fef573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906120139190615a09565b61201d91906159f2565b61202791906159da565b11156120dc576040517f08c379a0000000000000000000000000000000000000000000000000000000008152602060048201526044602482018190527f506f6f6c206365696c696e6720726561636865642c206e6f206d6f7265204445908201527f492063616e206265206d696e7465642077697468207468697320636f6c6c617460648201527f6572616c00000000000000000000000000000000000000000000000000000000608482015260a4016107fc565b4385101561216c576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152602e60248201527f504f4f4c3a3a6d696e744672616374696f6e616c4445493a207369676e61747560448201527f726520697320657870697265642e00000000000000000000000000000000000060648201526084016107fc565b600254600454604080517fffffffffffffffffffffffffffffffffffffffff000000000000000000000000606094851b8116602080840191909152603483018d90529390941b909316605484015260688301899052608883018890524660a8808501919091528151808503909101815260c884019182905280519201919091206003547f6793f0ac000000000000000000000000000000000000000000000000000000009092529173ffffffffffffffffffffffffffffffffffffffff90911690636793f0ac906122459084908990899060cc01615a6b565b60206040518083038186803b15801561225d57600080fd5b505afa158015612271573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906122959190615b4d565b612321576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152602b60248201527f504f4f4c3a3a6d696e744672616374696f6e616c4445493a20696e76616c696460448201527f207369676e61747572657300000000000000000000000000000000000000000060648201526084016107fc565b61234c6040518060800160405280600081526020016000815260200160008152602001600081525090565b60006123797f000000000000000000000000000000000000000000000000000000000000000c600a615c96565b612383908d615cdd565b604080516080810182528b8152602081018d9052808201929092526060820186905260135490517f537a30a70000000000000000000000000000000000000000000000000000000081529193506000925073ffffffffffffffffffffffffffffffffffffffff169063537a30a7906123ff908590600401615d5e565b604080518083038186803b15801561241657600080fd5b505afa15801561242a573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525081019061244e9190615d89565b90955090508a8111156124bd576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601860248201527f4e6f7420656e6f756768204445555320696e707574746564000000000000000060448201526064016107fc565b620f4240600554620f42406124d291906159f2565b6124dc9087615cdd565b6124e69190615ca2565b600480546040517fa8a778ae00000000000000000000000000000000000000000000000000000000815233928101929092526024820184905291965073ffffffffffffffffffffffffffffffffffffffff9091169063a8a778ae90604401600060405180830381600087803b15801561255e57600080fd5b505af1158015612572573d6000803e3d6000fd5b505060015461259c925073ffffffffffffffffffffffffffffffffffffffff16905033308f614eb8565b620f4240600554866125ae9190615cdd565b6125b89190615ca2565b601260008282546125c991906159da565b90915550506003546040517fb4f56b260000000000000000000000000000000000000000000000000000000081523360048201526024810187905273ffffffffffffffffffffffffffffffffffffffff9091169063b4f56b2690604401600060405180830381600087803b15801561264057600080fd5b505af1158015612654573d6000803e3d6000fd5b5050505050505050979650505050505050565b6126917f0d4a2989857a24de9c91e1daffe87d051d59f52b68729413d1ef656ec487e530336128d7565b61269a57600080fd5b601254821115612706576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601060248201527f616d6f756e743c3d64616f53686172650000000000000000000000000000000060448201526064016107fc565b6003546040517fb4f56b2600000000000000000000000000000000000000000000000000000000815273ffffffffffffffffffffffffffffffffffffffff8381166004830152602482018590529091169063b4f56b2690604401600060405180830381600087803b15801561277a57600080fd5b505af115801561278e573d6000803e3d6000fd5b5050505081601260008282546127a491906159f2565b90915550506040805183815273ffffffffffffffffffffffffffffffffffffffff831660208201527f3a708f2f1c75b12457d207cf1e259ab9f87bbfccb29672903acf4661bd342e49910160405180910390a15050565b6128257fc65532185ed70b2e999433e2e9fac124e083acb13ec183a4e05944da0792337b336128d7565b61282e57600080fd5b6013805460ff7401000000000000000000000000000000000000000080830482161581027fffffffffffffffffffffff00ffffffffffffffffffffffffffffffffffffffff90931692909217928390556040517f6bdfe227d5db299c59aa56d5f846f40dbd73b271aaa78e18ed74fc3e00b8aa6b93611b999390049091161515815260200190565b60008281526020819052604081206128ce90836150bc565b90505b92915050565b60008281526020819052604081206128ce90836150d2565b601354760100000000000000000000000000000000000000000000900460ff161561299c576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152603360248201527f504f4f4c3a3a7265636f6c6c61746572616c697a654445493a205265636f6c6c60448201527f61746572616c697a65206973207061757365640000000000000000000000000060648201526084016107fc565b4381608001511015612a30576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152602f60248201527f504f4f4c3a3a7265636f6c6c61746572616c697a654445493a207369676e617460448201527f75726520697320657870697265642e000000000000000000000000000000000060648201526084016107fc565b600254604082810151600454606085015160808601519351600095612a799573ffffffffffffffffffffffffffffffffffffffff91821695949190911692914690602001615dad565b604080517fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe081840301815290829052805160209091012060035460a08501517f6793f0ac00000000000000000000000000000000000000000000000000000000845291935073ffffffffffffffffffffffffffffffffffffffff1691636793f0ac91612b0a91859190600401615e58565b60206040518083038186803b158015612b2257600080fd5b505afa158015612b36573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190612b5a9190615b4d565b612be6576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152602c60248201527f504f4f4c3a3a7265636f6c6c61746572616c697a654445493a20696e76616c6960448201527f64207369676e617475726573000000000000000000000000000000000000000060648201526084016107fc565b6000612c137f000000000000000000000000000000000000000000000000000000000000000c600a615c96565b8351612c1f9190615cdd565b90506000600360009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff166318160ddd6040518163ffffffff1660e01b815260040160206040518083038186803b158015612c8b57600080fd5b505afa158015612c9f573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190612cc39190615a09565b90506000600360009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16632eb9771b6040518163ffffffff1660e01b815260040160206040518083038186803b158015612d2f57600080fd5b505afa158015612d43573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190612d679190615a09565b60035460408088015190517f2480fcea00000000000000000000000000000000000000000000000000000000815292935060009273ffffffffffffffffffffffffffffffffffffffff90921691632480fcea91612dc691600401615d1a565b60206040518083038186803b158015612dde57600080fd5b505afa158015612df2573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190612e169190615a09565b60135460408801518051929350600092839273ffffffffffffffffffffffffffffffffffffffff169163fc01106191899190612e54906001906159f2565b81518110612e6457612e64615f16565b60209081029190910101516040517fffffffff0000000000000000000000000000000000000000000000000000000060e085901b1681526004810192909252602482015260448101869052606481018890526084810187905260a401604080518083038186803b158015612ed757600080fd5b505afa158015612eeb573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190612f0f9190615d89565b90925090506000612f417f000000000000000000000000000000000000000000000000000000000000000c600a615c96565b612f4b9084615ca2565b905060008960600151600854601054620f4240612f6891906159da565b612f7291906159f2565b612f7c9085615cdd565b612f869190615ca2565b600154909150612fae9073ffffffffffffffffffffffffffffffffffffffff16333085614eb8565b600480546040517fb4f56b2600000000000000000000000000000000000000000000000000000000815233928101929092526024820183905273ffffffffffffffffffffffffffffffffffffffff169063b4f56b26906044015b600060405180830381600087803b15801561302257600080fd5b505af1158015613036573d6000803e3d6000fd5b5050505050505050505050505050565b6013547501000000000000000000000000000000000000000000900460ff16156130cc576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601960248201527f504f4f4c3a3a52656465656d696e67206973207061757365640000000000000060448201526064016107fc565b600360009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16632eb9771b6040518163ffffffff1660e01b815260040160206040518083038186803b15801561313457600080fd5b505afa158015613148573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525081019061316c9190615a09565b156131f9576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152603660248201527f504f4f4c3a3a72656465656d416c676f726974686d69634445493a20436f6c6c60448201527f61746572616c20726174696f206d75737420626520300000000000000000000060648201526084016107fc565b43831015613289576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152603060248201527f4445493a3a72656465656d416c676f726974686d69634445493a207369676e6160448201527f7475726520697320657870697265642e0000000000000000000000000000000060648201526084016107fc565b60045460009073ffffffffffffffffffffffffffffffffffffffff1685854660405160609490941b7fffffffffffffffffffffffffffffffffffffffff000000000000000000000000166020850152603484019290925260548301526074820152609401604080517fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe08184030181529082905280516020909101206003547f6793f0ac00000000000000000000000000000000000000000000000000000000835290925073ffffffffffffffffffffffffffffffffffffffff1690636793f0ac9061337c90849087908790600401615a6b565b60206040518083038186803b15801561339457600080fd5b505afa1580156133a8573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906133cc9190615b4d565b613458576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152602e60248201527f504f4f4c3a3a72656465656d416c676f726974686d69634445493a20696e766160448201527f6c6964207369676e61747572657300000000000000000000000000000000000060648201526084016107fc565b6006548690620f42409061346c90826159f2565b6134769083615cdd565b6134809190615ca2565b9050600086613492620f424084615cdd565b61349c9190615ca2565b336000908152600960205260409020549091506134ba9082906159da565b33600090815260096020526040902055600c546134d89082906159da565b600c55336000908152600d60205260409020439055600654620f4240906134ff908a615cdd565b6135099190615ca2565b6012600082825461351a91906159da565b90915550506003546040517fa8a778ae000000000000000000000000000000000000000000000000000000008152336004820152602481018a905273ffffffffffffffffffffffffffffffffffffffff9091169063a8a778ae90604401600060405180830381600087803b15801561359157600080fd5b505af11580156135a5573d6000803e3d6000fd5b5050600480546040517fb4f56b2600000000000000000000000000000000000000000000000000000000815230928101929092526024820185905273ffffffffffffffffffffffffffffffffffffffff16925063b4f56b269150604401610fde565b6000620f4240826136397f000000000000000000000000000000000000000000000000000000000000000c600a615c96565b600b546001546040517f70a0823100000000000000000000000000000000000000000000000000000000815230600482015273ffffffffffffffffffffffffffffffffffffffff909116906370a082319060240160206040518083038186803b1580156136a557600080fd5b505afa1580156136b9573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906136dd9190615a09565b6136e791906159f2565b6136f19190615cdd565b6136fb9190615cdd565b6128d19190615ca2565b60135477010000000000000000000000000000000000000000000000900460ff16156137b2576040517f08c379a0000000000000000000000000000000000000000000000000000000008152602060048201526024808201527f504f4f4c3a3a6275794261636b444555533a204275796261636b20697320706160448201527f757365640000000000000000000000000000000000000000000000000000000060648201526084016107fc565b43831015613842576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152602760248201527f4445493a3a6275794261636b444555533a207369676e6174757265206973206560448201527f7870697265642e0000000000000000000000000000000000000000000000000060648201526084016107fc565b60025460045460009173ffffffffffffffffffffffffffffffffffffffff9081169188911687874660405160200161387f96959493929190615dad565b604080517fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe08184030181529082905280516020909101206003547f6793f0ac00000000000000000000000000000000000000000000000000000000835290925073ffffffffffffffffffffffffffffffffffffffff1690636793f0ac9061390e90849087908790600401615a6b565b60206040518083038186803b15801561392657600080fd5b505afa15801561393a573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525081019061395e9190615b4d565b6139ea576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152602560248201527f504f4f4c3a3a6275794261636b444555533a20696e76616c6964207369676e6160448201527f747572657300000000000000000000000000000000000000000000000000000060648201526084016107fc565b60006040518060800160405280613a0089611891565b81526020018781526020018860018a51613a1a91906159f2565b81518110613a2a57613a2a615f16565b602002602001015181526020018981525090506000620f4240600754620f4240613a5491906159f2565b6013546040517f3c04af9f00000000000000000000000000000000000000000000000000000000815273ffffffffffffffffffffffffffffffffffffffff90911690633c04af9f90613aaa908790600401615d5e565b60206040518083038186803b158015613ac257600080fd5b505afa158015613ad6573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190613afa9190615a09565b613b049190615cdd565b613b0e9190615ca2565b90506000613b3d7f000000000000000000000000000000000000000000000000000000000000000c600a615c96565b613b479083615ca2565b600480546040517fa8a778ae0000000000000000000000000000000000000000000000000000000081523392810192909252602482018d905291925073ffffffffffffffffffffffffffffffffffffffff9091169063a8a778ae90604401600060405180830381600087803b158015613bbf57600080fd5b505af1158015613bd3573d6000803e3d6000fd5b5050600154613bfc925073ffffffffffffffffffffffffffffffffffffffff1690503383614ce2565b50505050505050505050565b60135460009074010000000000000000000000000000000000000000900460ff1615613c90576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601760248201527f504f4f4c3a3a4d696e74696e672069732070617573656400000000000000000060448201526064016107fc565b600360009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16632eb9771b6040518163ffffffff1660e01b815260040160206040518083038186803b158015613cf857600080fd5b505afa158015613d0c573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190613d309190615a09565b15613d97576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601a60248201527f436f6c6c61746572616c20726174696f206d757374206265203000000000000060448201526064016107fc565b43841015613e27576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152602f60248201527f504f4f4c3a3a6d696e74416c676f726974686d69634445493a207369676e617460448201527f75726520697320657870697265642e000000000000000000000000000000000060648201526084016107fc565b60045460009073ffffffffffffffffffffffffffffffffffffffff1686864660405160609490941b7fffffffffffffffffffffffffffffffffffffffff000000000000000000000000166020850152603484019290925260548301526074820152609401604080517fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe08184030181529082905280516020909101206003547f6793f0ac00000000000000000000000000000000000000000000000000000000835290925073ffffffffffffffffffffffffffffffffffffffff1690636793f0ac90613f1a90849088908890600401615a6b565b60206040518083038186803b158015613f3257600080fd5b505afa158015613f46573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190613f6a9190615b4d565b613ff6576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152602c60248201527f504f4f4c3a3a6d696e74416c676f726974686d69634445493a20696e76616c6960448201527f64207369676e617475726573000000000000000000000000000000000000000060648201526084016107fc565b6013546040517f14da4ee1000000000000000000000000000000000000000000000000000000008152600481018890526024810189905273ffffffffffffffffffffffffffffffffffffffff909116906314da4ee19060440160206040518083038186803b15801561406757600080fd5b505afa15801561407b573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525081019061409f9190615a09565b9150620f4240600554620f42406140b691906159f2565b6140c09084615cdd565b6140ca9190615ca2565b9150620f4240600554836140de9190615cdd565b6140e89190615ca2565b601260008282546140f991906159da565b9091555050600480546040517fa8a778ae00000000000000000000000000000000000000000000000000000000815233928101929092526024820189905273ffffffffffffffffffffffffffffffffffffffff169063a8a778ae90604401600060405180830381600087803b15801561417157600080fd5b505af1158015614185573d6000803e3d6000fd5b50506003546040517fb4f56b260000000000000000000000000000000000000000000000000000000081523360048201526024810186905273ffffffffffffffffffffffffffffffffffffffff909116925063b4f56b269150604401600060405180830381600087803b1580156141fb57600080fd5b505af115801561420f573d6000803e3d6000fd5b505050505095945050505050565b60008181526020819052604081206128d190615111565b60008281526020819052604090206002015461425090336128d7565b611887576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152603060248201527f416363657373436f6e74726f6c3a2073656e646572206d75737420626520616e60448201527f2061646d696e20746f207265766f6b650000000000000000000000000000000060648201526084016107fc565b6143067fa84a5389ad41f9aab0831b01e5384cae76e7a7fd09131c206ff7927c201c3857336128d7565b61430f57600080fd5b6013805460ff750100000000000000000000000000000000000000000080830482161581027fffffffffffffffffffff00ffffffffffffffffffffffffffffffffffffffffff90931692909217928390556040517f5860c5063a65e23cea4e2e2925f1a841bb6d1bc9615bd425f8dd084980b0514193611b999390049091161515815260200190565b6143c27f0db189261133fd7647d3308512b693b47bed44004cac80fb59aa64b63a231e2c336128d7565b614428576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601860248201527f504f4f4c3a3a796f7520617265206e6f7420747275737479000000000000000060448201526064016107fc565b6040517fa9059cbb00000000000000000000000000000000000000000000000000000000815273ffffffffffffffffffffffffffffffffffffffff82811660048301526024820184905284169063a9059cbb90604401602060405180830381600087803b15801561449857600080fd5b505af11580156144ac573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906108e19190615b4d565b6013547501000000000000000000000000000000000000000000900460ff1615614556576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601960248201527f504f4f4c3a3a52656465656d696e67206973207061757365640000000000000060448201526064016107fc565b600354604080517f2eb9771b000000000000000000000000000000000000000000000000000000008152905160009273ffffffffffffffffffffffffffffffffffffffff1691632eb9771b916004808301926020929190829003018186803b1580156145c157600080fd5b505afa1580156145d5573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906145f99190615a09565b9050620f42408110801561460d5750600081115b6146bf576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152605360248201527f504f4f4c3a3a72656465656d4672616374696f6e616c4445493a20436f6c6c6160448201527f746572616c20726174696f206e6565647320746f206265206265747765656e2060648201527f2e30303030303120616e64202e39393939393900000000000000000000000000608482015260a4016107fc565b4384101561474f576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152602e60248201527f4445493a3a72656465656d4672616374696f6e616c4445493a207369676e617460448201527f757265206973206578706972656400000000000000000000000000000000000060648201526084016107fc565b600254600454604080517fffffffffffffffffffffffffffffffffffffffff000000000000000000000000606094851b8116602080840191909152603483018c90529390941b909316605484015260688301889052608883018790524660a8808501919091528151808503909101815260c884019182905280519201919091206003547f6793f0ac000000000000000000000000000000000000000000000000000000009092529173ffffffffffffffffffffffffffffffffffffffff90911690636793f0ac906148289084908890889060cc01615a6b565b60206040518083038186803b15801561484057600080fd5b505afa158015614854573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906148789190615b4d565b614904576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152602d60248201527f504f4f4c3a3a72656465656d4672616374696f6e616c4445493a20696e76616c60448201527f6964207369676e6174757265730000000000000000000000000000000000000060648201526084016107fc565b60008060008990506000620f4240600654620f424061492391906159f2565b61492d908e615cdd565b6149379190615ca2565b90506000620f42406149498884615cdd565b6149539190615ca2565b61495d90836159f2565b90508a61496d620f424083615cdd565b6149779190615ca2565b945060006149a67f000000000000000000000000000000000000000000000000000000000000000c600a615c96565b6149b09084615ca2565b90506000620f42406149c28a84615cdd565b6149cc9190615ca2565b9050846149dc620f424083615cdd565b6149e69190615ca2565b600b546001546040517f70a0823100000000000000000000000000000000000000000000000000000000815230600482015292985090965073ffffffffffffffffffffffffffffffffffffffff1694506370a0823193506024019150614a499050565b60206040518083038186803b158015614a6157600080fd5b505afa158015614a75573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190614a999190615a09565b614aa391906159f2565b811115614b0c576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601d60248201527f4e6f7420656e6f75676820636f6c6c61746572616c20696e20706f6f6c00000060448201526064016107fc565b336000908152600a6020526040902054614b279082906159da565b336000908152600a6020526040902055600b54614b459082906159da565b600b5533600090815260096020526040902054614b639083906159da565b33600090815260096020526040902055600c54614b819083906159da565b600c55336000908152600d60205260409020439055600654620f424090614ba8908c615cdd565b614bb29190615ca2565b60126000828254614bc391906159da565b90915550506003546040517fa8a778ae000000000000000000000000000000000000000000000000000000008152336004820152602481018c905273ffffffffffffffffffffffffffffffffffffffff9091169063a8a778ae90604401600060405180830381600087803b158015614c3a57600080fd5b505af1158015614c4e573d6000803e3d6000fd5b5050600480546040517fb4f56b2600000000000000000000000000000000000000000000000000000000815230928101929092526024820186905273ffffffffffffffffffffffffffffffffffffffff16925063b4f56b269150604401613008565b60006128ce837fffffffffffffffffffffffffffffffffffffffff000000000000000000000000606085901b1661511b565b6040805173ffffffffffffffffffffffffffffffffffffffff8481166024830152604480830185905283518084039091018152606490920183526020820180517bffffffffffffffffffffffffffffffffffffffffffffffffffffffff167fa9059cbb000000000000000000000000000000000000000000000000000000001790529151600092839290871691614d799190615f45565b6000604051808303816000865af19150503d8060008114614db6576040519150601f19603f3d011682016040523d82523d6000602084013e614dbb565b606091505b5091509150818015614de5575080511580614de5575080806020019051810190614de59190615b4d565b614e4b576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601f60248201527f5472616e7366657248656c7065723a205452414e534645525f4641494c45440060448201526064016107fc565b5050505050565b6000828152602081905260409020614e6a9082614cb0565b156110cc57604051339073ffffffffffffffffffffffffffffffffffffffff83169084907f2f8788117e7eff1d82e926ec794901d17c78024a50270940304540a733656f0d90600090a45050565b6040805173ffffffffffffffffffffffffffffffffffffffff85811660248301528481166044830152606480830185905283518084039091018152608490920183526020820180517bffffffffffffffffffffffffffffffffffffffffffffffffffffffff167f23b872dd000000000000000000000000000000000000000000000000000000001790529151600092839290881691614f579190615f45565b6000604051808303816000865af19150503d8060008114614f94576040519150601f19603f3d011682016040523d82523d6000602084013e614f99565b606091505b5091509150818015614fc3575080511580614fc3575080806020019051810190614fc39190615b4d565b61504e576040517f08c379a0000000000000000000000000000000000000000000000000000000008152602060048201526024808201527f5472616e7366657248656c7065723a205452414e534645525f46524f4d5f464160448201527f494c45440000000000000000000000000000000000000000000000000000000060648201526084016107fc565b505050505050565b600082815260208190526040902061506e908261516a565b156110cc57604051339073ffffffffffffffffffffffffffffffffffffffff83169084907ff6391f5c32d9c69d2a47ea670b442974b53935d1edc7fd64eb21e047a839171b90600090a45050565b60006150c8838361519c565b60601c9392505050565b606081901b7fffffffffffffffffffffffffffffffffffffffff00000000000000000000000016600090815260018301602052604081205415156128ce565b60006128d1825490565b6000818152600183016020526040812054615162575081546001818101845560008481526020808220909301849055845484825282860190935260409020919091556128d1565b5060006128d1565b60006128ce837fffffffffffffffffffffffffffffffffffffffff000000000000000000000000606085901b16615257565b8154600090821061522f576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152602260248201527f456e756d657261626c655365743a20696e646578206f7574206f6620626f756e60448201527f647300000000000000000000000000000000000000000000000000000000000060648201526084016107fc565b82600001828154811061524457615244615f16565b9060005260206000200154905092915050565b6000818152600183016020526040812054801561534057600061527b6001836159f2565b855490915060009061528f906001906159f2565b905060008660000182815481106152a8576152a8615f16565b90600052602060002001549050808760000184815481106152cb576152cb615f16565b6000918252602090912001556152e28360016159da565b6000828152600189016020526040902055865487908061530457615304615f61565b600190038181906000526020600020016000905590558660010160008781526020019081526020016000206000905560019450505050506128d1565b60009150506128d1565b803573ffffffffffffffffffffffffffffffffffffffff8116811461536e57600080fd5b919050565b60006020828403121561538557600080fd5b6128ce8261534a565b6000602082840312156153a057600080fd5b5035919050565b60008083601f8401126153b957600080fd5b50813567ffffffffffffffff8111156153d157600080fd5b6020830191508360208260051b85010111156153ec57600080fd5b9250929050565b60008060008060006080868803121561540b57600080fd5b853594506020860135935060408601359250606086013567ffffffffffffffff81111561543757600080fd5b615443888289016153a7565b969995985093965092949392505050565b6000806040838503121561546757600080fd5b823591506154776020840161534a565b90509250929050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052604160045260246000fd5b60405160c0810167ffffffffffffffff811182821017156154d2576154d2615480565b60405290565b604051601f82017fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe016810167ffffffffffffffff8111828210171561551f5761551f615480565b604052919050565b600067ffffffffffffffff82111561554157615541615480565b5060051b60200190565b600082601f83011261555c57600080fd5b8135602061557161556c83615527565b6154d8565b82815260059290921b8401810191818101908684111561559057600080fd5b8286015b848110156155ab5780358352918301918301615594565b509695505050505050565b6000602082840312156155c857600080fd5b813567ffffffffffffffff8111156155df57600080fd5b6155eb8482850161554b565b949350505050565b600080600080600080600060e0888a03121561560e57600080fd5b505085359760208701359750604087013596606081013596506080810135955060a0810135945060c0013592509050565b600080600080600080600060c0888a03121561565a57600080fd5b873596506020880135955060408801359450606088013593506080880135925060a088013567ffffffffffffffff81111561569457600080fd5b6156a08a828b016153a7565b989b979a50959850939692959293505050565b600080604083850312156156c657600080fd5b50508035926020909101359150565b6000601f83818401126156e757600080fd5b823560206156f761556c83615527565b82815260059290921b8501810191818101908784111561571657600080fd5b8287015b848110156157cb57803567ffffffffffffffff8082111561573b5760008081fd5b818a0191508a603f8301126157505760008081fd5b8582013560408282111561576657615766615480565b615795887fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe08c850116016154d8565b92508183528c818386010111156157ac5760008081fd5b818185018985013750600090820187015284525091830191830161571a565b50979650505050505050565b6000602082840312156157e957600080fd5b813567ffffffffffffffff8082111561580157600080fd5b9083019060c0828603121561581557600080fd5b61581d6154af565b823581526020830135602082015260408301358281111561583d57600080fd5b6158498782860161554b565b604083015250606083013560608201526080830135608082015260a08301358281111561587557600080fd5b615881878286016156d5565b60a08301525095945050505050565b60008060008060008060a087890312156158a957600080fd5b86359550602087013567ffffffffffffffff808211156158c857600080fd5b6158d48a838b0161554b565b9650604089013595506060890135945060808901359150808211156158f857600080fd5b5061590589828a016153a7565b979a9699509497509295939492505050565b60008060006060848603121561592c57600080fd5b6159358461534a565b92506020840135915061594a6040850161534a565b90509250925092565b60008060008060008060a0878903121561596c57600080fd5b86359550602087013594506040870135935060608701359250608087013567ffffffffffffffff81111561599f57600080fd5b61590589828a016153a7565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052601160045260246000fd5b600082198211156159ed576159ed6159ab565b500190565b600082821015615a0457615a046159ab565b500390565b600060208284031215615a1b57600080fd5b5051919050565b8183528181602085013750600060208284010152600060207fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0601f840116840101905092915050565b60006040820185835260206040818501528185835260608501905060608660051b86010192508660005b87811015615b3f577fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffa087860301835281357fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe18a3603018112615af657600080fd5b8901803567ffffffffffffffff811115615b0f57600080fd5b8036038b1315615b1e57600080fd5b615b2b8782888501615a22565b965050509183019190830190600101615a95565b509298975050505050505050565b600060208284031215615b5f57600080fd5b81518015158114615b6f57600080fd5b9392505050565b600181815b80851115615bcf57817fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff04821115615bb557615bb56159ab565b80851615615bc257918102915b93841c9390800290615b7b565b509250929050565b600082615be6575060016128d1565b81615bf3575060006128d1565b8160018114615c095760028114615c1357615c2f565b60019150506128d1565b60ff841115615c2457615c246159ab565b50506001821b6128d1565b5060208310610133831016604e8410600b8410161715615c52575081810a6128d1565b615c5c8383615b76565b807fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff04821115615c8e57615c8e6159ab565b029392505050565b60006128ce8383615bd7565b600082615cd8577f4e487b7100000000000000000000000000000000000000000000000000000000600052601260045260246000fd5b500490565b6000817fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff0483118215151615615d1557615d156159ab565b500290565b6020808252825182820181905260009190848201906040850190845b81811015615d5257835183529284019291840191600101615d36565b50909695505050505050565b81518152602080830151908201526040808301519082015260608083015190820152608081016128d1565b60008060408385031215615d9c57600080fd5b505080516020909101519092909150565b60007fffffffffffffffffffffffffffffffffffffffff000000000000000000000000808960601b1683526014830188516020808b0160005b83811015615e0257815185529382019390820190600101615de6565b5050505060609790971b168652505060148401929092526034830152605482015260740192915050565b60005b83811015615e47578181015183820152602001615e2f565b838111156108e15750506000910152565b600060408201848352602060408185015281855180845260608601915060608160051b870101935082870160005b82811015615f08577fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffa088870301845281518051808852615ecb81888a01898501615e2c565b601f017fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe01696909601850195509284019290840190600101615e86565b509398975050505050505050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052603260045260246000fd5b60008251615f57818460208701615e2c565b9190910192915050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052603160045260246000fdfea2646970667358221220474dfb38eda924d2f3d33f544cbfee7c1aa40cd949371d34bece320ca3e0c07864736f6c63430008080033

000000000000000000000000de12c7959e1a72bbe8a5f7a1dc8f8eef9ab011b3000000000000000000000000de5ed76e7c05ec5e4572cfc88d1acea165109e44000000000000000000000000a0b86991c6218b36c1d19d4a2e9eb0ce3606eb48000000000000000000000000fe351f5ed699fd5ea80b906f89dfdad2f885a46c000000000000000000000000fe351f5ed699fd5ea80b906f89dfdad2f885a46c000000000000000000000000000000000000000000000000000012309ce54000000000000000000000000000c63eaf6bc162531b153dfc61f225e62d2edb4488

-----Decoded View---------------
Arg [0] : _dei_contract_address (address): 0xDE12c7959E1a72bbe8a5f7A1dc8f8EeF9Ab011B3
Arg [1] : _deus_contract_address (address): 0xDE5ed76E7c05eC5e4572CfC88d1ACEA165109E44
Arg [2] : _collateral_address (address): 0xA0b86991c6218b36c1d19D4a2e9Eb0cE3606eB48
Arg [3] : _trusty_address (address): 0xfE351F5Ed699fd5eA80b906F89DfdAd2f885A46C
Arg [4] : _admin_address (address): 0xfE351F5Ed699fd5eA80b906F89DfdAd2f885A46C
Arg [5] : _pool_ceiling (uint256): 20000000000000
Arg [6] : _library (address): 0xc63eAf6BC162531b153Dfc61F225E62d2edB4488

-----Encoded View---------------
7 Constructor Arguments found :
Arg [0] : 000000000000000000000000de12c7959e1a72bbe8a5f7a1dc8f8eef9ab011b3
Arg [1] : 000000000000000000000000de5ed76e7c05ec5e4572cfc88d1acea165109e44
Arg [2] : 000000000000000000000000a0b86991c6218b36c1d19d4a2e9eb0ce3606eb48
Arg [3] : 000000000000000000000000fe351f5ed699fd5ea80b906f89dfdad2f885a46c
Arg [4] : 000000000000000000000000fe351f5ed699fd5ea80b906f89dfdad2f885a46c
Arg [5] : 000000000000000000000000000000000000000000000000000012309ce54000
Arg [6] : 000000000000000000000000c63eaf6bc162531b153dfc61f225e62d2edb4488