The miner then picks some number of literals from the generated literals to form a clause. The chosen generators are added to the current random value, and next is called on the result.

To give an example, suppose that the current random value is 3681122926843 , and the user chose [9,13,14,21,33,35] as their initial generators. Then they could choose from among the following possibilities of literals to generate a clause: