#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;
}
I2luY2x1ZGUgPHN0ZGlvLmg+CmNoYXIgYVszXVsxMDAxXTsKaW50IG1haW4oaW50IF8pIHsKICAgIGZvciAoXz0wOyBfPDM7ICsrXykgZmdldHMoYVtfXSwxMDAxLHN0ZGluKTsKICAgIGZvciAoXz0wOyBhWzBdW19dPjE0OyBfKz0zKQogICAgICAgIHB1dGNoYXIoIjQ5MjA2ODU4MTc2MyJbKGFbMV1bX10mMTZ8YVsxXVtfKzJdJjh8YVsyXVtfXSY0fGFbMV1bXysxXSYyfGFbMF1bXysxXSYxKSUxM10pOwogICAgcmV0dXJuIDA7Cn0=