Contract Source Code (Solidity)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta
• Remix IDE

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

/**
 *Submitted for verification at Etherscan.io on 2020-10-01
*/

pragma solidity 0.5.11;
/*
 * Origin Protocol
 * https://originprotocol.com
 *
 * Released under the MIT license
 * https://github.com/OriginProtocol
 *
 * Copyright 2019 Origin Protocol, Inc
 *
 * Permission is hereby granted, free of charge, to any person obtaining a copy
 * of this software and associated documentation files (the "Software"), to deal
 * in the Software without restriction, including without limitation the rights
 * to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
 * copies of the Software, and to permit persons to whom the Software is
 * furnished to do so, subject to the following conditions:
 *
 * The above copyright notice and this permission notice shall be included in
 * all copies or substantial portions of the Software.
 *
 * THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
 * IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
 * FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
 * AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
 * LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
 * OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE
 * SOFTWARE.
 */


// File: origin-dollar/contracts/interfaces/ITimelock.sol

interface ITimelock {
    function delay() external view returns (uint256);

    function GRACE_PERIOD() external view returns (uint256);

    function acceptAdmin() external;

    function queuedTransactions(bytes32 hash) external view returns (bool);

    function queueTransaction(
        address target,
        uint256 value,
        string calldata signature,
        bytes calldata data,
        uint256 eta
    ) external returns (bytes32);

    function cancelTransaction(
        address target,
        uint256 value,
        string calldata signature,
        bytes calldata data,
        uint256 eta
    ) external;

    function executeTransaction(
        address target,
        uint256 value,
        string calldata signature,
        bytes calldata data,
        uint256 eta
    ) external payable returns (bytes memory);
}

// File: origin-dollar/contracts/governance/Governor.sol

pragma solidity ^0.5.11;
pragma experimental ABIEncoderV2;


// Modeled off of Compound's Governor Alpha
//    https://github.com/compound-finance/compound-protocol/blob/master/contracts/Governance/GovernorAlpha.sol
contract Governor {
    /// @notice The address of the  Timelock
    ITimelock public timelock;

    /// @notice The address of the Governor Guardian
    address public guardian;

    /// @notice The total number of proposals
    uint256 public proposalCount;

    struct Proposal {
        /// @notice Unique id for looking up a proposal
        uint256 id;
        /// @notice Creator of the proposal
        address proposer;
        /// @notice The timestamp that the proposal will be available for execution, set once the vote succeeds
        uint256 eta;
        /// @notice the ordered list of target addresses for calls to be made
        address[] targets;
        /// @notice The ordered list of values (i.e. msg.value) to be passed to the calls to be made
        uint256[] values;
        /// @notice The ordered list of function signatures to be called
        string[] signatures;
        /// @notice The ordered list of calldata to be passed to each call
        bytes[] calldatas;
        /// @notice Flag marking whether the proposal has been executed
        bool executed;
    }

    /// @notice The official record of all proposals ever proposed
    mapping(uint256 => Proposal) public proposals;

    /// @notice An event emitted when a new proposal is created
    event ProposalCreated(
        uint256 id,
        address proposer,
        address[] targets,
        uint256[] values,
        string[] signatures,
        bytes[] calldatas,
        string description
    );

    /// @notice An event emitted when a proposal has been queued in the Timelock
    event ProposalQueued(uint256 id, uint256 eta);

    /// @notice An event emitted when a proposal has been executed in the Timelock
    event ProposalExecuted(uint256 id);

    uint256 public constant MAX_OPERATIONS = 16;

    /// @notice Possible states that a proposal may be in
    enum ProposalState { Pending, Queued, Expired, Executed }

    constructor(address timelock_, address guardian_) public {
        timelock = ITimelock(timelock_);
        guardian = guardian_;
    }

    function propose(
        address[] memory targets,
        uint256[] memory values,
        string[] memory signatures,
        bytes[] memory calldatas,
        string memory description
    ) public returns (uint256) {
        // allow anyone to propose for now, since only guardian can queue the transaction it should be harmless, you just need to pay the gas
        require(
            targets.length == values.length &&
                targets.length == signatures.length &&
                targets.length == calldatas.length,
            "Governor::propose: proposal function information arity mismatch"
        );
        require(targets.length != 0, "Governor::propose: must provide actions");
        require(
            targets.length <= MAX_OPERATIONS,
            "Governor::propose: too many actions"
        );

        proposalCount++;
        Proposal memory newProposal = Proposal({
            id: proposalCount,
            proposer: msg.sender,
            eta: 0,
            targets: targets,
            values: values,
            signatures: signatures,
            calldatas: calldatas,
            executed: false
        });

        proposals[newProposal.id] = newProposal;

        emit ProposalCreated(
            newProposal.id,
            msg.sender,
            targets,
            values,
            signatures,
            calldatas,
            description
        );
        return newProposal.id;
    }

    function queue(uint256 proposalId) public {
        require(
            msg.sender == guardian,
            "Governor::queue: sender must be gov guardian"
        );
        require(
            state(proposalId) == ProposalState.Pending,
            "Governor::queue: proposal can only be queued if it is pending"
        );
        Proposal storage proposal = proposals[proposalId];
        proposal.eta = add256(block.timestamp, timelock.delay());

        for (uint256 i = 0; i < proposal.targets.length; i++) {
            _queueOrRevert(
                proposal.targets[i],
                proposal.values[i],
                proposal.signatures[i],
                proposal.calldatas[i],
                proposal.eta
            );
        }

        emit ProposalQueued(proposal.id, proposal.eta);
    }

    function state(uint256 proposalId) public view returns (ProposalState) {
        require(
            proposalCount >= proposalId && proposalId > 0,
            "Governor::state: invalid proposal id"
        );
        Proposal storage proposal = proposals[proposalId];
        if (proposal.executed) {
            return ProposalState.Executed;
        } else if (proposal.eta == 0) {
            return ProposalState.Pending;
        } else if (
            block.timestamp >= add256(proposal.eta, timelock.GRACE_PERIOD())
        ) {
            return ProposalState.Expired;
        } else {
            return ProposalState.Queued;
        }
    }

    function _queueOrRevert(
        address target,
        uint256 value,
        string memory signature,
        bytes memory data,
        uint256 eta
    ) internal {
        require(
            !timelock.queuedTransactions(
                keccak256(abi.encode(target, value, signature, data, eta))
            ),
            "Governor::_queueOrRevert: proposal action already queued at eta"
        );
        timelock.queueTransaction(target, value, signature, data, eta);
    }

    function execute(uint256 proposalId) public payable {
        require(
            state(proposalId) == ProposalState.Queued,
            "Governor::execute: proposal can only be executed if it is queued"
        );
        Proposal storage proposal = proposals[proposalId];
        proposal.executed = true;
        for (uint256 i = 0; i < proposal.targets.length; i++) {
            timelock.executeTransaction.value(proposal.values[i])(
                proposal.targets[i],
                proposal.values[i],
                proposal.signatures[i],
                proposal.calldatas[i],
                proposal.eta
            );
        }
        emit ProposalExecuted(proposalId);
    }

    function getActions(uint256 proposalId)
        public
        view
        returns (
            address[] memory targets,
            uint256[] memory values,
            string[] memory signatures,
            bytes[] memory calldatas
        )
    {
        Proposal storage p = proposals[proposalId];
        return (p.targets, p.values, p.signatures, p.calldatas);
    }

    function __acceptAdmin() public {
        require(
            msg.sender == guardian,
            "Governor::__acceptAdmin: sender must be gov guardian"
        );
        timelock.acceptAdmin();
    }

    function __queueSetTimelockPendingAdmin(
        address newPendingAdmin,
        uint256 eta
    ) public {
        require(
            msg.sender == guardian,
            "Governor::__queueSetTimelockPendingAdmin: sender must be gov guardian"
        );
        timelock.queueTransaction(
            address(timelock),
            0,
            "setPendingAdmin(address)",
            abi.encode(newPendingAdmin),
            eta
        );
    }

    function __executeSetTimelockPendingAdmin(
        address newPendingAdmin,
        uint256 eta
    ) public {
        require(
            msg.sender == guardian,
            "Governor::__executeSetTimelockPendingAdmin: sender must be gov guardian"
        );
        timelock.executeTransaction(
            address(timelock),
            0,
            "setPendingAdmin(address)",
            abi.encode(newPendingAdmin),
            eta
        );
    }

    function add256(uint256 a, uint256 b) internal pure returns (uint256) {
        uint256 c = a + b;
        require(c >= a, "addition overflow");
        return c;
    }

    function sub256(uint256 a, uint256 b) internal pure returns (uint256) {
        require(b <= a, "subtraction underflow");
        return a - b;
    }
}

• No Contract Security Audit Submitted- Submit Audit Here

[{"constant":true,"inputs":[{"internalType":"uint256","name":"","type":"uint256"}],"name":"proposals","outputs":[{"internalType":"uint256","name":"id","type":"uint256"},{"internalType":"address","name":"proposer","type":"address"},{"internalType":"uint256","name":"eta","type":"uint256"},{"internalType":"bool","name":"executed","type":"bool"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"internalType":"address","name":"newPendingAdmin","type":"address"},{"internalType":"uint256","name":"eta","type":"uint256"}],"name":"__executeSetTimelockPendingAdmin","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[{"internalType":"uint256","name":"proposalId","type":"uint256"}],"name":"getActions","outputs":[{"internalType":"address[]","name":"targets","type":"address[]"},{"internalType":"uint256[]","name":"values","type":"uint256[]"},{"internalType":"string[]","name":"signatures","type":"string[]"},{"internalType":"bytes[]","name":"calldatas","type":"bytes[]"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[{"internalType":"uint256","name":"proposalId","type":"uint256"}],"name":"state","outputs":[{"internalType":"enum Governor.ProposalState","name":"","type":"uint8"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"guardian","outputs":[{"internalType":"address","name":"","type":"address"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"MAX_OPERATIONS","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"internalType":"address","name":"newPendingAdmin","type":"address"},{"internalType":"uint256","name":"eta","type":"uint256"}],"name":"__queueSetTimelockPendingAdmin","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[],"name":"__acceptAdmin","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[],"name":"timelock","outputs":[{"internalType":"contract ITimelock","name":"","type":"address"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"proposalCount","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"internalType":"address[]","name":"targets","type":"address[]"},{"internalType":"uint256[]","name":"values","type":"uint256[]"},{"internalType":"string[]","name":"signatures","type":"string[]"},{"internalType":"bytes[]","name":"calldatas","type":"bytes[]"},{"internalType":"string","name":"description","type":"string"}],"name":"propose","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"internalType":"uint256","name":"proposalId","type":"uint256"}],"name":"queue","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"internalType":"uint256","name":"proposalId","type":"uint256"}],"name":"execute","outputs":[],"payable":true,"stateMutability":"payable","type":"function"},{"inputs":[{"internalType":"address","name":"timelock_","type":"address"},{"internalType":"address","name":"guardian_","type":"address"}],"payable":false,"stateMutability":"nonpayable","type":"constructor"},{"anonymous":false,"inputs":[{"indexed":false,"internalType":"uint256","name":"id","type":"uint256"},{"indexed":false,"internalType":"address","name":"proposer","type":"address"},{"indexed":false,"internalType":"address[]","name":"targets","type":"address[]"},{"indexed":false,"internalType":"uint256[]","name":"values","type":"uint256[]"},{"indexed":false,"internalType":"string[]","name":"signatures","type":"string[]"},{"indexed":false,"internalType":"bytes[]","name":"calldatas","type":"bytes[]"},{"indexed":false,"internalType":"string","name":"description","type":"string"}],"name":"ProposalCreated","type":"event"},{"anonymous":false,"inputs":[{"indexed":false,"internalType":"uint256","name":"id","type":"uint256"},{"indexed":false,"internalType":"uint256","name":"eta","type":"uint256"}],"name":"ProposalQueued","type":"event"},{"anonymous":false,"inputs":[{"indexed":false,"internalType":"uint256","name":"id","type":"uint256"}],"name":"ProposalExecuted","type":"event"}]

