#include <stdio.h>
#include <string.h>
/*
This is a horrid self-replicating C program written by Bisqwit
(C) nineteenninetytwo-twothousandthree Bisqwit (http://bisqwit.iki.fi/)

Main features: The source code does not contain any
digits, character constants or string constants.
And it is not very obfuscated either. ;)
*/
enum{Z,C,T,K,VV,V,
lb=V*(C<<K),s=V*K*(C<<T),rb=(C<<V)+K*K,p=(C<<V)+((C<<K)+K),u=(C<<V)+K*(C<<T),
c=(C<<K*T)+K, t=K*((C<<(C<<T))+K*(C<<T)), v=(C<<K*T)+((C<<(C<<T))+K*T),
h=K*((C<<K)+K), k=V*V*K, m=K*((C<<K)+K*T),lm=h-K,LM=K,LP=T,LS=C };
static void _(int n,int E) { int z,i;
#define U putchar
#define SE(l) if(E>l||(E==l&&l==LS))U
#define L(l,c) Sa(l);c;Sb(l);
#define Sa(l) SE(l)(lb)
#define Sb(l) SE(l)(rb)
#define Ta(a,b) if(n==a){U(b);return;}
#define Tc(a,b) if(z==a-C&&n>a){L(LP,L(LM,U(b);U(m);_(n/a+C,LM))U(V*(V*T-C));_(C,LP));return;}
#define Tb(a,b) z=n%a; if(!z){L(LM,U(b);U(m);_(n/a,LM))return;} Tc(a,b)
Ta(C,c)Ta(V,v)Ta(K,k)Ta(T,t) Tb(V,v)Tb(K,k)
	for(i=lm;i>C;--i)
	{
z=C<<i; if(n>=z){if(n>z)L(LP,
L(LS,_(n/z,LS);U(s);U(s);_(i, LS))
if(n-=z){U(p);_(n,LP)) }
return;}
	} if(!n)U(h);U(c);
}
/* Data */
static const int Code[]={V*((C<<T)+K),V*K*((C<<T)+K),V*((C<<(C<<T))+K*T),V*V*(C<<T)-C,K*K*K*(C<<T),K*(V*(K*K-C)-C),V*V*(C<<T),K*(V*((C<<T)+K)-C)-C,K*(K*(C<<T)-C)-C,V*K*(C<<T),V*(K*(K*K-C)-C),K*(V*(K*K-C)-C)-C,V*V*(C<<T),V*K*((C<<T)+K),K*((C<<V)+V),(C<<V)+V*K-C,V*K*((C<<T)+K)-C,K*K*((C<<T)+K)-C,V*T,V*((C<<T)+K),V*K*((C<<T)+K),V*((C<<(C<<T))+K*T),V*V*(C<<T)-C,K*K*K*(C<<T),K*(V*(K*K-C)-C),V*V*(C<<T),K*(V*((C<<T)+K)-C)-C,K*(K*(C<<T)-C)-C,V*K*(C<<T),V*(K*(K*K-C)-C),K*(V*(K*K-C)-C)-C,V*(K*(K*K-C)-C)-C,V*K*((C<<T)+K),V*((C<<(C<<T))+K*T),(C<<K*T)+V*(K*K-C)-C,(C<<V)+V*K-C,V*K*((C<<T)+K)-C,K*K*((C<<T)+K)-C,V*T,K*(C<<(C<<T))-C,K*(V*K-C),V*T,V*(K*K*T-C)-C,V*K*((C<<T)+K)-C,V*K*((C<<T)+K),V*(K*(K*K-C)-C),K*(K*(C<<T)-C)-C,V*K*((C<<T)+K),V*(K*(K*K-C)-C),K*(K*(C<<T)-C)-C,(C<<K*T)+K*(K*(C<<T)-C),K*(K*(C<<T)-C)-C,V*K*((C<<T)+K)-C,K*((C<<V)+V),V*(K*(K*K-C)-C)-C,V*(K*(K*K-C)-C)-C,V*K*((C<<T)+K),V*V*(C<<T),K*(K*(C<<T)-C)-C,V*(K*(K*K-C)-C),K*(V*((C<<T)+K)-C)-C,K*K*K*(C<<T),K*(V*((C<<T)+K)-C),V*(V*T-C),V*(K*(K*K-C)-C)-C,K*(V*((C<<T)+K)-C)-C,(C<<K*T)+K*(C<<(C<<T)),K*K*K*(C<<T),V*K*((C<<T)+K),V*V*(C<<T)-C,(C<<K*T)+K*(K*(C<<T)-C),K*(V*(K*K-C)-C)-C,V*K*((C<<T)+K),V*((C<<(C<<T))+K*T),(C<<K*T)+V*(K*K-C)-C,K*(K*(C<<T)-C)-C,(C<<K*T)+K,K*(K*(C<<T)-C)-C,(C<<K*T)+K*(C<<(C<<T)),V*(K*(K*K-C)-C)-C,K*((C<<V)+V),(C<<K*T)+V*(K*K-C)-C,V*(K*(K*K-C)-C)-C,(C<<K*T)+K*(K*(C<<T)-C),V*((C<<(C<<T))+K*T)-C,K*(K*(C<<T)-C)-C,V*(V*V-C)-C,V*(K*(K*K-C)-C)-C,V*K*((C<<T)+K),K*(V*(K*K-C)-C)-C,K*(V*(K*K-C)-C)-C,K*(V*((C<<T)+K)-C)-C,V*((C<<(C<<T))+K*T),K*(K*(C<<T)-C)-C,K*K*(K*(C<<T)-C)-C,(C<<K*T)+K*(V*(C<<T)-C),K*(K*(C<<T)-C)-C,K*((C<<(C<<T))+K*T),V*K*((C<<T)+K),V*(K*(K*K-C)-C),K*(K*((C<<K)+V)-C)-C,V*(V*V-C)-C,V*K*((C<<T)+K),K*(V*(K*K-C)-C)-C,V*T,V*(K*K-C),(C<<K*T)+K,K*(V*K-C)-C,K*(K*(C<<T)-C)-C,V*((C<<(C<<T))+K*T),V*K*((C<<T)+K),V*((C<<(C<<T))+K*T),K*(V*((C<<T)+K)-C)-C,K*(V*(K*K-C)-C)-C,K*(V*((C<<T)+K)-C)-C,K*(V*((C<<T)+K)-C)-C,V*((C<<(C<<T))+K*T),V*((C<<(C<<T))+K*T),V*K*((C<<T)+K),V*((C<<(C<<T))+K*T),K*(V*((C<<T)+K)-C)-C,K*(V*(K*K-C)-C)-C,(C<<K*T)+K*(V*(C<<T)-C),K*(V*(K*K-C)-C)-C,V*(V*V-C)-C,K*((C<<V)+V),V*(V*T-C),K*(V*(K*K-C)-C)-C,V*(V*V-C)-C,K*((C<<V)+V),K*(V*(K*K-C)-C)-C,V*K*((C<<T)+K)-C,K*((C<<V)+V),K*(V*(K*K-C)-C),V*(K*(K*K-C)-C),(C<<K*T)+K*(K*(C<<T)-C),V*((C<<(C<<T))+K*T),V*V*(C<<T),K*(V*(K*K-C)-C)-C,V*K*((C<<T)+K)-C,V*(K*(K*K-C)-C)-C,K*(V*((C<<T)+K)-C)-C,K*(V*((C<<T)+K)-C)-C,K*(K*(C<<T)-C)-C,K*((C<<(C<<T))+K*T),V*K*((C<<T)+K),V*(K*(K*K-C)-C),K*(K*((C<<K)+V)-C)-C,V*(V*V-C)-C,V*K*((C<<T)+K),K*(V*(K*K-C)-C)-C,K*(K*(C<<T)-C)-C,V*(K*K-C),V*K*((C<<T)+K)-C,K*(V*(K*K-C)-C)-C,K*(V*(K*K-C)-C)-C,(C<<K*T)+K*(C<<(C<<T)),(C<<V)+K*(V*T-C)-C,K*(C<<(C<<T))-C,K*(C<<(C<<T))-C,K*K*(K*(C<<T)-C)-C,V*K*((C<<T)+K),V*(K*(K*K-C)-C),K*(K*((C<<K)+V)-C)-C,V*(V*V-C)-C,V*K*((C<<T)+K),K*(V*(K*K-C)-C)-C,(C<<V)+V*K-C,V*K*((C<<T)+K),K*K*K*(C<<T)-C,V*K*((C<<T)+K),(C<<V)+V*K-C,K*(V*((C<<T)+K)-C),V*K*((C<<T)+K),K*(C<<(C<<T))-C,K*(V*K-C)-C,V*T,V*T,K*(K*(V*T-C)-C)-C,(C<<K*T)+K*(K*(C<<T)-C),V*K*((C<<T)+K),V*((C<<(C<<T))+K*T),K*(K*(C<<T)-C)-C,K*(V*((C<<T)+K)-C),K*(V*((C<<T)+K)-C)-C,(C<<K*T)+K*(K*(C<<T)-C),K*(V*(K*K-C)-C)-C,K*(V*(K*K-C)-C),V*(K*(K*K-C)-C)-C,K*(V*((C<<T)+K)-C)-C,V*(K*(K*K-C)-C),(C<<V)+K*(V*T-C)-C,K*(K*(C<<T)-C)-C,V*(K*K*T-C)-C,V*K*((C<<T)+K)-C,K*(V*((C<<T)+K)-C)-C,K*(K*(C<<T)-C)-C,V*(K*(K*K-C)-C),K*((C<<V)+V),K*(V*(K*K-C)-C),V*(K*(K*K-C)-C)-C,V*V*(C<<T)-C,K*(V*((C<<T)+K)-C)-C,K*(K*(C<<T)-C)-C,V*V*(C<<T)-C,K*((C<<V)+V),V*V*(C<<T),K*(V*((C<<T)+K)-C)-C,K*(K*(C<<T)-C)-C,V*V*(C<<T),K*((C<<V)+V),K*(V*((C<<T)+K)-C)-C,V*(K*(K*K-C)-C),K*(K*(C<<T)-C)-C,V*((C<<(C<<T))+K*T),K*((C<<V)+V),K*(V*(K*K-C)-C)-C,K*(K*(C<<T)-C)-C,V*V*(C<<T)-C,K*((C<<V)+V),V*((C<<(C<<T))+K*T),K*(V*(K*K-C)-C)-C,(C<<K*T)+K*(K*(C<<T)-C),V*K*((C<<T)+K),V*((C<<(C<<T))+K*T),K*(K*(C<<T)-C)-C,(C<<K*T)+K*(K*(C<<T)-C),V*((C<<(C<<T))+K*T),(C<<K*T)+K*(V*(C<<T)-C),V*T,V*V*(C<<T),V*K*((C<<T)+K),(C<<K*T)+V*(K*K-C)-C,V*K*((C<<T)+K),K*(V*(K*K-C)-C)-C,V*(K*(K*K-C)-C),V*(V*T-C)-C,K*(K*(C<<T)-C)-C,V*V*(C<<T)-C,V*K*((C<<T)+K)-C,(C<<K*T)+K*(K*(C<<T)-C),V*(K*(K*K-C)-C)-C,(C<<K*T)+K*(K*(C<<T)-C),V*V*(C<<T)-C,K*(V*(K*K-C)-C)-C,K*(V*((C<<T)+K)-C)-C,V*(K*(K*K-C)-C)-C,K*(K*(C<<T)-C)-C,V*V*(C<<T)-C,K*((C<<V)+V),V*((C<<(C<<T))+K*T),V*(K*(K*K-C)-C),K*(V*(K*K-C)-C)-C,(C<<K*T)+K*(K*(C<<T)-C),V*((C<<(C<<T))+K*T),K*(V*(K*K-C)-C)-C,V*(K*(K*K-C)-C),K*(K*(C<<T)-C)-C,K*((C<<V)+V),V*(K*(K*K-C)-C)-C,K*(K*(C<<T)-C)-C,V*(K*(K*K-C)-C),K*(V*(K*K-C)-C)-C,V*(K*(K*K-C)-C)-C,V*K*((C<<T)+K),V*((C<<(C<<T))+K*T),(C<<K*T)+V*(K*K-C)-C,K*(K*(C<<T)-C)-C,V*V*(C<<T)-C,K*((C<<V)+V),V*((C<<(C<<T))+K*T),V*(K*(K*K-C)-C),K*(V*(K*K-C)-C)-C,(C<<K*T)+K*(K*(C<<T)-C),V*((C<<(C<<T))+K*T),K*(V*(K*K-C)-C)-C,V*(K*(K*K-C)-C),(C<<V)+V*K-C,V*T,V*((C<<K)+V),V*((C<<(C<<T))+K*T),V*V*(C<<T),K*(K*(C<<T)-C)-C,V*K*((C<<T)+K),K*(V*(K*K-C)-C)-C,K*(K*(C<<T)-C)-C,V*K*((C<<T)+K),V*(K*(K*K-C)-C),K*(K*(C<<T)-C)-C,V*((C<<(C<<T))+K*T),K*((C<<V)+V),K*(V*(K*K-C)-C)-C,K*(K*(C<<T)-C)-C,(C<<K*T)+V*(K*(C<<T)-C)-C,K*(V*((C<<T)+K)-C)-C,V*(K*(K*K-C)-C)-C,(C<<K*T)+K*(V*(C<<T)-C),K*(K*(C<<T)-C)-C,K*((C<<V)+V),K*K*(K*(C<<T)-C)-C,K*(V*((C<<T)+K)-C),K*(V*(K*K-C)-C),V*(K*(K*K-C)-C),V*V*(C<<T)-C,(C<<K*T)+K*(K*(C<<T)-C),K*(V*(K*K-C)-C)-C,K*(V*((C<<T)+K)-C)-C,V*V*(C<<T),K*(K*(C<<T)-C)-C,K*(V*((C<<T)+K)-C)-C,V*K*((C<<T)+K),K*(V*(K*K-C)-C)-C,V*K*((C<<T)+K)-C,K*(V*((C<<T)+K)-C)-C,V*(K*(K*K-C)-C)-C,(C<<V)+V*K-C,K*(K*(C<<T)-C)-C,V*K*(C<<T)-C,K*(V*K-C)-C,V*T,K*(V*K-C),K*(C<<(C<<T))-C,V*T,K*(V*((C<<T)+K)-C)-C,V*((C<<(C<<T))+K*T),K*(V*(K*K-C)-C),V*((C<<(C<<T))+K*T)-C,K*(K*(V*K-C)-C),V*K*K*T,V*(V*T-C)-C,(C<<K*T)+K,V*(V*T-C)-C,V*(K*K*T-C)-C,V*(V*T-C)-C,V*V*K,V*(V*T-C)-C,K*(V*K*T-C)-C,K*(V*K*T-C)-C,V*(V*T-C)-C,K*(V*K*T-C)-C,V*(V*T-C)-C,V*T,K*K*K*(C<<T),K*K*(K*(C<<T)-C)-C,(C<<V)+V*K*T-C,K*(V*K*T-C)-C,K*(V*K-C),V*(K*K-C),(C<<K*T)+K,V*K*(C<<T),V*K*(C<<T),V*V*K,K*(V*K-C)-C,V*(V*T-C)-C,V*(K*(K*K-C)-C),(C<<V)+V*K*T-C,K*(V*K*T-C)-C,K*(V*K-C),V*V*K,K*(V*K-C),V*(K*K-C),(C<<K*T)+K,V*K*(C<<T),V*K*(C<<T),V*(K*K*T-C)-C,K*(V*K-C)-C,V*(V*T-C)-C,V*(K*(K*K-C)-C)-C,K*K*(K*(C<<T)-C)-C,(C<<V)+V*K*T-C,V*(K*K-C),(C<<K*T)+K,V*K*(C<<T),V*K*(C<<T),K*(V*K*T-C)-C,K*(V*K-C)-C,(C<<V)+K*(C<<T)-C,V*V*K,K*(V*K-C),V*V*K,V*(V*T-C)-C,(C<<K*T)+K*(C<<(C<<T)),(C<<V)+V*K*T-C,V*(K*K-C),(C<<K*T)+K,V*K*(C<<T),V*K*(C<<T),K*(V*K*T-C)-C,K*(V*K-C)-C,(C<<V)+K*(C<<T)-C,V*(K*K-C),V*(K*K-C),(C<<K*T)+K,V*K*(C<<T),V*K*(C<<T),V*V*K,K*(V*K-C)-C,(C<<V)+K*(C<<T)-C,V*V*K,K*(V*K-C)-C,V*(V*T-C)-C,K*(V*(K*K-C)-C),(C<<V)+V*K*T-C,V*(K*K-C),(C<<K*T)+K,V*K*(C<<T),V*K*(C<<T),K*(V*K*T-C)-C,K*(V*K-C)-C,(C<<V)+K*(C<<T)-C,V*V*K,K*(V*K-C),V*(K*K-C),(C<<K*T)+K,V*K*(C<<T),V*K*(C<<T),V*(K*K*T-C)-C,K*(V*K-C)-C,V*(V*T-C)-C,V*T,V*V*(C<<T)-C,(C<<V)+V*K*T-C,V*(K*K-C),(C<<K*T)+K,V*K*(C<<T),V*K*(C<<T),V*V*K,K*(V*K-C),V*(K*K*T-C)-C,K*(V*K-C)-C,(C<<V)+K*(C<<T)-C,V*V*K,V*(V*T-C)-C,K*(K*(C<<T)-C)-C,K*(V*(K*K-C)-C)-C,(C<<V)+V*K*T-C,V*V*K,K*(V*K-C),V*(K*K-C),V*(K*K-C),(C<<K*T)+K,V*K*(C<<T),V*K*(C<<T),V*(K*K-C),(C<<K*T)+K,V*K*(C<<T),V*K*(C<<T),V*(K*K*T-C)-C,K*(V*K-C)-C,K*(V*K-C)-C,(C<<V)+K*(C<<T)-C,V*V*K,K*(V*K-C),V*(K*K-C),(C<<K*T)+K,V*K*(C<<T),V*K*(C<<T),V*(K*K*T-C)-C,K*(V*K-C)-C,K*(V*K-C)-C,V*(V*T-C)-C,K*(K*(C<<T)-C)-C,(C<<K*T)+V*(K*(C<<T)-C)-C,(C<<V)+V*K*T-C,V*(K*K-C),(C<<K*T)+K,V*K*(C<<T),V*K*(C<<T),V*V*K,K*(V*K-C),V*(K*K*T-C)-C,K*(V*K-C)-C,(C<<V)+K*(C<<T)-C,V*(K*K-C),V*(K*K-C),(C<<K*T)+K,V*K*(C<<T),V*K*(C<<T),V*(K*K-C),(C<<K*T)+K,V*K*(C<<T),V*K*(C<<T),V*(K*K*T-C)-C,K*(V*K-C)-C,K*(V*K-C)-C,(C<<V)+K*(C<<T)-C,V*V*K,K*(V*K-C),V*(K*K*T-C)-C,K*(V*K-C)-C,V*(V*T-C)-C,V*T,V*K*((C<<T)+K)-C,(C<<V)+V*K*T-C,V*V*K,K*(V*K-C),V*(K*K-C),V*(K*K-C),(C<<K*T)+K,V*K*(C<<T),V*K*(C<<T),V*V*K,K*(V*K-C)-C,(C<<V)+K*(C<<T)-C,V*V*K,K*(V*K-C)-C,V*(V*T-C)-C,K*(K*(C<<T)-C)-C,K*K*K*(C<<T)-C,(C<<V)+V*K*T-C,K*(V*K*T-C)-C,K*(V*K-C),K*(V*K*T-C)-C,K*(V*K-C),V*V*K,V*(V*T-C)-C,K*(K*(C<<T)-C)-C,V*((C<<(C<<T))+K*T)-C,(C<<V)+V*K*T-C,V*V*K,K*(V*K-C),V*(K*K-C),V*(K*K-C),(C<<K*T)+K,V*K*(C<<T),V*K*(C<<T),V*V*K,K*(V*K-C)-C,(C<<V)+K*(C<<T)-C,V*V*K,K*(V*K-C),V*(K*K*T-C)-C,K*(V*K-C)-C,V*(V*T-C)-C,K*K*K*(C<<T),V*((C<<(C<<T))+K*T)-C,(C<<V)+V*K*T-C,V*K*((C<<T)+K)-C,V*(V*T-C),V*V*K,V*(V*T-C)-C,(C<<K*T)+K*(C<<T),K*(K*(V*T-C)-C)-C,(C<<V)+V*K*T-C,V*V*K,V*(V*T-C)-C,(C<<K*T)+K*(C<<T),V*(C<<(C<<T)),(C<<V)+V*K*T-C,V*(K*K*T-C)-C,V*(V*T-C)-C,(C<<K*T)+K*(C<<T),K*((C<<(C<<T))+K*(C<<T))-C,(C<<V)+V*K*T-C,(C<<K*T)+K,K*(K*(C<<T)-C)-C,V*V*V,V*K*(C<<T)-C,V*T,V*(K*(K*K-C)-C),K*(V*(K*K-C)-C)-C,(C<<K*T)+K*(K*(C<<T)-C),K*(V*(K*K-C)-C)-C,V*K*((C<<T)+K),V*V*(C<<T)-C,K*(K*(C<<T)-C)-C,(C<<K*T)+V*(K*(C<<T)-C)-C,K*((C<<V)+V),V*K*((C<<T)+K),V*V*(C<<T),K*(K*(C<<T)-C)-C,V*(V*(C<<T)-C),V*(K*K-C),V*K*((C<<T)+K),V*((C<<(C<<T))+K*T),K*(V*(K*K-C)-C)-C,K*(K*(C<<T)-C)-C,V*((C<<(C<<T))+K*T),V*(V*T-C)-C,V*K*((C<<T)+K),V*((C<<(C<<T))+K*T),K*(V*(K*K-C)-C)-C,K*(K*(C<<T)-C)-C,V*(V*K-C)-C,K*(V*K-C)-C,K*(K*(C<<T)-C)-C,K*(K*(V*K-C)-C),K*(K*(C<<T)-C)-C,V*K*((C<<T)+K),V*((C<<(C<<T))+K*T),K*(V*(K*K-C)-C)-C,K*(K*(C<<T)-C)-C,K*(K*(V*K-C)-C)-C,V*(V*T-C)-C,V*K*((C<<T)+K),V*K*(C<<T)-C,V*T,V*((C<<T)+K),V*V*(C<<T),K*(V*((C<<T)+K)-C)-C,K*(V*((C<<T)+K)-C),V*K*((C<<T)+K),V*((C<<(C<<T))+K*T),K*(V*((C<<T)+K)-C)-C,K*(K*(C<<T)-C)-C,V*(K*K*T-C),K*(K*(C<<T)-C)-C,(C<<K*T)+K*(C<<(C<<T)),K*(V*(K*K-C)-C),K*(V*(K*K-C)-C)-C,V*V*(C<<T)-C,V*K*((C<<T)+K)-C,(C<<K*T)+K*(K*(C<<T)-C),V*(K*(K*K-C)-C)-C,V*T,V*((C<<T)+K),V*V*(C<<T),K*(V*((C<<T)+K)-C)-C,K*(V*((C<<T)+K)-C),V*K*((C<<T)+K),V*((C<<(C<<T))+K*T),K*(V*((C<<T)+K)-C)-C,K*(K*(C<<T)-C)-C,K*((C<<(C<<T))+K*(C<<T))-C,V*(V*K-C)-C,V*(K*K-C),K*K*K*(C<<T),K*(V*K-C)-C,K*(K*(C<<T)-C)-C,V*K*((C<<T)+K),K*(V*((C<<T)+K)-C),V*(K*K-C),V*(V*K-C)-C,K*K*((C<<T)+K)-C,K*K*K*(C<<T),V*V*V-C,V*V*V-C,V*(K*K-C),V*(V*K-C)-C,(C<<V)+V*K*T-C,(C<<V)+V*K*T-C,K*K*K*(C<<T),K*((C<<K)+V)-C,K*((C<<K)+V)-C,K*K*K*(C<<T),(C<<V)+V*K*T-C,(C<<V)+V*K*T-C,(C<<K*T)+K*(C<<T),K*((C<<(C<<T))+K*(C<<T))-C,K*(V*K-C)-C,K*(V*K-C)-C,V*(K*K*T-C),V*T,V*((C<<T)+K),V*V*(C<<T),K*(V*((C<<T)+K)-C)-C,K*(V*((C<<T)+K)-C),V*K*((C<<T)+K),V*((C<<(C<<T))+K*T),K*(V*((C<<T)+K)-C)-C,K*(K*(C<<T)-C)-C,(C<<K*T)+K*(C<<T),V*(K*K-C),K*K*K*(C<<T),V*(V*T-C)-C,V*V*(C<<T)-C,K*(V*K-C)-C,K*(K*(C<<T)-C)-C,K*((C<<(C<<T))+K*(C<<T))-C,(C<<K*T)+K*(K*(C<<T)-C),V*(K*K-C),K*K*K*(C<<T),K*(V*K-C)-C,V*K*(C<<T)-C,V*V*(C<<T)-C,V*K*(C<<T)-C,K*((C<<(C<<T))+K*(C<<T))-C,K*K*(K*(C<<T)-C)-C,V*(K*K-C),K*K*K*(C<<T),K*(V*K-C)-C,V*K*(C<<T)-C,V*T,V*((C<<T)+K),V*V*(C<<T),K*(V*((C<<T)+K)-C)-C,K*(V*((C<<T)+K)-C),V*K*((C<<T)+K),V*((C<<(C<<T))+K*T),K*(V*((C<<T)+K)-C)-C,K*(K*(C<<T)-C)-C,K*((C<<(C<<T))+K*(C<<T))-C,(C<<K*T)+K*(K*(C<<T)-C),V*(K*K-C),K*K*K*(C<<T),K*(V*K-C)-C,K*(K*(C<<T)-C)-C,K*((C<<(C<<T))+K*(C<<T))-C,V*(V*K-C)-C,V*(K*K-C),K*K*K*(C<<T),K*(V*K-C)-C,V*(K*K-C),K*K*K*(C<<T),K*K*(K*(C<<T)-C)-C,K*(V*K-C)-C,V*T,V*((C<<T)+K),V*V*(C<<T),K*(V*((C<<T)+K)-C)-C,K*(V*((C<<T)+K)-C),V*K*((C<<T)+K),V*((C<<(C<<T))+K*T),K*(V*((C<<T)+K)-C)-C,K*(K*(C<<T)-C)-C,K*((C<<(C<<T))+K*(C<<T))-C,K*K*(K*(C<<T)-C)-C,V*(K*K-C),K*K*K*(C<<T),K*(V*K-C)-C,K*(K*(C<<T)-C)-C,K*((C<<(C<<T))+K*(C<<T))-C,V*(V*K-C)-C,V*(K*K-C),K*K*K*(C<<T),K*(V*K-C)-C,V*(K*K-C),V*(K*(K*K-C)-C)-C,K*K*(K*(C<<T)-C)-C,K*(V*K-C)-C,V*T,V*((C<<T)+K),V*V*(C<<T),K*(V*((C<<T)+K)-C)-C,K*(V*((C<<T)+K)-C),V*K*((C<<T)+K),V*((C<<(C<<T))+K*T),K*(V*((C<<T)+K)-C)-C,K*(K*(C<<T)-C)-C,V*(K*K*T-C)-C,(C<<K*T)+K*(K*(C<<T)-C),V*(K*K-C),(C<<K*T)+K*(K*(C<<T)-C),V*(V*T-C)-C,K*K*(K*(C<<T)-C)-C,K*(V*K-C)-C,K*(K*(C<<T)-C)-C,V*K*((C<<T)+K),K*(V*((C<<T)+K)-C),V*(K*K-C),V*((C<<(C<<T))+K*T),(C<<V)+V*K*T-C,(C<<V)+V*K*T-C,(C<<K*T)+K*(K*(C<<T)-C),K*(V*K-C)-C,K*(K*(V*K-C)-C),V*(K*K*T-C),V*(K*K-C),K*K*(K*(C<<T)-C)-C,K*(V*K-C)-C,V*K*(C<<T)-C,V*(K*(K*K-C)-C)-C,K*(V*((C<<T)+K)-C)-C,K*(V*(K*K-C)-C)-C,K*(V*(K*K-C)-C),V*(K*(K*K-C)-C)-C,V*((C<<(C<<T))+K*T),V*K*(C<<T)-C,V*V*V,V*T,V*((C<<T)+K),V*V*(C<<T),K*(V*((C<<T)+K)-C)-C,K*(V*((C<<T)+K)-C),V*K*((C<<T)+K),V*((C<<(C<<T))+K*T),K*(V*((C<<T)+K)-C)-C,K*(K*(C<<T)-C)-C,V*(K*K*T-C)-C,V*V*(C<<T)-C,V*(K*K-C),(C<<K*T)+K*(K*(C<<T)-C),V*(V*T-C)-C,K*K*(K*(C<<T)-C)-C,K*(V*K-C)-C,K*(K*(C<<T)-C)-C,V*K*((C<<T)+K),K*(V*((C<<T)+K)-C),V*(K*K-C),K*(K*(V*K-C)-C)-C,(C<<V)+V*K*T-C,(C<<V)+V*K*T-C,(C<<K*T)+K*(K*(C<<T)-C),V*(V*T-C),(C<<K*T)+K,K*((C<<K)+V)-C,K*((C<<K)+V)-C,V*((C<<(C<<T))+K*T),K*K*((C<<T)+K)-C,(C<<K*T)+K*(K*(C<<T)-C),K*(V*K-C)-C,K*(K*(V*K-C)-C),(C<<K*T)+K*(C<<T),V*(K*K-C),(C<<K*T)+K*(C<<T),V*(C<<(C<<T)),V*(V*T-C)-C,(C<<K*T)+K*(C<<T),V*(K*K-C),(C<<K*T)+K*(C<<T),K*(K*(V*T-C)-C)-C,V*(V*T-C)-C,V*(K*K*T-C),V*(K*K-C),K*K*(K*(C<<T)-C)-C,K*(V*K-C)-C,V*K*(C<<T)-C,V*(K*K*T-C),V*(K*K-C),V*((C<<(C<<T))+K*T)-C,K*(V*K-C)-C,V*K*(C<<T)-C,V*(V*(C<<T)-C),V*(K*K-C),V*((C<<(C<<T))+K*T),K*(C<<(C<<T))-C,(C<<K*T)+K*(K*(C<<T)-C),(C<<V)+K*(C<<T)-C,(C<<K*T)+K,V*(V*T-C)-C,(C<<K*T)+K*(C<<T),K*(K*(V*T-C)-C)-C,K*(V*K-C)-C,K*(V*K-C)-C,V*(K*K*T-C),V*(K*K-C),K*(V*K*T-C)-C,K*(V*K-C),V*(K*K-C),K*(V*K*T-C)-C,K*(V*K-C),V*(K*K*T-C)-C,V*(V*T-C),(C<<K*T)+K,K*(V*K-C)-C,K*(V*K-C)-C,V*K*(C<<T)-C,V*(V*(C<<T)-C),V*(K*K-C),(C<<K*T)+K,V*(V*T-C)-C,(C<<K*T)+K*(C<<T),V*(C<<(C<<T)),K*(V*K-C)-C,K*(V*K-C)-C,V*K*(C<<T)-C,V*(K*(K*K-C)-C)-C,K*(V*((C<<T)+K)-C)-C,K*(V*(K*K-C)-C)-C,K*(V*(K*K-C)-C),V*(K*(K*K-C)-C)-C,V*((C<<(C<<T))+K*T),V*K*(C<<T)-C,V*V*V,V*T,V*((C<<T)+K),V*V*(C<<T),K*(V*((C<<T)+K)-C)-C,K*(V*((C<<T)+K)-C),V*K*((C<<T)+K),V*((C<<(C<<T))+K*T),K*(V*((C<<T)+K)-C)-C,K*(K*(C<<T)-C)-C,V*(K*K*T-C)-C,K*K*(K*(C<<T)-C)-C,V*(K*K-C),(C<<K*T)+K*(K*(C<<T)-C),V*(V*T-C)-C,K*K*(K*(C<<T)-C)-C,K*(V*K-C)-C,K*(K*(C<<T)-C)-C,K*(K*(V*K-C)-C)-C,(C<<V)+V*K*T-C,V*((C<<(C<<T))+K*T),(C<<V)+V,(C<<K*T)+K*(K*(C<<T)-C),V*K*(C<<T)-C,K*(K*(C<<T)-C)-C,V*K*((C<<T)+K),K*(V*((C<<T)+K)-C),V*(K*K-C),K*(K*(C<<T)-C),K*(K*(V*K-C)-C)-C,K*(V*K-C)-C,K*(K*(V*K-C)-C),(C<<K*T)+K*(C<<T),V*(K*K-C),(C<<K*T)+K*(C<<T),K*(K*(V*T-C)-C)-C,V*(V*T-C)-C,V*(K*K*T-C),V*(K*K-C),K*K*(K*(C<<T)-C)-C,K*(V*K-C)-C,V*K*(C<<T)-C,V*(K*K*T-C),V*(K*K-C),V*((C<<(C<<T))+K*T)-C,K*(V*K-C)-C,V*K*(C<<T)-C,V*(V*(C<<T)-C),V*(K*K-C),V*((C<<(C<<T))+K*T),K*(C<<(C<<T))-C,(C<<K*T)+K*(K*(C<<T)-C),V*(V*T-C)-C,(C<<K*T)+K*(C<<T),K*(K*(V*T-C)-C)-C,K*(V*K-C)-C,K*(V*K-C)-C,V*(K*(K*K-C)-C)-C,K*(V*((C<<T)+K)-C)-C,K*(V*(K*K-C)-C)-C,K*(V*(K*K-C)-C),V*(K*(K*K-C)-C)-C,V*((C<<(C<<T))+K*T),V*K*(C<<T)-C,V*V*V,K*(K*(C<<T)-C)-C,V*(K*K*T-C)-C,V*V*(C<<T)-C,V*(K*K-C),(C<<K*T)+K*(K*(C<<T)-C),V*(V*T-C)-C,K*K*(K*(C<<T)-C)-C,K*(V*K-C)-C,V*T,V*(K*K*T-C)-C,(C<<K*T)+K*(K*(C<<T)-C),V*(K*K-C),(C<<K*T)+K,V*(V*T-C)-C,V*V*(C<<T)-C,K*(V*K-C)-C,V*(K*K*T-C)-C,(C<<K*T)+K*(K*(C<<T)-C),V*(K*K-C),K*(V*K*T-C)-C,V*(V*T-C)-C,(C<<K*T)+V*(K*(C<<T)-C)-C,K*(V*K-C)-C,V*(K*K*T-C)-C,(C<<K*T)+K*(K*(C<<T)-C),V*(K*K-C),V*V*K,V*(V*T-C)-C,K*K*K*(C<<T)-C,K*(V*K-C)-C,V*(K*K*T-C)-C,(C<<K*T)+K*(K*(C<<T)-C),V*(K*K-C),V*(K*K*T-C)-C,V*(V*T-C)-C,K*(V*(K*K-C)-C)-C,K*(V*K-C)-C,K*(K*(C<<T)-C)-C,V*(K*K*T-C)-C,K*K*(K*(C<<T)-C)-C,V*(K*K-C),K*(V*K*T-C)-C,V*(V*T-C)-C,(C<<K*T)+V*(K*(C<<T)-C)-C,K*(V*K-C)-C,V*(K*K*T-C)-C,K*K*(K*(C<<T)-C)-C,V*(K*K-C),V*V*K,V*(V*T-C)-C,K*K*K*(C<<T)-C,K*(V*K-C)-C,V*T,V*T-C,K*(V*((C<<T)+K)-C),K*((C<<V)+V),V*(K*(K*K-C)-C)-C,V*(K*K-C),V*K*((C<<T)+K),(C<<V)+V*K*T-C,K*K*K*(C<<T),V*((C<<(C<<T))+K*T)-C,V*K*(C<<T)-C,V*K*((C<<T)+K),K*K*((C<<T)+K)-C,(C<<K*T)+K,V*K*(C<<T)-C,V*(V*T-C),V*(V*T-C),V*K*((C<<T)+K),K*(V*K-C)-C,V*T,V*T-C,K*(K*(V*K-C)-C),V*T,K*(K*(V*K-C)-C)-C,(C<<V)+V*K*T-C,(C<<K*T)+K,V*K*(C<<T),V*K*(C<<T),V*K*((C<<T)+K),V*K*(C<<T)-C,K*(K*(C<<T)-C)-C,V*K*((C<<T)+K),K*(V*((C<<T)+K)-C),V*(K*K-C),V*((C<<(C<<T))+K*T),K*K*((C<<T)+K)-C,(C<<V)+V*K*T-C,K*(K*(V*K-C)-C)-C,K*(V*K-C)-C,K*(K*(V*K-C)-C),V*K*((C<<T)+K),K*(V*((C<<T)+K)-C),V*(K*K-C),V*((C<<(C<<T))+K*T),K*K*((C<<T)+K)-C,K*(K*(V*K-C)-C)-C,K*(V*K-C)-C,(C<<K*T)+K*(C<<T),V*(K*K-C),(C<<K*T)+K*(C<<T),V*(C<<(C<<T)),V*(V*T-C)-C,V*T,(C<<K*T)+K*(C<<T),V*(K*K-C),(C<<K*T)+K*(C<<T),K*((C<<(C<<T))+K*(C<<T))-C,V*(V*T-C)-C,V*(V*(C<<T)-C),V*(K*K-C),V*((C<<(C<<T))+K*T),K*(C<<(C<<T))-C,K*(K*(V*K-C)-C)-C,V*(V*T-C)-C,(C<<K*T)+K*(C<<T),K*((C<<(C<<T))+K*(C<<T))-C,K*(V*K-C)-C,V*K*(C<<T)-C,V*(K*K*T-C),V*(K*K-C),V*(K*(K*K-C)-C),K*(V*K-C)-C,V*K*(C<<T)-C,V*(K*K*T-C),V*(K*K-C),V*(K*(K*K-C)-C),K*(V*K-C)-C,V*K*(C<<T)-C,V*(V*(C<<T)-C),V*(K*K-C),V*K*((C<<T)+K),V*(V*T-C)-C,K*(K*(C<<T)-C)-C,(C<<K*T)+K*(C<<T),K*((C<<(C<<T))+K*(C<<T))-C,K*(V*K-C)-C,K*(V*K-C)-C,V*T,V*K*((C<<T)+K),K*(V*((C<<T)+K)-C),V*(K*K-C),V*((C<<(C<<T))+K*T),V*(V*T-C),(C<<V)+V*K*T-C,K*(K*(V*K-C)-C)-C,K*(V*K-C)-C,K*(K*(V*K-C)-C),V*(K*K*T-C),V*(K*K-C),(C<<K*T)+K*(C<<(C<<T)),K*(V*K-C)-C,V*K*(C<<T)-C,V*(V*(C<<T)-C),V*(K*K-C),V*((C<<(C<<T))+K*T),V*(V*T-C)-C,(C<<K*T)+K*(C<<T),V*(C<<(C<<T)),K*(V*K-C)-C,K*(V*K-C)-C,K*(K*(C<<T)-C)-C,V*V*V,V*T,V*(K*(K*K-C)-C)-C,K*(V*((C<<T)+K)-C)-C,K*(V*(K*K-C)-C)-C,K*(V*(K*K-C)-C),V*(K*(K*K-C)-C)-C,V*((C<<(C<<T))+K*T),V*K*(C<<T)-C,V*V*V,V*T,V*T-C,V*V*V,K*(K*(C<<T)-C)-C,V*K*((C<<T)+K),K*(V*((C<<T)+K)-C),V*(K*K-C),K*(K*(C<<T)-C),V*((C<<(C<<T))+K*T),K*(V*K-C)-C,V*(K*K*T-C),V*(K*K-C),V*K*((C<<T)+K)-C,K*(V*K-C)-C,V*K*(C<<T)-C,V*(K*K*T-C),V*(K*K-C),V*V*(C<<T)-C,K*(V*K-C)-C,V*K*(C<<T)-C,V*T,V*V*V,V*T,K*(C<<(C<<T))-C,K*(V*K-C),K*(K*(C<<T)-C)-C,K*(K*(K*K-C)-C)-C,(C<<K*T)+K*(K*(C<<T)-C),K*(V*(K*K-C)-C)-C,(C<<K*T)+K*(K*(C<<T)-C),K*(K*(C<<T)-C)-C,K*(V*K-C),K*(C<<(C<<T))-C,V*T,V*(K*(K*K-C)-C),K*(V*(K*K-C)-C)-C,(C<<K*T)+K*(K*(C<<T)-C),K*(V*(K*K-C)-C)-C,V*K*((C<<T)+K),V*V*(C<<T)-C,K*(K*(C<<T)-C)-C,V*V*(C<<T)-C,K*((C<<V)+V),V*((C<<(C<<T))+K*T),V*(K*(K*K-C)-C),K*(V*(K*K-C)-C)-C,K*(K*(C<<T)-C)-C,V*K*((C<<T)+K),V*((C<<(C<<T))+K*T),K*(V*(K*K-C)-C)-C,K*(K*(C<<T)-C)-C,(C<<K*T)+K,K*((C<<V)+V),V*V*(C<<T),K*(V*((C<<T)+K)-C)-C,(C<<K*T)+K*(V*T-C),K*((C<<(C<<T))+V*K),(C<<V)+V*K*T-C,K*(K*(V*K-C)-C),C,V*(V*T-C)-C,V*K*K*T,V*V*V,V*K*(C<<T)-C,V*T,V*K*((C<<T)+K),V*((C<<(C<<T))+K*T),K*(V*(K*K-C)-C)-C,K*(K*(C<<T)-C)-C,V*((C<<(C<<T))+K*T)-C,(C<<K*T)+K*(K*(C<<T)-C),V*K*((C<<T)+K),V*((C<<(C<<T))+K*T),V*(K*K-C),(C<<K*T)+V*(K*(C<<T)-C)-C,K*((C<<V)+V),V*K*((C<<T)+K),V*V*(C<<T),K*(V*K-C)-C,V*T,K*(K*(V*K-C)-C),V*T,V*T-C,V*K*((C<<T)+K),V*((C<<(C<<T))+K*T),K*(V*(K*K-C)-C)-C,K*(K*(C<<T)-C)-C,V*K*((C<<T)+K),V*K*(C<<T)-C,V*T,V*T-C,V*(K*(K*K-C)-C),K*(V*(K*K-C)-C)-C,(C<<K*T)+K*(K*(C<<T)-C),K*(V*(K*K-C)-C)-C,V*K*((C<<T)+K),V*V*(C<<T)-C,K*(K*(C<<T)-C)-C,V*V*(C<<T)-C,K*((C<<V)+V),V*((C<<(C<<T))+K*T),V*(K*(K*K-C)-C),K*(V*(K*K-C)-C)-C,K*(K*(C<<T)-C)-C,V*K*((C<<T)+K),V*((C<<(C<<T))+K*T),K*(V*(K*K-C)-C)-C,K*(K*(C<<T)-C)-C,(C<<K*T)+K,(C<<K*T)+K*K*T,(C<<K*T)+K*(V*T-C),K*((C<<(C<<T))+V*K),(C<<V)+V*K*T-C,K*(K*(V*K-C)-C),T,V*(V*T-C)-C,V*K*K*T,V*V*V,V*K*(C<<T)-C,V*T,V*T-C,K*(V*((C<<T)+K)-C),K*((C<<V)+V),V*(K*(K*K-C)-C)-C,V*(K*K-C),V*K*((C<<T)+K),(C<<V)+V*K*T-C,V*K*K*T,V*K*(C<<T)-C,(C<<K*T)+K,(C<<K*T)+K*K*T,(C<<K*T)+K*(V*T-C),V*K*((C<<T)+K),K*((C<<(C<<T))+V*K),V*K*(C<<T)-C,(C<<V)+K*(C<<T)-C,(C<<V)+K*(C<<T)-C,V*K*((C<<T)+K),K*(V*K-C)-C,K*(V*((C<<T)+K)-C),(C<<K*T)+K*(C<<(C<<T)),K*(V*(K*K-C)-C),K*(V*(K*K-C)-C)-C,V*V*(C<<T)-C,V*(K*K-C),(C<<K*T)+K,(C<<K*T)+K*K*T,(C<<K*T)+K*(V*T-C),V*K*((C<<T)+K),K*((C<<(C<<T))+V*K),V*(V*T-C)-C,V*(K*(K*K-C)-C),K*(V*(K*K-C)-C)-C,V*V*(C<<T),K*(V*((C<<T)+K)-C)-C,V*(K*(K*K-C)-C)-C,V*(K*(K*K-C)-C)-C,K*(V*K-C)-C,V*K*(C<<T)-C,V*T,V*T-C,K*(V*((C<<T)+K)-C),K*((C<<V)+V),V*(K*(K*K-C)-C)-C,V*(K*K-C),V*K*((C<<T)+K),(C<<V)+V*K*T-C,V*K*K*T,V*K*(C<<T)-C,K*(K*(C<<T)-C)-C,(C<<K*T)+K,K*((C<<V)+V),V*V*(C<<T),K*(V*((C<<T)+K)-C)-C,(C<<K*T)+K*(V*T-C),V*K*((C<<T)+K),K*((C<<(C<<T))+V*K),V*K*(C<<T)-C,K*(K*(C<<T)-C)-C,(C<<V)+K*(C<<T)-C,(C<<V)+K*(C<<T)-C,V*K*((C<<T)+K),K*(V*K-C)-C,V*T,V*T-C,V*T-C,V*K*((C<<T)+K),K*(V*((C<<T)+K)-C),V*(K*K-C),(C<<K*T)+K,K*((C<<V)+V),V*V*(C<<T),K*(V*((C<<T)+K)-C)-C,(C<<K*T)+K*(V*T-C),V*K*((C<<T)+K),K*((C<<(C<<T))+V*K),(C<<V)+V*K*T-C,(C<<V)+V*K*T-C,(C<<K*T)+K,K*(V*K-C)-C,V*T,V*T-C,V*T-C,K*(K*(V*K-C)-C),V*T,V*T-C,V*T-C,V*T-C,V*V*(C<<T)-C,K*((C<<V)+V),V*((C<<(C<<T))+K*T),V*(K*(K*K-C)-C),K*(V*(K*K-C)-C)-C,K*(K*(C<<T)-C)-C,V*K*((C<<T)+K),V*((C<<(C<<T))+K*T),K*(V*(K*K-C)-C)-C,K*(K*(C<<T)-C)-C,K*(V*K-C),V*(K*(K*K-C)-C),(C<<V)+V*K*T-C,(C<<K*T)+K,K*((C<<V)+V),V*V*(C<<T),K*(V*((C<<T)+K)-C)-C,V*K*(C<<T)-C,V*T,V*T-C,V*T-C,V*T-C,V*K*((C<<T)+K),V*((C<<(C<<T))+K*T),K*(V*(K*K-C)-C)-C,K*(K*(C<<T)-C)-C,V*((C<<(C<<T))+K*T),(C<<V)+V*K*T-C,V*K*K*T,V*K*(C<<T)-C,K*(V*((C<<T)+K)-C),K*((C<<V)+V),V*(K*(K*K-C)-C)-C,V*(K*K-C),V*K*(C<<T)-C,K*(V*K-C),V*(K*(K*K-C)-C),V*K*(C<<T)-C,(C<<V)+K*(C<<T)-C,(C<<V)+K*(C<<T)-C,V*((C<<(C<<T))+K*T),V*(V*T-C)-C,(C<<V)+K*(C<<T)-C,(C<<V)+K*(C<<T)-C,V*(K*(K*K-C)-C),K*(V*K-C)-C,K*(K*(V*K-C)-C),V*K*((C<<T)+K),K*(V*((C<<T)+K)-C),V*(K*K-C),V*((C<<(C<<T))+K*T),K*(V*K-C)-C,V*(K*K*T-C),V*(K*K-C),K*(V*(K*K-C)-C),K*(V*K-C)-C,V*K*(C<<T)-C,V*(V*(C<<T)-C),V*(K*K-C),K*(V*K-C),V*(K*(K*K-C)-C),V*(V*T-C)-C,(C<<K*T)+K,K*(V*K-C)-C,V*K*(C<<T)-C,V*V*V,V*T,V*T-C,V*T-C,V*V*V,V*T,V*T-C,V*T-C,K*(V*((C<<T)+K)-C)-C,K*K*K*(C<<T),V*(K*(K*K-C)-C),K*(V*((C<<T)+K)-C)-C,K*(K*(C<<T)-C)-C,V*K*((C<<T)+K),K*(V*((C<<T)+K)-C),V*(K*K-C),(C<<K*T)+K,K*((C<<V)+V),V*V*(C<<T),K*(V*((C<<T)+K)-C)-C,(C<<K*T)+K*(V*T-C),V*K*((C<<T)+K),K*((C<<(C<<T))+V*K),(C<<V)+V*K*T-C,(C<<V)+V*K*T-C,V*(K*K*T-C)-C,K*(V*K-C)-C,V*T,V*T-C,V*T-C,K*(K*(V*K-C)-C),V*T,V*T-C,V*T-C,V*T-C,V*V*(C<<T)-C,K*((C<<V)+V),V*((C<<(C<<T))+K*T),V*(K*(K*K-C)-C),K*(V*(K*K-C)-C)-C,K*(K*(C<<T)-C)-C,V*K*((C<<T)+K),V*((C<<(C<<T))+K*T),K*(V*(K*K-C)-C)-C,K*(K*(C<<T)-C)-C,K*(V*K-C),V*(K*(K*K-C)-C),(C<<V)+V*K*T-C,(C<<K*T)+K,(C<<K*T)+K*K*T,V*K*(C<<T)-C,V*T,V*T-C,V*T-C,V*T-C,V*K*((C<<T)+K),V*((C<<(C<<T))+K*T),K*(V*(K*K-C)-C)-C,K*(K*(C<<T)-C)-C,V*((C<<(C<<T))+K*T),(C<<V)+V*K*T-C,V*K*K*T,V*K*(C<<T)-C,K*(V*((C<<T)+K)-C),K*((C<<V)+V),V*(K*(K*K-C)-C)-C,V*(K*K-C),V*K*(C<<T)-C,K*(V*K-C),V*(K*(K*K-C)-C),V*K*(C<<T)-C,(C<<V)+K*(C<<T)-C,(C<<V)+K*(C<<T)-C,V*((C<<(C<<T))+K*T),V*(V*T-C)-C,(C<<V)+K*(C<<T)-C,(C<<V)+K*(C<<T)-C,V*(K*(K*K-C)-C),K*(V*K-C)-C,K*(K*(V*K-C)-C),V*K*((C<<T)+K),K*(V*((C<<T)+K)-C),V*(K*K-C),V*((C<<(C<<T))+K*T),K*(V*K-C)-C,V*(K*K*T-C),V*(K*K-C),K*(V*(K*K-C)-C),K*(V*K-C)-C,V*K*(C<<T)-C,V*(V*(C<<T)-C),V*(K*K-C),K*(V*K-C),V*(K*(K*K-C)-C),V*(V*T-C)-C,(C<<K*T)+K,K*(V*K-C)-C,V*K*(C<<T)-C,V*V*V,V*T,V*T-C,V*T-C,V*V*V,V*T,V*T-C,V*T-C,K*(V*((C<<T)+K)-C)-C,K*K*K*(C<<T),V*(K*(K*K-C)-C),K*(V*((C<<T)+K)-C)-C,K*(K*(C<<T)-C)-C,V*(K*K*T-C),V*(K*K-C),(C<<K*T)+K,K*((C<<V)+V),V*V*(C<<T),K*(V*((C<<T)+K)-C)-C,(C<<K*T)+K*(V*T-C),V*K*((C<<T)+K),K*((C<<(C<<T))+V*K),K*(V*K-C)-C,V*K*(C<<T)-C,V*T,V*T-C,V*(K*(K*K-C)-C)-C,K*(V*((C<<T)+K)-C)-C,K*(V*(K*K-C)-C)-C,K*(V*(K*K-C)-C),V*(K*(K*K-C)-C)-C,V*((C<<(C<<T))+K*T),K*(K*(C<<T)-C)-C,K*(K*(C<<T)-C),V*K*((C<<T)+K),V*K*(C<<T)-C,V*T,V*V*V,V*T,Z};
int main(void)
{
	int i;
	static const int CR[]={V*(K*K*T-C)-C,V*K*((C<<T)+K)-C,V*K*((C<<T)+K),V*(K*(K*K-C)-C),K*(K*(C<<T)-C)-C,V*K*((C<<T)+K),V*(K*(K*K-C)-C),K*(K*(C<<T)-C)-C,(C<<K*T)+K*(K*(C<<T)-C),K*(K*(C<<T)-C)-C,V*K*((C<<T)+K)-C,K*((C<<V)+V),V*(K*(K*K-C)-C)-C,V*(K*(K*K-C)-C)-C,V*K*((C<<T)+K),V*V*(C<<T),K*(K*(C<<T)-C)-C,V*(K*(K*K-C)-C),K*(V*((C<<T)+K)-C)-C,K*K*K*(C<<T),K*(V*((C<<T)+K)-C),V*(V*T-C),V*(K*(K*K-C)-C)-C,K*(V*((C<<T)+K)-C)-C,(C<<K*T)+K*(C<<(C<<T)),K*K*K*(C<<T),V*K*((C<<T)+K),V*V*(C<<T)-C,(C<<K*T)+K*(K*(C<<T)-C),K*(V*(K*K-C)-C)-C,V*K*((C<<T)+K),V*((C<<(C<<T))+K*T),(C<<K*T)+V*(K*K-C)-C,K*(K*(C<<T)-C)-C,(C<<K*T)+K,K*(K*(C<<T)-C)-C,(C<<K*T)+K*(C<<(C<<T)),V*(K*(K*K-C)-C)-C,K*((C<<V)+V),(C<<K*T)+V*(K*K-C)-C,V*(K*(K*K-C)-C)-C,(C<<K*T)+K*(K*(C<<T)-C),V*((C<<(C<<T))+K*T)-C,K*(K*(C<<T)-C)-C,V*(V*V-C)-C,V*(K*(K*K-C)-C)-C,V*K*((C<<T)+K),K*(V*(K*K-C)-C)-C,K*(V*(K*K-C)-C)-C,K*(V*((C<<T)+K)-C)-C,V*((C<<(C<<T))+K*T),K*(K*(C<<T)-C)-C,K*K*(K*(C<<T)-C)-C,(C<<K*T)+K*(V*(C<<T)-C),K*(K*(C<<T)-C)-C,K*((C<<(C<<T))+K*T),V*K*((C<<T)+K),V*(K*(K*K-C)-C),K*(K*((C<<K)+V)-C)-C,V*(V*V-C)-C,V*K*((C<<T)+K),K*(V*(K*K-C)-C)-C,V*T,(C<<K*T)+K,K*((C<<V)+V),(C<<K*T)+K*(C<<(C<<T)),(C<<K*T)+K*(V*(C<<T)-C),V*(K*(K*K-C)-C)-C,V*K*((C<<T)+K),(C<<K*T)+V*(K*K-C)-C,V*K*((C<<T)+K)-C,K*(V*(K*K-C)-C)-C,K*(K*(C<<T)-C)-C,V*(K*K-C),(C<<K*T)+K,K*(V*K-C)-C,K*(K*(C<<T)-C)-C,V*V*T-C,K*(V*(C<<T)-C),K*(V*(C<<T)-C),V*V*T,V*(V*T-C)-C,V*V*T,K*(C<<(C<<T)),K*(C<<(C<<T)),K*(K*K*T-C),K*(K*(C<<T)-C)-C,K*((C<<(C<<T))+K*T),V*K*((C<<T)+K),V*(K*(K*K-C)-C),K*(K*((C<<K)+V)-C)-C,V*(V*V-C)-C,V*K*((C<<T)+K),K*(V*(K*K-C)-C)-C,K*(K*(C<<T)-C)-C,V*(K*K-C),V*K*((C<<T)+K)-C,K*(V*(K*K-C)-C)-C,K*(V*(K*K-C)-C)-C,(C<<K*T)+K*(C<<(C<<T)),(C<<V)+K*(V*T-C)-C,K*(C<<(C<<T))-C,K*(C<<(C<<T))-C,K*K*(K*(C<<T)-C)-C,V*K*((C<<T)+K),V*(K*(K*K-C)-C),K*(K*((C<<K)+V)-C)-C,V*(V*V-C)-C,V*K*((C<<T)+K),K*(V*(K*K-C)-C)-C,(C<<V)+V*K-C,V*K*((C<<T)+K),K*K*K*(C<<T)-C,V*K*((C<<T)+K),(C<<V)+V*K-C,K*(V*((C<<T)+K)-C),V*K*((C<<T)+K),K*(C<<(C<<T))-C,K*(V*K-C)-C,V*T,V*T,K*(K*(V*T-C)-C)-C,(C<<K*T)+K*(K*(C<<T)-C),V*K*((C<<T)+K),V*((C<<(C<<T))+K*T),K*(K*(C<<T)-C)-C,K*(V*((C<<T)+K)-C),K*(V*((C<<T)+K)-C)-C,(C<<K*T)+K*(K*(C<<T)-C),K*(V*(K*K-C)-C)-C,K*(V*(K*K-C)-C),V*(K*(K*K-C)-C)-C,K*(V*((C<<T)+K)-C)-C,V*(K*(K*K-C)-C),(C<<V)+K*(V*T-C)-C,K*(K*(C<<T)-C)-C,V*(K*K*T-C)-C,V*K*((C<<T)+K)-C,K*(V*((C<<T)+K)-C)-C,K*(K*(C<<T)-C)-C,V*(K*(K*K-C)-C),K*((C<<V)+V),K*(V*(K*K-C)-C),V*(K*(K*K-C)-C)-C,V*V*(C<<T)-C,K*(V*((C<<T)+K)-C)-C,K*(K*(C<<T)-C)-C,V*V*(C<<T)-C,K*((C<<V)+V),V*V*(C<<T),K*(V*((C<<T)+K)-C)-C,K*(K*(C<<T)-C)-C,V*V*(C<<T),K*((C<<V)+V),K*(V*((C<<T)+K)-C)-C,V*(K*(K*K-C)-C),K*(K*(C<<T)-C)-C,V*((C<<(C<<T))+K*T),K*((C<<V)+V),K*(V*(K*K-C)-C)-C,K*(K*(C<<T)-C)-C,V*V*(C<<T)-C,K*((C<<V)+V),V*((C<<(C<<T))+K*T),K*(V*(K*K-C)-C)-C,(C<<K*T)+K*(K*(C<<T)-C),V*K*((C<<T)+K),V*((C<<(C<<T))+K*T),K*(K*(C<<T)-C)-C,(C<<K*T)+K*(K*(C<<T)-C),V*((C<<(C<<T))+K*T),(C<<K*T)+K*(V*(C<<T)-C),K*(K*(C<<T)-C)-C,V*((C<<(C<<T))+K*T),K*(V*(K*K-C)-C),V*((C<<(C<<T))+K*T)-C,K*K*(K*(C<<T)-C)-C,K*(V*((C<<T)+K)-C)-C,V*(K*(K*K-C)-C)-C,V*(K*(K*K-C)-C),V*(V*T-C)-C,V*T,V*V*(C<<T)-C,V*K*((C<<T)+K)-C,(C<<K*T)+K*(K*(C<<T)-C),V*(K*(K*K-C)-C)-C,(C<<K*T)+K*(K*(C<<T)-C),V*V*(C<<T)-C,K*(V*(K*K-C)-C)-C,K*(V*((C<<T)+K)-C)-C,V*(K*(K*K-C)-C)-C,K*(K*(C<<T)-C)-C,V*V*(C<<T)-C,K*((C<<V)+V),V*((C<<(C<<T))+K*T),V*(K*(K*K-C)-C),K*(V*(K*K-C)-C)-C,(C<<K*T)+K*(K*(C<<T)-C),V*((C<<(C<<T))+K*T),K*(V*(K*K-C)-C)-C,V*(K*(K*K-C)-C),K*(K*(C<<T)-C)-C,K*((C<<V)+V),V*(K*(K*K-C)-C)-C,K*(K*(C<<T)-C)-C,V*(K*(K*K-C)-C),K*(V*(K*K-C)-C)-C,V*(K*(K*K-C)-C)-C,V*K*((C<<T)+K),V*((C<<(C<<T))+K*T),(C<<K*T)+V*(K*K-C)-C,K*(K*(C<<T)-C)-C,V*V*(C<<T)-C,K*((C<<V)+V),V*((C<<(C<<T))+K*T),V*(K*(K*K-C)-C),K*(V*(K*K-C)-C)-C,(C<<K*T)+K*(K*(C<<T)-C),V*((C<<(C<<T))+K*T),K*(V*(K*K-C)-C)-C,V*(K*(K*K-C)-C),(C<<V)+V*K-C,V*T,Z};
	for(i=Z;CR[i];++i)fputc(CR[i],stderr);
	for(i=Z; Code[i]; ++i)
		if(Code[i]==C)
		{
			const int *s=Code;
			int n=Z;for(;*s;++n,++s){if(n)U(u);_(*s,C);}
		}
		else if(Code[i]==T)
		{
			const int *s=CR;
			int n=Z;for(;*s;++n,++s){if(n)U(u);_(*s,C);}
		}
		else U(Code[i]);
	return !i;
}