import std.stdio;void main(){writef("%08b",x"09f6a5"[-*(&*[0]-8)%3]);}