BMF Display

start trace

after applying start

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

after applying RemoveIds1

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

after applying RemoveIds1

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

after applying MapIntoComp

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

after applying MapIntoAlltup

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

after applying MapIntoComp

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

after applying MapIntoComp

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

after applying MapIntoComp

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

after applying MapIntoAlltup

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

after applying MapIntoComp

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

after applying MapIntoAlltup

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

after applying MapIntoComp

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

after applying MapIntoAlltup

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

after applying MapIntoComp

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

after applying MapIntoComp

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

after applying MapIntoComp

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

after applying MapIntoComp

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

after applying LeftAssociate

after applying CompIntoMap

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

after applying CompIntoMap

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

after applying CompIntoMap

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

after applying CompIntoMap

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

after applying CompIntoMap

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

after applying CompIntoMap

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

after applying MapIntoComp

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

after applying MapIntoComp

after applying DistlElim

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

after applying LeftAssociate

after applying CompIntoMap

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

after applying CompIntoMap

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

after applying CompIntoMap

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

after applying CompIntoMap

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

after applying CompIntoMap

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

after applying CompIntoMap

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

after applying RightAssoc2

after applying CompIntoAlltup1

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

after applying RightAssoc2

after applying CompIntoAlltup1

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

after applying RightAssoc2

after applying CompIntoAlltup1

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

after applying RightAssoc2

after applying CompIntoAlltup1

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

after applying RightAssoc2

after applying CompIntoAlltup1

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

after applying RightAssoc2

after applying CompIntoAlltup1

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

after applying RightAssoc2

after applying CompIntoAlltup1

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

after applying RightAssoc2

after applying CompIntoAlltup1

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

after applying AddrIntoZip

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

after applying AddrIntoAlltup

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

after applying MapIntoComp

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

after applying MapIntoComp

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

after applying MapIntoComp

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

after applying MapIntoComp

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

after applying MapIntoComp

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

after applying MapIntoComp

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

after applying RightAssoc2

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

after applying AddrIntoZip

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

after applying RightAssoc2

after applying AddrIntoAlltup

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

after applying LeftAssociate

after applying RightAssoc2

after applying RepeatFusion

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

after applying LeftAssociate

after applying RepeatFusion

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

after applying RightAssoc2

after applying AddrIntoZip

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

after applying RightAssoc2

after applying AddrIntoAlltup

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

after applying LeftAssociate

after applying RepeatFusion

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

after applying RightAssoc2

after applying AddrIntoZip

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

after applying RightAssoc2

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

after applying AddrIntoAlltup

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

after applying LeftAssociate

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

after applying RightAssoc2

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

after applying RepeatFusion

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

after applying LeftAssociate

after applying RepeatFusion

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

after applying RightAssoc2

after applying AddrIntoZip

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

after applying RightAssoc2

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

after applying AddrIntoAlltup

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

after applying LeftAssociate

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

after applying RepeatFusion

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

after applying RightAssoc2

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

after applying CompIntoAlltup1

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

after applying RightAssoc2

after applying CompIntoAlltup1

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

after applying RightAssoc2

after applying CompIntoAlltup1

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

after applying RightAssoc2

after applying CompIntoAlltup1

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

after applying RightAssoc2

after applying CompIntoAlltup1

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

after applying RightAssoc2

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

after applying CompIntoAlltup1

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

after applying RightAssoc2

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

after applying CompIntoAlltup1

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

after applying RightAssoc2

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

after applying CompIntoAlltup1

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

after applying RightAssoc2

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

after applying CompIntoAlltup1

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

after applying RightAssoc2

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

after applying CompIntoAlltup1

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

after applying RightAssoc2

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

after applying AddrIntoAlltup

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

after applying AddrIntoAlltup

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

after applying RightAssoc2

after applying AddrIntoAlltup

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

after applying LeftAssociate

after applying RightAssoc2

after applying AddrIntoAlltup

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

after applying AddrIntoAlltup

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

after applying AddrIntoAlltup

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

after applying RightAssoc2

after applying AddrIntoAlltup

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

after applying AddrIntoAlltup

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

