The pre-encoded suites of libero: spatial, goal, object, long