tests/k_and_kd/k_d4_p_07.in

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