INFO: Hello Russell!
INFO: stt enter stt id = ?
INFO: stt path 1
INFO: stt path 1 sttnstrings = 1
INFO: stt enter stt id = +=
INFO: stt path 1
INFO: stt path 1 sttnstrings = 2
INFO: stt enter stt id = -=
INFO: stt path 1
INFO: stt path 1 sttnstrings = 3
INFO: stt enter stt id = :=
INFO: stt path 1
INFO: stt path 1 sttnstrings = 4
INFO: stt enter stt id = or
INFO: stt path 1
INFO: stt path 1 sttnstrings = 5
INFO: stt enter stt id = and
INFO: stt path 1
INFO: stt path 1 sttnstrings = 6
INFO: stt enter stt id = not
INFO: stt path 1
INFO: stt path 1 sttnstrings = 7
INFO: stt enter stt id = :=
INFO: stt path 2
INFO: stt path 2 it = 4
INFO: stt enter stt id = <
INFO: stt path 1
INFO: stt path 1 sttnstrings = 8
INFO: stt enter stt id = <:=
INFO: stt path 1
INFO: stt path 1 sttnstrings = 9
INFO: stt enter stt id = >:=
INFO: stt path 1
INFO: stt path 1 sttnstrings = 10
INFO: stt enter stt id = <>
INFO: stt path 1
INFO: stt path 1 sttnstrings = 11
INFO: stt enter stt id = >
INFO: stt path 1
INFO: stt path 1 sttnstrings = 12
INFO: stt enter stt id = +
INFO: stt path 1
INFO: stt path 1 sttnstrings = 13
INFO: stt enter stt id = -
INFO: stt path 1
INFO: stt path 1 sttnstrings = 14
INFO: stt enter stt id = *
INFO: stt path 1
INFO: stt path 1 sttnstrings = 15
INFO: stt enter stt id = /
INFO: stt path 1
INFO: stt path 1 sttnstrings = 16
INFO: stt enter stt id = %
INFO: stt path 1
INFO: stt path 1 sttnstrings = 17
INFO: stt enter stt id = ^+
INFO: stt path 1
INFO: stt path 1 sttnstrings = 18
INFO: stt enter stt id = ^*
INFO: stt path 1
INFO: stt path 1 sttnstrings = 19
INFO: stt enter stt id = **
INFO: stt path 1
INFO: stt path 1 sttnstrings = 20
INFO: stt enter stt id = ^
INFO: stt path 1
INFO: stt path 1 sttnstrings = 21
INFO: stt enter stt id = .
INFO: stt path 1
INFO: stt path 1 sttnstrings = 22
INFO: stt enter stt id = New
INFO: stt path 1
INFO: stt path 1 sttnstrings = 23
INFO: stt enter stt id = ptr_New
INFO: stt path 1
INFO: stt path 1 sttnstrings = 24
INFO: stt enter stt id = init_New
INFO: stt path 1
INFO: stt path 1 sttnstrings = 25
INFO: stt enter stt id = V
INFO: stt path 1
INFO: stt path 1 sttnstrings = 26
INFO: stt enter stt id = First
INFO: stt path 1
INFO: stt path 1 sttnstrings = 27
INFO: stt enter stt id = Last
INFO: stt path 1
INFO: stt path 1 sttnstrings = 28
INFO: stt enter stt id = Pred
INFO: stt path 1
INFO: stt path 1 sttnstrings = 29
INFO: stt enter stt id = Succ
INFO: stt path 1
INFO: stt path 1 sttnstrings = 30
INFO: stt enter stt id = Ord
INFO: stt path 1
INFO: stt path 1 sttnstrings = 31
INFO: stt enter stt id = OrdInv
INFO: stt path 1
INFO: stt path 1 sttnstrings = 32
INFO: stt enter stt id = Card
INFO: stt path 1
INFO: stt path 1 sttnstrings = 33
INFO: stt enter stt id = In
INFO: stt path 1
INFO: stt path 1 sttnstrings = 34
INFO: stt enter stt id = Out
INFO: stt path 1
INFO: stt path 1 sttnstrings = 35
INFO: stt enter stt id = Boolean
INFO: stt path 1
INFO: stt path 1 sttnstrings = 36
INFO: stt enter stt id = True
INFO: stt path 1
INFO: stt path 1 sttnstrings = 37
INFO: stt enter stt id = False
INFO: stt path 1
INFO: stt path 1 sttnstrings = 38
INFO: stt enter stt id = Short
INFO: stt path 1
INFO: stt path 1 sttnstrings = 39
INFO: stt enter stt id = Void
INFO: stt path 1
INFO: stt path 1 sttnstrings = 40
INFO: stt enter stt id = Array
INFO: stt path 1
INFO: stt path 1 sttnstrings = 41
INFO: stt enter stt id = put
INFO: stt path 1
INFO: stt path 1 sttnstrings = 42
INFO: stt enter stt id = Callcc
INFO: stt path 1
INFO: stt path 1 sttnstrings = 43
INFO: stt enter stt id = size
INFO: stt path 1
INFO: stt path 1 sttnstrings = 44
INFO: stt enter stt id = ''
INFO: stt path 1
INFO: stt path 1 sttnstrings = 45
INFO: stt enter stt id = simple
INFO: stt path 1
INFO: stt path 1 sttnstrings = 46
INFO: stt enter stt id = standard
INFO: stt path 1
INFO: stt path 1 sttnstrings = 47
INFO: stt enter stt id = inline
INFO: stt path 1
INFO: stt path 1 sttnstrings = 48
INFO: stt enter stt id = Mk
INFO: stt path 1
INFO: stt path 1 sttnstrings = 49
INFO: stt enter stt id = Null
INFO: stt path 1
INFO: stt path 1 sttnstrings = 50
INFO: mknode va_alist
INFO: mknode va_alist
INFO: mknode va_alist
INFO: mknode va_alist
INFO: mknode va_alist
INFO: mknode va_alist
INFO: mknode va_alist
INFO: mknode va_alist
INFO: mknode va_alist
INFO: mknode va_alist
INFO: mknode va_alist
INFO: mknode va_alist
INFO: mknode va_alist
INFO: mknode va_alist
INFO: mknode va_alist
INFO: mknode va_alist
INFO: mknode va_alist
INFO: mknode va_alist
INFO: mknode va_alist
INFO: mknode va_alist
INFO: mknode va_alist
INFO: mknode va_alist
INFO: mknode va_alist
INFO: mknode va_alist
INFO: mknode va_alist
INFO: mknode va_alist
INFO: mknode va_alist
INFO: mknode va_alist
INFO: mknode va_alist
INFO: mknode va_alist
INFO: mknode va_alist
INFO: mknode va_alist
INFO: mklist va_alist
INFO: mknode va_alist
INFO: mklist type p = ParameterNode__state
INFO: mklist type p = ParameterNode__state
INFO: mklist va_alist
INFO: mknode va_alist
INFO: mklist type p = ParameterNode__state
INFO: mklist type p = ParameterNode__state
INFO: mklist va_alist
INFO: mknode va_alist
INFO: mklist type p = ParameterNode__state
INFO: mklist type p = ParameterNode__state
INFO: mknode va_alist
INFO: mknode va_alist
INFO: mknode va_alist
INFO: mknode va_alist
INFO: mknode va_alist
INFO: mknode va_alist
INFO: mknode va_alist
INFO: mknode va_alist
INFO: mknode va_alist
INFO: mknode va_alist
INFO: mknode va_alist
INFO: mknode va_alist
INFO: mklist va_alist
INFO: mknode va_alist
INFO: mklist type p = ParameterNode__state
INFO: mknode va_alist
INFO: mknode va_alist
INFO: mknode va_alist
INFO: mknode va_alist
INFO: mknode va_alist
INFO: mknode va_alist
INFO: mknode va_alist
INFO: mknode va_alist
INFO: mknode va_alist
INFO: mknode va_alist
INFO: mknode va_alist
INFO: mknode va_alist
INFO: mknode va_alist
INFO: stt enter stt id = init.r
INFO: stt path 1
INFO: stt path 1 sttnstrings = 51
INFO: Calling yyparse
INFO: cclass1 c = 

INFO: cclass WHTCC
INFO: getchr linebuf = 
INFO: in while *linebuf = 2
INFO:  after read linebuf =  
INFO: ch =  
INFO: scan getchr read linebuf = ch =  
INFO: cclass1 c =  
INFO: cclass c =  cctab[c] = 1
INFO: getchr linebuf = 
INFO: in while *linebuf = 1
INFO:  after read linebuf = 
INFO: ch = 
INFO: scan getchr read linebuf = ch = 
INFO: cclass1 c = 
INFO: cclass c = cctab[c] = 4
INFO: getchr linebuf = 
INFO: in while *linebuf = 1
INFO:  after read linebuf =  
INFO: ch =  
INFO: scan getchr read linebuf = ch =  
INFO: SEP p =  c =   outtok = 2
INFO: Parser: action = 1
INFO: Parser: action = 52
INFO: mknode va_alist
INFO: mknode va_alist
INFO: mknode va_alist
INFO: mknode va_alist
INFO: Parser: action = 50
INFO: Parser: action = 2
INFO: cclass1 c =  
INFO: cclass c =  cctab[c] = 1
INFO: getchr linebuf = 
INFO: cclass1 c = -1
INFO: cclass EOFCC
INFO: Parser: Program accepted!!!!
INFO: stt enter stt id = fact.r
INFO: stt path 1
INFO: stt path 1 sttnstrings = 52
INFO: Calling yyparse
INFO: pend[1] = 4
INFO: pend[2] = 5
INFO: pend[3] = 5
INFO: pend[4] = 5
INFO: pend[5] = 5
INFO: pend[6] = 6
INFO: pend[7] = 7
INFO: pend[8] = 12
INFO: pend[9] = 14
INFO: pend[10] = 17
INFO: pend[11] = 19
INFO: pend[12] = 20
INFO: pend[13] = 21
INFO: pend[14] = 22
INFO: cclass1 c = 

