
# parsetab.py
# This file is automatically generated. Do not edit.
_tabversion = '3.2'

_lr_method = 'LALR'

_lr_signature = '\xe2\x88\x87c0X\x14g\x1aY\xc1.N\xba\xa4\x9c'
    
_lr_action_items = {'AND':([0,12,14,16,18,30,31,33,34,36,],[1,1,1,1,1,1,1,1,1,1,]),'ALL':([0,12,14,16,18,30,31,33,34,36,],[2,2,2,2,2,2,2,2,2,2,]),'RP':([7,23,29,32,39,40,41,42,43,44,45,46,47,48,49,50,51,52,53,54,55,],[-1,32,39,-2,-8,48,49,50,51,52,53,54,55,-3,-7,-4,-6,-10,-5,-11,-9,]),'NEG':([0,12,14,16,18,30,31,33,34,36,],[4,4,4,4,4,4,4,4,4,4,]),'SOME':([0,12,14,16,18,30,31,33,34,36,],[5,5,5,5,5,5,5,5,5,5,]),'IMP':([0,12,14,16,18,30,31,33,34,36,],[6,6,6,6,6,6,6,6,6,6,]),'COMMA':([7,21,22,24,25,26,27,28,29,32,39,48,49,50,51,52,53,54,55,],[-1,30,31,33,34,35,36,37,38,-2,-8,-3,-7,-4,-6,-10,-5,-11,-9,]),'LP':([1,2,4,5,6,8,9,10,11,],[12,13,14,15,16,17,18,19,20,]),'PRED':([0,12,14,16,18,30,31,33,34,36,],[11,11,11,11,11,11,11,11,11,11,]),'VAR':([13,15,17,19,20,35,37,38,],[22,24,26,28,29,44,46,47,]),'EQ':([0,12,14,16,18,30,31,33,34,36,],[8,8,8,8,8,8,8,8,8,8,]),'OR':([0,12,14,16,18,30,31,33,34,36,],[9,9,9,9,9,9,9,9,9,9,]),'CARD':([0,12,14,16,18,30,31,33,34,36,],[10,10,10,10,10,10,10,10,10,10,]),'$end':([3,7,32,39,48,49,50,51,52,53,54,55,],[0,-1,-2,-8,-3,-7,-4,-6,-10,-5,-11,-9,]),}

_lr_action = { }
for _k, _v in _lr_action_items.items():
   for _x,_y in zip(_v[0],_v[1]):
      if not _x in _lr_action:  _lr_action[_x] = { }
      _lr_action[_x][_k] = _y
del _lr_action_items

_lr_goto_items = {'for':([0,12,14,16,18,30,31,33,34,36,],[3,21,23,25,27,40,41,42,43,45,]),'atom':([0,12,14,16,18,30,31,33,34,36,],[7,7,7,7,7,7,7,7,7,7,]),}

_lr_goto = { }
for _k, _v in _lr_goto_items.items():
   for _x,_y in zip(_v[0],_v[1]):
       if not _x in _lr_goto: _lr_goto[_x] = { }
       _lr_goto[_x][_k] = _y
del _lr_goto_items
_lr_productions = [
  ("S' -> for","S'",1,None,None,None),
  ('for -> atom','for',1,'p_forAt','/Users/camilothorne/workspace2/boxer/fol2tptp/wrapper.py',144),
  ('for -> NEG LP for RP','for',4,'p_forNEG','/Users/camilothorne/workspace2/boxer/fol2tptp/wrapper.py',150),
  ('for -> AND LP for COMMA for RP','for',6,'p_forAND','/Users/camilothorne/workspace2/boxer/fol2tptp/wrapper.py',156),
  ('for -> SOME LP VAR COMMA for RP','for',6,'p_forSOME','/Users/camilothorne/workspace2/boxer/fol2tptp/wrapper.py',162),
  ('for -> OR LP for COMMA for RP','for',6,'p_forOR','/Users/camilothorne/workspace2/boxer/fol2tptp/wrapper.py',168),
  ('for -> IMP LP for COMMA for RP','for',6,'p_forIMP','/Users/camilothorne/workspace2/boxer/fol2tptp/wrapper.py',174),
  ('for -> ALL LP VAR COMMA for RP','for',6,'p_forALL','/Users/camilothorne/workspace2/boxer/fol2tptp/wrapper.py',180),
  ('atom -> PRED LP VAR RP','atom',4,'p_atom1','/Users/camilothorne/workspace2/boxer/fol2tptp/wrapper.py',191),
  ('atom -> PRED LP VAR COMMA VAR RP','atom',6,'p_atom2','/Users/camilothorne/workspace2/boxer/fol2tptp/wrapper.py',196),
  ('atom -> EQ LP VAR COMMA VAR RP','atom',6,'p_atom3','/Users/camilothorne/workspace2/boxer/fol2tptp/wrapper.py',201),
  ('atom -> CARD LP VAR COMMA VAR RP','atom',6,'p_atom4','/Users/camilothorne/workspace2/boxer/fol2tptp/wrapper.py',206),
]

