static double ai_solveQuestionInSubSpace_defautTimeOut = 60;

static S ai_solveQuestionInSubSpace(L<T3<S>> seeds, L<T3<S>> lookingFor) {
  ret ai_solveQuestionInSubSpace(seeds, lookingFor, ai_solveQuestionInSubSpace_defautTimeOut);
}

static S ai_solveQuestionInSubSpace(final L<T3<S>> seeds, final L<T3<S>> lookingFor, double maxSeconds) {
  ret (S) eitherAOpt(evalWithTimeout(maxSeconds, func { ai_solveQuestionInSubSpace_noTimeOut(seeds, lookingFor) }));
}

static S ai_solveQuestionInSubSpace(S q) {
  Pair<L<T3<S>>> p = ai_solveQuestion_seedAndLookingFor(q);
  ret ai_solveQuestionInSubSpace(p.a, p.b);
}