PostgreSQL Source Code  git master
Data Structures | Typedefs | Functions | Variables
unicode_normprops_table.h File Reference
#include "common/unicode_norm.h"
Include dependency graph for unicode_normprops_table.h:
This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Data Structures

struct  pg_unicode_normprops
 
struct  pg_unicode_norminfo
 

Typedefs

typedef int(* qc_hash_func) (const void *key)
 

Functions

static int NFC_QC_hash_func (const void *key)
 
static int NFKC_QC_hash_func (const void *key)
 

Variables

static const pg_unicode_normprops UnicodeNormProps_NFC_QC []
 
static const pg_unicode_norminfo UnicodeNormInfo_NFC_QC
 
static const pg_unicode_normprops UnicodeNormProps_NFKC_QC []
 
static const pg_unicode_norminfo UnicodeNormInfo_NFKC_QC
 

Typedef Documentation

◆ qc_hash_func

typedef int(* qc_hash_func) (const void *key)

Definition at line 16 of file unicode_normprops_table.h.

Function Documentation

◆ NFC_QC_hash_func()

static int NFC_QC_hash_func ( const void *  key)
static

Definition at line 1262 of file unicode_normprops_table.h.

1263 {
1264  static const int16 h[2463] = {
1265  0, -2717, 0, 221, 1293, 223, 1295, 225,
1266  226, 241, 0, 229, 230, 231, 0, 0,
1267  0, 0, 0, 0, 0, 0, 0, 0,
1268  0, 0, 0, 0, 0, 0, 0, 0,
1269  -386, 0, 0, 0, 0, 0, 0, 0,
1270  -163, 0, 0, 0, 0, 0, 0, 0,
1271  0, 0, 0, 0, 0, 0, 0, 0,
1272  0, 0, 0, 0, 0, 0, 0, 0,
1273  -246, -175, 1260, 0, 0, 0, -174, -173,
1274  0, -172, 0, 0, 0, 0, 0, 0,
1275  1049, 0, 300, 301, 1071, 0, 1071, 0,
1276  1071, 1071, 1057, 0, 0, 0, 0, 1061,
1277  0, -1053, 1664, 0, 2956, 0, 0, -13,
1278  0, 0, 0, 0, 2156, 0, 0, 0,
1279  0, 0, 0, 0, 71, 0, 1082, 0,
1280  1083, 1083, 0, 1084, 0, 0, 0, 0,
1281  0, 0, 0, 0, 0, 0, 0, 0,
1282  0, 0, 0, 0, 0, 359, 360, 361,
1283  -1091, 363, -762, -130, -129, -128, -127, -126,
1284  137, -124, -708, -707, -706, -120, -185, -705,
1285  -117, -184, -1307, -114, -113, -112, -111, 0,
1286  386, 387, 388, 389, -90, 391, 171, 172,
1287  394, -94, -183, 397, 398, 399, -98, -225,
1288  402, -1019, -636, -1019, -225, 407, 408, 409,
1289  410, 411, 674, 413, -171, -170, -169, 417,
1290  352, -168, 420, 353, -770, 423, 424, 425,
1291  426, 427, 428, 32767, 239, 239, 239, 239,
1292  239, 239, 239, 239, 239, 239, 239, 239,
1293  239, 239, 32767, 32767, 237, 32767, 236, 32767,
1294  32767, 234, 234, 234, 234, 617, 234, 234,
1295  234, -2483, 234, -1430, 1526, -1430, 1527, 47,
1296  48, 471, 230, 32767, 32767, 32767, 227, 227,
1297  227, 227, 227, 227, 227, 227, 227, 227,
1298  227, 227, 227, 227, 227, 227, 227, 227,
1299  -159, 227, 227, 227, 227, 227, 227, 227,
1300  64, 227, 227, 227, 227, 227, 227, 227,
1301  227, 227, 227, 227, 227, 227, 227, 227,
1302  227, 227, 227, 227, 227, 227, 227, 227,
1303  -19, 52, 1487, 227, 227, 227, 53, 54,
1304  227, 55, 227, 227, 227, 227, 227, 227,
1305  1276, 227, -989, 32767, 1296, 225, 1296, 225,
1306  1296, 1296, 1282, 225, 225, 225, 225, 1286,
1307  225, -828, 1889, 225, 3181, 225, 225, 212,
1308  225, 225, 225, 225, 2381, 225, 225, 225,
1309  225, 225, 225, 225, 296, 225, 1307, 225,
1310  1308, 1308, 225, 1309, 225, 225, 225, 225,
1311  225, 225, 225, 225, 225, 225, 225, 225,
1312  225, 225, 225, 225, 225, 584, 585, 586,
1313  -866, 588, -537, 95, 96, 97, 98, 99,
1314  362, 101, -483, -482, -481, 105, 40, -480,
1315  108, 41, -1082, 111, 112, 113, 114, 225,
1316  611, 612, 613, 614, 135, 616, 396, 397,
1317  619, 131, 42, 622, 623, 624, 127, 0,
1318  627, -794, -411, -794, 0, 632, 32767, 32767,
1319  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
1320  -272, 32767, 32767, 32767, 0, 32767, 32767, 32767,
1321  32767, 32767, -166, -165, 32767, 32767, 32767, 32767,
1322  -164, 0, 0, 0, 0, 0, 0, 0,
1323  0, 0, 0, 0, 0, 0, 0, 0,
1324  0, 0, 0, 0, 0, 0, 0, 0,
1325  0, 0, 0, 0, 32767, 32767, 32767, 32767,
1326  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
1327  32767, 32767, 397, 32767, 396, 32767, 32767, 32767,
1328  32767, 32767, 32767, 32767, 32767, 32767, 32767, 386,
1329  0, 386, 386, 386, 386, 386, 386, 386,
1330  223, 386, 386, 386, 32767, 385, 385, 385,
1331  385, 385, 32767, 384, 32767, 383, 383, 32767,
1332  382, 382, 32767, 381, 381, 381, 381, 381,
1333  135, 206, 1641, 381, 32767, 32767, 32767, 32767,
1334  32767, 32767, -160, 32767, 32767, 32767, 32767, 32767,
1335  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
1336  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
1337  32767, 32767, 32767, 1148, 32767, 32767, 32767, 32767,
1338  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
1339  32767, 32767, 32767, 32767, 32767, 32767, 32767, 0,
1340  32767, 32767, 32767, 0, 0, 32767, 32767, 32767,
1341  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
1342  32767, -257, 32767, 32767, 32767, 32767, 32767, 32767,
1343  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
1344  32767, 32767, 32767, 32767, -910, -910, 32767, 32767,
1345  0, 32767, 0, 32767, 0, 32767, 0, 32767,
1346  147, 32767, 0, 32767, 0, 32767, 32767, 32767,
1347  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
1348  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
1349  32767, 32767, 0, 32767, 32767, 32767, 32767, 32767,
1350  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
1351  32767, 32767, 32767, 143, 32767, 144, 32767, 145,
1352  32767, 146, 32767, 0, 32767, 148, 32767, 149,
1353  32767, 32767, 32767, -160, 32767, 32767, 32767, 32767,
1354  32767, 32767, 15, 32767, 32767, 0, 32767, 32767,
1355  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
1356  145, 32767, 144, 32767, 32767, 32767, 32767, 32767,
1357  32767, 32767, 0, 32767, 32767, 32767, 32767, 32767,
1358  32767, 32767, 0, -148, 32767, 32767, 32767, 32767,
1359  32767, 32767, 2009, 32767, 32767, 32767, 32767, 32767,
1360  32767, 32767, 0, 32767, 32767, 135, -918, 32767,
1361  151, 32767, 32767, 0, 1, 2, 3, 4,
1362  133, 5, 6, 7, 8, 9, 10, 11,
1363  32767, 32767, -1248, 32767, 13, 154, 188, 188,
1364  32767, 32767, 32767, 32767, 32767, 155, 16, 32767,
1365  32767, 32767, 32767, 32767, 32767, -1853, -1054, 18,
1366  -1052, -1051, -1036, 22, 32767, 157, 32767, 28,
1367  23, 1077, 673, 25, -2930, 0, 32767, 32767,
1368  32767, 32767, 32767, 27, 32767, 155, 32767, 154,
1369  32767, 32767, -62, 28, -42, 30, -1051, 32,
1370  -1050, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
1371  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
1372  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
1373  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
1374  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
1375  32767, 32767, 32767, 32767, 32767, 32767, 32767, 34,
1376  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
1377  32767, 129, 32767, 32767, 32767, 32767, 32767, 32767,
1378  32767, 32767, 672, 32767, 32767, 32767, 32767, 32767,
1379  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
1380  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
1381  32767, 32767, 32767, 32767, 32767, 32767, 0, 32767,
1382  32767, 32767, 32767, 32767, -156, 32767, 32767, 32767,
1383  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
1384  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
1385  32767, 32767, 32767, 32767, 32767, -155, 32767, 32767,
1386  32767, 0, 0, 32767, 32767, 32767, 32767, 32767,
1387  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
1388  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
1389  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
1390  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
1391  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
1392  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
1393  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
1394  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
1395  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
1396  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
1397  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
1398  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
1399  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
1400  73, 32767, 32767, 32767, 32767, 74, 32767, 32767,
1401  32767, 32767, 32767, 32767, 32767, 32767, 32767, 675,
1402  32767, 32767, 32767, 32767, 32767, 75, 32767, 32767,
1403  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
1404  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
1405  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
1406  32767, 32767, 165, 32767, 32767, 32767, 166, 167,
1407  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
1408  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
1409  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
1410  32767, 32767, 170, 32767, 32767, 32767, 32767, 32767,
1411  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
1412  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
1413  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
1414  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
1415  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
1416  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
1417  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
1418  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
1419  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
1420  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
1421  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
1422  32767, 689, 690, 691, 692, 693, 694, 695,
1423  696, 697, 698, 699, 700, 701, 702, 703,
1424  704, 705, 706, 707, 708, 709, 710, 711,
1425  712, 713, 714, 715, 716, 717, 718, 719,
1426  720, 721, 722, -304, -303, -302, -301, -300,
1427  -299, -298, -297, 930, -295, -294, -293, -292,
1428  -291, -290, -289, -288, -287, -286, -285, -284,
1429  -283, -282, -281, -280, -279, -278, -277, -276,
1430  -275, 753, 754, 755, 646, 757, -712, -1765,
1431  952, -712, 2244, -712, 2245, 765, 766, 767,
1432  768, 125, 770, 771, 772, 773, 774, 775,
1433  603, 777, 778, 779, 780, 781, 782, 783,
1434  784, 2011, 786, 787, 788, 789, 790, 791,
1435  792, 793, 794, 795, 796, 797, 798, 799,
1436  800, 801, 802, 803, 804, 805, 806, 603,
1437  603, 809, 603, 811, 603, 603, 814, 815,
1438  816, 817, 435, 819, 820, 821, 3539, 823,
1439  603, -468, 603, -468, 603, 603, 589, 831,
1440  603, 603, 603, 835, 836, 837, 838, 839,
1441  840, 841, 842, 843, 844, 845, 846, 847,
1442  848, 849, 850, 851, 852, 1239, 854, 855,
1443  856, 857, 858, 859, 860, 1024, 862, 863,
1444  864, 865, 866, 867, 868, 869, 870, 871,
1445  872, 873, 874, 875, 876, 877, 878, 879,
1446  880, 881, 882, 883, 884, 1131, 1061, -373,
1447  888, 889, 890, 1065, 1065, 893, 1066, 895,
1448  896, 897, 898, 899, 900, -148, 902, 603,
1449  603, -166, 906, -164, 908, -162, -161, -146,
1450  912, 913, 914, 915, -145, 917, 1971, -745,
1451  920, -2035, 922, 923, 937, 925, 926, 927,
1452  928, -1227, 930, 931, 932, 933, 934, 935,
1453  936, 866, 938, -143, 940, -142, -141, 943,
1454  -140, 32767, 945, 946, 947, 948, 949, 950,
1455  951, 952, 953, 954, 955, 956, 957, 958,
1456  959, 960, 961, -65, -64, -63, -62, -61,
1457  -60, -59, -58, 1169, -56, -55, -54, -53,
1458  -52, -51, -50, -49, -48, -47, -46, -45,
1459  -44, -43, -42, -41, -40, -39, -38, -37,
1460  -36, 992, 993, 994, 885, 996, -473, -1526,
1461  1191, -473, 2483, -473, 2484, 1004, 1005, 1006,
1462  1007, 364, 1009, 1010, 1011, 1012, 1013, 1014,
1463  842, 1016, 1017, 1018, 1019, 1020, 1021, 1022,
1464  1023, 2250, 1025, 1026, 1027, 1028, 1029, 1030,
1465  1031, 1032, 1033, 1034, 1035, 1036, 1037, 1038,
1466  1039, 1040, 1041, 1042, 1043, 1044, 1045, 842,
1467  842, 1048, 842, 1050, 842, 842, 1053, 1054,
1468  1055, 1056, 674, 1058, 1059, 1060, 3778, 1062,
1469  842, -229, 842, -229, 842, 842, 828, 1070,
1470  842, 842, 842, 1074, 1075, 1076, 1077, 1078,
1471  1079, 1080, 1081, 1082, 1083, 1084, 1085, 1086,
1472  1087, 1088, 1089, 1090, 1091, 1478, 1093, 1094,
1473  1095, 1096, 1097, 1098, 1099, 1263, 1101, 1102,
1474  1103, 1104, 1105, 1106, 1107, 1108, 1109, 1110,
1475  1111, 1112, 1113, 1114, 1115, 1116, 1117, 1118,
1476  1119, 1120, 1121, 1122, 1123, 1370, 1300, -134,
1477  1127, 1128, 1129, 1304, 1304, 1132, 1305, 1134,
1478  1135, 1136, 1137, 1138, 1139, 91, 1141, 842,
1479  842, 73, 1145, 75, 1147, 77, 78, 93,
1480  1151, 1152, 1153, 1154, 94, 1156, 2210, -506,
1481  1159, -1796, 1161, 1162, 1176, 1164, 1165, 1166,
1482  1167, -988, 1169, 1170, 1171, 1172, 1173, 1174,
1483  1175, 1105, 1177, 96, 1179, 97, 98, 1182,
1484  99, 1184, 1185, 1186, 1187, 1188, 1189, 1190,
1485  1191, 1192, 1193, 1194, 1195, 1196, 1197, 1198,
1486  1199, 1200, 0, 174, 175, 176, 177, 178,
1487  179, 180, 181, 1408, 183, 184, 185, 186,
1488  187, 188, 189, 190, 191, 192, 193, 194,
1489  195, 196, 197, 198, 199, 200, 201, 202,
1490  203, 0, 0, 206, 0, 208, 0, 0,
1491  211, 212, 213, 214, -168, 216, 217, 218,
1492  2936, 220, 0, -1071, 0, -1071, 0, 0,
1493  -14, 228, 0, 0, 0, 232, 233, 234,
1494  235, 236, 237, 238, 239, 240, 241, 242,
1495  243, 244, 245, 246, 247, 248, 249, 636,
1496  251, 252, 253, 254, 255, 256, 257, 421,
1497  259, 260, 261, 262, 263, 264, 265, 266,
1498  267, 268, 269, 270, 271, 272, 273, 274,
1499  275, 276, 277, 278, 279, 280, 281, 528,
1500  458, -976, 285, 286, 287, 462, 462, 290,
1501  463, 292, 293, 294, 295, 296, 297, -751,
1502  299, 0, 0, -769, 303, -767, 305, -765,
1503  -764, -749, 309, 310, 311, 312, -748, 314,
1504  1368, -1348, 317, -2638, 319, 320, 334, 322,
1505  323, 324, 325, -1830, 327, 328, 329, 330,
1506  331, 332, 333, 263, 335, -746, 337, -745,
1507  -744, 340, -743, 342, 343, 344, 345, 346,
1508  347, 348, 349, 350, 351, 352, 353, 354,
1509  355, 356, 357, 358, 0, 0, 0, 1453,
1510  0, 1126, 495, 495, 495, 495, 495, 233,
1511  495, 1080, 1080, 1080, 495, 561, 1082, 495,
1512  563, 1687, 495, 495, 495, 495, 385, 0,
1513  0, 0, 0, 480, 0, 221, 221, 0,
1514  489, 579, 0, 0, 0, 498, 626, 0,
1515  1422, 1040, 1424, 631, 0, 0, 0, 0,
1516  0, -262, 0, 585, 585, 585, 0, 66,
1517  587, 0, 68, 1192, 0, 0, 0, 0,
1518  0, 0, 32767, 32767, 32767, 32767, 669, 32767,
1519  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
1520  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
1521  32767, 32767, 32767, 32767, 32767, 32767, 32767, 670,
1522  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
1523  32767, 32767, 142, 32767, 32767, 32767, 32767, 32767,
1524  32767, 32767, 115, 116, 117, 118, 119, 120,
1525  121, 122, 123, 124, 125, 126, 127, 128,
1526  129, 130, 131, 132, 133, 134, 135, 136,
1527  137, 138, 139, 140, 141, 32767, 32767, 32767,
1528  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
1529  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
1530  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
1531  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
1532  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
1533  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
1534  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
1535  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
1536  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
1537  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
1538  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
1539  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
1540  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
1541  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
1542  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
1543  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
1544  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
1545  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
1546  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
1547  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
1548  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
1549  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
1550  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
1551  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
1552  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
1553  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
1554  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
1555  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
1556  32767, 32767, 32767, 0, 0, 0, 0, 0,
1557  0, 0, 0, 0, 0, 0, 0, 0,
1558  0, 0, 0, 0, 0, 0, 0, 0,
1559  0, 0, 0, 0, 0, 0, 0, 0,
1560  0, 0, 0, 0, 0, 1027, 1027, 1027,
1561  1027, 1027, 1027, 1027, 1027, -199, 1027, 1027,
1562  1027, 1027, 1027, 1027, 1027, 1027, 1027, 1027,
1563  1027, 1027, 1027, 1027, 1027, 1027, 1027, 1027,
1564  1027, 1027, 1027, 0, 0, 0, 110, 0,
1565  1470, 2524, -192, 1473, -1482, 1475, -1481, 0,
1566  0, 0, 0, 644, 0, 0, 0, 0,
1567  0, 0, 173, 0, 0, 0, 0, 0,
1568  0, 0, 0, -1226, 0, 0, 0, 0,
1569  0, 0, 0, 0, 0, 0, 0, 0,
1570  0, 0, 0, 0, 0, 0, 0, 0,
1571  0, 204, 205, 0, 207, 0, 209, 210,
1572  0, 0, 0, 0, 383, 0, 0
1573  };
1574 
1575  const unsigned char *k = (const unsigned char *) key;
1576  size_t keylen = 4;
1577  uint32 a = 0;
1578  uint32 b = 0;
1579 
1580  while (keylen--)
1581  {
1582  unsigned char c = *k++;
1583 
1584  a = a * 257 + c;
1585  b = b * 17 + c;
1586  }
1587  return h[a % 2463] + h[b % 2463];
1588 }
uint32
unsigned int uint32
Definition: c.h:495
int16
signed short int16
Definition: c.h:482
b
int b
Definition: isn.c:70
a
int a
Definition: isn.c:69
c
char * c
Definition: preproc-cursor.c:31

