/map_of_mathematistan_source_in_comments