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