local ZGV = ZygorGuidesViewer
if not ZGV then
  return
end

-- [followup]=prereq

ZGV.Chains = {
  [10002] = 9998,
  [10003] = 10000,
  [10005] = 10446,
  [10006] = 10447,
  [10007] = 9998,
  [10012] = 9998,
  [1001] = 983,
  [10022] = 10016,
  [13412] = 11919,
  [13413] = 13412,
  [10023] = 10018,
  [10028] = 9992,
  [1002] = 1001,
  [10031] = 10030,
  [12891] = { 'OR', 12887, 12892 },
  [10035] = 10033,
  [12922] = 13064,
  [10036] = 10034,
  [1003] = 1002,
  [10040] = 10038,
  [10041] = 10039,
  [10042] = 10040,
  [10043] = 10041,
  [10045] = 10044,
  [10047] = { 'OR', 10143, 10483 },
  [10050] = { 'OR', 10143, 10483 },
  [10057] = 10050,
  [10058] = { 'OR', 10483, 10143 },
  [10068] = 8328,
  [10069] = 9676,
  [10070] = 9393,
  [10071] = 9392,
  [10072] = 8564,
  [10073] = 8563,
  [10075] = 10074,
  [10077] = 10076,
  [10078] = 10055,
  [10079] = { 'OR', 10143, 10483 },
  [10081] = 10045,
  [10082] = 10081,
  [10085] = 10082,
  [10087] = 10086,
  [10091] = 10178,
  [10093] = 10047,
  [10094] = 10177,
  [10095] = 10094,
  [10096] = 9747,
  [10099] = 10079,
  [11940] = 11919,
  [13414] = 13413,
  [1009] = 1007,
  [100] = 63,
  [10101] = 10085,
  [10102] = 10101,
  [10107] = 9907,
  [10108] = 9922,
  [10111] = 10109,
  [10112] = 9979,
  [10118] = 9822,
  [10120] = 9407,
  [10121] = 10291,
  [10123] = 10121,
  [10124] = 10123,
  [10129] = 10208,
  [10140] = 10288,
  [10141] = 10254,
  [10142] = 10141,
  [10143] = 10142,
  [10144] = 10143,
  [10146] = 10144,
  [10160] = 10254,
  [10162] = 10129,
  [10163] = 10344,
  [10166] = 8474,
  [10167] = 10102,
  [10168] = 10167,
  [10170] = 10168,
  [10171] = 10170,
  [10172] = 10171,
  [10174] = 10300,
  [10175] = 10172,
  [10176] = 10209,
  [1017] = 1016,
  [10184] = 10300,
  [10185] = 10174,
  [10186] = { 'OR', 10183, 11036, 11037, 11040, 11042 },
  [10188] = 10174,
  [10189] = 11039,
  [10192] = 10188,
  [10193] = 10189,
  [10194] = 10329,
  [10197] = 10652,
  [10198] = 10197,
  [10199] = 10342,
  [10200] = 10330,
  [10201] = 9993,
  [10202] = 10341,
  [10203] = 10186,
  [10204] = 10189,
  [10204] = 10189,
  [10205] = 10262,
  [10206] = 10265,
  [10208] = 10124,
  [10209] = 10301,
  [1020] = 1010,
  [10211] = 10210,
  [10212] = 10175,
  [10213] = 9345,
  [10221] = 10203,
  [10222] = 10188,
  [10223] = 10222,
  [10224] = 10225,
  [10225] = 10186,
  [10226] = 10224,
  [10228] = 10227,
  [10230] = 10229,
  [10231] = 10228,
  [10232] = 10206,
  [10233] = 10192,
  [10234] = 10333,
  [10235] = 10234,
  [10237] = 10235,
  [10238] = 10236,
  [10239] = 10343,
  [1023] = 991,
  [10240] = 10239,
  [10242] = 10450,
  [10243] = 10241,
  [10245] = 10243,
  [10246] = 10299,
  [10247] = 10237,
  [10248] = 10247,
  [10249] = 10248,
  [1024] = 1023,
  [10250] = 10230,
  [10251] = 10231,
  [10252] = 10251,
  [10253] = 10252,
  [10254] = 10140,
  [10255] = 9372,
  [10257] = 10256,
  [10258] = 10250,
  [1025] = 991,
  [10262] = 10265,
  [10266] = 10205,
  [10267] = 10266,
  [10268] = 10267,
  [10269] = 10268,
  [1026] = 1024,
  [10271] = 10270,
  [10272] = 10281,
  [10273] = 10272,
  [10274] = 10273,
  [10275] = 10269,
  [10276] = 10275,
  [10277] = 10279,
  [1027] = 1026,
  [10280] = 10276,
  [10281] = 10271,
  [10283] = 10282,
  [10284] = 10283,
  [10285] = 10284,
  [10286] = 9374,
  [10287] = 10286,
  [10288] = 10119,
  [10289] = 10120,
  [1028] = 1027,
  [10291] = 10289,
  [10293] = 10290,
  [10294] = 10278,
  [10295] = 10294,
  [10297] = 10296,
  [10298] = 10297,
  [10299] = 10245,
  [1029] = 1055,
  [10300] = 10173,
  [10301] = 10192,
  [10303] = 9309,
  [1030] = 1029,
  [10310] = 10311,
  [10312] = 10184,
  [10313] = 10241,
  [10314] = 10316,
  [10316] = 10312,
  [10318] = 10317,
  [10319] = 10314,
  [1031] = 1021,
  [10320] = 10319,
  [10321] = 10299,
  [10322] = 10321,
  [10323] = 10322,
  [10324] = 9454,
  [10326] = 10325,
  [10328] = { 'AND', 10313, 10321 },
  [10329] = 10193,
  [1032] = 1031,
  [10330] = 10198,
  [10332] = 10331,
  [10333] = 10206,
  [10337] = 10334,
  [10338] = 10200,
  [1033] = 1020,
  [10340] = 10146,
  [10343] = 10174,
  [10344] = 10340,
  [10349] = 10134,
  [1034] = 1033,
  [1034] = 1033,
  [10350] = 9582,
  [10355] = 9827,
  [1035] = 1034,
  [10365] = 10338,
  [10367] = 10403,
  [10368] = 10367,
  [10369] = 10368,
  [1037] = 1022,
  [10380] = 10431,
  [10381] = 10380,
  [10382] = 10163,
  [10384] = 10339,
  [10385] = 10384,
  [10388] = 10129,
  [10389] = 10392,
  [1038] = 1037,
  [10390] = 10388,
  [10391] = 10390,
  [10392] = 10391,
  [10394] = 10382,
  [10396] = 10394,
  [10397] = 10396,
  [10399] = 10395,
  [1039] = 1038,
  [10405] = 10385,
  [10406] = 10405,
  [10408] = 10406,
  [10409] = 10410,
  [1040] = 1039,
  [10410] = 10407,
  [10415] = 10412,
  [10418] = 10417,
  [10419] = 10416,
  [1041] = 1040,
  [10421] = 10420,
  [10423] = 10418,
  [10424] = 10423,
  [10427] = 10426,
  [10429] = 10427,
  [1042] = 1041,
  [10430] = 10424,
  [10431] = 10328,
  [10432] = 10202,
  [10434] = 10433,
  [10435] = 10434,
  [10436] = 10430,
  [10438] = 10437,
  [10439] = 10438,
  [1043] = 1042,
  [10440] = 10436,
  [10444] = 9994,
  [10446] = 9996,
  [10447] = 9997,
  [10448] = 9995,
  [10449] = 10450,
  [1044] = 1043,
  [10456] = 10455,
  [10457] = 10456,
  [1045] = 1030,
  [10468] = 10464,
  [10469] = 10465,
  [1046] = 1045,
  [10470] = 10466,
  [10471] = 10467,
  [10472] = 10468,
  [10473] = 10469,
  [10474] = 10470,
  [10475] = 10471,
  [10482] = 10160,
  [10483] = 10482,
  [10484] = 10483,
  [10485] = 10484,
  [10487] = 10486,
  [10488] = 10487,
  [10504] = 10502,
  [10505] = 10503,
  [10506] = 10457,
  [10507] = 10509,
  [10508] = 10432,
  [10509] = 10508,
  [10512] = 10511,
  [10517] = 10516,
  [10518] = 10517,
  [10522] = 10521,
  [10523] = 10522,
  [10525] = 10524,
  [10526] = 10525,
  [10528] = 10527,
  [1052] = 261,
  [10538] = 10450,
  [1053] = 1052,
  [10540] = 10537,
  [10541] = 10540,
  [10543] = 10545,
  [10544] = 10543,
  [10545] = 10542,
  [10547] = 10546,
  [10548] = 9491,
  [10550] = 10547,
  [10551] = 10211,
  [10552] = 10211,
  [10553] = 10211,
  [10556] = 10555,
  [1055] = 1028,
  [10562] = 11044,
  [10563] = 10562,
  [10564] = 10572,
  [10566] = 10565,
  [10570] = 10550,
  [10571] = 10568,
  [10572] = 10563,
  [10573] = 10564,
  [10574] = 10571,
  [10575] = 10574,
  [10576] = 10570,
  [10577] = 10576,
  [10578] = 10577,
  [10579] = 10578,
  [10581] = 10580,
  [10582] = 10573,
  [10589] = 10586,
  [10590] = 9601,
  [10592] = 10590,
  [10593] = 10592,
  [10594] = 10608,
  [10595] = 11048,
  [10596] = 10595,
  [10597] = 10596,
  [10598] = 10597,
  [10599] = 10598,
  [1059] = 1057,
  [10600] = 10599,
  [10604] = 10603,
  [10606] = 10766,
  [10607] = 10567,
  [1060] = 876,
  [10611] = 10767,
  [10612] = 10606,
  [10613] = 10611,
  [10614] = 10718,
  [10615] = 10566,
  [10620] = 10584,
  [10622] = 10575,
  [10624] = 11046,
  [10625] = 10624,
  [10626] = 10621,
  [10627] = 10623,
  [10628] = 10622,
  [10629] = 10238,
  [10630] = 10629,
  [10632] = 10584,
  [10633] = 10625,
  [10637] = 10587,
  [1063] = 1062,
  [10640] = 10637,
  [10642] = 11045,
  [10643] = 10642,
  [10644] = 10643,
  [10649] = 10646,
  [1064] = 1063,
  [10651] = 10650,
  [10652] = 10194,
  [10654] = 10653,
  [10657] = 10584,
  [10658] = 10656,
  [1065] = 1064,
  [1066] = 1065,
  [10671] = 10620,
  [10672] = 10660,
  [10673] = 10672,
  [10674] = 10657,
  [10675] = 10674,
  [10677] = 10661,
  [10678] = 10677,
  [10679] = 10676,
  [10688] = 10687,
  [10689] = 10688,
  [1068] = 1062,
  [10692] = 10691,
  [10704] = 10280,
  [10705] = 10628,
  [10706] = 10705,
  [10707] = 10706,
  [10708] = 10707,
  [10709] = 10614,
  [10710] = 10557,
  [10711] = 10657,
  [10712] = 10711,
  [10713] = 10682,
  [10714] = 10709,
  [10715] = 10783,
  [10717] = 10682,
  [10718] = 10526,
  [10719] = 10682,
  [1071] = 1085,
  [10720] = 10749,
  [10721] = 10720,
  [10722] = 10893,
  [10723] = 10785,
  [10724] = 10723,
  [10725] = 10738,
  [10726] = 10739,
  [10727] = 10740,
  [10728] = 10741,
  [1072] = 1071,
  [10733] = 10729,
  [10734] = 10730,
  [10735] = 10731,
  [10736] = 10732,
  [10738] = 10733,
  [10739] = 10734,
  [1073] = 1072,
  [10740] = 10735,
  [10741] = 10736,
  [10742] = 10724,
  [10744] = 10612,
  [10745] = 10613,
  [10747] = 10717,
  [10748] = 10722,
  [10749] = 10715,
  [1074] = 1073,
  [10751] = 10750,
  [10756] = 10755,
  [10757] = 10756,
  [10758] = 10757,
  [1075] = 1071,
  [10762] = 10754,
  [10763] = 10762,
  [10764] = 10763,
  [10765] = 10751,
  [10766] = 10589,
  [10767] = 10604,
  [10768] = 10765,
  [10769] = 10768,
  [1076] = 1075,
  [10773] = 10772,
  [10774] = 10773,
  [10775] = 10774,
  [10776] = 10775,
  [10781] = 10793,
  [10783] = 10714,
  [10784] = 10749,
  [10785] = 10721,
  [10786] = 10785,
  [10791] = 10023,
  [10792] = 10809,
  [10798] = 10797,
  [10799] = 10798,
  [107] = 111,
  [10800] = 10799,
  [10801] = 10800,
  [10802] = 10801,
  [10805] = 10818,
  [10806] = 10805,
  [10811] = 10804,
  [10812] = 10810,
  [10813] = 10809,
  [10814] = 10811,
  [10816] = 10619,
  [10817] = 10807,
  [10818] = 10802,
  [10819] = 10812,
  [1081] = 1082,
  [10820] = 10819,
  [10821] = 10820,
  [10823] = 10824,
  [10827] = 10826,
  [10829] = 10825,
  [10830] = 10829,
  [10834] = 10813,
  [10835] = 10538,
  [10836] = 10814,
  [10837] = 10836,
  [10838] = 10864,
  [10839] = 10849,
  [10840] = 10852,
  [10843] = 10846,
  [10845] = 10843,
  [10846] = 10565,
  [10848] = 10839,
  [10849] = 10847,
  [10851] = 10846,
  [10852] = 10849,
  [10853] = 10851,
  [10854] = 10837,
  [10856] = 10855,
  [10857] = 10856,
  [10858] = 10854,
  [10859] = 10853,
  [1085] = 1070,
  [10861] = 10848,
  [10864] = 10835,
  [10865] = 10859,
  [10866] = 10858,
  [10867] = 10865,
  [10870] = 10866,
  [10874] = 10861,
  [10875] = 10838,
  [10876] = 10875,
  [10879] = 10889,
  [10881] = 10880,
  [10882] = 10704,
  [10889] = 10874,
  [1088] = 1087,
  [10893] = 10894,
  [10894] = 10719,
  [10897] = 10905,
  [10899] = 10907,
  [1089] = 1088,
  [10901] = 10900,
  [10902] = 10906,
  [10903] = 10485,
  [10904] = 10910,
  [10909] = 10903,
  [10910] = 10821,
  [10911] = 10904,
  [10912] = 10911,
  [10914] = 10913,
  [10915] = 10914,
  [10916] = 10903,
  [10918] = 10917,
  [10921] = 10920,
  [10923] = 10877,
  [10926] = 10921,
  [10929] = 10922,
  [1092] = 1090,
  [10930] = 10929,
  [10935] = { 'AND', 10909, 10916 },
  [10936] = 10935,
  [10937] = 10936,
  [10946] = 10944,
  [10947] = 10946,
  [10948] = 10947,
  [10949] = 10948,
  [1094] = 1093,
  [10957] = 10958,
  [10958] = 10985,
  [10959] = 10957,
  [1095] = 1094,
  [10961] = 10955,
  [10964] = 10961,
  [10965] = 10964,
  [10968] = 10956,
  [1096] = 1095,
  [10970] = 10969,
  [10974] = 10973,
  [10977] = 10976,
  [10978] = 10965,
  [10979] = 10978,
  [10980] = 10979,
  [10983] = 10984,
  [10985] = 10949,
  [10986] = 10980,
  [10987] = 10986,
  [10988] = 10987,
  [10990] = 10988,
  [10991] = 10990,
  [10992] = 10991,
  [10993] = 10992,
  [10994] = 10993,
  [10] = 82,
  [11000] = 10998,
  [11001] = 10994,
  [11009] = 11022,
  [11014] = 11013,
  [1101] = 1100,
  [11023] = 11010,
  [11024] = 11021,
  [11028] = 11024,
  [11029] = 11056,
  [11055] = 11054,
  [11056] = 11028,
  [11058] = 11025,
  [11061] = 11030,
  [11066] = 11065,
  [1106] = { 'AND', 1104, 1105 },
  [11076] = 11075,
  [11080] = 11058,
  [11082] = 11081,
  [1108] = 1106,
  [11090] = 11089,
  [11095] = 11094,
  [11098] = 11096,
  [110] = 10,
  [11100] = 11099,
  [11108] = 11107,
  [11128] = 11126,
  [1112] = 1111,
  [11132] = 11130,
  [11133] = 11128,
  [11134] = 11133,
  [11136] = 11134,
  [11137] = 11136,
  [11138] = 11137,
  [11139] = 11138,
  [1113] = 1109,
  [11140] = 11139,
  [11142] = 11141,
  [11144] = 11143,
  [11145] = 11146,
  [11147] = 11146,
  [11148] = 11143,
  [11149] = 11144,
  [11149] = 11148,
  [1114] = 1112,
  [11150] = 11149,
  [11151] = 11150,
  [11152] = 11151,
  [11159] = 11161,
  [1115] = 1114,
  [11160] = 11158,
  [11161] = 11158,
  [11162] = 11159,
  [11163] = 11178,
  [11165] = 11164,
  [11166] = 11132,
  [11168] = 11167,
  [1116] = 1115,
  [11170] = 11168,
  [11171] = 11166,
  [11175] = 11240,
  [11176] = 11175,
  [11177] = 11134,
  [1117] = 1116,
  [11181] = 11180,
  [11183] = 11181,
  [11187] = 11157,
  [11188] = 11187,
  [11192] = 11191,
  [11193] = 11192,
  [11194] = 11193,
  [11195] = 11165,
  [11198] = 11210,
  [11199] = { 'AND', 11187, 11188 },
  [111] = 106,
  [11202] = 11199,
  [11205] = 11203,
  [11206] = 11205,
  [11208] = 11207,
  [11209] = 11194,
  [11210] = 11209,
  [11218] = 11188,
  [11221] = 11270,
  [11223] = 11222,
  [11224] = 11188,
  [11229] = 11221,
  [11230] = 11229,
  [11231] = 11250,
  [11232] = 11230,
  [11233] = 11232,
  [11234] = 11233,
  [11235] = 11250,
  [11236] = 11235,
  [11238] = 11237,
  [11239] = 11231,
  [1123] = { 'OR', 1000, 1004, 1018 },
  [11240] = 11218,
  [11243] = 11228,
  [11244] = 11243,
  [11245] = 11248,
  [11246] = 11248,
  [11247] = 11248,
  [11248] = 11332,
  [1124] = { 'OR', 6762, 1123 },
  [11250] = { 'AND', 11245, 11246, 11247 },
  [11252] = 11251,
  [11253] = 11227,
  [11254] = 11253,
  [11255] = 11244,
  [11257] = 11256,
  [11258] = 11256,
  [11259] = 11256,
  [1125] = 1124,
  [11263] = 11261,
  [11264] = 11263,
  [11265] = 11261,
  [11267] = 11266,
  [11268] = 11265,
  [1126] = 1125,
  [11273] = 11244,
  [11274] = 11273,
  [11276] = 11274,
  [11277] = 11276,
  [11278] = 11300,
  [11280] = 11279,
  [11281] = 11275,
  [11282] = 11295,
  [11283] = 11282,
  [11285] = 11282,
  [11288] = 11244,
  [11289] = 11288,
  [11290] = 11255,
  [11291] = 11290,
  [11295] = 11254,
  [11299] = 11277,
  [112] = 107,
  [11300] = 11299,
  [11302] = 11329,
  [11303] = { 'AND', 11283, 11285 },
  [11304] = 11170,
  [11305] = 11304,
  [11306] = 11305,
  [11307] = 11306,
  [11308] = 11307,
  [11309] = 11308,
  [11310] = 11309,
  [11313] = { 'OR', 11302, 11312 },
  [11314] = 11313,
  [11315] = 11313,
  [11316] = 11315,
  [11317] = 11286,
  [11319] = 11315,
  [1131] = 1130,
  [11323] = 11317,
  [11324] = 11417,
  [11325] = 11322,
  [11326] = 11416,
  [11327] = 11202,
  [11328] = 11327,
  [11330] = 11328,
  [11331] = 11330,
  [11332] = 11331,
  [11333] = 11244,
  [1133] = 1132,
  [11343] = 11333,
  [11344] = 11343,
  [11346] = 11329,
  [11348] = 11349,
  [11349] = 11346,
  [1134] = 1008,
  [1134] = 1008,
  [11351] = 11350,
  [11352] = 11351,
  [11358] = 11355,
  [11359] = 11358,
  [11366] = 11365,
  [11367] = 11366,
  [1136] = 1131,
  [1137] = 1108,
  [11390] = 11176,
  [11391] = 11390,
  [11396] = 11395,
  [11399] = 11398,
  [1139] = 762,
  [113] = 110,
  [11406] = 11332,
  [11406] = 11332,
  [1140] = 973,
  [11410] = 11329,
  [11414] = 11325,
  [11415] = 11323,
  [11416] = 11414,
  [11417] = 11415,
  [11418] = 11269,
  [11420] = 11244,
  [11421] = 11430,
  [11426] = 11420,
  [11427] = 11426,
  [11428] = 11316,
  [11429] = 11427,
  [11430] = 11429,
  [11432] = 11231,
  [11433] = 11265,
  [11434] = 11509,
  [11436] = 11421,
  [1143] = 1167,
  [11448] = 11278,
  [11455] = 11434,
  [11457] = 11456,
  [11458] = 11457,
  [11459] = 11473,
  [11464] = 11434,
  [11465] = 11460,
  [11466] = 11464,
  [11467] = 11466,
  [11468] = 11465,
  [11469] = 11509,
  [1146] = 1145,
  [11470] = 11468,
  [11471] = 11480,
  [11472] = 11469,
  [11473] = 11455,
  [11474] = 11448,
  [11476] = 11459,
  [11479] = 11476,
  [1147] = 1146,
  [11480] = 11479,
  [11483] = 11475,
  [11484] = 11475,
  [11485] = 11484,
  [11488] = 11481,
  [11489] = 11485,
  [11490] = 11488,
  [11491] = 11489,
  [11492] = 11490,
  [11494] = 11491,
  [114] = 112,
  [11507] = 11504,
  [11508] = 11507,
  [11509] = 11508,
  [1150] = 1149,
  [11510] = 11509,
  [11511] = 11510,
  [11512] = 11510,
  [11519] = 11510,
  [1151] = 1150,
  [11527] = 11519,
  [11529] = 11527,
  [1152] = 1151,
  [11530] = 11529,
  [1154] = 1152,
  [11559] = 11571,
  [11560] = 11559,
  [11561] = 11559,
  [11562] = 11560,
  [11563] = 11562,
  [11564] = 11562,
  [11565] = 11563,
  [11566] = 11565,
  [11567] = 11510,
  [11568] = { 'AND', 11567, 11512, 11530, 11511 },
  [11572] = 11568,
  [11574] = { 'OR', 11595, 11596, 11597 },
  [11575] = 11897,
  [11582] = 11576,
  [11587] = { 'OR', 11574, 11575 },
  [11590] = 11587,
  [11595] = 11586,
  [11598] = { 'OR', 11595, 11596, 11597 },
  [11598] = { 'OR', 11595, 11596, 11597 },
  [11599] = 11927,
  [1159] = 6627,
  [115] = 20,
  [11600] = 11599,
  [11601] = 11600,
  [11602] = 11598,
  [11603] = 11601,
  [11604] = 11603,
  [11607] = 11605,
  [11608] = 11606,
  [11609] = 11607,
  [1160] = 1159,
  [11610] = 11609,
  [11611] = { 'OR', 11595, 11596, 11597 },
  [11614] = 11598,
  [11615] = 11614,
  [11616] = 11615,
  [11617] = 11612,
  [11618] = 11616,
  [11619] = 11613,
  [11620] = 11619,
  [11623] = 11617,
  [11624] = 12486,
  [11625] = 11620,
  [11626] = 11625,
  [11627] = 11624,
  [11628] = 11894,
  [11629] = 11649,
  [11630] = 11628,
  [11631] = 11629,
  [11633] = 11630,
  [11634] = 11602,
  [11635] = 11631,
  [11636] = 11634,
  [11637] = 11635,
  [11638] = 11637,
  [11639] = 11631,
  [11640] = 11633,
  [11641] = 11633,
  [11642] = 11636,
  [11643] = 11642,
  [11644] = 11642,
  [11646] = 11590,
  [11647] = 11633,
  [11648] = 11646,
  [11649] = 11627,
  [11650] = 11645,
  [11651] = { 'AND', 11643, 11644 },
  [11652] = 11651,
  [11653] = 11650,
  [11656] = 11655,
  [11657] = 11731,
  [11658] = 11653,
  [11659] = 11654,
  [11661] = 11660,
  [11662] = { 'AND', 11656, 11661 },
  [11663] = 11648,
  [11670] = 11658,
  [11671] = 11663,
  [11675] = 11674,
  [11677] = 11675,
  [11678] = 11677,
  [11679] = 11671,
  [1167] = 1140,
  [11680] = 11679,
  [11681] = 11680,
  [11682] = 11681,
  [11683] = 11677,
  [11685] = 11684,
  [11686] = 11618,
  [11687] = 11678,
  [11689] = 11687,
  [11690] = 11688,
  [11691] = 11696,
  [11692] = 11710,
  [11693] = 11692,
  [11694] = 11693,
  [11695] = 11685,
  [11697] = 11694,
  [11698] = 11694,
  [11699] = 11697,
  [11700] = 11699,
  [11701] = 11700,
  [11703] = 11686,
  [11704] = 11708,
  [11705] = 11703,
  [11706] = 11695,
  [11707] = 11897,
  [11708] = 11707,
  [11709] = 11705,
  [1170] = 1169,
  [11710] = 11708,
  [11711] = 11709,
  [11712] = 11708,
  [11713] = 11796,
  [11714] = 11711,
  [11715] = 11713,
  [11717] = 11716,
  [11718] = 11715,
  [11719] = 11717,
  [1171] = 1170,
  [11720] = 11719,
  [11721] = 11720,
  [11722] = 11721,
  [11723] = 11718,
  [11725] = 11712,
  [11726] = 11725,
  [11727] = 11672,
  [11728] = 11726,
  [1172] = 1171,
  [11730] = 11729,
  [11733] = 11682,
  [11788] = 11712,
  [1178] = 1176,
  [11791] = 11920,
  [11792] = 11791,
  [11793] = 11792,
  [11794] = 11793,
  [11795] = 11728,
  [11796] = 11795,
  [11797] = 11727,
  [11798] = 11788,
  [1180] = 1178,
  [1181] = 1180,
  [1182] = 1181,
  [1183] = 1182,
  [1184] = 1148,
  [1185] = 6845,
  [11865] = 11864,
  [11866] = 11864,
  [11868] = 11865,
  [11869] = 11864,
  [1186] = 1183,
  [11870] = 11869,
  [11871] = 11870,
  [11872] = 11871,
  [11873] = 11796,
  [11876] = 11864,
  [11878] = 11876,
  [11879] = 11878,
  [1187] = 1186,
  [11884] = 11864,
  [11885] = 11029,
  [11888] = { 'OR', 11595, 11596, 11597 },
  [11889] = 11797,
  [1188] = 1187,
  [11890] = 11888,
  [11891] = 11886,
  [11893] = 11881,
  [11894] = 11893,
  [11895] = 11890,
  [11896] = 11895,
  [11897] = 11889,
  [11899] = 11895,
  [1189] = 1188,
  [11901] = 11928,
  [11902] = 11901,
  [11903] = 11902,
  [11904] = 11903,
  [11905] = 11900,
  [11906] = 11895,
  [11907] = 11896,
  [11908] = 11901,
  [11909] = 11899,
  [1190] = 1137,
  [11911] = 11910,
  [11913] = 11902,
  [11914] = 11912,
  [11916] = { 'AND', 11722, 11652, 11705 },
  [11919] = 11936,
  [11923] = 11922,
  [11927] = 11897,
  [11928] = 11897,
  [11930] = 11929,
  [11931] = 11919,
  [11932] = 11604,
  [11936] = 11918,
  [11938] = 11956,
  [11942] = 11938,
  [11943] = 11941,
  [11944] = 12086,
  [11946] = 11943,
  [1194] = 1190,
  [11950] = 11949,
  [11951] = 11946,
  [11957] = 11951,
  [11959] = 11958,
  [11961] = 11950,
  [11962] = 11904,
  [11963] = 11962,
  [11965] = 11963,
  [11967] = 11957,
  [11968] = 11961,
  [11969] = 11967,
  [1196] = 1195,
  [11973] = 11969,
  [11977] = 11930,
  [11978] = { 'OR', 11977, 11979 },
  [1197] = 1196,
  [11982] = 11981,
  [11983] = 11978,
  [11985] = 12070,
  [11988] = 11986,
  [11989] = 11984,
  [11990] = 11989,
  [11991] = 11990,
  [11993] = 11988,
  [11995] = 12439,
  [11999] = 11996,
  [119] = 118,
  [121] = 120,
  [122] = 119,
  [124] = 119,
  [11] = 239,
  [12002] = 11998,
  [12003] = 12002,
  [12004] = 12000,
  [12005] = 11999,
  [12007] = 11991,
  [12008] = 11983,
  [12009] = 11959,
  [1200] = 1198,
  [12010] = 12003,
  [12012] = 11891,
  [12013] = 12006,
  [12014] = 12010,
  [12016] = 12011,
  [12017] = 12016,
  [12019] = 11942,
  [12028] = 11959,
  [12029] = 12484,
  [1202] = 1201,
  [12030] = 12028,
  [12031] = 12030,
  [12032] = 12031,
  [12033] = 11916,
  [12034] = 12008,
  [12035] = 11908,
  [12036] = 12034,
  [12037] = 12029,
  [12039] = 12034,
  [1203] = 1206,
  [12041] = 12040,
  [12042] = 12007,
  [12046] = 12045,
  [12047] = 12046,
  [12048] = 12039,
  [12049] = 12046,
  [1204] = 1260,
  [12050] = { 'AND', 12049, 12047 },
  [12052] = { 'AND', 12049, 12047 },
  [12053] = 12036,
  [12054] = 12026,
  [12055] = 12000,
  [12056] = 12034,
  [12057] = 12056,
  [12058] = 12054,
  [12059] = 11999,
  [1205] = 1136,
  [12060] = 12055,
  [12061] = 12059,
  [12062] = 12318,
  [12063] = 12036,
  [12064] = 12063,
  [12065] = 12060,
  [12066] = 12061,
  [12068] = 12802,
  [12069] = 12064,
  [1206] = 1218,
  [12070] = 11982,
  [12071] = 12053,
  [12072] = 12071,
  [12073] = 12054,
  [12075] = 12112,
  [12076] = 12075,
  [12077] = 12076,
  [12078] = 12077,
  [12079] = 12075,
  [12081] = 11985,
  [12083] = 12065,
  [12084] = 12066,
  [12086] = 11932,
  [12088] = 11944,
  [12092] = 12065,
  [12093] = 12081,
  [12094] = 12093,
  [12096] = 12066,
  [12097] = 12095,
  [12098] = 12083,
  [12099] = 12094,
  [12100] = 12034,
  [12101] = 12100,
  [12102] = 12101,
  [12104] = 12102,
  [12106] = 12084,
  [12107] = 12098,
  [12109] = 12105,
  [12110] = 12106,
  [12111] = 12104,
  [12112] = 12050,
  [12115] = 12057,
  [12117] = 11968,
  [12119] = 12107,
  [12120] = 12116,
  [12121] = 12120,
  [12122] = 12110,
  [12123] = 12768,
  [12124] = 12769,
  [12125] = 12115,
  [12126] = 12115,
  [12127] = 12115,
  [12128] = 12014,
  [12129] = 12128,
  [12130] = 12129,
  [12131] = 12130,
  [12132] = { 'AND', 12125, 12127, 12126 },
  [12134] = 12329,
  [12136] = 12132,
  [12137] = 12121,
  [12138] = 12131,
  [12140] = 12069,
  [12141] = 11791,
  [12143] = 12142,
  [12145] = 12144,
  [12152] = 12137,
  [12153] = 12138,
  [12154] = 12138,
  [12158] = 12109,
  [12159] = 12158,
  [12160] = 12159,
  [12161] = 12160,
  [12165] = 12195,
  [12167] = 12166,
  [12169] = 12168,
  [12171] = 12157,
  [12174] = 12171,
  [12174] = { 'OR', 12171, 12297 },
  [12176] = 12175,
  [12177] = 12176,
  [12178] = 12177,
  [12182] = 12181,
  [12183] = 12180,
  [12184] = 12183,
  [12185] = 12184,
  [12188] = { 'OR', 12182, 12189 },
  [12190] = 12483,
  [12196] = 12165,
  [12197] = 12196,
  [12198] = 12197,
  [12199] = 12198,
  [12200] = 12188,
  [12201] = 12204,
  [12202] = 12201,
  [12203] = 12202,
  [12204] = 12026,
  [12207] = 12413,
  [12208] = 12412,
  [1220] = 1219,
  [12210] = 12212,
  [12211] = 12206,
  [12213] = 12413,
  [12214] = 12209,
  [12216] = 12212,
  [12217] = 12215,
  [12218] = 12200,
  [12219] = 12310,
  [12220] = 12310,
  [12221] = 12218,
  [12222] = 12294,
  [12223] = 12294,
  [12224] = { 'AND', 12221, 12140 },
  [12226] = 12225,
  [12227] = 12226,
  [12229] = { 'AND', 12207, 12213 },
  [12230] = 12211,
  [12231] = { 'AND', 12207, 12213 },
  [12232] = 12230,
  [12234] = 12230,
  [12235] = 12174,
  [12235] = { 'OR', 12174, 12298 },
  [12237] = 12235,
  [12238] = 12068,
  [12239] = 12234,
  [12240] = 12230,
  [12241] = 12229,
  [12242] = 12229,
  [12243] = 12240,
  [12245] = 12205,
  [12246] = { 'AND', 12219, 12220 },
  [12247] = { 'AND', 12219, 12220 },
  [12248] = { 'AND', 12246, 12247 },
  [12250] = { 'AND', 12246, 12247 },
  [12251] = 12237,
  [12252] = 12245,
  [12253] = 12251,
  [12254] = 12239,
  [12255] = { 'AND', 12222, 12223 },
  [12257] = 12468,
  [12258] = 12251,
  [12259] = { 'AND', 12257, 12256 },
  [12260] = 12254,
  [12263] = 12261,
  [12264] = 12263,
  [12265] = 12263,
  [12266] = 12267,
  [12267] = 12265,
  [12273] = 12271,
  [12274] = 12260,
  [12275] = 12237,
  [12276] = 12275,
  [12277] = 12276,
  [12281] = { 'AND', 12272, 12277 },
  [12282] = 12251,
  [12283] = 12274,
  [12285] = 12283,
  [12287] = 12282,
  [12290] = 12287,
  [12291] = 12290,
  [12293] = 12292,
  [12294] = 12293,
  [12295] = 12294,
  [12299] = 12295,
  [12300] = { 'AND', 12299, 12307 },
  [12301] = 12291,
  [12302] = 12300,
  [12305] = 12301,
  [12309] = 12253,
  [12310] = 12308,
  [12310] = { 'OR', 12308, 13524 },
  [12311] = 12309,
  [12319] = 12312,
  [12320] = 12319,
  [12321] = 12320,
  [12325] = 12281,
  [12325] = { 'AND', 12320, 12311, 12277 },
  [12326] = 12325,
  [12327] = 12328,
  [12328] = { 'OR', 12161, 12425 },
  [12329] = 12327,
  [12330] = 12329,
  [12372] = 12435,
  [1239] = 1238,
  [1240] = 1239,
  [12411] = 12330,
  [12412] = 12259,
  [12413] = 12412,
  [12416] = 12460,
  [12417] = 12416,
  [12418] = 12417,
  [1241] = 1274,
  [12422] = 12424,
  [12424] = 12423,
  [12425] = 12422,
  [12428] = 12427,
  [12429] = 12428,
  [1242] = 1241,
  [12430] = 12429,
  [12431] = 12430,
  [12435] = { 'OR', 12123, 12124 },
  [1243] = 1242,
  [12448] = 12461,
  [12449] = 12448,
  [1244] = 1243,
  [12450] = 12449,
  [12451] = 12259,
  [12453] = 12412,
  [12455] = 12326,
  [12456] = 12454,
  [12457] = 12455,
  [12459] = 12458,
  [1245] = 1244,
  [12460] = 12766,
  [12461] = 12767,
  [12463] = 12457,
  [12465] = 12463,
  [12466] = 12465,
  [12467] = 12466,
  [1246] = 1245,
  [12472] = 12467,
  [12473] = 12472,
  [12474] = 12473,
  [12475] = 12305,
  [12476] = 12305,
  [12477] = 12305,
  [12478] = 12475,
  [1247] = 1447,
  [12481] = 11303,
  [12483] = 12484,
  [12484] = 11990,
  [12486] = { 'OR', 11595, 11596, 11597 },
  [12489] = 12521,
  [1248] = 1247,
  [12495] = 12474,
  [12496] = 12224,
  [12497] = { 'OR', 12495, 12496 },
  [12498] = 12497,
  [12499] = 12498,
  [1249] = 1248,
  [12500] = 12498,
  [12503] = 12795,
  [12504] = 12505,
  [12505] = 12740,
  [12506] = 12740,
  [12508] = 12505,
  [1250] = 1249,
  [12510] = 12507,
  [12514] = 12510,
  [12516] = 12514,
  [12520] = 12525,
  [12523] = 12522,
  [12525] = 12524,
  [12526] = 12520,
  [12527] = 12510,
  [12529] = 12528,
  [12531] = 12532,
  [12532] = { 'AND', 12533, 12534 },
  [12533] = 12530,
  [12534] = 12530,
  [12535] = 12532,
  [12536] = { 'AND', 12531, 12535 },
  [12537] = 12536,
  [12538] = 12536,
  [12539] = { 'AND', 12537, 12538 },
  [12540] = 12539,
  [12543] = 12526,
  [12544] = 12543,
  [12545] = 12542,
  [12546] = 12797,
  [12547] = 12548,
  [12548] = 12613,
  [12549] = 12525,
  [12550] = 12549,
  [12551] = { 'AND', 12549, 12520 },
  [12552] = 12598,
  [12553] = 12598,
  [12554] = 12552,
  [12555] = 12583,
  [12556] = 12544,
  [12558] = 12550,
  [12559] = 12621,
  [12560] = 12551,
  [12561] = 12803,
  [12562] = 12507,
  [12569] = 12560,
  [12570] = 12540,
  [12571] = 12570,
  [12572] = { 'AND', 12570, 12571 },
  [12573] = 12571,
  [12574] = 12573,
  [12575] = 12574,
  [12576] = 12574,
  [12577] = { 'AND', 12575, 12576 },
  [12578] = 12577,
  [12579] = 12578,
  [12580] = 12578,
  [12583] = 12553,
  [12584] = 12552,
  [12589] = 12525,
  [1258] = 1204,
  [12592] = 12589,
  [12595] = { 'AND', 12558, 12556, 12569 },
  [12596] = 12740,
  [1259] = 1252,
  [12603] = 12595,
  [12605] = 12595,
  [12606] = 12598,
  [12607] = { 'AND', 12603, 12605 },
  [12608] = 12612,
  [12609] = 12799,
  [12610] = 12799,
  [12611] = 12561,
  [12612] = 12611,
  [12613] = 12559,
  [12615] = 12516,
  [12617] = 12608,
  [12619] = 12593,
  [1261] = 1240,
  [12620] = { 'AND', 12660, 12617 },
  [12621] = 12620,
  [12622] = 12623,
  [12623] = 12516,
  [12627] = 12623,
  [12628] = 12627,
  [12629] = 12637,
  [1262] = 1261,
  [12630] = 12884,
  [12632] = 12628,
  [12634] = { 'AND', 12549, 12520 },
  [12635] = 12627,
  [12636] = 12848,
  [12637] = 12631,
  [12639] = 12622,
  [12640] = 12622,
  [12641] = 12636,
  [12642] = 12632,
  [12644] = 12634,
  [12645] = 12644,
  [12646] = 12642,
  [12647] = 12646,
  [12648] = 12629,
  [1264] = 1250,
  [12650] = 12635,
  [12653] = 12647,
  [12655] = 12632,
  [12657] = 12641,
  [12658] = { 'AND', 12603, 12605 },
  [12659] = 12640,
  [1265] = 1264,
  [12660] = 12608,
  [12661] = 12648,
  [12662] = 12640,
  [12665] = 12653,
  [12666] = 12665,
  [12667] = 12666,
  [12668] = 12672,
  [12669] = 12661,
  [1266] = 1265,
  [12670] = 12850,
  [12671] = 12699,
  [12672] = 12667,
  [12673] = 12661,
  [12674] = 12668,
  [12675] = 12674,
  [12676] = 12677,
  [12677] = 12669,
  [12678] = 12670,
  [1267] = 1324,
  [12681] = { 'AND', 12603, 12605 },
  [12684] = 12675,
  [12685] = 12684,
  [12686] = 12669,
  [12687] = 12680,
  [12690] = 12677,
  [12696] = 12523,
  [12697] = 12733,
  [12698] = 12697,
  [126] = 124,
  [12700] = 12698,
  [12701] = 12700,
  [12706] = 12701,
  [12707] = 12685,
  [12708] = 12685,
  [12709] = 12685,
  [12710] = 12690,
  [12712] = 12685,
  [12713] = 12676,
  [12714] = 12706,
  [12715] = 12714,
  [12716] = 12714,
  [12717] = 12716,
  [12719] = 12715,
  [12720] = 12719,
  [12721] = 12712,
  [12722] = 12714,
  [12723] = { 'AND', 12716, 12720 },
  [12724] = 12723,
  [12725] = 12720,
  [12727] = 12725,
  [12728] = 11582,
  [12730] = 12729,
  [12738] = 12727,
  [12739] = 12738,
  [1273] = 1269,
  [12742] = 12738,
  [12743] = 12738,
  [12744] = 12738,
  [12745] = 12738,
  [12746] = 12738,
  [12747] = 12738,
  [12748] = 12738,
  [12749] = 12738,
  [12750] = 12738,
  [12751] = { 'OR', 12739, 12742, 12743, 12744, 12745, 12746, 12747, 12748, 12749, 12750 },
  [12754] = 12751,
  [12755] = 12754,
  [12756] = 12755,
  [12757] = 12756,
  [12766] = 12119,
  [12767] = 12122,
  [12768] = 12418,
  [12769] = 12450,
  [12771] = 12753,
  [12773] = 12772,
  [12774] = 12775,
  [12776] = 12777,
  [12778] = 12757,
  [12779] = 12778,
  [12785] = 12783,
  [12786] = 12784,
  [12787] = 12752,
  [12788] = 12782,
  [12789] = 12545,
  [12790] = { 'OR', 12791, 12794, 12796 },
  [12795] = 12630,
  [12797] = 12547,
  [12800] = 12779,
  [12801] = 12800,
  [12802] = 12042,
  [12804] = 12520,
  [12805] = 12611,
  [12807] = 12806,
  [12809] = 12808,
  [12810] = 12807,
  [12812] = 12811,
  [12814] = 12810,
  [12819] = 12818,
  [12820] = 12826,
  [12821] = { 'AND', 12828, 12820, 12832 },
  [12822] = 12821,
  [12823] = 12821,
  [12824] = 12823,
  [12826] = 12819,
  [12828] = { 'AND', 12836, 12827 },
  [12829] = 12827,
  [12830] = 12827,
  [12832] = 12831,
  [12833] = { 'AND', 12824, 12822 },
  [12840] = 12839,
  [12841] = 12846,
  [12842] = 12619,
  [12846] = 12843,
  [12847] = 12840,
  [12848] = 12842,
  [12850] = 12657,
  [12851] = 12972,
  [12852] = 12847,
  [12855] = 12854,
  [12856] = 12851,
  [12858] = 12855,
  [1285] = 1259,
  [12860] = 12858,
  [12862] = { 'AND', 12824, 12822 },
  [12864] = 12863,
  [12865] = 12863,
  [12866] = 12864,
  [12867] = 12865,
  [12868] = 12866,
  [12869] = { 'AND', 13047, 12973, 12867 },
  [1286] = 1285,
  [12871] = 12872,
  [12872] = 13415,
  [12873] = 12871,
  [12874] = 12873,
  [12875] = 12874,
  [12876] = 12874,
  [12877] = 12875,
  [12878] = 12986,
  [12879] = 12878,
  [1287] = 1286,
  [12880] = 12879,
  [12883] = 12902,
  [12884] = 12883,
  [12885] = 12872,
  [12886] = 13062,
  [12894] = 12883,
  [12900] = 13063,
  [12903] = 12894,
  [12905] = 12841,
  [12906] = 12905,
  [12907] = 12906,
  [12908] = 12907,
  [12909] = 12895,
  [12910] = 12909,
  [12912] = 12894,
  [12913] = 12910,
  [12914] = 12912,
  [12915] = 13064,
  [12916] = 12914,
  [12917] = 12913,
  [12919] = 12916,
  [12920] = 12917,
  [12921] = 12908,
  [12924] = { 'AND', 12956, 12915 },
  [12926] = 12920,
  [12927] = 12926,
  [12928] = 13416,
  [12931] = 12930,
  [12932] = 12974,
  [12933] = 12932,
  [12934] = 12933,
  [12935] = 12934,
  [12936] = 12935,
  [12937] = 12930,
  [12948] = 12936,
  [12951] = 12949,
  [12956] = 12922,
  [12957] = { 'AND', 12931, 12937 },
  [12964] = { 'AND', 12931, 12937 },
  [12965] = { 'AND', 12957, 12964 },
  [12967] = 12966,
  [12969] = 12921,
  [12970] = 12969,
  [12971] = 12970,
  [12972] = 12971,
  [12975] = 12924,
  [12976] = 12975,
  [12977] = 12976,
  [12978] = { 'AND', 12957, 12964 },
  [12980] = 12979,
  [12981] = 12924,
  [12982] = 13085,
  [12983] = 12900,
  [12985] = 12977,
  [12986] = 12877,
  [12987] = 12985,
  [12988] = 12984,
  [12989] = 12900,
  [12996] = 12983,
  [12997] = 12996,
  [12998] = 12993,
  [12999] = 12955,
  [13005] = 13057,
  [13006] = 12987,
  [12930] = { 'OR', 12929, 12885 },
  [13007] = 12998,
  [13008] = 13036,
  [13009] = 12924,
  [13010] = 13051,
  [13011] = { 'AND', 12915, 12956 },
  [1302] = 1301,
  [1282] = 1302,
  [11123] = 1282,
  [1253] = 11123,
  [13034] = 13426,
  [13035] = 13057,
  [13045] = 13044,
  [13047] = { 'AND', 13005, 13035 },
  [13050] = 13009,
  [13051] = 13050,
  [13055] = 13054,
  [13056] = 13055,
  [13057] = 13010,
  [13061] = 12997,
  [13062] = 13061,
  [13063] = 12856,
  [13064] = 12886,
  [13070] = 13045,
  [13071] = 12992,
  [13072] = 13068,
  [13073] = 13072,
  [13074] = 13073,
  [13075] = 13074,
  [13077] = 13076,
  [13078] = 13077,
  [13079] = 13078,
  [13081] = 13080,
  [13082] = 13081,
  [13086] = 13070,
  [13091] = 13043,
  [13096] = 13097,
  [13098] = 13099,
  [130] = 129,
  [13108] = 13047,
  [13121] = 13091,
  [13126] = 13124,
  [13127] = 13126,
  [13128] = 13127,
  [13129] = 12037,
  [13133] = 13121,
  [13137] = 13133,
  [13141] = 13139,
  [13142] = 13137,
  [13143] = 13155,
  [13145] = 13143,
  [13151] = 13149,
  [13157] = 13141,
  [13159] = 13158,
  [13165] = 12801,
  [13166] = 13165,
  [13188] = 13166,
  [13189] = 13166,
  [1319] = 1253,
  [131] = 130,
  [1320] = 1319,
  [13213] = 13142,
  [1321] = 1251,
  [13220] = 13212,
  [1322] = 1321,
  [13235] = 13220,
  [13236] = 13305,
  [13237] = 13260,
  [13239] = 13238,
  [1323] = 1322,
  [13242] = 12500,
  [1324] = 1266,
  [13257] = 13242,
  [13259] = 13258,
  [13262] = 13259,
  [13263] = 13262,
  [13266] = 13257,
  [13267] = 13266,
  [13271] = 13263,
  [13274] = 13273,
  [13275] = 13271,
  [13279] = 13277,
  [13280] = 13296,
  [13282] = 13275,
  [13283] = 13293,
  [13285] = 13274,
  [13287] = 13286,
  [13291] = 13290,
  [13295] = 13294,
  [132] = 65,
  [13304] = 13282,
  [13321] = 13320,
  [13346] = 13345,
  [13347] = 12499,
  [13348] = 13236,
  [13349] = 13348,
  [13356] = 13355,
  [13361] = 13360,
  [13362] = 13361,
  [13364] = 13363,
  [13367] = 13366,
  [13369] = 13347,
  [13370] = 13369,
  [13371] = 13370,
  [13373] = { 'OR', 13378, 13379 },
  [13377] = 13371,
  [13380] = 13383,
  [13387] = 13386,
  [13388] = 13387,
  [13389] = 13388,
  [1338] = 1339,
  [13390] = 13389,
  [13391] = 13390,
  [13392] = 13391,
  [13393] = 13392,
  [13395] = 13394,
  [13396] = 13395,
  [13397] = 13396,
  [13399] = 13398,
  [133] = 159,
  [13400] = 13399,
  [13401] = 13400,
  [13402] = 13401,
  [13403] = 13402,
  [13413] = 13412,
  [13415] = 12860,
  [13416] = 12927,
  [13417] = 12880,
  [13479] = 13483,
  [134] = 133,
  [13549] = 12635,
  [1358] = 1359,
  [1359] = 3221,
  [135] = 132,
  [13629] = 13622,
  [1364] = 1363,
  [13654] = 13643,
  [13663] = 13654,
  [1366] = 1365,
  [13679] = 13672,
  [13680] = 13678,
  [13699] = 13718,
  [1370] = 1368,
  [13713] = 13714,
  [13723] = 13715,
  [13724] = 13716,
  [13725] = 13717,
  [13726] = 13697,
  [13727] = 13719,
  [13728] = 13720,
  [13729] = 13721,
  [13731] = 13722,
  [1381] = 1375,
  [13828] = 13667,
  [13829] = 13668,
  [1383] = 1372,
  [138] = 136,
  [1391] = 1388,
  [1394] = 6628,
  [1396] = 9609,
  [1398] = 1421,
  [139] = 138,
  [13] = 12,
  [140] = 139,
  [141] = 135,
  [1421] = 1396,
  [1422] = 699,
  [1425] = 1398,
  [1426] = 1422,
  [1427] = 1426,
  [1428] = 1427,
  [1429] = 1424,
  [142] = 141,
  [1432] = 1431,
  [1433] = 1432,
  [1434] = 1432,
  [1435] = 1433,
  [1436] = 1435,
  [1440] = 1439,
  [1438] = 1465,
  [1439] = 1438,
  [1444] = 1429,
  [1445] = 1444,
  [1447] = 1246,
  [1449] = 1448,
  [144] = 143,
  [1450] = 1449,
  [1451] = 1450,
  [1452] = 1451,
  [1454] = 1453,
  [1455] = 1454,
  [1456] = 1455,
  [1457] = 1456,
  [1458] = 1453,
  [1459] = 1458,
  [1465] = 1437,
  [1466] = 1459,
  [1467] = 1466,
  [1469] = 1452,
  [146] = 145,
  [1471] = 1473,
  [1472] = 10605,
  [1473] = { 'OR', 1478, 10789 },
  [1474] = 1476,
  [1475] = 1469,
  [1476] = 1472,
  [1481] = 1480,
  [1482] = 1481,
  [1484] = 1482,
  [1488] = 1484,
  [1489] = 880,
  [148] = 165,
  [1490] = 1489,
  [1491] = 865,
  [1498] = 1505,
  [149] = 148,
  [14] = 13,
  [1501] = 1506,
  [1502] = 1498,
  [1503] = 1502,
  [1504] = 1501,
  [1508] = 1507,
  [1509] = 1508,
  [1510] = 1509,
  [1511] = 1510,
  [1512] = 1515,
  [1513] = 1512,
  [1515] = 1511,
  [1517] = 1516,
  [1518] = 1517,
  [1520] = 1519,
  [1521] = 1520,
  [1524] = { 'OR', 1522, 1523, 2983, 2984 },
  [1525] = 1524,
  [1526] = 1525,
  [1527] = 1526,
  [1530] = { 'OR', 1528, 1529, 2985, 2986 },
  [1534] = 1536,
  [1535] = 1530,
  [1536] = 1535,
  [154] = 149,
  [155] = 142,
  [156] = 158,
  [157] = 154,
  [1580] = 1579,
  [158] = 157,
  [159] = 156,
  [160] = 134,
  [161] = 199,
  [162] = 113,
  [1639] = 1638,
  [1640] = 1639,
  [1642] = 2998,
  [1643] = 1642,
  [1644] = 1643,
  [1646] = { 'OR', 2997, 2999, 3000 },
  [1647] = 1646,
  [1648] = 1647,
  [1649] = 1793,
  [1650] = 1649,
  [1651] = 1650,
  [1652] = 1651,
  [1653] = 1652,
  [1654] = 1653,
  [1665] = 1640,
  [1667] = 1666,
  [166] = 155,
  [1678] = 1679,
  [1680] = 1678,
  [1681] = 1680,
  [1682] = 1681,
  [1683] = 1684,
  [1688] = { 'OR', 1685, 1715 },
  [1689] = 1688,
  [1691] = 1690,
  [1692] = 1686,
  [1693] = 1692,
  [1699] = 1698,
  [1701] = 1702,
  [1702] = 1699,
  [1705] = 1700,
  [1706] = 1705,
  [1708] = 1704,
  [1709] = 1708,
  [170] = 179,
  [1710] = 1703,
  [1711] = 1710,
  [1712] = 1791,
  [1713] = 1712,
  [1716] = 1717,
  [1719] = 1718,
  [1738] = 1716,
  [1739] = 1738,
  [175] = 174,
  [1778] = 1648,
  [1779] = 1778,
  [177] = 175,
  [1780] = 1644,
  [1781] = 1780,
  [1782] = 1701,
  [1783] = 1779,
  [1784] = 1783,
  [1785] = 1784,
  [1786] = 1781,
  [1787] = 1786,
  [1788] = 1787,
  [1791] = 1719,
  [1792] = 1713,
  [1801] = 2996,
  [1806] = 1654,
  [1819] = 1818,
  [181] = 177,
  [1820] = 1819,
  [1821] = 1820,
  [1822] = 1821,
  [1824] = 1823,
  [1825] = 1824,
  [1838] = 1825,
  [1842] = 1839,
  [1843] = 1842,
  [1844] = 1840,
  [1845] = 1844,
  [1846] = 1841,
  [1847] = 1846,
  [1848] = 1838,
  [1858] = 1963,
  [185] = 583,
  [1861] = 1860,
  [186] = 185,
  [187] = 186,
  [1880] = 1879,
  [1882] = 1881,
  [1884] = 1883,
  [1886] = 1885,
  [188] = 187,
  [1898] = 1886,
  [1899] = 1898,
  [190] = 583,
  [191] = 190,
  [1920] = 1919,
  [1921] = 1920,
  [192] = 191,
  [1938] = 1939,
  [193] = 192,
  [1940] = 1938,
  [1941] = 1921,
  [1942] = 1940,
  [1944] = 1943,
  [1945] = 1944,
  [1946] = 1945,
  [194] = 583,
  [1950] = 1949,
  [1951] = 1950,
  [1952] = 1951,
  [1954] = 1953,
  [1955] = 1954,
  [1956] = 1955,
  [1957] = 1956,
  [1958] = 1957,
  [195] = 194,
  [1960] = 1959,
  [1961] = 1960,
  [1962] = 1961,
  [1963] = 1859,
  [196] = 195,
  [1978] = 1899,
  [197] = 196,
  [1999] = 1998,
  [199] = 250,
  [19] = 20,
  [200] = 215,
  [202] = 574,
  [205] = 207,
  [2078] = 2098,
  [208] = { 'AND', 188, 197, 193 },
  [209] = 189,
  [2138] = 2118,
  [2139] = 2138,
  [218] = 182,
  [2199] = 2198,
  [21] = 15,
  [2200] = 2199,
  [2201] = 2200,
  [2202] = 2258,
  [2204] = 2201,
  [2206] = 2205,
  [220] = 1534,
  [221] = 173,
  [222] = 221,
  [2238] = 2218,
  [2239] = 2238,
  [223] = 222,
  [2240] = 2398,
  [2242] = 2241,
  [2260] = 2259,
  [227] = 225,
  [2282] = 2281,
  [2284] = 2283,
  [228] = 227,
  [2298] = 2299,
  [229] = 228,
  [230] = 95,
  [2318] = 2284,
  [231] = 229,
  [2338] = 2318,
  [2339] = 2338,
  [233] = 179,
  [2340] = 2339,
  [2341] = 2340,
  [234] = 233,
  [2359] = 2360,
  [2361] = 2204,
  [2379] = 2378,
  [2381] = 2382,
  [2382] = 2379,
  [238] = 232,
  [239] = 76,
  [23] = 6383,
  [240] = 93,
  [2439] = 2279,
  [243] = 238,
  [2440] = 2280,
  [2458] = 2460,
  [2459] = 2438,
  [2460] = 10794,
  [246] = 244,
  [2478] = 2458,
  [2479] = 2478,
  [247] = { 'AND', 6383, 23, 24, 2 },
  [2480] = 2479,
  [248] = 94,
  [2499] = 2498,
  [24] = 6383,
  [24848] = 24656,
  [2518] = 2519,
  [251] = 160,
  [2520] = 2518,
  [252] = 401,
  [253] = 252,
  [2561] = 2541,
  [258] = 257,
  [2606] = 2605,
  [2607] = 2359,
  [261] = 6141,
  [2621] = 2784,
  [2622] = 2621,
  [2623] = 2622,
  [262] = 230,
  [2641] = 2606,
  [265] = 262,
  [2661] = 2641,
  [2662] = 2661,
  [266] = 265,
  [2681] = 2801,
  [268] = 453,
  [269] = 323,
  [2701] = 2702,
  [2702] = 2681,
  [270] = 269,
  [271] = 258,
  [272] = 29,
  [273] = 302,
  [2743] = 2721,
  [2744] = 2743,
  [2745] = 350,
  [2746] = 2745,
  [274] = 161,
  [275] = 277,
  [2767] = 2766,
  [276] = 463,
  [277] = 276,
  [2782] = 2742,
  [278] = 274,
  [2801] = { 'OR', 2783, 2623 },
  [280] = 278,
  [281] = 279,
  [282] = 218,
  [283] = 280,
  [2843] = 2842,
  [2845] = 2844,
  [284] = 281,
  [285] = 284,
  [2863] = 2862,
  [2867] = 2866,
  [2869] = 3130,
  [286] = 285,
  [2870] = 2869,
  [2871] = 2870,
  [2874] = 2873,
  [2879] = 2943,
  [289] = 288,
  [28] = 26,
  [2902] = 2863,
  [2903] = 2902,
  [290] = 289,
  [291] = 287,
  [2922] = 2923,
  [292] = 290,
  [2934] = 2933,
  [2935] = 2934,
  [2936] = 2935,
  [2937] = 2936,
  [2938] = 2937,
  [293] = 292,
  [2940] = 2939,
  [2941] = 2940,
  [2942] = 2879,
  [2943] = 2944,
  [2944] = 2941,
  [2946] = 2963,
  [2948] = 2947,
  [2950] = 2949,
  [295] = 294,
  [2964] = 2977,
  [2966] = 2965,
  [2968] = 2967,
  [296] = 295,
  [2970] = 2969,
  [2972] = 2970,
  [2974] = 2973,
  [2975] = 2981,
  [2976] = 2974,
  [2979] = 2978,
  [297] = 436,
  [2980] = 2975,
  [2989] = 2988,
  [2990] = 2989,
  [2991] = 2990,
  [2992] = 2991,
  [2993] = 2992,
  [2994] = 2993,
  [29] = 27,
  [2] = 6383,
  [3002] = 2979,
  [301] = 298,
  [302] = 301,
  [306] = 305,
  [30] = 28,
  [311] = 310,
  [3122] = 3121,
  [3123] = 3122,
  [3124] = 3123,
  [3125] = 3124,
  [3126] = 3125,
  [3127] = 3126,
  [3128] = 3122,
  [3130] = 2867,
  [3141] = 2744,
  [3182] = 3181,
  [318] = 317,
  [319] = 318,
  [31] = 30,
  [3201] = 3182,
  [320] = 319,
  [321] = 270,
  [3221] = 449,
  [322] = 324,
  [323] = 268,
  [324] = 321,
  [325] = 322,
  [3261] = 905,
  [3281] = 869,
  [328] = 200,
  [329] = 328,
  [32] = 113,
  [330] = 329,
  [331] = 330,
  [3363] = 2523,
  [3365] = 3364,
  [3368] = 3367,
  [336] = 335,
  [3371] = 3368,
  [3372] = 3371,
  [3378] = 3377,
  [3385] = 3379,
  [33] = 5261,
  [3402] = 3385,
  [3442] = 3441,
  [3443] = 3442,
  [3444] = { 'OR', 3380, 3445 },
  [3449] = 3448,
  [344] = 343,
  [3450] = 3448,
  [3451] = 3450,
  [3452] = 3443,
  [3453] = 3452,
  [3454] = 3453,
  [345] = 344,
  [3461] = 3449,
  [3462] = 3454,
  [3463] = 3462,
  [346] = 347,
  [347] = 345,
  [3481] = 3463,
  [3502] = 3501,
  [3505] = 3504,
  [3506] = 3505,
  [3507] = 3506,
  [3508] = 3141,
  [3509] = 3508,
  [350] = 393,
  [3510] = 3509,
  [3511] = 3510,
  [3514] = 3513,
  [3518] = 3517,
  [3519] = 4495,
  [3521] = 3519,
  [3522] = 3521,
  [3525] = 3523,
  [3527] = 3520,
  [3528] = 4787,
  [353] = 1097,
  [3541] = 3517,
  [3542] = 3517,
  [355] = 362,
  [3561] = 3517,
  [3562] = 3518,
  [3563] = 3541,
  [3564] = 3542,
  [3565] = 3561,
  [3566] = 3372,
  [3569] = 3568,
  [3570] = 3569,
  [357] = 405,
  [359] = 358,
  [35] = 40,
  [3602] = 3511,
  [360] = 359,
  [3625] = 3621,
  [3626] = 3625,
  [3627] = 3626,
  [3628] = 3627,
  [3640] = 3630,
  [3641] = 3640,
  [3642] = 3635,
  [3643] = 3642,
  [364] = 363,
  [366] = 357,
  [368] = 367,
  [369] = 368,
  [3701] = 3702,
  [370] = 427,
  [371] = 370,
  [372] = 371,
  [374] = 427,
  [3761] = { 'OR', 936, 3762, 3784 },
  [3764] = { 'OR', 3763, 3789, 3790, 10520 },
  [3781] = 3764,
  [3782] = 3761,
  [3785] = 3781,
  [3786] = 3782,
  [3791] = 3787,
  [379] = 243,
  [37] = 35,
  [3802] = 3801,
  [380] = { 'AND', 364, 376 },
  [381] = 380,
  [3822] = 3821,
  [3824] = 3823,
  [3825] = 3824,
  [382] = 381,
  [383] = 382,
  [3841] = 2969,
  [3842] = 3841,
  [3843] = 3842,
  [3845] = 3844,
  [389] = 373,
  [38] = 36,
  [3903] = 18,
  [3904] = 3903,
  [3905] = 3904,
  [3907] = 3906,
  [3908] = 3845,
  [3909] = 3908,
  [3912] = 3909,
  [3913] = 3912,
  [3914] = 3913,
  [391] = 389,
  [3921] = 902,
  [3922] = 3921,
  [3924] = 3923,
  [392] = 391,
  [393] = 392,
  [3941] = 3914,
  [3942] = 3941,
  [394] = 434,
  [395] = 394,
  [3961] = 4005,
  [3962] = 3961,
  [396] = 395,
  [3982] = 3981,
  [39] = 71,
  [4001] = 3982,
  [4002] = 4001,
  [4003] = 4002,
  [4004] = 4003,
  [4005] = 4084,
  [4022] = 3481,
  [4024] = 4022,
  [405] = 358,
  [4062] = 4061,
  [4063] = 4062,
  [407] = 365,
  [4084] = 3942,
  [408] = 355,
  [409] = 366,
  [40] = 47,
  [4108] = 4103,
  [4109] = 4104,
  [4110] = 4105,
  [4111] = 4106,
  [4112] = 4107,
  [411] = 409,
  [4125] = 4124,
  [4126] = 4128,
  [4127] = 4125,
  [4129] = 4127,
  [4130] = 4129,
  [4131] = 4130,
  [4134] = 4133,
  [4135] = 4131,
  [4136] = 4324,
  [4142] = 4141,
  [4143] = 4142,
  [4146] = 4147,
  [4147] = 4145,
  [414] = 413,
  [417] = 419,
  [420] = 282,
  [422] = 421,
  [423] = 422,
  [4244] = 4243,
  [4245] = 4244,
  [424] = 423,
  [4261] = 4442,
  [4263] = 4262,
  [4265] = 4135,
  [4266] = 4265,
  [4267] = 4266,
  [426] = 404,
  [4285] = 4284,
  [4287] = 4284,
  [4288] = 4284,
  [4291] = 4290,
  [4292] = 4291,
  [4297] = 3843,
  [4298] = 4297,
  [429] = 428,
  [4301] = 4289,
  [430] = 429,
  [4321] = { 'AND', 4285, 4287, 4288 },
  [4322] = 4282,
  [4342] = 4341,
  [434] = 2746,
  [4361] = 4342,
  [4362] = 4361,
  [4363] = 4362,
  [438] = 437,
  [439] = 438,
  [441] = 440,
  [442] = 448,
  [443] = 439,
  [4441] = 939,
  [4442] = 4441,
  [4443] = 4117,
  [4447] = 4119,
  [444] = 443,
  [4450] = 4449,
  [448] = 446,
  [4491] = 4492,
  [4493] = { 'OR', 4267, 162 },
  [4494] = 32,
  [4496] = { 'OR', 4493, 4494 },
  [449] = 435,
  [4506] = 4505,
  [450] = 447,
  [4510] = 4508,
  [4511] = 4509,
  [4513] = 4512,
  [451] = 450,
  [453] = 266,
  [454] = 273,
  [455] = 468,
  [457] = 456,
  [459] = 458,
  [45] = 37,
  [461] = 460,
  [4621] = 1036,
  [464] = 473,
  [465] = 464,
  [466] = 467,
  [4681] = 3524,
  [471] = 484,
  [4721] = 4741,
  [4734] = 4907,
  [473] = 455,
  [4741] = 4521,
  [4743] = 4742,
  [474] = 465,
  [4761] = 984,
  [4762] = 4761,
  [4764] = 4766,
  [4765] = 4764,
  [4768] = 4769,
  [476] = 475,
  [4771] = 5531,
  [4787] = 3527,
  [4788] = 5065,
  [478] = 477,
  [479] = 482,
  [4808] = 4726,
  [4809] = 4808,
  [480] = 479,
  [4810] = 4809,
  [4812] = 4811,
  [4813] = 4812,
  [481] = 478,
  [482] = 481,
  [483] = 476,
  [4841] = 4542,
  [4842] = 980,
  [4863] = 4861,
  [4864] = 4863,
  [4865] = 4821,
  [486] = 483,
  [4883] = 4882,
  [489] = 488,
  [4906] = 4421,
  [491] = 461,
  [492] = 369,
  [4941] = 4903,
  [4966] = 4881,
  [4972] = 4971,
  [4974] = 4941,
  [4982] = 4981,
  [4983] = 4982,
  [4985] = 4984,
  [499] = 496,
  [49] = 48,
  [5002] = 5001,
  [5022] = 5021,
  [5023] = 5021,
  [502] = 501,
  [503] = 533,
  [5048] = 5022,
  [5049] = 5023,
  [504] = 500,
  [5050] = { 'OR', 5048, 5049 },
  [5051] = 5050,
  [5052] = 878,
  [5055] = 5054,
  [5056] = 5055,
  [5057] = 5056,
  [5059] = 5058,
  [5060] = 5059,
  [5061] = 272,
  [5062] = 4865,
  [5064] = 4841,
  [506] = 503,
  [507] = 506,
  [5081] = 5002,
  [5084] = 5083,
  [5085] = 5084,
  [5086] = 5085,
  [5087] = 5086,
  [5088] = 5062,
  [508] = 507,
  [5092] = { 'OR', 5066, 5090, 5091, 10373 },
  [5096] = { 'OR', 5093, 5094, 5095, 10374 },
  [5097] = 5092,
  [5098] = 5096,
  [50] = 49,
  [5102] = 5089,
  [5121] = 5087,
  [5124] = 5103,
  [512] = 510,
  [513] = 509,
  [5149] = { 'OR', 5142, 5601 },
  [514] = 511,
  [5152] = 5149,
  [5153] = 5152,
  [5154] = 5153,
  [5157] = 5155,
  [5158] = 5157,
  [5159] = 5158,
  [515] = 513,
  [5161] = 5160,
  [5162] = 5161,
  [5163] = 977,
  [5164] = 5162,
  [5165] = 5159,
  [517] = 515,
  [5181] = 5210,
  [518] = 495,
  [519] = 518,
  [51] = 50,
  [5204] = 5203,
  [520] = 519,
  [5211] = 5241,
  [5213] = 5212,
  [5215] = 5092,
  [5216] = 5215,
  [5217] = 5216,
  [5219] = 5217,
  [521] = 520,
  [5220] = 5219,
  [5222] = 5220,
  [5223] = 5222,
  [5225] = 5223,
  [5226] = 5225,
  [5228] = 5096,
  [5229] = 5228,
  [5230] = 5229,
  [5231] = 5230,
  [5232] = 5231,
  [5233] = 5232,
  [5234] = 5233,
  [5235] = 5234,
  [5236] = 5235,
  [5237] = 5236,
  [5238] = 5226,
  [523] = 522,
  [5241] = 5149,
  [5242] = 5165,
  [5244] = { 'OR', 5249, 5250 },
  [5245] = 5244,
  [5246] = 5245,
  [5247] = 5246,
  [5248] = 5247,
  [524] = 517,
  [5252] = 5248,
  [5253] = 5252,
  [525] = 514,
  [5263] = 5262,
  [5265] = 5264,
  [5282] = 5281,
  [528] = 527,
  [529] = 528,
  [530] = 441,
  [531] = 271,
  [532] = 529,
  [5342] = 5341,
  [5344] = 5343,
  [537] = 525,
  [5384] = 5515,
  [5385] = 5204,
  --[5386]=5421,
  [538] = 337,
  [539] = 532,
  [53] = 51,
  [540] = 538,
  [541] = 539,
  [542] = 540,
  [545] = 544,
  [5462] = 5461,
  [5463] = 5462,
  [5464] = 5463,
  [5465] = 5464,
  [5466] = 5465,
  [5482] = 5481,
  [5505] = 5803,
  [550] = 541,
  [5511] = 5804,
  [5514] = 964,
  [5515] = 5382,
  [5526] = 5527,
  [5531] = 5522,
  [5533] = 5097,
  [5534] = 3601,
  [5537] = 5533,
  [5538] = 5537,
  [553] = 552,
  [554] = 551,
  [557] = 556,
  [5581] = 5381,
  [559] = 536,
  [55] = 325,
  [560] = 559,
  [561] = 560,
  [5621] = 5622,
  [5624] = 5623,
  [5625] = 5626,
  [562] = 561,
  [563] = 562,
  [5648] = 5649,
  [5650] = 5651,
  [569] = 568,
  [571] = 572,
  [5721] = 5941,
  [5724] = 5722,
  [5727] = 5726,
  [5728] = 5727,
  [5729] = 5728,
  [572] = 570,
  [5730] = 5729,
  [573] = 571,
  [5742] = { 'AND', 5543, 5544, 5542 },
  [574] = { 'AND', 203, 204 },
  [576] = 597,
  [577] = 575,
  [5781] = 5742,
  [578] = 616,
  [57] = 56,
  [5801] = 5538,
  [5802] = 5514,
  [5803] = 5801,
  [5804] = 5802,
  [582] = 581,
  [5845] = 5781,
  [5846] = 5845,
  [5848] = 5846,
  [5861] = 5848,
  [5862] = 5861,
  [5887] = 5882,
  [5888] = 5883,
  [5889] = 5884,
  [5890] = 5885,
  [5891] = 5886,
  [589] = 588,
  [58] = 57,
  [5902] = 5901,
  [5904] = 5903,
  [590] = 8,
  [591] = 589,
  [5921] = 5923,
  [5922] = 5926,
  [5929] = 5921,
  [592] = 591,
  [5930] = 5922,
  [5931] = 5929,
  [5932] = 5930,
  [5941] = 5206,
  [5942] = 5721,
  [5944] = 5862,
  [597] = 595,
  [599] = 597,
  [59] = 39,
  [6001] = 5931,
  [6002] = 5932,
  [600] = 605,
  [601] = 578,
  [6023] = 6004,
  [6025] = 6023,
  [6027] = 5741,
  [602] = 601,
  [603] = 602,
  [6041] = 6026,
  [604] = 599,
  [6062] = 6068,
  [607] = 606,
  [6081] = 6082,
  [6082] = 6083,
  [6083] = 6062,
  [6084] = 6064,
  [6085] = 6084,
  [6086] = 6085,
  [6087] = 6061,
  [6088] = 6087,
  [6089] = 6088,
  [608] = 604,
  [609] = 607,
  [6101] = 6063,
  [6102] = 6101,
  [6103] = 6102,
  [610] = 603,
  [611] = 610,
  [6122] = 6121,
  [6123] = 6122,
  [6124] = 6123,
  [6125] = 6124,
  [6127] = 6126,
  [6128] = 6127,
  [6129] = 6128,
  [6130] = 6129,
  [6145] = 6144,
  [6146] = 6145,
  [6147] = 6146,
  [6148] = 6147,
  [6183] = 6182,
  [6184] = 6183,
  [6185] = 6184,
  [6186] = 6185,
  [6187] = 6186,
  [61] = 60,
  [622] = 627,
  [623] = 617,
  [625] = 624,
  [6261] = 6281,
  [626] = 625,
  [627] = 210,
  [6281] = 6181,
  [6283] = 6282,
  [6285] = 6261,
  [628] = 577,
  [630] = 594,
  [6322] = 6323,
  [6323] = 6321,
  [6324] = 6322,
  [632] = 631,
  [633] = 632,
  [6341] = 6344,
  [6342] = 6341,
  [6343] = 6342,
  [634] = 633,
  [6362] = 6361,
  [6363] = 6362,
  [6364] = 6363,
  [6381] = 6301,
  [6383] = { 'OR', 235, 742, 6382 },
  [6384] = 6365,
  [6385] = 6384,
  [6386] = 6385,
  [6388] = 6391,
  [6389] = 5904,
  [6390] = 5902,
  [6391] = 6387,
  [6392] = 6388,
  [6394] = 5441,
  [6395] = 376,
  [63] = 220,
  [6401] = 6523,
  [6403] = 6402,
  [643] = 641,
  [644] = 643,
  [645] = 644,
  [646] = 645,
  [648] = 351,
  [650] = 649,
  [651] = 642,
  [6521] = 6522,
  [652] = 651,
  [6543] = { 'OR', 6541, 6542 },
  [6563] = 6562,
  [6565] = 6564,
  [6567] = 6566,
  [6568] = 6567,
  [6569] = 6568,
  [6570] = 6569,
  [657] = 658,
  [658] = 659,
  [6601] = 6585,
  [6602] = 6601,
  [660] = 657,
  [661] = 660,
  [6622] = 6623,
  [6624] = 6625,
  [6627] = 1154,
  [6628] = 1160,
  [6629] = 6548,
  [664] = 663,
  [665] = 663,
  [666] = 665,
  [668] = 666,
  [669] = 668,
  [670] = 669,
  [672] = 655,
  [674] = 672,
  [675] = 674,
  [6761] = 1015,
  [6761] = { 'OR', 1015, 1019, 1047 },
  [6762] = 6761,
  [677] = 676,
  [678] = 677,
  [679] = 678,
  [67] = 66,
  [6822] = 6821,
  [6823] = 6822,
  [6824] = 6823,
  [682] = 681,
  [6844] = 1126,
  [6845] = 6844,
  [689] = 686,
  [68] = 67,
  [693] = 691,
  [694] = 693,
  [695] = 694,
  [696] = 695,
  [697] = 696,
  [6983] = 6963,
  [6984] = 6983,
  [699] = 698,
  [69] = 68,
  [701] = 675,
  [702] = 701,
  [7043] = 7042,
  [7045] = 7043,
  [7046] = 7044,
  [704] = 739,
  [7061] = 6964,
  [7063] = 7062,
  [70] = 69,
  [711] = 710,
  [712] = 711,
  [714] = 713,
  [715] = 714,
  [717] = 732,
  [71] = 45,
  [721] = 720,
  [722] = 721,
  [723] = 722,
  [724] = 723,
  [725] = 724,
  [726] = 725,
  [729] = 730,
  [72] = 70,
  [733] = 718,
  [734] = 712,
  [7383] = 933,
  [2279] = 2278,
  [739] = 738,
  [741] = 731,
  [7488] = 7494,
  [7489] = 7492,
  [7491] = 7490,
  [7496] = 7495,
  [74] = 72,
  [7508] = 7507,
  [7509] = 7508,
  [750] = 747,
  [751] = 749,
  [753] = 752,
  [754] = 748,
  [755] = 753,
  [7563] = 7562,
  [7564] = 7563,
  [756] = 754,
  [757] = 755,
  [758] = 756,
  [759] = 758,
  [75] = 74,
  [7602] = 7601,
  [7603] = 7602,
  [760] = 759,
  [7624] = 7623,
  [7625] = 7624,
  [7629] = 7625,
  [762] = 726,
  [7639] = 7637,
  [763] = 757,
  [7640] = 7639,
  [7642] = 7641,
  [7644] = 7643,
  [7646] = 7644,
  [7647] = 7646,
  [7648] = 7642,
  [764] = 751,
  [765] = 751,
  [76] = 62,
  [771] = 767,
  [772] = 771,
  [7730] = 2903,
  [7731] = 2903,
  [7732] = { 'AND', 7730, 7731 },
  [7733] = 2821,
  [7734] = 2822,
  [773] = 20441,
  [775] = 773,
  [776] = { 'OR', 775, 14439 },
  [777] = 734,
  [7782] = 7781,
  [7784] = 7783,
  [7786] = 7785,
  [778] = 777,
  [77] = 650,
  [780] = 750,
  [7842] = 7841,
  [7843] = 7842,
  [7846] = 7845,
  [7847] = 7846,
  [7877] = 7461,
  [788] = 4641,
  [789] = 788,
  [78] = 75,
  [792] = 1485,
  [793] = 782,
  [794] = { 'OR', 792, 1499 },
  [79] = 78,
  [7] = 783,
  [8042] = 8041,
  [8043] = 8042,
  [8044] = 8043,
  [8046] = 8045,
  [8047] = 8046,
  [8048] = 8047,
  [804] = 790,
  [8050] = 8049,
  [8051] = 8050,
  [8052] = 8051,
  [805] = 794,
  [806] = 823,
  [809] = 829,
  [80] = 79,
  [8102] = 8101,
  [8103] = 8102,
  [8104] = 8103,
  [8107] = 8106,
  [8108] = 8107,
  [8109] = 8108,
  [8111] = 8110,
  [8112] = 8111,
  [8113] = 8112,
  [8117] = 8116,
  [8118] = 8117,
  [8119] = 8118,
  [8142] = 8141,
  [8143] = 8142,
  [8144] = 8143,
  [8146] = 8145,
  [8147] = 8146,
  [8148] = 8147,
  [8153] = 8151,
  [8181] = 4788,
  [8182] = 8181,
  [81] = 77,
  [821] = 819,
  [822] = 821,
  [8231] = 8153,
  [8232] = 8231,
  [8234] = 8233,
  [8235] = 8234,
  [8236] = 8235,
  [824] = 1918,
  [8252] = 8251,
  [8253] = 8252,
  [8255] = 8254,
  [8256] = 8255,
  [8257] = 8256,
  [8258] = 7667,
  [825] = 784,
  [8273] = 2782,
  [8278] = 8277,
  [8279] = 8285,
  [827] = 828,
  [8280] = { 'OR', 8275, 8276 },
  [8281] = 8280,
  [8285] = 8284,
  [8287] = 8279,
  [828] = 806,
  [829] = 827,
  [82] = 992,
  [8301] = 8288,
  [8305] = 8303,
  [8306] = 8304,
  [8313] = 8307,
  [8315] = 8314,
  [8317] = 8313,
  [831] = 830,
  [8321] = 8320,
  [8326] = 8325,
  [8327] = 8326,
  [8328] = 8325,
  [8332] = 8331,
  [8334] = 8327,
  [8335] = 8334,
  [8341] = 8343,
  [8347] = 8335,
  [8348] = 8349,
  [8349] = 8332,
  [8350] = 9705,
  [8351] = 8341,
  [8352] = 8351,
  [836] = 485,
  [838] = 5098,
  [8409] = 8322,
  [8412] = 8410,
  [8413] = 8412,
  [8414] = 8415,
  [8416] = 8414,
  [8418] = 8416,
  [8421] = 8419,
  [8422] = 8421,
  [8423] = 8417,
  [8424] = 8423,
  [8425] = 8424,
  [842] = 840,
  [8447] = 8446,
  [845] = 844,
  [8462] = 8460,
  [846] = 843,
  [8473] = 9258,
  [8476] = 9359,
  [847] = 702,
  [8483] = 8482,
  [8486] = 9119,
  [8487] = 9254,
  [8488] = 8487,
  [8490] = 9253,
  [849] = 846,
  [84] = 86,
  [8519] = 8305,
  [851] = 850,
  [852] = 851,
  [853] = 848,
  [8553] = 8552,
  [8554] = 8553,
  [8555] = 8519,
  [8563] = 8325,
  [8564] = 8325,
  [8576] = 8575,
  [8578] = 8577,
  [8585] = 8584,
  [8586] = 8585,
  [8587] = 8586,
  [8598] = 8597,
  [8606] = 8598,
  [860] = 861,
  [8620] = 8606,
  [863] = 858,
  [864] = 654,
  [86] = 85,
  [8729] = 8728,
  [872] = 871,
  [8734] = 8733,
  [8735] = 8734,
  [8736] = 8735,
  [873] = 874,
  [8741] = 8736,
  [8743] = 8742,
  [8745] = 8743,
  [8748] = 8747,
  [8749] = 8748,
  [874] = 913,
  [8750] = 8749,
  [8751] = 8750,
  [8753] = 8752,
  [8754] = 8753,
  [8755] = 8754,
  [8756] = 8755,
  [8758] = 8757,
  [8759] = 8758,
  [875] = 867,
  [8760] = 8759,
  [8761] = 8760,
  [876] = 875,
  [877] = 870,
  [879] = 5052,
  [87] = 84,
  [8802] = 8801,
  [880] = 877,
  [881] = 903,
  [882] = 3261,
  [8885] = 8884,
  [8889] = 8888,
  [888] = 892,
  [8890] = 8889,
  [8895] = 8472,
  [890] = 887,
  [892] = 890,
  [8966] = 8962,
  [8970] = 8966,
  [8979] = 8904,
  [8980] = 8979,
  [8982] = 8980,
  [8983] = 8982,
  [8984] = 8983,
  [8989] = 8985,
  [8994] = 8989,
  [8995] = 8994,
  [8996] = 8995,
  [89] = 125,
  [900] = 894,
  [901] = 900,
  [9024] = 8903,
  [9025] = 9024,
  [9026] = 9025,
  [9027] = 9026,
  [9028] = 9027,
  [902] = 901,
  [903] = 845,
  [9051] = 9052,
  [9052] = 9063,
  [9053] = 9051,
  [905] = 881,
  [9062] = 9035,
  [9064] = 9062,
  [9066] = 9064,
  [9067] = 9395,
  [906] = 879,
  [9076] = 8480,
  [907] = 882,
  [9119] = 8895,
  [9133] = 9130,
  [9134] = 9133,
  [9135] = 9134,
  [9138] = 9758,
  [9139] = 9138,
  [913] = 907,
  [9140] = 9139,
  [9143] = 9145,
  [9146] = 9143,
  [914] = 1490,
  [9161] = 9282,
  [9162] = 9161,
  [9163] = 9160,
  [9164] = 9877,
  [9166] = 9163,
  [9167] = 9176,
  [9170] = 9220,
  [9172] = 9162,
  [9174] = 9157,
  [9176] = 9172,
  [917] = 916,
  [9180] = 9175,
  [918] = 997,
  [919] = 997,
  [920] = 917,
  [921] = 920,
  [9220] = 9151,
  [922] = 918,
  [923] = 922,
  [924] = 809,
  [9251] = 9250,
  [9255] = 8488,
  [9277] = 9276,
  [9280] = 9279,
  [9283] = 9409,
  [928] = 921,
  [9293] = 10302,
  [9294] = 9293,
  [929] = 928,
  [9309] = 9303,
  [930] = { 'AND', 918, 919 },
  [9311] = 10303,
  [9312] = 9311,
  [9313] = 9312,
  [933] = 929,
  [9340] = { 'OR', 9498, 9499 },
  [9351] = 10161,
  [9352] = 8463,
  [9355] = { 'OR', 10143, 10483 },
  [9356] = 9361,
  [935] = 7383,
  [9361] = 9349,
  [9363] = 9360,
  [9364] = 9362,
  [9370] = 9366,
  [9372] = { 'OR', 10442, 10443 },
  [9376] = 9375,
  [9391] = 9340,
  [9392] = 8325,
  [9393] = 8325,
  [93] = 5,
  [9400] = 10388,
  [9401] = 9400,
  [9403] = 9402,
  [9404] = 9403,
  [9405] = 9401,
  [9406] = 9410,
  [9409] = 9280,
  [9410] = 9405,
  [9419] = 9415,
  [9420] = 9563,
  [9422] = 9416,
  [9423] = 9390,
  [9424] = 9423,
  [9427] = 9426,
  [942] = 741,
  [9430] = 9543,
  [9433] = 9431,
  [9434] = 9433,
  [9438] = 9406,
  [943] = 942,
  [9441] = 9438,
  [9444] = 9443,
  [9446] = 9474,
  [9447] = 9442,
  [944] = 948,
  [9450] = 9449,
  [9451] = 9450,
  [9453] = 9452,
  [9456] = 9455,
  [9457] = 9436,
  [9460] = 9532,
  [9461] = 9468,
  [9464] = 9462,
  [9465] = 9464,
  [9467] = 9465,
  [9468] = 9467,
  [9472] = 10287,
  [9473] = 9463,
  [9475] = 9476,
  [9476] = 9469,
  [9484] = 9617,
  [9485] = 9486,
  [9486] = 9484,
  [9488] = 9487,
  [948] = 947,
  [9491] = 10372,
  [949] = 944,
  [9501] = { 'OR', 9500, 9502, 10490 },
  [9503] = 9501,
  [9504] = 9503,
  [9508] = 9504,
  [9509] = 9508,
  [950] = 949,
  [9513] = 9512,
  [9515] = 9514,
  [951] = 950,
  [9522] = 9520,
  [9523] = 9512,
  [9527] = 10428,
  [9529] = 10788,
  [952] = 940,
  [9530] = 9506,
  [9531] = 9530,
  [9536] = 9535,
  [9537] = 9531,
  [9539] = 9538,
  [9540] = 9539,
  [9541] = 9540,
  [9542] = 9541,
  [9543] = 9424,
  [9544] = 9542,
  [9545] = 9430,
  [9552] = { 'OR', 9547, 9551, 10491 },
  [9553] = 9552,
  [9554] = 9553,
  [9555] = 9461,
  [9557] = 9550,
  [9558] = { 'OR', 10483, 10143 },
  [9559] = 9544,
  [955] = 954,
  [9565] = { 'OR', 9562, 9560 },
  [9566] = 9565,
  [956] = 955,
  [9570] = 9573,
  [9571] = 9570,
  [9573] = { 'OR', 9562, 9560 },
  [9574] = 9629,
  [9579] = 9578,
  [957] = 956,
  [9584] = 9628,
  [9585] = 9584,
  [9589] = 9587,
  [9590] = 9588,
  [9591] = 9757,
  [9592] = 9591,
  [9593] = 9592,
  [9598] = 10366,
  [9600] = 9598,
  [9602] = 9537,
  [9604] = 9603,
  [9605] = 9604,
  [9606] = 9605,
  [9607] = 9575,
  [9608] = 9572,
  [9618] = 9460,
  [9619] = 9529,
  [9620] = 9581,
  [9621] = 9328,
  [9625] = 9623,
  [9626] = 9621,
  [9627] = 9626,
  [9628] = 9620,
  [9631] = 9680,
  [9633] = 9632,
  [9637] = 9631,
  [9638] = 9630,
  [9639] = 9638,
  [9640] = 9639,
  [9644] = 9637,
  [9645] = 9640,
  [964] = 838,
  [9666] = 9663,
  [9668] = 9666,
  [966] = 965,
  [9672] = 9671,
  [9673] = 9485,
  [9674] = 9672,
  [9675] = 9593,
  [9676] = 8325,
  [9678] = 9677,
  [967] = 966,
  [9680] = 9645,
  [9681] = 9678,
  [9682] = 9674,
  [9683] = 9682,
  [9684] = 9681,
  [9685] = 9684,
  [9686] = 9690,
  [9691] = 9686,
  [9692] = 9691,
  [9694] = 9693,
  [9696] = 9779,
  [9698] = 9696,
  [9699] = 9698,
  [96] = 100,
  [9700] = 9699,
  [9701] = 9697,
  [9702] = 9701,
  [9704] = 8347,
  [9705] = 9704,
  [9707] = 9692,
  [9708] = 9702,
  [9709] = 9708,
  [970] = 967,
  [9710] = 9707,
  [9714] = 9715,
  [9718] = 9716,
  [9720] = 9718,
  [9722] = 9721,
  [9723] = 9722,
  [9724] = 9731,
  [9725] = 9723,
  [9727] = 9726,
  [9732] = 9724,
  [9735] = 9725,
  [9736] = 9735,
  [9737] = 9736,
  [9738] = 9876,
  [9740] = 9746,
  [9746] = 9748,
  [9756] = 9753,
  [9758] = 9327,
  [975] = 969,
  [9760] = 9756,
  [9761] = 9760,
  [9762] = 9759,
  [9765] = 9764,
  [9766] = 9765,
  [9771] = 9774,
  [9772] = 9771,
  [977] = 3783,
  [9780] = 9791,
  [9783] = 9782,
  [9787] = 9786,
  [9788] = 9747,
  [978] = 3661,
  [9790] = 9781,
  [9799] = 10302,
  [979] = 978,
  [97] = 80,
  [9801] = 9787,
  [9803] = 9801,
  [9804] = 9800,
  [9805] = 9804,
  [980] = 974,
  [9810] = 9805,
  [9812] = 9811,
  [9813] = 9812,
  [9816] = 9814,
  [9819] = 9818,
  [981] = 1143,
  [9821] = 9819,
  [9822] = 9820,
  [9823] = 9822,
  [9826] = 9824,
  [9829] = 9826,
  [9831] = 9829,
  [9832] = 9831,
  [9836] = 9832,
  [9837] = 9836,
  [9838] = 9837,
  [9839] = 9835,
  [9840] = 9838,
  [9842] = 9841,
  [9843] = 9840,
  [9844] = 9843,
  [9847] = 9846,
  [9849] = 9821,
  [9850] = 9789,
  [9851] = 9850,
  [9853] = 9849,
  [9855] = 9854,
  [9856] = 9855,
  [9858] = 9857,
  [9859] = 9858,
  [985] = 984,
  [9860] = 9844,
  [9862] = 9861,
  [9865] = 9864,
  [9866] = 9865,
  [986] = 984,
  [9873] = 9871,
  [9876] = 9732,
  [9889] = 9888,
  [9890] = 9889,
  [9891] = 9890,
  [9894] = 9747,
  [9896] = 9901,
  [9898] = 9770,
  [9899] = 9773,
  [98] = 97,
  [9903] = 9845,
  [9904] = 9845,
  [9905] = 9834,
  [9906] = 9891,
  [9907] = 9906,
  [9910] = 9891,
  [9916] = 9910,
  [9918] = 9917,
  [9920] = 9918,
  [9921] = 9920,
  [9922] = 9921,
  [9924] = 9923,
  [9927] = { 'OR', 10107, 10108 },
  [9928] = { 'OR', 10107, 10108 },
  [9931] = 9927,
  [9932] = { 'AND', 9928, 9927 },
  [9933] = { 'AND', 9931, 9932 },
  [9934] = { 'AND', 9931, 9932 },
  [993] = 986,
  [9945] = 9944,
  [9946] = 9945,
  [994] = 993,
  [9954] = 9924,
  [9955] = 9954,
  [9967] = 9962,
  [9970] = 9967,
  [9972] = 9970,
  [9973] = 9972,
  [9977] = 9973,
  [9978] = 9968,
  [9979] = 9978,
  [998] = 996,
  [9990] = 10112,
  [9994] = 9990,
  [9995] = 9990,
  [9996] = 10444,
  [9997] = 10448,
  [99] = 424,
  [237] = 224,
  [1252] = 11123,
}

-- reverse for 'who needs me' lookups
ZGV.RevChains = {}
for post, pre in pairs(ZGV.Chains) do
  if type(pre) == 'number' then
    if not ZGV.RevChains[pre] then
      ZGV.RevChains[pre] = { post }
    else
      tinsert(ZGV.RevChains[pre], post)
    end
  elseif type(pre) == 'table' then
    for q, pr in ipairs(pre) do
      if type(pr) == 'number' then
        if not ZGV.RevChains[pr] then
          ZGV.RevChains[pr] = { post }
        else
          tinsert(ZGV.RevChains[pr], post)
        end
      end
    end
  end
end
-- ([0-9]+)`([0-9]+)",\n  to  \1",\n[\2]=\1,\n
