It outputs the indices corresponding to the solution. E.g.
@[6 1 7] == A[6], A[1], A[7] == -3, 4, -1 @[2 5 10] == == 1, 7, -8