package Scheduler_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
,(-1,-3)
-- state  1
,( 66,-32),( 67,-22),( 68,-24)
,( 69,-20),( 70,-30),( 71,-28),( 72,-26)
,( 73,-14),( 74,-16),( 75,-18),(-1,-1)

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

-- state  5
,(-1,-6)
-- state  6
,(-1,-7)
-- state  7
,(-1,-8)
-- state  8
,(-1,-9)

-- state  9
,(-1,-10)
-- state  10
,(-1,-11)
-- state  11
,(-1,-12)
-- state  12
,(-1,-13)

-- state  13
,( 69, 25),(-1,-3000)
-- state  14
,( 70, 26),(-1,-3000)

-- state  15
,( 71, 27),(-1,-3000)
-- state  16
,( 72, 28),(-1,-3000)

-- state  17
,( 73, 29),(-1,-3000)
-- state  18
,( 74, 30),(-1,-3000)

-- state  19
,( 75, 31),(-1,-3000)
-- state  20
,( 67, 32),(-1,-3000)

-- state  21
,( 68, 33),(-1,-3000)
-- state  22
,( 66, 34),(-1,-3000)

-- state  23
,(-1,-2)
-- state  24
,(-1,-3000)
-- state  25
,( 14, 36),(-1,-35)

-- state  26
,( 14, 36),(-1,-35)
-- state  27
,( 14, 36),(-1,-35)

-- state  28
,( 14, 36),(-1,-35)
-- state  29
,( 14, 36),(-1,-35)

-- state  30
,( 14, 36),(-1,-35)
-- state  31
,( 14, 36),(-1,-35)

-- state  32
,( 14, 36),(-1,-35)
-- state  33
,( 14, 36),(-1,-35)

-- state  34
,( 14, 36),(-1,-35)
-- state  35
,(-1,-34)
-- state  36
,(-1,-141)

-- state  37
,( 97, 47),(-1,-3000)
-- state  38
,( 97, 48),(-1,-3000)

-- state  39
,( 97, 49),(-1,-3000)
-- state  40
,( 97, 50),(-1,-3000)

-- state  41
,( 97, 51),(-1,-3000)
-- state  42
,( 97, 52),(-1,-3000)

-- state  43
,( 97, 53),(-1,-3000)
-- state  44
,( 97, 54),(-1,-3000)

-- state  45
,( 97, 55),(-1,-3000)
-- state  46
,( 97, 56),(-1,-3000)

-- state  47
,(-1,-51)
-- state  48
,(-1,-51)
-- state  49
,(-1,-51)
-- state  50
,(-1,-51)

-- state  51
,(-1,-51)
-- state  52
,(-1,-51)
-- state  53
,(-1,-51)
-- state  54
,(-1,-51)

-- state  55
,(-1,-51)
-- state  56
,(-1,-37)
-- state  57
,( 2, 101),( 4, 102)
,( 12, 107),( 13, 108),( 14, 36),( 15, 84)
,( 16, 85),( 17, 106),( 19, 76),( 23, 81)
,( 24, 77),( 37, 74),( 38, 91),( 39, 92)
,( 40, 86),( 41, 67),( 43, 89),( 44, 95)
,( 45, 96),( 46, 88),( 47, 87),( 51, 73)
,( 55, 80),( 56, 78),( 57, 79),( 58, 97)
,( 59, 99),( 60, 100),( 61, 98),( 62, 75)
,( 65, 109),( 80, 71),( 81, 69),( 82, 68)
,( 85, 83),( 90, 94),( 91, 93),( 107, 90)
,( 110, 82),(-1,-3000)
-- state  58
,( 2, 101),( 4, 102)
,( 12, 107),( 13, 108),( 14, 36),( 15, 84)
,( 16, 85),( 17, 106),( 19, 76),( 23, 81)
,( 24, 77),( 37, 74),( 38, 91),( 39, 92)
,( 40, 86),( 41, 67),( 43, 89),( 44, 95)
,( 45, 96),( 46, 88),( 47, 87),( 51, 73)
,( 55, 80),( 56, 78),( 57, 79),( 58, 97)
,( 59, 99),( 60, 100),( 61, 98),( 62, 75)
,( 65, 111),( 80, 71),( 81, 69),( 82, 68)
,( 85, 83),( 90, 94),( 91, 93),( 107, 90)
,( 110, 82),(-1,-3000)
-- state  59
,( 2, 101),( 4, 102)
,( 12, 107),( 13, 108),( 14, 36),( 15, 84)
,( 16, 85),( 17, 106),( 19, 76),( 23, 81)
,( 24, 77),( 37, 74),( 38, 91),( 39, 92)
,( 40, 86),( 41, 67),( 43, 89),( 44, 95)
,( 45, 96),( 46, 88),( 47, 87),( 51, 73)
,( 55, 80),( 56, 78),( 57, 79),( 58, 97)
,( 59, 99),( 60, 100),( 61, 98),( 62, 75)
,( 65, 112),( 80, 71),( 81, 69),( 82, 68)
,( 85, 83),( 90, 94),( 91, 93),( 107, 90)
,( 110, 82),(-1,-3000)
-- state  60
,( 2, 101),( 4, 102)
,( 12, 107),( 13, 108),( 14, 36),( 15, 84)
,( 16, 85),( 17, 106),( 19, 76),( 23, 81)
,( 24, 77),( 37, 74),( 38, 91),( 39, 92)
,( 40, 86),( 41, 67),( 43, 89),( 44, 95)
,( 45, 96),( 46, 88),( 47, 87),( 51, 73)
,( 55, 80),( 56, 78),( 57, 79),( 58, 97)
,( 59, 99),( 60, 100),( 61, 98),( 62, 75)
,( 65, 113),( 80, 71),( 81, 69),( 82, 68)
,( 85, 83),( 90, 94),( 91, 93),( 107, 90)
,( 110, 82),(-1,-3000)
-- state  61
,( 2, 101),( 4, 102)
,( 12, 107),( 13, 108),( 14, 36),( 15, 84)
,( 16, 85),( 17, 106),( 19, 76),( 23, 81)
,( 24, 77),( 37, 74),( 38, 91),( 39, 92)
,( 40, 86),( 41, 67),( 43, 89),( 44, 95)
,( 45, 96),( 46, 88),( 47, 87),( 51, 73)
,( 55, 80),( 56, 78),( 57, 79),( 58, 97)
,( 59, 99),( 60, 100),( 61, 98),( 62, 75)
,( 65, 114),( 80, 71),( 81, 69),( 82, 68)
,( 85, 83),( 90, 94),( 91, 93),( 107, 90)
,( 110, 82),(-1,-3000)
-- state  62
,( 2, 101),( 4, 102)
,( 12, 107),( 13, 108),( 14, 36),( 15, 84)
,( 16, 85),( 17, 106),( 19, 76),( 23, 81)
,( 24, 77),( 37, 74),( 38, 91),( 39, 92)
,( 40, 86),( 41, 67),( 43, 89),( 44, 95)
,( 45, 96),( 46, 88),( 47, 87),( 51, 73)
,( 55, 80),( 56, 78),( 57, 79),( 58, 97)
,( 59, 99),( 60, 100),( 61, 98),( 62, 75)
,( 65, 115),( 80, 71),( 81, 69),( 82, 68)
,( 85, 83),( 90, 94),( 91, 93),( 107, 90)
,( 110, 82),(-1,-3000)
-- state  63
,( 2, 101),( 4, 102)
,( 12, 107),( 13, 108),( 14, 36),( 15, 84)
,( 16, 85),( 17, 106),( 19, 76),( 23, 81)
,( 24, 77),( 37, 74),( 38, 91),( 39, 92)
,( 40, 86),( 41, 67),( 43, 89),( 44, 95)
,( 45, 96),( 46, 88),( 47, 87),( 51, 73)
,( 55, 80),( 56, 78),( 57, 79),( 58, 97)
,( 59, 99),( 60, 100),( 61, 98),( 62, 75)
,( 65, 116),( 80, 71),( 81, 69),( 82, 68)
,( 85, 83),( 90, 94),( 91, 93),( 107, 90)
,( 110, 82),(-1,-3000)
-- state  64
,( 2, 101),( 4, 102)
,( 12, 107),( 13, 108),( 14, 36),( 15, 84)
,( 16, 85),( 17, 106),( 19, 76),( 23, 81)
,( 24, 77),( 37, 74),( 38, 91),( 39, 92)
,( 40, 86),( 41, 67),( 43, 89),( 44, 95)
,( 45, 96),( 46, 88),( 47, 87),( 51, 73)
,( 55, 80),( 56, 78),( 57, 79),( 58, 97)
,( 59, 99),( 60, 100),( 61, 98),( 62, 75)
,( 65, 117),( 80, 71),( 81, 69),( 82, 68)
,( 85, 83),( 90, 94),( 91, 93),( 107, 90)
,( 110, 82),(-1,-3000)
-- state  65
,( 2, 101),( 4, 102)
,( 12, 107),( 13, 108),( 14, 36),( 15, 84)
,( 16, 85),( 17, 106),( 19, 76),( 23, 81)
,( 24, 77),( 37, 74),( 38, 91),( 39, 92)
,( 40, 86),( 41, 67),( 43, 89),( 44, 95)
,( 45, 96),( 46, 88),( 47, 87),( 51, 73)
,( 55, 80),( 56, 78),( 57, 79),( 58, 97)
,( 59, 99),( 60, 100),( 61, 98),( 62, 75)
,( 65, 118),( 80, 71),( 81, 69),( 82, 68)
,( 85, 83),( 90, 94),( 91, 93),( 107, 90)
,( 110, 82),(-1,-3000)
-- state  66
,( 14, 36),(-1,-39)

