import std.stdio;void main(){writef=["011 011","01110 00101 00010","010001100 100110000 111100010 011111100"][readln.length/5];}