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
,( 64,-32),( 65,-22),( 66,-24)
,( 67,-20),( 68,-30),( 69,-28),( 70,-26)
,( 71,-14),( 72,-16),( 73,-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
,( 67, 25),(-1,-3000)
-- state  14
,( 68, 26),(-1,-3000)

-- state  15
,( 69, 27),(-1,-3000)
-- state  16
,( 70, 28),(-1,-3000)

-- state  17
,( 71, 29),(-1,-3000)
-- state  18
,( 72, 30),(-1,-3000)

-- state  19
,( 73, 31),(-1,-3000)
-- state  20
,( 65, 32),(-1,-3000)

-- state  21
,( 66, 33),(-1,-3000)
-- state  22
,( 64, 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,-137)

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

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

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

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

-- state  45
,( 93, 55),(-1,-3000)
-- state  46
,( 93, 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, 97),( 4, 98)
,( 12, 103),( 13, 104),( 14, 36),( 15, 82)
,( 16, 83),( 17, 102),( 19, 74),( 23, 79)
,( 24, 75),( 37, 72),( 38, 87),( 39, 88)
,( 40, 84),( 41, 67),( 43, 85),( 44, 91)
,( 45, 92),( 49, 71),( 53, 78),( 54, 76)
,( 55, 77),( 56, 93),( 57, 95),( 58, 96)
,( 59, 94),( 60, 73),( 63, 105),( 78, 69)
,( 81, 81),( 86, 90),( 87, 89),( 103, 86)
,( 106, 80),(-1,-3000)
-- state  58
,( 2, 97),( 4, 98)
,( 12, 103),( 13, 104),( 14, 36),( 15, 82)
,( 16, 83),( 17, 102),( 19, 74),( 23, 79)
,( 24, 75),( 37, 72),( 38, 87),( 39, 88)
,( 40, 84),( 41, 67),( 43, 85),( 44, 91)
,( 45, 92),( 49, 71),( 53, 78),( 54, 76)
,( 55, 77),( 56, 93),( 57, 95),( 58, 96)
,( 59, 94),( 60, 73),( 63, 107),( 78, 69)
,( 81, 81),( 86, 90),( 87, 89),( 103, 86)
,( 106, 80),(-1,-3000)
-- state  59
,( 2, 97),( 4, 98)
,( 12, 103),( 13, 104),( 14, 36),( 15, 82)
,( 16, 83),( 17, 102),( 19, 74),( 23, 79)
,( 24, 75),( 37, 72),( 38, 87),( 39, 88)
,( 40, 84),( 41, 67),( 43, 85),( 44, 91)
,( 45, 92),( 49, 71),( 53, 78),( 54, 76)
,( 55, 77),( 56, 93),( 57, 95),( 58, 96)
,( 59, 94),( 60, 73),( 63, 108),( 78, 69)
,( 81, 81),( 86, 90),( 87, 89),( 103, 86)
,( 106, 80),(-1,-3000)
-- state  60
,( 2, 97),( 4, 98)
,( 12, 103),( 13, 104),( 14, 36),( 15, 82)
,( 16, 83),( 17, 102),( 19, 74),( 23, 79)
,( 24, 75),( 37, 72),( 38, 87),( 39, 88)
,( 40, 84),( 41, 67),( 43, 85),( 44, 91)
,( 45, 92),( 49, 71),( 53, 78),( 54, 76)
,( 55, 77),( 56, 93),( 57, 95),( 58, 96)
,( 59, 94),( 60, 73),( 63, 109),( 78, 69)
,( 81, 81),( 86, 90),( 87, 89),( 103, 86)
,( 106, 80),(-1,-3000)
-- state  61
,( 2, 97),( 4, 98)
,( 12, 103),( 13, 104),( 14, 36),( 15, 82)
,( 16, 83),( 17, 102),( 19, 74),( 23, 79)
,( 24, 75),( 37, 72),( 38, 87),( 39, 88)
,( 40, 84),( 41, 67),( 43, 85),( 44, 91)
,( 45, 92),( 49, 71),( 53, 78),( 54, 76)
,( 55, 77),( 56, 93),( 57, 95),( 58, 96)
,( 59, 94),( 60, 73),( 63, 110),( 78, 69)
,( 81, 81),( 86, 90),( 87, 89),( 103, 86)
,( 106, 80),(-1,-3000)
-- state  62
,( 2, 97),( 4, 98)
,( 12, 103),( 13, 104),( 14, 36),( 15, 82)
,( 16, 83),( 17, 102),( 19, 74),( 23, 79)
,( 24, 75),( 37, 72),( 38, 87),( 39, 88)
,( 40, 84),( 41, 67),( 43, 85),( 44, 91)
,( 45, 92),( 49, 71),( 53, 78),( 54, 76)
,( 55, 77),( 56, 93),( 57, 95),( 58, 96)
,( 59, 94),( 60, 73),( 63, 111),( 78, 69)
,( 81, 81),( 86, 90),( 87, 89),( 103, 86)
,( 106, 80),(-1,-3000)
-- state  63
,( 2, 97),( 4, 98)
,( 12, 103),( 13, 104),( 14, 36),( 15, 82)
,( 16, 83),( 17, 102),( 19, 74),( 23, 79)
,( 24, 75),( 37, 72),( 38, 87),( 39, 88)
,( 40, 84),( 41, 67),( 43, 85),( 44, 91)
,( 45, 92),( 49, 71),( 53, 78),( 54, 76)
,( 55, 77),( 56, 93),( 57, 95),( 58, 96)
,( 59, 94),( 60, 73),( 63, 112),( 78, 69)
,( 81, 81),( 86, 90),( 87, 89),( 103, 86)
,( 106, 80),(-1,-3000)
-- state  64
,( 2, 97),( 4, 98)
,( 12, 103),( 13, 104),( 14, 36),( 15, 82)
,( 16, 83),( 17, 102),( 19, 74),( 23, 79)
,( 24, 75),( 37, 72),( 38, 87),( 39, 88)
,( 40, 84),( 41, 67),( 43, 85),( 44, 91)
,( 45, 92),( 49, 71),( 53, 78),( 54, 76)
,( 55, 77),( 56, 93),( 57, 95),( 58, 96)
,( 59, 94),( 60, 73),( 63, 113),( 78, 69)
,( 81, 81),( 86, 90),( 87, 89),( 103, 86)
,( 106, 80),(-1,-3000)
-- state  65
,( 2, 97),( 4, 98)
,( 12, 103),( 13, 104),( 14, 36),( 15, 82)
,( 16, 83),( 17, 102),( 19, 74),( 23, 79)
,( 24, 75),( 37, 72),( 38, 87),( 39, 88)
,( 40, 84),( 41, 67),( 43, 85),( 44, 91)
,( 45, 92),( 49, 71),( 53, 78),( 54, 76)
,( 55, 77),( 56, 93),( 57, 95),( 58, 96)
,( 59, 94),( 60, 73),( 63, 114),( 78, 69)
,( 81, 81),( 86, 90),( 87, 89),( 103, 86)
,( 106, 80),(-1,-3000)
-- state  66
,( 14, 36),(-1,-39)

-- state  67
,( 81, 118),(-1,-3000)
-- state  68
,( 81, 120),( 93, 119)
,(-1,-133)
-- state  69
,( 2, 97),( 4, 98),( 12, 103)
,( 13, 104),( 14, 36),( 15, 82),( 16, 83)
,( 17, 102),( 38, 87),( 39, 88),( 40, 84)
,( 43, 85),( 44, 91),( 45, 92),( 56, 93)
,( 57, 95),( 58, 96),( 59, 94),( 81, 81)
,( 86, 90),( 87, 89),( 103, 86),( 106, 80)
,(-1,-3000)
-- state  70
,( 42, 125),( 85, 131),( 86, 133)
,( 87, 134),( 88, 135),( 89, 136),( 92, 137)
,( 97, 126),( 98, 127),( 99, 128),( 100, 129)
,( 101, 130),( 102, 123),( 104, 132),( 105, 124)
,(-1,-3000)
-- state  71
,( 2, 97),( 4, 98),( 12, 103)
,( 13, 104),( 14, 36),( 15, 82),( 16, 83)
,( 17, 102),( 38, 87),( 39, 88),( 40, 84)
,( 43, 85),( 44, 91),( 45, 92),( 56, 93)
,( 57, 95),( 58, 96),( 59, 94),( 81, 81)
,( 86, 90),( 87, 89),( 103, 86),( 106, 80)
,(-1,-3000)
-- state  72
,( 2, 97),( 4, 98),( 12, 103)
,( 13, 104),( 14, 36),( 15, 82),( 16, 83)
,( 17, 102),( 38, 87),( 39, 88),( 40, 84)
,( 43, 85),( 44, 91),( 45, 92),( 56, 93)
,( 57, 95),( 58, 96),( 59, 94),( 81, 81)
,( 86, 90),( 87, 89),( 95, 140),( 103, 86)
,( 106, 80),(-1,-3000)
-- state  73
,( 95, 142),(-1,-3000)

-- state  74
,( 2, 97),( 4, 98),( 12, 103),( 13, 104)
,( 14, 36),( 15, 82),( 16, 83),( 17, 102)
,( 38, 87),( 39, 88),( 40, 84),( 43, 85)
,( 44, 91),( 45, 92),( 56, 93),( 57, 95)
,( 58, 96),( 59, 94),( 81, 81),( 86, 90)
,( 87, 89),( 103, 86),( 106, 80),(-1,-3000)

-- state  75
,( 2, 97),( 4, 98),( 12, 103),( 13, 104)
,( 14, 36),( 15, 82),( 16, 83),( 17, 102)
,( 38, 87),( 39, 88),( 40, 84),( 43, 85)
,( 44, 91),( 45, 92),( 56, 93),( 57, 95)
,( 58, 96),( 59, 94),( 81, 81),( 86, 90)
,( 87, 89),( 103, 86),( 106, 80),(-1,-3000)

-- state  76
,( 81, 145),(-1,-3000)
-- state  77
,( 81, 146),(-1,-3000)

-- state  78
,( 81, 147),(-1,-3000)
-- state  79
,( 14, 36),(-1,-3000)

-- state  80
,( 2, 97),( 4, 98),( 12, 103),( 13, 104)
,( 14, 36),( 15, 82),( 16, 83),( 17, 102)
,( 38, 87),( 39, 88),( 40, 84),( 43, 85)
,( 44, 91),( 45, 92),( 56, 93),( 57, 95)
,( 58, 96),( 59, 94),( 81, 81),( 86, 90)
,( 87, 89),( 103, 86),( 106, 80),(-1,-3000)

-- state  81
,( 2, 97),( 4, 98),( 12, 103),( 13, 104)
,( 14, 36),( 15, 82),( 16, 83),( 17, 102)
,( 38, 87),( 39, 88),( 40, 84),( 43, 85)
,( 44, 91),( 45, 92),( 56, 93),( 57, 95)
,( 58, 96),( 59, 94),( 81, 81),( 86, 90)
,( 87, 89),( 103, 86),( 106, 80),(-1,-3000)

-- state  82
,(-1,-108)
-- state  83
,(-1,-109)
-- state  84
,( 81, 151),(-1,-3000)

-- state  85
,( 81, 152),(-1,-3000)
-- state  86
,( 81, 153),(-1,-3000)

-- state  87
,( 81, 154),(-1,-3000)
-- state  88
,( 81, 155),(-1,-3000)

-- state  89
,( 2, 97),( 4, 98),( 12, 103),( 13, 104)
,( 14, 36),( 15, 82),( 16, 83),( 17, 102)
,( 38, 87),( 39, 88),( 40, 84),( 43, 85)
,( 44, 91),( 45, 92),( 56, 93),( 57, 95)
,( 58, 96),( 59, 94),( 81, 81),( 86, 90)
,( 87, 89),( 103, 86),( 106, 80),(-1,-3000)

-- state  90
,( 2, 97),( 4, 98),( 12, 103),( 13, 104)
,( 14, 36),( 15, 82),( 16, 83),( 17, 102)
,( 38, 87),( 39, 88),( 40, 84),( 43, 85)
,( 44, 91),( 45, 92),( 56, 93),( 57, 95)
,( 58, 96),( 59, 94),( 81, 81),( 86, 90)
,( 87, 89),( 103, 86),( 106, 80),(-1,-3000)

-- state  91
,( 81, 158),(-1,-3000)
-- state  92
,( 81, 159),(-1,-3000)

-- state  93
,( 81, 160),(-1,-3000)
-- state  94
,( 81, 161),(-1,-3000)

-- state  95
,( 81, 162),(-1,-3000)
-- state  96
,( 81, 163),(-1,-3000)

-- state  97
,( 107, 164),(-1,-3000)
-- state  98
,( 107, 165),(-1,-3000)

-- state  99
,(-1,-134)
-- state  100
,(-1,-135)
-- state  101
,(-1,-136)
-- state  102
,(-1,-139)

-- state  103
,(-1,-138)
-- state  104
,(-1,-140)
-- state  105
,( 95, 166),(-1,-3000)

-- state  106
,(-1,-50)
-- state  107
,( 95, 167),(-1,-3000)
-- state  108
,( 95, 168)
,(-1,-3000)
-- state  109
,( 95, 169),(-1,-3000)
-- state  110
,( 95, 170)
,(-1,-3000)
-- state  111
,( 95, 171),(-1,-3000)
-- state  112
,( 95, 172)
,(-1,-3000)
-- state  113
,( 95, 173),(-1,-3000)
-- state  114
,( 95, 174)
,(-1,-3000)
-- state  115
,( 63, 176),( 74, 175),(-1,-3000)

-- state  116
,( 93, 178),(-1,-3000)
-- state  117
,(-1,-36)
-- state  118
,( 2, 97)
,( 4, 98),( 12, 103),( 13, 104),( 14, 36)
,( 15, 82),( 16, 83),( 17, 102),( 38, 87)
,( 39, 88),( 40, 84),( 43, 85),( 44, 91)
,( 45, 92),( 56, 93),( 57, 95),( 58, 96)
,( 59, 94),( 81, 81),( 86, 90),( 87, 89)
,( 103, 86),( 106, 80),(-1,-3000)
-- state  119
,( 2, 180)
,( 3, 181),( 4, 182),( 6, 186),( 7, 183)
,( 8, 185),( 52, 184),(-1,-3000)
-- state  120
,( 2, 97)
,( 4, 98),( 12, 103),( 13, 104),( 14, 36)
,( 15, 82),( 16, 83),( 17, 102),( 38, 87)
,( 39, 88),( 40, 84),( 43, 85),( 44, 91)
,( 45, 92),( 56, 93),( 57, 95),( 58, 96)
,( 59, 94),( 81, 81),( 86, 90),( 87, 89)
,( 103, 86),( 106, 80),(-1,-3000)
-- state  121
,( 42, 125)
,( 85, 131),( 86, 133),( 87, 134),( 88, 135)
,( 89, 136),( 92, 137),( 95, 189),( 97, 126)
,( 98, 127),( 99, 128),( 100, 129),( 101, 130)
,( 104, 132),( 105, 124),(-1,-3000)
-- state  122
,( 81, 120)
,(-1,-133)
-- state  123
,( 2, 97),( 4, 98),( 12, 103)
,( 13, 104),( 14, 36),( 15, 82),( 16, 83)
,( 17, 102),( 38, 87),( 39, 88),( 40, 84)
,( 43, 85),( 44, 91),( 45, 92),( 56, 93)
,( 57, 95),( 58, 96),( 59, 94),( 81, 81)
,( 86, 90),( 87, 89),( 103, 86),( 106, 80)
,(-1,-3000)
-- state  124
,( 2, 97),( 4, 98),( 12, 103)
,( 13, 104),( 14, 36),( 15, 82),( 16, 83)
,( 17, 102),( 38, 87),( 39, 88),( 40, 84)
,( 43, 85),( 44, 91),( 45, 92),( 56, 93)
,( 57, 95),( 58, 96),( 59, 94),( 81, 81)
,( 86, 90),( 87, 89),( 103, 86),( 106, 80)
,(-1,-3000)
-- state  125
,( 2, 97),( 4, 98),( 12, 103)
,( 13, 104),( 14, 36),( 15, 82),( 16, 83)
,( 17, 102),( 38, 87),( 39, 88),( 40, 84)
,( 43, 85),( 44, 91),( 45, 92),( 56, 93)
,( 57, 95),( 58, 96),( 59, 94),( 81, 81)
,( 86, 90),( 87, 89),( 103, 86),( 106, 80)
,(-1,-3000)
-- state  126
,( 2, 97),( 4, 98),( 12, 103)
,( 13, 104),( 14, 36),( 15, 82),( 16, 83)
,( 17, 102),( 38, 87),( 39, 88),( 40, 84)
,( 43, 85),( 44, 91),( 45, 92),( 56, 93)
,( 57, 95),( 58, 96),( 59, 94),( 81, 81)
,( 86, 90),( 87, 89),( 103, 86),( 106, 80)
,(-1,-3000)
-- state  127
,( 2, 97),( 4, 98),( 12, 103)
,( 13, 104),( 14, 36),( 15, 82),( 16, 83)
,( 17, 102),( 38, 87),( 39, 88),( 40, 84)
,( 43, 85),( 44, 91),( 45, 92),( 56, 93)
,( 57, 95),( 58, 96),( 59, 94),( 81, 81)
,( 86, 90),( 87, 89),( 103, 86),( 106, 80)
,(-1,-3000)
-- state  128
,( 2, 97),( 4, 98),( 12, 103)
,( 13, 104),( 14, 36),( 15, 82),( 16, 83)
,( 17, 102),( 38, 87),( 39, 88),( 40, 84)
,( 43, 85),( 44, 91),( 45, 92),( 56, 93)
,( 57, 95),( 58, 96),( 59, 94),( 81, 81)
,( 86, 90),( 87, 89),( 103, 86),( 106, 80)
,(-1,-3000)
-- state  129
,( 2, 97),( 4, 98),( 12, 103)
,( 13, 104),( 14, 36),( 15, 82),( 16, 83)
,( 17, 102),( 38, 87),( 39, 88),( 40, 84)
,( 43, 85),( 44, 91),( 45, 92),( 56, 93)
,( 57, 95),( 58, 96),( 59, 94),( 81, 81)
,( 86, 90),( 87, 89),( 103, 86),( 106, 80)
,(-1,-3000)
-- state  130
,( 2, 97),( 4, 98),( 12, 103)
,( 13, 104),( 14, 36),( 15, 82),( 16, 83)
,( 17, 102),( 38, 87),( 39, 88),( 40, 84)
,( 43, 85),( 44, 91),( 45, 92),( 56, 93)
,( 57, 95),( 58, 96),( 59, 94),( 81, 81)
,( 86, 90),( 87, 89),( 103, 86),( 106, 80)
,(-1,-3000)
-- state  131
,( 2, 97),( 4, 98),( 12, 103)
,( 13, 104),( 14, 36),( 15, 82),( 16, 83)
,( 17, 102),( 38, 87),( 39, 88),( 40, 84)
,( 43, 85),( 44, 91),( 45, 92),( 56, 93)
,( 57, 95),( 58, 96),( 59, 94),( 81, 81)
,( 86, 90),( 87, 89),( 103, 86),( 106, 80)
,(-1,-3000)
-- state  132
,( 2, 97),( 4, 98),( 12, 103)
,( 13, 104),( 14, 36),( 15, 82),( 16, 83)
,( 17, 102),( 38, 87),( 39, 88),( 40, 84)
,( 43, 85),( 44, 91),( 45, 92),( 56, 93)
,( 57, 95),( 58, 96),( 59, 94),( 81, 81)
,( 86, 90),( 87, 89),( 103, 86),( 106, 80)
,(-1,-3000)
-- state  133
,( 2, 97),( 4, 98),( 12, 103)
,( 13, 104),( 14, 36),( 15, 82),( 16, 83)
,( 17, 102),( 38, 87),( 39, 88),( 40, 84)
,( 43, 85),( 44, 91),( 45, 92),( 56, 93)
,( 57, 95),( 58, 96),( 59, 94),( 81, 81)
,( 86, 90),( 87, 89),( 103, 86),( 106, 80)
,(-1,-3000)
-- state  134
,( 2, 97),( 4, 98),( 12, 103)
,( 13, 104),( 14, 36),( 15, 82),( 16, 83)
,( 17, 102),( 38, 87),( 39, 88),( 40, 84)
,( 43, 85),( 44, 91),( 45, 92),( 56, 93)
,( 57, 95),( 58, 96),( 59, 94),( 81, 81)
,( 86, 90),( 87, 89),( 103, 86),( 106, 80)
,(-1,-3000)
-- state  135
,( 2, 97),( 4, 98),( 12, 103)
,( 13, 104),( 14, 36),( 15, 82),( 16, 83)
,( 17, 102),( 38, 87),( 39, 88),( 40, 84)
,( 43, 85),( 44, 91),( 45, 92),( 56, 93)
,( 57, 95),( 58, 96),( 59, 94),( 81, 81)
,( 86, 90),( 87, 89),( 103, 86),( 106, 80)
,(-1,-3000)
-- state  136
,( 2, 97),( 4, 98),( 12, 103)
,( 13, 104),( 14, 36),( 15, 82),( 16, 83)
,( 17, 102),( 38, 87),( 39, 88),( 40, 84)
,( 43, 85),( 44, 91),( 45, 92),( 56, 93)
,( 57, 95),( 58, 96),( 59, 94),( 81, 81)
,( 86, 90),( 87, 89),( 103, 86),( 106, 80)
,(-1,-3000)
-- state  137
,( 2, 97),( 4, 98),( 12, 103)
,( 13, 104),( 14, 36),( 15, 82),( 16, 83)
,( 17, 102),( 38, 87),( 39, 88),( 40, 84)
,( 43, 85),( 44, 91),( 45, 92),( 56, 93)
,( 57, 95),( 58, 96),( 59, 94),( 81, 81)
,( 86, 90),( 87, 89),( 103, 86),( 106, 80)
,(-1,-3000)
-- state  138
,( 42, 125),( 46, 205),( 85, 131)
,( 86, 133),( 87, 134),( 88, 135),( 89, 136)
,( 92, 137),( 97, 126),( 98, 127),( 99, 128)
,( 100, 129),( 101, 130),( 104, 132),( 105, 124)
,(-1,-3000)
-- state  139
,( 42, 125),( 85, 131),( 86, 133)
,( 87, 134),( 88, 135),( 89, 136),( 92, 137)
,( 95, 206),( 97, 126),( 98, 127),( 99, 128)
,( 100, 129),( 101, 130),( 104, 132),( 105, 124)
,(-1,-3000)
-- state  140
,(-1,-76)
-- state  141
,(-1,-65)
-- state  142
,(-1,-66)

-- state  143
,( 18, 207),( 42, 125),( 85, 131),( 86, 133)
,( 87, 134),( 88, 135),( 89, 136),( 92, 137)
,( 97, 126),( 98, 127),( 99, 128),( 100, 129)
,( 101, 130),( 104, 132),( 105, 124),(-1,-3000)

-- state  144
,( 25, 208),( 42, 125),( 85, 131),( 86, 133)
,( 87, 134),( 88, 135),( 89, 136),( 92, 137)
,( 97, 126),( 98, 127),( 99, 128),( 100, 129)
,( 101, 130),( 104, 132),( 105, 124),(-1,-3000)

-- state  145
,( 14, 36),(-1,-3000)
-- state  146
,( 14, 36),(-1,-3000)

-- state  147
,( 14, 36),(-1,-3000)
-- state  148
,( 2, 97),( 4, 98)
,( 12, 103),( 13, 104),( 14, 36),( 15, 82)
,( 16, 83),( 17, 102),( 38, 87),( 39, 88)
,( 40, 84),( 43, 85),( 44, 91),( 45, 92)
,( 56, 93),( 57, 95),( 58, 96),( 59, 94)
,( 81, 81),( 86, 90),( 87, 89),( 103, 86)
,( 106, 80),(-1,-3000)
-- state  149
,( 42, 125),( 85, 131)
,( 86, 133),( 87, 134),( 88, 135),( 89, 136)
,( 92, 137),( 97, 126),( 98, 127),( 99, 128)
,( 100, 129),( 101, 130),( 104, 132),( 105, 124)
,(-1,-106)
-- state  150
,( 42, 125),( 82, 213),( 85, 131)
,( 86, 133),( 87, 134),( 88, 135),( 89, 136)
,( 92, 137),( 97, 126),( 98, 127),( 99, 128)
,( 100, 129),( 101, 130),( 104, 132),( 105, 124)
,(-1,-3000)
-- state  151
,( 2, 97),( 4, 98),( 12, 103)
,( 13, 104),( 14, 36),( 15, 82),( 16, 83)
,( 17, 102),( 38, 87),( 39, 88),( 40, 84)
,( 43, 85),( 44, 91),( 45, 92),( 56, 93)
,( 57, 95),( 58, 96),( 59, 94),( 81, 81)
,( 86, 90),( 87, 89),( 103, 86),( 106, 80)
,(-1,-3000)
-- state  152
,( 2, 97),( 4, 98),( 12, 103)
,( 13, 104),( 14, 36),( 15, 82),( 16, 83)
,( 17, 102),( 38, 87),( 39, 88),( 40, 84)
,( 43, 85),( 44, 91),( 45, 92),( 56, 93)
,( 57, 95),( 58, 96),( 59, 94),( 81, 81)
,( 86, 90),( 87, 89),( 103, 86),( 106, 80)
,(-1,-3000)
-- state  153
,( 2, 97),( 4, 98),( 12, 103)
,( 13, 104),( 14, 36),( 15, 82),( 16, 83)
,( 17, 102),( 38, 87),( 39, 88),( 40, 84)
,( 43, 85),( 44, 91),( 45, 92),( 56, 93)
,( 57, 95),( 58, 96),( 59, 94),( 81, 81)
,( 86, 90),( 87, 89),( 103, 86),( 106, 80)
,(-1,-3000)
-- state  154
,( 2, 97),( 4, 98),( 12, 103)
,( 13, 104),( 14, 36),( 15, 82),( 16, 83)
,( 17, 102),( 38, 87),( 39, 88),( 40, 84)
,( 43, 85),( 44, 91),( 45, 92),( 56, 93)
,( 57, 95),( 58, 96),( 59, 94),( 81, 81)
,( 86, 90),( 87, 89),( 103, 86),( 106, 80)
,(-1,-3000)
-- state  155
,( 2, 97),( 4, 98),( 12, 103)
,( 13, 104),( 14, 36),( 15, 82),( 16, 83)
,( 17, 102),( 38, 87),( 39, 88),( 40, 84)
,( 43, 85),( 44, 91),( 45, 92),( 56, 93)
,( 57, 95),( 58, 96),( 59, 94),( 81, 81)
,( 86, 90),( 87, 89),( 103, 86),( 106, 80)
,(-1,-3000)
-- state  156
,( 42, 125),( 92, 137),( 97, 126)
,( 98, 127),( 99, 128),( 100, 129),( 101, 130)
,( 104, 132),( 105, 124),(-1,-120)
-- state  157
,( 42, 125)
,( 92, 137),( 97, 126),( 98, 127),( 99, 128)
,( 100, 129),( 101, 130),( 104, 132),( 105, 124)
,(-1,-121)
-- state  158
,( 2, 97),( 4, 98),( 12, 103)
,( 13, 104),( 14, 36),( 15, 82),( 16, 83)
,( 17, 102),( 38, 87),( 39, 88),( 40, 84)
,( 43, 85),( 44, 91),( 45, 92),( 56, 93)
,( 57, 95),( 58, 96),( 59, 94),( 81, 81)
,( 86, 90),( 87, 89),( 103, 86),( 106, 80)
,(-1,-3000)
-- state  159
,( 2, 97),( 4, 98),( 12, 103)
,( 13, 104),( 14, 36),( 15, 82),( 16, 83)
,( 17, 102),( 38, 87),( 39, 88),( 40, 84)
,( 43, 85),( 44, 91),( 45, 92),( 56, 93)
,( 57, 95),( 58, 96),( 59, 94),( 81, 81)
,( 86, 90),( 87, 89),( 103, 86),( 106, 80)
,(-1,-3000)
-- state  160
,( 2, 97),( 4, 98),( 12, 103)
,( 13, 104),( 14, 36),( 15, 82),( 16, 83)
,( 17, 102),( 38, 87),( 39, 88),( 40, 84)
,( 43, 85),( 44, 91),( 45, 92),( 56, 93)
,( 57, 95),( 58, 96),( 59, 94),( 81, 81)
,( 86, 90),( 87, 89),( 103, 86),( 106, 80)
,(-1,-3000)
-- state  161
,( 2, 97),( 4, 98),( 12, 103)
,( 13, 104),( 14, 36),( 15, 82),( 16, 83)
,( 17, 102),( 38, 87),( 39, 88),( 40, 84)
,( 43, 85),( 44, 91),( 45, 92),( 56, 93)
,( 57, 95),( 58, 96),( 59, 94),( 81, 81)
,( 86, 90),( 87, 89),( 103, 86),( 106, 80)
,(-1,-3000)
-- state  162
,( 2, 97),( 4, 98),( 12, 103)
,( 13, 104),( 14, 36),( 15, 82),( 16, 83)
,( 17, 102),( 38, 87),( 39, 88),( 40, 84)
,( 43, 85),( 44, 91),( 45, 92),( 56, 93)
,( 57, 95),( 58, 96),( 59, 94),( 81, 81)
,( 86, 90),( 87, 89),( 103, 86),( 106, 80)
,(-1,-3000)
-- state  163
,( 2, 97),( 4, 98),( 12, 103)
,( 13, 104),( 14, 36),( 15, 82),( 16, 83)
,( 17, 102),( 38, 87),( 39, 88),( 40, 84)
,( 43, 85),( 44, 91),( 45, 92),( 56, 93)
,( 57, 95),( 58, 96),( 59, 94),( 81, 81)
,( 86, 90),( 87, 89),( 103, 86),( 106, 80)
,(-1,-3000)
-- state  164
,( 10, 225),( 11, 226),(-1,-3000)

-- state  165
,( 10, 227),( 11, 228),(-1,-3000)
-- state  166
,(-1,-21)

-- state  167
,(-1,-31)
-- state  168
,(-1,-29)
-- state  169
,(-1,-27)
-- state  170
,(-1,-15)

-- state  171
,(-1,-17)
-- state  172
,(-1,-19)
-- state  173
,(-1,-23)
-- state  174
,(-1,-25)

-- state  175
,( 14, 36),(-1,-3000)
-- state  176
,( 95, 230),(-1,-3000)

-- state  177
,(-1,-38)
-- state  178
,( 61, 232),( 62, 231),(-1,-3000)

-- state  179
,( 42, 125),( 85, 131),( 86, 133),( 87, 134)
,( 88, 135),( 89, 136),( 92, 137),( 96, 233)
,( 97, 126),( 98, 127),( 99, 128),( 100, 129)
,( 101, 130),( 104, 132),( 105, 124),(-1,-74)

-- state  180
,(-1,-77)
-- state  181
,( 81, 235),(-1,-3000)
-- state  182
,(-1,-79)

-- state  183
,(-1,-81)
-- state  184
,(-1,-83)
-- state  185
,(-1,-85)
-- state  186
,(-1,-88)

-- state  187
,( 102, 236),(-1,-96)
-- state  188
,( 42, 125),( 82, 238)
,( 85, 131),( 86, 133),( 87, 134),( 88, 135)
,( 89, 136),( 92, 137),( 97, 126),( 98, 127)
,( 99, 128),( 100, 129),( 101, 130),( 104, 132)
,( 105, 124),(-1,-3000)
-- state  189
,(-1,-62)
-- state  190
,( 42, 125)
,( 85, 131),( 86, 133),( 87, 134),( 88, 135)
,( 89, 136),( 92, 137),( 95, 239),( 97, 126)
,( 98, 127),( 99, 128),( 100, 129),( 101, 130)
,( 104, 132),( 105, 124),(-1,-3000)
-- state  191
,( 42, 125)
,( 85, 131),( 86, 133),( 87, 134),( 88, 135)
,( 89, 136),( 92, 137),( 97, 126),( 98, 127)
,( 99, 128),( 100, 129),( 101, 130),( 104, 132)
,( 105, 124),(-1,-97)
-- state  192
,( 42, 125),( 85, 131)
,( 86, 133),( 87, 134),( 88, 135),( 89, 136)
,( 92, 137),( 97, 126),( 98, 127),( 99, 128)
,( 100, 129),( 101, 130),( 104, 132),( 105, 124)
,(-1,-98)
-- state  193
,( 42, 125),( 85, 131),( 86, 133)
,( 87, 134),( 88, 135),( 89, 136),( 92, 137)
,( 97, 126),( 98, 127),( 99, 128),( 100, 129)
,( 101, 130),( 104, 132),( 105, 124),(-1,-99)

-- state  194
,( 42, 125),( 85, 131),( 86, 133),( 87, 134)
,( 88, 135),( 89, 136),( 92, 137),( 97, 126)
,( 98, 127),( 99, 128),( 100, 129),( 101, 130)
,( 104, 132),( 105, 124),(-1,-100)
-- state  195
,( 42, 125)
,( 85, 131),( 86, 133),( 87, 134),( 88, 135)
,( 89, 136),( 92, 137),( 97, 126),( 98, 127)
,( 99, 128),( 100, 129),( 101, 130),( 104, 132)
,( 105, 124),(-1,-101)
-- state  196
,( 42, 125),( 85, 131)
,( 86, 133),( 87, 134),( 88, 135),( 89, 136)
,( 92, 137),( 97, 126),( 98, 127),( 99, 128)
,( 100, 129),( 101, 130),( 104, 132),( 105, 124)
,(-1,-102)
-- state  197
,( 42, 125),( 85, 131),( 86, 133)
,( 87, 134),( 88, 135),( 89, 136),( 92, 137)
,( 97, 126),( 98, 127),( 99, 128),( 100, 129)
,( 101, 130),( 104, 132),( 105, 124),(-1,-103)

-- state  198
,( 42, 125),( 85, 131),( 86, 133),( 87, 134)
,( 88, 135),( 89, 136),( 92, 137),( 97, 126)
,( 98, 127),( 99, 128),( 100, 129),( 101, 130)
,( 104, 132),( 105, 124),(-1,-104)
-- state  199
,( 42, 125)
,( 85, 131),( 86, 133),( 87, 134),( 88, 135)
,( 89, 136),( 92, 137),( 97, 126),( 98, 127)
,( 99, 128),( 100, 129),( 101, 130),( 104, 132)
,( 105, 124),(-1,-105)
-- state  200
,( 42, 125),( 88, 135)
,( 89, 136),( 92, 137),( 97, 126),( 98, 127)
,( 99, 128),( 100, 129),( 101, 130),( 104, 132)
,( 105, 124),(-1,-110)
-- state  201
,( 42, 125),( 88, 135)
,( 89, 136),( 92, 137),( 97, 126),( 98, 127)
,( 99, 128),( 100, 129),( 101, 130),( 104, 132)
,( 105, 124),(-1,-111)
-- state  202
,( 42, 125),( 92, 137)
,( 97, 126),( 98, 127),( 99, 128),( 100, 129)
,( 101, 130),( 104, 132),( 105, 124),(-1,-112)

-- state  203
,( 42, 125),( 92, 137),( 97, 126),( 98, 127)
,( 99, 128),( 100, 129),( 101, 130),( 104, 132)
,( 105, 124),(-1,-113)
-- state  204
,( 42, 125),( 92,-3000)
,( 97, 126),( 98, 127),( 99, 128),( 100, 129)
,( 101, 130),( 104, 132),( 105, 124),(-1,-119)

-- state  205
,( 2, 97),( 4, 98),( 12, 103),( 13, 104)
,( 14, 36),( 15, 82),( 16, 83),( 17, 102)
,( 19, 74),( 23, 79),( 24, 75),( 37, 72)
,( 38, 87),( 39, 88),( 40, 84),( 41, 67)
,( 43, 85),( 44, 91),( 45, 92),( 49, 71)
,( 53, 78),( 54, 76),( 55, 77),( 56, 93)
,( 57, 95),( 58, 96),( 59, 94),( 60, 73)
,( 78, 69),( 81, 81),( 86, 90),( 87, 89)
,( 103, 86),( 106, 80),(-1,-59)
-- state  206
,(-1,-75)

-- state  207
,( 31, 242),( 32, 244),( 33, 246),( 34, 243)
,( 35, 247),( 36, 245),(-1,-3000)
-- state  208
,( 2, 97)
,( 4, 98),( 12, 103),( 13, 104),( 14, 36)
,( 15, 82),( 16, 83),( 17, 102),( 19, 74)
,( 23, 79),( 24, 75),( 37, 72),( 38, 87)
,( 39, 88),( 40, 84),( 41, 67),( 43, 85)
,( 44, 91),( 45, 92),( 49, 71),( 53, 78)
,( 54, 76),( 55, 77),( 56, 93),( 57, 95)
,( 58, 96),( 59, 94),( 60, 73),( 78, 69)
,( 81, 81),( 86, 90),( 87, 89),( 103, 86)
,( 106, 80),(-1,-59)
-- state  209
,( 96, 250),(-1,-3000)

-- state  210
,( 96, 251),(-1,-3000)
-- state  211
,( 96, 252),(-1,-3000)

-- state  212
,( 42, 125),( 85, 131),( 86, 133),( 87, 134)
,( 88, 135),( 89, 136),( 92, 137),( 95, 253)
,( 97, 126),( 98, 127),( 99, 128),( 100, 129)
,( 101, 130),( 104, 132),( 105, 124),(-1,-3000)

-- state  213
,(-1,-107)
-- state  214
,( 42, 125),( 85, 131),( 86, 133)
,( 87, 134),( 88, 135),( 89, 136),( 92, 137)
,( 96, 254),( 97, 126),( 98, 127),( 99, 128)
,( 100, 129),( 101, 130),( 104, 132),( 105, 124)
,(-1,-3000)
-- state  215
,( 42, 125),( 82, 255),( 85, 131)
,( 86, 133),( 87, 134),( 88, 135),( 89, 136)
,( 92, 137),( 97, 126),( 98, 127),( 99, 128)
,( 100, 129),( 101, 130),( 104, 132),( 105, 124)
,(-1,-3000)
-- state  216
,( 42, 125),( 85, 131),( 86, 133)
,( 87, 134),( 88, 135),( 89, 136),( 92, 137)
,( 96, 256),( 97, 126),( 98, 127),( 99, 128)
,( 100, 129),( 101, 130),( 104, 132),( 105, 124)
,(-1,-3000)
-- state  217
,( 42, 125),( 85, 131),( 86, 133)
,( 87, 134),( 88, 135),( 89, 136),( 92, 137)
,( 96, 257),( 97, 126),( 98, 127),( 99, 128)
,( 100, 129),( 101, 130),( 104, 132),( 105, 124)
,(-1,-3000)
-- state  218
,( 42, 125),( 85, 131),( 86, 133)
,( 87, 134),( 88, 135),( 89, 136),( 92, 137)
,( 96, 258),( 97, 126),( 98, 127),( 99, 128)
,( 100, 129),( 101, 130),( 104, 132),( 105, 124)
,(-1,-3000)
-- state  219
,( 42, 125),( 82, 259),( 85, 131)
,( 86, 133),( 87, 134),( 88, 135),( 89, 136)
,( 92, 137),( 97, 126),( 98, 127),( 99, 128)
,( 100, 129),( 101, 130),( 104, 132),( 105, 124)
,(-1,-3000)
-- state  220
,( 42, 125),( 82, 260),( 85, 131)
,( 86, 133),( 87, 134),( 88, 135),( 89, 136)
,( 92, 137),( 97, 126),( 98, 127),( 99, 128)
,( 100, 129),( 101, 130),( 104, 132),( 105, 124)
,(-1,-3000)
-- state  221
,( 42, 125),( 82, 261),( 85, 131)
,( 86, 133),( 87, 134),( 88, 135),( 89, 136)
,( 92, 137),( 97, 126),( 98, 127),( 99, 128)
,( 100, 129),( 101, 130),( 104, 132),( 105, 124)
,(-1,-3000)
-- state  222
,( 42, 125),( 82, 262),( 85, 131)
,( 86, 133),( 87, 134),( 88, 135),( 89, 136)
,( 92, 137),( 97, 126),( 98, 127),( 99, 128)
,( 100, 129),( 101, 130),( 104, 132),( 105, 124)
,(-1,-3000)
-- state  223
,( 42, 125),( 82, 263),( 85, 131)
,( 86, 133),( 87, 134),( 88, 135),( 89, 136)
,( 92, 137),( 97, 126),( 98, 127),( 99, 128)
,( 100, 129),( 101, 130),( 104, 132),( 105, 124)
,(-1,-3000)
-- state  224
,( 42, 125),( 82, 264),( 85, 131)
,( 86, 133),( 87, 134),( 88, 135),( 89, 136)
,( 92, 137),( 97, 126),( 98, 127),( 99, 128)
,( 100, 129),( 101, 130),( 104, 132),( 105, 124)
,(-1,-3000)
-- state  225
,(-1,-128)
-- state  226
,(-1,-129)
-- state  227
,(-1,-130)

-- state  228
,(-1,-131)
-- state  229
,( 75, 265),(-1,-3000)
-- state  230
,(-1,-33)

-- state  231
,( 95, 266),(-1,-3000)
-- state  232
,( 95, 267),(-1,-3000)

-- state  233
,( 2, 97),( 4, 98),( 12, 103),( 13, 104)
,( 14, 36),( 15, 82),( 16, 83),( 17, 102)
,( 38, 87),( 39, 88),( 40, 84),( 43, 85)
,( 44, 91),( 45, 92),( 56, 93),( 57, 95)
,( 58, 96),( 59, 94),( 81, 81),( 86, 90)
,( 87, 89),( 103, 86),( 106, 80),(-1,-3000)

-- state  234
,( 96, 233),(-1,-74)
-- state  235
,( 31, 242),( 32, 244)
,( 33, 246),( 34, 243),( 35, 247),( 36, 245)
,(-1,-3000)
-- state  236
,( 2, 97),( 4, 98),( 12, 103)
,( 13, 104),( 14, 36),( 15, 82),( 16, 83)
,( 17, 102),( 38, 87),( 39, 88),( 40, 84)
,( 43, 85),( 44, 91),( 45, 92),( 56, 93)
,( 57, 95),( 58, 96),( 59, 94),( 81, 81)
,( 86, 90),( 87, 89),( 103, 86),( 106, 80)
,(-1,-3000)
-- state  237
,( 95, 272),(-1,-3000)
-- state  238
,(-1,-132)

-- state  239
,(-1,-63)
-- state  240
,( 2, 97),( 4, 98),( 12, 103)
,( 13, 104),( 14, 36),( 15, 82),( 16, 83)
,( 17, 102),( 19, 74),( 23, 79),( 24, 75)
,( 37, 72),( 38, 87),( 39, 88),( 40, 84)
,( 41, 67),( 43, 85),( 44, 91),( 45, 92)
,( 49, 71),( 53, 78),( 54, 76),( 55, 77)
,( 56, 93),( 57, 95),( 58, 96),( 59, 94)
,( 60, 73),( 78, 69),( 81, 81),( 86, 90)
,( 87, 89),( 103, 86),( 106, 80),(-1,-58)

-- state  241
,( 48, 274),( 50, 275),(-1,-3000)
-- state  242
,(-1,-89)

-- state  243
,(-1,-90)
-- state  244
,(-1,-91)
-- state  245
,(-1,-92)
-- state  246
,(-1,-93)

-- state  247
,(-1,-94)
-- state  248
,( 25, 277),(-1,-3000)
-- state  249
,( 51, 278)
,(-1,-3000)
-- state  250
,( 2, 97),( 4, 98),( 12, 103)
,( 13, 104),( 14, 36),( 15, 82),( 16, 83)
,( 17, 102),( 38, 87),( 39, 88),( 40, 84)
,( 43, 85),( 44, 91),( 45, 92),( 56, 93)
,( 57, 95),( 58, 96),( 59, 94),( 81, 81)
,( 86, 90),( 87, 89),( 103, 86),( 106, 80)
,(-1,-3000)
-- state  251
,( 2, 97),( 4, 98),( 12, 103)
,( 13, 104),( 14, 36),( 15, 82),( 16, 83)
,( 17, 102),( 38, 87),( 39, 88),( 40, 84)
,( 43, 85),( 44, 91),( 45, 92),( 56, 93)
,( 57, 95),( 58, 96),( 59, 94),( 81, 81)
,( 86, 90),( 87, 89),( 103, 86),( 106, 80)
,(-1,-3000)
-- state  252
,( 2, 97),( 4, 98),( 12, 103)
,( 13, 104),( 14, 36),( 15, 82),( 16, 83)
,( 17, 102),( 38, 87),( 39, 88),( 40, 84)
,( 43, 85),( 44, 91),( 45, 92),( 56, 93)
,( 57, 95),( 58, 96),( 59, 94),( 81, 81)
,( 86, 90),( 87, 89),( 103, 86),( 106, 80)
,(-1,-3000)
-- state  253
,(-1,-72)
-- state  254
,( 2, 97),( 4, 98)
,( 12, 103),( 13, 104),( 14, 36),( 15, 82)
,( 16, 83),( 17, 102),( 38, 87),( 39, 88)
,( 40, 84),( 43, 85),( 44, 91),( 45, 92)
,( 56, 93),( 57, 95),( 58, 96),( 59, 94)
,( 81, 81),( 86, 90),( 87, 89),( 103, 86)
,( 106, 80),(-1,-3000)
-- state  255
,(-1,-115)
-- state  256
,( 2, 97)
,( 4, 98),( 12, 103),( 13, 104),( 14, 36)
,( 15, 82),( 16, 83),( 17, 102),( 38, 87)
,( 39, 88),( 40, 84),( 43, 85),( 44, 91)
,( 45, 92),( 56, 93),( 57, 95),( 58, 96)
,( 59, 94),( 81, 81),( 86, 90),( 87, 89)
,( 103, 86),( 106, 80),(-1,-3000)
-- state  257
,( 2, 97)
,( 4, 98),( 12, 103),( 13, 104),( 14, 36)
,( 15, 82),( 16, 83),( 17, 102),( 38, 87)
,( 39, 88),( 40, 84),( 43, 85),( 44, 91)
,( 45, 92),( 56, 93),( 57, 95),( 58, 96)
,( 59, 94),( 81, 81),( 86, 90),( 87, 89)
,( 103, 86),( 106, 80),(-1,-3000)
-- state  258
,( 2, 97)
,( 4, 98),( 12, 103),( 13, 104),( 14, 36)
,( 15, 82),( 16, 83),( 17, 102),( 38, 87)
,( 39, 88),( 40, 84),( 43, 85),( 44, 91)
,( 45, 92),( 56, 93),( 57, 95),( 58, 96)
,( 59, 94),( 81, 81),( 86, 90),( 87, 89)
,( 103, 86),( 106, 80),(-1,-3000)
-- state  259
,(-1,-122)

-- state  260
,(-1,-123)
-- state  261
,(-1,-124)
-- state  262
,(-1,-125)
-- state  263
,(-1,-126)

-- state  264
,(-1,-127)
-- state  265
,( 79, 286),(-1,-3000)
-- state  266
,(-1,-40)

-- state  267
,(-1,-41)
-- state  268
,( 42, 125),( 85, 131),( 86, 133)
,( 87, 134),( 88, 135),( 89, 136),( 92, 137)
,( 97, 126),( 98, 127),( 99, 128),( 100, 129)
,( 101, 130),( 104, 132),( 105, 124),(-1,-73)

-- state  269
,( 82, 287),(-1,-3000)
-- state  270
,( 82, 288),(-1,-3000)

-- state  271
,( 42, 125),( 85, 131),( 86, 133),( 87, 134)
,( 88, 135),( 89, 136),( 92, 137),( 97, 126)
,( 98, 127),( 99, 128),( 100, 129),( 101, 130)
,( 104, 132),( 105, 124),(-1,-95)
-- state  272
,(-1,-61)

-- state  273
,(-1,-57)
-- state  274
,( 2, 97),( 4, 98),( 12, 103)
,( 13, 104),( 14, 36),( 15, 82),( 16, 83)
,( 17, 102),( 19, 74),( 23, 79),( 24, 75)
,( 37, 72),( 38, 87),( 39, 88),( 40, 84)
,( 41, 67),( 43, 85),( 44, 91),( 45, 92)
,( 49, 71),( 53, 78),( 54, 76),( 55, 77)
,( 56, 93),( 57, 95),( 58, 96),( 59, 94)
,( 60, 73),( 78, 69),( 81, 81),( 86, 90)
,( 87, 89),( 103, 86),( 106, 80),(-1,-56)

-- state  275
,( 95, 291),(-1,-3000)
-- state  276
,(-1,-64)
-- state  277
,( 2, 97)
,( 4, 98),( 12, 103),( 13, 104),( 14, 36)
,( 15, 82),( 16, 83),( 17, 102),( 19, 74)
,( 23, 79),( 24, 75),( 37, 72),( 38, 87)
,( 39, 88),( 40, 84),( 41, 67),( 43, 85)
,( 44, 91),( 45, 92),( 49, 71),( 53, 78)
,( 54, 76),( 55, 77),( 56, 93),( 57, 95)
,( 58, 96),( 59, 94),( 60, 73),( 78, 69)
,( 81, 81),( 86, 90),( 87, 89),( 103, 86)
,( 106, 80),(-1,-59)
-- state  278
,( 95, 293),(-1,-3000)

-- state  279
,( 42, 125),( 82, 294),( 85, 131),( 86, 133)
,( 87, 134),( 88, 135),( 89, 136),( 92, 137)
,( 97, 126),( 98, 127),( 99, 128),( 100, 129)
,( 101, 130),( 104, 132),( 105, 124),(-1,-3000)

-- state  280
,( 42, 125),( 85, 131),( 86, 133),( 87, 134)
,( 88, 135),( 89, 136),( 92, 137),( 96, 295)
,( 97, 126),( 98, 127),( 99, 128),( 100, 129)
,( 101, 130),( 104, 132),( 105, 124),(-1,-3000)

-- state  281
,( 42, 125),( 85, 131),( 86, 133),( 87, 134)
,( 88, 135),( 89, 136),( 92, 137),( 96, 296)
,( 97, 126),( 98, 127),( 99, 128),( 100, 129)
,( 101, 130),( 104, 132),( 105, 124),(-1,-3000)

-- state  282
,( 42, 125),( 82, 297),( 85, 131),( 86, 133)
,( 87, 134),( 88, 135),( 89, 136),( 92, 137)
,( 97, 126),( 98, 127),( 99, 128),( 100, 129)
,( 101, 130),( 104, 132),( 105, 124),(-1,-3000)

-- state  283
,( 42, 125),( 82, 298),( 85, 131),( 86, 133)
,( 87, 134),( 88, 135),( 89, 136),( 92, 137)
,( 97, 126),( 98, 127),( 99, 128),( 100, 129)
,( 101, 130),( 104, 132),( 105, 124),(-1,-3000)

-- state  284
,( 42, 125),( 82, 299),( 85, 131),( 86, 133)
,( 87, 134),( 88, 135),( 89, 136),( 92, 137)
,( 97, 126),( 98, 127),( 99, 128),( 100, 129)
,( 101, 130),( 104, 132),( 105, 124),(-1,-3000)

-- state  285
,( 42, 125),( 82, 300),( 85, 131),( 86, 133)
,( 87, 134),( 88, 135),( 89, 136),( 92, 137)
,( 97, 126),( 98, 127),( 99, 128),( 100, 129)
,( 101, 130),( 104, 132),( 105, 124),(-1,-3000)

-- state  286
,( 2, 97),( 4, 98),( 12, 103),( 13, 104)
,( 14, 36),( 15, 82),( 16, 83),( 17, 102)
,( 38, 87),( 39, 88),( 40, 84),( 43, 85)
,( 44, 91),( 45, 92),( 56, 93),( 57, 95)
,( 58, 96),( 59, 94),( 81, 81),( 86, 90)
,( 87, 89),( 103, 86),( 106, 80),(-1,-43)

-- state  287
,( 95, 303),(-1,-3000)
-- state  288
,( 9, 304),(-1,-3000)

-- state  289
,( 2, 97),( 4, 98),( 12, 103),( 13, 104)
,( 14, 36),( 15, 82),( 16, 83),( 17, 102)
,( 19, 74),( 23, 79),( 24, 75),( 37, 72)
,( 38, 87),( 39, 88),( 40, 84),( 41, 67)
,( 43, 85),( 44, 91),( 45, 92),( 49, 71)
,( 53, 78),( 54, 76),( 55, 77),( 56, 93)
,( 57, 95),( 58, 96),( 59, 94),( 60, 73)
,( 78, 69),( 81, 81),( 86, 90),( 87, 89)
,( 103, 86),( 106, 80),(-1,-55)
-- state  290
,( 50, 306)
,(-1,-3000)
-- state  291
,(-1,-53)
-- state  292
,( 51, 307),(-1,-3000)

-- state  293
,(-1,-68)
-- state  294
,( 95, 308),(-1,-3000)
-- state  295
,( 2, 97)
,( 4, 98),( 12, 103),( 13, 104),( 14, 36)
,( 15, 82),( 16, 83),( 17, 102),( 38, 87)
,( 39, 88),( 40, 84),( 43, 85),( 44, 91)
,( 45, 92),( 56, 93),( 57, 95),( 58, 96)
,( 59, 94),( 81, 81),( 86, 90),( 87, 89)
,( 103, 86),( 106, 80),(-1,-3000)
-- state  296
,( 2, 97)
,( 4, 98),( 12, 103),( 13, 104),( 14, 36)
,( 15, 82),( 16, 83),( 17, 102),( 38, 87)
,( 39, 88),( 40, 84),( 43, 85),( 44, 91)
,( 45, 92),( 56, 93),( 57, 95),( 58, 96)
,( 59, 94),( 81, 81),( 86, 90),( 87, 89)
,( 103, 86),( 106, 80),(-1,-3000)
-- state  297
,(-1,-114)

-- state  298
,(-1,-116)
-- state  299
,(-1,-117)
-- state  300
,(-1,-118)
-- state  301
,( 42, 125)
,( 85, 131),( 86, 133),( 87, 134),( 88, 135)
,( 89, 136),( 92, 137),( 97, 126),( 98, 127)
,( 99, 128),( 100, 129),( 101, 130),( 104, 132)
,( 105, 124),(-1,-42)
-- state  302
,( 96, 311),(-1,-3000)

-- state  303
,(-1,-60)
-- state  304
,( 2, 312),( 4, 313),( 6, 317)
,( 7, 314),( 8, 316),( 52, 315),(-1,-3000)

-- state  305
,(-1,-54)
-- state  306
,( 95, 318),(-1,-3000)
-- state  307
,( 95, 319)
,(-1,-3000)
-- state  308
,(-1,-69)
-- state  309
,( 42, 125),( 82, 320)
,( 85, 131),( 86, 133),( 87, 134),( 88, 135)
,( 89, 136),( 92, 137),( 97, 126),( 98, 127)
,( 99, 128),( 100, 129),( 101, 130),( 104, 132)
,( 105, 124),(-1,-3000)
-- state  310
,( 42, 125),( 82, 321)
,( 85, 131),( 86, 133),( 87, 134),( 88, 135)
,( 89, 136),( 92, 137),( 97, 126),( 98, 127)
,( 99, 128),( 100, 129),( 101, 130),( 104, 132)
,( 105, 124),(-1,-3000)
-- state  311
,( 2, 97),( 4, 98)
,( 12, 103),( 13, 104),( 14, 36),( 15, 82)
,( 16, 83),( 17, 102),( 19, 74),( 23, 79)
,( 24, 75),( 37, 72),( 38, 87),( 39, 88)
,( 40, 84),( 41, 67),( 43, 85),( 44, 91)
,( 45, 92),( 49, 71),( 53, 78),( 54, 76)
,( 55, 77),( 56, 93),( 57, 95),( 58, 96)
,( 59, 94),( 60, 73),( 78, 69),( 81, 81)
,( 86, 90),( 87, 89),( 103, 86),( 106, 80)
,(-1,-45)
-- state  312
,(-1,-78)
-- state  313
,(-1,-80)
-- state  314
,(-1,-82)

-- state  315
,(-1,-84)
-- state  316
,(-1,-86)
-- state  317
,(-1,-87)
-- state  318
,(-1,-52)

-- state  319
,(-1,-67)
-- state  320
,( 95, 324),(-1,-3000)
-- state  321
,( 95, 325)
,(-1,-3000)
-- state  322
,(-1,-44)
-- state  323
,( 96, 326),(-1,-3000)

-- state  324
,(-1,-70)
-- state  325
,(-1,-71)
-- state  326
,( 14, 36),(-1,-48)

-- state  327
,( 76, 329),( 77, 330),(-1,-3000)
-- state  328
,( 80, 331)
,(-1,-3000)
-- state  329
,(-1,-46)
-- state  330
,(-1,-47)
-- state  331
,( 75, 332)
,(-1,-3000)
-- state  332
,( 14, 36),(-1,-3000)
-- state  333
,( 95, 334)
,(-1,-3000)
-- state  334
,(-1,-49)
);
--  The offset vector
SHIFT_REDUCE_OFFSET : array (0.. 334) 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, 134, 170, 206,
 242, 278, 314, 350, 386, 422, 424, 426, 429, 453,
 469, 493, 518, 520, 544, 568, 570, 572, 574, 576,
 600, 624, 625, 626, 628, 630, 632, 634, 636, 660,
 684, 686, 688, 690, 692, 694, 696, 698, 700, 701,
 702, 703, 704, 705, 706, 708, 709, 711, 713, 715,
 717, 719, 721, 723, 725, 728, 730, 731, 755, 763,
 787, 803, 805, 829, 853, 877, 901, 925, 949, 973,
 997, 1021, 1045, 1069, 1093, 1117, 1141, 1165, 1181, 1197,
 1198, 1199, 1200, 1216, 1232, 1234, 1236, 1238, 1262, 1277,
 1293, 1317, 1341, 1365, 1389, 1413, 1423, 1433, 1457, 1481,
 1505, 1529, 1553, 1577, 1580, 1583, 1584, 1585, 1586, 1587,
 1588, 1589, 1590, 1591, 1592, 1594, 1596, 1597, 1600, 1616,
 1617, 1619, 1620, 1621, 1622, 1623, 1624, 1626, 1642, 1643,
 1659, 1674, 1689, 1704, 1719, 1734, 1749, 1764, 1779, 1794,
 1806, 1818, 1828, 1838, 1848, 1883, 1884, 1891, 1926, 1928,
 1930, 1932, 1948, 1949, 1965, 1981, 1997, 2013, 2029, 2045,
 2061, 2077, 2093, 2109, 2125, 2126, 2127, 2128, 2129, 2131,
 2132, 2134, 2136, 2160, 2162, 2169, 2193, 2195, 2196, 2197,
 2232, 2235, 2236, 2237, 2238, 2239, 2240, 2241, 2243, 2245,
 2269, 2293, 2317, 2318, 2342, 2343, 2367, 2391, 2415, 2416,
 2417, 2418, 2419, 2420, 2421, 2423, 2424, 2425, 2440, 2442,
 2444, 2459, 2460, 2461, 2496, 2498, 2499, 2534, 2536, 2552,
 2568, 2584, 2600, 2616, 2632, 2648, 2672, 2674, 2676, 2711,
 2713, 2714, 2716, 2717, 2719, 2743, 2767, 2768, 2769, 2770,
 2771, 2786, 2788, 2789, 2796, 2797, 2799, 2801, 2802, 2818,
 2834, 2869, 2870, 2871, 2872, 2873, 2874, 2875, 2876, 2877,
 2879, 2881, 2882, 2884, 2885, 2886, 2888, 2891, 2893, 2894,
 2895, 2897, 2899, 2901);
end Scheduler_Shift_Reduce;