after applying RightAssoc2

after applying AddrIntoAlltup

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

after applying AddrIntoAlltup

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

after applying RightAssoc2

after applying AddrIntoAlltup

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

after applying LeftAssociate

after applying RightAssoc2

after applying AddrIntoAlltup

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

after applying AddrIntoAlltup

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

after applying AddrIntoAlltup

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

after applying RightAssoc2

after applying AddrIntoAlltup

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

after applying AddrIntoAlltup

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

after applying SelectIntro

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

after applying RightAssoc2

after applying ZipElim

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

after applying LeftAssociate

after applying RepeatFusion

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

after applying RightAssoc2

after applying CompIntoAlltup1

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

after applying RightAssoc2

after applying AddrIntoAlltup

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

after applying AddrIntoAlltup

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

after applying RightAssoc2

after applying CompIntoAlltup1

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

after applying RightAssoc2

after applying CompIntoAlltup1

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

after applying RightAssoc2

after applying CompIntoAlltup1

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

after applying RightAssoc2

after applying CompIntoAlltup1

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

after applying RightAssoc2

after applying CompIntoAlltup1

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

after applying RightAssoc2

after applying CompIntoAlltup1

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

after applying RightAssoc2

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

after applying AddrIntoAlltup

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

after applying RightAssoc2

after applying RemoveIds2

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

after applying AddrIntoAlltup

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

after applying RightAssoc2

after applying AddrIntoAlltup

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

after applying RemoveIds2

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

after applying RightAssoc2

after applying AddrIntoAlltup

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

after applying RightAssoc2

after applying RemoveIds2

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

after applying RightAssoc2

after applying AddrIntoAlltup

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

after applying LeftAssociate

after applying LengthIntoIota

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

after applying RemoveIds1

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

after applying RightAssoc2

after applying AddrIntoAlltup

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

after applying RemoveIds2

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

after applying RightAssoc2

after applying AddrIntoAlltup

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

after applying LeftAssociate

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

after applying LengthIntoIota

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

after applying RemoveIds1

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

after applying RemoveIds1

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

after applying RemoveIds1

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

after applying RemoveIds1

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

after applying RightAssoc2

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

after applying CompIntoAlltup1

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

after applying RightAssoc2

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

after applying CompIntoAlltup1

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

after applying RightAssoc2

after applying CompIntoAlltup1

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

after applying RightAssoc2

after applying CompIntoAlltup1

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

after applying RightAssoc2

after applying CompIntoAlltup1

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

after applying RightAssoc2

after applying CompIntoAlltup1

after applying RightAssoc2

after applying AddrIntoAlltup

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

after applying RemoveIds2

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

after applying RightAssoc2

after applying AddrIntoAlltup

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

after applying LeftAssociate

after applying AddrIntoAlltup

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

after applying RightAssoc2

after applying AddrIntoAlltup

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

after applying RemoveIds2

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

after applying AddrIntoAlltup

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

after applying AddrIntoAlltup

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

after applying AddrIntoAlltup

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

after applying CircShiftIntro2

cshift . (²π₁,⁄.(#.²π₁,²π₂)^o)^o . id

after applying RightAssoc2

cshift . (²π₁,⁄.(#.²π₁,²π₂)^o)^o . id

after applying CompIntoAlltup1

cshift . (²π₁.id,⁄.(#.²π₁,²π₂)^o.id)^o

after applying RightAssoc2

cshift . (²π₁.id,⁄.(#.²π₁,²π₂)^o.id)^o

after applying CompIntoAlltup1

cshift . (²π₁.id,⁄.(#.²π₁.id,²π₂.id)^o)^o

after applying RemoveIds2

cshift . (²π₁,⁄.(#.²π₁.id,²π₂.id)^o)^o

after applying RightAssoc2

cshift . (²π₁,⁄.(#.²π₁.id,²π₂.id)^o)^o

after applying RemoveIds2

cshift . (²π₁,⁄.(#.²π₁,²π₂.id)^o)^o

after applying RemoveIds2

cshift . (²π₁,⁄.(#.²π₁,²π₂)^o)^o

end trace