7b37b87c3f350b5a792b2ca8c10a17372009ef9f
<mask token>

<mask token>
for _k, _v in _lr_action_items.items():
    for _x, _y in zip(_v[0], _v[1]):
        if not _x in _lr_action:
            _lr_action[_x] = {}
        _lr_action[_x][_k] = _y
del _lr_action_items
<mask token>
for _k, _v in _lr_goto_items.items():
    for _x, _y in zip(_v[0], _v[1]):
        if not _x in _lr_goto:
            _lr_goto[_x] = {}
        _lr_goto[_x][_k] = _y
del _lr_goto_items
<mask token>

_tabversion = '3.2'
_lr_method = 'LALR'
_lr_signature = 'â\x88\x87c0X\x14g\x1aYÁ.Nº¤\x9c'
_lr_action_items = {'AND': ([0, 12, 14, 16, 18, 30, 31, 33, 34, 36], [1, 1,
    1, 1, 1, 1, 1, 1, 1, 1]), 'ALL': ([0, 12, 14, 16, 18, 30, 31, 33, 34, 
    36], [2, 2, 2, 2, 2, 2, 2, 2, 2, 2]), 'RP': ([7, 23, 29, 32, 39, 40, 41,
    42, 43, 44, 45, 46, 47, 48, 49, 50, 51, 52, 53, 54, 55], [-1, 32, 39, -
    2, -8, 48, 49, 50, 51, 52, 53, 54, 55, -3, -7, -4, -6, -10, -5, -11, -9
    ]), 'NEG': ([0, 12, 14, 16, 18, 30, 31, 33, 34, 36], [4, 4, 4, 4, 4, 4,
    4, 4, 4, 4]), 'SOME': ([0, 12, 14, 16, 18, 30, 31, 33, 34, 36], [5, 5, 
    5, 5, 5, 5, 5, 5, 5, 5]), 'IMP': ([0, 12, 14, 16, 18, 30, 31, 33, 34, 
    36], [6, 6, 6, 6, 6, 6, 6, 6, 6, 6]), 'COMMA': ([7, 21, 22, 24, 25, 26,
    27, 28, 29, 32, 39, 48, 49, 50, 51, 52, 53, 54, 55], [-1, 30, 31, 33, 
    34, 35, 36, 37, 38, -2, -8, -3, -7, -4, -6, -10, -5, -11, -9]), 'LP': (
    [1, 2, 4, 5, 6, 8, 9, 10, 11], [12, 13, 14, 15, 16, 17, 18, 19, 20]),
    'PRED': ([0, 12, 14, 16, 18, 30, 31, 33, 34, 36], [11, 11, 11, 11, 11, 
    11, 11, 11, 11, 11]), 'VAR': ([13, 15, 17, 19, 20, 35, 37, 38], [22, 24,
    26, 28, 29, 44, 46, 47]), 'EQ': ([0, 12, 14, 16, 18, 30, 31, 33, 34, 36
    ], [8, 8, 8, 8, 8, 8, 8, 8, 8, 8]), 'OR': ([0, 12, 14, 16, 18, 30, 31, 
    33, 34, 36], [9, 9, 9, 9, 9, 9, 9, 9, 9, 9]), 'CARD': ([0, 12, 14, 16, 
    18, 30, 31, 33, 34, 36], [10, 10, 10, 10, 10, 10, 10, 10, 10, 10]),
    '$end': ([3, 7, 32, 39, 48, 49, 50, 51, 52, 53, 54, 55], [0, -1, -2, -8,
    -3, -7, -4, -6, -10, -5, -11, -9])}
