how to read stdin to a 2d python array of integers?,"a = [map(int, row.split()) for row in stdin]"