#include <stdio.h>
#include <stdlib.h>
#include <string.h>
#include <limits.h>
#include <ctype.h>
#include <math.h>

#define INPUT "optimal.in"

int num_checks;
int inputs[10];
int outputs[10];

int stack_size;
int stack[11];

char * nom_ops[5] = { "ADD", "DIV", "DUP", "MUL", "SUB" };
#define OP_ADD 0
#define OP_DIV 1
#define OP_DUP 2
#define OP_MUL 3
#define OP_SUB 4

int num_ops;
int ops[11];

int
do_op(int op)
{
    int a;

    switch(op) {
        case OP_ADD:
            if (stack_size<2) return 0;
            a = stack[stack_size-2]+stack[stack_size-1];
            if (a>30000 || a<-30000) return 0;
            stack_size--;
            stack[stack_size-1]=a;
            break;
        case OP_DIV:
            if (stack_size<2) return 0;
            if (stack[stack_size-1]==0) {
                return 0;
            }
            a = stack[stack_size-2]/stack[stack_size-1];
            if (a>30000 || a<-30000) return 0;
            stack_size--;
            stack[stack_size-1]=a;
            break;
        case OP_DUP:
            if (stack_size<1) return 0;
            stack_size++;
            stack[stack_size-1]=stack[stack_size-2];
            break;
        case OP_MUL:
            if (stack_size<2) return 0;
            a = stack[stack_size-2]*stack[stack_size-1];
            if (a>30000 || a<-30000) return 0;
            stack_size--;
            stack[stack_size-1]=a;
            break;
        case OP_SUB:
            if (stack_size<2) return 0;
            a = stack[stack_size-2]-stack[stack_size-1];
            if (a>30000 || a<-30000) return 0;
            stack_size--;
            stack[stack_size-1]=a;
            break;
    }
    return 1;
}

int
check(void)
{
    int i,j;

    if (stack_size!=1) {
        return 0;
    }
    if (stack[0]!=outputs[0]) {
        return 0;
    }
    for(i=1; i<num_checks; i++) {
        stack_size=1;
        stack[0]=inputs[i];
        for(j=0; j<num_ops; j++) {
            if (do_op(ops[j])==0) {
                return 0;
            }
        }
        if (stack[0]!=outputs[i]) {
            return 0;
        }
    }
    return 1;
}

int
do_ops(int num)
{
    int i;
    int stack_size_copy;
    int stack_copy[11];

    if (num==0) {
        return check();
    }
    for(i=0; i<5; i++) {
        ops[num_ops++] = i;
        stack_size_copy = stack_size;
        memcpy(stack_copy, stack, sizeof(stack));
        if (do_op(i)) {
            if (do_ops(num-1)) {
                return 1;
            }
        }
        num_ops--;
        stack_size = stack_size_copy;
        memcpy(stack, stack_copy, sizeof(stack));
    }
    return 0;
}

int
main(void)
{
    int i,j,n;
    int p=0;
    int done;

    freopen(INPUT,"r",stdin);
    
    while(1) {
        p++;
        scanf("%d", &n);
        if (n==0) {
            break;
        }
	num_checks=n;
        for(i=0; i<n; i++) {
            scanf("%d", &inputs[i]);
        }
        for(i=0; i<n; i++) {
            scanf("%d", &outputs[i]);
        }
        printf("Program %d\n", p);
        num_ops=0;
        done=0;
        for(i=0; i<=10; i++) {
            stack_size=1;
            stack[0]=inputs[0];
            if (do_ops(i)) {
                if (i==0) {
                    printf("Empty sequence\n\n");
                } else {
                    printf("%s", nom_ops[ops[0]]);
                    for(j=1; j<num_ops; j++) {
                        printf(" %s", nom_ops[ops[j]]);
                    }
                    printf("\n\n");
                }
                done=1;
                break;
            }
        }
        if (!done) {
            printf("Impossible\n\n");
        }
    }
    exit(0);
}