% 2
x7^2
x5*x7
x4*x7
x6^2
x5*x6
x4*x6
x4^2
x1*x4
x3^2
x2*x3
x1*x2
x1^2

% 3
x2*x4*x10
x5*x9^2
x4*x9^2
x2*x7*x9
x1*x7*x9
x3*x6*x9
x2*x6*x9
x1*x6*x9
x5^2*x9
x4*x5*x9
x3*x5*x9
x3*x4*x9
x3*x6*x7
x2*x6*x7
x1*x6*x7
x2*x5^2
x1*x5^2
x1*x3*x5

% 4
x1*x3*x6*x12
x2*x5*x9*x11
x2*x4*x9*x11
x4*x5^2*x11
x7*x10^3
x3*x10^3
x2*x10^3
x9^2*x10^2
x7*x9*x10^2
x6*x9*x10^2
x5*x9*x10^2
x4*x9*x10^2
x3*x9*x10^2
x1*x9*x10^2
x6*x7*x10^2
x3*x7*x10^2
x2*x7*x10^2
x1*x7*x10^2
x3*x6*x10^2
x2*x6*x10^2
x1*x6*x10^2
x5^2*x10^2
x4*x5*x10^2
x3*x5*x10^2
x2*x5*x10^2
x1*x5*x10^2
x3*x4*x10^2
x1*x3*x10^2
x2^2*x10^2
x7*x9^2*x10
x6*x9^2*x10
x3*x9^2*x10
x1*x9^2*x10
x6*x7*x9*x10
x3*x7*x9*x10
x2*x5*x9*x10
x1*x5*x9*x10
x1*x3*x9*x10
x1*x3*x7*x10
x2^2*x7*x10
x2^2*x6*x10
x5^3*x10
x4*x5^2*x10
x3*x5^2*x10
x3*x4*x5*x10
x2^2*x5*x10
x2^3*x10
x3*x9^3
x1*x9^3
x3*x7*x9^2
x1*x3*x9^2
x2^2*x5*x9
x2^2*x4*x9
x5^4
x4*x5^3
x3*x4*x5^2

% 5
x3*x5*x10*x11*x12
x6*x9^2*x11*x12
x2^2*x9*x11*x12
x1*x3*x7*x11*x12
x3*x5^2*x11*x12
x2^2*x4*x11*x12
x6*x10^3*x12
x5*x10^3*x12
x4*x10^3*x12
x2*x9*x10^2*x12
x9^3*x10*x12
x2*x9^2*x10*x12
x2^2*x9*x10*x12
x7*x9^3*x12
x2^3*x7*x12
x3*x5^3*x12
x2^2*x4*x5*x12
x10*x11^4
x6*x11^4
x10^2*x11^3
x9*x10*x11^3
x7*x10*x11^3
x6*x10*x11^3
x5*x10*x11^3
x4*x10*x11^3
x3*x10*x11^3
x2*x10*x11^3
x1*x10*x11^3
x7*x9*x11^3
x6*x9*x11^3
x5*x9*x11^3
x4*x9*x11^3
x3*x9*x11^3
x1*x9*x11^3
x6*x7*x11^3
x3*x7*x11^3
x2*x7*x11^3
x1*x7*x11^3
x3*x6*x11^3
x2*x6*x11^3
x1*x6*x11^3
x5^2*x11^3
x3*x5*x11^3
x1*x5*x11^3
x3*x4*x11^3
x1*x3*x11^3
x10^3*x11^2
x9*x10^2*x11^2
x7*x10^2*x11^2
x6*x10^2*x11^2
x5*x10^2*x11^2
x4*x10^2*x11^2
x3*x10^2*x11^2
x2*x10^2*x11^2
x1*x10^2*x11^2
x9^2*x10*x11^2
x7*x9*x10*x11^2
x6*x9*x10*x11^2
x5*x9*x10*x11^2
x4*x9*x10*x11^2
x3*x9*x10*x11^2
x2*x9*x10*x11^2
x1*x9*x10*x11^2
x6*x7*x10*x11^2
x3*x7*x10*x11^2
x2*x7*x10*x11^2
x1*x7*x10*x11^2
x3*x6*x10*x11^2
x2*x6*x10*x11^2
x1*x6*x10*x11^2
x5^2*x10*x11^2
x4*x5*x10*x11^2
x3*x5*x10*x11^2
x2*x5*x10*x11^2
x1*x5*x10*x11^2
x3*x4*x10*x11^2
x1*x3*x10*x11^2
x2^2*x10*x11^2
x9^3*x11^2
x7*x9^2*x11^2
x6*x9^2*x11^2
x3*x9^2*x11^2
x2*x9^2*x11^2
x1*x9^2*x11^2
x6*x7*x9*x11^2
x3*x7*x9*x11^2
x1*x5*x9*x11^2
x1*x3*x9*x11^2
x2^2*x9*x11^2
x1*x3*x7*x11^2
x2^2*x7*x11^2
x1*x3*x6*x11^2
x2^2*x6*x11^2
x5^3*x11^2
x3*x5^2*x11^2
x3*x4*x5*x11^2
x10^4*x11
x9*x10^3*x11
x6*x10^3*x11
x5*x10^3*x11
x4*x10^3*x11
x1*x10^3*x11
x2*x9*x10^2*x11
x9^3*x10*x11
x2*x9^2*x10*x11
x2^2*x9*x10*x11
x1*x3*x6*x10*x11
x9^4*x11
x7*x9^3*x11
x6*x9^3*x11
x2*x9^3*x11
x6*x7*x9^2*x11
x2^2*x9^2*x11
x2^3*x9*x11
x3*x5^3*x11
x10^5
x9*x10^4
x6*x10^4
x5*x10^4
x4*x10^4
x1*x10^4

