(30k proofs to be precise, valid and test are each 1k)