BMF Display

start trace

after applying start

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

after applying RemoveIds1

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

after applying RemoveIds1

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

after applying RemoveIds1

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

after applying RemoveIds1

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

after applying MapIntoComp

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

after applying MapIntoAlltup

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

after applying MapIntoComp

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

after applying MapIntoAlltup

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

after applying MapIntoComp

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

after applying MapIntoComp

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

after applying MapIntoComp

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

after applying MapIntoAlltup

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

after applying MapIntoComp

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

after applying MapIntoComp

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

after applying MapIntoComp

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

after applying MapIntoAlltup

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

after applying MapIntoComp

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

after applying MapIntoAlltup

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

after applying MapIntoComp

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

after applying MapIntoComp

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

after applying MapIntoComp

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

after applying LeftAssociate

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

after applying LeftAssociate

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

after applying LeftAssociate

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

after applying LeftAssociate

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

after applying LeftAssociate

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

after applying CompIntoMap

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

after applying CompIntoMap

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

after applying CompIntoMap

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

after applying CompIntoMap

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

after applying CompIntoMap

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

after applying CompIntoMap

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

after applying CompIntoMap

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

after applying MapIntoComp

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

after applying MapIntoComp

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

after applying MapIntoComp

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

after applying MapIntoComp

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

after applying DistlElim

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

after applying LeftAssociate

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

after applying CompIntoMap

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

after applying CompIntoMap

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

after applying CompIntoMap

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

after applying CompIntoMap

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

after applying CompIntoMap

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

after applying CompIntoMap

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

after applying CompIntoMap

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

after applying RightAssoc2

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

after applying CompIntoAlltup1

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

after applying RightAssoc2

after applying CompIntoAlltup1

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

after applying RightAssoc2

after applying CompIntoAlltup1

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

after applying RightAssoc2

after applying CompIntoAlltup1

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

after applying RightAssoc2

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

after applying CompIntoAlltup1

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

after applying RightAssoc2

after applying CompIntoAlltup1

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

after applying RightAssoc2

after applying CompIntoAlltup1

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

after applying RightAssoc2

after applying CompIntoAlltup1

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

after applying RightAssoc2

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

after applying CompIntoAlltup1

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

after applying RightAssoc2

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

after applying CompIntoAlltup1

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

after applying AddrIntoZip

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

after applying AddrIntoAlltup

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

after applying AddrIntoZip

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

after applying AddrIntoAlltup

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

after applying MapIntoComp

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

after applying MapIntoComp

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

after applying MapIntoComp

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

after applying MapIntoComp

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

after applying MapIntoComp

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

after applying MapIntoComp

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

after applying MapIntoComp

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

after applying RightAssoc2

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

after applying AddrIntoZip

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

after applying RightAssoc2

after applying AddrIntoAlltup

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

after applying LeftAssociate

after applying RightAssoc2

after applying RepeatFusion

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

after applying LeftAssociate

after applying RepeatFusion

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

after applying RightAssoc2

after applying AddrIntoZip

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

after applying RightAssoc2

after applying AddrIntoAlltup

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

after applying LeftAssociate

after applying RightAssoc2

after applying RepeatFusion

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

after applying LeftAssociate

after applying RepeatFusion

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

after applying RightAssoc2

after applying AddrIntoZip

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

after applying RightAssoc2

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

after applying AddrIntoAlltup

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

after applying LeftAssociate

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

after applying RightAssoc2

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

after applying RepeatFusion

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

after applying LeftAssociate

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

after applying RepeatFusion

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

after applying RightAssoc2

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

after applying AddrIntoZip

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

after applying RightAssoc2

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

after applying AddrIntoAlltup

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

after applying LeftAssociate

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

after applying RepeatFusion

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

after applying RightAssoc2

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

after applying CompIntoAlltup1

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

after applying RightAssoc2

after applying CompIntoAlltup1

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

after applying RightAssoc2

after applying CompIntoAlltup1

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

after applying RightAssoc2

after applying CompIntoAlltup1

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

after applying RightAssoc2

after applying CompIntoAlltup1

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

after applying RightAssoc2

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

after applying CompIntoAlltup1

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

after applying RightAssoc2

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

after applying CompIntoAlltup1

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

after applying RightAssoc2

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

after applying CompIntoAlltup1

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

after applying RightAssoc2

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

after applying CompIntoAlltup1

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

after applying RightAssoc2

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

after applying CompIntoAlltup1

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

after applying RightAssoc2

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

after applying CompIntoAlltup1

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

after applying RightAssoc2

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

after applying CompIntoAlltup1

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

after applying RightAssoc2

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

after applying CompIntoAlltup1

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

after applying RightAssoc2

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

after applying AddrIntoAlltup

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

after applying AddrIntoAlltup

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

after applying RightAssoc2

after applying AddrIntoAlltup

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

after applying LeftAssociate

after applying RightAssoc2

after applying AddrIntoAlltup

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

after applying AddrIntoAlltup

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

after applying AddrIntoAlltup

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

after applying SelectIntro

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

after applying RightAssoc2

after applying AddrIntoAlltup

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

after applying AddrIntoAlltup

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

after applying RightAssoc2

after applying AddrIntoAlltup

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

after applying LeftAssociate

after applying RightAssoc2

after applying AddrIntoAlltup

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

after applying AddrIntoAlltup

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

after applying AddrIntoAlltup

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

after applying RightAssoc2

after applying AddrIntoAlltup

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

after applying AddrIntoAlltup

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

