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