With no explanation, label text_A→text_B with either "NOT ENOUGH INFO", "REFUTES" or "SUPPORTS".
text_A: After 2016 , San Diego was the eighth-largest city in the United States .
text_B: With an estimated population of 1,406,630 as of July 1 , 2017 , San Diego is the eighth-largest city in the United States and second-largest in California .
SUPPORTS.