Contract

Contract Source Code (Solidity)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta
• Remix IDE

Outline

• library SafeMath
•    - function mul(uint256 a, uint256 b)
•    - function div(uint256 a, uint256 b)
•    - function sub(uint256 a, uint256 b)
•    - function add(uint256 a, uint256 b)
•    - function mod(uint256 a, uint256 b)
•  contract MultiSigWallet *
•    - function addOwner(address owner)
•    - function removeOwner(address owner)
•    - function replaceOwner(address owner, ...
•    - function changeRequirement(uint _requ ...
•    - function submitTransaction(address de ...
•    - function confirmTransaction(uint tran ...
•    - function revokeConfirmation(uint tran ...
•    - function executeTransaction(uint tran ...
•    - function external_call(address destin ...
•    - function isConfirmed(uint transaction ...
•    - function addTransaction(address desti ...
•    - function getConfirmationCount(uint tr ...
•    - function getTransactionCount(bool pen ...
•    - function getOwners()
•    - function getConfirmations(uint transa ...
•    - function getTransactionIds(uint from, ...

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

/**
 *Submitted for verification at Etherscan.io on 2019-09-05
*/

pragma solidity 0.5.2;

/**
 * @title SafeMath
 * @dev Math operations with safety checks that revert on error
 */
library SafeMath {

  /**
  * @dev Multiplies two numbers, reverts on overflow.
  */
  function mul(uint256 a, uint256 b) internal pure returns (uint256) {
    // Gas optimization: this is cheaper than requiring 'a' not being zero, but the
    // benefit is lost if 'b' is also tested.
    // See: https://github.com/OpenZeppelin/openzeppelin-solidity/pull/522
    if (a == 0) {
      return 0;
    }

    uint256 c = a * b;
    require(c / a == b);

    return c;
  }

  /**
  * @dev Integer division of two numbers truncating the quotient, reverts on division by zero.
  */
  function div(uint256 a, uint256 b) internal pure returns (uint256) {
    require(b > 0); // Solidity only automatically asserts when dividing by 0
    uint256 c = a / b;
    // assert(a == b * c + a % b); // There is no case in which this doesn't hold

    return c;
  }

  /**
  * @dev Subtracts two numbers, reverts on overflow (i.e. if subtrahend is greater than minuend).
  */
  function sub(uint256 a, uint256 b) internal pure returns (uint256) {
    require(b <= a);
    uint256 c = a - b;

    return c;
  }

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

    return c;
  }

  /**
  * @dev Divides two numbers and returns the remainder (unsigned integer modulo),
  * reverts when dividing by zero.
  */
  function mod(uint256 a, uint256 b) internal pure returns (uint256) {
    require(b != 0);
    return a % b;
  }
}

/// @title Multisignature wallet - Allows multiple parties to agree on transactions before execution.
/// @author Stefan George - <[email protected]>
contract MultiSigWallet {
    using SafeMath for uint256;

    /*
     *  Events
     */
    event Confirmation(address indexed sender, uint indexed transactionId);
    event Revocation(address indexed sender, uint indexed transactionId);
    event Submission(uint indexed transactionId);
    event Execution(uint indexed transactionId);
    event ExecutionFailure(uint indexed transactionId);
    event Deposit(address indexed sender, uint value);
    event OwnerAddition(address indexed owner);
    event OwnerRemoval(address indexed owner);
    event RequirementChange(uint required);

    /*
     *  Constants
     */
    uint constant public MAX_OWNER_COUNT = 50;

    /*
     *  Storage
     */
    mapping (uint => Transaction) public transactions;
    mapping (uint => mapping (address => bool)) public confirmations;
    mapping (address => bool) public isOwner;
    address[] public owners;
    uint public required;
    uint public transactionCount;

    struct Transaction {
        address destination;
        uint value;
        bytes data;
        bool executed;
    }

    /*
     *  Modifiers
     */
    modifier onlyWallet() {
        require(msg.sender == address(this));
        _;
    }

    modifier ownerDoesNotExist(address owner) {
        require(!isOwner[owner]);
        _;
    }

    modifier ownerExists(address owner) {
        require(isOwner[owner]);
        _;
    }

    modifier transactionExists(uint transactionId) {
        require(transactions[transactionId].destination != address(0));
        _;
    }

    modifier confirmed(uint transactionId, address owner) {
        require(confirmations[transactionId][owner]);
        _;
    }

    modifier notConfirmed(uint transactionId, address owner) {
        require(!confirmations[transactionId][owner]);
        _;
    }

    modifier notExecuted(uint transactionId) {
        require(!transactions[transactionId].executed);
        _;
    }

    modifier notNull(address _address) {
        require(_address != address(0));
        _;
    }

    modifier validRequirement(uint ownerCount, uint _required) {
        require(ownerCount <= MAX_OWNER_COUNT
            && _required <= ownerCount
            && _required != 0
            && ownerCount != 0);
        _;
    }

    /*
     * Public functions
     */
    /// @dev Contract constructor sets initial owners and required number of confirmations.
    /// @param _owners List of initial owners.
    /// @param _required Number of required confirmations.
    constructor (address[] memory _owners, uint _required)
        public
        validRequirement(_owners.length, _required)
    {
        for (uint i=0; i<_owners.length; i++) {
            require(_owners[i] != address(0));
            isOwner[_owners[i]] = true;
        }
        owners = _owners;
        required = _required;
    }
    
        /// @dev Fallback function allows to deposit ether.
    function()
        external
        payable
    {
        if (msg.value > 0)
            emit Deposit(msg.sender, msg.value);
    }

    /// @dev Allows to add a new owner. Transaction has to be sent by wallet.
    /// @param owner Address of new owner.
    function addOwner(address owner)
        external
        onlyWallet
        ownerDoesNotExist(owner)
        notNull(owner)
        validRequirement(owners.length.add(1), required)
    {
        isOwner[owner] = true;
        owners.push(owner);
        emit OwnerAddition(owner);
    }

    /// @dev Allows to remove an owner. Transaction has to be sent by wallet.
    /// @param owner Address of owner.
    function removeOwner(address owner)
        external
        onlyWallet
        ownerExists(owner)
    {
        isOwner[owner] = false;
        for (uint i=0; i<owners.length.sub(1); i++)
            if (owners[i] == owner) {
                owners[i] = owners[owners.length.sub(1)];
                break;
            }
        owners.length = owners.length.sub(1);
        if (required > owners.length)
            changeRequirement(owners.length);
        emit OwnerRemoval(owner);
    }

    /// @dev Allows to replace an owner with a new owner. Transaction has to be sent by wallet.
    /// @param owner Address of owner to be replaced.
    /// @param newOwner Address of new owner.
    function replaceOwner(address owner, address newOwner)
        external
        onlyWallet
        ownerExists(owner)
        notNull(owner)
        ownerDoesNotExist(newOwner)
    {
        for (uint i=0; i<owners.length; i++)
            if (owners[i] == owner) {
                owners[i] = newOwner;
                break;
            }
        isOwner[owner] = false;
        isOwner[newOwner] = true;
        emit OwnerRemoval(owner);
        emit OwnerAddition(newOwner);
    }

    /// @dev Allows to change the number of required confirmations. Transaction has to be sent by wallet.
    /// @param _required Number of required confirmations.
    function changeRequirement(uint _required)
        public
        onlyWallet
        validRequirement(owners.length, _required)
    {
        required = _required;
        emit RequirementChange(_required);
    }

    /// @dev Allows an owner to submit and confirm a transaction.
    /// @param destination Transaction target address.
    /// @param value Transaction ether value.
    /// @param data Transaction data payload.
    /// @return Returns transaction ID.
    function submitTransaction(address destination, uint value, bytes calldata data)
        external
        returns (uint transactionId)
    {
        transactionId = addTransaction(destination, value, data);
        emit Submission(transactionId);
        confirmTransaction(transactionId);
    }

    /// @dev Allows an owner to confirm a transaction.
    /// @param transactionId Transaction ID.
    function confirmTransaction(uint transactionId)
        public
        ownerExists(msg.sender)
        transactionExists(transactionId)
        notConfirmed(transactionId, msg.sender)
    {
        confirmations[transactionId][msg.sender] = true;
        emit Confirmation(msg.sender, transactionId);
        executeTransaction(transactionId);
    }

    /// @dev Allows an owner to revoke a confirmation for a transaction.
    /// @param transactionId Transaction ID.
    function revokeConfirmation(uint transactionId)
        external
        ownerExists(msg.sender)
        confirmed(transactionId, msg.sender)
        notExecuted(transactionId)
    {
        confirmations[transactionId][msg.sender] = false;
        emit Revocation(msg.sender, transactionId);
    }

    /// @dev Allows anyone to execute a confirmed transaction.
    /// @param transactionId Transaction ID.
    function executeTransaction(uint transactionId)
        public
        ownerExists(msg.sender)
        confirmed(transactionId, msg.sender)
        notExecuted(transactionId)
    {
        if (isConfirmed(transactionId)) {
            Transaction storage txn = transactions[transactionId];
            txn.executed = true;
            if (external_call(txn.destination, txn.value, txn.data.length, txn.data))
                emit Execution(transactionId);
            else {
                emit ExecutionFailure(transactionId);
                txn.executed = false;
            }
        }
    }

    // call has been separated into its own function in order to take advantage
    // of the Solidity's code generator to produce a loop that copies tx.data into memory.
    function external_call(address destination, uint value, uint dataLength, bytes memory data) private returns (bool) {
        bool result;
        assembly {
            let x := mload(0x40)   // "Allocate" memory for output (0x40 is where "free memory" pointer is stored by convention)
            let d := add(data, 32) // First 32 bytes are the padded length of data, so exclude that
            result := call(
                sub(gas, 34710),   // 34710 is the value that solidity is currently emitting
                                   // It includes callGas (700) + callVeryLow (3, to pay for SUB) + callValueTransferGas (9000) +
                                   // callNewAccountGas (25000, in case the destination address does not exist and needs creating)
                destination,
                value,
                d,
                dataLength,        // Size of the input (in bytes) - this is what fixes the padding problem
                x,
                0                  // Output is ignored, therefore the output size is zero
            )
        }
        return result;
    }

    /// @dev Returns the confirmation status of a transaction.
    /// @param transactionId Transaction ID.
    /// @return Confirmation status.
    function isConfirmed(uint transactionId)
        public
        view
        returns (bool)
    {
        uint count = 0;
        for (uint i=0; i<owners.length; i++) {
            if (confirmations[transactionId][owners[i]])
                count += 1;
            if (count == required)
                return true;
        }
    }

    /*
     * Internal functions
     */
    /// @dev Adds a new transaction to the transaction mapping, if transaction does not exist yet.
    /// @param destination Transaction target address.
    /// @param value Transaction ether value.
    /// @param data Transaction data payload.
    /// @return Returns transaction ID.
    function addTransaction(address destination, uint value, bytes memory data)
        internal
        notNull(destination)
        returns (uint transactionId)
    {
        transactionId = transactionCount;
        transactions[transactionId] = Transaction({
            destination: destination,
            value: value,
            data: data,
            executed: false
        });
        transactionCount = transactionCount.add(1);
    }

    /*
     * Web3 call functions
     */
    /// @dev Returns number of confirmations of a transaction.
    /// @param transactionId Transaction ID.
    /// @return Number of confirmations.
    function getConfirmationCount(uint transactionId)
        external
        view
        returns (uint count)
    {
        for (uint i=0; i<owners.length; i++)
            if (confirmations[transactionId][owners[i]])
                count += 1;
    }

    /// @dev Returns total number of transactions after filers are applied.
    /// @param pending Include pending transactions.
    /// @param executed Include executed transactions.
    /// @return Total number of transactions after filters are applied.
    function getTransactionCount(bool pending, bool executed)
        external
        view
        returns (uint count)
    {
        for (uint i=0; i<transactionCount; i++)
            if (   pending && !transactions[i].executed
                || executed && transactions[i].executed)
                count += 1;
    }

    /// @dev Returns list of owners.
    /// @return List of owner addresses.
    function getOwners()
        external
        view
        returns (address[] memory)
    {
        return owners;
    }

    /// @dev Returns array with owner addresses, which confirmed transaction.
    /// @param transactionId Transaction ID.
    /// @return Returns array of owner addresses.
    function getConfirmations(uint transactionId)
        external
        view
        returns (address[] memory _confirmations)
    {
        address[] memory confirmationsTemp = new address[](owners.length);
        uint count = 0;
        uint i;
        for(i=0; i<owners.length; i++) {
            if(confirmations[transactionId][owners[i]]) {
                confirmationsTemp[count] = owners[i];
                count = count.add(1);
            }
        }

        _confirmations = new address[](count);
        for(i=0; i<count; i++) {
            _confirmations[i] = confirmationsTemp[i];
        }
    }

    /// @dev Returns list of transaction IDs in defined range.
    /// @param from Index start position of transaction array.
    /// @param to Index end position of transaction array.
    /// @param pending Include pending transactions.
    /// @param executed Include executed transactions.
    /// @return Returns array of transaction IDs.
    function getTransactionIds(uint from, uint to, bool pending, bool executed)
        external
        view
        returns (uint[] memory _transactionIds)
    {
        uint[] memory transactionIdsTemp = new uint[](transactionCount);
        uint count = 0;
        uint i;
        for (i=0; i<transactionCount; i++)
            if (   pending && !transactions[i].executed
                || executed && transactions[i].executed)
            {
                transactionIdsTemp[count] = i;
                count = count.add(1);
            }
        _transactionIds = new uint[](to.sub(from));
        for (i=from; i<to; i++)
            _transactionIds[i.sub(from)] = transactionIdsTemp[i];
    }
}

• No Contract Security Audit Submitted- Submit Audit Here

[{"constant":true,"inputs":[{"name":"","type":"uint256"}],"name":"owners","outputs":[{"name":"","type":"address"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"name":"owner","type":"address"}],"name":"removeOwner","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"name":"transactionId","type":"uint256"}],"name":"revokeConfirmation","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[{"name":"","type":"address"}],"name":"isOwner","outputs":[{"name":"","type":"bool"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[{"name":"","type":"uint256"},{"name":"","type":"address"}],"name":"confirmations","outputs":[{"name":"","type":"bool"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[{"name":"pending","type":"bool"},{"name":"executed","type":"bool"}],"name":"getTransactionCount","outputs":[{"name":"count","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"name":"owner","type":"address"}],"name":"addOwner","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[{"name":"transactionId","type":"uint256"}],"name":"isConfirmed","outputs":[{"name":"","type":"bool"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[{"name":"transactionId","type":"uint256"}],"name":"getConfirmationCount","outputs":[{"name":"count","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[{"name":"","type":"uint256"}],"name":"transactions","outputs":[{"name":"destination","type":"address"},{"name":"value","type":"uint256"},{"name":"data","type":"bytes"},{"name":"executed","type":"bool"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"getOwners","outputs":[{"name":"","type":"address[]"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[{"name":"from","type":"uint256"},{"name":"to","type":"uint256"},{"name":"pending","type":"bool"},{"name":"executed","type":"bool"}],"name":"getTransactionIds","outputs":[{"name":"_transactionIds","type":"uint256[]"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[{"name":"transactionId","type":"uint256"}],"name":"getConfirmations","outputs":[{"name":"_confirmations","type":"address[]"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"transactionCount","outputs":[{"name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"name":"_required","type":"uint256"}],"name":"changeRequirement","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"name":"transactionId","type":"uint256"}],"name":"confirmTransaction","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"name":"destination","type":"address"},{"name":"value","type":"uint256"},{"name":"data","type":"bytes"}],"name":"submitTransaction","outputs":[{"name":"transactionId","type":"uint256"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[],"name":"MAX_OWNER_COUNT","outputs":[{"name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"required","outputs":[{"name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"name":"owner","type":"address"},{"name":"newOwner","type":"address"}],"name":"replaceOwner","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"name":"transactionId","type":"uint256"}],"name":"executeTransaction","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"inputs":[{"name":"_owners","type":"address[]"},{"name":"_required","type":"uint256"}],"payable":false,"stateMutability":"nonpayable","type":"constructor"},{"payable":true,"stateMutability":"payable","type":"fallback"},{"anonymous":false,"inputs":[{"indexed":true,"name":"sender","type":"address"},{"indexed":true,"name":"transactionId","type":"uint256"}],"name":"Confirmation","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"name":"sender","type":"address"},{"indexed":true,"name":"transactionId","type":"uint256"}],"name":"Revocation","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"name":"transactionId","type":"uint256"}],"name":"Submission","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"name":"transactionId","type":"uint256"}],"name":"Execution","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"name":"transactionId","type":"uint256"}],"name":"ExecutionFailure","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"name":"sender","type":"address"},{"indexed":false,"name":"value","type":"uint256"}],"name":"Deposit","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"name":"owner","type":"address"}],"name":"OwnerAddition","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"name":"owner","type":"address"}],"name":"OwnerRemoval","type":"event"},{"anonymous":false,"inputs":[{"indexed":false,"name":"required","type":"uint256"}],"name":"RequirementChange","type":"event"}]

0x608060405260043610610147576000357c010000000000000000000000000000000000000000000000000000000090048063a0e67e2b116100c8578063c01a8c841161008c578063c01a8c84146107e1578063c64274741461081c578063d74f8edd146108e0578063dc8452cd1461090b578063e20056e614610936578063ee22610b146109a757610147565b8063a0e67e2b146105cd578063a8abe69a14610639578063b5dc40c3146106eb578063b77bf6001461077b578063ba51a6df146107a657610147565b8063547415251161010f57806354741525146103845780637065cb48146103e1578063784547a7146104325780638b51d13f146104855780639ace38c2146104d457610147565b8063025e7c27146101a1578063173825d91461021c57806320ea8d861461026d5780632f54bf6e146102a85780633411c81c14610311575b600034111561019f573373ffffffffffffffffffffffffffffffffffffffff167fe1fffcc4923d04b559f4d29a8bfc6cda04eb5b0d3c460751c2402c5c5cc9109c346040518082815260200191505060405180910390a25b005b3480156101ad57600080fd5b506101da600480360360208110156101c457600080fd5b81019080803590602001909291905050506109e2565b604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b34801561022857600080fd5b5061026b6004803603602081101561023f57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050610a20565b005b34801561027957600080fd5b506102a66004803603602081101561029057600080fd5b8101908080359060200190929190505050610ce6565b005b3480156102b457600080fd5b506102f7600480360360208110156102cb57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050610e8e565b604051808215151515815260200191505060405180910390f35b34801561031d57600080fd5b5061036a6004803603604081101561033457600080fd5b8101908080359060200190929190803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050610eae565b604051808215151515815260200191505060405180910390f35b34801561039057600080fd5b506103cb600480360360408110156103a757600080fd5b81019080803515159060200190929190803515159060200190929190505050610edd565b6040518082815260200191505060405180910390f35b3480156103ed57600080fd5b506104306004803603602081101561040457600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050610f6f565b005b34801561043e57600080fd5b5061046b6004803603602081101561045557600080fd5b810190808035906020019092919050505061119a565b604051808215151515815260200191505060405180910390f35b34801561049157600080fd5b506104be600480360360208110156104a857600080fd5b8101908080359060200190929190505050611281565b6040518082815260200191505060405180910390f35b3480156104e057600080fd5b5061050d600480360360208110156104f757600080fd5b810190808035906020019092919050505061134c565b604051808573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020018481526020018060200183151515158152602001828103825284818151815260200191508051906020019080838360005b8381101561058f578082015181840152602081019050610574565b50505050905090810190601f1680156105bc5780820380516001836020036101000a031916815260200191505b509550505050505060405180910390f35b3480156105d957600080fd5b506105e2611441565b6040518080602001828103825283818151815260200191508051906020019060200280838360005b8381101561062557808201518184015260208101905061060a565b505050509050019250505060405180910390f35b34801561064557600080fd5b506106946004803603608081101561065c57600080fd5b8101908080359060200190929190803590602001909291908035151590602001909291908035151590602001909291905050506114cf565b6040518080602001828103825283818151815260200191508051906020019060200280838360005b838110156106d75780820151818401526020810190506106bc565b505050509050019250505060405180910390f35b3480156106f757600080fd5b506107246004803603602081101561070e57600080fd5b810190808035906020019092919050505061166f565b6040518080602001828103825283818151815260200191508051906020019060200280838360005b8381101561076757808201518184015260208101905061074c565b505050509050019250505060405180910390f35b34801561078757600080fd5b506107906118bb565b6040518082815260200191505060405180910390f35b3480156107b257600080fd5b506107df600480360360208110156107c957600080fd5b81019080803590602001909291905050506118c1565b005b3480156107ed57600080fd5b5061081a6004803603602081101561080457600080fd5b810190808035906020019092919050505061197b565b005b34801561082857600080fd5b506108ca6004803603606081101561083f57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803590602001909291908035906020019064010000000081111561088657600080fd5b82018360208201111561089857600080fd5b803590602001918460018302840111640100000000831117156108ba57600080fd5b9091929391929390505050611b6e565b6040518082815260200191505060405180910390f35b3480156108ec57600080fd5b506108f5611bff565b6040518082815260200191505060405180910390f35b34801561091757600080fd5b50610920611c04565b6040518082815260200191505060405180910390f35b34801561094257600080fd5b506109a56004803603604081101561095957600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050611c0a565b005b3480156109b357600080fd5b506109e0600480360360208110156109ca57600080fd5b8101908080359060200190929190505050611f5c565b005b6003818154811015156109f157fe5b906000526020600020016000915054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b3073ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff16141515610a5a57600080fd5b80600260008273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff161515610ab357600080fd5b6000600260008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006101000a81548160ff02191690831515021790555060008090505b610b2a600160038054905061220490919063ffffffff16565b811015610c59578273ffffffffffffffffffffffffffffffffffffffff16600382815481101515610b5757fe5b9060005260206000200160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff161415610c4c576003610bb9600160038054905061220490919063ffffffff16565b815481101515610bc557fe5b9060005260206000200160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff16600382815481101515610bff57fe5b9060005260206000200160006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff160217905550610c59565b8080600101915050610b11565b50610c73600160038054905061220490919063ffffffff16565b600381610c8091906123b4565b506003805490506004541115610c9f57610c9e6003805490506118c1565b5b8173ffffffffffffffffffffffffffffffffffffffff167f8001553a916ef2f495d26a907cc54d96ed840d7bda71e73194bf5a9df7a76b9060405160405180910390a25050565b33600260008273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff161515610d3f57600080fd5b81336001600083815260200190815260200160002060008273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff161515610daa57600080fd5b8360008082815260200190815260200160002060030160009054906101000a900460ff16151515610dda57600080fd5b60006001600087815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006101000a81548160ff021916908315150217905550843373ffffffffffffffffffffffffffffffffffffffff167ff6a317157440607f36269043eb55f1287a5a19ba2216afeab88cd46cbcfb88e960405160405180910390a35050505050565b60026020528060005260406000206000915054906101000a900460ff1681565b60016020528160005260406000206020528060005260406000206000915091509054906101000a900460ff1681565b600080600090505b600554811015610f6857838015610f1c575060008082815260200190815260200160002060030160009054906101000a900460ff16155b80610f4f5750828015610f4e575060008082815260200190815260200160002060030160009054906101000a900460ff165b5b15610f5b576001820191505b8080600101915050610ee5565b5092915050565b3073ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff16141515610fa957600080fd5b80600260008273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff1615151561100357600080fd5b81600073ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff161415151561104057600080fd5b611059600160038054905061222690919063ffffffff16565b6004546032821115801561106d5750818111155b801561107a575060008114155b8015611087575060008214155b151561109257600080fd5b6001600260008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006101000a81548160ff02191690831515021790555060038590806001815401808255809150509060018203906000526020600020016000909192909190916101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff160217905550508473ffffffffffffffffffffffffffffffffffffffff167ff39e6e1eb0edcf53c221607b54b00cd28f3196fed0a24994dc308b8f611b682d60405160405180910390a25050505050565b6000806000905060008090505b600380549050811015611279576001600085815260200190815260200160002060006003838154811015156111d857fe5b9060005260206000200160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff1615611257576001820191505b60045482141561126c5760019250505061127c565b80806001019150506111a7565b50505b919050565b600080600090505b600380549050811015611346576001600084815260200190815260200160002060006003838154811015156112ba57fe5b9060005260206000200160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff1615611339576001820191505b8080600101915050611289565b50919050565b60006020528060005260406000206000915090508060000160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1690806001015490806002018054600181600116156101000203166002900480601f0160208091040260200160405190810160405280929190818152602001828054600181600116156101000203166002900480156114245780601f106113f957610100808354040283529160200191611424565b820191906000526020600020905b81548152906001019060200180831161140757829003601f168201915b5050505050908060030160009054906101000a900460ff16905084565b606060038054806020026020016040519081016040528092919081815260200182805480156114c557602002820191906000526020600020905b8160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001906001019080831161147b575b5050505050905090565b6060806005546040519080825280602002602001820160405280156115035781602001602082028038833980820191505090505b509050600080905060008090505b6005548110156115c157858015611548575060008082815260200190815260200160002060030160009054906101000a900460ff16155b8061157b575084801561157a575060008082815260200190815260200160002060030160009054906101000a900460ff165b5b156115b45780838381518110151561158f57fe5b90602001906020020181815250506115b160018361222690919063ffffffff16565b91505b8080600101915050611511565b6115d4888861220490919063ffffffff16565b6040519080825280602002602001820160405280156116025781602001602082028038833980820191505090505b5093508790505b8681101561166457828181518110151561161f57fe5b906020019060200201518461163d8a8461220490919063ffffffff16565b81518110151561164957fe5b90602001906020020181815250508080600101915050611609565b505050949350505050565b6060806003805490506040519080825280602002602001820160405280156116a65781602001602082028038833980820191505090505b509050600080905060008090505b600380549050811015611805576001600086815260200190815260200160002060006003838154811015156116e557fe5b9060005260206000200160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff16156117f85760038181548110151561176c57fe5b9060005260206000200160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1683838151811015156117a557fe5b9060200190602002019073ffffffffffffffffffffffffffffffffffffffff16908173ffffffffffffffffffffffffffffffffffffffff16815250506117f560018361222690919063ffffffff16565b91505b80806001019150506116b4565b816040519080825280602002602001820160405280156118345781602001602082028038833980820191505090505b509350600090505b818110156118b357828181518110151561185257fe5b90602001906020020151848281518110151561186a57fe5b9060200190602002019073ffffffffffffffffffffffffffffffffffffffff16908173ffffffffffffffffffffffffffffffffffffffff1681525050808060010191505061183c565b505050919050565b60055481565b3073ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff161415156118fb57600080fd5b60038054905081603282111580156119135750818111155b8015611920575060008114155b801561192d575060008214155b151561193857600080fd5b826004819055507fa3f1ee9126a074d9326c682f561767f710e927faa811f7a99829d49dc421797a836040518082815260200191505060405180910390a1505050565b33600260008273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff1615156119d457600080fd5b81600073ffffffffffffffffffffffffffffffffffffffff1660008083815260200190815260200160002060000160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1614151515611a4657600080fd5b82336001600083815260200190815260200160002060008273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff16151515611ab257600080fd5b600180600087815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006101000a81548160ff021916908315150217905550843373ffffffffffffffffffffffffffffffffffffffff167f4a504a94899432a9846e1aa406dceb1bcfd538bb839071d49d1e5e23f5be30ef60405160405180910390a3611b6785611f5c565b5050505050565b6000611bbf858585858080601f016020809104026020016040519081016040528093929190818152602001838380828437600081840152601f19601f82011690508083019250505050505050612247565b9050807fc0ba8fe4b176c1714197d43b9cc6bcf797a4a7461c5fe8d0ef6e184ae7601e5160405160405180910390a2611bf78161197b565b949350505050565b603281565b60045481565b3073ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff16141515611c4457600080fd5b81600260008273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff161515611c9d57600080fd5b82600073ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff1614151515611cda57600080fd5b82600260008273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff16151515611d3457600080fd5b60008090505b600380549050811015611e1e578573ffffffffffffffffffffffffffffffffffffffff16600382815481101515611d6d57fe5b9060005260206000200160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff161415611e115784600382815481101515611dc457fe5b9060005260206000200160006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff160217905550611e1e565b8080600101915050611d3a565b506000600260008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006101000a81548160ff0219169083151502179055506001600260008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006101000a81548160ff0219169083151502179055508473ffffffffffffffffffffffffffffffffffffffff167f8001553a916ef2f495d26a907cc54d96ed840d7bda71e73194bf5a9df7a76b9060405160405180910390a28373ffffffffffffffffffffffffffffffffffffffff167ff39e6e1eb0edcf53c221607b54b00cd28f3196fed0a24994dc308b8f611b682d60405160405180910390a25050505050565b33600260008273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff161515611fb557600080fd5b81336001600083815260200190815260200160002060008273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff16151561202057600080fd5b8360008082815260200190815260200160002060030160009054906101000a900460ff1615151561205057600080fd5b6120598561119a565b156121fd576000806000878152602001908152602001600020905060018160030160006101000a81548160ff0219169083151502179055506121798160000160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff16826001015483600201805460018160011615610100020316600290049050846002018054600181600116156101000203166002900480601f01602080910402602001604051908101604052809291908181526020018280546001816001161561010002031660029004801561216f5780601f106121445761010080835404028352916020019161216f565b820191906000526020600020905b81548152906001019060200180831161215257829003601f168201915b505050505061238d565b156121b057857f33e13ecb54c3076d8e8bb8c2881800a4d972b792045ffae98fdf46df365fed7560405160405180910390a26121fb565b857f526441bb6c1aba3c9a4a6ca1d6545da9c2333c8c48343ef398eb858d72b7923660405160405180910390a260008160030160006101000a81548160ff0219169083151502179055505b505b5050505050565b600082821115151561221557600080fd5b600082840390508091505092915050565b600080828401905083811015151561223d57600080fd5b8091505092915050565b600083600073ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff161415151561228657600080fd5b60055491506080604051908101604052808673ffffffffffffffffffffffffffffffffffffffff1681526020018581526020018481526020016000151581525060008084815260200190815260200160002060008201518160000160006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055506020820151816001015560408201518160020190805190602001906123459291906123e0565b5060608201518160030160006101000a81548160ff02191690831515021790555090505061237f600160055461222690919063ffffffff16565b600581905550509392505050565b6000806040516020840160008287838a8c6187965a03f19250505080915050949350505050565b8154818355818111156123db578183600052602060002091820191016123da9190612460565b5b505050565b828054600181600116156101000203166002900490600052602060002090601f016020900481019282601f1061242157805160ff191683800117855561244f565b8280016001018555821561244f579182015b8281111561244e578251825591602001919060010190612433565b5b50905061245c9190612460565b5090565b61248291905b8082111561247e576000816000905550600101612466565b5090565b9056fea165627a7a72305820bc1850d0c4a3bdabfde0f92cfbd691603cae1b6c812a6ce66641da44c4ca34700029

1876:13289:0:-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;4974:1;4962:9;:13;4958:67;;;5003:10;4995:30;;;5015:9;4995:30;;;;;;;;;;;;;;;;;;4958:67;1876:13289;2779:23;;8:9:-1;5:2;;;30:1;27;20:12;5:2;2779:23:0;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;2779:23:0;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;5588:506;;8:9:-1;5:2;;;30:1;27;20:12;5:2;5588:506:0;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;5588:506:0;;;;;;;;;;;;;;;;;;;:::i;:::-;;8359:306;;8:9:-1;5:2;;;30:1;27;20:12;5:2;8359:306:0;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;8359:306:0;;;;;;;;;;;;;;;;;:::i;:::-;;2732:40;;8:9:-1;5:2;;;30:1;27;20:12;5:2;2732:40:0;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;2732:40:0;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;2661:64;;8:9:-1;5:2;;;30:1;27;20:12;5:2;2661:64:0;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;2661:64:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;12735:326;;8:9:-1;5:2;;;30:1;27;20:12;5:2;12735:326:0;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;12735:326:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;5164:297;;8:9:-1;5:2;;;30:1;27;20:12;5:2;5164:297:0;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;5164:297:0;;;;;;;;;;;;;;;;;;;:::i;:::-;;10859:345;;8:9:-1;5:2;;;30:1;27;20:12;5:2;10859:345:0;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;10859:345:0;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;12209:258;;8:9:-1;5:2;;;30:1;27;20:12;5:2;12209:258:0;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;12209:258:0;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;2605:49;;8:9:-1;5:2;;;30:1;27;20:12;5:2;2605:49:0;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;2605:49:0;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;23:1:-1;8:100;33:3;30:1;27:10;8:100;;;99:1;94:3;90:11;84:18;80:1;75:3;71:11;64:39;52:2;49:1;45:10;40:15;;8:100;;;12:14;2605:49:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;13149:126;;8:9:-1;5:2;;;30:1;27;20:12;5:2;13149:126:0;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;23:1:-1;8:100;33:3;30:1;27:10;8:100;;;99:1;94:3;90:11;84:18;80:1;75:3;71:11;64:39;52:2;49:1;45:10;40:15;;8:100;;;12:14;13149:126:0;;;;;;;;;;;;;;;;;14447:715;;8:9:-1;5:2;;;30:1;27;20:12;5:2;14447:715:0;;;;;;13:3:-1;8;5:12;2:2;;;30:1;27;20:12;2:2;14447:715:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;23:1:-1;8:100;33:3;30:1;27:10;8:100;;;99:1;94:3;90:11;84:18;80:1;75:3;71:11;64:39;52:2;49:1;45:10;40:15;;8:100;;;12:14;14447:715:0;;;;;;;;;;;;;;;;;13459:631;;8:9:-1;5:2;;;30:1;27;20:12;5:2;13459:631:0;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;13459:631:0;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;23:1:-1;8:100;33:3;30:1;27:10;8:100;;;99:1;94:3;90:11;84:18;80:1;75:3;71:11;64:39;52:2;49:1;45:10;40:15;;8:100;;;12:14;13459:631:0;;;;;;;;;;;;;;;;;2836:28;;8:9:-1;5:2;;;30:1;27;20:12;5:2;2836:28:0;;;:::i;:::-;;;;;;;;;;;;;;;;;;;6976:219;;8:9:-1;5:2;;;30:1;27;20:12;5:2;6976:219:0;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;6976:219:0;;;;;;;;;;;;;;;;;:::i;:::-;;7873:358;;8:9:-1;5:2;;;30:1;27;20:12;5:2;7873:358:0;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;7873:358:0;;;;;;;;;;;;;;;;;:::i;:::-;;7461:302;;8:9:-1;5:2;;;30:1;27;20:12;5:2;7461:302:0;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;7461:302:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;21:11:-1;8;5:28;2:2;;;46:1;43;36:12;2:2;7461:302:0;;35:9:-1;28:4;12:14;8:25;5:40;2:2;;;58:1;55;48:12;2:2;7461:302:0;;;;;;100:9:-1;95:1;81:12;77:20;67:8;63:35;60:50;39:11;25:12;22:29;11:107;8:2;;;131:1;128;121:12;8:2;7461:302:0;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;2521:41;;8:9:-1;5:2;;;30:1;27;20:12;5:2;2521:41:0;;;:::i;:::-;;;;;;;;;;;;;;;;;;;2809:20;;8:9:-1;5:2;;;30:1;27;20:12;5:2;2809:20:0;;;:::i;:::-;;;;;;;;;;;;;;;;;;;6301:500;;8:9:-1;5:2;;;30:1;27;20:12;5:2;6301:500:0;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;6301:500:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;8783:612;;8:9:-1;5:2;;;30:1;27;20:12;5:2;8783:612:0;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;8783:612:0;;;;;;;;;;;;;;;;;:::i;:::-;;2779:23;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::o;5588:506::-;3103:4;3081:27;;:10;:27;;;3073:36;;;;;;;;5683:5;3297:7;:14;3305:5;3297:14;;;;;;;;;;;;;;;;;;;;;;;;;3289:23;;;;;;;;5723:5;5706:7;:14;5714:5;5706:14;;;;;;;;;;;;;;;;:22;;;;;;;;;;;;;;;;;;5744:6;5751:1;5744:8;;5739:180;5756:20;5774:1;5756:6;:13;;;;:17;;:20;;;;:::i;:::-;5754:1;:22;5739:180;;;5813:5;5800:18;;:6;5807:1;5800:9;;;;;;;;;;;;;;;;;;;;;;;;;;;:18;;;5796:123;;;5851:6;5858:20;5876:1;5858:6;:13;;;;:17;;:20;;;;:::i;:::-;5851:28;;;;;;;;;;;;;;;;;;;;;;;;;;;5839:6;5846:1;5839:9;;;;;;;;;;;;;;;;;;:40;;;;;;;;;;;;;;;;;;5898:5;;5796:123;5778:3;;;;;;;5739:180;;;;5945:20;5963:1;5945:6;:13;;;;:17;;:20;;;;:::i;:::-;5929:6;:36;;;;;:::i;:::-;;5991:6;:13;;;;5980:8;;:24;5976:75;;;6019:32;6037:6;:13;;;;6019:17;:32::i;:::-;5976:75;6080:5;6067:19;;;;;;;;;;;;3120:1;5588:506;:::o;8359:306::-;8446:10;3297:7;:14;3305:5;3297:14;;;;;;;;;;;;;;;;;;;;;;;;;3289:23;;;;;;;;8477:13;8492:10;3561:13;:28;3575:13;3561:28;;;;;;;;;;;:35;3590:5;3561:35;;;;;;;;;;;;;;;;;;;;;;;;;3553:44;;;;;;;;8525:13;3827:12;:27;3840:13;3827:27;;;;;;;;;;;:36;;;;;;;;;;;;3826:37;3818:46;;;;;;;;8599:5;8556:13;:28;8570:13;8556:28;;;;;;;;;;;:40;8585:10;8556:40;;;;;;;;;;;;;;;;:48;;;;;;;;;;;;;;;;;;8643:13;8631:10;8620:37;;;;;;;;;;;;3608:1;3323;;8359:306;;:::o;2732:40::-;;;;;;;;;;;;;;;;;;;;;;:::o;2661:64::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::o;12735:326::-;12843:10;12876:6;12883:1;12876:8;;12871:182;12888:16;;12886:1;:18;12871:182;;;12931:7;:36;;;;;12943:12;:15;12956:1;12943:15;;;;;;;;;;;:24;;;;;;;;;;;;12942:25;12931:36;:93;;;;12988:8;:36;;;;;13000:12;:15;13013:1;13000:15;;;;;;;;;;;:24;;;;;;;;;;;;12988:36;12931:93;12924:129;;;13052:1;13043:10;;;;12924:129;12906:3;;;;;;;12871:182;;;;12735:326;;;;:::o;5164:297::-;3103:4;3081:27;;:10;:27;;;3073:36;;;;;;;;5262:5;3199:7;:14;3207:5;3199:14;;;;;;;;;;;;;;;;;;;;;;;;;3198:15;3190:24;;;;;;;;5286:5;3966:1;3946:22;;:8;:22;;;;3938:31;;;;;;;;5319:20;5337:1;5319:6;:13;;;;:17;;:20;;;;:::i;:::-;5341:8;;2560:2;4075:10;:29;;:69;;;;;4134:10;4121:9;:23;;4075:69;:100;;;;;4174:1;4161:9;:14;;4075:100;:132;;;;;4206:1;4192:10;:15;;4075:132;4067:141;;;;;;;;5384:4;5367:7;:14;5375:5;5367:14;;;;;;;;;;;;;;;;:21;;;;;;;;;;;;;;;;;;5399:6;5411:5;5399:18;;39:1:-1;33:3;27:10;23:18;57:10;52:3;45:23;79:10;72:17;;0:93;5399:18:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;5447:5;5433:20;;;;;;;;;;;;3980:1;;3225;3120;5164:297;:::o;10859:345::-;10948:4;10970:10;10983:1;10970:14;;11000:6;11007:1;11000:8;;10995:202;11012:6;:13;;;;11010:1;:15;10995:202;;;11051:13;:28;11065:13;11051:28;;;;;;;;;;;:39;11080:6;11087:1;11080:9;;;;;;;;;;;;;;;;;;;;;;;;;;;11051:39;;;;;;;;;;;;;;;;;;;;;;;;;11047:72;;;11118:1;11109:10;;;;11047:72;11147:8;;11138:5;:17;11134:51;;;11181:4;11174:11;;;;;;11134:51;11027:3;;;;;;;10995:202;;;;10859:345;;;;;:::o;12209:258::-;12309:10;12342:6;12349:1;12342:8;;12337:122;12354:6;:13;;;;12352:1;:15;12337:122;;;12391:13;:28;12405:13;12391:28;;;;;;;;;;;:39;12420:6;12427:1;12420:9;;;;;;;;;;;;;;;;;;;;;;;;;;;12391:39;;;;;;;;;;;;;;;;;;;;;;;;;12387:72;;;12458:1;12449:10;;;;12387:72;12369:3;;;;;;;12337:122;;;;12209:258;;;:::o;2605:49::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::o;13149:126::-;13220:16;13261:6;13254:13;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;13149:126;:::o;14447:715::-;14573:29;14620:32;14666:16;;14655:28;;;;;;;;;;;;;;;;;;;;;;29:2:-1;21:6;17:15;117:4;105:10;97:6;88:34;148:4;140:6;136:17;126:27;;0:157;14655:28:0;;;;14620:63;;14694:10;14707:1;14694:14;;14719:6;14743:1;14741:3;;14736:266;14748:16;;14746:1;:18;14736:266;;;14791:7;:36;;;;;14803:12;:15;14816:1;14803:15;;;;;;;;;;;:24;;;;;;;;;;;;14802:25;14791:36;:93;;;;14848:8;:36;;;;;14860:12;:15;14873:1;14860:15;;;;;;;;;;;:24;;;;;;;;;;;;14848:36;14791:93;14784:218;;;14946:1;14918:18;14937:5;14918:25;;;;;;;;;;;;;;;;;:29;;;;;14974:12;14984:1;14974:5;:9;;:12;;;;:::i;:::-;14966:20;;14784:218;14766:3;;;;;;;14736:266;;;15041:12;15048:4;15041:2;:6;;:12;;;;:::i;:::-;15030:24;;;;;;;;;;;;;;;;;;;;;;29:2:-1;21:6;17:15;117:4;105:10;97:6;88:34;148:4;140:6;136:17;126:27;;0:157;15030:24:0;;;;15012:42;;15072:4;15070:6;;15065:89;15080:2;15078:1;:4;15065:89;;;15133:18;15152:1;15133:21;;;;;;;;;;;;;;;;;;15102:15;15118:11;15124:4;15118:1;:5;;:11;;;;:::i;:::-;15102:28;;;;;;;;;;;;;;;;;:52;;;;;15084:3;;;;;;;15065:89;;;14447:715;;;;;;;;;:::o;13459:631::-;13555:31;13604:34;13655:6;:13;;;;13641:28;;;;;;;;;;;;;;;;;;;;;;29:2:-1;21:6;17:15;117:4;105:10;97:6;88:34;148:4;140:6;136:17;126:27;;0:157;13641:28:0;;;;13604:65;;13680:10;13693:1;13680:14;;13705:6;13728:1;13726:3;;13722:211;13733:6;:13;;;;13731:1;:15;13722:211;;;13771:13;:28;13785:13;13771:28;;;;;;;;;;;:39;13800:6;13807:1;13800:9;;;;;;;;;;;;;;;;;;;;;;;;;;;13771:39;;;;;;;;;;;;;;;;;;;;;;;;;13768:154;;;13858:6;13865:1;13858:9;;;;;;;;;;;;;;;;;;;;;;;;;;;13831:17;13849:5;13831:24;;;;;;;;;;;;;;;;;:36;;;;;;;;;;;13894:12;13904:1;13894:5;:9;;:12;;;;:::i;:::-;13886:20;;13768:154;13748:3;;;;;;;13722:211;;;13976:5;13962:20;;;;;;;;;;;;;;;;;;;;;;29:2:-1;21:6;17:15;117:4;105:10;97:6;88:34;148:4;140:6;136:17;126:27;;0:157;13962:20:0;;;;13945:37;;13999:1;13997:3;;13993:90;14004:5;14002:1;:7;13993:90;;;14051:17;14069:1;14051:20;;;;;;;;;;;;;;;;;;14031:14;14046:1;14031:17;;;;;;;;;;;;;;;;;:40;;;;;;;;;;;14011:3;;;;;;;13993:90;;;13459:631;;;;;;:::o;2836:28::-;;;;:::o;6976:219::-;3103:4;3081:27;;:10;:27;;;3073:36;;;;;;;;7081:6;:13;;;;7096:9;2560:2;4075:10;:29;;:69;;;;;4134:10;4121:9;:23;;4075:69;:100;;;;;4174:1;4161:9;:14;;4075:100;:132;;;;;4206:1;4192:10;:15;;4075:132;4067:141;;;;;;;;7134:9;7123:8;:20;;;;7159:28;7177:9;7159:28;;;;;;;;;;;;;;;;;;3120:1;;6976:219;:::o;7873:358::-;7958:10;3297:7;:14;3305:5;3297:14;;;;;;;;;;;;;;;;;;;;;;;;;3289:23;;;;;;;;7997:13;3457:1;3406:53;;:12;:27;3419:13;3406:27;;;;;;;;;;;:39;;;;;;;;;;;;:53;;;;3398:62;;;;;;;;8034:13;8049:10;3702:13;:28;3716:13;3702:28;;;;;;;;;;;:35;3731:5;3702:35;;;;;;;;;;;;;;;;;;;;;;;;;3701:36;3693:45;;;;;;;;8120:4;8077:13;:28;8091:13;8077:28;;;;;;;;;;;:40;8106:10;8077:40;;;;;;;;;;;;;;;;:47;;;;;;;;;;;;;;;;;;8165:13;8153:10;8140:39;;;;;;;;;;;;8190:33;8209:13;8190:18;:33::i;:::-;3471:1;;3323;7873:358;;:::o;7461:302::-;7578:18;7630:40;7645:11;7658:5;7665:4;;7630:40;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;30:3:-1;22:6;14;1:33;99:1;93:3;85:6;81:16;74:27;137:4;133:9;126:4;121:3;117:14;113:30;106:37;;169:3;161:6;157:16;147:26;;7630:40:0;;;;;;:14;:40::i;:::-;7614:56;;7697:13;7686:25;;;;;;;;;;7722:33;7741:13;7722:18;:33::i;:::-;7461:302;;;;;;:::o;2521:41::-;2560:2;2521:41;:::o;2809:20::-;;;;:::o;6301:500::-;3103:4;3081:27;;:10;:27;;;3073:36;;;;;;;;6415:5;3297:7;:14;3305:5;3297:14;;;;;;;;;;;;;;;;;;;;;;;;;3289:23;;;;;;;;6439:5;3966:1;3946:22;;:8;:22;;;;3938:31;;;;;;;;6473:8;3199:7;:14;3207:5;3199:14;;;;;;;;;;;;;;;;;;;;;;;;;3198:15;3190:24;;;;;;;;6504:6;6511:1;6504:8;;6499:153;6516:6;:13;;;;6514:1;:15;6499:153;;;6566:5;6553:18;;:6;6560:1;6553:9;;;;;;;;;;;;;;;;;;;;;;;;;;;:18;;;6549:103;;;6604:8;6592:6;6599:1;6592:9;;;;;;;;;;;;;;;;;;:20;;;;;;;;;;;;;;;;;;6631:5;;6549:103;6531:3;;;;;;;6499:153;;;;6679:5;6662:7;:14;6670:5;6662:14;;;;;;;;;;;;;;;;:22;;;;;;;;;;;;;;;;;;6715:4;6695:7;:17;6703:8;6695:17;;;;;;;;;;;;;;;;:24;;;;;;;;;;;;;;;;;;6748:5;6735:19;;;;;;;;;;;;6784:8;6770:23;;;;;;;;;;;;3980:1;3323;3120;6301:500;;:::o;8783:612::-;8868:10;3297:7;:14;3305:5;3297:14;;;;;;;;;;;;;;;;;;;;;;;;;3289:23;;;;;;;;8899:13;8914:10;3561:13;:28;3575:13;3561:28;;;;;;;;;;;:35;3590:5;3561:35;;;;;;;;;;;;;;;;;;;;;;;;;3553:44;;;;;;;;8947:13;3827:12;:27;3840:13;3827:27;;;;;;;;;;;:36;;;;;;;;;;;;3826:37;3818:46;;;;;;;;8982:26;8994:13;8982:11;:26::i;:::-;8978:410;;;9025:23;9051:12;:27;9064:13;9051:27;;;;;;;;;;;9025:53;;9108:4;9093:3;:12;;;:19;;;;;;;;;;;;;;;;;;9131:68;9145:3;:15;;;;;;;;;;;;9162:3;:9;;;9173:3;:8;;:15;;;;;;;;;;;;;;;;9190:3;:8;;9131:68;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:13;:68::i;:::-;9127:250;;;9233:13;9223:24;;;;;;;;;;9127:250;;;9308:13;9291:31;;;;;;;;;;9356:5;9341:3;:12;;;:20;;;;;;;;;;;;;;;;;;9127:250;8978:410;;3608:1;3323;;8783:612;;:::o;1115:136::-;1173:7;1202:1;1197;:6;;1189:15;;;;;;;;1211:9;1227:1;1223;:5;1211:17;;1244:1;1237:8;;;1115:136;;;;:::o;1319:::-;1377:7;1393:9;1409:1;1405;:5;1393:17;;1430:1;1425;:6;;1417:15;;;;;;;;1448:1;1441:8;;;1319:136;;;;:::o;11547:457::-;11689:18;11658:11;3966:1;3946:22;;:8;:22;;;;3938:31;;;;;;;;11741:16;;11725:32;;11798:145;;;;;;;;;11838:11;11798:145;;;;;;11871:5;11798:145;;;;11897:4;11798:145;;;;11926:5;11798:145;;;;;11768:12;:27;11781:13;11768:27;;;;;;;;;;;:175;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;11973:23;11994:1;11973:16;;:20;;:23;;;;:::i;:::-;11954:16;:42;;;;11547:457;;;;;;:::o;9576:1127::-;9685:4;9702:11;9763:4;9757:11;9897:2;9891:4;9887:13;10572:1;10552;10443:10;10423:1;10399:5;10369:11;10021:5;10016:3;10012:15;9989:672;9979:682;;9733:939;;10689:6;10682:13;;;9576:1127;;;;;;:::o;1876:13289::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;:::o;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;:::o;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;:::o

bzzr://bc1850d0c4a3bdabfde0f92cfbd691603cae1b6c812a6ce66641da44c4ca3470