Reverses possible internal seeds of an LCG using a system of inequalities on the output of random calls