This file is indexed.

/usr/share/axiom-20170501/input/en.input is in axiom-test 20170501-3.

This file is owned by root:root, with mode 0o644.

The actual contents of the file can be viewed below.

   1
   2
   3
   4
   5
   6
   7
   8
   9
  10
  11
  12
  13
  14
  15
  16
  17
  18
  19
  20
  21
  22
  23
  24
  25
  26
  27
  28
  29
  30
  31
  32
  33
  34
  35
  36
  37
  38
  39
  40
  41
  42
  43
  44
  45
  46
  47
  48
  49
  50
  51
  52
  53
  54
  55
  56
  57
  58
  59
  60
  61
  62
  63
  64
  65
  66
  67
  68
  69
  70
  71
  72
  73
  74
  75
  76
  77
  78
  79
  80
  81
  82
  83
  84
  85
  86
  87
  88
  89
  90
  91
  92
  93
  94
  95
  96
  97
  98
  99
 100
 101
 102
 103
 104
 105
 106
 107
 108
 109
 110
 111
 112
 113
 114
 115
 116
 117
 118
 119
 120
 121
 122
 123
 124
 125
 126
 127
 128
 129
 130
 131
 132
 133
 134
 135
 136
 137
 138
 139
 140
 141
 142
 143
 144
 145
 146
 147
 148
 149
 150
 151
 152
 153
 154
 155
 156
 157
 158
 159
 160
 161
 162
 163
 164
 165
 166
 167
 168
 169
 170
 171
 172
 173
 174
 175
 176
 177
 178
 179
 180
 181
 182
 183
 184
 185
 186
 187
 188
 189
 190
 191
 192
 193
 194
 195
 196
 197
 198
 199
 200
 201
 202
 203
 204
 205
 206
 207
 208
 209
 210
 211
 212
 213
 214
 215
 216
 217
 218
 219
 220
 221
 222
 223
 224
 225
 226
 227
 228
 229
 230
 231
 232
 233
 234
 235
 236
 237
 238
 239
 240
 241
 242
 243
 244
 245
 246
 247
 248
 249
 250
 251
 252
 253
 254
 255
 256
 257
 258
 259
 260
 261
 262
 263
 264
 265
 266
 267
 268
 269
 270
 271
 272
 273
 274
 275
 276
 277
 278
 279
 280
 281
 282
 283
 284
 285
 286
 287
 288
 289
 290
 291
 292
 293
 294
 295
 296
 297
 298
 299
 300
 301
 302
 303
 304
 305
 306
 307
 308
 309
 310
 311
 312
 313
 314
 315
 316
 317
 318
 319
 320
 321
 322
 323
 324
 325
 326
 327
 328
 329
 330
 331
 332
 333
 334
 335
 336
 337
 338
 339
 340
 341
 342
 343
 344
 345
 346
 347
 348
 349
 350
 351
 352
 353
 354
 355
 356
 357
 358
 359
 360
 361
 362
 363
 364
 365
 366
 367
 368
 369
 370
 371
 372
 373
 374
 375
 376
 377
 378
 379
 380
 381
 382
 383
 384
 385
 386
 387
 388
 389
 390
 391
 392
 393
 394
 395
 396
 397
 398
 399
 400
 401
 402
 403
 404
 405
 406
 407
 408
 409
 410
 411
 412
 413
 414
 415
 416
 417
 418
 419
 420
 421
 422
 423
 424
 425
 426
 427
 428
 429
 430
 431
 432
 433
 434
 435
 436
 437
 438
 439
 440
 441
 442
 443
 444
 445
 446
 447
 448
 449
 450
 451
 452
 453
 454
 455
 456
 457
 458
 459
 460
 461
 462
 463
 464
 465
 466
 467
 468
 469
 470
 471
 472
 473
 474
 475
 476
 477
 478
 479
 480
 481
 482
 483
 484
 485
 486
 487
 488
 489
 490
 491
 492
 493
 494
 495
 496
 497
 498
 499
 500
 501
 502
 503
 504
 505
 506
 507
 508
 509
 510
 511
 512
 513
 514
 515
 516
 517
 518
 519
 520
 521
 522
 523
 524
 525
 526
 527
 528
 529
 530
 531
 532
 533
 534
 535
 536
 537
 538
 539
 540
 541
 542
 543
 544
 545
 546
 547
 548
 549
 550
 551
 552
 553
 554
 555
 556
 557
 558
 559
 560
 561
 562
 563
 564
 565
 566
 567
 568
 569
 570
 571
 572
 573
 574
 575
 576
 577
 578
 579
 580
 581
 582
 583
 584
 585
 586
 587
 588
 589
 590
 591
 592
 593
 594
 595
 596
 597
 598
 599
 600
 601
 602
 603
 604
 605
 606
 607
 608
 609
 610
 611
 612
 613
 614
 615
 616
 617
 618
 619
 620
 621
 622
 623
 624
 625
 626
 627
 628
 629
 630
 631
 632
 633
 634
 635
 636
 637
 638
 639
 640
 641
 642
 643
 644
 645
 646
 647
 648
 649
 650
 651
 652
 653
 654
 655
 656
 657
 658
 659
 660
 661
 662
 663
 664
 665
 666
 667
 668
 669
 670
 671
 672
 673
 674
 675
 676
 677
 678
 679
 680
 681
 682
 683
 684
 685
 686
 687
 688
 689
 690
 691
 692
 693
 694
 695
 696
 697
 698
 699
 700
 701
 702
 703
 704
 705
 706
 707
 708
 709
 710
 711
 712
 713
 714
 715
 716
 717
 718
 719
 720
 721
 722
 723
 724
 725
 726
 727
 728
 729
 730
 731
 732
 733
 734
 735
 736
 737
 738
 739
 740
 741
 742
 743
 744
 745
 746
 747
 748
 749
 750
 751
 752
 753
 754
 755
 756
 757
 758
 759
 760
 761
 762
 763
 764
 765
 766
 767
 768
 769
 770
 771
 772
 773
 774
 775
 776
 777
 778
 779
 780
 781
 782
 783
 784
 785
 786
 787
 788
 789
 790
 791
 792
 793
 794
 795
 796
 797
 798
 799
 800
 801
 802
 803
 804
 805
 806
 807
 808
 809
 810
 811
 812
 813
 814
 815
 816
 817
 818
 819
 820
 821
 822
 823
 824
 825
 826
 827
 828
 829
 830
 831
 832
 833
 834
 835
 836
 837
 838
 839
 840
 841
 842
 843
 844
 845
 846
 847
 848
 849
 850
 851
 852
 853
 854
 855
 856
 857
 858
 859
 860
 861
 862
 863
 864
 865
 866
 867
 868
 869
 870
 871
 872
 873
 874
 875
 876
 877
 878
 879
 880
 881
 882
 883
 884
 885
 886
 887
 888
 889
 890
 891
 892
 893
 894
 895
 896
 897
 898
 899
 900
 901
 902
 903
 904
 905
 906
 907
 908
 909
 910
 911
 912
 913
 914
 915
 916
 917
 918
 919
 920
 921
 922
 923
 924
 925
 926
 927
 928
 929
 930
 931
 932
 933
 934
 935
 936
 937
 938
 939
 940
 941
 942
 943
 944
 945
 946
 947
 948
 949
 950
 951
 952
 953
 954
 955
 956
 957
 958
 959
 960
 961
 962
 963
 964
 965
 966
 967
 968
 969
 970
 971
 972
 973
 974
 975
 976
 977
 978
 979
 980
 981
 982
 983
 984
 985
 986
 987
 988
 989
 990
 991
 992
 993
 994
 995
 996
 997
 998
 999
1000
1001
1002
1003
1004
1005
1006
1007
1008
1009
1010
1011
1012
1013
1014
1015
1016
1017
1018
1019
1020
1021
1022
1023
1024
1025
1026
1027
1028
1029
1030
1031
1032
1033
1034
1035
1036
1037
1038
1039
1040
1041
1042
1043
1044
1045
1046
1047
1048
1049
1050
1051
1052
1053
1054
1055
1056
1057
1058
1059
1060
1061
1062
1063
1064
1065
1066
1067
1068
1069
1070
1071
1072
1073
1074
1075
1076
1077
1078
1079
1080
1081
1082
1083
1084
1085
1086
1087
1088
1089
1090
1091
1092
1093
1094
1095
1096
1097
1098
1099
1100
1101
1102
1103
1104
1105
1106
1107
1108
1109
1110
1111
1112
1113
1114
1115
1116
1117
1118
1119
1120
1121
1122
1123
1124
1125
1126
1127
1128
1129
1130
1131
1132
1133
1134
1135
1136
1137
1138
1139
1140
1141
1142
1143
1144
1145
1146
1147
1148
1149
1150
1151
1152
1153
1154
1155
1156
1157
1158
1159
1160
1161
1162
1163
1164
1165
1166
1167
1168
1169
1170
1171
1172
1173
1174
1175
1176
1177
1178
1179
1180
1181
1182
1183
1184
1185
1186
1187
1188
1189
1190
1191
1192
1193
1194
1195
1196
1197
1198
1199
1200
1201
1202
1203
1204
1205
1206
1207
1208
1209
1210
1211
1212
1213
1214
1215
1216
1217
1218
1219
1220
1221
1222
1223
1224
1225
1226
1227
1228
1229
1230
1231
1232
1233
1234
1235
1236
1237
1238
1239
1240
1241
1242
1243
1244
1245
1246
1247
1248
1249
1250
1251
1252
1253
1254
1255
1256
1257
1258
1259
1260
1261
1262
1263
1264
1265
1266
1267
1268
1269
1270
1271
1272
1273
1274
1275
1276
1277
1278
1279
1280
1281
1282
1283
1284
1285
1286
1287
1288
1289
1290
1291
1292
1293
1294
1295
1296
1297
1298
1299
1300
1301
1302
1303
1304
1305
1306
1307
1308
1309
1310
1311
1312
1313
1314
1315
1316
1317
1318
1319
1320
1321
1322
1323
1324
1325
1326
1327
1328
1329
1330
1331
1332
1333
1334
1335
1336
1337
1338
1339
1340
1341
1342
1343
1344
1345
1346
1347
1348
1349
1350
1351
1352
1353
1354
1355
1356
1357
1358
1359
1360
1361
1362
1363
1364
1365
1366
1367
1368
1369
1370
1371
1372
1373
1374
1375
1376
1377
1378
1379
1380
1381
1382
1383
1384
1385
1386
1387
1388
1389
1390
1391
1392
1393
1394
1395
1396
1397
1398
1399
1400
1401
1402
1403
1404
1405
1406
1407
1408
1409
1410
1411
1412
1413
1414
1415
1416
1417
1418
1419
1420
1421
1422
1423
1424
1425
1426
1427
1428
1429
1430
1431
1432
1433
1434
1435
1436
1437
1438
1439
1440
1441
1442
1443
1444
1445
1446
1447
1448
1449
1450
1451
1452
1453
1454
1455
1456
1457
1458
1459
1460
1461
1462
1463
1464
1465
1466
1467
1468
1469
1470
1471
1472
1473
1474
1475
1476
1477
1478
1479
1480
1481
1482
1483
1484
1485
1486
1487
1488
1489
1490
1491
1492
1493
1494
1495
1496
1497
1498
1499
1500
1501
1502
1503
1504
1505
1506
1507
1508
1509
1510
1511
1512
1513
1514
1515
1516
1517
1518
1519
1520
1521
1522
1523
1524
1525
1526
1527
1528
1529
1530
1531
1532
1533
1534
1535
1536
1537
1538
1539
1540
1541
1542
1543
1544
1545
1546
1547
1548
1549
1550
1551
1552
1553
1554
1555
1556
1557
1558
1559
1560
1561
1562
1563
1564
1565
1566
1567
1568
1569
1570
1571
1572
1573
1574
1575
1576
1577
1578
1579
1580
1581
1582
1583
1584
1585
1586
1587
1588
1589
1590
1591
1592
1593
1594
1595
1596
1597
1598
1599
1600
1601
1602
1603
1604
1605
1606
1607
1608
1609
1610
1611
1612
1613
1614
1615
1616
1617
1618
1619
1620
1621
1622
1623
1624
1625
1626
1627
1628
1629
1630
1631
1632
1633
1634
1635
1636
1637
1638
1639
1640
1641
1642
1643
1644
1645
1646
1647
1648
1649
1650
1651
1652
1653
1654
1655
1656
1657
1658
1659
1660
1661
1662
1663
1664
1665
1666
1667
1668
1669
1670
1671
1672
1673
1674
1675
1676
1677
1678
1679
1680
1681
1682
1683
1684
1685
1686
1687
1688
1689
1690
1691
1692
1693
1694
1695
1696
1697
1698
1699
1700
1701
1702
1703
1704
1705
1706
1707
1708
1709
1710
1711
1712
1713
1714
1715
1716
1717
1718
1719
1720
1721
1722
1723
1724
1725
1726
1727
1728
1729
1730
1731
1732
1733
1734
1735
1736
1737
1738
1739
1740
1741
1742
1743
1744
1745
1746
1747
1748
1749
1750
1751
1752
1753
1754
1755
1756
1757
1758
1759
1760
1761
1762
1763
1764
1765
1766
1767
1768
1769
1770
1771
1772
1773
1774
1775
1776
1777
1778
1779
1780
1781
1782
1783
1784
1785
1786
1787
1788
1789
1790
1791
1792
1793
1794
1795
1796
1797
1798
1799
1800
1801
1802
1803
1804
1805
1806
1807
1808
1809
1810
1811
1812
1813
1814
1815
1816
1817
1818
1819
1820
1821
1822
1823
1824
1825
1826
1827
1828
1829
1830
1831
1832
1833
1834
1835
1836
1837
1838
1839
1840
1841
1842
1843
1844
1845
1846
1847
1848
1849
1850
1851
1852
1853
1854
1855
1856
1857
1858
1859
1860
1861
1862
1863
1864
1865
1866
1867
1868
1869
1870
1871
1872
1873
1874
1875
1876
1877
1878
1879
1880
1881
1882
1883
1884
1885
1886
1887
1888
1889
1890
1891
1892
1893
1894
1895
1896
1897
1898
1899
1900
1901
1902
1903
1904
1905
1906
1907
1908
1909
1910
1911
1912
1913
1914
1915
1916
1917
1918
1919
1920
1921
1922
1923
1924
1925
1926
1927
1928
1929
1930
1931
1932
1933
1934
1935
1936
1937
1938
1939
1940
1941
1942
1943
1944
1945
1946
1947
1948
1949
1950
1951
1952
1953
1954
1955
1956
1957
1958
1959
1960
1961
1962
1963
1964
1965
1966
1967
1968
1969
1970
1971
1972
1973
1974
1975
1976
1977
1978
1979
1980
1981
1982
1983
1984
1985
1986
1987
1988
1989
1990
1991
1992
1993
1994
1995
1996
1997
1998
1999
2000
2001
2002
2003
2004
2005
2006
2007
2008
2009
2010
2011
2012
2013
2014
2015
2016
2017
2018
2019
2020
2021
2022
2023
2024
2025
2026
2027
2028
2029
2030
2031
2032
2033
2034
2035
2036
2037
2038
2039
2040
2041
2042
2043
2044
2045
2046
2047
2048
2049
2050
2051
2052
2053
2054
2055
2056
2057
2058
2059
2060
2061
2062
2063
2064
2065
2066
2067
2068
2069
2070
2071
2072
2073
2074
2075
2076
2077
2078
2079
2080
2081
2082
2083
2084
2085
2086
2087
2088
2089
2090
2091
2092
2093
2094
2095
2096
2097
2098
2099
2100
2101
2102
2103
2104
2105
2106
2107
2108
2109
2110
2111
2112
2113
2114
2115
2116
2117
2118
2119
2120
2121
2122
2123
2124
2125
2126
2127
2128
2129
2130
2131
2132
2133
2134
2135
2136
2137
2138
2139
2140
2141
2142
2143
2144
2145
2146
2147
2148
2149
2150
2151
2152
2153
2154
2155
2156
2157
2158
2159
2160
2161
2162
2163
2164
2165
2166
2167
2168
2169
2170
2171
2172
2173
2174
2175
2176
2177
2178
2179
2180
2181
2182
2183
2184
2185
2186
2187
2188
2189
2190
2191
2192
2193
2194
2195
2196
2197
2198
2199
2200
2201
2202
2203
2204
2205
2206
2207
2208
2209
2210
2211
2212
2213
2214
2215
2216
2217
2218
2219
2220
2221
2222
2223
2224
2225
2226
2227
2228
2229
2230
2231
2232
2233
2234
2235
2236
2237
2238
2239
2240
2241
2242
2243
2244
2245
2246
2247
2248
2249
2250
2251
2252
2253
2254
2255
2256
2257
2258
2259
2260
2261
2262
2263
2264
2265
2266
2267
2268
2269
2270
2271
2272
2273
2274
2275
2276
2277
2278
2279
2280
2281
2282
2283
2284
2285
2286
2287
2288
2289
2290
2291
2292
2293
2294
2295
2296
2297
2298
2299
2300
2301
2302
2303
2304
2305
2306
2307
2308
2309
2310
2311
2312
2313
2314
2315
2316
2317
2318
2319
2320
2321
2322
2323
2324
2325
2326
2327
2328
2329
2330
2331
2332
2333
2334
2335
2336
2337
2338
2339
2340
2341
2342
2343
2344
2345
2346
2347
2348
2349
2350
2351
2352
2353
2354
2355
2356
2357
2358
2359
2360
2361
2362
2363
2364
2365
2366
2367
2368
2369
2370
2371
2372
2373
2374
2375
2376
2377
2378
2379
2380
2381
2382
2383
2384
2385
2386
2387
2388
2389
2390
2391
2392
2393
2394
2395
2396
2397
2398
2399
2400
2401
2402
2403
2404
2405
2406
2407
2408
2409
2410
2411
2412
2413
2414
2415
2416
2417
2418
2419
2420
2421
2422
2423
2424
2425
2426
2427
2428
2429
2430
2431
2432
2433
2434
2435
2436
2437
2438
2439
2440
2441
2442
2443
2444
2445
2446
2447
2448
2449
2450
2451
2452
2453
2454
2455
2456
2457
2458
2459
2460
2461
2462
2463
2464
2465
2466
2467
2468
2469
2470
2471
2472
2473
2474
2475
2476
2477
2478
2479
2480
2481
2482
2483
2484
2485
2486
2487
2488
2489
2490
2491
2492
2493
2494
2495
2496
2497
2498
2499
2500
2501
2502
2503
2504
2505
2506
2507
2508
2509
2510
2511
2512
2513
2514
2515
2516
2517
2518
2519
2520
2521
2522
2523
2524
2525
2526
2527
2528
2529
2530
2531
2532
2533
2534
2535
2536
2537
2538
2539
2540
2541
2542
2543
2544
2545
2546
2547
2548
2549
2550
2551
2552
2553
2554
2555
2556
2557
2558
2559
2560
2561
2562
2563
2564
2565
2566
2567
2568
2569
2570
2571
2572
2573
2574
2575
2576
2577
2578
2579
2580
2581
2582
2583
2584
2585
2586
2587
2588
2589
2590
2591
2592
2593
2594
2595
2596
2597
2598
2599
2600
2601
2602
2603
2604
2605
2606
2607
2608
2609
2610
2611
2612
2613
2614
2615
2616
2617
2618
2619
2620
2621
2622
2623
2624
2625
2626
2627
2628
2629
2630
2631
2632
2633
2634
2635
2636
2637
2638
2639
2640
2641
2642
2643
2644
2645
2646
2647
2648
2649
2650
2651
2652
2653
2654
2655
2656
2657
2658
2659
2660
2661
2662
2663
2664
2665
2666
2667
2668
2669
2670
2671
2672
2673
2674
2675
2676
2677
2678
2679
2680
2681
2682
2683
2684
2685
2686
2687
2688
2689
2690
2691
2692
2693
2694
2695
2696
2697
2698
2699
2700
2701
2702
2703
2704
2705
2706
2707
2708
2709
2710
2711
2712
2713
2714
2715
2716
2717
2718
2719
2720
2721
2722
2723
2724
2725
2726
2727
2728
2729
2730
2731
2732
2733
2734
2735
2736
2737
2738
2739
2740
2741
2742
2743
2744
2745
2746
2747
2748
2749
2750
2751
2752
2753
2754
2755
2756
2757
2758
2759
2760
2761
2762
2763
2764
2765
2766
2767
2768
2769
2770
2771
2772
2773
2774
2775
2776
2777
2778
2779
2780
2781
2782
2783
2784
2785
2786
2787
2788
2789
2790
2791
2792
2793
2794
2795
2796
2797
2798
2799
2800
2801
2802
2803
2804
2805
2806
2807
2808
2809
2810
2811
2812
2813
2814
2815
2816
2817
2818
2819
2820
2821
2822
2823
2824
2825
2826
2827
2828
2829
2830
2831
2832
2833
2834
2835
2836
2837
2838
2839
2840
2841
2842
2843
2844
2845
2846
2847
2848
2849
2850
2851
2852
2853
2854
2855
2856
2857
2858
2859
2860
2861
2862
2863
2864
2865
2866
2867
2868
2869
2870
2871
2872
2873
2874
2875
2876
2877
2878
2879
2880
2881
2882
2883
2884
2885
2886
2887
2888
2889
2890
2891
2892
2893
2894
2895
2896
2897
2898
2899
2900
2901
2902
2903
2904
2905
2906
2907
2908
2909
2910
2911
2912
2913
2914
2915
2916
2917
2918
2919
2920
2921
2922
2923
2924
2925
2926
2927
2928
2929
2930
2931
2932
2933
2934
2935
2936
2937
2938
2939
2940
2941
2942
2943
2944
2945
2946
2947
2948
2949
2950
2951
2952
2953
2954
2955
2956
2957
2958
2959
2960
2961
2962
2963
2964
2965
2966
2967
2968
2969
2970
2971
2972
2973
2974
2975
2976
2977
2978
2979
2980
2981
2982
2983
2984
2985
2986
2987
2988
2989
2990
2991
2992
2993
2994
2995
2996
2997
2998
2999
3000
3001
3002
3003
3004
3005
3006
3007
3008
3009
3010
3011
3012
3013
3014
3015
3016
3017
3018
3019
3020
3021
3022
3023
3024
3025
3026
3027
3028
3029
3030
3031
3032
3033
3034
3035
3036
3037
3038
3039
3040
3041
3042
3043
3044
3045
3046
3047
3048
3049
3050
3051
3052
3053
3054
3055
3056
3057
3058
3059
3060
3061
3062
3063
3064
3065
3066
3067
3068
3069
3070
3071
3072
3073
3074
3075
3076
3077
3078
3079
3080
3081
3082
3083
3084
3085
3086
3087
3088
3089
3090
3091
3092
3093
3094
3095
3096
3097
3098
3099
3100
3101
3102
3103
3104
3105
3106
3107
3108
3109
3110
3111
3112
3113
3114
3115
3116
3117
3118
3119
3120
3121
3122
3123
3124
3125
3126
3127
3128
3129
3130
3131
3132
3133
3134
3135
3136
3137
3138
3139
3140
3141
3142
3143
3144
3145
3146
3147
3148
3149
3150
3151
3152
3153
3154
3155
3156
3157
3158
3159
3160
3161
3162
3163
3164
3165
3166
3167
3168
3169
3170
3171
3172
3173
3174
3175
3176
3177
3178
3179
3180
3181
3182
3183
3184
3185
3186
3187
3188
3189
3190
3191
3192
3193
3194
3195
3196
3197
3198
3199
3200
3201
3202
3203
3204
3205
3206
3207
3208
3209
3210
3211
3212
3213
3214
3215
3216
3217
3218
3219
3220
3221
3222
3223
3224
3225
3226
3227
3228
3229
3230
3231
3232
3233
3234
3235
3236
3237
3238
3239
3240
3241
3242
3243
3244
3245
3246
3247
3248
3249
3250
3251
3252
3253
3254
3255
3256
3257
3258
3259
3260
3261
3262
3263
3264
3265
3266
3267
3268
3269
3270
3271
3272
3273
3274
3275
3276
3277
3278
3279
3280
3281
3282
3283
3284
3285
3286
3287
3288
3289
3290
3291
3292
3293
3294
3295
3296
3297
3298
3299
3300
3301
3302
3303
3304
3305
3306
3307
3308
3309
3310
3311
3312
3313
3314
3315
3316
3317
3318
3319
3320
3321
3322
3323
3324
3325
3326
3327
3328
3329
3330
3331
3332
3333
3334
3335
3336
3337
3338
3339
3340
3341
3342
3343
3344
3345
3346
3347
3348
3349
3350
3351
3352
3353
3354
3355
3356
3357
3358
3359
3360
3361
3362
3363
3364
3365
3366
3367
3368
3369
3370
3371
3372
3373
3374
3375
3376
3377
3378
3379
3380
3381
3382
3383
3384
3385
3386
3387
3388
3389
3390
3391
3392
3393
3394
3395
3396
3397
3398
3399
3400
3401
3402
3403
3404
3405
3406
3407
3408
3409
3410
3411
3412
3413
3414
3415
3416
3417
3418
3419
3420
3421
3422
3423
3424
3425
3426
3427
3428
3429
3430
3431
3432
3433
3434
3435
3436
3437
3438
3439
3440
3441
3442
3443
3444
3445
3446
3447
3448
3449
3450
3451
)set break resume
)sys rm -f en.output
)spool en.output
)set message test on
)set message auto off
)clear all


--S 1 of 6
f(x)==En(2,x)-x*log(x)
--R 
--R                                                                   Type: Void
--E 1