-- state  67
,( 85, 122),(-1,-3000)
-- state  68
,( 17, 106),(-1,-3000)

-- state  69
,( 17, 106),(-1,-3000)
-- state  70
,( 85, 126),( 97, 125)
,(-1,-137)
-- state  71
,( 2, 101),( 4, 102),( 12, 107)
,( 13, 108),( 14, 36),( 15, 84),( 16, 85)
,( 17, 106),( 38, 91),( 39, 92),( 40, 86)
,( 43, 89),( 44, 95),( 45, 96),( 46, 88)
,( 47, 87),( 58, 97),( 59, 99),( 60, 100)
,( 61, 98),( 85, 83),( 90, 94),( 91, 93)
,( 107, 90),( 110, 82),(-1,-3000)
-- state  72
,( 42, 131)
,( 89, 137),( 90, 139),( 91, 140),( 92, 141)
,( 93, 142),( 96, 143),( 101, 132),( 102, 133)
,( 103, 134),( 104, 135),( 105, 136),( 106, 129)
,( 108, 138),( 109, 130),(-1,-3000)
-- state  73
,( 2, 101)
,( 4, 102),( 12, 107),( 13, 108),( 14, 36)
,( 15, 84),( 16, 85),( 17, 106),( 38, 91)
,( 39, 92),( 40, 86),( 43, 89),( 44, 95)
,( 45, 96),( 46, 88),( 47, 87),( 58, 97)
,( 59, 99),( 60, 100),( 61, 98),( 85, 83)
,( 90, 94),( 91, 93),( 107, 90),( 110, 82)
,(-1,-3000)
-- state  74
,( 2, 101),( 4, 102),( 12, 107)
,( 13, 108),( 14, 36),( 15, 84),( 16, 85)
,( 17, 106),( 38, 91),( 39, 92),( 40, 86)
,( 43, 89),( 44, 95),( 45, 96),( 46, 88)
,( 47, 87),( 58, 97),( 59, 99),( 60, 100)
,( 61, 98),( 85, 83),( 90, 94),( 91, 93)
,( 99, 146),( 107, 90),( 110, 82),(-1,-3000)

-- state  75
,( 99, 148),(-1,-3000)
-- state  76
,( 2, 101),( 4, 102)
,( 12, 107),( 13, 108),( 14, 36),( 15, 84)
,( 16, 85),( 17, 106),( 38, 91),( 39, 92)
,( 40, 86),( 43, 89),( 44, 95),( 45, 96)
,( 46, 88),( 47, 87),( 58, 97),( 59, 99)
,( 60, 100),( 61, 98),( 85, 83),( 90, 94)
,( 91, 93),( 107, 90),( 110, 82),(-1,-3000)

-- state  77
,( 2, 101),( 4, 102),( 12, 107),( 13, 108)
,( 14, 36),( 15, 84),( 16, 85),( 17, 106)
,( 38, 91),( 39, 92),( 40, 86),( 43, 89)
,( 44, 95),( 45, 96),( 46, 88),( 47, 87)
,( 58, 97),( 59, 99),( 60, 100),( 61, 98)
,( 85, 83),( 90, 94),( 91, 93),( 107, 90)
,( 110, 82),(-1,-3000)
-- state  78
,( 85, 151),(-1,-3000)

-- state  79
,( 85, 152),(-1,-3000)
-- state  80
,( 85, 153),(-1,-3000)

-- state  81
,( 14, 36),(-1,-3000)
-- state  82
,( 2, 101),( 4, 102)
,( 12, 107),( 13, 108),( 14, 36),( 15, 84)
,( 16, 85),( 17, 106),( 38, 91),( 39, 92)
,( 40, 86),( 43, 89),( 44, 95),( 45, 96)
,( 46, 88),( 47, 87),( 58, 97),( 59, 99)
,( 60, 100),( 61, 98),( 85, 83),( 90, 94)
,( 91, 93),( 107, 90),( 110, 82),(-1,-3000)

-- state  83
,( 2, 101),( 4, 102),( 12, 107),( 13, 108)
,( 14, 36),( 15, 84),( 16, 85),( 17, 106)
,( 38, 91),( 39, 92),( 40, 86),( 43, 89)
,( 44, 95),( 45, 96),( 46, 88),( 47, 87)
,( 58, 97),( 59, 99),( 60, 100),( 61, 98)
,( 85, 83),( 90, 94),( 91, 93),( 107, 90)
,( 110, 82),(-1,-3000)
-- state  84
,(-1,-110)
-- state  85
,(-1,-111)

-- state  86
,( 85, 157),(-1,-3000)
-- state  87
,( 85, 158),(-1,-3000)

-- state  88
,( 85, 159),(-1,-3000)
-- state  89
,( 85, 160),(-1,-3000)

-- state  90
,( 85, 161),(-1,-3000)
-- state  91
,( 85, 162),(-1,-3000)

-- state  92
,( 85, 163),(-1,-3000)
-- state  93
,( 2, 101),( 4, 102)
,( 12, 107),( 13, 108),( 14, 36),( 15, 84)
,( 16, 85),( 17, 106),( 38, 91),( 39, 92)
,( 40, 86),( 43, 89),( 44, 95),( 45, 96)
,( 46, 88),( 47, 87),( 58, 97),( 59, 99)
,( 60, 100),( 61, 98),( 85, 83),( 90, 94)
,( 91, 93),( 107, 90),( 110, 82),(-1,-3000)

-- state  94
,( 2, 101),( 4, 102),( 12, 107),( 13, 108)
,( 14, 36),( 15, 84),( 16, 85),( 17, 106)
,( 38, 91),( 39, 92),( 40, 86),( 43, 89)
,( 44, 95),( 45, 96),( 46, 88),( 47, 87)
,( 58, 97),( 59, 99),( 60, 100),( 61, 98)
,( 85, 83),( 90, 94),( 91, 93),( 107, 90)
,( 110, 82),(-1,-3000)
-- state  95
,( 85, 166),(-1,-3000)

-- state  96
,( 85, 167),(-1,-3000)
-- state  97
,( 85, 168),(-1,-3000)

-- state  98
,( 85, 169),(-1,-3000)
-- state  99
,( 85, 170),(-1,-3000)

-- state  100
,( 85, 171),(-1,-3000)
-- state  101
,( 111, 172),(-1,-3000)

-- state  102
,( 111, 173),(-1,-3000)
-- state  103
,(-1,-138)
-- state  104
,(-1,-139)

-- state  105
,(-1,-140)
-- state  106
,(-1,-143)
-- state  107
,(-1,-142)
-- state  108
,(-1,-144)

-- state  109
,( 99, 174),(-1,-3000)
-- state  110
,(-1,-50)
-- state  111
,( 99, 175)
,(-1,-3000)
-- state  112
,( 99, 176),(-1,-3000)
-- state  113
,( 99, 177)
,(-1,-3000)
-- state  114
,( 99, 178),(-1,-3000)
-- state  115
,( 99, 179)
,(-1,-3000)
-- state  116
,( 99, 180),(-1,-3000)
-- state  117
,( 99, 181)
,(-1,-3000)
-- state  118
,( 99, 182),(-1,-3000)
-- state  119
,( 65, 184)
,( 76, 183),(-1,-3000)
-- state  120
,( 97, 186),(-1,-3000)

