"we report the accuracy of our models on the three different tasks, on a holdout test set composed of 5000 equations." I had trouble finding the test cases the

"we report the accuracy of our models on the three different tasks, on a holdout test set composed of 5000 equations." I had trouble finding the test cases they used. Where'd they list them?