Contract

Contract Source Code (Solidity)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta
• Remix IDE

Outline

• interface IERC20
•    - function totalSupply()
•    - function balanceOf(address account)
•    - function transfer(address to, uint256 ...
•    - function allowance(address owner, add ...
•    - function approve(address spender, uin ...
•    - function transferFrom(
• interface IERC20Permit
•    - function permit(
•    - function nonces(address owner)
•    - function DOMAIN_SEPARATOR()
• library TransferHelper
•    - function safeTransferFrom(
•    - function safeTransfer(
•    - function safeApprove(
•    - function safeTransferETH(address to, ...
•  contract Fraxferry *
•    - function embarkWithRecipient(uint amo ...
•    - function embark(uint amount)
•    - function embarkWithSignature(
•    - function depart(uint start, uint end, ...
•    - function disembark(BatchData calldata ...
•    - function removeBatches(uint batchNo)
•    - function disputeBatch(uint batchNo, b ...
•    - function pause()
•    - function unPause()
•    - function _pause(bool _paused)
•    - function _jettison(uint index, bool c ...
•    - function jettison(uint index, bool ca ...
•    - function jettisonGroup(uint[] calldat ...
•    - function setFee(uint _FEE)
•    - function setMinWaitPeriods(uint _MIN_ ...
•    - function nominateNewOwner(address new ...
•    - function acceptOwnership()
•    - function setCaptain(address newCaptai ...
•    - function setFirstOfficer(address newF ...
•    - function setCrewmember(address crewme ...
•    - function sendTokens(address receiver, ...
•    - function execute(address _to, uint256 ...
•    - function getNextBatch(uint _start, ui ...
•    - function getBatchData(uint start, uin ...
•    - function getBatchAmount(uint start, u ...
•    - function getTransactionsHash(uint sta ...
•    - function noTransactions()
•    - function noBatches()

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

/**
 *Submitted for verification at Etherscan.io on 2022-11-13
*/

// SPDX-License-Identifier: GPL-2.0-or-later
pragma solidity >=0.8.0;

// Sources flattened with hardhat v2.12.0 https://hardhat.org

// File @openzeppelin/contracts/token/ERC20/[email protected]

// OpenZeppelin Contracts (last updated v4.6.0) (token/ERC20/IERC20.sol)


/**
 * @dev Interface of the ERC20 standard as defined in the EIP.
 */
interface IERC20 {
    /**
     * @dev Emitted when `value` tokens are moved from one account (`from`) to
     * another (`to`).
     *
     * Note that `value` may be zero.
     */
    event Transfer(address indexed from, address indexed to, uint256 value);

    /**
     * @dev Emitted when the allowance of a `spender` for an `owner` is set by
     * a call to {approve}. `value` is the new allowance.
     */
    event Approval(address indexed owner, address indexed spender, uint256 value);

    /**
     * @dev Returns the amount of tokens in existence.
     */
    function totalSupply() external view returns (uint256);

    /**
     * @dev Returns the amount of tokens owned by `account`.
     */
    function balanceOf(address account) external view returns (uint256);

    /**
     * @dev Moves `amount` tokens from the caller's account to `to`.
     *
     * Returns a boolean value indicating whether the operation succeeded.
     *
     * Emits a {Transfer} event.
     */
    function transfer(address to, uint256 amount) external returns (bool);

    /**
     * @dev Returns the remaining number of tokens that `spender` will be
     * allowed to spend on behalf of `owner` through {transferFrom}. This is
     * zero by default.
     *
     * This value changes when {approve} or {transferFrom} are called.
     */
    function allowance(address owner, address spender) external view returns (uint256);

    /**
     * @dev Sets `amount` as the allowance of `spender` over the caller's tokens.
     *
     * Returns a boolean value indicating whether the operation succeeded.
     *
     * IMPORTANT: Beware that changing an allowance with this method brings the risk
     * that someone may use both the old and the new allowance by unfortunate
     * transaction ordering. One possible solution to mitigate this race
     * condition is to first reduce the spender's allowance to 0 and set the
     * desired value afterwards:
     * https://github.com/ethereum/EIPs/issues/20#issuecomment-263524729
     *
     * Emits an {Approval} event.
     */
    function approve(address spender, uint256 amount) external returns (bool);

    /**
     * @dev Moves `amount` tokens from `from` to `to` using the
     * allowance mechanism. `amount` is then deducted from the caller's
     * allowance.
     *
     * Returns a boolean value indicating whether the operation succeeded.
     *
     * Emits a {Transfer} event.
     */
    function transferFrom(
        address from,
        address to,
        uint256 amount
    ) external returns (bool);
}


// File @openzeppelin/contracts/token/ERC20/extensions/[email protected]

// OpenZeppelin Contracts v4.4.1 (token/ERC20/extensions/draft-IERC20Permit.sol)


/**
 * @dev Interface of the ERC20 Permit extension allowing approvals to be made via signatures, as defined in
 * https://eips.ethereum.org/EIPS/eip-2612[EIP-2612].
 *
 * Adds the {permit} method, which can be used to change an account's ERC20 allowance (see {IERC20-allowance}) by
 * presenting a message signed by the account. By not relying on {IERC20-approve}, the token holder account doesn't
 * need to send a transaction, and thus is not required to hold Ether at all.
 */
interface IERC20Permit {
    /**
     * @dev Sets `value` as the allowance of `spender` over ``owner``'s tokens,
     * given ``owner``'s signed approval.
     *
     * IMPORTANT: The same issues {IERC20-approve} has related to transaction
     * ordering also apply here.
     *
     * Emits an {Approval} event.
     *
     * Requirements:
     *
     * - `spender` cannot be the zero address.
     * - `deadline` must be a timestamp in the future.
     * - `v`, `r` and `s` must be a valid `secp256k1` signature from `owner`
     * over the EIP712-formatted function arguments.
     * - the signature must use ``owner``'s current nonce (see {nonces}).
     *
     * For more information on the signature format, see the
     * https://eips.ethereum.org/EIPS/eip-2612#specification[relevant EIP
     * section].
     */
    function permit(
        address owner,
        address spender,
        uint256 value,
        uint256 deadline,
        uint8 v,
        bytes32 r,
        bytes32 s
    ) external;

    /**
     * @dev Returns the current nonce for `owner`. This value must be
     * included whenever a signature is generated for {permit}.
     *
     * Every successful call to {permit} increases ``owner``'s nonce by one. This
     * prevents a signature from being used multiple times.
     */
    function nonces(address owner) external view returns (uint256);

    /**
     * @dev Returns the domain separator used in the encoding of the signature for {permit}, as defined by {EIP712}.
     */
    // solhint-disable-next-line func-name-mixedcase
    function DOMAIN_SEPARATOR() external view returns (bytes32);
}


// File @uniswap/v3-periphery/contracts/libraries/[email protected]


library TransferHelper {
    /// @notice Transfers tokens from the targeted address to the given destination
    /// @notice Errors with 'STF' if transfer fails
    /// @param token The contract address of the token to be transferred
    /// @param from The originating address from which the tokens will be transferred
    /// @param to The destination address of the transfer
    /// @param value The amount to be transferred
    function safeTransferFrom(
        address token,
        address from,
        address to,
        uint256 value
    ) internal {
        (bool success, bytes memory data) =
            token.call(abi.encodeWithSelector(IERC20.transferFrom.selector, from, to, value));
        require(success && (data.length == 0 || abi.decode(data, (bool))), 'STF');
    }

    /// @notice Transfers tokens from msg.sender to a recipient
    /// @dev Errors with ST if transfer fails
    /// @param token The contract address of the token which will be transferred
    /// @param to The recipient of the transfer
    /// @param value The value of the transfer
    function safeTransfer(
        address token,
        address to,
        uint256 value
    ) internal {
        (bool success, bytes memory data) = token.call(abi.encodeWithSelector(IERC20.transfer.selector, to, value));
        require(success && (data.length == 0 || abi.decode(data, (bool))), 'ST');
    }

    /// @notice Approves the stipulated contract to spend the given allowance in the given token
    /// @dev Errors with 'SA' if transfer fails
    /// @param token The contract address of the token to be approved
    /// @param to The target of the approval
    /// @param value The amount of the given token the target will be allowed to spend
    function safeApprove(
        address token,
        address to,
        uint256 value
    ) internal {
        (bool success, bytes memory data) = token.call(abi.encodeWithSelector(IERC20.approve.selector, to, value));
        require(success && (data.length == 0 || abi.decode(data, (bool))), 'SA');
    }

    /// @notice Transfers ETH to the recipient address
    /// @dev Fails with `STE`
    /// @param to The destination of the transfer
    /// @param value The value to be transferred
    function safeTransferETH(address to, uint256 value) internal {
        (bool success, ) = to.call{value: value}(new bytes(0));
        require(success, 'STE');
    }
}


// File contracts/Fraxferry/Fraxferry.sol


// ====================================================================
// |     ______                   _______                             |
// |    / _____________ __  __   / ____(_____  ____ _____  ________   |
// |   / /_  / ___/ __ `| |/_/  / /_  / / __ \/ __ `/ __ \/ ___/ _ \  |
// |  / __/ / /  / /_/ _>  <   / __/ / / / / / /_/ / / / / /__/  __/  |
// | /_/   /_/   \__,_/_/|_|  /_/   /_/_/ /_/\__,_/_/ /_/\___/\___/   |
// |                                                                  |
// ====================================================================
// ============================ Fraxferry =============================
// ====================================================================
// Ferry that can be used to ship tokens between chains

// Frax Finance: https://github.com/FraxFinance

// Primary Author(s)
// Dennis: https://github.com/denett

/*
** Modus operandi:
** - User sends tokens to the contract. This transaction is stored in the contract.
** - Captain queries the source chain for transactions to ship.
** - Captain sends batch (start, end, hash) to start the trip,
** - Crewmembers check the batch and can dispute it if it is invalid.
** - Non disputed batches can be executed by the first officer by providing the transactions as calldata. 
** - Hash of the transactions must be equal to the hash in the batch. User receives their tokens on the other chain.
** - In case there was a fraudulent transaction (a hacker for example), the owner can cancel a single transaction, such that it will not be executed.
** - The owner can manually manage the tokens in the contract and must make sure it has enough funds.
**
** What must happen for a false batch to be executed:
** - Captain is tricked into proposing a batch with a false hash
** - All crewmembers bots are offline/censured/compromised and no one disputes the proposal
**
** Other risks:
** - Reorgs on the source chain. Avoided, by only returning the transactions on the source chain that are at least one hour old.
** - Rollbacks of optimistic rollups. Avoided by running a node.
** - Operators do not have enough time to pause the chain after a fake proposal. Avoided by requiring a minimal amount of time between sending the proposal and executing it.
*/



contract Fraxferry {
   IERC20 immutable public token;
   IERC20 immutable public targetToken;
   uint immutable public chainid;
   uint immutable public targetChain;   
   
   address public owner;
   address public nominatedOwner;
   address public captain;
   address public firstOfficer;
   mapping(address => bool) public crewmembers;

   bool public paused;
   
   uint public MIN_WAIT_PERIOD_ADD=3600; // Minimal 1 hour waiting
   uint public MIN_WAIT_PERIOD_EXECUTE=82800; // Minimal 23 hour waiting
   uint public FEE=1*1e18; // 1 token
   uint immutable MAX_FEE=100e18; // Max fee is 100 tokens
   uint immutable public REDUCED_DECIMALS=1e10;
   
   Transaction[] public transactions;
   mapping(uint => bool) public cancelled;
   uint public executeIndex;
   Batch[] public batches;
   
   struct Transaction {
      address user;
      uint64 amount;
      uint32 timestamp;
   }
   
   struct Batch {
      uint64 start;
      uint64 end;
      uint64 departureTime;
      uint64 status;
      bytes32 hash;
   }
   
   struct BatchData {
      uint startTransactionNo;
      Transaction[] transactions;
   }

   constructor(IERC20 _token, uint _chainid, IERC20 _targetToken, uint _targetChain) {
      //require (block.chainid==_chainid,"Wrong chain");
      chainid=_chainid;
      token = _token;
      targetToken = _targetToken;
      owner = msg.sender;
      targetChain = _targetChain;
   }
   
   
   // ############## Events ##############
   
   event Embark(address indexed sender, uint index, uint amount, uint amountAfterFee, uint timestamp);
   event Disembark(uint start, uint end, bytes32 hash); 
   event Depart(uint batchNo,uint start,uint end,bytes32 hash); 
   event RemoveBatch(uint batchNo);
   event DisputeBatch(uint batchNo, bytes32 hash);
   event Cancelled(uint index, bool cancel);
   event Pause(bool paused);
   event OwnerNominated(address indexed newOwner);
   event OwnerChanged(address indexed previousOwner,address indexed newOwner);
   event SetCaptain(address indexed previousCaptain, address indexed newCaptain);   
   event SetFirstOfficer(address indexed previousFirstOfficer, address indexed newFirstOfficer);
   event SetCrewmember(address indexed crewmember,bool set); 
   event SetFee(uint previousFee, uint fee);
   event SetMinWaitPeriods(uint previousMinWaitAdd,uint previousMinWaitExecute,uint minWaitAdd,uint minWaitExecute); 
   
   // ############## Modifiers ##############
   
   modifier isOwner() {
      require (msg.sender==owner,"Not owner");
      _;
   }
   
   modifier isCaptain() {
      require (msg.sender==captain,"Not captain");
      _;
   }
   
   modifier isFirstOfficer() {
      require (msg.sender==firstOfficer,"Not first officer");
      _;
   }   
    
   modifier isCrewmember() {
      require (crewmembers[msg.sender] || msg.sender==owner || msg.sender==captain || msg.sender==firstOfficer,"Not crewmember");
      _;
   }
   
   modifier notPaused() {
      require (!paused,"Paused");
      _;
   } 
   
   // ############## Ferry actions ##############
   
   function embarkWithRecipient(uint amount, address recipient) public notPaused {
      amount = (amount/REDUCED_DECIMALS)*REDUCED_DECIMALS; // Round amount to fit in data structure
      require (amount>FEE,"Amount too low");
      require (amount/REDUCED_DECIMALS<=type(uint64).max,"Amount too high");
      TransferHelper.safeTransferFrom(address(token),msg.sender,address(this),amount); 
      uint64 amountAfterFee = uint64((amount-FEE)/REDUCED_DECIMALS);
      emit Embark(recipient,transactions.length,amount,amountAfterFee*REDUCED_DECIMALS,block.timestamp);
      transactions.push(Transaction(recipient,amountAfterFee,uint32(block.timestamp)));   
   }
   
   function embark(uint amount) public {
      embarkWithRecipient(amount, msg.sender) ;
   }

   function embarkWithSignature(
      uint256 _amount,
      address recipient,
      uint256 deadline,
      bool approveMax,
      uint8 v,
      bytes32 r,
      bytes32 s
   ) public {
      uint amount = approveMax ? type(uint256).max : _amount;
      IERC20Permit(address(token)).permit(msg.sender, address(this), amount, deadline, v, r, s);
      embarkWithRecipient(amount,recipient);
   }   
   
   function depart(uint start, uint end, bytes32 hash) external notPaused isCaptain {
      require ((batches.length==0 && start==0) || (batches.length>0 && start==batches[batches.length-1].end+1),"Wrong start");
      require (end>=start && end<type(uint64).max,"Wrong end");
      batches.push(Batch(uint64(start),uint64(end),uint64(block.timestamp),0,hash));
      emit Depart(batches.length-1,start,end,hash);
   }
   
   function disembark(BatchData calldata batchData) external notPaused isFirstOfficer {
      Batch memory batch = batches[executeIndex++];
      require (batch.status==0,"Batch disputed");
      require (batch.start==batchData.startTransactionNo,"Wrong start");
      require (batch.start+batchData.transactions.length-1==batch.end,"Wrong size");
      require (block.timestamp-batch.departureTime>=MIN_WAIT_PERIOD_EXECUTE,"Too soon");
      
      bytes32 hash = keccak256(abi.encodePacked(targetChain, targetToken, chainid, token, batch.start));
      for (uint i=0;i<batchData.transactions.length;++i) {
         if (!cancelled[batch.start+i]) {
            TransferHelper.safeTransfer(address(token),batchData.transactions[i].user,batchData.transactions[i].amount*REDUCED_DECIMALS);
         }
         hash = keccak256(abi.encodePacked(hash, batchData.transactions[i].user,batchData.transactions[i].amount));
      }
      require (batch.hash==hash,"Wrong hash");
      emit Disembark(batch.start,batch.end,hash);
   }
   
   function removeBatches(uint batchNo) external isOwner {
      require (executeIndex<=batchNo,"Batch already executed");
      while (batches.length>batchNo) batches.pop();
      emit RemoveBatch(batchNo);
   }
   
   function disputeBatch(uint batchNo, bytes32 hash) external isCrewmember {
      require (batches[batchNo].hash==hash,"Wrong hash");
      require (executeIndex<=batchNo,"Batch already executed");
      require (batches[batchNo].status==0,"Batch already disputed");
      batches[batchNo].status=1; // Set status on disputed
      _pause(true);
      emit DisputeBatch(batchNo,hash);
   }
   
   function pause() external isCrewmember {
      _pause(true);
   }
   
   function unPause() external isOwner {
      _pause(false);
   }   
   
   function _pause(bool _paused) internal {
      paused=_paused;
      emit Pause(_paused);
   } 
   
   function _jettison(uint index, bool cancel) internal {
      require (executeIndex==0 || index>batches[executeIndex-1].end,"Transaction already executed");
      cancelled[index]=cancel;
      emit Cancelled(index,cancel);
   }
   
   function jettison(uint index, bool cancel) external isOwner {
      _jettison(index,cancel);
   }
   
   function jettisonGroup(uint[] calldata indexes, bool cancel) external isOwner {
      for (uint i=0;i<indexes.length;++i) {
         _jettison(indexes[i],cancel);
      }
   }   
   
   // ############## Parameters management ##############
   
   function setFee(uint _FEE) external isOwner {
      require(FEE<MAX_FEE);
      emit SetFee(FEE,_FEE);
      FEE=_FEE;
   }
   
   function setMinWaitPeriods(uint _MIN_WAIT_PERIOD_ADD, uint _MIN_WAIT_PERIOD_EXECUTE) external isOwner {
      require(_MIN_WAIT_PERIOD_ADD>=3600 && _MIN_WAIT_PERIOD_EXECUTE>=3600,"Period too short");
      emit SetMinWaitPeriods(MIN_WAIT_PERIOD_ADD, MIN_WAIT_PERIOD_EXECUTE,_MIN_WAIT_PERIOD_ADD, _MIN_WAIT_PERIOD_EXECUTE);
      MIN_WAIT_PERIOD_ADD=_MIN_WAIT_PERIOD_ADD;
      MIN_WAIT_PERIOD_EXECUTE=_MIN_WAIT_PERIOD_EXECUTE;
   }
   
   // ############## Roles management ##############
   
   function nominateNewOwner(address newOwner) external isOwner {
      nominatedOwner = newOwner;
      emit OwnerNominated(newOwner);
   }   
   
   function acceptOwnership() external {
      require(msg.sender == nominatedOwner, "You must be nominated before you can accept ownership");
      emit OwnerChanged(owner, nominatedOwner);
      owner = nominatedOwner;
      nominatedOwner = address(0);
   }
   
   function setCaptain(address newCaptain) external isOwner {
      emit SetCaptain(captain,newCaptain);
      captain=newCaptain;
   }
   
   function setFirstOfficer(address newFirstOfficer) external isOwner {
      emit SetFirstOfficer(firstOfficer,newFirstOfficer);
      firstOfficer=newFirstOfficer;
   }    
   
   function setCrewmember(address crewmember, bool set) external isOwner {
      crewmembers[crewmember]=set;
      emit SetCrewmember(crewmember,set);
   }   
  
   
   // ############## Token management ##############   
   
   function sendTokens(address receiver, uint amount) external isOwner {
      require (receiver!=address(0),"Zero address not allowed");
      TransferHelper.safeTransfer(address(token),receiver,amount);
   }   
   
   // Generic proxy
   function execute(address _to, uint256 _value, bytes calldata _data) external isOwner returns (bool, bytes memory) {
      require(_data.length==0 || _to.code.length>0,"Can not call a function on a EOA");
      (bool success, bytes memory result) = _to.call{value:_value}(_data);
      return (success, result);
   }   
   
   // ############## Views ##############
   function getNextBatch(uint _start, uint max) public view returns (uint start, uint end, bytes32 hash) {
      uint cutoffTime = block.timestamp-MIN_WAIT_PERIOD_ADD;
      if (_start<transactions.length && transactions[_start].timestamp<cutoffTime) {
         start=_start;
         end=start+max-1;
         if (end>=transactions.length) end=transactions.length-1;
         while(transactions[end].timestamp>=cutoffTime) end--;
         hash = getTransactionsHash(start,end);
      }
   }
   
   function getBatchData(uint start, uint end) public view returns (BatchData memory data) {
      data.startTransactionNo = start;
      data.transactions = new Transaction[](end-start+1);
      for (uint i=start;i<=end;++i) {
         data.transactions[i-start]=transactions[i];
      }
   }
   
   function getBatchAmount(uint start, uint end) public view returns (uint totalAmount) {
      for (uint i=start;i<=end;++i) {
         totalAmount+=transactions[i].amount;
      }
      totalAmount*=REDUCED_DECIMALS;
   }
   
   function getTransactionsHash(uint start, uint end) public view returns (bytes32) {
      bytes32 result = keccak256(abi.encodePacked(chainid, token, targetChain, targetToken, uint64(start)));
      for (uint i=start;i<=end;++i) {
         result = keccak256(abi.encodePacked(result, transactions[i].user,transactions[i].amount));
      }
      return result;
   }   
   
   function noTransactions() public view returns (uint) {
      return transactions.length;
   }
   
   function noBatches() public view returns (uint) {
      return batches.length;
   }
}

• No Contract Security Audit Submitted- Submit Audit Here

[{"inputs":[{"internalType":"contract IERC20","name":"_token","type":"address"},{"internalType":"uint256","name":"_chainid","type":"uint256"},{"internalType":"contract IERC20","name":"_targetToken","type":"address"},{"internalType":"uint256","name":"_targetChain","type":"uint256"}],"stateMutability":"nonpayable","type":"constructor"},{"anonymous":false,"inputs":[{"indexed":false,"internalType":"uint256","name":"index","type":"uint256"},{"indexed":false,"internalType":"bool","name":"cancel","type":"bool"}],"name":"Cancelled","type":"event"},{"anonymous":false,"inputs":[{"indexed":false,"internalType":"uint256","name":"batchNo","type":"uint256"},{"indexed":false,"internalType":"uint256","name":"start","type":"uint256"},{"indexed":false,"internalType":"uint256","name":"end","type":"uint256"},{"indexed":false,"internalType":"bytes32","name":"hash","type":"bytes32"}],"name":"Depart","type":"event"},{"anonymous":false,"inputs":[{"indexed":false,"internalType":"uint256","name":"start","type":"uint256"},{"indexed":false,"internalType":"uint256","name":"end","type":"uint256"},{"indexed":false,"internalType":"bytes32","name":"hash","type":"bytes32"}],"name":"Disembark","type":"event"},{"anonymous":false,"inputs":[{"indexed":false,"internalType":"uint256","name":"batchNo","type":"uint256"},{"indexed":false,"internalType":"bytes32","name":"hash","type":"bytes32"}],"name":"DisputeBatch","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"sender","type":"address"},{"indexed":false,"internalType":"uint256","name":"index","type":"uint256"},{"indexed":false,"internalType":"uint256","name":"amount","type":"uint256"},{"indexed":false,"internalType":"uint256","name":"amountAfterFee","type":"uint256"},{"indexed":false,"internalType":"uint256","name":"timestamp","type":"uint256"}],"name":"Embark","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"previousOwner","type":"address"},{"indexed":true,"internalType":"address","name":"newOwner","type":"address"}],"name":"OwnerChanged","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"newOwner","type":"address"}],"name":"OwnerNominated","type":"event"},{"anonymous":false,"inputs":[{"indexed":false,"internalType":"bool","name":"paused","type":"bool"}],"name":"Pause","type":"event"},{"anonymous":false,"inputs":[{"indexed":false,"internalType":"uint256","name":"batchNo","type":"uint256"}],"name":"RemoveBatch","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"previousCaptain","type":"address"},{"indexed":true,"internalType":"address","name":"newCaptain","type":"address"}],"name":"SetCaptain","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"crewmember","type":"address"},{"indexed":false,"internalType":"bool","name":"set","type":"bool"}],"name":"SetCrewmember","type":"event"},{"anonymous":false,"inputs":[{"indexed":false,"internalType":"uint256","name":"previousFee","type":"uint256"},{"indexed":false,"internalType":"uint256","name":"fee","type":"uint256"}],"name":"SetFee","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"previousFirstOfficer","type":"address"},{"indexed":true,"internalType":"address","name":"newFirstOfficer","type":"address"}],"name":"SetFirstOfficer","type":"event"},{"anonymous":false,"inputs":[{"indexed":false,"internalType":"uint256","name":"previousMinWaitAdd","type":"uint256"},{"indexed":false,"internalType":"uint256","name":"previousMinWaitExecute","type":"uint256"},{"indexed":false,"internalType":"uint256","name":"minWaitAdd","type":"uint256"},{"indexed":false,"internalType":"uint256","name":"minWaitExecute","type":"uint256"}],"name":"SetMinWaitPeriods","type":"event"},{"inputs":[],"name":"FEE","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"MIN_WAIT_PERIOD_ADD","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"MIN_WAIT_PERIOD_EXECUTE","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"REDUCED_DECIMALS","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"acceptOwnership","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"uint256","name":"","type":"uint256"}],"name":"batches","outputs":[{"internalType":"uint64","name":"start","type":"uint64"},{"internalType":"uint64","name":"end","type":"uint64"},{"internalType":"uint64","name":"departureTime","type":"uint64"},{"internalType":"uint64","name":"status","type":"uint64"},{"internalType":"bytes32","name":"hash","type":"bytes32"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"uint256","name":"","type":"uint256"}],"name":"cancelled","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"captain","outputs":[{"internalType":"address","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"chainid","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"","type":"address"}],"name":"crewmembers","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"uint256","name":"start","type":"uint256"},{"internalType":"uint256","name":"end","type":"uint256"},{"internalType":"bytes32","name":"hash","type":"bytes32"}],"name":"depart","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"components":[{"internalType":"uint256","name":"startTransactionNo","type":"uint256"},{"components":[{"internalType":"address","name":"user","type":"address"},{"internalType":"uint64","name":"amount","type":"uint64"},{"internalType":"uint32","name":"timestamp","type":"uint32"}],"internalType":"struct Fraxferry.Transaction[]","name":"transactions","type":"tuple[]"}],"internalType":"struct Fraxferry.BatchData","name":"batchData","type":"tuple"}],"name":"disembark","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"uint256","name":"batchNo","type":"uint256"},{"internalType":"bytes32","name":"hash","type":"bytes32"}],"name":"disputeBatch","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"embark","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"uint256","name":"amount","type":"uint256"},{"internalType":"address","name":"recipient","type":"address"}],"name":"embarkWithRecipient","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"uint256","name":"_amount","type":"uint256"},{"internalType":"address","name":"recipient","type":"address"},{"internalType":"uint256","name":"deadline","type":"uint256"},{"internalType":"bool","name":"approveMax","type":"bool"},{"internalType":"uint8","name":"v","type":"uint8"},{"internalType":"bytes32","name":"r","type":"bytes32"},{"internalType":"bytes32","name":"s","type":"bytes32"}],"name":"embarkWithSignature","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"_to","type":"address"},{"internalType":"uint256","name":"_value","type":"uint256"},{"internalType":"bytes","name":"_data","type":"bytes"}],"name":"execute","outputs":[{"internalType":"bool","name":"","type":"bool"},{"internalType":"bytes","name":"","type":"bytes"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"executeIndex","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"firstOfficer","outputs":[{"internalType":"address","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"uint256","name":"start","type":"uint256"},{"internalType":"uint256","name":"end","type":"uint256"}],"name":"getBatchAmount","outputs":[{"internalType":"uint256","name":"totalAmount","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"uint256","name":"start","type":"uint256"},{"internalType":"uint256","name":"end","type":"uint256"}],"name":"getBatchData","outputs":[{"components":[{"internalType":"uint256","name":"startTransactionNo","type":"uint256"},{"components":[{"internalType":"address","name":"user","type":"address"},{"internalType":"uint64","name":"amount","type":"uint64"},{"internalType":"uint32","name":"timestamp","type":"uint32"}],"internalType":"struct Fraxferry.Transaction[]","name":"transactions","type":"tuple[]"}],"internalType":"struct Fraxferry.BatchData","name":"data","type":"tuple"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"uint256","name":"_start","type":"uint256"},{"internalType":"uint256","name":"max","type":"uint256"}],"name":"getNextBatch","outputs":[{"internalType":"uint256","name":"start","type":"uint256"},{"internalType":"uint256","name":"end","type":"uint256"},{"internalType":"bytes32","name":"hash","type":"bytes32"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"uint256","name":"start","type":"uint256"},{"internalType":"uint256","name":"end","type":"uint256"}],"name":"getTransactionsHash","outputs":[{"internalType":"bytes32","name":"","type":"bytes32"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"uint256","name":"index","type":"uint256"},{"internalType":"bool","name":"cancel","type":"bool"}],"name":"jettison","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"uint256[]","name":"indexes","type":"uint256[]"},{"internalType":"bool","name":"cancel","type":"bool"}],"name":"jettisonGroup","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"noBatches","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"noTransactions","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"newOwner","type":"address"}],"name":"nominateNewOwner","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"nominatedOwner","outputs":[{"internalType":"address","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"owner","outputs":[{"internalType":"address","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"pause","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"paused","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"uint256","name":"batchNo","type":"uint256"}],"name":"removeBatches","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"receiver","type":"address"},{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"sendTokens","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"newCaptain","type":"address"}],"name":"setCaptain","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"crewmember","type":"address"},{"internalType":"bool","name":"set","type":"bool"}],"name":"setCrewmember","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"uint256","name":"_FEE","type":"uint256"}],"name":"setFee","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"newFirstOfficer","type":"address"}],"name":"setFirstOfficer","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"uint256","name":"_MIN_WAIT_PERIOD_ADD","type":"uint256"},{"internalType":"uint256","name":"_MIN_WAIT_PERIOD_EXECUTE","type":"uint256"}],"name":"setMinWaitPeriods","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"targetChain","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"targetToken","outputs":[{"internalType":"contract IERC20","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"token","outputs":[{"internalType":"contract IERC20","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"uint256","name":"","type":"uint256"}],"name":"transactions","outputs":[{"internalType":"address","name":"user","type":"address"},{"internalType":"uint64","name":"amount","type":"uint64"},{"internalType":"uint32","name":"timestamp","type":"uint32"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"unPause","outputs":[],"stateMutability":"nonpayable","type":"function"}]

0x608060405234801561001057600080fd5b50600436106102f45760003560e01c80638b928bd311610191578063c57981b5116100e3578063e050be5711610097578063f7b188a511610071578063f7b188a51461074b578063fc0c546a14610753578063fd433ec01461077a57600080fd5b8063e050be57146106f5578063f40e349f14610718578063f55ebb8f1461072b57600080fd5b8063cdbdfdc2116100c8578063cdbdfdc2146106aa578063d9fb265d146106b2578063de7974a4146106d557600080fd5b8063c57981b51461067a578063cd84980e1461068357600080fd5b80639b8c624a11610145578063b61325cd1161011f578063b61325cd1461063d578063b61d27f614610646578063c2f6afe51461066757600080fd5b80639b8c624a146105c8578063a3a6d9e8146105db578063b32c4d8d146105ee57600080fd5b80638e714a72116101765780638e714a7214610541578063907c6c2e146105545780639ace38c21461057457600080fd5b80638b928bd3146105195780638da5cb5b1461052157600080fd5b80633beaf5261161024a578063652dfc3b116101fe57806379ba5097116101d857806379ba5097146104e25780638304e6d2146104ea5780638456cb591461051157600080fd5b8063652dfc3b1461049557806366e64f97146104a857806369fe0e2d146104cf57600080fd5b8063525862f91161022f578063525862f91461042a57806353a47bb7146104585780635c975abb1461047857600080fd5b80633beaf526146104045780634a474aa31461041757600080fd5b80631627540c116102ac57806333032dd01161028657806333032dd0146103d557806333efa2b2146103de57806336f734c1146103f157600080fd5b80631627540c14610363578063165282c314610376578063327107f71461038957600080fd5b806305c211d2116102dd57806305c211d21461032a57806307cca1661461033d578063081c46241461035057600080fd5b8063024faa8c146102f957806305ab421d14610315575b600080fd5b61030260075481565b6040519081526020015b60405180910390f35b6103286103233660046134c3565b61078d565b005b6103286103383660046134ed565b6108bf565b61032861034b366004613527565b610c78565b61032861035e36600461355e565b610d83565b610328610371366004613583565b610e0e565b61030261038436600461359e565b610efe565b6103b07f0000000000000000000000002e3d870790dc77a83dd1d18184acc7439a53f47581565b60405173ffffffffffffffffffffffffffffffffffffffff909116815260200161030c565b61030260065481565b6103286103ec3660046135c0565b610f98565b6103286103ff3660046135fb565b611749565b61030261041236600461359e565b611b36565b610328610425366004613627565b611d5e565b61043d61043836600461359e565b611ede565b6040805193845260208401929092529082015260600161030c565b6001546103b09073ffffffffffffffffffffffffffffffffffffffff1681565b6005546104859060ff1681565b604051901515815260200161030c565b6103286104a3366004613640565b611ff7565b6103027f00000000000000000000000000000000000000000000000000000002540be40081565b6103286104dd366004613627565b6120bb565b6103286121ab565b6103027f000000000000000000000000000000000000000000000000000000000000000a81565b6103286122e8565b600c54610302565b6000546103b09073ffffffffffffffffffffffffffffffffffffffff1681565b61032861054f366004613583565b6123d3565b61056761056236600461359e565b6124e2565b60405161030c91906136c6565b610587610582366004613627565b612672565b6040805173ffffffffffffffffffffffffffffffffffffffff909416845267ffffffffffffffff909216602084015263ffffffff169082015260600161030c565b6103286105d6366004613583565b6126f3565b6103286105e936600461375d565b612802565b6106016105fc366004613627565b612912565b6040805167ffffffffffffffff96871681529486166020860152928516928401929092529092166060820152608081019190915260a00161030c565b610302600b5481565b6106596106543660046137d2565b612992565b60405161030c92919061387d565b61032861067536600461359e565b612b1e565b61030260085481565b6103027f000000000000000000000000000000000000000000000000000000000000000181565b600954610302565b6104856106c0366004613583565b60046020526000908152604090205460ff1681565b6003546103b09073ffffffffffffffffffffffffffffffffffffffff1681565b610485610703366004613627565b600a6020526000908152604090205460ff1681565b61032861072636600461359e565b612c72565b6002546103b09073ffffffffffffffffffffffffffffffffffffffff1681565b610328612f8f565b6103b07f000000000000000000000000853d955acef822db058eb8505911ed77f175b99e81565b610328610788366004613627565b61301a565b60005473ffffffffffffffffffffffffffffffffffffffff163314610813576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152600960248201527f4e6f74206f776e6572000000000000000000000000000000000000000000000060448201526064015b60405180910390fd5b73ffffffffffffffffffffffffffffffffffffffff8216610890576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601860248201527f5a65726f2061646472657373206e6f7420616c6c6f7765640000000000000000604482015260640161080a565b6108bb7f000000000000000000000000853d955acef822db058eb8505911ed77f175b99e8383613027565b5050565b60055460ff161561092c576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152600660248201527f5061757365640000000000000000000000000000000000000000000000000000604482015260640161080a565b7f00000000000000000000000000000000000000000000000000000002540be4006109578184613906565b6109619190613941565b915060085482116109ce576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152600e60248201527f416d6f756e7420746f6f206c6f77000000000000000000000000000000000000604482015260640161080a565b67ffffffffffffffff610a017f00000000000000000000000000000000000000000000000000000002540be40084613906565b1115610a69576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152600f60248201527f416d6f756e7420746f6f20686967680000000000000000000000000000000000604482015260640161080a565b610a957f000000000000000000000000853d955acef822db058eb8505911ed77f175b99e333085613197565b60007f00000000000000000000000000000000000000000000000000000002540be40060085484610ac69190613958565b610ad09190613906565b60095490915073ffffffffffffffffffffffffffffffffffffffff8316907f0250c838bae2cda1e214f0925d41846180714450539039d6fd90a4121d98738e9085610b457f00000000000000000000000000000000000000000000000000000002540be40067ffffffffffffffff8716613941565b6040805193845260208401929092529082015242606082015260800160405180910390a26040805160608101825273ffffffffffffffffffffffffffffffffffffffff938416815267ffffffffffffffff9283166020820190815263ffffffff4281169383019384526009805460018101825560009190915292517f6e1540171b6c0c960b71a7020d9f60077f6af931a8bbf590da0223dacf75c7af9093018054925194519091167c0100000000000000000000000000000000000000000000000000000000027bffffffffffffffffffffffffffffffffffffffffffffffffffffffff9490951674010000000000000000000000000000000000000000027fffffffff000000000000000000000000000000000000000000000000000000009092169290951691909117171617905550565b60005473ffffffffffffffffffffffffffffffffffffffff163314610cf9576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152600960248201527f4e6f74206f776e65720000000000000000000000000000000000000000000000604482015260640161080a565b73ffffffffffffffffffffffffffffffffffffffff821660008181526004602090815260409182902080547fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff001685151590811790915591519182527f6a5f1fd939b33c2480886a44e0780806ce19041ef2c91734cb752c54288ca5ac910160405180910390a25050565b60005473ffffffffffffffffffffffffffffffffffffffff163314610e04576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152600960248201527f4e6f74206f776e65720000000000000000000000000000000000000000000000604482015260640161080a565b6108bb8282613310565b60005473ffffffffffffffffffffffffffffffffffffffff163314610e8f576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152600960248201527f4e6f74206f776e65720000000000000000000000000000000000000000000000604482015260640161080a565b600180547fffffffffffffffffffffffff00000000000000000000000000000000000000001673ffffffffffffffffffffffffffffffffffffffff83169081179091556040517f906a1c6bd7e3091ea86693dd029a831c19049ce77f1dce2ce0bab1cacbabce2290600090a250565b6000825b828111610f665760098181548110610f1c57610f1c61396b565b600091825260209091200154610f549074010000000000000000000000000000000000000000900467ffffffffffffffff168361399a565b9150610f5f816139ad565b9050610f02565b50610f917f00000000000000000000000000000000000000000000000000000002540be40082613941565b9392505050565b60055460ff1615611005576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152600660248201527f5061757365640000000000000000000000000000000000000000000000000000604482015260640161080a565b60035473ffffffffffffffffffffffffffffffffffffffff163314611086576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601160248201527f4e6f74206669727374206f666669636572000000000000000000000000000000604482015260640161080a565b600b8054600091600c91908361109b836139ad565b91905055815481106110af576110af61396b565b60009182526020918290206040805160a0810182526002909302909101805467ffffffffffffffff8082168552680100000000000000008204811695850195909552700100000000000000000000000000000000810485169284019290925278010000000000000000000000000000000000000000000000009091049092166060820181905260019092015460808201529150156111a9576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152600e60248201527f4261746368206469737075746564000000000000000000000000000000000000604482015260640161080a565b805167ffffffffffffffff1682351461121e576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152600b60248201527f57726f6e67207374617274000000000000000000000000000000000000000000604482015260640161080a565b806020015167ffffffffffffffff16600183806020019061123f91906139e5565b8451611255925067ffffffffffffffff1661399a565b61125f9190613958565b146112c6576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152600a60248201527f57726f6e672073697a6500000000000000000000000000000000000000000000604482015260640161080a565b60075460408201516112e29067ffffffffffffffff1642613958565b101561134a576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152600860248201527f546f6f20736f6f6e000000000000000000000000000000000000000000000000604482015260640161080a565b8051604051600091611452917f000000000000000000000000000000000000000000000000000000000000000a917f0000000000000000000000002e3d870790dc77a83dd1d18184acc7439a53f475917f0000000000000000000000000000000000000000000000000000000000000001917f000000000000000000000000853d955acef822db058eb8505911ed77f175b99e91602001948552606093841b7fffffffffffffffffffffffffffffffffffffffff00000000000000000000000090811660208701526034860193909352921b16605483015260c01b7fffffffffffffffff00000000000000000000000000000000000000000000000016606882015260700190565b60405160208183030381529060405280519060200120905060005b61147a60208501856139e5565b905081101561167e57600a600082856000015167ffffffffffffffff166114a1919061399a565b815260208101919091526040016000205460ff1661157f5761157f7f000000000000000000000000853d955acef822db058eb8505911ed77f175b99e6114ea60208701876139e5565b848181106114fa576114fa61396b565b6115109260206060909202019081019150613583565b7f00000000000000000000000000000000000000000000000000000002540be40061153e60208901896139e5565b8681811061154e5761154e61396b565b90506060020160200160208101906115669190613a53565b67ffffffffffffffff1661157a9190613941565b613027565b8161158d60208601866139e5565b8381811061159d5761159d61396b565b6115b39260206060909202019081019150613583565b6115c060208701876139e5565b848181106115d0576115d061396b565b90506060020160200160208101906115e89190613a53565b6040516020016116559392919092835260609190911b7fffffffffffffffffffffffffffffffffffffffff00000000000000000000000016602083015260c01b7fffffffffffffffff000000000000000000000000000000000000000000000000166034820152603c0190565b60405160208183030381529060405280519060200120915080611677906139ad565b905061146d565b50808260800151146116ec576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152600a60248201527f57726f6e67206861736800000000000000000000000000000000000000000000604482015260640161080a565b81516020808401516040805167ffffffffffffffff9485168152939091169183019190915281018290527fce67cdf2a5dbd123a7aa5e9fd21b2136e06d33eb30e024ee5c491a6ec934a48b906060015b60405180910390a1505050565b60055460ff16156117b6576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152600660248201527f5061757365640000000000000000000000000000000000000000000000000000604482015260640161080a565b60025473ffffffffffffffffffffffffffffffffffffffff163314611837576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152600b60248201527f4e6f74206361707461696e000000000000000000000000000000000000000000604482015260640161080a565b600c54158015611845575082155b806118b65750600c54158015906118b65750600c805461186790600190613958565b815481106118775761187761396b565b60009182526020909120600290910201546118a99068010000000000000000900467ffffffffffffffff166001613a7d565b67ffffffffffffffff1683145b61191c576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152600b60248201527f57726f6e67207374617274000000000000000000000000000000000000000000604482015260640161080a565b828210158015611933575067ffffffffffffffff82105b611999576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152600960248201527f57726f6e6720656e640000000000000000000000000000000000000000000000604482015260640161080a565b6040805160a08101825267ffffffffffffffff80861682528481166020830190815242821693830193845260006060840181815260808501878152600c80546001818101835594829052965160029097027fdf6966c971051c3d54ec59162606531493a51404a002842f56009d7e5cf4a8c781018054965199519451881678010000000000000000000000000000000000000000000000000277ffffffffffffffffffffffffffffffffffffffffffffffff95891670010000000000000000000000000000000002959095166fffffffffffffffffffffffffffffffff9a891668010000000000000000027fffffffffffffffffffffffffffffffff0000000000000000000000000000000090981699909816989098179590951797909716949094171790935590517fdf6966c971051c3d54ec59162606531493a51404a002842f56009d7e5cf4a8c89091015590547fe078fb854f34cd8ca5f749fe2e680b692ef7df5e057026369a30c8965a3219ca91611b1491613958565b604080519182526020820186905281018490526060810183905260800161173c565b604080517f00000000000000000000000000000000000000000000000000000000000000016020808301919091527fffffffffffffffffffffffffffffffffffffffff0000000000000000000000007f000000000000000000000000853d955acef822db058eb8505911ed77f175b99e606090811b8216848601527f000000000000000000000000000000000000000000000000000000000000000a60548501527f0000000000000000000000002e3d870790dc77a83dd1d18184acc7439a53f475901b1660748301527fffffffffffffffff00000000000000000000000000000000000000000000000060c086901b1660888301528251808303607001815260909092019092528051910120600090835b838111611d54578160098281548110611c6357611c6361396b565b6000918252602090912001546009805473ffffffffffffffffffffffffffffffffffffffff9092169184908110611c9c57611c9c61396b565b9060005260206000200160000160149054906101000a900467ffffffffffffffff16604051602001611d2b9392919092835260609190911b7fffffffffffffffffffffffffffffffffffffffff00000000000000000000000016602083015260c01b7fffffffffffffffff000000000000000000000000000000000000000000000000166034820152603c0190565b60405160208183030381529060405280519060200120915080611d4d906139ad565b9050611c48565b5090505b92915050565b60005473ffffffffffffffffffffffffffffffffffffffff163314611ddf576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152600960248201527f4e6f74206f776e65720000000000000000000000000000000000000000000000604482015260640161080a565b80600b541115611e4b576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601660248201527f426174636820616c726561647920657865637574656400000000000000000000604482015260640161080a565b600c54811015611ea757600c805480611e6657611e66613a9e565b60008281526020812060027fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff90930192830201818155600101559055611e4b565b6040518181527f992e817214d6c9aa9d52b4faf1913b1d1321ce1a6ff98258e88a5d78e71a0183906020015b60405180910390a150565b60008060008060065442611ef29190613958565b60095490915086108015611f4957508060098781548110611f1557611f1561396b565b6000918252602090912001547c0100000000000000000000000000000000000000000000000000000000900463ffffffff16105b15611fef578593506001611f5d868661399a565b611f679190613958565b6009549093508310611f8557600954611f8290600190613958565b92505b8060098481548110611f9957611f9961396b565b6000918252602090912001547c0100000000000000000000000000000000000000000000000000000000900463ffffffff1610611fe25782611fda81613acd565b935050611f85565b611fec8484611b36565b91505b509250925092565b60005473ffffffffffffffffffffffffffffffffffffffff163314612078576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152600960248201527f4e6f74206f776e65720000000000000000000000000000000000000000000000604482015260640161080a565b60005b828110156120b5576120a58484838181106120985761209861396b565b9050602002013583613310565b6120ae816139ad565b905061207b565b50505050565b60005473ffffffffffffffffffffffffffffffffffffffff16331461213c576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152600960248201527f4e6f74206f776e65720000000000000000000000000000000000000000000000604482015260640161080a565b7f0000000000000000000000000000000000000000000000056bc75e2d631000006008541061216a57600080fd5b60085460408051918252602082018390527f032dc6a2d839eb179729a55633fdf1c41a1fc4739394154117005db2b354b9b5910160405180910390a1600855565b60015473ffffffffffffffffffffffffffffffffffffffff163314612252576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152603560248201527f596f75206d757374206265206e6f6d696e61746564206265666f726520796f7560448201527f2063616e20616363657074206f776e6572736869700000000000000000000000606482015260840161080a565b6001546000805460405173ffffffffffffffffffffffffffffffffffffffff93841693909116917fb532073b38c83145e3e5135377a08bf9aab55bc0fd7c1179cd4fb995d2a5159c91a360018054600080547fffffffffffffffffffffffff000000000000000000000000000000000000000090811673ffffffffffffffffffffffffffffffffffffffff841617909155169055565b3360009081526004602052604090205460ff168061231d575060005473ffffffffffffffffffffffffffffffffffffffff1633145b8061233f575060025473ffffffffffffffffffffffffffffffffffffffff1633145b80612361575060035473ffffffffffffffffffffffffffffffffffffffff1633145b6123c7576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152600e60248201527f4e6f7420637265776d656d626572000000000000000000000000000000000000604482015260640161080a565b6123d1600161343b565b565b60005473ffffffffffffffffffffffffffffffffffffffff163314612454576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152600960248201527f4e6f74206f776e65720000000000000000000000000000000000000000000000604482015260640161080a565b60025460405173ffffffffffffffffffffffffffffffffffffffff8084169216907ff18effac70e61c427eeb822dabc8c030ad0d6178e38899b5436e10f9b599028f90600090a3600280547fffffffffffffffffffffffff00000000000000000000000000000000000000001673ffffffffffffffffffffffffffffffffffffffff92909216919091179055565b60408051808201909152606060208201528281526125008383613958565b61250b90600161399a565b67ffffffffffffffff81111561252357612523613b02565b60405190808252806020026020018201604052801561258c57816020015b60408051606081018252600080825260208083018290529282015282527fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff9092019101816125415790505b506020820152825b82811161266b57600981815481106125ae576125ae61396b565b600091825260209182902060408051606081018252929091015473ffffffffffffffffffffffffffffffffffffffff8116835274010000000000000000000000000000000000000000810467ffffffffffffffff16838501527c0100000000000000000000000000000000000000000000000000000000900463ffffffff16908201529083015161263f8684613958565b8151811061264f5761264f61396b565b602002602001018190525080612664906139ad565b9050612594565b5092915050565b6009818154811061268257600080fd5b60009182526020909120015473ffffffffffffffffffffffffffffffffffffffff8116915074010000000000000000000000000000000000000000810467ffffffffffffffff16907c0100000000000000000000000000000000000000000000000000000000900463ffffffff1683565b60005473ffffffffffffffffffffffffffffffffffffffff163314612774576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152600960248201527f4e6f74206f776e65720000000000000000000000000000000000000000000000604482015260640161080a565b60035460405173ffffffffffffffffffffffffffffffffffffffff8084169216907fd64fbe94bc529b7e39db059497f4956a94c5ade6b2df42325818876b1c013bcd90600090a3600380547fffffffffffffffffffffffff00000000000000000000000000000000000000001673ffffffffffffffffffffffffffffffffffffffff92909216919091179055565b60008461280f5787612831565b7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff5b6040517fd505accf000000000000000000000000000000000000000000000000000000008152336004820152306024820152604481018290526064810188905260ff8616608482015260a4810185905260c481018490529091507f000000000000000000000000853d955acef822db058eb8505911ed77f175b99e73ffffffffffffffffffffffffffffffffffffffff169063d505accf9060e401600060405180830381600087803b1580156128e657600080fd5b505af11580156128fa573d6000803e3d6000fd5b5050505061290881886108bf565b5050505050505050565b600c818154811061292257600080fd5b60009182526020909120600290910201805460019091015467ffffffffffffffff8083169350680100000000000000008304811692700100000000000000000000000000000000810482169278010000000000000000000000000000000000000000000000009091049091169085565b6000805460609073ffffffffffffffffffffffffffffffffffffffff163314612a17576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152600960248201527f4e6f74206f776e65720000000000000000000000000000000000000000000000604482015260640161080a565b821580612a3b575060008673ffffffffffffffffffffffffffffffffffffffff163b115b612aa1576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820181905260248201527f43616e206e6f742063616c6c20612066756e6374696f6e206f6e206120454f41604482015260640161080a565b6000808773ffffffffffffffffffffffffffffffffffffffff16878787604051612acc929190613b31565b60006040518083038185875af1925050503d8060008114612b09576040519150601f19603f3d011682016040523d82523d6000602084013e612b0e565b606091505b5090999098509650505050505050565b60005473ffffffffffffffffffffffffffffffffffffffff163314612b9f576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152600960248201527f4e6f74206f776e65720000000000000000000000000000000000000000000000604482015260640161080a565b610e108210158015612bb35750610e108110155b612c19576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601060248201527f506572696f6420746f6f2073686f727400000000000000000000000000000000604482015260640161080a565b6006546007546040805192835260208301919091528101839052606081018290527f7e8d6c37faafc79578015f383c6a5d31a846c93210a9d639e01843943e9fd5f89060800160405180910390a1600691909155600755565b3360009081526004602052604090205460ff1680612ca7575060005473ffffffffffffffffffffffffffffffffffffffff1633145b80612cc9575060025473ffffffffffffffffffffffffffffffffffffffff1633145b80612ceb575060035473ffffffffffffffffffffffffffffffffffffffff1633145b612d51576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152600e60248201527f4e6f7420637265776d656d626572000000000000000000000000000000000000604482015260640161080a565b80600c8381548110612d6557612d6561396b565b90600052602060002090600202016001015414612dde576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152600a60248201527f57726f6e67206861736800000000000000000000000000000000000000000000604482015260640161080a565b81600b541115612e4a576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601660248201527f426174636820616c726561647920657865637574656400000000000000000000604482015260640161080a565b600c8281548110612e5d57612e5d61396b565b60009182526020909120600290910201547801000000000000000000000000000000000000000000000000900467ffffffffffffffff1615612efb576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601660248201527f426174636820616c726561647920646973707574656400000000000000000000604482015260640161080a565b6001600c8381548110612f1057612f1061396b565b906000526020600020906002020160000160186101000a81548167ffffffffffffffff021916908367ffffffffffffffff160217905550612f51600161343b565b60408051838152602081018390527f2292bdbb5281fd856c02c8a97b23b28fd9c47e895224d5262ef02c9647c1ebc091015b60405180910390a15050565b60005473ffffffffffffffffffffffffffffffffffffffff163314613010576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152600960248201527f4e6f74206f776e65720000000000000000000000000000000000000000000000604482015260640161080a565b6123d1600061343b565b61302481336108bf565b50565b6040805173ffffffffffffffffffffffffffffffffffffffff8481166024830152604480830185905283518084039091018152606490920183526020820180517bffffffffffffffffffffffffffffffffffffffffffffffffffffffff167fa9059cbb0000000000000000000000000000000000000000000000000000000017905291516000928392908716916130be9190613b41565b6000604051808303816000865af19150503d80600081146130fb576040519150601f19603f3d011682016040523d82523d6000602084013e613100565b606091505b509150915081801561312a57508051158061312a57508080602001905181019061312a9190613b5d565b613190576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152600260248201527f5354000000000000000000000000000000000000000000000000000000000000604482015260640161080a565b5050505050565b6040805173ffffffffffffffffffffffffffffffffffffffff85811660248301528481166044830152606480830185905283518084039091018152608490920183526020820180517bffffffffffffffffffffffffffffffffffffffffffffffffffffffff167f23b872dd0000000000000000000000000000000000000000000000000000000017905291516000928392908816916132369190613b41565b6000604051808303816000865af19150503d8060008114613273576040519150601f19603f3d011682016040523d82523d6000602084013e613278565b606091505b50915091508180156132a25750805115806132a25750808060200190518101906132a29190613b5d565b613308576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152600360248201527f5354460000000000000000000000000000000000000000000000000000000000604482015260640161080a565b505050505050565b600b5415806133655750600c6001600b5461332b9190613958565b8154811061333b5761333b61396b565b600091825260209091206002909102015468010000000000000000900467ffffffffffffffff1682115b6133cb576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601c60248201527f5472616e73616374696f6e20616c726561647920657865637574656400000000604482015260640161080a565b6000828152600a602090815260409182902080547fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff00168415159081179091558251858152918201527fdf11c22eefc5804dfbf9c567c2522c17e93416278a0f8a6f8e8f327ee6cb032e9101612f83565b600580547fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff00168215159081179091556040519081527f9422424b175dda897495a07b091ef74a3ef715cf6d866fc972954c1c7f45930490602001611ed3565b803573ffffffffffffffffffffffffffffffffffffffff811681146134be57600080fd5b919050565b600080604083850312156134d657600080fd5b6134df8361349a565b946020939093013593505050565b6000806040838503121561350057600080fd5b823591506135106020840161349a565b90509250929050565b801515811461302457600080fd5b6000806040838503121561353a57600080fd5b6135438361349a565b9150602083013561355381613519565b809150509250929050565b6000806040838503121561357157600080fd5b82359150602083013561355381613519565b60006020828403121561359557600080fd5b610f918261349a565b600080604083850312156135b157600080fd5b50508035926020909101359150565b6000602082840312156135d257600080fd5b813567ffffffffffffffff8111156135e957600080fd5b820160408185031215610f9157600080fd5b60008060006060848603121561361057600080fd5b505081359360208301359350604090920135919050565b60006020828403121561363957600080fd5b5035919050565b60008060006040848603121561365557600080fd5b833567ffffffffffffffff8082111561366d57600080fd5b818601915086601f83011261368157600080fd5b81358181111561369057600080fd5b8760208260051b85010111156136a557600080fd5b602092830195509350508401356136bb81613519565b809150509250925092565b60006020808352606080840185518386015282860151604080818801528282518085526080890191508684019450600093505b80841015613750578451805173ffffffffffffffffffffffffffffffffffffffff1683528781015167ffffffffffffffff168884015283015163ffffffff16838301529386019360019390930192908501906136f9565b5098975050505050505050565b600080600080600080600060e0888a03121561377857600080fd5b873596506137886020890161349a565b955060408801359450606088013561379f81613519565b9350608088013560ff811681146137b557600080fd5b9699959850939692959460a0840135945060c09093013592915050565b600080600080606085870312156137e857600080fd5b6137f18561349a565b935060208501359250604085013567ffffffffffffffff8082111561381557600080fd5b818701915087601f83011261382957600080fd5b81358181111561383857600080fd5b88602082850101111561384a57600080fd5b95989497505060200194505050565b60005b8381101561387457818101518382015260200161385c565b50506000910152565b821515815260406020820152600082518060408401526138a4816060850160208701613859565b601f017fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe016919091016060019392505050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052601160045260246000fd5b60008261393c577f4e487b7100000000000000000000000000000000000000000000000000000000600052601260045260246000fd5b500490565b8082028115828204841417611d5857611d586138d7565b81810381811115611d5857611d586138d7565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052603260045260246000fd5b80820180821115611d5857611d586138d7565b60007fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff82036139de576139de6138d7565b5060010190565b60008083357fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe1843603018112613a1a57600080fd5b83018035915067ffffffffffffffff821115613a3557600080fd5b6020019150606081023603821315613a4c57600080fd5b9250929050565b600060208284031215613a6557600080fd5b813567ffffffffffffffff81168114610f9157600080fd5b67ffffffffffffffff81811683821601908082111561266b5761266b6138d7565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052603160045260246000fd5b600081613adc57613adc6138d7565b507fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff0190565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052604160045260246000fd5b8183823760009101908152919050565b60008251613b53818460208701613859565b9190910192915050565b600060208284031215613b6f57600080fd5b8151610f918161351956fea26469706673582212205576932e7b01a615616f43af263e14dc4e80f024a8a25d3bd971534693622e6164736f6c63430008110033

10252:11197:0:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;10705:41;;;;;;;;;160:25:1;;;148:2;133:18;10705:41:0;;;;;;;;19208:209;;;;;;:::i;:::-;;:::i;:::-;;13408:667;;;;;;:::i;:::-;;:::i;18973:156::-;;;;;;:::i;:::-;;:::i;17212:99::-;;;;;;:::i;:::-;;:::i;18219:140::-;;;;;;:::i;:::-;;:::i;20639:225::-;;;;;;:::i;:::-;;:::i;10312:35::-;;;;;;;;2305:42:1;2293:55;;;2275:74;;2263:2;2248:18;10312:35:0;2116:239:1;10637:36:0;;;;;;15034:1037;;;;;;:::i;:::-;;:::i;14604:420::-;;;;;;:::i;:::-;;:::i;20874:369::-;;;;;;:::i;:::-;;:::i;16081:213::-;;;;;;:::i;:::-;;:::i;19826:497::-;;;;;;:::i;:::-;;:::i;:::-;;;;3642:25:1;;;3698:2;3683:18;;3676:34;;;;3726:18;;;3719:34;3630:2;3615:18;19826:497:0;3440:319:1;10461:29:0;;;;;;;;;10608:18;;;;;;;;;;;;4160:14:1;;4153:22;4135:41;;4123:2;4108:18;10608::0;3995:187:1;17321:179:0;;;;;;:::i;:::-;;:::i;10878:43::-;;;;;17577:127;;;;;;:::i;:::-;;:::i;18372:262::-;;;:::i;10388:33::-;;;;;16708:67;;;:::i;21361:85::-;21425:7;:14;21361:85;;10435:20;;;;;;;;;18644:135;;;;;;:::i;:::-;;:::i;20333:296::-;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;10932:33::-;;;;;;:::i;:::-;;:::i;:::-;;;;6235:42:1;6223:55;;;6205:74;;6327:18;6315:31;;;6310:2;6295:18;;6288:59;6395:10;6383:23;6363:18;;;6356:51;6193:2;6178:18;10932:33:0;6007:406:1;18789:170:0;;;;;;:::i;:::-;;:::i;14184:407::-;;;;;;:::i;:::-;;:::i;11045:22::-;;;;;;:::i;:::-;;:::i;:::-;;;;7440:18:1;7485:15;;;7467:34;;7537:15;;;7532:2;7517:18;;7510:43;7589:15;;;7569:18;;;7562:43;;;;7641:15;;;7636:2;7621:18;;7614:43;7688:3;7673:19;;7666:35;;;;7417:3;7402:19;11045:22:0;7179:528:1;11015:24:0;;;;;;19451:319;;;;;;:::i;:::-;;:::i;:::-;;;;;;;;:::i;17714:436::-;;;;;;:::i;:::-;;:::i;10779:22::-;;;;;;10353:29;;;;;21256:95;21325:12;:19;21256:95;;10557:43;;;;;;:::i;:::-;;;;;;;;;;;;;;;;10524:27;;;;;;;;;10971:38;;;;;;:::i;:::-;;;;;;;;;;;;;;;;16304:394;;;;;;:::i;:::-;;:::i;10496:22::-;;;;;;;;;16785:65;;;:::i;10277:29::-;;;;;14085:92;;;;;;:::i;:::-;;:::i;19208:209::-;12821:5;;;;12809:10;:17;12800:39;;;;;;;9699:2:1;12800:39:0;;;9681:21:1;9738:1;9718:18;;;9711:29;9776:11;9756:18;;;9749:39;9805:18;;12800:39:0;;;;;;;;;19294:20:::1;::::0;::::1;19285:57;;;::::0;::::1;::::0;;10036:2:1;19285:57:0::1;::::0;::::1;10018:21:1::0;10075:2;10055:18;;;10048:30;10114:26;10094:18;;;10087:54;10158:18;;19285:57:0::1;9834:348:1::0;19285:57:0::1;19351:59;19387:5;19394:8;19403:6;19351:27;:59::i;:::-;19208:209:::0;;:::o;13408:667::-;13308:6;;;;13307:7;13298:26;;;;;;;10389:2:1;13298:26:0;;;10371:21:1;10428:1;10408:18;;;10401:29;10466:8;10446:18;;;10439:36;10492:18;;13298:26:0;10187:329:1;13298:26:0;13530:16:::1;13505:23;13530:16:::0;13505:6;:23:::1;:::i;:::-;13504:42;;;;:::i;:::-;13495:51;;13612:3;;13605:6;:10;13596:37;;;::::0;::::1;::::0;;11364:2:1;13596:37:0::1;::::0;::::1;11346:21:1::0;11403:2;11383:18;;;11376:30;11442:16;11422:18;;;11415:44;11476:18;;13596:37:0::1;11162:338:1::0;13596:37:0::1;13676:16;13651:23;13658:16;13651:6:::0;:23:::1;:::i;:::-;:41;;13642:69;;;::::0;::::1;::::0;;11707:2:1;13642:69:0::1;::::0;::::1;11689:21:1::0;11746:2;11726:18;;;11719:30;11785:17;11765:18;;;11758:45;11820:18;;13642:69:0::1;11505:339:1::0;13642:69:0::1;13720:79;13760:5;13767:10;13786:4;13792:6;13720:31;:79::i;:::-;13809:21;13853:16;13848:3;;13841:6;:10;;;;:::i;:::-;13840:29;;;;:::i;:::-;13901:12;:19:::0;13809:61;;-1:-1:-1;13884:92:0::1;::::0;::::1;::::0;::::1;::::0;13921:6;13928:31:::1;13943:16;13928:31;::::0;::::1;;:::i;:::-;13884:92;::::0;;12213:25:1;;;12269:2;12254:18;;12247:34;;;;12297:18;;;12290:34;13960:15:0::1;12355:2:1::0;12340:18;;12333:34;12200:3;12185:19;13884:92:0::1;;;;;;;14003:61;::::0;;::::1;::::0;::::1;::::0;;::::1;::::0;;::::1;::::0;;::::1;::::0;;::::1;;::::0;::::1;::::0;;;::::1;14047:15;14003:61:::0;::::1;::::0;;;;;;13985:12:::1;:80:::0;;::::1;::::0;::::1;::::0;;-1:-1:-1;13985:80:0;;;;;;;;;::::1;::::0;;;;;;;;::::1;::::0;::::1;::::0;;;;::::1;::::0;::::1;::::0;;;;;;;::::1;::::0;;;;::::1;;;::::0;;-1:-1:-1;13408:667:0:o;18973:156::-;12821:5;;;;12809:10;:17;12800:39;;;;;;;9699:2:1;12800:39:0;;;9681:21:1;9738:1;9718:18;;;9711:29;9776:11;9756:18;;;9749:39;9805:18;;12800:39:0;9497:332:1;12800:39:0;19052:23:::1;::::0;::::1;;::::0;;;:11:::1;:23;::::0;;;;;;;;:27;;;::::1;::::0;::::1;;::::0;;::::1;::::0;;;19093:29;;4135:41:1;;;19093:29:0::1;::::0;4108:18:1;19093:29:0::1;;;;;;;18973:156:::0;;:::o;17212:99::-;12821:5;;;;12809:10;:17;12800:39;;;;;;;9699:2:1;12800:39:0;;;9681:21:1;9738:1;9718:18;;;9711:29;9776:11;9756:18;;;9749:39;9805:18;;12800:39:0;9497:332:1;12800:39:0;17281:23:::1;17291:5;17297:6;17281:9;:23::i;18219:140::-:0;12821:5;;;;12809:10;:17;12800:39;;;;;;;9699:2:1;12800:39:0;;;9681:21:1;9738:1;9718:18;;;9711:29;9776:11;9756:18;;;9749:39;9805:18;;12800:39:0;9497:332:1;12800:39:0;18289:14:::1;:25:::0;;;::::1;;::::0;::::1;::::0;;::::1;::::0;;;18328:24:::1;::::0;::::1;::::0;-1:-1:-1;;18328:24:0::1;18219:140:::0;:::o;20639:225::-;20706:16;20745:5;20733:87;20754:3;20751:1;:6;20733:87;;20788:12;20801:1;20788:15;;;;;;;;:::i;:::-;;;;;;;;;;:22;20775:35;;20788:22;;;;;20775:35;;:::i;:::-;;-1:-1:-1;20758:3:0;;;:::i;:::-;;;20733:87;;;-1:-1:-1;20828:29:0;20841:16;20828:29;;:::i;:::-;;20639:225;-1:-1:-1;;;20639:225:0:o;15034:1037::-;13308:6;;;;13307:7;13298:26;;;;;;;10389:2:1;13298:26:0;;;10371:21:1;10428:1;10408:18;;;10401:29;10466:8;10446:18;;;10439:36;10492:18;;13298:26:0;10187:329:1;13298:26:0;13022:12:::1;::::0;::::1;;13010:10;:24;13001:54;;;::::0;::::1;::::0;;13099:2:1;13001:54:0::1;::::0;::::1;13081:21:1::0;13138:2;13118:18;;;13111:30;13177:19;13157:18;;;13150:47;13214:18;;13001:54:0::1;12897:341:1::0;13001:54:0::1;15155:12:::2;:14:::0;;15126:18:::2;::::0;15147:7:::2;::::0;15155:14;15126:18;15155:14:::2;::::0;::::2;:::i;:::-;;;;;15147:23;;;;;;;;:::i;:::-;;::::0;;;::::2;::::0;;;;15126:44:::2;::::0;;::::2;::::0;::::2;::::0;;15147:23:::2;::::0;;::::2;::::0;;::::2;15126:44:::0;;::::2;::::0;;::::2;::::0;;;;::::2;::::0;::::2;::::0;;::::2;::::0;;;;;;::::2;::::0;::::2;::::0;;;;;;;;;;::::2;::::0;;::::2;::::0;;;;;;;;;::::2;::::0;;;;;;-1:-1:-1;15188:15:0;15179:42:::2;;;::::0;::::2;::::0;;13445:2:1;15179:42:0::2;::::0;::::2;13427:21:1::0;13484:2;13464:18;;;13457:30;13523:16;13503:18;;;13496:44;13557:18;;15179:42:0::2;13243:338:1::0;15179:42:0::2;15239:11:::0;;:41:::2;;15252:28:::0;::::2;15239:41;15230:65;;;::::0;::::2;::::0;;13788:2:1;15230:65:0::2;::::0;::::2;13770:21:1::0;13827:2;13807:18;;;13800:30;13866:13;13846:18;;;13839:41;13897:18;;15230:65:0::2;13586:335:1::0;15230:65:0::2;15358:5;:9;;;15313:54;;15355:1;15325:9;:22;;;;;;;;:::i;:::-;15313:11:::0;;:41:::2;::::0;-1:-1:-1;15313:41:0::2;;;:::i;:::-;:43;;;;:::i;:::-;:54;15304:77;;;::::0;::::2;::::0;;14770:2:1;15304:77:0::2;::::0;::::2;14752:21:1::0;14809:2;14789:18;;;14782:30;14848:12;14828:18;;;14821:40;14878:18;;15304:77:0::2;14568:334:1::0;15304:77:0::2;15436:23;::::0;15415:19:::2;::::0;::::2;::::0;15399:35:::2;::::0;::::2;;:15;:35;:::i;:::-;:60;;15390:81;;;::::0;::::2;::::0;;15109:2:1;15390:81:0::2;::::0;::::2;15091:21:1::0;15148:1;15128:18;;;15121:29;15186:10;15166:18;;;15159:38;15214:18;;15390:81:0::2;14907:331:1::0;15390:81:0::2;15572:11:::0;;15513:71:::2;::::0;15488:12:::2;::::0;15513:71:::2;::::0;15530:11:::2;::::0;15543::::2;::::0;15556:7:::2;::::0;15565:5:::2;::::0;15513:71:::2;;15508:19:1::0;;;15650:2;15646:15;;;15546:66;15642:24;;;15637:2;15628:12;;15621:46;15692:2;15683:12;;15676:28;;;;15738:15;;15734:24;15729:2;15720:12;;15713:46;15798:3;15794:16;15812:66;15790:89;15784:3;15775:13;;15768:112;15905:3;15896:13;;15243:672;15513:71:0::2;;;;;;;;;;;;;15503:82;;;;;;15488:97;;15599:6;15594:372;15610:22;;::::0;::::2;:9:::0;:22:::2;:::i;:::-;:29;;15608:1;:31;15594:372;;;15662:9;:24;15684:1;15672:5;:11;;;:13;;;;;;:::i;:::-;15662:24:::0;;::::2;::::0;::::2;::::0;;;;;;-1:-1:-1;15662:24:0;;::::2;;15657:183;;15703:124;15739:5;15746:22;;::::0;::::2;:9:::0;:22:::2;:::i;:::-;15769:1;15746:25;;;;;;;:::i;:::-;:30;::::0;::::2;:25;::::0;;::::2;;:30:::0;;::::2;::::0;-1:-1:-1;15746:30:0::2;:::i;:::-;15810:16;15777:22;;::::0;::::2;:9:::0;:22:::2;:::i;:::-;15800:1;15777:25;;;;;;;:::i;:::-;;;;;;:32;;;;;;;;;;:::i;:::-;:49;;;;;;:::i;:::-;15703:27;:124::i;:::-;15885:4:::0;15891:22:::2;;::::0;::::2;:9:::0;:22:::2;:::i;:::-;15914:1;15891:25;;;;;;;:::i;:::-;:30;::::0;::::2;:25;::::0;;::::2;;:30:::0;;::::2;::::0;-1:-1:-1;15891:30:0::2;:::i;:::-;15922:22;;::::0;::::2;:9:::0;:22:::2;:::i;:::-;15945:1;15922:25;;;;;;;:::i;:::-;;;;;;:32;;;;;;;;;;:::i;:::-;15868:87;;;;;;;;;16392:19:1::0;;;16449:2;16445:15;;;;16462:66;16441:88;16436:2;16427:12;;16420:110;16568:3;16564:16;16582:66;16560:89;16555:2;16546:12;;16539:111;16675:2;16666:12;;16209:475;15868:87:0::2;;;;;;;;;;;;;15858:98;;;;;;15851:105;;15640:3;;;;:::i;:::-;;;15594:372;;;;15995:4;15983:5;:10;;;:16;15974:39;;;::::0;::::2;::::0;;16891:2:1;15974:39:0::2;::::0;::::2;16873:21:1::0;16930:2;16910:18;;;16903:30;16969:12;16949:18;;;16942:40;16999:18;;15974:39:0::2;16689:334:1::0;15974:39:0::2;16037:11:::0;;16049:9:::2;::::0;;::::2;::::0;16027:37:::2;::::0;;17238:18:1;17283:15;;;17265:34;;17335:15;;;;17315:18;;;17308:43;;;;17367:18;;17360:34;;;16027:37:0::2;::::0;17216:2:1;17201:18;16027:37:0::2;;;;;;;;15117:954;;15034:1037:::0;:::o;14604:420::-;13308:6;;;;13307:7;13298:26;;;;;;;10389:2:1;13298:26:0;;;10371:21:1;10428:1;10408:18;;;10401:29;10466:8;10446:18;;;10439:36;10492:18;;13298:26:0;10187:329:1;13298:26:0;12917:7:::1;::::0;::::1;;12905:10;:19;12896:43;;;::::0;::::1;::::0;;17607:2:1;12896:43:0::1;::::0;::::1;17589:21:1::0;17646:2;17626:18;;;17619:30;17685:13;17665:18;;;17658:41;17716:18;;12896:43:0::1;17405:335:1::0;12896:43:0::1;14704:7:::2;:14:::0;:17;:29;::::2;;;-1:-1:-1::0;14725:8:0;;14704:29:::2;14703:95;;;-1:-1:-1::0;14739:7:0::2;:14:::0;:16;;;;:58:::2;;-1:-1:-1::0;14766:7:0::2;14774:14:::0;;:16:::2;::::0;14789:1:::2;::::0;14774:16:::2;:::i;:::-;14766:25;;;;;;;;:::i;:::-;;::::0;;;::::2;::::0;;;::::2;::::0;;::::2;;:29:::0;:31:::2;::::0;:29;;::::2;;;14796:1;14766:31;:::i;:::-;14759:38;;:5;:38;14739:58;14694:119;;;::::0;::::2;::::0;;13788:2:1;14694:119:0::2;::::0;::::2;13770:21:1::0;13827:2;13807:18;;;13800:30;13866:13;13846:18;;;13839:41;13897:18;;14694:119:0::2;13586:335:1::0;14694:119:0::2;14836:5;14831:3;:10;;:34;;;;-1:-1:-1::0;14849:16:0::2;14845:20:::0;::::2;14831:34;14822:56;;;::::0;::::2;::::0;;18132:2:1;14822:56:0::2;::::0;::::2;18114:21:1::0;18171:1;18151:18;;;18144:29;18209:11;18189:18;;;18182:39;18238:18;;14822:56:0::2;17930:332:1::0;14822:56:0::2;14900:63;::::0;;::::2;::::0;::::2;::::0;;::::2;::::0;;::::2;::::0;;;;::::2;;::::0;::::2;::::0;;;14939:15:::2;14900:63:::0;::::2;::::0;;;;;;-1:-1:-1;14900:63:0;;;;;;;;;;;;14887:7:::2;:77:::0;;::::2;::::0;;::::2;::::0;;;;;;;;::::2;::::0;;::::2;::::0;;::::2;::::0;;;;;;;;;::::2;::::0;::::2;::::0;;;::::2;::::0;::::2;::::0;;;;;;;::::2;::::0;::::2;::::0;;;;;;;::::2;::::0;;;;;;;::::2;::::0;;;;;;;;::::2;::::0;;;;;;;;;;14985:14;;14978:39:::2;::::0;14985:16:::2;::::0;::::2;:::i;:::-;14978:39;::::0;;12213:25:1;;;12269:2;12254:18;;12247:34;;;12297:18;;12290:34;;;12355:2;12340:18;;12333:34;;;12200:3;12185:19;14978:39:0::2;11982:391:1::0;20874:369:0;20991:73;;;21008:7;20991:73;;;;15508:19:1;;;;15546:66;21017:5:0;15650:2:1;15646:15;;;15642:24;;15628:12;;;15621:46;21024:11:0;15683:12:1;;;15676:28;21037:11:0;15738:15:1;;15734:24;15720:12;;;15713:46;15812:66;15798:3;15794:16;;;15790:89;15775:13;;;15768:112;20991:73:0;;;;;;;;;15896:13:1;;;;20991:73:0;;;20981:84;;;;;-1:-1:-1;;15794:16:1;21074:141:0;21095:3;21092:1;:6;21074:141;;21152:6;21160:12;21173:1;21160:15;;;;;;;;:::i;:::-;;;;;;;;;;:20;21181:12;:15;;21160:20;;;;;21194:1;;21181:15;;;;;;:::i;:::-;;;;;;;;:22;;;;;;;;;;;;21135:69;;;;;;;;;16392:19:1;;;16449:2;16445:15;;;;16462:66;16441:88;16436:2;16427:12;;16420:110;16568:3;16564:16;16582:66;16560:89;16555:2;16546:12;;16539:111;16675:2;16666:12;;16209:475;21135:69:0;;;;;;;;;;;;;21125:80;;;;;;21116:89;;21099:3;;;;:::i;:::-;;;21074:141;;;-1:-1:-1;21230:6:0;-1:-1:-1;20874:369:0;;;;;:::o;16081:213::-;12821:5;;;;12809:10;:17;12800:39;;;;;;;9699:2:1;12800:39:0;;;9681:21:1;9738:1;9718:18;;;9711:29;9776:11;9756:18;;;9749:39;9805:18;;12800:39:0;9497:332:1;12800:39:0;16167:7:::1;16153:12;;:21;;16144:56;;;::::0;::::1;::::0;;18865:2:1;16144:56:0::1;::::0;::::1;18847:21:1::0;18904:2;18884:18;;;18877:30;18943:24;18923:18;;;18916:52;18985:18;;16144:56:0::1;18663:346:1::0;16144:56:0::1;16216:7;:14:::0;:22;-1:-1:-1;16209:44:0::1;;;16240:7;:13;;;;;;;:::i;:::-;;::::0;;;::::1;::::0;;::::1;::::0;;;;;;::::1;;::::0;;;::::1;;::::0;;;16209:44:::1;;;16267:20;::::0;160:25:1;;;16267:20:0::1;::::0;148:2:1;133:18;16267:20:0::1;;;;;;;;16081:213:::0;:::o;19826:497::-;19892:10;19904:8;19914:12;19937:15;19971:19;;19955:15;:35;;;;:::i;:::-;20010:12;:19;19937:53;;-1:-1:-1;20003:26:0;;:71;;;;;20064:10;20033:12;20046:6;20033:20;;;;;;;;:::i;:::-;;;;;;;;;;:30;;;;;;:41;20003:71;19999:318;;;20094:6;;-1:-1:-1;20126:1:0;20116:9;20122:3;20094:6;20116:9;:::i;:::-;:11;;;;:::i;:::-;20148:12;:19;20112:15;;-1:-1:-1;20143:24:0;;20139:55;;20173:12;:19;:21;;20193:1;;20173:21;:::i;:::-;20169:25;;20139:55;20241:10;20212:12;20225:3;20212:17;;;;;;;;:::i;:::-;;;;;;;;;;:27;;;;;;:39;20206:52;;20253:5;;;;:::i;:::-;;;;20206:52;;;20277:30;20297:5;20303:3;20277:19;:30::i;:::-;20270:37;;19999:318;19928:395;19826:497;;;;;:::o;17321:179::-;12821:5;;;;12809:10;:17;12800:39;;;;;;;9699:2:1;12800:39:0;;;9681:21:1;9738:1;9718:18;;;9711:29;9776:11;9756:18;;;9749:39;9805:18;;12800:39:0;9497:332:1;12800:39:0;17413:6:::1;17408:86;17422:16:::0;;::::1;17408:86;;;17456:28;17466:7;;17474:1;17466:10;;;;;;;:::i;:::-;;;;;;;17477:6;17456:9;:28::i;:::-;17439:3;::::0;::::1;:::i;:::-;;;17408:86;;;;17321:179:::0;;;:::o;17577:127::-;12821:5;;;;12809:10;:17;12800:39;;;;;;;9699:2:1;12800:39:0;;;9681:21:1;9738:1;9718:18;;;9711:29;9776:11;9756:18;;;9749:39;9805:18;;12800:39:0;9497:332:1;12800:39:0;17642:7:::1;17638:3;;:11;17630:20;;;::::0;::::1;;17671:3;::::0;17664:16:::1;::::0;;19578:25:1;;;19634:2;19619:18;;19612:34;;;17664:16:0::1;::::0;19551:18:1;17664:16:0::1;;;;;;;17689:3;:8:::0;17577:127::o;18372:262::-;18439:14;;;;18425:10;:28;18417:94;;;;;;;19859:2:1;18417:94:0;;;19841:21:1;19898:2;19878:18;;;19871:30;19937:34;19917:18;;;19910:62;20008:23;19988:18;;;19981:51;20049:19;;18417:94:0;19657:417:1;18417:94:0;18545:14;;;18538:5;;18525:35;;18545:14;;;;;18538:5;;;;18525:35;;;18577:14;;;;18569:22;;;;;;18577:14;;;18569:22;;;;18600:27;;;18372:262::o;16708:67::-;13140:10;13128:23;;;;:11;:23;;;;;;;;;:44;;-1:-1:-1;13167:5:0;;;;13155:10;:17;13128:44;:67;;;-1:-1:-1;13188:7:0;;;;13176:10;:19;13128:67;:95;;;-1:-1:-1;13211:12:0;;;;13199:10;:24;13128:95;13119:122;;;;;;;20281:2:1;13119:122:0;;;20263:21:1;20320:2;20300:18;;;20293:30;20359:16;20339:18;;;20332:44;20393:18;;13119:122:0;20079:338:1;13119:122:0;16756:12:::1;16763:4;16756:6;:12::i;:::-;16708:67::o:0;18644:135::-;12821:5;;;;12809:10;:17;12800:39;;;;;;;9699:2:1;12800:39:0;;;9681:21:1;9738:1;9718:18;;;9711:29;9776:11;9756:18;;;9749:39;9805:18;;12800:39:0;9497:332:1;12800:39:0;18726:7:::1;::::0;18715:30:::1;::::0;::::1;::::0;;::::1;::::0;18726:7:::1;::::0;18715:30:::1;::::0;18726:7:::1;::::0;18715:30:::1;18754:7;:18:::0;;;::::1;;::::0;;;::::1;::::0;;;::::1;::::0;;18644:135::o;20333:296::-;-1:-1:-1;;;;;;;;;;;;;;20430:31:0;;;20508:9;20430:31;20508:3;:9;:::i;:::-;:11;;20518:1;20508:11;:::i;:::-;20490:30;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;;;;;;;;;;;;;;;;;;;;;;20490:30:0;;;;;;;;;;;;;;-1:-1:-1;20470:17:0;;;:50;20541:5;20529:94;20550:3;20547:1;:6;20529:94;;20598:12;20611:1;20598:15;;;;;;;;:::i;:::-;;;;;;;;;;20571:42;;;;;;;;20598:15;;;;20571:42;;;;;;;;;;;;;;;;;;;;;;;;:17;;;;20589:7;20591:5;20589:1;:7;:::i;:::-;20571:26;;;;;;;;:::i;:::-;;;;;;:42;;;;20554:3;;;;:::i;:::-;;;20529:94;;;;20333:296;;;;:::o;10932:33::-;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;10932:33:0;;;;;;;;;;;;:::o;18789:170::-;12821:5;;;;12809:10;:17;12800:39;;;;;;;9699:2:1;12800:39:0;;;9681:21:1;9738:1;9718:18;;;9711:29;9776:11;9756:18;;;9749:39;9805:18;;12800:39:0;9497:332:1;12800:39:0;18886:12:::1;::::0;18870:45:::1;::::0;::::1;::::0;;::::1;::::0;18886:12:::1;::::0;18870:45:::1;::::0;18886:12:::1;::::0;18870:45:::1;18924:12;:28:::0;;;::::1;;::::0;;;::::1;::::0;;;::::1;::::0;;18789:170::o;14184:407::-;14386:11;14400:10;:40;;14433:7;14400:40;;;14413:17;14400:40;14449:89;;;;;14485:10;14449:89;;;20983:34:1;14505:4:0;21033:18:1;;;21026:43;21085:18;;;21078:34;;;21128:18;;;21121:34;;;21204:4;21192:17;;21171:19;;;21164:46;21226:19;;;21219:35;;;21270:19;;;21263:35;;;14386:54:0;;-1:-1:-1;14470:5:0;14449:35;;;;;20894:19:1;;14449:89:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;14547:37;14567:6;14574:9;14547:19;:37::i;:::-;14377:214;14184:407;;;;;;;:::o;11045:22::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;11045:22:0;;;;;;;;;;;;;;;;;;;;;:::o;19451:319::-;19545:4;12821:5;;19551:12;;12821:5;;12809:10;:17;12800:39;;;;;;;9699:2:1;12800:39:0;;;9681:21:1;9738:1;9718:18;;;9711:29;9776:11;9756:18;;;9749:39;9805:18;;12800:39:0;9497:332:1;12800:39:0;19582:15;;;:36:::1;;;19617:1;19601:3;:15;;;:17;19582:36;19574:80;;;::::0;::::1;::::0;;21511:2:1;19574:80:0::1;::::0;::::1;21493:21:1::0;;;21530:18;;;21523:30;21589:34;21569:18;;;21562:62;21641:18;;19574:80:0::1;21309:356:1::0;19574:80:0::1;19664:12;19678:19:::0;19701:3:::1;:8;;19716:6;19724:5;;19701:29;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1::0;19663:67:0;;;;-1:-1:-1;19451:319:0;-1:-1:-1;;;;;;;19451:319:0:o;17714:436::-;12821:5;;;;12809:10;:17;12800:39;;;;;;;9699:2:1;12800:39:0;;;9681:21:1;9738:1;9718:18;;;9711:29;9776:11;9756:18;;;9749:39;9805:18;;12800:39:0;9497:332:1;12800:39:0;17855:4:::1;17833:20;:26;;:60;;;;;17889:4;17863:24;:30;;17833:60;17825:88;;;::::0;::::1;::::0;;22148:2:1;17825:88:0::1;::::0;::::1;22130:21:1::0;22187:2;22167:18;;;22160:30;22226:18;22206;;;22199:46;22262:18;;17825:88:0::1;21946:340:1::0;17825:88:0::1;17945:19;::::0;17966:23:::1;::::0;17927:110:::1;::::0;;12213:25:1;;;12269:2;12254:18;;12247:34;;;;12297:18;;12290:34;;;12355:2;12340:18;;12333:34;;;17927:110:0::1;::::0;12200:3:1;12185:19;17927:110:0::1;;;;;;;18046:19;:40:::0;;;;18095:23:::1;:48:::0;17714:436::o;16304:394::-;13140:10;13128:23;;;;:11;:23;;;;;;;;;:44;;-1:-1:-1;13167:5:0;;;;13155:10;:17;13128:44;:67;;;-1:-1:-1;13188:7:0;;;;13176:10;:19;13128:67;:95;;;-1:-1:-1;13211:12:0;;;;13199:10;:24;13128:95;13119:122;;;;;;;20281:2:1;13119:122:0;;;20263:21:1;20320:2;20300:18;;;20293:30;20359:16;20339:18;;;20332:44;20393:18;;13119:122:0;20079:338:1;13119:122:0;16417:4:::1;16394:7;16402;16394:16;;;;;;;;:::i;:::-;;;;;;;;;;;:21;;;:27;16385:50;;;::::0;::::1;::::0;;16891:2:1;16385:50:0::1;::::0;::::1;16873:21:1::0;16930:2;16910:18;;;16903:30;16969:12;16949:18;;;16942:40;16999:18;;16385:50:0::1;16689:334:1::0;16385:50:0::1;16467:7;16453:12;;:21;;16444:56;;;::::0;::::1;::::0;;18865:2:1;16444:56:0::1;::::0;::::1;18847:21:1::0;18904:2;18884:18;;;18877:30;18943:24;18923:18;;;18916:52;18985:18;;16444:56:0::1;18663:346:1::0;16444:56:0::1;16518:7;16526;16518:16;;;;;;;;:::i;:::-;;::::0;;;::::1;::::0;;;::::1;::::0;;::::1;;:23:::0;;;::::1;;;:26:::0;16509:61:::1;;;::::0;::::1;::::0;;22493:2:1;16509:61:0::1;::::0;::::1;22475:21:1::0;22532:2;22512:18;;;22505:30;22571:24;22551:18;;;22544:52;22613:18;;16509:61:0::1;22291:346:1::0;16509:61:0::1;16603:1;16579:7;16587;16579:16;;;;;;;;:::i;:::-;;;;;;;;;;;:23;;;:25;;;;;;;;;;;;;;;;;;16639:12;16646:4;16639:6;:12::i;:::-;16665:26;::::0;;19578:25:1;;;19634:2;19619:18;;19612:34;;;16665:26:0::1;::::0;19551:18:1;16665:26:0::1;;;;;;;;16304:394:::0;;:::o;16785:65::-;12821:5;;;;12809:10;:17;12800:39;;;;;;;9699:2:1;12800:39:0;;;9681:21:1;9738:1;9718:18;;;9711:29;9776:11;9756:18;;;9749:39;9805:18;;12800:39:0;9497:332:1;12800:39:0;16830:13:::1;16837:5;16830:6;:13::i;14085:92::-:0;14130:39;14150:6;14158:10;14130:19;:39::i;:::-;14085:92;:::o;6531:316::-;6696:59;;;6685:10;23087:55:1;;;6696:59:0;;;23069:74:1;23159:18;;;;23152:34;;;6696:59:0;;;;;;;;;;23042:18:1;;;;6696:59:0;;;;;;;;;6719:24;6696:59;;;6685:71;;-1:-1:-1;;;;6685:10:0;;;;:71;;6696:59;6685:71;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;6649:107;;;;6775:7;:57;;;;-1:-1:-1;6787:11:0;;:16;;:44;;;6818:4;6807:24;;;;;;;;;;;;:::i;:::-;6767:72;;;;;;;23941:2:1;6767:72:0;;;23923:21:1;23980:1;23960:18;;;23953:29;24018:4;23998:18;;;23991:32;24040:18;;6767:72:0;23739:325:1;6767:72:0;6638:209;;6531:316;;;:::o;5865:367::-;6070:69;;;6059:10;24350:15:1;;;6070:69:0;;;24332:34:1;24402:15;;;24382:18;;;24375:43;24434:18;;;;24427:34;;;6070:69:0;;;;;;;;;;24244:18:1;;;;6070:69:0;;;;;;;;;6093:28;6070:69;;;6059:81;;-1:-1:-1;;;;6059:10:0;;;;:81;;6070:69;6059:81;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;6010:130;;;;6159:7;:57;;;;-1:-1:-1;6171:11:0;;:16;;:44;;;6202:4;6191:24;;;;;;;;;;;;:::i;:::-;6151:73;;;;;;;24674:2:1;6151:73:0;;;24656:21:1;24713:1;24693:18;;;24686:29;24751:5;24731:18;;;24724:33;24774:18;;6151:73:0;24472:326:1;6151:73:0;5999:233;;5865:367;;;;:::o;16971:231::-;17042:12;;:15;;:52;;;17067:7;17088:1;17075:12;;:14;;;;:::i;:::-;17067:23;;;;;;;;:::i;:::-;;;;;;;;;;;;;;:27;;;;;;17061:33;;17042:52;17033:93;;;;;;;25005:2:1;17033:93:0;;;24987:21:1;25044:2;25024:18;;;25017:30;25083;25063:18;;;25056:58;25131:18;;17033:93:0;24803:352:1;17033:93:0;17135:16;;;;:9;:16;;;;;;;;;:23;;;;;;;;;;;;;17172;;25328:25:1;;;25369:18;;;25362:50;17172:23:0;;25301:18:1;17172:23:0;25160:258:1;16863:97:0;16911:6;:14;;;;;;;;;;;;;16939;;4135:41:1;;;16939:14:0;;4123:2:1;4108:18;16939:14:0;3995:187:1;196:196;264:20;;324:42;313:54;;303:65;;293:93;;382:1;379;372:12;293:93;196:196;;;:::o;397:254::-;465:6;473;526:2;514:9;505:7;501:23;497:32;494:52;;;542:1;539;532:12;494:52;565:29;584:9;565:29;:::i;:::-;555:39;641:2;626:18;;;;613:32;;-1:-1:-1;;;397:254:1:o;656:::-;724:6;732;785:2;773:9;764:7;760:23;756:32;753:52;;;801:1;798;791:12;753:52;837:9;824:23;814:33;;866:38;900:2;889:9;885:18;866:38;:::i;:::-;856:48;;656:254;;;;;:::o;915:118::-;1001:5;994:13;987:21;980:5;977:32;967:60;;1023:1;1020;1013:12;1038:315;1103:6;1111;1164:2;1152:9;1143:7;1139:23;1135:32;1132:52;;;1180:1;1177;1170:12;1132:52;1203:29;1222:9;1203:29;:::i;:::-;1193:39;;1282:2;1271:9;1267:18;1254:32;1295:28;1317:5;1295:28;:::i;:::-;1342:5;1332:15;;;1038:315;;;;;:::o;1358:309::-;1423:6;1431;1484:2;1472:9;1463:7;1459:23;1455:32;1452:52;;;1500:1;1497;1490:12;1452:52;1536:9;1523:23;1513:33;;1596:2;1585:9;1581:18;1568:32;1609:28;1631:5;1609:28;:::i;1672:186::-;1731:6;1784:2;1772:9;1763:7;1759:23;1755:32;1752:52;;;1800:1;1797;1790:12;1752:52;1823:29;1842:9;1823:29;:::i;1863:248::-;1931:6;1939;1992:2;1980:9;1971:7;1967:23;1963:32;1960:52;;;2008:1;2005;1998:12;1960:52;-1:-1:-1;;2031:23:1;;;2101:2;2086:18;;;2073:32;;-1:-1:-1;1863:248:1:o;2360:387::-;2447:6;2500:2;2488:9;2479:7;2475:23;2471:32;2468:52;;;2516:1;2513;2506:12;2468:52;2556:9;2543:23;2589:18;2581:6;2578:30;2575:50;;;2621:1;2618;2611:12;2575:50;2644:22;;2700:2;2682:16;;;2678:25;2675:45;;;2716:1;2713;2706:12;2752:316;2829:6;2837;2845;2898:2;2886:9;2877:7;2873:23;2869:32;2866:52;;;2914:1;2911;2904:12;2866:52;-1:-1:-1;;2937:23:1;;;3007:2;2992:18;;2979:32;;-1:-1:-1;3058:2:1;3043:18;;;3030:32;;2752:316;-1:-1:-1;2752:316:1:o;3255:180::-;3314:6;3367:2;3355:9;3346:7;3342:23;3338:32;3335:52;;;3383:1;3380;3373:12;3335:52;-1:-1:-1;3406:23:1;;3255:180;-1:-1:-1;3255:180:1:o;4187:750::-;4279:6;4287;4295;4348:2;4336:9;4327:7;4323:23;4319:32;4316:52;;;4364:1;4361;4354:12;4316:52;4404:9;4391:23;4433:18;4474:2;4466:6;4463:14;4460:34;;;4490:1;4487;4480:12;4460:34;4528:6;4517:9;4513:22;4503:32;;4573:7;4566:4;4562:2;4558:13;4554:27;4544:55;;4595:1;4592;4585:12;4544:55;4635:2;4622:16;4661:2;4653:6;4650:14;4647:34;;;4677:1;4674;4667:12;4647:34;4732:7;4725:4;4715:6;4712:1;4708:14;4704:2;4700:23;4696:34;4693:47;4690:67;;;4753:1;4750;4743:12;4690:67;4784:4;4776:13;;;;-1:-1:-1;4808:6:1;-1:-1:-1;;4849:20:1;;4836:34;4879:28;4836:34;4879:28;:::i;:::-;4926:5;4916:15;;;4187:750;;;;;:::o;4942:1060::-;5086:4;5115:2;5144;5133:9;5126:21;5166:2;5206;5195:9;5191:18;5251:6;5245:13;5240:2;5229:9;5225:18;5218:41;5306:2;5298:6;5294:15;5288:22;5329:4;5369:2;5364;5353:9;5349:18;5342:30;5392:6;5427:12;5421:19;5464:6;5456;5449:22;5502:3;5491:9;5487:19;5480:26;;5547:2;5533:12;5529:21;5515:35;;5568:1;5559:10;;5578:398;5592:6;5589:1;5586:13;5578:398;;;5651:13;;5693:9;;5704:42;5689:58;5677:71;;5792:11;;;5786:18;5806;5782:43;5768:12;;;5761:65;5870:11;;5864:18;5884:10;5860:35;5846:12;;;5839:57;5951:15;;;;5614:1;5607:9;;;;;5916:12;;;;5578:398;;;-1:-1:-1;5993:3:1;4942:1060;-1:-1:-1;;;;;;;;4942:1060:1:o;6418:756::-;6526:6;6534;6542;6550;6558;6566;6574;6627:3;6615:9;6606:7;6602:23;6598:33;6595:53;;;6644:1;6641;6634:12;6595:53;6680:9;6667:23;6657:33;;6709:38;6743:2;6732:9;6728:18;6709:38;:::i;:::-;6699:48;;6794:2;6783:9;6779:18;6766:32;6756:42;;6848:2;6837:9;6833:18;6820:32;6861:28;6883:5;6861:28;:::i;:::-;6908:5;-1:-1:-1;6965:3:1;6950:19;;6937:33;7014:4;7001:18;;6989:31;;6979:59;;7034:1;7031;7024:12;6979:59;6418:756;;;;-1:-1:-1;6418:756:1;;;;7057:7;7111:3;7096:19;;7083:33;;-1:-1:-1;7163:3:1;7148:19;;;7135:33;;6418:756;-1:-1:-1;;6418:756:1:o;7712:733::-;7800:6;7808;7816;7824;7877:2;7865:9;7856:7;7852:23;7848:32;7845:52;;;7893:1;7890;7883:12;7845:52;7916:29;7935:9;7916:29;:::i;:::-;7906:39;;7992:2;7981:9;7977:18;7964:32;7954:42;;8047:2;8036:9;8032:18;8019:32;8070:18;8111:2;8103:6;8100:14;8097:34;;;8127:1;8124;8117:12;8097:34;8165:6;8154:9;8150:22;8140:32;;8210:7;8203:4;8199:2;8195:13;8191:27;8181:55;;8232:1;8229;8222:12;8181:55;8272:2;8259:16;8298:2;8290:6;8287:14;8284:34;;;8314:1;8311;8304:12;8284:34;8359:7;8354:2;8345:6;8341:2;8337:15;8333:24;8330:37;8327:57;;;8380:1;8377;8370:12;8327:57;7712:733;;;;-1:-1:-1;;8411:2:1;8403:11;;-1:-1:-1;;;7712:733:1:o;8450:250::-;8535:1;8545:113;8559:6;8556:1;8553:13;8545:113;;;8635:11;;;8629:18;8616:11;;;8609:39;8581:2;8574:10;8545:113;;;-1:-1:-1;;8692:1:1;8674:16;;8667:27;8450:250::o;8705:534::-;8888:6;8881:14;8874:22;8863:9;8856:41;8933:2;8928;8917:9;8913:18;8906:30;8837:4;8965:6;8959:13;9008:6;9003:2;8992:9;8988:18;8981:34;9024:79;9096:6;9091:2;9080:9;9076:18;9071:2;9063:6;9059:15;9024:79;:::i;:::-;9155:2;9143:15;9160:66;9139:88;9124:104;;;;9230:2;9120:113;;8705:534;-1:-1:-1;;;8705:534:1:o;10521:184::-;10573:77;10570:1;10563:88;10670:4;10667:1;10660:15;10694:4;10691:1;10684:15;10710:274;10750:1;10776;10766:189;;10811:77;10808:1;10801:88;10912:4;10909:1;10902:15;10940:4;10937:1;10930:15;10766:189;-1:-1:-1;10969:9:1;;10710:274::o;10989:168::-;11062:9;;;11093;;11110:15;;;11104:22;;11090:37;11080:71;;11131:18;;:::i;11849:128::-;11916:9;;;11937:11;;;11934:37;;;11951:18;;:::i;12378:184::-;12430:77;12427:1;12420:88;12527:4;12524:1;12517:15;12551:4;12548:1;12541:15;12567:125;12632:9;;;12653:10;;;12650:36;;;12666:18;;:::i;12697:195::-;12736:3;12767:66;12760:5;12757:77;12754:103;;12837:18;;:::i;:::-;-1:-1:-1;12884:1:1;12873:13;;12697:195::o;13926:637::-;14049:4;14055:6;14115:11;14102:25;14205:66;14194:8;14178:14;14174:29;14170:102;14150:18;14146:127;14136:155;;14287:1;14284;14277:12;14136:155;14314:33;;14366:20;;;-1:-1:-1;14409:18:1;14398:30;;14395:50;;;14441:1;14438;14431:12;14395:50;14474:4;14462:17;;-1:-1:-1;14533:4:1;14521:17;;14505:14;14501:38;14491:49;;14488:69;;;14553:1;14550;14543:12;14488:69;13926:637;;;;;:::o;15920:284::-;15978:6;16031:2;16019:9;16010:7;16006:23;16002:32;15999:52;;;16047:1;16044;16037:12;15999:52;16086:9;16073:23;16136:18;16129:5;16125:30;16118:5;16115:41;16105:69;;16170:1;16167;16160:12;17745:180;17812:18;17850:10;;;17862;;;17846:27;;17885:11;;;17882:37;;;17899:18;;:::i;19014:184::-;19066:77;19063:1;19056:88;19163:4;19160:1;19153:15;19187:4;19184:1;19177:15;19203:196;19242:3;19270:5;19260:39;;19279:18;;:::i;:::-;-1:-1:-1;19326:66:1;19315:78;;19203:196::o;20422:184::-;20474:77;20471:1;20464:88;20571:4;20568:1;20561:15;20595:4;20592:1;20585:15;21670:271;21853:6;21845;21840:3;21827:33;21809:3;21879:16;;21904:13;;;21879:16;21670:271;-1:-1:-1;21670:271:1:o;23197:287::-;23326:3;23364:6;23358:13;23380:66;23439:6;23434:3;23427:4;23419:6;23415:17;23380:66;:::i;:::-;23462:16;;;;;23197:287;-1:-1:-1;;23197:287:1:o;23489:245::-;23556:6;23609:2;23597:9;23588:7;23584:23;23580:32;23577:52;;;23625:1;23622;23615:12;23577:52;23657:9;23651:16;23676:28;23698:5;23676:28;:::i

ipfs://5576932e7b01a615616f43af263e14dc4e80f024a8a25d3bd971534693622e61