[tbquoqza] Factorizations of large random numbers

Here is a collection of 5641742 factored random numbers between 128 and 256 bits.  Also included is the source code of the random sampling script.

The motivation was to empirically determine the expected sizes of factors.  (Though there exist theorems about this, too: Knuth TAOCP.) Then tune factorization algorithms, such as the cutoff between ECM and QS.

This was a large computation taking months, using Pari/gp.