FreeCalypso > hg > fc-magnetite
view cdg3/cdginc-locosto/calcidx.cdg @ 521:f9125919bbe4
README: update for Selenite
| author | Mychaela Falconia <falcon@freecalypso.org> |
|---|---|
| date | Sun, 22 Jul 2018 19:10:47 +0000 |
| parents | c15047b3d00d |
| children |
line wrap: on
line source
/* +--------------------------------------------------------------------------+ | 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 },