F ← {0:1; 𝕩-M F𝕩-1} M ← {0:0; 𝕩-F M𝕩-1} ⍉"FM"∾>(F∾M)¨↕15