--S 2 of 6
t2:List List Fraction Integer:=[[machineFraction (x::DFLOAT) for x in line]_
 for line in _
[[0.01,0.9957222,f(0.01),f(0.01)-0.9957222],_
[0.02,0.9913450,f(0.02),f(0.02)-0.9913450],_
[0.03,0.9868687,f(0.03),f(0.03)-0.9868687],_
[0.04,0.9822939,f(0.04),f(0.04)-0.9822939],_
[0.05,0.9776211,f(0.05),f(0.05)-0.9776211],_
[0.06,0.9728508,f(0.06),f(0.06)-0.9728508],_
[0.07,0.9679834,f(0.07),f(0.07)-0.9679834],_
[0.08,0.9630194,f(0.08),f(0.08)-0.9630194],_
[0.09,0.9579593,f(0.09),f(0.09)-0.9579593],_
[0.10,0.9528035,f(0.10),f(0.10)-0.9528035],_
[0.11,0.9475526,f(0.11),f(0.11)-0.9475526],_
[0.12,0.9422071,f(0.12),f(0.12)-0.9422071],_
[0.13,0.9367672,f(0.13),f(0.13)-0.9367672],_
[0.14,0.9312336,f(0.14),f(0.14)-0.9312336],_
[0.15,0.9256067,f(0.15),f(0.15)-0.9256067],_
[0.16,0.9198870,f(0.16),f(0.16)-0.9198870],_
[0.17,0.9140748,f(0.17),f(0.17)-0.9140748],_
[0.18,0.9081706,f(0.18),f(0.18)-0.9081706],_
[0.19,0.9021750,f(0.19),f(0.19)-0.9021750],_
[0.20,0.8960882,f(0.20),f(0.20)-0.8960882],_
[0.21,0.8899109,f(0.21),f(0.21)-0.8899109],_
[0.22,0.8836433,f(0.22),f(0.22)-0.8836433],_
[0.23,0.8772860,f(0.23),f(0.23)-0.8772860],_
[0.24,0.8708393,f(0.24),f(0.24)-0.8708393],_
[0.25,0.8643037,f(0.25),f(0.25)-0.8643037],_
[0.26,0.8576797,f(0.26),f(0.26)-0.8576797],_
[0.27,0.8509676,f(0.27),f(0.27)-0.8509676],_
[0.28,0.8441678,f(0.28),f(0.28)-0.8441678],_
[0.29,0.8372808,f(0.29),f(0.29)-0.8372808],_
[0.30,0.8303071,f(0.30),f(0.30)-0.8303071],_
[0.31,0.8232469,f(0.31),f(0.31)-0.8232469],_
[0.32,0.8161007,f(0.32),f(0.32)-0.8161007],_
[0.33,0.8088690,f(0.33),f(0.33)-0.8088690],_
[0.34,0.8015521,f(0.34),f(0.34)-0.8015521],_
[0.35,0.7941504,f(0.35),f(0.35)-0.7941504],_
[0.36,0.7866644,f(0.36),f(0.36)-0.7866644],_
[0.37,0.7790943,f(0.37),f(0.37)-0.7790943],_
[0.38,0.7714407,f(0.38),f(0.38)-0.7714407],_
[0.39,0.7637039,f(0.39),f(0.39)-0.7637039],_
[0.40,0.7558843,f(0.40),f(0.40)-0.7558843],_
[0.41,0.7479823,f(0.41),f(0.41)-0.7479823],_
[0.42,0.7399982,f(0.42),f(0.42)-0.7399982],_
[0.43,0.7319324,f(0.43),f(0.43)-0.7319324],_
[0.44,0.7237854,f(0.44),f(0.44)-0.7237854],_
[0.45,0.7155575,f(0.45),f(0.45)-0.7155575],_
[0.46,0.7072491,f(0.46),f(0.46)-0.7072491],_
[0.47,0.6988605,f(0.47),f(0.47)-0.6988605],_
[0.48,0.6903921,f(0.48),f(0.48)-0.6903921],_
[0.49,0.6818443,f(0.49),f(0.49)-0.6818443],_
[0.50,0.6732175,f(0.50),f(0.50)-0.6732175]]]
--R 
--R   Compiling function f with type Float -> OnePointCompletion(
--R      DoubleFloat) 
--R
--R   (2)
--R      2882303761517117  2242167064442265 8968668616648917     358879857
--R   [[------------------,----------------,----------------,----------------],
--R     288230376151711744 2251799813685248 9007199254740992 9007199254740992
--R      2882303761517117  1116155243148901 8929241744773135       200418073
--R    [------------------,----------------,----------------,- ----------------],
--R     144115188075855872 1125899906842624 9007199254740992   9007199254740992
--R      1080863910568919 2222230754791803 8888923097957409     78790197
--R    [-----------------,----------------,----------------,----------------],
--R     36028797018963968 2251799813685248 9007199254740992 9007199254740992
--R      2882303761517117 4423858442008311 552982319091749     110725681
--R    [-----------------,----------------,---------------,----------------],
--R     72057594037927936 4503599627370496 562949953421312 4503599627370496
--R      3602879701896397 2201407010834767 4402814083607157     61937623
--R    [-----------------,----------------,----------------,----------------],
--R     72057594037927936 2251799813685248 4503599627370496 4503599627370496
--R      1080863910568919 4381330500367089 8762660653968031       346766147
--R    [-----------------,----------------,----------------,- ----------------],
--R     18014398509481984 4503599627370496 9007199254740992   9007199254740992
--R      1261007895663739 2179704839770413 4359409453790089       225750737
--R    [-----------------,----------------,----------------,- ----------------],
--R     18014398509481984 2251799813685248 4503599627370496   4503599627370496
--R      2882303761517117 8674107621981117 1084263405149587       380784421
--R    [-----------------,----------------,----------------,- ----------------],
--R     36028797018963968 9007199254740992 1125899906842624   9007199254740992
--R      3242591731706757 4314265146516101 4314264969736111       88389995
--R    [-----------------,----------------,----------------,- ----------------],
--R     36028797018963968 4503599627370496 4503599627370496   2251799813685248
--R      3602879701896397 536380685944663 4291045629391081     141833777
--R    [-----------------,---------------,----------------,----------------],
--R     36028797018963968 562949953421312 4503599627370496 4503599627370496
--R      990791918021509 8534795072547889 4267397713716551     354885213
--R    [----------------,----------------,----------------,----------------],
--R     9007199254740992 9007199254740992 4503599627370496 9007199254740992
--R     1080863910568919 8486647088931671 8486646645871525       221530073
--R    [----------------,----------------,----------------,- ----------------],
--R     9007199254740992 9007199254740992 9007199254740992   4503599627370496
--R     1170935903116329 4218824412852903 4218824543445447     4081017
--R    [----------------,----------------,----------------,---------------],
--R     9007199254740992 4503599627370496 4503599627370496 140737488355328
--R     1261007895663739 8387806587909771 4193903447918535     307927299
--R    [----------------,----------------,----------------,----------------],
--R     9007199254740992 9007199254740992 4503599627370496 9007199254740992
--R      5404319552844595 2084280994605817 4168562095406057     106194423
--R    [-----------------,----------------,----------------,----------------],
--R     36028797018963968 2251799813685248 4503599627370496 4503599627370496
--R      2882303761517117 4142802750422963 8285605062876465       437969461
--R    [-----------------,----------------,----------------,- ----------------],
--R     18014398509481984 4503599627370496 9007199254740992   9007199254740992
--R      3062447746611937 8233253857337521 2058313394062379       281088005
--R    [-----------------,----------------,----------------,- ----------------],
--R     18014398509481984 9007199254740992 2251799813685248   9007199254740992
--R      3242591731706757 511254596968605 4090036884254301     108505461
--R    [-----------------,---------------,----------------,----------------],
--R     18014398509481984 562949953421312 4503599627370496 4503599627370496
--R      3422735716801577 4063034993822977 8126069650786413       336859541
--R    [-----------------,----------------,----------------,- ----------------],
--R     18014398509481984 4503599627370496 9007199254740992   9007199254740992
--R      3602879701896397 2017811241805549 8071245207966827     240744631
--R    [-----------------,----------------,----------------,----------------],
--R     18014398509481984 2251799813685248 9007199254740992 9007199254740992
--R      7566047373982433 8015604795265885 4007802199439611       396386663
--R    [-----------------,----------------,----------------,- ----------------],
--R     36028797018963968 9007199254740992 4503599627370496   9007199254740992
--R      990791918021509 3979575636608435 3979575578245609       29181413
--R    [----------------,----------------,----------------,- ----------------],
--R     4503599627370496 4503599627370496 4503599627370496   2251799813685248
--R      517913957147607 3950944902697353  987736173512489       208647397
--R    [----------------,----------------,----------------,- ----------------],
--R     2251799813685248 4503599627370496 1125899906842624   4503599627370496
--R     1080863910568919 7843823093959167 122559733992525       118437567
--R    [----------------,----------------,---------------,- ----------------],
--R     4503599627370496 9007199254740992 140737488355328   9007199254740992
--R     1 3892477821254941 7784955775279989     132770107
--R    [-,----------------,----------------,----------------],
--R     4 4503599627370496 9007199254740992 9007199254740992
--R     1170935903116329 3862645977323239 3862645809396465       83963387
--R    [----------------,----------------,----------------,- ----------------],
--R     4503599627370496 4503599627370496 4503599627370496   2251799813685248
--R      607985949695017 3832417366264365 1916208578139417       209985531
--R    [----------------,----------------,----------------,- ----------------],
--R     2251799813685248 4503599627370496 2251799813685248   4503599627370496
--R     1261007895663739 3801793789518171 3801793819167319      7412287
--R    [----------------,----------------,----------------,----------------],
--R     4503599627370496 4503599627370496 4503599627370496 1125899906842624
--R      5224175567749775 3770777498884471 7541555353329793     355560851
--R    [-----------------,----------------,----------------,----------------],
--R     18014398509481984 4503599627370496 9007199254740992 9007199254740992
--R      5404319552844595 3739370746163077 7478741190375513       301950641
--R    [-----------------,----------------,----------------,- ----------------],
--R     18014398509481984 4503599627370496 9007199254740992   9007199254740992
--R      5584463537939415  926893608018479  926893607263759        23585
--R    [-----------------,----------------,----------------,- --------------],
--R     18014398509481984 1125899906842624 1125899906842624   35184372088832
--R     2882303761517117 3675390808416801 7350782041155693     424322091
--R    [----------------,----------------,----------------,----------------],
--R     9007199254740992 4503599627370496 9007199254740992 9007199254740992
--R     2972375754064527 7285644253983091 3642822200147599     146312107
--R    [----------------,----------------,----------------,----------------],
--R     9007199254740992 9007199254740992 4503599627370496 9007199254740992
--R     3062447746611937 7219739477756077 7219739572647271     47445597
--R    [----------------,----------------,----------------,----------------],
--R     9007199254740992 9007199254740992 9007199254740992 4503599627370496
--R     3152519739159347 1788267722758065 3576535585920163     140404033
--R    [----------------,----------------,----------------,----------------],
--R     9007199254740992 2251799813685248 4503599627370496 4503599627370496
--R     3242591731706757 3542821498705635 1771410697046257       104613121
--R    [----------------,----------------,----------------,- ----------------],
--R     9007199254740992 4503599627370496 2251799813685248   4503599627370496
--R     3332663724254167 3508728799166477 3508728994422713     48814059
--R    [----------------,----------------,----------------,----------------],
--R     9007199254740992 4503599627370496 4503599627370496 1125899906842624
--R     3422735716801577 6948520098116869 1737130079502191     219891895
--R    [----------------,----------------,----------------,----------------],
--R     9007199254740992 9007199254740992 2251799813685248 9007199254740992
--R     3512807709348987 6878833198922789 3439416648526973     98131157
--R    [----------------,----------------,----------------,----------------],
--R     9007199254740992 9007199254740992 4503599627370496 9007199254740992
--R     3602879701896397 425525031476901 6808400424718671       78911745
--R    [----------------,---------------,----------------,- ----------------],
--R     9007199254740992 562949953421312 9007199254740992   9007199254740992
--R      7385903388887613 6737225615119453 3368612588632629       437854195
--R    [-----------------,----------------,----------------,- ----------------],
--R     18014398509481984 9007199254740992 4503599627370496   9007199254740992
--R      7566047373982433 1666327808887419 3332655504322587       113452251
--R    [-----------------,----------------,----------------,- ----------------],
--R     18014398509481984 2251799813685248 4503599627370496   4503599627370496
--R      7746191359077253 3296330483900393 6592661350662257     382861471
--R    [-----------------,----------------,----------------,----------------],
--R     18014398509481984 4503599627370496 9007199254740992 9007199254740992
--R      990791918021509 3259639657736205 6519279613134663     297662253
--R    [----------------,----------------,----------------,----------------],
--R     2251799813685248 4503599627370496 9007199254740992 9007199254740992
--R     2026619832316723 6445168980724327 6445169184055539     50832803
--R    [----------------,----------------,----------------,----------------],
--R     4503599627370496 9007199254740992 9007199254740992 2251799813685248
--R      517913957147607 6370333566436237 1592583357438111       136683793
--R    [----------------,----------------,----------------,- ----------------],
--R     1125899906842624 9007199254740992 2251799813685248   9007199254740992
--R     2116691824864133 6294775774767917 1573693923761375       79722417
--R    [----------------,----------------,----------------,- ----------------],
--R     4503599627370496 9007199254740992 2251799813685248   9007199254740992
--R     1080863910568919 1554624802149767 1554624825851081     11850657
--R    [----------------,----------------,----------------,----------------],
--R     2251799813685248 2251799813685248 2251799813685248 1125899906842624
--R     2206763817411543 6141507470809393 191922111159491     86294319
--R    [----------------,----------------,---------------,----------------],
--R     4503599627370496 9007199254740992 281474976710656 9007199254740992
--R     1 3031902082139297 6063803737378113       426900481
--R    [-,----------------,----------------,- ----------------]]
--R     2 4503599627370496 9007199254740992   9007199254740992
--R                                          Type: List(List(Fraction(Integer)))
--E 2


--S 3 of 6
t3:List List Fraction Integer:=[[machineFraction (x::DFLOAT) for x in line]_
 for line in _
[[0.50,0.3266439,En(2,0.50),En(2,0.50)-0.3266439],_
[0.51,0.3211062,En(2,0.51),En(2,0.51)-0.3211062],_
[0.52,0.3156863,En(2,0.52),En(2,0.52)-0.3156863],_
[0.53,0.3103807,En(2,0.53),En(2,0.53)-0.3103807],_
[0.54,0.3051862,En(2,0.54),En(2,0.54)-0.3051862],_
[0.55,0.3000996,En(2,0.55),En(2,0.55)-0.3000996],_
[0.56,0.2951179,En(2,0.56),En(2,0.56)-0.2951179],_
[0.57,0.2902382,En(2,0.57),En(2,0.57)-0.2902382],_
[0.58,0.2854578,En(2,0.58),En(2,0.58)-0.2854578],_
[0.59,0.2807739,En(2,0.59),En(2,0.59)-0.2807739],_
[0.60,0.2761839,En(2,0.60),En(2,0.60)-0.2761839],_
[0.61,0.2716855,En(2,0.61),En(2,0.61)-0.2716855],_
[0.62,0.2672761,En(2,0.62),En(2,0.62)-0.2672761],_
[0.63,0.2629535,En(2,0.63),En(2,0.63)-0.2629535],_
[0.64,0.2587154,En(2,0.64),En(2,0.64)-0.2587154],_
[0.65,0.2545597,En(2,0.65),En(2,0.65)-0.2545597],_
[0.66,0.2504844,En(2,0.66),En(2,0.66)-0.2504844],_
[0.67,0.2464874,En(2,0.67),En(2,0.67)-0.2464874],_
[0.68,0.2425667,En(2,0.68),En(2,0.68)-0.2425667],_
[0.69,0.2387206,En(2,0.69),En(2,0.69)-0.2387206],_
[0.70,0.2349471,En(2,0.70),En(2,0.70)-0.2349471],_
[0.71,0.2312446,En(2,0.71),En(2,0.71)-0.2312446],_
[0.72,0.2276114,En(2,0.72),En(2,0.72)-0.2276114],_
[0.73,0.2240457,En(2,0.73),En(2,0.73)-0.2240457],_
[0.74,0.2205461,En(2,0.74),En(2,0.74)-0.2205461],_
[0.75,0.2171109,En(2,0.75),En(2,0.75)-0.2171109],_
[0.76,0.2137388,En(2,0.76),En(2,0.76)-0.2137388],_
[0.77,0.2104282,En(2,0.77),En(2,0.77)-0.2104282],_
[0.78,0.2071777,En(2,0.78),En(2,0.78)-0.2071777],_
[0.79,0.2039860,En(2,0.79),En(2,0.79)-0.2039860],_
[0.80,0.2008517,En(2,0.80),En(2,0.80)-0.2008517],_
[0.81,0.1977736,En(2,0.81),En(2,0.81)-0.1977736],_
[0.82,0.1947504,En(2,0.82),En(2,0.82)-0.1947504],_
[0.83,0.1917810,En(2,0.83),En(2,0.83)-0.1917810],_
[0.84,0.1888641,En(2,0.84),En(2,0.84)-0.1888641],_
[0.85,0.1859986,En(2,0.85),En(2,0.85)-0.1859986],_
[0.86,0.1831833,En(2,0.86),En(2,0.86)-0.1831833],_
[0.87,0.1804173,En(2,0.87),En(2,0.87)-0.1804173],_
[0.88,0.1776994,En(2,0.88),En(2,0.88)-0.1776994],_
[0.89,0.1750287,En(2,0.89),En(2,0.89)-0.1750287],_
[0.90,0.1724041,En(2,0.90),En(2,0.90)-0.1724041],_
[0.91,0.1698247,En(2,0.91),En(2,0.91)-0.1698247],_
[0.92,0.1672895,En(2,0.92),En(2,0.92)-0.1672895],_
[0.93,0.1647977,En(2,0.93),En(2,0.93)-0.1647977],_
[0.94,0.1623482,En(2,0.94),En(2,0.94)-0.1623482],_
[0.95,0.1599404,En(2,0.95),En(2,0.95)-0.1599404],_
[0.96,0.1575732,En(2,0.96),En(2,0.96)-0.1575732],_
[0.97,0.1552459,En(2,0.97),En(2,0.97)-0.1552459],_
[0.98,0.1529578,En(2,0.98),En(2,0.98)-0.1529578],_
[0.99,0.1507079,En(2,0.99),En(2,0.99)-0.1507079],_
[1.00,0.1484955,En(2,1.00),En(2,1.00)-0.1484955],_
[1.01,0.1463199,En(2,1.01),En(2,1.01)-0.1463199],_
[1.02,0.1441804,En(2,1.02),En(2,1.02)-0.1441804],_
[1.03,0.1420763,En(2,1.03),En(2,1.03)-0.1420763],_
[1.04,0.1400068,En(2,1.04),En(2,1.04)-0.1400068],_
[1.05,0.1379713,En(2,1.05),En(2,1.05)-0.1379713],_
[1.06,0.1359691,En(2,1.06),En(2,1.06)-0.1359691],_
[1.07,0.1339996,En(2,1.07),En(2,1.07)-0.1339996],_
[1.08,0.1320622,En(2,1.08),En(2,1.08)-0.1320622],_
[1.09,0.1301562,En(2,1.09),En(2,1.09)-0.1301562],_
[1.10,0.1282811,En(2,1.10),En(2,1.10)-0.1282811],_
[1.11,0.1264362,En(2,1.11),En(2,1.11)-0.1264362],_
[1.12,0.1246210,En(2,1.12),En(2,1.12)-0.1246210],_
[1.13,0.1228350,En(2,1.13),En(2,1.13)-0.1228350],_
[1.14,0.1210775,En(2,1.14),En(2,1.14)-0.1210775],_
[1.15,0.1193481,En(2,1.15),En(2,1.15)-0.1193481],_
[1.16,0.1176462,En(2,1.16),En(2,1.16)-0.1176462],_
[1.17,0.1159714,En(2,1.17),En(2,1.17)-0.1159714],_
[1.18,0.1143231,En(2,1.18),En(2,1.18)-0.1143231],_
[1.19,0.1127008,En(2,1.19),En(2,1.19)-0.1127008],_
[1.20,0.1111041,En(2,1.20),En(2,1.20)-0.1111041],_
[1.21,0.1095325,En(2,1.21),En(2,1.21)-0.1095325],_
[1.22,0.1079855,En(2,1.22),En(2,1.22)-0.1079855],_
[1.23,0.1064627,En(2,1.23),En(2,1.23)-0.1064627],_
[1.24,0.1049637,En(2,1.24),En(2,1.24)-0.1049637],_
[1.25,0.1034881,En(2,1.25),En(2,1.25)-0.1034881],_
[1.26,0.1020353,En(2,1.26),En(2,1.26)-0.1020353],_
[1.27,0.1006051,En(2,1.27),En(2,1.27)-0.1006051],_
[1.28,0.0991970,En(2,1.28),En(2,1.28)-0.0991970],_
[1.29,0.0978106,En(2,1.29),En(2,1.29)-0.0978106],_
[1.30,0.0964455,En(2,1.30),En(2,1.30)-0.0964455],_
[1.31,0.0951015,En(2,1.31),En(2,1.31)-0.0951015],_
[1.32,0.0937780,En(2,1.32),En(2,1.32)-0.0937780],_
[1.33,0.0924747,En(2,1.33),En(2,1.33)-0.0924747],_
[1.34,0.0911913,En(2,1.34),En(2,1.34)-0.0911913],_
[1.35,0.0899275,En(2,1.35),En(2,1.35)-0.0899275],_
[1.36,0.0886829,En(2,1.36),En(2,1.36)-0.0886829],_
[1.37,0.0874571,En(2,1.37),En(2,1.37)-0.0874571],_
[1.38,0.0862499,En(2,1.38),En(2,1.38)-0.0862499],_
[1.39,0.0850610,En(2,1.39),En(2,1.39)-0.0850610],_
[1.40,0.0838899,En(2,1.40),En(2,1.40)-0.0838899],_
[1.41,0.0827365,En(2,1.41),En(2,1.41)-0.0827365],_
[1.42,0.0816004,En(2,1.42),En(2,1.42)-0.0816004],_
[1.43,0.0804813,En(2,1.43),En(2,1.43)-0.0804813],_
[1.44,0.0793789,En(2,1.44),En(2,1.44)-0.0793789],_
[1.45,0.0782930,En(2,1.45),En(2,1.45)-0.0782930],_
[1.46,0.0772233,En(2,1.46),En(2,1.46)-0.0772233],_
[1.47,0.0761694,En(2,1.47),En(2,1.47)-0.0761694],_
[1.48,0.0751313,En(2,1.48),En(2,1.48)-0.0751313],_
[1.49,0.0741085,En(2,1.49),En(2,1.49)-0.0741085],_
[1.50,0.0731008,En(2,1.50),En(2,1.50)-0.0731008],_
[1.51,0.0721080,En(2,1.51),En(2,1.51)-0.0721080],_
[1.52,0.0711298,En(2,1.52),En(2,1.52)-0.0711298],_
[1.53,0.0701660,En(2,1.53),En(2,1.53)-0.0701660],_
[1.54,0.0692164,En(2,1.54),En(2,1.54)-0.0692164],_
[1.55,0.0682807,En(2,1.55),En(2,1.55)-0.0682807],_
[1.56,0.0673587,En(2,1.56),En(2,1.56)-0.0673587],_
[1.57,0.0664502,En(2,1.57),En(2,1.57)-0.0664502],_
[1.58,0.0655549,En(2,1.58),En(2,1.58)-0.0655549],_
[1.59,0.0646726,En(2,1.59),En(2,1.59)-0.0646726],_
[1.60,0.0638032,En(2,1.60),En(2,1.60)-0.0638032],_
[1.61,0.0629464,En(2,1.61),En(2,1.61)-0.0629464],_
[1.62,0.0621020,En(2,1.62),En(2,1.62)-0.0621020],_
[1.63,0.0612698,En(2,1.63),En(2,1.63)-0.0612698],_
[1.64,0.0604497,En(2,1.64),En(2,1.64)-0.0604497],_
[1.65,0.0596413,En(2,1.65),En(2,1.65)-0.0596413],_
[1.66,0.0588446,En(2,1.66),En(2,1.66)-0.0588446],_
[1.67,0.0580594,En(2,1.67),En(2,1.67)-0.0580594],_
[1.68,0.0572854,En(2,1.68),En(2,1.68)-0.0572854],_
[1.69,0.0565226,En(2,1.69),En(2,1.69)-0.0565226],_
[1.70,0.0557706,En(2,1.70),En(2,1.70)-0.0557706],_
[1.71,0.0550294,En(2,1.71),En(2,1.71)-0.0550294],_
[1.72,0.0542988,En(2,1.72),En(2,1.72)-0.0542988],_
[1.73,0.0535786,En(2,1.73),En(2,1.73)-0.0535786],_
[1.74,0.0528686,En(2,1.74),En(2,1.74)-0.0528686],_
[1.75,0.0521687,En(2,1.75),En(2,1.75)-0.0521687],_
[1.76,0.0514788,En(2,1.76),En(2,1.76)-0.0514788],_
[1.77,0.0507986,En(2,1.77),En(2,1.77)-0.0507986],_
[1.78,0.0501281,En(2,1.78),En(2,1.78)-0.0501281],_
[1.79,0.0494670,En(2,1.79),En(2,1.79)-0.0494670],_
[1.80,0.0488153,En(2,1.80),En(2,1.80)-0.0488153],_
[1.81,0.0481727,En(2,1.81),En(2,1.81)-0.0481727],_
[1.82,0.0475392,En(2,1.82),En(2,1.82)-0.0475392],_
[1.83,0.0469146,En(2,1.83),En(2,1.83)-0.0469146],_
[1.84,0.0462987,En(2,1.84),En(2,1.84)-0.0462987],_
[1.85,0.0456915,En(2,1.85),En(2,1.85)-0.0456915],_
[1.86,0.0450928,En(2,1.86),En(2,1.86)-0.0450928],_
[1.87,0.0445024,En(2,1.87),En(2,1.87)-0.0445024],_
[1.88,0.0439203,En(2,1.88),En(2,1.88)-0.0439203],_
[1.89,0.0433463,En(2,1.89),En(2,1.89)-0.0433463],_
[1.90,0.0427803,En(2,1.90),En(2,1.90)-0.0427803],_
[1.91,0.0422222,En(2,1.91),En(2,1.91)-0.0422222],_
[1.92,0.0416718,En(2,1.92),En(2,1.92)-0.0416718],_
[1.93,0.0411291,En(2,1.93),En(2,1.93)-0.0411291],_
[1.94,0.0405938,En(2,1.94),En(2,1.94)-0.0405938],_
[1.95,0.0400660,En(2,1.95),En(2,1.95)-0.0400660],_
[1.96,0.0395455,En(2,1.96),En(2,1.96)-0.0395455],_
[1.97,0.0390322,En(2,1.97),En(2,1.97)-0.0390322],_
[1.98,0.0385259,En(2,1.98),En(2,1.98)-0.0385259],_
[1.99,0.0380267,En(2,1.99),En(2,1.99)-0.0380267],_
[2.00,0.0375343,En(2,2.00),En(2,2.00)-0.0375343]]]
--R 
--R
--R   (3)
--R     1 2942146692645691 2942146353295433       169675129
--R   [[-,----------------,----------------,- ----------------],
--R     2 9007199254740992 9007199254740992   4503599627370496
--R     2296835809958953  361533440666589  5784534679641651       371023773
--R    [----------------,----------------,-----------------,- -----------------],
--R     4503599627370496 1125899906842624 18014398509481984   18014398509481984
--R     1170935903116329 2843449406091941  5686897967136799       845047083
--R    [----------------,----------------,-----------------,- -----------------],
--R     2251799813685248 9007199254740992 18014398509481984   18014398509481984
--R     2386907802506363 2795660809725987  5591321066724769       552727205
--R    [----------------,----------------,-----------------,- -----------------],
--R     4503599627370496 9007199254740992 18014398509481984   18014398509481984
--R      607985949695017 2748872913197235 171804531232483       413477507
--R    [----------------,----------------,---------------,- ----------------],
--R     1125899906842624 9007199254740992 562949953421312   9007199254740992
--R     2476979795053773 1351528446734035 2703056583752551       309715519
--R    [----------------,----------------,----------------,- ----------------],
--R     4503599627370496 4503599627370496 9007199254740992   9007199254740992
--R     1261007895663739  5316371457881453  5316371222504941       1838879
--R    [----------------,-----------------,-----------------,- ---------------],
--R     2251799813685248 18014398509481984 18014398509481984   140737488355328
--R     5134103575202365 2614233298737367  653558367873463     172756485
--R    [----------------,----------------,----------------,----------------],
--R     9007199254740992 9007199254740992 2251799813685248 9007199254740992
--R     5224175567749775 2571175283420003 2571175060341841       111539081
--R    [----------------,----------------,----------------,- ----------------],
--R     9007199254740992 9007199254740992 9007199254740992   4503599627370496
--R     5314247560297185 1264493231415361  5057972454587707       471073737
--R    [----------------,----------------,-----------------,- -----------------],
--R     9007199254740992 4503599627370496 18014398509481984   18014398509481984
--R     5404319552844595  4975286836502921  4975287452241999     307869539
--R    [----------------,-----------------,-----------------,----------------],
--R     9007199254740992 18014398509481984 18014398509481984 9007199254740992
--R     5494391545392005 1223562716561967  4894250337618573       528629295
--R    [----------------,----------------,-----------------,- -----------------],
--R     9007199254740992 4503599627370496 18014398509481984   18014398509481984
--R     5584463537939415 2407409088730079  4814817965059873       212400285
--R    [----------------,----------------,-----------------,- -----------------],
--R     9007199254740992 9007199254740992 18014398509481984   18014398509481984
--R      709316941310853 2368474569231535  4736948738788881       399674189
--R    [----------------,----------------,-----------------,- -----------------],
--R     1125899906842624 9007199254740992 18014398509481984   18014398509481984
--R     2882303761517117  4660602316140035 1165150634386569     221406241
--R    [----------------,-----------------,----------------,-----------------],
--R     4503599627370496 18014398509481984 4503599627370496 18014398509481984
--R     1463669878895411  4585739880254181 2292870321976983     763699785
--R    [----------------,-----------------,----------------,-----------------],
--R     2251799813685248 18014398509481984 9007199254740992 18014398509481984
--R     2972375754064527  4512325802008489  4512325678241101       30941847
--R    [----------------,-----------------,-----------------,- ----------------],
--R     4503599627370496 18014398509481984 18014398509481984   4503599627370496
--R     377176468792279  8880644502332179 1110080384000467       1430328443
--R    [---------------,-----------------,----------------,- -----------------],
--R     562949953421312 36028797018963968 4503599627370496   36028797018963968
--R     3062447746611937  8739386397859927  4369693329684019     261508111
--R    [----------------,-----------------,-----------------,-----------------],
--R     4503599627370496 36028797018963968 18014398509481984 36028797018963968
--R     1553741871442821  4300408020822645  4300407333533573       42955567
--R    [----------------,-----------------,-----------------,- ----------------],
--R     2251799813685248 18014398509481984 18014398509481984   1125899906842624
--R     3152519739159347  8464861376094229 1058107732936263     487395875
--R    [----------------,-----------------,----------------,-----------------],
--R     4503599627370496 36028797018963968 4503599627370496 36028797018963968
--R      799388933858263  8331464755131515 2082866284794077     384044793
--R    [----------------,-----------------,----------------,-----------------],
--R     1125899906842624 36028797018963968 9007199254740992 36028797018963968
--R     3242591731706757  8200564929802215  512535213412627       1515200183
--R    [----------------,-----------------,----------------,- -----------------],
--R     4503599627370496 36028797018963968 2251799813685248   36028797018963968
--R     1643813863990231  8072097048271695  504506097069729     504843969
--R    [----------------,-----------------,----------------,-----------------],
--R     2251799813685248 36028797018963968 2251799813685248 36028797018963968
--R     3332663724254167  7946010670224129  496625642416791       391555473
--R    [----------------,-----------------,----------------,- -----------------],
--R     4503599627370496 36028797018963968 2251799813685248   36028797018963968
--R     3  977780568338073  977780762252229     48478539
--R    [-,----------------,----------------,----------------],
--R     4 4503599627370496 4503599627370496 1125899906842624
--R     3422735716801577  962593980034617  3850375613550347       306588121
--R    [----------------,----------------,-----------------,- -----------------],
--R     4503599627370496 4503599627370496 18014398509481984   18014398509481984
--R     1733885856537641  3790737452432977  3790736760654459       345889259
--R    [----------------,-----------------,-----------------,- ----------------],
--R     2251799813685248 18014398509481984 18014398509481984   9007199254740992
--R     3512807709348987  7464363300155811  933045301175829       890749179
--R    [----------------,-----------------,----------------,- -----------------],
--R     4503599627370496 36028797018963968 4503599627370496   36028797018963968
--R      889460926405673  459335636794399  7349368830859585       1357850799
--R    [----------------,----------------,-----------------,- -----------------],
--R     1125899906842624 2251799813685248 36028797018963968   36028797018963968
--R     3602879701896397  7236445130213845  7236445176359065     11536305
--R    [----------------,-----------------,-----------------,----------------],
--R     4503599627370496 36028797018963968 36028797018963968 9007199254740992
--R     1823957849085051 1781386222527443  7125545231340689     341230917
--R    [----------------,----------------,-----------------,-----------------],
--R     2251799813685248 9007199254740992 36028797018963968 36028797018963968
--R     7385903388887613  877077828870255  7016624122312927     1491350887
--R    [----------------,----------------,-----------------,-----------------],
--R     9007199254740992 4503599627370496 36028797018963968 36028797018963968
--R     7475975381435023  863704840136741  6909638265823825       455270103
--R    [----------------,----------------,-----------------,- -----------------],
--R     9007199254740992 4503599627370496 36028797018963968   36028797018963968
--R     7566047373982433  53160518148979  6804545319906787       1003162525
--R    [----------------,---------------,-----------------,- -----------------],
--R     9007199254740992 281474976710656 36028797018963968   36028797018963968
--R     7656119366529843  6701305805211471  209415754308051       1667353839
--R    [----------------,-----------------,----------------,- -----------------],
--R     9007199254740992 36028797018963968 1125899906842624   36028797018963968
--R     7746191359077253  3299936966481991  6599874724205609     791241627
--R    [----------------,-----------------,-----------------,-----------------],
--R     9007199254740992 18014398509481984 36028797018963968 36028797018963968
--R     7836263351624663  812527285051191  3250109096375283        43829481
--R    [----------------,----------------,-----------------,- -----------------],
--R     9007199254740992 4503599627370496 18014398509481984   18014398509481984
--R      990791918021509  3201147806495843 100035886352303     556777853
--R    [----------------,-----------------,---------------,-----------------],
--R     1125899906842624 18014398509481984 562949953421312 18014398509481984
--R     4008203668359741  3153036752396569 12316549882279      17466855
--R    [----------------,-----------------,--------------,-----------------],
--R     4503599627370496 18014398509481984 70368744177664 18014398509481984
--R     2026619832316723  3105756162068583  6211512841049501     516912335
--R    [----------------,-----------------,-----------------,-----------------],
--R     2251799813685248 18014398509481984 36028797018963968 36028797018963968
--R     4098275660907151  3059289822553225  6118579799096239     153989789
--R    [----------------,-----------------,-----------------,-----------------],
--R     4503599627370496 18014398509481984 36028797018963968 36028797018963968
--R     517913957147607 1506809859725993  3013620254502637     535050651
--R    [---------------,----------------,-----------------,-----------------],
--R     562949953421312 9007199254740992 18014398509481984 18014398509481984
--R     4188347653454561  2968731441246059  5937461960671463       921820655
--R    [----------------,-----------------,-----------------,- -----------------],
--R     4503599627370496 18014398509481984 36028797018963968   36028797018963968
--R     2116691824864133  2924605172097083  5849212008329135     1664134969
--R    [----------------,-----------------,-----------------,-----------------],
--R     2251799813685248 18014398509481984 36028797018963968 36028797018963968
--R     4278419646001971  45019220365093  2881229670722309       432643643
--R    [----------------,---------------,-----------------,- -----------------],
--R     4503599627370496 281474976710656 18014398509481984   18014398509481984
--R     1080863910568919  5677172838428613 1419293364212371     618420871
--R    [----------------,-----------------,----------------,-----------------],
--R     1125899906842624 36028797018963968 9007199254740992 36028797018963968
--R     4368491638549381  2796661509563189 1398331158012413     806461637
--R    [----------------,-----------------,----------------,-----------------],
--R     4503599627370496 18014398509481984 9007199254740992 18014398509481984
--R     2206763817411543  2755442764333643  5510883899649595       1629017691
--R    [----------------,-----------------,-----------------,- -----------------],
--R     2251799813685248 18014398509481984 36028797018963968   36028797018963968
--R     4458563631096791  339364021140895  5429823022834661       1315419659
--R    [----------------,----------------,-----------------,- -----------------],
--R     4503599627370496 2251799813685248 36028797018963968   36028797018963968
--R       1337528556932391 1337528617964471     3814505
--R    [1,----------------,----------------,---------------],
--R       9007199254740992 9007199254740992 562949953421312
--R     568579452955525  2635864988467553  82370803148139     712272895
--R    [---------------,-----------------,---------------,-----------------],
--R     562949953421312 18014398509481984 562949953421312 18014398509481984
--R     2296835809958953  649330795714129  2597323814660823     631804307
--R    [----------------,----------------,-----------------,-----------------],
--R     2251799813685248 4503599627370496 18014398509481984 18014398509481984
--R     2319353808095805  2559419086952715  5118837615064255       558841175
--R    [----------------,-----------------,-----------------,- -----------------],
--R     2251799813685248 18014398509481984 36028797018963968   36028797018963968
--R     1170935903116329 1261069144618671  2522138220244535        68992807
--R    [----------------,----------------,-----------------,- -----------------],
--R     1125899906842624 9007199254740992 18014398509481984   18014398509481984
--R     1182194902184755  4970939962142583  4970939790283383        671325
--R    [----------------,-----------------,-----------------,- ---------------],
--R     1125899906842624 36028797018963968 36028797018963968   140737488355328
--R     2386907802506363  2449401552375607  4898803933595405     828844191
--R    [----------------,-----------------,-----------------,-----------------],
--R     2251799813685248 18014398509481984 36028797018963968 36028797018963968
--R     2409425800643215 1206961097255591  4827845706296473     1317274109
--R    [----------------,----------------,-----------------,-----------------],
--R     2251799813685248 9007199254740992 36028797018963968 36028797018963968
--R     607985949695017  4758042197677823  4758042493918095     18515017
--R    [---------------,-----------------,-----------------,----------------],
--R     562949953421312 36028797018963968 36028797018963968 2251799813685248
--R     306807724614615  2344685655279839  2344686107616323     113084121
--R    [---------------,-----------------,-----------------,----------------],
--R     281474976710656 18014398509481984 18014398509481984 4503599627370496
--R     2476979795053773  2310906856634709  2310906653223965       25426343
--R    [----------------,-----------------,-----------------,- ----------------],
--R     2251799813685248 18014398509481984 18014398509481984   2251799813685248
--R     2499497793190625 1138836046412283  2277672352993827     260169261
--R    [----------------,----------------,-----------------,-----------------],
--R     2251799813685248 9007199254740992 18014398509481984 18014398509481984
--R     1261007895663739  8979889426600617  2244972919915681     2253062107
--R    [----------------,-----------------,-----------------,-----------------],
--R     1125899906842624 72057594037927936 18014398509481984 72057594037927936
--R     1272266894732165  4425597281824439  4425596607388607       84304479
--R    [----------------,-----------------,-----------------,- ----------------],
--R     1125899906842624 36028797018963968 36028797018963968   4503599627370496
--R     5134103575202365  2181138335531805 1090569341970939     348410073
--R    [----------------,-----------------,----------------,-----------------],
--R     4503599627370496 18014398509481984 9007199254740992 18014398509481984
--R     2589569785738035  8599936938998027  4299968927228843     915459659
--R    [----------------,-----------------,-----------------,-----------------],
--R     2251799813685248 72057594037927936 36028797018963968 72057594037927936
--R     5224175567749775  4238651059852439 1059663131340783     1465510693
--R    [----------------,-----------------,----------------,-----------------],
--R     4503599627370496 36028797018963968 9007199254740992 36028797018963968
--R     658651445502935  2089155015302539  2089154912019651       12910361
--R    [---------------,-----------------,-----------------,- ----------------],
--R     562949953421312 18014398509481984 18014398509481984   2251799813685248
--R     5314247560297185  8237847528957439  4118922895036897       1738883645
--R    [----------------,-----------------,-----------------,- -----------------],
--R     4503599627370496 72057594037927936 36028797018963968   72057594037927936
--R     2679641778285445  2030237123537427  253779638049057        19144971
--R    [----------------,-----------------,----------------,- -----------------],
--R     2251799813685248 18014398509481984 2251799813685248   18014398509481984
--R     5404319552844595  8005894133749349 1000736655844073       886996765
--R    [----------------,-----------------,----------------,- -----------------],
--R     4503599627370496 72057594037927936 9007199254740992   72057594037927936
--R     1362338887279575  3946324209479671  986580843489455       835521851
--R    [----------------,-----------------,----------------,- -----------------],
--R     1125899906842624 36028797018963968 9007199254740992   36028797018963968
--R     5494391545392005  7781175320982667  1945294031239931     803977057
--R    [----------------,-----------------,-----------------,-----------------],
--R     4503599627370496 72057594037927936 18014398509481984 72057594037927936
--R     2769713770832855  3835723008390855  3835724647791057     819700101
--R    [----------------,-----------------,-----------------,-----------------],
--R     2251799813685248 36028797018963968 36028797018963968 18014398509481984
--R     5584463537939415  945428960414857  1890858718031947     797202233
--R    [----------------,----------------,-----------------,-----------------],
--R     4503599627370496 9007199254740992 18014398509481984 18014398509481984
--R     5  3728551748778245  1864275535768911       677240423
--R    [-,-----------------,-----------------,- -----------------],
--R     4 36028797018963968 18014398509481984   36028797018963968
--R     709316941310853  1838104556234547  3676210527566883     1415097789
--R    [---------------,-----------------,-----------------,-----------------],
--R     562949953421312 18014398509481984 36028797018963968 36028797018963968
--R     2859785763380265  906170181743143  3624681097959933     370987361
--R    [----------------,----------------,-----------------,-----------------],
--R     2251799813685248 9007199254740992 36028797018963968 36028797018963968
--R     2882303761517117  7147897155780337  3573948388601747       378576843
--R    [----------------,-----------------,-----------------,- -----------------],
--R     2251799813685248 72057594037927936 36028797018963968   72057594037927936
--R     1452410879826985  3523998253703077  110124947166997      55640827
--R    [----------------,-----------------,----------------,-----------------],
--R     1125899906842624 36028797018963968 1125899906842624 36028797018963968
--R     1463669878895411  3474815342892489  1737408533077531     1723262573
--R    [----------------,-----------------,-----------------,-----------------],
--R     1125899906842624 36028797018963968 18014398509481984 36028797018963968
--R     2949857755927675  1713196319849501  1713195576760205       46443081
--R    [----------------,-----------------,-----------------,- ----------------],
--R     2251799813685248 18014398509481984 18014398509481984   1125899906842624
--R     2972375754064527  3378708526844403  3378707347080815       294940897
--R    [----------------,-----------------,-----------------,- ----------------],
--R     2251799813685248 36028797018963968 36028797018963968   9007199254740992
--R     748723438050345  3331752195689587  3331752696502447     125203215
--R    [---------------,-----------------,-----------------,----------------],
--R     562949953421312 36028797018963968 36028797018963968 9007199254740992
--R     377176468792279  3285512837595449  821378629642053     1680972763
--R    [---------------,-----------------,----------------,-----------------],
--R     281474976710656 36028797018963968 9007199254740992 36028797018963968
--R     3039929748475085  1619989821961441  3239980390482595     746559713
--R    [----------------,-----------------,-----------------,-----------------],
--R     2251799813685248 18014398509481984 36028797018963968 36028797018963968
--R     3062447746611937  6390276406306159  798784535845471       119542391
--R    [----------------,-----------------,----------------,- -----------------],
--R     2251799813685248 72057594037927936 9007199254740992   72057594037927936
--R     1542482872374395  6301948207534467  3150975856042307     3504550147
--R    [----------------,-----------------,-----------------,-----------------],
--R     1125899906842624 72057594037927936 36028797018963968 72057594037927936
--R     1553741871442821  776870035001485  194217615548667     427193183
--R    [----------------,----------------,----------------,----------------],
--R     1125899906842624 9007199254740992 2251799813685248 9007199254740992
--R     6260003482044989  1532322751615047  1532322338763247       51606475
--R    [----------------,-----------------,-----------------,- ----------------],
--R     4503599627370496 18014398509481984 18014398509481984   2251799813685248
--R     3152519739159347  3022452179041185  3022453128101137     59316247
--R    [----------------,-----------------,-----------------,----------------],
--R     2251799813685248 36028797018963968 36028797018963968 2251799813685248
--R     6350075474592399  372612070569939  2980896210627347       353932165
--R    [----------------,----------------,-----------------,- -----------------],
--R     4503599627370496 4503599627370496 36028797018963968   36028797018963968
--R     799388933858263  2939964248266267  2939963154133277       547066495
--R    [---------------,-----------------,-----------------,- -----------------],
--R     562949953421312 36028797018963968 36028797018963968   18014398509481984
--R     6440147467139809  2899644421522345  2899643401302993       127527419
--R    [----------------,-----------------,-----------------,- ----------------],
--R     4503599627370496 36028797018963968 36028797018963968   4503599627370496
--R     3242591731706757  2859926275688639  2859926603381953     163846657
--R    [----------------,-----------------,-----------------,-----------------],
--R     2251799813685248 36028797018963968 36028797018963968 18014398509481984
--R     6530219459687219  1410401302502873  2820802615230053      10224307
--R    [----------------,-----------------,-----------------,-----------------],
--R     4503599627370496 18014398509481984 36028797018963968 36028797018963968
--R     1643813863990231  5434106642255  2782261490517067       1110317493
--R    [----------------,--------------,-----------------,- -----------------],
--R     1125899906842624 70368744177664 36028797018963968   36028797018963968
--R     6620291452234629  1372145925828137  2744293477055603     1625399329
--R    [----------------,-----------------,-----------------,-----------------],
--R     4503599627370496 18014398509481984 36028797018963968 36028797018963968
--R     3332663724254167  5413780714941775  1353444506133401       2690408171
--R    [----------------,-----------------,-----------------,- -----------------],
--R     2251799813685248 72057594037927936 18014398509481984   72057594037927936
--R     6710363444782039  2670040103879891  1335019359387105       1385105681
--R    [----------------,-----------------,-----------------,- -----------------],
--R     4503599627370496 36028797018963968 18014398509481984   36028797018963968
--R     3  2633733885123881  2633733400121533       121250587
--R    [-,-----------------,-----------------,- ----------------],
--R     2 36028797018963968 36028797018963968   9007199254740992
--R     850054429666181  1298982247721727  2597964036610097       458833357
--R    [---------------,-----------------,-----------------,- -----------------],
--R     562949953421312 18014398509481984 36028797018963968   36028797018963968
--R     3422735716801577  2562721126199503  1281360890625923     655052343
--R    [----------------,-----------------,-----------------,-----------------],
--R     2251799813685248 36028797018963968 18014398509481984 36028797018963968
--R     3445253714938429  1263998285816313  157999872239639     692100799
--R    [----------------,-----------------,----------------,-----------------],
--R     2251799813685248 18014398509481984 2251799813685248 18014398509481984
--R     1733885856537641  4987567251966835  1246892023546565     842219425
--R    [----------------,-----------------,-----------------,-----------------],
--R     1125899906842624 72057594037927936 18014398509481984 72057594037927936
--R     1745144855606067  2460071480612773  1230035851495193     222377613
--R    [----------------,-----------------,-----------------,-----------------],
--R     1125899906842624 36028797018963968 18014398509481984 36028797018963968
--R     3512807709348987  303356616220161  606713182273061       50167261
--R    [----------------,----------------,----------------,- ----------------],
--R     2251799813685248 4503599627370496 9007199254740992   9007199254740992
--R     3535325707485839  2394120767669559  74816221407683        1682623703
--R    [----------------,-----------------,----------------,- -----------------],
--R     2251799813685248 36028797018963968 1125899906842624   36028797018963968
--R     889460926405673  2361864185698481  1180931440575109       1304548263
--R    [---------------,-----------------,-----------------,- -----------------],
--R     562949953421312 36028797018963968 18014398509481984   36028797018963968
--R     447545212969943  2330075978088649  2330076375018865     49616277
--R    [---------------,-----------------,-----------------,----------------],
--R     281474976710656 36028797018963968 36028797018963968 4503599627370496
--R     3602879701896397  1149376270980181  2298751968331179       573629183
--R    [----------------,-----------------,-----------------,- -----------------],
--R     2251799813685248 18014398509481984 36028797018963968   36028797018963968
--R     3625397700033249  4535766137349027  1133941101834729       1730010111
--R    [----------------,-----------------,-----------------,- -----------------],
--R     2251799813685248 72057594037927936 18014398509481984   72057594037927936
--R     1823957849085051  8949841409886801   139841235089961       2364129297
--R    [----------------,------------------,----------------,- ------------------],
--R     1125899906842624 144115188075855872 2251799813685248   144115188075855872
--R     1835216848153477  4414954375185037  275934682108839     538556387
--R    [----------------,-----------------,----------------,-----------------],
--R     1125899906842624 72057594037927936 4503599627370496 72057594037927936
--R     7385903388887613  1088964985578633  544482059274069       867030495
--R    [----------------,-----------------,----------------,- -----------------],
--R     4503599627370496 18014398509481984 9007199254740992   18014398509481984
--R     3715469692580659  4297608583294271  2148805178306387     1773318503
--R    [----------------,-----------------,-----------------,-----------------],
--R     2251799813685248 72057594037927936 36028797018963968 72057594037927936
--R     7475975381435023  2120100149062127  2120101482976523     333478599
--R    [----------------,-----------------,-----------------,----------------],
--R     4503599627370496 36028797018963968 36028797018963968 9007199254740992
--R     940126422213591  4183620675285673  522952619291535     279046607
--R    [---------------,-----------------,----------------,-----------------],
--R     562949953421312 72057594037927936 9007199254740992 72057594037927936
--R     7566047373982433  4127848097500317  515981401971559     3118272155
--R    [----------------,-----------------,----------------,-----------------],
--R     4503599627370496 72057594037927936 9007199254740992 72057594037927936
--R     3805541685128069  8145765129536371   2036440440533689       3367401615
--R    [----------------,------------------,-----------------,- ------------------]
--R     2251799813685248 144115188075855872 36028797018963968   144115188075855872
--R     ,
--R     7656119366529843  8037390508103327   31396072756099     4117458017
--R    [----------------,------------------,---------------,------------------],
--R     4503599627370496 144115188075855872 562949953421312 144115188075855872
--R     1925288840700887  7930572330701503   1982644050184893     3870038069
--R    [----------------,------------------,-----------------,------------------],
--R     1125899906842624 144115188075855872 36028797018963968 144115188075855872
--R     7746191359077253  3912640887146641  3912641055431445      42071201
--R    [----------------,-----------------,-----------------,-----------------],
--R     4503599627370496 72057594037927936 72057594037927936 18014398509481984
--R     3895613677675479  7721490015841051   60324128235397        1601710235
--R    [----------------,------------------,----------------,- ------------------],
--R     2251799813685248 144115188075855872 1125899906842624   144115188075855872
--R     7836263351624663  3809584116153597  238099112334583     1681199731
--R    [----------------,-----------------,----------------,-----------------],
--R     4503599627370496 72057594037927936 4503599627370496 72057594037927936
--R     7  3759151006086451  1879577138474159     3270861867
--R    [-,-----------------,-----------------,-----------------],
--R     4 72057594037927936 36028797018963968 72057594037927936
--R     990791918021509  7418876943919369   1854719150386665        342372709
--R    [---------------,------------------,-----------------,- ------------------],
--R     562949953421312 144115188075855872 36028797018963968   144115188075855872
--R     3985685670222889  1830212448247543  3660426723823743     1827328657
--R    [----------------,-----------------,-----------------,-----------------],
--R     2251799813685248 36028797018963968 72057594037927936 72057594037927936
--R     4008203668359741  3612110279692655  3612108597072727       210327491
--R    [----------------,-----------------,-----------------,- ----------------],
--R     2251799813685248 72057594037927936 72057594037927936   9007199254740992
--R     2015360833248297  3564473004274181  3564473163474727      79600273
--R    [----------------,-----------------,-----------------,-----------------],
--R     1125899906842624 72057594037927936 72057594037927936 36028797018963968
--R     2026619832316723  7035026140479327   3517509854065905       6432347517
--R    [----------------,------------------,-----------------,- ------------------]
--R     1125899906842624 144115188075855872 72057594037927936   144115188075855872
--R     ,
--R     4075757662770299  3471208860310891  108475258879913       576153675
--R    [----------------,-----------------,----------------,- -----------------],
--R     2251799813685248 72057594037927936 2251799813685248   72057594037927936
--R     4098275660907151  6851120748975727   856389562404779        4249737495
--R    [----------------,------------------,-----------------,- ------------------]
--R     2251799813685248 144115188075855872 18014398509481984   144115188075855872
--R     ,
--R     1030198414761001  1690276600625887  845137430813413        1738999061
--R    [----------------,-----------------,-----------------,- -----------------],
--R      562949953421312 36028797018963968 18014398509481984   36028797018963968
--R     517913957147607  1668086464541907  1668086425626447        9728865
--R    [---------------,-----------------,-----------------,- ----------------],
--R     281474976710656 36028797018963968 36028797018963968   9007199254740992
--R     4165829655317709  205776222373999  3292417949740397       1608243587
--R    [----------------,----------------,-----------------,- -----------------],
--R     2251799813685248 4503599627370496 72057594037927936   72057594037927936
--R     4188347653454561  3249278676433477  3249275501393679       1587519899
--R    [----------------,-----------------,-----------------,- -----------------],
--R     2251799813685248 72057594037927936 72057594037927936   36028797018963968
--R     2105432825795707  801683968228371   801684038036467      2181503
--R    [----------------,-----------------,-----------------,---------------],
--R     1125899906842624 18014398509481984 18014398509481984 562949953421312
--R     2116691824864133  1582395573712003  3164790707963205       439460801
--R    [----------------,-----------------,-----------------,- -----------------],
--R     1125899906842624 36028797018963968 72057594037927936   72057594037927936
--R     8511803295730237  6246860176892471   3123430131698155      86503839
--R    [----------------,------------------,-----------------,------------------],
--R     4503599627370496 144115188075855872 72057594037927936 144115188075855872
--R     4278419646001971  96332671569399   3082645540013927      49793159
--R    [----------------,----------------,-----------------,-----------------],
--R     2251799813685248 2251799813685248 72057594037927936 72057594037927936
--R     8601875288277647  3042430146988201  380303525047521       1946608033
--R    [----------------,-----------------,----------------,- -----------------],
--R     4503599627370496 72057594037927936 9007199254740992   72057594037927936
--R     1080863910568919  3002769647229725  1501384764068569       119092587
--R    [----------------,-----------------,-----------------,- -----------------],
--R      562949953421312 72057594037927936 36028797018963968   72057594037927936
--R     8691947280825057  1481831995472671  2963661083626523       2907318819
--R    [----------------,-----------------,-----------------,- -----------------],
--R     4503599627370496 36028797018963968 72057594037927936   72057594037927936
--R     4368491638549381  2925091560856839  731273642346867      3008530629
--R    [----------------,-----------------,-----------------,-----------------],
--R     2251799813685248 72057594037927936 18014398509481984 72057594037927936
--R     8782019273372467  5774119125447241   1443530913707845     4529384139
--R    [----------------,------------------,-----------------,------------------],
--R     4503599627370496 144115188075855872 36028797018963968 144115188075855872
--R     2206763817411543  2849553585026879  1424777418242143     1251457407
--R    [----------------,-----------------,-----------------,-----------------],
--R     1125899906842624 72057594037927936 36028797018963968 72057594037927936
--R     8872091265919877  2812566422007211  2812565709524361       356241425
--R    [----------------,-----------------,-----------------,- -----------------],
--R     4503599627370496 72057594037927936 72057594037927936   36028797018963968
--R     4458563631096791  173505228884113  2776086691064231     3028918423
--R    [----------------,----------------,-----------------,-----------------],
--R     2251799813685248 4503599627370496 72057594037927936 72057594037927936
--R     8962163258467287  1370056255601037  342513769340691       1178238273
--R    [----------------,-----------------,----------------,- -----------------],
--R     4503599627370496 36028797018963968 9007199254740992   36028797018963968
--R        5409262703795597   338078575096777       5502247165
--R    [2,------------------,----------------,- ------------------]]
--R       144115188075855872 9007199254740992   144115188075855872
--R                                          Type: List(List(Fraction(Integer)))
--E 3


