after applying start

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

after applying RemoveIds1

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

after applying MapIntoComp

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

after applying MapIntoAlltup

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

after applying MapIntoComp

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

after applying MapIntoAlltup

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

after applying MapIntoComp

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

after applying MapIntoComp

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

after applying LeftAssociate

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

after applying LeftAssociate

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

after applying CompIntoMap

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

after applying CompIntoMap

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

after applying MapIntoComp

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

after applying MapIntoComp

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

after applying DistlElim

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

after applying LeftAssociate

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

after applying CompIntoMap

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

after applying CompIntoMap

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

after applying RightAssoc2

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

after applying CompIntoAlltup1

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

after applying RightAssoc2

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

after applying CompIntoAlltup1

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

after applying RightAssoc2

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

after applying CompIntoAlltup1

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

after applying RightAssoc2

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

after applying CompIntoAlltup1

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

after applying AddrIntoZip

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

after applying AddrIntoAlltup

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

after applying MapIntoComp

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

after applying MapIntoComp

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

after applying RightAssoc2

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

after applying AddrIntoZip

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

after applying RightAssoc2

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

after applying AddrIntoAlltup

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

after applying LeftAssociate

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

after applying RepeatFusion

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

after applying RightAssoc2

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

after applying AddrIntoZip

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

after applying RightAssoc2

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

after applying AddrIntoAlltup

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

after applying LeftAssociate

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

after applying RepeatFusion

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

after applying RightAssoc2

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

after applying CompIntoAlltup1

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

after applying RightAssoc2

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

after applying CompIntoAlltup1

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

after applying RightAssoc2

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

after applying ZipElim

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

after applying LeftAssociate

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

after applying RepeatFusion

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

after applying RightAssoc2

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

after applying AddrIntoAlltup

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

after applying RightAssoc2

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

after applying AddrIntoAlltup

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

after applying AddrIntoAlltup

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

after applying RightAssoc2

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

after applying CompIntoAlltup1

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

after applying RightAssoc2

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

after applying AddrIntoAlltup

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

after applying AddrIntoAlltup

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

after applying SelectIntro

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

after applying RemoveIds1

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

after applying LeftAssociate

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

after applying LeftAssociate

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

after applying LeftAssociate

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

after applying RightAssoc2

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

after applying CompIntoAlltup1

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

after applying RightAssoc2

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

after applying CompIntoAlltup1

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

after applying RightAssoc2

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

after applying AddrIntoAlltup

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

after applying RemoveIds2

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

after applying RightAssoc2

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

after applying AddrIntoAlltup

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

after applying RemoveIds2

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

after applying AlltupId

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

after applying RemoveIds2

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

after applying AddrIntoAlltup

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

after applying RemoveIds1

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

after applying RightAssoc2

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

after applying CompIntoAlltup1

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

after applying RightAssoc2

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

after applying CompIntoAlltup1

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

after applying RemoveIds2

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

after applying RemoveIds2

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

after applying ConAsorb

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

after applying MapIntoComp

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

after applying MapIntoAlltup

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

after applying MapIntoComp

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

after applying MapIntoComp

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

after applying MapIntoComp

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

after applying MapIntoAlltup

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

after applying LeftAssociate

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

after applying LeftAssociate

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

after applying ConRepeat

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

after applying CompIntoMap

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

after applying CompIntoMap

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

after applying MapIntoComp

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

after applying MapIntoComp

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

after applying DistlElim

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

after applying LeftAssociate

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

after applying CompIntoMap

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

after applying CompIntoMap

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

after applying RightAssoc2

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

after applying CompIntoAlltup1

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

after applying RightAssoc2

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

after applying CompIntoAlltup1

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

after applying RightAssoc2

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

after applying CompIntoAlltup1

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

after applying RightAssoc2

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

after applying CompIntoAlltup1

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

after applying RightAssoc2

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

after applying CompIntoAlltup1

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

after applying RightAssoc2

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

after applying CompIntoAlltup1

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

after applying SelectIntro

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

after applying AlltupId

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

after applying RemoveIds2

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

after applying AddrIntoZip

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

after applying AddrIntoAlltup

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

after applying ConAsorb

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

after applying ConAsorb

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

after applying LengthIntoZip

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

after applying RightAssoc2

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

after applying AddrIntoAlltup

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

after applying LeftAssociate

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

after applying LengthIntoRepeat

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

after applying AddrIntoAlltup

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

after applying MapIntoComp

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

after applying MapIntoComp

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

after applying RightAssoc3

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

after applying SelectIntro

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

after applying LeftAssociate

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

after applying RightAssoc2

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

after applying RepeatPromotion

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

after applying LeftAssociate

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

after applying RightAssoc2

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

after applying RepeatFusion

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

after applying LeftAssociate

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

after applying RepeatFusion

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

after applying RightAssoc2

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

after applying CompIntoAlltup1

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

after applying RightAssoc2

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

after applying CompIntoAlltup1

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

after applying RightAssoc2

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

after applying CompIntoAlltup1

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

after applying RightAssoc2

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

after applying CompIntoAlltup1

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

after applying RightAssoc2

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

after applying AddrIntoAlltup

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

after applying LeftAssociate

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

after applying AddrIntoAlltup

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

after applying RightAssoc2

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

after applying AddrIntoAlltup

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

after applying LeftAssociate

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

after applying LeftAssociate

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

after applying RightAssoc2

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

after applying AddrIntoAlltup

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

after applying LeftAssociate

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

after applying AddrIntoAlltup

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

after applying AddrIntoAlltup

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

after applying RemoveIds2

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

after applying RightAssoc2

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

after applying CompIntoAlltup1

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

after applying RightAssoc2

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

after applying CompIntoAlltup1

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

after applying RightAssoc2

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

after applying CompIntoAlltup1

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

after applying SelectElim1

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

after applying AddrIntoAlltup

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

after applying ConAsorb

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

after applying RightAssoc2

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

after applying AddrIntoAlltup

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

after applying LeftAssociate

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

after applying LengthIntoIota

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

after applying RemoveIds1

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

after applying RemoveIds1

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

after applying RightAssoc2

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

after applying CompIntoAlltup1

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

after applying RightAssoc2

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

after applying CompIntoAlltup1

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

after applying RightAssoc2

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

after applying CompIntoAlltup1

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

after applying RemoveIds1

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

after applying RemoveIds1

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

after applying ConAsorb

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

after applying RemoveIds2

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

after applying RightAssoc2

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

after applying CompIntoAlltup1

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

after applying RightAssoc2

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

after applying CompIntoAlltup1

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

after applying RightAssoc2

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

after applying CompIntoAlltup1

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

after applying RemoveIds1

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

after applying RemoveIds1

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

after applying ConAsorb

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

after applying RemoveIds2

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

end trace