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: 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 = 15
INFO: type(array(p) = OpridNode__state
INFO: precedence p = null
INFO: i = 15
INFO: type(array(p) = UQStrNode__state
INFO: precedence p = null
INFO: i = 15
INFO: lower_prec = 15
INFO: INFINITE
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: mknode va_alist
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: 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 = 15
INFO: type(array(p) = OpridNode__state
INFO: precedence p = null
INFO: i = 15
INFO: type(array(p) = UQStrNode__state
INFO: precedence p = null
INFO: i = 15
INFO: lower_prec = 15
INFO: INFINITE
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: mknode va_alist
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: 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 = 15
INFO: lower_prec = 15
INFO: INFINITE
