FreeCalypso > hg > fc-magnetite

annotate cdg-hybrid/cdginc/calcidx.cdg @ 306:67d1fd7c824c

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
serialswitch.c: allow enabling SERIAL_DYNAMIC_SWITCH outside of BTEMOBILE
author Mychaela Falconia <falcon@freecalypso.org>
date Thu, 02 Nov 2017 05:42:39 +0000
parents e7a67accfad9
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
212
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
1 /*
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
2 +--------------------------------------------------------------------------+
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
3 | PROJECT : PROTOCOL STACK |
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
4 | FILE : calcidx.cdg |
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
5 | SOURCE : "msg\rr_com.mdf" |
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
6 | LastModified : "2004-01-16" |
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
7 | IdAndVersion : "8010.606.02.008" |
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
8 | SrcFileTime : "Wed Nov 28 10:20:42 2007" |
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
9 | Generated by CCDGEN_2.5.5A on Fri Oct 14 21:41:53 2016 |
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
10 | !!DO NOT MODIFY!!DO NOT MODIFY!!DO NOT MODIFY!! |
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
11 +--------------------------------------------------------------------------+
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
12 */
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
13
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
14 /* rr_com */
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
15 /* conCalRef prolStepRef repCalRef */
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
16 /* idx numConCal numProlStep numRepCal */
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
17 /* 0*/ { 0, 65535, 0, 65535, 0, 65535 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
18 /* 1*/ { 3, 8, 0, 65535, 0, 65535 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
19 /* 2*/ { 0, 65535, 0, 65535, 0, 5 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
20 /* 3*/ { 7, 12, 0, 65535, 0, 65535 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
21 /* 4*/ { 11, 19, 0, 65535, 0, 65535 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
22 /* 5*/ { 19, 30, 0, 65535, 0, 65535 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
23 /* 6*/ { 0, 65535, 1, 49, 0, 65535 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
24 /* 7*/ { 0, 65535, 0, 65535, 3, 156 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
25 /* rr */
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
26 /* conCalRef prolStepRef repCalRef */
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
27 /* idx numConCal numProlStep numRepCal */
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
28 /* 8*/ { 0, 65535, 0, 65535, 0, 2 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
29 /* 9*/ { 3, 159, 0, 65535, 0, 65535 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
30 /* 10*/ { 3, 162, 0, 65535, 0, 65535 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
31 /* 11*/ { 3, 165, 0, 65535, 0, 65535 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
32 /* 12*/ { 3, 168, 0, 65535, 0, 65535 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
33 /* 13*/ { 3, 171, 0, 65535, 0, 65535 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
34 /* 14*/ { 3, 174, 0, 65535, 0, 3 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
35 /* 15*/ { 3, 177, 0, 65535, 0, 65535 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
36 /* 16*/ { 3, 180, 0, 65535, 0, 65535 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
37 /* 17*/ { 3, 183, 0, 65535, 0, 65535 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
38 /* 18*/ { 3, 186, 0, 65535, 0, 65535 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
39 /* 19*/ { 3, 189, 0, 65535, 0, 65535 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
40 /* 20*/ { 0, 65535, 0, 65535, 0, 21 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
41 /* 21*/ { 0, 65535, 0, 65535, 0, 16 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
42 /* 22*/ { 0, 65535, 0, 65535, 0, 1 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
43 /* 23*/ { 0, 65535, 0, 65535, 0, 0 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
44 /* 24*/ { 0, 65535, 0, 65535, 0, 0 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
45 /* 25*/ { 0, 65535, 1, 192, 0, 65535 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
46 /* 26*/ { 0, 65535, 0, 65535, 0, 2 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
47 /* 27*/ { 0, 65535, 0, 65535, 0, 0 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
48 /* 28*/ { 3, 193, 0, 65535, 0, 65535 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
49 /* 29*/ { 3, 196, 0, 65535, 3, 199 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
50 /* 30*/ { 3, 202, 0, 65535, 0, 0 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
51 /* 31*/ { 3, 205, 0, 65535, 0, 65535 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
52 /* 32*/ { 3, 208, 0, 65535, 0, 65535 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
53 /* 33*/ { 3, 211, 0, 65535, 0, 65535 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
54 /* 34*/ { 3, 214, 0, 65535, 0, 65535 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
55 /* 35*/ { 3, 217, 0, 65535, 0, 1 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
56 /* 36*/ { 3, 220, 0, 65535, 0, 65535 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
57 /* 37*/ { 3, 223, 0, 65535, 1, 226 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
58 /* 38*/ { 3, 227, 0, 65535, 0, 65535 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
59 /* 39*/ { 3, 230, 0, 65535, 0, 65535 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
60 /* 40*/ { 3, 233, 0, 65535, 0, 65535 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
61 /* 41*/ { 3, 236, 0, 65535, 0, 65535 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
62 /* 42*/ { 3, 239, 0, 65535, 0, 65535 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
63 /* 43*/ { 3, 242, 0, 65535, 0, 65535 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
64 /* 44*/ { 3, 245, 0, 65535, 0, 65535 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
65 /* 45*/ { 3, 248, 0, 65535, 3, 251 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
66 /* 46*/ { 0, 65535, 0, 65535, 0, 3 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
67 /* 47*/ { 0, 65535, 0, 65535, 0, 2 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
68 /* 48*/ { 0, 65535, 0, 65535, 0, 0 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
69 /* 49*/ { 0, 65535, 0, 65535, 0, 1 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
70 /* 50*/ { 0, 65535, 8, 255, 0, 65535 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
71 /* 51*/ { 0, 65535, 1, 263, 0, 65535 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
72 /* 52*/ { 7, 264, 1, 271, 0, 0 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
73 /* 53*/ { 3, 272, 4, 275, 0, 65535 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
74 /* 54*/ { 3, 279, 1, 282, 0, 32 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
75 /* 55*/ { 3, 283, 0, 65535, 0, 65535 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
76 /* 56*/ { 3, 286, 0, 65535, 3, 289 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
77 /* 57*/ { 3, 292, 0, 65535, 0, 65535 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
78 /* 58*/ { 3, 295, 0, 65535, 0, 65535 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
79 /* 59*/ { 0, 65535, 0, 65535, 0, 0 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
80 /* 60*/ { 0, 65535, 0, 65535, 0, 6 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
81 /* 61*/ { 0, 65535, 0, 65535, 0, 0 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
82 /* 62*/ { 0, 65535, 1, 298, 0, 65535 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
83 /* 63*/ { 0, 65535, 0, 65535, 0, 3 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
84 /* 64*/ { 0, 65535, 0, 65535, 0, 3 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
85 /* 65*/ { 3, 299, 0, 65535, 0, 65535 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
86 /* 66*/ { 3, 302, 0, 65535, 0, 65535 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
87 /* 67*/ { 7, 305, 0, 65535, 0, 65535 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
88 /* 68*/ { 11, 312, 0, 65535, 0, 65535 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
89 /* 69*/ { 7, 323, 0, 65535, 0, 65535 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
90 /* 70*/ { 7, 330, 0, 65535, 0, 65535 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
91 /* 71*/ { 11, 337, 0, 65535, 0, 65535 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
92 /* 72*/ { 11, 348, 0, 65535, 0, 65535 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
93 /* 73*/ { 3, 359, 0, 65535, 0, 65535 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
94 /* 74*/ { 3, 362, 0, 65535, 0, 65535 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
95 /* 75*/ { 7, 365, 0, 65535, 0, 65535 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
96 /* 76*/ { 3, 372, 0, 65535, 0, 65535 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
97 /* 77*/ { 3, 375, 0, 65535, 3, 378 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
98 /* 78*/ { 0, 65535, 0, 65535, 0, 0 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
99 /* 79*/ { 3, 381, 0, 65535, 0, 65535 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
100 /* 80*/ { 3, 384, 0, 65535, 0, 65535 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
101 /* 81*/ { 7, 387, 0, 65535, 0, 65535 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
102 /* 82*/ { 7, 394, 0, 65535, 0, 65535 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
103 /* 83*/ { 0, 65535, 0, 65535, 0, 3 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
104 /* 84*/ { 0, 65535, 0, 65535, 0, 2 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
105 /* 85*/ { 0, 65535, 0, 65535, 0, 0 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
106 /* 86*/ { 0, 65535, 1, 401, 0, 65535 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
107 /* 87*/ { 3, 402, 0, 65535, 0, 65535 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
108 /* 88*/ { 3, 405, 0, 65535, 0, 65535 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
109 /* 89*/ { 0, 65535, 1, 408, 0, 65535 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
110 /* 90*/ { 0, 65535, 1, 409, 0, 65535 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
111 /* 91*/ { 0, 65535, 1, 410, 0, 65535 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
112 /* 92*/ { 3, 411, 0, 65535, 0, 65535 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
113 /* 93*/ { 3, 414, 0, 65535, 0, 65535 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
114 /* 94*/ { 3, 417, 0, 65535, 0, 65535 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
115 /* 95*/ { 3, 420, 0, 65535, 0, 65535 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
116 /* 96*/ { 3, 423, 0, 65535, 0, 65535 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
117 /* 97*/ { 3, 426, 0, 65535, 0, 65535 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
118 /* 98*/ { 3, 429, 0, 65535, 0, 65535 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
119 /* 99*/ { 3, 432, 0, 65535, 0, 65535 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
120 /* 100*/ { 3, 435, 0, 65535, 0, 65535 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
121 /* 101*/ { 3, 438, 0, 65535, 0, 65535 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
122 /* 102*/ { 3, 441, 0, 65535, 0, 65535 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
123 /* 103*/ { 3, 444, 0, 65535, 0, 65535 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
124 /* 104*/ { 3, 447, 0, 65535, 0, 65535 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
125 /* 105*/ { 3, 450, 0, 65535, 0, 65535 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
126 /* 106*/ { 0, 65535, 1, 453, 0, 65535 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
127 /* 107*/ { 0, 65535, 1, 454, 0, 65535 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
128 /* 108*/ { 0, 65535, 0, 65535, 0, 8 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
129 /* 109*/ { 0, 65535, 0, 65535, 0, 4 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
130 /* 110*/ { 0, 65535, 1, 455, 0, 65535 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
131 /* 111*/ { 0, 65535, 0, 65535, 0, 3 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
132 /* 112*/ { 0, 65535, 1, 456, 0, 65535 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
133 /* 113*/ { 0, 65535, 0, 65535, 0, 2 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
134 /* 114*/ { 0, 65535, 1, 457, 0, 65535 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
135 /* 115*/ { 0, 65535, 1, 458, 0, 65535 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
136 /* 116*/ { 3, 459, 0, 65535, 0, 65535 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
137 /* 117*/ { 3, 462, 0, 65535, 0, 65535 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
138 /* 118*/ { 3, 465, 0, 65535, 0, 65535 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
139 /* 119*/ { 3, 468, 0, 65535, 0, 65535 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
140 /* 120*/ { 3, 471, 0, 65535, 1, 474 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
141 /* 121*/ { 3, 475, 0, 65535, 0, 65535 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
142 /* 122*/ { 3, 478, 0, 65535, 0, 8 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
143 /* 123*/ { 3, 481, 0, 65535, 0, 65535 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
144 /* 124*/ { 3, 484, 0, 65535, 0, 8 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
145 /* 125*/ { 0, 65535, 0, 65535, 1, 488 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
146 /* 126*/ { 3, 489, 0, 65535, 0, 65535 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
147 /* 127*/ { 3, 492, 0, 65535, 0, 65535 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
148 /* 128*/ { 3, 495, 0, 65535, 0, 65535 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
149 /* 129*/ { 3, 498, 0, 65535, 1, 501 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
150 /* 130*/ { 7, 502, 0, 65535, 0, 65535 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
151 /* 131*/ { 7, 509, 0, 65535, 0, 65535 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
152 /* 132*/ { 7, 516, 0, 65535, 0, 65535 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
153 /* 133*/ { 0, 65535, 1, 523, 0, 65535 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
154 /* 134*/ { 3, 524, 0, 65535, 0, 65535 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
155 /* 135*/ { 3, 527, 0, 65535, 0, 65535 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
156 /* 136*/ { 3, 530, 0, 65535, 0, 65535 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
157 /* 137*/ { 7, 533, 0, 65535, 0, 65535 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
158 /* 138*/ { 7, 540, 0, 65535, 0, 65535 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
159 /* 139*/ { 3, 547, 0, 65535, 0, 65535 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
160 /* 140*/ { 0, 65535, 1, 553, 0, 65535 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
161 /* 141*/ { 3, 580, 0, 65535, 0, 65535 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
162 /* 142*/ { 3, 583, 0, 65535, 0, 65535 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
163 /* 143*/ { 0, 65535, 1, 586, 0, 65535 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
164 /* 144*/ { 0, 65535, 1, 587, 0, 65535 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
165 /* 145*/ { 3, 588, 0, 65535, 0, 65535 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
166 /* 146*/ { 3, 591, 0, 65535, 0, 65535 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
167 /* 147*/ { 0, 65535, 1, 594, 0, 65535 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
168 /* 148*/ { 0, 65535, 1, 595, 0, 65535 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
169 /* 149*/ { 0, 65535, 1, 596, 0, 65535 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
170 /* 150*/ { 0, 65535, 1, 597, 0, 65535 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
171 /* 151*/ { 0, 65535, 1, 598, 0, 65535 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
172 /* rr_short_pd */
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
173 /* conCalRef prolStepRef repCalRef */
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
174 /* idx numConCal numProlStep numRepCal */
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
175 /* 152*/ { 0, 65535, 0, 65535, 1, 599 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
176 /* 153*/ { 0, 65535, 0, 65535, 0, 0 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
177 /* 154*/ { 0, 65535, 0, 65535, 0, 0 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
178 /* 155*/ { 0, 65535, 1, 600, 0, 65535 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
179 /* 156*/ { 0, 65535, 1, 601, 0, 65535 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
180 /* mm */
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
181 /* conCalRef prolStepRef repCalRef */
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
182 /* idx numConCal numProlStep numRepCal */
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
183 /* 157*/ { 0, 65535, 0, 65535, 0, 0 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
184 /* 158*/ { 0, 65535, 0, 65535, 0, 3 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
185 /* 159*/ { 0, 65535, 0, 65535, 0, 2 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
186 /* 160*/ { 0, 65535, 8, 602, 0, 65535 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
187 /* 161*/ { 0, 65535, 1, 610, 0, 65535 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
188 /* 162*/ { 7, 611, 1, 618, 0, 0 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
189 /* 163*/ { 3, 619, 4, 622, 0, 65535 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
190 /* 164*/ { 3, 626, 1, 629, 0, 32 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
191 /* 165*/ { 3, 630, 1, 633, 0, 0 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
192 /* 166*/ { 0, 65535, 0, 65535, 0, 0 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
193 /* 167*/ { 0, 65535, 0, 65535, 0, 2 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
194 /* 168*/ { 0, 65535, 0, 65535, 0, 2 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
195 /* 169*/ { 0, 65535, 0, 65535, 0, 2 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
196 /* 170*/ { 0, 65535, 0, 65535, 0, 2 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
197 /* 171*/ { 0, 65535, 0, 65535, 0, 2 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
198 /* 172*/ { 0, 65535, 0, 65535, 0, 2 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
199 /* 173*/ { 0, 65535, 0, 65535, 0, 3 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
200 /* 174*/ { 0, 65535, 0, 65535, 0, 2 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
201 /* 175*/ { 0, 65535, 0, 65535, 0, 1 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
202 /* cc */
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
203 /* conCalRef prolStepRef repCalRef */
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
204 /* idx numConCal numProlStep numRepCal */
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
205 /* 176*/ { 0, 65535, 0, 65535, 0, 0 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
206 /* 177*/ { 0, 65535, 0, 65535, 0, 0 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
207 /* 178*/ { 0, 65535, 0, 65535, 0, 0 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
208 /* 179*/ { 0, 65535, 0, 65535, 0, 0 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
209 /* 180*/ { 0, 65535, 0, 65535, 0, 0 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
210 /* 181*/ { 0, 65535, 0, 65535, 0, 0 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
211 /* 182*/ { 0, 65535, 0, 65535, 0, 0 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
212 /* 183*/ { 0, 65535, 0, 65535, 0, 0 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
213 /* 184*/ { 0, 65535, 0, 65535, 0, 0 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
214 /* 185*/ { 0, 65535, 0, 65535, 0, 0 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
215 /* 186*/ { 0, 65535, 0, 65535, 0, 0 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
216 /* 187*/ { 0, 65535, 0, 65535, 0, 0 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
217 /* 188*/ { 0, 65535, 0, 65535, 0, 0 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
218 /* 189*/ { 0, 65535, 0, 65535, 0, 0 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
219 /* 190*/ { 0, 65535, 0, 65535, 0, 0 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
220 /* ss */
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
221 /* conCalRef prolStepRef repCalRef */
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
222 /* idx numConCal numProlStep numRepCal */
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
223 /* 191*/ { 0, 65535, 0, 65535, 0, 1 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
224 /* 192*/ { 0, 65535, 0, 65535, 0, 0 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
225 /* 193*/ { 0, 65535, 0, 65535, 0, 0 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
226 /* sms */
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
227 /* conCalRef prolStepRef repCalRef */
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
228 /* idx numConCal numProlStep numRepCal */
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
229 /* 194*/ { 0, 65535, 0, 65535, 0, 0 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
230 /* 195*/ { 0, 65535, 0, 65535, 0, 0 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
231 /* 196*/ { 0, 65535, 5, 634, 0, 65535 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
232 /* 197*/ { 0, 65535, 1, 639, 0, 65535 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
233 /* 198*/ { 3, 640, 0, 65535, 0, 65535 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
234 /* 199*/ { 3, 643, 0, 65535, 0, 65535 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
235 /* 200*/ { 3, 646, 0, 65535, 0, 65535 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
236 /* 201*/ { 3, 649, 0, 65535, 0, 65535 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
237 /* 202*/ { 3, 652, 0, 65535, 0, 65535 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
238 /* 203*/ { 3, 655, 0, 65535, 0, 65535 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
239 /* 204*/ { 0, 65535, 0, 65535, 0, 0 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
240 /* 205*/ { 0, 65535, 0, 65535, 1, 658 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
241 /* 206*/ { 0, 65535, 0, 65535, 0, 2 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
242 /* 207*/ { 0, 65535, 0, 65535, 0, 2 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
243 /* 208*/ { 0, 65535, 0, 65535, 0, 2 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
244 /* 209*/ { 0, 65535, 0, 65535, 0, 2 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
245 /* 210*/ { 0, 65535, 0, 65535, 0, 2 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
246 /* 211*/ { 0, 65535, 0, 65535, 0, 2 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
247 /* 212*/ { 3, 659, 0, 65535, 0, 65535 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
248 /* 213*/ { 3, 662, 0, 65535, 0, 65535 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
249 /* 214*/ { 3, 665, 0, 65535, 0, 65535 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
250 /* 215*/ { 3, 668, 0, 65535, 0, 65535 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
251 /* 216*/ { 3, 671, 0, 65535, 0, 2 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
252 /* 217*/ { 3, 674, 0, 65535, 0, 2 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
253 /* 218*/ { 3, 677, 0, 65535, 0, 2 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
254 /* 219*/ { 3, 680, 0, 65535, 0, 65535 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
255 /* 220*/ { 7, 683, 0, 65535, 0, 65535 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
256 /* 221*/ { 7, 690, 0, 65535, 0, 65535 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
257 /* 222*/ { 0, 65535, 0, 65535, 0, 0 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
258 /* 223*/ { 0, 65535, 0, 65535, 0, 0 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
259 /* 224*/ { 0, 65535, 0, 65535, 0, 0 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
260 /* 225*/ { 3, 697, 0, 65535, 0, 65535 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
261 /* 226*/ { 3, 700, 0, 65535, 0, 65535 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
262 /* 227*/ { 3, 703, 0, 65535, 0, 65535 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
263 /* 228*/ { 3, 706, 0, 65535, 0, 65535 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
264 /* 229*/ { 3, 709, 0, 65535, 0, 65535 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
265 /* 230*/ { 3, 712, 0, 65535, 0, 65535 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
266 /* 231*/ { 7, 715, 0, 65535, 0, 65535 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
267 /* 232*/ { 7, 722, 0, 65535, 0, 65535 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
268 /* 233*/ { 3, 729, 0, 65535, 0, 65535 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
269 /* 234*/ { 3, 732, 0, 65535, 0, 65535 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
270 /* 235*/ { 3, 735, 0, 65535, 0, 65535 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
271 /* 236*/ { 3, 738, 0, 65535, 0, 65535 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
272 /* 237*/ { 7, 741, 0, 65535, 0, 65535 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
273 /* 238*/ { 7, 748, 0, 65535, 0, 65535 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
274 /* 239*/ { 3, 755, 0, 65535, 0, 65535 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
275 /* 240*/ { 3, 758, 0, 65535, 0, 65535 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
276 /* 241*/ { 3, 761, 0, 65535, 0, 65535 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
277 /* 242*/ { 3, 764, 0, 65535, 0, 65535 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
278 /* 243*/ { 3, 767, 0, 65535, 0, 65535 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
279 /* 244*/ { 3, 770, 0, 65535, 0, 65535 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
280 /* 245*/ { 3, 773, 0, 65535, 0, 65535 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
281 /* 246*/ { 3, 776, 0, 65535, 0, 65535 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
282 /* 247*/ { 3, 779, 0, 65535, 0, 65535 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
283 /* 248*/ { 7, 782, 0, 65535, 0, 65535 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
284 /* 249*/ { 7, 789, 0, 65535, 0, 65535 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
285 /* 250*/ { 3, 796, 0, 65535, 0, 65535 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
286 /* 251*/ { 3, 799, 0, 65535, 0, 65535 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
287 /* 252*/ { 3, 802, 0, 65535, 0, 65535 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
288 /* 253*/ { 3, 805, 0, 65535, 0, 65535 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
289 /* 254*/ { 7, 808, 0, 65535, 0, 65535 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
290 /* 255*/ { 7, 815, 0, 65535, 0, 65535 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
291 /* 256*/ { 3, 822, 0, 65535, 0, 65535 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
292 /* 257*/ { 3, 825, 0, 65535, 0, 65535 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
293 /* 258*/ { 7, 828, 0, 65535, 0, 65535 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
294 /* 259*/ { 7, 835, 0, 65535, 0, 65535 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
295 /* 260*/ { 3, 842, 0, 65535, 0, 65535 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
296 /* 261*/ { 3, 845, 0, 65535, 0, 65535 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
297 /* 262*/ { 0, 65535, 5, 848, 0, 65535 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
298 /* 263*/ { 0, 65535, 1, 853, 0, 65535 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
299 /* fac */
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
300 /* conCalRef prolStepRef repCalRef */
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
301 /* idx numConCal numProlStep numRepCal */
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
302 /* 264*/ { 0, 65535, 0, 65535, 0, 0 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
303 /* 265*/ { 0, 65535, 0, 65535, 0, 0 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
304 /* 266*/ { 0, 65535, 0, 65535, 0, 1 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
305 /* 267*/ { 0, 65535, 0, 65535, 0, 1 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
306 /* 268*/ { 0, 65535, 0, 65535, 0, 1 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
307 /* 269*/ { 0, 65535, 0, 65535, 0, 0 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
308 /* 270*/ { 0, 65535, 0, 65535, 0, 4 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
309 /* 271*/ { 0, 65535, 0, 65535, 0, 0 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
310 /* 272*/ { 0, 65535, 0, 65535, 0, 1 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
311 /* 273*/ { 0, 65535, 0, 65535, 0, 0 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
312 /* 274*/ { 0, 65535, 0, 65535, 0, 0 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
313 /* 275*/ { 0, 65535, 0, 65535, 0, 0 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
314 /* 276*/ { 0, 65535, 0, 65535, 0, 1 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
315 /* 277*/ { 0, 65535, 0, 65535, 0, 1 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
316 /* 278*/ { 0, 65535, 0, 65535, 0, 1 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
317 /* 279*/ { 0, 65535, 0, 65535, 0, 0 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
318 /* 280*/ { 0, 65535, 0, 65535, 0, 0 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
319 /* 281*/ { 0, 65535, 0, 65535, 0, 0 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
320 /* sat */
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
321 /* conCalRef prolStepRef repCalRef */
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
322 /* idx numConCal numProlStep numRepCal */
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
323 /* 282*/ { 0, 65535, 0, 65535, 0, 0 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
324 /* 283*/ { 0, 65535, 0, 65535, 0, 0 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
325 /* 284*/ { 0, 65535, 0, 65535, 0, 0 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
326 /* 285*/ { 0, 65535, 0, 65535, 0, 0 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
327 /* 286*/ { 0, 65535, 0, 65535, 0, 0 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
328 /* 287*/ { 0, 65535, 0, 65535, 0, 241 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
329 /* 288*/ { 0, 65535, 0, 65535, 0, 7 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
330 /* 289*/ { 0, 65535, 0, 65535, 0, 1 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
331 /* 290*/ { 0, 65535, 0, 65535, 0, 0 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
332 /* 291*/ { 0, 65535, 0, 65535, 0, 1 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
333 /* 292*/ { 0, 65535, 0, 65535, 0, 0 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
334 /* 293*/ { 0, 65535, 0, 65535, 0, 0 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
335 /* 294*/ { 0, 65535, 0, 65535, 0, 241 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
336 /* 295*/ { 0, 65535, 0, 65535, 0, 0 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
337 /* 296*/ { 0, 65535, 0, 65535, 0, 0 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
338 /* 297*/ { 3, 854, 0, 65535, 0, 4 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
339 /* 298*/ { 3, 857, 0, 65535, 0, 16 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
340 /* 299*/ { 0, 65535, 0, 65535, 0, 0 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
341 /* 300*/ { 0, 65535, 0, 65535, 0, 0 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
342 /* 301*/ { 3, 860, 0, 65535, 0, 65535 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
343 /* 302*/ { 3, 863, 0, 65535, 0, 65535 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
344 /* 303*/ { 0, 65535, 0, 65535, 0, 0 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
345 /* 304*/ { 0, 65535, 0, 65535, 0, 0 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
346 /* 305*/ { 0, 65535, 0, 65535, 0, 0 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
347 /* 306*/ { 0, 65535, 0, 65535, 0, 241 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
348 /* 307*/ { 0, 65535, 0, 65535, 0, 241 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
349 /* 308*/ { 0, 65535, 0, 65535, 0, 241 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
350 /* 309*/ { 0, 65535, 0, 65535, 0, 241 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
351 /* 310*/ { 0, 65535, 0, 65535, 0, 241 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
352 /* 311*/ { 0, 65535, 0, 65535, 0, 241 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
353 /* 312*/ { 0, 65535, 0, 65535, 0, 1 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
354 /* 313*/ { 0, 65535, 0, 65535, 0, 241 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
355 /* 314*/ { 0, 65535, 0, 65535, 0, 241 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
356 /* 315*/ { 0, 65535, 0, 65535, 0, 241 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
357 /* 316*/ { 0, 65535, 0, 65535, 0, 241 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
358 /* 317*/ { 0, 65535, 0, 65535, 0, 241 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
359 /* 318*/ { 0, 65535, 0, 65535, 0, 241 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
360 /* 319*/ { 0, 65535, 0, 65535, 0, 0 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
361 /* 320*/ { 0, 65535, 0, 65535, 0, 0 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
362 /* 321*/ { 0, 65535, 0, 65535, 0, 0 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
363 /* t30 */
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
364 /* conCalRef prolStepRef repCalRef */
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
365 /* idx numConCal numProlStep numRepCal */
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
366 /* 322*/ { 0, 65535, 0, 65535, 0, 0 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
367 /* 323*/ { 0, 65535, 0, 65535, 0, 720 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
368 /* 324*/ { 0, 65535, 0, 65535, 0, 0 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
369 /* 325*/ { 0, 65535, 0, 65535, 0, 720 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
370 /* 326*/ { 0, 65535, 0, 65535, 0, 0 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
371 /* 327*/ { 0, 65535, 0, 65535, 0, 0 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
372 /* 328*/ { 0, 65535, 0, 65535, 0, 0 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
373 /* 329*/ { 0, 65535, 0, 65535, 0, 720 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
374 /* 330*/ { 0, 65535, 0, 65535, 0, 0 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
375 /* 331*/ { 0, 65535, 0, 65535, 0, 0 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
376 /* gmm */
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
377 /* conCalRef prolStepRef repCalRef */
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
378 /* idx numConCal numProlStep numRepCal */
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
379 /* 332*/ { 0, 65535, 0, 65535, 0, 16 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
380 /* 333*/ { 0, 65535, 0, 65535, 0, 3 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
381 /* 334*/ { 0, 65535, 0, 65535, 0, 2 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
382 /* 335*/ { 0, 65535, 8, 866, 0, 65535 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
383 /* 336*/ { 0, 65535, 1, 874, 0, 65535 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
384 /* 337*/ { 7, 875, 1, 882, 0, 0 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
385 /* 338*/ { 3, 883, 4, 886, 0, 65535 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
386 /* 339*/ { 3, 890, 1, 893, 0, 32 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
387 /* 340*/ { 3, 894, 1, 897, 0, 0 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
388 /* 341*/ { 0, 65535, 0, 65535, 3, 898 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
389 /* 342*/ { 0, 65535, 0, 65535, 0, 1 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
390 /* 343*/ { 0, 65535, 0, 65535, 0, 2 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
391 /* 344*/ { 0, 65535, 0, 65535, 0, 2 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
392 /* 345*/ { 0, 65535, 0, 65535, 0, 2 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
393 /* 346*/ { 0, 65535, 0, 65535, 0, 2 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
394 /* 347*/ { 0, 65535, 0, 65535, 0, 2 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
395 /* 348*/ { 0, 65535, 0, 65535, 0, 2 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
396 /* 349*/ { 0, 65535, 0, 65535, 0, 3 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
397 /* 350*/ { 0, 65535, 0, 65535, 0, 2 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
398 /* 351*/ { 0, 65535, 0, 65535, 0, 1 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
399 /* tst */
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
400 /* conCalRef prolStepRef repCalRef */
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
401 /* idx numConCal numProlStep numRepCal */
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
402 /* grlc */
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
403 /* conCalRef prolStepRef repCalRef */
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
404 /* idx numConCal numProlStep numRepCal */
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
405 /* 352*/ { 3, 901, 0, 65535, 0, 65535 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
406 /* 353*/ { 3, 904, 0, 65535, 0, 65535 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
407 /* 354*/ { 0, 65535, 0, 65535, 1, 907 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
408 /* 355*/ { 0, 65535, 0, 65535, 3, 908 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
409 /* 356*/ { 0, 65535, 0, 65535, 0, 64 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
410 /* 357*/ { 3, 973, 0, 65535, 0, 65535 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
411 /* 358*/ { 3, 976, 0, 65535, 0, 65535 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
412 /* 359*/ { 3, 979, 0, 65535, 0, 65535 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
413 /* 360*/ { 3, 982, 0, 65535, 0, 0 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
414 /* 361*/ { 3, 985, 0, 65535, 0, 65535 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
415 /* 362*/ { 3, 988, 0, 65535, 0, 65535 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
416 /* 363*/ { 0, 65535, 0, 65535, 0, 8 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
417 /* 364*/ { 3, 1003, 0, 65535, 0, 65535 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
418 /* 365*/ { 3, 1006, 0, 65535, 0, 65535 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
419 /* 366*/ { 0, 65535, 1, 1009, 0, 65535 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
420 /* 367*/ { 0, 65535, 1, 1010, 0, 65535 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
421 /* 368*/ { 3, 1012, 0, 65535, 0, 65535 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
422 /* 369*/ { 0, 65535, 1, 1018, 0, 65535 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
423 /* 370*/ { 0, 65535, 1, 1019, 0, 65535 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
424 /* 371*/ { 0, 65535, 1, 1027, 0, 65535 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
425 /* grr */
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
426 /* conCalRef prolStepRef repCalRef */
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
427 /* idx numConCal numProlStep numRepCal */
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
428 /* 372*/ { 3, 1028, 0, 65535, 0, 65535 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
429 /* 373*/ { 3, 1031, 0, 65535, 3, 1034 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
430 /* 374*/ { 0, 65535, 0, 65535, 0, 0 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
431 /* 375*/ { 0, 65535, 0, 65535, 0, 0 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
432 /* 376*/ { 3, 1037, 0, 65535, 0, 65535 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
433 /* 377*/ { 3, 1040, 0, 65535, 0, 65535 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
434 /* 378*/ { 3, 1043, 0, 65535, 0, 65535 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
435 /* 379*/ { 3, 1046, 0, 65535, 0, 65535 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
436 /* 380*/ { 7, 1049, 0, 65535, 0, 65535 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
437 /* 381*/ { 7, 1056, 0, 65535, 0, 65535 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
438 /* 382*/ { 11, 1063, 0, 65535, 0, 65535 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
439 /* 383*/ { 3, 1074, 0, 65535, 0, 65535 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
440 /* 384*/ { 3, 1077, 0, 65535, 0, 65535 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
441 /* 385*/ { 7, 1080, 0, 65535, 0, 65535 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
442 /* 386*/ { 3, 1087, 0, 65535, 0, 65535 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
443 /* 387*/ { 3, 1090, 0, 65535, 0, 65535 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
444 /* 388*/ { 3, 1093, 0, 65535, 0, 65535 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
445 /* 389*/ { 3, 1096, 0, 65535, 0, 65535 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
446 /* 390*/ { 0, 65535, 0, 65535, 3, 1099 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
447 /* 391*/ { 0, 65535, 0, 65535, 1, 1102 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
448 /* 392*/ { 0, 65535, 0, 65535, 3, 1103 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
449 /* 393*/ { 0, 65535, 0, 65535, 0, 3 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
450 /* 394*/ { 0, 65535, 0, 65535, 0, 2 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
451 /* 395*/ { 0, 65535, 0, 65535, 3, 1106 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
452 /* 396*/ { 0, 65535, 0, 65535, 3, 1109 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
453 /* 397*/ { 0, 65535, 0, 65535, 0, 0 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
454 /* 398*/ { 3, 1112, 0, 65535, 0, 65535 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
455 /* 399*/ { 3, 1115, 0, 65535, 0, 0 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
456 /* 400*/ { 7, 1118, 0, 65535, 0, 65535 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
457 /* 401*/ { 7, 1125, 0, 65535, 0, 65535 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
458 /* 402*/ { 7, 1132, 0, 65535, 0, 65535 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
459 /* 403*/ { 7, 1139, 0, 65535, 0, 65535 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
460 /* 404*/ { 3, 1146, 0, 65535, 0, 65535 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
461 /* 405*/ { 7, 1149, 0, 65535, 0, 65535 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
462 /* 406*/ { 7, 1156, 0, 65535, 0, 65535 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
463 /* 407*/ { 0, 65535, 0, 65535, 0, 0 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
464 /* 408*/ { 3, 1163, 0, 65535, 0, 0 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
465 /* 409*/ { 3, 1166, 0, 65535, 0, 65535 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
466 /* 410*/ { 3, 1169, 0, 65535, 0, 65535 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
467 /* 411*/ { 3, 1172, 0, 65535, 0, 65535 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
468 /* 412*/ { 3, 1175, 0, 65535, 0, 65535 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
469 /* 413*/ { 3, 1178, 0, 65535, 0, 65535 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
470 /* 414*/ { 0, 65535, 0, 65535, 0, 0 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
471 /* 415*/ { 0, 65535, 0, 65535, 3, 1181 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
472 /* 416*/ { 0, 65535, 0, 65535, 1, 1184 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
473 /* 417*/ { 0, 65535, 0, 65535, 1, 1185 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
474 /* 418*/ { 0, 65535, 0, 65535, 0, 4 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
475 /* 419*/ { 0, 65535, 0, 65535, 0, 4 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
476 /* 420*/ { 0, 65535, 0, 65535, 0, 64 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
477 /* 421*/ { 0, 65535, 0, 65535, 1, 1222 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
478 /* 422*/ { 3, 1223, 0, 65535, 0, 65535 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
479 /* 423*/ { 3, 1226, 0, 65535, 0, 65535 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
480 /* 424*/ { 3, 1229, 0, 65535, 0, 65535 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
481 /* 425*/ { 3, 1232, 0, 65535, 0, 65535 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
482 /* 426*/ { 3, 1235, 0, 65535, 0, 65535 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
483 /* 427*/ { 3, 1238, 0, 65535, 0, 65535 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
484 /* 428*/ { 3, 1241, 0, 65535, 0, 65535 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
485 /* 429*/ { 3, 1244, 0, 65535, 0, 65535 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
486 /* 430*/ { 3, 1247, 0, 65535, 0, 65535 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
487 /* 431*/ { 3, 1250, 0, 65535, 0, 0 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
488 /* 432*/ { 3, 1253, 0, 65535, 0, 65535 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
489 /* 433*/ { 3, 1256, 0, 65535, 0, 65535 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
490 /* 434*/ { 3, 1259, 0, 65535, 0, 65535 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
491 /* 435*/ { 3, 1262, 0, 65535, 0, 65535 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
492 /* 436*/ { 7, 1265, 0, 65535, 0, 65535 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
493 /* 437*/ { 7, 1272, 0, 65535, 0, 65535 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
494 /* 438*/ { 11, 1279, 0, 65535, 0, 65535 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
495 /* 439*/ { 11, 1290, 0, 65535, 0, 65535 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
496 /* 440*/ { 3, 1301, 0, 65535, 0, 65535 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
497 /* 441*/ { 3, 1304, 0, 65535, 0, 65535 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
498 /* 442*/ { 3, 1307, 0, 65535, 0, 65535 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
499 /* 443*/ { 3, 1310, 0, 65535, 0, 65535 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
500 /* 444*/ { 0, 65535, 0, 65535, 0, 8 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
501 /* 445*/ { 3, 1313, 0, 65535, 0, 65535 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
502 /* 446*/ { 3, 1316, 0, 65535, 0, 65535 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
503 /* 447*/ { 3, 1319, 0, 65535, 0, 65535 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
504 /* 448*/ { 3, 1322, 0, 65535, 0, 0 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
505 /* 449*/ { 3, 1325, 0, 65535, 0, 65535 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
506 /* 450*/ { 3, 1328, 0, 65535, 0, 65535 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
507 /* 451*/ { 3, 1331, 0, 65535, 0, 65535 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
508 /* 452*/ { 3, 1334, 0, 65535, 0, 0 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
509 /* 453*/ { 0, 65535, 0, 65535, 0, 8 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
510 /* 454*/ { 3, 1337, 0, 65535, 0, 65535 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
511 /* 455*/ { 3, 1340, 0, 65535, 0, 65535 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
512 /* 456*/ { 3, 1343, 0, 65535, 0, 8 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
513 /* 457*/ { 3, 1346, 0, 65535, 0, 65535 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
514 /* 458*/ { 0, 65535, 0, 65535, 3, 1349 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
515 /* 459*/ { 0, 65535, 2, 1352, 0, 65535 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
516 /* 460*/ { 0, 65535, 0, 65535, 1, 1354 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
517 /* 461*/ { 3, 1355, 0, 65535, 0, 65535 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
518 /* 462*/ { 7, 1358, 0, 65535, 0, 65535 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
519 /* 463*/ { 7, 1365, 0, 65535, 0, 65535 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
520 /* 464*/ { 0, 65535, 0, 65535, 0, 0 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
521 /* 465*/ { 3, 1372, 0, 65535, 0, 65535 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
522 /* 466*/ { 0, 65535, 2, 1375, 0, 65535 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
523 /* 467*/ { 3, 1377, 0, 65535, 1, 1380 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
524 /* 468*/ { 0, 65535, 2, 1381, 0, 65535 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
525 /* 469*/ { 0, 65535, 0, 65535, 1, 1383 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
526 /* 470*/ { 0, 65535, 0, 65535, 0, 1 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
527 /* 471*/ { 3, 1384, 0, 65535, 0, 65535 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
528 /* 472*/ { 3, 1387, 0, 65535, 0, 65535 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
529 /* 473*/ { 3, 1390, 0, 65535, 0, 8 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
530 /* 474*/ { 3, 1393, 0, 65535, 0, 65535 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
531 /* 475*/ { 0, 65535, 2, 1475, 0, 65535 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
532 /* 476*/ { 3, 1477, 0, 65535, 1, 1480 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
533 /* 477*/ { 0, 65535, 0, 65535, 0, 0 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
534 /* 478*/ { 0, 65535, 2, 1481, 0, 65535 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
535 /* 479*/ { 3, 1483, 0, 65535, 0, 0 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
536 /* 480*/ { 3, 1486, 0, 65535, 3, 1489 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
537 /* 481*/ { 0, 65535, 0, 65535, 0, 0 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
538 /* 482*/ { 0, 65535, 0, 65535, 0, 0 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
539 /* 483*/ { 0, 65535, 0, 65535, 0, 0 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
540 /* 484*/ { 0, 65535, 0, 65535, 0, 0 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
541 /* 485*/ { 0, 65535, 0, 65535, 0, 0 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
542 /* 486*/ { 0, 65535, 0, 65535, 0, 0 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
543 /* 487*/ { 0, 65535, 0, 65535, 0, 0 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
544 /* 488*/ { 0, 65535, 0, 65535, 0, 0 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
545 /* 489*/ { 3, 1564, 0, 65535, 0, 65535 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
546 /* 490*/ { 3, 1567, 0, 65535, 0, 65535 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
547 /* 491*/ { 3, 1570, 0, 65535, 0, 65535 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
548 /* 492*/ { 3, 1573, 0, 65535, 0, 65535 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
549 /* 493*/ { 0, 65535, 1, 1576, 0, 65535 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
550 /* 494*/ { 0, 65535, 1, 1577, 0, 65535 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
551 /* 495*/ { 3, 1578, 0, 65535, 0, 65535 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
552 /* 496*/ { 3, 1581, 0, 65535, 0, 65535 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
553 /* 497*/ { 0, 65535, 1, 1584, 0, 65535 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
554 /* 498*/ { 3, 1585, 0, 65535, 0, 65535 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
555 /* 499*/ { 3, 1588, 0, 65535, 0, 65535 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
556 /* 500*/ { 3, 1591, 0, 65535, 0, 65535 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
557 /* 501*/ { 3, 1594, 0, 65535, 0, 65535 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
558 /* 502*/ { 3, 1597, 0, 65535, 0, 65535 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
559 /* 503*/ { 3, 1600, 0, 65535, 0, 65535 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
560 /* 504*/ { 11, 1603, 0, 65535, 0, 65535 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
561 /* 505*/ { 11, 1614, 0, 65535, 0, 65535 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
562 /* 506*/ { 11, 1625, 0, 65535, 0, 65535 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
563 /* 507*/ { 0, 65535, 1, 1649, 0, 65535 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
564 /* 508*/ { 0, 65535, 1, 1650, 0, 65535 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
565 /* 509*/ { 0, 65535, 1, 1651, 0, 65535 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
566 /* 510*/ { 0, 65535, 1, 1652, 0, 65535 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
567 /* 511*/ { 0, 65535, 1, 1653, 0, 65535 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
568 /* 512*/ { 3, 1655, 0, 65535, 0, 65535 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
569 /* 513*/ { 0, 65535, 1, 1661, 0, 65535 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
570 /* 514*/ { 0, 65535, 1, 1662, 0, 65535 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
571 /* 515*/ { 0, 65535, 1, 1663, 0, 65535 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
572 /* 516*/ { 0, 65535, 0, 65535, 0, 0 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
573 /* 517*/ { 0, 65535, 1, 1664, 0, 65535 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
574 /* 518*/ { 0, 65535, 1, 1665, 0, 65535 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
575 /* 519*/ { 0, 65535, 1, 1668, 0, 65535 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
576 /* 520*/ { 0, 65535, 1, 1669, 0, 65535 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
577 /* 521*/ { 3, 1674, 0, 65535, 0, 65535 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
578 /* 522*/ { 3, 1677, 0, 65535, 0, 65535 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
579 /* 523*/ { 0, 65535, 1, 1680, 0, 65535 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
580 /* 524*/ { 0, 65535, 1, 1689, 0, 65535 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
581 /* 525*/ { 0, 65535, 1, 1690, 0, 65535 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
582 /* 526*/ { 3, 1691, 0, 65535, 0, 65535 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
583 /* 527*/ { 0, 65535, 1, 1697, 0, 65535 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
584 /* 528*/ { 0, 65535, 1, 1698, 0, 65535 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
585 /* 529*/ { 0, 65535, 1, 1699, 0, 65535 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
586 /* 530*/ { 3, 1700, 0, 65535, 0, 65535 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
587 /* 531*/ { 3, 1703, 0, 65535, 0, 65535 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
588 /* 532*/ { 0, 65535, 1, 1706, 0, 65535 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
589 /* 533*/ { 0, 65535, 1, 1707, 0, 65535 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
590 /* 534*/ { 0, 65535, 1, 1708, 0, 65535 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
591 /* 535*/ { 3, 1710, 0, 65535, 0, 65535 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
592 /* 536*/ { 0, 65535, 1, 1713, 0, 65535 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
593 /* 537*/ { 0, 65535, 1, 1714, 0, 65535 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
594 /* 538*/ { 3, 1715, 0, 65535, 0, 65535 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
595 /* 539*/ { 11, 1718, 0, 65535, 0, 65535 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
596 /* 540*/ { 11, 1729, 0, 65535, 0, 65535 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
597 /* 541*/ { 0, 65535, 1, 1740, 0, 65535 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
598 /* 542*/ { 0, 65535, 1, 1741, 0, 65535 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
599 /* 543*/ { 0, 65535, 1, 1742, 0, 65535 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
600 /* 544*/ { 3, 1768, 0, 65535, 0, 65535 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
601 /* 545*/ { 3, 1771, 0, 65535, 0, 65535 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
602 /* 546*/ { 3, 1774, 0, 65535, 0, 65535 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
603 /* 547*/ { 3, 1777, 0, 65535, 0, 65535 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
604 /* 548*/ { 3, 1780, 0, 65535, 0, 65535 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
605 /* 549*/ { 3, 1783, 0, 65535, 0, 65535 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
606 /* 550*/ { 3, 1786, 0, 65535, 0, 65535 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
607 /* 551*/ { 3, 1789, 0, 65535, 0, 65535 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
608 /* 552*/ { 3, 1792, 0, 65535, 0, 65535 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
609 /* 553*/ { 7, 1795, 0, 65535, 0, 65535 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
610 /* 554*/ { 7, 1802, 0, 65535, 0, 65535 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
611 /* 555*/ { 0, 65535, 1, 1822, 0, 65535 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
612 /* sm */
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
613 /* conCalRef prolStepRef repCalRef */
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
614 /* idx numConCal numProlStep numRepCal */
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
615 /* 556*/ { 5, 1823, 0, 65535, 0, 65535 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
616 /* 557*/ { 0, 65535, 0, 65535, 0, 0 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
617 /* 558*/ { 0, 65535, 0, 65535, 0, 3 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
618 /* 559*/ { 0, 65535, 0, 65535, 0, 2 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
619 /* 560*/ { 3, 1828, 0, 65535, 0, 65535 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
620 /* 561*/ { 3, 1831, 0, 65535, 0, 65535 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
621 /* 562*/ { 0, 65535, 0, 65535, 0, 4 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
622 /* 563*/ { 0, 65535, 0, 65535, 0, 4 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
623 /* 564*/ { 0, 65535, 0, 65535, 0, 16 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
624 /* 565*/ { 0, 65535, 0, 65535, 0, 16 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
625 /* 566*/ { 3, 1834, 0, 65535, 1, 1837 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
626 /* 567*/ { 11, 1838, 0, 65535, 1, 1849 },
e7a67accfad9 cdg-hybrid cdginc headers created
Mychaela Falconia <falcon@freecalypso.org>
parents:
diff changeset
627 /*65535*/ { 0, 65535, 0, 65535, 0, 65535 },