--S 4 of 6
t4:List List Fraction Integer:=[[machineFraction (x::DFLOAT) for x in line]_
 for line in _
[[0.01,0.4902766,En(3,0.01),En(3,0.01)-0.4902766],_
[0.02,0.4809683,En(3,0.02),En(3,0.02)-0.4809683],_
[0.03,0.4719977,En(3,0.03),En(3,0.03)-0.4719977],_
[0.04,0.4633239,En(3,0.04),En(3,0.04)-0.4633239],_
[0.05,0.4549188,En(3,0.05),En(3,0.05)-0.4549188],_
[0.06,0.4467609,En(3,0.06),En(3,0.06)-0.4467609],_
[0.07,0.4388327,En(3,0.07),En(3,0.07)-0.4388327],_
[0.08,0.4311197,En(3,0.08),En(3,0.08)-0.4311197],_
[0.09,0.4236096,En(3,0.09),En(3,0.09)-0.4236096],_
[0.10,0.4162915,En(3,0.10),En(3,0.10)-0.4162915],_
[0.11,0.4091557,En(3,0.11),En(3,0.11)-0.4091557],_
[0.12,0.4021937,En(3,0.12),En(3,0.12)-0.4021937],_
[0.13,0.3953977,En(3,0.13),En(3,0.13)-0.3953977],_
[0.14,0.3887607,En(3,0.14),En(3,0.14)-0.3887607],_
[0.15,0.3822761,En(3,0.15),En(3,0.15)-0.3822761],_
[0.16,0.3759380,En(3,0.16),En(3,0.16)-0.3759380],_
[0.17,0.3697408,En(3,0.17),En(3,0.17)-0.3697408],_
[0.18,0.3636795,En(3,0.18),En(3,0.18)-0.3636795],_
[0.19,0.3577491,En(3,0.19),En(3,0.19)-0.3577491],_
[0.20,0.3519453,En(3,0.20),En(3,0.20)-0.3519453],_
[0.21,0.3462638,En(3,0.21),En(3,0.21)-0.3462638],_
[0.22,0.3407005,En(3,0.22),En(3,0.22)-0.3407005],_
[0.23,0.3352518,En(3,0.23),En(3,0.23)-0.3352518],_
[0.24,0.3299142,En(3,0.24),En(3,0.24)-0.3299142],_
[0.25,0.3246841,En(3,0.25),En(3,0.25)-0.3246841],_
[0.26,0.3195585,En(3,0.26),En(3,0.26)-0.3195585],_
[0.27,0.3145343,En(3,0.27),En(3,0.27)-0.3145343],_
[0.28,0.3096086,En(3,0.28),En(3,0.28)-0.3096086],_
[0.29,0.3047787,En(3,0.29),En(3,0.29)-0.3047787],_
[0.30,0.3000418,En(3,0.30),En(3,0.30)-0.3000418],_
[0.31,0.2953956,En(3,0.31),En(3,0.31)-0.2953956],_
[0.32,0.2908374,En(3,0.32),En(3,0.32)-0.2908374],_
[0.33,0.2863652,En(3,0.33),En(3,0.33)-0.2863652],_
[0.34,0.2819765,En(3,0.34),En(3,0.34)-0.2819765],_
[0.35,0.2776693,En(3,0.35),En(3,0.35)-0.2776693],_
[0.36,0.2734416,En(3,0.36),En(3,0.36)-0.2734416],_
[0.37,0.2692913,En(3,0.37),En(3,0.37)-0.2692913],_
[0.38,0.2652165,En(3,0.38),En(3,0.38)-0.2652165],_
[0.39,0.2612155,En(3,0.39),En(3,0.39)-0.2612155],_
[0.40,0.2572864,En(3,0.40),En(3,0.40)-0.2572864],_
[0.41,0.2534276,En(3,0.41),En(3,0.41)-0.2534276],_
[0.42,0.2496373,En(3,0.42),En(3,0.42)-0.2496373],_
[0.43,0.2459141,En(3,0.43),En(3,0.43)-0.2459141],_
[0.44,0.2422563,En(3,0.44),En(3,0.44)-0.2422563],_
[0.45,0.2386625,En(3,0.45),En(3,0.45)-0.2386625],_
[0.46,0.2351313,En(3,0.46),En(3,0.46)-0.2351313],_
[0.47,0.2316612,En(3,0.47),En(3,0.47)-0.2316612],_
[0.48,0.2282508,En(3,0.48),En(3,0.48)-0.2282508],_
[0.49,0.2248990,En(3,0.49),En(3,0.49)-0.2248990],_
[0.50,0.2216044,En(3,0.50),En(3,0.50)-0.2216044],_
[0.51,0.2183657,En(3,0.51),En(3,0.51)-0.2183657],_
[0.52,0.2151818,En(3,0.52),En(3,0.52)-0.2151818],_
[0.53,0.2120516,En(3,0.53),En(3,0.53)-0.2120516],_
[0.54,0.2089739,En(3,0.54),En(3,0.54)-0.2089739],_
[0.55,0.2059475,En(3,0.55),En(3,0.55)-0.2059475],_
[0.56,0.2029715,En(3,0.56),En(3,0.56)-0.2029715],_
[0.57,0.2000448,En(3,0.57),En(3,0.57)-0.2000448],_
[0.58,0.1971664,En(3,0.58),En(3,0.58)-0.1971664],_
[0.59,0.1943353,En(3,0.59),En(3,0.59)-0.1943353],_
[0.60,0.1915506,En(3,0.60),En(3,0.60)-0.1915506],_
[0.61,0.1888114,En(3,0.61),En(3,0.61)-0.1888114],_
[0.62,0.1861166,En(3,0.62),En(3,0.62)-0.1861166],_
[0.63,0.1834656,En(3,0.63),En(3,0.63)-0.1834656],_
[0.64,0.1808573,En(3,0.64),En(3,0.64)-0.1808573],_
[0.65,0.1782910,En(3,0.65),En(3,0.65)-0.1782910],_
[0.66,0.1757658,En(3,0.66),En(3,0.66)-0.1757658],_
[0.67,0.1732810,En(3,0.67),En(3,0.67)-0.1732810],_
[0.68,0.1708358,En(3,0.68),En(3,0.68)-0.1708358],_
[0.69,0.1684294,En(3,0.69),En(3,0.69)-0.1684294],_
[0.70,0.1660612,En(3,0.70),En(3,0.70)-0.1660612],_
[0.71,0.1637303,En(3,0.71),En(3,0.71)-0.1637303],_
[0.72,0.1614360,En(3,0.72),En(3,0.72)-0.1614360],_
[0.73,0.1591778,En(3,0.73),En(3,0.73)-0.1591778],_
[0.74,0.1569549,En(3,0.74),En(3,0.74)-0.1569549],_
[0.75,0.1547667,En(3,0.75),En(3,0.75)-0.1547667],_
[0.76,0.1526125,En(3,0.76),En(3,0.76)-0.1526125],_
[0.77,0.1504917,En(3,0.77),En(3,0.77)-0.1504917],_
[0.78,0.1484037,En(3,0.78),En(3,0.78)-0.1484037],_
[0.79,0.1463479,En(3,0.79),En(3,0.79)-0.1463479],_
[0.80,0.1443238,En(3,0.80),En(3,0.80)-0.1443238],_
[0.81,0.1423307,En(3,0.81),En(3,0.81)-0.1423307],_
[0.82,0.1403681,En(3,0.82),En(3,0.82)-0.1403681],_
[0.83,0.1384355,En(3,0.83),En(3,0.83)-0.1384355],_
[0.84,0.1365324,En(3,0.84),En(3,0.84)-0.1365324],_
[0.85,0.1346581,En(3,0.85),En(3,0.85)-0.1346581],_
[0.86,0.1328122,En(3,0.86),En(3,0.86)-0.1328122],_
[0.87,0.1309943,En(3,0.87),En(3,0.87)-0.1309943],_
[0.88,0.1292037,En(3,0.88),En(3,0.88)-0.1292037],_
[0.89,0.1274401,En(3,0.89),En(3,0.89)-0.1274401],_
[0.90,0.1257030,En(3,0.90),En(3,0.90)-0.1257030],_
[0.91,0.1239919,En(3,0.91),En(3,0.91)-0.1239919],_
[0.92,0.1223063,En(3,0.92),En(3,0.92)-0.1223063],_
[0.93,0.1206459,En(3,0.93),En(3,0.93)-0.1206459],_
[0.94,0.1190102,En(3,0.94),En(3,0.94)-0.1190102],_
[0.95,0.1173988,En(3,0.95),En(3,0.95)-0.1173988],_
[0.96,0.1158113,En(3,0.96),En(3,0.96)-0.1158113],_
[0.97,0.1142472,En(3,0.97),En(3,0.97)-0.1142472],_
[0.98,0.1127063,En(3,0.98),En(3,0.98)-0.1127063],_
[0.99,0.1111880,En(3,0.99),En(3,0.99)-0.1111880],_
[1.00,0.1096920,En(3,1.00),En(3,1.00)-0.1096920],_
[1.01,0.1082179,En(3,1.01),En(3,1.01)-0.1082179],_
[1.02,0.1067654,En(3,1.02),En(3,1.02)-0.1067654],_
[1.03,0.1053342,En(3,1.03),En(3,1.03)-0.1053342],_
[1.04,0.1039238,En(3,1.04),En(3,1.04)-0.1039238],_
[1.05,0.1025339,En(3,1.05),En(3,1.05)-0.1025339],_
[1.06,0.1011643,En(3,1.06),En(3,1.06)-0.1011643],_
[1.07,0.0998145,En(3,1.07),En(3,1.07)-0.0998145],_
[1.08,0.0984842,En(3,1.08),En(3,1.08)-0.0984842],_
[1.09,0.0971731,En(3,1.09),En(3,1.09)-0.0971731],_
[1.10,0.0958809,En(3,1.10),En(3,1.10)-0.0958809],_
[1.11,0.0946074,En(3,1.11),En(3,1.11)-0.0946074],_
[1.12,0.0933521,En(3,1.12),En(3,1.12)-0.0933521],_
[1.13,0.0921149,En(3,1.13),En(3,1.13)-0.0921149],_
[1.14,0.0908953,En(3,1.14),En(3,1.14)-0.0908953],_
[1.15,0.0896932,En(3,1.15),En(3,1.15)-0.0896932],_
[1.16,0.0885083,En(3,1.16),En(3,1.16)-0.0885083],_
[1.17,0.0873402,En(3,1.17),En(3,1.17)-0.0873402],_
[1.18,0.0861888,En(3,1.18),En(3,1.18)-0.0861888],_
[1.19,0.0850537,En(3,1.19),En(3,1.19)-0.0850537],_
[1.20,0.0839347,En(3,1.20),En(3,1.20)-0.0839347],_
[1.21,0.0828315,En(3,1.21),En(3,1.21)-0.0828315],_
[1.22,0.0817439,En(3,1.22),En(3,1.22)-0.0817439],_
[1.23,0.0806717,En(3,1.23),En(3,1.23)-0.0806717],_
[1.24,0.0796146,En(3,1.24),En(3,1.24)-0.0796146],_
[1.25,0.0785723,En(3,1.25),En(3,1.25)-0.0785723],_
[1.26,0.0775447,En(3,1.26),En(3,1.26)-0.0775447],_
[1.27,0.0765316,En(3,1.27),En(3,1.27)-0.0765316],_
[1.28,0.0755326,En(3,1.28),En(3,1.28)-0.0755326],_
[1.29,0.0745476,En(3,1.29),En(3,1.29)-0.0745476],_
[1.30,0.0735763,En(3,1.30),En(3,1.30)-0.0735763],_
[1.31,0.0726186,En(3,1.31),En(3,1.31)-0.0726186],_
[1.32,0.0716742,En(3,1.32),En(3,1.32)-0.0716742],_
[1.33,0.0707429,En(3,1.33),En(3,1.33)-0.0707429],_
[1.34,0.0698246,En(3,1.34),En(3,1.34)-0.0698246],_
[1.35,0.0689191,En(3,1.35),En(3,1.35)-0.0689191],_
[1.36,0.0680260,En(3,1.36),En(3,1.36)-0.0680260],_
[1.37,0.0671453,En(3,1.37),En(3,1.37)-0.0671453],_
[1.38,0.0662768,En(3,1.38),En(3,1.38)-0.0662768],_
[1.39,0.0654203,En(3,1.39),En(3,1.39)-0.0654203],_
[1.40,0.0645755,En(3,1.40),En(3,1.40)-0.0645755],_
[1.41,0.0637424,En(3,1.41),En(3,1.41)-0.0637424],_
[1.42,0.0629207,En(3,1.42),En(3,1.42)-0.0629207],_
[1.43,0.0621104,En(3,1.43),En(3,1.43)-0.0621104],_
[1.44,0.0613111,En(3,1.44),En(3,1.44)-0.0613111],_
[1.45,0.0605227,En(3,1.45),En(3,1.45)-0.0605227],_
[1.46,0.0597452,En(3,1.46),En(3,1.46)-0.0597452],_
[1.47,0.0589782,En(3,1.47),En(3,1.47)-0.0589782],_
[1.48,0.0582217,En(3,1.48),En(3,1.48)-0.0582217],_
[1.49,0.0574755,En(3,1.49),En(3,1.49)-0.0574755],_
[1.50,0.0567395,En(3,1.50),En(3,1.50)-0.0567395],_
[1.51,0.0560135,En(3,1.51),En(3,1.51)-0.0560135],_
[1.52,0.0552973,En(3,1.52),En(3,1.52)-0.0552973],_
[1.53,0.0545908,En(3,1.53),En(3,1.53)-0.0545908],_
[1.54,0.0538939,En(3,1.54),En(3,1.54)-0.0538939],_
[1.55,0.0532064,En(3,1.55),En(3,1.55)-0.0532064],_
[1.56,0.0525283,En(3,1.56),En(3,1.56)-0.0525283],_
[1.57,0.0518592,En(3,1.57),En(3,1.57)-0.0518592],_
[1.58,0.0511992,En(3,1.58),En(3,1.58)-0.0511992],_
[1.59,0.0505481,En(3,1.59),En(3,1.59)-0.0505481],_
[1.60,0.0499057,En(3,1.60),En(3,1.60)-0.0499057],_
[1.61,0.0492720,En(3,1.61),En(3,1.61)-0.0492720],_
[1.62,0.0486467,En(3,1.62),En(3,1.62)-0.0486467],_
[1.63,0.0480299,En(3,1.63),En(3,1.63)-0.0480299],_
[1.64,0.0474213,En(3,1.64),En(3,1.64)-0.0474213],_
[1.65,0.0468209,En(3,1.65),En(3,1.65)-0.0468209],_
[1.66,0.0462284,En(3,1.66),En(3,1.66)-0.0462284],_
[1.67,0.0456439,En(3,1.67),En(3,1.67)-0.0456439],_
[1.68,0.0450672,En(3,1.68),En(3,1.68)-0.0450672],_
[1.69,0.0444982,En(3,1.69),En(3,1.69)-0.0444982],_
[1.70,0.0439367,En(3,1.70),En(3,1.70)-0.0439367],_
[1.71,0.0433827,En(3,1.71),En(3,1.71)-0.0433827],_
[1.72,0.0428361,En(3,1.72),En(3,1.72)-0.0428361],_
[1.73,0.0422967,En(3,1.73),En(3,1.73)-0.0422967],_
[1.74,0.0417645,En(3,1.74),En(3,1.74)-0.0417645],_
[1.75,0.0412393,En(3,1.75),En(3,1.75)-0.0412393],_
[1.76,0.0407211,En(3,1.76),En(3,1.76)-0.0407211],_
[1.77,0.0402097,En(3,1.77),En(3,1.77)-0.0402097],_
[1.78,0.0397051,En(3,1.78),En(3,1.78)-0.0397051],_
[1.79,0.0392071,En(3,1.79),En(3,1.79)-0.0392071],_
[1.80,0.0387157,En(3,1.80),En(3,1.80)-0.0387157],_
[1.81,0.0382308,En(3,1.81),En(3,1.81)-0.0382308],_
[1.82,0.0377522,En(3,1.82),En(3,1.82)-0.0377522],_
[1.83,0.0372800,En(3,1.83),En(3,1.83)-0.0372800],_
[1.84,0.0368139,En(3,1.84),En(3,1.84)-0.0368139],_
[1.85,0.0363540,En(3,1.85),En(3,1.85)-0.0363540],_
[1.86,0.0359001,En(3,1.86),En(3,1.86)-0.0359001],_
[1.87,0.0354521,En(3,1.87),En(3,1.87)-0.0354521],_
[1.88,0.0350100,En(3,1.88),En(3,1.88)-0.0350100],_
[1.89,0.0345737,En(3,1.89),En(3,1.89)-0.0345737],_
[1.90,0.0341430,En(3,1.90),En(3,1.90)-0.0341430],_
[1.91,0.0337180,En(3,1.91),En(3,1.91)-0.0337180],_
[1.92,0.0332986,En(3,1.92),En(3,1.92)-0.0332986],_
[1.93,0.0328846,En(3,1.93),En(3,1.93)-0.0328846],_
[1.94,0.0324759,En(3,1.94),En(3,1.94)-0.0324759],_
[1.95,0.0320727,En(3,1.95),En(3,1.95)-0.0320727],_
[1.96,0.0316746,En(3,1.96),En(3,1.96)-0.0316746],_
[1.97,0.0312817,En(3,1.97),En(3,1.97)-0.0312817],_
[1.98,0.0308939,En(3,1.98),En(3,1.98)-0.0308939],_
[1.99,0.0305112,En(3,1.99),En(3,1.99)-0.0305112],_
[2.00,0.0301334,En(3,2.00),En(3,2.00)-0.0301334]]]
--R 
--R
--R   (4)
--R      2882303761517117  4416019026136947 2208009351770545       322595857
--R   [[------------------,----------------,----------------,- ----------------],
--R     288230376151711744 9007199254740992 4503599627370496   9007199254740992
--R      2882303761517117  2166088656657021  8664354473090861       153537223
--R    [------------------,----------------,-----------------,- -----------------],
--R     144115188075855872 4503599627370496 18014398509481984   18014398509481984
--R      1080863910568919 2125688665839731  8502754432717627       230641297
--R    [-----------------,----------------,-----------------,- -----------------],
--R     36028797018963968 4503599627370496 18014398509481984   18014398509481984
--R      2882303761517117 2086625343391845 1043312765695809     187999773
--R    [-----------------,----------------,----------------,----------------],
--R     72057594037927936 4503599627370496 2251799813685248 4503599627370496
--R      3602879701896397 2048772138163833 1024386181105527     224047221
--R    [-----------------,----------------,----------------,----------------],
--R     72057594037927936 4503599627370496 2251799813685248 4503599627370496
--R      1080863910568919 4024064445527415 4024064294542037       75492689
--R    [-----------------,----------------,----------------,- ----------------],
--R     18014398509481984 9007199254740992 9007199254740992   4503599627370496
--R      1261007895663739 3952653568395977 3952653386431593       5686387
--R    [-----------------,----------------,----------------,- ---------------],
--R     18014398509481984 9007199254740992 9007199254740992   281474976710656
--R      2882303761517117 121349407517005 3883181315679211     275135051
--R    [-----------------,---------------,----------------,----------------],
--R     36028797018963968 281474976710656 9007199254740992 9007199254740992
--R      3242591731706757  7631072146842259 1907768062007469     101187617
--R    [-----------------,-----------------,----------------,-----------------],
--R     36028797018963968 18014398509481984 4503599627370496 18014398509481984
--R      3602879701896397  7499240977110019  7499240218852979       47391065
--R    [-----------------,-----------------,-----------------,- ----------------],
--R     36028797018963968 18014398509481984 18014398509481984   1125899906842624
--R      990791918021509 3685346916113029  7370693574729189       257496869
--R    [----------------,----------------,-----------------,- -----------------],
--R     9007199254740992 9007199254740992 18014398509481984   18014398509481984
--R     1080863910568919 1811319397450761  7245277459569623       130233421
--R    [----------------,----------------,-----------------,- -----------------],
--R     9007199254740992 4503599627370496 18014398509481984   18014398509481984
--R     1170935903116329 1780712934383151  7122851946076307     208543703
--R    [----------------,----------------,-----------------,-----------------],
--R     9007199254740992 4503599627370496 18014398509481984 18014398509481984
--R     1261007895663739 1750822543656293  875411202695147       138265999
--R    [----------------,----------------,----------------,- ----------------],
--R     9007199254740992 4503599627370496 2251799813685248   4503599627370496
--R      5404319552844595 3443237003025293 1721618428437251       146150791
--R    [-----------------,----------------,----------------,- ----------------],
--R     36028797018963968 9007199254740992 4503599627370496   9007199254740992
--R      2882303761517117 3386148473428819 3386148303274127       42538673
--R    [-----------------,----------------,----------------,- ----------------],
--R     18014398509481984 9007199254740992 9007199254740992   2251799813685248
--R      3062447746611937 1665164529103669  6660658644537495     528122819
--R    [-----------------,----------------,-----------------,-----------------],
--R     18014398509481984 4503599627370496 18014398509481984 18014398509481984
--R      3242591731706757  6551467442729153  409466697237633       286927025
--R    [-----------------,-----------------,----------------,- -----------------],
--R     18014398509481984 18014398509481984 1125899906842624   18014398509481984
--R      3422735716801577  6444634853808521 3222317821489029     789169537
--R    [-----------------,-----------------,----------------,-----------------],
--R     18014398509481984 18014398509481984 9007199254740992 18014398509481984
--R      3602879701896397 3170041443869595  396255194123831     109121053
--R    [-----------------,----------------,----------------,----------------],
--R     18014398509481984 9007199254740992 1125899906842624 9007199254740992
--R      7566047373982433  389858380162973 3118866734654985       306648799
--R    [-----------------,----------------,----------------,- ----------------],
--R     36028797018963968 1125899906842624 9007199254740992   9007199254740992
--R      990791918021509 3068757289689883  6137515093445603     514065837
--R    [----------------,----------------,-----------------,-----------------],
--R     4503599627370496 9007199254740992 18014398509481984 18014398509481984
--R      517913957147607 188729985194411  6039360354659463     828438311
--R    [----------------,---------------,-----------------,-----------------],
--R     2251799813685248 562949953421312 18014398509481984 18014398509481984
--R     1080863910568919  5943205872736941 1485801320257283       591707809
--R    [----------------,-----------------,----------------,- -----------------],
--R     4503599627370496 18014398509481984 4503599627370496   18014398509481984
--R     1  5848988767092499 1462247308768283     467980633
--R    [-,-----------------,----------------,-----------------],
--R     4 18014398509481984 4503599627370496 18014398509481984
--R     1170935903116329 2878327083046149  5756654635374495     469282197
--R    [----------------,----------------,-----------------,-----------------],
--R     4503599627370496 9007199254740992 18014398509481984 18014398509481984
--R      607985949695017  5666146225100959 2833073355531979     485962999
--R    [----------------,-----------------,----------------,-----------------],
--R     2251799813685248 18014398509481984 9007199254740992 18014398509481984
--R     1261007895663739 1394353175590701 2788706642096349     290914947
--R    [----------------,----------------,----------------,----------------],
--R     4503599627370496 4503599627370496 9007199254740992 9007199254740992
--R      5224175567749775 21446894371101 1372601143982539       95767925
--R    [-----------------,--------------,----------------,- ----------------],
--R     18014398509481984 70368744177664 4503599627370496   4503599627370496
--R      5404319552844595 1351268138675573  675634129154629     119633685
--R    [-----------------,----------------,----------------,----------------],
--R     18014398509481984 4503599627370496 2251799813685248 4503599627370496
--R      5584463537939415  332585878521721  665171646654049       110389393
--R    [-----------------,----------------,----------------,- ----------------],
--R     18014398509481984 1125899906842624 2251799813685248   2251799813685248
--R     2882303761517117  327453801566351  5239261442930539     617868923
--R    [----------------,----------------,-----------------,-----------------],
--R     9007199254740992 1125899906842624 18014398509481984 18014398509481984
--R     2972375754064527 2579348416023755 1289674023098221       369827313
--R    [----------------,----------------,----------------,- ----------------],
--R     9007199254740992 9007199254740992 4503599627370496   9007199254740992
--R     3062447746611937 2539818520654473  634954632455153      9166139
--R    [----------------,----------------,----------------,----------------],
--R     9007199254740992 9007199254740992 2251799813685248 9007199254740992
--R     3152519739159347 2501022712024453 2501022932963017     55234641
--R    [----------------,----------------,----------------,----------------],
--R     9007199254740992 9007199254740992 9007199254740992 2251799813685248
--R     3242591731706757 153933935983449  4925885520147449       431322919
--R    [----------------,---------------,-----------------,- -----------------],
--R     9007199254740992 562949953421312 18014398509481984   18014398509481984
--R     3332663724254167 2425560396668233  4851120431396219       361940247
--R    [----------------,----------------,-----------------,- -----------------],
--R     9007199254740992 9007199254740992 18014398509481984   18014398509481984
--R     3422735716801577 1194428930572507  4777716328723519     606433491
--R    [----------------,----------------,-----------------,-----------------],
--R     9007199254740992 4503599627370496 18014398509481984 18014398509481984
--R     3512807709348987  4705640113853591 2352820093683747      73513903
--R    [----------------,-----------------,----------------,-----------------],
--R     9007199254740992 18014398509481984 9007199254740992 18014398509481984
--R     3602879701896397 2317429870334993 1158715040191191     210047389
--R    [----------------,----------------,----------------,----------------],
--R     9007199254740992 9007199254740992 4503599627370496 9007199254740992
--R      7385903388887613 1141336444925399 1141336379440069       32742665
--R    [-----------------,----------------,----------------,- ----------------],
--R     18014398509481984 4503599627370496 4503599627370496   2251799813685248
--R      7566047373982433  4497065805031107  8994133169002737     1558940523
--R    [-----------------,-----------------,-----------------,-----------------],
--R     18014398509481984 18014398509481984 36028797018963968 36028797018963968
--R      7746191359077253  8859989193001207  8859989381127827     47031655
--R    [-----------------,-----------------,-----------------,----------------],
--R     18014398509481984 36028797018963968 36028797018963968 9007199254740992
--R      990791918021509 1091025382408155  8728204237823309     1178558069
--R    [----------------,----------------,-----------------,-----------------],
--R     2251799813685248 4503599627370496 36028797018963968 36028797018963968
--R     2026619832316723 1074840346067311 2149681029667873     337533251
--R    [----------------,----------------,----------------,----------------],
--R     4503599627370496 4503599627370496 9007199254740992 9007199254740992
--R      517913957147607  4235748940252561  529468570632649       375191369
--R    [----------------,-----------------,----------------,- -----------------],
--R     1125899906842624 18014398509481984 2251799813685248   18014398509481984
--R     2116691824864133  521654646998101  65206820503771       82967933
--R    [----------------,----------------,---------------,- ----------------],
--R     4503599627370496 2251799813685248 281474976710656   2251799813685248
--R     1080863910568919 2055900435654035  4111801562091619     690783549
--R    [----------------,----------------,-----------------,-----------------],
--R     2251799813685248 9007199254740992 18014398509481984 18014398509481984
--R     2206763817411543  8102840420767977 2025710062719917       169888309
--R    [----------------,-----------------,----------------,- -----------------],
--R     4503599627370496 36028797018963968 9007199254740992   36028797018963968
--R     1  3992069973054649  7984138658986955       1287122343
--R    [-,-----------------,-----------------,- -----------------],
--R     2 18014398509481984 36028797018963968   36028797018963968
--R     2296835809958953 1966863370300995  3933726986644481     246042491
--R    [----------------,----------------,-----------------,-----------------],
--R     4503599627370496 9007199254740992 18014398509481984 18014398509481984
--R     1170935903116329 1938185348593825  3876371565149773     867962123
--R    [----------------,----------------,-----------------,-----------------],
--R     2251799813685248 9007199254740992 18014398509481984 18014398509481984
--R     2386907802506363 1909991013486635  3819982161541661     134568391
--R    [----------------,----------------,-----------------,-----------------],
--R     4503599627370496 9007199254740992 18014398509481984 18014398509481984
--R      607985949695017  3764539112680637 1882269237317981       638044675
--R    [----------------,-----------------,----------------,- -----------------],
--R     1125899906842624 18014398509481984 9007199254740992   18014398509481984
--R     2476979795053773  3710020337031541  3710020781018173     55498329
--R    [----------------,-----------------,-----------------,----------------],
--R     4503599627370496 18014398509481984 18014398509481984 2251799813685248
--R     1261007895663739  7312818974134645  7312819823797923     424831639
--R    [----------------,-----------------,-----------------,-----------------],
--R     2251799813685248 36028797018963968 36028797018963968 18014398509481984
--R     5134103575202365  7207373493899243  7207374462480095     242145213
--R    [----------------,-----------------,-----------------,----------------],
--R     9007199254740992 36028797018963968 36028797018963968 9007199254740992
--R     5224175567749775  7103668204559857 110994831720635     1025560783
--R    [----------------,-----------------,---------------,-----------------],
--R     9007199254740992 36028797018963968 562949953421312 36028797018963968
--R     5314247560297185 1750416769329867  7001668863679753     1786360285
--R    [----------------,----------------,-----------------,-----------------],
--R     9007199254740992 9007199254740992 36028797018963968 36028797018963968
--R     5404319552844595  6901337686260759  3450669523946699     1361632639
--R    [----------------,-----------------,-----------------,-----------------],
--R     9007199254740992 36028797018963968 18014398509481984 36028797018963968
--R     5494391545392005  6802647605466413  212582699376065       1225432333
--R    [----------------,-----------------,----------------,- -----------------],
--R     9007199254740992 36028797018963968 1125899906842624   36028797018963968
--R     5584463537939415  6705557203259709  6705558336452507     566596399
--R    [----------------,-----------------,-----------------,-----------------],
--R     9007199254740992 36028797018963968 36028797018963968 18014398509481984
--R      709316941310853 1652511215590609  3305021620391991       810789227
--R    [----------------,----------------,-----------------,- -----------------],
--R     1125899906842624 9007199254740992 18014398509481984   18014398509481984
--R     2882303761517117  407254434443617  3258035116856311       358692625
--R    [----------------,----------------,-----------------,- -----------------],
--R     4503599627370496 2251799813685248 18014398509481984   18014398509481984
--R     1463669878895411  802951281163513  3211804622097467       502556585
--R    [----------------,----------------,-----------------,- -----------------],
--R     2251799813685248 4503599627370496 18014398509481984   18014398509481984
--R     2972375754064527  6332630331075817 1583157740512979     630976099
--R    [----------------,-----------------,----------------,-----------------],
--R     4503599627370496 36028797018963968 9007199254740992 36028797018963968
--R     377176468792279  6243105976243095  6243106811845787     208900673
--R    [---------------,-----------------,-----------------,----------------],
--R     562949953421312 36028797018963968 36028797018963968 9007199254740992
--R     3062447746611937 1538752090443081  384688057997737     141547867
--R    [----------------,----------------,----------------,----------------],
--R     4503599627370496 9007199254740992 2251799813685248 9007199254740992
--R     1553741871442821  3034154332312945  6068310130837219     1466211329
--R    [----------------,-----------------,-----------------,-----------------],
--R     2251799813685248 18014398509481984 36028797018963968 36028797018963968
--R     3152519739159347  5982985267525579  2991491952114545       1363296489
--R    [----------------,-----------------,-----------------,- -----------------],
--R     4503599627370496 36028797018963968 18014398509481984   36028797018963968
--R      799388933858263 1474751436138519  5899004373528687       1371025389
--R    [----------------,----------------,-----------------,- -----------------],
--R     1125899906842624 9007199254740992 36028797018963968   36028797018963968
--R     3242591731706757  5816344875553467  727043285624447     1409442109
--R    [----------------,-----------------,----------------,-----------------],
--R     4503599627370496 36028797018963968 4503599627370496 36028797018963968
--R     1643813863990231  2867492323062621  2867492492949847     84943613
--R    [----------------,-----------------,-----------------,----------------],
--R     2251799813685248 18014398509481984 18014398509481984 9007199254740992
--R     3332663724254167 1413724058307947  706862050688479     43069011
--R    [----------------,----------------,----------------,----------------],
--R     4503599627370496 9007199254740992 4503599627370496 9007199254740992
--R     3  2788029009797445  5576057036870191       982724699
--R    [-,-----------------,-----------------,- -----------------],
--R     4 18014398509481984 36028797018963968   36028797018963968
--R     3422735716801577  2749222392528319  2749221959681905       216423207
--R    [----------------,-----------------,-----------------,- ----------------],
--R     4503599627370496 18014398509481984 18014398509481984   9007199254740992
--R     1733885856537641 1355508728084705  2711017310976267       145193143
--R    [----------------,----------------,-----------------,- -----------------],
--R     2251799813685248 9007199254740992 18014398509481984   18014398509481984
--R     3512807709348987  5346806784163223  2673403613562907     442962591
--R    [----------------,-----------------,-----------------,-----------------],
--R     4503599627370496 36028797018963968 18014398509481984 36028797018963968
--R      889460926405673 1318184695812909  5272740315481091     1532229455
--R    [----------------,----------------,-----------------,-----------------],
--R     1125899906842624 9007199254740992 36028797018963968 36028797018963968
--R     3602879701896397  324988305950347  2599906475458367      27855591
--R    [----------------,----------------,-----------------,-----------------],
--R     4503599627370496 2251799813685248 18014398509481984 18014398509481984
--R     1823957849085051  2564001949933527  5128004666404609     766537555
--R    [----------------,-----------------,-----------------,-----------------],
--R     2251799813685248 18014398509481984 36028797018963968 36028797018963968
--R     7385903388887613 1264323445709409  2528647725156629     833737811
--R    [----------------,----------------,-----------------,-----------------],
--R     9007199254740992 9007199254740992 18014398509481984 18014398509481984
--R     7475975381435023  2493832264859393  4987665733254467     1203535681
--R    [----------------,-----------------,-----------------,-----------------],
--R     9007199254740992 18014398509481984 36028797018963968 36028797018963968
--R     7566047373982433 1229774531527999  2459548187713825       875342173
--R    [----------------,----------------,-----------------,- -----------------],
--R     9007199254740992 9007199254740992 18014398509481984   18014398509481984
--R     7656119366529843  606446168982419  606446081804749       43588835
--R    [----------------,----------------,----------------,- ----------------],
--R     9007199254740992 4503599627370496 4503599627370496   2251799813685248
--R     7746191359077253  2392531897721023  4785064253565735     458123689
--R    [----------------,-----------------,-----------------,-----------------],
--R     9007199254740992 18014398509481984 36028797018963968 36028797018963968
--R     7836263351624663  589945880667659 1179891312616335       448718983
--R    [----------------,----------------,----------------,- ----------------],
--R     9007199254740992 4503599627370496 9007199254740992   9007199254740992
--R      990791918021509  2327526940699557  2327527053137213     14054707
--R    [----------------,-----------------,-----------------,----------------],
--R     1125899906842624 18014398509481984 18014398509481984 2251799813685248
--R     4008203668359741  2295756747488235  573939206889201      80068569
--R    [----------------,-----------------,----------------,-----------------],
--R     4503599627370496 18014398509481984 4503599627370496 18014398509481984
--R     2026619832316723 1132231967918707 1132231773489843       3037951
--R    [----------------,----------------,----------------,- ---------------],
--R     2251799813685248 9007199254740992 9007199254740992   140737488355328
--R     4098275660907151  2233639498547839  8934555945746273       2048445083
--R    [----------------,-----------------,-----------------,- -----------------],
--R     4503599627370496 18014398509481984 72057594037927936   72057594037927936
--R     517913957147607  4406548856840513 1101637546392659     1328730123
--R    [---------------,-----------------,----------------,-----------------],
--R     562949953421312 36028797018963968 9007199254740992 36028797018963968
--R     4188347653454561  4346726642270225  271670497519783     1318046303
--R    [----------------,-----------------,----------------,-----------------],
--R     4503599627370496 36028797018963968 2251799813685248 36028797018963968
--R     2116691824864133  8575588677972611  8575591702260047     756071859
--R    [----------------,-----------------,-----------------,-----------------],
--R     2251799813685248 72057594037927936 72057594037927936 18014398509481984
--R     4278419646001971  4229737535469947  8459477458576221     2387636327
--R    [----------------,-----------------,-----------------,-----------------],
--R     4503599627370496 36028797018963968 72057594037927936 72057594037927936
--R     1080863910568919  2086270910101171  2086270887556781       11272195
--R    [----------------,-----------------,-----------------,- ----------------],
--R     1125899906842624 18014398509481984 18014398509481984   9007199254740992
--R     4368491638549381 1029047294696245  4116190470035689     1291250709
--R    [----------------,----------------,-----------------,-----------------],
--R     4503599627370496 9007199254740992 36028797018963968 36028797018963968
--R     2206763817411543  8121344810916917  8121341177824793       908273031
--R    [----------------,-----------------,-----------------,- -----------------],
--R     2251799813685248 72057594037927936 72057594037927936   18014398509481984
--R     4458563631096791  8011939765889131  4005968192602631       3380683869
--R    [----------------,-----------------,-----------------,- -----------------],
--R     4503599627370496 72057594037927936 36028797018963968   72057594037927936
--R        7904141605208391  1976034810389477       2363650483
--R    [1,-----------------,-----------------,- -----------------],
--R       72057594037927936 18014398509481984   72057594037927936
--R     568579452955525  3898960752918541  243685092810653     732051907
--R    [---------------,-----------------,----------------,-----------------],
--R     562949953421312 36028797018963968 2251799813685248 36028797018963968
--R     2296835809958953  7693257850496991  7693261323653215     27134033
--R    [----------------,-----------------,-----------------,---------------],
--R     2251799813685248 72057594037927936 72057594037927936 562949953421312
--R     2319353808095805  1897532255477477  948766071648363       112180751
--R    [----------------,-----------------,----------------,- -----------------],
--R     2251799813685248 18014398509481984 9007199254740992   18014398509481984
--R     1170935903116329  7488498991278815  7488499493586723     125576977
--R    [----------------,-----------------,-----------------,-----------------],
--R     1125899906842624 72057594037927936 72057594037927936 18014398509481984
--R     1182194902184755  7388346141325499  7388349352201407     802718977
--R    [----------------,-----------------,-----------------,-----------------],
--R     1125899906842624 72057594037927936 72057594037927936 18014398509481984
--R     2386907802506363  7289656060531153  1822413474202797       2163719965
--R    [----------------,-----------------,-----------------,- -----------------],
--R     2251799813685248 72057594037927936 18014398509481984   72057594037927936
--R     2409425800643215  3596196360049379  7192389344117127       3375981631
--R    [----------------,-----------------,-----------------,- -----------------],
--R     2251799813685248 36028797018963968 72057594037927936   72057594037927936
--R     607985949695017  3548267251375051  7096532368578341       2134171761
--R    [---------------,-----------------,-----------------,- -----------------],
--R     562949953421312 36028797018963968 72057594037927936   72057594037927936
--R     306807724614615  7002059791206975  7002060091584091      75094279
--R    [---------------,-----------------,-----------------,-----------------],
--R     281474976710656 72057594037927936 72057594037927936 18014398509481984
--R     2476979795053773  1727236742047791  6908950070947951     3102756787
--R    [----------------,-----------------,-----------------,-----------------],
--R     2251799813685248 18014398509481984 72057594037927936 72057594037927936
--R     2499497793190625  6817181622183863  6817180290712341       665735761
--R    [----------------,-----------------,-----------------,- -----------------],
--R     2251799813685248 72057594037927936 72057594037927936   36028797018963968
--R     1261007895663739  1681681931097013  3363364575625807     713431781
--R    [----------------,-----------------,-----------------,-----------------],
--R     1125899906842624 18014398509481984 36028797018963968 36028797018963968
--R     1272266894732165  829697258630541  6637575459663165       2609381163
--R    [----------------,----------------,-----------------,- -----------------],
--R     1125899906842624 9007199254740992 72057594037927936   72057594037927936
--R     5134103575202365  6549696627355671  6549698420435743     224135009
--R    [----------------,-----------------,-----------------,----------------],
--R     4503599627370496 72057594037927936 72057594037927936 9007199254740992
--R     2589569785738035  3231538096781339  6463077626385247     1432822569
--R    [----------------,-----------------,-----------------,-----------------],
--R     2251799813685248 36028797018963968 72057594037927936 72057594037927936
--R     5224175567749775  6377695150387137  6377693049848377       262567345
--R    [----------------,-----------------,-----------------,- ----------------],
--R     4503599627370496 72057594037927936 72057594037927936   9007199254740992
--R     658651445502935  3146762337395717  6293525034124889     359333455
--R    [---------------,-----------------,-----------------,-----------------],
--R     562949953421312 36028797018963968 72057594037927936 72057594037927936
--R     5314247560297185  6210557561016163  1552638571289977       3275856255
--R    [----------------,-----------------,-----------------,- -----------------],
--R     4503599627370496 72057594037927936 18014398509481984   72057594037927936
--R     2679641778285445  6128764986023711  6128761863457873       1561282919
--R    [----------------,-----------------,-----------------,- -----------------],
--R     2251799813685248 72057594037927936 72057594037927936   36028797018963968
--R     5404319552844595  3024066269147635  189004036756875       1681037635
--R    [----------------,-----------------,----------------,- -----------------],
--R     4503599627370496 36028797018963968 2251799813685248   36028797018963968
--R     1362338887279575  1492159650138157  2984318984848865       315427449
--R    [----------------,-----------------,-----------------,- -----------------],
--R     1125899906842624 18014398509481984 36028797018963968   36028797018963968
--R     5494391545392005  5890268761276977  2945135160877363     1560477749
--R    [----------------,-----------------,-----------------,-----------------],
--R     4503599627370496 72057594037927936 36028797018963968 72057594037927936
--R     2769713770832855  5813008608949511  2906504317315221      25680931
--R    [----------------,-----------------,-----------------,-----------------],
--R     2251799813685248 72057594037927936 36028797018963968 72057594037927936
--R     5584463537939415  5736836526292017  5736835627898457       112299195
--R    [----------------,-----------------,-----------------,- ----------------],
--R     4503599627370496 72057594037927936 72057594037927936   9007199254740992
--R     5  5661730896026285  707716791451627     3435586731
--R    [-,-----------------,----------------,-----------------],
--R     4 72057594037927936 9007199254740992 72057594037927936
--R     709316941310853  2793842256196455  698461009954723     1783622437
--R    [---------------,-----------------,----------------,-----------------],
--R     562949953421312 36028797018963968 9007199254740992 36028797018963968
--R     2859785763380265  2757341481936543  5514680503150591       2460722495
--R    [----------------,-----------------,-----------------,- -----------------],
--R     2251799813685248 36028797018963968 72057594037927936   72057594037927936
--R     2882303761517117  1360674356857299  5442695524318597       1903110599
--R    [----------------,-----------------,-----------------,- -----------------],
--R     2251799813685248 18014398509481984 72057594037927936   72057594037927936
--R     1452410879826985  1342930174325459  2685858675069155       1673581763
--R    [----------------,-----------------,-----------------,- -----------------],
--R     1125899906842624 18014398509481984 36028797018963968   36028797018963968
--R     1463669878895411  5301731156212797  662716308304395       689777637
--R    [----------------,-----------------,----------------,- -----------------],
--R     1125899906842624 72057594037927936 9007199254740992   72057594037927936
--R     2949857755927675  2616360799201337  1308179908004389       983192559
--R    [----------------,-----------------,-----------------,- -----------------],
--R     2251799813685248 36028797018963968 18014398509481984   36028797018963968
--R     2972375754064527  2582335203296627  2582334936490297       133403165
--R    [----------------,-----------------,-----------------,- -----------------],
--R     2251799813685248 36028797018963968 36028797018963968   18014398509481984
--R     748723438050345  1274390792316433  2548783238577299     1653944433
--R    [---------------,-----------------,-----------------,-----------------],
--R     562949953421312 18014398509481984 36028797018963968 36028797018963968
--R     377176468792279  2515696340330351  2515697494347037     577008343
--R    [---------------,-----------------,-----------------,-----------------],
--R     281474976710656 36028797018963968 36028797018963968 18014398509481984
--R     3039929748475085  4966144529259359  2483070601401317       3326456725
--R    [----------------,-----------------,-----------------,- -----------------],
--R     2251799813685248 72057594037927936 36028797018963968   72057594037927936
--R     3062447746611937  2450894946012043  2450895580294945     317141451
--R    [----------------,-----------------,-----------------,-----------------],
--R     2251799813685248 36028797018963968 36028797018963968 18014398509481984
--R     1542482872374395  2419164384477441  4838331144055967     2375101085
--R    [----------------,-----------------,-----------------,-----------------],
--R     1125899906842624 36028797018963968 72057594037927936 72057594037927936
--R     1553741871442821  2387873374266471  4775747671200057     922667115
--R    [----------------,-----------------,-----------------,-----------------],
--R     1125899906842624 36028797018963968 72057594037927936 72057594037927936
--R     6260003482044989  147313419351233  1178506872812291       481997573
--R    [----------------,----------------,-----------------,- -----------------],
--R     4503599627370496 2251799813685248 18014398509481984   18014398509481984
--R     3152519739159347  4653155163796215  2326578790001663     2416207111
--R    [----------------,-----------------,-----------------,-----------------],
--R     2251799813685248 72057594037927936 36028797018963968 72057594037927936
--R     6350075474592399  2296561991101609  574140641911759     576545427
--R    [----------------,-----------------,----------------,-----------------],
--R     4503599627370496 36028797018963968 9007199254740992 36028797018963968
--R     799388933858263  1133478564295563  1133479393138125     414421281
--R    [---------------,-----------------,-----------------,----------------],
--R     562949953421312 18014398509481984 18014398509481984 9007199254740992
--R     6440147467139809  4475525988733319  279720157530249       3468249335
--R    [----------------,-----------------,----------------,- -----------------],
--R     4503599627370496 72057594037927936 4503599627370496   72057594037927936
--R     3242591731706757  4417930353818803  4417927816846231       634243143
--R    [----------------,-----------------,-----------------,- -----------------],
--R     2251799813685248 72057594037927936 72057594037927936   18014398509481984
--R     6530219459687219  4361120146679301  8722243008655519      2715296917
--R    [----------------,-----------------,------------------,------------------],
--R     4503599627370496 72057594037927936 144115188075855872 144115188075855872
--R     1643813863990231  1076273841828703  8610183653047829        7081581795
--R    [----------------,-----------------,------------------,- ------------------]
--R     1125899906842624 18014398509481984 144115188075855872   144115188075855872
--R     ,
--R     6620291452234629  4249827192687721  8499654448015087       62639645
--R    [----------------,-----------------,------------------,------------------],
--R     4503599627370496 72057594037927936 144115188075855872 144115188075855872
--R     3332663724254167  4195315622798029  2097658165245847     707693665
--R    [----------------,-----------------,-----------------,-----------------],
--R     2251799813685248 72057594037927936 36028797018963968 72057594037927936
--R     6710363444782039  4141546246126927  2070773984540875     1722954823
--R    [----------------,-----------------,-----------------,-----------------],
--R     4503599627370496 72057594037927936 36028797018963968 72057594037927936
--R     3  1022127964228753  8177022297228803        1416601221
--R    [-,-----------------,------------------,- ------------------],
--R     2 18014398509481984 144115188075855872   144115188075855872
--R     850054429666181  1009049510910869  4036195060080997       2983562479
--R    [---------------,-----------------,-----------------,- -----------------],
--R     562949953421312 18014398509481984 72057594037927936   72057594037927936
--R     3422735716801577  498073799349189  3984589073133133       1321660379
--R    [----------------,----------------,-----------------,- -----------------],
--R     2251799813685248 9007199254740992 72057594037927936   72057594037927936
--R     3445253714938429  983420426151429   61463792697937      257015563
--R    [----------------,-----------------,----------------,-----------------],
--R     2251799813685248 18014398509481984 1125899906842624 18014398509481984
--R     1733885856537641  970866191830171   7766931510982189      1976340821
--R    [----------------,-----------------,------------------,------------------],
--R     1125899906842624 18014398509481984 144115188075855872 144115188075855872
--R     1745144855606067  3833925171419609  1916964013527503     2855635397
--R    [----------------,-----------------,-----------------,-----------------],
--R     1125899906842624 72057594037927936 36028797018963968 72057594037927936
--R     3512807709348987  1892531458451245  3785059598271011       3318631479
--R    [----------------,-----------------,-----------------,- -----------------],
--R     2251799813685248 36028797018963968 72057594037927936   72057594037927936
--R     3535325707485839  58388268448933   7473701364784883      3003321459
--R    [----------------,----------------,------------------,------------------],
--R     2251799813685248 1125899906842624 144115188075855872 144115188075855872
--R     889460926405673  461161396083335  7378583303935141       966601781
--R    [---------------,----------------,------------------,------------------],
--R     562949953421312 9007199254740992 144115188075855872 144115188075855872
--R     447545212969943  3642374469188585  3642373035860039       716664273
--R    [---------------,-----------------,-----------------,- -----------------],
--R     281474976710656 72057594037927936 72057594037927936   36028797018963968
--R     3602879701896397  899021167694655   7192171032670317      1691113077
--R    [----------------,-----------------,------------------,------------------],
--R     2251799813685248 18014398509481984 144115188075855872 144115188075855872
--R     3625397700033249  3550421773436785  1733603479595       1847226225
--R    [----------------,-----------------,--------------,- -----------------],
--R     2251799813685248 72057594037927936 35184372088832   72057594037927936
--R     1823957849085051  3505364159884869  7010734492137587      6172367849
--R    [----------------,-----------------,------------------,------------------],
--R     1125899906842624 72057594037927936 144115188075855872 144115188075855872
--R     1835216848153477  3460919035882275  6921837203062423         868702127
--R    [----------------,-----------------,------------------,- ------------------]
--R     1125899906842624 72057594037927936 144115188075855872   144115188075855872
--R     ,
--R     7385903388887613  427133098018849  6834130521181397       952879813
--R    [----------------,----------------,------------------,------------------],
--R     4503599627370496 9007199254740992 144115188075855872 144115188075855872
--R     3715469692580659  843450351172605   6747597262004381        5547376459
--R    [----------------,-----------------,------------------,- ------------------]
--R     2251799813685248 18014398509481984 144115188075855872   144115188075855872
--R     ,
--R     7475975381435023  832776820055737   3331110257729485     2977506537
--R    [----------------,-----------------,-----------------,-----------------],
--R     4503599627370496 18014398509481984 72057594037927936 72057594037927936
--R     940126422213591  3288989616507779  6577983640893083      4407877525
--R    [---------------,-----------------,------------------,------------------],
--R     562949953421312 72057594037927936 144115188075855872 144115188075855872
--R     7566047373982433  1623717001013053  6494870262184559      2258132347
--R    [----------------,-----------------,------------------,------------------],
--R     4503599627370496 36028797018963968 144115188075855872 144115188075855872
--R     3805541685128069  3206433231018525  6412864262954655        2199082395
--R    [----------------,-----------------,------------------,- ------------------]
--R     2251799813685248 72057594037927936 144115188075855872   144115188075855872
--R     ,
--R     7656119366529843  791493222991557   791493722735357      62467975
--R    [----------------,-----------------,-----------------,----------------],
--R     4503599627370496 18014398509481984 18014398509481984 2251799813685248
--R     1925288840700887  97689155777163   3126055604060157     2619190941
--R    [----------------,----------------,-----------------,-----------------],
--R     1125899906842624 2251799813685248 72057594037927936 72057594037927936
--R     7746191359077253  3086666303968085  6173333176799851       568863681
--R    [----------------,-----------------,------------------,------------------],
--R     4503599627370496 72057594037927936 144115188075855872 144115188075855872
--R     3895613677675479  6095596875488053   1523900141159971     3689151831
--R    [----------------,------------------,-----------------,------------------],
--R     2251799813685248 144115188075855872 36028797018963968 144115188075855872
--R     7836263351624663  3009449386197041  6018898485639245         286754837
--R    [----------------,-----------------,------------------,- ------------------]
--R     4503599627370496 72057594037927936 144115188075855872   144115188075855872
--R     ,
--R     7  5943209475616643   2971606143431233     2811245823
--R    [-,------------------,-----------------,------------------],
--R     4 144115188075855872 72057594037927936 144115188075855872
--R     990791918021509  2934264492577867  45847871439929        720422411
--R    [---------------,-----------------,----------------,- -----------------],
--R     562949953421312 72057594037927936 1125899906842624   72057594037927936
--R     3985685670222889  2897414238986871  5794830058880243      1580906501
--R    [----------------,-----------------,------------------,------------------],
--R     2251799813685248 72057594037927936 144115188075855872 144115188075855872
--R     4008203668359741  715263494258833   5722105852399311        2101671353
--R    [----------------,-----------------,------------------,- ------------------]
--R     2251799813685248 18014398509481984 144115188075855872   144115188075855872
--R     ,
--R     2015360833248297  706292323801111   5650341163751427      2573342539
--R    [----------------,-----------------,------------------,------------------],
--R     1125899906842624 18014398509481984 144115188075855872 144115188075855872
--R     2026619832316723  5579520386988413   1394880611268321     2058084871
--R    [----------------,------------------,-----------------,------------------],
--R     1125899906842624 144115188075855872 36028797018963968 144115188075855872
--R     4075757662770299  2754819466145215  5509636358032209        2574258221
--R    [----------------,-----------------,------------------,- ------------------]
--R     2251799813685248 72057594037927936 144115188075855872   144115188075855872
--R     ,
--R     4098275660907151  2720332701638663  5440669770177215      4366899889
--R    [----------------,-----------------,------------------,------------------],
--R     2251799813685248 72057594037927936 144115188075855872 144115188075855872
--R     1030198414761001  2686307105733953  5372609751364853        4460103053
--R    [----------------,-----------------,------------------,- ------------------]
--R      562949953421312 72057594037927936 144115188075855872   144115188075855872
--R     ,
--R     517913957147607  2652721061152875  2652721785127893     361987509
--R    [---------------,-----------------,-----------------,-----------------],
--R     281474976710656 72057594037927936 72057594037927936 36028797018963968
--R     4165829655317709  163723860853427  5239158690881801        4856427863
--R    [----------------,----------------,------------------,- ------------------],
--R     2251799813685248 4503599627370496 144115188075855872   144115188075855872
--R     4188347653454561  5173749663442033   5173742769281321        861770089
--R    [----------------,------------------,------------------,- -----------------]
--R     2251799813685248 144115188075855872 144115188075855872   18014398509481984
--R     ,
--R     2105432825795707  2554593029592025  1277295912550215       1204491595
--R    [----------------,-----------------,-----------------,- -----------------],
--R     1125899906842624 72057594037927936 36028797018963968   72057594037927936
--R     2116691824864133  2522736367267857  5045469363863205        3370672509
--R    [----------------,-----------------,------------------,- ------------------]
--R     1125899906842624 72057594037927936 144115188075855872   144115188075855872
--R     ,
--R     8511803295730237  2491297638989109  4982588122797153        7155181065
--R    [----------------,-----------------,------------------,- ------------------]
--R     4503599627370496 72057594037927936 144115188075855872   144115188075855872
--R     ,
--R     4278419646001971  4920524866473947   4920528318731601      1726128827
--R    [----------------,------------------,------------------,-----------------],
--R     2251799813685248 144115188075855872 144115188075855872 72057594037927936
--R     8601875288277647  1214818977885427  4859278519549139      2608007431
--R    [----------------,-----------------,------------------,------------------],
--R     4503599627370496 36028797018963968 144115188075855872 144115188075855872
--R     1080863910568919  2399417000831347  4798827466299341        6535363353
--R    [----------------,-----------------,------------------,- ------------------]
--R      562949953421312 72057594037927936 144115188075855872   144115188075855872
--R     ,
--R     8691947280825057  2369585156899645  4739164070270357        6243528933
--R    [----------------,-----------------,------------------,- ------------------]
--R     4503599627370496 72057594037927936 144115188075855872   144115188075855872
--R     ,
--R     4368491638549381  292516902277043  2340138705058407     3486842063
--R    [----------------,----------------,-----------------,-----------------],
--R     2251799813685248 9007199254740992 72057594037927936 72057594037927936
--R     8782019273372467  2311081596300251  4622156729043499        6463557003
--R    [----------------,-----------------,------------------,- ------------------]
--R     4503599627370496 72057594037927936 144115188075855872   144115188075855872
--R     ,
--R     2206763817411543  285299433514219  1141197858010759     123953883
--R    [----------------,----------------,-----------------,-----------------],
--R     1125899906842624 9007199254740992 36028797018963968 36028797018963968
--R     8872091265919877  1127042019708125  4508171083186837      3004354337
--R    [----------------,-----------------,------------------,------------------],
--R     4503599627370496 36028797018963968 144115188075855872 144115188075855872
--R     4458563631096791  8904560417793367   4452285402967471      10388141575
--R    [----------------,------------------,------------------,------------------],
--R     2251799813685248 288230376151711744 144115188075855872 288230376151711744
--R
--R      8962163258467287   8794254652840107    4397124265691601
--R     [----------------, ------------------, ------------------,
--R      4503599627370496  288230376151711744  144115188075855872
--R            6121456905
--R      - ------------------]
--R        288230376151711744
--R     ,
--R        4342680608364995   542834712115425        2911441595
--R    [2,------------------,-----------------,- ------------------]]
--R       144115188075855872 18014398509481984   144115188075855872
--R                                          Type: List(List(Fraction(Integer)))
--E 4


