after applying start

( b_if ( < . (²π₂,1)^o , 1000.0 , ! . (id.²π₁,-.(²π₂,1)^o)^o ) )* . distl . (id,iota.#.id)^o . id . id . id

after applying RemoveIds1

( b_if ( < . (²π₂,1)^o , 1000.0 , ! . (²π₁,-.(²π₂,1)^o)^o ) )* . distl . (id,iota.#.id)^o . id . id . id

after applying MapIntoIf

priffle . ((<.(²π₂,1)^o)*,(1000.0)*.mask.(id,(<.(²π₂,1)^o)*)^o,(!.(²π₁,-.(²π₂,1)^o)^o)*.mask.(id,(~)*.(<.(²π₂,1)^o)*)^o)^o . distl . (id,iota.#.id)^o . id . id . id

after applying MapIntoComp

priffle . ((<)*.((²π₂,1)^o)*,(1000.0)*.mask.(id,(<.(²π₂,1)^o)*)^o,(!.(²π₁,-.(²π₂,1)^o)^o)*.mask.(id,(~)*.(<.(²π₂,1)^o)*)^o)^o . distl . (id,iota.#.id)^o . id . id . id

after applying MapIntoAlltup

priffle . ((<)*.zip₂.((²π₂)*,(1)*)^o,(1000.0)*.mask.(id,(<.(²π₂,1)^o)*)^o,(!.(²π₁,-.(²π₂,1)^o)^o)*.mask.(id,(~)*.(<.(²π₂,1)^o)*)^o)^o . distl . (id,iota.#.id)^o . id . id . id

after applying MapIntoComp

priffle . ((<)*.zip₂.((²π₂)*,(1)*)^o,(1000.0)*.mask.(id,(<)*.((²π₂,1)^o)*)^o,(!.(²π₁,-.(²π₂,1)^o)^o)*.mask.(id,(~)*.(<.(²π₂,1)^o)*)^o)^o . distl . (id,iota.#.id)^o . id . id . id

after applying MapIntoAlltup

priffle . ((<)*.zip₂.((²π₂)*,(1)*)^o,(1000.0)*.mask.(id,(<)*.zip₂.((²π₂)*,(1)*)^o)^o,(!.(²π₁,-.(²π₂,1)^o)^o)*.mask.(id,(~)*.(<.(²π₂,1)^o)*)^o)^o . distl . (id,iota.#.id)^o . id . id . id

after applying MapIntoComp

priffle . ((<)*.zip₂.((²π₂)*,(1)*)^o,(1000.0)*.mask.(id,(<)*.zip₂.((²π₂)*,(1)*)^o)^o,(!)*.((²π₁,-.(²π₂,1)^o)^o)*.mask.(id,(~)*.(<.(²π₂,1)^o)*)^o)^o . distl . (id,iota.#.id)^o . id . id . id

after applying MapIntoAlltup

priffle . ((<)*.zip₂.((²π₂)*,(1)*)^o,(1000.0)*.mask.(id,(<)*.zip₂.((²π₂)*,(1)*)^o)^o,(!)*.zip₂.((²π₁)*,(-.(²π₂,1)^o)*)^o.mask.(id,(~)*.(<.(²π₂,1)^o)*)^o)^o . distl . (id,iota.#.id)^o . id . id . id

after applying MapIntoComp

priffle . ((<)*.zip₂.((²π₂)*,(1)*)^o,(1000.0)*.mask.(id,(<)*.zip₂.((²π₂)*,(1)*)^o)^o,(!)*.zip₂.((²π₁)*,(-)*.((²π₂,1)^o)*)^o.mask.(id,(~)*.(<.(²π₂,1)^o)*)^o)^o . distl . (id,iota.#.id)^o . id . id . id

after applying MapIntoAlltup

priffle . ((<)*.zip₂.((²π₂)*,(1)*)^o,(1000.0)*.mask.(id,(<)*.zip₂.((²π₂)*,(1)*)^o)^o,(!)*.zip₂.((²π₁)*,(-)*.zip₂.((²π₂)*,(1)*)^o)^o.mask.(id,(~)*.(<.(²π₂,1)^o)*)^o)^o . distl . (id,iota.#.id)^o . id . id . id

after applying MapIntoComp

priffle . ((<)*.zip₂.((²π₂)*,(1)*)^o,(1000.0)*.mask.(id,(<)*.zip₂.((²π₂)*,(1)*)^o)^o,(!)*.zip₂.((²π₁)*,(-)*.zip₂.((²π₂)*,(1)*)^o)^o.mask.(id,(~)*.(<)*.((²π₂,1)^o)*)^o)^o . distl . (id,iota.#.id)^o . id . id . id

after applying MapIntoAlltup

priffle . ((<)*.zip₂.((²π₂)*,(1)*)^o,(1000.0)*.mask.(id,(<)*.zip₂.((²π₂)*,(1)*)^o)^o,(!)*.zip₂.((²π₁)*,(-)*.zip₂.((²π₂)*,(1)*)^o)^o.mask.(id,(~)*.(<)*.zip₂.((²π₂)*,(1)*)^o)^o)^o . distl . (id,iota.#.id)^o . id . id . id

after applying LeftAssociate

priffle . ((<)*.zip₂.((²π₂)*,(1)*)^o,(1000.0)*.mask.(id,(<)*.zip₂.((²π₂)*,(1)*)^o)^o,(!)*.zip₂.((²π₁)*,(-)*.zip₂.((²π₂)*,(1)*)^o)^o.mask.(id,(~)*.(<)*.zip₂.((²π₂)*,(1)*)^o)^o)^o . distl . (id,iota.#.id)^o . id . id . id

after applying LeftAssociate

priffle . ((<)*.zip₂.((²π₂)*,(1)*)^o,(1000.0)*.mask.(id,(<)*.zip₂.((²π₂)*,(1)*)^o)^o,(!)*.zip₂.((²π₁)*,(-)*.zip₂.((²π₂)*,(1)*)^o)^o.mask.(id,(~)*.(<)*.zip₂.((²π₂)*,(1)*)^o)^o)^o . distl . (id,iota.#.id)^o . id . id . id

after applying LeftAssociate

priffle . ((<)*.zip₂.((²π₂)*,(1)*)^o,(1000.0)*.mask.(id,(<)*.zip₂.((²π₂)*,(1)*)^o)^o,(!)*.zip₂.((²π₁)*,(-)*.zip₂.((²π₂)*,(1)*)^o)^o.mask.(id,(~)*.(<)*.zip₂.((²π₂)*,(1)*)^o)^o)^o . distl . (id,iota.#.id)^o . id . id . id

after applying LeftAssociate

priffle . ((<)*.zip₂.((²π₂)*,(1)*)^o,(1000.0)*.mask.(id,(<)*.zip₂.((²π₂)*,(1)*)^o)^o,(!)*.zip₂.((²π₁)*,(-)*.zip₂.((²π₂)*,(1)*)^o)^o.mask.(id,(~)*.(<)*.zip₂.((²π₂)*,(1)*)^o)^o)^o . distl . (id,iota.#.id)^o . id . id . id

after applying LeftAssociate

priffle . ((<)*.zip₂.((²π₂)*,(1)*)^o,(1000.0)*.mask.(id,(<)*.zip₂.((²π₂)*,(1)*)^o)^o,(!)*.zip₂.((²π₁)*,(-)*.zip₂.((²π₂)*,(1)*)^o)^o.mask.(id,(~)*.(<)*.zip₂.((²π₂)*,(1)*)^o)^o)^o . distl . (id,iota.#.id)^o . id . id . id

after applying LeftAssociate

priffle . ((<)*.zip₂.((²π₂)*,(1)*)^o,(1000.0)*.mask.(id,(<)*.zip₂.((²π₂)*,(1)*)^o)^o,(!)*.zip₂.((²π₁)*,(-)*.zip₂.((²π₂)*,(1)*)^o)^o.mask.(id,(~)*.(<)*.zip₂.((²π₂)*,(1)*)^o)^o)^o . distl . (id,iota.#.id)^o . id . id . id

after applying LeftAssociate

priffle . ((<)*.zip₂.((²π₂)*,(1)*)^o,(1000.0)*.mask.(id,(<)*.zip₂.((²π₂)*,(1)*)^o)^o,(!)*.zip₂.((²π₁)*,(-)*.zip₂.((²π₂)*,(1)*)^o)^o.mask.(id,(~)*.(<)*.zip₂.((²π₂)*,(1)*)^o)^o)^o . distl . (id,iota.#.id)^o . id . id . id

after applying LeftAssociate

priffle . ((<)*.zip₂.((²π₂)*,(1)*)^o,(1000.0)*.mask.(id,(<)*.zip₂.((²π₂)*,(1)*)^o)^o,(!)*.zip₂.((²π₁)*,(-)*.zip₂.((²π₂)*,(1)*)^o)^o.mask.(id,(~)*.(<)*.zip₂.((²π₂)*,(1)*)^o)^o)^o . distl . (id,iota.#.id)^o . id . id . id

after applying LeftAssociate

priffle . ((<)*.zip₂.((²π₂)*,(1)*)^o,(1000.0)*.mask.(id,(<)*.zip₂.((²π₂)*,(1)*)^o)^o,(!)*.zip₂.((²π₁)*,(-)*.zip₂.((²π₂)*,(1)*)^o)^o.mask.(id,(~)*.(<)*.zip₂.((²π₂)*,(1)*)^o)^o)^o . distl . (id,iota.#.id)^o . id . id . id

after applying ConRepeat

priffle . ((<)*.zip₂.((²π₂)*,repeat.(1,#)^o)^o,(1000.0)*.mask.(id,(<)*.zip₂.((²π₂)*,(1)*)^o)^o,(!)*.zip₂.((²π₁)*,(-)*.zip₂.((²π₂)*,(1)*)^o)^o.mask.(id,(~)*.(<)*.zip₂.((²π₂)*,(1)*)^o)^o)^o . distl . (id,iota.#.id)^o . id . id . id

after applying ConRepeat

priffle . ((<)*.zip₂.((²π₂)*,repeat.(1,#)^o)^o,repeat.(1000.0,#)^o.mask.(id,(<)*.zip₂.((²π₂)*,(1)*)^o)^o,(!)*.zip₂.((²π₁)*,(-)*.zip₂.((²π₂)*,(1)*)^o)^o.mask.(id,(~)*.(<)*.zip₂.((²π₂)*,(1)*)^o)^o)^o . distl . (id,iota.#.id)^o . id . id . id

after applying ConRepeat

priffle . ((<)*.zip₂.((²π₂)*,repeat.(1,#)^o)^o,repeat.(1000.0,#)^o.mask.(id,(<)*.zip₂.((²π₂)*,repeat.(1,#)^o)^o)^o,(!)*.zip₂.((²π₁)*,(-)*.zip₂.((²π₂)*,(1)*)^o)^o.mask.(id,(~)*.(<)*.zip₂.((²π₂)*,(1)*)^o)^o)^o . distl . (id,iota.#.id)^o . id . id . id

after applying ConRepeat

priffle . ((<)*.zip₂.((²π₂)*,repeat.(1,#)^o)^o,repeat.(1000.0,#)^o.mask.(id,(<)*.zip₂.((²π₂)*,repeat.(1,#)^o)^o)^o,(!)*.zip₂.((²π₁)*,(-)*.zip₂.((²π₂)*,repeat.(1,#)^o)^o)^o.mask.(id,(~)*.(<)*.zip₂.((²π₂)*,(1)*)^o)^o)^o . distl . (id,iota.#.id)^o . id . id . id

after applying ConRepeat

priffle . ((<)*.zip₂.((²π₂)*,repeat.(1,#)^o)^o,repeat.(1000.0,#)^o.mask.(id,(<)*.zip₂.((²π₂)*,repeat.(1,#)^o)^o)^o,(!)*.zip₂.((²π₁)*,(-)*.zip₂.((²π₂)*,repeat.(1,#)^o)^o)^o.mask.(id,(~)*.(<)*.zip₂.((²π₂)*,repeat.(1,#)^o)^o)^o)^o . distl . (id,iota.#.id)^o . id . id . id

after applying RightAssoc2

priffle . ((<)*.zip₂.((²π₂)*,repeat.(1,#)^o)^o,repeat.(1000.0,#)^o.mask.(id,(<)*.zip₂.((²π₂)*,repeat.(1,#)^o)^o)^o,(!)*.zip₂.((²π₁)*,(-)*.zip₂.((²π₂)*,repeat.(1,#)^o)^o)^o.mask.(id,(~)*.(<)*.zip₂.((²π₂)*,repeat.(1,#)^o)^o)^o)^o . distl . (id,iota.#.id)^o . id . id . id

after applying CompIntoAlltup1

priffle . ((<)*.zip₂.((²π₂)*,repeat.(1,#)^o)^o,repeat.(1000.0.mask,#.mask)^o.(id,(<)*.zip₂.((²π₂)*,repeat.(1,#)^o)^o)^o,(!)*.zip₂.((²π₁)*,(-)*.zip₂.((²π₂)*,repeat.(1,#)^o)^o)^o.mask.(id,(~)*.(<)*.zip₂.((²π₂)*,repeat.(1,#)^o)^o)^o)^o . distl . (id,iota.#.id)^o . id . id . id

after applying RightAssoc2

priffle . ((<)*.zip₂.((²π₂)*,repeat.(1,#)^o)^o,repeat.(1000.0.mask,#.mask)^o.(id,(<)*.zip₂.((²π₂)*,repeat.(1,#)^o)^o)^o,(!)*.zip₂.((²π₁)*,(-)*.zip₂.((²π₂)*,repeat.(1,#)^o)^o)^o.mask.(id,(~)*.(<)*.zip₂.((²π₂)*,repeat.(1,#)^o)^o)^o)^o . distl . (id,iota.#.id)^o . id . id . id

after applying CompIntoAlltup1

priffle . ((<)*.zip₂.((²π₂)*,repeat.(1,#)^o)^o,repeat.(1000.0.mask.(id,(<)*.zip₂.((²π₂)*,repeat.(1,#)^o)^o)^o,#.mask.(id,(<)*.zip₂.((²π₂)*,repeat.(1,#)^o)^o)^o)^o,(!)*.zip₂.((²π₁)*,(-)*.zip₂.((²π₂)*,repeat.(1,#)^o)^o)^o.mask.(id,(~)*.(<)*.zip₂.((²π₂)*,repeat.(1,#)^o)^o)^o)^o . distl . (id,iota.#.id)^o . id . id . id

after applying RightAssoc2

priffle . ((<)*.zip₂.((²π₂)*,repeat.(1,#)^o)^o,repeat.(1000.0.mask.(id,(<)*.zip₂.((²π₂)*,repeat.(1,#)^o)^o)^o,#.mask.(id,(<)*.zip₂.((²π₂)*,repeat.(1,#)^o)^o)^o)^o,(!)*.zip₂.((²π₁)*,(-)*.zip₂.((²π₂)*,repeat.(1,#)^o)^o)^o.mask.(id,(~)*.(<)*.zip₂.((²π₂)*,repeat.(1,#)^o)^o)^o)^o . distl . (id,iota.#.id)^o . id . id . id

after applying CompIntoAlltup1

priffle . ((<)*.zip₂.((²π₂)*,repeat.(1,#)^o)^o,repeat.(1000.0.mask.(id,(<)*.zip₂.((²π₂)*,repeat.(1,#)^o)^o)^o,#.mask.(id,(<)*.zip₂.((²π₂)*,repeat.(1,#)^o)^o)^o)^o,(!)*.zip₂.((²π₁)*.mask,(-)*.zip₂.((²π₂)*,repeat.(1,#)^o)^o.mask)^o.(id,(~)*.(<)*.zip₂.((²π₂)*,repeat.(1,#)^o)^o)^o)^o . distl . (id,iota.#.id)^o . id . id . id

after applying RightAssoc2

priffle . ((<)*.zip₂.((²π₂)*,repeat.(1,#)^o)^o,repeat.(1000.0.mask.(id,(<)*.zip₂.((²π₂)*,repeat.(1,#)^o)^o)^o,#.mask.(id,(<)*.zip₂.((²π₂)*,repeat.(1,#)^o)^o)^o)^o,(!)*.zip₂.((²π₁)*.mask,(-)*.zip₂.((²π₂)*,repeat.(1,#)^o)^o.mask)^o.(id,(~)*.(<)*.zip₂.((²π₂)*,repeat.(1,#)^o)^o)^o)^o . distl . (id,iota.#.id)^o . id . id . id

after applying CompIntoAlltup1

priffle . ((<)*.zip₂.((²π₂)*,repeat.(1,#)^o)^o,repeat.(1000.0.mask.(id,(<)*.zip₂.((²π₂)*,repeat.(1,#)^o)^o)^o,#.mask.(id,(<)*.zip₂.((²π₂)*,repeat.(1,#)^o)^o)^o)^o,(!)*.zip₂.((²π₁)*.mask,(-)*.zip₂.((²π₂)*.mask,repeat.(1,#)^o.mask)^o)^o.(id,(~)*.(<)*.zip₂.((²π₂)*,repeat.(1,#)^o)^o)^o)^o . distl . (id,iota.#.id)^o . id . id . id

after applying RightAssoc2

priffle . ((<)*.zip₂.((²π₂)*,repeat.(1,#)^o)^o,repeat.(1000.0.mask.(id,(<)*.zip₂.((²π₂)*,repeat.(1,#)^o)^o)^o,#.mask.(id,(<)*.zip₂.((²π₂)*,repeat.(1,#)^o)^o)^o)^o,(!)*.zip₂.((²π₁)*.mask,(-)*.zip₂.((²π₂)*.mask,repeat.(1,#)^o.mask)^o)^o.(id,(~)*.(<)*.zip₂.((²π₂)*,repeat.(1,#)^o)^o)^o)^o . distl . (id,iota.#.id)^o . id . id . id

after applying CompIntoAlltup1

priffle . ((<)*.zip₂.((²π₂)*,repeat.(1,#)^o)^o,repeat.(1000.0.mask.(id,(<)*.zip₂.((²π₂)*,repeat.(1,#)^o)^o)^o,#.mask.(id,(<)*.zip₂.((²π₂)*,repeat.(1,#)^o)^o)^o)^o,(!)*.zip₂.((²π₁)*.mask,(-)*.zip₂.((²π₂)*.mask,repeat.(1.mask,#.mask)^o)^o)^o.(id,(~)*.(<)*.zip₂.((²π₂)*,repeat.(1,#)^o)^o)^o)^o . distl . (id,iota.#.id)^o . id . id . id

after applying CompIntoMap

priffle . ((<)*.zip₂.((²π₂)*,repeat.(1,#)^o)^o,repeat.(1000.0.mask.(id,(<)*.zip₂.((²π₂)*,repeat.(1,#)^o)^o)^o,#.mask.(id,(<)*.zip₂.((²π₂)*,repeat.(1,#)^o)^o)^o)^o,(!)*.zip₂.((²π₁)*.mask,(-)*.zip₂.((²π₂)*.mask,repeat.(1.mask,#.mask)^o)^o)^o.(id,(~.<)*.zip₂.((²π₂)*,repeat.(1,#)^o)^o)^o)^o . distl . (id,iota.#.id)^o . id . id . id

after applying RightAssoc2

priffle . ((<)*.zip₂.((²π₂)*,repeat.(1,#)^o)^o,repeat.(1000.0.mask.(id,(<)*.zip₂.((²π₂)*,repeat.(1,#)^o)^o)^o,#.mask.(id,(<)*.zip₂.((²π₂)*,repeat.(1,#)^o)^o)^o)^o,(!)*.zip₂.((²π₁)*.mask,(-)*.zip₂.((²π₂)*.mask,repeat.(1.mask,#.mask)^o)^o)^o.(id,(~.<)*.zip₂.((²π₂)*,repeat.(1,#)^o)^o)^o)^o . distl . (id,iota.#.id)^o . id . id . id

after applying CompIntoAlltup1

priffle . ((<)*.zip₂.((²π₂)*,repeat.(1,#)^o)^o,repeat.(1000.0.mask.(id,(<)*.zip₂.((²π₂)*,repeat.(1,#)^o)^o)^o,#.mask.(id,(<)*.zip₂.((²π₂)*,repeat.(1,#)^o)^o)^o)^o,(!)*.zip₂.((²π₁)*.mask.(id,(~.<)*.zip₂.((²π₂)*,repeat.(1,#)^o)^o)^o,(-)*.zip₂.((²π₂)*.mask,repeat.(1.mask,#.mask)^o)^o.(id,(~.<)*.zip₂.((²π₂)*,repeat.(1,#)^o)^o)^o)^o)^o . distl . (id,iota.#.id)^o . id . id . id

after applying RightAssoc2

priffle . ((<)*.zip₂.((²π₂)*,repeat.(1,#)^o)^o,repeat.(1000.0.mask.(id,(<)*.zip₂.((²π₂)*,repeat.(1,#)^o)^o)^o,#.mask.(id,(<)*.zip₂.((²π₂)*,repeat.(1,#)^o)^o)^o)^o,(!)*.zip₂.((²π₁)*.mask.(id,(~.<)*.zip₂.((²π₂)*,repeat.(1,#)^o)^o)^o,(-)*.zip₂.((²π₂)*.mask,repeat.(1.mask,#.mask)^o)^o.(id,(~.<)*.zip₂.((²π₂)*,repeat.(1,#)^o)^o)^o)^o)^o . distl . (id,iota.#.id)^o . id . id . id

after applying CompIntoAlltup1

priffle . ((<)*.zip₂.((²π₂)*,repeat.(1,#)^o)^o,repeat.(1000.0.mask.(id,(<)*.zip₂.((²π₂)*,repeat.(1,#)^o)^o)^o,#.mask.(id,(<)*.zip₂.((²π₂)*,repeat.(1,#)^o)^o)^o)^o,(!)*.zip₂.((²π₁)*.mask.(id,(~.<)*.zip₂.((²π₂)*,repeat.(1,#)^o)^o)^o,(-)*.zip₂.((²π₂)*.mask.(id,(~.<)*.zip₂.((²π₂)*,repeat.(1,#)^o)^o)^o,repeat.(1.mask,#.mask)^o.(id,(~.<)*.zip₂.((²π₂)*,repeat.(1,#)^o)^o)^o)^o)^o)^o . distl . (id,iota.#.id)^o . id . id . id

after applying RightAssoc2

priffle . ((<)*.zip₂.((²π₂)*,repeat.(1,#)^o)^o,repeat.(1000.0.mask.(id,(<)*.zip₂.((²π₂)*,repeat.(1,#)^o)^o)^o,#.mask.(id,(<)*.zip₂.((²π₂)*,repeat.(1,#)^o)^o)^o)^o,(!)*.zip₂.((²π₁)*.mask.(id,(~.<)*.zip₂.((²π₂)*,repeat.(1,#)^o)^o)^o,(-)*.zip₂.((²π₂)*.mask.(id,(~.<)*.zip₂.((²π₂)*,repeat.(1,#)^o)^o)^o,repeat.(1.mask,#.mask)^o.(id,(~.<)*.zip₂.((²π₂)*,repeat.(1,#)^o)^o)^o)^o)^o)^o . distl . (id,iota.#.id)^o . id . id . id

after applying CompIntoAlltup1

priffle . ((<)*.zip₂.((²π₂)*,repeat.(1,#)^o)^o,repeat.(1000.0.mask.(id,(<)*.zip₂.((²π₂)*,repeat.(1,#)^o)^o)^o,#.mask.(id,(<)*.zip₂.((²π₂)*,repeat.(1,#)^o)^o)^o)^o,(!)*.zip₂.((²π₁)*.mask.(id,(~.<)*.zip₂.((²π₂)*,repeat.(1,#)^o)^o)^o,(-)*.zip₂.((²π₂)*.mask.(id,(~.<)*.zip₂.((²π₂)*,repeat.(1,#)^o)^o)^o,repeat.(1.mask.(id,(~.<)*.zip₂.((²π₂)*,repeat.(1,#)^o)^o)^o,#.mask.(id,(~.<)*.zip₂.((²π₂)*,repeat.(1,#)^o)^o)^o)^o)^o)^o)^o . distl . (id,iota.#.id)^o . id . id . id

after applying ConAsorb

priffle . ((<)*.zip₂.((²π₂)*,repeat.(1,#)^o)^o,repeat.(1000.0.(id,(<)*.zip₂.((²π₂)*,repeat.(1,#)^o)^o)^o,#.mask.(id,(<)*.zip₂.((²π₂)*,repeat.(1,#)^o)^o)^o)^o,(!)*.zip₂.((²π₁)*.mask.(id,(~.<)*.zip₂.((²π₂)*,repeat.(1,#)^o)^o)^o,(-)*.zip₂.((²π₂)*.mask.(id,(~.<)*.zip₂.((²π₂)*,repeat.(1,#)^o)^o)^o,repeat.(1.mask.(id,(~.<)*.zip₂.((²π₂)*,repeat.(1,#)^o)^o)^o,#.mask.(id,(~.<)*.zip₂.((²π₂)*,repeat.(1,#)^o)^o)^o)^o)^o)^o)^o . distl . (id,iota.#.id)^o . id . id . id

after applying ConAsorb

priffle . ((<)*.zip₂.((²π₂)*,repeat.(1,#)^o)^o,repeat.(1000.0,#.mask.(id,(<)*.zip₂.((²π₂)*,repeat.(1,#)^o)^o)^o)^o,(!)*.zip₂.((²π₁)*.mask.(id,(~.<)*.zip₂.((²π₂)*,repeat.(1,#)^o)^o)^o,(-)*.zip₂.((²π₂)*.mask.(id,(~.<)*.zip₂.((²π₂)*,repeat.(1,#)^o)^o)^o,repeat.(1.mask.(id,(~.<)*.zip₂.((²π₂)*,repeat.(1,#)^o)^o)^o,#.mask.(id,(~.<)*.zip₂.((²π₂)*,repeat.(1,#)^o)^o)^o)^o)^o)^o)^o . distl . (id,iota.#.id)^o . id . id . id

after applying AddrIntoMask

priffle . ((<)*.zip₂.((²π₂)*,repeat.(1,#)^o)^o,repeat.(1000.0,#.mask.(id,(<)*.zip₂.((²π₂)*,repeat.(1,#)^o)^o)^o)^o,(!)*.zip₂.(mask.((²π₁)*.²π₁,²π₂)^o.(id,(~.<)*.zip₂.((²π₂)*,repeat.(1,#)^o)^o)^o,(-)*.zip₂.((²π₂)*.mask.(id,(~.<)*.zip₂.((²π₂)*,repeat.(1,#)^o)^o)^o,repeat.(1.mask.(id,(~.<)*.zip₂.((²π₂)*,repeat.(1,#)^o)^o)^o,#.mask.(id,(~.<)*.zip₂.((²π₂)*,repeat.(1,#)^o)^o)^o)^o)^o)^o)^o . distl . (id,iota.#.id)^o . id . id . id

after applying AddrIntoMask

priffle . ((<)*.zip₂.((²π₂)*,repeat.(1,#)^o)^o,repeat.(1000.0,#.mask.(id,(<)*.zip₂.((²π₂)*,repeat.(1,#)^o)^o)^o)^o,(!)*.zip₂.(mask.((²π₁)*.²π₁,²π₂)^o.(id,(~.<)*.zip₂.((²π₂)*,repeat.(1,#)^o)^o)^o,(-)*.zip₂.(mask.((²π₂)*.²π₁,²π₂)^o.(id,(~.<)*.zip₂.((²π₂)*,repeat.(1,#)^o)^o)^o,repeat.(1.mask.(id,(~.<)*.zip₂.((²π₂)*,repeat.(1,#)^o)^o)^o,#.mask.(id,(~.<)*.zip₂.((²π₂)*,repeat.(1,#)^o)^o)^o)^o)^o)^o)^o . distl . (id,iota.#.id)^o . id . id . id

after applying ConAsorb

priffle . ((<)*.zip₂.((²π₂)*,repeat.(1,#)^o)^o,repeat.(1000.0,#.mask.(id,(<)*.zip₂.((²π₂)*,repeat.(1,#)^o)^o)^o)^o,(!)*.zip₂.(mask.((²π₁)*.²π₁,²π₂)^o.(id,(~.<)*.zip₂.((²π₂)*,repeat.(1,#)^o)^o)^o,(-)*.zip₂.(mask.((²π₂)*.²π₁,²π₂)^o.(id,(~.<)*.zip₂.((²π₂)*,repeat.(1,#)^o)^o)^o,repeat.(1.(id,(~.<)*.zip₂.((²π₂)*,repeat.(1,#)^o)^o)^o,#.mask.(id,(~.<)*.zip₂.((²π₂)*,repeat.(1,#)^o)^o)^o)^o)^o)^o)^o . distl . (id,iota.#.id)^o . id . id . id

after applying ConAsorb

priffle . ((<)*.zip₂.((²π₂)*,repeat.(1,#)^o)^o,repeat.(1000.0,#.mask.(id,(<)*.zip₂.((²π₂)*,repeat.(1,#)^o)^o)^o)^o,(!)*.zip₂.(mask.((²π₁)*.²π₁,²π₂)^o.(id,(~.<)*.zip₂.((²π₂)*,repeat.(1,#)^o)^o)^o,(-)*.zip₂.(mask.((²π₂)*.²π₁,²π₂)^o.(id,(~.<)*.zip₂.((²π₂)*,repeat.(1,#)^o)^o)^o,repeat.(1,#.mask.(id,(~.<)*.zip₂.((²π₂)*,repeat.(1,#)^o)^o)^o)^o)^o)^o)^o . distl . (id,iota.#.id)^o . id . id . id

after applying MapIntoComp

priffle . ((<)*.zip₂.((²π₂)*,repeat.(1,#)^o)^o,repeat.(1000.0,#.mask.(id,(<)*.zip₂.((²π₂)*,repeat.(1,#)^o)^o)^o)^o,(!)*.zip₂.(mask.((²π₁)*.²π₁,²π₂)^o.(id,(~)*.(<)*.zip₂.((²π₂)*,repeat.(1,#)^o)^o)^o,(-)*.zip₂.(mask.((²π₂)*.²π₁,²π₂)^o.(id,(~.<)*.zip₂.((²π₂)*,repeat.(1,#)^o)^o)^o,repeat.(1,#.mask.(id,(~.<)*.zip₂.((²π₂)*,repeat.(1,#)^o)^o)^o)^o)^o)^o)^o . distl . (id,iota.#.id)^o . id . id . id

after applying MapIntoComp

priffle . ((<)*.zip₂.((²π₂)*,repeat.(1,#)^o)^o,repeat.(1000.0,#.mask.(id,(<)*.zip₂.((²π₂)*,repeat.(1,#)^o)^o)^o)^o,(!)*.zip₂.(mask.((²π₁)*.²π₁,²π₂)^o.(id,(~)*.(<)*.zip₂.((²π₂)*,repeat.(1,#)^o)^o)^o,(-)*.zip₂.(mask.((²π₂)*.²π₁,²π₂)^o.(id,(~)*.(<)*.zip₂.((²π₂)*,repeat.(1,#)^o)^o)^o,repeat.(1,#.mask.(id,(~.<)*.zip₂.((²π₂)*,repeat.(1,#)^o)^o)^o)^o)^o)^o)^o . distl . (id,iota.#.id)^o . id . id . id

after applying MapIntoComp

priffle . ((<)*.zip₂.((²π₂)*,repeat.(1,#)^o)^o,repeat.(1000.0,#.mask.(id,(<)*.zip₂.((²π₂)*,repeat.(1,#)^o)^o)^o)^o,(!)*.zip₂.(mask.((²π₁)*.²π₁,²π₂)^o.(id,(~)*.(<)*.zip₂.((²π₂)*,repeat.(1,#)^o)^o)^o,(-)*.zip₂.(mask.((²π₂)*.²π₁,²π₂)^o.(id,(~)*.(<)*.zip₂.((²π₂)*,repeat.(1,#)^o)^o)^o,repeat.(1,#.mask.(id,(~)*.(<)*.zip₂.((²π₂)*,repeat.(1,#)^o)^o)^o)^o)^o)^o)^o . distl . (id,iota.#.id)^o . id . id . id

after applying CompIntoMap

priffle . ((<)*.zip₂.((²π₂)*,repeat.(1,#)^o)^o,repeat.(1000.0,#.mask.(id,(<)*.zip₂.((²π₂)*,repeat.(1,#)^o)^o)^o)^o,(!)*.zip₂.(mask.((²π₁)*.²π₁,²π₂)^o.(id,(~.<)*.zip₂.((²π₂)*,repeat.(1,#)^o)^o)^o,(-)*.zip₂.(mask.((²π₂)*.²π₁,²π₂)^o.(id,(~)*.(<)*.zip₂.((²π₂)*,repeat.(1,#)^o)^o)^o,repeat.(1,#.mask.(id,(~)*.(<)*.zip₂.((²π₂)*,repeat.(1,#)^o)^o)^o)^o)^o)^o)^o . distl . (id,iota.#.id)^o . id . id . id

after applying RightAssoc2

priffle . ((<)*.zip₂.((²π₂)*,repeat.(1,#)^o)^o,repeat.(1000.0,#.mask.(id,(<)*.zip₂.((²π₂)*,repeat.(1,#)^o)^o)^o)^o,(!)*.zip₂.(mask.((²π₁)*.²π₁,²π₂)^o.(id,(~.<)*.zip₂.((²π₂)*,repeat.(1,#)^o)^o)^o,(-)*.zip₂.(mask.((²π₂)*.²π₁,²π₂)^o.(id,(~)*.(<)*.zip₂.((²π₂)*,repeat.(1,#)^o)^o)^o,repeat.(1,#.mask.(id,(~)*.(<)*.zip₂.((²π₂)*,repeat.(1,#)^o)^o)^o)^o)^o)^o)^o . distl . (id,iota.#.id)^o . id . id . id

after applying CompIntoAlltup1

priffle . ((<)*.zip₂.((²π₂)*,repeat.(1,#)^o)^o,repeat.(1000.0,#.mask.(id,(<)*.zip₂.((²π₂)*,repeat.(1,#)^o)^o)^o)^o,(!)*.zip₂.(mask.((²π₁)*.²π₁.(id,(~.<)*.zip₂.((²π₂)*,repeat.(1,#)^o)^o)^o,²π₂.(id,(~.<)*.zip₂.((²π₂)*,repeat.(1,#)^o)^o)^o)^o,(-)*.zip₂.(mask.((²π₂)*.²π₁,²π₂)^o.(id,(~)*.(<)*.zip₂.((²π₂)*,repeat.(1,#)^o)^o)^o,repeat.(1,#.mask.(id,(~)*.(<)*.zip₂.((²π₂)*,repeat.(1,#)^o)^o)^o)^o)^o)^o)^o . distl . (id,iota.#.id)^o . id . id . id

after applying CompIntoMap

priffle . ((<)*.zip₂.((²π₂)*,repeat.(1,#)^o)^o,repeat.(1000.0,#.mask.(id,(<)*.zip₂.((²π₂)*,repeat.(1,#)^o)^o)^o)^o,(!)*.zip₂.(mask.((²π₁)*.²π₁.(id,(~.<)*.zip₂.((²π₂)*,repeat.(1,#)^o)^o)^o,²π₂.(id,(~.<)*.zip₂.((²π₂)*,repeat.(1,#)^o)^o)^o)^o,(-)*.zip₂.(mask.((²π₂)*.²π₁,²π₂)^o.(id,(~.<)*.zip₂.((²π₂)*,repeat.(1,#)^o)^o)^o,repeat.(1,#.mask.(id,(~)*.(<)*.zip₂.((²π₂)*,repeat.(1,#)^o)^o)^o)^o)^o)^o)^o . distl . (id,iota.#.id)^o . id . id . id

after applying RightAssoc2

priffle . ((<)*.zip₂.((²π₂)*,repeat.(1,#)^o)^o,repeat.(1000.0,#.mask.(id,(<)*.zip₂.((²π₂)*,repeat.(1,#)^o)^o)^o)^o,(!)*.zip₂.(mask.((²π₁)*.²π₁.(id,(~.<)*.zip₂.((²π₂)*,repeat.(1,#)^o)^o)^o,²π₂.(id,(~.<)*.zip₂.((²π₂)*,repeat.(1,#)^o)^o)^o)^o,(-)*.zip₂.(mask.((²π₂)*.²π₁,²π₂)^o.(id,(~.<)*.zip₂.((²π₂)*,repeat.(1,#)^o)^o)^o,repeat.(1,#.mask.(id,(~)*.(<)*.zip₂.((²π₂)*,repeat.(1,#)^o)^o)^o)^o)^o)^o)^o . distl . (id,iota.#.id)^o . id . id . id

after applying CompIntoAlltup1

priffle . ((<)*.zip₂.((²π₂)*,repeat.(1,#)^o)^o,repeat.(1000.0,#.mask.(id,(<)*.zip₂.((²π₂)*,repeat.(1,#)^o)^o)^o)^o,(!)*.zip₂.(mask.((²π₁)*.²π₁.(id,(~.<)*.zip₂.((²π₂)*,repeat.(1,#)^o)^o)^o,²π₂.(id,(~.<)*.zip₂.((²π₂)*,repeat.(1,#)^o)^o)^o)^o,(-)*.zip₂.(mask.((²π₂)*.²π₁.(id,(~.<)*.zip₂.((²π₂)*,repeat.(1,#)^o)^o)^o,²π₂.(id,(~.<)*.zip₂.((²π₂)*,repeat.(1,#)^o)^o)^o)^o,repeat.(1,#.mask.(id,(~)*.(<)*.zip₂.((²π₂)*,repeat.(1,#)^o)^o)^o)^o)^o)^o)^o . distl . (id,iota.#.id)^o . id . id . id

after applying CompIntoMap

priffle . ((<)*.zip₂.((²π₂)*,repeat.(1,#)^o)^o,repeat.(1000.0,#.mask.(id,(<)*.zip₂.((²π₂)*,repeat.(1,#)^o)^o)^o)^o,(!)*.zip₂.(mask.((²π₁)*.²π₁.(id,(~.<)*.zip₂.((²π₂)*,repeat.(1,#)^o)^o)^o,²π₂.(id,(~.<)*.zip₂.((²π₂)*,repeat.(1,#)^o)^o)^o)^o,(-)*.zip₂.(mask.((²π₂)*.²π₁.(id,(~.<)*.zip₂.((²π₂)*,repeat.(1,#)^o)^o)^o,²π₂.(id,(~.<)*.zip₂.((²π₂)*,repeat.(1,#)^o)^o)^o)^o,repeat.(1,#.mask.(id,(~.<)*.zip₂.((²π₂)*,repeat.(1,#)^o)^o)^o)^o)^o)^o)^o . distl . (id,iota.#.id)^o . id . id . id

after applying RightAssoc2

priffle . ((<)*.zip₂.((²π₂)*,repeat.(1,#)^o)^o,repeat.(1000.0,#.mask.(id,(<)*.zip₂.((²π₂)*,repeat.(1,#)^o)^o)^o)^o,(!)*.zip₂.(mask.((²π₁)*.²π₁.(id,(~.<)*.zip₂.((²π₂)*,repeat.(1,#)^o)^o)^o,²π₂.(id,(~.<)*.zip₂.((²π₂)*,repeat.(1,#)^o)^o)^o)^o,(-)*.zip₂.(mask.((²π₂)*.²π₁.(id,(~.<)*.zip₂.((²π₂)*,repeat.(1,#)^o)^o)^o,²π₂.(id,(~.<)*.zip₂.((²π₂)*,repeat.(1,#)^o)^o)^o)^o,repeat.(1,#.mask.(id,(~.<)*.zip₂.((²π₂)*,repeat.(1,#)^o)^o)^o)^o)^o)^o)^o . distl . (id,iota.#.id)^o . id . id . id

after applying AddrIntoAlltup

priffle . ((<)*.zip₂.((²π₂)*,repeat.(1,#)^o)^o,repeat.(1000.0,#.mask.(id,(<)*.zip₂.((²π₂)*,repeat.(1,#)^o)^o)^o)^o,(!)*.zip₂.(mask.((²π₁)*.id,²π₂.(id,(~.<)*.zip₂.((²π₂)*,repeat.(1,#)^o)^o)^o)^o,(-)*.zip₂.(mask.((²π₂)*.²π₁.(id,(~.<)*.zip₂.((²π₂)*,repeat.(1,#)^o)^o)^o,²π₂.(id,(~.<)*.zip₂.((²π₂)*,repeat.(1,#)^o)^o)^o)^o,repeat.(1,#.mask.(id,(~.<)*.zip₂.((²π₂)*,repeat.(1,#)^o)^o)^o)^o)^o)^o)^o . distl . (id,iota.#.id)^o . id . id . id

after applying RemoveIds2

priffle . ((<)*.zip₂.((²π₂)*,repeat.(1,#)^o)^o,repeat.(1000.0,#.mask.(id,(<)*.zip₂.((²π₂)*,repeat.(1,#)^o)^o)^o)^o,(!)*.zip₂.(mask.((²π₁)*,²π₂.(id,(~.<)*.zip₂.((²π₂)*,repeat.(1,#)^o)^o)^o)^o,(-)*.zip₂.(mask.((²π₂)*.²π₁.(id,(~.<)*.zip₂.((²π₂)*,repeat.(1,#)^o)^o)^o,²π₂.(id,(~.<)*.zip₂.((²π₂)*,repeat.(1,#)^o)^o)^o)^o,repeat.(1,#.mask.(id,(~.<)*.zip₂.((²π₂)*,repeat.(1,#)^o)^o)^o)^o)^o)^o)^o . distl . (id,iota.#.id)^o . id . id . id

after applying AddrIntoAlltup

priffle . ((<)*.zip₂.((²π₂)*,repeat.(1,#)^o)^o,repeat.(1000.0,#.mask.(id,(<)*.zip₂.((²π₂)*,repeat.(1,#)^o)^o)^o)^o,(!)*.zip₂.(mask.((²π₁)*,(~.<)*.zip₂.((²π₂)*,repeat.(1,#)^o)^o)^o,(-)*.zip₂.(mask.((²π₂)*.²π₁.(id,(~.<)*.zip₂.((²π₂)*,repeat.(1,#)^o)^o)^o,²π₂.(id,(~.<)*.zip₂.((²π₂)*,repeat.(1,#)^o)^o)^o)^o,repeat.(1,#.mask.(id,(~.<)*.zip₂.((²π₂)*,repeat.(1,#)^o)^o)^o)^o)^o)^o)^o . distl . (id,iota.#.id)^o . id . id . id

after applying RightAssoc2

priffle . ((<)*.zip₂.((²π₂)*,repeat.(1,#)^o)^o,repeat.(1000.0,#.mask.(id,(<)*.zip₂.((²π₂)*,repeat.(1,#)^o)^o)^o)^o,(!)*.zip₂.(mask.((²π₁)*,(~.<)*.zip₂.((²π₂)*,repeat.(1,#)^o)^o)^o,(-)*.zip₂.(mask.((²π₂)*.²π₁.(id,(~.<)*.zip₂.((²π₂)*,repeat.(1,#)^o)^o)^o,²π₂.(id,(~.<)*.zip₂.((²π₂)*,repeat.(1,#)^o)^o)^o)^o,repeat.(1,#.mask.(id,(~.<)*.zip₂.((²π₂)*,repeat.(1,#)^o)^o)^o)^o)^o)^o)^o . distl . (id,iota.#.id)^o . id . id . id

after applying AddrIntoAlltup

priffle . ((<)*.zip₂.((²π₂)*,repeat.(1,#)^o)^o,repeat.(1000.0,#.mask.(id,(<)*.zip₂.((²π₂)*,repeat.(1,#)^o)^o)^o)^o,(!)*.zip₂.(mask.((²π₁)*,(~.<)*.zip₂.((²π₂)*,repeat.(1,#)^o)^o)^o,(-)*.zip₂.(mask.((²π₂)*.id,²π₂.(id,(~.<)*.zip₂.((²π₂)*,repeat.(1,#)^o)^o)^o)^o,repeat.(1,#.mask.(id,(~.<)*.zip₂.((²π₂)*,repeat.(1,#)^o)^o)^o)^o)^o)^o)^o . distl . (id,iota.#.id)^o . id . id . id

after applying RemoveIds2

priffle . ((<)*.zip₂.((²π₂)*,repeat.(1,#)^o)^o,repeat.(1000.0,#.mask.(id,(<)*.zip₂.((²π₂)*,repeat.(1,#)^o)^o)^o)^o,(!)*.zip₂.(mask.((²π₁)*,(~.<)*.zip₂.((²π₂)*,repeat.(1,#)^o)^o)^o,(-)*.zip₂.(mask.((²π₂)*,²π₂.(id,(~.<)*.zip₂.((²π₂)*,repeat.(1,#)^o)^o)^o)^o,repeat.(1,#.mask.(id,(~.<)*.zip₂.((²π₂)*,repeat.(1,#)^o)^o)^o)^o)^o)^o)^o . distl . (id,iota.#.id)^o . id . id . id

after applying AddrIntoAlltup

priffle . ((<)*.zip₂.((²π₂)*,repeat.(1,#)^o)^o,repeat.(1000.0,#.mask.(id,(<)*.zip₂.((²π₂)*,repeat.(1,#)^o)^o)^o)^o,(!)*.zip₂.(mask.((²π₁)*,(~.<)*.zip₂.((²π₂)*,repeat.(1,#)^o)^o)^o,(-)*.zip₂.(mask.((²π₂)*,(~.<)*.zip₂.((²π₂)*,repeat.(1,#)^o)^o)^o,repeat.(1,#.mask.(id,(~.<)*.zip₂.((²π₂)*,repeat.(1,#)^o)^o)^o)^o)^o)^o)^o . distl . (id,iota.#.id)^o . id . id . id

after applying MapIntoComp

priffle . ((<)*.zip₂.((²π₂)*,repeat.(1,#)^o)^o,repeat.(1000.0,#.mask.(id,(<)*.zip₂.((²π₂)*,repeat.(1,#)^o)^o)^o)^o,(!)*.zip₂.(mask.((²π₁)*,(~)*.(<)*.zip₂.((²π₂)*,repeat.(1,#)^o)^o)^o,(-)*.zip₂.(mask.((²π₂)*,(~.<)*.zip₂.((²π₂)*,repeat.(1,#)^o)^o)^o,repeat.(1,#.mask.(id,(~.<)*.zip₂.((²π₂)*,repeat.(1,#)^o)^o)^o)^o)^o)^o)^o . distl . (id,iota.#.id)^o . id . id . id

after applying MapIntoComp

priffle . ((<)*.zip₂.((²π₂)*,repeat.(1,#)^o)^o,repeat.(1000.0,#.mask.(id,(<)*.zip₂.((²π₂)*,repeat.(1,#)^o)^o)^o)^o,(!)*.zip₂.(mask.((²π₁)*,(~)*.(<)*.zip₂.((²π₂)*,repeat.(1,#)^o)^o)^o,(-)*.zip₂.(mask.((²π₂)*,(~)*.(<)*.zip₂.((²π₂)*,repeat.(1,#)^o)^o)^o,repeat.(1,#.mask.(id,(~.<)*.zip₂.((²π₂)*,repeat.(1,#)^o)^o)^o)^o)^o)^o)^o . distl . (id,iota.#.id)^o . id . id . id

after applying MapIntoComp

priffle . ((<)*.zip₂.((²π₂)*,repeat.(1,#)^o)^o,repeat.(1000.0,#.mask.(id,(<)*.zip₂.((²π₂)*,repeat.(1,#)^o)^o)^o)^o,(!)*.zip₂.(mask.((²π₁)*,(~)*.(<)*.zip₂.((²π₂)*,repeat.(1,#)^o)^o)^o,(-)*.zip₂.(mask.((²π₂)*,(~)*.(<)*.zip₂.((²π₂)*,repeat.(1,#)^o)^o)^o,repeat.(1,#.mask.(id,(~)*.(<)*.zip₂.((²π₂)*,repeat.(1,#)^o)^o)^o)^o)^o)^o)^o . distl . (id,iota.#.id)^o . id . id . id

after applying CompIntoMap

priffle . ((<)*.zip₂.((²π₂)*,repeat.(1,#)^o)^o,repeat.(1000.0,#.mask.(id,(<)*.zip₂.((²π₂)*,repeat.(1,#)^o)^o)^o)^o,(!)*.zip₂.(mask.((²π₁)*,(~.<)*.zip₂.((²π₂)*,repeat.(1,#)^o)^o)^o,(-)*.zip₂.(mask.((²π₂)*,(~)*.(<)*.zip₂.((²π₂)*,repeat.(1,#)^o)^o)^o,repeat.(1,#.mask.(id,(~)*.(<)*.zip₂.((²π₂)*,repeat.(1,#)^o)^o)^o)^o)^o)^o)^o . distl . (id,iota.#.id)^o . id . id . id

after applying CompIntoMap

priffle . ((<)*.zip₂.((²π₂)*,repeat.(1,#)^o)^o,repeat.(1000.0,#.mask.(id,(<)*.zip₂.((²π₂)*,repeat.(1,#)^o)^o)^o)^o,(!)*.zip₂.(mask.((²π₁)*,(~.<)*.zip₂.((²π₂)*,repeat.(1,#)^o)^o)^o,(-)*.zip₂.(mask.((²π₂)*,(~.<)*.zip₂.((²π₂)*,repeat.(1,#)^o)^o)^o,repeat.(1,#.mask.(id,(~)*.(<)*.zip₂.((²π₂)*,repeat.(1,#)^o)^o)^o)^o)^o)^o)^o . distl . (id,iota.#.id)^o . id . id . id

after applying CompIntoMap

priffle . ((<)*.zip₂.((²π₂)*,repeat.(1,#)^o)^o,repeat.(1000.0,#.mask.(id,(<)*.zip₂.((²π₂)*,repeat.(1,#)^o)^o)^o)^o,(!)*.zip₂.(mask.((²π₁)*,(~.<)*.zip₂.((²π₂)*,repeat.(1,#)^o)^o)^o,(-)*.zip₂.(mask.((²π₂)*,(~.<)*.zip₂.((²π₂)*,repeat.(1,#)^o)^o)^o,repeat.(1,#.mask.(id,(~.<)*.zip₂.((²π₂)*,repeat.(1,#)^o)^o)^o)^o)^o)^o)^o . distl . (id,iota.#.id)^o . id . id . id

after applying MapIntoComp

priffle . ((<)*.zip₂.((²π₂)*,repeat.(1,#)^o)^o,repeat.(1000.0,#.mask.(id,(<)*.zip₂.((²π₂)*,repeat.(1,#)^o)^o)^o)^o,(!)*.zip₂.(mask.((²π₁)*,(~)*.(<)*.zip₂.((²π₂)*,repeat.(1,#)^o)^o)^o,(-)*.zip₂.(mask.((²π₂)*,(~.<)*.zip₂.((²π₂)*,repeat.(1,#)^o)^o)^o,repeat.(1,#.mask.(id,(~.<)*.zip₂.((²π₂)*,repeat.(1,#)^o)^o)^o)^o)^o)^o)^o . distl . (id,iota.#.id)^o . id . id . id

after applying MapIntoComp

priffle . ((<)*.zip₂.((²π₂)*,repeat.(1,#)^o)^o,repeat.(1000.0,#.mask.(id,(<)*.zip₂.((²π₂)*,repeat.(1,#)^o)^o)^o)^o,(!)*.zip₂.(mask.((²π₁)*,(~)*.(<)*.zip₂.((²π₂)*,repeat.(1,#)^o)^o)^o,(-)*.zip₂.(mask.((²π₂)*,(~)*.(<)*.zip₂.((²π₂)*,repeat.(1,#)^o)^o)^o,repeat.(1,#.mask.(id,(~.<)*.zip₂.((²π₂)*,repeat.(1,#)^o)^o)^o)^o)^o)^o)^o . distl . (id,iota.#.id)^o . id . id . id

after applying MapIntoComp

priffle . ((<)*.zip₂.((²π₂)*,repeat.(1,#)^o)^o,repeat.(1000.0,#.mask.(id,(<)*.zip₂.((²π₂)*,repeat.(1,#)^o)^o)^o)^o,(!)*.zip₂.(mask.((²π₁)*,(~)*.(<)*.zip₂.((²π₂)*,repeat.(1,#)^o)^o)^o,(-)*.zip₂.(mask.((²π₂)*,(~)*.(<)*.zip₂.((²π₂)*,repeat.(1,#)^o)^o)^o,repeat.(1,#.mask.(id,(~)*.(<)*.zip₂.((²π₂)*,repeat.(1,#)^o)^o)^o)^o)^o)^o)^o . distl . (id,iota.#.id)^o . id . id . id

after applying DistlElim

priffle . ((<)*.zip₂.((²π₂)*,repeat.(1,#)^o)^o,repeat.(1000.0,#.mask.(id,(<)*.zip₂.((²π₂)*,repeat.(1,#)^o)^o)^o)^o,(!)*.zip₂.(mask.((²π₁)*,(~)*.(<)*.zip₂.((²π₂)*,repeat.(1,#)^o)^o)^o,(-)*.zip₂.(mask.((²π₂)*,(~)*.(<)*.zip₂.((²π₂)*,repeat.(1,#)^o)^o)^o,repeat.(1,#.mask.(id,(~)*.(<)*.zip₂.((²π₂)*,repeat.(1,#)^o)^o)^o)^o)^o)^o)^o . zip₂ . (repeat.(²π₁,#.²π₂)^o,²π₂)^o . (id,iota.#.id)^o . id . id . id

after applying LeftAssociate

priffle . ((<)*.zip₂.((²π₂)*,repeat.(1,#)^o)^o,repeat.(1000.0,#.mask.(id,(<)*.zip₂.((²π₂)*,repeat.(1,#)^o)^o)^o)^o,(!)*.zip₂.(mask.((²π₁)*,(~)*.(<)*.zip₂.((²π₂)*,repeat.(1,#)^o)^o)^o,(-)*.zip₂.(mask.((²π₂)*,(~)*.(<)*.zip₂.((²π₂)*,repeat.(1,#)^o)^o)^o,repeat.(1,#.mask.(id,(~)*.(<)*.zip₂.((²π₂)*,repeat.(1,#)^o)^o)^o)^o)^o)^o)^o . zip₂ . (repeat.(²π₁,#.²π₂)^o,²π₂)^o . (id,iota.#.id)^o . id . id . id

after applying CompIntoMap

priffle . ((<)*.zip₂.((²π₂)*,repeat.(1,#)^o)^o,repeat.(1000.0,#.mask.(id,(<)*.zip₂.((²π₂)*,repeat.(1,#)^o)^o)^o)^o,(!)*.zip₂.(mask.((²π₁)*,(~.<)*.zip₂.((²π₂)*,repeat.(1,#)^o)^o)^o,(-)*.zip₂.(mask.((²π₂)*,(~)*.(<)*.zip₂.((²π₂)*,repeat.(1,#)^o)^o)^o,repeat.(1,#.mask.(id,(~)*.(<)*.zip₂.((²π₂)*,repeat.(1,#)^o)^o)^o)^o)^o)^o)^o . zip₂ . (repeat.(²π₁,#.²π₂)^o,²π₂)^o . (id,iota.#.id)^o . id . id . id

after applying CompIntoMap

priffle . ((<)*.zip₂.((²π₂)*,repeat.(1,#)^o)^o,repeat.(1000.0,#.mask.(id,(<)*.zip₂.((²π₂)*,repeat.(1,#)^o)^o)^o)^o,(!)*.zip₂.(mask.((²π₁)*,(~.<)*.zip₂.((²π₂)*,repeat.(1,#)^o)^o)^o,(-)*.zip₂.(mask.((²π₂)*,(~.<)*.zip₂.((²π₂)*,repeat.(1,#)^o)^o)^o,repeat.(1,#.mask.(id,(~)*.(<)*.zip₂.((²π₂)*,repeat.(1,#)^o)^o)^o)^o)^o)^o)^o . zip₂ . (repeat.(²π₁,#.²π₂)^o,²π₂)^o . (id,iota.#.id)^o . id . id . id

after applying CompIntoMap

priffle . ((<)*.zip₂.((²π₂)*,repeat.(1,#)^o)^o,repeat.(1000.0,#.mask.(id,(<)*.zip₂.((²π₂)*,repeat.(1,#)^o)^o)^o)^o,(!)*.zip₂.(mask.((²π₁)*,(~.<)*.zip₂.((²π₂)*,repeat.(1,#)^o)^o)^o,(-)*.zip₂.(mask.((²π₂)*,(~.<)*.zip₂.((²π₂)*,repeat.(1,#)^o)^o)^o,repeat.(1,#.mask.(id,(~.<)*.zip₂.((²π₂)*,repeat.(1,#)^o)^o)^o)^o)^o)^o)^o . zip₂ . (repeat.(²π₁,#.²π₂)^o,²π₂)^o . (id,iota.#.id)^o . id . id . id

after applying RightAssoc2

priffle . ((<)*.zip₂.((²π₂)*,repeat.(1,#)^o)^o,repeat.(1000.0,#.mask.(id,(<)*.zip₂.((²π₂)*,repeat.(1,#)^o)^o)^o)^o,(!)*.zip₂.(mask.((²π₁)*,(~.<)*.zip₂.((²π₂)*,repeat.(1,#)^o)^o)^o,(-)*.zip₂.(mask.((²π₂)*,(~.<)*.zip₂.((²π₂)*,repeat.(1,#)^o)^o)^o,repeat.(1,#.mask.(id,(~.<)*.zip₂.((²π₂)*,repeat.(1,#)^o)^o)^o)^o)^o)^o)^o . zip₂ . (repeat.(²π₁,#.²π₂)^o,²π₂)^o . (id,iota.#.id)^o . id . id . id

after applying CompIntoAlltup1

priffle . ((<)*.zip₂.((²π₂)*,repeat.(1,#)^o)^o.zip₂,repeat.(1000.0,#.mask.(id,(<)*.zip₂.((²π₂)*,repeat.(1,#)^o)^o)^o)^o.zip₂,(!)*.zip₂.(mask.((²π₁)*,(~.<)*.zip₂.((²π₂)*,repeat.(1,#)^o)^o)^o,(-)*.zip₂.(mask.((²π₂)*,(~.<)*.zip₂.((²π₂)*,repeat.(1,#)^o)^o)^o,repeat.(1,#.mask.(id,(~.<)*.zip₂.((²π₂)*,repeat.(1,#)^o)^o)^o)^o)^o)^o.zip₂)^o . (repeat.(²π₁,#.²π₂)^o,²π₂)^o . (id,iota.#.id)^o . id . id . id

after applying RightAssoc2

priffle . ((<)*.zip₂.((²π₂)*,repeat.(1,#)^o)^o.zip₂,repeat.(1000.0,#.mask.(id,(<)*.zip₂.((²π₂)*,repeat.(1,#)^o)^o)^o)^o.zip₂,(!)*.zip₂.(mask.((²π₁)*,(~.<)*.zip₂.((²π₂)*,repeat.(1,#)^o)^o)^o,(-)*.zip₂.(mask.((²π₂)*,(~.<)*.zip₂.((²π₂)*,repeat.(1,#)^o)^o)^o,repeat.(1,#.mask.(id,(~.<)*.zip₂.((²π₂)*,repeat.(1,#)^o)^o)^o)^o)^o)^o.zip₂)^o . (repeat.(²π₁,#.²π₂)^o,²π₂)^o . (id,iota.#.id)^o . id . id . id

after applying CompIntoAlltup1

priffle . ((<)*.zip₂.((²π₂)*.zip₂,repeat.(1,#)^o.zip₂)^o,repeat.(1000.0,#.mask.(id,(<)*.zip₂.((²π₂)*,repeat.(1,#)^o)^o)^o)^o.zip₂,(!)*.zip₂.(mask.((²π₁)*,(~.<)*.zip₂.((²π₂)*,repeat.(1,#)^o)^o)^o,(-)*.zip₂.(mask.((²π₂)*,(~.<)*.zip₂.((²π₂)*,repeat.(1,#)^o)^o)^o,repeat.(1,#.mask.(id,(~.<)*.zip₂.((²π₂)*,repeat.(1,#)^o)^o)^o)^o)^o)^o.zip₂)^o . (repeat.(²π₁,#.²π₂)^o,²π₂)^o . (id,iota.#.id)^o . id . id . id

after applying RightAssoc2

priffle . ((<)*.zip₂.((²π₂)*.zip₂,repeat.(1,#)^o.zip₂)^o,repeat.(1000.0,#.mask.(id,(<)*.zip₂.((²π₂)*,repeat.(1,#)^o)^o)^o)^o.zip₂,(!)*.zip₂.(mask.((²π₁)*,(~.<)*.zip₂.((²π₂)*,repeat.(1,#)^o)^o)^o,(-)*.zip₂.(mask.((²π₂)*,(~.<)*.zip₂.((²π₂)*,repeat.(1,#)^o)^o)^o,repeat.(1,#.mask.(id,(~.<)*.zip₂.((²π₂)*,repeat.(1,#)^o)^o)^o)^o)^o)^o.zip₂)^o . (repeat.(²π₁,#.²π₂)^o,²π₂)^o . (id,iota.#.id)^o . id . id . id

after applying CompIntoAlltup1

priffle . ((<)*.zip₂.((²π₂)*.zip₂,repeat.(1.zip₂,#.zip₂)^o)^o,repeat.(1000.0,#.mask.(id,(<)*.zip₂.((²π₂)*,repeat.(1,#)^o)^o)^o)^o.zip₂,(!)*.zip₂.(mask.((²π₁)*,(~.<)*.zip₂.((²π₂)*,repeat.(1,#)^o)^o)^o,(-)*.zip₂.(mask.((²π₂)*,(~.<)*.zip₂.((²π₂)*,repeat.(1,#)^o)^o)^o,repeat.(1,#.mask.(id,(~.<)*.zip₂.((²π₂)*,repeat.(1,#)^o)^o)^o)^o)^o)^o.zip₂)^o . (repeat.(²π₁,#.²π₂)^o,²π₂)^o . (id,iota.#.id)^o . id . id . id

after applying RightAssoc2

priffle . ((<)*.zip₂.((²π₂)*.zip₂,repeat.(1.zip₂,#.zip₂)^o)^o,repeat.(1000.0,#.mask.(id,(<)*.zip₂.((²π₂)*,repeat.(1,#)^o)^o)^o)^o.zip₂,(!)*.zip₂.(mask.((²π₁)*,(~.<)*.zip₂.((²π₂)*,repeat.(1,#)^o)^o)^o,(-)*.zip₂.(mask.((²π₂)*,(~.<)*.zip₂.((²π₂)*,repeat.(1,#)^o)^o)^o,repeat.(1,#.mask.(id,(~.<)*.zip₂.((²π₂)*,repeat.(1,#)^o)^o)^o)^o)^o)^o.zip₂)^o . (repeat.(²π₁,#.²π₂)^o,²π₂)^o . (id,iota.#.id)^o . id . id . id

after applying CompIntoAlltup1

priffle . ((<)*.zip₂.((²π₂)*.zip₂,repeat.(1.zip₂,#.zip₂)^o)^o,repeat.(1000.0.zip₂,#.mask.(id,(<)*.zip₂.((²π₂)*,repeat.(1,#)^o)^o)^o.zip₂)^o,(!)*.zip₂.(mask.((²π₁)*,(~.<)*.zip₂.((²π₂)*,repeat.(1,#)^o)^o)^o,(-)*.zip₂.(mask.((²π₂)*,(~.<)*.zip₂.((²π₂)*,repeat.(1,#)^o)^o)^o,repeat.(1,#.mask.(id,(~.<)*.zip₂.((²π₂)*,repeat.(1,#)^o)^o)^o)^o)^o)^o.zip₂)^o . (repeat.(²π₁,#.²π₂)^o,²π₂)^o . (id,iota.#.id)^o . id . id . id

after applying RightAssoc2

priffle . ((<)*.zip₂.((²π₂)*.zip₂,repeat.(1.zip₂,#.zip₂)^o)^o,repeat.(1000.0.zip₂,#.mask.(id,(<)*.zip₂.((²π₂)*,repeat.(1,#)^o)^o)^o.zip₂)^o,(!)*.zip₂.(mask.((²π₁)*,(~.<)*.zip₂.((²π₂)*,repeat.(1,#)^o)^o)^o,(-)*.zip₂.(mask.((²π₂)*,(~.<)*.zip₂.((²π₂)*,repeat.(1,#)^o)^o)^o,repeat.(1,#.mask.(id,(~.<)*.zip₂.((²π₂)*,repeat.(1,#)^o)^o)^o)^o)^o)^o.zip₂)^o . (repeat.(²π₁,#.²π₂)^o,²π₂)^o . (id,iota.#.id)^o . id . id . id

after applying CompIntoAlltup1

priffle . ((<)*.zip₂.((²π₂)*.zip₂,repeat.(1.zip₂,#.zip₂)^o)^o,repeat.(1000.0.zip₂,#.mask.(id.zip₂,(<)*.zip₂.((²π₂)*,repeat.(1,#)^o)^o.zip₂)^o)^o,(!)*.zip₂.(mask.((²π₁)*,(~.<)*.zip₂.((²π₂)*,repeat.(1,#)^o)^o)^o,(-)*.zip₂.(mask.((²π₂)*,(~.<)*.zip₂.((²π₂)*,repeat.(1,#)^o)^o)^o,repeat.(1,#.mask.(id,(~.<)*.zip₂.((²π₂)*,repeat.(1,#)^o)^o)^o)^o)^o)^o.zip₂)^o . (repeat.(²π₁,#.²π₂)^o,²π₂)^o . (id,iota.#.id)^o . id . id . id

after applying RightAssoc2

priffle . ((<)*.zip₂.((²π₂)*.zip₂,repeat.(1.zip₂,#.zip₂)^o)^o,repeat.(1000.0.zip₂,#.mask.(id.zip₂,(<)*.zip₂.((²π₂)*,repeat.(1,#)^o)^o.zip₂)^o)^o,(!)*.zip₂.(mask.((²π₁)*,(~.<)*.zip₂.((²π₂)*,repeat.(1,#)^o)^o)^o,(-)*.zip₂.(mask.((²π₂)*,(~.<)*.zip₂.((²π₂)*,repeat.(1,#)^o)^o)^o,repeat.(1,#.mask.(id,(~.<)*.zip₂.((²π₂)*,repeat.(1,#)^o)^o)^o)^o)^o)^o.zip₂)^o . (repeat.(²π₁,#.²π₂)^o,²π₂)^o . (id,iota.#.id)^o . id . id . id

after applying CompIntoAlltup1

priffle . ((<)*.zip₂.((²π₂)*.zip₂,repeat.(1.zip₂,#.zip₂)^o)^o,repeat.(1000.0.zip₂,#.mask.(id.zip₂,(<)*.zip₂.((²π₂)*.zip₂,repeat.(1,#)^o.zip₂)^o)^o)^o,(!)*.zip₂.(mask.((²π₁)*,(~.<)*.zip₂.((²π₂)*,repeat.(1,#)^o)^o)^o,(-)*.zip₂.(mask.((²π₂)*,(~.<)*.zip₂.((²π₂)*,repeat.(1,#)^o)^o)^o,repeat.(1,#.mask.(id,(~.<)*.zip₂.((²π₂)*,repeat.(1,#)^o)^o)^o)^o)^o)^o.zip₂)^o . (repeat.(²π₁,#.²π₂)^o,²π₂)^o . (id,iota.#.id)^o . id . id . id

after applying RightAssoc2

priffle . ((<)*.zip₂.((²π₂)*.zip₂,repeat.(1.zip₂,#.zip₂)^o)^o,repeat.(1000.0.zip₂,#.mask.(id.zip₂,(<)*.zip₂.((²π₂)*.zip₂,repeat.(1,#)^o.zip₂)^o)^o)^o,(!)*.zip₂.(mask.((²π₁)*,(~.<)*.zip₂.((²π₂)*,repeat.(1,#)^o)^o)^o,(-)*.zip₂.(mask.((²π₂)*,(~.<)*.zip₂.((²π₂)*,repeat.(1,#)^o)^o)^o,repeat.(1,#.mask.(id,(~.<)*.zip₂.((²π₂)*,repeat.(1,#)^o)^o)^o)^o)^o)^o.zip₂)^o . (repeat.(²π₁,#.²π₂)^o,²π₂)^o . (id,iota.#.id)^o . id . id . id

after applying CompIntoAlltup1

priffle . ((<)*.zip₂.((²π₂)*.zip₂,repeat.(1.zip₂,#.zip₂)^o)^o,repeat.(1000.0.zip₂,#.mask.(id.zip₂,(<)*.zip₂.((²π₂)*.zip₂,repeat.(1.zip₂,#.zip₂)^o)^o)^o)^o,(!)*.zip₂.(mask.((²π₁)*,(~.<)*.zip₂.((²π₂)*,repeat.(1,#)^o)^o)^o,(-)*.zip₂.(mask.((²π₂)*,(~.<)*.zip₂.((²π₂)*,repeat.(1,#)^o)^o)^o,repeat.(1,#.mask.(id,(~.<)*.zip₂.((²π₂)*,repeat.(1,#)^o)^o)^o)^o)^o)^o.zip₂)^o . (repeat.(²π₁,#.²π₂)^o,²π₂)^o . (id,iota.#.id)^o . id . id . id

after applying RightAssoc2

priffle . ((<)*.zip₂.((²π₂)*.zip₂,repeat.(1.zip₂,#.zip₂)^o)^o,repeat.(1000.0.zip₂,#.mask.(id.zip₂,(<)*.zip₂.((²π₂)*.zip₂,repeat.(1.zip₂,#.zip₂)^o)^o)^o)^o,(!)*.zip₂.(mask.((²π₁)*,(~.<)*.zip₂.((²π₂)*,repeat.(1,#)^o)^o)^o,(-)*.zip₂.(mask.((²π₂)*,(~.<)*.zip₂.((²π₂)*,repeat.(1,#)^o)^o)^o,repeat.(1,#.mask.(id,(~.<)*.zip₂.((²π₂)*,repeat.(1,#)^o)^o)^o)^o)^o)^o.zip₂)^o . (repeat.(²π₁,#.²π₂)^o,²π₂)^o . (id,iota.#.id)^o . id . id . id

after applying CompIntoAlltup1

priffle . ((<)*.zip₂.((²π₂)*.zip₂,repeat.(1.zip₂,#.zip₂)^o)^o,repeat.(1000.0.zip₂,#.mask.(id.zip₂,(<)*.zip₂.((²π₂)*.zip₂,repeat.(1.zip₂,#.zip₂)^o)^o)^o)^o,(!)*.zip₂.(mask.((²π₁)*,(~.<)*.zip₂.((²π₂)*,repeat.(1,#)^o)^o)^o.zip₂,(-)*.zip₂.(mask.((²π₂)*,(~.<)*.zip₂.((²π₂)*,repeat.(1,#)^o)^o)^o,repeat.(1,#.mask.(id,(~.<)*.zip₂.((²π₂)*,repeat.(1,#)^o)^o)^o)^o)^o.zip₂)^o)^o . (repeat.(²π₁,#.²π₂)^o,²π₂)^o . (id,iota.#.id)^o . id . id . id

after applying RightAssoc2

priffle . ((<)*.zip₂.((²π₂)*.zip₂,repeat.(1.zip₂,#.zip₂)^o)^o,repeat.(1000.0.zip₂,#.mask.(id.zip₂,(<)*.zip₂.((²π₂)*.zip₂,repeat.(1.zip₂,#.zip₂)^o)^o)^o)^o,(!)*.zip₂.(mask.((²π₁)*,(~.<)*.zip₂.((²π₂)*,repeat.(1,#)^o)^o)^o.zip₂,(-)*.zip₂.(mask.((²π₂)*,(~.<)*.zip₂.((²π₂)*,repeat.(1,#)^o)^o)^o,repeat.(1,#.mask.(id,(~.<)*.zip₂.((²π₂)*,repeat.(1,#)^o)^o)^o)^o)^o.zip₂)^o)^o . (repeat.(²π₁,#.²π₂)^o,²π₂)^o . (id,iota.#.id)^o . id . id . id

after applying CompIntoAlltup1

priffle . ((<)*.zip₂.((²π₂)*.zip₂,repeat.(1.zip₂,#.zip₂)^o)^o,repeat.(1000.0.zip₂,#.mask.(id.zip₂,(<)*.zip₂.((²π₂)*.zip₂,repeat.(1.zip₂,#.zip₂)^o)^o)^o)^o,(!)*.zip₂.(mask.((²π₁)*.zip₂,(~.<)*.zip₂.((²π₂)*,repeat.(1,#)^o)^o.zip₂)^o,(-)*.zip₂.(mask.((²π₂)*,(~.<)*.zip₂.((²π₂)*,repeat.(1,#)^o)^o)^o,repeat.(1,#.mask.(id,(~.<)*.zip₂.((²π₂)*,repeat.(1,#)^o)^o)^o)^o)^o.zip₂)^o)^o . (repeat.(²π₁,#.²π₂)^o,²π₂)^o . (id,iota.#.id)^o . id . id . id

after applying RightAssoc2

priffle . ((<)*.zip₂.((²π₂)*.zip₂,repeat.(1.zip₂,#.zip₂)^o)^o,repeat.(1000.0.zip₂,#.mask.(id.zip₂,(<)*.zip₂.((²π₂)*.zip₂,repeat.(1.zip₂,#.zip₂)^o)^o)^o)^o,(!)*.zip₂.(mask.((²π₁)*.zip₂,(~.<)*.zip₂.((²π₂)*,repeat.(1,#)^o)^o.zip₂)^o,(-)*.zip₂.(mask.((²π₂)*,(~.<)*.zip₂.((²π₂)*,repeat.(1,#)^o)^o)^o,repeat.(1,#.mask.(id,(~.<)*.zip₂.((²π₂)*,repeat.(1,#)^o)^o)^o)^o)^o.zip₂)^o)^o . (repeat.(²π₁,#.²π₂)^o,²π₂)^o . (id,iota.#.id)^o . id . id . id

after applying CompIntoAlltup1

priffle . ((<)*.zip₂.((²π₂)*.zip₂,repeat.(1.zip₂,#.zip₂)^o)^o,repeat.(1000.0.zip₂,#.mask.(id.zip₂,(<)*.zip₂.((²π₂)*.zip₂,repeat.(1.zip₂,#.zip₂)^o)^o)^o)^o,(!)*.zip₂.(mask.((²π₁)*.zip₂,(~.<)*.zip₂.((²π₂)*.zip₂,repeat.(1,#)^o.zip₂)^o)^o,(-)*.zip₂.(mask.((²π₂)*,(~.<)*.zip₂.((²π₂)*,repeat.(1,#)^o)^o)^o,repeat.(1,#.mask.(id,(~.<)*.zip₂.((²π₂)*,repeat.(1,#)^o)^o)^o)^o)^o.zip₂)^o)^o . (repeat.(²π₁,#.²π₂)^o,²π₂)^o . (id,iota.#.id)^o . id . id . id

after applying RightAssoc2

priffle . ((<)*.zip₂.((²π₂)*.zip₂,repeat.(1.zip₂,#.zip₂)^o)^o,repeat.(1000.0.zip₂,#.mask.(id.zip₂,(<)*.zip₂.((²π₂)*.zip₂,repeat.(1.zip₂,#.zip₂)^o)^o)^o)^o,(!)*.zip₂.(mask.((²π₁)*.zip₂,(~.<)*.zip₂.((²π₂)*.zip₂,repeat.(1,#)^o.zip₂)^o)^o,(-)*.zip₂.(mask.((²π₂)*,(~.<)*.zip₂.((²π₂)*,repeat.(1,#)^o)^o)^o,repeat.(1,#.mask.(id,(~.<)*.zip₂.((²π₂)*,repeat.(1,#)^o)^o)^o)^o)^o.zip₂)^o)^o . (repeat.(²π₁,#.²π₂)^o,²π₂)^o . (id,iota.#.id)^o . id . id . id

after applying CompIntoAlltup1

priffle . ((<)*.zip₂.((²π₂)*.zip₂,repeat.(1.zip₂,#.zip₂)^o)^o,repeat.(1000.0.zip₂,#.mask.(id.zip₂,(<)*.zip₂.((²π₂)*.zip₂,repeat.(1.zip₂,#.zip₂)^o)^o)^o)^o,(!)*.zip₂.(mask.((²π₁)*.zip₂,(~.<)*.zip₂.((²π₂)*.zip₂,repeat.(1.zip₂,#.zip₂)^o)^o)^o,(-)*.zip₂.(mask.((²π₂)*,(~.<)*.zip₂.((²π₂)*,repeat.(1,#)^o)^o)^o,repeat.(1,#.mask.(id,(~.<)*.zip₂.((²π₂)*,repeat.(1,#)^o)^o)^o)^o)^o.zip₂)^o)^o . (repeat.(²π₁,#.²π₂)^o,²π₂)^o . (id,iota.#.id)^o . id . id . id

after applying RightAssoc2

priffle . ((<)*.zip₂.((²π₂)*.zip₂,repeat.(1.zip₂,#.zip₂)^o)^o,repeat.(1000.0.zip₂,#.mask.(id.zip₂,(<)*.zip₂.((²π₂)*.zip₂,repeat.(1.zip₂,#.zip₂)^o)^o)^o)^o,(!)*.zip₂.(mask.((²π₁)*.zip₂,(~.<)*.zip₂.((²π₂)*.zip₂,repeat.(1.zip₂,#.zip₂)^o)^o)^o,(-)*.zip₂.(mask.((²π₂)*,(~.<)*.zip₂.((²π₂)*,repeat.(1,#)^o)^o)^o,repeat.(1,#.mask.(id,(~.<)*.zip₂.((²π₂)*,repeat.(1,#)^o)^o)^o)^o)^o.zip₂)^o)^o . (repeat.(²π₁,#.²π₂)^o,²π₂)^o . (id,iota.#.id)^o . id . id . id

after applying CompIntoAlltup1

priffle . ((<)*.zip₂.((²π₂)*.zip₂,repeat.(1.zip₂,#.zip₂)^o)^o,repeat.(1000.0.zip₂,#.mask.(id.zip₂,(<)*.zip₂.((²π₂)*.zip₂,repeat.(1.zip₂,#.zip₂)^o)^o)^o)^o,(!)*.zip₂.(mask.((²π₁)*.zip₂,(~.<)*.zip₂.((²π₂)*.zip₂,repeat.(1.zip₂,#.zip₂)^o)^o)^o,(-)*.zip₂.(mask.((²π₂)*,(~.<)*.zip₂.((²π₂)*,repeat.(1,#)^o)^o)^o.zip₂,repeat.(1,#.mask.(id,(~.<)*.zip₂.((²π₂)*,repeat.(1,#)^o)^o)^o)^o.zip₂)^o)^o)^o . (repeat.(²π₁,#.²π₂)^o,²π₂)^o . (id,iota.#.id)^o . id . id . id

after applying RightAssoc2

priffle . ((<)*.zip₂.((²π₂)*.zip₂,repeat.(1.zip₂,#.zip₂)^o)^o,repeat.(1000.0.zip₂,#.mask.(id.zip₂,(<)*.zip₂.((²π₂)*.zip₂,repeat.(1.zip₂,#.zip₂)^o)^o)^o)^o,(!)*.zip₂.(mask.((²π₁)*.zip₂,(~.<)*.zip₂.((²π₂)*.zip₂,repeat.(1.zip₂,#.zip₂)^o)^o)^o,(-)*.zip₂.(mask.((²π₂)*,(~.<)*.zip₂.((²π₂)*,repeat.(1,#)^o)^o)^o.zip₂,repeat.(1,#.mask.(id,(~.<)*.zip₂.((²π₂)*,repeat.(1,#)^o)^o)^o)^o.zip₂)^o)^o)^o . (repeat.(²π₁,#.²π₂)^o,²π₂)^o . (id,iota.#.id)^o . id . id . id

after applying CompIntoAlltup1

priffle . ((<)*.zip₂.((²π₂)*.zip₂,repeat.(1.zip₂,#.zip₂)^o)^o,repeat.(1000.0.zip₂,#.mask.(id.zip₂,(<)*.zip₂.((²π₂)*.zip₂,repeat.(1.zip₂,#.zip₂)^o)^o)^o)^o,(!)*.zip₂.(mask.((²π₁)*.zip₂,(~.<)*.zip₂.((²π₂)*.zip₂,repeat.(1.zip₂,#.zip₂)^o)^o)^o,(-)*.zip₂.(mask.((²π₂)*.zip₂,(~.<)*.zip₂.((²π₂)*,repeat.(1,#)^o)^o.zip₂)^o,repeat.(1,#.mask.(id,(~.<)*.zip₂.((²π₂)*,repeat.(1,#)^o)^o)^o)^o.zip₂)^o)^o)^o . (repeat.(²π₁,#.²π₂)^o,²π₂)^o . (id,iota.#.id)^o . id . id . id

after applying RightAssoc2

priffle . ((<)*.zip₂.((²π₂)*.zip₂,repeat.(1.zip₂,#.zip₂)^o)^o,repeat.(1000.0.zip₂,#.mask.(id.zip₂,(<)*.zip₂.((²π₂)*.zip₂,repeat.(1.zip₂,#.zip₂)^o)^o)^o)^o,(!)*.zip₂.(mask.((²π₁)*.zip₂,(~.<)*.zip₂.((²π₂)*.zip₂,repeat.(1.zip₂,#.zip₂)^o)^o)^o,(-)*.zip₂.(mask.((²π₂)*.zip₂,(~.<)*.zip₂.((²π₂)*,repeat.(1,#)^o)^o.zip₂)^o,repeat.(1,#.mask.(id,(~.<)*.zip₂.((²π₂)*,repeat.(1,#)^o)^o)^o)^o.zip₂)^o)^o)^o . (repeat.(²π₁,#.²π₂)^o,²π₂)^o . (id,iota.#.id)^o . id . id . id

after applying CompIntoAlltup1

priffle . ((<)*.zip₂.((²π₂)*.zip₂,repeat.(1.zip₂,#.zip₂)^o)^o,repeat.(1000.0.zip₂,#.mask.(id.zip₂,(<)*.zip₂.((²π₂)*.zip₂,repeat.(1.zip₂,#.zip₂)^o)^o)^o)^o,(!)*.zip₂.(mask.((²π₁)*.zip₂,(~.<)*.zip₂.((²π₂)*.zip₂,repeat.(1.zip₂,#.zip₂)^o)^o)^o,(-)*.zip₂.(mask.((²π₂)*.zip₂,(~.<)*.zip₂.((²π₂)*.zip₂,repeat.(1,#)^o.zip₂)^o)^o,repeat.(1,#.mask.(id,(~.<)*.zip₂.((²π₂)*,repeat.(1,#)^o)^o)^o)^o.zip₂)^o)^o)^o . (repeat.(²π₁,#.²π₂)^o,²π₂)^o . (id,iota.#.id)^o . id . id . id

after applying RightAssoc2

priffle . ((<)*.zip₂.((²π₂)*.zip₂,repeat.(1.zip₂,#.zip₂)^o)^o,repeat.(1000.0.zip₂,#.mask.(id.zip₂,(<)*.zip₂.((²π₂)*.zip₂,repeat.(1.zip₂,#.zip₂)^o)^o)^o)^o,(!)*.zip₂.(mask.((²π₁)*.zip₂,(~.<)*.zip₂.((²π₂)*.zip₂,repeat.(1.zip₂,#.zip₂)^o)^o)^o,(-)*.zip₂.(mask.((²π₂)*.zip₂,(~.<)*.zip₂.((²π₂)*.zip₂,repeat.(1,#)^o.zip₂)^o)^o,repeat.(1,#.mask.(id,(~.<)*.zip₂.((²π₂)*,repeat.(1,#)^o)^o)^o)^o.zip₂)^o)^o)^o . (repeat.(²π₁,#.²π₂)^o,²π₂)^o . (id,iota.#.id)^o . id . id . id

after applying CompIntoAlltup1

priffle . ((<)*.zip₂.((²π₂)*.zip₂,repeat.(1.zip₂,#.zip₂)^o)^o,repeat.(1000.0.zip₂,#.mask.(id.zip₂,(<)*.zip₂.((²π₂)*.zip₂,repeat.(1.zip₂,#.zip₂)^o)^o)^o)^o,(!)*.zip₂.(mask.((²π₁)*.zip₂,(~.<)*.zip₂.((²π₂)*.zip₂,repeat.(1.zip₂,#.zip₂)^o)^o)^o,(-)*.zip₂.(mask.((²π₂)*.zip₂,(~.<)*.zip₂.((²π₂)*.zip₂,repeat.(1.zip₂,#.zip₂)^o)^o)^o,repeat.(1,#.mask.(id,(~.<)*.zip₂.((²π₂)*,repeat.(1,#)^o)^o)^o)^o.zip₂)^o)^o)^o . (repeat.(²π₁,#.²π₂)^o,²π₂)^o . (id,iota.#.id)^o . id . id . id

after applying RightAssoc2

priffle . ((<)*.zip₂.((²π₂)*.zip₂,repeat.(1.zip₂,#.zip₂)^o)^o,repeat.(1000.0.zip₂,#.mask.(id.zip₂,(<)*.zip₂.((²π₂)*.zip₂,repeat.(1.zip₂,#.zip₂)^o)^o)^o)^o,(!)*.zip₂.(mask.((²π₁)*.zip₂,(~.<)*.zip₂.((²π₂)*.zip₂,repeat.(1.zip₂,#.zip₂)^o)^o)^o,(-)*.zip₂.(mask.((²π₂)*.zip₂,(~.<)*.zip₂.((²π₂)*.zip₂,repeat.(1.zip₂,#.zip₂)^o)^o)^o,repeat.(1,#.mask.(id,(~.<)*.zip₂.((²π₂)*,repeat.(1,#)^o)^o)^o)^o.zip₂)^o)^o)^o . (repeat.(²π₁,#.²π₂)^o,²π₂)^o . (id,iota.#.id)^o . id . id . id

after applying CompIntoAlltup1

priffle . ((<)*.zip₂.((²π₂)*.zip₂,repeat.(1.zip₂,#.zip₂)^o)^o,repeat.(1000.0.zip₂,#.mask.(id.zip₂,(<)*.zip₂.((²π₂)*.zip₂,repeat.(1.zip₂,#.zip₂)^o)^o)^o)^o,(!)*.zip₂.(mask.((²π₁)*.zip₂,(~.<)*.zip₂.((²π₂)*.zip₂,repeat.(1.zip₂,#.zip₂)^o)^o)^o,(-)*.zip₂.(mask.((²π₂)*.zip₂,(~.<)*.zip₂.((²π₂)*.zip₂,repeat.(1.zip₂,#.zip₂)^o)^o)^o,repeat.(1.zip₂,#.mask.(id,(~.<)*.zip₂.((²π₂)*,repeat.(1,#)^o)^o)^o.zip₂)^o)^o)^o)^o . (repeat.(²π₁,#.²π₂)^o,²π₂)^o . (id,iota.#.id)^o . id . id . id

after applying RightAssoc2

priffle . ((<)*.zip₂.((²π₂)*.zip₂,repeat.(1.zip₂,#.zip₂)^o)^o,repeat.(1000.0.zip₂,#.mask.(id.zip₂,(<)*.zip₂.((²π₂)*.zip₂,repeat.(1.zip₂,#.zip₂)^o)^o)^o)^o,(!)*.zip₂.(mask.((²π₁)*.zip₂,(~.<)*.zip₂.((²π₂)*.zip₂,repeat.(1.zip₂,#.zip₂)^o)^o)^o,(-)*.zip₂.(mask.((²π₂)*.zip₂,(~.<)*.zip₂.((²π₂)*.zip₂,repeat.(1.zip₂,#.zip₂)^o)^o)^o,repeat.(1.zip₂,#.mask.(id,(~.<)*.zip₂.((²π₂)*,repeat.(1,#)^o)^o)^o.zip₂)^o)^o)^o)^o . (repeat.(²π₁,#.²π₂)^o,²π₂)^o . (id,iota.#.id)^o . id . id . id

after applying CompIntoAlltup1

priffle . ((<)*.zip₂.((²π₂)*.zip₂,repeat.(1.zip₂,#.zip₂)^o)^o,repeat.(1000.0.zip₂,#.mask.(id.zip₂,(<)*.zip₂.((²π₂)*.zip₂,repeat.(1.zip₂,#.zip₂)^o)^o)^o)^o,(!)*.zip₂.(mask.((²π₁)*.zip₂,(~.<)*.zip₂.((²π₂)*.zip₂,repeat.(1.zip₂,#.zip₂)^o)^o)^o,(-)*.zip₂.(mask.((²π₂)*.zip₂,(~.<)*.zip₂.((²π₂)*.zip₂,repeat.(1.zip₂,#.zip₂)^o)^o)^o,repeat.(1.zip₂,#.mask.(id.zip₂,(~.<)*.zip₂.((²π₂)*,repeat.(1,#)^o)^o.zip₂)^o)^o)^o)^o)^o . (repeat.(²π₁,#.²π₂)^o,²π₂)^o . (id,iota.#.id)^o . id . id . id

after applying RightAssoc2

priffle . ((<)*.zip₂.((²π₂)*.zip₂,repeat.(1.zip₂,#.zip₂)^o)^o,repeat.(1000.0.zip₂,#.mask.(id.zip₂,(<)*.zip₂.((²π₂)*.zip₂,repeat.(1.zip₂,#.zip₂)^o)^o)^o)^o,(!)*.zip₂.(mask.((²π₁)*.zip₂,(~.<)*.zip₂.((²π₂)*.zip₂,repeat.(1.zip₂,#.zip₂)^o)^o)^o,(-)*.zip₂.(mask.((²π₂)*.zip₂,(~.<)*.zip₂.((²π₂)*.zip₂,repeat.(1.zip₂,#.zip₂)^o)^o)^o,repeat.(1.zip₂,#.mask.(id.zip₂,(~.<)*.zip₂.((²π₂)*,repeat.(1,#)^o)^o.zip₂)^o)^o)^o)^o)^o . (repeat.(²π₁,#.²π₂)^o,²π₂)^o . (id,iota.#.id)^o . id . id . id

after applying CompIntoAlltup1

priffle . ((<)*.zip₂.((²π₂)*.zip₂,repeat.(1.zip₂,#.zip₂)^o)^o,repeat.(1000.0.zip₂,#.mask.(id.zip₂,(<)*.zip₂.((²π₂)*.zip₂,repeat.(1.zip₂,#.zip₂)^o)^o)^o)^o,(!)*.zip₂.(mask.((²π₁)*.zip₂,(~.<)*.zip₂.((²π₂)*.zip₂,repeat.(1.zip₂,#.zip₂)^o)^o)^o,(-)*.zip₂.(mask.((²π₂)*.zip₂,(~.<)*.zip₂.((²π₂)*.zip₂,repeat.(1.zip₂,#.zip₂)^o)^o)^o,repeat.(1.zip₂,#.mask.(id.zip₂,(~.<)*.zip₂.((²π₂)*.zip₂,repeat.(1,#)^o.zip₂)^o)^o)^o)^o)^o)^o . (repeat.(²π₁,#.²π₂)^o,²π₂)^o . (id,iota.#.id)^o . id . id . id

after applying RightAssoc2

priffle . ((<)*.zip₂.((²π₂)*.zip₂,repeat.(1.zip₂,#.zip₂)^o)^o,repeat.(1000.0.zip₂,#.mask.(id.zip₂,(<)*.zip₂.((²π₂)*.zip₂,repeat.(1.zip₂,#.zip₂)^o)^o)^o)^o,(!)*.zip₂.(mask.((²π₁)*.zip₂,(~.<)*.zip₂.((²π₂)*.zip₂,repeat.(1.zip₂,#.zip₂)^o)^o)^o,(-)*.zip₂.(mask.((²π₂)*.zip₂,(~.<)*.zip₂.((²π₂)*.zip₂,repeat.(1.zip₂,#.zip₂)^o)^o)^o,repeat.(1.zip₂,#.mask.(id.zip₂,(~.<)*.zip₂.((²π₂)*.zip₂,repeat.(1,#)^o.zip₂)^o)^o)^o)^o)^o)^o . (repeat.(²π₁,#.²π₂)^o,²π₂)^o . (id,iota.#.id)^o . id . id . id

after applying CompIntoAlltup1

priffle . ((<)*.zip₂.((²π₂)*.zip₂,repeat.(1.zip₂,#.zip₂)^o)^o,repeat.(1000.0.zip₂,#.mask.(id.zip₂,(<)*.zip₂.((²π₂)*.zip₂,repeat.(1.zip₂,#.zip₂)^o)^o)^o)^o,(!)*.zip₂.(mask.((²π₁)*.zip₂,(~.<)*.zip₂.((²π₂)*.zip₂,repeat.(1.zip₂,#.zip₂)^o)^o)^o,(-)*.zip₂.(mask.((²π₂)*.zip₂,(~.<)*.zip₂.((²π₂)*.zip₂,repeat.(1.zip₂,#.zip₂)^o)^o)^o,repeat.(1.zip₂,#.mask.(id.zip₂,(~.<)*.zip₂.((²π₂)*.zip₂,repeat.(1.zip₂,#.zip₂)^o)^o)^o)^o)^o)^o)^o . (repeat.(²π₁,#.²π₂)^o,²π₂)^o . (id,iota.#.id)^o . id . id . id

after applying RightAssoc2

priffle . ((<)*.zip₂.((²π₂)*.zip₂,repeat.(1.zip₂,#.zip₂)^o)^o,repeat.(1000.0.zip₂,#.mask.(id.zip₂,(<)*.zip₂.((²π₂)*.zip₂,repeat.(1.zip₂,#.zip₂)^o)^o)^o)^o,(!)*.zip₂.(mask.((²π₁)*.zip₂,(~.<)*.zip₂.((²π₂)*.zip₂,repeat.(1.zip₂,#.zip₂)^o)^o)^o,(-)*.zip₂.(mask.((²π₂)*.zip₂,(~.<)*.zip₂.((²π₂)*.zip₂,repeat.(1.zip₂,#.zip₂)^o)^o)^o,repeat.(1.zip₂,#.mask.(id.zip₂,(~.<)*.zip₂.((²π₂)*.zip₂,repeat.(1.zip₂,#.zip₂)^o)^o)^o)^o)^o)^o)^o . (repeat.(²π₁,#.²π₂)^o,²π₂)^o . (id,iota.#.id)^o . id . id . id

after applying CompIntoAlltup1

priffle . ((<)*.zip₂.((²π₂)*.zip₂,repeat.(1.zip₂,#.zip₂)^o)^o.(repeat.(²π₁,#.²π₂)^o,²π₂)^o,repeat.(1000.0.zip₂,#.mask.(id.zip₂,(<)*.zip₂.((²π₂)*.zip₂,repeat.(1.zip₂,#.zip₂)^o)^o)^o)^o.(repeat.(²π₁,#.²π₂)^o,²π₂)^o,(!)*.zip₂.(mask.((²π₁)*.zip₂,(~.<)*.zip₂.((²π₂)*.zip₂,repeat.(1.zip₂,#.zip₂)^o)^o)^o,(-)*.zip₂.(mask.((²π₂)*.zip₂,(~.<)*.zip₂.((²π₂)*.zip₂,repeat.(1.zip₂,#.zip₂)^o)^o)^o,repeat.(1.zip₂,#.mask.(id.zip₂,(~.<)*.zip₂.((²π₂)*.zip₂,repeat.(1.zip₂,#.zip₂)^o)^o)^o)^o)^o)^o.(repeat.(²π₁,#.²π₂)^o,²π₂)^o)^o . (id,iota.#.id)^o . id . id . id

after applying RightAssoc2

priffle . ((<)*.zip₂.((²π₂)*.zip₂,repeat.(1.zip₂,#.zip₂)^o)^o.(repeat.(²π₁,#.²π₂)^o,²π₂)^o,repeat.(1000.0.zip₂,#.mask.(id.zip₂,(<)*.zip₂.((²π₂)*.zip₂,repeat.(1.zip₂,#.zip₂)^o)^o)^o)^o.(repeat.(²π₁,#.²π₂)^o,²π₂)^o,(!)*.zip₂.(mask.((²π₁)*.zip₂,(~.<)*.zip₂.((²π₂)*.zip₂,repeat.(1.zip₂,#.zip₂)^o)^o)^o,(-)*.zip₂.(mask.((²π₂)*.zip₂,(~.<)*.zip₂.((²π₂)*.zip₂,repeat.(1.zip₂,#.zip₂)^o)^o)^o,repeat.(1.zip₂,#.mask.(id.zip₂,(~.<)*.zip₂.((²π₂)*.zip₂,repeat.(1.zip₂,#.zip₂)^o)^o)^o)^o)^o)^o.(repeat.(²π₁,#.²π₂)^o,²π₂)^o)^o . (id,iota.#.id)^o . id . id . id

after applying CompIntoAlltup1

priffle . ((<)*.zip₂.((²π₂)*.zip₂.(repeat.(²π₁,#.²π₂)^o,²π₂)^o,repeat.(1.zip₂,#.zip₂)^o.(repeat.(²π₁,#.²π₂)^o,²π₂)^o)^o,repeat.(1000.0.zip₂,#.mask.(id.zip₂,(<)*.zip₂.((²π₂)*.zip₂,repeat.(1.zip₂,#.zip₂)^o)^o)^o)^o.(repeat.(²π₁,#.²π₂)^o,²π₂)^o,(!)*.zip₂.(mask.((²π₁)*.zip₂,(~.<)*.zip₂.((²π₂)*.zip₂,repeat.(1.zip₂,#.zip₂)^o)^o)^o,(-)*.zip₂.(mask.((²π₂)*.zip₂,(~.<)*.zip₂.((²π₂)*.zip₂,repeat.(1.zip₂,#.zip₂)^o)^o)^o,repeat.(1.zip₂,#.mask.(id.zip₂,(~.<)*.zip₂.((²π₂)*.zip₂,repeat.(1.zip₂,#.zip₂)^o)^o)^o)^o)^o)^o.(repeat.(²π₁,#.²π₂)^o,²π₂)^o)^o . (id,iota.#.id)^o . id . id . id

after applying RightAssoc2

priffle . ((<)*.zip₂.((²π₂)*.zip₂.(repeat.(²π₁,#.²π₂)^o,²π₂)^o,repeat.(1.zip₂,#.zip₂)^o.(repeat.(²π₁,#.²π₂)^o,²π₂)^o)^o,repeat.(1000.0.zip₂,#.mask.(id.zip₂,(<)*.zip₂.((²π₂)*.zip₂,repeat.(1.zip₂,#.zip₂)^o)^o)^o)^o.(repeat.(²π₁,#.²π₂)^o,²π₂)^o,(!)*.zip₂.(mask.((²π₁)*.zip₂,(~.<)*.zip₂.((²π₂)*.zip₂,repeat.(1.zip₂,#.zip₂)^o)^o)^o,(-)*.zip₂.(mask.((²π₂)*.zip₂,(~.<)*.zip₂.((²π₂)*.zip₂,repeat.(1.zip₂,#.zip₂)^o)^o)^o,repeat.(1.zip₂,#.mask.(id.zip₂,(~.<)*.zip₂.((²π₂)*.zip₂,repeat.(1.zip₂,#.zip₂)^o)^o)^o)^o)^o)^o.(repeat.(²π₁,#.²π₂)^o,²π₂)^o)^o . (id,iota.#.id)^o . id . id . id

after applying CompIntoAlltup1

priffle . ((<)*.zip₂.((²π₂)*.zip₂.(repeat.(²π₁,#.²π₂)^o,²π₂)^o,repeat.(1.zip₂.(repeat.(²π₁,#.²π₂)^o,²π₂)^o,#.zip₂.(repeat.(²π₁,#.²π₂)^o,²π₂)^o)^o)^o,repeat.(1000.0.zip₂,#.mask.(id.zip₂,(<)*.zip₂.((²π₂)*.zip₂,repeat.(1.zip₂,#.zip₂)^o)^o)^o)^o.(repeat.(²π₁,#.²π₂)^o,²π₂)^o,(!)*.zip₂.(mask.((²π₁)*.zip₂,(~.<)*.zip₂.((²π₂)*.zip₂,repeat.(1.zip₂,#.zip₂)^o)^o)^o,(-)*.zip₂.(mask.((²π₂)*.zip₂,(~.<)*.zip₂.((²π₂)*.zip₂,repeat.(1.zip₂,#.zip₂)^o)^o)^o,repeat.(1.zip₂,#.mask.(id.zip₂,(~.<)*.zip₂.((²π₂)*.zip₂,repeat.(1.zip₂,#.zip₂)^o)^o)^o)^o)^o)^o.(repeat.(²π₁,#.²π₂)^o,²π₂)^o)^o . (id,iota.#.id)^o . id . id . id

after applying RightAssoc2

priffle . ((<)*.zip₂.((²π₂)*.zip₂.(repeat.(²π₁,#.²π₂)^o,²π₂)^o,repeat.(1.zip₂.(repeat.(²π₁,#.²π₂)^o,²π₂)^o,#.zip₂.(repeat.(²π₁,#.²π₂)^o,²π₂)^o)^o)^o,repeat.(1000.0.zip₂,#.mask.(id.zip₂,(<)*.zip₂.((²π₂)*.zip₂,repeat.(1.zip₂,#.zip₂)^o)^o)^o)^o.(repeat.(²π₁,#.²π₂)^o,²π₂)^o,(!)*.zip₂.(mask.((²π₁)*.zip₂,(~.<)*.zip₂.((²π₂)*.zip₂,repeat.(1.zip₂,#.zip₂)^o)^o)^o,(-)*.zip₂.(mask.((²π₂)*.zip₂,(~.<)*.zip₂.((²π₂)*.zip₂,repeat.(1.zip₂,#.zip₂)^o)^o)^o,repeat.(1.zip₂,#.mask.(id.zip₂,(~.<)*.zip₂.((²π₂)*.zip₂,repeat.(1.zip₂,#.zip₂)^o)^o)^o)^o)^o)^o.(repeat.(²π₁,#.²π₂)^o,²π₂)^o)^o . (id,iota.#.id)^o . id . id . id

after applying CompIntoAlltup1

priffle . ((<)*.zip₂.((²π₂)*.zip₂.(repeat.(²π₁,#.²π₂)^o,²π₂)^o,repeat.(1.zip₂.(repeat.(²π₁,#.²π₂)^o,²π₂)^o,#.zip₂.(repeat.(²π₁,#.²π₂)^o,²π₂)^o)^o)^o,repeat.(1000.0.zip₂.(repeat.(²π₁,#.²π₂)^o,²π₂)^o,#.mask.(id.zip₂,(<)*.zip₂.((²π₂)*.zip₂,repeat.(1.zip₂,#.zip₂)^o)^o)^o.(repeat.(²π₁,#.²π₂)^o,²π₂)^o)^o,(!)*.zip₂.(mask.((²π₁)*.zip₂,(~.<)*.zip₂.((²π₂)*.zip₂,repeat.(1.zip₂,#.zip₂)^o)^o)^o,(-)*.zip₂.(mask.((²π₂)*.zip₂,(~.<)*.zip₂.((²π₂)*.zip₂,repeat.(1.zip₂,#.zip₂)^o)^o)^o,repeat.(1.zip₂,#.mask.(id.zip₂,(~.<)*.zip₂.((²π₂)*.zip₂,repeat.(1.zip₂,#.zip₂)^o)^o)^o)^o)^o)^o.(repeat.(²π₁,#.²π₂)^o,²π₂)^o)^o . (id,iota.#.id)^o . id . id . id

after applying RightAssoc2

priffle . ((<)*.zip₂.((²π₂)*.zip₂.(repeat.(²π₁,#.²π₂)^o,²π₂)^o,repeat.(1.zip₂.(repeat.(²π₁,#.²π₂)^o,²π₂)^o,#.zip₂.(repeat.(²π₁,#.²π₂)^o,²π₂)^o)^o)^o,repeat.(1000.0.zip₂.(repeat.(²π₁,#.²π₂)^o,²π₂)^o,#.mask.(id.zip₂,(<)*.zip₂.((²π₂)*.zip₂,repeat.(1.zip₂,#.zip₂)^o)^o)^o.(repeat.(²π₁,#.²π₂)^o,²π₂)^o)^o,(!)*.zip₂.(mask.((²π₁)*.zip₂,(~.<)*.zip₂.((²π₂)*.zip₂,repeat.(1.zip₂,#.zip₂)^o)^o)^o,(-)*.zip₂.(mask.((²π₂)*.zip₂,(~.<)*.zip₂.((²π₂)*.zip₂,repeat.(1.zip₂,#.zip₂)^o)^o)^o,repeat.(1.zip₂,#.mask.(id.zip₂,(~.<)*.zip₂.((²π₂)*.zip₂,repeat.(1.zip₂,#.zip₂)^o)^o)^o)^o)^o)^o.(repeat.(²π₁,#.²π₂)^o,²π₂)^o)^o . (id,iota.#.id)^o . id . id . id

after applying CompIntoAlltup1

priffle . ((<)*.zip₂.((²π₂)*.zip₂.(repeat.(²π₁,#.²π₂)^o,²π₂)^o,repeat.(1.zip₂.(repeat.(²π₁,#.²π₂)^o,²π₂)^o,#.zip₂.(repeat.(²π₁,#.²π₂)^o,²π₂)^o)^o)^o,repeat.(1000.0.zip₂.(repeat.(²π₁,#.²π₂)^o,²π₂)^o,#.mask.(id.zip₂.(repeat.(²π₁,#.²π₂)^o,²π₂)^o,(<)*.zip₂.((²π₂)*.zip₂,repeat.(1.zip₂,#.zip₂)^o)^o.(repeat.(²π₁,#.²π₂)^o,²π₂)^o)^o)^o,(!)*.zip₂.(mask.((²π₁)*.zip₂,(~.<)*.zip₂.((²π₂)*.zip₂,repeat.(1.zip₂,#.zip₂)^o)^o)^o,(-)*.zip₂.(mask.((²π₂)*.zip₂,(~.<)*.zip₂.((²π₂)*.zip₂,repeat.(1.zip₂,#.zip₂)^o)^o)^o,repeat.(1.zip₂,#.mask.(id.zip₂,(~.<)*.zip₂.((²π₂)*.zip₂,repeat.(1.zip₂,#.zip₂)^o)^o)^o)^o)^o)^o.(repeat.(²π₁,#.²π₂)^o,²π₂)^o)^o . (id,iota.#.id)^o . id . id . id

after applying RightAssoc2

priffle . ((<)*.zip₂.((²π₂)*.zip₂.(repeat.(²π₁,#.²π₂)^o,²π₂)^o,repeat.(1.zip₂.(repeat.(²π₁,#.²π₂)^o,²π₂)^o,#.zip₂.(repeat.(²π₁,#.²π₂)^o,²π₂)^o)^o)^o,repeat.(1000.0.zip₂.(repeat.(²π₁,#.²π₂)^o,²π₂)^o,#.mask.(id.zip₂.(repeat.(²π₁,#.²π₂)^o,²π₂)^o,(<)*.zip₂.((²π₂)*.zip₂,repeat.(1.zip₂,#.zip₂)^o)^o.(repeat.(²π₁,#.²π₂)^o,²π₂)^o)^o)^o,(!)*.zip₂.(mask.((²π₁)*.zip₂,(~.<)*.zip₂.((²π₂)*.zip₂,repeat.(1.zip₂,#.zip₂)^o)^o)^o,(-)*.zip₂.(mask.((²π₂)*.zip₂,(~.<)*.zip₂.((²π₂)*.zip₂,repeat.(1.zip₂,#.zip₂)^o)^o)^o,repeat.(1.zip₂,#.mask.(id.zip₂,(~.<)*.zip₂.((²π₂)*.zip₂,repeat.(1.zip₂,#.zip₂)^o)^o)^o)^o)^o)^o.(repeat.(²π₁,#.²π₂)^o,²π₂)^o)^o . (id,iota.#.id)^o . id . id . id

after applying CompIntoAlltup1

priffle . ((<)*.zip₂.((²π₂)*.zip₂.(repeat.(²π₁,#.²π₂)^o,²π₂)^o,repeat.(1.zip₂.(repeat.(²π₁,#.²π₂)^o,²π₂)^o,#.zip₂.(repeat.(²π₁,#.²π₂)^o,²π₂)^o)^o)^o,repeat.(1000.0.zip₂.(repeat.(²π₁,#.²π₂)^o,²π₂)^o,#.mask.(id.zip₂.(repeat.(²π₁,#.²π₂)^o,²π₂)^o,(<)*.zip₂.((²π₂)*.zip₂.(repeat.(²π₁,#.²π₂)^o,²π₂)^o,repeat.(1.zip₂,#.zip₂)^o.(repeat.(²π₁,#.²π₂)^o,²π₂)^o)^o)^o)^o,(!)*.zip₂.(mask.((²π₁)*.zip₂,(~.<)*.zip₂.((²π₂)*.zip₂,repeat.(1.zip₂,#.zip₂)^o)^o)^o,(-)*.zip₂.(mask.((²π₂)*.zip₂,(~.<)*.zip₂.((²π₂)*.zip₂,repeat.(1.zip₂,#.zip₂)^o)^o)^o,repeat.(1.zip₂,#.mask.(id.zip₂,(~.<)*.zip₂.((²π₂)*.zip₂,repeat.(1.zip₂,#.zip₂)^o)^o)^o)^o)^o)^o.(repeat.(²π₁,#.²π₂)^o,²π₂)^o)^o . (id,iota.#.id)^o . id . id . id

after applying RightAssoc2

priffle . ((<)*.zip₂.((²π₂)*.zip₂.(repeat.(²π₁,#.²π₂)^o,²π₂)^o,repeat.(1.zip₂.(repeat.(²π₁,#.²π₂)^o,²π₂)^o,#.zip₂.(repeat.(²π₁,#.²π₂)^o,²π₂)^o)^o)^o,repeat.(1000.0.zip₂.(repeat.(²π₁,#.²π₂)^o,²π₂)^o,#.mask.(id.zip₂.(repeat.(²π₁,#.²π₂)^o,²π₂)^o,(<)*.zip₂.((²π₂)*.zip₂.(repeat.(²π₁,#.²π₂)^o,²π₂)^o,repeat.(1.zip₂,#.zip₂)^o.(repeat.(²π₁,#.²π₂)^o,²π₂)^o)^o)^o)^o,(!)*.zip₂.(mask.((²π₁)*.zip₂,(~.<)*.zip₂.((²π₂)*.zip₂,repeat.(1.zip₂,#.zip₂)^o)^o)^o,(-)*.zip₂.(mask.((²π₂)*.zip₂,(~.<)*.zip₂.((²π₂)*.zip₂,repeat.(1.zip₂,#.zip₂)^o)^o)^o,repeat.(1.zip₂,#.mask.(id.zip₂,(~.<)*.zip₂.((²π₂)*.zip₂,repeat.(1.zip₂,#.zip₂)^o)^o)^o)^o)^o)^o.(repeat.(²π₁,#.²π₂)^o,²π₂)^o)^o . (id,iota.#.id)^o . id . id . id

after applying CompIntoAlltup1

priffle . ((<)*.zip₂.((²π₂)*.zip₂.(repeat.(²π₁,#.²π₂)^o,²π₂)^o,repeat.(1.zip₂.(repeat.(²π₁,#.²π₂)^o,²π₂)^o,#.zip₂.(repeat.(²π₁,#.²π₂)^o,²π₂)^o)^o)^o,repeat.(1000.0.zip₂.(repeat.(²π₁,#.²π₂)^o,²π₂)^o,#.mask.(id.zip₂.(repeat.(²π₁,#.²π₂)^o,²π₂)^o,(<)*.zip₂.((²π₂)*.zip₂.(repeat.(²π₁,#.²π₂)^o,²π₂)^o,repeat.(1.zip₂.(repeat.(²π₁,#.²π₂)^o,²π₂)^o,#.zip₂.(repeat.(²π₁,#.²π₂)^o,²π₂)^o)^o)^o)^o)^o,(!)*.zip₂.(mask.((²π₁)*.zip₂,(~.<)*.zip₂.((²π₂)*.zip₂,repeat.(1.zip₂,#.zip₂)^o)^o)^o,(-)*.zip₂.(mask.((²π₂)*.zip₂,(~.<)*.zip₂.((²π₂)*.zip₂,repeat.(1.zip₂,#.zip₂)^o)^o)^o,repeat.(1.zip₂,#.mask.(id.zip₂,(~.<)*.zip₂.((²π₂)*.zip₂,repeat.(1.zip₂,#.zip₂)^o)^o)^o)^o)^o)^o.(repeat.(²π₁,#.²π₂)^o,²π₂)^o)^o . (id,iota.#.id)^o . id . id . id