/usr/share/axiom-20140801/input/e1.input is in axiom-test 20140801-6.
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 | )set break resume
)spool e1.output
)set message test on
)set message auto off
)clear all
--S 1 of 7
machineFraction (G:DFLOAT:=0.577215664901532860606512)
--R
--R
--R 649887063340739
--R (1) ----------------
--R 1125899906842624
--R Type: Fraction(Integer)
--E 1
--S 2 of 7
f(x)==x^-1 * (E1(x)::DFLOAT + log(x) + G)
--R
--R Type: Void
--E 2
--S 3 of 7
t3:List List Fraction Integer:=[[machineFraction (x::DFLOAT) for x in line]_
for line in _
[[0.01,0.9975055452, f(0.01), f(0.01)-0.9975055452],_
[0.02,0.9950221392, f(0.02), f(0.02)-0.9950221392],_
[0.03,0.9925497201, f(0.03), f(0.03)-0.9925497201],_
[0.04,0.9900882265, f(0.04), f(0.04)-0.9900882265],_
[0.05,0.9876375971, f(0.05), f(0.05)-0.9876375971],_
[0.06,0.9851977714, f(0.06), f(0.06)-0.9851977714],_
[0.07,0.9827686889, f(0.07), f(0.07)-0.9827686889],_
[0.08,0.9803502898, f(0.08), f(0.08)-0.9803502898],_
[0.09,0.9779425142, f(0.09), f(0.09)-0.9779425142],_
[0.10,0.9755453033, f(0.10), f(0.10)-0.9755453033],_
[0.11,0.9731585980, f(0.11), f(0.11)-0.9731585980],_
[0.12,0.9707823399, f(0.12), f(0.12)-0.9707823399],_
[0.13,0.9684164710, f(0.13), f(0.13)-0.9684164710],_
[0.14,0.9660609336, f(0.14), f(0.14)-0.9660609336],_
[0.15,0.9637156702, f(0.15), f(0.15)-0.9637156702],_
[0.16,0.9613806240, f(0.16), f(0.16)-0.9613806240],_
[0.17,0.9590557383, f(0.17), f(0.17)-0.9590557383],_
[0.18,0.9567409569, f(0.18), f(0.18)-0.9567409569],_
[0.19,0.9544362237, f(0.19), f(0.19)-0.9544362237],_
[0.20,0.9521414833, f(0.20), f(0.20)-0.9521414833],_
[0.21,0.9498566804, f(0.21), f(0.21)-0.9498566804],_
[0.22,0.9475817603, f(0.22), f(0.22)-0.9475817603],_
[0.23,0.9453166684, f(0.23), f(0.23)-0.9453166684],_
[0.24,0.9430613506, f(0.24), f(0.24)-0.9430613506],_
[0.25,0.9408157528, f(0.25), f(0.25)-0.9408157528],_
[0.26,0.9385798221, f(0.26), f(0.26)-0.9385798221],_
[0.27,0.9363535046, f(0.27), f(0.27)-0.9363535046],_
[0.28,0.9341367481, f(0.28), f(0.28)-0.9341367481],_
[0.29,0.9319294997, f(0.29), f(0.29)-0.9319294997],_
[0.30,0.9297317075, f(0.30), f(0.30)-0.9297317075],_
[0.31,0.9275433196, f(0.31), f(0.31)-0.9275433196],_
[0.32,0.9253642845, f(0.32), f(0.32)-0.9253642845],_
[0.33,0.9231945510, f(0.33), f(0.33)-0.9231945510],_
[0.34,0.9210340684, f(0.34), f(0.34)-0.9210340684],_
[0.35,0.9188827858, f(0.35), f(0.35)-0.9188827858],_
[0.36,0.9167406533, f(0.36), f(0.36)-0.9167406533],_
[0.37,0.9146076209, f(0.37), f(0.37)-0.9146076209],_
[0.38,0.9124836388, f(0.38), f(0.38)-0.9124836388],_
[0.39,0.9103686582, f(0.39), f(0.39)-0.9103686582],_
[0.40,0.9082626297, f(0.40), f(0.40)-0.9082626297],_
[0.41,0.9061655048, f(0.41), f(0.41)-0.9061655048],_
[0.42,0.9040772350, f(0.42), f(0.42)-0.9040772350],_
[0.43,0.9019977725, f(0.43), f(0.43)-0.9019977725],_
[0.44,0.8999270693, f(0.44), f(0.44)-0.8999270693],_
[0.45,0.8978650778, f(0.45), f(0.45)-0.8978650778],_
[0.46,0.8958117511, f(0.46), f(0.46)-0.8958117511],_
[0.47,0.8937670423, f(0.47), f(0.47)-0.8937670423],_
[0.48,0.8917309048, f(0.48), f(0.48)-0.8917309048],_
[0.49,0.8897032920, f(0.49), f(0.49)-0.8897032920],_
[0.50,0.8876841584, f(0.50), f(0.50)-0.8876841584]]]
--R
--R Compiling function f with type Float -> DoubleFloat
--R
--R (3)
--R 2882303761517117 4492365601662723 280772850091425 199923
--R [[------------------,----------------,---------------,- ----------------],
--R 288230376151711744 4503599627370496 281474976710656 4503599627370496
--R 2882303761517117 2240590667663257 560147666890375 101757
--R [------------------,----------------,---------------,- ----------------],
--R 144115188075855872 2251799813685248 562949953421312 2251799813685248
--R 1080863910568919 2235023274794525 2235023274781933 787
--R [-----------------,----------------,----------------,- ---------------],
--R 36028797018963968 2251799813685248 2251799813685248 140737488355328
--R 2882303761517117 4458960967929315 2229480483886525 156265
--R [-----------------,----------------,----------------,- ----------------],
--R 72057594037927936 4503599627370496 2251799813685248 4503599627370496
--R 3602879701896397 1111981078569163 277995269656455 56657
--R [-----------------,----------------,---------------,----------------],
--R 72057594037927936 1125899906842624 281474976710656 1125899906842624
--R 1080863910568919 4436936316163283 8873872632518599 192033
--R [-----------------,----------------,----------------,----------------],
--R 18014398509481984 4503599627370496 9007199254740992 9007199254740992
--R 1261007895663739 4425996701121431 2212998350642857 164283
--R [-----------------,----------------,----------------,----------------],
--R 18014398509481984 4503599627370496 2251799813685248 4503599627370496
--R 2882303761517117 2207552599917919 2207552599777725 70097
--R [-----------------,----------------,----------------,- ----------------],
--R 36028797018963968 2251799813685248 2251799813685248 1125899906842624
--R 3242591731706757 2202130771270443 8808523085514533 432761
--R [-----------------,----------------,----------------,----------------],
--R 36028797018963968 2251799813685248 9007199254740992 9007199254740992
--R 3602879701896397 8786930928849835 2196732732142155 281215
--R [-----------------,----------------,----------------,- ----------------],
--R 36028797018963968 9007199254740992 2251799813685248 9007199254740992
--R 990791918021509 2191358349662597 1095679174805559 51479
--R [----------------,----------------,----------------,- ----------------],
--R 9007199254740992 2251799813685248 1125899906842624 2251799813685248
--R 1080863910568919 2186007492115749 8744029968675015 212019
--R [----------------,----------------,----------------,----------------],
--R 9007199254740992 2251799813685248 9007199254740992 9007199254740992
--R 1170935903116329 8722720115870101 8722720116131645 32693
--R [----------------,----------------,----------------,----------------],
--R 9007199254740992 9007199254740992 9007199254740992 1125899906842624
--R 1261007895663739 4350751660578153 8701503321001285 155021
--R [----------------,----------------,----------------,- ----------------],
--R 9007199254740992 4503599627370496 9007199254740992 9007199254740992
--R 5404319552844595 1085047383300957 8680379066763613 355957
--R [-----------------,----------------,----------------,----------------],
--R 36028797018963968 1125899906842624 9007199254740992 9007199254740992
--R 2882303761517117 4329673420007615 1082418355021025 76485
--R [-----------------,----------------,----------------,----------------],
--R 18014398509481984 4503599627370496 1125899906842624 4503599627370496
--R 3062447746611937 539900383204427 8638406131212201 58631
--R [-----------------,---------------,----------------,- ----------------],
--R 18014398509481984 562949953421312 9007199254740992 9007199254740992
--R 3242591731706757 1077194554246233 8617556433117933 851931
--R [-----------------,----------------,----------------,- ----------------],
--R 18014398509481984 1125899906842624 9007199254740992 9007199254740992
--R 3422735716801577 4298398621404223 2149199310577695 248833
--R [-----------------,----------------,----------------,- ----------------],
--R 18014398509481984 4503599627370496 2251799813685248 4503599627370496
--R 3602879701896397 4288064029393871 1072016007299635 195331
--R [-----------------,----------------,----------------,- ----------------],
--R 18014398509481984 4503599627370496 1125899906842624 4503599627370496
--R 7566047373982433 267360886994051 8555548384142333 332701
--R [-----------------,---------------,----------------,----------------],
--R 36028797018963968 281474976710656 9007199254740992 9007199254740992
--R 990791918021509 8535057725180317 8535057725449499 134591
--R [----------------,----------------,----------------,----------------],
--R 4503599627370496 9007199254740992 9007199254740992 4503599627370496
--R 517913957147607 8514655591106717 8514655591337513 57699
--R [----------------,----------------,----------------,----------------],
--R 2251799813685248 9007199254740992 9007199254740992 2251799813685248
--R 1080863910568919 8494341494299353 8494341493919799 189777
--R [----------------,----------------,----------------,- ----------------],
--R 4503599627370496 9007199254740992 9007199254740992 4503599627370496
--R 1 8474114947468745 132408046068487 914423
--R [-,----------------,---------------,----------------],
--R 4 9007199254740992 140737488355328 9007199254740992
--R 1170935903116329 2113493868533513 8453975472966707 1167345
--R [----------------,----------------,----------------,- ----------------],
--R 4503599627370496 2251799813685248 9007199254740992 9007199254740992
--R 607985949695017 2108480647201809 8433922588940829 133593
--R [----------------,----------------,----------------,----------------],
--R 2251799813685248 2251799813685248 9007199254740992 9007199254740992
--R 1261007895663739 4206977910656247 2103488955146641 362965
--R [----------------,----------------,----------------,- ----------------],
--R 4503599627370496 4503599627370496 2251799813685248 4503599627370496
--R 5224175567749775 4197037347584493 8394074695174917 5931
--R [-----------------,----------------,----------------,----------------],
--R 18014398509481984 4503599627370496 9007199254740992 9007199254740992
--R 5404319552844595 4187139371451535 8374278742946419 43349
--R [-----------------,----------------,----------------,----------------],
--R 18014398509481984 4503599627370496 9007199254740992 9007199254740992
--R 5584463537939415 4177283748520553 8354567497090819 49713
--R [-----------------,----------------,----------------,----------------],
--R 18014398509481984 4503599627370496 9007199254740992 9007199254740992
--R 2882303761517117 8334940493712331 8334940493726925 7297
--R [----------------,----------------,----------------,----------------],
--R 9007199254740992 9007199254740992 9007199254740992 4503599627370496
--R 2972375754064527 519712329484259 4157698635941277 67205
--R [----------------,---------------,----------------,----------------],
--R 9007199254740992 562949953421312 4503599627370496 4503599627370496
--R 3062447746611937 1036992171810443 8295937373474689 1008855
--R [----------------,----------------,----------------,- ----------------],
--R 9007199254740992 1125899906842624 9007199254740992 9007199254740992
--R 3152519739159347 4138280171726043 8276560343289725 162361
--R [----------------,----------------,----------------,- ----------------],
--R 9007199254740992 4503599627370496 9007199254740992 9007199254740992
--R 3242591731706757 4128632864597265 4128632864481965 28825
--R [----------------,----------------,----------------,- ----------------],
--R 9007199254740992 4503599627370496 4503599627370496 1125899906842624
--R 3332663724254167 32179894849027 8238053080963919 386993
--R [----------------,--------------,----------------,- ----------------],
--R 9007199254740992 35184372088832 9007199254740992 9007199254740992
--R 3422735716801577 2054730487840677 8218921952567437 1204729
--R [----------------,----------------,----------------,----------------],
--R 9007199254740992 2251799813685248 9007199254740992 9007199254740992
--R 3512807709348987 2049967974919649 8199871899844143 165547
--R [----------------,----------------,----------------,----------------],
--R 9007199254740992 2251799813685248 9007199254740992 9007199254740992
--R 3602879701896397 4090451240671467 8180902481636575 293641
--R [----------------,----------------,----------------,----------------],
--R 9007199254740992 4503599627370496 9007199254740992 9007199254740992
--R 7385903388887613 4081006629753277 4081006629770655 8689
--R [-----------------,----------------,----------------,----------------],
--R 18014398509481984 4503599627370496 4503599627370496 2251799813685248
--R 7566047373982433 1017900474665037 8143203797890169 569873
--R [-----------------,----------------,----------------,----------------],
--R 18014398509481984 1125899906842624 9007199254740992 9007199254740992
--R 7746191359077253 4062236832120017 4062236831865817 31775
--R [-----------------,----------------,----------------,- ---------------],
--R 18014398509481984 4503599627370496 4503599627370496 562949953421312
--R 990791918021509 8105822427920205 4052911213406161 1107883
--R [----------------,----------------,----------------,- ----------------],
--R 2251799813685248 9007199254740992 4503599627370496 9007199254740992
--R 2026619832316723 4043624829809061 8087249659558689 59433
--R [----------------,----------------,----------------,- ----------------],
--R 4503599627370496 4503599627370496 9007199254740992 9007199254740992
--R 517913957147607 8068754936896143 8068754937058771 40657
--R [----------------,----------------,----------------,----------------],
--R 1125899906842624 9007199254740992 9007199254740992 2251799813685248
--R 2116691824864133 2012584459329155 2012584459261035 8515
--R [----------------,----------------,----------------,- ---------------],
--R 4503599627370496 2251799813685248 2251799813685248 281474976710656
--R 1080863910568919 4015998970572035 8031997939871911 1272159
--R [----------------,----------------,----------------,- ----------------],
--R 2251799813685248 4503599627370496 9007199254740992 9007199254740992
--R 2206763817411543 8013734828643007 8013734828506949 68029
--R [----------------,----------------,----------------,- ----------------],
--R 4503599627370496 9007199254740992 9007199254740992 4503599627370496
--R 1 999443511248233 1998887022126037 370429
--R [-,----------------,----------------,- ----------------]]
--R 2 1125899906842624 2251799813685248 2251799813685248
--R Type: List(List(Fraction(Integer)))
--E 3
--S 4 of 7
t4:List List Fraction Integer:=[[machineFraction (x::DFLOAT) for x in line]_
for line in _
[[0.50, 0.559773595, E1(0.50), E1(0.50)-0.559773595],_
[0.51, 0.547822352, E1(0.51), E1(0.51)-0.547822352],_
[0.52, 0.536219798, E1(0.52), E1(0.52)-0.536219798],_
[0.53, 0.524951510, E1(0.53), E1(0.53)-0.524951510],_
[0.54, 0.514003886, E1(0.54), E1(0.54)-0.514003886],_
[0.55, 0.503364081, E1(0.55), E1(0.55)-0.503364081],_
[0.56, 0.493019959, E1(0.56), E1(0.56)-0.493019959],_
[0.57, 0.482960034, E1(0.57), E1(0.57)-0.482960034],_
[0.58, 0.473173433, E1(0.58), E1(0.58)-0.473173433],_
[0.59, 0.463649849, E1(0.59), E1(0.59)-0.463649849],_
[0.60, 0.454379503, E1(0.60), E1(0.60)-0.454379503],_
[0.61, 0.445353112, E1(0.61), E1(0.61)-0.445353112],_
[0.62, 0.436561854, E1(0.62), E1(0.62)-0.436561854],_
[0.63, 0.427997338, E1(0.63), E1(0.63)-0.427997338],_
[0.64, 0.419651581, E1(0.64), E1(0.64)-0.419651581],_
[0.65, 0.411516976, E1(0.65), E1(0.65)-0.411516976],_
[0.66, 0.403586275, E1(0.66), E1(0.66)-0.403586275],_
[0.67, 0.395852563, E1(0.67), E1(0.67)-0.395852563],_
[0.68, 0.388309243, E1(0.68), E1(0.68)-0.388309243],_
[0.69, 0.380950010, E1(0.69), E1(0.69)-0.380950010],_
[0.70, 0.373768843, E1(0.70), E1(0.70)-0.373768843],_
[0.71, 0.366759981, E1(0.71), E1(0.71)-0.366759981],_
[0.72, 0.359917914, E1(0.72), E1(0.72)-0.359917914],_
[0.73, 0.353237364, E1(0.73), E1(0.73)-0.353237364],_
[0.74, 0.346713279, E1(0.74), E1(0.74)-0.346713279],_
[0.75, 0.340340813, E1(0.75), E1(0.75)-0.340340813],_
[0.76, 0.334115321, E1(0.76), E1(0.76)-0.334115321],_
[0.77, 0.328032346, E1(0.77), E1(0.77)-0.328032346],_
[0.78, 0.322087610, E1(0.78), E1(0.78)-0.322087610],_
[0.79, 0.316277004, E1(0.79), E1(0.79)-0.316277004],_
[0.80, 0.310596579, E1(0.80), E1(0.80)-0.310596579],_
[0.81, 0.305042539, E1(0.81), E1(0.81)-0.305042539],_
[0.82, 0.299611236, E1(0.82), E1(0.82)-0.299611236],_
[0.83, 0.294299155, E1(0.83), E1(0.83)-0.294299155],_
[0.84, 0.289102918, E1(0.84), E1(0.84)-0.289102918],_
[0.85, 0.284019269, E1(0.85), E1(0.85)-0.284019269],_
[0.86, 0.279045070, E1(0.86), E1(0.86)-0.279045070],_
[0.87, 0.274177301, E1(0.87), E1(0.87)-0.274177301],_
[0.88, 0.269413046, E1(0.88), E1(0.88)-0.269413046],_
[0.89, 0.264749496, E1(0.89), E1(0.89)-0.264749496],_
[0.90, 0.260183939, E1(0.90), E1(0.90)-0.260183939],_
[0.91, 0.255713758, E1(0.91), E1(0.91)-0.255713758],_
[0.92, 0.251336425, E1(0.92), E1(0.92)-0.251336425],_
[0.93, 0.247049501, E1(0.93), E1(0.93)-0.247049501],_
[0.94, 0.242850627, E1(0.94), E1(0.94)-0.242850627],_
[0.95, 0.238737524, E1(0.95), E1(0.95)-0.238737524],_
[0.96, 0.234707988, E1(0.96), E1(0.96)-0.234707988],_
[0.97, 0.230759890, E1(0.97), E1(0.97)-0.230759890],_
[0.98, 0.226891167, E1(0.98), E1(0.98)-0.226891167],_
[0.99, 0.223099826, E1(0.99), E1(0.99)-0.223099826],_
[1.00, 0.219383934, E1(1.00), E1(1.00)-0.219383934],_
[1.01, 0.215741624, E1(1.01), E1(1.01)-0.215741624],_
[1.02, 0.212171083, E1(1.02), E1(1.02)-0.212171083],_
[1.03, 0.208670559, E1(1.03), E1(1.03)-0.208670559],_
[1.04, 0.205238352, E1(1.04), E1(1.04)-0.205238352],_
[1.05, 0.201872813, E1(1.05), E1(1.05)-0.201872813],_
[1.06, 0.198572347, E1(1.06), E1(1.06)-0.198572347],_
[1.07, 0.195335403, E1(1.07), E1(1.07)-0.195335403],_
[1.08, 0.192160479, E1(1.08), E1(1.08)-0.192160479],_
[1.09, 0.189046118, E1(1.09), E1(1.09)-0.189046118],_
[1.10, 0.185990905, E1(1.10), E1(1.10)-0.185990905],_
[1.11, 0.182993465, E1(1.11), E1(1.11)-0.182993465],_
[1.12, 0.180052467, E1(1.12), E1(1.12)-0.180052467],_
[1.13, 0.177166615, E1(1.13), E1(1.13)-0.177166615],_
[1.14, 0.174334651, E1(1.14), E1(1.14)-0.174334651],_
[1.15, 0.171555354, E1(1.15), E1(1.15)-0.171555354],_
[1.16, 0.168827535, E1(1.16), E1(1.16)-0.168827535],_
[1.17, 0.166150040, E1(1.17), E1(1.17)-0.166150040],_
[1.18, 0.163521748, E1(1.18), E1(1.18)-0.163521748],_
[1.19, 0.160941567, E1(1.19), E1(1.19)-0.160941567],_
[1.20, 0.158408437, E1(1.20), E1(1.20)-0.158408437],_
[1.21, 0.155921324, E1(1.21), E1(1.21)-0.155921324],_
[1.22, 0.153479226, E1(1.22), E1(1.22)-0.153479226],_
[1.23, 0.151081164, E1(1.23), E1(1.23)-0.151081164],_
[1.24, 0.148726188, E1(1.24), E1(1.24)-0.148726188],_
[1.25, 0.146413373, E1(1.25), E1(1.25)-0.146413373],_
[1.26, 0.144141815, E1(1.26), E1(1.26)-0.144141815],_
[1.27, 0.141910639, E1(1.27), E1(1.27)-0.141910639],_
[1.28, 0.139718989, E1(1.28), E1(1.28)-0.139718989],_
[1.29, 0.137566032, E1(1.29), E1(1.29)-0.137566032],_
[1.30, 0.135450958, E1(1.30), E1(1.30)-0.135450958],_
[1.31, 0.133372975, E1(1.31), E1(1.31)-0.133372975],_
[1.32, 0.131331314, E1(1.32), E1(1.32)-0.131331314],_
[1.33, 0.129325224, E1(1.33), E1(1.33)-0.129325224],_
[1.34, 0.127353972, E1(1.34), E1(1.34)-0.127353972],_
[1.35, 0.125416844, E1(1.35), E1(1.35)-0.125416844],_
[1.36, 0.123513146, E1(1.36), E1(1.36)-0.123513146],_
[1.37, 0.121642198, E1(1.37), E1(1.37)-0.121642198],_
[1.38, 0.119803337, E1(1.38), E1(1.38)-0.119803337],_
[1.39, 0.117995919, E1(1.39), E1(1.39)-0.117995919],_
[1.40, 0.116219313, E1(1.40), E1(1.40)-0.116219313],_
[1.41, 0.114472903, E1(1.41), E1(1.41)-0.114472903],_
[1.42, 0.112756090, E1(1.42), E1(1.42)-0.112756090],_
[1.43, 0.111068287, E1(1.43), E1(1.43)-0.111068287],_
[1.44, 0.109408923, E1(1.44), E1(1.44)-0.109408923],_
[1.45, 0.107777440, E1(1.45), E1(1.45)-0.107777440],_
[1.46, 0.106173291, E1(1.46), E1(1.46)-0.106173291],_
[1.47, 0.104595946, E1(1.47), E1(1.47)-0.104595946],_
[1.48, 0.103044882, E1(1.48), E1(1.48)-0.103044882],_
[1.49, 0.101519593, E1(1.49), E1(1.49)-0.101519593],_
[1.50, 0.100019582, E1(1.50), E1(1.50)-0.100019582],_
[1.51, 0.098544365, E1(1.51), E1(1.51)-0.098544365],_
[1.52, 0.097093466, E1(1.52), E1(1.52)-0.097093466],_
[1.53, 0.095666424, E1(1.53), E1(1.53)-0.095666424],_
[1.54, 0.094262786, E1(1.54), E1(1.54)-0.094262786],_
[1.55, 0.092882108, E1(1.55), E1(1.55)-0.092882108],_
[1.56, 0.091523960, E1(1.56), E1(1.56)-0.091523960],_
[1.57, 0.090187917, E1(1.57), E1(1.57)-0.090187917],_
[1.58, 0.088873566, E1(1.58), E1(1.58)-0.088873566],_
[1.59, 0.087580504, E1(1.59), E1(1.59)-0.087580504],_
[1.60, 0.086308334, E1(1.60), E1(1.60)-0.086308334],_
[1.61, 0.085056670, E1(1.61), E1(1.61)-0.085056670],_
[1.62, 0.083825133, E1(1.62), E1(1.62)-0.083825133],_
[1.63, 0.082613354, E1(1.63), E1(1.63)-0.082613354],_
[1.64, 0.081420970, E1(1.64), E1(1.64)-0.081420970],_
[1.65, 0.080247627, E1(1.65), E1(1.65)-0.080247627],_
[1.66, 0.079092978, E1(1.66), E1(1.66)-0.079092978],_
[1.67, 0.077956684, E1(1.67), E1(1.67)-0.077956684],_
[1.68, 0.076838412, E1(1.68), E1(1.68)-0.076838412],_
[1.69, 0.075737839, E1(1.69), E1(1.69)-0.075737839],_
[1.70, 0.074654644, E1(1.70), E1(1.70)-0.074654644],_
[1.71, 0.073588518, E1(1.71), E1(1.71)-0.073588518],_
[1.72, 0.072539154, E1(1.72), E1(1.72)-0.072539154],_
[1.73, 0.071506255, E1(1.73), E1(1.73)-0.071506255],_
[1.74, 0.070489527, E1(1.74), E1(1.74)-0.070489527],_
[1.75, 0.069488685, E1(1.75), E1(1.75)-0.069488685],_
[1.76, 0.068503447, E1(1.76), E1(1.76)-0.068503447],_
[1.77, 0.067533539, E1(1.77), E1(1.77)-0.067533539],_
[1.78, 0.066578691, E1(1.78), E1(1.78)-0.066578691],_
[1.79, 0.065638641, E1(1.79), E1(1.79)-0.065638641],_
[1.80, 0.064713129, E1(1.80), E1(1.80)-0.064713129],_
[1.81, 0.063801903, E1(1.81), E1(1.81)-0.063801903],_
[1.82, 0.062904715, E1(1.82), E1(1.82)-0.062904715],_
[1.83, 0.062021320, E1(1.83), E1(1.83)-0.062021320],_
[1.84, 0.061151482, E1(1.84), E1(1.84)-0.061151482],_
[1.85, 0.060294967, E1(1.85), E1(1.85)-0.060294967],_
[1.86, 0.059451545, E1(1.86), E1(1.86)-0.059451545],_
[1.87, 0.058620994, E1(1.87), E1(1.87)-0.058620994],_
[1.88, 0.057803091, E1(1.88), E1(1.88)-0.057803091],_
[1.89, 0.056997623, E1(1.89), E1(1.89)-0.056997623],_
[1.90, 0.056204378, E1(1.90), E1(1.90)-0.056204378],_
[1.91, 0.055423149, E1(1.91), E1(1.91)-0.055423149],_
[1.92, 0.054653731, E1(1.92), E1(1.92)-0.054653731],_
[1.93, 0.053895927, E1(1.93), E1(1.93)-0.053895927],_
[1.94, 0.053149540, E1(1.94), E1(1.94)-0.053149540],_
[1.95, 0.052414380, E1(1.95), E1(1.95)-0.052414380],_
[1.96, 0.051690257, E1(1.96), E1(1.96)-0.051690257],_
[1.97, 0.050976988, E1(1.97), E1(1.97)-0.050976988],_
[1.98, 0.050274392, E1(1.98), E1(1.98)-0.050274392],_
[1.99, 0.049582291, E1(1.99), E1(1.99)-0.049582291],_
[2.00, 0.048900511, E1(2.00), E1(2.00)-0.048900511]]]
--R
--R
--R (4)
--R 1 2520996153853843 2520996152845761 504041
--R [[-,----------------,----------------,- ----------------],
--R 2 4503599627370496 4503599627370496 2251799813685248
--R 2296835809958953 4934345080664857 2467172539345369 1974119
--R [----------------,----------------,----------------,- ----------------],
--R 4503599627370496 9007199254740992 4503599627370496 9007199254740992
--R 1170935903116329 4829838564922965 1207459640883145 1390385
--R [----------------,----------------,----------------,- ----------------],
--R 2251799813685248 9007199254740992 2251799813685248 9007199254740992
--R 2386907802506363 2364171424823579 2364171425340887 129327
--R [----------------,----------------,----------------,----------------],
--R 4503599627370496 4503599627370496 4503599627370496 1125899906842624
--R 607985949695017 2314867709456587 578716927028909 1340951
--R [----------------,----------------,----------------,- ----------------],
--R 1125899906842624 4503599627370496 1125899906842624 4503599627370496
--R 2476979795053773 566737571905823 2266950289390477 1767185
--R [----------------,----------------,----------------,----------------],
--R 4503599627370496 1125899906842624 4503599627370496 4503599627370496
--R 1261007895663739 2220364503638617 8881458010528123 4026345
--R [----------------,----------------,-----------------,- -----------------],
--R 2251799813685248 4503599627370496 18014398509481984 18014398509481984
--R 5134103575202365 1087529314578621 8700234521044531 4415563
--R [----------------,----------------,-----------------,-----------------],
--R 9007199254740992 2251799813685248 18014398509481984 18014398509481984
--R 5224175567749775 8523934786161673 4261967396063357 5965041
--R [----------------,-----------------,----------------,-----------------],
--R 9007199254740992 18014398509481984 9007199254740992 18014398509481984
--R 5314247560297185 4176186574373573 1044046643495507 391545
--R [----------------,----------------,----------------,- ----------------],
--R 9007199254740992 9007199254740992 2251799813685248 9007199254740992
--R 5404319552844595 2046343360395591 2046343361248583 833
--R [----------------,----------------,----------------,-------------],
--R 9007199254740992 4503599627370496 4503599627370496 4398046511104
--R 5494391545392005 8022768437005963 4011384219969539 2933115
--R [----------------,-----------------,----------------,-----------------],
--R 9007199254740992 18014398509481984 9007199254740992 18014398509481984
--R 5584463537939415 1966099802998573 1966099802310385 172047
--R [----------------,----------------,----------------,- ----------------],
--R 9007199254740992 4503599627370496 4503599627370496 1125899906842624
--R 709316941310853 481882162983091 7710114614971581 7242125
--R [----------------,----------------,-----------------,-----------------],
--R 1125899906842624 1125899906842624 18014398509481984 18014398509481984
--R 2882303761517117 3779885407634079 472485675800387 1230983
--R [----------------,----------------,----------------,- ----------------],
--R 4503599627370496 9007199254740992 1125899906842624 9007199254740992
--R 1463669878895411 7413230799080933 7413230798170841 227523
--R [----------------,-----------------,-----------------,- ----------------],
--R 2251799813685248 18014398509481984 18014398509481984 4503599627370496
--R 2972375754064527 3635181995403693 3635181993522683 940505
--R [----------------,----------------,----------------,- ----------------],
--R 4503599627370496 9007199254740992 9007199254740992 4503599627370496
--R 377176468792279 7131045820881823 445690364269139 7424401
--R [---------------,-----------------,----------------,-----------------],
--R 562949953421312 18014398509481984 1125899906842624 18014398509481984
--R 3062447746611937 3497578724158639 6995157444801331 3515947
--R [----------------,----------------,-----------------,- -----------------],
--R 4503599627370496 9007199254740992 18014398509481984 18014398509481984
--R 1553741871442821 3431292646165573 6862585300640307 8309161
--R [----------------,----------------,-----------------,-----------------],
--R 2251799813685248 9007199254740992 18014398509481984 18014398509481984
--R 3152519739159347 3366610444115003 3366610446218267 65727
--R [----------------,----------------,----------------,---------------],
--R 4503599627370496 9007199254740992 9007199254740992 281474976710656
--R 799388933858263 825870056883005 103233757225971 924763
--R [----------------,----------------,---------------,----------------],
--R 1125899906842624 2251799813685248 281474976710656 2251799813685248
--R 3242591731706757 810463091687183 6483704731876793 1620671
--R [----------------,----------------,-----------------,- -----------------],
--R 4503599627370496 2251799813685248 18014398509481984 18014398509481984
--R 1643813863990231 6363358643534945 6363358652368601 1104207
--R [----------------,-----------------,-----------------,----------------],
--R 2251799813685248 18014398509481984 18014398509481984 2251799813685248
--R 3332663724254167 6245831176435211 780728896837991 1731283
--R [----------------,-----------------,----------------,- -----------------],
--R 4503599627370496 18014398509481984 2251799813685248 18014398509481984
--R 3 3065517517211543 3065517516411975 49973
--R [-,----------------,----------------,- ---------------],
--R 4 9007199254740992 9007199254740992 562949953421312
--R 3422735716801577 3009443270308747 376180408890767 817389
--R [----------------,----------------,----------------,----------------],
--R 4503599627370496 9007199254740992 1125899906842624 9007199254740992
--R 1733885856537641 2954652702422139 5909305411690919 6846641
--R [----------------,----------------,-----------------,-----------------],
--R 2251799813685248 9007199254740992 18014398509481984 18014398509481984
--R 3512807709348987 2901107280753307 5802214566783441 5276827
--R [----------------,----------------,-----------------,-----------------],
--R 4503599627370496 9007199254740992 18014398509481984 18014398509481984
--R 889460926405673 5697539989441027 1424384996278745 4326047
--R [----------------,-----------------,----------------,- -----------------],
--R 1125899906842624 18014398509481984 4503599627370496 18014398509481984
--R 3602879701896397 5595210549787803 2797605270800517 8186769
--R [----------------,-----------------,----------------,- -----------------],
--R 4503599627370496 18014398509481984 9007199254740992 18014398509481984
--R 1823957849085051 686894732486275 686894732936303 112507
--R [----------------,----------------,----------------,---------------],
--R 2251799813685248 2251799813685248 2251799813685248 562949953421312
--R 7385903388887613 2698658101611227 2698658097137253 2236987
--R [----------------,----------------,----------------,- ----------------],
--R 9007199254740992 9007199254740992 9007199254740992 4503599627370496
--R 7475975381435023 5301622259173807 5301622265854749 3340471
--R [----------------,-----------------,-----------------,----------------],
--R 9007199254740992 18014398509481984 18014398509481984 9007199254740992
--R 7566047373982433 1302003793776523 651001897296891 817259
--R [----------------,----------------,----------------,----------------],
--R 9007199254740992 4503599627370496 2251799813685248 4503599627370496
--R 7656119366529843 2558218148068881 2558218143587453 1120357
--R [----------------,----------------,----------------,- ----------------],
--R 9007199254740992 9007199254740992 9007199254740992 2251799813685248
--R 7746191359077253 628353636635787 2513414548181013 1637865
--R [----------------,----------------,----------------,----------------],
--R 9007199254740992 2251799813685248 9007199254740992 9007199254740992
--R 7836263351624663 4939139162468193 2469569579273881 3920431
--R [----------------,-----------------,----------------,- -----------------],
--R 9007199254740992 18014398509481984 9007199254740992 18014398509481984
--R 990791918021509 4853313974297401 1213328495079995 6022579
--R [----------------,-----------------,----------------,-----------------],
--R 1125899906842624 18014398509481984 4503599627370496 18014398509481984
--R 4008203668359741 2384651463064253 2384651466532939 1734343
--R [----------------,----------------,----------------,----------------],
--R 4503599627370496 9007199254740992 9007199254740992 4503599627370496
--R 2026619832316723 4687057162912751 4687057168785441 2936345
--R [----------------,-----------------,-----------------,----------------],
--R 2251799813685248 18014398509481984 18014398509481984 9007199254740992
--R 4098275660907151 1151632385242309 2303264770282311 202307
--R [----------------,----------------,----------------,- ----------------],
--R 4503599627370496 4503599627370496 9007199254740992 9007199254740992
--R 517913957147607 2263837259949265 1131918631850659 3752053
--R [---------------,----------------,----------------,----------------],
--R 562949953421312 9007199254740992 4503599627370496 9007199254740992
--R 4188347653454561 1112612040645667 8900896326221563 1056227
--R [----------------,----------------,-----------------,-----------------],
--R 4503599627370496 4503599627370496 36028797018963968 36028797018963968
--R 2116691824864133 4374807973055565 1093701992255359 4034129
--R [----------------,-----------------,----------------,- -----------------],
--R 2251799813685248 18014398509481984 4503599627370496 18014398509481984
--R 4278419646001971 4300712896503019 2150356445132629 6237761
--R [----------------,-----------------,----------------,- -----------------],
--R 4503599627370496 18014398509481984 9007199254740992 18014398509481984
--R 1080863910568919 4228123229190715 8456246470784525 12403095
--R [----------------,-----------------,-----------------,-----------------],
--R 1125899906842624 18014398509481984 36028797018963968 36028797018963968
--R 4368491638549381 8314001236928453 8314001238257617 332291
--R [----------------,-----------------,-----------------,----------------],
--R 4503599627370496 36028797018963968 36028797018963968 9007199254740992
--R 2206763817411543 1021826975154857 8174615816154899 14916043
--R [----------------,----------------,-----------------,-----------------],
--R 2251799813685248 4503599627370496 36028797018963968 36028797018963968
--R 4458563631096791 2009504586480045 1004752292295065 1889915
--R [----------------,----------------,----------------,- ----------------],
--R 4503599627370496 9007199254740992 4503599627370496 9007199254740992
--R 1976034806826947 1976034810389477 1781265
--R [1,----------------,----------------,----------------],
--R 9007199254740992 9007199254740992 4503599627370496
--R 568579452955525 7772911179637645 1943227793058343 7404273
--R [---------------,-----------------,----------------,- -----------------],
--R 562949953421312 36028797018963968 9007199254740992 36028797018963968
--R 2296835809958953 1911067220675189 7644268898274165 15573409
--R [----------------,----------------,-----------------,-----------------],
--R 2251799813685248 9007199254740992 36028797018963968 36028797018963968
--R 2319353808095805 939768651755593 3759074612446035 5423663
--R [----------------,----------------,-----------------,-----------------],
--R 2251799813685248 4503599627370496 18014398509481984 18014398509481984
--R 1170935903116329 3697245462357339 7394490914621429 10093249
--R [----------------,-----------------,-----------------,- -----------------],
--R 1125899906842624 18014398509481984 36028797018963968 36028797018963968
--R 1182194902184755 3636617301612135 1818308652789423 3966711
--R [----------------,-----------------,----------------,-----------------],
--R 1125899906842624 18014398509481984 9007199254740992 18014398509481984
--R 2386907802506363 3577161391821139 3577161383408921 4206109
--R [----------------,-----------------,-----------------,- ----------------],
--R 2251799813685248 18014398509481984 18014398509481984 9007199254740992
--R 2409425800643215 7037699585304525 1759424893354645 11885945
--R [----------------,-----------------,----------------,- -----------------],
--R 2251799813685248 36028797018963968 9007199254740992 36028797018963968
--R 607985949695017 108176732702467 3461655448190643 1711699
--R [---------------,---------------,-----------------,-----------------],
--R 562949953421312 562949953421312 18014398509481984 18014398509481984
--R 306807724614615 3405552106322555 1702776052971337 379881
--R [---------------,-----------------,----------------,- -----------------],
--R 281474976710656 18014398509481984 9007199254740992 18014398509481984
--R 2476979795053773 3350514281809205 3350514273451247 4178979
--R [----------------,-----------------,-----------------,- ----------------],
--R 2251799813685248 18014398509481984 18014398509481984 9007199254740992
--R 2499497793190625 6593034406281887 25754040710765 15673953
--R [----------------,-----------------,---------------,-----------------],
--R 2251799813685248 36028797018963968 140737488355328 36028797018963968
--R 1261007895663739 1621768446576677 6487073796456587 10149879
--R [----------------,----------------,-----------------,-----------------],
--R 1125899906842624 9007199254740992 36028797018963968 36028797018963968
--R 1272266894732165 6383100010371937 398943751030071 6109199
--R [----------------,-----------------,----------------,-----------------],
--R 1125899906842624 36028797018963968 2251799813685248 36028797018963968
--R 5134103575202365 1570266938562731 6281067764859183 10608259
--R [----------------,----------------,-----------------,-----------------],
--R 4503599627370496 9007199254740992 36028797018963968 36028797018963968
--R 2589569785738035 1545233256695627 6180933013451803 13330705
--R [----------------,----------------,-----------------,- -----------------],
--R 2251799813685248 9007199254740992 36028797018963968 36028797018963968
--R 5224175567749775 3041326494863517 6082652977505585 12221449
--R [----------------,-----------------,-----------------,- -----------------],
--R 4503599627370496 18014398509481984 36028797018963968 36028797018963968
--R 658651445502935 748273258231593 5986186071975701 6122957
--R [---------------,----------------,-----------------,-----------------],
--R 562949953421312 4503599627370496 36028797018963968 36028797018963968
--R 5314247560297185 5891491866878177 5891491869717415 1419619
--R [----------------,-----------------,-----------------,-----------------],
--R 4503599627370496 36028797018963968 36028797018963968 18014398509481984
--R 2679641778285445 2899265524678495 2899265530725633 3023569
--R [----------------,-----------------,-----------------,----------------],
--R 2251799813685248 18014398509481984 18014398509481984 9007199254740992
--R 5404319552844595 2853632711382171 5707265417412715 5351627
--R [----------------,-----------------,-----------------,- -----------------],
--R 4503599627370496 18014398509481984 36028797018963968 36028797018963968
--R 1362338887279575 2808828866662057 2808828875301187 4319565
--R [----------------,-----------------,-----------------,----------------],
--R 1125899906842624 18014398509481984 18014398509481984 9007199254740992
--R 5494391545392005 5529671880181697 1382417970389405 1375923
--R [----------------,-----------------,----------------,-----------------],
--R 4503599627370496 36028797018963968 9007199254740992 36028797018963968
--R 2769713770832855 2721636295572403 5443272604571045 13426239
--R [----------------,-----------------,-----------------,-----------------],
--R 2251799813685248 18014398509481984 36028797018963968 36028797018963968
--R 5584463537939415 2679212819428137 1339606413821329 8214521
--R [----------------,-----------------,----------------,-----------------],
--R 4503599627370496 18014398509481984 9007199254740992 18014398509481984
--R 5 1318774424169715 2637548839798989 8540441
--R [-,----------------,-----------------,- -----------------],
--R 4 9007199254740992 18014398509481984 18014398509481984
--R 709316941310853 649157024322507 2596628101906815 4616787
--R [---------------,----------------,-----------------,-----------------],
--R 562949953421312 4503599627370496 18014398509481984 18014398509481984
--R 2859785763380265 639108700920309 5112869605984073 1378399
--R [----------------,----------------,-----------------,- -----------------],
--R 2251799813685248 4503599627370496 36028797018963968 36028797018963968
--R 2882303761517117 5033907094375859 629238386047567 5995323
--R [----------------,-----------------,----------------,- -----------------],
--R 2251799813685248 36028797018963968 4503599627370496 36028797018963968
--R 1452410879826985 2478169321816151 2478169325522497 1853173
--R [----------------,-----------------,-----------------,----------------],
--R 1125899906842624 18014398509481984 18014398509481984 9007199254740992
--R 1463669878895411 2440067535903107 2440067533185261 1358923
--R [----------------,-----------------,-----------------,- ----------------],
--R 1125899906842624 18014398509481984 18014398509481984 9007199254740992
--R 2949857755927675 1201316961022589 2402633927331635 5286457
--R [----------------,----------------,-----------------,-----------------],
--R 2251799813685248 9007199254740992 18014398509481984 18014398509481984
--R 2972375754064527 1182927313584955 2365854630320627 3150717
--R [----------------,----------------,-----------------,-----------------],
--R 2251799813685248 9007199254740992 18014398509481984 18014398509481984
--R 748723438050345 4659432244928047 1164858057706843 14100675
--R [---------------,-----------------,----------------,- -----------------],
--R 562949953421312 36028797018963968 9007199254740992 36028797018963968
--R 377176468792279 1147102601686705 1147102597949117 934397
--R [---------------,----------------,----------------,- ----------------],
--R 281474976710656 9007199254740992 9007199254740992 2251799813685248
--R 3039929748475085 4518618015235069 1129654507309545 14003111
--R [----------------,-----------------,----------------,-----------------],
--R 2251799813685248 36028797018963968 9007199254740992 36028797018963968
--R 3062447746611937 4450030066407661 278126879237471 1391875
--R [----------------,-----------------,----------------,-----------------],
--R 2251799813685248 36028797018963968 2251799813685248 36028797018963968
--R 1542482872374395 4382622060682625 1095655512918179 9009909
--R [----------------,-----------------,----------------,- -----------------],
--R 1125899906842624 36028797018963968 9007199254740992 36028797018963968
--R 1553741871442821 8632740221935071 2158185062947809 29856165
--R [----------------,-----------------,-----------------,-----------------],
--R 1125899906842624 72057594037927936 18014398509481984 72057594037927936
--R 6260003482044989 2125625507358557 2125625509167085 113033
--R [----------------,-----------------,-----------------,----------------],
--R 4503599627370496 18014398509481984 18014398509481984 1125899906842624
--R 3152519739159347 523405254720055 2093621011158493 7721727
--R [----------------,----------------,-----------------,- -----------------],
--R 2251799813685248 4503599627370496 18014398509481984 18014398509481984
--R 6350075474592399 4124320986358551 16110628827713 6464023
--R [----------------,-----------------,---------------,- -----------------],
--R 4503599627370496 36028797018963968 140737488355328 36028797018963968
--R 799388933858263 4062466279262033 2031233132848055 13565923
--R [---------------,-----------------,-----------------,- -----------------],
--R 562949953421312 36028797018963968 18014398509481984 36028797018963968
--R 6440147467139809 2000828383783517 2000828385679815 948149
--R [----------------,-----------------,-----------------,----------------],
--R 4503599627370496 18014398509481984 18014398509481984 9007199254740992
--R 3242591731706757 1970935939415229 985467972627481 5839733
--R [----------------,-----------------,----------------,-----------------],
--R 2251799813685248 18014398509481984 9007199254740992 18014398509481984
--R 6530219459687219 242693219311473 1941545752131477 2360307
--R [----------------,----------------,-----------------,- -----------------],
--R 4503599627370496 2251799813685248 18014398509481984 18014398509481984
--R 1643813863990231 1912647975137197 1912647983617043 4239923
--R [----------------,-----------------,-----------------,----------------],
--R 1125899906842624 18014398509481984 18014398509481984 9007199254740992
--R 6620291452234629 942116526860129 235529130876857 3352701
--R [----------------,----------------,----------------,- ----------------],
--R 4503599627370496 9007199254740992 2251799813685248 9007199254740992
--R 3332663724254167 1856291568710547 928145786550635 4390723
--R [----------------,-----------------,----------------,-----------------],
--R 2251799813685248 18014398509481984 9007199254740992 18014398509481984
--R 6710363444782039 3657628809644835 1828814409825877 10006919
--R [----------------,-----------------,-----------------,-----------------],
--R 4503599627370496 36028797018963968 18014398509481984 36028797018963968
--R 3 1801792608899811 56306019257033 7325245
--R [-,-----------------,---------------,-----------------],
--R 2 18014398509481984 562949953421312 18014398509481984
--R 850054429666181 3550434923947697 887608728270223 10866805
--R [---------------,-----------------,----------------,- -----------------],
--R 562949953421312 36028797018963968 9007199254740992 36028797018963968
--R 3422735716801577 3498160778381679 1749080394534241 10686803
--R [----------------,-----------------,-----------------,-----------------],
--R 2251799813685248 36028797018963968 18014398509481984 36028797018963968
--R 3445253714938429 3446746171826143 1723373087993499 4160855
--R [----------------,-----------------,-----------------,-----------------],
--R 2251799813685248 36028797018963968 18014398509481984 36028797018963968
--R 1733885856537641 1698087391618019 849043691708017 8201985
--R [----------------,-----------------,----------------,- -----------------],
--R 1125899906842624 18014398509481984 9007199254740992 18014398509481984
--R 1745144855606067 3346430615825489 1673215310870877 5916265
--R [----------------,-----------------,-----------------,-----------------],
--R 1125899906842624 36028797018963968 18014398509481984 36028797018963968
--R 3512807709348987 3297498177211777 25761704359789 19158785
--R [----------------,-----------------,---------------,- -----------------],
--R 2251799813685248 36028797018963968 281474976710656 36028797018963968
--R 3535325707485839 1624681077578085 203085133792539 7237773
--R [----------------,-----------------,----------------,- -----------------],
--R 2251799813685248 18014398509481984 2251799813685248 18014398509481984
--R 889460926405673 3202007669765497 1601003836403385 3041273
--R [---------------,-----------------,-----------------,-----------------],
--R 562949953421312 36028797018963968 18014398509481984 36028797018963968
--R 447545212969943 1577710100717281 788855046717165 7282951
--R [---------------,-----------------,----------------,- -----------------],
--R 281474976710656 18014398509481984 9007199254740992 18014398509481984
--R 3602879701896397 1554792723365473 1554792717916833 85135
--R [----------------,-----------------,-----------------,- ---------------],
--R 2251799813685248 18014398509481984 18014398509481984 281474976710656
--R 3625397700033249 1532244749269501 383061185593861 6894057
--R [----------------,-----------------,----------------,- -----------------],
--R 2251799813685248 18014398509481984 4503599627370496 18014398509481984
--R 1823957849085051 1510059350972329 1510059351284323 155997
--R [----------------,-----------------,-----------------,----------------],
--R 1125899906842624 18014398509481984 18014398509481984 9007199254740992
--R 1835216848153477 2976459762321815 1488229877104221 8113373
--R [----------------,-----------------,-----------------,- -----------------],
--R 1125899906842624 36028797018963968 18014398509481984 36028797018963968
--R 7385903388887613 5866999202434309 1466749796442779 16663193
--R [----------------,-----------------,-----------------,- -----------------],
--R 4503599627370496 72057594037927936 18014398509481984 72057594037927936
--R 3715469692580659 722806366109133 361403181583435 2942263
--R [----------------,----------------,----------------,- ----------------],
--R 2251799813685248 9007199254740992 4503599627370496 9007199254740992
--R 7475975381435023 5699249699974765 22262694072355 17451885
--R [----------------,-----------------,---------------,- -----------------],
--R 4503599627370496 72057594037927936 281474976710656 72057594037927936
--R 940126422213591 702171386026879 702171383255667 692803
--R [---------------,----------------,----------------,- ----------------],
--R 562949953421312 9007199254740992 9007199254740992 2251799813685248
--R 7566047373982433 2768395549207525 692098890543887 12968023
--R [----------------,-----------------,----------------,-----------------],
--R 4503599627370496 36028797018963968 9007199254740992 36028797018963968
--R 3805541685128069 2728743227985973 170546451014999 11745989
--R [----------------,-----------------,----------------,- -----------------],
--R 2251799813685248 36028797018963968 2251799813685248 36028797018963968
--R 7656119366529843 336214626899877 672429257413921 3614167
--R [----------------,----------------,----------------,----------------],
--R 4503599627370496 4503599627370496 9007199254740992 9007199254740992
--R 1925288840700887 331413222243547 165706611099833 43881
--R [----------------,----------------,----------------,- ----------------],
--R 1125899906842624 4503599627370496 2251799813685248 4503599627370496
--R 7746191359077253 326687306924171 653374617493495 3645153
--R [----------------,----------------,----------------,----------------],
--R 4503599627370496 4503599627370496 9007199254740992 9007199254740992
--R 3895613677675479 2576284346981277 644071086401563 1375025
--R [----------------,-----------------,----------------,- -----------------],
--R 2251799813685248 36028797018963968 9007199254740992 36028797018963968
--R 7836263351624663 634913215061445 634913216643729 395571
--R [----------------,----------------,----------------,----------------],
--R 4503599627370496 9007199254740992 9007199254740992 2251799813685248
--R 7 1251796863489863 156474607045959 7122191
--R [-,-----------------,----------------,- -----------------],
--R 4 18014398509481984 2251799813685248 18014398509481984
--R 990791918021509 617024196765589 617024194097915 1333837
--R [---------------,----------------,----------------,- ----------------],
--R 562949953421312 9007199254740992 9007199254740992 4503599627370496
--R 3985685670222889 2433152168603287 608288039281393 11477715
--R [----------------,-----------------,----------------,- -----------------],
--R 2251799813685248 36028797018963968 9007199254740992 36028797018963968
--R 4008203668359741 2398750143827323 299843769596771 12946845
--R [----------------,-----------------,----------------,-----------------],
--R 2251799813685248 36028797018963968 4503599627370496 36028797018963968
--R 2015360833248297 1182440636594823 591220318638021 681219
--R [----------------,-----------------,----------------,-----------------],
--R 1125899906842624 18014398509481984 9007199254740992 18014398509481984
--R 2026619832316723 4663072378406061 582884050578195 26219499
--R [----------------,-----------------,----------------,-----------------],
--R 1125899906842624 72057594037927936 9007199254740992 72057594037927936
--R 4075757662770299 574676453152657 574676454986157 458375
--R [----------------,----------------,----------------,----------------],
--R 2251799813685248 9007199254740992 9007199254740992 2251799813685248
--R 4098275660907151 1133190604135389 566595297724237 8686915
--R [----------------,-----------------,----------------,- -----------------],
--R 2251799813685248 18014398509481984 9007199254740992 18014398509481984
--R 1030198414761001 8938214196512841 279319194729009 34815447
--R [----------------,------------------,----------------,------------------],
--R 562949953421312 144115188075855872 4503599627370496 144115188075855872
--R 517913957147607 4406428664773657 550803584599743 12024287
--R [---------------,-----------------,----------------,-----------------],
--R 281474976710656 72057594037927936 9007199254740992 72057594037927936
--R 4165829655317709 8689420509232523 271544390140579 24733995
--R [----------------,------------------,----------------,- ------------------],
--R 2251799813685248 144115188075855872 4503599627370496 144115188075855872
--R 4188347653454561 1070983823634401 535491915354831 7075261
--R [----------------,-----------------,----------------,-----------------],
--R 2251799813685248 18014398509481984 9007199254740992 18014398509481984
--R 2105432825795707 4224087787751809 528010969422979 32367977
--R [----------------,-----------------,----------------,- -----------------],
--R 1125899906842624 72057594037927936 9007199254740992 72057594037927936
--R 2116691824864133 2082575832707703 520643961893007 14864325
--R [----------------,-----------------,----------------,-----------------],
--R 1125899906842624 36028797018963968 9007199254740992 36028797018963968
--R 8511803295730237 64173618425951 128347237764691 912789
--R [----------------,----------------,----------------,----------------],
--R 4503599627370496 1125899906842624 2251799813685248 2251799813685248
--R 4278419646001971 506244031634781 506244033206851 786035
--R [----------------,----------------,----------------,----------------],
--R 2251799813685248 9007199254740992 9007199254740992 4503599627370496
--R 8601875288277647 7987317541891183 499207341747061 73938207
--R [----------------,------------------,----------------,- ------------------],
--R 4503599627370496 144115188075855872 9007199254740992 144115188075855872
--R 1080863910568919 3938216361056117 123069261591561 9873835
--R [----------------,-----------------,----------------,-----------------],
--R 562949953421312 72057594037927936 2251799813685248 72057594037927936
--R 8691947280825057 3883610828063799 485451352204859 10424927
--R [----------------,-----------------,----------------,- -----------------],
--R 4503599627370496 72057594037927936 9007199254740992 72057594037927936
--R 4368491638549381 957456994155653 478728499055479 3955305
--R [----------------,-----------------,----------------,-----------------],
--R 2251799813685248 18014398509481984 9007199254740992 18014398509481984
--R 8782019273372467 3776854115789689 236053380291295 31128969
--R [----------------,-----------------,----------------,- -----------------],
--R 4503599627370496 72057594037927936 4503599627370496 72057594037927936
--R 2206763817411543 3724675554622163 465584443563007 6118107
--R [----------------,-----------------,----------------,- -----------------],
--R 1125899906842624 72057594037927936 9007199254740992 72057594037927936
--R 8872091265919877 918319776645081 229579943573143 2352509
--R [----------------,-----------------,----------------,- -----------------],
--R 4503599627370496 18014398509481984 4503599627370496 18014398509481984
--R 4458563631096791 905662932309913 14150983191703 8040921
--R [----------------,-----------------,---------------,- -----------------],
--R 2251799813685248 18014398509481984 281474976710656 18014398509481984
--R 8962163258467287 446597574543551 446597570280771 1065695
--R [----------------,----------------,----------------,- ----------------],
--R 4503599627370496 9007199254740992 9007199254740992 2251799813685248
--R 3523653169885229 440456643606101 21036421
--R [2,-----------------,----------------,- -----------------]]
--R 72057594037927936 9007199254740992 72057594037927936
--R Type: List(List(Fraction(Integer)))
--E 4
--S 5 of 7
g(x)==x * %e^x * E1(x)::DFLOAT
--R
--R Type: Void
--E 5
--S 6 of 7
t6:List List Fraction Integer:=[[machineFraction (x::DFLOAT) for x in line]_
for line in _
[[2.0,0.722657234,g(2.0),g(2.0)-0.722657234],_
[2.1,0.730791502,g(2.1),g(2.1)-0.730791502],_
[2.2,0.738431132,g(2.2),g(2.2)-0.738431132],_
[2.3,0.745622149,g(2.3),g(2.3)-0.745622149],_
[2.4,0.752404829,g(2.4),g(2.4)-0.752404829],_
[2.5,0.758814592,g(2.5),g(2.5)-0.758814592],_
[2.6,0.764882722,g(2.6),g(2.6)-0.764882722],_
[2.7,0.770636987,g(2.7),g(2.7)-0.770636987],_
[2.8,0.776102123,g(2.8),g(2.8)-0.776102123],_
[2.9,0.781300252,g(2.9),g(2.9)-0.781300252],_
[3.0,0.786251221,g(3.0),g(3.0)-0.786251221],_
[3.1,0.790972800,g(3.1),g(3.1)-0.790972800],_
[3.2,0.795481422,g(3.2),g(3.2)-0.795481422],_
[3.3,0.799791408,g(3.3),g(3.3)-0.799791408],_
[3.4,0.803916127,g(3.4),g(3.4)-0.803916127],_
[3.5,0.807867661,g(3.5),g(3.5)-0.807867661],_
[3.6,0.811657037,g(3.6),g(3.6)-0.811657037],_
[3.7,0.815294342,g(3.7),g(3.7)-0.815294342],_
[3.8,0.818788821,g(3.8),g(3.8)-0.818788821],_
[3.9,0.822148967,g(3.9),g(3.9)-0.822148967],_
[4.0,0.825382500,g(4.0),g(4.0)-0.825382500],_
[4.1,0.828496926,g(4.1),g(4.1)-0.828496926],_
[4.2,0.831498602,g(4.2),g(4.2)-0.831498602],_
[4.3,0.834393794,g(4.3),g(4.3)-0.834393794],_
[4.4,0.837188207,g(4.4),g(4.4)-0.837188207],_
[4.5,0.839887144,g(4.5),g(4.5)-0.839887144],_
[4.6,0.842495539,g(4.6),g(4.6)-0.842495539],_
[4.7,0.845017971,g(4.7),g(4.7)-0.845017971],_
[4.8,0.847458721,g(4.8),g(4.8)-0.847458721],_
[4.9,0.849821778,g(4.9),g(4.9)-0.849821778],_
[5.0,0.852110880,g(5.0),g(5.0)-0.852110880],_
[5.1,0.854329519,g(5.1),g(5.1)-0.854329519],_
[5.2,0.856480958,g(5.2),g(5.2)-0.856480958],_
[5.3,0.858568275,g(5.3),g(5.3)-0.858568275],_
[5.4,0.860594348,g(5.4),g(5.4)-0.860594348],_
[5.5,0.862561885,g(5.5),g(5.5)-0.862561885],_
[5.6,0.864473436,g(5.6),g(5.6)-0.864473436],_
[5.7,0.866331399,g(5.7),g(5.7)-0.866331399],_
[5.8,0.868138040,g(5.8),g(5.8)-0.868138040],_
[5.9,0.869895494,g(5.9),g(5.9)-0.869895494],_
[6.0,0.871605775,g(6.0),g(6.0)-0.871605775],_
[6.1,0.873270793,g(6.1),g(6.1)-0.873270793],_
[6.2,0.874892347,g(6.2),g(6.2)-0.874892347],_
[6.3,0.876472150,g(6.3),g(6.3)-0.876472150],_
[6.4,0.878011816,g(6.4),g(6.4)-0.878011816],_
[6.5,0.879512881,g(6.5),g(6.5)-0.879512881],_
[6.6,0.880976797,g(6.6),g(6.6)-0.880976797],_
[6.7,0.882404955,g(6.7),g(6.7)-0.882404955],_
[6.8,0.883798662,g(6.8),g(6.8)-0.883798662],_
[6.9,0.885159176,g(6.9),g(6.9)-0.885159176],_
[7.0,0.886487675,g(7.0),g(7.0)-0.886487675],_
[7.1,0.887785294,g(7.1),g(7.1)-0.887785294],_
[7.2,0.889053119,g(7.2),g(7.2)-0.889053119],_
[7.3,0.890292173,g(7.3),g(7.3)-0.890292173],_
[7.4,0.891503440,g(7.4),g(7.4)-0.891503440],_
[7.5,0.892687854,g(7.5),g(7.5)-0.892687854],_
[7.6,0.893846312,g(7.6),g(7.6)-0.893846312],_
[7.7,0.894979666,g(7.7),g(7.7)-0.894979666],_
[7.8,0.896088737,g(7.8),g(7.8)-0.896088737],_
[7.9,0.897174302,g(7.9),g(7.9)-0.897174302],_
[8.0,0.898237113,g(8.0),g(8.0)-0.898237113],_
[8.1,0.899277888,g(8.1),g(8.1)-0.899277888],_
[8.2,0.900297306,g(8.2),g(8.2)-0.900297306],_
[8.3,0.901296033,g(8.3),g(8.3)-0.901296033],_
[8.4,0.902274695,g(8.4),g(8.4)-0.902274695],_
[8.5,0.903233900,g(8.5),g(8.5)-0.903233900],_
[8.6,0.904174228,g(8.6),g(8.6)-0.904174228],_
[8.7,0.905096235,g(8.7),g(8.7)-0.905096235],_
[8.8,0.906000459,g(8.8),g(8.8)-0.906000459],_
[8.9,0.906887414,g(8.9),g(8.9)-0.906887414],_
[9.0,0.907757602,g(9.0),g(9.0)-0.907757602],_
[9.1,0.908611483,g(9.1),g(9.1)-0.908611483],_
[9.2,0.909449530,g(9.2),g(9.2)-0.909449530],_
[9.3,0.910272177,g(9.3),g(9.3)-0.910272177],_
[9.4,0.911079850,g(9.4),g(9.4)-0.911079850],_
[9.5,0.911872958,g(9.5),g(9.5)-0.911872958],_
[9.6,0.912651897,g(9.6),g(9.6)-0.912651897],_
[9.7,0.913417043,g(9.7),g(9.7)-0.913417043],_
[9.8,0.914168766,g(9.8),g(9.8)-0.914168766],_
[9.9,0.914907418,g(9.9),g(9.9)-0.914907418],_
[10.0,0.915633339,g(10.0),g(10.0)-0.915633339]]]
--R
--R Compiling function g with type Float -> Expression(DoubleFloat)
--R
--R (6)
--R 3254558849758993 6509117697504369 2013617
--R [[2,----------------,----------------,- ----------------],
--R 4503599627370496 9007199254740992 9007199254740992
--R 1182194902184755 3291192336092725 6582384674784089 2598639
--R [----------------,----------------,----------------,----------------],
--R 562949953421312 4503599627370496 9007199254740992 9007199254740992
--R 2476979795053773 6651196341827947 831399541260985 11740067
--R [----------------,----------------,----------------,- ----------------],
--R 1125899906842624 9007199254740992 1125899906842624 9007199254740992
--R 2589569785738035 839495908098897 6715967263163031 1628145
--R [----------------,----------------,----------------,- ----------------],
--R 1125899906842624 1125899906842624 9007199254740992 9007199254740992
--R 5404319552844595 1694265053758081 847132528293387 2828693
--R [----------------,----------------,----------------,----------------],
--R 2251799813685248 2251799813685248 1125899906842624 2251799813685248
--R 5 3417397113774495 3417397110238951 441943
--R [-,----------------,----------------,- ---------------],
--R 2 4503599627370496 4503599627370496 562949953421312
--R 1463669878895411 6889451083562661 6889451085181963 809651
--R [----------------,----------------,----------------,----------------],
--R 562949953421312 9007199254740992 9007199254740992 4503599627370496
--R 3039929748475085 1735320223745561 433830056641961 2822283
--R [----------------,----------------,---------------,----------------],
--R 1125899906842624 2251799813685248 562949953421312 2251799813685248
--R 3152519739159347 3495253231944251 6990506485130493 21241991
--R [----------------,----------------,----------------,----------------],
--R 1125899906842624 4503599627370496 9007199254740992 9007199254740992
--R 6530219459687219 7037327047543349 1759331764469647 10335239
--R [----------------,----------------,----------------,----------------],
--R 2251799813685248 9007199254740992 2251799813685248 9007199254740992
--R 3540960705915197 1770480352430547 1054103
--R [3,----------------,----------------,- ----------------],
--R 4503599627370496 2251799813685248 4503599627370496
--R 1745144855606067 1781112403670099 7124450498128123 883447727
--R [----------------,----------------,----------------,----------------],
--R 562949953421312 2251799813685248 9007199254740992 9007199254740992
--R 3602879701896397 447816229462419 1791264918587303 737627
--R [----------------,---------------,----------------,----------------],
--R 1125899906842624 562949953421312 2251799813685248 2251799813685248
--R 3715469692580659 900485071760731 1800970143605021 83559
--R [----------------,----------------,----------------,----------------],
--R 1125899906842624 1125899906842624 2251799813685248 2251799813685248
--R 7656119366529843 905129092498583 7241032736505429 3483235
--R [----------------,----------------,----------------,- ----------------],
--R 2251799813685248 1125899906842624 9007199254740992 9007199254740992
--R 7 1819156248522137 1819156247605725 229103
--R [-,----------------,----------------,- ---------------],
--R 2 2251799813685248 2251799813685248 562949953421312
--R 2026619832316723 3655378329385841 913844582061705 1139021
--R [----------------,----------------,----------------,- ----------------],
--R 562949953421312 4503599627370496 1125899906842624 4503599627370496
--R 4165829655317709 7343518589656947 7343518584009017 2823965
--R [----------------,----------------,----------------,- ----------------],
--R 1125899906842624 9007199254740992 9007199254740992 4503599627370496
--R 4278419646001971 460937128643841 7374994054164043 4137413
--R [----------------,---------------,----------------,- ----------------],
--R 1125899906842624 562949953421312 9007199254740992 9007199254740992
--R 8782019273372467 1851314890712119 7405259567957195 5108719
--R [----------------,----------------,----------------,----------------],
--R 2251799813685248 2251799813685248 9007199254740992 9007199254740992
--R 232324519964883 3717192768015601 448577473
--R [4,---------------,----------------,----------------],
--R 281474976710656 4503599627370496 4503599627370496
--R 2308094809027379 3731218447211201 7462436884601849 9820553
--R [----------------,----------------,----------------,- ----------------],
--R 562949953421312 4503599627370496 9007199254740992 9007199254740992
--R 1182194902184755 234046049632893 7489473589300961 1048385
--R [----------------,---------------,----------------,----------------],
--R 281474976710656 281474976710656 9007199254740992 9007199254740992
--R 4841369599423283 1878887789869327 469721946680651 3146723
--R [----------------,----------------,---------------,- ----------------],
--R 1125899906842624 2251799813685248 562949953421312 2251799813685248
--R 2476979795053773 7540720994168347 3770360496609591 949165
--R [----------------,----------------,----------------,- ----------------],
--R 562949953421312 9007199254740992 4503599627370496 9007199254740992
--R 9 1891257714375835 236407214829209 4257837
--R [-,----------------,---------------,----------------],
--R 2 2251799813685248 281474976710656 2251799813685248
--R 2589569785738035 3794262595501705 3794262589093149 1602139
--R [----------------,----------------,----------------,- ----------------],
--R 562949953421312 4503599627370496 4503599627370496 1125899906842624
--R 1322932390540083 7611245238633945 1902811306968295 10760765
--R [----------------,----------------,----------------,- ----------------],
--R 281474976710656 9007199254740992 2251799813685248 9007199254740992
--R 5404319552844595 3816614780107477 3816614773923689 1545947
--R [----------------,----------------,----------------,- ----------------],
--R 1125899906842624 4503599627370496 4503599627370496 1125899906842624
--R 2758454771764429 956814260683033 7654514099860267 14396003
--R [----------------,----------------,----------------,----------------],
--R 562949953421312 1125899906842624 9007199254740992 9007199254740992
--R 3837566241646345 7675132496115893 12823203
--R [5,----------------,----------------,----------------],
--R 4503599627370496 9007199254740992 9007199254740992
--R 2871044762448691 3847558103420015 7695116191051275 15788755
--R [----------------,----------------,----------------,- ----------------],
--R 562949953421312 4503599627370496 9007199254740992 9007199254740992
--R 1463669878895411 3857247323298725 3857247327193773 486881
--R [----------------,----------------,----------------,---------------],
--R 281474976710656 4503599627370496 4503599627370496 562949953421312
--R 5967269506265907 7733295526724259 7733295527575265 425503
--R [----------------,----------------,----------------,----------------],
--R 1125899906842624 9007199254740992 9007199254740992 4503599627370496
--R 3039929748475085 3875772384969955 3875772382742157 1113899
--R [----------------,----------------,----------------,- ----------------],
--R 562949953421312 4503599627370496 4503599627370496 2251799813685248
--R 11 7769266767739985 7769266764954073 348239
--R [--,----------------,----------------,- ----------------],
--R 2 9007199254740992 9007199254740992 1125899906842624
--R 3152519739159347 973310561060323 973310560202397 428963
--R [----------------,----------------,----------------,- ---------------],
--R 562949953421312 1125899906842624 1125899906842624 562949953421312
--R 1604407367250739 243850610357235 487701221015787 301317
--R [----------------,---------------,---------------,---------------],
--R 281474976710656 281474976710656 562949953421312 562949953421312
--R 6530219459687219 3909746153450153 7819492311718607 4818301
--R [----------------,----------------,----------------,----------------],
--R 1125899906842624 4503599627370496 9007199254740992 9007199254740992
--R 3321404725185741 7835322045259347 7835322041498613 1880367
--R [----------------,----------------,----------------,- ----------------],
--R 562949953421312 9007199254740992 9007199254740992 4503599627370496
--R 981340860875993 981340861330093 113525
--R [6,----------------,----------------,---------------],
--R 1125899906842624 1125899906842624 281474976710656
--R 3433994715870003 7865724035896675 7865724029886543 1502533
--R [----------------,----------------,----------------,- ----------------],
--R 562949953421312 9007199254740992 9007199254740992 2251799813685248
--R 1745144855606067 7880329695876997 3940164851821349 7765701
--R [----------------,----------------,----------------,----------------],
--R 281474976710656 9007199254740992 4503599627370496 9007199254740992
--R 7093169413108531 3947279648140617 7894559292391669 3889565
--R [----------------,----------------,----------------,- ----------------],
--R 1125899906842624 4503599627370496 9007199254740992 9007199254740992
--R 3602879701896397 988553421841123 1977106842517461 1164785
--R [----------------,----------------,----------------,- ----------------],
--R 562949953421312 1125899906842624 2251799813685248 2251799813685248
--R 13 3960973883139151 495121734805295 4696791
--R [--,----------------,---------------,- ----------------],
--R 2 4503599627370496 562949953421312 4503599627370496
--R 3715469692580659 3967566774691253 3967566783996147 4652447
--R [----------------,----------------,----------------,----------------],
--R 562949953421312 4503599627370496 4503599627370496 2251799813685248
--R 1885882343961395 3973998626527879 3973998629205993 1339057
--R [----------------,----------------,----------------,----------------],
--R 281474976710656 4503599627370496 4503599627370496 2251799813685248
--R 7656119366529843 3980275324853743 7960550664516793 14809307
--R [----------------,----------------,----------------,----------------],
--R 1125899906842624 4503599627370496 9007199254740992 9007199254740992
--R 3884354678607053 3986402535197175 7972805042402257 27992093
--R [----------------,----------------,----------------,- ----------------],
--R 562949953421312 4503599627370496 9007199254740992 9007199254740992
--R 3992385562798537 1996192775851801 11094935
--R [7,----------------,----------------,- ----------------],
--R 4503599627370496 2251799813685248 4503599627370496
--R 3996944669291315 1999114759621703 7996459047031801 8544989
--R [----------------,----------------,----------------,----------------],
--R 562949953421312 2251799813685248 9007199254740992 9007199254740992
--R 2026619832316723 4003939295440977 8007878591474863 592909
--R [----------------,----------------,----------------,----------------],
--R 281474976710656 4503599627370496 9007199254740992 9007199254740992
--R 8219069319951155 4009519498573669 501189937624389 2421443
--R [----------------,----------------,---------------,----------------],
--R 1125899906842624 4503599627370496 562949953421312 4503599627370496
--R 4165829655317709 4014974560183515 8029949117243575 3123455
--R [----------------,----------------,----------------,- ----------------],
--R 562949953421312 4503599627370496 9007199254740992 9007199254740992
--R 15 8040617373265135 8040617373833349 284107
--R [--,----------------,----------------,----------------],
--R 2 9007199254740992 9007199254740992 4503599627370496
--R 4278419646001971 1006381479412423 2012762957281121 1543725
--R [----------------,----------------,----------------,- ----------------],
--R 562949953421312 1125899906842624 2251799813685248 2251799813685248
--R 2167357320672051 4030630090301771 8061260182530025 1926483
--R [----------------,----------------,----------------,----------------],
--R 281474976710656 4503599627370496 9007199254740992 9007199254740992
--R 8782019273372467 2017812451022049 504453112210195 2181269
--R [----------------,----------------,---------------,- ----------------],
--R 1125899906842624 2251799813685248 562949953421312 2251799813685248
--R 4447304632028365 4040513852173585 1010128463671393 2511987
--R [----------------,----------------,----------------,----------------],
--R 562949953421312 4503599627370496 1125899906842624 4503599627370496
--R 2022650163698575 8090600664053663 9259363
--R [8,----------------,----------------,----------------],
--R 2251799813685248 9007199254740992 9007199254740992
--R 4559894622712627 8099975122598653 8099975112856887 4870883
--R [----------------,----------------,----------------,- ----------------],
--R 562949953421312 9007199254740992 9007199254740992 4503599627370496
--R 2308094809027379 4054578611824261 4054578619164799 3670269
--R [----------------,----------------,----------------,----------------],
--R 281474976710656 4503599627370496 4503599627370496 2251799813685248
--R 2336242306698445 2029538239184653 8118152966317681 9579069
--R [----------------,----------------,----------------,----------------],
--R 281474976710656 2251799813685248 9007199254740992 9007199254740992
--R 1182194902184755 1015870995046957 4063483989634285 9446457
--R [----------------,----------------,----------------,----------------],
--R 140737488355328 1125899906842624 4503599627370496 4503599627370496
--R 17 254237740966775 4067803864354941 8886541
--R [--,---------------,----------------,----------------],
--R 2 281474976710656 4503599627370496 4503599627370496
--R 4841369599423283 2036019358149403 2036019361740689 1795643
--R [----------------,----------------,----------------,----------------],
--R 562949953421312 2251799813685248 2251799813685248 1125899906842624
--R 2448832297382707 4076191066680439 8152382158143441 24782563
--R [----------------,----------------,----------------,----------------],
--R 281474976710656 4503599627370496 9007199254740992 9007199254740992
--R 2476979795053773 2040131664774949 8160526688504177 29404381
--R [----------------,----------------,----------------,----------------],
--R 281474976710656 2251799813685248 9007199254740992 9007199254740992
--R 1252563646362419 8168515639514785 8168515676159353 4580571
--R [----------------,----------------,----------------,----------------],
--R 140737488355328 9007199254740992 9007199254740992 1125899906842624
--R 4088176798109935 255511049382469 7990431
--R [9,----------------,---------------,- ----------------],
--R 4503599627370496 281474976710656 4503599627370496
--R 5122844576133939 2046011168131677 8184044689509625 16982917
--R [----------------,----------------,----------------,----------------],
--R 562949953421312 2251799813685248 9007199254740992 9007199254740992
--R 2589569785738035 8191593128840545 8191593130497493 414237
--R [----------------,----------------,----------------,----------------],
--R 281474976710656 9007199254740992 9007199254740992 2251799813685248
--R 2617717283409101 2049750718571465 4099501437574337 431407
--R [----------------,----------------,----------------,----------------],
--R 281474976710656 2251799813685248 4503599627370496 4503599627370496
--R 1322932390540083 4103138872964767 4103138874027955 265797
--R [----------------,----------------,----------------,----------------],
--R 140737488355328 4503599627370496 4503599627370496 1125899906842624
--R 19 256669419616127 128334709895015 173903
--R [--,---------------,---------------,---------------],
--R 2 281474976710656 140737488355328 281474976710656
--R 5404319552844595 256888671453011 64222167818743 178039
--R [----------------,---------------,--------------,- ---------------],
--R 562949953421312 281474976710656 70368744177664 281474976710656
--R 2730307274093363 1028416163622165 8227329312589533 3612213
--R [----------------,----------------,----------------,----------------],
--R 281474976710656 1125899906842624 9007199254740992 9007199254740992
--R 2758454771764429 2058525056955673 8234100228394759 572067
--R [----------------,----------------,----------------,----------------],
--R 281474976710656 2251799813685248 9007199254740992 9007199254740992
--R 1393301134717747 8240753413566605 4120376705584929 2396747
--R [----------------,----------------,----------------,- ----------------],
--R 140737488355328 9007199254740992 4503599627370496 9007199254740992
--R 4123645964328403 8247291932240601 3583795
--R [10,----------------,----------------,----------------]]
--R 4503599627370496 9007199254740992 9007199254740992
--R Type: List(List(Fraction(Integer)))
--E 6
--S 7 of 7
E1(0.0)
--R
--R
--R (7) infinity
--R Type: OnePointCompletion(DoubleFloat)
--E 7
)spool
)lisp (bye)
|