svn commit: r1405742 [4/4] - in /subversion/upstream/utf8proc: ./ pgsql/ ruby/ ruby/gem/

[br...@apache.org]

Added: subversion/upstream/utf8proc/utf8proc_data.c
URL: http://svn.apache.org/viewvc/subversion/upstream/utf8proc/utf8proc_data.c?rev=1405742&view=auto
==============================================================================
--- subversion/upstream/utf8proc/utf8proc_data.c (added)
+++ subversion/upstream/utf8proc/utf8proc_data.c Mon Nov  5 10:54:56 2012
@@ -0,0 +1,13383 @@
+/*
+ *  This file contains derived data from a modified version of the
+ *  Unicode data files.
+ *
+ *  The original data files are available at
+ *  http://www.unicode.org/Public/UNIDATA/
+ *
+ *
+ *  COPYRIGHT AND PERMISSION NOTICE
+ *
+ *  Copyright (c) 1991-2007 Unicode, Inc. All rights reserved. Distributed
+ *  under the Terms of Use in http://www.unicode.org/copyright.html.
+ *
+ *  Permission is hereby granted, free of charge, to any person obtaining a
+ *  copy of the Unicode data files and any associated documentation (the "Data
+ *  Files") or Unicode software and any associated documentation (the
+ *  "Software") to deal in the Data Files or Software without restriction,
+ *  including without limitation the rights to use, copy, modify, merge,
+ *  publish, distribute, and/or sell copies of the Data Files or Software, and
+ *  to permit persons to whom the Data Files or Software are furnished to do
+ *  so, provided that (a) the above copyright notice(s) and this permission
+ *  notice appear with all copies of the Data Files or Software, (b) both the
+ *  above copyright notice(s) and this permission notice appear in associated
+ *  documentation, and (c) there is clear notice in each modified Data File or
+ *  in the Software as well as in the documentation associated with the Data
+ *  File(s) or Software that the data or software has been modified.
+ *
+ *  THE DATA FILES AND SOFTWARE ARE PROVIDED "AS IS", WITHOUT WARRANTY OF ANY
+ *  KIND, EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF
+ *  MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT OF
+ *  THIRD PARTY RIGHTS. IN NO EVENT SHALL THE COPYRIGHT HOLDER OR HOLDERS
+ *  INCLUDED IN THIS NOTICE BE LIABLE FOR ANY CLAIM, OR ANY SPECIAL INDIRECT OR
+ *  CONSEQUENTIAL DAMAGES, OR ANY DAMAGES WHATSOEVER RESULTING FROM LOSS OF
+ *  USE, DATA OR PROFITS, WHETHER IN AN ACTION OF CONTRACT, NEGLIGENCE OR OTHER
+ *  TORTIOUS ACTION, ARISING OUT OF OR IN CONNECTION WITH THE USE OR
+ *  PERFORMANCE OF THE DATA FILES OR SOFTWARE.
+ *
+ *  Except as contained in this notice, the name of a copyright holder shall
+ *  not be used in advertising or otherwise to promote the sale, use or other
+ *  dealings in these Data Files or Software without prior written
+ *  authorization of the copyright holder.
+ */
+
+
+const int32_t utf8proc_sequences[] = {
+  97, -1, 98, -1, 99, -1, 100, 
+  -1, 101, -1, 102, -1, 103, -1, 104, 
+  -1, 105, -1, 106, -1, 107, -1, 108, 
+  -1, 109, -1, 110, -1, 111, -1, 112, 
+  -1, 113, -1, 114, -1, 115, -1, 116, 
+  -1, 117, -1, 118, -1, 119, -1, 120, 
+  -1, 121, -1, 122, -1, 32, -1, 32, 
+  776, -1, 32, 772, -1, 50, -1, 51, 
+  -1, 32, 769, -1, 956, -1, 32, 807, 
+  -1, 49, -1, 49, 8260, 52, -1, 49, 
+  8260, 50, -1, 51, 8260, 52, -1, 65, 
+  768, -1, 224, -1, 65, 769, -1, 225, 
+  -1, 65, 770, -1, 226, -1, 65, 771, 
+  -1, 227, -1, 65, 776, -1, 228, -1, 
+  65, 778, -1, 229, -1, 230, -1, 67, 
+  807, -1, 231, -1, 69, 768, -1, 232, 
+  -1, 69, 769, -1, 233, -1, 69, 770, 
+  -1, 234, -1, 69, 776, -1, 235, -1, 
+  73, 768, -1, 236, -1, 73, 769, -1, 
+  237, -1, 73, 770, -1, 238, -1, 73, 
+  776, -1, 239, -1, 240, -1, 78, 771, 
+  -1, 241, -1, 79, 768, -1, 242, -1, 
+  79, 769, -1, 243, -1, 79, 770, -1, 
+  244, -1, 79, 771, -1, 245, -1, 79, 
+  776, -1, 246, -1, 248, -1, 85, 768, 
+  -1, 249, -1, 85, 769, -1, 250, -1, 
+  85, 770, -1, 251, -1, 85, 776, -1, 
+  252, -1, 89, 769, -1, 253, -1, 254, 
+  -1, 115, 115, -1, 97, 768, -1, 97, 
+  769, -1, 97, 770, -1, 97, 771, -1, 
+  97, 776, -1, 97, 778, -1, 99, 807, 
+  -1, 101, 768, -1, 101, 769, -1, 101, 
+  770, -1, 101, 776, -1, 105, 768, -1, 
+  105, 769, -1, 105, 770, -1, 105, 776, 
+  -1, 110, 771, -1, 111, 768, -1, 111, 
+  769, -1, 111, 770, -1, 111, 771, -1, 
+  111, 776, -1, 117, 768, -1, 117, 769, 
+  -1, 117, 770, -1, 117, 776, -1, 121, 
+  769, -1, 121, 776, -1, 65, 772, -1, 
+  257, -1, 97, 772, -1, 65, 774, -1, 
+  259, -1, 97, 774, -1, 65, 808, -1, 
+  261, -1, 97, 808, -1, 67, 769, -1, 
+  263, -1, 99, 769, -1, 67, 770, -1, 
+  265, -1, 99, 770, -1, 67, 775, -1, 
+  267, -1, 99, 775, -1, 67, 780, -1, 
+  269, -1, 99, 780, -1, 68, 780, -1, 
+  271, -1, 100, 780, -1, 273, -1, 69, 
+  772, -1, 275, -1, 101, 772, -1, 69, 
+  774, -1, 277, -1, 101, 774, -1, 69, 
+  775, -1, 279, -1, 101, 775, -1, 69, 
+  808, -1, 281, -1, 101, 808, -1, 69, 
+  780, -1, 283, -1, 101, 780, -1, 71, 
+  770, -1, 285, -1, 103, 770, -1, 71, 
+  774, -1, 287, -1, 103, 774, -1, 71, 
+  775, -1, 289, -1, 103, 775, -1, 71, 
+  807, -1, 291, -1, 103, 807, -1, 72, 
+  770, -1, 293, -1, 104, 770, -1, 295, 
+  -1, 73, 771, -1, 297, -1, 105, 771, 
+  -1, 73, 772, -1, 299, -1, 105, 772, 
+  -1, 73, 774, -1, 301, -1, 105, 774, 
+  -1, 73, 808, -1, 303, -1, 105, 808, 
+  -1, 73, 775, -1, 105, 775, -1, 73, 
+  74, -1, 307, -1, 105, 106, -1, 74, 
+  770, -1, 309, -1, 106, 770, -1, 75, 
+  807, -1, 311, -1, 107, 807, -1, 76, 
+  769, -1, 314, -1, 108, 769, -1, 76, 
+  807, -1, 316, -1, 108, 807, -1, 76, 
+  780, -1, 318, -1, 108, 780, -1, 76, 
+  183, -1, 320, -1, 108, 183, -1, 322, 
+  -1, 78, 769, -1, 324, -1, 110, 769, 
+  -1, 78, 807, -1, 326, -1, 110, 807, 
+  -1, 78, 780, -1, 328, -1, 110, 780, 
+  -1, 700, 110, -1, 331, -1, 79, 772, 
+  -1, 333, -1, 111, 772, -1, 79, 774, 
+  -1, 335, -1, 111, 774, -1, 79, 779, 
+  -1, 337, -1, 111, 779, -1, 339, -1, 
+  82, 769, -1, 341, -1, 114, 769, -1, 
+  82, 807, -1, 343, -1, 114, 807, -1, 
+  82, 780, -1, 345, -1, 114, 780, -1, 
+  83, 769, -1, 347, -1, 115, 769, -1, 
+  83, 770, -1, 349, -1, 115, 770, -1, 
+  83, 807, -1, 351, -1, 115, 807, -1, 
+  83, 780, -1, 353, -1, 115, 780, -1, 
+  84, 807, -1, 355, -1, 116, 807, -1, 
+  84, 780, -1, 357, -1, 116, 780, -1, 
+  359, -1, 85, 771, -1, 361, -1, 117, 
+  771, -1, 85, 772, -1, 363, -1, 117, 
+  772, -1, 85, 774, -1, 365, -1, 117, 
+  774, -1, 85, 778, -1, 367, -1, 117, 
+  778, -1, 85, 779, -1, 369, -1, 117, 
+  779, -1, 85, 808, -1, 371, -1, 117, 
+  808, -1, 87, 770, -1, 373, -1, 119, 
+  770, -1, 89, 770, -1, 375, -1, 121, 
+  770, -1, 89, 776, -1, 255, -1, 90, 
+  769, -1, 378, -1, 122, 769, -1, 90, 
+  775, -1, 380, -1, 122, 775, -1, 90, 
+  780, -1, 382, -1, 122, 780, -1, 595, 
+  -1, 387, -1, 389, -1, 596, -1, 392, 
+  -1, 598, -1, 599, -1, 396, -1, 477, 
+  -1, 601, -1, 603, -1, 402, -1, 608, 
+  -1, 611, -1, 617, -1, 616, -1, 409, 
+  -1, 623, -1, 626, -1, 629, -1, 79, 
+  795, -1, 417, -1, 111, 795, -1, 419, 
+  -1, 421, -1, 640, -1, 424, -1, 643, 
+  -1, 429, -1, 648, -1, 85, 795, -1, 
+  432, -1, 117, 795, -1, 650, -1, 651, 
+  -1, 436, -1, 438, -1, 658, -1, 441, 
+  -1, 445, -1, 68, 381, -1, 454, -1, 
+  68, 382, -1, 100, 382, -1, 76, 74, 
+  -1, 457, -1, 76, 106, -1, 108, 106, 
+  -1, 78, 74, -1, 460, -1, 78, 106, 
+  -1, 110, 106, -1, 65, 780, -1, 462, 
+  -1, 97, 780, -1, 73, 780, -1, 464, 
+  -1, 105, 780, -1, 79, 780, -1, 466, 
+  -1, 111, 780, -1, 85, 780, -1, 468, 
+  -1, 117, 780, -1, 220, 772, -1, 470, 
+  -1, 252, 772, -1, 220, 769, -1, 472, 
+  -1, 252, 769, -1, 220, 780, -1, 474, 
+  -1, 252, 780, -1, 220, 768, -1, 476, 
+  -1, 252, 768, -1, 196, 772, -1, 479, 
+  -1, 228, 772, -1, 550, 772, -1, 481, 
+  -1, 551, 772, -1, 198, 772, -1, 483, 
+  -1, 230, 772, -1, 485, -1, 71, 780, 
+  -1, 487, -1, 103, 780, -1, 75, 780, 
+  -1, 489, -1, 107, 780, -1, 79, 808, 
+  -1, 491, -1, 111, 808, -1, 490, 772, 
+  -1, 493, -1, 491, 772, -1, 439, 780, 
+  -1, 495, -1, 658, 780, -1, 106, 780, 
+  -1, 68, 90, -1, 499, -1, 68, 122, 
+  -1, 100, 122, -1, 71, 769, -1, 501, 
+  -1, 103, 769, -1, 405, -1, 447, -1, 
+  78, 768, -1, 505, -1, 110, 768, -1, 
+  197, 769, -1, 507, -1, 229, 769, -1, 
+  198, 769, -1, 509, -1, 230, 769, -1, 
+  216, 769, -1, 511, -1, 248, 769, -1, 
+  65, 783, -1, 513, -1, 97, 783, -1, 
+  65, 785, -1, 515, -1, 97, 785, -1, 
+  69, 783, -1, 517, -1, 101, 783, -1, 
+  69, 785, -1, 519, -1, 101, 785, -1, 
+  73, 783, -1, 521, -1, 105, 783, -1, 
+  73, 785, -1, 523, -1, 105, 785, -1, 
+  79, 783, -1, 525, -1, 111, 783, -1, 
+  79, 785, -1, 527, -1, 111, 785, -1, 
+  82, 783, -1, 529, -1, 114, 783, -1, 
+  82, 785, -1, 531, -1, 114, 785, -1, 
+  85, 783, -1, 533, -1, 117, 783, -1, 
+  85, 785, -1, 535, -1, 117, 785, -1, 
+  83, 806, -1, 537, -1, 115, 806, -1, 
+  84, 806, -1, 539, -1, 116, 806, -1, 
+  541, -1, 72, 780, -1, 543, -1, 104, 
+  780, -1, 414, -1, 547, -1, 549, -1, 
+  65, 775, -1, 551, -1, 97, 775, -1, 
+  69, 807, -1, 553, -1, 101, 807, -1, 
+  214, 772, -1, 555, -1, 246, 772, -1, 
+  213, 772, -1, 557, -1, 245, 772, -1, 
+  79, 775, -1, 559, -1, 111, 775, -1, 
+  558, 772, -1, 561, -1, 559, 772, -1, 
+  89, 772, -1, 563, -1, 121, 772, -1, 
+  11365, -1, 572, -1, 410, -1, 11366, -1, 
+  578, -1, 384, -1, 649, -1, 652, -1, 
+  583, -1, 585, -1, 587, -1, 589, -1, 
+  591, -1, 614, -1, 633, -1, 635, -1, 
+  641, -1, 32, 774, -1, 32, 775, -1, 
+  32, 778, -1, 32, 808, -1, 32, 771, 
+  -1, 32, 779, -1, 661, -1, 768, -1, 
+  769, -1, 787, -1, 776, 769, -1, 953, 
+  -1, 697, -1, 32, 837, -1, 59, -1, 
+  168, 769, -1, 913, 769, -1, 940, -1, 
+  183, -1, 917, 769, -1, 941, -1, 919, 
+  769, -1, 942, -1, 921, 769, -1, 943, 
+  -1, 927, 769, -1, 972, -1, 933, 769, 
+  -1, 973, -1, 937, 769, -1, 974, -1, 
+  970, 769, -1, 953, 776, 769, -1, 945, 
+  -1, 946, -1, 947, -1, 948, -1, 949, 
+  -1, 950, -1, 951, -1, 952, -1, 954, 
+  -1, 955, -1, 957, -1, 958, -1, 959, 
+  -1, 960, -1, 961, -1, 963, -1, 964, 
+  -1, 965, -1, 966, -1, 967, -1, 968, 
+  -1, 969, -1, 921, 776, -1, 970, -1, 
+  933, 776, -1, 971, -1, 945, 769, -1, 
+  949, 769, -1, 951, 769, -1, 953, 769, 
+  -1, 971, 769, -1, 965, 776, 769, -1, 
+  953, 776, -1, 965, 776, -1, 959, 769, 
+  -1, 965, 769, -1, 969, 769, -1, 933, 
+  -1, 978, 769, -1, 978, 776, -1, 985, 
+  -1, 987, -1, 989, -1, 991, -1, 993, 
+  -1, 995, -1, 997, -1, 999, -1, 1001, 
+  -1, 1003, -1, 1005, -1, 1007, -1, 962, 
+  -1, 920, -1, 1016, -1, 931, -1, 1010, 
+  -1, 1019, -1, 891, -1, 892, -1, 893, 
+  -1, 1045, 768, -1, 1104, -1, 1045, 776, 
+  -1, 1105, -1, 1106, -1, 1043, 769, -1, 
+  1107, -1, 1108, -1, 1109, -1, 1110, -1, 
+  1030, 776, -1, 1111, -1, 1112, -1, 1113, 
+  -1, 1114, -1, 1115, -1, 1050, 769, -1, 
+  1116, -1, 1048, 768, -1, 1117, -1, 1059, 
+  774, -1, 1118, -1, 1119, -1, 1072, -1, 
+  1073, -1, 1074, -1, 1075, -1, 1076, -1, 
+  1077, -1, 1078, -1, 1079, -1, 1080, -1, 
+  1048, 774, -1, 1081, -1, 1082, -1, 1083, 
+  -1, 1084, -1, 1085, -1, 1086, -1, 1087, 
+  -1, 1088, -1, 1089, -1, 1090, -1, 1091, 
+  -1, 1092, -1, 1093, -1, 1094, -1, 1095, 
+  -1, 1096, -1, 1097, -1, 1098, -1, 1099, 
+  -1, 1100, -1, 1101, -1, 1102, -1, 1103, 
+  -1, 1080, 774, -1, 1077, 768, -1, 1077, 
+  776, -1, 1075, 769, -1, 1110, 776, -1, 
+  1082, 769, -1, 1080, 768, -1, 1091, 774, 
+  -1, 1121, -1, 1123, -1, 1125, -1, 1127, 
+  -1, 1129, -1, 1131, -1, 1133, -1, 1135, 
+  -1, 1137, -1, 1139, -1, 1141, -1, 1140, 
+  783, -1, 1143, -1, 1141, 783, -1, 1145, 
+  -1, 1147, -1, 1149, -1, 1151, -1, 1153, 
+  -1, 1163, -1, 1165, -1, 1167, -1, 1169, 
+  -1, 1171, -1, 1173, -1, 1175, -1, 1177, 
+  -1, 1179, -1, 1181, -1, 1183, -1, 1185, 
+  -1, 1187, -1, 1189, -1, 1191, -1, 1193, 
+  -1, 1195, -1, 1197, -1, 1199, -1, 1201, 
+  -1, 1203, -1, 1205, -1, 1207, -1, 1209, 
+  -1, 1211, -1, 1213, -1, 1215, -1, 1231, 
+  -1, 1046, 774, -1, 1218, -1, 1078, 774, 
+  -1, 1220, -1, 1222, -1, 1224, -1, 1226, 
+  -1, 1228, -1, 1230, -1, 1040, 774, -1, 
+  1233, -1, 1072, 774, -1, 1040, 776, -1, 
+  1235, -1, 1072, 776, -1, 1237, -1, 1045, 
+  774, -1, 1239, -1, 1077, 774, -1, 1241, 
+  -1, 1240, 776, -1, 1243, -1, 1241, 776, 
+  -1, 1046, 776, -1, 1245, -1, 1078, 776, 
+  -1, 1047, 776, -1, 1247, -1, 1079, 776, 
+  -1, 1249, -1, 1048, 772, -1, 1251, -1, 
+  1080, 772, -1, 1048, 776, -1, 1253, -1, 
+  1080, 776, -1, 1054, 776, -1, 1255, -1, 
+  1086, 776, -1, 1257, -1, 1256, 776, -1, 
+  1259, -1, 1257, 776, -1, 1069, 776, -1, 
+  1261, -1, 1101, 776, -1, 1059, 772, -1, 
+  1263, -1, 1091, 772, -1, 1059, 776, -1, 
+  1265, -1, 1091, 776, -1, 1059, 779, -1, 
+  1267, -1, 1091, 779, -1, 1063, 776, -1, 
+  1269, -1, 1095, 776, -1, 1271, -1, 1067, 
+  776, -1, 1273, -1, 1099, 776, -1, 1275, 
+  -1, 1277, -1, 1279, -1, 1281, -1, 1283, 
+  -1, 1285, -1, 1287, -1, 1289, -1, 1291, 
+  -1, 1293, -1, 1295, -1, 1297, -1, 1299, 
+  -1, 1377, -1, 1378, -1, 1379, -1, 1380, 
+  -1, 1381, -1, 1382, -1, 1383, -1, 1384, 
+  -1, 1385, -1, 1386, -1, 1387, -1, 1388, 
+  -1, 1389, -1, 1390, -1, 1391, -1, 1392, 
+  -1, 1393, -1, 1394, -1, 1395, -1, 1396, 
+  -1, 1397, -1, 1398, -1, 1399, -1, 1400, 
+  -1, 1401, -1, 1402, -1, 1403, -1, 1404, 
+  -1, 1405, -1, 1406, -1, 1407, -1, 1408, 
+  -1, 1409, -1, 1410, -1, 1411, -1, 1412, 
+  -1, 1413, -1, 1414, -1, 1381, 1410, -1, 
+  1575, 1619, -1, 1575, 1620, -1, 1608, 1620, 
+  -1, 1575, 1621, -1, 1610, 1620, -1, 1575, 
+  1652, -1, 1608, 1652, -1, 1735, 1652, -1, 
+  1610, 1652, -1, 1749, 1620, -1, 1729, 1620, 
+  -1, 1746, 1620, -1, 2344, 2364, -1, 2352, 
+  2364, -1, 2355, 2364, -1, 2325, 2364, -1, 
+  2326, 2364, -1, 2327, 2364, -1, 2332, 2364, 
+  -1, 2337, 2364, -1, 2338, 2364, -1, 2347, 
+  2364, -1, 2351, 2364, -1, 2503, 2494, -1, 
+  2503, 2519, -1, 2465, 2492, -1, 2466, 2492, 
+  -1, 2479, 2492, -1, 2610, 2620, -1, 2616, 
+  2620, -1, 2582, 2620, -1, 2583, 2620, -1, 
+  2588, 2620, -1, 2603, 2620, -1, 2887, 2902, 
+  -1, 2887, 2878, -1, 2887, 2903, -1, 2849, 
+  2876, -1, 2850, 2876, -1, 2962, 3031, -1, 
+  3014, 3006, -1, 3015, 3006, -1, 3014, 3031, 
+  -1, 3142, 3158, -1, 3263, 3285, -1, 3270, 
+  3285, -1, 3270, 3286, -1, 3270, 3266, -1, 
+  3274, 3285, -1, 3398, 3390, -1, 3399, 3390, 
+  -1, 3398, 3415, -1, 3545, 3530, -1, 3545, 
+  3535, -1, 3548, 3530, -1, 3545, 3551, -1, 
+  3661, 3634, -1, 3789, 3762, -1, 3755, 3737, 
+  -1, 3755, 3745, -1, 3851, -1, 3906, 4023, 
+  -1, 3916, 4023, -1, 3921, 4023, -1, 3926, 
+  4023, -1, 3931, 4023, -1, 3904, 4021, -1, 
+  3953, 3954, -1, 3953, 3956, -1, 4018, 3968, 
+  -1, 4018, 3969, -1, 4019, 3968, -1, 4019, 
+  3969, -1, 3953, 3968, -1, 3986, 4023, -1, 
+  3996, 4023, -1, 4001, 4023, -1, 4006, 4023, 
+  -1, 4011, 4023, -1, 3984, 4021, -1, 4133, 
+  4142, -1, 11520, -1, 11521, -1, 11522, -1, 
+  11523, -1, 11524, -1, 11525, -1, 11526, -1, 
+  11527, -1, 11528, -1, 11529, -1, 11530, -1, 
+  11531, -1, 11532, -1, 11533, -1, 11534, -1, 
+  11535, -1, 11536, -1, 11537, -1, 11538, -1, 
+  11539, -1, 11540, -1, 11541, -1, 11542, -1, 
+  11543, -1, 11544, -1, 11545, -1, 11546, -1, 
+  11547, -1, 11548, -1, 11549, -1, 11550, -1, 
+  11551, -1, 11552, -1, 11553, -1, 11554, -1, 
+  11555, -1, 11556, -1, 11557, -1, 4316, -1, 
+  6917, 6965, -1, 6919, 6965, -1, 6921, 6965, 
+  -1, 6923, 6965, -1, 6925, 6965, -1, 6929, 
+  6965, -1, 6970, 6965, -1, 6972, 6965, -1, 
+  6974, 6965, -1, 6975, 6965, -1, 6978, 6965, 
+  -1, 65, -1, 198, -1, 66, -1, 68, 
+  -1, 69, -1, 398, -1, 71, -1, 72, 
+  -1, 73, -1, 74, -1, 75, -1, 76, 
+  -1, 77, -1, 78, -1, 79, -1, 546, 
+  -1, 80, -1, 82, -1, 84, -1, 85, 
+  -1, 87, -1, 592, -1, 593, -1, 7426, 
+  -1, 604, -1, 7446, -1, 7447, -1, 7453, 
+  -1, 7461, -1, 594, -1, 597, -1, 607, 
+  -1, 609, -1, 613, -1, 618, -1, 7547, 
+  -1, 669, -1, 621, -1, 7557, -1, 671, 
+  -1, 625, -1, 624, -1, 627, -1, 628, 
+  -1, 632, -1, 642, -1, 427, -1, 7452, 
+  -1, 656, -1, 657, -1, 65, 805, -1, 
+  7681, -1, 97, 805, -1, 66, 775, -1, 
+  7683, -1, 98, 775, -1, 66, 803, -1, 
+  7685, -1, 98, 803, -1, 66, 817, -1, 
+  7687, -1, 98, 817, -1, 199, 769, -1, 
+  7689, -1, 231, 769, -1, 68, 775, -1, 
+  7691, -1, 100, 775, -1, 68, 803, -1, 
+  7693, -1, 100, 803, -1, 68, 817, -1, 
+  7695, -1, 100, 817, -1, 68, 807, -1, 
+  7697, -1, 100, 807, -1, 68, 813, -1, 
+  7699, -1, 100, 813, -1, 274, 768, -1, 
+  7701, -1, 275, 768, -1, 274, 769, -1, 
+  7703, -1, 275, 769, -1, 69, 813, -1, 
+  7705, -1, 101, 813, -1, 69, 816, -1, 
+  7707, -1, 101, 816, -1, 552, 774, -1, 
+  7709, -1, 553, 774, -1, 70, 775, -1, 
+  7711, -1, 102, 775, -1, 71, 772, -1, 
+  7713, -1, 103, 772, -1, 72, 775, -1, 
+  7715, -1, 104, 775, -1, 72, 803, -1, 
+  7717, -1, 104, 803, -1, 72, 776, -1, 
+  7719, -1, 104, 776, -1, 72, 807, -1, 
+  7721, -1, 104, 807, -1, 72, 814, -1, 
+  7723, -1, 104, 814, -1, 73, 816, -1, 
+  7725, -1, 105, 816, -1, 207, 769, -1, 
+  7727, -1, 239, 769, -1, 75, 769, -1, 
+  7729, -1, 107, 769, -1, 75, 803, -1, 
+  7731, -1, 107, 803, -1, 75, 817, -1, 
+  7733, -1, 107, 817, -1, 76, 803, -1, 
+  7735, -1, 108, 803, -1, 7734, 772, -1, 
+  7737, -1, 7735, 772, -1, 76, 817, -1, 
+  7739, -1, 108, 817, -1, 76, 813, -1, 
+  7741, -1, 108, 813, -1, 77, 769, -1, 
+  7743, -1, 109, 769, -1, 77, 775, -1, 
+  7745, -1, 109, 775, -1, 77, 803, -1, 
+  7747, -1, 109, 803, -1, 78, 775, -1, 
+  7749, -1, 110, 775, -1, 78, 803, -1, 
+  7751, -1, 110, 803, -1, 78, 817, -1, 
+  7753, -1, 110, 817, -1, 78, 813, -1, 
+  7755, -1, 110, 813, -1, 213, 769, -1, 
+  7757, -1, 245, 769, -1, 213, 776, -1, 
+  7759, -1, 245, 776, -1, 332, 768, -1, 
+  7761, -1, 333, 768, -1, 332, 769, -1, 
+  7763, -1, 333, 769, -1, 80, 769, -1, 
+  7765, -1, 112, 769, -1, 80, 775, -1, 
+  7767, -1, 112, 775, -1, 82, 775, -1, 
+  7769, -1, 114, 775, -1, 82, 803, -1, 
+  7771, -1, 114, 803, -1, 7770, 772, -1, 
+  7773, -1, 7771, 772, -1, 82, 817, -1, 
+  7775, -1, 114, 817, -1, 83, 775, -1, 
+  7777, -1, 115, 775, -1, 83, 803, -1, 
+  7779, -1, 115, 803, -1, 346, 775, -1, 
+  7781, -1, 347, 775, -1, 352, 775, -1, 
+  7783, -1, 353, 775, -1, 7778, 775, -1, 
+  7785, -1, 7779, 775, -1, 84, 775, -1, 
+  7787, -1, 116, 775, -1, 84, 803, -1, 
+  7789, -1, 116, 803, -1, 84, 817, -1, 
+  7791, -1, 116, 817, -1, 84, 813, -1, 
+  7793, -1, 116, 813, -1, 85, 804, -1, 
+  7795, -1, 117, 804, -1, 85, 816, -1, 
+  7797, -1, 117, 816, -1, 85, 813, -1, 
+  7799, -1, 117, 813, -1, 360, 769, -1, 
+  7801, -1, 361, 769, -1, 362, 776, -1, 
+  7803, -1, 363, 776, -1, 86, 771, -1, 
+  7805, -1, 118, 771, -1, 86, 803, -1, 
+  7807, -1, 118, 803, -1, 87, 768, -1, 
+  7809, -1, 119, 768, -1, 87, 769, -1, 
+  7811, -1, 119, 769, -1, 87, 776, -1, 
+  7813, -1, 119, 776, -1, 87, 775, -1, 
+  7815, -1, 119, 775, -1, 87, 803, -1, 
+  7817, -1, 119, 803, -1, 88, 775, -1, 
+  7819, -1, 120, 775, -1, 88, 776, -1, 
+  7821, -1, 120, 776, -1, 89, 775, -1, 
+  7823, -1, 121, 775, -1, 90, 770, -1, 
+  7825, -1, 122, 770, -1, 90, 803, -1, 
+  7827, -1, 122, 803, -1, 90, 817, -1, 
+  7829, -1, 122, 817, -1, 104, 817, -1, 
+  116, 776, -1, 119, 778, -1, 121, 778, 
+  -1, 97, 702, -1, 383, 775, -1, 65, 
+  803, -1, 7841, -1, 97, 803, -1, 65, 
+  777, -1, 7843, -1, 97, 777, -1, 194, 
+  769, -1, 7845, -1, 226, 769, -1, 194, 
+  768, -1, 7847, -1, 226, 768, -1, 194, 
+  777, -1, 7849, -1, 226, 777, -1, 194, 
+  771, -1, 7851, -1, 226, 771, -1, 7840, 
+  770, -1, 7853, -1, 7841, 770, -1, 258, 
+  769, -1, 7855, -1, 259, 769, -1, 258, 
+  768, -1, 7857, -1, 259, 768, -1, 258, 
+  777, -1, 7859, -1, 259, 777, -1, 258, 
+  771, -1, 7861, -1, 259, 771, -1, 7840, 
+  774, -1, 7863, -1, 7841, 774, -1, 69, 
+  803, -1, 7865, -1, 101, 803, -1, 69, 
+  777, -1, 7867, -1, 101, 777, -1, 69, 
+  771, -1, 7869, -1, 101, 771, -1, 202, 
+  769, -1, 7871, -1, 234, 769, -1, 202, 
+  768, -1, 7873, -1, 234, 768, -1, 202, 
+  777, -1, 7875, -1, 234, 777, -1, 202, 
+  771, -1, 7877, -1, 234, 771, -1, 7864, 
+  770, -1, 7879, -1, 7865, 770, -1, 73, 
+  777, -1, 7881, -1, 105, 777, -1, 73, 
+  803, -1, 7883, -1, 105, 803, -1, 79, 
+  803, -1, 7885, -1, 111, 803, -1, 79, 
+  777, -1, 7887, -1, 111, 777, -1, 212, 
+  769, -1, 7889, -1, 244, 769, -1, 212, 
+  768, -1, 7891, -1, 244, 768, -1, 212, 
+  777, -1, 7893, -1, 244, 777, -1, 212, 
+  771, -1, 7895, -1, 244, 771, -1, 7884, 
+  770, -1, 7897, -1, 7885, 770, -1, 416, 
+  769, -1, 7899, -1, 417, 769, -1, 416, 
+  768, -1, 7901, -1, 417, 768, -1, 416, 
+  777, -1, 7903, -1, 417, 777, -1, 416, 
+  771, -1, 7905, -1, 417, 771, -1, 416, 
+  803, -1, 7907, -1, 417, 803, -1, 85, 
+  803, -1, 7909, -1, 117, 803, -1, 85, 
+  777, -1, 7911, -1, 117, 777, -1, 431, 
+  769, -1, 7913, -1, 432, 769, -1, 431, 
+  768, -1, 7915, -1, 432, 768, -1, 431, 
+  777, -1, 7917, -1, 432, 777, -1, 431, 
+  771, -1, 7919, -1, 432, 771, -1, 431, 
+  803, -1, 7921, -1, 432, 803, -1, 89, 
+  768, -1, 7923, -1, 121, 768, -1, 89, 
+  803, -1, 7925, -1, 121, 803, -1, 89, 
+  777, -1, 7927, -1, 121, 777, -1, 89, 
+  771, -1, 7929, -1, 121, 771, -1, 945, 
+  787, -1, 945, 788, -1, 7936, 768, -1, 
+  7937, 768, -1, 7936, 769, -1, 7937, 769, 
+  -1, 7936, 834, -1, 7937, 834, -1, 913, 
+  787, -1, 7936, -1, 913, 788, -1, 7937, 
+  -1, 7944, 768, -1, 7938, -1, 7945, 768, 
+  -1, 7939, -1, 7944, 769, -1, 7940, -1, 
+  7945, 769, -1, 7941, -1, 7944, 834, -1, 
+  7942, -1, 7945, 834, -1, 7943, -1, 949, 
+  787, -1, 949, 788, -1, 7952, 768, -1, 
+  7953, 768, -1, 7952, 769, -1, 7953, 769, 
+  -1, 917, 787, -1, 7952, -1, 917, 788, 
+  -1, 7953, -1, 7960, 768, -1, 7954, -1, 
+  7961, 768, -1, 7955, -1, 7960, 769, -1, 
+  7956, -1, 7961, 769, -1, 7957, -1, 951, 
+  787, -1, 951, 788, -1, 7968, 768, -1, 
+  7969, 768, -1, 7968, 769, -1, 7969, 769, 
+  -1, 7968, 834, -1, 7969, 834, -1, 919, 
+  787, -1, 7968, -1, 919, 788, -1, 7969, 
+  -1, 7976, 768, -1, 7970, -1, 7977, 768, 
+  -1, 7971, -1, 7976, 769, -1, 7972, -1, 
+  7977, 769, -1, 7973, -1, 7976, 834, -1, 
+  7974, -1, 7977, 834, -1, 7975, -1, 953, 
+  787, -1, 953, 788, -1, 7984, 768, -1, 
+  7985, 768, -1, 7984, 769, -1, 7985, 769, 
+  -1, 7984, 834, -1, 7985, 834, -1, 921, 
+  787, -1, 7984, -1, 921, 788, -1, 7985, 
+  -1, 7992, 768, -1, 7986, -1, 7993, 768, 
+  -1, 7987, -1, 7992, 769, -1, 7988, -1, 
+  7993, 769, -1, 7989, -1, 7992, 834, -1, 
+  7990, -1, 7993, 834, -1, 7991, -1, 959, 
+  787, -1, 959, 788, -1, 8000, 768, -1, 
+  8001, 768, -1, 8000, 769, -1, 8001, 769, 
+  -1, 927, 787, -1, 8000, -1, 927, 788, 
+  -1, 8001, -1, 8008, 768, -1, 8002, -1, 
+  8009, 768, -1, 8003, -1, 8008, 769, -1, 
+  8004, -1, 8009, 769, -1, 8005, -1, 965, 
+  787, -1, 965, 788, -1, 8016, 768, -1, 
+  965, 787, 768, -1, 8017, 768, -1, 8016, 
+  769, -1, 965, 787, 769, -1, 8017, 769, 
+  -1, 8016, 834, -1, 965, 787, 834, -1, 
+  8017, 834, -1, 933, 788, -1, 8017, -1, 
+  8025, 768, -1, 8019, -1, 8025, 769, -1, 
+  8021, -1, 8025, 834, -1, 8023, -1, 969, 
+  787, -1, 969, 788, -1, 8032, 768, -1, 
+  8033, 768, -1, 8032, 769, -1, 8033, 769, 
+  -1, 8032, 834, -1, 8033, 834, -1, 937, 
+  787, -1, 8032, -1, 937, 788, -1, 8033, 
+  -1, 8040, 768, -1, 8034, -1, 8041, 768, 
+  -1, 8035, -1, 8040, 769, -1, 8036, -1, 
+  8041, 769, -1, 8037, -1, 8040, 834, -1, 
+  8038, -1, 8041, 834, -1, 8039, -1, 945, 
+  768, -1, 949, 768, -1, 951, 768, -1, 
+  953, 768, -1, 959, 768, -1, 965, 768, 
+  -1, 969, 768, -1, 7936, 837, -1, 7936, 
+  953, -1, 7937, 837, -1, 7937, 953, -1, 
+  7938, 837, -1, 7938, 953, -1, 7939, 837, 
+  -1, 7939, 953, -1, 7940, 837, -1, 7940, 
+  953, -1, 7941, 837, -1, 7941, 953, -1, 
+  7942, 837, -1, 7942, 953, -1, 7943, 837, 
+  -1, 7943, 953, -1, 7944, 837, -1, 8064, 
+  -1, 7945, 837, -1, 8065, -1, 7946, 837, 
+  -1, 8066, -1, 7947, 837, -1, 8067, -1, 
+  7948, 837, -1, 8068, -1, 7949, 837, -1, 
+  8069, -1, 7950, 837, -1, 8070, -1, 7951, 
+  837, -1, 8071, -1, 7968, 837, -1, 7968, 
+  953, -1, 7969, 837, -1, 7969, 953, -1, 
+  7970, 837, -1, 7970, 953, -1, 7971, 837, 
+  -1, 7971, 953, -1, 7972, 837, -1, 7972, 
+  953, -1, 7973, 837, -1, 7973, 953, -1, 
+  7974, 837, -1, 7974, 953, -1, 7975, 837, 
+  -1, 7975, 953, -1, 7976, 837, -1, 8080, 
+  -1, 7977, 837, -1, 8081, -1, 7978, 837, 
+  -1, 8082, -1, 7979, 837, -1, 8083, -1, 
+  7980, 837, -1, 8084, -1, 7981, 837, -1, 
+  8085, -1, 7982, 837, -1, 8086, -1, 7983, 
+  837, -1, 8087, -1, 8032, 837, -1, 8032, 
+  953, -1, 8033, 837, -1, 8033, 953, -1, 
+  8034, 837, -1, 8034, 953, -1, 8035, 837, 
+  -1, 8035, 953, -1, 8036, 837, -1, 8036, 
+  953, -1, 8037, 837, -1, 8037, 953, -1, 
+  8038, 837, -1, 8038, 953, -1, 8039, 837, 
+  -1, 8039, 953, -1, 8040, 837, -1, 8096, 
+  -1, 8041, 837, -1, 8097, -1, 8042, 837, 
+  -1, 8098, -1, 8043, 837, -1, 8099, -1, 
+  8044, 837, -1, 8100, -1, 8045, 837, -1, 
+  8101, -1, 8046, 837, -1, 8102, -1, 8047, 
+  837, -1, 8103, -1, 945, 774, -1, 945, 
+  772, -1, 8048, 837, -1, 8048, 953, -1, 
+  945, 837, -1, 945, 953, -1, 940, 837, 
+  -1, 940, 953, -1, 945, 834, -1, 8118, 
+  837, -1, 945, 834, 953, -1, 913, 774, 
+  -1, 8112, -1, 913, 772, -1, 8113, -1, 
+  913, 768, -1, 8048, -1, 902, -1, 8049, 
+  -1, 913, 837, -1, 8115, -1, 32, 787, 
+  -1, 32, 834, -1, 168, 834, -1, 8052, 
+  837, -1, 8052, 953, -1, 951, 837, -1, 
+  951, 953, -1, 942, 837, -1, 942, 953, 
+  -1, 951, 834, -1, 8134, 837, -1, 951, 
+  834, 953, -1, 917, 768, -1, 8050, -1, 
+  904, -1, 8051, -1, 919, 768, -1, 8052, 
+  -1, 905, -1, 8053, -1, 919, 837, -1, 
+  8131, -1, 8127, 768, -1, 8127, 769, -1, 
+  8127, 834, -1, 953, 774, -1, 953, 772, 
+  -1, 970, 768, -1, 953, 776, 768, -1, 
+  912, -1, 953, 834, -1, 970, 834, -1, 
+  953, 776, 834, -1, 921, 774, -1, 8144, 
+  -1, 921, 772, -1, 8145, -1, 921, 768, 
+  -1, 8054, -1, 906, -1, 8055, -1, 8190, 
+  768, -1, 8190, 769, -1, 8190, 834, -1, 
+  965, 774, -1, 965, 772, -1, 971, 768, 
+  -1, 965, 776, 768, -1, 944, -1, 961, 
+  787, -1, 961, 788, -1, 965, 834, -1, 
+  971, 834, -1, 965, 776, 834, -1, 933, 
+  774, -1, 8160, -1, 933, 772, -1, 8161, 
+  -1, 933, 768, -1, 8058, -1, 910, -1, 
+  8059, -1, 929, 788, -1, 8165, -1, 168, 
+  768, -1, 901, -1, 96, -1, 8060, 837, 
+  -1, 8060, 953, -1, 969, 837, -1, 969, 
+  953, -1, 974, 837, -1, 974, 953, -1, 
+  969, 834, -1, 8182, 837, -1, 969, 834, 
+  953, -1, 927, 768, -1, 8056, -1, 908, 
+  -1, 8057, -1, 937, 768, -1, 8060, -1, 
+  911, -1, 8061, -1, 937, 837, -1, 8179, 
+  -1, 180, -1, 32, 788, -1, 8194, -1, 
+  8195, -1, 8208, -1, 32, 819, -1, 46, 
+  -1, 46, 46, -1, 46, 46, 46, -1, 
+  8242, 8242, -1, 8242, 8242, 8242, -1, 8245, 
+  8245, -1, 8245, 8245, 8245, -1, 33, 33, 
+  -1, 32, 773, -1, 63, 63, -1, 63, 
+  33, -1, 33, 63, -1, 8242, 8242, 8242, 
+  8242, -1, 48, -1, 52, -1, 53, -1, 
+  54, -1, 55, -1, 56, -1, 57, -1, 
+  43, -1, 8722, -1, 61, -1, 40, -1, 
+  41, -1, 82, 115, -1, 97, 47, 99, 
+  -1, 97, 47, 115, -1, 67, -1, 176, 
+  67, -1, 99, 47, 111, -1, 99, 47, 
+  117, -1, 400, -1, 176, 70, -1, 78, 
+  111, -1, 81, -1, 83, 77, -1, 84, 
+  69, 76, -1, 84, 77, -1, 90, -1, 
+  937, -1, 197, -1, 70, -1, 8526, -1, 
+  1488, -1, 1489, -1, 1490, -1, 1491, -1, 
+  70, 65, 88, -1, 915, -1, 928, -1, 
+  8721, -1, 49, 8260, 51, -1, 50, 8260, 
+  51, -1, 49, 8260, 53, -1, 50, 8260, 
+  53, -1, 51, 8260, 53, -1, 52, 8260, 
+  53, -1, 49, 8260, 54, -1, 53, 8260, 
+  54, -1, 49, 8260, 56, -1, 51, 8260, 
+  56, -1, 53, 8260, 56, -1, 55, 8260, 
+  56, -1, 49, 8260, -1, 8560, -1, 73, 
+  73, -1, 8561, -1, 73, 73, 73, -1, 
+  8562, -1, 73, 86, -1, 8563, -1, 86, 
+  -1, 8564, -1, 86, 73, -1, 8565, -1, 
+  86, 73, 73, -1, 8566, -1, 86, 73, 
+  73, 73, -1, 8567, -1, 73, 88, -1, 
+  8568, -1, 88, -1, 8569, -1, 88, 73, 
+  -1, 8570, -1, 88, 73, 73, -1, 8571, 
+  -1, 8572, -1, 8573, -1, 8574, -1, 8575, 
+  -1, 105, 105, -1, 105, 105, 105, -1, 
+  105, 118, -1, 118, 105, -1, 118, 105, 
+  105, -1, 118, 105, 105, 105, -1, 105, 
+  120, -1, 120, 105, -1, 120, 105, 105, 
+  -1, 8580, -1, 8592, 824, -1, 8594, 824, 
+  -1, 8596, 824, -1, 8656, 824, -1, 8660, 
+  824, -1, 8658, 824, -1, 8707, 824, -1, 
+  8712, 824, -1, 8715, 824, -1, 8739, 824, 
+  -1, 8741, 824, -1, 8747, 8747, -1, 8747, 
+  8747, 8747, -1, 8750, 8750, -1, 8750, 8750, 
+  8750, -1, 8764, 824, -1, 8771, 824, -1, 
+  8773, 824, -1, 8776, 824, -1, 61, 824, 
+  -1, 8801, 824, -1, 8781, 824, -1, 60, 
+  824, -1, 62, 824, -1, 8804, 824, -1, 
+  8805, 824, -1, 8818, 824, -1, 8819, 824, 
+  -1, 8822, 824, -1, 8823, 824, -1, 8826, 
+  824, -1, 8827, 824, -1, 8834, 824, -1, 
+  8835, 824, -1, 8838, 824, -1, 8839, 824, 
+  -1, 8866, 824, -1, 8872, 824, -1, 8873, 
+  824, -1, 8875, 824, -1, 8828, 824, -1, 
+  8829, 824, -1, 8849, 824, -1, 8850, 824, 
+  -1, 8882, 824, -1, 8883, 824, -1, 8884, 
+  824, -1, 8885, 824, -1, 12296, -1, 12297, 
+  -1, 49, 48, -1, 49, 49, -1, 49, 
+  50, -1, 49, 51, -1, 49, 52, -1, 
+  49, 53, -1, 49, 54, -1, 49, 55, 
+  -1, 49, 56, -1, 49, 57, -1, 50, 
+  48, -1, 40, 49, 41, -1, 40, 50, 
+  41, -1, 40, 51, 41, -1, 40, 52, 
+  41, -1, 40, 53, 41, -1, 40, 54, 
+  41, -1, 40, 55, 41, -1, 40, 56, 
+  41, -1, 40, 57, 41, -1, 40, 49, 
+  48, 41, -1, 40, 49, 49, 41, -1, 
+  40, 49, 50, 41, -1, 40, 49, 51, 
+  41, -1, 40, 49, 52, 41, -1, 40, 
+  49, 53, 41, -1, 40, 49, 54, 41, 
+  -1, 40, 49, 55, 41, -1, 40, 49, 
+  56, 41, -1, 40, 49, 57, 41, -1, 
+  40, 50, 48, 41, -1, 49, 46, -1, 
+  50, 46, -1, 51, 46, -1, 52, 46, 
+  -1, 53, 46, -1, 54, 46, -1, 55, 
+  46, -1, 56, 46, -1, 57, 46, -1, 
+  49, 48, 46, -1, 49, 49, 46, -1, 
+  49, 50, 46, -1, 49, 51, 46, -1, 
+  49, 52, 46, -1, 49, 53, 46, -1, 
+  49, 54, 46, -1, 49, 55, 46, -1, 
+  49, 56, 46, -1, 49, 57, 46, -1, 
+  50, 48, 46, -1, 40, 97, 41, -1, 
+  40, 98, 41, -1, 40, 99, 41, -1, 
+  40, 100, 41, -1, 40, 101, 41, -1, 
+  40, 102, 41, -1, 40, 103, 41, -1, 
+  40, 104, 41, -1, 40, 105, 41, -1, 
+  40, 106, 41, -1, 40, 107, 41, -1, 
+  40, 108, 41, -1, 40, 109, 41, -1, 
+  40, 110, 41, -1, 40, 111, 41, -1, 
+  40, 112, 41, -1, 40, 113, 41, -1, 
+  40, 114, 41, -1, 40, 115, 41, -1, 
+  40, 116, 41, -1, 40, 117, 41, -1, 
+  40, 118, 41, -1, 40, 119, 41, -1, 
+  40, 120, 41, -1, 40, 121, 41, -1, 
+  40, 122, 41, -1, 9424, -1, 9425, -1, 
+  9426, -1, 9427, -1, 9428, -1, 9429, -1, 
+  9430, -1, 9431, -1, 9432, -1, 9433, -1, 
+  9434, -1, 9435, -1, 9436, -1, 9437, -1, 
+  9438, -1, 9439, -1, 9440, -1, 9441, -1, 
+  83, -1, 9442, -1, 9443, -1, 9444, -1, 
+  9445, -1, 9446, -1, 9447, -1, 89, -1, 
+  9448, -1, 9449, -1, 8747, 8747, 8747, 8747, 
+  -1, 58, 58, 61, -1, 61, 61, -1, 
+  61, 61, 61, -1, 10973, 824, -1, 11312, 
+  -1, 11313, -1, 11314, -1, 11315, -1, 11316, 
+  -1, 11317, -1, 11318, -1, 11319, -1, 11320, 
+  -1, 11321, -1, 11322, -1, 11323, -1, 11324, 
+  -1, 11325, -1, 11326, -1, 11327, -1, 11328, 
+  -1, 11329, -1, 11330, -1, 11331, -1, 11332, 
+  -1, 11333, -1, 11334, -1, 11335, -1, 11336, 
+  -1, 11337, -1, 11338, -1, 11339, -1, 11340, 
+  -1, 11341, -1, 11342, -1, 11343, -1, 11344, 
+  -1, 11345, -1, 11346, -1, 11347, -1, 11348, 
+  -1, 11349, -1, 11350, -1, 11351, -1, 11352, 
+  -1, 11353, -1, 11354, -1, 11355, -1, 11356, 
+  -1, 11357, -1, 11358, -1, 11361, -1, 619, 
+  -1, 7549, -1, 637, -1, 11368, -1, 11370, 
+  -1, 11372, -1, 11382, -1, 11393, -1, 11395, 
+  -1, 11397, -1, 11399, -1, 11401, -1, 11403, 
+  -1, 11405, -1, 11407, -1, 11409, -1, 11411, 
+  -1, 11413, -1, 11415, -1, 11417, -1, 11419, 
+  -1, 11421, -1, 11423, -1, 11425, -1, 11427, 
+  -1, 11429, -1, 11431, -1, 11433, -1, 11435, 
+  -1, 11437, -1, 11439, -1, 11441, -1, 11443, 
+  -1, 11445, -1, 11447, -1, 11449, -1, 11451, 
+  -1, 11453, -1, 11455, -1, 11457, -1, 11459, 
+  -1, 11461, -1, 11463, -1, 11465, -1, 11467, 
+  -1, 11469, -1, 11471, -1, 11473, -1, 11475, 
+  -1, 11477, -1, 11479, -1, 11481, -1, 11483, 
+  -1, 11485, -1, 11487, -1, 11489, -1, 11491, 
+  -1, 11617, -1, 27597, -1, 40863, -1, 19968, 
+  -1, 20008, -1, 20022, -1, 20031, -1, 20057, 
+  -1, 20101, -1, 20108, -1, 20128, -1, 20154, 
+  -1, 20799, -1, 20837, -1, 20843, -1, 20866, 
+  -1, 20886, -1, 20907, -1, 20960, -1, 20981, 
+  -1, 20992, -1, 21147, -1, 21241, -1, 21269, 
+  -1, 21274, -1, 21304, -1, 21313, -1, 21340, 
+  -1, 21353, -1, 21378, -1, 21430, -1, 21448, 
+  -1, 21475, -1, 22231, -1, 22303, -1, 22763, 
+  -1, 22786, -1, 22794, -1, 22805, -1, 22823, 
+  -1, 22899, -1, 23376, -1, 23424, -1, 23544, 
+  -1, 23567, -1, 23586, -1, 23608, -1, 23662, 
+  -1, 23665, -1, 24027, -1, 24037, -1, 24049, 
+  -1, 24062, -1, 24178, -1, 24186, -1, 24191, 
+  -1, 24308, -1, 24318, -1, 24331, -1, 24339, 
+  -1, 24400, -1, 24417, -1, 24435, -1, 24515, 
+  -1, 25096, -1, 25142, -1, 25163, -1, 25903, 
+  -1, 25908, -1, 25991, -1, 26007, -1, 26020, 
+  -1, 26041, -1, 26080, -1, 26085, -1, 26352, 
+  -1, 26376, -1, 26408, -1, 27424, -1, 27490, 
+  -1, 27513, -1, 27571, -1, 27595, -1, 27604, 
+  -1, 27611, -1, 27663, -1, 27668, -1, 27700, 
+  -1, 28779, -1, 29226, -1, 29238, -1, 29243, 
+  -1, 29247, -1, 29255, -1, 29273, -1, 29275, 
+  -1, 29356, -1, 29572, -1, 29577, -1, 29916, 
+  -1, 29926, -1, 29976, -1, 29983, -1, 29992, 
+  -1, 30000, -1, 30091, -1, 30098, -1, 30326, 
+  -1, 30333, -1, 30382, -1, 30399, -1, 30446, 
+  -1, 30683, -1, 30690, -1, 30707, -1, 31034, 
+  -1, 31160, -1, 31166, -1, 31348, -1, 31435, 
+  -1, 31481, -1, 31859, -1, 31992, -1, 32566, 
+  -1, 32593, -1, 32650, -1, 32701, -1, 32769, 
+  -1, 32780, -1, 32786, -1, 32819, -1, 32895, 
+  -1, 32905, -1, 33251, -1, 33258, -1, 33267, 
+  -1, 33276, -1, 33292, -1, 33307, -1, 33311, 
+  -1, 33390, -1, 33394, -1, 33400, -1, 34381, 
+  -1, 34411, -1, 34880, -1, 34892, -1, 34915, 
+  -1, 35198, -1, 35211, -1, 35282, -1, 35328, 
+  -1, 35895, -1, 35910, -1, 35925, -1, 35960, 
+  -1, 35997, -1, 36196, -1, 36208, -1, 36275, 
+  -1, 36523, -1, 36554, -1, 36763, -1, 36784, 
+  -1, 36789, -1, 37009, -1, 37193, -1, 37318, 
+  -1, 37324, -1, 37329, -1, 38263, -1, 38272, 
+  -1, 38428, -1, 38582, -1, 38585, -1, 38632, 
+  -1, 38737, -1, 38750, -1, 38754, -1, 38761, 
+  -1, 38859, -1, 38893, -1, 38899, -1, 38913, 
+  -1, 39080, -1, 39131, -1, 39135, -1, 39318, 
+  -1, 39321, -1, 39340, -1, 39592, -1, 39640, 
+  -1, 39647, -1, 39717, -1, 39727, -1, 39730, 
+  -1, 39740, -1, 39770, -1, 40165, -1, 40565, 
+  -1, 40575, -1, 40613, -1, 40635, -1, 40643, 
+  -1, 40653, -1, 40657, -1, 40697, -1, 40701, 
+  -1, 40718, -1, 40723, -1, 40736, -1, 40763, 
+  -1, 40778, -1, 40786, -1, 40845, -1, 40860, 
+  -1, 40864, -1, 12306, -1, 21316, -1, 21317, 
+  -1, 12363, 12441, -1, 12365, 12441, -1, 12367, 
+  12441, -1, 12369, 12441, -1, 12371, 12441, -1, 
+  12373, 12441, -1, 12375, 12441, -1, 12377, 12441, 
+  -1, 12379, 12441, -1, 12381, 12441, -1, 12383, 
+  12441, -1, 12385, 12441, -1, 12388, 12441, -1, 
+  12390, 12441, -1, 12392, 12441, -1, 12399, 12441, 
+  -1, 12399, 12442, -1, 12402, 12441, -1, 12402, 
+  12442, -1, 12405, 12441, -1, 12405, 12442, -1, 
+  12408, 12441, -1, 12408, 12442, -1, 12411, 12441, 
+  -1, 12411, 12442, -1, 12358, 12441, -1, 32, 
+  12441, -1, 32, 12442, -1, 12445, 12441, -1, 
+  12424, 12426, -1, 12459, 12441, -1, 12461, 12441, 
+  -1, 12463, 12441, -1, 12465, 12441, -1, 12467, 
+  12441, -1, 12469, 12441, -1, 12471, 12441, -1, 
+  12473, 12441, -1, 12475, 12441, -1, 12477, 12441, 
+  -1, 12479, 12441, -1, 12481, 12441, -1, 12484, 
+  12441, -1, 12486, 12441, -1, 12488, 12441, -1, 
+  12495, 12441, -1, 12495, 12442, -1, 12498, 12441, 
+  -1, 12498, 12442, -1, 12501, 12441, -1, 12501, 
+  12442, -1, 12504, 12441, -1, 12504, 12442, -1, 
+  12507, 12441, -1, 12507, 12442, -1, 12454, 12441, 
+  -1, 12527, 12441, -1, 12528, 12441, -1, 12529, 
+  12441, -1, 12530, 12441, -1, 12541, 12441, -1, 
+  12467, 12488, -1, 4352, -1, 4353, -1, 4522, 
+  -1, 4354, -1, 4524, -1, 4525, -1, 4355, 
+  -1, 4356, -1, 4357, -1, 4528, -1, 4529, 
+  -1, 4530, -1, 4531, -1, 4532, -1, 4533, 
+  -1, 4378, -1, 4358, -1, 4359, -1, 4360, 
+  -1, 4385, -1, 4361, -1, 4362, -1, 4363, 
+  -1, 4364, -1, 4365, -1, 4366, -1, 4367, 
+  -1, 4368, -1, 4369, -1, 4370, -1, 4449, 
+  -1, 4450, -1, 4451, -1, 4452, -1, 4453, 
+  -1, 4454, -1, 4455, -1, 4456, -1, 4457, 
+  -1, 4458, -1, 4459, -1, 4460, -1, 4461, 
+  -1, 4462, -1, 4463, -1, 4464, -1, 4465, 
+  -1, 4466, -1, 4467, -1, 4468, -1, 4469, 
+  -1, 4448, -1, 4372, -1, 4373, -1, 4551, 
+  -1, 4552, -1, 4556, -1, 4558, -1, 4563, 
+  -1, 4567, -1, 4569, -1, 4380, -1, 4573, 
+  -1, 4575, -1, 4381, -1, 4382, -1, 4384, 
+  -1, 4386, -1, 4387, -1, 4391, -1, 4393, 
+  -1, 4395, -1, 4396, -1, 4397, -1, 4398, 
+  -1, 4399, -1, 4402, -1, 4406, -1, 4416, 
+  -1, 4423, -1, 4428, -1, 4593, -1, 4594, 
+  -1, 4439, -1, 4440, -1, 4441, -1, 4484, 
+  -1, 4485, -1, 4488, -1, 4497, -1, 4498, 
+  -1, 4500, -1, 4510, -1, 4513, -1, 19977, 
+  -1, 22235, -1, 19978, -1, 20013, -1, 19979, 
+  -1, 30002, -1, 19993, -1, 19969, -1, 22825, 
+  -1, 22320, -1, 40, 4352, 41, -1, 40, 
+  4354, 41, -1, 40, 4355, 41, -1, 40, 
+  4357, 41, -1, 40, 4358, 41, -1, 40, 
+  4359, 41, -1, 40, 4361, 41, -1, 40, 
+  4363, 41, -1, 40, 4364, 41, -1, 40, 
+  4366, 41, -1, 40, 4367, 41, -1, 40, 
+  4368, 41, -1, 40, 4369, 41, -1, 40, 
+  4370, 41, -1, 40, 4352, 4449, 41, -1, 
+  40, 4354, 4449, 41, -1, 40, 4355, 4449, 
+  41, -1, 40, 4357, 4449, 41, -1, 40, 
+  4358, 4449, 41, -1, 40, 4359, 4449, 41, 
+  -1, 40, 4361, 4449, 41, -1, 40, 4363, 
+  4449, 41, -1, 40, 4364, 4449, 41, -1, 
+  40, 4366, 4449, 41, -1, 40, 4367, 4449, 
+  41, -1, 40, 4368, 4449, 41, -1, 40, 
+  4369, 4449, 41, -1, 40, 4370, 4449, 41, 
+  -1, 40, 4364, 4462, 41, -1, 40, 4363, 
+  4457, 4364, 4453, 4523, 41, -1, 40, 4363, 
+  4457, 4370, 4462, 41, -1, 40, 19968, 41, 
+  -1, 40, 20108, 41, -1, 40, 19977, 41, 
+  -1, 40, 22235, 41, -1, 40, 20116, 41, 
+  -1, 40, 20845, 41, -1, 40, 19971, 41, 
+  -1, 40, 20843, 41, -1, 40, 20061, 41, 
+  -1, 40, 21313, 41, -1, 40, 26376, 41, 
+  -1, 40, 28779, 41, -1, 40, 27700, 41, 
+  -1, 40, 26408, 41, -1, 40, 37329, 41, 
+  -1, 40, 22303, 41, -1, 40, 26085, 41, 
+  -1, 40, 26666, 41, -1, 40, 26377, 41, 
+  -1, 40, 31038, 41, -1, 40, 21517, 41, 
+  -1, 40, 29305, 41, -1, 40, 36001, 41, 
+  -1, 40, 31069, 41, -1, 40, 21172, 41, 
+  -1, 40, 20195, 41, -1, 40, 21628, 41, 
+  -1, 40, 23398, 41, -1, 40, 30435, 41, 
+  -1, 40, 20225, 41, -1, 40, 36039, 41, 
+  -1, 40, 21332, 41, -1, 40, 31085, 41, 
+  -1, 40, 20241, 41, -1, 40, 33258, 41, 
+  -1, 40, 33267, 41, -1, 80, 84, 69, 
+  -1, 50, 49, -1, 50, 50, -1, 50, 
+  51, -1, 50, 52, -1, 50, 53, -1, 
+  50, 54, -1, 50, 55, -1, 50, 56, 
+  -1, 50, 57, -1, 51, 48, -1, 51, 
+  49, -1, 51, 50, -1, 51, 51, -1, 
+  51, 52, -1, 51, 53, -1, 4352, 4449, 
+  -1, 4354, 4449, -1, 4355, 4449, -1, 4357, 
+  4449, -1, 4358, 4449, -1, 4359, 4449, -1, 
+  4361, 4449, -1, 4363, 4449, -1, 4364, 4449, 
+  -1, 4366, 4449, -1, 4367, 4449, -1, 4368, 
+  4449, -1, 4369, 4449, -1, 4370, 4449, -1, 
+  4366, 4449, 4535, 4352, 4457, -1, 4364, 4462, 
+  4363, 4468, -1, 4363, 4462, -1, 20116, -1, 
+  20845, -1, 19971, -1, 20061, -1, 26666, -1, 
+  26377, -1, 31038, -1, 21517, -1, 29305, -1, 
+  36001, -1, 31069, -1, 21172, -1, 31192, -1, 
+  30007, -1, 36969, -1, 20778, -1, 21360, -1, 
+  27880, -1, 38917, -1, 20241, -1, 20889, -1, 
+  27491, -1, 24038, -1, 21491, -1, 21307, -1, 
+  23447, -1, 23398, -1, 30435, -1, 20225, -1, 
+  36039, -1, 21332, -1, 22812, -1, 51, 54, 
+  -1, 51, 55, -1, 51, 56, -1, 51, 
+  57, -1, 52, 48, -1, 52, 49, -1, 
+  52, 50, -1, 52, 51, -1, 52, 52, 
+  -1, 52, 53, -1, 52, 54, -1, 52, 
+  55, -1, 52, 56, -1, 52, 57, -1, 
+  53, 48, -1, 49, 26376, -1, 50, 26376, 
+  -1, 51, 26376, -1, 52, 26376, -1, 53, 
+  26376, -1, 54, 26376, -1, 55, 26376, -1, 
+  56, 26376, -1, 57, 26376, -1, 49, 48, 
+  26376, -1, 49, 49, 26376, -1, 49, 50, 
+  26376, -1, 72, 103, -1, 101, 114, 103, 
+  -1, 101, 86, -1, 76, 84, 68, -1, 
+  12450, -1, 12452, -1, 12454, -1, 12456, -1, 
+  12458, -1, 12459, -1, 12461, -1, 12463, -1, 
+  12465, -1, 12467, -1, 12469, -1, 12471, -1, 
+  12473, -1, 12475, -1, 12477, -1, 12479, -1, 
+  12481, -1, 12484, -1, 12486, -1, 12488, -1, 
+  12490, -1, 12491, -1, 12492, -1, 12493, -1, 
+  12494, -1, 12495, -1, 12498, -1, 12501, -1, 
+  12504, -1, 12507, -1, 12510, -1, 12511, -1, 
+  12512, -1, 12513, -1, 12514, -1, 12516, -1, 
+  12518, -1, 12520, -1, 12521, -1, 12522, -1, 
+  12523, -1, 12524, -1, 12525, -1, 12527, -1, 
+  12528, -1, 12529, -1, 12530, -1, 12450, 12497, 
+  12540, 12488, -1, 12450, 12523, 12501, 12449, -1, 
+  12450, 12531, 12506, 12450, -1, 12450, 12540, 12523, 
+  -1, 12452, 12491, 12531, 12464, -1, 12452, 12531, 
+  12481, -1, 12454, 12457, 12531, -1, 12456, 12473, 
+  12463, 12540, 12489, -1, 12456, 12540, 12459, 12540, 
+  -1, 12458, 12531, 12473, -1, 12458, 12540, 12512, 
+  -1, 12459, 12452, 12522, -1, 12459, 12521, 12483, 
+  12488, -1, 12459, 12525, 12522, 12540, -1, 12460, 
+  12525, 12531, -1, 12460, 12531, 12510, -1, 12462, 
+  12460, -1, 12462, 12491, 12540, -1, 12461, 12517, 
+  12522, 12540, -1, 12462, 12523, 12480, 12540, -1, 
+  12461, 12525, -1, 12461, 12525, 12464, 12521, 12512, 
+  -1, 12461, 12525, 12513, 12540, 12488, 12523, -1, 
+  12461, 12525, 12527, 12483, 12488, -1, 12464, 12521, 
+  12512, -1, 12464, 12521, 12512, 12488, 12531, -1, 
+  12463, 12523, 12476, 12452, 12525, -1, 12463, 12525, 
+  12540, 12493, -1, 12465, 12540, 12473, -1, 12467, 
+  12523, 12490, -1, 12467, 12540, 12509, -1, 12469, 
+  12452, 12463, 12523, -1, 12469, 12531, 12481, 12540, 
+  12512, -1, 12471, 12522, 12531, 12464, -1, 12475, 
+  12531, 12481, -1, 12475, 12531, 12488, -1, 12480, 
+  12540, 12473, -1, 12487, 12471, -1, 12489, 12523, 
+  -1, 12488, 12531, -1, 12490, 12494, -1, 12494, 
+  12483, 12488, -1, 12495, 12452, 12484, -1, 12497, 
+  12540, 12475, 12531, 12488, -1, 12497, 12540, 12484, 
+  -1, 12496, 12540, 12524, 12523, -1, 12500, 12450, 
+  12473, 12488, 12523, -1, 12500, 12463, 12523, -1, 
+  12500, 12467, -1, 12499, 12523, -1, 12501, 12449, 
+  12521, 12483, 12489, -1, 12501, 12451, 12540, 12488, 
+  -1, 12502, 12483, 12471, 12455, 12523, -1, 12501, 
+  12521, 12531, -1, 12504, 12463, 12479, 12540, 12523, 
+  -1, 12506, 12477, -1, 12506, 12491, 12498, -1, 
+  12504, 12523, 12484, -1, 12506, 12531, 12473, -1, 
+  12506, 12540, 12472, -1, 12505, 12540, 12479, -1, 
+  12509, 12452, 12531, 12488, -1, 12508, 12523, 12488, 
+  -1, 12507, 12531, -1, 12509, 12531, 12489, -1, 
+  12507, 12540, 12523, -1, 12507, 12540, 12531, -1, 
+  12510, 12452, 12463, 12525, -1, 12510, 12452, 12523, 
+  -1, 12510, 12483, 12495, -1, 12510, 12523, 12463, 
+  -1, 12510, 12531, 12471, 12519, 12531, -1, 12511, 
+  12463, 12525, 12531, -1, 12511, 12522, -1, 12511, 
+  12522, 12496, 12540, 12523, -1, 12513, 12460, -1, 
+  12513, 12460, 12488, 12531, -1, 12513, 12540, 12488, 
+  12523, -1, 12516, 12540, 12489, -1, 12516, 12540, 
+  12523, -1, 12518, 12450, 12531, -1, 12522, 12483, 
+  12488, 12523, -1, 12522, 12521, -1, 12523, 12500, 
+  12540, -1, 12523, 12540, 12502, 12523, -1, 12524, 
+  12512, -1, 12524, 12531, 12488, 12466, 12531, -1, 
+  12527, 12483, 12488, -1, 48, 28857, -1, 49, 
+  28857, -1, 50, 28857, -1, 51, 28857, -1, 
+  52, 28857, -1, 53, 28857, -1, 54, 28857, 
+  -1, 55, 28857, -1, 56, 28857, -1, 57, 
+  28857, -1, 49, 48, 28857, -1, 49, 49, 
+  28857, -1, 49, 50, 28857, -1, 49, 51, 
+  28857, -1, 49, 52, 28857, -1, 49, 53, 
+  28857, -1, 49, 54, 28857, -1, 49, 55, 
+  28857, -1, 49, 56, 28857, -1, 49, 57, 
+  28857, -1, 50, 48, 28857, -1, 50, 49, 
+  28857, -1, 50, 50, 28857, -1, 50, 51, 
+  28857, -1, 50, 52, 28857, -1, 104, 80, 
+  97, -1, 100, 97, -1, 65, 85, -1, 
+  98, 97, 114, -1, 111, 86, -1, 112, 
+  99, -1, 100, 109, -1, 100, 109, 178, 
+  -1, 100, 109, 179, -1, 73, 85, -1, 
+  24179, 25104, -1, 26157, 21644, -1, 22823, 27491, 
+  -1, 26126, 27835, -1, 26666, 24335, 20250, 31038, 
+  -1, 112, 65, -1, 110, 65, -1, 956, 
+  65, -1, 109, 65, -1, 107, 65, -1, 
+  75, 66, -1, 77, 66, -1, 71, 66, 
+  -1, 99, 97, 108, -1, 107, 99, 97, 
+  108, -1, 112, 70, -1, 110, 70, -1, 
+  956, 70, -1, 956, 103, -1, 109, 103, 
+  -1, 107, 103, -1, 72, 122, -1, 107, 
+  72, 122, -1, 77, 72, 122, -1, 71, 
+  72, 122, -1, 84, 72, 122, -1, 956, 
+  8467, -1, 109, 8467, -1, 100, 8467, -1, 
+  107, 8467, -1, 102, 109, -1, 110, 109, 
+  -1, 956, 109, -1, 109, 109, -1, 99, 
+  109, -1, 107, 109, -1, 109, 109, 178, 
+  -1, 99, 109, 178, -1, 109, 178, -1, 
+  107, 109, 178, -1, 109, 109, 179, -1, 
+  99, 109, 179, -1, 109, 179, -1, 107, 
+  109, 179, -1, 109, 8725, 115, -1, 109, 
+  8725, 115, 178, -1, 80, 97, -1, 107, 
+  80, 97, -1, 77, 80, 97, -1, 71, 
+  80, 97, -1, 114, 97, 100, -1, 114, 
+  97, 100, 8725, 115, -1, 114, 97, 100, 
+  8725, 115, 178, -1, 112, 115, -1, 110, 
+  115, -1, 956, 115, -1, 109, 115, -1, 
+  112, 86, -1, 110, 86, -1, 956, 86, 
+  -1, 109, 86, -1, 107, 86, -1, 77, 
+  86, -1, 112, 87, -1, 110, 87, -1, 
+  956, 87, -1, 109, 87, -1, 107, 87, 
+  -1, 77, 87, -1, 107, 937, -1, 77, 
+  937, -1, 97, 46, 109, 46, -1, 66, 
+  113, -1, 99, 99, -1, 99, 100, -1, 
+  67, 8725, 107, 103, -1, 67, 111, 46, 
+  -1, 100, 66, -1, 71, 121, -1, 104, 
+  97, -1, 72, 80, -1, 105, 110, -1, 
+  75, 75, -1, 75, 77, -1, 107, 116, 
+  -1, 108, 109, -1, 108, 110, -1, 108, 
+  111, 103, -1, 108, 120, -1, 109, 98, 
+  -1, 109, 105, 108, -1, 109, 111, 108, 
+  -1, 80, 72, -1, 112, 46, 109, 46, 
+  -1, 80, 80, 77, -1, 80, 82, -1, 
+  115, 114, -1, 83, 118, -1, 87, 98, 
+  -1, 86, 8725, 109, -1, 65, 8725, 109, 
+  -1, 49, 26085, -1, 50, 26085, -1, 51, 
+  26085, -1, 52, 26085, -1, 53, 26085, -1, 
+  54, 26085, -1, 55, 26085, -1, 56, 26085, 
+  -1, 57, 26085, -1, 49, 48, 26085, -1, 
+  49, 49, 26085, -1, 49, 50, 26085, -1, 
+  49, 51, 26085, -1, 49, 52, 26085, -1, 
+  49, 53, 26085, -1, 49, 54, 26085, -1, 
+  49, 55, 26085, -1, 49, 56, 26085, -1, 
+  49, 57, 26085, -1, 50, 48, 26085, -1, 
+  50, 49, 26085, -1, 50, 50, 26085, -1, 
+  50, 51, 26085, -1, 50, 52, 26085, -1, 
+  50, 53, 26085, -1, 50, 54, 26085, -1, 
+  50, 55, 26085, -1, 50, 56, 26085, -1, 
+  50, 57, 26085, -1, 51, 48, 26085, -1, 
+  51, 49, 26085, -1, 103, 97, 108, -1, 
+  35912, -1, 26356, -1, 36040, -1, 28369, -1, 
+  20018, -1, 21477, -1, 22865, -1, 21895, -1, 
+  22856, -1, 25078, -1, 30313, -1, 32645, -1, 
+  34367, -1, 34746, -1, 35064, -1, 37007, -1, 
+  27138, -1, 27931, -1, 28889, -1, 29662, -1, 
+  33853, -1, 37226, -1, 39409, -1, 20098, -1, 
+  21365, -1, 27396, -1, 29211, -1, 34349, -1, 
+  40478, -1, 23888, -1, 28651, -1, 34253, -1, 
+  35172, -1, 25289, -1, 33240, -1, 34847, -1, 
+  24266, -1, 26391, -1, 28010, -1, 29436, -1, 
+  37070, -1, 20358, -1, 20919, -1, 21214, -1, 
+  25796, -1, 27347, -1, 29200, -1, 30439, -1, 
+  34310, -1, 34396, -1, 36335, -1, 38706, -1, 
+  39791, -1, 40442, -1, 30860, -1, 31103, -1, 
+  32160, -1, 33737, -1, 37636, -1, 35542, -1, 
+  22751, -1, 24324, -1, 31840, -1, 32894, -1, 
+  29282, -1, 30922, -1, 36034, -1, 38647, -1, 
+  22744, -1, 23650, -1, 27155, -1, 28122, -1, 
+  28431, -1, 32047, -1, 32311, -1, 38475, -1, 
+  21202, -1, 32907, -1, 20956, -1, 20940, -1, 
+  31260, -1, 32190, -1, 33777, -1, 38517, -1, 
+  35712, -1, 25295, -1, 35582, -1, 20025, -1, 
+  23527, -1, 24594, -1, 29575, -1, 30064, -1, 
+  21271, -1, 30971, -1, 20415, -1, 24489, -1, 
+  19981, -1, 27852, -1, 25976, -1, 32034, -1, 
+  21443, -1, 22622, -1, 30465, -1, 33865, -1, 
+  35498, -1, 27578, -1, 27784, -1, 25342, -1, 
+  33509, -1, 25504, -1, 30053, -1, 20142, -1, 
+  20841, -1, 20937, -1, 26753, -1, 31975, -1, 
+  33391, -1, 35538, -1, 37327, -1, 21237, -1, 
+  21570, -1, 24300, -1, 26053, -1, 28670, -1, 
+  31018, -1, 38317, -1, 39530, -1, 40599, -1, 
+  40654, -1, 26310, -1, 27511, -1, 36706, -1, 
+  24180, -1, 24976, -1, 25088, -1, 25754, -1, 
+  28451, -1, 29001, -1, 29833, -1, 31178, -1, 
+  32244, -1, 32879, -1, 36646, -1, 34030, -1, 
+  36899, -1, 37706, -1, 21015, -1, 21155, -1, 
+  21693, -1, 28872, -1, 35010, -1, 24265, -1, 
+  24565, -1, 25467, -1, 27566, -1, 31806, -1, 
+  29557, -1, 20196, -1, 22265, -1, 23994, -1, 
+  24604, -1, 29618, -1, 29801, -1, 32666, -1, 
+  32838, -1, 37428, -1, 38646, -1, 38728, -1, 
+  38936, -1, 20363, -1, 31150, -1, 37300, -1, 
+  38584, -1, 24801, -1, 20102, -1, 20698, -1, 
+  23534, -1, 23615, -1, 26009, -1, 29134, -1, 
+  30274, -1, 34044, -1, 36988, -1, 26248, -1, 
+  38446, -1, 21129, -1, 26491, -1, 26611, -1, 
+  27969, -1, 28316, -1, 29705, -1, 30041, -1, 
+  30827, -1, 32016, -1, 39006, -1, 25134, -1, 
+  38520, -1, 20523, -1, 23833, -1, 28138, -1, 
+  36650, -1, 24459, -1, 24900, -1, 26647, -1, 
+  38534, -1, 21033, -1, 21519, -1, 23653, -1, 
+  26131, -1, 26446, -1, 26792, -1, 27877, -1, 
+  29702, -1, 30178, -1, 32633, -1, 35023, -1, 
+  35041, -1, 38626, -1, 21311, -1, 28346, -1, 
+  21533, -1, 29136, -1, 29848, -1, 34298, -1, 
+  38563, -1, 40023, -1, 40607, -1, 26519, -1, 
+  28107, -1, 33256, -1, 31520, -1, 31890, -1, 
+  29376, -1, 28825, -1, 35672, -1, 20160, -1, 
+  33590, -1, 21050, -1, 20999, -1, 24230, -1, 
+  25299, -1, 31958, -1, 23429, -1, 27934, -1, 
+  26292, -1, 36667, -1, 38477, -1, 24275, -1, 
+  20800, -1, 21952, -1, 22618, -1, 26228, -1, 
+  20958, -1, 29482, -1, 30410, -1, 31036, -1, 
+  31070, -1, 31077, -1, 31119, -1, 38742, -1, 
+  31934, -1, 34322, -1, 35576, -1, 36920, -1, 
+  37117, -1, 39151, -1, 39164, -1, 39208, -1, 
+  40372, -1, 20398, -1, 20711, -1, 20813, -1, 
+  21193, -1, 21220, -1, 21329, -1, 21917, -1, 
+  22022, -1, 22120, -1, 22592, -1, 22696, -1, 
+  23652, -1, 24724, -1, 24936, -1, 24974, -1, 
+  25074, -1, 25935, -1, 26082, -1, 26257, -1, 
+  26757, -1, 28023, -1, 28186, -1, 28450, -1, 
+  29038, -1, 29227, -1, 29730, -1, 30865, -1, 
+  31049, -1, 31048, -1, 31056, -1, 31062, -1, 
+  31117, -1, 31118, -1, 31296, -1, 31361, -1, 
+  31680, -1, 32265, -1, 32321, -1, 32626, -1, 
+  32773, -1, 33261, -1, 33401, -1, 33879, -1, 
+  35088, -1, 35222, -1, 35585, -1, 35641, -1, 
+  36051, -1, 36104, -1, 36790, -1, 38627, -1, 
+  38911, -1, 38971, -1, 20006, -1, 20917, -1, 
+  20840, -1, 20352, -1, 20805, -1, 20864, -1, 
+  21191, -1, 21242, -1, 21845, -1, 21913, -1, 
+  21986, -1, 22707, -1, 22852, -1, 22868, -1, 
+  23138, -1, 23336, -1, 24274, -1, 24281, -1, 
+  24425, -1, 24493, -1, 24792, -1, 24910, -1, 
+  24840, -1, 24928, -1, 25140, -1, 25540, -1, 
+  25628, -1, 25682, -1, 25942, -1, 26395, -1, 
+  26454, -1, 28379, -1, 28363, -1, 28702, -1, 
+  30631, -1, 29237, -1, 29359, -1, 29809, -1, 
+  29958, -1, 30011, -1, 30237, -1, 30239, -1, 
+  30427, -1, 30452, -1, 30538, -1, 30528, -1, 
+  30924, -1, 31409, -1, 31867, -1, 32091, -1, 
+  32574, -1, 33618, -1, 33775, -1, 34681, -1, 
+  35137, -1, 35206, -1, 35519, -1, 35531, -1, 
+  35565, -1, 35722, -1, 36664, -1, 36978, -1, 
+  37273, -1, 37494, -1, 38524, -1, 38875, -1, 
+  38923, -1, 39698, -1, 141386, -1, 141380, -1, 
+  144341, -1, 15261, -1, 16408, -1, 16441, -1, 
+  152137, -1, 154832, -1, 163539, -1, 40771, -1, 
+  40846, -1, 102, 102, -1, 102, 105, -1, 
+  102, 108, -1, 102, 102, 105, -1, 102, 
+  102, 108, -1, 383, 116, -1, 115, 116, 
+  -1, 1396, 1398, -1, 1396, 1381, -1, 1396, 
+  1387, -1, 1406, 1398, -1, 1396, 1389, -1, 
+  1497, 1460, -1, 1522, 1463, -1, 1506, -1, 
+  1492, -1, 1499, -1, 1500, -1, 1501, -1, 
+  1512, -1, 1514, -1, 1513, 1473, -1, 1513, 
+  1474, -1, 64329, 1473, -1, 64329, 1474, -1, 
+  1488, 1463, -1, 1488, 1464, -1, 1488, 1468, 
+  -1, 1489, 1468, -1, 1490, 1468, -1, 1491, 
+  1468, -1, 1492, 1468, -1, 1493, 1468, -1, 
+  1494, 1468, -1, 1496, 1468, -1, 1497, 1468, 
+  -1, 1498, 1468, -1, 1499, 1468, -1, 1500, 
+  1468, -1, 1502, 1468, -1, 1504, 1468, -1, 
+  1505, 1468, -1, 1507, 1468, -1, 1508, 1468, 
+  -1, 1510, 1468, -1, 1511, 1468, -1, 1512, 
+  1468, -1, 1513, 1468, -1, 1514, 1468, -1, 
+  1493, 1465, -1, 1489, 1471, -1, 1499, 1471, 
+  -1, 1508, 1471, -1, 1488, 1500, -1, 1649, 
+  -1, 1659, -1, 1662, -1, 1664, -1, 1658, 
+  -1, 1663, -1, 1657, -1, 1700, -1, 1702, 
+  -1, 1668, -1, 1667, -1, 1670, -1, 1671, 
+  -1, 1677, -1, 1676, -1, 1678, -1, 1672, 
+  -1, 1688, -1, 1681, -1, 1705, -1, 1711, 
+  -1, 1715, -1, 1713, -1, 1722, -1, 1723, 
+  -1, 1728, -1, 1729, -1, 1726, -1, 1746, 
+  -1, 1747, -1, 1709, -1, 1735, -1, 1734, 
+  -1, 1736, -1, 1655, -1, 1739, -1, 1733, 
+  -1, 1737, -1, 1744, -1, 1609, -1, 1574, 
+  1575, -1, 1574, 1749, -1, 1574, 1608, -1, 
+  1574, 1735, -1, 1574, 1734, -1, 1574, 1736, 
+  -1, 1574, 1744, -1, 1574, 1609, -1, 1740, 
+  -1, 1574, 1580, -1, 1574, 1581, -1, 1574, 
+  1605, -1, 1574, 1610, -1, 1576, 1580, -1, 
+  1576, 1581, -1, 1576, 1582, -1, 1576, 1605, 
+  -1, 1576, 1609, -1, 1576, 1610, -1, 1578, 
+  1580, -1, 1578, 1581, -1, 1578, 1582, -1, 
+  1578, 1605, -1, 1578, 1609, -1, 1578, 1610, 
+  -1, 1579, 1580, -1, 1579, 1605, -1, 1579, 
+  1609, -1, 1579, 1610, -1, 1580, 1581, -1, 
+  1580, 1605, -1, 1581, 1580, -1, 1581, 1605, 
+  -1, 1582, 1580, -1, 1582, 1581, -1, 1582, 
+  1605, -1, 1587, 1580, -1, 1587, 1581, -1, 
+  1587, 1582, -1, 1587, 1605, -1, 1589, 1581, 
+  -1, 1589, 1605, -1, 1590, 1580, -1, 1590, 
+  1581, -1, 1590, 1582, -1, 1590, 1605, -1, 
+  1591, 1581, -1, 1591, 1605, -1, 1592, 1605, 
+  -1, 1593, 1580, -1, 1593, 1605, -1, 1594, 
+  1580, -1, 1594, 1605, -1, 1601, 1580, -1, 
+  1601, 1581, -1, 1601, 1582, -1, 1601, 1605, 
+  -1, 1601, 1609, -1, 1601, 1610, -1, 1602, 
+  1581, -1, 1602, 1605, -1, 1602, 1609, -1, 
+  1602, 1610, -1, 1603, 1575, -1, 1603, 1580, 
+  -1, 1603, 1581, -1, 1603, 1582, -1, 1603, 
+  1604, -1, 1603, 1605, -1, 1603, 1609, -1, 
+  1603, 1610, -1, 1604, 1580, -1, 1604, 1581, 
+  -1, 1604, 1582, -1, 1604, 1605, -1, 1604, 
+  1609, -1, 1604, 1610, -1, 1605, 1580, -1, 
+  1605, 1581, -1, 1605, 1582, -1, 1605, 1605, 
+  -1, 1605, 1609, -1, 1605, 1610, -1, 1606, 
+  1580, -1, 1606, 1581, -1, 1606, 1582, -1, 
+  1606, 1605, -1, 1606, 1609, -1, 1606, 1610, 
+  -1, 1607, 1580, -1, 1607, 1605, -1, 1607, 
+  1609, -1, 1607, 1610, -1, 1610, 1580, -1, 
+  1610, 1581, -1, 1610, 1582, -1, 1610, 1605, 
+  -1, 1610, 1609, -1, 1610, 1610, -1, 1584, 
+  1648, -1, 1585, 1648, -1, 1609, 1648, -1, 
+  32, 1612, 1617, -1, 32, 1613, 1617, -1, 
+  32, 1614, 1617, -1, 32, 1615, 1617, -1, 
+  32, 1616, 1617, -1, 32, 1617, 1648, -1, 
+  1574, 1585, -1, 1574, 1586, -1, 1574, 1606, 
+  -1, 1576, 1585, -1, 1576, 1586, -1, 1576, 
+  1606, -1, 1578, 1585, -1, 1578, 1586, -1, 
+  1578, 1606, -1, 1579, 1585, -1, 1579, 1586, 
+  -1, 1579, 1606, -1, 1605, 1575, -1, 1606, 
+  1585, -1, 1606, 1586, -1, 1606, 1606, -1, 
+  1610, 1585, -1, 1610, 1586, -1, 1610, 1606, 
+  -1, 1574, 1582, -1, 1574, 1607, -1, 1576, 
+  1607, -1, 1578, 1607, -1, 1589, 1582, -1, 
+  1604, 1607, -1, 1606, 1607, -1, 1607, 1648, 
+  -1, 1610, 1607, -1, 1579, 1607, -1, 1587, 
+  1607, -1, 1588, 1605, -1, 1588, 1607, -1, 
+  1600, 1614, 1617, -1, 1600, 1615, 1617, -1, 
+  1600, 1616, 1617, -1, 1591, 1609, -1, 1591, 
+  1610, -1, 1593, 1609, -1, 1593, 1610, -1, 
+  1594, 1609, -1, 1594, 1610, -1, 1587, 1609, 
+  -1, 1587, 1610, -1, 1588, 1609, -1, 1588, 
+  1610, -1, 1581, 1609, -1, 1581, 1610, -1, 
+  1580, 1609, -1, 1580, 1610, -1, 1582, 1609, 
+  -1, 1582, 1610, -1, 1589, 1609, -1, 1589, 
+  1610, -1, 1590, 1609, -1, 1590, 1610, -1, 
+  1588, 1580, -1, 1588, 1581, -1, 1588, 1582, 
+  -1, 1588, 1585, -1, 1587, 1585, -1, 1589, 
+  1585, -1, 1590, 1585, -1, 1575, 1611, -1, 
+  1578, 1580, 1605, -1, 1578, 1581, 1580, -1, 
+  1578, 1581, 1605, -1, 1578, 1582, 1605, -1, 
+  1578, 1605, 1580, -1, 1578, 1605, 1581, -1, 
+  1578, 1605, 1582, -1, 1580, 1605, 1581, -1, 
+  1581, 1605, 1610, -1, 1581, 1605, 1609, -1, 
+  1587, 1581, 1580, -1, 1587, 1580, 1581, -1, 
+  1587, 1580, 1609, -1, 1587, 1605, 1581, -1, 
+  1587, 1605, 1580, -1, 1587, 1605, 1605, -1, 
+  1589, 1581, 1581, -1, 1589, 1605, 1605, -1, 
+  1588, 1581, 1605, -1, 1588, 1580, 1610, -1, 
+  1588, 1605, 1582, -1, 1588, 1605, 1605, -1, 
+  1590, 1581, 1609, -1, 1590, 1582, 1605, -1, 
+  1591, 1605, 1581, -1, 1591, 1605, 1605, -1, 
+  1591, 1605, 1610, -1, 1593, 1580, 1605, -1, 
+  1593, 1605, 1605, -1, 1593, 1605, 1609, -1, 
+  1594, 1605, 1605, -1, 1594, 1605, 1610, -1, 
+  1594, 1605, 1609, -1, 1601, 1582, 1605, -1, 
+  1602, 1605, 1581, -1, 1602, 1605, 1605, -1, 
+  1604, 1581, 1605, -1, 1604, 1581, 1610, -1, 
+  1604, 1581, 1609, -1, 1604, 1580, 1580, -1, 
+  1604, 1582, 1605, -1, 1604, 1605, 1581, -1, 
+  1605, 1581, 1580, -1, 1605, 1581, 1605, -1, 
+  1605, 1581, 1610, -1, 1605, 1580, 1581, -1, 
+  1605, 1580, 1605, -1, 1605, 1582, 1580, -1, 
+  1605, 1582, 1605, -1, 1605, 1580, 1582, -1, 
+  1607, 1605, 1580, -1, 1607, 1605, 1605, -1, 
+  1606, 1581, 1605, -1, 1606, 1581, 1609, -1, 
+  1606, 1580, 1605, -1, 1606, 1580, 1609, -1, 
+  1606, 1605, 1610, -1, 1606, 1605, 1609, -1, 
+  1610, 1605, 1605, -1, 1576, 1582, 1610, -1, 
+  1578, 1580, 1610, -1, 1578, 1580, 1609, -1, 
+  1578, 1582, 1610, -1, 1578, 1582, 1609, -1, 
+  1578, 1605, 1610, -1, 1578, 1605, 1609, -1, 
+  1580, 1605, 1610, -1, 1580, 1581, 1609, -1, 
+  1580, 1605, 1609, -1, 1587, 1582, 1609, -1, 
+  1589, 1581, 1610, -1, 1588, 1581, 1610, -1, 
+  1590, 1581, 1610, -1, 1604, 1580, 1610, -1, 
+  1604, 1605, 1610, -1, 1610, 1581, 1610, -1, 
+  1610, 1580, 1610, -1, 1610, 1605, 1610, -1, 
+  1605, 1605, 1610, -1, 1602, 1605, 1610, -1, 
+  1606, 1581, 1610, -1, 1593, 1605, 1610, -1, 
+  1603, 1605, 1610, -1, 1606, 1580, 1581, -1, 
+  1605, 1582, 1610, -1, 1604, 1580, 1605, -1, 
+  1603, 1605, 1605, -1, 1580, 1581, 1610, -1, 
+  1581, 1580, 1610, -1, 1605, 1580, 1610, -1, 
+  1601, 1605, 1610, -1, 1576, 1581, 1610, -1, 
+  1587, 1582, 1610, -1, 1606, 1580, 1610, -1, 
+  1589, 1604, 1746, -1, 1602, 1604, 1746, -1, 
+  1575, 1604, 1604, 1607, -1, 1575, 1603, 1576, 
+  1585, -1, 1605, 1581, 1605, 1583, -1, 1589, 
+  1604, 1593, 1605, -1, 1585, 1587, 1608, 1604, 
+  -1, 1593, 1604, 1610, 1607, -1, 1608, 1587, 
+  1604, 1605, -1, 1589, 1604, 1609, -1, 1589, 
+  1604, 1609, 32, 1575, 1604, 1604, 1607, 32, 
+  1593, 1604, 1610, 1607, 32, 1608, 1587, 1604, 
+  1605, -1, 1580, 1604, 32, 1580, 1604, 1575, 
+  1604, 1607, -1, 1585, 1740, 1575, 1604, -1, 
+  44, -1, 12289, -1, 12290, -1, 58, -1, 
+  33, -1, 63, -1, 12310, -1, 12311, -1, 
+  8230, -1, 8229, -1, 8212, -1, 8211, -1, 
+  95, -1, 123, -1, 125, -1, 12308, -1, 
+  12309, -1, 12304, -1, 12305, -1, 12298, -1, 
+  12299, -1, 12300, -1, 12301, -1, 12302, -1, 
+  12303, -1, 91, -1, 93, -1, 8254, -1, 
+  35, -1, 38, -1, 42, -1, 45, -1, 
+  60, -1, 62, -1, 92, -1, 36, -1, 
+  37, -1, 64, -1, 32, 1611, -1, 1600, 
+  1611, -1, 32, 1612, -1, 32, 1613, -1, 
+  32, 1614, -1, 1600, 1614, -1, 32, 1615, 
+  -1, 1600, 1615, -1, 32, 1616, -1, 1600, 
+  1616, -1, 32, 1617, -1, 1600, 1617, -1, 
+  32, 1618, -1, 1600, 1618, -1, 1569, -1, 
+  1570, -1, 1571, -1, 1572, -1, 1573, -1, 
+  1574, -1, 1575, -1, 1576, -1, 1577, -1, 
+  1578, -1, 1579, -1, 1580, -1, 1581, -1, 
+  1582, -1, 1583, -1, 1584, -1, 1585, -1, 
+  1586, -1, 1587, -1, 1588, -1, 1589, -1, 
+  1590, -1, 1591, -1, 1592, -1, 1593, -1, 
+  1594, -1, 1601, -1, 1602, -1, 1603, -1, 
+  1604, -1, 1605, -1, 1606, -1, 1607, -1, 
+  1608, -1, 1610, -1, 1604, 1570, -1, 1604, 
+  1571, -1, 1604, 1573, -1, 1604, 1575, -1, 
+  34, -1, 39, -1, 47, -1, 65345, -1, 
+  65346, -1, 65347, -1, 65348, -1, 65349, -1, 
+  65350, -1, 65351, -1, 65352, -1, 65353, -1, 
+  65354, -1, 65355, -1, 65356, -1, 65357, -1, 
+  65358, -1, 65359, -1, 65360, -1, 65361, -1, 
+  65362, -1, 65363, -1, 65364, -1, 65365, -1, 
+  65366, -1, 65367, -1, 65368, -1, 65369, -1, 
+  65370, -1, 94, -1, 124, -1, 126, -1, 
+  10629, -1, 10630, -1, 12539, -1, 12449, -1, 
+  12451, -1, 12453, -1, 12455, -1, 12457, -1, 
+  12515, -1, 12517, -1, 12519, -1, 12483, -1, 
+  12540, -1, 12531, -1, 12441, -1, 12442, -1, 
+  12644, -1, 12593, -1, 12594, -1, 12595, -1, 
+  12596, -1, 12597, -1, 12598, -1, 12599, -1, 
+  12600, -1, 12601, -1, 12602, -1, 12603, -1, 
+  12604, -1, 12605, -1, 12606, -1, 12607, -1, 
+  12608, -1, 12609, -1, 12610, -1, 12611, -1, 
+  12612, -1, 12613, -1, 12614, -1, 12615, -1, 
+  12616, -1, 12617, -1, 12618, -1, 12619, -1, 
+  12620, -1, 12621, -1, 12622, -1, 12623, -1, 
+  12624, -1, 12625, -1, 12626, -1, 12627, -1, 
+  12628, -1, 12629, -1, 12630, -1, 12631, -1, 
+  12632, -1, 12633, -1, 12634, -1, 12635, -1, 
+  12636, -1, 12637, -1, 12638, -1, 12639, -1, 
+  12640, -1, 12641, -1, 12642, -1, 12643, -1, 
+  162, -1, 163, -1, 172, -1, 175, -1, 
+  166, -1, 165, -1, 8361, -1, 9474, -1, 
+  8592, -1, 8593, -1, 8594, -1, 8595, -1, 
+  9632, -1, 9675, -1, 66600, -1, 66601, -1, 
+  66602, -1, 66603, -1, 66604, -1, 66605, -1, 
+  66606, -1, 66607, -1, 66608, -1, 66609, -1, 
+  66610, -1, 66611, -1, 66612, -1, 66613, -1, 
+  66614, -1, 66615, -1, 66616, -1, 66617, -1, 
+  66618, -1, 66619, -1, 66620, -1, 66621, -1, 
+  66622, -1, 66623, -1, 66624, -1, 66625, -1, 
+  66626, -1, 66627, -1, 66628, -1, 66629, -1, 
+  66630, -1, 66631, -1, 66632, -1, 66633, -1, 
+  66634, -1, 66635, -1, 66636, -1, 66637, -1, 
+  66638, -1, 66639, -1, 119127, 119141, -1, 119128, 
+  119141, -1, 119135, 119150, -1, 119135, 119151, -1, 
+  119135, 119152, -1, 119135, 119153, -1, 119135, 119154, 
+  -1, 119225, 119141, -1, 119226, 119141, -1, 119227, 
+  119150, -1, 119228, 119150, -1, 119227, 119151, -1, 
+  119228, 119151, -1, 305, -1, 567, -1, 913, 
+  -1, 914, -1, 916, -1, 917, -1, 918, 
+  -1, 919, -1, 921, -1, 922, -1, 923, 
+  -1, 924, -1, 925, -1, 926, -1, 927, 
+  -1, 929, -1, 1012, -1, 932, -1, 934, 
+  -1, 935, -1, 936, -1, 8711, -1, 8706, 
+  -1, 1013, -1, 977, -1, 1008, -1, 981, 
+  -1, 1009, -1, 982, -1, 988, -1, 20029, 
+  -1, 20024, -1, 20033, -1, 131362, -1, 20320, 
+  -1, 20411, -1, 20482, -1, 20602, -1, 20633, 
+  -1, 20687, -1, 13470, -1, 132666, -1, 20820, 
+  -1, 20836, -1, 20855, -1, 132380, -1, 13497, 
+  -1, 20839, -1, 20877, -1, 132427, -1, 20887, 
+  -1, 20900, -1, 20172, -1, 20908, -1, 168415, 
+  -1, 20995, -1, 13535, -1, 21051, -1, 21062, 
+  -1, 21106, -1, 21111, -1, 13589, -1, 21253, 
+  -1, 21254, -1, 21321, -1, 21338, -1, 21363, 
+  -1, 21373, -1, 21375, -1, 133676, -1, 28784, 
+  -1, 21450, -1, 21471, -1, 133987, -1, 21483, 
+  -1, 21489, -1, 21510, -1, 21662, -1, 21560, 
+  -1, 21576, -1, 21608, -1, 21666, -1, 21750, 
+  -1, 21776, -1, 21843, -1, 21859, -1, 21892, 
+  -1, 21931, -1, 21939, -1, 21954, -1, 22294, 
+  -1, 22295, -1, 22097, -1, 22132, -1, 22766, 
+  -1, 22478, -1, 22516, -1, 22541, -1, 22411, 
+  -1, 22578, -1, 22577, -1, 22700, -1, 136420, 
+  -1, 22770, -1, 22775, -1, 22790, -1, 22810, 
+  -1, 22818, -1, 22882, -1, 136872, -1, 136938, 
+  -1, 23020, -1, 23067, -1, 23079, -1, 23000, 
+  -1, 23142, -1, 14062, -1, 14076, -1, 23304, 
+  -1, 23358, -1, 137672, -1, 23491, -1, 23512, 
+  -1, 23539, -1, 138008, -1, 23551, -1, 23558, 
+  -1, 24403, -1, 14209, -1, 23648, -1, 23744, 
+  -1, 23693, -1, 138724, -1, 23875, -1, 138726, 
+  -1, 23918, -1, 23915, -1, 23932, -1, 24033, 
+  -1, 24034, -1, 14383, -1, 24061, -1, 24104, 
+  -1, 24125, -1, 24169, -1, 14434, -1, 139651, 
+  -1, 14460, -1, 24240, -1, 24243, -1, 24246, 
+  -1, 172946, -1, 140081, -1, 33281, -1, 24354, 
+  -1, 14535, -1, 144056, -1, 156122, -1, 24418, 
+  -1, 24427, -1, 14563, -1, 24474, -1, 24525, 
+  -1, 24535, -1, 24569, -1, 24705, -1, 14650, 
+  -1, 14620, -1, 141012, -1, 24775, -1, 24904, 
+  -1, 24908, -1, 24954, -1, 25010, -1, 24996, 
+  -1, 25007, -1, 25054, -1, 25104, -1, 25115, 
+  -1, 25181, -1, 25265, -1, 25300, -1, 25424, 
+  -1, 142092, -1, 25405, -1, 25340, -1, 25448, 
+  -1, 25475, -1, 25572, -1, 142321, -1, 25634, 
+  -1, 25541, -1, 25513, -1, 14894, -1, 25705, 
+  -1, 25726, -1, 25757, -1, 25719, -1, 14956, 
+  -1, 25964, -1, 143370, -1, 26083, -1, 26360, 
+  -1, 26185, -1, 15129, -1, 15112, -1, 15076, 
+  -1, 20882, -1, 20885, -1, 26368, -1, 26268, 
+  -1, 32941, -1, 17369, -1, 26401, -1, 26462, 
+  -1, 26451, -1, 144323, -1, 15177, -1, 26618, 
+  -1, 26501, -1, 26706, -1, 144493, -1, 26766, 
+  -1, 26655, -1, 26900, -1, 26946, -1, 27043, 
+  -1, 27114, -1, 27304, -1, 145059, -1, 27355, 
+  -1, 15384, -1, 27425, -1, 145575, -1, 27476, 
+  -1, 15438, -1, 27506, -1, 27551, -1, 27579, 
+  -1, 146061, -1, 138507, -1, 146170, -1, 27726, 
+  -1, 146620, -1, 27839, -1, 27853, -1, 27751, 
+  -1, 27926, -1, 27966, -1, 28009, -1, 28024, 
+  -1, 28037, -1, 146718, -1, 27956, -1, 28207, 
+  -1, 28270, -1, 15667, -1, 28359, -1, 147153, 
+  -1, 28153, -1, 28526, -1, 147294, -1, 147342, 
+  -1, 28614, -1, 28729, -1, 28699, -1, 15766, 
+  -1, 28746, -1, 28797, -1, 28791, -1, 28845, 
+  -1, 132389, -1, 28997, -1, 148067, -1, 29084, 
+  -1, 148395, -1, 29224, -1, 29264, -1, 149000, 
+  -1, 29312, -1, 29333, -1, 149301, -1, 149524, 
+  -1, 29562, -1, 29579, -1, 16044, -1, 29605, 
+  -1, 16056, -1, 29767, -1, 29788, -1, 29829, 
+  -1, 29898, -1, 16155, -1, 29988, -1, 150582, 
+  -1, 30014, -1, 150674, -1, 139679, -1, 30224, 
+  -1, 151457, -1, 151480, -1, 151620, -1, 16380, 
+  -1, 16392, -1, 151795, -1, 151794, -1, 151833, 
+  -1, 151859, -1, 30494, -1, 30495, -1, 30603, 
+  -1, 16454, -1, 16534, -1, 152605, -1, 30798, 
+  -1, 16611, -1, 153126, -1, 153242, -1, 153285, 
+  -1, 31211, -1, 16687, -1, 31306, -1, 31311, 
+  -1, 153980, -1, 154279, -1, 31470, -1, 16898, 
+  -1, 154539, -1, 31686, -1, 31689, -1, 16935, 
+  -1, 154752, -1, 31954, -1, 17056, -1, 31976, 
+  -1, 31971, -1, 32000, -1, 155526, -1, 32099, 
+  -1, 17153, -1, 32199, -1, 32258, -1, 32325, 
+  -1, 17204, -1, 156200, -1, 156231, -1, 17241, 
+  -1, 156377, -1, 32634, -1, 156478, -1, 32661, 
+  -1, 32762, -1, 156890, -1, 156963, -1, 32864, 
+  -1, 157096, -1, 32880, -1, 144223, -1, 17365, 
+  -1, 32946, -1, 33027, -1, 17419, -1, 33086, 
+  -1, 23221, -1, 157607, -1, 157621, -1, 144275, 
+  -1, 144284, -1, 33284, -1, 36766, -1, 17515, 
+  -1, 33425, -1, 33419, -1, 33437, -1, 21171, 
+  -1, 33457, -1, 33459, -1, 33469, -1, 33510, 
+  -1, 158524, -1, 33565, -1, 33635, -1, 33709, 
+  -1, 33571, -1, 33725, -1, 33767, -1, 33619, 
+  -1, 33738, -1, 33740, -1, 33756, -1, 158774, 
+  -1, 159083, -1, 158933, -1, 17707, -1, 34033, 
+  -1, 34035, -1, 34070, -1, 160714, -1, 34148, 
+  -1, 159532, -1, 17757, -1, 17761, -1, 159665, 
+  -1, 159954, -1, 17771, -1, 34384, -1, 34407, 
+  -1, 34409, -1, 34473, -1, 34440, -1, 34574, 
+  -1, 34530, -1, 34600, -1, 34667, -1, 34694, 
+  -1, 17879, -1, 34785, -1, 34817, -1, 17913, 
+  -1, 34912, -1, 161383, -1, 35031, -1, 35038, 
+  -1, 17973, -1, 35066, -1, 13499, -1, 161966, 
+  -1, 162150, -1, 18110, -1, 18119, -1, 35488, 
+  -1, 162984, -1, 36011, -1, 36033, -1, 36123, 
+  -1, 36215, -1, 163631, -1, 133124, -1, 36299, 
+  -1, 36284, -1, 36336, -1, 133342, -1, 36564, 
+  -1, 165330, -1, 165357, -1, 37012, -1, 37105, 
+  -1, 37137, -1, 165678, -1, 37147, -1, 37432, 
+  -1, 37591, -1, 37592, -1, 37500, -1, 37881, 
+  -1, 37909, -1, 166906, -1, 38283, -1, 18837, 
+  -1, 38327, -1, 167287, -1, 18918, -1, 38595, 
+  -1, 23986, -1, 38691, -1, 168261, -1, 168474, 
+  -1, 19054, -1, 19062, -1, 38880, -1, 168970, 
+  -1, 19122, -1, 169110, -1, 38953, -1, 169398, 
+  -1, 39138, -1, 19251, -1, 39209, -1, 39335, 
+  -1, 39362, -1, 39422, -1, 19406, -1, 170800, 
+  -1, 40000, -1, 40189, -1, 19662, -1, 19693, 
+  -1, 40295, -1, 172238, -1, 19704, -1, 172293, 
+  -1, 172558, -1, 172689, -1, 19798, -1, 40702, 
+  -1, 40709, -1, 40719, -1, 40726, -1, 173568, 
+  -1, };
+
+const uint16_t utf8proc_stage1table[] = {
+  0, 256, 512, 768, 1024, 1280, 1536, 
+  1792, 2048, 2304, 2560, 2816, 3072, 3328, 3584, 
+  3840, 4096, 4352, 4608, 4864, 5120, 5376, 5632, 
+  5888, 6144, 6400, 6656, 6912, 2048, 7168, 7424, 
+  7680, 7936, 8192, 8448, 8704, 8960, 9216, 9472, 
+  9728, 9984, 10240, 10496, 10752, 11008, 11264, 11520, 
+  11776, 12032, 12288, 12544, 12800, 5376, 5376, 5376, 
+  5376, 5376, 5376, 5376, 5376, 5376, 5376, 5376, 
+  5376, 5376, 5376, 5376, 5376, 5376, 5376, 5376, 
+  5376, 5376, 5376, 5376, 5376, 5376, 13056, 5376, 
+  5376, 5376, 5376, 5376, 5376, 5376, 5376, 5376, 
+  5376, 5376, 5376, 5376, 5376, 5376, 5376, 5376, 
+  5376, 5376, 5376, 5376, 5376, 5376, 5376, 5376, 
+  5376, 5376, 5376, 5376, 5376, 5376, 5376, 5376, 
+  5376, 5376, 5376, 5376, 5376, 5376, 5376, 5376, 
+  5376, 5376, 5376, 5376, 5376, 5376, 5376, 5376, 
+  5376, 5376, 5376, 5376, 5376, 5376, 5376, 5376, 
+  5376, 5376, 5376, 5376, 5376, 5376, 5376, 5376, 
+  5376, 5376, 5376, 5376, 5376, 5376, 5376, 5376, 
+  5376, 5376, 5376, 5376, 5376, 5376, 5376, 5376, 
+  13312, 13568, 5376, 5376, 5376, 13824, 2048, 2048, 
+  14080, 14336, 2048, 2048, 2048, 5376, 5376, 5376, 
+  5376, 5376, 5376, 5376, 5376, 5376, 5376, 5376, 
+  5376, 5376, 5376, 5376, 5376, 5376, 5376, 5376, 
+  5376, 5376, 5376, 5376, 5376, 5376, 5376, 5376, 
+  5376, 5376, 5376, 5376, 5376, 5376, 5376, 5376, 
+  5376, 5376, 5376, 5376, 5376, 5376, 5376, 5376, 
+  14592, 14848, 14848, 14848, 14848, 14848, 14848, 14848, 
+  14848, 15104, 15104, 15104, 15104, 15104, 15104, 15104, 
+  15104, 15104, 15104, 15104, 15104, 15104, 15104, 15104, 
+  15104, 15104, 15104, 15104, 15104, 15104, 15104, 15104, 
+  15104, 15104, 15360, 15616, 15872, 16128, 16384, 16640, 
+  16896, 17152, 17408, 2048, 17664, 17920, 2048, 2048, 
+  2048, 18176, 18432, 18688, 2048, 2048, 2048, 2048, 
+  2048, 2048, 2048, 2048, 2048, 2048, 2048, 2048, 
+  2048, 2048, 2048, 2048, 2048, 2048, 2048, 2048, 
+  2048, 5376, 5376, 5376, 18944, 19200, 2048, 2048, 
+  2048, 2048, 2048, 2048, 2048, 2048, 2048, 2048, 
+  2048, 2048, 2048, 2048, 2048, 2048, 2048, 2048, 
+  2048, 2048, 2048, 2048, 2048, 2048, 2048, 2048, 
+  2048, 2048, 2048, 2048, 2048, 2048, 2048, 2048, 
+  2048, 2048, 2048, 2048, 2048, 2048, 2048, 2048, 
+  2048, 2048, 2048, 2048, 2048, 2048, 2048, 2048, 
+  2048, 2048, 2048, 2048, 2048, 2048, 2048, 2048, 
+  2048, 2048, 2048, 2048, 2048, 2048, 2048, 2048, 
+  2048, 2048, 2048, 2048, 2048, 2048, 2048, 2048, 
+  2048, 2048, 2048, 2048, 2048, 2048, 2048, 2048, 
+  2048, 2048, 2048, 2048, 2048, 2048, 2048, 2048, 
+  2048, 2048, 2048, 2048, 2048, 2048, 2048, 2048, 
+  2048, 2048, 2048, 2048, 2048, 2048, 2048, 2048, 
+  2048, 2048, 2048, 2048, 2048, 2048, 2048, 2048, 
+  2048, 2048, 2048, 2048, 2048, 2048, 2048, 2048, 
+  2048, 2048, 2048, 2048, 2048, 2048, 2048, 2048, 
+  2048, 2048, 2048, 2048, 2048, 2048, 2048, 2048, 
+  2048, 2048, 2048, 2048, 2048, 2048, 2048, 2048, 
+  2048, 2048, 2048, 2048, 2048, 2048, 2048, 2048, 
+  2048, 2048, 2048, 2048, 2048, 2048, 2048, 2048, 
+  2048, 2048, 2048, 2048, 2048, 2048, 2048, 2048, 
+  2048, 19456, 19712, 19968, 20224, 20480, 20736, 20992, 
+  21248, 2048, 2048, 2048, 2048, 2048, 2048, 2048, 
+  2048, 2048, 2048, 2048, 2048, 2048, 2048, 2048, 
+  2048, 2048, 2048, 2048, 2048, 2048, 2048, 2048, 
+  2048, 2048, 2048, 2048, 2048, 2048, 2048, 2048, 
+  2048, 2048, 2048, 2048, 2048, 2048, 2048, 2048, 
+  2048, 5376, 5376, 5376, 5376, 5376, 5376, 5376, 
+  5376, 5376, 5376, 5376, 5376, 5376, 5376, 5376, 
+  5376, 5376, 5376, 5376, 5376, 5376, 5376, 5376, 
+  5376, 5376, 5376, 5376, 5376, 5376, 5376, 5376, 
+  5376, 5376, 5376, 5376, 5376, 5376, 5376, 5376, 
+  5376, 5376, 5376, 5376, 5376, 5376, 5376, 5376, 
+  5376, 5376, 5376, 5376, 5376, 5376, 5376, 5376, 
+  5376, 5376, 5376, 5376, 5376, 5376, 5376, 5376, 
+  5376, 5376, 5376, 5376, 5376, 5376, 5376, 5376, 
+  5376, 5376, 5376, 5376, 5376, 5376, 5376, 5376, 
+  5376, 5376, 5376, 5376, 5376, 5376, 5376, 5376, 
+  5376, 5376, 5376, 5376, 5376, 5376, 5376, 5376, 
+  5376, 5376, 5376, 5376, 5376, 5376, 5376, 5376, 
+  5376, 5376, 5376, 5376, 5376, 5376, 5376, 5376, 
+  5376, 5376, 5376, 5376, 5376, 5376, 5376, 5376, 
+  5376, 5376, 5376, 5376, 5376, 5376, 5376, 5376, 
+  5376, 5376, 5376, 5376, 5376, 5376, 5376, 5376, 
+  5376, 5376, 5376, 5376, 5376, 5376, 5376, 5376, 
+  5376, 5376, 5376, 5376, 5376, 5376, 5376, 5376, 
+  5376, 5376, 5376, 5376, 5376, 5376, 5376, 5376, 
+  5376, 5376, 5376, 5376, 5376, 5376, 5376, 21504, 
+  2048, 2048, 2048, 2048, 2048, 2048, 2048, 2048, 
+  2048, 2048, 2048, 2048, 2048, 2048, 2048, 2048, 
+  2048, 2048, 2048, 2048, 2048, 2048, 2048, 2048, 
+  2048, 2048, 2048, 2048, 2048, 2048, 2048, 2048, 
+  2048, 2048, 2048, 2048, 2048, 2048, 2048, 2048, 
+  2048, 2048, 2048, 2048, 2048, 2048, 2048, 2048, 
+  2048, 2048, 2048, 2048, 2048, 2048, 2048, 2048, 
+  2048, 2048, 2048, 2048, 2048, 2048, 2048, 2048, 
+  2048, 2048, 2048, 2048, 2048, 2048, 2048, 2048, 
+  2048, 2048, 2048, 2048, 2048, 2048, 2048, 2048, 
+  2048, 21760, 22016, 22272, 2048, 2048, 2048, 2048, 
+  2048, 2048, 2048, 2048, 2048, 2048, 2048, 2048, 
+  2048, 2048, 2048, 2048, 2048, 2048, 2048, 2048, 
+  2048, 2048, 2048, 2048, 2048, 2048, 2048, 2048, 
+  2048, 2048, 2048, 2048, 2048, 2048, 2048, 2048, 
+  2048, 2048, 2048, 2048, 2048, 2048, 2048, 2048, 
+  2048, 2048, 2048, 2048, 2048, 2048, 2048, 2048, 
+  2048, 2048, 2048, 2048, 2048, 2048, 2048, 2048, 
+  2048, 2048, 2048, 2048, 2048, 2048, 2048, 2048, 
+  2048, 2048, 2048, 2048, 2048, 2048, 2048, 2048, 
+  2048, 2048, 2048, 2048, 2048, 2048, 2048, 2048, 
+  2048, 2048, 2048, 2048, 2048, 2048, 2048, 2048, 
+  2048, 2048, 2048, 2048, 2048, 2048, 2048, 2048, 
+  2048, 2048, 2048, 2048, 2048, 2048, 2048, 2048, 
+  2048, 2048, 2048, 2048, 2048, 2048, 2048, 2048, 
+  2048, 2048, 2048, 2048, 2048, 2048, 2048, 2048, 
+  2048, 2048, 2048, 2048, 2048, 2048, 2048, 2048, 
+  2048, 2048, 2048, 2048, 2048, 2048, 2048, 2048, 
+  2048, 2048, 2048, 2048, 2048, 2048, 2048, 2048, 
+  2048, 2048, 2048, 2048, 2048, 2048, 2048, 2048, 
+  2048, 2048, 2048, 2048, 2048, 2048, 2048, 2048, 
+  2048, 2048, 2048, 2048, 2048, 2048, 2048, 2048, 
+  2048, 2048, 2048, 2048, 2048, 2048, 2048, 2048, 
+  2048, 2048, 2048, 2048, 2048, 2048, 2048, 2048, 
+  2048, 2048, 2048, 2048, 2048, 2048, 2048, 2048, 
+  2048, 2048, 2048, 2048, 2048, 2048, 2048, 2048, 
+  2048, 2048, 2048, 2048, 2048, 2048, 2048, 2048, 
+  2048, 2048, 2048, 2048, 2048, 2048, 2048, 2048, 
+  2048, 2048, 2048, 2048, 2048, 2048, 2048, 2048, 
+  2048, 2048, 2048, 2048, 2048, 2048, 2048, 2048, 
+  2048, 2048, 2048, 2048, 2048, 2048, 2048, 2048, 
+  2048, 2048, 2048, 2048, 2048, 2048, 2048, 2048, 
+  2048, 2048, 2048, 2048, 2048, 2048, 2048, 2048, 
+  2048, 2048, 2048, 2048, 2048, 2048, 2048, 2048, 
+  2048, 2048, 2048, 2048, 2048, 2048, 2048, 2048, 
+  2048, 2048, 2048, 2048, 2048, 2048, 2048, 2048, 
+  2048, 2048, 2048, 2048, 2048, 2048, 2048, 2048, 
+  2048, 2048, 2048, 2048, 2048, 2048, 2048, 2048, 
+  2048, 2048, 2048, 2048, 2048, 2048, 2048, 2048, 
+  2048, 2048, 2048, 2048, 2048, 2048, 2048, 2048, 
+  2048, 2048, 2048, 2048, 2048, 2048, 2048, 2048, 
+  2048, 2048, 2048, 2048, 2048, 2048, 2048, 2048, 
+  2048, 2048, 2048, 2048, 2048, 2048, 2048, 2048, 
+  2048, 2048, 2048, 2048, 2048, 2048, 2048, 2048, 
+  2048, 2048, 2048, 2048, 2048, 2048, 2048, 2048, 
+  2048, 2048, 2048, 2048, 2048, 2048, 2048, 2048, 
+  2048, 2048, 2048, 2048, 2048, 2048, 2048, 2048, 
+  2048, 2048, 2048, 2048, 2048, 2048, 2048, 2048, 
+  2048, 2048, 2048, 2048, 2048, 2048, 2048, 2048, 
+  2048, 2048, 2048, 2048, 2048, 2048, 2048, 2048, 
+  2048, 2048, 2048, 2048, 2048, 2048, 2048, 2048, 
+  2048, 2048, 2048, 2048, 2048, 2048, 2048, 2048, 
+  2048, 2048, 2048, 2048, 2048, 2048, 2048, 2048, 
+  2048, 2048, 2048, 2048, 2048, 2048, 2048, 2048, 
+  2048, 2048, 2048, 2048, 2048, 2048, 2048, 2048, 
+  2048, 2048, 2048, 2048, 2048, 2048, 2048, 2048, 
+  2048, 2048, 2048, 2048, 2048, 2048, 2048, 2048, 
+  2048, 2048, 2048, 2048, 2048, 2048, 2048, 2048, 
+  2048, 2048, 2048, 2048, 2048, 2048, 2048, 2048, 
+  2048, 2048, 2048, 2048, 2048, 2048, 2048, 2048, 
+  2048, 2048, 2048, 2048, 2048, 2048, 2048, 2048, 
+  2048, 2048, 2048, 2048, 2048, 2048, 2048, 2048, 
+  2048, 2048, 2048, 2048, 2048, 2048, 2048, 2048, 
+  2048, 2048, 2048, 2048, 2048, 2048, 2048, 2048, 
+  2048, 2048, 2048, 2048, 2048, 2048, 2048, 2048, 
+  2048, 2048, 2048, 2048, 2048, 2048, 2048, 2048, 
+  2048, 2048, 2048, 2048, 2048, 2048, 2048, 2048, 
+  2048, 2048, 2048, 2048, 2048, 2048, 2048, 2048, 
+  2048, 2048, 2048, 2048, 2048, 2048, 2048, 2048, 
+  2048, 2048, 2048, 2048, 2048, 2048, 2048, 2048, 
+  2048, 2048, 2048, 2048, 2048, 2048, 2048, 2048, 
+  2048, 2048, 2048, 2048, 2048, 2048, 2048, 2048, 
+  2048, 2048, 2048, 2048, 2048, 2048, 2048, 2048, 
+  2048, 2048, 2048, 2048, 2048, 2048, 2048, 2048, 
+  2048, 2048, 2048, 2048, 2048, 2048, 2048, 2048, 
+  2048, 2048, 2048, 2048, 2048, 2048, 2048, 2048, 
+  2048, 2048, 2048, 2048, 2048, 2048, 2048, 2048, 
+  2048, 2048, 2048, 2048, 2048, 2048, 2048, 2048, 
+  2048, 2048, 2048, 2048, 2048, 2048, 2048, 2048, 
+  2048, 2048, 2048, 2048, 2048, 2048, 2048, 2048, 
+  2048, 2048, 2048, 2048, 2048, 2048, 2048, 2048, 
+  2048, 2048, 2048, 2048, 2048, 2048, 2048, 2048, 
+  2048, 2048, 2048, 2048, 2048, 2048, 2048, 2048, 
+  2048, 2048, 2048, 2048, 2048, 2048, 2048, 2048, 
+  2048, 2048, 2048, 2048, 2048, 2048, 2048, 2048, 
+  2048, 2048, 2048, 2048, 2048, 2048, 2048, 2048, 
+  2048, 2048, 2048, 2048, 2048, 2048, 2048, 2048, 
+  2048, 2048, 2048, 2048, 2048, 2048, 2048, 2048, 
+  2048, 2048, 2048, 2048, 2048, 2048, 2048, 2048, 
+  2048, 2048, 2048, 2048, 2048, 2048, 2048, 2048, 
+  2048, 2048, 2048, 2048, 2048, 2048, 2048, 2048, 
+  2048, 2048, 2048, 2048, 2048, 2048, 2048, 2048, 
+  2048, 2048, 2048, 2048, 2048, 2048, 2048, 2048, 
+  2048, 2048, 2048, 2048, 2048, 2048, 2048, 2048, 
+  2048, 2048, 2048, 2048, 2048, 2048, 2048, 2048, 
+  2048, 2048, 2048, 2048, 2048, 2048, 2048, 2048, 
+  2048, 2048, 2048, 2048, 2048, 2048, 2048, 2048, 
+  2048, 2048, 2048, 2048, 2048, 2048, 2048, 2048, 
+  2048, 2048, 2048, 2048, 2048, 2048, 2048, 2048, 
+  2048, 2048, 2048, 2048, 2048, 2048, 2048, 2048, 
+  2048, 2048, 2048, 2048, 2048, 2048, 2048, 2048, 
+  2048, 2048, 2048, 2048, 2048, 2048, 2048, 2048, 
+  2048, 2048, 2048, 2048, 2048, 2048, 2048, 2048, 
+  2048, 2048, 2048, 2048, 2048, 2048, 2048, 2048, 
+  2048, 2048, 2048, 2048, 2048, 2048, 2048, 2048, 
+  2048, 2048, 2048, 2048, 2048, 2048, 2048, 2048, 
+  2048, 2048, 2048, 2048, 2048, 2048, 2048, 2048, 
+  2048, 2048, 2048, 2048, 2048, 2048, 2048, 2048, 
+  2048, 2048, 2048, 2048, 2048, 2048, 2048, 2048, 
+  2048, 2048, 2048, 2048, 2048, 2048, 2048, 2048, 
+  2048, 2048, 2048, 2048, 2048, 2048, 2048, 2048, 
+  2048, 2048, 2048, 2048, 2048, 2048, 2048, 2048, 
+  2048, 2048, 2048, 2048, 2048, 2048, 2048, 2048, 
+  2048, 2048, 2048, 2048, 2048, 2048, 2048, 2048, 
+  2048, 2048, 2048, 2048, 2048, 2048, 2048, 2048, 
+  2048, 2048, 2048, 2048, 2048, 2048, 2048, 2048, 
+  2048, 2048, 2048, 2048, 2048, 2048, 2048, 2048, 
+  2048, 2048, 2048, 2048, 2048, 2048, 2048, 2048, 
+  2048, 2048, 2048, 2048, 2048, 2048, 2048, 2048, 
+  2048, 2048, 2048, 2048, 2048, 2048, 2048, 2048, 
+  2048, 2048, 2048, 2048, 2048, 2048, 2048, 2048, 
+  2048, 2048, 2048, 2048, 2048, 2048, 2048, 2048, 
+  2048, 2048, 2048, 2048, 2048, 2048, 2048, 2048, 
+  2048, 2048, 2048, 2048, 2048, 2048, 2048, 2048, 
+  2048, 2048, 2048, 2048, 2048, 2048, 2048, 2048, 
+  2048, 2048, 2048, 2048, 2048, 2048, 2048, 2048, 
+  2048, 2048, 2048, 2048, 2048, 2048, 2048, 2048, 
+  2048, 2048, 2048, 2048, 2048, 2048, 2048, 2048, 
+  2048, 2048, 2048, 2048, 2048, 2048, 2048, 2048, 
+  2048, 2048, 2048, 2048, 2048, 2048, 2048, 2048, 
+  2048, 2048, 2048, 2048, 2048, 2048, 2048, 2048, 
+  2048, 2048, 2048, 2048, 2048, 2048, 2048, 2048, 
+  2048, 2048, 2048, 2048, 2048, 2048, 2048, 2048, 
+  2048, 2048, 2048, 2048, 2048, 2048, 2048, 2048, 
+  2048, 2048, 2048, 2048, 2048, 2048, 2048, 2048, 
+  2048, 2048, 2048, 2048, 2048, 2048, 2048, 2048, 
+  2048, 2048, 2048, 2048, 2048, 2048, 2048, 2048, 
+  2048, 2048, 2048, 2048, 2048, 2048, 2048, 2048, 
+  2048, 2048, 2048, 2048, 2048, 2048, 2048, 2048, 
+  2048, 2048, 2048, 2048, 2048, 2048, 2048, 2048, 
+  2048, 2048, 2048, 2048, 2048, 2048, 2048, 2048, 
+  2048, 2048, 2048, 2048, 2048, 2048, 2048, 2048, 
+  2048, 2048, 2048, 2048, 2048, 2048, 2048, 2048, 
+  2048, 2048, 2048, 2048, 2048, 2048, 2048, 2048, 
+  2048, 2048, 2048, 2048, 2048, 2048, 2048, 2048, 
+  2048, 2048, 2048, 2048, 2048, 2048, 2048, 2048, 
+  2048, 2048, 2048, 2048, 2048, 2048, 2048, 2048, 
+  2048, 2048, 2048, 2048, 2048, 2048, 2048, 2048, 
+  2048, 2048, 2048, 2048, 2048, 2048, 2048, 2048, 
+  2048, 2048, 2048, 2048, 2048, 2048, 2048, 2048, 
+  2048, 2048, 2048, 2048, 2048, 2048, 2048, 2048, 
+  2048, 2048, 2048, 2048, 2048, 2048, 2048, 2048, 
+  2048, 2048, 2048, 2048, 2048, 2048, 2048, 2048, 
+  2048, 2048, 2048, 2048, 2048, 2048, 2048, 2048, 
+  2048, 2048, 2048, 2048, 2048, 2048, 2048, 2048, 
+  2048, 2048, 2048, 2048, 2048, 2048, 2048, 2048, 
+  2048, 2048, 2048, 2048, 2048, 2048, 2048, 2048, 
+  2048, 2048, 2048, 2048, 2048, 2048, 2048, 2048, 
+  2048, 2048, 2048, 2048, 2048, 2048, 2048, 2048, 
+  2048, 2048, 2048, 2048, 2048, 2048, 2048, 2048, 
+  2048, 2048, 2048, 2048, 2048, 2048, 2048, 2048, 
+  2048, 2048, 2048, 2048, 2048, 2048, 2048, 2048, 
+  2048, 2048, 2048, 2048, 2048, 2048, 2048, 2048, 
+  2048, 2048, 2048, 2048, 2048, 2048, 2048, 2048, 
+  2048, 2048, 2048, 2048, 2048, 2048, 2048, 2048, 
+  2048, 2048, 2048, 2048, 2048, 2048, 2048, 2048, 
+  2048, 2048, 2048, 2048, 2048, 2048, 2048, 2048, 
+  2048, 2048, 2048, 2048, 2048, 2048, 2048, 2048, 
+  2048, 2048, 2048, 2048, 2048, 2048, 2048, 2048, 
+  2048, 2048, 2048, 2048, 2048, 2048, 2048, 2048, 
+  2048, 2048, 2048, 2048, 2048, 2048, 2048, 2048, 
+  2048, 2048, 2048, 2048, 2048, 2048, 2048, 2048, 
+  2048, 2048, 2048, 2048, 2048, 2048, 2048, 2048, 
+  2048, 2048, 2048, 2048, 2048, 2048, 2048, 2048, 
+  2048, 2048, 2048, 2048, 2048, 2048, 2048, 2048, 
+  2048, 2048, 2048, 2048, 2048, 2048, 2048, 2048, 
+  2048, 2048, 2048, 2048, 2048, 2048, 2048, 2048, 
+  2048, 2048, 2048, 2048, 2048, 2048, 2048, 2048, 
+  2048, 2048, 2048, 2048, 2048, 2048, 2048, 2048, 
+  2048, 2048, 2048, 2048, 2048, 2048, 2048, 2048, 
+  2048, 2048, 2048, 2048, 2048, 2048, 2048, 2048, 
+  2048, 2048, 2048, 2048, 2048, 2048, 2048, 2048, 
+  2048, 2048, 2048, 2048, 2048, 2048, 2048, 2048, 
+  2048, 2048, 2048, 2048, 2048, 2048, 2048, 2048, 
+  2048, 2048, 2048, 2048, 2048, 2048, 2048, 2048, 
+  2048, 2048, 2048, 2048, 2048, 2048, 2048, 2048, 
+  2048, 2048, 2048, 2048, 2048, 2048, 2048, 2048, 
+  2048, 2048, 2048, 2048, 2048, 2048, 2048, 2048, 
+  2048, 2048, 2048, 2048, 2048, 2048, 2048, 2048, 
+  2048, 2048, 2048, 2048, 2048, 2048, 2048, 2048, 
+  2048, 2048, 2048, 2048, 2048, 2048, 2048, 2048, 
+  2048, 2048, 2048, 2048, 2048, 2048, 2048, 2048, 
+  2048, 2048, 2048, 2048, 2048, 2048, 2048, 2048, 
+  2048, 2048, 2048, 2048, 2048, 2048, 2048, 2048, 
+  2048, 2048, 2048, 2048, 2048, 2048, 2048, 2048, 
+  2048, 2048, 2048, 2048, 2048, 2048, 2048, 2048, 
+  2048, 2048, 2048, 2048, 2048, 2048, 2048, 2048, 
+  2048, 2048, 2048, 2048, 2048, 2048, 2048, 2048, 
+  2048, 2048, 2048, 2048, 2048, 2048, 2048, 2048, 
+  2048, 2048, 2048, 2048, 2048, 2048, 2048, 2048, 
+  2048, 2048, 2048, 2048, 2048, 2048, 2048, 2048, 
+  2048, 2048, 2048, 2048, 2048, 2048, 2048, 2048, 
+  2048, 2048, 2048, 2048, 2048, 2048, 2048, 2048, 
+  2048, 2048, 2048, 2048, 2048, 2048, 2048, 2048, 
+  2048, 2048, 2048, 2048, 2048, 2048, 2048, 2048, 
+  2048, 2048, 2048, 2048, 2048, 2048, 2048, 2048, 
+  2048, 2048, 2048, 2048, 2048, 2048, 2048, 2048, 
+  2048, 2048, 2048, 2048, 2048, 2048, 2048, 2048, 
+  2048, 2048, 2048, 2048, 2048, 2048, 2048, 2048, 
+  2048, 2048, 2048, 2048, 2048, 2048, 2048, 2048, 
+  2048, 2048, 2048, 2048, 2048, 2048, 2048, 2048, 
+  2048, 2048, 2048, 2048, 2048, 2048, 2048, 2048, 
+  2048, 2048, 2048, 2048, 2048, 2048, 2048, 2048, 
+  2048, 2048, 2048, 2048, 2048, 2048, 2048, 2048, 
+  2048, 2048, 2048, 2048, 2048, 2048, 2048, 2048, 
+  2048, 2048, 2048, 2048, 2048, 2048, 2048, 2048, 
+  2048, 2048, 2048, 2048, 2048, 2048, 2048, 2048, 
+  2048, 2048, 2048, 2048, 2048, 2048, 2048, 2048, 
+  2048, 2048, 2048, 2048, 2048, 2048, 2048, 2048, 
+  2048, 2048, 2048, 2048, 2048, 2048, 2048, 2048, 
+  2048, 2048, 2048, 2048, 2048, 2048, 2048, 2048, 
+  2048, 2048, 2048, 2048, 2048, 2048, 2048, 2048, 
+  2048, 2048, 2048, 2048, 2048, 2048, 2048, 2048, 
+  2048, 2048, 2048, 2048, 2048, 2048, 2048, 2048, 
+  2048, 2048, 2048, 2048, 2048, 2048, 2048, 2048, 
+  2048, 2048, 2048, 2048, 2048, 2048, 2048, 2048, 
+  2048, 2048, 2048, 2048, 2048, 2048, 2048, 2048, 
+  2048, 2048, 2048, 2048, 2048, 2048, 2048, 2048, 
+  2048, 2048, 2048, 2048, 2048, 2048, 2048, 2048, 
+  2048, 2048, 2048, 2048, 2048, 2048, 2048, 2048, 
+  2048, 2048, 2048, 2048, 2048, 2048, 2048, 2048, 
+  2048, 2048, 2048, 2048, 2048, 2048, 2048, 2048, 
+  2048, 2048, 2048, 2048, 2048, 2048, 2048, 2048, 
+  2048, 2048, 2048, 2048, 2048, 2048, 2048, 2048, 
+  2048, 2048, 2048, 2048, 2048, 2048, 2048, 2048, 
+  2048, 2048, 2048, 2048, 2048, 2048, 2048, 2048, 
+  2048, 2048, 2048, 2048, 2048, 2048, 2048, 2048, 
+  2048, 2048, 2048, 2048, 2048, 2048, 2048, 2048, 
+  2048, 2048, 2048, 2048, 2048, 2048, 2048, 2048, 
+  2048, 2048, 2048, 2048, 2048, 2048, 2048, 2048, 
+  2048, 2048, 2048, 2048, 2048, 2048, 2048, 2048, 
+  2048, 2048, 2048, 2048, 2048, 2048, 2048, 2048, 
+  2048, 2048, 2048, 2048, 2048, 2048, 2048, 2048, 
+  2048, 2048, 2048, 2048, 2048, 2048, 2048, 2048, 
+  2048, 2048, 2048, 2048, 2048, 2048, 2048, 2048, 
+  2048, 2048, 2048, 2048, 2048, 2048, 2048, 2048, 
+  2048, 2048, 2048, 2048, 2048, 2048, 2048, 2048, 
+  2048, 2048, 2048, 2048, 2048, 2048, 2048, 2048, 
+  2048, 2048, 2048, 2048, 2048, 2048, 2048, 2048, 
+  2048, 2048, 2048, 2048, 2048, 2048, 2048, 2048, 
+  2048, 2048, 2048, 2048, 2048, 2048, 2048, 2048, 
+  2048, 2048, 2048, 2048, 2048, 2048, 2048, 2048, 
+  2048, 2048, 2048, 2048, 2048, 2048, 2048, 2048, 
+  2048, 2048, 2048, 2048, 2048, 2048, 2048, 2048, 
+  2048, 2048, 2048, 2048, 2048, 2048, 2048, 2048, 
+  2048, 2048, 2048, 2048, 2048, 2048, 2048, 2048, 
+  2048, 2048, 2048, 2048, 2048, 2048, 2048, 2048, 
+  2048, 2048, 2048, 2048, 2048, 2048, 2048, 2048, 
+  2048, 2048, 2048, 2048, 2048, 2048, 2048, 2048, 
+  2048, 2048, 2048, 2048, 2048, 2048, 2048, 2048, 
+  2048, 2048, 2048, 2048, 2048, 2048, 2048, 2048, 
+  2048, 2048, 2048, 2048, 2048, 2048, 2048, 2048, 
+  2048, 2048, 2048, 2048, 2048, 2048, 2048, 2048, 
+  2048, 2048, 2048, 2048, 2048, 2048, 2048, 2048, 
+  2048, 2048, 2048, 2048, 2048, 2048, 2048, 2048, 
+  2048, 2048, 2048, 2048, 2048, 2048, 2048, 2048, 
+  2048, 2048, 2048, 2048, 2048, 2048, 2048, 2048, 
+  2048, 2048, 2048, 2048, 2048, 2048, 2048, 2048, 
+  2048, 2048, 2048, 2048, 2048, 2048, 2048, 2048, 
+  2048, 2048, 2048, 2048, 2048, 2048, 2048, 2048, 
+  2048, 2048, 2048, 2048, 2048, 2048, 2048, 2048, 
+  2048, 2048, 2048, 2048, 2048, 2048, 2048, 2048, 
+  2048, 2048, 2048, 2048, 2048, 2048, 2048, 2048, 
+  2048, 2048, 2048, 2048, 2048, 2048, 2048, 2048, 
+  2048, 2048, 2048, 2048, 2048, 2048, 2048, 2048, 
+  2048, 2048, 2048, 2048, 2048, 2048, 2048, 2048, 
+  2048, 2048, 2048, 2048, 2048, 2048, 2048, 2048, 
+  2048, 2048, 2048, 2048, 2048, 2048, 2048, 2048, 
+  2048, 2048, 2048, 2048, 2048, 2048, 2048, 2048, 
+  2048, 2048, 2048, 2048, 2048, 2048, 2048, 2048, 
+  2048, 2048, 2048, 2048, 2048, 2048, 2048, 2048, 
+  2048, 2048, 2048, 2048, 2048, 2048, 2048, 2048, 
+  2048, 2048, 2048, 2048, 2048, 2048, 2048, 2048, 
+  2048, 2048, 2048, 2048, 2048, 2048, 2048, 2048, 
+  2048, 2048, 2048, 2048, 2048, 2048, 2048, 2048, 
+  2048, 2048, 2048, 2048, 2048, 2048, 2048, 2048, 
+  2048, 2048, 2048, 2048, 2048, 2048, 2048, 2048, 
+  2048, 2048, 2048, 2048, 2048, 2048, 2048, 2048, 
+  2048, 2048, 2048, 2048, 2048, 2048, 2048, 2048, 
+  2048, 2048, 2048, 2048, 2048, 2048, 2048, 2048, 
+  2048, 2048, 2048, 2048, 2048, 2048, 2048, 2048, 
+  2048, 2048, 2048, 2048, 2048, 2048, 2048, 2048, 
+  2048, 2048, 2048, 2048, 2048, 2048, 2048, 2048, 
+  2048, 2048, 2048, 2048, 2048, 2048, 2048, 2048, 
+  2048, 2048, 2048, 2048, 2048, 2048, 2048, 2048, 
+  2048, 2048, 2048, 2048, 2048, 2048, 2048, 2048, 
+  2048, 2048, 2048, 2048, 2048, 2048, 2048, 2048, 
+  2048, 2048, 2048, 2048, 2048, 2048, 2048, 2048, 
+  2048, 2048, 2048, 2048, 2048, 2048, 2048, 2048, 
+  2048, 2048, 2048, 2048, 2048, 2048, 2048, 2048, 
+  2048, 2048, 2048, 2048, 2048, 2048, 2048, 2048, 
+  2048, 2048, 2048, 2048, 2048, 2048, 2048, 2048, 
+  2048, 2048, 2048, 2048, 2048, 2048, 2048, 2048, 
+  2048, 2048, 2048, 2048, 2048, 2048, 2048, 2048, 
+  2048, 2048, 2048, 2048, 2048, 2048, 2048, 2048, 
+  2048, 2048, 2048, 2048, 2048, 2048, 2048, 2048, 
+  2048, 2048, 2048, 2048, 2048, 2048, 2048, 2048, 
+  2048, 2048, 2048, 2048, 2048, 2048, 2048, 2048, 
+  2048, 2048, 2048, 2048, 2048, 2048, 2048, 2048, 
+  2048, 2048, 2048, 2048, 2048, 2048, 2048, 2048, 
+  2048, 2048, 2048, 2048, 2048, 2048, 2048, 2048, 
+  2048, 2048, 2048, 2048, 2048, 2048, 2048, 2048, 
+  2048, 2048, 2048, 2048, 2048, 2048, 2048, 2048, 
+  2048, 2048, 2048, 2048, 2048, 2048, 2048, 2048, 
+  2048, 2048, 2048, 2048, 2048, 2048, 2048, 2048, 
+  2048, 2048, 2048, 2048, 2048, 2048, 2048, 2048, 
+  2048, 2048, 2048, 2048, 2048, 2048, 2048, 2048, 
+  2048, 2048, 2048, 2048, 2048, 2048, 2048, 2048, 
+  2048, 2048, 2048, 2048, 2048, 2048, 2048, 2048, 
+  2048, 2048, 2048, 2048, 2048, 2048, 2048, 2048, 
+  2048, 2048, 2048, 2048, 2048, 2048, 2048, 2048, 
+  2048, 2048, 2048, 2048, 2048, 2048, 2048, 2048, 
+  2048, 2048, 2048, 2048, 2048, 2048, 2048, 2048, 
+  2048, 2048, 2048, 2048, 2048, 2048, 2048, 2048, 
+  2048, 2048, 2048, 2048, 2048, 2048, 2048, 2048, 
+  2048, 2048, 2048, 2048, 2048, 2048, 2048, 2048, 
+  2048, 2048, 2048, 2048, 2048, 2048, 2048, 2048, 
+  2048, 2048, 2048, 2048, 2048, 2048, 2048, 2048, 
+  2048, 2048, 2048, 2048, 2048, 2048, 2048, 2048, 
+  2048, 2048, 2048, 2048, 2048, 2048, 2048, 2048, 
+  2048, 2048, 2048, 2048, 2048, 2048, 2048, 2048, 
+  2048, 2048, 2048, 2048, 2048, 2048, 2048, 2048, 
+  2048, 2048, 2048, 2048, 2048, 2048, 2048, 2048, 
+  2048, 2048, 2048, 2048, 2048, 2048, 2048, 2048, 
+  2048, 2048, 2048, 2048, 2048, 2048, 2048, 2048, 
+  2048, 2048, 2048, 2048, 2048, 2048, 2048, 2048, 
+  2048, 2048, 2048, 2048, 2048, 2048, 2048, 2048, 
+  2048, 2048, 2048, 2048, 2048, 2048, 2048, 2048, 
+  2048, 2048, 2048, 2048, 2048, 2048, 2048, 2048, 
+  2048, 2048, 2048, 2048, 2048, 2048, 2048, 2048, 
+  2048, 2048, 2048, 2048, 2048, 2048, 2048, 2048, 
+  2048, 2048, 2048, 2048, 2048, 2048, 2048, 2048, 
+  2048, 2048, 2048, 2048, 2048, 2048, 2048, 2048, 
+  2048, 2048, 2048, 2048, 2048, 2048, 2048, 2048, 
+  2048, 2048, 2048, 2048, 2048, 2048, 2048, 2048, 
+  2048, 2048, 2048, 2048, 2048, 2048, 2048, 2048, 
+  2048, 2048, 2048, 2048, 2048, 2048, 2048, 2048, 
+  2048, 2048, 2048, 2048, 2048, 2048, 2048, 2048, 
+  2048, 2048, 2048, 2048, 2048, 2048, 2048, 2048, 

[... 11454 lines stripped ...]