% 6
x6*x10*x11*x12^3
x5*x10*x11*x12^3
x4*x10*x11*x12^3
x3*x10*x11*x12^3
x2*x10*x11*x12^3
x1*x10*x11*x12^3
x9^2*x11*x12^3
x7*x9*x11*x12^3
x6*x9*x11*x12^3
x5*x9*x11*x12^3
x4*x9*x11*x12^3
x3*x9*x11*x12^3
x2*x9*x11*x12^3
x1*x9*x11*x12^3
x6*x7*x11*x12^3
x3*x7*x11*x12^3
x2*x7*x11*x12^3
x1*x7*x11*x12^3
x3*x6*x11*x12^3
x2*x6*x11*x12^3
x1*x6*x11*x12^3
x5^2*x11*x12^3
x4*x5*x11*x12^3
x3*x5*x11*x12^3
x2*x5*x11*x12^3
x1*x5*x11*x12^3
x3*x4*x11*x12^3
x2*x4*x11*x12^3
x1*x3*x11*x12^3
x2^2*x11*x12^3
x10^3*x12^3
x9*x10^2*x12^3
x7*x10^2*x12^3
x6*x10^2*x12^3
x5*x10^2*x12^3
x4*x10^2*x12^3
x3*x10^2*x12^3
x2*x10^2*x12^3
x1*x10^2*x12^3
x9^2*x10*x12^3
x7*x9*x10*x12^3
x6*x9*x10*x12^3
x5*x9*x10*x12^3
x4*x9*x10*x12^3
x3*x9*x10*x12^3
x2*x9*x10*x12^3
x1*x9*x10*x12^3
x6*x7*x10*x12^3
x3*x7*x10*x12^3
x2*x7*x10*x12^3
x1*x7*x10*x12^3
x3*x6*x10*x12^3
x2*x6*x10*x12^3
x1*x6*x10*x12^3
x5^2*x10*x12^3
x4*x5*x10*x12^3
x3*x5*x10*x12^3
x2*x5*x10*x12^3
x1*x5*x10*x12^3
x3*x4*x10*x12^3
x1*x3*x10*x12^3
x2^2*x10*x12^3
x9^3*x12^3
x7*x9^2*x12^3
x6*x9^2*x12^3
x3*x9^2*x12^3
x2*x9^2*x12^3
x1*x9^2*x12^3
x6*x7*x9*x12^3
x3*x7*x9*x12^3
x2*x5*x9*x12^3
x1*x5*x9*x12^3
x2*x4*x9*x12^3
x1*x3*x9*x12^3
x2^2*x9*x12^3
x1*x3*x7*x12^3
x2^2*x7*x12^3
x2^2*x6*x12^3
x5^3*x12^3
x4*x5^2*x12^3
x3*x5^2*x12^3
x3*x4*x5*x12^3
x2*x4*x5*x12^3
x2^2*x5*x12^3
x2^2*x4*x12^3
x11^4*x12^2
x10*x11^3*x12^2
x9*x11^3*x12^2
x7*x11^3*x12^2
x6*x11^3*x12^2
x5*x11^3*x12^2
x4*x11^3*x12^2
x3*x11^3*x12^2
x2*x11^3*x12^2
x1*x11^3*x12^2
x10^2*x11^2*x12^2
x9*x10*x11^2*x12^2
x7*x10*x11^2*x12^2
x6*x10*x11^2*x12^2
x5*x10*x11^2*x12^2
x4*x10*x11^2*x12^2
x3*x10*x11^2*x12^2
x2*x10*x11^2*x12^2
x1*x10*x11^2*x12^2
x9^2*x11^2*x12^2
x7*x9*x11^2*x12^2
x6*x9*x11^2*x12^2
x5*x9*x11^2*x12^2
x4*x9*x11^2*x12^2
x3*x9*x11^2*x12^2
x2*x9*x11^2*x12^2
x1*x9*x11^2*x12^2
x6*x7*x11^2*x12^2
x3*x7*x11^2*x12^2
x2*x7*x11^2*x12^2
x1*x7*x11^2*x12^2
x3*x6*x11^2*x12^2
x2*x6*x11^2*x12^2
x1*x6*x11^2*x12^2
x5^2*x11^2*x12^2
x4*x5*x11^2*x12^2
x3*x5*x11^2*x12^2
x2*x5*x11^2*x12^2
x1*x5*x11^2*x12^2
x3*x4*x11^2*x12^2
x2*x4*x11^2*x12^2
x1*x3*x11^2*x12^2
x2^2*x11^2*x12^2
x10^3*x11*x12^2
x9*x10^2*x11*x12^2
x7*x10^2*x11*x12^2
x6*x10^2*x11*x12^2
x5*x10^2*x11*x12^2
x4*x10^2*x11*x12^2
x3*x10^2*x11*x12^2
x2*x10^2*x11*x12^2
x1*x10^2*x11*x12^2
x9^2*x10*x11*x12^2
x7*x9*x10*x11*x12^2
x6*x9*x10*x11*x12^2
x5*x9*x10*x11*x12^2
x4*x9*x10*x11*x12^2
x3*x9*x10*x11*x12^2
x2*x9*x10*x11*x12^2
x1*x9*x10*x11*x12^2
x6*x7*x10*x11*x12^2
x3*x7*x10*x11*x12^2
x2*x7*x10*x11*x12^2
x1*x7*x10*x11*x12^2
x3*x6*x10*x11*x12^2
x2*x6*x10*x11*x12^2
x1*x6*x10*x11*x12^2
x5^2*x10*x11*x12^2
x4*x5*x10*x11*x12^2
x2*x5*x10*x11*x12^2
x1*x5*x10*x11*x12^2
x3*x4*x10*x11*x12^2
x1*x3*x10*x11*x12^2
x2^2*x10*x11*x12^2
x9^3*x11*x12^2
x7*x9^2*x11*x12^2
x3*x9^2*x11*x12^2
x2*x9^2*x11*x12^2
x1*x9^2*x11*x12^2
x6*x7*x9*x11*x12^2
x3*x7*x9*x11*x12^2
x1*x5*x9*x11*x12^2
x1*x3*x9*x11*x12^2
x2^2*x7*x11*x12^2
x2^2*x6*x11*x12^2
x5^3*x11*x12^2
x3*x4*x5*x11*x12^2
x2*x4*x5*x11*x12^2
x2^2*x5*x11*x12^2
x2^3*x11*x12^2
x10^4*x12^2
x9*x10^3*x12^2
x1*x10^3*x12^2
x9^4*x12^2
x6*x9^3*x12^2
x2*x9^3*x12^2
x6*x7*x9^2*x12^2
x2^2*x9^2*x12^2
x2^3*x9*x12^2
x2^3*x5*x12^2
x9*x11^4*x12
x7*x11^4*x12
x5*x11^4*x12
x4*x11^4*x12
x3*x11^4*x12
x2*x11^4*x12
x1*x11^4*x12
x9^2*x11^3*x12
x2*x9*x11^3*x12
x4*x5*x11^3*x12
x2*x5*x11^3*x12
x2*x4*x11^3*x12
x2*x4*x5*x11^2*x12
x2^2*x5*x11^2*x12
x2^3*x6*x11*x12

