p←⟨0⟩‿⟨1,0⟩‿⟨1,1⟩ Part1←{𝕊bits: g←+`¨⥊↕2⥊˜≠bits ⋄ 0<≠(⟨0⟩≡¯1⊸⊑)¨⊸/(∧´∊⟜p)¨⊸/⊔⟜bits¨g } Part1 1‿1‿1‿0 Part1 1‿0‿0‿0