Crypt arithmetic solver