FreeCalypso > hg > fc-magnetite

annotate cdg-hybrid/cdginc/calcidx.cdg @ 662:8cd8fd15a095

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
SIM speed enhancement re-enabled and made configurable TI's original code supported SIM speed enhancement, but Openmoko had it disabled, and OM's disabling of speed enhancement somehow caused certain SIM cards to start working which didn't work before (OM's bug #666). Because our FC community is much smaller in year 2020 than OM's community was in their day, we are not able to find one of those #666-affected SIMs, thus the real issue they had encountered remains elusive. Thus our solution is to re-enable SIM speed enhancement and simply wait for if and when someone runs into a #666-affected SIM once again. We provide a SIM_allow_speed_enhancement global variable that allows SIM speed enhancement to be enabled or disabled per session, and an /etc/SIM_spenh file in FFS that allows it to enabled or disabled on a non-volatile basis. SIM speed enhancement is now enabled by default.
author Mychaela Falconia <falcon@freecalypso.org>
date Sun, 24 May 2020 05:02:28 +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 },