MODIFIED: changed the format of the raw file: the firsst int value is the size of the map