trans_shift_reduce.ads

package Trans_Shift_Reduce is

    type Small_Integer is range -32_000 .. 32_000;

    type Shift_Reduce_Entry is record
        T   : Small_Integer;
        Act : Small_Integer;
    end record;
    pragma Pack(Shift_Reduce_Entry);

    subtype Row is Integer range -1 .. Integer'Last;

  --pragma suppress(index_check);

    type Shift_Reduce_Array is array (Row  range <>) of Shift_Reduce_Entry;

    Shift_Reduce_Matrix : constant Shift_Reduce_Array :=
        ( (-1,-1) -- Dummy Entry

-- state  0
,( 59, 4),(-1,-533)
-- state  1
,( 35, 12),( 46,-538)
,( 57,-538),( 58, 11),( 60,-538),( 75,-538)
,( 76,-538),(-1,-102)
-- state  2
,(-1,-118)
-- state  3
,( 6, 15)
,(-1,-3000)
-- state  4
,(-1,-58)
-- state  5
,( 0,-3001),(-1,-3000)

-- state  6
,( 35, 12),( 58, 11),( 59, 4),(-1,-538)

-- state  7
,( 46, 40),( 57, 42),( 60, 37),( 75, 44)
,( 76, 43),(-1,-3000)
-- state  8
,(-1,-544)
-- state  9
,(-1,-539)

-- state  10
,( 6, 15),(-1,-3000)
-- state  11
,(-1,-57)
-- state  12
,(-1,-34)

-- state  13
,(-1,-534)
-- state  14
,( 59, 4),(-1,-535)
-- state  15
,(-1,-5)

-- state  16
,( 13, 52),(-1,-270)
-- state  17
,( 22, 54),(-1,-3000)

-- state  18
,(-1,-3000)
-- state  19
,( 46, 40),( 57, 42),( 60, 37)
,( 75, 44),( 76, 43),(-1,-3000)
-- state  20
,(-1,-544)

-- state  21
,(-1,-542)
-- state  22
,(-1,-546)
-- state  23
,(-1,-547)
-- state  24
,(-1,-548)

-- state  25
,(-1,-549)
-- state  26
,(-1,-550)
-- state  27
,(-1,-551)
-- state  28
,(-1,-552)

-- state  29
,( 13, 52),(-1,-3000)
-- state  30
,( 13, 52),(-1,-3000)

-- state  31
,( 6, 15),( 91, 61),(-1,-3000)
-- state  32
,( 13, 52)
,( 51, 65),( 71, 63),(-1,-3000)
-- state  33
,( 13, 52)
,(-1,-3000)
-- state  34
,( 6, 15),( 38, 111),( 40, 114)
,( 43, 103),( 45, 115),( 56, 104),( 57, 42)
,( 59, 4),( 60, 37),( 75, 44),( 76, 43)
,( 77, 116),( 100, 70),(-1,-244)
-- state  35
,( 22, 54)
,(-1,-3000)
-- state  36
,( 6, 15),( 35, 12),( 38, 111)
,( 40, 114),( 57, 42),( 60, 37),( 76, 43)
,(-1,-3000)
-- state  37
,(-1,-59)
-- state  38
,( 6, 15),(-1,-3000)

-- state  39
,( 3, 134),( 6, 15),(-1,-3000)
-- state  40
,(-1,-45)

-- state  41
,(-1,-576)
-- state  42
,(-1,-56)
-- state  43
,(-1,-75)
-- state  44
,(-1,-74)

-- state  45
,(-1,-118)
-- state  46
,( 38, 111),(-1,-540)
-- state  47
,( 16, 138)
,(-1,-273)
-- state  48
,( 13, 52),( 18, 140),(-1,-3000)

-- state  49
,(-1,-271)
-- state  50
,(-1,-270)
-- state  51
,(-1,-119)
-- state  52
,(-1,-12)

-- state  53
,(-1,-112)
-- state  54
,(-1,-21)
-- state  55
,( 2, 185),( 3, 134)
,( 4, 183),( 5, 182),( 6, 15),( 17, 155)
,( 19, 154),( 22, 54),( 65, 179),( 66, 164)
,( 67, 181),( 101, 165),(-1,-3000)
-- state  56
,(-1,-118)

-- state  57
,( 38, 111),(-1,-541)
-- state  58
,(-1,-440)
-- state  59
,(-1,-441)

-- state  60
,( 16, 138),( 51, 65),( 71, 63),(-1,-3000)

-- state  61
,(-1,-90)
-- state  62
,( 6, 15),(-1,-3000)
-- state  63
,(-1,-70)

-- state  64
,( 3, 134),( 6, 15),(-1,-3000)
-- state  65
,(-1,-50)

-- state  66
,(-1,-418)
-- state  67
,( 67, 181),(-1,-437)
-- state  68
,( 13, 52)
,(-1,-3000)
-- state  69
,(-1,-419)
-- state  70
,(-1,-99)
-- state  71
,( 6, 15)
,( 38, 111),( 40, 114),( 43, 103),( 45, 115)
,( 56, 104),( 57, 42),( 59, 4),( 60, 37)
,( 75, 44),( 76, 43),( 77, 116),(-1,-245)

-- state  72
,(-1,-254)
-- state  73
,(-1,-256)
-- state  74
,(-1,-257)
-- state  75
,(-1,-258)

-- state  76
,(-1,-259)
-- state  77
,(-1,-260)
-- state  78
,(-1,-261)
-- state  79
,(-1,-250)

-- state  80
,(-1,-251)
-- state  81
,(-1,-252)
-- state  82
,(-1,-253)
-- state  83
,( 6, 15)
,( 91, 61),(-1,-3000)
-- state  84
,( 6, 15),( 40, 114)
,( 91, 61),(-1,-3000)
-- state  85
,( 6, 15),( 40, 114)
,( 91, 61),(-1,-3000)
-- state  86
,(-1,-120)
-- state  87
,(-1,-121)

-- state  88
,(-1,-122)
-- state  89
,(-1,-123)
-- state  90
,(-1,-124)
-- state  91
,(-1,-125)

-- state  92
,(-1,-126)
-- state  93
,(-1,-127)
-- state  94
,(-1,-128)
-- state  95
,(-1,-129)

-- state  96
,(-1,-130)
-- state  97
,(-1,-131)
-- state  98
,( 3, 134),( 6, 15)
,( 40, 114),(-1,-3000)
-- state  99
,(-1,-607)
-- state  100
,(-1,-608)

-- state  101
,(-1,-609)
-- state  102
,( 13, 52),( 51, 65),( 71, 63)
,(-1,-3000)
-- state  103
,(-1,-42)
-- state  104
,(-1,-55)
-- state  105
,( 14, 207)
,( 18, 140),(-1,-3000)
-- state  106
,( 6, 15),(-1,-3000)

-- state  107
,( 6, 15),(-1,-3000)
-- state  108
,( 13, 52),(-1,-3000)

-- state  109
,( 13, 52),(-1,-3000)
-- state  110
,(-1,-459)
-- state  111
,(-1,-37)

-- state  112
,( 6, 15),(-1,-3000)
-- state  113
,(-1,-133)
-- state  114
,(-1,-39)

-- state  115
,(-1,-44)
-- state  116
,(-1,-76)
-- state  117
,(-1,-135)
-- state  118
,( 13, 52)
,(-1,-3000)
-- state  119
,( 92, 218),(-1,-3000)
-- state  120
,( 6, 15)
,(-1,-3000)
-- state  121
,( 6, 15),(-1,-3000)
-- state  122
,( 13, 52)
,(-1,-3000)
-- state  123
,( 6, 15),(-1,-3000)
-- state  124
,( 57, 42)
,( 60, 37),( 76, 43),(-1,-3000)
-- state  125
,(-1,-584)

-- state  126
,( 14, 207),( 18, 140),(-1,-3000)
-- state  127
,( 13, 52)
,( 51, 65),(-1,-3000)
-- state  128
,( 13, 52),(-1,-3000)

-- state  129
,(-1,-577)
-- state  130
,( 16, 138),( 22, 54),(-1,-426)

-- state  131
,( 16, 138),(-1,-424)
-- state  132
,(-1,-425)
-- state  133
,(-1,-111)

-- state  134
,(-1,-2)
-- state  135
,( 22, 54),( 49,-426),(-1,-423)

-- state  136
,( 59, 4),(-1,-537)
-- state  137
,(-1,-545)
-- state  138
,(-1,-15)

-- state  139
,( 6, 15),(-1,-3000)
-- state  140
,(-1,-17)
-- state  141
,( 6, 15)
,(-1,-3000)
-- state  142
,(-1,-543)
-- state  143
,(-1,-114)
-- state  144
,( 18, 140)
,( 21, 237),(-1,-3000)
-- state  145
,( 34, 245),( 63, 244)
,( 95, 243),(-1,-116)
-- state  146
,( 33, 248),(-1,-262)

-- state  147
,(-1,-303)
-- state  148
,( 10, 265),( 11, 261),( 12, 263)
,( 17, 155),( 19, 154),( 23, 268),( 27, 270)
,( 28, 271),( 29, 269),( 66, 164),( 72, 267)
,(-1,-311)
-- state  149
,( 2, 185),( 3, 134),( 4, 183)
,( 5, 182),( 6, 15),( 22, 54),( 65, 179)
,( 66, 164),( 67, 181),( 101, 165),(-1,-3000)

-- state  150
,( 15, 281),( 20, 280),( 52, 283),( 68, 282)
,(-1,-324)
-- state  151
,(-1,-326)
-- state  152
,(-1,-327)
-- state  153
,(-1,-331)

-- state  154
,(-1,-18)
-- state  155
,(-1,-16)
-- state  156
,( 31, 285),(-1,-337)

-- state  157
,( 2, 185),( 3, 134),( 4, 183),( 5, 182)
,( 6, 15),( 22, 54),( 65, 179),( 67, 181)
,(-1,-3000)
-- state  158
,( 2, 185),( 3, 134),( 4, 183)
,( 5, 182),( 6, 15),( 22, 54),( 65, 179)
,( 67, 181),(-1,-3000)
-- state  159
,(-1,-341)
-- state  160
,( 7, 289)
,( 16, 138),( 22, 54),(-1,-342)
-- state  161
,(-1,-343)

-- state  162
,(-1,-344)
-- state  163
,(-1,-345)
-- state  164
,(-1,-65)
-- state  165
,(-1,-100)

-- state  166
,(-1,-292)
-- state  167
,(-1,-293)
-- state  168
,(-1,-294)
-- state  169
,(-1,-263)

-- state  170
,(-1,-264)
-- state  171
,(-1,-265)
-- state  172
,(-1,-266)
-- state  173
,( 3, 134)
,( 6, 15),(-1,-3000)
-- state  174
,(-1,-346)
-- state  175
,( 2, 185)
,( 3, 134),( 4, 183),( 5, 182),( 6, 15)
,( 17, 155),( 19, 154),( 22, 54),( 62, 306)
,( 65, 179),( 66, 164),( 67, 181),( 101, 165)
,(-1,-3000)
-- state  176
,(-1,-103)
-- state  177
,(-1,-104)
-- state  178
,(-1,-275)

-- state  179
,(-1,-64)
-- state  180
,(-1,-276)
-- state  181
,(-1,-66)
-- state  182
,(-1,-4)

-- state  183
,(-1,-3)
-- state  184
,(-1,-105)
-- state  185
,(-1,-1)
-- state  186
,( 59, 4)
,(-1,-536)
-- state  187
,( 6, 15),( 38, 111),( 40, 114)
,( 43, 103),( 45, 115),( 56, 104),( 57, 42)
,( 59, 4),( 60, 37),( 67, 181),( 75, 44)
,( 76, 43),( 77, 116),(-1,-246)
-- state  188
,( 13, 52)
,(-1,-3000)
-- state  189
,( 16, 138),( 71, 63),(-1,-3000)

-- state  190
,(-1,-262)
-- state  191
,( 7, 289),( 16, 138),( 22, 54)
,(-1,-464)
-- state  192
,( 3, 134),( 6, 15),(-1,-3000)

-- state  193
,(-1,-604)
-- state  194
,(-1,-461)
-- state  195
,(-1,-255)
-- state  196
,( 6, 15)
,(-1,-3000)
-- state  197
,( 71, 63),(-1,-468)
-- state  198
,( 6, 15)
,(-1,-3000)
-- state  199
,( 6, 15),(-1,-3000)
-- state  200
,( 71, 63)
,(-1,-3000)
-- state  201
,( 6, 15),(-1,-3000)
-- state  202
,( 6, 15)
,(-1,-3000)
-- state  203
,( 7, 289),( 16, 138),( 22, 54)
,(-1,-455)
-- state  204
,( 13, 52),( 18, 140),(-1,-3000)

-- state  205
,( 3, 134),( 6, 15),(-1,-3000)
-- state  206
,( 46, 40)
,( 67, 181),(-1,-437)
-- state  207
,(-1,-13)
-- state  208
,( 79, 336)
,( 89, 335),( 97, 337),(-1,-136)
-- state  209
,( 6, 15)
,(-1,-3000)
-- state  210
,( 22, 54),(-1,-146)
-- state  211
,( 71, 63)
,(-1,-3000)
-- state  212
,(-1,-465)
-- state  213
,(-1,-473)
-- state  214
,(-1,-267)

-- state  215
,( 7, 289),( 16, 138),( 38, 111),(-1,-3000)

-- state  216
,(-1,-420)
-- state  217
,( 3, 134),( 6, 15),( 26, 392)
,( 47, 407),( 49, 394),( 50, 399),( 55, 398)
,( 59, 4),( 65, 179),( 73, 400),( 74, 395)
,( 78, 393),( 87, 396),( 90, 405),( 99, 406)
,( 102, 397),(-1,-392)
-- state  218
,(-1,-91)
-- state  219
,( 81, 409)
,(-1,-3000)
-- state  220
,( 16, 138),( 21, 237),(-1,-3000)

-- state  221
,( 16, 138),( 51, 65),( 71, 63),(-1,-3000)

-- state  222
,(-1,-578)
-- state  223
,( 22, 54),(-1,-585)
-- state  224
,( 6, 15)
,(-1,-3000)
-- state  225
,( 3, 134),( 6, 15),(-1,-3000)

-- state  226
,( 6, 15),(-1,-3000)
-- state  227
,( 61, 423),( 72, 267)
,( 98, 424),(-1,-432)
-- state  228
,( 13, 52),(-1,-3000)

-- state  229
,(-1,-574)
-- state  230
,(-1,-575)
-- state  231
,(-1,-427)
-- state  232
,( 6, 15)
,(-1,-3000)
-- state  233
,(-1,-421)
-- state  234
,( 49, 394),(-1,-3000)

-- state  235
,(-1,-272)
-- state  236
,( 16, 138),(-1,-274)
-- state  237
,(-1,-20)

-- state  238
,( 13, 52),(-1,-3000)
-- state  239
,( 2, 185),( 3, 134)
,( 4, 183),( 5, 182),( 6, 15),( 17, 155)
,( 19, 154),( 22, 54),( 65, 179),( 66, 164)
,( 67, 181),( 101, 165),(-1,-3000)
-- state  240
,( 41, 432)
,(-1,-306)
-- state  241
,( 83, 434),(-1,-307)
-- state  242
,(-1,-308)

-- state  243
,(-1,-94)
-- state  244
,(-1,-62)
-- state  245
,(-1,-33)
-- state  246
,( 2, 185)
,( 3, 134),( 4, 183),( 5, 182),( 6, 15)
,( 17, 155),( 19, 154),( 22, 54),( 65, 179)
,( 66, 164),( 67, 181),( 101, 165),(-1,-3000)

-- state  247
,( 2, 185),( 3, 134),( 4, 183),( 5, 182)
,( 6, 15),( 17, 155),( 19, 154),( 22, 54)
,( 65, 179),( 66, 164),( 67, 181),( 101, 165)
,(-1,-3000)
-- state  248
,(-1,-32)
-- state  249
,( 2, 185),( 3, 134)
,( 4, 183),( 5, 182),( 6, 15),( 17, 155)
,( 19, 154),( 22, 54),( 65, 179),( 66, 164)
,( 67, 181),( 101, 165),(-1,-3000)
-- state  250
,(-1,-315)

-- state  251
,(-1,-316)
-- state  252
,(-1,-317)
-- state  253
,(-1,-318)
-- state  254
,(-1,-319)

-- state  255
,(-1,-320)
-- state  256
,(-1,-321)
-- state  257
,( 72, 267),(-1,-3000)

-- state  258
,(-1,-328)
-- state  259
,(-1,-329)
-- state  260
,(-1,-330)
-- state  261
,(-1,-10)

-- state  262
,(-1,-110)
-- state  263
,(-1,-11)
-- state  264
,(-1,-109)
-- state  265
,(-1,-9)

-- state  266
,(-1,-108)
-- state  267
,(-1,-71)
-- state  268
,(-1,-22)
-- state  269
,(-1,-28)

-- state  270
,(-1,-26)
-- state  271
,(-1,-27)
-- state  272
,( 2, 185),( 3, 134)
,( 4, 183),( 5, 182),( 6, 15),( 17, 155)
,( 19, 154),( 22, 54),( 65, 179),( 66, 164)
,( 67, 181),( 101, 165),(-1,-3000)
-- state  273
,( 2, 185)
,( 3, 134),( 4, 183),( 5, 182),( 6, 15)
,( 17, 155),( 19, 154),( 22, 54),( 65, 179)
,( 66, 164),( 67, 181),( 101, 165),(-1,-3000)

-- state  274
,( 2, 185),( 3, 134),( 4, 183),( 5, 182)
,( 6, 15),( 22, 54),( 65, 179),( 66, 164)
,( 67, 181),( 101, 165),(-1,-3000)
-- state  275
,( 15, 281)
,( 20, 280),( 52, 283),( 68, 282),(-1,-323)

-- state  276
,(-1,-333)
-- state  277
,(-1,-334)
-- state  278
,(-1,-335)
-- state  279
,(-1,-336)

-- state  280
,(-1,-19)
-- state  281
,(-1,-14)
-- state  282
,(-1,-67)
-- state  283
,(-1,-51)

-- state  284
,( 2, 185),( 3, 134),( 4, 183),( 5, 182)
,( 6, 15),( 22, 54),( 65, 179),( 66, 164)
,( 67, 181),( 101, 165),(-1,-3000)
-- state  285
,(-1,-30)

-- state  286
,( 2, 185),( 3, 134),( 4, 183),( 5, 182)
,( 6, 15),( 22, 54),( 65, 179),( 67, 181)
,(-1,-3000)
-- state  287
,(-1,-338)
-- state  288
,(-1,-339)
-- state  289
,(-1,-6)

-- state  290
,( 2, 185),( 3, 134),( 4, 183),( 5, 182)
,( 6, 15),( 17, 155),( 19, 154),( 22, 54)
,( 62, 306),( 65, 179),( 66, 164),( 67, 181)
,( 101, 165),(-1,-3000)
-- state  291
,( 2, 185),( 3, 134)
,( 6, 15),( 96, 451),(-1,-3000)
-- state  292
,( 6, 15)
,( 22, 54),( 85, 460),( 86, 461),( 98, 424)
,(-1,-3000)
-- state  293
,( 7, 289),( 16, 138),( 22, 54)
,(-1,-349)
-- state  294
,(-1,-350)
-- state  295
,( 9, 464),( 33, 248)
,(-1,-3000)
-- state  296
,( 18, 140),(-1,-3000)
-- state  297
,( 18, 140)
,( 21, 237),(-1,-3000)
-- state  298
,( 18,-280),( 21, 237)
,( 34, 245),( 35, 12),( 63, 244),( 95, 243)
,(-1,-232)
-- state  299
,(-1,-230)
-- state  300
,( 21, 237),(-1,-281)

-- state  301
,( 18,-282),( 21,-282),(-1,-233)
-- state  302
,( 10, 265)
,( 11, 261),( 12, 263),( 17, 155),( 19, 154)
,( 23, 268),( 27, 270),( 28, 271),( 29, 269)
,( 32, 473),( 66, 164),( 72, 267),(-1,-311)

-- state  303
,(-1,-234)
-- state  304
,( 7, 289),( 16, 138),( 22, 54)
,( 54, 476),(-1,-342)
-- state  305
,(-1,-236)
-- state  306
,(-1,-61)

-- state  307
,( 53, 479),(-1,-294)
-- state  308
,( 6, 15),( 38, 111)
,( 40, 114),( 43, 103),( 45, 115),( 56, 104)
,( 57, 42),( 59, 4),( 60, 37),( 75, 44)
,( 76, 43),( 77, 116),(-1,-247)
-- state  309
,(-1,-248)

-- state  310
,( 100, 70),(-1,-3000)
-- state  311
,( 6, 15),( 40, 114)
,( 91, 61),(-1,-3000)
-- state  312
,( 6, 15),( 91, 61)
,(-1,-3000)
-- state  313
,( 6, 15),( 40, 114),( 91, 61)
,(-1,-3000)
-- state  314
,( 58, 11),(-1,-443)
-- state  315
,(-1,-605)

-- state  316
,(-1,-460)
-- state  317
,( 6, 15),( 38, 111),( 40, 114)
,( 43, 103),( 45, 115),( 56, 104),( 57, 42)
,( 59, 4),( 60, 37),( 75, 44),( 76, 43)
,( 77, 116),(-1,-244)
-- state  318
,( 6, 15),( 85, 460)
,( 86, 461),( 98, 424),(-1,-3000)
-- state  319
,( 7, 289)
,( 16, 138),( 22, 54),(-1,-606)
-- state  320
,( 16, 138)
,( 71, 63),(-1,-3000)
-- state  321
,(-1,-118)
-- state  322
,(-1,-466)

-- state  323
,( 22, 54),(-1,-146)
-- state  324
,( 71, 63),(-1,-3000)

-- state  325
,(-1,-479)
-- state  326
,(-1,-474)
-- state  327
,( 22, 54),(-1,-146)

-- state  328
,( 71, 63),(-1,-3000)
-- state  329
,(-1,-453)
-- state  330
,( 3, 134)
,( 6, 15),(-1,-3000)
-- state  331
,( 13, 52),( 18, 140)
,(-1,-3000)
-- state  332
,( 13, 52),(-1,-3000)
-- state  333
,( 89, 335)
,(-1,-137)
-- state  334
,( 30, 500),(-1,-138)
-- state  335
,(-1,-88)

-- state  336
,(-1,-78)
-- state  337
,(-1,-96)
-- state  338
,( 3, 134),( 6, 15)
,( 94, 508),(-1,-3000)
-- state  339
,( 13, 52),( 51, 65)
,(-1,-3000)
-- state  340
,(-1,-134)
-- state  341
,(-1,-147)
-- state  342
,( 6, 15)
,( 24, 512),(-1,-3000)
-- state  343
,( 71, 63),(-1,-149)

-- state  344
,( 3, 134),( 6, 15),(-1,-3000)
-- state  345
,( 6, 15)
,( 85, 460),( 86, 461),( 98, 424),(-1,-3000)

-- state  346
,( 6, 15),(-1,-3000)
-- state  347
,( 2, 185),( 3, 134)
,( 4, 183),( 5, 182),( 6, 15),( 17, 155)
,( 19, 154),( 22, 54),( 53, 479),( 65, 179)
,( 66, 164),( 67, 181),( 93, 523),( 101, 165)
,(-1,-3000)
-- state  348
,( 3, 134),( 6, 15),( 26, 392)
,( 47, 407),( 49, 394),( 50, 399),( 55, 398)
,( 59, 4),( 65, 179),( 73, 400),( 74, 395)
,( 78, 393),( 79, 336),( 81,-408),( 87, 396)
,( 90, 405),( 99, 406),( 102, 397),(-1,-392)

-- state  349
,(-1,-351)
-- state  350
,(-1,-353)
-- state  351
,( 3, 134),( 6, 15)
,( 26, 392),( 47, 407),( 49, 394),( 50, 399)
,( 55, 398),( 59, 4),( 65, 179),( 73, 400)
,( 74, 395),( 78, 393),( 87, 396),( 90, 405)
,( 99, 406),( 102, 397),(-1,-392)
-- state  352
,(-1,-355)

-- state  353
,(-1,-356)
-- state  354
,(-1,-357)
-- state  355
,( 6, 15),(-1,-3000)

-- state  356
,(-1,-358)
-- state  357
,(-1,-359)
-- state  358
,(-1,-360)
-- state  359
,(-1,-361)

-- state  360
,(-1,-362)
-- state  361
,(-1,-363)
-- state  362
,(-1,-364)
-- state  363
,(-1,-365)

-- state  364
,(-1,-366)
-- state  365
,(-1,-367)
-- state  366
,(-1,-368)
-- state  367
,(-1,-369)

-- state  368
,(-1,-370)
-- state  369
,(-1,-371)
-- state  370
,(-1,-372)
-- state  371
,(-1,-373)

-- state  372
,(-1,-374)
-- state  373
,(-1,-107)
-- state  374
,( 13, 52),(-1,-3000)

-- state  375
,( 7, 289),( 13, 52),( 16, 138),( 22, 54)
,( 30, 500),(-1,-3000)
-- state  376
,( 3, 134),( 6, 15)
,(-1,-411)
-- state  377
,( 2, 185),( 3, 134),( 4, 183)
,( 5, 182),( 6, 15),( 13, 52),( 17, 155)
,( 19, 154),( 22, 54),( 65, 179),( 66, 164)
,( 67, 181),( 101, 165),(-1,-3000)
-- state  378
,( 3, 134)
,( 6, 15),(-1,-3000)
-- state  379
,( 2, 185),( 3, 134)
,( 4, 183),( 5, 182),( 6, 15),( 17, 155)
,( 19, 154),( 22, 54),( 39, 541),( 65, 179)
,( 66, 164),( 67, 181),( 101, 165),(-1,-3000)

-- state  380
,( 3, 134),( 6, 15),(-1,-3000)
-- state  381
,( 3, 134)
,( 6, 15),(-1,-411)
-- state  382
,( 13, 52),(-1,-3000)

-- state  383
,( 3, 134),( 6, 15),(-1,-3000)
-- state  384
,( 2, 185)
,( 3, 134),( 4, 183),( 5, 182),( 6, 15)
,( 17, 155),( 19, 154),( 22, 54),( 65, 179)
,( 66, 164),( 67, 181),( 101, 165),(-1,-3000)

-- state  385
,(-1,-118)
-- state  386
,( 36, 556),( 77, 116),( 88, 558)
,( 92,-404),(-1,-394)
-- state  387
,( 13, 52),( 84, 561)
,(-1,-3000)
-- state  388
,(-1,-513)
-- state  389
,(-1,-514)
-- state  390
,(-1,-515)

-- state  391
,(-1,-516)
-- state  392
,(-1,-25)
-- state  393
,(-1,-77)
-- state  394
,(-1,-48)

-- state  395
,(-1,-73)
-- state  396
,(-1,-86)
-- state  397
,(-1,-101)
-- state  398
,(-1,-54)

-- state  399
,(-1,-49)
-- state  400
,(-1,-72)
-- state  401
,( 2, 185),( 3, 134)
,( 4, 183),( 5, 182),( 6, 15),( 17, 155)
,( 19, 154),( 22, 54),( 65, 179),( 66, 164)
,( 67, 181),( 101, 165),(-1,-3000)
-- state  402
,( 14, 207)
,(-1,-270)
-- state  403
,( 6, 15),(-1,-3000)
-- state  404
,( 3, 134)
,( 6, 15),( 37, 575),( 42, 577),( 87, 396)
,( 99, 406),(-1,-3000)
-- state  405
,(-1,-89)
-- state  406
,(-1,-98)

-- state  407
,(-1,-46)
-- state  408
,(-1,-406)
-- state  409
,(-1,-80)
-- state  410
,( 3, 134)
,( 6, 15),(-1,-401)
-- state  411
,( 43, 103),( 56, 104)
,( 57, 42),( 60, 37),( 76, 43),(-1,-3000)

-- state  412
,( 6, 15),( 38, 111),( 40, 114),( 43, 103)
,( 45, 115),( 56, 104),( 57, 42),( 59, 4)
,( 60, 37),( 75, 44),( 76, 43),( 77, 116)
,(-1,-246)
-- state  413
,( 13, 52),(-1,-3000)
-- state  414
,(-1,-586)

-- state  415
,( 6, 15),( 24, 512),(-1,-3000)
-- state  416
,( 71, 63)
,(-1,-3000)
-- state  417
,( 22, 54),(-1,-426)
-- state  418
,( 22, 54)
,(-1,-426)
-- state  419
,( 71, 63),(-1,-3000)
-- state  420
,( 61, 423)
,(-1,-433)
-- state  421
,(-1,-434)
-- state  422
,(-1,-436)
-- state  423
,(-1,-60)

-- state  424
,(-1,-97)
-- state  425
,( 6, 15),(-1,-3000)
-- state  426
,(-1,-463)

-- state  427
,(-1,-429)
-- state  428
,( 13, 52),( 21, 237),(-1,-3000)

-- state  429
,( 3, 134),( 6, 15),(-1,-3000)
-- state  430
,(-1,-113)

-- state  431
,(-1,-115)
-- state  432
,(-1,-40)
-- state  433
,(-1,-309)
-- state  434
,(-1,-82)

-- state  435
,(-1,-310)
-- state  436
,(-1,-304)
-- state  437
,(-1,-305)
-- state  438
,( 34, 245)
,( 63, 244),( 95, 243),(-1,-117)
-- state  439
,(-1,-322)

-- state  440
,( 17, 155),( 19, 154),( 23, 268),(-1,-312)

-- state  441
,( 17, 155),( 19, 154),( 23, 268),( 32, 473)
,(-1,-3000)
-- state  442
,( 7, 289),( 15,-342),( 16, 138)
,( 17,-342),( 19,-342),( 20,-342),( 22, 54)
,( 23,-342),( 31,-342),( 32,-342),( 52,-342)
,( 68,-342),(-1,-314)
-- state  443
,(-1,-313)
-- state  444
,( 15, 281)
,( 20, 280),( 52, 283),( 68, 282),(-1,-325)

-- state  445
,(-1,-332)
-- state  446
,(-1,-340)
-- state  447
,(-1,-278)
-- state  448
,( 18, 140)
,( 21, 237),(-1,-3000)
-- state  449
,( 18,-280),( 21,-280)
,( 34, 245),( 63, 244),( 95, 243),(-1,-232)

-- state  450
,(-1,-281)
-- state  451
,(-1,-95)
-- state  452
,(-1,-283)
-- state  453
,(-1,-284)

-- state  454
,(-1,-285)
-- state  455
,(-1,-286)
-- state  456
,(-1,-288)
-- state  457
,(-1,-289)

-- state  458
,(-1,-290)
-- state  459
,(-1,-291)
-- state  460
,(-1,-84)
-- state  461
,(-1,-85)

-- state  462
,(-1,-287)
-- state  463
,(-1,-348)
-- state  464
,(-1,-8)
-- state  465
,( 2, 185)
,( 3, 134),( 4, 183),( 5, 182),( 6, 15)
,( 17, 155),( 19, 154),( 22, 54),( 62, 306)
,( 65, 179),( 66, 164),( 67, 181),( 101, 165)
,(-1,-3000)
-- state  466
,( 2, 185),( 3, 134),( 4, 183)
,( 5, 182),( 6, 15),( 17, 155),( 19, 154)
,( 22, 54),( 65, 179),( 66, 164),( 67, 181)
,( 101, 165),(-1,-3000)
-- state  467
,( 2, 185),( 3, 134)
,( 4, 183),( 5, 182),( 6, 15),( 17, 155)
,( 19, 154),( 22, 54),( 62, 306),( 65, 179)
,( 66, 164),( 67, 181),( 101, 165),(-1,-3000)

-- state  468
,(-1,-296)
-- state  469
,( 2, 185),( 3, 134),( 4, 183)
,( 5, 182),( 6, 15),( 17, 155),( 19, 154)
,( 22, 54),( 62, 306),( 65, 179),( 66, 164)
,( 67, 181),( 101, 165),(-1,-3000)
-- state  470
,( 2, 185)
,( 3, 134),( 4, 183),( 5, 182),( 6, 15)
,( 17, 155),( 19, 154),( 22, 54),( 62, 306)
,( 65, 179),( 66, 164),( 67, 181),( 101, 165)
,(-1,-3000)
-- state  471
,(-1,-347)
-- state  472
,(-1,-295)
-- state  473
,(-1,-31)

-- state  474
,( 2, 185),( 3, 134),( 4, 183),( 5, 182)
,( 6, 15),( 17, 155),( 19, 154),( 22, 54)
,( 65, 179),( 66, 164),( 67, 181),( 101, 165)
,(-1,-3000)
-- state  475
,( 2, 185),( 3, 134),( 4, 183)
,( 5, 182),( 6, 15),( 17, 155),( 19, 154)
,( 22, 54),( 65, 179),( 66, 164),( 67, 181)
,( 101, 165),(-1,-3000)
-- state  476
,(-1,-53)
-- state  477
,( 6, 15)
,( 22, 54),( 54, 476),( 85, 460),( 86, 461)
,( 98, 424),(-1,-3000)
-- state  478
,(-1,-235)
-- state  479
,(-1,-52)

-- state  480
,( 21, 237),(-1,-3000)
-- state  481
,(-1,-249)
-- state  482
,( 6, 15)
,(-1,-3000)
-- state  483
,( 6, 15),(-1,-3000)
-- state  484
,( 6, 15)
,(-1,-3000)
-- state  485
,( 6, 15),( 38, 111),( 40, 114)
,( 43, 103),( 45, 115),( 56, 104),( 57, 42)
,( 59, 4),( 60, 37),( 75, 44),( 76, 43)
,( 77, 116),(-1,-246)
-- state  486
,( 81, 409),(-1,-3000)

-- state  487
,( 92, 218),(-1,-448)
-- state  488
,( 6, 15),( 38, 111)
,( 40, 114),( 43, 103),( 45, 115),( 46, 40)
,( 56, 104),( 57, 42),( 59, 4),( 60, 37)
,( 75, 44),( 76, 43),( 77, 116),(-1,-244)

-- state  489
,( 59, 4),(-1,-495)
-- state  490
,( 80, 628),(-1,-503)

-- state  491
,( 71, 63),(-1,-468)
-- state  492
,( 6, 15),( 38, 111)
,( 40, 114),( 43, 103),( 45, 115),( 46, 40)
,( 56, 104),( 57, 42),( 59, 4),( 60, 37)
,( 75, 44),( 76, 43),( 77, 116),(-1,-244)

-- state  493
,( 57, 42),( 58, 11),( 59, 4),( 76, 43)
,( 77, 116),( 80, 628),(-1,-477)
-- state  494
,( 71, 63)
,(-1,-3000)
-- state  495
,( 46, 40),(-1,-118)
-- state  496
,( 7, 289)
,( 16, 138),( 22, 54),(-1,-456)
-- state  497
,(-1,-454)

-- state  498
,(-1,-560)
-- state  499
,(-1,-139)
-- state  500
,(-1,-29)
-- state  501
,( 2, 185)
,( 3, 134),( 4, 183),( 5, 182),( 6, 15)
,( 17, 155),( 19, 154),( 22, 54),( 65, 179)
,( 66, 164),( 67, 181),( 101, 165),(-1,-3000)

-- state  502
,( 51, 65),(-1,-140)
-- state  503
,(-1,-141)
-- state  504
,( 7, 289)
,( 16, 138),( 22, 54),( 54, 476),( 85, 460)
,(-1,-161)
-- state  505
,(-1,-189)
-- state  506
,(-1,-190)
-- state  507
,( 22, 54)
,(-1,-3000)
-- state  508
,(-1,-93)
-- state  509
,( 30, 500),(-1,-142)

-- state  510
,( 13, 52),(-1,-3000)
-- state  511
,(-1,-562)
-- state  512
,(-1,-23)

-- state  513
,(-1,-221)
-- state  514
,( 13, 52),( 21, 237),(-1,-3000)

-- state  515
,( 14, 207),( 18, 140),(-1,-3000)
-- state  516
,( 21, 237)
,(-1,-3000)
-- state  517
,( 22, 54),( 44, 680),( 54, 476)
,( 67, 181),( 68, 282),( 85, 460),( 86, 461)
,( 94, 508),( 98, 424),( 100, 70),(-1,-209)

-- state  518
,( 13, 52),(-1,-3000)
-- state  519
,( 13, 52),(-1,-3000)

-- state  520
,(-1,-268)
-- state  521
,(-1,-269)
-- state  522
,( 13, 52),( 34, 245)
,( 63, 244),( 95, 243),(-1,-3000)
-- state  523
,(-1,-92)

-- state  524
,( 93, 523),(-1,-612)
-- state  525
,( 2, 185),( 3, 134)
,( 4, 183),( 5, 182),( 6, 15),( 17, 155)
,( 19, 154),( 22, 54),( 65, 179),( 66, 164)
,( 67, 181),( 101, 165),(-1,-3000)
-- state  526
,( 37, 575)
,(-1,-409)
-- state  527
,( 37, 575),(-1,-3000)
-- state  528
,(-1,-352)

-- state  529
,(-1,-407)
-- state  530
,(-1,-354)
-- state  531
,( 25, 692),(-1,-3000)

-- state  532
,(-1,-376)
-- state  533
,( 2, 185),( 3, 134),( 4, 183)
,( 5, 182),( 6, 15),( 17, 155),( 19, 154)
,( 22, 54),( 65, 179),( 66, 164),( 67, 181)
,( 101, 165),(-1,-3000)
-- state  534
,(-1,-439)
-- state  535
,( 7, 289)
,( 16, 138),( 22, 54),(-1,-412)
-- state  536
,( 37, 575)
,(-1,-413)
-- state  537
,( 13, 52),( 34, 245),( 63, 244)
,( 95, 243),(-1,-3000)
-- state  538
,(-1,-415)
-- state  539
,( 7, 289)
,( 13, 52),( 16, 138),( 22, 54),(-1,-3000)

-- state  540
,( 13, 52),( 34, 245),( 63, 244),( 95, 243)
,(-1,-3000)
-- state  541
,(-1,-38)
-- state  542
,( 2, 185),( 3, 134)
,( 4, 183),( 5, 182),( 6, 15),( 17, 155)
,( 19, 154),( 22, 54),( 65, 179),( 66, 164)
,( 67, 181),( 101, 165),(-1,-3000)
-- state  543
,( 13, 52)
,( 18, 140),(-1,-3000)
-- state  544
,( 13, 52),(-1,-3000)

-- state  545
,(-1,-617)
-- state  546
,( 7, 289),( 13, 52),( 16, 138)
,( 22, 54),( 35, 12),(-1,-3000)
-- state  547
,(-1,-379)

-- state  548
,( 82, 706),( 83, 434),(-1,-384)
-- state  549
,( 3, 134)
,( 6, 15),( 26, 392),( 47, 407),( 49, 394)
,( 50, 399),( 55, 398),( 59, 4),( 65, 179)
,( 73, 400),( 74, 395),( 78, 393),( 87, 396)
,( 90, 405),( 99, 406),( 102, 397),(-1,-392)

-- state  550
,( 41, 432),(-1,-3000)
-- state  551
,( 34, 245),( 63, 244)
,( 95, 243),(-1,-383)
-- state  552
,( 59, 4),(-1,-388)

-- state  553
,( 2, 185),( 3, 134),( 4, 183),( 5, 182)
,( 6, 15),( 17, 155),( 19, 154),( 22, 54)
,( 65, 179),( 66, 164),( 67, 181),( 101, 165)
,(-1,-3000)
-- state  554
,( 48, 714),(-1,-398)
-- state  555
,( 6, 15)
,( 38, 111),( 40, 114),( 43, 103),( 45, 115)
,( 56, 104),( 57, 42),( 59, 4),( 60, 37)
,( 75, 44),( 76, 43),( 77, 116),(-1,-244)

-- state  556
,(-1,-35)
-- state  557
,( 6, 15),(-1,-3000)
-- state  558
,(-1,-87)

-- state  559
,( 69, 719),(-1,-3000)
-- state  560
,( 92, 218),(-1,-3000)

-- state  561
,(-1,-83)
-- state  562
,(-1,-506)
-- state  563
,( 3, 134),( 6, 15)
,( 26, 392),( 47, 407),( 49, 394),( 50, 399)
,( 55, 398),( 59, 4),( 65, 179),( 73, 400)
,( 74, 395),( 78, 393),( 87, 396),( 90, 405)
,( 99, 406),( 102, 397),(-1,-392)
-- state  564
,( 34, 245)
,( 63, 244),( 71, 63),( 95, 243),(-1,-3000)

-- state  565
,(-1,-393)
-- state  566
,(-1,-509)
-- state  567
,( 22, 54),(-1,-426)

-- state  568
,(-1,-518)
-- state  569
,( 2, 185),( 3, 134),( 4, 183)
,( 5, 182),( 6, 15),( 17, 155),( 19, 154)
,( 22, 54),( 65, 179),( 66, 164),( 67, 181)
,( 101, 165),(-1,-3000)
-- state  570
,( 3, 134),( 6, 15)
,( 26, 392),( 41,-530),( 47, 407),( 49, 394)
,( 50, 399),( 55, 398),( 59, 4),( 63,-530)
,( 65, 179),( 73, 400),( 74, 395),( 78, 393)
,( 81,-530),( 83,-530),( 87, 396),( 90, 405)
,( 99, 406),( 102, 397),(-1,-392)
-- state  571
,( 3, 134)
,( 6, 15),( 26, 392),( 41,-530),( 47, 407)
,( 49, 394),( 50, 399),( 55, 398),( 59, 4)
,( 63,-530),( 65, 179),( 73, 400),( 74, 395)
,( 78, 393),( 83,-530),( 87, 396),( 90, 405)
,( 99, 406),( 102, 397),(-1,-392)
-- state  572
,(-1,-505)

-- state  573
,( 3, 134),( 6, 15),( 26, 392),( 47, 407)
,( 49, 394),( 50, 399),( 55, 398),( 59, 4)
,( 63,-530),( 65, 179),( 73, 400),( 74, 395)
,( 78, 393),( 81,-530),( 83,-530),( 87, 396)
,( 90, 405),( 99, 406),( 102, 397),(-1,-392)

-- state  574
,( 13, 52),(-1,-3000)
-- state  575
,(-1,-36)
-- state  576
,( 7, 289)
,( 13, 52),( 16, 138),( 22, 54),(-1,-3000)

-- state  577
,(-1,-41)
-- state  578
,(-1,-520)
-- state  579
,( 41, 432),(-1,-3000)

-- state  580
,(-1,-402)
-- state  581
,( 13, 52),(-1,-3000)
-- state  582
,(-1,-554)

-- state  583
,(-1,-555)
-- state  584
,(-1,-556)
-- state  585
,(-1,-557)
-- state  586
,( 6, 15)
,( 38, 111),( 40, 114),( 43, 103),( 45, 115)
,( 56, 104),( 57, 42),( 59, 4),( 60, 37)
,( 75, 44),( 76, 43),( 77, 116),(-1,-244)

-- state  587
,( 91, 61),(-1,-3000)
-- state  588
,( 91, 61),(-1,-3000)

-- state  589
,( 91, 61),(-1,-3000)
-- state  590
,( 71, 63),(-1,-3000)

-- state  591
,(-1,-553)
-- state  592
,(-1,-462)
-- state  593
,( 21, 237),(-1,-3000)

-- state  594
,( 22, 54),( 44, 680),( 54, 476),( 67, 181)
,( 68, 282),( 85, 460),( 86, 461),( 94, 508)
,( 98, 424),( 100, 70),(-1,-209)
-- state  595
,( 71, 63)
,(-1,-588)
-- state  596
,( 49, 394),(-1,-3000)
-- state  597
,( 67, 181)
,(-1,-3000)
-- state  598
,(-1,-435)
-- state  599
,( 7, 289),( 16, 138)
,( 30, 500),(-1,-142)
-- state  600
,(-1,-428)
-- state  601
,( 6, 15)
,(-1,-3000)
-- state  602
,( 7, 289),( 16, 138),( 22, 54)
,(-1,-422)
-- state  603
,(-1,-277)
-- state  604
,( 2, 185),( 3, 134)
,( 4, 183),( 5, 182),( 6, 15),( 17, 155)
,( 19, 154),( 22, 54),( 62, 306),( 65, 179)
,( 66, 164),( 67, 181),( 101, 165),(-1,-3000)

-- state  605
,( 34, 245),( 63, 244),( 95, 243),(-1,-232)

-- state  606
,(-1,-233)
-- state  607
,(-1,-231)
-- state  608
,( 34, 245),( 63, 244)
,( 95, 243),(-1,-302)
-- state  609
,(-1,-300)
-- state  610
,(-1,-301)

-- state  611
,( 18, 140),( 21, 237),(-1,-3000)
-- state  612
,( 53, 479)
,(-1,-294)
-- state  613
,( 17, 155),( 19, 154),( 23, 268)
,(-1,-171)
-- state  614
,( 7, 289),( 16, 138),( 22, 54)
,(-1,-342)
-- state  615
,(-1,-170)
-- state  616
,( 22, 54),(-1,-172)

-- state  617
,(-1,-299)
-- state  618
,( 71, 63),(-1,-3000)
-- state  619
,( 16, 138)
,( 71, 63),(-1,-3000)
-- state  620
,( 71, 63),(-1,-3000)

-- state  621
,(-1,-444)
-- state  622
,( 6, 15),(-1,-445)
-- state  623
,(-1,-449)

-- state  624
,( 81, 409),(-1,-3000)
-- state  625
,( 13, 52),(-1,-3000)

-- state  626
,( 58, 11),( 77, 116),(-1,-470)
-- state  627
,( 6, 15)
,(-1,-3000)
-- state  628
,(-1,-79)
-- state  629
,(-1,-118)
-- state  630
,(-1,-467)

-- state  631
,( 92, 218),(-1,-3000)
-- state  632
,( 13, 52),(-1,-3000)

-- state  633
,(-1,-485)
-- state  634
,(-1,-481)
-- state  635
,( 13, 52),(-1,-3000)

-- state  636
,(-1,-483)
-- state  637
,(-1,-484)
-- state  638
,( 81, 409),(-1,-3000)

-- state  639
,(-1,-480)
-- state  640
,(-1,-475)
-- state  641
,( 59, 4),(-1,-490)

-- state  642
,( 57, 42),( 76, 43),( 80, 628),( 81, 409)
,(-1,-3000)
-- state  643
,( 13, 52),(-1,-3000)
-- state  644
,( 13, 52)
,( 34, 245),( 63, 244),( 95, 243),(-1,-3000)

-- state  645
,( 13, 52),(-1,-3000)
-- state  646
,(-1,-162)
-- state  647
,(-1,-163)

-- state  648
,( 2, 185),( 3, 134),( 4, 183),( 5, 182)
,( 6, 15),( 17, 155),( 19, 154),( 22, 54)
,( 65, 179),( 66, 164),( 67, 181),( 101, 165)
,(-1,-3000)
-- state  649
,(-1,-160)
-- state  650
,( 2, 185),( 3, 134)
,( 4, 183),( 5, 182),( 6, 15),( 17, 155)
,( 19, 154),( 22, 54),( 65, 179),( 66, 164)
,( 67, 181),( 101, 165),(-1,-3000)
-- state  651
,( 64, 795)
,(-1,-3000)
-- state  652
,( 2, 185),( 3, 134),( 4, 183)
,( 5, 182),( 6, 15),( 17, 155),( 19, 154)
,( 22, 54),( 65, 179),( 66, 164),( 67, 181)
,( 101, 165),(-1,-3000)
-- state  653
,( 13, 52),(-1,-3000)

-- state  654
,(-1,-458)
-- state  655
,(-1,-220)
-- state  656
,( 6, 15),(-1,-3000)

-- state  657
,( 98, 424),(-1,-224)
-- state  658
,(-1,-148)
-- state  659
,(-1,-151)

-- state  660
,(-1,-152)
-- state  661
,(-1,-153)
-- state  662
,(-1,-154)
-- state  663
,(-1,-155)

-- state  664
,(-1,-156)
-- state  665
,(-1,-157)
-- state  666
,(-1,-158)
-- state  667
,( 2, 185)
,( 6, 15),(-1,-3000)
-- state  668
,(-1,-179)
-- state  669
,( 2, 185)
,( 3, 134),( 4, 183),( 5, 182),( 6, 15)
,( 17, 155),( 19, 154),( 22, 54),( 65, 179)
,( 66, 164),( 67, 181),( 101, 165),(-1,-3000)

-- state  670
,(-1,-184)
-- state  671
,(-1,-185)
-- state  672
,( 70, 808),(-1,-451)

-- state  673
,( 3, 134),( 6, 15),( 56, 104),( 89, 335)
,( 96, 451),(-1,-242)
-- state  674
,( 3, 134),( 6, 15)
,(-1,-3000)
-- state  675
,( 44, 680),( 67, 181),(-1,-3000)

-- state  676
,(-1,-181)
-- state  677
,( 2, 185),( 3, 134),( 4, 183)
,( 5, 182),( 6, 15),( 17, 155),( 19, 154)
,( 22, 54),( 65, 179),( 66, 164),( 67, 181)
,( 101, 165),(-1,-3000)
-- state  678
,( 2, 185),( 3, 134)
,( 4, 183),( 5, 182),( 6, 15),( 17, 155)
,( 19, 154),( 22, 54),( 65, 179),( 66, 164)
,( 67, 181),( 101, 165),(-1,-3000)
-- state  679
,(-1,-210)

-- state  680
,(-1,-43)
-- state  681
,(-1,-150)
-- state  682
,(-1,-145)
-- state  683
,(-1,-159)

-- state  684
,(-1,-610)
-- state  685
,( 68, 282),(-1,-3000)
-- state  686
,(-1,-614)

-- state  687
,( 13, 52),( 34, 245),( 63, 244),( 95, 243)
,(-1,-3000)
-- state  688
,( 3, 134),( 6, 15),( 62, 306)
,(-1,-3000)
-- state  689
,(-1,-564)
-- state  690
,(-1,-563)
-- state  691
,(-1,-106)

-- state  692
,(-1,-24)
-- state  693
,(-1,-375)
-- state  694
,( 13, 52),( 34, 245)
,( 63, 244),( 95, 243),(-1,-3000)
-- state  695
,( 2, 185)
,( 3, 134),( 4, 183),( 5, 182),( 6, 15)
,( 17, 155),( 19, 154),( 22, 54),( 65, 179)
,( 66, 164),( 67, 181),( 101, 165),(-1,-3000)

-- state  696
,( 13, 52),(-1,-3000)
-- state  697
,(-1,-416)
-- state  698
,(-1,-417)

-- state  699
,(-1,-511)
-- state  700
,( 13, 52),( 34, 245),( 63, 244)
,( 95, 243),(-1,-3000)
-- state  701
,(-1,-532)
-- state  702
,(-1,-571)

-- state  703
,(-1,-572)
-- state  704
,( 102, 397),(-1,-3000)
-- state  705
,( 3, 134)
,( 6, 15),( 26, 392),( 47, 407),( 49, 394)
,( 50, 399),( 55, 398),( 59, 4),( 65, 179)
,( 73, 400),( 74, 395),( 78, 393),( 87, 396)
,( 90, 405),( 99, 406),( 102, 397),(-1,-392)

-- state  706
,(-1,-81)
-- state  707
,( 81, 409),(-1,-3000)
-- state  708
,( 2, 185)
,( 3, 134),( 4, 183),( 5, 182),( 6, 15)
,( 17, 155),( 19, 154),( 22, 54),( 65, 179)
,( 66, 164),( 67, 181),( 101, 165),(-1,-3000)

-- state  709
,( 3, 134),( 6, 15),( 26, 392),( 47, 407)
,( 49, 394),( 50, 399),( 55, 398),( 59, 4)
,( 65, 179),( 73, 400),( 74, 395),( 78, 393)
,( 81,-381),( 82,-381),( 83,-381),( 87, 396)
,( 90, 405),( 99, 406),( 102, 397),(-1,-392)

-- state  710
,(-1,-382)
-- state  711
,( 37, 575),( 81, 409),(-1,-3000)

-- state  712
,(-1,-395)
-- state  713
,(-1,-399)
-- state  714
,(-1,-47)
-- state  715
,( 2, 185)
,( 3, 134),( 4, 183),( 5, 182),( 6, 15)
,( 17, 155),( 19, 154),( 22, 54),( 65, 179)
,( 66, 164),( 67, 181),( 101, 165),(-1,-3000)

-- state  716
,(-1,-405)
-- state  717
,( 72, 267),(-1,-3000)
-- state  718
,( 3, 134)
,( 6, 15),( 26, 392),( 47, 407),( 49, 394)
,( 50, 399),( 55, 398),( 59, 4),( 65, 179)
,( 73, 400),( 74, 395),( 78, 393),( 87, 396)
,( 90, 405),( 99, 406),( 102, 397),(-1,-392)

-- state  719
,(-1,-68)
-- state  720
,( 3, 134),( 6, 15),(-1,-401)

-- state  721
,( 81, 409),(-1,-3000)
-- state  722
,( 81, 409),(-1,-3000)

-- state  723
,(-1,-387)
-- state  724
,( 2, 185),( 3, 134),( 4, 183)
,( 5, 182),( 6, 15),( 17, 155),( 19, 154)
,( 22, 54),( 65, 179),( 66, 164),( 67, 181)
,( 101, 165),(-1,-3000)
-- state  725
,(-1,-508)
-- state  726
,( 33, 248)
,(-1,-3000)
-- state  727
,( 3, 134),( 6, 15),( 26, 392)
,( 41,-531),( 47, 407),( 49, 394),( 50, 399)
,( 55, 398),( 59, 4),( 63,-531),( 65, 179)
,( 73, 400),( 74, 395),( 78, 393),( 81,-531)
,( 83,-531),( 87, 396),( 90, 405),( 99, 406)
,( 102, 397),(-1,-392)
-- state  728
,( 63,-523),( 81,-523)
,( 83,-523),(-1,-525)
-- state  729
,( 63, 244),( 83, 434)
,(-1,-526)
-- state  730
,(-1,-522)
-- state  731
,(-1,-524)
-- state  732
,( 63, 244)
,( 83, 434),(-1,-384)
-- state  733
,( 102, 397),(-1,-3000)

-- state  734
,(-1,-438)
-- state  735
,( 6, 15),(-1,-3000)
-- state  736
,( 6, 15)
,(-1,-3000)
-- state  737
,(-1,-437)
-- state  738
,(-1,-587)
-- state  739
,( 24, 512)
,(-1,-3000)
-- state  740
,( 24, 512),(-1,-3000)
-- state  741
,( 24, 512)
,(-1,-3000)
-- state  742
,( 24, 512),(-1,-3000)
-- state  743
,( 24, 512)
,(-1,-3000)
-- state  744
,(-1,-597)
-- state  745
,(-1,-598)
-- state  746
,(-1,-599)

-- state  747
,(-1,-600)
-- state  748
,( 70, 808),(-1,-451)
-- state  749
,( 3, 134)
,( 6, 15),(-1,-3000)
-- state  750
,( 44, 680),( 67, 181)
,(-1,-3000)
-- state  751
,( 13, 52),(-1,-3000)
-- state  752
,( 3, 134)
,( 6, 15),( 24, 512),(-1,-3000)
-- state  753
,( 13, 52)
,(-1,-3000)
-- state  754
,( 3, 134),( 6, 15),(-1,-3000)

-- state  755
,( 3, 134),( 6, 15),(-1,-3000)
-- state  756
,(-1,-431)

-- state  757
,(-1,-430)
-- state  758
,(-1,-279)
-- state  759
,(-1,-297)
-- state  760
,( 21, 237)
,(-1,-3000)
-- state  761
,( 2, 185),( 3, 134),( 4, 183)
,( 5, 182),( 6, 15),( 17, 155),( 19, 154)
,( 22, 54),( 65, 179),( 66, 164),( 67, 181)
,( 101, 165),(-1,-3000)
-- state  762
,( 46, 40),(-1,-3000)

-- state  763
,( 46, 40),(-1,-3000)
-- state  764
,( 46, 40),(-1,-3000)

-- state  765
,( 16, 138),(-1,-446)
-- state  766
,(-1,-442)
-- state  767
,( 6, 15)
,(-1,-445)
-- state  768
,(-1,-559)
-- state  769
,(-1,-118)
-- state  770
,( 81, 409)
,(-1,-3000)
-- state  771
,(-1,-118)
-- state  772
,( 22, 54),(-1,-426)

-- state  773
,( 59, 4),(-1,-496)
-- state  774
,( 81, 409),(-1,-3000)

-- state  775
,(-1,-558)
-- state  776
,( 6, 15),( 57, 42),( 59, 4)
,( 76, 43),( 77, 116),( 80, 628),(-1,-478)

-- state  777
,(-1,-482)
-- state  778
,( 3, 134),( 6, 15),(-1,-401)

-- state  779
,(-1,-492)
-- state  780
,(-1,-493)
-- state  781
,( 13, 52),( 71, 63)
,(-1,-3000)
-- state  782
,( 6, 15),(-1,-3000)
-- state  783
,( 3, 134)
,( 6, 15),(-1,-401)
-- state  784
,(-1,-118)
-- state  785
,(-1,-561)

-- state  786
,(-1,-144)
-- state  787
,(-1,-457)
-- state  788
,( 34, 245),( 54, 476)
,( 63, 244),( 95, 243),(-1,-204)
-- state  789
,(-1,-196)

-- state  790
,( 18, 140),( 21, 237),(-1,-3000)
-- state  791
,(-1,-200)

-- state  792
,( 18, 140),( 21, 237),(-1,-3000)
-- state  793
,( 7, 289)
,( 16, 138),( 18,-204),( 21,-204),( 22, 54)
,( 54, 476),(-1,-342)
-- state  794
,(-1,-203)
-- state  795
,(-1,-63)

-- state  796
,( 97, 337),(-1,-194)
-- state  797
,( 34, 245),( 63, 244)
,( 95, 243),(-1,-143)
-- state  798
,(-1,-132)
-- state  799
,(-1,-222)

-- state  800
,(-1,-225)
-- state  801
,( 6, 15),(-1,-3000)
-- state  802
,(-1,-175)

-- state  803
,( 18, 140),( 21, 237),(-1,-3000)
-- state  804
,(-1,-177)

-- state  805
,(-1,-178)
-- state  806
,( 34, 245),( 63, 244),( 95, 243)
,(-1,-180)
-- state  807
,(-1,-452)
-- state  808
,(-1,-69)
-- state  809
,( 53, 479)
,( 58, 11),( 65, 179),(-1,-3000)
-- state  810
,(-1,-243)

-- state  811
,(-1,-237)
-- state  812
,( 3, 134),( 6, 15),(-1,-3000)

-- state  813
,( 3, 134),( 6, 15),(-1,-3000)
-- state  814
,( 57, 42)
,( 76, 43),(-1,-3000)
-- state  815
,( 35, 12),(-1,-165)

-- state  816
,( 3, 134),( 6, 15),(-1,-3000)
-- state  817
,(-1,-211)

-- state  818
,( 34, 245),( 54, 476),( 63, 244),( 95, 243)
,(-1,-182)
-- state  819
,( 34, 245),( 54, 476),( 63, 244)
,( 85, 460),( 95, 243),(-1,-3000)
-- state  820
,( 2, 185)
,( 3, 134),( 4, 183),( 5, 182),( 6, 15)
,( 17, 155),( 19, 154),( 22, 54),( 65, 179)
,( 66, 164),( 67, 181),( 101, 165),(-1,-3000)

-- state  821
,( 6, 15),( 81, 409),(-1,-3000)
-- state  822
,(-1,-616)

-- state  823
,(-1,-567)
-- state  824
,( 9, 464),( 33, 248),(-1,-3000)

-- state  825
,( 7, 289),( 16, 138),( 22, 54),(-1,-569)

-- state  826
,(-1,-570)
-- state  827
,( 14, 207),(-1,-270)
-- state  828
,(-1,-377)

-- state  829
,(-1,-414)
-- state  830
,(-1,-410)
-- state  831
,(-1,-512)
-- state  832
,( 13, 52)
,(-1,-3000)
-- state  833
,( 3, 134),( 6, 15),( 26, 392)
,( 47, 407),( 49, 394),( 50, 399),( 55, 398)
,( 59, 4),( 65, 179),( 73, 400),( 74, 395)
,( 78, 393),( 81,-385),( 87, 396),( 90, 405)
,( 99, 406),( 102, 397),(-1,-392)
-- state  834
,( 73, 400)
,(-1,-3000)
-- state  835
,(-1,-380)
-- state  836
,( 2, 185),( 3, 134)
,( 4, 183),( 5, 182),( 6, 15),( 17, 155)
,( 19, 154),( 22, 54),( 62, 306),( 65, 179)
,( 66, 164),( 67, 181),( 101, 165),(-1,-3000)

-- state  837
,( 90, 405),(-1,-3000)
-- state  838
,(-1,-389)
-- state  839
,( 7, 289)
,( 16, 138),( 18,-204),( 21,-204),( 22, 54)
,( 54, 476),( 69,-204),(-1,-342)
-- state  840
,(-1,-396)

-- state  841
,(-1,-397)
-- state  842
,( 3, 134),( 6, 15),( 26, 392)
,( 47, 407),( 49, 394),( 50, 399),( 55, 398)
,( 59, 4),( 65, 179),( 73, 400),( 74, 395)
,( 78, 393),( 81, 409),( 87, 396),( 90, 405)
,( 99, 406),( 102, 397),(-1,-392)
-- state  843
,( 13, 52)
,(-1,-3000)
-- state  844
,( 3, 134),( 6, 15),(-1,-401)

-- state  845
,( 3, 134),( 6, 15),(-1,-401)
-- state  846
,( 21, 237)
,( 34, 245),( 63, 244),( 95, 243),(-1,-3000)

-- state  847
,( 14,-135),( 18,-135),(-1,-270)
-- state  848
,( 42, 577)
,( 87, 396),( 99, 406),(-1,-3000)
-- state  849
,( 87, 396)
,(-1,-3000)
-- state  850
,( 3, 134),( 6, 15),( 26, 392)
,( 47, 407),( 49, 394),( 50, 399),( 55, 398)
,( 59, 4),( 65, 179),( 73, 400),( 74, 395)
,( 78, 393),( 87, 396),( 90, 405),( 99, 406)
,( 102, 397),(-1,-392)
-- state  851
,( 81, 409),(-1,-3000)

-- state  852
,( 37, 575),( 42, 577),( 87, 396),( 99, 406)
,(-1,-3000)
-- state  853
,( 3, 134),( 6, 15),( 26, 392)
,( 47, 407),( 49, 394),( 50, 399),( 55, 398)
,( 59, 4),( 65, 179),( 73, 400),( 74, 395)
,( 78, 393),( 87, 396),( 90, 405),( 99, 406)
,( 102, 397),(-1,-392)
-- state  854
,( 71, 63),(-1,-3000)

-- state  855
,( 71, 63),(-1,-3000)
-- state  856
,( 21, 237),(-1,-3000)

-- state  857
,(-1,-592)
-- state  858
,(-1,-593)
-- state  859
,( 85, 460),(-1,-594)

-- state  860
,(-1,-596)
-- state  861
,( 58, 11),(-1,-3000)
-- state  862
,( 35, 12)
,(-1,-601)
-- state  863
,( 3, 134),( 6, 15),(-1,-3000)

-- state  864
,(-1,-579)
-- state  865
,( 7, 289),( 16, 138),( 22, 54)
,(-1,-589)
-- state  866
,(-1,-590)
-- state  867
,(-1,-580)
-- state  868
,( 7, 289)
,( 16, 138),( 22, 54),( 71, 63),(-1,-588)

-- state  869
,( 7, 289),( 13, 52),( 16, 138),( 22, 54)
,(-1,-3000)
-- state  870
,(-1,-298)
-- state  871
,( 21, 237),( 34, 245)
,( 63, 244),( 95, 243),(-1,-3000)
-- state  872
,( 13, 52)
,(-1,-3000)
-- state  873
,( 80, 628),(-1,-503)
-- state  874
,( 3, 134)
,( 6, 15),(-1,-401)
-- state  875
,( 59, 4),(-1,-504)

-- state  876
,( 2, 185),( 3, 134),( 4, 183),( 5, 182)
,( 6, 15),( 17, 155),( 19, 154),( 22, 54)
,( 65, 179),( 66, 164),( 67, 181),( 101, 165)
,(-1,-3000)
-- state  877
,( 13, 52),(-1,-3000)
-- state  878
,( 3, 134)
,( 6, 15),(-1,-401)
-- state  879
,(-1,-487)
-- state  880
,(-1,-488)

-- state  881
,( 14, 207),( 18, 140),(-1,-3000)
-- state  882
,(-1,-486)

-- state  883
,(-1,-476)
-- state  884
,(-1,-494)
-- state  885
,( 22, 54),(-1,-426)

-- state  886
,( 13, 52),(-1,-3000)
-- state  887
,( 59, 4),(-1,-491)

-- state  888
,(-1,-205)
-- state  889
,(-1,-164)
-- state  890
,( 64, 795),(-1,-3000)

-- state  891
,( 3, 134),( 6, 15),(-1,-3000)
-- state  892
,(-1,-199)

-- state  893
,( 2, 185),( 3, 134),( 4, 183),( 5, 182)
,( 6, 15),( 17, 155),( 19, 154),( 22, 54)
,( 65, 179),( 66, 164),( 67, 181),( 101, 165)
,(-1,-3000)
-- state  894
,( 2, 185),( 3, 134),( 4, 183)
,( 5, 182),( 6, 15),( 17, 155),( 19, 154)
,( 22, 54),( 24, 512),( 65, 179),( 66, 164)
,( 67, 181),( 101, 165),(-1,-3000)
-- state  895
,(-1,-202)

-- state  896
,( 3, 134),( 6, 15),(-1,-3000)
-- state  897
,(-1,-195)

-- state  898
,(-1,-192)
-- state  899
,( 7, 289),( 16, 138),( 30, 500)
,(-1,-142)
-- state  900
,(-1,-174)
-- state  901
,( 2, 185),( 6, 15)
,(-1,-3000)
-- state  902
,(-1,-118)
-- state  903
,( 53, 479),(-1,-3000)

-- state  904
,(-1,-206)
-- state  905
,(-1,-450)
-- state  906
,(-1,-238)
-- state  907
,(-1,-239)

-- state  908
,( 22, 54),(-1,-426)
-- state  909
,( 22, 54),(-1,-426)

-- state  910
,( 53, 479),( 58, 11),( 65, 179),(-1,-3000)

-- state  911
,( 35, 12),(-1,-3000)
-- state  912
,(-1,-183)
-- state  913
,(-1,-186)

-- state  914
,(-1,-187)
-- state  915
,( 2, 185),( 3, 134),( 4, 183)
,( 5, 182),( 6, 15),( 17, 155),( 19, 154)
,( 22, 54),( 65, 179),( 66, 164),( 67, 181)
,( 101, 165),(-1,-3000)
-- state  916
,( 13, 52),( 34, 245)
,( 63, 244),( 95, 243),(-1,-3000)
-- state  917
,( 7, 289)
,( 16, 138),( 93, 523),(-1,-3000)
-- state  918
,( 53, 479)
,(-1,-3000)
-- state  919
,( 3, 134),( 6, 15),( 26, 392)
,( 47, 407),( 49, 394),( 50, 399),( 55, 398)
,( 59, 4),( 65, 179),( 73, 400),( 74, 395)
,( 78, 393),( 87, 396),( 90, 405),( 99, 406)
,( 102, 397),(-1,-392)
-- state  920
,( 3, 134),( 6, 15)
,( 62, 306),(-1,-3000)
-- state  921
,( 3, 134),( 6, 15)
,( 62, 306),(-1,-3000)
-- state  922
,(-1,-573)
-- state  923
,( 13, 52)
,(-1,-3000)
-- state  924
,( 9, 464),( 33, 248),(-1,-3000)

-- state  925
,( 13, 52),(-1,-3000)
-- state  926
,( 69, 719),(-1,-3000)

-- state  927
,(-1,-391)
-- state  928
,( 13, 52),(-1,-3000)
-- state  929
,( 13, 52)
,(-1,-3000)
-- state  930
,(-1,-510)
-- state  931
,( 3, 134),( 6, 15)
,( 26, 392),( 47, 407),( 49, 394),( 50, 399)
,( 55, 398),( 59, 4),( 63,-530),( 65, 179)
,( 73, 400),( 74, 395),( 78, 393),( 81,-530)
,( 83,-530),( 87, 396),( 90, 405),( 99, 406)
,( 102, 397),(-1,-392)
-- state  932
,(-1,-519)
-- state  933
,( 3, 134)
,( 6, 15),( 26, 392),( 47, 407),( 49, 394)
,( 50, 399),( 55, 398),( 59, 4),( 65, 179)
,( 73, 400),( 74, 395),( 78, 393),( 81,-530)
,( 87, 396),( 90, 405),( 99, 406),( 102, 397)
,(-1,-392)
-- state  934
,( 3, 134),( 6, 15),( 26, 392)
,( 47, 407),( 49, 394),( 50, 399),( 55, 398)
,( 59, 4),( 65, 179),( 73, 400),( 74, 395)
,( 78, 393),( 81, 409),( 87, 396),( 90, 405)
,( 99, 406),( 102, 397),(-1,-392)
-- state  935
,( 47, 407)
,(-1,-3000)
-- state  936
,(-1,-521)
-- state  937
,( 3, 134),( 6, 15)
,( 26, 392),( 47, 407),( 49, 394),( 50, 399)
,( 55, 398),( 59, 4),( 65, 179),( 73, 400)
,( 74, 395),( 78, 393),( 81, 409),( 87, 396)
,( 90, 405),( 99, 406),( 102, 397),(-1,-392)

-- state  938
,( 6, 15),( 38, 111),( 40, 114),( 43, 103)
,( 45, 115),( 56, 104),( 57, 42),( 59, 4)
,( 60, 37),( 75, 44),( 76, 43),( 77, 116)
,(-1,-244)
-- state  939
,(-1,-118)
-- state  940
,(-1,-591)
-- state  941
,( 24, 512)
,(-1,-3000)
-- state  942
,( 58, 11),(-1,-3000)
-- state  943
,( 35, 12)
,(-1,-3000)
-- state  944
,( 13, 52),(-1,-3000)
-- state  945
,( 2, 185)
,( 3, 134),( 4, 183),( 5, 182),( 6, 15)
,( 17, 155),( 19, 154),( 22, 54),( 24, 512)
,( 62, 306),( 65, 179),( 66, 164),( 67, 181)
,( 101, 165),(-1,-3000)
-- state  946
,(-1,-583)
-- state  947
,(-1,-173)

-- state  948
,(-1,-447)
-- state  949
,( 77, 116),(-1,-471)
-- state  950
,(-1,-469)

-- state  951
,( 21, 237),(-1,-3000)
-- state  952
,(-1,-497)
-- state  953
,( 13, 52)
,(-1,-3000)
-- state  954
,( 97, 337),(-1,-194)
-- state  955
,( 6, 15)
,( 77, 116),(-1,-3000)
-- state  956
,( 37, 575),(-1,-3000)

-- state  957
,(-1,-489)
-- state  958
,( 97, 337),(-1,-194)
-- state  959
,( 7, 289)
,( 16, 138),( 22, 54),( 54, 476),(-1,-3000)

-- state  960
,(-1,-197)
-- state  961
,(-1,-201)
-- state  962
,(-1,-198)
-- state  963
,(-1,-193)

-- state  964
,(-1,-223)
-- state  965
,(-1,-176)
-- state  966
,( 6, 15),( 59, 4)
,( 65, 179),( 90, 405),(-1,-3000)
-- state  967
,(-1,-208)

-- state  968
,(-1,-240)
-- state  969
,( 49, 394),(-1,-3000)
-- state  970
,(-1,-166)

-- state  971
,(-1,-167)
-- state  972
,( 53, 479),( 58, 11),( 65, 179)
,(-1,-3000)
-- state  973
,( 34, 245),( 54, 476),( 63, 244)
,( 95, 243),(-1,-182)
-- state  974
,(-1,-613)
-- state  975
,( 2, 185)
,( 3, 134),( 4, 183),( 5, 182),( 6, 15)
,( 17, 155),( 19, 154),( 22, 54),( 65, 179)
,( 66, 164),( 67, 181),( 101, 165),(-1,-3000)

-- state  976
,( 13, 52),(-1,-3000)
-- state  977
,( 3, 134),( 6, 15)
,( 26, 392),( 37,-565),( 47, 407),( 49, 394)
,( 50, 399),( 55, 398),( 59, 4),( 65, 179)
,( 73, 400),( 74, 395),( 78, 393),( 81,-565)
,( 87, 396),( 90, 405),( 99, 406),( 102, 397)
,(-1,-392)
-- state  978
,(-1,-568)
-- state  979
,( 9, 464),( 33, 248)
,(-1,-3000)
-- state  980
,(-1,-378)
-- state  981
,( 3, 134),( 6, 15)
,( 26, 392),( 47, 407),( 49, 394),( 50, 399)
,( 55, 398),( 59, 4),( 65, 179),( 73, 400)
,( 74, 395),( 78, 393),( 87, 396),( 90, 405)
,( 99, 406),( 102, 397),(-1,-392)
-- state  982
,(-1,-386)

-- state  983
,(-1,-400)
-- state  984
,(-1,-403)
-- state  985
,(-1,-507)
-- state  986
,(-1,-523)

-- state  987
,( 81, 409),(-1,-3000)
-- state  988
,( 47, 407),(-1,-3000)

-- state  989
,( 13, 52),(-1,-3000)
-- state  990
,( 47, 407),(-1,-3000)

-- state  991
,(-1,-595)
-- state  992
,(-1,-602)
-- state  993
,( 58, 11),(-1,-3000)

-- state  994
,(-1,-581)
-- state  995
,( 21, 237),(-1,-3000)
-- state  996
,( 22, 54)
,(-1,-426)
-- state  997
,(-1,-472)
-- state  998
,( 30, 500),(-1,-142)

-- state  999
,( 2, 185),( 3, 134),( 4, 183),( 5, 182)
,( 6, 15),( 17, 155),( 19, 154),( 22, 54)
,( 65, 179),( 66, 164),( 67, 181),( 101, 165)
,(-1,-3000)
-- state  1000
,( 2, 185),( 3, 134),( 4, 183)
,( 5, 182),( 6, 15),( 17, 155),( 19, 154)
,( 22, 54),( 65, 179),( 66, 164),( 67, 181)
,( 101, 165),(-1,-3000)
-- state  1001
,(-1,-191)
-- state  1002
,( 24, 512)
,(-1,-3000)
-- state  1003
,(-1,-118)
-- state  1004
,(-1,-118)
-- state  1005
,( 13, 52)
,(-1,-3000)
-- state  1006
,(-1,-215)
-- state  1007
,( 6, 15),(-1,-3000)

-- state  1008
,( 81, 409),(-1,-3000)
-- state  1009
,( 6, 15),(-1,-3000)

-- state  1010
,(-1,-168)
-- state  1011
,(-1,-169)
-- state  1012
,(-1,-188)
-- state  1013
,( 34, 245)
,( 54, 476),( 63, 244),( 95, 243),(-1,-3000)

-- state  1014
,(-1,-611)
-- state  1015
,( 3, 134),( 6, 15),( 26, 392)
,( 47, 407),( 49, 394),( 50, 399),( 55, 398)
,( 59, 4),( 65, 179),( 73, 400),( 74, 395)
,( 78, 393),( 87, 396),( 90, 405),( 99, 406)
,( 102, 397),(-1,-392)
-- state  1016
,( 3, 134),( 6, 15)
,( 26, 392),( 37,-390),( 47, 407),( 49, 394)
,( 50, 399),( 55, 398),( 59, 4),( 65, 179)
,( 73, 400),( 74, 395),( 78, 393),( 81,-390)
,( 87, 396),( 90, 405),( 99, 406),( 102, 397)
,(-1,-392)
-- state  1017
,( 47, 407),(-1,-3000)
-- state  1018
,( 13, 52)
,(-1,-3000)
-- state  1019
,(-1,-517)
-- state  1020
,( 13, 52),(-1,-3000)

-- state  1021
,(-1,-603)
-- state  1022
,( 13, 52),(-1,-3000)
-- state  1023
,( 13, 52)
,(-1,-3000)
-- state  1024
,( 13, 52),(-1,-3000)
-- state  1025
,( 21, 237)
,(-1,-3000)
-- state  1026
,( 13, 52),( 71, 63),(-1,-3000)

-- state  1027
,( 6, 15),( 59, 4),( 90, 405),(-1,-217)

-- state  1028
,(-1,-212)
-- state  1029
,( 59, 4),(-1,-213)
-- state  1030
,(-1,-118)

-- state  1031
,( 71, 63),(-1,-3000)
-- state  1032
,( 53, 479),(-1,-3000)

-- state  1033
,( 7, 289),( 16, 138),(-1,-241)
-- state  1034
,( 2, 185)
,( 3, 134),( 4, 183),( 5, 182),( 6, 15)
,( 17, 155),( 19, 154),( 22, 54),( 65, 179)
,( 66, 164),( 67, 181),( 101, 165),(-1,-3000)

-- state  1035
,( 3, 134),( 6, 15),( 26, 392),( 37,-566)
,( 47, 407),( 49, 394),( 50, 399),( 55, 398)
,( 59, 4),( 65, 179),( 73, 400),( 74, 395)
,( 78, 393),( 81,-566),( 87, 396),( 90, 405)
,( 99, 406),( 102, 397),(-1,-392)
-- state  1036
,( 13, 52)
,(-1,-3000)
-- state  1037
,(-1,-529)
-- state  1038
,(-1,-527)
-- state  1039
,(-1,-582)

-- state  1040
,(-1,-498)
-- state  1041
,(-1,-219)
-- state  1042
,( 22, 54),(-1,-426)

-- state  1043
,(-1,-501)
-- state  1044
,( 6, 15),( 38, 111),( 40, 114)
,( 43, 103),( 45, 115),( 56, 104),( 57, 42)
,( 59, 4),( 60, 37),( 75, 44),( 76, 43)
,( 77, 116),(-1,-244)
-- state  1045
,(-1,-499)
-- state  1046
,(-1,-216)

-- state  1047
,(-1,-118)
-- state  1048
,( 59, 4),(-1,-214)
-- state  1049
,(-1,-118)

-- state  1050
,(-1,-207)
-- state  1051
,( 13, 52),(-1,-3000)
-- state  1052
,(-1,-528)

-- state  1053
,( 37, 575),(-1,-3000)
-- state  1054
,( 92, 218),(-1,-3000)

-- state  1055
,( 59, 4),(-1,-218)
-- state  1056
,( 37, 575),( 59, 4)
,(-1,-3000)
-- state  1057
,(-1,-615)
-- state  1058
,( 2, 185),( 3, 134)
,( 4, 183),( 5, 182),( 6, 15),( 17, 155)
,( 19, 154),( 22, 54),( 65, 179),( 66, 164)
,( 67, 181),( 101, 165),(-1,-3000)
-- state  1059
,( 81, 409)
,(-1,-3000)
-- state  1060
,(-1,-227)
-- state  1061
,( 37, 575),( 81, 409)
,(-1,-3000)
-- state  1062
,( 2, 185),( 3, 134),( 4, 183)
,( 5, 182),( 6, 15),( 17, 155),( 19, 154)
,( 22, 54),( 62, 306),( 65, 179),( 66, 164)
,( 67, 181),( 101, 165),(-1,-3000)
-- state  1063
,( 13, 52)
,( 71, 63),(-1,-3000)
-- state  1064
,( 3, 134),( 6, 15)
,(-1,-401)
-- state  1065
,( 90, 405),(-1,-3000)
-- state  1066
,(-1,-228)

-- state  1067
,( 9, 464),( 33, 248),(-1,-3000)
-- state  1068
,(-1,-500)

-- state  1069
,( 13, 52),(-1,-3000)
-- state  1070
,( 13, 52),(-1,-3000)

-- state  1071
,(-1,-118)
-- state  1072
,(-1,-502)
-- state  1073
,(-1,-226)
-- state  1074
,( 6, 15)
,( 59, 4),( 65, 179),( 90, 405),(-1,-3000)

-- state  1075
,(-1,-229)
);
--  The offset vector
SHIFT_REDUCE_OFFSET : array (0.. 1075) of Integer :=
( 0,
 2, 10, 11, 13, 14, 16, 20, 26, 27, 28,
 30, 31, 32, 33, 35, 36, 38, 40, 41, 47,
 48, 49, 50, 51, 52, 53, 54, 55, 56, 58,
 60, 63, 67, 69, 83, 85, 93, 94, 96, 99,
 100, 101, 102, 103, 104, 105, 107, 109, 112, 113,
 114, 115, 116, 117, 118, 131, 132, 134, 135, 136,
 140, 141, 143, 144, 147, 148, 149, 151, 153, 154,
 155, 168, 169, 170, 171, 172, 173, 174, 175, 176,
 177, 178, 179, 182, 186, 190, 191, 192, 193, 194,
 195, 196, 197, 198, 199, 200, 201, 202, 206, 207,
 208, 209, 213, 214, 215, 218, 220, 222, 224, 226,
 227, 228, 230, 231, 232, 233, 234, 235, 237, 239,
 241, 243, 245, 247, 251, 252, 255, 258, 260, 261,
 264, 266, 267, 268, 269, 272, 274, 275, 276, 278,
 279, 281, 282, 283, 286, 290, 292, 293, 305, 316,
 321, 322, 323, 324, 325, 326, 328, 337, 346, 347,
 351, 352, 353, 354, 355, 356, 357, 358, 359, 360,
 361, 362, 363, 366, 367, 381, 382, 383, 384, 385,
 386, 387, 388, 389, 390, 391, 393, 407, 409, 412,
 413, 417, 420, 421, 422, 423, 425, 427, 429, 431,
 433, 435, 437, 441, 444, 447, 450, 451, 455, 457,
 459, 461, 462, 463, 464, 468, 469, 486, 487, 489,
 492, 496, 497, 499, 501, 504, 506, 510, 512, 513,
 514, 515, 517, 518, 520, 521, 523, 524, 526, 539,
 541, 543, 544, 545, 546, 547, 560, 573, 574, 587,
 588, 589, 590, 591, 592, 593, 594, 596, 597, 598,
 599, 600, 601, 602, 603, 604, 605, 606, 607, 608,
 609, 610, 623, 636, 647, 652, 653, 654, 655, 656,
 657, 658, 659, 660, 671, 672, 681, 682, 683, 684,
 698, 703, 709, 713, 714, 717, 719, 722, 729, 730,
 732, 735, 748, 749, 754, 755, 756, 758, 771, 772,
 774, 778, 781, 785, 787, 788, 789, 802, 807, 811,
 814, 815, 816, 818, 820, 821, 822, 824, 826, 827,
 830, 833, 835, 837, 839, 840, 841, 842, 846, 849,
 850, 851, 854, 856, 859, 864, 866, 881, 900, 901,
 902, 919, 920, 921, 922, 924, 925, 926, 927, 928,
 929, 930, 931, 932, 933, 934, 935, 936, 937, 938,
 939, 940, 941, 942, 944, 950, 953, 967, 970, 984,
 987, 990, 992, 995, 1008, 1009, 1014, 1017, 1018, 1019,
 1020, 1021, 1022, 1023, 1024, 1025, 1026, 1027, 1028, 1029,
 1030, 1043, 1045, 1047, 1054, 1055, 1056, 1057, 1058, 1059,
 1062, 1068, 1081, 1083, 1084, 1087, 1089, 1091, 1093, 1095,
 1097, 1098, 1099, 1100, 1101, 1103, 1104, 1105, 1108, 1111,
 1112, 1113, 1114, 1115, 1116, 1117, 1118, 1119, 1123, 1124,
 1128, 1133, 1146, 1147, 1152, 1153, 1154, 1155, 1158, 1164,
 1165, 1166, 1167, 1168, 1169, 1170, 1171, 1172, 1173, 1174,
 1175, 1176, 1177, 1178, 1179, 1193, 1206, 1220, 1221, 1235,
 1249, 1250, 1251, 1252, 1265, 1278, 1279, 1286, 1287, 1288,
 1290, 1291, 1293, 1295, 1297, 1310, 1312, 1314, 1328, 1330,
 1332, 1334, 1348, 1355, 1357, 1359, 1363, 1364, 1365, 1366,
 1367, 1380, 1382, 1383, 1389, 1390, 1391, 1393, 1394, 1396,
 1398, 1399, 1400, 1401, 1404, 1407, 1409, 1420, 1422, 1424,
 1425, 1426, 1431, 1432, 1434, 1447, 1449, 1451, 1452, 1453,
 1454, 1456, 1457, 1470, 1471, 1475, 1477, 1482, 1483, 1488,
 1493, 1494, 1507, 1510, 1512, 1513, 1519, 1520, 1523, 1540,
 1542, 1546, 1548, 1561, 1563, 1576, 1577, 1579, 1580, 1582,
 1584, 1585, 1586, 1603, 1608, 1609, 1610, 1612, 1613, 1626,
 1647, 1667, 1668, 1688, 1690, 1691, 1696, 1697, 1698, 1700,
 1701, 1703, 1704, 1705, 1706, 1707, 1720, 1722, 1724, 1726,
 1728, 1729, 1730, 1732, 1743, 1745, 1747, 1749, 1750, 1754,
 1755, 1757, 1761, 1762, 1776, 1780, 1781, 1782, 1786, 1787,
 1788, 1791, 1793, 1797, 1801, 1802, 1804, 1805, 1807, 1810,
 1812, 1813, 1815, 1816, 1818, 1820, 1823, 1825, 1826, 1827,
 1828, 1830, 1832, 1833, 1834, 1836, 1837, 1838, 1840, 1841,
 1842, 1844, 1849, 1851, 1856, 1858, 1859, 1860, 1873, 1874,
 1887, 1889, 1902, 1904, 1905, 1906, 1908, 1910, 1911, 1912,
 1913, 1914, 1915, 1916, 1917, 1918, 1919, 1922, 1923, 1936,
 1937, 1938, 1940, 1946, 1949, 1952, 1953, 1966, 1979, 1980,
 1981, 1982, 1983, 1984, 1985, 1987, 1988, 1993, 1997, 1998,
 1999, 2000, 2001, 2002, 2007, 2020, 2022, 2023, 2024, 2025,
 2030, 2031, 2032, 2033, 2035, 2052, 2053, 2055, 2068, 2088,
 2089, 2092, 2093, 2094, 2095, 2108, 2109, 2111, 2128, 2129,
 2132, 2134, 2136, 2137, 2150, 2151, 2153, 2174, 2178, 2181,
 2182, 2183, 2186, 2188, 2189, 2191, 2193, 2194, 2195, 2197,
 2199, 2201, 2203, 2205, 2206, 2207, 2208, 2209, 2211, 2214,
 2217, 2219, 2223, 2225, 2228, 2231, 2232, 2233, 2234, 2235,
 2237, 2250, 2252, 2254, 2256, 2258, 2259, 2261, 2262, 2263,
 2265, 2266, 2268, 2270, 2272, 2273, 2280, 2281, 2284, 2285,
 2286, 2289, 2291, 2294, 2295, 2296, 2297, 2298, 2303, 2304,
 2307, 2308, 2311, 2318, 2319, 2320, 2322, 2326, 2327, 2328,
 2329, 2331, 2332, 2335, 2336, 2337, 2341, 2342, 2343, 2347,
 2348, 2349, 2352, 2355, 2358, 2360, 2363, 2364, 2369, 2375,
 2388, 2391, 2392, 2393, 2396, 2400, 2401, 2403, 2404, 2405,
 2406, 2407, 2409, 2427, 2429, 2430, 2444, 2446, 2447, 2455,
 2456, 2457, 2475, 2477, 2480, 2483, 2488, 2491, 2495, 2497,
 2514, 2516, 2521, 2538, 2540, 2542, 2544, 2545, 2546, 2548,
 2549, 2551, 2553, 2556, 2557, 2561, 2562, 2563, 2568, 2573,
 2574, 2579, 2581, 2583, 2586, 2588, 2601, 2603, 2606, 2607,
 2608, 2611, 2612, 2613, 2614, 2616, 2618, 2620, 2621, 2622,
 2624, 2627, 2628, 2641, 2655, 2656, 2659, 2660, 2661, 2665,
 2666, 2669, 2670, 2672, 2673, 2674, 2675, 2676, 2678, 2680,
 2684, 2686, 2687, 2688, 2689, 2702, 2707, 2711, 2713, 2730,
 2734, 2738, 2739, 2741, 2744, 2746, 2748, 2749, 2751, 2753,
 2754, 2774, 2775, 2793, 2811, 2813, 2814, 2832, 2845, 2846,
 2847, 2849, 2851, 2853, 2855, 2870, 2871, 2872, 2873, 2875,
 2876, 2878, 2879, 2881, 2883, 2886, 2888, 2889, 2891, 2896,
 2897, 2898, 2899, 2900, 2901, 2902, 2907, 2908, 2909, 2911,
 2912, 2913, 2917, 2922, 2923, 2936, 2938, 2957, 2958, 2961,
 2962, 2979, 2980, 2981, 2982, 2983, 2984, 2986, 2988, 2990,
 2992, 2993, 2994, 2996, 2997, 2999, 3001, 3002, 3004, 3017,
 3030, 3031, 3033, 3034, 3035, 3037, 3038, 3040, 3042, 3044,
 3045, 3046, 3047, 3052, 3053, 3070, 3089, 3091, 3093, 3094,
 3096, 3097, 3099, 3101, 3103, 3105, 3108, 3112, 3113, 3115,
 3116, 3118, 3120, 3123, 3136, 3155, 3157, 3158, 3159, 3160,
 3161, 3162, 3164, 3165, 3178, 3179, 3180, 3181, 3183, 3184,
 3185, 3187, 3188, 3190, 3192, 3194, 3197, 3198, 3211, 3213,
 3214, 3217, 3231, 3234, 3237, 3239, 3240, 3243, 3244, 3246,
 3248, 3249, 3250, 3251, 3256);
end Trans_Shift_Reduce;