Timings for ClassifyingSpace.v

Require Export ClassifyingSpace.Core.

Require Export ClassifyingSpace.Maps.