Link to Original Source
St. Petersburg is the second largest city in the metro area, which is called Tampa Bay
From Wikipedia: "The Census Bureau currently estimates the population for the CMSA at 4,228,855 as of 2010 during consolidation. as of July 1, 2008, making it the second most populous metropolitan area in Florida and fourth in the Southeast."
egrep patterns are full regular expressions; it uses a fast deterministic algorithm that sometimes needs exponential space. -- unix manuals