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