Counting contiguous superregular $4 \times 4$ matrices | ArxivCSExplorer