intervals 0.3.56

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
Files changed (131) hide show
  1. data/VERSION.txt +1 -0
  2. data/ext/crlibm/AUTHORS +2 -0
  3. data/ext/crlibm/COPYING +504 -0
  4. data/ext/crlibm/ChangeLog +80 -0
  5. data/ext/crlibm/INSTALL +182 -0
  6. data/ext/crlibm/Makefile.am +84 -0
  7. data/ext/crlibm/Makefile.in +530 -0
  8. data/ext/crlibm/NEWS +0 -0
  9. data/ext/crlibm/README +31 -0
  10. data/ext/crlibm/TODO +47 -0
  11. data/ext/crlibm/VERSION +1 -0
  12. data/ext/crlibm/aclocal.m4 +989 -0
  13. data/ext/crlibm/atan-itanium.c +846 -0
  14. data/ext/crlibm/atan-pentium.c +261 -0
  15. data/ext/crlibm/atan_accurate.c +244 -0
  16. data/ext/crlibm/atan_accurate.h +191 -0
  17. data/ext/crlibm/atan_fast.c +324 -0
  18. data/ext/crlibm/atan_fast.h +678 -0
  19. data/ext/crlibm/config.guess +1461 -0
  20. data/ext/crlibm/config.sub +1566 -0
  21. data/ext/crlibm/configure +7517 -0
  22. data/ext/crlibm/configure.ac +364 -0
  23. data/ext/crlibm/crlibm.h +125 -0
  24. data/ext/crlibm/crlibm_config.h +149 -0
  25. data/ext/crlibm/crlibm_config.h.in +148 -0
  26. data/ext/crlibm/crlibm_private.c +293 -0
  27. data/ext/crlibm/crlibm_private.h +658 -0
  28. data/ext/crlibm/csh_fast.c +631 -0
  29. data/ext/crlibm/csh_fast.h +771 -0
  30. data/ext/crlibm/double-extended.h +496 -0
  31. data/ext/crlibm/exp-td.c +962 -0
  32. data/ext/crlibm/exp-td.h +685 -0
  33. data/ext/crlibm/exp_accurate.c +197 -0
  34. data/ext/crlibm/exp_accurate.h +85 -0
  35. data/ext/crlibm/gappa/log-de-E0-logir0.gappa +106 -0
  36. data/ext/crlibm/gappa/log-de-E0.gappa +79 -0
  37. data/ext/crlibm/gappa/log-de.gappa +81 -0
  38. data/ext/crlibm/gappa/log-td-E0-logir0.gappa +126 -0
  39. data/ext/crlibm/gappa/log-td-E0.gappa +143 -0
  40. data/ext/crlibm/gappa/log-td-accurate-E0-logir0.gappa +230 -0
  41. data/ext/crlibm/gappa/log-td-accurate-E0.gappa +213 -0
  42. data/ext/crlibm/gappa/log-td-accurate.gappa +217 -0
  43. data/ext/crlibm/gappa/log-td.gappa +156 -0
  44. data/ext/crlibm/gappa/trigoSinCosCase3.gappa +204 -0
  45. data/ext/crlibm/gappa/trigoTanCase2.gappa +73 -0
  46. data/ext/crlibm/install-sh +269 -0
  47. data/ext/crlibm/log-de.c +431 -0
  48. data/ext/crlibm/log-de.h +732 -0
  49. data/ext/crlibm/log-td.c +852 -0
  50. data/ext/crlibm/log-td.h +819 -0
  51. data/ext/crlibm/log10-td.c +906 -0
  52. data/ext/crlibm/log10-td.h +823 -0
  53. data/ext/crlibm/log2-td.c +935 -0
  54. data/ext/crlibm/log2-td.h +821 -0
  55. data/ext/crlibm/maple/atan.mpl +359 -0
  56. data/ext/crlibm/maple/common-procedures.mpl +997 -0
  57. data/ext/crlibm/maple/csh.mpl +446 -0
  58. data/ext/crlibm/maple/double-extended.mpl +151 -0
  59. data/ext/crlibm/maple/exp-td.mpl +195 -0
  60. data/ext/crlibm/maple/log-de.mpl +243 -0
  61. data/ext/crlibm/maple/log-td.mpl +316 -0
  62. data/ext/crlibm/maple/log10-td.mpl +345 -0
  63. data/ext/crlibm/maple/log2-td.mpl +334 -0
  64. data/ext/crlibm/maple/trigo.mpl +728 -0
  65. data/ext/crlibm/maple/triple-double.mpl +58 -0
  66. data/ext/crlibm/missing +198 -0
  67. data/ext/crlibm/mkinstalldirs +40 -0
  68. data/ext/crlibm/rem_pio2_accurate.c +219 -0
  69. data/ext/crlibm/rem_pio2_accurate.h +53 -0
  70. data/ext/crlibm/scs_lib/AUTHORS +3 -0
  71. data/ext/crlibm/scs_lib/COPYING +504 -0
  72. data/ext/crlibm/scs_lib/ChangeLog +16 -0
  73. data/ext/crlibm/scs_lib/INSTALL +215 -0
  74. data/ext/crlibm/scs_lib/Makefile.am +18 -0
  75. data/ext/crlibm/scs_lib/Makefile.in +328 -0
  76. data/ext/crlibm/scs_lib/NEWS +0 -0
  77. data/ext/crlibm/scs_lib/README +9 -0
  78. data/ext/crlibm/scs_lib/TODO +4 -0
  79. data/ext/crlibm/scs_lib/addition_scs.c +623 -0
  80. data/ext/crlibm/scs_lib/config.guess +1461 -0
  81. data/ext/crlibm/scs_lib/config.sub +1566 -0
  82. data/ext/crlibm/scs_lib/configure +6226 -0
  83. data/ext/crlibm/scs_lib/division_scs.c +110 -0
  84. data/ext/crlibm/scs_lib/double2scs.c +174 -0
  85. data/ext/crlibm/scs_lib/install-sh +269 -0
  86. data/ext/crlibm/scs_lib/missing +198 -0
  87. data/ext/crlibm/scs_lib/mkinstalldirs +40 -0
  88. data/ext/crlibm/scs_lib/multiplication_scs.c +456 -0
  89. data/ext/crlibm/scs_lib/poly_fct.c +112 -0
  90. data/ext/crlibm/scs_lib/print_scs.c +73 -0
  91. data/ext/crlibm/scs_lib/rand_scs.c +63 -0
  92. data/ext/crlibm/scs_lib/scs.h +353 -0
  93. data/ext/crlibm/scs_lib/scs2double.c +391 -0
  94. data/ext/crlibm/scs_lib/scs2mpf.c +58 -0
  95. data/ext/crlibm/scs_lib/scs2mpfr.c +61 -0
  96. data/ext/crlibm/scs_lib/scs_private.c +23 -0
  97. data/ext/crlibm/scs_lib/scs_private.h +133 -0
  98. data/ext/crlibm/scs_lib/tests/tbx_timing.h +102 -0
  99. data/ext/crlibm/scs_lib/wrapper_scs.h +486 -0
  100. data/ext/crlibm/scs_lib/zero_scs.c +52 -0
  101. data/ext/crlibm/stamp-h.in +1 -0
  102. data/ext/crlibm/tests/Makefile.am +43 -0
  103. data/ext/crlibm/tests/Makefile.in +396 -0
  104. data/ext/crlibm/tests/blind_test.c +148 -0
  105. data/ext/crlibm/tests/generate_test_vectors.c +258 -0
  106. data/ext/crlibm/tests/soak_test.c +334 -0
  107. data/ext/crlibm/tests/test_common.c +627 -0
  108. data/ext/crlibm/tests/test_common.h +28 -0
  109. data/ext/crlibm/tests/test_perf.c +570 -0
  110. data/ext/crlibm/tests/test_val.c +249 -0
  111. data/ext/crlibm/trigo_accurate.c +500 -0
  112. data/ext/crlibm/trigo_accurate.h +331 -0
  113. data/ext/crlibm/trigo_fast.c +1219 -0
  114. data/ext/crlibm/trigo_fast.h +639 -0
  115. data/ext/crlibm/triple-double.h +878 -0
  116. data/ext/extconf.rb +31 -0
  117. data/ext/fpu.c +107 -0
  118. data/ext/jamis-mod.rb +591 -0
  119. data/lib/fpu.rb +287 -0
  120. data/lib/interval.rb +1170 -0
  121. data/lib/intervals.rb +212 -0
  122. data/lib/struct_float.rb +133 -0
  123. data/test/data_atan.txt +360 -0
  124. data/test/data_cos.txt +346 -0
  125. data/test/data_cosh.txt +3322 -0
  126. data/test/data_exp.txt +3322 -0
  127. data/test/data_log.txt +141 -0
  128. data/test/data_sin.txt +140 -0
  129. data/test/data_sinh.txt +3322 -0
  130. data/test/data_tan.txt +342 -0
  131. metadata +186 -0
