Contract Source Code (Solidity)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta
• Remix IDE

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

/**
 *Submitted for verification at Etherscan.io on 2019-11-16
*/

// File: contracts/IERC20Token.sol

pragma solidity ^0.4.24;

/*
    ERC20 Standard Token interface
*/
contract IERC20Token {
    // these functions aren't abstract since the compiler emits automatically generated getter functions as external
    function name() public view returns (string) {}
    function symbol() public view returns (string) {}
    function decimals() public view returns (uint8) {}
    function totalSupply() public view returns (uint256) {}
    function balanceOf(address _owner) public view returns (uint256) { _owner; }
    function allowance(address _owner, address _spender) public view returns (uint256) { _owner; _spender; }

    function transfer(address _to, uint256 _value) public returns (bool success);
    function transferFrom(address _from, address _to, uint256 _value) public returns (bool success);
    function approve(address _spender, uint256 _value) public returns (bool success);
}

// File: contracts/Bancor.sol

pragma solidity ^0.4.24;


contract Bancor {
  function claimAndConvert(IERC20Token[] _path, uint256 _amount, uint256 _minReturn) public returns (uint256) {}
  function convert(IERC20Token[] _path, uint256 _amount, uint256 _minReturn) public payable returns (uint256) {}
}

// File: contracts/EtherDelta.sol

pragma solidity ^0.4.24;

contract EtherDelta {
  function deposit() payable {}
  function depositToken(address token, uint amount) {}
  function withdraw(uint amount) {}
  function withdrawToken(address token, uint amount) {}
  function trade(address tokenGet, uint amountGet, address tokenGive, uint amountGive, uint expires, uint nonce, address user, uint8 v, bytes32 r, bytes32 s, uint amount) {}
  function balanceOf(address token, address user) constant returns (uint) {}
}

// File: contracts/Token.sol

pragma solidity ^0.4.24;

contract Token {
  /// @return total amount of tokens
  function totalSupply() constant returns (uint256 supply) {}

  /// @param _owner The address from which the balance will be retrieved
  /// @return The balance
  function balanceOf(address _owner) constant returns (uint256 balance) {}

  /// @notice send `_value` token to `_to` from `msg.sender`
  /// @param _to The address of the recipient
  /// @param _value The amount of token to be transferred
  /// @return Whether the transfer was successful or not
  function transfer(address _to, uint256 _value) returns (bool success) {}

  /// @notice send `_value` token to `_to` from `_from` on the condition it is approved by `_from`
  /// @param _from The address of the sender
  /// @param _to The address of the recipient
  /// @param _value The amount of token to be transferred
  /// @return Whether the transfer was successful or not
  function transferFrom(address _from, address _to, uint256 _value) returns (bool success) {}

  /// @notice `msg.sender` approves `_addr` to spend `_value` tokens
  /// @param _spender The address of the account able to transfer the tokens
  /// @param _value The amount of wei to be approved for transfer
  /// @return Whether the approval was successful or not
  function approve(address _spender, uint256 _value) returns (bool success) {}

  /// @param _owner The address of the account owning tokens
  /// @param _spender The address of the account able to transfer the tokens
  /// @return Amount of remaining tokens allowed to spent
  function allowance(address _owner, address _spender) constant returns (uint256 remaining) {}

  event Transfer(address indexed _from, address indexed _to, uint256 _value);
  event Approval(address indexed _owner, address indexed _spender, uint256 _value);

  uint public decimals;
  string public name;
}

// File: contracts/TokenNoBool.sol

pragma solidity ^0.4.24;

contract TokenNoBool {
  /// @return total amount of tokens
  function totalSupply() constant returns (uint256 supply) {}

  /// @param _owner The address from which the balance will be retrieved
  /// @return The balance
  function balanceOf(address _owner) constant returns (uint256 balance) {}

  /// @notice send `_value` token to `_to` from `msg.sender`
  /// @param _to The address of the recipient
  /// @param _value The amount of token to be transferred
  /// @return Whether the transfer was successful or not
  function transfer(address _to, uint256 _value) {}

  /// @notice send `_value` token to `_to` from `_from` on the condition it is approved by `_from`
  /// @param _from The address of the sender
  /// @param _to The address of the recipient
  /// @param _value The amount of token to be transferred
  /// @return Whether the transfer was successful or not
  function transferFrom(address _from, address _to, uint256 _value) {}

  /// @notice `msg.sender` approves `_addr` to spend `_value` tokens
  /// @param _spender The address of the account able to transfer the tokens
  /// @param _value The amount of wei to be approved for transfer
  /// @return Whether the approval was successful or not
  function approve(address _spender, uint256 _value) {}

  /// @param _owner The address of the account owning tokens
  /// @param _spender The address of the account able to transfer the tokens
  /// @return Amount of remaining tokens allowed to spent
  function allowance(address _owner, address _spender) constant returns (uint256 remaining) {}

  event Transfer(address indexed _from, address indexed _to, uint256 _value);
  event Approval(address indexed _owner, address indexed _spender, uint256 _value);

  uint public decimals;
  string public name;
}

// File: contracts/GST2.sol

pragma solidity ^0.4.24;

contract GST2 {
  function mint(uint256 value) public {}
  function freeUpTo(uint256 value) public returns (uint256 freed) {}
  function freeFromUpTo(address from, uint256 value) public returns (uint256 freed) {}
}

// File: contracts/Arbot.sol

pragma solidity ^0.4.24;
pragma experimental ABIEncoderV2;







