I know very little about double bass strings, but I'll try to answer any questions. I bought these a couple years ago, but never got around to installing them. Sorry the cell phone pictures are a bit blurry. These are in (what I think is) original packaging, which was yellowed and falling apart when I got them.
I'd sell the set for $135 shipped in the U.S. If you're outside of the U.S., I can figure out the additional cost, which shouldn't be much.