(((((([][](<>~p0\/p0)\/<>[]F)\/<>([]p0/\<><>~p0))\/<>([]<>p0/\<><>[]~p0))\/<>(p0/\<>[]~p0))\/<>(~p0/\<>[]p0))\/((((([][](<>~p0\/p0)\/<><>[]F)\/<><>([]p0/\<><>~p0))\/<><>([]<>p0/\<><>[]~p0))\/<><>(p0/\<>[]~p0))\/<><>(~p0/\<>[]p0)))