package Helena_Yacc_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
,( 55, 3),(-1,-3000)
-- state  1
,( 68, 5),(-1,-10)

-- state  2
,(-1,-229)
-- state  3
,(-1,-227)
-- state  4
,( 0,-3001),(-1,-3000)

-- state  5
,( 55, 3),(-1,-3000)
-- state  6
,( 67, 12),(-1,-3000)

-- state  7
,(-1,-3000)
-- state  8
,(-1,-12)
-- state  9
,( 59, 14),( 79, 13)
,(-1,-3000)
-- state  10
,( 88, 15),(-1,-3000)
-- state  11
,(-1,-230)

-- state  12
,(-1,-3)
-- state  13
,(-1,-11)
-- state  14
,( 55, 3),(-1,-3000)

-- state  15
,( 56, 18),(-1,-3000)
-- state  16
,( 7, 38),( 18, 36)
,( 21, 37),( 35, 29),( 41, 33),( 47, 35)
,( 50, 28),( 51, 34),( 77, 39),(-1,-3000)

-- state  17
,(-1,-13)
-- state  18
,(-1,-241)
-- state  19
,(-1,-14)
-- state  20
,(-1,-4)

-- state  21
,(-1,-5)
-- state  22
,(-1,-6)
-- state  23
,(-1,-7)
-- state  24
,(-1,-8)

-- state  25
,(-1,-9)
-- state  26
,(-1,-16)
-- state  27
,(-1,-17)
-- state  28
,( 55, 3)
,(-1,-3000)
-- state  29
,( 55, 3),(-1,-3000)
-- state  30
,(-1,-43)

-- state  31
,(-1,-44)
-- state  32
,(-1,-15)
-- state  33
,( 55, 3),(-1,-3000)

-- state  34
,( 55, 3),(-1,-3000)
-- state  35
,( 55, 3),(-1,-3000)

-- state  36
,( 55, 3),(-1,-3000)
-- state  37
,( 18, 52),(-1,-3000)

-- state  38
,( 55, 3),(-1,-3000)
-- state  39
,(-1,-1)
-- state  40
,(-1,-2)

-- state  41
,(-1,-239)
-- state  42
,( 67, 55),(-1,-3000)
-- state  43
,(-1,-238)

-- state  44
,( 67, 56),(-1,-3000)
-- state  45
,( 86, 57),(-1,-3000)

-- state  46
,(-1,-232)
-- state  47
,( 86, 58),(-1,-3000)
-- state  48
,(-1,-233)

-- state  49
,( 86, 59),(-1,-3000)
-- state  50
,(-1,-236)
-- state  51
,( 68, 60)
,(-1,-3000)
-- state  52
,( 55, 3),(-1,-3000)
-- state  53
,( 55, 3)
,(-1,-3000)
-- state  54
,(-1,-167)
-- state  55
,( 22, 64),(-1,-3000)

-- state  56
,( 10, 66),(-1,-3000)
-- state  57
,( 5, 108),( 12, 102)
,( 15, 110),( 17, 103),( 27, 104),( 28, 105)
,( 30, 109),( 31, 94),( 37, 93),( 40, 107)
,( 48, 92),( 49, 106),( 55, 3),( 56, 18)
,( 67, 100),( 68, 97),( 69, 99),( 71, 90)
,( 73, 101),( 74, 91),(-1,-3000)
-- state  58
,( 13, 120)
,( 26, 123),( 29, 119),( 42, 125),( 45, 124)
,( 46, 122),( 52, 121),(-1,-3000)
-- state  59
,( 55, 3)
,(-1,-3000)
-- state  60
,( 55, 3),(-1,-48)
-- state  61
,( 68, 132)
,(-1,-3000)
-- state  62
,(-1,-237)
-- state  63
,( 88, 133),(-1,-3000)

-- state  64
,( 67, 134),(-1,-3000)
-- state  65
,( 34, 135),(-1,-3000)

-- state  66
,( 86, 137),(-1,-3000)
-- state  67
,(-1,-176)
-- state  68
,(-1,-55)

-- state  69
,(-1,-56)
-- state  70
,(-1,-57)
-- state  71
,(-1,-58)
-- state  72
,(-1,-59)

-- state  73
,(-1,-60)
-- state  74
,(-1,-61)
-- state  75
,(-1,-62)
-- state  76
,( 78, 139)
,(-1,-63)
-- state  77
,(-1,-64)
-- state  78
,(-1,-65)
-- state  79
,(-1,-66)

-- state  80
,(-1,-67)
-- state  81
,(-1,-68)
-- state  82
,(-1,-69)
-- state  83
,(-1,-70)

-- state  84
,(-1,-71)
-- state  85
,(-1,-72)
-- state  86
,(-1,-73)
-- state  87
,(-1,-75)

-- state  88
,( 68, 140),(-1,-3000)
-- state  89
,( 3, 148),( 22, 157)
,( 29, 147),( 33, 149),( 58, 156),( 60, 146)
,( 62, 142),( 63, 154),( 65, 152),( 66, 153)
,( 69, 141),( 71, 144),( 72, 155),( 74, 143)
,( 75, 159),( 76, 160),( 82, 161),( 83, 150)
,( 84, 151),( 85, 145),( 87, 158),(-1,-3000)

-- state  90
,( 5, 108),( 12, 102),( 15, 110),( 17, 103)
,( 27, 104),( 28, 105),( 30, 109),( 31, 94)
,( 37, 93),( 40, 107),( 48, 92),( 49, 106)
,( 55, 3),( 56, 18),( 67, 100),( 68, 97)
,( 69, 99),( 71, 90),( 73, 101),( 74, 91)
,(-1,-3000)
-- state  91
,( 5, 108),( 12, 102),( 15, 110)
,( 17, 103),( 27, 104),( 28, 105),( 30, 109)
,( 31, 94),( 37, 93),( 40, 107),( 48, 92)
,( 49, 106),( 55, 3),( 56, 18),( 67, 100)
,( 68, 97),( 69, 99),( 71, 90),( 73, 101)
,( 74, 91),(-1,-3000)
-- state  92
,( 5, 108),( 12, 102)
,( 15, 110),( 17, 103),( 27, 104),( 28, 105)
,( 30, 109),( 31, 94),( 37, 93),( 40, 107)
,( 48, 92),( 49, 106),( 55, 3),( 56, 18)
,( 67, 100),( 68, 97),( 69, 99),( 71, 90)
,( 73, 101),( 74, 91),(-1,-3000)
-- state  93
,( 5, 108)
,( 12, 102),( 15, 110),( 17, 103),( 27, 104)
,( 28, 105),( 30, 109),( 31, 94),( 37, 93)
,( 40, 107),( 48, 92),( 49, 106),( 55, 3)
,( 56, 18),( 67, 100),( 68, 97),( 69, 99)
,( 71, 90),( 73, 101),( 74, 91),(-1,-3000)

-- state  94
,( 5, 108),( 12, 102),( 15, 110),( 17, 103)
,( 27, 104),( 28, 105),( 30, 109),( 31, 94)
,( 37, 93),( 40, 107),( 48, 92),( 49, 106)
,( 55, 3),( 56, 18),( 67, 100),( 68, 97)
,( 69, 99),( 71, 90),( 73, 101),( 74, 91)
,(-1,-3000)
-- state  95
,( 68, 167),(-1,-3000)
-- state  96
,( 68, 168)
,(-1,-3000)
-- state  97
,( 5, 108),( 12, 102),( 15, 110)
,( 17, 103),( 27, 104),( 28, 105),( 30, 109)
,( 31, 94),( 37, 93),( 40, 107),( 48, 92)
,( 49, 106),( 55, 3),( 56, 18),( 67, 100)
,( 68, 97),( 69, 99),( 71, 90),( 73, 101)
,( 74, 91),(-1,-3000)
-- state  98
,( 68,-236),(-1,-243)

-- state  99
,( 5, 108),( 12, 102),( 15, 110),( 17, 103)
,( 27, 104),( 28, 105),( 30, 109),( 31, 94)
,( 37, 93),( 40, 107),( 48, 92),( 49, 106)
,( 55, 3),( 56, 18),( 67, 100),( 68, 97)
,( 69, 99),( 71, 90),( 73, 101),( 74, 91)
,(-1,-3000)
-- state  100
,( 5, 108),( 12, 102),( 15, 110)
,( 17, 103),( 27, 104),( 28, 105),( 30, 109)
,( 31, 94),( 37, 93),( 40, 107),( 48, 92)
,( 49, 106),( 55, 3),( 56, 18),( 67, 100)
,( 68, 97),( 69, 99),( 71, 90),( 73, 101)
,( 74, 91),(-1,-3000)
-- state  101
,( 5, 108),( 12, 102)
,( 15, 110),( 17, 103),( 27, 104),( 28, 105)
,( 30, 109),( 31, 94),( 37, 93),( 40, 107)
,( 48, 92),( 49, 106),( 55, 3),( 56, 18)
,( 67, 100),( 68, 97),( 69, 99),( 71, 90)
,( 73, 101),( 74, 91),(-1,-3000)
-- state  102
,(-1,-132)

