F←{n𝕊x:(⊑(/n⊸<)∾≠)⊸(↑{𝕨∾n∾𝕩}↓)x}
>(↕9)F¨<⟨1,3,5,7⟩