#include<bits/stdc++.h>
#define fi first
#define se second
#define eb emplace_back
#define mp make_pair
using namespace std;
typedef long double ld;
typedef long long ll;
typedef unsigned long long ull;
typedef __int128 i128;
template<typename T,typename U>
T ceil(T x, U y) {return (x>0?(x+y-1)/y:x/y);}
template<typename T,typename U>
T floor(T x, U y) {return (x>0?x/y:(x-y+1)/y);}
template<class T,class S>
bool chmax(T &a,const S b) {return (a<b?a=b,1:0);}
template<class T,class S>
bool chmin(T &a,const S b) {return (a>b?a=b,1:0);}
int popcnt(int x) {return __builtin_popcount(x);}
int popcnt(ll x)  {return __builtin_popcountll(x);}
int topbit(int x) {return (x==0?-1:31-__builtin_clz(x));}
int topbit(ll x)  {return (x==0?-1:63-__builtin_clzll(x));}
int lowbit(int x) {return (x==0?-1:__builtin_ctz(x));}
int lowbit(ll x)  {return (x==0?-1:__builtin_ctzll(x));}

#define rep(i,a,b) for(int i=(a);i<=(b);i++)
#define per(i,a,b) for(int i=(a);i>=(b);i--)
typedef pair<int,int> pii; 
typedef vector<int> vi;
typedef vector<pii> vp;
typedef tuple<int,int,int> tiii;
int read() {
  int x=0,w=1; char c=getchar(); 
  while(!isdigit(c)) {if(c=='-') w=-1; c=getchar();}
  while(isdigit(c)) {x=x*10+(c-'0'); c=getchar();}
  return x*w;
}

const int N=55;
int n,k,a[N],b[N],mx;
vp ans;

struct oper {
  int op,x,t;
  void print() {
    rep(i,1,t) ans.eb(op,x);
  }
};
vector<oper> tans;

bool work(int x) {
  rep(i,1,n) b[i]=x;
  tans.clear();
  rep(i,1,n) {
    if(b[i]<a[i]) return 0;
    if(b[i]%k!=a[i]%k) {
      if(i>n-k+1) return 0;
      int tm=0;
      while(b[i]%k!=a[i]%k) tm++, b[i]--;
      tans.eb((oper){2,i,tm});
      rep(j,i+1,i+k-1) b[j]-=tm;
    }
    if(b[i]!=a[i]) tans.eb((oper){1,i,(b[i]-a[i])/k});
  }
  reverse(tans.begin(),tans.end());
  for(oper x:tans) x.print();
  printf("%d\n",(int)ans.size());
  for(auto [x,y]:ans) printf("%d %d\n",x,y);
  return 1;
}

signed main() {
  n=read(), k=read();
  rep(i,1,n) a[i]=read(), chmax(mx,a[i]);
  rep(x,mx,n*k+mx) if(work(x)) return 0;
  puts("-1");
  return 0;
}