after applying start

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

after applying RemoveIds1

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

after applying MapIntoComp

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

after applying MapIntoAlltup

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

after applying MapIntoComp

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

after applying MapIntoAlltup

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

after applying MapIntoComp

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

after applying MapIntoAlltup

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

after applying MapIntoComp

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

after applying MapIntoComp

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

after applying MapIntoAlltup

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

after applying MapIntoComp

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

after applying MapIntoComp

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

after applying MapIntoAlltup

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

after applying LeftAssociate

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

after applying LeftAssociate

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

after applying LeftAssociate

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

after applying LeftAssociate

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

after applying LeftAssociate

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

after applying ConRepeat

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

after applying ConRepeat

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

after applying ConRepeat

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

after applying CompIntoMap

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

after applying CompIntoMap

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

after applying MapIntoComp

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

after applying MapIntoComp

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

after applying DistlElim

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

after applying LeftAssociate

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

after applying CompIntoMap

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

after applying CompIntoMap

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

after applying RightAssoc2

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

after applying CompIntoAlltup1

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

after applying RightAssoc2

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

after applying CompIntoAlltup1

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

after applying RightAssoc2

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

after applying CompIntoAlltup1

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

after applying RightAssoc2

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

after applying CompIntoAlltup1

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

after applying RightAssoc2

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

after applying CompIntoAlltup1

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

after applying RightAssoc2

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

after applying CompIntoAlltup1

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

after applying RightAssoc2

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

after applying CompIntoAlltup1

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

after applying RightAssoc2

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

after applying CompIntoAlltup1

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

after applying RightAssoc2

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

after applying CompIntoAlltup1

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

after applying RightAssoc2

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

after applying CompIntoAlltup1

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

after applying RightAssoc2

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

after applying CompIntoAlltup1

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

after applying RightAssoc2

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

after applying CompIntoAlltup1

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

after applying RightAssoc2

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

after applying CompIntoAlltup1

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

after applying RightAssoc2

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

after applying CompIntoAlltup1

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

after applying RightAssoc2

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

after applying CompIntoAlltup1

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

after applying RightAssoc2

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

after applying CompIntoAlltup1

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

after applying ConAsorb

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

after applying ConAsorb

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

after applying LengthIntoZip

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

after applying RightAssoc2

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

after applying AddrIntoAlltup

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

after applying LeftAssociate

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

after applying LengthIntoRepeat

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

after applying AddrIntoAlltup

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

after applying AddrIntoZip

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

after applying AddrIntoAlltup

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

after applying ConAsorb

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

after applying ConAsorb

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

after applying LengthIntoZip

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

after applying RightAssoc2

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

after applying AddrIntoAlltup

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

after applying LeftAssociate

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

after applying LengthIntoRepeat

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

after applying AddrIntoAlltup

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

after applying ConAsorb

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

after applying ConAsorb

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

after applying LengthIntoZip

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

after applying RightAssoc2

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

after applying AddrIntoAlltup

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

after applying LeftAssociate

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

after applying LengthIntoRepeat

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

after applying AddrIntoAlltup

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

after applying MapIntoComp

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

after applying MapIntoComp

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

after applying RightAssoc2

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

after applying AddrIntoZip

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

after applying RightAssoc2

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

after applying AddrIntoAlltup

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

after applying LeftAssociate

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

after applying RepeatFusion

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

after applying RightAssoc2

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

after applying AddrIntoZip

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

after applying RightAssoc2

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

after applying AddrIntoAlltup

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

after applying LeftAssociate

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

after applying RepeatFusion

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

after applying RightAssoc2

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

after applying CompIntoAlltup1

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

after applying RightAssoc2

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

after applying CompIntoAlltup1

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

after applying RightAssoc2

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

after applying AddrIntoAlltup

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

after applying AddrIntoAlltup

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

after applying RightAssoc2

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

after applying AddrIntoAlltup

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

after applying AddrIntoAlltup

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

after applying SelectIntro

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

after applying RightAssoc2

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

after applying ZipElim

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

after applying LeftAssociate

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

after applying RepeatFusion

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

after applying RightAssoc2

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

after applying CompIntoAlltup1

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

after applying RightAssoc2

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

after applying AddrIntoAlltup

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

after applying AddrIntoAlltup

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

after applying RepeatPromotion

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

after applying SelectIntro

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

after applying RemoveIds1

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

after applying AlltupId

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

after applying RemoveIds2

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

after applying LeftAssociate

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

after applying RightAssoc2

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

after applying CompIntoAlltup1

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

after applying RightAssoc2

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

after applying CompIntoAlltup1

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

after applying RightAssoc2

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

after applying CompIntoAlltup1

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

after applying RightAssoc2

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

after applying CompIntoAlltup1

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

after applying RightAssoc2

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

after applying CompIntoAlltup1

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

after applying RightAssoc2

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

after applying CompIntoAlltup1

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

after applying RightAssoc2

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

after applying CompIntoAlltup1

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

after applying RightAssoc2

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

after applying AddrIntoAlltup

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

after applying RemoveIds2

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

after applying RightAssoc2

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

after applying AddrIntoAlltup

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

after applying RemoveIds2

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