These randoms are identical to the standard “randoms-seed-iteration files” but have been split up by HEALPixel.