tests/k_and_kd/k_dum_p_07.in

	k_dum_p_07.in revision 027d68858fd4bbb565ca2aa7ce026dc60c8cf881
(((([]([]([]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))))))