2 /* this file generated on Thu Oct 24 11:42:35 GMT 1996 */
4 static char pseudo_code [ ] = {
5 0, 37, 57, 42, 59, 39, 0, 65, 38,
6 63, 61, 59, 56, 58, 2, 0, 12, 0,
7 12, 0, 0, 0, 12, 0, 65, 0, 5,
8 0, 0, 0, 37, 57, 42, 59, 0, 38,
9 63, 61, 59, 56, 58, 7, 0, 11, 57,
10 42, 59, 0, 12, 0, 5, 0, 40, 65,
11 0, 12, 5, 0, 0, 0, 38, 63, 61,
12 59, 56, 58, 0, 12, 0, 5, 0, 65,
13 0, 12, 5, 0, 0, 0, 38, 63, 61,
14 59, 40, 0, 45, 63, 61, 59, 51, 3,
15 58, 0, 56, 3, 58, 0, 12, 5, 45,
16 0, 5, 45, 0, 0, 0, 37, 57, 42,
17 60, 0, 5, 0, 38, 63, 61, 59, 40,
18 0, 45, 63, 61, 59, 51, 7, 58, 0,
19 56, 7, 58, 0, 12, 5, 45, 0, 5,
20 45, 0, 0, 0, 37, 57, 42, 60, 0,
21 5, 0, 12, 45, 0, 45, 0, 38, 0,
22 45, 0, 0, 0, 11, 57, 42, 60, 0,
23 0, 0, 71, 45, 65, 0, 38, 5, 45,
24 0, 5, 45, 0, 70, 45, 66, 39, 0,
25 15, 42, 0, 0, 0, 14, 42, 60, 0,
26 39, 70, 0, 11, 57, 42, 49, 59, 0,
27 37, 57, 42, 49, 59, 39, 0, 71, 65,
28 48, 0, 38, 5, 48, 0, 48, 70, 66,
29 39, 0, 5, 48, 0, 13, 67, 42, 49,
30 59, 0, 0, 67, 42, 49, 59, 0, 0,
31 67, 42, 49, 59, 0, 13, 67, 42, 49,
32 59, 0, 48, 70, 39, 0, 16, 41, 44,
33 0, 19, 44, 0, 26, 41, 53, 0, 28,
34 53, 0, 25, 50, 51, 43, 9, 0, 25,
35 50, 43, 0, 24, 50, 43, 0, 62, 32,
36 41, 50, 9, 4, 0, 62, 51, 36, 50,
37 9, 4, 0, 62, 36, 50, 4, 0, 62,
38 34, 50, 4, 0, 51, 50, 1, 0, 34,
39 50, 1, 0, 51, 50, 29, 0, 33, 50,
40 29, 0, 64, 50, 51, 20, 1, 0, 64,
41 50, 20, 1, 0, 64, 50, 22, 1, 0,
42 31, 41, 0, 56, 0, 31, 41, 60, 0,
43 16, 41, 44, 0, 19, 44, 0, 23, 43,
44 41, 0, 25, 43, 0, 31, 41, 35, 0,
45 35, 0, 31, 41, 35, 0, 35, 0, 30,
46 51, 50, 55, 9, 0, 30, 50, 55, 0,
47 27, 50, 55, 0, 27, 50, 10, 54, 0,
48 30, 51, 50, 10, 54, 9, 0, 30, 50,
49 10, 54, 0, 51, 50, 1, 0, 27, 50,
50 1, 0, 51, 50, 29, 0, 27, 50, 29,
51 0, 64, 50, 51, 20, 1, 0, 64, 50,
52 20, 1, 0, 64, 50, 27, 20, 1, 0,
53 26, 41, 0, 56, 0, 26, 41, 60, 0,
54 54, 0, 54, 0, 16, 41, 44, 0, 19,
55 44, 0, 26, 41, 52, 0, 28, 52, 0,
56 50, 51, 9, 0, 33, 50, 0, 62, 32,
57 41, 50, 9, 47, 4, 0, 62, 36, 50,
58 47, 4, 0, 62, 34, 50, 47, 4, 0,
59 51, 50, 1, 0, 34, 50, 1, 0, 51,
60 50, 29, 0, 33, 50, 29, 0, 64, 50,
61 51, 20, 1, 0, 64, 50, 20, 1, 0,
62 64, 50, 22, 1, 0, 31, 41, 0, 23,
63 41, 43, 60, 0, 56, 0, 31, 41, 43,
64 60, 0, 28, 53, 0, 25, 50, 64, 46,
65 20, 43, 1, 0, 25, 50, 43, 0, 24,
66 50, 43, 0, 62, 50, 64, 18, 41, 1,
67 4, 0, 62, 35, 50, 4, 0, 62, 33,
68 50, 4, 0, 50, 64, 46, 20, 1, 0,
69 50, 1, 0, 33, 50, 1, 0, 50, 64,
70 46, 29, 0, 50, 29, 0, 33, 50, 29,
71 0, 31, 41, 60, 0, 25, 43, 0, 35,
72 0, 35, 0, 30, 50, 64, 46, 54, 1,
73 20, 0, 30, 50, 54, 0, 27, 50, 54,
74 0, 30, 50, 64, 54, 46, 1, 20, 0,
75 30, 50, 54, 0, 27, 50, 54, 0, 50,
76 64, 46, 20, 1, 0, 50, 1, 0, 27,
77 50, 1, 0, 50, 64, 46, 29, 0, 50,
78 29, 0, 27, 50, 29, 0, 26, 41, 60,
79 0, 28, 52, 0, 50, 0, 33, 50, 0,
80 62, 50, 64, 18, 41, 47, 1, 4, 0,
81 62, 35, 47, 50, 4, 0, 62, 33, 47,
82 50, 4, 0, 50, 64, 46, 20, 1, 0,
83 50, 1, 0, 33, 50, 1, 0, 50, 64,
84 46, 29, 0, 50, 29, 0, 33, 50, 29,
88 static short int pseudo_code_idx [ ] ={
89 0, 1, 7, 16, 18, 20, 22, 24, 26,
90 28, 30, 35, 43, 48, 50, 52, 55, 58,
91 60, 67, 69, 71, 73, 76, 78, 84, 92,
92 96, 100, 103, 105, 110, 112, 118, 126, 130,
93 134, 137, 139, 144, 146, 149, 151, 153, 155,
94 157, 162, 164, 168, 172, 175, 180, 183, 185,
95 189, 192, 198, 205, 209, 213, 218, 221, 227,
96 233, 239, 245, 249, 253, 256, 260, 263, 269,
97 273, 277, 284, 291, 296, 301, 305, 309, 313,
98 317, 323, 328, 333, 336, 338, 342, 346, 349,
99 353, 356, 360, 362, 366, 368, 374, 378, 382,
100 387, 394, 399, 403, 407, 411, 415, 421, 426,
101 432, 435, 437, 441, 443, 445, 449, 452, 456,
102 459, 463, 466, 474, 480, 486, 490, 494, 498,
103 502, 508, 513, 518, 521, 526, 528, 533, 536,
104 544, 548, 552, 560, 565, 570, 576, 579, 583,
105 588, 591, 595, 599, 602, 604, 606, 614, 618,
106 622, 630, 634, 638, 644, 647, 651, 656, 659,
107 663, 667, 670, 672, 675, 684, 690, 696, 702,
108 705, 709, 714, 717, 721, 0
258 #define AWAIT_BUSY1 147
259 #define AWAIT_BUSY2 148
260 #define AWAIT_BUSY3 149
261 #define AWAIT_BUSY4 150
262 #define AWAIT_BUSY5 151
263 #define AWAIT_BUSY6 152
264 #define AWAIT_BUSY7 153
265 #define AWAIT_BUSY8 154
266 #define AWAIT_BUSY9 155
267 #define AWAIT_BUSY10 156
268 #define AWAIT_BUSY11 157
269 #define AWAIT_BUSY12 158
270 #define AWAIT_BUSY13 159
271 #define AWAIT_BUSY14 160
272 #define AWAIT_BUSY15 161
273 #define AWAIT_BUSY16 162
274 #define AWAIT_REJECT1 163
275 #define AWAIT_REJECT2 164
276 #define AWAIT_REJECT3 165
277 #define AWAIT_REJECT4 166
278 #define AWAIT_REJECT5 167
279 #define AWAIT_REJECT6 168
280 #define AWAIT_REJECT7 169
281 #define AWAIT_REJECT8 170
282 #define AWAIT_REJECT9 171
283 #define AWAIT_REJECT10 172
284 #define AWAIT_REJECT11 173
285 #define AWAIT_REJECT12 174
286 #define AWAIT_REJECT13 175