contract Arbot {
  enum Exchange { ETHERDELTA, BANCOR }
  struct DeltaTrade {
    DeltaOrder order;
    // amountMinusFee (- 0.3% of delta fee)
    uint256 amount;
  }

  struct DeltaOrder {
    // 0 tokenGet
    // 1 tokenGive
    // 2 order user
    address[3] addresses;
    // 0 amountGet
    // 1 amountGive
    // 2 expires
    // 3 nonce
    uint256[4] values;
    uint8 v;
    bytes32 r;
    bytes32 s;
  }

  EtherDelta etherDelta;
  Bancor bancor;
  address owner;
  address executor;

  modifier onlyOwner() {
    require(msg.sender == owner);
    _;
  }

  modifier onlyOwnerAndExecutor() {
    require(msg.sender == owner || msg.sender == executor);
    _;
  }

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

  function setExecutor(address _newExecutor) public onlyOwner {
    executor = _newExecutor;
  }

  function atomicTrade(
    Exchange buyExchange,
    IERC20Token[] _path,
    // addresses:
    // 0 etherdelta contract address
    // 1 bancor contract address
    // 2 token to trade contract address
    address[3] addresses,
    // values:
    // 0 bancorAmount
    // 1 bancorMinReturn
    // 2 depositAmount
    uint256[3] values,
    DeltaTrade[] deltaTrades,
    bool balanceCheck,
    bool _isProperERC20
  ) internal returns (uint256, uint256) {
    require(addresses[0] != address(0));
    require(addresses[1] != address(0));
    require(addresses[2] != address(0));

    etherDelta = EtherDelta(addresses[0]);
    bancor = Bancor(addresses[1]);

    uint256 balanceBefore = address(this).balance;
    uint256 tokenBalance = 0;
    uint256 ethReturned = 0;

    if (buyExchange == Exchange.ETHERDELTA) {
      tokenBalance = makeBuyTradeEtherDeltaTrade(deltaTrades, values[2]);
      ensureAllowance(addresses[2], address(bancor), tokenBalance, _isProperERC20);
      ethReturned = bancor.claimAndConvert(_path, tokenBalance, values[1]);
    } else {
      tokenBalance = bancor.convert.value(values[0])(_path, values[0], values[1]);
      ensureAllowance(addresses[2], address(etherDelta), tokenBalance, _isProperERC20);
      ethReturned = makeSellTradeEtherDeltaTrade(deltaTrades, tokenBalance);
    }

    if (balanceCheck) {
      require(address(this).balance >= balanceBefore - 1); // 1 due to rounding errors
    }
    return (address(this).balance, ethReturned);
  }

  // we are filling sell orders in delta
  function makeBuyTradeEtherDeltaTrade(DeltaTrade[] trades, uint256 depositValue) private returns (uint256) {
    etherDelta.deposit.value(depositValue)(); // we deposit "amount" (which is in order.amountGet terms which is eth)

    for (uint256 i = 0; i < trades.length; i++) {
      etherDelta.trade(
        trades[i].order.addresses[0], // tokenGet is 0x0
        trades[i].order.values[0], // amountGet
        trades[i].order.addresses[1], // tokenGive
        trades[i].order.values[1], // amountGive

        trades[i].order.values[2], // expires
        trades[i].order.values[3], // nonce
        trades[i].order.addresses[2], // trades[i].order user
        trades[i].order.v, trades[i].order.r, trades[i].order.s, // signature
        trades[i].amount // amountMinusFee (- 0.3% of delta fee)
      );
    }

    // ALWAYS get back eth and tokens in surplus
    deltaWithdrawAllEth();
    return deltaWithdrawAllTokens(trades[0].order.addresses[1]); // tokenGive
  }

  // we are filling a buy order in delta
  function makeSellTradeEtherDeltaTrade(DeltaTrade[] trades, uint256 tokenBalance) private returns (uint256) {
    etherDelta.depositToken(
      trades[0].order.addresses[0], // order.tokenGet
      tokenBalance // which should always be <= tokenBalance
    );

    for (uint256 i = 0; i < trades.length; i++) {
      etherDelta.trade(
        trades[i].order.addresses[0], // tokenGet
        trades[i].order.values[0], // amountGet
        trades[i].order.addresses[1], // tokenGive is 0x0
        trades[i].order.values[1], // amountGive
        trades[i].order.values[2], // expires
        trades[i].order.values[3], // nonce
        trades[i].order.addresses[2], // trades[i].order user
        trades[i].order.v, trades[i].order.r, trades[i].order.s, // signature
        trades[i].amount // amount (- 0.3% of delta fee)
      );
    }

    // ALWAYS get back tokens and eth in surplus
    deltaWithdrawAllTokens(trades[0].order.addresses[0]); // tokenGet
    return deltaWithdrawAllEth();
  }

  function deltaWithdrawAllEth() public onlyOwnerAndExecutor returns (uint256) {
    uint256 ethBalance = etherDelta.balanceOf(0x0000000000000000000000000000000000000000, address(this));
    if (ethBalance != 0) {
      etherDelta.withdraw(ethBalance);
    }
    return ethBalance;
  }

  function deltaWithdrawAllTokens(address token) public onlyOwnerAndExecutor returns (uint256) {
    uint256 tokenBalance = etherDelta.balanceOf(token, address(this));
    if (tokenBalance != 0) {
      etherDelta.withdrawToken(token, tokenBalance);
    }
    return tokenBalance;
  }

  /*
   * Makes token tradeable by setting an allowance for etherDelta and BancorNetwork contract.
   * Also sets an allowance for the owner of the contracts therefore allowing to withdraw tokens.
   */
  /* function setAllowances(address tokenAddr, uint256 amount) public onlyOwner { */
    /* ensureAllowance(tokenAddr, address(etherDelta), amount); */
    /* ensureAllowance(tokenAddr, address(bancor), amount); */
    /* ensureAllowance(tokenAddr, address(this), amount); // This should not be needed */
    /* ensureAllowance(tokenAddr, owner, amount); */
  /* } */


  function ensureAllowance(address tokenAddr, address _spender, uint256 _value, bool _isProperERC20) private {
    // needed for tokens that do not return  book for approve
    if (_isProperERC20) {
      Token _token = Token(tokenAddr);
      // check if allowance for the given amount already exists
      if (_token.allowance(this, _spender) >= _value) {
        return;
      }

      // if the allowance is nonzero, must reset it to 0 first
      if (_token.allowance(this, _spender) != 0) {
        _token.approve(_spender, 0);
      }

      // approve the new allowance
      _token.approve(_spender, _value);
    } else {
      TokenNoBool _tokenNoBool = TokenNoBool(tokenAddr);
      // check if allowance for the given amount already exists
      if (_tokenNoBool.allowance(this, _spender) >= _value) {
        return;
      }

      // if the allowance is nonzero, must reset it to 0 first
      if (_tokenNoBool.allowance(this, _spender) != 0) {
        _tokenNoBool.approve(_spender, 0);
      }

      // approve the new allowance
      _tokenNoBool.approve(_spender, _value);
    }
  }

  function withdraw() external onlyOwner {
    owner.transfer(address(this).balance);
  }

  function withdrawToken(address _token, bool _isProperERC20) external onlyOwner {
    // needed for tokens that do not return bool for transfer
    if (_isProperERC20) {
      Token token = Token(_token);
      token.transfer(owner, token.balanceOf(address(this)));
    } else {
      TokenNoBool tokenNoBool = TokenNoBool(_token);
      tokenNoBool.transfer(owner, tokenNoBool.balanceOf(address(this)));
    }
  }

  function destroyContract() external onlyOwner {
    selfdestruct(owner);
  }

  // fallback function for getting eth sent directly to the contract address
  function() public payable {}

  // ======== Gas Token functions
  function storeGas(uint256 num_tokens) public onlyOwner {
    GST2 gst2 = GST2(0x0000000000b3F879cb30FE243b4Dfee438691c04);
    gst2.mint(num_tokens);
  }
  function useCheapGas(uint256 num_tokens) private returns (uint256 freed) {
    // see here https://github.com/projectchicago/gastoken/blob/master/contract/gst2_free_example.sol
    GST2 gst2 = GST2(0x0000000000b3F879cb30FE243b4Dfee438691c04);

    uint256 safe_num_tokens = 0;
    uint256 gas = msg.gas;

    if (gas >= 27710) {
      safe_num_tokens = (gas - 27710) / (1148 + 5722 + 150);
    }

    if (num_tokens > safe_num_tokens) {
      num_tokens = safe_num_tokens;
    }

    if (num_tokens > 0) {
      return gst2.freeUpTo(num_tokens);
    } else {
      return 0;
    }
  }

  //
  function atomicTradeGST(
    Exchange buyExchange,
    IERC20Token[] _path,
    address[3] addresses,
    uint256[3] values,
    DeltaTrade[] deltaTrades,
    bool balanceCheck,
    uint256 numTokens,
    bool _isProperERC20
  ) public onlyOwnerAndExecutor returns (uint256, uint256) {
    // Free numTokens but always pass
    require(useCheapGas(numTokens) >= 0);
    return atomicTrade(
      buyExchange,
      _path,
      addresses,
      values,
      deltaTrades,
      balanceCheck,
      _isProperERC20
    );
  }
}

• No Contract Security Audit Submitted- Submit Audit Here

[{"constant":false,"inputs":[{"name":"_token","type":"address"},{"name":"_isProperERC20","type":"bool"}],"name":"withdrawToken","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[],"name":"destroyContract","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"name":"_newExecutor","type":"address"}],"name":"setExecutor","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[],"name":"deltaWithdrawAllEth","outputs":[{"name":"","type":"uint256"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[],"name":"withdraw","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"name":"num_tokens","type":"uint256"}],"name":"storeGas","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"name":"buyExchange","type":"uint8"},{"name":"_path","type":"address[]"},{"name":"addresses","type":"address[3]"},{"name":"values","type":"uint256[3]"},{"components":[{"components":[{"name":"addresses","type":"address[3]"},{"name":"values","type":"uint256[4]"},{"name":"v","type":"uint8"},{"name":"r","type":"bytes32"},{"name":"s","type":"bytes32"}],"name":"order","type":"tuple"},{"name":"amount","type":"uint256"}],"name":"deltaTrades","type":"tuple[]"},{"name":"balanceCheck","type":"bool"},{"name":"numTokens","type":"uint256"},{"name":"_isProperERC20","type":"bool"}],"name":"atomicTradeGST","outputs":[{"name":"","type":"uint256"},{"name":"","type":"uint256"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"name":"token","type":"address"}],"name":"deltaWithdrawAllTokens","outputs":[{"name":"","type":"uint256"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"inputs":[],"payable":false,"stateMutability":"nonpayable","type":"constructor"},{"payable":true,"stateMutability":"payable","type":"fallback"}]

