FreeCalypso > hg > fc-magnetite

annotate cdg211/cdginc/calcidx.cdg @ 270:d5a34ea92f2a

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
init.c: Init_Unmask_IT() reconstructed the trivial way
author Mychaela Falconia <falcon@freecalypso.org>
date Sun, 06 Aug 2017 17:58:13 +0000
parents 56abf6cf8a0b
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
4
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
1 /*
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
2 +--------------------------------------------------------------------------+
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
3 | PROJECT : PROTOCOL STACK |
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
4 | FILE : calcidx.cdg |
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
5 | SOURCE : "__out__\g23m_dfile\msg\rr_com.mdf" |
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
6 | LastModified : "2002-11-18" |
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
7 | IdAndVersion : "8443.250.02.008" |
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
8 | SrcFileTime : "Mon Nov 24 15:49:38 2003" |
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
9 | Generated by CCDGEN_2.5.5 on Fri Jun 08 13:59:16 2007 |
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
10 | !!DO NOT MODIFY!!DO NOT MODIFY!!DO NOT MODIFY!! |
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
11 +--------------------------------------------------------------------------+
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
12 */
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
13
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
14 /* rr_com */
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
15 /* conCalRef prolStepRef repCalRef */
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
16 /* idx numConCal numProlStep numRepCal */
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
17 /* 0*/ { 0, 65535, 0, 65535, 0, 65535 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
18 /* 1*/ { 7, 0, 0, 65535, 0, 65535 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
19 /* 2*/ { 11, 7, 0, 65535, 0, 65535 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
20 /* 3*/ { 3, 18, 0, 65535, 0, 65535 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
21 /* 4*/ { 0, 65535, 1, 21, 0, 65535 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
22 /* 5*/ { 3, 22, 0, 65535, 0, 65535 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
23 /* 6*/ { 0, 65535, 0, 65535, 0, 5 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
24 /* rr */
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
25 /* conCalRef prolStepRef repCalRef */
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
26 /* idx numConCal numProlStep numRepCal */
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
27 /* 7*/ { 0, 65535, 0, 65535, 0, 2 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
28 /* 8*/ { 3, 25, 0, 65535, 0, 65535 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
29 /* 9*/ { 3, 28, 0, 65535, 0, 65535 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
30 /* 10*/ { 3, 31, 0, 65535, 0, 65535 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
31 /* 11*/ { 3, 34, 0, 65535, 0, 65535 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
32 /* 12*/ { 3, 37, 0, 65535, 0, 65535 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
33 /* 13*/ { 3, 40, 0, 65535, 0, 3 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
34 /* 14*/ { 3, 43, 0, 65535, 0, 65535 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
35 /* 15*/ { 3, 46, 0, 65535, 0, 65535 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
36 /* 16*/ { 3, 49, 0, 65535, 0, 65535 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
37 /* 17*/ { 3, 52, 0, 65535, 0, 65535 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
38 /* 18*/ { 3, 55, 0, 65535, 0, 65535 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
39 /* 19*/ { 0, 65535, 0, 65535, 0, 21 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
40 /* 20*/ { 0, 65535, 0, 65535, 1, 58 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
41 /* 21*/ { 0, 65535, 0, 65535, 0, 16 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
42 /* 22*/ { 0, 65535, 0, 65535, 0, 1 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
43 /* 23*/ { 0, 65535, 0, 65535, 0, 0 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
44 /* 24*/ { 0, 65535, 0, 65535, 0, 0 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
45 /* 25*/ { 0, 65535, 1, 59, 0, 65535 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
46 /* 26*/ { 0, 65535, 0, 65535, 0, 2 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
47 /* 27*/ { 0, 65535, 0, 65535, 0, 0 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
48 /* 28*/ { 3, 60, 0, 65535, 0, 65535 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
49 /* 29*/ { 3, 63, 0, 65535, 3, 66 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
50 /* 30*/ { 3, 69, 0, 65535, 0, 0 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
51 /* 31*/ { 3, 72, 0, 65535, 0, 65535 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
52 /* 32*/ { 3, 75, 0, 65535, 0, 65535 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
53 /* 33*/ { 3, 78, 0, 65535, 0, 65535 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
54 /* 34*/ { 3, 81, 0, 65535, 0, 65535 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
55 /* 35*/ { 3, 84, 0, 65535, 0, 1 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
56 /* 36*/ { 3, 87, 0, 65535, 0, 65535 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
57 /* 37*/ { 3, 90, 0, 65535, 1, 93 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
58 /* 38*/ { 3, 94, 0, 65535, 0, 65535 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
59 /* 39*/ { 3, 97, 0, 65535, 0, 65535 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
60 /* 40*/ { 3, 100, 0, 65535, 0, 65535 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
61 /* 41*/ { 3, 103, 0, 65535, 0, 65535 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
62 /* 42*/ { 3, 106, 0, 65535, 0, 65535 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
63 /* 43*/ { 3, 109, 0, 65535, 0, 65535 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
64 /* 44*/ { 3, 112, 0, 65535, 0, 65535 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
65 /* 45*/ { 3, 115, 0, 65535, 3, 118 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
66 /* 46*/ { 0, 65535, 0, 65535, 0, 3 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
67 /* 47*/ { 0, 65535, 0, 65535, 0, 2 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
68 /* 48*/ { 0, 65535, 0, 65535, 0, 0 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
69 /* 49*/ { 0, 65535, 0, 65535, 0, 1 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
70 /* 50*/ { 0, 65535, 8, 121, 0, 65535 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
71 /* 51*/ { 0, 65535, 1, 129, 0, 65535 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
72 /* 52*/ { 7, 130, 1, 137, 0, 0 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
73 /* 53*/ { 3, 138, 4, 141, 0, 65535 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
74 /* 54*/ { 3, 145, 1, 148, 0, 32 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
75 /* 55*/ { 3, 149, 0, 65535, 0, 65535 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
76 /* 56*/ { 3, 152, 0, 65535, 3, 155 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
77 /* 57*/ { 3, 158, 0, 65535, 0, 65535 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
78 /* 58*/ { 3, 161, 0, 65535, 0, 65535 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
79 /* 59*/ { 0, 65535, 0, 65535, 0, 0 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
80 /* 60*/ { 0, 65535, 0, 65535, 0, 6 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
81 /* 61*/ { 0, 65535, 0, 65535, 0, 0 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
82 /* 62*/ { 0, 65535, 1, 164, 0, 65535 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
83 /* 63*/ { 0, 65535, 0, 65535, 0, 3 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
84 /* 64*/ { 0, 65535, 0, 65535, 0, 3 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
85 /* 65*/ { 3, 165, 0, 65535, 0, 65535 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
86 /* 66*/ { 3, 168, 0, 65535, 0, 65535 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
87 /* 67*/ { 7, 171, 0, 65535, 0, 65535 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
88 /* 68*/ { 11, 178, 0, 65535, 0, 65535 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
89 /* 69*/ { 7, 189, 0, 65535, 0, 65535 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
90 /* 70*/ { 7, 196, 0, 65535, 0, 65535 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
91 /* 71*/ { 11, 203, 0, 65535, 0, 65535 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
92 /* 72*/ { 11, 214, 0, 65535, 0, 65535 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
93 /* 73*/ { 3, 225, 0, 65535, 0, 65535 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
94 /* 74*/ { 3, 228, 0, 65535, 0, 65535 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
95 /* 75*/ { 7, 231, 0, 65535, 0, 65535 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
96 /* 76*/ { 3, 238, 0, 65535, 0, 65535 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
97 /* 77*/ { 3, 241, 0, 65535, 3, 244 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
98 /* 78*/ { 0, 65535, 0, 65535, 0, 0 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
99 /* 79*/ { 3, 247, 0, 65535, 0, 65535 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
100 /* 80*/ { 3, 250, 0, 65535, 0, 65535 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
101 /* 81*/ { 7, 253, 0, 65535, 0, 65535 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
102 /* 82*/ { 7, 260, 0, 65535, 0, 65535 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
103 /* 83*/ { 0, 65535, 0, 65535, 0, 3 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
104 /* 84*/ { 0, 65535, 0, 65535, 0, 2 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
105 /* 85*/ { 0, 65535, 0, 65535, 0, 0 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
106 /* 86*/ { 0, 65535, 1, 267, 0, 65535 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
107 /* 87*/ { 3, 268, 0, 65535, 0, 65535 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
108 /* 88*/ { 3, 271, 0, 65535, 0, 65535 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
109 /* 89*/ { 0, 65535, 1, 274, 0, 65535 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
110 /* 90*/ { 3, 275, 0, 65535, 0, 65535 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
111 /* 91*/ { 3, 278, 0, 65535, 0, 65535 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
112 /* 92*/ { 3, 281, 0, 65535, 0, 65535 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
113 /* 93*/ { 3, 284, 0, 65535, 0, 65535 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
114 /* 94*/ { 3, 287, 0, 65535, 0, 65535 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
115 /* 95*/ { 3, 290, 0, 65535, 0, 65535 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
116 /* 96*/ { 3, 293, 0, 65535, 0, 65535 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
117 /* 97*/ { 3, 296, 0, 65535, 0, 65535 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
118 /* 98*/ { 3, 299, 0, 65535, 0, 65535 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
119 /* 99*/ { 3, 302, 0, 65535, 0, 65535 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
120 /* 100*/ { 3, 305, 0, 65535, 0, 65535 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
121 /* 101*/ { 3, 308, 0, 65535, 0, 65535 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
122 /* 102*/ { 3, 311, 0, 65535, 0, 65535 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
123 /* 103*/ { 3, 314, 0, 65535, 0, 65535 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
124 /* 104*/ { 0, 65535, 1, 317, 0, 65535 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
125 /* 105*/ { 0, 65535, 1, 318, 0, 65535 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
126 /* 106*/ { 0, 65535, 1, 319, 0, 65535 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
127 /* 107*/ { 0, 65535, 0, 65535, 0, 8 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
128 /* 108*/ { 0, 65535, 0, 65535, 0, 4 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
129 /* 109*/ { 0, 65535, 1, 320, 0, 65535 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
130 /* 110*/ { 0, 65535, 0, 65535, 0, 3 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
131 /* 111*/ { 0, 65535, 1, 321, 0, 65535 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
132 /* 112*/ { 0, 65535, 0, 65535, 0, 2 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
133 /* 113*/ { 0, 65535, 1, 322, 0, 65535 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
134 /* 114*/ { 0, 65535, 1, 323, 0, 65535 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
135 /* 115*/ { 3, 324, 0, 65535, 0, 65535 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
136 /* 116*/ { 3, 327, 0, 65535, 0, 65535 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
137 /* 117*/ { 3, 330, 0, 65535, 0, 65535 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
138 /* 118*/ { 3, 333, 0, 65535, 0, 65535 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
139 /* 119*/ { 3, 336, 0, 65535, 1, 339 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
140 /* 120*/ { 3, 340, 0, 65535, 0, 65535 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
141 /* 121*/ { 3, 343, 0, 65535, 0, 8 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
142 /* 122*/ { 3, 346, 0, 65535, 0, 65535 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
143 /* 123*/ { 3, 349, 0, 65535, 0, 8 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
144 /* 124*/ { 0, 65535, 1, 352, 0, 65535 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
145 /* 125*/ { 0, 65535, 0, 65535, 1, 353 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
146 /* 126*/ { 3, 354, 0, 65535, 0, 65535 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
147 /* 127*/ { 3, 357, 0, 65535, 0, 65535 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
148 /* 128*/ { 3, 360, 0, 65535, 0, 65535 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
149 /* 129*/ { 3, 363, 0, 65535, 1, 366 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
150 /* 130*/ { 7, 367, 0, 65535, 0, 65535 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
151 /* 131*/ { 7, 374, 0, 65535, 0, 65535 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
152 /* 132*/ { 7, 381, 0, 65535, 0, 65535 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
153 /* 133*/ { 0, 65535, 1, 388, 0, 65535 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
154 /* 134*/ { 3, 389, 0, 65535, 0, 65535 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
155 /* 135*/ { 3, 392, 0, 65535, 0, 65535 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
156 /* 136*/ { 3, 395, 0, 65535, 0, 65535 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
157 /* 137*/ { 7, 398, 0, 65535, 0, 65535 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
158 /* 138*/ { 7, 405, 0, 65535, 0, 65535 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
159 /* 139*/ { 3, 412, 0, 65535, 0, 65535 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
160 /* 140*/ { 3, 415, 0, 65535, 0, 65535 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
161 /* 141*/ { 3, 418, 0, 65535, 0, 65535 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
162 /* 142*/ { 0, 65535, 1, 421, 0, 65535 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
163 /* 143*/ { 3, 422, 0, 65535, 0, 65535 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
164 /* 144*/ { 3, 425, 0, 65535, 0, 65535 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
165 /* 145*/ { 0, 65535, 1, 428, 0, 65535 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
166 /* 146*/ { 0, 65535, 1, 429, 0, 65535 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
167 /* 147*/ { 0, 65535, 1, 430, 0, 65535 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
168 /* 148*/ { 0, 65535, 1, 431, 0, 65535 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
169 /* 149*/ { 0, 65535, 1, 432, 0, 65535 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
170 /* mm */
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
171 /* conCalRef prolStepRef repCalRef */
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
172 /* idx numConCal numProlStep numRepCal */
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
173 /* 150*/ { 0, 65535, 0, 65535, 0, 0 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
174 /* 151*/ { 0, 65535, 0, 65535, 0, 3 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
175 /* 152*/ { 0, 65535, 0, 65535, 0, 2 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
176 /* 153*/ { 0, 65535, 8, 433, 0, 65535 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
177 /* 154*/ { 0, 65535, 1, 441, 0, 65535 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
178 /* 155*/ { 7, 442, 1, 449, 0, 0 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
179 /* 156*/ { 3, 450, 4, 453, 0, 65535 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
180 /* 157*/ { 3, 457, 1, 460, 0, 32 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
181 /* 158*/ { 3, 461, 1, 464, 0, 0 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
182 /* 159*/ { 0, 65535, 0, 65535, 0, 0 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
183 /* 160*/ { 0, 65535, 0, 65535, 0, 2 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
184 /* 161*/ { 0, 65535, 0, 65535, 0, 2 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
185 /* 162*/ { 0, 65535, 0, 65535, 0, 2 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
186 /* 163*/ { 0, 65535, 0, 65535, 0, 2 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
187 /* 164*/ { 0, 65535, 0, 65535, 0, 2 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
188 /* 165*/ { 0, 65535, 0, 65535, 0, 2 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
189 /* 166*/ { 0, 65535, 0, 65535, 0, 3 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
190 /* 167*/ { 0, 65535, 0, 65535, 0, 2 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
191 /* 168*/ { 0, 65535, 0, 65535, 0, 1 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
192 /* cc */
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
193 /* conCalRef prolStepRef repCalRef */
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
194 /* idx numConCal numProlStep numRepCal */
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
195 /* 169*/ { 0, 65535, 0, 65535, 0, 0 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
196 /* 170*/ { 0, 65535, 0, 65535, 0, 0 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
197 /* 171*/ { 0, 65535, 0, 65535, 0, 0 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
198 /* 172*/ { 0, 65535, 0, 65535, 0, 0 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
199 /* 173*/ { 0, 65535, 0, 65535, 0, 0 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
200 /* 174*/ { 0, 65535, 0, 65535, 0, 0 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
201 /* 175*/ { 0, 65535, 0, 65535, 0, 0 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
202 /* 176*/ { 0, 65535, 0, 65535, 0, 0 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
203 /* 177*/ { 0, 65535, 0, 65535, 0, 0 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
204 /* 178*/ { 0, 65535, 0, 65535, 0, 0 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
205 /* 179*/ { 0, 65535, 0, 65535, 0, 0 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
206 /* 180*/ { 0, 65535, 0, 65535, 0, 0 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
207 /* 181*/ { 0, 65535, 0, 65535, 0, 0 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
208 /* 182*/ { 0, 65535, 0, 65535, 0, 0 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
209 /* 183*/ { 0, 65535, 0, 65535, 0, 0 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
210 /* ss */
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
211 /* conCalRef prolStepRef repCalRef */
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
212 /* idx numConCal numProlStep numRepCal */
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
213 /* 184*/ { 0, 65535, 0, 65535, 0, 1 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
214 /* 185*/ { 0, 65535, 0, 65535, 0, 0 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
215 /* 186*/ { 0, 65535, 0, 65535, 0, 0 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
216 /* sms */
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
217 /* conCalRef prolStepRef repCalRef */
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
218 /* idx numConCal numProlStep numRepCal */
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
219 /* 187*/ { 0, 65535, 0, 65535, 0, 0 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
220 /* 188*/ { 0, 65535, 0, 65535, 0, 0 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
221 /* 189*/ { 0, 65535, 5, 465, 0, 65535 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
222 /* 190*/ { 0, 65535, 1, 470, 0, 65535 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
223 /* 191*/ { 3, 471, 0, 65535, 0, 65535 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
224 /* 192*/ { 3, 474, 0, 65535, 0, 65535 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
225 /* 193*/ { 3, 477, 0, 65535, 0, 65535 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
226 /* 194*/ { 3, 480, 0, 65535, 0, 65535 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
227 /* 195*/ { 3, 483, 0, 65535, 0, 65535 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
228 /* 196*/ { 3, 486, 0, 65535, 0, 65535 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
229 /* 197*/ { 0, 65535, 0, 65535, 0, 0 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
230 /* 198*/ { 0, 65535, 0, 65535, 1, 489 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
231 /* 199*/ { 0, 65535, 0, 65535, 0, 2 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
232 /* 200*/ { 0, 65535, 0, 65535, 0, 2 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
233 /* 201*/ { 0, 65535, 0, 65535, 0, 2 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
234 /* 202*/ { 0, 65535, 0, 65535, 0, 2 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
235 /* 203*/ { 0, 65535, 0, 65535, 0, 2 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
236 /* 204*/ { 0, 65535, 0, 65535, 0, 2 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
237 /* 205*/ { 3, 490, 0, 65535, 0, 65535 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
238 /* 206*/ { 3, 493, 0, 65535, 0, 65535 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
239 /* 207*/ { 3, 496, 0, 65535, 0, 65535 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
240 /* 208*/ { 3, 499, 0, 65535, 0, 65535 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
241 /* 209*/ { 3, 502, 0, 65535, 0, 2 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
242 /* 210*/ { 3, 505, 0, 65535, 0, 2 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
243 /* 211*/ { 3, 508, 0, 65535, 0, 2 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
244 /* 212*/ { 3, 511, 0, 65535, 0, 65535 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
245 /* 213*/ { 7, 514, 0, 65535, 0, 65535 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
246 /* 214*/ { 7, 521, 0, 65535, 0, 65535 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
247 /* 215*/ { 0, 65535, 0, 65535, 0, 0 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
248 /* 216*/ { 0, 65535, 0, 65535, 0, 0 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
249 /* 217*/ { 0, 65535, 0, 65535, 0, 0 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
250 /* 218*/ { 3, 528, 0, 65535, 0, 65535 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
251 /* 219*/ { 3, 531, 0, 65535, 0, 65535 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
252 /* 220*/ { 3, 534, 0, 65535, 0, 65535 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
253 /* 221*/ { 3, 537, 0, 65535, 0, 65535 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
254 /* 222*/ { 3, 540, 0, 65535, 0, 65535 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
255 /* 223*/ { 3, 543, 0, 65535, 0, 65535 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
256 /* 224*/ { 7, 546, 0, 65535, 0, 65535 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
257 /* 225*/ { 7, 553, 0, 65535, 0, 65535 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
258 /* 226*/ { 3, 560, 0, 65535, 0, 65535 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
259 /* 227*/ { 3, 563, 0, 65535, 0, 65535 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
260 /* 228*/ { 3, 566, 0, 65535, 0, 65535 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
261 /* 229*/ { 3, 569, 0, 65535, 0, 65535 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
262 /* 230*/ { 7, 572, 0, 65535, 0, 65535 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
263 /* 231*/ { 7, 579, 0, 65535, 0, 65535 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
264 /* 232*/ { 3, 586, 0, 65535, 0, 65535 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
265 /* 233*/ { 3, 589, 0, 65535, 0, 65535 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
266 /* 234*/ { 3, 592, 0, 65535, 0, 65535 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
267 /* 235*/ { 3, 595, 0, 65535, 0, 65535 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
268 /* 236*/ { 3, 598, 0, 65535, 0, 65535 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
269 /* 237*/ { 3, 601, 0, 65535, 0, 65535 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
270 /* 238*/ { 3, 604, 0, 65535, 0, 65535 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
271 /* 239*/ { 3, 607, 0, 65535, 0, 65535 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
272 /* 240*/ { 3, 610, 0, 65535, 0, 65535 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
273 /* 241*/ { 7, 613, 0, 65535, 0, 65535 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
274 /* 242*/ { 7, 620, 0, 65535, 0, 65535 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
275 /* 243*/ { 3, 627, 0, 65535, 0, 65535 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
276 /* 244*/ { 3, 630, 0, 65535, 0, 65535 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
277 /* 245*/ { 3, 633, 0, 65535, 0, 65535 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
278 /* 246*/ { 3, 636, 0, 65535, 0, 65535 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
279 /* 247*/ { 7, 639, 0, 65535, 0, 65535 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
280 /* 248*/ { 7, 646, 0, 65535, 0, 65535 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
281 /* 249*/ { 3, 653, 0, 65535, 0, 65535 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
282 /* 250*/ { 3, 656, 0, 65535, 0, 65535 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
283 /* 251*/ { 7, 659, 0, 65535, 0, 65535 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
284 /* 252*/ { 7, 666, 0, 65535, 0, 65535 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
285 /* 253*/ { 3, 673, 0, 65535, 0, 65535 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
286 /* 254*/ { 3, 676, 0, 65535, 0, 65535 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
287 /* 255*/ { 0, 65535, 5, 679, 0, 65535 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
288 /* 256*/ { 0, 65535, 1, 684, 0, 65535 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
289 /* fac */
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
290 /* conCalRef prolStepRef repCalRef */
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
291 /* idx numConCal numProlStep numRepCal */
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
292 /* 257*/ { 0, 65535, 0, 65535, 0, 0 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
293 /* 258*/ { 0, 65535, 0, 65535, 0, 0 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
294 /* 259*/ { 0, 65535, 0, 65535, 0, 1 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
295 /* 260*/ { 0, 65535, 0, 65535, 0, 1 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
296 /* 261*/ { 0, 65535, 0, 65535, 0, 1 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
297 /* 262*/ { 0, 65535, 0, 65535, 0, 0 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
298 /* 263*/ { 0, 65535, 0, 65535, 0, 1 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
299 /* 264*/ { 0, 65535, 0, 65535, 0, 1 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
300 /* 265*/ { 0, 65535, 0, 65535, 0, 1 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
301 /* 266*/ { 0, 65535, 0, 65535, 0, 4 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
302 /* 267*/ { 0, 65535, 0, 65535, 0, 0 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
303 /* 268*/ { 0, 65535, 0, 65535, 0, 1 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
304 /* 269*/ { 0, 65535, 0, 65535, 0, 0 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
305 /* 270*/ { 0, 65535, 0, 65535, 0, 0 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
306 /* 271*/ { 0, 65535, 0, 65535, 0, 1 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
307 /* 272*/ { 0, 65535, 0, 65535, 0, 0 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
308 /* 273*/ { 0, 65535, 0, 65535, 0, 0 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
309 /* 274*/ { 0, 65535, 0, 65535, 0, 0 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
310 /* sat */
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
311 /* conCalRef prolStepRef repCalRef */
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
312 /* idx numConCal numProlStep numRepCal */
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
313 /* 275*/ { 0, 65535, 0, 65535, 0, 0 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
314 /* 276*/ { 0, 65535, 0, 65535, 0, 0 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
315 /* 277*/ { 0, 65535, 0, 65535, 0, 0 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
316 /* 278*/ { 0, 65535, 0, 65535, 0, 0 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
317 /* 279*/ { 0, 65535, 0, 65535, 0, 0 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
318 /* 280*/ { 0, 65535, 0, 65535, 0, 241 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
319 /* 281*/ { 0, 65535, 0, 65535, 0, 7 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
320 /* 282*/ { 0, 65535, 0, 65535, 0, 1 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
321 /* 283*/ { 0, 65535, 0, 65535, 0, 0 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
322 /* 284*/ { 0, 65535, 0, 65535, 0, 1 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
323 /* 285*/ { 0, 65535, 0, 65535, 0, 0 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
324 /* 286*/ { 0, 65535, 0, 65535, 0, 0 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
325 /* 287*/ { 0, 65535, 0, 65535, 0, 241 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
326 /* 288*/ { 0, 65535, 0, 65535, 0, 0 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
327 /* 289*/ { 0, 65535, 0, 65535, 0, 0 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
328 /* 290*/ { 3, 685, 0, 65535, 0, 4 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
329 /* 291*/ { 3, 688, 0, 65535, 0, 16 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
330 /* 292*/ { 0, 65535, 0, 65535, 0, 0 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
331 /* 293*/ { 0, 65535, 0, 65535, 0, 0 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
332 /* 294*/ { 3, 691, 0, 65535, 0, 65535 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
333 /* 295*/ { 3, 694, 0, 65535, 0, 65535 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
334 /* 296*/ { 0, 65535, 0, 65535, 0, 0 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
335 /* 297*/ { 0, 65535, 0, 65535, 0, 0 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
336 /* 298*/ { 0, 65535, 0, 65535, 0, 0 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
337 /* 299*/ { 0, 65535, 0, 65535, 0, 241 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
338 /* 300*/ { 0, 65535, 0, 65535, 0, 241 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
339 /* 301*/ { 0, 65535, 0, 65535, 0, 241 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
340 /* 302*/ { 0, 65535, 0, 65535, 0, 241 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
341 /* 303*/ { 0, 65535, 0, 65535, 0, 241 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
342 /* 304*/ { 0, 65535, 0, 65535, 0, 241 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
343 /* 305*/ { 0, 65535, 0, 65535, 0, 1 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
344 /* 306*/ { 0, 65535, 0, 65535, 0, 241 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
345 /* 307*/ { 0, 65535, 0, 65535, 0, 241 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
346 /* 308*/ { 0, 65535, 0, 65535, 0, 241 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
347 /* 309*/ { 0, 65535, 0, 65535, 0, 241 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
348 /* 310*/ { 0, 65535, 0, 65535, 0, 241 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
349 /* 311*/ { 0, 65535, 0, 65535, 0, 241 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
350 /* 312*/ { 0, 65535, 0, 65535, 0, 0 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
351 /* 313*/ { 0, 65535, 0, 65535, 0, 0 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
352 /* 314*/ { 0, 65535, 0, 65535, 0, 0 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
353 /* t30 */
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
354 /* conCalRef prolStepRef repCalRef */
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
355 /* idx numConCal numProlStep numRepCal */
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
356 /* 315*/ { 0, 65535, 0, 65535, 0, 0 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
357 /* 316*/ { 0, 65535, 0, 65535, 0, 720 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
358 /* 317*/ { 0, 65535, 0, 65535, 0, 0 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
359 /* 318*/ { 0, 65535, 0, 65535, 0, 720 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
360 /* 319*/ { 0, 65535, 0, 65535, 0, 0 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
361 /* 320*/ { 0, 65535, 0, 65535, 0, 0 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
362 /* 321*/ { 0, 65535, 0, 65535, 0, 0 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
363 /* 322*/ { 0, 65535, 0, 65535, 0, 720 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
364 /* 323*/ { 0, 65535, 0, 65535, 0, 0 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
365 /* 324*/ { 0, 65535, 0, 65535, 0, 0 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
366 /* gmm */
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
367 /* conCalRef prolStepRef repCalRef */
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
368 /* idx numConCal numProlStep numRepCal */
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
369 /* 325*/ { 0, 65535, 0, 65535, 0, 16 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
370 /* 326*/ { 0, 65535, 0, 65535, 0, 3 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
371 /* 327*/ { 0, 65535, 0, 65535, 0, 2 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
372 /* 328*/ { 0, 65535, 8, 697, 0, 65535 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
373 /* 329*/ { 0, 65535, 1, 705, 0, 65535 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
374 /* 330*/ { 7, 706, 1, 713, 0, 0 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
375 /* 331*/ { 3, 714, 4, 717, 0, 65535 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
376 /* 332*/ { 3, 721, 1, 724, 0, 32 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
377 /* 333*/ { 3, 725, 1, 728, 0, 0 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
378 /* 334*/ { 0, 65535, 0, 65535, 3, 729 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
379 /* 335*/ { 0, 65535, 0, 65535, 0, 1 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
380 /* 336*/ { 0, 65535, 0, 65535, 0, 2 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
381 /* 337*/ { 0, 65535, 0, 65535, 0, 2 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
382 /* 338*/ { 0, 65535, 0, 65535, 0, 2 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
383 /* 339*/ { 0, 65535, 0, 65535, 0, 2 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
384 /* 340*/ { 0, 65535, 0, 65535, 0, 2 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
385 /* 341*/ { 0, 65535, 0, 65535, 0, 2 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
386 /* 342*/ { 0, 65535, 0, 65535, 0, 3 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
387 /* 343*/ { 0, 65535, 0, 65535, 0, 2 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
388 /* 344*/ { 0, 65535, 0, 65535, 0, 1 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
389 /* tst */
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
390 /* conCalRef prolStepRef repCalRef */
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
391 /* idx numConCal numProlStep numRepCal */
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
392 /* grlc */
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
393 /* conCalRef prolStepRef repCalRef */
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
394 /* idx numConCal numProlStep numRepCal */
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
395 /* 345*/ { 3, 732, 0, 65535, 0, 65535 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
396 /* 346*/ { 3, 735, 0, 65535, 0, 65535 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
397 /* 347*/ { 0, 65535, 0, 65535, 1, 738 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
398 /* 348*/ { 0, 65535, 0, 65535, 3, 739 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
399 /* 349*/ { 0, 65535, 0, 65535, 0, 64 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
400 /* 350*/ { 3, 742, 0, 65535, 0, 65535 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
401 /* 351*/ { 3, 745, 0, 65535, 0, 65535 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
402 /* 352*/ { 3, 748, 0, 65535, 0, 65535 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
403 /* 353*/ { 3, 751, 0, 65535, 0, 0 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
404 /* 354*/ { 3, 754, 0, 65535, 0, 65535 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
405 /* 355*/ { 3, 757, 0, 65535, 0, 65535 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
406 /* 356*/ { 0, 65535, 0, 65535, 0, 8 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
407 /* 357*/ { 3, 760, 0, 65535, 0, 65535 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
408 /* 358*/ { 3, 763, 0, 65535, 0, 65535 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
409 /* 359*/ { 0, 65535, 1, 766, 0, 65535 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
410 /* 360*/ { 0, 65535, 1, 767, 0, 65535 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
411 /* 361*/ { 0, 65535, 1, 768, 0, 65535 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
412 /* 362*/ { 0, 65535, 1, 769, 0, 65535 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
413 /* 363*/ { 0, 65535, 1, 770, 0, 65535 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
414 /* grr */
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
415 /* conCalRef prolStepRef repCalRef */
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
416 /* idx numConCal numProlStep numRepCal */
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
417 /* 364*/ { 3, 771, 0, 65535, 0, 65535 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
418 /* 365*/ { 3, 774, 0, 65535, 3, 777 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
419 /* 366*/ { 0, 65535, 0, 65535, 0, 0 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
420 /* 367*/ { 0, 65535, 0, 65535, 0, 0 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
421 /* 368*/ { 3, 780, 0, 65535, 0, 65535 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
422 /* 369*/ { 3, 783, 0, 65535, 0, 65535 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
423 /* 370*/ { 3, 786, 0, 65535, 0, 65535 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
424 /* 371*/ { 3, 789, 0, 65535, 0, 65535 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
425 /* 372*/ { 7, 792, 0, 65535, 0, 65535 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
426 /* 373*/ { 7, 799, 0, 65535, 0, 65535 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
427 /* 374*/ { 7, 806, 0, 65535, 0, 65535 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
428 /* 375*/ { 3, 813, 0, 65535, 0, 65535 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
429 /* 376*/ { 3, 816, 0, 65535, 0, 65535 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
430 /* 377*/ { 3, 819, 0, 65535, 0, 65535 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
431 /* 378*/ { 3, 822, 0, 65535, 0, 65535 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
432 /* 379*/ { 3, 825, 0, 65535, 0, 65535 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
433 /* 380*/ { 3, 828, 0, 65535, 0, 65535 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
434 /* 381*/ { 3, 831, 0, 65535, 0, 65535 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
435 /* 382*/ { 0, 65535, 0, 65535, 3, 834 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
436 /* 383*/ { 0, 65535, 0, 65535, 1, 837 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
437 /* 384*/ { 0, 65535, 0, 65535, 3, 838 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
438 /* 385*/ { 0, 65535, 0, 65535, 0, 3 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
439 /* 386*/ { 0, 65535, 0, 65535, 0, 2 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
440 /* 387*/ { 0, 65535, 0, 65535, 3, 841 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
441 /* 388*/ { 0, 65535, 0, 65535, 3, 844 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
442 /* 389*/ { 0, 65535, 0, 65535, 0, 0 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
443 /* 390*/ { 3, 847, 0, 65535, 0, 65535 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
444 /* 391*/ { 3, 850, 0, 65535, 0, 0 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
445 /* 392*/ { 7, 853, 0, 65535, 0, 65535 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
446 /* 393*/ { 7, 860, 0, 65535, 0, 65535 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
447 /* 394*/ { 7, 867, 0, 65535, 0, 65535 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
448 /* 395*/ { 7, 874, 0, 65535, 0, 65535 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
449 /* 396*/ { 3, 881, 0, 65535, 0, 65535 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
450 /* 397*/ { 7, 884, 0, 65535, 0, 65535 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
451 /* 398*/ { 7, 891, 0, 65535, 0, 65535 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
452 /* 399*/ { 0, 65535, 0, 65535, 0, 0 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
453 /* 400*/ { 3, 898, 0, 65535, 0, 0 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
454 /* 401*/ { 3, 901, 0, 65535, 0, 65535 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
455 /* 402*/ { 3, 904, 0, 65535, 0, 65535 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
456 /* 403*/ { 3, 907, 0, 65535, 0, 65535 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
457 /* 404*/ { 3, 910, 0, 65535, 0, 65535 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
458 /* 405*/ { 3, 913, 0, 65535, 0, 65535 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
459 /* 406*/ { 0, 65535, 0, 65535, 0, 0 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
460 /* 407*/ { 0, 65535, 0, 65535, 3, 916 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
461 /* 408*/ { 0, 65535, 0, 65535, 1, 919 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
462 /* 409*/ { 0, 65535, 0, 65535, 1, 920 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
463 /* 410*/ { 0, 65535, 0, 65535, 0, 4 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
464 /* 411*/ { 0, 65535, 0, 65535, 0, 4 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
465 /* 412*/ { 0, 65535, 0, 65535, 0, 64 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
466 /* 413*/ { 0, 65535, 0, 65535, 1, 921 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
467 /* 414*/ { 3, 922, 0, 65535, 0, 65535 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
468 /* 415*/ { 3, 925, 0, 65535, 0, 65535 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
469 /* 416*/ { 3, 928, 0, 65535, 0, 65535 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
470 /* 417*/ { 3, 931, 0, 65535, 0, 65535 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
471 /* 418*/ { 3, 934, 0, 65535, 0, 65535 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
472 /* 419*/ { 3, 937, 0, 65535, 0, 65535 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
473 /* 420*/ { 3, 940, 0, 65535, 0, 65535 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
474 /* 421*/ { 3, 943, 0, 65535, 0, 65535 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
475 /* 422*/ { 3, 946, 0, 65535, 0, 65535 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
476 /* 423*/ { 3, 949, 0, 65535, 0, 0 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
477 /* 424*/ { 3, 952, 0, 65535, 0, 65535 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
478 /* 425*/ { 3, 955, 0, 65535, 0, 65535 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
479 /* 426*/ { 3, 958, 0, 65535, 0, 65535 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
480 /* 427*/ { 3, 961, 0, 65535, 0, 65535 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
481 /* 428*/ { 7, 964, 0, 65535, 0, 65535 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
482 /* 429*/ { 7, 971, 0, 65535, 0, 65535 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
483 /* 430*/ { 11, 978, 0, 65535, 0, 65535 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
484 /* 431*/ { 11, 989, 0, 65535, 0, 65535 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
485 /* 432*/ { 3, 1000, 0, 65535, 0, 65535 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
486 /* 433*/ { 3, 1003, 0, 65535, 0, 65535 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
487 /* 434*/ { 3, 1006, 0, 65535, 0, 65535 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
488 /* 435*/ { 3, 1009, 0, 65535, 0, 65535 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
489 /* 436*/ { 0, 65535, 0, 65535, 0, 8 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
490 /* 437*/ { 3, 1012, 0, 65535, 0, 65535 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
491 /* 438*/ { 3, 1015, 0, 65535, 0, 65535 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
492 /* 439*/ { 3, 1018, 0, 65535, 0, 65535 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
493 /* 440*/ { 3, 1021, 0, 65535, 0, 0 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
494 /* 441*/ { 3, 1024, 0, 65535, 0, 65535 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
495 /* 442*/ { 3, 1027, 0, 65535, 0, 65535 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
496 /* 443*/ { 3, 1030, 0, 65535, 0, 65535 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
497 /* 444*/ { 3, 1033, 0, 65535, 0, 0 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
498 /* 445*/ { 0, 65535, 0, 65535, 0, 8 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
499 /* 446*/ { 3, 1036, 0, 65535, 0, 65535 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
500 /* 447*/ { 3, 1039, 0, 65535, 0, 65535 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
501 /* 448*/ { 3, 1042, 0, 65535, 0, 8 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
502 /* 449*/ { 3, 1045, 0, 65535, 0, 65535 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
503 /* 450*/ { 0, 65535, 0, 65535, 3, 1048 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
504 /* 451*/ { 0, 65535, 2, 1051, 0, 65535 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
505 /* 452*/ { 0, 65535, 0, 65535, 1, 1053 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
506 /* 453*/ { 3, 1054, 0, 65535, 0, 65535 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
507 /* 454*/ { 7, 1057, 0, 65535, 0, 65535 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
508 /* 455*/ { 7, 1064, 0, 65535, 0, 65535 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
509 /* 456*/ { 11, 1071, 0, 65535, 0, 65535 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
510 /* 457*/ { 0, 65535, 0, 65535, 0, 0 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
511 /* 458*/ { 3, 1082, 0, 65535, 0, 65535 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
512 /* 459*/ { 0, 65535, 2, 1085, 0, 65535 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
513 /* 460*/ { 0, 65535, 0, 65535, 1, 1087 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
514 /* 461*/ { 3, 1088, 2, 1091, 0, 65535 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
515 /* 462*/ { 3, 1093, 0, 65535, 0, 0 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
516 /* 463*/ { 0, 65535, 0, 65535, 0, 0 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
517 /* 464*/ { 0, 65535, 2, 1096, 0, 65535 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
518 /* 465*/ { 3, 1098, 0, 65535, 0, 0 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
519 /* 466*/ { 3, 1101, 0, 65535, 3, 1104 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
520 /* 467*/ { 0, 65535, 2, 1107, 0, 65535 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
521 /* 468*/ { 0, 65535, 0, 65535, 1, 1109 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
522 /* 469*/ { 0, 65535, 0, 65535, 0, 1 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
523 /* 470*/ { 3, 1110, 0, 65535, 0, 65535 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
524 /* 471*/ { 3, 1113, 0, 65535, 0, 65535 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
525 /* 472*/ { 3, 1116, 0, 65535, 0, 8 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
526 /* 473*/ { 3, 1119, 0, 65535, 0, 65535 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
527 /* 474*/ { 0, 65535, 0, 65535, 0, 0 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
528 /* 475*/ { 0, 65535, 1, 1122, 0, 65535 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
529 /* 476*/ { 0, 65535, 1, 1123, 0, 65535 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
530 /* 477*/ { 3, 1124, 0, 65535, 0, 65535 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
531 /* 478*/ { 3, 1127, 0, 65535, 0, 65535 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
532 /* 479*/ { 0, 65535, 1, 1130, 0, 65535 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
533 /* 480*/ { 7, 1131, 0, 65535, 0, 65535 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
534 /* 481*/ { 7, 1138, 0, 65535, 0, 65535 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
535 /* 482*/ { 7, 1145, 0, 65535, 0, 65535 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
536 /* 483*/ { 0, 65535, 1, 1152, 0, 65535 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
537 /* 484*/ { 0, 65535, 1, 1153, 0, 65535 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
538 /* 485*/ { 0, 65535, 1, 1154, 0, 65535 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
539 /* 486*/ { 0, 65535, 0, 65535, 0, 0 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
540 /* 487*/ { 0, 65535, 1, 1155, 0, 65535 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
541 /* 488*/ { 0, 65535, 1, 1156, 0, 65535 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
542 /* 489*/ { 0, 65535, 1, 1157, 0, 65535 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
543 /* 490*/ { 0, 65535, 1, 1158, 0, 65535 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
544 /* 491*/ { 0, 65535, 0, 65535, 0, 0 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
545 /* 492*/ { 0, 65535, 0, 65535, 0, 0 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
546 /* 493*/ { 0, 65535, 0, 65535, 0, 0 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
547 /* 494*/ { 0, 65535, 0, 65535, 0, 0 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
548 /* 495*/ { 0, 65535, 1, 1159, 0, 65535 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
549 /* 496*/ { 0, 65535, 0, 65535, 0, 0 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
550 /* 497*/ { 0, 65535, 1, 1160, 0, 65535 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
551 /* 498*/ { 0, 65535, 0, 65535, 0, 0 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
552 /* 499*/ { 0, 65535, 0, 65535, 0, 0 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
553 /* 500*/ { 0, 65535, 1, 1161, 0, 65535 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
554 /* 501*/ { 0, 65535, 1, 1162, 0, 65535 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
555 /* 502*/ { 0, 65535, 1, 1163, 0, 65535 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
556 /* 503*/ { 3, 1164, 0, 65535, 0, 65535 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
557 /* 504*/ { 3, 1167, 0, 65535, 0, 65535 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
558 /* 505*/ { 0, 65535, 1, 1170, 0, 65535 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
559 /* 506*/ { 0, 65535, 1, 1171, 0, 65535 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
560 /* 507*/ { 0, 65535, 1, 1172, 0, 65535 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
561 /* 508*/ { 0, 65535, 1, 1173, 0, 65535 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
562 /* 509*/ { 0, 65535, 1, 1174, 0, 65535 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
563 /* 510*/ { 0, 65535, 1, 1175, 0, 65535 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
564 /* 511*/ { 3, 1176, 0, 65535, 0, 65535 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
565 /* 512*/ { 3, 1179, 0, 65535, 0, 65535 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
566 /* 513*/ { 0, 65535, 1, 1182, 0, 65535 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
567 /* 514*/ { 0, 65535, 1, 1183, 0, 65535 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
568 /* 515*/ { 0, 65535, 1, 1184, 0, 65535 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
569 /* 516*/ { 3, 1185, 0, 65535, 0, 65535 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
570 /* 517*/ { 0, 65535, 1, 1188, 0, 65535 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
571 /* 518*/ { 0, 65535, 1, 1189, 0, 65535 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
572 /* 519*/ { 3, 1190, 0, 65535, 0, 65535 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
573 /* 520*/ { 11, 1193, 0, 65535, 0, 65535 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
574 /* 521*/ { 11, 1204, 0, 65535, 0, 65535 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
575 /* 522*/ { 0, 65535, 1, 1215, 0, 65535 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
576 /* 523*/ { 0, 65535, 1, 1216, 0, 65535 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
577 /* 524*/ { 0, 65535, 1, 1217, 0, 65535 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
578 /* 525*/ { 3, 1218, 0, 65535, 0, 65535 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
579 /* 526*/ { 3, 1221, 0, 65535, 0, 65535 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
580 /* 527*/ { 0, 65535, 1, 1224, 0, 65535 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
581 /* sm */
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
582 /* conCalRef prolStepRef repCalRef */
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
583 /* idx numConCal numProlStep numRepCal */
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
584 /* 528*/ { 0, 65535, 0, 65535, 0, 0 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
585 /* 529*/ { 0, 65535, 0, 65535, 0, 3 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
586 /* 530*/ { 0, 65535, 0, 65535, 0, 2 },
56abf6cf8a0b cdg211: cdginc/mdf/pdf files from TCS211-20070608
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
587 /*65535*/ { 0, 65535, 0, 65535, 0, 65535 },