This file is indexed.

/usr/share/axiom-20170501/input/e1.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
)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)