data/test/data_log.txt ADDED
@@ -0,0 +1,141 @@
1
+ 3 5729603803984657 -47 5399233908109800
2
+ -1042 7837554030109505 -43 -6031143733875305
3
+ 203 8944240262812896 -45 6243067971057118
4
+ 773 7810744966859732 -43 5034857673805269
5
+ -95 5217713175206478 -48 -8348026107027280
6
+ 878 5688882881708762 -43 5672253074752295
7
+ 159 7442799270946052 -45 5163532668134557
8
+ -719 5905866281141522 -44 -8128612063557446
9
+ -77 4674564577538294 -48 -4867102179237443
10
+ -290 4515673208952318 -45 -5804237499883614
11
+ 758 7585260655136709 -43 4943145200433888
12
+ 726 8773110595205068 -43 4749321308707242
13
+ -721 5054780332743165 -44 -8155737562653232
14
+ -813 8340732540567165 -43 -4634386362679467
15
+ -931 6087350054903804 -43 -5356601063538444
16
+ -230 7959969393546446 -46 -8642031210669087
17
+ 774 7820526013142845 -43 5040965668946085
18
+ -1052 7746270571641009 -43 -6092216653427780
19
+ -321 7788833151755529 -45 -6541083602285298
20
+ 4 6161423568232780 -47 5507011893503770
21
+ -378 5611663182270927 -45 -7942731638521114
22
+ -679 5343308743838082 -44 -7642614093867960
23
+ -236 7930537578131039 -46 -8934947259549810
24
+ -801 4515047884211381 -43 -4566620990131531
25
+ -358 6250800293524933 -45 -7451177602867513
26
+ -628 8743247799888634 -44 -7012058374783873
27
+ 260 8325806157519537 -45 7630660067737170
28
+ -307 5013659190076532 -45 -6215151922644917
29
+ -321 8534185103957450 -45 -6537868144248505
30
+ 196 6819554376413941 -45 6062809780517461
31
+ 726 7496635857051243 -43 4747938236884557
32
+ 365 7512753140926866 -44 5093889584712992
33
+ 8 6537844967435373 -47 5905564763812026
34
+ -582 6287173361182923 -44 -6456936941216759
35
+ -878 8887750258813970 -43 -5030131769376680
36
+ -807 6293733347015201 -43 -4600281390235204
37
+ 734 7179962961420239 -43 4796334492877738
38
+ -577 7989296065323526 -44 -6391752139749431
39
+ -528 7701742202373716 -44 -5794892266843198
40
+ -236 4778607251046977 -46 -8970594073197609
41
+ -22 4659172299739740 -48 5862666716194295
42
+ -138 8341542088919906 -47 -8302707698112828
43
+ 821 6905748013529288 -43 5326429847821707
44
+ -261 8650145766515273 -45 -5074116386699087
45
+ -665 5938486679071136 -44 -7470040557978051
46
+ 941 8152142574597912 -43 6059527803684592
47
+ -503 4523053965216053 -44 -5499406514771788
48
+ 946 8430854581163470 -43 6090308440461178
49
+ -312 6872187352375584 -45 -6325997453903845
50
+ 542 5159080271776591 -44 7245611098597619
51
+ -398 6863619404287178 -45 -8423404902566743
52
+ -548 5646131615633675 -44 -6044233700164703
53
+ 786 7696341468468672 -43 5113988717151785
54
+ -623 5994334628604033 -44 -6957728972421555
55
+ -34 6138162061683396 -49 7198045646644886
56
+ -48 5679318806925087 -51 6765629424390995
57
+ -1006 8647255623843234 -43 -5810787409395103
58
+ -1037 7082495294533048 -43 -6001549847205223
59
+ 330 8812287450364212 -44 4669907235496271
60
+ 542 6258511934339588 -44 7249009629665137
61
+ 729 6952281422371625 -43 4765566109048528
62
+ -278 5892785256942261 -45 -5502216938036655
63
+ -484 5351568457601252 -44 -5264761960242544
64
+ -277 5845683225769205 -45 -5478111354375766
65
+ -853 4575629378149052 -43 -4883547079776850
66
+ -101 7365761715109551 -47 -4710799884208249
67
+ 490 8677882285029639 -44 6620672716983379
68
+ -999 5672273170340381 -43 -5771817390523109
69
+ -192 7382787434563663 -46 -6793844067722198
70
+ -397 6552531352556382 -45 -8400648927574590
71
+ 566 6458210108391349 -44 7542217575759373
72
+ 226 8018164451435657 -45 6800145121426018
73
+ 116 6513151008490633 -46 8220312925998650
74
+ 127 7399335147954532 -46 8765824503438802
75
+ -365 7760722940264595 -45 -7614280539568943
76
+ -1066 7789525450603827 -43 -6177525492101855
77
+ -371 5127871741660245 -45 -7775188097887711
78
+ -860 7731140700964895 -43 -4921612331561072
79
+ 491 8822666409433528 -44 6633157782283504
80
+ -2 6928881040709930 -47 4938222375946622
81
+ 575 7259158349685970 -44 7654020075298049
82
+ -838 6689142190004462 -43 -4788752033056246
83
+ -586 6295976149776630 -44 -6505688223922701
84
+ -487 8552015768450746 -44 -5293097064710101
85
+ 92 6937699780059927 -46 7054134975778224
86
+ 937 7260113713113509 -43 6034120517548911
87
+ 790 6662648870820462 -43 5137108023016585
88
+ 719 7217240453593138 -43 4704925236802592
89
+ -535 7530840236134237 -44 -5880644853583983
90
+ 204 8935986677676802 -45 6267423436870786
91
+ -352 5327592507968365 -45 -7310472729372368
92
+ -968 6399895432747962 -43 -5581749175655556
93
+ -538 8677498085884204 -44 -5914733494856341
94
+ -21 4791776550115540 -48 6065669451971708
95
+ 303 7432674473320076 -45 8675349329650176
96
+ 957 5630800499332615 -43 6153824785948880
97
+ 130 7603113998352524 -46 8914063953675526
98
+ -262 8146717970638052 -45 -5100614026176726
99
+ -983 5340722336326562 -43 -5674795377477984
100
+ -506 6012502966713228 -44 -5530980756267209
101
+ 848 8373139408498432 -43 5492743284246208
102
+ -182 5151181626002729 -46 -6331412581429677
103
+ 575 7576337618664259 -44 7654772423198025
104
+ 773 5964142210565946 -43 5032485058737932
105
+ 377 4785338215339663 -44 5232282401928015
106
+ 559 8042322377481807 -44 7460718878658476
107
+ -528 6058994995193232 -44 -5799112678355605
108
+ 643 4973196457634759 -44 8476556933681800
109
+ -90 7342286965444177 -48 -7276358812692718
110
+ -724 6538902921713607 -44 -8187790640597117
111
+ -744 6781948573498092 -44 -8431028095870489
112
+ 886 4990929061266788 -43 5719877634739039
113
+ 652 7842772944434186 -44 8594316463968771
114
+ 167 7383540290037862 -45 5358354998281339
115
+ -797 8294958767318769 -43 -4536882975156003
116
+ -925 6717362792721948 -43 -5319152877379307
117
+ 620 6901361596348506 -44 8201859712355615
118
+ 419 6552878196596758 -44 5749959379155827
119
+ -1049 8928730454986899 -43 -6072676095402711
120
+ 696 7836905798940566 -43 4565419080646169
121
+ -336 8553756570741471 -45 -6903606772922620
122
+ 121 5564219450541356 -46 8453111678679689
123
+ -157 5414025915002511 -46 -5108513135208944
124
+ 902 5811075311478771 -43 5818767696863907
125
+ -36 4766793006667045 -49 6275288500962422
126
+ -223 7612327928377475 -46 -8303742329781802
127
+ 358 4808044566122420 -44 5000680170166681
128
+ 957 6872977866843418 -43 6155578250634625
129
+ -54 7774307258077927 -53 -7569172870953595
130
+ -310 5210218223258519 -45 -6286962727413331
131
+ -215 7889019524504562 -46 -7911022793456746
132
+ -162 7449936497206530 -46 -5329930033433147
133
+ -364 5265795053899892 -45 -7603538616018552
134
+ -538 5090880958852163 -44 -5924115097280610
135
+ 955 4788333459866788 -43 6140205236152155
136
+ 108 6720866553553113 -46 7832314890529494
137
+ -685 7227637583582586 -44 -7710463917222078
138
+ -114 7615866309050384 -47 -5974273792291514
139
+ 427 7705360861678859 -44 5850361316421644
140
+ 404 8851563552578796 -44 5572339556717664
141
+ 601 8490162065775671 -44 7973819117222525
data/test/data_sin.txt ADDED
@@ -0,0 +1,140 @@
1
+ 697 -6185791175881106 -53 5618509843104805
2
+ 469 4517148730928086 -56 -8978806769755366
3
+ 404 -8784918964565955 -53 -4845268113671324
4
+ 930 8272650383120515 -53 8744973421452259
5
+ 611 -8188483004498611 -54 -5474369658276698
6
+ 270 -6628935645333536 -53 -8204178574382030
7
+ 784 -6939073401988791 -54 8673340235457579
8
+ 289 8772391023675085 -53 4904612940864191
9
+ 586 -6489564901860729 -55 -6246499804756167
10
+ 144 -4969130773889555 -53 -8996496661507072
11
+ 699 7343742912701370 -53 -7204722294563365
12
+ 149 5046326127932016 -53 -7551767530908936
13
+ 78 7128657363838905 -53 9007192668254655
14
+ 145 8855333033694009 -53 -7354741773685409
15
+ 713 8783281787193392 -56 8619091271497300
16
+ 803 8250873912482415 -54 -7764656054675490
17
+ 735 -5361188768850688 -53 -8598081121845869
18
+ 673 -8299852196900542 -53 -7212533399900240
19
+ 709 -7455271033914304 -53 -5910156379093859
20
+ 843 5226029739886916 -57 5782461763168480
21
+ 56 -8351436031629503 -54 -5169054432967146
22
+ 881 -6202285226815786 -54 -5473646506091943
23
+ 391 -5742591921749030 -53 -8342746975458218
24
+ 690 7292162910120986 -54 -7867763858357001
25
+ 190 7976658247841189 -53 -8646174403881349
26
+ 705 6288727896682853 -53 6065488687749628
27
+ 240 -7185092814542474 -53 -8329209277426761
28
+ 927 -5455252500260299 -55 4712034679605399
29
+ 219 5237666182803398 -53 -6304804644778484
30
+ 693 -8003316908217898 -54 -5096318267855318
31
+ -54 8553007277957396 -54 8235269072615950
32
+ 163 5926381218285567 -53 -8688570839581094
33
+ 685 -7782376526844728 -53 -8916098296743145
34
+ 877 7348234113554872 -55 -5057882787725316
35
+ 502 -6494362796833387 -53 -8466544787779751
36
+ 555 8793584102827487 -59 8937167978236609
37
+ 941 -5777318638464888 -53 -5458745140025475
38
+ 305 7026894612579488 -54 8147772993421911
39
+ 650 -4921538146299370 -53 -8885242202449845
40
+ 499 7201280198022629 -53 8783786565205933
41
+ 69 -8666124452190085 -53 -6337524903286983
42
+ 75 -4509874527599900 -56 8329131309192201
43
+ 712 -6650783637086579 -53 -6215921842339260
44
+ 427 6185239265979343 -53 4795065962225188
45
+ 879 -5621272014131311 -55 6997901458358047
46
+ 848 -7322605500795624 -56 -8734300613380334
47
+ 134 -8861344452994390 -53 7380942882227500
48
+ 34 -4688891504508507 -53 8917161025314501
49
+ 70 -7918534753625940 -53 5632388751636712
50
+ 244 -5426763284090472 -53 -8353013102288195
51
+ 855 -5564824265998216 -53 -5664077844274701
52
+ 680 7208510396218941 -53 4611541410508664
53
+ 232 4780931150867810 -53 6031027048322062
54
+ 633 -8844233351992523 -53 7414401001029550
55
+ 577 -8145808839286209 -53 -4892554155435913
56
+ 407 8876997791926737 -53 8355635701172554
57
+ 175 -6630314202026680 -55 9006708296000731
58
+ 376 -8895281600362920 -54 5085882509373045
59
+ 964 -5226059033457717 -53 -8429318166985128
60
+ 74 8536934210476157 -53 -8953008654114332
61
+ 756 5654863138086492 -53 5180643296736044
62
+ 177 -8596018531001783 -54 5173500240041330
63
+ 238 -6923539778467668 -54 -8513897722944265
64
+ -54 8540520276769360 -54 8224161281241972
65
+ 655 -5536329595895521 -53 -8968998836412141
66
+ 823 -6987906190880754 -53 -5345793411035808
67
+ 331 -5559694577845186 -53 -7366979636616841
68
+ 503 -5456853033392102 -54 6058415125231885
69
+ 87 8000792678177081 -53 -8879586456720159
70
+ 274 -7033700861750159 -54 -7961835311685820
71
+ 652 -4939274654324418 -54 -7255959385942839
72
+ 404 -6177416715380814 -53 -8450178233150211
73
+ 829 -5713541779311462 -53 7670713150419404
74
+ 690 -8301198051277751 -53 7033802444835744
75
+ 353 4694829348476536 -53 -7514089683555727
76
+ 346 -6402836548135286 -53 -7045030917277902
77
+ 804 6959938600253187 -53 -8502312269758267
78
+ 201 6274650531015713 -53 -8979626325477115
79
+ 774 8993423507009512 -53 8093284610142563
80
+ 482 -8331086080772209 -54 6735065673698162
81
+ 916 -8298177759166473 -57 -7251648532957581
82
+ 659 8103070582035991 -55 -4952147068428798
83
+ 112 8953643628127437 -53 -8757194723036144
84
+ 891 -7267853280706301 -53 -6826077968570679
85
+ 314 5265698873042784 -54 7605811236674614
86
+ 544 6780535129093995 -53 8865625592986772
87
+ 307 6608470965598111 -53 -8811919809116240
88
+ 39 7073351265798820 -56 -6850840792185141
89
+ 609 -8985399800628843 -54 6459472950850789
90
+ 842 -8421992969259743 -55 7403521462985780
91
+ 347 6913923209010308 -54 -4885556546151662
92
+ 394 8713003887705526 -55 -6023408454103302
93
+ 653 -8033033462300211 -56 8683287854792436
94
+ 63 -6410984622510303 -53 -8358063926405611
95
+ -10 7811120139907973 -53 5140048926699876
96
+ 528 7692851771510358 -55 6073915309513763
97
+ 941 5605754464719063 -57 6794163276276027
98
+ 545 -6096456455442899 -53 8802732629990797
99
+ 897 7158600781215291 -53 8124963977511246
100
+ 565 7411248983727699 -54 6237416595502091
101
+ 901 4925391514260608 -53 -7679723180255530
102
+ 403 6146025039085590 -53 -8805091819920675
103
+ 164 8375425051520014 -53 7796106359791655
104
+ 16 7517051703462570 -53 -7597579651400639
105
+ 123 -5914738608826625 -53 6682546998720243
106
+ 156 -4968776726962306 -53 8517979573736827
107
+ 671 -6122916956169787 -55 -6971647945537329
108
+ 555 -8010938672901952 -53 7188762950749077
109
+ 220 -8722677903904569 -53 -9003701962283438
110
+ 792 6177610704928966 -53 6638699426138769
111
+ 570 7686451571857505 -55 -5343593670828002
112
+ 746 -4828569127952373 -53 8306707144826835
113
+ 564 8851757688773180 -55 -8094054835075039
114
+ 110 5335286683472259 -53 -8919773333678459
115
+ 597 7124363853479145 -55 4817031600473740
116
+ 26 8506464946553149 -53 8857623309922584
117
+ 65 4802410630306078 -53 8911434843262646
118
+ 512 -8463337649275661 -53 -7323412907271996
119
+ 265 -7405867036167205 -55 -4786268162027008
120
+ 908 -6712339897314473 -54 -7091002855211751
121
+ 194 -7994929957321529 -53 -7190920783975425
122
+ 457 4944427620291209 -53 7721627898979293
123
+ -11 -5873091885044014 -53 8439410650471724
124
+ 37 -5523405643628900 -53 -8977244583311942
125
+ 791 8052737482165046 -53 7120931423761853
126
+ 67 -8207468382767545 -54 5602220867062007
127
+ -37 -7823481289146324 -53 6467420673769737
128
+ 85 7151354051964089 -53 -7554283503006687
129
+ 759 -7979056706933698 -54 -8395704466182300
130
+ 586 -8005032329558961 -53 -8132149746926195
131
+ 824 -7594986401479735 -54 8895012425681974
132
+ 896 6694161035811221 -53 8795099441572821
133
+ 927 7324546203431226 -53 7668321511147775
134
+ 458 -4886004814682413 -53 -8051311666108692
135
+ 177 6356930054346568 -53 7498054535699887
136
+ 248 -7572393379091985 -53 -6674918180822970
137
+ 16 4889051357699240 -53 5384737944504604
138
+ 594 -6839829717605579 -53 8663551065839956
139
+ 558 6631553111196444 -56 -7012446241590468
140
+ 441 -4664862833992454 -53 -4887053596024310