1
2
2
3
3
4
4
5
5
3
6
6
1
129 states 64 scans 44 shifts 80 reductions 0 compares 0 ambiguities
((( a  :  1 ) ; )( { ((( a  :  2 ) ; )( a  ; )(( a  :  3 ) ; )( { (( a  ; )(( a  :  4 ) ; )( a  ; )(( a  =  5 ) ; )( a  ; )) } )( a  ; )( { (( a  =  6 ) ; ) } )( a  ; )) } )( a  ; ))