-- state  121
,(-1,-36)
-- state  122
,( 2, 101),( 4, 102),( 12, 107)
,( 13, 108),( 14, 36),( 15, 84),( 16, 85)
,( 17, 106),( 38, 91),( 39, 92),( 40, 86)
,( 43, 89),( 44, 95),( 45, 96),( 46, 88)
,( 47, 87),( 58, 97),( 59, 99),( 60, 100)
,( 61, 98),( 85, 83),( 90, 94),( 91, 93)
,( 107, 90),( 110, 82),(-1,-3000)
-- state  123
,( 99, 188)
,(-1,-3000)
-- state  124
,( 99, 189),(-1,-3000)
-- state  125
,( 2, 190)
,( 3, 191),( 4, 192),( 6, 196),( 7, 193)
,( 8, 195),( 54, 194),(-1,-3000)
-- state  126
,( 2, 101)
,( 4, 102),( 12, 107),( 13, 108),( 14, 36)
,( 15, 84),( 16, 85),( 17, 106),( 38, 91)
,( 39, 92),( 40, 86),( 43, 89),( 44, 95)
,( 45, 96),( 46, 88),( 47, 87),( 58, 97)
,( 59, 99),( 60, 100),( 61, 98),( 85, 83)
,( 90, 94),( 91, 93),( 107, 90),( 110, 82)
,(-1,-3000)
-- state  127
,( 42, 131),( 89, 137),( 90, 139)
,( 91, 140),( 92, 141),( 93, 142),( 96, 143)
,( 99, 199),( 101, 132),( 102, 133),( 103, 134)
,( 104, 135),( 105, 136),( 108, 138),( 109, 130)
,(-1,-3000)
-- state  128
,( 85, 126),(-1,-137)
-- state  129
,( 2, 101)
,( 4, 102),( 12, 107),( 13, 108),( 14, 36)
,( 15, 84),( 16, 85),( 17, 106),( 38, 91)
,( 39, 92),( 40, 86),( 43, 89),( 44, 95)
,( 45, 96),( 46, 88),( 47, 87),( 58, 97)
,( 59, 99),( 60, 100),( 61, 98),( 85, 83)
,( 90, 94),( 91, 93),( 107, 90),( 110, 82)
,(-1,-3000)
-- state  130
,( 2, 101),( 4, 102),( 12, 107)
,( 13, 108),( 14, 36),( 15, 84),( 16, 85)
,( 17, 106),( 38, 91),( 39, 92),( 40, 86)
,( 43, 89),( 44, 95),( 45, 96),( 46, 88)
,( 47, 87),( 58, 97),( 59, 99),( 60, 100)
,( 61, 98),( 85, 83),( 90, 94),( 91, 93)
,( 107, 90),( 110, 82),(-1,-3000)
-- state  131
,( 2, 101)
,( 4, 102),( 12, 107),( 13, 108),( 14, 36)
,( 15, 84),( 16, 85),( 17, 106),( 38, 91)
,( 39, 92),( 40, 86),( 43, 89),( 44, 95)
,( 45, 96),( 46, 88),( 47, 87),( 58, 97)
,( 59, 99),( 60, 100),( 61, 98),( 85, 83)
,( 90, 94),( 91, 93),( 107, 90),( 110, 82)
,(-1,-3000)
-- state  132
,( 2, 101),( 4, 102),( 12, 107)
,( 13, 108),( 14, 36),( 15, 84),( 16, 85)
,( 17, 106),( 38, 91),( 39, 92),( 40, 86)
,( 43, 89),( 44, 95),( 45, 96),( 46, 88)
,( 47, 87),( 58, 97),( 59, 99),( 60, 100)
,( 61, 98),( 85, 83),( 90, 94),( 91, 93)
,( 107, 90),( 110, 82),(-1,-3000)
-- state  133
,( 2, 101)
,( 4, 102),( 12, 107),( 13, 108),( 14, 36)
,( 15, 84),( 16, 85),( 17, 106),( 38, 91)
,( 39, 92),( 40, 86),( 43, 89),( 44, 95)
,( 45, 96),( 46, 88),( 47, 87),( 58, 97)
,( 59, 99),( 60, 100),( 61, 98),( 85, 83)
,( 90, 94),( 91, 93),( 107, 90),( 110, 82)
,(-1,-3000)
-- state  134
,( 2, 101),( 4, 102),( 12, 107)
,( 13, 108),( 14, 36),( 15, 84),( 16, 85)
,( 17, 106),( 38, 91),( 39, 92),( 40, 86)
,( 43, 89),( 44, 95),( 45, 96),( 46, 88)
,( 47, 87),( 58, 97),( 59, 99),( 60, 100)
,( 61, 98),( 85, 83),( 90, 94),( 91, 93)
,( 107, 90),( 110, 82),(-1,-3000)
-- state  135
,( 2, 101)
,( 4, 102),( 12, 107),( 13, 108),( 14, 36)
,( 15, 84),( 16, 85),( 17, 106),( 38, 91)
,( 39, 92),( 40, 86),( 43, 89),( 44, 95)
,( 45, 96),( 46, 88),( 47, 87),( 58, 97)
,( 59, 99),( 60, 100),( 61, 98),( 85, 83)
,( 90, 94),( 91, 93),( 107, 90),( 110, 82)
,(-1,-3000)
-- state  136
,( 2, 101),( 4, 102),( 12, 107)
,( 13, 108),( 14, 36),( 15, 84),( 16, 85)
,( 17, 106),( 38, 91),( 39, 92),( 40, 86)
,( 43, 89),( 44, 95),( 45, 96),( 46, 88)
,( 47, 87),( 58, 97),( 59, 99),( 60, 100)
,( 61, 98),( 85, 83),( 90, 94),( 91, 93)
,( 107, 90),( 110, 82),(-1,-3000)
-- state  137
,( 2, 101)
,( 4, 102),( 12, 107),( 13, 108),( 14, 36)
,( 15, 84),( 16, 85),( 17, 106),( 38, 91)
,( 39, 92),( 40, 86),( 43, 89),( 44, 95)
,( 45, 96),( 46, 88),( 47, 87),( 58, 97)
,( 59, 99),( 60, 100),( 61, 98),( 85, 83)
,( 90, 94),( 91, 93),( 107, 90),( 110, 82)
,(-1,-3000)
-- state  138
,( 2, 101),( 4, 102),( 12, 107)
,( 13, 108),( 14, 36),( 15, 84),( 16, 85)
,( 17, 106),( 38, 91),( 39, 92),( 40, 86)
,( 43, 89),( 44, 95),( 45, 96),( 46, 88)
,( 47, 87),( 58, 97),( 59, 99),( 60, 100)
,( 61, 98),( 85, 83),( 90, 94),( 91, 93)
,( 107, 90),( 110, 82),(-1,-3000)
-- state  139
,( 2, 101)
,( 4, 102),( 12, 107),( 13, 108),( 14, 36)
,( 15, 84),( 16, 85),( 17, 106),( 38, 91)
,( 39, 92),( 40, 86),( 43, 89),( 44, 95)
,( 45, 96),( 46, 88),( 47, 87),( 58, 97)
,( 59, 99),( 60, 100),( 61, 98),( 85, 83)
,( 90, 94),( 91, 93),( 107, 90),( 110, 82)
,(-1,-3000)
-- state  140
,( 2, 101),( 4, 102),( 12, 107)
,( 13, 108),( 14, 36),( 15, 84),( 16, 85)
,( 17, 106),( 38, 91),( 39, 92),( 40, 86)
,( 43, 89),( 44, 95),( 45, 96),( 46, 88)
,( 47, 87),( 58, 97),( 59, 99),( 60, 100)
,( 61, 98),( 85, 83),( 90, 94),( 91, 93)
,( 107, 90),( 110, 82),(-1,-3000)
-- state  141
,( 2, 101)
,( 4, 102),( 12, 107),( 13, 108),( 14, 36)
,( 15, 84),( 16, 85),( 17, 106),( 38, 91)
,( 39, 92),( 40, 86),( 43, 89),( 44, 95)
,( 45, 96),( 46, 88),( 47, 87),( 58, 97)
,( 59, 99),( 60, 100),( 61, 98),( 85, 83)
,( 90, 94),( 91, 93),( 107, 90),( 110, 82)
,(-1,-3000)
-- state  142
,( 2, 101),( 4, 102),( 12, 107)
,( 13, 108),( 14, 36),( 15, 84),( 16, 85)
,( 17, 106),( 38, 91),( 39, 92),( 40, 86)
,( 43, 89),( 44, 95),( 45, 96),( 46, 88)
,( 47, 87),( 58, 97),( 59, 99),( 60, 100)
,( 61, 98),( 85, 83),( 90, 94),( 91, 93)
,( 107, 90),( 110, 82),(-1,-3000)
-- state  143
,( 2, 101)
,( 4, 102),( 12, 107),( 13, 108),( 14, 36)
,( 15, 84),( 16, 85),( 17, 106),( 38, 91)
,( 39, 92),( 40, 86),( 43, 89),( 44, 95)
,( 45, 96),( 46, 88),( 47, 87),( 58, 97)
,( 59, 99),( 60, 100),( 61, 98),( 85, 83)
,( 90, 94),( 91, 93),( 107, 90),( 110, 82)
,(-1,-3000)
-- state  144
,( 42, 131),( 48, 215),( 89, 137)
,( 90, 139),( 91, 140),( 92, 141),( 93, 142)
,( 96, 143),( 101, 132),( 102, 133),( 103, 134)
,( 104, 135),( 105, 136),( 108, 138),( 109, 130)
,(-1,-3000)
-- state  145
,( 42, 131),( 89, 137),( 90, 139)
,( 91, 140),( 92, 141),( 93, 142),( 96, 143)
,( 99, 216),( 101, 132),( 102, 133),( 103, 134)
,( 104, 135),( 105, 136),( 108, 138),( 109, 130)
,(-1,-3000)
-- state  146
,(-1,-78)
-- state  147
,(-1,-67)
-- state  148
,(-1,-68)

