for (int nidx=0, cnt=0; nidx < non_terminal.number(); nidx++, cnt++) System.err.print("["+nidx+"]"+non_terminal.find(nidx).name()+" "); if ((cnt+1) % 5 == 0) System.err.println();
for (int nidx=0, cnt=0; nidx < non_terminal.number(); nidx++, cnt++) System.err.print("["+nidx+"]"+non_terminal.find(nidx).name()+" "); if ((cnt+1) % 5 == 0) System.err.println();
for (int nidx=0, cnt=0; nidx < non_terminal.number(); nidx++, cnt++) System.err.print("["+nidx+"]"+non_terminal.find(nidx).name()+" "); if ((cnt+1) % 5 == 0) System.err.println();
for (int nidx=0, cnt=0; nidx < non_terminal.number(); nidx++, cnt++) System.err.print("["+nidx+"]"+non_terminal.find(nidx).name()+" "); if ((cnt+1) % 5 == 0) System.err.println();
for (int nidx=0, cnt=0; nidx < non_terminal.number(); nidx++, cnt++) System.err.print("["+nidx+"]"+non_terminal.find(nidx).name()+" "); if ((cnt+1) % 5 == 0) System.err.println();