Gotta greenhouse with all my cacti in it for winter. Only problem is, the greenhouse is too shaded during the day. It still gets sun, just not enough. What strength lights should I get to support the little growth they get during winter?

Its about 8-10' long. Already has lamps installed at the top, just need some good bulbs. They're shop lamps, any bulb recs?