-- state  103
,(-1,-123)
-- state  104
,(-1,-124)
-- state  105
,(-1,-125)
-- state  106
,(-1,-126)

-- state  107
,(-1,-127)
-- state  108
,(-1,-128)
-- state  109
,(-1,-129)
-- state  110
,(-1,-130)

-- state  111
,(-1,-19)
-- state  112
,(-1,-20)
-- state  113
,(-1,-21)
-- state  114
,(-1,-22)

-- state  115
,(-1,-23)
-- state  116
,(-1,-24)
-- state  117
,(-1,-25)
-- state  118
,(-1,-26)

-- state  119
,( 5, 108),( 12, 102),( 15, 110),( 17, 103)
,( 27, 104),( 28, 105),( 30, 109),( 31, 94)
,( 37, 93),( 40, 107),( 48, 92),( 49, 106)
,( 55, 3),( 56, 18),( 67, 100),( 68, 97)
,( 69, 99),( 71, 90),( 73, 101),( 74, 91)
,(-1,-3000)
-- state  120
,( 68, 175),(-1,-3000)
-- state  121
,( 69, 176)
,(-1,-3000)
-- state  122
,( 67, 177),(-1,-3000)
-- state  123
,( 69, 178)
,(-1,-3000)
-- state  124
,( 32, 179),(-1,-3000)
-- state  125
,( 5, 108)
,( 12, 102),( 15, 110),( 17, 103),( 27, 104)
,( 28, 105),( 30, 109),( 31, 94),( 37, 93)
,( 40, 107),( 48, 92),( 49, 106),( 55, 3)
,( 56, 18),( 67, 100),( 68, 97),( 69, 99)
,( 71, 90),( 73, 101),( 74, 91),(-1,-3000)

-- state  126
,( 82, 181),(-1,-3000)
-- state  127
,( 42, 125),(-1,-42)

-- state  128
,( 59, 184),(-1,-49)
-- state  129
,(-1,-50)
-- state  130
,( 55, 3)
,(-1,-3000)
-- state  131
,( 79, 186),(-1,-3000)
-- state  132
,( 55, 3)
,(-1,-48)
-- state  133
,( 5, 108),( 12, 102),( 15, 110)
,( 17, 103),( 27, 104),( 28, 105),( 30, 109)
,( 31, 94),( 37, 93),( 40, 107),( 48, 92)
,( 49, 106),( 55, 3),( 56, 18),( 67, 100)
,( 68, 97),( 69, 99),( 71, 90),( 73, 101)
,( 74, 91),(-1,-3000)
-- state  134
,(-1,-190)
-- state  135
,( 67, 190)
,(-1,-3000)
-- state  136
,( 24, 191),(-1,-188)
-- state  137
,( 14, 194)
,( 55, 3),(-1,-3000)
-- state  138
,( 4, 201),( 23, 200)
,( 51, 202),( 77, 203),(-1,-3000)
-- state  139
,( 56, 18)
,(-1,-3000)
-- state  140
,( 5, 108),( 12, 102),( 15, 110)
,( 17, 103),( 27, 104),( 28, 105),( 30, 109)
,( 31, 94),( 37, 93),( 40, 107),( 48, 92)
,( 49, 106),( 55, 3),( 56, 18),( 67, 100)
,( 68, 97),( 69, 99),( 71, 90),( 73, 101)
,( 74, 91),(-1,-84)
-- state  141
,( 5, 108),( 12, 102)
,( 15, 110),( 17, 103),( 27, 104),( 28, 105)
,( 30, 109),( 31, 94),( 37, 93),( 40, 107)
,( 48, 92),( 49, 106),( 55, 3),( 56, 18)
,( 67, 100),( 68, 97),( 69, 99),( 71, 90)
,( 73, 101),( 74, 91),(-1,-3000)
-- state  142
,( 55, 3)
,(-1,-3000)
-- state  143
,( 5, 108),( 12, 102),( 15, 110)
,( 17, 103),( 27, 104),( 28, 105),( 30, 109)
,( 31, 94),( 37, 93),( 40, 107),( 48, 92)
,( 49, 106),( 55, 3),( 56, 18),( 67, 100)
,( 68, 97),( 69, 99),( 71, 90),( 73, 101)
,( 74, 91),(-1,-3000)
-- state  144
,( 5, 108),( 12, 102)
,( 15, 110),( 17, 103),( 27, 104),( 28, 105)
,( 30, 109),( 31, 94),( 37, 93),( 40, 107)
,( 48, 92),( 49, 106),( 55, 3),( 56, 18)
,( 67, 100),( 68, 97),( 69, 99),( 71, 90)
,( 73, 101),( 74, 91),(-1,-3000)
-- state  145
,( 5, 108)
,( 12, 102),( 15, 110),( 17, 103),( 27, 104)
,( 28, 105),( 30, 109),( 31, 94),( 37, 93)
,( 40, 107),( 48, 92),( 49, 106),( 55, 3)
,( 56, 18),( 67, 100),( 68, 97),( 69, 99)
,( 71, 90),( 73, 101),( 74, 91),(-1,-3000)

-- state  146
,( 5, 108),( 12, 102),( 15, 110),( 17, 103)
,( 27, 104),( 28, 105),( 30, 109),( 31, 94)
,( 37, 93),( 40, 107),( 48, 92),( 49, 106)
,( 55, 3),( 56, 18),( 67, 100),( 68, 97)
,( 69, 99),( 71, 90),( 73, 101),( 74, 91)
,(-1,-3000)
-- state  147
,( 5, 108),( 12, 102),( 15, 110)
,( 17, 103),( 27, 104),( 28, 105),( 30, 109)
,( 31, 94),( 37, 93),( 40, 107),( 48, 92)
,( 49, 106),( 55, 3),( 56, 18),( 67, 100)
,( 68, 97),( 69, 99),( 71, 90),( 73, 101)
,( 74, 91),(-1,-3000)
-- state  148
,( 5, 108),( 12, 102)
,( 15, 110),( 17, 103),( 27, 104),( 28, 105)
,( 30, 109),( 31, 94),( 37, 93),( 40, 107)
,( 48, 92),( 49, 106),( 55, 3),( 56, 18)
,( 67, 100),( 68, 97),( 69, 99),( 71, 90)
,( 73, 101),( 74, 91),(-1,-3000)
-- state  149
,( 5, 108)
,( 12, 102),( 15, 110),( 17, 103),( 27, 104)
,( 28, 105),( 30, 109),( 31, 94),( 37, 93)
,( 40, 107),( 48, 92),( 49, 106),( 55, 3)
,( 56, 18),( 67, 100),( 68, 97),( 69, 99)
,( 71, 90),( 73, 101),( 74, 91),(-1,-3000)

-- state  150
,( 5, 108),( 12, 102),( 15, 110),( 17, 103)
,( 27, 104),( 28, 105),( 30, 109),( 31, 94)
,( 37, 93),( 40, 107),( 48, 92),( 49, 106)
,( 55, 3),( 56, 18),( 67, 100),( 68, 97)
,( 69, 99),( 71, 90),( 73, 101),( 74, 91)
,(-1,-3000)
-- state  151
,( 5, 108),( 12, 102),( 15, 110)
,( 17, 103),( 27, 104),( 28, 105),( 30, 109)
,( 31, 94),( 37, 93),( 40, 107),( 48, 92)
,( 49, 106),( 55, 3),( 56, 18),( 67, 100)
,( 68, 97),( 69, 99),( 71, 90),( 73, 101)
,( 74, 91),(-1,-3000)
-- state  152
,( 5, 108),( 12, 102)
,( 15, 110),( 17, 103),( 27, 104),( 28, 105)
,( 30, 109),( 31, 94),( 37, 93),( 40, 107)
,( 48, 92),( 49, 106),( 55, 3),( 56, 18)
,( 67, 100),( 68, 97),( 69, 99),( 71, 90)
,( 73, 101),( 74, 91),(-1,-3000)
-- state  153
,( 5, 108)
,( 12, 102),( 15, 110),( 17, 103),( 27, 104)
,( 28, 105),( 30, 109),( 31, 94),( 37, 93)
,( 40, 107),( 48, 92),( 49, 106),( 55, 3)
,( 56, 18),( 67, 100),( 68, 97),( 69, 99)
,( 71, 90),( 73, 101),( 74, 91),(-1,-3000)

