((((((((((((((((((~([]((<>p1/\[]<>p1)->p2)\/[]((p2/\[]p2)-><>p1))\/~([](((p1->[]p2)/\[](p1->[]p2))->p2)\/[]((p2/\[]p2)->(p1->[]p2))))\/(~([]((<>p2/\[]<>p2)->p3)\/[]((p3/\[]p3)-><>p2))\/~([](((p2->[]p3)/\[](p2->[]p3))->p3)\/[]((p3/\[]p3)->(p2->[]p3)))))\/(~([]((<>p3/\[]<>p3)->p4)\/[]((p4/\[]p4)-><>p3))\/~([](((p3->[]p4)/\[](p3->[]p4))->p4)\/[]((p4/\[]p4)->(p3->[]p4)))))\/(~([]((<>p4/\[]<>p4)->p5)\/[]((p5/\[]p5)-><>p4))\/~([](((p4->[]p5)/\[](p4->[]p5))->p5)\/[]((p5/\[]p5)->(p4->[]p5)))))\/(~([]((<>p5/\[]<>p5)->p6)\/[]((p6/\[]p6)-><>p5))\/~([](((p5->[]p6)/\[](p5->[]p6))->p6)\/[]((p6/\[]p6)->(p5->[]p6)))))\/(~([]((<>p6/\[]<>p6)->p7)\/[]((p7/\[]p7)-><>p6))\/~([](((p6->[]p7)/\[](p6->[]p7))->p7)\/[]((p7/\[]p7)->(p6->[]p7)))))\/(~([]((<>p7/\[]<>p7)->p8)\/[]((p8/\[]p8)-><>p7))\/~([](((p7->[]p8)/\[](p7->[]p8))->p8)\/[]((p8/\[]p8)->(p7->[]p8)))))\/(~([]((<>p8/\[]<>p8)->p9)\/[]((p9/\[]p9)-><>p8))\/~([](((p8->[]p9)/\[](p8->[]p9))->p9)\/[]((p9/\[]p9)->(p8->[]p9)))))\/(~([]((<>p9/\[]<>p9)->p10)\/[]((p10/\[]p10)-><>p9))\/~([](((p9->[]p10)/\[](p9->[]p10))->p10)\/[]((p10/\[]p10)->(p9->[]p10)))))\/(~([]((<>p10/\[]<>p10)->p11)\/[]((p11/\[]p11)-><>p10))\/~([](((p10->[]p11)/\[](p10->[]p11))->p11)\/[]((p11/\[]p11)->(p10->[]p11)))))\/(~([]((<>p11/\[]<>p11)->p12)\/[]((p12/\[]p12)-><>p11))\/~([](((p11->[]p12)/\[](p11->[]p12))->p12)\/[]((p12/\[]p12)->(p11->[]p12)))))\/(~([]((<>p12/\[]<>p12)->p13)\/[]((p13/\[]p13)-><>p12))\/~([](((p12->[]p13)/\[](p12->[]p13))->p13)\/[]((p13/\[]p13)->(p12->[]p13)))))\/(~([]((<>p13/\[]<>p13)->p14)\/[]((p14/\[]p14)-><>p13))\/~([](((p13->[]p14)/\[](p13->[]p14))->p14)\/[]((p14/\[]p14)->(p13->[]p14)))))\/(~([]((<>p14/\[]<>p14)->p15)\/[]((p15/\[]p15)-><>p14))\/~([](((p14->[]p15)/\[](p14->[]p15))->p15)\/[]((p15/\[]p15)->(p14->[]p15)))))\/(~([]((<>p15/\[]<>p15)->p16)\/[]((p16/\[]p16)-><>p15))\/~([](((p15->[]p16)/\[](p15->[]p16))->p16)\/[]((p16/\[]p16)->(p15->[]p16)))))\/(~([]((<>p16/\[]<>p16)->p17)\/[]((p17/\[]p17)-><>p16))\/~([](((p16->[]p17)/\[](p16->[]p17))->p17)\/[]((p17/\[]p17)->(p16->[]p17)))))\/([]([]p9->p9)\/[]([]p9->p9)))\/(((((((((((((((~([]((<>p18/\[]<>p18)->p19)\/[]((p19/\[]p19)-><>p18))\/~([](((p18->[]p19)/\[](p18->[]p19))->p19)\/[]((p19/\[]p19)->(p18->[]p19))))\/(~([]((<>p19/\[]<>p19)->p20)\/[]((p20/\[]p20)-><>p19))\/~([](((p19->[]p20)/\[](p19->[]p20))->p20)\/[]((p20/\[]p20)->(p19->[]p20)))))\/(~([]((<>p20/\[]<>p20)->p21)\/[]((p21/\[]p21)-><>p20))\/~([](((p20->[]p21)/\[](p20->[]p21))->p21)\/[]((p21/\[]p21)->(p20->[]p21)))))\/(~([]((<>p21/\[]<>p21)->p22)\/[]((p22/\[]p22)-><>p21))\/~([](((p21->[]p22)/\[](p21->[]p22))->p22)\/[]((p22/\[]p22)->(p21->[]p22)))))\/(~([]((<>p22/\[]<>p22)->p23)\/[]((p23/\[]p23)-><>p22))\/~([](((p22->[]p23)/\[](p22->[]p23))->p23)\/[]((p23/\[]p23)->(p22->[]p23)))))\/(~([]((<>p23/\[]<>p23)->p24)\/[]((p24/\[]p24)-><>p23))\/~([](((p23->[]p24)/\[](p23->[]p24))->p24)\/[]((p24/\[]p24)->(p23->[]p24)))))\/(~([]((<>p24/\[]<>p24)->p25)\/[]((p25/\[]p25)-><>p24))\/~([](((p24->[]p25)/\[](p24->[]p25))->p25)\/[]((p25/\[]p25)->(p24->[]p25)))))\/(~([]((<>p25/\[]<>p25)->p26)\/[]((p26/\[]p26)-><>p25))\/~([](((p25->[]p26)/\[](p25->[]p26))->p26)\/[]((p26/\[]p26)->(p25->[]p26)))))\/(~([]((<>p26/\[]<>p26)->p27)\/[]((p27/\[]p27)-><>p26))\/~([](((p26->[]p27)/\[](p26->[]p27))->p27)\/[]((p27/\[]p27)->(p26->[]p27)))))\/(~([]((<>p27/\[]<>p27)->p28)\/[]((p28/\[]p28)-><>p27))\/~([](((p27->[]p28)/\[](p27->[]p28))->p28)\/[]((p28/\[]p28)->(p27->[]p28)))))\/(~([]((<>p28/\[]<>p28)->p29)\/[]((p29/\[]p29)-><>p28))\/~([](((p28->[]p29)/\[](p28->[]p29))->p29)\/[]((p29/\[]p29)->(p28->[]p29)))))\/(~([]((<>p29/\[]<>p29)->p30)\/[]((p30/\[]p30)-><>p29))\/~([](((p29->[]p30)/\[](p29->[]p30))->p30)\/[]((p30/\[]p30)->(p29->[]p30)))))\/(~([]((<>p30/\[]<>p30)->p31)\/[]((p31/\[]p31)-><>p30))\/~([](((p30->[]p31)/\[](p30->[]p31))->p31)\/[]((p31/\[]p31)->(p30->[]p31)))))\/(~([]((<>p31/\[]<>p31)->p32)\/[]((p32/\[]p32)-><>p31))\/~([](((p31->[]p32)/\[](p31->[]p32))->p32)\/[]((p32/\[]p32)->(p31->[]p32)))))\/(~([]((<>p32/\[]<>p32)->p33)\/[]((p33/\[]p33)-><>p32))\/~([](((p32->[]p33)/\[](p32->[]p33))->p33)\/[]((p33/\[]p33)->(p32->[]p33))))))