-- CreateIndex
CREATE INDEX CONCURRENTLY "Result_hasStarted_idx" ON "Result"("hasStarted");