session pigeonhole = NTP4Verif +
theories
  "pigeonhole_Pigeonhole_belowqtvc"
  "pigeonhole_Pigeonhole_pigeonholeqtvc"
