session pancake_sorting = NTP4Verif +
theories
  "pancake_sorting_Top_flipqtvc"
  "pancake_sorting_Top_pancake_sortqtvc"
