Contract Source Code (Solidity)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta
• Remix IDE

Outline

•  contract GeoRegistry *
•    - function toBytes1(bytes memory _bytes ...
•    - function toBytes3(bytes memory _bytes ...
•    - function validGeohashChars(bytes memo ...
•    - function validGeohashChars12(bytes12 ...
•    - function zoneInsideBiggerZone(bytes2 ...
•    - function updateLevel2(bytes2 _zoneCod ...
•    - function updateLevel2batch(bytes2 _zo ...
•    - function endInit(bytes2 _zoneCode)

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

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

pragma solidity ^0.5.10;

contract GeoRegistry {

  // ------------------------------------------------
  //
  // Variables Private
  //
  // ------------------------------------------------

  // set once in constructor()
  //      geohashChar bitmask
  mapping(bytes1 => bytes4) private charToBitmask;

  // ------------------------------------------------
  //
  // Variables Public
  //
  // ------------------------------------------------

  //      zoneCode isEnabled
  mapping(bytes2 => bool) public zoneIsEnabled;

  bytes2[] public enabledZone;

  //      zoneCode       geohashFirst3 bitmaskLevel4
  mapping(bytes2 => mapping(bytes3 => bytes4)) public level_2;

  // ------------------------------------------------
  //
  // Events
  //
  // ------------------------------------------------


  // ------------------------------------------------
  //
  // Constructor
  //
  // ------------------------------------------------

  constructor()
    public
  {

    // TODO: improve below code? https://medium.com/@imolfar/bitwise-operations-and-bit-manipulation-in-solidity-ethereum-1751f3d2e216
    charToBitmask[bytes1("v")] = hex"80000000"; // 2147483648
    charToBitmask[bytes1("y")] = hex"40000000"; // 1073741824
    charToBitmask[bytes1("z")] = hex"20000000"; // 536870912
    charToBitmask[bytes1("b")] = hex"10000000"; // 268435456
    charToBitmask[bytes1("c")] = hex"08000000"; // 134217728
    charToBitmask[bytes1("f")] = hex"04000000"; // 67108864
    charToBitmask[bytes1("g")] = hex"02000000"; // 33554432
    charToBitmask[bytes1("u")] = hex"01000000"; // 16777216
    charToBitmask[bytes1("t")] = hex"00800000"; // 8388608
    charToBitmask[bytes1("w")] = hex"00400000"; // 4194304
    charToBitmask[bytes1("x")] = hex"00200000"; // 2097152
    charToBitmask[bytes1("8")] = hex"00100000"; // 1048576
    charToBitmask[bytes1("9")] = hex"00080000"; // 524288
    charToBitmask[bytes1("d")] = hex"00040000"; // 262144
    charToBitmask[bytes1("e")] = hex"00020000"; // 131072
    charToBitmask[bytes1("s")] = hex"00010000"; // 65536
    charToBitmask[bytes1("m")] = hex"00008000"; // 32768
    charToBitmask[bytes1("q")] = hex"00004000"; // 16384
    charToBitmask[bytes1("r")] = hex"00002000"; // 8192
    charToBitmask[bytes1("2")] = hex"00001000"; // 4096
    charToBitmask[bytes1("3")] = hex"00000800"; // 2048
    charToBitmask[bytes1("6")] = hex"00000400"; // 1024
    charToBitmask[bytes1("7")] = hex"00000200"; // 512
    charToBitmask[bytes1("k")] = hex"00000100"; // 256
    charToBitmask[bytes1("j")] = hex"00000080"; // 128
    charToBitmask[bytes1("n")] = hex"00000040"; // 64
    charToBitmask[bytes1("p")] = hex"00000020"; // 32
    charToBitmask[bytes1("0")] = hex"00000010"; // 16
    charToBitmask[bytes1("1")] = hex"00000008"; // 8
    charToBitmask[bytes1("4")] = hex"00000004"; // 4
    charToBitmask[bytes1("5")] = hex"00000002"; // 2
    charToBitmask[bytes1("h")] = hex"00000001"; // 1
  }

  // ------------------------------------------------
  //
  // Functions Private Getters
  //
  // ------------------------------------------------

  function toBytes1(bytes memory _bytes, uint _start)
    private
    pure
    returns (bytes1)
  {
    require(_bytes.length >= (_start + 1), " not long enough");
    bytes1 tempBytes1;

    assembly {
        tempBytes1 := mload(add(add(_bytes, 0x20), _start))
    }

    return tempBytes1;
  }

  function toBytes3(bytes memory _bytes, uint _start)
    private
    pure
    returns (bytes3)
  {
    require(_bytes.length >= (_start + 3), " not long enough");
    bytes3 tempBytes3;

    assembly {
        tempBytes3 := mload(add(add(_bytes, 0x20), _start))
    }

    return tempBytes3;
  }

  // ------------------------------------------------
  //
  // Functions Public Getters
  //
  // ------------------------------------------------

  function validGeohashChars(bytes memory _bytes)
    public
    view
    returns (bool)
  {
    require(_bytes.length > 0, "_bytes geohash chars is empty array");

    for (uint i = 0; i < _bytes.length; i += 1) {
      // find the first occurence of a byte which is not valid geohash character
      if (charToBitmask[toBytes1(_bytes, i)] == bytes4(0)) {
        return false;
      }
    }
    return true;
  }
  function validGeohashChars12(bytes12 _bytes)
    public
    view
    returns (bool)
  {
    for (uint i = 0; i < 12; i += 1) {
      // find the first occurence of a byte which is not valid geohash character
      if (charToBitmask[bytes1(_bytes[i])] == bytes4(0)) {
        return false;
      }
    }
    return true;
  }

  // @NOTE: _zone can be any length of bytes
  function zoneInsideBiggerZone(bytes2 _zoneCode, bytes4 _zone)
    public
    view
    returns (bool)
  {
    bytes3 level2key = bytes3(_zone);
    bytes4 level3bits = level_2[_zoneCode][level2key];

    bytes1 fourthByte = bytes1(_zone[3]);
    bytes4 fourthByteBitPosMask = charToBitmask[fourthByte];

    if (level3bits & fourthByteBitPosMask != 0) {
      return true;
    } else {
      return false;
    }
  }

  // ------------------------------------------------
  //
  // Functions Setters Public
  //
  // ------------------------------------------------
  function updateLevel2(bytes2 _zoneCode, bytes3 _letter, bytes4 _subLetters)
    public
  {
    require(!zoneIsEnabled[_zoneCode], "zone must not be enabled");
    level_2[_zoneCode][_letter] = _subLetters;
  }
  function updateLevel2batch(bytes2 _zoneCode, bytes3[] memory _letters, bytes4[] memory _subLetters)
    public
  {
    require(!zoneIsEnabled[_zoneCode], "zone must not be enabled");
    for (uint i = 0; i < _letters.length; i++) {
      level_2[_zoneCode][_letters[i]] = _subLetters[i];
    }
  }
  function endInit(bytes2 _zoneCode)
    external
  {
    require(!zoneIsEnabled[_zoneCode], "zone must not be enabled");
    zoneIsEnabled[_zoneCode] = true;
    enabledZone.push(_zoneCode);
  }

}

• No Contract Security Audit Submitted- Submit Audit Here

[{"constant":true,"inputs":[{"name":"_bytes","type":"bytes"}],"name":"validGeohashChars","outputs":[{"name":"","type":"bool"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[{"name":"_zoneCode","type":"bytes2"},{"name":"_zone","type":"bytes4"}],"name":"zoneInsideBiggerZone","outputs":[{"name":"","type":"bool"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[{"name":"","type":"bytes2"},{"name":"","type":"bytes3"}],"name":"level_2","outputs":[{"name":"","type":"bytes4"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"name":"_zoneCode","type":"bytes2"},{"name":"_letter","type":"bytes3"},{"name":"_subLetters","type":"bytes4"}],"name":"updateLevel2","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[{"name":"","type":"bytes2"}],"name":"zoneIsEnabled","outputs":[{"name":"","type":"bool"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"name":"_zoneCode","type":"bytes2"}],"name":"endInit","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[{"name":"_bytes","type":"bytes12"}],"name":"validGeohashChars12","outputs":[{"name":"","type":"bool"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"name":"_zoneCode","type":"bytes2"},{"name":"_letters","type":"bytes3[]"},{"name":"_subLetters","type":"bytes4[]"}],"name":"updateLevel2batch","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[{"name":"","type":"uint256"}],"name":"enabledZone","outputs":[{"name":"","type":"bytes2"}],"payable":false,"stateMutability":"view","type":"function"},{"inputs":[],"payable":false,"stateMutability":"nonpayable","type":"constructor"}]

0x608060405234801561001057600080fd5b50600436106100935760003560e01c8063923ae12b11610066578063923ae12b14610368578063a9879ecf146103cf578063bf922fe21461041e578063cd05115c1461047b578063f9e89dda146105f257610093565b80631d0a4831146100985780632aaec37b1461016b578063694a53d7146101fb57806381b0bb9c146102c6575b600080fd5b610151600480360360208110156100ae57600080fd5b81019080803590602001906401000000008111156100cb57600080fd5b8201836020820111156100dd57600080fd5b803590602001918460018302840111640100000000831117156100ff57600080fd5b91908080601f016020809104026020016040519081016040528093929190818152602001838380828437600081840152601f19601f820116905080830192505050505050509192919290505050610676565b604051808215151515815260200191505060405180910390f35b6101e16004803603604081101561018157600080fd5b8101908080357dffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff1916906020019092919080357bffffffffffffffffffffffffffffffffffffffffffffffffffffffff191690602001909291905050506107b6565b604051808215151515815260200191505060405180910390f35b6102726004803603604081101561021157600080fd5b8101908080357dffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff1916906020019092919080357cffffffffffffffffffffffffffffffffffffffffffffffffffffffffff19169060200190929190505050610939565b60405180827bffffffffffffffffffffffffffffffffffffffffffffffffffffffff19167bffffffffffffffffffffffffffffffffffffffffffffffffffffffff1916815260200191505060405180910390f35b610366600480360360608110156102dc57600080fd5b8101908080357dffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff1916906020019092919080357cffffffffffffffffffffffffffffffffffffffffffffffffffffffffff1916906020019092919080357bffffffffffffffffffffffffffffffffffffffffffffffffffffffff19169060200190929190505050610968565b005b6103b56004803603602081101561037e57600080fd5b8101908080357dffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff19169060200190929190505050610b05565b604051808215151515815260200191505060405180910390f35b61041c600480360360208110156103e557600080fd5b8101908080357dffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff19169060200190929190505050610b25565b005b6104616004803603602081101561043457600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff19169060200190929190505050610cb7565b604051808215151515815260200191505060405180910390f35b6105f06004803603606081101561049157600080fd5b8101908080357dffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff19169060200190929190803590602001906401000000008111156104d957600080fd5b8201836020820111156104eb57600080fd5b8035906020019184602083028401116401000000008311171561050d57600080fd5b919080806020026020016040519081016040528093929190818152602001838360200280828437600081840152601f19601f8201169050808301925050505050505091929192908035906020019064010000000081111561056d57600080fd5b82018360208201111561057f57600080fd5b803590602001918460208302840111640100000000831117156105a157600080fd5b919080806020026020016040519081016040528093929190818152602001838360200280828437600081840152601f19601f820116905080830192505050505050509192919290505050610da4565b005b61061e6004803603602081101561060857600080fd5b8101908080359060200190929190505050610f84565b60405180827dffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff19167dffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff1916815260200191505060405180910390f35b6000808251116106d1576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252602381526020018061104a6023913960400191505060405180910390fd5b60008090505b82518110156107ab57600060e01b7bffffffffffffffffffffffffffffffffffffffffffffffffffffffff19166000806107118685610fb8565b7effffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff19167effffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff1916815260200190815260200160002060009054906101000a900460e01b7bffffffffffffffffffffffffffffffffffffffffffffffffffffffff191614156107a05760009150506107b1565b6001810190506106d7565b50600190505b919050565b600080829050600060036000867dffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff19167dffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff191681526020019081526020016000206000837cffffffffffffffffffffffffffffffffffffffffffffffffffffffffff19167cffffffffffffffffffffffffffffffffffffffffffffffffffffffffff1916815260200190815260200160002060009054906101000a900460e01b905060008460036004811061088357fe5b1a60f81b90506000806000837effffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff19167effffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff1916815260200190815260200160002060009054906101000a900460e01b9050600060e01b8184167bffffffffffffffffffffffffffffffffffffffffffffffffffffffff19161461092a576001945050505050610933565b60009450505050505b92915050565b60036020528160005260406000206020528060005260406000206000915091509054906101000a900460e01b81565b60016000847dffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff19167dffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff1916815260200190815260200160002060009054906101000a900460ff1615610a3e576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260188152602001807f7a6f6e65206d757374206e6f7420626520656e61626c6564000000000000000081525060200191505060405180910390fd5b8060036000857dffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff19167dffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff191681526020019081526020016000206000847cffffffffffffffffffffffffffffffffffffffffffffffffffffffffff19167cffffffffffffffffffffffffffffffffffffffffffffffffffffffffff1916815260200190815260200160002060006101000a81548163ffffffff021916908360e01c0217905550505050565b60016020528060005260406000206000915054906101000a900460ff1681565b60016000827dffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff19167dffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff1916815260200190815260200160002060009054906101000a900460ff1615610bfb576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260188152602001807f7a6f6e65206d757374206e6f7420626520656e61626c6564000000000000000081525060200191505060405180910390fd5b6001806000837dffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff19167dffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff1916815260200190815260200160002060006101000a81548160ff021916908315150217905550600281908060018154018082558091505090600182039060005260206000209060109182820401919006600202909192909190916101000a81548161ffff021916908360f01c02179055505050565b600080600090505b600c811015610d9957600060e01b7bffffffffffffffffffffffffffffffffffffffffffffffffffffffff19166000808584600c8110610cfb57fe5b1a60f81b7effffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff19167effffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff1916815260200190815260200160002060009054906101000a900460e01b7bffffffffffffffffffffffffffffffffffffffffffffffffffffffff19161415610d8e576000915050610d9f565b600181019050610cbf565b50600190505b919050565b60016000847dffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff19167dffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff1916815260200190815260200160002060009054906101000a900460ff1615610e7a576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260188152602001807f7a6f6e65206d757374206e6f7420626520656e61626c6564000000000000000081525060200191505060405180910390fd5b60008090505b8251811015610f7e57818181518110610e9557fe5b602002602001015160036000867dffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff19167dffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff191681526020019081526020016000206000858481518110610f0057fe5b60200260200101517cffffffffffffffffffffffffffffffffffffffffffffffffffffffffff19167cffffffffffffffffffffffffffffffffffffffffffffffffffffffffff1916815260200190815260200160002060006101000a81548163ffffffff021916908360e01c02179055508080600101915050610e80565b50505050565b60028181548110610f9157fe5b9060005260206000209060109182820401919006600202915054906101000a900460f01b81565b60006001820183511015611034576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260108152602001807f206e6f74206c6f6e6720656e6f7567680000000000000000000000000000000081525060200191505060405180910390fd5b6000826020850101519050809150509291505056fe5f62797465732067656f6861736820636861727320697320656d707479206172726179a265627a7a72305820f3c69085c18b67fd4d62334ecc07dee588deb7ffde029453821c1ccc8d1c293264736f6c634300050a0032

28:6070:0:-;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;28:6070:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;3963:425;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;3963:425:0;;;;;;;;;;21:11:-1;8;5:28;2:2;;;46:1;43;36:12;2:2;3963:425:0;;35:9:-1;28:4;12:14;8:25;5:40;2:2;;;58:1;55;48:12;2:2;3963:425: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;3963:425: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;;3963:425:0;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;4779:430;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;4779:430:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;637:59;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;637:59:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;5368:214;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;5368:214:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;498:44;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;498:44:0;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;5894:199;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;5894:199:0;;;;;;;;;;;;;;;;;;;;:::i;:::-;;4392:335;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;4392:335:0;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;5586:304;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;5586:304:0;;;;;;;;;;;;;;;;;;;;;;21:11:-1;8;5:28;2:2;;;46:1;43;36:12;2:2;5586:304:0;;35:9:-1;28:4;12:14;8:25;5:40;2:2;;;58:1;55;48:12;2:2;5586: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;5586: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;;5586:304:0;;;;;;;;;;;;;;;;;21:11:-1;8;5:28;2:2;;;46:1;43;36:12;2:2;5586:304:0;;35:9:-1;28:4;12:14;8:25;5:40;2:2;;;58:1;55;48:12;2:2;5586: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;5586: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;;5586:304:0;;;;;;;;;;;;;;;:::i;:::-;;549:27;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;549:27:0;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;3963:425;4047:4;4087:1;4071:6;:13;:17;4063:65;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;4142:6;4151:1;4142:10;;4137:228;4158:6;:13;4154:1;:17;4137:228;;;4321:1;4314:9;;4276:47;;;:13;:34;4290:19;4299:6;4307:1;4290:8;:19::i;:::-;4276:34;;;;;;;;;;;;;;;;;;;;;;;;;;;:47;;;;4272:86;;;4343:5;4336:12;;;;;4272:86;4178:1;4173:6;;;;4137:228;;;;4378:4;4371:11;;3963:425;;;;:::o;4779:430::-;4877:4;4893:16;4919:5;4893:32;;4932:17;4952:7;:18;4960:9;4952:18;;;;;;;;;;;;;;;;;:29;4971:9;4952:29;;;;;;;;;;;;;;;;;;;;;;;;;;;4932:49;;4990:17;5017:5;5023:1;5017:8;;;;;;;;;;4990:36;;5033:27;5063:13;:25;5077:10;5063:25;;;;;;;;;;;;;;;;;;;;;;;;;;;5033:55;;5138:1;5101:38;;5114:20;5101:10;:33;:38;;;;5097:107;;5157:4;5150:11;;;;;;;;5097:107;5191:5;5184:12;;;;;;4779:430;;;;;:::o;637:59::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::o;5368:214::-;5475:13;:24;5489:9;5475:24;;;;;;;;;;;;;;;;;;;;;;;;;;;5474:25;5466:62;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;5565:11;5535:7;:18;5543:9;5535:18;;;;;;;;;;;;;;;;;:27;5554:7;5535:27;;;;;;;;;;;;;;;;;;:41;;;;;;;;;;;;;;;;;;5368:214;;;:::o;498:44::-;;;;;;;;;;;;;;;;;;;;;;:::o;5894:199::-;5962:13;:24;5976:9;5962:24;;;;;;;;;;;;;;;;;;;;;;;;;;;5961:25;5953:62;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;6049:4;6022:13;:24;6036:9;6022:24;;;;;;;;;;;;;;;;;;:31;;;;;;;;;;;;;;;;;;6060:11;6077:9;6060:27;;39:1:-1;33:3;27:10;23:18;57:10;52:3;45:23;79:10;72:17;;0:93;6060:27:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;5894:199;:::o;4392:335::-;4473:4;4494:6;4503:1;4494:10;;4489:215;4510:2;4506:1;:6;4489:215;;;4660:1;4653:9;;4617:45;;;:13;:32;4638:6;4645:1;4638:9;;;;;;;;;;4617:32;;;;;;;;;;;;;;;;;;;;;;;;;;;:45;;;;4613:84;;;4682:5;4675:12;;;;;4613:84;4519:1;4514:6;;;;4489:215;;;;4717:4;4710:11;;4392:335;;;;:::o;5586:304::-;5717:13;:24;5731:9;5717:24;;;;;;;;;;;;;;;;;;;;;;;;;;;5716:25;5708:62;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;5782:6;5791:1;5782:10;;5777:108;5798:8;:15;5794:1;:19;5777:108;;;5863:11;5875:1;5863:14;;;;;;;;;;;;;;5829:7;:18;5837:9;5829:18;;;;;;;;;;;;;;;;;:31;5848:8;5857:1;5848:11;;;;;;;;;;;;;;5829:31;;;;;;;;;;;;;;;;;;:48;;;;;;;;;;;;;;;;;;5815:3;;;;;;;5777:108;;;;5586:304;;;:::o;549:27::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::o;3182:307::-;3271:6;3324:1;3315:6;:10;3297:6;:13;:29;;3289:58;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;3354:17;3443:6;3436:4;3428:6;3424:17;3420:30;3414:37;3400:51;;3473:10;3466:17;;;3182:307;;;;:::o

bzzr://f3c69085c18b67fd4d62334ecc07dee588deb7ffde029453821c1ccc8d1c2932