Question: According to the 2010 census, what was the population of the county which headquarters the DeKalb County School District?
{'answer': '691,893', 'supporting_facts': [['DeKalb County School District', 0], ['DeKalb County, Georgia', 1]]}