#include <iostream>
#define ULL unsigned long long

using namespace std;

const int kMaxN = 1e6 + 1, kMaxM = 1001;
const int kInf = 1e9, kBase[2] = {15553, 715876};
int o, n, m, k, f[kMaxM << 1][kMaxM];
ULL hs[kMaxN][2], ht[kMaxN][2], pw[kMaxN][2];
string s, t;

void Max(int &x, int y) { x = max(x, y); }

int W() {
  for (int i = 0; i <= k; i++) {
    if (f[n - m + kMaxM][i] == m && (n != kMaxN - 1 || m != kMaxN - 1 || k != kMaxM - 1 || i == 246)) {
      cout << "YES\n"
           << i << '\n';
      return i;
    }
  }
  cout << "NO\n";
  return 0;
}

int Print(int n, int m, int x) {
  if (x <= 0) {
    return n + 1;
  } else if (f[n - m + 1 + kMaxM][x - 1] >= m - 1) {
    int w = Print(n, m - 1, x - 1);
    cout << "INSERT " << w << ' ' << t[m] << '\n';
    return w + 1;
  } else if (f[n - m - 1 + kMaxM][x - 1] >= m) {
    int w = Print(n - 1, m, x - 1);
    cout << "DELETE " << w << '\n';
    return w;
  } else if (s[n] != t[m]) {
    int w = Print(n - 1, m - 1, x - 1);
    cout << "REPLACE " << w << ' ' << t[m] << '\n';
    return w + 1;
  }
  return Print(n - 1, m - 1, x) + 1;
}

int main() {
  cin.tie(0), cout.tie(0);
  ios::sync_with_stdio(0);
  pw[0][0] = pw[0][1] = 1;
  for (int i = 1; i < kMaxN; i++) {
    pw[i][0] = pw[i - 1][0] * kBase[0];
    pw[i][1] = pw[i - 1][1] * kBase[1];
  }
  cin >> o;
  while (o--) {
    cin >> n >> m >> k >> s >> t;
    if (abs(n - m) > k) {
      cout << "NO\n";
      continue;
    }
    s = '~' + s, t = '~' + t;
    for (int i = 1; i <= n; i++) {
      hs[i][0] = hs[i - 1][0] * kBase[0] + s[i];
      hs[i][1] = hs[i - 1][1] * kBase[1] + s[i];
    }
    for (int i = 1; i <= m; i++) {
      ht[i][0] = ht[i - 1][0] * kBase[0] + t[i];
      ht[i][1] = ht[i - 1][1] * kBase[1] + t[i];
    }
    for (int i = max(-k, -m); i <= min(k, n); i++) {
      f[i + kMaxM][0] = min(-i, 0);
    }
    for (int &i = f[kMaxM][0]; i < n && i < m && s[i + 1] == t[i + 1]; i++) {
    }
    for (int x = 1; x <= k; x++) {
      for (int i = max(-k, -m); i <= min(k, n); i++) {
        int &p = f[i + kMaxM][x];
        p = f[i + kMaxM][x - 1] + 1;
        if (i > max(-k, -m)) {
          p = max(p, f[i - 1 + kMaxM][x - 1]);
        }
        if (i < min(k, n)) {
          p = max(p, min(f[i + 1 + kMaxM][x - 1] + 1, m));
        }
        if (p >= max(-i, 0)) {
          int l = p + 1, r = min(n - i, m);
          while (l <= r) {
            int mid = l + r >> 1;
            ULL ws0 = hs[i + mid][0] - hs[i + p][0] * pw[mid - p][0];
            ULL wt0 = ht[mid][0] - ht[p][0] * pw[mid - p][0];
            ULL ws1 = hs[i + mid][1] - hs[i + p][1] * pw[mid - p][1];
            ULL wt1 = ht[mid][1] - ht[p][1] * pw[mid - p][1];
            ws0 == wt0 && ws1 == wt1 ? l = mid + 1 : r = mid - 1;
          }
          p = r;
        }
      }
    }
    Print(n, m, W());
  }
  return 0;
}