Reproducibility check of the n = 10 enumeration: part 0 of 10 (ENUM_SPLIT=10,0 enum_surfaces maxdeg 10) was rerun with the final
binary built from enum_surfaces.c (after the ENUM_PRINT_CLOSED option was added); its output is byte-for-byte identical
to outputs/enum_n10_parts/part0.txt (cmp exit status 0). Parts 1-9 were produced by the same code without that
printing option, which does not affect the search.
