Token

Contract Source Code (Solidity Multiple files format)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta
• Remix IDE

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

/*
* SPDX-License-Identifier: UNLICENSED
* Copyright © 2021 Blocksquare d.o.o.
*/

pragma solidity ^0.6.12;

import "./PropToken.sol";

/// @title Properties
contract Properties is PropToken {
    uint256 private _commonEquity;
    uint256 private _preferredEquity;
    uint256 private _mezzanine;
    uint256 private _juniorDebt;
    uint256 private _seniorDebt;

    uint16 private _royaltyPercentage;

    modifier onlyPropManagerOrSpecialWallet {
        require(PropTokenHelpers(getDataAddress()).canEditProperty(_msgSender(), address(this)) || _msgSender() == PropTokenHelpers(getDataAddress()).getSpecialWallet(), "Properties: You need to be property manager!");
        _;
    }

    event CapitalStackChange(address indexed property, uint256 tokenizationAmount, uint256 commonEquity, uint256 preferredEquity, uint256 mezzanine,
        uint256 juniorDebt, uint256 seniorDebt);

    constructor(address owner, address propertyRegistry) public PropToken("BlocksquarePropertyToken", "BSPT") {
        transferOwnership(owner);
        _propertyRegistry = propertyRegistry;
    }

    /// @notice change royalty percentage
    /// @param royaltyPercentage Percent for royalties (5% is entered as 500)
    function addRoyaltyPercentage(uint16 royaltyPercentage) public onlyPropManagerOrSpecialWallet {
        require(_royaltyPercentage == 0, "Properties: Royalty percentage already set!");
        require(_royaltyPercentage <= 10000, "Properties: Royalty percentage must be less or equal to 10000");
        _royaltyPercentage = royaltyPercentage;
    }

    /// @notice change capital stack information
    /// @param cap Max amount of tokens that can be minted
    /// @param commonEquity Common equity amount
    /// @param preferredEquity Preferred equity amount
    /// @param mezzanine Mezzanine amount
    /// @param juniorDebt Junior debt amount
    /// @param seniorDebt Senior debt amount
    function changeCapitalStack(uint256 cap, uint256 commonEquity, uint256 preferredEquity, uint256 mezzanine,
        uint256 juniorDebt, uint256 seniorDebt) public onlyPropManagerOrSpecialWallet {
        require(cap.add(commonEquity).add(preferredEquity).add(mezzanine).add(juniorDebt).add(seniorDebt) == 100000 * 1 ether,
            "Properties: The sum of the capital stack needs to be same as maximum supply of BSPT");
        require(cap >= totalSupply(), "Properties: Cap needs to be bigger or equal to total supply");
        _cap = cap;
        _commonEquity = commonEquity;
        _preferredEquity = preferredEquity;
        _mezzanine = mezzanine;
        _juniorDebt = juniorDebt;
        _seniorDebt = seniorDebt;
        emit CapitalStackChange(address(this), cap, commonEquity, preferredEquity, mezzanine, juniorDebt, seniorDebt);
    }

    /// @notice can only be called by property registry
    function changeTokenNameAndSymbol(string memory name, string memory symbol) external {
        require(msg.sender == _propertyRegistry, "Properties: Transaction must come from registry!");
        _name = name;
        _symbol = symbol;
    }

    /// @notice see property registry contract
    function getProperty(uint64 index) public view returns (string memory propertyType, string memory kadastralMunicipality, string memory parcelNumber, string memory ID, uint64 buildingPart) {
        return PropTokenHelpers(_propertyRegistry).getPropertyInfo(address(this), index);
    }

    /// @notice see property registry contract
    function getBasicInfo() public view returns (string memory streetLocation, string memory geoLocation, uint256 propertyValuation, uint256 tokenValuation, string memory propertyValuationCurrency) {
        return PropTokenHelpers(_propertyRegistry).getBasicInfo(address(this));
    }

    /// @notice see property registry contract
    function getIPFSHash() public view returns (string memory) {
        return PropTokenHelpers(_propertyRegistry).getIPFS(address(this));
    }

    /// @notice retrieves current capital stack information
    function getCapitalStack() public view returns (uint256 tokenization, uint256 commonEquity, uint256 preferredEquity,
        uint256 mezzanine, uint256 juniorDebt, uint256 seniorDebt) {
        return (_cap,
        _commonEquity,
        _preferredEquity,
        _mezzanine,
        _juniorDebt,
        _seniorDebt);
    }

    /// @notice retrieves current royalty percent
    function getRoyaltyPercentage() public view returns (uint16) {
        return _royaltyPercentage;
    }

    /// @dev fallback function to prevent any ether to be sent to this contract
    receive() external payable {
        revert();
    }
}

// SPDX-License-Identifier: MIT

pragma solidity ^0.6.2;

/**
 * @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 in 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");
        return _functionCallWithValue(target, data, value, errorMessage);
    }

    function _functionCallWithValue(address target, bytes memory data, uint256 weiValue, string memory errorMessage) private returns (bytes memory) {
        require(isContract(target), "Address: call to non-contract");

        // solhint-disable-next-line avoid-low-level-calls
        (bool success, bytes memory returndata) = target.call{ value: weiValue }(data);
        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.0;

/*
 * @dev Provides information about the current execution context, including the
 * sender of the transaction and its data. While these are generally available
 * via msg.sender and msg.data, they should not be accessed in such a direct
 * manner, since when dealing with GSN meta-transactions the account sending and
 * paying for execution may not be the actual sender (as far as an application
 * is concerned).
 *
 * This contract is only required for intermediate, library-like contracts.
 */
