Contract Source Code (Solidity)

IDE

• Blockscan IDE

Outline

• interface IMoleculeLogic
•    - function check(address account)
•    - function logicName()
•    - function isAllowlist()
• interface IMoleculeController
•    - function check(address toCheck)
•    - function check(
•    - function selected()
•    - function status()
•    - function setStatus(Status status)
•    - function select(uint32[] memory ids)
•    - function addLogic(
•    - function removeLogic(uint32 id)
•    - function addLogicBatch(
•    - function removeLogicBatch(uint32[] me ...
•    - function _msgSender()
•    - function _msgData()
•    - function owner()
•    - function _checkOwner()
•    - function renounceOwnership()
•    - function transferOwnership(address ne ...
•    - function _transferOwnership(address n ...
•  contract MoleculeController is Own ... *
•    - function check(address account)
•    - function check(
•    - function controllerName()
•    - function selected()
•    - function status()
•    - function setControllerName(string mem ...
•    - function setStatus(Status newStatus)
•    - function select(uint32[] memory ids)
•    - function addLogic(
•    - function removeLogic(uint32 id)
•    - function addLogicBatch(
•    - function removeLogicBatch(uint32[] me ...
•    - function _check(
•    - function _addLogic(
•    - function _removeLogic(uint32 id)

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

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

// File: contracts/IMoleculeLogic.sol


pragma solidity ^0.8.17;

// Interface for Molecule Smart Contract
interface IMoleculeLogic {
    // Recommended public variables for each MoleculeLogic contract
    // Human readable name of the list
    // string public _logicName;
    // True if the list is an allowlist, false if it is a Blocklist
    // string public _isAllowlist;

    function check(address account) external view returns (bool);

    // Recommended public functions for retrieving public variables
    function logicName() external view returns (string memory);

    function isAllowlist() external view returns (bool);

    // Recommended owner only functions, but not mandatory
    // function addBatch(address[] memory addresses) external returns (bool);
    // function removeBatch(address[] memory addresses) external;
}
// File: contracts/IMoleculeController.sol


//pragma solidity ^0.8.17;

pragma solidity  >=0.6.12;

// Interface for Molecule Protocol Smart Contract
interface IMoleculeController {
    // Human readable name of the controller
    // string public _controllerName;
    // // selected logic combinations
    // uint32[] private _selected;

    // Gated: gated by logic
    // Blocked: always return `false`
    // Bypassed: always return `true`
    enum Status {
        Gated,
        Blocked,
        Bypassed
    }

    // // list id => atomic logic contract address
    // mapping(uint32 => address) private _logicContract;
    // // list id => allow- (true) or block- (false) list
    // mapping(uint32 => bool) private _isAllowList;
    // // list id => list name
    // mapping(uint32 => string) private _name;
    // // list id => logic modifier: add negation if true or false for as-is
    // mapping(uint32 => bool) private _reverseLogic; // NOT used, always false

    // event emitted when the controller name is changed
    event ControllerNameUpdated(string name);
    // event emitted when a new list is added
    event LogicAdded(
        uint32 indexed id,
        address indexed logicContract,
        bool isAllowList,
        string name,
        bool reverseLogic
    );
    // event emitted when a list is removed
    event LogicRemoved(uint32 indexed id);
    // event emitted when a new logic combination is selected
    event Selected(uint32[] ids);
    // event emitted when status changed
    event StatusChanged(Status status);

    // Use default logic combination
    function check(address toCheck) external view returns (bool);

    // Use custom logic combination, passed in as an array of list ids
    function check(
        uint32[] memory ids,
        address toCheck
    ) external view returns (bool);

    // Get the current selected logic combination
    function selected() external view returns (uint32[] memory);

    // Get the current status of the contract
    function status() external view returns (Status);

    // Owner only functions
    // Control the status of the contract
    function setStatus(Status status) external;

    // Preselect logic combinations
    function select(uint32[] memory ids) external;

    // Add a new logic
    function addLogic(
        uint32 id,
        address logicContract,
        string memory name,
        bool reverseLogic
    ) external;

    // Remove a logic
    function removeLogic(uint32 id) external;

    // Add new logics in batch
    function addLogicBatch(
        uint32[] memory ids,
        address[] memory logicContracts,
        string[] memory names,
        bool[] memory reverseLogics
    ) external;

    // Remove logics in batch
    function removeLogicBatch(uint32[] memory ids) external;
}
// File: @openzeppelin/contracts/utils/Context.sol


// OpenZeppelin Contracts v4.4.1 (utils/Context.sol)

pragma solidity ^0.8.0;

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

    function _msgData() internal view virtual returns (bytes calldata) {
        return msg.data;
    }
}

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


// OpenZeppelin Contracts (last updated v4.9.0) (access/Ownable.sol)

pragma solidity ^0.8.0;


/**
 * @dev Contract module which provides a basic access control mechanism, where
 * there is an account (an owner) that can be granted exclusive access to
 * specific functions.
 *
 * By default, the owner account will be the one that deploys the contract. This
 * can later be changed with {transferOwnership}.
 *
 * This module is used through inheritance. It will make available the modifier
 * `onlyOwner`, which can be applied to your functions to restrict their use to
 * the owner.
 */
abstract contract Ownable is Context {
    address private _owner;

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

    /**
     * @dev Initializes the contract setting the deployer as the initial owner.
     */
    constructor() {
        _transferOwnership(_msgSender());
    }

    /**
     * @dev Throws if called by any account other than the owner.
     */
    modifier onlyOwner() {
        _checkOwner();
        _;
    }

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

    /**
     * @dev Throws if the sender is not the owner.
     */
    function _checkOwner() internal view virtual {
        require(owner() == _msgSender(), "Ownable: caller is not the owner");
    }

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

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

    /**
     * @dev Transfers ownership of the contract to a new account (`newOwner`).
     * Internal function without access restriction.
     */
    function _transferOwnership(address newOwner) internal virtual {
        address oldOwner = _owner;
        _owner = newOwner;
        emit OwnershipTransferred(oldOwner, newOwner);
    }
}

// File: contracts/MoleculeController.sol


pragma solidity ^0.8.17;




/// @title Molecule Protocol Controller Contract
/// @dev This contract implements the IMoleculeController interface
contract MoleculeController is Ownable, IMoleculeController {
    // Human readable name of the controller
    string public _controllerName;
    // default logic combinations to use
    uint32[] public _selected;
    // current status of the contract
    Status public _status = Status.Gated;

    // list id => atomic logic contract address
    mapping(uint32 => address) private _logicContract;
    // list id => allow- (true) or block- (false) list
    mapping(uint32 => bool) private _isAllowList;
    // list id => name of contract
    mapping(uint32 => string) private _logicContractLabel;
    // list id => logic modifier: add negation if true or false for as-is
    mapping(uint32 => bool) private _reverseLogic;

    // Note: Enum & Events are defined by the interface

    constructor(string memory name_) {
        _controllerName = name_;
        emit ControllerNameUpdated(name_);
    }

    // Use default logic combination
    function check(address account) external view returns (bool) {
        return _check(_selected, account);
    }

    // Use custom logic combination, passed in as an array of list ids
    function check(
        uint32[] memory ids,
        address account
    ) external view returns (bool) {
        return _check(ids, account);
    }

    // Get the controller name
    function controllerName() external view returns (string memory) {
        return _controllerName;
    }

    // Get the current selected logic combination
    function selected() external view returns (uint32[] memory) {
        return _selected;
    }

    // Get the current status of the contract
    function status() external view returns (Status) {
        return _status;
    }

    // Owner only functions
    // Change the controller name
    function setControllerName(string memory name_) external onlyOwner {
        _controllerName = name_;
        emit ControllerNameUpdated(name_);
    }

    // Control the status of the contract
    function setStatus(Status newStatus) external onlyOwner {
        _status = newStatus;
        emit StatusChanged(newStatus);
    }

    // Preselect logic combinations
    function select(uint32[] memory ids) external onlyOwner {
        for (uint i = 0; i < ids.length; ) {
            require(
                _logicContract[ids[i]] != address(0),
                "Molecule: logic id not found"
            );
            unchecked {
                ++i;
            }
        }
        _selected = ids;
        emit Selected(ids);
    }

    function addLogic(
        uint32 id,
        address logicContract,
        string memory name,
        bool reverseLogic
    ) external onlyOwner {
        _addLogic(id, logicContract, name, reverseLogic);
    }

    // Note: may break selected logic combinations if id is in use
    function removeLogic(uint32 id) external onlyOwner {
        _removeLogic(id);
    }

    function addLogicBatch(
        uint32[] memory ids,
        address[] memory logicContracts,
        string[] memory names,
        bool[] memory reverseLogics
    ) external onlyOwner {
        require(
            ids.length == logicContracts.length,
            "MoleculeAML: ids and logicContracts must be same length"
        );
        require(
            ids.length == names.length,
            "MoleculeAML: ids and names must be same length"
        );
        require(
            ids.length == reverseLogics.length,
            "MoleculeAML: ids and reverseLogics must be same length"
        );
        for (uint i = 0; i < ids.length; i++) {
            _addLogic(ids[i], logicContracts[i], names[i], reverseLogics[i]);
        }
    }

    // Note: may break selected logic combinations if id is in use
    function removeLogicBatch(uint32[] memory ids) external onlyOwner {
        for (uint i = 0; i < ids.length; ) {
            _removeLogic(ids[i]);
            unchecked {
                ++i;
            }
        }
    }

    // Internal functions
    function _check(
        uint32[] memory ids,
        address account
    ) internal view returns (bool) {
        // Contract status checks
        if (_status == Status.Blocked) return false;
        if (_status == Status.Bypassed) return true;
        require(ids.length > 0, "Molecule: no logic ids provided");
        for (uint i = 0; i < ids.length; ) {
            uint32 id = ids[i];
            require(
                _logicContract[id] != address(0),
                "MoleculeAML: list not found"
            );
            bool result = IMoleculeLogic(_logicContract[id]).check(account);
            // If the list is NOT an allow list, reverse the result
            if (!_isAllowList[id]) {
                result = !result;
            }
            // If reverse logic is set, reverse the result
            if (_reverseLogic[id]) {
                result = !result;
            }
            // If any check failed, return false
            if (!result) {
                return false;
            }
            unchecked {
                ++i;
            }
        }
        return true;
    }

    function _addLogic(
        uint32 id,
        address logicContract,
        string memory name,
        bool reverseLogic
    ) internal onlyOwner {
        require(
            _logicContract[id] == address(0),
            "Molecule: logic id already exists"
        );
        require(
            logicContract != address(0),
            "Molecule: logic contract address cannot be zero"
        );
        _logicContract[id] = logicContract;
        // extract the isAllowList value from the logic contract
        _isAllowList[id] = IMoleculeLogic(logicContract).isAllowlist();
        // if a name is provided, use it, otherwise use the name from the logic contract
        if (bytes(name).length > 0) {
            _logicContractLabel[id] = name;
        } else {
            _logicContractLabel[id] = IMoleculeLogic(logicContract).logicName();
        }
        _reverseLogic[id] = reverseLogic; // NOT used, should always be false
        emit LogicAdded(
            id,
            logicContract,
            _isAllowList[id],
            _logicContractLabel[id],
            reverseLogic
        );
    }

    function _removeLogic(uint32 id) internal onlyOwner {
        require(
            _logicContract[id] != address(0),
            "Molecule: logic id not found"
        );
        delete _logicContract[id];
        delete _isAllowList[id];
        delete _logicContractLabel[id];
        delete _reverseLogic[id];
        emit LogicRemoved(id);
    }

    
}

[{"inputs":[{"internalType":"string","name":"name_","type":"string"}],"stateMutability":"nonpayable","type":"constructor"},{"anonymous":false,"inputs":[{"indexed":false,"internalType":"string","name":"name","type":"string"}],"name":"ControllerNameUpdated","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"uint32","name":"id","type":"uint32"},{"indexed":true,"internalType":"address","name":"logicContract","type":"address"},{"indexed":false,"internalType":"bool","name":"isAllowList","type":"bool"},{"indexed":false,"internalType":"string","name":"name","type":"string"},{"indexed":false,"internalType":"bool","name":"reverseLogic","type":"bool"}],"name":"LogicAdded","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"uint32","name":"id","type":"uint32"}],"name":"LogicRemoved","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"previousOwner","type":"address"},{"indexed":true,"internalType":"address","name":"newOwner","type":"address"}],"name":"OwnershipTransferred","type":"event"},{"anonymous":false,"inputs":[{"indexed":false,"internalType":"uint32[]","name":"ids","type":"uint32[]"}],"name":"Selected","type":"event"},{"anonymous":false,"inputs":[{"indexed":false,"internalType":"enum IMoleculeController.Status","name":"status","type":"uint8"}],"name":"StatusChanged","type":"event"},{"inputs":[],"name":"_controllerName","outputs":[{"internalType":"string","name":"","type":"string"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"uint256","name":"","type":"uint256"}],"name":"_selected","outputs":[{"internalType":"uint32","name":"","type":"uint32"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"_status","outputs":[{"internalType":"enum IMoleculeController.Status","name":"","type":"uint8"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"uint32","name":"id","type":"uint32"},{"internalType":"address","name":"logicContract","type":"address"},{"internalType":"string","name":"name","type":"string"},{"internalType":"bool","name":"reverseLogic","type":"bool"}],"name":"addLogic","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"uint32[]","name":"ids","type":"uint32[]"},{"internalType":"address[]","name":"logicContracts","type":"address[]"},{"internalType":"string[]","name":"names","type":"string[]"},{"internalType":"bool[]","name":"reverseLogics","type":"bool[]"}],"name":"addLogicBatch","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"uint32[]","name":"ids","type":"uint32[]"},{"internalType":"address","name":"account","type":"address"}],"name":"check","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"account","type":"address"}],"name":"check","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"controllerName","outputs":[{"internalType":"string","name":"","type":"string"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"owner","outputs":[{"internalType":"address","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"uint32","name":"id","type":"uint32"}],"name":"removeLogic","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"uint32[]","name":"ids","type":"uint32[]"}],"name":"removeLogicBatch","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"renounceOwnership","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"uint32[]","name":"ids","type":"uint32[]"}],"name":"select","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"selected","outputs":[{"internalType":"uint32[]","name":"","type":"uint32[]"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"string","name":"name_","type":"string"}],"name":"setControllerName","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"enum IMoleculeController.Status","name":"newStatus","type":"uint8"}],"name":"setStatus","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"status","outputs":[{"internalType":"enum IMoleculeController.Status","name":"","type":"uint8"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"newOwner","type":"address"}],"name":"transferOwnership","outputs":[],"stateMutability":"nonpayable","type":"function"}]

60806040526000600360006101000a81548160ff021916908360028111156200002d576200002c620001a3565b5b02179055503480156200003f57600080fd5b50604051620032be380380620032be833981810160405281019062000065919062000365565b6200008562000079620000d760201b60201c565b620000df60201b60201c565b806001908162000096919062000601565b507f79ec94d71020950aec4424f7ffb623aff24fe1d79a6ea35f1faf239a547e569181604051620000c891906200073a565b60405180910390a1506200075e565b600033905090565b60008060009054906101000a900473ffffffffffffffffffffffffffffffffffffffff169050816000806101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055508173ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff167f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e060405160405180910390a35050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052602160045260246000fd5b6000604051905090565b600080fd5b600080fd5b600080fd5b600080fd5b6000601f19601f8301169050919050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052604160045260246000fd5b6200023b82620001f0565b810181811067ffffffffffffffff821117156200025d576200025c62000201565b5b80604052505050565b600062000272620001d2565b905062000280828262000230565b919050565b600067ffffffffffffffff821115620002a357620002a262000201565b5b620002ae82620001f0565b9050602081019050919050565b60005b83811015620002db578082015181840152602081019050620002be565b60008484015250505050565b6000620002fe620002f88462000285565b62000266565b9050828152602081018484840111156200031d576200031c620001eb565b5b6200032a848285620002bb565b509392505050565b600082601f8301126200034a5762000349620001e6565b5b81516200035c848260208601620002e7565b91505092915050565b6000602082840312156200037e576200037d620001dc565b5b600082015167ffffffffffffffff8111156200039f576200039e620001e1565b5b620003ad8482850162000332565b91505092915050565b600081519050919050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052602260045260246000fd5b600060028204905060018216806200040957607f821691505b6020821081036200041f576200041e620003c1565b5b50919050565b60008190508160005260206000209050919050565b60006020601f8301049050919050565b600082821b905092915050565b600060088302620004897fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff826200044a565b6200049586836200044a565b95508019841693508086168417925050509392505050565b6000819050919050565b6000819050919050565b6000620004e2620004dc620004d684620004ad565b620004b7565b620004ad565b9050919050565b6000819050919050565b620004fe83620004c1565b620005166200050d82620004e9565b84845462000457565b825550505050565b600090565b6200052d6200051e565b6200053a818484620004f3565b505050565b5b8181101562000562576200055660008262000523565b60018101905062000540565b5050565b601f821115620005b1576200057b8162000425565b62000586846200043a565b8101602085101562000596578190505b620005ae620005a5856200043a565b8301826200053f565b50505b505050565b600082821c905092915050565b6000620005d660001984600802620005b6565b1980831691505092915050565b6000620005f18383620005c3565b9150826002028217905092915050565b6200060c82620003b6565b67ffffffffffffffff81111562000628576200062762000201565b5b620006348254620003f0565b6200064182828562000566565b600060209050601f83116001811462000679576000841562000664578287015190505b620006708582620005e3565b865550620006e0565b601f198416620006898662000425565b60005b82811015620006b3578489015182556001820191506020850194506020810190506200068c565b86831015620006d35784890151620006cf601f891682620005c3565b8355505b6001600288020188555050505b505050505050565b600082825260208201905092915050565b60006200070682620003b6565b620007128185620006e8565b935062000724818560208601620002bb565b6200072f81620001f0565b840191505092915050565b60006020820190508181036000830152620007568184620006f9565b905092915050565b612b50806200076e6000396000f3fe608060405234801561001057600080fd5b50600436106101165760003560e01c8063a09abcbd116100a2578063ce7bc22b11610071578063ce7bc22b146102bb578063e0a222c6146102d7578063e87722f1146102f5578063ea3e571414610311578063f2fde38b1461032d57610116565b8063a09abcbd1461020f578063bad7d1091461023f578063bc833d381461025b578063c23697a81461028b57610116565b80632e49d78b116100e95780632e49d78b146101915780636b35120d146101ad578063715018a6146101cb57806377df2873146101d55780638da5cb5b146101f157610116565b80630fb3844c1461011b5780631612983e14610139578063200d2ed21461015557806328a3007614610173575b600080fd5b610123610349565b60405161013091906115f1565b60405180910390f35b610153600480360381019061014e919061165c565b61035c565b005b61015d610370565b60405161016a91906115f1565b60405180910390f35b61017b610387565b6040516101889190611719565b60405180910390f35b6101ab60048036038101906101a69190611760565b610419565b005b6101b5610485565b6040516101c2919061184b565b60405180910390f35b6101d3610509565b005b6101ef60048036038101906101ea91906119b5565b61051d565b005b6101f9610563565b6040516102069190611a3f565b60405180910390f35b61022960048036038101906102249190611a90565b61058c565b6040516102369190611acc565b60405180910390f35b61025960048036038101906102549190611c00565b6105c6565b005b61027560048036038101906102709190611c83565b6105e0565b6040516102829190611cee565b60405180910390f35b6102a560048036038101906102a09190611d09565b6105f4565b6040516102b29190611cee565b60405180910390f35b6102d560048036038101906102d09190611f9d565b610683565b005b6102df6107f1565b6040516102ec9190611719565b60405180910390f35b61030f600480360381019061030a9190612074565b61087f565b005b61032b600480360381019061032691906119b5565b6108d1565b005b61034760048036038101906103429190611d09565b610a0a565b005b600360009054906101000a900460ff1681565b610364610a8d565b61036d81610b0b565b50565b6000600360009054906101000a900460ff16905090565b606060018054610396906120ec565b80601f01602080910402602001604051908101604052809291908181526020018280546103c2906120ec565b801561040f5780601f106103e45761010080835404028352916020019161040f565b820191906000526020600020905b8154815290600101906020018083116103f257829003601f168201915b5050505050905090565b610421610a8d565b80600360006101000a81548160ff021916908360028111156104465761044561157a565b5b02179055507fafa725e7f44cadb687a7043853fa1a7e7b8f0da74ce87ec546e9420f04da8c1e8160405161047a91906115f1565b60405180910390a150565b606060028054806020026020016040519081016040528092919081815260200182805480156104ff57602002820191906000526020600020906000905b82829054906101000a900463ffffffff1663ffffffff16815260200190600401906020826003010492830192600103820291508084116104c25790505b5050505050905090565b610511610a8d565b61051b6000610cc2565b565b610525610a8d565b60005b815181101561055f576105548282815181106105475761054661211d565b5b6020026020010151610b0b565b806001019050610528565b5050565b60008060009054906101000a900473ffffffffffffffffffffffffffffffffffffffff16905090565b6002818154811061059c57600080fd5b9060005260206000209060089182820401919006600402915054906101000a900463ffffffff1681565b6105ce610a8d565b6105da84848484610d86565b50505050565b60006105ec838361116b565b905092915050565b600061067c600280548060200260200160405190810160405280929190818152602001828054801561067157602002820191906000526020600020906000905b82829054906101000a900463ffffffff1663ffffffff16815260200190600401906020826003010492830192600103820291508084116106345790505b50505050508361116b565b9050919050565b61068b610a8d565b82518451146106cf576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016106c6906121be565b60405180910390fd5b8151845114610713576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161070a90612250565b60405180910390fd5b8051845114610757576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161074e906122e2565b60405180910390fd5b60005b84518110156107ea576107d78582815181106107795761077861211d565b5b60200260200101518583815181106107945761079361211d565b5b60200260200101518584815181106107af576107ae61211d565b5b60200260200101518585815181106107ca576107c961211d565b5b6020026020010151610d86565b80806107e290612331565b91505061075a565b5050505050565b600180546107fe906120ec565b80601f016020809104026020016040519081016040528092919081815260200182805461082a906120ec565b80156108775780601f1061084c57610100808354040283529160200191610877565b820191906000526020600020905b81548152906001019060200180831161085a57829003601f168201915b505050505081565b610887610a8d565b80600190816108969190612525565b507f79ec94d71020950aec4424f7ffb623aff24fe1d79a6ea35f1faf239a547e5691816040516108c69190611719565b60405180910390a150565b6108d9610a8d565b60005b81518110156109b857600073ffffffffffffffffffffffffffffffffffffffff16600460008484815181106109145761091361211d565b5b602002602001015163ffffffff1663ffffffff16815260200190815260200160002060009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16036109ad576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016109a490612643565b60405180910390fd5b8060010190506108dc565b5080600290805190602001906109cf92919061146d565b507f30148371507296bbd437731de0e023cda1136ad35603de3aa3b637517c97f61e816040516109ff919061184b565b60405180910390a150565b610a12610a8d565b600073ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff1603610a81576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610a78906126d5565b60405180910390fd5b610a8a81610cc2565b50565b610a95611465565b73ffffffffffffffffffffffffffffffffffffffff16610ab3610563565b73ffffffffffffffffffffffffffffffffffffffff1614610b09576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610b0090612741565b60405180910390fd5b565b610b13610a8d565b600073ffffffffffffffffffffffffffffffffffffffff16600460008363ffffffff1663ffffffff16815260200190815260200160002060009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1603610bc1576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610bb890612643565b60405180910390fd5b600460008263ffffffff1663ffffffff16815260200190815260200160002060006101000a81549073ffffffffffffffffffffffffffffffffffffffff0219169055600560008263ffffffff1663ffffffff16815260200190815260200160002060006101000a81549060ff0219169055600660008263ffffffff1663ffffffff1681526020019081526020016000206000610c5d919061151d565b600760008263ffffffff1663ffffffff16815260200190815260200160002060006101000a81549060ff02191690558063ffffffff167f0cc7ebcad4ac16bd69a016593fa4c81cfc09ea6756420b69c6a4d45c011ea3de60405160405180910390a250565b60008060009054906101000a900473ffffffffffffffffffffffffffffffffffffffff169050816000806101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055508173ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff167f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e060405160405180910390a35050565b610d8e610a8d565b600073ffffffffffffffffffffffffffffffffffffffff16600460008663ffffffff1663ffffffff16815260200190815260200160002060009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1614610e3c576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610e33906127d3565b60405180910390fd5b600073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff1603610eab576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610ea290612865565b60405180910390fd5b82600460008663ffffffff1663ffffffff16815260200190815260200160002060006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055508273ffffffffffffffffffffffffffffffffffffffff1663169d8edd6040518163ffffffff1660e01b8152600401602060405180830381865afa158015610f54573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190610f78919061289a565b600560008663ffffffff1663ffffffff16815260200190815260200160002060006101000a81548160ff021916908315150217905550600082511115610fea5781600660008663ffffffff1663ffffffff1681526020019081526020016000209081610fe49190612525565b5061108b565b8273ffffffffffffffffffffffffffffffffffffffff16632c26486d6040518163ffffffff1660e01b8152600401600060405180830381865afa158015611035573d6000803e3d6000fd5b505050506040513d6000823e3d601f19601f8201168201806040525081019061105e9190612937565b600660008663ffffffff1663ffffffff16815260200190815260200160002090816110899190612525565b505b80600760008663ffffffff1663ffffffff16815260200190815260200160002060006101000a81548160ff0219169083151502179055508273ffffffffffffffffffffffffffffffffffffffff168463ffffffff167f36c136b1b5a13bbbdeb0504119ca535861f0e92c0ea4f58b88d02a1423d5dfad600560008863ffffffff1663ffffffff16815260200190815260200160002060009054906101000a900460ff16600660008963ffffffff1663ffffffff1681526020019081526020016000208560405161115d93929190612a04565b60405180910390a350505050565b6000600160028111156111815761118061157a565b5b600360009054906101000a900460ff1660028111156111a3576111a261157a565b5b036111b1576000905061145f565b6002808111156111c4576111c361157a565b5b600360009054906101000a900460ff1660028111156111e6576111e561157a565b5b036111f4576001905061145f565b6000835111611238576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161122f90612a8e565b60405180910390fd5b60005b83518110156114595760008482815181106112595761125861211d565b5b60200260200101519050600073ffffffffffffffffffffffffffffffffffffffff16600460008363ffffffff1663ffffffff16815260200190815260200160002060009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1603611311576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161130890612afa565b60405180910390fd5b6000600460008363ffffffff1663ffffffff16815260200190815260200160002060009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1663c23697a8866040518263ffffffff1660e01b815260040161138b9190611a3f565b602060405180830381865afa1580156113a8573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906113cc919061289a565b9050600560008363ffffffff1663ffffffff16815260200190815260200160002060009054906101000a900460ff1661140457801590505b600760008363ffffffff1663ffffffff16815260200190815260200160002060009054906101000a900460ff161561143b57801590505b8061144c576000935050505061145f565b826001019250505061123b565b50600190505b92915050565b600033905090565b8280548282559060005260206000209060070160089004810192821561150c5791602002820160005b838211156114da57835183826101000a81548163ffffffff021916908363ffffffff1602179055509260200192600401602081600301049283019260010302611496565b801561150a5782816101000a81549063ffffffff02191690556004016020816003010492830192600103026114da565b505b509050611519919061155d565b5090565b508054611529906120ec565b6000825580601f1061153b575061155a565b601f016020900490600052602060002090810190611559919061155d565b5b50565b5b8082111561157657600081600090555060010161155e565b5090565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052602160045260246000fd5b600381106115ba576115b961157a565b5b50565b60008190506115cb826115a9565b919050565b60006115db826115bd565b9050919050565b6115eb816115d0565b82525050565b600060208201905061160660008301846115e2565b92915050565b6000604051905090565b600080fd5b600080fd5b600063ffffffff82169050919050565b61163981611620565b811461164457600080fd5b50565b60008135905061165681611630565b92915050565b60006020828403121561167257611671611616565b5b600061168084828501611647565b91505092915050565b600081519050919050565b600082825260208201905092915050565b60005b838110156116c35780820151818401526020810190506116a8565b60008484015250505050565b6000601f19601f8301169050919050565b60006116eb82611689565b6116f58185611694565b93506117058185602086016116a5565b61170e816116cf565b840191505092915050565b6000602082019050818103600083015261173381846116e0565b905092915050565b6003811061174857600080fd5b50565b60008135905061175a8161173b565b92915050565b60006020828403121561177657611775611616565b5b60006117848482850161174b565b91505092915050565b600081519050919050565b600082825260208201905092915050565b6000819050602082019050919050565b6117c281611620565b82525050565b60006117d483836117b9565b60208301905092915050565b6000602082019050919050565b60006117f88261178d565b6118028185611798565b935061180d836117a9565b8060005b8381101561183e57815161182588826117c8565b9750611830836117e0565b925050600181019050611811565b5085935050505092915050565b6000602082019050818103600083015261186581846117ed565b905092915050565b600080fd5b7f4e487b7100000000000000000000000000000000000000000000000000000000600052604160045260246000fd5b6118aa826116cf565b810181811067ffffffffffffffff821117156118c9576118c8611872565b5b80604052505050565b60006118dc61160c565b90506118e882826118a1565b919050565b600067ffffffffffffffff82111561190857611907611872565b5b602082029050602081019050919050565b600080fd5b600061193161192c846118ed565b6118d2565b9050808382526020820190506020840283018581111561195457611953611919565b5b835b8181101561197d57806119698882611647565b845260208401935050602081019050611956565b5050509392505050565b600082601f83011261199c5761199b61186d565b5b81356119ac84826020860161191e565b91505092915050565b6000602082840312156119cb576119ca611616565b5b600082013567ffffffffffffffff8111156119e9576119e861161b565b5b6119f584828501611987565b91505092915050565b600073ffffffffffffffffffffffffffffffffffffffff82169050919050565b6000611a29826119fe565b9050919050565b611a3981611a1e565b82525050565b6000602082019050611a546000830184611a30565b92915050565b6000819050919050565b611a6d81611a5a565b8114611a7857600080fd5b50565b600081359050611a8a81611a64565b92915050565b600060208284031215611aa657611aa5611616565b5b6000611ab484828501611a7b565b91505092915050565b611ac681611620565b82525050565b6000602082019050611ae16000830184611abd565b92915050565b611af081611a1e565b8114611afb57600080fd5b50565b600081359050611b0d81611ae7565b92915050565b600080fd5b600067ffffffffffffffff821115611b3357611b32611872565b5b611b3c826116cf565b9050602081019050919050565b82818337600083830152505050565b6000611b6b611b6684611b18565b6118d2565b905082815260208101848484011115611b8757611b86611b13565b5b611b92848285611b49565b509392505050565b600082601f830112611baf57611bae61186d565b5b8135611bbf848260208601611b58565b91505092915050565b60008115159050919050565b611bdd81611bc8565b8114611be857600080fd5b50565b600081359050611bfa81611bd4565b92915050565b60008060008060808587031215611c1a57611c19611616565b5b6000611c2887828801611647565b9450506020611c3987828801611afe565b935050604085013567ffffffffffffffff811115611c5a57611c5961161b565b5b611c6687828801611b9a565b9250506060611c7787828801611beb565b91505092959194509250565b60008060408385031215611c9a57611c99611616565b5b600083013567ffffffffffffffff811115611cb857611cb761161b565b5b611cc485828601611987565b9250506020611cd585828601611afe565b9150509250929050565b611ce881611bc8565b82525050565b6000602082019050611d036000830184611cdf565b92915050565b600060208284031215611d1f57611d1e611616565b5b6000611d2d84828501611afe565b91505092915050565b600067ffffffffffffffff821115611d5157611d50611872565b5b602082029050602081019050919050565b6000611d75611d7084611d36565b6118d2565b90508083825260208201905060208402830185811115611d9857611d97611919565b5b835b81811015611dc15780611dad8882611afe565b845260208401935050602081019050611d9a565b5050509392505050565b600082601f830112611de057611ddf61186d565b5b8135611df0848260208601611d62565b91505092915050565b600067ffffffffffffffff821115611e1457611e13611872565b5b602082029050602081019050919050565b6000611e38611e3384611df9565b6118d2565b90508083825260208201905060208402830185811115611e5b57611e5a611919565b5b835b81811015611ea257803567ffffffffffffffff811115611e8057611e7f61186d565b5b808601611e8d8982611b9a565b85526020850194505050602081019050611e5d565b5050509392505050565b600082601f830112611ec157611ec061186d565b5b8135611ed1848260208601611e25565b91505092915050565b600067ffffffffffffffff821115611ef557611ef4611872565b5b602082029050602081019050919050565b6000611f19611f1484611eda565b6118d2565b90508083825260208201905060208402830185811115611f3c57611f3b611919565b5b835b81811015611f655780611f518882611beb565b845260208401935050602081019050611f3e565b5050509392505050565b600082601f830112611f8457611f8361186d565b5b8135611f94848260208601611f06565b91505092915050565b60008060008060808587031215611fb757611fb6611616565b5b600085013567ffffffffffffffff811115611fd557611fd461161b565b5b611fe187828801611987565b945050602085013567ffffffffffffffff8111156120025761200161161b565b5b61200e87828801611dcb565b935050604085013567ffffffffffffffff81111561202f5761202e61161b565b5b61203b87828801611eac565b925050606085013567ffffffffffffffff81111561205c5761205b61161b565b5b61206887828801611f6f565b91505092959194509250565b60006020828403121561208a57612089611616565b5b600082013567ffffffffffffffff8111156120a8576120a761161b565b5b6120b484828501611b9a565b91505092915050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052602260045260246000fd5b6000600282049050600182168061210457607f821691505b602082108103612117576121166120bd565b5b50919050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052603260045260246000fd5b7f4d6f6c6563756c65414d4c3a2069647320616e64206c6f676963436f6e74726160008201527f637473206d7573742062652073616d65206c656e677468000000000000000000602082015250565b60006121a8603783611694565b91506121b38261214c565b604082019050919050565b600060208201905081810360008301526121d78161219b565b9050919050565b7f4d6f6c6563756c65414d4c3a2069647320616e64206e616d6573206d7573742060008201527f62652073616d65206c656e677468000000000000000000000000000000000000602082015250565b600061223a602e83611694565b9150612245826121de565b604082019050919050565b600060208201905081810360008301526122698161222d565b9050919050565b7f4d6f6c6563756c65414d4c3a2069647320616e6420726576657273654c6f676960008201527f6373206d7573742062652073616d65206c656e67746800000000000000000000602082015250565b60006122cc603683611694565b91506122d782612270565b604082019050919050565b600060208201905081810360008301526122fb816122bf565b9050919050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052601160045260246000fd5b600061233c82611a5a565b91507fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff820361236e5761236d612302565b5b600182019050919050565b60008190508160005260206000209050919050565b60006020601f8301049050919050565b600082821b905092915050565b6000600883026123db7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff8261239e565b6123e5868361239e565b95508019841693508086168417925050509392505050565b6000819050919050565b600061242261241d61241884611a5a565b6123fd565b611a5a565b9050919050565b6000819050919050565b61243c83612407565b61245061244882612429565b8484546123ab565b825550505050565b600090565b612465612458565b612470818484612433565b505050565b5b818110156124945761248960008261245d565b600181019050612476565b5050565b601f8211156124d9576124aa81612379565b6124b38461238e565b810160208510156124c2578190505b6124d66124ce8561238e565b830182612475565b50505b505050565b600082821c905092915050565b60006124fc600019846008026124de565b1980831691505092915050565b600061251583836124eb565b9150826002028217905092915050565b61252e82611689565b67ffffffffffffffff81111561254757612546611872565b5b61255182546120ec565b61255c828285612498565b600060209050601f83116001811461258f576000841561257d578287015190505b6125878582612509565b8655506125ef565b601f19841661259d86612379565b60005b828110156125c5578489015182556001820191506020850194506020810190506125a0565b868310156125e257848901516125de601f8916826124eb565b8355505b6001600288020188555050505b505050505050565b7f4d6f6c6563756c653a206c6f676963206964206e6f7420666f756e6400000000600082015250565b600061262d601c83611694565b9150612638826125f7565b602082019050919050565b6000602082019050818103600083015261265c81612620565b9050919050565b7f4f776e61626c653a206e6577206f776e657220697320746865207a65726f206160008201527f6464726573730000000000000000000000000000000000000000000000000000602082015250565b60006126bf602683611694565b91506126ca82612663565b604082019050919050565b600060208201905081810360008301526126ee816126b2565b9050919050565b7f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572600082015250565b600061272b602083611694565b9150612736826126f5565b602082019050919050565b6000602082019050818103600083015261275a8161271e565b9050919050565b7f4d6f6c6563756c653a206c6f67696320696420616c726561647920657869737460008201527f7300000000000000000000000000000000000000000000000000000000000000602082015250565b60006127bd602183611694565b91506127c882612761565b604082019050919050565b600060208201905081810360008301526127ec816127b0565b9050919050565b7f4d6f6c6563756c653a206c6f67696320636f6e7472616374206164647265737360008201527f2063616e6e6f74206265207a65726f0000000000000000000000000000000000602082015250565b600061284f602f83611694565b915061285a826127f3565b604082019050919050565b6000602082019050818103600083015261287e81612842565b9050919050565b60008151905061289481611bd4565b92915050565b6000602082840312156128b0576128af611616565b5b60006128be84828501612885565b91505092915050565b60006128da6128d584611b18565b6118d2565b9050828152602081018484840111156128f6576128f5611b13565b5b6129018482856116a5565b509392505050565b600082601f83011261291e5761291d61186d565b5b815161292e8482602086016128c7565b91505092915050565b60006020828403121561294d5761294c611616565b5b600082015167ffffffffffffffff81111561296b5761296a61161b565b5b61297784828501612909565b91505092915050565b6000815461298d816120ec565b6129978186611694565b945060018216600081146129b257600181146129c8576129fb565b60ff1983168652811515602002860193506129fb565b6129d185612379565b60005b838110156129f3578154818901526001820191506020810190506129d4565b808801955050505b50505092915050565b6000606082019050612a196000830186611cdf565b8181036020830152612a2b8185612980565b9050612a3a6040830184611cdf565b949350505050565b7f4d6f6c6563756c653a206e6f206c6f676963206964732070726f766964656400600082015250565b6000612a78601f83611694565b9150612a8382612a42565b602082019050919050565b60006020820190508181036000830152612aa781612a6b565b9050919050565b7f4d6f6c6563756c65414d4c3a206c697374206e6f7420666f756e640000000000600082015250565b6000612ae4601b83611694565b9150612aef82612aae565b602082019050919050565b60006020820190508181036000830152612b1381612ad7565b905091905056fea2646970667358221220b39d83210f68fcc794738e588c217780c7694da5d664d1a05c13c8b35a94e38364736f6c634300081100330000000000000000000000000000000000000000000000000000000000000020000000000000000000000000000000000000000000000000000000000000001c47656e6572616c2053616e6374696f6e7320436f6e74726f6c6c657200000000

0x608060405234801561001057600080fd5b50600436106101165760003560e01c8063a09abcbd116100a2578063ce7bc22b11610071578063ce7bc22b146102bb578063e0a222c6146102d7578063e87722f1146102f5578063ea3e571414610311578063f2fde38b1461032d57610116565b8063a09abcbd1461020f578063bad7d1091461023f578063bc833d381461025b578063c23697a81461028b57610116565b80632e49d78b116100e95780632e49d78b146101915780636b35120d146101ad578063715018a6146101cb57806377df2873146101d55780638da5cb5b146101f157610116565b80630fb3844c1461011b5780631612983e14610139578063200d2ed21461015557806328a3007614610173575b600080fd5b610123610349565b60405161013091906115f1565b60405180910390f35b610153600480360381019061014e919061165c565b61035c565b005b61015d610370565b60405161016a91906115f1565b60405180910390f35b61017b610387565b6040516101889190611719565b60405180910390f35b6101ab60048036038101906101a69190611760565b610419565b005b6101b5610485565b6040516101c2919061184b565b60405180910390f35b6101d3610509565b005b6101ef60048036038101906101ea91906119b5565b61051d565b005b6101f9610563565b6040516102069190611a3f565b60405180910390f35b61022960048036038101906102249190611a90565b61058c565b6040516102369190611acc565b60405180910390f35b61025960048036038101906102549190611c00565b6105c6565b005b61027560048036038101906102709190611c83565b6105e0565b6040516102829190611cee565b60405180910390f35b6102a560048036038101906102a09190611d09565b6105f4565b6040516102b29190611cee565b60405180910390f35b6102d560048036038101906102d09190611f9d565b610683565b005b6102df6107f1565b6040516102ec9190611719565b60405180910390f35b61030f600480360381019061030a9190612074565b61087f565b005b61032b600480360381019061032691906119b5565b6108d1565b005b61034760048036038101906103429190611d09565b610a0a565b005b600360009054906101000a900460ff1681565b610364610a8d565b61036d81610b0b565b50565b6000600360009054906101000a900460ff16905090565b606060018054610396906120ec565b80601f01602080910402602001604051908101604052809291908181526020018280546103c2906120ec565b801561040f5780601f106103e45761010080835404028352916020019161040f565b820191906000526020600020905b8154815290600101906020018083116103f257829003601f168201915b5050505050905090565b610421610a8d565b80600360006101000a81548160ff021916908360028111156104465761044561157a565b5b02179055507fafa725e7f44cadb687a7043853fa1a7e7b8f0da74ce87ec546e9420f04da8c1e8160405161047a91906115f1565b60405180910390a150565b606060028054806020026020016040519081016040528092919081815260200182805480156104ff57602002820191906000526020600020906000905b82829054906101000a900463ffffffff1663ffffffff16815260200190600401906020826003010492830192600103820291508084116104c25790505b5050505050905090565b610511610a8d565b61051b6000610cc2565b565b610525610a8d565b60005b815181101561055f576105548282815181106105475761054661211d565b5b6020026020010151610b0b565b806001019050610528565b5050565b60008060009054906101000a900473ffffffffffffffffffffffffffffffffffffffff16905090565b6002818154811061059c57600080fd5b9060005260206000209060089182820401919006600402915054906101000a900463ffffffff1681565b6105ce610a8d565b6105da84848484610d86565b50505050565b60006105ec838361116b565b905092915050565b600061067c600280548060200260200160405190810160405280929190818152602001828054801561067157602002820191906000526020600020906000905b82829054906101000a900463ffffffff1663ffffffff16815260200190600401906020826003010492830192600103820291508084116106345790505b50505050508361116b565b9050919050565b61068b610a8d565b82518451146106cf576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016106c6906121be565b60405180910390fd5b8151845114610713576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161070a90612250565b60405180910390fd5b8051845114610757576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161074e906122e2565b60405180910390fd5b60005b84518110156107ea576107d78582815181106107795761077861211d565b5b60200260200101518583815181106107945761079361211d565b5b60200260200101518584815181106107af576107ae61211d565b5b60200260200101518585815181106107ca576107c961211d565b5b6020026020010151610d86565b80806107e290612331565b91505061075a565b5050505050565b600180546107fe906120ec565b80601f016020809104026020016040519081016040528092919081815260200182805461082a906120ec565b80156108775780601f1061084c57610100808354040283529160200191610877565b820191906000526020600020905b81548152906001019060200180831161085a57829003601f168201915b505050505081565b610887610a8d565b80600190816108969190612525565b507f79ec94d71020950aec4424f7ffb623aff24fe1d79a6ea35f1faf239a547e5691816040516108c69190611719565b60405180910390a150565b6108d9610a8d565b60005b81518110156109b857600073ffffffffffffffffffffffffffffffffffffffff16600460008484815181106109145761091361211d565b5b602002602001015163ffffffff1663ffffffff16815260200190815260200160002060009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16036109ad576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016109a490612643565b60405180910390fd5b8060010190506108dc565b5080600290805190602001906109cf92919061146d565b507f30148371507296bbd437731de0e023cda1136ad35603de3aa3b637517c97f61e816040516109ff919061184b565b60405180910390a150565b610a12610a8d565b600073ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff1603610a81576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610a78906126d5565b60405180910390fd5b610a8a81610cc2565b50565b610a95611465565b73ffffffffffffffffffffffffffffffffffffffff16610ab3610563565b73ffffffffffffffffffffffffffffffffffffffff1614610b09576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610b0090612741565b60405180910390fd5b565b610b13610a8d565b600073ffffffffffffffffffffffffffffffffffffffff16600460008363ffffffff1663ffffffff16815260200190815260200160002060009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1603610bc1576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610bb890612643565b60405180910390fd5b600460008263ffffffff1663ffffffff16815260200190815260200160002060006101000a81549073ffffffffffffffffffffffffffffffffffffffff0219169055600560008263ffffffff1663ffffffff16815260200190815260200160002060006101000a81549060ff0219169055600660008263ffffffff1663ffffffff1681526020019081526020016000206000610c5d919061151d565b600760008263ffffffff1663ffffffff16815260200190815260200160002060006101000a81549060ff02191690558063ffffffff167f0cc7ebcad4ac16bd69a016593fa4c81cfc09ea6756420b69c6a4d45c011ea3de60405160405180910390a250565b60008060009054906101000a900473ffffffffffffffffffffffffffffffffffffffff169050816000806101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055508173ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff167f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e060405160405180910390a35050565b610d8e610a8d565b600073ffffffffffffffffffffffffffffffffffffffff16600460008663ffffffff1663ffffffff16815260200190815260200160002060009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1614610e3c576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610e33906127d3565b60405180910390fd5b600073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff1603610eab576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610ea290612865565b60405180910390fd5b82600460008663ffffffff1663ffffffff16815260200190815260200160002060006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055508273ffffffffffffffffffffffffffffffffffffffff1663169d8edd6040518163ffffffff1660e01b8152600401602060405180830381865afa158015610f54573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190610f78919061289a565b600560008663ffffffff1663ffffffff16815260200190815260200160002060006101000a81548160ff021916908315150217905550600082511115610fea5781600660008663ffffffff1663ffffffff1681526020019081526020016000209081610fe49190612525565b5061108b565b8273ffffffffffffffffffffffffffffffffffffffff16632c26486d6040518163ffffffff1660e01b8152600401600060405180830381865afa158015611035573d6000803e3d6000fd5b505050506040513d6000823e3d601f19601f8201168201806040525081019061105e9190612937565b600660008663ffffffff1663ffffffff16815260200190815260200160002090816110899190612525565b505b80600760008663ffffffff1663ffffffff16815260200190815260200160002060006101000a81548160ff0219169083151502179055508273ffffffffffffffffffffffffffffffffffffffff168463ffffffff167f36c136b1b5a13bbbdeb0504119ca535861f0e92c0ea4f58b88d02a1423d5dfad600560008863ffffffff1663ffffffff16815260200190815260200160002060009054906101000a900460ff16600660008963ffffffff1663ffffffff1681526020019081526020016000208560405161115d93929190612a04565b60405180910390a350505050565b6000600160028111156111815761118061157a565b5b600360009054906101000a900460ff1660028111156111a3576111a261157a565b5b036111b1576000905061145f565b6002808111156111c4576111c361157a565b5b600360009054906101000a900460ff1660028111156111e6576111e561157a565b5b036111f4576001905061145f565b6000835111611238576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161122f90612a8e565b60405180910390fd5b60005b83518110156114595760008482815181106112595761125861211d565b5b60200260200101519050600073ffffffffffffffffffffffffffffffffffffffff16600460008363ffffffff1663ffffffff16815260200190815260200160002060009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1603611311576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161130890612afa565b60405180910390fd5b6000600460008363ffffffff1663ffffffff16815260200190815260200160002060009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1663c23697a8866040518263ffffffff1660e01b815260040161138b9190611a3f565b602060405180830381865afa1580156113a8573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906113cc919061289a565b9050600560008363ffffffff1663ffffffff16815260200190815260200160002060009054906101000a900460ff1661140457801590505b600760008363ffffffff1663ffffffff16815260200190815260200160002060009054906101000a900460ff161561143b57801590505b8061144c576000935050505061145f565b826001019250505061123b565b50600190505b92915050565b600033905090565b8280548282559060005260206000209060070160089004810192821561150c5791602002820160005b838211156114da57835183826101000a81548163ffffffff021916908363ffffffff1602179055509260200192600401602081600301049283019260010302611496565b801561150a5782816101000a81549063ffffffff02191690556004016020816003010492830192600103026114da565b505b509050611519919061155d565b5090565b508054611529906120ec565b6000825580601f1061153b575061155a565b601f016020900490600052602060002090810190611559919061155d565b5b50565b5b8082111561157657600081600090555060010161155e565b5090565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052602160045260246000fd5b600381106115ba576115b961157a565b5b50565b60008190506115cb826115a9565b919050565b60006115db826115bd565b9050919050565b6115eb816115d0565b82525050565b600060208201905061160660008301846115e2565b92915050565b6000604051905090565b600080fd5b600080fd5b600063ffffffff82169050919050565b61163981611620565b811461164457600080fd5b50565b60008135905061165681611630565b92915050565b60006020828403121561167257611671611616565b5b600061168084828501611647565b91505092915050565b600081519050919050565b600082825260208201905092915050565b60005b838110156116c35780820151818401526020810190506116a8565b60008484015250505050565b6000601f19601f8301169050919050565b60006116eb82611689565b6116f58185611694565b93506117058185602086016116a5565b61170e816116cf565b840191505092915050565b6000602082019050818103600083015261173381846116e0565b905092915050565b6003811061174857600080fd5b50565b60008135905061175a8161173b565b92915050565b60006020828403121561177657611775611616565b5b60006117848482850161174b565b91505092915050565b600081519050919050565b600082825260208201905092915050565b6000819050602082019050919050565b6117c281611620565b82525050565b60006117d483836117b9565b60208301905092915050565b6000602082019050919050565b60006117f88261178d565b6118028185611798565b935061180d836117a9565b8060005b8381101561183e57815161182588826117c8565b9750611830836117e0565b925050600181019050611811565b5085935050505092915050565b6000602082019050818103600083015261186581846117ed565b905092915050565b600080fd5b7f4e487b7100000000000000000000000000000000000000000000000000000000600052604160045260246000fd5b6118aa826116cf565b810181811067ffffffffffffffff821117156118c9576118c8611872565b5b80604052505050565b60006118dc61160c565b90506118e882826118a1565b919050565b600067ffffffffffffffff82111561190857611907611872565b5b602082029050602081019050919050565b600080fd5b600061193161192c846118ed565b6118d2565b9050808382526020820190506020840283018581111561195457611953611919565b5b835b8181101561197d57806119698882611647565b845260208401935050602081019050611956565b5050509392505050565b600082601f83011261199c5761199b61186d565b5b81356119ac84826020860161191e565b91505092915050565b6000602082840312156119cb576119ca611616565b5b600082013567ffffffffffffffff8111156119e9576119e861161b565b5b6119f584828501611987565b91505092915050565b600073ffffffffffffffffffffffffffffffffffffffff82169050919050565b6000611a29826119fe565b9050919050565b611a3981611a1e565b82525050565b6000602082019050611a546000830184611a30565b92915050565b6000819050919050565b611a6d81611a5a565b8114611a7857600080fd5b50565b600081359050611a8a81611a64565b92915050565b600060208284031215611aa657611aa5611616565b5b6000611ab484828501611a7b565b91505092915050565b611ac681611620565b82525050565b6000602082019050611ae16000830184611abd565b92915050565b611af081611a1e565b8114611afb57600080fd5b50565b600081359050611b0d81611ae7565b92915050565b600080fd5b600067ffffffffffffffff821115611b3357611b32611872565b5b611b3c826116cf565b9050602081019050919050565b82818337600083830152505050565b6000611b6b611b6684611b18565b6118d2565b905082815260208101848484011115611b8757611b86611b13565b5b611b92848285611b49565b509392505050565b600082601f830112611baf57611bae61186d565b5b8135611bbf848260208601611b58565b91505092915050565b60008115159050919050565b611bdd81611bc8565b8114611be857600080fd5b50565b600081359050611bfa81611bd4565b92915050565b60008060008060808587031215611c1a57611c19611616565b5b6000611c2887828801611647565b9450506020611c3987828801611afe565b935050604085013567ffffffffffffffff811115611c5a57611c5961161b565b5b611c6687828801611b9a565b9250506060611c7787828801611beb565b91505092959194509250565b60008060408385031215611c9a57611c99611616565b5b600083013567ffffffffffffffff811115611cb857611cb761161b565b5b611cc485828601611987565b9250506020611cd585828601611afe565b9150509250929050565b611ce881611bc8565b82525050565b6000602082019050611d036000830184611cdf565b92915050565b600060208284031215611d1f57611d1e611616565b5b6000611d2d84828501611afe565b91505092915050565b600067ffffffffffffffff821115611d5157611d50611872565b5b602082029050602081019050919050565b6000611d75611d7084611d36565b6118d2565b90508083825260208201905060208402830185811115611d9857611d97611919565b5b835b81811015611dc15780611dad8882611afe565b845260208401935050602081019050611d9a565b5050509392505050565b600082601f830112611de057611ddf61186d565b5b8135611df0848260208601611d62565b91505092915050565b600067ffffffffffffffff821115611e1457611e13611872565b5b602082029050602081019050919050565b6000611e38611e3384611df9565b6118d2565b90508083825260208201905060208402830185811115611e5b57611e5a611919565b5b835b81811015611ea257803567ffffffffffffffff811115611e8057611e7f61186d565b5b808601611e8d8982611b9a565b85526020850194505050602081019050611e5d565b5050509392505050565b600082601f830112611ec157611ec061186d565b5b8135611ed1848260208601611e25565b91505092915050565b600067ffffffffffffffff821115611ef557611ef4611872565b5b602082029050602081019050919050565b6000611f19611f1484611eda565b6118d2565b90508083825260208201905060208402830185811115611f3c57611f3b611919565b5b835b81811015611f655780611f518882611beb565b845260208401935050602081019050611f3e565b5050509392505050565b600082601f830112611f8457611f8361186d565b5b8135611f94848260208601611f06565b91505092915050565b60008060008060808587031215611fb757611fb6611616565b5b600085013567ffffffffffffffff811115611fd557611fd461161b565b5b611fe187828801611987565b945050602085013567ffffffffffffffff8111156120025761200161161b565b5b61200e87828801611dcb565b935050604085013567ffffffffffffffff81111561202f5761202e61161b565b5b61203b87828801611eac565b925050606085013567ffffffffffffffff81111561205c5761205b61161b565b5b61206887828801611f6f565b91505092959194509250565b60006020828403121561208a57612089611616565b5b600082013567ffffffffffffffff8111156120a8576120a761161b565b5b6120b484828501611b9a565b91505092915050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052602260045260246000fd5b6000600282049050600182168061210457607f821691505b602082108103612117576121166120bd565b5b50919050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052603260045260246000fd5b7f4d6f6c6563756c65414d4c3a2069647320616e64206c6f676963436f6e74726160008201527f637473206d7573742062652073616d65206c656e677468000000000000000000602082015250565b60006121a8603783611694565b91506121b38261214c565b604082019050919050565b600060208201905081810360008301526121d78161219b565b9050919050565b7f4d6f6c6563756c65414d4c3a2069647320616e64206e616d6573206d7573742060008201527f62652073616d65206c656e677468000000000000000000000000000000000000602082015250565b600061223a602e83611694565b9150612245826121de565b604082019050919050565b600060208201905081810360008301526122698161222d565b9050919050565b7f4d6f6c6563756c65414d4c3a2069647320616e6420726576657273654c6f676960008201527f6373206d7573742062652073616d65206c656e67746800000000000000000000602082015250565b60006122cc603683611694565b91506122d782612270565b604082019050919050565b600060208201905081810360008301526122fb816122bf565b9050919050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052601160045260246000fd5b600061233c82611a5a565b91507fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff820361236e5761236d612302565b5b600182019050919050565b60008190508160005260206000209050919050565b60006020601f8301049050919050565b600082821b905092915050565b6000600883026123db7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff8261239e565b6123e5868361239e565b95508019841693508086168417925050509392505050565b6000819050919050565b600061242261241d61241884611a5a565b6123fd565b611a5a565b9050919050565b6000819050919050565b61243c83612407565b61245061244882612429565b8484546123ab565b825550505050565b600090565b612465612458565b612470818484612433565b505050565b5b818110156124945761248960008261245d565b600181019050612476565b5050565b601f8211156124d9576124aa81612379565b6124b38461238e565b810160208510156124c2578190505b6124d66124ce8561238e565b830182612475565b50505b505050565b600082821c905092915050565b60006124fc600019846008026124de565b1980831691505092915050565b600061251583836124eb565b9150826002028217905092915050565b61252e82611689565b67ffffffffffffffff81111561254757612546611872565b5b61255182546120ec565b61255c828285612498565b600060209050601f83116001811461258f576000841561257d578287015190505b6125878582612509565b8655506125ef565b601f19841661259d86612379565b60005b828110156125c5578489015182556001820191506020850194506020810190506125a0565b868310156125e257848901516125de601f8916826124eb565b8355505b6001600288020188555050505b505050505050565b7f4d6f6c6563756c653a206c6f676963206964206e6f7420666f756e6400000000600082015250565b600061262d601c83611694565b9150612638826125f7565b602082019050919050565b6000602082019050818103600083015261265c81612620565b9050919050565b7f4f776e61626c653a206e6577206f776e657220697320746865207a65726f206160008201527f6464726573730000000000000000000000000000000000000000000000000000602082015250565b60006126bf602683611694565b91506126ca82612663565b604082019050919050565b600060208201905081810360008301526126ee816126b2565b9050919050565b7f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572600082015250565b600061272b602083611694565b9150612736826126f5565b602082019050919050565b6000602082019050818103600083015261275a8161271e565b9050919050565b7f4d6f6c6563756c653a206c6f67696320696420616c726561647920657869737460008201527f7300000000000000000000000000000000000000000000000000000000000000602082015250565b60006127bd602183611694565b91506127c882612761565b604082019050919050565b600060208201905081810360008301526127ec816127b0565b9050919050565b7f4d6f6c6563756c653a206c6f67696320636f6e7472616374206164647265737360008201527f2063616e6e6f74206265207a65726f0000000000000000000000000000000000602082015250565b600061284f602f83611694565b915061285a826127f3565b604082019050919050565b6000602082019050818103600083015261287e81612842565b9050919050565b60008151905061289481611bd4565b92915050565b6000602082840312156128b0576128af611616565b5b60006128be84828501612885565b91505092915050565b60006128da6128d584611b18565b6118d2565b9050828152602081018484840111156128f6576128f5611b13565b5b6129018482856116a5565b509392505050565b600082601f83011261291e5761291d61186d565b5b815161292e8482602086016128c7565b91505092915050565b60006020828403121561294d5761294c611616565b5b600082015167ffffffffffffffff81111561296b5761296a61161b565b5b61297784828501612909565b91505092915050565b6000815461298d816120ec565b6129978186611694565b945060018216600081146129b257600181146129c8576129fb565b60ff1983168652811515602002860193506129fb565b6129d185612379565b60005b838110156129f3578154818901526001820191506020810190506129d4565b808801955050505b50505092915050565b6000606082019050612a196000830186611cdf565b8181036020830152612a2b8185612980565b9050612a3a6040830184611cdf565b949350505050565b7f4d6f6c6563756c653a206e6f206c6f676963206964732070726f766964656400600082015250565b6000612a78601f83611694565b9150612a8382612a42565b602082019050919050565b60006020820190508181036000830152612aa781612a6b565b9050919050565b7f4d6f6c6563756c65414d4c3a206c697374206e6f7420666f756e640000000000600082015250565b6000612ae4601b83611694565b9150612aef82612aae565b602082019050919050565b60006020820190508181036000830152612b1381612ad7565b905091905056fea2646970667358221220b39d83210f68fcc794738e588c217780c7694da5d664d1a05c13c8b35a94e38364736f6c63430008110033

0000000000000000000000000000000000000000000000000000000000000020000000000000000000000000000000000000000000000000000000000000001c47656e6572616c2053616e6374696f6e7320436f6e74726f6c6c657200000000

-----Decoded View---------------
Arg [0] : name_ (string): General Sanctions Controller

-----Encoded View---------------
3 Constructor Arguments found :
Arg [0] : 0000000000000000000000000000000000000000000000000000000000000020
Arg [1] : 000000000000000000000000000000000000000000000000000000000000001c
Arg [2] : 47656e6572616c2053616e6374696f6e7320436f6e74726f6c6c657200000000

7553:6772:0:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;7815:36;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;10441:86;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;9221:82;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;8907:105;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;9579:134;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;9071:95;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;6536:103;;;:::i;:::-;;11382:228;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;5895:87;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;7744:25;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;10145:220;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;8714:153;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;8521:113;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;10535:771;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;7666:29;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;9375:153;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;9758:379;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;6794:201;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;7815:36;;;;;;;;;;;;;:::o;10441:86::-;5781:13;:11;:13::i;:::-;10503:16:::1;10516:2;10503:12;:16::i;:::-;10441:86:::0;:::o;9221:82::-;9262:6;9288:7;;;;;;;;;;;9281:14;;9221:82;:::o;8907:105::-;8956:13;8989:15;8982:22;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8907:105;:::o;9579:134::-;5781:13;:11;:13::i;:::-;9656:9:::1;9646:7;;:19;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;9681:24;9695:9;9681:24;;;;;;:::i;:::-;;;;;;;;9579:134:::0;:::o;9071:95::-;9114:15;9149:9;9142:16;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;9071:95;:::o;6536:103::-;5781:13;:11;:13::i;:::-;6601:30:::1;6628:1;6601:18;:30::i;:::-;6536:103::o:0;11382:228::-;5781:13;:11;:13::i;:::-;11464:6:::1;11459:144;11480:3;:10;11476:1;:14;11459:144;;;11509:20;11522:3;11526:1;11522:6;;;;;;;;:::i;:::-;;;;;;;;11509:12;:20::i;:::-;11573:3;;;;;11459:144;;;;11382:228:::0;:::o;5895:87::-;5941:7;5968:6;;;;;;;;;;;5961:13;;5895:87;:::o;7744:25::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::o;10145:220::-;5781:13;:11;:13::i;:::-;10309:48:::1;10319:2;10323:13;10338:4;10344:12;10309:9;:48::i;:::-;10145:220:::0;;;;:::o;8714:153::-;8815:4;8839:20;8846:3;8851:7;8839:6;:20::i;:::-;8832:27;;8714:153;;;;:::o;8521:113::-;8576:4;8600:26;8607:9;8600:26;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8618:7;8600:6;:26::i;:::-;8593:33;;8521:113;;;:::o;10535:771::-;5781:13;:11;:13::i;:::-;10773:14:::1;:21;10759:3;:10;:35;10737:140;;;;;;;;;;;;:::i;:::-;;;;;;;;;10924:5;:12;10910:3;:10;:26;10888:122;;;;;;;;;;;;:::i;:::-;;;;;;;;;11057:13;:20;11043:3;:10;:34;11021:138;;;;;;;;;;;;:::i;:::-;;;;;;;;;11175:6;11170:129;11191:3;:10;11187:1;:14;11170:129;;;11223:64;11233:3;11237:1;11233:6;;;;;;;;:::i;:::-;;;;;;;;11241:14;11256:1;11241:17;;;;;;;;:::i;:::-;;;;;;;;11260:5;11266:1;11260:8;;;;;;;;:::i;:::-;;;;;;;;11270:13;11284:1;11270:16;;;;;;;;:::i;:::-;;;;;;;;11223:9;:64::i;:::-;11203:3;;;;;:::i;:::-;;;;11170:129;;;;10535:771:::0;;;;:::o;7666:29::-;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::o;9375:153::-;5781:13;:11;:13::i;:::-;9471:5:::1;9453:15;:23;;;;;;:::i;:::-;;9492:28;9514:5;9492:28;;;;;;:::i;:::-;;;;;;;;9375:153:::0;:::o;9758:379::-;5781:13;:11;:13::i;:::-;9830:6:::1;9825:250;9846:3;:10;9842:1;:14;9825:250;;;9935:1;9901:36;;:14;:22;9916:3;9920:1;9916:6;;;;;;;;:::i;:::-;;;;;;;;9901:22;;;;;;;;;;;;;;;;;;;;;;;;;:36;;::::0;9875:126:::1;;;;;;;;;;;;:::i;:::-;;;;;;;;;10045:3;;;;;9825:250;;;;10097:3;10085:9;:15;;;;;;;;;;;;:::i;:::-;;10116:13;10125:3;10116:13;;;;;;:::i;:::-;;;;;;;;9758:379:::0;:::o;6794:201::-;5781:13;:11;:13::i;:::-;6903:1:::1;6883:22;;:8;:22;;::::0;6875:73:::1;;;;;;;;;;;;:::i;:::-;;;;;;;;;6959:28;6978:8;6959:18;:28::i;:::-;6794:201:::0;:::o;6060:132::-;6135:12;:10;:12::i;:::-;6124:23;;:7;:5;:7::i;:::-;:23;;;6116:68;;;;;;;;;;;;:::i;:::-;;;;;;;;;6060:132::o;13955:359::-;5781:13;:11;:13::i;:::-;14070:1:::1;14040:32;;:14;:18;14055:2;14040:18;;;;;;;;;;;;;;;;;;;;;;;;;:32;;::::0;14018:110:::1;;;;;;;;;;;;:::i;:::-;;;;;;;;;14146:14;:18;14161:2;14146:18;;;;;;;;;;;;;;;;14139:25;;;;;;;;;;;14182:12;:16;14195:2;14182:16;;;;;;;;;;;;;;;;14175:23;;;;;;;;;;;14216:19;:23;14236:2;14216:23;;;;;;;;;;;;;;;;14209:30;;;;:::i;:::-;14257:13;:17;14271:2;14257:17;;;;;;;;;;;;;;;;14250:24;;;;;;;;;;;14303:2;14290:16;;;;;;;;;;;;13955:359:::0;:::o;7155:191::-;7229:16;7248:6;;;;;;;;;;;7229:25;;7274:8;7265:6;;:17;;;;;;;;;;;;;;;;;;7329:8;7298:40;;7319:8;7298:40;;;;;;;;;;;;7218:128;7155:191;:::o;12798:1149::-;5781:13;:11;:13::i;:::-;13015:1:::1;12985:32;;:14;:18;13000:2;12985:18;;;;;;;;;;;;;;;;;;;;;;;;;:32;;;12963:115;;;;;;;;;;;;:::i;:::-;;;;;;;;;13136:1;13111:27;;:13;:27;;::::0;13089:124:::1;;;;;;;;;;;;:::i;:::-;;;;;;;;;13245:13;13224:14;:18;13239:2;13224:18;;;;;;;;;;;;;;;;:34;;;;;;;;;;;;;;;;;;13369:13;13354:41;;;:43;;;;;;;;;;;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;13335:12;:16;13348:2;13335:16;;;;;;;;;;;;;;;;:62;;;;;;;;;;;;;;;;;;13523:1;13508:4;13502:18;:22;13498:185;;;13567:4;13541:19;:23;13561:2;13541:23;;;;;;;;;;;;;;;:30;;;;;;:::i;:::-;;13498:185;;;13645:13;13630:39;;;:41;;;;;;;;;;;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;13604:19;:23;13624:2;13604:23;;;;;;;;;;;;;;;:67;;;;;;:::i;:::-;;13498:185;13713:12;13693:13;:17;13707:2;13693:17;;;;;;;;;;;;;;;;:32;;;;;;;;;;;;;;;;;;13819:13;13777:162;;13802:2;13777:162;;;13847:12;:16;13860:2;13847:16;;;;;;;;;;;;;;;;;;;;;;;;;13878:19;:23;13898:2;13878:23;;;;;;;;;;;;;;;13916:12;13777:162;;;;;;;;:::i;:::-;;;;;;;;12798:1149:::0;;;;:::o;11645:1145::-;11747:4;11814:14;11803:25;;;;;;;;:::i;:::-;;:7;;;;;;;;;;;:25;;;;;;;;:::i;:::-;;;11799:43;;11837:5;11830:12;;;;11799:43;11868:15;11857:26;;;;;;;;:::i;:::-;;:7;;;;;;;;;;;:26;;;;;;;;:::i;:::-;;;11853:43;;11892:4;11885:11;;;;11853:43;11928:1;11915:3;:10;:14;11907:58;;;;;;;;;;;;:::i;:::-;;;;;;;;;11981:6;11976:785;11997:3;:10;11993:1;:14;11976:785;;;12026:9;12038:3;12042:1;12038:6;;;;;;;;:::i;:::-;;;;;;;;12026:18;;12115:1;12085:32;;:14;:18;12100:2;12085:18;;;;;;;;;;;;;;;;;;;;;;;;;:32;;;12059:121;;;;;;;;;;;;:::i;:::-;;;;;;;;;12195:11;12224:14;:18;12239:2;12224:18;;;;;;;;;;;;;;;;;;;;;;;;;12209:40;;;12250:7;12209:49;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;12195:63;;12347:12;:16;12360:2;12347:16;;;;;;;;;;;;;;;;;;;;;;;;;12342:74;;12394:6;12393:7;12384:16;;12342:74;12494:13;:17;12508:2;12494:17;;;;;;;;;;;;;;;;;;;;;;;;;12490:74;;;12542:6;12541:7;12532:16;;12490:74;12633:6;12628:60;;12667:5;12660:12;;;;;;;12628:60;12731:3;;;;;12011:750;;11976:785;;;;12778:4;12771:11;;11645:1145;;;;;:::o;4446:98::-;4499:7;4526:10;4519:17;;4446:98;:::o;-1:-1:-1:-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;:::o;:::-;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;:::o;:::-;;;;;;;;;;;;;;;;;;;;;:::o;7:180:1:-;55:77;52:1;45:88;152:4;149:1;142:15;176:4;173:1;166:15;193:114;275:1;268:5;265:12;255:46;;281:18;;:::i;:::-;255:46;193:114;:::o;313:129::-;359:7;388:5;377:16;;394:42;430:5;394:42;:::i;:::-;313:129;;;:::o;448:::-;505:9;538:33;565:5;538:33;:::i;:::-;525:46;;448:129;;;:::o;583:145::-;677:44;715:5;677:44;:::i;:::-;672:3;665:57;583:145;;:::o;734:236::-;834:4;872:2;861:9;857:18;849:26;;885:78;960:1;949:9;945:17;936:6;885:78;:::i;:::-;734:236;;;;:::o;976:75::-;1009:6;1042:2;1036:9;1026:19;;976:75;:::o;1057:117::-;1166:1;1163;1156:12;1180:117;1289:1;1286;1279:12;1303:93;1339:7;1379:10;1372:5;1368:22;1357:33;;1303:93;;;:::o;1402:120::-;1474:23;1491:5;1474:23;:::i;:::-;1467:5;1464:34;1454:62;;1512:1;1509;1502:12;1454:62;1402:120;:::o;1528:137::-;1573:5;1611:6;1598:20;1589:29;;1627:32;1653:5;1627:32;:::i;:::-;1528:137;;;;:::o;1671:327::-;1729:6;1778:2;1766:9;1757:7;1753:23;1749:32;1746:119;;;1784:79;;:::i;:::-;1746:119;1904:1;1929:52;1973:7;1964:6;1953:9;1949:22;1929:52;:::i;:::-;1919:62;;1875:116;1671:327;;;;:::o;2004:99::-;2056:6;2090:5;2084:12;2074:22;;2004:99;;;:::o;2109:169::-;2193:11;2227:6;2222:3;2215:19;2267:4;2262:3;2258:14;2243:29;;2109:169;;;;:::o;2284:246::-;2365:1;2375:113;2389:6;2386:1;2383:13;2375:113;;;2474:1;2469:3;2465:11;2459:18;2455:1;2450:3;2446:11;2439:39;2411:2;2408:1;2404:10;2399:15;;2375:113;;;2522:1;2513:6;2508:3;2504:16;2497:27;2346:184;2284:246;;;:::o;2536:102::-;2577:6;2628:2;2624:7;2619:2;2612:5;2608:14;2604:28;2594:38;;2536:102;;;:::o;2644:377::-;2732:3;2760:39;2793:5;2760:39;:::i;:::-;2815:71;2879:6;2874:3;2815:71;:::i;:::-;2808:78;;2895:65;2953:6;2948:3;2941:4;2934:5;2930:16;2895:65;:::i;:::-;2985:29;3007:6;2985:29;:::i;:::-;2980:3;2976:39;2969:46;;2736:285;2644:377;;;;:::o;3027:313::-;3140:4;3178:2;3167:9;3163:18;3155:26;;3227:9;3221:4;3217:20;3213:1;3202:9;3198:17;3191:47;3255:78;3328:4;3319:6;3255:78;:::i;:::-;3247:86;;3027:313;;;;:::o;3346:108::-;3428:1;3421:5;3418:12;3408:40;;3444:1;3441;3434:12;3408:40;3346:108;:::o;3460:157::-;3515:5;3553:6;3540:20;3531:29;;3569:42;3605:5;3569:42;:::i;:::-;3460:157;;;;:::o;3623:347::-;3691:6;3740:2;3728:9;3719:7;3715:23;3711:32;3708:119;;;3746:79;;:::i;:::-;3708:119;3866:1;3891:62;3945:7;3936:6;3925:9;3921:22;3891:62;:::i;:::-;3881:72;;3837:126;3623:347;;;;:::o;3976:113::-;4042:6;4076:5;4070:12;4060:22;;3976:113;;;:::o;4095:183::-;4193:11;4227:6;4222:3;4215:19;4267:4;4262:3;4258:14;4243:29;;4095:183;;;;:::o;4284:131::-;4350:4;4373:3;4365:11;;4403:4;4398:3;4394:14;4386:22;;4284:131;;;:::o;4421:105::-;4496:23;4513:5;4496:23;:::i;:::-;4491:3;4484:36;4421:105;;:::o;4532:175::-;4599:10;4620:44;4660:3;4652:6;4620:44;:::i;:::-;4696:4;4691:3;4687:14;4673:28;;4532:175;;;;:::o;4713:112::-;4782:4;4814;4809:3;4805:14;4797:22;;4713:112;;;:::o;4859:724::-;4976:3;5005:53;5052:5;5005:53;:::i;:::-;5074:85;5152:6;5147:3;5074:85;:::i;:::-;5067:92;;5183:55;5232:5;5183:55;:::i;:::-;5261:7;5292:1;5277:281;5302:6;5299:1;5296:13;5277:281;;;5378:6;5372:13;5405:61;5462:3;5447:13;5405:61;:::i;:::-;5398:68;;5489:59;5541:6;5489:59;:::i;:::-;5479:69;;5337:221;5324:1;5321;5317:9;5312:14;;5277:281;;;5281:14;5574:3;5567:10;;4981:602;;;4859:724;;;;:::o;5589:369::-;5730:4;5768:2;5757:9;5753:18;5745:26;;5817:9;5811:4;5807:20;5803:1;5792:9;5788:17;5781:47;5845:106;5946:4;5937:6;5845:106;:::i;:::-;5837:114;;5589:369;;;;:::o;5964:117::-;6073:1;6070;6063:12;6087:180;6135:77;6132:1;6125:88;6232:4;6229:1;6222:15;6256:4;6253:1;6246:15;6273:281;6356:27;6378:4;6356:27;:::i;:::-;6348:6;6344:40;6486:6;6474:10;6471:22;6450:18;6438:10;6435:34;6432:62;6429:88;;;6497:18;;:::i;:::-;6429:88;6537:10;6533:2;6526:22;6316:238;6273:281;;:::o;6560:129::-;6594:6;6621:20;;:::i;:::-;6611:30;;6650:33;6678:4;6670:6;6650:33;:::i;:::-;6560:129;;;:::o;6695:310::-;6771:4;6861:18;6853:6;6850:30;6847:56;;;6883:18;;:::i;:::-;6847:56;6933:4;6925:6;6921:17;6913:25;;6993:4;6987;6983:15;6975:23;;6695:310;;;:::o;7011:117::-;7120:1;7117;7110:12;7150:707;7245:5;7270:80;7286:63;7342:6;7286:63;:::i;:::-;7270:80;:::i;:::-;7261:89;;7370:5;7399:6;7392:5;7385:21;7433:4;7426:5;7422:16;7415:23;;7486:4;7478:6;7474:17;7466:6;7462:30;7515:3;7507:6;7504:15;7501:122;;;7534:79;;:::i;:::-;7501:122;7649:6;7632:219;7666:6;7661:3;7658:15;7632:219;;;7741:3;7770:36;7802:3;7790:10;7770:36;:::i;:::-;7765:3;7758:49;7836:4;7831:3;7827:14;7820:21;;7708:143;7692:4;7687:3;7683:14;7676:21;;7632:219;;;7636:21;7251:606;;7150:707;;;;;:::o;7879:368::-;7949:5;7998:3;7991:4;7983:6;7979:17;7975:27;7965:122;;8006:79;;:::i;:::-;7965:122;8123:6;8110:20;8148:93;8237:3;8229:6;8222:4;8214:6;8210:17;8148:93;:::i;:::-;8139:102;;7955:292;7879:368;;;;:::o;8253:537::-;8336:6;8385:2;8373:9;8364:7;8360:23;8356:32;8353:119;;;8391:79;;:::i;:::-;8353:119;8539:1;8528:9;8524:17;8511:31;8569:18;8561:6;8558:30;8555:117;;;8591:79;;:::i;:::-;8555:117;8696:77;8765:7;8756:6;8745:9;8741:22;8696:77;:::i;:::-;8686:87;;8482:301;8253:537;;;;:::o;8796:126::-;8833:7;8873:42;8866:5;8862:54;8851:65;;8796:126;;;:::o;8928:96::-;8965:7;8994:24;9012:5;8994:24;:::i;:::-;8983:35;;8928:96;;;:::o;9030:118::-;9117:24;9135:5;9117:24;:::i;:::-;9112:3;9105:37;9030:118;;:::o;9154:222::-;9247:4;9285:2;9274:9;9270:18;9262:26;;9298:71;9366:1;9355:9;9351:17;9342:6;9298:71;:::i;:::-;9154:222;;;;:::o;9382:77::-;9419:7;9448:5;9437:16;;9382:77;;;:::o;9465:122::-;9538:24;9556:5;9538:24;:::i;:::-;9531:5;9528:35;9518:63;;9577:1;9574;9567:12;9518:63;9465:122;:::o;9593:139::-;9639:5;9677:6;9664:20;9655:29;;9693:33;9720:5;9693:33;:::i;:::-;9593:139;;;;:::o;9738:329::-;9797:6;9846:2;9834:9;9825:7;9821:23;9817:32;9814:119;;;9852:79;;:::i;:::-;9814:119;9972:1;9997:53;10042:7;10033:6;10022:9;10018:22;9997:53;:::i;:::-;9987:63;;9943:117;9738:329;;;;:::o;10073:115::-;10158:23;10175:5;10158:23;:::i;:::-;10153:3;10146:36;10073:115;;:::o;10194:218::-;10285:4;10323:2;10312:9;10308:18;10300:26;;10336:69;10402:1;10391:9;10387:17;10378:6;10336:69;:::i;:::-;10194:218;;;;:::o;10418:122::-;10491:24;10509:5;10491:24;:::i;:::-;10484:5;10481:35;10471:63;;10530:1;10527;10520:12;10471:63;10418:122;:::o;10546:139::-;10592:5;10630:6;10617:20;10608:29;;10646:33;10673:5;10646:33;:::i;:::-;10546:139;;;;:::o;10691:117::-;10800:1;10797;10790:12;10814:308;10876:4;10966:18;10958:6;10955:30;10952:56;;;10988:18;;:::i;:::-;10952:56;11026:29;11048:6;11026:29;:::i;:::-;11018:37;;11110:4;11104;11100:15;11092:23;;10814:308;;;:::o;11128:146::-;11225:6;11220:3;11215;11202:30;11266:1;11257:6;11252:3;11248:16;11241:27;11128:146;;;:::o;11280:425::-;11358:5;11383:66;11399:49;11441:6;11399:49;:::i;:::-;11383:66;:::i;:::-;11374:75;;11472:6;11465:5;11458:21;11510:4;11503:5;11499:16;11548:3;11539:6;11534:3;11530:16;11527:25;11524:112;;;11555:79;;:::i;:::-;11524:112;11645:54;11692:6;11687:3;11682;11645:54;:::i;:::-;11364:341;11280:425;;;;;:::o;11725:340::-;11781:5;11830:3;11823:4;11815:6;11811:17;11807:27;11797:122;;11838:79;;:::i;:::-;11797:122;11955:6;11942:20;11980:79;12055:3;12047:6;12040:4;12032:6;12028:17;11980:79;:::i;:::-;11971:88;;11787:278;11725:340;;;;:::o;12071:90::-;12105:7;12148:5;12141:13;12134:21;12123:32;;12071:90;;;:::o;12167:116::-;12237:21;12252:5;12237:21;:::i;:::-;12230:5;12227:32;12217:60;;12273:1;12270;12263:12;12217:60;12167:116;:::o;12289:133::-;12332:5;12370:6;12357:20;12348:29;;12386:30;12410:5;12386:30;:::i;:::-;12289:133;;;;:::o;12428:937::-;12520:6;12528;12536;12544;12593:3;12581:9;12572:7;12568:23;12564:33;12561:120;;;12600:79;;:::i;:::-;12561:120;12720:1;12745:52;12789:7;12780:6;12769:9;12765:22;12745:52;:::i;:::-;12735:62;;12691:116;12846:2;12872:53;12917:7;12908:6;12897:9;12893:22;12872:53;:::i;:::-;12862:63;;12817:118;13002:2;12991:9;12987:18;12974:32;13033:18;13025:6;13022:30;13019:117;;;13055:79;;:::i;:::-;13019:117;13160:63;13215:7;13206:6;13195:9;13191:22;13160:63;:::i;:::-;13150:73;;12945:288;13272:2;13298:50;13340:7;13331:6;13320:9;13316:22;13298:50;:::i;:::-;13288:60;;13243:115;12428:937;;;;;;;:::o;13371:682::-;13463:6;13471;13520:2;13508:9;13499:7;13495:23;13491:32;13488:119;;;13526:79;;:::i;:::-;13488:119;13674:1;13663:9;13659:17;13646:31;13704:18;13696:6;13693:30;13690:117;;;13726:79;;:::i;:::-;13690:117;13831:77;13900:7;13891:6;13880:9;13876:22;13831:77;:::i;:::-;13821:87;;13617:301;13957:2;13983:53;14028:7;14019:6;14008:9;14004:22;13983:53;:::i;:::-;13973:63;;13928:118;13371:682;;;;;:::o;14059:109::-;14140:21;14155:5;14140:21;:::i;:::-;14135:3;14128:34;14059:109;;:::o;14174:210::-;14261:4;14299:2;14288:9;14284:18;14276:26;;14312:65;14374:1;14363:9;14359:17;14350:6;14312:65;:::i;:::-;14174:210;;;;:::o;14390:329::-;14449:6;14498:2;14486:9;14477:7;14473:23;14469:32;14466:119;;;14504:79;;:::i;:::-;14466:119;14624:1;14649:53;14694:7;14685:6;14674:9;14670:22;14649:53;:::i;:::-;14639:63;;14595:117;14390:329;;;;:::o;14725:311::-;14802:4;14892:18;14884:6;14881:30;14878:56;;;14914:18;;:::i;:::-;14878:56;14964:4;14956:6;14952:17;14944:25;;15024:4;15018;15014:15;15006:23;;14725:311;;;:::o;15059:710::-;15155:5;15180:81;15196:64;15253:6;15196:64;:::i;:::-;15180:81;:::i;:::-;15171:90;;15281:5;15310:6;15303:5;15296:21;15344:4;15337:5;15333:16;15326:23;;15397:4;15389:6;15385:17;15377:6;15373:30;15426:3;15418:6;15415:15;15412:122;;;15445:79;;:::i;:::-;15412:122;15560:6;15543:220;15577:6;15572:3;15569:15;15543:220;;;15652:3;15681:37;15714:3;15702:10;15681:37;:::i;:::-;15676:3;15669:50;15748:4;15743:3;15739:14;15732:21;;15619:144;15603:4;15598:3;15594:14;15587:21;;15543:220;;;15547:21;15161:608;;15059:710;;;;;:::o;15792:370::-;15863:5;15912:3;15905:4;15897:6;15893:17;15889:27;15879:122;;15920:79;;:::i;:::-;15879:122;16037:6;16024:20;16062:94;16152:3;16144:6;16137:4;16129:6;16125:17;16062:94;:::i;:::-;16053:103;;15869:293;15792:370;;;;:::o;16168:321::-;16255:4;16345:18;16337:6;16334:30;16331:56;;;16367:18;;:::i;:::-;16331:56;16417:4;16409:6;16405:17;16397:25;;16477:4;16471;16467:15;16459:23;;16168:321;;;:::o;16511:945::-;16617:5;16642:91;16658:74;16725:6;16658:74;:::i;:::-;16642:91;:::i;:::-;16633:100;;16753:5;16782:6;16775:5;16768:21;16816:4;16809:5;16805:16;16798:23;;16869:4;16861:6;16857:17;16849:6;16845:30;16898:3;16890:6;16887:15;16884:122;;;16917:79;;:::i;:::-;16884:122;17032:6;17015:435;17049:6;17044:3;17041:15;17015:435;;;17138:3;17125:17;17174:18;17161:11;17158:35;17155:122;;;17196:79;;:::i;:::-;17155:122;17320:11;17312:6;17308:24;17358:47;17401:3;17389:10;17358:47;:::i;:::-;17353:3;17346:60;17435:4;17430:3;17426:14;17419:21;;17091:359;;17075:4;17070:3;17066:14;17059:21;;17015:435;;;17019:21;16623:833;;16511:945;;;;;:::o;17478:390::-;17559:5;17608:3;17601:4;17593:6;17589:17;17585:27;17575:122;;17616:79;;:::i;:::-;17575:122;17733:6;17720:20;17758:104;17858:3;17850:6;17843:4;17835:6;17831:17;17758:104;:::i;:::-;17749:113;;17565:303;17478:390;;;;:::o;17874:308::-;17948:4;18038:18;18030:6;18027:30;18024:56;;;18060:18;;:::i;:::-;18024:56;18110:4;18102:6;18098:17;18090:25;;18170:4;18164;18160:15;18152:23;;17874:308;;;:::o;18202:701::-;18295:5;18320:78;18336:61;18390:6;18336:61;:::i;:::-;18320:78;:::i;:::-;18311:87;;18418:5;18447:6;18440:5;18433:21;18481:4;18474:5;18470:16;18463:23;;18534:4;18526:6;18522:17;18514:6;18510:30;18563:3;18555:6;18552:15;18549:122;;;18582:79;;:::i;:::-;18549:122;18697:6;18680:217;18714:6;18709:3;18706:15;18680:217;;;18789:3;18818:34;18848:3;18836:10;18818:34;:::i;:::-;18813:3;18806:47;18882:4;18877:3;18873:14;18866:21;;18756:141;18740:4;18735:3;18731:14;18724:21;;18680:217;;;18684:21;18301:602;;18202:701;;;;;:::o;18923:364::-;18991:5;19040:3;19033:4;19025:6;19021:17;19017:27;19007:122;;19048:79;;:::i;:::-;19007:122;19165:6;19152:20;19190:91;19277:3;19269:6;19262:4;19254:6;19250:17;19190:91;:::i;:::-;19181:100;;18997:290;18923:364;;;;:::o;19293:1617::-;19485:6;19493;19501;19509;19558:3;19546:9;19537:7;19533:23;19529:33;19526:120;;;19565:79;;:::i;:::-;19526:120;19713:1;19702:9;19698:17;19685:31;19743:18;19735:6;19732:30;19729:117;;;19765:79;;:::i;:::-;19729:117;19870:77;19939:7;19930:6;19919:9;19915:22;19870:77;:::i;:::-;19860:87;;19656:301;20024:2;20013:9;20009:18;19996:32;20055:18;20047:6;20044:30;20041:117;;;20077:79;;:::i;:::-;20041:117;20182:78;20252:7;20243:6;20232:9;20228:22;20182:78;:::i;:::-;20172:88;;19967:303;20337:2;20326:9;20322:18;20309:32;20368:18;20360:6;20357:30;20354:117;;;20390:79;;:::i;:::-;20354:117;20495:88;20575:7;20566:6;20555:9;20551:22;20495:88;:::i;:::-;20485:98;;20280:313;20660:2;20649:9;20645:18;20632:32;20691:18;20683:6;20680:30;20677:117;;;20713:79;;:::i;:::-;20677:117;20818:75;20885:7;20876:6;20865:9;20861:22;20818:75;:::i;:::-;20808:85;;20603:300;19293:1617;;;;;;;:::o;20916:509::-;20985:6;21034:2;21022:9;21013:7;21009:23;21005:32;21002:119;;;21040:79;;:::i;:::-;21002:119;21188:1;21177:9;21173:17;21160:31;21218:18;21210:6;21207:30;21204:117;;;21240:79;;:::i;:::-;21204:117;21345:63;21400:7;21391:6;21380:9;21376:22;21345:63;:::i;:::-;21335:73;;21131:287;20916:509;;;;:::o;21431:180::-;21479:77;21476:1;21469:88;21576:4;21573:1;21566:15;21600:4;21597:1;21590:15;21617:320;21661:6;21698:1;21692:4;21688:12;21678:22;;21745:1;21739:4;21735:12;21766:18;21756:81;;21822:4;21814:6;21810:17;21800:27;;21756:81;21884:2;21876:6;21873:14;21853:18;21850:38;21847:84;;21903:18;;:::i;:::-;21847:84;21668:269;21617:320;;;:::o;21943:180::-;21991:77;21988:1;21981:88;22088:4;22085:1;22078:15;22112:4;22109:1;22102:15;22129:242;22269:34;22265:1;22257:6;22253:14;22246:58;22338:25;22333:2;22325:6;22321:15;22314:50;22129:242;:::o;22377:366::-;22519:3;22540:67;22604:2;22599:3;22540:67;:::i;:::-;22533:74;;22616:93;22705:3;22616:93;:::i;:::-;22734:2;22729:3;22725:12;22718:19;;22377:366;;;:::o;22749:419::-;22915:4;22953:2;22942:9;22938:18;22930:26;;23002:9;22996:4;22992:20;22988:1;22977:9;22973:17;22966:47;23030:131;23156:4;23030:131;:::i;:::-;23022:139;;22749:419;;;:::o;23174:233::-;23314:34;23310:1;23302:6;23298:14;23291:58;23383:16;23378:2;23370:6;23366:15;23359:41;23174:233;:::o;23413:366::-;23555:3;23576:67;23640:2;23635:3;23576:67;:::i;:::-;23569:74;;23652:93;23741:3;23652:93;:::i;:::-;23770:2;23765:3;23761:12;23754:19;;23413:366;;;:::o;23785:419::-;23951:4;23989:2;23978:9;23974:18;23966:26;;24038:9;24032:4;24028:20;24024:1;24013:9;24009:17;24002:47;24066:131;24192:4;24066:131;:::i;:::-;24058:139;;23785:419;;;:::o;24210:241::-;24350:34;24346:1;24338:6;24334:14;24327:58;24419:24;24414:2;24406:6;24402:15;24395:49;24210:241;:::o;24457:366::-;24599:3;24620:67;24684:2;24679:3;24620:67;:::i;:::-;24613:74;;24696:93;24785:3;24696:93;:::i;:::-;24814:2;24809:3;24805:12;24798:19;;24457:366;;;:::o;24829:419::-;24995:4;25033:2;25022:9;25018:18;25010:26;;25082:9;25076:4;25072:20;25068:1;25057:9;25053:17;25046:47;25110:131;25236:4;25110:131;:::i;:::-;25102:139;;24829:419;;;:::o;25254:180::-;25302:77;25299:1;25292:88;25399:4;25396:1;25389:15;25423:4;25420:1;25413:15;25440:233;25479:3;25502:24;25520:5;25502:24;:::i;:::-;25493:33;;25548:66;25541:5;25538:77;25535:103;;25618:18;;:::i;:::-;25535:103;25665:1;25658:5;25654:13;25647:20;;25440:233;;;:::o;25679:141::-;25728:4;25751:3;25743:11;;25774:3;25771:1;25764:14;25808:4;25805:1;25795:18;25787:26;;25679:141;;;:::o;25826:93::-;25863:6;25910:2;25905;25898:5;25894:14;25890:23;25880:33;;25826:93;;;:::o;25925:107::-;25969:8;26019:5;26013:4;26009:16;25988:37;;25925:107;;;;:::o;26038:393::-;26107:6;26157:1;26145:10;26141:18;26180:97;26210:66;26199:9;26180:97;:::i;:::-;26298:39;26328:8;26317:9;26298:39;:::i;:::-;26286:51;;26370:4;26366:9;26359:5;26355:21;26346:30;;26419:4;26409:8;26405:19;26398:5;26395:30;26385:40;;26114:317;;26038:393;;;;;:::o;26437:60::-;26465:3;26486:5;26479:12;;26437:60;;;:::o;26503:142::-;26553:9;26586:53;26604:34;26613:24;26631:5;26613:24;:::i;:::-;26604:34;:::i;:::-;26586:53;:::i;:::-;26573:66;;26503:142;;;:::o;26651:75::-;26694:3;26715:5;26708:12;;26651:75;;;:::o;26732:269::-;26842:39;26873:7;26842:39;:::i;:::-;26903:91;26952:41;26976:16;26952:41;:::i;:::-;26944:6;26937:4;26931:11;26903:91;:::i;:::-;26897:4;26890:105;26808:193;26732:269;;;:::o;27007:73::-;27052:3;27007:73;:::o;27086:189::-;27163:32;;:::i;:::-;27204:65;27262:6;27254;27248:4;27204:65;:::i;:::-;27139:136;27086:189;;:::o;27281:186::-;27341:120;27358:3;27351:5;27348:14;27341:120;;;27412:39;27449:1;27442:5;27412:39;:::i;:::-;27385:1;27378:5;27374:13;27365:22;;27341:120;;;27281:186;;:::o;27473:543::-;27574:2;27569:3;27566:11;27563:446;;;27608:38;27640:5;27608:38;:::i;:::-;27692:29;27710:10;27692:29;:::i;:::-;27682:8;27678:44;27875:2;27863:10;27860:18;27857:49;;;27896:8;27881:23;;27857:49;27919:80;27975:22;27993:3;27975:22;:::i;:::-;27965:8;27961:37;27948:11;27919:80;:::i;:::-;27578:431;;27563:446;27473:543;;;:::o;28022:117::-;28076:8;28126:5;28120:4;28116:16;28095:37;;28022:117;;;;:::o;28145:169::-;28189:6;28222:51;28270:1;28266:6;28258:5;28255:1;28251:13;28222:51;:::i;:::-;28218:56;28303:4;28297;28293:15;28283:25;;28196:118;28145:169;;;;:::o;28319:295::-;28395:4;28541:29;28566:3;28560:4;28541:29;:::i;:::-;28533:37;;28603:3;28600:1;28596:11;28590:4;28587:21;28579:29;;28319:295;;;;:::o;28619:1395::-;28736:37;28769:3;28736:37;:::i;:::-;28838:18;28830:6;28827:30;28824:56;;;28860:18;;:::i;:::-;28824:56;28904:38;28936:4;28930:11;28904:38;:::i;:::-;28989:67;29049:6;29041;29035:4;28989:67;:::i;:::-;29083:1;29107:4;29094:17;;29139:2;29131:6;29128:14;29156:1;29151:618;;;;29813:1;29830:6;29827:77;;;29879:9;29874:3;29870:19;29864:26;29855:35;;29827:77;29930:67;29990:6;29983:5;29930:67;:::i;:::-;29924:4;29917:81;29786:222;29121:887;;29151:618;29203:4;29199:9;29191:6;29187:22;29237:37;29269:4;29237:37;:::i;:::-;29296:1;29310:208;29324:7;29321:1;29318:14;29310:208;;;29403:9;29398:3;29394:19;29388:26;29380:6;29373:42;29454:1;29446:6;29442:14;29432:24;;29501:2;29490:9;29486:18;29473:31;;29347:4;29344:1;29340:12;29335:17;;29310:208;;;29546:6;29537:7;29534:19;29531:179;;;29604:9;29599:3;29595:19;29589:26;29647:48;29689:4;29681:6;29677:17;29666:9;29647:48;:::i;:::-;29639:6;29632:64;29554:156;29531:179;29756:1;29752;29744:6;29740:14;29736:22;29730:4;29723:36;29158:611;;;29121:887;;28711:1303;;;28619:1395;;:::o;30020:178::-;30160:30;30156:1;30148:6;30144:14;30137:54;30020:178;:::o;30204:366::-;30346:3;30367:67;30431:2;30426:3;30367:67;:::i;:::-;30360:74;;30443:93;30532:3;30443:93;:::i;:::-;30561:2;30556:3;30552:12;30545:19;;30204:366;;;:::o;30576:419::-;30742:4;30780:2;30769:9;30765:18;30757:26;;30829:9;30823:4;30819:20;30815:1;30804:9;30800:17;30793:47;30857:131;30983:4;30857:131;:::i;:::-;30849:139;;30576:419;;;:::o;31001:225::-;31141:34;31137:1;31129:6;31125:14;31118:58;31210:8;31205:2;31197:6;31193:15;31186:33;31001:225;:::o;31232:366::-;31374:3;31395:67;31459:2;31454:3;31395:67;:::i;:::-;31388:74;;31471:93;31560:3;31471:93;:::i;:::-;31589:2;31584:3;31580:12;31573:19;;31232:366;;;:::o;31604:419::-;31770:4;31808:2;31797:9;31793:18;31785:26;;31857:9;31851:4;31847:20;31843:1;31832:9;31828:17;31821:47;31885:131;32011:4;31885:131;:::i;:::-;31877:139;;31604:419;;;:::o;32029:182::-;32169:34;32165:1;32157:6;32153:14;32146:58;32029:182;:::o;32217:366::-;32359:3;32380:67;32444:2;32439:3;32380:67;:::i;:::-;32373:74;;32456:93;32545:3;32456:93;:::i;:::-;32574:2;32569:3;32565:12;32558:19;;32217:366;;;:::o;32589:419::-;32755:4;32793:2;32782:9;32778:18;32770:26;;32842:9;32836:4;32832:20;32828:1;32817:9;32813:17;32806:47;32870:131;32996:4;32870:131;:::i;:::-;32862:139;;32589:419;;;:::o;33014:220::-;33154:34;33150:1;33142:6;33138:14;33131:58;33223:3;33218:2;33210:6;33206:15;33199:28;33014:220;:::o;33240:366::-;33382:3;33403:67;33467:2;33462:3;33403:67;:::i;:::-;33396:74;;33479:93;33568:3;33479:93;:::i;:::-;33597:2;33592:3;33588:12;33581:19;;33240:366;;;:::o;33612:419::-;33778:4;33816:2;33805:9;33801:18;33793:26;;33865:9;33859:4;33855:20;33851:1;33840:9;33836:17;33829:47;33893:131;34019:4;33893:131;:::i;:::-;33885:139;;33612:419;;;:::o;34037:234::-;34177:34;34173:1;34165:6;34161:14;34154:58;34246:17;34241:2;34233:6;34229:15;34222:42;34037:234;:::o;34277:366::-;34419:3;34440:67;34504:2;34499:3;34440:67;:::i;:::-;34433:74;;34516:93;34605:3;34516:93;:::i;:::-;34634:2;34629:3;34625:12;34618:19;;34277:366;;;:::o;34649:419::-;34815:4;34853:2;34842:9;34838:18;34830:26;;34902:9;34896:4;34892:20;34888:1;34877:9;34873:17;34866:47;34930:131;35056:4;34930:131;:::i;:::-;34922:139;;34649:419;;;:::o;35074:137::-;35128:5;35159:6;35153:13;35144:22;;35175:30;35199:5;35175:30;:::i;:::-;35074:137;;;;:::o;35217:345::-;35284:6;35333:2;35321:9;35312:7;35308:23;35304:32;35301:119;;;35339:79;;:::i;:::-;35301:119;35459:1;35484:61;35537:7;35528:6;35517:9;35513:22;35484:61;:::i;:::-;35474:71;;35430:125;35217:345;;;;:::o;35568:434::-;35657:5;35682:66;35698:49;35740:6;35698:49;:::i;:::-;35682:66;:::i;:::-;35673:75;;35771:6;35764:5;35757:21;35809:4;35802:5;35798:16;35847:3;35838:6;35833:3;35829:16;35826:25;35823:112;;;35854:79;;:::i;:::-;35823:112;35944:52;35989:6;35984:3;35979;35944:52;:::i;:::-;35663:339;35568:434;;;;;:::o;36022:355::-;36089:5;36138:3;36131:4;36123:6;36119:17;36115:27;36105:122;;36146:79;;:::i;:::-;36105:122;36256:6;36250:13;36281:90;36367:3;36359:6;36352:4;36344:6;36340:17;36281:90;:::i;:::-;36272:99;;36095:282;36022:355;;;;:::o;36383:524::-;36463:6;36512:2;36500:9;36491:7;36487:23;36483:32;36480:119;;;36518:79;;:::i;:::-;36480:119;36659:1;36648:9;36644:17;36638:24;36689:18;36681:6;36678:30;36675:117;;;36711:79;;:::i;:::-;36675:117;36816:74;36882:7;36873:6;36862:9;36858:22;36816:74;:::i;:::-;36806:84;;36609:291;36383:524;;;;:::o;36937:831::-;37022:3;37059:5;37053:12;37088:36;37114:9;37088:36;:::i;:::-;37140:71;37204:6;37199:3;37140:71;:::i;:::-;37133:78;;37242:1;37231:9;37227:17;37258:1;37253:164;;;;37431:1;37426:336;;;;37220:542;;37253:164;37337:4;37333:9;37322;37318:25;37313:3;37306:38;37397:6;37390:14;37383:22;37377:4;37373:33;37368:3;37364:43;37357:50;;37253:164;;37426:336;37493:38;37525:5;37493:38;:::i;:::-;37553:1;37567:154;37581:6;37578:1;37575:13;37567:154;;;37655:7;37649:14;37645:1;37640:3;37636:11;37629:35;37705:1;37696:7;37692:15;37681:26;;37603:4;37600:1;37596:12;37591:17;;37567:154;;;37750:1;37745:3;37741:11;37734:18;;37433:329;;37220:542;;37026:742;;36937:831;;;;:::o;37774:503::-;37928:4;37966:2;37955:9;37951:18;37943:26;;37979:65;38041:1;38030:9;38026:17;38017:6;37979:65;:::i;:::-;38091:9;38085:4;38081:20;38076:2;38065:9;38061:18;38054:48;38119:75;38189:4;38180:6;38119:75;:::i;:::-;38111:83;;38204:66;38266:2;38255:9;38251:18;38242:6;38204:66;:::i;:::-;37774:503;;;;;;:::o;38283:181::-;38423:33;38419:1;38411:6;38407:14;38400:57;38283:181;:::o;38470:366::-;38612:3;38633:67;38697:2;38692:3;38633:67;:::i;:::-;38626:74;;38709:93;38798:3;38709:93;:::i;:::-;38827:2;38822:3;38818:12;38811:19;;38470:366;;;:::o;38842:419::-;39008:4;39046:2;39035:9;39031:18;39023:26;;39095:9;39089:4;39085:20;39081:1;39070:9;39066:17;39059:47;39123:131;39249:4;39123:131;:::i;:::-;39115:139;;38842:419;;;:::o;39267:177::-;39407:29;39403:1;39395:6;39391:14;39384:53;39267:177;:::o;39450:366::-;39592:3;39613:67;39677:2;39672:3;39613:67;:::i;:::-;39606:74;;39689:93;39778:3;39689:93;:::i;:::-;39807:2;39802:3;39798:12;39791:19;;39450:366;;;:::o;39822:419::-;39988:4;40026:2;40015:9;40011:18;40003:26;;40075:9;40069:4;40065:20;40061:1;40050:9;40046:17;40039:47;40103:131;40229:4;40103:131;:::i;:::-;40095:139;;39822:419;;;:::o

ipfs://b39d83210f68fcc794738e588c217780c7694da5d664d1a05c13c8b35a94e383