-- state  154
,( 5, 108),( 12, 102),( 15, 110),( 17, 103)
,( 27, 104),( 28, 105),( 30, 109),( 31, 94)
,( 37, 93),( 40, 107),( 48, 92),( 49, 106)
,( 55, 3),( 56, 18),( 67, 100),( 68, 97)
,( 69, 99),( 71, 90),( 73, 101),( 74, 91)
,(-1,-3000)
-- state  155
,( 5, 108),( 12, 102),( 15, 110)
,( 17, 103),( 27, 104),( 28, 105),( 30, 109)
,( 31, 94),( 37, 93),( 40, 107),( 48, 92)
,( 49, 106),( 55, 3),( 56, 18),( 67, 100)
,( 68, 97),( 69, 99),( 71, 90),( 73, 101)
,( 74, 91),(-1,-3000)
-- state  156
,( 5, 108),( 12, 102)
,( 15, 110),( 17, 103),( 27, 104),( 28, 105)
,( 30, 109),( 31, 94),( 37, 93),( 40, 107)
,( 48, 92),( 49, 106),( 55, 3),( 56, 18)
,( 67, 100),( 68, 97),( 69, 99),( 71, 90)
,( 73, 101),( 74, 91),(-1,-3000)
-- state  157
,( 5, 108)
,( 12, 102),( 15, 110),( 17, 103),( 27, 104)
,( 28, 105),( 30, 109),( 31, 94),( 37, 93)
,( 40, 107),( 48, 92),( 49, 106),( 55, 3)
,( 56, 18),( 67, 100),( 68, 97),( 69, 99)
,( 71, 90),( 73, 101),( 74, 91),(-1,-3000)

-- state  158
,( 68, 226),(-1,-3000)
-- state  159
,( 5, 108),( 12, 102)
,( 15, 110),( 17, 103),( 27, 104),( 28, 105)
,( 30, 109),( 31, 94),( 37, 93),( 40, 107)
,( 48, 92),( 49, 106),( 55, 3),( 56, 18)
,( 67, 100),( 68, 97),( 69, 99),( 71, 90)
,( 73, 101),( 74, 91),(-1,-3000)
-- state  160
,( 5, 230)
,( 12, 232),( 30, 231),( 55, 3),(-1,-3000)

-- state  161
,(-1,-226)
-- state  162
,( 29, 147),( 58, 156),( 60, 146)
,( 62, 142),( 69, 141),( 76, 160),( 85, 145)
,( 87, 158),(-1,-103)
-- state  163
,( 29, 147),( 58, 156)
,( 60, 146),( 62, 142),( 69, 141),( 76, 160)
,( 85, 145),( 87, 158),(-1,-104)
-- state  164
,( 62, 142)
,( 69, 141),( 76, 160),( 87, 158),(-1,-105)

-- state  165
,( 62, 142),( 69, 141),( 76, 160),( 87, 158)
,(-1,-106)
-- state  166
,( 62, 142),( 69, 141),( 76, 160)
,( 87, 158),(-1,-107)
-- state  167
,( 55, 3),(-1,-3000)

-- state  168
,( 55, 3),(-1,-3000)
-- state  169
,( 3, 148),( 22, 157)
,( 29, 147),( 33, 149),( 58, 156),( 60, 146)
,( 62, 142),( 63, 154),( 65, 152),( 66, 153)
,( 69, 141),( 71, 144),( 72, 155),( 74, 143)
,( 75, 159),( 76, 160),( 79, 237),( 83, 150)
,( 84, 151),( 85, 145),( 87, 158),(-1,-3000)

-- state  170
,( 59, 238),( 80, 239),(-1,-3000)
-- state  171
,( 3, 148)
,( 22, 157),( 29, 147),( 33, 149),( 58, 156)
,( 60, 146),( 62, 142),( 63, 154),( 65, 152)
,( 66, 153),( 69, 141),( 71, 144),( 72, 155)
,( 74, 143),( 75, 159),( 76, 160),( 83, 150)
,( 84, 151),( 85, 145),( 87, 158),(-1,-87)

-- state  172
,( 59, 238),( 77, 240),(-1,-3000)
-- state  173
,( 59, 238)
,( 73, 241),(-1,-3000)
-- state  174
,( 3, 148),( 22, 157)
,( 29, 147),( 33, 149),( 58, 156),( 60, 146)
,( 62, 142),( 63, 154),( 65, 152),( 66, 153)
,( 69, 141),( 71, 144),( 72, 155),( 74, 143)
,( 75, 159),( 76, 160),( 83, 150),( 84, 151)
,( 85, 145),( 87, 158),(-1,-27)
-- state  175
,( 55, 3)
,(-1,-3000)
-- state  176
,( 55, 3),(-1,-3000)
-- state  177
,( 55, 3)
,(-1,-3000)
-- state  178
,( 55, 3),(-1,-3000)
-- state  179
,( 55, 3)
,(-1,-3000)
-- state  180
,( 3, 148),( 22, 157),( 29, 147)
,( 33, 149),( 58, 156),( 60, 146),( 61, 252)
,( 62, 142),( 63, 154),( 65, 152),( 66, 153)
,( 69, 141),( 71, 144),( 72, 155),( 74, 143)
,( 75, 159),( 76, 160),( 83, 150),( 84, 151)
,( 85, 145),( 87, 158),(-1,-3000)
-- state  181
,(-1,-18)

-- state  182
,(-1,-41)
-- state  183
,( 82, 253),(-1,-3000)
-- state  184
,( 55, 3)
,(-1,-3000)
-- state  185
,(-1,-52)
-- state  186
,( 78, 255),(-1,-3000)

-- state  187
,( 79, 256),(-1,-3000)
-- state  188
,( 3, 148),( 22, 157)
,( 29, 147),( 33, 149),( 58, 156),( 60, 146)
,( 62, 142),( 63, 154),( 65, 152),( 66, 153)
,( 69, 141),( 71, 144),( 72, 155),( 74, 143)
,( 75, 159),( 76, 160),( 82, 257),( 83, 150)
,( 84, 151),( 85, 145),( 87, 158),(-1,-3000)

-- state  189
,( 55, 3),( 77, 259),(-1,-3000)
-- state  190
,(-1,-190)

-- state  191
,( 67, 262),(-1,-3000)
-- state  192
,( 36, 263),(-1,-205)

-- state  193
,( 85, 265),(-1,-172)
-- state  194
,(-1,-173)
-- state  195
,(-1,-174)

-- state  196
,( 82, 266),(-1,-3000)
-- state  197
,(-1,-178)
-- state  198
,(-1,-179)

-- state  199
,(-1,-180)
-- state  200
,( 86, 267),(-1,-3000)
-- state  201
,( 86, 268)
,(-1,-3000)
-- state  202
,( 86, 269),(-1,-3000)
-- state  203
,(-1,-170)

-- state  204
,(-1,-177)
-- state  205
,(-1,-113)
-- state  206
,( 59, 238),(-1,-85)

-- state  207
,( 79, 270),(-1,-3000)
-- state  208
,( 59, 238),( 80, 271)
,(-1,-3000)
-- state  209
,( 3, 148),( 22, 157),( 29, 147)
,( 33, 149),( 58, 156),( 60, 146),( 61, 272)
,( 62, 142),( 63, 154),( 65, 152),( 66, 153)
,( 69, 141),( 71, 144),( 72, 155),( 74, 143)
,( 75, 159),( 76, 160),( 83, 150),( 84, 151)
,( 85, 145),( 87, 158),(-1,-87)
-- state  210
,(-1,-80)

-- state  211
,( 29, 147),( 58, 156),( 60, 146),( 62, 142)
,( 69, 141),( 76, 160),( 85, 145),( 87, 158)
,(-1,-88)
-- state  212
,( 29, 147),( 58, 156),( 60, 146)
,( 62, 142),( 69, 141),( 76, 160),( 85, 145)
,( 87, 158),(-1,-89)
-- state  213
,( 58, 156),( 62, 142)
,( 69, 141),( 76, 160),( 87, 158),(-1,-90)

-- state  214
,( 58, 156),( 62, 142),( 69, 141),( 76, 160)
,( 87, 158),(-1,-91)
-- state  215
,( 58, 156),( 62, 142)
,( 69, 141),( 76, 160),( 87, 158),(-1,-92)