INFO: cclass WHTCC
INFO: getchr linebuf = 
INFO: in while *linebuf = 1
INFO:  after read linebuf =  
INFO: ch =  
INFO: scan getchr read linebuf = ch =  
INFO: cclass1 c =  
INFO: cclass c =  cctab[c] = 1
INFO: getchr linebuf = 
INFO: in while *linebuf = 4
INFO:  after read linebuf =  let
INFO: ch =  
INFO: scan getchr read linebuf = letch =  
INFO: cclass1 c =  
INFO: cclass c =  cctab[c] = 1
INFO: getchr linebuf = let
INFO: in while *linebuf = 3
INFO:  after read linebuf = let
INFO: ch = l
INFO: scan getchr read linebuf = etch = l
INFO: cclass1 c = l
INFO: cclass c = lcctab[c] = 2
INFO: getchr linebuf = et
INFO: in while *linebuf = 2
INFO:  after read linebuf = et
INFO: ch = e
INFO: scan getchr read linebuf = tch = e
INFO: cclass1 c = e
INFO: cclass c = ecctab[c] = 2
INFO: getchr linebuf = t
INFO: in while *linebuf = 1
INFO:  after read linebuf = t
INFO: ch = t
INFO: scan getchr read linebuf = ch = t
INFO: cclass1 c = t
INFO: cclass c = tcctab[c] = 2
INFO: getchr linebuf = 
INFO: in while *linebuf = 1
INFO:  after read linebuf =  
INFO: ch =  
INFO: scan getchr read linebuf = ch =  
INFO: cclass1 c =  
INFO: cclass c =  cctab[c] = 1
INFO: reschk_id p = let
INFO: Parser: action = 1
INFO: cclass1 c =  
INFO: cclass c =  cctab[c] = 1
INFO: getchr linebuf = 
INFO: in while *linebuf = 32
INFO:  after read linebuf =      ! == func [ n : val Short ]
INFO: ch =  
INFO: scan getchr read linebuf =     ! == func [ n : val Short ]ch =  
INFO: cclass1 c =  
INFO: cclass c =  cctab[c] = 1
INFO: getchr linebuf =     ! == func [ n : val Short ]
INFO: in while *linebuf = 31
INFO:  after read linebuf =     ! == func [ n : val Short ]
INFO: ch =  
INFO: scan getchr read linebuf =    ! == func [ n : val Short ]ch =  
INFO: cclass1 c =  
INFO: cclass c =  cctab[c] = 1
INFO: getchr linebuf =    ! == func [ n : val Short ]
INFO: in while *linebuf = 30
INFO:  after read linebuf =    ! == func [ n : val Short ]
INFO: ch =  
INFO: scan getchr read linebuf =   ! == func [ n : val Short ]ch =  
INFO: cclass1 c =  
INFO: cclass c =  cctab[c] = 1
INFO: getchr linebuf =   ! == func [ n : val Short ]
INFO: in while *linebuf = 29
INFO:  after read linebuf =   ! == func [ n : val Short ]
INFO: ch =  
INFO: scan getchr read linebuf =  ! == func [ n : val Short ]ch =  
INFO: cclass1 c =  
INFO: cclass c =  cctab[c] = 1
INFO: getchr linebuf =  ! == func [ n : val Short ]
INFO: in while *linebuf = 28
INFO:  after read linebuf =  ! == func [ n : val Short ]
INFO: ch =  
INFO: scan getchr read linebuf = ! == func [ n : val Short ]ch =  
INFO: cclass1 c =  
INFO: cclass c =  cctab[c] = 1
INFO: getchr linebuf = ! == func [ n : val Short ]
INFO: in while *linebuf = 27
INFO:  after read linebuf = ! == func [ n : val Short ]
INFO: ch = !
INFO: scan getchr read linebuf =  == func [ n : val Short ]ch = !
INFO: cclass1 c = !
INFO: cclass c = !cctab[c] = 5
INFO: getchr linebuf =  == func [ n : val Short ]
INFO: in while *linebuf = 26
INFO:  after read linebuf =  == func [ n : val Short ]
INFO: ch =  
INFO: scan getchr read linebuf = == func [ n : val Short ]ch =  
INFO: cclass1 c =  
INFO: cclass c =  cctab[c] = 1
INFO: reschk_op p = !
INFO: stt enter stt id = !
INFO: stt path 1
INFO: stt path 1 sttnstrings = 53
INFO: Parser: action = 145
INFO: mknode va_alist
INFO: mknode va_alist
INFO: Parser: action = 15
INFO: mklist va_alist
INFO: mknode va_alist
INFO: mklist type p = OpridNode__state
INFO: cclass1 c =  
INFO: cclass c =  cctab[c] = 1
INFO: getchr linebuf = == func [ n : val Short ]
INFO: in while *linebuf = 25
INFO:  after read linebuf = == func [ n : val Short ]
INFO: ch = =
INFO: scan getchr read linebuf = = func [ n : val Short ]ch = =
INFO: cclass1 c = =
INFO: cclass c = =cctab[c] = 5
INFO: getchr linebuf = = func [ n : val Short ]
INFO: in while *linebuf = 24
INFO:  after read linebuf = = func [ n : val Short ]
INFO: ch = =
INFO: scan getchr read linebuf =  func [ n : val Short ]ch = =
INFO: cclass1 c = =
INFO: cclass c = =cctab[c] = 5
INFO: getchr linebuf =  func [ n : val Short ]
INFO: in while *linebuf = 23
INFO:  after read linebuf =  func [ n : val Short ]
INFO: ch =  
INFO: scan getchr read linebuf = func [ n : val Short ]ch =  
INFO: cclass1 c =  
INFO: cclass c =  cctab[c] = 1
INFO: reschk_op p = ==
INFO: Parser: action = 102
INFO: cclass1 c =  
INFO: cclass c =  cctab[c] = 1
INFO: getchr linebuf = func [ n : val Short ]
INFO: in while *linebuf = 22
INFO:  after read linebuf = func [ n : val Short ]
INFO: ch = f
INFO: scan getchr read linebuf = unc [ n : val Short ]ch = f
INFO: cclass1 c = f
INFO: cclass c = fcctab[c] = 2
INFO: getchr linebuf = unc [ n : val Short ]
INFO: in while *linebuf = 21
INFO:  after read linebuf = unc [ n : val Short ]
INFO: ch = u
INFO: scan getchr read linebuf = nc [ n : val Short ]ch = u
INFO: cclass1 c = u
INFO: cclass c = ucctab[c] = 2
INFO: getchr linebuf = nc [ n : val Short ]
INFO: in while *linebuf = 20
INFO:  after read linebuf = nc [ n : val Short ]
INFO: ch = n
INFO: scan getchr read linebuf = c [ n : val Short ]ch = n
INFO: cclass1 c = n
INFO: cclass c = ncctab[c] = 2
INFO: getchr linebuf = c [ n : val Short ]
INFO: in while *linebuf = 19
INFO:  after read linebuf = c [ n : val Short ]
INFO: ch = c
INFO: scan getchr read linebuf =  [ n : val Short ]ch = c
INFO: cclass1 c = c
INFO: cclass c = ccctab[c] = 2
INFO: getchr linebuf =  [ n : val Short ]
INFO: in while *linebuf = 18
INFO:  after read linebuf =  [ n : val Short ]
INFO: ch =  
INFO: scan getchr read linebuf = [ n : val Short ]ch =  
INFO: cclass1 c =  
INFO: cclass c =  cctab[c] = 1
INFO: reschk_id p = func
INFO: cclass1 c =  
INFO: cclass c =  cctab[c] = 1
INFO: getchr linebuf = [ n : val Short ]
INFO: in while *linebuf = 17
INFO:  after read linebuf = [ n : val Short ]
INFO: ch = [
INFO: scan getchr read linebuf =  n : val Short ]ch = [
INFO: cclass1 c = [
INFO: cclass c = [cctab[c] = 4
INFO: getchr linebuf =  n : val Short ]
INFO: in while *linebuf = 16
INFO:  after read linebuf =  n : val Short ]
INFO: ch =  
INFO: scan getchr read linebuf = n : val Short ]ch =  
INFO: SEP p = [ c =   outtok = 91
INFO: Parser: action = 32
INFO: cclass1 c =  
INFO: cclass c =  cctab[c] = 1
INFO: getchr linebuf = n : val Short ]
INFO: in while *linebuf = 15
INFO:  after read linebuf = n : val Short ]
INFO: ch = n
INFO: scan getchr read linebuf =  : val Short ]ch = n
INFO: cclass1 c = n
INFO: cclass c = ncctab[c] = 2
INFO: getchr linebuf =  : val Short ]
INFO: in while *linebuf = 14
INFO:  after read linebuf =  : val Short ]
INFO: ch =  
INFO: scan getchr read linebuf = : val Short ]ch =  
INFO: cclass1 c =  
INFO: cclass c =  cctab[c] = 1
INFO: reschk_id p = n
INFO: stt enter stt id = n
INFO: stt path 1
INFO: stt path 1 sttnstrings = 54
INFO: Parser: action = 144
INFO: mknode va_alist
INFO: mknode va_alist
INFO: cclass1 c =  
INFO: cclass c =  cctab[c] = 1
INFO: getchr linebuf = : val Short ]
INFO: in while *linebuf = 13
INFO:  after read linebuf = : val Short ]
INFO: ch = :
INFO: scan getchr read linebuf =  val Short ]ch = :
INFO: cclass1 c = :
INFO: cclass c = :cctab[c] = 5
INFO: getchr linebuf =  val Short ]
INFO: in while *linebuf = 12
INFO:  after read linebuf =  val Short ]
INFO: ch =  
INFO: scan getchr read linebuf = val Short ]ch =  
INFO: cclass1 c =  
INFO: cclass c =  cctab[c] = 1
INFO: reschk_op p = :
INFO: Parser: action = 15
INFO: mklist va_alist
INFO: mknode va_alist
INFO: mklist type p = LetterId__state
INFO: Parser: action = 9
INFO: cclass1 c =  
INFO: cclass c =  cctab[c] = 1
INFO: getchr linebuf = val Short ]
INFO: in while *linebuf = 11
INFO:  after read linebuf = val Short ]
INFO: ch = v
INFO: scan getchr read linebuf = al Short ]ch = v
INFO: cclass1 c = v
INFO: cclass c = vcctab[c] = 2
INFO: getchr linebuf = al Short ]
INFO: in while *linebuf = 10
INFO:  after read linebuf = al Short ]
INFO: ch = a
INFO: scan getchr read linebuf = l Short ]ch = a
INFO: cclass1 c = a
INFO: cclass c = acctab[c] = 2
INFO: getchr linebuf = l Short ]
INFO: in while *linebuf = 9
INFO:  after read linebuf = l Short ]
INFO: ch = l
INFO: scan getchr read linebuf =  Short ]ch = l
INFO: cclass1 c = l
INFO: cclass c = lcctab[c] = 2
INFO: getchr linebuf =  Short ]
INFO: in while *linebuf = 8
INFO:  after read linebuf =  Short ]
INFO: ch =  
INFO: scan getchr read linebuf = Short ]ch =  
INFO: cclass1 c =  
INFO: cclass c =  cctab[c] = 1
INFO: reschk_id p = val
INFO: cclass1 c =  
INFO: cclass c =  cctab[c] = 1
INFO: getchr linebuf = Short ]
INFO: in while *linebuf = 7
INFO:  after read linebuf = Short ]
INFO: ch = S
INFO: scan getchr read linebuf = hort ]ch = S
INFO: cclass1 c = S
INFO: cclass c = Scctab[c] = 2
INFO: getchr linebuf = hort ]
INFO: in while *linebuf = 6
INFO:  after read linebuf = hort ]
INFO: ch = h
INFO: scan getchr read linebuf = ort ]ch = h
INFO: cclass1 c = h
INFO: cclass c = hcctab[c] = 2
INFO: getchr linebuf = ort ]
INFO: in while *linebuf = 5
INFO:  after read linebuf = ort ]
INFO: ch = o
INFO: scan getchr read linebuf = rt ]ch = o
INFO: cclass1 c = o
INFO: cclass c = occtab[c] = 2
INFO: getchr linebuf = rt ]
INFO: in while *linebuf = 4
INFO:  after read linebuf = rt ]
INFO: ch = r
INFO: scan getchr read linebuf = t ]ch = r
INFO: cclass1 c = r
INFO: cclass c = rcctab[c] = 2
INFO: getchr linebuf = t ]
INFO: in while *linebuf = 3
INFO:  after read linebuf = t ]
INFO: ch = t
INFO: scan getchr read linebuf =  ]ch = t
INFO: cclass1 c = t
INFO: cclass c = tcctab[c] = 2
INFO: getchr linebuf =  ]
INFO: in while *linebuf = 2
INFO:  after read linebuf =  ]
INFO: ch =  
INFO: scan getchr read linebuf = ]ch =  
INFO: cclass1 c =  
INFO: cclass c =  cctab[c] = 1
INFO: reschk_id p = Short
INFO: stt enter stt id = Short
INFO: stt path 2
INFO: stt path 2 it = 39
INFO: Parser: action = 144
INFO: mknode va_alist
INFO: mknode va_alist
INFO: cclass1 c =  
INFO: cclass c =  cctab[c] = 1
INFO: getchr linebuf = ]
INFO: in while *linebuf = 1
INFO:  after read linebuf = ]
INFO: ch = ]
INFO: scan getchr read linebuf = ch = ]
INFO: cclass1 c = ]
INFO: cclass c = ]cctab[c] = 4
INFO: getchr linebuf = 
INFO: in while *linebuf = 20
INFO:  after read linebuf =                  {  
INFO: ch =  
INFO: scan getchr read linebuf =                 {  ch =  
INFO: SEP p = ] c =   outtok = 93
INFO: Parser: action = 134
INFO: Parser: action = 81
INFO: Parser: action = 58
INFO: Parser: action = 53
INFO: mklist va_alist
INFO: mknode va_alist
INFO: mklist type p = LetterId__state
INFO: Parser: action = 51
INFO: mkappl size = 1
INFO: type body i = 1LetterId__state
INFO: mkappl2 head = 1 tail = 1
INFO: mklist va_alist
INFO: mknode va_alist
INFO: mklist type p = LetterId__state
INFO: Parser: action = 21
INFO: mknode va_alist
INFO: Parser: action = 18
INFO: Parser: action = 6
INFO: Parser: action = 11
INFO: Parser: action = 13
INFO: cclass1 c =  
INFO: cclass c =  cctab[c] = 1
INFO: getchr linebuf =                 {  
INFO: in while *linebuf = 19
INFO:  after read linebuf =                 {  
INFO: ch =  
INFO: scan getchr read linebuf =                {  ch =  
INFO: cclass1 c =  
INFO: cclass c =  cctab[c] = 1
INFO: getchr linebuf =                {  
INFO: in while *linebuf = 18
INFO:  after read linebuf =                {  
INFO: ch =  
INFO: scan getchr read linebuf =               {  ch =  
INFO: cclass1 c =  
INFO: cclass c =  cctab[c] = 1
INFO: getchr linebuf =               {  
INFO: in while *linebuf = 17
INFO:  after read linebuf =               {  
INFO: ch =  
INFO: scan getchr read linebuf =              {  ch =  
INFO: cclass1 c =  
INFO: cclass c =  cctab[c] = 1
INFO: getchr linebuf =              {  
INFO: in while *linebuf = 16
INFO:  after read linebuf =              {  
INFO: ch =  
INFO: scan getchr read linebuf =             {  ch =  
INFO: cclass1 c =  
INFO: cclass c =  cctab[c] = 1
INFO: getchr linebuf =             {  
INFO: in while *linebuf = 15
INFO:  after read linebuf =             {  
INFO: ch =  
INFO: scan getchr read linebuf =            {  ch =  
INFO: cclass1 c =  
INFO: cclass c =  cctab[c] = 1
INFO: getchr linebuf =            {  
INFO: in while *linebuf = 14
INFO:  after read linebuf =            {  
INFO: ch =  
INFO: scan getchr read linebuf =           {  ch =  
INFO: cclass1 c =  
INFO: cclass c =  cctab[c] = 1
INFO: getchr linebuf =           {  
INFO: in while *linebuf = 13
INFO:  after read linebuf =           {  
INFO: ch =  
INFO: scan getchr read linebuf =          {  ch =  
INFO: cclass1 c =  
INFO: cclass c =  cctab[c] = 1
INFO: getchr linebuf =          {  
INFO: in while *linebuf = 12
INFO:  after read linebuf =          {  
INFO: ch =  
INFO: scan getchr read linebuf =         {  ch =  
INFO: cclass1 c =  
INFO: cclass c =  cctab[c] = 1
INFO: getchr linebuf =         {  
INFO: in while *linebuf = 11
INFO:  after read linebuf =         {  
INFO: ch =  
INFO: scan getchr read linebuf =        {  ch =  
INFO: cclass1 c =  
INFO: cclass c =  cctab[c] = 1
INFO: getchr linebuf =        {  
INFO: in while *linebuf = 10
INFO:  after read linebuf =        {  
INFO: ch =  
INFO: scan getchr read linebuf =       {  ch =  
INFO: cclass1 c =  
INFO: cclass c =  cctab[c] = 1
INFO: getchr linebuf =       {  
INFO: in while *linebuf = 9
INFO:  after read linebuf =       {  
INFO: ch =  
INFO: scan getchr read linebuf =      {  ch =  
INFO: cclass1 c =  
INFO: cclass c =  cctab[c] = 1
INFO: getchr linebuf =      {  
INFO: in while *linebuf = 8
INFO:  after read linebuf =      {  
INFO: ch =  
INFO: scan getchr read linebuf =     {  ch =  
INFO: cclass1 c =  
INFO: cclass c =  cctab[c] = 1
INFO: getchr linebuf =     {  
INFO: in while *linebuf = 7
INFO:  after read linebuf =     {  
INFO: ch =  
INFO: scan getchr read linebuf =    {  ch =  
INFO: cclass1 c =  
INFO: cclass c =  cctab[c] = 1
INFO: getchr linebuf =    {  
INFO: in while *linebuf = 6
INFO:  after read linebuf =    {  
INFO: ch =  
INFO: scan getchr read linebuf =   {  ch =  
INFO: cclass1 c =  
INFO: cclass c =  cctab[c] = 1
INFO: getchr linebuf =   {  
INFO: in while *linebuf = 5
INFO:  after read linebuf =   {  
INFO: ch =  
INFO: scan getchr read linebuf =  {  ch =  
INFO: cclass1 c =  
INFO: cclass c =  cctab[c] = 1
INFO: getchr linebuf =  {  
INFO: in while *linebuf = 4
INFO:  after read linebuf =  {  
INFO: ch =  
INFO: scan getchr read linebuf = {  ch =  
INFO: cclass1 c =  
INFO: cclass c =  cctab[c] = 1
INFO: getchr linebuf = {  
INFO: in while *linebuf = 3
INFO:  after read linebuf = {  
INFO: ch = {
INFO: scan getchr read linebuf =   ch = {
INFO: cclass1 c = {
INFO: cclass c = {cctab[c] = 4
INFO: getchr linebuf =   
INFO: in while *linebuf = 2
INFO:  after read linebuf =   
INFO: ch =  
INFO: scan getchr read linebuf =  ch =  
INFO: SEP p = { c =   outtok = 123
INFO: Parser: action = 78
INFO: mknode va_alist
INFO: mknode va_alist
INFO: cclass1 c =  
INFO: cclass c =  cctab[c] = 1
INFO: getchr linebuf =  
INFO: in while *linebuf = 1
INFO:  after read linebuf =  
INFO: ch =  
INFO: scan getchr read linebuf = ch =  
INFO: cclass1 c =  
INFO: cclass c =  cctab[c] = 1
INFO: getchr linebuf = 
INFO: in while *linebuf = 24
INFO:  after read linebuf =                      if 
INFO: ch =  
INFO: scan getchr read linebuf =                     if ch =  
INFO: cclass1 c =  
INFO: cclass c =  cctab[c] = 1
INFO: getchr linebuf =                     if 
INFO: in while *linebuf = 23
INFO:  after read linebuf =                     if 
INFO: ch =  
INFO: scan getchr read linebuf =                    if ch =  
INFO: cclass1 c =  
INFO: cclass c =  cctab[c] = 1
INFO: getchr linebuf =                    if 
INFO: in while *linebuf = 22
INFO:  after read linebuf =                    if 
INFO: ch =  
INFO: scan getchr read linebuf =                   if ch =  
INFO: cclass1 c =  
INFO: cclass c =  cctab[c] = 1
INFO: getchr linebuf =                   if 
INFO: in while *linebuf = 21
INFO:  after read linebuf =                   if 
INFO: ch =  
INFO: scan getchr read linebuf =                  if ch =  
INFO: cclass1 c =  
INFO: cclass c =  cctab[c] = 1
INFO: getchr linebuf =                  if 
INFO: in while *linebuf = 20
INFO:  after read linebuf =                  if 
INFO: ch =  
INFO: scan getchr read linebuf =                 if ch =  
INFO: cclass1 c =  
INFO: cclass c =  cctab[c] = 1
INFO: getchr linebuf =                 if 
INFO: in while *linebuf = 19
INFO:  after read linebuf =                 if 
INFO: ch =  
INFO: scan getchr read linebuf =                if ch =  
INFO: cclass1 c =  
INFO: cclass c =  cctab[c] = 1
INFO: getchr linebuf =                if 
INFO: in while *linebuf = 18
INFO:  after read linebuf =                if 
INFO: ch =  
INFO: scan getchr read linebuf =               if ch =  
INFO: cclass1 c =  
INFO: cclass c =  cctab[c] = 1
INFO: getchr linebuf =               if 
INFO: in while *linebuf = 17
INFO:  after read linebuf =               if 
INFO: ch =  
INFO: scan getchr read linebuf =              if ch =  
INFO: cclass1 c =  
INFO: cclass c =  cctab[c] = 1
INFO: getchr linebuf =              if 
INFO: in while *linebuf = 16
INFO:  after read linebuf =              if 
INFO: ch =  
INFO: scan getchr read linebuf =             if ch =  
INFO: cclass1 c =  
INFO: cclass c =  cctab[c] = 1
INFO: getchr linebuf =             if 
INFO: in while *linebuf = 15
INFO:  after read linebuf =             if 
INFO: ch =  
INFO: scan getchr read linebuf =            if ch =  
INFO: cclass1 c =  
INFO: cclass c =  cctab[c] = 1
INFO: getchr linebuf =            if 
INFO: in while *linebuf = 14
INFO:  after read linebuf =            if 
INFO: ch =  
INFO: scan getchr read linebuf =           if ch =  
INFO: cclass1 c =  
INFO: cclass c =  cctab[c] = 1
INFO: getchr linebuf =           if 
INFO: in while *linebuf = 13
INFO:  after read linebuf =           if 
INFO: ch =  
INFO: scan getchr read linebuf =          if ch =  
INFO: cclass1 c =  
INFO: cclass c =  cctab[c] = 1
INFO: getchr linebuf =          if 
INFO: in while *linebuf = 12
INFO:  after read linebuf =          if 
INFO: ch =  
INFO: scan getchr read linebuf =         if ch =  
INFO: cclass1 c =  
INFO: cclass c =  cctab[c] = 1
INFO: getchr linebuf =         if 
INFO: in while *linebuf = 11
INFO:  after read linebuf =         if 
INFO: ch =  
INFO: scan getchr read linebuf =        if ch =  
INFO: cclass1 c =  
INFO: cclass c =  cctab[c] = 1
INFO: getchr linebuf =        if 
INFO: in while *linebuf = 10
INFO:  after read linebuf =        if 
INFO: ch =  
INFO: scan getchr read linebuf =       if ch =  
INFO: cclass1 c =  
INFO: cclass c =  cctab[c] = 1
INFO: getchr linebuf =       if 
INFO: in while *linebuf = 9
INFO:  after read linebuf =       if 
INFO: ch =  
INFO: scan getchr read linebuf =      if ch =  
INFO: cclass1 c =  
INFO: cclass c =  cctab[c] = 1
INFO: getchr linebuf =      if 
INFO: in while *linebuf = 8
INFO:  after read linebuf =      if 
INFO: ch =  
INFO: scan getchr read linebuf =     if ch =  
INFO: cclass1 c =  
INFO: cclass c =  cctab[c] = 1
INFO: getchr linebuf =     if 
INFO: in while *linebuf = 7
INFO:  after read linebuf =     if 
INFO: ch =  
INFO: scan getchr read linebuf =    if ch =  
INFO: cclass1 c =  
INFO: cclass c =  cctab[c] = 1
INFO: getchr linebuf =    if 
INFO: in while *linebuf = 6
INFO:  after read linebuf =    if 
INFO: ch =  
INFO: scan getchr read linebuf =   if ch =  
INFO: cclass1 c =  
INFO: cclass c =  cctab[c] = 1
INFO: getchr linebuf =   if 
INFO: in while *linebuf = 5
INFO:  after read linebuf =   if 
INFO: ch =  
INFO: scan getchr read linebuf =  if ch =  
INFO: cclass1 c =  
INFO: cclass c =  cctab[c] = 1
INFO: getchr linebuf =  if 
INFO: in while *linebuf = 4
INFO:  after read linebuf =  if 
INFO: ch =  
INFO: scan getchr read linebuf = if ch =  
INFO: cclass1 c =  
INFO: cclass c =  cctab[c] = 1
INFO: getchr linebuf = if 
INFO: in while *linebuf = 3
INFO:  after read linebuf = if 
INFO: ch = i
INFO: scan getchr read linebuf = f ch = i
INFO: cclass1 c = i
INFO: cclass c = icctab[c] = 2
INFO: getchr linebuf = f 
INFO: in while *linebuf = 2
INFO:  after read linebuf = f 
INFO: ch = f
INFO: scan getchr read linebuf =  ch = f
INFO: cclass1 c = f
INFO: cclass c = fcctab[c] = 2
INFO: getchr linebuf =  
INFO: in while *linebuf = 1
INFO:  after read linebuf =  
INFO: ch =  
INFO: scan getchr read linebuf = ch =  
INFO: cclass1 c =  
INFO: cclass c =  cctab[c] = 1
INFO: reschk_id p = if
INFO: cclass1 c =  
INFO: cclass c =  cctab[c] = 1
INFO: getchr linebuf = 
INFO: in while *linebuf = 58
INFO:  after read linebuf =                          n > 0 ==> Long$In[n] * ((n - 1)!)
INFO: ch =  
INFO: scan getchr read linebuf =                         n > 0 ==> Long$In[n] * ((n - 1)!)ch =  
INFO: cclass1 c =  
INFO: cclass c =  cctab[c] = 1
INFO: getchr linebuf =                         n > 0 ==> Long$In[n] * ((n - 1)!)
INFO: in while *linebuf = 57
INFO:  after read linebuf =                         n > 0 ==> Long$In[n] * ((n - 1)!)
INFO: ch =  
INFO: scan getchr read linebuf =                        n > 0 ==> Long$In[n] * ((n - 1)!)ch =  
INFO: cclass1 c =  
INFO: cclass c =  cctab[c] = 1
INFO: getchr linebuf =                        n > 0 ==> Long$In[n] * ((n - 1)!)
INFO: in while *linebuf = 56
INFO:  after read linebuf =                        n > 0 ==> Long$In[n] * ((n - 1)!)
INFO: ch =  
INFO: scan getchr read linebuf =                       n > 0 ==> Long$In[n] * ((n - 1)!)ch =  
INFO: cclass1 c =  
INFO: cclass c =  cctab[c] = 1
INFO: getchr linebuf =                       n > 0 ==> Long$In[n] * ((n - 1)!)
INFO: in while *linebuf = 55
INFO:  after read linebuf =                       n > 0 ==> Long$In[n] * ((n - 1)!)
INFO: ch =  
INFO: scan getchr read linebuf =                      n > 0 ==> Long$In[n] * ((n - 1)!)ch =  
INFO: cclass1 c =  
INFO: cclass c =  cctab[c] = 1
INFO: getchr linebuf =                      n > 0 ==> Long$In[n] * ((n - 1)!)
INFO: in while *linebuf = 54
INFO:  after read linebuf =                      n > 0 ==> Long$In[n] * ((n - 1)!)
INFO: ch =  
INFO: scan getchr read linebuf =                     n > 0 ==> Long$In[n] * ((n - 1)!)ch =  
INFO: cclass1 c =  
INFO: cclass c =  cctab[c] = 1
INFO: getchr linebuf =                     n > 0 ==> Long$In[n] * ((n - 1)!)
INFO: in while *linebuf = 53
INFO:  after read linebuf =                     n > 0 ==> Long$In[n] * ((n - 1)!)
INFO: ch =  
INFO: scan getchr read linebuf =                    n > 0 ==> Long$In[n] * ((n - 1)!)ch =  
INFO: cclass1 c =  
INFO: cclass c =  cctab[c] = 1
INFO: getchr linebuf =                    n > 0 ==> Long$In[n] * ((n - 1)!)
INFO: in while *linebuf = 52
INFO:  after read linebuf =                    n > 0 ==> Long$In[n] * ((n - 1)!)
INFO: ch =  
INFO: scan getchr read linebuf =                   n > 0 ==> Long$In[n] * ((n - 1)!)ch =  
INFO: cclass1 c =  
INFO: cclass c =  cctab[c] = 1
INFO: getchr linebuf =                   n > 0 ==> Long$In[n] * ((n - 1)!)
INFO: in while *linebuf = 51
INFO:  after read linebuf =                   n > 0 ==> Long$In[n] * ((n - 1)!)
INFO: ch =  
INFO: scan getchr read linebuf =                  n > 0 ==> Long$In[n] * ((n - 1)!)ch =  
INFO: cclass1 c =  
INFO: cclass c =  cctab[c] = 1
INFO: getchr linebuf =                  n > 0 ==> Long$In[n] * ((n - 1)!)
INFO: in while *linebuf = 50
INFO:  after read linebuf =                  n > 0 ==> Long$In[n] * ((n - 1)!)
INFO: ch =  
INFO: scan getchr read linebuf =                 n > 0 ==> Long$In[n] * ((n - 1)!)ch =  
INFO: cclass1 c =  
INFO: cclass c =  cctab[c] = 1
INFO: getchr linebuf =                 n > 0 ==> Long$In[n] * ((n - 1)!)
INFO: in while *linebuf = 49
INFO:  after read linebuf =                 n > 0 ==> Long$In[n] * ((n - 1)!)
INFO: ch =  
INFO: scan getchr read linebuf =                n > 0 ==> Long$In[n] * ((n - 1)!)ch =  
INFO: cclass1 c =  
INFO: cclass c =  cctab[c] = 1
INFO: getchr linebuf =                n > 0 ==> Long$In[n] * ((n - 1)!)
INFO: in while *linebuf = 48
INFO:  after read linebuf =                n > 0 ==> Long$In[n] * ((n - 1)!)
INFO: ch =  
INFO: scan getchr read linebuf =               n > 0 ==> Long$In[n] * ((n - 1)!)ch =  
INFO: cclass1 c =  
INFO: cclass c =  cctab[c] = 1
INFO: getchr linebuf =               n > 0 ==> Long$In[n] * ((n - 1)!)
INFO: in while *linebuf = 47
INFO:  after read linebuf =               n > 0 ==> Long$In[n] * ((n - 1)!)
INFO: ch =  
INFO: scan getchr read linebuf =              n > 0 ==> Long$In[n] * ((n - 1)!)ch =  
INFO: cclass1 c =  
INFO: cclass c =  cctab[c] = 1
INFO: getchr linebuf =              n > 0 ==> Long$In[n] * ((n - 1)!)
INFO: in while *linebuf = 46
INFO:  after read linebuf =              n > 0 ==> Long$In[n] * ((n - 1)!)
INFO: ch =  
INFO: scan getchr read linebuf =             n > 0 ==> Long$In[n] * ((n - 1)!)ch =  
INFO: cclass1 c =  
INFO: cclass c =  cctab[c] = 1
INFO: getchr linebuf =             n > 0 ==> Long$In[n] * ((n - 1)!)
INFO: in while *linebuf = 45
INFO:  after read linebuf =             n > 0 ==> Long$In[n] * ((n - 1)!)
INFO: ch =  
INFO: scan getchr read linebuf =            n > 0 ==> Long$In[n] * ((n - 1)!)ch =  
INFO: cclass1 c =  
INFO: cclass c =  cctab[c] = 1
INFO: getchr linebuf =            n > 0 ==> Long$In[n] * ((n - 1)!)
INFO: in while *linebuf = 44
INFO:  after read linebuf =            n > 0 ==> Long$In[n] * ((n - 1)!)
INFO: ch =  
INFO: scan getchr read linebuf =           n > 0 ==> Long$In[n] * ((n - 1)!)ch =  
INFO: cclass1 c =  
INFO: cclass c =  cctab[c] = 1
INFO: getchr linebuf =           n > 0 ==> Long$In[n] * ((n - 1)!)
INFO: in while *linebuf = 43
INFO:  after read linebuf =           n > 0 ==> Long$In[n] * ((n - 1)!)
INFO: ch =  
INFO: scan getchr read linebuf =          n > 0 ==> Long$In[n] * ((n - 1)!)ch =  
INFO: cclass1 c =  
INFO: cclass c =  cctab[c] = 1
INFO: getchr linebuf =          n > 0 ==> Long$In[n] * ((n - 1)!)
INFO: in while *linebuf = 42
INFO:  after read linebuf =          n > 0 ==> Long$In[n] * ((n - 1)!)
INFO: ch =  
INFO: scan getchr read linebuf =         n > 0 ==> Long$In[n] * ((n - 1)!)ch =  
INFO: cclass1 c =  
INFO: cclass c =  cctab[c] = 1
INFO: getchr linebuf =         n > 0 ==> Long$In[n] * ((n - 1)!)
INFO: in while *linebuf = 41
INFO:  after read linebuf =         n > 0 ==> Long$In[n] * ((n - 1)!)
INFO: ch =  
INFO: scan getchr read linebuf =        n > 0 ==> Long$In[n] * ((n - 1)!)ch =  
INFO: cclass1 c =  
INFO: cclass c =  cctab[c] = 1
INFO: getchr linebuf =        n > 0 ==> Long$In[n] * ((n - 1)!)
INFO: in while *linebuf = 40
INFO:  after read linebuf =        n > 0 ==> Long$In[n] * ((n - 1)!)
INFO: ch =  
INFO: scan getchr read linebuf =       n > 0 ==> Long$In[n] * ((n - 1)!)ch =  
INFO: cclass1 c =  
INFO: cclass c =  cctab[c] = 1
INFO: getchr linebuf =       n > 0 ==> Long$In[n] * ((n - 1)!)
INFO: in while *linebuf = 39
INFO:  after read linebuf =       n > 0 ==> Long$In[n] * ((n - 1)!)
INFO: ch =  
INFO: scan getchr read linebuf =      n > 0 ==> Long$In[n] * ((n - 1)!)ch =  
INFO: cclass1 c =  
INFO: cclass c =  cctab[c] = 1
INFO: getchr linebuf =      n > 0 ==> Long$In[n] * ((n - 1)!)
INFO: in while *linebuf = 38
INFO:  after read linebuf =      n > 0 ==> Long$In[n] * ((n - 1)!)
INFO: ch =  
INFO: scan getchr read linebuf =     n > 0 ==> Long$In[n] * ((n - 1)!)ch =  
INFO: cclass1 c =  
INFO: cclass c =  cctab[c] = 1
INFO: getchr linebuf =     n > 0 ==> Long$In[n] * ((n - 1)!)
INFO: in while *linebuf = 37
INFO:  after read linebuf =     n > 0 ==> Long$In[n] * ((n - 1)!)
INFO: ch =  
INFO: scan getchr read linebuf =    n > 0 ==> Long$In[n] * ((n - 1)!)ch =  
INFO: cclass1 c =  
INFO: cclass c =  cctab[c] = 1
INFO: getchr linebuf =    n > 0 ==> Long$In[n] * ((n - 1)!)
INFO: in while *linebuf = 36
INFO:  after read linebuf =    n > 0 ==> Long$In[n] * ((n - 1)!)
INFO: ch =  
INFO: scan getchr read linebuf =   n > 0 ==> Long$In[n] * ((n - 1)!)ch =  
INFO: cclass1 c =  
INFO: cclass c =  cctab[c] = 1
INFO: getchr linebuf =   n > 0 ==> Long$In[n] * ((n - 1)!)
INFO: in while *linebuf = 35
INFO:  after read linebuf =   n > 0 ==> Long$In[n] * ((n - 1)!)
INFO: ch =  
INFO: scan getchr read linebuf =  n > 0 ==> Long$In[n] * ((n - 1)!)ch =  
INFO: cclass1 c =  
INFO: cclass c =  cctab[c] = 1
INFO: getchr linebuf =  n > 0 ==> Long$In[n] * ((n - 1)!)
INFO: in while *linebuf = 34
INFO:  after read linebuf =  n > 0 ==> Long$In[n] * ((n - 1)!)
INFO: ch =  
INFO: scan getchr read linebuf = n > 0 ==> Long$In[n] * ((n - 1)!)ch =  
INFO: cclass1 c =  
INFO: cclass c =  cctab[c] = 1
INFO: getchr linebuf = n > 0 ==> Long$In[n] * ((n - 1)!)
INFO: in while *linebuf = 33
INFO:  after read linebuf = n > 0 ==> Long$In[n] * ((n - 1)!)
INFO: ch = n
INFO: scan getchr read linebuf =  > 0 ==> Long$In[n] * ((n - 1)!)ch = n
INFO: cclass1 c = n
INFO: cclass c = ncctab[c] = 2
INFO: getchr linebuf =  > 0 ==> Long$In[n] * ((n - 1)!)
INFO: in while *linebuf = 32
INFO:  after read linebuf =  > 0 ==> Long$In[n] * ((n - 1)!)
INFO: ch =  
INFO: scan getchr read linebuf = > 0 ==> Long$In[n] * ((n - 1)!)ch =  
INFO: cclass1 c =  
INFO: cclass c =  cctab[c] = 1
INFO: reschk_id p = n
INFO: stt enter stt id = n
INFO: stt path 2
INFO: stt path 2 it = 54
INFO: Parser: action = 144
INFO: mknode va_alist
INFO: mknode va_alist
INFO: cclass1 c =  
INFO: cclass c =  cctab[c] = 1
INFO: getchr linebuf = > 0 ==> Long$In[n] * ((n - 1)!)
INFO: in while *linebuf = 31
INFO:  after read linebuf = > 0 ==> Long$In[n] * ((n - 1)!)
INFO: ch = >
INFO: scan getchr read linebuf =  0 ==> Long$In[n] * ((n - 1)!)ch = >
INFO: cclass1 c = >
INFO: cclass c = >cctab[c] = 5
INFO: getchr linebuf =  0 ==> Long$In[n] * ((n - 1)!)
INFO: in while *linebuf = 30
INFO:  after read linebuf =  0 ==> Long$In[n] * ((n - 1)!)
INFO: ch =  
INFO: scan getchr read linebuf = 0 ==> Long$In[n] * ((n - 1)!)ch =  
INFO: cclass1 c =  
INFO: cclass c =  cctab[c] = 1
INFO: reschk_op p = >
INFO: stt enter stt id = >
INFO: stt path 2
INFO: stt path 2 it = 12
INFO: Parser: action = 134
INFO: Parser: action = 81
INFO: Parser: action = 58
INFO: Parser: action = 53
INFO: mklist va_alist
INFO: mknode va_alist
INFO: mklist type p = LetterId__state
INFO: Parser: action = 145
INFO: mknode va_alist
INFO: mknode va_alist
INFO: cclass1 c =  
INFO: cclass c =  cctab[c] = 1
INFO: getchr linebuf = 0 ==> Long$In[n] * ((n - 1)!)
INFO: in while *linebuf = 29
INFO:  after read linebuf = 0 ==> Long$In[n] * ((n - 1)!)
INFO: ch = 0
INFO: scan getchr read linebuf =  ==> Long$In[n] * ((n - 1)!)ch = 0
INFO: cclass1 c = 0
INFO: cclass c = 0cctab[c] = 3
INFO: getchr linebuf =  ==> Long$In[n] * ((n - 1)!)
INFO: in while *linebuf = 28
INFO:  after read linebuf =  ==> Long$In[n] * ((n - 1)!)
INFO: ch =  
INFO: scan getchr read linebuf = ==> Long$In[n] * ((n - 1)!)ch =  
INFO: cclass1 c =  
INFO: cclass c =  cctab[c] = 1
INFO: Parser: action = 134
INFO: Parser: action = 81
INFO: Parser: action = 58
INFO: Parser: action = 55
INFO: Parser: action = 147
INFO: mknode va_alist
INFO: mknode va_alist
INFO: Parser: action = 82
INFO: Parser: action = 58
INFO: cclass1 c =  
INFO: cclass c =  cctab[c] = 1
INFO: getchr linebuf = ==> Long$In[n] * ((n - 1)!)
INFO: in while *linebuf = 27
INFO:  after read linebuf = ==> Long$In[n] * ((n - 1)!)
INFO: ch = =
INFO: scan getchr read linebuf = => Long$In[n] * ((n - 1)!)ch = =
INFO: cclass1 c = =
INFO: cclass c = =cctab[c] = 5
INFO: getchr linebuf = => Long$In[n] * ((n - 1)!)
INFO: in while *linebuf = 26
INFO:  after read linebuf = => Long$In[n] * ((n - 1)!)
INFO: ch = =
INFO: scan getchr read linebuf = > Long$In[n] * ((n - 1)!)ch = =
INFO: cclass1 c = =
INFO: cclass c = =cctab[c] = 5
INFO: getchr linebuf = > Long$In[n] * ((n - 1)!)
INFO: in while *linebuf = 25
INFO:  after read linebuf = > Long$In[n] * ((n - 1)!)
INFO: ch = >
INFO: scan getchr read linebuf =  Long$In[n] * ((n - 1)!)ch = >
INFO: cclass1 c = >
INFO: cclass c = >cctab[c] = 5
INFO: getchr linebuf =  Long$In[n] * ((n - 1)!)
INFO: in while *linebuf = 24
INFO:  after read linebuf =  Long$In[n] * ((n - 1)!)
INFO: ch =  
INFO: scan getchr read linebuf = Long$In[n] * ((n - 1)!)ch =  
INFO: cclass1 c =  
INFO: cclass c =  cctab[c] = 1
INFO: reschk_op p = ==>
INFO: Parser: action = 55
INFO: Parser: action = 51
INFO: mkappl size = 3
INFO: type body i = 1LetterId__state
INFO: type body i = 2OpridNode__state
INFO: type body i = 3UQStrNode__state
INFO: mkappl2 head = 1 tail = 3
INFO: outermost_op p = 1 head = 1 tail = 3
INFO: array = list
INFO: type(array(p) = LetterId__state
INFO: precedence p = null
INFO: i = 0
INFO: type(array(p) = OpridNode__state
INFO: precedence p = null
INFO: i = 0
INFO: type(array(p) = UQStrNode__state
INFO: precedence p = null
INFO: i = 15
INFO: lower_prec = 0
INFO: ASSGNLEVEL
INFO: precedence p = null
INFO: mknode va_alist
INFO: mkappl2 head = 2 tail = 3
INFO: outermost_op p = 2 head = 2 tail = 3
INFO: array = list
INFO: type(array(p) = OpridNode__state
INFO: precedence p = null
INFO: i = 0
INFO: type(array(p) = UQStrNode__state
INFO: precedence p = null
INFO: i = 15
INFO: lower_prec = 0
INFO: ASSGNLEVEL
INFO: precedence p = null
INFO: mknode va_alist
INFO: mkappl2 head = 3 tail = 3
INFO: mklist va_alist
INFO: mknode va_alist
INFO: mklist type p = UQStrNode__state
INFO: mknode va_alist
INFO: mklist va_alist
INFO: mknode va_alist
INFO: mklist type p = ApplicationNode__state
INFO: mknode va_alist
INFO: mklist va_alist
INFO: mknode va_alist
INFO: mklist type p = ApplicationNode__state
INFO: Parser: action = 50
INFO: Parser: action = 88
INFO: cclass1 c =  
INFO: cclass c =  cctab[c] = 1
INFO: getchr linebuf = Long$In[n] * ((n - 1)!)
INFO: in while *linebuf = 23
INFO:  after read linebuf = Long$In[n] * ((n - 1)!)
INFO: ch = L
INFO: scan getchr read linebuf = ong$In[n] * ((n - 1)!)ch = L
INFO: cclass1 c = L
INFO: cclass c = Lcctab[c] = 2
INFO: getchr linebuf = ong$In[n] * ((n - 1)!)
INFO: in while *linebuf = 22
INFO:  after read linebuf = ong$In[n] * ((n - 1)!)
INFO: ch = o
INFO: scan getchr read linebuf = ng$In[n] * ((n - 1)!)ch = o
INFO: cclass1 c = o
INFO: cclass c = occtab[c] = 2
INFO: getchr linebuf = ng$In[n] * ((n - 1)!)
INFO: in while *linebuf = 21
INFO:  after read linebuf = ng$In[n] * ((n - 1)!)
INFO: ch = n
INFO: scan getchr read linebuf = g$In[n] * ((n - 1)!)ch = n
INFO: cclass1 c = n
INFO: cclass c = ncctab[c] = 2
INFO: getchr linebuf = g$In[n] * ((n - 1)!)
INFO: in while *linebuf = 20
INFO:  after read linebuf = g$In[n] * ((n - 1)!)
INFO: ch = g
INFO: scan getchr read linebuf = $In[n] * ((n - 1)!)ch = g
INFO: cclass1 c = g
INFO: cclass c = gcctab[c] = 2
INFO: getchr linebuf = $In[n] * ((n - 1)!)
INFO: in while *linebuf = 19
INFO:  after read linebuf = $In[n] * ((n - 1)!)
INFO: ch = $
INFO: scan getchr read linebuf = In[n] * ((n - 1)!)ch = $
INFO: cclass1 c = $
INFO: cclass c = $cctab[c] = 4
INFO: reschk_id p = Long
INFO: stt enter stt id = Long
INFO: stt path 1
INFO: stt path 1 sttnstrings = 55
INFO: Parser: action = 144
INFO: mknode va_alist
INFO: mknode va_alist
INFO: cclass1 c = $
INFO: cclass c = $cctab[c] = 4
INFO: getchr linebuf = In[n] * ((n - 1)!)
INFO: in while *linebuf = 18
INFO:  after read linebuf = In[n] * ((n - 1)!)
INFO: ch = I
INFO: scan getchr read linebuf = n[n] * ((n - 1)!)ch = I
INFO: SEP p = $ c = I outtok = 36
INFO: Parser: action = 134
INFO: Parser: action = 81
INFO: Parser: action = 58
INFO: cclass1 c = I
INFO: cclass c = Icctab[c] = 2
INFO: getchr linebuf = n[n] * ((n - 1)!)
INFO: in while *linebuf = 17
INFO:  after read linebuf = n[n] * ((n - 1)!)
INFO: ch = n
INFO: scan getchr read linebuf = [n] * ((n - 1)!)ch = n
INFO: cclass1 c = n
INFO: cclass c = ncctab[c] = 2
INFO: getchr linebuf = [n] * ((n - 1)!)
INFO: in while *linebuf = 16
INFO:  after read linebuf = [n] * ((n - 1)!)
INFO: ch = [
INFO: scan getchr read linebuf = n] * ((n - 1)!)ch = [
INFO: cclass1 c = [
INFO: cclass c = [cctab[c] = 4
INFO: reschk_id p = In
INFO: stt enter stt id = In
INFO: stt path 2
INFO: stt path 2 it = 34
INFO: Parser: action = 144
INFO: mknode va_alist
INFO: mknode va_alist
INFO: cclass1 c = [
INFO: cclass c = [cctab[c] = 4
INFO: getchr linebuf = n] * ((n - 1)!)
INFO: in while *linebuf = 15
INFO:  after read linebuf = n] * ((n - 1)!)
INFO: ch = n
INFO: scan getchr read linebuf = ] * ((n - 1)!)ch = n
INFO: SEP p = [ c = n outtok = 91
INFO: Parser: action = 134
INFO: Parser: action = 79
INFO: Parser: action = 58
INFO: Parser: action = 53
INFO: mklist va_alist
INFO: mknode va_alist
INFO: mklist type p = LetterId__state
INFO: cclass1 c = n
INFO: cclass c = ncctab[c] = 2
INFO: getchr linebuf = ] * ((n - 1)!)
INFO: in while *linebuf = 14
INFO:  after read linebuf = ] * ((n - 1)!)
INFO: ch = ]
INFO: scan getchr read linebuf =  * ((n - 1)!)ch = ]
INFO: cclass1 c = ]
INFO: cclass c = ]cctab[c] = 4
INFO: reschk_id p = n
INFO: stt enter stt id = n
INFO: stt path 2
INFO: stt path 2 it = 54
INFO: Parser: action = 144
INFO: mknode va_alist
INFO: mknode va_alist
INFO: cclass1 c = ]
INFO: cclass c = ]cctab[c] = 4
INFO: getchr linebuf =  * ((n - 1)!)
INFO: in while *linebuf = 13
INFO:  after read linebuf =  * ((n - 1)!)
INFO: ch =  
INFO: scan getchr read linebuf = * ((n - 1)!)ch =  
INFO: SEP p = ] c =   outtok = 93
INFO: Parser: action = 134
INFO: Parser: action = 81
INFO: Parser: action = 58
INFO: Parser: action = 53
INFO: mklist va_alist
INFO: mknode va_alist
INFO: mklist type p = LetterId__state
INFO: Parser: action = 51
INFO: mkappl size = 1
INFO: type body i = 1LetterId__state
INFO: mkappl2 head = 1 tail = 1
INFO: mklist va_alist
INFO: mknode va_alist
INFO: mklist type p = LetterId__state
INFO: Parser: action = 50
INFO: Parser: action = 92
INFO: mklist va_alist
INFO: mknode va_alist
INFO: mklist type p = ConsNode__state
INFO: Parser: action = 91
INFO: Parser: action = 56
INFO: cclass1 c =  
INFO: cclass c =  cctab[c] = 1
INFO: getchr linebuf = * ((n - 1)!)
INFO: in while *linebuf = 12
INFO:  after read linebuf = * ((n - 1)!)
INFO: ch = *
INFO: scan getchr read linebuf =  ((n - 1)!)ch = *
INFO: cclass1 c = *
INFO: cclass c = *cctab[c] = 5
INFO: getchr linebuf =  ((n - 1)!)
INFO: in while *linebuf = 11
INFO:  after read linebuf =  ((n - 1)!)
INFO: ch =  
INFO: scan getchr read linebuf = ((n - 1)!)ch =  
INFO: cclass1 c =  
INFO: cclass c =  cctab[c] = 1
INFO: reschk_op p = *
INFO: stt enter stt id = *
INFO: stt path 2
INFO: stt path 2 it = 15
INFO: Parser: action = 145
INFO: mknode va_alist
INFO: mknode va_alist
INFO: cclass1 c =  
INFO: cclass c =  cctab[c] = 1
INFO: getchr linebuf = ((n - 1)!)
INFO: in while *linebuf = 10
INFO:  after read linebuf = ((n - 1)!)
INFO: ch = (
INFO: scan getchr read linebuf = (n - 1)!)ch = (
INFO: cclass1 c = (
INFO: cclass c = (cctab[c] = 4
INFO: getchr linebuf = (n - 1)!)
INFO: in while *linebuf = 9
INFO:  after read linebuf = (n - 1)!)
INFO: ch = (
INFO: scan getchr read linebuf = n - 1)!)ch = (
INFO: SEP p = ( c = ( outtok = 40
INFO: Parser: action = 134
INFO: Parser: action = 81
INFO: Parser: action = 58
INFO: Parser: action = 55
INFO: cclass1 c = (
INFO: cclass c = (cctab[c] = 4
INFO: getchr linebuf = n - 1)!)
INFO: in while *linebuf = 8
INFO:  after read linebuf = n - 1)!)
INFO: ch = n
INFO: scan getchr read linebuf =  - 1)!)ch = n
INFO: SEP p = ( c = n outtok = 40
INFO: cclass1 c = n
INFO: cclass c = ncctab[c] = 2
INFO: getchr linebuf =  - 1)!)
INFO: in while *linebuf = 7
INFO:  after read linebuf =  - 1)!)
INFO: ch =  
INFO: scan getchr read linebuf = - 1)!)ch =  
INFO: cclass1 c =  
INFO: cclass c =  cctab[c] = 1
INFO: reschk_id p = n
INFO: stt enter stt id = n
INFO: stt path 2
INFO: stt path 2 it = 54
INFO: Parser: action = 144
INFO: mknode va_alist
INFO: mknode va_alist
INFO: cclass1 c =  
INFO: cclass c =  cctab[c] = 1
INFO: getchr linebuf = - 1)!)
INFO: in while *linebuf = 6
INFO:  after read linebuf = - 1)!)
INFO: ch = -
INFO: scan getchr read linebuf =  1)!)ch = -
INFO: cclass1 c = -
INFO: cclass c = -cctab[c] = 5
INFO: getchr linebuf =  1)!)
INFO: in while *linebuf = 5
INFO:  after read linebuf =  1)!)
INFO: ch =  
INFO: scan getchr read linebuf = 1)!)ch =  
INFO: cclass1 c =  
INFO: cclass c =  cctab[c] = 1
INFO: reschk_op p = -
INFO: stt enter stt id = -
INFO: stt path 2
INFO: stt path 2 it = 14
INFO: Parser: action = 134
INFO: Parser: action = 81
INFO: Parser: action = 58
INFO: Parser: action = 53
INFO: mklist va_alist
INFO: mknode va_alist
INFO: mklist type p = LetterId__state
INFO: Parser: action = 145
INFO: mknode va_alist
INFO: mknode va_alist
INFO: cclass1 c =  
INFO: cclass c =  cctab[c] = 1
INFO: getchr linebuf = 1)!)
INFO: in while *linebuf = 4
INFO:  after read linebuf = 1)!)
INFO: ch = 1
INFO: scan getchr read linebuf = )!)ch = 1
INFO: cclass1 c = 1
INFO: cclass c = 1cctab[c] = 3
INFO: getchr linebuf = )!)
INFO: in while *linebuf = 3
INFO:  after read linebuf = )!)
INFO: ch = )
INFO: scan getchr read linebuf = !)ch = )
INFO: cclass1 c = )
INFO: cclass c = )cctab[c] = 4
INFO: Parser: action = 134
INFO: Parser: action = 81
INFO: Parser: action = 58
INFO: Parser: action = 55
INFO: Parser: action = 147
INFO: mknode va_alist
INFO: mknode va_alist
INFO: Parser: action = 82
INFO: Parser: action = 58
INFO: cclass1 c = )
INFO: cclass c = )cctab[c] = 4
INFO: getchr linebuf = !)
INFO: in while *linebuf = 2
INFO:  after read linebuf = !)
INFO: ch = !
INFO: scan getchr read linebuf = )ch = !
INFO: SEP p = ) c = ! outtok = 41
INFO: Parser: action = 55
INFO: Parser: action = 51
INFO: mkappl size = 3
INFO: type body i = 1LetterId__state
INFO: type body i = 2OpridNode__state
INFO: type body i = 3UQStrNode__state
INFO: mkappl2 head = 1 tail = 3
INFO: outermost_op p = 1 head = 1 tail = 3
INFO: array = list
INFO: type(array(p) = LetterId__state
INFO: precedence p = null
INFO: i = 0
INFO: type(array(p) = OpridNode__state
INFO: precedence p = null
INFO: i = 0
INFO: type(array(p) = UQStrNode__state
INFO: precedence p = null
INFO: i = 15
INFO: lower_prec = 0
INFO: ASSGNLEVEL
INFO: precedence p = null
INFO: mknode va_alist
INFO: mkappl2 head = 2 tail = 3
INFO: outermost_op p = 2 head = 2 tail = 3
INFO: array = list
INFO: type(array(p) = OpridNode__state
INFO: precedence p = null
INFO: i = 0
INFO: type(array(p) = UQStrNode__state
INFO: precedence p = null
INFO: i = 15
INFO: lower_prec = 0
INFO: ASSGNLEVEL
INFO: precedence p = null
INFO: mknode va_alist
INFO: mkappl2 head = 3 tail = 3
INFO: mklist va_alist
INFO: mknode va_alist
INFO: mklist type p = UQStrNode__state
INFO: mknode va_alist
INFO: mklist va_alist
INFO: mknode va_alist
INFO: mklist type p = ApplicationNode__state
INFO: mknode va_alist
INFO: mklist va_alist
INFO: mknode va_alist
INFO: mklist type p = ApplicationNode__state
INFO: Parser: action = 50
INFO: Parser: action = 70
INFO: mklist va_alist
INFO: mknode va_alist
INFO: mklist type p = ConsNode__state
INFO: Parser: action = 63
INFO: cclass1 c = !
INFO: cclass c = !cctab[c] = 5
INFO: getchr linebuf = )
INFO: in while *linebuf = 1
INFO:  after read linebuf = )
INFO: ch = )
INFO: scan getchr read linebuf = ch = )
INFO: cclass1 c = )
INFO: cclass c = )cctab[c] = 4
INFO: reschk_op p = !
INFO: stt enter stt id = !
INFO: stt path 2
INFO: stt path 2 it = 53
INFO: Parser: action = 53
INFO: mklist va_alist
INFO: mknode va_alist
INFO: mklist type p = ConsNode__state
INFO: Parser: action = 145
INFO: mknode va_alist
INFO: mknode va_alist
INFO: cclass1 c = )
INFO: cclass c = )cctab[c] = 4
INFO: getchr linebuf = 
INFO: in while *linebuf = 41
INFO:  after read linebuf =                      #   n = 0 ==> Long$1
INFO: ch =  
INFO: scan getchr read linebuf =                     #   n = 0 ==> Long$1ch =  
INFO: SEP p = ) c =   outtok = 41
INFO: Parser: action = 134
INFO: Parser: action = 81
INFO: Parser: action = 58
INFO: Parser: action = 55
INFO: Parser: action = 51
INFO: mkappl size = 2
INFO: type body i = 1ConsNode__state
INFO: type body i = 2OpridNode__state
INFO: mkappl2 head = 1 tail = 2
INFO: outermost_op p = 1 head = 1 tail = 2
INFO: array = list
INFO: type(array(p) = ConsNode__state
INFO: precedence p = null
INFO: i = 15
INFO: type(array(p) = OpridNode__state
INFO: precedence p = null
INFO: i = 0
INFO: lower_prec = 0
INFO: ASSGNLEVEL
INFO: precedence p = null
INFO: precedence p = null
INFO: mkappl2 head = 1 tail = 1
INFO: mklist va_alist
INFO: mknode va_alist
INFO: mklist type p = ConsNode__state
INFO: mknode va_alist
INFO: mknode va_alist
INFO: mklist va_alist
INFO: mknode va_alist
INFO: mklist type p = ApplicationNode__state
INFO: Parser: action = 50
INFO: Parser: action = 70
INFO: mklist va_alist
INFO: mknode va_alist
INFO: mklist type p = ConsNode__state
INFO: Parser: action = 63
INFO: cclass1 c =  
INFO: cclass c =  cctab[c] = 1
INFO: getchr linebuf =                     #   n = 0 ==> Long$1
INFO: in while *linebuf = 40
INFO:  after read linebuf =                     #   n = 0 ==> Long$1
INFO: ch =  
INFO: scan getchr read linebuf =                    #   n = 0 ==> Long$1ch =  
INFO: cclass1 c =  
INFO: cclass c =  cctab[c] = 1
INFO: getchr linebuf =                    #   n = 0 ==> Long$1
INFO: in while *linebuf = 39
INFO:  after read linebuf =                    #   n = 0 ==> Long$1
INFO: ch =  
INFO: scan getchr read linebuf =                   #   n = 0 ==> Long$1ch =  
INFO: cclass1 c =  
INFO: cclass c =  cctab[c] = 1
INFO: getchr linebuf =                   #   n = 0 ==> Long$1
INFO: in while *linebuf = 38
INFO:  after read linebuf =                   #   n = 0 ==> Long$1
INFO: ch =  
INFO: scan getchr read linebuf =                  #   n = 0 ==> Long$1ch =  
INFO: cclass1 c =  
INFO: cclass c =  cctab[c] = 1
INFO: getchr linebuf =                  #   n = 0 ==> Long$1
INFO: in while *linebuf = 37
INFO:  after read linebuf =                  #   n = 0 ==> Long$1
INFO: ch =  
INFO: scan getchr read linebuf =                 #   n = 0 ==> Long$1ch =  
INFO: cclass1 c =  
INFO: cclass c =  cctab[c] = 1
INFO: getchr linebuf =                 #   n = 0 ==> Long$1
INFO: in while *linebuf = 36
INFO:  after read linebuf =                 #   n = 0 ==> Long$1
INFO: ch =  
INFO: scan getchr read linebuf =                #   n = 0 ==> Long$1ch =  
INFO: cclass1 c =  
INFO: cclass c =  cctab[c] = 1
INFO: getchr linebuf =                #   n = 0 ==> Long$1
INFO: in while *linebuf = 35
INFO:  after read linebuf =                #   n = 0 ==> Long$1
INFO: ch =  
INFO: scan getchr read linebuf =               #   n = 0 ==> Long$1ch =  
INFO: cclass1 c =  
INFO: cclass c =  cctab[c] = 1
INFO: getchr linebuf =               #   n = 0 ==> Long$1
INFO: in while *linebuf = 34
INFO:  after read linebuf =               #   n = 0 ==> Long$1
INFO: ch =  
INFO: scan getchr read linebuf =              #   n = 0 ==> Long$1ch =  
INFO: cclass1 c =  
INFO: cclass c =  cctab[c] = 1
INFO: getchr linebuf =              #   n = 0 ==> Long$1
INFO: in while *linebuf = 33
INFO:  after read linebuf =              #   n = 0 ==> Long$1
INFO: ch =  
INFO: scan getchr read linebuf =             #   n = 0 ==> Long$1ch =  
INFO: cclass1 c =  
INFO: cclass c =  cctab[c] = 1
INFO: getchr linebuf =             #   n = 0 ==> Long$1
INFO: in while *linebuf = 32
INFO:  after read linebuf =             #   n = 0 ==> Long$1
INFO: ch =  
INFO: scan getchr read linebuf =            #   n = 0 ==> Long$1ch =  
INFO: cclass1 c =  
INFO: cclass c =  cctab[c] = 1
INFO: getchr linebuf =            #   n = 0 ==> Long$1
INFO: in while *linebuf = 31
INFO:  after read linebuf =            #   n = 0 ==> Long$1
INFO: ch =  
INFO: scan getchr read linebuf =           #   n = 0 ==> Long$1ch =  
INFO: cclass1 c =  
INFO: cclass c =  cctab[c] = 1
INFO: getchr linebuf =           #   n = 0 ==> Long$1
INFO: in while *linebuf = 30
INFO:  after read linebuf =           #   n = 0 ==> Long$1
INFO: ch =  
INFO: scan getchr read linebuf =          #   n = 0 ==> Long$1ch =  
INFO: cclass1 c =  
INFO: cclass c =  cctab[c] = 1
INFO: getchr linebuf =          #   n = 0 ==> Long$1
INFO: in while *linebuf = 29
INFO:  after read linebuf =          #   n = 0 ==> Long$1
INFO: ch =  
INFO: scan getchr read linebuf =         #   n = 0 ==> Long$1ch =  
INFO: cclass1 c =  
INFO: cclass c =  cctab[c] = 1
INFO: getchr linebuf =         #   n = 0 ==> Long$1
INFO: in while *linebuf = 28
INFO:  after read linebuf =         #   n = 0 ==> Long$1
INFO: ch =  
INFO: scan getchr read linebuf =        #   n = 0 ==> Long$1ch =  
INFO: cclass1 c =  
INFO: cclass c =  cctab[c] = 1
INFO: getchr linebuf =        #   n = 0 ==> Long$1
INFO: in while *linebuf = 27
INFO:  after read linebuf =        #   n = 0 ==> Long$1
INFO: ch =  
INFO: scan getchr read linebuf =       #   n = 0 ==> Long$1ch =  
INFO: cclass1 c =  
INFO: cclass c =  cctab[c] = 1
INFO: getchr linebuf =       #   n = 0 ==> Long$1
INFO: in while *linebuf = 26
INFO:  after read linebuf =       #   n = 0 ==> Long$1
INFO: ch =  
INFO: scan getchr read linebuf =      #   n = 0 ==> Long$1ch =  
INFO: cclass1 c =  
INFO: cclass c =  cctab[c] = 1
INFO: getchr linebuf =      #   n = 0 ==> Long$1
INFO: in while *linebuf = 25
INFO:  after read linebuf =      #   n = 0 ==> Long$1
INFO: ch =  
INFO: scan getchr read linebuf =     #   n = 0 ==> Long$1ch =  
INFO: cclass1 c =  
INFO: cclass c =  cctab[c] = 1
INFO: getchr linebuf =     #   n = 0 ==> Long$1
INFO: in while *linebuf = 24
INFO:  after read linebuf =     #   n = 0 ==> Long$1
INFO: ch =  
INFO: scan getchr read linebuf =    #   n = 0 ==> Long$1ch =  
INFO: cclass1 c =  
INFO: cclass c =  cctab[c] = 1
INFO: getchr linebuf =    #   n = 0 ==> Long$1
INFO: in while *linebuf = 23
INFO:  after read linebuf =    #   n = 0 ==> Long$1
INFO: ch =  
INFO: scan getchr read linebuf =   #   n = 0 ==> Long$1ch =  
INFO: cclass1 c =  
INFO: cclass c =  cctab[c] = 1
INFO: getchr linebuf =   #   n = 0 ==> Long$1
INFO: in while *linebuf = 22
INFO:  after read linebuf =   #   n = 0 ==> Long$1
INFO: ch =  
INFO: scan getchr read linebuf =  #   n = 0 ==> Long$1ch =  
INFO: cclass1 c =  
INFO: cclass c =  cctab[c] = 1
INFO: getchr linebuf =  #   n = 0 ==> Long$1
INFO: in while *linebuf = 21
INFO:  after read linebuf =  #   n = 0 ==> Long$1
INFO: ch =  
INFO: scan getchr read linebuf = #   n = 0 ==> Long$1ch =  
INFO: cclass1 c =  
INFO: cclass c =  cctab[c] = 1
INFO: getchr linebuf = #   n = 0 ==> Long$1
INFO: in while *linebuf = 20
INFO:  after read linebuf = #   n = 0 ==> Long$1
INFO: ch = #
INFO: scan getchr read linebuf =    n = 0 ==> Long$1ch = #
INFO: cclass1 c = #
INFO: cclass c = #cctab[c] = 4
INFO: getchr linebuf =    n = 0 ==> Long$1
INFO: in while *linebuf = 19
INFO:  after read linebuf =    n = 0 ==> Long$1
INFO: ch =  
INFO: scan getchr read linebuf =   n = 0 ==> Long$1ch =  
INFO: SEP p = # c =   outtok = 35
INFO: Parser: action = 55
INFO: Parser: action = 51
INFO: mkappl size = 4
INFO: type body i = 1LetterId__state
INFO: type body i = 2ListHeaderNode__state
INFO: type body i = 3OpridNode__state
INFO: type body i = 4ConsNode__state
INFO: mkappl2 head = 1 tail = 4
INFO: outermost_op p = 1 head = 1 tail = 4
INFO: array = list
INFO: type(array(p) = LetterId__state
INFO: precedence p = null
INFO: i = 0
INFO: type(array(p) = ListHeaderNode__state
INFO: precedence p = null
INFO: i = 15
INFO: type(array(p) = OpridNode__state
INFO: precedence p = null
INFO: i = 0
INFO: type(array(p) = ConsNode__state
INFO: precedence p = null
INFO: i = 15
INFO: lower_prec = 0
INFO: ASSGNLEVEL
INFO: precedence p = null
INFO: mknode va_alist
INFO: mkappl2 head = 2 tail = 4
INFO: outermost_op p = 2 head = 2 tail = 4
INFO: array = list
INFO: type(array(p) = ListHeaderNode__state
INFO: precedence p = null
INFO: i = 15
INFO: type(array(p) = OpridNode__state
INFO: precedence p = null
INFO: i = 0
INFO: type(array(p) = ConsNode__state
INFO: precedence p = null
INFO: i = 15
INFO: lower_prec = 0
INFO: ASSGNLEVEL
INFO: precedence p = null
INFO: precedence p = null
INFO: mkappl2 head = 2 tail = 2
INFO: mkappl2 head = 4 tail = 4
INFO: mklist va_alist
INFO: mknode va_alist
INFO: mklist type p = ConsNode__state
INFO: mknode va_alist
INFO: mklist va_alist
INFO: mknode va_alist
INFO: mklist type p = ApplicationNode__state
INFO: mknode va_alist
INFO: mklist va_alist
INFO: mknode va_alist
INFO: mklist type p = ApplicationNode__state
INFO: Parser: action = 50
INFO: Parser: action = 70
INFO: mklist va_alist
INFO: mknode va_alist
INFO: mklist type p = ConsNode__state
INFO: Parser: action = 143
INFO: mknode va_alist
INFO: Parser: action = 139
INFO: mklist va_alist
INFO: mknode va_alist
INFO: mklist type p = GuardedElementNode__state
INFO: cclass1 c =  
INFO: cclass c =  cctab[c] = 1
INFO: getchr linebuf =   n = 0 ==> Long$1
INFO: in while *linebuf = 18
INFO:  after read linebuf =   n = 0 ==> Long$1
INFO: ch =  
INFO: scan getchr read linebuf =  n = 0 ==> Long$1ch =  
INFO: cclass1 c =  
INFO: cclass c =  cctab[c] = 1
INFO: getchr linebuf =  n = 0 ==> Long$1
INFO: in while *linebuf = 17
INFO:  after read linebuf =  n = 0 ==> Long$1
INFO: ch =  
INFO: scan getchr read linebuf = n = 0 ==> Long$1ch =  
INFO: cclass1 c =  
INFO: cclass c =  cctab[c] = 1
INFO: getchr linebuf = n = 0 ==> Long$1
INFO: in while *linebuf = 16
INFO:  after read linebuf = n = 0 ==> Long$1
INFO: ch = n
INFO: scan getchr read linebuf =  = 0 ==> Long$1ch = n
INFO: cclass1 c = n
INFO: cclass c = ncctab[c] = 2
INFO: getchr linebuf =  = 0 ==> Long$1
INFO: in while *linebuf = 15
INFO:  after read linebuf =  = 0 ==> Long$1
INFO: ch =  
INFO: scan getchr read linebuf = = 0 ==> Long$1ch =  
INFO: cclass1 c =  
INFO: cclass c =  cctab[c] = 1
INFO: reschk_id p = n
INFO: stt enter stt id = n
INFO: stt path 2
INFO: stt path 2 it = 54
INFO: Parser: action = 144
INFO: mknode va_alist
INFO: mknode va_alist
INFO: cclass1 c =  
INFO: cclass c =  cctab[c] = 1
INFO: getchr linebuf = = 0 ==> Long$1
INFO: in while *linebuf = 14
INFO:  after read linebuf = = 0 ==> Long$1
INFO: ch = =
INFO: scan getchr read linebuf =  0 ==> Long$1ch = =
INFO: cclass1 c = =
INFO: cclass c = =cctab[c] = 5
INFO: getchr linebuf =  0 ==> Long$1
INFO: in while *linebuf = 13
INFO:  after read linebuf =  0 ==> Long$1
INFO: ch =  
INFO: scan getchr read linebuf = 0 ==> Long$1ch =  
INFO: cclass1 c =  
INFO: cclass c =  cctab[c] = 1
INFO: reschk_op p = =
INFO: stt enter stt id = =
INFO: stt path 1
INFO: stt path 1 sttnstrings = 56
INFO: Parser: action = 134
INFO: Parser: action = 81
INFO: Parser: action = 58
INFO: Parser: action = 53
INFO: mklist va_alist
INFO: mknode va_alist
INFO: mklist type p = LetterId__state
INFO: Parser: action = 145
INFO: mknode va_alist
INFO: mknode va_alist
INFO: cclass1 c =  
INFO: cclass c =  cctab[c] = 1
INFO: getchr linebuf = 0 ==> Long$1
INFO: in while *linebuf = 12
INFO:  after read linebuf = 0 ==> Long$1
INFO: ch = 0
INFO: scan getchr read linebuf =  ==> Long$1ch = 0
INFO: cclass1 c = 0
INFO: cclass c = 0cctab[c] = 3
INFO: getchr linebuf =  ==> Long$1
INFO: in while *linebuf = 11
INFO:  after read linebuf =  ==> Long$1
INFO: ch =  
INFO: scan getchr read linebuf = ==> Long$1ch =  
INFO: cclass1 c =  
INFO: cclass c =  cctab[c] = 1
INFO: Parser: action = 134
INFO: Parser: action = 81
INFO: Parser: action = 58
INFO: Parser: action = 55
INFO: Parser: action = 147
INFO: mknode va_alist
INFO: mknode va_alist
INFO: Parser: action = 82
INFO: Parser: action = 58
INFO: cclass1 c =  
INFO: cclass c =  cctab[c] = 1
INFO: getchr linebuf = ==> Long$1
INFO: in while *linebuf = 10
INFO:  after read linebuf = ==> Long$1
INFO: ch = =
INFO: scan getchr read linebuf = => Long$1ch = =
INFO: cclass1 c = =
INFO: cclass c = =cctab[c] = 5
INFO: getchr linebuf = => Long$1
INFO: in while *linebuf = 9
INFO:  after read linebuf = => Long$1
INFO: ch = =
INFO: scan getchr read linebuf = > Long$1ch = =
INFO: cclass1 c = =
INFO: cclass c = =cctab[c] = 5
INFO: getchr linebuf = > Long$1
INFO: in while *linebuf = 8
INFO:  after read linebuf = > Long$1
INFO: ch = >
INFO: scan getchr read linebuf =  Long$1ch = >
INFO: cclass1 c = >
INFO: cclass c = >cctab[c] = 5
INFO: getchr linebuf =  Long$1
INFO: in while *linebuf = 7
INFO:  after read linebuf =  Long$1
INFO: ch =  
INFO: scan getchr read linebuf = Long$1ch =  
INFO: cclass1 c =  
INFO: cclass c =  cctab[c] = 1
INFO: reschk_op p = ==>
INFO: Parser: action = 55
INFO: Parser: action = 51
INFO: mkappl size = 3
INFO: type body i = 1LetterId__state
INFO: type body i = 2OpridNode__state
INFO: type body i = 3UQStrNode__state
INFO: mkappl2 head = 1 tail = 3
INFO: outermost_op p = 1 head = 1 tail = 3
INFO: array = list
INFO: type(array(p) = LetterId__state
INFO: precedence p = null
INFO: i = 0
INFO: type(array(p) = OpridNode__state
INFO: precedence p = null
INFO: i = 0
INFO: type(array(p) = UQStrNode__state
INFO: precedence p = null
INFO: i = 15
INFO: lower_prec = 0
INFO: ASSGNLEVEL
INFO: precedence p = null
INFO: mknode va_alist
INFO: mkappl2 head = 2 tail = 3
INFO: outermost_op p = 2 head = 2 tail = 3
INFO: array = list
INFO: type(array(p) = OpridNode__state
INFO: precedence p = null
INFO: i = 0
INFO: type(array(p) = UQStrNode__state
INFO: precedence p = null
INFO: i = 15
INFO: lower_prec = 0
INFO: ASSGNLEVEL
INFO: precedence p = null
INFO: mknode va_alist
INFO: mkappl2 head = 3 tail = 3
INFO: mklist va_alist
INFO: mknode va_alist
INFO: mklist type p = UQStrNode__state
INFO: mknode va_alist
INFO: mklist va_alist
INFO: mknode va_alist
INFO: mklist type p = ApplicationNode__state
INFO: mknode va_alist
INFO: mklist va_alist
INFO: mknode va_alist
INFO: mklist type p = ApplicationNode__state
INFO: Parser: action = 50
INFO: Parser: action = 88
INFO: cclass1 c =  
INFO: cclass c =  cctab[c] = 1
INFO: getchr linebuf = Long$1
INFO: in while *linebuf = 6
INFO:  after read linebuf = Long$1
INFO: ch = L
INFO: scan getchr read linebuf = ong$1ch = L
INFO: cclass1 c = L
INFO: cclass c = Lcctab[c] = 2
INFO: getchr linebuf = ong$1
INFO: in while *linebuf = 5
INFO:  after read linebuf = ong$1
INFO: ch = o
INFO: scan getchr read linebuf = ng$1ch = o
INFO: cclass1 c = o
INFO: cclass c = occtab[c] = 2
INFO: getchr linebuf = ng$1
INFO: in while *linebuf = 4
INFO:  after read linebuf = ng$1
INFO: ch = n
INFO: scan getchr read linebuf = g$1ch = n
INFO: cclass1 c = n
INFO: cclass c = ncctab[c] = 2
INFO: getchr linebuf = g$1
INFO: in while *linebuf = 3
INFO:  after read linebuf = g$1
INFO: ch = g
INFO: scan getchr read linebuf = $1ch = g
INFO: cclass1 c = g
INFO: cclass c = gcctab[c] = 2
INFO: getchr linebuf = $1
INFO: in while *linebuf = 2
INFO:  after read linebuf = $1
INFO: ch = $
INFO: scan getchr read linebuf = 1ch = $
INFO: cclass1 c = $
INFO: cclass c = $cctab[c] = 4
INFO: reschk_id p = Long
INFO: stt enter stt id = Long
INFO: stt path 2
INFO: stt path 2 it = 55
INFO: Parser: action = 144
INFO: mknode va_alist
INFO: mknode va_alist
INFO: cclass1 c = $
INFO: cclass c = $cctab[c] = 4
INFO: getchr linebuf = 1
INFO: in while *linebuf = 1
INFO:  after read linebuf = 1
INFO: ch = 1
INFO: scan getchr read linebuf = ch = 1
INFO: SEP p = $ c = 1 outtok = 36
INFO: Parser: action = 134
INFO: Parser: action = 81
INFO: Parser: action = 58
INFO: cclass1 c = 1
INFO: cclass c = 1cctab[c] = 3
INFO: getchr linebuf = 
INFO: in while *linebuf = 23
INFO:  after read linebuf =                      fi
INFO: ch =  
INFO: scan getchr read linebuf =                     fich =  
INFO: cclass1 c =  
INFO: cclass c =  cctab[c] = 1
INFO: Parser: action = 147
INFO: mknode va_alist
INFO: mknode va_alist
INFO: Parser: action = 80
INFO: Parser: action = 58
INFO: cclass1 c =  
INFO: cclass c =  cctab[c] = 1
INFO: getchr linebuf =                     fi
INFO: in while *linebuf = 22
INFO:  after read linebuf =                     fi
INFO: ch =  
INFO: scan getchr read linebuf =                    fich =  
INFO: cclass1 c =  
INFO: cclass c =  cctab[c] = 1
INFO: getchr linebuf =                    fi
INFO: in while *linebuf = 21
INFO:  after read linebuf =                    fi
INFO: ch =  
INFO: scan getchr read linebuf =                   fich =  
INFO: cclass1 c =  
INFO: cclass c =  cctab[c] = 1
INFO: getchr linebuf =                   fi
INFO: in while *linebuf = 20
INFO:  after read linebuf =                   fi
INFO: ch =  
INFO: scan getchr read linebuf =                  fich =  
INFO: cclass1 c =  
INFO: cclass c =  cctab[c] = 1
INFO: getchr linebuf =                  fi
INFO: in while *linebuf = 19
INFO:  after read linebuf =                  fi
INFO: ch =  
INFO: scan getchr read linebuf =                 fich =  
INFO: cclass1 c =  
INFO: cclass c =  cctab[c] = 1
INFO: getchr linebuf =                 fi
INFO: in while *linebuf = 18
INFO:  after read linebuf =                 fi
INFO: ch =  
INFO: scan getchr read linebuf =                fich =  
INFO: cclass1 c =  
INFO: cclass c =  cctab[c] = 1
INFO: getchr linebuf =                fi
INFO: in while *linebuf = 17
INFO:  after read linebuf =                fi
INFO: ch =  
INFO: scan getchr read linebuf =               fich =  
INFO: cclass1 c =  
INFO: cclass c =  cctab[c] = 1
INFO: getchr linebuf =               fi
INFO: in while *linebuf = 16
INFO:  after read linebuf =               fi
INFO: ch =  
INFO: scan getchr read linebuf =              fich =  
INFO: cclass1 c =  
INFO: cclass c =  cctab[c] = 1
INFO: getchr linebuf =              fi
INFO: in while *linebuf = 15
INFO:  after read linebuf =              fi
INFO: ch =  
INFO: scan getchr read linebuf =             fich =  
INFO: cclass1 c =  
INFO: cclass c =  cctab[c] = 1
INFO: getchr linebuf =             fi
INFO: in while *linebuf = 14
INFO:  after read linebuf =             fi
INFO: ch =  
INFO: scan getchr read linebuf =            fich =  
INFO: cclass1 c =  
INFO: cclass c =  cctab[c] = 1
INFO: getchr linebuf =            fi
INFO: in while *linebuf = 13
INFO:  after read linebuf =            fi
INFO: ch =  
INFO: scan getchr read linebuf =           fich =  
INFO: cclass1 c =  
INFO: cclass c =  cctab[c] = 1
INFO: getchr linebuf =           fi
INFO: in while *linebuf = 12
INFO:  after read linebuf =           fi
INFO: ch =  
INFO: scan getchr read linebuf =          fich =  
INFO: cclass1 c =  
INFO: cclass c =  cctab[c] = 1
INFO: getchr linebuf =          fi
INFO: in while *linebuf = 11
INFO:  after read linebuf =          fi
INFO: ch =  
INFO: scan getchr read linebuf =         fich =  
INFO: cclass1 c =  
INFO: cclass c =  cctab[c] = 1
INFO: getchr linebuf =         fi
INFO: in while *linebuf = 10
INFO:  after read linebuf =         fi
INFO: ch =  
INFO: scan getchr read linebuf =        fich =  
INFO: cclass1 c =  
INFO: cclass c =  cctab[c] = 1
INFO: getchr linebuf =        fi
INFO: in while *linebuf = 9
INFO:  after read linebuf =        fi
INFO: ch =  
INFO: scan getchr read linebuf =       fich =  
INFO: cclass1 c =  
INFO: cclass c =  cctab[c] = 1
INFO: getchr linebuf =       fi
INFO: in while *linebuf = 8
INFO:  after read linebuf =       fi
INFO: ch =  
INFO: scan getchr read linebuf =      fich =  
INFO: cclass1 c =  
INFO: cclass c =  cctab[c] = 1
INFO: getchr linebuf =      fi
INFO: in while *linebuf = 7
INFO:  after read linebuf =      fi
INFO: ch =  
INFO: scan getchr read linebuf =     fich =  
INFO: cclass1 c =  
INFO: cclass c =  cctab[c] = 1
INFO: getchr linebuf =     fi
INFO: in while *linebuf = 6
INFO:  after read linebuf =     fi
INFO: ch =  
INFO: scan getchr read linebuf =    fich =  
INFO: cclass1 c =  
INFO: cclass c =  cctab[c] = 1
INFO: getchr linebuf =    fi
INFO: in while *linebuf = 5
INFO:  after read linebuf =    fi
INFO: ch =  
INFO: scan getchr read linebuf =   fich =  
INFO: cclass1 c =  
INFO: cclass c =  cctab[c] = 1
INFO: getchr linebuf =   fi
INFO: in while *linebuf = 4
INFO:  after read linebuf =   fi
INFO: ch =  
INFO: scan getchr read linebuf =  fich =  
INFO: cclass1 c =  
INFO: cclass c =  cctab[c] = 1
INFO: getchr linebuf =  fi
INFO: in while *linebuf = 3
INFO:  after read linebuf =  fi
INFO: ch =  
INFO: scan getchr read linebuf = fich =  
INFO: cclass1 c =  
INFO: cclass c =  cctab[c] = 1
INFO: getchr linebuf = fi
INFO: in while *linebuf = 2
INFO:  after read linebuf = fi
INFO: ch = f
INFO: scan getchr read linebuf = ich = f
INFO: cclass1 c = f
INFO: cclass c = fcctab[c] = 2
INFO: getchr linebuf = i
INFO: in while *linebuf = 1
INFO:  after read linebuf = i
INFO: ch = i
INFO: scan getchr read linebuf = ch = i
INFO: cclass1 c = i
INFO: cclass c = icctab[c] = 2
INFO: getchr linebuf = 
INFO: in while *linebuf = 20
INFO:  after read linebuf =                   };
INFO: ch =  
INFO: scan getchr read linebuf =                  };ch =  
INFO: cclass1 c =  
INFO: cclass c =  cctab[c] = 1
INFO: reschk_id p = fi
INFO: Parser: action = 53
INFO: mklist va_alist
INFO: mknode va_alist
INFO: mklist type p = UQStrNode__state
INFO: Parser: action = 51
INFO: mkappl size = 1
INFO: type body i = 1UQStrNode__state
INFO: mkappl2 head = 1 tail = 1
INFO: mklist va_alist
INFO: mknode va_alist
INFO: mklist type p = UQStrNode__state
INFO: Parser: action = 50
INFO: Parser: action = 70
INFO: mklist va_alist
INFO: mknode va_alist
INFO: mklist type p = ConsNode__state
INFO: Parser: action = 143
INFO: mknode va_alist
INFO: Parser: action = 140
INFO: Parser: action = 64
INFO: mknode va_alist
INFO: mknode va_alist
INFO: cclass1 c =  
INFO: cclass c =  cctab[c] = 1
INFO: getchr linebuf =                  };
INFO: in while *linebuf = 19
INFO:  after read linebuf =                  };
INFO: ch =  
INFO: scan getchr read linebuf =                 };ch =  
INFO: cclass1 c =  
INFO: cclass c =  cctab[c] = 1
INFO: getchr linebuf =                 };
INFO: in while *linebuf = 18
INFO:  after read linebuf =                 };
INFO: ch =  
INFO: scan getchr read linebuf =                };ch =  
INFO: cclass1 c =  
INFO: cclass c =  cctab[c] = 1
INFO: getchr linebuf =                };
INFO: in while *linebuf = 17
INFO:  after read linebuf =                };
INFO: ch =  
INFO: scan getchr read linebuf =               };ch =  
INFO: cclass1 c =  
INFO: cclass c =  cctab[c] = 1
INFO: getchr linebuf =               };
INFO: in while *linebuf = 16
INFO:  after read linebuf =               };
INFO: ch =  
INFO: scan getchr read linebuf =              };ch =  
INFO: cclass1 c =  
INFO: cclass c =  cctab[c] = 1
INFO: getchr linebuf =              };
INFO: in while *linebuf = 15
INFO:  after read linebuf =              };
INFO: ch =  
INFO: scan getchr read linebuf =             };ch =  
INFO: cclass1 c =  
INFO: cclass c =  cctab[c] = 1
INFO: getchr linebuf =             };
INFO: in while *linebuf = 14
INFO:  after read linebuf =             };
INFO: ch =  
INFO: scan getchr read linebuf =            };ch =  
INFO: cclass1 c =  
INFO: cclass c =  cctab[c] = 1
INFO: getchr linebuf =            };
INFO: in while *linebuf = 13
INFO:  after read linebuf =            };
INFO: ch =  
INFO: scan getchr read linebuf =           };ch =  
INFO: cclass1 c =  
INFO: cclass c =  cctab[c] = 1
INFO: getchr linebuf =           };
INFO: in while *linebuf = 12
INFO:  after read linebuf =           };
INFO: ch =  
INFO: scan getchr read linebuf =          };ch =  
INFO: cclass1 c =  
INFO: cclass c =  cctab[c] = 1
INFO: getchr linebuf =          };
INFO: in while *linebuf = 11
INFO:  after read linebuf =          };
INFO: ch =  
INFO: scan getchr read linebuf =         };ch =  
INFO: cclass1 c =  
INFO: cclass c =  cctab[c] = 1
INFO: getchr linebuf =         };
INFO: in while *linebuf = 10
INFO:  after read linebuf =         };
INFO: ch =  
INFO: scan getchr read linebuf =        };ch =  
INFO: cclass1 c =  
INFO: cclass c =  cctab[c] = 1
INFO: getchr linebuf =        };
INFO: in while *linebuf = 9
INFO:  after read linebuf =        };
INFO: ch =  
INFO: scan getchr read linebuf =       };ch =  
INFO: cclass1 c =  
INFO: cclass c =  cctab[c] = 1
INFO: getchr linebuf =       };
INFO: in while *linebuf = 8
INFO:  after read linebuf =       };
INFO: ch =  
INFO: scan getchr read linebuf =      };ch =  
INFO: cclass1 c =  
INFO: cclass c =  cctab[c] = 1
INFO: getchr linebuf =      };
INFO: in while *linebuf = 7
INFO:  after read linebuf =      };
INFO: ch =  
INFO: scan getchr read linebuf =     };ch =  
INFO: cclass1 c =  
INFO: cclass c =  cctab[c] = 1
INFO: getchr linebuf =     };
INFO: in while *linebuf = 6
INFO:  after read linebuf =     };
INFO: ch =  
INFO: scan getchr read linebuf =    };ch =  
INFO: cclass1 c =  
INFO: cclass c =  cctab[c] = 1
INFO: getchr linebuf =    };
INFO: in while *linebuf = 5
INFO:  after read linebuf =    };
INFO: ch =  
INFO: scan getchr read linebuf =   };ch =  
INFO: cclass1 c =  
INFO: cclass c =  cctab[c] = 1
INFO: getchr linebuf =   };
INFO: in while *linebuf = 4
INFO:  after read linebuf =   };
INFO: ch =  
INFO: scan getchr read linebuf =  };ch =  
INFO: cclass1 c =  
INFO: cclass c =  cctab[c] = 1
INFO: getchr linebuf =  };
INFO: in while *linebuf = 3
INFO:  after read linebuf =  };
INFO: ch =  
INFO: scan getchr read linebuf = };ch =  
INFO: cclass1 c =  
INFO: cclass c =  cctab[c] = 1
INFO: getchr linebuf = };
INFO: in while *linebuf = 2
INFO:  after read linebuf = };
INFO: ch = }
INFO: scan getchr read linebuf = ;ch = }
INFO: cclass1 c = }
INFO: cclass c = }cctab[c] = 4
INFO: getchr linebuf = ;
INFO: in while *linebuf = 1
INFO:  after read linebuf = ;
INFO: ch = ;
INFO: scan getchr read linebuf = ch = ;
INFO: SEP p = } c = ; outtok = 125
INFO: Parser: action = 53
INFO: mklist va_alist
INFO: mknode va_alist
INFO: mklist type p = GuardedListNode__state
INFO: Parser: action = 51
INFO: mkappl size = 1
INFO: type body i = 1GuardedListNode__state
INFO: mkappl2 head = 1 tail = 1
INFO: mklist va_alist
INFO: mknode va_alist
INFO: mklist type p = GuardedListNode__state
INFO: Parser: action = 50
INFO: Parser: action = 70
INFO: mklist va_alist
INFO: mknode va_alist
INFO: mklist type p = ConsNode__state
INFO: Parser: action = 74
INFO: mknode va_alist
INFO: Parser: action = 57
INFO: cclass1 c = ;
INFO: cclass c = ;cctab[c] = 4
INFO: getchr linebuf = 
INFO: in while *linebuf = 22
INFO:  after read linebuf =      x == Short$New[];
INFO: ch =  
INFO: scan getchr read linebuf =     x == Short$New[];ch =  
INFO: SEP p = ; c =   outtok = 59
INFO: Parser: action = 53
INFO: mklist va_alist
INFO: mknode va_alist
INFO: mklist type p = FConstruction__state
INFO: Parser: action = 51
INFO: mkappl size = 1
INFO: type body i = 1FConstruction__state
INFO: mkappl2 head = 1 tail = 1
INFO: mklist va_alist
INFO: mknode va_alist
INFO: mklist type p = FConstruction__state
INFO: Parser: action = 50
INFO: Parser: action = 97
INFO: mknode va_alist
INFO: Parser: action = 95
INFO: cclass1 c =  
INFO: cclass c =  cctab[c] = 1
INFO: getchr linebuf =     x == Short$New[];
INFO: in while *linebuf = 21
INFO:  after read linebuf =     x == Short$New[];
INFO: ch =  
INFO: scan getchr read linebuf =    x == Short$New[];ch =  
INFO: cclass1 c =  
INFO: cclass c =  cctab[c] = 1
INFO: getchr linebuf =    x == Short$New[];
INFO: in while *linebuf = 20
INFO:  after read linebuf =    x == Short$New[];
INFO: ch =  
INFO: scan getchr read linebuf =   x == Short$New[];ch =  
INFO: cclass1 c =  
INFO: cclass c =  cctab[c] = 1
INFO: getchr linebuf =   x == Short$New[];
INFO: in while *linebuf = 19
INFO:  after read linebuf =   x == Short$New[];
INFO: ch =  
INFO: scan getchr read linebuf =  x == Short$New[];ch =  
INFO: cclass1 c =  
INFO: cclass c =  cctab[c] = 1
INFO: getchr linebuf =  x == Short$New[];
INFO: in while *linebuf = 18
INFO:  after read linebuf =  x == Short$New[];
INFO: ch =  
INFO: scan getchr read linebuf = x == Short$New[];ch =  
INFO: cclass1 c =  
INFO: cclass c =  cctab[c] = 1
INFO: getchr linebuf = x == Short$New[];
INFO: in while *linebuf = 17
INFO:  after read linebuf = x == Short$New[];
INFO: ch = x
INFO: scan getchr read linebuf =  == Short$New[];ch = x
INFO: cclass1 c = x
INFO: cclass c = xcctab[c] = 2
INFO: getchr linebuf =  == Short$New[];
INFO: in while *linebuf = 16
INFO:  after read linebuf =  == Short$New[];
INFO: ch =  
INFO: scan getchr read linebuf = == Short$New[];ch =  
INFO: cclass1 c =  
INFO: cclass c =  cctab[c] = 1
INFO: reschk_id p = x
INFO: stt enter stt id = x
INFO: stt path 1
INFO: stt path 1 sttnstrings = 57
INFO: Parser: action = 144
INFO: mknode va_alist
INFO: mknode va_alist
INFO: Parser: action = 15
INFO: mklist va_alist
INFO: mknode va_alist
INFO: mklist type p = LetterId__state
INFO: cclass1 c =  
INFO: cclass c =  cctab[c] = 1
INFO: getchr linebuf = == Short$New[];
INFO: in while *linebuf = 15
INFO:  after read linebuf = == Short$New[];
INFO: ch = =
INFO: scan getchr read linebuf = = Short$New[];ch = =
INFO: cclass1 c = =
INFO: cclass c = =cctab[c] = 5
INFO: getchr linebuf = = Short$New[];
INFO: in while *linebuf = 14
INFO:  after read linebuf = = Short$New[];
INFO: ch = =
INFO: scan getchr read linebuf =  Short$New[];ch = =
INFO: cclass1 c = =
INFO: cclass c = =cctab[c] = 5
INFO: getchr linebuf =  Short$New[];
INFO: in while *linebuf = 13
INFO:  after read linebuf =  Short$New[];
INFO: ch =  
INFO: scan getchr read linebuf = Short$New[];ch =  
INFO: cclass1 c =  
INFO: cclass c =  cctab[c] = 1
INFO: reschk_op p = ==
INFO: Parser: action = 102
INFO: cclass1 c =  
INFO: cclass c =  cctab[c] = 1
INFO: getchr linebuf = Short$New[];
INFO: in while *linebuf = 12
INFO:  after read linebuf = Short$New[];
INFO: ch = S
INFO: scan getchr read linebuf = hort$New[];ch = S
INFO: cclass1 c = S
INFO: cclass c = Scctab[c] = 2
INFO: getchr linebuf = hort$New[];
INFO: in while *linebuf = 11
INFO:  after read linebuf = hort$New[];
INFO: ch = h
INFO: scan getchr read linebuf = ort$New[];ch = h
INFO: cclass1 c = h
INFO: cclass c = hcctab[c] = 2
INFO: getchr linebuf = ort$New[];
INFO: in while *linebuf = 10
INFO:  after read linebuf = ort$New[];
INFO: ch = o
INFO: scan getchr read linebuf = rt$New[];ch = o
INFO: cclass1 c = o
INFO: cclass c = occtab[c] = 2
INFO: getchr linebuf = rt$New[];
INFO: in while *linebuf = 9
INFO:  after read linebuf = rt$New[];
INFO: ch = r
INFO: scan getchr read linebuf = t$New[];ch = r
INFO: cclass1 c = r
INFO: cclass c = rcctab[c] = 2
INFO: getchr linebuf = t$New[];
INFO: in while *linebuf = 8
INFO:  after read linebuf = t$New[];
INFO: ch = t
INFO: scan getchr read linebuf = $New[];ch = t
INFO: cclass1 c = t
INFO: cclass c = tcctab[c] = 2
INFO: getchr linebuf = $New[];
INFO: in while *linebuf = 7
INFO:  after read linebuf = $New[];
INFO: ch = $
INFO: scan getchr read linebuf = New[];ch = $
INFO: cclass1 c = $
INFO: cclass c = $cctab[c] = 4
INFO: reschk_id p = Short
INFO: stt enter stt id = Short
INFO: stt path 2
INFO: stt path 2 it = 39
INFO: Parser: action = 144
INFO: mknode va_alist
INFO: mknode va_alist
INFO: cclass1 c = $
INFO: cclass c = $cctab[c] = 4
INFO: getchr linebuf = New[];
INFO: in while *linebuf = 6
INFO:  after read linebuf = New[];
INFO: ch = N
INFO: scan getchr read linebuf = ew[];ch = N
INFO: SEP p = $ c = N outtok = 36
INFO: Parser: action = 134
INFO: Parser: action = 81
INFO: Parser: action = 58
INFO: cclass1 c = N
INFO: cclass c = Ncctab[c] = 2
INFO: getchr linebuf = ew[];
INFO: in while *linebuf = 5
INFO:  after read linebuf = ew[];
INFO: ch = e
INFO: scan getchr read linebuf = w[];ch = e
INFO: cclass1 c = e
INFO: cclass c = ecctab[c] = 2
INFO: getchr linebuf = w[];
INFO: in while *linebuf = 4
INFO:  after read linebuf = w[];
INFO: ch = w
INFO: scan getchr read linebuf = [];ch = w
INFO: cclass1 c = w
INFO: cclass c = wcctab[c] = 2
INFO: getchr linebuf = [];
INFO: in while *linebuf = 3
INFO:  after read linebuf = [];
INFO: ch = [
INFO: scan getchr read linebuf = ];ch = [
INFO: cclass1 c = [
INFO: cclass c = [cctab[c] = 4
INFO: reschk_id p = New
INFO: stt enter stt id = New
INFO: stt path 2
INFO: stt path 2 it = 23
INFO: Parser: action = 144
INFO: mknode va_alist
INFO: mknode va_alist
INFO: cclass1 c = [
INFO: cclass c = [cctab[c] = 4
INFO: getchr linebuf = ];
INFO: in while *linebuf = 2
INFO:  after read linebuf = ];
INFO: ch = ]
INFO: scan getchr read linebuf = ;ch = ]
INFO: SEP p = [ c = ] outtok = 91
INFO: Parser: action = 134
INFO: Parser: action = 79
INFO: Parser: action = 58
INFO: Parser: action = 53
INFO: mklist va_alist
INFO: mknode va_alist
INFO: mklist type p = LetterId__state
INFO: cclass1 c = ]
INFO: cclass c = ]cctab[c] = 4
INFO: getchr linebuf = ;
INFO: in while *linebuf = 1
INFO:  after read linebuf = ;
INFO: ch = ;
INFO: scan getchr read linebuf = ch = ;
INFO: SEP p = ] c = ; outtok = 93
INFO: Parser: action = 94
INFO: mknode va_alist
INFO: Parser: action = 91
INFO: Parser: action = 56
INFO: cclass1 c = ;
INFO: cclass c = ;cctab[c] = 4
INFO: getchr linebuf = 
INFO: in while *linebuf = 3
INFO:  after read linebuf =  in
INFO: ch =  
INFO: scan getchr read linebuf = inch =  
INFO: SEP p = ; c =   outtok = 59
INFO: Parser: action = 51
INFO: mkappl size = 2
INFO: type body i = 1LetterId__state
INFO: type body i = 2ListHeaderNode__state
INFO: mkappl2 head = 1 tail = 2
INFO: outermost_op p = 1 head = 1 tail = 2
INFO: array = list
INFO: type(array(p) = LetterId__state
INFO: precedence p = null
INFO: i = 0
INFO: type(array(p) = ListHeaderNode__state
INFO: precedence p = null
INFO: i = 15
INFO: lower_prec = 0
INFO: ASSGNLEVEL
INFO: precedence p = null
INFO: mknode va_alist
INFO: mkappl2 head = 2 tail = 2
INFO: mknode va_alist
INFO: mklist va_alist
INFO: mknode va_alist
INFO: mklist type p = ApplicationNode__state
INFO: Parser: action = 50
INFO: Parser: action = 97
INFO: mknode va_alist
INFO: Parser: action = 96
INFO: cclass1 c =  
INFO: cclass c =  cctab[c] = 1
INFO: getchr linebuf = in
INFO: in while *linebuf = 2
INFO:  after read linebuf = in
INFO: ch = i
INFO: scan getchr read linebuf = nch = i
INFO: cclass1 c = i
INFO: cclass c = icctab[c] = 2
INFO: getchr linebuf = n
INFO: in while *linebuf = 1
INFO:  after read linebuf = n
INFO: ch = n
INFO: scan getchr read linebuf = ch = n
INFO: cclass1 c = n
INFO: cclass c = ncctab[c] = 2
INFO: getchr linebuf = 
INFO: in while *linebuf = 7
INFO:  after read linebuf =      do
INFO: ch =  
INFO: scan getchr read linebuf =     doch =  
INFO: cclass1 c =  
INFO: cclass c =  cctab[c] = 1
INFO: reschk_id p = in
INFO: Parser: action = 99
INFO: mknode va_alist
INFO: Parser: action = 96
INFO: cclass1 c =  
INFO: cclass c =  cctab[c] = 1
INFO: getchr linebuf =     do
INFO: in while *linebuf = 6
INFO:  after read linebuf =     do
INFO: ch =  
INFO: scan getchr read linebuf =    doch =  
INFO: cclass1 c =  
INFO: cclass c =  cctab[c] = 1
INFO: getchr linebuf =    do
INFO: in while *linebuf = 5
INFO:  after read linebuf =    do
INFO: ch =  
INFO: scan getchr read linebuf =   doch =  
INFO: cclass1 c =  
INFO: cclass c =  cctab[c] = 1
INFO: getchr linebuf =   do
INFO: in while *linebuf = 4
INFO:  after read linebuf =   do
INFO: ch =  
INFO: scan getchr read linebuf =  doch =  
INFO: cclass1 c =  
INFO: cclass c =  cctab[c] = 1
INFO: getchr linebuf =  do
INFO: in while *linebuf = 3
INFO:  after read linebuf =  do
INFO: ch =  
INFO: scan getchr read linebuf = doch =  
INFO: cclass1 c =  
INFO: cclass c =  cctab[c] = 1
INFO: getchr linebuf = do
INFO: in while *linebuf = 2
INFO:  after read linebuf = do
INFO: ch = d
INFO: scan getchr read linebuf = och = d
INFO: cclass1 c = d
INFO: cclass c = dcctab[c] = 2
INFO: getchr linebuf = o
INFO: in while *linebuf = 1
INFO:  after read linebuf = o
INFO: ch = o
INFO: scan getchr read linebuf = ch = o
INFO: cclass1 c = o
INFO: cclass c = occtab[c] = 2
INFO: getchr linebuf = 
INFO: in while *linebuf = 75
INFO:  after read linebuf =          (put["Factorial of?"]; x := get[FS]) >= 0  ==>  put[x!]; put["\n"]
INFO: ch =  
INFO: scan getchr read linebuf =         (put["Factorial of?"]; x := get[FS]) >= 0  ==>  put[x!]; put["\n"]ch =  
INFO: cclass1 c =  
INFO: cclass c =  cctab[c] = 1
INFO: reschk_id p = do
INFO: cclass1 c =  
INFO: cclass c =  cctab[c] = 1
INFO: getchr linebuf =         (put["Factorial of?"]; x := get[FS]) >= 0  ==>  put[x!]; put["\n"]
INFO: in while *linebuf = 74
INFO:  after read linebuf =         (put["Factorial of?"]; x := get[FS]) >= 0  ==>  put[x!]; put["\n"]
INFO: ch =  
INFO: scan getchr read linebuf =        (put["Factorial of?"]; x := get[FS]) >= 0  ==>  put[x!]; put["\n"]ch =  
INFO: cclass1 c =  
INFO: cclass c =  cctab[c] = 1
INFO: getchr linebuf =        (put["Factorial of?"]; x := get[FS]) >= 0  ==>  put[x!]; put["\n"]
INFO: in while *linebuf = 73
INFO:  after read linebuf =        (put["Factorial of?"]; x := get[FS]) >= 0  ==>  put[x!]; put["\n"]
INFO: ch =  
INFO: scan getchr read linebuf =       (put["Factorial of?"]; x := get[FS]) >= 0  ==>  put[x!]; put["\n"]ch =  
INFO: cclass1 c =  
INFO: cclass c =  cctab[c] = 1
INFO: getchr linebuf =       (put["Factorial of?"]; x := get[FS]) >= 0  ==>  put[x!]; put["\n"]
INFO: in while *linebuf = 72
INFO:  after read linebuf =       (put["Factorial of?"]; x := get[FS]) >= 0  ==>  put[x!]; put["\n"]
INFO: ch =  
INFO: scan getchr read linebuf =      (put["Factorial of?"]; x := get[FS]) >= 0  ==>  put[x!]; put["\n"]ch =  
INFO: cclass1 c =  
INFO: cclass c =  cctab[c] = 1
INFO: getchr linebuf =      (put["Factorial of?"]; x := get[FS]) >= 0  ==>  put[x!]; put["\n"]
INFO: in while *linebuf = 71
INFO:  after read linebuf =      (put["Factorial of?"]; x := get[FS]) >= 0  ==>  put[x!]; put["\n"]
INFO: ch =  
INFO: scan getchr read linebuf =     (put["Factorial of?"]; x := get[FS]) >= 0  ==>  put[x!]; put["\n"]ch =  
INFO: cclass1 c =  
INFO: cclass c =  cctab[c] = 1
INFO: getchr linebuf =     (put["Factorial of?"]; x := get[FS]) >= 0  ==>  put[x!]; put["\n"]
INFO: in while *linebuf = 70
INFO:  after read linebuf =     (put["Factorial of?"]; x := get[FS]) >= 0  ==>  put[x!]; put["\n"]
INFO: ch =  
INFO: scan getchr read linebuf =    (put["Factorial of?"]; x := get[FS]) >= 0  ==>  put[x!]; put["\n"]ch =  
INFO: cclass1 c =  
INFO: cclass c =  cctab[c] = 1
INFO: getchr linebuf =    (put["Factorial of?"]; x := get[FS]) >= 0  ==>  put[x!]; put["\n"]
INFO: in while *linebuf = 69
INFO:  after read linebuf =    (put["Factorial of?"]; x := get[FS]) >= 0  ==>  put[x!]; put["\n"]
INFO: ch =  
INFO: scan getchr read linebuf =   (put["Factorial of?"]; x := get[FS]) >= 0  ==>  put[x!]; put["\n"]ch =  
INFO: cclass1 c =  
INFO: cclass c =  cctab[c] = 1
INFO: getchr linebuf =   (put["Factorial of?"]; x := get[FS]) >= 0  ==>  put[x!]; put["\n"]
INFO: in while *linebuf = 68
INFO:  after read linebuf =   (put["Factorial of?"]; x := get[FS]) >= 0  ==>  put[x!]; put["\n"]
INFO: ch =  
INFO: scan getchr read linebuf =  (put["Factorial of?"]; x := get[FS]) >= 0  ==>  put[x!]; put["\n"]ch =  
INFO: cclass1 c =  
INFO: cclass c =  cctab[c] = 1
INFO: getchr linebuf =  (put["Factorial of?"]; x := get[FS]) >= 0  ==>  put[x!]; put["\n"]
INFO: in while *linebuf = 67
INFO:  after read linebuf =  (put["Factorial of?"]; x := get[FS]) >= 0  ==>  put[x!]; put["\n"]
INFO: ch =  
INFO: scan getchr read linebuf = (put["Factorial of?"]; x := get[FS]) >= 0  ==>  put[x!]; put["\n"]ch =  
INFO: cclass1 c =  
INFO: cclass c =  cctab[c] = 1
INFO: getchr linebuf = (put["Factorial of?"]; x := get[FS]) >= 0  ==>  put[x!]; put["\n"]
INFO: in while *linebuf = 66
INFO:  after read linebuf = (put["Factorial of?"]; x := get[FS]) >= 0  ==>  put[x!]; put["\n"]
INFO: ch = (
INFO: scan getchr read linebuf = put["Factorial of?"]; x := get[FS]) >= 0  ==>  put[x!]; put["\n"]ch = (
INFO: cclass1 c = (
INFO: cclass c = (cctab[c] = 4
INFO: getchr linebuf = put["Factorial of?"]; x := get[FS]) >= 0  ==>  put[x!]; put["\n"]
INFO: in while *linebuf = 65
INFO:  after read linebuf = put["Factorial of?"]; x := get[FS]) >= 0  ==>  put[x!]; put["\n"]
INFO: ch = p
INFO: scan getchr read linebuf = ut["Factorial of?"]; x := get[FS]) >= 0  ==>  put[x!]; put["\n"]ch = p
INFO: SEP p = ( c = p outtok = 40
INFO: cclass1 c = p
INFO: cclass c = pcctab[c] = 2
INFO: getchr linebuf = ut["Factorial of?"]; x := get[FS]) >= 0  ==>  put[x!]; put["\n"]
INFO: in while *linebuf = 64
INFO:  after read linebuf = ut["Factorial of?"]; x := get[FS]) >= 0  ==>  put[x!]; put["\n"]
INFO: ch = u
INFO: scan getchr read linebuf = t["Factorial of?"]; x := get[FS]) >= 0  ==>  put[x!]; put["\n"]ch = u
INFO: cclass1 c = u
INFO: cclass c = ucctab[c] = 2
INFO: getchr linebuf = t["Factorial of?"]; x := get[FS]) >= 0  ==>  put[x!]; put["\n"]
INFO: in while *linebuf = 63
INFO:  after read linebuf = t["Factorial of?"]; x := get[FS]) >= 0  ==>  put[x!]; put["\n"]
INFO: ch = t
INFO: scan getchr read linebuf = ["Factorial of?"]; x := get[FS]) >= 0  ==>  put[x!]; put["\n"]ch = t
INFO: cclass1 c = t
INFO: cclass c = tcctab[c] = 2
INFO: getchr linebuf = ["Factorial of?"]; x := get[FS]) >= 0  ==>  put[x!]; put["\n"]
INFO: in while *linebuf = 62
INFO:  after read linebuf = ["Factorial of?"]; x := get[FS]) >= 0  ==>  put[x!]; put["\n"]
INFO: ch = [
INFO: scan getchr read linebuf = "Factorial of?"]; x := get[FS]) >= 0  ==>  put[x!]; put["\n"]ch = [
INFO: cclass1 c = [
INFO: cclass c = [cctab[c] = 4
INFO: reschk_id p = put
INFO: stt enter stt id = put
INFO: stt path 2
INFO: stt path 2 it = 42
INFO: Parser: action = 144
INFO: mknode va_alist
INFO: mknode va_alist
INFO: cclass1 c = [
INFO: cclass c = [cctab[c] = 4
INFO: getchr linebuf = "Factorial of?"]; x := get[FS]) >= 0  ==>  put[x!]; put["\n"]
INFO: in while *linebuf = 61
INFO:  after read linebuf = "Factorial of?"]; x := get[FS]) >= 0  ==>  put[x!]; put["\n"]
INFO: ch = "
INFO: scan getchr read linebuf = Factorial of?"]; x := get[FS]) >= 0  ==>  put[x!]; put["\n"]ch = "
INFO: SEP p = [ c = " outtok = 91
INFO: Parser: action = 134
INFO: Parser: action = 81
INFO: Parser: action = 58
INFO: Parser: action = 53
INFO: mklist va_alist
INFO: mknode va_alist
INFO: mklist type p = LetterId__state
INFO: cclass1 c = "
INFO: cclass c = "cctab[c] = 7
INFO: getchr linebuf = Factorial of?"]; x := get[FS]) >= 0  ==>  put[x!]; put["\n"]
INFO: in while *linebuf = 60
INFO:  after read linebuf = Factorial of?"]; x := get[FS]) >= 0  ==>  put[x!]; put["\n"]
INFO: ch = F
INFO: scan getchr read linebuf = actorial of?"]; x := get[FS]) >= 0  ==>  put[x!]; put["\n"]ch = F
INFO: cclass1 c = F
INFO: cclass c = Fcctab[c] = 2
INFO: getchr linebuf = actorial of?"]; x := get[FS]) >= 0  ==>  put[x!]; put["\n"]
INFO: in while *linebuf = 59
INFO:  after read linebuf = actorial of?"]; x := get[FS]) >= 0  ==>  put[x!]; put["\n"]
INFO: ch = a
INFO: scan getchr read linebuf = ctorial of?"]; x := get[FS]) >= 0  ==>  put[x!]; put["\n"]ch = a
INFO: cclass1 c = a
INFO: cclass c = acctab[c] = 2
INFO: getchr linebuf = ctorial of?"]; x := get[FS]) >= 0  ==>  put[x!]; put["\n"]
INFO: in while *linebuf = 58
INFO:  after read linebuf = ctorial of?"]; x := get[FS]) >= 0  ==>  put[x!]; put["\n"]
INFO: ch = c
INFO: scan getchr read linebuf = torial of?"]; x := get[FS]) >= 0  ==>  put[x!]; put["\n"]ch = c
INFO: cclass1 c = c
INFO: cclass c = ccctab[c] = 2
INFO: getchr linebuf = torial of?"]; x := get[FS]) >= 0  ==>  put[x!]; put["\n"]
INFO: in while *linebuf = 57
INFO:  after read linebuf = torial of?"]; x := get[FS]) >= 0  ==>  put[x!]; put["\n"]
INFO: ch = t
INFO: scan getchr read linebuf = orial of?"]; x := get[FS]) >= 0  ==>  put[x!]; put["\n"]ch = t
INFO: cclass1 c = t
INFO: cclass c = tcctab[c] = 2
INFO: getchr linebuf = orial of?"]; x := get[FS]) >= 0  ==>  put[x!]; put["\n"]
INFO: in while *linebuf = 56
INFO:  after read linebuf = orial of?"]; x := get[FS]) >= 0  ==>  put[x!]; put["\n"]
INFO: ch = o
INFO: scan getchr read linebuf = rial of?"]; x := get[FS]) >= 0  ==>  put[x!]; put["\n"]ch = o
INFO: cclass1 c = o
INFO: cclass c = occtab[c] = 2
INFO: getchr linebuf = rial of?"]; x := get[FS]) >= 0  ==>  put[x!]; put["\n"]
INFO: in while *linebuf = 55
INFO:  after read linebuf = rial of?"]; x := get[FS]) >= 0  ==>  put[x!]; put["\n"]
INFO: ch = r
INFO: scan getchr read linebuf = ial of?"]; x := get[FS]) >= 0  ==>  put[x!]; put["\n"]ch = r
INFO: cclass1 c = r
INFO: cclass c = rcctab[c] = 2
INFO: getchr linebuf = ial of?"]; x := get[FS]) >= 0  ==>  put[x!]; put["\n"]
INFO: in while *linebuf = 54
INFO:  after read linebuf = ial of?"]; x := get[FS]) >= 0  ==>  put[x!]; put["\n"]
INFO: ch = i
INFO: scan getchr read linebuf = al of?"]; x := get[FS]) >= 0  ==>  put[x!]; put["\n"]ch = i
INFO: cclass1 c = i
INFO: cclass c = icctab[c] = 2
INFO: getchr linebuf = al of?"]; x := get[FS]) >= 0  ==>  put[x!]; put["\n"]
INFO: in while *linebuf = 53
INFO:  after read linebuf = al of?"]; x := get[FS]) >= 0  ==>  put[x!]; put["\n"]
INFO: ch = a
INFO: scan getchr read linebuf = l of?"]; x := get[FS]) >= 0  ==>  put[x!]; put["\n"]ch = a
INFO: cclass1 c = a
INFO: cclass c = acctab[c] = 2
INFO: getchr linebuf = l of?"]; x := get[FS]) >= 0  ==>  put[x!]; put["\n"]
INFO: in while *linebuf = 52
INFO:  after read linebuf = l of?"]; x := get[FS]) >= 0  ==>  put[x!]; put["\n"]
INFO: ch = l
INFO: scan getchr read linebuf =  of?"]; x := get[FS]) >= 0  ==>  put[x!]; put["\n"]ch = l
INFO: cclass1 c = l
INFO: cclass c = lcctab[c] = 2
INFO: getchr linebuf =  of?"]; x := get[FS]) >= 0  ==>  put[x!]; put["\n"]
INFO: in while *linebuf = 51
INFO:  after read linebuf =  of?"]; x := get[FS]) >= 0  ==>  put[x!]; put["\n"]
INFO: ch =  
INFO: scan getchr read linebuf = of?"]; x := get[FS]) >= 0  ==>  put[x!]; put["\n"]ch =  
INFO: cclass1 c =  
INFO: cclass c =  cctab[c] = 1
INFO: getchr linebuf = of?"]; x := get[FS]) >= 0  ==>  put[x!]; put["\n"]
INFO: in while *linebuf = 50
INFO:  after read linebuf = of?"]; x := get[FS]) >= 0  ==>  put[x!]; put["\n"]
INFO: ch = o
INFO: scan getchr read linebuf = f?"]; x := get[FS]) >= 0  ==>  put[x!]; put["\n"]ch = o
INFO: cclass1 c = o
INFO: cclass c = occtab[c] = 2
INFO: getchr linebuf = f?"]; x := get[FS]) >= 0  ==>  put[x!]; put["\n"]
INFO: in while *linebuf = 49
INFO:  after read linebuf = f?"]; x := get[FS]) >= 0  ==>  put[x!]; put["\n"]
INFO: ch = f
INFO: scan getchr read linebuf = ?"]; x := get[FS]) >= 0  ==>  put[x!]; put["\n"]ch = f
INFO: cclass1 c = f
INFO: cclass c = fcctab[c] = 2
INFO: getchr linebuf = ?"]; x := get[FS]) >= 0  ==>  put[x!]; put["\n"]
INFO: in while *linebuf = 48
INFO:  after read linebuf = ?"]; x := get[FS]) >= 0  ==>  put[x!]; put["\n"]
INFO: ch = ?
INFO: scan getchr read linebuf = "]; x := get[FS]) >= 0  ==>  put[x!]; put["\n"]ch = ?
INFO: cclass1 c = ?
INFO: cclass c = ?cctab[c] = 5
INFO: getchr linebuf = "]; x := get[FS]) >= 0  ==>  put[x!]; put["\n"]
INFO: in while *linebuf = 47
INFO:  after read linebuf = "]; x := get[FS]) >= 0  ==>  put[x!]; put["\n"]
INFO: ch = "
INFO: scan getchr read linebuf = ]; x := get[FS]) >= 0  ==>  put[x!]; put["\n"]ch = "
INFO: cclass1 c = "
INFO: cclass c = "cctab[c] = 7
INFO: getchr linebuf = ]; x := get[FS]) >= 0  ==>  put[x!]; put["\n"]
INFO: in while *linebuf = 46
INFO:  after read linebuf = ]; x := get[FS]) >= 0  ==>  put[x!]; put["\n"]
INFO: ch = ]
INFO: scan getchr read linebuf = ; x := get[FS]) >= 0  ==>  put[x!]; put["\n"]ch = ]
INFO: cclass1 c = ]
INFO: cclass c = ]cctab[c] = 4
INFO: Parser: action = 146
INFO: mknode va_alist
INFO: mknode va_alist
INFO: Parser: action = 82
INFO: Parser: action = 58
INFO: cclass1 c = ]
INFO: cclass c = ]cctab[c] = 4
INFO: getchr linebuf = ; x := get[FS]) >= 0  ==>  put[x!]; put["\n"]
INFO: in while *linebuf = 45
INFO:  after read linebuf = ; x := get[FS]) >= 0  ==>  put[x!]; put["\n"]
INFO: ch = ;
INFO: scan getchr read linebuf =  x := get[FS]) >= 0  ==>  put[x!]; put["\n"]ch = ;
INFO: SEP p = ] c = ; outtok = 93
INFO: Parser: action = 53
INFO: mklist va_alist
INFO: mknode va_alist
INFO: mklist type p = QStrNode__state
INFO: Parser: action = 51
INFO: mkappl size = 1
INFO: type body i = 1QStrNode__state
INFO: mkappl2 head = 1 tail = 1
INFO: mklist va_alist
INFO: mknode va_alist
INFO: mklist type p = QStrNode__state
INFO: Parser: action = 50
INFO: Parser: action = 92
INFO: mklist va_alist
INFO: mknode va_alist
INFO: mklist type p = ConsNode__state
INFO: Parser: action = 91
INFO: Parser: action = 56
INFO: cclass1 c = ;
INFO: cclass c = ;cctab[c] = 4
INFO: getchr linebuf =  x := get[FS]) >= 0  ==>  put[x!]; put["\n"]
INFO: in while *linebuf = 44
INFO:  after read linebuf =  x := get[FS]) >= 0  ==>  put[x!]; put["\n"]
INFO: ch =  
INFO: scan getchr read linebuf = x := get[FS]) >= 0  ==>  put[x!]; put["\n"]ch =  
INFO: SEP p = ; c =   outtok = 59
INFO: Parser: action = 51
INFO: mkappl size = 2
INFO: type body i = 1LetterId__state
INFO: type body i = 2ListHeaderNode__state
INFO: mkappl2 head = 1 tail = 2
INFO: outermost_op p = 1 head = 1 tail = 2
INFO: array = list
INFO: type(array(p) = LetterId__state
INFO: precedence p = null
INFO: i = 0
INFO: type(array(p) = ListHeaderNode__state
INFO: precedence p = null
INFO: i = 15
INFO: lower_prec = 0
INFO: ASSGNLEVEL
INFO: precedence p = null
INFO: mknode va_alist
INFO: mkappl2 head = 2 tail = 2
INFO: mknode va_alist
INFO: mklist va_alist
INFO: mknode va_alist
INFO: mklist type p = ApplicationNode__state
INFO: Parser: action = 50
INFO: Parser: action = 70
INFO: mklist va_alist
INFO: mknode va_alist
INFO: mklist type p = ConsNode__state
INFO: cclass1 c =  
INFO: cclass c =  cctab[c] = 1
INFO: getchr linebuf = x := get[FS]) >= 0  ==>  put[x!]; put["\n"]
INFO: in while *linebuf = 43
INFO:  after read linebuf = x := get[FS]) >= 0  ==>  put[x!]; put["\n"]
INFO: ch = x
INFO: scan getchr read linebuf =  := get[FS]) >= 0  ==>  put[x!]; put["\n"]ch = x
INFO: cclass1 c = x
INFO: cclass c = xcctab[c] = 2
INFO: getchr linebuf =  := get[FS]) >= 0  ==>  put[x!]; put["\n"]
INFO: in while *linebuf = 42
INFO:  after read linebuf =  := get[FS]) >= 0  ==>  put[x!]; put["\n"]
INFO: ch =  
INFO: scan getchr read linebuf = := get[FS]) >= 0  ==>  put[x!]; put["\n"]ch =  
INFO: cclass1 c =  
INFO: cclass c =  cctab[c] = 1
INFO: reschk_id p = x
INFO: stt enter stt id = x
INFO: stt path 2
INFO: stt path 2 it = 57
INFO: Parser: action = 144
INFO: mknode va_alist
INFO: mknode va_alist
INFO: cclass1 c =  
INFO: cclass c =  cctab[c] = 1
INFO: getchr linebuf = := get[FS]) >= 0  ==>  put[x!]; put["\n"]
INFO: in while *linebuf = 41
INFO:  after read linebuf = := get[FS]) >= 0  ==>  put[x!]; put["\n"]
INFO: ch = :
INFO: scan getchr read linebuf = = get[FS]) >= 0  ==>  put[x!]; put["\n"]ch = :
INFO: cclass1 c = :
INFO: cclass c = :cctab[c] = 5
INFO: getchr linebuf = = get[FS]) >= 0  ==>  put[x!]; put["\n"]
INFO: in while *linebuf = 40
INFO:  after read linebuf = = get[FS]) >= 0  ==>  put[x!]; put["\n"]
INFO: ch = =
INFO: scan getchr read linebuf =  get[FS]) >= 0  ==>  put[x!]; put["\n"]ch = =
INFO: cclass1 c = =
INFO: cclass c = =cctab[c] = 5
INFO: getchr linebuf =  get[FS]) >= 0  ==>  put[x!]; put["\n"]
INFO: in while *linebuf = 39
INFO:  after read linebuf =  get[FS]) >= 0  ==>  put[x!]; put["\n"]
INFO: ch =  
INFO: scan getchr read linebuf = get[FS]) >= 0  ==>  put[x!]; put["\n"]ch =  
INFO: cclass1 c =  
INFO: cclass c =  cctab[c] = 1
INFO: reschk_op p = :=
INFO: stt enter stt id = :=
INFO: stt path 2
INFO: stt path 2 it = 4
INFO: Parser: action = 134
INFO: Parser: action = 81
INFO: Parser: action = 58
INFO: Parser: action = 53
INFO: mklist va_alist
INFO: mknode va_alist
INFO: mklist type p = LetterId__state
INFO: Parser: action = 145
INFO: mknode va_alist
INFO: mknode va_alist
INFO: cclass1 c =  
INFO: cclass c =  cctab[c] = 1
INFO: getchr linebuf = get[FS]) >= 0  ==>  put[x!]; put["\n"]
INFO: in while *linebuf = 38
INFO:  after read linebuf = get[FS]) >= 0  ==>  put[x!]; put["\n"]
INFO: ch = g
INFO: scan getchr read linebuf = et[FS]) >= 0  ==>  put[x!]; put["\n"]ch = g
INFO: cclass1 c = g
INFO: cclass c = gcctab[c] = 2
INFO: getchr linebuf = et[FS]) >= 0  ==>  put[x!]; put["\n"]
INFO: in while *linebuf = 37
INFO:  after read linebuf = et[FS]) >= 0  ==>  put[x!]; put["\n"]
INFO: ch = e
INFO: scan getchr read linebuf = t[FS]) >= 0  ==>  put[x!]; put["\n"]ch = e
INFO: cclass1 c = e
INFO: cclass c = ecctab[c] = 2
INFO: getchr linebuf = t[FS]) >= 0  ==>  put[x!]; put["\n"]
INFO: in while *linebuf = 36
INFO:  after read linebuf = t[FS]) >= 0  ==>  put[x!]; put["\n"]
INFO: ch = t
INFO: scan getchr read linebuf = [FS]) >= 0  ==>  put[x!]; put["\n"]ch = t
INFO: cclass1 c = t
INFO: cclass c = tcctab[c] = 2
INFO: getchr linebuf = [FS]) >= 0  ==>  put[x!]; put["\n"]
INFO: in while *linebuf = 35
INFO:  after read linebuf = [FS]) >= 0  ==>  put[x!]; put["\n"]
INFO: ch = [
INFO: scan getchr read linebuf = FS]) >= 0  ==>  put[x!]; put["\n"]ch = [
INFO: cclass1 c = [
INFO: cclass c = [cctab[c] = 4
INFO: reschk_id p = get
INFO: stt enter stt id = get
INFO: stt path 1
INFO: stt path 1 sttnstrings = 58
INFO: Parser: action = 134
INFO: Parser: action = 81
INFO: Parser: action = 58
INFO: Parser: action = 55
INFO: Parser: action = 144
INFO: mknode va_alist
INFO: mknode va_alist
INFO: cclass1 c = [
INFO: cclass c = [cctab[c] = 4
INFO: getchr linebuf = FS]) >= 0  ==>  put[x!]; put["\n"]
INFO: in while *linebuf = 34
INFO:  after read linebuf = FS]) >= 0  ==>  put[x!]; put["\n"]
INFO: ch = F
INFO: scan getchr read linebuf = S]) >= 0  ==>  put[x!]; put["\n"]ch = F
INFO: SEP p = [ c = F outtok = 91
INFO: Parser: action = 134
INFO: Parser: action = 81
INFO: Parser: action = 58
INFO: Parser: action = 55
INFO: cclass1 c = F
INFO: cclass c = Fcctab[c] = 2
INFO: getchr linebuf = S]) >= 0  ==>  put[x!]; put["\n"]
INFO: in while *linebuf = 33
INFO:  after read linebuf = S]) >= 0  ==>  put[x!]; put["\n"]
INFO: ch = S
INFO: scan getchr read linebuf = ]) >= 0  ==>  put[x!]; put["\n"]ch = S
INFO: cclass1 c = S
INFO: cclass c = Scctab[c] = 2
INFO: getchr linebuf = ]) >= 0  ==>  put[x!]; put["\n"]
INFO: in while *linebuf = 32
INFO:  after read linebuf = ]) >= 0  ==>  put[x!]; put["\n"]
INFO: ch = ]
INFO: scan getchr read linebuf = ) >= 0  ==>  put[x!]; put["\n"]ch = ]
INFO: cclass1 c = ]
INFO: cclass c = ]cctab[c] = 4
INFO: reschk_id p = FS
INFO: stt enter stt id = FS
INFO: stt path 1
INFO: stt path 1 sttnstrings = 59
INFO: Parser: action = 144
INFO: mknode va_alist
INFO: mknode va_alist
INFO: cclass1 c = ]
INFO: cclass c = ]cctab[c] = 4
INFO: getchr linebuf = ) >= 0  ==>  put[x!]; put["\n"]
INFO: in while *linebuf = 31
INFO:  after read linebuf = ) >= 0  ==>  put[x!]; put["\n"]
INFO: ch = )
INFO: scan getchr read linebuf =  >= 0  ==>  put[x!]; put["\n"]ch = )
INFO: SEP p = ] c = ) outtok = 93
INFO: Parser: action = 134
INFO: Parser: action = 81
INFO: Parser: action = 58
INFO: Parser: action = 53
INFO: mklist va_alist
INFO: mknode va_alist
INFO: mklist type p = LetterId__state
INFO: Parser: action = 51
INFO: mkappl size = 1
INFO: type body i = 1LetterId__state
INFO: mkappl2 head = 1 tail = 1
INFO: mklist va_alist
INFO: mknode va_alist
INFO: mklist type p = LetterId__state
INFO: Parser: action = 50
INFO: Parser: action = 92
INFO: mklist va_alist
INFO: mknode va_alist
INFO: mklist type p = ConsNode__state
INFO: Parser: action = 91
INFO: Parser: action = 56
INFO: cclass1 c = )
INFO: cclass c = )cctab[c] = 4
INFO: getchr linebuf =  >= 0  ==>  put[x!]; put["\n"]
INFO: in while *linebuf = 30
INFO:  after read linebuf =  >= 0  ==>  put[x!]; put["\n"]
INFO: ch =  
INFO: scan getchr read linebuf = >= 0  ==>  put[x!]; put["\n"]ch =  
INFO: SEP p = ) c =   outtok = 41
INFO: Parser: action = 51
INFO: mkappl size = 4
INFO: type body i = 1LetterId__state
INFO: type body i = 2OpridNode__state
INFO: type body i = 3LetterId__state
INFO: type body i = 4ListHeaderNode__state
INFO: mkappl2 head = 1 tail = 4
INFO: outermost_op p = 1 head = 1 tail = 4
INFO: array = list
INFO: type(array(p) = LetterId__state
INFO: precedence p = null
INFO: i = 0
INFO: type(array(p) = OpridNode__state
INFO: precedence p = null
INFO: i = 0
INFO: type(array(p) = LetterId__state
INFO: precedence p = null
INFO: i = 0
INFO: type(array(p) = ListHeaderNode__state
INFO: precedence p = null
INFO: i = 15
INFO: lower_prec = 0
INFO: ASSGNLEVEL
INFO: precedence p = null
INFO: mknode va_alist
INFO: mkappl2 head = 2 tail = 4
INFO: outermost_op p = 2 head = 2 tail = 4
INFO: array = list
INFO: type(array(p) = OpridNode__state
INFO: precedence p = null
INFO: i = 0
INFO: type(array(p) = LetterId__state
INFO: precedence p = null
INFO: i = 0
INFO: type(array(p) = ListHeaderNode__state
INFO: precedence p = null
INFO: i = 15
INFO: lower_prec = 0
INFO: ASSGNLEVEL
INFO: precedence p = null
INFO: mknode va_alist
INFO: mkappl2 head = 3 tail = 4
INFO: outermost_op p = 3 head = 3 tail = 4
INFO: array = list
INFO: type(array(p) = LetterId__state
INFO: precedence p = null
INFO: i = 0
INFO: type(array(p) = ListHeaderNode__state
INFO: precedence p = null
INFO: i = 15
INFO: lower_prec = 0
INFO: ASSGNLEVEL
INFO: precedence p = null
INFO: mknode va_alist
INFO: mkappl2 head = 4 tail = 4
INFO: mknode va_alist
INFO: mklist va_alist
INFO: mknode va_alist
INFO: mklist type p = ApplicationNode__state
INFO: mknode va_alist
INFO: mklist va_alist
INFO: mknode va_alist
INFO: mklist type p = ApplicationNode__state
INFO: mknode va_alist
INFO: mklist va_alist
INFO: mknode va_alist
INFO: mklist type p = ApplicationNode__state
INFO: Parser: action = 50
INFO: Parser: action = 72
INFO: Parser: action = 69
INFO: Parser: action = 63
INFO: precedence p = null
INFO: mknode va_alist
INFO: mknode va_alist
INFO: mknode va_alist
INFO: mknode va_alist
INFO: cclass1 c =  
INFO: cclass c =  cctab[c] = 1
INFO: getchr linebuf = >= 0  ==>  put[x!]; put["\n"]
INFO: in while *linebuf = 29
INFO:  after read linebuf = >= 0  ==>  put[x!]; put["\n"]
INFO: ch = >
INFO: scan getchr read linebuf = = 0  ==>  put[x!]; put["\n"]ch = >
INFO: cclass1 c = >
INFO: cclass c = >cctab[c] = 5
INFO: getchr linebuf = = 0  ==>  put[x!]; put["\n"]
INFO: in while *linebuf = 28
INFO:  after read linebuf = = 0  ==>  put[x!]; put["\n"]
INFO: ch = =
INFO: scan getchr read linebuf =  0  ==>  put[x!]; put["\n"]ch = =
INFO: cclass1 c = =
INFO: cclass c = =cctab[c] = 5
INFO: getchr linebuf =  0  ==>  put[x!]; put["\n"]
INFO: in while *linebuf = 27
INFO:  after read linebuf =  0  ==>  put[x!]; put["\n"]
INFO: ch =  
INFO: scan getchr read linebuf = 0  ==>  put[x!]; put["\n"]ch =  
INFO: cclass1 c =  
INFO: cclass c =  cctab[c] = 1
INFO: reschk_op p = >=
INFO: stt enter stt id = >=
INFO: stt path 1
INFO: stt path 1 sttnstrings = 60
INFO: Parser: action = 53
INFO: mklist va_alist
INFO: mknode va_alist
INFO: mklist type p = BlDenotationNode__state
INFO: Parser: action = 145
INFO: mknode va_alist
INFO: mknode va_alist
INFO: cclass1 c =  
INFO: cclass c =  cctab[c] = 1
INFO: getchr linebuf = 0  ==>  put[x!]; put["\n"]
INFO: in while *linebuf = 26
INFO:  after read linebuf = 0  ==>  put[x!]; put["\n"]
INFO: ch = 0
INFO: scan getchr read linebuf =   ==>  put[x!]; put["\n"]ch = 0
INFO: cclass1 c = 0
INFO: cclass c = 0cctab[c] = 3
INFO: getchr linebuf =   ==>  put[x!]; put["\n"]
INFO: in while *linebuf = 25
INFO:  after read linebuf =   ==>  put[x!]; put["\n"]
INFO: ch =  
INFO: scan getchr read linebuf =  ==>  put[x!]; put["\n"]ch =  
INFO: cclass1 c =  
INFO: cclass c =  cctab[c] = 1
INFO: Parser: action = 134
INFO: Parser: action = 81
INFO: Parser: action = 58
INFO: Parser: action = 55
INFO: Parser: action = 147
INFO: mknode va_alist
INFO: mknode va_alist
INFO: Parser: action = 82
INFO: Parser: action = 58
INFO: cclass1 c =  
INFO: cclass c =  cctab[c] = 1
INFO: getchr linebuf =  ==>  put[x!]; put["\n"]
INFO: in while *linebuf = 24
INFO:  after read linebuf =  ==>  put[x!]; put["\n"]
INFO: ch =  
INFO: scan getchr read linebuf = ==>  put[x!]; put["\n"]ch =  
INFO: cclass1 c =  
INFO: cclass c =  cctab[c] = 1
INFO: getchr linebuf = ==>  put[x!]; put["\n"]
INFO: in while *linebuf = 23
INFO:  after read linebuf = ==>  put[x!]; put["\n"]
INFO: ch = =
INFO: scan getchr read linebuf = =>  put[x!]; put["\n"]ch = =
INFO: cclass1 c = =
INFO: cclass c = =cctab[c] = 5
INFO: getchr linebuf = =>  put[x!]; put["\n"]
INFO: in while *linebuf = 22
INFO:  after read linebuf = =>  put[x!]; put["\n"]
INFO: ch = =
INFO: scan getchr read linebuf = >  put[x!]; put["\n"]ch = =
INFO: cclass1 c = =
INFO: cclass c = =cctab[c] = 5
INFO: getchr linebuf = >  put[x!]; put["\n"]
INFO: in while *linebuf = 21
INFO:  after read linebuf = >  put[x!]; put["\n"]
INFO: ch = >
INFO: scan getchr read linebuf =   put[x!]; put["\n"]ch = >
INFO: cclass1 c = >
INFO: cclass c = >cctab[c] = 5
INFO: getchr linebuf =   put[x!]; put["\n"]
INFO: in while *linebuf = 20
INFO:  after read linebuf =   put[x!]; put["\n"]
INFO: ch =  
INFO: scan getchr read linebuf =  put[x!]; put["\n"]ch =  
INFO: cclass1 c =  
INFO: cclass c =  cctab[c] = 1
INFO: reschk_op p = ==>
INFO: Parser: action = 55
INFO: Parser: action = 51
INFO: mkappl size = 3
INFO: type body i = 1BlDenotationNode__state
INFO: type body i = 2OpridNode__state
INFO: type body i = 3UQStrNode__state
INFO: mkappl2 head = 1 tail = 3
INFO: outermost_op p = 1 head = 1 tail = 3
INFO: array = list
INFO: type(array(p) = BlDenotationNode__state
INFO: precedence p = null
INFO: i = 15
INFO: type(array(p) = OpridNode__state
INFO: precedence p = null
INFO: i = 0
INFO: type(array(p) = UQStrNode__state
INFO: precedence p = null
INFO: i = 15
INFO: lower_prec = 0
INFO: ASSGNLEVEL
INFO: precedence p = null
INFO: precedence p = null
INFO: mkappl2 head = 1 tail = 1
INFO: mklist va_alist
INFO: mknode va_alist
INFO: mklist type p = BlDenotationNode__state
INFO: mkappl2 head = 3 tail = 3
INFO: mklist va_alist
INFO: mknode va_alist
INFO: mklist type p = UQStrNode__state
INFO: mknode va_alist
INFO: mklist va_alist
INFO: mknode va_alist
INFO: mklist type p = ApplicationNode__state
INFO: Parser: action = 50
INFO: Parser: action = 88
INFO: cclass1 c =  
INFO: cclass c =  cctab[c] = 1
INFO: getchr linebuf =  put[x!]; put["\n"]
INFO: in while *linebuf = 19
INFO:  after read linebuf =  put[x!]; put["\n"]
INFO: ch =  
INFO: scan getchr read linebuf = put[x!]; put["\n"]ch =  
INFO: cclass1 c =  
INFO: cclass c =  cctab[c] = 1
INFO: getchr linebuf = put[x!]; put["\n"]
INFO: in while *linebuf = 18
INFO:  after read linebuf = put[x!]; put["\n"]
INFO: ch = p
INFO: scan getchr read linebuf = ut[x!]; put["\n"]ch = p
INFO: cclass1 c = p
INFO: cclass c = pcctab[c] = 2
INFO: getchr linebuf = ut[x!]; put["\n"]
INFO: in while *linebuf = 17
INFO:  after read linebuf = ut[x!]; put["\n"]
INFO: ch = u
INFO: scan getchr read linebuf = t[x!]; put["\n"]ch = u
INFO: cclass1 c = u
INFO: cclass c = ucctab[c] = 2
INFO: getchr linebuf = t[x!]; put["\n"]
INFO: in while *linebuf = 16
INFO:  after read linebuf = t[x!]; put["\n"]
INFO: ch = t
INFO: scan getchr read linebuf = [x!]; put["\n"]ch = t
INFO: cclass1 c = t
INFO: cclass c = tcctab[c] = 2
INFO: getchr linebuf = [x!]; put["\n"]
INFO: in while *linebuf = 15
INFO:  after read linebuf = [x!]; put["\n"]
INFO: ch = [
INFO: scan getchr read linebuf = x!]; put["\n"]ch = [
INFO: cclass1 c = [
INFO: cclass c = [cctab[c] = 4
INFO: reschk_id p = put
INFO: stt enter stt id = put
INFO: stt path 2
INFO: stt path 2 it = 42
INFO: Parser: action = 144
INFO: mknode va_alist
INFO: mknode va_alist
INFO: cclass1 c = [
INFO: cclass c = [cctab[c] = 4
INFO: getchr linebuf = x!]; put["\n"]
INFO: in while *linebuf = 14
INFO:  after read linebuf = x!]; put["\n"]
INFO: ch = x
INFO: scan getchr read linebuf = !]; put["\n"]ch = x
INFO: SEP p = [ c = x outtok = 91
INFO: Parser: action = 134
INFO: Parser: action = 81
INFO: Parser: action = 58
INFO: Parser: action = 53
INFO: mklist va_alist
INFO: mknode va_alist
INFO: mklist type p = LetterId__state
INFO: cclass1 c = x
INFO: cclass c = xcctab[c] = 2
INFO: getchr linebuf = !]; put["\n"]
INFO: in while *linebuf = 13
INFO:  after read linebuf = !]; put["\n"]
INFO: ch = !
INFO: scan getchr read linebuf = ]; put["\n"]ch = !
INFO: cclass1 c = !
INFO: cclass c = !cctab[c] = 5
INFO: reschk_id p = x
INFO: stt enter stt id = x
INFO: stt path 2
INFO: stt path 2 it = 57
INFO: Parser: action = 144
INFO: mknode va_alist
INFO: mknode va_alist
INFO: cclass1 c = !
INFO: cclass c = !cctab[c] = 5
INFO: getchr linebuf = ]; put["\n"]
INFO: in while *linebuf = 12
INFO:  after read linebuf = ]; put["\n"]
INFO: ch = ]
INFO: scan getchr read linebuf = ; put["\n"]ch = ]
INFO: cclass1 c = ]
INFO: cclass c = ]cctab[c] = 4
INFO: reschk_op p = !
INFO: stt enter stt id = !
INFO: stt path 2
INFO: stt path 2 it = 53
INFO: Parser: action = 134
INFO: Parser: action = 81
INFO: Parser: action = 58
INFO: Parser: action = 53
INFO: mklist va_alist
INFO: mknode va_alist
INFO: mklist type p = LetterId__state
INFO: Parser: action = 145
INFO: mknode va_alist
INFO: mknode va_alist
INFO: cclass1 c = ]
INFO: cclass c = ]cctab[c] = 4
INFO: getchr linebuf = ; put["\n"]
INFO: in while *linebuf = 11
INFO:  after read linebuf = ; put["\n"]
INFO: ch = ;
INFO: scan getchr read linebuf =  put["\n"]ch = ;
INFO: SEP p = ] c = ; outtok = 93
INFO: Parser: action = 134
INFO: Parser: action = 81
INFO: Parser: action = 58
INFO: Parser: action = 55
INFO: Parser: action = 51
INFO: mkappl size = 2
INFO: type body i = 1LetterId__state
INFO: type body i = 2OpridNode__state
INFO: mkappl2 head = 1 tail = 2
INFO: outermost_op p = 1 head = 1 tail = 2
INFO: array = list
INFO: type(array(p) = LetterId__state
INFO: precedence p = null
INFO: i = 0
INFO: type(array(p) = OpridNode__state
INFO: precedence p = null
INFO: i = 0
INFO: lower_prec = 0
INFO: ASSGNLEVEL
INFO: precedence p = null
INFO: mknode va_alist
INFO: mkappl2 head = 2 tail = 2
INFO: mklist va_alist
INFO: mknode va_alist
INFO: mklist type p = OpridNode__state
INFO: mknode va_alist
INFO: mklist va_alist
INFO: mknode va_alist
INFO: mklist type p = ApplicationNode__state
INFO: Parser: action = 50
INFO: Parser: action = 92
INFO: mklist va_alist
INFO: mknode va_alist
INFO: mklist type p = ConsNode__state
INFO: Parser: action = 91
INFO: Parser: action = 56
INFO: cclass1 c = ;
INFO: cclass c = ;cctab[c] = 4
INFO: getchr linebuf =  put["\n"]
INFO: in while *linebuf = 10
INFO:  after read linebuf =  put["\n"]
INFO: ch =  
INFO: scan getchr read linebuf = put["\n"]ch =  
INFO: SEP p = ; c =   outtok = 59
INFO: Parser: action = 51
INFO: mkappl size = 2
INFO: type body i = 1LetterId__state
INFO: type body i = 2ListHeaderNode__state
INFO: mkappl2 head = 1 tail = 2
INFO: outermost_op p = 1 head = 1 tail = 2
INFO: array = list
INFO: type(array(p) = LetterId__state
INFO: precedence p = null
INFO: i = 0
INFO: type(array(p) = ListHeaderNode__state
INFO: precedence p = null
INFO: i = 15
INFO: lower_prec = 0
INFO: ASSGNLEVEL
INFO: precedence p = null
INFO: mknode va_alist
INFO: mkappl2 head = 2 tail = 2
INFO: mknode va_alist
INFO: mklist va_alist
INFO: mknode va_alist
INFO: mklist type p = ApplicationNode__state
INFO: Parser: action = 50
INFO: Parser: action = 70
INFO: mklist va_alist
INFO: mknode va_alist
INFO: mklist type p = ConsNode__state
INFO: cclass1 c =  
INFO: cclass c =  cctab[c] = 1
INFO: getchr linebuf = put["\n"]
INFO: in while *linebuf = 9
INFO:  after read linebuf = put["\n"]
INFO: ch = p
INFO: scan getchr read linebuf = ut["\n"]ch = p
INFO: cclass1 c = p
INFO: cclass c = pcctab[c] = 2
INFO: getchr linebuf = ut["\n"]
INFO: in while *linebuf = 8
INFO:  after read linebuf = ut["\n"]
INFO: ch = u
INFO: scan getchr read linebuf = t["\n"]ch = u
INFO: cclass1 c = u
INFO: cclass c = ucctab[c] = 2
INFO: getchr linebuf = t["\n"]
INFO: in while *linebuf = 7
INFO:  after read linebuf = t["\n"]
INFO: ch = t
INFO: scan getchr read linebuf = ["\n"]ch = t
INFO: cclass1 c = t
INFO: cclass c = tcctab[c] = 2
INFO: getchr linebuf = ["\n"]
INFO: in while *linebuf = 6
INFO:  after read linebuf = ["\n"]
INFO: ch = [
INFO: scan getchr read linebuf = "\n"]ch = [
INFO: cclass1 c = [
INFO: cclass c = [cctab[c] = 4
INFO: reschk_id p = put
INFO: stt enter stt id = put
INFO: stt path 2
INFO: stt path 2 it = 42
INFO: Parser: action = 144
INFO: mknode va_alist
INFO: mknode va_alist
INFO: cclass1 c = [
INFO: cclass c = [cctab[c] = 4
INFO: getchr linebuf = "\n"]
INFO: in while *linebuf = 5
INFO:  after read linebuf = "\n"]
INFO: ch = "
INFO: scan getchr read linebuf = \n"]ch = "
INFO: SEP p = [ c = " outtok = 91
INFO: Parser: action = 134
INFO: Parser: action = 81
INFO: Parser: action = 58
INFO: Parser: action = 53
INFO: mklist va_alist
INFO: mknode va_alist
INFO: mklist type p = LetterId__state
INFO: cclass1 c = "
INFO: cclass c = "cctab[c] = 7
INFO: getchr linebuf = \n"]
INFO: in while *linebuf = 4
INFO:  after read linebuf = \n"]
INFO: ch = \
INFO: scan getchr read linebuf = n"]ch = \
INFO: cclass1 c = \
INFO: cclass c = \cctab[c] = 5
INFO: getchr linebuf = n"]
INFO: in while *linebuf = 3
INFO:  after read linebuf = n"]
INFO: ch = n
INFO: scan getchr read linebuf = "]ch = n
INFO: getchr linebuf = "]
INFO: in while *linebuf = 2
INFO:  after read linebuf = "]
INFO: ch = "
INFO: scan getchr read linebuf = ]ch = "
INFO: cclass1 c = "
INFO: cclass c = "cctab[c] = 7
INFO: getchr linebuf = ]
INFO: in while *linebuf = 1
INFO:  after read linebuf = ]
INFO: ch = ]
INFO: scan getchr read linebuf = ch = ]
INFO: cclass1 c = ]
INFO: cclass c = ]cctab[c] = 4
INFO: Parser: action = 146
INFO: mknode va_alist
INFO: mknode va_alist
INFO: Parser: action = 82
INFO: Parser: action = 58
INFO: cclass1 c = ]
INFO: cclass c = ]cctab[c] = 4
INFO: getchr linebuf = 
INFO: in while *linebuf = 7
INFO:  after read linebuf =      od
INFO: ch =  
INFO: scan getchr read linebuf =     odch =  
INFO: SEP p = ] c =   outtok = 93
INFO: Parser: action = 53
INFO: mklist va_alist
INFO: mknode va_alist
INFO: mklist type p = QStrNode__state
INFO: Parser: action = 51
INFO: mkappl size = 1
INFO: type body i = 1QStrNode__state
INFO: mkappl2 head = 1 tail = 1
INFO: mklist va_alist
INFO: mknode va_alist
INFO: mklist type p = QStrNode__state
INFO: Parser: action = 50
INFO: Parser: action = 92
INFO: mklist va_alist
INFO: mknode va_alist
INFO: mklist type p = ConsNode__state
INFO: Parser: action = 91
INFO: Parser: action = 56
INFO: cclass1 c =  
INFO: cclass c =  cctab[c] = 1
INFO: getchr linebuf =     od
INFO: in while *linebuf = 6
INFO:  after read linebuf =     od
INFO: ch =  
INFO: scan getchr read linebuf =    odch =  
INFO: cclass1 c =  
INFO: cclass c =  cctab[c] = 1
INFO: getchr linebuf =    od
INFO: in while *linebuf = 5
INFO:  after read linebuf =    od
INFO: ch =  
INFO: scan getchr read linebuf =   odch =  
INFO: cclass1 c =  
INFO: cclass c =  cctab[c] = 1
INFO: getchr linebuf =   od
INFO: in while *linebuf = 4
INFO:  after read linebuf =   od
INFO: ch =  
INFO: scan getchr read linebuf =  odch =  
INFO: cclass1 c =  
INFO: cclass c =  cctab[c] = 1
INFO: getchr linebuf =  od
INFO: in while *linebuf = 3
INFO:  after read linebuf =  od
INFO: ch =  
INFO: scan getchr read linebuf = odch =  
INFO: cclass1 c =  
INFO: cclass c =  cctab[c] = 1
INFO: getchr linebuf = od
INFO: in while *linebuf = 2
INFO:  after read linebuf = od
INFO: ch = o
INFO: scan getchr read linebuf = dch = o
INFO: cclass1 c = o
INFO: cclass c = occtab[c] = 2
INFO: getchr linebuf = d
INFO: in while *linebuf = 1
INFO:  after read linebuf = d
INFO: ch = d
INFO: scan getchr read linebuf = ch = d
INFO: cclass1 c = d
INFO: cclass c = dcctab[c] = 2
INFO: getchr linebuf = 
INFO: in while *linebuf = 3
INFO:  after read linebuf =  ni
INFO: ch =  
INFO: scan getchr read linebuf = nich =  
INFO: cclass1 c =  
INFO: cclass c =  cctab[c] = 1
INFO: reschk_id p = od
INFO: Parser: action = 51
INFO: mkappl size = 2
INFO: type body i = 1LetterId__state
INFO: type body i = 2ListHeaderNode__state
INFO: mkappl2 head = 1 tail = 2
INFO: outermost_op p = 1 head = 1 tail = 2
INFO: array = list
INFO: type(array(p) = LetterId__state
INFO: precedence p = null
INFO: i = 0
INFO: type(array(p) = ListHeaderNode__state
INFO: precedence p = null
INFO: i = 15
INFO: lower_prec = 0
INFO: ASSGNLEVEL
INFO: precedence p = null
INFO: mknode va_alist
INFO: mkappl2 head = 2 tail = 2
INFO: mknode va_alist
INFO: mklist va_alist
INFO: mknode va_alist
INFO: mklist type p = ApplicationNode__state
INFO: Parser: action = 50
INFO: Parser: action = 72
INFO: Parser: action = 69
INFO: Parser: action = 143
INFO: mknode va_alist
INFO: mknode va_alist
INFO: mknode va_alist
INFO: mknode va_alist
INFO: mknode va_alist
INFO: Parser: action = 139
INFO: mklist va_alist
INFO: mknode va_alist
INFO: mklist type p = GuardedElementNode__state
INFO: Parser: action = 65
INFO: mknode va_alist
INFO: mknode va_alist
INFO: cclass1 c =  
INFO: cclass c =  cctab[c] = 1
INFO: getchr linebuf = ni
INFO: in while *linebuf = 2
INFO:  after read linebuf = ni
INFO: ch = n
INFO: scan getchr read linebuf = ich = n
INFO: cclass1 c = n
INFO: cclass c = ncctab[c] = 2
INFO: getchr linebuf = i
INFO: in while *linebuf = 1
INFO:  after read linebuf = i
INFO: ch = i
INFO: scan getchr read linebuf = ch = i
INFO: cclass1 c = i
INFO: cclass c = icctab[c] = 2
INFO: getchr linebuf = 
INFO: in while *linebuf = 1
INFO:  after read linebuf =  
INFO: ch =  
INFO: scan getchr read linebuf = ch =  
INFO: cclass1 c =  
INFO: cclass c =  cctab[c] = 1
INFO: reschk_id p = ni
INFO: Parser: action = 53
INFO: mklist va_alist
INFO: mknode va_alist
INFO: mklist type p = LoopDenotationNode__state
INFO: Parser: action = 51
INFO: mkappl size = 1
INFO: type body i = 1LoopDenotationNode__state
INFO: mkappl2 head = 1 tail = 1
INFO: mklist va_alist
INFO: mknode va_alist
INFO: mklist type p = LoopDenotationNode__state
INFO: Parser: action = 50
INFO: Parser: action = 70
INFO: mklist va_alist
INFO: mknode va_alist
INFO: mklist type p = ConsNode__state
INFO: Parser: action = 66
INFO: precedence p = null
INFO: mknode va_alist
INFO: mknode va_alist
INFO: mknode va_alist
INFO: cclass1 c =  
INFO: cclass c =  cctab[c] = 1
INFO: getchr linebuf = 
INFO: cclass1 c = -1
INFO: cclass EOFCC
INFO: Parser: action = 53
INFO: mklist va_alist
INFO: mknode va_alist
INFO: mklist type p = BlDenotationNode__state
INFO: Parser: action = 51
INFO: mkappl size = 1
INFO: type body i = 1BlDenotationNode__state
INFO: mkappl2 head = 1 tail = 1
INFO: mklist va_alist
INFO: mknode va_alist
INFO: mklist type p = BlDenotationNode__state
INFO: Parser: action = 50
INFO: Parser: action = 2
INFO: mklist va_alist
INFO: mknode va_alist
INFO: mklist type p = ConsNode__state
INFO: Parser: Program accepted!!!!
INFO: *** End of Russell parse
INFO: Building symbol table
INFO: Fixing up syntax tree
INFO: Checking signatures
