Contract

Contract Source Code (Solidity)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta
• Remix IDE

Outline

•  contract Ownable
•    - function owner()
•    - function isOwner()
•    - function renounceOwnership()
•    - function transferOwnership(address ne ...
•    - function _transferOwnership(address n ...
• library Roles
•    - function add(Role storage role, addre ...
•    - function remove(Role storage role, ad ...
•    - function has(Role storage role, addre ...
•  contract IERC721Receiver
•    - function onERC721Received(address ope ...
• interface ERC721 /* is ERC165 */
•    - function balanceOf(address _owner)
•    - function ownerOf(uint256 _tokenId)
•    - function safeTransferFrom(address _fr ...
•    - function safeTransferFrom(address _fr ...
•    - function transferFrom(address _from, ...
•    - function approve(address _approved, u ...
•    - function setApprovalForAll(address _o ...
•    - function getApproved(uint256 _tokenId ...
•    - function isApprovedForAll(address _ow ...
• interface ERC165
•    - function supportsInterface(bytes4 int ...
•  contract ERC721Holder is IERC721Re ...
•    - function onERC721Received(address, ad ...
•  contract OperatorRole is Ownable
•    - function isOperator(address account)
•    - function addOperator(address account)
•    - function removeOperator(address accou ...
•    - function paused()
•    - function pause()
•    - function unpause()
•  contract ERC721Converter is ERC721 ... *
•    - function approve(address _spender)
•    - function dismiss(address _spender)
•    - function updateAlice(address _newAlic ...
•    - function updateBob(address _newBob)
•    - function draftAliceTokens(uint256[] m ...
•    - function draftBobTokens(uint256[] mem ...
•    - function draftAliceToken(uint256 _ali ...
•    - function draftBobToken(uint256 _bobTo ...
•    - function getBobTokenID(uint256 _alice ...
•    - function getAliceTokenID(uint256 _bob ...
•    - function convertFromAliceToBob(uint25 ...
•    - function convertFromBobToAlice(uint25 ...

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

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

pragma solidity ^0.5.0;
// produced by the Solididy File Flattener (c) David Appleton 2018
// contact : [email protected]
// released under Apache 2.0 licence
// input  /Users/rmanzoku/src/github.com/doublejumptokyo/erc721/contracts/erc721converter.sol
// flattened :  Monday, 26-Aug-19 06:45:45 UTC
contract Ownable {
    address private _owner;

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

    /**
     * @dev Initializes the contract setting the deployer as the initial owner.
     */
    constructor () internal {
        _owner = msg.sender;
        emit OwnershipTransferred(address(0), _owner);
    }

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

    /**
     * @dev Throws if called by any account other than the owner.
     */
    modifier onlyOwner() {
        require(isOwner(), "Ownable: caller is not the owner");
        _;
    }

    /**
     * @dev Returns true if the caller is the current owner.
     */
    function isOwner() public view returns (bool) {
        return msg.sender == _owner;
    }

    /**
     * @dev Leaves the contract without owner. It will not be possible to call
     * `onlyOwner` functions anymore. Can only be called by the current owner.
     *
     * > Note: Renouncing ownership will leave the contract without an owner,
     * thereby removing any functionality that is only available to the owner.
     */
    function renounceOwnership() public onlyOwner {
        emit OwnershipTransferred(_owner, address(0));
        _owner = address(0);
    }

    /**
     * @dev Transfers ownership of the contract to a new account (`newOwner`).
     * Can only be called by the current owner.
     */
    function transferOwnership(address newOwner) public onlyOwner {
        _transferOwnership(newOwner);
    }

    /**
     * @dev Transfers ownership of the contract to a new account (`newOwner`).
     */
    function _transferOwnership(address newOwner) internal {
        require(newOwner != address(0), "Ownable: new owner is the zero address");
        emit OwnershipTransferred(_owner, newOwner);
        _owner = newOwner;
    }
}

library Roles {
    struct Role {
        mapping (address => bool) bearer;
    }

    /**
     * @dev Give an account access to this role.
     */
    function add(Role storage role, address account) internal {
        require(!has(role, account), "Roles: account already has role");
        role.bearer[account] = true;
    }

    /**
     * @dev Remove an account's access to this role.
     */
    function remove(Role storage role, address account) internal {
        require(has(role, account), "Roles: account does not have role");
        role.bearer[account] = false;
    }

    /**
     * @dev Check if an account has this role.
     * @return bool
     */
    function has(Role storage role, address account) internal view returns (bool) {
        require(account != address(0), "Roles: account is the zero address");
        return role.bearer[account];
    }
}

contract IERC721Receiver {
    /**
     * @notice Handle the receipt of an NFT
     * @dev The ERC721 smart contract calls this function on the recipient
     * after a `safeTransfer`. This function MUST return the function selector,
     * otherwise the caller will revert the transaction. The selector to be
     * returned can be obtained as `this.onERC721Received.selector`. This
     * function MAY throw to revert and reject the transfer.
     * Note: the ERC721 contract address is always the message sender.
     * @param operator The address which called `safeTransferFrom` function
     * @param from The address which previously owned the token
     * @param tokenId The NFT identifier which is being transferred
     * @param data Additional data with no specified format
     * @return bytes4 `bytes4(keccak256("onERC721Received(address,address,uint256,bytes)"))`
     */
    function onERC721Received(address operator, address from, uint256 tokenId, bytes memory data)
    public returns (bytes4);
}

interface ERC721 /* is ERC165 */ {
  event Transfer(address indexed _from, address indexed _to, uint256 indexed _tokenId);
  event Approval(address indexed _owner, address indexed _approved, uint256 indexed _tokenId);
  event ApprovalForAll(address indexed _owner, address indexed _operator, bool _approved);
  function balanceOf(address _owner) external view returns (uint256);
  function ownerOf(uint256 _tokenId) external view returns (address);
  function safeTransferFrom(address _from, address _to, uint256 _tokenId, bytes calldata data) external payable;
  function safeTransferFrom(address _from, address _to, uint256 _tokenId) external payable;
  function transferFrom(address _from, address _to, uint256 _tokenId) external payable;
  function approve(address _approved, uint256 _tokenId) external payable;
  function setApprovalForAll(address _operator, bool _approved) external;
  function getApproved(uint256 _tokenId) external view returns (address);
  function isApprovedForAll(address _owner, address _operator) external view returns (bool);
}

interface ERC165 {
  function supportsInterface(bytes4 interfaceID) external view returns (bool);
}

contract ERC721Holder is IERC721Receiver {
    function onERC721Received(address, address, uint256, bytes memory) public returns (bytes4) {
        return this.onERC721Received.selector;
    }
}

contract OperatorRole is Ownable {
  using Roles for Roles.Role;

  event OperatorAdded(address indexed account);
  event OperatorRemoved(address indexed account);

  event Paused(address account);
  event Unpaused(address account);

  bool private _paused;

  Roles.Role private operators;

  constructor() public {
    operators.add(msg.sender);
    _paused = false;
  }

  modifier onlyOperator() {
    require(isOperator(msg.sender));
    _;
  }

  modifier whenNotPaused() {
    require(!_paused, "Pausable: paused");
    _;
  }

  modifier whenPaused() {
    require(_paused, "Pausable: not paused");
    _;
  }

  function isOperator(address account) public view returns (bool) {
    return operators.has(account);
  }

  function addOperator(address account) public onlyOwner() {
    operators.add(account);
    emit OperatorAdded(account);
  }

  function removeOperator(address account) public onlyOwner() {
    operators.remove(account);
    emit OperatorRemoved(account);
  }

  function paused() public view returns (bool) {
    return _paused;
  }

  function pause() public onlyOperator() whenNotPaused() {
    _paused = true;
    emit Paused(msg.sender);
  }

  function unpause() public onlyOperator whenPaused() {
    _paused = false;
    emit Unpaused(msg.sender);
  }

}

contract ERC721Converter is ERC721Holder, OperatorRole {
  ERC721 Alice;
  ERC721 Bob;

  address public aliceContract;
  address public bobContract;

  bool public approveOnce = false;

  mapping (uint256 => uint256) private _idMapAliceToBob;
  mapping (uint256 => uint256) private _idMapBobToAlice;

  constructor(address _alice, address _bob) public {
    aliceContract = _alice;
    bobContract = _bob;
    Alice = ERC721(aliceContract);
    Bob = ERC721(bobContract);
  }

  function approve(address _spender) external onlyOwner() {
    require(approveOnce != true);
    Alice.setApprovalForAll(_spender, true);
    Bob.setApprovalForAll(_spender, true);
    approveOnce = true;
  }

  function dismiss(address _spender) external onlyOwner() {
    Alice.setApprovalForAll(_spender, false);
    Bob.setApprovalForAll(_spender, false);
  }

  function updateAlice(address _newAlice) external onlyOperator() {
    aliceContract = _newAlice;
    Alice = ERC721(_newAlice);
  }

  function updateBob(address _newBob) external onlyOperator() {
    bobContract = _newBob;
    Bob = ERC721(_newBob);
  }

  function draftAliceTokens(uint256[] memory _aliceTokenIds, uint256[] memory _bobTokenIds) public onlyOperator() {
    require(_aliceTokenIds.length == _bobTokenIds.length);
    for (uint256 i = 0; i < _aliceTokenIds.length; i++) {
      draftAliceToken(_aliceTokenIds[i], _bobTokenIds[i]);
    }
  }

  function draftBobTokens(uint256[] memory _bobTokenIds, uint256[] memory _aliceTokenIds) public onlyOperator() {
    require(_aliceTokenIds.length == _bobTokenIds.length);
    for (uint256 i = 0; i < _aliceTokenIds.length; i++) {
      draftBobToken(_bobTokenIds[i], _aliceTokenIds[i]);
    }
  }

  function draftAliceToken(uint256 _aliceTokenId, uint256 _bobTokenId) public onlyOperator() {
    require(Alice.ownerOf(_aliceTokenId) == address(this), "_aliceTokenId is not owned");
    require(_idMapAliceToBob[_aliceTokenId] == 0, "_aliceTokenId is already assignd");
    require(_idMapBobToAlice[_bobTokenId] == 0, "_bobTokenId is already assignd");

    _idMapAliceToBob[_aliceTokenId] = _bobTokenId;
    _idMapBobToAlice[_bobTokenId] = _aliceTokenId;
  }

  function draftBobToken(uint256 _bobTokenId, uint256 _aliceTokenId) public onlyOperator() {
    require(Bob.ownerOf(_bobTokenId) == address(this), "_bobTokenId is not owned");
    require(_idMapBobToAlice[_bobTokenId] == 0, "_bobTokenId is already assignd");
    require(_idMapAliceToBob[_aliceTokenId] == 0, "_aliceTokenId is already assignd");

    _idMapBobToAlice[_bobTokenId] = _aliceTokenId;
    _idMapAliceToBob[_aliceTokenId] = _bobTokenId;
  }

  function getBobTokenID(uint256 _aliceTokenId) public view returns(uint256) {
    return _idMapAliceToBob[_aliceTokenId];
  }

  function getAliceTokenID(uint256 _bobTokenId) public view returns(uint256) {
    return _idMapBobToAlice[_bobTokenId];
  }

  function convertFromAliceToBob(uint256 _tokenId) external whenNotPaused() {
    Alice.safeTransferFrom(msg.sender, address(this), _tokenId);
    Bob.safeTransferFrom(address(this), msg.sender, getBobTokenID(_tokenId));
  }

  function convertFromBobToAlice(uint256 _tokenId) external whenNotPaused() {
    Bob.safeTransferFrom(msg.sender, address(this), _tokenId);
    Alice.safeTransferFrom(address(this), msg.sender, getAliceTokenID(_tokenId));
  }
}

• No Contract Security Audit Submitted- Submit Audit Here

[{"constant":false,"inputs":[{"name":"","type":"address"},{"name":"","type":"address"},{"name":"","type":"uint256"},{"name":"","type":"bytes"}],"name":"onERC721Received","outputs":[{"name":"","type":"bytes4"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"name":"_aliceTokenIds","type":"uint256[]"},{"name":"_bobTokenIds","type":"uint256[]"}],"name":"draftAliceTokens","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[{"name":"_bobTokenId","type":"uint256"}],"name":"getAliceTokenID","outputs":[{"name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"name":"_newAlice","type":"address"}],"name":"updateAlice","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"name":"_tokenId","type":"uint256"}],"name":"convertFromBobToAlice","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[],"name":"unpause","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[],"name":"paused","outputs":[{"name":"","type":"bool"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"name":"_bobTokenIds","type":"uint256[]"},{"name":"_aliceTokenIds","type":"uint256[]"}],"name":"draftBobTokens","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[{"name":"account","type":"address"}],"name":"isOperator","outputs":[{"name":"","type":"bool"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"name":"_newBob","type":"address"}],"name":"updateBob","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[],"name":"renounceOwnership","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[{"name":"_aliceTokenId","type":"uint256"}],"name":"getBobTokenID","outputs":[{"name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[],"name":"pause","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"name":"_tokenId","type":"uint256"}],"name":"convertFromAliceToBob","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"name":"_bobTokenId","type":"uint256"},{"name":"_aliceTokenId","type":"uint256"}],"name":"draftBobToken","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":"isOwner","outputs":[{"name":"","type":"bool"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"name":"account","type":"address"}],"name":"addOperator","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"name":"account","type":"address"}],"name":"removeOperator","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[],"name":"bobContract","outputs":[{"name":"","type":"address"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"name":"_spender","type":"address"}],"name":"approve","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[],"name":"aliceContract","outputs":[{"name":"","type":"address"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"name":"_spender","type":"address"}],"name":"dismiss","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[],"name":"approveOnce","outputs":[{"name":"","type":"bool"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"name":"newOwner","type":"address"}],"name":"transferOwnership","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"name":"_aliceTokenId","type":"uint256"},{"name":"_bobTokenId","type":"uint256"}],"name":"draftAliceToken","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"inputs":[{"name":"_alice","type":"address"},{"name":"_bob","type":"address"}],"payable":false,"stateMutability":"nonpayable","type":"constructor"},{"anonymous":false,"inputs":[{"indexed":true,"name":"account","type":"address"}],"name":"OperatorAdded","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"name":"account","type":"address"}],"name":"OperatorRemoved","type":"event"},{"anonymous":false,"inputs":[{"indexed":false,"name":"account","type":"address"}],"name":"Paused","type":"event"},{"anonymous":false,"inputs":[{"indexed":false,"name":"account","type":"address"}],"name":"Unpaused","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"name":"previousOwner","type":"address"},{"indexed":true,"name":"newOwner","type":"address"}],"name":"OwnershipTransferred","type":"event"}]

60806040526000600560146101000a81548160ff0219169083151502179055503480156200002c57600080fd5b5060405160408062002c99833981018060405260408110156200004e57600080fd5b810190808051906020019092919080519060200190929190505050336000806101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055506000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16600073ffffffffffffffffffffffffffffffffffffffff167f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e060405160405180910390a362000149336001620002b3640100000000026200246c179091906401000000009004565b60008060146101000a81548160ff02191690831515021790555081600460006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555080600560006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff160217905550600460009054906101000a900473ffffffffffffffffffffffffffffffffffffffff16600260006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff160217905550600560009054906101000a900473ffffffffffffffffffffffffffffffffffffffff16600360006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff160217905550505062000484565b620002ce8282620003a2640100000000026401000000009004565b15151562000344576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252601f8152602001807f526f6c65733a206163636f756e7420616c72656164792068617320726f6c650081525060200191505060405180910390fd5b60018260000160008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006101000a81548160ff0219169083151502179055505050565b60008073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff16141515156200042d576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252602281526020018062002c776022913960400191505060405180910390fd5b8260000160008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff16905092915050565b6127e380620004946000396000f3fe608060405234801561001057600080fd5b50600436106101ab576000357c0100000000000000000000000000000000000000000000000000000000900480638a23f03e116100fb578063b7e39e4b116100b4578063e7bdd0bf1161008e578063e7bdd0bf146109a7578063eb5d2125146109eb578063f2fde38b14610a0d578063ffe6722d14610a51576101ab565b8063b7e39e4b146108cf578063daea85c514610919578063ded392d91461095d576101ab565b80638a23f03e146107755780638cf0e507146107a35780638da5cb5b146107db5780638f32d59b146108255780639870d7fe14610847578063ac8a584a1461088b576101ab565b80635c975abb116101685780636f7c0e05116101425780636f7c0e05146106db578063715018a61461071f5780637debc299146107295780638456cb591461076b576101ab565b80635c975abb146105115780635e0a2134146105335780636d70f7ae1461067f576101ab565b8063150b7a02146101b05780632533796c14610307578063320b846714610453578063353f1212146104955780633bb0cc4e146104d95780633f4ba83a14610507575b600080fd5b6102b3600480360360808110156101c657600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803590602001909291908035906020019064010000000081111561022d57600080fd5b82018360208201111561023f57600080fd5b8035906020019184600183028401116401000000008311171561026157600080fd5b91908080601f016020809104026020016040519081016040528093929190818152602001838380828437600081840152601f19601f820116905080830192505050505050509192919290505050610a89565b60405180827bffffffffffffffffffffffffffffffffffffffffffffffffffffffff19167bffffffffffffffffffffffffffffffffffffffffffffffffffffffff1916815260200191505060405180910390f35b6104516004803603604081101561031d57600080fd5b810190808035906020019064010000000081111561033a57600080fd5b82018360208201111561034c57600080fd5b8035906020019184602083028401116401000000008311171561036e57600080fd5b919080806020026020016040519081016040528093929190818152602001838360200280828437600081840152601f19601f820116905080830192505050505050509192919290803590602001906401000000008111156103ce57600080fd5b8201836020820111156103e057600080fd5b8035906020019184602083028401116401000000008311171561040257600080fd5b919080806020026020016040519081016040528093929190818152602001838360200280828437600081840152601f19601f820116905080830192505050505050509192919290505050610ab9565b005b61047f6004803603602081101561046957600080fd5b8101908080359060200190929190505050610b36565b6040518082815260200191505060405180910390f35b6104d7600480360360208110156104ab57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050610b53565b005b610505600480360360208110156104ef57600080fd5b8101908080359060200190929190505050610bec565b005b61050f610e9e565b005b610519610fb5565b604051808215151515815260200191505060405180910390f35b61067d6004803603604081101561054957600080fd5b810190808035906020019064010000000081111561056657600080fd5b82018360208201111561057857600080fd5b8035906020019184602083028401116401000000008311171561059a57600080fd5b919080806020026020016040519081016040528093929190818152602001838360200280828437600081840152601f19601f820116905080830192505050505050509192919290803590602001906401000000008111156105fa57600080fd5b82018360208201111561060c57600080fd5b8035906020019184602083028401116401000000008311171561062e57600080fd5b919080806020026020016040519081016040528093929190818152602001838360200280828437600081840152601f19601f820116905080830192505050505050509192919290505050610fcb565b005b6106c16004803603602081101561069557600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050611048565b604051808215151515815260200191505060405180910390f35b61071d600480360360208110156106f157600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050611065565b005b6107276110fe565b005b6107556004803603602081101561073f57600080fd5b8101908080359060200190929190505050611239565b6040518082815260200191505060405180910390f35b610773611256565b005b6107a16004803603602081101561078b57600080fd5b810190808035906020019092919050505061136f565b005b6107d9600480360360408110156107b957600080fd5b810190808035906020019092919080359060200190929190505050611621565b005b6107e36118eb565b604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b61082d611914565b604051808215151515815260200191505060405180910390f35b6108896004803603602081101561085d57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919050505061196b565b005b6108cd600480360360208110156108a157600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050611a41565b005b6108d7611b17565b604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b61095b6004803603602081101561092f57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050611b3d565b005b610965611dbe565b604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b6109e9600480360360208110156109bd57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050611de4565b005b6109f3612027565b604051808215151515815260200191505060405180910390f35b610a4f60048036036020811015610a2357600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919050505061203a565b005b610a8760048036036040811015610a6757600080fd5b8101908080359060200190929190803590602001909291905050506120c2565b005b600063150b7a027c0100000000000000000000000000000000000000000000000000000000029050949350505050565b610ac233611048565b1515610acd57600080fd5b80518251141515610add57600080fd5b60008090505b8251811015610b3157610b248382815181101515610afd57fe5b906020019060200201518383815181101515610b1557fe5b906020019060200201516120c2565b8080600101915050610ae3565b505050565b600060076000838152602001908152602001600020549050919050565b610b5c33611048565b1515610b6757600080fd5b80600460006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555080600260006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555050565b600060149054906101000a900460ff16151515610c71576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260108152602001807f5061757361626c653a207061757365640000000000000000000000000000000081525060200191505060405180910390fd5b600360009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff166342842e0e3330846040518463ffffffff167c0100000000000000000000000000000000000000000000000000000000028152600401808473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020018373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020018281526020019350505050600060405180830381600087803b158015610d6a57600080fd5b505af1158015610d7e573d6000803e3d6000fd5b50505050600260009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff166342842e0e3033610dcb85610b36565b6040518463ffffffff167c0100000000000000000000000000000000000000000000000000000000028152600401808473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020018373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020018281526020019350505050600060405180830381600087803b158015610e8357600080fd5b505af1158015610e97573d6000803e3d6000fd5b5050505050565b610ea733611048565b1515610eb257600080fd5b600060149054906101000a900460ff161515610f36576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260148152602001807f5061757361626c653a206e6f742070617573656400000000000000000000000081525060200191505060405180910390fd5b60008060146101000a81548160ff0219169083151502179055507f5db9ee0a495bf2e6ff9c91a7834c1ba4fdd244a5e8aa4e537bd38aeae4b073aa33604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390a1565b60008060149054906101000a900460ff16905090565b610fd433611048565b1515610fdf57600080fd5b81518151141515610fef57600080fd5b60008090505b815181101561104357611036838281518110151561100f57fe5b90602001906020020151838381518110151561102757fe5b90602001906020020151611621565b8080600101915050610ff5565b505050565b600061105e82600161238c90919063ffffffff16565b9050919050565b61106e33611048565b151561107957600080fd5b80600560006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555080600360006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555050565b611106611914565b151561117a576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260208152602001807f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e657281525060200191505060405180910390fd5b600073ffffffffffffffffffffffffffffffffffffffff166000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff167f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e060405160405180910390a360008060006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff160217905550565b600060066000838152602001908152602001600020549050919050565b61125f33611048565b151561126a57600080fd5b600060149054906101000a900460ff161515156112ef576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260108152602001807f5061757361626c653a207061757365640000000000000000000000000000000081525060200191505060405180910390fd5b6001600060146101000a81548160ff0219169083151502179055507f62e78cea01bee320cd4e420270b5ea74000d11b0c9f74754ebdbfc544b05a25833604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390a1565b600060149054906101000a900460ff161515156113f4576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260108152602001807f5061757361626c653a207061757365640000000000000000000000000000000081525060200191505060405180910390fd5b600260009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff166342842e0e3330846040518463ffffffff167c0100000000000000000000000000000000000000000000000000000000028152600401808473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020018373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020018281526020019350505050600060405180830381600087803b1580156114ed57600080fd5b505af1158015611501573d6000803e3d6000fd5b50505050600360009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff166342842e0e303361154e85611239565b6040518463ffffffff167c0100000000000000000000000000000000000000000000000000000000028152600401808473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020018373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020018281526020019350505050600060405180830381600087803b15801561160657600080fd5b505af115801561161a573d6000803e3d6000fd5b5050505050565b61162a33611048565b151561163557600080fd5b3073ffffffffffffffffffffffffffffffffffffffff16600360009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16636352211e846040518263ffffffff167c01000000000000000000000000000000000000000000000000000000000281526004018082815260200191505060206040518083038186803b1580156116db57600080fd5b505afa1580156116ef573d6000803e3d6000fd5b505050506040513d602081101561170557600080fd5b810190808051906020019092919050505073ffffffffffffffffffffffffffffffffffffffff161415156117a1576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260188152602001807f5f626f62546f6b656e4964206973206e6f74206f776e6564000000000000000081525060200191505060405180910390fd5b6000600760008481526020019081526020016000205414151561182c576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252601e8152602001807f5f626f62546f6b656e496420697320616c72656164792061737369676e64000081525060200191505060405180910390fd5b600060066000838152602001908152602001600020541415156118b7576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260208152602001807f5f616c696365546f6b656e496420697320616c72656164792061737369676e6481525060200191505060405180910390fd5b8060076000848152602001908152602001600020819055508160066000838152602001908152602001600020819055505050565b60008060009054906101000a900473ffffffffffffffffffffffffffffffffffffffff16905090565b60008060009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1614905090565b611973611914565b15156119e7576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260208152602001807f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e657281525060200191505060405180910390fd5b6119fb81600161246c90919063ffffffff16565b8073ffffffffffffffffffffffffffffffffffffffff167fac6fa858e9350a46cec16539926e0fde25b7629f84b5a72bffaae4df888ae86d60405160405180910390a250565b611a49611914565b1515611abd576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260208152602001807f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e657281525060200191505060405180910390fd5b611ad181600161254990919063ffffffff16565b8073ffffffffffffffffffffffffffffffffffffffff167f80c0b871b97b595b16a7741c1b06fed0c6f6f558639f18ccbce50724325dc40d60405160405180910390a250565b600560009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b611b45611914565b1515611bb9576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260208152602001807f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e657281525060200191505060405180910390fd5b60011515600560149054906101000a900460ff16151514151515611bdc57600080fd5b600260009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1663a22cb4658260016040518363ffffffff167c0100000000000000000000000000000000000000000000000000000000028152600401808373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020018215151515815260200192505050600060405180830381600087803b158015611ca657600080fd5b505af1158015611cba573d6000803e3d6000fd5b50505050600360009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1663a22cb4658260016040518363ffffffff167c0100000000000000000000000000000000000000000000000000000000028152600401808373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020018215151515815260200192505050600060405180830381600087803b158015611d8857600080fd5b505af1158015611d9c573d6000803e3d6000fd5b505050506001600560146101000a81548160ff02191690831515021790555050565b600460009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b611dec611914565b1515611e60576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260208152602001807f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e657281525060200191505060405180910390fd5b600260009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1663a22cb4658260006040518363ffffffff167c0100000000000000000000000000000000000000000000000000000000028152600401808373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020018215151515815260200192505050600060405180830381600087803b158015611f2a57600080fd5b505af1158015611f3e573d6000803e3d6000fd5b50505050600360009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1663a22cb4658260006040518363ffffffff167c0100000000000000000000000000000000000000000000000000000000028152600401808373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020018215151515815260200192505050600060405180830381600087803b15801561200c57600080fd5b505af1158015612020573d6000803e3d6000fd5b5050505050565b600560149054906101000a900460ff1681565b612042611914565b15156120b6576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260208152602001807f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e657281525060200191505060405180910390fd5b6120bf81612608565b50565b6120cb33611048565b15156120d657600080fd5b3073ffffffffffffffffffffffffffffffffffffffff16600260009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16636352211e846040518263ffffffff167c01000000000000000000000000000000000000000000000000000000000281526004018082815260200191505060206040518083038186803b15801561217c57600080fd5b505afa158015612190573d6000803e3d6000fd5b505050506040513d60208110156121a657600080fd5b810190808051906020019092919050505073ffffffffffffffffffffffffffffffffffffffff16141515612242576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252601a8152602001807f5f616c696365546f6b656e4964206973206e6f74206f776e656400000000000081525060200191505060405180910390fd5b600060066000848152602001908152602001600020541415156122cd576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260208152602001807f5f616c696365546f6b656e496420697320616c72656164792061737369676e6481525060200191505060405180910390fd5b60006007600083815260200190815260200160002054141515612358576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252601e8152602001807f5f626f62546f6b656e496420697320616c72656164792061737369676e64000081525060200191505060405180910390fd5b8060066000848152602001908152602001600020819055508160076000838152602001908152602001600020819055505050565b60008073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff1614151515612415576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260228152602001806127966022913960400191505060405180910390fd5b8260000160008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff16905092915050565b612476828261238c565b1515156124eb576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252601f8152602001807f526f6c65733a206163636f756e7420616c72656164792068617320726f6c650081525060200191505060405180910390fd5b60018260000160008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006101000a81548160ff0219169083151502179055505050565b612553828261238c565b15156125aa576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260218152602001806127756021913960400191505060405180910390fd5b60008260000160008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006101000a81548160ff0219169083151502179055505050565b600073ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff1614151515612690576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252602681526020018061274f6026913960400191505060405180910390fd5b8073ffffffffffffffffffffffffffffffffffffffff166000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff167f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e060405160405180910390a3806000806101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055505056fe4f776e61626c653a206e6577206f776e657220697320746865207a65726f2061646472657373526f6c65733a206163636f756e7420646f6573206e6f74206861766520726f6c65526f6c65733a206163636f756e7420697320746865207a65726f2061646472657373a165627a7a72305820ac119f41c2daa823829621ffb30c4582f6ae372b71974a52b1dbcf542bf8a9730029526f6c65733a206163636f756e7420697320746865207a65726f2061646472657373000000000000000000000000e7af11370c3bab51230d8307454350bdf6d68f4a00000000000000000000000067cbbb366a51fff9ad869d027e496ba49f5f6d55

0x608060405234801561001057600080fd5b50600436106101ab576000357c0100000000000000000000000000000000000000000000000000000000900480638a23f03e116100fb578063b7e39e4b116100b4578063e7bdd0bf1161008e578063e7bdd0bf146109a7578063eb5d2125146109eb578063f2fde38b14610a0d578063ffe6722d14610a51576101ab565b8063b7e39e4b146108cf578063daea85c514610919578063ded392d91461095d576101ab565b80638a23f03e146107755780638cf0e507146107a35780638da5cb5b146107db5780638f32d59b146108255780639870d7fe14610847578063ac8a584a1461088b576101ab565b80635c975abb116101685780636f7c0e05116101425780636f7c0e05146106db578063715018a61461071f5780637debc299146107295780638456cb591461076b576101ab565b80635c975abb146105115780635e0a2134146105335780636d70f7ae1461067f576101ab565b8063150b7a02146101b05780632533796c14610307578063320b846714610453578063353f1212146104955780633bb0cc4e146104d95780633f4ba83a14610507575b600080fd5b6102b3600480360360808110156101c657600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803590602001909291908035906020019064010000000081111561022d57600080fd5b82018360208201111561023f57600080fd5b8035906020019184600183028401116401000000008311171561026157600080fd5b91908080601f016020809104026020016040519081016040528093929190818152602001838380828437600081840152601f19601f820116905080830192505050505050509192919290505050610a89565b60405180827bffffffffffffffffffffffffffffffffffffffffffffffffffffffff19167bffffffffffffffffffffffffffffffffffffffffffffffffffffffff1916815260200191505060405180910390f35b6104516004803603604081101561031d57600080fd5b810190808035906020019064010000000081111561033a57600080fd5b82018360208201111561034c57600080fd5b8035906020019184602083028401116401000000008311171561036e57600080fd5b919080806020026020016040519081016040528093929190818152602001838360200280828437600081840152601f19601f820116905080830192505050505050509192919290803590602001906401000000008111156103ce57600080fd5b8201836020820111156103e057600080fd5b8035906020019184602083028401116401000000008311171561040257600080fd5b919080806020026020016040519081016040528093929190818152602001838360200280828437600081840152601f19601f820116905080830192505050505050509192919290505050610ab9565b005b61047f6004803603602081101561046957600080fd5b8101908080359060200190929190505050610b36565b6040518082815260200191505060405180910390f35b6104d7600480360360208110156104ab57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050610b53565b005b610505600480360360208110156104ef57600080fd5b8101908080359060200190929190505050610bec565b005b61050f610e9e565b005b610519610fb5565b604051808215151515815260200191505060405180910390f35b61067d6004803603604081101561054957600080fd5b810190808035906020019064010000000081111561056657600080fd5b82018360208201111561057857600080fd5b8035906020019184602083028401116401000000008311171561059a57600080fd5b919080806020026020016040519081016040528093929190818152602001838360200280828437600081840152601f19601f820116905080830192505050505050509192919290803590602001906401000000008111156105fa57600080fd5b82018360208201111561060c57600080fd5b8035906020019184602083028401116401000000008311171561062e57600080fd5b919080806020026020016040519081016040528093929190818152602001838360200280828437600081840152601f19601f820116905080830192505050505050509192919290505050610fcb565b005b6106c16004803603602081101561069557600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050611048565b604051808215151515815260200191505060405180910390f35b61071d600480360360208110156106f157600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050611065565b005b6107276110fe565b005b6107556004803603602081101561073f57600080fd5b8101908080359060200190929190505050611239565b6040518082815260200191505060405180910390f35b610773611256565b005b6107a16004803603602081101561078b57600080fd5b810190808035906020019092919050505061136f565b005b6107d9600480360360408110156107b957600080fd5b810190808035906020019092919080359060200190929190505050611621565b005b6107e36118eb565b604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b61082d611914565b604051808215151515815260200191505060405180910390f35b6108896004803603602081101561085d57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919050505061196b565b005b6108cd600480360360208110156108a157600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050611a41565b005b6108d7611b17565b604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b61095b6004803603602081101561092f57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050611b3d565b005b610965611dbe565b604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b6109e9600480360360208110156109bd57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050611de4565b005b6109f3612027565b604051808215151515815260200191505060405180910390f35b610a4f60048036036020811015610a2357600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919050505061203a565b005b610a8760048036036040811015610a6757600080fd5b8101908080359060200190929190803590602001909291905050506120c2565b005b600063150b7a027c0100000000000000000000000000000000000000000000000000000000029050949350505050565b610ac233611048565b1515610acd57600080fd5b80518251141515610add57600080fd5b60008090505b8251811015610b3157610b248382815181101515610afd57fe5b906020019060200201518383815181101515610b1557fe5b906020019060200201516120c2565b8080600101915050610ae3565b505050565b600060076000838152602001908152602001600020549050919050565b610b5c33611048565b1515610b6757600080fd5b80600460006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555080600260006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555050565b600060149054906101000a900460ff16151515610c71576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260108152602001807f5061757361626c653a207061757365640000000000000000000000000000000081525060200191505060405180910390fd5b600360009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff166342842e0e3330846040518463ffffffff167c0100000000000000000000000000000000000000000000000000000000028152600401808473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020018373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020018281526020019350505050600060405180830381600087803b158015610d6a57600080fd5b505af1158015610d7e573d6000803e3d6000fd5b50505050600260009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff166342842e0e3033610dcb85610b36565b6040518463ffffffff167c0100000000000000000000000000000000000000000000000000000000028152600401808473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020018373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020018281526020019350505050600060405180830381600087803b158015610e8357600080fd5b505af1158015610e97573d6000803e3d6000fd5b5050505050565b610ea733611048565b1515610eb257600080fd5b600060149054906101000a900460ff161515610f36576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260148152602001807f5061757361626c653a206e6f742070617573656400000000000000000000000081525060200191505060405180910390fd5b60008060146101000a81548160ff0219169083151502179055507f5db9ee0a495bf2e6ff9c91a7834c1ba4fdd244a5e8aa4e537bd38aeae4b073aa33604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390a1565b60008060149054906101000a900460ff16905090565b610fd433611048565b1515610fdf57600080fd5b81518151141515610fef57600080fd5b60008090505b815181101561104357611036838281518110151561100f57fe5b90602001906020020151838381518110151561102757fe5b90602001906020020151611621565b8080600101915050610ff5565b505050565b600061105e82600161238c90919063ffffffff16565b9050919050565b61106e33611048565b151561107957600080fd5b80600560006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555080600360006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555050565b611106611914565b151561117a576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260208152602001807f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e657281525060200191505060405180910390fd5b600073ffffffffffffffffffffffffffffffffffffffff166000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff167f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e060405160405180910390a360008060006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff160217905550565b600060066000838152602001908152602001600020549050919050565b61125f33611048565b151561126a57600080fd5b600060149054906101000a900460ff161515156112ef576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260108152602001807f5061757361626c653a207061757365640000000000000000000000000000000081525060200191505060405180910390fd5b6001600060146101000a81548160ff0219169083151502179055507f62e78cea01bee320cd4e420270b5ea74000d11b0c9f74754ebdbfc544b05a25833604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390a1565b600060149054906101000a900460ff161515156113f4576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260108152602001807f5061757361626c653a207061757365640000000000000000000000000000000081525060200191505060405180910390fd5b600260009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff166342842e0e3330846040518463ffffffff167c0100000000000000000000000000000000000000000000000000000000028152600401808473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020018373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020018281526020019350505050600060405180830381600087803b1580156114ed57600080fd5b505af1158015611501573d6000803e3d6000fd5b50505050600360009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff166342842e0e303361154e85611239565b6040518463ffffffff167c0100000000000000000000000000000000000000000000000000000000028152600401808473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020018373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020018281526020019350505050600060405180830381600087803b15801561160657600080fd5b505af115801561161a573d6000803e3d6000fd5b5050505050565b61162a33611048565b151561163557600080fd5b3073ffffffffffffffffffffffffffffffffffffffff16600360009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16636352211e846040518263ffffffff167c01000000000000000000000000000000000000000000000000000000000281526004018082815260200191505060206040518083038186803b1580156116db57600080fd5b505afa1580156116ef573d6000803e3d6000fd5b505050506040513d602081101561170557600080fd5b810190808051906020019092919050505073ffffffffffffffffffffffffffffffffffffffff161415156117a1576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260188152602001807f5f626f62546f6b656e4964206973206e6f74206f776e6564000000000000000081525060200191505060405180910390fd5b6000600760008481526020019081526020016000205414151561182c576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252601e8152602001807f5f626f62546f6b656e496420697320616c72656164792061737369676e64000081525060200191505060405180910390fd5b600060066000838152602001908152602001600020541415156118b7576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260208152602001807f5f616c696365546f6b656e496420697320616c72656164792061737369676e6481525060200191505060405180910390fd5b8060076000848152602001908152602001600020819055508160066000838152602001908152602001600020819055505050565b60008060009054906101000a900473ffffffffffffffffffffffffffffffffffffffff16905090565b60008060009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1614905090565b611973611914565b15156119e7576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260208152602001807f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e657281525060200191505060405180910390fd5b6119fb81600161246c90919063ffffffff16565b8073ffffffffffffffffffffffffffffffffffffffff167fac6fa858e9350a46cec16539926e0fde25b7629f84b5a72bffaae4df888ae86d60405160405180910390a250565b611a49611914565b1515611abd576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260208152602001807f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e657281525060200191505060405180910390fd5b611ad181600161254990919063ffffffff16565b8073ffffffffffffffffffffffffffffffffffffffff167f80c0b871b97b595b16a7741c1b06fed0c6f6f558639f18ccbce50724325dc40d60405160405180910390a250565b600560009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b611b45611914565b1515611bb9576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260208152602001807f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e657281525060200191505060405180910390fd5b60011515600560149054906101000a900460ff16151514151515611bdc57600080fd5b600260009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1663a22cb4658260016040518363ffffffff167c0100000000000000000000000000000000000000000000000000000000028152600401808373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020018215151515815260200192505050600060405180830381600087803b158015611ca657600080fd5b505af1158015611cba573d6000803e3d6000fd5b50505050600360009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1663a22cb4658260016040518363ffffffff167c0100000000000000000000000000000000000000000000000000000000028152600401808373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020018215151515815260200192505050600060405180830381600087803b158015611d8857600080fd5b505af1158015611d9c573d6000803e3d6000fd5b505050506001600560146101000a81548160ff02191690831515021790555050565b600460009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b611dec611914565b1515611e60576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260208152602001807f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e657281525060200191505060405180910390fd5b600260009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1663a22cb4658260006040518363ffffffff167c0100000000000000000000000000000000000000000000000000000000028152600401808373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020018215151515815260200192505050600060405180830381600087803b158015611f2a57600080fd5b505af1158015611f3e573d6000803e3d6000fd5b50505050600360009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1663a22cb4658260006040518363ffffffff167c0100000000000000000000000000000000000000000000000000000000028152600401808373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020018215151515815260200192505050600060405180830381600087803b15801561200c57600080fd5b505af1158015612020573d6000803e3d6000fd5b5050505050565b600560149054906101000a900460ff1681565b612042611914565b15156120b6576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260208152602001807f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e657281525060200191505060405180910390fd5b6120bf81612608565b50565b6120cb33611048565b15156120d657600080fd5b3073ffffffffffffffffffffffffffffffffffffffff16600260009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16636352211e846040518263ffffffff167c01000000000000000000000000000000000000000000000000000000000281526004018082815260200191505060206040518083038186803b15801561217c57600080fd5b505afa158015612190573d6000803e3d6000fd5b505050506040513d60208110156121a657600080fd5b810190808051906020019092919050505073ffffffffffffffffffffffffffffffffffffffff16141515612242576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252601a8152602001807f5f616c696365546f6b656e4964206973206e6f74206f776e656400000000000081525060200191505060405180910390fd5b600060066000848152602001908152602001600020541415156122cd576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260208152602001807f5f616c696365546f6b656e496420697320616c72656164792061737369676e6481525060200191505060405180910390fd5b60006007600083815260200190815260200160002054141515612358576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252601e8152602001807f5f626f62546f6b656e496420697320616c72656164792061737369676e64000081525060200191505060405180910390fd5b8060066000848152602001908152602001600020819055508160076000838152602001908152602001600020819055505050565b60008073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff1614151515612415576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260228152602001806127966022913960400191505060405180910390fd5b8260000160008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff16905092915050565b612476828261238c565b1515156124eb576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252601f8152602001807f526f6c65733a206163636f756e7420616c72656164792068617320726f6c650081525060200191505060405180910390fd5b60018260000160008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006101000a81548160ff0219169083151502179055505050565b612553828261238c565b15156125aa576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260218152602001806127756021913960400191505060405180910390fd5b60008260000160008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006101000a81548160ff0219169083151502179055505050565b600073ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff1614151515612690576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252602681526020018061274f6026913960400191505060405180910390fd5b8073ffffffffffffffffffffffffffffffffffffffff166000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff167f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e060405160405180910390a3806000806101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055505056fe4f776e61626c653a206e6577206f776e657220697320746865207a65726f2061646472657373526f6c65733a206163636f756e7420646f6573206e6f74206861766520726f6c65526f6c65733a206163636f756e7420697320746865207a65726f2061646472657373a165627a7a72305820ac119f41c2daa823829621ffb30c4582f6ae372b71974a52b1dbcf542bf8a9730029

000000000000000000000000e7af11370c3bab51230d8307454350bdf6d68f4a00000000000000000000000067cbbb366a51fff9ad869d027e496ba49f5f6d55

-----Decoded View---------------
Arg [0] : _alice (address): 0xe7aF11370C3BaB51230D8307454350bDf6d68f4a
Arg [1] : _bob (address): 0x67cBBb366a51FFf9ad869d027E496Ba49f5f6D55

-----Encoded View---------------
2 Constructor Arguments found :
Arg [0] : 000000000000000000000000e7af11370c3bab51230d8307454350bdf6d68f4a
Arg [1] : 00000000000000000000000067cbbb366a51fff9ad869d027e496ba49f5f6d55

6983:3420:0:-;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;6983:3420:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;5474:147;;;;;;13:3:-1;8;5:12;2:2;;;30:1;27;20:12;2:2;5474:147:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;21:11:-1;8;5:28;2:2;;;46:1;43;36:12;2:2;5474:147:0;;35:9:-1;28:4;12:14;8:25;5:40;2:2;;;58:1;55;48:12;2:2;5474:147:0;;;;;;100:9:-1;95:1;81:12;77:20;67:8;63:35;60:50;39:11;25:12;22:29;11:107;8:2;;;131:1;128;121:12;8:2;5474:147:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;30:3:-1;22:6;14;1:33;99:1;93:3;85:6;81:16;74:27;137:4;133:9;126:4;121:3;117:14;113:30;106:37;;169:3;161:6;157:16;147:26;;5474:147:0;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;8128:304;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;8128:304:0;;;;;;;;;;21:11:-1;8;5:28;2:2;;;46:1;43;36:12;2:2;8128:304:0;;35:9:-1;28:4;12:14;8:25;5:40;2:2;;;58:1;55;48:12;2:2;8128:304:0;;;;;;101:9:-1;95:2;81:12;77:21;67:8;63:36;60:51;39:11;25:12;22:29;11:108;8:2;;;132:1;129;122:12;8:2;8128:304:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;30:3:-1;22:6;14;1:33;99:1;93:3;85:6;81:16;74:27;137:4;133:9;126:4;121:3;117:14;113:30;106:37;;169:3;161:6;157:16;147:26;;8128:304:0;;;;;;;;;;;;;;;;;21:11:-1;8;5:28;2:2;;;46:1;43;36:12;2:2;8128:304:0;;35:9:-1;28:4;12:14;8:25;5:40;2:2;;;58:1;55;48:12;2:2;8128:304:0;;;;;;101:9:-1;95:2;81:12;77:21;67:8;63:36;60:51;39:11;25:12;22:29;11:108;8:2;;;132:1;129;122:12;8:2;8128:304:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;30:3:-1;22:6;14;1:33;99:1;93:3;85:6;81:16;74:27;137:4;133:9;126:4;121:3;117:14;113:30;106:37;;169:3;161:6;157:16;147:26;;8128:304:0;;;;;;;;;;;;;;;:::i;:::-;;9812:124;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;9812:124:0;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;7860:134;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;7860:134:0;;;;;;;;;;;;;;;;;;;:::i;:::-;;10173:227;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;10173:227:0;;;;;;;;;;;;;;;;;:::i;:::-;;6862:112;;;:::i;:::-;;6666:72;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;8438:300;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;8438:300:0;;;;;;;;;;21:11:-1;8;5:28;2:2;;;46:1;43;36:12;2:2;8438:300:0;;35:9:-1;28:4;12:14;8:25;5:40;2:2;;;58:1;55;48:12;2:2;8438:300:0;;;;;;101:9:-1;95:2;81:12;77:21;67:8;63:36;60:51;39:11;25:12;22:29;11:108;8:2;;;132:1;129;122:12;8:2;8438:300:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;30:3:-1;22:6;14;1:33;99:1;93:3;85:6;81:16;74:27;137:4;133:9;126:4;121:3;117:14;113:30;106:37;;169:3;161:6;157:16;147:26;;8438:300:0;;;;;;;;;;;;;;;;;21:11:-1;8;5:28;2:2;;;46:1;43;36:12;2:2;8438:300:0;;35:9:-1;28:4;12:14;8:25;5:40;2:2;;;58:1;55;48:12;2:2;8438:300:0;;;;;;101:9:-1;95:2;81:12;77:21;67:8;63:36;60:51;39:11;25:12;22:29;11:108;8:2;;;132:1;129;122:12;8:2;8438:300:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;30:3:-1;22:6;14;1:33;99:1;93:3;85:6;81:16;74:27;137:4;133:9;126:4;121:3;117:14;113:30;106:37;;169:3;161:6;157:16;147:26;;8438:300:0;;;;;;;;;;;;;;;:::i;:::-;;6282:106;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;6282:106:0;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;8000:122;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;8000:122:0;;;;;;;;;;;;;;;;;;;:::i;:::-;;1560:140;;;:::i;:::-;;9680:126;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;9680:126:0;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;6744:112;;;:::i;:::-;;9942:225;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;9942:225:0;;;;;;;;;;;;;;;;;:::i;:::-;;9216:458;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;9216:458:0;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;749:79;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;1115:92;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;6394:126;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;6394:126:0;;;;;;;;;;;;;;;;;;;:::i;:::-;;6526:134;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;6526:134:0;;;;;;;;;;;;;;;;;;;:::i;:::-;;7110:26;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;7482:212;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;7482:212:0;;;;;;;;;;;;;;;;;;;:::i;:::-;;7077:28;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;7700:154;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;7700:154:0;;;;;;;;;;;;;;;;;;;:::i;:::-;;7143:31;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;1855:109;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;1855:109:0;;;;;;;;;;;;;;;;;;;:::i;:::-;;8744:466;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;8744:466:0;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;5474:147;5557:6;5583:30;;;5576:37;;5474:147;;;;;;:::o;8128:304::-;6061:22;6072:10;6061;:22::i;:::-;6053:31;;;;;;;;8280:12;:19;8255:14;:21;:44;8247:53;;;;;;;;8312:9;8324:1;8312:13;;8307:120;8331:14;:21;8327:1;:25;8307:120;;;8368:51;8384:14;8399:1;8384:17;;;;;;;;;;;;;;;;;;8403:12;8416:1;8403:15;;;;;;;;;;;;;;;;;;8368;:51::i;:::-;8354:3;;;;;;;8307:120;;;;8128:304;;:::o;9812:124::-;9878:7;9901:16;:29;9918:11;9901:29;;;;;;;;;;;;9894:36;;9812:124;;;:::o;7860:134::-;6061:22;6072:10;6061;:22::i;:::-;6053:31;;;;;;;;7947:9;7931:13;;:25;;;;;;;;;;;;;;;;;;7978:9;7963:5;;:25;;;;;;;;;;;;;;;;;;7860:134;:::o;10173:227::-;6145:7;;;;;;;;;;;6144:8;6136:37;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;10254:3;;;;;;;;;;;:20;;;10275:10;10295:4;10302:8;10254:57;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;10254:57:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;10254:57:0;;;;10318:5;;;;;;;;;;;:22;;;10349:4;10356:10;10368:25;10384:8;10368:15;:25::i;:::-;10318:76;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;10318:76:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;10318:76:0;;;;10173:227;:::o;6862:112::-;6061:22;6072:10;6061;:22::i;:::-;6053:31;;;;;;;;6230:7;;;;;;;;;;;6222:40;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;6931:5;6921:7;;:15;;;;;;;;;;;;;;;;;;6948:20;6957:10;6948:20;;;;;;;;;;;;;;;;;;;;;;6862:112::o;6666:72::-;6705:4;6725:7;;;;;;;;;;;6718:14;;6666:72;:::o;8438:300::-;6061:22;6072:10;6061;:22::i;:::-;6053:31;;;;;;;;8588:12;:19;8563:14;:21;:44;8555:53;;;;;;;;8620:9;8632:1;8620:13;;8615:118;8639:14;:21;8635:1;:25;8615:118;;;8676:49;8690:12;8703:1;8690:15;;;;;;;;;;;;;;;;;;8707:14;8722:1;8707:17;;;;;;;;;;;;;;;;;;8676:13;:49::i;:::-;8662:3;;;;;;;8615:118;;;;8438:300;;:::o;6282:106::-;6340:4;6360:22;6374:7;6360:9;:13;;:22;;;;:::i;:::-;6353:29;;6282:106;;;:::o;8000:122::-;6061:22;6072:10;6061;:22::i;:::-;6053:31;;;;;;;;8081:7;8067:11;;:21;;;;;;;;;;;;;;;;;;8108:7;8095:3;;:21;;;;;;;;;;;;;;;;;;8000:122;:::o;1560:140::-;961:9;:7;:9::i;:::-;953:54;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;1659:1;1622:40;;1643:6;;;;;;;;;;;1622:40;;;;;;;;;;;;1690:1;1673:6;;:19;;;;;;;;;;;;;;;;;;1560:140::o;9680:126::-;9746:7;9769:16;:31;9786:13;9769:31;;;;;;;;;;;;9762:38;;9680:126;;;:::o;6744:112::-;6061:22;6072:10;6061;:22::i;:::-;6053:31;;;;;;;;6145:7;;;;;;;;;;;6144:8;6136:37;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;6816:4;6806:7;;:14;;;;;;;;;;;;;;;;;;6832:18;6839:10;6832:18;;;;;;;;;;;;;;;;;;;;;;6744:112::o;9942:225::-;6145:7;;;;;;;;;;;6144:8;6136:37;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;10023:5;;;;;;;;;;;:22;;;10046:10;10066:4;10073:8;10023:59;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;10023:59:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;10023:59:0;;;;10089:3;;;;;;;;;;;:20;;;10118:4;10125:10;10137:23;10151:8;10137:13;:23::i;:::-;10089:72;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;10089:72:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;10089:72:0;;;;9942:225;:::o;9216:458::-;6061:22;6072:10;6061;:22::i;:::-;6053:31;;;;;;;;9356:4;9320:41;;:3;;;;;;;;;;;:11;;;9332;9320:24;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;9320:24:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;9320:24:0;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;9320:24:0;;;;;;;;;;;;;;;;:41;;;9312:78;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;9438:1;9405:16;:29;9422:11;9405:29;;;;;;;;;;;;:34;9397:77;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;9524:1;9489:16;:31;9506:13;9489:31;;;;;;;;;;;;:36;9481:81;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;9603:13;9571:16;:29;9588:11;9571:29;;;;;;;;;;;:45;;;;9657:11;9623:16;:31;9640:13;9623:31;;;;;;;;;;;:45;;;;9216:458;;:::o;749:79::-;787:7;814:6;;;;;;;;;;;807:13;;749:79;:::o;1115:92::-;1155:4;1193:6;;;;;;;;;;;1179:20;;:10;:20;;;1172:27;;1115:92;:::o;6394:126::-;961:9;:7;:9::i;:::-;953:54;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;6458:22;6472:7;6458:9;:13;;:22;;;;:::i;:::-;6506:7;6492:22;;;;;;;;;;;;6394:126;:::o;6526:134::-;961:9;:7;:9::i;:::-;953:54;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;6593:25;6610:7;6593:9;:16;;:25;;;;:::i;:::-;6646:7;6630:24;;;;;;;;;;;;6526:134;:::o;7110:26::-;;;;;;;;;;;;;:::o;7482:212::-;961:9;:7;:9::i;:::-;953:54;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;7568:4;7553:19;;:11;;;;;;;;;;;:19;;;;7545:28;;;;;;;;7580:5;;;;;;;;;;;:23;;;7604:8;7614:4;7580:39;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;7580:39:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;7580:39:0;;;;7626:3;;;;;;;;;;;:21;;;7648:8;7658:4;7626:37;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;7626:37:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;7626:37:0;;;;7684:4;7670:11;;:18;;;;;;;;;;;;;;;;;;7482:212;:::o;7077:28::-;;;;;;;;;;;;;:::o;7700:154::-;961:9;:7;:9::i;:::-;953:54;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;7763:5;;;;;;;;;;;:23;;;7787:8;7797:5;7763:40;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;7763:40:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;7763:40:0;;;;7810:3;;;;;;;;;;;:21;;;7832:8;7842:5;7810:38;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;7810:38:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;7810:38:0;;;;7700:154;:::o;7143:31::-;;;;;;;;;;;;;:::o;1855:109::-;961:9;:7;:9::i;:::-;953:54;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;1928:28;1947:8;1928:18;:28::i;:::-;1855:109;:::o;8744:466::-;6061:22;6072:10;6061;:22::i;:::-;6053:31;;;;;;;;8890:4;8850:45;;:5;;;;;;;;;;;:13;;;8864;8850:28;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;8850:28:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;8850:28:0;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;8850:28:0;;;;;;;;;;;;;;;;:45;;;8842:84;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8976:1;8941:16;:31;8958:13;8941:31;;;;;;;;;;;;:36;8933:81;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;9062:1;9029:16;:29;9046:11;9029:29;;;;;;;;;;;;:34;9021:77;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;9141:11;9107:16;:31;9124:13;9107:31;;;;;;;;;;;:45;;;;9191:13;9159:16;:29;9176:11;9159:29;;;;;;;;;;;:45;;;;8744:466;;:::o;3002:203::-;3074:4;3118:1;3099:21;;:7;:21;;;;3091:68;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;3177:4;:11;;:20;3189:7;3177:20;;;;;;;;;;;;;;;;;;;;;;;;;3170:27;;3002:203;;;;:::o;2466:178::-;2544:18;2548:4;2554:7;2544:3;:18::i;:::-;2543:19;2535:63;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;2632:4;2609;:11;;:20;2621:7;2609:20;;;;;;;;;;;;;;;;:27;;;;;;;;;;;;;;;;;;2466:178;;:::o;2724:183::-;2804:18;2808:4;2814:7;2804:3;:18::i;:::-;2796:64;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;2894:5;2871:4;:11;;:20;2883:7;2871:20;;;;;;;;;;;;;;;;:28;;;;;;;;;;;;;;;;;;2724:183;;:::o;2070:229::-;2164:1;2144:22;;:8;:22;;;;2136:73;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;2254:8;2225:38;;2246:6;;;;;;;;;;;2225:38;;;;;;;;;;;;2283:8;2274:6;;:17;;;;;;;;;;;;;;;;;;2070:229;:::o

bzzr://ac119f41c2daa823829621ffb30c4582f6ae372b71974a52b1dbcf542bf8a973