-- state  216
,( 22, 157),( 29, 147),( 58, 156),( 60, 146)
,( 62, 142),( 63, 154),( 65, 152),( 66, 153)
,( 69, 141),( 71, 144),( 72, 155),( 74, 143)
,( 76, 160),( 83, 150),( 84, 151),( 85, 145)
,( 87, 158),(-1,-93)
-- state  217
,( 3, 148),( 22, 157)
,( 29, 147),( 58, 156),( 60, 146),( 62, 142)
,( 63, 154),( 65, 152),( 66, 153),( 69, 141)
,( 71, 144),( 72, 155),( 74, 143),( 76, 160)
,( 83, 150),( 84, 151),( 85, 145),( 87, 158)
,(-1,-94)
-- state  218
,( 29, 147),( 58, 156),( 60, 146)
,( 62, 142),( 69, 141),( 71, 144),( 74, 143)
,( 76, 160),( 85, 145),( 87, 158),(-1,-95)

-- state  219
,( 29, 147),( 58, 156),( 60, 146),( 62, 142)
,( 69, 141),( 71, 144),( 74, 143),( 76, 160)
,( 85, 145),( 87, 158),(-1,-96)
-- state  220
,( 29, 147)
,( 58, 156),( 60, 146),( 62, 142),( 69, 141)
,( 71, 144),( 74, 143),( 76, 160),( 85, 145)
,( 87, 158),(-1,-97)
-- state  221
,( 29, 147),( 58, 156)
,( 60, 146),( 62, 142),( 69, 141),( 71, 144)
,( 74, 143),( 76, 160),( 85, 145),( 87, 158)
,(-1,-98)
-- state  222
,( 29, 147),( 58, 156),( 60, 146)
,( 62, 142),( 65, 152),( 66, 153),( 69, 141)
,( 71, 144),( 74, 143),( 76, 160),( 83, 150)
,( 84, 151),( 85, 145),( 87, 158),(-1,-99)

-- state  223
,( 29, 147),( 58, 156),( 60, 146),( 62, 142)
,( 65, 152),( 66, 153),( 69, 141),( 71, 144)
,( 74, 143),( 76, 160),( 83, 150),( 84, 151)
,( 85, 145),( 87, 158),(-1,-100)
-- state  224
,( 62, 142)
,( 69, 141),( 76, 160),( 87, 158),(-1,-101)

-- state  225
,( 29, 147),( 58, 156),( 60, 146),( 62, 142)
,( 63, 154),( 65, 152),( 66, 153),( 69, 141)
,( 71, 144),( 72, 155),( 74, 143),( 76, 160)
,( 83, 150),( 84, 151),( 85, 145),( 87, 158)
,(-1,-102)
-- state  226
,( 55, 3),( 69, 274),(-1,-3000)

-- state  227
,( 3, 148),( 22, 157),( 29, 147),( 33, 149)
,( 58, 156),( 60, 146),( 62, 142),( 63, 154)
,( 65, 152),( 66, 153),( 69, 141),( 71, 144)
,( 72, 155),( 74, 143),( 75, 159),( 76, 160)
,( 83, 150),( 84, 151),( 85, 145),( 86, 276)
,( 87, 158),(-1,-3000)
-- state  228
,(-1,-240)
-- state  229
,(-1,-114)

-- state  230
,(-1,-115)
-- state  231
,(-1,-116)
-- state  232
,(-1,-117)
-- state  233
,(-1,-244)

-- state  234
,( 59, 279),( 73, 277),(-1,-121)
-- state  235
,( 22, 280)
,(-1,-3000)
-- state  236
,( 59, 279),( 73, 277),(-1,-121)

-- state  237
,(-1,-74)
-- state  238
,( 5, 108),( 12, 102),( 15, 110)
,( 17, 103),( 27, 104),( 28, 105),( 30, 109)
,( 31, 94),( 37, 93),( 40, 107),( 48, 92)
,( 49, 106),( 55, 3),( 56, 18),( 67, 100)
,( 68, 97),( 69, 99),( 71, 90),( 73, 101)
,( 74, 91),(-1,-3000)
-- state  239
,(-1,-108)
-- state  240
,(-1,-110)

-- state  241
,(-1,-131)
-- state  242
,(-1,-29)
-- state  243
,( 59, 284),( 79, 283)
,(-1,-3000)
-- state  244
,(-1,-242)
-- state  245
,(-1,-32)
-- state  246
,( 59, 286)
,( 80, 285),(-1,-3000)
-- state  247
,(-1,-35)
-- state  248
,( 55, 3)
,( 77, 287),(-1,-3000)
-- state  249
,( 55, 3),(-1,-3000)

-- state  250
,( 80, 290),(-1,-3000)
-- state  251
,( 54, 291),(-1,-3000)

-- state  252
,( 5, 108),( 12, 102),( 15, 110),( 17, 103)
,( 27, 104),( 28, 105),( 30, 109),( 31, 94)
,( 37, 93),( 40, 107),( 48, 92),( 49, 106)
,( 55, 3),( 56, 18),( 67, 100),( 68, 97)
,( 69, 99),( 71, 90),( 73, 101),( 74, 91)
,(-1,-3000)
-- state  253
,(-1,-40)
-- state  254
,(-1,-51)
-- state  255
,( 55, 3)
,(-1,-3000)
-- state  256
,( 78, 295),(-1,-3000)
-- state  257
,(-1,-166)

-- state  258
,( 86, 296),(-1,-3000)
-- state  259
,(-1,-185)
-- state  260
,(-1,-189)

-- state  261
,( 55, 3),( 77, 297),(-1,-3000)
-- state  262
,(-1,-190)

-- state  263
,( 67, 299),(-1,-3000)
-- state  264
,( 25, 300),(-1,-210)

-- state  265
,( 55, 3),(-1,-3000)
-- state  266
,(-1,-171)
-- state  267
,( 16, 306)
,(-1,-197)
-- state  268
,( 5, 108),( 12, 102),( 15, 110)
,( 17, 103),( 27, 104),( 28, 105),( 30, 109)
,( 31, 94),( 37, 93),( 40, 107),( 48, 92)
,( 49, 106),( 55, 3),( 56, 18),( 67, 100)
,( 68, 97),( 69, 99),( 71, 90),( 73, 101)
,( 74, 91),(-1,-3000)
-- state  269
,( 55, 3),(-1,-3000)

-- state  270
,(-1,-83)
-- state  271
,(-1,-79)
-- state  272
,( 5, 108),( 12, 102)
,( 15, 110),( 17, 103),( 27, 104),( 28, 105)
,( 30, 109),( 31, 94),( 37, 93),( 40, 107)
,( 48, 92),( 49, 106),( 55, 3),( 56, 18)
,( 67, 100),( 68, 97),( 69, 99),( 71, 90)
,( 73, 101),( 74, 91),(-1,-3000)
-- state  273
,(-1,-235)

-- state  274
,( 5, 108),( 12, 102),( 15, 110),( 17, 103)
,( 27, 104),( 28, 105),( 30, 109),( 31, 94)
,( 37, 93),( 40, 107),( 48, 92),( 49, 106)
,( 55, 3),( 56, 18),( 67, 100),( 68, 97)
,( 69, 99),( 71, 90),( 73, 101),( 74, 91)
,(-1,-3000)
-- state  275
,( 88, 313),(-1,-3000)
-- state  276
,( 5, 108)
,( 12, 102),( 15, 110),( 17, 103),( 27, 104)
,( 28, 105),( 30, 109),( 31, 94),( 37, 93)
,( 40, 107),( 48, 92),( 49, 106),( 55, 3)
,( 56, 18),( 67, 100),( 68, 97),( 69, 99)
,( 71, 90),( 73, 101),( 74, 91),(-1,-3000)

-- state  277
,( 5, 108),( 12, 102),( 15, 110),( 17, 103)
,( 27, 104),( 28, 105),( 30, 109),( 31, 94)
,( 37, 93),( 40, 107),( 48, 92),( 49, 106)
,( 55, 3),( 56, 18),( 67, 100),( 68, 97)
,( 69, 99),( 71, 90),( 73, 101),( 74, 91)
,(-1,-3000)
-- state  278
,( 86, 316),(-1,-3000)
-- state  279
,( 55, 3)
,(-1,-3000)
-- state  280
,( 5, 108),( 12, 102),( 15, 110)
,( 17, 103),( 27, 104),( 28, 105),( 30, 109)
,( 31, 94),( 37, 93),( 40, 107),( 48, 92)
,( 49, 106),( 55, 3),( 56, 18),( 67, 100)
,( 68, 97),( 69, 99),( 71, 90),( 73, 101)
,( 74, 91),(-1,-3000)
-- state  281
,( 79, 320),(-1,-3000)

