- check (&seed, writer, "c039c5a0e5d20bc646f7e9c10e2d5874");
- check (&seed, writer, "d9e694cfe84544c54a869c128ba39343");
- check (&seed, writer, "fafb05a0039cb9fc604279c90a13cb87");
+ check(writer, dist, rng, "a9e772602a2fd3135d940cfd727ab8ff");
+ check(writer, dist, rng, "b075369922e42b23e1852a586ec43224");
+ check(writer, dist, rng, "402395e76152db05b03c8f24ddfd7732");