after applying start

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

after applying RemoveIds1

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

after applying MapIntoComp

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

after applying MapIntoAlltup

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

after applying MapIntoComp

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

after applying MapIntoComp

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

after applying MapIntoAlltup

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

after applying MapIntoComp

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

after applying MapIntoAlltup

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

after applying MapIntoComp

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

after applying MapIntoAlltup

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

after applying MapIntoComp

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

after applying MapIntoComp

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

after applying LeftAssociate

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

after applying LeftAssociate

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

after applying LeftAssociate

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

after applying LeftAssociate

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

after applying ConRepeat

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

after applying CompIntoMap

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

after applying CompIntoMap

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

after applying CompIntoMap

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

after applying MapIntoComp

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

after applying MapIntoComp

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

after applying MapIntoComp

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

after applying DistlElim

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

after applying LeftAssociate

( ! )* . zip₂ . ((²π₁)*.(²π₁)*,(mod)*.zip₂.((+)*.zip₂.((²π₂)*,(⁄)*.zip₂.((²π₂)*.(²π₁)*,repeat.(3,#)^o)^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₂.((²π₂)*.(²π₁)*,repeat.(3,#)^o)^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₂.((²π₂.²π₁)*,repeat.(3,#)^o)^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₂.((²π₂.²π₁)*,repeat.(3,#)^o)^o)^o,(²π₂.²π₁)*)^o)^o . zip₂ . (repeat.(²π₁,#.²π₂)^o,²π₂)^o . (id,iota.²π₂)^o . id . id . (id,#.id)^o . id

after applying RightAssoc2

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

after applying CompIntoAlltup1

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

after applying RightAssoc2

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

after applying CompIntoAlltup1

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

after applying RightAssoc2

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

after applying CompIntoAlltup1

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

after applying RightAssoc2

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

after applying CompIntoAlltup1

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

after applying RightAssoc2

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

after applying CompIntoAlltup1

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

after applying RightAssoc2

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

after applying CompIntoAlltup1

( ! )* . zip₂ . ((²π₁.²π₁)*.zip₂.(repeat.(²π₁,#.²π₂)^o,²π₂)^o,(mod)*.zip₂.((+)*.zip₂.((²π₂)*.zip₂,(⁄)*.zip₂.((²π₂.²π₁)*.zip₂,repeat.(3.zip₂,#.zip₂)^o)^o)^o,(²π₂.²π₁)*.zip₂)^o.(repeat.(²π₁,#.²π₂)^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₂.((²π₂.²π₁)*.zip₂,repeat.(3.zip₂,#.zip₂)^o)^o)^o,(²π₂.²π₁)*.zip₂)^o.(repeat.(²π₁,#.²π₂)^o,²π₂)^o)^o . (id,iota.²π₂)^o . id . id . (id,#.id)^o . id

after applying CompIntoAlltup1

( ! )* . zip₂ . ((²π₁.²π₁)*.zip₂.(repeat.(²π₁,#.²π₂)^o,²π₂)^o,(mod)*.zip₂.((+)*.zip₂.((²π₂)*.zip₂,(⁄)*.zip₂.((²π₂.²π₁)*.zip₂,repeat.(3.zip₂,#.zip₂)^o)^o)^o.(repeat.(²π₁,#.²π₂)^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₂.((²π₂.²π₁)*.zip₂,repeat.(3.zip₂,#.zip₂)^o)^o)^o.(repeat.(²π₁,#.²π₂)^o,²π₂)^o,(²π₂.²π₁)*.zip₂.(repeat.(²π₁,#.²π₂)^o,²π₂)^o)^o)^o . (id,iota.²π₂)^o . id . id . (id,#.id)^o . id

after applying CompIntoAlltup1

( ! )* . zip₂ . ((²π₁.²π₁)*.zip₂.(repeat.(²π₁,#.²π₂)^o,²π₂)^o,(mod)*.zip₂.((+)*.zip₂.((²π₂)*.zip₂.(repeat.(²π₁,#.²π₂)^o,²π₂)^o,(⁄)*.zip₂.((²π₂.²π₁)*.zip₂,repeat.(3.zip₂,#.zip₂)^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₂ . ((²π₁.²π₁)*.zip₂.(repeat.(²π₁,#.²π₂)^o,²π₂)^o,(mod)*.zip₂.((+)*.zip₂.((²π₂)*.zip₂.(repeat.(²π₁,#.²π₂)^o,²π₂)^o,(⁄)*.zip₂.((²π₂.²π₁)*.zip₂,repeat.(3.zip₂,#.zip₂)^o)^o.(repeat.(²π₁,#.²π₂)^o,²π₂)^o)^o,(²π₂.²π₁)*.zip₂.(repeat.(²π₁,#.²π₂)^o,²π₂)^o)^o)^o . (id,iota.²π₂)^o . id . id . (id,#.id)^o . id

after applying CompIntoAlltup1

( ! )* . zip₂ . ((²π₁.²π₁)*.zip₂.(repeat.(²π₁,#.²π₂)^o,²π₂)^o,(mod)*.zip₂.((+)*.zip₂.((²π₂)*.zip₂.(repeat.(²π₁,#.²π₂)^o,²π₂)^o,(⁄)*.zip₂.((²π₂.²π₁)*.zip₂.(repeat.(²π₁,#.²π₂)^o,²π₂)^o,repeat.(3.zip₂,#.zip₂)^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₂ . ((²π₁.²π₁)*.zip₂.(repeat.(²π₁,#.²π₂)^o,²π₂)^o,(mod)*.zip₂.((+)*.zip₂.((²π₂)*.zip₂.(repeat.(²π₁,#.²π₂)^o,²π₂)^o,(⁄)*.zip₂.((²π₂.²π₁)*.zip₂.(repeat.(²π₁,#.²π₂)^o,²π₂)^o,repeat.(3.zip₂,#.zip₂)^o.(repeat.(²π₁,#.²π₂)^o,²π₂)^o)^o)^o,(²π₂.²π₁)*.zip₂.(repeat.(²π₁,#.²π₂)^o,²π₂)^o)^o)^o . (id,iota.²π₂)^o . id . id . (id,#.id)^o . id

after applying CompIntoAlltup1

( ! )* . zip₂ . ((²π₁.²π₁)*.zip₂.(repeat.(²π₁,#.²π₂)^o,²π₂)^o,(mod)*.zip₂.((+)*.zip₂.((²π₂)*.zip₂.(repeat.(²π₁,#.²π₂)^o,²π₂)^o,(⁄)*.zip₂.((²π₂.²π₁)*.zip₂.(repeat.(²π₁,#.²π₂)^o,²π₂)^o,repeat.(3.zip₂.(repeat.(²π₁,#.²π₂)^o,²π₂)^o,#.zip₂.(repeat.(²π₁,#.²π₂)^o,²π₂)^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,repeat.(3.zip₂.(repeat.(²π₁,#.²π₂)^o,²π₂)^o,#.zip₂.(repeat.(²π₁,#.²π₂)^o,²π₂)^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,repeat.(3.zip₂.(repeat.(²π₁,#.²π₂)^o,²π₂)^o,#.zip₂.(repeat.(²π₁,#.²π₂)^o,²π₂)^o)^o)^o)^o,(²π₂.²π₁)*.zip₂.(repeat.(²π₁,#.²π₂)^o,²π₂)^o)^o)^o . (id,iota.²π₂)^o . id . id . (id,#.id)^o . id

after applying ConAsorb

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

after applying ConAsorb

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

after applying LengthIntoZip

( ! )* . zip₂ . ((²π₁.²π₁)*.zip₂.(repeat.(²π₁,#.²π₂)^o,²π₂)^o,(mod)*.zip₂.((+)*.zip₂.(²π₂,(⁄)*.zip₂.((²π₂.²π₁)*.zip₂.(repeat.(²π₁,#.²π₂)^o,²π₂)^o,repeat.(3,#.²π₁.(repeat.(²π₁,#.²π₂)^o,²π₂)^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,repeat.(3,#.²π₁.(repeat.(²π₁,#.²π₂)^o,²π₂)^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,repeat.(3,#.repeat.(²π₁,#.²π₂)^o)^o)^o)^o,(²π₂.²π₁)*.zip₂.(repeat.(²π₁,#.²π₂)^o,²π₂)^o)^o)^o . (id,iota.²π₂)^o . id . id . (id,#.id)^o . id

after applying LeftAssociate

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

after applying LengthIntoRepeat

( ! )* . zip₂ . ((²π₁.²π₁)*.zip₂.(repeat.(²π₁,#.²π₂)^o,²π₂)^o,(mod)*.zip₂.((+)*.zip₂.(²π₂,(⁄)*.zip₂.((²π₂.²π₁)*.zip₂.(repeat.(²π₁,#.²π₂)^o,²π₂)^o,repeat.(3,²π₂.(²π₁,#.²π₂)^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,repeat.(3,#.²π₂)^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,repeat.(3,#.²π₂)^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,repeat.(3,#.²π₂)^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,repeat.(3,#.²π₂)^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,repeat.(3,#.²π₂)^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,repeat.(3,#.²π₂)^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,(mod)*.zip₂.((+)*.zip₂.(²π₂,(⁄)*.zip₂.((²π₂)*.(²π₁)*.zip₂.(repeat.(²π₁,#.²π₂)^o,²π₂)^o,repeat.(3,#.²π₂)^o)^o)^o,(²π₂)*.(²π₁)*.zip₂.(repeat.(²π₁,#.²π₂)^o,²π₂)^o)^o)^o . (id,iota.²π₂)^o . id . id . (id,#.id)^o . id

after applying AddrIntoAlltup

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

after applying LeftAssociate

( ! )* . zip₂ . ((²π₁)*.repeat.(²π₁,#.²π₂)^o,(mod)*.zip₂.((+)*.zip₂.(²π₂,(⁄)*.zip₂.((²π₂)*.(²π₁)*.zip₂.(repeat.(²π₁,#.²π₂)^o,²π₂)^o,repeat.(3,#.²π₂)^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,(mod)*.zip₂.((+)*.zip₂.(²π₂,(⁄)*.zip₂.((²π₂)*.(²π₁)*.zip₂.(repeat.(²π₁,#.²π₂)^o,²π₂)^o,repeat.(3,#.²π₂)^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,(mod)*.zip₂.((+)*.zip₂.(²π₂,(⁄)*.zip₂.((²π₂)*.(²π₁)*.zip₂.(repeat.(²π₁,#.²π₂)^o,²π₂)^o,repeat.(3,#.²π₂)^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₂.((²π₂)*.²π₁.(repeat.(²π₁,#.²π₂)^o,²π₂)^o,repeat.(3,#.²π₂)^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,(mod)*.zip₂.((+)*.zip₂.(²π₂,(⁄)*.zip₂.((²π₂)*.²π₁.(repeat.(²π₁,#.²π₂)^o,²π₂)^o,repeat.(3,#.²π₂)^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,(mod)*.zip₂.((+)*.zip₂.(²π₂,(⁄)*.zip₂.((²π₂)*.repeat.(²π₁,#.²π₂)^o,repeat.(3,#.²π₂)^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,(mod)*.zip₂.((+)*.zip₂.(²π₂,(⁄)*.zip₂.((²π₂)*.repeat.(²π₁,#.²π₂)^o,repeat.(3,#.²π₂)^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,(mod)*.zip₂.((+)*.zip₂.(²π₂,(⁄)*.zip₂.(repeat.(²π₂.²π₁,²π₂)^o.(²π₁,#.²π₂)^o,repeat.(3,#.²π₂)^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,(mod)*.zip₂.((+)*.zip₂.(²π₂,(⁄)*.zip₂.(repeat.(²π₂.²π₁,²π₂)^o.(²π₁,#.²π₂)^o,repeat.(3,#.²π₂)^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₂.(repeat.(²π₂.²π₁,²π₂)^o.(²π₁,#.²π₂)^o,repeat.(3,#.²π₂)^o)^o)^o,(²π₂)*.²π₁.(repeat.(²π₁,#.²π₂)^o,²π₂)^o)^o)^o . (id,iota.²π₂)^o . id . id . (id,#.id)^o . id

after applying RightAssoc2

( ! )* . zip₂ . (repeat.(²π₁.²π₁,²π₂)^o.(²π₁,#.²π₂)^o,(mod)*.zip₂.((+)*.zip₂.(²π₂,(⁄)*.zip₂.(repeat.(²π₂.²π₁,²π₂)^o.(²π₁,#.²π₂)^o,repeat.(3,#.²π₂)^o)^o)^o,(²π₂)*.²π₁.(repeat.(²π₁,#.²π₂)^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,repeat.(3,#.²π₂)^o)^o)^o,(²π₂)*.repeat.(²π₁,#.²π₂)^o)^o)^o . (id,iota.²π₂)^o . id . id . (id,#.id)^o . id

after applying LeftAssociate

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

after applying RepeatFusion

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

after applying RightAssoc2

( ! )* . zip₂ . (repeat.(²π₁.²π₁,²π₂)^o.(²π₁,#.²π₂)^o,(mod)*.zip₂.((+)*.zip₂.(²π₂,(⁄)*.zip₂.(repeat.(²π₂.²π₁,²π₂)^o.(²π₁,#.²π₂)^o,repeat.(3,#.²π₂)^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,(mod)*.zip₂.((+)*.zip₂.(²π₂,(⁄)*.zip₂.(repeat.(²π₂.²π₁,²π₂)^o.(²π₁,#.²π₂)^o,repeat.(3,#.²π₂)^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.(3,#.²π₂)^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,(mod)*.zip₂.((+)*.zip₂.(²π₂,(⁄)*.zip₂.(repeat.(²π₂.²π₁.(²π₁,#.²π₂)^o,²π₂.(²π₁,#.²π₂)^o)^o,repeat.(3,#.²π₂)^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)^o,repeat.(3,#.²π₂)^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,(mod)*.zip₂.((+)*.zip₂.(²π₂,(⁄)*.zip₂.(repeat.(²π₂.²π₁.(²π₁,#.²π₂)^o,²π₂.(²π₁,#.²π₂)^o)^o,repeat.(3,#.²π₂)^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,(mod)*.zip₂.((+)*.zip₂.(²π₂,(⁄)*.zip₂.(repeat.(²π₂.²π₁.(²π₁,#.²π₂)^o,²π₂.(²π₁,#.²π₂)^o)^o,repeat.(3,#.²π₂)^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.(3,#.²π₂)^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.(3,#.²π₂)^o)^o)^o,repeat.(²π₂.²π₁.(²π₁,#.²π₂)^o,²π₂.(²π₁,#.²π₂)^o)^o)^o)^o . (id,iota.²π₂)^o . id . id . (id,#.id)^o . id

after applying RightAssoc2

( ! )* . zip₂ . (repeat.(²π₁.²π₁,#.²π₂)^o,(mod)*.zip₂.((+)*.zip₂.(²π₂,(⁄)*.zip₂.(repeat.(²π₂.²π₁.(²π₁,#.²π₂)^o,²π₂.(²π₁,#.²π₂)^o)^o,repeat.(3,#.²π₂)^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,repeat.(3,#.²π₂)^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.(3,#.²π₂)^o)^o)^o,repeat.(²π₂.²π₁.(²π₁,#.²π₂)^o,²π₂.(²π₁,#.²π₂)^o)^o)^o)^o . (id,iota.²π₂)^o . id . id . (id,#.id)^o . id

after applying RightAssoc2

( ! )* . zip₂ . (repeat.(²π₁.²π₁,#.²π₂)^o,(mod)*.zip₂.((+)*.zip₂.(²π₂,(⁄)*.zip₂.(repeat.(²π₂.²π₁,#.²π₂)^o,repeat.(3,#.²π₂)^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.(3,#.²π₂)^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.(3,#.²π₂)^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.(3,#.²π₂)^o)^o)^o,repeat.(²π₂.²π₁,#.²π₂)^o)^o)^o . (id,iota.²π₂)^o . id . id . (id,#.id)^o . id

after applying RightAssoc2

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

after applying ZipElim

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

after applying LeftAssociate

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

after applying RepeatFusion

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

after applying RightAssoc2

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

after applying CompIntoAlltup1

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

after applying RightAssoc2

select . (²π₁.²π₁,(mod)*.zip₂.((+)*.zip₂.(²π₂,repeat.(⁄.²π₁.((²π₂.²π₁,3)^o,#.²π₂)^o,²π₂.((²π₂.²π₁,3)^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.(⁄.(²π₂.²π₁,3)^o,²π₂.((²π₂.²π₁,3)^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.(⁄.(²π₂.²π₁,3)^o,#.²π₂)^o)^o,repeat.(²π₂.²π₁,#.²π₂)^o)^o)^o . (id,iota.²π₂)^o . id . id . (id,#.id)^o . id

after applying RightAssoc2

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

after applying CompIntoAlltup1

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

after applying RightAssoc2

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

after applying CompIntoAlltup1

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

after applying RightAssoc2

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

after applying CompIntoAlltup1

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

after applying RightAssoc2

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

after applying CompIntoAlltup1

select . (²π₁.²π₁.(id,iota.²π₂)^o,(mod)*.zip₂.((+)*.zip₂.(²π₂.(id,iota.²π₂)^o,repeat.(⁄.(²π₂.²π₁,3)^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

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

after applying CompIntoAlltup1

select . (²π₁.²π₁.(id,iota.²π₂)^o,(mod)*.zip₂.((+)*.zip₂.(²π₂.(id,iota.²π₂)^o,repeat.(⁄.(²π₂.²π₁.(id,iota.²π₂)^o,3.(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

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

after applying CompIntoAlltup1

select . (²π₁.²π₁.(id,iota.²π₂)^o,(mod)*.zip₂.((+)*.zip₂.(²π₂.(id,iota.²π₂)^o,repeat.(⁄.(²π₂.²π₁.(id,iota.²π₂)^o,3.(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,3.(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,3.(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₂.(²π₂.(id,iota.²π₂)^o,repeat.(⁄.(²π₂.²π₁.(id,iota.²π₂)^o,3.(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,3.(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 . (²π₁,(mod)*.zip₂.((+)*.zip₂.(iota.²π₂,repeat.(⁄.(²π₂.²π₁.(id,iota.²π₂)^o,3.(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,3.(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.(⁄.(²π₂,3.(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 ConAsorb

select . (²π₁,(mod)*.zip₂.((+)*.zip₂.(iota.²π₂,repeat.(⁄.(²π₂,3)^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 . (²π₁,(mod)*.zip₂.((+)*.zip₂.(iota.²π₂,repeat.(⁄.(²π₂,3)^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.(⁄.(²π₂,3)^o,#.iota.²π₂)^o)^o,repeat.(²π₂.²π₁.(id,iota.²π₂)^o,#.²π₂.(id,iota.²π₂)^o)^o)^o)^o . id . id . (id,#.id)^o . id

after applying LeftAssociate

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

after applying LengthIntoIota

select . (²π₁,(mod)*.zip₂.((+)*.zip₂.(iota.²π₂,repeat.(⁄.(²π₂,3)^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.(⁄.(²π₂,3)^o,²π₂)^o)^o,repeat.(²π₂.²π₁.(id,iota.²π₂)^o,#.²π₂.(id,iota.²π₂)^o)^o)^o)^o . id . id . (id,#.id)^o . id

after applying RightAssoc2

select . (²π₁,(mod)*.zip₂.((+)*.zip₂.(iota.²π₂,repeat.(⁄.(²π₂,3)^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.(⁄.(²π₂,3)^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.(⁄.(²π₂,3)^o,²π₂)^o)^o,repeat.(²π₂,#.²π₂.(id,iota.²π₂)^o)^o)^o)^o . id . id . (id,#.id)^o . id

after applying RightAssoc2

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

after applying AddrIntoAlltup

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

after applying LeftAssociate

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

after applying LengthIntoIota

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

after applying RemoveIds1

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

after applying RemoveIds1

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

after applying RemoveIds2

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

after applying RemoveIds1

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

after applying RightAssoc2

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

after applying CompIntoAlltup1

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

after applying RightAssoc2

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

after applying CompIntoAlltup1

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

after applying RightAssoc2

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

after applying CompIntoAlltup1

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

after applying RightAssoc2

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

after applying CompIntoAlltup1

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

after applying RightAssoc2

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

after applying CompIntoAlltup1

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

after applying RightAssoc2

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

after applying CompIntoAlltup1

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

after applying AddrIntoAlltup

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

after applying RightAssoc2

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

after applying AddrIntoAlltup

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

after applying AddrIntoAlltup

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

after applying ConAsorb

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

after applying AddrIntoAlltup

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

after applying AddrIntoAlltup

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

after applying AddrIntoAlltup

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

after applying CircShiftIntro1

cshift . (id,⁄.(#,3)^o)^o . id

after applying RightAssoc2

cshift . (id,⁄.(#,3)^o)^o . id

after applying CompIntoAlltup1

cshift . (id.id,⁄.(#,3)^o.id)^o

after applying RightAssoc2

cshift . (id.id,⁄.(#,3)^o.id)^o

after applying CompIntoAlltup1

cshift . (id.id,⁄.(#.id,3.id)^o)^o

after applying RemoveIds1

cshift . (id,⁄.(#.id,3.id)^o)^o

after applying RemoveIds2

cshift . (id,⁄.(#,3.id)^o)^o

after applying ConAsorb

cshift . (id,⁄.(#,3)^o)^o

end trace