(([][][][][][][][][][][][][][](((((((((((((p1/\p2)/\p3)/\p4)/\p5)/\p6)/\p7)/\p8)/\p9)/\p10)/\p11)/\p12)/\p13)/\p14)\/(<>((<>((<>((<>((<>((<>((<>((<>((<>((<>((<>((<>((<>(F\/<>(p1<->p2))\/[]p3)\/<><>(p2<->p3))\/[]p4)\/<><><>(p3<->p4))\/[]p5)\/<><><><>(p4<->p5))\/[]p6)\/<><><><><>(p5<->p6))\/[]p7)\/<><><><><><>(p6<->p7))\/[]p8)\/<><><><><><><>(p7<->p8))\/[]p9)\/<><><><><><><><>(p8<->p9))\/[]p10)\/<><><><><><><><><>(p9<->p10))\/[]p11)\/<><><><><><><><><><>(p10<->p11))\/[]p12)\/<><><><><><><><><><><>(p11<->p12))\/[]p13)\/<><><><><><><><><><><><>(p12<->p13))\/[]p14)\/<><><><><><><><><><><><><>(p13<->p1))\/[]p15))\/[][][][][][][][][][][][][][](((((((((((((~p2/\~p4)/\~p6)/\~p8)/\~p10)/\~p12)/\~p14)/\~p16)/\~p18)/\~p20)/\~p22)/\~p24)/\~p26)/\~p28))