k_dum_p_03.k revision 8097f4aa8c4e8d1445d2ebce2e2614655809ade1
(([]([]([]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))))\/F))