python: from symbols import a,b,c