tests/k_and_kd/k_d4_n_19.in

	k_d4_n_19.in revision 027d68858fd4bbb565ca2aa7ce026dc60c8cf881
8b054cade993ef373d564b2d74c9c5a2da48f8b7Kristina Sojakova(((((((((((((((((((((((([][][][][][][][][][][][][][][][][][][]([]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))))\/(((((([][][][][][][][][][][][][][][][][][][]([]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))))\/(((((([][][][][][][][][][][][][][][][][][][]([]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))))\/(((((([][][][][][][][][][][][][][][][][][][]([]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))))