(([][][][][][][][][][][][][][][][][][][][][][](((((((((((((((((((((p1/\p2)/\p3)/\p4)/\p5)/\p6)/\p7)/\p8)/\p9)/\p10)/\p11)/\p12)/\p13)/\p14)/\p15)/\p16)/\p17)/\p18)/\p19)/\p20)/\p21)/\p22)\/(<>((<>((<>((<>((<>((<>((<>((<>((<>((<>((<>((<>((<>((<>((<>((<>((<>((<>((<>((<>((<>(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<->p14))\/[]p15)\/<><><><><><><><><><><><><><>(p14<->p15))\/[]p16)\/<><><><><><><><><><><><><><><>(p15<->p16))\/[]p17)\/<><><><><><><><><><><><><><><><>(p16<->p17))\/[]p18)\/<><><><><><><><><><><><><><><><><>(p17<->p18))\/[]p19)\/<><><><><><><><><><><><><><><><><><>(p18<->p19))\/[]p20)\/<><><><><><><><><><><><><><><><><><><>(p19<->p20))\/[]p21)\/<><><><><><><><><><><><><><><><><><><><>(p20<->p21))\/[]p22)\/<><><><><><><><><><><><><><><><><><><><><>(p21<->p1))\/[]p23))\/[][][][][][][][][][][][][][][][][][][][][][](((((((((((((((((((((~p2/\~p4)/\~p6)/\~p8)/\~p10)/\~p12)/\~p14)/\~p16)/\~p18)/\~p20)/\~p22)/\~p24)/\~p26)/\~p28)/\~p30)/\~p32)/\~p34)/\~p36)/\~p38)/\~p40)/\~p42)/\~p44))