Contract Source Code (Solidity)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta
• Remix IDE

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

/**
 *Submitted for verification at Etherscan.io on 2023-08-03
*/

// File: contracts/zeppelin/SafeMath.sol

pragma solidity ^0.4.24;


/**
 * @title SafeMath
 * @dev Math operations with safety checks that throw on error
 */
library SafeMath {
    /**
    * @dev Subtracts two numbers, reverts on overflow (i.e. if subtrahend is greater than minuend).
    */
    function sub(uint256 a, uint256 b) internal pure returns (uint256) {
        require(b <= a);
        uint256 c = a - b;

        return c;
    }

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

        return c;
    }
}

// File: contracts/XYZImplementation.sol

pragma solidity ^0.4.24;
pragma experimental "v0.5.0";



/**
 * @title XYZImplementation
 * @dev this contract is a Pausable ERC20 token with Burn and Mint
 * controlled by a central SupplyController. By implementing XYZImplementation
 * this contract also includes external methods for setting
 * a new implementation contract for the Proxy.
 * NOTE: The storage defined here will actually be held in the Proxy
 * contract and all calls to this contract should be made through
 * the proxy, including admin actions done as owner or supplyController.
 * Any call to transfer against this contract should fail
 * with insufficient funds since no tokens will be issued there.
 */
contract XYZImplementation {

    /**
     * MATH
     */

    using SafeMath for uint256;

    /**
     * DATA
     */

    // INITIALIZATION DATA
    bool private initialized;

    // ERC20 BASIC DATA
    mapping(address => uint256) internal balances;
    uint256 internal totalSupply_;
    string public constant name = "Hopper USD"; // solium-disable-line
    string public constant symbol = "XYZ"; // solium-disable-line uppercase
    uint8 public constant decimals = 6; // solium-disable-line uppercase

    // ERC20 DATA
    mapping(address => mapping(address => uint256)) internal allowed;

    // OWNER DATA PART 1
    address public owner;

    // PAUSABILITY DATA
    bool public paused;

    // ASSET PROTECTION DATA
    address public assetProtectionRole;
    mapping(address => bool) internal frozen;

    // SUPPLY CONTROL DATA
    address public supplyController;

    // OWNER DATA PART 2
    address public proposedOwner;

    // DELEGATED TRANSFER DATA
    address public betaDelegateWhitelister;
    mapping(address => bool) internal betaDelegateWhitelist;
    mapping(address => uint256) internal nextSeqs;
    // EIP191 header for EIP712 prefix
    string constant internal EIP191_HEADER = "\x19\x01";
    // Hash of the EIP712 Domain Separator Schema
    bytes32 constant internal EIP712_DOMAIN_SEPARATOR_SCHEMA_HASH = keccak256(
        "EIP712Domain(string name,address verifyingContract)"
    );
    bytes32 constant internal EIP712_DELEGATED_TRANSFER_SCHEMA_HASH = keccak256(
        "BetaDelegatedTransfer(address to,uint256 value,uint256 fee,uint256 seq,uint256 deadline)"
    );
    // Hash of the EIP712 Domain Separator data
    // solhint-disable-next-line var-name-mixedcase
    bytes32 public EIP712_DOMAIN_HASH;

    /**
     * EVENTS
     */

    // ERC20 BASIC EVENTS
    event Transfer(address indexed from, address indexed to, uint256 value);

    // ERC20 EVENTS
    event Approval(
        address indexed owner,
        address indexed spender,
        uint256 value
    );

    // OWNABLE EVENTS
    event OwnershipTransferProposed(
        address indexed currentOwner,
        address indexed proposedOwner
    );
    event OwnershipTransferDisregarded(
        address indexed oldProposedOwner
    );
    event OwnershipTransferred(
        address indexed oldOwner,
        address indexed newOwner
    );

    // PAUSABLE EVENTS
    event Pause();
    event Unpause();

    // ASSET PROTECTION EVENTS
    event AddressFrozen(address indexed addr);
    event AddressUnfrozen(address indexed addr);
    event FrozenAddressWiped(address indexed addr);
    event AssetProtectionRoleSet (
        address indexed oldAssetProtectionRole,
        address indexed newAssetProtectionRole
    );

    // SUPPLY CONTROL EVENTS
    event SupplyIncreased(address indexed to, uint256 value);
    event SupplyDecreased(address indexed from, uint256 value);
    event SupplyControllerSet(
        address indexed oldSupplyController,
        address indexed newSupplyController
    );

    // DELEGATED TRANSFER EVENTS
    event BetaDelegatedTransfer(
        address indexed from, address indexed to, uint256 value, uint256 seq, uint256 fee
    );
    event BetaDelegateWhitelisterSet(
        address indexed oldWhitelister,
        address indexed newWhitelister
    );
    event BetaDelegateWhitelisted(address indexed newDelegate);
    event BetaDelegateUnwhitelisted(address indexed oldDelegate);

    /**
     * FUNCTIONALITY
     */

    // INITIALIZATION FUNCTIONALITY

    /**
     * @dev sets 0 initials tokens, the owner, and the supplyController.
     * this serves as the constructor for the proxy but compiles to the
     * memory model of the Implementation contract.
     */
    function initialize() public {
        require(!initialized, "MANDATORY VERIFICATION REQUIRED: The proxy has already been initialized, verify the owner and supply controller addresses.");
        owner = msg.sender;
        assetProtectionRole = address(0);
        totalSupply_ = 0;
        supplyController = msg.sender;
        initializeDomainSeparator();
        initialized = true;
    }

    /**
     * The constructor is used here to ensure that the implementation
     * contract is initialized. An uncontrolled implementation
     * contract might lead to misleading state
     * for users who accidentally interact with it.
     */
    constructor() public {
        initialize();
        pause();
    }

    /**
     * @dev To be called when upgrading the contract using upgradeAndCall to add delegated transfers
     */
    function initializeDomainSeparator() private {
        // hash the name context with the contract address
        EIP712_DOMAIN_HASH = keccak256(abi.encodePacked(// solium-disable-line
                EIP712_DOMAIN_SEPARATOR_SCHEMA_HASH,
                keccak256(bytes(name)),
                bytes32(address(this))
            ));
    }

    // ERC20 BASIC FUNCTIONALITY

    /**
    * @dev Total number of tokens in existence
    */
    function totalSupply() public view returns (uint256) {
        return totalSupply_;
    }

    /**
    * @dev Transfer token to a specified address from msg.sender
    * Note: the use of Safemath ensures that _value is nonnegative.
    * @param _to The address to transfer to.
    * @param _value The amount to be transferred.
    */
    function transfer(address _to, uint256 _value) public whenNotPaused returns (bool) {
        require(_to != address(0), "cannot transfer to address zero");
        require(!frozen[_to] && !frozen[msg.sender], "address frozen");
        require(_value <= balances[msg.sender], "insufficient funds");

        balances[msg.sender] = balances[msg.sender].sub(_value);
        balances[_to] = balances[_to].add(_value);
        emit Transfer(msg.sender, _to, _value);
        return true;
    }

    /**
    * @dev Gets the balance of the specified address.
    * @param _addr The address to query the the balance of.
    * @return An uint256 representing the amount owned by the passed address.
    */
    function balanceOf(address _addr) public view returns (uint256) {
        return balances[_addr];
    }

    // ERC20 FUNCTIONALITY

    /**
     * @dev Transfer tokens from one address to another
     * @param _from address The address which you want to send tokens from
     * @param _to address The address which you want to transfer to
     * @param _value uint256 the amount of tokens to be transferred
     */
    function transferFrom(
        address _from,
        address _to,
        uint256 _value
    )
    public
    whenNotPaused
    returns (bool)
    {
        require(_to != address(0), "cannot transfer to address zero");
        require(!frozen[_to] && !frozen[_from] && !frozen[msg.sender], "address frozen");
        require(_value <= balances[_from], "insufficient funds");
        require(_value <= allowed[_from][msg.sender], "insufficient allowance");

        balances[_from] = balances[_from].sub(_value);
        balances[_to] = balances[_to].add(_value);
        allowed[_from][msg.sender] = allowed[_from][msg.sender].sub(_value);
        emit Transfer(_from, _to, _value);
        return true;
    }

    /**
     * @dev Approve the passed address to spend the specified amount of tokens on behalf of msg.sender.
     * Beware that changing an allowance with this method brings the risk that someone may use both the old
     * and the new allowance by unfortunate transaction ordering. One possible solution to mitigate this
     * race condition is to first reduce the spender's allowance to 0 and set the desired value afterwards:
     * https://github.com/ethereum/EIPs/issues/20#issuecomment-263524729
     * @param _spender The address which will spend the funds.
     * @param _value The amount of tokens to be spent.
     */
    function approve(address _spender, uint256 _value) public whenNotPaused returns (bool) {
        require(!frozen[_spender] && !frozen[msg.sender], "address frozen");
        allowed[msg.sender][_spender] = _value;
        emit Approval(msg.sender, _spender, _value);
        return true;
    }

    /**
     * @dev Increase the amount of tokens that an owner allowed to a spender.
     *
     * To increment allowed value is better to use this function to avoid 2 calls (and wait until the first transaction
     * is mined) instead of approve.
     * @param _spender The address which will spend the funds.
     * @param _addedValue The amount of tokens to increase the allowance by.
     */
    function increaseApproval(address _spender, uint _addedValue) public whenNotPaused returns (bool) {
        require(!frozen[_spender] && !frozen[msg.sender], "address frozen");
        allowed[msg.sender][_spender] = allowed[msg.sender][_spender].add(_addedValue);
        emit Approval(msg.sender, _spender, allowed[msg.sender][_spender]);
        return true;
    }

    /**
     * @dev Decrease the amount of tokens that an owner allowed to a spender.
     *
     * To decrement allowed value is better to use this function to avoid 2 calls (and wait until the first transaction
     * is mined) instead of approve.
     * @param _spender The address which will spend the funds.
     * @param _subtractedValue The amount of tokens to decrease the allowance by.
     */
    function decreaseApproval(address _spender, uint _subtractedValue) public whenNotPaused returns (bool) {
        require(!frozen[_spender] && !frozen[msg.sender], "address frozen");
        uint oldValue = allowed[msg.sender][_spender];
        if (_subtractedValue > oldValue) {
            allowed[msg.sender][_spender] = 0;
        } else {
            allowed[msg.sender][_spender] = oldValue.sub(_subtractedValue);
        }
        emit Approval(msg.sender, _spender, allowed[msg.sender][_spender]);
        return true;
    }

    /**
     * @dev Function to check the amount of tokens that an owner allowed to a spender.
     * @param _owner address The address which owns the funds.
     * @param _spender address The address which will spend the funds.
     * @return A uint256 specifying the amount of tokens still available for the spender.
     */
    function allowance(
        address _owner,
        address _spender
    )
    public
    view
    returns (uint256)
    {
        return allowed[_owner][_spender];
    }

    // OWNER FUNCTIONALITY

    /**
     * @dev Throws if called by any account other than the owner.
     */
    modifier onlyOwner() {
        require(msg.sender == owner, "onlyOwner");
        _;
    }

    /**
         * @dev Allows the current owner to begin transferring control of the contract to a proposedOwner
         * @param _proposedOwner The address to transfer ownership to.
         */
    function proposeOwner(address _proposedOwner) public onlyOwner {
        require(_proposedOwner != address(0), "cannot transfer ownership to address zero");
        require(msg.sender != _proposedOwner, "caller already is owner");
        proposedOwner = _proposedOwner;
        emit OwnershipTransferProposed(owner, proposedOwner);
    }
    /**
     * @dev Allows the current owner or proposed owner to cancel transferring control of the contract to a proposedOwner
     */
    function disregardProposeOwner() public {
        require(msg.sender == proposedOwner || msg.sender == owner, "only proposedOwner or owner");
        require(proposedOwner != address(0), "can only disregard a proposed owner that was previously set");
        address _oldProposedOwner = proposedOwner;
        proposedOwner = address(0);
        emit OwnershipTransferDisregarded(_oldProposedOwner);
    }
    /**
     * @dev Allows the proposed owner to complete transferring control of the contract to the proposedOwner.
     */
    function claimOwnership() public {
        require(msg.sender == proposedOwner, "onlyProposedOwner");
        address _oldOwner = owner;
        owner = proposedOwner;
        proposedOwner = address(0);
        emit OwnershipTransferred(_oldOwner, owner);
    }

    /**
     * @dev Reclaim all XYZ at the contract address.
     * This sends the XYZ tokens that this contract add holding to the owner.
     * Note: this is not affected by freeze constraints.
     */
    function reclaimXYZ() external onlyOwner {
        uint256 _balance = balances[this];
        balances[this] = 0;
        balances[owner] = balances[owner].add(_balance);
        emit Transfer(this, owner, _balance);
    }

    // PAUSABILITY FUNCTIONALITY

    /**
     * @dev Modifier to make a function callable only when the contract is not paused.
     */
    modifier whenNotPaused() {
        require(!paused, "whenNotPaused");
        _;
    }

    /**
     * @dev called by the owner to pause, triggers stopped state
     */
    function pause() public onlyOwner {
        require(!paused, "already paused");
        paused = true;
        emit Pause();
    }

    /**
     * @dev called by the owner to unpause, returns to normal state
     */
    function unpause() public onlyOwner {
        require(paused, "already unpaused");
        paused = false;
        emit Unpause();
    }

    // ASSET PROTECTION FUNCTIONALITY

    /**
     * @dev Sets a new asset protection role address.
     * @param _newAssetProtectionRole The new address allowed to freeze/unfreeze addresses and seize their tokens.
     */
    function setAssetProtectionRole(address _newAssetProtectionRole) public {
        require(msg.sender == assetProtectionRole || msg.sender == owner, "only assetProtectionRole or Owner");
        require(assetProtectionRole != _newAssetProtectionRole, "new address is same as a current one");
        emit AssetProtectionRoleSet(assetProtectionRole, _newAssetProtectionRole);
        assetProtectionRole = _newAssetProtectionRole;
    }

    modifier onlyAssetProtectionRole() {
        require(msg.sender == assetProtectionRole, "onlyAssetProtectionRole");
        _;
    }

    /**
     * @dev Freezes an address balance from being transferred.
     * @param _addr The new address to freeze.
     */
    function freeze(address _addr) public onlyAssetProtectionRole {
        require(!frozen[_addr], "address already frozen");
        frozen[_addr] = true;
        emit AddressFrozen(_addr);
    }

    /**
     * @dev Unfreezes an address balance allowing transfer.
     * @param _addr The new address to unfreeze.
     */
    function unfreeze(address _addr) public onlyAssetProtectionRole {
        require(frozen[_addr], "address already unfrozen");
        frozen[_addr] = false;
        emit AddressUnfrozen(_addr);
    }

    /**
     * @dev Wipes the balance of a frozen address, and burns the tokens.
     * @param _addr The new frozen address to wipe.
     */
    function wipeFrozenAddress(address _addr) public onlyAssetProtectionRole {
        require(frozen[_addr], "address is not frozen");
        uint256 _balance = balances[_addr];
        balances[_addr] = 0;
        totalSupply_ = totalSupply_.sub(_balance);
        emit FrozenAddressWiped(_addr);
        emit SupplyDecreased(_addr, _balance);
        emit Transfer(_addr, address(0), _balance);
    }

    /**
    * @dev Gets whether the address is currently frozen.
    * @param _addr The address to check if frozen.
    * @return A bool representing whether the given address is frozen.
    */
    function isFrozen(address _addr) public view returns (bool) {
        return frozen[_addr];
    }

    // SUPPLY CONTROL FUNCTIONALITY

    /**
     * @dev Sets a new supply controller address.
     * @param _newSupplyController The address allowed to burn/mint tokens to control supply.
     */
    function setSupplyController(address _newSupplyController) public {
        require(msg.sender == supplyController || msg.sender == owner, "only SupplyController or Owner");
        require(_newSupplyController != address(0), "cannot set supply controller to address zero");
        require(supplyController != _newSupplyController, "new address is same as a current one");
        emit SupplyControllerSet(supplyController, _newSupplyController);
        supplyController = _newSupplyController;
    }

    modifier onlySupplyController() {
        require(msg.sender == supplyController, "onlySupplyController");
        _;
    }

    /**
     * @dev Increases the total supply by minting the specified number of tokens to the supply controller account.
     * @param _value The number of tokens to add.
     * @return A boolean that indicates if the operation was successful.
     */
    function increaseSupply(uint256 _value) public onlySupplyController returns (bool success) {
        totalSupply_ = totalSupply_.add(_value);
        balances[supplyController] = balances[supplyController].add(_value);
        emit SupplyIncreased(supplyController, _value);
        emit Transfer(address(0), supplyController, _value);
        return true;
    }

    /**
     * @dev Decreases the total supply by burning the specified number of tokens from the supply controller account.
     * @param _value The number of tokens to remove.
     * @return A boolean that indicates if the operation was successful.
     */
    function decreaseSupply(uint256 _value) public onlySupplyController returns (bool success) {
        require(_value <= balances[supplyController], "not enough supply");
        balances[supplyController] = balances[supplyController].sub(_value);
        totalSupply_ = totalSupply_.sub(_value);
        emit SupplyDecreased(supplyController, _value);
        emit Transfer(supplyController, address(0), _value);
        return true;
    }

    // DELEGATED TRANSFER FUNCTIONALITY

    /**
     * @dev returns the next seq for a target address.
     * The transactor must submit nextSeqOf(transactor) in the next transaction for it to be valid.
     * Note: that the seq context is specific to this smart contract.
     * @param target The target address.
     * @return the seq.
     */
    //
    function nextSeqOf(address target) public view returns (uint256) {
        return nextSeqs[target];
    }

    /**
     * @dev Performs a transfer on behalf of the from address, identified by its signature on the delegatedTransfer msg.
     * Splits a signature byte array into r,s,v for convenience.
     * @param sig the signature of the delgatedTransfer msg.
     * @param to The address to transfer to.
     * @param value The amount to be transferred.
     * @param fee an optional ERC20 fee paid to the executor of betaDelegatedTransfer by the from address.
     * @param seq a sequencing number included by the from address specific to this contract to protect from replays.
     * @param deadline a block number after which the pre-signed transaction has expired.
     * @return A boolean that indicates if the operation was successful.
     */
    function betaDelegatedTransfer(
        bytes sig, address to, uint256 value, uint256 fee, uint256 seq, uint256 deadline
    ) public returns (bool) {
        require(sig.length == 65, "signature should have length 65");
        bytes32 r;
        bytes32 s;
        uint8 v;
        assembly {
            r := mload(add(sig, 32))
            s := mload(add(sig, 64))
            v := byte(0, mload(add(sig, 96)))
        }
        _betaDelegatedTransfer(r, s, v, to, value, fee, seq, deadline);
        return true;
    }

    /**
     * @dev Performs a transfer on behalf of the from address, identified by its signature on the betaDelegatedTransfer msg.
     * Note: both the delegate and transactor sign in the fees. The transactor, however,
     * has no control over the gas price, and therefore no control over the transaction time.
     * Beta prefix chosen to avoid a name clash with an emerging standard in ERC865 or elsewhere.
     * Internal to the contract - see betaDelegatedTransfer and betaDelegatedTransferBatch.
     * @param r the r signature of the delgatedTransfer msg.
     * @param s the s signature of the delgatedTransfer msg.
     * @param v the v signature of the delgatedTransfer msg.
     * @param to The address to transfer to.
     * @param value The amount to be transferred.
     * @param fee an optional ERC20 fee paid to the delegate of betaDelegatedTransfer by the from address.
     * @param seq a sequencing number included by the from address specific to this contract to protect from replays.
     * @param deadline a block number after which the pre-signed transaction has expired.
     * @return A boolean that indicates if the operation was successful.
     */
    function _betaDelegatedTransfer(
        bytes32 r, bytes32 s, uint8 v, address to, uint256 value, uint256 fee, uint256 seq, uint256 deadline
    ) internal whenNotPaused returns (bool) {
        require(betaDelegateWhitelist[msg.sender], "Beta feature only accepts whitelisted delegates");
        require(value > 0 || fee > 0, "cannot transfer zero tokens with zero fee");
        require(block.number <= deadline, "transaction expired");
        // prevent sig malleability from ecrecover()
        require(uint256(s) <= 0x7FFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF5D576E7357A4501DDFE92F46681B20A0, "signature incorrect");
        require(v == 27 || v == 28, "signature incorrect");

        // EIP712 scheme: https://github.com/ethereum/EIPs/blob/master/EIPS/eip-712.md
        bytes32 delegatedTransferHash = keccak256(abi.encodePacked(// solium-disable-line
                EIP712_DELEGATED_TRANSFER_SCHEMA_HASH, bytes32(to), value, fee, seq, deadline
            ));
        bytes32 hash = keccak256(abi.encodePacked(EIP191_HEADER, EIP712_DOMAIN_HASH, delegatedTransferHash));
        address _from = ecrecover(hash, v, r, s);

        require(_from != address(0), "error determining from address from signature");
        require(to != address(0), "canno use address zero");
        require(!frozen[to] && !frozen[_from] && !frozen[msg.sender], "address frozen");
        require(value.add(fee) <= balances[_from], "insufficient fund");
        require(nextSeqs[_from] == seq, "incorrect seq");

        nextSeqs[_from] = nextSeqs[_from].add(1);
        balances[_from] = balances[_from].sub(value.add(fee));
        if (fee != 0) {
            balances[msg.sender] = balances[msg.sender].add(fee);
            emit Transfer(_from, msg.sender, fee);
        }
        balances[to] = balances[to].add(value);
        emit Transfer(_from, to, value);

        emit BetaDelegatedTransfer(_from, to, value, seq, fee);
        return true;
    }

    /**
     * @dev Performs an atomic batch of transfers on behalf of the from addresses, identified by their signatures.
     * Lack of nested array support in arguments requires all arguments to be passed as equal size arrays where
     * delegated transfer number i is the combination of all arguments at index i
     * @param r the r signatures of the delgatedTransfer msg.
     * @param s the s signatures of the delgatedTransfer msg.
     * @param v the v signatures of the delgatedTransfer msg.
     * @param to The addresses to transfer to.
     * @param value The amounts to be transferred.
     * @param fee optional ERC20 fees paid to the delegate of betaDelegatedTransfer by the from address.
     * @param seq sequencing numbers included by the from address specific to this contract to protect from replays.
     * @param deadline block numbers after which the pre-signed transactions have expired.
     * @return A boolean that indicates if the operation was successful.
     */
    function betaDelegatedTransferBatch(
        bytes32[] r, bytes32[] s, uint8[] v, address[] to, uint256[] value, uint256[] fee, uint256[] seq, uint256[] deadline
    ) public returns (bool) {
        require(r.length == s.length && r.length == v.length && r.length == to.length && r.length == value.length, "length mismatch");
        require(r.length == fee.length && r.length == seq.length && r.length == deadline.length, "length mismatch");

        for (uint i = 0; i < r.length; i++) {
            _betaDelegatedTransfer(r[i], s[i], v[i], to[i], value[i], fee[i], seq[i], deadline[i]);
        }
        return true;
    }

    /**
    * @dev Gets whether the address is currently whitelisted for betaDelegateTransfer.
    * @param _addr The address to check if whitelisted.
    * @return A bool representing whether the given address is whitelisted.
    */
    function isWhitelistedBetaDelegate(address _addr) public view returns (bool) {
        return betaDelegateWhitelist[_addr];
    }

    /**
     * @dev Sets a new betaDelegate whitelister.
     * @param _newWhitelister The address allowed to whitelist betaDelegates.
     */
    function setBetaDelegateWhitelister(address _newWhitelister) public {
        require(msg.sender == betaDelegateWhitelister || msg.sender == owner, "only Whitelister or Owner");
        require(betaDelegateWhitelister != _newWhitelister, "new address is same as a current one");
        betaDelegateWhitelister = _newWhitelister;
        emit BetaDelegateWhitelisterSet(betaDelegateWhitelister, _newWhitelister);
    }

    modifier onlyBetaDelegateWhitelister() {
        require(msg.sender == betaDelegateWhitelister, "onlyBetaDelegateWhitelister");
        _;
    }

    /**
     * @dev Whitelists an address to allow calling BetaDelegatedTransfer.
     * @param _addr The new address to whitelist.
     */
    function whitelistBetaDelegate(address _addr) public onlyBetaDelegateWhitelister {
        require(!betaDelegateWhitelist[_addr], "delegate already whitelisted");
        betaDelegateWhitelist[_addr] = true;
        emit BetaDelegateWhitelisted(_addr);
    }

    /**
     * @dev Unwhitelists an address to disallow calling BetaDelegatedTransfer.
     * @param _addr The new address to whitelist.
     */
    function unwhitelistBetaDelegate(address _addr) public onlyBetaDelegateWhitelister {
        require(betaDelegateWhitelist[_addr], "delegate not whitelisted");
        betaDelegateWhitelist[_addr] = false;
        emit BetaDelegateUnwhitelisted(_addr);
    }
}