60806040523480156200001157600080fd5b50604051620035f0380380620035f08339818101604052620000379190810190620000d7565b816000806101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555080600160006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff160217905550505062000166565b600081519050620000d1816200014c565b92915050565b60008060408385031215620000eb57600080fd5b6000620000fb85828601620000c0565b92505060206200010e85828601620000c0565b9150509250929050565b600062000125826200012c565b9050919050565b600073ffffffffffffffffffffffffffffffffffffffff82169050919050565b620001578162000118565b81146200016357600080fd5b50565b61347a80620001766000396000f3fe6080604052600436106100c25760003560e01c8063915006711161007f578063da35c66411610059578063da35c6641461026e578063da95691a14610299578063ddf0b009146102d6578063fe0d94c1146102ff576100c2565b80639150067114610203578063b9a619611461022c578063d33219b414610243576100c2565b8063013cf08b146100c757806321f43e4214610107578063328dd982146101305780633e4f49e614610170578063452a9320146101ad5780635dc2803a146101d8575b600080fd5b3480156100d357600080fd5b506100ee60048036036100e991908101906120fe565b61031b565b6040516100fe9493929190612f2f565b60405180910390f35b34801561011357600080fd5b5061012e60048036036101299190810190611f40565b610378565b005b34801561013c57600080fd5b50610157600480360361015291908101906120fe565b610505565b6040516101679493929190612c50565b60405180910390f35b34801561017c57600080fd5b50610197600480360361019291908101906120fe565b6107e2565b6040516101a49190612ce7565b60405180910390f35b3480156101b957600080fd5b506101c261094b565b6040516101cf9190612b14565b60405180910390f35b3480156101e457600080fd5b506101ed610971565b6040516101fa9190612e82565b60405180910390f35b34801561020f57600080fd5b5061022a60048036036102259190810190611f40565b610976565b005b34801561023857600080fd5b50610241610afe565b005b34801561024f57600080fd5b50610258610c11565b6040516102659190612ccc565b60405180910390f35b34801561027a57600080fd5b50610283610c36565b6040516102909190612e82565b60405180910390f35b3480156102a557600080fd5b506102c060048036036102bb9190810190611f7c565b610c3c565b6040516102cd9190612e82565b60405180910390f35b3480156102e257600080fd5b506102fd60048036036102f891908101906120fe565b610efa565b005b610319600480360361031491908101906120fe565b6112df565b005b60036020528060005260406000206000915090508060000154908060010160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff16908060020154908060070160009054906101000a900460ff16905084565b600160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1614610408576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016103ff90612d82565b60405180910390fd5b6000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16630825f38f6000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1660008560405160200161047a9190612b14565b604051602081830303815290604052856040518563ffffffff1660e01b81526004016104a99493929190612b2f565b600060405180830381600087803b1580156104c357600080fd5b505af11580156104d7573d6000803e3d6000fd5b505050506040513d6000823e3d601f19601f8201168201806040525061050091908101906120bd565b505050565b606080606080600060036000878152602001908152602001600020905080600301816004018260050183600601838054806020026020016040519081016040528092919081815260200182805480156105b357602002820191906000526020600020905b8160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019060010190808311610569575b505050505093508280548060200260200160405190810160405280929190818152602001828054801561060557602002820191906000526020600020905b8154815260200190600101908083116105f1575b5050505050925081805480602002602001604051908101604052809291908181526020016000905b828210156106e9578382906000526020600020018054600181600116156101000203166002900480601f0160208091040260200160405190810160405280929190818152602001828054600181600116156101000203166002900480156106d55780601f106106aa576101008083540402835291602001916106d5565b820191906000526020600020905b8154815290600101906020018083116106b857829003601f168201915b50505050508152602001906001019061062d565b50505050915080805480602002602001604051908101604052809291908181526020016000905b828210156107cc578382906000526020600020018054600181600116156101000203166002900480601f0160208091040260200160405190810160405280929190818152602001828054600181600116156101000203166002900480156107b85780601f1061078d576101008083540402835291602001916107b8565b820191906000526020600020905b81548152906001019060200180831161079b57829003601f168201915b505050505081526020019060010190610710565b5050505090509450945094509450509193509193565b600081600254101580156107f65750600082115b610835576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161082c90612da2565b60405180910390fd5b60006003600084815260200190815260200160002090508060070160009054906101000a900460ff161561086d576003915050610946565b600081600201541415610884576000915050610946565b61093081600201546000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1663c1a287e26040518163ffffffff1660e01b815260040160206040518083038186803b1580156108f357600080fd5b505afa158015610907573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525061092b9190810190612127565b61152c565b4210610940576002915050610946565b60019150505b919050565b600160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b601081565b600160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1614610a06576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016109fd90612d22565b60405180910390fd5b6000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16633a66f9016000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff16600085604051602001610a789190612b14565b604051602081830303815290604052856040518563ffffffff1660e01b8152600401610aa79493929190612b2f565b602060405180830381600087803b158015610ac157600080fd5b505af1158015610ad5573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250610af99190810190612094565b505050565b600160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1614610b8e576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610b8590612e42565b60405180910390fd5b6000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16630e18b6816040518163ffffffff1660e01b8152600401600060405180830381600087803b158015610bf757600080fd5b505af1158015610c0b573d6000803e3d6000fd5b50505050565b6000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b60025481565b600084518651148015610c50575083518651145b8015610c5d575082518651145b610c9c576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610c9390612d02565b60405180910390fd5b600086511415610ce1576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610cd890612d62565b60405180910390fd5b601086511115610d26576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610d1d90612d42565b60405180910390fd5b600260008154809291906001019190505550610d40611755565b60405180610100016040528060025481526020013373ffffffffffffffffffffffffffffffffffffffff168152602001600081526020018881526020018781526020018681526020018581526020016000151581525090508060036000836000015181526020019081526020016000206000820151816000015560208201518160010160006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff160217905550604082015181600201556060820151816003019080519060200190610e279291906117b2565b506080820151816004019080519060200190610e4492919061183c565b5060a0820151816005019080519060200190610e61929190611889565b5060c0820151816006019080519060200190610e7e9291906118e9565b5060e08201518160070160006101000a81548160ff0219169083151502179055509050507fbaab6dcd2ae57433cc1372e25bc5139c3bd664075695546fde8821591a226e388160000151338989898989604051610ee19796959493929190612e9d565b60405180910390a1806000015191505095945050505050565b600160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1614610f8a576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610f8190612e22565b60405180910390fd5b60006003811115610f9757fe5b610fa0826107e2565b6003811115610fab57fe5b14610feb576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610fe290612e62565b60405180910390fd5b60006003600083815260200190815260200160002090506110aa426000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16636a42b8f86040518163ffffffff1660e01b815260040160206040518083038186803b15801561106d57600080fd5b505afa158015611081573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052506110a59190810190612127565b61152c565b816002018190555060008090505b81600301805490508110156112995761128c8260030182815481106110d957fe5b9060005260206000200160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1683600401838154811061111357fe5b906000526020600020015484600501848154811061112d57fe5b906000526020600020018054600181600116156101000203166002900480601f0160208091040260200160405190810160405280929190818152602001828054600181600116156101000203166002900480156111cb5780601f106111a0576101008083540402835291602001916111cb565b820191906000526020600020905b8154815290600101906020018083116111ae57829003601f168201915b50505050508560060185815481106111df57fe5b906000526020600020018054600181600116156101000203166002900480601f01602080910402602001604051908101604052809291908181526020018280546001816001161561010002031660029004801561127d5780601f106112525761010080835404028352916020019161127d565b820191906000526020600020905b81548152906001019060200180831161126057829003601f168201915b50505050508660020154611581565b80806001019150506110b8565b507f9a2e42fd6722813d69113e7d0079d3d940171428df7373df9c7f7617cfda2892816000015482600201546040516112d3929190612f74565b60405180910390a15050565b600160038111156112ec57fe5b6112f5826107e2565b600381111561130057fe5b14611340576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161133790612dc2565b60405180910390fd5b600060036000838152602001908152602001600020905060018160070160006101000a81548160ff02191690831515021790555060008090505b81600301805490508110156114f0576000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16630825f38f8360040183815481106113d557fe5b90600052602060002001548460030184815481106113ef57fe5b9060005260206000200160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1685600401858154811061142957fe5b906000526020600020015486600501868154811061144357fe5b9060005260206000200187600601878154811061145c57fe5b9060005260206000200188600201546040518763ffffffff1660e01b815260040161148b959493929190612bef565b6000604051808303818588803b1580156114a457600080fd5b505af11580156114b8573d6000803e3d6000fd5b50505050506040513d6000823e3d601f19601f820116820180604052506114e291908101906120bd565b50808060010191505061137a565b507f712ae1383f79ac853f8d882153778e0260ef8f03b504e2866e0593e04d2b291f826040516115209190612e82565b60405180910390a15050565b600080828401905083811015611577576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161156e90612de2565b60405180910390fd5b8091505092915050565b6000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1663f2b0653786868686866040516020016115d7959493929190612b8e565b604051602081830303815290604052805190602001206040518263ffffffff1660e01b81526004016116099190612cb1565b60206040518083038186803b15801561162157600080fd5b505afa158015611635573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250611659919081019061206b565b15611699576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161169090612e02565b60405180910390fd5b6000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16633a66f90186868686866040518663ffffffff1660e01b81526004016116fb959493929190612b8e565b602060405180830381600087803b15801561171557600080fd5b505af1158015611729573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525061174d9190810190612094565b505050505050565b60405180610100016040528060008152602001600073ffffffffffffffffffffffffffffffffffffffff16815260200160008152602001606081526020016060815260200160608152602001606081526020016000151581525090565b82805482825590600052602060002090810192821561182b579160200282015b8281111561182a5782518260006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff160217905550916020019190600101906117d2565b5b5090506118389190611949565b5090565b828054828255906000526020600020908101928215611878579160200282015b8281111561187757825182559160200191906001019061185c565b5b509050611885919061198c565b5090565b8280548282559060005260206000209081019282156118d8579160200282015b828111156118d75782518290805190602001906118c79291906119b1565b50916020019190600101906118a9565b5b5090506118e59190611a31565b5090565b828054828255906000526020600020908101928215611938579160200282015b82811115611937578251829080519060200190611927929190611a5d565b5091602001919060010190611909565b5b5090506119459190611add565b5090565b61198991905b8082111561198557600081816101000a81549073ffffffffffffffffffffffffffffffffffffffff02191690555060010161194f565b5090565b90565b6119ae91905b808211156119aa576000816000905550600101611992565b5090565b90565b828054600181600116156101000203166002900490600052602060002090601f016020900481019282601f106119f257805160ff1916838001178555611a20565b82800160010185558215611a20579182015b82811115611a1f578251825591602001919060010190611a04565b5b509050611a2d919061198c565b5090565b611a5a91905b80821115611a565760008181611a4d9190611b09565b50600101611a37565b5090565b90565b828054600181600116156101000203166002900490600052602060002090601f016020900481019282601f10611a9e57805160ff1916838001178555611acc565b82800160010185558215611acc579182015b82811115611acb578251825591602001919060010190611ab0565b5b509050611ad9919061198c565b5090565b611b0691905b80821115611b025760008181611af99190611b51565b50600101611ae3565b5090565b90565b50805460018160011615610100020316600290046000825580601f10611b2f5750611b4e565b601f016020900490600052602060002090810190611b4d919061198c565b5b50565b50805460018160011615610100020316600290046000825580601f10611b775750611b96565b601f016020900490600052602060002090810190611b95919061198c565b5b50565b600081359050611ba8816133db565b92915050565b600082601f830112611bbf57600080fd5b8135611bd2611bcd82612fca565b612f9d565b91508181835260208401935060208101905083856020840282011115611bf757600080fd5b60005b83811015611c275781611c0d8882611b99565b845260208401935060208301925050600181019050611bfa565b5050505092915050565b600082601f830112611c4257600080fd5b8135611c55611c5082612ff2565b612f9d565b9150818183526020840193506020810190508360005b83811015611c9b5781358601611c818882611dc6565b845260208401935060208301925050600181019050611c6b565b5050505092915050565b600082601f830112611cb657600080fd5b8135611cc9611cc48261301a565b612f9d565b9150818183526020840193506020810190508360005b83811015611d0f5781358601611cf58882611e6e565b845260208401935060208301925050600181019050611cdf565b5050505092915050565b600082601f830112611d2a57600080fd5b8135611d3d611d3882613042565b612f9d565b91508181835260208401935060208101905083856020840282011115611d6257600080fd5b60005b83811015611d925781611d788882611f16565b845260208401935060208301925050600181019050611d65565b5050505092915050565b600081519050611dab816133f2565b92915050565b600081519050611dc081613409565b92915050565b600082601f830112611dd757600080fd5b8135611dea611de58261306a565b612f9d565b91508082526020830160208301858383011115611e0657600080fd5b611e1183828461337b565b50505092915050565b600082601f830112611e2b57600080fd5b8151611e3e611e3982613096565b612f9d565b91508082526020830160208301858383011115611e5a57600080fd5b611e6583828461338a565b50505092915050565b600082601f830112611e7f57600080fd5b8135611e92611e8d826130c2565b612f9d565b91508082526020830160208301858383011115611eae57600080fd5b611eb983828461337b565b50505092915050565b600082601f830112611ed357600080fd5b8135611ee6611ee1826130ee565b612f9d565b91508082526020830160208301858383011115611f0257600080fd5b611f0d83828461337b565b50505092915050565b600081359050611f2581613420565b92915050565b600081519050611f3a81613420565b92915050565b60008060408385031215611f5357600080fd5b6000611f6185828601611b99565b9250506020611f7285828601611f16565b9150509250929050565b600080600080600060a08688031215611f9457600080fd5b600086013567ffffffffffffffff811115611fae57600080fd5b611fba88828901611bae565b955050602086013567ffffffffffffffff811115611fd757600080fd5b611fe388828901611d19565b945050604086013567ffffffffffffffff81111561200057600080fd5b61200c88828901611ca5565b935050606086013567ffffffffffffffff81111561202957600080fd5b61203588828901611c31565b925050608086013567ffffffffffffffff81111561205257600080fd5b61205e88828901611ec2565b9150509295509295909350565b60006020828403121561207d57600080fd5b600061208b84828501611d9c565b91505092915050565b6000602082840312156120a657600080fd5b60006120b484828501611db1565b91505092915050565b6000602082840312156120cf57600080fd5b600082015167ffffffffffffffff8111156120e957600080fd5b6120f584828501611e1a565b91505092915050565b60006020828403121561211057600080fd5b600061211e84828501611f16565b91505092915050565b60006020828403121561213957600080fd5b600061214784828501611f2b565b91505092915050565b600061215c83836121b7565b60208301905092915050565b600061217483836123d2565b905092915050565b60006121888383612500565b905092915050565b600061219c8383612af6565b60208301905092915050565b6121b1816132fd565b82525050565b6121c081613298565b82525050565b6121cf81613298565b82525050565b60006121e082613184565b6121ea8185613210565b93506121f58361311a565b8060005b8381101561222657815161220d8882612150565b9750612218836131dc565b9250506001810190506121f9565b5085935050505092915050565b600061223e8261318f565b6122488185613221565b93508360208202850161225a8561312a565b8060005b8581101561229657848403895281516122778582612168565b9450612282836131e9565b925060208a0199505060018101905061225e565b50829750879550505050505092915050565b60006122b38261319a565b6122bd8185613232565b9350836020820285016122cf8561313a565b8060005b8581101561230b57848403895281516122ec858261217c565b94506122f7836131f6565b925060208a019950506001810190506122d3565b50829750879550505050505092915050565b6000612328826131a5565b6123328185613243565b935061233d8361314a565b8060005b8381101561236e5781516123558882612190565b975061236083613203565b925050600181019050612341565b5085935050505092915050565b612384816132aa565b82525050565b612393816132b6565b82525050565b60006123a4826131bb565b6123ae8185613265565b93506123be81856020860161338a565b6123c7816133bd565b840191505092915050565b60006123dd826131b0565b6123e78185613254565b93506123f781856020860161338a565b612400816133bd565b840191505092915050565b600081546001811660008114612428576001811461244e57612492565b607f60028304166124398187613265565b955060ff198316865260208601935050612492565b6002820461245c8187613265565b95506124678561315a565b60005b828110156124895781548189015260018201915060208101905061246a565b80880195505050505b505092915050565b6124a38161330f565b82525050565b6124b281613333565b82525050565b6124c181613345565b82525050565b60006124d2826131d1565b6124dc8185613287565b93506124ec81856020860161338a565b6124f5816133bd565b840191505092915050565b600061250b826131c6565b6125158185613276565b935061252581856020860161338a565b61252e816133bd565b840191505092915050565b600081546001811660008114612556576001811461257c576125c0565b607f60028304166125678187613287565b955060ff1983168652602086019350506125c0565b6002820461258a8187613287565b95506125958561316f565b60005b828110156125b757815481890152600182019150602081019050612598565b80880195505050505b505092915050565b60006125d5603f83613287565b91507f476f7665726e6f723a3a70726f706f73653a2070726f706f73616c2066756e6360008301527f74696f6e20696e666f726d6174696f6e206172697479206d69736d61746368006020830152604082019050919050565b600061263b604583613287565b91507f476f7665726e6f723a3a5f5f717565756553657454696d656c6f636b50656e6460008301527f696e6741646d696e3a2073656e646572206d75737420626520676f762067756160208301527f726469616e0000000000000000000000000000000000000000000000000000006040830152606082019050919050565b60006126c7602383613287565b91507f476f7665726e6f723a3a70726f706f73653a20746f6f206d616e79206163746960008301527f6f6e7300000000000000000000000000000000000000000000000000000000006020830152604082019050919050565b600061272d602783613287565b91507f476f7665726e6f723a3a70726f706f73653a206d7573742070726f766964652060008301527f616374696f6e73000000000000000000000000000000000000000000000000006020830152604082019050919050565b6000612793604783613287565b91507f476f7665726e6f723a3a5f5f6578656375746553657454696d656c6f636b506560008301527f6e64696e6741646d696e3a2073656e646572206d75737420626520676f76206760208301527f7561726469616e000000000000000000000000000000000000000000000000006040830152606082019050919050565b600061281f601883613287565b91507f73657450656e64696e6741646d696e28616464726573732900000000000000006000830152602082019050919050565b600061285f602483613287565b91507f476f7665726e6f723a3a73746174653a20696e76616c69642070726f706f736160008301527f6c206964000000000000000000000000000000000000000000000000000000006020830152604082019050919050565b60006128c5604083613287565b91507f476f7665726e6f723a3a657865637574653a2070726f706f73616c2063616e2060008301527f6f6e6c79206265206578656375746564206966206974206973207175657565646020830152604082019050919050565b600061292b601183613287565b91507f6164646974696f6e206f766572666c6f770000000000000000000000000000006000830152602082019050919050565b600061296b603f83613287565b91507f476f7665726e6f723a3a5f71756575654f725265766572743a2070726f706f7360008301527f616c20616374696f6e20616c72656164792071756575656420617420657461006020830152604082019050919050565b60006129d1602c83613287565b91507f476f7665726e6f723a3a71756575653a2073656e646572206d7573742062652060008301527f676f7620677561726469616e00000000000000000000000000000000000000006020830152604082019050919050565b6000612a37603483613287565b91507f476f7665726e6f723a3a5f5f61636365707441646d696e3a2073656e6465722060008301527f6d75737420626520676f7620677561726469616e0000000000000000000000006020830152604082019050919050565b6000612a9d603d83613287565b91507f476f7665726e6f723a3a71756575653a2070726f706f73616c2063616e206f6e60008301527f6c79206265207175657565642069662069742069732070656e64696e670000006020830152604082019050919050565b612aff816132f3565b82525050565b612b0e816132f3565b82525050565b6000602082019050612b2960008301846121c6565b92915050565b600060a082019050612b4460008301876121c6565b612b5160208301866124b8565b8181036040830152612b6281612812565b90508181036060830152612b768185612399565b9050612b856080830184612b05565b95945050505050565b600060a082019050612ba360008301886121c6565b612bb06020830187612b05565b8181036040830152612bc281866124c7565b90508181036060830152612bd68185612399565b9050612be56080830184612b05565b9695505050505050565b600060a082019050612c0460008301886121c6565b612c116020830187612b05565b8181036040830152612c238186612539565b90508181036060830152612c37818561240b565b9050612c466080830184612b05565b9695505050505050565b60006080820190508181036000830152612c6a81876121d5565b90508181036020830152612c7e818661231d565b90508181036040830152612c9281856122a8565b90508181036060830152612ca68184612233565b905095945050505050565b6000602082019050612cc6600083018461238a565b92915050565b6000602082019050612ce1600083018461249a565b92915050565b6000602082019050612cfc60008301846124a9565b92915050565b60006020820190508181036000830152612d1b816125c8565b9050919050565b60006020820190508181036000830152612d3b8161262e565b9050919050565b60006020820190508181036000830152612d5b816126ba565b9050919050565b60006020820190508181036000830152612d7b81612720565b9050919050565b60006020820190508181036000830152612d9b81612786565b9050919050565b60006020820190508181036000830152612dbb81612852565b9050919050565b60006020820190508181036000830152612ddb816128b8565b9050919050565b60006020820190508181036000830152612dfb8161291e565b9050919050565b60006020820190508181036000830152612e1b8161295e565b9050919050565b60006020820190508181036000830152612e3b816129c4565b9050919050565b60006020820190508181036000830152612e5b81612a2a565b9050919050565b60006020820190508181036000830152612e7b81612a90565b9050919050565b6000602082019050612e976000830184612b05565b92915050565b600060e082019050612eb2600083018a612b05565b612ebf60208301896121a8565b8181036040830152612ed181886121d5565b90508181036060830152612ee5818761231d565b90508181036080830152612ef981866122a8565b905081810360a0830152612f0d8185612233565b905081810360c0830152612f2181846124c7565b905098975050505050505050565b6000608082019050612f446000830187612b05565b612f5160208301866121c6565b612f5e6040830185612b05565b612f6b606083018461237b565b95945050505050565b6000604082019050612f896000830185612b05565b612f966020830184612b05565b9392505050565b6000604051905081810181811067ffffffffffffffff82111715612fc057600080fd5b8060405250919050565b600067ffffffffffffffff821115612fe157600080fd5b602082029050602081019050919050565b600067ffffffffffffffff82111561300957600080fd5b602082029050602081019050919050565b600067ffffffffffffffff82111561303157600080fd5b602082029050602081019050919050565b600067ffffffffffffffff82111561305957600080fd5b602082029050602081019050919050565b600067ffffffffffffffff82111561308157600080fd5b601f19601f8301169050602081019050919050565b600067ffffffffffffffff8211156130ad57600080fd5b601f19601f8301169050602081019050919050565b600067ffffffffffffffff8211156130d957600080fd5b601f19601f8301169050602081019050919050565b600067ffffffffffffffff82111561310557600080fd5b601f19601f8301169050602081019050919050565b6000819050602082019050919050565b6000819050602082019050919050565b6000819050602082019050919050565b6000819050602082019050919050565b60008190508160005260206000209050919050565b60008190508160005260206000209050919050565b600081519050919050565b600081519050919050565b600081519050919050565b600081519050919050565b600081519050919050565b600081519050919050565b600081519050919050565b600081519050919050565b6000602082019050919050565b6000602082019050919050565b6000602082019050919050565b6000602082019050919050565b600082825260208201905092915050565b600082825260208201905092915050565b600082825260208201905092915050565b600082825260208201905092915050565b600082825260208201905092915050565b600082825260208201905092915050565b600082825260208201905092915050565b600082825260208201905092915050565b60006132a3826132d3565b9050919050565b60008115159050919050565b6000819050919050565b60008190506132ce826133ce565b919050565b600073ffffffffffffffffffffffffffffffffffffffff82169050919050565b6000819050919050565b600061330882613357565b9050919050565b600061331a82613321565b9050919050565b600061332c826132d3565b9050919050565b600061333e826132c0565b9050919050565b6000613350826132f3565b9050919050565b600061336282613369565b9050919050565b6000613374826132d3565b9050919050565b82818337600083830152505050565b60005b838110156133a857808201518184015260208101905061338d565b838111156133b7576000848401525b50505050565b6000601f19601f8301169050919050565b600481106133d857fe5b50565b6133e481613298565b81146133ef57600080fd5b50565b6133fb816132aa565b811461340657600080fd5b50565b613412816132b6565b811461341d57600080fd5b50565b613429816132f3565b811461343457600080fd5b5056fea365627a7a7231582099818fef14051d271c0592ad0e48fe2979b311ad8e6fa6868d414a8bec0945346c6578706572696d656e74616cf564736f6c634300050b004000000000000000000000000052bebd3d7f37ec4284853fd5861ae71253a7f428000000000000000000000000e011fa2a6df98c69383457d87a056ed0103aa352

