stdin.get_s(9K).split("
"){n:1;i:it.to_i;for(j:i>9?2:1;i>0;i-=it.size-j)n*=i;n.p;}