• No Contract Security Audit Submitted- Submit Audit Here

[{"constant":false,"inputs":[],"name":"disregardProposeOwner","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[],"name":"name","outputs":[{"name":"","type":"string"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"name":"_spender","type":"address"},{"name":"_value","type":"uint256"}],"name":"approve","outputs":[{"name":"","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[],"name":"assetProtectionRole","outputs":[{"name":"","type":"address"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"totalSupply","outputs":[{"name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"name":"r","type":"bytes32[]"},{"name":"s","type":"bytes32[]"},{"name":"v","type":"uint8[]"},{"name":"to","type":"address[]"},{"name":"value","type":"uint256[]"},{"name":"fee","type":"uint256[]"},{"name":"seq","type":"uint256[]"},{"name":"deadline","type":"uint256[]"}],"name":"betaDelegatedTransferBatch","outputs":[{"name":"","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"name":"sig","type":"bytes"},{"name":"to","type":"address"},{"name":"value","type":"uint256"},{"name":"fee","type":"uint256"},{"name":"seq","type":"uint256"},{"name":"deadline","type":"uint256"}],"name":"betaDelegatedTransfer","outputs":[{"name":"","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"name":"_from","type":"address"},{"name":"_to","type":"address"},{"name":"_value","type":"uint256"}],"name":"transferFrom","outputs":[{"name":"","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[],"name":"decimals","outputs":[{"name":"","type":"uint8"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[],"name":"reclaimXYZ","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[],"name":"unpause","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"name":"_addr","type":"address"}],"name":"unfreeze","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[],"name":"claimOwnership","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"name":"_newSupplyController","type":"address"}],"name":"setSupplyController","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[],"name":"paused","outputs":[{"name":"","type":"bool"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"name":"_spender","type":"address"},{"name":"_subtractedValue","type":"uint256"}],"name":"decreaseApproval","outputs":[{"name":"","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[{"name":"_addr","type":"address"}],"name":"balanceOf","outputs":[{"name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[],"name":"initialize","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[],"name":"pause","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[{"name":"target","type":"address"}],"name":"nextSeqOf","outputs":[{"name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"name":"_newAssetProtectionRole","type":"address"}],"name":"setAssetProtectionRole","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"name":"_addr","type":"address"}],"name":"freeze","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[],"name":"owner","outputs":[{"name":"","type":"address"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"symbol","outputs":[{"name":"","type":"string"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"name":"_newWhitelister","type":"address"}],"name":"setBetaDelegateWhitelister","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"name":"_value","type":"uint256"}],"name":"decreaseSupply","outputs":[{"name":"success","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[{"name":"_addr","type":"address"}],"name":"isWhitelistedBetaDelegate","outputs":[{"name":"","type":"bool"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"name":"_to","type":"address"},{"name":"_value","type":"uint256"}],"name":"transfer","outputs":[{"name":"","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"name":"_addr","type":"address"}],"name":"whitelistBetaDelegate","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"name":"_proposedOwner","type":"address"}],"name":"proposeOwner","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"name":"_value","type":"uint256"}],"name":"increaseSupply","outputs":[{"name":"success","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[],"name":"betaDelegateWhitelister","outputs":[{"name":"","type":"address"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"proposedOwner","outputs":[{"name":"","type":"address"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"name":"_spender","type":"address"},{"name":"_addedValue","type":"uint256"}],"name":"increaseApproval","outputs":[{"name":"","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"name":"_addr","type":"address"}],"name":"unwhitelistBetaDelegate","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[{"name":"_owner","type":"address"},{"name":"_spender","type":"address"}],"name":"allowance","outputs":[{"name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"name":"_addr","type":"address"}],"name":"wipeFrozenAddress","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[],"name":"EIP712_DOMAIN_HASH","outputs":[{"name":"","type":"bytes32"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[{"name":"_addr","type":"address"}],"name":"isFrozen","outputs":[{"name":"","type":"bool"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"supplyController","outputs":[{"name":"","type":"address"}],"payable":false,"stateMutability":"view","type":"function"},{"inputs":[],"payable":false,"stateMutability":"nonpayable","type":"constructor"},{"anonymous":false,"inputs":[{"indexed":true,"name":"from","type":"address"},{"indexed":true,"name":"to","type":"address"},{"indexed":false,"name":"value","type":"uint256"}],"name":"Transfer","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"name":"owner","type":"address"},{"indexed":true,"name":"spender","type":"address"},{"indexed":false,"name":"value","type":"uint256"}],"name":"Approval","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"name":"currentOwner","type":"address"},{"indexed":true,"name":"proposedOwner","type":"address"}],"name":"OwnershipTransferProposed","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"name":"oldProposedOwner","type":"address"}],"name":"OwnershipTransferDisregarded","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"name":"oldOwner","type":"address"},{"indexed":true,"name":"newOwner","type":"address"}],"name":"OwnershipTransferred","type":"event"},{"anonymous":false,"inputs":[],"name":"Pause","type":"event"},{"anonymous":false,"inputs":[],"name":"Unpause","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"name":"addr","type":"address"}],"name":"AddressFrozen","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"name":"addr","type":"address"}],"name":"AddressUnfrozen","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"name":"addr","type":"address"}],"name":"FrozenAddressWiped","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"name":"oldAssetProtectionRole","type":"address"},{"indexed":true,"name":"newAssetProtectionRole","type":"address"}],"name":"AssetProtectionRoleSet","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"name":"to","type":"address"},{"indexed":false,"name":"value","type":"uint256"}],"name":"SupplyIncreased","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"name":"from","type":"address"},{"indexed":false,"name":"value","type":"uint256"}],"name":"SupplyDecreased","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"name":"oldSupplyController","type":"address"},{"indexed":true,"name":"newSupplyController","type":"address"}],"name":"SupplyControllerSet","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"name":"from","type":"address"},{"indexed":true,"name":"to","type":"address"},{"indexed":false,"name":"value","type":"uint256"},{"indexed":false,"name":"seq","type":"uint256"},{"indexed":false,"name":"fee","type":"uint256"}],"name":"BetaDelegatedTransfer","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"name":"oldWhitelister","type":"address"},{"indexed":true,"name":"newWhitelister","type":"address"}],"name":"BetaDelegateWhitelisterSet","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"name":"newDelegate","type":"address"}],"name":"BetaDelegateWhitelisted","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"name":"oldDelegate","type":"address"}],"name":"BetaDelegateUnwhitelisted","type":"event"}]

60806040523480156200001157600080fd5b50620000256401000000006200003e810204565b6200003864010000000062000174810204565b6200043d565b60005460ff16156200012357604080517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152607a60248201527f4d414e4441544f525920564552494649434154494f4e2052455155495245443a60448201527f205468652070726f78792068617320616c7265616479206265656e20696e697460648201527f69616c697a65642c2076657269667920746865206f776e657220616e6420737560848201527f70706c7920636f6e74726f6c6c6572206164647265737365732e00000000000060a482015290519081900360c40190fd5b6004805433600160a060020a031991821681179092556005805482169055600060025560078054909116909117905562000165640100000000620002cb810204565b6000805460ff19166001179055565b600454600160a060020a03163314620001ee57604080517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152600960248201527f6f6e6c794f776e65720000000000000000000000000000000000000000000000604482015290519081900360640190fd5b60045474010000000000000000000000000000000000000000900460ff16156200027957604080517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152600e60248201527f616c726561647920706175736564000000000000000000000000000000000000604482015290519081900360640190fd5b6004805460a060020a60ff021916740100000000000000000000000000000000000000001790556040517f6985a02210a168e66602d3235cb6db0e70f92b3ba4d376a33c0f3d9434bff62590600090a1565b604080517f454950373132446f6d61696e28737472696e67206e616d652c6164647265737381527f20766572696679696e67436f6e7472616374290000000000000000000000000060208083019190915282519182900360330182208284018452600a8084527f486f70706572205553440000000000000000000000000000000000000000000092840192835293519093909182918083835b60208310620003855780518252601f19909201916020918201910162000364565b51815160209384036101000a60001901801990921691161790526040805192909401829003822082820197909752818401969096523060608083019190915283518083039091018152608090910192839052805190959294508493509185019190508083835b602083106200040c5780518252601f199092019160209182019101620003eb565b5181516020939093036101000a60001901801990911692169190911790526040519201829003909120600c55505050565b613843806200044d6000396000f3006080604052600436106101ed5763ffffffff7c010000000000000000000000000000000000000000000000000000000060003504166303acb44881146101f257806306fdde0314610209578063095ea7b3146102935780630a91b601146102cb57806318160ddd146102fc5780631b6705611461032357806321ab11f71461050757806323b872dd14610580578063313ce567146105aa5780633eec69ab146105d55780633f4ba83a146105ea57806345c8b1a6146105ff5780634e71e0c81461062057806352875bc3146106355780635c975abb14610656578063661884631461066b57806370a082311461068f5780638129fc1c146106b05780638456cb59146106c557806389f72c21146106da5780638ceed9cb146106fb5780638d1fdf2f1461071c5780638da5cb5b1461073d57806395d89b411461075257806397d60d561461076757806398e52f9a14610788578063a7d87ed0146107a0578063a9059cbb146107c1578063ac69275c146107e5578063b5ed298a14610806578063b921e16314610827578063c4f62fee1461083f578063d153b60c14610854578063d73dd62314610869578063d990c6181461088d578063dd62ed3e146108ae578063e2f72f03146108d5578063e306f779146108f6578063e58398361461090b578063e7ba10121461092c575b600080fd5b3480156101fe57600080fd5b50610207610941565b005b34801561021557600080fd5b5061021e610a92565b6040805160208082528351818301528351919283929083019185019080838360005b83811015610258578181015183820152602001610240565b50505050905090810190601f1680156102855780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b34801561029f57600080fd5b506102b7600160a060020a0360043516602435610ac9565b604080519115158252519081900360200190f35b3480156102d757600080fd5b506102e0610c00565b60408051600160a060020a039092168252519081900360200190f35b34801561030857600080fd5b50610311610c0f565b60408051918252519081900360200190f35b34801561032f57600080fd5b50604080516020600480358082013583810280860185019096528085526102b795369593946024949385019291829185019084908082843750506040805187358901803560208181028481018201909552818452989b9a998901989297509082019550935083925085019084908082843750506040805187358901803560208181028481018201909552818452989b9a998901989297509082019550935083925085019084908082843750506040805187358901803560208181028481018201909552818452989b9a998901989297509082019550935083925085019084908082843750506040805187358901803560208181028481018201909552818452989b9a998901989297509082019550935083925085019084908082843750506040805187358901803560208181028481018201909552818452989b9a998901989297509082019550935083925085019084908082843750506040805187358901803560208181028481018201909552818452989b9a998901989297509082019550935083925085019084908082843750506040805187358901803560208181028481018201909552818452989b9a998901989297509082019550935083925085019084908082843750949750610c159650505050505050565b34801561051357600080fd5b506040805160206004803580820135601f81018490048402850184019095528484526102b794369492936024939284019190819084018382808284375094975050600160a060020a0385351695505050602083013592604081013592506060810135915060800135610dfd565b34801561058c57600080fd5b506102b7600160a060020a0360043581169060243516604435610e94565b3480156105b657600080fd5b506105bf6111cf565b6040805160ff9092168252519081900360200190f35b3480156105e157600080fd5b506102076111d4565b3480156105f657600080fd5b506102076112ae565b34801561060b57600080fd5b50610207600160a060020a03600435166113aa565b34801561062c57600080fd5b506102076114c7565b34801561064157600080fd5b50610207600160a060020a036004351661158d565b34801561066257600080fd5b506102b7611773565b34801561067757600080fd5b506102b7600160a060020a0360043516602435611783565b34801561069b57600080fd5b50610311600160a060020a0360043516611946565b3480156106bc57600080fd5b50610207611961565b3480156106d157600080fd5b50610207611a74565b3480156106e657600080fd5b50610311600160a060020a0360043516611b75565b34801561070757600080fd5b50610207600160a060020a0360043516611b90565b34801561072857600080fd5b50610207600160a060020a0360043516611d16565b34801561074957600080fd5b506102e0611e35565b34801561075e57600080fd5b5061021e611e44565b34801561077357600080fd5b50610207600160a060020a0360043516611e7b565b34801561079457600080fd5b506102b7600435611fcf565b3480156107ac57600080fd5b506102b7600160a060020a036004351661217e565b3480156107cd57600080fd5b506102b7600160a060020a036004351660243561219c565b3480156107f157600080fd5b50610207600160a060020a03600435166123d1565b34801561081257600080fd5b50610207600160a060020a03600435166124f0565b34801561083357600080fd5b506102b760043561267e565b34801561084b57600080fd5b506102e06127b9565b34801561086057600080fd5b506102e06127c8565b34801561087557600080fd5b506102b7600160a060020a03600435166024356127d7565b34801561089957600080fd5b50610207600160a060020a0360043516612940565b3480156108ba57600080fd5b50610311600160a060020a0360043581169060243516612a5d565b3480156108e157600080fd5b50610207600160a060020a0360043516612a88565b34801561090257600080fd5b50610311612c39565b34801561091757600080fd5b506102b7600160a060020a0360043516612c3f565b34801561093857600080fd5b506102e0612c5d565b600854600090600160a060020a03163314806109675750600454600160a060020a031633145b15156109bd576040805160e560020a62461bcd02815260206004820152601b60248201527f6f6e6c792070726f706f7365644f776e6572206f72206f776e65720000000000604482015290519081900360640190fd5b600854600160a060020a03161515610a45576040805160e560020a62461bcd02815260206004820152603b60248201527f63616e206f6e6c792064697372656761726420612070726f706f736564206f7760448201527f6e65722074686174207761732070726576696f75736c79207365740000000000606482015290519081900360840190fd5b5060088054600160a060020a03198116909155604051600160a060020a039091169081907f24f4590b0077912a4db89e7430de7986175c27bede1b47ee039e3b421c2e798e90600090a250565b60408051808201909152600a81527f486f707065722055534400000000000000000000000000000000000000000000602082015281565b60045460009060a060020a900460ff1615610b1c576040805160e560020a62461bcd02815260206004820152600d60248201526000805160206137b8833981519152604482015290519081900360640190fd5b600160a060020a03831660009081526006602052604090205460ff16158015610b5557503360009081526006602052604090205460ff16155b1515610b99576040805160e560020a62461bcd02815260206004820152600e6024820152600080516020613798833981519152604482015290519081900360640190fd5b336000818152600360209081526040808320600160a060020a03881680855290835292819020869055805186815290519293927f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925929181900390910190a350600192915050565b600554600160a060020a031681565b60025490565b60008088518a51148015610c2a575087518a51145b8015610c37575086518a51145b8015610c44575085518a51145b1515610c9a576040805160e560020a62461bcd02815260206004820152600f60248201527f6c656e677468206d69736d617463680000000000000000000000000000000000604482015290519081900360640190fd5b84518a51148015610cac575083518a51145b8015610cb9575082518a51145b1515610d0f576040805160e560020a62461bcd02815260206004820152600f60248201527f6c656e677468206d69736d617463680000000000000000000000000000000000604482015290519081900360640190fd5b5060005b8951811015610ded57610de48a82815181101515610d2d57fe5b906020019060200201518a83815181101515610d4557fe5b906020019060200201518a84815181101515610d5d57fe5b906020019060200201518a85815181101515610d7557fe5b906020019060200201518a86815181101515610d8d57fe5b906020019060200201518a87815181101515610da557fe5b906020019060200201518a88815181101515610dbd57fe5b906020019060200201518a89815181101515610dd557fe5b90602001906020020151612c6c565b50600101610d13565b5060019998505050505050505050565b60008060008089516041141515610e5e576040805160e560020a62461bcd02815260206004820152601f60248201527f7369676e61747572652073686f756c642068617665206c656e67746820363500604482015290519081900360640190fd5b50505060208701516040880151606089015160001a610e838383838c8c8c8c8c612c6c565b5060019a9950505050505050505050565b60045460009060a060020a900460ff1615610ee7576040805160e560020a62461bcd02815260206004820152600d60248201526000805160206137b8833981519152604482015290519081900360640190fd5b600160a060020a0383161515610f47576040805160e560020a62461bcd02815260206004820152601f60248201527f63616e6e6f74207472616e7366657220746f2061646472657373207a65726f00604482015290519081900360640190fd5b600160a060020a03831660009081526006602052604090205460ff16158015610f895750600160a060020a03841660009081526006602052604090205460ff16155b8015610fa557503360009081526006602052604090205460ff16155b1515610fe9576040805160e560020a62461bcd02815260206004820152600e6024820152600080516020613798833981519152604482015290519081900360640190fd5b600160a060020a038416600090815260016020526040902054821115611059576040805160e560020a62461bcd02815260206004820152601260248201527f696e73756666696369656e742066756e64730000000000000000000000000000604482015290519081900360640190fd5b600160a060020a03841660009081526003602090815260408083203384529091529020548211156110d4576040805160e560020a62461bcd02815260206004820152601660248201527f696e73756666696369656e7420616c6c6f77616e636500000000000000000000604482015290519081900360640190fd5b600160a060020a0384166000908152600160205260409020546110fd908363ffffffff6135f916565b600160a060020a038086166000908152600160205260408082209390935590851681522054611132908363ffffffff61361016565b600160a060020a038085166000908152600160209081526040808320949094559187168152600382528281203382529091522054611176908363ffffffff6135f916565b600160a060020a03808616600081815260036020908152604080832033845282529182902094909455805186815290519287169391926000805160206137d8833981519152929181900390910190a35060019392505050565b600681565b600454600090600160a060020a03163314611227576040805160e560020a62461bcd02815260206004820152600960248201526000805160206137f8833981519152604482015290519081900360640190fd5b5030600090815260016020526040808220805490839055600454600160a060020a0316835291205461125f908263ffffffff61361016565b60048054600160a060020a039081166000908152600160209081526040918290209490945591548251858152925191169230926000805160206137d8833981519152929081900390910190a350565b600454600160a060020a031633146112fe576040805160e560020a62461bcd02815260206004820152600960248201526000805160206137f8833981519152604482015290519081900360640190fd5b60045460a060020a900460ff161515611361576040805160e560020a62461bcd02815260206004820152601060248201527f616c726561647920756e70617573656400000000000000000000000000000000604482015290519081900360640190fd5b6004805474ff0000000000000000000000000000000000000000191690556040517f7805862f689e2f13df9f062ff482ad3ad112aca9e0847911ed832e158c525b3390600090a1565b600554600160a060020a0316331461140c576040805160e560020a62461bcd02815260206004820152601760248201527f6f6e6c79417373657450726f74656374696f6e526f6c65000000000000000000604482015290519081900360640190fd5b600160a060020a03811660009081526006602052604090205460ff16151561147e576040805160e560020a62461bcd02815260206004820152601860248201527f6164647265737320616c726561647920756e66726f7a656e0000000000000000604482015290519081900360640190fd5b600160a060020a038116600081815260066020526040808220805460ff19169055517fc3776b472ebf54114339eec9e4dc924e7ce307a97f5c1ee72b6d474e6e5e8b7c9190a250565b600854600090600160a060020a0316331461152c576040805160e560020a62461bcd02815260206004820152601160248201527f6f6e6c7950726f706f7365644f776e6572000000000000000000000000000000604482015290519081900360640190fd5b506004805460088054600160a060020a0319808416600160a060020a038381169190911795869055911690915560405191811692169082907f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e090600090a350565b600754600160a060020a03163314806115b05750600454600160a060020a031633145b1515611606576040805160e560020a62461bcd02815260206004820152601e60248201527f6f6e6c7920537570706c79436f6e74726f6c6c6572206f72204f776e65720000604482015290519081900360640190fd5b600160a060020a038116151561168c576040805160e560020a62461bcd02815260206004820152602c60248201527f63616e6e6f742073657420737570706c7920636f6e74726f6c6c657220746f2060448201527f61646472657373207a65726f0000000000000000000000000000000000000000606482015290519081900360840190fd5b600754600160a060020a0382811691161415611717576040805160e560020a62461bcd028152602060048201526024808201527f6e657720616464726573732069732073616d6520617320612063757272656e7460448201527f206f6e6500000000000000000000000000000000000000000000000000000000606482015290519081900360840190fd5b600754604051600160a060020a038084169216907f40d53b0b666e4424f29d55244e7e171a1dc332acc11d04ed4abd884629d8cc9790600090a360078054600160a060020a031916600160a060020a0392909216919091179055565b60045460a060020a900460ff1681565b600454600090819060a060020a900460ff16156117d8576040805160e560020a62461bcd02815260206004820152600d60248201526000805160206137b8833981519152604482015290519081900360640190fd5b600160a060020a03841660009081526006602052604090205460ff1615801561181157503360009081526006602052604090205460ff16155b1515611855576040805160e560020a62461bcd02815260206004820152600e6024820152600080516020613798833981519152604482015290519081900360640190fd5b50336000908152600360209081526040808320600160a060020a0387168452909152902054808311156118ab57336000908152600360209081526040808320600160a060020a03881684529091528120556118e0565b6118bb818463ffffffff6135f916565b336000908152600360209081526040808320600160a060020a03891684529091529020555b336000818152600360209081526040808320600160a060020a0389168085529083529281902054815190815290519293927f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925929181900390910190a35060019392505050565b600160a060020a031660009081526001602052604090205490565b60005460ff1615611a2e576040805160e560020a62461bcd02815260206004820152607a60248201527f4d414e4441544f525920564552494649434154494f4e2052455155495245443a60448201527f205468652070726f78792068617320616c7265616479206265656e20696e697460648201527f69616c697a65642c2076657269667920746865206f776e657220616e6420737560848201527f70706c7920636f6e74726f6c6c6572206164647265737365732e00000000000060a482015290519081900360c40190fd5b6004805433600160a060020a0319918216811790925560058054821690556000600255600780549091169091179055611a65613629565b6000805460ff19166001179055565b600454600160a060020a03163314611ac4576040805160e560020a62461bcd02815260206004820152600960248201526000805160206137f8833981519152604482015290519081900360640190fd5b60045460a060020a900460ff1615611b26576040805160e560020a62461bcd02815260206004820152600e60248201527f616c726561647920706175736564000000000000000000000000000000000000604482015290519081900360640190fd5b6004805474ff0000000000000000000000000000000000000000191660a060020a1790556040517f6985a02210a168e66602d3235cb6db0e70f92b3ba4d376a33c0f3d9434bff62590600090a1565b600160a060020a03166000908152600b602052604090205490565b600554600160a060020a0316331480611bb35750600454600160a060020a031633145b1515611c2f576040805160e560020a62461bcd02815260206004820152602160248201527f6f6e6c7920617373657450726f74656374696f6e526f6c65206f72204f776e6560448201527f7200000000000000000000000000000000000000000000000000000000000000606482015290519081900360840190fd5b600554600160a060020a0382811691161415611cba576040805160e560020a62461bcd028152602060048201526024808201527f6e657720616464726573732069732073616d6520617320612063757272656e7460448201527f206f6e6500000000000000000000000000000000000000000000000000000000606482015290519081900360840190fd5b600554604051600160a060020a038084169216907fd0c36a0ac0fe0d375386bd568fa2947a2dae7523a0a0cfdab20b7532a105bd1b90600090a360058054600160a060020a031916600160a060020a0392909216919091179055565b600554600160a060020a03163314611d78576040805160e560020a62461bcd02815260206004820152601760248201527f6f6e6c79417373657450726f74656374696f6e526f6c65000000000000000000604482015290519081900360640190fd5b600160a060020a03811660009081526006602052604090205460ff1615611de9576040805160e560020a62461bcd02815260206004820152601660248201527f6164647265737320616c72656164792066726f7a656e00000000000000000000604482015290519081900360640190fd5b600160a060020a038116600081815260066020526040808220805460ff19166001179055517f90811a8edd3b3c17eeaefffc17f639cc69145d41a359c9843994dc25382036909190a250565b600454600160a060020a031681565b60408051808201909152600381527f58595a0000000000000000000000000000000000000000000000000000000000602082015281565b600954600160a060020a0316331480611e9e5750600454600160a060020a031633145b1515611ef4576040805160e560020a62461bcd02815260206004820152601960248201527f6f6e6c792057686974656c6973746572206f72204f776e657200000000000000604482015290519081900360640190fd5b600954600160a060020a0382811691161415611f7f576040805160e560020a62461bcd028152602060048201526024808201527f6e657720616464726573732069732073616d6520617320612063757272656e7460448201527f206f6e6500000000000000000000000000000000000000000000000000000000606482015290519081900360840190fd5b60098054600160a060020a031916600160a060020a0383811691821792839055604051919216907f54e20b07412504aee4d17519747ae2f01b9924f7f30059793fe5576c4220a0c390600090a350565b600754600090600160a060020a03163314612034576040805160e560020a62461bcd02815260206004820152601460248201527f6f6e6c79537570706c79436f6e74726f6c6c6572000000000000000000000000604482015290519081900360640190fd5b600754600160a060020a03166000908152600160205260409020548211156120a6576040805160e560020a62461bcd02815260206004820152601160248201527f6e6f7420656e6f75676820737570706c79000000000000000000000000000000604482015290519081900360640190fd5b600754600160a060020a03166000908152600160205260409020546120d1908363ffffffff6135f916565b600754600160a060020a03166000908152600160205260409020556002546120ff908363ffffffff6135f916565b600255600754604080518481529051600160a060020a03909216917f1b7e18241beced0d7f41fbab1ea8ed468732edbcb74ec4420151654ca71c8a639181900360200190a2600754604080518481529051600092600160a060020a0316916000805160206137d8833981519152919081900360200190a3506001919050565b600160a060020a03166000908152600a602052604090205460ff1690565b60045460009060a060020a900460ff16156121ef576040805160e560020a62461bcd02815260206004820152600d60248201526000805160206137b8833981519152604482015290519081900360640190fd5b600160a060020a038316151561224f576040805160e560020a62461bcd02815260206004820152601f60248201527f63616e6e6f74207472616e7366657220746f2061646472657373207a65726f00604482015290519081900360640190fd5b600160a060020a03831660009081526006602052604090205460ff1615801561228857503360009081526006602052604090205460ff16155b15156122cc576040805160e560020a62461bcd02815260206004820152600e6024820152600080516020613798833981519152604482015290519081900360640190fd5b33600090815260016020526040902054821115612333576040805160e560020a62461bcd02815260206004820152601260248201527f696e73756666696369656e742066756e64730000000000000000000000000000604482015290519081900360640190fd5b33600090815260016020526040902054612353908363ffffffff6135f916565b3360009081526001602052604080822092909255600160a060020a03851681522054612385908363ffffffff61361016565b600160a060020a0384166000818152600160209081526040918290209390935580518581529051919233926000805160206137d88339815191529281900390910190a350600192915050565b600954600160a060020a03163314612433576040805160e560020a62461bcd02815260206004820152601b60248201527f6f6e6c794265746144656c656761746557686974656c69737465720000000000604482015290519081900360640190fd5b600160a060020a0381166000908152600a602052604090205460ff16156124a4576040805160e560020a62461bcd02815260206004820152601c60248201527f64656c656761746520616c72656164792077686974656c697374656400000000604482015290519081900360640190fd5b600160a060020a0381166000818152600a6020526040808220805460ff19166001179055517f8a22e0d8ecb02260464e9a55b7d82b17482735ae1f765de59dee573dfec5b36d9190a250565b600454600160a060020a03163314612540576040805160e560020a62461bcd02815260206004820152600960248201526000805160206137f8833981519152604482015290519081900360640190fd5b600160a060020a03811615156125c6576040805160e560020a62461bcd02815260206004820152602960248201527f63616e6e6f74207472616e73666572206f776e65727368697020746f2061646460448201527f72657373207a65726f0000000000000000000000000000000000000000000000606482015290519081900360840190fd5b33600160a060020a0382161415612627576040805160e560020a62461bcd02815260206004820152601760248201527f63616c6c657220616c7265616479206973206f776e6572000000000000000000604482015290519081900360640190fd5b60088054600160a060020a031916600160a060020a038381169190911791829055600454604051928216929116907ff4e75b79500ab730f8a026ed3cba6d55331bcb64c9e9f60c548e371356e5e3c090600090a350565b600754600090600160a060020a031633146126e3576040805160e560020a62461bcd02815260206004820152601460248201527f6f6e6c79537570706c79436f6e74726f6c6c6572000000000000000000000000604482015290519081900360640190fd5b6002546126f6908363ffffffff61361016565b600255600754600160a060020a0316600090815260016020526040902054612724908363ffffffff61361016565b60078054600160a060020a03908116600090815260016020908152604091829020949094559154825186815292519116927ff5c174d57843e57fea3c649fdde37f015ef08750759cbee88060390566a98797928290030190a2600754604080518481529051600160a060020a03909216916000916000805160206137d8833981519152919081900360200190a3506001919050565b600954600160a060020a031681565b600854600160a060020a031681565b60045460009060a060020a900460ff161561282a576040805160e560020a62461bcd02815260206004820152600d60248201526000805160206137b8833981519152604482015290519081900360640190fd5b600160a060020a03831660009081526006602052604090205460ff1615801561286357503360009081526006602052604090205460ff16155b15156128a7576040805160e560020a62461bcd02815260206004820152600e6024820152600080516020613798833981519152604482015290519081900360640190fd5b336000908152600360209081526040808320600160a060020a03871684529091529020546128db908363ffffffff61361016565b336000818152600360209081526040808320600160a060020a0389168085529083529281902085905580519485525191937f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925929081900390910190a350600192915050565b600954600160a060020a031633146129a2576040805160e560020a62461bcd02815260206004820152601b60248201527f6f6e6c794265746144656c656761746557686974656c69737465720000000000604482015290519081900360640190fd5b600160a060020a0381166000908152600a602052604090205460ff161515612a14576040805160e560020a62461bcd02815260206004820152601860248201527f64656c6567617465206e6f742077686974656c69737465640000000000000000604482015290519081900360640190fd5b600160a060020a0381166000818152600a6020526040808220805460ff19169055517f12acb305bec2ecc1e4568decc9c8e0423749ceb6ae249eaef4ef375ec174a49c9190a250565b600160a060020a03918216600090815260036020908152604080832093909416825291909152205490565b600554600090600160a060020a03163314612aed576040805160e560020a62461bcd02815260206004820152601760248201527f6f6e6c79417373657450726f74656374696f6e526f6c65000000000000000000604482015290519081900360640190fd5b600160a060020a03821660009081526006602052604090205460ff161515612b5f576040805160e560020a62461bcd02815260206004820152601560248201527f61646472657373206973206e6f742066726f7a656e0000000000000000000000604482015290519081900360640190fd5b50600160a060020a03811660009081526001602052604081208054919055600254612b90908263ffffffff6135f916565b600255604051600160a060020a038316907ffc5960f1c5a5d2b60f031bf534af053b1bf7d9881989afaeb8b1d164db23aede90600090a2604080518281529051600160a060020a038416917f1b7e18241beced0d7f41fbab1ea8ed468732edbcb74ec4420151654ca71c8a63919081900360200190a2604080518281529051600091600160a060020a038516916000805160206137d88339815191529181900360200190a35050565b600c5481565b600160a060020a031660009081526006602052604090205460ff1690565b600754600160a060020a031681565b60045460009081908190819060a060020a900460ff1615612cc5576040805160e560020a62461bcd02815260206004820152600d60248201526000805160206137b8833981519152604482015290519081900360640190fd5b336000908152600a602052604090205460ff161515612d54576040805160e560020a62461bcd02815260206004820152602f60248201527f426574612066656174757265206f6e6c7920616363657074732077686974656c60448201527f69737465642064656c6567617465730000000000000000000000000000000000606482015290519081900360840190fd5b6000881180612d635750600087115b1515612ddf576040805160e560020a62461bcd02815260206004820152602960248201527f63616e6e6f74207472616e73666572207a65726f20746f6b656e73207769746860448201527f207a65726f206665650000000000000000000000000000000000000000000000606482015290519081900360840190fd5b43851015612e37576040805160e560020a62461bcd02815260206004820152601360248201527f7472616e73616374696f6e206578706972656400000000000000000000000000604482015290519081900360640190fd5b7f7fffffffffffffffffffffffffffffff5d576e7357a4501ddfe92f46681b20a08b1115612eaf576040805160e560020a62461bcd02815260206004820152601360248201527f7369676e617475726520696e636f727265637400000000000000000000000000604482015290519081900360640190fd5b8960ff16601b1480612ec457508960ff16601c145b1515612f1a576040805160e560020a62461bcd02815260206004820152601360248201527f7369676e617475726520696e636f727265637400000000000000000000000000604482015290519081900360640190fd5b604080517f4265746144656c6567617465645472616e73666572286164647265737320746f81527f2c75696e743235362076616c75652c75696e74323536206665652c75696e74326020808301919091527f3536207365712c75696e7432353620646561646c696e6529000000000000000082840152825191829003605801822082820152600160a060020a038c1682840152606082018b9052608082018a905260a0820189905260c08083018990528351808403909101815260e090920192839052815191929182918401908083835b6020831061300a5780518252601f199092019160209182019101612feb565b51815160209384036101000a600019018019909216911617905260408051929094018290038220828501855260028084527f1901000000000000000000000000000000000000000000000000000000000000848401908152600c549651929b509397509495508994910192508291908083835b6020831061309c5780518252601f19909201916020918201910161307d565b51815160209384036101000a6000190180199092169116179052920194855250838101929092525060408051808403830181529281019081905282519293509182918401908083835b602083106131045780518252601f1990920191602091820191016130e5565b6001836020036101000a038019825116818451168082178552505050505050905001915050604051809103902091506001828b8e8e604051600081526020016040526040518085600019166000191681526020018460ff1660ff168152602001836000191660001916815260200182600019166000191681526020019450505050506020604051602081039080840390855afa1580156131a8573d6000803e3d6000fd5b5050604051601f190151915050600160a060020a038116151561323b576040805160e560020a62461bcd02815260206004820152602d60248201527f6572726f722064657465726d696e696e672066726f6d2061646472657373206660448201527f726f6d207369676e617475726500000000000000000000000000000000000000606482015290519081900360840190fd5b600160a060020a038916151561329b576040805160e560020a62461bcd02815260206004820152601660248201527f63616e6e6f207573652061646472657373207a65726f00000000000000000000604482015290519081900360640190fd5b600160a060020a03891660009081526006602052604090205460ff161580156132dd5750600160a060020a03811660009081526006602052604090205460ff16155b80156132f957503360009081526006602052604090205460ff16155b151561333d576040805160e560020a62461bcd02815260206004820152600e6024820152600080516020613798833981519152604482015290519081900360640190fd5b600160a060020a038116600090815260016020526040902054613366898963ffffffff61361016565b11156133bc576040805160e560020a62461bcd02815260206004820152601160248201527f696e73756666696369656e742066756e64000000000000000000000000000000604482015290519081900360640190fd5b600160a060020a0381166000908152600b6020526040902054861461342b576040805160e560020a62461bcd02815260206004820152600d60248201527f696e636f72726563742073657100000000000000000000000000000000000000604482015290519081900360640190fd5b600160a060020a0381166000908152600b602052604090205461345590600163ffffffff61361016565b600160a060020a0382166000908152600b60205260409020556134a6613481898963ffffffff61361016565b600160a060020a0383166000908152600160205260409020549063ffffffff6135f916565b600160a060020a038216600090815260016020526040902055861561352957336000908152600160205260409020546134e5908863ffffffff61361016565b336000818152600160209081526040918290209390935580518a815290519192600160a060020a038516926000805160206137d88339815191529281900390910190a35b600160a060020a038916600090815260016020526040902054613552908963ffffffff61361016565b600160a060020a03808b166000818152600160209081526040918290209490945580518c815290519193928516926000805160206137d883398151915292918290030190a360408051898152602081018890528082018990529051600160a060020a03808c1692908416917fe526c2818be85606ab8e0ea3f317c198ef15baabbb4430bcf2d836eed3c7769b9181900360600190a35060019b9a5050505050505050505050565b6000808383111561360957600080fd5b5050900390565b60008282018381101561362257600080fd5b9392505050565b604080517f454950373132446f6d61696e28737472696e67206e616d652c6164647265737381527f20766572696679696e67436f6e7472616374290000000000000000000000000060208083019190915282519182900360330182208284018452600a8084527f486f70706572205553440000000000000000000000000000000000000000000092840192835293519093909182918083835b602083106136e15780518252601f1990920191602091820191016136c2565b51815160209384036101000a60001901801990921691161790526040805192909401829003822082820197909752818401969096523060608083019190915283518083039091018152608090910192839052805190959294508493509185019190508083835b602083106137665780518252601f199092019160209182019101613747565b5181516020939093036101000a60001901801990911692169190911790526040519201829003909120600c555050505600616464726573732066726f7a656e0000000000000000000000000000000000007768656e4e6f7450617573656400000000000000000000000000000000000000ddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef6f6e6c794f776e65720000000000000000000000000000000000000000000000a165627a7a723058200edeefd5e213c4fc9ad14c1640ef08f045372309775020210912ee8868c1d8c00029

0x6080604052600436106101ed5763ffffffff7c010000000000000000000000000000000000000000000000000000000060003504166303acb44881146101f257806306fdde0314610209578063095ea7b3146102935780630a91b601146102cb57806318160ddd146102fc5780631b6705611461032357806321ab11f71461050757806323b872dd14610580578063313ce567146105aa5780633eec69ab146105d55780633f4ba83a146105ea57806345c8b1a6146105ff5780634e71e0c81461062057806352875bc3146106355780635c975abb14610656578063661884631461066b57806370a082311461068f5780638129fc1c146106b05780638456cb59146106c557806389f72c21146106da5780638ceed9cb146106fb5780638d1fdf2f1461071c5780638da5cb5b1461073d57806395d89b411461075257806397d60d561461076757806398e52f9a14610788578063a7d87ed0146107a0578063a9059cbb146107c1578063ac69275c146107e5578063b5ed298a14610806578063b921e16314610827578063c4f62fee1461083f578063d153b60c14610854578063d73dd62314610869578063d990c6181461088d578063dd62ed3e146108ae578063e2f72f03146108d5578063e306f779146108f6578063e58398361461090b578063e7ba10121461092c575b600080fd5b3480156101fe57600080fd5b50610207610941565b005b34801561021557600080fd5b5061021e610a92565b6040805160208082528351818301528351919283929083019185019080838360005b83811015610258578181015183820152602001610240565b50505050905090810190601f1680156102855780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b34801561029f57600080fd5b506102b7600160a060020a0360043516602435610ac9565b604080519115158252519081900360200190f35b3480156102d757600080fd5b506102e0610c00565b60408051600160a060020a039092168252519081900360200190f35b34801561030857600080fd5b50610311610c0f565b60408051918252519081900360200190f35b34801561032f57600080fd5b50604080516020600480358082013583810280860185019096528085526102b795369593946024949385019291829185019084908082843750506040805187358901803560208181028481018201909552818452989b9a998901989297509082019550935083925085019084908082843750506040805187358901803560208181028481018201909552818452989b9a998901989297509082019550935083925085019084908082843750506040805187358901803560208181028481018201909552818452989b9a998901989297509082019550935083925085019084908082843750506040805187358901803560208181028481018201909552818452989b9a998901989297509082019550935083925085019084908082843750506040805187358901803560208181028481018201909552818452989b9a998901989297509082019550935083925085019084908082843750506040805187358901803560208181028481018201909552818452989b9a998901989297509082019550935083925085019084908082843750506040805187358901803560208181028481018201909552818452989b9a998901989297509082019550935083925085019084908082843750949750610c159650505050505050565b34801561051357600080fd5b506040805160206004803580820135601f81018490048402850184019095528484526102b794369492936024939284019190819084018382808284375094975050600160a060020a0385351695505050602083013592604081013592506060810135915060800135610dfd565b34801561058c57600080fd5b506102b7600160a060020a0360043581169060243516604435610e94565b3480156105b657600080fd5b506105bf6111cf565b6040805160ff9092168252519081900360200190f35b3480156105e157600080fd5b506102076111d4565b3480156105f657600080fd5b506102076112ae565b34801561060b57600080fd5b50610207600160a060020a03600435166113aa565b34801561062c57600080fd5b506102076114c7565b34801561064157600080fd5b50610207600160a060020a036004351661158d565b34801561066257600080fd5b506102b7611773565b34801561067757600080fd5b506102b7600160a060020a0360043516602435611783565b34801561069b57600080fd5b50610311600160a060020a0360043516611946565b3480156106bc57600080fd5b50610207611961565b3480156106d157600080fd5b50610207611a74565b3480156106e657600080fd5b50610311600160a060020a0360043516611b75565b34801561070757600080fd5b50610207600160a060020a0360043516611b90565b34801561072857600080fd5b50610207600160a060020a0360043516611d16565b34801561074957600080fd5b506102e0611e35565b34801561075e57600080fd5b5061021e611e44565b34801561077357600080fd5b50610207600160a060020a0360043516611e7b565b34801561079457600080fd5b506102b7600435611fcf565b3480156107ac57600080fd5b506102b7600160a060020a036004351661217e565b3480156107cd57600080fd5b506102b7600160a060020a036004351660243561219c565b3480156107f157600080fd5b50610207600160a060020a03600435166123d1565b34801561081257600080fd5b50610207600160a060020a03600435166124f0565b34801561083357600080fd5b506102b760043561267e565b34801561084b57600080fd5b506102e06127b9565b34801561086057600080fd5b506102e06127c8565b34801561087557600080fd5b506102b7600160a060020a03600435166024356127d7565b34801561089957600080fd5b50610207600160a060020a0360043516612940565b3480156108ba57600080fd5b50610311600160a060020a0360043581169060243516612a5d565b3480156108e157600080fd5b50610207600160a060020a0360043516612a88565b34801561090257600080fd5b50610311612c39565b34801561091757600080fd5b506102b7600160a060020a0360043516612c3f565b34801561093857600080fd5b506102e0612c5d565b600854600090600160a060020a03163314806109675750600454600160a060020a031633145b15156109bd576040805160e560020a62461bcd02815260206004820152601b60248201527f6f6e6c792070726f706f7365644f776e6572206f72206f776e65720000000000604482015290519081900360640190fd5b600854600160a060020a03161515610a45576040805160e560020a62461bcd02815260206004820152603b60248201527f63616e206f6e6c792064697372656761726420612070726f706f736564206f7760448201527f6e65722074686174207761732070726576696f75736c79207365740000000000606482015290519081900360840190fd5b5060088054600160a060020a03198116909155604051600160a060020a039091169081907f24f4590b0077912a4db89e7430de7986175c27bede1b47ee039e3b421c2e798e90600090a250565b60408051808201909152600a81527f486f707065722055534400000000000000000000000000000000000000000000602082015281565b60045460009060a060020a900460ff1615610b1c576040805160e560020a62461bcd02815260206004820152600d60248201526000805160206137b8833981519152604482015290519081900360640190fd5b600160a060020a03831660009081526006602052604090205460ff16158015610b5557503360009081526006602052604090205460ff16155b1515610b99576040805160e560020a62461bcd02815260206004820152600e6024820152600080516020613798833981519152604482015290519081900360640190fd5b336000818152600360209081526040808320600160a060020a03881680855290835292819020869055805186815290519293927f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925929181900390910190a350600192915050565b600554600160a060020a031681565b60025490565b60008088518a51148015610c2a575087518a51145b8015610c37575086518a51145b8015610c44575085518a51145b1515610c9a576040805160e560020a62461bcd02815260206004820152600f60248201527f6c656e677468206d69736d617463680000000000000000000000000000000000604482015290519081900360640190fd5b84518a51148015610cac575083518a51145b8015610cb9575082518a51145b1515610d0f576040805160e560020a62461bcd02815260206004820152600f60248201527f6c656e677468206d69736d617463680000000000000000000000000000000000604482015290519081900360640190fd5b5060005b8951811015610ded57610de48a82815181101515610d2d57fe5b906020019060200201518a83815181101515610d4557fe5b906020019060200201518a84815181101515610d5d57fe5b906020019060200201518a85815181101515610d7557fe5b906020019060200201518a86815181101515610d8d57fe5b906020019060200201518a87815181101515610da557fe5b906020019060200201518a88815181101515610dbd57fe5b906020019060200201518a89815181101515610dd557fe5b90602001906020020151612c6c565b50600101610d13565b5060019998505050505050505050565b60008060008089516041141515610e5e576040805160e560020a62461bcd02815260206004820152601f60248201527f7369676e61747572652073686f756c642068617665206c656e67746820363500604482015290519081900360640190fd5b50505060208701516040880151606089015160001a610e838383838c8c8c8c8c612c6c565b5060019a9950505050505050505050565b60045460009060a060020a900460ff1615610ee7576040805160e560020a62461bcd02815260206004820152600d60248201526000805160206137b8833981519152604482015290519081900360640190fd5b600160a060020a0383161515610f47576040805160e560020a62461bcd02815260206004820152601f60248201527f63616e6e6f74207472616e7366657220746f2061646472657373207a65726f00604482015290519081900360640190fd5b600160a060020a03831660009081526006602052604090205460ff16158015610f895750600160a060020a03841660009081526006602052604090205460ff16155b8015610fa557503360009081526006602052604090205460ff16155b1515610fe9576040805160e560020a62461bcd02815260206004820152600e6024820152600080516020613798833981519152604482015290519081900360640190fd5b600160a060020a038416600090815260016020526040902054821115611059576040805160e560020a62461bcd02815260206004820152601260248201527f696e73756666696369656e742066756e64730000000000000000000000000000604482015290519081900360640190fd5b600160a060020a03841660009081526003602090815260408083203384529091529020548211156110d4576040805160e560020a62461bcd02815260206004820152601660248201527f696e73756666696369656e7420616c6c6f77616e636500000000000000000000604482015290519081900360640190fd5b600160a060020a0384166000908152600160205260409020546110fd908363ffffffff6135f916565b600160a060020a038086166000908152600160205260408082209390935590851681522054611132908363ffffffff61361016565b600160a060020a038085166000908152600160209081526040808320949094559187168152600382528281203382529091522054611176908363ffffffff6135f916565b600160a060020a03808616600081815260036020908152604080832033845282529182902094909455805186815290519287169391926000805160206137d8833981519152929181900390910190a35060019392505050565b600681565b600454600090600160a060020a03163314611227576040805160e560020a62461bcd02815260206004820152600960248201526000805160206137f8833981519152604482015290519081900360640190fd5b5030600090815260016020526040808220805490839055600454600160a060020a0316835291205461125f908263ffffffff61361016565b60048054600160a060020a039081166000908152600160209081526040918290209490945591548251858152925191169230926000805160206137d8833981519152929081900390910190a350565b600454600160a060020a031633146112fe576040805160e560020a62461bcd02815260206004820152600960248201526000805160206137f8833981519152604482015290519081900360640190fd5b60045460a060020a900460ff161515611361576040805160e560020a62461bcd02815260206004820152601060248201527f616c726561647920756e70617573656400000000000000000000000000000000604482015290519081900360640190fd5b6004805474ff0000000000000000000000000000000000000000191690556040517f7805862f689e2f13df9f062ff482ad3ad112aca9e0847911ed832e158c525b3390600090a1565b600554600160a060020a0316331461140c576040805160e560020a62461bcd02815260206004820152601760248201527f6f6e6c79417373657450726f74656374696f6e526f6c65000000000000000000604482015290519081900360640190fd5b600160a060020a03811660009081526006602052604090205460ff16151561147e576040805160e560020a62461bcd02815260206004820152601860248201527f6164647265737320616c726561647920756e66726f7a656e0000000000000000604482015290519081900360640190fd5b600160a060020a038116600081815260066020526040808220805460ff19169055517fc3776b472ebf54114339eec9e4dc924e7ce307a97f5c1ee72b6d474e6e5e8b7c9190a250565b600854600090600160a060020a0316331461152c576040805160e560020a62461bcd02815260206004820152601160248201527f6f6e6c7950726f706f7365644f776e6572000000000000000000000000000000604482015290519081900360640190fd5b506004805460088054600160a060020a0319808416600160a060020a038381169190911795869055911690915560405191811692169082907f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e090600090a350565b600754600160a060020a03163314806115b05750600454600160a060020a031633145b1515611606576040805160e560020a62461bcd02815260206004820152601e60248201527f6f6e6c7920537570706c79436f6e74726f6c6c6572206f72204f776e65720000604482015290519081900360640190fd5b600160a060020a038116151561168c576040805160e560020a62461bcd02815260206004820152602c60248201527f63616e6e6f742073657420737570706c7920636f6e74726f6c6c657220746f2060448201527f61646472657373207a65726f0000000000000000000000000000000000000000606482015290519081900360840190fd5b600754600160a060020a0382811691161415611717576040805160e560020a62461bcd028152602060048201526024808201527f6e657720616464726573732069732073616d6520617320612063757272656e7460448201527f206f6e6500000000000000000000000000000000000000000000000000000000606482015290519081900360840190fd5b600754604051600160a060020a038084169216907f40d53b0b666e4424f29d55244e7e171a1dc332acc11d04ed4abd884629d8cc9790600090a360078054600160a060020a031916600160a060020a0392909216919091179055565b60045460a060020a900460ff1681565b600454600090819060a060020a900460ff16156117d8576040805160e560020a62461bcd02815260206004820152600d60248201526000805160206137b8833981519152604482015290519081900360640190fd5b600160a060020a03841660009081526006602052604090205460ff1615801561181157503360009081526006602052604090205460ff16155b1515611855576040805160e560020a62461bcd02815260206004820152600e6024820152600080516020613798833981519152604482015290519081900360640190fd5b50336000908152600360209081526040808320600160a060020a0387168452909152902054808311156118ab57336000908152600360209081526040808320600160a060020a03881684529091528120556118e0565b6118bb818463ffffffff6135f916565b336000908152600360209081526040808320600160a060020a03891684529091529020555b336000818152600360209081526040808320600160a060020a0389168085529083529281902054815190815290519293927f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925929181900390910190a35060019392505050565b600160a060020a031660009081526001602052604090205490565b60005460ff1615611a2e576040805160e560020a62461bcd02815260206004820152607a60248201527f4d414e4441544f525920564552494649434154494f4e2052455155495245443a60448201527f205468652070726f78792068617320616c7265616479206265656e20696e697460648201527f69616c697a65642c2076657269667920746865206f776e657220616e6420737560848201527f70706c7920636f6e74726f6c6c6572206164647265737365732e00000000000060a482015290519081900360c40190fd5b6004805433600160a060020a0319918216811790925560058054821690556000600255600780549091169091179055611a65613629565b6000805460ff19166001179055565b600454600160a060020a03163314611ac4576040805160e560020a62461bcd02815260206004820152600960248201526000805160206137f8833981519152604482015290519081900360640190fd5b60045460a060020a900460ff1615611b26576040805160e560020a62461bcd02815260206004820152600e60248201527f616c726561647920706175736564000000000000000000000000000000000000604482015290519081900360640190fd5b6004805474ff0000000000000000000000000000000000000000191660a060020a1790556040517f6985a02210a168e66602d3235cb6db0e70f92b3ba4d376a33c0f3d9434bff62590600090a1565b600160a060020a03166000908152600b602052604090205490565b600554600160a060020a0316331480611bb35750600454600160a060020a031633145b1515611c2f576040805160e560020a62461bcd02815260206004820152602160248201527f6f6e6c7920617373657450726f74656374696f6e526f6c65206f72204f776e6560448201527f7200000000000000000000000000000000000000000000000000000000000000606482015290519081900360840190fd5b600554600160a060020a0382811691161415611cba576040805160e560020a62461bcd028152602060048201526024808201527f6e657720616464726573732069732073616d6520617320612063757272656e7460448201527f206f6e6500000000000000000000000000000000000000000000000000000000606482015290519081900360840190fd5b600554604051600160a060020a038084169216907fd0c36a0ac0fe0d375386bd568fa2947a2dae7523a0a0cfdab20b7532a105bd1b90600090a360058054600160a060020a031916600160a060020a0392909216919091179055565b600554600160a060020a03163314611d78576040805160e560020a62461bcd02815260206004820152601760248201527f6f6e6c79417373657450726f74656374696f6e526f6c65000000000000000000604482015290519081900360640190fd5b600160a060020a03811660009081526006602052604090205460ff1615611de9576040805160e560020a62461bcd02815260206004820152601660248201527f6164647265737320616c72656164792066726f7a656e00000000000000000000604482015290519081900360640190fd5b600160a060020a038116600081815260066020526040808220805460ff19166001179055517f90811a8edd3b3c17eeaefffc17f639cc69145d41a359c9843994dc25382036909190a250565b600454600160a060020a031681565b60408051808201909152600381527f58595a0000000000000000000000000000000000000000000000000000000000602082015281565b600954600160a060020a0316331480611e9e5750600454600160a060020a031633145b1515611ef4576040805160e560020a62461bcd02815260206004820152601960248201527f6f6e6c792057686974656c6973746572206f72204f776e657200000000000000604482015290519081900360640190fd5b600954600160a060020a0382811691161415611f7f576040805160e560020a62461bcd028152602060048201526024808201527f6e657720616464726573732069732073616d6520617320612063757272656e7460448201527f206f6e6500000000000000000000000000000000000000000000000000000000606482015290519081900360840190fd5b60098054600160a060020a031916600160a060020a0383811691821792839055604051919216907f54e20b07412504aee4d17519747ae2f01b9924f7f30059793fe5576c4220a0c390600090a350565b600754600090600160a060020a03163314612034576040805160e560020a62461bcd02815260206004820152601460248201527f6f6e6c79537570706c79436f6e74726f6c6c6572000000000000000000000000604482015290519081900360640190fd5b600754600160a060020a03166000908152600160205260409020548211156120a6576040805160e560020a62461bcd02815260206004820152601160248201527f6e6f7420656e6f75676820737570706c79000000000000000000000000000000604482015290519081900360640190fd5b600754600160a060020a03166000908152600160205260409020546120d1908363ffffffff6135f916565b600754600160a060020a03166000908152600160205260409020556002546120ff908363ffffffff6135f916565b600255600754604080518481529051600160a060020a03909216917f1b7e18241beced0d7f41fbab1ea8ed468732edbcb74ec4420151654ca71c8a639181900360200190a2600754604080518481529051600092600160a060020a0316916000805160206137d8833981519152919081900360200190a3506001919050565b600160a060020a03166000908152600a602052604090205460ff1690565b60045460009060a060020a900460ff16156121ef576040805160e560020a62461bcd02815260206004820152600d60248201526000805160206137b8833981519152604482015290519081900360640190fd5b600160a060020a038316151561224f576040805160e560020a62461bcd02815260206004820152601f60248201527f63616e6e6f74207472616e7366657220746f2061646472657373207a65726f00604482015290519081900360640190fd5b600160a060020a03831660009081526006602052604090205460ff1615801561228857503360009081526006602052604090205460ff16155b15156122cc576040805160e560020a62461bcd02815260206004820152600e6024820152600080516020613798833981519152604482015290519081900360640190fd5b33600090815260016020526040902054821115612333576040805160e560020a62461bcd02815260206004820152601260248201527f696e73756666696369656e742066756e64730000000000000000000000000000604482015290519081900360640190fd5b33600090815260016020526040902054612353908363ffffffff6135f916565b3360009081526001602052604080822092909255600160a060020a03851681522054612385908363ffffffff61361016565b600160a060020a0384166000818152600160209081526040918290209390935580518581529051919233926000805160206137d88339815191529281900390910190a350600192915050565b600954600160a060020a03163314612433576040805160e560020a62461bcd02815260206004820152601b60248201527f6f6e6c794265746144656c656761746557686974656c69737465720000000000604482015290519081900360640190fd5b600160a060020a0381166000908152600a602052604090205460ff16156124a4576040805160e560020a62461bcd02815260206004820152601c60248201527f64656c656761746520616c72656164792077686974656c697374656400000000604482015290519081900360640190fd5b600160a060020a0381166000818152600a6020526040808220805460ff19166001179055517f8a22e0d8ecb02260464e9a55b7d82b17482735ae1f765de59dee573dfec5b36d9190a250565b600454600160a060020a03163314612540576040805160e560020a62461bcd02815260206004820152600960248201526000805160206137f8833981519152604482015290519081900360640190fd5b600160a060020a03811615156125c6576040805160e560020a62461bcd02815260206004820152602960248201527f63616e6e6f74207472616e73666572206f776e65727368697020746f2061646460448201527f72657373207a65726f0000000000000000000000000000000000000000000000606482015290519081900360840190fd5b33600160a060020a0382161415612627576040805160e560020a62461bcd02815260206004820152601760248201527f63616c6c657220616c7265616479206973206f776e6572000000000000000000604482015290519081900360640190fd5b60088054600160a060020a031916600160a060020a038381169190911791829055600454604051928216929116907ff4e75b79500ab730f8a026ed3cba6d55331bcb64c9e9f60c548e371356e5e3c090600090a350565b600754600090600160a060020a031633146126e3576040805160e560020a62461bcd02815260206004820152601460248201527f6f6e6c79537570706c79436f6e74726f6c6c6572000000000000000000000000604482015290519081900360640190fd5b6002546126f6908363ffffffff61361016565b600255600754600160a060020a0316600090815260016020526040902054612724908363ffffffff61361016565b60078054600160a060020a03908116600090815260016020908152604091829020949094559154825186815292519116927ff5c174d57843e57fea3c649fdde37f015ef08750759cbee88060390566a98797928290030190a2600754604080518481529051600160a060020a03909216916000916000805160206137d8833981519152919081900360200190a3506001919050565b600954600160a060020a031681565b600854600160a060020a031681565b60045460009060a060020a900460ff161561282a576040805160e560020a62461bcd02815260206004820152600d60248201526000805160206137b8833981519152604482015290519081900360640190fd5b600160a060020a03831660009081526006602052604090205460ff1615801561286357503360009081526006602052604090205460ff16155b15156128a7576040805160e560020a62461bcd02815260206004820152600e6024820152600080516020613798833981519152604482015290519081900360640190fd5b336000908152600360209081526040808320600160a060020a03871684529091529020546128db908363ffffffff61361016565b336000818152600360209081526040808320600160a060020a0389168085529083529281902085905580519485525191937f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925929081900390910190a350600192915050565b600954600160a060020a031633146129a2576040805160e560020a62461bcd02815260206004820152601b60248201527f6f6e6c794265746144656c656761746557686974656c69737465720000000000604482015290519081900360640190fd5b600160a060020a0381166000908152600a602052604090205460ff161515612a14576040805160e560020a62461bcd02815260206004820152601860248201527f64656c6567617465206e6f742077686974656c69737465640000000000000000604482015290519081900360640190fd5b600160a060020a0381166000818152600a6020526040808220805460ff19169055517f12acb305bec2ecc1e4568decc9c8e0423749ceb6ae249eaef4ef375ec174a49c9190a250565b600160a060020a03918216600090815260036020908152604080832093909416825291909152205490565b600554600090600160a060020a03163314612aed576040805160e560020a62461bcd02815260206004820152601760248201527f6f6e6c79417373657450726f74656374696f6e526f6c65000000000000000000604482015290519081900360640190fd5b600160a060020a03821660009081526006602052604090205460ff161515612b5f576040805160e560020a62461bcd02815260206004820152601560248201527f61646472657373206973206e6f742066726f7a656e0000000000000000000000604482015290519081900360640190fd5b50600160a060020a03811660009081526001602052604081208054919055600254612b90908263ffffffff6135f916565b600255604051600160a060020a038316907ffc5960f1c5a5d2b60f031bf534af053b1bf7d9881989afaeb8b1d164db23aede90600090a2604080518281529051600160a060020a038416917f1b7e18241beced0d7f41fbab1ea8ed468732edbcb74ec4420151654ca71c8a63919081900360200190a2604080518281529051600091600160a060020a038516916000805160206137d88339815191529181900360200190a35050565b600c5481565b600160a060020a031660009081526006602052604090205460ff1690565b600754600160a060020a031681565b60045460009081908190819060a060020a900460ff1615612cc5576040805160e560020a62461bcd02815260206004820152600d60248201526000805160206137b8833981519152604482015290519081900360640190fd5b336000908152600a602052604090205460ff161515612d54576040805160e560020a62461bcd02815260206004820152602f60248201527f426574612066656174757265206f6e6c7920616363657074732077686974656c60448201527f69737465642064656c6567617465730000000000000000000000000000000000606482015290519081900360840190fd5b6000881180612d635750600087115b1515612ddf576040805160e560020a62461bcd02815260206004820152602960248201527f63616e6e6f74207472616e73666572207a65726f20746f6b656e73207769746860448201527f207a65726f206665650000000000000000000000000000000000000000000000606482015290519081900360840190fd5b43851015612e37576040805160e560020a62461bcd02815260206004820152601360248201527f7472616e73616374696f6e206578706972656400000000000000000000000000604482015290519081900360640190fd5b7f7fffffffffffffffffffffffffffffff5d576e7357a4501ddfe92f46681b20a08b1115612eaf576040805160e560020a62461bcd02815260206004820152601360248201527f7369676e617475726520696e636f727265637400000000000000000000000000604482015290519081900360640190fd5b8960ff16601b1480612ec457508960ff16601c145b1515612f1a576040805160e560020a62461bcd02815260206004820152601360248201527f7369676e617475726520696e636f727265637400000000000000000000000000604482015290519081900360640190fd5b604080517f4265746144656c6567617465645472616e73666572286164647265737320746f81527f2c75696e743235362076616c75652c75696e74323536206665652c75696e74326020808301919091527f3536207365712c75696e7432353620646561646c696e6529000000000000000082840152825191829003605801822082820152600160a060020a038c1682840152606082018b9052608082018a905260a0820189905260c08083018990528351808403909101815260e090920192839052815191929182918401908083835b6020831061300a5780518252601f199092019160209182019101612feb565b51815160209384036101000a600019018019909216911617905260408051929094018290038220828501855260028084527f1901000000000000000000000000000000000000000000000000000000000000848401908152600c549651929b509397509495508994910192508291908083835b6020831061309c5780518252601f19909201916020918201910161307d565b51815160209384036101000a6000190180199092169116179052920194855250838101929092525060408051808403830181529281019081905282519293509182918401908083835b602083106131045780518252601f1990920191602091820191016130e5565b6001836020036101000a038019825116818451168082178552505050505050905001915050604051809103902091506001828b8e8e604051600081526020016040526040518085600019166000191681526020018460ff1660ff168152602001836000191660001916815260200182600019166000191681526020019450505050506020604051602081039080840390855afa1580156131a8573d6000803e3d6000fd5b5050604051601f190151915050600160a060020a038116151561323b576040805160e560020a62461bcd02815260206004820152602d60248201527f6572726f722064657465726d696e696e672066726f6d2061646472657373206660448201527f726f6d207369676e617475726500000000000000000000000000000000000000606482015290519081900360840190fd5b600160a060020a038916151561329b576040805160e560020a62461bcd02815260206004820152601660248201527f63616e6e6f207573652061646472657373207a65726f00000000000000000000604482015290519081900360640190fd5b600160a060020a03891660009081526006602052604090205460ff161580156132dd5750600160a060020a03811660009081526006602052604090205460ff16155b80156132f957503360009081526006602052604090205460ff16155b151561333d576040805160e560020a62461bcd02815260206004820152600e6024820152600080516020613798833981519152604482015290519081900360640190fd5b600160a060020a038116600090815260016020526040902054613366898963ffffffff61361016565b11156133bc576040805160e560020a62461bcd02815260206004820152601160248201527f696e73756666696369656e742066756e64000000000000000000000000000000604482015290519081900360640190fd5b600160a060020a0381166000908152600b6020526040902054861461342b576040805160e560020a62461bcd02815260206004820152600d60248201527f696e636f72726563742073657100000000000000000000000000000000000000604482015290519081900360640190fd5b600160a060020a0381166000908152600b602052604090205461345590600163ffffffff61361016565b600160a060020a0382166000908152600b60205260409020556134a6613481898963ffffffff61361016565b600160a060020a0383166000908152600160205260409020549063ffffffff6135f916565b600160a060020a038216600090815260016020526040902055861561352957336000908152600160205260409020546134e5908863ffffffff61361016565b336000818152600160209081526040918290209390935580518a815290519192600160a060020a038516926000805160206137d88339815191529281900390910190a35b600160a060020a038916600090815260016020526040902054613552908963ffffffff61361016565b600160a060020a03808b166000818152600160209081526040918290209490945580518c815290519193928516926000805160206137d883398151915292918290030190a360408051898152602081018890528082018990529051600160a060020a03808c1692908416917fe526c2818be85606ab8e0ea3f317c198ef15baabbb4430bcf2d836eed3c7769b9181900360600190a35060019b9a5050505050505050505050565b6000808383111561360957600080fd5b5050900390565b60008282018381101561362257600080fd5b9392505050565b604080517f454950373132446f6d61696e28737472696e67206e616d652c6164647265737381527f20766572696679696e67436f6e7472616374290000000000000000000000000060208083019190915282519182900360330182208284018452600a8084527f486f70706572205553440000000000000000000000000000000000000000000092840192835293519093909182918083835b602083106136e15780518252601f1990920191602091820191016136c2565b51815160209384036101000a60001901801990921691161790526040805192909401829003822082820197909752818401969096523060608083019190915283518083039091018152608090910192839052805190959294508493509185019190508083835b602083106137665780518252601f199092019160209182019101613747565b5181516020939093036101000a60001901801990911692169190911790526040519201829003909120600c555050505600616464726573732066726f7a656e0000000000000000000000000000000000007768656e4e6f7450617573656400000000000000000000000000000000000000ddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef6f6e6c794f776e65720000000000000000000000000000000000000000000000a165627a7a723058200edeefd5e213c4fc9ad14c1640ef08f045372309775020210912ee8868c1d8c00029

1433:26611:0:-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;12962:411;;8:9:-1;5:2;;;30:1;27;20:12;5:2;12962:411:0;;;;;;1744:42;;8:9:-1;5:2;;;30:1;27;20:12;5:2;1744:42:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:100:-1;33:3;30:1;27:10;8:100;;;90:11;;;84:18;71:11;;;64:39;52:2;45:10;8:100;;;12:14;1744:42:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;9483:298;;8:9:-1;5:2;;;30:1;27;20:12;5:2;-1:-1;9483:298:0;-1:-1:-1;;;;;9483:298:0;;;;;;;;;;;;;;;;;;;;;;;;;2198:34;;8:9:-1;5:2;;;30:1;27;20:12;5:2;2198:34:0;;;;;;;;-1:-1:-1;;;;;2198:34:0;;;;;;;;;;;;;;6605:91;;8:9:-1;5:2;;;30:1;27;20:12;5:2;6605:91:0;;;;;;;;;;;;;;;;;;;;25460:637;;8:9:-1;5:2;;;30:1;27;20:12;5:2;-1:-1;25460:637:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;25460:637:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;25460:637:0;;;;-1:-1:-1;25460:637:0;-1:-1:-1;25460:637:0;;-1:-1:-1;25460:637:0;;;;;;;;;-1:-1:-1;;25460:637:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;25460:637:0;;;;-1:-1:-1;25460:637:0;-1:-1:-1;25460:637:0;;-1:-1:-1;25460:637:0;;;;;;;;;-1:-1:-1;;25460:637:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;25460:637:0;;;;-1:-1:-1;25460:637:0;-1:-1:-1;25460:637:0;;-1:-1:-1;25460:637:0;;;;;;;;;-1:-1:-1;;25460:637:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;25460:637:0;;;;-1:-1:-1;25460:637:0;-1:-1:-1;25460:637:0;;-1:-1:-1;25460:637:0;;;;;;;;;-1:-1:-1;;25460:637:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;25460:637:0;;;;-1:-1:-1;25460:637:0;-1:-1:-1;25460:637:0;;-1:-1:-1;25460:637:0;;;;;;;;;-1:-1:-1;;25460:637:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;25460:637:0;;;;-1:-1:-1;25460:637:0;-1:-1:-1;25460:637:0;;-1:-1:-1;25460:637:0;;;;;;;;;-1:-1:-1;;25460:637:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;25460:637:0;;;;-1:-1:-1;25460:637:0;-1:-1:-1;25460:637:0;;-1:-1:-1;25460:637:0;;;;;;;;;-1:-1:-1;25460:637:0;;-1:-1:-1;25460:637:0;;-1:-1:-1;;;;;;;25460:637:0;20730:537;;8:9:-1;5:2;;;30:1;27;20:12;5:2;-1:-1;20730:537:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;20730:537:0;;-1:-1:-1;;;;;;;20730:537:0;;;;-1:-1:-1;;;20730:537:0;;;;;;;;;;-1:-1:-1;20730:537:0;;;;;-1:-1:-1;20730:537:0;;;;;8104:730;;8:9:-1;5:2;;;30:1;27;20:12;5:2;-1:-1;8104:730:0;-1:-1:-1;;;;;8104:730:0;;;;;;;;;;;;1893:34;;8:9:-1;5:2;;;30:1;27;20:12;5:2;1893:34:0;;;;;;;;;;;;;;;;;;;;;;;13992:227;;8:9:-1;5:2;;;30:1;27;20:12;5:2;13992:227:0;;;;14779:140;;8:9:-1;5:2;;;30:1;27;20:12;5:2;14779:140:0;;;;16211:203;;8:9:-1;5:2;;;30:1;27;20:12;5:2;-1:-1;16211:203:0;-1:-1:-1;;;;;16211:203:0;;;;;13507:268;;8:9:-1;5:2;;;30:1;27;20:12;5:2;13507:268:0;;;;17492:508;;8:9:-1;5:2;;;30:1;27;20:12;5:2;-1:-1;17492:508:0;-1:-1:-1;;;;;17492:508:0;;;;;2141:18;;8:9:-1;5:2;;;30:1;27;20:12;5:2;2141:18:0;;;;10986:542;;8:9:-1;5:2;;;30:1;27;20:12;5:2;-1:-1;10986:542:0;-1:-1:-1;;;;;10986:542:0;;;;;;;7672:105;;8:9:-1;5:2;;;30:1;27;20:12;5:2;-1:-1;7672:105:0;-1:-1:-1;;;;;7672:105:0;;;;;5290:401;;8:9:-1;5:2;;;30:1;27;20:12;5:2;5290:401:0;;;;14550:134;;8:9:-1;5:2;;;30:1;27;20:12;5:2;14550:134:0;;;;19858:107;;8:9:-1;5:2;;;30:1;27;20:12;5:2;-1:-1;19858:107:0;-1:-1:-1;;;;;19858:107:0;;;;;15157:439;;8:9:-1;5:2;;;30:1;27;20:12;5:2;-1:-1;15157:439:0;-1:-1:-1;;;;;15157:439:0;;;;;15877:197;;8:9:-1;5:2;;;30:1;27;20:12;5:2;-1:-1;15877:197:0;-1:-1:-1;;;;;15877:197:0;;;;;2087:20;;8:9:-1;5:2;;;30:1;27;20:12;5:2;2087:20:0;;;;1816:37;;8:9:-1;5:2;;;30:1;27;20:12;5:2;1816:37:0;;;;26630:423;;8:9:-1;5:2;;;30:1;27;20:12;5:2;-1:-1;26630:423:0;-1:-1:-1;;;;;26630:423:0;;;;;19041:445;;8:9:-1;5:2;;;30:1;27;20:12;5:2;-1:-1;19041:445:0;;;;;26344:131;;8:9:-1;5:2;;;30:1;27;20:12;5:2;-1:-1;26344:131:0;-1:-1:-1;;;;;26344:131:0;;;;;6953:499;;8:9:-1;5:2;;;30:1;27;20:12;5:2;-1:-1;6953:499:0;-1:-1:-1;;;;;6953:499:0;;;;;;;27360:262;;8:9:-1;5:2;;;30:1;27;20:12;5:2;-1:-1;27360:262:0;-1:-1:-1;;;;;27360:262:0;;;;;12473:343;;8:9:-1;5:2;;;30:1;27;20:12;5:2;-1:-1;12473:343:0;-1:-1:-1;;;;;12473:343:0;;;;;18401:368;;8:9:-1;5:2;;;30:1;27;20:12;5:2;-1:-1;18401:368:0;;;;;2451:38;;8:9:-1;5:2;;;30:1;27;20:12;5:2;2451:38:0;;;;2382:28;;8:9:-1;5:2;;;30:1;27;20:12;5:2;2382:28:0;;;;10195:372;;8:9:-1;5:2;;;30:1;27;20:12;5:2;-1:-1;10195:372:0;-1:-1:-1;;;;;10195:372:0;;;;;;;27779:262;;8:9:-1;5:2;;;30:1;27;20:12;5:2;-1:-1;27779:262:0;-1:-1:-1;;;;;27779:262:0;;;;;11869:179;;8:9:-1;5:2;;;30:1;27;20:12;5:2;-1:-1;11869:179:0;-1:-1:-1;;;;;11869:179:0;;;;;;;;;;16567:408;;8:9:-1;5:2;;;30:1;27;20:12;5:2;-1:-1;16567:408:0;-1:-1:-1;;;;;16567:408:0;;;;;3202:33;;8:9:-1;5:2;;;30:1;27;20:12;5:2;3202:33:0;;;;17182:99;;8:9:-1;5:2;;;30:1;27;20:12;5:2;-1:-1;17182:99:0;-1:-1:-1;;;;;17182:99:0;;;;;2316:31;;8:9:-1;5:2;;;30:1;27;20:12;5:2;2316:31:0;;;;12962:411;13035:13;;13224:25;;-1:-1:-1;;;;;13035:13:0;13021:10;:27;;:50;;-1:-1:-1;13066:5:0;;-1:-1:-1;;;;;13066:5:0;13052:10;:19;13021:50;13013:90;;;;;;;-1:-1:-1;;;;;13013:90:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;13122:13;;-1:-1:-1;;;;;13122:13:0;:27;;13114:99;;;;;-1:-1:-1;;;;;13114:99:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;13252:13:0;;;-1:-1:-1;;;;;;13276:26:0;;;;;13318:47;;-1:-1:-1;;;;;13252:13:0;;;;;;13318:47;;13252:13;;13318:47;12962:411;:::o;1744:42::-;;;;;;;;;;;;;;;;;;;:::o;9483:298::-;14414:6;;9564:4;;-1:-1:-1;;;14414:6:0;;;;14413:7;14405:33;;;;;-1:-1:-1;;;;;14405:33:0;;;;;;;;;;;;-1:-1:-1;;;;;;;;;;;14405:33:0;;;;;;;;;;;;;;;-1:-1:-1;;;;;9590:16:0;;;;;;:6;:16;;;;;;;;9589:17;:40;;;;-1:-1:-1;9618:10:0;9611:18;;;;:6;:18;;;;;;;;9610:19;9589:40;9581:67;;;;;;;-1:-1:-1;;;;;9581:67:0;;;;;;;;;;;;-1:-1:-1;;;;;;;;;;;9581:67:0;;;;;;;;;;;;;;;9667:10;9659:19;;;;:7;:19;;;;;;;;-1:-1:-1;;;;;9659:29:0;;;;;;;;;;;;:38;;;9713;;;;;;;9659:29;;9667:10;9713:38;;;;;;;;;;;-1:-1:-1;9769:4:0;9483:298;;;;:::o;2198:34::-;;;-1:-1:-1;;;;;2198:34:0;;:::o;6605:91::-;6676:12;;6605:91;:::o;25460:637::-;25646:4;25924:6;25683:1;:8;25671:1;:8;:20;:44;;;;;25707:1;:8;25695:1;:8;:20;25671:44;:69;;;;;25731:2;:9;25719:1;:8;:21;25671:69;:97;;;;;25756:5;:12;25744:1;:8;:24;25671:97;25663:125;;;;;;;-1:-1:-1;;;;;25663:125:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;25819:3;:10;25807:1;:8;:22;:48;;;;;25845:3;:10;25833:1;:8;:22;25807:48;:79;;;;;25871:8;:15;25859:1;:8;:27;25807:79;25799:107;;;;;;;-1:-1:-1;;;;;25799:107:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;25933:1:0;25919:149;25940:1;:8;25936:1;:12;25919:149;;;25970:86;25993:1;25995;25993:4;;;;;;;;;;;;;;;;;;25999:1;26001;25999:4;;;;;;;;;;;;;;;;;;26005:1;26007;26005:4;;;;;;;;;;;;;;;;;;26011:2;26014:1;26011:5;;;;;;;;;;;;;;;;;;26018;26024:1;26018:8;;;;;;;;;;;;;;;;;;26028:3;26032:1;26028:6;;;;;;;;;;;;;;;;;;26036:3;26040:1;26036:6;;;;;;;;;;;;;;;;;;26044:8;26053:1;26044:11;;;;;;;;;;;;;;;;;;25970:22;:86::i;:::-;-1:-1:-1;25950:3:0;;25919:149;;;-1:-1:-1;26085:4:0;;25460:637;-1:-1:-1;;;;;;;;;25460:637:0:o;20730:537::-;20875:4;20963:9;20983;21003:7;20900:3;:10;20914:2;20900:16;20892:60;;;;;;;-1:-1:-1;;;;;20892:60:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;;21065:2:0;21056:12;;21050:19;21103:2;21094:12;;21088:19;21149:2;21140:12;;21134:19;21131:1;21126:28;21175:62;21050:19;21088;21126:28;21207:2;21211:5;21218:3;21223;21228:8;21175:22;:62::i;:::-;-1:-1:-1;21255:4:0;;20730:537;-1:-1:-1;;;;;;;;;;20730:537:0:o;8104:730::-;14414:6;;8249:4;;-1:-1:-1;;;14414:6:0;;;;14413:7;14405:33;;;;;-1:-1:-1;;;;;14405:33:0;;;;;;;;;;;;-1:-1:-1;;;;;;;;;;;14405:33:0;;;;;;;;;;;;;;;-1:-1:-1;;;;;8279:17:0;;;;8271:61;;;;;-1:-1:-1;;;;;8271:61:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;;;;8352:11:0;;;;;;:6;:11;;;;;;;;8351:12;:30;;;;-1:-1:-1;;;;;;8368:13:0;;;;;;:6;:13;;;;;;;;8367:14;8351:30;:53;;;;-1:-1:-1;8393:10:0;8386:18;;;;:6;:18;;;;;;;;8385:19;8351:53;8343:80;;;;;;;-1:-1:-1;;;;;8343:80:0;;;;;;;;;;;;-1:-1:-1;;;;;;;;;;;8343:80:0;;;;;;;;;;;;;;;-1:-1:-1;;;;;8452:15:0;;;;;;:8;:15;;;;;;8442:25;;;8434:56;;;;;-1:-1:-1;;;;;8434:56:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;;;;8519:14:0;;;;;;:7;:14;;;;;;;;8534:10;8519:26;;;;;;;;8509:36;;;8501:71;;;;;-1:-1:-1;;;;;8501:71:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;;;;8603:15:0;;;;;;:8;:15;;;;;;:27;;8623:6;8603:27;:19;:27;:::i;:::-;-1:-1:-1;;;;;8585:15:0;;;;;;;:8;:15;;;;;;:45;;;;8657:13;;;;;;;:25;;8675:6;8657:25;:17;:25;:::i;:::-;-1:-1:-1;;;;;8641:13:0;;;;;;;:8;:13;;;;;;;;:41;;;;8722:14;;;;;:7;:14;;;;;8737:10;8722:26;;;;;;;:38;;8753:6;8722:38;:30;:38;:::i;:::-;-1:-1:-1;;;;;8693:14:0;;;;;;;:7;:14;;;;;;;;8708:10;8693:26;;;;;;;;:67;;;;8776:28;;;;;;;;;;;8693:14;;-1:-1:-1;;;;;;;;;;;8776:28:0;;;;;;;;;;-1:-1:-1;8822:4:0;8104:730;;;;;:::o;1893:34::-;1926:1;1893:34;:::o;13992:227::-;12225:5;;14044:16;;-1:-1:-1;;;;;12225:5:0;12211:10;:19;12203:41;;;;;-1:-1:-1;;;;;12203:41:0;;;;;;;;;;;;-1:-1:-1;;;;;;;;;;;12203:41:0;;;;;;;;;;;;;;;-1:-1:-1;14072:4:0;14063:14;;;;:8;:14;;;;;;;;14088:18;;;;14144:5;;-1:-1:-1;;;;;14144:5:0;14135:15;;;;;:29;;14063:14;14135:29;:19;:29;:::i;:::-;14126:5;;;-1:-1:-1;;;;;14126:5:0;;;14117:15;;;;:8;:15;;;;;;;;;:47;;;;14195:5;;14180:31;;;;;;;14195:5;;;14189:4;;-1:-1:-1;;;;;;;;;;;14180:31:0;;;;;;;;;;13992:227;:::o;14779:140::-;12225:5;;-1:-1:-1;;;;;12225:5:0;12211:10;:19;12203:41;;;;;-1:-1:-1;;;;;12203:41:0;;;;;;;;;;;;-1:-1:-1;;;;;;;;;;;12203:41:0;;;;;;;;;;;;;;;14834:6;;-1:-1:-1;;;14834:6:0;;;;14826:35;;;;;;;-1:-1:-1;;;;;14826:35:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;14872:6;:14;;-1:-1:-1;;14872:14:0;;;14902:9;;;;14881:5;;14902:9;14779:140::o;16211:203::-;15672:19;;-1:-1:-1;;;;;15672:19:0;15658:10;:33;15650:69;;;;;-1:-1:-1;;;;;15650:69:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;;;;16294:13:0;;;;;;:6;:13;;;;;;;;16286:50;;;;;;;-1:-1:-1;;;;;16286:50:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;;;;16347:13:0;;16363:5;16347:13;;;:6;:13;;;;;;:21;;-1:-1:-1;;16347:21:0;;;16384:22;;;16363:5;16384:22;16211:203;:::o;13507:268::-;13573:13;;13619:17;;-1:-1:-1;;;;;13573:13:0;13559:10;:27;13551:57;;;;;-1:-1:-1;;;;;13551:57:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;13639:5:0;;;13663:13;;;-1:-1:-1;;;;;;13655:21:0;;;-1:-1:-1;;;;;13663:13:0;;;13655:21;;;;;;;;13687:26;;;;;13729:38;;13639:5;;;;13761;;13639;;13729:38;;13639:5;;13729:38;13507:268;:::o;17492:508::-;17591:16;;-1:-1:-1;;;;;17591:16:0;17577:10;:30;;:53;;-1:-1:-1;17625:5:0;;-1:-1:-1;;;;;17625:5:0;17611:10;:19;17577:53;17569:96;;;;;;;-1:-1:-1;;;;;17569:96:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;;;;17684:34:0;;;;17676:91;;;;;-1:-1:-1;;;;;17676:91:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;17786:16;;-1:-1:-1;;;;;17786:40:0;;;:16;;:40;;17778:89;;;;;-1:-1:-1;;;;;17778:89:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;17903:16;;17883:59;;-1:-1:-1;;;;;17883:59:0;;;;17903:16;;17883:59;;17903:16;;17883:59;17953:16;:39;;-1:-1:-1;;;;;;17953:39:0;-1:-1:-1;;;;;17953:39:0;;;;;;;;;;17492:508::o;2141:18::-;;;-1:-1:-1;;;2141:18:0;;;;;:::o;10986:542::-;14414:6;;11083:4;;;;-1:-1:-1;;;14414:6:0;;;;14413:7;14405:33;;;;;-1:-1:-1;;;;;14405:33:0;;;;;;;;;;;;-1:-1:-1;;;;;;;;;;;14405:33:0;;;;;;;;;;;;;;;-1:-1:-1;;;;;11109:16:0;;;;;;:6;:16;;;;;;;;11108:17;:40;;;;-1:-1:-1;11137:10:0;11130:18;;;;:6;:18;;;;;;;;11129:19;11108:40;11100:67;;;;;;;-1:-1:-1;;;;;11100:67:0;;;;;;;;;;;;-1:-1:-1;;;;;;;;;;;11100:67:0;;;;;;;;;;;;;;;-1:-1:-1;11202:10:0;11194:19;;;;:7;:19;;;;;;;;-1:-1:-1;;;;;11194:29:0;;;;;;;;;;11238:27;;;11234:188;;;11290:10;11314:1;11282:19;;;:7;:19;;;;;;;;-1:-1:-1;;;;;11282:29:0;;;;;;;;;:33;11234:188;;;11380:30;:8;11393:16;11380:30;:12;:30;:::i;:::-;11356:10;11348:19;;;;:7;:19;;;;;;;;-1:-1:-1;;;;;11348:29:0;;;;;;;;;:62;11234:188;11446:10;11468:19;;;;:7;:19;;;;;;;;-1:-1:-1;;;;;11437:61:0;;11468:29;;;;;;;;;;;11437:61;;;;;;;;;11446:10;11437:61;;;;;;;;;;;-1:-1:-1;11516:4:0;;10986:542;-1:-1:-1;;;10986:542:0:o;7672:105::-;-1:-1:-1;;;;;7754:15:0;7727:7;7754:15;;;:8;:15;;;;;;;7672:105::o;5290:401::-;5339:11;;;;5338:12;5330:147;;;;;-1:-1:-1;;;;;5330:147:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;5488:5;:18;;5496:10;-1:-1:-1;;;;;;5488:18:0;;;;;;;;5517:19;:32;;;;;;-1:-1:-1;5560:12:0;:16;5587;:29;;;;;;;;;;5627:27;:25;:27::i;:::-;5665:11;:18;;-1:-1:-1;;5665:18:0;5679:4;5665:18;;;5290:401::o;14550:134::-;12225:5;;-1:-1:-1;;;;;12225:5:0;12211:10;:19;12203:41;;;;;-1:-1:-1;;;;;12203:41:0;;;;;;;;;;;;-1:-1:-1;;;;;;;;;;;12203:41:0;;;;;;;;;;;;;;;14604:6;;-1:-1:-1;;;14604:6:0;;;;14603:7;14595:34;;;;;-1:-1:-1;;;;;14595:34:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;14640:6;:13;;-1:-1:-1;;14640:13:0;-1:-1:-1;;;14640:13:0;;;14669:7;;;;14640:13;;14669:7;14550:134::o;19858:107::-;-1:-1:-1;;;;;19941:16:0;19914:7;19941:16;;;:8;:16;;;;;;;19858:107::o;15157:439::-;15262:19;;-1:-1:-1;;;;;15262:19:0;15248:10;:33;;:56;;-1:-1:-1;15299:5:0;;-1:-1:-1;;;;;15299:5:0;15285:10;:19;15248:56;15240:102;;;;;;;-1:-1:-1;;;;;15240:102:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;15361:19;;-1:-1:-1;;;;;15361:46:0;;;:19;;:46;;15353:95;;;;;-1:-1:-1;;;;;15353:95:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;15487:19;;15464:68;;-1:-1:-1;;;;;15464:68:0;;;;15487:19;;15464:68;;15487:19;;15464:68;15543:19;:45;;-1:-1:-1;;;;;;15543:45:0;-1:-1:-1;;;;;15543:45:0;;;;;;;;;;15157:439::o;15877:197::-;15672:19;;-1:-1:-1;;;;;15672:19:0;15658:10;:33;15650:69;;;;;-1:-1:-1;;;;;15650:69:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;;;;15959:13:0;;;;;;:6;:13;;;;;;;;15958:14;15950:49;;;;;-1:-1:-1;;;;;15950:49:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;;;;16010:13:0;;;;;;:6;:13;;;;;;:20;;-1:-1:-1;;16010:20:0;16026:4;16010:20;;;16046;;;16010:13;16046:20;15877:197;:::o;2087:20::-;;;-1:-1:-1;;;;;2087:20:0;;:::o;1816:37::-;;;;;;;;;;;;;;;;;;;:::o;26630:423::-;26731:23;;-1:-1:-1;;;;;26731:23:0;26717:10;:37;;:60;;-1:-1:-1;26772:5:0;;-1:-1:-1;;;;;26772:5:0;26758:10;:19;26717:60;26709:98;;;;;;;-1:-1:-1;;;;;26709:98:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;26826:23;;-1:-1:-1;;;;;26826:42:0;;;:23;;:42;;26818:91;;;;;-1:-1:-1;;;;;26818:91:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;26920:23;:41;;-1:-1:-1;;;;;;26920:41:0;-1:-1:-1;;;;;26920:41:0;;;;;;;;;;26977:68;;26920:41;;27004:23;;26977:68;;-1:-1:-1;;26977:68:0;26630:423;:::o;19041:445::-;18073:16;;19118:12;;-1:-1:-1;;;;;18073:16:0;18059:10;:30;18051:63;;;;;-1:-1:-1;;;;;18051:63:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;19170:16;;-1:-1:-1;;;;;19170:16:0;19161:26;;;;:8;:26;;;;;;19151:36;;;19143:66;;;;;-1:-1:-1;;;;;19143:66:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;19258:16;;-1:-1:-1;;;;;19258:16:0;19249:26;;;;:8;:26;;;;;;:38;;19280:6;19249:38;:30;:38;:::i;:::-;19229:16;;-1:-1:-1;;;;;19229:16:0;19220:26;;;;:8;:26;;;;;:67;19313:12;;:24;;19330:6;19313:24;:16;:24;:::i;:::-;19298:12;:39;19369:16;;19353:41;;;;;;;;-1:-1:-1;;;;;19369:16:0;;;;19353:41;;;;;;;;;19419:16;;19410:46;;;;;;;;19445:1;;-1:-1:-1;;;;;19419:16:0;;-1:-1:-1;;;;;;;;;;;19410:46:0;;;;;;;;;-1:-1:-1;19474:4:0;19041:445;;;:::o;26344:131::-;-1:-1:-1;;;;;26439:28:0;26415:4;26439:28;;;:21;:28;;;;;;;;;26344:131::o;6953:499::-;14414:6;;7030:4;;-1:-1:-1;;;14414:6:0;;;;14413:7;14405:33;;;;;-1:-1:-1;;;;;14405:33:0;;;;;;;;;;;;-1:-1:-1;;;;;;;;;;;14405:33:0;;;;;;;;;;;;;;;-1:-1:-1;;;;;7055:17:0;;;;7047:61;;;;;-1:-1:-1;;;;;7047:61:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;;;;7128:11:0;;;;;;:6;:11;;;;;;;;7127:12;:35;;;;-1:-1:-1;7151:10:0;7144:18;;;;:6;:18;;;;;;;;7143:19;7127:35;7119:62;;;;;;;-1:-1:-1;;;;;7119:62:0;;;;;;;;;;;;-1:-1:-1;;;;;;;;;;;7119:62:0;;;;;;;;;;;;;;;7219:10;7210:20;;;;:8;:20;;;;;;7200:30;;;7192:61;;;;;-1:-1:-1;;;;;7192:61:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;7298:10;7289:20;;;;:8;:20;;;;;;:32;;7314:6;7289:32;:24;:32;:::i;:::-;7275:10;7266:20;;;;:8;:20;;;;;;:55;;;;-1:-1:-1;;;;;7348:13:0;;;;;;:25;;7366:6;7348:25;:17;:25;:::i;:::-;-1:-1:-1;;;;;7332:13:0;;;;;;:8;:13;;;;;;;;;:41;;;;7389:33;;;;;;;7332:13;;7398:10;;-1:-1:-1;;;;;;;;;;;7389:33:0;;;;;;;;;-1:-1:-1;7440:4:0;6953:499;;;;:::o;27360:262::-;27133:23;;-1:-1:-1;;;;;27133:23:0;27119:10;:37;27111:77;;;;;-1:-1:-1;;;;;27111:77:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;;;;27461:28:0;;;;;;:21;:28;;;;;;;;27460:29;27452:70;;;;;-1:-1:-1;;;;;27452:70:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;;;;27533:28:0;;;;;;:21;:28;;;;;;:35;;-1:-1:-1;;27533:35:0;27564:4;27533:35;;;27584:30;;;27533:28;27584:30;27360:262;:::o;12473:343::-;12225:5;;-1:-1:-1;;;;;12225:5:0;12211:10;:19;12203:41;;;;;-1:-1:-1;;;;;12203:41:0;;;;;;;;;;;;-1:-1:-1;;;;;;;;;;;12203:41:0;;;;;;;;;;;;;;;-1:-1:-1;;;;;12555:28:0;;;;12547:82;;;;;-1:-1:-1;;;;;12547:82:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;12648:10;-1:-1:-1;;;;;12648:28:0;;;;12640:64;;;;;-1:-1:-1;;;;;12640:64:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;12715:13;:30;;-1:-1:-1;;;;;;12715:30:0;-1:-1:-1;;;;;12715:30:0;;;;;;;;;;;12787:5;;12761:47;;12794:13;;;;12787:5;;;12761:47;;-1:-1:-1;;12761:47:0;12473:343;:::o;18401:368::-;18073:16;;18478:12;;-1:-1:-1;;;;;18073:16:0;18059:10;:30;18051:63;;;;;-1:-1:-1;;;;;18051:63:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;18518:12;;:24;;18535:6;18518:24;:16;:24;:::i;:::-;18503:12;:39;18591:16;;-1:-1:-1;;;;;18591:16:0;18582:26;;;;:8;:26;;;;;;:38;;18613:6;18582:38;:30;:38;:::i;:::-;18562:16;;;-1:-1:-1;;;;;18562:16:0;;;18553:26;;;;:8;:26;;;;;;;;;:67;;;;18652:16;;18636:41;;;;;;;18652:16;;;18636:41;;;;;;;;18714:16;;18693:46;;;;;;;;-1:-1:-1;;;;;18714:16:0;;;;;;-1:-1:-1;;;;;;;;;;;18693:46:0;;;;;;;;;-1:-1:-1;18757:4:0;18401:368;;;:::o;2451:38::-;;;-1:-1:-1;;;;;2451:38:0;;:::o;2382:28::-;;;-1:-1:-1;;;;;2382:28:0;;:::o;10195:372::-;14414:6;;10287:4;;-1:-1:-1;;;14414:6:0;;;;14413:7;14405:33;;;;;-1:-1:-1;;;;;14405:33:0;;;;;;;;;;;;-1:-1:-1;;;;;;;;;;;14405:33:0;;;;;;;;;;;;;;;-1:-1:-1;;;;;10313:16:0;;;;;;:6;:16;;;;;;;;10312:17;:40;;;;-1:-1:-1;10341:10:0;10334:18;;;;:6;:18;;;;;;;;10333:19;10312:40;10304:67;;;;;;;-1:-1:-1;;;;;10304:67:0;;;;;;;;;;;;-1:-1:-1;;;;;;;;;;;10304:67:0;;;;;;;;;;;;;;;10422:10;10414:19;;;;:7;:19;;;;;;;;-1:-1:-1;;;;;10414:29:0;;;;;;;;;;:46;;10448:11;10414:46;:33;:46;:::i;:::-;10390:10;10382:19;;;;:7;:19;;;;;;;;-1:-1:-1;;;;;10382:29:0;;;;;;;;;;;;:78;;;10476:61;;;;;;10382:29;;10476:61;;;;;;;;;;;-1:-1:-1;10555:4:0;10195:372;;;;:::o;27779:262::-;27133:23;;-1:-1:-1;;;;;27133:23:0;27119:10;:37;27111:77;;;;;-1:-1:-1;;;;;27111:77:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;;;;27881:28:0;;;;;;:21;:28;;;;;;;;27873:65;;;;;;;-1:-1:-1;;;;;27873:65:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;;;;27949:28:0;;27980:5;27949:28;;;:21;:28;;;;;;:36;;-1:-1:-1;;27949:36:0;;;28001:32;;;27980:5;28001:32;27779:262;:::o;11869:179::-;-1:-1:-1;;;;;12015:15:0;;;11983:7;12015:15;;;:7;:15;;;;;;;;:25;;;;;;;;;;;;;11869:179::o;16567:408::-;15672:19;;16709:16;;-1:-1:-1;;;;;15672:19:0;15658:10;:33;15650:69;;;;;-1:-1:-1;;;;;15650:69:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;;;;16659:13:0;;;;;;:6;:13;;;;;;;;16651:47;;;;;;;-1:-1:-1;;;;;16651:47:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;;;;;16728:15:0;;;;;;:8;:15;;;;;;;16754:19;;;16799:12;;:26;;16728:15;16799:26;:16;:26;:::i;:::-;16784:12;:41;16841:25;;-1:-1:-1;;;;;16841:25:0;;;;;;;;16882:32;;;;;;;;-1:-1:-1;;;;;16882:32:0;;;;;;;;;;;;;16930:37;;;;;;;;16954:1;;-1:-1:-1;;;;;16930:37:0;;;-1:-1:-1;;;;;;;;;;;16930:37:0;;;;;;;;16567:408;;:::o;3202:33::-;;;;:::o;17182:99::-;-1:-1:-1;;;;;17260:13:0;17236:4;17260:13;;;:6;:13;;;;;;;;;17182:99::o;2316:31::-;;;-1:-1:-1;;;;;2316:31:0;;:::o;22471:1972::-;14414:6;;22653:4;;;;;;;;-1:-1:-1;;;14414:6:0;;;;14413:7;14405:33;;;;;-1:-1:-1;;;;;14405:33:0;;;;;;;;;;;;-1:-1:-1;;;;;;;;;;;14405:33:0;;;;;;;;;;;;;;;22700:10;22678:33;;;;:21;:33;;;;;;;;22670:93;;;;;;;-1:-1:-1;;;;;22670:93:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;22790:1;22782:5;:9;:20;;;;22801:1;22795:3;:7;22782:20;22774:74;;;;;;;-1:-1:-1;;;;;22774:74:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;22867:12;:24;-1:-1:-1;22867:24:0;22859:56;;;;;-1:-1:-1;;;;;22859:56:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;23002:66;22988:80;;;22980:112;;;;;-1:-1:-1;;;;;22980:112:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;23111:1;:7;;23116:2;23111:7;:18;;;;23122:1;:7;;23127:2;23122:7;23111:18;23103:50;;;;;;;-1:-1:-1;;;;;23103:50:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;2976:117;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;23296:149;;;;-1:-1:-1;;;;;23392:11:0;;23296:149;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;26:21:-1;;;22:32;;;6:49;;23296:149:0;;;;;;;;23286:160;;23296:149;;;;;23286:160;;;;23296:149;23286:160;36:153:-1;66:2;58:11;;36:153;;176:10;;164:23;;-1:-1;;139:12;;;;98:2;89:12;;;;114;36:153;;;299:10;344;;263:2;259:12;;;254:3;250:22;-1:-1;;246:30;311:9;;295:26;;;340:21;;377:20;365:33;;23286:160:0;;;;;;;;;;;;23499:13;;;;;;;;;;;;;;;;23514:18;;23482:74;;23286:160;;-1:-1:-1;23286:160:0;;-1:-1:-1;23514:18:0;;-1:-1:-1;23286:160:0;;23482:74;;;-1:-1:-1;23482:74:0;;23499:13;;23482:74;23499:13;36:153:-1;66:2;58:11;;36:153;;176:10;;164:23;;-1:-1;;139:12;;;;98:2;89:12;;;;114;36:153;;;299:10;344;;263:2;259:12;;;254:3;250:22;-1:-1;;246:30;311:9;;295:26;;;340:21;;377:20;365:33;;23482:74:0;;;;;-1:-1:-1;23482:74:0;;;;;;;-1:-1:-1;23482:74:0;;;26:21:-1;;;22:32;;6:49;;23482:74:0;;;;;;;23472:85;;23482:74;;-1:-1:-1;23482:74:0;;;23472:85;;;;23482:74;23472:85;36:153:-1;66:2;58:11;;36:153;;176:10;;164:23;;-1:-1;;139:12;;;;98:2;89:12;;;;114;36:153;;;274:1;267:3;263:2;259:12;254:3;250:22;246:30;315:4;311:9;305:3;299:10;295:26;356:4;350:3;344:10;340:21;389:7;380;377:20;372:3;365:33;3:399;;;23472:85:0;;;;;;;;;;;;;;;;23457:100;;23584:24;23594:4;23600:1;23603;23606;23584:24;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;-1:-1;;23584:24:0;;-1:-1:-1;;23584:24:0;;;-1:-1:-1;;;;;;;23629:19:0;;;;23621:77;;;;;-1:-1:-1;;;;;23621:77:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;;;;23717:16:0;;;;23709:51;;;;;-1:-1:-1;;;;;23709:51:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;;;;23780:10:0;;;;;;:6;:10;;;;;;;;23779:11;:29;;;;-1:-1:-1;;;;;;23795:13:0;;;;;;:6;:13;;;;;;;;23794:14;23779:29;:52;;;;-1:-1:-1;23820:10:0;23813:18;;;;:6;:18;;;;;;;;23812:19;23779:52;23771:79;;;;;;;-1:-1:-1;;;;;23771:79:0;;;;;;;;;;;;-1:-1:-1;;;;;;;;;;;23771:79:0;;;;;;;;;;;;;;;-1:-1:-1;;;;;23887:15:0;;;;;;:8;:15;;;;;;23869:14;:5;23879:3;23869:14;:9;:14;:::i;:::-;:33;;23861:63;;;;;-1:-1:-1;;;;;23861:63:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;;;;23943:15:0;;;;;;:8;:15;;;;;;:22;;23935:48;;;;;-1:-1:-1;;;;;23935:48:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;;;;24014:15:0;;;;;;:8;:15;;;;;;:22;;24034:1;24014:22;:19;:22;:::i;:::-;-1:-1:-1;;;;;23996:15:0;;;;;;:8;:15;;;;;:40;24065:35;24085:14;:5;24095:3;24085:14;:9;:14;:::i;:::-;-1:-1:-1;;;;;24065:15:0;;;;;;:8;:15;;;;;;;:35;:19;:35;:::i;:::-;-1:-1:-1;;;;;24047:15:0;;;;;;:8;:15;;;;;:53;24115:8;;24111:145;;24172:10;24163:20;;;;:8;:20;;;;;;:29;;24188:3;24163:29;:24;:29;:::i;:::-;24149:10;24140:20;;;;:8;:20;;;;;;;;;:52;;;;24212:32;;;;;;;24149:10;;-1:-1:-1;;;;;24212:32:0;;;-1:-1:-1;;;;;;;;;;;24212:32:0;;;;;;;;;24111:145;-1:-1:-1;;;;;24281:12:0;;;;;;:8;:12;;;;;;:23;;24298:5;24281:23;:16;:23;:::i;:::-;-1:-1:-1;;;;;24266:12:0;;;;;;;:8;:12;;;;;;;;;:38;;;;24320:26;;;;;;;24266:12;;24320:26;;;;-1:-1:-1;;;;;;;;;;;24320:26:0;;;;;;;;24364:49;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;;;;24364:49:0;;;;;;;;;;;;;;;;;-1:-1:-1;24431:4:0;;22471:1972;-1:-1:-1;;;;;;;;;;;22471:1972:0:o;310:150::-;368:7;;396:6;;;;388:15;;;;;;-1:-1:-1;;426:5:0;;;310:150::o;536:::-;594:7;626:5;;;650:6;;;;642:15;;;;;;677:1;536:150;-1:-1:-1;;;536:150:0:o;6151:345::-;2823:80;;;;;;;;;;;;;;;;;;;;;;;;;6425:4;;;;;;;;;;;;;;;;6409:22;;2823:80;;6409:22;;;;6425:4;6409:22;6425:4;36:153:-1;66:2;58:11;;36:153;;176:10;;164:23;;-1:-1;;139:12;;;;98:2;89:12;;;;114;36:153;;;299:10;344;;263:2;259:12;;;254:3;250:22;-1:-1;;246:30;311:9;;295:26;;;340:21;;377:20;365:33;;6409:22:0;;;;;;;;;;;;6298:189;;;;;;;;;;;;;;6466:4;6298:189;;;;;;;;;;26:21:-1;;;22:32;;;6:49;;6298:189:0;;;;;;;;6288:200;;6298:189;;;;-1:-1:-1;6298:189:0;;-1:-1:-1;6288:200:0;;;;;-1:-1:-1;6288:200:0;6298:189;6288:200;36:153:-1;66:2;58:11;;36:153;;176:10;;164:23;;-1:-1;;139:12;;;;98:2;89:12;;;;114;36:153;;;299:10;344;;263:2;259:12;;;;254:3;250:22;-1:-1;;246:30;311:9;;295:26;;;340:21;;377:20;;;;365:33;;6288:200:0;;;;;;;;;;6267:18;:221;-1:-1:-1;;;6151:345:0:o

bzzr://0edeefd5e213c4fc9ad14c1640ef08f045372309775020210912ee8868c1d8c0