The circuit accepts a $3-$bit number and generates an

output binary number abcd equal to the double $($x$2)$ of the input number ABC plus one.

Input

ABC

output

a b c d $(=2*$ABC$+1)$