有點 CO 太久了
快兩小時才 AC
中間 BUG 很多，難處理
//
// GGGGGGGGGGGGG CCCCCCCCCCCCC AAA
// GGG::::::::::::G CCC::::::::::::C A:::A
// GG:::::::::::::::G CC:::::::::::::::C A:::::A
// G:::::GGGGGGGG::::G C:::::CCCCCCCC::::C A:::::::A
// G:::::G GGGGGG C:::::C CCCCCC A:::::::::A
//G:::::G C:::::C A:::::A:::::A
//G:::::G C:::::C A:::::A A:::::A
//G:::::G GGGGGGGGGGC:::::C A:::::A A:::::A
//G:::::G G::::::::GC:::::C A:::::A A:::::A
//G:::::G GGGGG::::GC:::::C A:::::AAAAAAAAA:::::A
//G:::::G G::::GC:::::C A:::::::::::::::::::::A
// G:::::G G::::G C:::::C CCCCCC A:::::AAAAAAAAAAAAA:::::A
// G:::::GGGGGGGG::::G C:::::CCCCCCCC::::C A:::::A A:::::A
// GG:::::::::::::::G CC:::::::::::::::C A:::::A A:::::A
// GGG::::::GGG:::G CCC::::::::::::C A:::::A A:::::A
// GGGGGG GGGG CCCCCCCCCCCCCAAAAAAA AAAAAAA
#include <iostream>
#include <cstdio>
#include <cstring>
#include <algorithm>
#include <cmath>
#include <climits>
#include <vector>
#include <set>
#include <map>
#include <queue>
#include <cctype>
#include <utility>
#include <ctime>
using namespace std;
#ifdef DEBUG
#define VAR(a,b) decltype(b) a=(b)
#define debug(...) printf("DEBUG: "),printf(\_\_VA\_ARGS\_\_)
#define gettime() end\_time=clock();printf("now running time is %.7f\\n",(float)(end\_time - start\_time)/CLOCKS\_PER\_SEC);
#else
#define VAR(a,b) \_\_typeof(b) a=(b)
#define debug(...)
#define gettime()
#endif
typedef unsigned int uint;
typedef long long int Int;
typedef unsigned long long int UInt;
#define Set(a,s) memset(a,s,sizeof(a))
#define Write(w) freopen(w,"w",stdout)
#define Read(r) freopen(r,"r",stdin)
#define Pln() printf("\\n")
#define I\_de(x,n)for(int i=0;i<n;i++)printf("%d ",x\[i\]);Pln()
#define De(x)printf(#x"%d\\n",x)
#define For(i,x)for(int i=0;i<x;i++)
#define CON(x,y) x##y
#define Pmz(dp,nx,ny)for(int hty=0;hty<ny;hty++){for(int htx=0;htx<nx;htx++){\\
printf("%d ",dp\[htx\]\[hty\]);}Pln();}
#define M 50
#define PII pair<int,int\>
#define PB push\_back
#define oo INT\_MAX
#define Set\_oo 0x3f
#define FOR(a,b) for(VAR(a,(b).begin());a!=(b).end();++a)
#define eps 1e-6
clock\_t start\_time=clock(), end\_time;
bool xdy(double x,double y){return x>y+eps;}
bool xddy(double x,double y){return x>y-eps;}
bool xcy(double x,double y){return x<y-eps;}
bool xcdy(double x,double y){return x<y+eps;}
int min3(int x,int y,int z){
int tmp=min(x,y);
return min(tmp,z);
}
int max3(int x,int y,int z){
int tmp=max(x,y);
return max(tmp,z);
}
int n;
int x\[15\],y\[15\];
int stack\[M\]\[M\];
int top\[M\];
int ans\[M\];
int fans\[M\];
int fanslen;
bool bfind;
char op\[5\]\[10\]={
"ADD","DIV","DUP","MUL","SUB"
};
void dfs(int now){
int pra\[15\],prb\[15\];
if(now>=11)return;
// for(int i=0;i<n;i++){
// for(int j=0;j<top\[i\];j++){
// printf("%d ",stack\[i\]\[j\]);
// }Pln();
// }Pln();
bool ok=true;
for(int i=0;i<n;i++){
if(abs(stack\[i\]\[top\[i\]-1\])>30000){
return;
}
if((stack\[i\]\[0\]!=y\[i\])||top\[i\]>1){
ok=false;
break;
}
}
if(ok){
bfind=true;
if(now<fanslen){
fanslen=now;
for(int i=0;i<now;i++){
fans\[i\]=ans\[i\];
}
}
return;
}
if(top\[0\]>=2){
for(int i=0;i<n;i++){
pra\[i\]=stack\[i\]\[--top\[i\]\];
prb\[i\]=stack\[i\]\[--top\[i\]\];
stack\[i\]\[top\[i\]++\]=pra\[i\]+prb\[i\];
}
ans\[now\]=0;
dfs(now+1);
for(int i=0;i<n;i++){
stack\[i\]\[top\[i\]-1\]=prb\[i\];
stack\[i\]\[top\[i\]++\]=pra\[i\];
}
}
if(top\[0\]>=2){
bool can=true;
for(int i=0;i<n;i++){
if(stack\[i\]\[top\[i\]-1\]==0){
can=false;
break;
}
}
if(can){
for(int i=0;i<n;i++){
pra\[i\]=stack\[i\]\[--top\[i\]\];
prb\[i\]=stack\[i\]\[--top\[i\]\];
stack\[i\]\[top\[i\]++\]=prb\[i\]/pra\[i\];
}
ans\[now\]=1;
dfs(now+1);
for(int i=0;i<n;i++){
stack\[i\]\[top\[i\]-1\]=prb\[i\];
stack\[i\]\[top\[i\]++\]=pra\[i\];
}
}
}
for(int i=0;i<n;i++){
stack\[i\]\[top\[i\]\]=stack\[i\]\[top\[i\]-1\];
top\[i\]++;
}
ans\[now\]=2;
dfs(now+1);
for(int i=0;i<n;i++){
--top\[i\];
}
if(top\[0\]>=2){
for(int i=0;i<n;i++){
pra\[i\]=stack\[i\]\[--top\[i\]\];
prb\[i\]=stack\[i\]\[--top\[i\]\];
stack\[i\]\[top\[i\]++\]=pra\[i\]\*prb\[i\];
}
ans\[now\]=3;
dfs(now+1);
for(int i=0;i<n;i++){
stack\[i\]\[top\[i\]-1\]=prb\[i\];
stack\[i\]\[top\[i\]++\]=pra\[i\];
}
}
if(top\[0\]>=2){
for(int i=0;i<n;i++){
pra\[i\]=stack\[i\]\[--top\[i\]\];
prb\[i\]=stack\[i\]\[--top\[i\]\];
stack\[i\]\[top\[i\]++\]=prb\[i\]-pra\[i\];
}
ans\[now\]=4;
dfs(now+1);
for(int i=0;i<n;i++){
stack\[i\]\[top\[i\]-1\]=prb\[i\];
stack\[i\]\[top\[i\]++\]=pra\[i\];
}
}
}
void solve(){
bfind=false;
fanslen=oo;
dfs(0);
if(!bfind){
puts("Impossible");
}else{
if(fanslen==0)puts("Empty sequence");
else{
for(int i=0;i<fanslen-1;i++)printf("%s ",op\[fans\[i\]\]);
printf("%s\\n",op\[fans\[fanslen-1\]\]);
}
}
Pln();
}
int main() {
ios\_base::sync\_with\_stdio(0);
int ff=0;
while(~scanf("%d",&n)&&n){
Set(top,0);
for(int i=0;i<n;i++){
scanf("%d",&x\[i\]);
stack\[i\]\[top\[i\]++\]=x\[i\];
}
for(int i=0;i<n;i++)scanf("%d",&y\[i\]);
printf("Program %d\\n",++ff);
solve();
}
}