% 7
x7*x9*x10*x11*x12*x13^2
x6*x9*x10*x11*x12*x13^2
x5*x9*x10*x11*x12*x13^2
x4*x9*x10*x11*x12*x13^2
x3*x9*x10*x11*x12*x13^2
x2*x9*x10*x11*x12*x13^2
x1*x9*x10*x11*x12*x13^2
x6*x7*x10*x11*x12*x13^2
x3*x7*x10*x11*x12*x13^2
x2*x7*x10*x11*x12*x13^2
x1*x7*x10*x11*x12*x13^2
x3*x6*x10*x11*x12*x13^2
x2*x6*x10*x11*x12*x13^2
x1*x6*x10*x11*x12*x13^2
x5^2*x10*x11*x12*x13^2
x4*x5*x10*x11*x12*x13^2
x2*x5*x10*x11*x12*x13^2
x1*x5*x10*x11*x12*x13^2
x3*x4*x10*x11*x12*x13^2
x1*x3*x10*x11*x12*x13^2
x2^2*x10*x11*x12*x13^2
x9^3*x11*x12*x13^2
x7*x9^2*x11*x12*x13^2
x3*x9^2*x11*x12*x13^2
x2*x9^2*x11*x12*x13^2
x1*x9^2*x11*x12*x13^2
x6*x7*x9*x11*x12*x13^2
x3*x7*x9*x11*x12*x13^2
x1*x5*x9*x11*x12*x13^2
x1*x3*x9*x11*x12*x13^2
x2^2*x7*x11*x12*x13^2
x2^2*x6*x11*x12*x13^2
x5^3*x11*x12*x13^2
x3*x4*x5*x11*x12*x13^2
x2*x4*x5*x11*x12*x13^2
x2^2*x5*x11*x12*x13^2
x2^3*x11*x12*x13^2
x10^4*x12*x13^2
x9*x10^3*x12*x13^2
x1*x10^3*x12*x13^2
x9^4*x12*x13^2
x6*x9^3*x12*x13^2
x2*x9^3*x12*x13^2
x6*x7*x9^2*x12*x13^2
x2^2*x9^2*x12*x13^2
x2^3*x9*x12*x13^2
x2^3*x6*x12*x13^2
x2^3*x5*x12*x13^2
x2^3*x4*x12*x13^2
x2^4*x12*x13^2
x9*x11^4*x13^2
x7*x11^4*x13^2
x4*x11^4*x13^2
x3*x11^4*x13^2
x2*x11^4*x13^2
x1*x11^4*x13^2
x9^2*x11^3*x13^2
x2*x9*x11^3*x13^2
x4*x5*x11^3*x13^2
x2*x5*x11^3*x13^2
x2*x4*x11^3*x13^2
x2^2*x11^3*x13^2
x2*x4*x5*x11^2*x13^2
x2^2*x5*x11^2*x13^2
x2^2*x4*x11^2*x13^2
x2^3*x11^2*x13^2
x2^3*x7*x11*x13^2
x2^3*x6*x11*x13^2
x2^2*x4*x5*x11*x13^2
x2^3*x5*x11*x13^2
x2^3*x4*x11*x13^2
x2^4*x11*x13^2
x9^4*x10*x13^2
x2*x9^3*x10*x13^2
x2^2*x9^2*x10*x13^2
x7*x9^4*x13^2
x2*x9^4*x13^2
x6*x7*x9^3*x13^2
x2^2*x9^3*x13^2
x2^3*x9^2*x13^2
x2^4*x9*x13^2
x2^4*x7*x13^2
x2^4*x6*x13^2
x2^3*x4*x5*x13^2
x2^4*x5*x13^2
x2^4*x4*x13^2
x2^5*x13^2
x12^6*x13
x11*x12^5*x13
x10*x12^5*x13
x9*x12^5*x13
x7*x12^5*x13
x6*x12^5*x13
x5*x12^5*x13
x4*x12^5*x13
x3*x12^5*x13
x2*x12^5*x13
x1*x12^5*x13
x11^2*x12^4*x13
x10*x11*x12^4*x13
x9*x11*x12^4*x13
x7*x11*x12^4*x13
x6*x11*x12^4*x13
x5*x11*x12^4*x13
x4*x11*x12^4*x13
x3*x11*x12^4*x13
x2*x11*x12^4*x13
x1*x11*x12^4*x13
x10^2*x12^4*x13
x9*x10*x12^4*x13
x7*x10*x12^4*x13
x6*x10*x12^4*x13
x5*x10*x12^4*x13
x4*x10*x12^4*x13
x3*x10*x12^4*x13
x2*x10*x12^4*x13
x1*x10*x12^4*x13
x9^2*x12^4*x13
x7*x9*x12^4*x13
x6*x9*x12^4*x13
x5*x9*x12^4*x13
x4*x9*x12^4*x13
x3*x9*x12^4*x13
x2*x9*x12^4*x13
x1*x9*x12^4*x13
x6*x7*x12^4*x13
x3*x7*x12^4*x13
x2*x7*x12^4*x13
x1*x7*x12^4*x13
x3*x6*x12^4*x13
x2*x6*x12^4*x13
x1*x6*x12^4*x13
x5^2*x12^4*x13
x4*x5*x12^4*x13
x3*x5*x12^4*x13
x2*x5*x12^4*x13
x1*x5*x12^4*x13
x3*x4*x12^4*x13
x2*x4*x12^4*x13
x1*x3*x12^4*x13
x2^2*x12^4*x13
x11^3*x12^3*x13
x10*x11^2*x12^3*x13
x9*x11^2*x12^3*x13
x7*x11^2*x12^3*x13
x6*x11^2*x12^3*x13
x5*x11^2*x12^3*x13
x4*x11^2*x12^3*x13
x3*x11^2*x12^3*x13
x2*x11^2*x12^3*x13
x1*x11^2*x12^3*x13
x10^2*x11*x12^3*x13
x9*x10*x11*x12^3*x13
x7*x10*x11*x12^3*x13
x2^3*x12^3*x13
x2^3*x6*x12^2*x13
x2^3*x4*x12^2*x13
x2^4*x12^2*x13
x11^5*x12*x13
x2^2*x11^3*x12*x13
x2^3*x11^2*x12*x13
x2^3*x5*x11*x12*x13
x2^4*x11*x12*x13
x6*x9^4*x12*x13
x2*x9^4*x12*x13
x2^2*x9^3*x12*x13
x2^3*x9^2*x12*x13
x2^4*x9*x12*x13
x2^4*x6*x12*x13
x2^4*x5*x12*x13
x2^4*x4*x12*x13
x9*x11^5*x13
x7*x11^5*x13
x3*x11^5*x13
x1*x11^5*x13
x9^2*x11^4*x13
x2*x9*x11^4*x13
x4*x5*x11^4*x13
x2*x5*x11^4*x13
x2*x4*x11^4*x13
x2*x4*x5*x11^3*x13
x2^2*x5*x11^3*x13
x2^2*x4*x11^3*x13
x2^3*x11^3*x13
x2^2*x4*x5*x11^2*x13
x2^3*x5*x11^2*x13
x2^3*x4*x11^2*x13
x2^4*x7*x11*x13
x2^4*x6*x11*x13
x2^3*x4*x5*x11*x13
x2^4*x4*x11*x13
x9^5*x10*x13
x2*x9^4*x10*x13
x2^2*x9^3*x10*x13
x2*x9^5*x13
x6*x7*x9^4*x13
x2^2*x9^4*x13
x2^3*x9^3*x13
x2^4*x9^2*x13
x2^5*x9*x13
x2^5*x7*x13
x2^5*x6*x13
x2^4*x4*x5*x13
x12^7
x11*x12^6
x10*x12^6
x9*x12^6
x7*x12^6
x6*x12^6
x5*x12^6
x4*x12^6
x3*x12^6
x2*x12^6
x1*x12^6
x11^2*x12^5
x10*x11*x12^5
x9*x11*x12^5
x7*x11*x12^5
x6*x11*x12^5
x5*x11*x12^5
x4*x11*x12^5
x3*x11*x12^5
x2*x11*x12^5
x1*x11*x12^5
x10^2*x12^5
x9*x10*x12^5
x7*x10*x12^5
x6*x10*x12^5
x5*x10*x12^5
x4*x10*x12^5
x3*x10*x12^5
x2*x10*x12^5
x1*x10*x12^5
x9^2*x12^5
x7*x9*x12^5
x6*x9*x12^5
x5*x9*x12^5
x4*x9*x12^5
x3*x9*x12^5
x2*x9*x12^5
x1*x9*x12^5
x6*x7*x12^5
x3*x7*x12^5
x2*x7*x12^5
x1*x7*x12^5
x3*x6*x12^5
x2*x6*x12^5
x1*x6*x12^5
x5^2*x12^5
x4*x5*x12^5
x3*x5*x12^5
x2*x5*x12^5
x1*x5*x12^5
x3*x4*x12^5
x2*x4*x12^5
x1*x3*x12^5
x2^2*x12^5
x11^3*x12^4
x10*x11^2*x12^4
x9*x11^2*x12^4
x7*x11^2*x12^4
x6*x11^2*x12^4
x5*x11^2*x12^4
x4*x11^2*x12^4
x3*x11^2*x12^4
x2*x11^2*x12^4
x1*x11^2*x12^4
x10^2*x11*x12^4
x9*x10*x11*x12^4
x7*x10*x11*x12^4
x2^3*x12^4

