Dryad dataset: MLRegTest: A benchmark for the machine learning of regular languages https://datadryad.org/dataset/doi:10.5061/dryad.dncjsxm4h