References a, b, and sort-test::key.

◆ NFKC_QC_hash_func()

static int NFKC_QC_hash_func ( const void *  key)
static

Definition at line 6641 of file unicode_normprops_table.h.

6642 {
6643  static const int16 h[10079] = {
6644  3542, 3543, 3544, 3545, 3546, 3547, 3548, 3549,
6645  3550, 3551, 3552, 3553, 3554, 3555, 3556, 3557,
6646  3558, 3559, 3560, 3561, 3562, 3563, 3564, 3565,
6647  3566, 3567, 3568, 3569, 3570, 3571, 3572, 3573,
6648  3574, 3575, 3576, 3577, 3578, 3579, 3580, 3581,
6649  3582, 3583, 3584, 3585, 3586, 3587, 3588, 3589,
6650  3590, 3591, 3592, 3593, 3594, 3595, 3596, 3597,
6651  3598, 3599, 3600, 3601, 3602, 3603, 3604, 3605,
6652  3606, 3607, 3608, 3970, 3488, 3611, 3612, 3613,
6653  3614, 3615, 3616, 3617, 3618, 7967, 3620, 3621,
6654  3622, 3623, 3624, 3625, 3626, 3627, 3628, 3629,
6655  3630, 3631, 3632, 3633, 3634, 3512, 3636, 3637,
6656  3638, 3639, 32767, 11118, 11119, 11120, 11121, 11122,
6657  1470, 11124, 11125, 11126, 11127, 11128, 11129, 11130,
6658  11131, 11132, -287, 8773, 8774, 8775, 8776, 8777,
6659  8778, -287, 8781, 8782, -287, 8783, 8784, 8785,
6660  8786, 8787, 8788, 8789, 8790, 8791, -287, -287,
6661  -287, -287, -287, -287, -287, -287, -287, -287,
6662  -287, -287, -287, -287, -287, -287, -287, -287,
6663  -287, 2372, -287, -287, -287, -287, -287, -287,
6664  -287, -287, -287, 2458, 2458, 2458, 2458, 2458,
6665  2458, 2458, 2458, 2458, -287, -287, -287, -5017,
6666  5765, -287, -5019, -5019, -5019, -5019, -287, -287,
6667  4632, -5021, -5021, -287, -5022, -5022, -5022, 3732,
6668  -287, -287, 3735, 3736, -287, -287, -287, -287,
6669  -287, -287, -287, -287, -287, -287, -287, -287,
6670  4994, 2491, 2491, -287, -287, -287, 6887, -287,
6671  -287, -287, -287, -287, -287, -287, -287, -287,
6672  -287, -287, -287, -287, -287, -287, -287, -287,
6673  -287, -287, -287, -287, -287, -287, -287, -287,
6674  -287, -287, -287, -287, -287, -287, -287, -287,
6675  -287, -287, -287, -287, -287, -287, -287, -287,
6676  -287, -287, -287, -287, -287, -287, -287, -287,
6677  -287, 32767, 32767, -289, 1778, 629, 3809, 3810,
6678  -3050, -287, -287, -287, -287, -287, -287, -287,
6679  -287, -287, -287, -287, -287, -287, -287, -287,
6680  -287, -287, -287, -287, -287, -287, -287, -287,
6681  -287, -287, -287, -287, -287, -287, -287, -287,
6682  -287, -287, -287, -287, -287, -287, -287, -287,
6683  -287, -287, -287, -287, -287, -287, -287, -287,
6684  -287, -287, 3861, 3862, 3863, 3864, 3865, 3866,
6685  3867, 3868, -1002, 3870, 3871, 3872, 3873, 3874,
6686  3875, 3876, 3877, 3878, 3879, 3880, 3881, 3882,
6687  3883, 3884, 3885, 3886, 3887, 3888, 3889, 3890,
6688  3891, 3892, 3893, 32767, 3392, 3392, 3392, -5411,
6689  3392, 3392, 3392, 3392, 3392, 3392, 3392, 3392,
6690  3392, 3392, 224, 225, 226, 3392, 227, 228,
6691  -5998, -5998, 3392, -5998, -5, 0, -5997, -5997,
6692  -7477, 3923, -7478, -7478, -7478, -7478, -7478, -7478,
6693  -7478, -7478, 2175, -7478, -7478, -7478, -7478, -7478,
6694  -7478, -7478, -7478, -7478, 3942, -5117, -5117, -5117,
6695  -5117, -5117, -5117, 3949, -5118, -5118, 3952, -5117,
6696  -5117, -5117, -5117, -5117, -5117, -5117, -5117, -5117,
6697  3962, 3963, 3964, 3965, 3966, 3967, 3968, 3969,
6698  3970, 3971, 3972, 3973, 3974, 3975, 3976, 3977,
6699  3978, 3979, 3980, 1322, 3982, 3983, 3984, 3985,
6700  3986, 3987, 3988, 3989, 3990, 1246, 1247, 1248,
6701  1249, 1250, 1251, 1252, 1253, 1254, 4000, 4001,
6702  4002, 8733, -2048, 4005, 8738, 8739, 8740, 8741,
6703  4010, 4011, -907, 8747, 8748, 4015, 8751, 8752,
6704  8753, 0, 4020, 4021, 0, 0, 4024, 4025,
6705  4026, 4027, 4028, 4029, 4030, 4031, 4032, 4033,
6706  4034, 4035, -1245, 1259, 1260, 4039, 4040, 4041,
6707  -3132, 4043, 4044, 4045, 4046, 4047, 4048, 4049,
6708  4050, 4051, 4052, 4053, 4054, 4055, 4056, 4057,
6709  4058, 4059, 4060, 4061, 4062, 4063, 4064, 4065,
6710  4066, 4067, 4068, 4069, 4070, 4071, 4072, 4073,
6711  4074, 4075, 4076, 4077, 4078, 4079, 4080, 4081,
6712  4082, 4083, 4084, 4085, 4086, 4087, 4088, 4089,
6713  4090, 4091, 4092, 4093, 4094, 4095, 2029, 3179,
6714  0, 0, 6861, 4099, 4100, 4101, 4102, 4103,
6715  4104, 4105, 4106, 4107, 4108, 4109, 4110, 4111,
6716  4112, 4113, 4114, 4115, 4116, 4117, 4118, 4119,
6717  4120, 4121, 4122, 4123, 4124, 4125, 4126, 4127,
6718  4128, 4129, 4130, 4131, 4132, 4133, 4134, 4135,
6719  4136, 4137, 4138, 4139, 4140, 4141, 4142, 4143,
6720  4144, 4145, 4146, 4147, 0, 0, 0, 0,
6721  0, 0, 0, 0, 4871, 0, 0, 0,
6722  0, 0, 0, 0, 0, 0, 0, 0,
6723  0, 0, 0, 0, 0, 0, 0, 0,
6724  0, 0, 0, 0, 0, 32767, 32767, 32767,
6725  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
6726  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
6727  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
6728  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
6729  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
6730  32767, 32767, -1786, -1785, -1784, -1783, -1782, 5982,
6731  -630, -48, -48, 32767, 32767, 32767, 32767, 32767,
6732  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
6733  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
6734  32767, 32767, 32767, 32767, 32767, 32767, 32767, 677,
6735  32767, 32767, -636, -635, 1019, -3373, 1019, 1019,
6736  1019, 1019, 1019, 1019, 1019, 1019, 1019, 1019,
6737  1019, 1019, 1019, 1019, 1019, -685, -684, -683,
6738  -682, -681, -6170, -679, -678, 2476, 2477, -6912,
6739  2479, -3513, 3959, 2482, 2483, 3964, 3965, 3966,
6740  3967, 3968, 3969, 3970, 3971, 3972, 55, 56,
6741  2495, 57, 58, 59, 60, 61, 62, 63,
6742  2503, 2504, 64, 2506, 65, 2508, 66, 67,
6743  2511, 2512, 32767, 32767, 32767, 32767, 68, 32767,
6744  32767, 32767, 32767, 32767, 32767, 32767, 69, 70,
6745  71, 72, 73, 74, 1140, 2514, 2515, 422,
6746  75, 2518, -1594, 556, 557, 2522, 2523, 2524,
6747  2525, 422, 422, 422, 422, 422, 422, 422,
6748  422, 422, 422, 422, 422, 422, 422, 422,
6749  422, 422, 422, 422, 422, 422, 422, 422,
6750  422, 422, 422, 422, 422, 422, 422, 422,
6751  422, 422, 422, 422, 422, 422, 422, 422,
6752  422, 422, 422, 422, 422, 422, 422, -2277,
6753  -2277, -2277, -2277, -2277, 32767, 32767, -2279, -2279,
6754  -2279, -2279, -2279, -2279, -2279, -2279, -2279, 86,
6755  -2279, -2279, -2279, -2279, -2279, 87, -2279, -2279,
6756  -2279, 88, -2279, -2279, -2279, -2279, -2279, 89,
6757  453, 453, 453, 453, 453, 453, 2609, 453,
6758  453, 453, 453, 453, 453, 453, 453, 453,
6759  453, 453, 453, 1817, 453, 453, 453, 453,
6760  453, 453, 453, 453, 32767, 32767, 32767, 681,
6761  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
6762  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
6763  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
6764  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
6765  32767, 32767, 32767, 32767, -2319, 2632, -2319, -2319,
6766  -2319, 2636, 2637, 92, 2639, 2640, 95, 96,
6767  97, 98, 32767, 32767, 32767, 32767, 32767, 32767,
6768  32767, 32767, 3279, 3280, 3281, 3282, 3283, 3284,
6769  3285, 3286, 3287, 3288, 3289, 3290, 3291, 3292,
6770  -384, -1535, -385, -385, 0, 3298, 3299, 3300,
6771  3301, 3302, 3303, 3304, -8646, -1149, -1148, -1147,
6772  -1146, 32767, 3310, 3311, 3312, 3313, 3314, -1140,
6773  -1139, -1138, -1137, -1136, -1135, -1134, -1133, -1132,
6774  3324, 3325, 3326, 3327, 3328, 3329, 3330, 3331,
6775  3332, 3333, 3334, 3335, 3336, 3337, 3338, 3339,
6776  3340, 3341, 3342, 3343, 3344, -1327, -1327, -1327,
6777  -1327, -1327, 32767, 32767, 2346, 32767, 32767, 32767,
6778  32767, 32767, 3350, 335, 3245, 8185, 1818, 666,
6779  1818, 795, 795, 1818, 1818, 1818, 1818, 1818,
6780  -5945, 668, 87, 88, 89, 90, 91, 92,
6781  93, 94, 95, 0, 0, 671, 671, 671,
6782  671, 671, 0, 0, 673, 673, 673, 0,
6783  674, 0, 675, 0, 676, 0, 677, 677,
6784  677, 32767, 0, 677, 677, -976, 3417, -974,
6785  -973, 678, 678, -972, -971, -970, -969, -968,
6786  1152, 1153, 1154, 1155, 1156, 0, 1022, 1022,
6787  5615, -6335, 1162, 1163, 1164, 1165, 5621, 5622,
6788  5623, 5624, 5625, 5626, 1172, 1173, 1174, 1175,
6789  1176, 1177, 1178, 1179, 1180, 1181, 1182, 1183,
6790  1184, 1185, 1186, 1187, 1188, 1189, 1190, 1191,
6791  1192, 1193, 9997, 1195, 1196, 1197, 1198, 1199,
6792  1200, 1201, 1202, 1203, 1204, 4373, 4373, 4373,
6793  1208, 4374, 4374, 10601, 10602, 1213, 10604, 4612,
6794  4608, 10606, 10607, 12088, 1220, 1221, 1222, 1223,
6795  1224, 1225, 1226, 2453, 2454, 2455, 2456, 2457,
6796  2458, 2459, 2460, 2461, 2462, 2463, 2464, 2465,
6797  2466, 2467, 6860, 2469, 2470, 2471, 2472, 2473,
6798  2474, 2475, 2476, 2477, 2478, 2479, 2480, 2481,
6799  2482, 2483, 2484, 258, 2486, 2487, 258, 258,
6800  0, 0, 32767, 32767, 32767, 32767, 32767, 32767,
6801  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
6802  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
6803  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
6804  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
6805  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
6806  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
6807  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
6808  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
6809  32767, 32767, 32767, 32767, 32767, 32767, 5673, 5674,
6810  0, 5677, 0, 5680, 5681, 5682, 5683, 5684,
6811  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
6812  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
6813  32767, 682, 683, 32767, 32767, 32767, 32767, 32767,
6814  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
6815  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
6816  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
6817  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
6818  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
6819  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
6820  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
6821  32767, 32767, 32767, 32767, 105, 32767, 32767, 32767,
6822  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
6823  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
6824  2315, 4754, 2316, 2317, 2318, 2319, 2320, 2321,
6825  2322, 4762, 4763, 2323, 4765, 2324, 4767, 2325,
6826  2326, 4770, 4771, 4772, 2377, 4774, 4775, 4776,
6827  4777, 4778, 4779, 4780, 4781, 4782, 4783, 4784,
6828  4785, 4786, 4787, 4788, 4789, 3417, 4791, 4792,
6829  2699, 2352, 4795, 683, 2833, 2834, 4799, 4800,
6830  4801, 4802, 2699, 2699, 2699, 2699, 2699, 2699,
6831  2699, 2699, 2699, 2699, 2699, 2699, 2699, 2699,
6832  2699, 2699, 2699, 2699, 2699, 2699, 2699, 2699,
6833  2699, 2699, 2699, 2699, 2699, 2699, 2699, 2699,
6834  2699, 2699, 2699, 2699, 2699, 2699, 2699, 2699,
6835  2699, 2699, 2699, 2699, 2699, 2699, 2699, 2699,
6836  0, 0, 0, 0, 0, 0, 0, 0,
6837  0, 0, 0, 0, 0, 0, 0, 0,
6838  2365, 0, 0, 0, 0, 0, 2366, 0,
6839  0, 0, 2367, 0, 0, 0, 0, 0,
6840  2368, 2732, 2732, 2732, 2732, 2732, 2732, 4888,
6841  2732, 2732, 2732, 2732, 2732, 2732, 2732, 2732,
6842  2732, 2732, 2732, 2732, 4096, 2732, 2732, 2732,
6843  2732, 2732, 2732, 2732, 2732, 2732, 2732, 2732,
6844  2732, 2732, 2732, 2732, 2732, 2732, 2732, 2732,
6845  2732, 2732, 2732, 2732, 2732, 2732, 4927, 0,
6846  0, 0, 0, 0, 4933, 0, 0, 0,
6847  0, -2910, 0, 4940, 4941, 4942, 0, 0,
6848  0, 0, 0, 0, 0, 0, 4951, 0,
6849  0, 0, 4955, 4956, 2411, 4958, 4959, 2414,
6850  2415, 2416, 0, 10954, 0, 3436, 0, 0,
6851  0, 0, 0, -3170, -3169, -3168, -3167, 3446,
6852  2865, 0, 0, 0, 0, 0, 2339, 2339,
6853  2339, 2339, 2339, 2339, 2339, 2339, 2892, 2339,
6854  0, 0, 0, 0, 0, 0, 2907, 0,
6855  0, 0, 0, 0, 0, 4719, 0, 0,
6856  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
6857  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
6858  32767, 32767, 32767, 1856, 868, 868, 868, 868,
6859  868, 868, 868, 868, 868, 868, 868, 1856,
6860  1856, 1856, 1856, 1856, 873, 873, 873, 873,
6861  873, 873, 873, 873, 873, 873, 873, 873,
6862  873, 873, 873, 873, 873, 6441, 6442, 6443,
6863  6444, 6445, 6446, 6447, 6448, 6449, 6450, 6451,
6864  6452, -1169, 6454, 6455, 6456, 6457, 6458, 6459,
6865  6460, 6461, 6462, 6463, 6464, 6465, 6466, 6467,
6866  6468, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
6867  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
6868  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
6869  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
6870  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
6871  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
6872  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
6873  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
6874  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
6875  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
6876  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
6877  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
6878  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
6879  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
6880  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
6881  32767, 32767, 32767, 32767, 32767, 32767, -3334, 32767,
6882  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
6883  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
6884  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
6885  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
6886  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
6887  32767, 32767, 32767, 32767, -766, 32767, 32767, 32767,
6888  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
6889  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
6890  32767, -1530, 32767, 32767, 32767, 32767, 32767, 32767,
6891  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
6892  32767, 32767, 686, 32767, 32767, 32767, 32767, 32767,
6893  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
6894  687, 688, 689, 690, 691, 692, 693, 694,
6895  695, 2465, 697, 698, 699, 700, 701, 702,
6896  703, 704, 705, 2484, 707, 708, 709, 710,
6897  2493, 712, 713, 714, 715, 2502, 717, 718,
6898  719, 720, 2511, 722, 723, 724, 725, 726,
6899  727, 728, 729, 730, 731, 732, 733, 2536,
6900  735, 736, 737, 738, 739, 740, 741, 742,
6901  743, 2555, 745, 2558, 2559, 2560, 2561, 2562,
6902  751, 752, 753, 754, 755, 756, 757, 2577,
6903  759, 760, 761, 762, 763, 764, 1224, 1224,
6904  767, 768, 769, 770, 3787, 772, 773, 774,
6905  775, 776, 777, 778, 779, 780, 781, 782,
6906  783, 784, 785, 786, 787, 788, 789, 790,
6907  791, 792, 793, 794, 795, 796, 797, 798,
6908  799, 800, 801, 802, 803, 804, 805, 806,
6909  807, 808, 809, 810, 811, 812, 813, 814,
6910  815, 816, 817, 818, 819, 820, 821, 822,
6911  823, 824, 825, 826, 827, 828, 829, 830,
6912  831, 832, 833, 834, 835, 836, 837, 838,
6913  839, 840, 841, 842, 843, 844, 845, 846,
6914  847, 848, 849, 850, 851, 852, 853, 854,
6915  855, 856, 857, 858, 859, 860, 861, 862,
6916  863, 864, 865, 866, 867, 868, 869, 870,
6917  871, 872, 873, 874, 875, 876, 877, 878,
6918  879, 880, 881, 882, 883, 884, 885, 886,
6919  887, 888, 889, 890, 891, 892, 893, 894,
6920  895, 896, 897, 898, 899, 900, 32767, 32767,
6921  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
6922  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
6923  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
6924  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
6925  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
6926  32767, 901, 32767, 32767, 32767, 32767, 32767, 32767,
6927  32767, 32767, 32767, 32767, 32767, 32767, 32767, -1268,
6928  32767, 32767, 32767, 32767, 32767, -984, -984, -2101,
6929  -2101, -2101, -2101, 32767, 3402, 3403, -985, -985,
6930  32767, 32767, 0, -986, -986, -986, -986, -986,
6931  -986, -986, 32767, -987, -987, -987, -987, -987,
6932  -987, -987, 32767, -988, -988, -988, -988, -1746,
6933  -988, -1747, -1747, -1194, -988, -988, -988, -988,
6934  -988, -988, -988, 0, 0, 0, 0, 0,
6935  0, 0, 0, 0, 0, 0, 0, 32767,
6936  0, 0, 0, 321, 32767, 0, 0, 0,
6937  0, 0, 32767, 0, 32767, 32767, 32767, -968,
6938  0, 0, 0, 0, 0, 0, 32767, 0,
6939  0, 0, 0, 0, 0, 0, 0, 0,
6940  0, 0, 0, 0, 333, 113, 333, 2915,
6941  333, 333, 0, 0, 0, 0, 0, 0,
6942  0, 0, 0, -934, 0, 0, 0, 0,
6943  0, 0, 0, 0, 0, 0, 0, 0,
6944  0, 0, 0, 0, 0, 0, 0, 0,
6945  0, 0, 0, 0, 0, 0, 0, 0,
6946  0, 0, 0, 0, 0, 0, 0, 0,
6947  0, 0, 0, 0, 0, 0, 0, 0,
6948  0, 0, 0, 0, 0, 0, 0, 0,
6949  0, 0, 0, 0, 0, 0, 0, 0,
6950  0, 0, 0, 0, 0, 0, 0, 0,
6951  0, 0, 0, 0, 0, 0, 0, 0,
6952  0, 0, 0, 0, 0, 0, 0, 0,
6953  0, 0, 0, 0, 0, 0, 0, 0,
6954  0, 0, 0, 0, 0, 0, 0, 0,
6955  0, 0, 0, 0, 0, 0, 0, 0,
6956  0, 0, 0, 0, 0, 0, -361, 122,
6957  0, 0, 0, 0, 0, 0, 0, 0,
6958  -4348, 0, 0, 0, 0, 0, 0, 0,
6959  0, 0, 0, 0, 0, 0, 0, 0,
6960  123, 0, 0, 0, 0, -3819, -3818, 32767,
6961  126, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
6962  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
6963  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
6964  32767, 32767, 32767, 5367, 5368, 914, 915, 916,
6965  917, 918, 919, 920, 921, 922, 923, 924,
6966  925, 926, 927, 928, 929, 930, 931, 932,
6967  933, 934, 935, 9739, 937, 938, 939, 940,
6968  941, 942, 943, 944, 945, 946, 4115, 4115,
6969  4115, 950, 4116, 4116, 10343, 10344, 955, 10346,
6970  4354, 4350, 10348, 10349, 11830, 962, 963, 964,
6971  965, 966, 967, 968, 2195, 2196, 2197, 2198,
6972  2199, 2200, 2201, 2202, 2203, 2204, 2205, 2206,
6973  2207, 2208, 2209, 6602, 2211, 2212, 2213, 2214,
6974  2215, 2216, 2217, 2218, 2219, 2220, 2221, 2222,
6975  2223, 2224, 2225, 2226, 0, 2228, 2229, 0,
6976  0, 2232, 0, 129, 2235, 2236, -260, -260,
6977  2239, 2240, 2241, 2242, -260, 2244, 2245, 2246,
6978  2247, 2248, 2249, 2250, 2251, 2252, 2253, -2259,
6979  -2259, -2259, -2259, -2259, -2259, -2259, -2259, -2259,
6980  -2259, 2264, 2265, -2259, 2267, 2268, 2269, 2270,
6981  2271, 2272, 2273, 2274, 2275, 2276, 2277, 2278,
6982  -2729, 2280, 2281, 2282, 2283, 2284, 2285, 2286,
6983  2287, 2288, 2289, 2290, 2291, 2292, 3281, 3282,
6984  3283, 3284, 3285, 3286, 3287, 3288, 3289, 3290,
6985  3291, 2304, 2305, 2306, 2307, 2308, 3292, 3293,
6986  3294, 3295, 3296, 3297, 3298, 3299, 3300, 3301,
6987  3302, 3303, 3304, 3305, 3306, 3307, 3308, -2259,
6988  -2259, -2259, -2259, -2259, -2259, -2259, -2259, -2259,
6989  -2259, -2259, -2259, 5363, -2259, -2259, -2259, -2259,
6990  -2259, -2259, -2259, -2259, -2259, -2259, -2259, -2259,
6991  -2259, -2259, -2259, -2259, -2259, -2259, -2259, -2259,
6992  -2259, 1418, 2570, 1421, 1422, 1038, -2259, -2259,
6993  -2259, -2259, -2259, -2259, -2259, 9692, 2196, 2196,
6994  2196, 2196, -2259, -2259, -2259, -2259, -2259, -2259,
6995  2196, 2196, 2196, 2196, 2196, 2196, 2196, 2196,
6996  2196, -2259, -2259, -2259, -2259, -2259, -2259, -2259,
6997  -2259, -2259, -2259, -2259, -2259, -2259, -2259, -2259,
6998  -2259, -2259, -2259, -2259, -2259, -2259, 2413, 2414,
6999  2415, 2416, 2417, 2418, 2419, 301, 302, 760,
7000  -2259, -2259, -2259, -2259, 757, -2152, -7091, -723,
7001  430, -721, 303, 304, -718, -717, -716, -715,
7002  -714, 7050, 438, 1020, 1020, 1020, 1020, 1020,
7003  1020, 1020, 1020, 1020, 1116, 1117, 447, 448,
7004  449, 450, 451, 1123, 1124, 452, 453, 454,
7005  1128, 455, 1130, 456, 1132, 457, 1134, 458,
7006  459, 460, 461, 1138, 462, 463, 2117, -2275,
7007  2117, 2117, 467, 468, 2119, 2119, 2119, 2119,
7008  2119, 0, 0, 0, 0, 0, 1157, 136,
7009  137, -4455, 7496, 0, 0, 0, 0, -4455,
7010  -4455, -4455, -4455, -4455, -4455, 0, 0, 0,
7011  0, 0, 0, 0, 0, 0, 0, 0,
7012  0, 0, 0, 0, 0, 0, 0, 0,
7013  0, 0, 0, -8803, 0, 0, 0, 0,
7014  0, 0, 0, 0, 0, 0, -3168, -3167,
7015  -3166, 0, -3165, -3164, -9390, -9390, 0, -9390,
7016  -3397, -3392, -9389, -9389, -10869,0, 0, 0,
7017  0, 0, 0, 0, -1226, -1226, -1226, -1226,
7018  -1226, -1226, -1226, -1226, -1226, -1226, -1226, -1226,
7019  -1226, -1226, -1226, -5618, -1226, -1226, -1226, -1226,
7020  -1226, -1226, -1226, -1226, -1226, -1226, -1226, -1226,
7021  -1226, -1226, -1226, -1226, 1001, -1226, -1226, 1004,
7022  1005, 1264, 1265, 32767, -1229, -1229, 1268, 1269,
7023  -1229, -1229, -1229, -1229, 1274, -1229, -1229, -1229,
7024  -1229, -1229, 139, 1281, 1282, 1283, 1284, 1285,
7025  1286, 1287, 1288, 1289, 1290, 1291, 1292, 1293,
7026  1294, 1295, 1296, 1297, 1298, 1299, 1300, 1301,
7027  1302, 1303, 1304, 1305, 1306, 1307, 1308, 1309,
7028  1310, 1311, 1675, 1313, 1676, 1315, 1316, 1317,
7029  1318, 1319, 1320, 1321, 1322, 1323, 1324, 1325,
7030  1326, 1327, 1328, 1329, 1330, 1331, 1332, 1333,
7031  1334, 1335, 1336, 1337, 1338, 1339, 1340, 1341,
7032  1342, 1343, 1344, 1345, 1346, 1347, 1348, 1349,
7033  1350, 1351, 1352, 1353, 1354, 1355, 1356, 1357,
7034  1358, 1359, 1360, 1361, 1362, 1363, 1364, 1365,
7035  1366, 1367, 1368, 1369, 1370, 1371, 1372, 1373,
7036  1374, 1375, 1376, 1377, 1378, 1379, 1380, 1381,
7037  1382, 1383, 1384, 1385, 1386, 1387, 3934, 3935,
7038  1390, 1391, 1392, 1393, 1394, 1395, 1396, 1397,
7039  1398, 1399, 1400, 1401, 1402, 1403, 1404, 1405,
7040  1406, 1407, 1408, 1409, 1410, 1411, 1412, 1413,
7041  1414, 1415, 1416, 1417, 1418, 935, 1320, 4618,
7042  1422, 4621, 4622, 1425, 1426, 1427, -7322, 5372,
7043  1430, 1431, 5375, 891, 891, 891, 891, 891,
7044  891, 891, 5376, 2037, 891, 891, 891, 891,
7045  891, 891, 891, 891, 891, 891, 891, 891,
7046  891, 891, 891, 891, 891, 891, 891, 891,
7047  891, 891, 891, 891, 891, 891, 891, 891,
7048  891, 891, 891, 891, 891, 891, 891, 891,
7049  891, 891, 891, 891, 891, 891, 891, 891,
7050  891, 891, 891, 891, 891, 891, 891, 891,
7051  891, 891, 891, 891, 891, 891, 891, 891,
7052  891, 891, 891, 891, 891, 891, 891, 891,
7053  891, 891, 891, 891, 891, 891, 141, 891,
7054  891, 891, 891, 891, 32767, 32767, 32767, 32767,
7055  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
7056  32767, 142, 143, 32767, 32767, 32767, 32767, 32767,
7057  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
7058  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
7059  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
7060  1999, 4498, 4499, 4500, 4501, 1999, 4503, 4504,
7061  4505, 4506, 4507, 4508, 4509, 4510, 4511, 4512,
7062  0, 0, 0, 0, 0, 0, 0, 0,
7063  0, 0, 4523, 4524, 0, 4526, 4527, 4528,
7064  4529, 4530, 4531, 4532, 4533, 4534, 4535, 4536,
7065  4537, -470, 4539, 4540, 4541, 4542, 4543, 4544,
7066  4545, 4546, 4547, 4548, 4549, 4550, 4551, 5540,
7067  5541, 5542, 5543, 5544, 5545, 5546, 5547, 5548,
7068  5549, 5550, 4563, 4564, 4565, 4566, 4567, 5551,
7069  5552, 5553, 5554, 5555, 5556, 5557, 5558, 5559,
7070  5560, 5561, 5562, 5563, 5564, 5565, 5566, 5567,
7071  0, 0, 0, 0, 0, 0, 0, 0,
7072  0, 0, 0, 0, 7622, 0, 0, 0,
7073  0, 0, 0, 0, 0, 0, 0, 0,
7074  0, 0, 0, 0, 0, 0, 0, 0,
7075  0, 0, 3677, 4829, 3680, 3681, 3297, 0,
7076  0, 0, 0, 0, 0, 0, 11951, 4455,
7077  4455, 4455, 4455, 0, 0, 0, 0, 0,
7078  0, 4455, 4455, 4455, 4455, 4455, 4455, 4455,
7079  4455, 4455, 0, 0, 0, 0, 0, 0,
7080  0, 0, 0, 0, 0, 0, 0, 0,
7081  0, 0, 0, 0, 0, 0, 0, 4672,
7082  4673, 4674, 4675, 4676, 4677, 4678, 2560, 2561,
7083  3019, 0, 0, 0, 0, 3016, 107, -4832,
7084  1536, 2689, 1538, 2562, 2563, 1541, 1542, 1543,
7085  1544, 1545, 9309, 2697, 3279, 3279, 3279, 3279,
7086  3279, 3279, 3279, 3279, 3279, 3279, 3279, -1113,
7087  3279, 3279, 3279, 3279, 3279, 3279, 3279, 3279,
7088  3279, 3279, 3279, 3279, 3279, 3279, 3279, 1575,
7089  1576, 1577, 1578, 1579, -3910, 1581, 1582, 4736,
7090  4737, -4652, 4739, -1253, 6219, 4742, 4743, 6224,
7091  6225, 6226, 6227, 6228, 6229, 6230, 6231, 6232,
7092  6233, -3419, 6235, 6236, 6237, 6238, 6239, 6240,
7093  6241, 6242, 6243, 3882, 3883, 3884, 3885, 3886,
7094  3887, 3888, -5177, 3891, 3892, -5177, 3893, 3894,
7095  3895, 3896, 3897, 3898, 3899, 3900, 3901, 3902,
7096  -5176, -5176, -5176, -5176, -5176, -5176, -5176, -5176,
7097  1640, 1641, 1642, 3924, 1644, 1645, 1646, 1647,
7098  1648, 1649, 1650, 1651, 1652, 1653, 1654, 1655,
7099  1656, 1657, 1658, 1659, 1660, 1661, 1662, 1663,
7100  1664, 1665, 1666, 1667, 1668, 1669, 1670, 1671,
7101  1672, 1673, 1674, 1675, 1676, 1677, 1678, 1679,
7102  1680, 1681, 1682, 1683, 1684, 1685, 1686, 1687,
7103  1688, 1689, 1690, 1691, 1692, 1693, 1694, 1695,
7104  1696, 1697, 1698, 1699, 1700, 1701, 1702, 1703,
7105  1704, 1705, 1706, 1707, 1708, 1709, 1710, 1711,
7106  1712, 1713, 1714, 1715, 1716, 1717, 1718, 1719,
7107  1720, 1721, 1722, 1723, 1724, 1725, 1726, 1727,
7108  1728, 1729, 1730, 1731, -847, -5786, 582, 1735,
7109  1736, 1609, 1610, 588, 1740, 591, 592, 593,
7110  8357, 1745, 2327, 2327, 2327, 2327, 2327, 2327,
7111  1357, 2328, 2328, 1755, 1756, 1757, 1758, 1759,
7112  1760, 1761, 1762, 1763, 1764, 1765, 1766, 1767,
7113  1768, 1769, 1770, 1771, 1772, 1773, 1774, 1775,
7114  1776, 1777, 1778, 1779, 1780, 3434, 1782, 3435,
7115  3435, 1785, 1786, 3437, 3437, 3437, 3306, 32767,
7116  -2509, -2509, -2509, -2509, -2509, -2509, -2509, -2509,
7117  -2509, 1800, -2508, -2508, -2508, -2508, 32767, 32767,
7118  -2510, 32767, -2511, 32767, 32767, -2513, -2513, -2513,
7119  -2513, -2513, -2513, 1813, 1814, 1815, 1816, 32767,
7120  -2509, 32767, -2510, 32767, 32767, -2511, -2511, 32767,
7121  32767, 32767, -3871, -3871, -2513, -2513, -2513, -2513,
7122  -2513, -2513, -2513, -2513, -2513, -2513, -2513, -2513,
7123  -2513, -2513, -2513, 1838, 1839, 1840, 1841, 1842,
7124  1843, 1844, 1845, 1846, 1847, 1848, 1849, 1850,
7125  1851, 1852, 1853, 1854, 1855, 1856, 1857, 1858,
7126  1859, 1860, 1861, 1862, 1863, 1864, 1865, 1866,
7127  1867, 1868, 1869, 1870, 1871, 1872, 1873, 1874,
7128  1875, 1876, 1877, 1878, 1879, 1880, 1881, 1882,
7129  1883, 1401, 1885, 1886, 1887, 1888, 32767, 32767,
7130  1889, 1890, 1891, 1892, 1893, 1894, 1895, 1896,
7131  1897, 1898, 1899, 1900, 1901, 1902, 1903, 1904,
7132  1905, 1906, 1907, 1908, 1909, 1910, 1911, 1912,
7133  1913, 1914, 1915, 1916, 1917, 1918, 1919, 1920,
7134  1921, 1922, 1923, 1924, 1925, 1926, 1927, 1928,
7135  1929, 1930, 1931, 1932, 1933, 1934, 1935, 1936,
7136  1937, 1938, 1939, 1940, 1941, 1942, 1943, 1944,
7137  1945, 1946, 1947, 1948, 1949, 1950, 1951, 1952,
7138  1953, 1954, 1955, 1956, 1957, 1958, 1959, 1960,
7139  1961, 1962, 1963, 1964, 1965, 1966, 1967, 1968,
7140  1969, 1970, 1971, 1972, 1973, 1974, 1975, 1976,
7141  1977, 1978, 1979, 1980, 1981, 1982, 1983, 1984,
7142  1985, 1986, 1987, 1988, 1989, 1990, 1991, 1992,
7143  3710, 1994, 32767, 32767, 32767, 32767, 32767, 32767,
7144  32767, 32767, 167, 612, 32767, 32767, 2714, 32767,
7145  32767, 32767, 32767, 32767, 168, 32767, 32767, 32767,
7146  32767, 169, 32767, 32767, 32767, 32767, 170, 32767,
7147  32767, 32767, 32767, 171, 32767, 32767, 32767, 32767,
7148  32767, 1995, 1996, 1997, 1998, 1999, 2000, 2001,
7149  172, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
7150  32767, 32767, 32767, 32767, -1151, -127, -126, -1148,
7151  -1147, 32767, 32767, 32767, 32767, 32767, 585, 32767,
7152  584, 584, 584, 584, 584, 584, 584, 584,
7153  584, -3808, 584, 584, 584, 584, 584, 584,
7154  584, 584, 584, 584, 584, 584, 584, 584,
7155  32767, -1121, -1120, -1119, -1118, -1117, 32767, -1116,
7156  32767, 2038, 2039, 32767, 2040, -3952, 32767, 2042,
7157  2043, 3524, 3525, 3526, 3527, 3528, 3529, 3530,
7158  3531, 3532, -385, -384, 2055, -383, -382, -381,
7159  -380, -379, -378, -377, 2063, 2064, -376, 2066,
7160  -375, 2068, -374, -373, 2071, 2072, 2073, -322,
7161  2075, 2076, 2077, 2078, 2079, 2080, 2081, 2082,
7162  2083, 2084, 2085, 2086, 2087, 2088, 2089, 2090,
7163  718, 2092, 2093, 0, -347, 2096, -2016, 134,
7164  135, 2100, 2101, 2102, 2103, 0, 0, 0,
7165  0, 0, 0, 0, 0, 0, 0, 0,
7166  0, 0, 0, 0, 0, 0, 0, 0,
7167  0, 0, 0, 0, 0, 0, 0, 0,
7168  0, 0, 0, 0, 0, 0, 0, 0,
7169  0, 0, 0, 0, 0, 0, 0, 0,
7170  0, 0, 0, 0, 0, 0, 0, 0,
7171  0, 0, 0, 0, 0, 0, 0, 0,
7172  0, 0, 0, 0, 0, 0, 0, 0,
7173  0, 0, 0, 0, 0, 0, 0, 0,
7174  0, 0, 0, 0, 0, 0, 0, 0,
7175  0, 0, 2156, 0, 0, 0, 0, 0,
7176  0, 0, 0, 0, 0, 0, 0, 1364,
7177  0, 0, 0, 0, 0, 0, 0, 0,
7178  0, 0, 0, 0, 0, 0, 0, 0,
7179  0, 0, 0, 0, 0, 0, 0, 0,
7180  0, 0, 0, 0, 0, 0, 0, 0,
7181  0, 0, 0, 0, 0, 0, 0, 0,
7182  0, -4392, 0, 0, 0, 0, 0, 0,
7183  0, 0, 0, 0, 0, 0, 0, 0,
7184  0, 0, 2227, 0, 0, 2230, 2231, 0,
7185  2233, 2105, 0, 0, 2497, 2498, 0, 0,
7186  0, 0, 2503, 0, 0, 0, 0, 0,
7187  0, 0, 0, 0, 0, 4513, 4514, 4515,
7188  4516, 4517, 4518, 4519, 4520, 4521, 4522, 0,
7189  0, 4525, 0, 0, 0, 0, 0, 0,
7190  0, 0, 0, 0, 0, 0, 5008, 0,
7191  0, 0, 0, 0, 0, 0, 0, 0,
7192  0, 0, 0, 0, -988, -988, -988, -988,
7193  -988, -988, -988, -988, -988, -988, -988, 0,
7194  0, 0, 0, 0, -983, -983, -983, -983,
7195  -983, -983, -983, -983, -983, -983, -983, -983,
7196  -983, -983, -983, -983, -983, 4585, 4586, 4587,
7197  4588, 4589, 4590, 4591, 4592, 4593, 4594, 4595,
7198  4596, -3025, 4598, 4599, 4600, 4601, 4602, 4603,
7199  4604, 4605, 4606, 4607, 4608, 4609, 4610, 4611,
7200  4612, 4613, 4614, 4615, 4616, 4617, 4618, 942,
7201  -209, 941, 941, 1326, 4624, 4625, 4626, 4627,
7202  4628, 4629, 4630, -7320, 177, 178, 179, 180,
7203  4636, 4637, 4638, 4639, 4640, 4641, 187, 188,
7204  189, 190, 191, 192, 193, 194, 195, 4651,
7205  4652, 4653, 4654, 4655, 4656, 4657, 4658, 4659,
7206  4660, 4661, 4662, 4663, 4664, 4665, 4666, 4667,
7207  4668, 4669, 4670, 4671, 0, 0, 0, 0,
7208  0, 0, 0, 2119, 2119, 1662, 4682, 4683,
7209  4684, 4685, 1670, 4580, 9520, 3153, 2001, 3153,
7210  2130, 2130, 3153, 3153, 3153, 3153, 3153, -4610,
7211  2003, 1422, 1423, 1424, 1425, 1426, 1427, 1428,
7212  1429, 1430, 1431, 1432, 5825, 1434, 1435, 1436,
7213  1437, 1438, 1439, 1440, 1441, 1442, 1443, 1444,
7214  1445, 1446, 1447, 1448, 3153, 3153, 3153, 3153,
7215  3153, 8643, 3153, 3153, 0, 0, 9390, 0,
7216  5993, -1478, 0, 0, -1480, -1480, -1480, -1480,
7217  -1480, -1480, -1480, -1480, -1480, 2438, 2438, 0,
7218  2439, 2439, 2439, 2439, 2439, 2439, 2439, 0,
7219  0, 2441, 0, 2442, 0, 2443, 2443, 0,
7220  0, 0, 2396, 0, 0, 0, 0, 0,
7221  0, 0, 0, 0, 0, 0, 0, 0,
7222  0, 0, 0, 1373, 0, 0, 2094, 2442,
7223  0, 4113, 1964, 1964, 0, 0, 0, 0,
7224  2104, 2105, 2106, 2107, 2108, 2109, 2110, 2111,
7225  2112, 2113, 2114, 2115, 2116, 2117, 2118, 2119,
7226  2120, 2121, 2122, 2123, 2124, 2125, 2126, 2127,
7227  2128, 2129, 2130, 2131, 2132, 2133, 2134, 2135,
7228  2136, 2137, 2138, 2139, 2140, 2141, 2142, 2143,
7229  2144, 2145, 2146, 2147, 2148, 2149, 4849, 4850,
7230  4851, 4852, 4853, 4854, 4855, 4856, 4857, 4858,
7231  4859, 4860, 4861, 4862, 4863, 4864, 2500, 4866,
7232  4867, 4868, 4869, 4870, 2505, 4872, 4873, 4874,
7233  2508, 4876, 4877, 4878, 4879, 4880, 2513, 2150,
7234  2151, 2152, 2153, 2154, 2155, 0, 2157, 2158,
7235  2159, 2160, 2161, 2162, 2163, 2164, 2165, 2166,
7236  2167, 2168, 805, 2170, 2171, 2172, 2173, 2174,
7237  2175, 2176, 2177, 2178, 2179, 2180, 2181, 2182,
7238  2183, 2184, 2185, 2186, 2187, 2188, 2189, 2190,
7239  2191, 2192, 2193, 2194, 0, 4928, 4929, 4930,
7240  4931, 4932, 0, 4934, 4935, 4936, 4937, 7848,
7241  4939, 0, 0, 0, 4943, 4944, 4945, 4946,
7242  4947, 4948, 4949, 4950, 0, 4952, 4953, 4954,
7243  0, 0, 2546, 0, 0, 2546, 2546, 2546,
7244  4963, -5990, 4965, 1530, 4967, 4968, 4969, 4970,
7245  4971, 8142, 8142, 8142, 8142, 1530, 2112, 4978,
7246  4979, 4980, 4981, 4982, 2644, 2645, 2646, 2647,
7247  2648, 2649, 2650, 2651, 2099, 2653, 4993, 4994,
7248  4995, 4996, 4997, 4998, 2092, 5000, 5001, 5002,
7249  5003, 5004, 5005, 287, 5007, 5008, 32767, 5009,
7250  5010, 5011, 5012, -2457, 5014, -2456, 5016, 5017,
7251  5018, 5019, 5020, 5021, 5022, 5023, 5024, 5025,
7252  5026, 5027, 5028, -4624, 5030, 5031, 5032, 5033,
7253  5034, 5035, 5036, 5037, 5038, 2677, 2678, 2679,
7254  2680, 2681, 2682, 2683, 2684, 2685, 2686, -6383,
7255  2687, 2688, 2689, 2690, 2691, 2692, 2693, 2694,
7256  2695, 2696, 2697, 2698, 2699, 2700, 2701, 2702,
7257  2703, 2704, 2705, 32767, 2706, 2707, 2708, 2709,
7258  32767, 32767, 32767, 32767, 2710, 4682, 4683, 32767,
7259  2713, 32767, 2714, 906, 907, 908, 909, 2719,
7260  2720, 910, 2722, 2723, 2724, 2725, 2726, 2727,
7261  2728, 2729, 2730, 2731, 2732, 2733, 2734, 2735,
7262  2736, 2737, 2738, 2739, 2740, 2741, 2742, 2743,
7263  2744, 2745, 2746, 2747, 2748, 2749, 2750, 2751,
7264  2752, 2753, 2974, 2755, 174, 2757, 2758, 2759,
7265  2760, 2761, 2762, 2763, 2764, 2765, 2766, 2767,
7266  2768, 2769, 2770, 6689, 6690, 6691, 2774, 2775,
7267  2776, 2777, 2778, 2779, 2780, 2781, 2782, 2783,
7268  2784, 2785, 2786, 2787, 2788, 2789, 2790, 2791,
7269  2792, 2793, 2794, 2795, 2796, 2797, 2798, 2799,
7270  2800, 2801, 2802, 2803, 2804, 2805, 2806, 2807,
7271  2808, 2809, 2810, 2811, 2812, 2813, 2814, 2815,
7272  2816, 5259, 2818, 3298, 3299, 2821, 2822, 2823,
7273  2824, 2825, 2826, 3170, 2828, 2829, 2830, 2831,
7274  2832, 2833, 2834, 3177, 3177, 3177, 3177, 3177,
7275  3177, 2841, 2842, 2843, 2844, 2845, 2846, 2847,
7276  2848, 32767, 32767, 32767, 32767, 32767, 2849, 2850,
7277  2851, 2852, 2853, 2854, 2855, 2856, 2857, 2858,
7278  2859, 2860, 2861, 2862, 2863, 2864, 2865, 2866,
7279  2867, 2868, 2869, 2870, 2871, 2872, 2873, 2874,
7280  2875, 2876, 2877, 2878, 2879, 2880, 2881, 2882,
7281  2883, -1495, 2885, 2886, 4004, 4005, 4006, 4007,
7282  4008, -1495, -1495, 2894, 2895, -1495, -1495, 2898,
7283  2899, 2900, 2901, 2902, 2903, 2904, 2905, -1494,
7284  2907, 2908, 2909, 2910, 2911, 2912, 2913, -1494,
7285  2915, 2916, 2917, 2918, 3677, 2920, 3680, 3681,
7286  3129, 2924, 2925, 2926, 2927, 2928, 2929, 2930,
7287  2931, 2932, 2933, 2934, 2935, 2936, 2937, 2938,
7288  2939, 2940, 2941, 2942, 2943, 2944, 2945, 2946,
7289  2947, 2948, 2949, 2950, 2951, 2952, 2953, 2954,
7290  2955, 2956, -1468, -1468, 2959, 2960, 2961, 2962,
7291  2963, 2964, 2965, 2966, 2967, 2968, 2969, 2970,
7292  2971, 2972, 2973, 2974, 2975, 2976, 2977, 2978,
7293  2979, 2980, 2981, 2982, 2983, 2984, 2985, 2986,
7294  2987, 2988, 2989, 2990, 2991, 2992, 2993, 2994,
7295  2995, 2996, 2997, 2998, 2999, 3000, 3001, 3002,
7296  3003, 3004, 3005, 3006, 3007, 3008, 3009, 3010,
7297  3011, 3012, 3013, 3014, 3015, 3016, 3017, 3018,
7298  3019, 3020, 3021, 3022, 3023, 3024, 3025, 3026,
7299  3027, 3028, 3029, 3030, 3031, 3032, 3033, 3034,
7300  3035, 3036, 3037, 3038, 32767, 32767, 32767, 3039,
7301  3040, 3041, 3042, 3043, 3044, 32767, 32767, 3045,
7302  3046, 3047, 3048, 3049, 3050, 32767, 32767, 3051,
7303  3052, 3053, 3054, 3055, 3056, 32767, 32767, 3057,
7304  3058, 3059, 32767, 32767, 32767, 3060, 3061, 3062,
7305  3063, 3064, 3065, 3066, 32767, 3067, 3068, 3069,
7306  3070, 3071, 3072, 3073, 32767, 32767, 32767, 32767,
7307  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
7308  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
7309  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
7310  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
7311  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
7312  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
7313  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
7314  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
7315  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
7316  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
7317  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
7318  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
7319  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
7320  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
7321  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
7322  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
7323  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
7324  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
7325  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
7326  32767, 0, 32767, 32767, 32767, 32767, 32767, 32767,
7327  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
7328  0, 0, 0, 0, 32767, 0, 0, 0,
7329  0, 0, 0, 0, 0, 0, 0, 0,
7330  0, 0, 0, 0, 0, 0, 0, 0,
7331  0, 0, 0, 0, 0, 0, 0, 0,
7332  32767, 0, 0, 32767, 0, 32767, 32767, 0,
7333  32767, 0, 0, 0, 0, 0, 0, 0,
7334  0, 0, 0, 32767, 0, 0, 0, 0,
7335  32767, 0, 32767, 0, 32767, 32767, 32767, 32767,
7336  32767, 32767, 0, 32767, 32767, 32767, 32767, 0,
7337  32767, 0, 32767, 0, 32767, 0, 0, 0,
7338  32767, 0, 0, 32767, 0, 32767, 32767, 0,
7339  32767, 0, 32767, 0, 32767, 0, 32767, 0,
7340  32767, 0, 0, 32767, 0, 32767, 32767, 0,
7341  0, 0, 0, 32767, 0, 0, 0, 0,
7342  0, 0, 0, 32767, 0, 0, 0, 0,
7343  32767, 0, 0, 0, 0, 32767, 0, 32767,
7344  0, 0, 0, 0, 0, 0, 0, 0,
7345  0, 0, 32767, 0, 0, 0, 0, 0,
7346  0, 0, 0, 0, 0, 0, 0, 0,
7347  0, 0, 0, 0, 32767, 32767, 32767, 32767,
7348  32767, 0, 0, 0, 32767, 0, 0, 0,
7349  0, 0, 32767, -1358, -1358, 0, 0, 0,
7350  0, 0, 0, 0, 0, 0, 0, 0,
7351  0, 0, 0, 0, 32767, 32767, 32767, 32767,
7352  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
7353  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
7354  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
7355  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
7356  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
7357  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
7358  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
7359  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
7360  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
7361  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
7362  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
7363  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
7364  32767, 32767, 32767, 32767, 32767, 32767, 32767, -847,
7365  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
7366  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
7367  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
7368  5181, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
7369  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
7370  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
7371  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
7372  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
7373  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
7374  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
7375  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
7376  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
7377  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
7378  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
7379  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
7380  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
7381  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
7382  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
7383  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
7384  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
7385  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
7386  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
7387  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
7388  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
7389  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
7390  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
7391  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
7392  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
7393  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
7394  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
7395  32767, 32767, 32767, 32767, -2069, 32767, 32767, -2071,
7396  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
7397  32767, 32767, 32767, 32767, 32767, 32767, 32767, 0,
7398  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
7399  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
7400  32767, 32767, 0, -2105, -2105, 32767, 32767, -2107,
7401  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
7402  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
7403  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
7404  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
7405  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
7406  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
7407  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
7408  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
7409  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
7410  32767, 32767, 32767, 32767, 32767, 32767, 32767, 256,
7411  257, 258, 32767, 32767, 32767, 32767, 32767, 32767,
7412  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
7413  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
7414  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
7415  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
7416  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
7417  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
7418  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
7419  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
7420  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
7421  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
7422  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
7423  32767, 32767, 32767, 32767, 32767, 32767, 32767, 0,
7424  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
7425  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
7426  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
7427  32767, 32767, 32767, 4210, 4211, 4212, 4213, 32767,
7428  4214, 4215, 4216, 4217, 4218, 4219, 4220, 4221,
7429  4222, 4223, 4224, 4225, 4226, 4227, 4228, 4229,
7430  4230, 4231, 4232, 4233, 4234, 4235, 4236, 4237,
7431  4238, 4239, 4240, 32767, 4241, 4242, 32767, 4243,
7432  32767, 32767, 4244, 32767, 4245, 4246, 4247, 4248,
7433  4249, 4250, 4251, 4252, 4253, 4254, 32767, 4255,
7434  4256, 4257, 4258, 32767, 4259, 32767, 4260, 32767,
7435  32767, 32767, 32767, 32767, 32767, 4261, 32767, 32767,
7436  32767, 32767, 4262, 32767, 4263, 32767, 4264, 32767,
7437  4265, 4266, 4267, 32767, 4268, 4269, 32767, 4270,
7438  32767, 32767, 4271, 32767, 4272, 32767, 4273, 32767,
7439  4274, 32767, 4275, 32767, 4276, 4277, 32767, 4278,
7440  32767, 32767, 4279, 4280, 4281, 4282, 32767, 4283,
7441  4284, 4285, 4286, 4287, 4288, 4289, 32767, 4290,
7442  4291, 4292, 4293, 32767, 4294, 4295, 4296, 4297,
7443  32767, 4298, 32767, 4299, 4300, 4301, 4302, 4303,
7444  4304, 4305, 4306, 4307, 4308, 0, 4309, 4310,
7445  4311, 4312, 4313, 4314, 4315, 4316, 4317, 4318,
7446  4319, 4320, 4321, 4322, 4323, 4324, 4325, 0,
7447  0, 0, 0, 32767, 4326, 4327, 4328, 32767,
7448  4329, 4330, 4331, 4332, 4333, 32767, 5692, 5693,
7449  4336, 4337, 4338, 4339, 4340, 4341, 4342, 4343,
7450  4344, 4345, 4346, 4347, 4348, 4349, 4350, 0,
7451  0, 0, 0, 0, 0, 0, 0, 0,
7452  0, 0, 0, 0, 0, 0, 0, 0,
7453  0, 0, 0, 0, 0, 0, 0, 0,
7454  0, 0, 0, 0, 0, 0, 0, 0,
7455  0, 0, 0, 0, 0, 0, 0, 0,
7456  0, 0, 0, 0, 0, 483, 0, 0,
7457  0, 0, 32767, 32767, 0, 0, 0, 0,
7458  0, 0, 0, 0, 0, 0, 0, 0,
7459  0, 0, 0, 0, 0, 0, 0, 0,
7460  0, 0, 0, 0, 0, 0, 0, 0,
7461  0, 0, 0, 0, 0, 0, 0, 0,
7462  0, 0, 0, 0, 0, 0, 0, 0,
7463  0, 0, 0, 0, 0, 0, 0, 0,
7464  0, 0, 0, 0, 0, 0, 0, 0,
7465  0, 0, 0, 0, 0, 0, 0, 0,
7466  0, 0, 0, 0, 0, 0, 0, 0,
7467  0, 0, 0, 0, 0, 0, 0, 0,
7468  0, 0, 0, 0, 0, 0, 0, 0,
7469  0, 0, 0, 0, 0, 0, 0, 0,
7470  0, 0, 0, 0, -1717, 0, 32767, 32767,
7471  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
7472  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
7473  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
7474  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
7475  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
7476  32767, 32767, 0, 0, 0, 0, 0, 0,
7477  0, 0, 0, -1769, 0, 0, 0, 0,
7478  0, 0, 0, 0, 0, -1778, 0, 0,
7479  0, 0, -1782, 0, 0, 0, 0, -1786,
7480  0, 0, 0, 0, -1790, 0, 0, 0,
7481  0, 0, 0, 0, 0, 0, 0, 0,
7482  0, -1802, 0, 0, 0, 0, 0, 0,
7483  0, 0, 0, -1811, 0, -1812, -1812, -1812,
7484  -1812, -1812, 0, 0, 0, 0, 0, 0,
7485  0, -1819, 0, 0, 0, 0, 0, 0,
7486  -459, -458, 0, 0, 0, 0, -3016, 0,
7487  0, 0, 0, 0, 0, 0, 0, 0,
7488  0, 0, 0, 0, 0, 0, 0, 0,
7489  0, 0, 0, 0, 0, 0, 0, 0,
7490  0, 0, 0, 0, 0, 0, 0, 0,
7491  0, 0, 0, 0, 0, 0, 0, 0,
7492  0, 0, 0, 0, 0, 0, 0, 0,
7493  0, 0, 0, 0, 0, 0, 0, 0,
7494  0, 0, 0, 0, 0, 0, 0, 0,
7495  0, 0, 0, 0, 0, 0, 0, 0,
7496  0, 0, 0, 0, 0, 0, 0, 0,
7497  0, 0, 0, 0, 0, 0, 0, 0,
7498  0, 0, 0, 0, 0, 0, 0, 0,
7499  0, 0, 0, 0, 0, 0, 0, 0,
7500  0, 0, 0, 0, 0, 0, 0, 0,
7501  0, 0, 0, 0, 0, 0, 0, 0,
7502  0, 0, 0, 0, 0, 0, 0, 0,
7503  32767, 32767, 32767, 32767, 32767, 32767, 0, 32767,
7504  0, 32767, 0, 0, 32767, 32767, 32767, 32767,
7505  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
7506  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
7507  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
7508  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
7509  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
7510  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
7511  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
7512  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
7513  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
7514  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
7515  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
7516  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
7517  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
7518  223, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
7519  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
7520  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
7521  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
7522  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
7523  32767, 32767, 32767, 32767, 0, 0, 0, 0,
7524  0, 0, 0, 0, 0, 0, 0, 0,
7525  0, 0, 0, 0, 0, 0, 0, 0,
7526  0, 0, 0, 0, 0, 0, 0, 0,
7527  0, 0, 0, 0, 0, 0, 0, 4379,
7528  0, 0, -1117, -1117, -1117, -1117, -1117, 4387,
7529  4388, 0, 0, 4391, 4392, 0, 0, 0,
7530  0, 0, 0, 0, 0, 4400, 0, 0,
7531  0, 0, 0, 0, 0, 4408, 0, 0,
7532  0, 0, -758, 0, -759, -759, -206, 0,
7533  0, 0, 0, 0, 0, 0, 0, 0,
7534  0, 0, 0, 0, 0, 0, 0, 0,
7535  0, 0, 0, 0, 0, 0, 0, 0,
7536  0, 0, 0, 0, 0, 0, 0, 0,
7537  4425, 4426, 0, 0, 0, 0, 0, 0,
7538  0, 0, 0, 0, 0, 0, 0, 0,
7539  0, 0, 0, 0, 0, 0, 0, 0,
7540  0, 0, 0, 0, 0, 0, 0, 0,
7541  0, 0, 0, 0, 0, 0, 0, 0,
7542  0, 0, 0, 0, 0, 0, 0, 0,
7543  0, 0, 0, 0, 0, 0, 0, 0,
7544  0, 0, 0, 0, 0, 0, 0, 0,
7545  0, 0, 0, 0, 0, 0, 0, 0,
7546  0, 0, 0, 0, 0, 0, 0, 0,
7547  0, 0, 32767, 32767, 32767, 0, 0, 0,
7548  0, 0, 0, 32767, 32767, 0, 0, 0,
7549  0, 0, 0, 32767, 32767, 0, 0, 0,
7550  0, 0, 0, 32767, 32767, 0, 0, 0,
7551  32767, 32767, 32767, 0, 0, 0, 0, 0,
7552  0, 0, 32767, 0, 0, 0, 0, 0,
7553  0, 0, 32767, 32767, 32767, 32767, 32767, 32767,
7554  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
7555  32767, 32767, 32767, 32767, 32767, 32767, 32767, 4429,
7556  4430, 4431, 32767, 32767, 32767, 32767, 32767, 32767,
7557  32767, 32767, 32767, 32767, 32767, 32767, 32767, 4432,
7558  4433, 4434, 4435, 4436, 4437, 4438, 4439, 4440,
7559  4441, 4442, 4443, 4444, 4445, 4446, 4447, 4448,
7560  4449, 4450, 4451, 4452, 4453, 4454, 4455, 4456,
7561  4457, 4458, 4459, 4460, 4461, 4462, 4463, 4464,
7562  4465, 4466, 4467, 4468, 4469, 4470, 4471, 4472,
7563  4473, 4474, 4475, 32767, 32767, 32767, 32767, 4476,
7564  4477, 4478, 4479, 4480, 4481, 539, 540, 4484,
7565  0, 0, 0, 0, 0, 0, 0, 4485,
7566  1146, 0, 0, 0, 0, 0, 0, 0,
7567  0, 0, 0, 0, 0, 0, 0, 0,
7568  0, 0, 0, 0, 0, 0, 0, 0,
7569  0, 0, 0, 0, 0, 0, 0, 0,
7570  0, 0, 0, 0, 0, 0, 0, 0,
7571  0, 0, 0, 0, 0, 0, 0, 0,
7572  0, 0, 0, 0, 0, 0, 0, 0,
7573  0, 0, 0, 0, 0, 0, 0, 0,
7574  0, 0, 0, 0, 0, 0, 0, 0,
7575  0, 0, 0, -750, 0, 0, 0, 0,
7576  0, 0, 0, 0, 0, 0, 0, 0,
7577  0, 0, 0, 0, 0, 0, 0, 0,
7578  0, 0, 0, 0, 0, 0, 0, 0,
7579  0, 0, 0, 0, 0, 0, 0, 0,
7580  0, 0, 0, 0, 0, 0, 0, 0,
7581  0, 0, 0, 0, 0, 0, 0, 6227,
7582  6228, -3161, 6230, 238, 234, 6232, 6233, 7714,
7583  7715, 7716, 7717, 7718, 7719, 7720, 7721, 7722,
7584  7723, -1929, 7725, 7726, 7727, 7728, 7729, 7730,
7585  7731, 7732, 7733, 5372, 5373, 5374, 5375, 5376,
7586  5377, 5378, -3687, 5381, 5382, -3687, 5383, 5384,
7587  5385, 5386, 5387, 5388, 5389, 5390, 5391, -3687,
7588  -3687, -3687, -3687, -3687, -3687, -3687, -3687, -3687,
7589  3129, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
7590  32767, 32767, 32767, 32767, 32767, -3700, 32767, 32767,
7591  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
7592  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
7593  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
7594  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
7595  285, -3734, -3734, 288, 289, -3734, -3734, -3734,
7596  -3734, -3734, -3734, -3734, -3734, -3734, -3734, -3734,
7597  -3734, 1547, -956, -956, -3734, -3734, -3734, 3440,
7598  -3734, -3734, -3734, -3734, -3734, -3734, -3734, -3734,
7599  -3734, -3734, -3734, -3734, -3734, 32767, 32767, 32767,
7600  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
7601  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
7602  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
7603  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
7604  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
7605  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
7606  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
7607  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
7608  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
7609  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
7610  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
7611  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
7612  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
7613  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
7614  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
7615  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
7616  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
7617  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
7618  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
7619  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
7620  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
7621  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
7622  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
7623  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
7624  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
7625  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
7626  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
7627  322, 323, 32767, 32767, 32767, 32767, 32767, 32767,
7628  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
7629  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
7630  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
7631  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
7632  32767, 32767, 32767, 32767, 32767, 0, 32767, 32767,
7633  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
7634  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
7635  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
7636  32767, 114, 115, 116, 117, 118, 119, 120,
7637  121, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
7638  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
7639  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
7640  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
7641  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
7642  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
7643  32767, 32767, 32767, 32767, 32767, 32767, 32767, 0,
7644  0, 0, 32767, 32767, 32767, 32767, 32767, 32767,
7645  32767, 32767, 32767, 32767, 32767, 32767, 32767, 0,
7646  0, 0, 0, 0, 0, 0, 0, 0,
7647  0, 0, 0, 0, 0, 0, 0, 0,
7648  0, 0, 0, 0, 0, 0, 0, 0,
7649  0, 0, 0, 0, 0, 0, 0, 0,
7650  0, 0, 0, 0, 0, 0, 0, 0,
7651  0, 0, 0, 32767, 32767, 32767, 32767, 0,
7652  0, 0, 0, 0, 0, 3943, 3943, 0,
7653  0, 32767, 32767, 32767, 32767, 32767, 32767, 0,
7654  3340, 32767, 325, 32767, 326, 32767, 327, 32767,
7655  328, 32767, 329, 32767, 330, 32767, 32767, 32767,
7656  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
7657  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
7658  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
7659  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
7660  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
7661  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
7662  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
7663  32767, 32767, 331, 32767, 332, 333, 334, 335,
7664  336, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
7665  337, 32767, 338, 32767, 339, 340, 341, 32767,
7666  32767, 32767, 342, 32767, 32767, 32767, 32767, 32767,
7667  32767, 32767, 343, 32767, 344, 345, 346, 32767,
7668  32767, 32767, 347, 32767, 32767, 32767, 32767, 32767,
7669  32767, 32767, 348, 32767, 349, 350, 351, 32767,
7670  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
7671  352, 32767, 353, 32767, 354, 355, 32767, 32767,
7672  -1816, -1816, -1816, -1816, -1816, -1816, -1816, -1816,
7673  -1816, -1816, -1816, 32767, 32767, 32767, 32767, 32767,
7674  32767, -1822, 32767, 32767, 32767, 32767, 32767, 368,
7675  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
7676  32767, 32767, 32767, 32767, 369, 370, 371, 32767,
7677  32767, 32767, 32767, 32767, 32767, 32767, 32767, 372,
7678  32767, 32767, 32767, 373, 374, 32767, 375, 376,
7679  32767, 32767, 32767, 32767, 6367, 0, -1152, 0,
7680  -1023, -1023, 0, 0, 0, 0, 0, -7763,
7681  -1150, -1731, -1730, -1729, -1728, -1727, -1726, -1725,
7682  -1724, -1723, -1722, -1721, 2672, -1719, -1718, -1717,
7683  -1716, -1715, -1714, -1713, -1712, -1711, -1710, -1709,
7684  -1708, -1707, -1706, -1705, 0, 0, 0, 0,
7685  0, 5490, 0, 0, -3153, -3153, 6237, -3153,
7686  2840, -4631, -3153, -3153, -4633, -4633, -4633, -4633,
7687  -4633, -4633, -4633, -4633, -4633, -4633, 5020, -4633,
7688  -4633, -4633, -4633, -4633, -4633, -4633, -4633, -4633,
7689  -2271, -2271, -2271, -2271, -2271, -2271, -2271, 6795,
7690  -2272, -2272, 6798, -2271, -2271, -2271, -2271, -2271,
7691  -2271, -2271, -2271, -2271, -2271, 6808, 6809, 6810,
7692  6811, 6812, 6813, 6814, 6815, 0, 0, 0,
7693  -2281, 0, 0, 0, 0, 0, 0, 0,
7694  0, 0, 0, 0, 0, 0, 0, 0,
7695  0, 0, 0, 0, 0, 0, 0, 0,
7696  0, 0, 0, 0, 0, 0, 0, 0,
7697  0, 0, 0, 0, 0, 0, 0, 0,
7698  0, 0, 0, 0, 0, 0, 0, 0,
7699  0, 0, 0, 0, 0, 0, 0, 0,
7700  0, 0, 0, 0, 0, 0, 0, 0,
7701  0, 0, 0, 0, 0, 0, 0, 0,
7702  0, 0, 0, 0, 0, 0, 0, 0,
7703  0, 0, 0, 0, 0, 0, 0, 0,
7704  0, 2579, 7519, 1152, 0, 0, 128, 128,
7705  1151, 0, 1150, 1150, 1150, -6613, 0, -581,
7706  -580, -579, -578, -577, -576, 395, -575, -574,
7707  0, 0, 0, 0, 0, 0, 0, 0,
7708  0, 0, 0, 0, 0, 0, 0, 0,
7709  0, 0, 0, 0, 0, 0, 0, 0,
7710  0, 0, -1653, 0, -1652, -1651, 0, 0,
7711  -1650, -1649, -1648, -1516, -1647, 473, 474, 475,
7712  476, 477, 32767, 32767, 32767, 32767, -7018, 479,
7713  480, 481, 482, 32767, 32767, 32767, 32767, 32767,
7714  32767, 483, 484, 485, 486, 487, 488, 489,
7715  490, 491, 492, 493, 494, 495, 496, 497,
7716  498, 499, 500, 501, 502, 503, 504, 9308,
7717  506, 507, 508, 509, 510, 511, 512, 513,
7718  514, 515, 3684, 3684, 3684, 519, 3685, 3685,
7719  9912, 9913, 524, 9915, 3923, 3919, 9917, 9918,
7720  11399, 0, 11402, 11403, 11404, 11405, 11406, 11407,
7721  11408, 11409, 1757, 11411, 11412, 11413, 11414, 11415,
7722  11416, 11417, 11418, 11419, 0, 9060, 9061, 9062,
7723  9063, 9064, 9065, 0, 9068, 9069, 0, 9070,
7724  9071, 9072, 9073, 9074, 9075, 9076, 9077, 9078,
7725  0, 0, 0, 0, 0, 0, 0, 0,
7726  0, 0, 0, 0, 0, 0, 0, 0,
7727  0, 0, 0, 2659, 0, 0, 0, 0,
7728  0, 0, 0, 0, 0, 2745, 2745, 2745,
7729  2745, 2745, 2745, 2745, 2745, 2745, 0, 0,
7730  0, -4730, 6052, 0, -4732, -4732, -4732, -4732,
7731  0, 0, 4919, -4734, -4734, 0, -4735, -4735,
7732  -4735, 4019, 0, 0, 4022, 4023, 0, 0,
7733  0, 0, 0, 0, 0, 0, 0, 0,
7734  0, 0, 5281, 2778, 2778, 0, 0, 0,
7735  7174, 0, 0, 0, 0, 0, 0, 0,
7736  0, 0, 0, 0, 0, 0, 0, 0,
7737  0, 0, 0, 0, 0, 0, 0, 0,
7738  0, 0, 0, 0, 0, 0, 0, 0,
7739  0, 0, 0, 0, 0, 0, 0, 0,
7740  0, 0, 0, 0, 0, 0, 0, 0,
7741  0, 0, 0, 0, 0, 0, 2067, 918,
7742  32767, 534, -2763, 0, 0, 0, 0, 0,
7743  0, 0, 0, 0, 0, 0, 0, 0,
7744  0, 0, 0, 0, 0, 0, 0, 0,
7745  0, 0, 0, 0, 0, 0, 0, 0,
7746  0, 0, 0, 0, 0, 0, 0, 0,
7747  0, 0, 0, 0, 0, 0, 0, 0,
7748  0, 0, 0, 0, 32767, 32767, 32767, 32767,
7749  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
7750  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
7751  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
7752  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
7753  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
7754  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
7755  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
7756  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
7757  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
7758  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
7759  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
7760  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
7761  32767, 32767, 32767, 0, 0, 0, 0, 0,
7762  0, 0, 0, 553, 0, 32767, 32767, 32767,
7763  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
7764  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
7765  32767, 32767, 32767, -2360, 5111, -2360, -2360, -2360,
7766  -2360, -2360, -2360, -2360, -2360, -2360, -2360, -2360,
7767  -2360, -2360, 7293, -2360, -2360, -2360, -2360, -2360,
7768  3144, 3145, -2362, -2362, 0, 0, 0, 0,
7769  0, 0, 0, 0, 0, 0, 32767, 0,
7770  0, 0, 0, 0, 0, 0, 0, 0,
7771  0, 0, 0, 0, 0, 0, 0, 0,
7772  0, 0, 32767, 0, 0, 0, 0, 32767,
7773  32767, 32767, 32767, 0, -1971, -1971, 32767, 0,
7774  32767, 0, 1809, 1809, 1809, 1809, 0, 0,
7775  1811, 0, 0, 0, 0, 0, 0, 0,
7776  0, 0, 0, 0, 0, 0, 0, 0,
7777  0, 0, 0, 0, 0, 0, 0, 0,
7778  0, 0, 0, 0, 0, 0, 0, 0,
7779  0, -220, 0, 2582, 0, 0, 0, 0,
7780  0, 0, 0, 0, 0, 0, 0, 0,
7781  0, 0, -3918, -3918, -3918, 0, 0, 0,
7782  0, 0, 0, 0, 0, 0, 0, 0,
7783  0, 0, 0, 0, 0, 0, 0, 0,
7784  0, 0, 0, 0, 0, 0, 0, 0,
7785  0, 0, 0, 0, 0, 0, 0, 0,
7786  0, 0, 0, 0, 0, 0, 0, 0,
7787  -2442, 0, -479, -479, 0, 0, 0, 0,
7788  0, 0, -343, 0, 0, 0, 0, 0,
7789  0, 0, -342, -341, -340, -339, -338, -337,
7790  0, 0, 0, 0, 0, 0, 0, 0,
7791  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
7792  32767, 2495, 2496, 0, 0, 2499, 2500, 2501,
7793  2502, 0, 2504, 2505, 2506, 2507, 2508, 1141,
7794  0, 0, 0, 0, 0, 0, 0, 0,
7795  0, 0, 0, 0, 0, 0, 0, 0,
7796  0, 0, 0, 0, 0, 0, 0, 0,
7797  0, 0, 0, 0, 0, 0, 0, -363,
7798  0, -362, 0, 0, 0, 0, 0, 0,
7799  0, 0, 0, 0, 0, 0, 0, 0,
7800  0, 0, 0, 0, 0, 0, 0, 0,
7801  0, 0, 0, 0, 0, 0, 0, 0,
7802  0, 0, 0, 0, 0, 0, 0, 0,
7803  0, 0, 0, 0, 0, 0, 0, 0,
7804  0, 0, 0, 0, 0, 0, 0, 0,
7805  0, 0, 0, 0, 0, 0, 0, 0,
7806  0, 0, 0, 0, 0, 0, 0, 0,
7807  0, 0, 0, -2546, -2546, 0, 0, 0,
7808  0, 0, 0, 0, 0, 0, 0, 0,
7809  0, 0, 0, 0, 0, 0, 0, 0,
7810  0, 0, 0, 0, 0, 0, 0, 0,
7811  0, 0, 484, 100, -3197, 0, -3198, -3198,
7812  0, 0, 0, 8750, -3943, 0, 0, -3943,
7813  542, 543, 544, 545, 546, 547, 548, -3936,
7814  -596, 551, 552, 553, 554, 555, 556, 557,
7815  558, 559, 560, 561, 562, 563, 564, 565,
7816  566, 567, 568, 569, 570, 571, 572, 573,
7817  574, 575, 576, 577, 578, 579, 580, 581,
7818  582, 583, 584, 585, 586, 587, 588, 589,
7819  590, 591, 592, 593, 594, 595, 596, 597,
7820  598, 599, 600, 601, 602, 603, 604, 605,
7821  606, 607, 608, 609, 610, 611, 612, 613,
7822  614, 615, 616, 617, 618, 619, 620, 621,
7823  622, 623, 624, 1375, 626, 627, 628, 629,
7824  630, 631, 632, 633, 634, 635, 636, 637,
7825  638, 639, 640, 641, 642, 643, 644, 645,
7826  646, 647, 648, 649, 650, 651, 652, 653,
7827  654, 655, 656, 657, 658, 659, 660, 661,
7828  662, 663, 664, 665, 666, 667, 668, 669,
7829  670, 671, 672, 673, 674, 675, 676, 32767,
7830  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
7831  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
7832  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
7833  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
7834  0, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
7835  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
7836  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
7837  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
7838  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
7839  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
7840  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
7841  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
7842  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
7843  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
7844  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
7845  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
7846  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
7847  32767, 32767, 32767, 32767, 32767, 32767, 32767, 0,
7848  0, 0, 0, 7470, 0, 7471, 0, 0,
7849  0, 0, 0, 0, 0, 0, 0, 0,
7850  0, 0, 0, 9653, 0, 0, 0, 0,
7851  0, 0, 0, 0, 0, 32767, 32767, 32767,
7852  3152, 3153, 3154, 3155, 3156, 3157, 3158, 3159,
7853  3160, 3161, 3162, 3163, 3164, 3165, 3166, 3167,
7854  3168, 3169, 3170, 3171, 3172, 3173, 3174, 3175,
7855  3176, 3177, 3178, 3179, 3180, 3181, 3182, 3183,
7856  3184, 3185, 3186, 3187, 3188, 3189, 3190, 3191,
7857  3192, 3193, 3194, 3195, 3196, 3197, 3198, 3199,
7858  3200, 3201, 3202, 3203, 3204, 3205, 3206, 3207,
7859  3208, 3209, 3210, 3211, 3212, 3213, 3214, 3215,
7860  3216, 3217, 3218, 3219, 3220, 3221, 3222, 3223,
7861  3224, 3225, 3226, 3227, 3228, 3229, 3230, 3231,
7862  3232, 3233, 3234, 3235, 3236, 32767, 3237, 3238,
7863  3239, 3240, 3241, 3242, 3243, 3244, 3245, 3246,
7864  3247, 3248, 1885, 3250, 3251, 3252, 3253, 3254,
7865  3255, 3256, 3257, 3258, 3259, 3260, 3261, 3262,
7866  3263, 3264, 3265, 3266, 3267, 3268, 3269, 3270,
7867  3271, 3272, 3273, 3274, 3275, 3276, 3277, 3278,
7868  3279, 3280, 3281, 3282, 3283, 3284, 3285, 3286,
7869  3287, 3288, 3289, 3290, 7683, 3292, 3293, 3294,
7870  3295, 3296, 3297, 3298, 3299, 3300, 3301, 3302,
7871  3303, 3304, 3305, 3306, 3307, 32767, 3308, 3309,
7872  32767, 32767, 3310, 32767, 32767, 3311, 3312, 32767,
7873  32767, 3313, 3314, 3315, 3316, 32767, 3317, 3318,
7874  3319, 3320, 3321, 3322, 3323, 3324, 3325, 3326,
7875  -1186, -1186, 4489, -1187, 4491, -1188, -1188, -1188,
7876  -1188, -1188, 3335, 3336, 32767, 3337, 3338, 3339,
7877  3340, 3341, 3342, 3343, 3344, 3345, 3346, 3347,
7878  3348, -1659, 3350, 3351, 3352, 3353, 3354, 3355,
7879  3356, 3357, 3358, 3359, 3360, 3361, 3362, 4351,
7880  4352, 4353, 4354, 4355, 4356, 4357, 4358, 4359,
7881  4360, 4361, 3374, 3375, 3376, 3377, 3378, 4362,
7882  4363, 4364, 4365, 4366, 4367, 4368, 4369, 4370,
7883  4371, 4372, 4373, 4374, 4375, 4376, 4377, 4378,
7884  0, 4380, 4381, 5499, 5500, 5501, 5502, 5503,
7885  0, 0, 4389, 4390, 0, 0, 3406, 4393,
7886  4394, 4395, 4396, 4397, 4398, 4399, 0, 4401,
7887  4402, 4403, 4404, 4405, 4406, 4407, 0, 4409,
7888  4410, 4411, 4412, 5171, 4414, 5174, 5175, 4623,
7889  4418, 4419, 4420, 4421, 4422, 4423, 4424, 3437,
7890  3438, 3439, 3440, 3441, 3442, 3443, 3444, 3445,
7891  3446, 3447, 3448, 32767, 3449, 3450, 3451, 3131,
7892  32767, 3453, 3454, 3455, 3456, 3457, 32767, 3458,
7893  32767, 0, 0, 4427, 3460, 3461, 3462, 3463,
7894  3464, 3465, 32767, 3466, 3467, 3468, 3469, 3470,
7895  3471, 3472, 3473, 3474, 3475, 3476, 3477, 3478,
7896  3146, 3367, 3148, 567, 3150, 3151, 3485, 3486,
7897  3487, 3488, 3489, 3490, 3491, 3492, 3493, 4428,
7898  3495, 3496, 3497, 3498, 3499, 3500, 3501, 3502,
7899  3503, 3504, 3505, 3506, 3507, 3508, 3509, 3510,
7900  3511, 3512, 3513, 3514, 3515, 3516, 3517, 3518,
7901  3519, 3520, 3521, 3522, 3523, 3524, 3525, 3526,
7902  3527, 3528, 3529, 3530, 3531, 3532, 3533, 3534,
7903  3535, 3536, 3537, 3538, 3539, 3540, 3541
7904  };
7905 
7906  const unsigned char *k = (const unsigned char *) key;
7907  size_t keylen = 4;
7908  uint32 a = 0;
7909  uint32 b = 1;
7910 
7911  while (keylen--)
7912  {
7913  unsigned char c = *k++;
7914 
7915  a = a * 257 + c;
7916  b = b * 8191 + c;
7917  }
7918  return h[a % 10079] + h[b % 10079];
7919 }

