~((p100/\~p101)/\(((((((((((((((((((((((((((((((((((((((((((((p101->p100)/\(p102->p101))/\(p103->p102))/\(p104->p103))/\(p105->p104))/\(p106->p105))/\(p107->p106))/\(p108->p107))/\(p109->p108))/\(p110->p109))/\(p111->p110))/\(p112->p111))/\(p113->p112))/\(p114->p113))/\(p115->p114))/\(p116->p115))/\(p117->p116))/\(p118->p117))/\(p119->p118))/\(p120->p119))/\(p121->p120))/\(p122->p121))/\((((((((((((((((((((((p100->((p0->[](p100->p0))/\(~p0->[](p100->~p0))))/\(p101->((p1->[](p101->p1))/\(~p1->[](p101->~p1)))))/\(p102->((p2->[](p102->p2))/\(~p2->[](p102->~p2)))))/\(p103->((p3->[](p103->p3))/\(~p3->[](p103->~p3)))))/\(p104->((p4->[](p104->p4))/\(~p4->[](p104->~p4)))))/\(p105->((p5->[](p105->p5))/\(~p5->[](p105->~p5)))))/\(p106->((p6->[](p106->p6))/\(~p6->[](p106->~p6)))))/\(p107->((p7->[](p107->p7))/\(~p7->[](p107->~p7)))))/\(p108->((p8->[](p108->p8))/\(~p8->[](p108->~p8)))))/\(p109->((p9->[](p109->p9))/\(~p9->[](p109->~p9)))))/\(p110->((p10->[](p110->p10))/\(~p10->[](p110->~p10)))))/\(p111->((p11->[](p111->p11))/\(~p11->[](p111->~p11)))))/\(p112->((p12->[](p112->p12))/\(~p12->[](p112->~p12)))))/\(p113->((p13->[](p113->p13))/\(~p13->[](p113->~p13)))))/\(p114->((p14->[](p114->p14))/\(~p14->[](p114->~p14)))))/\(p115->((p15->[](p115->p15))/\(~p15->[](p115->~p15)))))/\(p116->((p16->[](p116->p16))/\(~p16->[](p116->~p16)))))/\(p117->((p17->[](p117->p17))/\(~p17->[](p117->~p17)))))/\(p118->((p18->[](p118->p18))/\(~p18->[](p118->~p18)))))/\(p119->((p19->[](p119->p19))/\(~p19->[](p119->~p19)))))/\(p120->((p20->[](p120->p20))/\(~p20->[](p120->~p20)))))/\(p121->((p21->[](p121->p21))/\(~p21->[](p121->~p21))))))/\((((((((((((((((((((((p100/\~p101)->(<>((p101/\~p102)/\p1)/\<>((p101/\~p102)/\~p1)))/\((p101/\~p102)->(<>((p102/\~p103)/\p2)/\<>((p102/\~p103)/\~p2))))/\((p102/\~p103)->(<>((p103/\~p104)/\p3)/\<>((p103/\~p104)/\~p3))))/\((p103/\~p104)->(<>((p104/\~p105)/\p4)/\<>((p104/\~p105)/\~p4))))/\((p104/\~p105)->(<>((p105/\~p106)/\p5)/\<>((p105/\~p106)/\~p5))))/\((p105/\~p106)->(<>((p106/\~p107)/\p6)/\<>((p106/\~p107)/\~p6))))/\((p106/\~p107)->(<>((p107/\~p108)/\p7)/\<>((p107/\~p108)/\~p7))))/\((p107/\~p108)->(<>((p108/\~p109)/\p8)/\<>((p108/\~p109)/\~p8))))/\((p108/\~p109)->(<>((p109/\~p110)/\p9)/\<>((p109/\~p110)/\~p9))))/\((p109/\~p110)->(<>((p110/\~p111)/\p10)/\<>((p110/\~p111)/\~p10))))/\((p110/\~p111)->(<>((p111/\~p112)/\p11)/\<>((p111/\~p112)/\~p11))))/\((p111/\~p112)->(<>((p112/\~p113)/\p12)/\<>((p112/\~p113)/\~p12))))/\((p112/\~p113)->(<>((p113/\~p114)/\p13)/\<>((p113/\~p114)/\~p13))))/\((p113/\~p114)->(<>((p114/\~p115)/\p14)/\<>((p114/\~p115)/\~p14))))/\((p114/\~p115)->(<>((p115/\~p116)/\p15)/\<>((p115/\~p116)/\~p15))))/\((p115/\~p116)->(<>((p116/\~p117)/\p16)/\<>((p116/\~p117)/\~p16))))/\((p116/\~p117)->(<>((p117/\~p118)/\p17)/\<>((p117/\~p118)/\~p17))))/\((p117/\~p118)->(<>((p118/\~p119)/\p18)/\<>((p118/\~p119)/\~p18))))/\((p118/\~p119)->(<>((p119/\~p120)/\p19)/\<>((p119/\~p120)/\~p19))))/\((p119/\~p120)->(<>((p120/\~p121)/\p20)/\<>((p120/\~p121)/\~p20))))/\((p120/\~p121)->(<>((p121/\~p122)/\p21)/\<>((p121/\~p122)/\~p21)))))/\[]((((((((((((((((((((((((p101->p100)/\(p102->p101))/\(p103->p102))/\(p104->p103))/\(p105->p104))/\(p106->p105))/\(p107->p106))/\(p108->p107))/\(p109->p108))/\(p110->p109))/\(p111->p110))/\(p112->p111))/\(p113->p112))/\(p114->p113))/\(p115->p114))/\(p116->p115))/\(p117->p116))/\(p118->p117))/\(p119->p118))/\(p120->p119))/\(p121->p120))/\(p122->p121))/\((((((((((((((((((((((p100->((p0->[](p100->p0))/\(~p0->[](p100->~p0))))/\(p101->((p1->[](p101->p1))/\(~p1->[](p101->~p1)))))/\(p102->((p2->[](p102->p2))/\(~p2->[](p102->~p2)))))/\(p103->((p3->[](p103->p3))/\(~p3->[](p103->~p3)))))/\(p104->((p4->[](p104->p4))/\(~p4->[](p104->~p4)))))/\(p105->((p5->[](p105->p5))/\(~p5->[](p105->~p5)))))/\(p106->((p6->[](p106->p6))/\(~p6->[](p106->~p6)))))/\(p107->((p7->[](p107->p7))/\(~p7->[](p107->~p7)))))/\(p108->((p8->[](p108->p8))/\(~p8->[](p108->~p8)))))/\(p109->((p9->[](p109->p9))/\(~p9->[](p109->~p9)))))/\(p110->((p10->[](p110->p10))/\(~p10->[](p110->~p10)))))/\(p111->((p11->[](p111->p11))/\(~p11->[](p111->~p11)))))/\(p112->((p12->[](p112->p12))/\(~p12->[](p112->~p12)))))/\(p113->((p13->[](p113->p13))/\(~p13->[](p113->~p13)))))/\(p114->((p14->[](p114->p14))/\(~p14->[](p114->~p14)))))/\(p115->((p15->[](p115->p15))/\(~p15->[](p115->~p15)))))/\(p116->((p16->[](p116->p16))/\(~p16->[](p116->~p16)))))/\(p117->((p17->[](p117->p17))/\(~p17->[](p117->~p17)))))/\(p118->((p18->[](p118->p18))/\(~p18->[](p118->~p18)))))/\(p119->((p19->[](p119->p19))/\(~p19->[](p119->~p19)))))/\(p120->((p20->[](p120->p20))/\(~p20->[](p120->~p20)))))/\(p121->((p21->[](p121->p21))/\(~p21->[](p121->~p21))))))/\((((((((((((((((((((((p100/\~p101)->(<>((p101/\~p102)/\p1)/\<>((p101/\~p102)/\~p1)))/\((p101/\~p102)->(<>((p102/\~p103)/\p2)/\<>((p102/\~p103)/\~p2))))/\((p102/\~p103)->(<>((p103/\~p104)/\p3)/\<>((p103/\~p104)/\~p3))))/\((p103/\~p104)->(<>((p104/\~p105)/\p4)/\<>((p104/\~p105)/\~p4))))/\((p104/\~p105)->(<>((p105/\~p106)/\p5)/\<>((p105/\~p106)/\~p5))))/\((p105/\~p106)->(<>((p106/\~p107)/\p6)/\<>((p106/\~p107)/\~p6))))/\((p106/\~p107)->(<>((p107/\~p108)/\p7)/\<>((p107/\~p108)/\~p7))))/\((p107/\~p108)->(<>((p108/\~p109)/\p8)/\<>((p108/\~p109)/\~p8))))/\((p108/\~p109)->(<>((p109/\~p110)/\p9)/\<>((p109/\~p110)/\~p9))))/\((p109/\~p110)->(<>((p110/\~p111)/\p10)/\<>((p110/\~p111)/\~p10))))/\((p110/\~p111)->(<>((p111/\~p112)/\p11)/\<>((p111/\~p112)/\~p11))))/\((p111/\~p112)->(<>((p112/\~p113)/\p12)/\<>((p112/\~p113)/\~p12))))/\((p112/\~p113)->(<>((p113/\~p114)/\p13)/\<>((p113/\~p114)/\~p13))))/\((p113/\~p114)->(<>((p114/\~p115)/\p14)/\<>((p114/\~p115)/\~p14))))/\((p114/\~p115)->(<>((p115/\~p116)/\p15)/\<>((p115/\~p116)/\~p15))))/\((p115/\~p116)->(<>((p116/\~p117)/\p16)/\<>((p116/\~p117)/\~p16))))/\((p116/\~p117)->(<>((p117/\~p118)/\p17)/\<>((p117/\~p118)/\~p17))))/\((p117/\~p118)->(<>((p118/\~p119)/\p18)/\<>((p118/\~p119)/\~p18))))/\((p118/\~p119)->(<>((p119/\~p120)/\p19)/\<>((p119/\~p120)/\~p19))))/\((p119/\~p120)->(<>((p120/\~p121)/\p20)/\<>((p120/\~p121)/\~p20))))/\((p120/\~p121)->(<>((p121/\~p122)/\p21)/\<>((p121/\~p122)/\~p21))))))/\[][]((((((((((((((((((((((((p101->p100)/\(p102->p101))/\(p103->p102))/\(p104->p103))/\(p105->p104))/\(p106->p105))/\(p107->p106))/\(p108->p107))/\(p109->p108))/\(p110->p109))/\(p111->p110))/\(p112->p111))/\(p113->p112))/\(p114->p113))/\(p115->p114))/\(p116->p115))/\(p117->p116))/\(p118->p117))/\(p119->p118))/\(p120->p119))/\(p121->p120))/\(p122->p121))/\((((((((((((((((((((((p100->((p0->[](p100->p0))/\(~p0->[](p100->~p0))))/\(p101->((p1->[](p101->p1))/\(~p1->[](p101->~p1)))))/\(p102->((p2->[](p102->p2))/\(~p2->[](p102->~p2)))))/\(p103->((p3->[](p103->p3))/\(~p3->[](p103->~p3)))))/\(p104->((p4->[](p104->p4))/\(~p4->[](p104->~p4)))))/\(p105->((p5->[](p105->p5))/\(~p5->[](p105->~p5)))))/\(p106->((p6->[](p106->p6))/\(~p6->[](p106->~p6)))))/\(p107->((p7->[](p107->p7))/\(~p7->[](p107->~p7)))))/\(p108->((p8->[](p108->p8))/\(~p8->[](p108->~p8)))))/\(p109->((p9->[](p109->p9))/\(~p9->[](p109->~p9)))))/\(p110->((p10->[](p110->p10))/\(~p10->[](p110->~p10)))))/\(p111->((p11->[](p111->p11))/\(~p11->[](p111->~p11)))))/\(p112->((p12->[](p112->p12))/\(~p12->[](p112->~p12)))))/\(p113->((p13->[](p113->p13))/\(~p13->[](p113->~p13)))))/\(p114->((p14->[](p114->p14))/\(~p14->[](p114->~p14)))))/\(p115->((p15->[](p115->p15))/\(~p15->[](p115->~p15)))))/\(p116->((p16->[](p116->p16))/\(~p16->[](p116->~p16)))))/\(p117->((p17->[](p117->p17))/\(~p17->[](p117->~p17)))))/\(p118->((p18->[](p118->p18))/\(~p18->[](p118->~p18)))))/\(p119->((p19->[](p119->p19))/\(~p19->[](p119->~p19)))))/\(p120->((p20->[](p120->p20))/\(~p20->[](p120->~p20)))))/\(p121->((p21->[](p121->p21))/\(~p21->[](p121->~p21))))))/\((((((((((((((((((((((p100/\~p101)->(<>((p101/\~p102)/\p1)/\<>((p101/\~p102)/\~p1)))/\((p101/\~p102)->(<>((p102/\~p103)/\p2)/\<>((p102/\~p103)/\~p2))))/\((p102/\~p103)->(<>((p103/\~p104)/\p3)/\<>((p103/\~p104)/\~p3))))/\((p103/\~p104)->(<>((p104/\~p105)/\p4)/\<>((p104/\~p105)/\~p4))))/\((p104/\~p105)->(<>((p105/\~p106)/\p5)/\<>((p105/\~p106)/\~p5))))/\((p105/\~p106)->(<>((p106/\~p107)/\p6)/\<>((p106/\~p107)/\~p6))))/\((p106/\~p107)->(<>((p107/\~p108)/\p7)/\<>((p107/\~p108)/\~p7))))/\((p107/\~p108)->(<>((p108/\~p109)/\p8)/\<>((p108/\~p109)/\~p8))))/\((p108/\~p109)->(<>((p109/\~p110)/\p9)/\<>((p109/\~p110)/\~p9))))/\((p109/\~p110)->(<>((p110/\~p111)/\p10)/\<>((p110/\~p111)/\~p10))))/\((p110/\~p111)->(<>((p111/\~p112)/\p11)/\<>((p111/\~p112)/\~p11))))/\((p111/\~p112)->(<>((p112/\~p113)/\p12)/\<>((p112/\~p113)/\~p12))))/\((p112/\~p113)->(<>((p113/\~p114)/\p13)/\<>((p113/\~p114)/\~p13))))/\((p113/\~p114)->(<>((p114/\~p115)/\p14)/\<>((p114/\~p115)/\~p14))))/\((p114/\~p115)->(<>((p115/\~p116)/\p15)/\<>((p115/\~p116)/\~p15))))/\((p115/\~p116)->(<>((p116/\~p117)/\p16)/\<>((p116/\~p117)/\~p16))))/\((p116/\~p117)->(<>((p117/\~p118)/\p17)/\<>((p117/\~p118)/\~p17))))/\((p117/\~p118)->(<>((p118/\~p119)/\p18)/\<>((p118/\~p119)/\~p18))))/\((p118/\~p119)->(<>((p119/\~p120)/\p19)/\<>((p119/\~p120)/\~p19))))/\((p119/\~p120)->(<>((p120/\~p121)/\p20)/\<>((p120/\~p121)/\~p20))))/\((p120/\~p121)->(<>((p121/\~p122)/\p21)/\<>((p121/\~p122)/\~p21))))))/\[][][]((((((((((((((((((((((((p101->p100)/\(p102->p101))/\(p103->p102))/\(p104->p103))/\(p105->p104))/\(p106->p105))/\(p107->p106))/\(p108->p107))/\(p109->p108))/\(p110->p109))/\(p111->p110))/\(p112->p111))/\(p113->p112))/\(p114->p113))/\(p115->p114))/\(p116->p115))/\(p117->p116))/\(p118->p117))/\(p119->p118))/\(p120->p119))/\(p121->p120))/\(p122->p121))/\((((((((((((((((((((((p100->((p0->[](p100->p0))/\(~p0->[](p100->~p0))))/\(p101->((p1->[](p101->p1))/\(~p1->[](p101->~p1)))))/\(p102->((p2->[](p102->p2))/\(~p2->[](p102->~p2)))))/\(p103->((p3->[](p103->p3))/\(~p3->[](p103->~p3)))))/\(p104->((p4->[](p104->p4))/\(~p4->[](p104->~p4)))))/\(p105->((p5->[](p105->p5))/\(~p5->[](p105->~p5)))))/\(p106->((p6->[](p106->p6))/\(~p6->[](p106->~p6)))))/\(p107->((p7->[](p107->p7))/\(~p7->[](p107->~p7)))))/\(p108->((p8->[](p108->p8))/\(~p8->[](p108->~p8)))))/\(p109->((p9->[](p109->p9))/\(~p9->[](p109->~p9)))))/\(p110->((p10->[](p110->p10))/\(~p10->[](p110->~p10)))))/\(p111->((p11->[](p111->p11))/\(~p11->[](p111->~p11)))))/\(p112->((p12->[](p112->p12))/\(~p12->[](p112->~p12)))))/\(p113->((p13->[](p113->p13))/\(~p13->[](p113->~p13)))))/\(p114->((p14->[](p114->p14))/\(~p14->[](p114->~p14)))))/\(p115->((p15->[](p115->p15))/\(~p15->[](p115->~p15)))))/\(p116->((p16->[](p116->p16))/\(~p16->[](p116->~p16)))))/\(p117->((p17->[](p117->p17))/\(~p17->[](p117->~p17)))))/\(p118->((p18->[](p118->p18))/\(~p18->[](p118->~p18)))))/\(p119->((p19->[](p119->p19))/\(~p19->[](p119->~p19)))))/\(p120->((p20->[](p120->p20))/\(~p20->[](p120->~p20)))))/\(p121->((p21->[](p121->p21))/\(~p21->[](p121->~p21))))))/\((((((((((((((((((((((p100/\~p101)->(<>((p101/\~p102)/\p1)/\<>((p101/\~p102)/\~p1)))/\((p101/\~p102)->(<>((p102/\~p103)/\p2)/\<>((p102/\~p103)/\~p2))))/\((p102/\~p103)->(<>((p103/\~p104)/\p3)/\<>((p103/\~p104)/\~p3))))/\((p103/\~p104)->(<>((p104/\~p105)/\p4)/\<>((p104/\~p105)/\~p4))))/\((p104/\~p105)->(<>((p105/\~p106)/\p5)/\<>((p105/\~p106)/\~p5))))/\((p105/\~p106)->(<>((p106/\~p107)/\p6)/\<>((p106/\~p107)/\~p6))))/\((p106/\~p107)->(<>((p107/\~p108)/\p7)/\<>((p107/\~p108)/\~p7))))/\((p107/\~p108)->(<>((p108/\~p109)/\p8)/\<>((p108/\~p109)/\~p8))))/\((p108/\~p109)->(<>((p109/\~p110)/\p9)/\<>((p109/\~p110)/\~p9))))/\((p109/\~p110)->(<>((p110/\~p111)/\p10)/\<>((p110/\~p111)/\~p10))))/\((p110/\~p111)->(<>((p111/\~p112)/\p11)/\<>((p111/\~p112)/\~p11))))/\((p111/\~p112)->(<>((p112/\~p113)/\p12)/\<>((p112/\~p113)/\~p12))))/\((p112/\~p113)->(<>((p113/\~p114)/\p13)/\<>((p113/\~p114)/\~p13))))/\((p113/\~p114)->(<>((p114/\~p115)/\p14)/\<>((p114/\~p115)/\~p14))))/\((p114/\~p115)->(<>((p115/\~p116)/\p15)/\<>((p115/\~p116)/\~p15))))/\((p115/\~p116)->(<>((p116/\~p117)/\p16)/\<>((p116/\~p117)/\~p16))))/\((p116/\~p117)->(<>((p117/\~p118)/\p17)/\<>((p117/\~p118)/\~p17))))/\((p117/\~p118)->(<>((p118/\~p119)/\p18)/\<>((p118/\~p119)/\~p18))))/\((p118/\~p119)->(<>((p119/\~p120)/\p19)/\<>((p119/\~p120)/\~p19))))/\((p119/\~p120)->(<>((p120/\~p121)/\p20)/\<>((p120/\~p121)/\~p20))))/\((p120/\~p121)->(<>((p121/\~p122)/\p21)/\<>((p121/\~p122)/\~p21))))))/\[][][][]((((((((((((((((((((((((p101->p100)/\(p102->p101))/\(p103->p102))/\(p104->p103))/\(p105->p104))/\(p106->p105))/\(p107->p106))/\(p108->p107))/\(p109->p108))/\(p110->p109))/\(p111->p110))/\(p112->p111))/\(p113->p112))/\(p114->p113))/\(p115->p114))/\(p116->p115))/\(p117->p116))/\(p118->p117))/\(p119->p118))/\(p120->p119))/\(p121->p120))/\(p122->p121))/\((((((((((((((((((((((p100->((p0->[](p100->p0))/\(~p0->[](p100->~p0))))/\(p101->((p1->[](p101->p1))/\(~p1->[](p101->~p1)))))/\(p102->((p2->[](p102->p2))/\(~p2->[](p102->~p2)))))/\(p103->((p3->[](p103->p3))/\(~p3->[](p103->~p3)))))/\(p104->((p4->[](p104->p4))/\(~p4->[](p104->~p4)))))/\(p105->((p5->[](p105->p5))/\(~p5->[](p105->~p5)))))/\(p106->((p6->[](p106->p6))/\(~p6->[](p106->~p6)))))/\(p107->((p7->[](p107->p7))/\(~p7->[](p107->~p7)))))/\(p108->((p8->[](p108->p8))/\(~p8->[](p108->~p8)))))/\(p109->((p9->[](p109->p9))/\(~p9->[](p109->~p9)))))/\(p110->((p10->[](p110->p10))/\(~p10->[](p110->~p10)))))/\(p111->((p11->[](p111->p11))/\(~p11->[](p111->~p11)))))/\(p112->((p12->[](p112->p12))/\(~p12->[](p112->~p12)))))/\(p113->((p13->[](p113->p13))/\(~p13->[](p113->~p13)))))/\(p114->((p14->[](p114->p14))/\(~p14->[](p114->~p14)))))/\(p115->((p15->[](p115->p15))/\(~p15->[](p115->~p15)))))/\(p116->((p16->[](p116->p16))/\(~p16->[](p116->~p16)))))/\(p117->((p17->[](p117->p17))/\(~p17->[](p117->~p17)))))/\(p118->((p18->[](p118->p18))/\(~p18->[](p118->~p18)))))/\(p119->((p19->[](p119->p19))/\(~p19->[](p119->~p19)))))/\(p120->((p20->[](p120->p20))/\(~p20->[](p120->~p20)))))/\(p121->((p21->[](p121->p21))/\(~p21->[](p121->~p21))))))/\((((((((((((((((((((((p100/\~p101)->(<>((p101/\~p102)/\p1)/\<>((p101/\~p102)/\~p1)))/\((p101/\~p102)->(<>((p102/\~p103)/\p2)/\<>((p102/\~p103)/\~p2))))/\((p102/\~p103)->(<>((p103/\~p104)/\p3)/\<>((p103/\~p104)/\~p3))))/\((p103/\~p104)->(<>((p104/\~p105)/\p4)/\<>((p104/\~p105)/\~p4))))/\((p104/\~p105)->(<>((p105/\~p106)/\p5)/\<>((p105/\~p106)/\~p5))))/\((p105/\~p106)->(<>((p106/\~p107)/\p6)/\<>((p106/\~p107)/\~p6))))/\((p106/\~p107)->(<>((p107/\~p108)/\p7)/\<>((p107/\~p108)/\~p7))))/\((p107/\~p108)->(<>((p108/\~p109)/\p8)/\<>((p108/\~p109)/\~p8))))/\((p108/\~p109)->(<>((p109/\~p110)/\p9)/\<>((p109/\~p110)/\~p9))))/\((p109/\~p110)->(<>((p110/\~p111)/\p10)/\<>((p110/\~p111)/\~p10))))/\((p110/\~p111)->(<>((p111/\~p112)/\p11)/\<>((p111/\~p112)/\~p11))))/\((p111/\~p112)->(<>((p112/\~p113)/\p12)/\<>((p112/\~p113)/\~p12))))/\((p112/\~p113)->(<>((p113/\~p114)/\p13)/\<>((p113/\~p114)/\~p13))))/\((p113/\~p114)->(<>((p114/\~p115)/\p14)/\<>((p114/\~p115)/\~p14))))/\((p114/\~p115)->(<>((p115/\~p116)/\p15)/\<>((p115/\~p116)/\~p15))))/\((p115/\~p116)->(<>((p116/\~p117)/\p16)/\<>((p116/\~p117)/\~p16))))/\((p116/\~p117)->(<>((p117/\~p118)/\p17)/\<>((p117/\~p118)/\~p17))))/\((p117/\~p118)->(<>((p118/\~p119)/\p18)/\<>((p118/\~p119)/\~p18))))/\((p118/\~p119)->(<>((p119/\~p120)/\p19)/\<>((p119/\~p120)/\~p19))))/\((p119/\~p120)->(<>((p120/\~p121)/\p20)/\<>((p120/\~p121)/\~p20))))/\((p120/\~p121)->(<>((p121/\~p122)/\p21)/\<>((p121/\~p122)/\~p21))))))/\[][][][][]((((((((((((((((((((((((p101->p100)/\(p102->p101))/\(p103->p102))/\(p104->p103))/\(p105->p104))/\(p106->p105))/\(p107->p106))/\(p108->p107))/\(p109->p108))/\(p110->p109))/\(p111->p110))/\(p112->p111))/\(p113->p112))/\(p114->p113))/\(p115->p114))/\(p116->p115))/\(p117->p116))/\(p118->p117))/\(p119->p118))/\(p120->p119))/\(p121->p120))/\(p122->p121))/\((((((((((((((((((((((p100->((p0->[](p100->p0))/\(~p0->[](p100->~p0))))/\(p101->((p1->[](p101->p1))/\(~p1->[](p101->~p1)))))/\(p102->((p2->[](p102->p2))/\(~p2->[](p102->~p2)))))/\(p103->((p3->[](p103->p3))/\(~p3->[](p103->~p3)))))/\(p104->((p4->[](p104->p4))/\(~p4->[](p104->~p4)))))/\(p105->((p5->[](p105->p5))/\(~p5->[](p105->~p5)))))/\(p106->((p6->[](p106->p6))/\(~p6->[](p106->~p6)))))/\(p107->((p7->[](p107->p7))/\(~p7->[](p107->~p7)))))/\(p108->((p8->[](p108->p8))/\(~p8->[](p108->~p8)))))/\(p109->((p9->[](p109->p9))/\(~p9->[](p109->~p9)))))/\(p110->((p10->[](p110->p10))/\(~p10->[](p110->~p10)))))/\(p111->((p11->[](p111->p11))/\(~p11->[](p111->~p11)))))/\(p112->((p12->[](p112->p12))/\(~p12->[](p112->~p12)))))/\(p113->((p13->[](p113->p13))/\(~p13->[](p113->~p13)))))/\(p114->((p14->[](p114->p14))/\(~p14->[](p114->~p14)))))/\(p115->((p15->[](p115->p15))/\(~p15->[](p115->~p15)))))/\(p116->((p16->[](p116->p16))/\(~p16->[](p116->~p16)))))/\(p117->((p17->[](p117->p17))/\(~p17->[](p117->~p17)))))/\(p118->((p18->[](p118->p18))/\(~p18->[](p118->~p18)))))/\(p119->((p19->[](p119->p19))/\(~p19->[](p119->~p19)))))/\(p120->((p20->[](p120->p20))/\(~p20->[](p120->~p20)))))/\(p121->((p21->[](p121->p21))/\(~p21->[](p121->~p21))))))/\((((((((((((((((((((((p100/\~p101)->(<>((p101/\~p102)/\p1)/\<>((p101/\~p102)/\~p1)))/\((p101/\~p102)->(<>((p102/\~p103)/\p2)/\<>((p102/\~p103)/\~p2))))/\((p102/\~p103)->(<>((p103/\~p104)/\p3)/\<>((p103/\~p104)/\~p3))))/\((p103/\~p104)->(<>((p104/\~p105)/\p4)/\<>((p104/\~p105)/\~p4))))/\((p104/\~p105)->(<>((p105/\~p106)/\p5)/\<>((p105/\~p106)/\~p5))))/\((p105/\~p106)->(<>((p106/\~p107)/\p6)/\<>((p106/\~p107)/\~p6))))/\((p106/\~p107)->(<>((p107/\~p108)/\p7)/\<>((p107/\~p108)/\~p7))))/\((p107/\~p108)->(<>((p108/\~p109)/\p8)/\<>((p108/\~p109)/\~p8))))/\((p108/\~p109)->(<>((p109/\~p110)/\p9)/\<>((p109/\~p110)/\~p9))))/\((p109/\~p110)->(<>((p110/\~p111)/\p10)/\<>((p110/\~p111)/\~p10))))/\((p110/\~p111)->(<>((p111/\~p112)/\p11)/\<>((p111/\~p112)/\~p11))))/\((p111/\~p112)->(<>((p112/\~p113)/\p12)/\<>((p112/\~p113)/\~p12))))/\((p112/\~p113)->(<>((p113/\~p114)/\p13)/\<>((p113/\~p114)/\~p13))))/\((p113/\~p114)->(<>((p114/\~p115)/\p14)/\<>((p114/\~p115)/\~p14))))/\((p114/\~p115)->(<>((p115/\~p116)/\p15)/\<>((p115/\~p116)/\~p15))))/\((p115/\~p116)->(<>((p116/\~p117)/\p16)/\<>((p116/\~p117)/\~p16))))/\((p116/\~p117)->(<>((p117/\~p118)/\p17)/\<>((p117/\~p118)/\~p17))))/\((p117/\~p118)->(<>((p118/\~p119)/\p18)/\<>((p118/\~p119)/\~p18))))/\((p118/\~p119)->(<>((p119/\~p120)/\p19)/\<>((p119/\~p120)/\~p19))))/\((p119/\~p120)->(<>((p120/\~p121)/\p20)/\<>((p120/\~p121)/\~p20))))/\((p120/\~p121)->(<>((p121/\~p122)/\p21)/\<>((p121/\~p122)/\~p21))))))/\[][][][][][]((((((((((((((((((((((((p101->p100)/\(p102->p101))/\(p103->p102))/\(p104->p103))/\(p105->p104))/\(p106->p105))/\(p107->p106))/\(p108->p107))/\(p109->p108))/\(p110->p109))/\(p111->p110))/\(p112->p111))/\(p113->p112))/\(p114->p113))/\(p115->p114))/\(p116->p115))/\(p117->p116))/\(p118->p117))/\(p119->p118))/\(p120->p119))/\(p121->p120))/\(p122->p121))/\((((((((((((((((((((((p100->((p0->[](p100->p0))/\(~p0->[](p100->~p0))))/\(p101->((p1->[](p101->p1))/\(~p1->[](p101->~p1)))))/\(p102->((p2->[](p102->p2))/\(~p2->[](p102->~p2)))))/\(p103->((p3->[](p103->p3))/\(~p3->[](p103->~p3)))))/\(p104->((p4->[](p104->p4))/\(~p4->[](p104->~p4)))))/\(p105->((p5->[](p105->p5))/\(~p5->[](p105->~p5)))))/\(p106->((p6->[](p106->p6))/\(~p6->[](p106->~p6)))))/\(p107->((p7->[](p107->p7))/\(~p7->[](p107->~p7)))))/\(p108->((p8->[](p108->p8))/\(~p8->[](p108->~p8)))))/\(p109->((p9->[](p109->p9))/\(~p9->[](p109->~p9)))))/\(p110->((p10->[](p110->p10))/\(~p10->[](p110->~p10)))))/\(p111->((p11->[](p111->p11))/\(~p11->[](p111->~p11)))))/\(p112->((p12->[](p112->p12))/\(~p12->[](p112->~p12)))))/\(p113->((p13->[](p113->p13))/\(~p13->[](p113->~p13)))))/\(p114->((p14->[](p114->p14))/\(~p14->[](p114->~p14)))))/\(p115->((p15->[](p115->p15))/\(~p15->[](p115->~p15)))))/\(p116->((p16->[](p116->p16))/\(~p16->[](p116->~p16)))))/\(p117->((p17->[](p117->p17))/\(~p17->[](p117->~p17)))))/\(p118->((p18->[](p118->p18))/\(~p18->[](p118->~p18)))))/\(p119->((p19->[](p119->p19))/\(~p19->[](p119->~p19)))))/\(p120->((p20->[](p120->p20))/\(~p20->[](p120->~p20)))))/\(p121->((p21->[](p121->p21))/\(~p21->[](p121->~p21))))))/\((((((((((((((((((((((p100/\~p101)->(<>((p101/\~p102)/\p1)/\<>((p101/\~p102)/\~p1)))/\((p101/\~p102)->(<>((p102/\~p103)/\p2)/\<>((p102/\~p103)/\~p2))))/\((p102/\~p103)->(<>((p103/\~p104)/\p3)/\<>((p103/\~p104)/\~p3))))/\((p103/\~p104)->(<>((p104/\~p105)/\p4)/\<>((p104/\~p105)/\~p4))))/\((p104/\~p105)->(<>((p105/\~p106)/\p5)/\<>((p105/\~p106)/\~p5))))/\((p105/\~p106)->(<>((p106/\~p107)/\p6)/\<>((p106/\~p107)/\~p6))))/\((p106/\~p107)->(<>((p107/\~p108)/\p7)/\<>((p107/\~p108)/\~p7))))/\((p107/\~p108)->(<>((p108/\~p109)/\p8)/\<>((p108/\~p109)/\~p8))))/\((p108/\~p109)->(<>((p109/\~p110)/\p9)/\<>((p109/\~p110)/\~p9))))/\((p109/\~p110)->(<>((p110/\~p111)/\p10)/\<>((p110/\~p111)/\~p10))))/\((p110/\~p111)->(<>((p111/\~p112)/\p11)/\<>((p111/\~p112)/\~p11))))/\((p111/\~p112)->(<>((p112/\~p113)/\p12)/\<>((p112/\~p113)/\~p12))))/\((p112/\~p113)->(<>((p113/\~p114)/\p13)/\<>((p113/\~p114)/\~p13))))/\((p113/\~p114)->(<>((p114/\~p115)/\p14)/\<>((p114/\~p115)/\~p14))))/\((p114/\~p115)->(<>((p115/\~p116)/\p15)/\<>((p115/\~p116)/\~p15))))/\((p115/\~p116)->(<>((p116/\~p117)/\p16)/\<>((p116/\~p117)/\~p16))))/\((p116/\~p117)->(<>((p117/\~p118)/\p17)/\<>((p117/\~p118)/\~p17))))/\((p117/\~p118)->(<>((p118/\~p119)/\p18)/\<>((p118/\~p119)/\~p18))))/\((p118/\~p119)->(<>((p119/\~p120)/\p19)/\<>((p119/\~p120)/\~p19))))/\((p119/\~p120)->(<>((p120/\~p121)/\p20)/\<>((p120/\~p121)/\~p20))))/\((p120/\~p121)->(<>((p121/\~p122)/\p21)/\<>((p121/\~p122)/\~p21))))))/\[][][][][][][]((((((((((((((((((((((((p101->p100)/\(p102->p101))/\(p103->p102))/\(p104->p103))/\(p105->p104))/\(p106->p105))/\(p107->p106))/\(p108->p107))/\(p109->p108))/\(p110->p109))/\(p111->p110))/\(p112->p111))/\(p113->p112))/\(p114->p113))/\(p115->p114))/\(p116->p115))/\(p117->p116))/\(p118->p117))/\(p119->p118))/\(p120->p119))/\(p121->p120))/\(p122->p121))/\((((((((((((((((((((((p100->((p0->[](p100->p0))/\(~p0->[](p100->~p0))))/\(p101->((p1->[](p101->p1))/\(~p1->[](p101->~p1)))))/\(p102->((p2->[](p102->p2))/\(~p2->[](p102->~p2)))))/\(p103->((p3->[](p103->p3))/\(~p3->[](p103->~p3)))))/\(p104->((p4->[](p104->p4))/\(~p4->[](p104->~p4)))))/\(p105->((p5->[](p105->p5))/\(~p5->[](p105->~p5)))))/\(p106->((p6->[](p106->p6))/\(~p6->[](p106->~p6)))))/\(p107->((p7->[](p107->p7))/\(~p7->[](p107->~p7)))))/\(p108->((p8->[](p108->p8))/\(~p8->[](p108->~p8)))))/\(p109->((p9->[](p109->p9))/\(~p9->[](p109->~p9)))))/\(p110->((p10->[](p110->p10))/\(~p10->[](p110->~p10)))))/\(p111->((p11->[](p111->p11))/\(~p11->[](p111->~p11)))))/\(p112->((p12->[](p112->p12))/\(~p12->[](p112->~p12)))))/\(p113->((p13->[](p113->p13))/\(~p13->[](p113->~p13)))))/\(p114->((p14->[](p114->p14))/\(~p14->[](p114->~p14)))))/\(p115->((p15->[](p115->p15))/\(~p15->[](p115->~p15)))))/\(p116->((p16->[](p116->p16))/\(~p16->[](p116->~p16)))))/\(p117->((p17->[](p117->p17))/\(~p17->[](p117->~p17)))))/\(p118->((p18->[](p118->p18))/\(~p18->[](p118->~p18)))))/\(p119->((p19->[](p119->p19))/\(~p19->[](p119->~p19)))))/\(p120->((p20->[](p120->p20))/\(~p20->[](p120->~p20)))))/\(p121->((p21->[](p121->p21))/\(~p21->[](p121->~p21))))))/\((((((((((((((((((((((p100/\~p101)->(<>((p101/\~p102)/\p1)/\<>((p101/\~p102)/\~p1)))/\((p101/\~p102)->(<>((p102/\~p103)/\p2)/\<>((p102/\~p103)/\~p2))))/\((p102/\~p103)->(<>((p103/\~p104)/\p3)/\<>((p103/\~p104)/\~p3))))/\((p103/\~p104)->(<>((p104/\~p105)/\p4)/\<>((p104/\~p105)/\~p4))))/\((p104/\~p105)->(<>((p105/\~p106)/\p5)/\<>((p105/\~p106)/\~p5))))/\((p105/\~p106)->(<>((p106/\~p107)/\p6)/\<>((p106/\~p107)/\~p6))))/\((p106/\~p107)->(<>((p107/\~p108)/\p7)/\<>((p107/\~p108)/\~p7))))/\((p107/\~p108)->(<>((p108/\~p109)/\p8)/\<>((p108/\~p109)/\~p8))))/\((p108/\~p109)->(<>((p109/\~p110)/\p9)/\<>((p109/\~p110)/\~p9))))/\((p109/\~p110)->(<>((p110/\~p111)/\p10)/\<>((p110/\~p111)/\~p10))))/\((p110/\~p111)->(<>((p111/\~p112)/\p11)/\<>((p111/\~p112)/\~p11))))/\((p111/\~p112)->(<>((p112/\~p113)/\p12)/\<>((p112/\~p113)/\~p12))))/\((p112/\~p113)->(<>((p113/\~p114)/\p13)/\<>((p113/\~p114)/\~p13))))/\((p113/\~p114)->(<>((p114/\~p115)/\p14)/\<>((p114/\~p115)/\~p14))))/\((p114/\~p115)->(<>((p115/\~p116)/\p15)/\<>((p115/\~p116)/\~p15))))/\((p115/\~p116)->(<>((p116/\~p117)/\p16)/\<>((p116/\~p117)/\~p16))))/\((p116/\~p117)->(<>((p117/\~p118)/\p17)/\<>((p117/\~p118)/\~p17))))/\((p117/\~p118)->(<>((p118/\~p119)/\p18)/\<>((p118/\~p119)/\~p18))))/\((p118/\~p119)->(<>((p119/\~p120)/\p19)/\<>((p119/\~p120)/\~p19))))/\((p119/\~p120)->(<>((p120/\~p121)/\p20)/\<>((p120/\~p121)/\~p20))))/\((p120/\~p121)->(<>((p121/\~p122)/\p21)/\<>((p121/\~p122)/\~p21))))))/\[][][][][][][][]((((((((((((((((((((((((p101->p100)/\(p102->p101))/\(p103->p102))/\(p104->p103))/\(p105->p104))/\(p106->p105))/\(p107->p106))/\(p108->p107))/\(p109->p108))/\(p110->p109))/\(p111->p110))/\(p112->p111))/\(p113->p112))/\(p114->p113))/\(p115->p114))/\(p116->p115))/\(p117->p116))/\(p118->p117))/\(p119->p118))/\(p120->p119))/\(p121->p120))/\(p122->p121))/\((((((((((((((((((((((p100->((p0->[](p100->p0))/\(~p0->[](p100->~p0))))/\(p101->((p1->[](p101->p1))/\(~p1->[](p101->~p1)))))/\(p102->((p2->[](p102->p2))/\(~p2->[](p102->~p2)))))/\(p103->((p3->[](p103->p3))/\(~p3->[](p103->~p3)))))/\(p104->((p4->[](p104->p4))/\(~p4->[](p104->~p4)))))/\(p105->((p5->[](p105->p5))/\(~p5->[](p105->~p5)))))/\(p106->((p6->[](p106->p6))/\(~p6->[](p106->~p6)))))/\(p107->((p7->[](p107->p7))/\(~p7->[](p107->~p7)))))/\(p108->((p8->[](p108->p8))/\(~p8->[](p108->~p8)))))/\(p109->((p9->[](p109->p9))/\(~p9->[](p109->~p9)))))/\(p110->((p10->[](p110->p10))/\(~p10->[](p110->~p10)))))/\(p111->((p11->[](p111->p11))/\(~p11->[](p111->~p11)))))/\(p112->((p12->[](p112->p12))/\(~p12->[](p112->~p12)))))/\(p113->((p13->[](p113->p13))/\(~p13->[](p113->~p13)))))/\(p114->((p14->[](p114->p14))/\(~p14->[](p114->~p14)))))/\(p115->((p15->[](p115->p15))/\(~p15->[](p115->~p15)))))/\(p116->((p16->[](p116->p16))/\(~p16->[](p116->~p16)))))/\(p117->((p17->[](p117->p17))/\(~p17->[](p117->~p17)))))/\(p118->((p18->[](p118->p18))/\(~p18->[](p118->~p18)))))/\(p119->((p19->[](p119->p19))/\(~p19->[](p119->~p19)))))/\(p120->((p20->[](p120->p20))/\(~p20->[](p120->~p20)))))/\(p121->((p21->[](p121->p21))/\(~p21->[](p121->~p21))))))/\((((((((((((((((((((((p100/\~p101)->(<>((p101/\~p102)/\p1)/\<>((p101/\~p102)/\~p1)))/\((p101/\~p102)->(<>((p102/\~p103)/\p2)/\<>((p102/\~p103)/\~p2))))/\((p102/\~p103)->(<>((p103/\~p104)/\p3)/\<>((p103/\~p104)/\~p3))))/\((p103/\~p104)->(<>((p104/\~p105)/\p4)/\<>((p104/\~p105)/\~p4))))/\((p104/\~p105)->(<>((p105/\~p106)/\p5)/\<>((p105/\~p106)/\~p5))))/\((p105/\~p106)->(<>((p106/\~p107)/\p6)/\<>((p106/\~p107)/\~p6))))/\((p106/\~p107)->(<>((p107/\~p108)/\p7)/\<>((p107/\~p108)/\~p7))))/\((p107/\~p108)->(<>((p108/\~p109)/\p8)/\<>((p108/\~p109)/\~p8))))/\((p108/\~p109)->(<>((p109/\~p110)/\p9)/\<>((p109/\~p110)/\~p9))))/\((p109/\~p110)->(<>((p110/\~p111)/\p10)/\<>((p110/\~p111)/\~p10))))/\((p110/\~p111)->(<>((p111/\~p112)/\p11)/\<>((p111/\~p112)/\~p11))))/\((p111/\~p112)->(<>((p112/\~p113)/\p12)/\<>((p112/\~p113)/\~p12))))/\((p112/\~p113)->(<>((p113/\~p114)/\p13)/\<>((p113/\~p114)/\~p13))))/\((p113/\~p114)->(<>((p114/\~p115)/\p14)/\<>((p114/\~p115)/\~p14))))/\((p114/\~p115)->(<>((p115/\~p116)/\p15)/\<>((p115/\~p116)/\~p15))))/\((p115/\~p116)->(<>((p116/\~p117)/\p16)/\<>((p116/\~p117)/\~p16))))/\((p116/\~p117)->(<>((p117/\~p118)/\p17)/\<>((p117/\~p118)/\~p17))))/\((p117/\~p118)->(<>((p118/\~p119)/\p18)/\<>((p118/\~p119)/\~p18))))/\((p118/\~p119)->(<>((p119/\~p120)/\p19)/\<>((p119/\~p120)/\~p19))))/\((p119/\~p120)->(<>((p120/\~p121)/\p20)/\<>((p120/\~p121)/\~p20))))/\((p120/\~p121)->(<>((p121/\~p122)/\p21)/\<>((p121/\~p122)/\~p21))))))/\[][][][][][][][][]((((((((((((((((((((((((p101->p100)/\(p102->p101))/\(p103->p102))/\(p104->p103))/\(p105->p104))/\(p106->p105))/\(p107->p106))/\(p108->p107))/\(p109->p108))/\(p110->p109))/\(p111->p110))/\(p112->p111))/\(p113->p112))/\(p114->p113))/\(p115->p114))/\(p116->p115))/\(p117->p116))/\(p118->p117))/\(p119->p118))/\(p120->p119))/\(p121->p120))/\(p122->p121))/\((((((((((((((((((((((p100->((p0->[](p100->p0))/\(~p0->[](p100->~p0))))/\(p101->((p1->[](p101->p1))/\(~p1->[](p101->~p1)))))/\(p102->((p2->[](p102->p2))/\(~p2->[](p102->~p2)))))/\(p103->((p3->[](p103->p3))/\(~p3->[](p103->~p3)))))/\(p104->((p4->[](p104->p4))/\(~p4->[](p104->~p4)))))/\(p105->((p5->[](p105->p5))/\(~p5->[](p105->~p5)))))/\(p106->((p6->[](p106->p6))/\(~p6->[](p106->~p6)))))/\(p107->((p7->[](p107->p7))/\(~p7->[](p107->~p7)))))/\(p108->((p8->[](p108->p8))/\(~p8->[](p108->~p8)))))/\(p109->((p9->[](p109->p9))/\(~p9->[](p109->~p9)))))/\(p110->((p10->[](p110->p10))/\(~p10->[](p110->~p10)))))/\(p111->((p11->[](p111->p11))/\(~p11->[](p111->~p11)))))/\(p112->((p12->[](p112->p12))/\(~p12->[](p112->~p12)))))/\(p113->((p13->[](p113->p13))/\(~p13->[](p113->~p13)))))/\(p114->((p14->[](p114->p14))/\(~p14->[](p114->~p14)))))/\(p115->((p15->[](p115->p15))/\(~p15->[](p115->~p15)))))/\(p116->((p16->[](p116->p16))/\(~p16->[](p116->~p16)))))/\(p117->((p17->[](p117->p17))/\(~p17->[](p117->~p17)))))/\(p118->((p18->[](p118->p18))/\(~p18->[](p118->~p18)))))/\(p119->((p19->[](p119->p19))/\(~p19->[](p119->~p19)))))/\(p120->((p20->[](p120->p20))/\(~p20->[](p120->~p20)))))/\(p121->((p21->[](p121->p21))/\(~p21->[](p121->~p21))))))/\((((((((((((((((((((((p100/\~p101)->(<>((p101/\~p102)/\p1)/\<>((p101/\~p102)/\~p1)))/\((p101/\~p102)->(<>((p102/\~p103)/\p2)/\<>((p102/\~p103)/\~p2))))/\((p102/\~p103)->(<>((p103/\~p104)/\p3)/\<>((p103/\~p104)/\~p3))))/\((p103/\~p104)->(<>((p104/\~p105)/\p4)/\<>((p104/\~p105)/\~p4))))/\((p104/\~p105)->(<>((p105/\~p106)/\p5)/\<>((p105/\~p106)/\~p5))))/\((p105/\~p106)->(<>((p106/\~p107)/\p6)/\<>((p106/\~p107)/\~p6))))/\((p106/\~p107)->(<>((p107/\~p108)/\p7)/\<>((p107/\~p108)/\~p7))))/\((p107/\~p108)->(<>((p108/\~p109)/\p8)/\<>((p108/\~p109)/\~p8))))/\((p108/\~p109)->(<>((p109/\~p110)/\p9)/\<>((p109/\~p110)/\~p9))))/\((p109/\~p110)->(<>((p110/\~p111)/\p10)/\<>((p110/\~p111)/\~p10))))/\((p110/\~p111)->(<>((p111/\~p112)/\p11)/\<>((p111/\~p112)/\~p11))))/\((p111/\~p112)->(<>((p112/\~p113)/\p12)/\<>((p112/\~p113)/\~p12))))/\((p112/\~p113)->(<>((p113/\~p114)/\p13)/\<>((p113/\~p114)/\~p13))))/\((p113/\~p114)->(<>((p114/\~p115)/\p14)/\<>((p114/\~p115)/\~p14))))/\((p114/\~p115)->(<>((p115/\~p116)/\p15)/\<>((p115/\~p116)/\~p15))))/\((p115/\~p116)->(<>((p116/\~p117)/\p16)/\<>((p116/\~p117)/\~p16))))/\((p116/\~p117)->(<>((p117/\~p118)/\p17)/\<>((p117/\~p118)/\~p17))))/\((p117/\~p118)->(<>((p118/\~p119)/\p18)/\<>((p118/\~p119)/\~p18))))/\((p118/\~p119)->(<>((p119/\~p120)/\p19)/\<>((p119/\~p120)/\~p19))))/\((p119/\~p120)->(<>((p120/\~p121)/\p20)/\<>((p120/\~p121)/\~p20))))/\((p120/\~p121)->(<>((p121/\~p122)/\p21)/\<>((p121/\~p122)/\~p21))))))/\[][][][][][][][][][]((((((((((((((((((((((((p101->p100)/\(p102->p101))/\(p103->p102))/\(p104->p103))/\(p105->p104))/\(p106->p105))/\(p107->p106))/\(p108->p107))/\(p109->p108))/\(p110->p109))/\(p111->p110))/\(p112->p111))/\(p113->p112))/\(p114->p113))/\(p115->p114))/\(p116->p115))/\(p117->p116))/\(p118->p117))/\(p119->p118))/\(p120->p119))/\(p121->p120))/\(p122->p121))/\((((((((((((((((((((((p100->((p0->[](p100->p0))/\(~p0->[](p100->~p0))))/\(p101->((p1->[](p101->p1))/\(~p1->[](p101->~p1)))))/\(p102->((p2->[](p102->p2))/\(~p2->[](p102->~p2)))))/\(p103->((p3->[](p103->p3))/\(~p3->[](p103->~p3)))))/\(p104->((p4->[](p104->p4))/\(~p4->[](p104->~p4)))))/\(p105->((p5->[](p105->p5))/\(~p5->[](p105->~p5)))))/\(p106->((p6->[](p106->p6))/\(~p6->[](p106->~p6)))))/\(p107->((p7->[](p107->p7))/\(~p7->[](p107->~p7)))))/\(p108->((p8->[](p108->p8))/\(~p8->[](p108->~p8)))))/\(p109->((p9->[](p109->p9))/\(~p9->[](p109->~p9)))))/\(p110->((p10->[](p110->p10))/\(~p10->[](p110->~p10)))))/\(p111->((p11->[](p111->p11))/\(~p11->[](p111->~p11)))))/\(p112->((p12->[](p112->p12))/\(~p12->[](p112->~p12)))))/\(p113->((p13->[](p113->p13))/\(~p13->[](p113->~p13)))))/\(p114->((p14->[](p114->p14))/\(~p14->[](p114->~p14)))))/\(p115->((p15->[](p115->p15))/\(~p15->[](p115->~p15)))))/\(p116->((p16->[](p116->p16))/\(~p16->[](p116->~p16)))))/\(p117->((p17->[](p117->p17))/\(~p17->[](p117->~p17)))))/\(p118->((p18->[](p118->p18))/\(~p18->[](p118->~p18)))))/\(p119->((p19->[](p119->p19))/\(~p19->[](p119->~p19)))))/\(p120->((p20->[](p120->p20))/\(~p20->[](p120->~p20)))))/\(p121->((p21->[](p121->p21))/\(~p21->[](p121->~p21))))))/\((((((((((((((((((((((p100/\~p101)->(<>((p101/\~p102)/\p1)/\<>((p101/\~p102)/\~p1)))/\((p101/\~p102)->(<>((p102/\~p103)/\p2)/\<>((p102/\~p103)/\~p2))))/\((p102/\~p103)->(<>((p103/\~p104)/\p3)/\<>((p103/\~p104)/\~p3))))/\((p103/\~p104)->(<>((p104/\~p105)/\p4)/\<>((p104/\~p105)/\~p4))))/\((p104/\~p105)->(<>((p105/\~p106)/\p5)/\<>((p105/\~p106)/\~p5))))/\((p105/\~p106)->(<>((p106/\~p107)/\p6)/\<>((p106/\~p107)/\~p6))))/\((p106/\~p107)->(<>((p107/\~p108)/\p7)/\<>((p107/\~p108)/\~p7))))/\((p107/\~p108)->(<>((p108/\~p109)/\p8)/\<>((p108/\~p109)/\~p8))))/\((p108/\~p109)->(<>((p109/\~p110)/\p9)/\<>((p109/\~p110)/\~p9))))/\((p109/\~p110)->(<>((p110/\~p111)/\p10)/\<>((p110/\~p111)/\~p10))))/\((p110/\~p111)->(<>((p111/\~p112)/\p11)/\<>((p111/\~p112)/\~p11))))/\((p111/\~p112)->(<>((p112/\~p113)/\p12)/\<>((p112/\~p113)/\~p12))))/\((p112/\~p113)->(<>((p113/\~p114)/\p13)/\<>((p113/\~p114)/\~p13))))/\((p113/\~p114)->(<>((p114/\~p115)/\p14)/\<>((p114/\~p115)/\~p14))))/\((p114/\~p115)->(<>((p115/\~p116)/\p15)/\<>((p115/\~p116)/\~p15))))/\((p115/\~p116)->(<>((p116/\~p117)/\p16)/\<>((p116/\~p117)/\~p16))))/\((p116/\~p117)->(<>((p117/\~p118)/\p17)/\<>((p117/\~p118)/\~p17))))/\((p117/\~p118)->(<>((p118/\~p119)/\p18)/\<>((p118/\~p119)/\~p18))))/\((p118/\~p119)->(<>((p119/\~p120)/\p19)/\<>((p119/\~p120)/\~p19))))/\((p119/\~p120)->(<>((p120/\~p121)/\p20)/\<>((p120/\~p121)/\~p20))))/\((p120/\~p121)->(<>((p121/\~p122)/\p21)/\<>((p121/\~p122)/\~p21))))))/\[][][][][][][][][][][]((((((((((((((((((((((((p101->p100)/\(p102->p101))/\(p103->p102))/\(p104->p103))/\(p105->p104))/\(p106->p105))/\(p107->p106))/\(p108->p107))/\(p109->p108))/\(p110->p109))/\(p111->p110))/\(p112->p111))/\(p113->p112))/\(p114->p113))/\(p115->p114))/\(p116->p115))/\(p117->p116))/\(p118->p117))/\(p119->p118))/\(p120->p119))/\(p121->p120))/\(p122->p121))/\((((((((((((((((((((((p100->((p0->[](p100->p0))/\(~p0->[](p100->~p0))))/\(p101->((p1->[](p101->p1))/\(~p1->[](p101->~p1)))))/\(p102->((p2->[](p102->p2))/\(~p2->[](p102->~p2)))))/\(p103->((p3->[](p103->p3))/\(~p3->[](p103->~p3)))))/\(p104->((p4->[](p104->p4))/\(~p4->[](p104->~p4)))))/\(p105->((p5->[](p105->p5))/\(~p5->[](p105->~p5)))))/\(p106->((p6->[](p106->p6))/\(~p6->[](p106->~p6)))))/\(p107->((p7->[](p107->p7))/\(~p7->[](p107->~p7)))))/\(p108->((p8->[](p108->p8))/\(~p8->[](p108->~p8)))))/\(p109->((p9->[](p109->p9))/\(~p9->[](p109->~p9)))))/\(p110->((p10->[](p110->p10))/\(~p10->[](p110->~p10)))))/\(p111->((p11->[](p111->p11))/\(~p11->[](p111->~p11)))))/\(p112->((p12->[](p112->p12))/\(~p12->[](p112->~p12)))))/\(p113->((p13->[](p113->p13))/\(~p13->[](p113->~p13)))))/\(p114->((p14->[](p114->p14))/\(~p14->[](p114->~p14)))))/\(p115->((p15->[](p115->p15))/\(~p15->[](p115->~p15)))))/\(p116->((p16->[](p116->p16))/\(~p16->[](p116->~p16)))))/\(p117->((p17->[](p117->p17))/\(~p17->[](p117->~p17)))))/\(p118->((p18->[](p118->p18))/\(~p18->[](p118->~p18)))))/\(p119->((p19->[](p119->p19))/\(~p19->[](p119->~p19)))))/\(p120->((p20->[](p120->p20))/\(~p20->[](p120->~p20)))))/\(p121->((p21->[](p121->p21))/\(~p21->[](p121->~p21))))))/\((((((((((((((((((((((p100/\~p101)->(<>((p101/\~p102)/\p1)/\<>((p101/\~p102)/\~p1)))/\((p101/\~p102)->(<>((p102/\~p103)/\p2)/\<>((p102/\~p103)/\~p2))))/\((p102/\~p103)->(<>((p103/\~p104)/\p3)/\<>((p103/\~p104)/\~p3))))/\((p103/\~p104)->(<>((p104/\~p105)/\p4)/\<>((p104/\~p105)/\~p4))))/\((p104/\~p105)->(<>((p105/\~p106)/\p5)/\<>((p105/\~p106)/\~p5))))/\((p105/\~p106)->(<>((p106/\~p107)/\p6)/\<>((p106/\~p107)/\~p6))))/\((p106/\~p107)->(<>((p107/\~p108)/\p7)/\<>((p107/\~p108)/\~p7))))/\((p107/\~p108)->(<>((p108/\~p109)/\p8)/\<>((p108/\~p109)/\~p8))))/\((p108/\~p109)->(<>((p109/\~p110)/\p9)/\<>((p109/\~p110)/\~p9))))/\((p109/\~p110)->(<>((p110/\~p111)/\p10)/\<>((p110/\~p111)/\~p10))))/\((p110/\~p111)->(<>((p111/\~p112)/\p11)/\<>((p111/\~p112)/\~p11))))/\((p111/\~p112)->(<>((p112/\~p113)/\p12)/\<>((p112/\~p113)/\~p12))))/\((p112/\~p113)->(<>((p113/\~p114)/\p13)/\<>((p113/\~p114)/\~p13))))/\((p113/\~p114)->(<>((p114/\~p115)/\p14)/\<>((p114/\~p115)/\~p14))))/\((p114/\~p115)->(<>((p115/\~p116)/\p15)/\<>((p115/\~p116)/\~p15))))/\((p115/\~p116)->(<>((p116/\~p117)/\p16)/\<>((p116/\~p117)/\~p16))))/\((p116/\~p117)->(<>((p117/\~p118)/\p17)/\<>((p117/\~p118)/\~p17))))/\((p117/\~p118)->(<>((p118/\~p119)/\p18)/\<>((p118/\~p119)/\~p18))))/\((p118/\~p119)->(<>((p119/\~p120)/\p19)/\<>((p119/\~p120)/\~p19))))/\((p119/\~p120)->(<>((p120/\~p121)/\p20)/\<>((p120/\~p121)/\~p20))))/\((p120/\~p121)->(<>((p121/\~p122)/\p21)/\<>((p121/\~p122)/\~p21))))))/\[][][][][][][][][][][][]((((((((((((((((((((((((p101->p100)/\(p102->p101))/\(p103->p102))/\(p104->p103))/\(p105->p104))/\(p106->p105))/\(p107->p106))/\(p108->p107))/\(p109->p108))/\(p110->p109))/\(p111->p110))/\(p112->p111))/\(p113->p112))/\(p114->p113))/\(p115->p114))/\(p116->p115))/\(p117->p116))/\(p118->p117))/\(p119->p118))/\(p120->p119))/\(p121->p120))/\(p122->p121))/\((((((((((((((((((((((p100->((p0->[](p100->p0))/\(~p0->[](p100->~p0))))/\(p101->((p1->[](p101->p1))/\(~p1->[](p101->~p1)))))/\(p102->((p2->[](p102->p2))/\(~p2->[](p102->~p2)))))/\(p103->((p3->[](p103->p3))/\(~p3->[](p103->~p3)))))/\(p104->((p4->[](p104->p4))/\(~p4->[](p104->~p4)))))/\(p105->((p5->[](p105->p5))/\(~p5->[](p105->~p5)))))/\(p106->((p6->[](p106->p6))/\(~p6->[](p106->~p6)))))/\(p107->((p7->[](p107->p7))/\(~p7->[](p107->~p7)))))/\(p108->((p8->[](p108->p8))/\(~p8->[](p108->~p8)))))/\(p109->((p9->[](p109->p9))/\(~p9->[](p109->~p9)))))/\(p110->((p10->[](p110->p10))/\(~p10->[](p110->~p10)))))/\(p111->((p11->[](p111->p11))/\(~p11->[](p111->~p11)))))/\(p112->((p12->[](p112->p12))/\(~p12->[](p112->~p12)))))/\(p113->((p13->[](p113->p13))/\(~p13->[](p113->~p13)))))/\(p114->((p14->[](p114->p14))/\(~p14->[](p114->~p14)))))/\(p115->((p15->[](p115->p15))/\(~p15->[](p115->~p15)))))/\(p116->((p16->[](p116->p16))/\(~p16->[](p116->~p16)))))/\(p117->((p17->[](p117->p17))/\(~p17->[](p117->~p17)))))/\(p118->((p18->[](p118->p18))/\(~p18->[](p118->~p18)))))/\(p119->((p19->[](p119->p19))/\(~p19->[](p119->~p19)))))/\(p120->((p20->[](p120->p20))/\(~p20->[](p120->~p20)))))/\(p121->((p21->[](p121->p21))/\(~p21->[](p121->~p21))))))/\((((((((((((((((((((((p100/\~p101)->(<>((p101/\~p102)/\p1)/\<>((p101/\~p102)/\~p1)))/\((p101/\~p102)->(<>((p102/\~p103)/\p2)/\<>((p102/\~p103)/\~p2))))/\((p102/\~p103)->(<>((p103/\~p104)/\p3)/\<>((p103/\~p104)/\~p3))))/\((p103/\~p104)->(<>((p104/\~p105)/\p4)/\<>((p104/\~p105)/\~p4))))/\((p104/\~p105)->(<>((p105/\~p106)/\p5)/\<>((p105/\~p106)/\~p5))))/\((p105/\~p106)->(<>((p106/\~p107)/\p6)/\<>((p106/\~p107)/\~p6))))/\((p106/\~p107)->(<>((p107/\~p108)/\p7)/\<>((p107/\~p108)/\~p7))))/\((p107/\~p108)->(<>((p108/\~p109)/\p8)/\<>((p108/\~p109)/\~p8))))/\((p108/\~p109)->(<>((p109/\~p110)/\p9)/\<>((p109/\~p110)/\~p9))))/\((p109/\~p110)->(<>((p110/\~p111)/\p10)/\<>((p110/\~p111)/\~p10))))/\((p110/\~p111)->(<>((p111/\~p112)/\p11)/\<>((p111/\~p112)/\~p11))))/\((p111/\~p112)->(<>((p112/\~p113)/\p12)/\<>((p112/\~p113)/\~p12))))/\((p112/\~p113)->(<>((p113/\~p114)/\p13)/\<>((p113/\~p114)/\~p13))))/\((p113/\~p114)->(<>((p114/\~p115)/\p14)/\<>((p114/\~p115)/\~p14))))/\((p114/\~p115)->(<>((p115/\~p116)/\p15)/\<>((p115/\~p116)/\~p15))))/\((p115/\~p116)->(<>((p116/\~p117)/\p16)/\<>((p116/\~p117)/\~p16))))/\((p116/\~p117)->(<>((p117/\~p118)/\p17)/\<>((p117/\~p118)/\~p17))))/\((p117/\~p118)->(<>((p118/\~p119)/\p18)/\<>((p118/\~p119)/\~p18))))/\((p118/\~p119)->(<>((p119/\~p120)/\p19)/\<>((p119/\~p120)/\~p19))))/\((p119/\~p120)->(<>((p120/\~p121)/\p20)/\<>((p120/\~p121)/\~p20))))/\((p120/\~p121)->(<>((p121/\~p122)/\p21)/\<>((p121/\~p122)/\~p21))))))/\[][][][][][][][][][][][][]((((((((((((((((((((((((p101->p100)/\(p102->p101))/\(p103->p102))/\(p104->p103))/\(p105->p104))/\(p106->p105))/\(p107->p106))/\(p108->p107))/\(p109->p108))/\(p110->p109))/\(p111->p110))/\(p112->p111))/\(p113->p112))/\(p114->p113))/\(p115->p114))/\(p116->p115))/\(p117->p116))/\(p118->p117))/\(p119->p118))/\(p120->p119))/\(p121->p120))/\(p122->p121))/\((((((((((((((((((((((p100->((p0->[](p100->p0))/\(~p0->[](p100->~p0))))/\(p101->((p1->[](p101->p1))/\(~p1->[](p101->~p1)))))/\(p102->((p2->[](p102->p2))/\(~p2->[](p102->~p2)))))/\(p103->((p3->[](p103->p3))/\(~p3->[](p103->~p3)))))/\(p104->((p4->[](p104->p4))/\(~p4->[](p104->~p4)))))/\(p105->((p5->[](p105->p5))/\(~p5->[](p105->~p5)))))/\(p106->((p6->[](p106->p6))/\(~p6->[](p106->~p6)))))/\(p107->((p7->[](p107->p7))/\(~p7->[](p107->~p7)))))/\(p108->((p8->[](p108->p8))/\(~p8->[](p108->~p8)))))/\(p109->((p9->[](p109->p9))/\(~p9->[](p109->~p9)))))/\(p110->((p10->[](p110->p10))/\(~p10->[](p110->~p10)))))/\(p111->((p11->[](p111->p11))/\(~p11->[](p111->~p11)))))/\(p112->((p12->[](p112->p12))/\(~p12->[](p112->~p12)))))/\(p113->((p13->[](p113->p13))/\(~p13->[](p113->~p13)))))/\(p114->((p14->[](p114->p14))/\(~p14->[](p114->~p14)))))/\(p115->((p15->[](p115->p15))/\(~p15->[](p115->~p15)))))/\(p116->((p16->[](p116->p16))/\(~p16->[](p116->~p16)))))/\(p117->((p17->[](p117->p17))/\(~p17->[](p117->~p17)))))/\(p118->((p18->[](p118->p18))/\(~p18->[](p118->~p18)))))/\(p119->((p19->[](p119->p19))/\(~p19->[](p119->~p19)))))/\(p120->((p20->[](p120->p20))/\(~p20->[](p120->~p20)))))/\(p121->((p21->[](p121->p21))/\(~p21->[](p121->~p21))))))/\((((((((((((((((((((((p100/\~p101)->(<>((p101/\~p102)/\p1)/\<>((p101/\~p102)/\~p1)))/\((p101/\~p102)->(<>((p102/\~p103)/\p2)/\<>((p102/\~p103)/\~p2))))/\((p102/\~p103)->(<>((p103/\~p104)/\p3)/\<>((p103/\~p104)/\~p3))))/\((p103/\~p104)->(<>((p104/\~p105)/\p4)/\<>((p104/\~p105)/\~p4))))/\((p104/\~p105)->(<>((p105/\~p106)/\p5)/\<>((p105/\~p106)/\~p5))))/\((p105/\~p106)->(<>((p106/\~p107)/\p6)/\<>((p106/\~p107)/\~p6))))/\((p106/\~p107)->(<>((p107/\~p108)/\p7)/\<>((p107/\~p108)/\~p7))))/\((p107/\~p108)->(<>((p108/\~p109)/\p8)/\<>((p108/\~p109)/\~p8))))/\((p108/\~p109)->(<>((p109/\~p110)/\p9)/\<>((p109/\~p110)/\~p9))))/\((p109/\~p110)->(<>((p110/\~p111)/\p10)/\<>((p110/\~p111)/\~p10))))/\((p110/\~p111)->(<>((p111/\~p112)/\p11)/\<>((p111/\~p112)/\~p11))))/\((p111/\~p112)->(<>((p112/\~p113)/\p12)/\<>((p112/\~p113)/\~p12))))/\((p112/\~p113)->(<>((p113/\~p114)/\p13)/\<>((p113/\~p114)/\~p13))))/\((p113/\~p114)->(<>((p114/\~p115)/\p14)/\<>((p114/\~p115)/\~p14))))/\((p114/\~p115)->(<>((p115/\~p116)/\p15)/\<>((p115/\~p116)/\~p15))))/\((p115/\~p116)->(<>((p116/\~p117)/\p16)/\<>((p116/\~p117)/\~p16))))/\((p116/\~p117)->(<>((p117/\~p118)/\p17)/\<>((p117/\~p118)/\~p17))))/\((p117/\~p118)->(<>((p118/\~p119)/\p18)/\<>((p118/\~p119)/\~p18))))/\((p118/\~p119)->(<>((p119/\~p120)/\p19)/\<>((p119/\~p120)/\~p19))))/\((p119/\~p120)->(<>((p120/\~p121)/\p20)/\<>((p120/\~p121)/\~p20))))/\((p120/\~p121)->(<>((p121/\~p122)/\p21)/\<>((p121/\~p122)/\~p21))))))/\[][][][][][][][][][][][][][]((((((((((((((((((((((((p101->p100)/\(p102->p101))/\(p103->p102))/\(p104->p103))/\(p105->p104))/\(p106->p105))/\(p107->p106))/\(p108->p107))/\(p109->p108))/\(p110->p109))/\(p111->p110))/\(p112->p111))/\(p113->p112))/\(p114->p113))/\(p115->p114))/\(p116->p115))/\(p117->p116))/\(p118->p117))/\(p119->p118))/\(p120->p119))/\(p121->p120))/\(p122->p121))/\((((((((((((((((((((((p100->((p0->[](p100->p0))/\(~p0->[](p100->~p0))))/\(p101->((p1->[](p101->p1))/\(~p1->[](p101->~p1)))))/\(p102->((p2->[](p102->p2))/\(~p2->[](p102->~p2)))))/\(p103->((p3->[](p103->p3))/\(~p3->[](p103->~p3)))))/\(p104->((p4->[](p104->p4))/\(~p4->[](p104->~p4)))))/\(p105->((p5->[](p105->p5))/\(~p5->[](p105->~p5)))))/\(p106->((p6->[](p106->p6))/\(~p6->[](p106->~p6)))))/\(p107->((p7->[](p107->p7))/\(~p7->[](p107->~p7)))))/\(p108->((p8->[](p108->p8))/\(~p8->[](p108->~p8)))))/\(p109->((p9->[](p109->p9))/\(~p9->[](p109->~p9)))))/\(p110->((p10->[](p110->p10))/\(~p10->[](p110->~p10)))))/\(p111->((p11->[](p111->p11))/\(~p11->[](p111->~p11)))))/\(p112->((p12->[](p112->p12))/\(~p12->[](p112->~p12)))))/\(p113->((p13->[](p113->p13))/\(~p13->[](p113->~p13)))))/\(p114->((p14->[](p114->p14))/\(~p14->[](p114->~p14)))))/\(p115->((p15->[](p115->p15))/\(~p15->[](p115->~p15)))))/\(p116->((p16->[](p116->p16))/\(~p16->[](p116->~p16)))))/\(p117->((p17->[](p117->p17))/\(~p17->[](p117->~p17)))))/\(p118->((p18->[](p118->p18))/\(~p18->[](p118->~p18)))))/\(p119->((p19->[](p119->p19))/\(~p19->[](p119->~p19)))))/\(p120->((p20->[](p120->p20))/\(~p20->[](p120->~p20)))))/\(p121->((p21->[](p121->p21))/\(~p21->[](p121->~p21))))))/\((((((((((((((((((((((p100/\~p101)->(<>((p101/\~p102)/\p1)/\<>((p101/\~p102)/\~p1)))/\((p101/\~p102)->(<>((p102/\~p103)/\p2)/\<>((p102/\~p103)/\~p2))))/\((p102/\~p103)->(<>((p103/\~p104)/\p3)/\<>((p103/\~p104)/\~p3))))/\((p103/\~p104)->(<>((p104/\~p105)/\p4)/\<>((p104/\~p105)/\~p4))))/\((p104/\~p105)->(<>((p105/\~p106)/\p5)/\<>((p105/\~p106)/\~p5))))/\((p105/\~p106)->(<>((p106/\~p107)/\p6)/\<>((p106/\~p107)/\~p6))))/\((p106/\~p107)->(<>((p107/\~p108)/\p7)/\<>((p107/\~p108)/\~p7))))/\((p107/\~p108)->(<>((p108/\~p109)/\p8)/\<>((p108/\~p109)/\~p8))))/\((p108/\~p109)->(<>((p109/\~p110)/\p9)/\<>((p109/\~p110)/\~p9))))/\((p109/\~p110)->(<>((p110/\~p111)/\p10)/\<>((p110/\~p111)/\~p10))))/\((p110/\~p111)->(<>((p111/\~p112)/\p11)/\<>((p111/\~p112)/\~p11))))/\((p111/\~p112)->(<>((p112/\~p113)/\p12)/\<>((p112/\~p113)/\~p12))))/\((p112/\~p113)->(<>((p113/\~p114)/\p13)/\<>((p113/\~p114)/\~p13))))/\((p113/\~p114)->(<>((p114/\~p115)/\p14)/\<>((p114/\~p115)/\~p14))))/\((p114/\~p115)->(<>((p115/\~p116)/\p15)/\<>((p115/\~p116)/\~p15))))/\((p115/\~p116)->(<>((p116/\~p117)/\p16)/\<>((p116/\~p117)/\~p16))))/\((p116/\~p117)->(<>((p117/\~p118)/\p17)/\<>((p117/\~p118)/\~p17))))/\((p117/\~p118)->(<>((p118/\~p119)/\p18)/\<>((p118/\~p119)/\~p18))))/\((p118/\~p119)->(<>((p119/\~p120)/\p19)/\<>((p119/\~p120)/\~p19))))/\((p119/\~p120)->(<>((p120/\~p121)/\p20)/\<>((p120/\~p121)/\~p20))))/\((p120/\~p121)->(<>((p121/\~p122)/\p21)/\<>((p121/\~p122)/\~p21))))))/\[][][][][][][][][][][][][][][]((((((((((((((((((((((((p101->p100)/\(p102->p101))/\(p103->p102))/\(p104->p103))/\(p105->p104))/\(p106->p105))/\(p107->p106))/\(p108->p107))/\(p109->p108))/\(p110->p109))/\(p111->p110))/\(p112->p111))/\(p113->p112))/\(p114->p113))/\(p115->p114))/\(p116->p115))/\(p117->p116))/\(p118->p117))/\(p119->p118))/\(p120->p119))/\(p121->p120))/\(p122->p121))/\((((((((((((((((((((((p100->((p0->[](p100->p0))/\(~p0->[](p100->~p0))))/\(p101->((p1->[](p101->p1))/\(~p1->[](p101->~p1)))))/\(p102->((p2->[](p102->p2))/\(~p2->[](p102->~p2)))))/\(p103->((p3->[](p103->p3))/\(~p3->[](p103->~p3)))))/\(p104->((p4->[](p104->p4))/\(~p4->[](p104->~p4)))))/\(p105->((p5->[](p105->p5))/\(~p5->[](p105->~p5)))))/\(p106->((p6->[](p106->p6))/\(~p6->[](p106->~p6)))))/\(p107->((p7->[](p107->p7))/\(~p7->[](p107->~p7)))))/\(p108->((p8->[](p108->p8))/\(~p8->[](p108->~p8)))))/\(p109->((p9->[](p109->p9))/\(~p9->[](p109->~p9)))))/\(p110->((p10->[](p110->p10))/\(~p10->[](p110->~p10)))))/\(p111->((p11->[](p111->p11))/\(~p11->[](p111->~p11)))))/\(p112->((p12->[](p112->p12))/\(~p12->[](p112->~p12)))))/\(p113->((p13->[](p113->p13))/\(~p13->[](p113->~p13)))))/\(p114->((p14->[](p114->p14))/\(~p14->[](p114->~p14)))))/\(p115->((p15->[](p115->p15))/\(~p15->[](p115->~p15)))))/\(p116->((p16->[](p116->p16))/\(~p16->[](p116->~p16)))))/\(p117->((p17->[](p117->p17))/\(~p17->[](p117->~p17)))))/\(p118->((p18->[](p118->p18))/\(~p18->[](p118->~p18)))))/\(p119->((p19->[](p119->p19))/\(~p19->[](p119->~p19)))))/\(p120->((p20->[](p120->p20))/\(~p20->[](p120->~p20)))))/\(p121->((p21->[](p121->p21))/\(~p21->[](p121->~p21))))))/\((((((((((((((((((((((p100/\~p101)->(<>((p101/\~p102)/\p1)/\<>((p101/\~p102)/\~p1)))/\((p101/\~p102)->(<>((p102/\~p103)/\p2)/\<>((p102/\~p103)/\~p2))))/\((p102/\~p103)->(<>((p103/\~p104)/\p3)/\<>((p103/\~p104)/\~p3))))/\((p103/\~p104)->(<>((p104/\~p105)/\p4)/\<>((p104/\~p105)/\~p4))))/\((p104/\~p105)->(<>((p105/\~p106)/\p5)/\<>((p105/\~p106)/\~p5))))/\((p105/\~p106)->(<>((p106/\~p107)/\p6)/\<>((p106/\~p107)/\~p6))))/\((p106/\~p107)->(<>((p107/\~p108)/\p7)/\<>((p107/\~p108)/\~p7))))/\((p107/\~p108)->(<>((p108/\~p109)/\p8)/\<>((p108/\~p109)/\~p8))))/\((p108/\~p109)->(<>((p109/\~p110)/\p9)/\<>((p109/\~p110)/\~p9))))/\((p109/\~p110)->(<>((p110/\~p111)/\p10)/\<>((p110/\~p111)/\~p10))))/\((p110/\~p111)->(<>((p111/\~p112)/\p11)/\<>((p111/\~p112)/\~p11))))/\((p111/\~p112)->(<>((p112/\~p113)/\p12)/\<>((p112/\~p113)/\~p12))))/\((p112/\~p113)->(<>((p113/\~p114)/\p13)/\<>((p113/\~p114)/\~p13))))/\((p113/\~p114)->(<>((p114/\~p115)/\p14)/\<>((p114/\~p115)/\~p14))))/\((p114/\~p115)->(<>((p115/\~p116)/\p15)/\<>((p115/\~p116)/\~p15))))/\((p115/\~p116)->(<>((p116/\~p117)/\p16)/\<>((p116/\~p117)/\~p16))))/\((p116/\~p117)->(<>((p117/\~p118)/\p17)/\<>((p117/\~p118)/\~p17))))/\((p117/\~p118)->(<>((p118/\~p119)/\p18)/\<>((p118/\~p119)/\~p18))))/\((p118/\~p119)->(<>((p119/\~p120)/\p19)/\<>((p119/\~p120)/\~p19))))/\((p119/\~p120)->(<>((p120/\~p121)/\p20)/\<>((p120/\~p121)/\~p20))))/\((p120/\~p121)->(<>((p121/\~p122)/\p21)/\<>((p121/\~p122)/\~p21))))))/\[][][][][][][][][][][][][][][][]((((((((((((((((((((((((p101->p100)/\(p102->p101))/\(p103->p102))/\(p104->p103))/\(p105->p104))/\(p106->p105))/\(p107->p106))/\(p108->p107))/\(p109->p108))/\(p110->p109))/\(p111->p110))/\(p112->p111))/\(p113->p112))/\(p114->p113))/\(p115->p114))/\(p116->p115))/\(p117->p116))/\(p118->p117))/\(p119->p118))/\(p120->p119))/\(p121->p120))/\(p122->p121))/\((((((((((((((((((((((p100->((p0->[](p100->p0))/\(~p0->[](p100->~p0))))/\(p101->((p1->[](p101->p1))/\(~p1->[](p101->~p1)))))/\(p102->((p2->[](p102->p2))/\(~p2->[](p102->~p2)))))/\(p103->((p3->[](p103->p3))/\(~p3->[](p103->~p3)))))/\(p104->((p4->[](p104->p4))/\(~p4->[](p104->~p4)))))/\(p105->((p5->[](p105->p5))/\(~p5->[](p105->~p5)))))/\(p106->((p6->[](p106->p6))/\(~p6->[](p106->~p6)))))/\(p107->((p7->[](p107->p7))/\(~p7->[](p107->~p7)))))/\(p108->((p8->[](p108->p8))/\(~p8->[](p108->~p8)))))/\(p109->((p9->[](p109->p9))/\(~p9->[](p109->~p9)))))/\(p110->((p10->[](p110->p10))/\(~p10->[](p110->~p10)))))/\(p111->((p11->[](p111->p11))/\(~p11->[](p111->~p11)))))/\(p112->((p12->[](p112->p12))/\(~p12->[](p112->~p12)))))/\(p113->((p13->[](p113->p13))/\(~p13->[](p113->~p13)))))/\(p114->((p14->[](p114->p14))/\(~p14->[](p114->~p14)))))/\(p115->((p15->[](p115->p15))/\(~p15->[](p115->~p15)))))/\(p116->((p16->[](p116->p16))/\(~p16->[](p116->~p16)))))/\(p117->((p17->[](p117->p17))/\(~p17->[](p117->~p17)))))/\(p118->((p18->[](p118->p18))/\(~p18->[](p118->~p18)))))/\(p119->((p19->[](p119->p19))/\(~p19->[](p119->~p19)))))/\(p120->((p20->[](p120->p20))/\(~p20->[](p120->~p20)))))/\(p121->((p21->[](p121->p21))/\(~p21->[](p121->~p21))))))/\((((((((((((((((((((((p100/\~p101)->(<>((p101/\~p102)/\p1)/\<>((p101/\~p102)/\~p1)))/\((p101/\~p102)->(<>((p102/\~p103)/\p2)/\<>((p102/\~p103)/\~p2))))/\((p102/\~p103)->(<>((p103/\~p104)/\p3)/\<>((p103/\~p104)/\~p3))))/\((p103/\~p104)->(<>((p104/\~p105)/\p4)/\<>((p104/\~p105)/\~p4))))/\((p104/\~p105)->(<>((p105/\~p106)/\p5)/\<>((p105/\~p106)/\~p5))))/\((p105/\~p106)->(<>((p106/\~p107)/\p6)/\<>((p106/\~p107)/\~p6))))/\((p106/\~p107)->(<>((p107/\~p108)/\p7)/\<>((p107/\~p108)/\~p7))))/\((p107/\~p108)->(<>((p108/\~p109)/\p8)/\<>((p108/\~p109)/\~p8))))/\((p108/\~p109)->(<>((p109/\~p110)/\p9)/\<>((p109/\~p110)/\~p9))))/\((p109/\~p110)->(<>((p110/\~p111)/\p10)/\<>((p110/\~p111)/\~p10))))/\((p110/\~p111)->(<>((p111/\~p112)/\p11)/\<>((p111/\~p112)/\~p11))))/\((p111/\~p112)->(<>((p112/\~p113)/\p12)/\<>((p112/\~p113)/\~p12))))/\((p112/\~p113)->(<>((p113/\~p114)/\p13)/\<>((p113/\~p114)/\~p13))))/\((p113/\~p114)->(<>((p114/\~p115)/\p14)/\<>((p114/\~p115)/\~p14))))/\((p114/\~p115)->(<>((p115/\~p116)/\p15)/\<>((p115/\~p116)/\~p15))))/\((p115/\~p116)->(<>((p116/\~p117)/\p16)/\<>((p116/\~p117)/\~p16))))/\((p116/\~p117)->(<>((p117/\~p118)/\p17)/\<>((p117/\~p118)/\~p17))))/\((p117/\~p118)->(<>((p118/\~p119)/\p18)/\<>((p118/\~p119)/\~p18))))/\((p118/\~p119)->(<>((p119/\~p120)/\p19)/\<>((p119/\~p120)/\~p19))))/\((p119/\~p120)->(<>((p120/\~p121)/\p20)/\<>((p120/\~p121)/\~p20))))/\((p120/\~p121)->(<>((p121/\~p122)/\p21)/\<>((p121/\~p122)/\~p21))))))/\[][][][][][][][][][][][][][][][][]((((((((((((((((((((((((p101->p100)/\(p102->p101))/\(p103->p102))/\(p104->p103))/\(p105->p104))/\(p106->p105))/\(p107->p106))/\(p108->p107))/\(p109->p108))/\(p110->p109))/\(p111->p110))/\(p112->p111))/\(p113->p112))/\(p114->p113))/\(p115->p114))/\(p116->p115))/\(p117->p116))/\(p118->p117))/\(p119->p118))/\(p120->p119))/\(p121->p120))/\(p122->p121))/\((((((((((((((((((((((p100->((p0->[](p100->p0))/\(~p0->[](p100->~p0))))/\(p101->((p1->[](p101->p1))/\(~p1->[](p101->~p1)))))/\(p102->((p2->[](p102->p2))/\(~p2->[](p102->~p2)))))/\(p103->((p3->[](p103->p3))/\(~p3->[](p103->~p3)))))/\(p104->((p4->[](p104->p4))/\(~p4->[](p104->~p4)))))/\(p105->((p5->[](p105->p5))/\(~p5->[](p105->~p5)))))/\(p106->((p6->[](p106->p6))/\(~p6->[](p106->~p6)))))/\(p107->((p7->[](p107->p7))/\(~p7->[](p107->~p7)))))/\(p108->((p8->[](p108->p8))/\(~p8->[](p108->~p8)))))/\(p109->((p9->[](p109->p9))/\(~p9->[](p109->~p9)))))/\(p110->((p10->[](p110->p10))/\(~p10->[](p110->~p10)))))/\(p111->((p11->[](p111->p11))/\(~p11->[](p111->~p11)))))/\(p112->((p12->[](p112->p12))/\(~p12->[](p112->~p12)))))/\(p113->((p13->[](p113->p13))/\(~p13->[](p113->~p13)))))/\(p114->((p14->[](p114->p14))/\(~p14->[](p114->~p14)))))/\(p115->((p15->[](p115->p15))/\(~p15->[](p115->~p15)))))/\(p116->((p16->[](p116->p16))/\(~p16->[](p116->~p16)))))/\(p117->((p17->[](p117->p17))/\(~p17->[](p117->~p17)))))/\(p118->((p18->[](p118->p18))/\(~p18->[](p118->~p18)))))/\(p119->((p19->[](p119->p19))/\(~p19->[](p119->~p19)))))/\(p120->((p20->[](p120->p20))/\(~p20->[](p120->~p20)))))/\(p121->((p21->[](p121->p21))/\(~p21->[](p121->~p21))))))/\((((((((((((((((((((((p100/\~p101)->(<>((p101/\~p102)/\p1)/\<>((p101/\~p102)/\~p1)))/\((p101/\~p102)->(<>((p102/\~p103)/\p2)/\<>((p102/\~p103)/\~p2))))/\((p102/\~p103)->(<>((p103/\~p104)/\p3)/\<>((p103/\~p104)/\~p3))))/\((p103/\~p104)->(<>((p104/\~p105)/\p4)/\<>((p104/\~p105)/\~p4))))/\((p104/\~p105)->(<>((p105/\~p106)/\p5)/\<>((p105/\~p106)/\~p5))))/\((p105/\~p106)->(<>((p106/\~p107)/\p6)/\<>((p106/\~p107)/\~p6))))/\((p106/\~p107)->(<>((p107/\~p108)/\p7)/\<>((p107/\~p108)/\~p7))))/\((p107/\~p108)->(<>((p108/\~p109)/\p8)/\<>((p108/\~p109)/\~p8))))/\((p108/\~p109)->(<>((p109/\~p110)/\p9)/\<>((p109/\~p110)/\~p9))))/\((p109/\~p110)->(<>((p110/\~p111)/\p10)/\<>((p110/\~p111)/\~p10))))/\((p110/\~p111)->(<>((p111/\~p112)/\p11)/\<>((p111/\~p112)/\~p11))))/\((p111/\~p112)->(<>((p112/\~p113)/\p12)/\<>((p112/\~p113)/\~p12))))/\((p112/\~p113)->(<>((p113/\~p114)/\p13)/\<>((p113/\~p114)/\~p13))))/\((p113/\~p114)->(<>((p114/\~p115)/\p14)/\<>((p114/\~p115)/\~p14))))/\((p114/\~p115)->(<>((p115/\~p116)/\p15)/\<>((p115/\~p116)/\~p15))))/\((p115/\~p116)->(<>((p116/\~p117)/\p16)/\<>((p116/\~p117)/\~p16))))/\((p116/\~p117)->(<>((p117/\~p118)/\p17)/\<>((p117/\~p118)/\~p17))))/\((p117/\~p118)->(<>((p118/\~p119)/\p18)/\<>((p118/\~p119)/\~p18))))/\((p118/\~p119)->(<>((p119/\~p120)/\p19)/\<>((p119/\~p120)/\~p19))))/\((p119/\~p120)->(<>((p120/\~p121)/\p20)/\<>((p120/\~p121)/\~p20))))/\((p120/\~p121)->(<>((p121/\~p122)/\p21)/\<>((p121/\~p122)/\~p21))))))/\[][][][][][][][][][][][][][][][][][]((((((((((((((((((((((((p101->p100)/\(p102->p101))/\(p103->p102))/\(p104->p103))/\(p105->p104))/\(p106->p105))/\(p107->p106))/\(p108->p107))/\(p109->p108))/\(p110->p109))/\(p111->p110))/\(p112->p111))/\(p113->p112))/\(p114->p113))/\(p115->p114))/\(p116->p115))/\(p117->p116))/\(p118->p117))/\(p119->p118))/\(p120->p119))/\(p121->p120))/\(p122->p121))/\((((((((((((((((((((((p100->((p0->[](p100->p0))/\(~p0->[](p100->~p0))))/\(p101->((p1->[](p101->p1))/\(~p1->[](p101->~p1)))))/\(p102->((p2->[](p102->p2))/\(~p2->[](p102->~p2)))))/\(p103->((p3->[](p103->p3))/\(~p3->[](p103->~p3)))))/\(p104->((p4->[](p104->p4))/\(~p4->[](p104->~p4)))))/\(p105->((p5->[](p105->p5))/\(~p5->[](p105->~p5)))))/\(p106->((p6->[](p106->p6))/\(~p6->[](p106->~p6)))))/\(p107->((p7->[](p107->p7))/\(~p7->[](p107->~p7)))))/\(p108->((p8->[](p108->p8))/\(~p8->[](p108->~p8)))))/\(p109->((p9->[](p109->p9))/\(~p9->[](p109->~p9)))))/\(p110->((p10->[](p110->p10))/\(~p10->[](p110->~p10)))))/\(p111->((p11->[](p111->p11))/\(~p11->[](p111->~p11)))))/\(p112->((p12->[](p112->p12))/\(~p12->[](p112->~p12)))))/\(p113->((p13->[](p113->p13))/\(~p13->[](p113->~p13)))))/\(p114->((p14->[](p114->p14))/\(~p14->[](p114->~p14)))))/\(p115->((p15->[](p115->p15))/\(~p15->[](p115->~p15)))))/\(p116->((p16->[](p116->p16))/\(~p16->[](p116->~p16)))))/\(p117->((p17->[](p117->p17))/\(~p17->[](p117->~p17)))))/\(p118->((p18->[](p118->p18))/\(~p18->[](p118->~p18)))))/\(p119->((p19->[](p119->p19))/\(~p19->[](p119->~p19)))))/\(p120->((p20->[](p120->p20))/\(~p20->[](p120->~p20)))))/\(p121->((p21->[](p121->p21))/\(~p21->[](p121->~p21))))))/\((((((((((((((((((((((p100/\~p101)->(<>((p101/\~p102)/\p1)/\<>((p101/\~p102)/\~p1)))/\((p101/\~p102)->(<>((p102/\~p103)/\p2)/\<>((p102/\~p103)/\~p2))))/\((p102/\~p103)->(<>((p103/\~p104)/\p3)/\<>((p103/\~p104)/\~p3))))/\((p103/\~p104)->(<>((p104/\~p105)/\p4)/\<>((p104/\~p105)/\~p4))))/\((p104/\~p105)->(<>((p105/\~p106)/\p5)/\<>((p105/\~p106)/\~p5))))/\((p105/\~p106)->(<>((p106/\~p107)/\p6)/\<>((p106/\~p107)/\~p6))))/\((p106/\~p107)->(<>((p107/\~p108)/\p7)/\<>((p107/\~p108)/\~p7))))/\((p107/\~p108)->(<>((p108/\~p109)/\p8)/\<>((p108/\~p109)/\~p8))))/\((p108/\~p109)->(<>((p109/\~p110)/\p9)/\<>((p109/\~p110)/\~p9))))/\((p109/\~p110)->(<>((p110/\~p111)/\p10)/\<>((p110/\~p111)/\~p10))))/\((p110/\~p111)->(<>((p111/\~p112)/\p11)/\<>((p111/\~p112)/\~p11))))/\((p111/\~p112)->(<>((p112/\~p113)/\p12)/\<>((p112/\~p113)/\~p12))))/\((p112/\~p113)->(<>((p113/\~p114)/\p13)/\<>((p113/\~p114)/\~p13))))/\((p113/\~p114)->(<>((p114/\~p115)/\p14)/\<>((p114/\~p115)/\~p14))))/\((p114/\~p115)->(<>((p115/\~p116)/\p15)/\<>((p115/\~p116)/\~p15))))/\((p115/\~p116)->(<>((p116/\~p117)/\p16)/\<>((p116/\~p117)/\~p16))))/\((p116/\~p117)->(<>((p117/\~p118)/\p17)/\<>((p117/\~p118)/\~p17))))/\((p117/\~p118)->(<>((p118/\~p119)/\p18)/\<>((p118/\~p119)/\~p18))))/\((p118/\~p119)->(<>((p119/\~p120)/\p19)/\<>((p119/\~p120)/\~p19))))/\((p119/\~p120)->(<>((p120/\~p121)/\p20)/\<>((p120/\~p121)/\~p20))))/\((p120/\~p121)->(<>((p121/\~p122)/\p21)/\<>((p121/\~p122)/\~p21))))))/\[][][][][][][][][][][][][][][][][][][]((((((((((((((((((((((((p101->p100)/\(p102->p101))/\(p103->p102))/\(p104->p103))/\(p105->p104))/\(p106->p105))/\(p107->p106))/\(p108->p107))/\(p109->p108))/\(p110->p109))/\(p111->p110))/\(p112->p111))/\(p113->p112))/\(p114->p113))/\(p115->p114))/\(p116->p115))/\(p117->p116))/\(p118->p117))/\(p119->p118))/\(p120->p119))/\(p121->p120))/\(p122->p121))/\((((((((((((((((((((((p100->((p0->[](p100->p0))/\(~p0->[](p100->~p0))))/\(p101->((p1->[](p101->p1))/\(~p1->[](p101->~p1)))))/\(p102->((p2->[](p102->p2))/\(~p2->[](p102->~p2)))))/\(p103->((p3->[](p103->p3))/\(~p3->[](p103->~p3)))))/\(p104->((p4->[](p104->p4))/\(~p4->[](p104->~p4)))))/\(p105->((p5->[](p105->p5))/\(~p5->[](p105->~p5)))))/\(p106->((p6->[](p106->p6))/\(~p6->[](p106->~p6)))))/\(p107->((p7->[](p107->p7))/\(~p7->[](p107->~p7)))))/\(p108->((p8->[](p108->p8))/\(~p8->[](p108->~p8)))))/\(p109->((p9->[](p109->p9))/\(~p9->[](p109->~p9)))))/\(p110->((p10->[](p110->p10))/\(~p10->[](p110->~p10)))))/\(p111->((p11->[](p111->p11))/\(~p11->[](p111->~p11)))))/\(p112->((p12->[](p112->p12))/\(~p12->[](p112->~p12)))))/\(p113->((p13->[](p113->p13))/\(~p13->[](p113->~p13)))))/\(p114->((p14->[](p114->p14))/\(~p14->[](p114->~p14)))))/\(p115->((p15->[](p115->p15))/\(~p15->[](p115->~p15)))))/\(p116->((p16->[](p116->p16))/\(~p16->[](p116->~p16)))))/\(p117->((p17->[](p117->p17))/\(~p17->[](p117->~p17)))))/\(p118->((p18->[](p118->p18))/\(~p18->[](p118->~p18)))))/\(p119->((p19->[](p119->p19))/\(~p19->[](p119->~p19)))))/\(p120->((p20->[](p120->p20))/\(~p20->[](p120->~p20)))))/\(p121->((p21->[](p121->p21))/\(~p21->[](p121->~p21))))))/\((((((((((((((((((((((p100/\~p101)->(<>((p101/\~p102)/\p1)/\<>((p101/\~p102)/\~p1)))/\((p101/\~p102)->(<>((p102/\~p103)/\p2)/\<>((p102/\~p103)/\~p2))))/\((p102/\~p103)->(<>((p103/\~p104)/\p3)/\<>((p103/\~p104)/\~p3))))/\((p103/\~p104)->(<>((p104/\~p105)/\p4)/\<>((p104/\~p105)/\~p4))))/\((p104/\~p105)->(<>((p105/\~p106)/\p5)/\<>((p105/\~p106)/\~p5))))/\((p105/\~p106)->(<>((p106/\~p107)/\p6)/\<>((p106/\~p107)/\~p6))))/\((p106/\~p107)->(<>((p107/\~p108)/\p7)/\<>((p107/\~p108)/\~p7))))/\((p107/\~p108)->(<>((p108/\~p109)/\p8)/\<>((p108/\~p109)/\~p8))))/\((p108/\~p109)->(<>((p109/\~p110)/\p9)/\<>((p109/\~p110)/\~p9))))/\((p109/\~p110)->(<>((p110/\~p111)/\p10)/\<>((p110/\~p111)/\~p10))))/\((p110/\~p111)->(<>((p111/\~p112)/\p11)/\<>((p111/\~p112)/\~p11))))/\((p111/\~p112)->(<>((p112/\~p113)/\p12)/\<>((p112/\~p113)/\~p12))))/\((p112/\~p113)->(<>((p113/\~p114)/\p13)/\<>((p113/\~p114)/\~p13))))/\((p113/\~p114)->(<>((p114/\~p115)/\p14)/\<>((p114/\~p115)/\~p14))))/\((p114/\~p115)->(<>((p115/\~p116)/\p15)/\<>((p115/\~p116)/\~p15))))/\((p115/\~p116)->(<>((p116/\~p117)/\p16)/\<>((p116/\~p117)/\~p16))))/\((p116/\~p117)->(<>((p117/\~p118)/\p17)/\<>((p117/\~p118)/\~p17))))/\((p117/\~p118)->(<>((p118/\~p119)/\p18)/\<>((p118/\~p119)/\~p18))))/\((p118/\~p119)->(<>((p119/\~p120)/\p19)/\<>((p119/\~p120)/\~p19))))/\((p119/\~p120)->(<>((p120/\~p121)/\p20)/\<>((p120/\~p121)/\~p20))))/\((p120/\~p121)->(<>((p121/\~p122)/\p21)/\<>((p121/\~p122)/\~p21))))))/\[][][][][][][][][][][][][][][][][][][][]((((((((((((((((((((((((p101->p100)/\(p102->p101))/\(p103->p102))/\(p104->p103))/\(p105->p104))/\(p106->p105))/\(p107->p106))/\(p108->p107))/\(p109->p108))/\(p110->p109))/\(p111->p110))/\(p112->p111))/\(p113->p112))/\(p114->p113))/\(p115->p114))/\(p116->p115))/\(p117->p116))/\(p118->p117))/\(p119->p118))/\(p120->p119))/\(p121->p120))/\(p122->p121))/\((((((((((((((((((((((p100->((p0->[](p100->p0))/\(~p0->[](p100->~p0))))/\(p101->((p1->[](p101->p1))/\(~p1->[](p101->~p1)))))/\(p102->((p2->[](p102->p2))/\(~p2->[](p102->~p2)))))/\(p103->((p3->[](p103->p3))/\(~p3->[](p103->~p3)))))/\(p104->((p4->[](p104->p4))/\(~p4->[](p104->~p4)))))/\(p105->((p5->[](p105->p5))/\(~p5->[](p105->~p5)))))/\(p106->((p6->[](p106->p6))/\(~p6->[](p106->~p6)))))/\(p107->((p7->[](p107->p7))/\(~p7->[](p107->~p7)))))/\(p108->((p8->[](p108->p8))/\(~p8->[](p108->~p8)))))/\(p109->((p9->[](p109->p9))/\(~p9->[](p109->~p9)))))/\(p110->((p10->[](p110->p10))/\(~p10->[](p110->~p10)))))/\(p111->((p11->[](p111->p11))/\(~p11->[](p111->~p11)))))/\(p112->((p12->[](p112->p12))/\(~p12->[](p112->~p12)))))/\(p113->((p13->[](p113->p13))/\(~p13->[](p113->~p13)))))/\(p114->((p14->[](p114->p14))/\(~p14->[](p114->~p14)))))/\(p115->((p15->[](p115->p15))/\(~p15->[](p115->~p15)))))/\(p116->((p16->[](p116->p16))/\(~p16->[](p116->~p16)))))/\(p117->((p17->[](p117->p17))/\(~p17->[](p117->~p17)))))/\(p118->((p18->[](p118->p18))/\(~p18->[](p118->~p18)))))/\(p119->((p19->[](p119->p19))/\(~p19->[](p119->~p19)))))/\(p120->((p20->[](p120->p20))/\(~p20->[](p120->~p20)))))/\(p121->((p21->[](p121->p21))/\(~p21->[](p121->~p21))))))/\((((((((((((((((((((((p100/\~p101)->(<>((p101/\~p102)/\p1)/\<>((p101/\~p102)/\~p1)))/\((p101/\~p102)->(<>((p102/\~p103)/\p2)/\<>((p102/\~p103)/\~p2))))/\((p102/\~p103)->(<>((p103/\~p104)/\p3)/\<>((p103/\~p104)/\~p3))))/\((p103/\~p104)->(<>((p104/\~p105)/\p4)/\<>((p104/\~p105)/\~p4))))/\((p104/\~p105)->(<>((p105/\~p106)/\p5)/\<>((p105/\~p106)/\~p5))))/\((p105/\~p106)->(<>((p106/\~p107)/\p6)/\<>((p106/\~p107)/\~p6))))/\((p106/\~p107)->(<>((p107/\~p108)/\p7)/\<>((p107/\~p108)/\~p7))))/\((p107/\~p108)->(<>((p108/\~p109)/\p8)/\<>((p108/\~p109)/\~p8))))/\((p108/\~p109)->(<>((p109/\~p110)/\p9)/\<>((p109/\~p110)/\~p9))))/\((p109/\~p110)->(<>((p110/\~p111)/\p10)/\<>((p110/\~p111)/\~p10))))/\((p110/\~p111)->(<>((p111/\~p112)/\p11)/\<>((p111/\~p112)/\~p11))))/\((p111/\~p112)->(<>((p112/\~p113)/\p12)/\<>((p112/\~p113)/\~p12))))/\((p112/\~p113)->(<>((p113/\~p114)/\p13)/\<>((p113/\~p114)/\~p13))))/\((p113/\~p114)->(<>((p114/\~p115)/\p14)/\<>((p114/\~p115)/\~p14))))/\((p114/\~p115)->(<>((p115/\~p116)/\p15)/\<>((p115/\~p116)/\~p15))))/\((p115/\~p116)->(<>((p116/\~p117)/\p16)/\<>((p116/\~p117)/\~p16))))/\((p116/\~p117)->(<>((p117/\~p118)/\p17)/\<>((p117/\~p118)/\~p17))))/\((p117/\~p118)->(<>((p118/\~p119)/\p18)/\<>((p118/\~p119)/\~p18))))/\((p118/\~p119)->(<>((p119/\~p120)/\p19)/\<>((p119/\~p120)/\~p19))))/\((p119/\~p120)->(<>((p120/\~p121)/\p20)/\<>((p120/\~p121)/\~p20))))/\((p120/\~p121)->(<>((p121/\~p122)/\p21)/\<>((p121/\~p122)/\~p21))))))/\[][][][][][][][][][][][][][][][][][][][][]((((((((((((((((((((((((p101->p100)/\(p102->p101))/\(p103->p102))/\(p104->p103))/\(p105->p104))/\(p106->p105))/\(p107->p106))/\(p108->p107))/\(p109->p108))/\(p110->p109))/\(p111->p110))/\(p112->p111))/\(p113->p112))/\(p114->p113))/\(p115->p114))/\(p116->p115))/\(p117->p116))/\(p118->p117))/\(p119->p118))/\(p120->p119))/\(p121->p120))/\(p122->p121))/\((((((((((((((((((((((p100->((p0->[](p100->p0))/\(~p0->[](p100->~p0))))/\(p101->((p1->[](p101->p1))/\(~p1->[](p101->~p1)))))/\(p102->((p2->[](p102->p2))/\(~p2->[](p102->~p2)))))/\(p103->((p3->[](p103->p3))/\(~p3->[](p103->~p3)))))/\(p104->((p4->[](p104->p4))/\(~p4->[](p104->~p4)))))/\(p105->((p5->[](p105->p5))/\(~p5->[](p105->~p5)))))/\(p106->((p6->[](p106->p6))/\(~p6->[](p106->~p6)))))/\(p107->((p7->[](p107->p7))/\(~p7->[](p107->~p7)))))/\(p108->((p8->[](p108->p8))/\(~p8->[](p108->~p8)))))/\(p109->((p9->[](p109->p9))/\(~p9->[](p109->~p9)))))/\(p110->((p10->[](p110->p10))/\(~p10->[](p110->~p10)))))/\(p111->((p11->[](p111->p11))/\(~p11->[](p111->~p11)))))/\(p112->((p12->[](p112->p12))/\(~p12->[](p112->~p12)))))/\(p113->((p13->[](p113->p13))/\(~p13->[](p113->~p13)))))/\(p114->((p14->[](p114->p14))/\(~p14->[](p114->~p14)))))/\(p115->((p15->[](p115->p15))/\(~p15->[](p115->~p15)))))/\(p116->((p16->[](p116->p16))/\(~p16->[](p116->~p16)))))/\(p117->((p17->[](p117->p17))/\(~p17->[](p117->~p17)))))/\(p118->((p18->[](p118->p18))/\(~p18->[](p118->~p18)))))/\(p119->((p19->[](p119->p19))/\(~p19->[](p119->~p19)))))/\(p120->((p20->[](p120->p20))/\(~p20->[](p120->~p20)))))/\(p121->((p21->[](p121->p21))/\(~p21->[](p121->~p21))))))/\((((((((((((((((((((((p100/\~p101)->(<>((p101/\~p102)/\p1)/\<>((p101/\~p102)/\~p1)))/\((p101/\~p102)->(<>((p102/\~p103)/\p2)/\<>((p102/\~p103)/\~p2))))/\((p102/\~p103)->(<>((p103/\~p104)/\p3)/\<>((p103/\~p104)/\~p3))))/\((p103/\~p104)->(<>((p104/\~p105)/\p4)/\<>((p104/\~p105)/\~p4))))/\((p104/\~p105)->(<>((p105/\~p106)/\p5)/\<>((p105/\~p106)/\~p5))))/\((p105/\~p106)->(<>((p106/\~p107)/\p6)/\<>((p106/\~p107)/\~p6))))/\((p106/\~p107)->(<>((p107/\~p108)/\p7)/\<>((p107/\~p108)/\~p7))))/\((p107/\~p108)->(<>((p108/\~p109)/\p8)/\<>((p108/\~p109)/\~p8))))/\((p108/\~p109)->(<>((p109/\~p110)/\p9)/\<>((p109/\~p110)/\~p9))))/\((p109/\~p110)->(<>((p110/\~p111)/\p10)/\<>((p110/\~p111)/\~p10))))/\((p110/\~p111)->(<>((p111/\~p112)/\p11)/\<>((p111/\~p112)/\~p11))))/\((p111/\~p112)->(<>((p112/\~p113)/\p12)/\<>((p112/\~p113)/\~p12))))/\((p112/\~p113)->(<>((p113/\~p114)/\p13)/\<>((p113/\~p114)/\~p13))))/\((p113/\~p114)->(<>((p114/\~p115)/\p14)/\<>((p114/\~p115)/\~p14))))/\((p114/\~p115)->(<>((p115/\~p116)/\p15)/\<>((p115/\~p116)/\~p15))))/\((p115/\~p116)->(<>((p116/\~p117)/\p16)/\<>((p116/\~p117)/\~p16))))/\((p116/\~p117)->(<>((p117/\~p118)/\p17)/\<>((p117/\~p118)/\~p17))))/\((p117/\~p118)->(<>((p118/\~p119)/\p18)/\<>((p118/\~p119)/\~p18))))/\((p118/\~p119)->(<>((p119/\~p120)/\p19)/\<>((p119/\~p120)/\~p19))))/\((p119/\~p120)->(<>((p120/\~p121)/\p20)/\<>((p120/\~p121)/\~p20))))/\((p120/\~p121)->(<>((p121/\~p122)/\p21)/\<>((p121/\~p122)/\~p21)))))))