2829303132333435363738
ASTNode n = null; List<Object> v = null; FormulaParser parser = Formulas.getParser(); n = parser.parse(System.in, false); n.dump(""); FormulaContext ctx = Formulas.createContext(null, parser); v = n.solve(ctx); System.out.println("NTF:\t" + v);