identifier
identifierX
identifier
do identifier
32 states 8 scans 8 shifts 23 reductions 1 compares 0 ambiguities
( dont  formulaX  formula ( do  form ))