LR0\first.txt ...\in.txt ...\last.txt ...\LR0.jpx ...\signal.txt ...\.rc\ExFormula.java ...\...\FirstLastConstant.java ...\...\Formula.java ...\...\HeapSort.java ...\...\main.java ...\...\StateData.java ...\...\TransData.java ...\src LR0