session multiplication = NTP4Verif +
theories
  "multiplication_MultiplicationSingle_multiplication_errors_basicqtvc"
  "multiplication_MultiplicationSingle_multiplication_errorsqtvc"
  "multiplication_MultiplicationDouble_multiplication_errors_basicqtvc"
  "multiplication_MultiplicationDouble_multiplication_errorsqtvc"