% 8
x2*x9*x11^2*x13^4
x1*x9*x11^2*x13^4
x6*x7*x11^2*x13^4
x3*x7*x11^2*x13^4
x2*x7*x11^2*x13^4
x1*x7*x11^2*x13^4
x3*x6*x11^2*x13^4
x2*x6*x11^2*x13^4
x1*x6*x11^2*x13^4
x5^2*x11^2*x13^4
x4*x5*x11^2*x13^4
x3*x5*x11^2*x13^4
x2*x5*x11^2*x13^4
x1*x5*x11^2*x13^4
x3*x4*x11^2*x13^4
x2*x4*x11^2*x13^4
x1*x3*x11^2*x13^4
x2^2*x11^2*x13^4
x10^3*x11*x13^4
x9*x10^2*x11*x13^4
x7*x10^2*x11*x13^4
x6*x10^2*x11*x13^4
x5*x10^2*x11*x13^4
x4*x10^2*x11*x13^4
x3*x10^2*x11*x13^4
x2*x10^2*x11*x13^4
x1*x10^2*x11*x13^4
x9^2*x10*x11*x13^4
x7*x9*x10*x11*x13^4
x6*x9*x10*x11*x13^4
x5*x9*x10*x11*x13^4
x4*x9*x10*x11*x13^4
x3*x9*x10*x11*x13^4
x2*x9*x10*x11*x13^4
x1*x9*x10*x11*x13^4
x6*x7*x10*x11*x13^4
x3*x7*x10*x11*x13^4
x2*x7*x10*x11*x13^4
x1*x7*x10*x11*x13^4
x3*x6*x10*x11*x13^4
x2*x6*x10*x11*x13^4
x1*x6*x10*x11*x13^4
x5^2*x10*x11*x13^4
x4*x5*x10*x11*x13^4
x3*x5*x10*x11*x13^4
x2*x5*x10*x11*x13^4
x1*x5*x10*x11*x13^4
x3*x4*x10*x11*x13^4
x1*x3*x10*x11*x13^4
x2^2*x10*x11*x13^4
x9^3*x11*x13^4
x7*x9^2*x11*x13^4
x6*x9^2*x11*x13^4
x3*x9^2*x11*x13^4
x2*x9^2*x11*x13^4
x1*x9^2*x11*x13^4
x6*x7*x9*x11*x13^4
x3*x7*x9*x11*x13^4
x1*x5*x9*x11*x13^4
x1*x3*x9*x11*x13^4
x2^2*x9*x11*x13^4
x1*x3*x7*x11*x13^4
x2^2*x7*x11*x13^4
x1*x3*x6*x11*x13^4
x2^2*x6*x11*x13^4
x5^3*x11*x13^4
x3*x5^2*x11*x13^4
x3*x4*x5*x11*x13^4
x2*x4*x5*x11*x13^4
x2^2*x5*x11*x13^4
x2^2*x4*x11*x13^4
x2^3*x11*x13^4
x10^4*x13^4
x9*x10^3*x13^4
x6*x10^3*x13^4
x5*x10^3*x13^4
x4*x10^3*x13^4
x1*x10^3*x13^4
x2*x9*x10^2*x13^4
x9^3*x10*x13^4
x2*x9^2*x10*x13^4
x2^2*x9*x10*x13^4
x1*x3*x6*x10*x13^4
x9^4*x13^4
x7*x9^3*x13^4
x6*x9^3*x13^4
x2*x9^3*x13^4
x6*x7*x9^2*x13^4
x2^2*x9^2*x13^4
x2^3*x9*x13^4
x2^3*x7*x13^4
x2^3*x6*x13^4
x3*x5^3*x13^4
x2^2*x4*x5*x13^4
x2^3*x5*x13^4
x2^3*x4*x13^4
x2^4*x13^4
x12^5*x13^3
x11*x12^4*x13^3
x10*x12^4*x13^3
x9*x12^4*x13^3
x7*x12^4*x13^3
x6*x12^4*x13^3
x5*x12^4*x13^3
x4*x12^4*x13^3
x3*x12^4*x13^3
x2*x12^4*x13^3
x1*x12^4*x13^3
x11^2*x12^3*x13^3
x10*x11*x12^3*x13^3
x9*x11*x12^3*x13^3
x7*x11*x12^3*x13^3
x6*x11*x12^3*x13^3
x5*x11*x12^3*x13^3
x4*x11*x12^3*x13^3
x3*x11*x12^3*x13^3
x2*x11*x12^3*x13^3
x1*x11*x12^3*x13^3
x10^2*x12^3*x13^3
x9*x10*x12^3*x13^3
x7*x10*x12^3*x13^3
x6*x10*x12^3*x13^3
x5*x10*x12^3*x13^3
x4*x10*x12^3*x13^3
x3*x10*x12^3*x13^3
x2*x10*x12^3*x13^3
x1*x10*x12^3*x13^3
x9^2*x12^3*x13^3
x7*x9*x12^3*x13^3
x6*x9*x12^3*x13^3
x5*x9*x12^3*x13^3
x4*x9*x12^3*x13^3
x3*x9*x12^3*x13^3
x2*x9*x12^3*x13^3
x1*x9*x12^3*x13^3
x6*x7*x12^3*x13^3
x3*x7*x12^3*x13^3
x2*x7*x12^3*x13^3
x1*x7*x12^3*x13^3
x3*x6*x12^3*x13^3
x2*x6*x12^3*x13^3
x1*x6*x12^3*x13^3
x5^2*x12^3*x13^3
x4*x5*x12^3*x13^3
x3*x5*x12^3*x13^3
x2*x5*x12^3*x13^3
x1*x5*x12^3*x13^3
x3*x4*x12^3*x13^3
x2*x4*x12^3*x13^3
x1*x3*x12^3*x13^3
x2^2*x12^3*x13^3
x11^3*x12^2*x13^3
x10*x11^2*x12^2*x13^3
x9*x11^2*x12^2*x13^3
x7*x11^2*x12^2*x13^3
x6*x11^2*x12^2*x13^3
x5*x11^2*x12^2*x13^3
x4*x11^2*x12^2*x13^3
x3*x11^2*x12^2*x13^3
x2*x11^2*x12^2*x13^3
x1*x11^2*x12^2*x13^3
x10^2*x11*x12^2*x13^3
x9*x10*x11*x12^2*x13^3
x7*x10*x11*x12^2*x13^3
x6*x10*x11*x12^2*x13^3
x5*x10*x11*x12^2*x13^3
x4*x10*x11*x12^2*x13^3
x3*x10*x11*x12^2*x13^3
x2*x10*x11*x12^2*x13^3
x1*x10*x11*x12^2*x13^3
x9^2*x11*x12^2*x13^3
x7*x9*x11*x12^2*x13^3
x6*x9*x11*x12^2*x13^3
x5*x9*x11*x12^2*x13^3
x4*x9*x11*x12^2*x13^3
x3*x9*x11*x12^2*x13^3
x2*x9*x11*x12^2*x13^3
x1*x9*x11*x12^2*x13^3
x6*x7*x11*x12^2*x13^3
x3*x7*x11*x12^2*x13^3
x2*x7*x11*x12^2*x13^3
x1*x7*x11*x12^2*x13^3
x3*x6*x11*x12^2*x13^3
x2*x6*x11*x12^2*x13^3
x1*x6*x11*x12^2*x13^3
x5^2*x11*x12^2*x13^3
x4*x5*x11*x12^2*x13^3
x3*x5*x11*x12^2*x13^3
x2*x5*x11*x12^2*x13^3
x1*x5*x11*x12^2*x13^3
x3*x4*x11*x12^2*x13^3
x2*x4*x11*x12^2*x13^3
x1*x3*x11*x12^2*x13^3
x2^2*x11*x12^2*x13^3
x10^3*x12^2*x13^3
x9*x10^2*x12^2*x13^3
x7*x10^2*x12^2*x13^3
x6*x10^2*x12^2*x13^3
x5*x10^2*x12^2*x13^3
x4*x10^2*x12^2*x13^3
x3*x10^2*x12^2*x13^3
x2*x10^2*x12^2*x13^3
x1*x10^2*x12^2*x13^3
x9^2*x10*x12^2*x13^3
x7*x9*x10*x12^2*x13^3
x6*x9*x10*x12^2*x13^3
x5*x9*x10*x12^2*x13^3
x4*x9*x10*x12^2*x13^3
x3*x9*x10*x12^2*x13^3
x2*x9*x10*x12^2*x13^3
x1*x9*x10*x12^2*x13^3
x6*x7*x10*x12^2*x13^3
x3*x7*x10*x12^2*x13^3
x2*x7*x10*x12^2*x13^3
x1*x7*x10*x12^2*x13^3
x3*x6*x10*x12^2*x13^3
x2*x6*x10*x12^2*x13^3
x1*x6*x10*x12^2*x13^3
x5^2*x10*x12^2*x13^3
x4*x5*x10*x12^2*x13^3
x3*x5*x10*x12^2*x13^3
x2*x5*x10*x12^2*x13^3
x1*x5*x10*x12^2*x13^3
x3*x4*x10*x12^2*x13^3
x1*x3*x10*x12^2*x13^3
x2^2*x10*x12^2*x13^3
x9^3*x12^2*x13^3
x7*x9^2*x12^2*x13^3
x6*x9^2*x12^2*x13^3
x3*x9^2*x12^2*x13^3
x2*x9^2*x12^2*x13^3
x1*x9^2*x12^2*x13^3
x6*x7*x9*x12^2*x13^3
x3*x7*x9*x12^2*x13^3
x2*x5*x9*x12^2*x13^3
x1*x5*x9*x12^2*x13^3
x2*x4*x9*x12^2*x13^3
x1*x3*x9*x12^2*x13^3
x2^2*x9*x12^2*x13^3
x1*x3*x7*x12^2*x13^3
x2^2*x7*x12^2*x13^3
x2^2*x6*x12^2*x13^3
x5^3*x12^2*x13^3
x4*x5^2*x12^2*x13^3
x3*x5^2*x12^2*x13^3
x3*x4*x5*x12^2*x13^3
x2*x4*x5*x12^2*x13^3
x2^2*x5*x12^2*x13^3
x2^2*x4*x12^2*x13^3
x2^3*x12^2*x13^3
x11^4*x12*x13^3
x10*x11^3*x12*x13^3
x9*x11^3*x12*x13^3
x7*x11^3*x12*x13^3
x6*x11^3*x12*x13^3
x5*x11^3*x12*x13^3
x4*x11^3*x12*x13^3
x3*x11^3*x12*x13^3
x2*x11^3*x12*x13^3
x1*x11^3*x12*x13^3
x10^2*x11^2*x12*x13^3
x9*x10*x11^2*x12*x13^3
x7*x10*x11^2*x12*x13^3
x6*x10*x11^2*x12*x13^3
x5*x10*x11^2*x12*x13^3
x4*x10*x11^2*x12*x13^3
x3*x10*x11^2*x12*x13^3
x2*x10*x11^2*x12*x13^3
x1*x10*x11^2*x12*x13^3
x9^2*x11^2*x12*x13^3
x7*x9*x11^2*x12*x13^3
x6*x9*x11^2*x12*x13^3
x5*x9*x11^2*x12*x13^3
x4*x9*x11^2*x12*x13^3
x3*x9*x11^2*x12*x13^3
x2*x9*x11^2*x12*x13^3
x1*x9*x11^2*x12*x13^3
x6*x7*x11^2*x12*x13^3
x3*x7*x11^2*x12*x13^3
x2*x7*x11^2*x12*x13^3
x1*x7*x11^2*x12*x13^3
x3*x6*x11^2*x12*x13^3
x2*x6*x11^2*x12*x13^3
x1*x6*x11^2*x12*x13^3
x5^2*x11^2*x12*x13^3
x4*x5*x11^2*x12*x13^3
x3*x5*x11^2*x12*x13^3
x2*x5*x11^2*x12*x13^3
x1*x5*x11^2*x12*x13^3
x3*x4*x11^2*x12*x13^3
x2*x4*x11^2*x12*x13^3
x1*x3*x11^2*x12*x13^3
x2^2*x11^2*x12*x13^3
x10^3*x11*x12*x13^3
x9*x10^2*x11*x12*x13^3
x7*x10^2*x11*x12*x13^3
x6*x10^2*x11*x12*x13^3
x5*x10^2*x11*x12*x13^3
x4*x10^2*x11*x12*x13^3
x3*x10^2*x11*x12*x13^3
x2*x10^2*x11*x12*x13^3
x1*x10^2*x11*x12*x13^3
x9^2*x10*x11*x12*x13^3
x9^5*x13^3
x6*x9^4*x13^3
x2^6*x12*x13
x4*x11^6*x13

