There are 6,700 active channels rn.

Assume 715k sats to activate a channel = 47.905 BSV spent.

Works out around 5.7m WSV tokens to be distributed. Probably more as some channels might have been renewed and others were once active but no longer.