Loading the R1 benchmark…