tests/k_and_kd/k_dum_n_11.in

	k_dum_n_11.in revision 027d68858fd4bbb565ca2aa7ce026dc60c8cf881
abd8dd44106c507dd2cb64359b63d7d56fa0a9c8Christian Maeder(((((([]([]([]p0->[][]p0)/\([]([](p0->[]p0)->p0)->(<>[]p0->(p0\/[]p0))))/\[][]([]([]p0->[][]p0)/\([]([](p0->[]p0)->p0)->(<>[]p0->(p0\/[]p0)))))/\[][][]([]([]p0->[][]p0)/\([]([](p0->[]p0)->p0)->(<>[]p0->(p0\/[]p0)))))/\[][][][]([]([]p0->[][]p0)/\([]([](p0->[]p0)->p0)->(<>[]p0->(p0\/[]p0)))))/\[][][][][]([]([]p0->[][]p0)/\([]([](p0->[]p0)->p0)->(<>[]p0->(p0\/[]p0)))))/\~[][][][][][][][][][][][]([]([](p0->[]p0)->p0)->(<>[]p0->p0)))->(<><><><><><><><><><><><>~(((([]([](p0->[]p0)->p0)->[][]([](p0->[]p0)->p0))/\[]([]p0->[][]p0))/\([]([](p0->[]p0)->p0)->(<>[]p0->(p0\/[]p0))))/\([]([]((p0->[]p0)->[](p0->[]p0))->(p0->[]p0))->(<>[](p0->[]p0)->((p0->[]p0)\/[](p0->[]p0)))))\/(((<><><><><><><>~([]([]p0->[][]p0)/\([]([](p0->[]p0)->p0)->(<>[]p0->(p0\/[]p0))))\/<><><><><><><><>~([]([]p0->[][]p0)/\([]([](p0->[]p0)->p0)->(<>[]p0->(p0\/[]p0)))))\/<><><><><><><><><>~([]([]p0->[][]p0)/\([]([](p0->[]p0)->p0)->(<>[]p0->(p0\/[]p0)))))\/<><><><><><><><><><>~([]([]p0->[][]p0)/\([]([](p0->[]p0)->p0)->(<>[]p0->(p0\/[]p0)))))))