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