session knuth_prime_numbers = NTP4Verif +
theories
  "knuth_prime_numbers_PrimeNumbers_exists_primeqtvc"
  "knuth_prime_numbers_PrimeNumbers_prime_numbersqtvc"
  "knuth_prime_numbers_PrimeNumbers_benchqtvc"
