1T(RN,          0x0p+0,             nan,             nan,          0x0p+0, 0)
2T(RN,          0x0p+0,             inf,          0x0p+0,          0x0p+0, 0)
3T(RN,          0x0p+0,        0x1.8p+1,          0x0p+0,          0x0p+0, 0)
4T(RN,          0x0p+0,          0x1p+1,          0x0p+0,          0x0p+0, 0)
5T(RN,          0x0p+0,          0x1p+0,          0x0p+0,          0x0p+0, 0)
6T(RN,          0x0p+0,          0x1p-1,          0x0p+0,          0x0p+0, 0)
7T(RN,          0x0p+0,          0x0p+0,          0x1p+0,          0x0p+0, 0)
8T(RN,          0x0p+0,         -0x0p+0,          0x1p+0,          0x0p+0, 0)
9T(RN,          0x0p+0,         -0x1p-1,             inf,          0x0p+0, DIVBYZERO)
10T(RN,          0x0p+0,         -0x1p+0,             inf,          0x0p+0, DIVBYZERO)
11T(RN,          0x0p+0,         -0x1p+1,             inf,          0x0p+0, DIVBYZERO)
12T(RN,          0x0p+0,       -0x1.8p+1,             inf,          0x0p+0, DIVBYZERO)
13T(RN,          0x0p+0,         -0x1p+2,             inf,          0x0p+0, DIVBYZERO)
14T(RN,          0x0p+0,            -inf,             inf,          0x0p+0, 0)
15T(RN,         -0x0p+0,             nan,             nan,          0x0p+0, 0)
16T(RN,         -0x0p+0,             inf,          0x0p+0,          0x0p+0, 0)
17T(RN,         -0x0p+0,        0x1.8p+1,         -0x0p+0,          0x0p+0, 0)
18T(RN,         -0x0p+0,          0x1p+1,          0x0p+0,          0x0p+0, 0)
19T(RN,         -0x0p+0,          0x1p+0,         -0x0p+0,          0x0p+0, 0)
20T(RN,         -0x0p+0,          0x1p-1,          0x0p+0,          0x0p+0, 0)
21T(RN,         -0x0p+0,          0x0p+0,          0x1p+0,          0x0p+0, 0)
22T(RN,         -0x0p+0,         -0x0p+0,          0x1p+0,          0x0p+0, 0)
23T(RN,         -0x0p+0,         -0x1p-1,             inf,          0x0p+0, DIVBYZERO)
24T(RN,         -0x0p+0,         -0x1p+0,            -inf,          0x0p+0, DIVBYZERO)
25T(RN,         -0x0p+0,         -0x1p+1,             inf,          0x0p+0, DIVBYZERO)
26T(RN,         -0x0p+0,       -0x1.8p+1,            -inf,          0x0p+0, DIVBYZERO)
27T(RN,         -0x0p+0,         -0x1p+2,             inf,          0x0p+0, DIVBYZERO)
28T(RN,         -0x0p+0,            -inf,             inf,          0x0p+0, 0)
29T(RN,             nan,          0x0p+0,          0x1p+0,          0x0p+0, 0)
30T(RN,             inf,          0x0p+0,          0x1p+0,          0x0p+0, 0)
31T(RN,            -inf,          0x0p+0,          0x1p+0,          0x0p+0, 0)
32T(RN,          0x1p+0,          0x0p+0,          0x1p+0,          0x0p+0, 0)
33T(RN,         -0x1p+0,          0x0p+0,          0x1p+0,          0x0p+0, 0)
34T(RN,         -0x1p-1,          0x0p+0,          0x1p+0,          0x0p+0, 0)
35T(RN,             nan,         -0x0p+0,          0x1p+0,          0x0p+0, 0)
36T(RN,             inf,         -0x0p+0,          0x1p+0,          0x0p+0, 0)
37T(RN,            -inf,         -0x0p+0,          0x1p+0,          0x0p+0, 0)
38T(RN,          0x1p+0,         -0x0p+0,          0x1p+0,          0x0p+0, 0)
39T(RN,         -0x1p+0,         -0x0p+0,          0x1p+0,          0x0p+0, 0)
40T(RN,         -0x1p-1,         -0x0p+0,          0x1p+0,          0x0p+0, 0)
41T(RN,         -0x1p+0,             nan,             nan,          0x0p+0, 0)
42T(RN,         -0x1p+0,             inf,          0x1p+0,          0x0p+0, 0)
43T(RN,         -0x1p+0,            -inf,          0x1p+0,          0x0p+0, 0)
44T(RN,         -0x1p+0,          0x1p+1,          0x1p+0,          0x0p+0, 0)
45T(RN,         -0x1p+0,         -0x1p+0,         -0x1p+0,          0x0p+0, 0)
46T(RN,         -0x1p+0,         -0x1p+1,          0x1p+0,          0x0p+0, 0)
47T(RN,         -0x1p+0,       -0x1.8p+1,         -0x1p+0,          0x0p+0, 0)
48T(RN,         -0x1p+0,          0x1p-1,             nan,          0x0p+0, INVALID)
49T(RN,          0x1p+0,             nan,          0x1p+0,          0x0p+0, 0)
50T(RN,          0x1p+0,             inf,          0x1p+0,          0x0p+0, 0)
51T(RN,          0x1p+0,            -inf,          0x1p+0,          0x0p+0, 0)
52T(RN,          0x1p+0,        0x1.8p+1,          0x1p+0,          0x0p+0, 0)
53T(RN,          0x1p+0,          0x1p-1,          0x1p+0,          0x0p+0, 0)
54T(RN,          0x1p+0,         -0x1p-1,          0x1p+0,          0x0p+0, 0)
55T(RN,          0x1p+0,       -0x1.8p+1,          0x1p+0,          0x0p+0, 0)
56T(RN,         -0x1p-1,          0x1p-1,             nan,          0x0p+0, INVALID)
57T(RN,         -0x1p-1,        0x1.8p+0,             nan,          0x0p+0, INVALID)
58T(RN,         -0x1p-1,          0x1p+1,          0x1p-2,          0x0p+0, 0)
59T(RN,         -0x1p-1,        0x1.8p+1,         -0x1p-3,          0x0p+0, 0)
60T(RN,         -0x1p-1,             inf,          0x0p+0,          0x0p+0, 0)
61T(RN,         -0x1p-1,            -inf,             inf,          0x0p+0, 0)
62T(RN,         -0x1p-1,             nan,             nan,          0x0p+0, 0)
63T(RN,          0x1p-1,             inf,          0x0p+0,          0x0p+0, 0)
64T(RN,          0x1p-1,            -inf,             inf,          0x0p+0, 0)
65T(RN,          0x1p-1,             nan,             nan,          0x0p+0, 0)
66T(RN,        0x1.8p+0,             inf,             inf,          0x0p+0, 0)
67T(RN,        0x1.8p+0,            -inf,          0x0p+0,          0x0p+0, 0)
68T(RN,        0x1.8p+0,             nan,             nan,          0x0p+0, 0)
69T(RN,             inf,             nan,             nan,          0x0p+0, 0)
70T(RN,             inf,             inf,             inf,          0x0p+0, 0)
71T(RN,             inf,            -inf,          0x0p+0,          0x0p+0, 0)
72T(RN,             inf,        0x1.8p+1,             inf,          0x0p+0, 0)
73T(RN,             inf,          0x1p+1,             inf,          0x0p+0, 0)
74T(RN,             inf,          0x1p+0,             inf,          0x0p+0, 0)
75T(RN,             inf,          0x1p-1,             inf,          0x0p+0, 0)
76T(RN,             inf,         -0x1p-1,          0x0p+0,          0x0p+0, 0)
77T(RN,             inf,         -0x1p+0,          0x0p+0,          0x0p+0, 0)
78T(RN,             inf,         -0x1p+1,          0x0p+0,          0x0p+0, 0)
79T(RN,            -inf,             nan,             nan,          0x0p+0, 0)
80T(RN,            -inf,             inf,             inf,          0x0p+0, 0)
81T(RN,            -inf,            -inf,          0x0p+0,          0x0p+0, 0)
82T(RN,            -inf,        0x1.8p+1,            -inf,          0x0p+0, 0)
83T(RN,            -inf,          0x1p+1,             inf,          0x0p+0, 0)
84T(RN,            -inf,          0x1p+0,            -inf,          0x0p+0, 0)
85T(RN,            -inf,          0x1p-1,             inf,          0x0p+0, 0)
86T(RN,            -inf,         -0x1p-1,          0x0p+0,          0x0p+0, 0)
87T(RN,            -inf,         -0x1p+0,         -0x0p+0,          0x0p+0, 0)
88T(RN,            -inf,         -0x1p+1,          0x0p+0,          0x0p+0, 0)
89T(RN,             nan,          0x1p+0,             nan,          0x0p+0, 0)
90T(RN,             nan,         -0x1p+0,             nan,          0x0p+0, 0)
91T(RN,         -0x1p+1,          0x1p+0,         -0x1p+1,          0x0p+0, 0)
92T(RN,         -0x1p+1,         -0x1p+0,         -0x1p-1,          0x0p+0, 0)
93