Computation complete. Wrote R1.json, R2.json, R3.json.