_lr_action = {}
for _k, _v in _lr_action_items.items():
    for _x, _y in zip(_v[0], _v[1]):
        if not _x in _lr_action:
            _lr_action[_x] = {}
        _lr_action[_x][_k] = _y
del _lr_action_items
_lr_goto_items = {'for': ([0, 12, 14, 16, 18, 30, 31, 33, 34, 36], [3, 21, 
    23, 25, 27, 40, 41, 42, 43, 45]), 'atom': ([0, 12, 14, 16, 18, 30, 31, 
    33, 34, 36], [7, 7, 7, 7, 7, 7, 7, 7, 7, 7])}
_lr_goto = {}
for _k, _v in _lr_goto_items.items():
    for _x, _y in zip(_v[0], _v[1]):
        if not _x in _lr_goto:
            _lr_goto[_x] = {}
        _lr_goto[_x][_k] = _y
del _lr_goto_items
_lr_productions = [("S' -> for", "S'", 1, None, None, None), ('for -> atom',
    'for', 1, 'p_forAt',
    '/Users/camilothorne/workspace2/boxer/fol2tptp/wrapper.py', 144), (
    'for -> NEG LP for RP', 'for', 4, 'p_forNEG',
    '/Users/camilothorne/workspace2/boxer/fol2tptp/wrapper.py', 150), (
    'for -> AND LP for COMMA for RP', 'for', 6, 'p_forAND',
    '/Users/camilothorne/workspace2/boxer/fol2tptp/wrapper.py', 156), (
    'for -> SOME LP VAR COMMA for RP', 'for', 6, 'p_forSOME',
    '/Users/camilothorne/workspace2/boxer/fol2tptp/wrapper.py', 162), (
    'for -> OR LP for COMMA for RP', 'for', 6, 'p_forOR',
    '/Users/camilothorne/workspace2/boxer/fol2tptp/wrapper.py', 168), (
    'for -> IMP LP for COMMA for RP', 'for', 6, 'p_forIMP',
    '/Users/camilothorne/workspace2/boxer/fol2tptp/wrapper.py', 174), (
    'for -> ALL LP VAR COMMA for RP', 'for', 6, 'p_forALL',
    '/Users/camilothorne/workspace2/boxer/fol2tptp/wrapper.py', 180), (
    'atom -> PRED LP VAR RP', 'atom', 4, 'p_atom1',
    '/Users/camilothorne/workspace2/boxer/fol2tptp/wrapper.py', 191), (
    'atom -> PRED LP VAR COMMA VAR RP', 'atom', 6, 'p_atom2',
    '/Users/camilothorne/workspace2/boxer/fol2tptp/wrapper.py', 196), (
    'atom -> EQ LP VAR COMMA VAR RP', 'atom', 6, 'p_atom3',
    '/Users/camilothorne/workspace2/boxer/fol2tptp/wrapper.py', 201), (
    'atom -> CARD LP VAR COMMA VAR RP', 'atom', 6, 'p_atom4',
    '/Users/camilothorne/workspace2/boxer/fol2tptp/wrapper.py', 206)]


# parsetab.py
# This file is automatically generated. Do not edit.
_tabversion = '3.2'

_lr_method = 'LALR'

_lr_signature = '\xe2\x88\x87c0X\x14g\x1aY\xc1.N\xba\xa4\x9c'
    