--S 5 of 6
t5:List List Fraction Integer:=[[machineFraction (x::DFLOAT) for x in line]_
 for line in _
[[0.01,0.3283824,En(4,0.01),En(4,0.01)-0.3283824],_
[0.02,0.3235264,En(4,0.02),En(4,0.02)-0.3235264],_
[0.03,0.3187619,En(4,0.03),En(4,0.03)-0.3187619],_
[0.04,0.3140855,En(4,0.04),En(4,0.04)-0.3140855],_
[0.05,0.3094945,En(4,0.05),En(4,0.05)-0.3094945],_
[0.06,0.3049863,En(4,0.06),En(4,0.06)-0.3049863],_
[0.07,0.3005585,En(4,0.07),En(4,0.07)-0.3005585],_
[0.08,0.2962089,En(4,0.08),En(4,0.08)-0.2962089],_
[0.09,0.2919354,En(4,0.09),En(4,0.09)-0.2919354],_
[0.10,0.2877361,En(4,0.10),En(4,0.10)-0.2877361],_
[0.11,0.2836090,En(4,0.11),En(4,0.11)-0.2836090],_
[0.12,0.2795524,En(4,0.12),En(4,0.12)-0.2795524],_
[0.13,0.2755646,En(4,0.13),En(4,0.13)-0.2755646],_
[0.14,0.2716439,En(4,0.14),En(4,0.14)-0.2716439],_
[0.15,0.2677889,En(4,0.15),En(4,0.15)-0.2677889],_
[0.16,0.2639979,En(4,0.16),En(4,0.16)-0.2639979],_
[0.17,0.2602696,En(4,0.17),En(4,0.17)-0.2602696],_
[0.18,0.2566026,En(4,0.18),En(4,0.18)-0.2566026],_
[0.19,0.2529956,En(4,0.19),En(4,0.19)-0.2529956],_
[0.20,0.2494472,En(4,0.20),En(4,0.20)-0.2494472],_
[0.21,0.2459563,En(4,0.21),En(4,0.21)-0.2459563],_
[0.22,0.2425216,En(4,0.22),En(4,0.22)-0.2425216],_
[0.23,0.2391419,En(4,0.23),En(4,0.23)-0.2391419],_
[0.24,0.2358162,En(4,0.24),En(4,0.24)-0.2358162],_
[0.25,0.2325432,En(4,0.25),En(4,0.25)-0.2325432],_
[0.26,0.2293221,En(4,0.26),En(4,0.26)-0.2293221],_
[0.27,0.2261517,En(4,0.27),En(4,0.27)-0.2261517],_
[0.28,0.2230311,En(4,0.28),En(4,0.28)-0.2230311],_
[0.29,0.2199593,En(4,0.29),En(4,0.29)-0.2199593],_
[0.30,0.2169352,En(4,0.30),En(4,0.30)-0.2169352],_
[0.31,0.2139581,En(4,0.31),En(4,0.31)-0.2139581],_
[0.32,0.2110270,En(4,0.32),En(4,0.32)-0.2110270],_
[0.33,0.2081411,En(4,0.33),En(4,0.33)-0.2081411],_
[0.34,0.2052994,En(4,0.34),En(4,0.34)-0.2052994],_
[0.35,0.2025013,En(4,0.35),En(4,0.35)-0.2025013],_
[0.36,0.1997458,En(4,0.36),En(4,0.36)-0.1997458],_
[0.37,0.1970322,En(4,0.37),En(4,0.37)-0.1970322],_
[0.38,0.1943597,En(4,0.38),En(4,0.38)-0.1943597],_
[0.39,0.1917276,En(4,0.39),En(4,0.39)-0.1917276],_
[0.40,0.1891352,En(4,0.40),En(4,0.40)-0.1891352],_
[0.41,0.1865816,En(4,0.41),En(4,0.41)-0.1865816],_
[0.42,0.1840664,En(4,0.42),En(4,0.42)-0.1840664],_
[0.43,0.1815887,En(4,0.43),En(4,0.43)-0.1815887],_
[0.44,0.1791479,En(4,0.44),En(4,0.44)-0.1791479],_
[0.45,0.1767433,En(4,0.45),En(4,0.45)-0.1767433],_
[0.46,0.1743744,En(4,0.46),En(4,0.46)-0.1743744],_
[0.47,0.1720405,En(4,0.47),En(4,0.47)-0.1720405],_
[0.48,0.1697410,En(4,0.48),En(4,0.48)-0.1697410],_
[0.49,0.1674753,En(4,0.49),En(4,0.49)-0.1674753],_
[0.50,0.1652428,En(4,0.50),En(4,0.50)-0.1652428],_
[0.51,0.1630430,En(4,0.51),En(4,0.51)-0.1630430],_
[0.52,0.1608753,En(4,0.52),En(4,0.52)-0.1608753],_
[0.53,0.1587392,En(4,0.53),En(4,0.53)-0.1587392],_
[0.54,0.1566341,En(4,0.54),En(4,0.54)-0.1566341],_
[0.55,0.1545596,En(4,0.55),En(4,0.55)-0.1545596],_
[0.56,0.1525150,En(4,0.56),En(4,0.56)-0.1525150],_
[0.57,0.1505000,En(4,0.57),En(4,0.57)-0.1505000],_
[0.58,0.1485139,En(4,0.58),En(4,0.58)-0.1485139],_
[0.59,0.1465565,En(4,0.59),En(4,0.59)-0.1465565],_
[0.60,0.1446271,En(4,0.60),En(4,0.60)-0.1446271],_
[0.61,0.1427253,En(4,0.61),En(4,0.61)-0.1427253],_
[0.62,0.1408507,En(4,0.62),En(4,0.62)-0.1408507],_
[0.63,0.1390028,En(4,0.63),En(4,0.63)-0.1390028],_
[0.64,0.1371813,En(4,0.64),En(4,0.64)-0.1371813],_
[0.65,0.1353855,En(4,0.65),En(4,0.65)-0.1353855],_
[0.66,0.1336153,En(4,0.66),En(4,0.66)-0.1336153],_
[0.67,0.1318701,En(4,0.67),En(4,0.67)-0.1318701],_
[0.68,0.1301495,En(4,0.68),En(4,0.68)-0.1301495],_
[0.69,0.1284533,En(4,0.69),En(4,0.69)-0.1284533],_
[0.70,0.1267808,En(4,0.70),En(4,0.70)-0.1267808],_
[0.71,0.1251319,En(4,0.71),En(4,0.71)-0.1251319],_
[0.72,0.1235061,En(4,0.72),En(4,0.72)-0.1235061],_
[0.73,0.1219031,En(4,0.73),En(4,0.73)-0.1219031],_
[0.74,0.1203224,En(4,0.74),En(4,0.74)-0.1203224],_
[0.75,0.1187638,En(4,0.75),En(4,0.75)-0.1187638],_
[0.76,0.1172270,En(4,0.76),En(4,0.76)-0.1172270],_
[0.77,0.1157115,En(4,0.77),En(4,0.77)-0.1157115],_
[0.78,0.1142170,En(4,0.78),En(4,0.78)-0.1142170],_
[0.79,0.1127433,En(4,0.79),En(4,0.79)-0.1127433],_
[0.80,0.1112900,En(4,0.80),En(4,0.80)-0.1112900],_
[0.81,0.1098567,En(4,0.81),En(4,0.81)-0.1098567],_
[0.82,0.1084433,En(4,0.82),En(4,0.82)-0.1084433],_
[0.83,0.1070493,En(4,0.83),En(4,0.83)-0.1070493],_
[0.84,0.1056744,En(4,0.84),En(4,0.84)-0.1056744],_
[0.85,0.1043185,En(4,0.85),En(4,0.85)-0.1043185],_
[0.86,0.1029812,En(4,0.86),En(4,0.86)-0.1029812],_
[0.87,0.1016622,En(4,0.87),En(4,0.87)-0.1016622],_
[0.88,0.1003612,En(4,0.88),En(4,0.88)-0.1003612],_
[0.89,0.0990780,En(4,0.89),En(4,0.89)-0.0990780],_
[0.90,0.0978123,En(4,0.90),En(4,0.90)-0.0978123],_
[0.91,0.0965639,En(4,0.91),En(4,0.91)-0.0965639],_
[0.92,0.0953324,En(4,0.92),En(4,0.92)-0.0953324],_
[0.93,0.0941177,En(4,0.93),En(4,0.93)-0.0941177],_
[0.94,0.0929194,En(4,0.94),En(4,0.94)-0.0929194],_
[0.95,0.0917374,En(4,0.95),En(4,0.95)-0.0917374],_
[0.96,0.0905713,En(4,0.96),En(4,0.96)-0.0905713],_
[0.97,0.0894211,En(4,0.97),En(4,0.97)-0.0894211],_
[0.98,0.0882863,En(4,0.98),En(4,0.98)-0.0882863],_
[0.99,0.0871669,En(4,0.99),En(4,0.99)-0.0871669],_
[1.00,0.0860625,En(4,1.00),En(4,1.00)-0.0860625],_
[1.01,0.0849730,En(4,1.01),En(4,1.01)-0.0849730],_
[1.02,0.0838981,En(4,1.02),En(4,1.02)-0.0838981],_
[1.03,0.0828376,En(4,1.03),En(4,1.03)-0.0828376],_
[1.04,0.0817913,En(4,1.04),En(4,1.04)-0.0817913],_
[1.05,0.0807590,En(4,1.05),En(4,1.05)-0.0807590],_
[1.06,0.0797406,En(4,1.06),En(4,1.06)-0.0797406],_
[1.07,0.0787357,En(4,1.07),En(4,1.07)-0.0787357],_
[1.08,0.0777442,En(4,1.08),En(4,1.08)-0.0777442],_
[1.09,0.0767659,En(4,1.09),En(4,1.09)-0.0767659],_
[1.10,0.0758007,En(4,1.10),En(4,1.10)-0.0758007],_
[1.11,0.0748483,En(4,1.11),En(4,1.11)-0.0748483],_
[1.12,0.0739085,En(4,1.12),En(4,1.12)-0.0739085],_
[1.13,0.0729812,En(4,1.13),En(4,1.13)-0.0729812],_
[1.14,0.0720661,En(4,1.14),En(4,1.14)-0.0720661],_
[1.15,0.0711632,En(4,1.15),En(4,1.15)-0.0711632],_
[1.16,0.0702722,En(4,1.16),En(4,1.16)-0.0702722],_
[1.17,0.0693930,En(4,1.17),En(4,1.17)-0.0693930],_
[1.18,0.0685253,En(4,1.18),En(4,1.18)-0.0685253],_
[1.19,0.0676691,En(4,1.19),En(4,1.19)-0.0676691],_
[1.20,0.0668242,En(4,1.20),En(4,1.20)-0.0668242],_
[1.21,0.0659904,En(4,1.21),En(4,1.21)-0.0659904],_
[1.22,0.0651675,En(4,1.22),En(4,1.22)-0.0651675],_
[1.23,0.0643555,En(4,1.23),En(4,1.23)-0.0643555],_
[1.24,0.0635540,En(4,1.24),En(4,1.24)-0.0635540],_
[1.25,0.0627631,En(4,1.25),En(4,1.25)-0.0627631],_
[1.26,0.0619825,En(4,1.26),En(4,1.26)-0.0619825],_
[1.27,0.0612122,En(4,1.27),En(4,1.27)-0.0612122],_
[1.28,0.0604519,En(4,1.28),En(4,1.28)-0.0604519],_
[1.29,0.0597015,En(4,1.29),En(4,1.29)-0.0597015],_
[1.30,0.0589609,En(4,1.30),En(4,1.30)-0.0589609],_
[1.31,0.0582299,En(4,1.31),En(4,1.31)-0.0582299],_
[1.32,0.0575085,En(4,1.32),En(4,1.32)-0.0575085],_
[1.33,0.0567964,En(4,1.33),En(4,1.33)-0.0567964],_
[1.34,0.0560936,En(4,1.34),En(4,1.34)-0.0560936],_
[1.35,0.0553998,En(4,1.35),En(4,1.35)-0.0553998],_
[1.36,0.0547151,En(4,1.36),En(4,1.36)-0.0547151],_
[1.37,0.0540393,En(4,1.37),En(4,1.37)-0.0540393],_
[1.38,0.0533722,En(4,1.38),En(4,1.38)-0.0533722],_
[1.39,0.0527137,En(4,1.39),En(4,1.39)-0.0527137],_
[1.40,0.0520637,En(4,1.40),En(4,1.40)-0.0520637],_
[1.41,0.0514222,En(4,1.41),En(4,1.41)-0.0514222],_
[1.42,0.0507889,En(4,1.42),En(4,1.42)-0.0507889],_
[1.43,0.0501637,En(4,1.43),En(4,1.43)-0.0501637],_
[1.44,0.0495466,En(4,1.44),En(4,1.44)-0.0495466],_
[1.45,0.0489374,En(4,1.45),En(4,1.45)-0.0489374],_
[1.46,0.0483361,En(4,1.46),En(4,1.46)-0.0483361],_
[1.47,0.0477425,En(4,1.47),En(4,1.47)-0.0477425],_
[1.48,0.0471565,En(4,1.48),En(4,1.48)-0.0471565],_
[1.49,0.0465780,En(4,1.49),En(4,1.49)-0.0465780],_
[1.50,0.0460070,En(4,1.50),En(4,1.50)-0.0460070],_
[1.51,0.0454432,En(4,1.51),En(4,1.51)-0.0454432],_
[1.52,0.0448867,En(4,1.52),En(4,1.52)-0.0448867],_
[1.53,0.0443372,En(4,1.53),En(4,1.53)-0.0443372],_
[1.54,0.0437948,En(4,1.54),En(4,1.54)-0.0437948],_
[1.55,0.0432593,En(4,1.55),En(4,1.55)-0.0432593],_
[1.56,0.0427307,En(4,1.56),En(4,1.56)-0.0427307],_
[1.57,0.0422087,En(4,1.57),En(4,1.57)-0.0422087],_
[1.58,0.0416935,En(4,1.58),En(4,1.58)-0.0416935],_
[1.59,0.0411847,En(4,1.59),En(4,1.59)-0.0411847],_
[1.60,0.0406825,En(4,1.60),En(4,1.60)-0.0406825],_
[1.61,0.0401866,En(4,1.61),En(4,1.61)-0.0401866],_
[1.62,0.0396970,En(4,1.62),En(4,1.62)-0.0396970],_
[1.63,0.0392136,En(4,1.63),En(4,1.63)-0.0392136],_
[1.64,0.0387364,En(4,1.64),En(4,1.64)-0.0387364],_
[1.65,0.0382652,En(4,1.65),En(4,1.65)-0.0382652],_
[1.66,0.0377999,En(4,1.66),En(4,1.66)-0.0377999],_
[1.67,0.0373406,En(4,1.67),En(4,1.67)-0.0373406],_
[1.68,0.0368870,En(4,1.68),En(4,1.68)-0.0368870],_
[1.69,0.0364392,En(4,1.69),En(4,1.69)-0.0364392],_
[1.70,0.0359970,En(4,1.70),En(4,1.70)-0.0359970],_
[1.71,0.0355604,En(4,1.71),En(4,1.71)-0.0355604],_
[1.72,0.0351293,En(4,1.72),En(4,1.72)-0.0351293],_
[1.73,0.0347037,En(4,1.73),En(4,1.73)-0.0347037],_
[1.74,0.0342834,En(4,1.74),En(4,1.74)-0.0342834],_
[1.75,0.0338684,En(4,1.75),En(4,1.75)-0.0338684],_
[1.76,0.0334586,En(4,1.76),En(4,1.76)-0.0334586],_
[1.77,0.0330539,En(4,1.77),En(4,1.77)-0.0330539],_
[1.78,0.0326544,En(4,1.78),En(4,1.78)-0.0326544],_
[1.79,0.0322598,En(4,1.79),En(4,1.79)-0.0322598],_
[1.80,0.0318702,En(4,1.80),En(4,1.80)-0.0318702],_
[1.81,0.0314855,En(4,1.81),En(4,1.81)-0.0314855],_
[1.82,0.0311056,En(4,1.82),En(4,1.82)-0.0311056],_
[1.83,0.0307304,En(4,1.83),En(4,1.83)-0.0307304],_
[1.84,0.0303599,En(4,1.84),En(4,1.84)-0.0303599],_
[1.85,0.0299941,En(4,1.85),En(4,1.85)-0.0299941],_
[1.86,0.0296328,En(4,1.86),En(4,1.86)-0.0296328],_
[1.87,0.0292761,En(4,1.87),En(4,1.87)-0.0292761],_
[1.88,0.0289238,En(4,1.88),En(4,1.88)-0.0289238],_
[1.89,0.0285759,En(4,1.89),En(4,1.89)-0.0285759],_
[1.90,0.0282323,En(4,1.90),En(4,1.90)-0.0282323],_
[1.91,0.0278930,En(4,1.91),En(4,1.91)-0.0278930],_
[1.92,0.0275579,En(4,1.92),En(4,1.92)-0.0275579],_
[1.93,0.0272270,En(4,1.93),En(4,1.93)-0.0272270],_
[1.94,0.0269002,En(4,1.94),En(4,1.94)-0.0269002],_
[1.95,0.0265775,En(4,1.95),En(4,1.95)-0.0265775],_
[1.96,0.0262587,En(4,1.96),En(4,1.96)-0.0262587],_
[1.97,0.0259440,En(4,1.97),En(4,1.97)-0.0259440],_
[1.98,0.0256331,En(4,1.98),En(4,1.98)-0.0256331],_
[1.99,0.0253261,En(4,1.99),En(4,1.99)-0.0253261],_
[2.00,0.0250228,En(4,2.00),En(4,2.00)-0.0250228]]]
--R 
--R
--R   (5)
--R      2882303761517117  1478902854275029 2957805312555513       395994545
--R   [[------------------,----------------,----------------,- ----------------],
--R     288230376151711744 4503599627370496 9007199254740992   9007199254740992
--R      2882303761517117   728516687242259 1457033535829301     161344783
--R    [------------------,----------------,----------------,----------------],
--R     144115188075855872 2251799813685248 4503599627370496 4503599627370496
--R      1080863910568919  5742303896239645 1435575828342347       582870257
--R    [-----------------,-----------------,----------------,- -----------------],
--R     36028797018963968 18014398509481984 4503599627370496   18014398509481984
--R      2882303761517117  353628835190619  707257656482041       13899197
--R    [-----------------,----------------,----------------,- ----------------],
--R     72057594037927936 1125899906842624 2251799813685248   2251799813685248
--R      3602879701896397  696919657436609 2787678575743143       54003293
--R    [-----------------,----------------,----------------,- ----------------],
--R     72057594037927936 2251799813685248 9007199254740992   9007199254740992
--R      1080863910568919  5494144748132425  5494144631579347       58276539
--R    [-----------------,-----------------,-----------------,- ----------------],
--R     18014398509481984 18014398509481984 18014398509481984   9007199254740992
--R      1261007895663739 1353595148603035 2707190394243917     97037847
--R    [-----------------,----------------,----------------,----------------],
--R     18014398509481984 4503599627370496 9007199254740992 9007199254740992
--R      2882303761517117 2668012583327649  667003196829883     203991883
--R    [-----------------,----------------,----------------,----------------],
--R     36028797018963968 9007199254740992 2251799813685248 9007199254740992
--R      3242591731706757 2629520317312513  5259041359798809     725173783
--R    [-----------------,----------------,-----------------,-----------------],
--R     36028797018963968 9007199254740992 18014398509481984 18014398509481984
--R      3602879701896397  5183392770964159  5183392604301739       41665605
--R    [-----------------,-----------------,-----------------,- ----------------],
--R     36028797018963968 18014398509481984 18014398509481984   4503599627370496
--R      990791918021509 1277261386718919  638630700767027     14815135
--R    [----------------,----------------,----------------,----------------],
--R     9007199254740992 4503599627370496 2251799813685248 4503599627370496
--R     1080863910568919  5035968337882111  5035968299359439        2407667
--R    [----------------,-----------------,-----------------,- ----------------],
--R     9007199254740992 18014398509481984 18014398509481984   1125899906842624
--R     1170935903116329  4964130519505999 2482065044828063       429849873
--R    [----------------,-----------------,----------------,- -----------------],
--R     9007199254740992 18014398509481984 9007199254740992   18014398509481984
--R     1261007895663739  4893501467269873  4893501717651857     7824437
--R    [----------------,-----------------,-----------------,---------------],
--R     9007199254740992 18014398509481984 18014398509481984 562949953421312
--R      5404319552844595 1206013990253955  4824055143516155       817499665
--R    [-----------------,----------------,-----------------,- -----------------],
--R     36028797018963968 4503599627370496 18014398509481984   18014398509481984
--R      2882303761517117 2377881688133187  4755763448256509      71990135
--R    [-----------------,----------------,-----------------,-----------------],
--R     18014398509481984 9007199254740992 18014398509481984 18014398509481984
--R      3062447746611937  293037518393967  4688600748341637     454038165
--R    [-----------------,----------------,-----------------,-----------------],
--R     18014398509481984 1125899906842624 18014398509481984 18014398509481984
--R      3242591731706757 2311270747484601 2311271060569589     78271247
--R    [-----------------,----------------,----------------,----------------],
--R     18014398509481984 9007199254740992 9007199254740992 2251799813685248
--R      3422735716801577 1139390889886375 2278781769624331       10148419
--R    [-----------------,----------------,----------------,- ----------------],
--R     18014398509481984 4503599627370496 9007199254740992   9007199254740992
--R      3602879701896397 2246820633937227  4493641812239599     544365145
--R    [-----------------,----------------,-----------------,-----------------],
--R     18014398509481984 9007199254740992 18014398509481984 18014398509481984
--R      7566047373982433  8861509608235407  8861509069239881       269497763
--R    [-----------------,-----------------,-----------------,- -----------------],
--R     36028797018963968 36028797018963968 36028797018963968   18014398509481984
--R      990791918021509 2184440374778593  4368880039096171       710461015
--R    [----------------,----------------,-----------------,- -----------------],
--R     4503599627370496 9007199254740992 18014398509481984   18014398509481984
--R      517913957147607  8615994973829379  538499669295739       265097555
--R    [----------------,-----------------,----------------,- -----------------],
--R     2251799813685248 36028797018963968 2251799813685248   36028797018963968
--R     1080863910568919  4248087001791705  4248086166822443       417484631
--R    [----------------,-----------------,-----------------,- ----------------],
--R     4503599627370496 18014398509481984 18014398509481984   9007199254740992
--R     1  4189125875470171  8378253571317757     1820377415
--R    [-,-----------------,-----------------,-----------------],
--R     4 18014398509481984 36028797018963968 36028797018963968
--R     1170935903116329 2065549848215639 1032775027736343     207257047
--R    [----------------,----------------,----------------,----------------],
--R     4503599627370496 9007199254740992 4503599627370496 9007199254740992
--R      607985949695017  4073986847396817  8147975208642433     1513848799
--R    [----------------,-----------------,-----------------,-----------------],
--R     2251799813685248 18014398509481984 36028797018963968 36028797018963968
--R     1261007895663739  4017771115408127  4017771261998927      9161925
--R    [----------------,-----------------,-----------------,----------------],
--R     4503599627370496 18014398509481984 18014398509481984 1125899906842624
--R      5224175567749775  7924868972133401  7924867179644821       448122145
--R    [-----------------,-----------------,-----------------,- ----------------],
--R     18014398509481984 36028797018963968 36028797018963968   9007199254740992
--R      5404319552844595 122123660735443  3907957580158241     436624065
--R    [-----------------,---------------,-----------------,-----------------],
--R     18014398509481984 562949953421312 18014398509481984 18014398509481984
--R      5584463537939415  3854326477731597  7708653380859261     425396067
--R    [-----------------,-----------------,-----------------,-----------------],
--R     18014398509481984 18014398509481984 36028797018963968 36028797018963968
--R     2882303761517117  7603048948520909  3801524823128101     697735293
--R    [----------------,-----------------,-----------------,-----------------],
--R     9007199254740992 36028797018963968 18014398509481984 36028797018963968
--R     2972375754064527  7499073443203881  7499072614318441       12951335
--R    [----------------,-----------------,-----------------,- ---------------],
--R     9007199254740992 36028797018963968 36028797018963968   562949953421312
--R     3062447746611937  7396690410715091  7396691760793501     675039205
--R    [----------------,-----------------,-----------------,-----------------],
--R     9007199254740992 36028797018963968 36028797018963968 18014398509481984
--R     3152519739159347  911984779222041  3647938673334795       443553369
--R    [----------------,----------------,-----------------,- -----------------],
--R     9007199254740992 4503599627370496 18014398509481984   18014398509481984
--R     3242591731706757 1799150220897643  7196600387481177       496109395
--R    [----------------,----------------,-----------------,- -----------------],
--R     9007199254740992 9007199254740992 36028797018963968   36028797018963968
--R     3332663724254167  887354142499989  3549416312221665       257778291
--R    [----------------,----------------,-----------------,- -----------------],
--R     9007199254740992 4503599627370496 18014398509481984   18014398509481984
--R     3422735716801577  7002546179966731  3501273248630791     317294851
--R    [----------------,-----------------,-----------------,-----------------],
--R     9007199254740992 36028797018963968 18014398509481984 36028797018963968
--R     3512807709348987 1726928695833279  3453857559240315     167573757
--R    [----------------,----------------,-----------------,-----------------],
--R     9007199254740992 9007199254740992 18014398509481984 18014398509481984
--R     3602879701896397  3407156864970577  3407156124624803       370172887
--R    [----------------,-----------------,-----------------,- ----------------],
--R     9007199254740992 18014398509481984 18014398509481984   9007199254740992
--R      7385903388887613  6722310593873527  6722312276394229     841260351
--R    [-----------------,-----------------,-----------------,-----------------],
--R     18014398509481984 36028797018963968 36028797018963968 18014398509481984
--R      7566047373982433  6631690963611429 1657922547674277       772914321
--R    [-----------------,-----------------,----------------,- -----------------],
--R     18014398509481984 36028797018963968 9007199254740992   36028797018963968
--R      7746191359077253  3271211206618771  6542421566297137       846940405
--R    [-----------------,-----------------,-----------------,- -----------------],
--R     18014398509481984 18014398509481984 36028797018963968   36028797018963968
--R      990791918021509  6454483325473655  6454482541127417       392173119
--R    [----------------,-----------------,-----------------,- -----------------],
--R     2251799813685248 36028797018963968 36028797018963968   18014398509481984
--R     2026619832316723  3183924240080927  3183924899159313     329539193
--R    [----------------,-----------------,-----------------,----------------],
--R     4503599627370496 18014398509481984 18014398509481984 9007199254740992
--R      517913957147607  3141249931451815  785312568562681     342798909
--R    [----------------,-----------------,----------------,-----------------],
--R     1125899906842624 18014398509481984 4503599627370496 18014398509481984
--R     2116691824864133  3099206126770535  6198412512947541     259406471
--R    [----------------,-----------------,-----------------,-----------------],
--R     4503599627370496 18014398509481984 36028797018963968 36028797018963968
--R     1080863910568919  3057782017397981  764445488436731        63651057
--R    [----------------,-----------------,----------------,- -----------------],
--R     2251799813685248 18014398509481984 4503599627370496   18014398509481984
--R     2206763817411543  377120849336881 1508483356799925       40547599
--R    [----------------,----------------,----------------,- ----------------],
--R     4503599627370496 2251799813685248 9007199254740992   9007199254740992
--R     1  5953499300045259  93023441120163     931645173
--R    [-,-----------------,---------------,-----------------],
--R     2 36028797018963968 562949953421312 36028797018963968
--R     2296835809958953  2937121576181471 1468560982786253     389391035
--R    [----------------,-----------------,----------------,-----------------],
--R     4503599627370496 18014398509481984 9007199254740992 18014398509481984
--R     1170935903116329  2898071764532467  5796144572888533     1043823599
--R    [----------------,-----------------,-----------------,-----------------],
--R     2251799813685248 18014398509481984 36028797018963968 36028797018963968
--R     2386907802506363  5719182415752725 1429795657138395     212800855
--R    [----------------,-----------------,----------------,-----------------],
--R     4503599627370496 36028797018963968 9007199254740992 36028797018963968
--R      607985949695017  705417274393513  2821669490888603     393314551
--R    [----------------,----------------,-----------------,-----------------],
--R     1125899906842624 4503599627370496 18014398509481984 18014398509481984
--R     2476979795053773  5568596455732263  5568594916402771       384832373
--R    [----------------,-----------------,-----------------,- ----------------],
--R     4503599627370496 36028797018963968 36028797018963968   9007199254740992
--R     1261007895663739  2747465988673645 1373733026289545      63905445
--R    [----------------,-----------------,----------------,-----------------],
--R     2251799813685248 18014398509481984 9007199254740992 18014398509481984
--R     5134103575202365  5422333951354077 1355583149696043       1352569905
--R    [----------------,-----------------,----------------,- -----------------],
--R     9007199254740992 36028797018963968 9007199254740992   36028797018963968
--R     5224175567749775  668847144699339  2675389407794063     828996707
--R    [----------------,----------------,-----------------,-----------------],
--R     9007199254740992 4503599627370496 18014398509481984 18014398509481984
--R     5314247560297185  165007949697181  660031691425081       107363643
--R    [----------------,----------------,----------------,- ----------------],
--R     9007199254740992 1125899906842624 4503599627370496   4503599627370496
--R     5404319552844595 1302685107335351  5210739869913719       559427685
--R    [----------------,----------------,-----------------,- -----------------],
--R     9007199254740992 9007199254740992 36028797018963968   36028797018963968
--R     5494391545392005  2571110431585369  5142221293380677     430209939
--R    [----------------,-----------------,-----------------,-----------------],
--R     9007199254740992 18014398509481984 36028797018963968 36028797018963968
--R     5584463537939415 1268670320069747  5074681593659567     313380579
--R    [----------------,----------------,-----------------,-----------------],
--R     9007199254740992 9007199254740992 36028797018963968 36028797018963968
--R      709316941310853 1252025916566911  5008104883582681     1217315037
--R    [----------------,----------------,-----------------,-----------------],
--R     1125899906842624 9007199254740992 36028797018963968 36028797018963968
--R     2882303761517117  2471238606248801 1235618897159033       811930735
--R    [----------------,-----------------,----------------,- -----------------],
--R     4503599627370496 18014398509481984 9007199254740992   18014398509481984
--R     1463669878895411  2438888349405473  4877778438934439     1740123493
--R    [----------------,-----------------,-----------------,-----------------],
--R     2251799813685248 18014398509481984 36028797018963968 36028797018963968
--R     2972375754064527  601749815290997 1203499615368985       15213009
--R    [----------------,----------------,----------------,- ----------------],
--R     4503599627370496 4503599627370496 9007199254740992   9007199254740992
--R     377176468792279  296945066610655  593890121583225       11638085
--R    [---------------,----------------,----------------,- ----------------],
--R     562949953421312 2251799813685248 4503599627370496   4503599627370496
--R     3062447746611937  2344564958809825 1172282892773539     826737253
--R    [----------------,-----------------,----------------,-----------------],
--R     4503599627370496 18014398509481984 9007199254740992 18014398509481984
--R     1553741871442821 1157004468029021  18078188009991       435389597
--R    [----------------,----------------,---------------,- ----------------],
--R     2251799813685248 9007199254740992 140737488355328   9007199254740992
--R     3152519739159347  4567759709101867  2283880396656815     1084211763
--R    [----------------,-----------------,-----------------,-----------------],
--R     4503599627370496 36028797018963968 18014398509481984 36028797018963968
--R      799388933858263  4508351825697297  281771997722233     137858431
--R    [----------------,-----------------,----------------,-----------------],
--R     1125899906842624 36028797018963968 2251799813685248 36028797018963968
--R     3242591731706757  8899552415007731  556222037637825     187197469
--R    [----------------,-----------------,----------------,-----------------],
--R     4503599627370496 72057594037927936 4503599627370496 72057594037927936
--R     1643813863990231  2196011022941233  4392020715289015       1330593451
--R    [----------------,-----------------,-----------------,- -----------------],
--R     2251799813685248 18014398509481984 36028797018963968   36028797018963968
--R     3332663724254167  2167535663217295  2167536179525779     129077121
--R    [----------------,-----------------,-----------------,----------------],
--R     4503599627370496 18014398509481984 18014398509481984 4503599627370496
--R     3  4278916843400833  8557837246400741     3559599075
--R    [-,-----------------,-----------------,-----------------],
--R     4 36028797018963968 72057594037927936 72057594037927936
--R     3422735716801577  4223547788142089  4223547130869217       82159109
--R    [----------------,-----------------,-----------------,- ----------------],
--R     4503599627370496 36028797018963968 36028797018963968   4503599627370496
--R     1733885856537641  4168946146259849  2084472866068247       414123355
--R    [----------------,-----------------,-----------------,- -----------------],
--R     2251799813685248 36028797018963968 18014398509481984   36028797018963968
--R     3512807709348987  8230202218230015  4115102498810221     2779390427
--R    [----------------,-----------------,-----------------,-----------------],
--R     4503599627370496 72057594037927936 36028797018963968 72057594037927936
--R      889460926405673  63468835483565  4062005719370397     248422237
--R    [----------------,---------------,-----------------,-----------------],
--R     1125899906842624 562949953421312 36028797018963968 36028797018963968
--R     3602879701896397 1002411205060125 1002410973515611       115772257
--R    [----------------,----------------,----------------,- ----------------],
--R     4503599627370496 9007199254740992 9007199254740992   4503599627370496
--R     1823957849085051  3958004745473219  1979002865067907     984662595
--R    [----------------,-----------------,-----------------,-----------------],
--R     2251799813685248 36028797018963968 18014398509481984 36028797018963968
--R     7385903388887613  3907081643766615  3907080137222081       753272267
--R    [----------------,-----------------,-----------------,- -----------------],
--R     9007199254740992 36028797018963968 36028797018963968   18014398509481984
--R     7475975381435023  3856857500722179  7713712445694333       2555750025
--R    [----------------,-----------------,-----------------,- -----------------],
--R     9007199254740992 36028797018963968 72057594037927936   72057594037927936
--R     7566047373982433  1903660753850403  237957705504537     890185893
--R    [----------------,-----------------,----------------,-----------------],
--R     9007199254740992 18014398509481984 2251799813685248 18014398509481984
--R     7656119366529843  7516940123645585  3758470823260893     1522876201
--R    [----------------,-----------------,-----------------,-----------------],
--R     9007199254740992 72057594037927936 36028797018963968 72057594037927936
--R     7746191359077253  927572187892333  3710288503960587       247608745
--R    [----------------,----------------,-----------------,- -----------------],
--R     9007199254740992 9007199254740992 36028797018963968   36028797018963968
--R     7836263351624663  7325533536602637  3662766186906275       1162790087
--R    [----------------,-----------------,-----------------,- -----------------],
--R     9007199254740992 72057594037927936 36028797018963968   72057594037927936
--R      990791918021509  7231786606759293  3615893906129687     1205500081
--R    [----------------,-----------------,-----------------,-----------------],
--R     1125899906842624 72057594037927936 36028797018963968 72057594037927936
--R     4008203668359741  223103821940307  7139323738355333     1436265509
--R    [----------------,----------------,-----------------,-----------------],
--R     4503599627370496 2251799813685248 72057594037927936 72057594037927936
--R     2026619832316723  3524059502658009  7048120906866573     1901550555
--R    [----------------,-----------------,-----------------,-----------------],
--R     2251799813685248 36028797018963968 72057594037927936 72057594037927936
--R     4098275660907151  6958162304919069  217442512658527       1899846205
--R    [----------------,-----------------,----------------,- -----------------],
--R     4503599627370496 72057594037927936 2251799813685248   72057594037927936
--R     517913957147607  6869423377861361  858677955725095     267939399
--R    [---------------,-----------------,----------------,-----------------],
--R     562949953421312 72057594037927936 9007199254740992 72057594037927936
--R     4188347653454561  3390947509191745  423868272540131       1328870697
--R    [----------------,-----------------,----------------,- -----------------],
--R     4503599627370496 36028797018963968 4503599627370496   36028797018963968
--R     2116691824864133  6695548403447841  3347774296675737     189903633
--R    [----------------,-----------------,-----------------,-----------------],
--R     2251799813685248 72057594037927936 36028797018963968 72057594037927936
--R     4278419646001971  3305188163647505  3305187346708301       204234801
--R    [----------------,-----------------,-----------------,- ----------------],
--R     4503599627370496 36028797018963968 36028797018963968   9007199254740992
--R     1080863910568919  3263174983443691  3263176654897869     835727089
--R    [----------------,-----------------,-----------------,-----------------],
--R     1125899906842624 36028797018963968 36028797018963968 18014398509481984
--R     4368491638549381  3221734661112479  3221733692408307       242176043
--R    [----------------,-----------------,-----------------,- ----------------],
--R     4503599627370496 36028797018963968 36028797018963968   9007199254740992
--R     2206763817411543  6361698364510717  3180850074115749     1783720781
--R    [----------------,-----------------,-----------------,-----------------],
--R     2251799813685248 72057594037927936 36028797018963968 72057594037927936
--R     4458563631096791  1570259273436165  3140517555711657       991160673
--R    [----------------,-----------------,-----------------,- -----------------],
--R     4503599627370496 18014398509481984 36028797018963968   36028797018963968
--R        1550364171722293  1550364015439473       39070705
--R    [1,-----------------,-----------------,- ----------------],
--R       18014398509481984 18014398509481984   4503599627370496
--R     568579452955525  3061474969092425  47835523883419       1440553609
--R    [---------------,-----------------,---------------,- -----------------],
--R     562949953421312 36028797018963968 562949953421312   36028797018963968
--R     2296835809958953  3022747615176741  3022746210166051       702505345
--R    [----------------,-----------------,-----------------,- -----------------],
--R     2251799813685248 36028797018963968 36028797018963968   18014398509481984
--R     2319353808095805  5969078151876259  1492269183585305       1417535039
--R    [----------------,-----------------,-----------------,- -----------------],
--R     2251799813685248 72057594037927936 18014398509481984   72057594037927936
--R     1170935903116329  5893684291234375  736710604585855     545452465
--R    [----------------,-----------------,----------------,-----------------],
--R     1125899906842624 72057594037927936 9007199254740992 72057594037927936
--R     1182194902184755  2909649618454511  5819301814728813     2577819791
--R    [----------------,-----------------,-----------------,-----------------],
--R     1125899906842624 36028797018963968 72057594037927936 72057594037927936
--R     2386907802506363  1436478945785199  718239125092699       695599801
--R    [----------------,-----------------,----------------,- -----------------],
--R     2251799813685248 18014398509481984 9007199254740992   18014398509481984
--R     2409425800643215  2836752553446041  5673503967167793       1139724289
--R    [----------------,-----------------,-----------------,- -----------------],
--R     2251799813685248 36028797018963968 72057594037927936   72057594037927936
--R     607985949695017  5602060002403477  5602060521985053     64947697
--R    [---------------,-----------------,-----------------,----------------],
--R     562949953421312 72057594037927936 72057594037927936 9007199254740992
--R     306807724614615  1382891514539043  345723044011431     661506681
--R    [---------------,-----------------,----------------,-----------------],
--R     281474976710656 18014398509481984 4503599627370496 18014398509481984
--R     2476979795053773  1365504017097691  682751847418275       322261141
--R    [----------------,-----------------,----------------,- -----------------],
--R     2251799813685248 18014398509481984 9007199254740992   18014398509481984
--R     2499497793190625  2696694207914521  5393385235342191       3180486851
--R    [----------------,-----------------,-----------------,- -----------------],
--R     2251799813685248 36028797018963968 72057594037927936   72057594037927936
--R     1261007895663739  1331417172238049  2662833389053945       955422153
--R    [----------------,-----------------,-----------------,- -----------------],
--R     1125899906842624 18014398509481984 36028797018963968   36028797018963968
--R     1272266894732165  2629424841000413  1314711581883767       1677232879
--R    [----------------,-----------------,-----------------,- -----------------],
--R     1125899906842624 36028797018963968 18014398509481984   36028797018963968
--R     5134103575202365  2596454888848359  1298227753362475     617876591
--R    [----------------,-----------------,-----------------,-----------------],
--R     4503599627370496 36028797018963968 18014398509481984 36028797018963968
--R     2589569785738035  5127848976039873  640981021460575       804355273
--R    [----------------,-----------------,----------------,- -----------------],
--R     2251799813685248 72057594037927936 9007199254740992   72057594037927936
--R     5224175567749775  316477853734505  158238916882449       19969607
--R    [----------------,----------------,----------------,- ----------------],
--R     4503599627370496 4503599627370496 2251799813685248   4503599627370496
--R     658651445502935  5000292623073933  625036281940651       2367548725
--R    [---------------,-----------------,----------------,- -----------------],
--R     562949953421312 72057594037927936 9007199254740992   72057594037927936
--R     5314247560297185  4937768248727223  2468885424353033     2599978843
--R    [----------------,-----------------,-----------------,-----------------],
--R     4503599627370496 72057594037927936 36028797018963968 72057594037927936
--R     2679641778285445  4876072536711949  4876075242102989     42271735
--R    [----------------,-----------------,-----------------,----------------],
--R     2251799813685248 72057594037927936 72057594037927936 1125899906842624
--R     5404319552844595  601898884438663  4815191745693033     670183729
--R    [----------------,----------------,-----------------,-----------------],
--R     4503599627370496 9007199254740992 72057594037927936 72057594037927936
--R     1362338887279575  148597170425015  2377554426839855       299960385
--R    [----------------,----------------,-----------------,- -----------------],
--R     1125899906842624 2251799813685248 36028797018963968   36028797018963968
--R     5494391545392005  1173953314866667  2347907620569925     990836591
--R    [----------------,-----------------,-----------------,-----------------],
--R     4503599627370496 18014398509481984 36028797018963968 36028797018963968
--R     2769713770832855  4637302493107871  4637299760743813       1366182029
--R    [----------------,-----------------,-----------------,- -----------------],
--R     2251799813685248 72057594037927936 72057594037927936   36028797018963968
--R     5584463537939415  572443541435809  2289775719773547     1554030311
--R    [----------------,----------------,-----------------,-----------------],
--R     4503599627370496 9007199254740992 36028797018963968 36028797018963968
--R     5  2261278990180937  4522559475851439     1495489565
--R    [-,-----------------,-----------------,-----------------],
--R     4 36028797018963968 72057594037927936 72057594037927936
--R     709316941310853  1116577455613967  4466313236133501     3413677633
--R    [---------------,-----------------,-----------------,-----------------],
--R     562949953421312 18014398509481984 72057594037927936 72057594037927936
--R     2859785763380265  1102700964442113  8821604504078773        3211458131
--R    [----------------,-----------------,------------------,- ------------------]
--R     2251799813685248 18014398509481984 144115188075855872   144115188075855872
--R     ,
--R     2882303761517117  544502308627677  8712032434886573        4503156259
--R    [----------------,----------------,------------------,- ------------------],
--R     2251799813685248 9007199254740992 144115188075855872   144115188075855872
--R     1452410879826985  8603892900910709   8603889971136981        91555429
--R    [----------------,------------------,------------------,- ----------------],
--R     1125899906842624 144115188075855872 144115188075855872   4503599627370496
--R     1463669878895411  4248580596310865  4248578566169257       253767701
--R    [----------------,-----------------,-----------------,- ----------------],
--R     1125899906842624 72057594037927936 72057594037927936   9007199254740992
--R     2949857755927675  1048976623767285  8391814245543725      1255405445
--R    [----------------,-----------------,------------------,------------------],
--R     2251799813685248 18014398509481984 144115188075855872 144115188075855872
--R     2972375754064527  8287848293460357   4143920969973385       6353513587
--R    [----------------,------------------,-----------------,- ------------------]
--R     2251799813685248 144115188075855872 72057594037927936   144115188075855872
--R     ,
--R     748723438050345  2046305967007885  511576321349587       681609537
--R    [---------------,-----------------,----------------,- -----------------],
--R     562949953421312 36028797018963968 9007199254740992   36028797018963968
--R     377176468792279  2020984928462957  4041966534100299       3322825615
--R    [---------------,-----------------,-----------------,- -----------------],
--R     281474976710656 36028797018963968 72057594037927936   72057594037927936
--R     3039929748475085  15593657414775  3991979612041573     3313859173
--R    [----------------,---------------,-----------------,-----------------],
--R     2251799813685248 281474976710656 72057594037927936 72057594037927936
--R     3062447746611937  3942638463544631  7885281395184169      4468094907
--R    [----------------,-----------------,------------------,------------------],
--R     2251799813685248 72057594037927936 144115188075855872 144115188075855872
--R     1542482872374395  3893941941493799  7787881644207453        2238780145
--R    [----------------,-----------------,------------------,- ------------------]
--R     1125899906842624 72057594037927936 144115188075855872   144115188075855872
--R     ,
--R     1553741871442821  3845872320511097  1922935576462195       1167586707
--R    [----------------,-----------------,-----------------,- -----------------],
--R     1125899906842624 72057594037927936 36028797018963968   72057594037927936
--R     6260003482044989  1899211197418561  3798422991061881     596224759
--R    [----------------,-----------------,-----------------,-----------------],
--R     4503599627370496 36028797018963968 72057594037927936 72057594037927936
--R     3152519739159347  7503169917424937   3751587768895059     5620365181
--R    [----------------,------------------,-----------------,------------------],
--R     2251799813685248 144115188075855872 72057594037927936 144115188075855872
--R     6350075474592399  1852680006068569  3705357047930873       2964206265
--R    [----------------,-----------------,-----------------,- -----------------],
--R     4503599627370496 36028797018963968 72057594037927936   72057594037927936
--R     799388933858263  1829862968916459  7319445033212637        6842453199
--R    [---------------,-----------------,------------------,- ------------------],
--R     562949953421312 36028797018963968 144115188075855872   144115188075855872
--R     6440147467139809  7229351060080811   14119828078649      916187477
--R    [----------------,------------------,---------------,------------------],
--R     4503599627370496 144115188075855872 281474976710656 144115188075855872
--R     3242591731706757  223138049297475  7140418796782609      1219263409
--R    [----------------,----------------,------------------,------------------],
--R     2251799813685248 4503599627370496 144115188075855872 144115188075855872
--R     6530219459687219  7052622604943389   881578700962285      7002754891
--R    [----------------,------------------,-----------------,------------------],
--R     4503599627370496 144115188075855872 18014398509481984 144115188075855872
--R     1643813863990231  6965966142353377   3482984379544249     2616735121
--R    [----------------,------------------,-----------------,------------------],
--R     1125899906842624 144115188075855872 72057594037927936 144115188075855872
--R     6620291452234629  1720104841677887  3440210417089157     733733383
--R    [----------------,-----------------,-----------------,-----------------],
--R     4503599627370496 36028797018963968 72057594037927936 72057594037927936
--R     3332663724254167  6795967866499097   3397985322721805     2778944513
--R    [----------------,------------------,-----------------,------------------],
--R     2251799813685248 144115188075855872 72057594037927936 144115188075855872
--R     6710363444782039  3356298615098607  6712603230785893      6000588679
--R    [----------------,-----------------,------------------,------------------],
--R     4503599627370496 72057594037927936 144115188075855872 144115188075855872
--R     3  6630307457805901   414393990611325       3608024701
--R    [-,------------------,----------------,- ------------------],
--R     2 144115188075855872 9007199254740992   144115188075855872
--R     850054429666181  3274527657384367  6549057980001453      2665232719
--R    [---------------,-----------------,------------------,------------------],
--R     562949953421312 72057594037927936 144115188075855872 144115188075855872
--R     3422735716801577  808606901575565   808606414175793        121849943
--R    [----------------,-----------------,-----------------,- ----------------],
--R     2251799813685248 18014398509481984 18014398509481984   4503599627370496
--R     3445253714938429  1597415979189209  3194834876402223     2918023805
--R    [----------------,-----------------,-----------------,-----------------],
--R     2251799813685248 36028797018963968 72057594037927936 72057594037927936
--R     1733885856537641  1577873959686123  6311499408381829      3569637337
--R    [----------------,-----------------,------------------,------------------],
--R     1125899906842624 36028797018963968 144115188075855872 144115188075855872
--R     1745144855606067  389645134720617  779290824287079      554845845
--R    [----------------,----------------,-----------------,-----------------],
--R     1125899906842624 9007199254740992 18014398509481984 18014398509481984
--R     3512807709348987  3079071433556487  384883614083627       2520887471
--R    [----------------,-----------------,----------------,- -----------------],
--R     2251799813685248 72057594037927936 9007199254740992   72057594037927936
--R     3535325707485839  3041457369468689  3041459906824245     634338889
--R    [----------------,-----------------,-----------------,-----------------],
--R     2251799813685248 72057594037927936 72057594037927936 18014398509481984
--R     889460926405673  751083324255087   3004329732753689       3564266659
--R    [---------------,-----------------,-----------------,- -----------------],
--R     562949953421312 18014398509481984 72057594037927936   72057594037927936
--R     447545212969943  5935340786347701   5935343878175071      1545913685
--R    [---------------,------------------,------------------,-----------------],
--R     281474976710656 144115188075855872 144115188075855872 72057594037927936
--R     3602879701896397  2931483069448003  2931480168397945       1450525029
--R    [----------------,-----------------,-----------------,- -----------------],
--R     2251799813685248 72057594037927936 72057594037927936   36028797018963968
--R     3625397700033249  2895749708564595  5791496311358515        3105770675
--R    [----------------,-----------------,------------------,- ------------------]
--R     2251799813685248 72057594037927936 144115188075855872   144115188075855872
--R     ,
--R     1823957849085051  2860470310523625  2860469726856573       145916763
--R    [----------------,-----------------,-----------------,- -----------------],
--R     1125899906842624 72057594037927936 72057594037927936   18014398509481984
--R     1835216848153477  2825637669565691  1412819398660845     1127755999
--R    [----------------,-----------------,-----------------,-----------------],
--R     1125899906842624 72057594037927936 36028797018963968 72057594037927936
--R     7385903388887613  5582503571381583   5582498740992291        1207597323
--R    [----------------,------------------,------------------,- -----------------]
--R     4503599627370496 144115188075855872 144115188075855872   36028797018963968
--R     ,
--R     3715469692580659  344662280922515  5514591072841229        5421919011
--R    [----------------,----------------,------------------,- ------------------],
--R     2251799813685248 9007199254740992 144115188075855872   144115188075855872
--R     7475975381435023  85117807777321   2723771470370027     1621495755
--R    [----------------,----------------,-----------------,-----------------],
--R     4503599627370496 2251799813685248 72057594037927936 72057594037927936
--R     940126422213591  672668448983163   5381342862988177        4728877127
--R    [---------------,-----------------,------------------,- ------------------],
--R     562949953421312 18014398509481984 144115188075855872   144115188075855872
--R     7566047373982433  332248558909631  5315979522964855      2580410759
--R    [----------------,----------------,------------------,------------------],
--R     4503599627370496 9007199254740992 144115188075855872 144115188075855872
--R     3805541685128069  5251442161333727   2625720883253947        394825833
--R    [----------------,------------------,-----------------,- ------------------]
--R     2251799813685248 144115188075855872 72057594037927936   144115188075855872
--R     ,
--R     7656119366529843  648464303145823   2593859299669857     2087086565
--R    [----------------,-----------------,-----------------,-----------------],
--R     4503599627370496 18014398509481984 72057594037927936 72057594037927936
--R     1925288840700887  5124793734052665   5124799184539853      1362621797
--R    [----------------,------------------,------------------,-----------------],
--R     1125899906842624 144115188075855872 144115188075855872 36028797018963968
--R     7746191359077253  1265666419118291  5062672840062709      7163589545
--R    [----------------,-----------------,------------------,------------------],
--R     4503599627370496 36028797018963968 144115188075855872 144115188075855872
--R     3895613677675479  5001330252428079   5001329036299693        608064193
--R    [----------------,------------------,------------------,- -----------------]
--R     2251799813685248 144115188075855872 144115188075855872   72057594037927936
--R     ,
--R     7836263351624663  4940758638879797   2470378696842631       1245194535
--R    [----------------,------------------,-----------------,- ------------------]
--R     4503599627370496 144115188075855872 72057594037927936   144115188075855872
--R     ,
--R     7  4880950835828317   4880947680344909        197217713
--R    [-,------------------,------------------,- ----------------],
--R     4 144115188075855872 144115188075855872   9007199254740992
--R     990791918021509  4821892431754831   1205472452446395       2621969251
--R    [---------------,------------------,-----------------,- ------------------],
--R     562949953421312 144115188075855872 36028797018963968   144115188075855872
--R     3985685670222889  1190892253785133  595446729828271      1205871409
--R    [----------------,-----------------,-----------------,-----------------],
--R     2251799813685248 36028797018963968 18014398509481984 36028797018963968
--R     4008203668359741  1176498749376057  2352994982184459       2516567655
--R    [----------------,-----------------,-----------------,- -----------------],
--R     2251799813685248 36028797018963968 72057594037927936   72057594037927936
--R     2015360833248297  4649127144289495   4649128523209107      344729903
--R    [----------------,------------------,------------------,-----------------],
--R     1125899906842624 144115188075855872 144115188075855872 36028797018963968
--R     2026619832316723  2296489933507571  4592979987883971       120868829
--R    [----------------,-----------------,------------------,------------------],
--R     1125899906842624 72057594037927936 144115188075855872 144115188075855872
--R     4075757662770299  567192344270295   2268767482779207       1894301973
--R    [----------------,-----------------,-----------------,- -----------------],
--R     2251799813685248 18014398509481984 72057594037927936   72057594037927936
--R     4098275660907151  2241394697106171  2241392097874247       649807981
--R    [----------------,-----------------,-----------------,- -----------------],
--R     2251799813685248 72057594037927936 72057594037927936   18014398509481984
--R     1030198414761001  4428717375646281   2214359274140065     1172633849
--R    [----------------,------------------,-----------------,------------------],
--R      562949953421312 144115188075855872 72057594037927936 144115188075855872
--R     517913957147607  8750645396928353   2187664510641929     12645639363
--R    [---------------,------------------,-----------------,------------------],
--R     281474976710656 288230376151711744 72057594037927936 288230376151711744
--R     4165829655317709  8645210725332057   4322606739223913      2753115769
--R    [----------------,------------------,------------------,------------------],
--R     2251799813685248 288230376151711744 144115188075855872 288230376151711744
--R     4188347653454561  2135268272607111  8541085901922581      12811494137
--R    [----------------,-----------------,------------------,------------------],
--R     2251799813685248 72057594037927936 288230376151711744 288230376151711744
--R     2105432825795707  1054782664406891  4219129027850553        1629777011
--R    [----------------,-----------------,------------------,- ------------------]
--R     1125899906842624 36028797018963968 144115188075855872   144115188075855872
--R     ,
--R     2116691824864133  521044859608555   1042089115467103       603750007
--R    [----------------,-----------------,-----------------,- -----------------],
--R     1125899906842624 18014398509481984 36028797018963968   36028797018963968
--R     8511803295730237  2059110601468425  4118216863775571        4339161279
--R    [----------------,-----------------,------------------,- ------------------]
--R     4503599627370496 72057594037927936 144115188075855872   144115188075855872
--R     ,
--R     4278419646001971  8137406448627971   2034350980654347       2526010583
--R    [----------------,------------------,-----------------,- ------------------]
--R     2251799813685248 288230376151711744 72057594037927936   288230376151711744
--R     ,
--R     8601875288277647  502475617624981   251237724837743       167949495
--R    [----------------,-----------------,----------------,- -----------------],
--R     4503599627370496 18014398509481984 9007199254740992   18014398509481984
--R     1080863910568919  7943023882951257   1985756864225093     3573949115
--R    [----------------,------------------,-----------------,------------------],
--R      562949953421312 288230376151711744 72057594037927936 288230376151711744
--R     8691947280825057  245239014108833  7847648845144869       393662213
--R    [----------------,----------------,------------------,------------------],
--R     4503599627370496 9007199254740992 288230376151711744 288230376151711744
--R     4368491638549381  1938363691139069  1938363928971731     118916331
--R    [----------------,-----------------,-----------------,-----------------],
--R     2251799813685248 72057594037927936 72057594037927936 36028797018963968
--R     8782019273372467  3830221411086059   3830216321124455        1272490401
--R    [----------------,------------------,------------------,- -----------------]
--R     4503599627370496 144115188075855872 144115188075855872   36028797018963968
--R     ,
--R     2206763817411543  7568554978254953   1892141102716687     9432611795
--R    [----------------,------------------,-----------------,------------------],
--R     1125899906842624 288230376151711744 72057594037927936 288230376151711744
--R
--R      8872091265919877   7477848878880009    3738918009340529
--R     [----------------, ------------------, ------------------,
--R      4503599627370496  288230376151711744  144115188075855872
--R            12860198951
--R      - ------------------]
--R        288230376151711744
--R     ,
--R
--R      4458563631096791   3694119027467221    7388232669782469
--R     [----------------, ------------------, ------------------,
--R      2251799813685248  144115188075855872  288230376151711744
--R            5385151973
--R      - ------------------]
--R        288230376151711744
--R     ,
--R     8962163258467287  3649875664727933   3649869886154839        2889286547
--R    [----------------,------------------,------------------,- -----------------]
--R     4503599627370496 144115188075855872 144115188075855872   72057594037927936
--R     ,
--R        1803082764092263  7212342935397909      11879028857
--R    [2,-----------------,------------------,------------------]]
--R       72057594037927936 288230376151711744 288230376151711744
--R                                          Type: List(List(Fraction(Integer)))
--E 5


