unicode_norm_hashfunc.h 140 KB

1234567891011121314151617181920212223242526272829303132333435363738394041424344454647484950515253545556575859606162636465666768697071727374757677787980818283848586878889909192939495969798991001011021031041051061071081091101111121131141151161171181191201211221231241251261271281291301311321331341351361371381391401411421431441451461471481491501511521531541551561571581591601611621631641651661671681691701711721731741751761771781791801811821831841851861871881891901911921931941951961971981992002012022032042052062072082092102112122132142152162172182192202212222232242252262272282292302312322332342352362372382392402412422432442452462472482492502512522532542552562572582592602612622632642652662672682692702712722732742752762772782792802812822832842852862872882892902912922932942952962972982993003013023033043053063073083093103113123133143153163173183193203213223233243253263273283293303313323333343353363373383393403413423433443453463473483493503513523533543553563573583593603613623633643653663673683693703713723733743753763773783793803813823833843853863873883893903913923933943953963973983994004014024034044054064074084094104114124134144154164174184194204214224234244254264274284294304314324334344354364374384394404414424434444454464474484494504514524534544554564574584594604614624634644654664674684694704714724734744754764774784794804814824834844854864874884894904914924934944954964974984995005015025035045055065075085095105115125135145155165175185195205215225235245255265275285295305315325335345355365375385395405415425435445455465475485495505515525535545555565575585595605615625635645655665675685695705715725735745755765775785795805815825835845855865875885895905915925935945955965975985996006016026036046056066076086096106116126136146156166176186196206216226236246256266276286296306316326336346356366376386396406416426436446456466476486496506516526536546556566576586596606616626636646656666676686696706716726736746756766776786796806816826836846856866876886896906916926936946956966976986997007017027037047057067077087097107117127137147157167177187197207217227237247257267277287297307317327337347357367377387397407417427437447457467477487497507517527537547557567577587597607617627637647657667677687697707717727737747757767777787797807817827837847857867877887897907917927937947957967977987998008018028038048058068078088098108118128138148158168178188198208218228238248258268278288298308318328338348358368378388398408418428438448458468478488498508518528538548558568578588598608618628638648658668678688698708718728738748758768778788798808818828838848858868878888898908918928938948958968978988999009019029039049059069079089099109119129139149159169179189199209219229239249259269279289299309319329339349359369379389399409419429439449459469479489499509519529539549559569579589599609619629639649659669679689699709719729739749759769779789799809819829839849859869879889899909919929939949959969979989991000100110021003100410051006100710081009101010111012101310141015101610171018101910201021102210231024102510261027102810291030103110321033103410351036103710381039104010411042104310441045104610471048104910501051105210531054105510561057105810591060106110621063106410651066106710681069107010711072107310741075107610771078107910801081108210831084108510861087108810891090109110921093109410951096109710981099110011011102110311041105110611071108110911101111111211131114111511161117111811191120112111221123112411251126112711281129113011311132113311341135113611371138113911401141114211431144114511461147114811491150115111521153115411551156115711581159116011611162116311641165116611671168116911701171117211731174117511761177117811791180118111821183118411851186118711881189119011911192119311941195119611971198119912001201120212031204120512061207120812091210121112121213121412151216121712181219122012211222122312241225122612271228122912301231123212331234123512361237123812391240124112421243124412451246124712481249125012511252125312541255125612571258125912601261126212631264126512661267126812691270127112721273127412751276127712781279128012811282128312841285128612871288128912901291129212931294129512961297129812991300130113021303130413051306130713081309131013111312131313141315131613171318131913201321132213231324132513261327132813291330133113321333133413351336133713381339134013411342134313441345134613471348134913501351135213531354135513561357135813591360136113621363136413651366136713681369137013711372137313741375137613771378137913801381138213831384138513861387138813891390139113921393139413951396139713981399140014011402140314041405140614071408140914101411141214131414141514161417141814191420142114221423142414251426142714281429143014311432143314341435143614371438143914401441144214431444144514461447144814491450145114521453145414551456145714581459146014611462146314641465146614671468146914701471147214731474147514761477147814791480148114821483148414851486148714881489149014911492149314941495149614971498149915001501150215031504150515061507150815091510151115121513151415151516151715181519152015211522152315241525152615271528152915301531153215331534153515361537153815391540154115421543154415451546154715481549155015511552155315541555155615571558155915601561156215631564156515661567156815691570157115721573157415751576157715781579158015811582158315841585158615871588158915901591159215931594159515961597159815991600160116021603160416051606160716081609161016111612161316141615161616171618161916201621162216231624162516261627162816291630163116321633163416351636163716381639164016411642164316441645164616471648164916501651165216531654165516561657165816591660166116621663166416651666166716681669167016711672167316741675167616771678167916801681168216831684168516861687168816891690169116921693169416951696169716981699170017011702170317041705170617071708170917101711171217131714171517161717171817191720172117221723172417251726172717281729173017311732173317341735173617371738173917401741174217431744174517461747174817491750175117521753175417551756175717581759176017611762176317641765176617671768176917701771177217731774177517761777177817791780178117821783178417851786178717881789179017911792179317941795179617971798179918001801180218031804180518061807180818091810181118121813181418151816181718181819182018211822182318241825182618271828182918301831183218331834183518361837183818391840184118421843184418451846184718481849185018511852185318541855185618571858185918601861186218631864186518661867186818691870187118721873187418751876187718781879188018811882188318841885188618871888188918901891189218931894189518961897189818991900190119021903190419051906190719081909191019111912191319141915191619171918191919201921192219231924192519261927192819291930193119321933193419351936193719381939194019411942194319441945194619471948194919501951195219531954195519561957195819591960196119621963196419651966196719681969197019711972197319741975197619771978197919801981198219831984198519861987198819891990199119921993199419951996199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202420252026202720282029203020312032203320342035203620372038203920402041204220432044204520462047204820492050205120522053205420552056205720582059206020612062206320642065206620672068206920702071207220732074207520762077207820792080208120822083208420852086208720882089209020912092209320942095209620972098209921002101210221032104210521062107210821092110211121122113211421152116211721182119212021212122212321242125212621272128212921302131213221332134213521362137213821392140214121422143214421452146214721482149215021512152215321542155215621572158215921602161216221632164216521662167216821692170217121722173217421752176217721782179218021812182218321842185218621872188218921902191219221932194219521962197219821992200220122022203220422052206220722082209221022112212221322142215221622172218221922202221222222232224222522262227222822292230223122322233223422352236223722382239224022412242224322442245224622472248224922502251225222532254225522562257225822592260226122622263226422652266226722682269227022712272227322742275227622772278227922802281228222832284228522862287228822892290229122922293229422952296229722982299230023012302230323042305230623072308230923102311231223132314231523162317231823192320232123222323232423252326232723282329233023312332233323342335233623372338233923402341234223432344234523462347234823492350235123522353235423552356235723582359236023612362236323642365236623672368236923702371237223732374237523762377237823792380238123822383238423852386238723882389239023912392239323942395239623972398239924002401240224032404240524062407240824092410241124122413241424152416241724182419242024212422242324242425242624272428242924302431243224332434243524362437243824392440244124422443244424452446244724482449245024512452245324542455245624572458245924602461246224632464246524662467246824692470247124722473247424752476247724782479248024812482248324842485248624872488248924902491249224932494249524962497249824992500250125022503250425052506250725082509251025112512251325142515251625172518251925202521252225232524252525262527252825292530253125322533253425352536253725382539254025412542254325442545254625472548254925502551255225532554255525562557255825592560256125622563256425652566256725682569257025712572257325742575257625772578257925802581258225832584258525862587258825892590259125922593259425952596259725982599260026012602260326042605260626072608260926102611261226132614261526162617261826192620262126222623262426252626262726282629263026312632263326342635263626372638263926402641264226432644264526462647264826492650265126522653265426552656265726582659266026612662266326642665266626672668266926702671267226732674267526762677267826792680268126822683268426852686268726882689269026912692269326942695269626972698269927002701270227032704270527062707270827092710271127122713271427152716271727182719272027212722272327242725272627272728272927302731273227332734273527362737273827392740274127422743274427452746274727482749275027512752275327542755275627572758275927602761276227632764276527662767276827692770277127722773277427752776277727782779278027812782278327842785278627872788278927902791279227932794279527962797279827992800280128022803280428052806280728082809281028112812281328142815281628172818281928202821282228232824282528262827282828292830283128322833283428352836283728382839284028412842284328442845284628472848284928502851285228532854285528562857285828592860286128622863286428652866286728682869287028712872287328742875287628772878287928802881288228832884288528862887288828892890289128922893289428952896289728982899290029012902290329042905290629072908290929102911291229132914291529162917291829192920292129222923292429252926292729282929293029312932293329342935293629372938293929402941294229432944294529462947294829492950295129522953295429552956
  1. /*-------------------------------------------------------------------------
  2. *
  3. * unicode_norm_hashfunc.h
  4. * Perfect hash functions used for Unicode normalization
  5. *
  6. * Portions Copyright (c) 1996-2022, PostgreSQL Global Development Group
  7. * Portions Copyright (c) 1994, Regents of the University of California
  8. *
  9. * src/include/common/unicode_norm_hashfunc.h
  10. *
  11. *-------------------------------------------------------------------------
  12. */
  13. /*
  14. * File auto-generated by src/common/unicode/generate-unicode_norm_table.pl,
  15. * do not edit. There is deliberately not an #ifndef PG_UNICODE_NORM_HASHFUNC_H
  16. * here.
  17. */
  18. #include "common/unicode_norm_table.h"
  19. /* Typedef for perfect hash functions */
  20. typedef int (*cp_hash_func) (const void *key);
  21. /* Information for lookups with perfect hash functions */
  22. typedef struct
  23. {
  24. const pg_unicode_decomposition *decomps;
  25. cp_hash_func hash;
  26. int num_decomps;
  27. } pg_unicode_decompinfo;
  28. typedef struct
  29. {
  30. const uint16 *inverse_lookup;
  31. cp_hash_func hash;
  32. int num_recomps;
  33. } pg_unicode_recompinfo;
  34. /* Perfect hash function for decomposition */
  35. static int
  36. Decomp_hash_func(const void *key)
  37. {
  38. static const int16 h[13407] = {
  39. 4943, 4944, 4945, 4946, 4947, 4948, 4949, 4950,
  40. 4951, 4952, 4953, 4954, 4955, 4956, 4957, 4958,
  41. 4959, 4960, 4961, 4962, 4963, 4964, 4965, 4966,
  42. 4967, 4968, 4969, 32767, 4970, 4971, 32767, 32767,
  43. 4972, 32767, 32767, 4973, 4974, 32767, 32767, 4975,
  44. 4976, 4977, 4978, 32767, 4979, 4980, 4981, 4982,
  45. 4983, 4984, 4985, 4986, 4987, 4988, 4989, 4990,
  46. 32767, 4991, 32767, 4992, 4993, 4994, 4995, 4996,
  47. 4997, 4998, 32767, 4999, 5000, 5001, 5002, 5003,
  48. 5004, 5005, 5006, 5007, 5008, -6192, 5010, 5011,
  49. 5012, 5013, 5014, 5015, 5016, 5017, 5018, 5019,
  50. 5020, 5021, 5022, 5023, 5024, 5025, 5026, 5027,
  51. 5028, 5029, 5030, 5031, 5032, 5033, 5034, 5035,
  52. 5036, 5037, 5038, 5039, 5040, 5041, 5042, 5043,
  53. 5044, 5045, 5046, 5047, 5048, 5049, 5050, 5051,
  54. 5052, 5053, 5054, 5055, 5056, 5057, 32767, 6396,
  55. 6397, 6398, 6399, 6400, 6401, 32767, 6402, 6403,
  56. 6404, 6405, 32767, 32767, 5059, 6407, 5060, 6409,
  57. -9156, 6411, 5507, 6413, 32767, -290, -290, -290,
  58. -290, -290, 9059, 9060, 32767, -291, -291, -291,
  59. -6392, -291, -291, -291, -291, -291, -291, -291,
  60. 951, -291, 952, -291, -291, -291, -291, -6404,
  61. -291, -291, 4828, 4828, -6406, -6406, -291, -291,
  62. -6408, -1694, -292, -292, -292, -292, -6408, -293,
  63. -293, -293, -293, -293, -6409, -294, 32767, -6410,
  64. -6410, -297, -297, -297, -297, -297, -297, -297,
  65. 32767, -298, -6411, 2161, -298, -9253, -6861, 1544,
  66. 2165, 2165, 2165, 7485, 7485, 7485, 7485, 25276,
  67. 7485, 13219, 7485, 1043, 7485, 7485, 7485, 7485,
  68. 7485, 7485, 7485, 5094, 12010, 12010, 13226, 12010,
  69. 13228, 8732, 13230, -298, -6417, 7487, 12010, -298,
  70. -298, -298, -6419, -6419, -1660, 8442, 8442, 8442,
  71. 8442, 8442, -2519, 8442, 18541, -5775, 375, 8887,
  72. 13224, -4566, 13226, 38, 39, -296, -296, 4431,
  73. -296, -296, -6532, -296, -296, 1556, -296, 1557,
  74. -296, -296, -296, -296, -296, -296, -296, -296,
  75. -296, -296, -296, -296, -296, -296, -296, -296,
  76. -296, 449, 450, -296, 106, 107, 679, -296,
  77. 1559, -296, -1981, 112, -296, -296, -296, -296,
  78. -296, -296, -296, 1560, 1561, 1562, 1563, 1564,
  79. -296, -296, 1565, 1566, -296, -296, 1567, 1568,
  80. -296, -296, -296, -296, -296, -296, 1569, 1570,
  81. -296, -296, 1571, 1572, -296, 139, -1933, -295,
  82. -295, 1895, -295, -295, -295, -295, -295, -295,
  83. -295, -295, -295, -295, -486, -1943, -486, -1943,
  84. -295, -295, -295, -295, -295, -295, -295, -295,
  85. -295, -295, 4399, -295, -295, -295, -295, -295,
  86. -295, -295, -295, -295, -295, -295, -295, 179,
  87. -1339, -1339, -3797, -3797, -3797, -1339, -1339, -1339,
  88. 1310, 1311, 1312, 1313, -6671, 1315, -13749,-1339,
  89. -13748,1320, 6679, -1699, 1323, 1324, 1325, -1339,
  90. -1339, -1339, -1339, -1339, 803, 804, 805, 806,
  91. 5334, 3345, -3570, -3569, -1338, -1338, -1338, -1338,
  92. -1338, -1338, -1338, -1338, -1338, -1338, -1338, -1338,
  93. -1338, -1338, -1338, -1338, -1338, 8, -1338, 9,
  94. -1338, 10, -1338, 14228, -1338, -433, -1338, 5365,
  95. 5366, 5367, 5368, 5369, 5370, -3978, -3978, -3978,
  96. 5374, 5375, 5376, 11478, 5378, 5379, 5380, 5381,
  97. 5382, 5383, 5384, 4143, 5386, 4144, 5388, 5389,
  98. 5390, 5391, 11505, 5393, 5394, 276, 277, 11512,
  99. 11513, 5399, 5400, 11518, 5402, 5403, 5404, 5405,
  100. 5406, 5407, 5408, 5409, 5410, 5411, 5412, 5413,
  101. 5414, 5415, 5416, 5417, 5418, 5419, 5420, 5421,
  102. 5422, 5423, 5424, 5425, 5426, 11540, 2969, 5429,
  103. 14385, 11994, 3590, 2970, 2971, 2972, -2347, -2346,
  104. -2345, -2344, -20134,-2342, -8075, -2340, 4103, -2338,
  105. -2337, -2336, -2335, -2334, -2333, -2332, 60, -6855,
  106. -6854, -8069, -6852, -8069, -3572, -8069, 5460, 11580,
  107. -2323, -6845, 5464, 5465, 5466, 11588, 11589, 6831,
  108. -3270, -3269, -3268, -3267, -3266, 7696, -3264, -13362,
  109. 10955, 4806, -3705, -8041, 9750, -8041, 5148, 5148,
  110. 5484, 5485, 759, 5487, 5488, 11725, 5490, 5491,
  111. 3640, 5493, 3641, 5495, 5496, 5497, 5498, 5499,
  112. 5500, 5501, 5502, 5503, 5504, 5505, 5506, 5507,
  113. 5508, 5509, 5510, 5511, 4767, 4767, 5514, 5113,
  114. 5113, 4542, 5518, 3664, 5520, 7206, 5114, 5523,
  115. 5524, 5525, 5526, 5527, 5528, 5529, 3674, 3674,
  116. 3674, 3674, 3674, 5535, 5536, 3676, 3676, 5539,
  117. 5540, 3678, 3678, 5543, 5544, 5545, 5546, 5547,
  118. 5548, 3684, 3684, 5551, 5552, 3686, 3686, 5555,
  119. 5121, 7194, 5557, 5558, 3369, 5560, 5561, 5562,
  120. 5563, 5564, 5565, 5566, 5567, 5568, 5569, 5761,
  121. 7219, 5763, 7221, 5574, 5575, 5576, 5577, 5578,
  122. 5579, 5580, 5581, 5582, 5583, 890, 5585, 5586,
  123. 5587, 5588, 5589, 5590, 5591, 5592, 5593, 5594,
  124. 5595, 5596, 5597, 5598, 5599, 5600, 5601, 5602,
  125. 5603, 5604, -2311, -2310, -2309, -2308, -2307, -2306,
  126. -2305, -2304, -2303, 5614, 5615, 5616, 5617, 5618,
  127. 5619, 5620, 5621, 5622, 5623, 5624, 5625, 5626,
  128. 5627, 5628, 5629, 5630, 5631, 5632, 5633, 5634,
  129. 5635, 5636, 5637, 5638, 5639, 5640, 5641, 5642,
  130. 5643, 5644, 5645, 5646, 5647, 5648, 5649, 5650,
  131. 5651, 5652, -3666, 5654, 5655, 5656, 5657, 5658,
  132. 5659, 5660, 5661, 5662, 5663, 5664, 5665, 5666,
  133. 5667, 5668, 5669, 5670, 5671, 5672, 5673, 5674,
  134. 5675, 5676, 5677, 5678, 5679, 5680, 5681, 5682,
  135. 5683, 5684, 5685, 304, 305, 306, 307, 308,
  136. 309, 310, 311, 312, 313, 314, 315, 4336,
  137. 317, 318, 319, 320, 321, 322, 323, 324,
  138. 325, 326, 327, 328, 329, 330, 331, 332,
  139. 333, 334, 335, -433, -433, -433, -433, -433,
  140. -433, -433, -433, -433, -433, 346, 347, 9415,
  141. 349, 350, 351, 352, 353, 354, 355, 356,
  142. 357, 358, 359, 360, 361, 362, 363, 364,
  143. 365, 366, 367, 368, 369, 370, 371, 372,
  144. 373, 374, 375, 376, 377, 378, 379, 6920,
  145. 6921, -2430, -2430, -2430, -8531, -2430, -2430, -2430,
  146. 388, 389, 390, 391, 392, 393, 394, 395,
  147. 396, 397, 398, 399, 400, 401, 402, 403,
  148. 404, 405, 406, 407, 408, 409, 410, 411,
  149. 412, 413, -348, 5796, 5797, 2779, 5799, 2780,
  150. 2780, 7568, 5803, 5804, 2782, 14440, 7577, 7578,
  151. -2893, 417, 32767, 32767, 32767, 32767, 32767, 418,
  152. 419, 420, 421, 422, 423, 424, 32767, 425,
  153. 32767, 426, 427, 428, 32767, 32767, 32767, 32767,
  154. 32767, 32767, 32767, 32767, 32767, 0, 2084, 2085,
  155. 2657, 0, 0, 0, 0, 2093, 0, 0,
  156. 32767, 32767, 32767, 32767, 32767, 429, 4598, 4599,
  157. 4600, 4601, 4602, 435, 4603, 4604, 4605, 4606,
  158. 4607, 4608, 4609, 4610, 4611, 4612, 4613, 4614,
  159. -2552, 4616, 4617, 4618, 4619, 4620, 4621, 4765,
  160. 4766, 3854, 4625, 4626, 4627, 436, 437, 438,
  161. 4631, 4632, 4633, 4634, 4635, 4636, 4637, 4638,
  162. 4639, 38, 17830, 4642, 4643, 4644, 0, 4645,
  163. 4646, 4647, 4648, 4649, 4650, 4651, 4652, 4653,
  164. 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
  165. 32767, 32767, 32767, 448, 449, 450, 32767, 451,
  166. 452, 32767, 32767, 32767, 453, 32767, 32767, 32767,
  167. 32767, 32767, 32767, 32767, -5211, -5211, 32767, -5212,
  168. 32767, 32767, 32767, -5215, 32767, 32767, 32767, 32767,
  169. -5219, -5219, -5219, 32767, 32767, 32767, 32767, 32767,
  170. 32767, 32767, 32767, 32767, 32767, 153, 32767, 32767,
  171. 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
  172. 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
  173. 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
  174. 32767, 32767, 32767, 32767, 32767, 895, 32767, 32767,
  175. 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
  176. 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
  177. 32767, 32767, 32767, 32767, 100, 100, 32767, 99,
  178. 32767, 32767, 32767, 96, 32767, 32767, 32767, 32767,
  179. 92, 92, 92, 32767, 32767, 32767, 32767, 32767,
  180. 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
  181. 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
  182. 32767, 32767, 70, 70, 32767, 32767, 32767, 32767,
  183. 32767, 32767, 32767, 32767, 32767, 32767, 32767, 59,
  184. 821, -5322, -5322, -2303, 32767, 32767, 32767, 32767,
  185. 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
  186. 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
  187. 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
  188. 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
  189. 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
  190. 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
  191. 32767, 32767, 32767, 32767, 32767, -4122, -4122, 32767,
  192. 32767, 3651, 3652, 3653, 0, 32767, 32767, 32767,
  193. 32767, 32767, 32767, 32767, -4134, -4134, 3033, -4134,
  194. 32767, 32767, -4136, -4136, 32767, 32767, -4281, -3368,
  195. -4138, -4138, -4138, 54, 32767, 32767, -4140, -4140,
  196. -4140, -4140, -4140, -4140, 32767, 32767, -4142, 460,
  197. -17331,-4142, -4142, -4142, 503, -4141, -4141, -4141,
  198. -4141, -4141, 32767, 32767, -4143, -4143, 32767, 32767,
  199. 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
  200. 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
  201. 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
  202. 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
  203. 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
  204. 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
  205. 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
  206. 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
  207. 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
  208. 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
  209. 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
  210. 32767, 32767, 0, 32767, 32767, 32767, 32767, 32767,
  211. 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
  212. 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
  213. 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
  214. 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
  215. 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
  216. 32767, 32767, 32767, 32767, 511, 32767, 32767, 32767,
  217. 32767, 32767, 32767, 32767, 32767, 32767, 512, 513,
  218. 514, 515, 516, -4236, -4236, -4236, -4236, -4236,
  219. 522, 523, 524, 525, 526, 527, 528, 529,
  220. 530, 531, 532, 5533, 534, 5534, 536, 5535,
  221. 538, 5536, 540, 5537, -9327, 543, 544, 545,
  222. 546, 547, 548, 549, 550, 551, 552, 553,
  223. 554, 555, 556, 32767, 557, 32767, 558, 559,
  224. 32767, 560, 561, 32767, 562, 32767, 32767, 32767,
  225. 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
  226. 32767, 0, 32767, 32767, 32767, 32767, 32767, 32767,
  227. 0, 32767, 0, 32767, 32767, 0, 0, 32767,
  228. 0, 0, 32767, 32767, 32767, 0, 32767, 32767,
  229. 32767, 32767, 32767, 32767, 32767, 750, 32767, 32767,
  230. 32767, 32767, 32767, 32767, 32767, 751, 32767, 32767,
  231. 752, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
  232. 753, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
  233. 0, 0, 0, 0, 0, 0, 0, 0,
  234. 0, -8394, 567, 568, 569, -8394, -8393, -8392,
  235. -6000, 32767, 32767, 32767, 0, 760, 761, -14129,
  236. 574, 575, 576, -12902,-462, 32767, 32767, 32767,
  237. 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
  238. 32767, 32767, 32767, 32767, 32767, -1748, 32767, -1749,
  239. 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
  240. 32767, 32767, 32767, 32767, 32767, 32767, 32767, 0,
  241. 0, -255, -255, 581, 582, 583, 584, 585,
  242. 586, 587, 588, 589, 590, 591, 1214, 1215,
  243. 1216, 1217, 1218, 1219, 1220, 1221, 1222, 1223,
  244. 4947, -171, -170, 1227, 1228, 1229, 1230, 11067,
  245. 1232, 1233, 1234, 1235, 1236, 1237, 1238, -1391,
  246. 1240, 1241, 1242, -1390, 1244, -3217, 604, 32767,
  247. 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
  248. 767, 32767, 32767, 0, 32767, 32767, 32767, 32767,
  249. 32767, 32767, 32767, -9177, 32767, 32767, 32767, 911,
  250. 912, 0, 32767, 32767, 32767, 32767, 32767, 32767,
  251. 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
  252. 771, -3830, 32767, 773, 32767, 32767, 32767, 32767,
  253. 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
  254. 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
  255. 32767, 32767, 32767, 32767, 32767, 32767, 605, 32767,
  256. 606, 32767, 774, 32767, 32767, 32767, 32767, 32767,
  257. 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
  258. 32767, 607, 32767, 32767, 608, 609, 610, -236,
  259. 612, 613, 5235, 32767, 32767, 615, 616, 617,
  260. 618, 619, 620, 32767, 32767, -4084, -4084, 32767,
  261. -63, -62, 625, -61, 32767, 32767, 32767, -61,
  262. -60, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
  263. 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
  264. 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
  265. 32767, 32767, 32767, 32767, 32767, 4955, 4956, 32767,
  266. -3764, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
  267. 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
  268. 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
  269. 32767, 32767, 32767, 32767, 32767, 32767, 32767, -3794,
  270. -3794, -3794, -3794, -3794, 4880, -3794, -3794, 0,
  271. 0, 0, 0, 0, 0, 0, 0, 0,
  272. -1423, -1750, -3794, -3794, -3794, -3794, -1754, -1754,
  273. 0, 0, 0, 0, 0, 0, 0, 0,
  274. 0, 0, 0, 0, 0, 0, 0, 0,
  275. 0, 0, 0, 0, 0, 0, 0, 0,
  276. 0, 0, 0, 0, 0, 0, 32767, 0,
  277. 0, 0, 0, 0, 0, 0, 0, 0,
  278. 0, 0, 0, 0, 0, 0, 0, 0,
  279. 0, 0, 0, 0, 0, 0, 0, 6081,
  280. 6082, 6083, 6084, 6085, 6086, 6087, 6088, 32767,
  281. 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
  282. 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
  283. 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
  284. 32767, 3706, 4916, 3706, 32767, 32767, 32767, 32767,
  285. 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
  286. 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
  287. 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
  288. 32767, 32767, 32767, 32767, 32767, 32767, 32767, 4918,
  289. 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
  290. 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
  291. 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
  292. 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
  293. 32767, 32767, 655, 656, 657, 658, -1487, -1487,
  294. -1487, -1487, -1487, 32767, 32767, 32767, 32767, 32767,
  295. 32767, 32767, 32767, 32767, -1669, 32767, 32767, 32767,
  296. 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
  297. 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
  298. 32767, 32767, 32767, 32767, 32767, 32767, 665, -573,
  299. 9529, -573, 32767, -574, -574, -5333, -5333, -5333,
  300. -5333, -5333, -5333, -5333, 32767, -5334, -5334, -5334,
  301. 32767, 681, 682, 683, 684, 685, 32767, 32767,
  302. 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
  303. 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
  304. 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
  305. 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
  306. 32767, 32767, 32767, 32767, 2467, 2468, 2469, 2470,
  307. 2471, 2472, 2473, 2474, 2475, 2476, 2477, 0,
  308. 0, 0, 0, 0, 0, 0, 0, 0,
  309. 0, 0, 0, 0, 0, 0, 0, -1001,
  310. -1001, -1001, -1001, 32767, -1002, -1002, 0, 0,
  311. 0, 0, 0, 0, 0, 0, 0, 0,
  312. 0, 0, 2512, 2513, 2514, 2515, 2516, 0,
  313. 0, 0, 0, 0, 2522, 2523, 0, 1041,
  314. 1042, 2527, 2528, 2529, 2530, 2531, 2532, 2533,
  315. 2534, 2535, 2536, 2537, 693, 694, 695, -8253,
  316. -4639, -4639, 32767, 32767, 2538, 2539, 0, 2541,
  317. 2542, 2543, 2544, 2545, 0, 2547, 0, 2549,
  318. 2550, 0, 2552, 2553, 0, 2555, 2556, 2557,
  319. 2558, 2559, 2560, 2561, 2562, 2563, 2564, 2565,
  320. 2566, 2567, 2568, 2569, 2570, 2571, 2572, 2573,
  321. 2574, 2575, 2576, 2577, 2578, 2579, 2580, 2581,
  322. 2582, 2583, -1309, 706, 2585, 2586, 2587, 2588,
  323. 2589, 2590, 2591, 2592, -7879, 2594, 2595, 2596,
  324. 2597, 2598, 2599, 2600, 2601, 2602, 2603, 2604,
  325. 2605, 2606, 2607, 8568, 2609, 2610, 2611, 5328,
  326. 5329, 5330, 5331, 5332, 2617, 5335, 201, 5337,
  327. 5338, 5339, 5340, 5341, 5342, 5343, 5344, 5345,
  328. 5346, 2630, 2631, 3718, 3719, 2634, 2635, 2636,
  329. 2637, 2638, 2639, 2640, 2641, 2642, 2643, 2644,
  330. 2645, 2646, 2647, 2648, 2649, 2650, 2651, 2652,
  331. 2653, 2654, 2655, 2656, 2657, 2658, 2659, 2660,
  332. 2661, 0, 0, 0, 0, 0, 0, 0,
  333. 0, 0, 0, 0, 0, 0, 0, 0,
  334. 0, 0, 0, 0, 0, 0, 0, 0,
  335. 0, 0, 0, 0, 0, 0, 0, 0,
  336. 0, 0, 2695, 2696, 2697, 2698, 2699, 2700,
  337. 2701, 2702, 2703, 14882, 9148, 2706, 9148, 9148,
  338. 2072, 9149, 9149, 9149, 9149, 6758, 13674, 13674,
  339. 32767, 759, 0, 0, 14891, 189, 189, 189,
  340. 13668, -4759, -4759, 1362, -4759, -4759, 0, 10102,
  341. 0, 10103, 0, 0, 0, 0, 32767, 32767,
  342. 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
  343. 32767, 32767, 32767, 32767, 32767, 32767, 1458, 1459,
  344. 32767, 32767, 32767, 32767, 32767, 0, 0, 0,
  345. 0, 0, 9309, 9310, 9311, 9312, 9313, 9314,
  346. 0, 0, 0, 9320, 9321, 9322, 9323, 0,
  347. 0, 0, 0, 0, 0, 0, 0, 0,
  348. 0, 0, 0, 0, 0, 0, 0, 0,
  349. 0, 0, 0, 0, 1962, 1962, 0, 0,
  350. 0, 0, 0, 0, 0, 0, 0, 0,
  351. 0, 0, 0, 0, 0, 0, 0, 0,
  352. 0, 0, 0, 0, 0, 7167, 0, 0,
  353. 0, 0, 0, 0, -143, -143, 770, 0,
  354. 0, 0, 4192, 4192, 4192, 0, 0, 0,
  355. 0, 0, 0, 0, 0, 0, 4602, -13189,
  356. 0, 0, 0, 0, 0, 0, 0, 0,
  357. 0, 0, 0, 0, 0, 0, 0, 0,
  358. 0, 0, 0, 0, 0, 0, 0, 0,
  359. 5320, 5320, 5320, 5320, 23111, 5320, 11054, 0,
  360. 0, 0, 0, 0, 0, 0, 0, 0,
  361. 0, 0, 0, 0, 0, 0, 0, 0,
  362. 0, 0, 0, 0, 0, 32767, 32767, 0,
  363. 0, 0, 0, 0, 0, 6247, 6247, -4714,
  364. 6247, 2055, 0, 0, 0, 0, 0, 0,
  365. 0, 0, 0, 0, 0, 0, 0, 0,
  366. 0, 0, 0, 0, 0, 0, 0, 0,
  367. 0, 0, 0, 0, 0, 0, 0, 0,
  368. 0, 0, 0, 0, 0, 0, 0, 0,
  369. 0, 0, 0, 0, 0, 32767, 32767, 778,
  370. 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
  371. 32767, 32767, 32767, 779, 780, 781, 32767, 32767,
  372. 782, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
  373. 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
  374. 32767, -2571, -2136, 32767, 32767, 0, 0, 0,
  375. 0, 0, 0, 0, 0, 0, 0, 0,
  376. 0, 0, 32767, 32767, 32767, 32767, 32767, 32767,
  377. 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
  378. 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
  379. 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
  380. 32767, 32767, 32767, 32767, 32767, 4811, 4812, 4813,
  381. 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
  382. 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
  383. 32767, 32767, 32767, 32767, 32767, 32767, 2178, 32767,
  384. 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
  385. 32767, 32767, 32767, 32767, 32767, 32767, 32767, 2189,
  386. 32767, 32767, 32767, 32767, 32767, 32767, 32767, 4666,
  387. 4667, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
  388. 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
  389. 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
  390. 32767, 32767, 1743, 32767, 32767, 32767, 32767, 32767,
  391. 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
  392. 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
  393. 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
  394. 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
  395. 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
  396. 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
  397. 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
  398. 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
  399. 32767, 32767, 32767, 32767, 32767, 32767, 32767, 785,
  400. 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
  401. 32767, 32767, 32767, 786, 32767, 32767, 787, 788,
  402. 789, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
  403. 32767, 32767, 32767, 32767, 32767, 32767, 32767, 790,
  404. 791, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
  405. 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
  406. 32767, 32767, 32767, 4668, 2585, 2585, 2014, 4672,
  407. 4673, 4674, 4675, 2583, 4677, 4678, 32767, 32767,
  408. 32767, 32767, 755, 756, 757, 758, 759, 760,
  409. 761, 2992, 762, -1954, -1953, -866, -865, -1950,
  410. -1949, -4921, -858, -857, 7336, -4923, -4923, 792,
  411. 660, 660, 660, 32767, 32767, -4922, -4922, -4922,
  412. -4922, 658, 658, -4874, 32767, 657, 657, -8375,
  413. 2587, -8373, -18471,5846, -303, -8814, -13150,4641,
  414. -13150,39, 39, 375, 376, -4350, 378, 32767,
  415. 32767, 379, 380, -1471, 382, -1470, 384, 385,
  416. 386, 387, 388, 389, 390, 391, 392, 393,
  417. 394, 395, 396, 397, 398, -346, -346, -346,
  418. -346, 401, 0, 0, -571, 405, -1449, 407,
  419. 32767, 0, 409, 410, 411, 412, 413, 0,
  420. 414, -1441, -1441, -1441, -1441, -1441, 420, 421,
  421. 32767, 32767, 422, 423, -1439, -1439, 426, 427,
  422. 428, 32767, 32767, 429, -1435, -1435, 432, 433,
  423. -1433, 32767, 32767, 0, 2073, 436, 437, -1752,
  424. 439, 440, 441, 442, 443, 444, 445, 446,
  425. 447, 448, 640, 2098, 642, 32767, 32767, 452,
  426. 453, 454, 455, 456, 457, 458, 459, 460,
  427. -4233, 462, 463, 464, 465, 466, 467, 468,
  428. 469, 470, 471, 472, 473, 0, 1519, 32767,
  429. 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
  430. 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
  431. 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
  432. -456, 32767, 32767, 32767, 32767, 32767, 32767, -3164,
  433. 3752, 32767, 32767, 32767, -467, 32767, 32767, 32767,
  434. 32767, 799, 32767, 32767, 32767, 32767, 1521, 1522,
  435. 32767, -4966, -478, 32767, 32767, 32767, 32767, 32767,
  436. 32767, 32767, 32767, -2387, -2386, -2385, -2384, -2383,
  437. -2382, -2381, 3002, 4163, 4164, 4165, -5186, -5186,
  438. -5186, -11287,-5186, -5186, -5186, -5186, -5186, -5186,
  439. -5186, -3944, -5186, -3943, -5186, -5186, -5186, -5186,
  440. -11299,-5186, -5186, -67, 32767, -11302,-11302,-5187,
  441. -5187, -11304,-5187, 32767, 32767, -5189, -5189, -5189,
  442. -5189, -5189, -5189, -5189, -5189, -5189, -5189, -5189,
  443. -5189, -5189, -5189, -5189, -5189, 32767, 4684, -5191,
  444. -5191, -5191, -5191, -11304,-2732, -5191, -14146,32767,
  445. 32767, 32767, 32767, 32767, 32767, 4685, 32767, 3013,
  446. 3014, 3015, 32767, 5848, 5849, 5850, 5851, 5852,
  447. 5853, 5854, 32767, 32767, 32767, 32767, 32767, 32767,
  448. 802, 32767, 32767, 32767, 803, 32767, 32767, 32767,
  449. 4686, 32767, 4687, 804, 805, 32767, 806, 807,
  450. 32767, 808, 32767, 32767, 32767, 32767, 32767, 3016,
  451. 32767, 4688, 32767, 32767, 32767, 32767, 32767, 32767,
  452. 32767, 32767, 32767, 32767, 32767, 32767, 32767, 4689,
  453. 4690, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
  454. 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
  455. 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
  456. 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
  457. 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
  458. 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
  459. 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
  460. 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
  461. 32767, 32767, 32767, 32767, 0, 32767, 32767, 4691,
  462. 4692, 4693, 32767, 32767, 32767, 32767, 32767, 2190,
  463. 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
  464. -1638, -1638, 0, 0, 2190, 0, 0, 0,
  465. 0, 0, 0, 0, 0, 0, 0, -191,
  466. -1648, -191, -1648, 0, 0, 0, 0, 0,
  467. 0, 0, 0, 0, 0, 4694, 0, 0,
  468. 0, 0, 0, 0, 0, 0, 0, 0,
  469. 0, 0, 0, 0, 0, 0, 0, 0,
  470. 0, 0, 7916, 7916, 7916, 7916, 7916, 7916,
  471. 7916, 7916, 7916, 0, 0, 0, 0, 0,
  472. 0, 0, 0, 0, 0, 0, 0, 0,
  473. 0, 0, 0, 0, 0, 0, 0, 0,
  474. 0, 0, 0, 0, 0, 0, 0, 0,
  475. 0, 0, 0, 0, 0, 0, 0, 0,
  476. 0, 0, 9319, 0, 0, 0, 0, 0,
  477. 0, 0, 0, 0, 0, 0, 0, 0,
  478. 0, 0, 0, 0, 0, 0, 0, 0,
  479. 0, 0, 0, 0, 0, 0, 0, 0,
  480. 0, 0, 0, 5382, 5382, 5382, 5382, 5382,
  481. 5382, 5382, 5382, 5382, 5382, 5382, 5382, 1362,
  482. 5382, 5382, 5382, 5382, 5382, 5382, 5382, 5382,
  483. 5382, 5382, 5382, 5382, 5382, 5382, 5382, 5382,
  484. 5382, 5382, 5382, 6151, 6152, 6153, 6154, 6155,
  485. 6156, 6157, 6158, 6159, 6160, 5382, 5382, -3685,
  486. 5382, 5382, 5382, 5382, 5382, 5382, 5382, 5382,
  487. 5382, 5382, 5382, 5382, 5382, 5382, 5382, 5382,
  488. 5382, 5382, 5382, 5382, 5382, 5382, 5382, 5382,
  489. 5382, 5382, 5382, 5382, 5382, 0, -1160, -1160,
  490. -1160, 8192, 8193, 8194, 14296, 8196, 8197, 8198,
  491. 5381, 5381, 5381, 5381, 5381, 5381, 5381, 5381,
  492. 5381, 5381, 5381, 5381, 5381, 5381, 5381, 5381,
  493. 5381, 5381, 5381, 5381, 5381, 5381, 5381, 5381,
  494. 5381, 5381, 6143, 0, 0, 3019, 0, 3020,
  495. 3021, -1766, 0, 0, 3023, -8634, -1770, -1770,
  496. 8702, 32767, 32767, 3025, 3026, 32767, 3027, 32767,
  497. 32767, 32767, 32767, 32767, 32767, 32767, -1783, -7743,
  498. -1783, -1783, 32767, 32767, 32767, 32767, 32767, 32767,
  499. 32767, 32767, 32767, 5046, 5047, 5048, 5049, 5050,
  500. 5051, 5052, 32767, 32767, 32767, 169, 169, 32767,
  501. 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
  502. 6144, 6145, 5767, 6147, 32767, 32767, 32767, 32767,
  503. 32767, 32767, 32767, -2883, 32767, 32767, 32767, 32767,
  504. 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
  505. 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
  506. 32767, 32767, 32767, 32767, 32767, 563, 564, 565,
  507. 8960, 0, 0, 0, 8964, 8964, 8964, 6573,
  508. 32767, 32767, 32767, 32767, 32767, 32767, 32767, 0,
  509. 0, 0, 13479, 1040, 0, 0, 32767, 32767,
  510. 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
  511. 32767, -5930, 32767, 32767, 32767, 32767, 829, 830,
  512. -14060,32767, 32767, 32767, 32767, 32767, 32767, 32767,
  513. 32767, 32767, 32767, 32767, 32767, 32767, 832, 833,
  514. 834, 835, 0, 0, 0, 0, 0, 0,
  515. 0, 0, 0, 0, 0, -622, -622, -622,
  516. -622, -622, -622, -622, -622, 3032, 32767, 32767,
  517. 32767, 32767, 32767, 32767, 32767, 32767, 0, 0,
  518. 0, 32767, 32767, 32767, 32767, -638, 32767, 32767,
  519. 32767, 32767, 1991, -642, 3820, 0, 32767, 32767,
  520. 32767, 32767, 32767, 32767, 32767, 32767, 32767, 0,
  521. 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
  522. 32767, 32767, 32767, 838, 32767, 32767, 32767, 32767,
  523. 32767, 2458, 2458, 32767, 0, 4695, 32767, 839,
  524. 840, 4696, 4697, 32767, 32767, 32767, 32767, 32767,
  525. 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
  526. 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
  527. 32767, 32767, 32767, 32767, 841, 32767, 842, 32767,
  528. 843, 32767, 32767, 32767, 32767, 0, 32767, 0,
  529. 32767, 32767, 844, 32767, 32767, 32767, 32767, 32767,
  530. 32767, 32767, 32767, 32767, 845, 32767, 32767, 32767,
  531. 0, 846, 32767, 0, 0, 0, 847, 0,
  532. 0, -4621, 32767, -2323, 0, 0, 0, 0,
  533. 0, 0, 32767, 32767, 4705, 4706, 32767, 686,
  534. 686, 0, 687, 3034, 32767, 32767, 32767, 32767,
  535. -1963, -2342, -2342, 6037, 12728, 12729, -2990, 12731,
  536. 12732, 12733, 12734, 12735, -531, 32767, 32767, -533,
  537. -533, 2711, 2711, 2711, 32767, 2710, 5710, 32767,
  538. 32767, 32767, 32767, 32767, 32767, 32767, 32767, 6589,
  539. 6590, 6591, 2699, 4714, 6593, 6594, 32767, 32767,
  540. 32767, 6595, 6596, 6597, -3874, 6599, 32767, 32767,
  541. 32767, 2803, 32767, 32767, 32767, 32767, 8384, 32767,
  542. 32767, 32767, 32767, 8337, 32767, 32767, 32767, 32767,
  543. -682, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
  544. -2389, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
  545. 32767, 32767, 32767, 32767, 32767, -2401, 32767, 32767,
  546. 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
  547. 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
  548. 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
  549. 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
  550. 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
  551. 0, 0, 0, 0, 32767, 0, 0, 0,
  552. 0, 0, 0, 0, 0, 0, 0, 0,
  553. 0, 0, 0, 0, 0, 0, 0, 0,
  554. 0, 0, 0, 0, 0, 0, 0, 0,
  555. 32767, 0, 0, 32767, 0, 32767, 32767, 0,
  556. 32767, 0, 0, 0, 0, 0, 0, 0,
  557. 0, 0, 0, 32767, 0, 0, 0, 0,
  558. 32767, 0, 32767, 0, 32767, 32767, 32767, 32767,
  559. 32767, 32767, -957, 32767, 32767, 32767, 32767, 0,
  560. 32767, 0, 880, 0, 32767, 0, 0, 0,
  561. 32767, 0, 0, 32767, 0, 32767, 32767, 0,
  562. 32767, 0, 32767, 0, 32767, 0, 32767, 0,
  563. 32767, 0, 0, 32767, 0, 32767, 32767, 0,
  564. 0, 6115, 0, 6116, 6116, 0, 0, 6116,
  565. 6116, 6116, 6116, 0, 6115, 0, 0, 0,
  566. 6113, 6113, 6113, 6113, 6113, 6113, 6113, 0,
  567. 6113, 0, 8572, 6113, -2842, -450, 0, 0,
  568. 8578, 8578, 13898, 13898, 13898, 0, 0, 13900,
  569. 19634, 13900, 7458, 13900, 13900, 6824, 13901, 13901,
  570. 13901, 13901, 11510, 18426, 18426, 19642, 18426, 0,
  571. 15149, 19647, 6119, 0, 13904, 18427, 0, 0,
  572. 6121, 0, 0, 4759, 14861, 4759, 14862, 4759,
  573. 4759, 0, 0, 0, 0, 0, 0, 0,
  574. 0, 0, 0, 0, 0, 0, 0, 0,
  575. 0, 4775, 4775, 4775, 4775, 0, 4776, 4776,
  576. 4776, 0, 7826, 7827, 7828, 7829, 7830, 7831,
  577. 4777, 4777, 4777, 4777, 4777, 0, 4778, 4778,
  578. 0, 0, 4780, 4780, 4780, 4780, 4780, 0,
  579. 0, 4782, 4782, 4782, 0, 4783, 0, 4784,
  580. 0, 4785, 0, 4786, 4786, 4786, 4786, 0,
  581. 4787, 4787, 4787, 0, 4788, 4788, 4788, 4788,
  582. 4788, 4788, 4788, 0, 4789, 4789, 4789, 4789,
  583. 4789, 4789, 0, 0, 0, 0, 4793, 4793,
  584. 4793, 4793, 4793, 0, 882, 0, 0, 0,
  585. 0, 4799, 4799, 4799, 4799, 4799, 4799, 4799,
  586. 4799, 7927, 4799, 4799, 4799, 4799, 4799, 4799,
  587. 4799, 4799, 4799, 4799, 4799, 4799, 4799, 4799,
  588. 4799, 4799, 4799, 4799, 4799, 4799, 4799, 4799,
  589. 4799, 4799, 4799, 4799, 4799, 4799, 4799, 4799,
  590. 4799, 4799, 4799, 4799, 4799, 4799, 4799, 4799,
  591. 4799, 0, 0, 0, 0, 0, 0, 0,
  592. 0, 0, 0, -2458, -2458, -2458, 0, 0,
  593. 0, 2649, 2650, 2651, 2652, -5332, 2654, -12410,
  594. 0, -12409,2659, 8018, -360, 2662, 2663, 2664,
  595. 0, 0, 0, 0, 0, 2142, 2143, 2144,
  596. 2145, 0, 0, 0, 0, 0, 0, 0,
  597. 0, 4307, 4308, 0, 4309, 4310, 0, -173,
  598. 0, 0, -1457, 0, -1457, 0, -1457, 0,
  599. -1458, -8534, -8533, 0, 0, 0, 0, 0,
  600. 0, 0, 0, 0, 0, 0, 0, 0,
  601. 0, 0, 0, 0, 0, 0, 0, 0,
  602. 0, 0, 0, 0, 0, 0, 0, 0,
  603. 0, 0, 0, 0, 0, 0, 0, 0,
  604. 0, 0, 0, 0, 0, 0, 0, 0,
  605. 0, 0, 0, 0, 0, 0, 0, 0,
  606. 0, 0, 0, 0, 0, 0, 0, 0,
  607. 0, 0, 0, 0, 0, 0, 0, 0,
  608. 0, 0, 0, 0, 0, 0, 0, 0,
  609. 0, 0, 0, 0, 0, 0, 0, 0,
  610. 0, 0, 0, 0, 0, 0, 0, -3244,
  611. -3244, 0, 0, 0, 0, 0, 3000, 0,
  612. 5135, 0, 0, 0, 0, 0, 0, 0,
  613. 0, 0, 0, 2717, 2717, 1631, 1631, 2717,
  614. 2717, 5690, 1628, 1628, -6564, 5696, 5697, 0,
  615. 5700, 5701, 5702, 5703, 5704, 5705, 5706, 5707,
  616. 5708, 129, 130, 5663, 0, 5664, 5664, 6433,
  617. 0, 0, 0, -5044, 1106, 1107, 1108, 1109,
  618. 1110, 1111, 1112, 1113, 1114, 1115, 1116, 1117,
  619. 1118, 1119, 1120, 1121, 1122, 1123, 1124, 1125,
  620. 1126, 1127, 1128, 1129, 1130, 1131, 1132, 1133,
  621. 1134, 1135, 1136, 1137, 1138, 1139, 1140, 1141,
  622. 1142, 1143, 1144, 1145, 1146, 1147, 1148, 1149,
  623. 1150, 1151, -5940, -5319, 32767, 32767, 32767, 32767,
  624. 32767, 32767, 32767, 32767, 32767, 32767, 0, 0,
  625. 0, 0, 0, 0, 0, 0, 0, 0,
  626. 0, 0, 0, 0, 32767, 32767, 0, 32767,
  627. 0, 32767, 32767, 0, 0, 0, 0, 0,
  628. 0, 0, 0, 0, 3316, 32767, 3317, 32767,
  629. 3318, 32767, 32767, 3319, 3320, 32767, 32767, 32767,
  630. 0, 0, 0, 9778, 3325, 3326, 3327, 3328,
  631. 3329, 3330, 3331, 3332, 3333, 3334, 454, 3336,
  632. 3337, 3338, 3339, 3340, 3341, 3342, 3343, 3344,
  633. 3345, 3346, 3347, 3348, 3349, 3350, 3351, 3352,
  634. 3353, 3354, 3355, 3356, 3357, 3358, 3359, 3360,
  635. 3361, 0, 0, 3364, 3365, 3366, 3367, 3368,
  636. 3369, 3370, 3371, 3372, 3373, 3374, 3375, 0,
  637. 3377, 3378, 3379, 3380, 3381, 3382, 3383, 3384,
  638. 3385, 3386, 0, 3388, 32767, 32767, 3389, 3390,
  639. 3391, 3392, 3393, 0, 3395, 3396, 3397, 0,
  640. 0, 0, 0, 0, 3403, 3404, 3405, 0,
  641. 3407, 0, 3409, 3410, 3411, 3412, 3413, 3414,
  642. 3415, 3416, 3417, 3418, 3419, 3420, 3421, 3422,
  643. 3423, 3424, 3425, 3426, 3427, 3428, 3429, 0,
  644. 0, 0, 0, 0, 0, 0, 0, 0,
  645. 0, -3723, 1396, 1396, 0, 0, 0, 0,
  646. -9836, 0, 0, 0, 0, 0, 0, 0,
  647. 2630, 0, 0, 0, 2633, 0, 4462, 3462,
  648. 3463, 3464, 3465, 3466, 3467, 3468, 3469, 3470,
  649. 3471, 3472, 3473, 3474, 3475, 3476, 3477, 3478,
  650. 3479, 3480, 3481, 3482, 3483, 3484, 3485, 3486,
  651. 3487, 3488, 3489, 3490, 3491, 3492, 3493, 3494,
  652. 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
  653. 32767, 32767, 32767, 32767, 32767, 0, 0, 0,
  654. 0, 0, 0, 0, 32767, 32767, 32767, 32767,
  655. 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
  656. 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
  657. 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
  658. 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
  659. 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
  660. 3400, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
  661. 471, 471, 885, 32767, 32767, 32767, 32767, 32767,
  662. 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
  663. 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
  664. 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
  665. 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
  666. 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
  667. 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
  668. 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
  669. 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
  670. 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
  671. 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
  672. 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
  673. 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
  674. 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
  675. 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
  676. 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
  677. 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
  678. 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
  679. 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
  680. 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
  681. 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
  682. 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
  683. 32767, 32767, 32767, 32767, 32767, 32767, 7954, 32767,
  684. 32767, 32767, 32767, 0, 32767, 32767, -620, 32767,
  685. 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
  686. 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
  687. 32767, 32767, 32767, 32767, 32767, 32767, -11684,32767,
  688. 7964, 32767, 32767, 32767, 32767, 32767, 7967, 0,
  689. 32767, -6890, -6889, 32767, 32767, 32767, 32767, 32767,
  690. 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
  691. 32767, 32767, -2878, -2877, -2876, -2875, 8087, -2873,
  692. -12971,0, 32767, 0, 32767, 32767, 32767, 877,
  693. 32767, 32767, 32767, 32767, 32767, 32767, 32767, 7021,
  694. 13712, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
  695. 878, 32767, 879, 0, 0, 32767, 32767, 32767,
  696. 32767, 32767, 32767, 32767, 32767, 32767, 32767, 0,
  697. 0, 0, 0, 0, 32767, 32767, 0, 0,
  698. 32767, 32767, 0, 0, 32767, 32767, 32767, 32767,
  699. 32767, 32767, 0, 0, 32767, 32767, 0, 0,
  700. 32767, 32767, 0, 0, 32767, 32767, 32767, 32767,
  701. 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
  702. 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
  703. 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
  704. 32767, 32767, 32767, 32767, 32767, 32767, 0, 0,
  705. 0, 0, 32767, 32767, 32767, 32767, -18761,5867,
  706. 5868, 5869, 5870, 5871, 5872, 5873, 32767, 32767,
  707. 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
  708. 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
  709. 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
  710. 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
  711. 32767, 32767, 0, 0, 0, 0, 32767, 32767,
  712. 32767, 32767, 32767, 32767, 0, 0, 0, 0,
  713. 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
  714. 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
  715. 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
  716. 32767, 32767, 32767, 32767, 32767, 0, 0, 0,
  717. 0, 0, 0, 0, 0, 0, 0, 0,
  718. 0, 0, 0, 0, 0, 0, 0, 0,
  719. 0, 0, 0, 0, 0, 0, 0, 4392,
  720. 4393, 4394, 0, 0, 0, 0, 0, 0,
  721. 0, 0, 0, 0, 0, 0, 0, 0,
  722. 0, 0, 0, 0, 0, 0, 0, 0,
  723. 0, 0, 0, 0, 0, 0, 0, 0,
  724. 0, 0, 8674, 0, 0, 3794, 3794, 3794,
  725. 3794, 3794, 3794, 3794, 3794, 3794, 2371, 2044,
  726. 0, 0, 0, 0, 2040, 2040, 3794, 3794,
  727. 0, 0, -4405, 0, 0, 0, 0, 0,
  728. 0, 0, 0, 0, 0, 0, 0, 0,
  729. 0, 0, 0, 0, 0, 0, 0, 0,
  730. 0, 0, 0, 0, 0, 0, 0, 0,
  731. 0, 0, 0, 0, 0, 0, 0, 0,
  732. 0, 0, 0, 0, 0, 0, 0, 0,
  733. 0, 0, 0, 0, 0, 0, 0, 0,
  734. 0, 0, 0, 0, 0, 0, 0, 0,
  735. 0, 0, 0, 0, 0, 0, 0, 0,
  736. 0, 0, 2454, 0, 0, 0, 0, 0,
  737. 0, 0, 0, 0, 0, 0, 0, 0,
  738. 7266, 7266, 7266, 7266, 7266, 7266, 7266, 7266,
  739. 7266, 7266, 7266, 7266, 7266, 7266, 7266, 7266,
  740. 7266, 7266, 7266, 32767, 32767, 32767, 7263, 7263,
  741. 7263, 7263, 7263, 7263, 32767, 32767, 7261, 7261,
  742. 7261, 7261, 7261, 7261, 32767, 32767, 2460, 2460,
  743. 2460, 2460, 2460, 2460, 32767, 32767, 0, 0,
  744. 0, 32767, 5102, 5103, 5104, 5105, 5106, 5107,
  745. -2877, 5109, -9955, -6587, -9955, 5113, 10472, 2094,
  746. 5116, 5117, 5118, 5119, 5120, 5121, 5122, 4744,
  747. 5124, 5125, -3253, -9943, -9943, 5777, -9943, -9943,
  748. -9943, -9943, -9943, 3324, 3325, 3326, 3327, 3328,
  749. 85, 86, 87, 88, 89, -2910, 91, -5043,
  750. 93, 94, 95, 96, 97, 98, 99, 100,
  751. 101, 102, -2614, -2613, -1526, -1525, -2610, -2609,
  752. -5581, -1518, -1517, 6676, -5583, -5583, 132, 0,
  753. 0, 0, -5580, -5580, -5580, -5580, -5580, -5580,
  754. 0, 0, -5532, 5183, 0, 0, 6677, 32767,
  755. 0, 0, 0, 0, 0, 0, 0, 0,
  756. 0, 0, 0, 0, 0, 0, 0, 0,
  757. 0, 0, 0, 0, 0, 0, 0, 4922,
  758. 4923, 0, 0, 0, 0, 0, 0, 0,
  759. 0, 0, 0, 0, 0, 0, 0, 0,
  760. 0, 0, 0, 0, 0, 0, 0, 0,
  761. 0, 0, 0, 0, 0, 0, 0, 0,
  762. 0, 0, 0, 0, 0, 0, 0, 0,
  763. 0, 0, 0, 0, 0, 0, 0, 32767,
  764. 0, 0, 32767, 32767, 0, 32767, 32767, 0,
  765. 0, 32767, 32767, 0, 0, 0, 0, 32767,
  766. 0, 0, 0, 0, 0, 0, 0, 0,
  767. 0, 0, 0, 0, 32767, 0, 32767, 0,
  768. 0, 0, 0, 0, 0, 0, 32767, 0,
  769. 0, 0, 0, 0, 0, 0, 0, 0,
  770. 0, 11201, 0, 0, 0, 0, 0, 0,
  771. 0, 0, 0, 0, 0, 0, 0, 0,
  772. 0, 0, 0, 0, 0, 0, 0, 0,
  773. 0, 0, 0, 0, 0, 0, 0, 0,
  774. 0, 0, 0, 0, 0, 0, 0, 0,
  775. 0, 0, 0, 0, 0, 0, 0, 0,
  776. 0, 0, 32767, 32767, 32767, 32767, 32767, 32767,
  777. 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
  778. 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
  779. 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
  780. 32767, 32767, 32767, 886, 887, 32767, 32767, 32767,
  781. 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
  782. 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
  783. 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
  784. 32767, 32767, 32767, 888, 32767, 32767, 0, 0,
  785. 0, 0, 0, 0, 0, 0, 0, 0,
  786. 0, 0, -4020, 0, 0, 0, 0, 0,
  787. 0, 0, 0, 0, 0, 0, 0, 0,
  788. 0, 0, 0, 0, 0, 0, 769, 770,
  789. 771, 772, 773, 774, 775, 776, 777, 778,
  790. 0, 0, -9067, 0, 0, 0, 0, 0,
  791. 0, 0, 0, 0, 0, 0, 0, 0,
  792. 0, 0, 0, 0, 0, 0, 0, 0,
  793. 0, 0, 0, 0, 0, 0, 0, 0,
  794. 0, 0, -6540, -6540, 2812, 32767, 2813, 8915,
  795. 2815, 2816, 2817, 0, 0, 0, 0, 0,
  796. 0, 0, 0, 0, 0, 0, 0, 0,
  797. 0, 0, 0, 0, 0, 0, 0, 0,
  798. 0, 0, 0, 0, 0, 762, 32767, 32767,
  799. 32767, 32767, -2365, 32767, 32767, 32767, 32767, 32767,
  800. -14024,32767, 32767, 32767, 0, 32767, 32767, 32767,
  801. 32767, 32767, 0, 0, 0, 0, 0, 0,
  802. 0, 32767, 0, 32767, 0, 0, 0, 32767,
  803. 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
  804. 32767, 889, 32767, 32767, 32767, 32767, 32767, 32767,
  805. 32767, 32767, 32767, 32767, 890, 32767, 32767, 32767,
  806. 0, -4168, -4168, -4168, -4168, -4168, 0, 32767,
  807. 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
  808. 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
  809. 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
  810. 0, 0, 0, -4192, -4192, 32767, -4193, -4193,
  811. -4193, -4193, -4193, -4193, 409, 32767, 32767, 32767,
  812. 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
  813. 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
  814. 32767, 32767, 32767, 32767, 32767, 32767, 0, 0,
  815. 0, 32767, 0, 0, 32767, 32767, 32767, 0,
  816. 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
  817. 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
  818. 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
  819. 32767, 32767, 0, 0, 32767, 32767, 32767, 32767,
  820. 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
  821. 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
  822. 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
  823. 32767, -1663, 32767, 32767, 32767, 32767, 32767, 32767,
  824. 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
  825. 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
  826. 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
  827. 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
  828. 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
  829. 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
  830. 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
  831. 32767, 891, 32767, 32767, 32767, 32767, 32767, 32767,
  832. 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
  833. 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
  834. 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
  835. 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
  836. 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
  837. 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
  838. 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
  839. 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
  840. 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
  841. 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
  842. 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
  843. 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
  844. 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
  845. 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
  846. 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
  847. 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
  848. 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
  849. 32767, 32767, 892, 893, 894, 32767, 32767, 32767,
  850. 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
  851. 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
  852. 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
  853. 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
  854. 32767, 32767, 32767, 32767, 32767, 0, 32767, 0,
  855. 0, 4788, 32767, 32767, 0, 11658, 32767, 8415,
  856. 8416, 32767, 32767, 0, 0, 32767, 0, 32767,
  857. 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
  858. 5874, 5875, 5876, 5877, 32767, 5878, 5879, 5880,
  859. 5881, 5882, 5883, 5884, 5885, 5886, 5887, 5888,
  860. 5889, 5890, 5891, 5892, 5893, 5894, 5895, 5896,
  861. 5897, 5898, 5899, 5900, 5901, 5902, 5903, 5904,
  862. 32767, 5905, 5906, 32767, 5907, 32767, 32767, 5908,
  863. 32767, 5909, 5910, 5911, 5912, 5913, 5914, 5915,
  864. 5916, 5917, 5918, 32767, 5919, 5920, 5921, 5922,
  865. 32767, 5923, 32767, 5924, 32767, 32767, 32767, 32767,
  866. 32767, 32767, 6882, 32767, 32767, 32767, 32767, 5926,
  867. 32767, 5927, 32767, 5928, 32767, 5929, 5930, 5931,
  868. 32767, 5932, 5933, 32767, 5934, 32767, 32767, 5935,
  869. 32767, 5936, 32767, 5937, 32767, 5938, 32767, 5939,
  870. 32767, 5940, 5941, 32767, 5942, 32767, 32767, 5943,
  871. 5944, -170, 5946, 32767, -169, 5948, 5949, -166,
  872. -165, -164, -163, 32767, -161, 5955, 5956, 5957,
  873. 32767, -155, -154, -153, -152, 32767, -151, 32767,
  874. -150, 5964, -2607, -147, 8809, 6418, 5969, 5970,
  875. -2607, -2606, 32767, -7925, -7924, 5975, 5976, -7923,
  876. -13656,-7921, -1478, -7919, -7918, -841, -7917, -7916,
  877. -7915, -7914, -5522, -12437,32767, 32767, 32767, 32767,
  878. 32767, -13657,-128, 5992, 32767, -12434,5994, 5995,
  879. -125, 5997, 0, 1239, -8862, 1241, -8861, 1243,
  880. 1244, 6004, 6005, 6006, 6007, 6008, 6009, 6010,
  881. 6011, 6012, 6013, 6014, 32767, 0, 0, 0,
  882. 0, 0, 0, 0, 32767, 32767, 32767, 32767,
  883. 32767, 32767, 32767, 32767, 32767, 897, 32767, 32767,
  884. 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
  885. 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
  886. 32767, 32767, 0, 0, 0, 0, 0, 0,
  887. 0, 0, 32767, 32767, 0, -1786, -1786, -1786,
  888. 32767, 32767, 32767, 32767, 32767, 32767, 32767, 898,
  889. 899, 900, 901, 902, 903, 904, 905, 32767,
  890. 32767, 906, 32767, 32767, 32767, 32767, 32767, 32767,
  891. 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
  892. 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
  893. 32767, 32767, 32767, 32767, 32767, 907, -8041, -8041,
  894. 7679, -3281, 912, 913, 914, 915, 916, 0,
  895. 0, 0, 0, 32767, -1845, -1845, -1845, -1845,
  896. 0, 0, 0, 8949, 8950, -6769, 4192, 0,
  897. 0, 0, 0, 0, 917, 918, 919, 920,
  898. 32767, 2766, 2767, 2768, 2769, 925, 926, 927,
  899. -8021, -8021, 7699, -3261, 932, 933, 934, 935,
  900. 936, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
  901. 32767, 32767, 32767, 32767, 32767, 32767, -1879, -1879,
  902. -1879, -1879, -1879, -1879, -1879, -1879, 2014, 0,
  903. -1878, -1878, -1878, -1878, -1878, -1878, -1878, -1878,
  904. 8594, -1878, -1878, -1878, -1878, -1878, 32767, -1879,
  905. -1879, -1879, -1879, -1879, -1879, -1879, -1879, -7839,
  906. -1879, -1879, -1879, -4595, -4595, -4595, -4595, -4595,
  907. -1879, -4596, 539, -4596, -4596, -4596, -4596, -4596,
  908. -4596, -4596, -4596, -4596, 32767, 397, 32767, 32767,
  909. 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
  910. 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
  911. 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
  912. 32767, 32767, 32767, 32767, 32767, 32767, 32767, 943,
  913. 32767, 32767, 32767, 32767, 32767, 32767, 944, 32767,
  914. 945, 32767, 32767, 946, 947, 32767, 948, 949,
  915. 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
  916. 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
  917. 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
  918. 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
  919. 32767, 32767, 32767, 32767, 32767, 32767, 950, 951,
  920. 952, 953, 954, 955, 956, 957, 958, 32767,
  921. 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
  922. 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
  923. 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
  924. 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
  925. 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
  926. 32767, 4591, 32767, 32767, 32767, 32767, 32767, 32767,
  927. 32767, 32767, 32767, 32767, 32767, 959, 960, 32767,
  928. 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
  929. 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
  930. 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
  931. 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
  932. 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
  933. 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
  934. 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
  935. 32767, 961, 32767, 32767, 32767, 32767, 32767, 32767,
  936. 32767, 32767, 32767, 32767, 32767, 51, 51, 32767,
  937. 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
  938. 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
  939. 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
  940. 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
  941. 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
  942. 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
  943. 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
  944. 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
  945. 32767, 32767, 32767, 964, 32767, 32767, 32767, 32767,
  946. 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
  947. 32767, 32767, 32767, 4767, 32767, 32767, 32767, 32767,
  948. 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
  949. 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
  950. 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
  951. 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
  952. 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
  953. 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
  954. 32767, 32767, 32767, 6015, 6016, 6017, 6018, 6019,
  955. 6020, 6021, 6022, 6023, 7447, 7775, 32767, 32767,
  956. 32767, 32767, 32767, 7780, 6027, 6028, 6029, 6030,
  957. 6031, 6032, 6033, 6034, 6035, 6036, 6037, 6038,
  958. 6039, 6040, 6041, 6042, 6043, 6044, 6045, 6046,
  959. 6047, 6048, 6049, 6050, 6051, 6052, 6053, 6054,
  960. 6055, 6056, 32767, 6057, 6058, 6059, 6060, 6061,
  961. 6062, 6063, 6064, 6065, 6066, 6067, 6068, 6069,
  962. 6070, 6071, 6072, 6073, 6074, 6075, 6076, 6077,
  963. 6078, 6079, 6080, 0, 0, 0, 0, 0,
  964. 0, 0, 0, 0, 965, 1410, 1411, 1412,
  965. 1413, 1414, 1415, 1416, 1417, 1418, 12380, 1420,
  966. -8678, 15639, 9490, 979, -3357, 14434, -3357, 2377,
  967. -3357, 2379, 1174, 2381, 1174, 2383, 1174, 2385,
  968. 1174, 2387, 1174, 1174, 2390, 1174, 2392, -2104,
  969. 2394, 1174, -2102, 1174, 1174, 1174, 1174, -2400,
  970. -2400, -2400, -2400, 2405, 1174, 2407, 2408, 1174,
  971. 2410, 2411, 1174, 2413, 2414, -1896, 1174, 1174,
  972. 1174, 1174, 1174, 1174, 1174, 1174, 1174, 1174,
  973. 1174, 1174, 1174, 1174, 1174, 1174, 1174, 1174,
  974. 1174, 1174, -3323, 2437, 1174, 1174, 1174, 1174,
  975. 2442, 2443, 2444, 2445, 1174, 2447, 2448, 1174,
  976. 1174, 992, -3314, -3314, -2076, -3314, -3314, 997,
  977. 1171, 999, 1000, 2458, 1002, 2460, 1004, 2462,
  978. 9540, 2464, 9541, 9541, 1009, 1010, 1011, 1012,
  979. 1013, 1014, 1015, 1016, 1017, 1018, 1019, 1020,
  980. 1021, 1022, 1023, 0, 1024, 1025, 1026, 1027,
  981. 1028, 1029, 1030, 1031, 1032, 1033, 1034, 1035,
  982. 1036, 1037, 1038, 1039, 1040, 1041, 1042, 1043,
  983. 1044, 1045, 1046, 1047, 1048, 1049, 1050, 1051,
  984. 0, 0, 0, 0, -8971, -1739, -1738, -1737,
  985. -8971, -8971, -8971, -8971, -8971, 1052, -8971, -8971,
  986. 32767, -8972, -8972, -8972, -8972, -5604, -8972, -8972,
  987. -8972, -8972, -8972, -8972, -8972, -1697, -8972, -8972,
  988. 32767, -8973, -8973, -8973, -2283, -8973, -8973, 6747,
  989. -8973, -8973, -8973, -8973, -8973, 4294, 4295, 4296,
  990. 4297, 4298, 1055, 1056, 1057, 1058, 1059, -1940,
  991. 1061, -4073, 1063, 1064, 1065, 1066, 1067, 1068,
  992. 1069, 1070, 1071, 1072, -1644, -1643, -556, -555,
  993. -1640, -1639, -4611, -548, -547, 7646, -4613, -4613,
  994. 1085, -4614, -4614, -4614, -4614, -4614, -4614, -4614,
  995. -4614, -4614, 966, 966, -4566, 1098, -4565, -4564,
  996. -5332, 1102, 1103, 1104, 6149, 0, 0, 0,
  997. 0, 0, 0, 0, 0, 0, 0, 0,
  998. 0, 0, 0, 0, 0, 0, 0, 0,
  999. 0, 0, 0, 0, 0, 0, 0, 0,
  1000. 0, 0, 0, 0, 0, 0, 0, 0,
  1001. 0, 0, 0, 0, 0, 0, 0, 0,
  1002. 0, 0, 0, 7092, 6472, 6473, 6474, 1155,
  1003. 1156, 1157, 1158, -16632,1160, -4573, 1162, 7605,
  1004. 1164, 1165, 1166, 1167, 1168, 1169, 1170, 3562,
  1005. -3353, -3352, -4567, -3350, -4567, -70, -4567, -3346,
  1006. 1180, 1181, -3341, -3340, -3339, 236, 237, 238,
  1007. 239, 240, 241, 242, 243, 244, 11206, 246,
  1008. -9852, 14465, 8316, -195, -4531, 13260, -4531, 1203,
  1009. -4531, 1205, 0, 1207, 0, 1209, 0, 1211,
  1010. 0, 1213, 0, 0, 1216, 0, 1218, -3278,
  1011. 1220, 0, -3276, 0, 0, 0, 0, -3574,
  1012. -3574, -3574, -3574, 1231, 0, 1233, 1234, 0,
  1013. 1236, 1237, 0, 1239, 1240, -3070, 0, 0,
  1014. 0, 0, 0, 0, 0, 0, 0, 0,
  1015. 0, 0, 0, 0, 0, 0, 0, 0,
  1016. 0, 0, -4497, 1263, 0, 0, 0, 0,
  1017. 1268, 1269, 1270, 1271, 0, 1273, 1274, 0,
  1018. 0, -182, -4488, 0, 1280, 1281, -4485, -174,
  1019. 0, -172, -171, 1287, -169, 1289, -167, 1291,
  1020. 8369, 1293, 8370, 8370, 1296, 1297, 1298, 1299,
  1021. 1300, 1301, 1302, 1303, 1304, 1305, 1306, 1307,
  1022. 1308, 1309, 0, 0, 0, 0, 1310, 1311,
  1023. 1312, 1313, 1314, 1315, 1316, 1317, 1318, 1319,
  1024. 1320, 1321, 1322, 1323, 1324, 1325, 1326, 1327,
  1025. 1328, 1329, 1330, 1331, 1332, 1333, 1334, 1335,
  1026. 1336, 0, 1338, 1339, 1340, 1341, 1342, 1343,
  1027. 1344, 1345, 1346, 1347, 1348, 1349, 1350, 1351,
  1028. 1352, 1353, 1354, 1355, 1356, 1357, 1358, 1359,
  1029. 1360, 1361, 1362, 1363, 1364, 1365, 1366, 1367,
  1030. 1368, 1369, 1370, 1371, 1372, 1373, 1374, 1375,
  1031. 1376, 1377, 1378, 1379, 1380, 1381, 1382, 1383,
  1032. 1384, 1385, 1386, 1387, 1388, 1389, 1390, 1391,
  1033. 1392, 1393, 1394, 1395, 1396, 1397, 1398, 1399,
  1034. 32767, 32767, 32767, 32767, 32767, 32767, 32767, 1400,
  1035. 1401, 1402, 1403, 1404, 1405, 1406, 1407, 1408,
  1036. 444, 0, 0, 0, 0, 0, 0, 0,
  1037. 0, 0, -10961,0, 10099, 32767, 32767, 443,
  1038. 4780, -13010,4782, -951, 4784, 11227, 32767, -953,
  1039. 255, -953, 257, -953, 259, -953, 261, 262,
  1040. -953, 264, -953, 3544, -953, 268, 3545, 270,
  1041. 271, 272, 273, 3848, 3849, 3850, 3851, -953,
  1042. 279, -953, -953, 282, -953, -953, 285, -953,
  1043. -953, 3358, 289, 290, 291, 32767, 32767, 292,
  1044. 293, 294, 295, 296, 297, 32767, 32767, 298,
  1045. 299, 300, 301, 302, 303, 304, 4802, 3582,
  1046. 306, 32767, 307, 32767, -960, 32767, -961, -961,
  1047. 311, -961, -961, 314, 315, 498, 4805, 4806,
  1048. 3569, 4808, 4809, 499, 326, 499, 499, -958,
  1049. 499, -958, 499, -958, -8035, -958, -8034, -8033,
  1050. 500, 500, 500, 500, 500, 32767, 32767, 498,
  1051. 498, 498, 498, 498, 498, 498, 498, 1522,
  1052. 499, 499, 499, 499, 499, 499, 499, 499,
  1053. 499, 499, 499, 499, 499, 499, 499, 499,
  1054. 499, 499, 499, 499, 499, 499, 499, 499,
  1055. 499, 499, 499, 499, 1551, 1552, 1553, 1554,
  1056. 10526, 3295, 3295, 3295, 10530, 10531, 10532, 10533,
  1057. 10534, 512, 10536, 10537, 10538, 10539, 10540, 10541,
  1058. 10542, 7175, 10544, 10545, 10546, 10547, 10548, 10549,
  1059. 10550, 3276, 10552, 10553, 10554, 10555, 10556, 10557,
  1060. 3868, 10559, 10560, -5159, 10562, 10563, 10564, 10565,
  1061. 10566, -2700, -2700, 3260, 10570, -2702, 542, 542,
  1062. 542, 542, 542, 3258, 541, 5676, 541, 541,
  1063. 541, 541, 541, 541, 541, 541, 541, 541,
  1064. 3258, 3258, 2172, 2172, 3258, 3258, 6231, 6232,
  1065. 6233, -6025, 6235, 6236, 6237, 6238, 6239, 6240,
  1066. 6241, 6242, 6243, 6244, 6245, 6246, 6247, 6248,
  1067. 1633, 1634, 1635, 1636, 1637, 1638, 1639, -872,
  1068. -872, -872, -872, 6260, 6261, 6262, 6263, 6264,
  1069. 6265, -878, 6267, 6268, 6269, 6270, 6271, -883,
  1070. 6273, 6274, 6275, 6276, 6277, 6278, 6279, 6280,
  1071. 6281, 6282, 6283, 6284, 9899, 6286, 6287, 6288,
  1072. 6289, 6290, 6291, 6292, 6293, 6294, 6295, -895,
  1073. 6297, 6298, 6299, 1650, -898, 6302, 1652, -899,
  1074. 6305, 6306, 6307, 6308, -903, 6310, -904, 6312,
  1075. 6313, 6314, 6315, 6316, 6317, 6318, 6319, -912,
  1076. -912, -912, 6323, 6324, 6325, 6326, 6327, -3695,
  1077. 6329, 6330, 6331, 6332, 6333, 6334, 6335, 2968,
  1078. 6337, 6338, 6339, 6340, 6341, 6342, 6343, -931,
  1079. 6345, 6346, 6347, 6348, 6349, 6350, -339, 6352,
  1080. 6353, -9366, 6355, 6356, 6357, 6358, 6359, -6907,
  1081. -6907, -947, 6363, -6909, -3665, -3665, -3665, -3665,
  1082. -3665, -949, -3666, 1469, -3666, -3666, -3666, -3666,
  1083. -3666, -3666, -3666, -3666, -3666, -3666, -949, -949,
  1084. -2035, -2035, -949, -949, -949, -949, -949, 6392,
  1085. -950, -950, -950, -950, -950, -950, -950, -950,
  1086. -950, -950, -950, -950, -950, 6406, 6407, 6408,
  1087. 6409, -4824, -4823, 6412, 6413, 6414, 6415, 6416,
  1088. 1703, 302, 6418, 303, 304, 6421, 6422, 307,
  1089. 308, 309, 310, 6427, 313, 6429, 6430, 6431,
  1090. 319, 320, 321, 322, 323, 324, 325, 6439,
  1091. 327, 6441, -2130, 330, 9286, 6895, 6446, 6447,
  1092. -2130, -2129, -7448, -7447, -7446, 6453, 6454, -7445,
  1093. -13178,-7443, -1000, -7441, -7440, -363, -7439, -7438,
  1094. -7437, -7436, -5044, -11959,-11958,-13173,-11956,6471,
  1095. -8677, -13174,355, 6475, -7428, -11950,6478, 6479,
  1096. 359, 6481, 6482, 1724, -8377, 1726, -8376, 1728,
  1097. 1729, 6489, 6490, 6491, 6492, 6493, 6494, 6495,
  1098. 6496, 6497, 6498, 6499, 6500, 6501, 6502, 6503,
  1099. 6504, 1730, 1731, 1732, 1733, 6509, 1734, 1735,
  1100. 1736, 6513, -1312, -1312, -1312, -1312, -1312, -1312,
  1101. 1743, 1744, 1745, 1746, 1747, 6525, 1748, 1749,
  1102. 6528, 6529, 1750, 1751, 1752, 1753, 1754, 6535,
  1103. 6536, 1755, 1756, 1757, 6540, 1758, 6542, 1759,
  1104. 6544, 1760, 6546, 1761, 1762, 1763, 1764, 6551,
  1105. 1765, 1766, 1767, 6555, 1768, 1769, 1770, 1771,
  1106. 1772, 1773, 1774, 6563, 1775, 1776, 1777, 1778,
  1107. 1779, 1780, 6570, 6571, 6572, 6573, 1781, 1782,
  1108. 1783, 1784, 1785, 6579, 5698, 6581, 6582, 6583,
  1109. 6584, 1786, 1787, 1788, 1789, 1790, 1791, 1792,
  1110. 1793, -1334, 1795, 1796, 1797, 1798, 1799, 1800,
  1111. 1801, 1802, 1803, 1804, 1805, 1806, 1807, 1808,
  1112. 1809, 1810, 1811, 1812, 1813, 1814, 1815, 1816,
  1113. 1817, 1818, 1819, 1820, 1821, 1822, 1823, 1824,
  1114. 1825, 1826, 1827, 1828, 1829, 1830, 1831, 1832,
  1115. 1833, 6633, 6634, 6635, 6636, 6637, 6638, 6639,
  1116. 6640, 6641, 6642, 9101, 9102, 9103, 6646, 6647,
  1117. 6648, 4000, 4000, 4000, 4000, 11985, 4000, 19065,
  1118. 6656, 19066, 3999, -1359, 7020, 3999, 3999, 3999,
  1119. 6664, 6665, 6666, 6667, 6668, 4527, 4527, 4527,
  1120. 4527, 0, 1990, 8906, 8906, 6676, 6677, 6678,
  1121. 6679, 6680, 6681, 6682, 6683, 6684, 6685, 6686,
  1122. 6687, 6688, 6689, 6690, 6691, 6692, 5347, 6694,
  1123. 5348, 6696, 5349, 6698, -8867, 6700, 5796, 6702,
  1124. 0, 0, 0, 0, 0, 0, 9349, 9350,
  1125. 9351, 0, 0, 0, -6101, 0, 0, 0,
  1126. 0, 0, 0, 0, 1242, 0, 1243, 0,
  1127. 0, 0, 0, -6113, 0, 0, 5119, 5119,
  1128. -6115, -6115, 0, 0, -6117, 0, 0, 0,
  1129. 0, 0, 0, 0, 0, 0, 0, 0,
  1130. 0, 0, 0, 0, 0, 0, 0, 0,
  1131. 0, 0, 0, 0, 0, 0, -6113, 2459,
  1132. 0, -8955, -6563, 1842, 2463, 2463, 2463, 7783,
  1133. 7783, 7783, 7783, 25574, 7783, 13517, 7783, 1341,
  1134. 7783, 7783, 7783, 7783, 7783, 7783, 7783, 5392,
  1135. 12308, 12308, 13524, 12308, 13526, 9030, 13528, 0,
  1136. -6119, 7785, 12308, 0, 0, 0, -6121, 1847,
  1137. 32767, 8738, 8738, 8738, 8738, 8738, -2223, 8738,
  1138. 18837, -5479, 671, 9183, 13520, -4270, 13522, 334,
  1139. 335, 0, 0, 4727, 0, 0, -6236, 0,
  1140. 0, 1852, 0, 1853, 0, 0, 0, 0,
  1141. 0, 0, 0, 0, 0, 0, 0, 0,
  1142. 0, 0, 0, 0, 0, 745, 746, 0,
  1143. 402, 403, 975, 0, 1855, 0, -1685, 408,
  1144. 0, 0, 0, 0, 0, 0, 0, 1856,
  1145. 1857, 1858, 1859, 1860, 0, 0, 1861, 1862,
  1146. 0, 0, 1863, 1864, 0, 0, 0, 0,
  1147. 0, 0, 1865, 1866, 0, 0, 1867, 1868,
  1148. 0, 32767, 1869, 1870, 32767, 32767, 32767, 32767,
  1149. 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
  1150. 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
  1151. 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
  1152. 32767, 32767, 32767, 32767, 32767, 32767, 1871, 1872,
  1153. 1873, 1874, 32767, 32767, 32767, 32767, 32767, 32767,
  1154. 32767, 32767, 0, 0, 32767, 32767, 32767, 32767,
  1155. 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
  1156. 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
  1157. 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
  1158. 32767, 32767, 0, 32767, 32767, 32767, 32767, 32767,
  1159. 32767, 32767, 1875, 1876, 1877, 1878, 32767, 32767,
  1160. 32767, 32767, 32767, 32767, 1879, 1880, 1881, 1882,
  1161. 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
  1162. 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
  1163. 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
  1164. 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
  1165. 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
  1166. 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
  1167. 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
  1168. 32767, 32767, 32767, 32767, 1883, 1884, 32767, 32767,
  1169. 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
  1170. 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
  1171. 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
  1172. 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
  1173. 32767, 32767, 32767, 32767, 0, 32767, 32767, 32767,
  1174. 32767, 32767, 32767, 32767, 32767, 32767, 0, 0,
  1175. 0, 0, 0, 4753, 4754, 4755, 4756, 4757,
  1176. 0, 0, 0, 0, 0, 0, 0, 0,
  1177. 0, 0, 0, -5000, 0, -4999, 0, -4998,
  1178. 0, -4997, 0, -4996, 9869, 0, 0, 0,
  1179. 0, 0, 0, 0, 0, 0, 0, 0,
  1180. 0, 0, 0, 32767, 0, 32767, 0, 0,
  1181. 32767, 0, 0, 32767, 0, 32767, 32767, 32767,
  1182. 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
  1183. 32767, 32767, 32767, 32767, 32767, 32767, 0, 32767,
  1184. 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
  1185. 32767, 32767, 32767, 32767, 32767, 0, 32767, 32767,
  1186. 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
  1187. 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
  1188. 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
  1189. 0, 32767, 0, 32767, 32767, 32767, 32767, 32767,
  1190. 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
  1191. 32767, 0, 32767, 32767, 32767, 32767, 32767, 32767,
  1192. 32767, 32767, 32767, 32767, 32767, 32767, 32767, 0,
  1193. 0, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
  1194. 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
  1195. 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
  1196. 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
  1197. 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
  1198. 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
  1199. 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
  1200. 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
  1201. 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
  1202. 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
  1203. 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
  1204. 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
  1205. 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
  1206. 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
  1207. 32767, 32767, 32767, 32767, 251, 251, 251, 251,
  1208. 251, 251, 2763, 2764, 2765, 2766, -4365, -4365,
  1209. -4365, -4365, -4365, -4365, 2779, -4365, -4365, -4365,
  1210. -4365, -4365, 2790, -4365, -4365, -4365, -4365, -4365,
  1211. -4365, -4365, -4365, -4365, -4365, -4365, -4365, -7979,
  1212. -4365, -4365, -4365, -4365, -4365, -4365, -4365, -4365,
  1213. -4365, -4365, 2826, -4365, -4365, -4365, 285, 2834,
  1214. -4365, 286, 2838, -4365, -4365, -4365, -4365, 2847,
  1215. -4365, 2850, -4365, -4365, -4365, -4365, -4365, -4365,
  1216. -4365, -4365, 2867, 2868, 2869, -4365, -4365, -4365,
  1217. -4365, -4365, 5658, -4365, -4365, -4365, -4365, -4365,
  1218. -4365, -4365, -997, -4365, -4365, -4365, -4365, -4365,
  1219. -4365, -4365, 2910, -4365, -4365, -4365, -4365, -4365,
  1220. -4365, 2325, -4365, -4365, 11355, -4365, -4365, -4365,
  1221. -4365, -4365, 8902, 8903, 2944, -4365, 8908, 5665,
  1222. 5666, 5667, 5668, 5669, 2954, 5672, 538, 5674,
  1223. 5675, 5676, 5677, 5678, 5679, 5680, 5681, 5682,
  1224. 5683, 2967, 2968, 4055, 4056, 2971, 2972, 0,
  1225. 0, 0, 12259, 0, 0, 0, 0, 0,
  1226. 0, 0, 0, 0, 0, 0, 0, 0,
  1227. 0, 4616, 4616, 4616, 4616, 4616, 4616, 4616,
  1228. 7128, 7129, 7130, 7131, 0, 0, 0, 0,
  1229. 0, 0, 7144, 0, 0, 0, 0, 0,
  1230. 7155, 0, 0, 0, 0, 0, 0, 0,
  1231. 0, 0, 0, 0, 0, -3614, 0, 0,
  1232. 0, 0, 0, 0, 0, 0, 0, 0,
  1233. 7191, 0, 0, 0, 4650, 7199, 0, 4651,
  1234. 7203, 0, 0, 0, 0, 7212, 0, 7215,
  1235. 0, 0, 0, 0, 0, 0, 0, 0,
  1236. 7232, 7233, 7234, 0, 0, 0, 0, 0,
  1237. 10023, 0, 0, 0, 0, 0, 0, 0,
  1238. 3368, 0, 0, 0, 0, 0, 0, 0,
  1239. 7275, 0, 0, 0, 0, 0, 0, 6690,
  1240. 0, 0, 15720, 0, 0, 0, 0, 0,
  1241. 13267, 13268, 7309, 0, 13273, 10030, 10031, 10032,
  1242. 10033, 10034, 7319, 10037, 4903, 10039, 10040, 10041,
  1243. 10042, 10043, 10044, 10045, 10046, 10047, 10048, 7332,
  1244. 7333, 8420, 8421, 7336, 7337, 7338, 7339, 7340,
  1245. 0, 7343, 7344, 7345, 7346, 7347, 7348, 7349,
  1246. 7350, 7351, 7352, 7353, 7354, 7355, 0, 0,
  1247. 0, 0, 11234, 11234, 0, 0, 0, 0,
  1248. 0, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
  1249. 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
  1250. 32767, 32767, 32767, 0, 32767, 32767, 32767, 32767,
  1251. 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
  1252. 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
  1253. 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
  1254. 32767, 32767, 32767, 32767, 32767, 32767, 775, 32767,
  1255. 32767, 776, 32767, 32767, 32767, 32767, 32767, 777,
  1256. 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
  1257. 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
  1258. 0, 32767, 32767, 32767, 0, 32767, 32767, 32767,
  1259. 32767, 32767, 32767, 32767, 0, 0, 0, 32767,
  1260. 32767, 0, 32767, 32767, 32767, 32767, 32767, 32767,
  1261. 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
  1262. 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
  1263. 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
  1264. 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
  1265. 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
  1266. 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
  1267. 32767, 0, 0, 32767, 32767, 32767, 32767, 32767,
  1268. 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
  1269. 0, 32767, 32767, 32767, 0, -444, -444, 32767,
  1270. -445, -445, -445, -445, -445, -445, -11406,-445,
  1271. 9654, -14662,-8512, 0, 4337, 32767, 4338, -1395,
  1272. 4340, -1395, -189, -1395, -187, 32767, 32767, 32767,
  1273. 32767, -1399, 32767, 32767, 32767, 32767, 32767, 32767,
  1274. -1405, 32767, 32767, 32767, -184, -183, 32767, 32767,
  1275. 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
  1276. 32767, 32767, 32767, 32767, 32767, 32767, 3035, 3036,
  1277. 3037, 3038, 3039, 3040, 3041, 3042, 3043, 3044,
  1278. 3045, 3046, 3047, 0, 0, 0, 0, 0,
  1279. 0, 0, 3055, 3056, 3057, 3058, 3059, 3060,
  1280. 3061, 3062, 3063, 3064, 3065, 3066, 3067, 3068,
  1281. 3069, 3070, 3071, 3072, 3073, 3074, 3075, 3076,
  1282. 3077, 3078, 3079, 3080, 3081, 3082, 3083, 3084,
  1283. 3085, 3086, 3087, 3088, 3089, 3090, 3091, 3092,
  1284. 3093, 3094, 3095, 3096, 3097, 3098, 3099, 3100,
  1285. 3101, 3102, 3103, 3104, 3105, 3106, 3107, 3108,
  1286. 3109, 3110, 3111, 3112, 3113, 3114, 3115, 3116,
  1287. 3117, 3118, 3119, 3120, 3121, 3122, 3123, 3124,
  1288. 3125, 3126, 3127, 0, 3129, 3130, 3131, 3132,
  1289. 3133, 3134, 3135, 3136, 3137, 3138, 3139, 3140,
  1290. 3141, 3142, 3143, 3144, 3145, 3146, 3147, 3148,
  1291. 3149, 3150, 3151, 3152, 3153, 3154, 3155, 3156,
  1292. 3157, 3158, 3159, 3160, 3161, 3162, 3163, 3164,
  1293. 3165, 3166, 3167, 3168, 3169, 3170, 0, 0,
  1294. 0, 0, 0, 0, 7985, 0, 15065, 11698,
  1295. 15067, 0, -5358, 3021, 0, 0, 0, 0,
  1296. 0, 0, 0, 379, 0, 0, 8379, 15070,
  1297. 15071, -648, 15073, 15074, 15075, 15076, 15077, 1811,
  1298. 1811, 1811, 1811, 1811, 5055, 5055, 5055, 5055,
  1299. 5055, 8055, 5055, 10190, 5055, 5055, 5055, 5055,
  1300. 5055, 5055, 5055, 5055, 5055, 5055, 7772, 7772,
  1301. 6686, 6686, 7772, 7772, 10745, 6683, 6683, -1509,
  1302. 10751, 10752, 5038, 5171, 5172, 5173, 10754, 10755,
  1303. 10756, 10757, 10758, 10759, 5180, 5181, 10714, 0,
  1304. 5184, 5185, -1491, 3256, 14217, 24316, 0, 6150,
  1305. 0, 0, 0, 0, 0, 0, 0, 0,
  1306. 0, 0, 0, 0, 0, 0, 0, 0,
  1307. 0, 0, 0, 0, 0, 0, 0, 0,
  1308. 0, 0, 0, 0, 0, 0, 32767, 32767,
  1309. 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
  1310. 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
  1311. 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
  1312. 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
  1313. 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
  1314. 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
  1315. 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
  1316. 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
  1317. 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
  1318. 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
  1319. 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
  1320. 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
  1321. 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
  1322. 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
  1323. 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
  1324. 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
  1325. 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
  1326. 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
  1327. 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
  1328. 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
  1329. 32767, 0, 32767, 32767, 32767, 32767, 32767, 32767,
  1330. 32767, 32767, 32767, 2713, 2714, 2715, 2716, 2717,
  1331. 2718, 2719, 2720, 2721, 2722, 2723, 2724, 2725,
  1332. 2726, 2727, 2728, 2729, 2730, 2731, 2732, 2733,
  1333. 2734, 2735, 2736, 2737, 2738, 0, 0, 0,
  1334. 0, 0, 0, 0, 0, 0, 0, 0,
  1335. 0, 0, 0, 0, 0, 0, 0, 0,
  1336. 0, 0, 3048, 3049, 3050, 3051, 3052, 3053,
  1337. 3054, 0, 0, 0, 0, 0, 0, 0,
  1338. 0, 0, 0, 0, 0, 0, 0, 0,
  1339. 0, 0, 0, 0, 0, 0, 0, 0,
  1340. 0, 0, 0, 0, 0, 0, 0, 0,
  1341. 0, 0, 0, 0, 0, 0, 0, 0,
  1342. 0, 0, 0, 0, 0, 0, 0, 0,
  1343. 0, 0, 0, 0, 0, 0, 0, 0,
  1344. 0, 0, 0, 0, 0, 0, 0, 0,
  1345. 0, 0, 0, 0, 0, 0, 0, 0,
  1346. 0, 0, 3128, 0, 0, 0, 0, 0,
  1347. 0, 0, 0, 0, 0, 0, 0, 0,
  1348. 0, 0, 0, 0, 0, 0, 0, 0,
  1349. 0, 0, 0, 0, 0, 0, 0, 0,
  1350. 0, 0, 0, 0, 0, 0, 0, 0,
  1351. 0, 0, 0, 0, 0, 3171, 3172, 3173,
  1352. 3174, 3175, 3176, -4808, 3178, -11886,-8518, -11886,
  1353. 3182, 8541, 163, 3185, 3186, 3187, 3188, 3189,
  1354. 3190, 3191, 2813, 3193, 3194, -5184, -11874,-11874,
  1355. 3846, -11874,-11874,-11874,-11874,-11874,1393, 1394,
  1356. 1395, 1396, 1397, -1846, -1845, -1844, -1843, -1842,
  1357. -4841, -1840, -6974, -1838, -1837, -1836, -1835, -1834,
  1358. -1833, -1832, -1831, -1830, -1829, -4545, -4544, -3457,
  1359. -3456, -4541, -4540, -7512, -3449, -3448, 4745, -7514,
  1360. -7514, -1799, -1931, -1931, -1931, -7511, -7511, -7511,
  1361. -7511, -7511, -7511, -1931, -1931, -7463, 3252, -1931,
  1362. -1931, 4746, 0, -10960,-21058,3259, -2890, 3261,
  1363. 3262, 3263, 3264, 3265, 3266, 3267, 3268, 3269,
  1364. 3270, 3271, 3272, 3273, 3274, 3275, 3276, 3277,
  1365. 3278, 3279, 3280, 3281, 3282, 3283, 3284, 3285,
  1366. 3286, 3287, 3288, 3289, 3290, 32767, 3291, 3292,
  1367. 3293, 3294, 3295, 3296, 3297, 3298, 3299, 3300,
  1368. 3301, 3302, 3303, 3304, 32767, 32767, 3305, 32767,
  1369. 3306, 32767, 32767, 3307, 3308, 3309, 3310, 3311,
  1370. 3312, 3313, 3314, 3315, 0, 0, 0, 0,
  1371. 0, 0, 0, 0, 0, 0, 32767, 32767,
  1372. 3321, 3322, 3323, -6454, 0, 0, 0, 0,
  1373. 0, 0, 0, 0, 0, 0, 2881, 0,
  1374. 0, 0, 0, 0, 0, 0, 0, 0,
  1375. 0, 0, 0, 0, 0, 0, 0, 0,
  1376. 0, 0, 0, 0, 0, 0, 0, 0,
  1377. 0, 3362, 3363, 0, 0, 0, 0, 0,
  1378. 0, 0, 0, 0, 0, 0, 0, 3376,
  1379. 0, 0, 0, 0, 0, 0, 0, 0,
  1380. 0, 0, 3387, 0, 0, 0, 0, 0,
  1381. 0, 0, 0, 3394, 0, 0, 0, 3398,
  1382. 3399, 3400, 3401, 3402, 0, 0, 0, 3406,
  1383. 0, 3408, 0, 0, 0, 0, 0, 0,
  1384. 0, 0, 0, 0, 0, 0, 0, 0,
  1385. 0, 0, 0, 0, 0, 0, 0, 3430,
  1386. 3431, 3432, 3433, 3434, 3435, 3436, 3437, 3438,
  1387. 3439, 7163, 2045, 2046, 3443, 3444, 3445, 3446,
  1388. 13283, 3448, 3449, 3450, 3451, 3452, 3453, 3454,
  1389. 825, 3456, 3457, 3458, 826, 3460, -1001, 0,
  1390. 0, 0, 0, 0, 0, 0, 0, 0,
  1391. 0, 0, 0, 0, 0, 0, 0, 0,
  1392. 0, 0, 0, 0, 0, 0, 0, 0,
  1393. 0, 0, 0, 0, 0, 0, 0, 0,
  1394. 0, 0, 0, 0, 0, 0, 0, 0,
  1395. 0, 0, 0, 0, 0, 0, 0, 0,
  1396. 0, 0, 0, 0, 0, 0, 0, 0,
  1397. 0, 0, 0, 0, 0, 0, 0, 0,
  1398. 0, 0, 0, 0, 0, 0, 0, 0,
  1399. 0, 0, 0, 3499, 0, 0, 0, 0,
  1400. 0, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
  1401. 32767, 32767, 3502, 3503, 3504, 3505, 3506, 32767,
  1402. 32767, 32767, 32767, 32767, 3507, 3508, 985, 2026,
  1403. 2027, 3512, 3513, 3514, 3515, 3516, 3517, 3518,
  1404. 3519, 3520, 3521, 3522, 3523, 3524, 3525, 3526,
  1405. 3527, 3528, 3529, 3530, 3531, 3532, 32767, 3533,
  1406. 3534, 3535, 3536, 3537, 32767, 3538, 32767, 3539,
  1407. 3540, 32767, 3541, 3542, 32767, 3543, 3544, 3545,
  1408. 3546, 3547, 3548, 3549, 3550, 3551, 3552, 3553,
  1409. 3554, 3555, 3556, 3557, 3558, 3559, 3560, 3561,
  1410. 3562, 3563, 3564, 3565, 3566, 3567, 3568, 3569,
  1411. 3570, 3571, -321, 3573, 3574, 3575, 3576, 3577,
  1412. 3578, 3579, 3580, 3581, -6890, 3583, 3584, 3585,
  1413. 3586, 3587, 3588, 3589, 3590, 3591, 3592, 3593,
  1414. 3594, 3595, 3596, 9557, 3598, 3599, 3600, 6317,
  1415. 6318, 6319, 6320, 6321, 3606, 6324, 1190, 6326,
  1416. 6327, 6328, 6329, 6330, 6331, 6332, 6333, 6334,
  1417. 6335, 3619, 3620, 4707, 4708, 3623, 3624, 3625,
  1418. 3626, 3627, 3628, 3629, 3630, 3631, 3632, 3633,
  1419. 3634, 3635, 3636, 3637, 3638, 3639, 3640, 3641,
  1420. 3642, 3643, 3644, 3645, 3646, 3647, 3648, 3649,
  1421. 3650, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
  1422. 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
  1423. 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
  1424. 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
  1425. 32767, 32767, 3651, 3652, 3653, 3654, 3655, 3656,
  1426. 3657, 3658, 3659, 15838, 10104, 3662, 10104, 10104,
  1427. 3028, 10105, 10105, 10105, 3669, 3670, 3671, 3672,
  1428. 3673, 3674, 3675, 3676, 3677, 3678, 3679, 3680,
  1429. 3681, 3682, 3683, 3684, 3685, 3686, 3687, 3688,
  1430. 3689, 3690, 3691, 3692, 3693, 3694, 3695, 32767,
  1431. 3696, 3697, 3698, 3699, 3700, 3701, 3702, 3703,
  1432. 3704, 3705, 3706, 3707, 3708, 3709, 3710, 3711,
  1433. 3712, 3713, 3714, 3715, 3716, 3717, 3718, 3719,
  1434. 3720, 3721, 3722, 3723, 3724, 3725, 3726, 3727,
  1435. 3728, 3729, 3730, 3731, 3732, 3733, 3734, 3735,
  1436. 3736, 3737, 3738, 3739, 3740, 3741, -3350, -2729,
  1437. -2729, -2729, 2591, 2591, 2591, 2591, 20382, 2591,
  1438. 8325, 2591, -3851, 2591, 2591, 2591, 2591, 2591,
  1439. 2591, 2591, 200, 7116, 7116, 8332, 7116, 8334,
  1440. 3838, 8336, 7116, 2591, 2591, 7114, 7114, 7114,
  1441. 3540, 3540, 3540, 3540, 3540, 3540, 3540, 3540,
  1442. 3540, -7421, 3540, 13639, -10677,-4527, 3985, 8322,
  1443. -9468, 8324, 2591, 8326, 2591, 3797, 2591, 3799,
  1444. 2591, 3801, 2591, 3803, 2591, 3805, 3806, 2591,
  1445. 3808, 2591, 7088, 2591, 3812, 7089, 3814, 3815,
  1446. 3816, 3817, 7392, 7393, 7394, 7395, 2591, 3823,
  1447. 2591, 2591, 3826, 2591, 2591, 3829, 2591, 2591,
  1448. 6902, 3833, 3834, 3835, 3836, 3837, 3838, 3839,
  1449. 3840, 3841, 3842, 3843, 3844, 3845, 3846, 3847,
  1450. 3848, 3849, 3850, 3851, 3852, 8350, 2591, 3855,
  1451. 3856, 3857, 3858, 2591, 2591, 2591, 2591, 3863,
  1452. 2591, 2591, 3866, 3867, 4050, 8357, 3870, 2591,
  1453. 2591, 8358, 4048, 3875, 4048, 4048, 2591, 4048,
  1454. 2591, 4048, 2591, -4486, 2591, -4485, -4484, 2591,
  1455. 2591, 2591, 2591, 2591, 2591, 2591, 2591, 2591,
  1456. 2591, 2591, 2591, 2591, 2591, 3901, 3902, 3903,
  1457. 3904, 2595, 2595, 2595, 2595, 2595, 2595, 2595,
  1458. 2595, 2595, 2595, 2595, 2595, 2595, 2595, 2595,
  1459. 2595, 2595, 2595, 2595, 2595, 2595, 2595, 2595,
  1460. 2595, 2595, 2595, 2595, 3932, 2595, 2595, 2595,
  1461. 2595, 2595, 2595, 2595, 2595, 2595, 2595, 2595,
  1462. 2595, 2595, 2595, 2595, 2595, 2595, 2595, 2595,
  1463. 32767, 3952, 3953, 3954, 3955, 3956, -5352, -5352,
  1464. -5352, -5352, -5352, -5352, 3963, 3964, 3965, -5354,
  1465. -5354, -5354, -5354, 3970, 3971, 3972, 3973, 3974,
  1466. 3975, 3976, 3977, 3978, 3979, 3980, 3981, 3982,
  1467. 3983, 3984, 3985, 3986, 3987, 3988, 3989, 3990,
  1468. 2029, 2030, 3993, 3994, 3995, 3996, 3997, 3998,
  1469. 3999, 4000, 4001, 4002, 4003, 4004, 4005, 4006,
  1470. 4007, 4008, 4009, 4010, 4011, 4012, 4013, 32767,
  1471. 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
  1472. 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
  1473. 32767, 4014, 4015, 4016, 4017, 4018, 4019, 4020,
  1474. 4021, 4022, -579, 17213, 4025, 4026, 4027, 4028,
  1475. 4029, 4030, 4031, 4032, 4033, 4034, 4035, 4036,
  1476. 4037, 4038, 4039, 4040, 4041, 4042, 4043, 4044,
  1477. 4045, 4046, 4047, 4048, -1271, -1270, -1269, -1268,
  1478. -19058,-1266, -6999, 4056, 4057, 4058, 4059, 4060,
  1479. 4061, 4062, 4063, 4064, 4065, 4066, 4067, 4068,
  1480. 4069, 4070, 4071, 4072, 4073, 4074, 4075, 4076,
  1481. 4077, 32767, 32767, 4078, 4079, 4080, 4081, 4082,
  1482. 4083, -2163, -2162, 8800, -2160, 2033, 4089, 4090,
  1483. 4091, 4092, 4093, 4094, 4095, 4096, 4097, 4098,
  1484. 4099, 4100, 4101, 4102, 4103, 4104, 4105, 4106,
  1485. 4107, 4108, 4109, 4110, 4111, 4112, 4113, 4114,
  1486. 4115, 4116, 4117, 4118, 4119, 4120, 4121, 4122,
  1487. 4123, 4124, 4125, 4126, 4127, 4128, 4129, 4130,
  1488. 4131, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
  1489. 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
  1490. 0, 0, 0, 32767, 32767, 32767, 32767, 32767,
  1491. 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
  1492. 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
  1493. 32767, 4132, 4133, 4134, 4135, 4136, 4137, 4138,
  1494. 4139, 4140, 4141, 4142, 4143, 4144, 32767, 32767,
  1495. 0, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
  1496. 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
  1497. 32767, 32767, 4145, 4146, 4147, 4148, 4149, 4150,
  1498. 4151, 4152, 4153, 4154, 2034, 32767, 32767, 32767,
  1499. 32767, 32767, 4155, 4156, 4157, 4158, 4159, 4160,
  1500. 4161, 4162, 4163, 4164, 1284, 4166, 4167, 4168,
  1501. 4169, 4170, 4171, 4172, 4173, 4174, 4175, 4176,
  1502. 4177, 4178, 4179, 4180, 4181, 4182, 4183, 4184,
  1503. 4185, 4186, 4187, 4188, 4189, 4190, 4191, 32767,
  1504. 32767, 4192, 4193, 4194, 4195, 4196, 4197, 4198,
  1505. 4199, 4200, 4201, 4202, 4203, 32767, 4204, 4205,
  1506. 4206, 4207, 4208, 4209, 4210, 4211, 4212, 4213,
  1507. 827, 4215, 4216, 4217, 4218, 4219, 4220, 4221,
  1508. 4222, 32767, 4223, 4224, 4225, 828, 32767, 32767,
  1509. 32767, 32767, 4227, 4228, 4229, 32767, 4230, 32767,
  1510. 4231, 4232, 4233, 4234, 4235, 4236, 4237, 4238,
  1511. 4239, 4240, 4241, 4242, 4243, 4244, 4245, 4246,
  1512. 4247, 4248, 4249, 4250, 4251, 822, 822, 822,
  1513. 822, 822, 822, 822, 822, 822, 822, -2901,
  1514. 2218, 2218, 822, 822, 822, 822, -9014, 822,
  1515. 822, 822, 822, 822, 822, 822, 3452, 822,
  1516. 822, 822, 3455, 822, 5284, 4284, 4285, 4286,
  1517. 4287, 4288, 4289, 4290, 4291, 4292, 4293, 4294,
  1518. 4295, 4296, 4297, 4298, 4299, 4300, 4301, 4302,
  1519. 4303, 4304, 4305, 4306, 4307, 4308, 4309, 4310,
  1520. 4311, 4312, 4313, 4314, 4315, 4316, 4317, 4318,
  1521. 4319, 4320, 4321, 4322, 4323, 4324, 4325, 4326,
  1522. 4327, 4328, 4329, 4330, 4331, 4332, 4333, 4334,
  1523. 4335, 4336, 4337, 4338, 4339, 4340, 4341, 4342,
  1524. 4343, 4344, 4345, 4346, 4347, 4348, 4349, 4350,
  1525. 4351, 4352, 4353, 4354, 4355, 4356, 4357, 4358,
  1526. 4359, 861, 4361, 4362, 4363, 4364, 4365, 32767,
  1527. 32767, 32767, 32767, 32767, 4366, 4367, 4368, 4369,
  1528. 4370, 4371, 4372, 4373, 4374, 4375, 4376, 4377,
  1529. 4378, 4379, 4380, 4381, 4382, 4383, 4384, 4385,
  1530. 4386, 4387, 4388, 4389, 4390, 4391, 0, 0,
  1531. 0, 4395, 4396, 4397, 4398, 4399, 4400, 4401,
  1532. 4402, 4403, 4404, 4405, 4406, 4407, 4408, 4409,
  1533. 4410, 4411, 4412, 4413, 4414, 4415, 4416, 4417,
  1534. 4418, 4419, 4420, 4421, 4422, 4423, 4424, 4425,
  1535. 4426, -4247, 4428, 4429, 636, 637, 638, 639,
  1536. 640, 641, 642, 643, 644, 2068, 2396, 4441,
  1537. 4442, 4443, 4444, 2405, 2406, 653, 654, 4449,
  1538. 4450, 8856, 4452, 4453, 4454, 4455, 4456, 4457,
  1539. 4458, 4459, 4460, 4461, 4462, 4463, 4464, 4465,
  1540. 4466, 4467, 4468, 4469, 4470, 4471, 4472, 4473,
  1541. 4474, 4475, 4476, 4477, 4478, 4479, 4480, 4481,
  1542. 4482, 4483, 4484, 4485, 4486, 4487, 4488, 4489,
  1543. 4490, 4491, 4492, 4493, 4494, 4495, 4496, 4497,
  1544. 4498, 4499, 4500, 4501, 4502, 4503, 4504, 4505,
  1545. 4506, 4507, 4508, 4509, 4510, 4511, 4512, 4513,
  1546. 4514, 4515, 4516, 4517, 4518, 4519, 4520, 4521,
  1547. 4522, 2069, 4524, 4525, 4526, 4527, 4528, 4529,
  1548. 4530, 4531, 4532, 4533, 4534, 4535, 4536, -2729,
  1549. -2728, -2727, -2726, -2725, -2724, -2723, -2722, -2721,
  1550. -2720, -2719, -2718, -2717, -2716, -2715, -2714, -2713,
  1551. -2712, -2711, -2710, -2709, -2708, -2707, -2706, -2705,
  1552. -2704, -2703, -2702, -2701, -2700, -2699, -2698, -2697,
  1553. -2696, -2695, -2694, 2106, 2107, 2108, 2109, 2110,
  1554. 2111, 2112, 2113, 2114, 2115, 4574, 4575, 4576,
  1555. 2119, 2120, 2121, -527, -527, -527, -527, 7458,
  1556. -527, 14538, 2129, 14539, -528, -5886, 2493, -528,
  1557. -528, -528, 2137, 2138, 2139, 2140, 2141, 0,
  1558. 0, 0, 0, 2146, 2147, 2148, 2149, 2150,
  1559. 2151, 2152, 2153, -2153, -2153, 2156, -2152, -2152,
  1560. 2159, 2333, 2161, 2162, 3620, 2164, 3622, 2166,
  1561. 3624, 2168, 3627, 10704, 10704, 2172, 2173, 2174,
  1562. 2175, 2176, 2177, 2178, 2179, 2180, 2181, 2182,
  1563. 2183, 2184, 2185, 2186, 2187, 2188, 2189, 2190,
  1564. 2191, 2192, 2193, 2194, 2195, 2196, 2197, 2198,
  1565. 2199, 2200, 2201, 2202, 2203, 2204, 2205, 2206,
  1566. 2207, 2208, 2209, 2210, 2211, 2212, 2213, 2214,
  1567. 2215, 2216, 2217, 2218, 2219, 2220, 2221, 2222,
  1568. 2223, 2224, 2225, 2226, 2227, 2228, 2229, 2230,
  1569. 2231, 2232, 2233, 2234, 2235, 2236, 2237, 2238,
  1570. 2239, 2240, 2241, 2242, 2243, 2244, 2245, 2246,
  1571. 2247, 2248, 2249, 2250, 2251, 2252, 2253, 2254,
  1572. 2255, 2256, 2257, 2258, 2259, 2260, 2261, 2262,
  1573. 2263, 5508, 5509, 2266, 2267, 2268, 2269, 2270,
  1574. -729, 2272, -2862, 2274, 2275, 2276, 2277, 2278,
  1575. 2279, 2280, 2281, 2282, 2283, 32767, 32767, 32767,
  1576. 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
  1577. 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
  1578. 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
  1579. 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
  1580. 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
  1581. 2284, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
  1582. 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
  1583. 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
  1584. 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
  1585. 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
  1586. 32767, 32767, 2285, 2286, -15504,2288, -3445, 2290,
  1587. 32767, 32767, 32767, 32767, 32767, 32767, 2291, 32767,
  1588. 4683, -2232, -2231, 0, 0, 0, 0, 0,
  1589. 0, 0, 0, 0, 0, 0, 0, 0,
  1590. 0, 0, 0, 0, 1346, 0, 1347, 0,
  1591. 1348, 0, 15566, 0, 905, 0, 14359, 32767,
  1592. 2301, 32767, 2302, 32767, 2303, 32767, 2304, 32767,
  1593. 2305, 32767, 2306, 32767, 32767, 2307, 32767, 2308,
  1594. 32767, 2309, 32767, 32767, 32767, 32767, 32767, 32767,
  1595. -2491, -2491, 32767, -2492, 2313, 32767, 2314, 2315,
  1596. 32767, 2316, 2317, 32767, 2318, 2319, 32767, 32767,
  1597. 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
  1598. 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
  1599. 32767, 32767, 32767, 32767, 2320, 32767, 32767, 32767,
  1600. 32767, 2321, 2322, 2323, 2324, 32767, 2325, 2326,
  1601. 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
  1602. 32767, 32767, 32767, 32767, 2327, 32767, 2328, 32767,
  1603. 2329, 32767, 2330, 32767, 9406, 32767, 2332, 32767,
  1604. 2333, 32767, 2334, 32767, 2335, 32767, 2336, 32767,
  1605. 2337, 32767, 2338, 32767, 32767, 2339, 32767, 2340,
  1606. 32767, 2341, 32767, 32767, 32767, 32767, 32767, 32767,
  1607. 2342, 2343, 32767, 2344, 2345, 32767, 2346, 2347,
  1608. 32767, 2348, 2349, 32767, 2350, 2351, 32767, 32767,
  1609. 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
  1610. 32767, 32767, 32767, 32767, 0, 32767, 32767, 32767,
  1611. 32767, 32767, 32767, 32767, 2352, 32767, 32767, 2353,
  1612. 2354, 2355, 2356, 32767, 32767, 32767, 2357, 2358,
  1613. 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
  1614. 4768, 4769, 4770, 4771, 4772, 4773, 4774, 4775,
  1615. 4776, 15738, 4778, -5320, 0, 0, 0, 0,
  1616. 17791, 0, 5734, 0, -6442, 0, 0, 0,
  1617. 0, 0, 0, 0, -2391, 4525, 4525, 5741,
  1618. 4525, 5743, 1247, 5745, 4525, 0, 0, 4523,
  1619. 4523, 4523, 949, 949, 949, 949, 949, 949,
  1620. 949, 949, 949, -10012,949, 11048, -13268,-7118,
  1621. 1394, 5731, -12059,5733, 0, 5735, 0, 1206,
  1622. 0, 1208, 0, 1210, 0, 1212, 0, 1214,
  1623. 1215, 0, 1217, 0, 4497, 0, 1221, 4498,
  1624. 1223, 1224, 1225, 1226, 4801, 4802, 4803, 4804,
  1625. 0, 1232, 0, 0, 1235, 0, 0, 1238,
  1626. 0, 0, 4311, 1242, 1243, 1244, 1245, 1246,
  1627. 1247, 1248, 1249, 1250, 1251, 1252, 1253, 1254,
  1628. 1255, 1256, 1257, 1258, 1259, 1260, 1261, 5759,
  1629. 0, 1264, 1265, 1266, 1267, 0, 0, 0,
  1630. 0, 1272, 0, 0, 1275, 1276, 1459, 5766,
  1631. 1279, 0, 0, 5767, 1457, 1284, 1457, 1457,
  1632. 0, 1457, 0, 1457, 0, -7077, 0, -7076,
  1633. -7075, 0, 0, 0, 0, 0, 0, 0,
  1634. 0, 0, 0, 0, 0, 0, 0, 32767,
  1635. 32767, 0, 32767, 0, 0, 0, 0, 0,
  1636. 0, 0, 0, 0, 0, 0, 0, 0,
  1637. 0, 0, 0, 0, 0, 0, 0, 0,
  1638. 0, 0, 0, 0, 0, 0, 1337, 0,
  1639. 0, 0, 0, 0, 0, 0, 0, 0,
  1640. 0, 0, 0, 0, 0, 0, 0, 0,
  1641. 0, 0, 0, 0, 0, 0, 0, 0,
  1642. 0, 0, 0, 0, 0, 0, 0, 0,
  1643. 0, 0, 0, 0, 0, 0, 0, 0,
  1644. 0, 0, 0, 0, 0, 0, 0, 0,
  1645. 0, 0, 0, 0, 0, 0, 0, 0,
  1646. 0, 0, 0, 0, 0, 2478, 2479, 2480,
  1647. 2481, 2482, 2483, 2484, 2485, 2486, 2487, 2488,
  1648. 2489, 2490, 2491, 2492, 2493, 3495, 3496, 3497,
  1649. 3498, 0, 3500, 3501, 2500, 2501, 2502, 2503,
  1650. 2504, 2505, 2506, 2507, 2508, 2509, 2510, 2511,
  1651. 0, 0, 0, 0, 0, 2517, 2518, 2519,
  1652. 2520, 2521, 0, 0, 2524, 1484, 1484, 0,
  1653. 0, 0, 0, 0, 0, 0, 0, 0,
  1654. 0, 0, 0, 0, 0, 0, 0, 0,
  1655. 0, 0, 0, 0, 2540, 0, 0, 0,
  1656. 0, 0, 2546, 0, 2548, 0, 0, 2551,
  1657. 0, 0, 2554, 0, 0, 0, 0, 0,
  1658. 0, 0, 0, 0, 0, 0, 0, 0,
  1659. 0, 0, 0, 0, 0, 0, 0, 0,
  1660. 0, 0, 0, 0, 0, 0, 0, 0,
  1661. 3893, 0, 0, 0, 0, 0, 0, 0,
  1662. 0, 0, 10472, 0, 0, 0, 0, 0,
  1663. 0, 0, 0, 0, 0, 0, 0, 0,
  1664. 0, -5960, 0, 0, 0, -2716, -2716, -2716,
  1665. -2716, -2716, 0, -2717, 2418, -2717, -2717, -2717,
  1666. -2717, -2717, -2717, -2717, -2717, -2717, -2717, 0,
  1667. 0, -1086, -1086, 0, 0, 0, 0, 0,
  1668. 0, 0, 0, 0, 0, 0, 0, 0,
  1669. 0, 0, 0, 0, 0, 0, 0, 0,
  1670. 0, 0, 0, 0, 0, 0, 0, 2662,
  1671. 2663, 2664, 2665, 2666, 2667, 2668, 2669, 2670,
  1672. 2671, 2672, 2673, 2674, 2675, 2676, 2677, 2678,
  1673. 2679, 2680, 2681, 2682, 2683, 2684, 2685, 2686,
  1674. 2687, 2688, 2689, 2690, 2691, 2692, 2693, 2694,
  1675. 0, 0, 0, 0, 0, 0, 0, 0,
  1676. 0, -12178,-6443, 0, -6441, -6440, 637, -6439,
  1677. -6438, -6437, 0, 0, 0, 0, 0, 0,
  1678. 0, 0, 0, 0, 0, 0, 0, 0,
  1679. 0, 0, 0, 0, 0, 0, 0, 0,
  1680. 0, 0, 0, 0, 0, 2739, 2740, 2741,
  1681. 2742, 2743, 2744, 2745, 2746, 2747, 2748, 2749,
  1682. 2750, 2751, 2752, 2753, 2754, 2755, 2756, 2757,
  1683. 2758, 2759, -288, -288, -288, -288, -288, -288,
  1684. -288, 2767, 2768, 2769, 2770, 2771, 2772, 2773,
  1685. 2774, 2775, 2776, 2777, 2778, 2779, 2780, 2781,
  1686. 2782, 2783, 2784, 2785, 2786, 2787, 2788, 2789,
  1687. 2790, 2791, 2792, 2793, 2794, 2795, 2796, 2797,
  1688. 2798, 2799, 2800, 2801, 2802, 2803, 2804, 2805,
  1689. 2806, 2807, 2808, 2809, 2810, 2811, 2812, 2813,
  1690. 2814, 2815, 2816, 2817, 2818, 2819, 2820, 2821,
  1691. 2822, 2823, 2824, 2825, 2826, 2827, 2828, 2829,
  1692. 2830, 2831, 2832, 2833, 2834, 2835, 2836, 2837,
  1693. 2838, 2839, -288, 2841, 2842, 2843, 2844, 2845,
  1694. 2846, 2847, 2848, 2849, 2850, 2851, 2852, 2853,
  1695. 2854, 2855, 2856, 2857, 2858, 2859, 2860, 2861,
  1696. 2862, 2863, 2864, 2865, 2866, 2867, 2868, 2869,
  1697. 2870, 2871, 2872, 2873, 2874, 2875, 2876, 2877,
  1698. 2878, 2879, 2880, 2881, 2882, -288, -288, -288,
  1699. -288, -288, -288, 7697, -288, 14777, 11410, 14779,
  1700. -288, -5646, 2733, -288, -288, -288, -288, -288,
  1701. -288, -288, 91, -288, -288, 8091, 14782, 14783,
  1702. -936, 14785, 14786, 14787, 14788, 14789, 1523, 1523,
  1703. 1523, 1523, 1523, 4767, 4767, 4767, 4767, 4767,
  1704. 7767, 4767, 9902, 4767, 4767, 4767, 4767, 4767,
  1705. 4767, 4767, 4767, 4767, 4767, 7484, 7484, 6398,
  1706. 6398, 7484, 7484, 10457, 6395, 6395, -1797, 10463,
  1707. 10464, 4750, 4883, 4884, 4885, 10466, 10467, 10468,
  1708. 10469, 10470, 10471, 4892, 4893, 10426, -288, 4896,
  1709. 4897, -1779, 2968, 4899, 4900, 4901, 4902, 4903,
  1710. 4904, 4905, 4906, 4907, 4908, 4909, 4910, 4911,
  1711. 4912, 4913, 4914, 4915, 4916, 4917, 4918, 4919,
  1712. 4920, 4921, 0, 0, 4924, 4925, 4926, 4927,
  1713. 4928, 4929, 4930, 4931, 4932, 4933, 4934, 4935,
  1714. 4936, 4937, 4938, 4939, 4940, 4941, 4942
  1715. };
  1716. const unsigned char *k = (const unsigned char *) key;
  1717. size_t keylen = 4;
  1718. uint32 a = 0;
  1719. uint32 b = 1;
  1720. while (keylen--)
  1721. {
  1722. unsigned char c = *k++;
  1723. a = a * 257 + c;
  1724. b = b * 8191 + c;
  1725. }
  1726. return h[a % 13407] + h[b % 13407];
  1727. }
  1728. /* Hash lookup information for decomposition */
  1729. static const pg_unicode_decompinfo UnicodeDecompInfo =
  1730. {
  1731. UnicodeDecompMain,
  1732. Decomp_hash_func,
  1733. 6703
  1734. };
  1735. /* Inverse lookup array -- contains indexes into UnicodeDecompMain[] */
  1736. static const uint16 RecompInverseLookup[941] =
  1737. {
  1738. /* U+003C+0338 -> U+226E */ 1857,
  1739. /* U+003D+0338 -> U+2260 */ 1854,
  1740. /* U+003E+0338 -> U+226F */ 1858,
  1741. /* U+0041+0300 -> U+00C0 */ 14,
  1742. /* U+0041+0301 -> U+00C1 */ 15,
  1743. /* U+0041+0302 -> U+00C2 */ 16,
  1744. /* U+0041+0303 -> U+00C3 */ 17,
  1745. /* U+0041+0304 -> U+0100 */ 67,
  1746. /* U+0041+0306 -> U+0102 */ 69,
  1747. /* U+0041+0307 -> U+0226 */ 270,
  1748. /* U+0041+0308 -> U+00C4 */ 18,
  1749. /* U+0041+0309 -> U+1EA2 */ 1312,
  1750. /* U+0041+030A -> U+00C5 */ 19,
  1751. /* U+0041+030C -> U+01CD */ 194,
  1752. /* U+0041+030F -> U+0200 */ 240,
  1753. /* U+0041+0311 -> U+0202 */ 242,
  1754. /* U+0041+0323 -> U+1EA0 */ 1310,
  1755. /* U+0041+0325 -> U+1E00 */ 1154,
  1756. /* U+0041+0328 -> U+0104 */ 71,
  1757. /* U+0042+0307 -> U+1E02 */ 1156,
  1758. /* U+0042+0323 -> U+1E04 */ 1158,
  1759. /* U+0042+0331 -> U+1E06 */ 1160,
  1760. /* U+0043+0301 -> U+0106 */ 73,
  1761. /* U+0043+0302 -> U+0108 */ 75,
  1762. /* U+0043+0307 -> U+010A */ 77,
  1763. /* U+0043+030C -> U+010C */ 79,
  1764. /* U+0043+0327 -> U+00C7 */ 20,
  1765. /* U+0044+0307 -> U+1E0A */ 1164,
  1766. /* U+0044+030C -> U+010E */ 81,
  1767. /* U+0044+0323 -> U+1E0C */ 1166,
  1768. /* U+0044+0327 -> U+1E10 */ 1170,
  1769. /* U+0044+032D -> U+1E12 */ 1172,
  1770. /* U+0044+0331 -> U+1E0E */ 1168,
  1771. /* U+0045+0300 -> U+00C8 */ 21,
  1772. /* U+0045+0301 -> U+00C9 */ 22,
  1773. /* U+0045+0302 -> U+00CA */ 23,
  1774. /* U+0045+0303 -> U+1EBC */ 1338,
  1775. /* U+0045+0304 -> U+0112 */ 83,
  1776. /* U+0045+0306 -> U+0114 */ 85,
  1777. /* U+0045+0307 -> U+0116 */ 87,
  1778. /* U+0045+0308 -> U+00CB */ 24,
  1779. /* U+0045+0309 -> U+1EBA */ 1336,
  1780. /* U+0045+030C -> U+011A */ 91,
  1781. /* U+0045+030F -> U+0204 */ 244,
  1782. /* U+0045+0311 -> U+0206 */ 246,
  1783. /* U+0045+0323 -> U+1EB8 */ 1334,
  1784. /* U+0045+0327 -> U+0228 */ 272,
  1785. /* U+0045+0328 -> U+0118 */ 89,
  1786. /* U+0045+032D -> U+1E18 */ 1178,
  1787. /* U+0045+0330 -> U+1E1A */ 1180,
  1788. /* U+0046+0307 -> U+1E1E */ 1184,
  1789. /* U+0047+0301 -> U+01F4 */ 230,
  1790. /* U+0047+0302 -> U+011C */ 93,
  1791. /* U+0047+0304 -> U+1E20 */ 1186,
  1792. /* U+0047+0306 -> U+011E */ 95,
  1793. /* U+0047+0307 -> U+0120 */ 97,
  1794. /* U+0047+030C -> U+01E6 */ 216,
  1795. /* U+0047+0327 -> U+0122 */ 99,
  1796. /* U+0048+0302 -> U+0124 */ 101,
  1797. /* U+0048+0307 -> U+1E22 */ 1188,
  1798. /* U+0048+0308 -> U+1E26 */ 1192,
  1799. /* U+0048+030C -> U+021E */ 268,
  1800. /* U+0048+0323 -> U+1E24 */ 1190,
  1801. /* U+0048+0327 -> U+1E28 */ 1194,
  1802. /* U+0048+032E -> U+1E2A */ 1196,
  1803. /* U+0049+0300 -> U+00CC */ 25,
  1804. /* U+0049+0301 -> U+00CD */ 26,
  1805. /* U+0049+0302 -> U+00CE */ 27,
  1806. /* U+0049+0303 -> U+0128 */ 103,
  1807. /* U+0049+0304 -> U+012A */ 105,
  1808. /* U+0049+0306 -> U+012C */ 107,
  1809. /* U+0049+0307 -> U+0130 */ 111,
  1810. /* U+0049+0308 -> U+00CF */ 28,
  1811. /* U+0049+0309 -> U+1EC8 */ 1350,
  1812. /* U+0049+030C -> U+01CF */ 196,
  1813. /* U+0049+030F -> U+0208 */ 248,
  1814. /* U+0049+0311 -> U+020A */ 250,
  1815. /* U+0049+0323 -> U+1ECA */ 1352,
  1816. /* U+0049+0328 -> U+012E */ 109,
  1817. /* U+0049+0330 -> U+1E2C */ 1198,
  1818. /* U+004A+0302 -> U+0134 */ 114,
  1819. /* U+004B+0301 -> U+1E30 */ 1202,
  1820. /* U+004B+030C -> U+01E8 */ 218,
  1821. /* U+004B+0323 -> U+1E32 */ 1204,
  1822. /* U+004B+0327 -> U+0136 */ 116,
  1823. /* U+004B+0331 -> U+1E34 */ 1206,
  1824. /* U+004C+0301 -> U+0139 */ 118,
  1825. /* U+004C+030C -> U+013D */ 122,
  1826. /* U+004C+0323 -> U+1E36 */ 1208,
  1827. /* U+004C+0327 -> U+013B */ 120,
  1828. /* U+004C+032D -> U+1E3C */ 1214,
  1829. /* U+004C+0331 -> U+1E3A */ 1212,
  1830. /* U+004D+0301 -> U+1E3E */ 1216,
  1831. /* U+004D+0307 -> U+1E40 */ 1218,
  1832. /* U+004D+0323 -> U+1E42 */ 1220,
  1833. /* U+004E+0300 -> U+01F8 */ 232,
  1834. /* U+004E+0301 -> U+0143 */ 126,
  1835. /* U+004E+0303 -> U+00D1 */ 29,
  1836. /* U+004E+0307 -> U+1E44 */ 1222,
  1837. /* U+004E+030C -> U+0147 */ 130,
  1838. /* U+004E+0323 -> U+1E46 */ 1224,
  1839. /* U+004E+0327 -> U+0145 */ 128,
  1840. /* U+004E+032D -> U+1E4A */ 1228,
  1841. /* U+004E+0331 -> U+1E48 */ 1226,
  1842. /* U+004F+0300 -> U+00D2 */ 30,
  1843. /* U+004F+0301 -> U+00D3 */ 31,
  1844. /* U+004F+0302 -> U+00D4 */ 32,
  1845. /* U+004F+0303 -> U+00D5 */ 33,
  1846. /* U+004F+0304 -> U+014C */ 133,
  1847. /* U+004F+0306 -> U+014E */ 135,
  1848. /* U+004F+0307 -> U+022E */ 278,
  1849. /* U+004F+0308 -> U+00D6 */ 34,
  1850. /* U+004F+0309 -> U+1ECE */ 1356,
  1851. /* U+004F+030B -> U+0150 */ 137,
  1852. /* U+004F+030C -> U+01D1 */ 198,
  1853. /* U+004F+030F -> U+020C */ 252,
  1854. /* U+004F+0311 -> U+020E */ 254,
  1855. /* U+004F+031B -> U+01A0 */ 181,
  1856. /* U+004F+0323 -> U+1ECC */ 1354,
  1857. /* U+004F+0328 -> U+01EA */ 220,
  1858. /* U+0050+0301 -> U+1E54 */ 1238,
  1859. /* U+0050+0307 -> U+1E56 */ 1240,
  1860. /* U+0052+0301 -> U+0154 */ 139,
  1861. /* U+0052+0307 -> U+1E58 */ 1242,
  1862. /* U+0052+030C -> U+0158 */ 143,
  1863. /* U+0052+030F -> U+0210 */ 256,
  1864. /* U+0052+0311 -> U+0212 */ 258,
  1865. /* U+0052+0323 -> U+1E5A */ 1244,
  1866. /* U+0052+0327 -> U+0156 */ 141,
  1867. /* U+0052+0331 -> U+1E5E */ 1248,
  1868. /* U+0053+0301 -> U+015A */ 145,
  1869. /* U+0053+0302 -> U+015C */ 147,
  1870. /* U+0053+0307 -> U+1E60 */ 1250,
  1871. /* U+0053+030C -> U+0160 */ 151,
  1872. /* U+0053+0323 -> U+1E62 */ 1252,
  1873. /* U+0053+0326 -> U+0218 */ 264,
  1874. /* U+0053+0327 -> U+015E */ 149,
  1875. /* U+0054+0307 -> U+1E6A */ 1260,
  1876. /* U+0054+030C -> U+0164 */ 155,
  1877. /* U+0054+0323 -> U+1E6C */ 1262,
  1878. /* U+0054+0326 -> U+021A */ 266,
  1879. /* U+0054+0327 -> U+0162 */ 153,
  1880. /* U+0054+032D -> U+1E70 */ 1266,
  1881. /* U+0054+0331 -> U+1E6E */ 1264,
  1882. /* U+0055+0300 -> U+00D9 */ 35,
  1883. /* U+0055+0301 -> U+00DA */ 36,
  1884. /* U+0055+0302 -> U+00DB */ 37,
  1885. /* U+0055+0303 -> U+0168 */ 157,
  1886. /* U+0055+0304 -> U+016A */ 159,
  1887. /* U+0055+0306 -> U+016C */ 161,
  1888. /* U+0055+0308 -> U+00DC */ 38,
  1889. /* U+0055+0309 -> U+1EE6 */ 1380,
  1890. /* U+0055+030A -> U+016E */ 163,
  1891. /* U+0055+030B -> U+0170 */ 165,
  1892. /* U+0055+030C -> U+01D3 */ 200,
  1893. /* U+0055+030F -> U+0214 */ 260,
  1894. /* U+0055+0311 -> U+0216 */ 262,
  1895. /* U+0055+031B -> U+01AF */ 183,
  1896. /* U+0055+0323 -> U+1EE4 */ 1378,
  1897. /* U+0055+0324 -> U+1E72 */ 1268,
  1898. /* U+0055+0328 -> U+0172 */ 167,
  1899. /* U+0055+032D -> U+1E76 */ 1272,
  1900. /* U+0055+0330 -> U+1E74 */ 1270,
  1901. /* U+0056+0303 -> U+1E7C */ 1278,
  1902. /* U+0056+0323 -> U+1E7E */ 1280,
  1903. /* U+0057+0300 -> U+1E80 */ 1282,
  1904. /* U+0057+0301 -> U+1E82 */ 1284,
  1905. /* U+0057+0302 -> U+0174 */ 169,
  1906. /* U+0057+0307 -> U+1E86 */ 1288,
  1907. /* U+0057+0308 -> U+1E84 */ 1286,
  1908. /* U+0057+0323 -> U+1E88 */ 1290,
  1909. /* U+0058+0307 -> U+1E8A */ 1292,
  1910. /* U+0058+0308 -> U+1E8C */ 1294,
  1911. /* U+0059+0300 -> U+1EF2 */ 1392,
  1912. /* U+0059+0301 -> U+00DD */ 39,
  1913. /* U+0059+0302 -> U+0176 */ 171,
  1914. /* U+0059+0303 -> U+1EF8 */ 1398,
  1915. /* U+0059+0304 -> U+0232 */ 282,
  1916. /* U+0059+0307 -> U+1E8E */ 1296,
  1917. /* U+0059+0308 -> U+0178 */ 173,
  1918. /* U+0059+0309 -> U+1EF6 */ 1396,
  1919. /* U+0059+0323 -> U+1EF4 */ 1394,
  1920. /* U+005A+0301 -> U+0179 */ 174,
  1921. /* U+005A+0302 -> U+1E90 */ 1298,
  1922. /* U+005A+0307 -> U+017B */ 176,
  1923. /* U+005A+030C -> U+017D */ 178,
  1924. /* U+005A+0323 -> U+1E92 */ 1300,
  1925. /* U+005A+0331 -> U+1E94 */ 1302,
  1926. /* U+0061+0300 -> U+00E0 */ 40,
  1927. /* U+0061+0301 -> U+00E1 */ 41,
  1928. /* U+0061+0302 -> U+00E2 */ 42,
  1929. /* U+0061+0303 -> U+00E3 */ 43,
  1930. /* U+0061+0304 -> U+0101 */ 68,
  1931. /* U+0061+0306 -> U+0103 */ 70,
  1932. /* U+0061+0307 -> U+0227 */ 271,
  1933. /* U+0061+0308 -> U+00E4 */ 44,
  1934. /* U+0061+0309 -> U+1EA3 */ 1313,
  1935. /* U+0061+030A -> U+00E5 */ 45,
  1936. /* U+0061+030C -> U+01CE */ 195,
  1937. /* U+0061+030F -> U+0201 */ 241,
  1938. /* U+0061+0311 -> U+0203 */ 243,
  1939. /* U+0061+0323 -> U+1EA1 */ 1311,
  1940. /* U+0061+0325 -> U+1E01 */ 1155,
  1941. /* U+0061+0328 -> U+0105 */ 72,
  1942. /* U+0062+0307 -> U+1E03 */ 1157,
  1943. /* U+0062+0323 -> U+1E05 */ 1159,
  1944. /* U+0062+0331 -> U+1E07 */ 1161,
  1945. /* U+0063+0301 -> U+0107 */ 74,
  1946. /* U+0063+0302 -> U+0109 */ 76,
  1947. /* U+0063+0307 -> U+010B */ 78,
  1948. /* U+0063+030C -> U+010D */ 80,
  1949. /* U+0063+0327 -> U+00E7 */ 46,
  1950. /* U+0064+0307 -> U+1E0B */ 1165,
  1951. /* U+0064+030C -> U+010F */ 82,
  1952. /* U+0064+0323 -> U+1E0D */ 1167,
  1953. /* U+0064+0327 -> U+1E11 */ 1171,
  1954. /* U+0064+032D -> U+1E13 */ 1173,
  1955. /* U+0064+0331 -> U+1E0F */ 1169,
  1956. /* U+0065+0300 -> U+00E8 */ 47,
  1957. /* U+0065+0301 -> U+00E9 */ 48,
  1958. /* U+0065+0302 -> U+00EA */ 49,
  1959. /* U+0065+0303 -> U+1EBD */ 1339,
  1960. /* U+0065+0304 -> U+0113 */ 84,
  1961. /* U+0065+0306 -> U+0115 */ 86,
  1962. /* U+0065+0307 -> U+0117 */ 88,
  1963. /* U+0065+0308 -> U+00EB */ 50,
  1964. /* U+0065+0309 -> U+1EBB */ 1337,
  1965. /* U+0065+030C -> U+011B */ 92,
  1966. /* U+0065+030F -> U+0205 */ 245,
  1967. /* U+0065+0311 -> U+0207 */ 247,
  1968. /* U+0065+0323 -> U+1EB9 */ 1335,
  1969. /* U+0065+0327 -> U+0229 */ 273,
  1970. /* U+0065+0328 -> U+0119 */ 90,
  1971. /* U+0065+032D -> U+1E19 */ 1179,
  1972. /* U+0065+0330 -> U+1E1B */ 1181,
  1973. /* U+0066+0307 -> U+1E1F */ 1185,
  1974. /* U+0067+0301 -> U+01F5 */ 231,
  1975. /* U+0067+0302 -> U+011D */ 94,
  1976. /* U+0067+0304 -> U+1E21 */ 1187,
  1977. /* U+0067+0306 -> U+011F */ 96,
  1978. /* U+0067+0307 -> U+0121 */ 98,
  1979. /* U+0067+030C -> U+01E7 */ 217,
  1980. /* U+0067+0327 -> U+0123 */ 100,
  1981. /* U+0068+0302 -> U+0125 */ 102,
  1982. /* U+0068+0307 -> U+1E23 */ 1189,
  1983. /* U+0068+0308 -> U+1E27 */ 1193,
  1984. /* U+0068+030C -> U+021F */ 269,
  1985. /* U+0068+0323 -> U+1E25 */ 1191,
  1986. /* U+0068+0327 -> U+1E29 */ 1195,
  1987. /* U+0068+032E -> U+1E2B */ 1197,
  1988. /* U+0068+0331 -> U+1E96 */ 1304,
  1989. /* U+0069+0300 -> U+00EC */ 51,
  1990. /* U+0069+0301 -> U+00ED */ 52,
  1991. /* U+0069+0302 -> U+00EE */ 53,
  1992. /* U+0069+0303 -> U+0129 */ 104,
  1993. /* U+0069+0304 -> U+012B */ 106,
  1994. /* U+0069+0306 -> U+012D */ 108,
  1995. /* U+0069+0308 -> U+00EF */ 54,
  1996. /* U+0069+0309 -> U+1EC9 */ 1351,
  1997. /* U+0069+030C -> U+01D0 */ 197,
  1998. /* U+0069+030F -> U+0209 */ 249,
  1999. /* U+0069+0311 -> U+020B */ 251,
  2000. /* U+0069+0323 -> U+1ECB */ 1353,
  2001. /* U+0069+0328 -> U+012F */ 110,
  2002. /* U+0069+0330 -> U+1E2D */ 1199,
  2003. /* U+006A+0302 -> U+0135 */ 115,
  2004. /* U+006A+030C -> U+01F0 */ 226,
  2005. /* U+006B+0301 -> U+1E31 */ 1203,
  2006. /* U+006B+030C -> U+01E9 */ 219,
  2007. /* U+006B+0323 -> U+1E33 */ 1205,
  2008. /* U+006B+0327 -> U+0137 */ 117,
  2009. /* U+006B+0331 -> U+1E35 */ 1207,
  2010. /* U+006C+0301 -> U+013A */ 119,
  2011. /* U+006C+030C -> U+013E */ 123,
  2012. /* U+006C+0323 -> U+1E37 */ 1209,
  2013. /* U+006C+0327 -> U+013C */ 121,
  2014. /* U+006C+032D -> U+1E3D */ 1215,
  2015. /* U+006C+0331 -> U+1E3B */ 1213,
  2016. /* U+006D+0301 -> U+1E3F */ 1217,
  2017. /* U+006D+0307 -> U+1E41 */ 1219,
  2018. /* U+006D+0323 -> U+1E43 */ 1221,
  2019. /* U+006E+0300 -> U+01F9 */ 233,
  2020. /* U+006E+0301 -> U+0144 */ 127,
  2021. /* U+006E+0303 -> U+00F1 */ 55,
  2022. /* U+006E+0307 -> U+1E45 */ 1223,
  2023. /* U+006E+030C -> U+0148 */ 131,
  2024. /* U+006E+0323 -> U+1E47 */ 1225,
  2025. /* U+006E+0327 -> U+0146 */ 129,
  2026. /* U+006E+032D -> U+1E4B */ 1229,
  2027. /* U+006E+0331 -> U+1E49 */ 1227,
  2028. /* U+006F+0300 -> U+00F2 */ 56,
  2029. /* U+006F+0301 -> U+00F3 */ 57,
  2030. /* U+006F+0302 -> U+00F4 */ 58,
  2031. /* U+006F+0303 -> U+00F5 */ 59,
  2032. /* U+006F+0304 -> U+014D */ 134,
  2033. /* U+006F+0306 -> U+014F */ 136,
  2034. /* U+006F+0307 -> U+022F */ 279,
  2035. /* U+006F+0308 -> U+00F6 */ 60,
  2036. /* U+006F+0309 -> U+1ECF */ 1357,
  2037. /* U+006F+030B -> U+0151 */ 138,
  2038. /* U+006F+030C -> U+01D2 */ 199,
  2039. /* U+006F+030F -> U+020D */ 253,
  2040. /* U+006F+0311 -> U+020F */ 255,
  2041. /* U+006F+031B -> U+01A1 */ 182,
  2042. /* U+006F+0323 -> U+1ECD */ 1355,
  2043. /* U+006F+0328 -> U+01EB */ 221,
  2044. /* U+0070+0301 -> U+1E55 */ 1239,
  2045. /* U+0070+0307 -> U+1E57 */ 1241,
  2046. /* U+0072+0301 -> U+0155 */ 140,
  2047. /* U+0072+0307 -> U+1E59 */ 1243,
  2048. /* U+0072+030C -> U+0159 */ 144,
  2049. /* U+0072+030F -> U+0211 */ 257,
  2050. /* U+0072+0311 -> U+0213 */ 259,
  2051. /* U+0072+0323 -> U+1E5B */ 1245,
  2052. /* U+0072+0327 -> U+0157 */ 142,
  2053. /* U+0072+0331 -> U+1E5F */ 1249,
  2054. /* U+0073+0301 -> U+015B */ 146,
  2055. /* U+0073+0302 -> U+015D */ 148,
  2056. /* U+0073+0307 -> U+1E61 */ 1251,
  2057. /* U+0073+030C -> U+0161 */ 152,
  2058. /* U+0073+0323 -> U+1E63 */ 1253,
  2059. /* U+0073+0326 -> U+0219 */ 265,
  2060. /* U+0073+0327 -> U+015F */ 150,
  2061. /* U+0074+0307 -> U+1E6B */ 1261,
  2062. /* U+0074+0308 -> U+1E97 */ 1305,
  2063. /* U+0074+030C -> U+0165 */ 156,
  2064. /* U+0074+0323 -> U+1E6D */ 1263,
  2065. /* U+0074+0326 -> U+021B */ 267,
  2066. /* U+0074+0327 -> U+0163 */ 154,
  2067. /* U+0074+032D -> U+1E71 */ 1267,
  2068. /* U+0074+0331 -> U+1E6F */ 1265,
  2069. /* U+0075+0300 -> U+00F9 */ 61,
  2070. /* U+0075+0301 -> U+00FA */ 62,
  2071. /* U+0075+0302 -> U+00FB */ 63,
  2072. /* U+0075+0303 -> U+0169 */ 158,
  2073. /* U+0075+0304 -> U+016B */ 160,
  2074. /* U+0075+0306 -> U+016D */ 162,
  2075. /* U+0075+0308 -> U+00FC */ 64,
  2076. /* U+0075+0309 -> U+1EE7 */ 1381,
  2077. /* U+0075+030A -> U+016F */ 164,
  2078. /* U+0075+030B -> U+0171 */ 166,
  2079. /* U+0075+030C -> U+01D4 */ 201,
  2080. /* U+0075+030F -> U+0215 */ 261,
  2081. /* U+0075+0311 -> U+0217 */ 263,
  2082. /* U+0075+031B -> U+01B0 */ 184,
  2083. /* U+0075+0323 -> U+1EE5 */ 1379,
  2084. /* U+0075+0324 -> U+1E73 */ 1269,
  2085. /* U+0075+0328 -> U+0173 */ 168,
  2086. /* U+0075+032D -> U+1E77 */ 1273,
  2087. /* U+0075+0330 -> U+1E75 */ 1271,
  2088. /* U+0076+0303 -> U+1E7D */ 1279,
  2089. /* U+0076+0323 -> U+1E7F */ 1281,
  2090. /* U+0077+0300 -> U+1E81 */ 1283,
  2091. /* U+0077+0301 -> U+1E83 */ 1285,
  2092. /* U+0077+0302 -> U+0175 */ 170,
  2093. /* U+0077+0307 -> U+1E87 */ 1289,
  2094. /* U+0077+0308 -> U+1E85 */ 1287,
  2095. /* U+0077+030A -> U+1E98 */ 1306,
  2096. /* U+0077+0323 -> U+1E89 */ 1291,
  2097. /* U+0078+0307 -> U+1E8B */ 1293,
  2098. /* U+0078+0308 -> U+1E8D */ 1295,
  2099. /* U+0079+0300 -> U+1EF3 */ 1393,
  2100. /* U+0079+0301 -> U+00FD */ 65,
  2101. /* U+0079+0302 -> U+0177 */ 172,
  2102. /* U+0079+0303 -> U+1EF9 */ 1399,
  2103. /* U+0079+0304 -> U+0233 */ 283,
  2104. /* U+0079+0307 -> U+1E8F */ 1297,
  2105. /* U+0079+0308 -> U+00FF */ 66,
  2106. /* U+0079+0309 -> U+1EF7 */ 1397,
  2107. /* U+0079+030A -> U+1E99 */ 1307,
  2108. /* U+0079+0323 -> U+1EF5 */ 1395,
  2109. /* U+007A+0301 -> U+017A */ 175,
  2110. /* U+007A+0302 -> U+1E91 */ 1299,
  2111. /* U+007A+0307 -> U+017C */ 177,
  2112. /* U+007A+030C -> U+017E */ 179,
  2113. /* U+007A+0323 -> U+1E93 */ 1301,
  2114. /* U+007A+0331 -> U+1E95 */ 1303,
  2115. /* U+00A8+0300 -> U+1FED */ 1618,
  2116. /* U+00A8+0301 -> U+0385 */ 419,
  2117. /* U+00A8+0342 -> U+1FC1 */ 1578,
  2118. /* U+00C2+0300 -> U+1EA6 */ 1316,
  2119. /* U+00C2+0301 -> U+1EA4 */ 1314,
  2120. /* U+00C2+0303 -> U+1EAA */ 1320,
  2121. /* U+00C2+0309 -> U+1EA8 */ 1318,
  2122. /* U+00C4+0304 -> U+01DE */ 210,
  2123. /* U+00C5+0301 -> U+01FA */ 234,
  2124. /* U+00C6+0301 -> U+01FC */ 236,
  2125. /* U+00C6+0304 -> U+01E2 */ 214,
  2126. /* U+00C7+0301 -> U+1E08 */ 1162,
  2127. /* U+00CA+0300 -> U+1EC0 */ 1342,
  2128. /* U+00CA+0301 -> U+1EBE */ 1340,
  2129. /* U+00CA+0303 -> U+1EC4 */ 1346,
  2130. /* U+00CA+0309 -> U+1EC2 */ 1344,
  2131. /* U+00CF+0301 -> U+1E2E */ 1200,
  2132. /* U+00D4+0300 -> U+1ED2 */ 1360,
  2133. /* U+00D4+0301 -> U+1ED0 */ 1358,
  2134. /* U+00D4+0303 -> U+1ED6 */ 1364,
  2135. /* U+00D4+0309 -> U+1ED4 */ 1362,
  2136. /* U+00D5+0301 -> U+1E4C */ 1230,
  2137. /* U+00D5+0304 -> U+022C */ 276,
  2138. /* U+00D5+0308 -> U+1E4E */ 1232,
  2139. /* U+00D6+0304 -> U+022A */ 274,
  2140. /* U+00D8+0301 -> U+01FE */ 238,
  2141. /* U+00DC+0300 -> U+01DB */ 208,
  2142. /* U+00DC+0301 -> U+01D7 */ 204,
  2143. /* U+00DC+0304 -> U+01D5 */ 202,
  2144. /* U+00DC+030C -> U+01D9 */ 206,
  2145. /* U+00E2+0300 -> U+1EA7 */ 1317,
  2146. /* U+00E2+0301 -> U+1EA5 */ 1315,
  2147. /* U+00E2+0303 -> U+1EAB */ 1321,
  2148. /* U+00E2+0309 -> U+1EA9 */ 1319,
  2149. /* U+00E4+0304 -> U+01DF */ 211,
  2150. /* U+00E5+0301 -> U+01FB */ 235,
  2151. /* U+00E6+0301 -> U+01FD */ 237,
  2152. /* U+00E6+0304 -> U+01E3 */ 215,
  2153. /* U+00E7+0301 -> U+1E09 */ 1163,
  2154. /* U+00EA+0300 -> U+1EC1 */ 1343,
  2155. /* U+00EA+0301 -> U+1EBF */ 1341,
  2156. /* U+00EA+0303 -> U+1EC5 */ 1347,
  2157. /* U+00EA+0309 -> U+1EC3 */ 1345,
  2158. /* U+00EF+0301 -> U+1E2F */ 1201,
  2159. /* U+00F4+0300 -> U+1ED3 */ 1361,
  2160. /* U+00F4+0301 -> U+1ED1 */ 1359,
  2161. /* U+00F4+0303 -> U+1ED7 */ 1365,
  2162. /* U+00F4+0309 -> U+1ED5 */ 1363,
  2163. /* U+00F5+0301 -> U+1E4D */ 1231,
  2164. /* U+00F5+0304 -> U+022D */ 277,
  2165. /* U+00F5+0308 -> U+1E4F */ 1233,
  2166. /* U+00F6+0304 -> U+022B */ 275,
  2167. /* U+00F8+0301 -> U+01FF */ 239,
  2168. /* U+00FC+0300 -> U+01DC */ 209,
  2169. /* U+00FC+0301 -> U+01D8 */ 205,
  2170. /* U+00FC+0304 -> U+01D6 */ 203,
  2171. /* U+00FC+030C -> U+01DA */ 207,
  2172. /* U+0102+0300 -> U+1EB0 */ 1326,
  2173. /* U+0102+0301 -> U+1EAE */ 1324,
  2174. /* U+0102+0303 -> U+1EB4 */ 1330,
  2175. /* U+0102+0309 -> U+1EB2 */ 1328,
  2176. /* U+0103+0300 -> U+1EB1 */ 1327,
  2177. /* U+0103+0301 -> U+1EAF */ 1325,
  2178. /* U+0103+0303 -> U+1EB5 */ 1331,
  2179. /* U+0103+0309 -> U+1EB3 */ 1329,
  2180. /* U+0112+0300 -> U+1E14 */ 1174,
  2181. /* U+0112+0301 -> U+1E16 */ 1176,
  2182. /* U+0113+0300 -> U+1E15 */ 1175,
  2183. /* U+0113+0301 -> U+1E17 */ 1177,
  2184. /* U+014C+0300 -> U+1E50 */ 1234,
  2185. /* U+014C+0301 -> U+1E52 */ 1236,
  2186. /* U+014D+0300 -> U+1E51 */ 1235,
  2187. /* U+014D+0301 -> U+1E53 */ 1237,
  2188. /* U+015A+0307 -> U+1E64 */ 1254,
  2189. /* U+015B+0307 -> U+1E65 */ 1255,
  2190. /* U+0160+0307 -> U+1E66 */ 1256,
  2191. /* U+0161+0307 -> U+1E67 */ 1257,
  2192. /* U+0168+0301 -> U+1E78 */ 1274,
  2193. /* U+0169+0301 -> U+1E79 */ 1275,
  2194. /* U+016A+0308 -> U+1E7A */ 1276,
  2195. /* U+016B+0308 -> U+1E7B */ 1277,
  2196. /* U+017F+0307 -> U+1E9B */ 1309,
  2197. /* U+01A0+0300 -> U+1EDC */ 1370,
  2198. /* U+01A0+0301 -> U+1EDA */ 1368,
  2199. /* U+01A0+0303 -> U+1EE0 */ 1374,
  2200. /* U+01A0+0309 -> U+1EDE */ 1372,
  2201. /* U+01A0+0323 -> U+1EE2 */ 1376,
  2202. /* U+01A1+0300 -> U+1EDD */ 1371,
  2203. /* U+01A1+0301 -> U+1EDB */ 1369,
  2204. /* U+01A1+0303 -> U+1EE1 */ 1375,
  2205. /* U+01A1+0309 -> U+1EDF */ 1373,
  2206. /* U+01A1+0323 -> U+1EE3 */ 1377,
  2207. /* U+01AF+0300 -> U+1EEA */ 1384,
  2208. /* U+01AF+0301 -> U+1EE8 */ 1382,
  2209. /* U+01AF+0303 -> U+1EEE */ 1388,
  2210. /* U+01AF+0309 -> U+1EEC */ 1386,
  2211. /* U+01AF+0323 -> U+1EF0 */ 1390,
  2212. /* U+01B0+0300 -> U+1EEB */ 1385,
  2213. /* U+01B0+0301 -> U+1EE9 */ 1383,
  2214. /* U+01B0+0303 -> U+1EEF */ 1389,
  2215. /* U+01B0+0309 -> U+1EED */ 1387,
  2216. /* U+01B0+0323 -> U+1EF1 */ 1391,
  2217. /* U+01B7+030C -> U+01EE */ 224,
  2218. /* U+01EA+0304 -> U+01EC */ 222,
  2219. /* U+01EB+0304 -> U+01ED */ 223,
  2220. /* U+0226+0304 -> U+01E0 */ 212,
  2221. /* U+0227+0304 -> U+01E1 */ 213,
  2222. /* U+0228+0306 -> U+1E1C */ 1182,
  2223. /* U+0229+0306 -> U+1E1D */ 1183,
  2224. /* U+022E+0304 -> U+0230 */ 280,
  2225. /* U+022F+0304 -> U+0231 */ 281,
  2226. /* U+0292+030C -> U+01EF */ 225,
  2227. /* U+0391+0300 -> U+1FBA */ 1571,
  2228. /* U+0391+0301 -> U+0386 */ 420,
  2229. /* U+0391+0304 -> U+1FB9 */ 1570,
  2230. /* U+0391+0306 -> U+1FB8 */ 1569,
  2231. /* U+0391+0313 -> U+1F08 */ 1408,
  2232. /* U+0391+0314 -> U+1F09 */ 1409,
  2233. /* U+0391+0345 -> U+1FBC */ 1573,
  2234. /* U+0395+0300 -> U+1FC8 */ 1584,
  2235. /* U+0395+0301 -> U+0388 */ 422,
  2236. /* U+0395+0313 -> U+1F18 */ 1422,
  2237. /* U+0395+0314 -> U+1F19 */ 1423,
  2238. /* U+0397+0300 -> U+1FCA */ 1586,
  2239. /* U+0397+0301 -> U+0389 */ 423,
  2240. /* U+0397+0313 -> U+1F28 */ 1436,
  2241. /* U+0397+0314 -> U+1F29 */ 1437,
  2242. /* U+0397+0345 -> U+1FCC */ 1588,
  2243. /* U+0399+0300 -> U+1FDA */ 1600,
  2244. /* U+0399+0301 -> U+038A */ 424,
  2245. /* U+0399+0304 -> U+1FD9 */ 1599,
  2246. /* U+0399+0306 -> U+1FD8 */ 1598,
  2247. /* U+0399+0308 -> U+03AA */ 429,
  2248. /* U+0399+0313 -> U+1F38 */ 1452,
  2249. /* U+0399+0314 -> U+1F39 */ 1453,
  2250. /* U+039F+0300 -> U+1FF8 */ 1626,
  2251. /* U+039F+0301 -> U+038C */ 425,
  2252. /* U+039F+0313 -> U+1F48 */ 1466,
  2253. /* U+039F+0314 -> U+1F49 */ 1467,
  2254. /* U+03A1+0314 -> U+1FEC */ 1617,
  2255. /* U+03A5+0300 -> U+1FEA */ 1615,
  2256. /* U+03A5+0301 -> U+038E */ 426,
  2257. /* U+03A5+0304 -> U+1FE9 */ 1614,
  2258. /* U+03A5+0306 -> U+1FE8 */ 1613,
  2259. /* U+03A5+0308 -> U+03AB */ 430,
  2260. /* U+03A5+0314 -> U+1F59 */ 1480,
  2261. /* U+03A9+0300 -> U+1FFA */ 1628,
  2262. /* U+03A9+0301 -> U+038F */ 427,
  2263. /* U+03A9+0313 -> U+1F68 */ 1492,
  2264. /* U+03A9+0314 -> U+1F69 */ 1493,
  2265. /* U+03A9+0345 -> U+1FFC */ 1630,
  2266. /* U+03AC+0345 -> U+1FB4 */ 1566,
  2267. /* U+03AE+0345 -> U+1FC4 */ 1581,
  2268. /* U+03B1+0300 -> U+1F70 */ 1500,
  2269. /* U+03B1+0301 -> U+03AC */ 431,
  2270. /* U+03B1+0304 -> U+1FB1 */ 1563,
  2271. /* U+03B1+0306 -> U+1FB0 */ 1562,
  2272. /* U+03B1+0313 -> U+1F00 */ 1400,
  2273. /* U+03B1+0314 -> U+1F01 */ 1401,
  2274. /* U+03B1+0342 -> U+1FB6 */ 1567,
  2275. /* U+03B1+0345 -> U+1FB3 */ 1565,
  2276. /* U+03B5+0300 -> U+1F72 */ 1502,
  2277. /* U+03B5+0301 -> U+03AD */ 432,
  2278. /* U+03B5+0313 -> U+1F10 */ 1416,
  2279. /* U+03B5+0314 -> U+1F11 */ 1417,
  2280. /* U+03B7+0300 -> U+1F74 */ 1504,
  2281. /* U+03B7+0301 -> U+03AE */ 433,
  2282. /* U+03B7+0313 -> U+1F20 */ 1428,
  2283. /* U+03B7+0314 -> U+1F21 */ 1429,
  2284. /* U+03B7+0342 -> U+1FC6 */ 1582,
  2285. /* U+03B7+0345 -> U+1FC3 */ 1580,
  2286. /* U+03B9+0300 -> U+1F76 */ 1506,
  2287. /* U+03B9+0301 -> U+03AF */ 434,
  2288. /* U+03B9+0304 -> U+1FD1 */ 1593,
  2289. /* U+03B9+0306 -> U+1FD0 */ 1592,
  2290. /* U+03B9+0308 -> U+03CA */ 436,
  2291. /* U+03B9+0313 -> U+1F30 */ 1444,
  2292. /* U+03B9+0314 -> U+1F31 */ 1445,
  2293. /* U+03B9+0342 -> U+1FD6 */ 1596,
  2294. /* U+03BF+0300 -> U+1F78 */ 1508,
  2295. /* U+03BF+0301 -> U+03CC */ 438,
  2296. /* U+03BF+0313 -> U+1F40 */ 1460,
  2297. /* U+03BF+0314 -> U+1F41 */ 1461,
  2298. /* U+03C1+0313 -> U+1FE4 */ 1609,
  2299. /* U+03C1+0314 -> U+1FE5 */ 1610,
  2300. /* U+03C5+0300 -> U+1F7A */ 1510,
  2301. /* U+03C5+0301 -> U+03CD */ 439,
  2302. /* U+03C5+0304 -> U+1FE1 */ 1606,
  2303. /* U+03C5+0306 -> U+1FE0 */ 1605,
  2304. /* U+03C5+0308 -> U+03CB */ 437,
  2305. /* U+03C5+0313 -> U+1F50 */ 1472,
  2306. /* U+03C5+0314 -> U+1F51 */ 1473,
  2307. /* U+03C5+0342 -> U+1FE6 */ 1611,
  2308. /* U+03C9+0300 -> U+1F7C */ 1512,
  2309. /* U+03C9+0301 -> U+03CE */ 440,
  2310. /* U+03C9+0313 -> U+1F60 */ 1484,
  2311. /* U+03C9+0314 -> U+1F61 */ 1485,
  2312. /* U+03C9+0342 -> U+1FF6 */ 1624,
  2313. /* U+03C9+0345 -> U+1FF3 */ 1622,
  2314. /* U+03CA+0300 -> U+1FD2 */ 1594,
  2315. /* U+03CA+0301 -> U+0390 */ 428,
  2316. /* U+03CA+0342 -> U+1FD7 */ 1597,
  2317. /* U+03CB+0300 -> U+1FE2 */ 1607,
  2318. /* U+03CB+0301 -> U+03B0 */ 435,
  2319. /* U+03CB+0342 -> U+1FE7 */ 1612,
  2320. /* U+03CE+0345 -> U+1FF4 */ 1623,
  2321. /* U+03D2+0301 -> U+03D3 */ 444,
  2322. /* U+03D2+0308 -> U+03D4 */ 445,
  2323. /* U+0406+0308 -> U+0407 */ 457,
  2324. /* U+0410+0306 -> U+04D0 */ 479,
  2325. /* U+0410+0308 -> U+04D2 */ 481,
  2326. /* U+0413+0301 -> U+0403 */ 456,
  2327. /* U+0415+0300 -> U+0400 */ 454,
  2328. /* U+0415+0306 -> U+04D6 */ 483,
  2329. /* U+0415+0308 -> U+0401 */ 455,
  2330. /* U+0416+0306 -> U+04C1 */ 477,
  2331. /* U+0416+0308 -> U+04DC */ 487,
  2332. /* U+0417+0308 -> U+04DE */ 489,
  2333. /* U+0418+0300 -> U+040D */ 459,
  2334. /* U+0418+0304 -> U+04E2 */ 491,
  2335. /* U+0418+0306 -> U+0419 */ 461,
  2336. /* U+0418+0308 -> U+04E4 */ 493,
  2337. /* U+041A+0301 -> U+040C */ 458,
  2338. /* U+041E+0308 -> U+04E6 */ 495,
  2339. /* U+0423+0304 -> U+04EE */ 501,
  2340. /* U+0423+0306 -> U+040E */ 460,
  2341. /* U+0423+0308 -> U+04F0 */ 503,
  2342. /* U+0423+030B -> U+04F2 */ 505,
  2343. /* U+0427+0308 -> U+04F4 */ 507,
  2344. /* U+042B+0308 -> U+04F8 */ 509,
  2345. /* U+042D+0308 -> U+04EC */ 499,
  2346. /* U+0430+0306 -> U+04D1 */ 480,
  2347. /* U+0430+0308 -> U+04D3 */ 482,
  2348. /* U+0433+0301 -> U+0453 */ 465,
  2349. /* U+0435+0300 -> U+0450 */ 463,
  2350. /* U+0435+0306 -> U+04D7 */ 484,
  2351. /* U+0435+0308 -> U+0451 */ 464,
  2352. /* U+0436+0306 -> U+04C2 */ 478,
  2353. /* U+0436+0308 -> U+04DD */ 488,
  2354. /* U+0437+0308 -> U+04DF */ 490,
  2355. /* U+0438+0300 -> U+045D */ 468,
  2356. /* U+0438+0304 -> U+04E3 */ 492,
  2357. /* U+0438+0306 -> U+0439 */ 462,
  2358. /* U+0438+0308 -> U+04E5 */ 494,
  2359. /* U+043A+0301 -> U+045C */ 467,
  2360. /* U+043E+0308 -> U+04E7 */ 496,
  2361. /* U+0443+0304 -> U+04EF */ 502,
  2362. /* U+0443+0306 -> U+045E */ 469,
  2363. /* U+0443+0308 -> U+04F1 */ 504,
  2364. /* U+0443+030B -> U+04F3 */ 506,
  2365. /* U+0447+0308 -> U+04F5 */ 508,
  2366. /* U+044B+0308 -> U+04F9 */ 510,
  2367. /* U+044D+0308 -> U+04ED */ 500,
  2368. /* U+0456+0308 -> U+0457 */ 466,
  2369. /* U+0474+030F -> U+0476 */ 470,
  2370. /* U+0475+030F -> U+0477 */ 471,
  2371. /* U+04D8+0308 -> U+04DA */ 485,
  2372. /* U+04D9+0308 -> U+04DB */ 486,
  2373. /* U+04E8+0308 -> U+04EA */ 497,
  2374. /* U+04E9+0308 -> U+04EB */ 498,
  2375. /* U+0627+0653 -> U+0622 */ 574,
  2376. /* U+0627+0654 -> U+0623 */ 575,
  2377. /* U+0627+0655 -> U+0625 */ 577,
  2378. /* U+0648+0654 -> U+0624 */ 576,
  2379. /* U+064A+0654 -> U+0626 */ 578,
  2380. /* U+06C1+0654 -> U+06C2 */ 606,
  2381. /* U+06D2+0654 -> U+06D3 */ 607,
  2382. /* U+06D5+0654 -> U+06C0 */ 605,
  2383. /* U+0928+093C -> U+0929 */ 750,
  2384. /* U+0930+093C -> U+0931 */ 751,
  2385. /* U+0933+093C -> U+0934 */ 752,
  2386. /* U+09C7+09BE -> U+09CB */ 768,
  2387. /* U+09C7+09D7 -> U+09CC */ 769,
  2388. /* U+0B47+0B3E -> U+0B4B */ 787,
  2389. /* U+0B47+0B56 -> U+0B48 */ 786,
  2390. /* U+0B47+0B57 -> U+0B4C */ 788,
  2391. /* U+0B92+0BD7 -> U+0B94 */ 792,
  2392. /* U+0BC6+0BBE -> U+0BCA */ 793,
  2393. /* U+0BC6+0BD7 -> U+0BCC */ 795,
  2394. /* U+0BC7+0BBE -> U+0BCB */ 794,
  2395. /* U+0C46+0C56 -> U+0C48 */ 798,
  2396. /* U+0CBF+0CD5 -> U+0CC0 */ 803,
  2397. /* U+0CC6+0CC2 -> U+0CCA */ 806,
  2398. /* U+0CC6+0CD5 -> U+0CC7 */ 804,
  2399. /* U+0CC6+0CD6 -> U+0CC8 */ 805,
  2400. /* U+0CCA+0CD5 -> U+0CCB */ 807,
  2401. /* U+0D46+0D3E -> U+0D4A */ 811,
  2402. /* U+0D46+0D57 -> U+0D4C */ 813,
  2403. /* U+0D47+0D3E -> U+0D4B */ 812,
  2404. /* U+0DD9+0DCA -> U+0DDA */ 816,
  2405. /* U+0DD9+0DCF -> U+0DDC */ 817,
  2406. /* U+0DD9+0DDF -> U+0DDE */ 819,
  2407. /* U+0DDC+0DCA -> U+0DDD */ 818,
  2408. /* U+1025+102E -> U+1026 */ 877,
  2409. /* U+1B05+1B35 -> U+1B06 */ 937,
  2410. /* U+1B07+1B35 -> U+1B08 */ 938,
  2411. /* U+1B09+1B35 -> U+1B0A */ 939,
  2412. /* U+1B0B+1B35 -> U+1B0C */ 940,
  2413. /* U+1B0D+1B35 -> U+1B0E */ 941,
  2414. /* U+1B11+1B35 -> U+1B12 */ 942,
  2415. /* U+1B3A+1B35 -> U+1B3B */ 944,
  2416. /* U+1B3C+1B35 -> U+1B3D */ 945,
  2417. /* U+1B3E+1B35 -> U+1B40 */ 946,
  2418. /* U+1B3F+1B35 -> U+1B41 */ 947,
  2419. /* U+1B42+1B35 -> U+1B43 */ 948,
  2420. /* U+1E36+0304 -> U+1E38 */ 1210,
  2421. /* U+1E37+0304 -> U+1E39 */ 1211,
  2422. /* U+1E5A+0304 -> U+1E5C */ 1246,
  2423. /* U+1E5B+0304 -> U+1E5D */ 1247,
  2424. /* U+1E62+0307 -> U+1E68 */ 1258,
  2425. /* U+1E63+0307 -> U+1E69 */ 1259,
  2426. /* U+1EA0+0302 -> U+1EAC */ 1322,
  2427. /* U+1EA0+0306 -> U+1EB6 */ 1332,
  2428. /* U+1EA1+0302 -> U+1EAD */ 1323,
  2429. /* U+1EA1+0306 -> U+1EB7 */ 1333,
  2430. /* U+1EB8+0302 -> U+1EC6 */ 1348,
  2431. /* U+1EB9+0302 -> U+1EC7 */ 1349,
  2432. /* U+1ECC+0302 -> U+1ED8 */ 1366,
  2433. /* U+1ECD+0302 -> U+1ED9 */ 1367,
  2434. /* U+1F00+0300 -> U+1F02 */ 1402,
  2435. /* U+1F00+0301 -> U+1F04 */ 1404,
  2436. /* U+1F00+0342 -> U+1F06 */ 1406,
  2437. /* U+1F00+0345 -> U+1F80 */ 1514,
  2438. /* U+1F01+0300 -> U+1F03 */ 1403,
  2439. /* U+1F01+0301 -> U+1F05 */ 1405,
  2440. /* U+1F01+0342 -> U+1F07 */ 1407,
  2441. /* U+1F01+0345 -> U+1F81 */ 1515,
  2442. /* U+1F02+0345 -> U+1F82 */ 1516,
  2443. /* U+1F03+0345 -> U+1F83 */ 1517,
  2444. /* U+1F04+0345 -> U+1F84 */ 1518,
  2445. /* U+1F05+0345 -> U+1F85 */ 1519,
  2446. /* U+1F06+0345 -> U+1F86 */ 1520,
  2447. /* U+1F07+0345 -> U+1F87 */ 1521,
  2448. /* U+1F08+0300 -> U+1F0A */ 1410,
  2449. /* U+1F08+0301 -> U+1F0C */ 1412,
  2450. /* U+1F08+0342 -> U+1F0E */ 1414,
  2451. /* U+1F08+0345 -> U+1F88 */ 1522,
  2452. /* U+1F09+0300 -> U+1F0B */ 1411,
  2453. /* U+1F09+0301 -> U+1F0D */ 1413,
  2454. /* U+1F09+0342 -> U+1F0F */ 1415,
  2455. /* U+1F09+0345 -> U+1F89 */ 1523,
  2456. /* U+1F0A+0345 -> U+1F8A */ 1524,
  2457. /* U+1F0B+0345 -> U+1F8B */ 1525,
  2458. /* U+1F0C+0345 -> U+1F8C */ 1526,
  2459. /* U+1F0D+0345 -> U+1F8D */ 1527,
  2460. /* U+1F0E+0345 -> U+1F8E */ 1528,
  2461. /* U+1F0F+0345 -> U+1F8F */ 1529,
  2462. /* U+1F10+0300 -> U+1F12 */ 1418,
  2463. /* U+1F10+0301 -> U+1F14 */ 1420,
  2464. /* U+1F11+0300 -> U+1F13 */ 1419,
  2465. /* U+1F11+0301 -> U+1F15 */ 1421,
  2466. /* U+1F18+0300 -> U+1F1A */ 1424,
  2467. /* U+1F18+0301 -> U+1F1C */ 1426,
  2468. /* U+1F19+0300 -> U+1F1B */ 1425,
  2469. /* U+1F19+0301 -> U+1F1D */ 1427,
  2470. /* U+1F20+0300 -> U+1F22 */ 1430,
  2471. /* U+1F20+0301 -> U+1F24 */ 1432,
  2472. /* U+1F20+0342 -> U+1F26 */ 1434,
  2473. /* U+1F20+0345 -> U+1F90 */ 1530,
  2474. /* U+1F21+0300 -> U+1F23 */ 1431,
  2475. /* U+1F21+0301 -> U+1F25 */ 1433,
  2476. /* U+1F21+0342 -> U+1F27 */ 1435,
  2477. /* U+1F21+0345 -> U+1F91 */ 1531,
  2478. /* U+1F22+0345 -> U+1F92 */ 1532,
  2479. /* U+1F23+0345 -> U+1F93 */ 1533,
  2480. /* U+1F24+0345 -> U+1F94 */ 1534,
  2481. /* U+1F25+0345 -> U+1F95 */ 1535,
  2482. /* U+1F26+0345 -> U+1F96 */ 1536,
  2483. /* U+1F27+0345 -> U+1F97 */ 1537,
  2484. /* U+1F28+0300 -> U+1F2A */ 1438,
  2485. /* U+1F28+0301 -> U+1F2C */ 1440,
  2486. /* U+1F28+0342 -> U+1F2E */ 1442,
  2487. /* U+1F28+0345 -> U+1F98 */ 1538,
  2488. /* U+1F29+0300 -> U+1F2B */ 1439,
  2489. /* U+1F29+0301 -> U+1F2D */ 1441,
  2490. /* U+1F29+0342 -> U+1F2F */ 1443,
  2491. /* U+1F29+0345 -> U+1F99 */ 1539,
  2492. /* U+1F2A+0345 -> U+1F9A */ 1540,
  2493. /* U+1F2B+0345 -> U+1F9B */ 1541,
  2494. /* U+1F2C+0345 -> U+1F9C */ 1542,
  2495. /* U+1F2D+0345 -> U+1F9D */ 1543,
  2496. /* U+1F2E+0345 -> U+1F9E */ 1544,
  2497. /* U+1F2F+0345 -> U+1F9F */ 1545,
  2498. /* U+1F30+0300 -> U+1F32 */ 1446,
  2499. /* U+1F30+0301 -> U+1F34 */ 1448,
  2500. /* U+1F30+0342 -> U+1F36 */ 1450,
  2501. /* U+1F31+0300 -> U+1F33 */ 1447,
  2502. /* U+1F31+0301 -> U+1F35 */ 1449,
  2503. /* U+1F31+0342 -> U+1F37 */ 1451,
  2504. /* U+1F38+0300 -> U+1F3A */ 1454,
  2505. /* U+1F38+0301 -> U+1F3C */ 1456,
  2506. /* U+1F38+0342 -> U+1F3E */ 1458,
  2507. /* U+1F39+0300 -> U+1F3B */ 1455,
  2508. /* U+1F39+0301 -> U+1F3D */ 1457,
  2509. /* U+1F39+0342 -> U+1F3F */ 1459,
  2510. /* U+1F40+0300 -> U+1F42 */ 1462,
  2511. /* U+1F40+0301 -> U+1F44 */ 1464,
  2512. /* U+1F41+0300 -> U+1F43 */ 1463,
  2513. /* U+1F41+0301 -> U+1F45 */ 1465,
  2514. /* U+1F48+0300 -> U+1F4A */ 1468,
  2515. /* U+1F48+0301 -> U+1F4C */ 1470,
  2516. /* U+1F49+0300 -> U+1F4B */ 1469,
  2517. /* U+1F49+0301 -> U+1F4D */ 1471,
  2518. /* U+1F50+0300 -> U+1F52 */ 1474,
  2519. /* U+1F50+0301 -> U+1F54 */ 1476,
  2520. /* U+1F50+0342 -> U+1F56 */ 1478,
  2521. /* U+1F51+0300 -> U+1F53 */ 1475,
  2522. /* U+1F51+0301 -> U+1F55 */ 1477,
  2523. /* U+1F51+0342 -> U+1F57 */ 1479,
  2524. /* U+1F59+0300 -> U+1F5B */ 1481,
  2525. /* U+1F59+0301 -> U+1F5D */ 1482,
  2526. /* U+1F59+0342 -> U+1F5F */ 1483,
  2527. /* U+1F60+0300 -> U+1F62 */ 1486,
  2528. /* U+1F60+0301 -> U+1F64 */ 1488,
  2529. /* U+1F60+0342 -> U+1F66 */ 1490,
  2530. /* U+1F60+0345 -> U+1FA0 */ 1546,
  2531. /* U+1F61+0300 -> U+1F63 */ 1487,
  2532. /* U+1F61+0301 -> U+1F65 */ 1489,
  2533. /* U+1F61+0342 -> U+1F67 */ 1491,
  2534. /* U+1F61+0345 -> U+1FA1 */ 1547,
  2535. /* U+1F62+0345 -> U+1FA2 */ 1548,
  2536. /* U+1F63+0345 -> U+1FA3 */ 1549,
  2537. /* U+1F64+0345 -> U+1FA4 */ 1550,
  2538. /* U+1F65+0345 -> U+1FA5 */ 1551,
  2539. /* U+1F66+0345 -> U+1FA6 */ 1552,
  2540. /* U+1F67+0345 -> U+1FA7 */ 1553,
  2541. /* U+1F68+0300 -> U+1F6A */ 1494,
  2542. /* U+1F68+0301 -> U+1F6C */ 1496,
  2543. /* U+1F68+0342 -> U+1F6E */ 1498,
  2544. /* U+1F68+0345 -> U+1FA8 */ 1554,
  2545. /* U+1F69+0300 -> U+1F6B */ 1495,
  2546. /* U+1F69+0301 -> U+1F6D */ 1497,
  2547. /* U+1F69+0342 -> U+1F6F */ 1499,
  2548. /* U+1F69+0345 -> U+1FA9 */ 1555,
  2549. /* U+1F6A+0345 -> U+1FAA */ 1556,
  2550. /* U+1F6B+0345 -> U+1FAB */ 1557,
  2551. /* U+1F6C+0345 -> U+1FAC */ 1558,
  2552. /* U+1F6D+0345 -> U+1FAD */ 1559,
  2553. /* U+1F6E+0345 -> U+1FAE */ 1560,
  2554. /* U+1F6F+0345 -> U+1FAF */ 1561,
  2555. /* U+1F70+0345 -> U+1FB2 */ 1564,
  2556. /* U+1F74+0345 -> U+1FC2 */ 1579,
  2557. /* U+1F7C+0345 -> U+1FF2 */ 1621,
  2558. /* U+1FB6+0345 -> U+1FB7 */ 1568,
  2559. /* U+1FBF+0300 -> U+1FCD */ 1589,
  2560. /* U+1FBF+0301 -> U+1FCE */ 1590,
  2561. /* U+1FBF+0342 -> U+1FCF */ 1591,
  2562. /* U+1FC6+0345 -> U+1FC7 */ 1583,
  2563. /* U+1FF6+0345 -> U+1FF7 */ 1625,
  2564. /* U+1FFE+0300 -> U+1FDD */ 1602,
  2565. /* U+1FFE+0301 -> U+1FDE */ 1603,
  2566. /* U+1FFE+0342 -> U+1FDF */ 1604,
  2567. /* U+2190+0338 -> U+219A */ 1835,
  2568. /* U+2192+0338 -> U+219B */ 1836,
  2569. /* U+2194+0338 -> U+21AE */ 1837,
  2570. /* U+21D0+0338 -> U+21CD */ 1838,
  2571. /* U+21D2+0338 -> U+21CF */ 1840,
  2572. /* U+21D4+0338 -> U+21CE */ 1839,
  2573. /* U+2203+0338 -> U+2204 */ 1841,
  2574. /* U+2208+0338 -> U+2209 */ 1842,
  2575. /* U+220B+0338 -> U+220C */ 1843,
  2576. /* U+2223+0338 -> U+2224 */ 1844,
  2577. /* U+2225+0338 -> U+2226 */ 1845,
  2578. /* U+223C+0338 -> U+2241 */ 1850,
  2579. /* U+2243+0338 -> U+2244 */ 1851,
  2580. /* U+2245+0338 -> U+2247 */ 1852,
  2581. /* U+2248+0338 -> U+2249 */ 1853,
  2582. /* U+224D+0338 -> U+226D */ 1856,
  2583. /* U+2261+0338 -> U+2262 */ 1855,
  2584. /* U+2264+0338 -> U+2270 */ 1859,
  2585. /* U+2265+0338 -> U+2271 */ 1860,
  2586. /* U+2272+0338 -> U+2274 */ 1861,
  2587. /* U+2273+0338 -> U+2275 */ 1862,
  2588. /* U+2276+0338 -> U+2278 */ 1863,
  2589. /* U+2277+0338 -> U+2279 */ 1864,
  2590. /* U+227A+0338 -> U+2280 */ 1865,
  2591. /* U+227B+0338 -> U+2281 */ 1866,
  2592. /* U+227C+0338 -> U+22E0 */ 1875,
  2593. /* U+227D+0338 -> U+22E1 */ 1876,
  2594. /* U+2282+0338 -> U+2284 */ 1867,
  2595. /* U+2283+0338 -> U+2285 */ 1868,
  2596. /* U+2286+0338 -> U+2288 */ 1869,
  2597. /* U+2287+0338 -> U+2289 */ 1870,
  2598. /* U+2291+0338 -> U+22E2 */ 1877,
  2599. /* U+2292+0338 -> U+22E3 */ 1878,
  2600. /* U+22A2+0338 -> U+22AC */ 1871,
  2601. /* U+22A8+0338 -> U+22AD */ 1872,
  2602. /* U+22A9+0338 -> U+22AE */ 1873,
  2603. /* U+22AB+0338 -> U+22AF */ 1874,
  2604. /* U+22B2+0338 -> U+22EA */ 1879,
  2605. /* U+22B3+0338 -> U+22EB */ 1880,
  2606. /* U+22B4+0338 -> U+22EC */ 1881,
  2607. /* U+22B5+0338 -> U+22ED */ 1882,
  2608. /* U+3046+3099 -> U+3094 */ 2320,
  2609. /* U+304B+3099 -> U+304C */ 2295,
  2610. /* U+304D+3099 -> U+304E */ 2296,
  2611. /* U+304F+3099 -> U+3050 */ 2297,
  2612. /* U+3051+3099 -> U+3052 */ 2298,
  2613. /* U+3053+3099 -> U+3054 */ 2299,
  2614. /* U+3055+3099 -> U+3056 */ 2300,
  2615. /* U+3057+3099 -> U+3058 */ 2301,
  2616. /* U+3059+3099 -> U+305A */ 2302,
  2617. /* U+305B+3099 -> U+305C */ 2303,
  2618. /* U+305D+3099 -> U+305E */ 2304,
  2619. /* U+305F+3099 -> U+3060 */ 2305,
  2620. /* U+3061+3099 -> U+3062 */ 2306,
  2621. /* U+3064+3099 -> U+3065 */ 2307,
  2622. /* U+3066+3099 -> U+3067 */ 2308,
  2623. /* U+3068+3099 -> U+3069 */ 2309,
  2624. /* U+306F+3099 -> U+3070 */ 2310,
  2625. /* U+306F+309A -> U+3071 */ 2311,
  2626. /* U+3072+3099 -> U+3073 */ 2312,
  2627. /* U+3072+309A -> U+3074 */ 2313,
  2628. /* U+3075+3099 -> U+3076 */ 2314,
  2629. /* U+3075+309A -> U+3077 */ 2315,
  2630. /* U+3078+3099 -> U+3079 */ 2316,
  2631. /* U+3078+309A -> U+307A */ 2317,
  2632. /* U+307B+3099 -> U+307C */ 2318,
  2633. /* U+307B+309A -> U+307D */ 2319,
  2634. /* U+309D+3099 -> U+309E */ 2325,
  2635. /* U+30A6+3099 -> U+30F4 */ 2352,
  2636. /* U+30AB+3099 -> U+30AC */ 2327,
  2637. /* U+30AD+3099 -> U+30AE */ 2328,
  2638. /* U+30AF+3099 -> U+30B0 */ 2329,
  2639. /* U+30B1+3099 -> U+30B2 */ 2330,
  2640. /* U+30B3+3099 -> U+30B4 */ 2331,
  2641. /* U+30B5+3099 -> U+30B6 */ 2332,
  2642. /* U+30B7+3099 -> U+30B8 */ 2333,
  2643. /* U+30B9+3099 -> U+30BA */ 2334,
  2644. /* U+30BB+3099 -> U+30BC */ 2335,
  2645. /* U+30BD+3099 -> U+30BE */ 2336,
  2646. /* U+30BF+3099 -> U+30C0 */ 2337,
  2647. /* U+30C1+3099 -> U+30C2 */ 2338,
  2648. /* U+30C4+3099 -> U+30C5 */ 2339,
  2649. /* U+30C6+3099 -> U+30C7 */ 2340,
  2650. /* U+30C8+3099 -> U+30C9 */ 2341,
  2651. /* U+30CF+3099 -> U+30D0 */ 2342,
  2652. /* U+30CF+309A -> U+30D1 */ 2343,
  2653. /* U+30D2+3099 -> U+30D3 */ 2344,
  2654. /* U+30D2+309A -> U+30D4 */ 2345,
  2655. /* U+30D5+3099 -> U+30D6 */ 2346,
  2656. /* U+30D5+309A -> U+30D7 */ 2347,
  2657. /* U+30D8+3099 -> U+30D9 */ 2348,
  2658. /* U+30D8+309A -> U+30DA */ 2349,
  2659. /* U+30DB+3099 -> U+30DC */ 2350,
  2660. /* U+30DB+309A -> U+30DD */ 2351,
  2661. /* U+30EF+3099 -> U+30F7 */ 2353,
  2662. /* U+30F0+3099 -> U+30F8 */ 2354,
  2663. /* U+30F1+3099 -> U+30F9 */ 2355,
  2664. /* U+30F2+3099 -> U+30FA */ 2356,
  2665. /* U+30FD+3099 -> U+30FE */ 2357,
  2666. /* U+11099+110BA -> U+1109A */ 4686,
  2667. /* U+1109B+110BA -> U+1109C */ 4687,
  2668. /* U+110A5+110BA -> U+110AB */ 4688,
  2669. /* U+11131+11127 -> U+1112E */ 4694,
  2670. /* U+11132+11127 -> U+1112F */ 4695,
  2671. /* U+11347+1133E -> U+1134B */ 4707,
  2672. /* U+11347+11357 -> U+1134C */ 4708,
  2673. /* U+114B9+114B0 -> U+114BC */ 4726,
  2674. /* U+114B9+114BA -> U+114BB */ 4725,
  2675. /* U+114B9+114BD -> U+114BE */ 4727,
  2676. /* U+115B8+115AF -> U+115BA */ 4730,
  2677. /* U+115B9+115AF -> U+115BB */ 4731,
  2678. /* U+11935+11930 -> U+11938 */ 4740
  2679. };
  2680. /* Perfect hash function for recomposition */
  2681. static int
  2682. Recomp_hash_func(const void *key)
  2683. {
  2684. static const int16 h[1883] = {
  2685. 772, 773, 621, 32767, 32767, 387, 653, 196,
  2686. 32767, 32767, 855, 463, -19, 651, 32767, 32767,
  2687. 32767, 364, 32767, 32767, -108, 32767, 32767, 32767,
  2688. 32767, 0, -568, 32767, 32767, 32767, 0, 0,
  2689. 0, -103, 364, 0, 210, 732, 0, 0,
  2690. -506, 0, 0, 0, 32767, 32767, 0, 32767,
  2691. 407, -140, 32767, 409, 32767, 772, 0, 86,
  2692. 842, 934, 32767, 32767, -499, -355, 32767, 32767,
  2693. 532, 138, 174, -243, 860, 1870, 742, 32767,
  2694. 32767, 339, 32767, 1290, 0, 32767, 32767, 0,
  2695. -449, -1386, 1633, 560, 561, 32767, 1219, 1004,
  2696. 139, -804, 32767, -179, 141, 579, 1586, 32767,
  2697. 32767, 32767, 142, 199, 32767, 32767, 143, 0,
  2698. 32767, 32767, 314, 896, 32767, 32767, 428, 129,
  2699. 286, -58, 0, 68, 32767, 0, 244, -566,
  2700. 32767, 32767, 32767, 246, 32767, 32767, 0, 32767,
  2701. 32767, 271, -108, 928, 32767, 715, 32767, 32767,
  2702. -211, -497, 32767, 0, 1055, 1339, 32767, 0,
  2703. 32767, 32767, -968, -144, 32767, 32767, 248, 32767,
  2704. -161, 32767, 32767, 282, 32767, -372, 0, 2,
  2705. -137, 1116, 32767, 687, 32767, 459, 913, 0,
  2706. 461, 879, -816, 443, 32767, 32767, 462, 1089,
  2707. 32767, 1054, 0, 314, 447, -26, 480, 32767,
  2708. 64, 0, 0, 112, 32767, 66, 0, 646,
  2709. 603, 22, -292, 0, 710, 475, 32767, 24,
  2710. -781, 32767, 32767, 32767, 281, 307, 32767, 1289,
  2711. 32767, 0, 1064, -149, 454, 118, 32767, 32767,
  2712. 0, 32767, -126, 0, 32767, 32767, 858, 32767,
  2713. 32767, 32767, 1029, 886, 665, 209, 0, 26,
  2714. 359, 0, 0, -108, -508, -603, 894, 906,
  2715. 32767, 32767, 14, 0, 0, 534, 984, 876,
  2716. 32767, -93, 110, -367, 167, 843, 32767, 32767,
  2717. -947, -290, 169, 0, 0, 32767, -42, 564,
  2718. 0, -927, 32767, 817, 32767, 32767, 32767, 110,
  2719. 0, 32767, 32767, -38, 32767, 32767, -101, 694,
  2720. -142, 190, 191, 1288, 32767, -687, 194, -579,
  2721. 534, -452, 0, -72, 536, 765, 823, 266,
  2722. -259, 684, 767, 32767, 654, 32767, 32767, 64,
  2723. 920, 32767, 32767, 32767, 0, 1653, 0, 0,
  2724. 32767, 32767, -452, -222, 855, 0, 32767, -1153,
  2725. 127, 490, 449, 863, 32767, -144, 32767, -379,
  2726. 545, 32767, 32767, 32767, 530, 32767, 32767, 1331,
  2727. 611, -612, 332, 545, -73, 0, 604, 201,
  2728. 32767, -279, 338, 836, 340, 408, 32767, -60,
  2729. -358, 32767, 343, 69, 707, 0, -129, 582,
  2730. 32767, 0, 32767, 96, 392, 490, 639, 157,
  2731. -4, 406, 32767, 32767, -571, 1077, 546, 32767,
  2732. 551, 0, 0, 0, 32767, 32767, 348, 32767,
  2733. 498, -181, 0, -433, 1057, 260, 0, 32767,
  2734. 32767, 397, 32767, 816, -130, 32767, 624, 0,
  2735. 0, 32767, 32767, 32767, 485, 0, 32767, 32767,
  2736. 32767, 32767, 32767, 0, 32767, 32767, 32767, 1222,
  2737. -230, 32767, 797, -538, 32767, 974, 32767, 32767,
  2738. 831, 70, -658, 145, 0, 147, 0, 32767,
  2739. 1295, 32767, 0, 0, 895, 0, 0, -385,
  2740. 491, -287, 32767, -587, 32767, 32767, 32767, 813,
  2741. -471, -13, 32767, 32767, 32767, 0, 203, 411,
  2742. 470, 0, -546, -179, 146, 0, 0, 32767,
  2743. -468, 32767, 0, 0, 32767, 32767, 32767, 211,
  2744. 32767, 32767, 0, 32767, 0, 52, 32767, 0,
  2745. 32767, 0, 692, 990, 32767, 32767, 32767, 56,
  2746. -507, 784, 951, 0, 32767, 0, 697, 32767,
  2747. 187, 0, 32767, 32767, 430, 1209, 682, 32767,
  2748. 130, 0, -25, 0, -1006, 0, 32767, 214,
  2749. 433, 22, 0, -1119, 32767, 285, 32767, 32767,
  2750. 32767, 216, 32767, 32767, 32767, 217, 527, 32767,
  2751. 32767, 32767, 829, 485, 419, 717, 620, 731,
  2752. 32767, 470, 0, -145, -620, 1162, -644, 848,
  2753. 287, -632, 32767, 32767, 32767, 32767, 381, 32767,
  2754. 510, 511, -554, -2, 32767, 0, 0, 698,
  2755. 32767, 32767, 436, 1154, 32767, 463, 32767, 32767,
  2756. 627, 517, 32767, 32767, 854, 579, 723, 396,
  2757. 110, -42, 354, 32767, 664, 32767, 32767, 0,
  2758. 0, 32767, 65, -163, 67, 140, 69, 341,
  2759. 70, 71, 402, 73, 623, 544, 624, 417,
  2760. -1375, 648, 32767, -26, 904, 0, 548, 0,
  2761. 0, 32767, 32767, 855, 32767, 488, -524, 599,
  2762. 130, 131, 32767, 32767, 542, -1110, -324, -462,
  2763. 32767, -405, -440, 0, 0, 629, 850, 0,
  2764. 741, 257, 258, 32767, 32767, 0, 32767, 923,
  2765. 0, 32767, 0, 32767, 1559, 32767, 32767, 32767,
  2766. 671, 32767, 134, 32767, 32767, -336, -104, 576,
  2767. 577, 829, 32767, 32767, 762, 902, 32767, 0,
  2768. 32767, 0, 1506, 887, 32767, 636, 601, 2465,
  2769. 426, 0, 236, 317, 427, 968, 32767, -975,
  2770. -559, -343, 341, 32767, 937, 241, 0, 32767,
  2771. 32767, 547, 32767, 32767, 32767, 32767, 32767, 789,
  2772. 0, 32767, 32767, 32767, 0, 0, 0, 32767,
  2773. -192, 859, 1185, 1153, 69, 32767, 32767, 32767,
  2774. -539, 32767, 32767, 0, 32767, 32767, 32767, 32767,
  2775. 640, 578, 32767, 32767, -766, 32767, 32767, 32767,
  2776. 32767, 1050, -572, 32767, 32767, 32767, 32767, 1268,
  2777. 32767, 32767, 32767, 754, 32767, 32767, 1640, 179,
  2778. 804, 32767, 32767, 32767, 32767, 0, 684, 943,
  2779. 1006, 32767, 32767, 652, 0, 32767, 1041, 32767,
  2780. 718, 791, 32767, 274, 697, 32767, 32767, 0,
  2781. 32767, 32767, 32767, 0, 32767, 32767, 32767, 32767,
  2782. 32767, 32767, 32767, 32767, 32767, 32767, 32767, 735,
  2783. 0, 32767, 32767, 32767, 275, 358, 688, 32767,
  2784. 32767, 32767, 548, -87, 770, 32767, -42, 0,
  2785. 551, 32767, 691, 222, 32767, 32767, 32767, 32767,
  2786. 0, 1273, 403, -121, 806, 553, 554, 163,
  2787. 32767, 32767, 892, 825, 32767, 32767, -490, 32767,
  2788. 32767, 32767, 32767, 32767, -109, 744, 910, 32767,
  2789. 91, 32767, 32767, 0, 0, 32767, 32767, 32767,
  2790. 1521, 50, 701, 32767, 32767, 32767, 32767, 164,
  2791. 658, 32767, 288, 0, 32767, 0, 51, 0,
  2792. 32767, 32767, 32767, 32767, 555, 1547, 32767, 32767,
  2793. 595, 585, 429, 32767, -80, 32767, 1258, 0,
  2794. 540, 486, -434, 865, 0, 192, 0, 884,
  2795. 0, 0, 0, 175, 555, 0, 32767, 32767,
  2796. 0, 32767, -566, 866, 591, 32767, 32767, 32767,
  2797. 32767, 32767, 496, 495, -215, 32767, 849, -772,
  2798. 32767, 32767, 502, 178, 483, 32767, 912, 793,
  2799. 794, 0, 32767, 32767, 32767, -556, 499, 838,
  2800. 32767, 32767, -506, 331, 0, 0, -1096, 512,
  2801. 880, 0, 774, -338, 649, 32767, 270, 32767,
  2802. 32767, -624, 328, 459, 32767, 32767, 32767, 32767,
  2803. 329, -201, -835, 813, -879, 560, 0, -212,
  2804. -114, 35, -494, 37, 523, 653, 751, -653,
  2805. -743, 32767, 1356, 818, 32767, 32767, 856, 0,
  2806. 44, 902, 0, 0, 0, 0, 32767, -26,
  2807. 526, 795, 456, 32767, 104, -209, -341, 133,
  2808. -372, 0, 45, 110, 111, 0, 511, 47,
  2809. 114, 32767, 32767, 93, 48, 116, -1031, -279,
  2810. 32767, 192, 0, 32767, 453, 415, 0, -190,
  2811. 32767, 471, 240, 175, 29, 665, 684, 0,
  2812. -11, -95, -344, 32767, 245, 148, 0, 530,
  2813. 0, 1185, -615, -712, 693, 784, 32767, 0,
  2814. -776, 32767, 32767, -813, 0, 0, 0, 207,
  2815. 208, 32767, 674, 32767, 742, -289, 249, 32767,
  2816. 520, 929, -50, 781, 0, -778, 32767, 0,
  2817. 302, 32767, 720, -465, 0, 32767, 32767, 32767,
  2818. 0, 0, 32767, 833, 328, 806, 32767, -403,
  2819. 0, 32767, -77, 32767, 0, 441, 930, 32767,
  2820. 643, 0, 32767, 1938, 0, 1334, 381, 32767,
  2821. 216, 32767, 32767, 0, 32767, 484, 383, 0,
  2822. 242, 395, 0, 32767, 32767, 32767, -781, 355,
  2823. 356, 32767, 292, 706, 32767, 32767, 32767, 32767,
  2824. 32767, -410, 32767, 32767, 782, 32767, 189, 32767,
  2825. 32767, 943, 0, -212, 407, 335, 0, 135,
  2826. 32767, 616, 0, -497, 0, -67, 853, 32767,
  2827. 700, 32767, 0, 32767, 32767, 32767, 32767, 32767,
  2828. 32767, 32767, 0, 459, -48, 32767, 58, 0,
  2829. -856, 1017, 32767, 59, 916, -731, 32767, 940,
  2830. -855, 347, 650, 0, 678, 32767, 0, 32767,
  2831. 32767, 530, 32767, 0, -80, 32767, -730, 32767,
  2832. 1214, 799, 58, 651, 841, 0, 0, -589,
  2833. -1530, -478, 651, 652, 93, 576, -1215, 32767,
  2834. 125, 32767, 1279, 32767, 32767, 0, 32767, 0,
  2835. -367, 416, -1236, 32767, 418, 32767, 815, 558,
  2836. 559, 781, 419, 32767, 739, 32767, 0, 32767,
  2837. 128, 570, 1349, -298, -66, 0, 147, -488,
  2838. 32767, 590, 189, 274, 524, 32767, 1082, -209,
  2839. 32767, 423, 32767, 32767, 975, 573, 32767, 424,
  2840. 32767, 32767, 1241, 32767, 32767, 32767, 32767, 32767,
  2841. 612, 391, 32767, 0, -803, 1004, -561, 32767,
  2842. 32767, 735, 870, 32767, 0, 32767, 32767, -123,
  2843. 99, 210, 600, 1294, 109, 1053, 32767, 307,
  2844. 834, 32767, 0, 1651, 32767, 644, 32767, 32767,
  2845. 0, 32767, -801, 385, 379, 32767, -368, 32767,
  2846. 32767, 830, 0, 32767, 32767, 739, 371, 372,
  2847. -275, 32767, 32767, 331, -780, 32767, 0, 1229,
  2848. -1462, 913, 266, 827, 125, 32767, 32767, 32767,
  2849. 393, 32767, 631, -33, -883, -661, -204, 6,
  2850. -19, 257, 8, 9, 118, 519, 615, -541,
  2851. -893, 0, 32767, 0, 1156, 15, 900, 32767,
  2852. 32767, 32767, 32767, 32767, 32767, 1022, 376, 0,
  2853. 32767, 32767, -972, 676, 840, -661, 631, 58,
  2854. 0, 17, 32767, 0, -799, 82, 0, 32767,
  2855. 32767, 680, 32767, 905, 0, 0, 32767, 32767,
  2856. 0, 0, 32767, 0, 828, 386, 802, 0,
  2857. 146, 0, 148, 32767, -1146, 0, 150, 151,
  2858. -743, 153, 154, 32767, 32767, 442, 32767, 743,
  2859. 0, 0, 746, 0, 32767, 32767, 32767, 98,
  2860. 32767, 157, 0, 696, 0, 32767, 32767, -294,
  2861. 32767, 158, 159, 32767, 0, 32767, 160, 32767,
  2862. 933, 32767, 32767, -50, 759, 824, 162, 672,
  2863. 32767, 356, 0, 356, 32767, 32767, 0, 0,
  2864. 656, 692, 253, 254, -374, 102, 256, 32767,
  2865. 0, 0, 32767, 32767, 259, 32767, 63, 260,
  2866. 510, 261, 32767, 0, 32767, 1061, 32767, 521,
  2867. 32767, 32767, 32767, 32767, 32767, 32767, 316, 317,
  2868. 846, 0, 32767, -500, 318, 0, 32767, 32767,
  2869. 263, 0, 790, 872, 32767, 32767, 32767, 2171,
  2870. 264, 32767, 32767, 32767, 32767, 486, 334, 465,
  2871. 32767, 466, 32767, 444, 606, 32767, 0, 445,
  2872. 320, -317, 0, 520, 322, 718, 32767, 32767,
  2873. 32767, 0, 1013, 32767, 32767, 32767, 32767, 32767,
  2874. 32767, 611, 32767, 0, 0, 32767, 32767, -120,
  2875. 156, 613, 0, 0, 32767, -68, 32767, 622,
  2876. 32767, 32767, 32767, 32767, 32767, 455, 32767, 32767,
  2877. 32767, 403, 533, 0, -161, 405, 95, 96,
  2878. 32767, 97, 32767, 0, 29, 0, 32767, 32767,
  2879. 30, 32767, 99, 32767, 32767, 0, 161, 32767,
  2880. 97, 0, 32, 32767, 32767, 0, 0, 315,
  2881. 32767, 32767, 414, 966, 0, 585, 32767, 32767,
  2882. -616, -256, 171, 172, 666, 101, 562, 563,
  2883. 32767, 95, 0, 0, 1492, 390, -251, 103,
  2884. 32767, 0, 32767, 188, 1487, 32767, 0, 0,
  2885. 586, 668, -126, 0, 0, 32767, 32767, 204,
  2886. 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
  2887. 32767, 32767, 32767, 32767, 32767, 656, 32767, 32767,
  2888. 599, 0, 222, 32767, 0, 1368, -412, 435,
  2889. 32767, 936, 32767, -17, 32767, 832, 32767, 437,
  2890. 0, -518, 787, 32767, 864, -449, 0, 636,
  2891. 713, 206, 592, 572, 0, 483, -139, 32767,
  2892. 32767, 180, 818, 32767, 32767, 1304, 0, 32767,
  2893. 274, 0, 0, 0, 0, 705, 32767, 32767,
  2894. 32767, 0, -272, 0, 502, 503, 319, 0,
  2895. 32767, 0, 13, 32767, 32767, 0, 32767, 270,
  2896. 737, 0, 32767, 32767, 32767, 901, 32767, 616,
  2897. 180, 32767, 721, 353, 32767, 0, 32767, 32767,
  2898. -199, 0, 280, 788, 32767, 940, 32767, 51,
  2899. 0, 400, 53, 0, 54, -637, 0, -453,
  2900. 0, 0, 0, 380, 0, 32767, 504, 0,
  2901. 2049, 0, -964, 32767, 0, 32767, 32767, 32767,
  2902. 32767, 32767, 32767, 798, 32767, 32767, 32767, 0,
  2903. 538, 488, 0, 32767, -528, 57, 819, 32767,
  2904. 32767, 1244, 0, 488, 739, 908, 32767, 32767,
  2905. 0, 32767, 32767, 0, 55, 533, 0, 32767,
  2906. 814, 0, 32767, 458, 0, 32767, 32767, 32767,
  2907. 32767, 32767, 32767, 32767, 776, 777, 920, 0,
  2908. 0, 755, 32767, 0, 32767, 32767, 0, 32767,
  2909. 55, -954, 0, 372, 166, 218, 165, 857,
  2910. 221, 675, 0, 223, 224, -155, 226, 32767,
  2911. 1851, 227, 32767, 32767, 1192, 0, 229, 0,
  2912. -72, 0, 865, 0, 0, -330, 0, 683,
  2913. 32767, -550, -196, 725, -573, 293, 102, 32767,
  2914. -589, 296, 297, 298, 231, -256, 300, 32767,
  2915. 32767, 301, 233, 868, 32767, 234, 0, 811,
  2916. 1187, 32767, 32767, 0, 32767, 518, 0, 361,
  2917. 362, 466, 0, 365, 32767, -179, 366, 367,
  2918. 874, 369, 305, 0, 32767, 0, 32767, 0,
  2919. 32767, 2000, 1215, 451, 652, 0, 0, 799,
  2920. 32767, 32767, 32767
  2921. };
  2922. const unsigned char *k = (const unsigned char *) key;
  2923. size_t keylen = 8;
  2924. uint32 a = 0;
  2925. uint32 b = 0;
  2926. while (keylen--)
  2927. {
  2928. unsigned char c = *k++;
  2929. a = a * 257 + c;
  2930. b = b * 17 + c;
  2931. }
  2932. return h[a % 1883] + h[b % 1883];
  2933. }
  2934. /* Hash lookup information for recomposition */
  2935. static const pg_unicode_recompinfo UnicodeRecompInfo =
  2936. {
  2937. RecompInverseLookup,
  2938. Recomp_hash_func,
  2939. 941
  2940. };