Contract

Contract Source Code (Solidity)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta
• Remix IDE

Outline

• library SafeMath
•    - function mul(uint256 a, uint256 b)
•    - function div(uint256 a, uint256 b)
•    - function sub(uint256 a, uint256 b)
•    - function add(uint256 a, uint256 b)
•    - function mod(uint256 a, uint256 b)
•  contract ERC20
•    - function transfer(address _to, uint25 ...
•    - function transferFrom(address _from, ...
•  contract EthTokenToSmthSwaps *
•    - function createSwap(bytes20 _secretHa ...
•    - function createSwapTarget(bytes20 _se ...
•    - function getBalance(address _ownerAdd ...
•    - function getTargetWallet(address toke ...
•    - function withdraw(bytes32 _secret, ad ...
•    - function withdrawNoMoney(bytes32 _sec ...
•    - function withdrawOther(bytes32 _secre ...
•    - function getSecret(address _participa ...
•    - function refund(address _participantA ...
•    - function closeSwapByAdminAfterOneYear ...
•    - function clean(address _ownerAddress, ...

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

/**
 *Submitted for verification at Etherscan.io on 2019-08-14
*/

/**
 *Submitted for verification at Etherscan.io on 2019-01-17
*/

pragma solidity ^0.5.0;

/**
 * @title SafeMath
 * @dev Unsigned math operations with safety checks that revert on error
 */
library SafeMath {
    /**
    * @dev Multiplies two unsigned integers, reverts on overflow.
    */
    function mul(uint256 a, uint256 b) internal pure returns (uint256) {
        // Gas optimization: this is cheaper than requiring 'a' not being zero, but the
        // benefit is lost if 'b' is also tested.
        // See: https://github.com/OpenZeppelin/openzeppelin-solidity/pull/522
        if (a == 0) {
            return 0;
        }

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

        return c;
    }

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

        return c;
    }

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

        return c;
    }

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

        return c;
    }

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


contract ERC20 {
    function transfer(address _to, uint256 _value) public;
    function transferFrom(address _from, address _to, uint256 _value) public;
}


contract EthTokenToSmthSwaps {

  using SafeMath for uint;

  address public owner;
  uint256 SafeTime = 1 hours; // atomic swap timeOut
  
  address public admin = 0x180c3B784f3425B40fAE0eD8CeFF6bBc577A3c13;
  uint256 closeByAdminTimeout = 355 days; 

  struct Swap {
    address token;
    address payable targetWallet;
    bytes32 secret;
    bytes20 secretHash;
    uint256 createdAt;
    uint256 balance;
  }

  // ETH Owner => BTC Owner => Swap
  mapping(address => mapping(address => Swap)) public swaps;

  // ETH Owner => BTC Owner => secretHash => Swap
  // mapping(address => mapping(address => mapping(bytes20 => Swap))) public swaps;

  constructor () public {
    owner = msg.sender;
  }

  event CreateSwap(address token, address _buyer, address _seller, uint256 _value, bytes20 _secretHash, uint256 createdAt);

  // ETH Owner creates Swap with secretHash
  // ETH Owner make token deposit
  function createSwap(bytes20 _secretHash, address payable _participantAddress, uint256 _value, address _token) public {
    require(_value > 0);
    require(swaps[msg.sender][_participantAddress].balance == uint256(0));
    ERC20(_token).transferFrom(msg.sender, address(this), _value);

    swaps[msg.sender][_participantAddress] = Swap(
      _token,
      _participantAddress,
      bytes32(0),
      _secretHash,
      now,
      _value
    );

    emit CreateSwap(_token, _participantAddress, msg.sender, _value, _secretHash, now);
  }
  // ETH Owner creates Swap with secretHash and targetWallet
  // ETH Owner make token deposit
  function createSwapTarget(bytes20 _secretHash, address payable _participantAddress, address payable _targetWallet, uint256 _value, address _token) public {
    require(_value > 0);
    require(swaps[msg.sender][_participantAddress].balance == uint256(0));
    ERC20(_token).transferFrom(msg.sender, address(this), _value);

    swaps[msg.sender][_participantAddress] = Swap(
      _token,
      _targetWallet,
      bytes32(0),
      _secretHash,
      now,
      _value
    );

    emit CreateSwap(_token, _participantAddress, msg.sender, _value, _secretHash, now);
  }
  function getBalance(address _ownerAddress) public view returns (uint256) {
    return swaps[_ownerAddress][msg.sender].balance;
  }

  event Withdraw(address _buyer, address _seller, bytes20 _secretHash, uint256 withdrawnAt);
  // Get target wallet (buyer check)
  function getTargetWallet(address tokenOwnerAddress) public view returns (address) {
      return swaps[tokenOwnerAddress][msg.sender].targetWallet;
  }
  // BTC Owner withdraw money and adds secret key to swap
  // BTC Owner receive +1 reputation
  function withdraw(bytes32 _secret, address _ownerAddress) public {
    Swap memory swap = swaps[_ownerAddress][msg.sender];

    require(swap.secretHash == ripemd160(abi.encodePacked(_secret)));
    require(swap.balance > uint256(0));
    require(swap.createdAt.add(SafeTime) > now);

    ERC20(swap.token).transfer(swap.targetWallet, swap.balance);

    swaps[_ownerAddress][msg.sender].balance = 0;
    swaps[_ownerAddress][msg.sender].secret = _secret;

    emit Withdraw(msg.sender, _ownerAddress, swap.secretHash, now);
  }
  // Token Owner withdraw money when participan no money for gas and adds secret key to swap
  // BTC Owner receive +1 reputation... may be
  function withdrawNoMoney(bytes32 _secret, address participantAddress) public {
    Swap memory swap = swaps[msg.sender][participantAddress];

    require(swap.secretHash == ripemd160(abi.encodePacked(_secret)));
    require(swap.balance > uint256(0));
    require(swap.createdAt.add(SafeTime) > now);

    ERC20(swap.token).transfer(swap.targetWallet, swap.balance);

    swaps[msg.sender][participantAddress].balance = 0;
    swaps[msg.sender][participantAddress].secret = _secret;

    emit Withdraw(participantAddress, msg.sender, swap.secretHash, now);
  }

  // BTC Owner withdraw money and adds secret key to swap
  // BTC Owner receive +1 reputation
  function withdrawOther(bytes32 _secret, address _ownerAddress, address participantAddress) public {
    Swap memory swap = swaps[_ownerAddress][participantAddress];

    require(swap.secretHash == ripemd160(abi.encodePacked(_secret)));
    require(swap.balance > uint256(0));
    require(swap.createdAt.add(SafeTime) > now);

    ERC20(swap.token).transfer(swap.targetWallet, swap.balance);

    swaps[_ownerAddress][participantAddress].balance = 0;
    swaps[_ownerAddress][participantAddress].secret = _secret;

    emit Withdraw(participantAddress, _ownerAddress, swap.secretHash, now);
  }

  // ETH Owner receive secret
  function getSecret(address _participantAddress) public view returns (bytes32) {
    return swaps[msg.sender][_participantAddress].secret;
  }

  event Refund(address _buyer, address _seller, bytes20 _secretHash);

  // ETH Owner refund money
  // BTC Owner gets -1 reputation
  function refund(address _participantAddress) public {
    Swap memory swap = swaps[msg.sender][_participantAddress];

    require(swap.balance > uint256(0));
    require(swap.createdAt.add(SafeTime) < now);

    ERC20(swap.token).transfer(msg.sender, swap.balance);
    clean(msg.sender, _participantAddress);

    emit Refund(_participantAddress, msg.sender, swap.secretHash);
  }

  function closeSwapByAdminAfterOneYear(address _ownerAddress, address _participantAddress) public {
    //sometimes clients do not complete swaps and at the same time lose their private key, we can help
    Swap memory swap = swaps[_ownerAddress][_participantAddress];

    require(swap.balance > uint256(0));
    require(swap.createdAt.add(closeByAdminTimeout) < now);
    require(msg.sender == admin);
    
    ERC20(swap.token).transfer(msg.sender, swap.balance);
    clean(_ownerAddress, _participantAddress);
  }
  function clean(address _ownerAddress, address _participantAddress) internal {
    delete swaps[_ownerAddress][_participantAddress];
  }
}

• No Contract Security Audit Submitted- Submit Audit Here

[{"constant":false,"inputs":[{"name":"_secret","type":"bytes32"},{"name":"_ownerAddress","type":"address"}],"name":"withdraw","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[{"name":"_participantAddress","type":"address"}],"name":"getSecret","outputs":[{"name":"","type":"bytes32"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"name":"_secretHash","type":"bytes20"},{"name":"_participantAddress","type":"address"},{"name":"_targetWallet","type":"address"},{"name":"_value","type":"uint256"},{"name":"_token","type":"address"}],"name":"createSwapTarget","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"name":"_secret","type":"bytes32"},{"name":"participantAddress","type":"address"}],"name":"withdrawNoMoney","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[],"name":"owner","outputs":[{"name":"","type":"address"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[{"name":"","type":"address"},{"name":"","type":"address"}],"name":"swaps","outputs":[{"name":"token","type":"address"},{"name":"targetWallet","type":"address"},{"name":"secret","type":"bytes32"},{"name":"secretHash","type":"bytes20"},{"name":"createdAt","type":"uint256"},{"name":"balance","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"name":"_ownerAddress","type":"address"},{"name":"_participantAddress","type":"address"}],"name":"closeSwapByAdminAfterOneYear","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"name":"_secretHash","type":"bytes20"},{"name":"_participantAddress","type":"address"},{"name":"_value","type":"uint256"},{"name":"_token","type":"address"}],"name":"createSwap","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"name":"_secret","type":"bytes32"},{"name":"_ownerAddress","type":"address"},{"name":"participantAddress","type":"address"}],"name":"withdrawOther","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[{"name":"tokenOwnerAddress","type":"address"}],"name":"getTargetWallet","outputs":[{"name":"","type":"address"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"admin","outputs":[{"name":"","type":"address"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[{"name":"_ownerAddress","type":"address"}],"name":"getBalance","outputs":[{"name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"name":"_participantAddress","type":"address"}],"name":"refund","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"inputs":[],"payable":false,"stateMutability":"nonpayable","type":"constructor"},{"anonymous":false,"inputs":[{"indexed":false,"name":"token","type":"address"},{"indexed":false,"name":"_buyer","type":"address"},{"indexed":false,"name":"_seller","type":"address"},{"indexed":false,"name":"_value","type":"uint256"},{"indexed":false,"name":"_secretHash","type":"bytes20"},{"indexed":false,"name":"createdAt","type":"uint256"}],"name":"CreateSwap","type":"event"},{"anonymous":false,"inputs":[{"indexed":false,"name":"_buyer","type":"address"},{"indexed":false,"name":"_seller","type":"address"},{"indexed":false,"name":"_secretHash","type":"bytes20"},{"indexed":false,"name":"withdrawnAt","type":"uint256"}],"name":"Withdraw","type":"event"},{"anonymous":false,"inputs":[{"indexed":false,"name":"_buyer","type":"address"},{"indexed":false,"name":"_seller","type":"address"},{"indexed":false,"name":"_secretHash","type":"bytes20"}],"name":"Refund","type":"event"}]

6080604052610e1060015573180c3b784f3425b40fae0ed8ceff6bbc577a3c13600260006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055506301d4048060035534801561007357600080fd5b50336000806101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055506128cc806100c36000396000f3fe608060405234801561001057600080fd5b50600436106100cf5760003560e01c8063a4c73a4a1161008c578063e03ec01d11610066578063e03ec01d14610523578063f851a440146105a7578063f8b2cb4f146105f1578063fa89401a14610649576100cf565b8063a4c73a4a146103ca578063aa2e7ea01461042e578063d348b5a4146104b5576100cf565b80631b258d50146100d4578063284180fc146101225780634b1a57731461017a5780635721b89a146102215780638da5cb5b1461026f57806399caf975146102b9575b600080fd5b610120600480360360408110156100ea57600080fd5b8101908080359060200190929190803573ffffffffffffffffffffffffffffffffffffffff16906020019092919050505061068d565b005b6101646004803603602081101561013857600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050610ba2565b6040518082815260200191505060405180910390f35b61021f600480360360a081101561019057600080fd5b8101908080356bffffffffffffffffffffffff19169060200190929190803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050610c2b565b005b61026d6004803603604081101561023757600080fd5b8101908080359060200190929190803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050611069565b005b61027761157e565b604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b61031b600480360360408110156102cf57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff1690602001909291905050506115a3565b604051808773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020018673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001858152602001846bffffffffffffffffffffffff19166bffffffffffffffffffffffff19168152602001838152602001828152602001965050505050505060405180910390f35b61042c600480360360408110156103e057600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050611639565b005b6104b36004803603608081101561044457600080fd5b8101908080356bffffffffffffffffffffffff19169060200190929190803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190803573ffffffffffffffffffffffffffffffffffffffff16906020019092919050505061190e565b005b610521600480360360608110156104cb57600080fd5b8101908080359060200190929190803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050611d4b565b005b6105656004803603602081101561053957600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050612261565b604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b6105af61230a565b604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b6106336004803603602081101561060757600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050612330565b6040518082815260200191505060405180910390f35b61068b6004803603602081101561065f57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff1690602001909291905050506123b9565b005b610695612823565b600460008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000206040518060c00160405290816000820160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020016001820160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001600282015481526020016003820160009054906101000a900460601b6bffffffffffffffffffffffff19166bffffffffffffffffffffffff19168152602001600482015481526020016005820154815250509050600383604051602001808281526020019150506040516020818303038152906040526040518082805190602001908083835b60208310610872578051825260208201915060208101905060208303925061084f565b6001836020036101000a038019825116818451168082178552505050505050905001915050602060405180830381855afa1580156108b4573d6000803e3d6000fd5b5050506040515160601b6bffffffffffffffffffffffff191681606001516bffffffffffffffffffffffff1916146108eb57600080fd5b60008160a00151116108fc57600080fd5b4261091660015483608001516126f490919063ffffffff16565b1161092057600080fd5b806000015173ffffffffffffffffffffffffffffffffffffffff1663a9059cbb82602001518360a001516040518363ffffffff1660e01b8152600401808373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200182815260200192505050600060405180830381600087803b1580156109b357600080fd5b505af11580156109c7573d6000803e3d6000fd5b505050506000600460008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000206005018190555082600460008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020600201819055507fa670cc0e4f281aa123c418dd3959d0c502e351098b68a58a4a395f7208a3aeeb3383836060015142604051808573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020018473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001836bffffffffffffffffffffffff19166bffffffffffffffffffffffff1916815260200182815260200194505050505060405180910390a1505050565b6000600460003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020600201549050919050565b60008211610c3857600080fd5b6000600460003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000206005015414610cc457600080fd5b8073ffffffffffffffffffffffffffffffffffffffff166323b872dd3330856040518463ffffffff1660e01b8152600401808473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020018373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020018281526020019350505050600060405180830381600087803b158015610d7f57600080fd5b505af1158015610d93573d6000803e3d6000fd5b505050506040518060c001604052808273ffffffffffffffffffffffffffffffffffffffff1681526020018473ffffffffffffffffffffffffffffffffffffffff1681526020016000801b8152602001866bffffffffffffffffffffffff1916815260200142815260200183815250600460003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008201518160000160006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555060208201518160010160006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055506040820151816002015560608201518160030160006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908360601c02179055506080820151816004015560a082015181600501559050507fa942fb6162fdc98658856c3c9f64601635913193d896117e97fd78fb8cdde00a818533858942604051808773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020018673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020018573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001848152602001836bffffffffffffffffffffffff19166bffffffffffffffffffffffff19168152602001828152602001965050505050505060405180910390a15050505050565b611071612823565b600460003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000206040518060c00160405290816000820160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020016001820160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001600282015481526020016003820160009054906101000a900460601b6bffffffffffffffffffffffff19166bffffffffffffffffffffffff19168152602001600482015481526020016005820154815250509050600383604051602001808281526020019150506040516020818303038152906040526040518082805190602001908083835b6020831061124e578051825260208201915060208101905060208303925061122b565b6001836020036101000a038019825116818451168082178552505050505050905001915050602060405180830381855afa158015611290573d6000803e3d6000fd5b5050506040515160601b6bffffffffffffffffffffffff191681606001516bffffffffffffffffffffffff1916146112c757600080fd5b60008160a00151116112d857600080fd5b426112f260015483608001516126f490919063ffffffff16565b116112fc57600080fd5b806000015173ffffffffffffffffffffffffffffffffffffffff1663a9059cbb82602001518360a001516040518363ffffffff1660e01b8152600401808373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200182815260200192505050600060405180830381600087803b15801561138f57600080fd5b505af11580156113a3573d6000803e3d6000fd5b505050506000600460003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000206005018190555082600460003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020600201819055507fa670cc0e4f281aa123c418dd3959d0c502e351098b68a58a4a395f7208a3aeeb8233836060015142604051808573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020018473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001836bffffffffffffffffffffffff19166bffffffffffffffffffffffff1916815260200182815260200194505050505060405180910390a1505050565b6000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b6004602052816000526040600020602052806000526040600020600091509150508060000160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff16908060010160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff16908060020154908060030160009054906101000a900460601b908060040154908060050154905086565b611641612823565b600460008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000206040518060c00160405290816000820160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020016001820160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001600282015481526020016003820160009054906101000a900460601b6bffffffffffffffffffffffff19166bffffffffffffffffffffffff1916815260200160048201548152602001600582015481525050905060008160a00151116117da57600080fd5b426117f460035483608001516126f490919063ffffffff16565b106117fe57600080fd5b600260009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff161461185857600080fd5b806000015173ffffffffffffffffffffffffffffffffffffffff1663a9059cbb338360a001516040518363ffffffff1660e01b8152600401808373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200182815260200192505050600060405180830381600087803b1580156118e757600080fd5b505af11580156118fb573d6000803e3d6000fd5b505050506119098383612713565b505050565b6000821161191b57600080fd5b6000600460003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060050154146119a757600080fd5b8073ffffffffffffffffffffffffffffffffffffffff166323b872dd3330856040518463ffffffff1660e01b8152600401808473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020018373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020018281526020019350505050600060405180830381600087803b158015611a6257600080fd5b505af1158015611a76573d6000803e3d6000fd5b505050506040518060c001604052808273ffffffffffffffffffffffffffffffffffffffff1681526020018473ffffffffffffffffffffffffffffffffffffffff1681526020016000801b8152602001856bffffffffffffffffffffffff1916815260200142815260200183815250600460003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008201518160000160006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555060208201518160010160006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055506040820151816002015560608201518160030160006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908360601c02179055506080820151816004015560a082015181600501559050507fa942fb6162fdc98658856c3c9f64601635913193d896117e97fd78fb8cdde00a818433858842604051808773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020018673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020018573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001848152602001836bffffffffffffffffffffffff19166bffffffffffffffffffffffff19168152602001828152602001965050505050505060405180910390a150505050565b611d53612823565b600460008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000206040518060c00160405290816000820160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020016001820160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001600282015481526020016003820160009054906101000a900460601b6bffffffffffffffffffffffff19166bffffffffffffffffffffffff19168152602001600482015481526020016005820154815250509050600384604051602001808281526020019150506040516020818303038152906040526040518082805190602001908083835b60208310611f305780518252602082019150602081019050602083039250611f0d565b6001836020036101000a038019825116818451168082178552505050505050905001915050602060405180830381855afa158015611f72573d6000803e3d6000fd5b5050506040515160601b6bffffffffffffffffffffffff191681606001516bffffffffffffffffffffffff191614611fa957600080fd5b60008160a0015111611fba57600080fd5b42611fd460015483608001516126f490919063ffffffff16565b11611fde57600080fd5b806000015173ffffffffffffffffffffffffffffffffffffffff1663a9059cbb82602001518360a001516040518363ffffffff1660e01b8152600401808373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200182815260200192505050600060405180830381600087803b15801561207157600080fd5b505af1158015612085573d6000803e3d6000fd5b505050506000600460008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000206005018190555083600460008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020600201819055507fa670cc0e4f281aa123c418dd3959d0c502e351098b68a58a4a395f7208a3aeeb8284836060015142604051808573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020018473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001836bffffffffffffffffffffffff19166bffffffffffffffffffffffff1916815260200182815260200194505050505060405180910390a150505050565b6000600460008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060010160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff169050919050565b600260009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b6000600460008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020600501549050919050565b6123c1612823565b600460003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000206040518060c00160405290816000820160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020016001820160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001600282015481526020016003820160009054906101000a900460601b6bffffffffffffffffffffffff19166bffffffffffffffffffffffff1916815260200160048201548152602001600582015481525050905060008160a001511161255a57600080fd5b4261257460015483608001516126f490919063ffffffff16565b1061257e57600080fd5b806000015173ffffffffffffffffffffffffffffffffffffffff1663a9059cbb338360a001516040518363ffffffff1660e01b8152600401808373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200182815260200192505050600060405180830381600087803b15801561260d57600080fd5b505af1158015612621573d6000803e3d6000fd5b5050505061262f3383612713565b7f7d398516b5972c69dadc977fbce748582045eecd7ecb320ec0cf6d837856078282338360600151604051808473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020018373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001826bffffffffffffffffffffffff19166bffffffffffffffffffffffff19168152602001935050505060405180910390a15050565b60008082840190508381101561270957600080fd5b8091505092915050565b600460008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020600080820160006101000a81549073ffffffffffffffffffffffffffffffffffffffff02191690556001820160006101000a81549073ffffffffffffffffffffffffffffffffffffffff021916905560028201600090556003820160006101000a81549073ffffffffffffffffffffffffffffffffffffffff02191690556004820160009055600582016000905550505050565b6040518060c00160405280600073ffffffffffffffffffffffffffffffffffffffff168152602001600073ffffffffffffffffffffffffffffffffffffffff1681526020016000801916815260200160006bffffffffffffffffffffffff191681526020016000815260200160008152509056fea265627a7a72305820c257a48a85f129888c76811f025997661deb741f35667138a9cbe13f315a763c64736f6c634300050a0032

0x608060405234801561001057600080fd5b50600436106100cf5760003560e01c8063a4c73a4a1161008c578063e03ec01d11610066578063e03ec01d14610523578063f851a440146105a7578063f8b2cb4f146105f1578063fa89401a14610649576100cf565b8063a4c73a4a146103ca578063aa2e7ea01461042e578063d348b5a4146104b5576100cf565b80631b258d50146100d4578063284180fc146101225780634b1a57731461017a5780635721b89a146102215780638da5cb5b1461026f57806399caf975146102b9575b600080fd5b610120600480360360408110156100ea57600080fd5b8101908080359060200190929190803573ffffffffffffffffffffffffffffffffffffffff16906020019092919050505061068d565b005b6101646004803603602081101561013857600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050610ba2565b6040518082815260200191505060405180910390f35b61021f600480360360a081101561019057600080fd5b8101908080356bffffffffffffffffffffffff19169060200190929190803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050610c2b565b005b61026d6004803603604081101561023757600080fd5b8101908080359060200190929190803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050611069565b005b61027761157e565b604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b61031b600480360360408110156102cf57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff1690602001909291905050506115a3565b604051808773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020018673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001858152602001846bffffffffffffffffffffffff19166bffffffffffffffffffffffff19168152602001838152602001828152602001965050505050505060405180910390f35b61042c600480360360408110156103e057600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050611639565b005b6104b36004803603608081101561044457600080fd5b8101908080356bffffffffffffffffffffffff19169060200190929190803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190803573ffffffffffffffffffffffffffffffffffffffff16906020019092919050505061190e565b005b610521600480360360608110156104cb57600080fd5b8101908080359060200190929190803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050611d4b565b005b6105656004803603602081101561053957600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050612261565b604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b6105af61230a565b604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b6106336004803603602081101561060757600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050612330565b6040518082815260200191505060405180910390f35b61068b6004803603602081101561065f57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff1690602001909291905050506123b9565b005b610695612823565b600460008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000206040518060c00160405290816000820160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020016001820160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001600282015481526020016003820160009054906101000a900460601b6bffffffffffffffffffffffff19166bffffffffffffffffffffffff19168152602001600482015481526020016005820154815250509050600383604051602001808281526020019150506040516020818303038152906040526040518082805190602001908083835b60208310610872578051825260208201915060208101905060208303925061084f565b6001836020036101000a038019825116818451168082178552505050505050905001915050602060405180830381855afa1580156108b4573d6000803e3d6000fd5b5050506040515160601b6bffffffffffffffffffffffff191681606001516bffffffffffffffffffffffff1916146108eb57600080fd5b60008160a00151116108fc57600080fd5b4261091660015483608001516126f490919063ffffffff16565b1161092057600080fd5b806000015173ffffffffffffffffffffffffffffffffffffffff1663a9059cbb82602001518360a001516040518363ffffffff1660e01b8152600401808373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200182815260200192505050600060405180830381600087803b1580156109b357600080fd5b505af11580156109c7573d6000803e3d6000fd5b505050506000600460008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000206005018190555082600460008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020600201819055507fa670cc0e4f281aa123c418dd3959d0c502e351098b68a58a4a395f7208a3aeeb3383836060015142604051808573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020018473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001836bffffffffffffffffffffffff19166bffffffffffffffffffffffff1916815260200182815260200194505050505060405180910390a1505050565b6000600460003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020600201549050919050565b60008211610c3857600080fd5b6000600460003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000206005015414610cc457600080fd5b8073ffffffffffffffffffffffffffffffffffffffff166323b872dd3330856040518463ffffffff1660e01b8152600401808473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020018373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020018281526020019350505050600060405180830381600087803b158015610d7f57600080fd5b505af1158015610d93573d6000803e3d6000fd5b505050506040518060c001604052808273ffffffffffffffffffffffffffffffffffffffff1681526020018473ffffffffffffffffffffffffffffffffffffffff1681526020016000801b8152602001866bffffffffffffffffffffffff1916815260200142815260200183815250600460003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008201518160000160006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555060208201518160010160006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055506040820151816002015560608201518160030160006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908360601c02179055506080820151816004015560a082015181600501559050507fa942fb6162fdc98658856c3c9f64601635913193d896117e97fd78fb8cdde00a818533858942604051808773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020018673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020018573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001848152602001836bffffffffffffffffffffffff19166bffffffffffffffffffffffff19168152602001828152602001965050505050505060405180910390a15050505050565b611071612823565b600460003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000206040518060c00160405290816000820160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020016001820160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001600282015481526020016003820160009054906101000a900460601b6bffffffffffffffffffffffff19166bffffffffffffffffffffffff19168152602001600482015481526020016005820154815250509050600383604051602001808281526020019150506040516020818303038152906040526040518082805190602001908083835b6020831061124e578051825260208201915060208101905060208303925061122b565b6001836020036101000a038019825116818451168082178552505050505050905001915050602060405180830381855afa158015611290573d6000803e3d6000fd5b5050506040515160601b6bffffffffffffffffffffffff191681606001516bffffffffffffffffffffffff1916146112c757600080fd5b60008160a00151116112d857600080fd5b426112f260015483608001516126f490919063ffffffff16565b116112fc57600080fd5b806000015173ffffffffffffffffffffffffffffffffffffffff1663a9059cbb82602001518360a001516040518363ffffffff1660e01b8152600401808373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200182815260200192505050600060405180830381600087803b15801561138f57600080fd5b505af11580156113a3573d6000803e3d6000fd5b505050506000600460003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000206005018190555082600460003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020600201819055507fa670cc0e4f281aa123c418dd3959d0c502e351098b68a58a4a395f7208a3aeeb8233836060015142604051808573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020018473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001836bffffffffffffffffffffffff19166bffffffffffffffffffffffff1916815260200182815260200194505050505060405180910390a1505050565b6000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b6004602052816000526040600020602052806000526040600020600091509150508060000160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff16908060010160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff16908060020154908060030160009054906101000a900460601b908060040154908060050154905086565b611641612823565b600460008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000206040518060c00160405290816000820160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020016001820160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001600282015481526020016003820160009054906101000a900460601b6bffffffffffffffffffffffff19166bffffffffffffffffffffffff1916815260200160048201548152602001600582015481525050905060008160a00151116117da57600080fd5b426117f460035483608001516126f490919063ffffffff16565b106117fe57600080fd5b600260009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff161461185857600080fd5b806000015173ffffffffffffffffffffffffffffffffffffffff1663a9059cbb338360a001516040518363ffffffff1660e01b8152600401808373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200182815260200192505050600060405180830381600087803b1580156118e757600080fd5b505af11580156118fb573d6000803e3d6000fd5b505050506119098383612713565b505050565b6000821161191b57600080fd5b6000600460003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060050154146119a757600080fd5b8073ffffffffffffffffffffffffffffffffffffffff166323b872dd3330856040518463ffffffff1660e01b8152600401808473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020018373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020018281526020019350505050600060405180830381600087803b158015611a6257600080fd5b505af1158015611a76573d6000803e3d6000fd5b505050506040518060c001604052808273ffffffffffffffffffffffffffffffffffffffff1681526020018473ffffffffffffffffffffffffffffffffffffffff1681526020016000801b8152602001856bffffffffffffffffffffffff1916815260200142815260200183815250600460003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008201518160000160006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555060208201518160010160006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055506040820151816002015560608201518160030160006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908360601c02179055506080820151816004015560a082015181600501559050507fa942fb6162fdc98658856c3c9f64601635913193d896117e97fd78fb8cdde00a818433858842604051808773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020018673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020018573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001848152602001836bffffffffffffffffffffffff19166bffffffffffffffffffffffff19168152602001828152602001965050505050505060405180910390a150505050565b611d53612823565b600460008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000206040518060c00160405290816000820160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020016001820160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001600282015481526020016003820160009054906101000a900460601b6bffffffffffffffffffffffff19166bffffffffffffffffffffffff19168152602001600482015481526020016005820154815250509050600384604051602001808281526020019150506040516020818303038152906040526040518082805190602001908083835b60208310611f305780518252602082019150602081019050602083039250611f0d565b6001836020036101000a038019825116818451168082178552505050505050905001915050602060405180830381855afa158015611f72573d6000803e3d6000fd5b5050506040515160601b6bffffffffffffffffffffffff191681606001516bffffffffffffffffffffffff191614611fa957600080fd5b60008160a0015111611fba57600080fd5b42611fd460015483608001516126f490919063ffffffff16565b11611fde57600080fd5b806000015173ffffffffffffffffffffffffffffffffffffffff1663a9059cbb82602001518360a001516040518363ffffffff1660e01b8152600401808373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200182815260200192505050600060405180830381600087803b15801561207157600080fd5b505af1158015612085573d6000803e3d6000fd5b505050506000600460008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000206005018190555083600460008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020600201819055507fa670cc0e4f281aa123c418dd3959d0c502e351098b68a58a4a395f7208a3aeeb8284836060015142604051808573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020018473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001836bffffffffffffffffffffffff19166bffffffffffffffffffffffff1916815260200182815260200194505050505060405180910390a150505050565b6000600460008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060010160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff169050919050565b600260009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b6000600460008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020600501549050919050565b6123c1612823565b600460003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000206040518060c00160405290816000820160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020016001820160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001600282015481526020016003820160009054906101000a900460601b6bffffffffffffffffffffffff19166bffffffffffffffffffffffff1916815260200160048201548152602001600582015481525050905060008160a001511161255a57600080fd5b4261257460015483608001516126f490919063ffffffff16565b1061257e57600080fd5b806000015173ffffffffffffffffffffffffffffffffffffffff1663a9059cbb338360a001516040518363ffffffff1660e01b8152600401808373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200182815260200192505050600060405180830381600087803b15801561260d57600080fd5b505af1158015612621573d6000803e3d6000fd5b5050505061262f3383612713565b7f7d398516b5972c69dadc977fbce748582045eecd7ecb320ec0cf6d837856078282338360600151604051808473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020018373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001826bffffffffffffffffffffffff19166bffffffffffffffffffffffff19168152602001935050505060405180910390a15050565b60008082840190508381101561270957600080fd5b8091505092915050565b600460008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020600080820160006101000a81549073ffffffffffffffffffffffffffffffffffffffff02191690556001820160006101000a81549073ffffffffffffffffffffffffffffffffffffffff021916905560028201600090556003820160006101000a81549073ffffffffffffffffffffffffffffffffffffffff02191690556004820160009055600582016000905550505050565b6040518060c00160405280600073ffffffffffffffffffffffffffffffffffffffff168152602001600073ffffffffffffffffffffffffffffffffffffffff1681526020016000801916815260200160006bffffffffffffffffffffffff191681526020016000815260200160008152509056fea265627a7a72305820c257a48a85f129888c76811f025997661deb741f35667138a9cbe13f315a763c64736f6c634300050a0032

2156:6069:0:-;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;2156:6069:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;4866:541;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;4866:541:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;6872:143;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;6872:143:0;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;3752:585;;;;;;13:3:-1;8;5:12;2:2;;;30:1;27;20:12;2:2;3752:585:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;5553:573;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;5553:573:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;2222:20;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;2629:57;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;2629:57:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;7555:526;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;7555:526:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;3097:554;;;;;;13:3:-1;8;5:12;2:2;;;30:1;27;20:12;2:2;3097:554:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;6229:606;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;6229:606:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;4612:153;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;4612:153:0;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;2305:65;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;4341:133;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;4341:133:0;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;7158:391;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;7158:391:0;;;;;;;;;;;;;;;;;;;:::i;:::-;;4866:541;4938:16;;:::i;:::-;4957:5;:20;4963:13;4957:20;;;;;;;;;;;;;;;:32;4978:10;4957:32;;;;;;;;;;;;;;;4938:51;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;5025:36;5052:7;5035:25;;;;;;;;;;;;;;;49:4:-1;39:7;30;26:21;22:32;13:7;6:49;5035:25:0;;;5025:36;;;;;;;;;;;;;36:153:-1;66:2;61:3;58:11;36:153;;182:3;176:10;171:3;164:23;98:2;93:3;89:12;82:19;;123:2;118:3;114:12;107:19;;148:2;143:3;139:12;132:19;;36:153;;;274:1;267:3;263:2;259:12;254:3;250:22;246:30;315:4;311:9;305:3;299:10;295:26;356:4;350:3;344:10;340:21;389:7;380;377:20;372:3;365:33;3:399;;;5025:36:0;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;5025:36:0;;;;;;;;5006:55;;;:4;:15;;;:55;;;;4998:64;;;;;;5100:1;5077:4;:12;;;:25;5069:34;;;;;;5149:3;5118:28;5137:8;;5118:4;:14;;;:18;;:28;;;;:::i;:::-;:34;5110:43;;;;;;5168:4;:10;;;5162:26;;;5189:4;:17;;;5208:4;:12;;;5162:59;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;5162:59:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;5162:59:0;;;;5273:1;5230:5;:20;5236:13;5230:20;;;;;;;;;;;;;;;:32;5251:10;5230:32;;;;;;;;;;;;;;;:40;;:44;;;;5323:7;5281:5;:20;5287:13;5281:20;;;;;;;;;;;;;;;:32;5302:10;5281:32;;;;;;;;;;;;;;;:39;;:49;;;;5344:57;5353:10;5365:13;5380:4;:15;;;5397:3;5344:57;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;4866:541;;;:::o;6872:143::-;6941:7;6964:5;:17;6970:10;6964:17;;;;;;;;;;;;;;;:38;6982:19;6964:38;;;;;;;;;;;;;;;:45;;;6957:52;;6872:143;;;:::o;3752:585::-;3930:1;3921:6;:10;3913:19;;;;;;4005:1;3947:5;:17;3953:10;3947:17;;;;;;;;;;;;;;;:38;3965:19;3947:38;;;;;;;;;;;;;;;:46;;;:60;3939:69;;;;;;4021:6;4015:26;;;4042:10;4062:4;4069:6;4015:61;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;4015:61:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;4015:61:0;;;;4126:114;;;;;;;;4139:6;4126:114;;;;;;4154:13;4126:114;;;;;;4184:1;4176:10;;4126:114;;;;4195:11;4126:114;;;;;;;4215:3;4126:114;;;;4227:6;4126:114;;;4085:5;:17;4091:10;4085:17;;;;;;;;;;;;;;;:38;4103:19;4085:38;;;;;;;;;;;;;;;:155;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;4254:77;4265:6;4273:19;4294:10;4306:6;4314:11;4327:3;4254:77;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;3752:585;;;;;:::o;5553:573::-;5637:16;;:::i;:::-;5656:5;:17;5662:10;5656:17;;;;;;;;;;;;;;;:37;5674:18;5656:37;;;;;;;;;;;;;;;5637:56;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;5729:36;5756:7;5739:25;;;;;;;;;;;;;;;49:4:-1;39:7;30;26:21;22:32;13:7;6:49;5739:25:0;;;5729:36;;;;;;;;;;;;;36:153:-1;66:2;61:3;58:11;36:153;;182:3;176:10;171:3;164:23;98:2;93:3;89:12;82:19;;123:2;118:3;114:12;107:19;;148:2;143:3;139:12;132:19;;36:153;;;274:1;267:3;263:2;259:12;254:3;250:22;246:30;315:4;311:9;305:3;299:10;295:26;356:4;350:3;344:10;340:21;389:7;380;377:20;372:3;365:33;3:399;;;5729:36:0;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;5729:36:0;;;;;;;;5710:55;;;:4;:15;;;:55;;;;5702:64;;;;;;5804:1;5781:4;:12;;;:25;5773:34;;;;;;5853:3;5822:28;5841:8;;5822:4;:14;;;:18;;:28;;;;:::i;:::-;:34;5814:43;;;;;;5872:4;:10;;;5866:26;;;5893:4;:17;;;5912:4;:12;;;5866:59;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;5866:59:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;5866:59:0;;;;5982:1;5934:5;:17;5940:10;5934:17;;;;;;;;;;;;;;;:37;5952:18;5934:37;;;;;;;;;;;;;;;:45;;:49;;;;6037:7;5990:5;:17;5996:10;5990:17;;;;;;;;;;;;;;;:37;6008:18;5990:37;;;;;;;;;;;;;;;:44;;:54;;;;6058:62;6067:18;6087:10;6099:4;:15;;;6116:3;6058:62;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;5553:573;;;:::o;2222:20::-;;;;;;;;;;;;;:::o;2629:57::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::o;7555:526::-;7763:16;;:::i;:::-;7782:5;:20;7788:13;7782:20;;;;;;;;;;;;;;;:41;7803:19;7782:41;;;;;;;;;;;;;;;7763:60;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;7863:1;7840:4;:12;;;:25;7832:34;;;;;;7923:3;7881:39;7900:19;;7881:4;:14;;;:18;;:39;;;;:::i;:::-;:45;7873:54;;;;;;7956:5;;;;;;;;;;;7942:19;;:10;:19;;;7934:28;;;;;;7981:4;:10;;;7975:26;;;8002:10;8014:4;:12;;;7975:52;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;7975:52:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;7975:52:0;;;;8034:41;8040:13;8055:19;8034:5;:41::i;:::-;7555:526;;;:::o;3097:554::-;3238:1;3229:6;:10;3221:19;;;;;;3313:1;3255:5;:17;3261:10;3255:17;;;;;;;;;;;;;;;:38;3273:19;3255:38;;;;;;;;;;;;;;;:46;;;:60;3247:69;;;;;;3329:6;3323:26;;;3350:10;3370:4;3377:6;3323:61;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;3323:61:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;3323:61:0;;;;3434:120;;;;;;;;3447:6;3434:120;;;;;;3462:19;3434:120;;;;;;3498:1;3490:10;;3434:120;;;;3509:11;3434:120;;;;;;;3529:3;3434:120;;;;3541:6;3434:120;;;3393:5;:17;3399:10;3393:17;;;;;;;;;;;;;;;:38;3411:19;3393:38;;;;;;;;;;;;;;;:161;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;3568:77;3579:6;3587:19;3608:10;3620:6;3628:11;3641:3;3568:77;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;3097:554;;;;:::o;6229:606::-;6334:16;;:::i;:::-;6353:5;:20;6359:13;6353:20;;;;;;;;;;;;;;;:40;6374:18;6353:40;;;;;;;;;;;;;;;6334:59;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;6429:36;6456:7;6439:25;;;;;;;;;;;;;;;49:4:-1;39:7;30;26:21;22:32;13:7;6:49;6439:25:0;;;6429:36;;;;;;;;;;;;;36:153:-1;66:2;61:3;58:11;36:153;;182:3;176:10;171:3;164:23;98:2;93:3;89:12;82:19;;123:2;118:3;114:12;107:19;;148:2;143:3;139:12;132:19;;36:153;;;274:1;267:3;263:2;259:12;254:3;250:22;246:30;315:4;311:9;305:3;299:10;295:26;356:4;350:3;344:10;340:21;389:7;380;377:20;372:3;365:33;3:399;;;6429:36:0;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;6429:36:0;;;;;;;;6410:55;;;:4;:15;;;:55;;;;6402:64;;;;;;6504:1;6481:4;:12;;;:25;6473:34;;;;;;6553:3;6522:28;6541:8;;6522:4;:14;;;:18;;:28;;;;:::i;:::-;:34;6514:43;;;;;;6572:4;:10;;;6566:26;;;6593:4;:17;;;6612:4;:12;;;6566:59;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;6566:59:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;6566:59:0;;;;6685:1;6634:5;:20;6640:13;6634:20;;;;;;;;;;;;;;;:40;6655:18;6634:40;;;;;;;;;;;;;;;:48;;:52;;;;6743:7;6693:5;:20;6699:13;6693:20;;;;;;;;;;;;;;;:40;6714:18;6693:40;;;;;;;;;;;;;;;:47;;:57;;;;6764:65;6773:18;6793:13;6808:4;:15;;;6825:3;6764:65;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;6229:606;;;;:::o;4612:153::-;4685:7;4710:5;:24;4716:17;4710:24;;;;;;;;;;;;;;;:36;4735:10;4710:36;;;;;;;;;;;;;;;:49;;;;;;;;;;;;4703:56;;4612:153;;;:::o;2305:65::-;;;;;;;;;;;;;:::o;4341:133::-;4405:7;4428:5;:20;4434:13;4428:20;;;;;;;;;;;;;;;:32;4449:10;4428:32;;;;;;;;;;;;;;;:40;;;4421:47;;4341:133;;;:::o;7158:391::-;7217:16;;:::i;:::-;7236:5;:17;7242:10;7236:17;;;;;;;;;;;;;;;:38;7254:19;7236:38;;;;;;;;;;;;;;;7217:57;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;7314:1;7291:4;:12;;;:25;7283:34;;;;;;7363:3;7332:28;7351:8;;7332:4;:14;;;:18;;:28;;;;:::i;:::-;:34;7324:43;;;;;;7382:4;:10;;;7376:26;;;7403:10;7415:4;:12;;;7376:52;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;7376:52:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;7376:52:0;;;;7435:38;7441:10;7453:19;7435:5;:38::i;:::-;7487:56;7494:19;7515:10;7527:4;:15;;;7487:56;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;7158:391;;:::o;1551:150::-;1609:7;1629:9;1645:1;1641;:5;1629:17;;1670:1;1665;:6;;1657:15;;;;;;1692:1;1685:8;;;1551:150;;;;:::o;8085:137::-;8175:5;:20;8181:13;8175:20;;;;;;;;;;;;;;;:41;8196:19;8175:41;;;;;;;;;;;;;;;;8168:48;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8085:137;;:::o;2156:6069::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::o

bzzr://c257a48a85f129888c76811f025997661deb741f35667138a9cbe13f315a763c