Probabilistic-Prime-Explorer Dataset: Massive Computational Logs and Aggregated Metrics | Synapse