session white_and_black_balls = NTP4Verif +
theories
  "white_and_black_balls_WhiteAndBlackBalls_last_is_blackqtvc"
