#include <stdio.h>
char a[3][1001];
int main(int _) {
    for (_=0; _<3; ++_) fgets(a[_],1001,stdin);
    for (_=0; a[0][_]>14; _+=3)
        putchar("492068581763"[(a[1][_]&16|a[1][_+2]&8|a[2][_]&4|a[1][_+1]&2|a[0][_+1]&1)%13]);
    return 0;
}