Is there software that helps list small solutions of the Diophantine equation $$x_0^2=1+x_1^2+x_2^2+\cdots+ x_n^2$$ where "small" is negotiable, but e.g. we could fix $x_0$ and and ask for the list of all solutions $x_1, \dots, x_n\in\mathbb Z$?