e8eb2b9d68adc3024eb1aa9899b902ed5a3fb460Christian Maeder~((p100/\~p101)/\(((((((((((((((((((((((p101->p100)/\(p102->p101))/\(p103->p102))/\(p104->p103))/\(p105->p104))/\(p106->p105))/\(p107->p106))/\(p108->p107))/\(p109->p108))/\(p110->p109))/\(p111->p110))/\(((((((((((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))))))/\(((((((((((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)))))/\[](((((((((((((p101->p100)/\(p102->p101))/\(p103->p102))/\(p104->p103))/\(p105->p104))/\(p106->p105))/\(p107->p106))/\(p108->p107))/\(p109->p108))/\(p110->p109))/\(p111->p110))/\(((((((((((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))))))/\(((((((((((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))))))/\[][](((((((((((((p101->p100)/\(p102->p101))/\(p103->p102))/\(p104->p103))/\(p105->p104))/\(p106->p105))/\(p107->p106))/\(p108->p107))/\(p109->p108))/\(p110->p109))/\(p111->p110))/\(((((((((((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))))))/\(((((((((((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))))))/\[][][](((((((((((((p101->p100)/\(p102->p101))/\(p103->p102))/\(p104->p103))/\(p105->p104))/\(p106->p105))/\(p107->p106))/\(p108->p107))/\(p109->p108))/\(p110->p109))/\(p111->p110))/\(((((((((((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))))))/\(((((((((((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))))))/\[][][][](((((((((((((p101->p100)/\(p102->p101))/\(p103->p102))/\(p104->p103))/\(p105->p104))/\(p106->p105))/\(p107->p106))/\(p108->p107))/\(p109->p108))/\(p110->p109))/\(p111->p110))/\(((((((((((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))))))/\(((((((((((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))))))/\[][][][][](((((((((((((p101->p100)/\(p102->p101))/\(p103->p102))/\(p104->p103))/\(p105->p104))/\(p106->p105))/\(p107->p106))/\(p108->p107))/\(p109->p108))/\(p110->p109))/\(p111->p110))/\(((((((((((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))))))/\(((((((((((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))))))/\[][][][][][](((((((((((((p101->p100)/\(p102->p101))/\(p103->p102))/\(p104->p103))/\(p105->p104))/\(p106->p105))/\(p107->p106))/\(p108->p107))/\(p109->p108))/\(p110->p109))/\(p111->p110))/\(((((((((((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))))))/\(((((((((((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))))))/\[][][][][][][](((((((((((((p101->p100)/\(p102->p101))/\(p103->p102))/\(p104->p103))/\(p105->p104))/\(p106->p105))/\(p107->p106))/\(p108->p107))/\(p109->p108))/\(p110->p109))/\(p111->p110))/\(((((((((((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))))))/\(((((((((((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))))))/\[][][][][][][][](((((((((((((p101->p100)/\(p102->p101))/\(p103->p102))/\(p104->p103))/\(p105->p104))/\(p106->p105))/\(p107->p106))/\(p108->p107))/\(p109->p108))/\(p110->p109))/\(p111->p110))/\(((((((((((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))))))/\(((((((((((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))))))/\[][][][][][][][][](((((((((((((p101->p100)/\(p102->p101))/\(p103->p102))/\(p104->p103))/\(p105->p104))/\(p106->p105))/\(p107->p106))/\(p108->p107))/\(p109->p108))/\(p110->p109))/\(p111->p110))/\(((((((((((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))))))/\(((((((((((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))))))/\[][][][][][][][][][](((((((((((((p101->p100)/\(p102->p101))/\(p103->p102))/\(p104->p103))/\(p105->p104))/\(p106->p105))/\(p107->p106))/\(p108->p107))/\(p109->p108))/\(p110->p109))/\(p111->p110))/\(((((((((((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))))))/\(((((((((((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)))))))