-- state  149
,( 18, 217),( 42, 131),( 89, 137),( 90, 139)
,( 91, 140),( 92, 141),( 93, 142),( 96, 143)
,( 101, 132),( 102, 133),( 103, 134),( 104, 135)
,( 105, 136),( 108, 138),( 109, 130),(-1,-3000)

-- state  150
,( 25, 218),( 42, 131),( 89, 137),( 90, 139)
,( 91, 140),( 92, 141),( 93, 142),( 96, 143)
,( 101, 132),( 102, 133),( 103, 134),( 104, 135)
,( 105, 136),( 108, 138),( 109, 130),(-1,-3000)

-- state  151
,( 14, 36),(-1,-3000)
-- state  152
,( 14, 36),(-1,-3000)

-- state  153
,( 14, 36),(-1,-3000)
-- state  154
,( 2, 101),( 4, 102)
,( 12, 107),( 13, 108),( 14, 36),( 15, 84)
,( 16, 85),( 17, 106),( 38, 91),( 39, 92)
,( 40, 86),( 43, 89),( 44, 95),( 45, 96)
,( 46, 88),( 47, 87),( 58, 97),( 59, 99)
,( 60, 100),( 61, 98),( 85, 83),( 90, 94)
,( 91, 93),( 107, 90),( 110, 82),(-1,-3000)

-- state  155
,( 42, 131),( 89, 137),( 90, 139),( 91, 140)
,( 92, 141),( 93, 142),( 96, 143),( 101, 132)
,( 102, 133),( 103, 134),( 104, 135),( 105, 136)
,( 108, 138),( 109, 130),(-1,-108)
-- state  156
,( 42, 131)
,( 86, 223),( 89, 137),( 90, 139),( 91, 140)
,( 92, 141),( 93, 142),( 96, 143),( 101, 132)
,( 102, 133),( 103, 134),( 104, 135),( 105, 136)
,( 108, 138),( 109, 130),(-1,-3000)
-- state  157
,( 2, 101)
,( 4, 102),( 12, 107),( 13, 108),( 14, 36)
,( 15, 84),( 16, 85),( 17, 106),( 38, 91)
,( 39, 92),( 40, 86),( 43, 89),( 44, 95)
,( 45, 96),( 46, 88),( 47, 87),( 58, 97)
,( 59, 99),( 60, 100),( 61, 98),( 85, 83)
,( 90, 94),( 91, 93),( 107, 90),( 110, 82)
,(-1,-3000)
-- state  158
,( 2, 101),( 4, 102),( 12, 107)
,( 13, 108),( 14, 36),( 15, 84),( 16, 85)
,( 17, 106),( 38, 91),( 39, 92),( 40, 86)
,( 43, 89),( 44, 95),( 45, 96),( 46, 88)
,( 47, 87),( 58, 97),( 59, 99),( 60, 100)
,( 61, 98),( 85, 83),( 90, 94),( 91, 93)
,( 107, 90),( 110, 82),(-1,-3000)
-- state  159
,( 2, 101)
,( 4, 102),( 12, 107),( 13, 108),( 14, 36)
,( 15, 84),( 16, 85),( 17, 106),( 38, 91)
,( 39, 92),( 40, 86),( 43, 89),( 44, 95)
,( 45, 96),( 46, 88),( 47, 87),( 58, 97)
,( 59, 99),( 60, 100),( 61, 98),( 85, 83)
,( 90, 94),( 91, 93),( 107, 90),( 110, 82)
,(-1,-3000)
-- state  160
,( 2, 101),( 4, 102),( 12, 107)
,( 13, 108),( 14, 36),( 15, 84),( 16, 85)
,( 17, 106),( 38, 91),( 39, 92),( 40, 86)
,( 43, 89),( 44, 95),( 45, 96),( 46, 88)
,( 47, 87),( 58, 97),( 59, 99),( 60, 100)
,( 61, 98),( 85, 83),( 90, 94),( 91, 93)
,( 107, 90),( 110, 82),(-1,-3000)
-- state  161
,( 2, 101)
,( 4, 102),( 12, 107),( 13, 108),( 14, 36)
,( 15, 84),( 16, 85),( 17, 106),( 38, 91)
,( 39, 92),( 40, 86),( 43, 89),( 44, 95)
,( 45, 96),( 46, 88),( 47, 87),( 58, 97)
,( 59, 99),( 60, 100),( 61, 98),( 85, 83)
,( 90, 94),( 91, 93),( 107, 90),( 110, 82)
,(-1,-3000)
-- state  162
,( 2, 101),( 4, 102),( 12, 107)
,( 13, 108),( 14, 36),( 15, 84),( 16, 85)
,( 17, 106),( 38, 91),( 39, 92),( 40, 86)
,( 43, 89),( 44, 95),( 45, 96),( 46, 88)
,( 47, 87),( 58, 97),( 59, 99),( 60, 100)
,( 61, 98),( 85, 83),( 90, 94),( 91, 93)
,( 107, 90),( 110, 82),(-1,-3000)
-- state  163
,( 2, 101)
,( 4, 102),( 12, 107),( 13, 108),( 14, 36)
,( 15, 84),( 16, 85),( 17, 106),( 38, 91)
,( 39, 92),( 40, 86),( 43, 89),( 44, 95)
,( 45, 96),( 46, 88),( 47, 87),( 58, 97)
,( 59, 99),( 60, 100),( 61, 98),( 85, 83)
,( 90, 94),( 91, 93),( 107, 90),( 110, 82)
,(-1,-3000)
-- state  164
,( 42, 131),( 96, 143),( 101, 132)
,( 102, 133),( 103, 134),( 104, 135),( 105, 136)
,( 108, 138),( 109, 130),(-1,-124)
-- state  165
,( 42, 131)
,( 96, 143),( 101, 132),( 102, 133),( 103, 134)
,( 104, 135),( 105, 136),( 108, 138),( 109, 130)
,(-1,-125)
-- state  166
,( 2, 101),( 4, 102),( 12, 107)
,( 13, 108),( 14, 36),( 15, 84),( 16, 85)
,( 17, 106),( 38, 91),( 39, 92),( 40, 86)
,( 43, 89),( 44, 95),( 45, 96),( 46, 88)
,( 47, 87),( 58, 97),( 59, 99),( 60, 100)
,( 61, 98),( 85, 83),( 90, 94),( 91, 93)
,( 107, 90),( 110, 82),(-1,-3000)
-- state  167
,( 2, 101)
,( 4, 102),( 12, 107),( 13, 108),( 14, 36)
,( 15, 84),( 16, 85),( 17, 106),( 38, 91)
,( 39, 92),( 40, 86),( 43, 89),( 44, 95)
,( 45, 96),( 46, 88),( 47, 87),( 58, 97)
,( 59, 99),( 60, 100),( 61, 98),( 85, 83)
,( 90, 94),( 91, 93),( 107, 90),( 110, 82)
,(-1,-3000)
-- state  168
,( 2, 101),( 4, 102),( 12, 107)
,( 13, 108),( 14, 36),( 15, 84),( 16, 85)
,( 17, 106),( 38, 91),( 39, 92),( 40, 86)
,( 43, 89),( 44, 95),( 45, 96),( 46, 88)
,( 47, 87),( 58, 97),( 59, 99),( 60, 100)
,( 61, 98),( 85, 83),( 90, 94),( 91, 93)
,( 107, 90),( 110, 82),(-1,-3000)
-- state  169
,( 2, 101)
,( 4, 102),( 12, 107),( 13, 108),( 14, 36)
,( 15, 84),( 16, 85),( 17, 106),( 38, 91)
,( 39, 92),( 40, 86),( 43, 89),( 44, 95)
,( 45, 96),( 46, 88),( 47, 87),( 58, 97)
,( 59, 99),( 60, 100),( 61, 98),( 85, 83)
,( 90, 94),( 91, 93),( 107, 90),( 110, 82)
,(-1,-3000)
-- state  170
,( 2, 101),( 4, 102),( 12, 107)
,( 13, 108),( 14, 36),( 15, 84),( 16, 85)
,( 17, 106),( 38, 91),( 39, 92),( 40, 86)
,( 43, 89),( 44, 95),( 45, 96),( 46, 88)
,( 47, 87),( 58, 97),( 59, 99),( 60, 100)
,( 61, 98),( 85, 83),( 90, 94),( 91, 93)
,( 107, 90),( 110, 82),(-1,-3000)
-- state  171
,( 2, 101)
,( 4, 102),( 12, 107),( 13, 108),( 14, 36)
,( 15, 84),( 16, 85),( 17, 106),( 38, 91)
,( 39, 92),( 40, 86),( 43, 89),( 44, 95)
,( 45, 96),( 46, 88),( 47, 87),( 58, 97)
,( 59, 99),( 60, 100),( 61, 98),( 85, 83)
,( 90, 94),( 91, 93),( 107, 90),( 110, 82)
,(-1,-3000)
-- state  172
,( 10, 237),( 11, 238),(-1,-3000)

