while(a:?read\-line(?-,?-,~))#~do printf(?t,"~{~4,'0b~}
",map(cint,charlist(a))-45);