A Las Vegas algorithm for linear programming when the dimension is small | Synapse