abstract contract Context {
    function _msgSender() internal view virtual returns (address payable) {
        return 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.0;

import "./Context.sol";
import "./IERC20.sol";
import "./SafeMath.sol";
import "./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 {ERC20PresetMinterPauser}.
 *
 * 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;
    using Address for address;

    mapping(address => uint256) private _balances;

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

    uint256 private _totalSupply;

    string internal _name;
    string internal _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.
     */
    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 `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 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 Sets {decimals} to a value other than the default one of 18.
     *
     * WARNING: This function should only be called from the constructor. Most
     * applications that interact with token contracts will not expect
     * {decimals} to ever change, and may work incorrectly if it does.
     */
    function _setupDecimals(uint8 decimals_) internal {
        _decimals = decimals_;
    }

    /**
     * @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:extending-contracts.adoc#using-hooks[Using Hooks].
     */
    function _beforeTokenTransfer(address from, address to, uint256 amount) internal virtual {}
}

// SPDX-License-Identifier: MIT

pragma solidity ^0.6.0;

/**
 * @dev Interface of the ERC20 standard as defined in the EIP.
 */
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: UNLICENSED
* Copyright © 2021 Blocksquare d.o.o.
*/

pragma solidity ^0.6.12;

import "./ERC20.sol";
import "./Context.sol";

interface PropTokenHelpers {
    function freezeProperty(address prop) external;

    function unfreezeProperty(address prop) external;

    function isPropTokenFrozen(address property) external view returns (bool);

    function hasSystemAdminRights(address addr) external view returns (bool);

    function getLicencedIssuerFee() external view returns (uint256);

    function getBlocksquareFee() external view returns (uint256);

    function getCertifiedPartnerFee() external view returns (uint256);

    function getBlocksquareAddress() external view returns (address);

    function getDataProxy() external view returns (address);

    function canTransferPropTokensTo(address wallet, address property) external view returns (bool);

    function isCPAdminOfProperty(address user, address property) external view returns (bool);

    function getCPOfProperty(address prop) external view returns (address);

    function getSpecialWallet() external view returns (address);

    function getBasicInfo(address property) external view returns (string memory streetLocation, string memory geoLocation, uint256 propertyValuation, uint256 tokenValuation, string memory propertyValuationCurrency);

    function getPropertyInfo(address property, uint64 index) external view returns (string memory propertyType, string memory kadastralMunicipality, string memory parcelNumber, string memory ID, uint64 buildingPart);

    function getIPFS(address property) external view returns (string memory);

    function getOceanPointContract() external view returns (address);

    function canEditProperty(address wallet, address property) external view returns (bool);

    function isContractWhitelisted(address cont) external view returns (bool);
}

contract Owned is Context {
    address internal _owner;

    event OwnershipTransferred(address indexed previousOwner, address indexed newOwner);

    constructor () internal {
        address msgSender = _msgSender();
        _owner = msgSender;
        emit OwnershipTransferred(address(0), msgSender);
    }

    /**
     * @dev Returns the address of the current owner.
     */
    function owner() public view returns (address) {
        return _owner;
    }

    /**
     * @dev Throws if called by any account other than the owner.
     */
    modifier onlyOwner() {
        require(_owner == _msgSender(), "Ownable: caller is not the owner");
        _;
    }

    /**
     * @dev Leaves the contract without owner. It will not be possible to call
     * `onlyOwner` functions anymore. Can only be called by the current owner.
     *
     * NOTE: Renouncing ownership will leave the contract without an owner,
     * thereby removing any functionality that is only available to the owner.
     */
    function renounceOwnership() public virtual onlyOwner {
        emit OwnershipTransferred(_owner, address(0));
        _owner = address(0);
    }

    /**
     * @dev Transfers ownership of the contract to a new account (`newOwner`).
     * Can only be called by the current owner.
     */
    function transferOwnership(address newOwner) public virtual onlyOwner {
        require(newOwner != address(0), "Ownable: new owner is the zero address");
        emit OwnershipTransferred(_owner, newOwner);
        _owner = newOwner;
    }
}

/// @title Property Token
contract PropToken is ERC20, Owned {
    using SafeMath for uint256;

    uint256 internal _cap;

    address private _mintContract;
    address private _burnContract;
    address internal _propertyRegistry;

    bool private _canMint;

    modifier onlySystemAdmin {
        require(PropTokenHelpers(getDataAddress()).hasSystemAdminRights(msg.sender), "PropToken: You need to have system admin rights!");
        _;
    }

    modifier onlyPropManager {
        require(PropTokenHelpers(getDataAddress()).isCPAdminOfProperty(msg.sender, address(this)) || msg.sender == PropTokenHelpers(getDataAddress()).getCPOfProperty(address(this)),
            "PropToken: you don't have permission!");
        _;
    }

    constructor(string memory name, string memory symbol) internal ERC20(name, symbol) {
    }

    function changeLI(address newOwner) public onlySystemAdmin {
        _owner = newOwner;
    }

    /**
    * @dev Sends `amount` of token from caller address to `recipient`
    * @param recipient Address where we are sending to
    * @param amount Amount of tokens to send
    * @return bool Returns true if transfer was successful
    */
    function transfer(address recipient, uint256 amount) public override returns (bool) {
        _transferWithFee(msg.sender, recipient, amount);
        return true;
    }

    /**
    * @dev Sends `amount` of token from `sender` to `recipient`
    * @param sender Address from which we send
    * @param recipient Address where we are sending to
    * @param amount Amount of tokens to send
    * @return bool Returns true if transfer was successful
    */
    function transferFrom(address sender, address recipient, uint256 amount) public override returns (bool) {
        _approve(sender, msg.sender, allowance(sender, msg.sender).sub(amount, "ERC20: transfer amount exceeds allowance"));
        _transferWithFee(sender, recipient, amount);
        return true;
    }

    /// @notice mint tokens for given wallets
    /// @param accounts Array of wallets
    /// @param amounts Amount of tokens to mint to each wallet
    function mint(address[] memory accounts, uint256[] memory amounts) public returns (bool) {
        require(_canMint, "PropToken: Minting is not enabled!");
        require(PropTokenHelpers(getDataAddress()).isCPAdminOfProperty(msg.sender, address(this)) || _mintContract == msg.sender, "PropToken: you don't have permission to mint");
        require(accounts.length == amounts.length, "PropToken: Arrays must be of same length!");
        for (uint256 i = 0; i < accounts.length; i++) {
            require(totalSupply().add(amounts[i]) <= _cap, "PropToken: cap exceeded");
            require(PropTokenHelpers(getDataAddress()).canTransferPropTokensTo(accounts[i], address(this)), "PropToken: Wallet is not whitelisted");
            _mint(accounts[i], amounts[i]);
        }
        return true;
    }

    /// @notice burn and mint at he same time
    /// @param from Address from which we burn
    /// @param to Address to which we mint
    /// @param amount Amount of tokens to burn and mint
    function burnAndMint(address from, address to, uint256 amount) public onlySystemAdmin returns (bool) {
        _burn(from, amount);
        _mint(to, amount);
        return true;
    }

    function contractBurn(address user, uint256 amount) public returns (bool) {
        require(msg.sender == _burnContract, "PropToken: Only burn contract can burn tokens from users!");
        _burn(user, amount);
        return true;
    }

    /// @notice You need permission to call this function
    function freezeToken() public onlyPropManager {
        PropTokenHelpers(getDataAddress()).freezeProperty(address(this));
    }


    /// @notice You need permission to call this function
    function unfreezeToken() public onlyPropManager {
        PropTokenHelpers(getDataAddress()).unfreezeProperty(address(this));
    }

    /// @notice set contract that is allowed to mint
    /// @param mintContract Address of contract that is allowed to mint
    function setMintContract(address mintContract) public onlyPropManager {
        require(PropTokenHelpers(getDataAddress()).isContractWhitelisted(mintContract), "PropToken: Contract is not whitelisted");
        _mintContract = mintContract;
    }

    /// @notice set contract that is allowed to burn
    /// @param burnContract Address of contract that is allowed to burn
    function setBurnContract(address burnContract) public onlyPropManager {
        require(PropTokenHelpers(getDataAddress()).isContractWhitelisted(burnContract), "PropToken: Contract is not whitelisted");
        _burnContract = burnContract;
    }

    /// @notice set this contract into minting mode
    function allowMint() public {
        require(PropTokenHelpers(getDataAddress()).isCPAdminOfProperty(msg.sender, address(this)), "PropToken: Only CP admin!");
        _canMint = true;
    }

    function _transferWithFee(address sender, address recipient, uint256 amount) internal {
        require(sender != address(0), "PropToken: transfer from the zero address");
        require(recipient != address(0), "PropToken: transfer to the zero address");
        require(!PropTokenHelpers(getDataAddress()).isPropTokenFrozen(address(this)), "PropToken: Transactions are frozen");
        address blocksquare = PropTokenHelpers(getDataAddress()).getBlocksquareAddress();
        address cp = PropTokenHelpers(getDataAddress()).getCPOfProperty(address(this));

        if (PropTokenHelpers(getDataAddress()).hasSystemAdminRights(sender) || recipient == getOceanPointContract() || recipient == _burnContract) {
            _transfer(sender, recipient, amount);
        }
        else if (recipient == blocksquare || recipient == cp || recipient == owner()) {
            _transfer(sender, recipient, amount);
        }
        else {
            require(PropTokenHelpers(getDataAddress()).canTransferPropTokensTo(recipient, address(this)), "PropToken: Can't send tokens to!");
            if (sender == blocksquare || sender == cp || sender == owner()) {
                _transfer(sender, recipient, amount);
            }
            else {
                _fee(sender, recipient, amount, blocksquare, cp);
            }
        }
    }

    function _fee(address sender, address recipient, uint256 amount, address blocksquare, address cp) private {
        uint256 blocksquareFee = (amount.mul(PropTokenHelpers(getDataAddress()).getBlocksquareFee())).div(1000);
        uint256 liFee = (amount.mul(PropTokenHelpers(getDataAddress()).getLicencedIssuerFee())).div(1000);
        uint256 cpFee = (amount.mul(PropTokenHelpers(getDataAddress()).getCertifiedPartnerFee())).div(1000);

        uint256 together = blocksquareFee.add(liFee).add(cpFee);

        _transfer(sender, blocksquare, blocksquareFee);
        _transfer(sender, cp, cpFee);
        _transfer(sender, owner(), liFee);

        _transfer(sender, recipient, amount.sub(together));
    }

    function getDataAddress() internal view returns (address) {
        return PropTokenHelpers(_propertyRegistry).getDataProxy();
    }

    /// @notice gets maximum number of tokens that can be created
    function cap() public view returns (uint256) {
        return _cap;
    }

    /// @notice check if this property can be minted
    function canBeMinted() public view returns (bool) {
        return _canMint;
    }

    /// @notice retrieves address of contract that is allowed to mint
    function getMintContract() public view returns (address) {
        return _mintContract;
    }

    /// @notice retrieves address of contract that is allowed to burn
    function getBurnContract() public view returns (address) {
        return _burnContract;
    }

    /// @notice retrieves ocean point contract address
    function getOceanPointContract() public view returns (address) {
        return PropTokenHelpers(getDataAddress()).getOceanPointContract();
    }
}

// SPDX-License-Identifier: MIT

pragma solidity ^0.6.0;

/**
 * @dev Wrappers over Solidity's arithmetic operations with added overflow
 * checks.
 *
 * Arithmetic operations in Solidity wrap on overflow. This can easily result
 * in bugs, because programmers usually assume that an overflow raises an
 * error, which is the standard behavior in high level programming languages.
 * `SafeMath` restores this intuition by reverting the transaction when an
 * operation overflows.
 *
 * Using this library instead of the unchecked operations eliminates an entire
 * class of bugs, so it's recommended to use it always.
 */
library SafeMath {
    /**
     * @dev Returns the addition of two unsigned integers, reverting on
     * overflow.
     *
     * Counterpart to Solidity's `+` operator.
     *
     * Requirements:
     *
     * - Addition cannot overflow.
     */
    function add(uint256 a, uint256 b) internal pure returns (uint256) {
        uint256 c = a + b;
        require(c >= a, "SafeMath: addition overflow");

        return c;
    }

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

    /**
     * @dev Returns the subtraction of two unsigned integers, reverting with custom message on
     * overflow (when the result is negative).
     *
     * Counterpart to Solidity's `-` operator.
     *
     * Requirements:
     *
     * - Subtraction cannot overflow.
     */
    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.
     */
    function div(uint256 a, uint256 b, string memory errorMessage) internal pure returns (uint256) {
        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.
     */
    function mod(uint256 a, uint256 b, string memory errorMessage) internal pure returns (uint256) {
        require(b != 0, errorMessage);
        return a % b;
    }
}

• No Contract Security Audit Submitted- Submit Audit Here

[{"inputs":[{"internalType":"address","name":"owner","type":"address"},{"internalType":"address","name":"propertyRegistry","type":"address"}],"stateMutability":"nonpayable","type":"constructor"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"owner","type":"address"},{"indexed":true,"internalType":"address","name":"spender","type":"address"},{"indexed":false,"internalType":"uint256","name":"value","type":"uint256"}],"name":"Approval","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"property","type":"address"},{"indexed":false,"internalType":"uint256","name":"tokenizationAmount","type":"uint256"},{"indexed":false,"internalType":"uint256","name":"commonEquity","type":"uint256"},{"indexed":false,"internalType":"uint256","name":"preferredEquity","type":"uint256"},{"indexed":false,"internalType":"uint256","name":"mezzanine","type":"uint256"},{"indexed":false,"internalType":"uint256","name":"juniorDebt","type":"uint256"},{"indexed":false,"internalType":"uint256","name":"seniorDebt","type":"uint256"}],"name":"CapitalStackChange","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"previousOwner","type":"address"},{"indexed":true,"internalType":"address","name":"newOwner","type":"address"}],"name":"OwnershipTransferred","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"from","type":"address"},{"indexed":true,"internalType":"address","name":"to","type":"address"},{"indexed":false,"internalType":"uint256","name":"value","type":"uint256"}],"name":"Transfer","type":"event"},{"inputs":[{"internalType":"uint16","name":"royaltyPercentage","type":"uint16"}],"name":"addRoyaltyPercentage","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"allowMint","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"owner","type":"address"},{"internalType":"address","name":"spender","type":"address"}],"name":"allowance","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"spender","type":"address"},{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"approve","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"account","type":"address"}],"name":"balanceOf","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"from","type":"address"},{"internalType":"address","name":"to","type":"address"},{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"burnAndMint","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"canBeMinted","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"cap","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"uint256","name":"cap","type":"uint256"},{"internalType":"uint256","name":"commonEquity","type":"uint256"},{"internalType":"uint256","name":"preferredEquity","type":"uint256"},{"internalType":"uint256","name":"mezzanine","type":"uint256"},{"internalType":"uint256","name":"juniorDebt","type":"uint256"},{"internalType":"uint256","name":"seniorDebt","type":"uint256"}],"name":"changeCapitalStack","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"newOwner","type":"address"}],"name":"changeLI","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"string","name":"name","type":"string"},{"internalType":"string","name":"symbol","type":"string"}],"name":"changeTokenNameAndSymbol","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"user","type":"address"},{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"contractBurn","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"decimals","outputs":[{"internalType":"uint8","name":"","type":"uint8"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"spender","type":"address"},{"internalType":"uint256","name":"subtractedValue","type":"uint256"}],"name":"decreaseAllowance","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"freezeToken","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"getBasicInfo","outputs":[{"internalType":"string","name":"streetLocation","type":"string"},{"internalType":"string","name":"geoLocation","type":"string"},{"internalType":"uint256","name":"propertyValuation","type":"uint256"},{"internalType":"uint256","name":"tokenValuation","type":"uint256"},{"internalType":"string","name":"propertyValuationCurrency","type":"string"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"getBurnContract","outputs":[{"internalType":"address","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"getCapitalStack","outputs":[{"internalType":"uint256","name":"tokenization","type":"uint256"},{"internalType":"uint256","name":"commonEquity","type":"uint256"},{"internalType":"uint256","name":"preferredEquity","type":"uint256"},{"internalType":"uint256","name":"mezzanine","type":"uint256"},{"internalType":"uint256","name":"juniorDebt","type":"uint256"},{"internalType":"uint256","name":"seniorDebt","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"getIPFSHash","outputs":[{"internalType":"string","name":"","type":"string"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"getMintContract","outputs":[{"internalType":"address","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"getOceanPointContract","outputs":[{"internalType":"address","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"uint64","name":"index","type":"uint64"}],"name":"getProperty","outputs":[{"internalType":"string","name":"propertyType","type":"string"},{"internalType":"string","name":"kadastralMunicipality","type":"string"},{"internalType":"string","name":"parcelNumber","type":"string"},{"internalType":"string","name":"ID","type":"string"},{"internalType":"uint64","name":"buildingPart","type":"uint64"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"getRoyaltyPercentage","outputs":[{"internalType":"uint16","name":"","type":"uint16"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"spender","type":"address"},{"internalType":"uint256","name":"addedValue","type":"uint256"}],"name":"increaseAllowance","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address[]","name":"accounts","type":"address[]"},{"internalType":"uint256[]","name":"amounts","type":"uint256[]"}],"name":"mint","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"name","outputs":[{"internalType":"string","name":"","type":"string"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"owner","outputs":[{"internalType":"address","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"renounceOwnership","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"burnContract","type":"address"}],"name":"setBurnContract","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"mintContract","type":"address"}],"name":"setMintContract","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"symbol","outputs":[{"internalType":"string","name":"","type":"string"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"totalSupply","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"recipient","type":"address"},{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"transfer","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"sender","type":"address"},{"internalType":"address","name":"recipient","type":"address"},{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"transferFrom","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"newOwner","type":"address"}],"name":"transferOwnership","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"unfreezeToken","outputs":[],"stateMutability":"nonpayable","type":"function"},{"stateMutability":"payable","type":"receive"}]

60806040523480156200001157600080fd5b506040516200430138038062004301833981810160405260408110156200003757600080fd5b508051602091820151604080518082018252601881527f426c6f636b73717561726550726f7065727479546f6b656e0000000000000000818601908152825180840190935260048352631094d41560e21b95830195909552805193949293909283918391620000aa91600391906200026e565b508051620000c09060049060208401906200026e565b50506005805460ff19166012179055506000620000dc6200015b565b60058054610100600160a81b0319166101006001600160a01b0384169081029190911790915560405191925090600090600080516020620042e1833981519152908290a350505062000134826200015f60201b60201c565b600980546001600160a01b0319166001600160a01b0392909216919091179055506200030a565b3390565b620001696200015b565b60055461010090046001600160a01b03908116911614620001d1576040805162461bcd60e51b815260206004820181905260248201527f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572604482015290519081900360640190fd5b6001600160a01b038116620002185760405162461bcd60e51b8152600401808060200182810382526026815260200180620042bb6026913960400191505060405180910390fd5b6005546040516001600160a01b038084169261010090041690600080516020620042e183398151915290600090a3600580546001600160a01b0390921661010002610100600160a81b0319909216919091179055565b828054600181600116156101000203166002900490600052602060002090601f016020900481019282601f10620002b157805160ff1916838001178555620002e1565b82800160010185558215620002e1579182015b82811115620002e1578251825591602001919060010190620002c4565b50620002ef929150620002f3565b5090565b5b80821115620002ef5760008155600101620002f4565b613fa1806200031a6000396000f3fe6080604052600436106102135760003560e01c806370a08231116101185780639f999da3116100a0578063b14268221161006f578063b142682214610b9b578063dd62ed3e14610be3578063e467f7e014610c1e578063f2fde38b14610d4e578063f81bb18f14610d815761021d565b80639f999da3146109ad578063a12c4a6e14610b14578063a457c2d714610b29578063a9059cbb14610b625761021d565b80638ccbd6da116100e75780638ccbd6da146107375780638da5cb5b1461074c57806395d89b41146107615780639a16e7c8146107765780639ee1fc18146107be5761021d565b806370a0823114610697578063715018a6146106ca5780637b4eb027146106df5780637b58b0e8146106f45761021d565b806337beafe01161019b57806359c8b7dd1161016a57806359c8b7dd146105bf5780635fb64a6a146105eb578063631d24101461061e5780636434bd11146106515780636c64a678146106825761021d565b806337beafe014610505578063395093511461053857806339b22120146105715780633c503194146105aa5761021d565b80631b8dca74116101e25780631b8dca741461045857806320b28ade1461046d57806323b872dd14610482578063313ce567146104c5578063355274ea146104f05761021d565b8063053539641461022257806306fdde031461035a578063095ea7b3146103e457806318160ddd146104315761021d565b3661021d57600080fd5b600080fd5b34801561022e57600080fd5b506103586004803603604081101561024557600080fd5b810190602081018135600160201b81111561025f57600080fd5b82018360208201111561027157600080fd5b803590602001918460018302840111600160201b8311171561029257600080fd5b91908080601f0160208091040260200160405190810160405280939291908181526020018383808284376000920191909152509295949360208101935035915050600160201b8111156102e457600080fd5b8201836020820111156102f657600080fd5b803590602001918460018302840111600160201b8311171561031757600080fd5b91908080601f016020809104026020016040519081016040528093929190818152602001838380828437600092019190915250929550610daf945050505050565b005b34801561036657600080fd5b5061036f610e24565b6040805160208082528351818301528351919283929083019185019080838360005b838110156103a9578181015183820152602001610391565b50505050905090810190601f1680156103d65780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b3480156103f057600080fd5b5061041d6004803603604081101561040757600080fd5b506001600160a01b038135169060200135610eba565b604080519115158252519081900360200190f35b34801561043d57600080fd5b50610446610ed8565b60408051918252519081900360200190f35b34801561046457600080fd5b50610358610ede565b34801561047957600080fd5b5061036f610fc7565b34801561048e57600080fd5b5061041d600480360360608110156104a557600080fd5b506001600160a01b03813581169160208101359091169060400135611102565b3480156104d157600080fd5b506104da611151565b6040805160ff9092168252519081900360200190f35b3480156104fc57600080fd5b5061044661115a565b34801561051157600080fd5b506103586004803603602081101561052857600080fd5b50356001600160a01b0316611160565b34801561054457600080fd5b5061041d6004803603604081101561055b57600080fd5b506001600160a01b03813516906020013561138d565b34801561057d57600080fd5b5061041d6004803603604081101561059457600080fd5b506001600160a01b0381351690602001356113db565b3480156105b657600080fd5b5061041d611431565b3480156105cb57600080fd5b506105d4611441565b6040805161ffff9092168252519081900360200190f35b3480156105f757600080fd5b506103586004803603602081101561060e57600080fd5b50356001600160a01b031661144b565b34801561062a57600080fd5b506103586004803603602081101561064157600080fd5b50356001600160a01b0316611678565b34801561065d57600080fd5b5061066661175b565b604080516001600160a01b039092168252519081900360200190f35b34801561068e57600080fd5b5061035861176a565b3480156106a357600080fd5b50610446600480360360208110156106ba57600080fd5b50356001600160a01b031661192a565b3480156106d657600080fd5b50610358611945565b3480156106eb57600080fd5b50610666611a04565b34801561070057600080fd5b5061041d6004803603606081101561071757600080fd5b506001600160a01b03813581169160208101359091169060400135611a13565b34801561074357600080fd5b50610358611ae4565b34801561075857600080fd5b50610666611c8a565b34801561076d57600080fd5b5061036f611c9e565b34801561078257600080fd5b5061078b611cff565b604080519687526020870195909552858501939093526060850191909152608084015260a0830152519081900360c00190f35b3480156107ca57600080fd5b506107f2600480360360208110156107e157600080fd5b503567ffffffffffffffff16611d19565b60405180806020018060200180602001806020018667ffffffffffffffff16815260200185810385528a818151815260200191508051906020019080838360005b8381101561084b578181015183820152602001610833565b50505050905090810190601f1680156108785780820380516001836020036101000a031916815260200191505b5085810384528951815289516020918201918b019080838360005b838110156108ab578181015183820152602001610893565b50505050905090810190601f1680156108d85780820380516001836020036101000a031916815260200191505b5085810383528851815288516020918201918a019080838360005b8381101561090b5781810151838201526020016108f3565b50505050905090810190601f1680156109385780820380516001836020036101000a031916815260200191505b50858103825287518152875160209182019189019080838360005b8381101561096b578181015183820152602001610953565b50505050905090810190601f1680156109985780820380516001836020036101000a031916815260200191505b50995050505050505050505060405180910390f35b3480156109b957600080fd5b506109c261207f565b60405180806020018060200186815260200185815260200180602001848103845289818151815260200191508051906020019080838360005b83811015610a135781810151838201526020016109fb565b50505050905090810190601f168015610a405780820380516001836020036101000a031916815260200191505b5084810383528851815288516020918201918a019080838360005b83811015610a73578181015183820152602001610a5b565b50505050905090810190601f168015610aa05780820380516001836020036101000a031916815260200191505b50848103825285518152855160209182019187019080838360005b83811015610ad3578181015183820152602001610abb565b50505050905090810190601f168015610b005780820380516001836020036101000a031916815260200191505b509850505050505050505060405180910390f35b348015610b2057600080fd5b50610666612333565b348015610b3557600080fd5b5061041d60048036036040811015610b4c57600080fd5b506001600160a01b0381351690602001356123a6565b348015610b6e57600080fd5b5061041d60048036036040811015610b8557600080fd5b506001600160a01b03813516906020013561240e565b348015610ba757600080fd5b50610358600480360360c0811015610bbe57600080fd5b5080359060208101359060408101359060608101359060808101359060a0013561241b565b348015610bef57600080fd5b5061044660048036036040811015610c0657600080fd5b506001600160a01b03813581169160200135166126a1565b348015610c2a57600080fd5b5061041d60048036036040811015610c4157600080fd5b810190602081018135600160201b811115610c5b57600080fd5b820183602082011115610c6d57600080fd5b803590602001918460208302840111600160201b83111715610c8e57600080fd5b9190808060200260200160405190810160405280939291908181526020018383602002808284376000920191909152509295949360208101935035915050600160201b811115610cdd57600080fd5b820183602082011115610cef57600080fd5b803590602001918460208302840111600160201b83111715610d1057600080fd5b9190808060200260200160405190810160405280939291908181526020018383602002808284376000920191909152509295506126cc945050505050565b348015610d5a57600080fd5b5061035860048036036020811015610d7157600080fd5b50356001600160a01b03166129c2565b348015610d8d57600080fd5b5061035860048036036020811015610da457600080fd5b503561ffff16612add565b6009546001600160a01b03163314610df85760405162461bcd60e51b8152600401808060200182810382526030815260200180613bac6030913960400191505060405180910390fd5b8151610e0b906003906020850190613a3a565b508051610e1f906004906020840190613a3a565b505050565b60038054604080516020601f6002600019610100600188161502019095169490940493840181900481028201810190925282815260609390929091830182828015610eb05780601f10610e8557610100808354040283529160200191610eb0565b820191906000526020600020905b815481529060010190602001808311610e9357829003601f168201915b5050505050905090565b6000610ece610ec7612ce2565b8484612ce6565b5060015b92915050565b60025490565b610ee6612dd2565b60408051639af2355360e01b815233600482015230602482015290516001600160a01b039290921691639af2355391604480820192602092909190829003018186803b158015610f3557600080fd5b505afa158015610f49573d6000803e3d6000fd5b505050506040513d6020811015610f5f57600080fd5b5051610fb2576040805162461bcd60e51b815260206004820152601960248201527f50726f70546f6b656e3a204f6e6c792043502061646d696e2100000000000000604482015290519081900360640190fd5b6009805460ff60a01b1916600160a01b179055565b6009546040805163044b772760e11b815230600482015290516060926001600160a01b031691630896ee4e916024808301926000929190829003018186803b15801561101257600080fd5b505afa158015611026573d6000803e3d6000fd5b505050506040513d6000823e601f3d908101601f19168201604052602081101561104f57600080fd5b8101908080516040519392919084600160201b82111561106e57600080fd5b90830190602082018581111561108357600080fd5b8251600160201b81118282018810171561109c57600080fd5b82525081516020918201929091019080838360005b838110156110c95781810151838201526020016110b1565b50505050905090810190601f1680156110f65780820380516001836020036101000a031916815260200191505b50604052505050905090565b600061113c843361113785604051806060016040528060288152602001613cd3602891396111308a336126a1565b9190612e17565b612ce6565b611147848484612eae565b5060019392505050565b60055460ff1690565b60065490565b611168612dd2565b60408051639af2355360e01b815233600482015230602482015290516001600160a01b039290921691639af2355391604480820192602092909190829003018186803b1580156111b757600080fd5b505afa1580156111cb573d6000803e3d6000fd5b505050506040513d60208110156111e157600080fd5b50518061127557506111f1612dd2565b6001600160a01b031663c1cf7c0e306040518263ffffffff1660e01b815260040180826001600160a01b0316815260200191505060206040518083038186803b15801561123d57600080fd5b505afa158015611251573d6000803e3d6000fd5b505050506040513d602081101561126757600080fd5b50516001600160a01b031633145b6112b05760405162461bcd60e51b8152600401808060200182810382526025815260200180613e8c6025913960400191505060405180910390fd5b6112b8612dd2565b6001600160a01b031663c057058a826040518263ffffffff1660e01b815260040180826001600160a01b0316815260200191505060206040518083038186803b15801561130457600080fd5b505afa158015611318573d6000803e3d6000fd5b505050506040513d602081101561132e57600080fd5b505161136b5760405162461bcd60e51b8152600401808060200182810382526026815260200180613e166026913960400191505060405180910390fd5b600880546001600160a01b0319166001600160a01b0392909216919091179055565b6000610ece61139a612ce2565b8461113785600160006113ab612ce2565b6001600160a01b03908116825260208083019390935260409182016000908120918c168152925290205490613376565b6008546000906001600160a01b031633146114275760405162461bcd60e51b8152600401808060200182810382526039815260200180613cfb6039913960400191505060405180910390fd5b610ece83836133d7565b600954600160a01b900460ff1690565b600f5461ffff1690565b611453612dd2565b60408051639af2355360e01b815233600482015230602482015290516001600160a01b039290921691639af2355391604480820192602092909190829003018186803b1580156114a257600080fd5b505afa1580156114b6573d6000803e3d6000fd5b505050506040513d60208110156114cc57600080fd5b50518061156057506114dc612dd2565b6001600160a01b031663c1cf7c0e306040518263ffffffff1660e01b815260040180826001600160a01b0316815260200191505060206040518083038186803b15801561152857600080fd5b505afa15801561153c573d6000803e3d6000fd5b505050506040513d602081101561155257600080fd5b50516001600160a01b031633145b61159b5760405162461bcd60e51b8152600401808060200182810382526025815260200180613e8c6025913960400191505060405180910390fd5b6115a3612dd2565b6001600160a01b031663c057058a826040518263ffffffff1660e01b815260040180826001600160a01b0316815260200191505060206040518083038186803b1580156115ef57600080fd5b505afa158015611603573d6000803e3d6000fd5b505050506040513d602081101561161957600080fd5b50516116565760405162461bcd60e51b8152600401808060200182810382526026815260200180613e166026913960400191505060405180910390fd5b600780546001600160a01b0319166001600160a01b0392909216919091179055565b611680612dd2565b6001600160a01b031663a49d9af2336040518263ffffffff1660e01b815260040180826001600160a01b0316815260200191505060206040518083038186803b1580156116cc57600080fd5b505afa1580156116e0573d6000803e3d6000fd5b505050506040513d60208110156116f657600080fd5b50516117335760405162461bcd60e51b8152600401808060200182810382526030815260200180613eda6030913960400191505060405180910390fd5b600580546001600160a01b0390921661010002610100600160a81b0319909216919091179055565b6007546001600160a01b031690565b611772612dd2565b60408051639af2355360e01b815233600482015230602482015290516001600160a01b039290921691639af2355391604480820192602092909190829003018186803b1580156117c157600080fd5b505afa1580156117d5573d6000803e3d6000fd5b505050506040513d60208110156117eb57600080fd5b50518061187f57506117fb612dd2565b6001600160a01b031663c1cf7c0e306040518263ffffffff1660e01b815260040180826001600160a01b0316815260200191505060206040518083038186803b15801561184757600080fd5b505afa15801561185b573d6000803e3d6000fd5b505050506040513d602081101561187157600080fd5b50516001600160a01b031633145b6118ba5760405162461bcd60e51b8152600401808060200182810382526025815260200180613e8c6025913960400191505060405180910390fd5b6118c2612dd2565b6001600160a01b031663e79d584e306040518263ffffffff1660e01b815260040180826001600160a01b03168152602001915050600060405180830381600087803b15801561191057600080fd5b505af1158015611924573d6000803e3d6000fd5b50505050565b6001600160a01b031660009081526020819052604090205490565b61194d612ce2565b60055461010090046001600160a01b039081169116146119b4576040805162461bcd60e51b815260206004820181905260248201527f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572604482015290519081900360640190fd5b60055460405160009161010090046001600160a01b0316907f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0908390a360058054610100600160a81b0319169055565b6008546001600160a01b031690565b6000611a1d612dd2565b6001600160a01b031663a49d9af2336040518263ffffffff1660e01b815260040180826001600160a01b0316815260200191505060206040518083038186803b158015611a6957600080fd5b505afa158015611a7d573d6000803e3d6000fd5b505050506040513d6020811015611a9357600080fd5b5051611ad05760405162461bcd60e51b8152600401808060200182810382526030815260200180613eda6030913960400191505060405180910390fd5b611ada84836133d7565b61114783836134d3565b611aec612dd2565b60408051639af2355360e01b815233600482015230602482015290516001600160a01b039290921691639af2355391604480820192602092909190829003018186803b158015611b3b57600080fd5b505afa158015611b4f573d6000803e3d6000fd5b505050506040513d6020811015611b6557600080fd5b505180611bf95750611b75612dd2565b6001600160a01b031663c1cf7c0e306040518263ffffffff1660e01b815260040180826001600160a01b0316815260200191505060206040518083038186803b158015611bc157600080fd5b505afa158015611bd5573d6000803e3d6000fd5b505050506040513d6020811015611beb57600080fd5b50516001600160a01b031633145b611c345760405162461bcd60e51b8152600401808060200182810382526025815260200180613e8c6025913960400191505060405180910390fd5b611c3c612dd2565b6001600160a01b03166378935e5b306040518263ffffffff1660e01b815260040180826001600160a01b03168152602001915050600060405180830381600087803b15801561191057600080fd5b60055461010090046001600160a01b031690565b60048054604080516020601f6002600019610100600188161502019095169490940493840181900481028201810190925282815260609390929091830182828015610eb05780601f10610e8557610100808354040283529160200191610eb0565b600654600a54600b54600c54600d54600e54909192939495565b600954604080516313c7728d60e11b815230600482015267ffffffffffffffff8416602482015290516060928392839283926000926001600160a01b039091169163278ee51a916044808201928692909190829003018186803b158015611d7f57600080fd5b505afa158015611d93573d6000803e3d6000fd5b505050506040513d6000823e601f3d908101601f1916820160405260a0811015611dbc57600080fd5b8101908080516040519392919084600160201b821115611ddb57600080fd5b908301906020820185811115611df057600080fd5b8251600160201b811182820188101715611e0957600080fd5b82525081516020918201929091019080838360005b83811015611e36578181015183820152602001611e1e565b50505050905090810190601f168015611e635780820380516001836020036101000a031916815260200191505b5060405260200180516040519392919084600160201b821115611e8557600080fd5b908301906020820185811115611e9a57600080fd5b8251600160201b811182820188101715611eb357600080fd5b82525081516020918201929091019080838360005b83811015611ee0578181015183820152602001611ec8565b50505050905090810190601f168015611f0d5780820380516001836020036101000a031916815260200191505b5060405260200180516040519392919084600160201b821115611f2f57600080fd5b908301906020820185811115611f4457600080fd5b8251600160201b811182820188101715611f5d57600080fd5b82525081516020918201929091019080838360005b83811015611f8a578181015183820152602001611f72565b50505050905090810190601f168015611fb75780820380516001836020036101000a031916815260200191505b5060405260200180516040519392919084600160201b821115611fd957600080fd5b908301906020820185811115611fee57600080fd5b8251600160201b81118282018810171561200757600080fd5b82525081516020918201929091019080838360005b8381101561203457818101518382015260200161201c565b50505050905090810190601f1680156120615780820380516001836020036101000a031916815260200191505b5060405260200151959c949b50929950909750929550909350505050565b60095460408051636a00ef7f60e11b815230600482015290516060928392600092839285926001600160a01b039091169163d401defe916024808201928792909190829003018186803b1580156120d557600080fd5b505afa1580156120e9573d6000803e3d6000fd5b505050506040513d6000823e601f3d908101601f1916820160405260a081101561211257600080fd5b8101908080516040519392919084600160201b82111561213157600080fd5b90830190602082018581111561214657600080fd5b8251600160201b81118282018810171561215f57600080fd5b82525081516020918201929091019080838360005b8381101561218c578181015183820152602001612174565b50505050905090810190601f1680156121b95780820380516001836020036101000a031916815260200191505b5060405260200180516040519392919084600160201b8211156121db57600080fd5b9083019060208201858111156121f057600080fd5b8251600160201b81118282018810171561220957600080fd5b82525081516020918201929091019080838360005b8381101561223657818101518382015260200161221e565b50505050905090810190601f1680156122635780820380516001836020036101000a031916815260200191505b50604081815260208301519083015160609093018051919593949293929184600160201b82111561229357600080fd5b9083019060208201858111156122a857600080fd5b8251600160201b8111828201881017156122c157600080fd5b82525081516020918201929091019080838360005b838110156122ee5781810151838201526020016122d6565b50505050905090810190601f16801561231b5780820380516001836020036101000a031916815260200191505b50604052505050945094509450945094509091929394565b600061233d612dd2565b6001600160a01b031663a12c4a6e6040518163ffffffff1660e01b815260040160206040518083038186803b15801561237557600080fd5b505afa158015612389573d6000803e3d6000fd5b505050506040513d602081101561239f57600080fd5b5051905090565b6000610ece6123b3612ce2565b8461113785604051806060016040528060258152602001613f4760259139600160006123dd612ce2565b6001600160a01b03908116825260208083019390935260409182016000908120918d16815292529020549190612e17565b6000610ece338484612eae565b612423612dd2565b6001600160a01b031663a7f46904612439612ce2565b306040518363ffffffff1660e01b815260040180836001600160a01b03168152602001826001600160a01b031681526020019250505060206040518083038186803b15801561248757600080fd5b505afa15801561249b573d6000803e3d6000fd5b505050506040513d60208110156124b157600080fd5b50518061254157506124c1612dd2565b6001600160a01b031663607014116040518163ffffffff1660e01b815260040160206040518083038186803b1580156124f957600080fd5b505afa15801561250d573d6000803e3d6000fd5b505050506040513d602081101561252357600080fd5b50516001600160a01b0316612536612ce2565b6001600160a01b0316145b61257c5760405162461bcd60e51b815260040180806020018281038252602c815260200180613c62602c913960400191505060405180910390fd5b61259681612590848187818a818e8e613376565b90613376565b69152d02c7e14af6800000146125dd5760405162461bcd60e51b8152600401808060200182810382526053815260200180613d346053913960600191505060405180910390fd5b6125e5610ed8565b8610156126235760405162461bcd60e51b815260040180806020018281038252603b815260200180613c05603b913960400191505060405180910390fd5b6006869055600a859055600b849055600c839055600d829055600e8190556040805187815260208101879052808201869052606081018590526080810184905260a08101839052905130917f350b0a1df6828f7078ed48f24d60421ddbf0357c257dfa8ae6791dcab22dc5a7919081900360c00190a2505050505050565b6001600160a01b03918216600090815260016020908152604080832093909416825291909152205490565b600954600090600160a01b900460ff166127175760405162461bcd60e51b8152600401808060200182810382526022815260200180613dcf6022913960400191505060405180910390fd5b61271f612dd2565b60408051639af2355360e01b815233600482015230602482015290516001600160a01b039290921691639af2355391604480820192602092909190829003018186803b15801561276e57600080fd5b505afa158015612782573d6000803e3d6000fd5b505050506040513d602081101561279857600080fd5b5051806127af57506007546001600160a01b031633145b6127ea5760405162461bcd60e51b815260040180806020018281038252602c815260200180613e60602c913960400191505060405180910390fd5b815183511461282a5760405162461bcd60e51b8152600401808060200182810382526029815260200180613bdc6029913960400191505060405180910390fd5b60005b83518110156111475760065461285884838151811061284857fe5b6020026020010151612590610ed8565b11156128ab576040805162461bcd60e51b815260206004820152601760248201527f50726f70546f6b656e3a20636170206578636565646564000000000000000000604482015290519081900360640190fd5b6128b3612dd2565b6001600160a01b031663f669e00c8583815181106128cd57fe5b6020026020010151306040518363ffffffff1660e01b815260040180836001600160a01b03168152602001826001600160a01b031681526020019250505060206040518083038186803b15801561292357600080fd5b505afa158015612937573d6000803e3d6000fd5b505050506040513d602081101561294d57600080fd5b505161298a5760405162461bcd60e51b8152600401808060200182810382526024815260200180613caf6024913960400191505060405180910390fd5b6129ba84828151811061299957fe5b60200260200101518483815181106129ad57fe5b60200260200101516134d3565b60010161282d565b6129ca612ce2565b60055461010090046001600160a01b03908116911614612a31576040805162461bcd60e51b815260206004820181905260248201527f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572604482015290519081900360640190fd5b6001600160a01b038116612a765760405162461bcd60e51b8152600401808060200182810382526026815260200180613b3e6026913960400191505060405180910390fd5b6005546040516001600160a01b0380841692610100900416907f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e090600090a3600580546001600160a01b0390921661010002610100600160a81b0319909216919091179055565b612ae5612dd2565b6001600160a01b031663a7f46904612afb612ce2565b306040518363ffffffff1660e01b815260040180836001600160a01b03168152602001826001600160a01b031681526020019250505060206040518083038186803b158015612b4957600080fd5b505afa158015612b5d573d6000803e3d6000fd5b505050506040513d6020811015612b7357600080fd5b505180612c035750612b83612dd2565b6001600160a01b031663607014116040518163ffffffff1660e01b815260040160206040518083038186803b158015612bbb57600080fd5b505afa158015612bcf573d6000803e3d6000fd5b505050506040513d6020811015612be557600080fd5b50516001600160a01b0316612bf8612ce2565b6001600160a01b0316145b612c3e5760405162461bcd60e51b815260040180806020018281038252602c815260200180613c62602c913960400191505060405180910390fd5b600f5461ffff1615612c815760405162461bcd60e51b815260040180806020018281038252602b815260200180613b13602b913960400191505060405180910390fd5b600f5461271061ffff9091161115612cca5760405162461bcd60e51b815260040180806020018281038252603d815260200180613f0a603d913960400191505060405180910390fd5b600f805461ffff191661ffff92909216919091179055565b3390565b6001600160a01b038316612d2b5760405162461bcd60e51b8152600401808060200182810382526024815260200180613e3c6024913960400191505060405180910390fd5b6001600160a01b038216612d705760405162461bcd60e51b8152600401808060200182810382526022815260200180613b646022913960400191505060405180910390fd5b6001600160a01b03808416600081815260016020908152604080832094871680845294825291829020859055815185815291517f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b9259281900390910190a3505050565b6009546040805163a305a83d60e01b815290516000926001600160a01b03169163a305a83d916004808301926020929190829003018186803b15801561237557600080fd5b60008184841115612ea65760405162461bcd60e51b81526004018080602001828103825283818151815260200191508051906020019080838360005b83811015612e6b578181015183820152602001612e53565b50505050905090810190601f168015612e985780820380516001836020036101000a031916815260200191505b509250505060405180910390fd5b505050900390565b6001600160a01b038316612ef35760405162461bcd60e51b8152600401808060200182810382526029815260200180613eb16029913960400191505060405180910390fd5b6001600160a01b038216612f385760405162461bcd60e51b8152600401808060200182810382526027815260200180613d876027913960400191505060405180910390fd5b612f40612dd2565b6001600160a01b031663b9b8924c306040518263ffffffff1660e01b815260040180826001600160a01b0316815260200191505060206040518083038186803b158015612f8c57600080fd5b505afa158015612fa0573d6000803e3d6000fd5b505050506040513d6020811015612fb657600080fd5b505115612ff45760405162461bcd60e51b8152600401808060200182810382526022815260200180613c406022913960400191505060405180910390fd5b6000612ffe612dd2565b6001600160a01b031663506461346040518163ffffffff1660e01b815260040160206040518083038186803b15801561303657600080fd5b505afa15801561304a573d6000803e3d6000fd5b505050506040513d602081101561306057600080fd5b50519050600061306e612dd2565b6001600160a01b031663c1cf7c0e306040518263ffffffff1660e01b815260040180826001600160a01b0316815260200191505060206040518083038186803b1580156130ba57600080fd5b505afa1580156130ce573d6000803e3d6000fd5b505050506040513d60208110156130e457600080fd5b505190506130f0612dd2565b6001600160a01b031663a49d9af2866040518263ffffffff1660e01b815260040180826001600160a01b0316815260200191505060206040518083038186803b15801561313c57600080fd5b505afa158015613150573d6000803e3d6000fd5b505050506040513d602081101561316657600080fd5b50518061318b5750613176612333565b6001600160a01b0316846001600160a01b0316145b806131a357506008546001600160a01b038581169116145b156131b8576131b38585856135c3565b61336f565b816001600160a01b0316846001600160a01b031614806131e95750806001600160a01b0316846001600160a01b0316145b8061320c57506131f7611c8a565b6001600160a01b0316846001600160a01b0316145b1561321c576131b38585856135c3565b613224612dd2565b6001600160a01b031663f669e00c85306040518363ffffffff1660e01b815260040180836001600160a01b03168152602001826001600160a01b031681526020019250505060206040518083038186803b15801561328157600080fd5b505afa158015613295573d6000803e3d6000fd5b505050506040513d60208110156132ab57600080fd5b50516132fe576040805162461bcd60e51b815260206004820181905260248201527f50726f70546f6b656e3a2043616e27742073656e6420746f6b656e7320746f21604482015290519081900360640190fd5b816001600160a01b0316856001600160a01b0316148061332f5750806001600160a01b0316856001600160a01b0316145b80613352575061333d611c8a565b6001600160a01b0316856001600160a01b0316145b15613362576131b38585856135c3565b61336f858585858561371e565b5050505050565b6000828201838110156133d0576040805162461bcd60e51b815260206004820152601b60248201527f536166654d6174683a206164646974696f6e206f766572666c6f770000000000604482015290519081900360640190fd5b9392505050565b6001600160a01b03821661341c5760405162461bcd60e51b8152600401808060200182810382526021815260200180613dae6021913960400191505060405180910390fd5b61342882600083610e1f565b61346581604051806060016040528060228152602001613af1602291396001600160a01b0385166000908152602081905260409020549190612e17565b6001600160a01b03831660009081526020819052604090205560025461348b90826138fd565b6002556040805182815290516000916001600160a01b038516917fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef9181900360200190a35050565b6001600160a01b03821661352e576040805162461bcd60e51b815260206004820152601f60248201527f45524332303a206d696e7420746f20746865207a65726f206164647265737300604482015290519081900360640190fd5b61353a60008383610e1f565b6002546135479082613376565b6002556001600160a01b03821660009081526020819052604090205461356d9082613376565b6001600160a01b0383166000818152602081815260408083209490945583518581529351929391927fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef9281900390910190a35050565b6001600160a01b0383166136085760405162461bcd60e51b8152600401808060200182810382526025815260200180613df16025913960400191505060405180910390fd5b6001600160a01b03821661364d5760405162461bcd60e51b8152600401808060200182810382526023815260200180613ace6023913960400191505060405180910390fd5b613658838383610e1f565b61369581604051806060016040528060268152602001613b86602691396001600160a01b0386166000908152602081905260409020549190612e17565b6001600160a01b0380851660009081526020819052604080822093909355908416815220546136c49082613376565b6001600160a01b038084166000818152602081815260409182902094909455805185815290519193928716927fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef92918290030190a3505050565b60006137a26103e861379c613731612dd2565b6001600160a01b0316639a4ed1496040518163ffffffff1660e01b815260040160206040518083038186803b15801561376957600080fd5b505afa15801561377d573d6000803e3d6000fd5b505050506040513d602081101561379357600080fd5b5051879061393f565b90613998565b905060006138226103e861379c6137b7612dd2565b6001600160a01b0316638a2c0c476040518163ffffffff1660e01b815260040160206040518083038186803b1580156137ef57600080fd5b505afa158015613803573d6000803e3d6000fd5b505050506040513d602081101561381957600080fd5b5051889061393f565b905060006138a26103e861379c613837612dd2565b6001600160a01b0316638e69ba0e6040518163ffffffff1660e01b815260040160206040518083038186803b15801561386f57600080fd5b505afa158015613883573d6000803e3d6000fd5b505050506040513d602081101561389957600080fd5b5051899061393f565b905060006138b4826125908686613376565b90506138c18987866135c3565b6138cc8986846135c3565b6138de896138d8611c8a565b856135c3565b6138f289896138ed8a856138fd565b6135c3565b505050505050505050565b60006133d083836040518060400160405280601e81526020017f536166654d6174683a207375627472616374696f6e206f766572666c6f770000815250612e17565b60008261394e57506000610ed2565b8282028284828161395b57fe5b04146133d05760405162461bcd60e51b8152600401808060200182810382526021815260200180613c8e6021913960400191505060405180910390fd5b60006133d083836040518060400160405280601a81526020017f536166654d6174683a206469766973696f6e206279207a65726f00000000000081525060008183613a245760405162461bcd60e51b8152602060048201818152835160248401528351909283926044909101919085019080838360008315612e6b578181015183820152602001612e53565b506000838581613a3057fe5b0495945050505050565b828054600181600116156101000203166002900490600052602060002090601f016020900481019282601f10613a7b57805160ff1916838001178555613aa8565b82800160010185558215613aa8579182015b82811115613aa8578251825591602001919060010190613a8d565b50613ab4929150613ab8565b5090565b5b80821115613ab45760008155600101613ab956fe45524332303a207472616e7366657220746f20746865207a65726f206164647265737345524332303a206275726e20616d6f756e7420657863656564732062616c616e636550726f706572746965733a20526f79616c74792070657263656e7461676520616c726561647920736574214f776e61626c653a206e6577206f776e657220697320746865207a65726f206164647265737345524332303a20617070726f766520746f20746865207a65726f206164647265737345524332303a207472616e7366657220616d6f756e7420657863656564732062616c616e636550726f706572746965733a205472616e73616374696f6e206d75737420636f6d652066726f6d2072656769737472792150726f70546f6b656e3a20417272617973206d757374206265206f662073616d65206c656e6774682150726f706572746965733a20436170206e6565647320746f20626520626967676572206f7220657175616c20746f20746f74616c20737570706c7950726f70546f6b656e3a205472616e73616374696f6e73206172652066726f7a656e50726f706572746965733a20596f75206e65656420746f2062652070726f7065727479206d616e6167657221536166654d6174683a206d756c7469706c69636174696f6e206f766572666c6f7750726f70546f6b656e3a2057616c6c6574206973206e6f742077686974656c697374656445524332303a207472616e7366657220616d6f756e74206578636565647320616c6c6f77616e636550726f70546f6b656e3a204f6e6c79206275726e20636f6e74726163742063616e206275726e20746f6b656e732066726f6d2075736572732150726f706572746965733a205468652073756d206f6620746865206361706974616c20737461636b206e6565647320746f2062652073616d65206173206d6178696d756d20737570706c79206f66204253505450726f70546f6b656e3a207472616e7366657220746f20746865207a65726f206164647265737345524332303a206275726e2066726f6d20746865207a65726f206164647265737350726f70546f6b656e3a204d696e74696e67206973206e6f7420656e61626c65642145524332303a207472616e736665722066726f6d20746865207a65726f206164647265737350726f70546f6b656e3a20436f6e7472616374206973206e6f742077686974656c697374656445524332303a20617070726f76652066726f6d20746865207a65726f206164647265737350726f70546f6b656e3a20796f7520646f6e27742068617665207065726d697373696f6e20746f206d696e7450726f70546f6b656e3a20796f7520646f6e27742068617665207065726d697373696f6e2150726f70546f6b656e3a207472616e736665722066726f6d20746865207a65726f206164647265737350726f70546f6b656e3a20596f75206e65656420746f20686176652073797374656d2061646d696e207269676874732150726f706572746965733a20526f79616c74792070657263656e74616765206d757374206265206c657373206f7220657175616c20746f20313030303045524332303a2064656372656173656420616c6c6f77616e63652062656c6f77207a65726fa2646970667358221220b02484519c7d2ceb3c983d1b5cff624f724c7534fa01b073450523cfe5abbf7d64736f6c634300060c00334f776e61626c653a206e6577206f776e657220697320746865207a65726f20616464726573738be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e000000000000000000000000097ef90ebe4b138a3baf03f8ece2e93e8a6bf446b00000000000000000000000005325c1ab1440df7214db38f676f95999729267b

0x6080604052600436106102135760003560e01c806370a08231116101185780639f999da3116100a0578063b14268221161006f578063b142682214610b9b578063dd62ed3e14610be3578063e467f7e014610c1e578063f2fde38b14610d4e578063f81bb18f14610d815761021d565b80639f999da3146109ad578063a12c4a6e14610b14578063a457c2d714610b29578063a9059cbb14610b625761021d565b80638ccbd6da116100e75780638ccbd6da146107375780638da5cb5b1461074c57806395d89b41146107615780639a16e7c8146107765780639ee1fc18146107be5761021d565b806370a0823114610697578063715018a6146106ca5780637b4eb027146106df5780637b58b0e8146106f45761021d565b806337beafe01161019b57806359c8b7dd1161016a57806359c8b7dd146105bf5780635fb64a6a146105eb578063631d24101461061e5780636434bd11146106515780636c64a678146106825761021d565b806337beafe014610505578063395093511461053857806339b22120146105715780633c503194146105aa5761021d565b80631b8dca74116101e25780631b8dca741461045857806320b28ade1461046d57806323b872dd14610482578063313ce567146104c5578063355274ea146104f05761021d565b8063053539641461022257806306fdde031461035a578063095ea7b3146103e457806318160ddd146104315761021d565b3661021d57600080fd5b600080fd5b34801561022e57600080fd5b506103586004803603604081101561024557600080fd5b810190602081018135600160201b81111561025f57600080fd5b82018360208201111561027157600080fd5b803590602001918460018302840111600160201b8311171561029257600080fd5b91908080601f0160208091040260200160405190810160405280939291908181526020018383808284376000920191909152509295949360208101935035915050600160201b8111156102e457600080fd5b8201836020820111156102f657600080fd5b803590602001918460018302840111600160201b8311171561031757600080fd5b91908080601f016020809104026020016040519081016040528093929190818152602001838380828437600092019190915250929550610daf945050505050565b005b34801561036657600080fd5b5061036f610e24565b6040805160208082528351818301528351919283929083019185019080838360005b838110156103a9578181015183820152602001610391565b50505050905090810190601f1680156103d65780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b3480156103f057600080fd5b5061041d6004803603604081101561040757600080fd5b506001600160a01b038135169060200135610eba565b604080519115158252519081900360200190f35b34801561043d57600080fd5b50610446610ed8565b60408051918252519081900360200190f35b34801561046457600080fd5b50610358610ede565b34801561047957600080fd5b5061036f610fc7565b34801561048e57600080fd5b5061041d600480360360608110156104a557600080fd5b506001600160a01b03813581169160208101359091169060400135611102565b3480156104d157600080fd5b506104da611151565b6040805160ff9092168252519081900360200190f35b3480156104fc57600080fd5b5061044661115a565b34801561051157600080fd5b506103586004803603602081101561052857600080fd5b50356001600160a01b0316611160565b34801561054457600080fd5b5061041d6004803603604081101561055b57600080fd5b506001600160a01b03813516906020013561138d565b34801561057d57600080fd5b5061041d6004803603604081101561059457600080fd5b506001600160a01b0381351690602001356113db565b3480156105b657600080fd5b5061041d611431565b3480156105cb57600080fd5b506105d4611441565b6040805161ffff9092168252519081900360200190f35b3480156105f757600080fd5b506103586004803603602081101561060e57600080fd5b50356001600160a01b031661144b565b34801561062a57600080fd5b506103586004803603602081101561064157600080fd5b50356001600160a01b0316611678565b34801561065d57600080fd5b5061066661175b565b604080516001600160a01b039092168252519081900360200190f35b34801561068e57600080fd5b5061035861176a565b3480156106a357600080fd5b50610446600480360360208110156106ba57600080fd5b50356001600160a01b031661192a565b3480156106d657600080fd5b50610358611945565b3480156106eb57600080fd5b50610666611a04565b34801561070057600080fd5b5061041d6004803603606081101561071757600080fd5b506001600160a01b03813581169160208101359091169060400135611a13565b34801561074357600080fd5b50610358611ae4565b34801561075857600080fd5b50610666611c8a565b34801561076d57600080fd5b5061036f611c9e565b34801561078257600080fd5b5061078b611cff565b604080519687526020870195909552858501939093526060850191909152608084015260a0830152519081900360c00190f35b3480156107ca57600080fd5b506107f2600480360360208110156107e157600080fd5b503567ffffffffffffffff16611d19565b60405180806020018060200180602001806020018667ffffffffffffffff16815260200185810385528a818151815260200191508051906020019080838360005b8381101561084b578181015183820152602001610833565b50505050905090810190601f1680156108785780820380516001836020036101000a031916815260200191505b5085810384528951815289516020918201918b019080838360005b838110156108ab578181015183820152602001610893565b50505050905090810190601f1680156108d85780820380516001836020036101000a031916815260200191505b5085810383528851815288516020918201918a019080838360005b8381101561090b5781810151838201526020016108f3565b50505050905090810190601f1680156109385780820380516001836020036101000a031916815260200191505b50858103825287518152875160209182019189019080838360005b8381101561096b578181015183820152602001610953565b50505050905090810190601f1680156109985780820380516001836020036101000a031916815260200191505b50995050505050505050505060405180910390f35b3480156109b957600080fd5b506109c261207f565b60405180806020018060200186815260200185815260200180602001848103845289818151815260200191508051906020019080838360005b83811015610a135781810151838201526020016109fb565b50505050905090810190601f168015610a405780820380516001836020036101000a031916815260200191505b5084810383528851815288516020918201918a019080838360005b83811015610a73578181015183820152602001610a5b565b50505050905090810190601f168015610aa05780820380516001836020036101000a031916815260200191505b50848103825285518152855160209182019187019080838360005b83811015610ad3578181015183820152602001610abb565b50505050905090810190601f168015610b005780820380516001836020036101000a031916815260200191505b509850505050505050505060405180910390f35b348015610b2057600080fd5b50610666612333565b348015610b3557600080fd5b5061041d60048036036040811015610b4c57600080fd5b506001600160a01b0381351690602001356123a6565b348015610b6e57600080fd5b5061041d60048036036040811015610b8557600080fd5b506001600160a01b03813516906020013561240e565b348015610ba757600080fd5b50610358600480360360c0811015610bbe57600080fd5b5080359060208101359060408101359060608101359060808101359060a0013561241b565b348015610bef57600080fd5b5061044660048036036040811015610c0657600080fd5b506001600160a01b03813581169160200135166126a1565b348015610c2a57600080fd5b5061041d60048036036040811015610c4157600080fd5b810190602081018135600160201b811115610c5b57600080fd5b820183602082011115610c6d57600080fd5b803590602001918460208302840111600160201b83111715610c8e57600080fd5b9190808060200260200160405190810160405280939291908181526020018383602002808284376000920191909152509295949360208101935035915050600160201b811115610cdd57600080fd5b820183602082011115610cef57600080fd5b803590602001918460208302840111600160201b83111715610d1057600080fd5b9190808060200260200160405190810160405280939291908181526020018383602002808284376000920191909152509295506126cc945050505050565b348015610d5a57600080fd5b5061035860048036036020811015610d7157600080fd5b50356001600160a01b03166129c2565b348015610d8d57600080fd5b5061035860048036036020811015610da457600080fd5b503561ffff16612add565b6009546001600160a01b03163314610df85760405162461bcd60e51b8152600401808060200182810382526030815260200180613bac6030913960400191505060405180910390fd5b8151610e0b906003906020850190613a3a565b508051610e1f906004906020840190613a3a565b505050565b60038054604080516020601f6002600019610100600188161502019095169490940493840181900481028201810190925282815260609390929091830182828015610eb05780601f10610e8557610100808354040283529160200191610eb0565b820191906000526020600020905b815481529060010190602001808311610e9357829003601f168201915b5050505050905090565b6000610ece610ec7612ce2565b8484612ce6565b5060015b92915050565b60025490565b610ee6612dd2565b60408051639af2355360e01b815233600482015230602482015290516001600160a01b039290921691639af2355391604480820192602092909190829003018186803b158015610f3557600080fd5b505afa158015610f49573d6000803e3d6000fd5b505050506040513d6020811015610f5f57600080fd5b5051610fb2576040805162461bcd60e51b815260206004820152601960248201527f50726f70546f6b656e3a204f6e6c792043502061646d696e2100000000000000604482015290519081900360640190fd5b6009805460ff60a01b1916600160a01b179055565b6009546040805163044b772760e11b815230600482015290516060926001600160a01b031691630896ee4e916024808301926000929190829003018186803b15801561101257600080fd5b505afa158015611026573d6000803e3d6000fd5b505050506040513d6000823e601f3d908101601f19168201604052602081101561104f57600080fd5b8101908080516040519392919084600160201b82111561106e57600080fd5b90830190602082018581111561108357600080fd5b8251600160201b81118282018810171561109c57600080fd5b82525081516020918201929091019080838360005b838110156110c95781810151838201526020016110b1565b50505050905090810190601f1680156110f65780820380516001836020036101000a031916815260200191505b50604052505050905090565b600061113c843361113785604051806060016040528060288152602001613cd3602891396111308a336126a1565b9190612e17565b612ce6565b611147848484612eae565b5060019392505050565b60055460ff1690565b60065490565b611168612dd2565b60408051639af2355360e01b815233600482015230602482015290516001600160a01b039290921691639af2355391604480820192602092909190829003018186803b1580156111b757600080fd5b505afa1580156111cb573d6000803e3d6000fd5b505050506040513d60208110156111e157600080fd5b50518061127557506111f1612dd2565b6001600160a01b031663c1cf7c0e306040518263ffffffff1660e01b815260040180826001600160a01b0316815260200191505060206040518083038186803b15801561123d57600080fd5b505afa158015611251573d6000803e3d6000fd5b505050506040513d602081101561126757600080fd5b50516001600160a01b031633145b6112b05760405162461bcd60e51b8152600401808060200182810382526025815260200180613e8c6025913960400191505060405180910390fd5b6112b8612dd2565b6001600160a01b031663c057058a826040518263ffffffff1660e01b815260040180826001600160a01b0316815260200191505060206040518083038186803b15801561130457600080fd5b505afa158015611318573d6000803e3d6000fd5b505050506040513d602081101561132e57600080fd5b505161136b5760405162461bcd60e51b8152600401808060200182810382526026815260200180613e166026913960400191505060405180910390fd5b600880546001600160a01b0319166001600160a01b0392909216919091179055565b6000610ece61139a612ce2565b8461113785600160006113ab612ce2565b6001600160a01b03908116825260208083019390935260409182016000908120918c168152925290205490613376565b6008546000906001600160a01b031633146114275760405162461bcd60e51b8152600401808060200182810382526039815260200180613cfb6039913960400191505060405180910390fd5b610ece83836133d7565b600954600160a01b900460ff1690565b600f5461ffff1690565b611453612dd2565b60408051639af2355360e01b815233600482015230602482015290516001600160a01b039290921691639af2355391604480820192602092909190829003018186803b1580156114a257600080fd5b505afa1580156114b6573d6000803e3d6000fd5b505050506040513d60208110156114cc57600080fd5b50518061156057506114dc612dd2565b6001600160a01b031663c1cf7c0e306040518263ffffffff1660e01b815260040180826001600160a01b0316815260200191505060206040518083038186803b15801561152857600080fd5b505afa15801561153c573d6000803e3d6000fd5b505050506040513d602081101561155257600080fd5b50516001600160a01b031633145b61159b5760405162461bcd60e51b8152600401808060200182810382526025815260200180613e8c6025913960400191505060405180910390fd5b6115a3612dd2565b6001600160a01b031663c057058a826040518263ffffffff1660e01b815260040180826001600160a01b0316815260200191505060206040518083038186803b1580156115ef57600080fd5b505afa158015611603573d6000803e3d6000fd5b505050506040513d602081101561161957600080fd5b50516116565760405162461bcd60e51b8152600401808060200182810382526026815260200180613e166026913960400191505060405180910390fd5b600780546001600160a01b0319166001600160a01b0392909216919091179055565b611680612dd2565b6001600160a01b031663a49d9af2336040518263ffffffff1660e01b815260040180826001600160a01b0316815260200191505060206040518083038186803b1580156116cc57600080fd5b505afa1580156116e0573d6000803e3d6000fd5b505050506040513d60208110156116f657600080fd5b50516117335760405162461bcd60e51b8152600401808060200182810382526030815260200180613eda6030913960400191505060405180910390fd5b600580546001600160a01b0390921661010002610100600160a81b0319909216919091179055565b6007546001600160a01b031690565b611772612dd2565b60408051639af2355360e01b815233600482015230602482015290516001600160a01b039290921691639af2355391604480820192602092909190829003018186803b1580156117c157600080fd5b505afa1580156117d5573d6000803e3d6000fd5b505050506040513d60208110156117eb57600080fd5b50518061187f57506117fb612dd2565b6001600160a01b031663c1cf7c0e306040518263ffffffff1660e01b815260040180826001600160a01b0316815260200191505060206040518083038186803b15801561184757600080fd5b505afa15801561185b573d6000803e3d6000fd5b505050506040513d602081101561187157600080fd5b50516001600160a01b031633145b6118ba5760405162461bcd60e51b8152600401808060200182810382526025815260200180613e8c6025913960400191505060405180910390fd5b6118c2612dd2565b6001600160a01b031663e79d584e306040518263ffffffff1660e01b815260040180826001600160a01b03168152602001915050600060405180830381600087803b15801561191057600080fd5b505af1158015611924573d6000803e3d6000fd5b50505050565b6001600160a01b031660009081526020819052604090205490565b61194d612ce2565b60055461010090046001600160a01b039081169116146119b4576040805162461bcd60e51b815260206004820181905260248201527f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572604482015290519081900360640190fd5b60055460405160009161010090046001600160a01b0316907f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0908390a360058054610100600160a81b0319169055565b6008546001600160a01b031690565b6000611a1d612dd2565b6001600160a01b031663a49d9af2336040518263ffffffff1660e01b815260040180826001600160a01b0316815260200191505060206040518083038186803b158015611a6957600080fd5b505afa158015611a7d573d6000803e3d6000fd5b505050506040513d6020811015611a9357600080fd5b5051611ad05760405162461bcd60e51b8152600401808060200182810382526030815260200180613eda6030913960400191505060405180910390fd5b611ada84836133d7565b61114783836134d3565b611aec612dd2565b60408051639af2355360e01b815233600482015230602482015290516001600160a01b039290921691639af2355391604480820192602092909190829003018186803b158015611b3b57600080fd5b505afa158015611b4f573d6000803e3d6000fd5b505050506040513d6020811015611b6557600080fd5b505180611bf95750611b75612dd2565b6001600160a01b031663c1cf7c0e306040518263ffffffff1660e01b815260040180826001600160a01b0316815260200191505060206040518083038186803b158015611bc157600080fd5b505afa158015611bd5573d6000803e3d6000fd5b505050506040513d6020811015611beb57600080fd5b50516001600160a01b031633145b611c345760405162461bcd60e51b8152600401808060200182810382526025815260200180613e8c6025913960400191505060405180910390fd5b611c3c612dd2565b6001600160a01b03166378935e5b306040518263ffffffff1660e01b815260040180826001600160a01b03168152602001915050600060405180830381600087803b15801561191057600080fd5b60055461010090046001600160a01b031690565b60048054604080516020601f6002600019610100600188161502019095169490940493840181900481028201810190925282815260609390929091830182828015610eb05780601f10610e8557610100808354040283529160200191610eb0565b600654600a54600b54600c54600d54600e54909192939495565b600954604080516313c7728d60e11b815230600482015267ffffffffffffffff8416602482015290516060928392839283926000926001600160a01b039091169163278ee51a916044808201928692909190829003018186803b158015611d7f57600080fd5b505afa158015611d93573d6000803e3d6000fd5b505050506040513d6000823e601f3d908101601f1916820160405260a0811015611dbc57600080fd5b8101908080516040519392919084600160201b821115611ddb57600080fd5b908301906020820185811115611df057600080fd5b8251600160201b811182820188101715611e0957600080fd5b82525081516020918201929091019080838360005b83811015611e36578181015183820152602001611e1e565b50505050905090810190601f168015611e635780820380516001836020036101000a031916815260200191505b5060405260200180516040519392919084600160201b821115611e8557600080fd5b908301906020820185811115611e9a57600080fd5b8251600160201b811182820188101715611eb357600080fd5b82525081516020918201929091019080838360005b83811015611ee0578181015183820152602001611ec8565b50505050905090810190601f168015611f0d5780820380516001836020036101000a031916815260200191505b5060405260200180516040519392919084600160201b821115611f2f57600080fd5b908301906020820185811115611f4457600080fd5b8251600160201b811182820188101715611f5d57600080fd5b82525081516020918201929091019080838360005b83811015611f8a578181015183820152602001611f72565b50505050905090810190601f168015611fb75780820380516001836020036101000a031916815260200191505b5060405260200180516040519392919084600160201b821115611fd957600080fd5b908301906020820185811115611fee57600080fd5b8251600160201b81118282018810171561200757600080fd5b82525081516020918201929091019080838360005b8381101561203457818101518382015260200161201c565b50505050905090810190601f1680156120615780820380516001836020036101000a031916815260200191505b5060405260200151959c949b50929950909750929550909350505050565b60095460408051636a00ef7f60e11b815230600482015290516060928392600092839285926001600160a01b039091169163d401defe916024808201928792909190829003018186803b1580156120d557600080fd5b505afa1580156120e9573d6000803e3d6000fd5b505050506040513d6000823e601f3d908101601f1916820160405260a081101561211257600080fd5b8101908080516040519392919084600160201b82111561213157600080fd5b90830190602082018581111561214657600080fd5b8251600160201b81118282018810171561215f57600080fd5b82525081516020918201929091019080838360005b8381101561218c578181015183820152602001612174565b50505050905090810190601f1680156121b95780820380516001836020036101000a031916815260200191505b5060405260200180516040519392919084600160201b8211156121db57600080fd5b9083019060208201858111156121f057600080fd5b8251600160201b81118282018810171561220957600080fd5b82525081516020918201929091019080838360005b8381101561223657818101518382015260200161221e565b50505050905090810190601f1680156122635780820380516001836020036101000a031916815260200191505b50604081815260208301519083015160609093018051919593949293929184600160201b82111561229357600080fd5b9083019060208201858111156122a857600080fd5b8251600160201b8111828201881017156122c157600080fd5b82525081516020918201929091019080838360005b838110156122ee5781810151838201526020016122d6565b50505050905090810190601f16801561231b5780820380516001836020036101000a031916815260200191505b50604052505050945094509450945094509091929394565b600061233d612dd2565b6001600160a01b031663a12c4a6e6040518163ffffffff1660e01b815260040160206040518083038186803b15801561237557600080fd5b505afa158015612389573d6000803e3d6000fd5b505050506040513d602081101561239f57600080fd5b5051905090565b6000610ece6123b3612ce2565b8461113785604051806060016040528060258152602001613f4760259139600160006123dd612ce2565b6001600160a01b03908116825260208083019390935260409182016000908120918d16815292529020549190612e17565b6000610ece338484612eae565b612423612dd2565b6001600160a01b031663a7f46904612439612ce2565b306040518363ffffffff1660e01b815260040180836001600160a01b03168152602001826001600160a01b031681526020019250505060206040518083038186803b15801561248757600080fd5b505afa15801561249b573d6000803e3d6000fd5b505050506040513d60208110156124b157600080fd5b50518061254157506124c1612dd2565b6001600160a01b031663607014116040518163ffffffff1660e01b815260040160206040518083038186803b1580156124f957600080fd5b505afa15801561250d573d6000803e3d6000fd5b505050506040513d602081101561252357600080fd5b50516001600160a01b0316612536612ce2565b6001600160a01b0316145b61257c5760405162461bcd60e51b815260040180806020018281038252602c815260200180613c62602c913960400191505060405180910390fd5b61259681612590848187818a818e8e613376565b90613376565b69152d02c7e14af6800000146125dd5760405162461bcd60e51b8152600401808060200182810382526053815260200180613d346053913960600191505060405180910390fd5b6125e5610ed8565b8610156126235760405162461bcd60e51b815260040180806020018281038252603b815260200180613c05603b913960400191505060405180910390fd5b6006869055600a859055600b849055600c839055600d829055600e8190556040805187815260208101879052808201869052606081018590526080810184905260a08101839052905130917f350b0a1df6828f7078ed48f24d60421ddbf0357c257dfa8ae6791dcab22dc5a7919081900360c00190a2505050505050565b6001600160a01b03918216600090815260016020908152604080832093909416825291909152205490565b600954600090600160a01b900460ff166127175760405162461bcd60e51b8152600401808060200182810382526022815260200180613dcf6022913960400191505060405180910390fd5b61271f612dd2565b60408051639af2355360e01b815233600482015230602482015290516001600160a01b039290921691639af2355391604480820192602092909190829003018186803b15801561276e57600080fd5b505afa158015612782573d6000803e3d6000fd5b505050506040513d602081101561279857600080fd5b5051806127af57506007546001600160a01b031633145b6127ea5760405162461bcd60e51b815260040180806020018281038252602c815260200180613e60602c913960400191505060405180910390fd5b815183511461282a5760405162461bcd60e51b8152600401808060200182810382526029815260200180613bdc6029913960400191505060405180910390fd5b60005b83518110156111475760065461285884838151811061284857fe5b6020026020010151612590610ed8565b11156128ab576040805162461bcd60e51b815260206004820152601760248201527f50726f70546f6b656e3a20636170206578636565646564000000000000000000604482015290519081900360640190fd5b6128b3612dd2565b6001600160a01b031663f669e00c8583815181106128cd57fe5b6020026020010151306040518363ffffffff1660e01b815260040180836001600160a01b03168152602001826001600160a01b031681526020019250505060206040518083038186803b15801561292357600080fd5b505afa158015612937573d6000803e3d6000fd5b505050506040513d602081101561294d57600080fd5b505161298a5760405162461bcd60e51b8152600401808060200182810382526024815260200180613caf6024913960400191505060405180910390fd5b6129ba84828151811061299957fe5b60200260200101518483815181106129ad57fe5b60200260200101516134d3565b60010161282d565b6129ca612ce2565b60055461010090046001600160a01b03908116911614612a31576040805162461bcd60e51b815260206004820181905260248201527f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572604482015290519081900360640190fd5b6001600160a01b038116612a765760405162461bcd60e51b8152600401808060200182810382526026815260200180613b3e6026913960400191505060405180910390fd5b6005546040516001600160a01b0380841692610100900416907f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e090600090a3600580546001600160a01b0390921661010002610100600160a81b0319909216919091179055565b612ae5612dd2565b6001600160a01b031663a7f46904612afb612ce2565b306040518363ffffffff1660e01b815260040180836001600160a01b03168152602001826001600160a01b031681526020019250505060206040518083038186803b158015612b4957600080fd5b505afa158015612b5d573d6000803e3d6000fd5b505050506040513d6020811015612b7357600080fd5b505180612c035750612b83612dd2565b6001600160a01b031663607014116040518163ffffffff1660e01b815260040160206040518083038186803b158015612bbb57600080fd5b505afa158015612bcf573d6000803e3d6000fd5b505050506040513d6020811015612be557600080fd5b50516001600160a01b0316612bf8612ce2565b6001600160a01b0316145b612c3e5760405162461bcd60e51b815260040180806020018281038252602c815260200180613c62602c913960400191505060405180910390fd5b600f5461ffff1615612c815760405162461bcd60e51b815260040180806020018281038252602b815260200180613b13602b913960400191505060405180910390fd5b600f5461271061ffff9091161115612cca5760405162461bcd60e51b815260040180806020018281038252603d815260200180613f0a603d913960400191505060405180910390fd5b600f805461ffff191661ffff92909216919091179055565b3390565b6001600160a01b038316612d2b5760405162461bcd60e51b8152600401808060200182810382526024815260200180613e3c6024913960400191505060405180910390fd5b6001600160a01b038216612d705760405162461bcd60e51b8152600401808060200182810382526022815260200180613b646022913960400191505060405180910390fd5b6001600160a01b03808416600081815260016020908152604080832094871680845294825291829020859055815185815291517f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b9259281900390910190a3505050565b6009546040805163a305a83d60e01b815290516000926001600160a01b03169163a305a83d916004808301926020929190829003018186803b15801561237557600080fd5b60008184841115612ea65760405162461bcd60e51b81526004018080602001828103825283818151815260200191508051906020019080838360005b83811015612e6b578181015183820152602001612e53565b50505050905090810190601f168015612e985780820380516001836020036101000a031916815260200191505b509250505060405180910390fd5b505050900390565b6001600160a01b038316612ef35760405162461bcd60e51b8152600401808060200182810382526029815260200180613eb16029913960400191505060405180910390fd5b6001600160a01b038216612f385760405162461bcd60e51b8152600401808060200182810382526027815260200180613d876027913960400191505060405180910390fd5b612f40612dd2565b6001600160a01b031663b9b8924c306040518263ffffffff1660e01b815260040180826001600160a01b0316815260200191505060206040518083038186803b158015612f8c57600080fd5b505afa158015612fa0573d6000803e3d6000fd5b505050506040513d6020811015612fb657600080fd5b505115612ff45760405162461bcd60e51b8152600401808060200182810382526022815260200180613c406022913960400191505060405180910390fd5b6000612ffe612dd2565b6001600160a01b031663506461346040518163ffffffff1660e01b815260040160206040518083038186803b15801561303657600080fd5b505afa15801561304a573d6000803e3d6000fd5b505050506040513d602081101561306057600080fd5b50519050600061306e612dd2565b6001600160a01b031663c1cf7c0e306040518263ffffffff1660e01b815260040180826001600160a01b0316815260200191505060206040518083038186803b1580156130ba57600080fd5b505afa1580156130ce573d6000803e3d6000fd5b505050506040513d60208110156130e457600080fd5b505190506130f0612dd2565b6001600160a01b031663a49d9af2866040518263ffffffff1660e01b815260040180826001600160a01b0316815260200191505060206040518083038186803b15801561313c57600080fd5b505afa158015613150573d6000803e3d6000fd5b505050506040513d602081101561316657600080fd5b50518061318b5750613176612333565b6001600160a01b0316846001600160a01b0316145b806131a357506008546001600160a01b038581169116145b156131b8576131b38585856135c3565b61336f565b816001600160a01b0316846001600160a01b031614806131e95750806001600160a01b0316846001600160a01b0316145b8061320c57506131f7611c8a565b6001600160a01b0316846001600160a01b0316145b1561321c576131b38585856135c3565b613224612dd2565b6001600160a01b031663f669e00c85306040518363ffffffff1660e01b815260040180836001600160a01b03168152602001826001600160a01b031681526020019250505060206040518083038186803b15801561328157600080fd5b505afa158015613295573d6000803e3d6000fd5b505050506040513d60208110156132ab57600080fd5b50516132fe576040805162461bcd60e51b815260206004820181905260248201527f50726f70546f6b656e3a2043616e27742073656e6420746f6b656e7320746f21604482015290519081900360640190fd5b816001600160a01b0316856001600160a01b0316148061332f5750806001600160a01b0316856001600160a01b0316145b80613352575061333d611c8a565b6001600160a01b0316856001600160a01b0316145b15613362576131b38585856135c3565b61336f858585858561371e565b5050505050565b6000828201838110156133d0576040805162461bcd60e51b815260206004820152601b60248201527f536166654d6174683a206164646974696f6e206f766572666c6f770000000000604482015290519081900360640190fd5b9392505050565b6001600160a01b03821661341c5760405162461bcd60e51b8152600401808060200182810382526021815260200180613dae6021913960400191505060405180910390fd5b61342882600083610e1f565b61346581604051806060016040528060228152602001613af1602291396001600160a01b0385166000908152602081905260409020549190612e17565b6001600160a01b03831660009081526020819052604090205560025461348b90826138fd565b6002556040805182815290516000916001600160a01b038516917fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef9181900360200190a35050565b6001600160a01b03821661352e576040805162461bcd60e51b815260206004820152601f60248201527f45524332303a206d696e7420746f20746865207a65726f206164647265737300604482015290519081900360640190fd5b61353a60008383610e1f565b6002546135479082613376565b6002556001600160a01b03821660009081526020819052604090205461356d9082613376565b6001600160a01b0383166000818152602081815260408083209490945583518581529351929391927fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef9281900390910190a35050565b6001600160a01b0383166136085760405162461bcd60e51b8152600401808060200182810382526025815260200180613df16025913960400191505060405180910390fd5b6001600160a01b03821661364d5760405162461bcd60e51b8152600401808060200182810382526023815260200180613ace6023913960400191505060405180910390fd5b613658838383610e1f565b61369581604051806060016040528060268152602001613b86602691396001600160a01b0386166000908152602081905260409020549190612e17565b6001600160a01b0380851660009081526020819052604080822093909355908416815220546136c49082613376565b6001600160a01b038084166000818152602081815260409182902094909455805185815290519193928716927fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef92918290030190a3505050565b60006137a26103e861379c613731612dd2565b6001600160a01b0316639a4ed1496040518163ffffffff1660e01b815260040160206040518083038186803b15801561376957600080fd5b505afa15801561377d573d6000803e3d6000fd5b505050506040513d602081101561379357600080fd5b5051879061393f565b90613998565b905060006138226103e861379c6137b7612dd2565b6001600160a01b0316638a2c0c476040518163ffffffff1660e01b815260040160206040518083038186803b1580156137ef57600080fd5b505afa158015613803573d6000803e3d6000fd5b505050506040513d602081101561381957600080fd5b5051889061393f565b905060006138a26103e861379c613837612dd2565b6001600160a01b0316638e69ba0e6040518163ffffffff1660e01b815260040160206040518083038186803b15801561386f57600080fd5b505afa158015613883573d6000803e3d6000fd5b505050506040513d602081101561389957600080fd5b5051899061393f565b905060006138b4826125908686613376565b90506138c18987866135c3565b6138cc8986846135c3565b6138de896138d8611c8a565b856135c3565b6138f289896138ed8a856138fd565b6135c3565b505050505050505050565b60006133d083836040518060400160405280601e81526020017f536166654d6174683a207375627472616374696f6e206f766572666c6f770000815250612e17565b60008261394e57506000610ed2565b8282028284828161395b57fe5b04146133d05760405162461bcd60e51b8152600401808060200182810382526021815260200180613c8e6021913960400191505060405180910390fd5b60006133d083836040518060400160405280601a81526020017f536166654d6174683a206469766973696f6e206279207a65726f00000000000081525060008183613a245760405162461bcd60e51b8152602060048201818152835160248401528351909283926044909101919085019080838360008315612e6b578181015183820152602001612e53565b506000838581613a3057fe5b0495945050505050565b828054600181600116156101000203166002900490600052602060002090601f016020900481019282601f10613a7b57805160ff1916838001178555613aa8565b82800160010185558215613aa8579182015b82811115613aa8578251825591602001919060010190613a8d565b50613ab4929150613ab8565b5090565b5b80821115613ab45760008155600101613ab956fe45524332303a207472616e7366657220746f20746865207a65726f206164647265737345524332303a206275726e20616d6f756e7420657863656564732062616c616e636550726f706572746965733a20526f79616c74792070657263656e7461676520616c726561647920736574214f776e61626c653a206e6577206f776e657220697320746865207a65726f206164647265737345524332303a20617070726f766520746f20746865207a65726f206164647265737345524332303a207472616e7366657220616d6f756e7420657863656564732062616c616e636550726f706572746965733a205472616e73616374696f6e206d75737420636f6d652066726f6d2072656769737472792150726f70546f6b656e3a20417272617973206d757374206265206f662073616d65206c656e6774682150726f706572746965733a20436170206e6565647320746f20626520626967676572206f7220657175616c20746f20746f74616c20737570706c7950726f70546f6b656e3a205472616e73616374696f6e73206172652066726f7a656e50726f706572746965733a20596f75206e65656420746f2062652070726f7065727479206d616e6167657221536166654d6174683a206d756c7469706c69636174696f6e206f766572666c6f7750726f70546f6b656e3a2057616c6c6574206973206e6f742077686974656c697374656445524332303a207472616e7366657220616d6f756e74206578636565647320616c6c6f77616e636550726f70546f6b656e3a204f6e6c79206275726e20636f6e74726163742063616e206275726e20746f6b656e732066726f6d2075736572732150726f706572746965733a205468652073756d206f6620746865206361706974616c20737461636b206e6565647320746f2062652073616d65206173206d6178696d756d20737570706c79206f66204253505450726f70546f6b656e3a207472616e7366657220746f20746865207a65726f206164647265737345524332303a206275726e2066726f6d20746865207a65726f206164647265737350726f70546f6b656e3a204d696e74696e67206973206e6f7420656e61626c65642145524332303a207472616e736665722066726f6d20746865207a65726f206164647265737350726f70546f6b656e3a20436f6e7472616374206973206e6f742077686974656c697374656445524332303a20617070726f76652066726f6d20746865207a65726f206164647265737350726f70546f6b656e3a20796f7520646f6e27742068617665207065726d697373696f6e20746f206d696e7450726f70546f6b656e3a20796f7520646f6e27742068617665207065726d697373696f6e2150726f70546f6b656e3a207472616e736665722066726f6d20746865207a65726f206164647265737350726f70546f6b656e3a20596f75206e65656420746f20686176652073797374656d2061646d696e207269676874732150726f706572746965733a20526f79616c74792070657263656e74616765206d757374206265206c657373206f7220657175616c20746f20313030303045524332303a2064656372656173656420616c6c6f77616e63652062656c6f77207a65726fa2646970667358221220b02484519c7d2ceb3c983d1b5cff624f724c7534fa01b073450523cfe5abbf7d64736f6c634300060c0033

159:4461:5:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;4603:8;;;159:4461;;;;2822:242;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;;2822:242:5;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;;2822:242:5;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;2822:242:5;;;;;;;;-1:-1:-1;2822:242:5;;-1:-1:-1;;;;;2822:242:5;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;;2822:242:5;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;2822:242:5;;-1:-1:-1;2822:242:5;;-1:-1:-1;;;;;2822:242:5:i;:::-;;2191:81:2;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;4227:166;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;;;;;4227:166:2;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;3234:98;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;8180:189:4;;;;;;;;;;;;;:::i;3789:141:5:-;;;;;;;;;;;;;:::i;5084:310:4:-;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;;;;;5084:310:4;;;;;;;;;;;;;;;;;:::i;3093:81:2:-;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;10634:73:4;;;;;;;;;;;;;:::i;7876:246::-;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;7876:246:4;-1:-1:-1;;;;;7876:246:4;;:::i;5565:215:2:-;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;;;;;5565:215:2;;;;;;;;:::i;6743:238:4:-;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;;;;;6743:238:4;;;;;;;;:::i;10766:82::-;;;;;;;;;;;;;:::i;4377:103:5:-;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;7499:246:4;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;7499:246:4;-1:-1:-1;;;;;7499:246:4;;:::i;4281:93::-;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;4281:93:4;-1:-1:-1;;;;;4281:93:4;;:::i;10924:94::-;;;;;;;;;;;;;:::i;:::-;;;;-1:-1:-1;;;;;10924:94:4;;;;;;;;;;;;;;7237:131;;;;;;;;;;;;;:::i;3390:117:2:-;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;3390:117:2;-1:-1:-1;;;;;3390:117:2;;:::i;2908:145:4:-;;;;;;;;;;;;;:::i;11094:94::-;;;;;;;;;;;;;:::i;6552:185::-;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;;;;;6552:185:4;;;;;;;;;;;;;;;;;:::i;7045:127::-;;;;;;;;;;;;;:::i;2285:77::-;;;;;;;;;;;;;:::i;2385:85:2:-;;;;;;;;;;;;;:::i;3996:325:5:-;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;3117:285;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;3117:285:5;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;3117:285:5;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;3117:285:5;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;3117:285:5;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;3455:281;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;3455:281:5;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;3455:281:5;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;11249:145:4;;;;;;;;;;;;;:::i;6267:266:2:-;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;;;;;6267:266:2;;;;;;;;:::i;4624:169:4:-;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;;;;;4624:169:4;;;;;;;;:::i;1910:850:5:-;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;1910:850:5;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;3940:149:2:-;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;;;;;3940:149:2;;;;;;;;;;:::i;5550:804:4:-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;;5550:804:4;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;;5550:804:4;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;5550:804:4;;;;;;;;-1:-1:-1;5550:804:4;;-1:-1:-1;;;;;5550:804:4;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;;5550:804:4;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;5550:804:4;;-1:-1:-1;5550:804:4;;-1:-1:-1;;;;;5550:804:4:i;3202:240::-;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;3202:240:4;-1:-1:-1;;;;;3202:240:4;;:::i;1211:349:5:-;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;1211:349:5;;;;:::i;2822:242::-;2939:17;;-1:-1:-1;;;;;2939:17:5;2925:10;:31;2917:92;;;;-1:-1:-1;;;2917:92:5;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;3019:12;;;;:5;;:12;;;;;:::i;:::-;-1:-1:-1;3041:16:5;;;;:7;;:16;;;;;:::i;:::-;;2822:242;;:::o;2191:81:2:-;2260:5;2253:12;;;;;;;;-1:-1:-1;;2253:12:2;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;2228:13;;2253:12;;2260:5;;2253:12;;2260:5;2253:12;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;2191:81;:::o;4227:166::-;4310:4;4326:39;4335:12;:10;:12::i;:::-;4349:7;4358:6;4326:8;:39::i;:::-;-1:-1:-1;4382:4:2;4227:166;;;;;:::o;3234:98::-;3313:12;;3234:98;:::o;8180:189:4:-;8243:16;:14;:16::i;:::-;8226:81;;;-1:-1:-1;;;8226:81:4;;8281:10;8226:81;;;;8301:4;8226:81;;;;;;-1:-1:-1;;;;;8226:54:4;;;;;;;:81;;;;;;;;;;;;;;;:54;:81;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;8226:81:4;8218:119;;;;;-1:-1:-1;;;8218:119:4;;;;;;;;;;;;;;;;;;;;;;;;;;;;8347:8;:15;;-1:-1:-1;;;;8347:15:4;-1:-1:-1;;;8347:15:4;;;8180:189::o;3789:141:5:-;3882:17;;3865:58;;;-1:-1:-1;;;3865:58:5;;3917:4;3865:58;;;;;;3833:13;;-1:-1:-1;;;;;3882:17:5;;3865:43;;:58;;;;;3882:17;;3865:58;;;;;;;3882:17;3865:58;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;3865:58:5;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;;3865:58:5;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;;3865:58:5;;;;;;-1:-1:-1;3865:58:5;;;;;;;;;;-1:-1:-1;3865:58:5;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;3858:65;;3789:141;:::o;5084:310:4:-;5182:4;5198:115;5207:6;5215:10;5227:85;5261:6;5227:85;;;;;;;;;;;;;;;;;:29;5237:6;5245:10;5227:9;:29::i;:::-;:33;:85;:33;:85::i;:::-;5198:8;:115::i;:::-;5323:43;5340:6;5348:9;5359:6;5323:16;:43::i;:::-;-1:-1:-1;5383:4:4;5084:310;;;;;:::o;3093:81:2:-;3158:9;;;;3093:81;:::o;10634:73:4:-;10696:4;;10634:73;:::o;7876:246::-;3960:16;:14;:16::i;:::-;3943:81;;;-1:-1:-1;;;3943:81:4;;3998:10;3943:81;;;;4018:4;3943:81;;;;;;-1:-1:-1;;;;;3943:54:4;;;;;;;:81;;;;;;;;;;;;;;;:54;:81;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;3943:81:4;;:164;;;4059:16;:14;:16::i;:::-;-1:-1:-1;;;;;4042:50:4;;4101:4;4042:65;;;;;;;;;;;;;-1:-1:-1;;;;;4042:65:4;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;4042:65:4;-1:-1:-1;;;;;4028:79:4;:10;:79;3943:164;3935:226;;;;-1:-1:-1;;;3935:226:4;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;7981:16:::1;:14;:16::i;:::-;-1:-1:-1::0;;;;;7964:56:4::1;;8021:12;7964:70;;;;;;;;;;;;;-1:-1:-1::0;;;;;7964:70:4::1;;;;;;;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;::::0;::::1;;-1:-1:-1::0;7964:70:4;7956:121:::1;;;;-1:-1:-1::0;;;7956:121:4::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8087:13;:28:::0;;-1:-1:-1;;;;;;8087:28:4::1;-1:-1:-1::0;;;;;8087:28:4;;;::::1;::::0;;;::::1;::::0;;7876:246::o;5565:215:2:-;5653:4;5669:83;5678:12;:10;:12::i;:::-;5692:7;5701:50;5740:10;5701:11;:25;5713:12;:10;:12::i;:::-;-1:-1:-1;;;;;5701:25:2;;;;;;;;;;;;;;;;;-1:-1:-1;5701:25:2;;;:34;;;;;;;;;;;:38;:50::i;6743:238:4:-;6849:13;;6811:4;;-1:-1:-1;;;;;6849:13:4;6835:10;:27;6827:97;;;;-1:-1:-1;;;6827:97:4;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;6934:19;6940:4;6946:6;6934:5;:19::i;10766:82::-;10833:8;;-1:-1:-1;;;10833:8:4;;;;;10766:82::o;4377:103:5:-;4455:18;;;;4377:103;:::o;7499:246:4:-;3960:16;:14;:16::i;:::-;3943:81;;;-1:-1:-1;;;3943:81:4;;3998:10;3943:81;;;;4018:4;3943:81;;;;;;-1:-1:-1;;;;;3943:54:4;;;;;;;:81;;;;;;;;;;;;;;;:54;:81;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;3943:81:4;;:164;;;4059:16;:14;:16::i;:::-;-1:-1:-1;;;;;4042:50:4;;4101:4;4042:65;;;;;;;;;;;;;-1:-1:-1;;;;;4042:65:4;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;4042:65:4;-1:-1:-1;;;;;4028:79:4;:10;:79;3943:164;3935:226;;;;-1:-1:-1;;;3935:226:4;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;7604:16:::1;:14;:16::i;:::-;-1:-1:-1::0;;;;;7587:56:4::1;;7644:12;7587:70;;;;;;;;;;;;;-1:-1:-1::0;;;;;7587:70:4::1;;;;;;;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;::::0;::::1;;-1:-1:-1::0;7587:70:4;7579:121:::1;;;;-1:-1:-1::0;;;7579:121:4::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;7710:13;:28:::0;;-1:-1:-1;;;;;;7710:28:4::1;-1:-1:-1::0;;;;;7710:28:4;;;::::1;::::0;;;::::1;::::0;;7499:246::o;4281:93::-;3773:16;:14;:16::i;:::-;-1:-1:-1;;;;;3756:55:4;;3812:10;3756:67;;;;;;;;;;;;;-1:-1:-1;;;;;3756:67:4;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;3756:67:4;3748:128;;;;-1:-1:-1;;;3748:128:4;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;4350:6:::1;:17:::0;;-1:-1:-1;;;;;4350:17:4;;::::1;;;-1:-1:-1::0;;;;;;4350:17:4;;::::1;::::0;;;::::1;::::0;;4281:93::o;10924:94::-;10998:13;;-1:-1:-1;;;;;10998:13:4;10924:94;:::o;7237:131::-;3960:16;:14;:16::i;:::-;3943:81;;;-1:-1:-1;;;3943:81:4;;3998:10;3943:81;;;;4018:4;3943:81;;;;;;-1:-1:-1;;;;;3943:54:4;;;;;;;:81;;;;;;;;;;;;;;;:54;:81;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;3943:81:4;;:164;;;4059:16;:14;:16::i;:::-;-1:-1:-1;;;;;4042:50:4;;4101:4;4042:65;;;;;;;;;;;;;-1:-1:-1;;;;;4042:65:4;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;4042:65:4;-1:-1:-1;;;;;4028:79:4;:10;:79;3943:164;3935:226;;;;-1:-1:-1;;;3935:226:4;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;7312:16:::1;:14;:16::i;:::-;-1:-1:-1::0;;;;;7295:51:4::1;;7355:4;7295:66;;;;;;;;;;;;;-1:-1:-1::0;;;;;7295:66:4::1;;;;;;;;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;::::0;::::1;;;;;;;;;7237:131::o:0;3390:117:2:-;-1:-1:-1;;;;;3482:18:2;3456:7;3482:18;;;;;;;;;;;;3390:117::o;2908:145:4:-;2499:12;:10;:12::i;:::-;2489:6;;;;;-1:-1:-1;;;;;2489:6:4;;;:22;;;2481:67;;;;;-1:-1:-1;;;2481:67:4;;;;;;;;;;;;;;;;;;;;;;;;;;;;;2998:6:::1;::::0;2977:40:::1;::::0;3014:1:::1;::::0;2998:6:::1;::::0;::::1;-1:-1:-1::0;;;;;2998:6:4::1;::::0;2977:40:::1;::::0;3014:1;;2977:40:::1;3027:6;:19:::0;;-1:-1:-1;;;;;;3027:19:4::1;::::0;;2908:145::o;11094:94::-;11168:13;;-1:-1:-1;;;;;11168:13:4;11094:94;:::o;6552:185::-;6647:4;3773:16;:14;:16::i;:::-;-1:-1:-1;;;;;3756:55:4;;3812:10;3756:67;;;;;;;;;;;;;-1:-1:-1;;;;;3756:67:4;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;3756:67:4;3748:128;;;;-1:-1:-1;;;3748:128:4;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;6663:19:::1;6669:4;6675:6;6663:5;:19::i;:::-;6692:17;6698:2;6702:6;6692:5;:17::i;7045:127::-:0;3960:16;:14;:16::i;:::-;3943:81;;;-1:-1:-1;;;3943:81:4;;3998:10;3943:81;;;;4018:4;3943:81;;;;;;-1:-1:-1;;;;;3943:54:4;;;;;;;:81;;;;;;;;;;;;;;;:54;:81;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;3943:81:4;;:164;;;4059:16;:14;:16::i;:::-;-1:-1:-1;;;;;4042:50:4;;4101:4;4042:65;;;;;;;;;;;;;-1:-1:-1;;;;;4042:65:4;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;4042:65:4;-1:-1:-1;;;;;4028:79:4;:10;:79;3943:164;3935:226;;;;-1:-1:-1;;;3935:226:4;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;7118:16:::1;:14;:16::i;:::-;-1:-1:-1::0;;;;;7101:49:4::1;;7159:4;7101:64;;;;;;;;;;;;;-1:-1:-1::0;;;;;7101:64:4::1;;;;;;;;;;;;;;;;;;;;;;;;;::::0;::::1;2285:77:::0;2349:6;;;;;-1:-1:-1;;;;;2349:6:4;;2285:77::o;2385:85:2:-;2456:7;2449:14;;;;;;;;-1:-1:-1;;2449:14:2;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;2424:13;;2449:14;;2456:7;;2449:14;;2456:7;2449:14;;;;;;;;;;;;;;;;;;;;;;;;3996:325:5;4198:4;;4212:13;;4235:16;;4261:10;;4281:11;;4302;;3996:325;;;;;;:::o;3117:285::-;3339:17;;3322:73;;;-1:-1:-1;;;3322:73:5;;3382:4;3322:73;;;;;;;;;;;;;3173:26;;;;;;;;3284:19;;-1:-1:-1;;;;;3339:17:5;;;;3322:51;;:73;;;;;3284:19;;3322:73;;;;;;;;3339:17;3322:73;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;3322:73:5;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;;3322:73:5;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;;3322:73:5;;;;;;-1:-1:-1;3322:73:5;;;;;;;;;;-1:-1:-1;3322:73:5;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;;3322:73:5;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;;3322:73:5;;;;;;-1:-1:-1;3322:73:5;;;;;;;;;;-1:-1:-1;3322:73:5;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;;3322:73:5;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;;3322:73:5;;;;;;-1:-1:-1;3322:73:5;;;;;;;;;;-1:-1:-1;3322:73:5;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;;3322:73:5;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;;3322:73:5;;;;;;-1:-1:-1;3322:73:5;;;;;;;;;;-1:-1:-1;3322:73:5;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;3322:73:5;;;;;3315:80;;;;-1:-1:-1;3315:80:5;;-1:-1:-1;3315:80:5;;-1:-1:-1;3322:73:5;;-1:-1:-1;3117:285:5;;-1:-1:-1;;;;3117:285:5:o;3455:281::-;3683:17;;3666:63;;;-1:-1:-1;;;3666:63:5;;3723:4;3666:63;;;;;;3500:28;;;;3557:25;;;;3500:28;;-1:-1:-1;;;;;3683:17:5;;;;3666:48;;:63;;;;;3557:25;;3666:63;;;;;;;;3683:17;3666:63;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;3666:63:5;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;;3666:63:5;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;;3666:63:5;;;;;;-1:-1:-1;3666:63:5;;;;;;;;;;-1:-1:-1;3666:63:5;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;;3666:63:5;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;;3666:63:5;;;;;;-1:-1:-1;3666:63:5;;;;;;;;;;-1:-1:-1;3666:63:5;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;3666:63:5;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;;3666:63:5;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;;3666:63:5;;;;;;-1:-1:-1;3666:63:5;;;;;;;;;;-1:-1:-1;3666:63:5;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;3659:70;;;;;;;;;;3455:281;;;;;:::o;11249:145:4:-;11303:7;11346:16;:14;:16::i;:::-;-1:-1:-1;;;;;11329:56:4;;:58;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;11329:58:4;;-1:-1:-1;11249:145:4;:::o;6267:266:2:-;6360:4;6376:129;6385:12;:10;:12::i;:::-;6399:7;6408:96;6447:15;6408:96;;;;;;;;;;;;;;;;;:11;:25;6420:12;:10;:12::i;:::-;-1:-1:-1;;;;;6408:25:2;;;;;;;;;;;;;;;;;-1:-1:-1;6408:25:2;;;:34;;;;;;;;;;;:96;:38;:96::i;4624:169:4:-;4702:4;4718:47;4735:10;4747:9;4758:6;4718:16;:47::i;1910:850:5:-;485:16;:14;:16::i;:::-;-1:-1:-1;;;;;468:50:5;;519:12;:10;:12::i;:::-;541:4;468:79;;;;;;;;;;;;;-1:-1:-1;;;;;468:79:5;;;;;;-1:-1:-1;;;;;468:79:5;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;468:79:5;;:152;;;584:16;:14;:16::i;:::-;-1:-1:-1;;;;;567:51:5;;:53;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;567:53:5;-1:-1:-1;;;;;551:69:5;:12;:10;:12::i;:::-;-1:-1:-1;;;;;551:69:5;;468:152;460:209;;;;-1:-1:-1;;;460:209:5;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;2121:89:::1;2199:10:::0;2121:73:::1;2183:10:::0;2121:73;2168:9;2121:73;2147:15;2121:73;:3;2129:12;2121:7:::1;:21::i;:::-;:25:::0;::::1;:42::i;:89::-;2214:16;2121:109;2113:217;;;;-1:-1:-1::0;;;2113:217:5::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;2355:13;:11;:13::i;:::-;2348:3;:20;;2340:92;;;;-1:-1:-1::0;;;2340:92:5::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;2442:4;:10:::0;;;2462:13:::1;:28:::0;;;2500:16:::1;:34:::0;;;2544:10:::1;:22:::0;;;2576:11:::1;:24:::0;;;2610:11:::1;:24:::0;;;2649:104:::1;::::0;;;;;::::1;::::0;::::1;::::0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;2676:4:::1;::::0;2649:104:::1;::::0;;;;;;;;::::1;1910:850:::0;;;;;;:::o;3940:149:2:-;-1:-1:-1;;;;;4055:18:2;;;4029:7;4055:18;;;:11;:18;;;;;;;;:27;;;;;;;;;;;;;3940:149::o;5550:804:4:-;5657:8;;5633:4;;-1:-1:-1;;;5657:8:4;;;;5649:55;;;;-1:-1:-1;;;5649:55:4;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;5739:16;:14;:16::i;:::-;5722:81;;;-1:-1:-1;;;5722:81:4;;5777:10;5722:81;;;;5797:4;5722:81;;;;;;-1:-1:-1;;;;;5722:54:4;;;;;;;:81;;;;;;;;;;;;;;;:54;:81;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;5722:81:4;;:112;;-1:-1:-1;5807:13:4;;-1:-1:-1;;;;;5807:13:4;5824:10;5807:27;5722:112;5714:169;;;;-1:-1:-1;;;5714:169:4;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;5920:7;:14;5901:8;:15;:33;5893:87;;;;-1:-1:-1;;;5893:87:4;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;5995:9;5990:337;6014:8;:15;6010:1;:19;5990:337;;;6091:4;;6058:29;6076:7;6084:1;6076:10;;;;;;;;;;;;;;6058:13;:11;:13::i;:29::-;:37;;6050:73;;;;;-1:-1:-1;;;6050:73:4;;;;;;;;;;;;;;;;;;;;;;;;;;;;6162:16;:14;:16::i;:::-;-1:-1:-1;;;;;6145:58:4;;6204:8;6213:1;6204:11;;;;;;;;;;;;;;6225:4;6145:86;;;;;;;;;;;;;-1:-1:-1;;;;;6145:86:4;;;;;;-1:-1:-1;;;;;6145:86:4;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;6145:86:4;6137:135;;;;-1:-1:-1;;;6137:135:4;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;6286:30;6292:8;6301:1;6292:11;;;;;;;;;;;;;;6305:7;6313:1;6305:10;;;;;;;;;;;;;;6286:5;:30::i;:::-;6031:3;;5990:337;;3202:240;2499:12;:10;:12::i;:::-;2489:6;;;;;-1:-1:-1;;;;;2489:6:4;;;:22;;;2481:67;;;;;-1:-1:-1;;;2481:67:4;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;;;;3290:22:4;::::1;3282:73;;;;-1:-1:-1::0;;;3282:73:4::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;3391:6;::::0;3370:38:::1;::::0;-1:-1:-1;;;;;3370:38:4;;::::1;::::0;3391:6:::1;::::0;::::1;;::::0;3370:38:::1;::::0;;;::::1;3418:6;:17:::0;;-1:-1:-1;;;;;3418:17:4;;::::1;;;-1:-1:-1::0;;;;;;3418:17:4;;::::1;::::0;;;::::1;::::0;;3202:240::o;1211:349:5:-;485:16;:14;:16::i;:::-;-1:-1:-1;;;;;468:50:5;;519:12;:10;:12::i;:::-;541:4;468:79;;;;;;;;;;;;;-1:-1:-1;;;;;468:79:5;;;;;;-1:-1:-1;;;;;468:79:5;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;468:79:5;;:152;;;584:16;:14;:16::i;:::-;-1:-1:-1;;;;;567:51:5;;:53;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;567:53:5;-1:-1:-1;;;;;551:69:5;:12;:10;:12::i;:::-;-1:-1:-1;;;;;551:69:5;;468:152;460:209;;;;-1:-1:-1;;;460:209:5;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;1323:18:::1;::::0;::::1;;:23:::0;1315:79:::1;;;;-1:-1:-1::0;;;1315:79:5::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;1412:18;::::0;1434:5:::1;1412:18;::::0;;::::1;:27;;1404:101;;;;-1:-1:-1::0;;;1404:101:5::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;1515:18;:38:::0;;-1:-1:-1;;1515:38:5::1;;::::0;;;::::1;::::0;;;::::1;::::0;;1211:349::o;590:104:1:-;677:10;590:104;:::o;9329:340:2:-;-1:-1:-1;;;;;9430:19:2;;9422:68;;;;-1:-1:-1;;;9422:68:2;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;;;;9508:21:2;;9500:68;;;;-1:-1:-1;;;9500:68:2;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;;;;9579:18:2;;;;;;;:11;:18;;;;;;;;:27;;;;;;;;;;;;;:36;;;9630:32;;;;;;;;;;;;;;;;;9329:340;;;:::o;10430:132:4:-;10522:17;;10505:50;;;-1:-1:-1;;;10505:50:4;;;;10479:7;;-1:-1:-1;;;;;10522:17:4;;10505:48;;:50;;;;;;;;;;;;;;10522:17;10505:50;;;;;;;;;;1746:187:6;1832:7;1867:12;1859:6;;;;1851:29;;;;-1:-1:-1;;;1851:29:6;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;;1902:5:6;;;1746:187::o;8375:1336:4:-;-1:-1:-1;;;;;8479:20:4;;8471:74;;;;-1:-1:-1;;;8471:74:4;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;;;;8563:23:4;;8555:75;;;;-1:-1:-1;;;8555:75:4;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8666:16;:14;:16::i;:::-;-1:-1:-1;;;;;8649:52:4;;8710:4;8649:67;;;;;;;;;;;;;-1:-1:-1;;;;;8649:67:4;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;8649:67:4;8648:68;8640:115;;;;-1:-1:-1;;;8640:115:4;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8765:19;8804:16;:14;:16::i;:::-;-1:-1:-1;;;;;8787:56:4;;:58;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;8787:58:4;;-1:-1:-1;8855:10:4;8885:16;:14;:16::i;:::-;-1:-1:-1;;;;;8868:50:4;;8927:4;8868:65;;;;;;;;;;;;;-1:-1:-1;;;;;8868:65:4;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;8868:65:4;;-1:-1:-1;8965:16:4;:14;:16::i;:::-;-1:-1:-1;;;;;8948:55:4;;9004:6;8948:63;;;;;;;;;;;;;-1:-1:-1;;;;;8948:63:4;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;8948:63:4;;:103;;;9028:23;:21;:23::i;:::-;-1:-1:-1;;;;;9015:36:4;:9;-1:-1:-1;;;;;9015:36:4;;8948:103;:133;;;-1:-1:-1;9068:13:4;;-1:-1:-1;;;;;9055:26:4;;;9068:13;;9055:26;8948:133;8944:761;;;9097:36;9107:6;9115:9;9126:6;9097:9;:36::i;:::-;8944:761;;;9175:11;-1:-1:-1;;;;;9162:24:4;:9;-1:-1:-1;;;;;9162:24:4;;:43;;;;9203:2;-1:-1:-1;;;;;9190:15:4;:9;-1:-1:-1;;;;;9190:15:4;;9162:43;:67;;;;9222:7;:5;:7::i;:::-;-1:-1:-1;;;;;9209:20:4;:9;-1:-1:-1;;;;;9209:20:4;;9162:67;9158:547;;;9245:36;9255:6;9263:9;9274:6;9245:9;:36::i;9158:547::-;9345:16;:14;:16::i;:::-;-1:-1:-1;;;;;9328:58:4;;9387:9;9406:4;9328:84;;;;;;;;;;;;;-1:-1:-1;;;;;9328:84:4;;;;;;-1:-1:-1;;;;;9328:84:4;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;9328:84:4;9320:129;;;;;-1:-1:-1;;;9320:129:4;;;;;;;;;;;;;;;;;;;;;;;;;;;;;9477:11;-1:-1:-1;;;;;9467:21:4;:6;-1:-1:-1;;;;;9467:21:4;;:37;;;;9502:2;-1:-1:-1;;;;;9492:12:4;:6;-1:-1:-1;;;;;9492:12:4;;9467:37;:58;;;;9518:7;:5;:7::i;:::-;-1:-1:-1;;;;;9508:17:4;:6;-1:-1:-1;;;;;9508:17:4;;9467:58;9463:232;;;9545:36;9555:6;9563:9;9574:6;9545:9;:36::i;9463:232::-;9632:48;9637:6;9645:9;9656:6;9664:11;9677:2;9632:4;:48::i;:::-;8375:1336;;;;;:::o;874:176:6:-;932:7;963:5;;;986:6;;;;978:46;;;;;-1:-1:-1;;;978:46:6;;;;;;;;;;;;;;;;;;;;;;;;;;;;1042:1;874:176;-1:-1:-1;;;874:176:6:o;8496:410:2:-;-1:-1:-1;;;;;8579:21:2;;8571:67;;;;-1:-1:-1;;;8571:67:2;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8649:49;8670:7;8687:1;8691:6;8649:20;:49::i;:::-;8730:68;8753:6;8730:68;;;;;;;;;;;;;;;;;-1:-1:-1;;;;;8730:18:2;;:9;:18;;;;;;;;;;;;:68;:22;:68::i;:::-;-1:-1:-1;;;;;8709:18:2;;:9;:18;;;;;;;;;;:89;8823:12;;:24;;8840:6;8823:16;:24::i;:::-;8808:12;:39;8862:37;;;;;;;;8888:1;;-1:-1:-1;;;;;8862:37:2;;;;;;;;;;;;8496:410;;:::o;7807:370::-;-1:-1:-1;;;;;7890:21:2;;7882:65;;;;;-1:-1:-1;;;7882:65:2;;;;;;;;;;;;;;;;;;;;;;;;;;;;7958:49;7987:1;7991:7;8000:6;7958:20;:49::i;:::-;8033:12;;:24;;8050:6;8033:16;:24::i;:::-;8018:12;:39;-1:-1:-1;;;;;8088:18:2;;:9;:18;;;;;;;;;;;:30;;8111:6;8088:22;:30::i;:::-;-1:-1:-1;;;;;8067:18:2;;:9;:18;;;;;;;;;;;:51;;;;8133:37;;;;;;;8067:18;;:9;;8133:37;;;;;;;;;;7807:370;;:::o;7007:530::-;-1:-1:-1;;;;;7112:20:2;;7104:70;;;;-1:-1:-1;;;7104:70:2;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;;;;7192:23:2;;7184:71;;;;-1:-1:-1;;;7184:71:2;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;7266:47;7287:6;7295:9;7306:6;7266:20;:47::i;:::-;7344:71;7366:6;7344:71;;;;;;;;;;;;;;;;;-1:-1:-1;;;;;7344:17:2;;:9;:17;;;;;;;;;;;;:71;:21;:71::i;:::-;-1:-1:-1;;;;;7324:17:2;;;:9;:17;;;;;;;;;;;:91;;;;7448:20;;;;;;;:32;;7473:6;7448:24;:32::i;:::-;-1:-1:-1;;;;;7425:20:2;;;:9;:20;;;;;;;;;;;;:55;;;;7495:35;;;;;;;7425:20;;7495:35;;;;;;;;;;;;;7007:530;;;:::o;9717:707:4:-;9833:22;9858:78;9931:4;9859:66;9887:16;:14;:16::i;:::-;-1:-1:-1;;;;;9870:52:4;;:54;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;9870:54:4;9859:6;;:10;:66::i;:::-;9858:72;;:78::i;:::-;9833:103;;9946:13;9962:81;10038:4;9963:69;9991:16;:14;:16::i;:::-;-1:-1:-1;;;;;9974:55:4;;:57;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;9974:57:4;9963:6;;:10;:69::i;9962:81::-;9946:97;;10053:13;10069:83;10147:4;10070:71;10098:16;:14;:16::i;:::-;-1:-1:-1;;;;;10081:57:4;;:59;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;10081:59:4;10070:6;;:10;:71::i;10069:83::-;10053:99;-1:-1:-1;10163:16:4;10182:36;10053:99;10182:25;:14;10201:5;10182:18;:25::i;:36::-;10163:55;;10229:46;10239:6;10247:11;10260:14;10229:9;:46::i;:::-;10285:28;10295:6;10303:2;10307:5;10285:9;:28::i;:::-;10323:33;10333:6;10341:7;:5;:7::i;:::-;10350:5;10323:9;:33::i;:::-;10367:50;10377:6;10385:9;10396:20;:6;10407:8;10396:10;:20::i;:::-;10367:9;:50::i;:::-;9717:707;;;;;;;;;:::o;1321:134:6:-;1379:7;1405:43;1409:1;1412;1405:43;;;;;;;;;;;;;;;;;:3;:43::i;2180:459::-;2238:7;2479:6;2475:45;;-1:-1:-1;2508:1:6;2501:8;;2475:45;2542:5;;;2546:1;2542;:5;:1;2565:5;;;;;:10;2557:56;;;;-1:-1:-1;;;2557:56:6;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;3101:130;3159:7;3185:39;3189:1;3192;3185:39;;;;;;;;;;;;;;;;;3799:7;3833:12;3826:5;3818:28;;;;-1:-1:-1;;;3818:28:6;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;3856:9;3872:1;3868;:5;;;;;;;3713:272;-1:-1:-1;;;;;3713:272:6:o;-1:-1:-1:-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;:::o;:::-;;;;;;;;;;;;;;

ipfs://b02484519c7d2ceb3c983d1b5cff624f724c7534fa01b073450523cfe5abbf7d