100644 blob 4e43dcec992511aea962abcec2774c5c303fa641	core.max.spef
100644 blob c5e02b4b3bbe8d55d5f4b6bc2ae289e550774daa	core.min.spef
100644 blob 075772f197a892f29553e92c112c48c35f7d0bb9	core.nom.spef