((((([]p1\/[]p2)\/[]p3)\/[]p5)\/(((((((((((((((((((((((((((((((<>(~p1/\[]p3)\/<>(~p1/\[]p5))\/F)\/(<>(~p2/\[]p1)\/F))\/((<>(~p3/\[]p3)\/<>(~p3/\[]p5))\/F))\/(F\/F))\/((<>(~p5/\[]p3)\/<>(~p5/\[]p5))\/F))\/(F\/F))\/(((<><>(~p1/\[]p1)\/<><>(~p1/\[]p3))\/<><>(~p1/\[]p5))\/F))\/(F\/(<>(~p4/\[]p2)\/<>(~p6/\[]p2))))\/(((<><>(~p3/\[]p1)\/<><>(~p3/\[]p3))\/<><>(~p3/\[]p5))\/F))\/(F\/(<>(~p4/\[]p4)\/<>(~p6/\[]p4))))\/(((<><>(~p5/\[]p1)\/<><>(~p5/\[]p3))\/<><>(~p5/\[]p5))\/F))\/(F\/(<>(~p4/\[]p6)\/<>(~p6/\[]p6))))\/((<><><>(~p1/\[]p3)\/<><><>(~p1/\[]p5))\/F))\/(F\/((<><>(~p2/\[]p2)\/<><>(~p4/\[]p2))\/<><>(~p6/\[]p2))))\/((<><><>(~p3/\[]p3)\/<><><>(~p3/\[]p5))\/F))\/(<><><>(~p4/\[]p1)\/((<><>(~p2/\[]p4)\/<><>(~p4/\[]p4))\/<><>(~p6/\[]p4))))\/((<><><>(~p5/\[]p3)\/<><><>(~p5/\[]p5))\/F))\/(F\/((<><>(~p2/\[]p6)\/<><>(~p4/\[]p6))\/<><>(~p6/\[]p6))))\/((((<><><><>(~p1/\[]p1)\/<><><><>(~p1/\[]p3))\/<><><><>(~p1/\[]p4))\/<><><><>(~p1/\[]p5))\/F))\/(F\/(<><><>(~p2/\[]p2)\/<><><>(~p6/\[]p2))))\/(((<><><><>(~p3/\[]p1)\/<><><><>(~p3/\[]p3))\/<><><><>(~p3/\[]p5))\/F))\/(F\/(<><><>(~p2/\[]p4)\/<><><>(~p6/\[]p4))))\/(((<><><><>(~p5/\[]p1)\/<><><><>(~p5/\[]p3))\/<><><><>(~p5/\[]p5))\/F))\/(F\/(<><><>(~p2/\[]p6)\/<><><>(~p6/\[]p6))))\/(F\/F))\/(F\/((<><><><>(~p2/\[]p2)\/<><><><>(~p4/\[]p2))\/<><><><>(~p6/\[]p2))))\/(F\/F))\/(F\/((<><><><>(~p2/\[]p4)\/<><><><>(~p4/\[]p4))\/<><><><>(~p6/\[]p4))))\/(F\/F))\/(F\/((<><><><>(~p2/\[]p6)\/<><><><>(~p4/\[]p6))\/<><><><>(~p6/\[]p6)))))\/(((<><><><><>~p2\/<><><><><>~p4)\/<><><><><>~p4)\/<><><><><>~p6))