From fb78dedae286270c0584919c54a8f7a7cd544a78 Mon Sep 17 00:00:00 2001 From: Katherine Parry Date: Wed, 24 Mar 2021 01:35:32 +0000 Subject: [PATCH] fixed various bugs in the FMA --- wally-pipelined/src/fpu/FMA/add.sv | 5 +- wally-pipelined/src/fpu/FMA/align.sv | 23 +- wally-pipelined/src/fpu/FMA/expgen.sv | 13 +- wally-pipelined/src/fpu/FMA/fmac.sv | 3 + wally-pipelined/src/fpu/FMA/multiply.sv | 6 +- wally-pipelined/src/fpu/FMA/normalize.sv | 60 +- wally-pipelined/src/fpu/FMA/round.sv | 26 +- wally-pipelined/src/fpu/FMA/tbgen/results.dat | 711 ++---------------- 8 files changed, 158 insertions(+), 689 deletions(-) diff --git a/wally-pipelined/src/fpu/FMA/add.sv b/wally-pipelined/src/fpu/FMA/add.sv index a6bf5b186..88ba5dadc 100644 --- a/wally-pipelined/src/fpu/FMA/add.sv +++ b/wally-pipelined/src/fpu/FMA/add.sv @@ -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 diff --git a/wally-pipelined/src/fpu/FMA/align.sv b/wally-pipelined/src/fpu/FMA/align.sv index 1c31cfe1d..68e755cde 100644 --- a/wally-pipelined/src/fpu/FMA/align.sv +++ b/wally-pipelined/src/fpu/FMA/align.sv @@ -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> 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; diff --git a/wally-pipelined/src/fpu/FMA/expgen.sv b/wally-pipelined/src/fpu/FMA/expgen.sv index b5d29f315..104bdc233 100644 --- a/wally-pipelined/src/fpu/FMA/expgen.sv +++ b/wally-pipelined/src/fpu/FMA/expgen.sv @@ -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 diff --git a/wally-pipelined/src/fpu/FMA/fmac.sv b/wally-pipelined/src/fpu/FMA/fmac.sv index 0602f4be8..5245c74c3 100644 --- a/wally-pipelined/src/fpu/FMA/fmac.sv +++ b/wally-pipelined/src/fpu/FMA/fmac.sv @@ -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; diff --git a/wally-pipelined/src/fpu/FMA/multiply.sv b/wally-pipelined/src/fpu/FMA/multiply.sv index 5204c00d0..edcd67c1c 100644 --- a/wally-pipelined/src/fpu/FMA/multiply.sv +++ b/wally-pipelined/src/fpu/FMA/multiply.sv @@ -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 diff --git a/wally-pipelined/src/fpu/FMA/normalize.sv b/wally-pipelined/src/fpu/FMA/normalize.sv index f69d2cb06..cb9a15def 100644 --- a/wally-pipelined/src/fpu/FMA/normalize.sv +++ b/wally-pipelined/src/fpu/FMA/normalize.sv @@ -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 diff --git a/wally-pipelined/src/fpu/FMA/round.sv b/wally-pipelined/src/fpu/FMA/round.sv index 0472ffd04..76b03dbe6 100644 --- a/wally-pipelined/src/fpu/FMA/round.sv +++ b/wally-pipelined/src/fpu/FMA/round.sv @@ -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 diff --git a/wally-pipelined/src/fpu/FMA/tbgen/results.dat b/wally-pipelined/src/fpu/FMA/tbgen/results.dat index 9fbfc7777..3d57d2869 100644 --- a/wally-pipelined/src/fpu/FMA/tbgen/results.dat +++ b/wally-pipelined/src/fpu/FMA/tbgen/results.dat @@ -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