-- state  173
,( 10, 239),( 11, 240),(-1,-3000)
-- state  174
,(-1,-21)

-- state  175
,(-1,-31)
-- state  176
,(-1,-29)
-- state  177
,(-1,-27)
-- state  178
,(-1,-15)

-- state  179
,(-1,-17)
-- state  180
,(-1,-19)
-- state  181
,(-1,-23)
-- state  182
,(-1,-25)

-- state  183
,( 14, 36),(-1,-3000)
-- state  184
,( 99, 242),(-1,-3000)

-- state  185
,(-1,-38)
-- state  186
,( 63, 244),( 64, 243),(-1,-3000)

-- state  187
,( 42, 131),( 89, 137),( 90, 139),( 91, 140)
,( 92, 141),( 93, 142),( 96, 143),( 100, 245)
,( 101, 132),( 102, 133),( 103, 134),( 104, 135)
,( 105, 136),( 108, 138),( 109, 130),(-1,-76)

-- state  188
,(-1,-61)
-- state  189
,(-1,-62)
-- state  190
,(-1,-79)
-- state  191
,( 85, 247)
,(-1,-3000)
-- state  192
,(-1,-81)
-- state  193
,(-1,-83)
-- state  194
,(-1,-85)

-- state  195
,(-1,-87)
-- state  196
,(-1,-90)
-- state  197
,( 106, 248),(-1,-98)

-- state  198
,( 42, 131),( 86, 250),( 89, 137),( 90, 139)
,( 91, 140),( 92, 141),( 93, 142),( 96, 143)
,( 101, 132),( 102, 133),( 103, 134),( 104, 135)
,( 105, 136),( 108, 138),( 109, 130),(-1,-3000)

-- state  199
,(-1,-64)
-- state  200
,( 42, 131),( 89, 137),( 90, 139)
,( 91, 140),( 92, 141),( 93, 142),( 96, 143)
,( 99, 251),( 101, 132),( 102, 133),( 103, 134)
,( 104, 135),( 105, 136),( 108, 138),( 109, 130)
,(-1,-3000)
-- state  201
,( 42, 131),( 89, 137),( 90, 139)
,( 91, 140),( 92, 141),( 93, 142),( 96, 143)
,( 101, 132),( 102, 133),( 103, 134),( 104, 135)
,( 105, 136),( 108, 138),( 109, 130),(-1,-99)

-- state  202
,( 42, 131),( 89, 137),( 90, 139),( 91, 140)
,( 92, 141),( 93, 142),( 96, 143),( 101, 132)
,( 102, 133),( 103, 134),( 104, 135),( 105, 136)
,( 108, 138),( 109, 130),(-1,-100)
-- state  203
,( 42, 131)
,( 89, 137),( 90, 139),( 91, 140),( 92, 141)
,( 93, 142),( 96, 143),( 101, 132),( 102, 133)
,( 103, 134),( 104, 135),( 105, 136),( 108, 138)
,( 109, 130),(-1,-101)
-- state  204
,( 42, 131),( 89, 137)
,( 90, 139),( 91, 140),( 92, 141),( 93, 142)
,( 96, 143),( 101, 132),( 102, 133),( 103, 134)
,( 104, 135),( 105, 136),( 108, 138),( 109, 130)
,(-1,-102)
-- state  205
,( 42, 131),( 89, 137),( 90, 139)
,( 91, 140),( 92, 141),( 93, 142),( 96, 143)
,( 101, 132),( 102, 133),( 103, 134),( 104, 135)
,( 105, 136),( 108, 138),( 109, 130),(-1,-103)

-- state  206
,( 42, 131),( 89, 137),( 90, 139),( 91, 140)
,( 92, 141),( 93, 142),( 96, 143),( 101, 132)
,( 102, 133),( 103, 134),( 104, 135),( 105, 136)
,( 108, 138),( 109, 130),(-1,-104)
-- state  207
,( 42, 131)
,( 89, 137),( 90, 139),( 91, 140),( 92, 141)
,( 93, 142),( 96, 143),( 101, 132),( 102, 133)
,( 103, 134),( 104, 135),( 105, 136),( 108, 138)
,( 109, 130),(-1,-105)
-- state  208
,( 42, 131),( 89, 137)
,( 90, 139),( 91, 140),( 92, 141),( 93, 142)
,( 96, 143),( 101, 132),( 102, 133),( 103, 134)
,( 104, 135),( 105, 136),( 108, 138),( 109, 130)
,(-1,-106)
-- state  209
,( 42, 131),( 89, 137),( 90, 139)
,( 91, 140),( 92, 141),( 93, 142),( 96, 143)
,( 101, 132),( 102, 133),( 103, 134),( 104, 135)
,( 105, 136),( 108, 138),( 109, 130),(-1,-107)

-- state  210
,( 42, 131),( 92, 141),( 93, 142),( 96, 143)
,( 101, 132),( 102, 133),( 103, 134),( 104, 135)
,( 105, 136),( 108, 138),( 109, 130),(-1,-112)

-- state  211
,( 42, 131),( 92, 141),( 93, 142),( 96, 143)
,( 101, 132),( 102, 133),( 103, 134),( 104, 135)
,( 105, 136),( 108, 138),( 109, 130),(-1,-113)

-- state  212
,( 42, 131),( 96, 143),( 101, 132),( 102, 133)
,( 103, 134),( 104, 135),( 105, 136),( 108, 138)
,( 109, 130),(-1,-114)
-- state  213
,( 42, 131),( 96, 143)
,( 101, 132),( 102, 133),( 103, 134),( 104, 135)
,( 105, 136),( 108, 138),( 109, 130),(-1,-115)

-- state  214
,( 42, 131),( 96,-3000),( 101, 132),( 102, 133)
,( 103, 134),( 104, 135),( 105, 136),( 108, 138)
,( 109, 130),(-1,-123)
-- state  215
,( 2, 101),( 4, 102)
,( 12, 107),( 13, 108),( 14, 36),( 15, 84)
,( 16, 85),( 17, 106),( 19, 76),( 23, 81)
,( 24, 77),( 37, 74),( 38, 91),( 39, 92)
,( 40, 86),( 41, 67),( 43, 89),( 44, 95)
,( 45, 96),( 46, 88),( 47, 87),( 51, 73)
,( 55, 80),( 56, 78),( 57, 79),( 58, 97)
,( 59, 99),( 60, 100),( 61, 98),( 62, 75)
,( 80, 71),( 81, 69),( 82, 68),( 85, 83)
,( 90, 94),( 91, 93),( 107, 90),( 110, 82)
,(-1,-59)
-- state  216
,(-1,-77)
-- state  217
,( 31, 254),( 32, 256)
,( 33, 258),( 34, 255),( 35, 259),( 36, 257)
,(-1,-3000)
-- state  218
,( 2, 101),( 4, 102),( 12, 107)
,( 13, 108),( 14, 36),( 15, 84),( 16, 85)
,( 17, 106),( 19, 76),( 23, 81),( 24, 77)
,( 37, 74),( 38, 91),( 39, 92),( 40, 86)
,( 41, 67),( 43, 89),( 44, 95),( 45, 96)
,( 46, 88),( 47, 87),( 51, 73),( 55, 80)
,( 56, 78),( 57, 79),( 58, 97),( 59, 99)
,( 60, 100),( 61, 98),( 62, 75),( 80, 71)
,( 81, 69),( 82, 68),( 85, 83),( 90, 94)
,( 91, 93),( 107, 90),( 110, 82),(-1,-59)

