after applying start

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

after applying RemoveIds1

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

after applying MapIntoComp

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

after applying MapIntoAlltup

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

after applying MapIntoComp

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

after applying MapIntoAlltup

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

after applying MapIntoComp

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

after applying LeftAssociate

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

after applying LeftAssociate

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

after applying ConRepeat

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

after applying CompIntoMap

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

after applying MapIntoComp

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

after applying DistlElim

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

after applying ConAsorb

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

after applying ConAsorb

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

after applying LengthIntoZip

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

after applying MapIntoComp

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

after applying AddrIntoZip

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

after applying RightAssoc2

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

after applying AddrIntoAlltup

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

after applying LeftAssociate

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

after applying RepeatFusion

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

after applying RightAssoc2

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

after applying CompIntoAlltup1

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

after applying RightAssoc2

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

after applying AddrIntoAlltup

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

after applying AddrIntoAlltup

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

after applying SelectIntro

( ( ! )* . zip₂ . (select.(²π₁.²π₁,repeat.(0,#.²π₂)^o)^o,²π₂)^o . (id,iota.#.!.(id.²π₁,²π₂)^o)^o . id . id )* . distl . (id,iota.#.id)^o . id . id . id

after applying RepeatPromotion

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

after applying SelectIntro

( select . (!.(²π₁.²π₁,0)^o,²π₂)^o . (id,iota.#.!.(id.²π₁,²π₂)^o)^o . id . id )* . distl . (id,iota.#.id)^o . id . id . id

after applying RemoveIds1

( select . (!.(²π₁.²π₁,0)^o,²π₂)^o . (id,iota.#.!.(²π₁,²π₂)^o)^o . id . id )* . distl . (id,iota.#.id)^o . id . id . id

after applying AlltupId

( select . (!.(²π₁.²π₁,0)^o,²π₂)^o . (id,iota.#.!.id)^o . id . id )* . distl . (id,iota.#.id)^o . id . id . id

after applying RemoveIds2

( select . (!.(²π₁.²π₁,0)^o,²π₂)^o . (id,iota.#.!)^o . id . id )* . distl . (id,iota.#.id)^o . id . id . id

after applying LeftAssociate

( select . (!.(²π₁.²π₁,0)^o,²π₂)^o . (id,iota.#.!)^o . id . id )* . distl . (id,iota.#.id)^o . id . id . id

after applying RightAssoc2

( select . (!.(²π₁.²π₁,0)^o,²π₂)^o . (id,iota.#.!)^o . id . id )* . distl . (id,iota.#.id)^o . id . id . id

after applying CompIntoAlltup1

( select . (!.(²π₁.²π₁,0)^o.(id,iota.#.!)^o,²π₂.(id,iota.#.!)^o)^o . id . id )* . distl . (id,iota.#.id)^o . id . id . id

after applying RightAssoc2

( select . (!.(²π₁.²π₁,0)^o.(id,iota.#.!)^o,²π₂.(id,iota.#.!)^o)^o . id . id )* . distl . (id,iota.#.id)^o . id . id . id

after applying CompIntoAlltup1

( select . (!.(²π₁.²π₁.(id,iota.#.!)^o,0.(id,iota.#.!)^o)^o,²π₂.(id,iota.#.!)^o)^o . id . id )* . distl . (id,iota.#.id)^o . id . id . id

after applying RightAssoc2

( select . (!.(²π₁.²π₁.(id,iota.#.!)^o,0.(id,iota.#.!)^o)^o,²π₂.(id,iota.#.!)^o)^o . id . id )* . distl . (id,iota.#.id)^o . id . id . id

after applying AddrIntoAlltup

( select . (!.(²π₁.id,0.(id,iota.#.!)^o)^o,²π₂.(id,iota.#.!)^o)^o . id . id )* . distl . (id,iota.#.id)^o . id . id . id

after applying RemoveIds2

( select . (!.(²π₁,0.(id,iota.#.!)^o)^o,²π₂.(id,iota.#.!)^o)^o . id . id )* . distl . (id,iota.#.id)^o . id . id . id

after applying ConAsorb

( select . (!.(²π₁,0)^o,²π₂.(id,iota.#.!)^o)^o . id . id )* . distl . (id,iota.#.id)^o . id . id . id

after applying AddrIntoAlltup

( select . (!.(²π₁,0)^o,iota.#.!)^o . id . id )* . distl . (id,iota.#.id)^o . id . id . id

after applying RemoveIds1

( select . (!.(²π₁,0)^o,iota.#.!)^o . id )* . distl . (id,iota.#.id)^o . id . id . id

after applying RightAssoc2

( select . (!.(²π₁,0)^o,iota.#.!)^o . id )* . distl . (id,iota.#.id)^o . id . id . id

after applying CompIntoAlltup1

( select . (!.(²π₁,0)^o.id,iota.#.!.id)^o )* . distl . (id,iota.#.id)^o . id . id . id

after applying RightAssoc2

( select . (!.(²π₁,0)^o.id,iota.#.!.id)^o )* . distl . (id,iota.#.id)^o . id . id . id

after applying CompIntoAlltup1

( select . (!.(²π₁.id,0.id)^o,iota.#.!.id)^o )* . distl . (id,iota.#.id)^o . id . id . id

after applying RemoveIds2

( select . (!.(²π₁,0.id)^o,iota.#.!.id)^o )* . distl . (id,iota.#.id)^o . id . id . id

after applying ConAsorb

( select . (!.(²π₁,0)^o,iota.#.!.id)^o )* . distl . (id,iota.#.id)^o . id . id . id

after applying RightAssoc3

( select . (!.(²π₁,0)^o,iota.#.!.id)^o )* . distl . (id,iota.#.id)^o . id . id . id

after applying RemoveIds2

( select . (!.(²π₁,0)^o,iota.#.!)^o )* . distl . (id,iota.#.id)^o . id . id . id

after applying LeftAssociate

( select . (!.(²π₁,0)^o,iota.#.!)^o )* . distl . (id,iota.#.id)^o . id . id . id

after applying MapIntoComp

( select )* . ( (!.(²π₁,0)^o,iota.#.!)^o )* . distl . (id,iota.#.id)^o . id . id . id

after applying MapIntoAlltup

( select )* . zip₂ . ((!.(²π₁,0)^o)*,(iota.#.!)*)^o . distl . (id,iota.#.id)^o . id . id . id

after applying MapIntoComp

( select )* . zip₂ . ((!)*.((²π₁,0)^o)*,(iota.#.!)*)^o . distl . (id,iota.#.id)^o . id . id . id

after applying MapIntoAlltup

( select )* . zip₂ . ((!)*.zip₂.((²π₁)*,(0)*)^o,(iota.#.!)*)^o . distl . (id,iota.#.id)^o . id . id . id

after applying MapIntoComp

( select )* . zip₂ . ((!)*.zip₂.((²π₁)*,(0)*)^o,(iota.#)*.(!)*)^o . distl . (id,iota.#.id)^o . id . id . id

after applying MapIntoComp

( select )* . zip₂ . ((!)*.zip₂.((²π₁)*,(0)*)^o,(iota)*.(#)*.(!)*)^o . distl . (id,iota.#.id)^o . id . id . id

after applying LeftAssociate

( select )* . zip₂ . ((!)*.zip₂.((²π₁)*,(0)*)^o,(iota)*.(#)*.(!)*)^o . distl . (id,iota.#.id)^o . id . id . id

after applying LeftAssociate

( select )* . zip₂ . ((!)*.zip₂.((²π₁)*,(0)*)^o,(iota)*.(#)*.(!)*)^o . distl . (id,iota.#.id)^o . id . id . id

after applying ConRepeat

( select )* . zip₂ . ((!)*.zip₂.((²π₁)*,repeat.(0,#)^o)^o,(iota)*.(#)*.(!)*)^o . distl . (id,iota.#.id)^o . id . id . id

after applying CompIntoMap

( select )* . zip₂ . ((!)*.zip₂.((²π₁)*,repeat.(0,#)^o)^o,(iota.#)*.(!)*)^o . distl . (id,iota.#.id)^o . id . id . id

after applying CompIntoMap

( select )* . zip₂ . ((!)*.zip₂.((²π₁)*,repeat.(0,#)^o)^o,(iota.#.!)*)^o . distl . (id,iota.#.id)^o . id . id . id

after applying MapIntoComp

( select )* . zip₂ . ((!)*.zip₂.((²π₁)*,repeat.(0,#)^o)^o,(iota.#)*.(!)*)^o . distl . (id,iota.#.id)^o . id . id . id

after applying MapIntoComp

( select )* . zip₂ . ((!)*.zip₂.((²π₁)*,repeat.(0,#)^o)^o,(iota)*.(#)*.(!)*)^o . distl . (id,iota.#.id)^o . id . id . id

after applying DistlElim

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

after applying LeftAssociate

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

after applying CompIntoMap

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

after applying CompIntoMap

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

after applying RightAssoc2

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

after applying CompIntoAlltup1

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

after applying RightAssoc2

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

after applying CompIntoAlltup1

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

after applying RightAssoc2

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

after applying CompIntoAlltup1

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

after applying RightAssoc2

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

after applying CompIntoAlltup1

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

after applying RightAssoc2

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

after applying CompIntoAlltup1

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

after applying RightAssoc2

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

after applying CompIntoAlltup1

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

after applying AddrIntoZip

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

after applying AddrIntoAlltup

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

after applying ConAsorb

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

after applying ConAsorb

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

after applying LengthIntoZip

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

after applying RightAssoc2

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

after applying AddrIntoAlltup

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

after applying LeftAssociate

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

after applying LengthIntoRepeat

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

after applying AddrIntoAlltup

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

after applying SelectIntro

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

after applying RepeatPromotion

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

after applying MapIntoComp

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

after applying MapIntoComp

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

after applying RightAssoc3

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

after applying SelectIntro

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

after applying LeftAssociate

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

after applying AlltupId

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

after applying RightAssoc3

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

after applying RemoveIds2

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

after applying LeftAssociate

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

after applying CompIntoMap

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

after applying MapIntoComp

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

after applying RemoveIds2

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

after applying CompIntoMap

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

after applying RightAssoc2

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

after applying CompIntoAlltup1

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

after applying RightAssoc2

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

after applying CompIntoAlltup1

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

after applying RightAssoc2

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

after applying CompIntoAlltup1

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

after applying AddrIntoAlltup

( select )* . zip₂ . (repeat.(!.(id,0.(id,iota.#)^o)^o,#.²π₂.(id,iota.#)^o)^o,(iota.#)*.select.(id,iota.#)^o)^o . id . id . id

after applying ConAsorb

( select )* . zip₂ . (repeat.(!.(id,0)^o,#.²π₂.(id,iota.#)^o)^o,(iota.#)*.select.(id,iota.#)^o)^o . id . id . id

after applying RightAssoc2

( select )* . zip₂ . (repeat.(!.(id,0)^o,#.²π₂.(id,iota.#)^o)^o,(iota.#)*.select.(id,iota.#)^o)^o . id . id . id

after applying AddrIntoAlltup

( select )* . zip₂ . (repeat.(!.(id,0)^o,#.iota.#)^o,(iota.#)*.select.(id,iota.#)^o)^o . id . id . id

after applying LeftAssociate

( select )* . zip₂ . (repeat.(!.(id,0)^o,#.iota.#)^o,(iota.#)*.select.(id,iota.#)^o)^o . id . id . id

after applying LengthIntoIota

( select )* . zip₂ . (repeat.(!.(id,0)^o,id.#)^o,(iota.#)*.select.(id,iota.#)^o)^o . id . id . id

after applying RemoveIds1

( select )* . zip₂ . (repeat.(!.(id,0)^o,#)^o,(iota.#)*.select.(id,iota.#)^o)^o . id . id . id

after applying RightAssoc2

( select )* . zip₂ . (repeat.(!.(id,0)^o,#)^o,(iota.#)*.select.(id,iota.#)^o)^o . id . id . id

after applying SelectElim1

( select )* . zip₂ . (repeat.(!.(id,0)^o,#)^o,(iota.#)*.id)^o . id . id . id

after applying RemoveIds2

( select )* . zip₂ . (repeat.(!.(id,0)^o,#)^o,(iota.#)*)^o . id . id . id

after applying MapIntoComp

( select )* . zip₂ . (repeat.(!.(id,0)^o,#)^o,(iota)*.(#)*)^o . id . id . id

after applying CompIntoMap

( select )* . zip₂ . (repeat.(!.(id,0)^o,#)^o,(iota.#)*)^o . id . id . id

after applying MapIntoComp

( select )* . zip₂ . (repeat.(!.(id,0)^o,#)^o,(iota)*.(#)*)^o . id . id . id

after applying RemoveIds1

( select )* . zip₂ . (repeat.(!.(id,0)^o,#)^o,(iota)*.(#)*)^o . id . id

after applying CompIntoMap

( select )* . zip₂ . (repeat.(!.(id,0)^o,#)^o,(iota.#)*)^o . id . id

after applying RightAssoc2

( select )* . zip₂ . (repeat.(!.(id,0)^o,#)^o,(iota.#)*)^o . id . id

after applying CompIntoAlltup1

( select )* . zip₂ . (repeat.(!.(id,0)^o,#)^o.id,(iota.#)*.id)^o . id

after applying RightAssoc2

( select )* . zip₂ . (repeat.(!.(id,0)^o,#)^o.id,(iota.#)*.id)^o . id

after applying CompIntoAlltup1

( select )* . zip₂ . (repeat.(!.(id,0)^o.id,#.id)^o,(iota.#)*.id)^o . id

after applying RightAssoc2

( select )* . zip₂ . (repeat.(!.(id,0)^o.id,#.id)^o,(iota.#)*.id)^o . id

after applying CompIntoAlltup1

( select )* . zip₂ . (repeat.(!.(id.id,0.id)^o,#.id)^o,(iota.#)*.id)^o . id

after applying RemoveIds1

( select )* . zip₂ . (repeat.(!.(id,0.id)^o,#.id)^o,(iota.#)*.id)^o . id

after applying ConAsorb

( select )* . zip₂ . (repeat.(!.(id,0)^o,#.id)^o,(iota.#)*.id)^o . id

after applying RemoveIds2

( select )* . zip₂ . (repeat.(!.(id,0)^o,#)^o,(iota.#)*.id)^o . id

after applying RemoveIds2

( select )* . zip₂ . (repeat.(!.(id,0)^o,#)^o,(iota.#)*)^o . id

after applying MapIntoComp

( select )* . zip₂ . (repeat.(!.(id,0)^o,#)^o,(iota)*.(#)*)^o . id

after applying CompIntoMap

( select )* . zip₂ . (repeat.(!.(id,0)^o,#)^o,(iota.#)*)^o . id

after applying MapIntoComp

( select )* . zip₂ . (repeat.(!.(id,0)^o,#)^o,(iota)*.(#)*)^o . id

after applying CompIntoMap

( select )* . zip₂ . (repeat.(!.(id,0)^o,#)^o,(iota.#)*)^o . id

after applying RightAssoc2

( select )* . zip₂ . (repeat.(!.(id,0)^o,#)^o,(iota.#)*)^o . id

after applying CompIntoAlltup1

( select )* . zip₂ . (repeat.(!.(id,0)^o,#)^o.id,(iota.#)*.id)^o

after applying RightAssoc2

( select )* . zip₂ . (repeat.(!.(id,0)^o,#)^o.id,(iota.#)*.id)^o

after applying CompIntoAlltup1

( select )* . zip₂ . (repeat.(!.(id,0)^o.id,#.id)^o,(iota.#)*.id)^o

after applying RightAssoc2

( select )* . zip₂ . (repeat.(!.(id,0)^o.id,#.id)^o,(iota.#)*.id)^o

after applying CompIntoAlltup1

( select )* . zip₂ . (repeat.(!.(id.id,0.id)^o,#.id)^o,(iota.#)*.id)^o

after applying RemoveIds1

( select )* . zip₂ . (repeat.(!.(id,0.id)^o,#.id)^o,(iota.#)*.id)^o

after applying ConAsorb

( select )* . zip₂ . (repeat.(!.(id,0)^o,#.id)^o,(iota.#)*.id)^o

after applying RemoveIds2

( select )* . zip₂ . (repeat.(!.(id,0)^o,#)^o,(iota.#)*.id)^o

after applying RemoveIds2

( select )* . zip₂ . (repeat.(!.(id,0)^o,#)^o,(iota.#)*)^o

after applying MapIntoComp

( select )* . zip₂ . (repeat.(!.(id,0)^o,#)^o,(iota)*.(#)*)^o

after applying CompIntoMap

( select )* . zip₂ . (repeat.(!.(id,0)^o,#)^o,(iota.#)*)^o

after applying MapIntoComp

( select )* . zip₂ . (repeat.(!.(id,0)^o,#)^o,(iota)*.(#)*)^o

end trace