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