Problem F. Factorial Simplification

Author:ACM ICPC NEERC 2010 Jury   Time limit:3 sec
Input file:factorial.in   Memory limit:256 Mb
Output file:factorial.out  

Statement

Peter is working on a combinatorial problem. He has carried out quite lengthy derivations and got a resulting formula that is a ratio of two products of factorials like this:

p1!p2! ... pn!q1!q2! ... qm!

This does not surprise Peter, since factorials appear quite often in various combinatorial formulae, because n! represents the number of transpositions of n elements — one of the basic combinatorial objects.

However, Peter might have made a mistake in his derivations. He knows that the result should be an integer number and he needs to check this first. For an integer result Peter wants to simplify this formula to get a better feeling of its actual combinatorial significance. He wants to represent the same number as a product of factorials like this.

r1!s1 r2!s2 ... rk!sk t

where all ri are distinct integer numbers greater than one in the descending order (ri > ri + 1 > 1), si and t are positive integers. Among all the possible representations in this form, Peter is interested in one where r1 is the largest possible number, among those in the one where s1 is the largest possible number; among those in the one where r2 is the largest possible number; among those in the one where s2 is the largest possible number; etc, until the remaining t cannot be further represented in this form. Peter does not care about the actual value of t. He wants to know what is the factorial-product part of his result.

Input file format

The first line of the input file contains two integer numbers n and m (1 ≤ n, m ≤ 1000). The second line of the input file contains n integer numbers pi (1 ≤ pi ≤ 10 000) separated by spaces. The third line of the input file contains m integer numbers qi (1 ≤ qi ≤ 10 000) separated by spaces.

Output file format

On the first line of the output write a single integer number k. Write k =  − 1 if the ratio of the given factorial products is not an integer. Write k = 0 if the ratio is an integer but it cannot be represented in the desired form. Write k > 0 followed by k lines if the ratio can be represented by a factorial product as described in the problem statement. On each of the following k lines write two integers ri and si (for i = 1 ... k) separated by a space.

Sample tests

No. Input file (factorial.in) Output file (factorial.out)
1
1 2
6
4 4
-1
2
1 2
6
3 4
0
3
4 2
9 2 2 2
3 4
2
7 1
2 2

0.084s 0.014s 13