a:?read();sum(printf(?t,ssubst("#","1",ssubst(".","0",printf(?-,"~v,'0b
",a,i)))),i,0,2^a-1);