608060405234801561001057600080fd5b5060028054600160a060020a031990811633179091556003805490911673a21623fd5dd105f0d2d61327438f4c695aba6dc3179055611cda806100546000396000f3006080604052600436106100745763ffffffff60e060020a600035041663082c6e648114610076578063092a5cce146100965780631c3c0ea8146100ab578063340232e0146100cb5780633ccfd60b146100f65780637f7d6e341461010b5780638a750df31461012b578063c25b49f514610159575b005b34801561008257600080fd5b50610074610091366004611891565b610179565b3480156100a257600080fd5b506100746103bf565b3480156100b757600080fd5b506100746100c6366004611873565b6103e4565b3480156100d757600080fd5b506100e061042a565b6040516100ed9190611bd1565b60405180910390f35b34801561010257600080fd5b50610074610583565b34801561011757600080fd5b506100746101263660046119cd565b6105d7565b34801561013757600080fd5b5061014b6101463660046118e9565b610675565b6040516100ed929190611bdf565b34801561016557600080fd5b506100e0610174366004611873565b6106de565b6002546000908190600160a060020a0316331461019557600080fd5b82156102bc576002546040517f70a08231000000000000000000000000000000000000000000000000000000008152859350600160a060020a038085169263a9059cbb9291169083906370a08231906101f2903090600401611a93565b602060405180830381600087803b15801561020c57600080fd5b505af1158015610220573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525061024491908101906119eb565b6040518363ffffffff1660e060020a028152600401610264929190611ad7565b602060405180830381600087803b15801561027e57600080fd5b505af1158015610292573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052506102b691908101906118cb565b506103b9565b506002546040517f70a082310000000000000000000000000000000000000000000000000000000081528491600160a060020a038084169263a9059cbb929091169083906370a0823190610314903090600401611a93565b602060405180830381600087803b15801561032e57600080fd5b505af1158015610342573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525061036691908101906119eb565b6040518363ffffffff1660e060020a028152600401610386929190611ad7565b600060405180830381600087803b1580156103a057600080fd5b505af11580156103b4573d6000803e3d6000fd5b505050505b50505050565b600254600160a060020a031633146103d657600080fd5b600254600160a060020a0316ff5b600254600160a060020a031633146103fb57600080fd5b6003805473ffffffffffffffffffffffffffffffffffffffff1916600160a060020a0392909216919091179055565b6002546000908190600160a060020a03163314806104525750600354600160a060020a031633145b151561045d57600080fd5b600080546040517ff7888aec000000000000000000000000000000000000000000000000000000008152600160a060020a039091169163f7888aec916104a891903090600401611aa1565b602060405180830381600087803b1580156104c257600080fd5b505af11580156104d6573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052506104fa91908101906119eb565b9050801561057e576000546040517f2e1a7d4d000000000000000000000000000000000000000000000000000000008152600160a060020a0390911690632e1a7d4d9061054b908490600401611bd1565b600060405180830381600087803b15801561056557600080fd5b505af1158015610579573d6000803e3d6000fd5b505050505b919050565b600254600160a060020a0316331461059a57600080fd5b600254604051600160a060020a0390911690303180156108fc02916000818181858888f193505050501580156105d4573d6000803e3d6000fd5b50565b600254600090600160a060020a031633146105f157600080fd5b506040517fa0712d680000000000000000000000000000000000000000000000000000000081526eb3f879cb30fe243b4dfee438691c0490819063a0712d689061063f908590600401611bd1565b600060405180830381600087803b15801561065957600080fd5b505af115801561066d573d6000803e3d6000fd5b505050505050565b6002546000908190600160a060020a031633148061069d5750600354600160a060020a031633145b15156106a857600080fd5b60006106b38561083a565b10156106be57600080fd5b6106cd8a8a8a8a8a8a89610927565b915091509850989650505050505050565b6002546000908190600160a060020a03163314806107065750600354600160a060020a031633145b151561071157600080fd5b6000546040517ff7888aec000000000000000000000000000000000000000000000000000000008152600160a060020a039091169063f7888aec9061075c9086903090600401611aa1565b602060405180830381600087803b15801561077657600080fd5b505af115801561078a573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052506107ae91908101906119eb565b90508015610834576000546040517f9e281a98000000000000000000000000000000000000000000000000000000008152600160a060020a0390911690639e281a98906108019086908590600401611ad7565b600060405180830381600087803b15801561081b57600080fd5b505af115801561082f573d6000803e3d6000fd5b505050505b92915050565b60006eb3f879cb30fe243b4dfee438691c0481805a9050616c3e811061086757611b6c616c3d1982010491505b81851115610873578194505b600085111561091a576040517f6366b936000000000000000000000000000000000000000000000000000000008152600160a060020a03841690636366b936906108c1908890600401611bd1565b602060405180830381600087803b1580156108db57600080fd5b505af11580156108ef573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525061091391908101906119eb565b935061091f565b600093505b505050919050565b600080808080808a816020020151600160a060020a0316141561094957600080fd5b60208a0151600160a060020a0316151561096257600080fd5b60408a0151600160a060020a0316151561097b57600080fd5b5050875160008054600160a060020a0392831673ffffffffffffffffffffffffffffffffffffffff1991821617825560208b0151600180549190941691161782553031925090819081908d908111156109d057fe5b1415610ab0576109e7888a60026020020151610ba5565b9150610a078a60026020020151600154600160a060020a03168489610e28565b60015460208a01516040517fc7ba24bc000000000000000000000000000000000000000000000000000000008152600160a060020a039092169163c7ba24bc91610a57918f918791600401611b96565b602060405180830381600087803b158015610a7157600080fd5b505af1158015610a85573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250610aa991908101906119eb565b9050610b7a565b600154600160a060020a031663f3898a978a600060200201518d8c600060200201518d600160200201516040518563ffffffff1660e060020a028152600401610afb93929190611b96565b6020604051808303818588803b158015610b1457600080fd5b505af1158015610b28573d6000803e3d6000fd5b50505050506040513d601f19601f82011682018060405250610b4d91908101906119eb565b9150610b6d8a60026020020151600054600160a060020a03168489610e28565b610b778883611244565b90505b8615610b9257600019830130311015610b9257600080fd5b30319c909b509950505050505050505050565b6000806000809054906101000a9004600160a060020a0316600160a060020a031663d0e30db0846040518263ffffffff1660e060020a0281526004016000604051808303818588803b158015610bfa57600080fd5b505af1158015610c0e573d6000803e3d6000fd5b5050505050600090505b8351811015610dec576000548451600160a060020a0390911690630a19b14a90869084908110610c4457fe5b60209081029190910101515151518651879085908110610c6057fe5b602090810291909101810151510151518751889086908110610c7e57fe5b602090810291909101810151515101518851899087908110610c9c57fe5b60209081029190910181015151810151015189518a9088908110610cbc57fe5b602090810291909101810151510151604001518a518b9089908110610cdd57fe5b602090810291909101810151510151606001518b518c908a908110610cfe57fe5b60209081029190910101515151604001518c518d908b908110610d1d57fe5b6020908102909101015151604001518d518e908c908110610d3a57fe5b6020908102909101015151606001518e518f908d908110610d5757fe5b9060200190602002015160000151608001518f8d815181101515610d7757fe5b90602001906020020151602001516040518c63ffffffff1660e060020a028152600401610dae9b9a99989796959493929190611af2565b600060405180830381600087803b158015610dc857600080fd5b505af1158015610ddc573d6000803e3d6000fd5b505060019092019150610c189050565b610df461042a565b50610e20846000815181101515610e0757fe5b60209081029091010151515160015b60200201516106de565b949350505050565b600080821561105a5760405160e160020a636eb1769f0281528692508490600160a060020a0384169063dd62ed3e90610e679030908a90600401611bc3565b602060405180830381600087803b158015610e8157600080fd5b505af1158015610e95573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250610eb991908101906119eb565b10610ec35761066d565b60405160e160020a636eb1769f028152600160a060020a0383169063dd62ed3e90610ef49030908990600401611bc3565b602060405180830381600087803b158015610f0e57600080fd5b505af1158015610f22573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250610f4691908101906119eb565b15610fd15760405160e060020a63095ea7b3028152600160a060020a0383169063095ea7b390610f7d908890600090600401611abc565b602060405180830381600087803b158015610f9757600080fd5b505af1158015610fab573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250610fcf91908101906118cb565b505b60405160e060020a63095ea7b3028152600160a060020a0383169063095ea7b3906110029088908890600401611ad7565b602060405180830381600087803b15801561101c57600080fd5b505af1158015611030573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525061105491908101906118cb565b5061066d565b5060405160e160020a636eb1769f02815285908490600160a060020a0383169063dd62ed3e906110909030908a90600401611bc3565b602060405180830381600087803b1580156110aa57600080fd5b505af11580156110be573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052506110e291908101906119eb565b106110ec5761066d565b60405160e160020a636eb1769f028152600160a060020a0382169063dd62ed3e9061111d9030908990600401611bc3565b602060405180830381600087803b15801561113757600080fd5b505af115801561114b573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525061116f91908101906119eb565b156111d95760405160e060020a63095ea7b3028152600160a060020a0382169063095ea7b3906111a6908890600090600401611abc565b600060405180830381600087803b1580156111c057600080fd5b505af11580156111d4573d6000803e3d6000fd5b505050505b60405160e060020a63095ea7b3028152600160a060020a0382169063095ea7b39061120a9088908890600401611ad7565b600060405180830381600087803b15801561122457600080fd5b505af1158015611238573d6000803e3d6000fd5b50505050505050505050565b6000805483518291600160a060020a03169063338b5dea9086908490811061126857fe5b602090810291909101015151515160405160e060020a63ffffffff841602815261129791908790600401611ad7565b600060405180830381600087803b1580156112b157600080fd5b505af11580156112c5573d6000803e3d6000fd5b50505050600090505b83518110156114a2576000548451600160a060020a0390911690630a19b14a908690849081106112fa57fe5b6020908102919091010151515151865187908590811061131657fe5b60209081029190910181015151015151875188908690811061133457fe5b60209081029190910181015151510151885189908790811061135257fe5b60209081029190910181015151810151015189518a908890811061137257fe5b602090810291909101810151510151604001518a518b908990811061139357fe5b602090810291909101810151510151606001518b518c908a9081106113b457fe5b60209081029190910101515151604001518c518d908b9081106113d357fe5b6020908102909101015151604001518d518e908c9081106113f057fe5b6020908102909101015151606001518e518f908d90811061140d57fe5b9060200190602002015160000151608001518f8d81518110151561142d57fe5b90602001906020020151602001516040518c63ffffffff1660e060020a0281526004016114649b9a99989796959493929190611af2565b600060405180830381600087803b15801561147e57600080fd5b505af1158015611492573d6000803e3d6000fd5b5050600190920191506112ce9050565b6114c78460008151811015156114b457fe5b6020908102909101015151516000610e16565b50610e2061042a565b60006114dc8235611c5d565b9392505050565b6000601f820183136114f457600080fd5b600361150761150282611c14565b611bed565b9150818385602084028201111561151d57600080fd5b60005b8381101561082f578161153388826114d0565b8452506020928301929190910190600101611520565b6000601f8201831361155a57600080fd5b600361156861150282611c14565b9150818385602084028201111561157e57600080fd5b60005b8381101561082f578161159488826114d0565b8452506020928301929190910190600101611581565b6000601f820183136115bb57600080fd5b81356115c961150282611c32565b915081818352602084019350602081019050838560208402820111156115ee57600080fd5b60005b8381101561082f57816116048882611774565b84525060209283019291909101906001016115f1565b6000601f8201831361162b57600080fd5b813561163961150282611c32565b915081818352602084019350602081019050838561016084028201111561165f57600080fd5b60005b8381101561082f57816116758882611812565b8452506020909201916101609190910190600101611662565b6000601f8201831361169f57600080fd5b60036116ad61150282611c14565b915081838560208402820111156116c357600080fd5b60005b8381101561082f57816116d98882611768565b84525060209283019291909101906001016116c6565b6000601f8201831361170057600080fd5b600461170e61150282611c14565b9150818385602084028201111561172457600080fd5b60005b8381101561082f578161173a8882611768565b8452506020928301929190910190600101611727565b60006114dc8235611c72565b60006114dc8251611c72565b60006114dc8235611c69565b60006114dc8235611c77565b60006114dc8235611c82565b6000610140828403121561179f57600080fd5b6117a960a0611bed565b905060006117b784846114e3565b82525060606117c8848483016116ef565b60208301525060e06117dc84828501611867565b6040830152506101006117f184828501611768565b60608301525061012061180684828501611768565b60808301525092915050565b6000610160828403121561182557600080fd5b61182f6040611bed565b9050600061183d848461178c565b82525061014061184f84848301611768565b60208301525092915050565b60006114dc8251611c69565b60006114dc8235611c6c565b60006020828403121561188557600080fd5b6000610e2084846114d0565b600080604083850312156118a457600080fd5b60006118b085856114d0565b92505060206118c185828601611750565b9150509250929050565b6000602082840312156118dd57600080fd5b6000610e20848461175c565b600080600080600080600080610180898b03121561190657600080fd5b60006119128b8b611780565b985050602089013567ffffffffffffffff81111561192f57600080fd5b61193b8b828c016115aa565b975050604061194c8b828c01611549565b96505060a061195d8b828c0161168e565b95505061010089013567ffffffffffffffff81111561197b57600080fd5b6119878b828c0161161a565b9450506101206119998b828c01611750565b9350506101406119ab8b828c01611768565b9250506101606119bd8b828c01611750565b9150509295985092959890939650565b6000602082840312156119df57600080fd5b6000610e208484611768565b6000602082840312156119fd57600080fd5b6000610e20848461185b565b611a1281611c5d565b82525050565b6000611a2382611c59565b808452602084019350611a3583611c53565b60005b82811015611a6557611a4b868351611a78565b611a5482611c53565b602096909601959150600101611a38565b5093949350505050565b611a1281611c69565b611a1281611c77565b611a1281611c95565b611a1281611c6c565b602081016108348284611a09565b60408101611aaf8285611a09565b6114dc6020830184611a09565b60408101611aca8285611a09565b6114dc6020830184611a81565b60408101611ae58285611a09565b6114dc6020830184611a6f565b6101608101611b01828e611a09565b611b0e602083018d611a6f565b611b1b604083018c611a09565b611b28606083018b611a6f565b611b35608083018a611a6f565b611b4260a0830189611a6f565b611b4f60c0830188611a09565b611b5c60e0830187611a8a565b611b6a610100830186611a6f565b611b78610120830185611a6f565b611b86610140830184611a6f565b9c9b505050505050505050505050565b60608082528101611ba78186611a18565b9050611bb66020830185611a6f565b610e206040830184611a6f565b60408101611aaf8285611a78565b602081016108348284611a6f565b60408101611ae58285611a6f565b60405181810167ffffffffffffffff81118282101715611c0c57600080fd5b604052919050565b600067ffffffffffffffff821115611c2b57600080fd5b5060200290565b600067ffffffffffffffff821115611c4957600080fd5b5060209081020190565b60200190565b5190565b600160a060020a031690565b90565b60ff1690565b151590565b600061083482611c5d565b600060028210611c9157600080fd5b5090565b600061083482611c695600a265627a7a723058202fb704f8324a0451edad6e9021236eb4e8258769408ba0bc8be7915046ff81806c6578706572696d656e74616cf50037

