after applying start

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

after applying RemoveIds1

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

after applying RemoveIds1

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

after applying MapIntoComp

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

after applying MapIntoAlltup

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

after applying MapIntoComp

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

after applying MapIntoAlltup

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

after applying MapIntoComp

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

after applying MapIntoComp

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

after applying MapIntoAlltup

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

after applying MapIntoComp

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

after applying MapIntoComp

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

after applying MapIntoAlltup

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

after applying MapIntoComp

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

after applying MapIntoAlltup

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

after applying MapIntoComp

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

after applying LeftAssociate

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

after applying LeftAssociate

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

after applying LeftAssociate

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

after applying LeftAssociate

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

after applying LeftAssociate

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

after applying ConRepeat

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

after applying CompIntoMap

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

after applying CompIntoMap

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

after applying CompIntoMap

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

after applying MapIntoComp

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

after applying MapIntoComp

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

after applying MapIntoComp

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

after applying DistlElim

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

after applying LeftAssociate

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

after applying CompIntoMap

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

after applying CompIntoMap

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

after applying CompIntoMap

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

after applying RightAssoc2

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

after applying CompIntoAlltup1

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

after applying RightAssoc2

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

after applying CompIntoAlltup1

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

after applying RightAssoc2

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

after applying CompIntoAlltup1

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

after applying RightAssoc2

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

after applying CompIntoAlltup1

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

after applying RightAssoc2

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

after applying CompIntoAlltup1

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

after applying RightAssoc2

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

after applying CompIntoAlltup1

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

after applying RightAssoc2

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

after applying CompIntoAlltup1

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

after applying RightAssoc2

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

after applying CompIntoAlltup1

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

after applying RightAssoc2

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

after applying CompIntoAlltup1

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

after applying RightAssoc2

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

after applying CompIntoAlltup1

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

after applying RightAssoc2

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

after applying CompIntoAlltup1

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

after applying RightAssoc2

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

after applying CompIntoAlltup1

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

after applying AddrIntoZip

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

after applying AddrIntoAlltup

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

after applying AddrIntoZip

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

after applying AddrIntoAlltup

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

after applying ConAsorb

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

after applying ConAsorb

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

after applying LengthIntoZip

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

after applying RightAssoc2

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

after applying AddrIntoAlltup

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

after applying LeftAssociate

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

after applying LengthIntoRepeat

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

after applying AddrIntoAlltup

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

after applying MapIntoComp

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

after applying MapIntoComp

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

after applying MapIntoComp

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

after applying RightAssoc2

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

after applying AddrIntoZip

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

after applying RightAssoc2

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

after applying AddrIntoAlltup

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

after applying LeftAssociate

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

after applying RepeatFusion

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

after applying RightAssoc2

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

after applying AddrIntoZip

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

after applying RightAssoc2

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

after applying AddrIntoAlltup

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

after applying LeftAssociate

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

after applying RepeatFusion

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

after applying RightAssoc2

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

after applying AddrIntoZip

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

after applying RightAssoc2

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

after applying AddrIntoAlltup

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

after applying LeftAssociate

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

after applying RepeatFusion

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

after applying RightAssoc2

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

after applying CompIntoAlltup1

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

after applying RightAssoc2

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

after applying CompIntoAlltup1

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

after applying RightAssoc2

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

after applying CompIntoAlltup1

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

after applying RightAssoc2

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

after applying AddrIntoAlltup

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

after applying AddrIntoAlltup

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

after applying SelectIntro

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

after applying RightAssoc2

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

after applying AddrIntoAlltup

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

after applying AddrIntoAlltup

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

after applying RightAssoc2

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

after applying AddrIntoAlltup

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

after applying AddrIntoAlltup

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

after applying SelectIntro

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

after applying RightAssoc2

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

after applying CompIntoAlltup1

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

after applying RightAssoc2

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

after applying CompIntoAlltup1

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

after applying RightAssoc2

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

after applying CompIntoAlltup1

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

after applying RightAssoc2

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

after applying CompIntoAlltup1

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

after applying RightAssoc2

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

after applying CompIntoAlltup1

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

after applying RightAssoc2

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

after applying CompIntoAlltup1

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

after applying RightAssoc2

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

after applying CompIntoAlltup1

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

after applying RightAssoc2

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

after applying AddrIntoAlltup

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

after applying RemoveIds2

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

after applying AddrIntoAlltup

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

after applying RightAssoc2

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

after applying AddrIntoAlltup

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

after applying RemoveIds2

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

after applying AddrIntoAlltup

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

after applying ConAsorb

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

after applying RightAssoc2

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

after applying AddrIntoAlltup

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

after applying LeftAssociate

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

after applying LengthIntoIota

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

after applying RemoveIds1

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

after applying RightAssoc2

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

after applying AddrIntoAlltup

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

after applying RemoveIds2

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

after applying RightAssoc2

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

after applying AddrIntoAlltup

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

after applying LeftAssociate

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

after applying LengthIntoIota

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

after applying RemoveIds1

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

after applying RemoveIds1

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

after applying RemoveIds2

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

after applying RemoveIds1

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

after applying RightAssoc2

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

after applying CompIntoAlltup1

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

after applying RightAssoc2

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

after applying CompIntoAlltup1

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

after applying RightAssoc2

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

after applying CompIntoAlltup1

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

after applying RightAssoc2

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

after applying CompIntoAlltup1

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

after applying RightAssoc2

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

after applying CompIntoAlltup1

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

after applying RightAssoc2

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

after applying CompIntoAlltup1

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

after applying RightAssoc2

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

after applying CompIntoAlltup1

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

after applying AddrIntoAlltup

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

after applying RightAssoc2

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

after applying AddrIntoAlltup

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

after applying SelectElim1

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

after applying AddrIntoAlltup

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

after applying RightAssoc2

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

after applying AddrIntoAlltup

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

after applying ConAsorb

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

after applying AddrIntoAlltup

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

after applying AddrIntoAlltup

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