------------------------------------------------------------------------------
------------------------------------------------------------------------------
-- Cheddar is a GNU GPL real-time scheduling analysis tool.
-- This program provides services to automatically check schedulability and
-- other performance criteria of real-time architecture models.
--
-- Copyright (C) 2002-2020, Frank Singhoff, Alain Plantec, Jerome Legrand, 
--                          Hai Nam Tran, Stephane Rubini
--
-- The Cheddar project was started in 2002 by 
-- Frank Singhoff, Lab-STICC UMR CNRS 6285, Universite de Bretagne Occidentale
-- 
-- Cheddar has been published in the "Agence de Protection des Programmes/France" in 2008. 
-- Since 2008, Ellidiss technologies also contributes to the development of 
-- Cheddar and provides industrial support.
--
-- The full list of contributors and sponsors can be found in AUTHORS.txt and SPONSORS.txt
--
-- This program is free software; you can redistribute it and/or modify
-- it under the terms of the GNU General Public License as published by
-- the Free Software Foundation; either version 2 of the License, or
-- (at your option) any later version.
--
-- This program is distributed in the hope that it will be useful,
-- but WITHOUT ANY WARRANTY; without even the implied warranty of
-- MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
-- GNU General Public License for more details.
--
-- You should have received a copy of the GNU General Public License
-- along with this program; if not, write to the Free Software
-- Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA  02111-1307  USA
--
--
-- Contact : cheddar@listes.univ-brest.fr
--           
------------------------------------------------------------------------------
-- Last update : 
--    $Rev$
--    $Date$
--    $Author: singhoff $
------------------------------------------------------------------------------
------------------------------------------------------------------------------

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;