Statistics of Implementation of efficient proactive computing using lazy evaluation in a learning management system (extended version)