_lr_action_items = {'AND':([0,12,14,16,18,30,31,33,34,36,],[1,1,1,1,1,1,1,1,1,1,]),'ALL':([0,12,14,16,18,30,31,33,34,36,],[2,2,2,2,2,2,2,2,2,2,]),'RP':([7,23,29,32,39,40,41,42,43,44,45,46,47,48,49,50,51,52,53,54,55,],[-1,32,39,-2,-8,48,49,50,51,52,53,54,55,-3,-7,-4,-6,-10,-5,-11,-9,]),'NEG':([0,12,14,16,18,30,31,33,34,36,],[4,4,4,4,4,4,4,4,4,4,]),'SOME':([0,12,14,16,18,30,31,33,34,36,],[5,5,5,5,5,5,5,5,5,5,]),'IMP':([0,12,14,16,18,30,31,33,34,36,],[6,6,6,6,6,6,6,6,6,6,]),'COMMA':([7,21,22,24,25,26,27,28,29,32,39,48,49,50,51,52,53,54,55,],[-1,30,31,33,34,35,36,37,38,-2,-8,-3,-7,-4,-6,-10,-5,-11,-9,]),'LP':([1,2,4,5,6,8,9,10,11,],[12,13,14,15,16,17,18,19,20,]),'PRED':([0,12,14,16,18,30,31,33,34,36,],[11,11,11,11,11,11,11,11,11,11,]),'VAR':([13,15,17,19,20,35,37,38,],[22,24,26,28,29,44,46,47,]),'EQ':([0,12,14,16,18,30,31,33,34,36,],[8,8,8,8,8,8,8,8,8,8,]),'OR':([0,12,14,16,18,30,31,33,34,36,],[9,9,9,9,9,9,9,9,9,9,]),'CARD':([0,12,14,16,18,30,31,33,34,36,],[10,10,10,10,10,10,10,10,10,10,]),'$end':([3,7,32,39,48,49,50,51,52,53,54,55,],[0,-1,-2,-8,-3,-7,-4,-6,-10,-5,-11,-9,]),}

_lr_action = { }
for _k, _v in _lr_action_items.items():
   for _x,_y in zip(_v[0],_v[1]):
      if not _x in _lr_action:  _lr_action[_x] = { }
      _lr_action[_x][_k] = _y
del _lr_action_items

_lr_goto_items = {'for':([0,12,14,16,18,30,31,33,34,36,],[3,21,23,25,27,40,41,42,43,45,]),'atom':([0,12,14,16,18,30,31,33,34,36,],[7,7,7,7,7,7,7,7,7,7,]),}

_lr_goto = { }
for _k, _v in _lr_goto_items.items():
   for _x,_y in zip(_v[0],_v[1]):
       if not _x in _lr_goto: _lr_goto[_x] = { }
       _lr_goto[_x][_k] = _y
del _lr_goto_items
_lr_productions = [
  ("S' -> for","S'",1,None,None,None),
  ('for -> atom','for',1,'p_forAt','/Users/camilothorne/workspace2/boxer/fol2tptp/wrapper.py',144),
  ('for -> NEG LP for RP','for',4,'p_forNEG','/Users/camilothorne/workspace2/boxer/fol2tptp/wrapper.py',150),
  ('for -> AND LP for COMMA for RP','for',6,'p_forAND','/Users/camilothorne/workspace2/boxer/fol2tptp/wrapper.py',156),
  ('for -> SOME LP VAR COMMA for RP','for',6,'p_forSOME','/Users/camilothorne/workspace2/boxer/fol2tptp/wrapper.py',162),
  ('for -> OR LP for COMMA for RP','for',6,'p_forOR','/Users/camilothorne/workspace2/boxer/fol2tptp/wrapper.py',168),
  ('for -> IMP LP for COMMA for RP','for',6,'p_forIMP','/Users/camilothorne/workspace2/boxer/fol2tptp/wrapper.py',174),
  ('for -> ALL LP VAR COMMA for RP','for',6,'p_forALL','/Users/camilothorne/workspace2/boxer/fol2tptp/wrapper.py',180),
  ('atom -> PRED LP VAR RP','atom',4,'p_atom1','/Users/camilothorne/workspace2/boxer/fol2tptp/wrapper.py',191),
  ('atom -> PRED LP VAR COMMA VAR RP','atom',6,'p_atom2','/Users/camilothorne/workspace2/boxer/fol2tptp/wrapper.py',196),
  ('atom -> EQ LP VAR COMMA VAR RP','atom',6,'p_atom3','/Users/camilothorne/workspace2/boxer/fol2tptp/wrapper.py',201),
  ('atom -> CARD LP VAR COMMA VAR RP','atom',6,'p_atom4','/Users/camilothorne/workspace2/boxer/fol2tptp/wrapper.py',206),
]
