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