0x6080604052600436106100745763ffffffff60e060020a600035041663082c6e648114610076578063092a5cce146100965780631c3c0ea8146100ab578063340232e0146100cb5780633ccfd60b146100f65780637f7d6e341461010b5780638a750df31461012b578063c25b49f514610159575b005b34801561008257600080fd5b50610074610091366004611891565b610179565b3480156100a257600080fd5b506100746103bf565b3480156100b757600080fd5b506100746100c6366004611873565b6103e4565b3480156100d757600080fd5b506100e061042a565b6040516100ed9190611bd1565b60405180910390f35b34801561010257600080fd5b50610074610583565b34801561011757600080fd5b506100746101263660046119cd565b6105d7565b34801561013757600080fd5b5061014b6101463660046118e9565b610675565b6040516100ed929190611bdf565b34801561016557600080fd5b506100e0610174366004611873565b6106de565b6002546000908190600160a060020a0316331461019557600080fd5b82156102bc576002546040517f70a08231000000000000000000000000000000000000000000000000000000008152859350600160a060020a038085169263a9059cbb9291169083906370a08231906101f2903090600401611a93565b602060405180830381600087803b15801561020c57600080fd5b505af1158015610220573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525061024491908101906119eb565b6040518363ffffffff1660e060020a028152600401610264929190611ad7565b602060405180830381600087803b15801561027e57600080fd5b505af1158015610292573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052506102b691908101906118cb565b506103b9565b506002546040517f70a082310000000000000000000000000000000000000000000000000000000081528491600160a060020a038084169263a9059cbb929091169083906370a0823190610314903090600401611a93565b602060405180830381600087803b15801561032e57600080fd5b505af1158015610342573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525061036691908101906119eb565b6040518363ffffffff1660e060020a028152600401610386929190611ad7565b600060405180830381600087803b1580156103a057600080fd5b505af11580156103b4573d6000803e3d6000fd5b505050505b50505050565b600254600160a060020a031633146103d657600080fd5b600254600160a060020a0316ff5b600254600160a060020a031633146103fb57600080fd5b6003805473ffffffffffffffffffffffffffffffffffffffff1916600160a060020a0392909216919091179055565b6002546000908190600160a060020a03163314806104525750600354600160a060020a031633145b151561045d57600080fd5b600080546040517ff7888aec000000000000000000000000000000000000000000000000000000008152600160a060020a039091169163f7888aec916104a891903090600401611aa1565b602060405180830381600087803b1580156104c257600080fd5b505af11580156104d6573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052506104fa91908101906119eb565b9050801561057e576000546040517f2e1a7d4d000000000000000000000000000000000000000000000000000000008152600160a060020a0390911690632e1a7d4d9061054b908490600401611bd1565b600060405180830381600087803b15801561056557600080fd5b505af1158015610579573d6000803e3d6000fd5b505050505b919050565b600254600160a060020a0316331461059a57600080fd5b600254604051600160a060020a0390911690303180156108fc02916000818181858888f193505050501580156105d4573d6000803e3d6000fd5b50565b600254600090600160a060020a031633146105f157600080fd5b506040517fa0712d680000000000000000000000000000000000000000000000000000000081526eb3f879cb30fe243b4dfee438691c0490819063a0712d689061063f908590600401611bd1565b600060405180830381600087803b15801561065957600080fd5b505af115801561066d573d6000803e3d6000fd5b505050505050565b6002546000908190600160a060020a031633148061069d5750600354600160a060020a031633145b15156106a857600080fd5b60006106b38561083a565b10156106be57600080fd5b6106cd8a8a8a8a8a8a89610927565b915091509850989650505050505050565b6002546000908190600160a060020a03163314806107065750600354600160a060020a031633145b151561071157600080fd5b6000546040517ff7888aec000000000000000000000000000000000000000000000000000000008152600160a060020a039091169063f7888aec9061075c9086903090600401611aa1565b602060405180830381600087803b15801561077657600080fd5b505af115801561078a573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052506107ae91908101906119eb565b90508015610834576000546040517f9e281a98000000000000000000000000000000000000000000000000000000008152600160a060020a0390911690639e281a98906108019086908590600401611ad7565b600060405180830381600087803b15801561081b57600080fd5b505af115801561082f573d6000803e3d6000fd5b505050505b92915050565b60006eb3f879cb30fe243b4dfee438691c0481805a9050616c3e811061086757611b6c616c3d1982010491505b81851115610873578194505b600085111561091a576040517f6366b936000000000000000000000000000000000000000000000000000000008152600160a060020a03841690636366b936906108c1908890600401611bd1565b602060405180830381600087803b1580156108db57600080fd5b505af11580156108ef573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525061091391908101906119eb565b935061091f565b600093505b505050919050565b600080808080808a816020020151600160a060020a0316141561094957600080fd5b60208a0151600160a060020a0316151561096257600080fd5b60408a0151600160a060020a0316151561097b57600080fd5b5050875160008054600160a060020a0392831673ffffffffffffffffffffffffffffffffffffffff1991821617825560208b0151600180549190941691161782553031925090819081908d908111156109d057fe5b1415610ab0576109e7888a60026020020151610ba5565b9150610a078a60026020020151600154600160a060020a03168489610e28565b60015460208a01516040517fc7ba24bc000000000000000000000000000000000000000000000000000000008152600160a060020a039092169163c7ba24bc91610a57918f918791600401611b96565b602060405180830381600087803b158015610a7157600080fd5b505af1158015610a85573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250610aa991908101906119eb565b9050610b7a565b600154600160a060020a031663f3898a978a600060200201518d8c600060200201518d600160200201516040518563ffffffff1660e060020a028152600401610afb93929190611b96565b6020604051808303818588803b158015610b1457600080fd5b505af1158015610b28573d6000803e3d6000fd5b50505050506040513d601f19601f82011682018060405250610b4d91908101906119eb565b9150610b6d8a60026020020151600054600160a060020a03168489610e28565b610b778883611244565b90505b8615610b9257600019830130311015610b9257600080fd5b30319c909b509950505050505050505050565b6000806000809054906101000a9004600160a060020a0316600160a060020a031663d0e30db0846040518263ffffffff1660e060020a0281526004016000604051808303818588803b158015610bfa57600080fd5b505af1158015610c0e573d6000803e3d6000fd5b5050505050600090505b8351811015610dec576000548451600160a060020a0390911690630a19b14a90869084908110610c4457fe5b60209081029190910101515151518651879085908110610c6057fe5b602090810291909101810151510151518751889086908110610c7e57fe5b602090810291909101810151515101518851899087908110610c9c57fe5b60209081029190910181015151810151015189518a9088908110610cbc57fe5b602090810291909101810151510151604001518a518b9089908110610cdd57fe5b602090810291909101810151510151606001518b518c908a908110610cfe57fe5b60209081029190910101515151604001518c518d908b908110610d1d57fe5b6020908102909101015151604001518d518e908c908110610d3a57fe5b6020908102909101015151606001518e518f908d908110610d5757fe5b9060200190602002015160000151608001518f8d815181101515610d7757fe5b90602001906020020151602001516040518c63ffffffff1660e060020a028152600401610dae9b9a99989796959493929190611af2565b600060405180830381600087803b158015610dc857600080fd5b505af1158015610ddc573d6000803e3d6000fd5b505060019092019150610c189050565b610df461042a565b50610e20846000815181101515610e0757fe5b60209081029091010151515160015b60200201516106de565b949350505050565b600080821561105a5760405160e160020a636eb1769f0281528692508490600160a060020a0384169063dd62ed3e90610e679030908a90600401611bc3565b602060405180830381600087803b158015610e8157600080fd5b505af1158015610e95573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250610eb991908101906119eb565b10610ec35761066d565b60405160e160020a636eb1769f028152600160a060020a0383169063dd62ed3e90610ef49030908990600401611bc3565b602060405180830381600087803b158015610f0e57600080fd5b505af1158015610f22573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250610f4691908101906119eb565b15610fd15760405160e060020a63095ea7b3028152600160a060020a0383169063095ea7b390610f7d908890600090600401611abc565b602060405180830381600087803b158015610f9757600080fd5b505af1158015610fab573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250610fcf91908101906118cb565b505b60405160e060020a63095ea7b3028152600160a060020a0383169063095ea7b3906110029088908890600401611ad7565b602060405180830381600087803b15801561101c57600080fd5b505af1158015611030573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525061105491908101906118cb565b5061066d565b5060405160e160020a636eb1769f02815285908490600160a060020a0383169063dd62ed3e906110909030908a90600401611bc3565b602060405180830381600087803b1580156110aa57600080fd5b505af11580156110be573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052506110e291908101906119eb565b106110ec5761066d565b60405160e160020a636eb1769f028152600160a060020a0382169063dd62ed3e9061111d9030908990600401611bc3565b602060405180830381600087803b15801561113757600080fd5b505af115801561114b573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525061116f91908101906119eb565b156111d95760405160e060020a63095ea7b3028152600160a060020a0382169063095ea7b3906111a6908890600090600401611abc565b600060405180830381600087803b1580156111c057600080fd5b505af11580156111d4573d6000803e3d6000fd5b505050505b60405160e060020a63095ea7b3028152600160a060020a0382169063095ea7b39061120a9088908890600401611ad7565b600060405180830381600087803b15801561122457600080fd5b505af1158015611238573d6000803e3d6000fd5b50505050505050505050565b6000805483518291600160a060020a03169063338b5dea9086908490811061126857fe5b602090810291909101015151515160405160e060020a63ffffffff841602815261129791908790600401611ad7565b600060405180830381600087803b1580156112b157600080fd5b505af11580156112c5573d6000803e3d6000fd5b50505050600090505b83518110156114a2576000548451600160a060020a0390911690630a19b14a908690849081106112fa57fe5b6020908102919091010151515151865187908590811061131657fe5b60209081029190910181015151015151875188908690811061133457fe5b60209081029190910181015151510151885189908790811061135257fe5b60209081029190910181015151810151015189518a908890811061137257fe5b602090810291909101810151510151604001518a518b908990811061139357fe5b602090810291909101810151510151606001518b518c908a9081106113b457fe5b60209081029190910101515151604001518c518d908b9081106113d357fe5b6020908102909101015151604001518d518e908c9081106113f057fe5b6020908102909101015151606001518e518f908d90811061140d57fe5b9060200190602002015160000151608001518f8d81518110151561142d57fe5b90602001906020020151602001516040518c63ffffffff1660e060020a0281526004016114649b9a99989796959493929190611af2565b600060405180830381600087803b15801561147e57600080fd5b505af1158015611492573d6000803e3d6000fd5b5050600190920191506112ce9050565b6114c78460008151811015156114b457fe5b6020908102909101015151516000610e16565b50610e2061042a565b60006114dc8235611c5d565b9392505050565b6000601f820183136114f457600080fd5b600361150761150282611c14565b611bed565b9150818385602084028201111561151d57600080fd5b60005b8381101561082f578161153388826114d0565b8452506020928301929190910190600101611520565b6000601f8201831361155a57600080fd5b600361156861150282611c14565b9150818385602084028201111561157e57600080fd5b60005b8381101561082f578161159488826114d0565b8452506020928301929190910190600101611581565b6000601f820183136115bb57600080fd5b81356115c961150282611c32565b915081818352602084019350602081019050838560208402820111156115ee57600080fd5b60005b8381101561082f57816116048882611774565b84525060209283019291909101906001016115f1565b6000601f8201831361162b57600080fd5b813561163961150282611c32565b915081818352602084019350602081019050838561016084028201111561165f57600080fd5b60005b8381101561082f57816116758882611812565b8452506020909201916101609190910190600101611662565b6000601f8201831361169f57600080fd5b60036116ad61150282611c14565b915081838560208402820111156116c357600080fd5b60005b8381101561082f57816116d98882611768565b84525060209283019291909101906001016116c6565b6000601f8201831361170057600080fd5b600461170e61150282611c14565b9150818385602084028201111561172457600080fd5b60005b8381101561082f578161173a8882611768565b8452506020928301929190910190600101611727565b60006114dc8235611c72565b60006114dc8251611c72565b60006114dc8235611c69565b60006114dc8235611c77565b60006114dc8235611c82565b6000610140828403121561179f57600080fd5b6117a960a0611bed565b905060006117b784846114e3565b82525060606117c8848483016116ef565b60208301525060e06117dc84828501611867565b6040830152506101006117f184828501611768565b60608301525061012061180684828501611768565b60808301525092915050565b6000610160828403121561182557600080fd5b61182f6040611bed565b9050600061183d848461178c565b82525061014061184f84848301611768565b60208301525092915050565b60006114dc8251611c69565b60006114dc8235611c6c565b60006020828403121561188557600080fd5b6000610e2084846114d0565b600080604083850312156118a457600080fd5b60006118b085856114d0565b92505060206118c185828601611750565b9150509250929050565b6000602082840312156118dd57600080fd5b6000610e20848461175c565b600080600080600080600080610180898b03121561190657600080fd5b60006119128b8b611780565b985050602089013567ffffffffffffffff81111561192f57600080fd5b61193b8b828c016115aa565b975050604061194c8b828c01611549565b96505060a061195d8b828c0161168e565b95505061010089013567ffffffffffffffff81111561197b57600080fd5b6119878b828c0161161a565b9450506101206119998b828c01611750565b9350506101406119ab8b828c01611768565b9250506101606119bd8b828c01611750565b9150509295985092959890939650565b6000602082840312156119df57600080fd5b6000610e208484611768565b6000602082840312156119fd57600080fd5b6000610e20848461185b565b611a1281611c5d565b82525050565b6000611a2382611c59565b808452602084019350611a3583611c53565b60005b82811015611a6557611a4b868351611a78565b611a5482611c53565b602096909601959150600101611a38565b5093949350505050565b611a1281611c69565b611a1281611c77565b611a1281611c95565b611a1281611c6c565b602081016108348284611a09565b60408101611aaf8285611a09565b6114dc6020830184611a09565b60408101611aca8285611a09565b6114dc6020830184611a81565b60408101611ae58285611a09565b6114dc6020830184611a6f565b6101608101611b01828e611a09565b611b0e602083018d611a6f565b611b1b604083018c611a09565b611b28606083018b611a6f565b611b35608083018a611a6f565b611b4260a0830189611a6f565b611b4f60c0830188611a09565b611b5c60e0830187611a8a565b611b6a610100830186611a6f565b611b78610120830185611a6f565b611b86610140830184611a6f565b9c9b505050505050505050505050565b60608082528101611ba78186611a18565b9050611bb66020830185611a6f565b610e206040830184611a6f565b60408101611aaf8285611a78565b602081016108348284611a6f565b60408101611ae58285611a6f565b60405181810167ffffffffffffffff81118282101715611c0c57600080fd5b604052919050565b600067ffffffffffffffff821115611c2b57600080fd5b5060200290565b600067ffffffffffffffff821115611c4957600080fd5b5060209081020190565b60200190565b5190565b600160a060020a031690565b90565b60ff1690565b151590565b600061083482611c5d565b600060028210611c9157600080fd5b5090565b600061083482611c695600a265627a7a723058202fb704f8324a0451edad6e9021236eb4e8258769408ba0bc8be7915046ff81806c6578706572696d656e74616cf50037