% 9
x2*x4*x12*x13^6
x1*x3*x12*x13^6
x2^2*x12*x13^6
x11^3*x13^6
x10*x11^2*x13^6
x9*x11^2*x13^6
x7*x11^2*x13^6
x6*x11^2*x13^6
x5*x11^2*x13^6
x4*x11^2*x13^6
x3*x11^2*x13^6
x2*x11^2*x13^6
x1*x11^2*x13^6
x10^2*x11*x13^6
x9*x10*x11*x13^6
x7*x10*x11*x13^6
x6*x10*x11*x13^6
x5*x10*x11*x13^6
x4*x10*x11*x13^6
x3*x10*x11*x13^6
x2*x10*x11*x13^6
x1*x10*x11*x13^6
x9^2*x11*x13^6
x7*x9*x11*x13^6
x6*x9*x11*x13^6
x5*x9*x11*x13^6
x4*x9*x11*x13^6
x3*x9*x11*x13^6
x2*x9*x11*x13^6
x1*x9*x11*x13^6
x6*x7*x11*x13^6
x3*x7*x11*x13^6
x2*x7*x11*x13^6
x1*x7*x11*x13^6
x3*x6*x11*x13^6
x2*x6*x11*x13^6
x1*x6*x11*x13^6
x5^2*x11*x13^6
x4*x5*x11*x13^6
x3*x5*x11*x13^6
x2*x5*x11*x13^6
x1*x5*x11*x13^6
x3*x4*x11*x13^6
x2*x4*x11*x13^6
x1*x3*x11*x13^6
x2^2*x11*x13^6
x10^3*x13^6
x9*x10^2*x13^6
x7*x10^2*x13^6
x6*x10^2*x13^6
x5*x10^2*x13^6
x4*x10^2*x13^6
x3*x10^2*x13^6
x2*x10^2*x13^6
x1*x10^2*x13^6
x9^2*x10*x13^6
x7*x9*x10*x13^6
x6*x9*x10*x13^6
x5*x9*x10*x13^6
x4*x9*x10*x13^6
x3*x9*x10*x13^6
x2*x9*x10*x13^6
x1*x9*x10*x13^6
x6*x7*x10*x13^6
x3*x7*x10*x13^6
x2*x7*x10*x13^6
x1*x7*x10*x13^6
x3*x6*x10*x13^6
x2*x6*x10*x13^6
x1*x6*x10*x13^6
x5^2*x10*x13^6
x4*x5*x10*x13^6
x3*x5*x10*x13^6
x2*x5*x10*x13^6
x1*x5*x10*x13^6
x3*x4*x10*x13^6
x1*x3*x10*x13^6
x2^2*x10*x13^6
x9^3*x13^6
x7*x9^2*x13^6
x6*x9^2*x13^6
x3*x9^2*x13^6
x2*x9^2*x13^6
x1*x9^2*x13^6
x6*x7*x9*x13^6
x3*x7*x9*x13^6
x2*x5*x9*x13^6
x1*x5*x9*x13^6
x2*x4*x9*x13^6
x1*x3*x9*x13^6
x2^2*x9*x13^6
x1*x3*x7*x13^6
x2^2*x7*x13^6
x1*x3*x6*x13^6
x2^2*x6*x13^6
x5^3*x13^6
x4*x5^2*x13^6
x3*x5^2*x13^6
x3*x4*x5*x13^6
x2*x4*x5*x13^6
x2^2*x5*x13^6
x2^2*x4*x13^6
x2^3*x13^6
x12^4*x13^5
x11*x12^3*x13^5
x10*x12^3*x13^5
x9*x12^3*x13^5
x7*x12^3*x13^5
x6*x12^3*x13^5
x5*x12^3*x13^5
x4*x12^3*x13^5
x3*x12^3*x13^5
x2*x12^3*x13^5
x1*x12^3*x13^5
x11^2*x12^2*x13^5
x10*x11*x12^2*x13^5
x9*x11*x12^2*x13^5
x7*x11*x12^2*x13^5
x6*x11*x12^2*x13^5
x5*x11*x12^2*x13^5
x4*x11*x12^2*x13^5
x3*x11*x12^2*x13^5
x2*x11*x12^2*x13^5
x1*x11*x12^2*x13^5
x10^2*x12^2*x13^5
x9*x10*x12^2*x13^5
x7*x10*x12^2*x13^5
x6*x10*x12^2*x13^5
x5*x10*x12^2*x13^5
x4*x10*x12^2*x13^5
x3*x10*x12^2*x13^5
x2*x10*x12^2*x13^5
x1*x10*x12^2*x13^5
x9^2*x12^2*x13^5
x7*x9*x12^2*x13^5
x6*x9*x12^2*x13^5
x5*x9*x12^2*x13^5
x4*x9*x12^2*x13^5
x3*x9*x12^2*x13^5
x2*x9*x12^2*x13^5
x1*x9*x12^2*x13^5
x6*x7*x12^2*x13^5
x3*x7*x12^2*x13^5
x2*x7*x12^2*x13^5
x1*x7*x12^2*x13^5
x3*x6*x12^2*x13^5
x2*x6*x12^2*x13^5
x1*x6*x12^2*x13^5
x5^2*x12^2*x13^5
x4*x5*x12^2*x13^5
x3*x5*x12^2*x13^5
x2*x5*x12^2*x13^5
x1*x5*x12^2*x13^5
x3*x4*x12^2*x13^5
x2*x4*x12^2*x13^5
x1*x3*x12^2*x13^5
x2^2*x12^2*x13^5
x11^3*x12*x13^5
x10*x11^2*x12*x13^5
x9*x11^2*x12*x13^5
x7*x11^2*x12*x13^5
x6*x11^2*x12*x13^5
x5*x11^2*x12*x13^5
x4*x11^2*x12*x13^5
x3*x11^2*x12*x13^5
x2*x11^2*x12*x13^5
x1*x11^2*x12*x13^5
x10^2*x11*x12*x13^5
x9*x10*x11*x12*x13^5
x7*x10*x11*x12*x13^5
x6*x10*x11*x12*x13^5
x5*x10*x11*x12*x13^5
x4*x10*x11*x12*x13^5
x3*x10*x11*x12*x13^5
x2*x10*x11*x12*x13^5
x1*x10*x11*x12*x13^5
x9^2*x11*x12*x13^5
x7*x9*x11*x12*x13^5
x6*x9*x11*x12*x13^5
x5*x9*x11*x12*x13^5
x4*x9*x11*x12*x13^5
x3*x9*x11*x12*x13^5
x2*x9*x11*x12*x13^5
x1*x9*x11*x12*x13^5
x6*x7*x11*x12*x13^5
x3*x7*x11*x12*x13^5
x2*x7*x11*x12*x13^5
x1*x7*x11*x12*x13^5
x3*x6*x11*x12*x13^5
x2*x6*x11*x12*x13^5
x1*x6*x11*x12*x13^5
x5^2*x11*x12*x13^5
x4*x5*x11*x12*x13^5
x3*x5*x11*x12*x13^5
x2*x5*x11*x12*x13^5
x1*x5*x11*x12*x13^5
x3*x4*x11*x12*x13^5
x2*x4*x11*x12*x13^5
x1*x3*x11*x12*x13^5
x2^2*x11*x12*x13^5
x10^3*x12*x13^5
x9*x10^2*x12*x13^5
x7*x10^2*x12*x13^5
x6*x10^2*x12*x13^5
x5*x10^2*x12*x13^5
x4*x10^2*x12*x13^5
x3*x10^2*x12*x13^5
x2*x10^2*x12*x13^5
x1*x10^2*x12*x13^5
x9^2*x10*x12*x13^5
x7*x9*x10*x12*x13^5
x6*x9*x10*x12*x13^5
x5*x9*x10*x12*x13^5
x4*x9*x10*x12*x13^5
x3*x9*x10*x12*x13^5
x2*x9*x10*x12*x13^5
x1*x9*x10*x12*x13^5
x6*x7*x10*x12*x13^5
x3*x7*x10*x12*x13^5
x2*x7*x10*x12*x13^5
x1*x7*x10*x12*x13^5
x3*x6*x10*x12*x13^5
x2*x6*x10*x12*x13^5
x1*x6*x10*x12*x13^5
x5^2*x10*x12*x13^5
x4*x5*x10*x12*x13^5
x3*x5*x10*x12*x13^5
x2*x5*x10*x12*x13^5
x1*x5*x10*x12*x13^5
x3*x4*x10*x12*x13^5
x1*x3*x10*x12*x13^5
x2^2*x10*x12*x13^5
x9^3*x12*x13^5
x7*x9^2*x12*x13^5
x6*x9^2*x12*x13^5
x3*x9^2*x12*x13^5
x2*x9^2*x12*x13^5
x1*x9^2*x12*x13^5
x6*x7*x9*x12*x13^5
x3*x7*x9*x12*x13^5
x2*x5*x9*x12*x13^5
x1*x5*x9*x12*x13^5
x2*x4*x9*x12*x13^5
x1*x3*x9*x12*x13^5
x2^2*x9*x12*x13^5
x1*x3*x7*x12*x13^5
x2^2*x7*x12*x13^5
x2^2*x6*x12*x13^5
x5^3*x12*x13^5
x4*x5^2*x12*x13^5
x3*x5^2*x12*x13^5
x3*x4*x5*x12*x13^5
x2*x4*x5*x12*x13^5
x2^2*x5*x12*x13^5
x2^2*x4*x12*x13^5
x2^3*x12*x13^5
x11^4*x13^5
x10*x11^3*x13^5
x9*x11^3*x13^5
x7*x11^3*x13^5
x6*x11^3*x13^5
x5*x11^3*x13^5
x4*x11^3*x13^5
x3*x11^3*x13^5
x2*x11^3*x13^5
x1*x11^3*x13^5
x10^2*x11^2*x13^5
x9*x10*x11^2*x13^5
x7*x10*x11^2*x13^5
x6*x10*x11^2*x13^5
x5*x10*x11^2*x13^5
x4*x10*x11^2*x13^5
x3*x10*x11^2*x13^5
x2*x10*x11^2*x13^5
x1*x10*x11^2*x13^5
x9^2*x11^2*x13^5
x7*x9*x11^2*x13^5
x6*x9*x11^2*x13^5
x5*x9*x11^2*x13^5
x4*x9*x11^2*x13^5
x3*x9*x11^2*x13^5
x11^5*x13^4
x5*x11^4*x13^4

