(((((((~((([]((((p1/\[]p1)/\p1)->p2)\/(~p1->~([]p2/\p2)))/\[]([](((p1/\[]p1)/\p1)->p2)\/(~p1->~([]p2/\p2))))/\[]((((p1/\[]p1)/\p1)->p2)\/[](~p1->~([]p2/\p2))))->([](((p1/\[]p1)/\p1)->p2)\/[](~p1->~([]p2/\p2))))\/~((([]((((p2/\[]p2)/\p2)->p3)\/(~p2->~([]p3/\p3)))/\[]([](((p2/\[]p2)/\p2)->p3)\/(~p2->~([]p3/\p3))))/\[]((((p2/\[]p2)/\p2)->p3)\/[](~p2->~([]p3/\p3))))->([](((p2/\[]p2)/\p2)->p3)\/[](~p2->~([]p3/\p3)))))\/~((([]((((p3/\[]p3)/\p3)->p4)\/(~p3->~([]p4/\p4)))/\[]([](((p3/\[]p3)/\p3)->p4)\/(~p3->~([]p4/\p4))))/\[]((((p3/\[]p3)/\p3)->p4)\/[](~p3->~([]p4/\p4))))->([](((p3/\[]p3)/\p3)->p4)\/[](~p3->~([]p4/\p4)))))\/~((([]((((p4/\[]p4)/\p4)->p5)\/(~p4->~([]p5/\p5)))/\[]([](((p4/\[]p4)/\p4)->p5)\/(~p4->~([]p5/\p5))))/\[]((((p4/\[]p4)/\p4)->p5)\/[](~p4->~([]p5/\p5))))->([](((p4/\[]p4)/\p4)->p5)\/[](~p4->~([]p5/\p5)))))\/~((([]((((p5/\[]p5)/\p5)->p6)\/(~p5->~([]p6/\p6)))/\[]([](((p5/\[]p5)/\p5)->p6)\/(~p5->~([]p6/\p6))))/\[]((((p5/\[]p5)/\p5)->p6)\/[](~p5->~([]p6/\p6))))->([](((p5/\[]p5)/\p5)->p6)\/[](~p5->~([]p6/\p6)))))\/~((([]((((p6/\[]p6)/\p6)->p7)\/(~p6->~([]p7/\p7)))/\[]([](((p6/\[]p6)/\p6)->p7)\/(~p6->~([]p7/\p7))))/\[]((((p6/\[]p6)/\p6)->p7)\/[](~p6->~([]p7/\p7))))->([](((p6/\[]p6)/\p6)->p7)\/[](~p6->~([]p7/\p7)))))\/([]((p19/\[]p19)->p19)\/[]((p19/\[]p19)->p19)))\/((((((((((((~((([]((((p7/\[]p7)/\p7)->p8)\/(~p7->~([]p8/\p8)))/\[]([](((p7/\[]p7)/\p7)->p8)\/(~p7->~([]p8/\p8))))/\[]((((p7/\[]p7)/\p7)->p8)\/[](~p7->~([]p8/\p8))))->([](((p7/\[]p7)/\p7)->p8)\/[](~p7->~([]p8/\p8))))\/~((([]((((p8/\[]p8)/\p8)->p9)\/(~p8->~([]p9/\p9)))/\[]([](((p8/\[]p8)/\p8)->p9)\/(~p8->~([]p9/\p9))))/\[]((((p8/\[]p8)/\p8)->p9)\/[](~p8->~([]p9/\p9))))->([](((p8/\[]p8)/\p8)->p9)\/[](~p8->~([]p9/\p9)))))\/~((([]((((p9/\[]p9)/\p9)->p10)\/(~p9->~([]p10/\p10)))/\[]([](((p9/\[]p9)/\p9)->p10)\/(~p9->~([]p10/\p10))))/\[]((((p9/\[]p9)/\p9)->p10)\/[](~p9->~([]p10/\p10))))->([](((p9/\[]p9)/\p9)->p10)\/[](~p9->~([]p10/\p10)))))\/~((([]((((p10/\[]p10)/\p10)->p11)\/(~p10->~([]p11/\p11)))/\[]([](((p10/\[]p10)/\p10)->p11)\/(~p10->~([]p11/\p11))))/\[]((((p10/\[]p10)/\p10)->p11)\/[](~p10->~([]p11/\p11))))->([](((p10/\[]p10)/\p10)->p11)\/[](~p10->~([]p11/\p11)))))\/~((([]((((p11/\[]p11)/\p11)->p12)\/(~p11->~([]p12/\p12)))/\[]([](((p11/\[]p11)/\p11)->p12)\/(~p11->~([]p12/\p12))))/\[]((((p11/\[]p11)/\p11)->p12)\/[](~p11->~([]p12/\p12))))->([](((p11/\[]p11)/\p11)->p12)\/[](~p11->~([]p12/\p12)))))\/~((([]((((p12/\[]p12)/\p12)->p13)\/(~p12->~([]p13/\p13)))/\[]([](((p12/\[]p12)/\p12)->p13)\/(~p12->~([]p13/\p13))))/\[]((((p12/\[]p12)/\p12)->p13)\/[](~p12->~([]p13/\p13))))->([](((p12/\[]p12)/\p12)->p13)\/[](~p12->~([]p13/\p13)))))\/~((([]((((p13/\[]p13)/\p13)->p14)\/(~p13->~([]p14/\p14)))/\[]([](((p13/\[]p13)/\p13)->p14)\/(~p13->~([]p14/\p14))))/\[]((((p13/\[]p13)/\p13)->p14)\/[](~p13->~([]p14/\p14))))->([](((p13/\[]p13)/\p13)->p14)\/[](~p13->~([]p14/\p14)))))\/~((([]((((p14/\[]p14)/\p14)->p15)\/(~p14->~([]p15/\p15)))/\[]([](((p14/\[]p14)/\p14)->p15)\/(~p14->~([]p15/\p15))))/\[]((((p14/\[]p14)/\p14)->p15)\/[](~p14->~([]p15/\p15))))->([](((p14/\[]p14)/\p14)->p15)\/[](~p14->~([]p15/\p15)))))\/~((([]((((p15/\[]p15)/\p15)->p16)\/(~p15->~([]p16/\p16)))/\[]([](((p15/\[]p15)/\p15)->p16)\/(~p15->~([]p16/\p16))))/\[]((((p15/\[]p15)/\p15)->p16)\/[](~p15->~([]p16/\p16))))->([](((p15/\[]p15)/\p15)->p16)\/[](~p15->~([]p16/\p16)))))\/~((([]((((p16/\[]p16)/\p16)->p17)\/(~p16->~([]p17/\p17)))/\[]([](((p16/\[]p16)/\p16)->p17)\/(~p16->~([]p17/\p17))))/\[]((((p16/\[]p16)/\p16)->p17)\/[](~p16->~([]p17/\p17))))->([](((p16/\[]p16)/\p16)->p17)\/[](~p16->~([]p17/\p17)))))\/~((([]((((p17/\[]p17)/\p17)->p18)\/(~p17->~([]p18/\p18)))/\[]([](((p17/\[]p17)/\p17)->p18)\/(~p17->~([]p18/\p18))))/\[]((((p17/\[]p17)/\p17)->p18)\/[](~p17->~([]p18/\p18))))->([](((p17/\[]p17)/\p17)->p18)\/[](~p17->~([]p18/\p18)))))\/~((([]((((p18/\[]p18)/\p18)->p19)\/(~p18->~([]p19/\p19)))/\[]([](((p18/\[]p18)/\p18)->p19)\/(~p18->~([]p19/\p19))))/\[]((((p18/\[]p18)/\p18)->p19)\/[](~p18->~([]p19/\p19))))->([](((p18/\[]p18)/\p18)->p19)\/[](~p18->~([]p19/\p19)))))\/~((([]((((p19/\[]p19)/\p19)->p20)\/(~p19->~([]p20/\p20)))/\[]([](((p19/\[]p19)/\p19)->p20)\/(~p19->~([]p20/\p20))))/\[]((((p19/\[]p19)/\p19)->p20)\/[](~p19->~([]p20/\p20))))->([](((p19/\[]p19)/\p19)->p20)\/[](~p19->~([]p20/\p20))))))