-- state  219
,( 100, 262),(-1,-3000)
-- state  220
,( 100, 263),(-1,-3000)

-- state  221
,( 100, 264),(-1,-3000)
-- state  222
,( 42, 131),( 89, 137)
,( 90, 139),( 91, 140),( 92, 141),( 93, 142)
,( 96, 143),( 99, 265),( 101, 132),( 102, 133)
,( 103, 134),( 104, 135),( 105, 136),( 108, 138)
,( 109, 130),(-1,-3000)
-- state  223
,(-1,-109)
-- state  224
,( 42, 131)
,( 89, 137),( 90, 139),( 91, 140),( 92, 141)
,( 93, 142),( 96, 143),( 100, 266),( 101, 132)
,( 102, 133),( 103, 134),( 104, 135),( 105, 136)
,( 108, 138),( 109, 130),(-1,-3000)
-- state  225
,( 42, 131)
,( 86, 267),( 89, 137),( 90, 139),( 91, 140)
,( 92, 141),( 93, 142),( 96, 143),( 101, 132)
,( 102, 133),( 103, 134),( 104, 135),( 105, 136)
,( 108, 138),( 109, 130),(-1,-3000)
-- state  226
,( 42, 131)
,( 86, 268),( 89, 137),( 90, 139),( 91, 140)
,( 92, 141),( 93, 142),( 96, 143),( 101, 132)
,( 102, 133),( 103, 134),( 104, 135),( 105, 136)
,( 108, 138),( 109, 130),(-1,-3000)
-- state  227
,( 42, 131)
,( 86, 269),( 89, 137),( 90, 139),( 91, 140)
,( 92, 141),( 93, 142),( 96, 143),( 101, 132)
,( 102, 133),( 103, 134),( 104, 135),( 105, 136)
,( 108, 138),( 109, 130),(-1,-3000)
-- state  228
,( 42, 131)
,( 89, 137),( 90, 139),( 91, 140),( 92, 141)
,( 93, 142),( 96, 143),( 100, 270),( 101, 132)
,( 102, 133),( 103, 134),( 104, 135),( 105, 136)
,( 108, 138),( 109, 130),(-1,-3000)
-- state  229
,( 42, 131)
,( 89, 137),( 90, 139),( 91, 140),( 92, 141)
,( 93, 142),( 96, 143),( 100, 271),( 101, 132)
,( 102, 133),( 103, 134),( 104, 135),( 105, 136)
,( 108, 138),( 109, 130),(-1,-3000)
-- state  230
,( 42, 131)
,( 89, 137),( 90, 139),( 91, 140),( 92, 141)
,( 93, 142),( 96, 143),( 100, 272),( 101, 132)
,( 102, 133),( 103, 134),( 104, 135),( 105, 136)
,( 108, 138),( 109, 130),(-1,-3000)
-- state  231
,( 42, 131)
,( 86, 273),( 89, 137),( 90, 139),( 91, 140)
,( 92, 141),( 93, 142),( 96, 143),( 101, 132)
,( 102, 133),( 103, 134),( 104, 135),( 105, 136)
,( 108, 138),( 109, 130),(-1,-3000)
-- state  232
,( 42, 131)
,( 86, 274),( 89, 137),( 90, 139),( 91, 140)
,( 92, 141),( 93, 142),( 96, 143),( 101, 132)
,( 102, 133),( 103, 134),( 104, 135),( 105, 136)
,( 108, 138),( 109, 130),(-1,-3000)
-- state  233
,( 42, 131)
,( 86, 275),( 89, 137),( 90, 139),( 91, 140)
,( 92, 141),( 93, 142),( 96, 143),( 101, 132)
,( 102, 133),( 103, 134),( 104, 135),( 105, 136)
,( 108, 138),( 109, 130),(-1,-3000)
-- state  234
,( 42, 131)
,( 86, 276),( 89, 137),( 90, 139),( 91, 140)
,( 92, 141),( 93, 142),( 96, 143),( 101, 132)
,( 102, 133),( 103, 134),( 104, 135),( 105, 136)
,( 108, 138),( 109, 130),(-1,-3000)
-- state  235
,( 42, 131)
,( 86, 277),( 89, 137),( 90, 139),( 91, 140)
,( 92, 141),( 93, 142),( 96, 143),( 101, 132)
,( 102, 133),( 103, 134),( 104, 135),( 105, 136)
,( 108, 138),( 109, 130),(-1,-3000)
-- state  236
,( 42, 131)
,( 86, 278),( 89, 137),( 90, 139),( 91, 140)
,( 92, 141),( 93, 142),( 96, 143),( 101, 132)
,( 102, 133),( 103, 134),( 104, 135),( 105, 136)
,( 108, 138),( 109, 130),(-1,-3000)
-- state  237
,(-1,-132)

-- state  238
,(-1,-133)
-- state  239
,(-1,-134)
-- state  240
,(-1,-135)
-- state  241
,( 77, 279)
,(-1,-3000)
-- state  242
,(-1,-33)
-- state  243
,( 99, 280),(-1,-3000)

-- state  244
,( 99, 281),(-1,-3000)
-- state  245
,( 2, 101),( 4, 102)
,( 12, 107),( 13, 108),( 14, 36),( 15, 84)
,( 16, 85),( 17, 106),( 38, 91),( 39, 92)
,( 40, 86),( 43, 89),( 44, 95),( 45, 96)
,( 46, 88),( 47, 87),( 58, 97),( 59, 99)
,( 60, 100),( 61, 98),( 85, 83),( 90, 94)
,( 91, 93),( 107, 90),( 110, 82),(-1,-3000)

-- state  246
,( 100, 245),(-1,-76)
-- state  247
,( 31, 254),( 32, 256)
,( 33, 258),( 34, 255),( 35, 259),( 36, 257)
,(-1,-3000)
-- state  248
,( 2, 101),( 4, 102),( 12, 107)
,( 13, 108),( 14, 36),( 15, 84),( 16, 85)
,( 17, 106),( 38, 91),( 39, 92),( 40, 86)
,( 43, 89),( 44, 95),( 45, 96),( 46, 88)
,( 47, 87),( 58, 97),( 59, 99),( 60, 100)
,( 61, 98),( 85, 83),( 90, 94),( 91, 93)
,( 107, 90),( 110, 82),(-1,-3000)
-- state  249
,( 99, 286)
,(-1,-3000)
-- state  250
,(-1,-136)
-- state  251
,(-1,-65)
-- state  252
,( 2, 101)
,( 4, 102),( 12, 107),( 13, 108),( 14, 36)
,( 15, 84),( 16, 85),( 17, 106),( 19, 76)
,( 23, 81),( 24, 77),( 37, 74),( 38, 91)
,( 39, 92),( 40, 86),( 41, 67),( 43, 89)
,( 44, 95),( 45, 96),( 46, 88),( 47, 87)
,( 51, 73),( 55, 80),( 56, 78),( 57, 79)
,( 58, 97),( 59, 99),( 60, 100),( 61, 98)
,( 62, 75),( 80, 71),( 81, 69),( 82, 68)
,( 85, 83),( 90, 94),( 91, 93),( 107, 90)
,( 110, 82),(-1,-58)
-- state  253
,( 50, 288),( 52, 289)
,(-1,-3000)
-- state  254
,(-1,-91)
-- state  255
,(-1,-92)
-- state  256
,(-1,-93)

