lightecc
sympy
tqdm