Seq(9,249,17,2,157,116,227,91,216,65,86,197,99,86,136,192)map(d=>printf("%08d ",d.toBinaryString.toInt))