1# data file for mpfi_sec
2#
3# column fields:
4# 1: inexact flag (returned value)
5# 2: precision of result
6# 3: left endpoint value of result
7# 4: right endpoint value of result
8#
9# 5: precision of input parameter
10# 6: left endpoint value of input parameter
11# 7: right endpoint value of input parameter
12
13# special values
140 53  nan    nan    53  nan  nan
150 53  nan    nan    53  nan -inf
160 53  nan    nan    53 -7    nan
170 53  nan    nan    53  nan -0
180 53  nan    nan    53 +0    nan
190 53  nan    nan    53 -inf  nan
200 53  nan    nan    53 -inf -inf
210 53 -inf   +inf    53 -inf -7
220 53 -inf   +inf    53 -inf -0
230 53 -inf   +inf    53 -inf  8
240 53 -inf   +inf    53 -inf +inf
250 53 -inf   +inf    53 -8   -0
260 53 -inf   +inf    53 -3   -0
272 53  1                     0x1d9cf0f125cc2ap-52   53 -1 -0
280 53  1      1      53 +0   -0
292 53  1                     0x1d9cf0f125cc2ap-52   53 +0 +1
300 53 -inf   +inf    53 +0    3
310 53 -inf   +inf    53 +0    8
320 53 -inf   +inf    53 +0   +inf
330 53  nan    nan    53 +inf +inf
34
35# regular values
360 53 -inf   +inf    53 -6    7
370 53 -inf   +inf    53 -6    6
380 53 -inf   +inf    53 -6    5
390 53 -inf   +inf    53 -6    4
400 53 -inf   +inf    53 -6    3
410 53 -inf   +inf    53 -6    2
420 53 -inf   +inf    53 -6    1
430 53 -inf   +inf    53 -6   -0
440 53 -inf   +inf    53 -6   -1
450 53 -inf   +inf    53 -6   -2
460 53 -inf   +inf    53 -6   -3
470 53 -inf   +inf    53 -6   -4
483 53  0x10a9e8f3e19df1p-52  0x1c33db0464189bp-51   53 -6 -5
493 53  0x10a9e8f3e19df1p-52  0x10a9e8f3e19df2p-52   53 -6 -6
50
510 53 -inf   +inf    53 -5    7
520 53 -inf   +inf    53 -5    6
530 53 -inf   +inf    53 -5    5
540 53 -inf   +inf    53 -5    4
550 53 -inf   +inf    53 -5    3
560 53 -inf   +inf    53 -5    2
570 53 -inf   +inf    53 -5    1
580 53 -inf   +inf    53 -5   -0
590 53 -inf   +inf    53 -5   -1
600 53 -inf   +inf    53 -5   -2
610 53 -inf   +inf    53 -5   -3
620 53 -inf   +inf    53 -5   -4
633 53  0x1c33db0464189ap-51  0x1c33db0464189bp-51   53 -5 -5
64
650 53 -inf   +inf    53 -4    7
660 53 -inf   +inf    53 -4    6
670 53 -inf   +inf    53 -4    5
680 53 -inf   +inf    53 -4    4
690 53 -inf   +inf    53 -4    3
700 53 -inf   +inf    53 -4    2
710 53 -inf   +inf    53 -4    1
720 53 -inf   +inf    53 -4   -0
730 53 -inf   +inf    53 -4   -1
741 53 -0x133956fecf9e49p-51 -1                      53 -4 -2
751 53 -0x187a6961d2485fp-52 -1                      53 -4 -3
763 53 -0x187a6961d2485fp-52 -0x187a6961d2485ep-52   53 -4 -4
77
780 53 -inf   +inf    53 -3    7
790 53 -inf   +inf    53 -3    6
800 53 -inf   +inf    53 -3    5
810 53 -inf   +inf    53 -3    4
820 53 -inf   +inf    53 -3    3
830 53 -inf   +inf    53 -3    2
840 53 -inf   +inf    53 -3    1
850 53 -inf   +inf    53 -3   -0
860 53 -inf   +inf    53 -3   -1
873 53 -0x133956fecf9e49p-51 -0x102967b457b245p-52   53 -3 -2
883 53 -0x102967b457b246p-52 -0x102967b457b245p-52   53 -3 -3
89
900 53 -inf   +inf    53 -2    7
910 53 -inf   +inf    53 -2    6
920 53 -inf   +inf    53 -2    5
930 53 -inf   +inf    53 -2    4
940 53 -inf   +inf    53 -2    3
950 53 -inf   +inf    53 -2    2
960 53 -inf   +inf    53 -2    1
970 53 -inf   +inf    53 -2   -0
980 53 -inf   +inf    53 -2   -1
993 53 -0x133956fecf9e49p-51 -0x133956fecf9e48p-51   53 -2 -2
100
1010 53 -inf   +inf    53 -1    7
1020 53 -inf   +inf    53 -1    6
1030 53 -inf   +inf    53 -1    5
1040 53 -inf   +inf    53 -1    4
1050 53 -inf   +inf    53 -1    3
1060 53 -inf   +inf    53 -1    2
1072 53  1                     0x1d9cf0f125cc2ap-52   53 -1  1
1082 53  1                     0x1d9cf0f125cc2ap-52   53 -1 -0
1093 53  0x1d9cf0f125cc29p-52  0x1d9cf0f125cc2ap-52   53 -1 -1
110
1110 53 -inf   +inf    53  1    7
1120 53 -inf   +inf    53  1    6
1130 53 -inf   +inf    53  1    5
1140 53 -inf   +inf    53  1    4
1150 53 -inf   +inf    53  1    3
1160 53 -inf   +inf    53  1    2
1173 53  0x1d9cf0f125cc29p-52  0x1d9cf0f125cc2ap-52   53  1  1
118
1190 53 -inf   +inf    53  2    7
1200 53 -inf   +inf    53  2    6
1210 53 -inf   +inf    53  2    5
1221 53 -0x133956fecf9e49p-51 -1                      53  2  4
1233 53 -0x133956fecf9e49p-51 -0x102967b457b245p-52   53  2  3
1243 53 -0x133956fecf9e49p-51 -0x133956fecf9e48p-51   53  2  2
125
1260 53 -inf   +inf    53  3    7
1270 53 -inf   +inf    53  3    6
1280 53 -inf   +inf    53  3    5
1291 53 -0x187a6961d2485fp-52 -1                      53  3  4
1303 53 -0x102967b457b246p-52 -0x102967b457b245p-52   53  3  3
131
1320 53 -inf   +inf    53  4    7
1330 53 -inf   +inf    53  4    6
1340 53 -inf   +inf    53  4    5
1353 53 -0x187a6961d2485fp-52 -0x187a6961d2485ep-52   53  4  4
136
1372 53  1                     0x1c33db0464189bp-51   53  5  7
1383 53  0x10a9e8f3e19df1p-52  0x1c33db0464189bp-51   53  5  6
1393 53  0x1c33db0464189ap-51  0x1c33db0464189bp-51   53  5  5
140
1412 53  1                     0x153910a80e7db5p-52   53  6  7
1423 53  0x10a9e8f3e19df1p-52  0x10a9e8f3e19df2p-52   53  6  6
143
1443 53  0x153910a80e7db4p-52  0x153910a80e7db5p-52   53  7  7
145