The file extracted_randomness-dataset1.bin contains the output of the extraction procedure described in the main text for dataset1 in binary format.

The extraction generated a total of 617,950 bits for dataset1. The corresponding file is truncated to full size of bytes, resulting in 617,944 bits, corresponding to 77,243 bytes.