-- state  282
,( 3, 148),( 22, 157),( 29, 147),( 33, 149)
,( 58, 156),( 60, 146),( 62, 142),( 63, 154)
,( 65, 152),( 66, 153),( 69, 141),( 71, 144)
,( 72, 155),( 74, 143),( 75, 159),( 76, 160)
,( 83, 150),( 84, 151),( 85, 145),( 87, 158)
,(-1,-86)
-- state  283
,(-1,-28)
-- state  284
,( 55, 3),(-1,-3000)

-- state  285
,( 32, 322),(-1,-3000)
-- state  286
,( 55, 3),(-1,-3000)

-- state  287
,(-1,-34)
-- state  288
,(-1,-36)
-- state  289
,( 82, 324),(-1,-3000)

-- state  290
,( 32, 325),(-1,-3000)
-- state  291
,( 4, 326),(-1,-3000)

-- state  292
,( 3, 148),( 22, 157),( 29, 147),( 33, 149)
,( 58, 156),( 60, 146),( 62, 142),( 63, 154)
,( 65, 152),( 66, 153),( 69, 141),( 71, 144)
,( 72, 155),( 74, 143),( 75, 159),( 76, 160)
,( 83, 150),( 84, 151),( 85, 145),( 87, 158)
,(-1,-249)
-- state  293
,(-1,-53)
-- state  294
,( 2, 345),( 6, 339)
,( 16, 342),( 20, 343),( 38, 344),( 43, 341)
,( 53, 340),( 55, 3),( 67, 338),( 82, 350)
,(-1,-3000)
-- state  295
,( 55, 3),(-1,-3000)
-- state  296
,( 16, 306)
,(-1,-197)
-- state  297
,(-1,-186)
-- state  298
,( 55, 3),( 77, 354)
,(-1,-3000)
-- state  299
,(-1,-207)
-- state  300
,( 67, 356),(-1,-3000)

-- state  301
,(-1,-218)
-- state  302
,(-1,-175)
-- state  303
,( 74, 358),(-1,-192)

-- state  304
,(-1,-193)
-- state  305
,( 20, 359),(-1,-199)
-- state  306
,( 68, 361)
,(-1,-3000)
-- state  307
,( 82, 362),(-1,-3000)
-- state  308
,( 3, 148)
,( 22, 157),( 29, 147),( 33, 149),( 58, 156)
,( 60, 146),( 62, 142),( 63, 154),( 65, 152)
,( 66, 153),( 69, 141),( 71, 144),( 72, 155)
,( 74, 143),( 75, 159),( 76, 160),( 82, 363)
,( 83, 150),( 84, 151),( 85, 145),( 87, 158)
,(-1,-3000)
-- state  309
,(-1,-234)
-- state  310
,( 82, 364),(-1,-3000)

-- state  311
,( 3, 148),( 22, 157),( 29, 147),( 33, 149)
,( 58, 156),( 60, 146),( 62, 142),( 63, 154)
,( 65, 152),( 66, 153),( 69, 141),( 71, 144)
,( 72, 155),( 74, 143),( 75, 159),( 76, 160)
,( 80, 365),( 83, 150),( 84, 151),( 85, 145)
,( 87, 158),(-1,-3000)
-- state  312
,( 59, 238),( 80, 366)
,(-1,-3000)
-- state  313
,( 5, 108),( 12, 102),( 15, 110)
,( 17, 103),( 27, 104),( 28, 105),( 30, 109)
,( 31, 94),( 37, 93),( 40, 107),( 48, 92)
,( 49, 106),( 55, 3),( 56, 18),( 67, 100)
,( 68, 97),( 69, 99),( 71, 90),( 73, 101)
,( 74, 91),(-1,-3000)
-- state  314
,( 3, 148),( 22, 157)
,( 29, 147),( 33, 149),( 58, 156),( 60, 146)
,( 62, 142),( 63, 154),( 65, 152),( 66, 153)
,( 69, 141),( 71, 144),( 72, 155),( 74, 143)
,( 75, 159),( 76, 160),( 83, 150),( 84, 151)
,( 85, 145),( 87, 158),(-1,-112)
-- state  315
,( 3, 148)
,( 22, 157),( 29, 147),( 33, 149),( 58, 156)
,( 60, 146),( 62, 142),( 63, 154),( 65, 152)
,( 66, 153),( 69, 141),( 71, 144),( 72, 155)
,( 74, 143),( 75, 159),( 76, 160),( 83, 150)
,( 84, 151),( 85, 145),( 87, 158),(-1,-120)

-- state  316
,( 5, 108),( 12, 102),( 15, 110),( 17, 103)
,( 27, 104),( 28, 105),( 30, 109),( 31, 94)
,( 37, 93),( 40, 107),( 48, 92),( 49, 106)
,( 55, 3),( 56, 18),( 67, 100),( 68, 97)
,( 69, 99),( 71, 90),( 73, 101),( 74, 91)
,(-1,-3000)
-- state  317
,( 79, 369),(-1,-3000)
-- state  318
,(-1,-245)

-- state  319
,( 3, 148),( 22, 157),( 29, 147),( 33, 149)
,( 42, 125),( 58, 156),( 60, 146),( 62, 142)
,( 63, 154),( 65, 152),( 66, 153),( 69, 141)
,( 71, 144),( 72, 155),( 74, 143),( 75, 159)
,( 76, 160),( 83, 150),( 84, 151),( 85, 145)
,( 87, 158),(-1,-247)
-- state  320
,(-1,-119)
-- state  321
,(-1,-30)

-- state  322
,( 55, 3),(-1,-3000)
-- state  323
,(-1,-33)
-- state  324
,(-1,-37)

-- state  325
,( 55, 3),(-1,-3000)
-- state  326
,( 5, 108),( 12, 102)
,( 15, 110),( 17, 103),( 27, 104),( 28, 105)
,( 30, 109),( 31, 94),( 37, 93),( 40, 107)
,( 48, 92),( 49, 106),( 55, 3),( 56, 18)
,( 67, 100),( 68, 97),( 69, 99),( 71, 90)
,( 73, 101),( 74, 91),(-1,-3000)
-- state  327
,(-1,-54)

-- state  328
,(-1,-134)
-- state  329
,(-1,-135)
-- state  330
,(-1,-136)
-- state  331
,(-1,-137)

-- state  332
,(-1,-138)
-- state  333
,(-1,-139)
-- state  334
,(-1,-140)
-- state  335
,(-1,-141)

-- state  336
,(-1,-142)
-- state  337
,( 62, 376),( 69, 375),( 88, 377)
,(-1,-3000)
-- state  338
,(-1,-162)
-- state  339
,( 68, 379),(-1,-3000)

-- state  340
,( 68, 380),(-1,-3000)
-- state  341
,( 5, 108),( 12, 102)
,( 15, 110),( 17, 103),( 27, 104),( 28, 105)
,( 30, 109),( 31, 94),( 37, 93),( 40, 107)
,( 48, 92),( 49, 106),( 55, 3),( 56, 18)
,( 67, 100),( 68, 97),( 69, 99),( 71, 90)
,( 73, 101),( 74, 91),(-1,-3000)
-- state  342
,( 68, 382)
,(-1,-3000)
-- state  343
,( 68, 383),(-1,-3000)
-- state  344
,( 5, 108)
,( 12, 102),( 15, 110),( 17, 103),( 27, 104)
,( 28, 105),( 30, 109),( 31, 94),( 37, 93)
,( 40, 107),( 48, 92),( 49, 106),( 55, 3)
,( 56, 18),( 57, 385),( 67, 100),( 68, 97)
,( 69, 99),( 71, 90),( 73, 101),( 74, 91)
,(-1,-3000)
-- state  345
,( 86, 387),(-1,-3000)
-- state  346
,(-1,-76)

-- state  347
,(-1,-77)
-- state  348
,(-1,-78)
-- state  349
,(-1,-243)
-- state  350
,(-1,-45)

-- state  351
,(-1,-46)
-- state  352
,( 82, 388),(-1,-3000)
-- state  353
,( 82, 389)
,(-1,-3000)
-- state  354
,(-1,-187)
-- state  355
,( 55, 3),( 77, 391)
,(-1,-3000)
-- state  356
,(-1,-212)
-- state  357
,( 9, 401),( 19, 398)
,( 39, 400),( 44, 399),( 77, 402),(-1,-3000)

