109110111112113114115116117118119
IO.println(((Fun) Names).getArg(j) + "=" + NamedR.getArg(j)); } // IO.println(";"); if (!moreAnswers(i)) { E.stop(); break; } } } }