((((((((((((((((((((((((([][][][][][][][][][][][][][][][][][][][][](<>~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)))\/((((([][][][][][][][][][][][][][][][][][][][][](<>~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)))\/((((([][][][][][][][][][][][][][][][][][][][][](<>~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)))