(([][][][][][][][](((((((p1/\p2)/\p3)/\p4)/\p5)/\p6)/\p7)/\p8)\/(<>((<>((<>((<>((<>((<>((<>(F\/<>(p1<->p2))\/[]p3)\/<><>(p2<->p3))\/[]p4)\/<><><>(p3<->p4))\/[]p5)\/<><><><>(p4<->p5))\/[]p6)\/<><><><><>(p5<->p6))\/[]p7)\/<><><><><><>(p6<->p7))\/[]p8)\/<><><><><><><>(p7<->p1))\/[]p9))\/[][][][][][][][](((((((~p2/\~p4)/\~p6)/\~p8)/\~p10)/\~p12)/\~p14)/\~p16))