Train/dev/test splits?

[AngledLuffa]

Thank you for providing this data.

I was wondering, do you have recommended train/dev/test splits? I see there are three different train/test splits, but the test sets are quite big, and there is no recommended dev split in those files.