[Extracted] Minecraft Java Edition's Stars

Description

The starmap used in Minecraft Java Edition. The stars are randomly generated from a fixed hardcoded seed, 10842, meaning that every Minecraft world shares the same stars. The game makes 1500 attempts to generate a star, but filters out attempts that result in undesirable positions, resulting in 780 successfully generated stars.