#include<bits/stdc++.h> #include<bits/extc++.h> using namespace __gnu_cxx; using namespace std; #define int long long int n,m; void slv1(int x,int y){ printf("T%d %lld %lld\n",2,1+x,1+y); printf("T%d %lld %lld\n",2,1+x,4+y); printf("I%d %lld %lld\n",1,1+x,7+y); printf("I%d %lld %lld\n",1,2+x,1+y); printf("O%d %lld %lld\n",0,2+x,3+y); printf("Z%d %lld %lld\n",1,2+x,6+y); printf("J%d %lld %lld\n",0,3+x,2+y); printf("S%d %lld %lld\n",1,4+x,6+y); printf("O%d %lld %lld\n",0,5+x,2+y); printf("J%d %lld %lld\n",1,5+x,4+y); printf("L%d %lld %lld\n",1,6+x,1+y); printf("Z%d %lld %lld\n",0,7+x,2+y); printf("L%d %lld %lld\n",1,6+x,5+y); printf("S%d %lld %lld\n",1,6+x,6+y); return ; } void slv2(int x,int y){ printf("I%d %lld %lld\n",0,1+x,1+y); printf("S%d %lld %lld\n",0,1+x,4+y); printf("S%d %lld %lld\n",0,1+x,6+y); printf("T%d %lld %lld\n",1,2+x,1+y); printf("Z%d %lld %lld\n",0,2+x,2+y); printf("J%d %lld %lld\n",0,3+x,5+y); printf("L%d %lld %lld\n",0,2+x,6+y); printf("O%d %lld %lld\n",0,4+x,2+y); printf("J%d %lld %lld\n",3,4+x,3+y); printf("O%d %lld %lld\n",0,5+x,5+y); printf("Z%d %lld %lld\n",1,4+x,7+y); printf("T%d %lld %lld\n",1,5+x,1+y); printf("I%d %lld %lld\n",0,7+x,2+y); printf("L%d %lld %lld\n",0,6+x,6+y); return ; } signed main(){ cin>>n>>m; if(n%8==0&&m%7==0){ cout<<"Yes\n"; for(int i=0;i*8<n;i++){ for(int j=0;j*7<m;j++){ slv1(i*8,j*7); } } return 0; } if(m%8==0&&n%7==0){ cout<<"Yes\n"; for(int i=0;i*7<n;i++){ for(int j=0;j*8<m;j++){ slv2(i*7,j*8); } } return 0; } cout<<"No"; return 0; }