-- state  257
,(-1,-94)
-- state  258
,(-1,-95)
-- state  259
,(-1,-96)
-- state  260
,( 25, 291)
,(-1,-3000)
-- state  261
,( 53, 292),(-1,-3000)
-- state  262
,( 2, 101)
,( 4, 102),( 12, 107),( 13, 108),( 14, 36)
,( 15, 84),( 16, 85),( 17, 106),( 38, 91)
,( 39, 92),( 40, 86),( 43, 89),( 44, 95)
,( 45, 96),( 46, 88),( 47, 87),( 58, 97)
,( 59, 99),( 60, 100),( 61, 98),( 85, 83)
,( 90, 94),( 91, 93),( 107, 90),( 110, 82)
,(-1,-3000)
-- state  263
,( 2, 101),( 4, 102),( 12, 107)
,( 13, 108),( 14, 36),( 15, 84),( 16, 85)
,( 17, 106),( 38, 91),( 39, 92),( 40, 86)
,( 43, 89),( 44, 95),( 45, 96),( 46, 88)
,( 47, 87),( 58, 97),( 59, 99),( 60, 100)
,( 61, 98),( 85, 83),( 90, 94),( 91, 93)
,( 107, 90),( 110, 82),(-1,-3000)
-- state  264
,( 2, 101)
,( 4, 102),( 12, 107),( 13, 108),( 14, 36)
,( 15, 84),( 16, 85),( 17, 106),( 38, 91)
,( 39, 92),( 40, 86),( 43, 89),( 44, 95)
,( 45, 96),( 46, 88),( 47, 87),( 58, 97)
,( 59, 99),( 60, 100),( 61, 98),( 85, 83)
,( 90, 94),( 91, 93),( 107, 90),( 110, 82)
,(-1,-3000)
-- state  265
,(-1,-74)
-- state  266
,( 2, 101),( 4, 102)
,( 12, 107),( 13, 108),( 14, 36),( 15, 84)
,( 16, 85),( 17, 106),( 38, 91),( 39, 92)
,( 40, 86),( 43, 89),( 44, 95),( 45, 96)
,( 46, 88),( 47, 87),( 58, 97),( 59, 99)
,( 60, 100),( 61, 98),( 85, 83),( 90, 94)
,( 91, 93),( 107, 90),( 110, 82),(-1,-3000)

-- state  267
,(-1,-117)
-- state  268
,(-1,-118)
-- state  269
,(-1,-119)
-- state  270
,( 2, 101)
,( 4, 102),( 12, 107),( 13, 108),( 14, 36)
,( 15, 84),( 16, 85),( 17, 106),( 38, 91)
,( 39, 92),( 40, 86),( 43, 89),( 44, 95)
,( 45, 96),( 46, 88),( 47, 87),( 58, 97)
,( 59, 99),( 60, 100),( 61, 98),( 85, 83)
,( 90, 94),( 91, 93),( 107, 90),( 110, 82)
,(-1,-3000)
-- state  271
,( 2, 101),( 4, 102),( 12, 107)
,( 13, 108),( 14, 36),( 15, 84),( 16, 85)
,( 17, 106),( 38, 91),( 39, 92),( 40, 86)
,( 43, 89),( 44, 95),( 45, 96),( 46, 88)
,( 47, 87),( 58, 97),( 59, 99),( 60, 100)
,( 61, 98),( 85, 83),( 90, 94),( 91, 93)
,( 107, 90),( 110, 82),(-1,-3000)
-- state  272
,( 2, 101)
,( 4, 102),( 12, 107),( 13, 108),( 14, 36)
,( 15, 84),( 16, 85),( 17, 106),( 38, 91)
,( 39, 92),( 40, 86),( 43, 89),( 44, 95)
,( 45, 96),( 46, 88),( 47, 87),( 58, 97)
,( 59, 99),( 60, 100),( 61, 98),( 85, 83)
,( 90, 94),( 91, 93),( 107, 90),( 110, 82)
,(-1,-3000)
-- state  273
,(-1,-126)
-- state  274
,(-1,-127)
-- state  275
,(-1,-128)

-- state  276
,(-1,-129)
-- state  277
,(-1,-130)
-- state  278
,(-1,-131)
-- state  279
,( 83, 300)
,(-1,-3000)
-- state  280
,(-1,-40)
-- state  281
,(-1,-41)
-- state  282
,( 42, 131)
,( 89, 137),( 90, 139),( 91, 140),( 92, 141)
,( 93, 142),( 96, 143),( 101, 132),( 102, 133)
,( 103, 134),( 104, 135),( 105, 136),( 108, 138)
,( 109, 130),(-1,-75)
-- state  283
,( 86, 301),(-1,-3000)

-- state  284
,( 86, 302),(-1,-3000)
-- state  285
,( 42, 131),( 89, 137)
,( 90, 139),( 91, 140),( 92, 141),( 93, 142)
,( 96, 143),( 101, 132),( 102, 133),( 103, 134)
,( 104, 135),( 105, 136),( 108, 138),( 109, 130)
,(-1,-97)
-- state  286
,(-1,-63)
-- state  287
,(-1,-57)
-- state  288
,( 2, 101)
,( 4, 102),( 12, 107),( 13, 108),( 14, 36)
,( 15, 84),( 16, 85),( 17, 106),( 19, 76)
,( 23, 81),( 24, 77),( 37, 74),( 38, 91)
,( 39, 92),( 40, 86),( 41, 67),( 43, 89)
,( 44, 95),( 45, 96),( 46, 88),( 47, 87)
,( 51, 73),( 55, 80),( 56, 78),( 57, 79)
,( 58, 97),( 59, 99),( 60, 100),( 61, 98)
,( 62, 75),( 80, 71),( 81, 69),( 82, 68)
,( 85, 83),( 90, 94),( 91, 93),( 107, 90)
,( 110, 82),(-1,-56)
-- state  289
,( 99, 305),(-1,-3000)

-- state  290
,(-1,-66)
-- state  291
,( 2, 101),( 4, 102),( 12, 107)
,( 13, 108),( 14, 36),( 15, 84),( 16, 85)
,( 17, 106),( 19, 76),( 23, 81),( 24, 77)
,( 37, 74),( 38, 91),( 39, 92),( 40, 86)
,( 41, 67),( 43, 89),( 44, 95),( 45, 96)
,( 46, 88),( 47, 87),( 51, 73),( 55, 80)
,( 56, 78),( 57, 79),( 58, 97),( 59, 99)
,( 60, 100),( 61, 98),( 62, 75),( 80, 71)
,( 81, 69),( 82, 68),( 85, 83),( 90, 94)
,( 91, 93),( 107, 90),( 110, 82),(-1,-59)

-- state  292
,( 99, 307),(-1,-3000)
-- state  293
,( 42, 131),( 86, 308)
,( 89, 137),( 90, 139),( 91, 140),( 92, 141)
,( 93, 142),( 96, 143),( 101, 132),( 102, 133)
,( 103, 134),( 104, 135),( 105, 136),( 108, 138)
,( 109, 130),(-1,-3000)
-- state  294
,( 42, 131),( 89, 137)
,( 90, 139),( 91, 140),( 92, 141),( 93, 142)
,( 96, 143),( 100, 309),( 101, 132),( 102, 133)
,( 103, 134),( 104, 135),( 105, 136),( 108, 138)
,( 109, 130),(-1,-3000)
-- state  295
,( 42, 131),( 89, 137)
,( 90, 139),( 91, 140),( 92, 141),( 93, 142)
,( 96, 143),( 100, 310),( 101, 132),( 102, 133)
,( 103, 134),( 104, 135),( 105, 136),( 108, 138)
,( 109, 130),(-1,-3000)
-- state  296
,( 42, 131),( 86, 311)
,( 89, 137),( 90, 139),( 91, 140),( 92, 141)
,( 93, 142),( 96, 143),( 101, 132),( 102, 133)
,( 103, 134),( 104, 135),( 105, 136),( 108, 138)
,( 109, 130),(-1,-3000)
-- state  297
,( 42, 131),( 86, 312)
,( 89, 137),( 90, 139),( 91, 140),( 92, 141)
,( 93, 142),( 96, 143),( 101, 132),( 102, 133)
,( 103, 134),( 104, 135),( 105, 136),( 108, 138)
,( 109, 130),(-1,-3000)
-- state  298
,( 42, 131),( 86, 313)
,( 89, 137),( 90, 139),( 91, 140),( 92, 141)
,( 93, 142),( 96, 143),( 101, 132),( 102, 133)
,( 103, 134),( 104, 135),( 105, 136),( 108, 138)
,( 109, 130),(-1,-3000)
-- state  299
,( 42, 131),( 86, 314)
,( 89, 137),( 90, 139),( 91, 140),( 92, 141)
,( 93, 142),( 96, 143),( 101, 132),( 102, 133)
,( 103, 134),( 104, 135),( 105, 136),( 108, 138)
,( 109, 130),(-1,-3000)
-- state  300
,( 2, 101),( 4, 102)
,( 12, 107),( 13, 108),( 14, 36),( 15, 84)
,( 16, 85),( 17, 106),( 38, 91),( 39, 92)
,( 40, 86),( 43, 89),( 44, 95),( 45, 96)
,( 46, 88),( 47, 87),( 58, 97),( 59, 99)
,( 60, 100),( 61, 98),( 85, 83),( 90, 94)
,( 91, 93),( 107, 90),( 110, 82),(-1,-43)

-- state  301
,( 99, 317),(-1,-3000)
-- state  302
,( 9, 318),(-1,-3000)