0x6080604052600436106100c25760003560e01c8063915006711161007f578063da35c66411610059578063da35c6641461026e578063da95691a14610299578063ddf0b009146102d6578063fe0d94c1146102ff576100c2565b80639150067114610203578063b9a619611461022c578063d33219b414610243576100c2565b8063013cf08b146100c757806321f43e4214610107578063328dd982146101305780633e4f49e614610170578063452a9320146101ad5780635dc2803a146101d8575b600080fd5b3480156100d357600080fd5b506100ee60048036036100e991908101906120fe565b61031b565b6040516100fe9493929190612f2f565b60405180910390f35b34801561011357600080fd5b5061012e60048036036101299190810190611f40565b610378565b005b34801561013c57600080fd5b50610157600480360361015291908101906120fe565b610505565b6040516101679493929190612c50565b60405180910390f35b34801561017c57600080fd5b50610197600480360361019291908101906120fe565b6107e2565b6040516101a49190612ce7565b60405180910390f35b3480156101b957600080fd5b506101c261094b565b6040516101cf9190612b14565b60405180910390f35b3480156101e457600080fd5b506101ed610971565b6040516101fa9190612e82565b60405180910390f35b34801561020f57600080fd5b5061022a60048036036102259190810190611f40565b610976565b005b34801561023857600080fd5b50610241610afe565b005b34801561024f57600080fd5b50610258610c11565b6040516102659190612ccc565b60405180910390f35b34801561027a57600080fd5b50610283610c36565b6040516102909190612e82565b60405180910390f35b3480156102a557600080fd5b506102c060048036036102bb9190810190611f7c565b610c3c565b6040516102cd9190612e82565b60405180910390f35b3480156102e257600080fd5b506102fd60048036036102f891908101906120fe565b610efa565b005b610319600480360361031491908101906120fe565b6112df565b005b60036020528060005260406000206000915090508060000154908060010160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff16908060020154908060070160009054906101000a900460ff16905084565b600160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1614610408576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016103ff90612d82565b60405180910390fd5b6000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16630825f38f6000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1660008560405160200161047a9190612b14565b604051602081830303815290604052856040518563ffffffff1660e01b81526004016104a99493929190612b2f565b600060405180830381600087803b1580156104c357600080fd5b505af11580156104d7573d6000803e3d6000fd5b505050506040513d6000823e3d601f19601f8201168201806040525061050091908101906120bd565b505050565b606080606080600060036000878152602001908152602001600020905080600301816004018260050183600601838054806020026020016040519081016040528092919081815260200182805480156105b357602002820191906000526020600020905b8160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019060010190808311610569575b505050505093508280548060200260200160405190810160405280929190818152602001828054801561060557602002820191906000526020600020905b8154815260200190600101908083116105f1575b5050505050925081805480602002602001604051908101604052809291908181526020016000905b828210156106e9578382906000526020600020018054600181600116156101000203166002900480601f0160208091040260200160405190810160405280929190818152602001828054600181600116156101000203166002900480156106d55780601f106106aa576101008083540402835291602001916106d5565b820191906000526020600020905b8154815290600101906020018083116106b857829003601f168201915b50505050508152602001906001019061062d565b50505050915080805480602002602001604051908101604052809291908181526020016000905b828210156107cc578382906000526020600020018054600181600116156101000203166002900480601f0160208091040260200160405190810160405280929190818152602001828054600181600116156101000203166002900480156107b85780601f1061078d576101008083540402835291602001916107b8565b820191906000526020600020905b81548152906001019060200180831161079b57829003601f168201915b505050505081526020019060010190610710565b5050505090509450945094509450509193509193565b600081600254101580156107f65750600082115b610835576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161082c90612da2565b60405180910390fd5b60006003600084815260200190815260200160002090508060070160009054906101000a900460ff161561086d576003915050610946565b600081600201541415610884576000915050610946565b61093081600201546000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1663c1a287e26040518163ffffffff1660e01b815260040160206040518083038186803b1580156108f357600080fd5b505afa158015610907573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525061092b9190810190612127565b61152c565b4210610940576002915050610946565b60019150505b919050565b600160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b601081565b600160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1614610a06576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016109fd90612d22565b60405180910390fd5b6000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16633a66f9016000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff16600085604051602001610a789190612b14565b604051602081830303815290604052856040518563ffffffff1660e01b8152600401610aa79493929190612b2f565b602060405180830381600087803b158015610ac157600080fd5b505af1158015610ad5573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250610af99190810190612094565b505050565b600160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1614610b8e576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610b8590612e42565b60405180910390fd5b6000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16630e18b6816040518163ffffffff1660e01b8152600401600060405180830381600087803b158015610bf757600080fd5b505af1158015610c0b573d6000803e3d6000fd5b50505050565b6000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b60025481565b600084518651148015610c50575083518651145b8015610c5d575082518651145b610c9c576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610c9390612d02565b60405180910390fd5b600086511415610ce1576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610cd890612d62565b60405180910390fd5b601086511115610d26576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610d1d90612d42565b60405180910390fd5b600260008154809291906001019190505550610d40611755565b60405180610100016040528060025481526020013373ffffffffffffffffffffffffffffffffffffffff168152602001600081526020018881526020018781526020018681526020018581526020016000151581525090508060036000836000015181526020019081526020016000206000820151816000015560208201518160010160006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff160217905550604082015181600201556060820151816003019080519060200190610e279291906117b2565b506080820151816004019080519060200190610e4492919061183c565b5060a0820151816005019080519060200190610e61929190611889565b5060c0820151816006019080519060200190610e7e9291906118e9565b5060e08201518160070160006101000a81548160ff0219169083151502179055509050507fbaab6dcd2ae57433cc1372e25bc5139c3bd664075695546fde8821591a226e388160000151338989898989604051610ee19796959493929190612e9d565b60405180910390a1806000015191505095945050505050565b600160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1614610f8a576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610f8190612e22565b60405180910390fd5b60006003811115610f9757fe5b610fa0826107e2565b6003811115610fab57fe5b14610feb576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610fe290612e62565b60405180910390fd5b60006003600083815260200190815260200160002090506110aa426000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16636a42b8f86040518163ffffffff1660e01b815260040160206040518083038186803b15801561106d57600080fd5b505afa158015611081573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052506110a59190810190612127565b61152c565b816002018190555060008090505b81600301805490508110156112995761128c8260030182815481106110d957fe5b9060005260206000200160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1683600401838154811061111357fe5b906000526020600020015484600501848154811061112d57fe5b906000526020600020018054600181600116156101000203166002900480601f0160208091040260200160405190810160405280929190818152602001828054600181600116156101000203166002900480156111cb5780601f106111a0576101008083540402835291602001916111cb565b820191906000526020600020905b8154815290600101906020018083116111ae57829003601f168201915b50505050508560060185815481106111df57fe5b906000526020600020018054600181600116156101000203166002900480601f01602080910402602001604051908101604052809291908181526020018280546001816001161561010002031660029004801561127d5780601f106112525761010080835404028352916020019161127d565b820191906000526020600020905b81548152906001019060200180831161126057829003601f168201915b50505050508660020154611581565b80806001019150506110b8565b507f9a2e42fd6722813d69113e7d0079d3d940171428df7373df9c7f7617cfda2892816000015482600201546040516112d3929190612f74565b60405180910390a15050565b600160038111156112ec57fe5b6112f5826107e2565b600381111561130057fe5b14611340576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161133790612dc2565b60405180910390fd5b600060036000838152602001908152602001600020905060018160070160006101000a81548160ff02191690831515021790555060008090505b81600301805490508110156114f0576000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16630825f38f8360040183815481106113d557fe5b90600052602060002001548460030184815481106113ef57fe5b9060005260206000200160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1685600401858154811061142957fe5b906000526020600020015486600501868154811061144357fe5b9060005260206000200187600601878154811061145c57fe5b9060005260206000200188600201546040518763ffffffff1660e01b815260040161148b959493929190612bef565b6000604051808303818588803b1580156114a457600080fd5b505af11580156114b8573d6000803e3d6000fd5b50505050506040513d6000823e3d601f19601f820116820180604052506114e291908101906120bd565b50808060010191505061137a565b507f712ae1383f79ac853f8d882153778e0260ef8f03b504e2866e0593e04d2b291f826040516115209190612e82565b60405180910390a15050565b600080828401905083811015611577576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161156e90612de2565b60405180910390fd5b8091505092915050565b6000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1663f2b0653786868686866040516020016115d7959493929190612b8e565b604051602081830303815290604052805190602001206040518263ffffffff1660e01b81526004016116099190612cb1565b60206040518083038186803b15801561162157600080fd5b505afa158015611635573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250611659919081019061206b565b15611699576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161169090612e02565b60405180910390fd5b6000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16633a66f90186868686866040518663ffffffff1660e01b81526004016116fb959493929190612b8e565b602060405180830381600087803b15801561171557600080fd5b505af1158015611729573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525061174d9190810190612094565b505050505050565b60405180610100016040528060008152602001600073ffffffffffffffffffffffffffffffffffffffff16815260200160008152602001606081526020016060815260200160608152602001606081526020016000151581525090565b82805482825590600052602060002090810192821561182b579160200282015b8281111561182a5782518260006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff160217905550916020019190600101906117d2565b5b5090506118389190611949565b5090565b828054828255906000526020600020908101928215611878579160200282015b8281111561187757825182559160200191906001019061185c565b5b509050611885919061198c565b5090565b8280548282559060005260206000209081019282156118d8579160200282015b828111156118d75782518290805190602001906118c79291906119b1565b50916020019190600101906118a9565b5b5090506118e59190611a31565b5090565b828054828255906000526020600020908101928215611938579160200282015b82811115611937578251829080519060200190611927929190611a5d565b5091602001919060010190611909565b5b5090506119459190611add565b5090565b61198991905b8082111561198557600081816101000a81549073ffffffffffffffffffffffffffffffffffffffff02191690555060010161194f565b5090565b90565b6119ae91905b808211156119aa576000816000905550600101611992565b5090565b90565b828054600181600116156101000203166002900490600052602060002090601f016020900481019282601f106119f257805160ff1916838001178555611a20565b82800160010185558215611a20579182015b82811115611a1f578251825591602001919060010190611a04565b5b509050611a2d919061198c565b5090565b611a5a91905b80821115611a565760008181611a4d9190611b09565b50600101611a37565b5090565b90565b828054600181600116156101000203166002900490600052602060002090601f016020900481019282601f10611a9e57805160ff1916838001178555611acc565b82800160010185558215611acc579182015b82811115611acb578251825591602001919060010190611ab0565b5b509050611ad9919061198c565b5090565b611b0691905b80821115611b025760008181611af99190611b51565b50600101611ae3565b5090565b90565b50805460018160011615610100020316600290046000825580601f10611b2f5750611b4e565b601f016020900490600052602060002090810190611b4d919061198c565b5b50565b50805460018160011615610100020316600290046000825580601f10611b775750611b96565b601f016020900490600052602060002090810190611b95919061198c565b5b50565b600081359050611ba8816133db565b92915050565b600082601f830112611bbf57600080fd5b8135611bd2611bcd82612fca565b612f9d565b91508181835260208401935060208101905083856020840282011115611bf757600080fd5b60005b83811015611c275781611c0d8882611b99565b845260208401935060208301925050600181019050611bfa565b5050505092915050565b600082601f830112611c4257600080fd5b8135611c55611c5082612ff2565b612f9d565b9150818183526020840193506020810190508360005b83811015611c9b5781358601611c818882611dc6565b845260208401935060208301925050600181019050611c6b565b5050505092915050565b600082601f830112611cb657600080fd5b8135611cc9611cc48261301a565b612f9d565b9150818183526020840193506020810190508360005b83811015611d0f5781358601611cf58882611e6e565b845260208401935060208301925050600181019050611cdf565b5050505092915050565b600082601f830112611d2a57600080fd5b8135611d3d611d3882613042565b612f9d565b91508181835260208401935060208101905083856020840282011115611d6257600080fd5b60005b83811015611d925781611d788882611f16565b845260208401935060208301925050600181019050611d65565b5050505092915050565b600081519050611dab816133f2565b92915050565b600081519050611dc081613409565b92915050565b600082601f830112611dd757600080fd5b8135611dea611de58261306a565b612f9d565b91508082526020830160208301858383011115611e0657600080fd5b611e1183828461337b565b50505092915050565b600082601f830112611e2b57600080fd5b8151611e3e611e3982613096565b612f9d565b91508082526020830160208301858383011115611e5a57600080fd5b611e6583828461338a565b50505092915050565b600082601f830112611e7f57600080fd5b8135611e92611e8d826130c2565b612f9d565b91508082526020830160208301858383011115611eae57600080fd5b611eb983828461337b565b50505092915050565b600082601f830112611ed357600080fd5b8135611ee6611ee1826130ee565b612f9d565b91508082526020830160208301858383011115611f0257600080fd5b611f0d83828461337b565b50505092915050565b600081359050611f2581613420565b92915050565b600081519050611f3a81613420565b92915050565b60008060408385031215611f5357600080fd5b6000611f6185828601611b99565b9250506020611f7285828601611f16565b9150509250929050565b600080600080600060a08688031215611f9457600080fd5b600086013567ffffffffffffffff811115611fae57600080fd5b611fba88828901611bae565b955050602086013567ffffffffffffffff811115611fd757600080fd5b611fe388828901611d19565b945050604086013567ffffffffffffffff81111561200057600080fd5b61200c88828901611ca5565b935050606086013567ffffffffffffffff81111561202957600080fd5b61203588828901611c31565b925050608086013567ffffffffffffffff81111561205257600080fd5b61205e88828901611ec2565b9150509295509295909350565b60006020828403121561207d57600080fd5b600061208b84828501611d9c565b91505092915050565b6000602082840312156120a657600080fd5b60006120b484828501611db1565b91505092915050565b6000602082840312156120cf57600080fd5b600082015167ffffffffffffffff8111156120e957600080fd5b6120f584828501611e1a565b91505092915050565b60006020828403121561211057600080fd5b600061211e84828501611f16565b91505092915050565b60006020828403121561213957600080fd5b600061214784828501611f2b565b91505092915050565b600061215c83836121b7565b60208301905092915050565b600061217483836123d2565b905092915050565b60006121888383612500565b905092915050565b600061219c8383612af6565b60208301905092915050565b6121b1816132fd565b82525050565b6121c081613298565b82525050565b6121cf81613298565b82525050565b60006121e082613184565b6121ea8185613210565b93506121f58361311a565b8060005b8381101561222657815161220d8882612150565b9750612218836131dc565b9250506001810190506121f9565b5085935050505092915050565b600061223e8261318f565b6122488185613221565b93508360208202850161225a8561312a565b8060005b8581101561229657848403895281516122778582612168565b9450612282836131e9565b925060208a0199505060018101905061225e565b50829750879550505050505092915050565b60006122b38261319a565b6122bd8185613232565b9350836020820285016122cf8561313a565b8060005b8581101561230b57848403895281516122ec858261217c565b94506122f7836131f6565b925060208a019950506001810190506122d3565b50829750879550505050505092915050565b6000612328826131a5565b6123328185613243565b935061233d8361314a565b8060005b8381101561236e5781516123558882612190565b975061236083613203565b925050600181019050612341565b5085935050505092915050565b612384816132aa565b82525050565b612393816132b6565b82525050565b60006123a4826131bb565b6123ae8185613265565b93506123be81856020860161338a565b6123c7816133bd565b840191505092915050565b60006123dd826131b0565b6123e78185613254565b93506123f781856020860161338a565b612400816133bd565b840191505092915050565b600081546001811660008114612428576001811461244e57612492565b607f60028304166124398187613265565b955060ff198316865260208601935050612492565b6002820461245c8187613265565b95506124678561315a565b60005b828110156124895781548189015260018201915060208101905061246a565b80880195505050505b505092915050565b6124a38161330f565b82525050565b6124b281613333565b82525050565b6124c181613345565b82525050565b60006124d2826131d1565b6124dc8185613287565b93506124ec81856020860161338a565b6124f5816133bd565b840191505092915050565b600061250b826131c6565b6125158185613276565b935061252581856020860161338a565b61252e816133bd565b840191505092915050565b600081546001811660008114612556576001811461257c576125c0565b607f60028304166125678187613287565b955060ff1983168652602086019350506125c0565b6002820461258a8187613287565b95506125958561316f565b60005b828110156125b757815481890152600182019150602081019050612598565b80880195505050505b505092915050565b60006125d5603f83613287565b91507f476f7665726e6f723a3a70726f706f73653a2070726f706f73616c2066756e6360008301527f74696f6e20696e666f726d6174696f6e206172697479206d69736d61746368006020830152604082019050919050565b600061263b604583613287565b91507f476f7665726e6f723a3a5f5f717565756553657454696d656c6f636b50656e6460008301527f696e6741646d696e3a2073656e646572206d75737420626520676f762067756160208301527f726469616e0000000000000000000000000000000000000000000000000000006040830152606082019050919050565b60006126c7602383613287565b91507f476f7665726e6f723a3a70726f706f73653a20746f6f206d616e79206163746960008301527f6f6e7300000000000000000000000000000000000000000000000000000000006020830152604082019050919050565b600061272d602783613287565b91507f476f7665726e6f723a3a70726f706f73653a206d7573742070726f766964652060008301527f616374696f6e73000000000000000000000000000000000000000000000000006020830152604082019050919050565b6000612793604783613287565b91507f476f7665726e6f723a3a5f5f6578656375746553657454696d656c6f636b506560008301527f6e64696e6741646d696e3a2073656e646572206d75737420626520676f76206760208301527f7561726469616e000000000000000000000000000000000000000000000000006040830152606082019050919050565b600061281f601883613287565b91507f73657450656e64696e6741646d696e28616464726573732900000000000000006000830152602082019050919050565b600061285f602483613287565b91507f476f7665726e6f723a3a73746174653a20696e76616c69642070726f706f736160008301527f6c206964000000000000000000000000000000000000000000000000000000006020830152604082019050919050565b60006128c5604083613287565b91507f476f7665726e6f723a3a657865637574653a2070726f706f73616c2063616e2060008301527f6f6e6c79206265206578656375746564206966206974206973207175657565646020830152604082019050919050565b600061292b601183613287565b91507f6164646974696f6e206f766572666c6f770000000000000000000000000000006000830152602082019050919050565b600061296b603f83613287565b91507f476f7665726e6f723a3a5f71756575654f725265766572743a2070726f706f7360008301527f616c20616374696f6e20616c72656164792071756575656420617420657461006020830152604082019050919050565b60006129d1602c83613287565b91507f476f7665726e6f723a3a71756575653a2073656e646572206d7573742062652060008301527f676f7620677561726469616e00000000000000000000000000000000000000006020830152604082019050919050565b6000612a37603483613287565b91507f476f7665726e6f723a3a5f5f61636365707441646d696e3a2073656e6465722060008301527f6d75737420626520676f7620677561726469616e0000000000000000000000006020830152604082019050919050565b6000612a9d603d83613287565b91507f476f7665726e6f723a3a71756575653a2070726f706f73616c2063616e206f6e60008301527f6c79206265207175657565642069662069742069732070656e64696e670000006020830152604082019050919050565b612aff816132f3565b82525050565b612b0e816132f3565b82525050565b6000602082019050612b2960008301846121c6565b92915050565b600060a082019050612b4460008301876121c6565b612b5160208301866124b8565b8181036040830152612b6281612812565b90508181036060830152612b768185612399565b9050612b856080830184612b05565b95945050505050565b600060a082019050612ba360008301886121c6565b612bb06020830187612b05565b8181036040830152612bc281866124c7565b90508181036060830152612bd68185612399565b9050612be56080830184612b05565b9695505050505050565b600060a082019050612c0460008301886121c6565b612c116020830187612b05565b8181036040830152612c238186612539565b90508181036060830152612c37818561240b565b9050612c466080830184612b05565b9695505050505050565b60006080820190508181036000830152612c6a81876121d5565b90508181036020830152612c7e818661231d565b90508181036040830152612c9281856122a8565b90508181036060830152612ca68184612233565b905095945050505050565b6000602082019050612cc6600083018461238a565b92915050565b6000602082019050612ce1600083018461249a565b92915050565b6000602082019050612cfc60008301846124a9565b92915050565b60006020820190508181036000830152612d1b816125c8565b9050919050565b60006020820190508181036000830152612d3b8161262e565b9050919050565b60006020820190508181036000830152612d5b816126ba565b9050919050565b60006020820190508181036000830152612d7b81612720565b9050919050565b60006020820190508181036000830152612d9b81612786565b9050919050565b60006020820190508181036000830152612dbb81612852565b9050919050565b60006020820190508181036000830152612ddb816128b8565b9050919050565b60006020820190508181036000830152612dfb8161291e565b9050919050565b60006020820190508181036000830152612e1b8161295e565b9050919050565b60006020820190508181036000830152612e3b816129c4565b9050919050565b60006020820190508181036000830152612e5b81612a2a565b9050919050565b60006020820190508181036000830152612e7b81612a90565b9050919050565b6000602082019050612e976000830184612b05565b92915050565b600060e082019050612eb2600083018a612b05565b612ebf60208301896121a8565b8181036040830152612ed181886121d5565b90508181036060830152612ee5818761231d565b90508181036080830152612ef981866122a8565b905081810360a0830152612f0d8185612233565b905081810360c0830152612f2181846124c7565b905098975050505050505050565b6000608082019050612f446000830187612b05565b612f5160208301866121c6565b612f5e6040830185612b05565b612f6b606083018461237b565b95945050505050565b6000604082019050612f896000830185612b05565b612f966020830184612b05565b9392505050565b6000604051905081810181811067ffffffffffffffff82111715612fc057600080fd5b8060405250919050565b600067ffffffffffffffff821115612fe157600080fd5b602082029050602081019050919050565b600067ffffffffffffffff82111561300957600080fd5b602082029050602081019050919050565b600067ffffffffffffffff82111561303157600080fd5b602082029050602081019050919050565b600067ffffffffffffffff82111561305957600080fd5b602082029050602081019050919050565b600067ffffffffffffffff82111561308157600080fd5b601f19601f8301169050602081019050919050565b600067ffffffffffffffff8211156130ad57600080fd5b601f19601f8301169050602081019050919050565b600067ffffffffffffffff8211156130d957600080fd5b601f19601f8301169050602081019050919050565b600067ffffffffffffffff82111561310557600080fd5b601f19601f8301169050602081019050919050565b6000819050602082019050919050565b6000819050602082019050919050565b6000819050602082019050919050565b6000819050602082019050919050565b60008190508160005260206000209050919050565b60008190508160005260206000209050919050565b600081519050919050565b600081519050919050565b600081519050919050565b600081519050919050565b600081519050919050565b600081519050919050565b600081519050919050565b600081519050919050565b6000602082019050919050565b6000602082019050919050565b6000602082019050919050565b6000602082019050919050565b600082825260208201905092915050565b600082825260208201905092915050565b600082825260208201905092915050565b600082825260208201905092915050565b600082825260208201905092915050565b600082825260208201905092915050565b600082825260208201905092915050565b600082825260208201905092915050565b60006132a3826132d3565b9050919050565b60008115159050919050565b6000819050919050565b60008190506132ce826133ce565b919050565b600073ffffffffffffffffffffffffffffffffffffffff82169050919050565b6000819050919050565b600061330882613357565b9050919050565b600061331a82613321565b9050919050565b600061332c826132d3565b9050919050565b600061333e826132c0565b9050919050565b6000613350826132f3565b9050919050565b600061336282613369565b9050919050565b6000613374826132d3565b9050919050565b82818337600083830152505050565b60005b838110156133a857808201518184015260208101905061338d565b838111156133b7576000848401525b50505050565b6000601f19601f8301169050919050565b600481106133d857fe5b50565b6133e481613298565b81146133ef57600080fd5b50565b6133fb816132aa565b811461340657600080fd5b50565b613412816132b6565b811461341d57600080fd5b50565b613429816132f3565b811461343457600080fd5b5056fea365627a7a7231582099818fef14051d271c0592ad0e48fe2979b311ad8e6fa6868d414a8bec0945346c6578706572696d656e74616cf564736f6c634300050b0040