-- state  358
,( 16, 306),(-1,-197)
-- state  359
,( 68, 405),(-1,-3000)

-- state  360
,( 5, 108),( 12, 102),( 15, 110),( 17, 103)
,( 27, 104),( 28, 105),( 30, 109),( 31, 94)
,( 37, 93),( 40, 107),( 48, 92),( 49, 106)
,( 55, 3),( 56, 18),( 67, 100),( 68, 97)
,( 69, 99),( 71, 90),( 73, 101),( 74, 91)
,(-1,-202)
-- state  361
,( 55, 3),(-1,-3000)
-- state  362
,(-1,-181)

-- state  363
,(-1,-182)
-- state  364
,(-1,-183)
-- state  365
,(-1,-133)
-- state  366
,( 88, 410)
,(-1,-3000)
-- state  367
,( 3, 148),( 22, 157),( 29, 147)
,( 33, 149),( 58, 156),( 60, 146),( 62, 142)
,( 63, 154),( 65, 152),( 66, 153),( 69, 141)
,( 71, 144),( 72, 155),( 74, 143),( 75, 159)
,( 76, 160),( 79, 411),( 83, 150),( 84, 151)
,( 85, 145),( 87, 158),(-1,-3000)
-- state  368
,( 3, 148)
,( 22, 157),( 29, 147),( 33, 149),( 58, 156)
,( 60, 146),( 62, 142),( 63, 154),( 65, 152)
,( 66, 153),( 69, 141),( 71, 144),( 72, 155)
,( 74, 143),( 75, 159),( 76, 160),( 83, 150)
,( 84, 151),( 85, 145),( 87, 158),(-1,-122)

-- state  369
,(-1,-118)
-- state  370
,(-1,-248)
-- state  371
,(-1,-246)
-- state  372
,(-1,-31)

-- state  373
,( 54, 412),(-1,-3000)
-- state  374
,( 3, 148),( 22, 157)
,( 29, 147),( 33, 149),( 58, 156),( 60, 146)
,( 62, 142),( 63, 154),( 65, 152),( 66, 153)
,( 69, 141),( 71, 144),( 72, 155),( 74, 143)
,( 75, 159),( 76, 160),( 83, 150),( 84, 151)
,( 85, 145),( 87, 158),(-1,-39)
-- state  375
,( 5, 108)
,( 12, 102),( 15, 110),( 17, 103),( 27, 104)
,( 28, 105),( 30, 109),( 31, 94),( 37, 93)
,( 40, 107),( 48, 92),( 49, 106),( 55, 3)
,( 56, 18),( 67, 100),( 68, 97),( 69, 99)
,( 71, 90),( 73, 101),( 74, 91),(-1,-3000)

-- state  376
,( 55, 3),(-1,-3000)
-- state  377
,( 5, 108),( 12, 102)
,( 15, 110),( 17, 103),( 27, 104),( 28, 105)
,( 30, 109),( 31, 94),( 37, 93),( 40, 107)
,( 48, 92),( 49, 106),( 55, 3),( 56, 18)
,( 67, 100),( 68, 97),( 69, 99),( 71, 90)
,( 73, 101),( 74, 91),(-1,-3000)
-- state  378
,( 2, 345)
,( 6, 339),( 7, 38),( 16, 342),( 20, 343)
,( 38, 344),( 43, 341),( 53, 340),( 55, 3)
,( 67, 338),(-1,-3000)
-- state  379
,( 5, 108),( 12, 102)
,( 15, 110),( 17, 103),( 27, 104),( 28, 105)
,( 30, 109),( 31, 94),( 37, 93),( 40, 107)
,( 48, 92),( 49, 106),( 55, 3),( 56, 18)
,( 67, 100),( 68, 97),( 69, 99),( 71, 90)
,( 73, 101),( 74, 91),(-1,-3000)
-- state  380
,( 5, 108)
,( 12, 102),( 15, 110),( 17, 103),( 27, 104)
,( 28, 105),( 30, 109),( 31, 94),( 37, 93)
,( 40, 107),( 48, 92),( 49, 106),( 55, 3)
,( 56, 18),( 67, 100),( 68, 97),( 69, 99)
,( 71, 90),( 73, 101),( 74, 91),(-1,-3000)

-- state  381
,( 3, 148),( 22, 157),( 29, 147),( 33, 149)
,( 58, 156),( 60, 146),( 62, 142),( 63, 154)
,( 65, 152),( 66, 153),( 69, 141),( 71, 144)
,( 72, 155),( 74, 143),( 75, 159),( 76, 160)
,( 82, 426),( 83, 150),( 84, 151),( 85, 145)
,( 87, 158),(-1,-3000)
-- state  382
,( 55, 3),(-1,-3000)

-- state  383
,( 5, 108),( 12, 102),( 15, 110),( 17, 103)
,( 27, 104),( 28, 105),( 30, 109),( 31, 94)
,( 37, 93),( 40, 107),( 48, 92),( 49, 106)
,( 55, 3),( 56, 18),( 67, 100),( 68, 97)
,( 69, 99),( 71, 90),( 73, 101),( 74, 91)
,(-1,-3000)
-- state  384
,( 59, 238),( 82, 429),(-1,-3000)

-- state  385
,(-1,-228)
-- state  386
,( 59, 430),( 82, 431),(-1,-3000)

-- state  387
,( 5, 108),( 12, 102),( 15, 110),( 17, 103)
,( 27, 104),( 28, 105),( 30, 109),( 31, 94)
,( 37, 93),( 40, 107),( 48, 92),( 49, 106)
,( 55, 3),( 56, 18),( 67, 100),( 68, 97)
,( 69, 99),( 71, 90),( 73, 101),( 74, 91)
,(-1,-3000)
-- state  388
,(-1,-47)
-- state  389
,(-1,-191)
-- state  390
,( 22, 433)
,(-1,-3000)
-- state  391
,(-1,-206)
-- state  392
,(-1,-208)
-- state  393
,( 55, 3)
,( 77, 434),(-1,-3000)
-- state  394
,(-1,-214)
-- state  395
,(-1,-215)

-- state  396
,(-1,-216)
-- state  397
,(-1,-217)
-- state  398
,( 86, 436),(-1,-3000)

-- state  399
,( 82, 437),(-1,-3000)
-- state  400
,( 86, 438),(-1,-3000)

-- state  401
,( 86, 439),(-1,-3000)
-- state  402
,(-1,-184)
-- state  403
,(-1,-219)

-- state  404
,(-1,-194)
-- state  405
,( 5, 108),( 12, 102),( 15, 110)
,( 17, 103),( 27, 104),( 28, 105),( 30, 109)
,( 31, 94),( 37, 93),( 40, 107),( 48, 92)
,( 49, 106),( 55, 3),( 56, 18),( 67, 100)
,( 68, 97),( 69, 99),( 71, 90),( 73, 101)
,( 74, 91),(-1,-3000)
-- state  406
,( 14, 442),( 70, 441)
,(-1,-3000)
-- state  407
,( 3, 148),( 22, 157),( 29, 147)
,( 33, 149),( 58, 156),( 60, 146),( 62, 142)
,( 63, 154),( 65, 152),( 66, 153),( 69, 141)
,( 71, 144),( 72, 155),( 74, 143),( 75, 159)
,( 76, 160),( 83, 150),( 84, 151),( 85, 444)
,( 87, 158),(-1,-3000)
-- state  408
,(-1,-195)
-- state  409
,( 59, 279)
,( 79, 445),(-1,-3000)
-- state  410
,( 5, 108),( 12, 102)
,( 15, 110),( 17, 103),( 27, 104),( 28, 105)
,( 30, 109),( 31, 94),( 37, 93),( 40, 107)
,( 48, 92),( 49, 106),( 55, 3),( 56, 18)
,( 67, 100),( 68, 97),( 69, 99),( 71, 90)
,( 73, 101),( 74, 91),(-1,-3000)
-- state  411
,(-1,-111)

-- state  412
,( 4, 447),(-1,-3000)
-- state  413
,( 59, 238),( 80, 448)
,(-1,-3000)
-- state  414
,(-1,-82)
-- state  415
,( 3, 148),( 22, 157)
,( 29, 147),( 33, 149),( 58, 156),( 60, 146)
,( 62, 142),( 63, 154),( 65, 152),( 66, 153)
,( 69, 141),( 71, 144),( 72, 155),( 74, 143)
,( 75, 159),( 76, 160),( 82, 449),( 83, 150)
,( 84, 151),( 85, 145),( 87, 158),(-1,-3000)

