((((((((((((((((((((((((~([]((<>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)))))\/(~([]((<>p17/\[]<>p17)->p18)\/[]((p18/\[]p18)-><>p17))\/~([](((p17->[]p18)/\[](p17->[]p18))->p18)\/[]((p18/\[]p18)->(p17->[]p18)))))\/(~([]((<>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)))))\/([]([]p12->p12)\/[]([]p12->p12)))\/(((((((((((((((((((((~([]((<>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)))))\/(~([]((<>p33/\[]<>p33)->p34)\/[]((p34/\[]p34)-><>p33))\/~([](((p33->[]p34)/\[](p33->[]p34))->p34)\/[]((p34/\[]p34)->(p33->[]p34)))))\/(~([]((<>p34/\[]<>p34)->p35)\/[]((p35/\[]p35)-><>p34))\/~([](((p34->[]p35)/\[](p34->[]p35))->p35)\/[]((p35/\[]p35)->(p34->[]p35)))))\/(~([]((<>p35/\[]<>p35)->p36)\/[]((p36/\[]p36)-><>p35))\/~([](((p35->[]p36)/\[](p35->[]p36))->p36)\/[]((p36/\[]p36)->(p35->[]p36)))))\/(~([]((<>p36/\[]<>p36)->p37)\/[]((p37/\[]p37)-><>p36))\/~([](((p36->[]p37)/\[](p36->[]p37))->p37)\/[]((p37/\[]p37)->(p36->[]p37)))))\/(~([]((<>p37/\[]<>p37)->p38)\/[]((p38/\[]p38)-><>p37))\/~([](((p37->[]p38)/\[](p37->[]p38))->p38)\/[]((p38/\[]p38)->(p37->[]p38)))))\/(~([]((<>p38/\[]<>p38)->p39)\/[]((p39/\[]p39)-><>p38))\/~([](((p38->[]p39)/\[](p38->[]p39))->p39)\/[]((p39/\[]p39)->(p38->[]p39)))))\/(~([]((<>p39/\[]<>p39)->p40)\/[]((p40/\[]p40)-><>p39))\/~([](((p39->[]p40)/\[](p39->[]p40))->p40)\/[]((p40/\[]p40)->(p39->[]p40)))))\/(~([]((<>p40/\[]<>p40)->p41)\/[]((p41/\[]p41)-><>p40))\/~([](((p40->[]p41)/\[](p40->[]p41))->p41)\/[]((p41/\[]p41)->(p40->[]p41)))))\/(~([]((<>p41/\[]<>p41)->p42)\/[]((p42/\[]p42)-><>p41))\/~([](((p41->[]p42)/\[](p41->[]p42))->p42)\/[]((p42/\[]p42)->(p41->[]p42)))))\/(~([]((<>p42/\[]<>p42)->p43)\/[]((p43/\[]p43)-><>p42))\/~([](((p42->[]p43)/\[](p42->[]p43))->p43)\/[]((p43/\[]p43)->(p42->[]p43)))))\/(~([]((<>p43/\[]<>p43)->p44)\/[]((p44/\[]p44)-><>p43))\/~([](((p43->[]p44)/\[](p43->[]p44))->p44)\/[]((p44/\[]p44)->(p43->[]p44)))))\/(~([]((<>p44/\[]<>p44)->p45)\/[]((p45/\[]p45)-><>p44))\/~([](((p44->[]p45)/\[](p44->[]p45))->p45)\/[]((p45/\[]p45)->(p44->[]p45))))))