[_CDCSL_93-16_]<1>Cedar>release>MimosaOnly>ParseTableImpl.mesa

-- ParseTableImpl.mesa
-- Copyright Ó 1991 by Xerox Corporation. All rights reserved.
-- an NPGS production from Pass1T.mesa, June 21, 1989 12:41:31 pm PDT.

DIRECTORY ParseTable;

ParseTableImpl: CEDAR PROGRAM
EXPORTS ParseTable
= { OPEN ParseTable;

InitScanTable: PUBLIC PROC RETURNS [ScanTableRef] = {
tab: ScanTableRef Ź NEW[ScanTable Ź ALL[0]];
-- 94 entries
tab[41C] Ź 31;
tab[43C] Ź 16;
tab[50C] Ź 164;
tab[51C] Ź 158;
tab[52C] Ź 25;
tab[53C] Ź 23;
tab[54C] Ź 9;
tab[55C] Ź 24;
tab[56C] Ź 29;
tab[57C] Ź 27;
tab[72C] Ź 11;
tab[73C] Ź 10;
tab[74C] Ź 17;
tab[75C] Ź 15;
tab[76C] Ź 18;
tab[100C] Ź 30;
tab[133C] Ź 165;
tab[135C] Ź 159;
tab[136C] Ź 28;
tab[137C] Ź 14;
tab[173C] Ź 166;
tab[174C] Ź 32;
tab[175C] Ź 160;
tab[176C] Ź 21;
RETURN [tab];
};

InitHashTable: PUBLIC PROC RETURNS [HashTableRef] = {
null: VocabHashEntry = [0, 0];
tab: HashTableRef Ź NEW[HashTable Ź ALL[null]];
-- 252 entries
tab[12] Ź [4, 0];
tab[15] Ź [6, 0];
tab[21] Ź [3, 0];
tab[24] Ź [2, 0];
tab[29] Ź [13, 0];
tab[41] Ź [96, 0];
tab[44] Ź [74, 235];
tab[45] Ź [93, 164];
tab[47] Ź [161, 0];
tab[48] Ź [128, 161];
tab[49] Ź [95, 0];
tab[54] Ź [91, 218];
tab[55] Ź [126, 0];
tab[56] Ź [70, 231];
tab[58] Ź [71, 236];
tab[59] Ź [72, 229];
tab[60] Ź [69, 243];
tab[61] Ź [45, 232];
tab[62] Ź [38, 249];
tab[63] Ź [133, 177];
tab[64] Ź [60, 0];
tab[65] Ź [22, 0];
tab[67] Ź [109, 0];
tab[68] Ź [78, 233];
tab[69] Ź [39, 248];
tab[71] Ź [57, 234];
tab[72] Ź [63, 162];
tab[73] Ź [48, 0];
tab[74] Ź [82, 0];
tab[75] Ź [65, 182];
tab[76] Ź [44, 226];
tab[78] Ź [129, 0];
tab[79] Ź [99, 191];
tab[80] Ź [149, 0];
tab[83] Ź [80, 0];
tab[84] Ź [108, 153];
tab[86] Ź [119, 0];
tab[89] Ź [120, 0];
tab[90] Ź [145, 0];
tab[106] Ź [26, 0];
tab[116] Ź [12, 0];
tab[130] Ź [8, 0];
tab[133] Ź [1, 0];
tab[138] Ź [7, 0];
tab[151] Ź [5, 0];
tab[152] Ź [19, 0];
tab[153] Ź [169, 0];
tab[154] Ź [168, 0];
tab[155] Ź [20, 0];
tab[156] Ź [167, 0];
tab[157] Ź [163, 0];
tab[158] Ź [162, 0];
tab[159] Ź [157, 0];
tab[160] Ź [156, 159];
tab[161] Ź [155, 157];
tab[162] Ź [154, 0];
tab[163] Ź [153, 0];
tab[164] Ź [152, 0];
tab[165] Ź [151, 0];
tab[166] Ź [150, 0];
tab[167] Ź [148, 0];
tab[168] Ź [147, 0];
tab[169] Ź [59, 0];
tab[170] Ź [146, 165];
tab[171] Ź [144, 0];
tab[172] Ź [143, 0];
tab[173] Ź [142, 172];
tab[174] Ź [132, 179];
tab[175] Ź [54, 171];
tab[176] Ź [141, 0];
tab[177] Ź [140, 0];
tab[178] Ź [139, 156];
tab[179] Ź [138, 0];
tab[180] Ź [137, 170];
tab[181] Ź [111, 0];
tab[182] Ź [136, 154];
tab[183] Ź [116, 217];
tab[184] Ź [113, 167];
tab[185] Ź [40, 0];
tab[186] Ź [49, 250];
tab[187] Ź [67, 242];
tab[188] Ź [42, 238];
tab[189] Ź [58, 247];
tab[190] Ź [41, 237];
tab[191] Ź [135, 0];
tab[192] Ź [33, 241];
tab[193] Ź [51, 166];
tab[194] Ź [35, 211];
tab[195] Ź [87, 176];
tab[196] Ź [53, 0];
tab[197] Ź [134, 0];
tab[198] Ź [47, 239];
tab[199] Ź [37, 246];
tab[200] Ź [131, 0];
tab[201] Ź [130, 0];
tab[202] Ź [102, 178];
tab[203] Ź [34, 0];
tab[204] Ź [46, 0];
tab[205] Ź [43, 251];
tab[206] Ź [55, 221];
tab[207] Ź [61, 168];
tab[208] Ź [127, 180];
tab[209] Ź [125, 0];
tab[210] Ź [124, 197];
tab[211] Ź [123, 209];
tab[212] Ź [36, 0];
tab[213] Ź [92, 163];
tab[214] Ź [122, 210];
tab[215] Ź [121, 0];
tab[216] Ź [118, 0];
tab[217] Ź [117, 201];
tab[218] Ź [115, 0];
tab[219] Ź [114, 208];
tab[220] Ź [112, 215];
tab[221] Ź [110, 0];
tab[222] Ź [107, 219];
tab[223] Ź [106, 0];
tab[224] Ź [105, 0];
tab[225] Ź [104, 160];
tab[226] Ź [103, 0];
tab[227] Ź [101, 158];
tab[228] Ź [100, 216];
tab[229] Ź [98, 227];
tab[230] Ź [97, 225];
tab[231] Ź [94, 0];
tab[232] Ź [90, 173];
tab[233] Ź [89, 0];
tab[234] Ź [88, 0];
tab[235] Ź [86, 0];
tab[236] Ź [85, 0];
tab[237] Ź [84, 220];
tab[238] Ź [83, 200];
tab[239] Ź [81, 0];
tab[240] Ź [79, 230];
tab[241] Ź [77, 0];
tab[242] Ź [76, 223];
tab[243] Ź [75, 0];
tab[244] Ź [73, 240];
tab[245] Ź [68, 244];
tab[246] Ź [66, 214];
tab[247] Ź [64, 224];
tab[248] Ź [62, 228];
tab[249] Ź [56, 245];
tab[250] Ź [52, 0];
tab[251] Ź [50, 222];
RETURN [tab];
};

InitIndexTable: PUBLIC PROC RETURNS [IndexTableRef] = {
tab: IndexTableRef Ź NEW[IndexTable Ź [
-- 171 entries
0, 2, 5, 9, 14, 20, 27, 31, 35, 36,
-- 10
37, 38, 40, 42, 43, 44, 45, 46, 47, 49,
-- 20
51, 52, 54, 55, 56, 57, 59, 60, 61, 62,
-- 30
63, 64, 65, 71, 78, 81, 84, 88, 93, 101,
-- 40
111, 120, 124, 128, 134, 139, 146, 153, 160, 171,
-- 50
175, 183, 187, 191, 196, 198, 205, 214, 221, 225,
-- 60
227, 234, 238, 244, 250, 255, 260, 266, 271, 277,
-- 70
283, 289, 298, 306, 314, 321, 330, 339, 346, 353,
-- 80
359, 364, 369, 375, 382, 387, 394, 401, 410, 415,
-- 90
423, 429, 437, 441, 444, 447, 450, 455, 459, 462,
-- 100
465, 468, 471, 473, 476, 480, 486, 489, 494, 498,
-- 110
501, 505, 509, 517, 523, 529, 533, 538, 542, 547,
-- 120
552, 557, 561, 564, 569, 573, 575, 579, 583, 587,
-- 130
591, 594, 604, 606, 613, 618, 623, 629, 637, 643,
-- 140
647, 651, 655, 657, 661, 665, 672, 678, 687, 691,
-- 150
697, 703, 711, 716, 720, 726, 729, 734, 735, 736,
-- 160
737, 740, 747, 754, 755, 756, 757, 762, 764, 770,
-- 170
773]];
RETURN [tab];
};

InitVocabulary: PUBLIC PROC RETURNS [VocabularyRef] = {
i: CARDINAL Ź 0;
appText: PROC [r: REF TEXT] = {
FOR k: NAT IN [0..r.length) DO tab[i+k] Ź r[k]; ENDLOOP;
i Ź i + r.length;
};
tab: VocabularyRef Ź NEW[Vocabulary[773]];
-- 773 chars
-- 0
appText["idnumlnumflnumstringlstringcharatom,;:..=>←=#<><=>"];
-- 50
appText["=~~~+-***/^.@!|RECORDPOINTERREFVARLISTARRAYSEQUENC"];
-- 100
appText["EDESCRIPTORPROCEDUREPROCPORTSIGNALERRORPROCESSPROG"];
-- 150
appText["RAMMONITORDEFINITIONSZONERELATIVELONGTYPEFRAMETOOR"];
-- 200
appText["DEREDUNCOUNTEDPAINTEDBASEOFRETURNSSAFEUNSAFEPACKED"];
-- 250
appText["MSBITLSBITNATIVEWORD8WORD16WORD32WORD64MONITOREDOV"];
-- 300
appText["ERLAIDCOMPUTEDMACHINEDEPENDENTDIRECTORYIMPORTSEXPO"];
-- 350
appText["RTSSHARESLOCKSUSINGPUBLICPRIVATECEDARCHECKEDTRUSTE"];
-- 400
appText["DUNCHECKEDENTRYINTERNALINLINEREADONLYCODEABSALLAND"];
-- 450
appText["APPLYCONSMAXMINMODNOTORORDPREDLENGTHNEWSTARTSUCCVA"];
-- 500
appText["LFORKJOINLOOPHOLENARROWISTYPEBITSBYTESSIZEUNITSWOR"];
-- 550
appText["DSFIRSTLASTNILTRASHNULLIFTHENELSEWITHFROMFORDECREA"];
-- 600
appText["SINGINTHROUGHUNTILWHILEREPEATFINISHEDRETURNEXITLOO"];
-- 650
appText["PGOTOGOFREEWAITRESTARTNOTIFYBROADCASTSTOPRESUMEREJ"];
-- 700
appText["ECTCONTINUERETRYOPENENABLEANYEXITS)]}ENDENDLOOPEND"];
-- 750
appText["CASE([{BEGINDOSELECTeof"];
tab.length Ź i;
RETURN [tab];
};

InitProdData: PUBLIC PROC RETURNS [ProdDataRef] = {
i: CARDINAL Ź 1;
lag: ProductionInfo Ź [0, 0];
dup: PROC = {tab[i] Ź lag; i Ź i + 1};
appR: PROC [r: CARDINAL] = {lag.rule Ź r; tab[i] Ź lag; i Ź i + 1};
appL: PROC [lhs: CARDINAL] = {lag.lhs Ź lhs; tab[i] Ź lag; i Ź i + 1};
appRL: PROC [r, lhs: CARDINAL] = {tab[i] Ź lag Ź [r, lhs]; i Ź i + 1};
tab: ProdDataRef Ź NEW[ProdData Ź ALL[lag]];
-- 476 entries
appL[2]; dup[]; appRL[1, 3]; dup[];
-- 5
appRL[2, 13]; appR[3]; dup[]; dup[]; appRL[4, 6];
-- 10
dup[]; appRL[5, 7]; appRL[6, 15]; appRL[7, 11]; appRL[8, 23];
-- 15
appRL[9, 12]; dup[]; dup[]; dup[]; appRL[10, 19];
-- 20
appR[237]; appRL[11, 29]; appR[237]; appRL[12, 32]; dup[];
-- 25
appRL[13, 33]; appR[14]; appR[15]; appRL[16, 22]; appR[17];
-- 30
appR[18]; appRL[17, 39]; appRL[19, 34]; appR[20]; appR[21];
-- 35
appRL[22, 40]; dup[]; appL[41]; dup[]; appR[23];
-- 40
appR[24]; appRL[25, 42]; appRL[26, 44]; appR[237]; appRL[26, 46];
-- 45
appR[27]; appR[28]; appR[29]; appRL[30, 31]; appR[237];
-- 50
dup[]; appRL[30, 47]; appR[36]; appR[37]; appR[237];
-- 55
dup[]; appRL[30, 48]; appR[31]; appL[49]; appR[34];
-- 60
appR[35]; dup[]; appRL[32, 50]; appR[33]; appR[237];
-- 65
appRL[36, 52]; dup[]; appR[37]; appR[38]; appR[41];
-- 70
appR[42]; appR[43]; appR[44]; appR[45]; dup[];
-- 75
appR[46]; appR[47]; appR[48]; appR[49]; appR[50];
-- 80
appR[51]; appR[52]; appR[53]; appR[54]; appR[55];
-- 85
appR[56]; appR[57]; appR[58]; appR[59]; appR[60];
-- 90
appR[61]; appR[64]; appR[65]; appR[66]; appR[67];
-- 95
appR[68]; appR[69]; appR[70]; appR[237]; appRL[39, 30];
-- 100
appR[198]; appRL[39, 55]; appR[40]; appR[198]; appRL[47, 61];
-- 105
appR[76]; dup[]; appR[77]; appRL[62, 16]; appR[235];
-- 110
appR[236]; appRL[63, 64]; appR[237]; dup[]; appRL[63, 65];
-- 115
appR[237]; dup[]; appRL[71, 56]; appR[236]; appRL[72, 53];
-- 120
dup[]; appRL[73, 57]; dup[]; dup[]; dup[];
-- 125
appR[74]; appR[75]; appR[236]; appRL[78, 69]; appL[70];
-- 130
appR[79]; appR[80]; appRL[78, 73]; appRL[81, 72]; appR[237];
-- 135
appRL[82, 74]; appRL[83, 68]; dup[]; dup[]; dup[];
-- 140
appR[84]; dup[]; appR[85]; dup[]; appRL[86, 60];
-- 145
appR[87]; appRL[88, 63]; dup[]; appR[89]; appR[90];
-- 150
appR[91]; appR[92]; appR[93]; appRL[94, 36]; appR[235];
-- 155
appR[236]; appRL[95, 78]; appR[96]; appR[97]; dup[];
-- 160
appR[155]; appR[237]; appRL[98, 8]; appRL[99, 80]; dup[];
-- 165
appRL[100, 82]; appR[101]; appR[102]; appR[237]; appRL[101, 83];
-- 170
appR[102]; appR[237]; appRL[103, 86]; appR[104]; appR[105];
-- 175
appR[106]; appR[107]; appR[108]; appR[109]; appR[110];
-- 180
appR[111]; dup[]; appR[112]; appR[113]; appR[114];
-- 185
appR[115]; appR[116]; appR[117]; appR[118]; appR[119];
-- 190
appR[120]; appR[121]; appR[122]; appRL[123, 10]; dup[];
-- 195
appRL[124, 91]; appR[125]; appRL[126, 100]; dup[]; dup[];
-- 200
appRL[127, 97]; appR[236]; appRL[128, 102]; appL[104]; appL[105];
-- 205
appRL[129, 106]; dup[]; appR[130]; appRL[131, 103]; appR[234];
-- 210
appRL[131, 108]; appR[198]; appRL[132, 89]; appR[133]; appR[134];
-- 215
appR[237]; appRL[135, 109]; dup[]; appRL[136, 90]; appR[237];
-- 220
dup[]; appRL[137, 92]; dup[]; appR[138]; dup[];
-- 225
appRL[139, 98]; appR[140]; appR[141]; dup[]; appR[236];
-- 230
appRL[142, 112]; appR[231]; appR[237]; dup[]; appRL[143, 110];
-- 235
appRL[144, 93]; appR[145]; appR[236]; appRL[146, 94]; appR[147];
-- 240
appR[148]; appR[149]; appR[150]; appR[151]; appR[152];
-- 245
appR[153]; appRL[154, 115]; dup[]; appRL[155, 76]; dup[];
-- 250
appR[232]; appR[237]; appRL[155, 116]; appR[237]; dup[];
-- 255
appRL[156, 43]; appR[157]; appR[158]; appR[159]; appR[160];
-- 260
appR[188]; appR[237]; appRL[161, 119]; appR[237]; appRL[162, 120];
-- 265
appR[237]; appRL[163, 121]; dup[]; appR[237]; appRL[164, 122];
-- 270
appR[237]; appRL[164, 123]; appR[237]; appRL[164, 125]; appR[237];
-- 275
appRL[165, 107]; appR[237]; appRL[166, 128]; appR[237]; appRL[167, 129];
-- 280
appR[168]; appR[169]; appR[170]; appR[171]; appR[172];
-- 285
appRL[173, 124]; appR[174]; appRL[175, 126]; appR[176]; appR[177];
-- 290
appRL[178, 127]; appR[179]; appR[237]; appRL[180, 28]; appR[181];
-- 295
appR[182]; appR[183]; appR[184]; appR[185]; appR[186];
-- 300
appR[187]; appR[188]; appR[190]; dup[]; appR[191];
-- 305
dup[]; appR[192]; dup[]; appR[193]; dup[];
-- 310
appR[194]; dup[]; appR[195]; appR[196]; appR[197];
-- 315
appR[237]; appRL[189, 136]; dup[]; appR[190]; appR[191];
-- 320
appR[192]; appR[193]; appR[194]; appR[207]; appR[208];
-- 325
appR[209]; appRL[198, 87]; appR[199]; dup[]; dup[];
-- 330
appR[200]; appR[201]; appR[202]; appR[203]; appR[204];
-- 335
appR[205]; appR[206]; appR[237]; dup[]; appRL[210, 96];
-- 340
appR[236]; appRL[211, 135]; appR[212]; appR[213]; appR[214];
-- 345
appR[215]; appR[216]; appRL[217, 130]; appR[218]; appR[219];
-- 350
appR[220]; appR[221]; appR[222]; appR[223]; appR[224];
-- 355
appR[225]; appRL[226, 134]; appR[227]; appR[228]; appR[229];
-- 360
appRL[230, 137]; appR[237]; appRL[231, 4]; appR[234]; appR[237];
-- 365
appRL[231, 24]; appR[234]; appR[237]; appRL[231, 77]; appR[237];
-- 370
appRL[231, 95]; appR[237]; appRL[231, 131]; appR[237]; appRL[231, 132];
-- 375
appR[237]; appRL[231, 133]; appR[237]; appRL[231, 139]; appR[234];
-- 380
appR[237]; appRL[231, 140]; appR[234]; dup[]; appRL[232, 14];
-- 385
appR[237]; dup[]; appRL[233, 27]; dup[]; appL[54];
-- 390
appR[237]; appRL[233, 67]; dup[]; appL[71]; dup[];
-- 395
appL[81]; dup[]; appL[85]; appR[237]; dup[];
-- 400
appRL[233, 99]; appR[237]; dup[]; appRL[233, 101]; appR[237];
-- 405
dup[]; appRL[233, 113]; dup[]; appL[114]; dup[];
-- 410
appL[118]; appR[237]; dup[]; appRL[233, 141]; dup[];
-- 415
appL[142]; dup[]; appL[143]; dup[]; appL[144];
-- 420
dup[]; appL[145]; dup[]; appL[146]; dup[];
-- 425
appL[147]; dup[]; appL[148]; dup[]; appL[149];
-- 430
dup[]; appL[150]; dup[]; appRL[234, 5]; appL[26];
-- 435
appR[237]; appRL[234, 75]; appL[88]; dup[]; appRL[235, 17];
-- 440
appR[236]; appRL[235, 84]; appR[236]; appL[35]; dup[];
-- 445
appL[58]; dup[]; appL[59]; dup[]; appL[66];
-- 450
dup[]; appL[79]; dup[]; appRL[237, 18]; appL[20];
-- 455
appL[21]; dup[]; appL[25]; dup[]; appL[37];
-- 460
dup[]; appL[38]; dup[]; appL[45]; appL[51];
-- 465
appL[62]; dup[]; appL[111]; appL[117]; dup[];
-- 470
appL[138]; dup[]; appRL[238, 9]; appR[239]; appR[240];
-- 475
appR[241]; RETURN [tab];
};

InitNStarts: PUBLIC PROC RETURNS [NStartsRef] = {
tab: NStartsRef Ź NEW[NStarts Ź [
-- 259 entries
0, 0, 363, 358, 353, 0, 348, 347, 346, 343,
-- 10
341, 338, 1, 2, 3, 337, 334, 4, 332, 5,
-- 20
6, 8, 331, 329, 328, 326, 9, 325, 324, 323,
-- 30
321, 318, 317, 313, 312, 311, 310, 309, 11, 12,
-- 40
13, 308, 14, 15, 91, 17, 305, 304, 303, 15,
-- 50
19, 15, 302, 301, 298, 295, 294, 21, 22, 23,
-- 60
293, 24, 292, 25, 26, 70, 291, 27, 287, 286,
-- 70
28, 29, 30, 31, 32, 33, 34, 35, 36, 37,
-- 80
38, 39, 285, 61, 284, 281, 279, 278, 277, 276,
-- 90
275, 40, 43, 44, 47, 51, 54, 59, 274, 61,
-- 100
62, 65, 68, 271, 268, 267, 266, 69, 70, 72,
-- 110
73, 77, 80, 81, 82, 83, 84, 265, 264, 85,
-- 120
86, 263, 87, 262, 89, 261, 70, 260, 258, 257,
-- 130
256, 254, 253, 90, 252, 91, 251, 93, 248, 94,
-- 140
247, 95, 244, 96, 98, 100, 102, 104, 106, 108,
-- 150
110, 243, 112, 113, 242, 241, 239, 115, 116, 236,
-- 160
235, 234, 232, 229, 228, 227, 118, 119, 120, 121,
-- 170
122, 123, 124, 225, 125, 222, 126, 128, 221, 220,
-- 180
219, 129, 129, 129, 216, 213, 130, 212, 131, 133,
-- 190
211, 206, 205, 204, 136, 203, 202, 137, 138, 201,
-- 200
140, 61, 200, 199, 198, 141, 142, 143, 116, 144,
-- 210
145, 146, 197, 147, 148, 149, 151, 152, 91, 153,
-- 220
196, 91, 116, 196, 194, 154, 155, 193, 192, 156,
-- 230
157, 158, 191, 190, 189, 159, 160, 161, 162, 188,
-- 240
187, 163, 186, 164, 165, 166, 185, 167, 169, 172,
-- 250
184, 183, 173, 182, 181, 180, 179, 174, 178]];
RETURN [tab];
};

InitNLengths: PUBLIC PROC RETURNS [NLengthsRef] = {
tab: NLengthsRef Ź NEW[NLengths Ź [
-- 259 entries
0, 0, 3, 5, 5, 1, 5, 1, 1, 3,
-- 10
2, 3, 1, 1, 1, 1, 3, 1, 2, 1,
-- 20
2, 1, 1, 2, 1, 2, 2, 1, 1, 1,
-- 30
2, 3, 1, 4, 1, 1, 1, 1, 1, 1,
-- 40
1, 1, 1, 2, 2, 2, 3, 1, 1, 2,
-- 50
2, 2, 1, 1, 3, 3, 1, 1, 1, 1,
-- 60
1, 1, 1, 1, 1, 2, 1, 1, 4, 1,
-- 70
1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
-- 80
1, 1, 1, 1, 1, 3, 2, 1, 1, 1,
-- 90
1, 3, 1, 3, 4, 3, 5, 2, 1, 1,
-- 100
3, 3, 1, 3, 3, 1, 1, 1, 2, 1,
-- 110
4, 3, 1, 1, 1, 1, 1, 1, 1, 1,
-- 120
1, 1, 2, 1, 1, 1, 2, 1, 2, 1,
-- 130
1, 2, 1, 1, 1, 2, 1, 1, 3, 1,
-- 140
1, 1, 3, 2, 2, 2, 2, 2, 2, 2,
-- 150
2, 1, 1, 2, 1, 1, 2, 1, 2, 3,
-- 160
1, 1, 2, 3, 1, 1, 1, 1, 1, 1,
-- 170
1, 1, 1, 2, 1, 3, 2, 1, 1, 1,
-- 180
1, 1, 1, 1, 3, 3, 1, 1, 2, 3,
-- 190
1, 5, 1, 1, 1, 1, 1, 1, 2, 1,
-- 200
1, 1, 1, 1, 1, 1, 1, 1, 2, 1,
-- 210
1, 1, 1, 1, 1, 2, 1, 1, 2, 1,
-- 220
1, 2, 2, 1, 2, 1, 1, 1, 1, 1,
-- 230
1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
-- 240
1, 1, 1, 1, 1, 1, 1, 2, 3, 1,
-- 250
1, 1, 1, 1, 1, 1, 1, 4, 1]];
RETURN [tab];
};

InitNSymbols: PUBLIC PROC RETURNS [NSymbolsRef] = {
tab: NSymbolsRef Ź NEW[NSymbols Ź [
-- 366 entries
5, 13, 41, 43, 14, 75, 87, 122, 87, 87,
-- 10
122, 43, 43, 43, 43, 107, 124, 43, 103, 28,
-- 20
87, 87, 41, 8, 16, 14, 14, 88, 43, 81,
-- 30
43, 81, 43, 43, 43, 31, 31, 31, 31, 31,
-- 40
28, 87, 127, 128, 46, 47, 50, 28, 87, 125,
-- 50
127, 28, 87, 127, 28, 87, 123, 125, 127, 43,
-- 60
45, 42, 87, 107, 122, 87, 122, 128, 31, 43,
-- 70
130, 134, 88, 87, 120, 121, 122, 87, 121, 122,
-- 80
81, 31, 88, 88, 31, 26, 26, 28, 87, 40,
-- 90
138, 46, 50, 31, 31, 31, 50, 52, 50, 52,
-- 100
50, 52, 50, 52, 50, 52, 50, 52, 50, 52,
-- 110
50, 52, 43, 43, 45, 51, 46, 51, 43, 43,
-- 120
43, 116, 116, 116, 116, 115, 46, 50, 46, 124,
-- 130
43, 43, 106, 43, 103, 104, 96, 10, 43, 100,
-- 140
27, 43, 43, 31, 96, 31, 50, 31, 31, 43,
-- 150
45, 31, 35, 35, 18, 43, 43, 31, 31, 43,
-- 160
43, 43, 43, 43, 43, 43, 112, 43, 117, 43,
-- 170
78, 117, 96, 91, 5, 50, 52, 68, 19, 30,
-- 180
75, 21, 138, 96, 31, 31, 31, 43, 57, 46,
-- 190
43, 87, 8, 97, 43, 100, 33, 22, 37, 24,
-- 200
140, 31, 32, 22, 43, 55, 5, 50, 52, 67,
-- 210
68, 35, 9, 87, 110, 111, 27, 84, 87, 101,
-- 220
21, 35, 41, 50, 52, 43, 117, 43, 31, 43,
-- 230
76, 117, 5, 73, 21, 30, 50, 52, 61, 30,
-- 240
70, 22, 37, 31, 82, 84, 87, 87, 82, 84,
-- 250
87, 112, 43, 30, 46, 50, 87, 87, 87, 93,
-- 260
88, 9, 43, 87, 43, 22, 31, 37, 50, 52,
-- 270
68, 50, 52, 68, 22, 142, 25, 72, 22, 31,
-- 280
61, 5, 69, 73, 34, 31, 88, 33, 84, 87,
-- 290
99, 43, 43, 43, 43, 82, 84, 87, 82, 84,
-- 300
87, 105, 31, 36, 117, 50, 52, 68, 72, 31,
-- 310
75, 37, 10, 82, 84, 86, 87, 43, 82, 84,
-- 320
87, 43, 102, 91, 96, 37, 50, 52, 81, 80,
-- 330
81, 43, 43, 85, 46, 47, 50, 43, 82, 84,
-- 340
87, 74, 75, 82, 84, 87, 43, 81, 82, 83,
-- 350
84, 86, 87, 82, 83, 84, 86, 87, 82, 83,
-- 360
84, 86, 87, 82, 84, 87]];
RETURN [tab];
};

InitNActions: PUBLIC PROC RETURNS [NActionsRef] = {
i: CARDINAL Ź 0;
dup: PROC = {tab[i] Ź tab[i-1]; i Ź i + 1};
app0: PROC [transition: CARDINAL] = {
tab[i] Ź [[FALSE, 0], transition];
i Ź i + 1;
};
app1: PROC [pLength: CARDINAL, transition: CARDINAL] = {
tab[i] Ź [[FALSE, pLength], transition];
i Ź i + 1;
};
app1t: PROC [transition: CARDINAL] = {
tab[i] Ź [[FALSE, 1], transition];
i Ź i + 1;
};
app2: PROC [pLength: CARDINAL, transition: CARDINAL] = {
tab[i] Ź [[TRUE, pLength], transition];
i Ź i + 1;
};
null: ActionEntry Ź [[FALSE, 0], 0];
tab: NActionsRef Ź NEW[NActions Ź ALL[null]];
-- 366 entries

-- 0
app0[478]; app1[3, 414]; app1[3, 38]; app0[435]; app1[4, 6];
app0[420]; app0[416]; app1[2, 266]; app0[410]; app0[416];
app1[2, 267]; app0[407]; app1t[197]; app0[399]; app0[390];
app1[2, 269]; app0[94]; app1t[207]; app0[388]; app1[2, 291];
-- 20
app0[416]; app0[381]; app1[4, 40]; app0[380]; app0[375];
app1[5, 8]; app1[5, 5]; app0[370]; app0[369]; app0[367];
app0[364]; app0[363]; app0[362]; app0[133]; app0[361];
app0[345]; app0[338]; app0[335]; app0[334]; app0[333];
-- 40
app0[331]; app0[416]; app1[3, 290]; app1[2, 275]; app1t[54];
app1[2, 277]; app0[177]; app0[330]; app0[416]; app0[329];
dup[]; app0[326]; app0[416]; app1[3, 273]; app0[181];
app0[416]; app0[182]; app0[183]; dup[]; app0[325];
-- 60
app1[2, 42]; app0[324]; app0[416]; app1[2, 206]; app1[2, 266];
app0[416]; app1[2, 267]; app1[2, 275]; app1[2, 208]; app1[3, 257];
app1[2, 316]; app1[2, 317]; app0[317]; app0[416]; app0[316];
dup[]; dup[]; app0[416]; app1[3, 264]; dup[];
-- 80
app0[315]; app0[313]; app0[194]; app0[311]; app0[310];
app0[308]; app0[200]; app0[306]; app0[416]; app1[3, 36];
app0[209]; app1[2, 66]; app1[2, 63]; app1[2, 71]; app1t[465];
app1[2, 94]; app0[222]; app1[2, 76]; app0[222]; app1[2, 77];
-- 100
app0[222]; app1[2, 78]; app0[222]; app1[2, 79]; app0[222];
app1[2, 80]; app0[222]; app1[2, 81]; app0[222]; app1[2, 86];
app0[222]; app1[2, 87]; app0[325]; dup[]; app0[295];
app1[2, 61]; app1[2, 67]; app1[2, 60]; app0[280]; app1[3, 199];
-- 120
app1[3, 198]; app0[277]; app1[3, 247]; app1[3, 246]; app1[3, 396];
app1[3, 430]; app1[2, 52]; app1[2, 63]; app1[2, 53]; app0[94];
app1[3, 203]; app1t[207]; app1[3, 426]; app1t[207]; app0[388];
app1[3, 432]; app0[270]; app1[7, 3]; app1t[197]; app1t[419];
-- 140
app0[260]; app0[253]; app0[251]; app1[2, 470]; app0[267];
app0[268]; app1[2, 63]; app1[3, 91]; app1[3, 96]; app0[269];
app0[295]; app1[3, 72]; app0[250]; app0[242]; app1[3, 90];
app0[274]; app0[275]; app1[3, 92]; app1[3, 97]; app0[283];
-- 160
app0[284]; app0[285]; app0[286]; app1[5, 258]; app1[3, 463];
app1[5, 256]; app1[2, 339]; app1t[161]; app1t[160]; app1t[161];
app1[2, 155]; app1t[160]; app0[291]; app0[227]; app0[212];
app0[208]; app0[204]; app0[304]; app0[203]; app0[199];
-- 180
app1[2, 457]; app0[195]; app1[4, 360]; app0[312]; app1[4, 75];
app1[4, 88]; app1[4, 89]; app0[314]; app1[4, 69]; app1[2, 369];
app1[6, 255]; app0[319]; app0[187]; app0[328]; app1t[197];
app1[3, 420]; app1[3, 388]; app0[164]; app0[337]; app0[340];
-- 200
app1[2, 115]; app1[3, 21]; app1[3, 416]; app1[6, 13]; app0[341];
app1[3, 418]; app0[155]; app0[208]; app0[204]; app0[347];
app0[348]; app0[151]; app0[354]; app0[319]; app0[357];
app0[358]; app0[371]; app0[123]; app0[373]; app1[2, 200];
-- 220
app0[117]; app0[106]; app1[3, 38]; app0[208]; app0[204];
app0[383]; app1t[248]; app0[385]; app0[105]; app0[383];
app1[2, 459]; app1t[248]; app0[212]; app1[3, 392]; app0[98];
app0[87]; app0[222]; app1[2, 76]; app1[2, 104]; app0[87];
-- 240
app0[396]; app0[86]; app0[398]; app1[4, 145]; app1[3, 467];
app0[123]; app0[373]; app0[400]; app1[3, 234]; app0[123];
app0[373]; app0[404]; app0[405]; app0[82]; app1t[54];
app0[177]; app0[411]; app0[413]; app0[411]; app1[2, 189];
-- 260
app0[414]; app0[415]; app1t[207]; app0[425]; app0[430];
app0[52]; app0[48]; app1[4, 132]; app0[208]; app0[204];
app1[4, 141]; app0[208]; app0[204]; app1[4, 140]; app1[8, 11];
app0[436]; app1[3, 454]; app1[2, 131]; app0[41]; app0[105];
-- 280
app0[35]; app0[155]; app0[441]; app1[3, 392]; app0[34];
app1[2, 210]; app0[449]; app1[3, 388]; app0[123]; app0[373];
app1[5, 196]; app1[3, 173]; app1[2, 218]; app1[2, 219]; app0[28];
app1[3, 422]; app0[123]; app0[373]; app1[3, 204]; app0[123];
-- 300
app0[373]; app1[3, 428]; app0[27]; app1[6, 25]; app1[3, 249];
app0[208]; app0[204]; app1[5, 143]; app1[3, 129]; app1[4, 107];
app0[459]; app1[4, 128]; app1[6, 156]; app1[4, 165]; app0[18];
app0[465]; app0[373]; app0[466]; app1[3, 202]; app0[123];
-- 320
app0[373]; app1t[207]; app1[3, 424]; app0[470]; app0[471];
app1[7, 26]; app0[208]; app0[204]; app0[475]; app0[476];
app0[475]; app0[477]; app1t[207]; app0[479]; app1t[54];
app1[5, 213]; app0[177]; app1[5, 174]; app1[5, 167]; app0[123];
-- 340
app0[373]; app1[3, 394]; app0[459]; app1[6, 166]; app0[123];
app0[373]; app1[6, 212]; app0[487]; app1[4, 165]; app0[488];
app0[18]; app0[465]; app0[373]; app1[5, 167]; app1[5, 170];
app0[18]; app0[465]; app0[373]; app1[6, 166]; app1[6, 169];
-- 360
app0[18]; app0[465]; app0[373]; app0[493]; app0[123];
app0[373];
RETURN [tab];
};

InitNTDefaults: PUBLIC PROC RETURNS [NTDefaultsRef] = {
i: CARDINAL Ź 2;
dup: PROC = {tab[i] Ź tab[i-1]; i Ź i + 1};
app0: PROC [transition: CARDINAL] = {
tab[i] Ź [[FALSE, 0], transition];
i Ź i + 1;
};
app1: PROC [pLength: CARDINAL, transition: CARDINAL] = {
tab[i] Ź [[FALSE, pLength], transition];
i Ź i + 1;
};
app1t: PROC [transition: CARDINAL] = {
tab[i] Ź [[FALSE, 1], transition];
i Ź i + 1;
};
app2: PROC [pLength: CARDINAL, transition: CARDINAL] = {
tab[i] Ź [[TRUE, pLength], transition];
i Ź i + 1;
};
null: ActionEntry Ź [[FALSE, 0], 0];
tab: NTDefaultsRef Ź NEW[NTDefaults Ź ALL[null]];
-- 151 entries

i Ź i + 1; app0[489]; app0[5];
app0[264]; app0[467]; app0[59]; app0[125]; app0[197];
app1[3, 175]; app0[423]; app1[5, 4]; app1t[413]; app1[2, 7];
app0[61]; app0[346]; app0[307]; app0[258]; app0[372];
-- 20
app0[161]; app0[248]; app0[296]; app0[422]; app0[302];
app0[254]; app0[292]; app0[263]; app0[43]; app1[3, 19];
app0[102]; app1t[134]; app1t[415]; app1t[387]; app0[178];
app0[216]; app0[249]; app0[336]; app1[4, 27]; app0[228];
-- 40
app1t[436]; app1t[433]; app0[468]; app1t[253]; app0[389];
app0[297]; app1t[65]; app1[2, 214]; app0[344]; app0[157];
app0[158]; app1[2, 59]; app1t[50]; app0[343]; app0[278];
app1t[417]; app0[287]; app1[3, 135]; app0[342]; app0[281];
-- 60
app1[3, 70]; app0[154]; app0[299]; app0[225]; app0[259];
app1[2, 453]; app0[339]; app0[303]; app1[3, 142]; app0[349];
app0[395]; app0[458]; app1[2, 130]; app1t[391]; app1t[393];
app0[378]; app0[384]; app0[282]; app1[2, 154]; app0[84];
-- 80
app0[474]; app0[394]; app1t[421]; app0[463]; app0[45];
app0[417]; app1t[168]; app0[434]; app0[392]; app0[374];
app0[424]; app0[293]; app0[482]; app1[2, 182]; app0[121];
app0[376]; app0[271]; app0[327]; app0[184]; app1[3, 195];
-- 100
app0[402]; app0[486]; app1t[423]; app0[418]; app1t[431];
app1t[427]; app1t[425]; app1t[205]; app0[408]; app0[448];
app0[320]; app0[321]; app0[403]; app0[232]; app0[322];
app1t[429]; app1t[395]; app1t[252]; app0[387]; app0[433];
-- 120
app0[432]; dup[]; dup[]; app0[49]; app0[50];
app0[51]; app0[95]; app0[51]; app1t[276]; app0[96];
app0[431]; app0[429]; app0[428]; app0[427]; app0[426];
app0[57]; app1[2, 338]; app0[368]; app0[301]; app0[89];
-- 140
app1t[112]; app0[483]; app0[262]; app0[279]; app0[265];
app0[377]; app0[419]; app0[386]; app0[379]; app0[391];
app0[382];
RETURN [tab];
};

InitTStarts: PUBLIC PROC RETURNS [TStartsRef] = {
tab: TStartsRef Ź NEW[TStarts Ź [
-- 494 entries
0, 0, 1726, 2124, 2124, 7, 2124, 446, 22, 1726,
-- 10
2240, 1726, 21, 7, 22, 22, 552, 77, 1821, 81,
-- 20
83, 124, 22, 446, 446, 1901, 83, 1467, 1205, 735,
-- 30
2171, 1726, 22, 2124, 1217, 1467, 741, 500, 22, 165,
-- 40
22, 1933, 22, 270, 2108, 287, 1901, 2106, 1211, 356,
-- 50
367, 406, 500, 2103, 1726, 2056, 22, 124, 7, 425,
-- 60
22, 428, 22, 433, 433, 2031, 22, 216, 1541, 216,
-- 70
22, 446, 22, 446, 22, 22, 22, 500, 500, 500,
-- 80
500, 500, 500, 2010, 2004, 7, 1966, 1352, 1933, 1226,
-- 90
1931, 83, 545, 552, 83, 83, 83, 22, 1352, 556,
-- 100
559, 608, 500, 1901, 1901, 1467, 500, 22, 662, 216,
-- 110
684, 684, 446, 500, 216, 216, 500, 1352, 22, 735,
-- 120
735, 124, 367, 1821, 741, 731, 743, 216, 1806, 124,
-- 130
1789, 552, 1788, 770, 22, 773, 1293, 500, 1726, 800,
-- 140
124, 500, 1726, 833, 833, 833, 833, 863, 900, 937,
-- 150
974, 500, 22, 22, 1467, 1352, 1687, 1023, 1026, 1690,
-- 160
1687, 1397, 7, 1626, 500, 22, 22, 22, 22, 446,
-- 170
446, 446, 446, 1626, 1047, 1596, 1050, 1055, 1264, 1592,
-- 180
1588, 1069, 1076, 1079, 1541, 1526, 22, 731, 1088, 1146,
-- 190
1264, 1482, 1480, 22, 1205, 1352, 1477, 1217, 165, 500,
-- 200
7, 1474, 1472, 739, 1467, 22, 22, 500, 1461, 1205,
-- 210
500, 1229, 1352, 500, 500, 22, 1233, 1264, 1451, 1264,
-- 220
1449, 1268, 1274, 1447, 165, 1219, 22, 1441, 425, 22,
-- 230
500, 500, 1422, 22, 1413, 22, 22, 22, 22, 1411,
-- 240
22, 22, 500, 22, 22, 1293, 500, 1295, 1295, 1205,
-- 250
500, 1205, 735, 770, 1397, 741, 1392, 1359, 431, 1390,
-- 260
1357, 1393, 1395, 1355, 1352, 1350, 735, 1399, 1400, 1401,
-- 270
1349, 1294, 1291, 1403, 1404, 1405, 1406, 1290, 1408, 1409,
-- 280
1289, 1288, 1416, 1418, 1419, 1420, 1421, 1287, 1284, 1436,
-- 290
1283, 1438, 1439, 1441, 1282, 1280, 1443, 1278, 1267, 1266,
-- 300
1232, 1228, 1226, 1469, 1471, 1224, 1222, 1219, 7, 1476,
-- 310
1216, 1215, 1478, 1211, 1479, 1209, 1207, 1205, 1515, 1516,
-- 320
1520, 1522, 1524, 1087, 1086, 1085, 1067, 1590, 1591, 1063,
-- 330
1058, 1048, 1045, 1043, 1041, 1039, 1680, 1682, 1037, 1036,
-- 340
1684, 1686, 1034, 1031, 1021, 1019, 1012, 1722, 1724, 1725,
-- 350
1011, 832, 831, 799, 1768, 1293, 780, 1771, 1772, 1773,
-- 360
1777, 772, 770, 768, 767, 1804, 1805, 765, 764, 762,
-- 370
742, 1820, 739, 1880, 1885, 737, 1888, 1889, 1891, 1892,
-- 380
731, 727, 660, 1894, 1896, 1898, 658, 657, 656, 555,
-- 390
544, 542, 541, 1933, 539, 1964, 1965, 536, 1998, 535,
-- 400
1999, 2003, 534, 2007, 2008, 2009, 531, 530, 2013, 2016,
-- 410
442, 2017, 2021, 2022, 2026, 1217, 438, 2027, 2028, 2029,
-- 420
437, 435, 431, 426, 2051, 2052, 424, 423, 422, 421,
-- 430
2105, 420, 353, 351, 346, 285, 2117, 216, 163, 162,
-- 440
161, 2119, 2120, 160, 2122, 2123, 159, 158, 2166, 2167,
-- 450
2168, 2169, 157, 156, 155, 154, 152, 151, 2230, 2232,
-- 460
150, 137, 136, 2233, 80, 2234, 2236, 75, 73, 20,
-- 470
2237, 2239, 18, 1411, 2242, 2244, 2246, 2248, 16, 2249,
-- 480
13, 1588, 2250, 11, 8, 2251, 2253, 2255, 2257, 5,
-- 490
2258, 3, 1, 2259]];
RETURN [tab];
};

InitTLengths: PUBLIC PROC RETURNS [TLengthsRef] = {
tab: TLengthsRef Ź NEW[TLengths Ź [
-- 494 entries
0, 1, 42, 42, 42, 1, 42, 54, 51, 42,
-- 10
2, 42, 1, 1, 51, 51, 3, 3, 59, 2,
-- 20
41, 12, 51, 54, 54, 30, 41, 2, 2, 2,
-- 30
59, 42, 51, 42, 2, 2, 1, 30, 51, 51,
-- 40
51, 31, 51, 15, 9, 59, 30, 2, 4, 11,
-- 50
39, 14, 30, 2, 42, 47, 51, 12, 1, 1,
-- 60
51, 3, 51, 2, 2, 20, 51, 54, 47, 54,
-- 70
51, 54, 51, 54, 51, 51, 51, 30, 30, 30,
-- 80
30, 30, 30, 3, 3, 1, 32, 3, 31, 2,
-- 90
2, 41, 7, 3, 41, 41, 41, 51, 3, 3,
-- 100
49, 48, 30, 30, 30, 2, 30, 51, 22, 54,
-- 110
43, 43, 54, 30, 54, 54, 30, 3, 51, 2,
-- 120
2, 12, 39, 59, 1, 4, 19, 54, 14, 12,
-- 130
15, 3, 1, 2, 51, 7, 1, 30, 42, 31,
-- 140
12, 30, 42, 30, 30, 30, 30, 37, 37, 37,
-- 150
37, 30, 51, 51, 2, 3, 3, 3, 5, 32,
-- 160
3, 2, 1, 54, 30, 51, 51, 51, 51, 54,
-- 170
54, 54, 54, 54, 1, 30, 5, 3, 2, 4,
-- 180
2, 7, 3, 6, 47, 15, 51, 4, 58, 59,
-- 190
2, 33, 2, 51, 2, 3, 1, 2, 51, 30,
-- 200
1, 2, 2, 2, 2, 51, 51, 30, 6, 2,
-- 210
30, 3, 3, 30, 30, 51, 31, 2, 10, 2,
-- 220
2, 6, 4, 2, 51, 3, 51, 2, 1, 51,
-- 230
30, 30, 14, 51, 3, 51, 51, 51, 51, 2,
-- 240
51, 51, 30, 51, 51, 1, 30, 54, 54, 2,
-- 250
30, 2, 2, 2, 2, 1, 1, 31, 2, 2,
-- 260
2, 2, 2, 2, 3, 2, 2, 1, 1, 2,
-- 270
1, 1, 2, 1, 1, 1, 2, 1, 1, 2,
-- 280
1, 1, 2, 1, 1, 1, 1, 1, 3, 2,
-- 290
1, 1, 2, 2, 1, 2, 4, 2, 1, 1,
-- 300
1, 1, 2, 2, 1, 2, 2, 3, 1, 1,
-- 310
1, 1, 1, 4, 1, 2, 2, 2, 1, 4,
-- 320
2, 2, 2, 1, 1, 1, 2, 1, 1, 4,
-- 330
5, 2, 2, 2, 2, 2, 2, 2, 2, 1,
-- 340
2, 1, 2, 3, 2, 2, 7, 2, 1, 1,
-- 350
1, 1, 1, 1, 3, 1, 19, 1, 1, 4,
-- 360
11, 1, 2, 2, 1, 1, 1, 2, 1, 2,
-- 370
1, 1, 2, 5, 3, 2, 1, 2, 1, 2,
-- 380
4, 4, 2, 2, 2, 3, 2, 1, 1, 1,
-- 390
1, 2, 1, 31, 2, 1, 1, 3, 1, 1,
-- 400
4, 1, 1, 1, 1, 1, 3, 1, 3, 1,
-- 410
4, 4, 1, 4, 1, 2, 4, 1, 1, 2,
-- 420
1, 2, 2, 2, 1, 4, 1, 1, 1, 1,
-- 430
1, 1, 3, 2, 5, 2, 2, 54, 2, 1,
-- 440
1, 1, 2, 1, 1, 1, 1, 1, 1, 1,
-- 450
1, 2, 1, 1, 1, 1, 2, 1, 2, 1,
-- 460
1, 13, 1, 1, 1, 2, 1, 2, 2, 1,
-- 470
2, 1, 2, 2, 2, 2, 2, 1, 2, 1,
-- 480
3, 2, 1, 2, 3, 2, 2, 2, 1, 2,
-- 490
1, 2, 2, 2]];
RETURN [tab];
};

InitTSymbols: PUBLIC PROC RETURNS [TSymbolsRef] = {
tab: TSymbolsRef Ź NEW[TSymbols Ź [
-- 2261 entries
29, 77, 0, 1, 10, 12, 29, 1, 11, 82,
-- 10
0, 9, 10, 9, 11, 164, 85, 0, 53, 130,
-- 20
165, 1, 1, 2, 3, 4, 5, 6, 7, 8,
-- 30
21, 23, 24, 30, 37, 40, 44, 45, 52, 59,
-- 40
93, 94, 95, 97, 98, 99, 100, 102, 104, 105,
-- 50
106, 107, 108, 109, 110, 111, 112, 113, 114, 115,
-- 60
116, 117, 118, 119, 120, 121, 122, 123, 126, 129,
-- 70
164, 165, 169, 9, 11, 49, 0, 1, 82, 0,
-- 80
5, 1, 159, 1, 2, 3, 4, 5, 6, 7,
-- 90
8, 23, 24, 30, 37, 40, 52, 59, 93, 94,
-- 100
95, 97, 98, 99, 100, 104, 105, 106, 107, 109,
-- 110
110, 113, 114, 115, 116, 117, 118, 119, 120, 121,
-- 120
122, 123, 164, 165, 1, 2, 3, 4, 5, 6,
-- 130
7, 8, 97, 113, 114, 164, 165, 1, 2, 3,
-- 140
4, 5, 6, 7, 8, 97, 113, 114, 164, 0,
-- 150
165, 165, 165, 0, 165, 165, 165, 165, 165, 165,
-- 160
165, 165, 165, 165, 0, 1, 2, 3, 4, 5,
-- 170
6, 7, 8, 21, 23, 24, 30, 37, 40, 44,
-- 180
45, 52, 59, 93, 94, 95, 97, 98, 99, 100,
-- 190
102, 104, 105, 106, 107, 108, 109, 110, 111, 112,
-- 200
113, 114, 115, 116, 117, 118, 119, 120, 121, 122,
-- 210
123, 126, 129, 164, 165, 169, 1, 2, 3, 4,
-- 220
5, 6, 7, 8, 21, 23, 24, 30, 37, 40,
-- 230
44, 45, 52, 59, 93, 94, 95, 97, 98, 99,
-- 240
100, 102, 104, 105, 106, 107, 108, 109, 110, 111,
-- 250
112, 113, 114, 115, 116, 117, 118, 119, 120, 121,
-- 260
122, 123, 124, 125, 126, 129, 164, 165, 169, 0,
-- 270
15, 16, 17, 18, 19, 20, 23, 24, 25, 26,
-- 280
27, 101, 102, 133, 0, 11, 0, 1, 2, 3,
-- 290
4, 5, 6, 7, 8, 15, 16, 17, 18, 19,
-- 300
20, 21, 23, 24, 30, 37, 40, 44, 45, 52,
-- 310
59, 93, 94, 95, 97, 98, 99, 100, 102, 104,
-- 320
105, 106, 107, 108, 109, 110, 111, 112, 113, 114,
-- 330
115, 116, 117, 118, 119, 120, 121, 122, 123, 126,
-- 340
129, 133, 164, 165, 169, 0, 14, 28, 29, 165,
-- 350
0, 103, 0, 96, 103, 0, 15, 16, 17, 18,
-- 360
19, 20, 23, 24, 102, 133, 0, 1, 2, 3,
-- 370
4, 5, 6, 7, 8, 30, 37, 40, 52, 59,
-- 380
93, 94, 95, 97, 98, 99, 100, 104, 105, 106,
-- 390
107, 109, 110, 113, 114, 115, 116, 117, 118, 119,
-- 400
120, 121, 122, 123, 164, 165, 15, 16, 17, 18,
-- 410
19, 20, 23, 24, 25, 27, 101, 102, 133, 0,
-- 420
165, 165, 165, 165, 165, 0, 166, 167, 62, 63,
-- 430
0, 81, 0, 82, 0, 9, 0, 159, 28, 29,
-- 440
165, 0, 28, 29, 165, 0, 1, 2, 3, 4,
-- 450
5, 6, 7, 8, 21, 23, 24, 30, 37, 40,
-- 460
44, 45, 52, 59, 93, 94, 95, 97, 98, 99,
-- 470
100, 102, 104, 105, 106, 107, 108, 109, 110, 111,
-- 480
112, 113, 114, 115, 116, 117, 118, 119, 120, 121,
-- 490
122, 123, 124, 125, 126, 129, 164, 165, 169, 0,
-- 500
1, 33, 34, 35, 36, 37, 38, 40, 50, 52,
-- 510
54, 56, 57, 59, 62, 63, 64, 65, 66, 67,
-- 520
68, 69, 70, 71, 72, 75, 164, 165, 166, 0,
-- 530
127, 11, 22, 0, 169, 158, 11, 21, 0, 9,
-- 540
0, 159, 9, 0, 130, 15, 16, 17, 18, 19,
-- 550
20, 133, 1, 164, 165, 158, 11, 164, 0, 1,
-- 560
2, 3, 4, 5, 6, 7, 8, 15, 16, 17,
-- 570
18, 19, 20, 23, 24, 30, 37, 40, 52, 59,
-- 580
93, 94, 95, 97, 98, 99, 100, 102, 104, 105,
-- 590
106, 107, 109, 110, 113, 114, 115, 116, 117, 118,
-- 600
119, 120, 121, 122, 123, 133, 164, 165, 1, 2,
-- 610
3, 4, 5, 6, 7, 8, 15, 16, 17, 18,
-- 620
19, 20, 23, 24, 30, 37, 40, 52, 59, 93,
-- 630
94, 95, 97, 98, 99, 100, 104, 105, 106, 107,
-- 640
109, 110, 113, 114, 115, 116, 117, 118, 119, 120,
-- 650
121, 122, 123, 133, 164, 165, 13, 163, 9, 0,
-- 660
9, 0, 1, 37, 52, 59, 93, 94, 98, 99,
-- 670
100, 104, 105, 106, 107, 109, 116, 117, 118, 119,
-- 680
120, 121, 122, 123, 1, 2, 3, 4, 5, 6,
-- 690
7, 8, 21, 23, 24, 30, 37, 40, 52, 59,
-- 700
93, 94, 95, 97, 98, 99, 100, 102, 104, 105,
-- 710
106, 107, 109, 110, 113, 114, 115, 116, 117, 118,
-- 720
119, 120, 121, 122, 123, 164, 165, 28, 29, 165,
-- 730
0, 86, 87, 88, 0, 154, 0, 47, 48, 78,
-- 740
0, 1, 159, 1, 52, 59, 93, 94, 99, 100,
-- 750
104, 105, 106, 109, 116, 117, 118, 119, 120, 121,
-- 760
122, 123, 9, 0, 159, 9, 159, 9, 9, 159,
-- 770
9, 0, 9, 1, 29, 51, 58, 164, 165, 0,
-- 780
9, 10, 13, 14, 15, 21, 31, 60, 78, 79,
-- 790
80, 92, 130, 132, 133, 159, 160, 161, 0, 60,
-- 800
1, 33, 34, 35, 36, 37, 38, 40, 50, 52,
-- 810
54, 56, 57, 59, 60, 62, 63, 64, 65, 66,
-- 820
67, 68, 69, 70, 71, 72, 75, 164, 165, 166,
-- 830
0, 131, 165, 1, 33, 34, 35, 36, 37, 38,
-- 840
40, 50, 52, 54, 56, 57, 59, 62, 63, 64,
-- 850
65, 66, 67, 68, 69, 70, 71, 72, 75, 164,
-- 860
165, 166, 0, 1, 33, 34, 35, 36, 37, 38,
-- 870
40, 41, 42, 43, 44, 45, 46, 47, 50, 52,
-- 880
54, 56, 57, 59, 62, 63, 64, 65, 66, 67,
-- 890
68, 69, 70, 71, 72, 75, 164, 165, 166, 0,
-- 900
1, 33, 34, 35, 36, 37, 38, 40, 41, 42,
-- 910
43, 44, 45, 46, 47, 50, 52, 54, 56, 57,
-- 920
59, 62, 63, 64, 65, 66, 67, 68, 69, 70,
-- 930
71, 72, 75, 164, 165, 166, 0, 1, 33, 34,
-- 940
35, 36, 37, 38, 40, 41, 42, 43, 44, 45,
-- 950
46, 47, 50, 52, 54, 56, 57, 59, 62, 63,
-- 960
64, 65, 66, 67, 68, 69, 70, 71, 72, 75,
-- 970
164, 165, 166, 0, 1, 33, 34, 35, 36, 37,
-- 980
38, 40, 41, 42, 43, 44, 45, 46, 47, 50,
-- 990
52, 54, 56, 57, 59, 62, 63, 64, 65, 66,
-- 1000
67, 68, 69, 70, 71, 72, 75, 164, 165, 166,
-- 1010
0, 76, 41, 42, 43, 44, 45, 46, 47, 9,
-- 1020
159, 29, 0, 29, 165, 0, 51, 58, 164, 165,
-- 1030
0, 72, 166, 0, 59, 0, 50, 9, 159, 9,
-- 1040
159, 9, 159, 9, 159, 14, 0, 1, 26, 0,
-- 1050
1, 29, 164, 165, 0, 164, 165, 0, 25, 26,
-- 1060
27, 101, 0, 25, 27, 101, 0, 26, 0, 23,
-- 1070
24, 25, 26, 27, 101, 0, 23, 24, 0, 23,
-- 1080
24, 25, 27, 101, 0, 12, 11, 13, 1, 2,
-- 1090
3, 4, 5, 6, 7, 8, 15, 16, 17, 18,
-- 1100
19, 20, 21, 23, 24, 30, 37, 40, 44, 45,
-- 1110
52, 59, 93, 94, 95, 97, 98, 99, 100, 102,
-- 1120
104, 105, 106, 107, 108, 109, 110, 111, 112, 113,
-- 1130
114, 115, 116, 117, 118, 119, 120, 121, 122, 123,
-- 1140
126, 129, 133, 164, 165, 169, 1, 2, 3, 4,
-- 1150
5, 6, 7, 8, 15, 16, 17, 18, 19, 20,
-- 1160
21, 23, 24, 30, 37, 40, 44, 45, 52, 59,
-- 1170
93, 94, 95, 97, 98, 99, 100, 102, 104, 105,
-- 1180
106, 107, 108, 109, 110, 111, 112, 113, 114, 115,
-- 1190
116, 117, 118, 119, 120, 121, 122, 123, 126, 129,
-- 1200
133, 164, 165, 169, 0, 31, 0, 96, 0, 9,
-- 1210
159, 14, 15, 21, 0, 159, 159, 166, 167, 156,
-- 1220
165, 0, 82, 0, 1, 0, 80, 0, 159, 1,
-- 1230
29, 0, 1, 1, 33, 34, 35, 36, 37, 38,
-- 1240
40, 50, 52, 54, 56, 57, 59, 62, 63, 64,
-- 1250
65, 66, 67, 68, 69, 70, 71, 72, 75, 156,
-- 1260
164, 165, 166, 0, 92, 0, 60, 1, 1, 29,
-- 1270
51, 58, 164, 165, 51, 58, 164, 165, 158, 159,
-- 1280
158, 159, 1, 1, 1, 164, 0, 33, 34, 128,
-- 1290
130, 11, 21, 0, 159, 1, 2, 3, 4, 5,
-- 1300
6, 7, 8, 21, 23, 24, 30, 37, 40, 44,
-- 1310
45, 52, 59, 93, 94, 95, 97, 98, 99, 100,
-- 1320
102, 104, 105, 106, 107, 108, 109, 110, 111, 112,
-- 1330
113, 114, 115, 116, 117, 118, 119, 120, 121, 122,
-- 1340
123, 124, 125, 126, 129, 164, 165, 169, 0, 159,
-- 1350
9, 10, 83, 84, 0, 10, 160, 10, 161, 1,
-- 1360
33, 34, 35, 36, 37, 38, 40, 50, 52, 54,
-- 1370
56, 57, 59, 62, 63, 64, 65, 66, 67, 68,
-- 1380
69, 70, 71, 72, 75, 159, 164, 165, 166, 0,
-- 1390
61, 0, 1, 11, 0, 9, 0, 15, 21, 159,
-- 1400
159, 12, 159, 159, 159, 159, 164, 0, 160, 9,
-- 1410
0, 125, 165, 164, 165, 0, 55, 0, 159, 159,
-- 1420
159, 159, 1, 2, 3, 4, 5, 6, 7, 8,
-- 1430
97, 113, 114, 156, 164, 0, 165, 0, 159, 155,
-- 1440
0, 157, 0, 53, 89, 90, 0, 1, 160, 1,
-- 1450
161, 1, 9, 11, 14, 29, 51, 58, 164, 165,
-- 1460
0, 14, 51, 58, 164, 165, 0, 14, 0, 9,
-- 1470
159, 159, 156, 165, 11, 164, 1, 1, 159, 158,
-- 1480
1, 164, 1, 33, 34, 35, 36, 37, 38, 39,
-- 1490
40, 50, 52, 54, 56, 57, 59, 62, 63, 64,
-- 1500
65, 66, 67, 68, 69, 70, 71, 72, 75, 159,
-- 1510
164, 165, 166, 169, 0, 13, 28, 29, 165, 0,
-- 1520
10, 0, 10, 0, 9, 13, 1, 2, 3, 4,
-- 1530
5, 6, 7, 8, 97, 113, 114, 156, 164, 166,
-- 1540
167, 1, 2, 3, 4, 5, 6, 7, 8, 44,
-- 1550
45, 97, 108, 112, 113, 114, 125, 126, 129, 131,
-- 1560
134, 135, 136, 137, 139, 140, 141, 142, 143, 144,
-- 1570
145, 146, 147, 148, 149, 150, 151, 152, 153, 157,
-- 1580
160, 161, 162, 164, 165, 168, 169, 0, 1, 0,
-- 1590
160, 161, 15, 21, 165, 0, 1, 33, 34, 35,
-- 1600
36, 37, 38, 40, 50, 52, 54, 56, 57, 59,
-- 1610
62, 63, 64, 65, 66, 67, 68, 69, 70, 71,
-- 1620
72, 75, 164, 165, 166, 0, 1, 2, 3, 4,
-- 1630
5, 6, 7, 8, 21, 23, 24, 30, 37, 40,
-- 1640
44, 45, 52, 59, 93, 94, 95, 97, 98, 99,
-- 1650
100, 102, 104, 105, 106, 107, 108, 109, 110, 111,
-- 1660
112, 113, 114, 115, 116, 117, 118, 119, 120, 121,
-- 1670
122, 123, 124, 125, 126, 129, 164, 165, 169, 0,
-- 1680
9, 0, 9, 0, 79, 0, 158, 1, 73, 74,
-- 1690
1, 33, 34, 35, 36, 37, 38, 39, 40, 50,
-- 1700
52, 54, 56, 57, 59, 62, 63, 64, 65, 66,
-- 1710
67, 68, 69, 70, 71, 72, 75, 164, 165, 166,
-- 1720
169, 0, 9, 159, 159, 159, 1, 2, 3, 4,
-- 1730
5, 6, 7, 8, 44, 45, 97, 108, 112, 113,
-- 1740
114, 125, 126, 129, 131, 134, 135, 136, 139, 140,
-- 1750
141, 142, 143, 144, 145, 146, 147, 148, 149, 150,
-- 1760
151, 152, 153, 164, 165, 168, 169, 0, 75, 91,
-- 1770
0, 10, 10, 9, 11, 164, 0, 10, 128, 137,
-- 1780
138, 157, 159, 160, 161, 162, 163, 0, 1, 1,
-- 1790
2, 3, 4, 5, 6, 7, 8, 97, 113, 114,
-- 1800
129, 164, 165, 0, 1, 55, 1, 2, 3, 4,
-- 1810
5, 6, 7, 8, 97, 113, 114, 164, 165, 0,
-- 1820
10, 1, 2, 3, 4, 5, 6, 7, 8, 15,
-- 1830
16, 17, 18, 19, 20, 21, 23, 24, 30, 37,
-- 1840
40, 44, 45, 52, 59, 93, 94, 95, 97, 98,
-- 1850
99, 100, 102, 104, 105, 106, 107, 108, 109, 110,
-- 1860
111, 112, 113, 114, 115, 116, 117, 118, 119, 120,
-- 1870
121, 122, 123, 126, 129, 133, 164, 165, 169, 0,
-- 1880
14, 28, 29, 165, 0, 135, 136, 0, 165, 10,
-- 1890
0, 13, 10, 0, 32, 0, 9, 0, 11, 12,
-- 1900
0, 1, 33, 34, 35, 36, 37, 38, 40, 50,
-- 1910
52, 54, 56, 57, 59, 62, 63, 64, 65, 66,
-- 1920
67, 68, 69, 70, 71, 72, 75, 164, 165, 166,
-- 1930
0, 1, 0, 1, 25, 33, 34, 35, 36, 37,
-- 1940
38, 40, 50, 52, 54, 56, 57, 59, 62, 63,
-- 1950
64, 65, 66, 67, 68, 69, 70, 71, 72, 75,
-- 1960
164, 165, 166, 0, 60, 130, 1, 33, 34, 35,
-- 1970
36, 37, 38, 39, 40, 50, 52, 54, 56, 57,
-- 1980
59, 62, 63, 64, 65, 66, 67, 68, 69, 70,
-- 1990
71, 72, 75, 164, 165, 166, 169, 0, 159, 28,
-- 2000
29, 165, 0, 93, 89, 90, 0, 160, 161, 127,
-- 2010
11, 164, 0, 14, 132, 0, 45, 28, 29, 165,
-- 2020
0, 1, 28, 29, 165, 0, 159, 163, 13, 10,
-- 2030
0, 1, 52, 59, 93, 94, 99, 100, 104, 105,
-- 2040
106, 109, 116, 117, 118, 119, 120, 121, 122, 123,
-- 2050
144, 168, 28, 29, 165, 0, 1, 2, 3, 4,
-- 2060
5, 6, 7, 8, 44, 45, 97, 108, 112, 113,
-- 2070
114, 125, 126, 129, 131, 134, 135, 136, 137, 139,
-- 2080
140, 141, 142, 143, 144, 145, 146, 147, 148, 149,
-- 2090
150, 151, 152, 153, 157, 160, 161, 162, 164, 165,
-- 2100
168, 169, 0, 1, 0, 159, 124, 125, 1, 9,
-- 2110
14, 29, 51, 58, 164, 165, 0, 9, 0, 159,
-- 2120
166, 167, 10, 10, 1, 2, 3, 4, 5, 6,
-- 2130
7, 8, 44, 45, 97, 108, 112, 113, 114, 125,
-- 2140
126, 129, 131, 134, 135, 136, 139, 140, 141, 142,
-- 2150
143, 144, 145, 146, 147, 148, 149, 150, 151, 152,
-- 2160
153, 164, 165, 168, 169, 0, 133, 159, 14, 13,
-- 2170
0, 1, 2, 3, 4, 5, 6, 7, 8, 15,
-- 2180
16, 17, 18, 19, 20, 21, 23, 24, 30, 37,
-- 2190
40, 44, 45, 52, 59, 93, 94, 95, 97, 98,
-- 2200
99, 100, 102, 104, 105, 106, 107, 108, 109, 110,
-- 2210
111, 112, 113, 114, 115, 116, 117, 118, 119, 120,
-- 2220
121, 122, 123, 126, 129, 133, 164, 165, 169, 0,
-- 2230
9, 163, 13, 128, 128, 0, 9, 137, 0, 159,
-- 2240
1, 163, 10, 160, 9, 0, 10, 161, 127, 163,
-- 2250
162, 13, 0, 138, 0, 9, 0, 128, 13, 10,
-- 2260
0]];
RETURN [tab];
};

InitTActions: PUBLIC PROC RETURNS [TActionsRef] = {
i: CARDINAL Ź 0;
dup: PROC = {tab[i] Ź tab[i-1]; i Ź i + 1};
app0: PROC [transition: CARDINAL] = {
tab[i] Ź [[FALSE, 0], transition];
i Ź i + 1;
};
app1: PROC [pLength: CARDINAL, transition: CARDINAL] = {
tab[i] Ź [[FALSE, pLength], transition];
i Ź i + 1;
};
app1t: PROC [transition: CARDINAL] = {
tab[i] Ź [[FALSE, 1], transition];
i Ź i + 1;
};
app2: PROC [pLength: CARDINAL, transition: CARDINAL] = {
tab[i] Ź [[TRUE, pLength], transition];
i Ź i + 1;
};
null: ActionEntry Ź [[FALSE, 0], 0];
tab: TActionsRef Ź NEW[TActions Ź ALL[null]];
-- 2261 entries

split0: PROC = {
-- 0
app0[492]; app0[491]; app2[0, 364]; app0[484]; app1[2, 362];
app1[3, 2]; app1[3, 1]; app0[480]; app0[472]; app0[469];
app2[0, 386]; app0[12]; app1[3, 363]; app0[13]; app1[2, 37];
app0[14]; app1t[9]; app2[0, 10]; app0[17]; app0[464];
-- 20
app0[19]; app0[484]; app1t[326]; app1t[327]; app1t[329];
app1t[330]; app1t[328]; app1t[332]; app1t[331]; app1t[333];
app0[20]; app1t[285]; app1t[286]; app0[21]; app1t[376];
app0[462]; app1t[341]; app0[461]; app1t[347]; app1t[354];
-- 40
app1t[356]; app1t[348]; app0[460]; app0[457]; app1t[374];
app1t[353]; app1t[352]; app0[26]; app1t[351]; app1t[349];
app1t[355]; app0[456]; app1t[343]; app1t[350]; app0[455];
app1t[346]; app1t[344]; app0[454]; app0[453]; app0[452];
-- 60
app0[447]; app0[446]; app0[443]; app0[440]; app0[439];
app1t[357]; app1t[358]; app0[438]; app0[38]; app0[39];
app0[40]; app0[437]; app0[42]; app0[58]; app1[3, 39];
app1t[14]; app2[0, 12]; app0[63]; app0[469]; app2[0, 386];
-- 80
app0[64]; app0[421]; app1[3, 384]; app1t[326]; app1t[327];
app1t[329]; app1t[330]; app1t[328]; app1t[332]; app1t[331];
app1t[333]; app1t[285]; app1t[286]; app0[21]; app1t[376];
app0[462]; app1t[347]; app1t[354]; app1t[356]; app1t[348];
-- 100
app0[460]; app0[457]; app1t[374]; app1t[353]; app1t[352];
app1t[351]; app1t[349]; app1t[355]; app1t[372]; app1t[350];
app0[455]; app0[454]; app0[453]; app0[452]; app0[447];
app0[446]; app0[443]; app0[440]; app0[439]; app1t[357];
-- 120
app1t[358]; app0[438]; app0[40]; app0[67]; app1t[326];
app1t[327]; app1t[329]; app1t[330]; app1t[328]; app1t[332];
app1t[331]; app1t[333]; app0[457]; app0[454]; app0[453];
app0[40]; app0[70]; app2[1, 342]; dup[]; dup[];
-- 140
dup[]; dup[]; dup[]; dup[]; dup[];
dup[]; dup[]; dup[]; dup[]; app2[1, 259];
app0[71]; app0[72]; app2[1, 372]; app2[1, 345]; app0[73];
app0[74]; app0[75]; app0[76]; app0[77]; app0[78];
-- 160
app0[79]; app0[80]; app0[81]; app2[1, 359]; app2[1, 300];
app0[406]; app1t[327]; app1t[329]; app1t[330]; app1t[328];
app1t[332]; app1t[331]; app1t[333]; app0[20]; app1t[285];
app1t[286]; app0[21]; app1t[376]; app0[462]; app1t[341];
-- 180
app0[461]; app1t[347]; app1t[354]; app1t[356]; app1t[348];
app0[460]; app0[457]; app1t[374]; app1t[353]; app1t[352];
app0[26]; app1t[351]; app1t[349]; app1t[355]; app0[456];
app1t[343]; app1t[350]; app0[455]; app1t[346]; app1t[344];
-- 200
app0[454]; app0[453]; app0[452]; app0[447]; app0[446];
app0[443]; app0[440]; app0[439]; app1t[357]; app1t[358];
app0[438]; app0[38]; app0[39]; app0[40]; app0[437];
app0[42]; app0[397]; app1t[327]; app1t[329]; app1t[330];
-- 220
app1t[328]; app1t[332]; app1t[331]; app1t[333]; app0[20];
app1t[285]; app1t[286]; app0[21]; app1t[376]; app0[462];
app1t[341]; app0[461]; app1t[347]; app1t[354]; app1t[356];
app1t[348]; app0[460]; app0[457]; app1t[374]; app1t[353];
-- 240
app1t[352]; app0[26]; app1t[351]; app1t[349]; app1t[355];
app0[456]; app1t[343]; app1t[350]; app0[455]; app1t[346];
app1t[344]; app0[454]; app0[453]; app0[452]; app0[447];
app0[446]; app0[443]; app0[440]; app0[439]; app1t[357];
-- 260
app1t[358]; app0[438]; app1t[468]; app1t[469]; app0[38];
app0[39]; app0[40]; app0[437]; app0[42]; app2[0, 254];
app1t[279]; app1t[280]; app1t[281]; app1t[283]; app1t[282];
app1t[284]; app1t[285]; app1t[286]; app1t[287]; app0[91];
-- 280
app1t[288]; app1t[289]; app0[92]; app0[93]; app2[1, 270];
app0[97]; app2[0, 43]; app0[99]; app1t[327]; app1t[329];
app1t[330]; app1t[328]; app1t[332]; app1t[331]; app1t[333];
app1t[279]; app1t[280]; app1t[281]; app1t[283]; app1t[282];
-- 300
app1t[284]; app0[100]; app1t[285]; app1t[286]; app0[21];
app1t[376]; app0[462]; app1t[341]; app0[461]; app1t[347];
app1t[354]; app1t[356]; app1t[348]; app0[460]; app0[457];
app1t[374]; app1t[353]; app1t[352]; app0[101]; app1t[351];
-- 320
app1t[349]; app1t[355]; app0[456]; app1t[343]; app1t[350];
app0[455]; app1t[346]; app1t[344]; app0[454]; app0[453];
app0[452]; app0[447]; app0[446]; app0[443]; app0[440];
app0[439]; app1t[357]; app1t[358]; app0[438]; app0[38];
-- 340
app0[39]; app0[93]; app0[40]; app0[437]; app0[42];
app2[0, 410]; app0[107]; app1t[325]; app0[108]; app0[109];
app2[1, 315]; app0[110]; app2[1, 261]; app0[111]; app0[110];
app2[1, 261]; app1t[279]; app1t[280]; app1t[281]; app1t[283];
-- 360
app1t[282]; app1t[284]; app1t[285]; app1t[286]; app0[92];
app0[93]; app2[1, 270]; app1t[326]; app1t[327]; app1t[329];
app1t[330]; app1t[328]; app1t[332]; app1t[331]; app1t[333];
app0[21]; app1t[376]; app0[462]; app1t[347]; app1t[354];
-- 380
app1t[356]; app1t[348]; app0[460]; app0[457]; app1t[374];
app1t[353]; app1t[352]; app1t[351]; app1t[349]; app1t[355];
app1t[372]; app1t[350]; app0[455]; app0[454]; app0[453];
app0[452]; app0[447]; app0[446]; app0[443]; app0[440];
-- 400
app0[439]; app1t[357]; app1t[358]; app0[438]; app0[40];
app0[67]; app1t[279]; app1t[280]; app1t[281]; app1t[283];
app1t[282]; app1t[284]; app1t[285]; app1t[286]; app1t[287];
app1t[288]; app1t[289]; app0[92]; app0[93]; app2[1, 270];
-- 420
app0[112]; app0[113]; app0[114]; app0[115]; app0[116];
app2[0, 162]; app0[119]; app0[120]; app1t[110]; app1t[109];
app2[0, 108]; app0[122]; app2[0, 20]; app0[469]; app2[0, 386];
app0[124]; app2[1, 35]; app1[4, 385]; app1t[325]; app0[108];
-- 440
app0[109]; app2[1, 315]; app1t[325]; app0[126]; app0[109];
app2[2, 313]; app1t[326]; app1t[327]; app1t[329]; app1t[330];
app1t[328]; app1t[332]; app1t[331]; app1t[333]; app0[20];
app1t[285]; app1t[286]; app0[21]; app1t[376]; app0[462];
-- 460
app1t[341]; app0[461]; app1t[347]; app1t[354]; app1t[356];
app1t[348]; app0[460]; app0[457]; app1t[374]; app1t[353];
app1t[352]; app0[26]; app1t[351]; app1t[349]; app1t[355];
app0[456]; app1t[343]; app1t[350]; app0[455]; app1t[346];
-- 480
app1t[344]; app0[454]; app0[453]; app0[452]; app0[447];
app0[446]; app0[443]; app0[440]; app0[439]; app1t[357];
app1t[358]; app0[438]; app1t[468]; app1t[469]; app0[38];
app0[39]; app0[40]; app0[437]; app0[42]; app2[0, 254];
};
split1: PROC = {
-- 500
app0[135]; app2[0, 119]; app2[0, 446]; app0[356]; app0[137];
app0[353]; app0[139]; app0[352]; app2[0, 450]; app0[141];
app0[351]; app1t[445]; app1t[449]; app2[0, 446]; app1t[110];
app1t[109]; app0[143]; app0[144]; app0[145]; app0[146];
-- 520
app0[147]; app0[148]; app0[149]; app0[150]; app2[0, 119];
app0[350]; app0[152]; app0[153]; app2[0, 119]; app2[0, 108];
app0[166]; app0[167]; app0[168]; app2[1, 326]; app0[169];
app1[3, 337]; app0[170]; app0[171]; app2[1, 326]; app0[172];
-- 540
app2[1, 437]; app0[332]; app0[174]; app2[1, 438]; app1[3, 441];
app1t[279]; app1t[280]; app1t[281]; app1t[283]; app1t[282];
app1t[284]; app0[93]; app0[176]; app0[152]; app0[153];
app1[4, 41]; app1[2, 100]; app0[14]; app2[1, 326]; app1t[326];
-- 560
app1t[327]; app1t[329]; app1t[330]; app1t[328]; app1t[332];
app1t[331]; app1t[333]; app1t[279]; app1t[280]; app1t[281];
app1t[283]; app1t[282]; app1t[284]; app1t[285]; app1t[286];
app0[21]; app1t[376]; app0[462]; app1t[347]; app1t[354];
-- 580
app1t[356]; app1t[348]; app0[460]; app0[457]; app1t[374];
app1t[353]; app1t[352]; app0[92]; app1t[351]; app1t[349];
app1t[355]; app1t[372]; app1t[350]; app0[455]; app0[454];
app0[453]; app0[452]; app0[447]; app0[446]; app0[443];
-- 600
app0[440]; app0[439]; app1t[357]; app1t[358]; app0[438];
app0[93]; app0[40]; app0[67]; app1t[326]; app1t[327];
app1t[329]; app1t[330]; app1t[328]; app1t[332]; app1t[331];
app1t[333]; app1t[279]; app1t[280]; app1t[281]; app1t[283];
-- 620
app1t[282]; app1t[284]; app1t[285]; app1t[286]; app0[21];
app1t[376]; app0[462]; app1t[347]; app1t[354]; app1t[356];
app1t[348]; app0[460]; app0[457]; app1t[374]; app1t[353];
app1t[352]; app1t[351]; app1t[349]; app1t[355]; app1t[372];
-- 640
app1t[350]; app0[455]; app0[454]; app0[453]; app0[452];
app0[447]; app0[446]; app0[443]; app0[440]; app0[439];
app1t[357]; app1t[358]; app0[438]; app0[93]; app0[40];
app0[67]; app0[186]; app0[323]; app0[188]; app2[1, 209];
-- 660
app0[189]; app2[1, 411]; app1[2, 324]; app1[3, 377]; app1t[347];
app1t[354]; app1t[356]; app1t[348]; app1[3, 375]; app1t[353];
app1t[352]; app1t[351]; app1t[349]; app1t[355]; app1[3, 373];
app1t[350]; app1[2, 318]; app1[2, 319]; app1[2, 321]; app1[2, 320];
-- 680
app1[2, 322]; app1t[357]; app1t[358]; app1t[359]; app1t[326];
app1t[327]; app1t[329]; app1t[330]; app1t[328]; app1t[332];
app1t[331]; app1t[333]; app0[20]; app1t[285]; app1t[286];
app0[21]; app1t[376]; app0[462]; app1t[347]; app1t[354];
-- 700
app1t[356]; app1t[348]; app0[460]; app0[457]; app1t[374];
app1t[353]; app1t[352]; app0[26]; app1t[351]; app1t[349];
app1t[355]; app1t[372]; app1t[350]; app0[455]; app0[454];
app0[453]; app0[452]; app0[447]; app0[446]; app0[443];
-- 720
app0[440]; app0[439]; app1t[357]; app1t[358]; app0[438];
app0[40]; app0[67]; app1t[325]; app0[126]; app0[109];
app2[2, 260]; app1t[473]; app1t[474]; app1t[475]; app2[0, 472];
app0[198]; app2[0, 435]; app1t[439]; app1t[440]; app0[305];
-- 740
app2[0, 367]; app0[421]; app1[3, 293]; app1[2, 324]; app1t[347];
app1t[354]; app1t[356]; app1t[348]; app1t[353]; app1t[352];
app1t[351]; app1t[349]; app1t[355]; app1t[350]; app1[2, 318];
app1[2, 319]; app1[2, 321]; app1[2, 320]; app1[2, 322]; app1t[357];
-- 760
app1t[358]; app1t[359]; app0[205]; app2[1, 361]; app1[4, 314];
app0[172]; app1[4, 296]; app0[206]; app0[172]; app1[4, 295];
app0[207]; app2[0, 471]; app0[210]; app0[211]; app0[300];
app0[213]; app0[214]; app0[152]; app0[215]; app2[1, 48];
-- 780
app2[1, 74]; dup[]; dup[]; dup[]; dup[];
dup[]; dup[]; dup[]; dup[]; dup[];
dup[]; app1t[443]; app2[1, 74]; dup[]; dup[];
dup[]; dup[]; dup[]; app2[0, 444]; app0[217];
-- 800
app0[135]; app2[0, 119]; app2[0, 446]; app0[356]; app0[137];
app0[353]; app0[139]; app0[352]; app2[0, 450]; app0[141];
app0[351]; app1t[445]; app1t[449]; app2[0, 446]; app2[0, 466];
app1t[110]; app1t[109]; app0[143]; app0[144]; app0[145];
-- 820
app0[146]; app0[147]; app0[148]; app0[149]; app0[150];
app2[0, 119]; app0[350]; app0[152]; app0[153]; app2[0, 119];
app2[0, 108]; app0[219]; app0[298]; app0[221]; app2[0, 119];
app2[0, 446]; app0[356]; app0[137]; app0[353]; app0[139];
-- 840
app0[352]; app2[0, 450]; app0[141]; app0[351]; app1t[445];
app1t[449]; app2[0, 446]; app1t[110]; app1t[109]; app0[143];
app0[144]; app0[145]; app0[146]; app0[147]; app0[148];
app0[149]; app0[150]; app2[0, 119]; app0[350]; app0[152];
-- 860
app0[153]; app2[0, 119]; app2[0, 108]; app0[221]; app2[0, 119];
app2[0, 446]; app0[356]; app0[137]; app0[353]; app0[139];
app0[352]; app2[0, 108]; dup[]; dup[]; dup[];
dup[]; dup[]; dup[]; app2[0, 450]; app0[141];
-- 880
app0[351]; app1t[445]; app1t[449]; app2[0, 446]; app1t[110];
app1t[109]; app0[143]; app0[144]; app0[145]; app0[146];
app0[147]; app0[148]; app0[149]; app0[150]; app2[0, 119];
app0[350]; app0[152]; app0[153]; app2[0, 119]; app2[1, 82];
-- 900
app0[221]; app2[0, 119]; app2[0, 446]; app0[356]; app0[137];
app0[353]; app0[139]; app0[352]; app2[0, 108]; dup[];
dup[]; dup[]; dup[]; dup[]; dup[];
app2[0, 450]; app0[141]; app0[351]; app1t[445]; app1t[449];
-- 920
app2[0, 446]; app1t[110]; app1t[109]; app0[143]; app0[144];
app0[145]; app0[146]; app0[147]; app0[148]; app0[149];
app0[150]; app2[0, 119]; app0[350]; app0[152]; app0[153];
app2[0, 119]; app2[1, 83]; app0[221]; app2[0, 119]; app2[0, 446];
-- 940
app0[356]; app0[137]; app0[353]; app0[139]; app0[352];
app2[0, 108]; dup[]; dup[]; dup[]; dup[];
dup[]; dup[]; app2[0, 450]; app0[141]; app0[351];
app1t[445]; app1t[449]; app2[0, 446]; app1t[110]; app1t[109];
-- 960
app0[143]; app0[144]; app0[145]; app0[146]; app0[147];
app0[148]; app0[149]; app0[150]; app2[0, 119]; app0[350];
app0[152]; app0[153]; app2[0, 119]; app2[1, 84]; app0[221];
app2[0, 119]; app2[0, 446]; app0[356]; app0[137]; app0[353];
-- 980
app0[139]; app0[352]; app2[0, 108]; dup[]; dup[];
dup[]; dup[]; dup[]; dup[]; app2[0, 450];
app0[141]; app0[351]; app1t[445]; app1t[449]; app2[0, 446];
app1t[110]; app1t[109]; app0[143]; app0[144]; app0[145];
};
split2: PROC = {
-- 1000
app0[146]; app0[147]; app0[148]; app0[149]; app0[150];
app2[0, 119]; app0[350]; app0[152]; app0[153]; app2[0, 119];
app2[1, 85]; app1[2, 120]; app1t[146]; app1t[147]; app1t[148];
app1t[149]; app1t[150]; app1t[151]; app1t[152]; app0[226];
-- 1020
app1[4, 302]; app0[294]; app2[1, 64]; app0[290]; app0[229];
app2[1, 98]; app0[230]; app0[231]; app0[152]; app0[215];
app2[1, 49]; app1t[117]; app0[288]; app2[0, 118]; app1t[447];
app2[0, 448]; app1[2, 93]; app0[235]; app1[4, 304]; app0[236];
-- 1040
app1[4, 308]; app0[237]; app1[4, 306]; app0[238]; app1[4, 310];
app0[241]; app2[3, 293]; app0[272]; app0[91]; app2[3, 290];
app0[211]; app0[300]; app0[152]; app0[153]; app2[1, 51];
app0[152]; app0[153]; app2[1, 55]; app1t[287]; app0[91];
-- 1060
app1t[288]; app1t[289]; app2[3, 271]; app1t[287]; app1t[288];
app1t[289]; app2[3, 271]; app0[91]; app2[3, 273]; app1t[285];
app1t[286]; app1t[287]; app0[91]; app1t[288]; app1t[289];
app2[2, 278]; app1t[285]; app1t[286]; app2[2, 278]; app1t[285];
-- 1080
app1t[286]; app1t[287]; app1t[288]; app1t[289]; app2[2, 278];
app0[243]; app1[3, 99]; app0[244]; app1t[326]; app1t[327];
app1t[329]; app1t[330]; app1t[328]; app1t[332]; app1t[331];
app1t[333]; app1t[279]; app1t[280]; app1t[281]; app1t[283];
-- 1100
app1t[282]; app1t[284]; app0[100]; app1t[285]; app1t[286];
app0[21]; app1t[376]; app0[462]; app1t[341]; app0[461];
app1t[347]; app1t[354]; app1t[356]; app1t[348]; app0[460];
app0[457]; app1t[374]; app1t[353]; app1t[352]; app0[101];
-- 1120
app1t[351]; app1t[349]; app1t[355]; app0[456]; app1t[343];
app1t[350]; app0[455]; app1t[346]; app1t[344]; app0[454];
app0[453]; app0[452]; app0[447]; app0[446]; app0[443];
app0[440]; app0[439]; app1t[357]; app1t[358]; app0[438];
-- 1140
app0[38]; app0[39]; app0[93]; app0[40]; app0[437];
app0[42]; app0[99]; app1t[327]; app1t[329]; app1t[330];
app1t[328]; app1t[332]; app1t[331]; app1t[333]; app1t[279];
app1t[280]; app1t[281]; app1t[283]; app1t[282]; app1t[284];
-- 1160
app0[100]; app1t[285]; app1t[286]; app0[21]; app1t[376];
app0[462]; app1t[341]; app0[461]; app1t[347]; app1t[354];
app1t[356]; app1t[348]; app0[460]; app0[457]; app1t[374];
app1t[353]; app1t[352]; app0[101]; app1t[351]; app1t[349];
-- 1180
app1t[355]; app0[456]; app1t[343]; app1t[350]; app0[455];
app1t[346]; app1t[344]; app0[454]; app0[453]; app0[452];
app0[447]; app0[446]; app0[443]; app0[440]; app0[439];
app1t[357]; app1t[358]; app0[438]; app0[38]; app0[39];
-- 1200
app0[93]; app0[40]; app0[437]; app0[42]; app2[2, 412];
app0[245]; app2[0, 340]; app0[111]; app2[3, 262]; app0[172];
app1[4, 294]; app0[247]; app1t[456]; app1t[455]; app2[0, 153];
app1[4, 299]; app1[4, 301]; app0[266]; app0[252]; app1t[111];
-- 1220
app0[257]; app2[0, 113]; app0[256]; app2[0, 22]; app0[261];
app2[1, 365]; app0[255]; app2[0, 458]; app1[5, 335]; app0[211];
app0[300]; app2[2, 62]; app1[3, 56]; app0[135]; app2[0, 119];
app2[0, 446]; app0[356]; app0[137]; app0[353]; app0[139];
-- 1240
app0[352]; app2[0, 450]; app0[141]; app0[351]; app1t[445];
app1t[449]; app2[0, 446]; app1t[110]; app1t[109]; app0[143];
app0[144]; app0[145]; app0[146]; app0[147]; app0[148];
app0[149]; app0[150]; app2[0, 119]; app0[350]; app1[3, 73];
-- 1260
app0[152]; app0[153]; app2[0, 119]; app2[0, 108]; app1t[443];
app2[0, 444]; app0[246]; app0[273]; app0[211]; app0[300];
app0[213]; app0[214]; app0[152]; app0[215]; app0[230];
app0[231]; app0[152]; app0[215]; app1[3, 47]; app1[3, 46];
-- 1280
app1[3, 45]; app1[3, 44]; app1[3, 57]; app1[3, 58]; app0[276];
app0[240]; app2[0, 389]; app0[239]; app0[234]; app0[233];
app1[5, 442]; app0[170]; app0[171]; app2[0, 406]; app1[4, 323];
app1t[326]; app1t[327]; app1t[329]; app1t[330]; app1t[328];
-- 1300
app1t[332]; app1t[331]; app1t[333]; app0[20]; app1t[285];
app1t[286]; app0[21]; app1t[376]; app0[462]; app1t[341];
app0[461]; app1t[347]; app1t[354]; app0[289]; app1t[348];
app0[460]; app0[457]; app1t[374]; app1t[353]; app1t[352];
-- 1320
app0[26]; app1t[351]; app1t[349]; app1t[355]; app0[456];
app1t[343]; app1t[350]; app0[455]; app1t[346]; app1t[344];
app0[454]; app0[453]; app0[452]; app0[447]; app0[446];
app0[443]; app0[440]; app0[439]; app1t[357]; app1t[358];
-- 1340
app0[438]; app1t[468]; app1t[469]; app0[38]; app0[39];
app0[40]; app0[437]; app0[42]; app2[0, 31]; app1[5, 298];
app0[224]; app1[3, 434]; app1t[28]; app1t[29]; app2[0, 30];
app0[223]; app1[4, 17]; app0[220]; app1[4, 15]; app0[218];
-- 1360
app2[0, 119]; app2[0, 446]; app0[356]; app0[137]; app0[353];
app0[139]; app0[352]; app2[0, 450]; app0[141]; app0[351];
app1t[445]; app1t[449]; app2[0, 446]; app1t[110]; app1t[109];
app0[143]; app0[144]; app0[145]; app0[146]; app0[147];
-- 1380
app0[148]; app0[149]; app0[150]; app2[0, 119]; app0[350];
app1[2, 381]; app0[152]; app0[153]; app2[0, 119]; app2[0, 108];
app0[202]; app2[0, 116]; app0[201]; app0[309]; app2[1, 23];
app0[196]; app2[2, 366]; app1t[456]; app1t[455]; app1[6, 334];
-- 1400
app1[6, 312]; app0[243]; app1[3, 464]; app1[4, 95]; app1[6, 303];
app1[3, 464]; app0[193]; app2[1, 103]; app1[4, 68]; app0[192];
app2[1, 390]; app1t[122]; app0[191]; app0[152]; app0[153];
app2[1, 368]; app0[190]; app2[1, 144]; app1[6, 305]; app1[6, 309];
-- 1420
app1[6, 307]; app1[6, 311]; app1t[326]; app1t[327]; app1t[329];
app1t[330]; app1t[328]; app1t[332]; app1t[331]; app1t[333];
app0[457]; app0[454]; app0[453]; app0[318]; app0[40];
app2[1, 231]; app2[1, 356]; app2[1, 157]; app1[6, 297]; app0[185];
-- 1440
app2[0, 229]; app0[180]; app2[0, 201]; app0[179]; app1t[32];
app1t[33]; app2[0, 34]; app0[480]; app1[5, 18]; app0[480];
app1[5, 16]; app0[211]; app0[175]; app1[2, 37]; app0[173];
app0[300]; app0[213]; app0[214]; app0[165]; app0[215];
-- 1460
app2[1, 136]; app0[163]; app0[230]; app0[231]; app0[152];
app0[215]; app2[0, 460]; app0[163]; app2[0, 460]; app0[162];
app1[3, 382]; app1[3, 383]; app1[2, 114]; app0[257]; app1[2, 100];
app0[14]; app1[3, 24]; app0[261]; app1[7, 336]; app1[3, 102];
-- 1480
app0[276]; app0[240]; app0[218]; app2[0, 119]; app2[0, 446];
app0[356]; app0[137]; app0[353]; app0[139]; app0[160];
app0[352]; app2[0, 450]; app0[141]; app0[351]; app1t[445];
app1t[449]; app2[0, 446]; app1t[110]; app1t[109]; app0[159];
};
split3: PROC = {
-- 1500
app0[144]; app0[145]; app0[146]; app0[147]; app0[148];
app0[149]; app0[150]; app2[0, 119]; app0[350]; app1[2, 121];
app0[152]; app0[153]; app2[0, 119]; app0[156]; app2[0, 108];
app0[142]; app1t[325]; app0[126]; app0[109]; app2[1, 408];
-- 1520
app1[3, 407]; app2[2, 230]; app1[3, 233]; app2[2, 232]; app0[140];
app0[138]; app1t[326]; app1t[327]; app1t[329]; app1t[330];
app1t[328]; app1t[332]; app1t[331]; app1t[333]; app0[457];
app0[454]; app0[453]; app0[318]; app0[40]; app0[355];
-- 1540
app0[136]; app0[359]; app1t[327]; app1t[329]; app1t[330];
app1t[328]; app1t[332]; app1t[331]; app1t[333]; app1t[238];
app0[360]; app0[457]; app1t[241]; app1t[243]; app0[454];
app0[453]; app1t[188]; app0[134]; app0[39]; app0[132];
-- 1560
app0[131]; app2[0, 215]; dup[]; app2[0, 400]; app0[130];
app1t[178]; app1t[179]; app0[365]; app0[366]; app1t[370];
app0[129]; app1t[242]; app1t[244]; app1t[245]; app1t[187];
app0[128]; app1t[190]; app1t[191]; app1t[192]; app2[0, 400];
-- 1580
dup[]; dup[]; dup[]; app0[40]; app0[127];
app2[0, 215]; app0[42]; app2[0, 162]; app0[421]; app2[0, 403];
app1[4, 194]; app1[4, 193]; app1t[456]; app1t[455]; app0[118];
app2[0, 462]; app0[218]; app2[0, 119]; app2[0, 446]; app0[356];
-- 1600
app0[137]; app0[353]; app0[139]; app0[352]; app2[0, 450];
app0[141]; app0[351]; app1t[445]; app1t[449]; app2[0, 446];
app1t[110]; app1t[109]; app0[143]; app0[144]; app0[145];
app0[146]; app0[147]; app0[148]; app0[149]; app0[150];
-- 1620
app2[0, 119]; app0[350]; app0[152]; app0[153]; app2[0, 119];
app2[0, 108]; app1t[326]; app1t[327]; app1t[329]; app1t[330];
app1t[328]; app1t[332]; app1t[331]; app1t[333]; app0[20];
app1t[285]; app1t[286]; app0[21]; app1t[376]; app0[462];
-- 1640
app1t[341]; app0[461]; app1t[347]; app1t[354]; app1t[356];
app1t[348]; app0[460]; app0[457]; app1t[374]; app1t[353];
app1t[352]; app0[26]; app1t[351]; app1t[349]; app1t[355];
app0[456]; app1t[343]; app1t[350]; app0[455]; app1t[346];
-- 1660
app1t[344]; app0[454]; app0[453]; app0[452]; app0[447];
app0[446]; app0[443]; app0[440]; app0[439]; app1t[357];
app1t[358]; app0[438]; app1t[468]; app1t[469]; app0[38];
app0[39]; app0[40]; app0[437]; app0[42]; app2[0, 250];
-- 1680
app0[104]; app2[2, 138]; app0[103]; app2[2, 137]; app0[90];
app2[0, 380]; app1[4, 101]; app0[201]; app0[88]; app0[393];
app0[221]; app2[0, 119]; app2[0, 446]; app0[356]; app0[137];
app0[353]; app0[139]; app0[160]; app0[352]; app2[0, 450];
-- 1700
app0[141]; app0[351]; app1t[445]; app1t[449]; app2[0, 446];
app1t[110]; app1t[109]; app0[159]; app0[144]; app0[145];
app0[146]; app0[147]; app0[148]; app0[149]; app0[150];
app2[0, 119]; app0[350]; app0[152]; app0[153]; app2[0, 119];
-- 1720
app0[156]; app2[0, 108]; app0[85]; app1[3, 123]; app1[3, 124];
app1[3, 127]; app1t[326]; app1t[327]; app1t[329]; app1t[330];
app1t[328]; app1t[332]; app1t[331]; app1t[333]; app1t[238];
app0[360]; app0[457]; app1t[241]; app1t[243]; app0[454];
-- 1740
app0[453]; app1t[188]; app0[134]; app0[39]; app0[132];
app0[131]; app2[0, 215]; dup[]; app0[130]; app1t[178];
app1t[179]; app0[365]; app0[366]; app1t[370]; app0[129];
app1t[242]; app1t[244]; app1t[245]; app1t[187]; app0[128];
-- 1760
app1t[190]; app1t[191]; app1t[192]; app0[40]; app0[127];
app2[0, 215]; app0[42]; app2[0, 162]; app0[401]; app1t[451];
app2[0, 452]; app1[3, 225]; app1[3, 226]; app0[13]; app1[2, 37];
app0[14]; app2[1, 326]; app2[1, 186]; dup[]; dup[];
-- 1780
dup[]; dup[]; dup[]; dup[]; dup[];
dup[]; dup[]; app2[1, 239]; app0[83]; app1t[326];
app1t[327]; app1t[329]; app1t[330]; app1t[328]; app1t[332];
app1t[331]; app1t[333]; app0[457]; app0[454]; app0[453];
-- 1800
app0[409]; app0[40]; app0[69]; app2[0, 236]; app1[2, 180];
app0[412]; app1t[326]; app1t[327]; app1t[329]; app1t[330];
app1t[328]; app1t[332]; app1t[331]; app1t[333]; app0[457];
app0[454]; app0[453]; app0[40]; app0[69]; app2[0, 236];
-- 1820
app0[68]; app0[99]; app1t[327]; app1t[329]; app1t[330];
app1t[328]; app1t[332]; app1t[331]; app1t[333]; app1t[279];
app1t[280]; app1t[281]; app1t[283]; app1t[282]; app1t[284];
app0[100]; app1t[285]; app1t[286]; app0[21]; app1t[376];
-- 1840
app0[462]; app1t[341]; app0[461]; app1t[347]; app1t[354];
app1t[356]; app1t[348]; app0[460]; app0[457]; app1t[374];
app1t[353]; app1t[352]; app0[101]; app1t[351]; app1t[349];
app1t[355]; app0[456]; app1t[343]; app1t[350]; app0[455];
-- 1860
app1t[346]; app1t[344]; app0[454]; app0[453]; app0[452];
app0[447]; app0[446]; app0[443]; app0[440]; app0[439];
app1t[357]; app1t[358]; app0[438]; app0[38]; app0[39];
app0[93]; app0[40]; app0[437]; app0[42]; app2[0, 397];
-- 1880
app0[66]; app1t[325]; app0[65]; app0[109]; app2[1, 172];
app0[62]; app0[60]; app2[0, 220]; app0[56]; app0[55];
app2[1, 401]; app0[54]; app0[53]; app2[1, 404]; app0[47];
app2[1, 251]; app0[46]; app2[3, 139]; app0[97]; app0[243];
-- 1900
app2[0, 43]; app0[44]; app2[0, 119]; app2[0, 446]; app0[356];
app0[137]; app0[353]; app0[139]; app0[352]; app2[0, 450];
app0[141]; app0[351]; app1t[445]; app1t[449]; app2[0, 446];
app1t[110]; app1t[109]; app0[143]; app0[144]; app0[145];
-- 1920
app0[146]; app0[147]; app0[148]; app0[149]; app0[150];
app2[0, 119]; app0[350]; app0[152]; app0[153]; app2[0, 119];
app2[0, 108]; app0[261]; app2[1, 378]; app0[135]; app1t[133];
app2[0, 119]; app2[0, 446]; app0[356]; app0[137]; app0[353];
-- 1940
app0[139]; app0[352]; app2[0, 450]; app0[141]; app0[351];
app1t[445]; app1t[449]; app2[0, 446]; app1t[110]; app1t[109];
app0[143]; app0[144]; app0[145]; app0[146]; app0[147];
app0[148]; app0[149]; app0[150]; app2[0, 119]; app0[350];
-- 1960
app0[152]; app0[153]; app2[0, 119]; app2[0, 108]; app0[37];
app0[36]; app0[135]; app2[0, 119]; app2[0, 446]; app0[356];
app0[137]; app0[353]; app0[139]; app0[160]; app0[352];
app2[0, 450]; app0[141]; app0[351]; app1t[445]; app1t[449];
-- 1980
app2[0, 446]; app1t[110]; app1t[109]; app0[159]; app0[144];
app0[145]; app0[146]; app0[147]; app0[148]; app0[149];
app0[150]; app2[0, 119]; app0[350]; app0[152]; app0[153];
app2[0, 119]; app0[156]; app2[0, 108]; app1[4, 126]; app1t[325];
};
split4: PROC = {
-- 2000
app0[126]; app0[109]; app2[3, 409]; app0[442]; app1t[32];
app1t[33]; app2[0, 34]; app0[444]; app0[445]; app0[33];
app1[2, 100]; app0[14]; app2[1, 211]; app0[32]; app1t[217];
app2[0, 216]; app1[3, 240]; app1t[325]; app0[126]; app0[109];
-- 2020
app2[1, 237]; app1[3, 181]; app1t[325]; app0[126]; app0[109];
app2[2, 185]; app0[450]; app0[451]; app0[31]; app0[30];
app2[1, 398]; app1[2, 324]; app1t[347]; app1t[354]; app1t[356];
app1t[348]; app1t[353]; app1t[352]; app1t[351]; app1t[349];
-- 2040
app1t[355]; app1t[350]; app1[2, 318]; app1[2, 319]; app1[2, 321];
app1[2, 320]; app1[2, 322]; app1t[357]; app1t[358]; app1t[359];
app1[3, 371]; app0[29]; app1t[325]; app0[126]; app0[109];
app2[2, 183]; app1t[326]; app1t[327]; app1t[329]; app1t[330];
-- 2060
app1t[328]; app1t[332]; app1t[331]; app1t[333]; app1t[238];
app0[360]; app0[457]; app1t[241]; app1t[243]; app0[454];
app0[453]; app1t[188]; app0[134]; app0[39]; app0[132];
app0[131]; app2[0, 215]; dup[]; app2[2, 402]; app0[130];
-- 2080
app1t[178]; app1t[179]; app0[365]; app0[366]; app1t[370];
app0[129]; app1t[242]; app1t[244]; app1t[245]; app1t[187];
app0[128]; app1t[190]; app1t[191]; app1t[192]; app2[2, 402];
dup[]; dup[]; dup[]; app0[40]; app0[127];
-- 2100
app2[0, 215]; app0[42]; app2[0, 162]; app0[421]; app2[2, 405];
app1[3, 461]; app1t[468]; app1t[469]; app0[211]; app0[25];
app0[173]; app0[300]; app0[213]; app0[214]; app0[152];
app0[215]; app2[1, 136]; app0[196]; app2[2, 379]; app1[5, 125];
-- 2120
app0[24]; app0[23]; app1[5, 228]; app1[5, 227]; app1t[326];
app1t[327]; app1t[329]; app1t[330]; app1t[328]; app1t[332];
app1t[331]; app1t[333]; app1t[238]; app0[360]; app0[457];
app1t[241]; app1t[243]; app0[454]; app0[453]; app1t[188];
-- 2140
app0[22]; app0[39]; app0[132]; app0[131]; app2[0, 215];
dup[]; app0[130]; app1t[178]; app1t[179]; app0[365];
app0[366]; app1t[370]; app0[129]; app1t[242]; app1t[244];
app1t[245]; app1t[187]; app0[128]; app1t[190]; app1t[191];
-- 2160
app1t[192]; app0[40]; app0[127]; app2[0, 215]; app0[42];
app2[0, 162]; app0[16]; app1[3, 235]; app0[15]; app0[11];
app2[3, 176]; app0[99]; app1t[327]; app1t[329]; app1t[330];
app1t[328]; app1t[332]; app1t[331]; app1t[333]; app1t[279];
-- 2180
app1t[280]; app1t[281]; app1t[283]; app1t[282]; app1t[284];
app0[100]; app1t[285]; app1t[286]; app0[21]; app1t[376];
app0[462]; app1t[341]; app0[461]; app1t[347]; app1t[354];
app1t[356]; app1t[348]; app0[460]; app0[457]; app1t[374];
-- 2200
app1t[353]; app1t[352]; app0[101]; app1t[351]; app1t[349];
app1t[355]; app0[456]; app1t[343]; app1t[350]; app0[455];
app1t[346]; app1t[344]; app0[454]; app0[453]; app0[452];
app0[447]; app0[446]; app0[443]; app0[440]; app0[439];
-- 2220
app1t[357]; app1t[358]; app0[438]; app0[38]; app0[39];
app0[93]; app0[40]; app0[437]; app0[42]; app2[2, 399];
app0[10]; app1[5, 105]; app0[473]; app0[9]; app2[1, 171];
app2[1, 168]; app0[8]; app0[481]; app2[0, 221]; app1[5, 184];
-- 2240
app0[421]; app1[6, 106]; app0[7]; app1[8, 159]; app0[172];
app2[1, 163]; app0[7]; app1[8, 158]; app0[6]; app0[485];
app1[6, 177]; app0[4]; app2[3, 176]; app0[490]; app2[2, 222];
app0[172]; app2[3, 164]; app0[3]; app0[2]; app1[6, 224];
-- 2260
app2[5, 223];
};
split0[];
split1[];
split2[];
split3[];
split4[];
RETURN [tab];
};

}.