session schorr_waite_via_recursion = NTP4Verif +
theories
  "schorr_waite_via_recursion_SchorrWaite_blackqtvc"
  "schorr_waite_via_recursion_Memory"
  "schorr_waite_via_recursion_GraphShape"
  "schorr_waite_via_recursion_SchorrWaite_schorr_waiteqtvc"
