The first line of input contains a single integer P, (1 <= P <= 1000), which is the number of data sets that follow. Each data set is a single line that consists of two space separated values N and D. N is the data set number. D is the decimal number of the form sd.ddd...., where s is an optional minus sign, and d is any decimal digit (0 - 9). There will be at least 1 and at most 16 digits after the decimal point.

For each data set there is one line of output. It contains the data set number (N) followed by a single space, followed by the EDSAC instruction necessary to specify the given constant. The instruction should be printed as follows: the "opcode" character followed by a space followed by the operand (as a non-negative decimal integer) followed by a space followed by an 'F' or 'D' (as appropriate). If the constant cannot be represented exactly in 17 bits, the value is to be rounded toward zero (up for negative, down for positive numbers). If the input value D is not in the range -1.0 <= D <= 1.0, the string "INVALID VALUE" should be printed instead of an EDSAC instruction.