-- state  416
,( 2, 345),( 6, 339),( 16, 342),( 20, 343)
,( 38, 344),( 43, 341),( 53, 340),( 55, 3)
,( 67, 338),( 77, 450),(-1,-3000)
-- state  417
,(-1,-169)

-- state  418
,(-1,-163)
-- state  419
,(-1,-164)
-- state  420
,( 55, 3),(-1,-3000)

-- state  421
,( 62,-243),( 69,-243),( 88,-243),(-1,-232)

-- state  422
,(-1,-160)
-- state  423
,(-1,-161)
-- state  424
,( 3, 148),( 22, 157)
,( 29, 147),( 33, 149),( 58, 156),( 60, 146)
,( 62, 142),( 63, 154),( 65, 152),( 66, 153)
,( 69, 141),( 71, 144),( 72, 155),( 74, 143)
,( 75, 159),( 76, 160),( 79, 453),( 83, 150)
,( 84, 151),( 85, 145),( 87, 158),(-1,-3000)

-- state  425
,( 3, 148),( 22, 157),( 29, 147),( 33, 149)
,( 58, 156),( 60, 146),( 62, 142),( 63, 154)
,( 65, 152),( 66, 153),( 69, 141),( 71, 144)
,( 72, 155),( 74, 143),( 75, 159),( 76, 160)
,( 79, 454),( 83, 150),( 84, 151),( 85, 145)
,( 87, 158),(-1,-3000)
-- state  426
,(-1,-153)
-- state  427
,( 59, 279)
,( 79, 455),(-1,-3000)
-- state  428
,( 3, 148),( 22, 157)
,( 29, 147),( 33, 149),( 58, 156),( 60, 146)
,( 62, 142),( 63, 154),( 65, 152),( 66, 153)
,( 69, 141),( 71, 144),( 72, 155),( 74, 143)
,( 75, 159),( 76, 160),( 79, 456),( 83, 150)
,( 84, 151),( 85, 145),( 87, 158),(-1,-3000)

-- state  429
,(-1,-155)
-- state  430
,( 5, 108),( 12, 102),( 15, 110)
,( 17, 103),( 27, 104),( 28, 105),( 30, 109)
,( 31, 94),( 37, 93),( 40, 107),( 48, 92)
,( 49, 106),( 55, 3),( 56, 18),( 67, 100)
,( 68, 97),( 69, 99),( 71, 90),( 73, 101)
,( 74, 91),(-1,-3000)
-- state  431
,(-1,-157)
-- state  432
,( 3, 148)
,( 22, 157),( 29, 147),( 33, 149),( 58, 156)
,( 60, 146),( 62, 142),( 63, 154),( 65, 152)
,( 66, 153),( 69, 141),( 71, 144),( 72, 155)
,( 74, 143),( 75, 159),( 76, 160),( 82, 458)
,( 83, 150),( 84, 151),( 85, 145),( 87, 158)
,(-1,-3000)
-- state  433
,( 5, 108),( 12, 102),( 15, 110)
,( 17, 103),( 27, 104),( 28, 105),( 30, 109)
,( 31, 94),( 37, 93),( 40, 107),( 48, 92)
,( 49, 106),( 55, 3),( 56, 18),( 67, 100)
,( 68, 97),( 69, 99),( 71, 90),( 73, 101)
,( 74, 91),(-1,-3000)
-- state  434
,(-1,-211)
-- state  435
,(-1,-213)

-- state  436
,( 5, 108),( 12, 102),( 15, 110),( 17, 103)
,( 27, 104),( 28, 105),( 30, 109),( 31, 94)
,( 37, 93),( 40, 107),( 48, 92),( 49, 106)
,( 55, 3),( 56, 18),( 67, 100),( 68, 97)
,( 69, 99),( 71, 90),( 73, 101),( 74, 91)
,(-1,-3000)
-- state  437
,(-1,-221)
-- state  438
,( 5, 108),( 12, 102)
,( 15, 110),( 17, 103),( 27, 104),( 28, 105)
,( 30, 109),( 31, 94),( 37, 93),( 40, 107)
,( 48, 92),( 49, 106),( 55, 3),( 56, 18)
,( 67, 100),( 68, 97),( 69, 99),( 71, 90)
,( 73, 101),( 74, 91),(-1,-3000)
-- state  439
,( 57, 385)
,(-1,-3000)
-- state  440
,( 3, 148),( 22, 157),( 29, 147)
,( 33, 149),( 58, 156),( 60, 146),( 62, 142)
,( 63, 154),( 65, 152),( 66, 153),( 69, 141)
,( 71, 144),( 72, 155),( 74, 143),( 75, 159)
,( 76, 160),( 79, 463),( 83, 150),( 84, 151)
,( 85, 145),( 87, 158),(-1,-3000)
-- state  441
,( 5, 108)
,( 12, 102),( 15, 110),( 17, 103),( 27, 104)
,( 28, 105),( 30, 109),( 31, 94),( 37, 93)
,( 40, 107),( 48, 92),( 49, 106),( 55, 3)
,( 56, 18),( 67, 100),( 68, 97),( 69, 99)
,( 71, 90),( 73, 101),( 74, 91),(-1,-3000)

-- state  442
,(-1,-204)
-- state  443
,(-1,-200)
-- state  444
,( 5, 108),( 12, 102)
,( 15, 110),( 17, 103),( 27, 104),( 28, 105)
,( 30, 109),( 31, 94),( 37, 93),( 40, 107)
,( 48, 92),( 49, 106),( 55, 3),( 56, 18)
,( 67, 100),( 68, 97),( 69, 99),( 71, 90)
,( 73, 101),( 74, 91),(-1,-201)
-- state  445
,(-1,-196)

-- state  446
,( 3, 148),( 22, 157),( 29, 147),( 33, 149)
,( 58, 156),( 60, 146),( 62, 142),( 63, 154)
,( 65, 152),( 66, 153),( 69, 141),( 71, 144)
,( 72, 155),( 74, 143),( 75, 159),( 76, 160)
,( 79, 465),( 83, 150),( 84, 151),( 85, 145)
,( 87, 158),(-1,-3000)
-- state  447
,( 5, 108),( 12, 102)
,( 15, 110),( 17, 103),( 27, 104),( 28, 105)
,( 30, 109),( 31, 94),( 37, 93),( 40, 107)
,( 48, 92),( 49, 106),( 55, 3),( 56, 18)
,( 67, 100),( 68, 97),( 69, 99),( 71, 90)
,( 73, 101),( 74, 91),(-1,-3000)
-- state  448
,(-1,-81)

-- state  449
,(-1,-143)
-- state  450
,(-1,-159)
-- state  451
,(-1,-168)
-- state  452
,( 82, 467)
,( 88, 133),(-1,-3000)
-- state  453
,( 67, 468),(-1,-3000)

-- state  454
,( 2, 345),( 6, 339),( 16, 342),( 20, 343)
,( 38, 344),( 43, 341),( 53, 340),( 55, 3)
,( 67, 338),(-1,-3000)
-- state  455
,( 2, 345),( 6, 339)
,( 16, 342),( 20, 343),( 38, 344),( 43, 341)
,( 53, 340),( 55, 3),( 67, 338),(-1,-3000)

-- state  456
,( 2, 345),( 6, 339),( 16, 342),( 20, 343)
,( 38, 344),( 43, 341),( 53, 340),( 55, 3)
,( 67, 338),(-1,-3000)
-- state  457
,( 59, 238),( 82, 472)
,(-1,-3000)
-- state  458
,(-1,-158)
-- state  459
,( 3, 148),( 22, 157)
,( 29, 147),( 33, 149),( 42, 125),( 58, 156)
,( 60, 146),( 62, 142),( 63, 154),( 65, 152)
,( 66, 153),( 69, 141),( 71, 144),( 72, 155)
,( 74, 143),( 75, 159),( 76, 160),( 83, 150)
,( 84, 151),( 85, 145),( 87, 158),(-1,-247)

-- state  460
,( 3, 148),( 22, 157),( 29, 147),( 33, 149)
,( 58, 156),( 60, 146),( 62, 142),( 63, 154)
,( 65, 152),( 66, 153),( 69, 141),( 71, 144)
,( 72, 155),( 74, 143),( 75, 159),( 76, 160)
,( 82, 474),( 83, 150),( 84, 151),( 85, 145)
,( 87, 158),(-1,-3000)
-- state  461
,( 3, 148),( 22, 157)
,( 29, 147),( 33, 149),( 58, 156),( 60, 146)
,( 62, 142),( 63, 154),( 65, 152),( 66, 153)
,( 69, 141),( 71, 144),( 72, 155),( 74, 143)
,( 75, 159),( 76, 160),( 82, 475),( 83, 150)
,( 84, 151),( 85, 145),( 87, 158),(-1,-3000)

