k_dum_p_20.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))))/\[][][][][][][][][][]([]([]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))))))