00000000000000000000000052bebd3d7f37ec4284853fd5861ae71253a7f428000000000000000000000000e011fa2a6df98c69383457d87a056ed0103aa352

-----Decoded View---------------
Arg [0] : timelock_ (address): 0x52BEBd3d7f37EC4284853Fd5861Ae71253A7F428
Arg [1] : guardian_ (address): 0xe011fA2a6Df98c69383457d87a056Ed0103aA352

-----Encoded View---------------
2 Constructor Arguments found :
Arg [0] : 00000000000000000000000052bebd3d7f37ec4284853fd5861ae71253a7f428
Arg [1] : 000000000000000000000000e011fa2a6df98c69383457d87a056ed0103aa352

2525:8280:0:-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;3726:45;;8:9:-1;5:2;;;30:1;27;20:12;5:2;3726:45:0;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;9990:472;;8:9:-1;5:2;;;30:1;27;20:12;5:2;9990:472:0;;;;;;;;;;;;;;;;:::i;:::-;;8904:388;;8:9:-1;5:2;;;30:1;27;20:12;5:2;8904:388:0;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;7002:669;;8:9:-1;5:2;;;30:1;27;20:12;5:2;7002:669:0;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;2684:23;;8:9:-1;5:2;;;30:1;27;20:12;5:2;2684:23:0;;;:::i;:::-;;;;;;;;;;;;;;;;4335:43;;8:9:-1;5:2;;;30:1;27;20:12;5:2;4335:43:0;;;:::i;:::-;;;;;;;;;;;;;;;;9516:466;;8:9:-1;5:2;;;30:1;27;20:12;5:2;9516:466:0;;;;;;;;;;;;;;;;:::i;:::-;;9300:208;;8:9:-1;5:2;;;30:1;27;20:12;5:2;9300:208:0;;;:::i;:::-;;2596:25;;8:9:-1;5:2;;;30:1;27;20:12;5:2;2596:25:0;;;:::i;:::-;;;;;;;;;;;;;;;;2763:28;;8:9:-1;5:2;;;30:1;27;20:12;5:2;2763:28:0;;;:::i;:::-;;;;;;;;;;;;;;;;4657:1493;;8:9:-1;5:2;;;30:1;27;20:12;5:2;4657:1493:0;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;6158:836;;8:9:-1;5:2;;;30:1;27;20:12;5:2;6158:836:0;;;;;;;;;;;;;;;;:::i;:::-;;8185:711;;;;;;;;;;;;;;;;:::i;:::-;;3726:45;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::o;9990:472::-;10149:8;;;;;;;;;;;10135:22;;:10;:22;;;10113:143;;;;;;;;;;;;;;;;;;;;;;10267:8;;;;;;;;;;;:27;;;10317:8;;;;;;;;;;;10341:1;10409:15;10398:27;;;;;;;;;;;;49:4:-1;39:7;30;26:21;22:32;13:7;6:49;10398:27:0;;;10440:3;10267:187;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;10267:187:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;10267:187:0;;;;;;39:16:-1;36:1;17:17;2:54;10267:187:0;101:4:-1;97:9;90:4;84;80:15;76:31;69:5;65:43;126:6;120:4;113:20;0:138;10267:187:0;;;;;;;;;;9990:472;;:::o;8904:388::-;9006:24;9045:23;9083:26;9124:24;9176:18;9197:9;:21;9207:10;9197:21;;;;;;;;;;;9176:42;;9237:1;:9;;9248:1;:8;;9258:1;:12;;9272:1;:11;;9229:55;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8904:388;;;;;:::o;7002:669::-;7058:13;7123:10;7106:13;;:27;;:45;;;;;7150:1;7137:10;:14;7106:45;7084:131;;;;;;;;;;;;;;;;;;;;;;7226:25;7254:9;:21;7264:10;7254:21;;;;;;;;;;;7226:49;;7290:8;:17;;;;;;;;;;;;7286:378;;;7331:22;7324:29;;;;;7286:378;7391:1;7375:8;:12;;;:17;7371:293;;;7416:21;7409:28;;;;;7371:293;7492:45;7499:8;:12;;;7513:8;;;;;;;;;;;:21;;;:23;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;7513:23:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;7513:23:0;;;;;;;101:4:-1;97:9;90:4;84;80:15;76:31;69:5;65:43;126:6;120:4;113:20;0:138;7513:23:0;;;;;;;;;7492:6;:45::i;:::-;7473:15;:64;7455:209;;7571:21;7564:28;;;;;7455:209;7632:20;7625:27;;;7002:669;;;;:::o;2684:23::-;;;;;;;;;;;;;:::o;4335:43::-;4376:2;4335:43;:::o;9516:466::-;9673:8;;;;;;;;;;;9659:22;;:10;:22;;;9637:141;;;;;;;;;;;;;;;;;;;;;;9789:8;;;;;;;;;;;:25;;;9837:8;;;;;;;;;;;9861:1;9929:15;9918:27;;;;;;;;;;;;49:4:-1;39:7;30;26:21;22:32;13:7;6:49;9918:27:0;;;9960:3;9789:185;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;9789:185:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;9789:185:0;;;;;;;101:4:-1;97:9;90:4;84;80:15;76:31;69:5;65:43;126:6;120:4;113:20;0:138;9789:185:0;;;;;;;;;;9516:466;;:::o;9300:208::-;9379:8;;;;;;;;;;;9365:22;;:10;:22;;;9343:124;;;;;;;;;;;;;;;;;;;;;;9478:8;;;;;;;;;;;:20;;;:22;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;9478:22:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;9478:22:0;;;;9300:208::o;2596:25::-;;;;;;;;;;;;;:::o;2763:28::-;;;;:::o;4657:1493::-;4874:7;5077:6;:13;5059:7;:14;:31;:87;;;;;5129:10;:17;5111:7;:14;:35;5059:87;:142;;;;;5185:9;:16;5167:7;:14;:34;5059:142;5037:255;;;;;;;;;;;;;;;;;;;;;;5329:1;5311:7;:14;:19;;5303:71;;;;;;;;;;;;;;;;;;;;;;4376:2;5407:7;:14;:32;;5385:117;;;;;;;;;;;;;;;;;;;;;;5515:13;;:15;;;;;;;;;;;;;5541:27;;:::i;:::-;5571:271;;;;;;;;5599:13;;5571:271;;;;5637:10;5571:271;;;;;;5667:1;5571:271;;;;5692:7;5571:271;;;;5722:6;5571:271;;;;5755:10;5571:271;;;;5791:9;5571:271;;;;5825:5;5571:271;;;;;5541:301;;5883:11;5855:9;:25;5865:11;:14;;;5855:25;;;;;;;;;;;:39;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;5912:198;5942:11;:14;;;5971:10;5996:7;6018:6;6039:10;6064:9;6088:11;5912:198;;;;;;;;;;;;;;;;;;;;;6128:11;:14;;;6121:21;;;4657:1493;;;;;;;:::o;6158:836::-;6247:8;;;;;;;;;;;6233:22;;:10;:22;;;6211:116;;;;;;;;;;;;;;;;;;;;;;6381:21;6360:42;;;;;;;;:17;6366:10;6360:5;:17::i;:::-;:42;;;;;;;;;6338:153;;;;;;;;;;;;;;;;;;;;;;6502:25;6530:9;:21;6540:10;6530:21;;;;;;;;;;;6502:49;;6577:41;6584:15;6601:8;;;;;;;;;;;:14;;;:16;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;6601:16:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;6601:16:0;;;;;;;101:4:-1;97:9;90:4;84;80:15;76:31;69:5;65:43;126:6;120:4;113:20;0:138;6601:16:0;;;;;;;;;6577:6;:41::i;:::-;6562:8;:12;;:56;;;;6636:9;6648:1;6636:13;;6631:297;6655:8;:16;;:23;;;;6651:1;:27;6631:297;;;6700:216;6733:8;:16;;6750:1;6733:19;;;;;;;;;;;;;;;;;;;;;;;;;6771:8;:15;;6787:1;6771:18;;;;;;;;;;;;;;;;6808:8;:19;;6828:1;6808:22;;;;;;;;;;;;;;;6700:216;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;6849:8;:18;;6868:1;6849:21;;;;;;;;;;;;;;;6700:216;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;6889:8;:12;;;6700:14;:216::i;:::-;6680:3;;;;;;;6631:297;;;;6945:41;6960:8;:11;;;6973:8;:12;;;6945:41;;;;;;;;;;;;;;;;6158:836;;:::o;8185:711::-;8291:20;8270:41;;;;;;;;:17;8276:10;8270:5;:17::i;:::-;:41;;;;;;;;;8248:155;;;;;;;;;;;;;;;;;;;;;;8414:25;8442:9;:21;8452:10;8442:21;;;;;;;;;;;8414:49;;8494:4;8474:8;:17;;;:24;;;;;;;;;;;;;;;;;;8514:9;8526:1;8514:13;;8509:336;8533:8;:16;;:23;;;;8529:1;:27;8509:336;;;8578:8;;;;;;;;;;;:27;;;8612:8;:15;;8628:1;8612:18;;;;;;;;;;;;;;;;8650:8;:16;;8667:1;8650:19;;;;;;;;;;;;;;;;;;;;;;;;;8688:8;:15;;8704:1;8688:18;;;;;;;;;;;;;;;;8725:8;:19;;8745:1;8725:22;;;;;;;;;;;;;;;8766:8;:18;;8785:1;8766:21;;;;;;;;;;;;;;;8806:8;:12;;;8578:255;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;8578:255:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;8578:255:0;;;;;;;39:16:-1;36:1;17:17;2:54;8578:255:0;101:4:-1;97:9;90:4;84;80:15;76:31;69:5;65:43;126:6;120:4;113:20;0:138;8578:255:0;;;;;;;;;;8558:3;;;;;;;8509:336;;;;8860:28;8877:10;8860:28;;;;;;;;;;;;;;;8185:711;;:::o;10470:172::-;10531:7;10551:9;10567:1;10563;:5;10551:17;;10592:1;10587;:6;;10579:36;;;;;;;;;;;;;;;;;;;;;;10633:1;10626:8;;;10470:172;;;;:::o;7679:498::-;7886:8;;;;;;;;;;;:27;;;7953:6;7961:5;7968:9;7979:4;7985:3;7942:47;;;;;;;;;;;;;;;;49:4:-1;39:7;30;26:21;22:32;13:7;6:49;7942:47:0;;;7932:58;;;;;;7886:119;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;7886:119:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;7886:119:0;;;;;;;101:4:-1;97:9;90:4;84;80:15;76:31;69:5;65:43;126:6;120:4;113:20;0:138;7886:119:0;;;;;;;;;7885:120;7863:233;;;;;;;;;;;;;;;;;;;;;;8107:8;;;;;;;;;;;:25;;;8133:6;8141:5;8148:9;8159:4;8165:3;8107:62;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;8107:62:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;8107:62:0;;;;;;;101:4:-1;97:9;90:4;84;80:15;76:31;69:5;65:43;126:6;120:4;113:20;0:138;8107:62:0;;;;;;;;;;7679:498;;;;;:::o;2525:8280::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::o;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;:::o;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;:::o;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;:::o;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;:::o;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::o;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;:::o;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;:::o;:::-;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;:::o;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;:::o;:::-;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;:::o;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;:::o;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;:::o;5:130:-1:-;;85:6;72:20;63:29;;97:33;124:5;97:33;;;57:78;;;;;160:707;;277:3;270:4;262:6;258:17;254:27;244:2;;295:1;292;285:12;244:2;332:6;319:20;354:80;369:64;426:6;369:64;;;354:80;;;345:89;;451:5;476:6;469:5;462:21;506:4;498:6;494:17;484:27;;528:4;523:3;519:14;512:21;;581:6;628:3;620:4;612:6;608:17;603:3;599:27;596:36;593:2;;;645:1;642;635:12;593:2;670:1;655:206;680:6;677:1;674:13;655:206;;;738:3;760:37;793:3;781:10;760:37;;;755:3;748:50;821:4;816:3;812:14;805:21;;849:4;844:3;840:14;833:21;;712:149;702:1;699;695:9;690:14;;655:206;;;659:14;237:630;;;;;;;;891:693;;1013:3;1006:4;998:6;994:17;990:27;980:2;;1031:1;1028;1021:12;980:2;1068:6;1055:20;1090:85;1105:69;1167:6;1105:69;;;1090:85;;;1081:94;;1192:5;1217:6;1210:5;1203:21;1247:4;1239:6;1235:17;1225:27;;1269:4;1264:3;1260:14;1253:21;;1322:6;1355:1;1340:238;1365:6;1362:1;1359:13;1340:238;;;1448:3;1435:17;1427:6;1423:30;1472:42;1510:3;1498:10;1472:42;;;1467:3;1460:55;1538:4;1533:3;1529:14;1522:21;;1566:4;1561:3;1557:14;1550:21;;1397:181;1387:1;1384;1380:9;1375:14;;1340:238;;;1344:14;973:611;;;;;;;;1609:696;;1732:3;1725:4;1717:6;1713:17;1709:27;1699:2;;1750:1;1747;1740:12;1699:2;1787:6;1774:20;1809:86;1824:70;1887:6;1824:70;;;1809:86;;;1800:95;;1912:5;1937:6;1930:5;1923:21;1967:4;1959:6;1955:17;1945:27;;1989:4;1984:3;1980:14;1973:21;;2042:6;2075:1;2060:239;2085:6;2082:1;2079:13;2060:239;;;2168:3;2155:17;2147:6;2143:30;2192:43;2231:3;2219:10;2192:43;;;2187:3;2180:56;2259:4;2254:3;2250:14;2243:21;;2287:4;2282:3;2278:14;2271:21;;2117:182;2107:1;2104;2100:9;2095:14;;2060:239;;;2064:14;1692:613;;;;;;;;2331:707;;2448:3;2441:4;2433:6;2429:17;2425:27;2415:2;;2466:1;2463;2456:12;2415:2;2503:6;2490:20;2525:80;2540:64;2597:6;2540:64;;;2525:80;;;2516:89;;2622:5;2647:6;2640:5;2633:21;2677:4;2669:6;2665:17;2655:27;;2699:4;2694:3;2690:14;2683:21;;2752:6;2799:3;2791:4;2783:6;2779:17;2774:3;2770:27;2767:36;2764:2;;;2816:1;2813;2806:12;2764:2;2841:1;2826:206;2851:6;2848:1;2845:13;2826:206;;;2909:3;2931:37;2964:3;2952:10;2931:37;;;2926:3;2919:50;2992:4;2987:3;2983:14;2976:21;;3020:4;3015:3;3011:14;3004:21;;2883:149;2873:1;2870;2866:9;2861:14;;2826:206;;;2830:14;2408:630;;;;;;;;3046:128;;3127:6;3121:13;3112:22;;3139:30;3163:5;3139:30;;;3106:68;;;;;3181:134;;3265:6;3259:13;3250:22;;3277:33;3304:5;3277:33;;;3244:71;;;;;3323:432;;3420:3;3413:4;3405:6;3401:17;3397:27;3387:2;;3438:1;3435;3428:12;3387:2;3475:6;3462:20;3497:60;3512:44;3549:6;3512:44;;;3497:60;;;3488:69;;3577:6;3570:5;3563:21;3613:4;3605:6;3601:17;3646:4;3639:5;3635:16;3681:3;3672:6;3667:3;3663:16;3660:25;3657:2;;;3698:1;3695;3688:12;3657:2;3708:41;3742:6;3737:3;3732;3708:41;;;3380:375;;;;;;;;3764:442;;3876:3;3869:4;3861:6;3857:17;3853:27;3843:2;;3894:1;3891;3884:12;3843:2;3924:6;3918:13;3946:64;3961:48;4002:6;3961:48;;;3946:64;;;3937:73;;4030:6;4023:5;4016:21;4066:4;4058:6;4054:17;4099:4;4092:5;4088:16;4134:3;4125:6;4120:3;4116:16;4113:25;4110:2;;;4151:1;4148;4141:12;4110:2;4161:39;4193:6;4188:3;4183;4161:39;;;3836:370;;;;;;;;4215:434;;4313:3;4306:4;4298:6;4294:17;4290:27;4280:2;;4331:1;4328;4321:12;4280:2;4368:6;4355:20;4390:61;4405:45;4443:6;4405:45;;;4390:61;;;4381:70;;4471:6;4464:5;4457:21;4507:4;4499:6;4495:17;4540:4;4533:5;4529:16;4575:3;4566:6;4561:3;4557:16;4554:25;4551:2;;;4592:1;4589;4582:12;4551:2;4602:41;4636:6;4631:3;4626;4602:41;;;4273:376;;;;;;;;4658:442;;4760:3;4753:4;4745:6;4741:17;4737:27;4727:2;;4778:1;4775;4768:12;4727:2;4815:6;4802:20;4837:65;4852:49;4894:6;4852:49;;;4837:65;;;4828:74;;4922:6;4915:5;4908:21;4958:4;4950:6;4946:17;4991:4;4984:5;4980:16;5026:3;5017:6;5012:3;5008:16;5005:25;5002:2;;;5043:1;5040;5033:12;5002:2;5053:41;5087:6;5082:3;5077;5053:41;;;4720:380;;;;;;;;5108:130;;5188:6;5175:20;5166:29;;5200:33;5227:5;5200:33;;;5160:78;;;;;5245:134;;5329:6;5323:13;5314:22;;5341:33;5368:5;5341:33;;;5308:71;;;;;5386:366;;;5507:2;5495:9;5486:7;5482:23;5478:32;5475:2;;;5523:1;5520;5513:12;5475:2;5558:1;5575:53;5620:7;5611:6;5600:9;5596:22;5575:53;;;5565:63;;5537:97;5665:2;5683:53;5728:7;5719:6;5708:9;5704:22;5683:53;;;5673:63;;5644:98;5469:283;;;;;;5759:1415;;;;;;6052:3;6040:9;6031:7;6027:23;6023:33;6020:2;;;6069:1;6066;6059:12;6020:2;6132:1;6121:9;6117:17;6104:31;6155:18;6147:6;6144:30;6141:2;;;6187:1;6184;6177:12;6141:2;6207:78;6277:7;6268:6;6257:9;6253:22;6207:78;;;6197:88;;6083:208;6350:2;6339:9;6335:18;6322:32;6374:18;6366:6;6363:30;6360:2;;;6406:1;6403;6396:12;6360:2;6426:78;6496:7;6487:6;6476:9;6472:22;6426:78;;;6416:88;;6301:209;6569:2;6558:9;6554:18;6541:32;6593:18;6585:6;6582:30;6579:2;;;6625:1;6622;6615:12;6579:2;6645:84;6721:7;6712:6;6701:9;6697:22;6645:84;;;6635:94;;6520:215;6794:2;6783:9;6779:18;6766:32;6818:18;6810:6;6807:30;6804:2;;;6850:1;6847;6840:12;6804:2;6870:83;6945:7;6936:6;6925:9;6921:22;6870:83;;;6860:93;;6745:214;7018:3;7007:9;7003:19;6990:33;7043:18;7035:6;7032:30;7029:2;;;7075:1;7072;7065:12;7029:2;7095:63;7150:7;7141:6;7130:9;7126:22;7095:63;;;7085:73;;6969:195;6014:1160;;;;;;;;;7181:257;;7293:2;7281:9;7272:7;7268:23;7264:32;7261:2;;;7309:1;7306;7299:12;7261:2;7344:1;7361:61;7414:7;7405:6;7394:9;7390:22;7361:61;;;7351:71;;7323:105;7255:183;;;;;7445:263;;7560:2;7548:9;7539:7;7535:23;7531:32;7528:2;;;7576:1;7573;7566:12;7528:2;7611:1;7628:64;7684:7;7675:6;7664:9;7660:22;7628:64;;;7618:74;;7590:108;7522:186;;;;;7715:360;;7839:2;7827:9;7818:7;7814:23;7810:32;7807:2;;;7855:1;7852;7845:12;7807:2;7911:1;7900:9;7896:17;7890:24;7934:18;7926:6;7923:30;7920:2;;;7966:1;7963;7956:12;7920:2;7986:73;8051:7;8042:6;8031:9;8027:22;7986:73;;;7976:83;;7869:196;7801:274;;;;;8082:241;;8186:2;8174:9;8165:7;8161:23;8157:32;8154:2;;;8202:1;8199;8192:12;8154:2;8237:1;8254:53;8299:7;8290:6;8279:9;8275:22;8254:53;;;8244:63;;8216:97;8148:175;;;;;8330:263;;8445:2;8433:9;8424:7;8420:23;8416:32;8413:2;;;8461:1;8458;8451:12;8413:2;8496:1;8513:64;8569:7;8560:6;8549:9;8545:22;8513:64;;;8503:74;;8475:108;8407:186;;;;;8601:173;;8688:46;8730:3;8722:6;8688:46;;;8763:4;8758:3;8754:14;8740:28;;8681:93;;;;;8783:177;;8894:60;8950:3;8942:6;8894:60;;;8880:74;;8873:87;;;;;8969:181;;9082:62;9140:3;9132:6;9082:62;;;9068:76;;9061:89;;;;;9159:173;;9246:46;9288:3;9280:6;9246:46;;;9321:4;9316:3;9312:14;9298:28;;9239:93;;;;;9340:142;9431:45;9470:5;9431:45;;;9426:3;9419:58;9413:69;;;9489:103;9562:24;9580:5;9562:24;;;9557:3;9550:37;9544:48;;;9599:113;9682:24;9700:5;9682:24;;;9677:3;9670:37;9664:48;;;9750:690;;9895:54;9943:5;9895:54;;;9962:86;10041:6;10036:3;9962:86;;;9955:93;;10069:56;10119:5;10069:56;;;10145:7;10173:1;10158:260;10183:6;10180:1;10177:13;10158:260;;;10250:6;10244:13;10271:63;10330:3;10315:13;10271:63;;;10264:70;;10351:60;10404:6;10351:60;;;10341:70;;10215:203;10205:1;10202;10198:9;10193:14;;10158:260;;;10162:14;10431:3;10424:10;;9874:566;;;;;;;;10475:888;;10630:59;10683:5;10630:59;;;10702:91;10786:6;10781:3;10702:91;;;10695:98;;10816:3;10858:4;10850:6;10846:17;10841:3;10837:27;10885:61;10940:5;10885:61;;;10966:7;10994:1;10979:345;11004:6;11001:1;10998:13;10979:345;;;11066:9;11060:4;11056:20;11051:3;11044:33;11111:6;11105:13;11133:74;11202:4;11187:13;11133:74;;;11125:82;;11224:65;11282:6;11224:65;;;11214:75;;11312:4;11307:3;11303:14;11296:21;;11036:288;11026:1;11023;11019:9;11014:14;;10979:345;;;10983:14;11337:4;11330:11;;11354:3;11347:10;;10609:754;;;;;;;;;;11400:896;;11557:60;11611:5;11557:60;;;11630:92;11715:6;11710:3;11630:92;;;11623:99;;11745:3;11787:4;11779:6;11775:17;11770:3;11766:27;11814:62;11870:5;11814:62;;;11896:7;11924:1;11909:348;11934:6;11931:1;11928:13;11909:348;;;11996:9;11990:4;11986:20;11981:3;11974:33;12041:6;12035:13;12063:76;12134:4;12119:13;12063:76;;;12055:84;;12156:66;12215:6;12156:66;;;12146:76;;12245:4;12240:3;12236:14;12229:21;;11966:291;11956:1;11953;11949:9;11944:14;;11909:348;;;11913:14;12270:4;12263:11;;12287:3;12280:10;;11536:760;;;;;;;;;;12335:690;;12480:54;12528:5;12480:54;;;12547:86;12626:6;12621:3;12547:86;;;12540:93;;12654:56;12704:5;12654:56;;;12730:7;12758:1;12743:260;12768:6;12765:1;12762:13;12743:260;;;12835:6;12829:13;12856:63;12915:3;12900:13;12856:63;;;12849:70;;12936:60;12989:6;12936:60;;;12926:70;;12800:203;12790:1;12787;12783:9;12778:14;;12743:260;;;12747:14;13016:3;13009:10;;12459:566;;;;;;;;13033:104;13110:21;13125:5;13110:21;;;13105:3;13098:34;13092:45;;;13144:113;13227:24;13245:5;13227:24;;;13222:3;13215:37;13209:48;;;13264:343;;13374:38;13406:5;13374:38;;;13424:70;13487:6;13482:3;13424:70;;;13417:77;;13499:52;13544:6;13539:3;13532:4;13525:5;13521:16;13499:52;;;13572:29;13594:6;13572:29;;;13567:3;13563:39;13556:46;;13354:253;;;;;;13614:315;;13710:34;13738:5;13710:34;;;13756:60;13809:6;13804:3;13756:60;;;13749:67;;13821:52;13866:6;13861:3;13854:4;13847:5;13843:16;13821:52;;;13894:29;13916:6;13894:29;;;13889:3;13885:39;13878:46;;13690:239;;;;;;13959:818;;14076:5;14070:12;14110:1;14099:9;14095:17;14123:1;14118:247;;;;14376:1;14371:400;;;;14088:683;;14118:247;14196:4;14192:1;14181:9;14177:17;14173:28;14215:70;14278:6;14273:3;14215:70;;;14208:77;;14323:4;14319:9;14308;14304:25;14299:3;14292:38;14353:4;14348:3;14344:14;14337:21;;14125:240;14118:247;;14371:400;14440:1;14429:9;14425:17;14456:70;14519:6;14514:3;14456:70;;;14449:77;;14548:37;14579:5;14548:37;;;14601:1;14609:130;14623:6;14620:1;14617:13;14609:130;;;14688:7;14682:14;14678:1;14673:3;14669:11;14662:35;14729:1;14720:7;14716:15;14705:26;;14645:4;14642:1;14638:12;14633:17;;14609:130;;;14762:1;14757:3;14753:11;14746:18;;14378:393;;;14088:683;;14046:731;;;;;;14785:158;14884:53;14931:5;14884:53;;;14879:3;14872:66;14866:77;;;14950:156;15048:52;15094:5;15048:52;;;15043:3;15036:65;15030:76;;;15113:142;15204:45;15243:5;15204:45;;;15199:3;15192:58;15186:69;;;15262:347;;15374:39;15407:5;15374:39;;;15425:71;15489:6;15484:3;15425:71;;;15418:78;;15501:52;15546:6;15541:3;15534:4;15527:5;15523:16;15501:52;;;15574:29;15596:6;15574:29;;;15569:3;15565:39;15558:46;;15354:255;;;;;;15616:319;;15714:35;15743:5;15714:35;;;15761:61;15815:6;15810:3;15761:61;;;15754:68;;15827:52;15872:6;15867:3;15860:4;15853:5;15849:16;15827:52;;;15900:29;15922:6;15900:29;;;15895:3;15891:39;15884:46;;15694:241;;;;;;15967:823;;16086:5;16080:12;16120:1;16109:9;16105:17;16133:1;16128:248;;;;16387:1;16382:402;;;;16098:686;;16128:248;16206:4;16202:1;16191:9;16187:17;16183:28;16225:71;16289:6;16284:3;16225:71;;;16218:78;;16334:4;16330:9;16319;16315:25;16310:3;16303:38;16364:4;16359:3;16355:14;16348:21;;16135:241;16128:248;;16382:402;16451:1;16440:9;16436:17;16467:71;16531:6;16526:3;16467:71;;;16460:78;;16560:38;16592:5;16560:38;;;16614:1;16622:130;16636:6;16633:1;16630:13;16622:130;;;16701:7;16695:14;16691:1;16686:3;16682:11;16675:35;16742:1;16733:7;16729:15;16718:26;;16658:4;16655:1;16651:12;16646:17;;16622:130;;;16775:1;16770:3;16766:11;16759:18;;16389:395;;;16098:686;;16056:734;;;;;;16799:465;;16959:67;17023:2;17018:3;16959:67;;;16952:74;;17059:66;17055:1;17050:3;17046:11;17039:87;17160:66;17155:2;17150:3;17146:12;17139:88;17255:2;17250:3;17246:12;17239:19;;16945:319;;;;17273:566;;17433:67;17497:2;17492:3;17433:67;;;17426:74;;17533:66;17529:1;17524:3;17520:11;17513:87;17634:66;17629:2;17624:3;17620:12;17613:88;17735:66;17730:2;17725:3;17721:12;17714:88;17830:2;17825:3;17821:12;17814:19;;17419:420;;;;17848:465;;18008:67;18072:2;18067:3;18008:67;;;18001:74;;18108:66;18104:1;18099:3;18095:11;18088:87;18209:66;18204:2;18199:3;18195:12;18188:88;18304:2;18299:3;18295:12;18288:19;;17994:319;;;;18322:465;;18482:67;18546:2;18541:3;18482:67;;;18475:74;;18582:66;18578:1;18573:3;18569:11;18562:87;18683:66;18678:2;18673:3;18669:12;18662:88;18778:2;18773:3;18769:12;18762:19;;18468:319;;;;18796:566;;18956:67;19020:2;19015:3;18956:67;;;18949:74;;19056:66;19052:1;19047:3;19043:11;19036:87;19157:66;19152:2;19147:3;19143:12;19136:88;19258:66;19253:2;19248:3;19244:12;19237:88;19353:2;19348:3;19344:12;19337:19;;18942:420;;;;19371:364;;19531:67;19595:2;19590:3;19531:67;;;19524:74;;19631:66;19627:1;19622:3;19618:11;19611:87;19726:2;19721:3;19717:12;19710:19;;19517:218;;;;19744:465;;19904:67;19968:2;19963:3;19904:67;;;19897:74;;20004:66;20000:1;19995:3;19991:11;19984:87;20105:66;20100:2;20095:3;20091:12;20084:88;20200:2;20195:3;20191:12;20184:19;;19890:319;;;;20218:465;;20378:67;20442:2;20437:3;20378:67;;;20371:74;;20478:66;20474:1;20469:3;20465:11;20458:87;20579:66;20574:2;20569:3;20565:12;20558:88;20674:2;20669:3;20665:12;20658:19;;20364:319;;;;20692:364;;20852:67;20916:2;20911:3;20852:67;;;20845:74;;20952:66;20948:1;20943:3;20939:11;20932:87;21047:2;21042:3;21038:12;21031:19;;20838:218;;;;21065:465;;21225:67;21289:2;21284:3;21225:67;;;21218:74;;21325:66;21321:1;21316:3;21312:11;21305:87;21426:66;21421:2;21416:3;21412:12;21405:88;21521:2;21516:3;21512:12;21505:19;;21211:319;;;;21539:465;;21699:67;21763:2;21758:3;21699:67;;;21692:74;;21799:66;21795:1;21790:3;21786:11;21779:87;21900:66;21895:2;21890:3;21886:12;21879:88;21995:2;21990:3;21986:12;21979:19;;21685:319;;;;22013:465;;22173:67;22237:2;22232:3;22173:67;;;22166:74;;22273:66;22269:1;22264:3;22260:11;22253:87;22374:66;22369:2;22364:3;22360:12;22353:88;22469:2;22464:3;22460:12;22453:19;;22159:319;;;;22487:465;;22647:67;22711:2;22706:3;22647:67;;;22640:74;;22747:66;22743:1;22738:3;22734:11;22727:87;22848:66;22843:2;22838:3;22834:12;22827:88;22943:2;22938:3;22934:12;22927:19;;22633:319;;;;22960:103;23033:24;23051:5;23033:24;;;23028:3;23021:37;23015:48;;;23070:113;23153:24;23171:5;23153:24;;;23148:3;23141:37;23135:48;;;23190:213;;23308:2;23297:9;23293:18;23285:26;;23322:71;23390:1;23379:9;23375:17;23366:6;23322:71;;;23279:124;;;;;23410:953;;23739:3;23728:9;23724:19;23716:27;;23754:71;23822:1;23811:9;23807:17;23798:6;23754:71;;;23836:80;23912:2;23901:9;23897:18;23888:6;23836:80;;;23964:9;23958:4;23954:20;23949:2;23938:9;23934:18;23927:48;23989:131;24115:4;23989:131;;;23981:139;;24168:9;24162:4;24158:20;24153:2;24142:9;24138:18;24131:48;24193:76;24264:4;24255:6;24193:76;;;24185:84;;24280:73;24348:3;24337:9;24333:19;24324:6;24280:73;;;23710:653;;;;;;;;24370:831;;24638:3;24627:9;24623:19;24615:27;;24653:71;24721:1;24710:9;24706:17;24697:6;24653:71;;;24735:72;24803:2;24792:9;24788:18;24779:6;24735:72;;;24855:9;24849:4;24845:20;24840:2;24829:9;24825:18;24818:48;24880:78;24953:4;24944:6;24880:78;;;24872:86;;25006:9;25000:4;24996:20;24991:2;24980:9;24976:18;24969:48;25031:76;25102:4;25093:6;25031:76;;;25023:84;;25118:73;25186:3;25175:9;25171:19;25162:6;25118:73;;;24609:592;;;;;;;;;25208:819;;25470:3;25459:9;25455:19;25447:27;;25485:71;25553:1;25542:9;25538:17;25529:6;25485:71;;;25567:72;25635:2;25624:9;25620:18;25611:6;25567:72;;;25687:9;25681:4;25677:20;25672:2;25661:9;25657:18;25650:48;25712:75;25782:4;25773:6;25712:75;;;25704:83;;25835:9;25829:4;25825:20;25820:2;25809:9;25805:18;25798:48;25860:73;25928:4;25919:6;25860:73;;;25852:81;;25944:73;26012:3;26001:9;25997:19;25988:6;25944:73;;;25441:586;;;;;;;;;26034:1183;;26458:3;26447:9;26443:19;26435:27;;26509:9;26503:4;26499:20;26495:1;26484:9;26480:17;26473:47;26534:108;26637:4;26628:6;26534:108;;;26526:116;;26690:9;26684:4;26680:20;26675:2;26664:9;26660:18;26653:48;26715:108;26818:4;26809:6;26715:108;;;26707:116;;26871:9;26865:4;26861:20;26856:2;26845:9;26841:18;26834:48;26896:120;27011:4;27002:6;26896:120;;;26888:128;;27064:9;27058:4;27054:20;27049:2;27038:9;27034:18;27027:48;27089:118;27202:4;27193:6;27089:118;;;27081:126;;26429:788;;;;;;;;27224:213;;27342:2;27331:9;27327:18;27319:26;;27356:71;27424:1;27413:9;27409:17;27400:6;27356:71;;;27313:124;;;;;27444:245;;27578:2;27567:9;27563:18;27555:26;;27592:87;27676:1;27665:9;27661:17;27652:6;27592:87;;;27549:140;;;;;27696:243;;27829:2;27818:9;27814:18;27806:26;;27843:86;27926:1;27915:9;27911:17;27902:6;27843:86;;;27800:139;;;;;27946:407;;28137:2;28126:9;28122:18;28114:26;;28187:9;28181:4;28177:20;28173:1;28162:9;28158:17;28151:47;28212:131;28338:4;28212:131;;;28204:139;;28108:245;;;;28360:407;;28551:2;28540:9;28536:18;28528:26;;28601:9;28595:4;28591:20;28587:1;28576:9;28572:17;28565:47;28626:131;28752:4;28626:131;;;28618:139;;28522:245;;;;28774:407;;28965:2;28954:9;28950:18;28942:26;;29015:9;29009:4;29005:20;29001:1;28990:9;28986:17;28979:47;29040:131;29166:4;29040:131;;;29032:139;;28936:245;;;;29188:407;;29379:2;29368:9;29364:18;29356:26;;29429:9;29423:4;29419:20;29415:1;29404:9;29400:17;29393:47;29454:131;29580:4;29454:131;;;29446:139;;29350:245;;;;29602:407;;29793:2;29782:9;29778:18;29770:26;;29843:9;29837:4;29833:20;29829:1;29818:9;29814:17;29807:47;29868:131;29994:4;29868:131;;;29860:139;;29764:245;;;;30016:407;;30207:2;30196:9;30192:18;30184:26;;30257:9;30251:4;30247:20;30243:1;30232:9;30228:17;30221:47;30282:131;30408:4;30282:131;;;30274:139;;30178:245;;;;30430:407;;30621:2;30610:9;30606:18;30598:26;;30671:9;30665:4;30661:20;30657:1;30646:9;30642:17;30635:47;30696:131;30822:4;30696:131;;;30688:139;;30592:245;;;;30844:407;;31035:2;31024:9;31020:18;31012:26;;31085:9;31079:4;31075:20;31071:1;31060:9;31056:17;31049:47;31110:131;31236:4;31110:131;;;31102:139;;31006:245;;;;31258:407;;31449:2;31438:9;31434:18;31426:26;;31499:9;31493:4;31489:20;31485:1;31474:9;31470:17;31463:47;31524:131;31650:4;31524:131;;;31516:139;;31420:245;;;;31672:407;;31863:2;31852:9;31848:18;31840:26;;31913:9;31907:4;31903:20;31899:1;31888:9;31884:17;31877:47;31938:131;32064:4;31938:131;;;31930:139;;31834:245;;;;32086:407;;32277:2;32266:9;32262:18;32254:26;;32327:9;32321:4;32317:20;32313:1;32302:9;32298:17;32291:47;32352:131;32478:4;32352:131;;;32344:139;;32248:245;;;;32500:407;;32691:2;32680:9;32676:18;32668:26;;32741:9;32735:4;32731:20;32727:1;32716:9;32712:17;32705:47;32766:131;32892:4;32766:131;;;32758:139;;32662:245;;;;32914:213;;33032:2;33021:9;33017:18;33009:26;;33046:71;33114:1;33103:9;33099:17;33090:6;33046:71;;;33003:124;;;;;33134:1623;;33670:3;33659:9;33655:19;33647:27;;33685:71;33753:1;33742:9;33738:17;33729:6;33685:71;;;33767:80;33843:2;33832:9;33828:18;33819:6;33767:80;;;33895:9;33889:4;33885:20;33880:2;33869:9;33865:18;33858:48;33920:108;34023:4;34014:6;33920:108;;;33912:116;;34076:9;34070:4;34066:20;34061:2;34050:9;34046:18;34039:48;34101:108;34204:4;34195:6;34101:108;;;34093:116;;34258:9;34252:4;34248:20;34242:3;34231:9;34227:19;34220:49;34283:120;34398:4;34389:6;34283:120;;;34275:128;;34452:9;34446:4;34442:20;34436:3;34425:9;34421:19;34414:49;34477:118;34590:4;34581:6;34477:118;;;34469:126;;34644:9;34638:4;34634:20;34628:3;34617:9;34613:19;34606:49;34669:78;34742:4;34733:6;34669:78;;;34661:86;;33641:1116;;;;;;;;;;;34764:535;;34960:3;34949:9;34945:19;34937:27;;34975:71;35043:1;35032:9;35028:17;35019:6;34975:71;;;35057:72;35125:2;35114:9;35110:18;35101:6;35057:72;;;35140;35208:2;35197:9;35193:18;35184:6;35140:72;;;35223:66;35285:2;35274:9;35270:18;35261:6;35223:66;;;34931:368;;;;;;;;35306:324;;35452:2;35441:9;35437:18;35429:26;;35466:71;35534:1;35523:9;35519:17;35510:6;35466:71;;;35548:72;35616:2;35605:9;35601:18;35592:6;35548:72;;;35423:207;;;;;;35637:256;;35699:2;35693:9;35683:19;;35737:4;35729:6;35725:17;35836:6;35824:10;35821:22;35800:18;35788:10;35785:34;35782:62;35779:2;;;35857:1;35854;35847:12;35779:2;35877:10;35873:2;35866:22;35677:216;;;;;35900:304;;36059:18;36051:6;36048:30;36045:2;;;36091:1;36088;36081:12;36045:2;36126:4;36118:6;36114:17;36106:25;;36189:4;36183;36179:15;36171:23;;35982:222;;;;36211:309;;36375:18;36367:6;36364:30;36361:2;;;36407:1;36404;36397:12;36361:2;36442:4;36434:6;36430:17;36422:25;;36505:4;36499;36495:15;36487:23;;36298:222;;;;36527:310;;36692:18;36684:6;36681:30;36678:2;;;36724:1;36721;36714:12;36678:2;36759:4;36751:6;36747:17;36739:25;;36822:4;36816;36812:15;36804:23;;36615:222;;;;36844:304;;37003:18;36995:6;36992:30;36989:2;;;37035:1;37032;37025:12;36989:2;37070:4;37062:6;37058:17;37050:25;;37133:4;37127;37123:15;37115:23;;36926:222;;;;37155:317;;37294:18;37286:6;37283:30;37280:2;;;37326:1;37323;37316:12;37280:2;37393:4;37389:9;37382:4;37374:6;37370:17;37366:33;37358:41;;37457:4;37451;37447:15;37439:23;;37217:255;;;;37479:321;;37622:18;37614:6;37611:30;37608:2;;;37654:1;37651;37644:12;37608:2;37721:4;37717:9;37710:4;37702:6;37698:17;37694:33;37686:41;;37785:4;37779;37775:15;37767:23;;37545:255;;;;37807:318;;37947:18;37939:6;37936:30;37933:2;;;37979:1;37976;37969:12;37933:2;38046:4;38042:9;38035:4;38027:6;38023:17;38019:33;38011:41;;38110:4;38104;38100:15;38092:23;;37870:255;;;;38132:322;;38276:18;38268:6;38265:30;38262:2;;;38308:1;38305;38298:12;38262:2;38375:4;38371:9;38364:4;38356:6;38352:17;38348:33;38340:41;;38439:4;38433;38429:15;38421:23;;38199:255;;;;38461:151;;38547:3;38539:11;;38585:4;38580:3;38576:14;38568:22;;38533:79;;;;38619:156;;38710:3;38702:11;;38748:4;38743:3;38739:14;38731:22;;38696:79;;;;38782:157;;38874:3;38866:11;;38912:4;38907:3;38903:14;38895:22;;38860:79;;;;38946:151;;39032:3;39024:11;;39070:4;39065:3;39061:14;39053:22;;39018:79;;;;39104:157;;39171:3;39163:11;;39208:3;39205:1;39198:14;39240:4;39237:1;39227:18;39219:26;;39157:104;;;;39268:158;;39336:3;39328:11;;39373:3;39370:1;39363:14;39405:4;39402:1;39392:18;39384:26;;39322:104;;;;39433:137;;39542:5;39536:12;39526:22;;39507:63;;;;39577:142;;39691:5;39685:12;39675:22;;39656:63;;;;39726:143;;39841:5;39835:12;39825:22;;39806:63;;;;39876:137;;39985:5;39979:12;39969:22;;39950:63;;;;40020:117;;40109:5;40103:12;40093:22;;40074:63;;;;40144:121;;40237:5;40231:12;40221:22;;40202:63;;;;40272:118;;40362:5;40356:12;40346:22;;40327:63;;;;40397:122;;40491:5;40485:12;40475:22;;40456:63;;;;40526:108;;40624:4;40619:3;40615:14;40607:22;;40601:33;;;;40641:113;;40744:4;40739:3;40735:14;40727:22;;40721:33;;;;40761:114;;40865:4;40860:3;40856:14;40848:22;;40842:33;;;;40882:108;;40980:4;40975:3;40971:14;40963:22;;40957:33;;;;40998:178;;41128:6;41123:3;41116:19;41165:4;41160:3;41156:14;41141:29;;41109:67;;;;;41185:183;;41320:6;41315:3;41308:19;41357:4;41352:3;41348:14;41333:29;;41301:67;;;;;41377:184;;41513:6;41508:3;41501:19;41550:4;41545:3;41541:14;41526:29;;41494:67;;;;;41570:178;;41700:6;41695:3;41688:19;41737:4;41732:3;41728:14;41713:29;;41681:67;;;;;41757:152;;41861:6;41856:3;41849:19;41898:4;41893:3;41889:14;41874:29;;41842:67;;;;;41918:162;;42032:6;42027:3;42020:19;42069:4;42064:3;42060:14;42045:29;;42013:67;;;;;42089:153;;42194:6;42189:3;42182:19;42231:4;42226:3;42222:14;42207:29;;42175:67;;;;;42251:163;;42366:6;42361:3;42354:19;42403:4;42398:3;42394:14;42379:29;;42347:67;;;;;42422:91;;42484:24;42502:5;42484:24;;;42473:35;;42467:46;;;;42520:85;;42593:5;42586:13;42579:21;42568:32;;42562:43;;;;42612:72;;42674:5;42663:16;;42657:27;;;;42691:140;;42770:5;42759:16;;42776:50;42820:5;42776:50;;;42753:78;;;;42838:121;;42911:42;42904:5;42900:54;42889:65;;42883:76;;;;42966:72;;43028:5;43017:16;;43011:27;;;;43045:129;;43132:37;43163:5;43132:37;;;43119:50;;43113:61;;;;43181:153;;43276:53;43323:5;43276:53;;;43263:66;;43257:77;;;;43341:124;;43436:24;43454:5;43436:24;;;43423:37;;43417:48;;;;43472:140;;43566:41;43601:5;43566:41;;;43553:54;;43547:65;;;;43619:116;;43706:24;43724:5;43706:24;;;43693:37;;43687:48;;;;43742:121;;43821:37;43852:5;43821:37;;;43808:50;;43802:61;;;;43870:108;;43949:24;43967:5;43949:24;;;43936:37;;43930:48;;;;43986:145;44067:6;44062:3;44057;44044:30;44123:1;44114:6;44109:3;44105:16;44098:27;44037:94;;;;44140:268;44205:1;44212:101;44226:6;44223:1;44220:13;44212:101;;;44302:1;44297:3;44293:11;44287:18;44283:1;44278:3;44274:11;44267:39;44248:2;44245:1;44241:10;44236:15;;44212:101;;;44328:6;44325:1;44322:13;44319:2;;;44393:1;44384:6;44379:3;44375:16;44368:27;44319:2;44189:219;;;;;44416:97;;44504:2;44500:7;44495:2;44488:5;44484:14;44480:28;44470:38;;44464:49;;;;44521:108;44607:1;44600:5;44597:12;44587:2;;44613:9;44587:2;44581:48;;44636:117;44705:24;44723:5;44705:24;;;44698:5;44695:35;44685:2;;44744:1;44741;44734:12;44685:2;44679:74;;44760:111;44826:21;44841:5;44826:21;;;44819:5;44816:32;44806:2;;44862:1;44859;44852:12;44806:2;44800:71;;44878:117;44947:24;44965:5;44947:24;;;44940:5;44937:35;44927:2;;44986:1;44983;44976:12;44927:2;44921:74;;45002:117;45071:24;45089:5;45071:24;;;45064:5;45061:35;45051:2;;45110:1;45107;45100:12;45051:2;45045:74;

bzzr://99818fef14051d271c0592ad0e48fe2979b311ad8e6fa6868d414a8bec094534