#include<bits/stdc++.h>
using namespace std;
typedef long long ll;
typedef array<ll,3> arin;
const ll boss=1LL<<60;
int n,k;
int a[10001];
bool s[10001];
int l[101];
ll d[101];
ll mn[101];
vector<arin>ans;

int f[101];
int main(){
	ios::sync_with_stdio(false);cin.tie(0);
	cin >> n >> k;
	for(int i=2; i<=n ;i++) d[i]=boss;
	for(int i=1; i<=k ;i++){
		cin >> a[i];l[a[i]]=i;
	}
	if(l[1]!=1) return cout << "YouAreFake!",0;
	for(int i=1; i<=n ;i++){
		if(l[i]==0) return cout << "YouAreFake!",0;
		s[l[i]]=true;
	}
	for(int i=1; i<k ;i++){
		int r=i+1;
		while(!s[r]) ++r;
		int l=i;i=r-1;
		//cout << l << ' ' << r << endl;
		for(int j=1; j<=n ;j++) f[j]=0;
		for(int j=l+1; j<=r ;j++) if(++f[a[j]]==2) return cout << "YouAreFake!",0;
		
		for(int j=l+1; j<r ;j++){
			int x=a[j];
			d[x]--;
			mn[x]=boss-d[x];
			arin e={a[l],x,d[x]-d[a[l]]};
			ans.push_back(e);
		}
		arin e={a[l],a[r],mn[a[l]]};
		d[a[r]]=d[a[l]]+mn[a[l]];
		ans.push_back(e);
	}
	cout << "YouAreWrite!" << '\n';
	cout << ans.size() << '\n';
	for(auto c:ans) cout << c[0] << ' ' << c[1] << ' ' << c[2] << endl;
}