--S 6 of 6
t6:List List Fraction Integer:=[[machineFraction (x::DFLOAT) for x in line]_
 for line in _
[[0.01,0.1098682,En(10,0.01),En(10,0.01)-0.1098682],_
[0.02,0.1086395,En(10,0.02),En(10,0.02)-0.1086395],_
[0.03,0.1074246,En(10,0.03),En(10,0.03)-0.1074246],_
[0.04,0.1062236,En(10,0.04),En(10,0.04)-0.1062236],_
[0.05,0.1050363,En(10,0.05),En(10,0.05)-0.1050363],_
[0.06,0.1038624,En(10,0.06),En(10,0.06)-0.1038624],_
[0.07,0.1027018,En(10,0.07),En(10,0.07)-0.1027018],_
[0.08,0.1015544,En(10,0.08),En(10,0.08)-0.1015544],_
[0.09,0.1004200,En(10,0.09),En(10,0.09)-0.1004200],_
[0.10,0.0992984,En(10,0.10),En(10,0.10)-0.0992984],_
[0.11,0.0981896,En(10,0.11),En(10,0.11)-0.0981896],_
[0.12,0.0970934,En(10,0.12),En(10,0.12)-0.0970934],_
[0.13,0.0960095,En(10,0.13),En(10,0.13)-0.0960095],_
[0.14,0.0949380,En(10,0.14),En(10,0.14)-0.0949380],_
[0.15,0.0938786,En(10,0.15),En(10,0.15)-0.0938786],_
[0.16,0.0928312,En(10,0.16),En(10,0.16)-0.0928312],_
[0.17,0.0917956,En(10,0.17),En(10,0.17)-0.0917956],_
[0.18,0.0907718,En(10,0.18),En(10,0.18)-0.0907718],_
[0.19,0.0897595,En(10,0.19),En(10,0.19)-0.0897595],_
[0.20,0.0887587,En(10,0.20),En(10,0.20)-0.0887587],_
[0.21,0.0877693,En(10,0.21),En(10,0.21)-0.0877693],_
[0.22,0.0867910,En(10,0.22),En(10,0.22)-0.0867910],_
[0.23,0.0858238,En(10,0.23),En(10,0.23)-0.0858238],_
[0.24,0.0848675,En(10,0.24),En(10,0.24)-0.0848675],_
[0.25,0.0839220,En(10,0.25),En(10,0.25)-0.0839220],_
[0.26,0.0829872,En(10,0.26),En(10,0.26)-0.0829872],_
[0.27,0.0820630,En(10,0.27),En(10,0.27)-0.0820630],_
[0.28,0.0811492,En(10,0.28),En(10,0.28)-0.0811492],_
[0.29,0.0802457,En(10,0.29),En(10,0.29)-0.0802457],_
[0.30,0.0793524,En(10,0.30),En(10,0.30)-0.0793524],_
[0.31,0.0784693,En(10,0.31),En(10,0.31)-0.0784693],_
[0.32,0.0775960,En(10,0.32),En(10,0.32)-0.0775960],_
[0.33,0.0767327,En(10,0.33),En(10,0.33)-0.0767327],_
[0.34,0.0758790,En(10,0.34),En(10,0.34)-0.0758790],_
[0.35,0.0750350,En(10,0.35),En(10,0.35)-0.0750350],_
[0.36,0.0742006,En(10,0.36),En(10,0.36)-0.0742006],_
[0.37,0.0733755,En(10,0.37),En(10,0.37)-0.0733755],_
[0.38,0.0725597,En(10,0.38),En(10,0.38)-0.0725597],_
[0.39,0.0717531,En(10,0.39),En(10,0.39)-0.0717531],_
[0.40,0.0709557,En(10,0.40),En(10,0.40)-0.0709557],_
[0.41,0.0701671,En(10,0.41),En(10,0.41)-0.0701671],_
[0.42,0.0693875,En(10,0.42),En(10,0.42)-0.0693875],_
[0.43,0.0686167,En(10,0.43),En(10,0.43)-0.0686167],_
[0.44,0.0678545,En(10,0.44),En(10,0.44)-0.0678545],_
[0.45,0.0671009,En(10,0.45),En(10,0.45)-0.0671009],_
[0.46,0.0663558,En(10,0.46),En(10,0.46)-0.0663558],_
[0.47,0.0656191,En(10,0.47),En(10,0.47)-0.0656191],_
[0.48,0.0648907,En(10,0.48),En(10,0.48)-0.0648907],_
[0.49,0.0641704,En(10,0.49),En(10,0.49)-0.0641704],_
[0.50,0.0634583,En(10,0.50),En(10,0.50)-0.0634583],_
[0.51,0.0627542,En(10,0.51),En(10,0.51)-0.0627542],_
[0.52,0.0620580,En(10,0.52),En(10,0.52)-0.0620580],_
[0.53,0.0613696,En(10,0.53),En(10,0.53)-0.0613696],_
[0.54,0.0606889,En(10,0.54),En(10,0.54)-0.0606889],_
[0.55,0.0600159,En(10,0.55),En(10,0.55)-0.0600159],_
[0.56,0.0593505,En(10,0.56),En(10,0.56)-0.0593505],_
[0.57,0.0586925,En(10,0.57),En(10,0.57)-0.0586925],_
[0.58,0.0580419,En(10,0.58),En(10,0.58)-0.0580419],_
[0.59,0.0573986,En(10,0.59),En(10,0.59)-0.0573986],_
[0.60,0.0567626,En(10,0.60),En(10,0.60)-0.0567626],_
[0.61,0.0561336,En(10,0.61),En(10,0.61)-0.0561336],_
[0.62,0.0555118,En(10,0.62),En(10,0.62)-0.0555118],_
[0.63,0.0548969,En(10,0.63),En(10,0.63)-0.0548969],_
[0.64,0.0542889,En(10,0.64),En(10,0.64)-0.0542889],_
[0.65,0.0536877,En(10,0.65),En(10,0.65)-0.0536877],_
[0.66,0.0530933,En(10,0.66),En(10,0.66)-0.0530933],_
[0.67,0.0525055,En(10,0.67),En(10,0.67)-0.0525055],_
[0.68,0.0519243,En(10,0.68),En(10,0.68)-0.0519243],_
[0.69,0.0513497,En(10,0.69),En(10,0.69)-0.0513497],_
[0.70,0.0507815,En(10,0.70),En(10,0.70)-0.0507815],_
[0.71,0.0502196,En(10,0.71),En(10,0.71)-0.0502196],_
[0.72,0.0496640,En(10,0.72),En(10,0.72)-0.0496640],_
[0.73,0.0491147,En(10,0.73),En(10,0.73)-0.0491147],_
[0.74,0.0485715,En(10,0.74),En(10,0.74)-0.0485715],_
[0.75,0.0480344,En(10,0.75),En(10,0.75)-0.0480344],_
[0.76,0.0475033,En(10,0.76),En(10,0.76)-0.0475033],_
[0.77,0.0469781,En(10,0.77),En(10,0.77)-0.0469781],_
[0.78,0.0464588,En(10,0.78),En(10,0.78)-0.0464588],_
[0.79,0.0459453,En(10,0.79),En(10,0.79)-0.0459453],_
[0.80,0.0454376,En(10,0.80),En(10,0.80)-0.0454376],_
[0.81,0.0449356,En(10,0.81),En(10,0.81)-0.0449356],_
[0.82,0.0444391,En(10,0.82),En(10,0.82)-0.0444391],_
[0.83,0.0439482,En(10,0.83),En(10,0.83)-0.0439482],_
[0.84,0.0434628,En(10,0.84),En(10,0.84)-0.0434628],_
[0.85,0.0429829,En(10,0.85),En(10,0.85)-0.0429829],_
[0.86,0.0425082,En(10,0.86),En(10,0.86)-0.0425082],_
[0.87,0.0420389,En(10,0.87),En(10,0.87)-0.0420389],_
[0.88,0.0415749,En(10,0.88),En(10,0.88)-0.0415749],_
[0.89,0.0411160,En(10,0.89),En(10,0.89)-0.0411160],_
[0.90,0.0406622,En(10,0.90),En(10,0.90)-0.0406622],_
[0.91,0.0402135,En(10,0.91),En(10,0.91)-0.0402135],_
[0.92,0.0397698,En(10,0.92),En(10,0.92)-0.0397698],_
[0.93,0.0393311,En(10,0.93),En(10,0.93)-0.0393311],_
[0.94,0.0388973,En(10,0.94),En(10,0.94)-0.0388973],_
[0.95,0.0384683,En(10,0.95),En(10,0.95)-0.0384683],_
[0.96,0.0380441,En(10,0.96),En(10,0.96)-0.0380441],_
[0.97,0.0376246,En(10,0.97),En(10,0.97)-0.0376246],_
[0.98,0.0372098,En(10,0.98),En(10,0.98)-0.0372098],_
[0.99,0.0367996,En(10,0.99),En(10,0.99)-0.0367996],_
[1.00,0.0363940,En(10,1.00),En(10,1.00)-0.0363940],_
[1.01,0.0359929,En(10,1.01),En(10,1.01)-0.0359929],_
[1.02,0.0355963,En(10,1.02),En(10,1.02)-0.0355963],_
[1.03,0.0352041,En(10,1.03),En(10,1.03)-0.0352041],_
[1.04,0.0348163,En(10,1.04),En(10,1.04)-0.0348163],_
[1.05,0.0344328,En(10,1.05),En(10,1.05)-0.0344328],_
[1.06,0.0340535,En(10,1.06),En(10,1.06)-0.0340535],_
[1.07,0.0336785,En(10,1.07),En(10,1.07)-0.0336785],_
[1.08,0.0333077,En(10,1.08),En(10,1.08)-0.0333077],_
[1.09,0.0329410,En(10,1.09),En(10,1.09)-0.0329410],_
[1.10,0.0325784,En(10,1.10),En(10,1.10)-0.0325784],_
[1.11,0.0322198,En(10,1.11),En(10,1.11)-0.0322198],_
[1.12,0.0318652,En(10,1.12),En(10,1.12)-0.0318652],_
[1.13,0.0315145,En(10,1.13),En(10,1.13)-0.0315145],_
[1.14,0.0311678,En(10,1.14),En(10,1.14)-0.0311678],_
[1.15,0.0308249,En(10,1.15),En(10,1.15)-0.0308249],_
[1.16,0.0304858,En(10,1.16),En(10,1.16)-0.0304858],_
[1.17,0.0301505,En(10,1.17),En(10,1.17)-0.0301505],_
[1.18,0.0298189,En(10,1.18),En(10,1.18)-0.0298189],_
[1.19,0.0294910,En(10,1.19),En(10,1.19)-0.0294910],_
[1.20,0.0291668,En(10,1.20),En(10,1.20)-0.0291668],_
[1.21,0.0288461,En(10,1.21),En(10,1.21)-0.0288461],_
[1.22,0.0285290,En(10,1.22),En(10,1.22)-0.0285290],_
[1.23,0.0282155,En(10,1.23),En(10,1.23)-0.0282155],_
[1.24,0.0279054,En(10,1.24),En(10,1.24)-0.0279054],_
[1.25,0.0275988,En(10,1.25),En(10,1.25)-0.0275988],_
[1.26,0.0272955,En(10,1.26),En(10,1.26)-0.0272955],_
[1.27,0.0269957,En(10,1.27),En(10,1.27)-0.0269957],_
[1.28,0.0266991,En(10,1.28),En(10,1.28)-0.0266991],_
[1.29,0.0264059,En(10,1.29),En(10,1.29)-0.0264059],_
[1.30,0.0261159,En(10,1.30),En(10,1.30)-0.0261159],_
[1.31,0.0258291,En(10,1.31),En(10,1.31)-0.0258291],_
[1.32,0.0255455,En(10,1.32),En(10,1.32)-0.0255455],_
[1.33,0.0252651,En(10,1.33),En(10,1.33)-0.0252651],_
[1.34,0.0249878,En(10,1.34),En(10,1.34)-0.0249878],_
[1.35,0.0247135,En(10,1.35),En(10,1.35)-0.0247135],_
[1.36,0.0244423,En(10,1.36),En(10,1.36)-0.0244423],_
[1.37,0.0241741,En(10,1.37),En(10,1.37)-0.0241741],_
[1.38,0.0239088,En(10,1.38),En(10,1.38)-0.0239088],_
[1.39,0.0236465,En(10,1.39),En(10,1.39)-0.0236465],_
[1.40,0.0233872,En(10,1.40),En(10,1.40)-0.0233872],_
[1.41,0.0231306,En(10,1.41),En(10,1.41)-0.0231306],_
[1.42,0.0228770,En(10,1.42),En(10,1.42)-0.0228770],_
[1.43,0.0226261,En(10,1.43),En(10,1.43)-0.0226261],_
[1.44,0.0223780,En(10,1.44),En(10,1.44)-0.0223780],_
[1.45,0.0221327,En(10,1.45),En(10,1.45)-0.0221327],_
[1.46,0.0218901,En(10,1.46),En(10,1.46)-0.0218901],_
[1.47,0.0216501,En(10,1.47),En(10,1.47)-0.0216501],_
[1.48,0.0214128,En(10,1.48),En(10,1.48)-0.0214128],_
[1.49,0.0211782,En(10,1.49),En(10,1.49)-0.0211782],_
[1.50,0.0209461,En(10,1.50),En(10,1.50)-0.0209461],_
[1.51,0.0207167,En(10,1.51),En(10,1.51)-0.0207167],_
[1.52,0.0204897,En(10,1.52),En(10,1.52)-0.0204897],_
[1.53,0.0202653,En(10,1.53),En(10,1.53)-0.0202653],_
[1.54,0.0200433,En(10,1.54),En(10,1.54)-0.0200433],_
[1.55,0.0198238,En(10,1.55),En(10,1.55)-0.0198238],_
[1.56,0.0196067,En(10,1.56),En(10,1.56)-0.0196067],_
[1.57,0.0193921,En(10,1.57),En(10,1.57)-0.0193921],_
[1.58,0.0191798,En(10,1.58),En(10,1.58)-0.0191798],_
[1.59,0.0189698,En(10,1.59),En(10,1.59)-0.0189698],_
[1.60,0.0187622,En(10,1.60),En(10,1.60)-0.0187622],_
[1.61,0.0185568,En(10,1.61),En(10,1.61)-0.0185568],_
[1.62,0.0183538,En(10,1.62),En(10,1.62)-0.0183538],_
[1.63,0.0181530,En(10,1.63),En(10,1.63)-0.0181530],_
[1.64,0.0179543,En(10,1.64),En(10,1.64)-0.0179543],_
[1.65,0.0177579,En(10,1.65),En(10,1.65)-0.0177579],_
[1.66,0.0175637,En(10,1.66),En(10,1.66)-0.0175637],_
[1.67,0.0173716,En(10,1.67),En(10,1.67)-0.0173716],_
[1.68,0.0171816,En(10,1.68),En(10,1.68)-0.0171816],_
[1.69,0.0169937,En(10,1.69),En(10,1.69)-0.0169937],_
[1.70,0.0168079,En(10,1.70),En(10,1.70)-0.0168079],_
[1.71,0.0166242,En(10,1.71),En(10,1.71)-0.0166242],_
[1.72,0.0164424,En(10,1.72),En(10,1.72)-0.0164424],_
[1.73,0.0162627,En(10,1.73),En(10,1.73)-0.0162627],_
[1.74,0.0160850,En(10,1.74),En(10,1.74)-0.0160850],_
[1.75,0.0159092,En(10,1.75),En(10,1.75)-0.0159092],_
[1.76,0.0157354,En(10,1.76),En(10,1.76)-0.0157354],_
[1.77,0.0155634,En(10,1.77),En(10,1.77)-0.0155634],_
[1.78,0.0153934,En(10,1.78),En(10,1.78)-0.0153934],_
[1.79,0.0152253,En(10,1.79),En(10,1.79)-0.0152253],_
[1.80,0.0150590,En(10,1.80),En(10,1.80)-0.0150590],_
[1.81,0.0148945,En(10,1.81),En(10,1.81)-0.0148945],_
[1.82,0.0147318,En(10,1.82),En(10,1.82)-0.0147318],_
[1.83,0.0145710,En(10,1.83),En(10,1.83)-0.0145710],_
[1.84,0.0144119,En(10,1.84),En(10,1.84)-0.0144119],_
[1.85,0.0142546,En(10,1.85),En(10,1.85)-0.0142546],_
[1.86,0.0140990,En(10,1.86),En(10,1.86)-0.0140990],_
[1.87,0.0139451,En(10,1.87),En(10,1.87)-0.0139451],_
[1.88,0.0137929,En(10,1.88),En(10,1.88)-0.0137929],_
[1.89,0.0136424,En(10,1.89),En(10,1.89)-0.0136424],_
[1.90,0.0134935,En(10,1.90),En(10,1.90)-0.0134935],_
[1.91,0.0133463,En(10,1.91),En(10,1.91)-0.0133463],_
[1.92,0.0132007,En(10,1.92),En(10,1.92)-0.0132007],_
[1.93,0.0130567,En(10,1.93),En(10,1.93)-0.0130567],_
[1.94,0.0129143,En(10,1.94),En(10,1.94)-0.0129143],_
[1.95,0.0127734,En(10,1.95),En(10,1.95)-0.0127734],_
[1.96,0.0126341,En(10,1.96),En(10,1.96)-0.0126341],_
[1.97,0.0124964,En(10,1.97),En(10,1.97)-0.0124964],_
[1.98,0.0123601,En(10,1.98),En(10,1.98)-0.0123601],_
[1.99,0.0122254,En(10,1.99),En(10,1.99)-0.0122254],_
[2.00,0.0120921,En(10,2.00),En(10,2.00)-0.0120921]]]
--R 
--R
--R   (6)
--R      2882303761517117   3958419076638937  1979210011622599     946606261
--R   [[------------------,-----------------,-----------------,-----------------],
--R     288230376151711744 36028797018963968 18014398509481984 36028797018963968
--R      2882303761517117   489268811717717  7828298223653671       2763829801
--R    [------------------,----------------,-----------------,- -----------------],
--R     144115188075855872 4503599627370496 72057594037927936   72057594037927936
--R      1080863910568919  7740758216486793  1935190518344309     3856890443
--R    [-----------------,-----------------,-----------------,-----------------],
--R     36028797018963968 72057594037927936 18014398509481984 72057594037927936
--R      2882303761517117  3827108523023621  7654219940564711     2894517469
--R    [-----------------,-----------------,-----------------,-----------------],
--R     72057594037927936 36028797018963968 72057594037927936 72057594037927936
--R      3602879701896397  3784331532323005  7568660308940899       2755705111
--R    [-----------------,-----------------,-----------------,- -----------------],
--R     72057594037927936 36028797018963968 72057594037927936   72057594037927936
--R      1080863910568919  3742037327502443  7484071799332191       2855672695
--R    [-----------------,-----------------,-----------------,- -----------------],
--R     18014398509481984 36028797018963968 72057594037927936   72057594037927936
--R      1261007895663739  7400444611364467  925055395996199       1443394875
--R    [-----------------,-----------------,----------------,- -----------------],
--R     18014398509481984 72057594037927936 9007199254740992   72057594037927936
--R      2882303761517117  1829441431991337  1829440826203517       151446955
--R    [-----------------,-----------------,-----------------,- ----------------],
--R     36028797018963968 18014398509481984 18014398509481984   4503599627370496
--R      3242591731706757  7236023593288723  3618010615951925       2361384873
--R    [-----------------,-----------------,-----------------,- -----------------],
--R     36028797018963968 72057594037927936 36028797018963968   72057594037927936
--R      3602879701896397  7155203795815783  3577603050861707     2305907631
--R    [-----------------,-----------------,-----------------,-----------------],
--R     36028797018963968 72057594037927936 36028797018963968 72057594037927936
--R      990791918021509  221103322985829  1768826798898449     215011817
--R    [----------------,----------------,-----------------,-----------------],
--R     9007199254740992 2251799813685248 18014398509481984 18014398509481984
--R     1080863910568919  874539600120269  6996313922083951       2878878201
--R    [----------------,----------------,-----------------,- -----------------],
--R     9007199254740992 9007199254740992 72057594037927936   72057594037927936
--R     1170935903116329  3459106787392221  6918215815442841     2240658399
--R    [----------------,-----------------,-----------------,-----------------],
--R     9007199254740992 36028797018963968 72057594037927936 72057594037927936
--R     1261007895663739  3420501931386401  6841002534051969       1328720833
--R    [----------------,-----------------,-----------------,- -----------------],
--R     9007199254740992 36028797018963968 72057594037927936   72057594037927936
--R      5404319552844595  3382333023824511  6764663858898045       2188750977
--R    [-----------------,-----------------,-----------------,- -----------------],
--R     36028797018963968 36028797018963968 72057594037927936   72057594037927936
--R      2882303761517117  104518639432089  6689189692065527       3231588169
--R    [-----------------,----------------,-----------------,- -----------------],
--R     18014398509481984 1125899906842624 72057594037927936   72057594037927936
--R      3062447746611937  3307285039634009  3307285027624359        6004825
--R    [-----------------,-----------------,-----------------,- -----------------],
--R     18014398509481984 36028797018963968 36028797018963968   18014398509481984
--R      3242591731706757  6540797514491987  6540795088283177       1213104405
--R    [-----------------,-----------------,-----------------,- -----------------],
--R     18014398509481984 72057594037927936 72057594037927936   36028797018963968
--R      3422735716801577  202120425376481  404240940481009     89728047
--R    [-----------------,----------------,----------------,----------------],
--R     18014398509481984 2251799813685248 4503599627370496 4503599627370496
--R      3602879701896397  3197869185967117  3197870152637863     483335373
--R    [-----------------,-----------------,-----------------,-----------------],
--R     18014398509481984 36028797018963968 36028797018963968 18014398509481984
--R      7566047373982433  1581111147098277  790555168332321       810433635
--R    [-----------------,-----------------,----------------,- -----------------],
--R     36028797018963968 18014398509481984 9007199254740992   18014398509481984
--R      990791918021509  6253950644145803  6253948769935763       234276255
--R    [----------------,-----------------,-----------------,- ----------------],
--R     4503599627370496 72057594037927936 72057594037927936   9007199254740992
--R      517913957147607  6039313026555  6184253284276733       3254915587
--R    [----------------,--------------,-----------------,- -----------------],
--R     2251799813685248 70368744177664 72057594037927936   72057594037927936
--R     1080863910568919  6115347862013849  6115345708570835       1076721507
--R    [----------------,-----------------,-----------------,- -----------------],
--R     4503599627370496 72057594037927936 72057594037927936   36028797018963968
--R     1  1511804351712747  6047216970086441       436764547
--R    [-,-----------------,-----------------,- -----------------],
--R     4 18014398509481984 72057594037927936   72057594037927936
--R     1170935903116329  5979857967944333  2989929051573629     135202925
--R    [----------------,-----------------,-----------------,-----------------],
--R     4503599627370496 72057594037927936 36028797018963968 72057594037927936
--R      607985949695017  369578896220905  5913260247825633       2091708847
--R    [----------------,----------------,-----------------,- -----------------],
--R     2251799813685248 4503599627370496 72057594037927936   72057594037927936
--R     1261007895663739  2923708055051311  5847414648652621       1461450001
--R    [----------------,-----------------,-----------------,- -----------------],
--R     4503599627370496 36028797018963968 72057594037927936   72057594037927936
--R      5224175567749775  2891156036944677  5782312653344573     579455219
--R    [-----------------,-----------------,-----------------,-----------------],
--R     18014398509481984 36028797018963968 72057594037927936 72057594037927936
--R      5404319552844595  714742878141909  2858972855773015     1343205379
--R    [-----------------,----------------,-----------------,-----------------],
--R     18014398509481984 9007199254740992 36028797018963968 36028797018963968
--R      5584463537939415  2827154481920189  5654305373588679       3590251699
--R    [-----------------,-----------------,-----------------,- -----------------],
--R     18014398509481984 36028797018963968 72057594037927936   72057594037927936
--R     2882303761517117  349461316685441  2795691644633083     1111149555
--R    [----------------,----------------,-----------------,-----------------],
--R     9007199254740992 4503599627370496 36028797018963968 36028797018963968
--R     2972375754064527  86393339781783   5529171206624537       2539409575
--R    [----------------,----------------,-----------------,- -----------------],
--R     9007199254740992 1125899906842624 72057594037927936   72057594037927936
--R     3062447746611937  2733829089001967  5467660970768105     2792764171
--R    [----------------,-----------------,-----------------,-----------------],
--R     9007199254740992 36028797018963968 72057594037927936 72057594037927936
--R     3152519739159347  2703420784317961  5406844522680509     2954044587
--R    [----------------,-----------------,-----------------,-----------------],
--R     9007199254740992 36028797018963968 72057594037927936 72057594037927936
--R     3242591731706757  1336679178042669  668339237257599       703527471
--R    [----------------,-----------------,----------------,- -----------------],
--R     9007199254740992 18014398509481984 9007199254740992   18014398509481984
--R     3332663724254167  5287261991329981  5287261226174257       191288931
--R    [----------------,-----------------,-----------------,- -----------------],
--R     9007199254740992 72057594037927936 72057594037927936   18014398509481984
--R     3422735716801577  326779837882115  5228478728717921     1322604081
--R    [----------------,----------------,-----------------,-----------------],
--R     9007199254740992 4503599627370496 72057594037927936 72057594037927936
--R     3512807709348987  2585177875381423  323147419918773     1483968761
--R    [----------------,-----------------,----------------,-----------------],
--R     9007199254740992 36028797018963968 4503599627370496 36028797018963968
--R     3602879701896397  5112897025277003  1278223399833947       3425941215
--R    [----------------,-----------------,-----------------,- -----------------],
--R     9007199254740992 72057594037927936 18014398509481984   72057594037927936
--R      7385903388887613  5056072406618693  5056075862952035     1728166671
--R    [-----------------,-----------------,-----------------,-----------------],
--R     18014398509481984 72057594037927936 72057594037927936 36028797018963968
--R      7566047373982433  1249974076576681  2499949044956247     891802885
--R    [-----------------,-----------------,-----------------,-----------------],
--R     18014398509481984 18014398509481984 36028797018963968 36028797018963968
--R      7746191359077253  2472177156411145  4944352947551579       1365270711
--R    [-----------------,-----------------,-----------------,- -----------------],
--R     18014398509481984 36028797018963968 72057594037927936   72057594037927936
--R      990791918021509  4889432014646581  2444716594561839     1174477097
--R    [----------------,-----------------,-----------------,-----------------],
--R     2251799813685248 72057594037927936 36028797018963968 72057594037927936
--R     2026619832316723  2417564705889799  4835131652765353     2240985755
--R    [----------------,-----------------,-----------------,-----------------],
--R     4503599627370496 36028797018963968 72057594037927936 72057594037927936
--R      517913957147607  2390719649230969  2390720630235321     15328193
--R    [----------------,-----------------,-----------------,---------------],
--R     1125899906842624 36028797018963968 36028797018963968 562949953421312
--R     2116691824864133  4728354468934197  4728355017079259     274072531
--R    [----------------,-----------------,-----------------,-----------------],
--R     4503599627370496 72057594037927936 72057594037927936 36028797018963968
--R     1080863910568919  2337933858718485  4675866009277527       1708159443
--R    [----------------,-----------------,-----------------,- -----------------],
--R     2251799813685248 36028797018963968 72057594037927936   72057594037927936
--R     2206763817411543  2311982316225725  288997962788243     1386080219
--R    [----------------,-----------------,----------------,-----------------],
--R     4503599627370496 36028797018963968 4503599627370496 36028797018963968
--R     1  2286326209868521  2286326225257401      961805
--R    [-,-----------------,-----------------,----------------],
--R     2 36028797018963968 36028797018963968 2251799813685248
--R     2296835809958953  4521916667774937  1130478618335721       2194432053
--R    [----------------,-----------------,-----------------,- -----------------],
--R     4503599627370496 72057594037927936 18014398509481984   72057594037927936
--R     1170935903116329  1117937542701433  8943493754854209        6586757255
--R    [----------------,-----------------,------------------,- ------------------]
--R     2251799813685248 18014398509481984 144115188075855872   144115188075855872
--R     ,
--R     2386907802506363  2211072861535011  2211071572067447       322366891
--R    [----------------,-----------------,-----------------,- ----------------],
--R     4503599627370496 36028797018963968 36028797018963968   9007199254740992
--R      607985949695017  8746192237616809   8746193661888017      178033901
--R    [----------------,------------------,------------------,-----------------],
--R     1125899906842624 144115188075855872 144115188075855872 18014398509481984
--R     2476979795053773  4324601358020879  8649203141055959       425014201
--R    [----------------,-----------------,------------------,------------------],
--R     4503599627370496 72057594037927936 144115188075855872 144115188075855872
--R     1261007895663739  2138327117474021  534581383731625       1582547521
--R    [----------------,-----------------,----------------,- -----------------],
--R     2251799813685248 36028797018963968 9007199254740992   36028797018963968
--R     5134103575202365  4229240338071085  4229239109286109       76799061
--R    [----------------,-----------------,-----------------,- ----------------],
--R     9007199254740992 72057594037927936 72057594037927936   4503599627370496
--R     5224175567749775  4182359667390009  1045589885428625       125675509
--R    [----------------,-----------------,-----------------,- -----------------],
--R     9007199254740992 72057594037927936 18014398509481984   72057594037927936
--R     5314247560297185  2068002508572705  8272012583351667      2549060847
--R    [----------------,-----------------,------------------,------------------],
--R     9007199254740992 36028797018963968 144115188075855872 144115188075855872
--R     5404319552844595  511272048417161  4090173354499381       3032837907
--R    [----------------,----------------,-----------------,- -----------------],
--R     9007199254740992 9007199254740992 72057594037927936   72057594037927936
--R     5494391545392005  8089704321374863   4044854795457885     5269540907
--R    [----------------,------------------,-----------------,------------------],
--R     9007199254740992 144115188075855872 72057594037927936 144115188075855872
--R     5584463537939415  500005843589331  4000044748929967       1999784681
--R    [----------------,----------------,-----------------,- -----------------],
--R     9007199254740992 9007199254740992 72057594037927936   72057594037927936
--R      709316941310853  1977869267070363  494467177196621       558283879
--R    [----------------,-----------------,----------------,- -----------------],
--R     1125899906842624 36028797018963968 9007199254740992   36028797018963968
--R     2882303761517117  1955963758482833  7823854143012129         890919203
--R    [----------------,-----------------,------------------,- ------------------]
--R     4503599627370496 36028797018963968 144115188075855872   144115188075855872
--R     ,
--R     1463669878895411  7737212982860127   7737216095007093      1556073483
--R    [----------------,------------------,------------------,-----------------],
--R     2251799813685248 144115188075855872 144115188075855872 72057594037927936
--R     2972375754064527  3825775457533919  3825774748198099       177333955
--R    [----------------,-----------------,-----------------,- -----------------],
--R     4503599627370496 72057594037927936 72057594037927936   18014398509481984
--R     377176468792279  3783420003758425  472927705161747     1637535551
--R    [---------------,-----------------,----------------,-----------------],
--R     562949953421312 72057594037927936 9007199254740992 72057594037927936
--R     3062447746611937  7483080260207163   935385814697483      6257372701
--R    [----------------,------------------,-----------------,------------------],
--R     4503599627370496 144115188075855872 18014398509481984 144115188075855872
--R     1553741871442821  925033959142347   3700134196211775       1640357613
--R    [----------------,-----------------,-----------------,- -----------------],
--R     2251799813685248 18014398509481984 72057594037927936   72057594037927936
--R     3152519739159347  3659192711637037  114349659745451       3599782605
--R    [----------------,-----------------,----------------,- -----------------],
--R     4503599627370496 72057594037927936 2251799813685248   72057594037927936
--R      799388933858263  1809351774773563  3618702726033383       823513743
--R    [----------------,-----------------,-----------------,- -----------------],
--R     1125899906842624 36028797018963968 72057594037927936   72057594037927936
--R     3242591731706757  3578668350299653  7157339640690717      2940091411
--R    [----------------,-----------------,------------------,------------------],
--R     4503599627370496 72057594037927936 144115188075855872 144115188075855872
--R     1643813863990231  3539087113894619  1769542618469085       1876956449
--R    [----------------,-----------------,-----------------,- -----------------],
--R     2251799813685248 72057594037927936 36028797018963968   72057594037927936
--R     3332663724254167  6999890857626433   6999887755579119        1551023657
--R    [----------------,------------------,------------------,- -----------------]
--R     4503599627370496 144115188075855872 144115188075855872   72057594037927936
--R     ,
--R     3  6922486590110891   6922481407989891        647765125
--R    [-,------------------,------------------,- -----------------],
--R     4 144115188075855872 144115188075855872   18014398509481984
--R     3422735716801577  1711486753430951  6845941470127915        5543595889
--R    [----------------,-----------------,------------------,- ------------------]
--R     4503599627370496 36028797018963968 144115188075855872   144115188075855872
--R     ,
--R     1733885856537641  1692564429236591  3385129048225639     189752457
--R    [----------------,-----------------,-----------------,-----------------],
--R     2251799813685248 36028797018963968 72057594037927936 72057594037927936
--R     3512807709348987  1673854674944643  26153990451111     713926461
--R    [----------------,-----------------,---------------,-----------------],
--R     4503599627370496 36028797018963968 562949953421312 36028797018963968
--R      889460926405673  1655353887675405  6621422228462533      6677760913
--R    [----------------,-----------------,------------------,------------------],
--R     1125899906842624 36028797018963968 144115188075855872 144115188075855872
--R     3602879701896397  1637062067428877  6548250607992697      2338277189
--R    [----------------,-----------------,------------------,------------------],
--R     4503599627370496 36028797018963968 144115188075855872 144115188075855872
--R     1823957849085051  6475902445301429   25296473815357       5148570037
--R    [----------------,------------------,---------------,- ------------------],
--R     2251799813685248 144115188075855872 562949953421312   144115188075855872
--R     7385903388887613  3202174627210883  800544125759791      1875828281
--R    [----------------,-----------------,-----------------,-----------------],
--R     9007199254740992 72057594037927936 18014398509481984 72057594037927936
--R     7475975381435023  6333603108595329   3166804277443137     5446290945
--R    [----------------,------------------,-----------------,------------------],
--R     9007199254740992 144115188075855872 72057594037927936 144115188075855872
--R     7566047373982433  1565912399075827  3131827434093375     2635941721
--R    [----------------,-----------------,-----------------,-----------------],
--R     9007199254740992 36028797018963968 72057594037927936 72057594037927936
--R     7656119366529843  6194488717545705   6194482975931317        1435403597
--R    [----------------,------------------,------------------,- -----------------]
--R     9007199254740992 144115188075855872 144115188075855872   36028797018963968
--R     ,
--R     7746191359077253  382879827360381  6126084011748321      6773982225
--R    [----------------,----------------,------------------,------------------],
--R     9007199254740992 9007199254740992 144115188075855872 144115188075855872
--R     7836263351624663  6058443980002097   6058449211714853      1307928189
--R    [----------------,------------------,------------------,-----------------],
--R     9007199254740992 144115188075855872 144115188075855872 36028797018963968
--R      990791918021509  1497893633183725  5991569913143745        4619591155
--R    [----------------,-----------------,------------------,- ------------------]
--R     1125899906842624 36028797018963968 144115188075855872   144115188075855872
--R     ,
--R     4008203668359741  2962720036463445  92584961771647        1259770741
--R    [----------------,-----------------,----------------,- -----------------],
--R     4503599627370496 72057594037927936 2251799813685248   72057594037927936
--R     2026619832316723  2930020300289033  366252729290271     1534033135
--R    [----------------,-----------------,----------------,-----------------],
--R     2251799813685248 72057594037927936 9007199254740992 72057594037927936
--R     4098275660907151  2897688057844215  5795379892810045      3777121615
--R    [----------------,-----------------,------------------,------------------],
--R     4503599627370496 72057594037927936 144115188075855872 144115188075855872
--R     517913957147607  1432858051684793  358214872268895     1437390787
--R    [---------------,-----------------,----------------,-----------------],
--R     562949953421312 36028797018963968 9007199254740992 36028797018963968
--R     4188347653454561  2834104436865147  2834104842465271     101400031
--R    [----------------,-----------------,-----------------,-----------------],
--R     4503599627370496 72057594037927936 72057594037927936 18014398509481984
--R     2116691824864133  1401422926285747  2802843499383469       2353188025
--R    [----------------,-----------------,-----------------,- -----------------],
--R     2251799813685248 36028797018963968 72057594037927936   72057594037927936
--R     4278419646001971  2771933144729223  173245684719799       2189212439
--R    [----------------,-----------------,----------------,- -----------------],
--R     4503599627370496 72057594037927936 4503599627370496   72057594037927936
--R     1080863910568919  1370683156669167  5482726527002879        6099673789
--R    [----------------,-----------------,------------------,- ------------------]
--R     1125899906842624 36028797018963968 144115188075855872   144115188075855872
--R     ,
--R     4368491638549381  2711138152639423  5422273042911649        3262367197
--R    [----------------,-----------------,------------------,- ------------------]
--R     4503599627370496 72057594037927936 144115188075855872   144115188075855872
--R     ,
--R     2206763817411543  2681248662632491  5362493744888153        3580376829
--R    [----------------,-----------------,------------------,- ------------------]
--R     2251799813685248 72057594037927936 144115188075855872   144115188075855872
--R     ,
--R     4458563631096791  2651690637558133  165730656496637       133611941
--R    [----------------,-----------------,----------------,- -----------------],
--R     4503599627370496 72057594037927936 4503599627370496   72057594037927936
--R        2622464077416349  5244927294669151         860163547
--R    [1,-----------------,------------------,- ------------------],
--R       72057594037927936 144115188075855872   144115188075855872
--R     568579452955525  324195222055967  5187125154713921      1601818449
--R    [---------------,----------------,------------------,------------------],
--R     562949953421312 9007199254740992 144115188075855872 144115188075855872
--R     2296835809958953  1282491867326147  5129967223251205         246053383
--R    [----------------,-----------------,------------------,- ------------------]
--R     2251799813685248 36028797018963968 144115188075855872   144115188075855872
--R     ,
--R     2319353808095805  2536722746270619  5073446220225357       727684119
--R    [----------------,-----------------,------------------,------------------],
--R     2251799813685248 72057594037927936 144115188075855872 144115188075855872
--R     1170935903116329  1254389405651355  2508777474651805       1336650905
--R    [----------------,-----------------,-----------------,- -----------------],
--R     1125899906842624 36028797018963968 72057594037927936   72057594037927936
--R     1182194902184755  2481144723989165  4962286296891227        3151087103
--R    [----------------,-----------------,------------------,- ------------------]
--R     1125899906842624 72057594037927936 144115188075855872   144115188075855872
--R     ,
--R     2386907802506363  2453813278570579  613454153894819      3337008697
--R    [----------------,-----------------,-----------------,-----------------],
--R     2251799813685248 72057594037927936 18014398509481984 72057594037927936
--R     2409425800643215  606697920201589   4853588801079891      5439467179
--R    [----------------,-----------------,------------------,------------------],
--R     2251799813685248 18014398509481984 144115188075855872 144115188075855872
--R     607985949695017  600018181234273   1200036533870999     171402453
--R    [---------------,-----------------,-----------------,-----------------],
--R     562949953421312 18014398509481984 36028797018963968 36028797018963968
--R     306807724614615  296706150650423  4747298442116073       31709305
--R    [---------------,----------------,------------------,------------------],
--R     281474976710656 9007199254740992 144115188075855872 144115188075855872
--R     2476979795053773  2347521121605231  73359984479861        1618249679
--R    [----------------,-----------------,----------------,- -----------------],
--R     2251799813685248 72057594037927936 2251799813685248   72057594037927936
--R     2499497793190625  4643362536766461   580420149009801        1344688053
--R    [----------------,------------------,-----------------,- ------------------]
--R     2251799813685248 144115188075855872 18014398509481984   144115188075855872
--R     ,
--R     1261007895663739  2296129645537381  2296129218598619       213469381
--R    [----------------,-----------------,-----------------,- -----------------],
--R     1125899906842624 72057594037927936 72057594037927936   36028797018963968
--R     1272266894732165  283857380913535  567715532040415      770213345
--R    [----------------,----------------,-----------------,-----------------],
--R     1125899906842624 9007199254740992 18014398509481984 18014398509481984
--R
--R      5134103575202365   8983506717821321    8983504476212339
--R     [----------------, ------------------, ------------------,
--R      4503599627370496  288230376151711744  288230376151711744
--R            1120804491
--R      - ------------------]
--R        144115188075855872
--R     ,
--R     2589569785738035  8884672521838899   1110584011179265        432404779
--R    [----------------,------------------,-----------------,- ------------------]
--R     2251799813685248 288230376151711744 36028797018963968   288230376151711744
--R     ,
--R     5224175567749775  4393466800642927   8786938821975045      5220689191
--R    [----------------,------------------,------------------,------------------],
--R     4503599627370496 144115188075855872 288230376151711744 288230376151711744
--R     658651445502935  1086286244520273  8690292287116423      2330954239
--R    [---------------,-----------------,------------------,------------------],
--R     562949953421312 36028797018963968 288230376151711744 288230376151711744
--R     5314247560297185  8594712763430277   8594720240076083      3738322903
--R    [----------------,------------------,------------------,------------------],
--R     4503599627370496 288230376151711744 288230376151711744 144115188075855872
--R     2679641778285445  8500202023090131   2125052644086723     8553256761
--R    [----------------,------------------,-----------------,------------------],
--R     2251799813685248 288230376151711744 72057594037927936 288230376151711744
--R     5404319552844595  4203378867570873   4203375665027639        1601271617
--R    [----------------,------------------,------------------,- -----------------]
--R     4503599627370496 144115188075855872 144115188075855872   72057594037927936
--R     ,
--R     1362338887279575  2078580563377473  4157165336169751      4209414805
--R    [----------------,-----------------,------------------,------------------],
--R     1125899906842624 72057594037927936 144115188075855872 144115188075855872
--R     5494391545392005  1027865550154023  4111468454873717      6254257625
--R    [----------------,-----------------,------------------,------------------],
--R     4503599627370496 36028797018963968 144115188075855872 144115188075855872
--R
--R      2769713770832855   4066282089154311    8132558482653603
--R     [----------------, ------------------, ------------------,
--R      2251799813685248  144115188075855872  288230376151711744
--R            5695655019
--R      - ------------------]
--R        288230376151711744
--R     ,
--R     5584463537939415  1005397992332997  4021591981847621       12515633
--R    [----------------,-----------------,------------------,------------------],
--R     4503599627370496 36028797018963968 144115188075855872 144115188075855872
--R     5  3977406252667931   7954802056227149        10449108713
--R    [-,------------------,------------------,- ------------------],
--R     4 144115188075855872 288230376151711744   288230376151711744
--R     709316941310853  983424029031131   7867401592795077      9360546029
--R    [---------------,-----------------,------------------,------------------],
--R     562949953421312 36028797018963968 288230376151711744 288230376151711744
--R     2859785763380265  1945245191369691  7780971533627437        9231851327
--R    [----------------,-----------------,------------------,- ------------------]
--R     2251799813685248 72057594037927936 288230376151711744   288230376151711744
--R     ,
--R     2882303761517117  7695491635912167   7695500965145129      4664616481
--R    [----------------,------------------,------------------,------------------],
--R     2251799813685248 288230376151711744 288230376151711744 144115188075855872
--R     1452410879826985  7610982489624485   237843096827787       3391135301
--R    [----------------,------------------,----------------,- ------------------],
--R     1125899906842624 288230376151711744 9007199254740992   288230376151711744
--R     1463669878895411  940924460067561   7527395268066105         412474383
--R    [----------------,-----------------,------------------,- ------------------]
--R     1125899906842624 36028797018963968 288230376151711744   288230376151711744
--R     ,
--R     2949857755927675  3722365604330089   7444738930110583      7721450405
--R    [----------------,------------------,------------------,------------------],
--R     2251799813685248 144115188075855872 288230376151711744 288230376151711744
--R     2972375754064527  115046704280993  3681499830632735      5293640959
--R    [----------------,----------------,------------------,------------------],
--R     2251799813685248 4503599627370496 144115188075855872 144115188075855872
--R     748723438050345  1820542319127653  7282167157178699        2119331913
--R    [---------------,-----------------,------------------,- ------------------],
--R     562949953421312 72057594037927936 288230376151711744   288230376151711744
--R     377176468792279  3601121496601871   7202231231117033        11762086709
--R    [---------------,------------------,------------------,- ------------------]
--R     281474976710656 144115188075855872 288230376151711744   288230376151711744
--R     ,
--R     3039929748475085  445198837564083   1780795453149087     102892755
--R    [----------------,-----------------,-----------------,-----------------],
--R     2251799813685248 18014398509481984 72057594037927936 72057594037927936
--R     3062447746611937  880626665376623   7045008946028333        4376984651
--R    [----------------,-----------------,------------------,- ------------------]
--R     2251799813685248 36028797018963968 288230376151711744   288230376151711744
--R     ,
--R
--R      1542482872374395   3483854968064547    6967702789383303
--R     [----------------, ------------------, ------------------,
--R      1125899906842624  144115188075855872  288230376151711744
--R            7146745791
--R      - ------------------]
--R        288230376151711744
--R     ,
--R     1553741871442821  3445621208668023   6891253612869047      11195533001
--R    [----------------,------------------,------------------,------------------],
--R     1125899906842624 144115188075855872 288230376151711744 288230376151711744
--R     6260003482044989  1703909897417863  6815651797625381      12207953929
--R    [----------------,-----------------,------------------,------------------],
--R     4503599627370496 72057594037927936 288230376151711744 288230376151711744
--R     3152519739159347  421306340820957   6740887834434321        13618700991
--R    [----------------,-----------------,------------------,- ------------------]
--R     2251799813685248 18014398509481984 288230376151711744   288230376151711744
--R     ,
--R     6350075474592399  13021370192607  6666952322445633      10783830849
--R    [----------------,---------------,------------------,------------------],
--R     4503599627370496 562949953421312 288230376151711744 288230376151711744
--R     799388933858263  3296923157611355   6593835967917555        10347305155
--R    [---------------,------------------,------------------,- ------------------]
--R     562949953421312 144115188075855872 288230376151711744   288230376151711744
--R     ,
--R     6440147467139809  6521529313846245   6521529582972561       67281579
--R    [----------------,------------------,------------------,-----------------],
--R     4503599627370496 288230376151711744 288230376151711744 72057594037927936
--R     3242591731706757  6450019357523005   3225012042183957      4726844909
--R    [----------------,------------------,------------------,------------------],
--R     2251799813685248 288230376151711744 144115188075855872 288230376151711744
--R     6530219459687219  3189658223126495   3189655246140439        372123257
--R    [----------------,------------------,------------------,- -----------------]
--R     4503599627370496 144115188075855872 144115188075855872   18014398509481984
--R     ,
--R
--R      1643813863990231   6309391756998585    3154689964554193
--R     [----------------, ------------------, ------------------,
--R      1125899906842624  288230376151711744  144115188075855872
--R            11827890199
--R      - ------------------]
--R        288230376151711744
--R     ,
--R     6620291452234629  3120108233361087   6240223618280985      7151558811
--R    [----------------,------------------,------------------,------------------],
--R     4503599627370496 144115188075855872 288230376151711744 288230376151711744
--R     3332663724254167  6171819398461373   6171832883090889      3371157379
--R    [----------------,------------------,------------------,-----------------],
--R     2251799813685248 288230376151711744 288230376151711744 72057594037927936
--R
--R      6710363444782039   3052100276108091    6104199145533969
--R     [----------------, ------------------, ------------------,
--R      4503599627370496  144115188075855872  288230376151711744
--R            1406682213
--R      - ------------------]
--R        288230376151711744
--R     ,
--R     3  6037302281911369   6037313925165493      2910813531
--R    [-,------------------,------------------,-----------------],
--R     2 288230376151711744 288230376151711744 72057594037927936
--R     850054429666181  2985591116811083   2985584418984737        3348913173
--R    [---------------,------------------,------------------,- -----------------],
--R     562949953421312 144115188075855872 144115188075855872   72057594037927936
--R     3422735716801577  369109621139733   5905755595241425      1657005697
--R    [----------------,-----------------,------------------,------------------],
--R     2251799813685248 18014398509481984 288230376151711744 288230376151711744
--R     3445253714938429  1460268760456821  365066625155275        2259835721
--R    [----------------,-----------------,-----------------,- -----------------],
--R     2251799813685248 72057594037927936 18014398509481984   72057594037927936
--R     1733885856537641  1444271974580401  722136494789763      1014999125
--R    [----------------,-----------------,-----------------,-----------------],
--R     1125899906842624 72057594037927936 36028797018963968 72057594037927936
--R     1745144855606067  5713821330756303   5713825453400969      2061322333
--R    [----------------,------------------,------------------,------------------],
--R     1125899906842624 288230376151711744 288230376151711744 144115188075855872
--R     3512807709348987  2825623258046883   2825629284682493      3013317805
--R    [----------------,------------------,------------------,-----------------],
--R     2251799813685248 144115188075855872 144115188075855872 72057594037927936
--R
--R      3535325707485839   5589392277371609    5589383477763187
--R     [----------------, ------------------, ------------------,
--R      2251799813685248  288230376151711744  288230376151711744
--R            4399804211
--R      - ------------------]
--R        144115188075855872
--R     ,
--R     889460926405673  691025121064325   2764096219514779        4264742521
--R    [---------------,-----------------,------------------,- ------------------],
--R     562949953421312 36028797018963968 144115188075855872   144115188075855872
--R     447545212969943  5467672589522741   683459725181415      5211928579
--R    [---------------,------------------,-----------------,------------------],
--R     281474976710656 288230376151711744 36028797018963968 288230376151711744
--R
--R      3602879701896397   2703917981716823    5407832000153319
--R     [----------------, ------------------, ------------------,
--R      2251799813685248  144115188075855872  288230376151711744
--R            3963280327
--R      - ------------------]
--R        288230376151711744
--R     ,
--R     3625397700033249  1337158361043021  2674323778047245      7055961203
--R    [----------------,-----------------,------------------,------------------],
--R     2251799813685248 72057594037927936 144115188075855872 144115188075855872
--R
--R      1823957849085051   5290122677813287    2645058537538071
--R     [----------------, ------------------, ------------------,
--R      1125899906842624  288230376151711744  144115188075855872
--R            5602737145
--R      - ------------------]
--R        288230376151711744
--R     ,
--R
--R      1835216848153477   5232246018282023    5232233246762009
--R     [----------------, ------------------, ------------------,
--R      1125899906842624  288230376151711744  288230376151711744
--R            6385760007
--R      - ------------------]
--R        144115188075855872
--R     ,
--R     7385903388887613  2587487321270339   5174988843709857      14201169179
--R    [----------------,------------------,------------------,------------------],
--R     4503599627370496 144115188075855872 288230376151711744 288230376151711744
--R     3715469692580659  2559183098332241   5118376720414551      10523750069
--R    [----------------,------------------,------------------,------------------],
--R     2251799813685248 144115188075855872 288230376151711744 288230376151711744
--R     7475975381435023  1265597964403955  5062389812362411        2045253409
--R    [----------------,-----------------,------------------,- ------------------]
--R     4503599627370496 72057594037927936 288230376151711744   288230376151711744
--R     ,
--R     940126422213591  1251755700589269  312938820943547        416815081
--R    [---------------,-----------------,-----------------,- -----------------],
--R     562949953421312 72057594037927936 18014398509481984   72057594037927936
--R     7566047373982433  2476129515444125   2476131891647213      148512693
--R    [----------------,------------------,------------------,----------------],
--R     4503599627370496 144115188075855872 144115188075855872 9007199254740992
--R     3805541685128069  38266410493823   2449055464926647      5193321975
--R    [----------------,----------------,------------------,------------------],
--R     2251799813685248 2251799813685248 144115188075855872 144115188075855872
--R     7656119366529843  1211136834830089  1211138956247607     1060708759
--R    [----------------,-----------------,-----------------,-----------------],
--R     4503599627370496 72057594037927936 72057594037927936 36028797018963968
--R
--R      1925288840700887   2395799709610643    4791591795350965
--R     [----------------, ------------------, ------------------,
--R      1125899906842624  144115188075855872  288230376151711744
--R            7623870321
--R      - ------------------]
--R        288230376151711744
--R     ,
--R     7746191359077253  4739199136836905   2369606121563731      13106290557
--R    [----------------,------------------,------------------,------------------],
--R     4503599627370496 288230376151711744 144115188075855872 288230376151711744
--R     3895613677675479  2343702069121221   585926330648703      3253473591
--R    [----------------,------------------,-----------------,------------------],
--R     2251799813685248 144115188075855872 36028797018963968 144115188075855872
--R
--R      7836263351624663   4636185600400283    2318090276112137
--R     [----------------, ------------------, ------------------,
--R      4503599627370496  288230376151711744  144115188075855872
--R            5048176009
--R      - ------------------]
--R        288230376151711744
--R     ,
--R     7  1146378675068203  4585515587885473       887612661
--R    [-,-----------------,------------------,------------------],
--R     4 72057594037927936 288230376151711744 288230376151711744
--R     990791918021509  1133855065224411  2267704723977305        5406471517
--R    [---------------,-----------------,------------------,- ------------------],
--R     562949953421312 72057594037927936 144115188075855872   144115188075855872
--R     3985685670222889  8971689272399101   4485855899510397      22526621693
--R    [----------------,------------------,------------------,------------------],
--R     2251799813685248 576460752303423488 288230376151711744 576460752303423488
--R     4008203668359741  8873690944507519   8873697560217267      1653927437
--R    [----------------,------------------,------------------,------------------],
--R     2251799813685248 576460752303423488 576460752303423488 144115188075855872
--R
--R      2015360833248297   4388393946022657    2194190998485787
--R     [----------------, ------------------, ------------------,
--R      1125899906842624  288230376151711744  144115188075855872
--R            11949051083
--R      - ------------------]
--R        288230376151711744
--R     ,
--R
--R      2026619832316723   4340461234468627    8680899052373765
--R     [----------------, ------------------, ------------------,
--R      1125899906842624  288230376151711744  576460752303423488
--R            23416563489
--R      - ------------------]
--R        576460752303423488
--R     ,
--R     4075757662770299  8586094675183341   8586090823831877        481418933
--R    [----------------,------------------,------------------,- -----------------]
--R     2251799813685248 576460752303423488 576460752303423488   72057594037927936
--R     ,
--R     4098275660907151  4246152255391787   8492327531222993      23020439419
--R    [----------------,------------------,------------------,------------------],
--R     2251799813685248 288230376151711744 576460752303423488 576460752303423488
--R     1030198414761001  131243900340831  8399597530488965        12091324219
--R    [----------------,----------------,------------------,- ------------------],
--R      562949953421312 9007199254740992 576460752303423488   576460752303423488
--R     517913957147607  2076973679030427   519243081817489        1351760471
--R    [---------------,------------------,-----------------,- ------------------],
--R     281474976710656 144115188075855872 36028797018963968   144115188075855872
--R
--R      4165829655317709   2054304359946095    8217191484443463
--R     [----------------, ------------------, ------------------,
--R      2251799813685248  144115188075855872  576460752303423488
--R            25955340917
--R      - ------------------]
--R        576460752303423488
--R     ,
--R     4188347653454561  507970009170373   8127492802533109        27344192859
--R    [----------------,-----------------,------------------,- ------------------]
--R     2251799813685248 36028797018963968 576460752303423488   576460752303423488
--R     ,
--R
--R      2105432825795707   4019401418473235    4019391068166117
--R     [----------------, ------------------, ------------------,
--R      1125899906842624  288230376151711744  288230376151711744
--R            5175153559
--R      - ------------------]
--R        144115188075855872
--R     ,
--R
--R      2116691824864133   3975532755222945    7951048484396819
--R     [----------------, ------------------, ------------------,
--R      1125899906842624  288230376151711744  576460752303423488
--R            17026049071
--R      - ------------------]
--R        576460752303423488
--R     ,
--R     8511803295730237  245759630225757   1966070242353657        6799452399
--R    [----------------,-----------------,------------------,- ------------------]
--R     4503599627370496 18014398509481984 144115188075855872   144115188075855872
--R     ,
--R
--R      4278419646001971   1944618290301561    3889234418390719
--R     [----------------, ------------------, ------------------,
--R      2251799813685248  144115188075855872  288230376151711744
--R            2162212403
--R      - ------------------]
--R        288230376151711744
--R     ,
--R
--R      8601875288277647   1923404534616795    7693601453193881
--R     [----------------, ------------------, ------------------,
--R      4503599627370496  144115188075855872  576460752303423488
--R            16685273299
--R      - ------------------]
--R        576460752303423488
--R     ,
--R
--R      1080863910568919   3804842726465901    7609668305258795
--R     [----------------, ------------------, ------------------,
--R       562949953421312  288230376151711744  576460752303423488
--R            17147673007
--R      - ------------------]
--R        576460752303423488
--R     ,
--R     8691947280825057  7526675104600109   7526658998118829        125831885
--R    [----------------,------------------,------------------,- ----------------],
--R     4503599627370496 576460752303423488 576460752303423488   4503599627370496
--R
--R      4368491638549381   3722293546736051    7444563254094147
--R     [----------------, ------------------, ------------------,
--R      2251799813685248  288230376151711744  576460752303423488
--R            23839377955
--R      - ------------------]
--R        576460752303423488
--R     ,
--R     8782019273372467  3681681886736275   230105340979375      3568933725
--R    [----------------,------------------,-----------------,------------------],
--R     4503599627370496 288230376151711744 18014398509481984 288230376151711744
--R     2206763817411543  3641531395338341   910383990315001      4565921663
--R    [----------------,------------------,-----------------,------------------],
--R     1125899906842624 288230376151711744 72057594037927936 288230376151711744
--R
--R      8872091265919877   7203684145084501    7203656353494947
--R     [----------------, ------------------, ------------------,
--R      4503599627370496  576460752303423488  576460752303423488
--R            13895794777
--R      - ------------------]
--R        288230376151711744
--R     ,
--R     4458563631096791  890639068068193   3562557191013423       918740651
--R    [----------------,-----------------,------------------,------------------],
--R     2251799813685248 72057594037927936 288230376151711744 288230376151711744
--R
--R      8962163258467287   3523731640605137    3523718148249119
--R     [----------------, ------------------, ------------------,
--R      4503599627370496  288230376151711744  288230376151711744
--R            6746178009
--R      - ------------------]
--R        144115188075855872
--R     ,
--R        6970621062928227   6970612494646361        4284140933
--R    [2,------------------,------------------,- ------------------]]
--R       576460752303423488 576460752303423488   288230376151711744
--R                                          Type: List(List(Fraction(Integer)))
--E 6

)spool
)lisp (bye)