BMF Display

start trace

after applying start

( + . (+.(!.(id.²π₁.²π₁,²π₂)^o,!.(id.²π₁.²π₁,-.(²π₂,1)^o)^o)^o,!.(id.²π₁.²π₁,+.(²π₂,1)^o)^o)^o )* . distl . (id,²π₂)^o . id . (id,(+.(²π₂,1)^o)*.distl.(id,iota.-.(#.id,2)^o)^o)^o . id . id . id

after applying RemoveIds1

( + . (+.(!.(²π₁.²π₁,²π₂)^o,!.(id.²π₁.²π₁,-.(²π₂,1)^o)^o)^o,!.(id.²π₁.²π₁,+.(²π₂,1)^o)^o)^o )* . distl . (id,²π₂)^o . id . (id,(+.(²π₂,1)^o)*.distl.(id,iota.-.(#.id,2)^o)^o)^o . id . id . id

after applying RemoveIds1

( + . (+.(!.(²π₁.²π₁,²π₂)^o,!.(²π₁.²π₁,-.(²π₂,1)^o)^o)^o,!.(id.²π₁.²π₁,+.(²π₂,1)^o)^o)^o )* . distl . (id,²π₂)^o . id . (id,(+.(²π₂,1)^o)*.distl.(id,iota.-.(#.id,2)^o)^o)^o . id . id . id

after applying RemoveIds1

( + . (+.(!.(²π₁.²π₁,²π₂)^o,!.(²π₁.²π₁,-.(²π₂,1)^o)^o)^o,!.(²π₁.²π₁,+.(²π₂,1)^o)^o)^o )* . distl . (id,²π₂)^o . id . (id,(+.(²π₂,1)^o)*.distl.(id,iota.-.(#.id,2)^o)^o)^o . id . id . id

after applying MapIntoComp

( + )* . ( (+.(!.(²π₁.²π₁,²π₂)^o,!.(²π₁.²π₁,-.(²π₂,1)^o)^o)^o,!.(²π₁.²π₁,+.(²π₂,1)^o)^o)^o )* . distl . (id,²π₂)^o . id . (id,(+.(²π₂,1)^o)*.distl.(id,iota.-.(#.id,2)^o)^o)^o . id . id . id

after applying MapIntoAlltup

( + )* . zip₂ . ((+.(!.(²π₁.²π₁,²π₂)^o,!.(²π₁.²π₁,-.(²π₂,1)^o)^o)^o)*,(!.(²π₁.²π₁,+.(²π₂,1)^o)^o)*)^o . distl . (id,²π₂)^o . id . (id,(+.(²π₂,1)^o)*.distl.(id,iota.-.(#.id,2)^o)^o)^o . id . id . id

after applying MapIntoComp

( + )* . zip₂ . ((+)*.((!.(²π₁.²π₁,²π₂)^o,!.(²π₁.²π₁,-.(²π₂,1)^o)^o)^o)*,(!.(²π₁.²π₁,+.(²π₂,1)^o)^o)*)^o . distl . (id,²π₂)^o . id . (id,(+.(²π₂,1)^o)*.distl.(id,iota.-.(#.id,2)^o)^o)^o . id . id . id

after applying MapIntoAlltup

( + )* . zip₂ . ((+)*.zip₂.((!.(²π₁.²π₁,²π₂)^o)*,(!.(²π₁.²π₁,-.(²π₂,1)^o)^o)*)^o,(!.(²π₁.²π₁,+.(²π₂,1)^o)^o)*)^o . distl . (id,²π₂)^o . id . (id,(+.(²π₂,1)^o)*.distl.(id,iota.-.(#.id,2)^o)^o)^o . id . id . id

after applying MapIntoComp

( + )* . zip₂ . ((+)*.zip₂.((!)*.((²π₁.²π₁,²π₂)^o)*,(!.(²π₁.²π₁,-.(²π₂,1)^o)^o)*)^o,(!.(²π₁.²π₁,+.(²π₂,1)^o)^o)*)^o . distl . (id,²π₂)^o . id . (id,(+.(²π₂,1)^o)*.distl.(id,iota.-.(#.id,2)^o)^o)^o . id . id . id

after applying MapIntoAlltup

( + )* . zip₂ . ((+)*.zip₂.((!)*.zip₂.((²π₁.²π₁)*,(²π₂)*)^o,(!.(²π₁.²π₁,-.(²π₂,1)^o)^o)*)^o,(!.(²π₁.²π₁,+.(²π₂,1)^o)^o)*)^o . distl . (id,²π₂)^o . id . (id,(+.(²π₂,1)^o)*.distl.(id,iota.-.(#.id,2)^o)^o)^o . id . id . id

after applying MapIntoComp

( + )* . zip₂ . ((+)*.zip₂.((!)*.zip₂.((²π₁)*.(²π₁)*,(²π₂)*)^o,(!.(²π₁.²π₁,-.(²π₂,1)^o)^o)*)^o,(!.(²π₁.²π₁,+.(²π₂,1)^o)^o)*)^o . distl . (id,²π₂)^o . id . (id,(+.(²π₂,1)^o)*.distl.(id,iota.-.(#.id,2)^o)^o)^o . id . id . id

after applying MapIntoComp

( + )* . zip₂ . ((+)*.zip₂.((!)*.zip₂.((²π₁)*.(²π₁)*,(²π₂)*)^o,(!)*.((²π₁.²π₁,-.(²π₂,1)^o)^o)*)^o,(!.(²π₁.²π₁,+.(²π₂,1)^o)^o)*)^o . distl . (id,²π₂)^o . id . (id,(+.(²π₂,1)^o)*.distl.(id,iota.-.(#.id,2)^o)^o)^o . id . id . id

after applying MapIntoAlltup

( + )* . zip₂ . ((+)*.zip₂.((!)*.zip₂.((²π₁)*.(²π₁)*,(²π₂)*)^o,(!)*.zip₂.((²π₁.²π₁)*,(-.(²π₂,1)^o)*)^o)^o,(!.(²π₁.²π₁,+.(²π₂,1)^o)^o)*)^o . distl . (id,²π₂)^o . id . (id,(+.(²π₂,1)^o)*.distl.(id,iota.-.(#.id,2)^o)^o)^o . id . id . id

after applying MapIntoComp

( + )* . zip₂ . ((+)*.zip₂.((!)*.zip₂.((²π₁)*.(²π₁)*,(²π₂)*)^o,(!)*.zip₂.((²π₁)*.(²π₁)*,(-.(²π₂,1)^o)*)^o)^o,(!.(²π₁.²π₁,+.(²π₂,1)^o)^o)*)^o . distl . (id,²π₂)^o . id . (id,(+.(²π₂,1)^o)*.distl.(id,iota.-.(#.id,2)^o)^o)^o . id . id . id

after applying MapIntoComp

( + )* . zip₂ . ((+)*.zip₂.((!)*.zip₂.((²π₁)*.(²π₁)*,(²π₂)*)^o,(!)*.zip₂.((²π₁)*.(²π₁)*,(-)*.((²π₂,1)^o)*)^o)^o,(!.(²π₁.²π₁,+.(²π₂,1)^o)^o)*)^o . distl . (id,²π₂)^o . id . (id,(+.(²π₂,1)^o)*.distl.(id,iota.-.(#.id,2)^o)^o)^o . id . id . id

after applying MapIntoAlltup

( + )* . zip₂ . ((+)*.zip₂.((!)*.zip₂.((²π₁)*.(²π₁)*,(²π₂)*)^o,(!)*.zip₂.((²π₁)*.(²π₁)*,(-)*.zip₂.((²π₂)*,(1)*)^o)^o)^o,(!.(²π₁.²π₁,+.(²π₂,1)^o)^o)*)^o . distl . (id,²π₂)^o . id . (id,(+.(²π₂,1)^o)*.distl.(id,iota.-.(#.id,2)^o)^o)^o . id . id . id

after applying MapIntoComp

( + )* . zip₂ . ((+)*.zip₂.((!)*.zip₂.((²π₁)*.(²π₁)*,(²π₂)*)^o,(!)*.zip₂.((²π₁)*.(²π₁)*,(-)*.zip₂.((²π₂)*,(1)*)^o)^o)^o,(!)*.((²π₁.²π₁,+.(²π₂,1)^o)^o)*)^o . distl . (id,²π₂)^o . id . (id,(+.(²π₂,1)^o)*.distl.(id,iota.-.(#.id,2)^o)^o)^o . id . id . id

after applying MapIntoAlltup

( + )* . zip₂ . ((+)*.zip₂.((!)*.zip₂.((²π₁)*.(²π₁)*,(²π₂)*)^o,(!)*.zip₂.((²π₁)*.(²π₁)*,(-)*.zip₂.((²π₂)*,(1)*)^o)^o)^o,(!)*.zip₂.((²π₁.²π₁)*,(+.(²π₂,1)^o)*)^o)^o . distl . (id,²π₂)^o . id . (id,(+.(²π₂,1)^o)*.distl.(id,iota.-.(#.id,2)^o)^o)^o . id . id . id

after applying MapIntoComp

( + )* . zip₂ . ((+)*.zip₂.((!)*.zip₂.((²π₁)*.(²π₁)*,(²π₂)*)^o,(!)*.zip₂.((²π₁)*.(²π₁)*,(-)*.zip₂.((²π₂)*,(1)*)^o)^o)^o,(!)*.zip₂.((²π₁)*.(²π₁)*,(+.(²π₂,1)^o)*)^o)^o . distl . (id,²π₂)^o . id . (id,(+.(²π₂,1)^o)*.distl.(id,iota.-.(#.id,2)^o)^o)^o . id . id . id

after applying MapIntoComp

( + )* . zip₂ . ((+)*.zip₂.((!)*.zip₂.((²π₁)*.(²π₁)*,(²π₂)*)^o,(!)*.zip₂.((²π₁)*.(²π₁)*,(-)*.zip₂.((²π₂)*,(1)*)^o)^o)^o,(!)*.zip₂.((²π₁)*.(²π₁)*,(+)*.((²π₂,1)^o)*)^o)^o . distl . (id,²π₂)^o . id . (id,(+.(²π₂,1)^o)*.distl.(id,iota.-.(#.id,2)^o)^o)^o . id . id . id

after applying MapIntoAlltup

( + )* . zip₂ . ((+)*.zip₂.((!)*.zip₂.((²π₁)*.(²π₁)*,(²π₂)*)^o,(!)*.zip₂.((²π₁)*.(²π₁)*,(-)*.zip₂.((²π₂)*,(1)*)^o)^o)^o,(!)*.zip₂.((²π₁)*.(²π₁)*,(+)*.zip₂.((²π₂)*,(1)*)^o)^o)^o . distl . (id,²π₂)^o . id . (id,(+.(²π₂,1)^o)*.distl.(id,iota.-.(#.id,2)^o)^o)^o . id . id . id

after applying LeftAssociate

after applying ConRepeat

( + )* . zip₂ . ((+)*.zip₂.((!)*.zip₂.((²π₁)*.(²π₁)*,(²π₂)*)^o,(!)*.zip₂.((²π₁)*.(²π₁)*,(-)*.zip₂.((²π₂)*,repeat.(1,#)^o)^o)^o)^o,(!)*.zip₂.((²π₁)*.(²π₁)*,(+)*.zip₂.((²π₂)*,(1)*)^o)^o)^o . distl . (id,²π₂)^o . id . (id,(+.(²π₂,1)^o)*.distl.(id,iota.-.(#.id,2)^o)^o)^o . id . id . id

after applying ConRepeat

( + )* . zip₂ . ((+)*.zip₂.((!)*.zip₂.((²π₁)*.(²π₁)*,(²π₂)*)^o,(!)*.zip₂.((²π₁)*.(²π₁)*,(-)*.zip₂.((²π₂)*,repeat.(1,#)^o)^o)^o)^o,(!)*.zip₂.((²π₁)*.(²π₁)*,(+)*.zip₂.((²π₂)*,repeat.(1,#)^o)^o)^o)^o . distl . (id,²π₂)^o . id . (id,(+.(²π₂,1)^o)*.distl.(id,iota.-.(#.id,2)^o)^o)^o . id . id . id

after applying CompIntoMap

( + )* . zip₂ . ((+)*.zip₂.((!)*.zip₂.((²π₁.²π₁)*,(²π₂)*)^o,(!)*.zip₂.((²π₁)*.(²π₁)*,(-)*.zip₂.((²π₂)*,repeat.(1,#)^o)^o)^o)^o,(!)*.zip₂.((²π₁)*.(²π₁)*,(+)*.zip₂.((²π₂)*,repeat.(1,#)^o)^o)^o)^o . distl . (id,²π₂)^o . id . (id,(+.(²π₂,1)^o)*.distl.(id,iota.-.(#.id,2)^o)^o)^o . id . id . id

after applying CompIntoMap

( + )* . zip₂ . ((+)*.zip₂.((!)*.zip₂.((²π₁.²π₁)*,(²π₂)*)^o,(!)*.zip₂.((²π₁.²π₁)*,(-)*.zip₂.((²π₂)*,repeat.(1,#)^o)^o)^o)^o,(!)*.zip₂.((²π₁)*.(²π₁)*,(+)*.zip₂.((²π₂)*,repeat.(1,#)^o)^o)^o)^o . distl . (id,²π₂)^o . id . (id,(+.(²π₂,1)^o)*.distl.(id,iota.-.(#.id,2)^o)^o)^o . id . id . id

after applying CompIntoMap

( + )* . zip₂ . ((+)*.zip₂.((!)*.zip₂.((²π₁.²π₁)*,(²π₂)*)^o,(!)*.zip₂.((²π₁.²π₁)*,(-)*.zip₂.((²π₂)*,repeat.(1,#)^o)^o)^o)^o,(!)*.zip₂.((²π₁.²π₁)*,(+)*.zip₂.((²π₂)*,repeat.(1,#)^o)^o)^o)^o . distl . (id,²π₂)^o . id . (id,(+.(²π₂,1)^o)*.distl.(id,iota.-.(#.id,2)^o)^o)^o . id . id . id

after applying MapIntoComp

( + )* . zip₂ . ((+)*.zip₂.((!)*.zip₂.((²π₁)*.(²π₁)*,(²π₂)*)^o,(!)*.zip₂.((²π₁.²π₁)*,(-)*.zip₂.((²π₂)*,repeat.(1,#)^o)^o)^o)^o,(!)*.zip₂.((²π₁.²π₁)*,(+)*.zip₂.((²π₂)*,repeat.(1,#)^o)^o)^o)^o . distl . (id,²π₂)^o . id . (id,(+.(²π₂,1)^o)*.distl.(id,iota.-.(#.id,2)^o)^o)^o . id . id . id

after applying MapIntoComp

( + )* . zip₂ . ((+)*.zip₂.((!)*.zip₂.((²π₁)*.(²π₁)*,(²π₂)*)^o,(!)*.zip₂.((²π₁)*.(²π₁)*,(-)*.zip₂.((²π₂)*,repeat.(1,#)^o)^o)^o)^o,(!)*.zip₂.((²π₁.²π₁)*,(+)*.zip₂.((²π₂)*,repeat.(1,#)^o)^o)^o)^o . distl . (id,²π₂)^o . id . (id,(+.(²π₂,1)^o)*.distl.(id,iota.-.(#.id,2)^o)^o)^o . id . id . id

after applying MapIntoComp

( + )* . zip₂ . ((+)*.zip₂.((!)*.zip₂.((²π₁)*.(²π₁)*,(²π₂)*)^o,(!)*.zip₂.((²π₁)*.(²π₁)*,(-)*.zip₂.((²π₂)*,repeat.(1,#)^o)^o)^o)^o,(!)*.zip₂.((²π₁)*.(²π₁)*,(+)*.zip₂.((²π₂)*,repeat.(1,#)^o)^o)^o)^o . distl . (id,²π₂)^o . id . (id,(+.(²π₂,1)^o)*.distl.(id,iota.-.(#.id,2)^o)^o)^o . id . id . id

after applying DistlElim

( + )* . zip₂ . ((+)*.zip₂.((!)*.zip₂.((²π₁)*.(²π₁)*,(²π₂)*)^o,(!)*.zip₂.((²π₁)*.(²π₁)*,(-)*.zip₂.((²π₂)*,repeat.(1,#)^o)^o)^o)^o,(!)*.zip₂.((²π₁)*.(²π₁)*,(+)*.zip₂.((²π₂)*,repeat.(1,#)^o)^o)^o)^o . zip₂ . (repeat.(²π₁,#.²π₂)^o,²π₂)^o . (id,²π₂)^o . id . (id,(+.(²π₂,1)^o)*.distl.(id,iota.-.(#.id,2)^o)^o)^o . id . id . id

after applying LeftAssociate

( + )* . zip₂ . ((+)*.zip₂.((!)*.zip₂.((²π₁)*.(²π₁)*,(²π₂)*)^o,(!)*.zip₂.((²π₁)*.(²π₁)*,(-)*.zip₂.((²π₂)*,repeat.(1,#)^o)^o)^o)^o,(!)*.zip₂.((²π₁)*.(²π₁)*,(+)*.zip₂.((²π₂)*,repeat.(1,#)^o)^o)^o)^o . zip₂ . (repeat.(²π₁,#.²π₂)^o,²π₂)^o . (id,²π₂)^o . id . (id,(+.(²π₂,1)^o)*.distl.(id,iota.-.(#.id,2)^o)^o)^o . id . id . id

after applying CompIntoMap

( + )* . zip₂ . ((+)*.zip₂.((!)*.zip₂.((²π₁.²π₁)*,(²π₂)*)^o,(!)*.zip₂.((²π₁)*.(²π₁)*,(-)*.zip₂.((²π₂)*,repeat.(1,#)^o)^o)^o)^o,(!)*.zip₂.((²π₁)*.(²π₁)*,(+)*.zip₂.((²π₂)*,repeat.(1,#)^o)^o)^o)^o . zip₂ . (repeat.(²π₁,#.²π₂)^o,²π₂)^o . (id,²π₂)^o . id . (id,(+.(²π₂,1)^o)*.distl.(id,iota.-.(#.id,2)^o)^o)^o . id . id . id

after applying CompIntoMap

( + )* . zip₂ . ((+)*.zip₂.((!)*.zip₂.((²π₁.²π₁)*,(²π₂)*)^o,(!)*.zip₂.((²π₁.²π₁)*,(-)*.zip₂.((²π₂)*,repeat.(1,#)^o)^o)^o)^o,(!)*.zip₂.((²π₁)*.(²π₁)*,(+)*.zip₂.((²π₂)*,repeat.(1,#)^o)^o)^o)^o . zip₂ . (repeat.(²π₁,#.²π₂)^o,²π₂)^o . (id,²π₂)^o . id . (id,(+.(²π₂,1)^o)*.distl.(id,iota.-.(#.id,2)^o)^o)^o . id . id . id

after applying CompIntoMap

( + )* . zip₂ . ((+)*.zip₂.((!)*.zip₂.((²π₁.²π₁)*,(²π₂)*)^o,(!)*.zip₂.((²π₁.²π₁)*,(-)*.zip₂.((²π₂)*,repeat.(1,#)^o)^o)^o)^o,(!)*.zip₂.((²π₁.²π₁)*,(+)*.zip₂.((²π₂)*,repeat.(1,#)^o)^o)^o)^o . zip₂ . (repeat.(²π₁,#.²π₂)^o,²π₂)^o . (id,²π₂)^o . id . (id,(+.(²π₂,1)^o)*.distl.(id,iota.-.(#.id,2)^o)^o)^o . id . id . id

after applying RightAssoc2

( + )* . zip₂ . ((+)*.zip₂.((!)*.zip₂.((²π₁.²π₁)*,(²π₂)*)^o,(!)*.zip₂.((²π₁.²π₁)*,(-)*.zip₂.((²π₂)*,repeat.(1,#)^o)^o)^o)^o,(!)*.zip₂.((²π₁.²π₁)*,(+)*.zip₂.((²π₂)*,repeat.(1,#)^o)^o)^o)^o . zip₂ . (repeat.(²π₁,#.²π₂)^o,²π₂)^o . (id,²π₂)^o . id . (id,(+.(²π₂,1)^o)*.distl.(id,iota.-.(#.id,2)^o)^o)^o . id . id . id

after applying CompIntoAlltup1

( + )* . zip₂ . ((+)*.zip₂.((!)*.zip₂.((²π₁.²π₁)*,(²π₂)*)^o,(!)*.zip₂.((²π₁.²π₁)*,(-)*.zip₂.((²π₂)*,repeat.(1,#)^o)^o)^o)^o.zip₂,(!)*.zip₂.((²π₁.²π₁)*,(+)*.zip₂.((²π₂)*,repeat.(1,#)^o)^o)^o.zip₂)^o . (repeat.(²π₁,#.²π₂)^o,²π₂)^o . (id,²π₂)^o . id . (id,(+.(²π₂,1)^o)*.distl.(id,iota.-.(#.id,2)^o)^o)^o . id . id . id

after applying RightAssoc2

after applying CompIntoAlltup1

( + )* . zip₂ . ((+)*.zip₂.((!)*.zip₂.((²π₁.²π₁)*,(²π₂)*)^o.zip₂,(!)*.zip₂.((²π₁.²π₁)*,(-)*.zip₂.((²π₂)*,repeat.(1,#)^o)^o)^o.zip₂)^o,(!)*.zip₂.((²π₁.²π₁)*,(+)*.zip₂.((²π₂)*,repeat.(1,#)^o)^o)^o.zip₂)^o . (repeat.(²π₁,#.²π₂)^o,²π₂)^o . (id,²π₂)^o . id . (id,(+.(²π₂,1)^o)*.distl.(id,iota.-.(#.id,2)^o)^o)^o . id . id . id

after applying RightAssoc2

after applying CompIntoAlltup1

( + )* . zip₂ . ((+)*.zip₂.((!)*.zip₂.((²π₁.²π₁)*.zip₂,(²π₂)*.zip₂)^o,(!)*.zip₂.((²π₁.²π₁)*,(-)*.zip₂.((²π₂)*,repeat.(1,#)^o)^o)^o.zip₂)^o,(!)*.zip₂.((²π₁.²π₁)*,(+)*.zip₂.((²π₂)*,repeat.(1,#)^o)^o)^o.zip₂)^o . (repeat.(²π₁,#.²π₂)^o,²π₂)^o . (id,²π₂)^o . id . (id,(+.(²π₂,1)^o)*.distl.(id,iota.-.(#.id,2)^o)^o)^o . id . id . id

after applying RightAssoc2

after applying CompIntoAlltup1

( + )* . zip₂ . ((+)*.zip₂.((!)*.zip₂.((²π₁.²π₁)*.zip₂,(²π₂)*.zip₂)^o,(!)*.zip₂.((²π₁.²π₁)*.zip₂,(-)*.zip₂.((²π₂)*,repeat.(1,#)^o)^o.zip₂)^o)^o,(!)*.zip₂.((²π₁.²π₁)*,(+)*.zip₂.((²π₂)*,repeat.(1,#)^o)^o)^o.zip₂)^o . (repeat.(²π₁,#.²π₂)^o,²π₂)^o . (id,²π₂)^o . id . (id,(+.(²π₂,1)^o)*.distl.(id,iota.-.(#.id,2)^o)^o)^o . id . id . id

after applying RightAssoc2

after applying CompIntoAlltup1

( + )* . zip₂ . ((+)*.zip₂.((!)*.zip₂.((²π₁.²π₁)*.zip₂,(²π₂)*.zip₂)^o,(!)*.zip₂.((²π₁.²π₁)*.zip₂,(-)*.zip₂.((²π₂)*.zip₂,repeat.(1,#)^o.zip₂)^o)^o)^o,(!)*.zip₂.((²π₁.²π₁)*,(+)*.zip₂.((²π₂)*,repeat.(1,#)^o)^o)^o.zip₂)^o . (repeat.(²π₁,#.²π₂)^o,²π₂)^o . (id,²π₂)^o . id . (id,(+.(²π₂,1)^o)*.distl.(id,iota.-.(#.id,2)^o)^o)^o . id . id . id

after applying RightAssoc2

after applying CompIntoAlltup1

( + )* . zip₂ . ((+)*.zip₂.((!)*.zip₂.((²π₁.²π₁)*.zip₂,(²π₂)*.zip₂)^o,(!)*.zip₂.((²π₁.²π₁)*.zip₂,(-)*.zip₂.((²π₂)*.zip₂,repeat.(1.zip₂,#.zip₂)^o)^o)^o)^o,(!)*.zip₂.((²π₁.²π₁)*,(+)*.zip₂.((²π₂)*,repeat.(1,#)^o)^o)^o.zip₂)^o . (repeat.(²π₁,#.²π₂)^o,²π₂)^o . (id,²π₂)^o . id . (id,(+.(²π₂,1)^o)*.distl.(id,iota.-.(#.id,2)^o)^o)^o . id . id . id

after applying RightAssoc2

after applying CompIntoAlltup1

( + )* . zip₂ . ((+)*.zip₂.((!)*.zip₂.((²π₁.²π₁)*.zip₂,(²π₂)*.zip₂)^o,(!)*.zip₂.((²π₁.²π₁)*.zip₂,(-)*.zip₂.((²π₂)*.zip₂,repeat.(1.zip₂,#.zip₂)^o)^o)^o)^o,(!)*.zip₂.((²π₁.²π₁)*.zip₂,(+)*.zip₂.((²π₂)*,repeat.(1,#)^o)^o.zip₂)^o)^o . (repeat.(²π₁,#.²π₂)^o,²π₂)^o . (id,²π₂)^o . id . (id,(+.(²π₂,1)^o)*.distl.(id,iota.-.(#.id,2)^o)^o)^o . id . id . id

after applying RightAssoc2

( + )* . zip₂ . ((+)*.zip₂.((!)*.zip₂.((²π₁.²π₁)*.zip₂,(²π₂)*.zip₂)^o,(!)*.zip₂.((²π₁.²π₁)*.zip₂,(-)*.zip₂.((²π₂)*.zip₂,repeat.(1.zip₂,#.zip₂)^o)^o)^o)^o,(!)*.zip₂.((²π₁.²π₁)*.zip₂,(+)*.zip₂.((²π₂)*,repeat.(1,#)^o)^o.zip₂)^o)^o . (repeat.(²π₁,#.²π₂)^o,²π₂)^o . (id,²π₂)^o . id . (id,(+.(²π₂,1)^o)*.distl.(id,iota.-.(#.id,2)^o)^o)^o . id . id . id

after applying CompIntoAlltup1

( + )* . zip₂ . ((+)*.zip₂.((!)*.zip₂.((²π₁.²π₁)*.zip₂,(²π₂)*.zip₂)^o,(!)*.zip₂.((²π₁.²π₁)*.zip₂,(-)*.zip₂.((²π₂)*.zip₂,repeat.(1.zip₂,#.zip₂)^o)^o)^o)^o,(!)*.zip₂.((²π₁.²π₁)*.zip₂,(+)*.zip₂.((²π₂)*.zip₂,repeat.(1,#)^o.zip₂)^o)^o)^o . (repeat.(²π₁,#.²π₂)^o,²π₂)^o . (id,²π₂)^o . id . (id,(+.(²π₂,1)^o)*.distl.(id,iota.-.(#.id,2)^o)^o)^o . id . id . id

after applying RightAssoc2

( + )* . zip₂ . ((+)*.zip₂.((!)*.zip₂.((²π₁.²π₁)*.zip₂,(²π₂)*.zip₂)^o,(!)*.zip₂.((²π₁.²π₁)*.zip₂,(-)*.zip₂.((²π₂)*.zip₂,repeat.(1.zip₂,#.zip₂)^o)^o)^o)^o,(!)*.zip₂.((²π₁.²π₁)*.zip₂,(+)*.zip₂.((²π₂)*.zip₂,repeat.(1,#)^o.zip₂)^o)^o)^o . (repeat.(²π₁,#.²π₂)^o,²π₂)^o . (id,²π₂)^o . id . (id,(+.(²π₂,1)^o)*.distl.(id,iota.-.(#.id,2)^o)^o)^o . id . id . id

after applying CompIntoAlltup1

( + )* . zip₂ . ((+)*.zip₂.((!)*.zip₂.((²π₁.²π₁)*.zip₂,(²π₂)*.zip₂)^o,(!)*.zip₂.((²π₁.²π₁)*.zip₂,(-)*.zip₂.((²π₂)*.zip₂,repeat.(1.zip₂,#.zip₂)^o)^o)^o)^o,(!)*.zip₂.((²π₁.²π₁)*.zip₂,(+)*.zip₂.((²π₂)*.zip₂,repeat.(1.zip₂,#.zip₂)^o)^o)^o)^o . (repeat.(²π₁,#.²π₂)^o,²π₂)^o . (id,²π₂)^o . id . (id,(+.(²π₂,1)^o)*.distl.(id,iota.-.(#.id,2)^o)^o)^o . id . id . id

after applying RightAssoc2

( + )* . zip₂ . ((+)*.zip₂.((!)*.zip₂.((²π₁.²π₁)*.zip₂,(²π₂)*.zip₂)^o,(!)*.zip₂.((²π₁.²π₁)*.zip₂,(-)*.zip₂.((²π₂)*.zip₂,repeat.(1.zip₂,#.zip₂)^o)^o)^o)^o,(!)*.zip₂.((²π₁.²π₁)*.zip₂,(+)*.zip₂.((²π₂)*.zip₂,repeat.(1.zip₂,#.zip₂)^o)^o)^o)^o . (repeat.(²π₁,#.²π₂)^o,²π₂)^o . (id,²π₂)^o . id . (id,(+.(²π₂,1)^o)*.distl.(id,iota.-.(#.id,2)^o)^o)^o . id . id . id

after applying CompIntoAlltup1

( + )* . zip₂ . ((+)*.zip₂.((!)*.zip₂.((²π₁.²π₁)*.zip₂,(²π₂)*.zip₂)^o,(!)*.zip₂.((²π₁.²π₁)*.zip₂,(-)*.zip₂.((²π₂)*.zip₂,repeat.(1.zip₂,#.zip₂)^o)^o)^o)^o.(repeat.(²π₁,#.²π₂)^o,²π₂)^o,(!)*.zip₂.((²π₁.²π₁)*.zip₂,(+)*.zip₂.((²π₂)*.zip₂,repeat.(1.zip₂,#.zip₂)^o)^o)^o.(repeat.(²π₁,#.²π₂)^o,²π₂)^o)^o . (id,²π₂)^o . id . (id,(+.(²π₂,1)^o)*.distl.(id,iota.-.(#.id,2)^o)^o)^o . id . id . id

after applying RightAssoc2

after applying CompIntoAlltup1

( + )* . zip₂ . ((+)*.zip₂.((!)*.zip₂.((²π₁.²π₁)*.zip₂,(²π₂)*.zip₂)^o.(repeat.(²π₁,#.²π₂)^o,²π₂)^o,(!)*.zip₂.((²π₁.²π₁)*.zip₂,(-)*.zip₂.((²π₂)*.zip₂,repeat.(1.zip₂,#.zip₂)^o)^o)^o.(repeat.(²π₁,#.²π₂)^o,²π₂)^o)^o,(!)*.zip₂.((²π₁.²π₁)*.zip₂,(+)*.zip₂.((²π₂)*.zip₂,repeat.(1.zip₂,#.zip₂)^o)^o)^o.(repeat.(²π₁,#.²π₂)^o,²π₂)^o)^o . (id,²π₂)^o . id . (id,(+.(²π₂,1)^o)*.distl.(id,iota.-.(#.id,2)^o)^o)^o . id . id . id

after applying RightAssoc2

after applying CompIntoAlltup1

( + )* . zip₂ . ((+)*.zip₂.((!)*.zip₂.((²π₁.²π₁)*.zip₂.(repeat.(²π₁,#.²π₂)^o,²π₂)^o,(²π₂)*.zip₂.(repeat.(²π₁,#.²π₂)^o,²π₂)^o)^o,(!)*.zip₂.((²π₁.²π₁)*.zip₂,(-)*.zip₂.((²π₂)*.zip₂,repeat.(1.zip₂,#.zip₂)^o)^o)^o.(repeat.(²π₁,#.²π₂)^o,²π₂)^o)^o,(!)*.zip₂.((²π₁.²π₁)*.zip₂,(+)*.zip₂.((²π₂)*.zip₂,repeat.(1.zip₂,#.zip₂)^o)^o)^o.(repeat.(²π₁,#.²π₂)^o,²π₂)^o)^o . (id,²π₂)^o . id . (id,(+.(²π₂,1)^o)*.distl.(id,iota.-.(#.id,2)^o)^o)^o . id . id . id

after applying RightAssoc2

after applying CompIntoAlltup1

( + )* . zip₂ . ((+)*.zip₂.((!)*.zip₂.((²π₁.²π₁)*.zip₂.(repeat.(²π₁,#.²π₂)^o,²π₂)^o,(²π₂)*.zip₂.(repeat.(²π₁,#.²π₂)^o,²π₂)^o)^o,(!)*.zip₂.((²π₁.²π₁)*.zip₂.(repeat.(²π₁,#.²π₂)^o,²π₂)^o,(-)*.zip₂.((²π₂)*.zip₂,repeat.(1.zip₂,#.zip₂)^o)^o.(repeat.(²π₁,#.²π₂)^o,²π₂)^o)^o)^o,(!)*.zip₂.((²π₁.²π₁)*.zip₂,(+)*.zip₂.((²π₂)*.zip₂,repeat.(1.zip₂,#.zip₂)^o)^o)^o.(repeat.(²π₁,#.²π₂)^o,²π₂)^o)^o . (id,²π₂)^o . id . (id,(+.(²π₂,1)^o)*.distl.(id,iota.-.(#.id,2)^o)^o)^o . id . id . id

after applying RightAssoc2

after applying CompIntoAlltup1

( + )* . zip₂ . ((+)*.zip₂.((!)*.zip₂.((²π₁.²π₁)*.zip₂.(repeat.(²π₁,#.²π₂)^o,²π₂)^o,(²π₂)*.zip₂.(repeat.(²π₁,#.²π₂)^o,²π₂)^o)^o,(!)*.zip₂.((²π₁.²π₁)*.zip₂.(repeat.(²π₁,#.²π₂)^o,²π₂)^o,(-)*.zip₂.((²π₂)*.zip₂.(repeat.(²π₁,#.²π₂)^o,²π₂)^o,repeat.(1.zip₂,#.zip₂)^o.(repeat.(²π₁,#.²π₂)^o,²π₂)^o)^o)^o)^o,(!)*.zip₂.((²π₁.²π₁)*.zip₂,(+)*.zip₂.((²π₂)*.zip₂,repeat.(1.zip₂,#.zip₂)^o)^o)^o.(repeat.(²π₁,#.²π₂)^o,²π₂)^o)^o . (id,²π₂)^o . id . (id,(+.(²π₂,1)^o)*.distl.(id,iota.-.(#.id,2)^o)^o)^o . id . id . id

after applying RightAssoc2

( + )* . zip₂ . ((+)*.zip₂.((!)*.zip₂.((²π₁.²π₁)*.zip₂.(repeat.(²π₁,#.²π₂)^o,²π₂)^o,(²π₂)*.zip₂.(repeat.(²π₁,#.²π₂)^o,²π₂)^o)^o,(!)*.zip₂.((²π₁.²π₁)*.zip₂.(repeat.(²π₁,#.²π₂)^o,²π₂)^o,(-)*.zip₂.((²π₂)*.zip₂.(repeat.(²π₁,#.²π₂)^o,²π₂)^o,repeat.(1.zip₂,#.zip₂)^o.(repeat.(²π₁,#.²π₂)^o,²π₂)^o)^o)^o)^o,(!)*.zip₂.((²π₁.²π₁)*.zip₂,(+)*.zip₂.((²π₂)*.zip₂,repeat.(1.zip₂,#.zip₂)^o)^o)^o.(repeat.(²π₁,#.²π₂)^o,²π₂)^o)^o . (id,²π₂)^o . id . (id,(+.(²π₂,1)^o)*.distl.(id,iota.-.(#.id,2)^o)^o)^o . id . id . id

after applying CompIntoAlltup1

( + )* . zip₂ . ((+)*.zip₂.((!)*.zip₂.((²π₁.²π₁)*.zip₂.(repeat.(²π₁,#.²π₂)^o,²π₂)^o,(²π₂)*.zip₂.(repeat.(²π₁,#.²π₂)^o,²π₂)^o)^o,(!)*.zip₂.((²π₁.²π₁)*.zip₂.(repeat.(²π₁,#.²π₂)^o,²π₂)^o,(-)*.zip₂.((²π₂)*.zip₂.(repeat.(²π₁,#.²π₂)^o,²π₂)^o,repeat.(1.zip₂.(repeat.(²π₁,#.²π₂)^o,²π₂)^o,#.zip₂.(repeat.(²π₁,#.²π₂)^o,²π₂)^o)^o)^o)^o)^o,(!)*.zip₂.((²π₁.²π₁)*.zip₂,(+)*.zip₂.((²π₂)*.zip₂,repeat.(1.zip₂,#.zip₂)^o)^o)^o.(repeat.(²π₁,#.²π₂)^o,²π₂)^o)^o . (id,²π₂)^o . id . (id,(+.(²π₂,1)^o)*.distl.(id,iota.-.(#.id,2)^o)^o)^o . id . id . id

after applying RightAssoc2

( + )* . zip₂ . ((+)*.zip₂.((!)*.zip₂.((²π₁.²π₁)*.zip₂.(repeat.(²π₁,#.²π₂)^o,²π₂)^o,(²π₂)*.zip₂.(repeat.(²π₁,#.²π₂)^o,²π₂)^o)^o,(!)*.zip₂.((²π₁.²π₁)*.zip₂.(repeat.(²π₁,#.²π₂)^o,²π₂)^o,(-)*.zip₂.((²π₂)*.zip₂.(repeat.(²π₁,#.²π₂)^o,²π₂)^o,repeat.(1.zip₂.(repeat.(²π₁,#.²π₂)^o,²π₂)^o,#.zip₂.(repeat.(²π₁,#.²π₂)^o,²π₂)^o)^o)^o)^o)^o,(!)*.zip₂.((²π₁.²π₁)*.zip₂,(+)*.zip₂.((²π₂)*.zip₂,repeat.(1.zip₂,#.zip₂)^o)^o)^o.(repeat.(²π₁,#.²π₂)^o,²π₂)^o)^o . (id,²π₂)^o . id . (id,(+.(²π₂,1)^o)*.distl.(id,iota.-.(#.id,2)^o)^o)^o . id . id . id

after applying CompIntoAlltup1

( + )* . zip₂ . ((+)*.zip₂.((!)*.zip₂.((²π₁.²π₁)*.zip₂.(repeat.(²π₁,#.²π₂)^o,²π₂)^o,(²π₂)*.zip₂.(repeat.(²π₁,#.²π₂)^o,²π₂)^o)^o,(!)*.zip₂.((²π₁.²π₁)*.zip₂.(repeat.(²π₁,#.²π₂)^o,²π₂)^o,(-)*.zip₂.((²π₂)*.zip₂.(repeat.(²π₁,#.²π₂)^o,²π₂)^o,repeat.(1.zip₂.(repeat.(²π₁,#.²π₂)^o,²π₂)^o,#.zip₂.(repeat.(²π₁,#.²π₂)^o,²π₂)^o)^o)^o)^o)^o,(!)*.zip₂.((²π₁.²π₁)*.zip₂.(repeat.(²π₁,#.²π₂)^o,²π₂)^o,(+)*.zip₂.((²π₂)*.zip₂,repeat.(1.zip₂,#.zip₂)^o)^o.(repeat.(²π₁,#.²π₂)^o,²π₂)^o)^o)^o . (id,²π₂)^o . id . (id,(+.(²π₂,1)^o)*.distl.(id,iota.-.(#.id,2)^o)^o)^o . id . id . id

after applying RightAssoc2

( + )* . zip₂ . ((+)*.zip₂.((!)*.zip₂.((²π₁.²π₁)*.zip₂.(repeat.(²π₁,#.²π₂)^o,²π₂)^o,(²π₂)*.zip₂.(repeat.(²π₁,#.²π₂)^o,²π₂)^o)^o,(!)*.zip₂.((²π₁.²π₁)*.zip₂.(repeat.(²π₁,#.²π₂)^o,²π₂)^o,(-)*.zip₂.((²π₂)*.zip₂.(repeat.(²π₁,#.²π₂)^o,²π₂)^o,repeat.(1.zip₂.(repeat.(²π₁,#.²π₂)^o,²π₂)^o,#.zip₂.(repeat.(²π₁,#.²π₂)^o,²π₂)^o)^o)^o)^o)^o,(!)*.zip₂.((²π₁.²π₁)*.zip₂.(repeat.(²π₁,#.²π₂)^o,²π₂)^o,(+)*.zip₂.((²π₂)*.zip₂,repeat.(1.zip₂,#.zip₂)^o)^o.(repeat.(²π₁,#.²π₂)^o,²π₂)^o)^o)^o . (id,²π₂)^o . id . (id,(+.(²π₂,1)^o)*.distl.(id,iota.-.(#.id,2)^o)^o)^o . id . id . id

after applying CompIntoAlltup1

( + )* . zip₂ . ((+)*.zip₂.((!)*.zip₂.((²π₁.²π₁)*.zip₂.(repeat.(²π₁,#.²π₂)^o,²π₂)^o,(²π₂)*.zip₂.(repeat.(²π₁,#.²π₂)^o,²π₂)^o)^o,(!)*.zip₂.((²π₁.²π₁)*.zip₂.(repeat.(²π₁,#.²π₂)^o,²π₂)^o,(-)*.zip₂.((²π₂)*.zip₂.(repeat.(²π₁,#.²π₂)^o,²π₂)^o,repeat.(1.zip₂.(repeat.(²π₁,#.²π₂)^o,²π₂)^o,#.zip₂.(repeat.(²π₁,#.²π₂)^o,²π₂)^o)^o)^o)^o)^o,(!)*.zip₂.((²π₁.²π₁)*.zip₂.(repeat.(²π₁,#.²π₂)^o,²π₂)^o,(+)*.zip₂.((²π₂)*.zip₂.(repeat.(²π₁,#.²π₂)^o,²π₂)^o,repeat.(1.zip₂,#.zip₂)^o.(repeat.(²π₁,#.²π₂)^o,²π₂)^o)^o)^o)^o . (id,²π₂)^o . id . (id,(+.(²π₂,1)^o)*.distl.(id,iota.-.(#.id,2)^o)^o)^o . id . id . id

after applying RightAssoc2

( + )* . zip₂ . ((+)*.zip₂.((!)*.zip₂.((²π₁.²π₁)*.zip₂.(repeat.(²π₁,#.²π₂)^o,²π₂)^o,(²π₂)*.zip₂.(repeat.(²π₁,#.²π₂)^o,²π₂)^o)^o,(!)*.zip₂.((²π₁.²π₁)*.zip₂.(repeat.(²π₁,#.²π₂)^o,²π₂)^o,(-)*.zip₂.((²π₂)*.zip₂.(repeat.(²π₁,#.²π₂)^o,²π₂)^o,repeat.(1.zip₂.(repeat.(²π₁,#.²π₂)^o,²π₂)^o,#.zip₂.(repeat.(²π₁,#.²π₂)^o,²π₂)^o)^o)^o)^o)^o,(!)*.zip₂.((²π₁.²π₁)*.zip₂.(repeat.(²π₁,#.²π₂)^o,²π₂)^o,(+)*.zip₂.((²π₂)*.zip₂.(repeat.(²π₁,#.²π₂)^o,²π₂)^o,repeat.(1.zip₂,#.zip₂)^o.(repeat.(²π₁,#.²π₂)^o,²π₂)^o)^o)^o)^o . (id,²π₂)^o . id . (id,(+.(²π₂,1)^o)*.distl.(id,iota.-.(#.id,2)^o)^o)^o . id . id . id

after applying CompIntoAlltup1

( + )* . zip₂ . ((+)*.zip₂.((!)*.zip₂.((²π₁.²π₁)*.zip₂.(repeat.(²π₁,#.²π₂)^o,²π₂)^o,(²π₂)*.zip₂.(repeat.(²π₁,#.²π₂)^o,²π₂)^o)^o,(!)*.zip₂.((²π₁.²π₁)*.zip₂.(repeat.(²π₁,#.²π₂)^o,²π₂)^o,(-)*.zip₂.((²π₂)*.zip₂.(repeat.(²π₁,#.²π₂)^o,²π₂)^o,repeat.(1.zip₂.(repeat.(²π₁,#.²π₂)^o,²π₂)^o,#.zip₂.(repeat.(²π₁,#.²π₂)^o,²π₂)^o)^o)^o)^o)^o,(!)*.zip₂.((²π₁.²π₁)*.zip₂.(repeat.(²π₁,#.²π₂)^o,²π₂)^o,(+)*.zip₂.((²π₂)*.zip₂.(repeat.(²π₁,#.²π₂)^o,²π₂)^o,repeat.(1.zip₂.(repeat.(²π₁,#.²π₂)^o,²π₂)^o,#.zip₂.(repeat.(²π₁,#.²π₂)^o,²π₂)^o)^o)^o)^o)^o . (id,²π₂)^o . id . (id,(+.(²π₂,1)^o)*.distl.(id,iota.-.(#.id,2)^o)^o)^o . id . id . id

after applying AddrIntoZip

( + )* . zip₂ . ((+)*.zip₂.((!)*.zip₂.((²π₁.²π₁)*.zip₂.(repeat.(²π₁,#.²π₂)^o,²π₂)^o,²π₂.(repeat.(²π₁,#.²π₂)^o,²π₂)^o)^o,(!)*.zip₂.((²π₁.²π₁)*.zip₂.(repeat.(²π₁,#.²π₂)^o,²π₂)^o,(-)*.zip₂.((²π₂)*.zip₂.(repeat.(²π₁,#.²π₂)^o,²π₂)^o,repeat.(1.zip₂.(repeat.(²π₁,#.²π₂)^o,²π₂)^o,#.zip₂.(repeat.(²π₁,#.²π₂)^o,²π₂)^o)^o)^o)^o)^o,(!)*.zip₂.((²π₁.²π₁)*.zip₂.(repeat.(²π₁,#.²π₂)^o,²π₂)^o,(+)*.zip₂.((²π₂)*.zip₂.(repeat.(²π₁,#.²π₂)^o,²π₂)^o,repeat.(1.zip₂.(repeat.(²π₁,#.²π₂)^o,²π₂)^o,#.zip₂.(repeat.(²π₁,#.²π₂)^o,²π₂)^o)^o)^o)^o)^o . (id,²π₂)^o . id . (id,(+.(²π₂,1)^o)*.distl.(id,iota.-.(#.id,2)^o)^o)^o . id . id . id

after applying AddrIntoAlltup

( + )* . zip₂ . ((+)*.zip₂.((!)*.zip₂.((²π₁.²π₁)*.zip₂.(repeat.(²π₁,#.²π₂)^o,²π₂)^o,²π₂)^o,(!)*.zip₂.((²π₁.²π₁)*.zip₂.(repeat.(²π₁,#.²π₂)^o,²π₂)^o,(-)*.zip₂.((²π₂)*.zip₂.(repeat.(²π₁,#.²π₂)^o,²π₂)^o,repeat.(1.zip₂.(repeat.(²π₁,#.²π₂)^o,²π₂)^o,#.zip₂.(repeat.(²π₁,#.²π₂)^o,²π₂)^o)^o)^o)^o)^o,(!)*.zip₂.((²π₁.²π₁)*.zip₂.(repeat.(²π₁,#.²π₂)^o,²π₂)^o,(+)*.zip₂.((²π₂)*.zip₂.(repeat.(²π₁,#.²π₂)^o,²π₂)^o,repeat.(1.zip₂.(repeat.(²π₁,#.²π₂)^o,²π₂)^o,#.zip₂.(repeat.(²π₁,#.²π₂)^o,²π₂)^o)^o)^o)^o)^o . (id,²π₂)^o . id . (id,(+.(²π₂,1)^o)*.distl.(id,iota.-.(#.id,2)^o)^o)^o . id . id . id

after applying AddrIntoZip

( + )* . zip₂ . ((+)*.zip₂.((!)*.zip₂.((²π₁.²π₁)*.zip₂.(repeat.(²π₁,#.²π₂)^o,²π₂)^o,²π₂)^o,(!)*.zip₂.((²π₁.²π₁)*.zip₂.(repeat.(²π₁,#.²π₂)^o,²π₂)^o,(-)*.zip₂.(²π₂.(repeat.(²π₁,#.²π₂)^o,²π₂)^o,repeat.(1.zip₂.(repeat.(²π₁,#.²π₂)^o,²π₂)^o,#.zip₂.(repeat.(²π₁,#.²π₂)^o,²π₂)^o)^o)^o)^o)^o,(!)*.zip₂.((²π₁.²π₁)*.zip₂.(repeat.(²π₁,#.²π₂)^o,²π₂)^o,(+)*.zip₂.((²π₂)*.zip₂.(repeat.(²π₁,#.²π₂)^o,²π₂)^o,repeat.(1.zip₂.(repeat.(²π₁,#.²π₂)^o,²π₂)^o,#.zip₂.(repeat.(²π₁,#.²π₂)^o,²π₂)^o)^o)^o)^o)^o . (id,²π₂)^o . id . (id,(+.(²π₂,1)^o)*.distl.(id,iota.-.(#.id,2)^o)^o)^o . id . id . id

after applying AddrIntoAlltup

( + )* . zip₂ . ((+)*.zip₂.((!)*.zip₂.((²π₁.²π₁)*.zip₂.(repeat.(²π₁,#.²π₂)^o,²π₂)^o,²π₂)^o,(!)*.zip₂.((²π₁.²π₁)*.zip₂.(repeat.(²π₁,#.²π₂)^o,²π₂)^o,(-)*.zip₂.(²π₂,repeat.(1.zip₂.(repeat.(²π₁,#.²π₂)^o,²π₂)^o,#.zip₂.(repeat.(²π₁,#.²π₂)^o,²π₂)^o)^o)^o)^o)^o,(!)*.zip₂.((²π₁.²π₁)*.zip₂.(repeat.(²π₁,#.²π₂)^o,²π₂)^o,(+)*.zip₂.((²π₂)*.zip₂.(repeat.(²π₁,#.²π₂)^o,²π₂)^o,repeat.(1.zip₂.(repeat.(²π₁,#.²π₂)^o,²π₂)^o,#.zip₂.(repeat.(²π₁,#.²π₂)^o,²π₂)^o)^o)^o)^o)^o . (id,²π₂)^o . id . (id,(+.(²π₂,1)^o)*.distl.(id,iota.-.(#.id,2)^o)^o)^o . id . id . id

after applying ConAsorb

( + )* . zip₂ . ((+)*.zip₂.((!)*.zip₂.((²π₁.²π₁)*.zip₂.(repeat.(²π₁,#.²π₂)^o,²π₂)^o,²π₂)^o,(!)*.zip₂.((²π₁.²π₁)*.zip₂.(repeat.(²π₁,#.²π₂)^o,²π₂)^o,(-)*.zip₂.(²π₂,repeat.(1.(repeat.(²π₁,#.²π₂)^o,²π₂)^o,#.zip₂.(repeat.(²π₁,#.²π₂)^o,²π₂)^o)^o)^o)^o)^o,(!)*.zip₂.((²π₁.²π₁)*.zip₂.(repeat.(²π₁,#.²π₂)^o,²π₂)^o,(+)*.zip₂.((²π₂)*.zip₂.(repeat.(²π₁,#.²π₂)^o,²π₂)^o,repeat.(1.zip₂.(repeat.(²π₁,#.²π₂)^o,²π₂)^o,#.zip₂.(repeat.(²π₁,#.²π₂)^o,²π₂)^o)^o)^o)^o)^o . (id,²π₂)^o . id . (id,(+.(²π₂,1)^o)*.distl.(id,iota.-.(#.id,2)^o)^o)^o . id . id . id

after applying ConAsorb

( + )* . zip₂ . ((+)*.zip₂.((!)*.zip₂.((²π₁.²π₁)*.zip₂.(repeat.(²π₁,#.²π₂)^o,²π₂)^o,²π₂)^o,(!)*.zip₂.((²π₁.²π₁)*.zip₂.(repeat.(²π₁,#.²π₂)^o,²π₂)^o,(-)*.zip₂.(²π₂,repeat.(1,#.zip₂.(repeat.(²π₁,#.²π₂)^o,²π₂)^o)^o)^o)^o)^o,(!)*.zip₂.((²π₁.²π₁)*.zip₂.(repeat.(²π₁,#.²π₂)^o,²π₂)^o,(+)*.zip₂.((²π₂)*.zip₂.(repeat.(²π₁,#.²π₂)^o,²π₂)^o,repeat.(1.zip₂.(repeat.(²π₁,#.²π₂)^o,²π₂)^o,#.zip₂.(repeat.(²π₁,#.²π₂)^o,²π₂)^o)^o)^o)^o)^o . (id,²π₂)^o . id . (id,(+.(²π₂,1)^o)*.distl.(id,iota.-.(#.id,2)^o)^o)^o . id . id . id

after applying LengthIntoZip

( + )* . zip₂ . ((+)*.zip₂.((!)*.zip₂.((²π₁.²π₁)*.zip₂.(repeat.(²π₁,#.²π₂)^o,²π₂)^o,²π₂)^o,(!)*.zip₂.((²π₁.²π₁)*.zip₂.(repeat.(²π₁,#.²π₂)^o,²π₂)^o,(-)*.zip₂.(²π₂,repeat.(1,#.²π₁.(repeat.(²π₁,#.²π₂)^o,²π₂)^o)^o)^o)^o)^o,(!)*.zip₂.((²π₁.²π₁)*.zip₂.(repeat.(²π₁,#.²π₂)^o,²π₂)^o,(+)*.zip₂.((²π₂)*.zip₂.(repeat.(²π₁,#.²π₂)^o,²π₂)^o,repeat.(1.zip₂.(repeat.(²π₁,#.²π₂)^o,²π₂)^o,#.zip₂.(repeat.(²π₁,#.²π₂)^o,²π₂)^o)^o)^o)^o)^o . (id,²π₂)^o . id . (id,(+.(²π₂,1)^o)*.distl.(id,iota.-.(#.id,2)^o)^o)^o . id . id . id

after applying RightAssoc2

( + )* . zip₂ . ((+)*.zip₂.((!)*.zip₂.((²π₁.²π₁)*.zip₂.(repeat.(²π₁,#.²π₂)^o,²π₂)^o,²π₂)^o,(!)*.zip₂.((²π₁.²π₁)*.zip₂.(repeat.(²π₁,#.²π₂)^o,²π₂)^o,(-)*.zip₂.(²π₂,repeat.(1,#.²π₁.(repeat.(²π₁,#.²π₂)^o,²π₂)^o)^o)^o)^o)^o,(!)*.zip₂.((²π₁.²π₁)*.zip₂.(repeat.(²π₁,#.²π₂)^o,²π₂)^o,(+)*.zip₂.((²π₂)*.zip₂.(repeat.(²π₁,#.²π₂)^o,²π₂)^o,repeat.(1.zip₂.(repeat.(²π₁,#.²π₂)^o,²π₂)^o,#.zip₂.(repeat.(²π₁,#.²π₂)^o,²π₂)^o)^o)^o)^o)^o . (id,²π₂)^o . id . (id,(+.(²π₂,1)^o)*.distl.(id,iota.-.(#.id,2)^o)^o)^o . id . id . id

after applying AddrIntoAlltup

( + )* . zip₂ . ((+)*.zip₂.((!)*.zip₂.((²π₁.²π₁)*.zip₂.(repeat.(²π₁,#.²π₂)^o,²π₂)^o,²π₂)^o,(!)*.zip₂.((²π₁.²π₁)*.zip₂.(repeat.(²π₁,#.²π₂)^o,²π₂)^o,(-)*.zip₂.(²π₂,repeat.(1,#.repeat.(²π₁,#.²π₂)^o)^o)^o)^o)^o,(!)*.zip₂.((²π₁.²π₁)*.zip₂.(repeat.(²π₁,#.²π₂)^o,²π₂)^o,(+)*.zip₂.((²π₂)*.zip₂.(repeat.(²π₁,#.²π₂)^o,²π₂)^o,repeat.(1.zip₂.(repeat.(²π₁,#.²π₂)^o,²π₂)^o,#.zip₂.(repeat.(²π₁,#.²π₂)^o,²π₂)^o)^o)^o)^o)^o . (id,²π₂)^o . id . (id,(+.(²π₂,1)^o)*.distl.(id,iota.-.(#.id,2)^o)^o)^o . id . id . id

after applying LeftAssociate

( + )* . zip₂ . ((+)*.zip₂.((!)*.zip₂.((²π₁.²π₁)*.zip₂.(repeat.(²π₁,#.²π₂)^o,²π₂)^o,²π₂)^o,(!)*.zip₂.((²π₁.²π₁)*.zip₂.(repeat.(²π₁,#.²π₂)^o,²π₂)^o,(-)*.zip₂.(²π₂,repeat.(1,#.repeat.(²π₁,#.²π₂)^o)^o)^o)^o)^o,(!)*.zip₂.((²π₁.²π₁)*.zip₂.(repeat.(²π₁,#.²π₂)^o,²π₂)^o,(+)*.zip₂.((²π₂)*.zip₂.(repeat.(²π₁,#.²π₂)^o,²π₂)^o,repeat.(1.zip₂.(repeat.(²π₁,#.²π₂)^o,²π₂)^o,#.zip₂.(repeat.(²π₁,#.²π₂)^o,²π₂)^o)^o)^o)^o)^o . (id,²π₂)^o . id . (id,(+.(²π₂,1)^o)*.distl.(id,iota.-.(#.id,2)^o)^o)^o . id . id . id

after applying LengthIntoRepeat

( + )* . zip₂ . ((+)*.zip₂.((!)*.zip₂.((²π₁.²π₁)*.zip₂.(repeat.(²π₁,#.²π₂)^o,²π₂)^o,²π₂)^o,(!)*.zip₂.((²π₁.²π₁)*.zip₂.(repeat.(²π₁,#.²π₂)^o,²π₂)^o,(-)*.zip₂.(²π₂,repeat.(1,²π₂.(²π₁,#.²π₂)^o)^o)^o)^o)^o,(!)*.zip₂.((²π₁.²π₁)*.zip₂.(repeat.(²π₁,#.²π₂)^o,²π₂)^o,(+)*.zip₂.((²π₂)*.zip₂.(repeat.(²π₁,#.²π₂)^o,²π₂)^o,repeat.(1.zip₂.(repeat.(²π₁,#.²π₂)^o,²π₂)^o,#.zip₂.(repeat.(²π₁,#.²π₂)^o,²π₂)^o)^o)^o)^o)^o . (id,²π₂)^o . id . (id,(+.(²π₂,1)^o)*.distl.(id,iota.-.(#.id,2)^o)^o)^o . id . id . id

after applying AddrIntoAlltup

( + )* . zip₂ . ((+)*.zip₂.((!)*.zip₂.((²π₁.²π₁)*.zip₂.(repeat.(²π₁,#.²π₂)^o,²π₂)^o,²π₂)^o,(!)*.zip₂.((²π₁.²π₁)*.zip₂.(repeat.(²π₁,#.²π₂)^o,²π₂)^o,(-)*.zip₂.(²π₂,repeat.(1,#.²π₂)^o)^o)^o)^o,(!)*.zip₂.((²π₁.²π₁)*.zip₂.(repeat.(²π₁,#.²π₂)^o,²π₂)^o,(+)*.zip₂.((²π₂)*.zip₂.(repeat.(²π₁,#.²π₂)^o,²π₂)^o,repeat.(1.zip₂.(repeat.(²π₁,#.²π₂)^o,²π₂)^o,#.zip₂.(repeat.(²π₁,#.²π₂)^o,²π₂)^o)^o)^o)^o)^o . (id,²π₂)^o . id . (id,(+.(²π₂,1)^o)*.distl.(id,iota.-.(#.id,2)^o)^o)^o . id . id . id

after applying AddrIntoZip

( + )* . zip₂ . ((+)*.zip₂.((!)*.zip₂.((²π₁.²π₁)*.zip₂.(repeat.(²π₁,#.²π₂)^o,²π₂)^o,²π₂)^o,(!)*.zip₂.((²π₁.²π₁)*.zip₂.(repeat.(²π₁,#.²π₂)^o,²π₂)^o,(-)*.zip₂.(²π₂,repeat.(1,#.²π₂)^o)^o)^o)^o,(!)*.zip₂.((²π₁.²π₁)*.zip₂.(repeat.(²π₁,#.²π₂)^o,²π₂)^o,(+)*.zip₂.(²π₂.(repeat.(²π₁,#.²π₂)^o,²π₂)^o,repeat.(1.zip₂.(repeat.(²π₁,#.²π₂)^o,²π₂)^o,#.zip₂.(repeat.(²π₁,#.²π₂)^o,²π₂)^o)^o)^o)^o)^o . (id,²π₂)^o . id . (id,(+.(²π₂,1)^o)*.distl.(id,iota.-.(#.id,2)^o)^o)^o . id . id . id

after applying AddrIntoAlltup

( + )* . zip₂ . ((+)*.zip₂.((!)*.zip₂.((²π₁.²π₁)*.zip₂.(repeat.(²π₁,#.²π₂)^o,²π₂)^o,²π₂)^o,(!)*.zip₂.((²π₁.²π₁)*.zip₂.(repeat.(²π₁,#.²π₂)^o,²π₂)^o,(-)*.zip₂.(²π₂,repeat.(1,#.²π₂)^o)^o)^o)^o,(!)*.zip₂.((²π₁.²π₁)*.zip₂.(repeat.(²π₁,#.²π₂)^o,²π₂)^o,(+)*.zip₂.(²π₂,repeat.(1.zip₂.(repeat.(²π₁,#.²π₂)^o,²π₂)^o,#.zip₂.(repeat.(²π₁,#.²π₂)^o,²π₂)^o)^o)^o)^o)^o . (id,²π₂)^o . id . (id,(+.(²π₂,1)^o)*.distl.(id,iota.-.(#.id,2)^o)^o)^o . id . id . id

after applying ConAsorb

( + )* . zip₂ . ((+)*.zip₂.((!)*.zip₂.((²π₁.²π₁)*.zip₂.(repeat.(²π₁,#.²π₂)^o,²π₂)^o,²π₂)^o,(!)*.zip₂.((²π₁.²π₁)*.zip₂.(repeat.(²π₁,#.²π₂)^o,²π₂)^o,(-)*.zip₂.(²π₂,repeat.(1,#.²π₂)^o)^o)^o)^o,(!)*.zip₂.((²π₁.²π₁)*.zip₂.(repeat.(²π₁,#.²π₂)^o,²π₂)^o,(+)*.zip₂.(²π₂,repeat.(1.(repeat.(²π₁,#.²π₂)^o,²π₂)^o,#.zip₂.(repeat.(²π₁,#.²π₂)^o,²π₂)^o)^o)^o)^o)^o . (id,²π₂)^o . id . (id,(+.(²π₂,1)^o)*.distl.(id,iota.-.(#.id,2)^o)^o)^o . id . id . id

after applying ConAsorb

( + )* . zip₂ . ((+)*.zip₂.((!)*.zip₂.((²π₁.²π₁)*.zip₂.(repeat.(²π₁,#.²π₂)^o,²π₂)^o,²π₂)^o,(!)*.zip₂.((²π₁.²π₁)*.zip₂.(repeat.(²π₁,#.²π₂)^o,²π₂)^o,(-)*.zip₂.(²π₂,repeat.(1,#.²π₂)^o)^o)^o)^o,(!)*.zip₂.((²π₁.²π₁)*.zip₂.(repeat.(²π₁,#.²π₂)^o,²π₂)^o,(+)*.zip₂.(²π₂,repeat.(1,#.zip₂.(repeat.(²π₁,#.²π₂)^o,²π₂)^o)^o)^o)^o)^o . (id,²π₂)^o . id . (id,(+.(²π₂,1)^o)*.distl.(id,iota.-.(#.id,2)^o)^o)^o . id . id . id

after applying LengthIntoZip

( + )* . zip₂ . ((+)*.zip₂.((!)*.zip₂.((²π₁.²π₁)*.zip₂.(repeat.(²π₁,#.²π₂)^o,²π₂)^o,²π₂)^o,(!)*.zip₂.((²π₁.²π₁)*.zip₂.(repeat.(²π₁,#.²π₂)^o,²π₂)^o,(-)*.zip₂.(²π₂,repeat.(1,#.²π₂)^o)^o)^o)^o,(!)*.zip₂.((²π₁.²π₁)*.zip₂.(repeat.(²π₁,#.²π₂)^o,²π₂)^o,(+)*.zip₂.(²π₂,repeat.(1,#.²π₁.(repeat.(²π₁,#.²π₂)^o,²π₂)^o)^o)^o)^o)^o . (id,²π₂)^o . id . (id,(+.(²π₂,1)^o)*.distl.(id,iota.-.(#.id,2)^o)^o)^o . id . id . id

after applying RightAssoc2

( + )* . zip₂ . ((+)*.zip₂.((!)*.zip₂.((²π₁.²π₁)*.zip₂.(repeat.(²π₁,#.²π₂)^o,²π₂)^o,²π₂)^o,(!)*.zip₂.((²π₁.²π₁)*.zip₂.(repeat.(²π₁,#.²π₂)^o,²π₂)^o,(-)*.zip₂.(²π₂,repeat.(1,#.²π₂)^o)^o)^o)^o,(!)*.zip₂.((²π₁.²π₁)*.zip₂.(repeat.(²π₁,#.²π₂)^o,²π₂)^o,(+)*.zip₂.(²π₂,repeat.(1,#.²π₁.(repeat.(²π₁,#.²π₂)^o,²π₂)^o)^o)^o)^o)^o . (id,²π₂)^o . id . (id,(+.(²π₂,1)^o)*.distl.(id,iota.-.(#.id,2)^o)^o)^o . id . id . id

after applying AddrIntoAlltup

( + )* . zip₂ . ((+)*.zip₂.((!)*.zip₂.((²π₁.²π₁)*.zip₂.(repeat.(²π₁,#.²π₂)^o,²π₂)^o,²π₂)^o,(!)*.zip₂.((²π₁.²π₁)*.zip₂.(repeat.(²π₁,#.²π₂)^o,²π₂)^o,(-)*.zip₂.(²π₂,repeat.(1,#.²π₂)^o)^o)^o)^o,(!)*.zip₂.((²π₁.²π₁)*.zip₂.(repeat.(²π₁,#.²π₂)^o,²π₂)^o,(+)*.zip₂.(²π₂,repeat.(1,#.repeat.(²π₁,#.²π₂)^o)^o)^o)^o)^o . (id,²π₂)^o . id . (id,(+.(²π₂,1)^o)*.distl.(id,iota.-.(#.id,2)^o)^o)^o . id . id . id

after applying LeftAssociate

( + )* . zip₂ . ((+)*.zip₂.((!)*.zip₂.((²π₁.²π₁)*.zip₂.(repeat.(²π₁,#.²π₂)^o,²π₂)^o,²π₂)^o,(!)*.zip₂.((²π₁.²π₁)*.zip₂.(repeat.(²π₁,#.²π₂)^o,²π₂)^o,(-)*.zip₂.(²π₂,repeat.(1,#.²π₂)^o)^o)^o)^o,(!)*.zip₂.((²π₁.²π₁)*.zip₂.(repeat.(²π₁,#.²π₂)^o,²π₂)^o,(+)*.zip₂.(²π₂,repeat.(1,#.repeat.(²π₁,#.²π₂)^o)^o)^o)^o)^o . (id,²π₂)^o . id . (id,(+.(²π₂,1)^o)*.distl.(id,iota.-.(#.id,2)^o)^o)^o . id . id . id

after applying LengthIntoRepeat

after applying AddrIntoAlltup

after applying MapIntoComp

( + )* . zip₂ . ((+)*.zip₂.((!)*.zip₂.((²π₁)*.(²π₁)*.zip₂.(repeat.(²π₁,#.²π₂)^o,²π₂)^o,²π₂)^o,(!)*.zip₂.((²π₁.²π₁)*.zip₂.(repeat.(²π₁,#.²π₂)^o,²π₂)^o,(-)*.zip₂.(²π₂,repeat.(1,#.²π₂)^o)^o)^o)^o,(!)*.zip₂.((²π₁.²π₁)*.zip₂.(repeat.(²π₁,#.²π₂)^o,²π₂)^o,(+)*.zip₂.(²π₂,repeat.(1,#.²π₂)^o)^o)^o)^o . (id,²π₂)^o . id . (id,(+.(²π₂,1)^o)*.distl.(id,iota.-.(#.id,2)^o)^o)^o . id . id . id

after applying MapIntoComp

( + )* . zip₂ . ((+)*.zip₂.((!)*.zip₂.((²π₁)*.(²π₁)*.zip₂.(repeat.(²π₁,#.²π₂)^o,²π₂)^o,²π₂)^o,(!)*.zip₂.((²π₁)*.(²π₁)*.zip₂.(repeat.(²π₁,#.²π₂)^o,²π₂)^o,(-)*.zip₂.(²π₂,repeat.(1,#.²π₂)^o)^o)^o)^o,(!)*.zip₂.((²π₁.²π₁)*.zip₂.(repeat.(²π₁,#.²π₂)^o,²π₂)^o,(+)*.zip₂.(²π₂,repeat.(1,#.²π₂)^o)^o)^o)^o . (id,²π₂)^o . id . (id,(+.(²π₂,1)^o)*.distl.(id,iota.-.(#.id,2)^o)^o)^o . id . id . id

after applying MapIntoComp

( + )* . zip₂ . ((+)*.zip₂.((!)*.zip₂.((²π₁)*.(²π₁)*.zip₂.(repeat.(²π₁,#.²π₂)^o,²π₂)^o,²π₂)^o,(!)*.zip₂.((²π₁)*.(²π₁)*.zip₂.(repeat.(²π₁,#.²π₂)^o,²π₂)^o,(-)*.zip₂.(²π₂,repeat.(1,#.²π₂)^o)^o)^o)^o,(!)*.zip₂.((²π₁)*.(²π₁)*.zip₂.(repeat.(²π₁,#.²π₂)^o,²π₂)^o,(+)*.zip₂.(²π₂,repeat.(1,#.²π₂)^o)^o)^o)^o . (id,²π₂)^o . id . (id,(+.(²π₂,1)^o)*.distl.(id,iota.-.(#.id,2)^o)^o)^o . id . id . id

after applying RightAssoc2

( + )* . zip₂ . ((+)*.zip₂.((!)*.zip₂.((²π₁)*.(²π₁)*.zip₂.(repeat.(²π₁,#.²π₂)^o,²π₂)^o,²π₂)^o,(!)*.zip₂.((²π₁)*.(²π₁)*.zip₂.(repeat.(²π₁,#.²π₂)^o,²π₂)^o,(-)*.zip₂.(²π₂,repeat.(1,#.²π₂)^o)^o)^o)^o,(!)*.zip₂.((²π₁)*.(²π₁)*.zip₂.(repeat.(²π₁,#.²π₂)^o,²π₂)^o,(+)*.zip₂.(²π₂,repeat.(1,#.²π₂)^o)^o)^o)^o . (id,²π₂)^o . id . (id,(+.(²π₂,1)^o)*.distl.(id,iota.-.(#.id,2)^o)^o)^o . id . id . id

after applying AddrIntoZip

( + )* . zip₂ . ((+)*.zip₂.((!)*.zip₂.((²π₁)*.²π₁.(repeat.(²π₁,#.²π₂)^o,²π₂)^o,²π₂)^o,(!)*.zip₂.((²π₁)*.(²π₁)*.zip₂.(repeat.(²π₁,#.²π₂)^o,²π₂)^o,(-)*.zip₂.(²π₂,repeat.(1,#.²π₂)^o)^o)^o)^o,(!)*.zip₂.((²π₁)*.(²π₁)*.zip₂.(repeat.(²π₁,#.²π₂)^o,²π₂)^o,(+)*.zip₂.(²π₂,repeat.(1,#.²π₂)^o)^o)^o)^o . (id,²π₂)^o . id . (id,(+.(²π₂,1)^o)*.distl.(id,iota.-.(#.id,2)^o)^o)^o . id . id . id

after applying RightAssoc2

after applying AddrIntoAlltup

( + )* . zip₂ . ((+)*.zip₂.((!)*.zip₂.((²π₁)*.repeat.(²π₁,#.²π₂)^o,²π₂)^o,(!)*.zip₂.((²π₁)*.(²π₁)*.zip₂.(repeat.(²π₁,#.²π₂)^o,²π₂)^o,(-)*.zip₂.(²π₂,repeat.(1,#.²π₂)^o)^o)^o)^o,(!)*.zip₂.((²π₁)*.(²π₁)*.zip₂.(repeat.(²π₁,#.²π₂)^o,²π₂)^o,(+)*.zip₂.(²π₂,repeat.(1,#.²π₂)^o)^o)^o)^o . (id,²π₂)^o . id . (id,(+.(²π₂,1)^o)*.distl.(id,iota.-.(#.id,2)^o)^o)^o . id . id . id

after applying LeftAssociate

after applying RepeatFusion

( + )* . zip₂ . ((+)*.zip₂.((!)*.zip₂.(repeat.(²π₁.²π₁,²π₂)^o.(²π₁,#.²π₂)^o,²π₂)^o,(!)*.zip₂.((²π₁)*.(²π₁)*.zip₂.(repeat.(²π₁,#.²π₂)^o,²π₂)^o,(-)*.zip₂.(²π₂,repeat.(1,#.²π₂)^o)^o)^o)^o,(!)*.zip₂.((²π₁)*.(²π₁)*.zip₂.(repeat.(²π₁,#.²π₂)^o,²π₂)^o,(+)*.zip₂.(²π₂,repeat.(1,#.²π₂)^o)^o)^o)^o . (id,²π₂)^o . id . (id,(+.(²π₂,1)^o)*.distl.(id,iota.-.(#.id,2)^o)^o)^o . id . id . id

after applying RightAssoc2

after applying AddrIntoZip

( + )* . zip₂ . ((+)*.zip₂.((!)*.zip₂.(repeat.(²π₁.²π₁,²π₂)^o.(²π₁,#.²π₂)^o,²π₂)^o,(!)*.zip₂.((²π₁)*.²π₁.(repeat.(²π₁,#.²π₂)^o,²π₂)^o,(-)*.zip₂.(²π₂,repeat.(1,#.²π₂)^o)^o)^o)^o,(!)*.zip₂.((²π₁)*.(²π₁)*.zip₂.(repeat.(²π₁,#.²π₂)^o,²π₂)^o,(+)*.zip₂.(²π₂,repeat.(1,#.²π₂)^o)^o)^o)^o . (id,²π₂)^o . id . (id,(+.(²π₂,1)^o)*.distl.(id,iota.-.(#.id,2)^o)^o)^o . id . id . id

after applying RightAssoc2

after applying AddrIntoAlltup

( + )* . zip₂ . ((+)*.zip₂.((!)*.zip₂.(repeat.(²π₁.²π₁,²π₂)^o.(²π₁,#.²π₂)^o,²π₂)^o,(!)*.zip₂.((²π₁)*.repeat.(²π₁,#.²π₂)^o,(-)*.zip₂.(²π₂,repeat.(1,#.²π₂)^o)^o)^o)^o,(!)*.zip₂.((²π₁)*.(²π₁)*.zip₂.(repeat.(²π₁,#.²π₂)^o,²π₂)^o,(+)*.zip₂.(²π₂,repeat.(1,#.²π₂)^o)^o)^o)^o . (id,²π₂)^o . id . (id,(+.(²π₂,1)^o)*.distl.(id,iota.-.(#.id,2)^o)^o)^o . id . id . id

after applying LeftAssociate

after applying RepeatFusion

( + )* . zip₂ . ((+)*.zip₂.((!)*.zip₂.(repeat.(²π₁.²π₁,²π₂)^o.(²π₁,#.²π₂)^o,²π₂)^o,(!)*.zip₂.(repeat.(²π₁.²π₁,²π₂)^o.(²π₁,#.²π₂)^o,(-)*.zip₂.(²π₂,repeat.(1,#.²π₂)^o)^o)^o)^o,(!)*.zip₂.((²π₁)*.(²π₁)*.zip₂.(repeat.(²π₁,#.²π₂)^o,²π₂)^o,(+)*.zip₂.(²π₂,repeat.(1,#.²π₂)^o)^o)^o)^o . (id,²π₂)^o . id . (id,(+.(²π₂,1)^o)*.distl.(id,iota.-.(#.id,2)^o)^o)^o . id . id . id

after applying RightAssoc2

after applying AddrIntoZip

( + )* . zip₂ . ((+)*.zip₂.((!)*.zip₂.(repeat.(²π₁.²π₁,²π₂)^o.(²π₁,#.²π₂)^o,²π₂)^o,(!)*.zip₂.(repeat.(²π₁.²π₁,²π₂)^o.(²π₁,#.²π₂)^o,(-)*.zip₂.(²π₂,repeat.(1,#.²π₂)^o)^o)^o)^o,(!)*.zip₂.((²π₁)*.²π₁.(repeat.(²π₁,#.²π₂)^o,²π₂)^o,(+)*.zip₂.(²π₂,repeat.(1,#.²π₂)^o)^o)^o)^o . (id,²π₂)^o . id . (id,(+.(²π₂,1)^o)*.distl.(id,iota.-.(#.id,2)^o)^o)^o . id . id . id

after applying RightAssoc2

( + )* . zip₂ . ((+)*.zip₂.((!)*.zip₂.(repeat.(²π₁.²π₁,²π₂)^o.(²π₁,#.²π₂)^o,²π₂)^o,(!)*.zip₂.(repeat.(²π₁.²π₁,²π₂)^o.(²π₁,#.²π₂)^o,(-)*.zip₂.(²π₂,repeat.(1,#.²π₂)^o)^o)^o)^o,(!)*.zip₂.((²π₁)*.²π₁.(repeat.(²π₁,#.²π₂)^o,²π₂)^o,(+)*.zip₂.(²π₂,repeat.(1,#.²π₂)^o)^o)^o)^o . (id,²π₂)^o . id . (id,(+.(²π₂,1)^o)*.distl.(id,iota.-.(#.id,2)^o)^o)^o . id . id . id

after applying AddrIntoAlltup

( + )* . zip₂ . ((+)*.zip₂.((!)*.zip₂.(repeat.(²π₁.²π₁,²π₂)^o.(²π₁,#.²π₂)^o,²π₂)^o,(!)*.zip₂.(repeat.(²π₁.²π₁,²π₂)^o.(²π₁,#.²π₂)^o,(-)*.zip₂.(²π₂,repeat.(1,#.²π₂)^o)^o)^o)^o,(!)*.zip₂.((²π₁)*.repeat.(²π₁,#.²π₂)^o,(+)*.zip₂.(²π₂,repeat.(1,#.²π₂)^o)^o)^o)^o . (id,²π₂)^o . id . (id,(+.(²π₂,1)^o)*.distl.(id,iota.-.(#.id,2)^o)^o)^o . id . id . id

after applying LeftAssociate

( + )* . zip₂ . ((+)*.zip₂.((!)*.zip₂.(repeat.(²π₁.²π₁,²π₂)^o.(²π₁,#.²π₂)^o,²π₂)^o,(!)*.zip₂.(repeat.(²π₁.²π₁,²π₂)^o.(²π₁,#.²π₂)^o,(-)*.zip₂.(²π₂,repeat.(1,#.²π₂)^o)^o)^o)^o,(!)*.zip₂.((²π₁)*.repeat.(²π₁,#.²π₂)^o,(+)*.zip₂.(²π₂,repeat.(1,#.²π₂)^o)^o)^o)^o . (id,²π₂)^o . id . (id,(+.(²π₂,1)^o)*.distl.(id,iota.-.(#.id,2)^o)^o)^o . id . id . id

after applying RepeatFusion

( + )* . zip₂ . ((+)*.zip₂.((!)*.zip₂.(repeat.(²π₁.²π₁,²π₂)^o.(²π₁,#.²π₂)^o,²π₂)^o,(!)*.zip₂.(repeat.(²π₁.²π₁,²π₂)^o.(²π₁,#.²π₂)^o,(-)*.zip₂.(²π₂,repeat.(1,#.²π₂)^o)^o)^o)^o,(!)*.zip₂.(repeat.(²π₁.²π₁,²π₂)^o.(²π₁,#.²π₂)^o,(+)*.zip₂.(²π₂,repeat.(1,#.²π₂)^o)^o)^o)^o . (id,²π₂)^o . id . (id,(+.(²π₂,1)^o)*.distl.(id,iota.-.(#.id,2)^o)^o)^o . id . id . id

after applying RightAssoc2

( + )* . zip₂ . ((+)*.zip₂.((!)*.zip₂.(repeat.(²π₁.²π₁,²π₂)^o.(²π₁,#.²π₂)^o,²π₂)^o,(!)*.zip₂.(repeat.(²π₁.²π₁,²π₂)^o.(²π₁,#.²π₂)^o,(-)*.zip₂.(²π₂,repeat.(1,#.²π₂)^o)^o)^o)^o,(!)*.zip₂.(repeat.(²π₁.²π₁,²π₂)^o.(²π₁,#.²π₂)^o,(+)*.zip₂.(²π₂,repeat.(1,#.²π₂)^o)^o)^o)^o . (id,²π₂)^o . id . (id,(+.(²π₂,1)^o)*.distl.(id,iota.-.(#.id,2)^o)^o)^o . id . id . id

after applying CompIntoAlltup1

( + )* . zip₂ . ((+)*.zip₂.((!)*.zip₂.(repeat.(²π₁.²π₁.(²π₁,#.²π₂)^o,²π₂.(²π₁,#.²π₂)^o)^o,²π₂)^o,(!)*.zip₂.(repeat.(²π₁.²π₁,²π₂)^o.(²π₁,#.²π₂)^o,(-)*.zip₂.(²π₂,repeat.(1,#.²π₂)^o)^o)^o)^o,(!)*.zip₂.(repeat.(²π₁.²π₁,²π₂)^o.(²π₁,#.²π₂)^o,(+)*.zip₂.(²π₂,repeat.(1,#.²π₂)^o)^o)^o)^o . (id,²π₂)^o . id . (id,(+.(²π₂,1)^o)*.distl.(id,iota.-.(#.id,2)^o)^o)^o . id . id . id

after applying RightAssoc2

after applying CompIntoAlltup1

( + )* . zip₂ . ((+)*.zip₂.((!)*.zip₂.(repeat.(²π₁.²π₁.(²π₁,#.²π₂)^o,²π₂.(²π₁,#.²π₂)^o)^o,²π₂)^o,(!)*.zip₂.(repeat.(²π₁.²π₁.(²π₁,#.²π₂)^o,²π₂.(²π₁,#.²π₂)^o)^o,(-)*.zip₂.(²π₂,repeat.(1,#.²π₂)^o)^o)^o)^o,(!)*.zip₂.(repeat.(²π₁.²π₁,²π₂)^o.(²π₁,#.²π₂)^o,(+)*.zip₂.(²π₂,repeat.(1,#.²π₂)^o)^o)^o)^o . (id,²π₂)^o . id . (id,(+.(²π₂,1)^o)*.distl.(id,iota.-.(#.id,2)^o)^o)^o . id . id . id

after applying RightAssoc2

after applying CompIntoAlltup1

( + )* . zip₂ . ((+)*.zip₂.((!)*.zip₂.(repeat.(²π₁.²π₁.(²π₁,#.²π₂)^o,²π₂.(²π₁,#.²π₂)^o)^o,²π₂)^o,(!)*.zip₂.(repeat.(²π₁.²π₁.(²π₁,#.²π₂)^o,²π₂.(²π₁,#.²π₂)^o)^o,(-)*.zip₂.(²π₂,repeat.(1,#.²π₂)^o)^o)^o)^o,(!)*.zip₂.(repeat.(²π₁.²π₁.(²π₁,#.²π₂)^o,²π₂.(²π₁,#.²π₂)^o)^o,(+)*.zip₂.(²π₂,repeat.(1,#.²π₂)^o)^o)^o)^o . (id,²π₂)^o . id . (id,(+.(²π₂,1)^o)*.distl.(id,iota.-.(#.id,2)^o)^o)^o . id . id . id

after applying RightAssoc2

( + )* . zip₂ . ((+)*.zip₂.((!)*.zip₂.(repeat.(²π₁.²π₁.(²π₁,#.²π₂)^o,²π₂.(²π₁,#.²π₂)^o)^o,²π₂)^o,(!)*.zip₂.(repeat.(²π₁.²π₁.(²π₁,#.²π₂)^o,²π₂.(²π₁,#.²π₂)^o)^o,(-)*.zip₂.(²π₂,repeat.(1,#.²π₂)^o)^o)^o)^o,(!)*.zip₂.(repeat.(²π₁.²π₁.(²π₁,#.²π₂)^o,²π₂.(²π₁,#.²π₂)^o)^o,(+)*.zip₂.(²π₂,repeat.(1,#.²π₂)^o)^o)^o)^o . (id,²π₂)^o . id . (id,(+.(²π₂,1)^o)*.distl.(id,iota.-.(#.id,2)^o)^o)^o . id . id . id

after applying AddrIntoAlltup

( + )* . zip₂ . ((+)*.zip₂.((!)*.zip₂.(repeat.(²π₁.²π₁,²π₂.(²π₁,#.²π₂)^o)^o,²π₂)^o,(!)*.zip₂.(repeat.(²π₁.²π₁.(²π₁,#.²π₂)^o,²π₂.(²π₁,#.²π₂)^o)^o,(-)*.zip₂.(²π₂,repeat.(1,#.²π₂)^o)^o)^o)^o,(!)*.zip₂.(repeat.(²π₁.²π₁.(²π₁,#.²π₂)^o,²π₂.(²π₁,#.²π₂)^o)^o,(+)*.zip₂.(²π₂,repeat.(1,#.²π₂)^o)^o)^o)^o . (id,²π₂)^o . id . (id,(+.(²π₂,1)^o)*.distl.(id,iota.-.(#.id,2)^o)^o)^o . id . id . id

after applying AddrIntoAlltup

( + )* . zip₂ . ((+)*.zip₂.((!)*.zip₂.(repeat.(²π₁.²π₁,#.²π₂)^o,²π₂)^o,(!)*.zip₂.(repeat.(²π₁.²π₁.(²π₁,#.²π₂)^o,²π₂.(²π₁,#.²π₂)^o)^o,(-)*.zip₂.(²π₂,repeat.(1,#.²π₂)^o)^o)^o)^o,(!)*.zip₂.(repeat.(²π₁.²π₁.(²π₁,#.²π₂)^o,²π₂.(²π₁,#.²π₂)^o)^o,(+)*.zip₂.(²π₂,repeat.(1,#.²π₂)^o)^o)^o)^o . (id,²π₂)^o . id . (id,(+.(²π₂,1)^o)*.distl.(id,iota.-.(#.id,2)^o)^o)^o . id . id . id

after applying SelectIntro

( + )* . zip₂ . ((+)*.zip₂.(select.(²π₁.²π₁,²π₂)^o,(!)*.zip₂.(repeat.(²π₁.²π₁.(²π₁,#.²π₂)^o,²π₂.(²π₁,#.²π₂)^o)^o,(-)*.zip₂.(²π₂,repeat.(1,#.²π₂)^o)^o)^o)^o,(!)*.zip₂.(repeat.(²π₁.²π₁.(²π₁,#.²π₂)^o,²π₂.(²π₁,#.²π₂)^o)^o,(+)*.zip₂.(²π₂,repeat.(1,#.²π₂)^o)^o)^o)^o . (id,²π₂)^o . id . (id,(+.(²π₂,1)^o)*.distl.(id,iota.-.(#.id,2)^o)^o)^o . id . id . id

after applying RightAssoc2

after applying AddrIntoAlltup

( + )* . zip₂ . ((+)*.zip₂.(select.(²π₁.²π₁,²π₂)^o,(!)*.zip₂.(repeat.(²π₁.²π₁,²π₂.(²π₁,#.²π₂)^o)^o,(-)*.zip₂.(²π₂,repeat.(1,#.²π₂)^o)^o)^o)^o,(!)*.zip₂.(repeat.(²π₁.²π₁.(²π₁,#.²π₂)^o,²π₂.(²π₁,#.²π₂)^o)^o,(+)*.zip₂.(²π₂,repeat.(1,#.²π₂)^o)^o)^o)^o . (id,²π₂)^o . id . (id,(+.(²π₂,1)^o)*.distl.(id,iota.-.(#.id,2)^o)^o)^o . id . id . id

after applying AddrIntoAlltup

( + )* . zip₂ . ((+)*.zip₂.(select.(²π₁.²π₁,²π₂)^o,(!)*.zip₂.(repeat.(²π₁.²π₁,#.²π₂)^o,(-)*.zip₂.(²π₂,repeat.(1,#.²π₂)^o)^o)^o)^o,(!)*.zip₂.(repeat.(²π₁.²π₁.(²π₁,#.²π₂)^o,²π₂.(²π₁,#.²π₂)^o)^o,(+)*.zip₂.(²π₂,repeat.(1,#.²π₂)^o)^o)^o)^o . (id,²π₂)^o . id . (id,(+.(²π₂,1)^o)*.distl.(id,iota.-.(#.id,2)^o)^o)^o . id . id . id

after applying SelectIntro

( + )* . zip₂ . ((+)*.zip₂.(select.(²π₁.²π₁,²π₂)^o,select.(²π₁.²π₁,(-)*.zip₂.(²π₂,repeat.(1,#.²π₂)^o)^o)^o)^o,(!)*.zip₂.(repeat.(²π₁.²π₁.(²π₁,#.²π₂)^o,²π₂.(²π₁,#.²π₂)^o)^o,(+)*.zip₂.(²π₂,repeat.(1,#.²π₂)^o)^o)^o)^o . (id,²π₂)^o . id . (id,(+.(²π₂,1)^o)*.distl.(id,iota.-.(#.id,2)^o)^o)^o . id . id . id

after applying RightAssoc2

after applying AddrIntoAlltup

( + )* . zip₂ . ((+)*.zip₂.(select.(²π₁.²π₁,²π₂)^o,select.(²π₁.²π₁,(-)*.zip₂.(²π₂,repeat.(1,#.²π₂)^o)^o)^o)^o,(!)*.zip₂.(repeat.(²π₁.²π₁,²π₂.(²π₁,#.²π₂)^o)^o,(+)*.zip₂.(²π₂,repeat.(1,#.²π₂)^o)^o)^o)^o . (id,²π₂)^o . id . (id,(+.(²π₂,1)^o)*.distl.(id,iota.-.(#.id,2)^o)^o)^o . id . id . id

after applying AddrIntoAlltup

( + )* . zip₂ . ((+)*.zip₂.(select.(²π₁.²π₁,²π₂)^o,select.(²π₁.²π₁,(-)*.zip₂.(²π₂,repeat.(1,#.²π₂)^o)^o)^o)^o,(!)*.zip₂.(repeat.(²π₁.²π₁,#.²π₂)^o,(+)*.zip₂.(²π₂,repeat.(1,#.²π₂)^o)^o)^o)^o . (id,²π₂)^o . id . (id,(+.(²π₂,1)^o)*.distl.(id,iota.-.(#.id,2)^o)^o)^o . id . id . id

after applying SelectIntro

( + )* . zip₂ . ((+)*.zip₂.(select.(²π₁.²π₁,²π₂)^o,select.(²π₁.²π₁,(-)*.zip₂.(²π₂,repeat.(1,#.²π₂)^o)^o)^o)^o,select.(²π₁.²π₁,(+)*.zip₂.(²π₂,repeat.(1,#.²π₂)^o)^o)^o)^o . (id,²π₂)^o . id . (id,(+.(²π₂,1)^o)*.distl.(id,iota.-.(#.id,2)^o)^o)^o . id . id . id

after applying RightAssoc2

after applying CompIntoAlltup1

( + )* . zip₂ . ((+)*.zip₂.(select.(²π₁.²π₁,²π₂)^o,select.(²π₁.²π₁,(-)*.zip₂.(²π₂,repeat.(1,#.²π₂)^o)^o)^o)^o.(id,²π₂)^o,select.(²π₁.²π₁,(+)*.zip₂.(²π₂,repeat.(1,#.²π₂)^o)^o)^o.(id,²π₂)^o)^o . id . (id,(+.(²π₂,1)^o)*.distl.(id,iota.-.(#.id,2)^o)^o)^o . id . id . id

after applying RightAssoc2

after applying CompIntoAlltup1

( + )* . zip₂ . ((+)*.zip₂.(select.(²π₁.²π₁,²π₂)^o.(id,²π₂)^o,select.(²π₁.²π₁,(-)*.zip₂.(²π₂,repeat.(1,#.²π₂)^o)^o)^o.(id,²π₂)^o)^o,select.(²π₁.²π₁,(+)*.zip₂.(²π₂,repeat.(1,#.²π₂)^o)^o)^o.(id,²π₂)^o)^o . id . (id,(+.(²π₂,1)^o)*.distl.(id,iota.-.(#.id,2)^o)^o)^o . id . id . id

after applying RightAssoc2

after applying CompIntoAlltup1

( + )* . zip₂ . ((+)*.zip₂.(select.(²π₁.²π₁.(id,²π₂)^o,²π₂.(id,²π₂)^o)^o,select.(²π₁.²π₁,(-)*.zip₂.(²π₂,repeat.(1,#.²π₂)^o)^o)^o.(id,²π₂)^o)^o,select.(²π₁.²π₁,(+)*.zip₂.(²π₂,repeat.(1,#.²π₂)^o)^o)^o.(id,²π₂)^o)^o . id . (id,(+.(²π₂,1)^o)*.distl.(id,iota.-.(#.id,2)^o)^o)^o . id . id . id

after applying RightAssoc2

after applying CompIntoAlltup1

( + )* . zip₂ . ((+)*.zip₂.(select.(²π₁.²π₁.(id,²π₂)^o,²π₂.(id,²π₂)^o)^o,select.(²π₁.²π₁.(id,²π₂)^o,(-)*.zip₂.(²π₂,repeat.(1,#.²π₂)^o)^o.(id,²π₂)^o)^o)^o,select.(²π₁.²π₁,(+)*.zip₂.(²π₂,repeat.(1,#.²π₂)^o)^o)^o.(id,²π₂)^o)^o . id . (id,(+.(²π₂,1)^o)*.distl.(id,iota.-.(#.id,2)^o)^o)^o . id . id . id

after applying RightAssoc2

after applying CompIntoAlltup1

( + )* . zip₂ . ((+)*.zip₂.(select.(²π₁.²π₁.(id,²π₂)^o,²π₂.(id,²π₂)^o)^o,select.(²π₁.²π₁.(id,²π₂)^o,(-)*.zip₂.(²π₂.(id,²π₂)^o,repeat.(1,#.²π₂)^o.(id,²π₂)^o)^o)^o)^o,select.(²π₁.²π₁,(+)*.zip₂.(²π₂,repeat.(1,#.²π₂)^o)^o)^o.(id,²π₂)^o)^o . id . (id,(+.(²π₂,1)^o)*.distl.(id,iota.-.(#.id,2)^o)^o)^o . id . id . id

after applying RightAssoc2

after applying CompIntoAlltup1

( + )* . zip₂ . ((+)*.zip₂.(select.(²π₁.²π₁.(id,²π₂)^o,²π₂.(id,²π₂)^o)^o,select.(²π₁.²π₁.(id,²π₂)^o,(-)*.zip₂.(²π₂.(id,²π₂)^o,repeat.(1.(id,²π₂)^o,#.²π₂.(id,²π₂)^o)^o)^o)^o)^o,select.(²π₁.²π₁,(+)*.zip₂.(²π₂,repeat.(1,#.²π₂)^o)^o)^o.(id,²π₂)^o)^o . id . (id,(+.(²π₂,1)^o)*.distl.(id,iota.-.(#.id,2)^o)^o)^o . id . id . id

after applying RightAssoc2

after applying CompIntoAlltup1

( + )* . zip₂ . ((+)*.zip₂.(select.(²π₁.²π₁.(id,²π₂)^o,²π₂.(id,²π₂)^o)^o,select.(²π₁.²π₁.(id,²π₂)^o,(-)*.zip₂.(²π₂.(id,²π₂)^o,repeat.(1.(id,²π₂)^o,#.²π₂.(id,²π₂)^o)^o)^o)^o)^o,select.(²π₁.²π₁.(id,²π₂)^o,(+)*.zip₂.(²π₂,repeat.(1,#.²π₂)^o)^o.(id,²π₂)^o)^o)^o . id . (id,(+.(²π₂,1)^o)*.distl.(id,iota.-.(#.id,2)^o)^o)^o . id . id . id

after applying RightAssoc2

( + )* . zip₂ . ((+)*.zip₂.(select.(²π₁.²π₁.(id,²π₂)^o,²π₂.(id,²π₂)^o)^o,select.(²π₁.²π₁.(id,²π₂)^o,(-)*.zip₂.(²π₂.(id,²π₂)^o,repeat.(1.(id,²π₂)^o,#.²π₂.(id,²π₂)^o)^o)^o)^o)^o,select.(²π₁.²π₁.(id,²π₂)^o,(+)*.zip₂.(²π₂,repeat.(1,#.²π₂)^o)^o.(id,²π₂)^o)^o)^o . id . (id,(+.(²π₂,1)^o)*.distl.(id,iota.-.(#.id,2)^o)^o)^o . id . id . id

after applying CompIntoAlltup1

( + )* . zip₂ . ((+)*.zip₂.(select.(²π₁.²π₁.(id,²π₂)^o,²π₂.(id,²π₂)^o)^o,select.(²π₁.²π₁.(id,²π₂)^o,(-)*.zip₂.(²π₂.(id,²π₂)^o,repeat.(1.(id,²π₂)^o,#.²π₂.(id,²π₂)^o)^o)^o)^o)^o,select.(²π₁.²π₁.(id,²π₂)^o,(+)*.zip₂.(²π₂.(id,²π₂)^o,repeat.(1,#.²π₂)^o.(id,²π₂)^o)^o)^o)^o . id . (id,(+.(²π₂,1)^o)*.distl.(id,iota.-.(#.id,2)^o)^o)^o . id . id . id

after applying RightAssoc2

( + )* . zip₂ . ((+)*.zip₂.(select.(²π₁.²π₁.(id,²π₂)^o,²π₂.(id,²π₂)^o)^o,select.(²π₁.²π₁.(id,²π₂)^o,(-)*.zip₂.(²π₂.(id,²π₂)^o,repeat.(1.(id,²π₂)^o,#.²π₂.(id,²π₂)^o)^o)^o)^o)^o,select.(²π₁.²π₁.(id,²π₂)^o,(+)*.zip₂.(²π₂.(id,²π₂)^o,repeat.(1,#.²π₂)^o.(id,²π₂)^o)^o)^o)^o . id . (id,(+.(²π₂,1)^o)*.distl.(id,iota.-.(#.id,2)^o)^o)^o . id . id . id

after applying CompIntoAlltup1

( + )* . zip₂ . ((+)*.zip₂.(select.(²π₁.²π₁.(id,²π₂)^o,²π₂.(id,²π₂)^o)^o,select.(²π₁.²π₁.(id,²π₂)^o,(-)*.zip₂.(²π₂.(id,²π₂)^o,repeat.(1.(id,²π₂)^o,#.²π₂.(id,²π₂)^o)^o)^o)^o)^o,select.(²π₁.²π₁.(id,²π₂)^o,(+)*.zip₂.(²π₂.(id,²π₂)^o,repeat.(1.(id,²π₂)^o,#.²π₂.(id,²π₂)^o)^o)^o)^o)^o . id . (id,(+.(²π₂,1)^o)*.distl.(id,iota.-.(#.id,2)^o)^o)^o . id . id . id

after applying RightAssoc2

( + )* . zip₂ . ((+)*.zip₂.(select.(²π₁.²π₁.(id,²π₂)^o,²π₂.(id,²π₂)^o)^o,select.(²π₁.²π₁.(id,²π₂)^o,(-)*.zip₂.(²π₂.(id,²π₂)^o,repeat.(1.(id,²π₂)^o,#.²π₂.(id,²π₂)^o)^o)^o)^o)^o,select.(²π₁.²π₁.(id,²π₂)^o,(+)*.zip₂.(²π₂.(id,²π₂)^o,repeat.(1.(id,²π₂)^o,#.²π₂.(id,²π₂)^o)^o)^o)^o)^o . id . (id,(+.(²π₂,1)^o)*.distl.(id,iota.-.(#.id,2)^o)^o)^o . id . id . id

after applying AddrIntoAlltup

( + )* . zip₂ . ((+)*.zip₂.(select.(²π₁.id,²π₂.(id,²π₂)^o)^o,select.(²π₁.²π₁.(id,²π₂)^o,(-)*.zip₂.(²π₂.(id,²π₂)^o,repeat.(1.(id,²π₂)^o,#.²π₂.(id,²π₂)^o)^o)^o)^o)^o,select.(²π₁.²π₁.(id,²π₂)^o,(+)*.zip₂.(²π₂.(id,²π₂)^o,repeat.(1.(id,²π₂)^o,#.²π₂.(id,²π₂)^o)^o)^o)^o)^o . id . (id,(+.(²π₂,1)^o)*.distl.(id,iota.-.(#.id,2)^o)^o)^o . id . id . id

after applying RemoveIds2

( + )* . zip₂ . ((+)*.zip₂.(select.(²π₁,²π₂.(id,²π₂)^o)^o,select.(²π₁.²π₁.(id,²π₂)^o,(-)*.zip₂.(²π₂.(id,²π₂)^o,repeat.(1.(id,²π₂)^o,#.²π₂.(id,²π₂)^o)^o)^o)^o)^o,select.(²π₁.²π₁.(id,²π₂)^o,(+)*.zip₂.(²π₂.(id,²π₂)^o,repeat.(1.(id,²π₂)^o,#.²π₂.(id,²π₂)^o)^o)^o)^o)^o . id . (id,(+.(²π₂,1)^o)*.distl.(id,iota.-.(#.id,2)^o)^o)^o . id . id . id

after applying AddrIntoAlltup

( + )* . zip₂ . ((+)*.zip₂.(select.(²π₁,²π₂)^o,select.(²π₁.²π₁.(id,²π₂)^o,(-)*.zip₂.(²π₂.(id,²π₂)^o,repeat.(1.(id,²π₂)^o,#.²π₂.(id,²π₂)^o)^o)^o)^o)^o,select.(²π₁.²π₁.(id,²π₂)^o,(+)*.zip₂.(²π₂.(id,²π₂)^o,repeat.(1.(id,²π₂)^o,#.²π₂.(id,²π₂)^o)^o)^o)^o)^o . id . (id,(+.(²π₂,1)^o)*.distl.(id,iota.-.(#.id,2)^o)^o)^o . id . id . id

after applying AlltupId

( + )* . zip₂ . ((+)*.zip₂.(select.id,select.(²π₁.²π₁.(id,²π₂)^o,(-)*.zip₂.(²π₂.(id,²π₂)^o,repeat.(1.(id,²π₂)^o,#.²π₂.(id,²π₂)^o)^o)^o)^o)^o,select.(²π₁.²π₁.(id,²π₂)^o,(+)*.zip₂.(²π₂.(id,²π₂)^o,repeat.(1.(id,²π₂)^o,#.²π₂.(id,²π₂)^o)^o)^o)^o)^o . id . (id,(+.(²π₂,1)^o)*.distl.(id,iota.-.(#.id,2)^o)^o)^o . id . id . id

after applying RemoveIds2

( + )* . zip₂ . ((+)*.zip₂.(select,select.(²π₁.²π₁.(id,²π₂)^o,(-)*.zip₂.(²π₂.(id,²π₂)^o,repeat.(1.(id,²π₂)^o,#.²π₂.(id,²π₂)^o)^o)^o)^o)^o,select.(²π₁.²π₁.(id,²π₂)^o,(+)*.zip₂.(²π₂.(id,²π₂)^o,repeat.(1.(id,²π₂)^o,#.²π₂.(id,²π₂)^o)^o)^o)^o)^o . id . (id,(+.(²π₂,1)^o)*.distl.(id,iota.-.(#.id,2)^o)^o)^o . id . id . id

after applying RightAssoc2

after applying AddrIntoAlltup

( + )* . zip₂ . ((+)*.zip₂.(select,select.(²π₁.id,(-)*.zip₂.(²π₂.(id,²π₂)^o,repeat.(1.(id,²π₂)^o,#.²π₂.(id,²π₂)^o)^o)^o)^o)^o,select.(²π₁.²π₁.(id,²π₂)^o,(+)*.zip₂.(²π₂.(id,²π₂)^o,repeat.(1.(id,²π₂)^o,#.²π₂.(id,²π₂)^o)^o)^o)^o)^o . id . (id,(+.(²π₂,1)^o)*.distl.(id,iota.-.(#.id,2)^o)^o)^o . id . id . id

after applying RemoveIds2

( + )* . zip₂ . ((+)*.zip₂.(select,select.(²π₁,(-)*.zip₂.(²π₂.(id,²π₂)^o,repeat.(1.(id,²π₂)^o,#.²π₂.(id,²π₂)^o)^o)^o)^o)^o,select.(²π₁.²π₁.(id,²π₂)^o,(+)*.zip₂.(²π₂.(id,²π₂)^o,repeat.(1.(id,²π₂)^o,#.²π₂.(id,²π₂)^o)^o)^o)^o)^o . id . (id,(+.(²π₂,1)^o)*.distl.(id,iota.-.(#.id,2)^o)^o)^o . id . id . id

after applying AddrIntoAlltup

( + )* . zip₂ . ((+)*.zip₂.(select,select.(²π₁,(-)*.zip₂.(²π₂,repeat.(1.(id,²π₂)^o,#.²π₂.(id,²π₂)^o)^o)^o)^o)^o,select.(²π₁.²π₁.(id,²π₂)^o,(+)*.zip₂.(²π₂.(id,²π₂)^o,repeat.(1.(id,²π₂)^o,#.²π₂.(id,²π₂)^o)^o)^o)^o)^o . id . (id,(+.(²π₂,1)^o)*.distl.(id,iota.-.(#.id,2)^o)^o)^o . id . id . id

after applying ConAsorb

( + )* . zip₂ . ((+)*.zip₂.(select,select.(²π₁,(-)*.zip₂.(²π₂,repeat.(1,#.²π₂.(id,²π₂)^o)^o)^o)^o)^o,select.(²π₁.²π₁.(id,²π₂)^o,(+)*.zip₂.(²π₂.(id,²π₂)^o,repeat.(1.(id,²π₂)^o,#.²π₂.(id,²π₂)^o)^o)^o)^o)^o . id . (id,(+.(²π₂,1)^o)*.distl.(id,iota.-.(#.id,2)^o)^o)^o . id . id . id

after applying RightAssoc2

after applying AddrIntoAlltup

( + )* . zip₂ . ((+)*.zip₂.(select,select.(²π₁,(-)*.zip₂.(²π₂,repeat.(1,#.²π₂)^o)^o)^o)^o,select.(²π₁.²π₁.(id,²π₂)^o,(+)*.zip₂.(²π₂.(id,²π₂)^o,repeat.(1.(id,²π₂)^o,#.²π₂.(id,²π₂)^o)^o)^o)^o)^o . id . (id,(+.(²π₂,1)^o)*.distl.(id,iota.-.(#.id,2)^o)^o)^o . id . id . id

after applying RightAssoc2

after applying AddrIntoAlltup

( + )* . zip₂ . ((+)*.zip₂.(select,select.(²π₁,(-)*.zip₂.(²π₂,repeat.(1,#.²π₂)^o)^o)^o)^o,select.(²π₁.id,(+)*.zip₂.(²π₂.(id,²π₂)^o,repeat.(1.(id,²π₂)^o,#.²π₂.(id,²π₂)^o)^o)^o)^o)^o . id . (id,(+.(²π₂,1)^o)*.distl.(id,iota.-.(#.id,2)^o)^o)^o . id . id . id

after applying RemoveIds2

( + )* . zip₂ . ((+)*.zip₂.(select,select.(²π₁,(-)*.zip₂.(²π₂,repeat.(1,#.²π₂)^o)^o)^o)^o,select.(²π₁,(+)*.zip₂.(²π₂.(id,²π₂)^o,repeat.(1.(id,²π₂)^o,#.²π₂.(id,²π₂)^o)^o)^o)^o)^o . id . (id,(+.(²π₂,1)^o)*.distl.(id,iota.-.(#.id,2)^o)^o)^o . id . id . id

after applying AddrIntoAlltup

( + )* . zip₂ . ((+)*.zip₂.(select,select.(²π₁,(-)*.zip₂.(²π₂,repeat.(1,#.²π₂)^o)^o)^o)^o,select.(²π₁,(+)*.zip₂.(²π₂,repeat.(1.(id,²π₂)^o,#.²π₂.(id,²π₂)^o)^o)^o)^o)^o . id . (id,(+.(²π₂,1)^o)*.distl.(id,iota.-.(#.id,2)^o)^o)^o . id . id . id

after applying ConAsorb

( + )* . zip₂ . ((+)*.zip₂.(select,select.(²π₁,(-)*.zip₂.(²π₂,repeat.(1,#.²π₂)^o)^o)^o)^o,select.(²π₁,(+)*.zip₂.(²π₂,repeat.(1,#.²π₂.(id,²π₂)^o)^o)^o)^o)^o . id . (id,(+.(²π₂,1)^o)*.distl.(id,iota.-.(#.id,2)^o)^o)^o . id . id . id

after applying RightAssoc2

after applying AddrIntoAlltup

( + )* . zip₂ . ((+)*.zip₂.(select,select.(²π₁,(-)*.zip₂.(²π₂,repeat.(1,#.²π₂)^o)^o)^o)^o,select.(²π₁,(+)*.zip₂.(²π₂,repeat.(1,#.²π₂)^o)^o)^o)^o . id . (id,(+.(²π₂,1)^o)*.distl.(id,iota.-.(#.id,2)^o)^o)^o . id . id . id

after applying MapIntoComp

after applying MapIntoAlltup

after applying LeftAssociate

after applying ConRepeat

after applying DistlElim

( + )* . zip₂ . ((+)*.zip₂.(select,select.(²π₁,(-)*.zip₂.(²π₂,repeat.(1,#.²π₂)^o)^o)^o)^o,select.(²π₁,(+)*.zip₂.(²π₂,repeat.(1,#.²π₂)^o)^o)^o)^o . id . (id,(+)*.zip₂.((²π₂)*,repeat.(1,#)^o)^o.zip₂.(repeat.(²π₁,#.²π₂)^o,²π₂)^o.(id,iota.-.(#.id,2)^o)^o)^o . id . id . id

after applying LeftAssociate

after applying RightAssoc2

after applying CompIntoAlltup1

( + )* . zip₂ . ((+)*.zip₂.(select,select.(²π₁,(-)*.zip₂.(²π₂,repeat.(1,#.²π₂)^o)^o)^o)^o,select.(²π₁,(+)*.zip₂.(²π₂,repeat.(1,#.²π₂)^o)^o)^o)^o . id . (id,(+)*.zip₂.((²π₂)*.zip₂,repeat.(1,#)^o.zip₂)^o.(repeat.(²π₁,#.²π₂)^o,²π₂)^o.(id,iota.-.(#.id,2)^o)^o)^o . id . id . id

after applying RightAssoc2

( + )* . zip₂ . ((+)*.zip₂.(select,select.(²π₁,(-)*.zip₂.(²π₂,repeat.(1,#.²π₂)^o)^o)^o)^o,select.(²π₁,(+)*.zip₂.(²π₂,repeat.(1,#.²π₂)^o)^o)^o)^o . id . (id,(+)*.zip₂.((²π₂)*.zip₂,repeat.(1,#)^o.zip₂)^o.(repeat.(²π₁,#.²π₂)^o,²π₂)^o.(id,iota.-.(#.id,2)^o)^o)^o . id . id . id

after applying CompIntoAlltup1

( + )* . zip₂ . ((+)*.zip₂.(select,select.(²π₁,(-)*.zip₂.(²π₂,repeat.(1,#.²π₂)^o)^o)^o)^o,select.(²π₁,(+)*.zip₂.(²π₂,repeat.(1,#.²π₂)^o)^o)^o)^o . id . (id,(+)*.zip₂.((²π₂)*.zip₂,repeat.(1.zip₂,#.zip₂)^o)^o.(repeat.(²π₁,#.²π₂)^o,²π₂)^o.(id,iota.-.(#.id,2)^o)^o)^o . id . id . id

after applying RightAssoc2

( + )* . zip₂ . ((+)*.zip₂.(select,select.(²π₁,(-)*.zip₂.(²π₂,repeat.(1,#.²π₂)^o)^o)^o)^o,select.(²π₁,(+)*.zip₂.(²π₂,repeat.(1,#.²π₂)^o)^o)^o)^o . id . (id,(+)*.zip₂.((²π₂)*.zip₂,repeat.(1.zip₂,#.zip₂)^o)^o.(repeat.(²π₁,#.²π₂)^o,²π₂)^o.(id,iota.-.(#.id,2)^o)^o)^o . id . id . id

after applying CompIntoAlltup1

( + )* . zip₂ . ((+)*.zip₂.(select,select.(²π₁,(-)*.zip₂.(²π₂,repeat.(1,#.²π₂)^o)^o)^o)^o,select.(²π₁,(+)*.zip₂.(²π₂,repeat.(1,#.²π₂)^o)^o)^o)^o . id . (id,(+)*.zip₂.((²π₂)*.zip₂.(repeat.(²π₁,#.²π₂)^o,²π₂)^o,repeat.(1.zip₂,#.zip₂)^o.(repeat.(²π₁,#.²π₂)^o,²π₂)^o)^o.(id,iota.-.(#.id,2)^o)^o)^o . id . id . id

after applying RightAssoc2

( + )* . zip₂ . ((+)*.zip₂.(select,select.(²π₁,(-)*.zip₂.(²π₂,repeat.(1,#.²π₂)^o)^o)^o)^o,select.(²π₁,(+)*.zip₂.(²π₂,repeat.(1,#.²π₂)^o)^o)^o)^o . id . (id,(+)*.zip₂.((²π₂)*.zip₂.(repeat.(²π₁,#.²π₂)^o,²π₂)^o,repeat.(1.zip₂,#.zip₂)^o.(repeat.(²π₁,#.²π₂)^o,²π₂)^o)^o.(id,iota.-.(#.id,2)^o)^o)^o . id . id . id

after applying CompIntoAlltup1

( + )* . zip₂ . ((+)*.zip₂.(select,select.(²π₁,(-)*.zip₂.(²π₂,repeat.(1,#.²π₂)^o)^o)^o)^o,select.(²π₁,(+)*.zip₂.(²π₂,repeat.(1,#.²π₂)^o)^o)^o)^o . id . (id,(+)*.zip₂.((²π₂)*.zip₂.(repeat.(²π₁,#.²π₂)^o,²π₂)^o,repeat.(1.zip₂.(repeat.(²π₁,#.²π₂)^o,²π₂)^o,#.zip₂.(repeat.(²π₁,#.²π₂)^o,²π₂)^o)^o)^o.(id,iota.-.(#.id,2)^o)^o)^o . id . id . id

after applying AddrIntoZip

( + )* . zip₂ . ((+)*.zip₂.(select,select.(²π₁,(-)*.zip₂.(²π₂,repeat.(1,#.²π₂)^o)^o)^o)^o,select.(²π₁,(+)*.zip₂.(²π₂,repeat.(1,#.²π₂)^o)^o)^o)^o . id . (id,(+)*.zip₂.(²π₂.(repeat.(²π₁,#.²π₂)^o,²π₂)^o,repeat.(1.zip₂.(repeat.(²π₁,#.²π₂)^o,²π₂)^o,#.zip₂.(repeat.(²π₁,#.²π₂)^o,²π₂)^o)^o)^o.(id,iota.-.(#.id,2)^o)^o)^o . id . id . id

after applying AddrIntoAlltup

( + )* . zip₂ . ((+)*.zip₂.(select,select.(²π₁,(-)*.zip₂.(²π₂,repeat.(1,#.²π₂)^o)^o)^o)^o,select.(²π₁,(+)*.zip₂.(²π₂,repeat.(1,#.²π₂)^o)^o)^o)^o . id . (id,(+)*.zip₂.(²π₂,repeat.(1.zip₂.(repeat.(²π₁,#.²π₂)^o,²π₂)^o,#.zip₂.(repeat.(²π₁,#.²π₂)^o,²π₂)^o)^o)^o.(id,iota.-.(#.id,2)^o)^o)^o . id . id . id

after applying ConAsorb

( + )* . zip₂ . ((+)*.zip₂.(select,select.(²π₁,(-)*.zip₂.(²π₂,repeat.(1,#.²π₂)^o)^o)^o)^o,select.(²π₁,(+)*.zip₂.(²π₂,repeat.(1,#.²π₂)^o)^o)^o)^o . id . (id,(+)*.zip₂.(²π₂,repeat.(1.(repeat.(²π₁,#.²π₂)^o,²π₂)^o,#.zip₂.(repeat.(²π₁,#.²π₂)^o,²π₂)^o)^o)^o.(id,iota.-.(#.id,2)^o)^o)^o . id . id . id

after applying ConAsorb

( + )* . zip₂ . ((+)*.zip₂.(select,select.(²π₁,(-)*.zip₂.(²π₂,repeat.(1,#.²π₂)^o)^o)^o)^o,select.(²π₁,(+)*.zip₂.(²π₂,repeat.(1,#.²π₂)^o)^o)^o)^o . id . (id,(+)*.zip₂.(²π₂,repeat.(1,#.zip₂.(repeat.(²π₁,#.²π₂)^o,²π₂)^o)^o)^o.(id,iota.-.(#.id,2)^o)^o)^o . id . id . id

after applying LengthIntoZip

( + )* . zip₂ . ((+)*.zip₂.(select,select.(²π₁,(-)*.zip₂.(²π₂,repeat.(1,#.²π₂)^o)^o)^o)^o,select.(²π₁,(+)*.zip₂.(²π₂,repeat.(1,#.²π₂)^o)^o)^o)^o . id . (id,(+)*.zip₂.(²π₂,repeat.(1,#.²π₁.(repeat.(²π₁,#.²π₂)^o,²π₂)^o)^o)^o.(id,iota.-.(#.id,2)^o)^o)^o . id . id . id

after applying RightAssoc2

( + )* . zip₂ . ((+)*.zip₂.(select,select.(²π₁,(-)*.zip₂.(²π₂,repeat.(1,#.²π₂)^o)^o)^o)^o,select.(²π₁,(+)*.zip₂.(²π₂,repeat.(1,#.²π₂)^o)^o)^o)^o . id . (id,(+)*.zip₂.(²π₂,repeat.(1,#.²π₁.(repeat.(²π₁,#.²π₂)^o,²π₂)^o)^o)^o.(id,iota.-.(#.id,2)^o)^o)^o . id . id . id

after applying AddrIntoAlltup

( + )* . zip₂ . ((+)*.zip₂.(select,select.(²π₁,(-)*.zip₂.(²π₂,repeat.(1,#.²π₂)^o)^o)^o)^o,select.(²π₁,(+)*.zip₂.(²π₂,repeat.(1,#.²π₂)^o)^o)^o)^o . id . (id,(+)*.zip₂.(²π₂,repeat.(1,#.repeat.(²π₁,#.²π₂)^o)^o)^o.(id,iota.-.(#.id,2)^o)^o)^o . id . id . id

after applying LeftAssociate

( + )* . zip₂ . ((+)*.zip₂.(select,select.(²π₁,(-)*.zip₂.(²π₂,repeat.(1,#.²π₂)^o)^o)^o)^o,select.(²π₁,(+)*.zip₂.(²π₂,repeat.(1,#.²π₂)^o)^o)^o)^o . id . (id,(+)*.zip₂.(²π₂,repeat.(1,#.repeat.(²π₁,#.²π₂)^o)^o)^o.(id,iota.-.(#.id,2)^o)^o)^o . id . id . id

after applying LengthIntoRepeat

( + )* . zip₂ . ((+)*.zip₂.(select,select.(²π₁,(-)*.zip₂.(²π₂,repeat.(1,#.²π₂)^o)^o)^o)^o,select.(²π₁,(+)*.zip₂.(²π₂,repeat.(1,#.²π₂)^o)^o)^o)^o . id . (id,(+)*.zip₂.(²π₂,repeat.(1,²π₂.(²π₁,#.²π₂)^o)^o)^o.(id,iota.-.(#.id,2)^o)^o)^o . id . id . id

after applying AddrIntoAlltup

after applying RemoveIds2

after applying LeftAssociate

after applying RightAssoc2

after applying CompIntoAlltup1

( + )* . zip₂ . ((+)*.zip₂.(select,select.(²π₁,(-)*.zip₂.(²π₂,repeat.(1,#.²π₂)^o)^o)^o)^o,select.(²π₁,(+)*.zip₂.(²π₂,repeat.(1,#.²π₂)^o)^o)^o)^o . id . (id,(+)*.zip₂.(²π₂.(id,iota.-.(#,2)^o)^o,repeat.(1,#.²π₂)^o.(id,iota.-.(#,2)^o)^o)^o)^o . id . id . id

after applying RightAssoc2

( + )* . zip₂ . ((+)*.zip₂.(select,select.(²π₁,(-)*.zip₂.(²π₂,repeat.(1,#.²π₂)^o)^o)^o)^o,select.(²π₁,(+)*.zip₂.(²π₂,repeat.(1,#.²π₂)^o)^o)^o)^o . id . (id,(+)*.zip₂.(²π₂.(id,iota.-.(#,2)^o)^o,repeat.(1,#.²π₂)^o.(id,iota.-.(#,2)^o)^o)^o)^o . id . id . id

after applying CompIntoAlltup1

( + )* . zip₂ . ((+)*.zip₂.(select,select.(²π₁,(-)*.zip₂.(²π₂,repeat.(1,#.²π₂)^o)^o)^o)^o,select.(²π₁,(+)*.zip₂.(²π₂,repeat.(1,#.²π₂)^o)^o)^o)^o . id . (id,(+)*.zip₂.(²π₂.(id,iota.-.(#,2)^o)^o,repeat.(1.(id,iota.-.(#,2)^o)^o,#.²π₂.(id,iota.-.(#,2)^o)^o)^o)^o)^o . id . id . id

after applying AddrIntoAlltup

( + )* . zip₂ . ((+)*.zip₂.(select,select.(²π₁,(-)*.zip₂.(²π₂,repeat.(1,#.²π₂)^o)^o)^o)^o,select.(²π₁,(+)*.zip₂.(²π₂,repeat.(1,#.²π₂)^o)^o)^o)^o . id . (id,(+)*.zip₂.(iota.-.(#,2)^o,repeat.(1.(id,iota.-.(#,2)^o)^o,#.²π₂.(id,iota.-.(#,2)^o)^o)^o)^o)^o . id . id . id

after applying ConAsorb

after applying RightAssoc2

after applying AddrIntoAlltup

after applying LeftAssociate

after applying LengthIntoIota

after applying RemoveIds1

( + )* . zip₂ . ((+)*.zip₂.(select,select.(²π₁,(-)*.zip₂.(²π₂,repeat.(1,#.²π₂)^o)^o)^o)^o,select.(²π₁,(+)*.zip₂.(²π₂,repeat.(1,#.²π₂)^o)^o)^o)^o . (id,(+)*.zip₂.(iota.-.(#,2)^o,repeat.(1,-.(#,2)^o)^o)^o)^o . id . id . id

after applying CompIntoAlltup1

( + )* . zip₂ . ((+)*.zip₂.(select,select.(²π₁,(-)*.zip₂.(²π₂,repeat.(1,#.²π₂)^o)^o)^o)^o,select.(²π₁,(+)*.zip₂.(²π₂,repeat.(1,#.²π₂)^o)^o)^o)^o . (id.id,(+)*.zip₂.(iota.-.(#,2)^o,repeat.(1,-.(#,2)^o)^o)^o.id)^o . id . id

after applying RightAssoc2

after applying CompIntoAlltup1

after applying RightAssoc2

after applying CompIntoAlltup1

after applying RightAssoc2

after applying CompIntoAlltup1

after applying RightAssoc2

after applying CompIntoAlltup1

after applying RemoveIds1

after applying RemoveIds2

after applying ConAsorb

after applying RemoveIds2

after applying ConAsorb

after applying CompIntoAlltup1

after applying RightAssoc2

after applying CompIntoAlltup1

after applying RightAssoc2

after applying CompIntoAlltup1

after applying RightAssoc2

after applying CompIntoAlltup1

after applying RightAssoc2

after applying CompIntoAlltup1

after applying RemoveIds1

after applying RemoveIds2

after applying ConAsorb

after applying RemoveIds2

after applying ConAsorb

after applying RightAssoc2

after applying CompIntoAlltup1

( + )* . zip₂ . ((+)*.zip₂.(select,select.(²π₁,(-)*.zip₂.(²π₂,repeat.(1,#.²π₂)^o)^o)^o)^o.(id,(+)*.zip₂.(iota.-.(#,2)^o,repeat.(1,-.(#,2)^o)^o)^o)^o,select.(²π₁,(+)*.zip₂.(²π₂,repeat.(1,#.²π₂)^o)^o)^o.(id,(+)*.zip₂.(iota.-.(#,2)^o,repeat.(1,-.(#,2)^o)^o)^o)^o)^o . id

after applying RightAssoc2

after applying CompIntoAlltup1

( + )* . zip₂ . ((+)*.zip₂.(select.(id,(+)*.zip₂.(iota.-.(#,2)^o,repeat.(1,-.(#,2)^o)^o)^o)^o,select.(²π₁,(-)*.zip₂.(²π₂,repeat.(1,#.²π₂)^o)^o)^o.(id,(+)*.zip₂.(iota.-.(#,2)^o,repeat.(1,-.(#,2)^o)^o)^o)^o)^o,select.(²π₁,(+)*.zip₂.(²π₂,repeat.(1,#.²π₂)^o)^o)^o.(id,(+)*.zip₂.(iota.-.(#,2)^o,repeat.(1,-.(#,2)^o)^o)^o)^o)^o . id

after applying RightAssoc2

after applying CompIntoAlltup1

after applying RightAssoc2

after applying CompIntoAlltup1

after applying RightAssoc2

after applying CompIntoAlltup1

( + )* . zip₂ . ((+)*.zip₂.(select.(id,(+)*.zip₂.(iota.-.(#,2)^o,repeat.(1,-.(#,2)^o)^o)^o)^o,select.(²π₁.(id,(+)*.zip₂.(iota.-.(#,2)^o,repeat.(1,-.(#,2)^o)^o)^o)^o,(-)*.zip₂.(²π₂.(id,(+)*.zip₂.(iota.-.(#,2)^o,repeat.(1,-.(#,2)^o)^o)^o)^o,repeat.(1.(id,(+)*.zip₂.(iota.-.(#,2)^o,repeat.(1,-.(#,2)^o)^o)^o)^o,#.²π₂.(id,(+)*.zip₂.(iota.-.(#,2)^o,repeat.(1,-.(#,2)^o)^o)^o)^o)^o)^o)^o)^o,select.(²π₁,(+)*.zip₂.(²π₂,repeat.(1,#.²π₂)^o)^o)^o.(id,(+)*.zip₂.(iota.-.(#,2)^o,repeat.(1,-.(#,2)^o)^o)^o)^o)^o . id

after applying RightAssoc2

after applying CompIntoAlltup1

( + )* . zip₂ . ((+)*.zip₂.(select.(id,(+)*.zip₂.(iota.-.(#,2)^o,repeat.(1,-.(#,2)^o)^o)^o)^o,select.(²π₁.(id,(+)*.zip₂.(iota.-.(#,2)^o,repeat.(1,-.(#,2)^o)^o)^o)^o,(-)*.zip₂.(²π₂.(id,(+)*.zip₂.(iota.-.(#,2)^o,repeat.(1,-.(#,2)^o)^o)^o)^o,repeat.(1.(id,(+)*.zip₂.(iota.-.(#,2)^o,repeat.(1,-.(#,2)^o)^o)^o)^o,#.²π₂.(id,(+)*.zip₂.(iota.-.(#,2)^o,repeat.(1,-.(#,2)^o)^o)^o)^o)^o)^o)^o)^o,select.(²π₁.(id,(+)*.zip₂.(iota.-.(#,2)^o,repeat.(1,-.(#,2)^o)^o)^o)^o,(+)*.zip₂.(²π₂,repeat.(1,#.²π₂)^o)^o.(id,(+)*.zip₂.(iota.-.(#,2)^o,repeat.(1,-.(#,2)^o)^o)^o)^o)^o)^o . id

after applying RightAssoc2

( + )* . zip₂ . ((+)*.zip₂.(select.(id,(+)*.zip₂.(iota.-.(#,2)^o,repeat.(1,-.(#,2)^o)^o)^o)^o,select.(²π₁.(id,(+)*.zip₂.(iota.-.(#,2)^o,repeat.(1,-.(#,2)^o)^o)^o)^o,(-)*.zip₂.(²π₂.(id,(+)*.zip₂.(iota.-.(#,2)^o,repeat.(1,-.(#,2)^o)^o)^o)^o,repeat.(1.(id,(+)*.zip₂.(iota.-.(#,2)^o,repeat.(1,-.(#,2)^o)^o)^o)^o,#.²π₂.(id,(+)*.zip₂.(iota.-.(#,2)^o,repeat.(1,-.(#,2)^o)^o)^o)^o)^o)^o)^o)^o,select.(²π₁.(id,(+)*.zip₂.(iota.-.(#,2)^o,repeat.(1,-.(#,2)^o)^o)^o)^o,(+)*.zip₂.(²π₂,repeat.(1,#.²π₂)^o)^o.(id,(+)*.zip₂.(iota.-.(#,2)^o,repeat.(1,-.(#,2)^o)^o)^o)^o)^o)^o . id

after applying CompIntoAlltup1

( + )* . zip₂ . ((+)*.zip₂.(select.(id,(+)*.zip₂.(iota.-.(#,2)^o,repeat.(1,-.(#,2)^o)^o)^o)^o,select.(²π₁.(id,(+)*.zip₂.(iota.-.(#,2)^o,repeat.(1,-.(#,2)^o)^o)^o)^o,(-)*.zip₂.(²π₂.(id,(+)*.zip₂.(iota.-.(#,2)^o,repeat.(1,-.(#,2)^o)^o)^o)^o,repeat.(1.(id,(+)*.zip₂.(iota.-.(#,2)^o,repeat.(1,-.(#,2)^o)^o)^o)^o,#.²π₂.(id,(+)*.zip₂.(iota.-.(#,2)^o,repeat.(1,-.(#,2)^o)^o)^o)^o)^o)^o)^o)^o,select.(²π₁.(id,(+)*.zip₂.(iota.-.(#,2)^o,repeat.(1,-.(#,2)^o)^o)^o)^o,(+)*.zip₂.(²π₂.(id,(+)*.zip₂.(iota.-.(#,2)^o,repeat.(1,-.(#,2)^o)^o)^o)^o,repeat.(1,#.²π₂)^o.(id,(+)*.zip₂.(iota.-.(#,2)^o,repeat.(1,-.(#,2)^o)^o)^o)^o)^o)^o)^o . id

after applying RightAssoc2

( + )* . zip₂ . ((+)*.zip₂.(select.(id,(+)*.zip₂.(iota.-.(#,2)^o,repeat.(1,-.(#,2)^o)^o)^o)^o,select.(²π₁.(id,(+)*.zip₂.(iota.-.(#,2)^o,repeat.(1,-.(#,2)^o)^o)^o)^o,(-)*.zip₂.(²π₂.(id,(+)*.zip₂.(iota.-.(#,2)^o,repeat.(1,-.(#,2)^o)^o)^o)^o,repeat.(1.(id,(+)*.zip₂.(iota.-.(#,2)^o,repeat.(1,-.(#,2)^o)^o)^o)^o,#.²π₂.(id,(+)*.zip₂.(iota.-.(#,2)^o,repeat.(1,-.(#,2)^o)^o)^o)^o)^o)^o)^o)^o,select.(²π₁.(id,(+)*.zip₂.(iota.-.(#,2)^o,repeat.(1,-.(#,2)^o)^o)^o)^o,(+)*.zip₂.(²π₂.(id,(+)*.zip₂.(iota.-.(#,2)^o,repeat.(1,-.(#,2)^o)^o)^o)^o,repeat.(1,#.²π₂)^o.(id,(+)*.zip₂.(iota.-.(#,2)^o,repeat.(1,-.(#,2)^o)^o)^o)^o)^o)^o)^o . id

after applying CompIntoAlltup1

( + )* . zip₂ . ((+)*.zip₂.(select.(id,(+)*.zip₂.(iota.-.(#,2)^o,repeat.(1,-.(#,2)^o)^o)^o)^o,select.(²π₁.(id,(+)*.zip₂.(iota.-.(#,2)^o,repeat.(1,-.(#,2)^o)^o)^o)^o,(-)*.zip₂.(²π₂.(id,(+)*.zip₂.(iota.-.(#,2)^o,repeat.(1,-.(#,2)^o)^o)^o)^o,repeat.(1.(id,(+)*.zip₂.(iota.-.(#,2)^o,repeat.(1,-.(#,2)^o)^o)^o)^o,#.²π₂.(id,(+)*.zip₂.(iota.-.(#,2)^o,repeat.(1,-.(#,2)^o)^o)^o)^o)^o)^o)^o)^o,select.(²π₁.(id,(+)*.zip₂.(iota.-.(#,2)^o,repeat.(1,-.(#,2)^o)^o)^o)^o,(+)*.zip₂.(²π₂.(id,(+)*.zip₂.(iota.-.(#,2)^o,repeat.(1,-.(#,2)^o)^o)^o)^o,repeat.(1.(id,(+)*.zip₂.(iota.-.(#,2)^o,repeat.(1,-.(#,2)^o)^o)^o)^o,#.²π₂.(id,(+)*.zip₂.(iota.-.(#,2)^o,repeat.(1,-.(#,2)^o)^o)^o)^o)^o)^o)^o)^o . id

after applying AddrIntoAlltup

( + )* . zip₂ . ((+)*.zip₂.(select.(id,(+)*.zip₂.(iota.-.(#,2)^o,repeat.(1,-.(#,2)^o)^o)^o)^o,select.(id,(-)*.zip₂.(²π₂.(id,(+)*.zip₂.(iota.-.(#,2)^o,repeat.(1,-.(#,2)^o)^o)^o)^o,repeat.(1.(id,(+)*.zip₂.(iota.-.(#,2)^o,repeat.(1,-.(#,2)^o)^o)^o)^o,#.²π₂.(id,(+)*.zip₂.(iota.-.(#,2)^o,repeat.(1,-.(#,2)^o)^o)^o)^o)^o)^o)^o)^o,select.(²π₁.(id,(+)*.zip₂.(iota.-.(#,2)^o,repeat.(1,-.(#,2)^o)^o)^o)^o,(+)*.zip₂.(²π₂.(id,(+)*.zip₂.(iota.-.(#,2)^o,repeat.(1,-.(#,2)^o)^o)^o)^o,repeat.(1.(id,(+)*.zip₂.(iota.-.(#,2)^o,repeat.(1,-.(#,2)^o)^o)^o)^o,#.²π₂.(id,(+)*.zip₂.(iota.-.(#,2)^o,repeat.(1,-.(#,2)^o)^o)^o)^o)^o)^o)^o)^o . id

after applying AddrIntoAlltup

( + )* . zip₂ . ((+)*.zip₂.(select.(id,(+)*.zip₂.(iota.-.(#,2)^o,repeat.(1,-.(#,2)^o)^o)^o)^o,select.(id,(-)*.zip₂.((+)*.zip₂.(iota.-.(#,2)^o,repeat.(1,-.(#,2)^o)^o)^o,repeat.(1.(id,(+)*.zip₂.(iota.-.(#,2)^o,repeat.(1,-.(#,2)^o)^o)^o)^o,#.²π₂.(id,(+)*.zip₂.(iota.-.(#,2)^o,repeat.(1,-.(#,2)^o)^o)^o)^o)^o)^o)^o)^o,select.(²π₁.(id,(+)*.zip₂.(iota.-.(#,2)^o,repeat.(1,-.(#,2)^o)^o)^o)^o,(+)*.zip₂.(²π₂.(id,(+)*.zip₂.(iota.-.(#,2)^o,repeat.(1,-.(#,2)^o)^o)^o)^o,repeat.(1.(id,(+)*.zip₂.(iota.-.(#,2)^o,repeat.(1,-.(#,2)^o)^o)^o)^o,#.²π₂.(id,(+)*.zip₂.(iota.-.(#,2)^o,repeat.(1,-.(#,2)^o)^o)^o)^o)^o)^o)^o)^o . id

after applying ConAsorb

( + )* . zip₂ . ((+)*.zip₂.(select.(id,(+)*.zip₂.(iota.-.(#,2)^o,repeat.(1,-.(#,2)^o)^o)^o)^o,select.(id,(-)*.zip₂.((+)*.zip₂.(iota.-.(#,2)^o,repeat.(1,-.(#,2)^o)^o)^o,repeat.(1,#.²π₂.(id,(+)*.zip₂.(iota.-.(#,2)^o,repeat.(1,-.(#,2)^o)^o)^o)^o)^o)^o)^o)^o,select.(²π₁.(id,(+)*.zip₂.(iota.-.(#,2)^o,repeat.(1,-.(#,2)^o)^o)^o)^o,(+)*.zip₂.(²π₂.(id,(+)*.zip₂.(iota.-.(#,2)^o,repeat.(1,-.(#,2)^o)^o)^o)^o,repeat.(1.(id,(+)*.zip₂.(iota.-.(#,2)^o,repeat.(1,-.(#,2)^o)^o)^o)^o,#.²π₂.(id,(+)*.zip₂.(iota.-.(#,2)^o,repeat.(1,-.(#,2)^o)^o)^o)^o)^o)^o)^o)^o . id

after applying RightAssoc2

( + )* . zip₂ . ((+)*.zip₂.(select.(id,(+)*.zip₂.(iota.-.(#,2)^o,repeat.(1,-.(#,2)^o)^o)^o)^o,select.(id,(-)*.zip₂.((+)*.zip₂.(iota.-.(#,2)^o,repeat.(1,-.(#,2)^o)^o)^o,repeat.(1,#.²π₂.(id,(+)*.zip₂.(iota.-.(#,2)^o,repeat.(1,-.(#,2)^o)^o)^o)^o)^o)^o)^o)^o,select.(²π₁.(id,(+)*.zip₂.(iota.-.(#,2)^o,repeat.(1,-.(#,2)^o)^o)^o)^o,(+)*.zip₂.(²π₂.(id,(+)*.zip₂.(iota.-.(#,2)^o,repeat.(1,-.(#,2)^o)^o)^o)^o,repeat.(1.(id,(+)*.zip₂.(iota.-.(#,2)^o,repeat.(1,-.(#,2)^o)^o)^o)^o,#.²π₂.(id,(+)*.zip₂.(iota.-.(#,2)^o,repeat.(1,-.(#,2)^o)^o)^o)^o)^o)^o)^o)^o . id

after applying AddrIntoAlltup

( + )* . zip₂ . ((+)*.zip₂.(select.(id,(+)*.zip₂.(iota.-.(#,2)^o,repeat.(1,-.(#,2)^o)^o)^o)^o,select.(id,(-)*.zip₂.((+)*.zip₂.(iota.-.(#,2)^o,repeat.(1,-.(#,2)^o)^o)^o,repeat.(1,#.(+)*.zip₂.(iota.-.(#,2)^o,repeat.(1,-.(#,2)^o)^o)^o)^o)^o)^o)^o,select.(²π₁.(id,(+)*.zip₂.(iota.-.(#,2)^o,repeat.(1,-.(#,2)^o)^o)^o)^o,(+)*.zip₂.(²π₂.(id,(+)*.zip₂.(iota.-.(#,2)^o,repeat.(1,-.(#,2)^o)^o)^o)^o,repeat.(1.(id,(+)*.zip₂.(iota.-.(#,2)^o,repeat.(1,-.(#,2)^o)^o)^o)^o,#.²π₂.(id,(+)*.zip₂.(iota.-.(#,2)^o,repeat.(1,-.(#,2)^o)^o)^o)^o)^o)^o)^o)^o . id

after applying LeftAssociate

( + )* . zip₂ . ((+)*.zip₂.(select.(id,(+)*.zip₂.(iota.-.(#,2)^o,repeat.(1,-.(#,2)^o)^o)^o)^o,select.(id,(-)*.zip₂.((+)*.zip₂.(iota.-.(#,2)^o,repeat.(1,-.(#,2)^o)^o)^o,repeat.(1,#.(+)*.zip₂.(iota.-.(#,2)^o,repeat.(1,-.(#,2)^o)^o)^o)^o)^o)^o)^o,select.(²π₁.(id,(+)*.zip₂.(iota.-.(#,2)^o,repeat.(1,-.(#,2)^o)^o)^o)^o,(+)*.zip₂.(²π₂.(id,(+)*.zip₂.(iota.-.(#,2)^o,repeat.(1,-.(#,2)^o)^o)^o)^o,repeat.(1.(id,(+)*.zip₂.(iota.-.(#,2)^o,repeat.(1,-.(#,2)^o)^o)^o)^o,#.²π₂.(id,(+)*.zip₂.(iota.-.(#,2)^o,repeat.(1,-.(#,2)^o)^o)^o)^o)^o)^o)^o)^o . id

after applying LeftAssociate

( + )* . zip₂ . ((+)*.zip₂.(select.(id,(+)*.zip₂.(iota.-.(#,2)^o,repeat.(1,-.(#,2)^o)^o)^o)^o,select.(id,(-)*.zip₂.((+)*.zip₂.(iota.-.(#,2)^o,repeat.(1,-.(#,2)^o)^o)^o,repeat.(1,#.(+)*.zip₂.(iota.-.(#,2)^o,repeat.(1,-.(#,2)^o)^o)^o)^o)^o)^o)^o,select.(²π₁.(id,(+)*.zip₂.(iota.-.(#,2)^o,repeat.(1,-.(#,2)^o)^o)^o)^o,(+)*.zip₂.(²π₂.(id,(+)*.zip₂.(iota.-.(#,2)^o,repeat.(1,-.(#,2)^o)^o)^o)^o,repeat.(1.(id,(+)*.zip₂.(iota.-.(#,2)^o,repeat.(1,-.(#,2)^o)^o)^o)^o,#.²π₂.(id,(+)*.zip₂.(iota.-.(#,2)^o,repeat.(1,-.(#,2)^o)^o)^o)^o)^o)^o)^o)^o . id

after applying LengthIntoMap

( + )* . zip₂ . ((+)*.zip₂.(select.(id,(+)*.zip₂.(iota.-.(#,2)^o,repeat.(1,-.(#,2)^o)^o)^o)^o,select.(id,(-)*.zip₂.((+)*.zip₂.(iota.-.(#,2)^o,repeat.(1,-.(#,2)^o)^o)^o,repeat.(1,#.zip₂.(iota.-.(#,2)^o,repeat.(1,-.(#,2)^o)^o)^o)^o)^o)^o)^o,select.(²π₁.(id,(+)*.zip₂.(iota.-.(#,2)^o,repeat.(1,-.(#,2)^o)^o)^o)^o,(+)*.zip₂.(²π₂.(id,(+)*.zip₂.(iota.-.(#,2)^o,repeat.(1,-.(#,2)^o)^o)^o)^o,repeat.(1.(id,(+)*.zip₂.(iota.-.(#,2)^o,repeat.(1,-.(#,2)^o)^o)^o)^o,#.²π₂.(id,(+)*.zip₂.(iota.-.(#,2)^o,repeat.(1,-.(#,2)^o)^o)^o)^o)^o)^o)^o)^o . id

after applying LengthIntoZip

( + )* . zip₂ . ((+)*.zip₂.(select.(id,(+)*.zip₂.(iota.-.(#,2)^o,repeat.(1,-.(#,2)^o)^o)^o)^o,select.(id,(-)*.zip₂.((+)*.zip₂.(iota.-.(#,2)^o,repeat.(1,-.(#,2)^o)^o)^o,repeat.(1,#.²π₁.(iota.-.(#,2)^o,repeat.(1,-.(#,2)^o)^o)^o)^o)^o)^o)^o,select.(²π₁.(id,(+)*.zip₂.(iota.-.(#,2)^o,repeat.(1,-.(#,2)^o)^o)^o)^o,(+)*.zip₂.(²π₂.(id,(+)*.zip₂.(iota.-.(#,2)^o,repeat.(1,-.(#,2)^o)^o)^o)^o,repeat.(1.(id,(+)*.zip₂.(iota.-.(#,2)^o,repeat.(1,-.(#,2)^o)^o)^o)^o,#.²π₂.(id,(+)*.zip₂.(iota.-.(#,2)^o,repeat.(1,-.(#,2)^o)^o)^o)^o)^o)^o)^o)^o . id

after applying RightAssoc2

( + )* . zip₂ . ((+)*.zip₂.(select.(id,(+)*.zip₂.(iota.-.(#,2)^o,repeat.(1,-.(#,2)^o)^o)^o)^o,select.(id,(-)*.zip₂.((+)*.zip₂.(iota.-.(#,2)^o,repeat.(1,-.(#,2)^o)^o)^o,repeat.(1,#.²π₁.(iota.-.(#,2)^o,repeat.(1,-.(#,2)^o)^o)^o)^o)^o)^o)^o,select.(²π₁.(id,(+)*.zip₂.(iota.-.(#,2)^o,repeat.(1,-.(#,2)^o)^o)^o)^o,(+)*.zip₂.(²π₂.(id,(+)*.zip₂.(iota.-.(#,2)^o,repeat.(1,-.(#,2)^o)^o)^o)^o,repeat.(1.(id,(+)*.zip₂.(iota.-.(#,2)^o,repeat.(1,-.(#,2)^o)^o)^o)^o,#.²π₂.(id,(+)*.zip₂.(iota.-.(#,2)^o,repeat.(1,-.(#,2)^o)^o)^o)^o)^o)^o)^o)^o . id

after applying AddrIntoAlltup

( + )* . zip₂ . ((+)*.zip₂.(select.(id,(+)*.zip₂.(iota.-.(#,2)^o,repeat.(1,-.(#,2)^o)^o)^o)^o,select.(id,(-)*.zip₂.((+)*.zip₂.(iota.-.(#,2)^o,repeat.(1,-.(#,2)^o)^o)^o,repeat.(1,#.iota.-.(#,2)^o)^o)^o)^o)^o,select.(²π₁.(id,(+)*.zip₂.(iota.-.(#,2)^o,repeat.(1,-.(#,2)^o)^o)^o)^o,(+)*.zip₂.(²π₂.(id,(+)*.zip₂.(iota.-.(#,2)^o,repeat.(1,-.(#,2)^o)^o)^o)^o,repeat.(1.(id,(+)*.zip₂.(iota.-.(#,2)^o,repeat.(1,-.(#,2)^o)^o)^o)^o,#.²π₂.(id,(+)*.zip₂.(iota.-.(#,2)^o,repeat.(1,-.(#,2)^o)^o)^o)^o)^o)^o)^o)^o . id

after applying LeftAssociate

( + )* . zip₂ . ((+)*.zip₂.(select.(id,(+)*.zip₂.(iota.-.(#,2)^o,repeat.(1,-.(#,2)^o)^o)^o)^o,select.(id,(-)*.zip₂.((+)*.zip₂.(iota.-.(#,2)^o,repeat.(1,-.(#,2)^o)^o)^o,repeat.(1,#.iota.-.(#,2)^o)^o)^o)^o)^o,select.(²π₁.(id,(+)*.zip₂.(iota.-.(#,2)^o,repeat.(1,-.(#,2)^o)^o)^o)^o,(+)*.zip₂.(²π₂.(id,(+)*.zip₂.(iota.-.(#,2)^o,repeat.(1,-.(#,2)^o)^o)^o)^o,repeat.(1.(id,(+)*.zip₂.(iota.-.(#,2)^o,repeat.(1,-.(#,2)^o)^o)^o)^o,#.²π₂.(id,(+)*.zip₂.(iota.-.(#,2)^o,repeat.(1,-.(#,2)^o)^o)^o)^o)^o)^o)^o)^o . id

after applying LeftAssociate

( + )* . zip₂ . ((+)*.zip₂.(select.(id,(+)*.zip₂.(iota.-.(#,2)^o,repeat.(1,-.(#,2)^o)^o)^o)^o,select.(id,(-)*.zip₂.((+)*.zip₂.(iota.-.(#,2)^o,repeat.(1,-.(#,2)^o)^o)^o,repeat.(1,#.iota.-.(#,2)^o)^o)^o)^o)^o,select.(²π₁.(id,(+)*.zip₂.(iota.-.(#,2)^o,repeat.(1,-.(#,2)^o)^o)^o)^o,(+)*.zip₂.(²π₂.(id,(+)*.zip₂.(iota.-.(#,2)^o,repeat.(1,-.(#,2)^o)^o)^o)^o,repeat.(1.(id,(+)*.zip₂.(iota.-.(#,2)^o,repeat.(1,-.(#,2)^o)^o)^o)^o,#.²π₂.(id,(+)*.zip₂.(iota.-.(#,2)^o,repeat.(1,-.(#,2)^o)^o)^o)^o)^o)^o)^o)^o . id

after applying LengthIntoIota

( + )* . zip₂ . ((+)*.zip₂.(select.(id,(+)*.zip₂.(iota.-.(#,2)^o,repeat.(1,-.(#,2)^o)^o)^o)^o,select.(id,(-)*.zip₂.((+)*.zip₂.(iota.-.(#,2)^o,repeat.(1,-.(#,2)^o)^o)^o,repeat.(1,id.-.(#,2)^o)^o)^o)^o)^o,select.(²π₁.(id,(+)*.zip₂.(iota.-.(#,2)^o,repeat.(1,-.(#,2)^o)^o)^o)^o,(+)*.zip₂.(²π₂.(id,(+)*.zip₂.(iota.-.(#,2)^o,repeat.(1,-.(#,2)^o)^o)^o)^o,repeat.(1.(id,(+)*.zip₂.(iota.-.(#,2)^o,repeat.(1,-.(#,2)^o)^o)^o)^o,#.²π₂.(id,(+)*.zip₂.(iota.-.(#,2)^o,repeat.(1,-.(#,2)^o)^o)^o)^o)^o)^o)^o)^o . id

after applying RemoveIds1

( + )* . zip₂ . ((+)*.zip₂.(select.(id,(+)*.zip₂.(iota.-.(#,2)^o,repeat.(1,-.(#,2)^o)^o)^o)^o,select.(id,(-)*.zip₂.((+)*.zip₂.(iota.-.(#,2)^o,repeat.(1,-.(#,2)^o)^o)^o,repeat.(1,-.(#,2)^o)^o)^o)^o)^o,select.(²π₁.(id,(+)*.zip₂.(iota.-.(#,2)^o,repeat.(1,-.(#,2)^o)^o)^o)^o,(+)*.zip₂.(²π₂.(id,(+)*.zip₂.(iota.-.(#,2)^o,repeat.(1,-.(#,2)^o)^o)^o)^o,repeat.(1.(id,(+)*.zip₂.(iota.-.(#,2)^o,repeat.(1,-.(#,2)^o)^o)^o)^o,#.²π₂.(id,(+)*.zip₂.(iota.-.(#,2)^o,repeat.(1,-.(#,2)^o)^o)^o)^o)^o)^o)^o)^o . id

after applying AddrIntoAlltup

( + )* . zip₂ . ((+)*.zip₂.(select.(id,(+)*.zip₂.(iota.-.(#,2)^o,repeat.(1,-.(#,2)^o)^o)^o)^o,select.(id,(-)*.zip₂.((+)*.zip₂.(iota.-.(#,2)^o,repeat.(1,-.(#,2)^o)^o)^o,repeat.(1,-.(#,2)^o)^o)^o)^o)^o,select.(id,(+)*.zip₂.(²π₂.(id,(+)*.zip₂.(iota.-.(#,2)^o,repeat.(1,-.(#,2)^o)^o)^o)^o,repeat.(1.(id,(+)*.zip₂.(iota.-.(#,2)^o,repeat.(1,-.(#,2)^o)^o)^o)^o,#.²π₂.(id,(+)*.zip₂.(iota.-.(#,2)^o,repeat.(1,-.(#,2)^o)^o)^o)^o)^o)^o)^o)^o . id

after applying AddrIntoAlltup

( + )* . zip₂ . ((+)*.zip₂.(select.(id,(+)*.zip₂.(iota.-.(#,2)^o,repeat.(1,-.(#,2)^o)^o)^o)^o,select.(id,(-)*.zip₂.((+)*.zip₂.(iota.-.(#,2)^o,repeat.(1,-.(#,2)^o)^o)^o,repeat.(1,-.(#,2)^o)^o)^o)^o)^o,select.(id,(+)*.zip₂.((+)*.zip₂.(iota.-.(#,2)^o,repeat.(1,-.(#,2)^o)^o)^o,repeat.(1.(id,(+)*.zip₂.(iota.-.(#,2)^o,repeat.(1,-.(#,2)^o)^o)^o)^o,#.²π₂.(id,(+)*.zip₂.(iota.-.(#,2)^o,repeat.(1,-.(#,2)^o)^o)^o)^o)^o)^o)^o)^o . id

after applying ConAsorb

( + )* . zip₂ . ((+)*.zip₂.(select.(id,(+)*.zip₂.(iota.-.(#,2)^o,repeat.(1,-.(#,2)^o)^o)^o)^o,select.(id,(-)*.zip₂.((+)*.zip₂.(iota.-.(#,2)^o,repeat.(1,-.(#,2)^o)^o)^o,repeat.(1,-.(#,2)^o)^o)^o)^o)^o,select.(id,(+)*.zip₂.((+)*.zip₂.(iota.-.(#,2)^o,repeat.(1,-.(#,2)^o)^o)^o,repeat.(1,#.²π₂.(id,(+)*.zip₂.(iota.-.(#,2)^o,repeat.(1,-.(#,2)^o)^o)^o)^o)^o)^o)^o)^o . id

after applying RightAssoc2

( + )* . zip₂ . ((+)*.zip₂.(select.(id,(+)*.zip₂.(iota.-.(#,2)^o,repeat.(1,-.(#,2)^o)^o)^o)^o,select.(id,(-)*.zip₂.((+)*.zip₂.(iota.-.(#,2)^o,repeat.(1,-.(#,2)^o)^o)^o,repeat.(1,-.(#,2)^o)^o)^o)^o)^o,select.(id,(+)*.zip₂.((+)*.zip₂.(iota.-.(#,2)^o,repeat.(1,-.(#,2)^o)^o)^o,repeat.(1,#.²π₂.(id,(+)*.zip₂.(iota.-.(#,2)^o,repeat.(1,-.(#,2)^o)^o)^o)^o)^o)^o)^o)^o . id

after applying AddrIntoAlltup

( + )* . zip₂ . ((+)*.zip₂.(select.(id,(+)*.zip₂.(iota.-.(#,2)^o,repeat.(1,-.(#,2)^o)^o)^o)^o,select.(id,(-)*.zip₂.((+)*.zip₂.(iota.-.(#,2)^o,repeat.(1,-.(#,2)^o)^o)^o,repeat.(1,-.(#,2)^o)^o)^o)^o)^o,select.(id,(+)*.zip₂.((+)*.zip₂.(iota.-.(#,2)^o,repeat.(1,-.(#,2)^o)^o)^o,repeat.(1,#.(+)*.zip₂.(iota.-.(#,2)^o,repeat.(1,-.(#,2)^o)^o)^o)^o)^o)^o)^o . id

after applying LeftAssociate

( + )* . zip₂ . ((+)*.zip₂.(select.(id,(+)*.zip₂.(iota.-.(#,2)^o,repeat.(1,-.(#,2)^o)^o)^o)^o,select.(id,(-)*.zip₂.((+)*.zip₂.(iota.-.(#,2)^o,repeat.(1,-.(#,2)^o)^o)^o,repeat.(1,-.(#,2)^o)^o)^o)^o)^o,select.(id,(+)*.zip₂.((+)*.zip₂.(iota.-.(#,2)^o,repeat.(1,-.(#,2)^o)^o)^o,repeat.(1,#.(+)*.zip₂.(iota.-.(#,2)^o,repeat.(1,-.(#,2)^o)^o)^o)^o)^o)^o)^o . id

after applying LeftAssociate

( + )* . zip₂ . ((+)*.zip₂.(select.(id,(+)*.zip₂.(iota.-.(#,2)^o,repeat.(1,-.(#,2)^o)^o)^o)^o,select.(id,(-)*.zip₂.((+)*.zip₂.(iota.-.(#,2)^o,repeat.(1,-.(#,2)^o)^o)^o,repeat.(1,-.(#,2)^o)^o)^o)^o)^o,select.(id,(+)*.zip₂.((+)*.zip₂.(iota.-.(#,2)^o,repeat.(1,-.(#,2)^o)^o)^o,repeat.(1,#.(+)*.zip₂.(iota.-.(#,2)^o,repeat.(1,-.(#,2)^o)^o)^o)^o)^o)^o)^o . id

after applying LengthIntoMap

( + )* . zip₂ . ((+)*.zip₂.(select.(id,(+)*.zip₂.(iota.-.(#,2)^o,repeat.(1,-.(#,2)^o)^o)^o)^o,select.(id,(-)*.zip₂.((+)*.zip₂.(iota.-.(#,2)^o,repeat.(1,-.(#,2)^o)^o)^o,repeat.(1,-.(#,2)^o)^o)^o)^o)^o,select.(id,(+)*.zip₂.((+)*.zip₂.(iota.-.(#,2)^o,repeat.(1,-.(#,2)^o)^o)^o,repeat.(1,#.zip₂.(iota.-.(#,2)^o,repeat.(1,-.(#,2)^o)^o)^o)^o)^o)^o)^o . id

after applying LengthIntoZip

( + )* . zip₂ . ((+)*.zip₂.(select.(id,(+)*.zip₂.(iota.-.(#,2)^o,repeat.(1,-.(#,2)^o)^o)^o)^o,select.(id,(-)*.zip₂.((+)*.zip₂.(iota.-.(#,2)^o,repeat.(1,-.(#,2)^o)^o)^o,repeat.(1,-.(#,2)^o)^o)^o)^o)^o,select.(id,(+)*.zip₂.((+)*.zip₂.(iota.-.(#,2)^o,repeat.(1,-.(#,2)^o)^o)^o,repeat.(1,#.²π₁.(iota.-.(#,2)^o,repeat.(1,-.(#,2)^o)^o)^o)^o)^o)^o)^o . id

after applying RightAssoc2

( + )* . zip₂ . ((+)*.zip₂.(select.(id,(+)*.zip₂.(iota.-.(#,2)^o,repeat.(1,-.(#,2)^o)^o)^o)^o,select.(id,(-)*.zip₂.((+)*.zip₂.(iota.-.(#,2)^o,repeat.(1,-.(#,2)^o)^o)^o,repeat.(1,-.(#,2)^o)^o)^o)^o)^o,select.(id,(+)*.zip₂.((+)*.zip₂.(iota.-.(#,2)^o,repeat.(1,-.(#,2)^o)^o)^o,repeat.(1,#.²π₁.(iota.-.(#,2)^o,repeat.(1,-.(#,2)^o)^o)^o)^o)^o)^o)^o . id

after applying AddrIntoAlltup

( + )* . zip₂ . ((+)*.zip₂.(select.(id,(+)*.zip₂.(iota.-.(#,2)^o,repeat.(1,-.(#,2)^o)^o)^o)^o,select.(id,(-)*.zip₂.((+)*.zip₂.(iota.-.(#,2)^o,repeat.(1,-.(#,2)^o)^o)^o,repeat.(1,-.(#,2)^o)^o)^o)^o)^o,select.(id,(+)*.zip₂.((+)*.zip₂.(iota.-.(#,2)^o,repeat.(1,-.(#,2)^o)^o)^o,repeat.(1,#.iota.-.(#,2)^o)^o)^o)^o)^o . id

after applying LeftAssociate

( + )* . zip₂ . ((+)*.zip₂.(select.(id,(+)*.zip₂.(iota.-.(#,2)^o,repeat.(1,-.(#,2)^o)^o)^o)^o,select.(id,(-)*.zip₂.((+)*.zip₂.(iota.-.(#,2)^o,repeat.(1,-.(#,2)^o)^o)^o,repeat.(1,-.(#,2)^o)^o)^o)^o)^o,select.(id,(+)*.zip₂.((+)*.zip₂.(iota.-.(#,2)^o,repeat.(1,-.(#,2)^o)^o)^o,repeat.(1,#.iota.-.(#,2)^o)^o)^o)^o)^o . id

after applying LeftAssociate

( + )* . zip₂ . ((+)*.zip₂.(select.(id,(+)*.zip₂.(iota.-.(#,2)^o,repeat.(1,-.(#,2)^o)^o)^o)^o,select.(id,(-)*.zip₂.((+)*.zip₂.(iota.-.(#,2)^o,repeat.(1,-.(#,2)^o)^o)^o,repeat.(1,-.(#,2)^o)^o)^o)^o)^o,select.(id,(+)*.zip₂.((+)*.zip₂.(iota.-.(#,2)^o,repeat.(1,-.(#,2)^o)^o)^o,repeat.(1,#.iota.-.(#,2)^o)^o)^o)^o)^o . id

after applying LengthIntoIota

( + )* . zip₂ . ((+)*.zip₂.(select.(id,(+)*.zip₂.(iota.-.(#,2)^o,repeat.(1,-.(#,2)^o)^o)^o)^o,select.(id,(-)*.zip₂.((+)*.zip₂.(iota.-.(#,2)^o,repeat.(1,-.(#,2)^o)^o)^o,repeat.(1,-.(#,2)^o)^o)^o)^o)^o,select.(id,(+)*.zip₂.((+)*.zip₂.(iota.-.(#,2)^o,repeat.(1,-.(#,2)^o)^o)^o,repeat.(1,id.-.(#,2)^o)^o)^o)^o)^o . id

after applying RemoveIds1

( + )* . zip₂ . ((+)*.zip₂.(select.(id,(+)*.zip₂.(iota.-.(#,2)^o,repeat.(1,-.(#,2)^o)^o)^o)^o,select.(id,(-)*.zip₂.((+)*.zip₂.(iota.-.(#,2)^o,repeat.(1,-.(#,2)^o)^o)^o,repeat.(1,-.(#,2)^o)^o)^o)^o)^o,select.(id,(+)*.zip₂.((+)*.zip₂.(iota.-.(#,2)^o,repeat.(1,-.(#,2)^o)^o)^o,repeat.(1,-.(#,2)^o)^o)^o)^o)^o . id

after applying RightAssoc2

( + )* . zip₂ . ((+)*.zip₂.(select.(id,(+)*.zip₂.(iota.-.(#,2)^o,repeat.(1,-.(#,2)^o)^o)^o)^o,select.(id,(-)*.zip₂.((+)*.zip₂.(iota.-.(#,2)^o,repeat.(1,-.(#,2)^o)^o)^o,repeat.(1,-.(#,2)^o)^o)^o)^o)^o,select.(id,(+)*.zip₂.((+)*.zip₂.(iota.-.(#,2)^o,repeat.(1,-.(#,2)^o)^o)^o,repeat.(1,-.(#,2)^o)^o)^o)^o)^o . id

after applying CompIntoAlltup1

( + )* . zip₂ . ((+)*.zip₂.(select.(id,(+)*.zip₂.(iota.-.(#,2)^o,repeat.(1,-.(#,2)^o)^o)^o)^o,select.(id,(-)*.zip₂.((+)*.zip₂.(iota.-.(#,2)^o,repeat.(1,-.(#,2)^o)^o)^o,repeat.(1,-.(#,2)^o)^o)^o)^o)^o.id,select.(id,(+)*.zip₂.((+)*.zip₂.(iota.-.(#,2)^o,repeat.(1,-.(#,2)^o)^o)^o,repeat.(1,-.(#,2)^o)^o)^o)^o.id)^o

after applying RightAssoc2

( + )* . zip₂ . ((+)*.zip₂.(select.(id,(+)*.zip₂.(iota.-.(#,2)^o,repeat.(1,-.(#,2)^o)^o)^o)^o,select.(id,(-)*.zip₂.((+)*.zip₂.(iota.-.(#,2)^o,repeat.(1,-.(#,2)^o)^o)^o,repeat.(1,-.(#,2)^o)^o)^o)^o)^o.id,select.(id,(+)*.zip₂.((+)*.zip₂.(iota.-.(#,2)^o,repeat.(1,-.(#,2)^o)^o)^o,repeat.(1,-.(#,2)^o)^o)^o)^o.id)^o

after applying CompIntoAlltup1

( + )* . zip₂ . ((+)*.zip₂.(select.(id,(+)*.zip₂.(iota.-.(#,2)^o,repeat.(1,-.(#,2)^o)^o)^o)^o.id,select.(id,(-)*.zip₂.((+)*.zip₂.(iota.-.(#,2)^o,repeat.(1,-.(#,2)^o)^o)^o,repeat.(1,-.(#,2)^o)^o)^o)^o.id)^o,select.(id,(+)*.zip₂.((+)*.zip₂.(iota.-.(#,2)^o,repeat.(1,-.(#,2)^o)^o)^o,repeat.(1,-.(#,2)^o)^o)^o)^o.id)^o

after applying RightAssoc2

after applying CompIntoAlltup1

( + )* . zip₂ . ((+)*.zip₂.(select.(id.id,(+)*.zip₂.(iota.-.(#,2)^o,repeat.(1,-.(#,2)^o)^o)^o.id)^o,select.(id,(-)*.zip₂.((+)*.zip₂.(iota.-.(#,2)^o,repeat.(1,-.(#,2)^o)^o)^o,repeat.(1,-.(#,2)^o)^o)^o)^o.id)^o,select.(id,(+)*.zip₂.((+)*.zip₂.(iota.-.(#,2)^o,repeat.(1,-.(#,2)^o)^o)^o,repeat.(1,-.(#,2)^o)^o)^o)^o.id)^o

after applying RightAssoc2

after applying CompIntoAlltup1

( + )* . zip₂ . ((+)*.zip₂.(select.(id.id,(+)*.zip₂.(iota.-.(#,2)^o.id,repeat.(1,-.(#,2)^o)^o.id)^o)^o,select.(id,(-)*.zip₂.((+)*.zip₂.(iota.-.(#,2)^o,repeat.(1,-.(#,2)^o)^o)^o,repeat.(1,-.(#,2)^o)^o)^o)^o.id)^o,select.(id,(+)*.zip₂.((+)*.zip₂.(iota.-.(#,2)^o,repeat.(1,-.(#,2)^o)^o)^o,repeat.(1,-.(#,2)^o)^o)^o)^o.id)^o

after applying RightAssoc2

after applying CompIntoAlltup1

( + )* . zip₂ . ((+)*.zip₂.(select.(id.id,(+)*.zip₂.(iota.-.(#.id,2.id)^o,repeat.(1,-.(#,2)^o)^o.id)^o)^o,select.(id,(-)*.zip₂.((+)*.zip₂.(iota.-.(#,2)^o,repeat.(1,-.(#,2)^o)^o)^o,repeat.(1,-.(#,2)^o)^o)^o)^o.id)^o,select.(id,(+)*.zip₂.((+)*.zip₂.(iota.-.(#,2)^o,repeat.(1,-.(#,2)^o)^o)^o,repeat.(1,-.(#,2)^o)^o)^o)^o.id)^o

after applying RightAssoc2

after applying CompIntoAlltup1

( + )* . zip₂ . ((+)*.zip₂.(select.(id.id,(+)*.zip₂.(iota.-.(#.id,2.id)^o,repeat.(1.id,-.(#,2)^o.id)^o)^o)^o,select.(id,(-)*.zip₂.((+)*.zip₂.(iota.-.(#,2)^o,repeat.(1,-.(#,2)^o)^o)^o,repeat.(1,-.(#,2)^o)^o)^o)^o.id)^o,select.(id,(+)*.zip₂.((+)*.zip₂.(iota.-.(#,2)^o,repeat.(1,-.(#,2)^o)^o)^o,repeat.(1,-.(#,2)^o)^o)^o)^o.id)^o

after applying RightAssoc2

after applying CompIntoAlltup1

( + )* . zip₂ . ((+)*.zip₂.(select.(id.id,(+)*.zip₂.(iota.-.(#.id,2.id)^o,repeat.(1.id,-.(#.id,2.id)^o)^o)^o)^o,select.(id,(-)*.zip₂.((+)*.zip₂.(iota.-.(#,2)^o,repeat.(1,-.(#,2)^o)^o)^o,repeat.(1,-.(#,2)^o)^o)^o)^o.id)^o,select.(id,(+)*.zip₂.((+)*.zip₂.(iota.-.(#,2)^o,repeat.(1,-.(#,2)^o)^o)^o,repeat.(1,-.(#,2)^o)^o)^o)^o.id)^o

after applying RightAssoc2

after applying CompIntoAlltup1

( + )* . zip₂ . ((+)*.zip₂.(select.(id.id,(+)*.zip₂.(iota.-.(#.id,2.id)^o,repeat.(1.id,-.(#.id,2.id)^o)^o)^o)^o,select.(id.id,(-)*.zip₂.((+)*.zip₂.(iota.-.(#,2)^o,repeat.(1,-.(#,2)^o)^o)^o,repeat.(1,-.(#,2)^o)^o)^o.id)^o)^o,select.(id,(+)*.zip₂.((+)*.zip₂.(iota.-.(#,2)^o,repeat.(1,-.(#,2)^o)^o)^o,repeat.(1,-.(#,2)^o)^o)^o)^o.id)^o

after applying RightAssoc2

after applying CompIntoAlltup1

( + )* . zip₂ . ((+)*.zip₂.(select.(id.id,(+)*.zip₂.(iota.-.(#.id,2.id)^o,repeat.(1.id,-.(#.id,2.id)^o)^o)^o)^o,select.(id.id,(-)*.zip₂.((+)*.zip₂.(iota.-.(#,2)^o,repeat.(1,-.(#,2)^o)^o)^o.id,repeat.(1,-.(#,2)^o)^o.id)^o)^o)^o,select.(id,(+)*.zip₂.((+)*.zip₂.(iota.-.(#,2)^o,repeat.(1,-.(#,2)^o)^o)^o,repeat.(1,-.(#,2)^o)^o)^o)^o.id)^o

after applying RightAssoc2

( + )* . zip₂ . ((+)*.zip₂.(select.(id.id,(+)*.zip₂.(iota.-.(#.id,2.id)^o,repeat.(1.id,-.(#.id,2.id)^o)^o)^o)^o,select.(id.id,(-)*.zip₂.((+)*.zip₂.(iota.-.(#,2)^o,repeat.(1,-.(#,2)^o)^o)^o.id,repeat.(1,-.(#,2)^o)^o.id)^o)^o)^o,select.(id,(+)*.zip₂.((+)*.zip₂.(iota.-.(#,2)^o,repeat.(1,-.(#,2)^o)^o)^o,repeat.(1,-.(#,2)^o)^o)^o)^o.id)^o

after applying CompIntoAlltup1

( + )* . zip₂ . ((+)*.zip₂.(select.(id.id,(+)*.zip₂.(iota.-.(#.id,2.id)^o,repeat.(1.id,-.(#.id,2.id)^o)^o)^o)^o,select.(id.id,(-)*.zip₂.((+)*.zip₂.(iota.-.(#,2)^o.id,repeat.(1,-.(#,2)^o)^o.id)^o,repeat.(1,-.(#,2)^o)^o.id)^o)^o)^o,select.(id,(+)*.zip₂.((+)*.zip₂.(iota.-.(#,2)^o,repeat.(1,-.(#,2)^o)^o)^o,repeat.(1,-.(#,2)^o)^o)^o)^o.id)^o

after applying RightAssoc2

( + )* . zip₂ . ((+)*.zip₂.(select.(id.id,(+)*.zip₂.(iota.-.(#.id,2.id)^o,repeat.(1.id,-.(#.id,2.id)^o)^o)^o)^o,select.(id.id,(-)*.zip₂.((+)*.zip₂.(iota.-.(#,2)^o.id,repeat.(1,-.(#,2)^o)^o.id)^o,repeat.(1,-.(#,2)^o)^o.id)^o)^o)^o,select.(id,(+)*.zip₂.((+)*.zip₂.(iota.-.(#,2)^o,repeat.(1,-.(#,2)^o)^o)^o,repeat.(1,-.(#,2)^o)^o)^o)^o.id)^o

after applying CompIntoAlltup1

( + )* . zip₂ . ((+)*.zip₂.(select.(id.id,(+)*.zip₂.(iota.-.(#.id,2.id)^o,repeat.(1.id,-.(#.id,2.id)^o)^o)^o)^o,select.(id.id,(-)*.zip₂.((+)*.zip₂.(iota.-.(#.id,2.id)^o,repeat.(1,-.(#,2)^o)^o.id)^o,repeat.(1,-.(#,2)^o)^o.id)^o)^o)^o,select.(id,(+)*.zip₂.((+)*.zip₂.(iota.-.(#,2)^o,repeat.(1,-.(#,2)^o)^o)^o,repeat.(1,-.(#,2)^o)^o)^o)^o.id)^o

after applying RightAssoc2

( + )* . zip₂ . ((+)*.zip₂.(select.(id.id,(+)*.zip₂.(iota.-.(#.id,2.id)^o,repeat.(1.id,-.(#.id,2.id)^o)^o)^o)^o,select.(id.id,(-)*.zip₂.((+)*.zip₂.(iota.-.(#.id,2.id)^o,repeat.(1,-.(#,2)^o)^o.id)^o,repeat.(1,-.(#,2)^o)^o.id)^o)^o)^o,select.(id,(+)*.zip₂.((+)*.zip₂.(iota.-.(#,2)^o,repeat.(1,-.(#,2)^o)^o)^o,repeat.(1,-.(#,2)^o)^o)^o)^o.id)^o

after applying CompIntoAlltup1

( + )* . zip₂ . ((+)*.zip₂.(select.(id.id,(+)*.zip₂.(iota.-.(#.id,2.id)^o,repeat.(1.id,-.(#.id,2.id)^o)^o)^o)^o,select.(id.id,(-)*.zip₂.((+)*.zip₂.(iota.-.(#.id,2.id)^o,repeat.(1.id,-.(#,2)^o.id)^o)^o,repeat.(1,-.(#,2)^o)^o.id)^o)^o)^o,select.(id,(+)*.zip₂.((+)*.zip₂.(iota.-.(#,2)^o,repeat.(1,-.(#,2)^o)^o)^o,repeat.(1,-.(#,2)^o)^o)^o)^o.id)^o

after applying RightAssoc2

( + )* . zip₂ . ((+)*.zip₂.(select.(id.id,(+)*.zip₂.(iota.-.(#.id,2.id)^o,repeat.(1.id,-.(#.id,2.id)^o)^o)^o)^o,select.(id.id,(-)*.zip₂.((+)*.zip₂.(iota.-.(#.id,2.id)^o,repeat.(1.id,-.(#,2)^o.id)^o)^o,repeat.(1,-.(#,2)^o)^o.id)^o)^o)^o,select.(id,(+)*.zip₂.((+)*.zip₂.(iota.-.(#,2)^o,repeat.(1,-.(#,2)^o)^o)^o,repeat.(1,-.(#,2)^o)^o)^o)^o.id)^o

after applying CompIntoAlltup1

( + )* . zip₂ . ((+)*.zip₂.(select.(id.id,(+)*.zip₂.(iota.-.(#.id,2.id)^o,repeat.(1.id,-.(#.id,2.id)^o)^o)^o)^o,select.(id.id,(-)*.zip₂.((+)*.zip₂.(iota.-.(#.id,2.id)^o,repeat.(1.id,-.(#.id,2.id)^o)^o)^o,repeat.(1,-.(#,2)^o)^o.id)^o)^o)^o,select.(id,(+)*.zip₂.((+)*.zip₂.(iota.-.(#,2)^o,repeat.(1,-.(#,2)^o)^o)^o,repeat.(1,-.(#,2)^o)^o)^o)^o.id)^o

after applying RightAssoc2

( + )* . zip₂ . ((+)*.zip₂.(select.(id.id,(+)*.zip₂.(iota.-.(#.id,2.id)^o,repeat.(1.id,-.(#.id,2.id)^o)^o)^o)^o,select.(id.id,(-)*.zip₂.((+)*.zip₂.(iota.-.(#.id,2.id)^o,repeat.(1.id,-.(#.id,2.id)^o)^o)^o,repeat.(1,-.(#,2)^o)^o.id)^o)^o)^o,select.(id,(+)*.zip₂.((+)*.zip₂.(iota.-.(#,2)^o,repeat.(1,-.(#,2)^o)^o)^o,repeat.(1,-.(#,2)^o)^o)^o)^o.id)^o

after applying CompIntoAlltup1

( + )* . zip₂ . ((+)*.zip₂.(select.(id.id,(+)*.zip₂.(iota.-.(#.id,2.id)^o,repeat.(1.id,-.(#.id,2.id)^o)^o)^o)^o,select.(id.id,(-)*.zip₂.((+)*.zip₂.(iota.-.(#.id,2.id)^o,repeat.(1.id,-.(#.id,2.id)^o)^o)^o,repeat.(1.id,-.(#,2)^o.id)^o)^o)^o)^o,select.(id,(+)*.zip₂.((+)*.zip₂.(iota.-.(#,2)^o,repeat.(1,-.(#,2)^o)^o)^o,repeat.(1,-.(#,2)^o)^o)^o)^o.id)^o

after applying RightAssoc2

( + )* . zip₂ . ((+)*.zip₂.(select.(id.id,(+)*.zip₂.(iota.-.(#.id,2.id)^o,repeat.(1.id,-.(#.id,2.id)^o)^o)^o)^o,select.(id.id,(-)*.zip₂.((+)*.zip₂.(iota.-.(#.id,2.id)^o,repeat.(1.id,-.(#.id,2.id)^o)^o)^o,repeat.(1.id,-.(#,2)^o.id)^o)^o)^o)^o,select.(id,(+)*.zip₂.((+)*.zip₂.(iota.-.(#,2)^o,repeat.(1,-.(#,2)^o)^o)^o,repeat.(1,-.(#,2)^o)^o)^o)^o.id)^o

after applying CompIntoAlltup1

( + )* . zip₂ . ((+)*.zip₂.(select.(id.id,(+)*.zip₂.(iota.-.(#.id,2.id)^o,repeat.(1.id,-.(#.id,2.id)^o)^o)^o)^o,select.(id.id,(-)*.zip₂.((+)*.zip₂.(iota.-.(#.id,2.id)^o,repeat.(1.id,-.(#.id,2.id)^o)^o)^o,repeat.(1.id,-.(#.id,2.id)^o)^o)^o)^o)^o,select.(id,(+)*.zip₂.((+)*.zip₂.(iota.-.(#,2)^o,repeat.(1,-.(#,2)^o)^o)^o,repeat.(1,-.(#,2)^o)^o)^o)^o.id)^o

after applying RightAssoc2

( + )* . zip₂ . ((+)*.zip₂.(select.(id.id,(+)*.zip₂.(iota.-.(#.id,2.id)^o,repeat.(1.id,-.(#.id,2.id)^o)^o)^o)^o,select.(id.id,(-)*.zip₂.((+)*.zip₂.(iota.-.(#.id,2.id)^o,repeat.(1.id,-.(#.id,2.id)^o)^o)^o,repeat.(1.id,-.(#.id,2.id)^o)^o)^o)^o)^o,select.(id,(+)*.zip₂.((+)*.zip₂.(iota.-.(#,2)^o,repeat.(1,-.(#,2)^o)^o)^o,repeat.(1,-.(#,2)^o)^o)^o)^o.id)^o

after applying CompIntoAlltup1

( + )* . zip₂ . ((+)*.zip₂.(select.(id.id,(+)*.zip₂.(iota.-.(#.id,2.id)^o,repeat.(1.id,-.(#.id,2.id)^o)^o)^o)^o,select.(id.id,(-)*.zip₂.((+)*.zip₂.(iota.-.(#.id,2.id)^o,repeat.(1.id,-.(#.id,2.id)^o)^o)^o,repeat.(1.id,-.(#.id,2.id)^o)^o)^o)^o)^o,select.(id.id,(+)*.zip₂.((+)*.zip₂.(iota.-.(#,2)^o,repeat.(1,-.(#,2)^o)^o)^o,repeat.(1,-.(#,2)^o)^o)^o.id)^o)^o

after applying RightAssoc2

( + )* . zip₂ . ((+)*.zip₂.(select.(id.id,(+)*.zip₂.(iota.-.(#.id,2.id)^o,repeat.(1.id,-.(#.id,2.id)^o)^o)^o)^o,select.(id.id,(-)*.zip₂.((+)*.zip₂.(iota.-.(#.id,2.id)^o,repeat.(1.id,-.(#.id,2.id)^o)^o)^o,repeat.(1.id,-.(#.id,2.id)^o)^o)^o)^o)^o,select.(id.id,(+)*.zip₂.((+)*.zip₂.(iota.-.(#,2)^o,repeat.(1,-.(#,2)^o)^o)^o,repeat.(1,-.(#,2)^o)^o)^o.id)^o)^o

after applying CompIntoAlltup1

( + )* . zip₂ . ((+)*.zip₂.(select.(id.id,(+)*.zip₂.(iota.-.(#.id,2.id)^o,repeat.(1.id,-.(#.id,2.id)^o)^o)^o)^o,select.(id.id,(-)*.zip₂.((+)*.zip₂.(iota.-.(#.id,2.id)^o,repeat.(1.id,-.(#.id,2.id)^o)^o)^o,repeat.(1.id,-.(#.id,2.id)^o)^o)^o)^o)^o,select.(id.id,(+)*.zip₂.((+)*.zip₂.(iota.-.(#,2)^o,repeat.(1,-.(#,2)^o)^o)^o.id,repeat.(1,-.(#,2)^o)^o.id)^o)^o)^o

after applying RightAssoc2

( + )* . zip₂ . ((+)*.zip₂.(select.(id.id,(+)*.zip₂.(iota.-.(#.id,2.id)^o,repeat.(1.id,-.(#.id,2.id)^o)^o)^o)^o,select.(id.id,(-)*.zip₂.((+)*.zip₂.(iota.-.(#.id,2.id)^o,repeat.(1.id,-.(#.id,2.id)^o)^o)^o,repeat.(1.id,-.(#.id,2.id)^o)^o)^o)^o)^o,select.(id.id,(+)*.zip₂.((+)*.zip₂.(iota.-.(#,2)^o,repeat.(1,-.(#,2)^o)^o)^o.id,repeat.(1,-.(#,2)^o)^o.id)^o)^o)^o

after applying CompIntoAlltup1

( + )* . zip₂ . ((+)*.zip₂.(select.(id.id,(+)*.zip₂.(iota.-.(#.id,2.id)^o,repeat.(1.id,-.(#.id,2.id)^o)^o)^o)^o,select.(id.id,(-)*.zip₂.((+)*.zip₂.(iota.-.(#.id,2.id)^o,repeat.(1.id,-.(#.id,2.id)^o)^o)^o,repeat.(1.id,-.(#.id,2.id)^o)^o)^o)^o)^o,select.(id.id,(+)*.zip₂.((+)*.zip₂.(iota.-.(#,2)^o.id,repeat.(1,-.(#,2)^o)^o.id)^o,repeat.(1,-.(#,2)^o)^o.id)^o)^o)^o

after applying RightAssoc2

( + )* . zip₂ . ((+)*.zip₂.(select.(id.id,(+)*.zip₂.(iota.-.(#.id,2.id)^o,repeat.(1.id,-.(#.id,2.id)^o)^o)^o)^o,select.(id.id,(-)*.zip₂.((+)*.zip₂.(iota.-.(#.id,2.id)^o,repeat.(1.id,-.(#.id,2.id)^o)^o)^o,repeat.(1.id,-.(#.id,2.id)^o)^o)^o)^o)^o,select.(id.id,(+)*.zip₂.((+)*.zip₂.(iota.-.(#,2)^o.id,repeat.(1,-.(#,2)^o)^o.id)^o,repeat.(1,-.(#,2)^o)^o.id)^o)^o)^o

after applying CompIntoAlltup1

( + )* . zip₂ . ((+)*.zip₂.(select.(id.id,(+)*.zip₂.(iota.-.(#.id,2.id)^o,repeat.(1.id,-.(#.id,2.id)^o)^o)^o)^o,select.(id.id,(-)*.zip₂.((+)*.zip₂.(iota.-.(#.id,2.id)^o,repeat.(1.id,-.(#.id,2.id)^o)^o)^o,repeat.(1.id,-.(#.id,2.id)^o)^o)^o)^o)^o,select.(id.id,(+)*.zip₂.((+)*.zip₂.(iota.-.(#.id,2.id)^o,repeat.(1,-.(#,2)^o)^o.id)^o,repeat.(1,-.(#,2)^o)^o.id)^o)^o)^o

after applying RightAssoc2

( + )* . zip₂ . ((+)*.zip₂.(select.(id.id,(+)*.zip₂.(iota.-.(#.id,2.id)^o,repeat.(1.id,-.(#.id,2.id)^o)^o)^o)^o,select.(id.id,(-)*.zip₂.((+)*.zip₂.(iota.-.(#.id,2.id)^o,repeat.(1.id,-.(#.id,2.id)^o)^o)^o,repeat.(1.id,-.(#.id,2.id)^o)^o)^o)^o)^o,select.(id.id,(+)*.zip₂.((+)*.zip₂.(iota.-.(#.id,2.id)^o,repeat.(1,-.(#,2)^o)^o.id)^o,repeat.(1,-.(#,2)^o)^o.id)^o)^o)^o

after applying CompIntoAlltup1

( + )* . zip₂ . ((+)*.zip₂.(select.(id.id,(+)*.zip₂.(iota.-.(#.id,2.id)^o,repeat.(1.id,-.(#.id,2.id)^o)^o)^o)^o,select.(id.id,(-)*.zip₂.((+)*.zip₂.(iota.-.(#.id,2.id)^o,repeat.(1.id,-.(#.id,2.id)^o)^o)^o,repeat.(1.id,-.(#.id,2.id)^o)^o)^o)^o)^o,select.(id.id,(+)*.zip₂.((+)*.zip₂.(iota.-.(#.id,2.id)^o,repeat.(1.id,-.(#,2)^o.id)^o)^o,repeat.(1,-.(#,2)^o)^o.id)^o)^o)^o

after applying RightAssoc2

( + )* . zip₂ . ((+)*.zip₂.(select.(id.id,(+)*.zip₂.(iota.-.(#.id,2.id)^o,repeat.(1.id,-.(#.id,2.id)^o)^o)^o)^o,select.(id.id,(-)*.zip₂.((+)*.zip₂.(iota.-.(#.id,2.id)^o,repeat.(1.id,-.(#.id,2.id)^o)^o)^o,repeat.(1.id,-.(#.id,2.id)^o)^o)^o)^o)^o,select.(id.id,(+)*.zip₂.((+)*.zip₂.(iota.-.(#.id,2.id)^o,repeat.(1.id,-.(#,2)^o.id)^o)^o,repeat.(1,-.(#,2)^o)^o.id)^o)^o)^o

after applying CompIntoAlltup1

( + )* . zip₂ . ((+)*.zip₂.(select.(id.id,(+)*.zip₂.(iota.-.(#.id,2.id)^o,repeat.(1.id,-.(#.id,2.id)^o)^o)^o)^o,select.(id.id,(-)*.zip₂.((+)*.zip₂.(iota.-.(#.id,2.id)^o,repeat.(1.id,-.(#.id,2.id)^o)^o)^o,repeat.(1.id,-.(#.id,2.id)^o)^o)^o)^o)^o,select.(id.id,(+)*.zip₂.((+)*.zip₂.(iota.-.(#.id,2.id)^o,repeat.(1.id,-.(#.id,2.id)^o)^o)^o,repeat.(1,-.(#,2)^o)^o.id)^o)^o)^o

after applying RightAssoc2

( + )* . zip₂ . ((+)*.zip₂.(select.(id.id,(+)*.zip₂.(iota.-.(#.id,2.id)^o,repeat.(1.id,-.(#.id,2.id)^o)^o)^o)^o,select.(id.id,(-)*.zip₂.((+)*.zip₂.(iota.-.(#.id,2.id)^o,repeat.(1.id,-.(#.id,2.id)^o)^o)^o,repeat.(1.id,-.(#.id,2.id)^o)^o)^o)^o)^o,select.(id.id,(+)*.zip₂.((+)*.zip₂.(iota.-.(#.id,2.id)^o,repeat.(1.id,-.(#.id,2.id)^o)^o)^o,repeat.(1,-.(#,2)^o)^o.id)^o)^o)^o

after applying CompIntoAlltup1

( + )* . zip₂ . ((+)*.zip₂.(select.(id.id,(+)*.zip₂.(iota.-.(#.id,2.id)^o,repeat.(1.id,-.(#.id,2.id)^o)^o)^o)^o,select.(id.id,(-)*.zip₂.((+)*.zip₂.(iota.-.(#.id,2.id)^o,repeat.(1.id,-.(#.id,2.id)^o)^o)^o,repeat.(1.id,-.(#.id,2.id)^o)^o)^o)^o)^o,select.(id.id,(+)*.zip₂.((+)*.zip₂.(iota.-.(#.id,2.id)^o,repeat.(1.id,-.(#.id,2.id)^o)^o)^o,repeat.(1.id,-.(#,2)^o.id)^o)^o)^o)^o

after applying RightAssoc2

( + )* . zip₂ . ((+)*.zip₂.(select.(id.id,(+)*.zip₂.(iota.-.(#.id,2.id)^o,repeat.(1.id,-.(#.id,2.id)^o)^o)^o)^o,select.(id.id,(-)*.zip₂.((+)*.zip₂.(iota.-.(#.id,2.id)^o,repeat.(1.id,-.(#.id,2.id)^o)^o)^o,repeat.(1.id,-.(#.id,2.id)^o)^o)^o)^o)^o,select.(id.id,(+)*.zip₂.((+)*.zip₂.(iota.-.(#.id,2.id)^o,repeat.(1.id,-.(#.id,2.id)^o)^o)^o,repeat.(1.id,-.(#,2)^o.id)^o)^o)^o)^o

after applying CompIntoAlltup1

( + )* . zip₂ . ((+)*.zip₂.(select.(id.id,(+)*.zip₂.(iota.-.(#.id,2.id)^o,repeat.(1.id,-.(#.id,2.id)^o)^o)^o)^o,select.(id.id,(-)*.zip₂.((+)*.zip₂.(iota.-.(#.id,2.id)^o,repeat.(1.id,-.(#.id,2.id)^o)^o)^o,repeat.(1.id,-.(#.id,2.id)^o)^o)^o)^o)^o,select.(id.id,(+)*.zip₂.((+)*.zip₂.(iota.-.(#.id,2.id)^o,repeat.(1.id,-.(#.id,2.id)^o)^o)^o,repeat.(1.id,-.(#.id,2.id)^o)^o)^o)^o)^o

after applying RemoveIds1

( + )* . zip₂ . ((+)*.zip₂.(select.(id,(+)*.zip₂.(iota.-.(#.id,2.id)^o,repeat.(1.id,-.(#.id,2.id)^o)^o)^o)^o,select.(id.id,(-)*.zip₂.((+)*.zip₂.(iota.-.(#.id,2.id)^o,repeat.(1.id,-.(#.id,2.id)^o)^o)^o,repeat.(1.id,-.(#.id,2.id)^o)^o)^o)^o)^o,select.(id.id,(+)*.zip₂.((+)*.zip₂.(iota.-.(#.id,2.id)^o,repeat.(1.id,-.(#.id,2.id)^o)^o)^o,repeat.(1.id,-.(#.id,2.id)^o)^o)^o)^o)^o

after applying RemoveIds2

( + )* . zip₂ . ((+)*.zip₂.(select.(id,(+)*.zip₂.(iota.-.(#,2.id)^o,repeat.(1.id,-.(#.id,2.id)^o)^o)^o)^o,select.(id.id,(-)*.zip₂.((+)*.zip₂.(iota.-.(#.id,2.id)^o,repeat.(1.id,-.(#.id,2.id)^o)^o)^o,repeat.(1.id,-.(#.id,2.id)^o)^o)^o)^o)^o,select.(id.id,(+)*.zip₂.((+)*.zip₂.(iota.-.(#.id,2.id)^o,repeat.(1.id,-.(#.id,2.id)^o)^o)^o,repeat.(1.id,-.(#.id,2.id)^o)^o)^o)^o)^o

after applying ConAsorb

( + )* . zip₂ . ((+)*.zip₂.(select.(id,(+)*.zip₂.(iota.-.(#,2)^o,repeat.(1.id,-.(#.id,2.id)^o)^o)^o)^o,select.(id.id,(-)*.zip₂.((+)*.zip₂.(iota.-.(#.id,2.id)^o,repeat.(1.id,-.(#.id,2.id)^o)^o)^o,repeat.(1.id,-.(#.id,2.id)^o)^o)^o)^o)^o,select.(id.id,(+)*.zip₂.((+)*.zip₂.(iota.-.(#.id,2.id)^o,repeat.(1.id,-.(#.id,2.id)^o)^o)^o,repeat.(1.id,-.(#.id,2.id)^o)^o)^o)^o)^o

after applying ConAsorb

( + )* . zip₂ . ((+)*.zip₂.(select.(id,(+)*.zip₂.(iota.-.(#,2)^o,repeat.(1,-.(#.id,2.id)^o)^o)^o)^o,select.(id.id,(-)*.zip₂.((+)*.zip₂.(iota.-.(#.id,2.id)^o,repeat.(1.id,-.(#.id,2.id)^o)^o)^o,repeat.(1.id,-.(#.id,2.id)^o)^o)^o)^o)^o,select.(id.id,(+)*.zip₂.((+)*.zip₂.(iota.-.(#.id,2.id)^o,repeat.(1.id,-.(#.id,2.id)^o)^o)^o,repeat.(1.id,-.(#.id,2.id)^o)^o)^o)^o)^o

after applying RemoveIds2

( + )* . zip₂ . ((+)*.zip₂.(select.(id,(+)*.zip₂.(iota.-.(#,2)^o,repeat.(1,-.(#,2.id)^o)^o)^o)^o,select.(id.id,(-)*.zip₂.((+)*.zip₂.(iota.-.(#.id,2.id)^o,repeat.(1.id,-.(#.id,2.id)^o)^o)^o,repeat.(1.id,-.(#.id,2.id)^o)^o)^o)^o)^o,select.(id.id,(+)*.zip₂.((+)*.zip₂.(iota.-.(#.id,2.id)^o,repeat.(1.id,-.(#.id,2.id)^o)^o)^o,repeat.(1.id,-.(#.id,2.id)^o)^o)^o)^o)^o

after applying ConAsorb

( + )* . zip₂ . ((+)*.zip₂.(select.(id,(+)*.zip₂.(iota.-.(#,2)^o,repeat.(1,-.(#,2)^o)^o)^o)^o,select.(id.id,(-)*.zip₂.((+)*.zip₂.(iota.-.(#.id,2.id)^o,repeat.(1.id,-.(#.id,2.id)^o)^o)^o,repeat.(1.id,-.(#.id,2.id)^o)^o)^o)^o)^o,select.(id.id,(+)*.zip₂.((+)*.zip₂.(iota.-.(#.id,2.id)^o,repeat.(1.id,-.(#.id,2.id)^o)^o)^o,repeat.(1.id,-.(#.id,2.id)^o)^o)^o)^o)^o

after applying RemoveIds1

( + )* . zip₂ . ((+)*.zip₂.(select.(id,(+)*.zip₂.(iota.-.(#,2)^o,repeat.(1,-.(#,2)^o)^o)^o)^o,select.(id,(-)*.zip₂.((+)*.zip₂.(iota.-.(#.id,2.id)^o,repeat.(1.id,-.(#.id,2.id)^o)^o)^o,repeat.(1.id,-.(#.id,2.id)^o)^o)^o)^o)^o,select.(id.id,(+)*.zip₂.((+)*.zip₂.(iota.-.(#.id,2.id)^o,repeat.(1.id,-.(#.id,2.id)^o)^o)^o,repeat.(1.id,-.(#.id,2.id)^o)^o)^o)^o)^o

after applying RemoveIds2

( + )* . zip₂ . ((+)*.zip₂.(select.(id,(+)*.zip₂.(iota.-.(#,2)^o,repeat.(1,-.(#,2)^o)^o)^o)^o,select.(id,(-)*.zip₂.((+)*.zip₂.(iota.-.(#,2.id)^o,repeat.(1.id,-.(#.id,2.id)^o)^o)^o,repeat.(1.id,-.(#.id,2.id)^o)^o)^o)^o)^o,select.(id.id,(+)*.zip₂.((+)*.zip₂.(iota.-.(#.id,2.id)^o,repeat.(1.id,-.(#.id,2.id)^o)^o)^o,repeat.(1.id,-.(#.id,2.id)^o)^o)^o)^o)^o

after applying ConAsorb

( + )* . zip₂ . ((+)*.zip₂.(select.(id,(+)*.zip₂.(iota.-.(#,2)^o,repeat.(1,-.(#,2)^o)^o)^o)^o,select.(id,(-)*.zip₂.((+)*.zip₂.(iota.-.(#,2)^o,repeat.(1.id,-.(#.id,2.id)^o)^o)^o,repeat.(1.id,-.(#.id,2.id)^o)^o)^o)^o)^o,select.(id.id,(+)*.zip₂.((+)*.zip₂.(iota.-.(#.id,2.id)^o,repeat.(1.id,-.(#.id,2.id)^o)^o)^o,repeat.(1.id,-.(#.id,2.id)^o)^o)^o)^o)^o

after applying ConAsorb

after applying RemoveIds2

after applying ConAsorb

after applying RemoveIds2

( + )* . zip₂ . ((+)*.zip₂.(select.(id,(+)*.zip₂.(iota.-.(#,2)^o,repeat.(1,-.(#,2)^o)^o)^o)^o,select.(id,(-)*.zip₂.((+)*.zip₂.(iota.-.(#,2)^o,repeat.(1,-.(#,2)^o)^o)^o,repeat.(1,-.(#,2.id)^o)^o)^o)^o)^o,select.(id.id,(+)*.zip₂.((+)*.zip₂.(iota.-.(#.id,2.id)^o,repeat.(1.id,-.(#.id,2.id)^o)^o)^o,repeat.(1.id,-.(#.id,2.id)^o)^o)^o)^o)^o

after applying ConAsorb

( + )* . zip₂ . ((+)*.zip₂.(select.(id,(+)*.zip₂.(iota.-.(#,2)^o,repeat.(1,-.(#,2)^o)^o)^o)^o,select.(id,(-)*.zip₂.((+)*.zip₂.(iota.-.(#,2)^o,repeat.(1,-.(#,2)^o)^o)^o,repeat.(1,-.(#,2)^o)^o)^o)^o)^o,select.(id.id,(+)*.zip₂.((+)*.zip₂.(iota.-.(#.id,2.id)^o,repeat.(1.id,-.(#.id,2.id)^o)^o)^o,repeat.(1.id,-.(#.id,2.id)^o)^o)^o)^o)^o

after applying RemoveIds1

( + )* . zip₂ . ((+)*.zip₂.(select.(id,(+)*.zip₂.(iota.-.(#,2)^o,repeat.(1,-.(#,2)^o)^o)^o)^o,select.(id,(-)*.zip₂.((+)*.zip₂.(iota.-.(#,2)^o,repeat.(1,-.(#,2)^o)^o)^o,repeat.(1,-.(#,2)^o)^o)^o)^o)^o,select.(id,(+)*.zip₂.((+)*.zip₂.(iota.-.(#.id,2.id)^o,repeat.(1.id,-.(#.id,2.id)^o)^o)^o,repeat.(1.id,-.(#.id,2.id)^o)^o)^o)^o)^o

after applying RemoveIds2

( + )* . zip₂ . ((+)*.zip₂.(select.(id,(+)*.zip₂.(iota.-.(#,2)^o,repeat.(1,-.(#,2)^o)^o)^o)^o,select.(id,(-)*.zip₂.((+)*.zip₂.(iota.-.(#,2)^o,repeat.(1,-.(#,2)^o)^o)^o,repeat.(1,-.(#,2)^o)^o)^o)^o)^o,select.(id,(+)*.zip₂.((+)*.zip₂.(iota.-.(#,2.id)^o,repeat.(1.id,-.(#.id,2.id)^o)^o)^o,repeat.(1.id,-.(#.id,2.id)^o)^o)^o)^o)^o

after applying ConAsorb

( + )* . zip₂ . ((+)*.zip₂.(select.(id,(+)*.zip₂.(iota.-.(#,2)^o,repeat.(1,-.(#,2)^o)^o)^o)^o,select.(id,(-)*.zip₂.((+)*.zip₂.(iota.-.(#,2)^o,repeat.(1,-.(#,2)^o)^o)^o,repeat.(1,-.(#,2)^o)^o)^o)^o)^o,select.(id,(+)*.zip₂.((+)*.zip₂.(iota.-.(#,2)^o,repeat.(1.id,-.(#.id,2.id)^o)^o)^o,repeat.(1.id,-.(#.id,2.id)^o)^o)^o)^o)^o

after applying ConAsorb

( + )* . zip₂ . ((+)*.zip₂.(select.(id,(+)*.zip₂.(iota.-.(#,2)^o,repeat.(1,-.(#,2)^o)^o)^o)^o,select.(id,(-)*.zip₂.((+)*.zip₂.(iota.-.(#,2)^o,repeat.(1,-.(#,2)^o)^o)^o,repeat.(1,-.(#,2)^o)^o)^o)^o)^o,select.(id,(+)*.zip₂.((+)*.zip₂.(iota.-.(#,2)^o,repeat.(1,-.(#.id,2.id)^o)^o)^o,repeat.(1.id,-.(#.id,2.id)^o)^o)^o)^o)^o

after applying RemoveIds2

( + )* . zip₂ . ((+)*.zip₂.(select.(id,(+)*.zip₂.(iota.-.(#,2)^o,repeat.(1,-.(#,2)^o)^o)^o)^o,select.(id,(-)*.zip₂.((+)*.zip₂.(iota.-.(#,2)^o,repeat.(1,-.(#,2)^o)^o)^o,repeat.(1,-.(#,2)^o)^o)^o)^o)^o,select.(id,(+)*.zip₂.((+)*.zip₂.(iota.-.(#,2)^o,repeat.(1,-.(#,2.id)^o)^o)^o,repeat.(1.id,-.(#.id,2.id)^o)^o)^o)^o)^o

after applying ConAsorb

( + )* . zip₂ . ((+)*.zip₂.(select.(id,(+)*.zip₂.(iota.-.(#,2)^o,repeat.(1,-.(#,2)^o)^o)^o)^o,select.(id,(-)*.zip₂.((+)*.zip₂.(iota.-.(#,2)^o,repeat.(1,-.(#,2)^o)^o)^o,repeat.(1,-.(#,2)^o)^o)^o)^o)^o,select.(id,(+)*.zip₂.((+)*.zip₂.(iota.-.(#,2)^o,repeat.(1,-.(#,2)^o)^o)^o,repeat.(1.id,-.(#.id,2.id)^o)^o)^o)^o)^o

after applying ConAsorb

( + )* . zip₂ . ((+)*.zip₂.(select.(id,(+)*.zip₂.(iota.-.(#,2)^o,repeat.(1,-.(#,2)^o)^o)^o)^o,select.(id,(-)*.zip₂.((+)*.zip₂.(iota.-.(#,2)^o,repeat.(1,-.(#,2)^o)^o)^o,repeat.(1,-.(#,2)^o)^o)^o)^o)^o,select.(id,(+)*.zip₂.((+)*.zip₂.(iota.-.(#,2)^o,repeat.(1,-.(#,2)^o)^o)^o,repeat.(1,-.(#.id,2.id)^o)^o)^o)^o)^o

after applying RemoveIds2

( + )* . zip₂ . ((+)*.zip₂.(select.(id,(+)*.zip₂.(iota.-.(#,2)^o,repeat.(1,-.(#,2)^o)^o)^o)^o,select.(id,(-)*.zip₂.((+)*.zip₂.(iota.-.(#,2)^o,repeat.(1,-.(#,2)^o)^o)^o,repeat.(1,-.(#,2)^o)^o)^o)^o)^o,select.(id,(+)*.zip₂.((+)*.zip₂.(iota.-.(#,2)^o,repeat.(1,-.(#,2)^o)^o)^o,repeat.(1,-.(#,2.id)^o)^o)^o)^o)^o

after applying ConAsorb

( + )* . zip₂ . ((+)*.zip₂.(select.(id,(+)*.zip₂.(iota.-.(#,2)^o,repeat.(1,-.(#,2)^o)^o)^o)^o,select.(id,(-)*.zip₂.((+)*.zip₂.(iota.-.(#,2)^o,repeat.(1,-.(#,2)^o)^o)^o,repeat.(1,-.(#,2)^o)^o)^o)^o)^o,select.(id,(+)*.zip₂.((+)*.zip₂.(iota.-.(#,2)^o,repeat.(1,-.(#,2)^o)^o)^o,repeat.(1,-.(#,2)^o)^o)^o)^o)^o

end trace