-- state  462
,( 59, 476),(-1,-224)
-- state  463
,(-1,-198)
-- state  464
,( 59, 238)
,( 81, 478),(-1,-3000)
-- state  465
,(-1,-109)
-- state  466
,( 3, 148)
,( 22, 157),( 29, 147),( 33, 149),( 58, 156)
,( 60, 146),( 62, 142),( 63, 154),( 65, 152)
,( 66, 153),( 69, 141),( 71, 144),( 72, 155)
,( 74, 143),( 75, 159),( 76, 160),( 83, 150)
,( 84, 151),( 85, 145),( 87, 158),(-1,-38)

-- state  467
,(-1,-165)
-- state  468
,(-1,-148)
-- state  469
,(-1,-152)
-- state  470
,(-1,-154)

-- state  471
,( 11, 480),(-1,-145)
-- state  472
,(-1,-156)
-- state  473
,( 82, 481)
,(-1,-3000)
-- state  474
,(-1,-220)
-- state  475
,(-1,-222)
-- state  476
,( 5, 108)
,( 12, 102),( 15, 110),( 17, 103),( 27, 104)
,( 28, 105),( 30, 109),( 31, 94),( 37, 93)
,( 40, 107),( 48, 92),( 49, 106),( 55, 3)
,( 56, 18),( 67, 100),( 68, 97),( 69, 99)
,( 71, 90),( 73, 101),( 74, 91),(-1,-3000)

-- state  477
,( 82, 483),(-1,-3000)
-- state  478
,(-1,-203)
-- state  479
,( 5, 108)
,( 8, 484),( 12, 102),( 15, 110),( 17, 103)
,( 27, 104),( 28, 105),( 30, 109),( 31, 94)
,( 37, 93),( 40, 107),( 48, 92),( 49, 106)
,( 55, 3),( 56, 18),( 67, 100),( 68, 97)
,( 69, 99),( 71, 90),( 73, 101),( 74, 91)
,(-1,-151)
-- state  480
,( 2, 345),( 6, 339),( 16, 342)
,( 20, 343),( 38, 344),( 43, 341),( 53, 340)
,( 55, 3),( 67, 338),(-1,-3000)
-- state  481
,(-1,-209)

-- state  482
,( 59, 238),(-1,-225)
-- state  483
,(-1,-223)
-- state  484
,( 86, 489)
,(-1,-3000)
-- state  485
,( 3, 148),( 22, 157),( 29, 147)
,( 33, 149),( 58, 156),( 60, 146),( 62, 142)
,( 63, 154),( 65, 152),( 66, 153),( 69, 141)
,( 71, 144),( 72, 155),( 74, 143),( 75, 159)
,( 76, 160),( 83, 150),( 84, 151),( 85, 145)
,( 86, 490),( 87, 158),(-1,-3000)
-- state  486
,( 77, 491)
,(-1,-3000)
-- state  487
,(-1,-147)
-- state  488
,(-1,-144)
-- state  489
,( 2, 345)
,( 6, 339),( 16, 342),( 20, 343),( 38, 344)
,( 43, 341),( 53, 340),( 55, 3),( 67, 338)
,(-1,-3000)
-- state  490
,( 2, 345),( 6, 339),( 16, 342)
,( 20, 343),( 38, 344),( 43, 341),( 53, 340)
,( 55, 3),( 67, 338),(-1,-3000)
-- state  491
,(-1,-146)

-- state  492
,(-1,-150)
-- state  493
,(-1,-149)
);
--  The offset vector
SHIFT_REDUCE_OFFSET : array (0.. 493) of Integer :=
( 0,
 2, 4, 5, 6, 8, 10, 12, 13, 14, 17,
 19, 20, 21, 22, 24, 26, 36, 37, 38, 39,
 40, 41, 42, 43, 44, 45, 46, 47, 49, 51,
 52, 53, 54, 56, 58, 60, 62, 64, 66, 67,
 68, 69, 71, 72, 74, 76, 77, 79, 80, 82,
 83, 85, 87, 89, 90, 92, 94, 115, 123, 125,
 127, 129, 130, 132, 134, 136, 138, 139, 140, 141,
 142, 143, 144, 145, 146, 147, 149, 150, 151, 152,
 153, 154, 155, 156, 157, 158, 159, 160, 162, 184,
 205, 226, 247, 268, 289, 291, 293, 314, 316, 337,
 358, 379, 380, 381, 382, 383, 384, 385, 386, 387,
 388, 389, 390, 391, 392, 393, 394, 395, 396, 417,
 419, 421, 423, 425, 427, 448, 450, 452, 454, 455,
 457, 459, 461, 482, 483, 485, 487, 490, 495, 497,
 518, 539, 541, 562, 583, 604, 625, 646, 667, 688,
 709, 730, 751, 772, 793, 814, 835, 856, 858, 879,
 884, 885, 894, 903, 908, 913, 918, 920, 922, 944,
 947, 968, 971, 974, 995, 997, 999, 1001, 1003, 1005,
 1027, 1028, 1029, 1031, 1033, 1034, 1036, 1038, 1060, 1063,
 1064, 1066, 1068, 1070, 1071, 1072, 1074, 1075, 1076, 1077,
 1079, 1081, 1083, 1084, 1085, 1086, 1088, 1090, 1093, 1115,
 1116, 1125, 1134, 1140, 1146, 1152, 1170, 1189, 1200, 1211,
 1222, 1233, 1248, 1263, 1268, 1285, 1288, 1310, 1311, 1312,
 1313, 1314, 1315, 1316, 1319, 1321, 1324, 1325, 1346, 1347,
 1348, 1349, 1350, 1353, 1354, 1355, 1358, 1359, 1362, 1364,
 1366, 1368, 1389, 1390, 1391, 1393, 1395, 1396, 1398, 1399,
 1400, 1403, 1404, 1406, 1408, 1410, 1411, 1413, 1434, 1436,
 1437, 1438, 1459, 1460, 1481, 1483, 1504, 1525, 1527, 1529,
 1550, 1552, 1573, 1574, 1576, 1578, 1580, 1581, 1582, 1584,
 1586, 1588, 1609, 1610, 1621, 1623, 1625, 1626, 1629, 1630,
 1632, 1633, 1634, 1636, 1637, 1639, 1641, 1643, 1665, 1666,
 1668, 1690, 1693, 1714, 1735, 1756, 1777, 1779, 1780, 1802,
 1803, 1804, 1806, 1807, 1808, 1810, 1831, 1832, 1833, 1834,
 1835, 1836, 1837, 1838, 1839, 1840, 1841, 1845, 1846, 1848,
 1850, 1871, 1873, 1875, 1897, 1899, 1900, 1901, 1902, 1903,
 1904, 1905, 1907, 1909, 1910, 1913, 1914, 1920, 1922, 1924,
 1945, 1947, 1948, 1949, 1950, 1951, 1953, 1975, 1996, 1997,
 1998, 1999, 2000, 2002, 2023, 2044, 2046, 2067, 2078, 2099,
 2120, 2142, 2144, 2165, 2168, 2169, 2172, 2193, 2194, 2195,
 2197, 2198, 2199, 2202, 2203, 2204, 2205, 2206, 2208, 2210,
 2212, 2214, 2215, 2216, 2217, 2238, 2241, 2262, 2263, 2266,
 2287, 2288, 2290, 2293, 2294, 2316, 2327, 2328, 2329, 2330,
 2332, 2336, 2337, 2338, 2360, 2382, 2383, 2386, 2408, 2409,
 2430, 2431, 2453, 2474, 2475, 2476, 2497, 2498, 2519, 2521,
 2543, 2564, 2565, 2566, 2587, 2588, 2610, 2631, 2632, 2633,
 2634, 2635, 2638, 2640, 2650, 2660, 2670, 2673, 2674, 2696,
 2718, 2740, 2742, 2743, 2746, 2747, 2768, 2769, 2770, 2771,
 2772, 2774, 2775, 2777, 2778, 2779, 2800, 2802, 2803, 2825,
 2835, 2836, 2838, 2839, 2841, 2863, 2865, 2866, 2867, 2877,
 2887, 2888, 2889);
end Helena_Yacc_Shift_Reduce;