after applying RightAssoc2

after applying AddrIntoAlltup

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

after applying LeftAssociate

after applying RightAssoc2

after applying AddrIntoAlltup

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

after applying AddrIntoAlltup

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

after applying AddrIntoAlltup

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

after applying RightAssoc2

after applying AddrIntoAlltup

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

after applying AddrIntoAlltup

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

after applying SelectIntro

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

after applying RightAssoc2

after applying CompIntoAlltup1

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

after applying RightAssoc2

after applying CompIntoAlltup1

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

after applying RightAssoc2

after applying CompIntoAlltup1

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

after applying RightAssoc2

after applying CompIntoAlltup1

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

after applying RightAssoc2

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

after applying CompIntoAlltup1

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

after applying RightAssoc2

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

after applying CompIntoAlltup1

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

after applying RightAssoc2

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

after applying CompIntoAlltup1

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

after applying RightAssoc2

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

after applying AddrIntoAlltup

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

after applying RightAssoc2

after applying RemoveIds2

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

after applying AddrIntoAlltup

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

after applying RightAssoc2

after applying AddrIntoAlltup

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

after applying RightAssoc2

after applying RemoveIds2

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

after applying AddrIntoAlltup

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

after applying RightAssoc2

after applying AddrIntoAlltup

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

after applying RightAssoc2

after applying RemoveIds2

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

after applying RightAssoc2

after applying AddrIntoAlltup

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

after applying LeftAssociate

after applying LengthIntoIota

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

after applying RemoveIds1

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

after applying RightAssoc2

after applying AddrIntoAlltup

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

after applying RemoveIds2

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

after applying RightAssoc2

after applying AddrIntoAlltup

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

after applying LeftAssociate

after applying LengthIntoIota

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

after applying RemoveIds1

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

after applying RemoveIds1

after applying CompIntoAlltup1

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

after applying RightAssoc2

after applying CompIntoAlltup1

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

after applying RightAssoc2

after applying CompIntoAlltup1

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

after applying RightAssoc2

after applying CompIntoAlltup1

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

after applying RightAssoc2

after applying CompIntoAlltup1

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

after applying RightAssoc2

after applying CompIntoAlltup1

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

after applying RightAssoc2

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

after applying CompIntoAlltup1

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

after applying RightAssoc2

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

after applying CompIntoAlltup1

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

after applying RightAssoc2

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

after applying CompIntoAlltup1

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

after applying RightAssoc2

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

after applying AddrIntoAlltup

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

after applying RemoveIds2

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

after applying ConAsorb

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

after applying RightAssoc2

after applying AddrIntoAlltup

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

after applying RemoveIds2

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

after applying RightAssoc2

after applying AddrIntoAlltup

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

after applying LeftAssociate

after applying SelectElim3

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

after applying RightAssoc2

after applying AddrIntoAlltup

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

after applying RemoveIds2

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

after applying RightAssoc2

after applying AddrIntoAlltup

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

after applying LeftAssociate

after applying RightAssoc2

after applying AddrIntoAlltup

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

after applying RemoveIds2

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

after applying AddrIntoAlltup

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

after applying AddrIntoAlltup

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

after applying AddrIntoAlltup

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

after applying CircShiftIntro2

(+.(²π₁,1)^o,(+)*.zip₂.(²π₂,cshift.(²π₂,²π₁)^o)^o)^o . id

after applying CompIntoAlltup1

(+.(²π₁,1)^o.id,(+)*.zip₂.(²π₂,cshift.(²π₂,²π₁)^o)^o.id)^o

after applying RightAssoc2

(+.(²π₁,1)^o.id,(+)*.zip₂.(²π₂,cshift.(²π₂,²π₁)^o)^o.id)^o

after applying CompIntoAlltup1

(+.(²π₁.id,1.id)^o,(+)*.zip₂.(²π₂,cshift.(²π₂,²π₁)^o)^o.id)^o

after applying RightAssoc2

(+.(²π₁.id,1.id)^o,(+)*.zip₂.(²π₂,cshift.(²π₂,²π₁)^o)^o.id)^o

after applying CompIntoAlltup1

(+.(²π₁.id,1.id)^o,(+)*.zip₂.(²π₂.id,cshift.(²π₂,²π₁)^o.id)^o)^o

after applying RightAssoc2

(+.(²π₁.id,1.id)^o,(+)*.zip₂.(²π₂.id,cshift.(²π₂,²π₁)^o.id)^o)^o

after applying CompIntoAlltup1

(+.(²π₁.id,1.id)^o,(+)*.zip₂.(²π₂.id,cshift.(²π₂.id,²π₁.id)^o)^o)^o

after applying RemoveIds2

(+.(²π₁,1.id)^o,(+)*.zip₂.(²π₂.id,cshift.(²π₂.id,²π₁.id)^o)^o)^o

after applying ConAsorb

(+.(²π₁,1)^o,(+)*.zip₂.(²π₂.id,cshift.(²π₂.id,²π₁.id)^o)^o)^o

after applying RemoveIds2

(+.(²π₁,1)^o,(+)*.zip₂.(²π₂,cshift.(²π₂.id,²π₁.id)^o)^o)^o

after applying RemoveIds2

(+.(²π₁,1)^o,(+)*.zip₂.(²π₂,cshift.(²π₂,²π₁.id)^o)^o)^o

after applying RemoveIds2

(+.(²π₁,1)^o,(+)*.zip₂.(²π₂,cshift.(²π₂,²π₁)^o)^o)^o

end trace