COCI '20 Contest 2 #3 Euklid

Points: 17 (partial)

Time limit: 1.0s

Memory limit: 512M

Problem types

It is rarely mentioned that Euclid's grandma was from Vrsi in Croatia. It is from there that Euclid's less known (but equally talented in his youth) cousin Edicul* comes from.

It happened one day that they were playing "invent an algorithm". Edicul writes two positive integers on the sand. Then he does the following: while neither number on the sand is $1$ ~1~, he marks them as $(a, b)$ ~(a, b)~ so that $a \ge b$ ~a \ge b~. Then the numbers are erased and he writes $(\lfloor \frac a b \rfloor, b)$ ~(\lfloor \frac a b \rfloor, b)~ on the sand, and repeats the process. When one of the two numbers becomes $1$ ~1~, the other is the results of his algorithm.

Formally, if $a$ ~a~ and $b$ ~b~ are positive integers, the result $R(a, b)$ ~R(a, b)~ of Edicul's algorithm is:

$\displaystyle R(a, b) = \begin{cases} R(b, a) & \text{if } a < b \\ R(\lfloor \frac a b \rfloor, b) & \text{if } a \ge b > 1 \\ a & \text{if } a \ge b = 1 \end{cases}$

Euclid thinks for a while, and says: "Edicul, I have a better idea...", and the rest is history. Unfortunately, Edicul never became famous for his idea in number theory. This sad story inspires the following problem:

Given positive integers $g$ ~g~ and $h$ ~h~, find positive integers $a$ ~a~ and $b$ ~b~ such that their greatest common divisor is $g$ ~g~, and the result of Edicul's algorithm $R(a, b)$ ~R(a, b)~ is $h$ ~h~.

* This sets up a pun in Croatian. The translation is a bit bland, sorry for that.

Input

The first line contains a single integer $t$ ~t~ $(1 \le t \le 40)$ ~(1 \le t \le 40)~ – the number of independent test cases.

Each of the following $t$ ~t~ lines contains two positive integers $g_i$ ~g_i~ and $h_i$ ~h_i~ $(h_i \ge 2)$ ~(h_i \ge 2)~.

Output

Output $t$ ~t~ lines in total. For the $i$ ~i~-th test case, output positive integers $a_i$ ~a_i~ and $b_i$ ~b_i~ such that $\gcd(a_i, b_i) = g_i$ ~\gcd(a_i, b_i) = g_i~ and $R(a_i, b_i) = h_i$ ~R(a_i, b_i) = h_i~.

The numbers in the output must not be larger than $10^{18}$ ~10^{18}~. It can be proven that for the given constraints, a solution always exists.

If there are multiple solutions for some test case, output any of them.

Scoring

In all subtasks, $1 \le g \le 200\,000$ ~1 \le g \le 200\,000~ and $2 \le h \le 200\,000$ ~2 \le h \le 200\,000~.

Subtask	Score	Constraints
$1$ ~1~	$4$ ~4~	$g=h$ ~g=h~
$2$ ~2~	$8$ ~8~	$h=2$ ~h=2~
$3$ ~3~	$8$ ~8~	$g=h^2$ ~g=h^2~
$4$ ~4~	$15$ ~15~	$g,h \le 20$ ~g,h \le 20~
$5$ ~5~	$40$ ~40~	$g,h \le 2\,000$ ~g,h \le 2\,000~
$6$ ~6~	$35$ ~35~	No additional constraints.

Sample Input 1

1
1 4

Sample Output 1

99 23

Explanation for Sample Output 1

The integers $99$ ~99~ and $23$ ~23~ are coprime, i.e. their greatest common divisor is $1$ ~1~. We have $\lfloor \frac{99}{23} \rfloor = 4$ ~\lfloor \frac{99}{23} \rfloor = 4~, thus $R(99, 23) = R(4, 23) = R(23, 4)$ ~R(99, 23) = R(4, 23) = R(23, 4)~. Then $\lfloor \frac{23}{4} \rfloor = 5$ ~\lfloor \frac{23}{4} \rfloor = 5~, so $R(23, 4) = R(5, 4) = R(1, 4) = R(4, 1) = 4$ .