r2/diff/s12476.gv seed=12476
r4/diff/s31247.gv seed=31247
r4/diff/s35776.gv seed=35776