% 10
x12*x13^9
x11*x13^9
x10*x13^9
x9*x13^9
x7*x13^9
x6*x13^9
x5*x13^9
x4*x13^9
x3*x13^9
x2*x13^9
x1*x13^9
x12^2*x13^8
x11*x12*x13^8
x10*x12*x13^8
x9*x12*x13^8
x7*x12*x13^8
x6*x12*x13^8
x5*x12*x13^8
x4*x12*x13^8
x3*x12*x13^8
x2*x12*x13^8
x1*x12*x13^8
x11^2*x13^8
x10*x11*x13^8
x9*x11*x13^8
x7*x11*x13^8
x6*x11*x13^8
x5*x11*x13^8
x4*x11*x13^8
x3*x11*x13^8
x2*x11*x13^8
x1*x11*x13^8
x10^2*x13^8
x9*x10*x13^8
x7*x10*x13^8
x6*x10*x13^8
x5*x10*x13^8
x4*x10*x13^8
x3*x10*x13^8
x2*x10*x13^8
x1*x10*x13^8
x9^2*x13^8
x7*x9*x13^8
x6*x9*x13^8
x5*x9*x13^8
x4*x9*x13^8
x3*x9*x13^8
x2*x9*x13^8
x1*x9*x13^8
x6*x7*x13^8
x3*x7*x13^8
x2*x7*x13^8
x1*x7*x13^8
x3*x6*x13^8
x2*x6*x13^8
x1*x6*x13^8
x5^2*x13^8
x4*x5*x13^8
x3*x5*x13^8
x2*x5*x13^8
x1*x5*x13^8
x3*x4*x13^8
x2*x4*x13^8
x1*x3*x13^8
x2^2*x13^8
x12^3*x13^7
x11*x12^2*x13^7
x10*x12^2*x13^7
x9*x12^2*x13^7
x7*x12^2*x13^7
x6*x12^2*x13^7
x5*x12^2*x13^7
x4*x12^2*x13^7
x3*x12^2*x13^7
x2*x12^2*x13^7
x1*x12^2*x13^7
x11^2*x12*x13^7
x10*x11*x12*x13^7
x9*x11*x12*x13^7
x7*x11*x12*x13^7
x6*x11*x12*x13^7
x5*x11*x12*x13^7
x4*x11*x12*x13^7
x3*x11*x12*x13^7
x2*x11*x12*x13^7
x1*x11*x12*x13^7
x10^2*x12*x13^7
x9*x10*x12*x13^7
x7*x10*x12*x13^7
x6*x10*x12*x13^7
x5*x10*x12*x13^7
x4*x10*x12*x13^7
x3*x10*x12*x13^7
x2*x10*x12*x13^7
x1*x10*x12*x13^7
x9^2*x12*x13^7
x7*x9*x12*x13^7
x6*x9*x12*x13^7
x5*x9*x12*x13^7
x4*x9*x12*x13^7
x3*x9*x12*x13^7
x2*x9*x12*x13^7
x1*x9*x12*x13^7
x6*x7*x12*x13^7
x3*x7*x12*x13^7
x2*x7*x12*x13^7
x1*x7*x12*x13^7
x3*x6*x12*x13^7
x2*x6*x12*x13^7
x1*x6*x12*x13^7
x5^2*x12*x13^7
x4*x5*x12*x13^7
x3*x5*x12*x13^7
x2*x5*x12*x13^7
x1*x5*x12*x13^7
x3*x4*x12*x13^7

% 11
x13^11

Done
