k_d4_n_01.in revision 027d68858fd4bbb565ca2aa7ce026dc60c8cf881
(((((([]([]p0\/[]<>~p0)\/<>[]F)\/<>([]p0/\<><>~p0))\/<>([]<>p0/\<><>[]~p0))\/<>([]p0/\[]~p0))\/<>([]([]~p0\/p0)/\<><>(<>p0/\~p0)))\/<>([](<>~p0\/p0)/\<><>([]p0/\~p0)))