-- state  303
,( 2, 101),( 4, 102),( 12, 107),( 13, 108)
,( 14, 36),( 15, 84),( 16, 85),( 17, 106)
,( 19, 76),( 23, 81),( 24, 77),( 37, 74)
,( 38, 91),( 39, 92),( 40, 86),( 41, 67)
,( 43, 89),( 44, 95),( 45, 96),( 46, 88)
,( 47, 87),( 51, 73),( 55, 80),( 56, 78)
,( 57, 79),( 58, 97),( 59, 99),( 60, 100)
,( 61, 98),( 62, 75),( 80, 71),( 81, 69)
,( 82, 68),( 85, 83),( 90, 94),( 91, 93)
,( 107, 90),( 110, 82),(-1,-55)
-- state  304
,( 52, 320)
,(-1,-3000)
-- state  305
,(-1,-53)
-- state  306
,( 53, 321),(-1,-3000)

-- state  307
,(-1,-70)
-- state  308
,( 99, 322),(-1,-3000)
-- state  309
,( 2, 101)
,( 4, 102),( 12, 107),( 13, 108),( 14, 36)
,( 15, 84),( 16, 85),( 17, 106),( 38, 91)
,( 39, 92),( 40, 86),( 43, 89),( 44, 95)
,( 45, 96),( 46, 88),( 47, 87),( 58, 97)
,( 59, 99),( 60, 100),( 61, 98),( 85, 83)
,( 90, 94),( 91, 93),( 107, 90),( 110, 82)
,(-1,-3000)
-- state  310
,( 2, 101),( 4, 102),( 12, 107)
,( 13, 108),( 14, 36),( 15, 84),( 16, 85)
,( 17, 106),( 38, 91),( 39, 92),( 40, 86)
,( 43, 89),( 44, 95),( 45, 96),( 46, 88)
,( 47, 87),( 58, 97),( 59, 99),( 60, 100)
,( 61, 98),( 85, 83),( 90, 94),( 91, 93)
,( 107, 90),( 110, 82),(-1,-3000)
-- state  311
,(-1,-116)

-- state  312
,(-1,-120)
-- state  313
,(-1,-121)
-- state  314
,(-1,-122)
-- state  315
,( 42, 131)
,( 89, 137),( 90, 139),( 91, 140),( 92, 141)
,( 93, 142),( 96, 143),( 101, 132),( 102, 133)
,( 103, 134),( 104, 135),( 105, 136),( 108, 138)
,( 109, 130),(-1,-42)
-- state  316
,( 100, 325),(-1,-3000)

-- state  317
,(-1,-60)
-- state  318
,( 2, 326),( 4, 327),( 6, 331)
,( 7, 328),( 8, 330),( 54, 329),(-1,-3000)

-- state  319
,(-1,-54)
-- state  320
,( 99, 332),(-1,-3000)
-- state  321
,( 99, 333)
,(-1,-3000)
-- state  322
,(-1,-71)
-- state  323
,( 42, 131),( 86, 334)
,( 89, 137),( 90, 139),( 91, 140),( 92, 141)
,( 93, 142),( 96, 143),( 101, 132),( 102, 133)
,( 103, 134),( 104, 135),( 105, 136),( 108, 138)
,( 109, 130),(-1,-3000)
-- state  324
,( 42, 131),( 86, 335)
,( 89, 137),( 90, 139),( 91, 140),( 92, 141)
,( 93, 142),( 96, 143),( 101, 132),( 102, 133)
,( 103, 134),( 104, 135),( 105, 136),( 108, 138)
,( 109, 130),(-1,-3000)
-- state  325
,( 2, 101),( 4, 102)
,( 12, 107),( 13, 108),( 14, 36),( 15, 84)
,( 16, 85),( 17, 106),( 19, 76),( 23, 81)
,( 24, 77),( 37, 74),( 38, 91),( 39, 92)
,( 40, 86),( 41, 67),( 43, 89),( 44, 95)
,( 45, 96),( 46, 88),( 47, 87),( 51, 73)
,( 55, 80),( 56, 78),( 57, 79),( 58, 97)
,( 59, 99),( 60, 100),( 61, 98),( 62, 75)
,( 80, 71),( 81, 69),( 82, 68),( 85, 83)
,( 90, 94),( 91, 93),( 107, 90),( 110, 82)
,(-1,-45)
-- state  326
,(-1,-80)
-- state  327
,(-1,-82)
-- state  328
,(-1,-84)

-- state  329
,(-1,-86)
-- state  330
,(-1,-88)
-- state  331
,(-1,-89)
-- state  332
,(-1,-52)

-- state  333
,(-1,-69)
-- state  334
,( 99, 338),(-1,-3000)
-- state  335
,( 99, 339)
,(-1,-3000)
-- state  336
,(-1,-44)
-- state  337
,( 100, 340),(-1,-3000)

-- state  338
,(-1,-72)
-- state  339
,(-1,-73)
-- state  340
,( 14, 36),(-1,-48)

-- state  341
,( 78, 343),( 79, 344),(-1,-3000)
-- state  342
,( 84, 345)
,(-1,-3000)
-- state  343
,(-1,-46)
-- state  344
,(-1,-47)
-- state  345
,( 77, 346)
,(-1,-3000)
-- state  346
,( 14, 36),(-1,-3000)
-- state  347
,( 99, 348)
,(-1,-3000)
-- state  348
,(-1,-49)
);
--  The offset vector
SHIFT_REDUCE_OFFSET : array (0.. 348) of Integer :=
( 0,
 1, 12, 14, 15, 16, 17, 18, 19, 20, 21,
 22, 23, 24, 26, 28, 30, 32, 34, 36, 38,
 40, 42, 44, 45, 46, 48, 50, 52, 54, 56,
 58, 60, 62, 64, 66, 67, 68, 70, 72, 74,
 76, 78, 80, 82, 84, 86, 88, 89, 90, 91,
 92, 93, 94, 95, 96, 97, 98, 138, 178, 218,
 258, 298, 338, 378, 418, 458, 460, 462, 464, 466,
 469, 495, 511, 537, 564, 566, 592, 618, 620, 622,
 624, 626, 652, 678, 679, 680, 682, 684, 686, 688,
 690, 692, 694, 720, 746, 748, 750, 752, 754, 756,
 758, 760, 762, 763, 764, 765, 766, 767, 768, 770,
 771, 773, 775, 777, 779, 781, 783, 785, 787, 790,
 792, 793, 819, 821, 823, 831, 857, 873, 875, 901,
 927, 953, 979, 1005, 1031, 1057, 1083, 1109, 1135, 1161,
 1187, 1213, 1239, 1265, 1281, 1297, 1298, 1299, 1300, 1316,
 1332, 1334, 1336, 1338, 1364, 1379, 1395, 1421, 1447, 1473,
 1499, 1525, 1551, 1577, 1587, 1597, 1623, 1649, 1675, 1701,
 1727, 1753, 1756, 1759, 1760, 1761, 1762, 1763, 1764, 1765,
 1766, 1767, 1768, 1770, 1772, 1773, 1776, 1792, 1793, 1794,
 1795, 1797, 1798, 1799, 1800, 1801, 1802, 1804, 1820, 1821,
 1837, 1852, 1867, 1882, 1897, 1912, 1927, 1942, 1957, 1972,
 1984, 1996, 2006, 2016, 2026, 2065, 2066, 2073, 2112, 2114,
 2116, 2118, 2134, 2135, 2151, 2167, 2183, 2199, 2215, 2231,
 2247, 2263, 2279, 2295, 2311, 2327, 2343, 2344, 2345, 2346,
 2347, 2349, 2350, 2352, 2354, 2380, 2382, 2389, 2415, 2417,
 2418, 2419, 2458, 2461, 2462, 2463, 2464, 2465, 2466, 2467,
 2469, 2471, 2497, 2523, 2549, 2550, 2576, 2577, 2578, 2579,
 2605, 2631, 2657, 2658, 2659, 2660, 2661, 2662, 2663, 2665,
 2666, 2667, 2682, 2684, 2686, 2701, 2702, 2703, 2742, 2744,
 2745, 2784, 2786, 2802, 2818, 2834, 2850, 2866, 2882, 2898,
 2924, 2926, 2928, 2967, 2969, 2970, 2972, 2973, 2975, 3001,
 3027, 3028, 3029, 3030, 3031, 3046, 3048, 3049, 3056, 3057,
 3059, 3061, 3062, 3078, 3094, 3133, 3134, 3135, 3136, 3137,
 3138, 3139, 3140, 3141, 3143, 3145, 3146, 3148, 3149, 3150,
 3152, 3155, 3157, 3158, 3159, 3161, 3163, 3165);
end Scheduler_Shift_Reduce;