References a, b, and sort-test::key.

Variable Documentation

◆ UnicodeNormInfo_NFC_QC

const pg_unicode_norminfo UnicodeNormInfo_NFC_QC
static
Initial value:
= {
UnicodeNormProps_NFC_QC,
NFC_QC_hash_func,
1231
}
UnicodeNormProps_NFC_QC
static const pg_unicode_normprops UnicodeNormProps_NFC_QC[]
Definition: unicode_normprops_table.h:26
NFC_QC_hash_func
static int NFC_QC_hash_func(const void *key)
Definition: unicode_normprops_table.h:1262

Definition at line 1591 of file unicode_normprops_table.h.

Referenced by qc_is_allowed().

◆ UnicodeNormInfo_NFKC_QC

const pg_unicode_norminfo UnicodeNormInfo_NFKC_QC
static
Initial value:
= {
UnicodeNormProps_NFKC_QC,
NFKC_QC_hash_func,
5039
}
NFKC_QC_hash_func
static int NFKC_QC_hash_func(const void *key)
Definition: unicode_normprops_table.h:6641
UnicodeNormProps_NFKC_QC
static const pg_unicode_normprops UnicodeNormProps_NFKC_QC[]
Definition: unicode_normprops_table.h:1597

Definition at line 7922 of file unicode_normprops_table.h.

Referenced by qc_is_allowed().

◆ UnicodeNormProps_NFC_QC

const pg_unicode_normprops UnicodeNormProps_NFC_QC[]
static

Definition at line 26 of file unicode_normprops_table.h.

◆ UnicodeNormProps_NFKC_QC

const pg_unicode_normprops UnicodeNormProps_NFKC_QC[]
static

Definition at line 1597 of file unicode_normprops_table.h.