6007:8970:0:-;;;;;;;;;-1:-1:-1;;;6007:8970:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;12995:422;;8:9:-1;5:2;;;30:1;27;20:12;5:2;-1:-1;12995:422:0;;;;;;;;;13423:78;;8:9:-1;5:2;;;30:1;27;20:12;5:2;13423:78:0;;;;6840:96;;8:9:-1;5:2;;;30:1;27;20:12;5:2;-1:-1;6840:96:0;;;;;;;;;10590:289;;8:9:-1;5:2;;;30:1;27;20:12;5:2;10590:289:0;;;;;;;;;;;;;;;;;;;;12900:89;;8:9:-1;5:2;;;30:1;27;20:12;5:2;12900:89:0;;;;13654:156;;8:9:-1;5:2;;;30:1;27;20:12;5:2;-1:-1;13654:156:0;;;;;;;;;14430:544;;8:9:-1;5:2;;;30:1;27;20:12;5:2;-1:-1;14430:544:0;;;;;;;;;;;;;;;;;;10885:288;;8:9:-1;5:2;;;30:1;27;20:12;5:2;-1:-1;10885:288:0;;;;;;;;;12995:422;6583:5;;13173:11;;;;-1:-1:-1;;;;;6583:5:0;6569:10;:19;6561:28;;;;;;13148:14;13144:268;;;13224:5;;13231:30;;;;;13193:6;;-1:-1:-1;;;;;;13209:14:0;;;;;;13224:5;;;13209:14;;13231:15;;:30;;13255:4;;13231:30;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;13231:30:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;13231:30:0;;;;;;;101:4:-1;97:9;90:4;84;80:15;76:31;69:5;65:43;126:6;120:4;113:20;0:138;13231:30:0;;;;;;;;;13209:53;;;;;-1:-1:-1;;;13209:53:0;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;13209:53:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;13209:53:0;;;;;;;101:4:-1;97:9;90:4;84;80:15;76:31;69:5;65:43;126:6;120:4;113:20;0:138;13209:53:0;;;;;;;;;;13144:268;;;-1:-1:-1;13360:5:0;;13367:36;;;;;13323:6;;-1:-1:-1;;;;;13339:20:0;;;;;;13360:5;;;;13339:20;;13367:21;;:36;;13397:4;;13367:36;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;13367:36:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;13367:36:0;;;;;;;101:4:-1;97:9;90:4;84;80:15;76:31;69:5;65:43;126:6;120:4;113:20;0:138;13367:36:0;;;;;;;;;13339:65;;;;;-1:-1:-1;;;13339:65:0;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;13339:65:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;13339:65:0;;;;13144:268;12995:422;;;;:::o;13423:78::-;6583:5;;-1:-1:-1;;;;;6583:5:0;6569:10;:19;6561:28;;;;;;13489:5;;-1:-1:-1;;;;;13489:5:0;13476:19;6840:96;6583:5;;-1:-1:-1;;;;;6583:5:0;6569:10;:19;6561:28;;;;;;6907:8;:23;;-1:-1:-1;;6907:23:0;-1:-1:-1;;;;;6907:23:0;;;;;;;;;;6840:96::o;10590:289::-;6670:5;;10658:7;;;;-1:-1:-1;;;;;6670:5:0;6656:10;:19;;:45;;-1:-1:-1;6693:8:0;;-1:-1:-1;;;;;6693:8:0;6679:10;:22;6656:45;6648:54;;;;;;;;10695:10;;;:79;;;;;-1:-1:-1;;;;;10695:10:0;;;;:20;;:79;;:10;10768:4;;10695:79;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;10695:79:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;10695:79:0;;;;;;;101:4:-1;97:9;90:4;84;80:15;76:31;69:5;65:43;126:6;120:4;113:20;0:138;10695:79:0;;;;;;;;;10674:100;-1:-1:-1;10785:15:0;;10781:69;;10811:10;;:31;;;;;-1:-1:-1;;;;;10811:10:0;;;;:19;;:31;;10831:10;;10811:31;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;10811:31:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;10811:31:0;;;;10781:69;10863:10;10590:289;-1:-1:-1;10590:289:0:o;12900:89::-;6583:5;;-1:-1:-1;;;;;6583:5:0;6569:10;:19;6561:28;;;;;;12946:5;;:37;;-1:-1:-1;;;;;12946:5:0;;;;12969:4;12961:21;12946:37;;;;;:5;:37;:5;:37;12961:21;12946:5;:37;;;;;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;12946:37:0;12900:89::o;13654:156::-;6583:5;;13716:9;;-1:-1:-1;;;;;6583:5:0;6569:10;:19;6561:28;;;;;;-1:-1:-1;13783:21:0;;;;;13733:42;;;;13783:9;;:21;;13793:10;;13783:21;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;13783:21:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;13783:21:0;;;;13654:156;;:::o;14430:544::-;6670:5;;14705:7;;;;-1:-1:-1;;;;;6670:5:0;6656:10;:19;;:45;;-1:-1:-1;6693:8:0;;-1:-1:-1;;;;;6693:8:0;6679:10;:22;6656:45;6648:54;;;;;;;;14803:1;14777:22;14789:9;14777:11;:22::i;:::-;:27;;14769:36;;;;;;14819:149;14839:11;14859:5;14873:9;14891:6;14906:11;14926:12;14947:14;14819:11;:149::i;:::-;14812:156;;;;14430:544;;;;;;;;;;;:::o;10885:288::-;6670:5;;10969:7;;;;-1:-1:-1;;;;;6670:5:0;6656:10;:19;;:45;;-1:-1:-1;6693:8:0;;-1:-1:-1;;;;;6693:8:0;6679:10;:22;6656:45;6648:54;;;;;;;;11008:10;;:42;;;;;-1:-1:-1;;;;;11008:10:0;;;;:20;;:42;;11029:5;;11044:4;;11008:42;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;11008:42:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;11008:42:0;;;;;;;101:4:-1;97:9;90:4;84;80:15;76:31;69:5;65:43;126:6;120:4;113:20;0:138;11008:42:0;;;;;;;;;10985:65;-1:-1:-1;11061:17:0;;11057:85;;11089:10;;:45;;;;;-1:-1:-1;;;;;11089:10:0;;;;:24;;:45;;11114:5;;11121:12;;11089:45;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;11089:45:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;11089:45:0;;;;11057:85;11155:12;10885:288;-1:-1:-1;;10885:288:0:o;13814:604::-;13872:13;14014:42;13872:13;;14114:7;14100:21;-1:-1:-1;14141:5:0;14134:12;;14130:88;;14192:17;-1:-1:-1;;14176:11:0;;14175:35;14157:53;;14130:88;14243:15;14230:10;:28;14226:79;;;14282:15;14269:28;;14226:79;14330:1;14317:10;:14;14313:100;;;14349:25;;;;;-1:-1:-1;;;;;14349:13:0;;;;;:25;;14363:10;;14349:25;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;14349:25:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;14349:25:0;;;;;;;101:4:-1;97:9;90:4;84;80:15;76:31;69:5;65:43;126:6;120:4;113:20;0:138;14349:25:0;;;;;;;;;14342:32;;;;14313:100;14404:1;14397:8;;14313:100;13814:604;;;;;;:::o;6942:1528::-;7393:7;;;;;;7426:9;7393:7;7426:12;;;;-1:-1:-1;;;;;7426:26:0;;;7418:35;;;;;;7468:12;;;;-1:-1:-1;;;;;7468:26:0;;;7460:35;;;;;;7510:12;;;;-1:-1:-1;;;;;7510:26:0;;;7502:35;;;;;;-1:-1:-1;;7570:12:0;;7580:1;7546:37;;-1:-1:-1;;;;;7546:37:0;;;-1:-1:-1;;7546:37:0;;;;;;7570:12;7606;;;-1:-1:-1;7590:29:0;;;;;;;;;;;7660:4;7652:21;;-1:-1:-1;7580:1:0;;;;;7747:11;;:34;;;;;;;;7743:550;;;7807:51;7835:11;7848:6;7855:1;7848:9;;;;7807:27;:51::i;:::-;7792:66;-1:-1:-1;7867:76:0;7883:9;7893:1;7883:12;;;;7905:6;;-1:-1:-1;;;;;7905:6:0;7914:12;7928:14;7867:15;:76::i;:::-;7966:6;;8010:9;;;;7966:54;;;;;-1:-1:-1;;;;;7966:6:0;;;;:22;;:54;;7989:5;;7996:12;;7966:54;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;7966:54:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;7966:54:0;;;;;;;101:4:-1;97:9;90:4;84;80:15;76:31;69:5;65:43;126:6;120:4;113:20;0:138;7966:54:0;;;;;;;;;7952:68;;7743:550;;;8058:6;;-1:-1:-1;;;;;8058:6:0;:14;8079:6;8058;8079:9;;;;8090:5;8097:6;8104:1;8097:9;;;;8108:6;8115:1;8108:9;;;;8058:60;;;;;-1:-1:-1;;;8058:60:0;;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;8058:60:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;8058:60:0;;;;;;;;101:4:-1;97:9;90:4;84;80:15;76:31;69:5;65:43;126:6;120:4;113:20;0:138;8058:60:0;;;;;;;;;8043:75;-1:-1:-1;8127:80:0;8143:9;8153:1;8143:12;;;;8165:10;;-1:-1:-1;;;;;8165:10:0;8178:12;8192:14;8127:15;:80::i;:::-;8230:55;8259:11;8272:12;8230:28;:55::i;:::-;8216:69;;7743:550;8305:12;8301:114;;;-1:-1:-1;;8361:17:0;;8344:4;8336:21;:42;;8328:51;;;;;;8437:4;8429:21;;8452:11;;-1:-1:-1;6942:1528:0;-1:-1:-1;;;;;;;;;;6942:1528:0:o;8518:996::-;8615:7;8757:9;8631:10;;;;;;;;;-1:-1:-1;;;;;8631:10:0;-1:-1:-1;;;;;8631:18:0;;8656:12;8631:40;;;;;-1:-1:-1;;;8631:40:0;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;8631:40:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;8631:40:0;;;;;8769:1;8757:13;;8752:598;8776:6;:13;8772:1;:17;8752:598;;;8805:10;;8832:9;;-1:-1:-1;;;;;8805:10:0;;;;:16;;8832:6;;8839:1;;8832:9;;;;;;;;;;;;;;;;:15;:25;:28;8890:9;;:6;;8897:1;;8890:9;;;;;;;;;;;;;;;;;:15;:22;;:25;8939:9;;:6;;8946:1;;8939:9;;;;;;;;;;;;;;;;;:15;:25;:28;;8991:9;;:6;;8998:1;;8991:9;;;;;;;;;;;;;;;;;:15;:22;;;:25;;9043:9;;:6;;9050:1;;9043:9;;;;;;;;;;;;;;;;;:15;:22;;:25;;;9090:9;;:6;;9097:1;;9090:9;;;;;;;;;;;;;;;;;:15;:22;;:25;;;9135:9;;:6;;9142:1;;9135:9;;;;;;;;;;;;;;;;:15;:25;:28;;;9198:9;;:6;;9205:1;;9198:9;;;;;;;;;;;;;;;:15;:17;;;9217:9;;:6;;9224:1;;9217:9;;;;;;;;;;;;;;;:15;:17;;;9236:9;;:6;;9243:1;;9236:9;;;;;;;;;;;;;;:15;;;:17;;;9277:6;9284:1;9277:9;;;;;;;;;;;;;;;;;;:16;;;8805:537;;;;;-1:-1:-1;;;8805:537:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;8805:537:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;-1:-1;;8791:3:0;;;;;-1:-1:-1;8752:598:0;;-1:-1:-1;8752:598:0;;9408:21;:19;:21::i;:::-;;9443:52;9466:6;9473:1;9466:9;;;;;;;;;;;;;;;;;;;:15;:25;9492:1;9466:28;;;;;9443:22;:52::i;:::-;9436:59;8518:996;-1:-1:-1;;;;8518:996:0:o;11764:1130::-;11970:12;12416:24;11945:14;11941:948;;;12079:32;;-1:-1:-1;;;;;12079:32:0;;11991:9;;-1:-1:-1;12115:6:0;;-1:-1:-1;;;;;12079:16:0;;;;;:32;;12096:4;;12102:8;;12079:32;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;12079:32:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;12079:32:0;;;;;;;101:4:-1;97:9;90:4;84;80:15;76:31;69:5;65:43;126:6;120:4;113:20;0:138;12079:32:0;;;;;;;;;:42;12075:75;;12134:7;;12075:75;12228:32;;-1:-1:-1;;;;;12228:32:0;;-1:-1:-1;;;;;12228:16:0;;;;;:32;;12245:4;;12251:8;;12228:32;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;12228:32:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;12228:32:0;;;;;;;101:4:-1;97:9;90:4;84;80:15;76:31;69:5;65:43;126:6;120:4;113:20;0:138;12228:32:0;;;;;;;;;:37;12224:91;;12278:27;;-1:-1:-1;;;;;12278:27:0;;-1:-1:-1;;;;;12278:14:0;;;;;:27;;12293:8;;12303:1;;12278:27;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;12278:27:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;12278:27:0;;;;;;;101:4:-1;97:9;90:4;84;80:15;76:31;69:5;65:43;126:6;120:4;113:20;0:138;12278:27:0;;;;;;;;;;12224:91;12361:32;;-1:-1:-1;;;;;12361:32:0;;-1:-1:-1;;;;;12361:14:0;;;;;:32;;12376:8;;12386:6;;12361:32;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;12361:32:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;12361:32:0;;;;;;;101:4:-1;97:9;90:4;84;80:15;76:31;69:5;65:43;126:6;120:4;113:20;0:138;12361:32:0;;;;;;;;;;11941:948;;;-1:-1:-1;12543:38:0;;-1:-1:-1;;;;;12543:38:0;;12455:9;;12585:6;;-1:-1:-1;;;;;12543:22:0;;;;;:38;;12566:4;;12572:8;;12543:38;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;12543:38:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;12543:38:0;;;;;;;101:4:-1;97:9;90:4;84;80:15;76:31;69:5;65:43;126:6;120:4;113:20;0:138;12543:38:0;;;;;;;;;:48;12539:81;;12604:7;;12539:81;12698:38;;-1:-1:-1;;;;;12698:38:0;;-1:-1:-1;;;;;12698:22:0;;;;;:38;;12721:4;;12727:8;;12698:38;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;12698:38:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;12698:38:0;;;;;;;101:4:-1;97:9;90:4;84;80:15;76:31;69:5;65:43;126:6;120:4;113:20;0:138;12698:38:0;;;;;;;;;:43;12694:103;;12754:33;;-1:-1:-1;;;;;12754:33:0;;-1:-1:-1;;;;;12754:20:0;;;;;:33;;12775:8;;12785:1;;12754:33;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;12754:33:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;12754:33:0;;;;12694:103;12843:38;;-1:-1:-1;;;;;12843:38:0;;-1:-1:-1;;;;;12843:20:0;;;;;:38;;12864:8;;12874:6;;12843:38;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;12843:38:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;12843:38:0;;;;11764:1130;;;;;;:::o;9562:1022::-;9660:7;9676:10;;9708:9;;9660:7;;-1:-1:-1;;;;;9676:10:0;;:23;;9708:6;;9660:7;;9708:9;;;;;;;;;;;;;;;;:15;:25;:28;9676:148;;-1:-1:-1;;;9676:148:0;;;;;;;;9708:28;9763:12;;9676:148;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;9676:148:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;9676:148:0;;;;9850:1;9838:13;;9833:588;9857:6;:13;9853:1;:17;9833:588;;;9886:10;;9913:9;;-1:-1:-1;;;;;9886:10:0;;;;:16;;9913:6;;9920:1;;9913:9;;;;;;;;;;;;;;;;:15;:25;:28;9964:9;;:6;;9971:1;;9964:9;;;;;;;;;;;;;;;;;:15;:22;;:25;10013:9;;:6;;10020:1;;10013:9;;;;;;;;;;;;;;;;;:15;:25;:28;;10072:9;;:6;;10079:1;;10072:9;;;;;;;;;;;;;;;;;:15;:22;;;:25;;10122:9;;:6;;10129:1;;10122:9;;;;;;;;;;;;;;;;;:15;:22;;:25;;;10169:9;;:6;;10176:1;;10169:9;;;;;;;;;;;;;;;;;:15;:22;;:25;;;10214:9;;:6;;10221:1;;10214:9;;;;;;;;;;;;;;;;:15;:25;:28;;;10277:9;;:6;;10284:1;;10277:9;;;;;;;;;;;;;;;:15;:17;;;10296:9;;:6;;10303:1;;10296:9;;;;;;;;;;;;;;;:15;:17;;;10315:9;;:6;;10322:1;;10315:9;;;;;;;;;;;;;;:15;;;:17;;;10356:6;10363:1;10356:9;;;;;;;;;;;;;;;;;;:16;;;9886:527;;;;;-1:-1:-1;;;9886:527:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;9886:527:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;-1:-1;;9872:3:0;;;;;-1:-1:-1;9833:588:0;;-1:-1:-1;9833:588:0;;10479:52;10502:6;10509:1;10502:9;;;;;;;;;;;;;;;;;;;:15;:25;:15;:28;;10479:52;;10557:21;:19;:21::i;5:118:-1:-;;72:46;110:6;97:20;72:46;;;63:55;57:66;-1:-1;;;57:66;149:607;;253:4;241:17;;237:27;-1:-1;227:2;;278:1;275;268:12;227:2;302:3;320:74;335:58;386:6;335:58;;;320:74;;;311:83;;411:5;470:6;517:3;509:4;501:6;497:17;492:3;488:27;485:36;482:2;;;534:1;531;524:12;482:2;559:1;544:206;569:6;566:1;563:13;544:206;;;627:3;649:37;682:3;670:10;649:37;;;637:50;;-1:-1;710:4;701:14;;;;729;;;;;591:1;584:9;544:206;;783:615;;891:4;879:17;;875:27;-1:-1;865:2;;916:1;913;906:12;865:2;940:3;958:78;973:62;1028:6;973:62;;958:78;949:87;;1053:5;1112:6;1159:3;1151:4;1143:6;1139:17;1134:3;1130:27;1127:36;1124:2;;;1176:1;1173;1166:12;1124:2;1201:1;1186:206;1211:6;1208:1;1205:13;1186:206;;;1269:3;1291:37;1324:3;1312:10;1291:37;;;1279:50;;-1:-1;1352:4;1343:14;;;;1371;;;;;1233:1;1226:9;1186:206;;1437:761;;1565:4;1553:17;;1549:27;-1:-1;1539:2;;1590:1;1587;1580:12;1539:2;1627:6;1614:20;1649:98;1664:82;1739:6;1664:82;;1649:98;1640:107;;1764:5;1789:6;1782:5;1775:21;1819:4;1811:6;1807:17;1797:27;;1841:4;1836:3;1832:14;1825:21;;1894:6;1941:3;1933:4;1925:6;1921:17;1916:3;1912:27;1909:36;1906:2;;;1958:1;1955;1948:12;1906:2;1983:1;1968:224;1993:6;1990:1;1987:13;1968:224;;;2051:3;2073:55;2124:3;2112:10;2073:55;;;2061:68;;-1:-1;2152:4;2143:14;;;;2171;;;;;2015:1;2008:9;1968:224;;2240:778;;2373:4;2361:17;;2357:27;-1:-1;2347:2;;2398:1;2395;2388:12;2347:2;2435:6;2422:20;2457:103;2472:87;2552:6;2472:87;;2457:103;2448:112;;2577:5;2602:6;2595:5;2588:21;2632:4;2624:6;2620:17;2610:27;;2654:4;2649:3;2645:14;2638:21;;2707:6;2755:3;2746:5;2738:6;2734:18;2729:3;2725:28;2722:37;2719:2;;;2772:1;2769;2762:12;2719:2;2797:1;2782:230;2807:6;2804:1;2801:13;2782:230;;;2865:3;2887:60;2943:3;2931:10;2887:60;;;2875:73;;-1:-1;2971:4;2962:14;;;;2999:5;2990:15;;;;;2829:1;2822:9;2782:230;;3045:615;;3153:4;3141:17;;3137:27;-1:-1;3127:2;;3178:1;3175;3168:12;3127:2;3202:3;3220:78;3235:62;3290:6;3235:62;;3220:78;3211:87;;3315:5;3374:6;3421:3;3413:4;3405:6;3401:17;3396:3;3392:27;3389:36;3386:2;;;3438:1;3435;3428:12;3386:2;3463:1;3448:206;3473:6;3470:1;3467:13;3448:206;;;3531:3;3553:37;3586:3;3574:10;3553:37;;;3541:50;;-1:-1;3614:4;3605:14;;;;3633;;;;;3495:1;3488:9;3448:206;;3687:607;;3791:4;3779:17;;3775:27;-1:-1;3765:2;;3816:1;3813;3806:12;3765:2;3840:3;3858:74;3873:58;3924:6;3873:58;;3858:74;3849:83;;3949:5;4008:6;4055:3;4047:4;4039:6;4035:17;4030:3;4026:27;4023:36;4020:2;;;4072:1;4069;4062:12;4020:2;4097:1;4082:206;4107:6;4104:1;4101:13;4082:206;;;4165:3;4187:37;4220:3;4208:10;4187:37;;;4175:50;;-1:-1;4248:4;4239:14;;;;4267;;;;;4129:1;4122:9;4082:206;;4302:112;;4366:43;4401:6;4388:20;4366:43;;4421:116;;4496:36;4524:6;4518:13;4496:36;;4544:118;;4611:46;4649:6;4636:20;4611:46;;4669:154;;4754:64;4810:6;4797:20;4754:64;;4830:142;;4909:58;4959:6;4946:20;4909:58;;5009:934;;5121:5;5109:9;5104:3;5100:19;5096:31;5093:2;;;5140:1;5137;5130:12;5093:2;5158:20;5173:4;5158:20;;;5149:29;-1:-1;5233:1;5264:68;5328:3;5308:9;5264:68;;;5240:93;;-1:-1;5396:2;5429:68;5493:3;5469:22;;;5429:68;;;5422:4;5415:5;5411:16;5404:94;5354:155;5556:3;5590:47;5633:3;5624:6;5613:9;5609:22;5590:47;;;5583:4;5576:5;5572:16;5565:73;5519:130;5696:3;5730:49;5775:3;5766:6;5755:9;5751:22;5730:49;;;5723:4;5716:5;5712:16;5705:75;5659:132;5838:3;5872:49;5917:3;5908:6;5897:9;5893:22;5872:49;;;5865:4;5858:5;5854:16;5847:75;5801:132;5087:856;;;;;5980:492;;6092:5;6080:9;6075:3;6071:19;6067:31;6064:2;;;6111:1;6108;6101:12;6064:2;6129:20;6144:4;6129:20;;;6120:29;-1:-1;6200:1;6231:72;6299:3;6279:9;6231:72;;;6207:97;;-1:-1;6367:3;6401:49;6446:3;6422:22;;;6401:49;;;6394:4;6387:5;6383:16;6376:75;6325:137;6058:414;;;;;6604:122;;6682:39;6713:6;6707:13;6682:39;;6733:114;;6798:44;6834:6;6821:20;6798:44;;6854:241;;6958:2;6946:9;6937:7;6933:23;6929:32;6926:2;;;6974:1;6971;6964:12;6926:2;7009:1;7026:53;7071:7;7051:9;7026:53;;7102:360;;;7220:2;7208:9;7199:7;7195:23;7191:32;7188:2;;;7236:1;7233;7226:12;7188:2;7271:1;7288:53;7333:7;7313:9;7288:53;;;7278:63;;7250:97;7378:2;7396:50;7438:7;7429:6;7418:9;7414:22;7396:50;;;7386:60;;7357:95;7182:280;;;;;;7469:257;;7581:2;7569:9;7560:7;7556:23;7552:32;7549:2;;;7597:1;7594;7587:12;7549:2;7632:1;7649:61;7702:7;7682:9;7649:61;;7733:1580;;;;;;;;;8099:3;8087:9;8078:7;8074:23;8070:33;8067:2;;;8116:1;8113;8106:12;8067:2;8151:1;8168:65;8225:7;8205:9;8168:65;;;8158:75;;8130:109;8298:2;8287:9;8283:18;8270:32;8322:18;8314:6;8311:30;8308:2;;;8354:1;8351;8344:12;8308:2;8374:96;8462:7;8453:6;8442:9;8438:22;8374:96;;;8364:106;;8249:227;8507:2;8525:76;8593:7;8584:6;8573:9;8569:22;8525:76;;;8515:86;;8486:121;8638:3;8657:76;8725:7;8716:6;8705:9;8701:22;8657:76;;;8647:86;;8617:122;8798:3;8787:9;8783:19;8770:33;8823:18;8815:6;8812:30;8809:2;;;8855:1;8852;8845:12;8809:2;8875:101;8968:7;8959:6;8948:9;8944:22;8875:101;;;8865:111;;8749:233;9013:3;9032:50;9074:7;9065:6;9054:9;9050:22;9032:50;;;9022:60;;8992:96;9119:3;9138:53;9183:7;9174:6;9163:9;9159:22;9138:53;;;9128:63;;9098:99;9228:3;9247:50;9289:7;9280:6;9269:9;9265:22;9247:50;;;9237:60;;9207:96;8061:1252;;;;;;;;;;;;9320:241;;9424:2;9412:9;9403:7;9399:23;9395:32;9392:2;;;9440:1;9437;9430:12;9392:2;9475:1;9492:53;9537:7;9517:9;9492:53;;9568:263;;9683:2;9671:9;9662:7;9658:23;9654:32;9651:2;;;9699:1;9696;9689:12;9651:2;9734:1;9751:64;9807:7;9787:9;9751:64;;9838:110;9911:31;9936:5;9911:31;;;9906:3;9899:44;9893:55;;;9999:680;;10152:72;10218:5;10152:72;;;10242:6;10237:3;10230:19;10266:4;10261:3;10257:14;10250:21;;10311:74;10379:5;10311:74;;;10406:1;10391:266;10416:6;10413:1;10410:13;10391:266;;;10456:71;10523:3;10514:6;10508:13;10456:71;;;10544:78;10615:6;10544:78;;;10645:4;10636:14;;;;;10534:88;-1:-1;10438:1;10431:9;10391:266;;;-1:-1;10670:3;;10131:548;-1:-1;;;;10131:548;10687:110;10760:31;10785:5;10760:31;;10804:144;10891:51;10936:5;10891:51;;11114:132;11195:45;11234:5;11195:45;;11370:104;11439:29;11462:5;11439:29;;11481:193;11589:2;11574:18;;11603:61;11578:9;11637:6;11603:61;;11681:294;11817:2;11802:18;;11831:61;11806:9;11865:6;11831:61;;;11903:62;11961:2;11950:9;11946:18;11937:6;11903:62;;11982:310;12126:2;12111:18;;12140:61;12115:9;12174:6;12140:61;;;12212:70;12278:2;12267:9;12263:18;12254:6;12212:70;;12299:294;12435:2;12420:18;;12449:61;12424:9;12483:6;12449:61;;;12521:62;12579:2;12568:9;12564:18;12555:6;12521:62;;12600:1205;12985:3;12970:19;;13000:61;12974:9;13034:6;13000:61;;;13072:62;13130:2;13119:9;13115:18;13106:6;13072:62;;;13145;13203:2;13192:9;13188:18;13179:6;13145:62;;;13218;13276:2;13265:9;13261:18;13252:6;13218:62;;;13291:63;13349:3;13338:9;13334:19;13325:6;13291:63;;;13365;13423:3;13412:9;13408:19;13399:6;13365:63;;;13439;13497:3;13486:9;13482:19;13473:6;13439:63;;;13513:59;13567:3;13556:9;13552:19;13543:6;13513:59;;;13583:63;13641:3;13630:9;13626:19;13617:6;13583:63;;;13657;13715:3;13704:9;13700:19;13691:6;13657:63;;;13731:64;13790:3;13779:9;13775:19;13765:7;13731:64;;;12956:849;;;;;;;;;;;;;;;13812:579;14044:2;14058:47;;;14029:18;;14119:116;14029:18;14221:6;14119:116;;;14111:124;;14246:62;14304:2;14293:9;14289:18;14280:6;14246:62;;;14319;14377:2;14366:9;14362:18;14353:6;14319:62;;14398:322;14548:2;14533:18;;14562:75;14537:9;14610:6;14562:75;;14727:193;14835:2;14820:18;;14849:61;14824:9;14883:6;14849:61;;14927:294;15063:2;15048:18;;15077:61;15052:9;15111:6;15077:61;;15228:256;15290:2;15284:9;15316:17;;;15391:18;15376:34;;15412:22;;;15373:62;15370:2;;;15448:1;15445;15438:12;15370:2;15464;15457:22;15268:216;;-1:-1;15268:216;15491:229;;15644:18;15636:6;15633:30;15630:2;;;15676:1;15673;15666:12;15630:2;-1:-1;15705:4;15693:17;;15567:153;15967:276;;16144:18;16136:6;16133:30;16130:2;;;16176:1;16173;16166:12;16130:2;-1:-1;16205:4;16193:17;;;16223:15;;16067:176;17016:139;17143:4;17131:17;;17112:43;17164:125;17272:12;;17256:33;17445:128;-1:-1;;;;;17514:54;;17497:76;17580:79;17649:5;17632:27;17752:88;17830:4;17819:16;;17802:38;17982:92;18055:13;18048:21;;18031:43;18167:123;;18254:31;18279:5;18254:31;;18297:132;;18387:1;18377:12;;18367:2;;18403:1;18400;18393:12;18367:2;-1:-1;18419:5;18361:68;18893:123;;18980:31;19005:5;18980:31;

bzzr://2fb704f8324a0451edad6e9021236eb4e8258769408ba0bc8be7915046ff8180