I thought that symbolics was still running in a limited capacity and pulling in money from government contracts. At least that was the case five or six years ag

I thought that symbolics was still running in a limited capacity and pulling in money from government contracts. At least that was the case five or six years ago. I know licenses for Genera were being sold as late as 2010 for around 5k. I would be interested to know if this IP changed hands.