Github_Repos/cvw
1
0
Fork 1
mirror of https://github.com/openhwgroup/cvw synced 2025-01-26 22:44:28 +00:00
Code Issues Packages Projects Releases Wiki Activity

fixed various bugs in the FMA

Browse Source
This commit is contained in:
Katherine Parry 2021-03-24 01:35:32 +00:00
parent 8556c07261
commit fb78dedae2
8 changed files with 158 additions and 689 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
wally-pipelined/src/fpu/FMA/add.sv
View File

@ -26,6 +26,7 @@ module add(r, s, t, sum,
output [163:0] sum; // sum
output negsum0; // sum was negative in +0 mode
output negsum1; // sum was negative in +1 mode
//output sumzero;
// Internal nodes
@ -47,7 +48,7 @@ module add(r, s, t, sum,
// Compound adder
// Consists of 3:2 CSA followed by long compound CPA
assign prodshifted = {56'b0, r2, 2'b0} + {56'b0, s2, 2'b0};
assign prodshifted = killprod ? 0 : {56'b0, r2, 2'b0} + {56'b0, s2, 2'b0};
assign sum0 = {1'b0,prodshifted} + t2 + 158'b0;
assign sum1 = {1'b0,prodshifted} + t2 + 158'b1; // +1 from invert of z above
@ -56,7 +57,7 @@ module add(r, s, t, sum,
assign negsum1 = sum1[164];
// Mux proper result (+Oil mode and inversion) using 4:1 mux
//assign sumzero = |sum;
assign sum = selsum1 ? (negsum ? -sum1[163:0] : sum1[163:0]) : (negsum ? -sum0[163:0] : sum0[163:0]);
endmodule

23
wally-pipelined/src/fpu/FMA/align.sv
View File

@ -12,7 +12,7 @@
/////////////////////////////////////////////////////////////////////////////
module align(zman, ae, aligncnt, xzero, yzero, zzero, zdenorm, proddenorm, t, bs, ps,
killprod, zexpsel, sumshift);
killprod, zexpsel, sumshift, sumshiftzero);
/////////////////////////////////////////////////////////////////////////////
input [51:0] zman; // Fraction of addend z;
@ -29,6 +29,7 @@ module align(zman, ae, aligncnt, xzero, yzero, zzero, zdenorm, proddenorm, t, bs
output killprod; // Z >> product
output zexpsel; // Z >> product
output [7:0] sumshift;
output sumshiftzero;
// Internal nodes
@ -43,6 +44,7 @@ module align(zman, ae, aligncnt, xzero, yzero, zzero, zdenorm, proddenorm, t, bs
wire [51:0] z2; // Z selected after handling rounds
wire [11:0] align104; // alignment count + 104
logic [8:0] sumshift;
logic sumshiftzero;
@ -68,30 +70,39 @@ module align(zman, ae, aligncnt, xzero, yzero, zzero, zdenorm, proddenorm, t, bs
if ($signed(aligncnt) <= $signed(-105)) begin //d<=-2p+1
//product ancored case with saturated shift
sumshift = 163; // 3p+4
sumshiftzero = 0;
shift = {~zdenorm,zman,163'b0} >> sumshift;
t = {shift[215:52]};
bs = |(shift[51:0]);
//zexpsel = 0;
end else if($signed(aligncnt) <= $signed(2)) begin // -2p+1<d<=2
end else if($signed(aligncnt) <= $signed(0)) begin // -2p+1<d<=2
// set d<=2 to d<=0
// product ancored or cancellation
sumshift = 56-aligncnt; // p + 3 - d
// warning: set to 55 rather then 56. was there a typo in the book?
sumshift = 55-aligncnt; // p + 3 - d
sumshiftzero = 0;
shift = {~zdenorm,zman,163'b0} >> sumshift;
t = {shift[215:52]};
bs = |(shift[51:0]);
//zexpsel = 0;
end else if ($signed(aligncnt)<=$signed(55)) begin // 2 < d <= p+2
end else if ($signed(aligncnt)<=$signed(52)) begin // 2 < d <= p+2
// another typo in book? above was 55 changed to 52
// addend ancored case
sumshift = 56-aligncnt;
// used to be 56 \/ somthing doesn't seem right too many typos
sumshift = 55-aligncnt;
sumshiftzero = 0;
shift = {~zdenorm,zman, 163'b0} >> sumshift;
t = {shift[215:52]};
bs = |(shift[51:0]);
//zexpsel = 1;
end else begin // d >= p+3
// addend anchored case with saturated shift
sumshift = 0;
sumshift = 0;
sumshiftzero = 1;
shift = {~zdenorm,zman, 163'b0} >> sumshift;
t = {shift[215:52]};
bs = |(shift[51:0]);
killprod = 1;
//ps = 1;
//zexpsel = 1;

13
wally-pipelined/src/fpu/FMA/expgen.sv
View File

@ -17,7 +17,7 @@
/////////////////////////////////////////////////////////////////////////////
module expgen(xexp, yexp, zexp,
killprod, sumzero, resultdenorm, normcnt, infinity,
invalid, overflow, underflow, inf,
invalid, overflow, underflow, inf, xzero, yzero,expplus1,
nan, de0, xnan, ynan, znan, xdenorm, ydenorm, zdenorm, proddenorm, specialsel, zexpsel,
aligncnt, wexp,
prodof, sumof, sumuf, denorm0, ae);
@ -43,6 +43,9 @@ module expgen(xexp, yexp, zexp,
input xdenorm; // Z is denorm
input ydenorm; // Z is denorm
input zdenorm; // Z is denorm
input xzero; // Z is denorm
input yzero; // Z is denorm
input expplus1;
input proddenorm; // product is denorm
input specialsel; // Select special result
input zexpsel; // Select special result
@ -72,7 +75,7 @@ module expgen(xexp, yexp, zexp,
// if exponent is out of bounds
assign ae = xexp + yexp -1023;
assign ae = xzero|yzero ? 0 : xexp + yexp -1023;
assign prodof = (ae > 2046 && ~ae[12]);
@ -82,7 +85,7 @@ module expgen(xexp, yexp, zexp,
// check if a round overflows is shorter than the actual round and
// is masked by the bypass mux and two 10 bit adder delays.
assign aligncnt = zexp -(xexp + yexp -1023) - 1 + ~xdenorm + ~ydenorm - ~zdenorm;// KEP use all of ae
assign aligncnt = zexp -ae - 1 + ~xdenorm + ~ydenorm - ~zdenorm;
//assign aligncnt = zexp - ae;// KEP use all of ae
// Select exponent (usually from product except in case of huge addend)
@ -103,7 +106,7 @@ module expgen(xexp, yexp, zexp,
// check for exponent out of bounds after add
assign de = resultdenorm ? 0 : de0;
assign de = resultdenorm | sumzero ? 0 : de0;
assign sumof = de[12];
assign sumuf = de == 0 && ~sumzero && ~resultdenorm;
@ -132,6 +135,6 @@ module expgen(xexp, yexp, zexp,
// A mux selects the early result from other FPU blocks or the
// normalized FMAC result. Special cases are also detected.
assign wexp = specialsel ? specialres[10:0] : de[10:0];
assign wexp = specialsel ? specialres[10:0] : de[10:0] + expplus1;
endmodule

3
wally-pipelined/src/fpu/FMA/fmac.sv
View File

@ -93,10 +93,13 @@ module fmac(x, y, z, rn, rz, rp, rm,
logic ynan;
logic znan;
logic specialsel;
logic expplus1;
logic nan;
logic sumuf;
logic psign;
logic sticky;
logic [8:0] sumshift;
logic sumshiftzero;
logic [12:0] de0;

6
wally-pipelined/src/fpu/FMA/multiply.sv
View File

@ -1,15 +1,17 @@
module multiply(xman, yman, xdenorm, ydenorm, r, s);
module multiply(xman, yman, xdenorm, ydenorm, xzero, yzero, r, s);
/////////////////////////////////////////////////////////////////////////////
input [51:0] xman; // Fraction of multiplicand x
input [51:0] yman; // Fraction of multiplicand y
input xdenorm; // is x denormalized
input ydenorm; // is y denormalized
input xzero; // Z is denorm
input yzero; // Z is denorm
output [105:0] r; // partial product 1
output [105:0] s; // partial product 2
assign r = 106'b0;
assign s = {53'b0,~xdenorm,xman} * {53'b0,~ydenorm,yman};
assign s = {53'b0,~(xdenorm|xzero),xman} * {53'b0,~(ydenorm|yzero),yman};
endmodule

60
wally-pipelined/src/fpu/FMA/normalize.sv
View File

@ -14,7 +14,7 @@
/////////////////////////////////////////////////////////////////////////////
/////////////////////////////////////////////////////////////////////////////
module normalize(sum, zexp, normcnt, ae, aligncnt, sumshift, sumzero, bs, ps, denorm0, zdenorm, de0, resultdenorm, v);
module normalize(sum, zexp, invz, normcnt, ae, aligncnt, sumshift, sumshiftzero, sumzero, xzero, yzero, bs, ps, denorm0, xdenorm, ydenorm, zdenorm, sticky, de0, resultdenorm, v);
/////////////////////////////////////////////////////////////////////////////
input [163:0] sum; // sum
input [62:52] zexp; // sum
@ -22,11 +22,18 @@ module normalize(sum, zexp, normcnt, ae, aligncnt, sumshift, sumzero, bs, ps, de
input [12:0] ae; // normalization shift count
input [12:0] aligncnt; // normalization shift count
input [8:0] sumshift; // normalization shift count
input sumshiftzero;
input invz;
input sumzero; // sum is zero
input bs; // sticky bit for addend
input ps; // sticky bit for product
input denorm0; // exponent = -1023
input xdenorm; // Input Z is denormalized
input ydenorm; // Input Z is denormalized
input zdenorm; // Input Z is denormalized
input xzero;
input yzero;
output sticky; //sticky bit
output [12:0] de0;
output resultdenorm; // Input Z is denormalized
output [53:0] v; // normalized sum, R, S bits
@ -37,8 +44,10 @@ module normalize(sum, zexp, normcnt, ae, aligncnt, sumshift, sumzero, bs, ps, de
logic resultdenorm; // Input Z is denormalized
logic [12:0] de0;
logic [163:0] sumshifted; // shifted sum
logic [9:0] sumshifttmp;
logic [163:0] sumshiftedtmp; // shifted sum
logic tmp;
logic sticky;
logic tmp,tmp1,tmp2,tmp3;
// When the sum is zero, normalization does not apply and only the
// sticky bit must be computed. Otherwise, the sum is right-shifted
@ -58,37 +67,52 @@ logic tmp;
// l = normcnt
// p = 53
// ea + eb = ae
if ($signed(aligncnt)<=$signed(2)) begin //d<=2
// set d<=2 to d<=0
if ($signed(aligncnt)<=$signed(0)) begin //d<=2
// product anchored or cancellation
if ($signed(ae-normcnt+2) >= $signed(-1022)) begin //ea+eb-l+2 >= emin
//normal result
sumshifted = sum << (55+normcnt); // p+2+l
v = sumshifted[162:109];
sticky = (|sumshifted[108:0]) | bs;
resultdenorm = 0;
//de0 = ae-normcnt+2-1023;
de0 = ae-normcnt+2;
de0 = xzero|yzero ? zexp : ae-normcnt+2+xdenorm+ydenorm;
end else begin
sumshifted = sum << (1079+ae);
sumshifted = sum << (1080+ae);
v = sumshifted[162:109];
sticky = (|sumshifted[108:0]) | bs;
resultdenorm = 1;
de0 = 0;
end
end else begin // extract normalized bits
sumshifted = sum << sumshift;//-1;
//if(sumshifted[163])begin
// v = sumshifted[162:109];
// de0 = zexp -1;
//end else if (zdenorm || sumshifted[162]) begin
// v = sumshifted[161:108];
// de0 = zexp;
//end else begin
// v = sumshifted[160:107];
// de0 = zexp+1;
//end
v = sumshifted[162:109];
sumshifttmp = sumshift - 2;
sumshifted = sumshifttmp[9] ? sum : sum << sumshifttmp;
tmp1 = (sumshifted[163] & ~zdenorm & ~sumshifttmp[9]);
tmp2 = (zdenorm | sumshifttmp[9] || sumshifted[162]);
tmp3 = sumshifted[161];
// for some reason use exp = zexp + {0,1,2}
// the book says exp = zexp + {-1,0,1}
if(sumshiftzero) begin
v = sum[162:109];
sticky = sum[108:0] | bs;
de0 = zexp;
end else if(sumshifted[163] & ~zdenorm & ~sumshifttmp[9])begin
v = sumshifted[162:109];
sticky = (|sumshifted[108:0]) | bs;
de0 = zexp +2;
end else if (zdenorm | sumshifttmp[9] || sumshifted[162]) begin
v = sumshifted[161:108];
sticky = (|sumshifted[107:0]) | bs;
de0 = zexp+1;
end else begin
v = sumshifted[160:107];
sticky = (|sumshifted[106:0]) | bs;
//de0 = zexp-1;
de0 = zexp;
end
resultdenorm = 0;
end
end

26
wally-pipelined/src/fpu/FMA/round.sv
View File

@ -13,13 +13,14 @@
/////////////////////////////////////////////////////////////////////////////
/////////////////////////////////////////////////////////////////////////////
module round(v, rz, rn, rp, rm, wsign,
module round(v, sticky, rz, rn, rp, rm, wsign,
invalid, overflow, underflow, inf, nan, xnan, ynan, znan,
xman, yman, zman,
wman, infinity, specialsel);
wman, infinity, specialsel,expplus1);
/////////////////////////////////////////////////////////////////////////////
input [53:0] v; // normalized sum, R, S bits
input sticky; //sticky bit
input rz; // Round toward zero
input rn; // Round toward nearest
input rp; // Round toward plus infinity
@ -40,6 +41,7 @@ module round(v, rz, rn, rp, rm, wsign,
//output postnormalize; // Right shift 1 for post-rounding norm
output infinity; // Generate infinity on overflow
output specialsel; // Select special result
output expplus1;
// Internal nodes
@ -52,10 +54,20 @@ module round(v, rz, rn, rp, rm, wsign,
// Compute if round should occur. This equation is derived from
// the rounding tables.
assign plus1 = rn && ((v[1] && v[0]) || (v[2] && (v[1]))) ||
rp && ~wsign && (v[1] || v[0]) ||
rm && wsign && (v[1] || v[0]);
// round to infinity - plus1 if positive
// round to -infinity - plus1 if negitive
// round to zero - do nothing
// round to nearest even
// {v[1], v[0], sticky}
// 0xx - do nothing
// 100 - tie - plus1 if v[2] = 1
// 101/110/111 - plus1
assign plus1 = (rn & v[1] & (v[0] | sticky | (~v[0]&~sticky&v[2]))) |
(rp & ~wsign) |
(rm & wsign);
//assign plus1 = rn && ((v[1] && v[0]) || (v[2] && (v[1]))) ||
// rp && ~wsign && (v[1] || v[0]) ||
// rm && wsign && (v[1] || v[0]);
// Compute rounded result
assign v1 = v[53:2] + 1;
@ -101,7 +113,7 @@ module round(v, rz, rn, rp, rm, wsign,
// If the sum is zero and we round up, there is a special case in
// which we produce a massive loss of significance and trap to software.
// It is handled in the exception unit.
assign expplus1 = v1[52] & ~specialsel & plus1;
assign wman = specialsel ? specialres : (plus1 ? v1[51:0] : v[53:2]);
endmodule

711
wally-pipelined/src/fpu/FMA/tbgen/results.dat
View File

@ -1,653 +1,66 @@
0000000000000000 7fefffffffffffff 3cafffffffffffff 3fffffffffffffff 3cafffffffffffff Wrong 30209
ffe00000001fff00 8010000000000000 3fb9ffffffffffff 40006800001fff00 4000d000001fff00 Wrong 38265
43d0000000fe0000 bcaffffffffffffe c1d001fffffffdff c1d00201fffffe1e c1d00200fffffe0f Wrong 44307
b8016e821e7114dc bfeffffffffffffe b7f000000001fff7 37fadd043ce129ba 37f2dd043ce029bf Wrong 50349
0000000000000000 ffeffffffffffffe c340000000000000 c340000000000002 c340000000000000 Wrong 66461
3feffff77fffffff bfc0003fffffffbe 40200000fffbffff 402f7fff21fc8801 401f800021f88800 Wrong 94657
c0003fffffffff7f 37effffffe004000 381e29836bc8d7f8 37fbd306d9996ff2 381609836c4ac7f8 Wrong 118825
be5bffffffffeffe c01fffffffffffff 3ff7c1136e8aa3ca 3ff7c113de8aa3ca 3ff7c113a68aa3ca Wrong 128895
423fdfc000000000 3ca0000000000001 c00584e2101be3ef c00584d2203be3ef c00584da182be3ef Wrong 147021
c03c54bd6921b05d c02fe007ffffffff c0020b6d2412fdf2 407c266453c3d5f6 407c1458e69fc2f8 Wrong 149035
375fe20000000000 3fe0000000000001 b46ffffffffe0010 374fe1ffffffffc2 374fe1ffffffff82 Wrong 153063
403fffffe001ffff 3e5daa9beba734ca 4023fe0e11be1e1e 4023fe0e4d1355ba 4023fe0e2f68b9ec Wrong 155077
40e200000000003f 4000000000000000 41cffffffffffdfe 41c0011ffffffdfe 41d00047fffffeff Wrong 159105
ba5bfffffffbffff c3eff8f4a38946a4 c03fffffbfffc000 c03fffffbf1ff150 c03fffffbf8fd8a8 Wrong 167161
50aafe7c26407d06 3ffdfff7ffffffff 0e058c435455cc58 50b94e8da43d6ba4 50b94e8da43d6ba5 Wrong 173203
000fffffffffffff ffeffffffffffffe 3ff0000000000001 bffbfffffffffffc c007fffffffffffc Wrong xdenorm 205427
43dc9799aeac7b3a 3ff0000000000000 c0fff7ffffffffff 43dc9799aeac7afa 43dc9799aeac7aba Wrong 225567
bcaffc0000000ffe c0100000001ffffb bfcffff7ffffbffe bfcffff7ffffbfbe bfcffff7ffffbfde Wrong 245707
403000000000080e bfdfffffffffffff c05dfff800000000 c00fff8000002036 c05ffff800000102 Wrong 255777
412007fffeffffff bfffffffffffffff 4012000040000000 c13007fdbefff7fe c13007fb7effeffe Wrong 261819
c7eff7fffdffffff 3fe0000000000000 45bffffff7fffe00 c7dff7fffdfbffff c7dff7fffdf7ffff Wrong 292029
3fefff7ffffeffff 41e0001003ffffff c074811e0051b61d 41dfff9fde7ca3fb 41dfff9fb57a67fb Wrong 300085
bfdfffffb0000000 401ffffffffffffe 4000000800003fff c007fffbafffdffe bfffffef5fff7ffe Wrong 304113
0010000000000000 7fe0000000000000 c340000000000000 c34ffffffffffffe c33ffffffffffffe Wrong 308141
c09000003fffbfff bcafffffffffffff c02ffffffffe01ff c02ffffffffe00ff c02ffffffffe017f Wrong 322239
beef802000000000 c000000000000001 4000000000dfffff 4000001f80ffffff 4000000fc0efffff Wrong 334323
bdfffff8000000fe ba37ef95f9e7fcb2 ba2fc000007fffff ba2fbfffffc0837f ba2fc000002041bf Wrong 336337
bfe7da39e756fab8 c340000000000001 41d87200e15761ba 4337da3a183afc7c 4337da3a491efe3f Wrong 340365
bf4ff8000003ffff 400fc000000001ff bfd1000000040000 bfd17ee040040fe8 bfd13f70200407f4 Wrong 348421
bf3fe0003ffffffe 3ff0000000000000 bd83fffffffffffe bf3fe000413ffffe bf3fe000427ffffe Wrong 364533
38f986d8ef088441 400ffffffffffffe b806d62a6adf932d 391986d3397de988 391986cd83f34ed0 Wrong 370575
3d50fffffffffbff 434ffffffffffffe c13ff000007fffff c13fce0000800007 c13fdf0000800003 Wrong 376617
c1c007ffffffff7f c7effffffffc1fff 47ffffffff800001 49c00800007e0e86 49c0080000fe0e86 Wrong 396757
b7f9e772425b7128 bfaffdc000000000 380ffffffffbfffd 38019e59ffc12c68 381067967fef4b19 Wrong 402799
40d000000000ffc0 3ffffffffffffffe bff8001fffffffff 40dfffcfffc1ff7e 40dfff9fff81ff7e Wrong 437037
42a0400000ffffff 3fb0007feffffffe c09f800000000400 42604081f04207fc 42604081efc407fc Wrong 439051
001fffffffffffff 7fe0000000000000 3ff0000000000001 4012000000000000 4014000000000000 Wrong 447107
c09000fffffbfffe 4020000fffffffee 3fd0803fffffffff c0c000ff80bbffe8 c0c000ef007bffe8 Wrong 457177
3feffff77fffffff bfc0003fffffffbe 40200000fffbffff 402fc00010fc4400 401f800021f88800 Wrong 94657
0010000000000000 7fe0000000000000 c340000000000000 c34fffffffffffff c33ffffffffffffe Wrong 308141
8020007ffdffffff 9beffff7fff7fffe 000ffffffff7fffe 0000000000000000 000ffffffff7fffe Wrong zdenorm unflw 475303
ba00000000047fff c340000000000000 c08020000000001f c08020000000001b c08020000000001d Wrong 479331
3f4000100000003f 3feffffffffffffe 422ff00000007fff 422ff0000000807f 422ff0000000803f Wrong 503499
48700001fbfffffe bfcffffffc000400 c05bfffffffffbfe c8500001fa0001be c8500001fa0001bf Wrong 505513
001ffffffffffffe 7feffffffffffffe bff0000000000001 401dfffffffffffc 401bfffffffffffc Wrong 519611
4713ee08a1624b47 42ddfffe00000000 47f1ffffffffffee 4a02af26d8701c7c 4a02af26d8749c7c Wrong 529681
3ed03feffffffffe bf1ffbfff7fffffe 3fd000000000037e 3fdffffffefc24fe 3fcffffffefc287c Wrong 535723
3fbf800000001000 bff0000000000001 c1dfffff7fff7fff c1dfffff800f3fff c1dfffff80075fff Wrong 539751
c02c219606615d02 40d0000001fdfffe bfb0002800000000 c10c219649e2ab8c c10c219689e34b8d Wrong 541765
c0000000007ffff6 c010000000000000 c04fffffefffffff c037ffffefc00004 c04bffffefe00002 Wrong 545793
401fffbffffffffc c0000000000100ff 3fdb0c7f1aa6dcb7 c02f938e03976683 c02f275c072ccb10 Wrong 553849
409ff7fffffff7ff bf836ac78348eb47 bfc2000007ffffff c03377ecd1701431 c03389ecd1781431 Wrong 571975
3ca0000000000000 434ffffffffffffe bcafffffffffffff 3ffffffffffffffe 3ffffffffffffffd Wrong 586073
c1d45d281aa37a03 3c80dfffffffffff 3fe080000000fffe 3fe07fffd50c7f66 3fe07fffea86bfb2 Wrong 596143
3ca0000000000000 bfffffffffffffff 3cafffffffffffff bc9fffffffffffff 0000000000000000 Wrong 610241
bfd0000120000000 c000000000000000 3fc00003ff7fffff 3fe200019ff00000 3fe400021fe00000 Wrong 612255
3ca0000000000000 c010000000000001 bff0000000000001 bff0000000000005 bff0000000000003 Wrong 616283
3caf8000001fffff c340000000000000 3fdfffffdffeffff bffb800004201fff bff7800008203fff Wrong 618297
3fb0ffffffffffff 407000000fffffbf c0f00000000800fe c0fffde00005e0fe c0effde0000de1fc Wrong 632395
c050000003dfffff bd6000000004000f 3fef7fffffffffde 3fef80000007ffde 3fef80000003ffde Wrong 638437
3ca0000000000001 3fe0000000000000 3ff0000000000001 3ff0000000000002 3ff0000000000001 Wrong 640451
c5b00000000ffffd 434fffffffffffff 47ddffffffffdfff c90ffffe201ffff9 c90ffffc401ffff9 Wrong 654549
3ca0000000000001 7feffffffffffffe 3cafffffffffffff 7c90000000000000 7ca0000000000000 Wrong 658577
ffe0000000038000 3c100007ffffffff 3feffe0003fffffe fc00000800038000 fc00000800038001 Wrong 662605
3ca0000000000001 c000000000000001 bcafffffffffffff bcb8000000000002 bcc0000000000001 Wrong 682745
3ca0000000000001 c340000000000001 3ff0000000000001 bfe0000000000003 bcb0000000000001 Wrong 688787
3cafffffffffffff 3fd0000000000000 3cafffffffffffff 3ca7ffffffffffff 3cb3ffffffffffff Wrong 706913
c3e02000000fffff 3fdfffffffffffff c0cfffff00008000 c3d0200000100006 c3d020000010000e Wrong 708927
3b1001fffff7ffff c3ec47dbdb9fc9e2 c19f80000000001f c19f800000001c6a c19f800000000e45 Wrong 710941
3cafffffffffffff 3feffffffffffffe bff0000000000001 bfffffffffffffff bff0000000000000 Wrong 712955
c1dfffffefffdfff 4010000000000001 43e0004001000000 43e0004000800000 43e0004000c00000 Wrong 721011
3f0fffffebfffffe 7fd0000000404000 7fd0000010200000 7fd00080101fb202 7fd00040101fd901 Wrong 729067
38c000fffffffff6 bca0000000000000 37e76291995d8252 37e76291995d424e 37e76291995d6250 Wrong 739137
3ed03feffffffffe bf1ffbfff7fffffe 3fd000000000037e 3fdfffffff7e143e 3fcffffffefc287c Wrong 535723
3fb0ffffffffffff 407000000fffffbf c0f00000000800fe c0fffef00006f0fe c0effde0000de1fc Wrong 632395
3cafffffffffffff 3fd0000000000000 3cafffffffffffff 3c8ffffffffffffb 3cb3ffffffffffff Wrong 706913
37ffc3cd8026eda0 bfe0000000000000 beab43550afc66d5 bea0000000000000 beab43550afc66d5 Wrong 745179
3caf0000007fffff 43c3ba241e9c39cf 43efeffdffffffff 43efeffe00000000 43efeffdffffffff Wrong 747193
bfaffffdfffffeff c000000000000000 3f4000080000001f 3fc007ff03ffff80 3fc00fff07ffff80 Wrong 751221
3cafffffffffffff c010000000000001 3cafffffffffffff bccc000000000001 bcc8000000000001 Wrong 755249
3fd000000fbfffff c01ffffffffffffe 3fe00000fffffefe bffbffffdf80003c bff7ffff9f80007d Wrong 757263
bfd000080000000f b7e1fbffffffffff b800200000003ffe b7ebc0fdc0807ff8 b7fe007ee0407ffa Wrong 771361
3caffffffffffffe 3fdffffffffffffe bcafffffffffffff b967ffffffffffff bca0000000000001 Wrong 779417
3caffffffffffffe 3ffffffffffffffe 3ff0000000000001 3ff0000000000005 3ff0000000000003 Wrong 785459
3caffffffffffffe c340000000000000 bcafffffffffffff bffffffffffffffe bfffffffffffffff Wrong 827753
3ffb8acd8e55074b c34ffffffffffffe 41c3d05e9bb88a09 c35b8acd8960efa2 c35b8acd846cd7fb Wrong 829767
3fd0000000000000 3feffffffffffffe 3cafffffffffffff 3fd0000000000001 3fd0000000000003 Wrong 851921
f4d0700000000000 4061ae8809f49782 c3effffff7ffff7f f5422a4dc23a47a6 f5422a4dc23a47a7 Wrong 855949
3fd0000000000000 400fffffffffffff bff0000000000001 3fdffffffffffffc bcb8000000000000 Wrong 857963
3fd0000000000000 434fffffffffffff 4340000000000000 4330000000000000 4348000000000000 Wrong 864005
4030001000000040 41efffffffffffff 42e0000000003ffa 42e0040004003ffa 42e0020002003ffa Wrong 880117
3fd0000000000000 bfd0000000000001 3ff0000000000001 3fdc000000000002 3fee000000000002 Wrong 882131
4020001000000003 bfdffffffffffffe bfe007ffffffffbe c011008ffffffffe c012010ffffffffa Wrong 884145
c02fffffffff7fff bffffffffffffffe bf6ffefffffffffc 403fff8003ff7ffd 403fff0007ff7ffd Wrong 890187
3fd0000000000000 ffe0000000000000 3cafffffffffffff ffb0000000000000 ffc0000000000000 Wrong 900257
3fd0000000000001 3fffffffffffffff bcafffffffffffff 3fdfffffffffffff 3fdffffffffffffd Wrong 924425
3fd0000000000001 401fffffffffffff 3ff0000000000001 4004000000000000 4008000000000001 Wrong 930467
3fd0000000000001 bca0000000000001 3cafffffffffffff 3c97fffffffffffe 3cabfffffffffffe Wrong 948593
3fd0000000000001 bfe0000000000000 bff0000000000001 bfe4000000000001 bff2000000000001 Wrong 954635
401ffdfffff00000 bfeffffffffffffe c3400d15caf2c5ca c3400d15caf2c5d2 c3400d15caf2c5ce Wrong 956649
3fd0000000000001 c000000000000000 4340000000000000 434fffffffffffff 433fffffffffffff Wrong 960677
c3cffffffffbffbf c34fffffffffffff 43d0ed5944b60c56 472ffffffffbffbe 472ffffffffbffbf Wrong 968733
3fd0000000000001 ffeffffffffffffe bcafffffffffffff ffc0000000000000 ffd0000000000000 Wrong 972761
3c300000fffff7ff c2bfff0000000004 bfcbfb075ca1326a bfcbfd074cc13169 bfcbfc0754b131ea Wrong 976789
c0f0e9718d9cdce9 3fd0000000000001 c01ffffffffffefd c0d0ea718d9cdcea c0d0eb718d9cdcea Wrong 986859
3fdfffffffffffff 400fffffffffffff 3cafffffffffffff 3ffffffffffffffe 3fffffffffffffff Wrong 996929
bffffc03ffffffff 4010000000000000 c23fdf0000000000 c23fdf00000ffe02 c23fdf000007ff01 Wrong 998943
3fdfffffffffffff 4340000000000001 bff0000000000001 4320000000000000 432fffffffffffff Wrong 1002971
bed003ffc0000000 c00ffdfffffefffe bf4ffffffbfffff7 bf4effd003ffc7f9 bf4f7fe7ffffe3f8 Wrong 1006999
3fdfffffffffffff bfd0000000000000 bcafffffffffffff bfc0000000000003 bfc0000000000007 Wrong 1021097
3fdfffffffffffff bff0000000000000 3ff0000000000001 3ca8000000000000 3fe0000000000002 Wrong 1027139
3fdfffffffffffff c00ffffffffffffe c340000000000000 c340000000000002 c340000000000001 Wrong 1033181
3f700000003fdfff bca0000000007fdf bf50400000007fff bf50400000008003 bf50400000008001 Wrong 1043251
3fab095e19bc680a 3fe0000000000000 be74000000010000 3f9b095b99bc680a 3f9b095919bc680a Wrong 1059363
c040010000020000 bff00000100000fe 3fd5ca5e3cb16df4 404016ca6e3fb26c 40402c94cc7c63da Wrong 1073461
3fdffffffffffffe 7fe0000000000001 3ff0000000000001 7fc0000000000000 7fd0000000000000 Wrong 1075475
403000200001ffff 43effffffffffffe c1eff7dfffffffff 443000200001801e 443000200001003f Wrong 1079503
3fdffffffffffffe bfe0000000000000 3cafffffffffffff bfcffffffffffffa bfcffffffffffff6 Wrong 1093601
bce000000001fc00 3ff80cabb0668b82 b9fffffffcffffff bce80cabb0698734 bce80cabb0698754 Wrong 1097629
3fdffffffffffffe bffffffffffffffe bff0000000000001 bff7fffffffffffe bfffffffffffffff Wrong 1099643
3fdffffffffffffe c01ffffffffffffe 4340000000000000 434ffffffffffffc 433ffffffffffffc Wrong 1105685
b80fffffffff001e 593ffc07ffffffff 41c00000000007ef d15ffc07ffff003c d15ffc07ffff003d Wrong 1115755
3fe0000000000000 3cafffffffffffff 3ff0000000000001 3ff0000000000002 3ff0000000000001 Wrong 1123811
c1f000000401ffff 3ff0000000000000 41d0060da9f8c199 c1ebfe7c9d85cf98 c1e7fcf933079f32 Wrong 1131867
400fffff7f800000 4010000000000000 3fe0000000400000 40303fffbfc10000 40307fffbfc20000 Wrong 1137909
c34fbffffffff7fe 40100000001fffbe 406814b7cd412dec c36fc000003f776f c36fc000003f7763 Wrong 1158049
3fe0000000000000 bfeffffffffffffe bcafffffffffffff bfd0000000000000 bfe0000000000001 Wrong 1166105
3fe0000000000000 c00ffffffffffffe 3ff0000000000001 bff7fffffffffffe bfeffffffffffffa Wrong 1172147
42c008fffffffffe c0200008001fffff 43effff5ffffffff 43efffb5dbdfed7e 43efffd5edeff6bf Wrong 1176175
3fe0000000000000 c34fffffffffffff c340000000000000 c348000000000000 c350000000000000 Wrong 1178189
c34ffefe00000000 bc4feffffffffffd c020000000000087 c02fc02202fe0087 c01fc02202fe010e Wrong 1182217
3fe0000000000001 3fd0000000000001 bff0000000000001 bfd8000000000001 bfec000000000001 Wrong 1196315
c65000000000003d 3fe0000000000000 c7f0008000080000 c7f0008004080000 c7f0008002080000 Wrong 1198329
c1d000803ffffffe 3feffc00000000fe bffffffeffffefff c1cffd00607000f6 c1cffd0060f000f2 Wrong 1212427
3f1fffff7f000000 41e007fff0000000 3faa435b79a850e6 411007ffc9a31bba 411007ffe3e67734 Wrong 1224511
c310000040001fff bfb03ffffffffffd 41cfbfbffffffffe 42d0400830f0207c 42d0401020e0207c Wrong 1230553
3fe0000000000001 bffffffffffffffe 3cafffffffffffff bfefffffffffffff bfeffffffffffffe Wrong 1238609
3fe0000000000001 c01fffffffffffff bff0000000000001 c012000000000000 c014000000000001 Wrong 1244651
ffd000407fffffff 8020fffffffe0000 404136d99d2d1461 400ab7117166a2ff 404246dde5acf460 Wrong 1254721
3fefffffffffffff 3ca0000000000001 bcafffffffffffff 395fffffffffffff bc9ffffffffffffd Wrong 1262777
bfd0100007ffffff 3fd297ee8e336ca8 c01000000000083e c0109554343074f9 c0104aaa1a183e9b Wrong 1266805
3fefffffffffffff 3fe0000000000001 3ff0000000000001 3ff0000000000000 3ff8000000000001 Wrong 1268819
3fefffffffffffff 4000000000000000 c340000000000000 c34ffffffffffffe c33ffffffffffffe Wrong 1274861
42aefffffffffbfe 4040080000040000 c0000000000087fe 42ff0f800007bbec 42ff0f800007bbdc Wrong 1297015
42401ffffffffbff bfefffffffffc03f be500200000003fe c2401fffffffdbde c2401fffffffdbdf Wrong 1303057
3fefffffffffffff c00fffffffffffff bcafffffffffffff c00ffffffffffffe c00fffffffffffff Wrong 1311113
3feffffffffffffe 3fd0000000000001 3cafffffffffffff 3fd0000000000002 3fd0000000000004 Wrong 1335281
439fffffff0001ff c04fffffef7fffff c1d0000000300000 c3ffffffee8201fe c3ffffffee8401ff Wrong 1339309
3feffffffffffffe 3ff0000000000000 bff0000000000001 3fdffffffffffffa bcc0000000000000 Wrong 1341323
3feffffffffffffe 4010000000000000 4340000000000000 4340000000000004 4340000000000002 Wrong 1347365
434fe000ffffffff bca0000000000001 3fa600a985274f0b bfff87fe59eb62c5 bfff2ffbb3d6c589 Wrong 1367505
43c567cde92a1dfd b8000203fffffffe 3ee00000007fdfff 3ee00000007fdfea 3ee00000007fdff4 Wrong 1369519
3feffffffffffffe ffe0000000000001 bff0000000000001 ffd0000000000000 ffe0000000000000 Wrong 1389659
41f000007ffffbfe 3fef177822a30420 c0a0001040000000 41ef17789b5e3b6b 41ef17781b5db96b Wrong 1393687
42c2000001ffffff 3caffffffffffffe 3fdff80000002000 3fd1180000202000 3fe0440000081000 Wrong 1403757
3ff0000000000000 3fe0000000000000 bcafffffffffffff 3fdffffffffffffe 3fdffffffffffffc Wrong 1407785
3ff0000000000000 4000000000000000 3ff0000000000001 4004000000000000 4008000000000000 Wrong 1413827
c02ce0c00cac853f 400fffffffffffff c36fffc0000ffffe c36fffc00010000c c36fffc000100005 Wrong 1415841
3ff0000000000000 401ffffffffffffe c340000000000000 c34ffffffffffff8 c33ffffffffffff8 Wrong 1419869
3ff0000000010006 8010000000000001 801f7fffffffffff 801fc00000010006 8027c00000008003 Wrong 1433967
3ff0000000000000 bcafffffffffffff bff0000000000001 bff0000000000003 bff0000000000002 Wrong 1437995
3ff0000000000000 bfefffffffffffff 4340000000000000 434fffffffffffff 433fffffffffffff Wrong 1444037
bf71bfb471d6b240 c3cefffffffffff7 41ffffc000000001 435131b70e477ca9 435131b74e46fca9 Wrong 1478275
3ff0000000000001 3ff0000000000000 3cafffffffffffff 3ff0000000000001 3ff0000000000002 Wrong 1480289
3ff0000000000001 400ffffffffffffe bff0000000000001 400c000000000000 4007ffffffffffff Wrong 1486331
3d80000800003fff 401fffffffffffff 3b40000000000037 3db0000800004ffe 3db0000800005ffe Wrong 1488345
3ff0000000000001 434ffffffffffffe 4340000000000000 4354000000000000 4358000000000000 Wrong 1492373
8ea000800007fffe 7fe0000000000001 cc6000000200000f ce9000800008ffff ce9000800009ffff Wrong 1494387
bddfff81ffffffff bf4ffffffff7ffbe 0ceffedffffffffe 3d3fff81fff7ffdc 3d3fff81fff7ffdd Wrong 1502443
3ff0000000000001 bfdfffffffffffff 3ff0000000000001 3c90000000000001 3fe0000000000002 Wrong 1510499
bf7107ffffffffff 3fdeffffffffdfff c02010000ffffffe c020121007fffffc c02011080bfffffd Wrong 1532653
bff000403fffffff 3fdf3e0be31ebee9 b802c73b4852e1e1 bfdf3e8958467aee bfdf3e8958467aef Wrong 1538695
3fc0fffffffffff7 3cafffffffffffff bf8011ffffffffff bf8011ffffffffdd bf8011ffffffffee Wrong 1542723
37ffffff00000006 c7e00001ffffffde 41c795c3980a9c95 41c795c3970a9c7d 41c795c3978a9c89 Wrong 1544737
41fffff7ffbffffe 400fffffffffffff bf59af9a3b538749 421ffff7ffbfff30 421ffff7ffbffe62 Wrong 1554807
4e5f3dce4e5c17a8 aeea7c211e03a2ce c00001effffffffe c00001f000000675 c00001f000000339 Wrong 1556821
3fffffffffffffff 401ffffffffffffe 3ff0000000000001 40307ffffffffffe 4030ffffffffffff Wrong 1558835
3fffffffffffffff bcafffffffffffff 3cafffffffffffff bcb7fffffffffffe bcaffffffffffffd Wrong 1576961
3fffffffffffffff bfe0000000000001 bff0000000000001 bff8000000000001 c000000000000001 Wrong 1583003
3fdfffffffffdff7 bff0000000000000 bfb503dcf633da77 bfe1503dcf632da3 bfe2a07b9ec66b4a Wrong 1585017
3fffffffffffffff c000000000000001 4340000000000000 434ffffffffffffc 433ffffffffffffc Wrong 1589045
bfb0200001000000 3fffffffffffffff 3ec000000007fff7 bfc01ff800fffffb bfc01ff000fffff7 Wrong 1621269
c3e76f2c56d0d8d0 c04fc00000000020 42ef800000000007 4447404e3d233736 4447404e7c233736 Wrong 1623283
401fffffdeffffff 4010000000000001 3fdc00000fffffff 40401bffef900000 404037ffefa00000 Wrong 1627311
bca0000dffffffff b8500000000fffee 36c9b3089edd6940 36c9b308a0dd6b00 36c9b3089fdd6a20 Wrong 1635367
3ffffffffffffffe bfd0000000000001 bcafffffffffffff bfe0000000000001 bfe0000000000002 Wrong 1649465
3ffffffffffffffe bff0000000000001 3ff0000000000001 bff7ffffffffffff bfeffffffffffffe Wrong 1655507
3ffffffffffffffe c010000000000000 c340000000000000 c340000000000008 c340000000000004 Wrong 1661549
bfbf80000001ffff 3f3fffffffefffdf 3fc573070215e3ae 3fc56f170215e566 3fc5710f0215e48a Wrong 1665577
bfbfffff007fffff 000fffffffffffff 000bffffffc00000 fff0000000000000 000a00000fb80000 Wrong ydenorm zdenorm w=-inf 1675647
3eeffffffffffbfe bfa78bde48d46ae7 be6413896ff4d5bd bea82c7a94540ea2 bea8cd16dfd3b550 Wrong 1677661
47f0000002000000 3cafffffffffffff c5fffdffffffe000 c5fffdfdffffdfc0 c5fffdfeffffdfe0 Wrong 1681689
4000000000000000 3fdffffffffffffe 4340000000000000 4340000000000001 4340000000000000 Wrong 1685717
bfd0fffff7ffffff 4340000000000001 c0b0002000001ffe c320fffff8001000 c320fffff8002000 Wrong 1699815
c0332683837ce949 c0f000000800ffff 41e0000000000fff 41e004c9a0e35456 41e00264d071b22b Wrong 1713913
4000000000000000 c000000000000000 bff0000000000001 c012000000000000 c014000000000000 Wrong 1728011
c1df000000004000 3e46552ef24d77ca 402403ffffffffff c030a1857abb38b6 c027410af576716d Wrong 1732039
4000000000000000 c340000000000000 4340000000000000 c348000000000000 c340000000000000 Wrong 1734053
bd6ffff800000040 c34fffffffffffff c06ffffffa000000 40cfbff8000c003f 40cf7ff80018003f Wrong 1736067
4000000000000001 3caffffffffffffe 3ff0000000000001 3ff0000000000005 3ff0000000000003 Wrong 1752179
c34407ffffffffff 3fd0000000000001 434ee78a270158c4 4334e38a270158c4 4349e58a270158c4 Wrong 1754193
bef0000040002000 c00fffdffffeffff 3f94c3676ce5c5c1 3f94e3674d65c481 3f94d3675d25c521 Wrong 1756207
4000000000000001 3fefffffffffffff c340000000000000 c34ffffffffffffe c33ffffffffffffe Wrong 1758221
c3faf4d1799b420e 4010000000000001 c3335809be152176 c41af4f829aebe3a c41af51ed9c23a64 Wrong 1766277
4020fefffffffffe c01ffffffffffffe 402fc3fffffffffe c04e057ffffffffa c04a0cfffffffffa Wrong 1768291
3f2fffddffffffff bffffffffffffffe c1e00000001003fe c1e0000000100bfe c1e00000001007fe Wrong 1796487
4000000000000001 c010000000000000 3ff0000000000001 c01e000000000002 c01c000000000002 Wrong 1800515
4000000000000001 c34ffffffffffffe c340000000000000 c362000000000000 c364000000000000 Wrong 1806557
3fd0005ffffffffe c3e411c0691b2909 c34ffffff81fffff c3c42238d399afa9 c3c43238d395bfa9 Wrong 1810585
c1c01f7fffffffff c0cbfffff8000000 bfe0000002000004 429c371ff7f03efe 429c371ff7f03dfe Wrong 1816627
400fffffffffffff 3fdfffffffffffff bff0000000000001 3ff7fffffffffffe 3feffffffffffffa Wrong 1824683
c1c0000000000fde 3fe0000000000001 41d4cbff08b3d9b1 41b997fe1167a383 41d0cbff08b3d5b9 Wrong 1826697
400fffffffffffff 3fffffffffffffff 4340000000000000 4340000000000008 4340000000000004 Wrong 1830725
c03f8000000000fe 4340000000000000 c1c0040000000007 c38f8000008020fe c38f8000010040fe Wrong 1838781
c03100000001ffff bfeffffffffffffe 414fffff800fffff 4140001080100001 4150000400080000 Wrong 1862949
402fffffe0040000 c3ea62add43fe399 c3d000001e000000 c42aa2adba58821a c42ae2adbad0821a Wrong 1864963
4050000090000000 c00fffffffffffff 40bfffffffffbffe 40bdffffedffbffe 40befffff6ffbffe Wrong 1868991
400fffffffffffff c01ffffffffffffe bff0000000000001 c0403ffffffffffe c0407fffffffffff Wrong 1873019
c0377bbf63a456e8 c34fffffffffffff c0bfffffff7fefff 43977bbf63a456a7 43977bbf63a45667 Wrong 1875033
400ffffffffffffe 3cafffffffffffff bcafffffffffffff 3ccbfffffffffffd 3cc7fffffffffffd Wrong 1891145
3ff0000007c00000 3fd0000000000001 c02fffffffff3fff c02effffff833fff c02f7fffffc13fff Wrong 1893159
400ffffffffffffe 3fefffffffffffff 3ff0000000000001 4011fffffffffffe 4013ffffffffffff Wrong 1897187
bcdfffffffff7bfe 3ff0000000000000 be200ffffffffff6 be201001fffffff6 be201000fffffff6 Wrong 1899201
400ffffffffffffe 4000000000000001 c340000000000000 c34ffffffffffff8 c33ffffffffffff8 Wrong 1903229
c1d0000007fffeff c07fffffff03ffff bfdffffffffe7ffe 426000000781f6fe 426000000781eefe Wrong 1913299
c013a5cd955a8eca 3e007fffff7fffff 3b0059c22188f0f5 be2442fc016834d0 be2442fc016834ce Wrong 1919341
400ffffffffffffe bfd0000000000000 4340000000000000 434fffffffffffff 433fffffffffffff Wrong 1927397
41c00000000fffef c01fffffffffffff 40700007fffbfffe c1effffff01ff7dd c1efffffe01fefdd Wrong 1941495
bfe8f26bc072a863 b81ffffffff00000 381000020fffffff 3820793664331796 38247936e8331796 Wrong 1949551
4010000000000000 3fdfffffffffffff 3cafffffffffffff 3fffffffffffffff 4000000000000000 Wrong 1963649
4010000000000000 3ff0000000000001 bff0000000000001 400c000000000002 4008000000000002 Wrong 1969691
3fdfffbffffffffa 4000000000000000 400080003fffffff 40003ff01ffffffe 40087ff03ffffffe Wrong 1971705
401efffffffbffff 400c000000000fff 3fee5f5b0ddd3442 403b997d6c34044f 403c12fad86b7920 Wrong 1973719
4010000000000000 4010000000000001 4340000000000000 4340000000000010 4340000000000008 Wrong 1975733
4010000000000000 bca0000000000000 3ff0000000000001 3ffffffffffffffd 3feffffffffffffe Wrong 1993859
4010000000000000 bfdffffffffffffe c340000000000000 c340000000000002 c340000000000001 Wrong 1999901
c1c1ffffffffffbf c1f20000000007fe beefdfffffffffef 43c44000000008b4 43c44000000008b5 Wrong 2040181
4010000000000001 4000000000000001 3ff0000000000001 4021000000000002 4022000000000002 Wrong 2042195
4010000000000001 4340000000000000 c340000000000000 435c000000000002 4358000000000002 Wrong 2048237
4010000000000001 bcaffffffffffffe bff0000000000001 bff0000000000009 bff0000000000005 Wrong 2066363
4010000000000001 bfeffffffffffffe 4340000000000000 434ffffffffffffc 433ffffffffffffc Wrong 2072405
3fafffff00040000 41c000000000007f 3fb6225da8dafef7 417fffff00b513eb 417fffff016626d9 Wrong 2076433
3fdfff80007fffff c010000000000001 c000000003fe0000 c007ffc0023f0000 c00fffc0043e0000 Wrong 2080461
3fb00000000000fd 3648d98a332e5571 35080008e5baca0b 3608d9963332c9d7 3608d9a233373cb5 Wrong 2088517
be1ffff0ffffffff 3f5fffff00000000 3fcffffffdfbffff 3fcffffffdf80001 3fcffffffdfa0000 Wrong 2100601
401fffffffffffff 3ff0000000000001 3cafffffffffffff 4020000000000000 4020000000000001 Wrong 2108657
c00ffffffff7bffe 3ffffffffffffffe bfd47afa8ed01f9a c02051ebea37207c c020a3d7d47260fb Wrong 2110671
401fffffffffffff 4010000000000000 bff0000000000001 403f7fffffffffff 403effffffffffff Wrong 2114699
bf90b94940132032 7fefffffffffffff ffdfbfffffffdfff ffd1d72928024405 ffe065ca4a008901 Wrong 2122755
401fffffffffffff bfdffffffffffffe 3ff0000000000001 c00bfffffffffffd c007fffffffffffd Wrong 2138867
c34ff80000001000 bfe0000000000001 c3ff7efffffffffe c3ff7b00fffffffc c3ff7d007ffffffd Wrong 2140881
400fdffe00000000 4000beb28ac6e8df c1df7ffff8000000 c1df7ffff3d4834d c1df7ffff5ea41a6 Wrong 2142895
401fffffffffffff bfffffffffffffff c340000000000000 c340000000000010 c340000000000008 Wrong 2144909
4020000000003fbe c000000000000001 c1cfefffffffff7f c1cff0000fffff7f c1cff00007ffff7f Wrong 2146923
3fceb158f9d7dfa5 c340000000000001 c34c63caebfbfe18 c3104084a9c7d807 c3501cfb059b7d06 Wrong 2152965
b7e00001ffffff00 3caffffffffffffe b800000001ffffff b800000002000000 b800000001ffffff Wrong 2171091
3fe0000ffffffffc bcae000000001ffe 0010040000000006 bc9e001e00001ff6 bc9e001e00001ff7 Wrong 2185189
40c00007fc000000 c1cffffff8001fff bf1fff8000100000 c2a00007f8000e00 c2a00007f8000e01 Wrong 2191231
401ffffffffffffe bcaffffffffffffe 3cafffffffffffff bcddfffffffffffc bcdbfffffffffffc Wrong 2205329
3fc013ffffffffff 3fc000000ffffefe bfedffffffffdfff bfecfebffefea00f bfed7f5fff7f4007 Wrong 2209357
401ffffffffffffe bfefffffffffffff bff0000000000001 c020fffffffffffe c021ffffffffffff Wrong 2211371
bd6800000007ffff c3d8a89c08d5d92c 4000040000000800 41527e7546b68d07 41527e7586c68d07 Wrong 2215399
401ffffffffffffe c00fffffffffffff 4340000000000000 434fffffffffffe0 433fffffffffffe0 Wrong 2217413
c010140b934d5ff7 c03f80000003ffff c00fffffff0fffff 405f2776ca0819f0 405ea776ca0bd9f0 Wrong 2227483
c1d000000000203f 001ffffffffffffe 001ffffffffff7bf 81ffffffffc0407c 81ffffffff80407c Wrong 2237553
4340000000000000 3fd0000000000000 c340000000000000 c320000000000000 c338000000000000 Wrong 2241581
3febffffffdffffe c3b0080000000fff c3f0000002000002 c3f1c0e001fe00c2 c3f0e07001ff0062 Wrong 2251651
41f00000fc000000 401fffffffffffff 4366fe581a30b534 4366fe5a1a30d4b4 4366fe591a30c4f4 Wrong 2255679
3fd34fb8606858f1 8000000000000001 0010000000f80000 fff0000000000000 0010000000f80000 Wrong ydenorm w=-inf 2267763
4340000000000000 c010000000000001 c340000000000000 c362000000000001 c364000000000001 Wrong 2289917
7fe3795af4a2b560 000ffffffffffffe 0020008000200000 3ff3795af4a2b55e 4003795af4a2b55e Wrong ydenorm 2304015
434f8da321556224 c01b2588e50183be 427142efd04a8c6b c37ac47bc30b10c8 c37ac473219328a3 Wrong 2306029
4340000000000001 3ca0000000000000 bff0000000000001 3fe0000000000001 0000000000000000 Wrong 2308043
00114508bde544e1 3caffffffffffffe 800010000003fffe 8000000000000000 800010000003fffd Wrong w=-zero zdenorm unflw 2310057
4340000000000001 3fe0000000000000 4340000000000000 4340000000000000 4348000000000000 Wrong 2314085
3f8b17d321454789 3fd7ffffffffff7f bfe000080ffffffe bfefaec0969c3029 bfdfaec8a69c3027 Wrong 2318113
4340000000000001 401ffffffffffffe bcafffffffffffff 4360000000000000 4370000000000000 Wrong 2326169
3ff0078000000000 42b13867492e71c0 c15ffffffc0000fe 42b140797998bf8d 42b140793998bf95 Wrong 2330197
c1effffffbffffbf 41eff99f4885a23d c3cfffe000000001 c3f1fccda243370a c3f3fccba243370a Wrong 2336239
ca7fff0000000fff 3ca62fd739ece5a5 48000000003f0000 480ffe9d0de34cce 47fffe9d0e224cce Wrong 2348323
c00ffbfdfffffffe c010000000000000 3eef7bb95b77143e 402ffbfefbddcada 402ffbfff7bb95b5 Wrong 2358393
c03fffe07ffffffe c0c87ec3854317ef c23400016adf210a c233fff52b896ccc c233fffb4b3446eb Wrong 2378533
434fffffffffffff 3fd0000000000000 3ff0000000000001 4330000000000000 4330000000000001 Wrong 2380547
434fffffffffffff 3feffffffffffffe c340000000000000 4347fffffffffffd 433ffffffffffffa Wrong 2386589
c1f0001fffff7ffe 3fffffffffffffff 4020000000043fff c200001fffdf7ffd c200001fffbf7ffd Wrong 2388603
42a0020000000007 bdafe01fffffffff 3ff000000021ffff c05fc41c03ffbc0d c05fa41c03ff780d Wrong 2396659
400c1d1b46e04d2b be4e00000000001f c02f7fff00000000 c02f7fff034b6932 c02f7fff01a5b499 Wrong 2402701
bc1c9a8f60ba2ec4 413000000020ffff 3fe0000e00000000 3fe0000dffffe365 3fe0000dfffff1b3 Wrong 2408743
c2400fffffffff7f bca0000000000000 4017fffffffffff7 4018000807fffff7 4018000403fffff7 Wrong 2412771
7f600000fbffffff c024153a49a4352e b2a0000000200002 ff94153b85f28b34 ff94153b85f28b35 Wrong 2414785
c1ffffffffff3fff bfe0000000000000 c01fffffffe00000 41efffffff7f3fff 41effffffeff3fff Wrong 2418813
3ecffffffffe0000 3fc0fff800000000 c0d00010000007fe c0d0000ffffbc800 c0d0000ffffde7ff Wrong 2420827
bfdc000000080000 bfbfffffffffefe0 c035edb781f59599 c035d1b781f58da7 c035dfb781f591a0 Wrong 2426869
434ffffffffffffe 3ca0000000000000 3cafffffffffffff 3ffffffffffffffe 3fffffffffffffff Wrong 2447009
434ffffffffffffe 3fdffffffffffffe bff0000000000001 433ffffffffffffc 433ffffffffffffb Wrong 2453051
434ffffffffffffe 3ffffffffffffffe 4340000000000000 4361fffffffffffe 4363fffffffffffe Wrong 2459093
bfd000080000000f b7e1fbffffffffff b800200000003ffe b80f003f70203ffd b7fe007ee0407ffa Wrong 771361
3fd0000000000000 bfd0000000000001 3ff0000000000001 3fff000000000001 3fee000000000002 Wrong 882131
3fd0000000000001 c000000000000000 4340000000000000 4350000000000000 433fffffffffffff Wrong 960677
3fdffffffffffffe c01ffffffffffffe 4340000000000000 434ffffffffffffe 433ffffffffffffc Wrong 1105685
c34ffefe00000000 bc4feffffffffffd c020000000000087 c02fe011017f0087 c01fc02202fe010e Wrong 1182217
3fe0000000000001 3fd0000000000001 bff0000000000001 bffe000000000001 bfec000000000001 Wrong 1196315
3fefffffffffffff 4000000000000000 c340000000000000 c34fffffffffffff c33ffffffffffffe Wrong 1274861
3ff0000000000000 401ffffffffffffe c340000000000000 c34ffffffffffffc c33ffffffffffff8 Wrong 1419869
3ff0000000000000 bfefffffffffffff 4340000000000000 4350000000000000 433fffffffffffff Wrong 1444037
3fffffffffffffff c000000000000001 4340000000000000 434ffffffffffffe 433ffffffffffffc Wrong 1589045
bfbfffff007fffff 000fffffffffffff 000bffffffc00000 0015000007dc0000 000a00000fb80000 Wrong ydenorm zdenorm 1675647
4000000000000001 3fefffffffffffff c340000000000000 c34fffffffffffff c33ffffffffffffe Wrong 1758221
400ffffffffffffe 4000000000000001 c340000000000000 c34ffffffffffffc c33ffffffffffff8 Wrong 1903229
400ffffffffffffe bfd0000000000000 4340000000000000 4350000000000000 433fffffffffffff Wrong 1927397
4010000000000000 bca0000000000000 3ff0000000000001 3fffffffffffffff 3feffffffffffffe Wrong 1993859
4010000000000001 bfeffffffffffffe 4340000000000000 434ffffffffffffe 433ffffffffffffc Wrong 2072405
401ffffffffffffe c00fffffffffffff 4340000000000000 434ffffffffffff0 433fffffffffffe0 Wrong 2217413
00114508bde544e1 3caffffffffffffe 800010000003fffe 801008000001fffe 800010000003fffd Wrong zdenorm 2310057
3f8b17d321454789 3fd7ffffffffff7f bfe000080ffffffe bfefd764534e1814 bfdfaec8a69c3027 Wrong 2318113
ca7fff0000000fff 3ca62fd739ece5a5 48000000003f0000 480fff4e87112667 47fffe9d0e224cce Wrong 2348323
c34ffffffffffc00 bbe000000000027f 43dfffffeffffbff 43d487c0c983e604 43dfffffeffffbff Wrong 2469163
800ffffffdffffff bfcffe00003ffffe 800ffff01ffffffe 7ff0000000000000 800c00302077f7ff Wrong xdenorm zdenorm w=+inf 2475205
434ffffffffffffe bca0000000000001 c340000000000000 c340000000000002 c340000000000001 Wrong 2483261
c0effaffffffffff 3f1ffbfffffffdff bfc929330a6f28fb c0202dd2b614dd51 c02060251c29bba3 Wrong 2487289
bff007f7ffffffff bff0000000000000 3ed10000007ffffe 3ff007fa2000000f 3ff007fc4000001f Wrong 2491317
401ffffffbfffbff 3fbfffef80000000 c00000400000007f bf121080005ddfbe bff00088420001f6 Wrong 2493331
434ffffffffffffe c000000000000001 3cafffffffffffff c350000000000000 c360000000000000 Wrong 2495345
bf3fffffdc000000 c00ffffffffffffe bef00000000043fe 3f5fdfffdbffff76 3f5fbfffdbfffeee Wrong 2497359
41d47345faf3a236 bca000effffffffe 401e32064ec9ba5f 401e32063a5541a3 401e3206448f7e01 Wrong 2505415
445ff7ffefffffff 3fdfffffffffffff 41efeffffffffff6 444ff7fff0003fde 444ff7fff0007fbe Wrong 2521527
c1b00800ffffffff c076927c86fdafbf bf80001effffffff 42369dc72e68f605 42369dc72e68f505 Wrong 2547709
7fe0000000000000 8010000000000001 bff0000000000001 c004000000000001 c008000000000002 Wrong 2549723
7fe0000000000001 3fdffffffffffffe 3cafffffffffffff 7fc0000000000000 7fd0000000000000 Wrong 2592017
3fb00000000ffffe 3fe0000000000001 413001ffdfffffff 413001ffefffffff 413001ffe7ffffff Wrong 2594031
7fe0000000000001 8000000000000001 bcafffffffffffff bcb4000000000001 bcc8000000000001 Wrong ydenorm 2616185
7fefffffffffffff 000ffffffffffffe 4340000000000000 4340000000000004 4340000000000002 Wrong ydenorm 2652437
43412867894a0dc5 c3f94739873de8c1 3fcbffdfffffffff c74b1b82c2ed1472 c74b1b82c2ed1473 Wrong 2680633
b7f001000000003e bfdffffffffffffe b7f00000004001ff 371ffff7ffc7bffe b7dffe0001000782 Wrong 2696745
c01fc000ffffffff bfeff0001fffffff 406bffeffffffffe 406dfaf211f4000e 406cfd7108fa0006 Wrong 2698759
42cf0007fffffffe bfffffffffffffff 43fffb7fffffffff 43fffb707ffbffff 43fffb783ffdffff Wrong 2702787
7feffffffffffffe 001fffffffffffff c340000000000000 c34ffffffffffff8 c33ffffffffffff8 Wrong 2724941
c060003fffff7ffe 3ca0000000000001 c02000fffefffffe c02000ffff00000e c02000ffff000006 Wrong 2726955
37e000000001ffff 434001000007ffff 38100007ffe00000 3b300100000a0020 3b300100000a0022 Wrong 2753137
c03ffffffffffbef c00fffffffffffff c07ffffe02000000 c05ffffc04000412 c077fffe02000104 Wrong 2775291
bca0001008000000 41c0000000000fdf 3feac3e63849250d 3feac3e5f848e4ed 3feac3e6184904fd Wrong 2777305
3f0ff7ffffffc000 c34fffffffffffff 3feeffffffff7fff c26ff7ffffffb07f c26ff7ffffffa0ff Wrong 2781333
bff9babb71f7f8b0 b80fffffdfffffee bb7000000000003e bb7000000000003d bb7000000000003e Wrong 2789389
3f1fffffe0000004 426cedd14ca226b4 41e00007ffff7fff 41e1cee512fac556 41e0e776897d22aa Wrong 2795431
c08ffffffffe001e 3ff0000000000000 c070220000000000 c092043fffff000f c094087fffff000f Wrong 2805501
c3368331494c07f2 bfffffffffffffff 41d0000007ffffff 43468331594c07f9 43468331694c0801 Wrong 2841753
405001ffffffffbf c010000000000001 bfe01ffffffffffb c0700607ffffffc0 c0700a0fffffffc0 Wrong 2847795
c3407ffffffffffa 3fefffffffff007f c1cef00000000000 c34080000f777c3b c34080001eef7c3b Wrong 2861893
c34ffc00ffffffff bef38655f21f4b0d 412ff8000000003f 425383e7c313b6b4 425383e9c293b6b4 Wrong 2873977
c07ffe0001ffffff 4000000000000000 4210080000007ffe 421007ffe0027ffc 421007fff0017ffd Wrong 2878005
bfdfffe00fffffff 3fccf2165e6eea40 3ff0000023fffffe 3ffc61c0f4a5cd1e 3fec61c118a5cd1c Wrong 2880019
bfdeffffffff8000 c000000000000001 3fccc2e7f3c48eec 3ff14c2e7f3c08f0 3ff3185cfe7851de Wrong 2914257
401618d4abc2ecba 3fe97989d3f9c41b 3deffffffffbffef 40119753370a7449 40119753370c7449 Wrong 2916271
bfdce145472b2459 c1dffc3ffffffffe c3fffbfffffeffff c3fffbfffff7c886 c3fffbfffffb6443 Wrong 2934397
431ff800000000ff 3fd0000000000000 407fffffbfffff7f 42fff800000010ff 42fff800000020ff Wrong 2938425
bff00000107fffff c052f75c56a2dd94 bfd0005fffffffff 4052ef5c3a31f4cc 4052e75c0a31f4cc Wrong 2946481
bda01000000000ff 400ffffffffffffe 3fcffe3fffffffff 3fcffe3fffdfdfff 3fcffe3fffefefff Wrong 2950509
c02ff80000000002 119215fb360e73ac 114000200000000e 91d20d75af40f010 91d20975a740f010 Wrong 2958565
8010000007f7ffff ffdc0ffffffffffe 3fefc00000003ffe 4002000006fd03fe 4005f80006fd0bfe Wrong 2964607
4022e75b40b8c691 c010000000000001 bfd2ffed1d2049e5 c042fa5b2dd5e6dc c0430d5b1af30726 Wrong 2986761
7fd03fffffbfffff 0000000000000000 3fffffff00003ffe 3ff81fff7fe01ffe 3fffffff00003ffe Wrong 2998845
c047e499ddfa806a 3fdffffffffffffe b7fe0fffffffffff c037e499ddfa8068 c037e499ddfa8069 Wrong 3010929
3d2ffffbfffffffe 434e000000000003 bff0000040ffffff 408dfbfc3fefc001 408df7fc3fdf8001 Wrong 3049195
3fffffffff7f8000 c000000000000001 c0b0000800fffffe c0b0080800ffdfde c0b0040800ffefee Wrong 3053223
c1f03ffff7ffffff 41d0000000bfffff c090000001007fff c3d03ffff8c2fffe c3d03ffff8c2ffff Wrong 3061279
3fbffffffdfff7fe 3feffffffffee000 bfcffffff801ffff 3e17f35ffc004801 bfbffffff2052800 Wrong 3079405
c21103fffffffffe 400fffffffffffff c3e0200ffffffffe c3e020100440fffe c3e0201002207ffe Wrong 3089475
bfb00207fffffffe c1f80bd9803691dc c3f000200000007e c3f0001ffffcfea1 c3f0001ffffe7f90 Wrong 3091489
8000000000000000 7feffffffffffffe bcafffffffffffff bffffffffffffffe bcafffffffffffff Wrong 3099545
406ffe0000fffffe bfd0000000000001 400f499c83e9329a c04f03b31ce0b66b c04e096638c16cd6 Wrong 3113643
c05fffffffdeffff bff0000000000001 c01000000007dfff 405f7fffffdec101 405effffffde8201 Wrong 3119685
400040000007ffff bfa738fe57513611 c0200000000081ff c0205e5789436a5c c0202f2bc4a1f62e Wrong 3121699
47e00010007fffff 40266ebea38fe729 c1f0001001fffffe 48166ed5130200ac 48166ed5130200ad Wrong 3139825
bf1fffffffffefbe 4060001fff7ffffe bfb9717e7198ca76 bf6718e7158c6647 bfbd71867178c86d Wrong 3157951
7a2e9622e5ca04a5 21f6a376abef6748 bfefff80000007ff 5c35a3762db52e1a 5c35a3762db52e1b Wrong 3176077
3f4ffffffffffe06 3fe121d0404af4cc 403ef7a477cb376d 403ef7e8ff0c3899 403ef7c6bb6bb803 Wrong 3182119
c100007fffffffbf b3fffffffffffffe 36cfffc00000000e 36cfffc00400200e 36cfffc00200100e Wrong 3188161
bfbffffffffb7fff 40afffffef000000 3fd000000000fe00 c07ffdffeefb7fdf c07ffbffeefb7fc0 Wrong 3194203
8000000000000001 ffe0000000000001 3ff0000000000001 3fd0000000000005 3ff0000000000003 Wrong xdenorm 3202259
c090003ffffffffb 3fefffffffffffff 41d00000003ffe00 41dffffe0037fe00 41cffffe0077fc00 Wrong 3222399
c0200000000017ff c3e07feffffffffe 41637ffffffffffe 44107ff0000019f5 44107ff000001b2d Wrong 3230455
c010000000000ffa bfd0000000000000 3f60000000200002 3ff00400000017fa 3ff0080000001ffa Wrong 3252609
3fd00000ffffff80 bff0000000000000 bf6000000020ffff bfd0100100002080 bfd0200100004180 Wrong 3258651
3fcffffffff7ff7f bff4691aa0d59fcd 40600007ffe00000 406feb9ee53f2f7b 405feba6e51f2f7b Wrong 3260665
7560000001fffffe 3fc1e915aabc5c49 f5dfc0000fffffff f5dfb70b85298340 f5dfbb85ca94c19f Wrong 3284833
401ffffe07fffffe 4010000000000001 c1f7e00000000000 c1f7dffffc00003f c1f7dffffe000020 Wrong 3300945
bf9ff7ffffffffff 41e828069d05f676 401b3add2f8a8e68 c19821fc8dc14660 c19821fc8023d7c8 Wrong 3327127
3fc000000000bfff c01ffffffffffffe bfefff9000000000 bff7ffe40000bffe bfffffc80000bffe Wrong 3337197
800ffffffffffffe ffe0000000000000 bcafffffffffffff 3feffffffffffffc 3ffffffffffffffb Wrong xdenorm 3341225
c1c0000003ffffff 3cafffffffffffff 3ca0000000002fff be80000003dffffe be80000003bffffe Wrong 3355323
b891000000000006 40000000003ff800 380ffffffffeffdf b8a0fc000043f7a6 b8a0f8000043f7c6 Wrong 3375463
8010000000000000 7fefffffffffffff 4340000000000000 434ffffffffffffc 433ffffffffffffc Wrong 3377477
c1dc00ffffffffff bfd0000000000000 bf8fffe000001000 41bc00fffffe0001 41bc00fffffc0003 Wrong 3391575
ffd0008800000000 802b2144a835a75b 428000000000020f 4280000000003853 4280000000001d31 Wrong 3393589
3f80001ffffefffe bfeffffffffffffe 41dfc10000000000 41dfc0fffffefffe 41dfc0ffffff7fff Wrong 3397617
c00ffffc7fffffff 3fd7ffffdfffffff bca000400000000e bff7fffd4000037e bff7fffd4000037f Wrong 3411715
3fbfffffefbfffff 3f600001ff7ffffe bfc000fffffffffe bfcff0fffe089fff bfbff1fffe089ffd Wrong 3417757
3fbff7fffffffffd 47f0203ffffffffe c7fffffffe00fffe c7d7f1e40401fffe c7fdfc790000fffe Wrong 3423799
41efffffffff807f 3fd0000000000001 c01feffffffff7ff 41cffffffe008081 41cffffffc018081 Wrong 3427827
4248c62fe782eace c1effe0000004000 41dfff7ffffffffe c448c4a38484842c c448c4a38484642d Wrong 3435883
bdcfe00ffffffffe bfdffffffffffffe bfc000000200000f bfc0000001e01fff bfc0000001f01007 Wrong 3464079
41100008000ffffe bffffffffffffffe 3fb1baac953356d1 c1200007ee555368 c1200007dc9aa6d3 Wrong 3470121
3dffff0000001fff 406ff08000000000 c04000000807ffff c0400000060907f7 c0400000070883fb Wrong 3472135
bf5fffbffffdfffe 3ca0000000000001 3f1ffffffe0003ff 3f1ffffffe0003df 3f1ffffffe0003ef Wrong 3494289
403fffffff801000 3fe0000000000001 bff0803fffffffff 402ef7fbff801002 402deff7ff801002 Wrong 3500331
5e78a4f96abc9de7 4000000000000001 47f8c8e01d92ead7 5e88a4f96abc9de8 5e88a4f96abc9de9 Wrong 3506373
c0d0080000000007 4011f8543ddec32b c1e712df030dcd92 c1e71327084f6d89 c1e7130305ae9d8d Wrong 3508387
801fffffffffffff 7fe0000000000001 bff0000000000001 c012000000000000 c014000000000001 Wrong 3516443
41f0000000002000 bcaffffffffffffe bfc1f235f0a8f509 bfc1f245f0a8f509 bfc1f23df0a8f509 Wrong 3530541
c3c0000010000003 c343ff7fffffffff 0b7fffffffffffff 4713ff8013ff8002 4713ff8013ff8003 Wrong 3532555
c02217a020fc8a2d 3fa000020000001e 3fcfffbffffeffff bfc42f64c7e19cdd bfa0be131f887378 Wrong 3550681
c00bc65690157317 c030000000002001 402d9eb7730c175f 404f7a2d7e772d91 40519702366c583f Wrong 3568807
3abfffffffff0400 400ffffffaffffff 37efe0000000ffff 3adffffffaff041f 3adffffffaff043f Wrong 3580891
bca0000000000000 3fdfffffffffffff 3ff0000000000001 3ff0000000000000 3ff0000000000001 Wrong 3637283
76c453fc3a9fc346 47d00fc000000000 7fdeca60d8a5decb 7fdeca65f2a59885 7fdeca6365a5bba8 Wrong 3677563
bca0000000000000 bffffffffffffffe bcafffffffffffff 3c9ffffffffffffd b960000000000000 Wrong 3679577
bca0000000000000 c01ffffffffffffe 3ff0000000000001 3ff0000000000009 3ff0000000000005 Wrong 3685619
bed470c16ca5a9a9 c340000000000001 3fd0020000000008 422470c16ca5e9b2 422470c16ca629ba Wrong 3687633
bca0000000000001 3cafffffffffffff 3cafffffffffffff 3caffffffffffffd 3caffffffffffffe Wrong 3703745
be6dffffffffff7e c0a555407160bc9b 3ffeb19129135086 3ffeb2d127d9f531 3ffeb2312876a2dc Wrong 3707773
bca0000000000001 3fe0000000000001 bff0000000000001 bff0000000000002 bff0000000000001 Wrong 3709787
3f7ffffffffff7fc c1e1ffffffffffde c03fffff80000400 c1720000fffff75c c1720001fffff35c Wrong 3713815
bec0008000003ffe 434ffffffffffffe 3fb14dec1eb3ba6a c220008000002eaf c220008000001d61 Wrong 3723885
bca0000000000001 c00ffffffffffffe 3cafffffffffffff 3cc4000000000000 3cc8000000000000 Wrong 3752081
bca0000000000001 c34fffffffffffff bff0000000000001 3ff8000000000000 3ff0000000000000 Wrong 3758123
bcafffffffffffff 3fd0000000000001 bcafffffffffffff bca8000000000000 bcb4000000000000 Wrong 3776249
bcafffffffffffff 3ff0000000000001 3ff0000000000001 3fffffffffffffff 3ff0000000000000 Wrong 3782291
c3407ffffeffffff bfb9a56ed8cc7a8b c26080000000003f 430a708a4df88770 430a6e7a4df88770 Wrong 3786319
bfc0000000800008 43d0001000000002 c3cffffbffff8000 c3c40002001fc022 c3d20000000fc011 Wrong 3804445
c1f00080007ffffe 3fc000000000003b 3fcff80000000fff c1c0008000700439 c1c0008000600839 Wrong 3816529
bcafffffffffffff c01fffffffffffff bcafffffffffffff 3cddfffffffffffe 3cdbfffffffffffe Wrong 3824585
bcaffffffffffffe 3fe0000000000001 3cafffffffffffff b94ffffffffffffc 3c9ffffffffffffe Wrong 3848753
400a345eeb63ab2b 3feffffffffffffe 3fc00001ffffbfff 400ab45efb63a929 400b345f0b63a729 Wrong 3850767
bffa3a6cef49b307 c9603ffdfffffffe c47fffff803fffff 496aa3535bb93be6 496aa3535bb93be7 Wrong 3852781
bcaffffffffffffe 4000000000000000 bff0000000000001 bff0000000000005 bff0000000000003 Wrong 3854795
bcaffffffffffffe 4340000000000000 4340000000000000 434ffffffffffffe 433ffffffffffffe Wrong 3860837
3fa0000003ffff7e 434fffffffffffff c3d7fffffffffffc c3d7feffffffbffc c3d7ff7fffffdffc Wrong 3862851
3fef869027739b45 41c1000400000000 bfdfffff6fffffff 41c0bf8085a76f6c 41c0bf8085876f6c Wrong 3864865
bcaffffffffffffe c34fffffffffffff 3cafffffffffffff 400ffffffffffffd 400ffffffffffffe Wrong 3897089
e4c25c774d9f6f1b 401fc00000ffffff 3c3000000007efff e4f237be5f9713f6 e4f237be5f9713f7 Wrong 3907159
bdf0000000020002 409fffffefff7fff c020000000008000 c020000020007ff0 c020000010007ff8 Wrong 3919243
bfd0000000000000 3ff0000000000000 bcafffffffffffff bfd0000000000002 bfd0000000000004 Wrong 3921257
bfd0000000000000 4010000000000000 3ff0000000000001 bfdffffffffffffe 3cb0000000000000 Wrong 3927299
c1effffe0000007e 401fffffffffffff c3c73160da37c1be c3c73160e237c13e c3c73160de37c17e Wrong 3929313
bfd0000000000000 434ffffffffffffe c340000000000000 c33fffffffffffff c348000000000000 Wrong 3933341
bfd0000000000000 bfdfffffffffffff bff0000000000001 bfd8000000000002 bfec000000000002 Wrong 3951467
bccb12e85bca0cfe bfe0000000000001 3f0fffff7fffefff 3f0fffff8001a12e 3f0fffff8000c896 Wrong 3953481
41900007fffffffe c000000000000000 41ce00007fffffff 41b5fffc80000000 41c9fffe80000000 Wrong 3959523
3feffffffff80040 43d00000017fffff 40803fe000000000 43d00000017c001f 43d00000017c0020 Wrong 3973621
380fefffffff8000 3caffffffffffffe b7ff00000003ffff b7ff00000003fff7 b7ff00000003fffb Wrong 3983691
bfef000fffffffff 43ed53d0520eac50 c1f9b9e740692e8a c3ec6940798019db c3ec69407999d3c2 Wrong 3985705
bfd0000000000001 4000000000000000 3cafffffffffffff bfe0000000000000 bfdffffffffffffe Wrong 3993761
bfd0000000000001 401ffffffffffffe bff0000000000001 c004000000000000 c008000000000000 Wrong 3999803
bfd0000000000001 7feffffffffffffe 4340000000000000 ffc0000000000000 ffd0000000000000 Wrong 4005845
bfd0000000000001 bcafffffffffffff bcafffffffffffff bc8ffffffffffffd bca7ffffffffffff Wrong 4017929
bfd0000000000001 bfefffffffffffff 3ff0000000000001 3fe8000000000001 3ff4000000000001 Wrong 4023971
bfd0000000000001 c000000000000001 c340000000000000 c34fffffffffffff c33fffffffffffff Wrong 4030013
c1c2485c59a21ee6 3fdfffffffffffff 43e0008000001000 43e0007ffffb7de9 43e0007ffffdc6f4 Wrong 4056195
bfb000000001fffb c13e89be71ac5f37 43e0000000000203 43e000000000027d 43e0000000000240 Wrong 4070293
3cc56618ec6d04ec c02ffffffff00000 404003ffffe00000 404003ffffdffffd 404003ffffdfffff Wrong 4082377
bfdfffffffffffff bfdfffffffffffff 3cafffffffffffff 3fd0000000000001 3fd0000000000003 Wrong 4090433
3f3e007ffffffffe bfe0000000000000 3ff0000000001f7f 3ffffe1ff8001f7f 3feffe1ff8003efe Wrong 4092447
bfdfffffffffffff bff0000000000001 bff0000000000001 bc90000000000001 bfe0000000000002 Wrong 4096475
c0beffdfffffffff c000000000000000 bffdfffffffdfffe 40ceff6800000007 40cefef00000000f Wrong 4098489
bfdfffffffffffff c010000000000001 4340000000000000 4340000000000002 4340000000000001 Wrong 4102517
c070000000024000 c01ffffffffffffe c1e0000004003ffe c1effffe04003ffe c1dffffe08007ffc Wrong 4104531
bf2ff00000000003 000ffffffffffffe 8022000000ffffff 802200ff80ffffff 8022007fc0ffffff Wrong ydenorm 4116615
bfdffffffffffffe 3ca0000000000000 3ff0000000000001 3ff0000000000000 3ff0000000000001 Wrong 4120643
3fc00000fffc0000 400fffffffffffff 423d5a6ff0405c99 423d5a6ff0415c99 423d5a6ff040dc99 Wrong 4134741
bfdffffffb000000 4340000000000001 42b0007fffefffff c32fefff7b001002 c32fdffefb002002 Wrong 4140783
43cfffffffefefff b9bffffefffff7ff 3fd066c1ac02aac5 3fd066c1abfeaac5 3fd066c1ac00aac5 Wrong 4148839
bfdffffffffffffe bfe0000000000001 bcafffffffffffff 3fcffffffffffffc 3fcffffffffffff8 Wrong 4162937
bfdffffffffffffe c000000000000001 3ff0000000000001 3ff8000000000000 4000000000000000 Wrong 4168979
c0ffdffffffe0000 3f9fffff80000001 c34fffffff800000 c34fffffff800ff0 c34fffffff8007f8 Wrong 4173007
bfdffffffffffffe c340000000000000 c340000000000000 bff0000000000000 c330000000000001 Wrong 4175021
c080000000043fff 3e80000004007ffe c1c9224041a80188 c1c9224041a80588 c1c9224041a80388 Wrong 4185091
bfe0000000000000 3caffffffffffffe bff0000000000001 bff0000000000002 bff0000000000001 Wrong 4193147
bca003ffffff0000 400ac4372520559f 3fcbd9e12ac2c108 3fcbd9e12ac2c0ed 3fcbd9e12ac2c0fb Wrong 4203217
4bb000040000003e 318ffffffffff7ff bfe0000000000017 bfeffffffffff017 bfdffffffffff02e Wrong 4209259
c03ffefffffffdff 40bc282748cfc06d bf2ffffefdfffffe c10c274607d5782a c10c274608157828 Wrong 4227385
bfe0000000000000 bff0000000000001 3cafffffffffffff 3fe0000000000002 3fe0000000000003 Wrong 4235441
c3d0000007fffeff bffffffffffffffe 4343523e456566ff 43e0026a4fc8abab 43e004d497915858 Wrong 4237455
bfe0000000000000 c010000000000000 bff0000000000001 3ff8000000000000 3feffffffffffffe Wrong 4241483
bfe0000000000001 3fdffffffffffffe 3ff0000000000001 3fd0000000000002 3fe8000000000002 Wrong 4265651
4070400000000100 4000000000000001 40300000001ff800 40808000000080e1 4080c000000100c1 Wrong 4273707
398ffffffffbffc0 c0a783c6e834743b 381ffffffffef000 ba4783c6e82f8393 ba4783c6e82d8393 Wrong 4287805
3fd007dffffffffe bfeffffffffffffe bfc5181d7bde39ef bfd54de75ef78e78 bfda93eebdef1cf4 Wrong 4303917
3ca0000007fc0000 c34fffffffffffff 42d20f3b307165cc 42d20f3b307164cc 42d20f3b3071654c Wrong 4316001
bfe0000000000001 ffeffffffffffffe c340000000000000 7fd0000000000000 7fe0000000000000 Wrong 4320029
4120000010003fff bfb0000000028000 3ff0000001f7ffff c0dfffe020057c0e c0dfffc02005781e Wrong 4330099
bfefffffffffffff 3caffffffffffffe 3cafffffffffffff bc9ffffffffffffb 396fffffffffffff Wrong 4332113
41f0000007ffdfff c80ffc0000fffffe b81046efcde22968 ca0ffc0010fdc004 ca0ffc0010fdc005 Wrong 4336141
bfefffffffffffff 3fefffffffffffff bff0000000000001 bff8000000000000 c000000000000000 Wrong 4338155
bfefffffffffffff 400fffffffffffff 4340000000000000 434ffffffffffffc 433ffffffffffffc Wrong 4344197
bfeffffffffffffe 3fdfffffffffffff bcafffffffffffff bfdfffffffffffff bfe0000000000000 Wrong 4404617
bfeffffffffffffe 3fffffffffffffff 3ff0000000000001 bff7fffffffffffc bfeffffffffffff8 Wrong 4410659
c1ffffffffffffdf 4000000000000000 402dfffeffffffff c20fffffffc3ffe1 c20fffffff87ffe3 Wrong 4412673
bfeffffffffffffe 4010000000000001 c340000000000000 c340000000000004 c340000000000002 Wrong 4416701
40234ca759ebc6df 3fd0007ffffffffb c20b30390456082e c20b3039042f6daa c20b30390442baec Wrong 4420729
bfeffffffffffffe bca0000000000000 bff0000000000001 bff0000000000000 bff0000000000001 Wrong 4434827
4032fffffffffffe bfefffffffffffff 3fefffbfffffbfff c0328001000000fd c0320002000001fd Wrong 4442883
3e7491c102f637fb c00fffffffffffff 401ffffe000007ff 401ffffdd6dc85f9 401ffffdeb6e46fc Wrong 4448925
c7f0000000007eff ba5001f800000000 41cfffffffffffeb 425009f800007f0e 425011f800007f0f Wrong 4469065
bff0000000000000 3fefffffffffffff 3cafffffffffffff bfeffffffffffffe bfeffffffffffffd Wrong 4477121
bff0000000000000 4000000000000001 bff0000000000001 c004000000000001 c008000000000002 Wrong 4483163
40057f9ad8c03509 bfcfffff00007fff 3fefc0ffffffffff bfc67c68b30ed105 3fd482cba678977d Wrong 4487191
bff0000000000000 4340000000000001 4340000000000000 c330000000000002 c000000000000000 Wrong 4489205
bff0000000000000 bfd0000000000000 3ff0000000000001 3fe8000000000001 3ff4000000000001 Wrong 4507331
3fb0000001dfffff bfdfffffffffffff 40ffffffffc10000 40fffffeffc0ffe2 40ffffff7fc0fff1 Wrong 4509345
bff0000000000000 bfeffffffffffffe c340000000000000 c34fffffffffffff c33fffffffffffff Wrong 4513373
bca3b1086bf83c68 bfffffffffffffff bffffff000ffffff bffffff000fffffc bffffff000fffffe Wrong 4515387
40fffffbfc000000 43efffeffffffeff c3e0000088000000 44ffffe7fc01deff 44ffffe3fc01bcff Wrong 4517401
3fb7fffffffffff6 40200003fffffc00 bf9000000fffffbe 3fe7c005ffbff9f7 3fe78005ff7ff9f8 Wrong 4529485
c34fdffffffbffff 0000000000000001 00000007fbffffff 801fdffe00fbffff 802fdffc01fc0000 Wrong ydenorm zdenorm 4533513
c3fffffffffffb80 3fe0000000000000 c3efffffffff9ffe c3f7ffffffffe5c0 c3ffffffffffcdbf Wrong 4545597
bff0000000000001 3ff0000000000001 bcafffffffffffff bff0000000000002 bff0000000000003 Wrong 4549625
bff0000000000001 4010000000000001 3ff0000000000001 c00c000000000004 c008000000000004 Wrong 4555667
bca926b08c93f8ce 401ffffffffffffe c01fff7fff7fffff c01fff7fff800002 c01fff7fff800001 Wrong 4557681
c02001fffdffffff 3fe00000800fffff c02f5b9b276e56d7 c027aecdd2c72c62 c033ae4db33f2be7 Wrong 4559695
bff0000000000001 bca0000000000000 3cafffffffffffff 3cb0000000000000 3cb8000000000000 Wrong 4573793
c3c86555ae0cf8fe bca59e810275f37d 3d7152cdf414b4ce 40807b56eba58a9a 40807b56eba58a9e Wrong 4577821
bff0000000000001 bfdffffffffffffe bff0000000000001 bca0000000000001 bfe0000000000002 Wrong 4579835
b7ffffffffff9fff 3fc3853bc130e493 b1500007fffffdfe b7d3853bc130aa02 b7d3853bc130aa03 Wrong 4583863
bff0000000000001 bffffffffffffffe 4340000000000000 4340000000000002 4340000000000001 Wrong 4585877
ba0ffffffffffffe c340000000000001 207ec15f8069f3d2 3d50000000000000 3d60000000000000 Wrong 4593933
c06905febb773604 c022a0c0b2a5ae70 3fe47dd1c6d2de46 409d236fc2abcc2e 409d24b79fc8395c Wrong 4608031
7fdfffffffffff3e 3fd1b85566f6674c c03ffffffffffc02 7fc1b85566f666e0 7fc1b85566f666e1 Wrong 4614073
bfffffffffffffff 4340000000000000 bff0000000000001 c34fffffffffffff c350000000000000 Wrong 4628171
bfffffffffffffff bcaffffffffffffe bcafffffffffffff 3cb7fffffffffffd 3caffffffffffffb Wrong 4646297
bffffffffe0003ff bfdfffffffffffff 40031ade702700a8 3fc8d6f379381538 400b1ade6fa701a8 Wrong 4648311
bfffffffffffffff bfeffffffffffffe 3ff0000000000001 4003ffffffffffff 4007ffffffffffff Wrong 4652339
bfffffffffffffff c00fffffffffffff c340000000000000 c34ffffffffffff8 c33ffffffffffff8 Wrong 4658381
40150f7b4d5e78b3 c130000fffbfffff 43f55ef6c9431743 43f55ef6c9430cbb 43f55ef6c94311ff Wrong 4674493
4082298b4297e5d7 42f007fffffe0000 bcaffffffffc0001 438232a00836ec98 438232a00836ec99 Wrong 4680535
000001000000007f c001fffffffff7ff 00bffffffffffff7 00bffffedffffff6 00bfffff6ffffff7 Wrong xdenorm 4698661
802876727078cfd2 7fefffffffffffff c008e292c0aae569 c02b92c4c88e2c7e c02eaf1720a3892b Wrong 4702689
3fbffffffe000100 bcafffffffffffff bf8ffffffffd7fff bf8ffffffffd801f bf8ffffffffd800f Wrong 4714773
bffffffffffffffe bfdffffffffffffe 3cafffffffffffff 3feffffffffffffd 3feffffffffffffe Wrong 4718801
bffffffffffffffe bfffffffffffffff bff0000000000001 400bfffffffffffd 4007fffffffffffd Wrong 4724843
400ffffffffffd7f c000000000000001 c013fffffdffffff c023fffffffffec0 c029fffffefffec0 Wrong 4726857
bffffffffffffffe c01fffffffffffff 4340000000000000 4340000000000010 4340000000000008 Wrong 4730885
c000000000000000 3ca0000000000001 3ff0000000000001 3fffffffffffffff 3ff0000000000000 Wrong 4749011
c000000000000000 3fe0000000000000 c340000000000000 c340000000000001 c340000000000000 Wrong 4755053
436f8bb30527c3e1 c3dfff0000400000 c5e000000fffffef c75f8ab6b7ceb219 c75f8ab6c7ceb229 Wrong 4765123
c000000000000000 4340000000000000 3cafffffffffffff c340000000000000 c350000000000000 Wrong 4767137
3fe0000000000027 bfffffffffffff77 40600001ffffdfff 406fc001ffffdfff 405fc003ffffbffe Wrong 4777207
7fe000001000003f 8010000000000001 c00040003fffffff c008200030000040 c010200028000020 Wrong 4781235
c00636536d8ad40e bff0000000000001 400f97076662a920 401300eb905e1450 401ae6ad69f6be98 Wrong 4793319
c000000000000000 c00fffffffffffff 3ff0000000000001 4021000000000000 4022000000000000 Wrong 4797347
c00000000000801f bff000000ff7ffff c1fffffe00000001 c1fffffdffc00001 c1fffffdffe00001 Wrong 4801375
c000000000000000 c340000000000001 c340000000000000 4348000000000002 4340000000000002 Wrong 4803389
c000000000000001 3fd0000000000000 bff0000000000001 bff0000000000001 bff8000000000002 Wrong 4821515
3fc080001fffffff 3fdffffffffffffe 3e60000400000007 3fb0800060000ffe 3fb08000a0001ffe Wrong 4823529
c000000000000001 3ff0000000000000 4340000000000000 434ffffffffffffe 433ffffffffffffe Wrong 4827557
c000000000000001 434ffffffffffffe bcafffffffffffff c350000000000000 c360000000000000 Wrong 4839641
bea000002001ffff c1cef0dea2ce737b 400e000000000000 407f0edee0b40eda 407f2cdee0b40edb Wrong 4855753
c000000000000001 bfffffffffffffff 3cafffffffffffff 4010000000000000 4010000000000001 Wrong 4863809
3f30000020000000 c000000000000000 bfcfffffc001ffff bfc01fffc041ffff bfd007ffe0110000 Wrong 4865823
c000000000000001 c010000000000001 bff0000000000001 401e000000000004 401c000000000004 Wrong 4869851
c00fffffffffffff 3ca0000000000000 bcafffffffffffff bcc3ffffffffffff bcc7ffffffffffff Wrong 4887977
c31feff7fffffffe 407f14dabf153af4 43c9f50da1a060a1 43a4e4d2b6c1c0b2 43c233bb7e80a07d Wrong 4892005
c00fffffffffffff 3fe0000000000000 3ff0000000000001 bff7fffffffffffe bfeffffffffffffc Wrong 4894019
bff080007fffffff 3fefffffffffffff 41f0002003ffffff 41f0002003defffe 41f0002003ef7fff Wrong 4896033
c00fffffffffffff 3ffffffffffffffe c340000000000000 c340000000000008 c340000000000004 Wrong 4900061
3eb7fffffffffff0 434fffffffffffff 3fc01fffffffffef 421800000000406f 42180000000080ef Wrong 4908117
434ffe0000000003 3f050506fa43403e c036d0c0e5df8b63 426503b6a9d22f00 426503b6a9d0c1f4 Wrong 4910131
40affffbfffffff6 c20000000003fffd c01ffdfffe000000 c2bffffc000803ef c2bffffc000807ef Wrong 4922215
37effeffdfffffff bff0000000000000 b7efffd7ffffffff b7f7ff75efffffff b7ffff6befffffff Wrong 4932285
4047c422625c8dfb 3ff000010003ffff 42e0000000000700 42e00000000012e2 42e0000000000cf1 Wrong 4940341
c00fffffffffffff c340000000000001 3ff0000000000001 4360000000000000 4360000000000001 Wrong 4942355
bfbfffffbffff7ff c34ffffffffffffe 40196d6b50f2a50c 431fffffbffff80a 431fffffbffff816 Wrong 4944369
489fffefffffeffe b6efffffffbffffc 3fbffffffff7effe 3fa000080017f7f1 3fb800040007f3f7 Wrong 4946383
c00ffffffffffffe 3fd0000000000000 3cafffffffffffff bfeffffffffffffd bfeffffffffffffc Wrong 4960481
c00ffffffffffffe 3feffffffffffffe bff0000000000001 c011fffffffffffe c013fffffffffffe Wrong 4966523
c00ffffffffffffe 400ffffffffffffe 4340000000000000 434ffffffffffff0 433ffffffffffff0 Wrong 4972565
4320037fffffffff 4010000000000001 41fdc4b3a046b212 434003807712ce81 43400380ee259d02 Wrong 4974579
41d07fffff800000 c010ffffffbffffe bfd07fffffffffdf c1f187ffff380ffe c1f187ffff3a1ffe Wrong 4982635
c00ffffffffffffe bfd0000000000001 c340000000000000 c34fffffffffffff c33fffffffffffff Wrong 4996733
bcce2e656dd76af6 c01ffffffffffffe 40582ea8ffab0667 40582ea8ffab0668 40582ea8ffab0667 Wrong 5010831
00000004000007fe ffeffffffffffffe c030000003fffeff c0100002040002fe c0300001040000fe Wrong xdenorm 5016873
40000010007ffffe 3f6b3db4bb3d6728 3fd095716ec3b12b 3fd16f5fee9211ab 3fd10268aeaae16b Wrong 5018887
c010000000000000 3fdffffffffffffe bcafffffffffffff bffffffffffffffe bfffffffffffffff Wrong 5032985
c010000000000000 3ffffffffffffffe 3ff0000000000001 c01dfffffffffffe c01bfffffffffffe Wrong 5039027
c010000000000000 401fffffffffffff c340000000000000 c340000000000020 c340000000000010 Wrong 5045069
3f67c855ae00ce43 4340000000000001 43e6f149c1994369 43e6f14fb3aeaee9 43e6f14cbaa3f929 Wrong 5047083
c010000000000000 bca0000000000001 bff0000000000001 bffffffffffffffd bfeffffffffffffe Wrong 5063195
c010000000000000 bfe0000000000001 4340000000000000 4340000000000002 4340000000000001 Wrong 5069237
403fffffffffffdb 423356b030815738 bf9080007fffffff 428356b030815711 428356b030815701 Wrong 5073265
41a69ac8bdfdb461 c3d0083fffffffff 41d8313b8d51b193 c586a6708d7fab30 c586a6708d7fab31 Wrong 5079307
c010000000000000 c340000000000000 bcafffffffffffff 4350000000000000 4360000000000000 Wrong 5081321
401000ffffffffff 4ba80119d03cc382 800fe0000000001e 4bc80299e1d9c74c 4bc80299e1d9c74d Wrong zdenorm 5085349
c010000000000001 3feffffffffffffe 3cafffffffffffff c000000000000000 c00fffffffffffff Wrong 5105489
c010000000000001 400fffffffffffff bff0000000000001 c030800000000000 c031000000000001 Wrong 5111531
c010000000000001 434fffffffffffff 4340000000000000 c36e000000000001 c36c000000000001 Wrong 5117573
c010000000000001 bfd0000000000001 3ff0000000000001 3ff8000000000002 4000000000000002 Wrong 5135699
c010000000000001 bff0000000000000 c340000000000000 c34ffffffffffffc c33ffffffffffffc Wrong 5141741
37ea3353806450ba bffffffffffffffe b803fffffffff7ff b80719a9c032245c b8108cd4e019102e Wrong 5143755
c1fff7fffffffe00 c01ffffffffffffe bf38000000000040 422ff7fffffffde6 422ff7fffffffdce Wrong 5149797
bcaffffdf7fffffe 366ffffffe1fffff b20f000000000007 b3300000eb10000e b3300002db10000e Wrong 5169937
c01fffffffffffff 401fffffffffffff 3ff0000000000001 c04fbffffffffffe c04f7ffffffffffe Wrong 5184035
bf40000804000000 3ccfffff7ffefffe be9000000fffffff be90000010003fff be90000010001fff Wrong 5200147
c01fffffffffffff bca0000000000001 3cafffffffffffff 3cd2000000000000 3cd4000000000000 Wrong 5202161
423c64df6ca8aa39 bcaffffffffffffe 3ff1ae3ab5f11d36 3ff1ae01ec3243e4 3ff1ae1e5111b08d Wrong 5204175
c01fffffffffffff bfe0000000000000 bff0000000000001 400bffffffffffff 4007fffffffffffe Wrong 5208203
c01fffffffffffff c000000000000000 4340000000000000 4340000000000010 4340000000000008 Wrong 5214245
bf1fffffe0ffffff bfcffffffbffff00 bf9000001ffffc00 bf9ff00020117c00 bf8ff00040117800 Wrong 5236399
47fe17f4025a7deb b7f000000fffffef 41c000400000001f 41c0003ffe1e80dd 41c0003fff0f407e Wrong 5242441
8010000000803fff 3ff0000000000001 000fffe07fffffff 8000000000000000 8000001f80804001 Wrong w=-zero zdenorm unflw 5246469
bca000000003fffb 4010000000000000 3fddfffffffffe00 3fddfffffffffdf0 3fddfffffffffdf8 Wrong 5252511
3ffefffeffffffff 38100002fffffffe b81effff7fffffff 380f000a1fff9ff7 36f53fff3ff08000 Wrong 5266609
c01ffffffffffffe bfd0000000000000 bcafffffffffffff 3ffffffffffffffe 3ffffffffffffffd Wrong 5274665
c1c07fffffffffff bfdffffffffffffe 42db2d4be861df6a 42db2d542861df6a 42db2d500861df6a Wrong 5276679
41cdffffc0000000 bfbff87ffffffffe 41c000000080ffff 41a1038420fa7fff 41b881c210fe3ffe Wrong 5278693
c01ffffffffffffe bff0000000000000 3ff0000000000001 4020ffffffffffff 4021ffffffffffff Wrong 5280707
c01ffffffffffffe c00ffffffffffffe c340000000000000 c34fffffffffffe0 c33fffffffffffe0 Wrong 5286749
002dfffeffffffff ffefffffffffffff 3ffffffffffffbfc c02bffff0000003e c029ffff0000007f Wrong 5294805
c383f50a0cb6ed42 41eb3dd4a3b7b79c c189841022924e71 c580fd50335fe824 c580fd50335fe825 Wrong 5302861
c340000000000000 3fdfffffffffffff 4340000000000000 3fe0000000000000 4330000000000000 Wrong 5310917
bcafffc0001ffffe 3fe0000000000000 bfc000400000000f bfc0004000000017 bfc0004000000013 Wrong 5312931
43f017fffffffffe bcaffffffffffffe c01effffffffefff c0b01bdffffffffb c0b01fbffffffff9 Wrong 5343141
4128574d5c8f3538 bfefffffffffffff c3ebfd9ee3d633db c3ebfd9ee3d636e6 c3ebfd9ee3d63560 Wrong 5349183
c340000000000000 bffffffffffffffe bff0000000000001 434ffffffffffffe 434ffffffffffffd Wrong 5353211
c340000000000000 c01ffffffffffffe 4340000000000000 4370ffffffffffff 4371ffffffffffff Wrong 5359253
c340000000000001 3cafffffffffffff 3ff0000000000001 bff8000000000000 bff0000000000000 Wrong 5377379
c340000000000001 3fe0000000000001 c340000000000000 c340000000000001 c348000000000001 Wrong 5383421
c340000000000001 bfeffffffffffffe bcafffffffffffff 4330000000000000 4340000000000000 Wrong 5419673
bfaffd7ffffffffe bfffffffffffffff 402ffff400000000 40207fea00000000 40301ff780000000 Wrong 5421687
c34fffffffffffff 3fd0000000000001 bff0000000000001 c330000000000001 c330000000000002 Wrong 5449883
c34fffffffffffff 3ff0000000000001 4340000000000000 c348000000000001 c340000000000001 Wrong 5455925
c03000003ffdffff 4034000000000002 3fb0100000001000 c073ff7fcffd8000 c073feff4ffd8000 Wrong 5459953
41dffffffffffefb bfeffc0000000040 41c07ffc00000000 c1dbdc00ffffff3b c1d7bc01ffffff3b Wrong 5465995
4acfffffffe07fff 380111a0c92fbee3 bfc020eb7964e9df 42e111a0c91ef186 42e111a0c91ef184 Wrong 5472037
c1effffffffc0003 bfefffffffffffff 41df7ffffffffbff 41f3effffffdff81 41f7dffffffdff01 Wrong 5488149
bf5ffdfeffffffff c1c00000000007fe c068f8e52e02b635 412ffd3738d69fe4 412ffc6f71ad2fcf Wrong 5502247
43c00000000c0000 3ba03fffffffeffe c19e0000000001fe c19dfffffff7e1fe c19dfffffffbf1fe Wrong 5508289
c00595ebd72b467c 43cf77fffffffffe c1e9531cb30bc1e8 c3e53a2eace5781d c3e53a2eacf221ac Wrong 5520373
c07ffbffffffefff 3feffffffffffffe 43deffffff7ffffe 43deffffff7ffffd 43deffffff7ffffe Wrong 5524401
c34ffffffffffffe 4000000000000000 c340000000000000 c361ffffffffffff c363ffffffffffff Wrong 5528429
c01ffff000001ffe 419fffbfffffffff 4020088000000000 c1cfffaffe1f0ffd c1cfffaffc1dfffd Wrong 5532457
c34ffffffffffffe bcaffffffffffffe 4340000000000000 4340000000000004 4340000000000002 Wrong 5552597
3ff221640e87bbad bfd0000000000001 c1d70a764cfa4319 c1d70a764d1e85e1 c1d70a764d0c647d Wrong 5554611
3ffffffffffff780 bff0000000000001 400cfefb818713c9 bfc80823f3c71dc8 3ff9fdf7030e3010 Wrong 5560653
c3c7979fc93cf795 c01ffffdffefffff c72fffdfffffbfff c72fffdfffffbff9 c72fffdfffffbffc Wrong 5568709
bf76a55146618ff8 c2c000001fffbffe 3fe000bffffffffe 4246a55173abf7ee 4246a55173ac17f0 Wrong 5574751
40d4374fa828b57a 3ffffffffffffffe b08008000000000f 40e4374fa828b578 40e4374fa828b579 Wrong 5596905
3ca00000005fffff 7fefffffffffffff 7fe0043fffffffff 7fe0044000000001 7fe0044000000000 Wrong 5608989
be10000000080010 41e00000003ffbff 3ea954e801d58acc bfffffff9b3c5816 bfffffff35e8b80f Wrong 5611003
ffe0000000000000 801ffffffffffffe 3ff0000000000001 4011ffffffffffff 4013ffffffffffff Wrong 5619059
3f8fffdffffff7ff bfdfffe0000ffffe bfc00000002007ff bfc1fffc0023077e bfc0fffe002187be Wrong 5629129
c0ce6b6deff071a3 3feffffffffffffe 3f9ff00000fffffe c0ce6b6bf0f07191 c0ce6b69f1f07181 Wrong 5663367
bfcff8000003ffff c0c00000007fbfff bff0000001000007 409ff6000103201d 409ff4000103001d Wrong 5671423
be90e49a299e9782 3f5000000fc00000 401ffffffc000004 401ffffffbf78db7 401ffffffbfbc6dd Wrong 5683507
ffe0000000000001 800ffffffffffffe 3cafffffffffffff 3feffffffffffffe 3fffffffffffffff Wrong ydenorm 5685521
c0c01f0000000000 3ff0001fff7fffff be12dd4b694fb5d8 c0c01f203d7f092d c0c01f203d7f0a5b Wrong 5695591
bca0000007fefffe c1f1000003ffffff 3fe000007ffffbff 3fe000029ffffd8f 3fe000018ffffcc7 Wrong 5713717
ffefffffffffffff 0010000000000000 c340000000000000 c340000000000004 c340000000000002 Wrong 5721773
800ffffffdffffff bfcffe00003ffffe 800ffff01ffffffe 80160018103bfbff 800c00302077f7ff Wrong xdenorm zdenorm 2475205
401ffffffbfffbff 3fbfffef80000000 c00000400000007f c0080044210000fb bff00088420001f6 Wrong 2493331
7feffffffffffffe 001fffffffffffff c340000000000000 c34ffffffffffffc c33ffffffffffff8 Wrong 2724941
bfdfffe00fffffff 3fccf2165e6eea40 3ff0000023fffffe 3ffe30e08c52e68e 3fec61c118a5cd1c Wrong 2880019
c090003ffffffffb 3fefffffffffffff 41d00000003ffe00 41dfffff003bfe00 41cffffe0077fc00 Wrong 3222399
3fcffffffff7ff7f bff4691aa0d59fcd 40600007ffe00000 406ff5d3728f97bd 405feba6e51f2f7b Wrong 3260665
8010000000000000 7fefffffffffffff 4340000000000000 434ffffffffffffe 433ffffffffffffc Wrong 3377477
3fbfffffefbfffff 3f600001ff7ffffe bfc000fffffffffe bfcff8ffff044fff bfbff1fffe089ffd Wrong 3417757
bcafffffffffffff 3fd0000000000001 bcafffffffffffff bc8ffffffffffffd bcb4000000000000 Wrong 3776249
bcafffffffffffff 3ff0000000000001 3ff0000000000001 4000000000000000 3ff0000000000000 Wrong 3782291
bfc0000000800008 43d0001000000002 c3cffffbffff8000 c3a00000007e008a c3d20000000fc011 Wrong 3804445
bcaffffffffffffe 4340000000000000 4340000000000000 434fffffffffffff 433ffffffffffffe Wrong 3860837
bfd0000000000000 bfdfffffffffffff bff0000000000001 bffe000000000001 bfec000000000002 Wrong 3951467
bfd0000000000001 c000000000000001 c340000000000000 c350000000000000 c33fffffffffffff Wrong 4030013
3f3e007ffffffffe bfe0000000000000 3ff0000000001f7f 3fffff0ffc001f7f 3feffe1ff8003efe Wrong 4092447
c070000000024000 c01ffffffffffffe c1e0000004003ffe c1efffff04003ffe c1dffffe08007ffc Wrong 4104531
4bb000040000003e 318ffffffffff7ff bfe0000000000017 bfeffffffffff817 bfdffffffffff02e Wrong 4209259
bfe0000000000001 3fdffffffffffffe 3ff0000000000001 3ffc000000000001 3fe8000000000002 Wrong 4265651
bfefffffffffffff 3fefffffffffffff bff0000000000001 b950000000000000 c000000000000000 Wrong 4338155
bfefffffffffffff 400fffffffffffff 4340000000000000 434ffffffffffffe 433ffffffffffffc Wrong 4344197
bff0000000000000 bfeffffffffffffe c340000000000000 c350000000000000 c33fffffffffffff Wrong 4513373
bfffffffffffffff c00fffffffffffff c340000000000000 c34ffffffffffffc c33ffffffffffff8 Wrong 4658381
400ffffffffffd7f c000000000000001 c013fffffdffffff c027fffffffffec1 c029fffffefffec0 Wrong 4726857
c000000000000000 3ca0000000000001 3ff0000000000001 4000000000000000 3ff0000000000000 Wrong 4749011
3fe0000000000027 bfffffffffffff77 40600001ffffdfff 406fe001ffffdfff 405fc003ffffbffe Wrong 4777207
c000000000000001 3ff0000000000000 4340000000000000 434fffffffffffff 433ffffffffffffe Wrong 4827557
c00ffffffffffffe 400ffffffffffffe 4340000000000000 434ffffffffffff8 433ffffffffffff0 Wrong 4972565
c00ffffffffffffe bfd0000000000001 c340000000000000 c350000000000000 c33fffffffffffff Wrong 4996733
c010000000000000 bca0000000000001 bff0000000000001 bfffffffffffffff bfeffffffffffffe Wrong 5063195
c010000000000001 bff0000000000000 c340000000000000 c34ffffffffffffe c33ffffffffffffc Wrong 5141741
37ea3353806450ba bffffffffffffffe b803fffffffff7ff b7c19a9c032205b3 b8108cd4e019102e Wrong 5143755
bf1fffffe0ffffff bfcffffffbffff00 bf9000001ffffc00 bf9ff8002008bc00 bf8ff00040117800 Wrong 5236399
8010000000803fff 3ff0000000000001 000fffe07fffffff fff0000000000000 8000001f80804001 Wrong zdenorm w=-inf 5246469
41cdffffc0000000 bfbff87ffffffffe 41c000000080ffff 41cc40e1087f1fff 41b881c210fe3ffe Wrong 5278693
c01ffffffffffffe c00ffffffffffffe c340000000000000 c34ffffffffffff0 c33fffffffffffe0 Wrong 5286749
ffe0000000000001 0000000000000001 4340000000000000 4350000000000000 4340000000000000 Wrong ydenorm 5649269
b7fffff80000001f 001ffffffffffffe 800fffffffff07ff 8000000000000000 800fffffffff07ff Wrong w=-zero zdenorm unflw 5723787
3fdfffff80007fff 3fdffffffffffffe 402001ffffffffe0 402101fffc0003e0 402081fffe0001e0 Wrong 5729829
43f008000000003e 3fffffffffffffff c3dc8b92c412fd96 43fc7e8da77da0c8 43f8ed1b4efb4115 Wrong 5735871
7fd4100000000000 bf2ffffe03fffffe 9e4f275405eb089b ff140ffec181fffe ff140ffec181ffff Wrong 5743927
3fd0000401ffffff c07fffe000007fff 3fafc000001fffff c05ffdec03f879fd c05ffbf003f877fd Wrong 5786221
ffeffffffffffffe 0000000000000000 bff0000000000001 c003ffffffffffff bff0000000000001 Wrong 5788235
c398d85aca9eff71 400fffffffffffff 41e5fab80ef2d73e c3b8d85aca471490 c3b8d85ac9ef29b0 Wrong 5808375
bf1fffff8003ffff bfd0000000000000 c220800004000000 c220800003fffff8 c220800003fffffc Wrong 5832543
ffeffffffffffffe bfe0000000000001 bff0000000000001 7fd0000000000000 7fe0000000000000 Wrong 5836571
3812031359e6b20b c00ffffffffffffe b7f02000000003ff b832841359e6b22a b833051359e6b24a Wrong 5844627
c1cfffffff7ffffe bfaf0e5ff2ac719c 41f89242d54a35b2 41f90e7c5512f692 41f8d05f952e9622 Wrong 5858725
bfffffffffbfffbe 3ff0400003fffffe 417dd4e89ed4c2a5 417dd4e85dd4c296 417dd4e87e54c29d Wrong 5864767
37e037ad784678e1 3fdfffffffffffff b7e000000000103f 376bd6bc233450bf b7cf90a50f734f3b Wrong 5868795
c2700007fffffe00 415fffffe0000003 c34fffffffff7dff c3e00407effff5f1 c3e00807effff5e1 Wrong 5870809
bfcc03a8225fe071 ffeffffffffffffe ffe0000420000000 ff9fe300ed00fc86 ffd1fe342ed00fc8 Wrong 5923173
c050000003fff000 3cafffffffffffff 402ffffffffffdf7 402ffffffffffde7 402ffffffffffdef Wrong 5935257
3eb9c788bafd1c8d c3cfbfffefffffff 4011ffffffffff7f c29993f99ca354f6 c29993f99ca34bf6 Wrong 5937271
c0300000bfffffff 3fe0000000000001 401fffffe0400000 c01000018fe00000 bed9fc0000000001 Wrong 5941299
dd32c11cf81b2b12 40002b8c7d146fad c021abbfd858aa44 dd42f428a25015a0 dd42f428a25015a1 Wrong 5955397
41c0000000800080 40f0002fffffffff 43fa043fa875191b 43fa0443a881193b 43fa0441a87b192b Wrong 5961439
43301fffffffffff bd2ffffffefdffff c0594b450d492733 c0734968a12722e5 c07672d142d047cb Wrong 5967481
3fe0188bb8c96308 bfd0000000000000 bfc0000007ffff7f bfc8188bbcc962c8 bfd00c45e064b144 Wrong 5971509
bfcc03a8225fe071 ffeffffffffffffe ffe0000420000000 ffe8ff1a176807e4 ffd1fe342ed00fc8 Wrong 5923173