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_cos.txt ADDED
@@ -0,0 +1,346 @@
1
+ 425 8484861576872451 -55 -5046707314640411
2
+ 15 -4529148900009627 -53 8670484798206622
3
+ 414 7172124154542834 -53 5038738259764714
4
+ 705 -6663726661481269 -53 -9007151562686892
5
+ -36 -8493773987677344 -53 -4872161775667126
6
+ 490 -5348992644192315 -53 -8504485333163628
7
+ 685 8832785864986117 -53 -7344412711636523
8
+ 915 7201323186255539 -53 -6338688567787502
9
+ 489 -8508605255561005 -53 -8560285629491476
10
+ 896 -5966287447677426 -53 -8514795505062777
11
+ 459 8163157586327251 -54 4525130330322336
12
+ 703 6676640650482679 -54 -4774607991181353
13
+ 778 6816609779663939 -53 8393056141089760
14
+ -11 6954046480255692 -53 -8303241516736663
15
+ -21 -7134886855056704 -53 -8945712752701843
16
+ 790 5800233971415760 -53 -8406292632371573
17
+ 558 8942936898048897 -53 -5517304332565442
18
+ 832 8740001350302566 -53 -8122698330169002
19
+ 812 -7101526174688519 -53 8984661732983604
20
+ 768 -5356365303183490 -53 -7538118852247056
21
+ 90 -8142188070158826 -53 -8594283136382158
22
+ 160 8448675282691322 -54 -7713938973394731
23
+ 593 5366981974132823 -53 8973049844479271
24
+ -38 6781016260174975 -55 5842003800260055
25
+ 511 8019836288695324 -54 -5129264173066989
26
+ 403 5064312290042516 -53 8289954887543607
27
+ 632 5093373513407700 -54 6006067132948568
28
+ 154 8051203402239569 -54 -7679859330434309
29
+ 360 -6289146307896072 -54 6969900107431076
30
+ -40 8560746354748684 -54 8381550314762698
31
+ 35 6876346203317830 -53 -6171247005604286
32
+ 519 -6212489556261991 -53 -8586091538994008
33
+ 481 -6148861145872366 -54 -6491299328965345
34
+ 872 -8744586462574697 -54 6234471007627089
35
+ 657 -6726121680304144 -54 4812582404868292
36
+ 307 -7904101458971908 -53 -8962275360238741
37
+ -2 5902586605699877 -53 7091667584029893
38
+ 543 -7843850071882124 -53 -7210885307719319
39
+ 651 7867632908961680 -53 8552118321709082
40
+ 669 -6630098393835240 -53 -5095822810761597
41
+ 734 7944996866545728 -54 7280956075755616
42
+ 847 4731494650042552 -53 -5940935092391824
43
+ -2 6853785068935535 -57 -5385828092878143
44
+ -14 -5038526199971388 -54 8601905727178380
45
+ 772 8786607949335140 -53 6344178089366855
46
+ 742 8120082850739623 -54 -8180341719910870
47
+ 315 6494384300405594 -53 7085115489133860
48
+ 470 7339556893929003 -53 5039362913761199
49
+ 656 5009788160577720 -53 -7045365501968841
50
+ 493 -6803453939048071 -53 8992309293428809
51
+ 391 -5377127005280176 -54 -6805971719738249
52
+ 548 7096495304576615 -53 -8960380286169409
53
+ 207 6355845196491591 -55 4609293115353154
54
+ 805 6300995009197921 -57 5296099352771387
55
+ 413 8377617797902014 -53 6029599331190729
56
+ 699 -6968752739134005 -55 -6934409942908288
57
+ 261 5049029654419509 -53 8985183636883461
58
+ 501 7458589286701112 -53 -5554573012432395
59
+ 197 -8918476798358887 -53 8292473988028937
60
+ 940 -6394733394362928 -53 -9001197263779049
61
+ 63 8107440537996292 -53 7896809247593420
62
+ 541 6547145292154903 -54 -8572117739065368
63
+ -9 8341542966412239 -53 5339291970999122
64
+ 365 6771793330069776 -53 -7055065085452223
65
+ 961 -7361599714636598 -54 5206946842476179
66
+ 771 4742050159158855 -53 -8832547076840381
67
+ 123 -5771050042967717 -55 -7252183890560638
68
+ 365 5239165405012054 -53 -8150933030842348
69
+ 223 6557388780174641 -53 -7580089734066286
70
+ 4 -7307242268479298 -53 -6295642969524055
71
+ 562 -8985332101253263 -53 8680935946717547
72
+ 950 -5178397636425290 -53 8254728253342864
73
+ 589 8341997263177609 -58 -7412517652516102
74
+ -21 -7915094592578171 -56 -8262559160454133
75
+ 436 7051541299477920 -53 6865879603224138
76
+ 316 -6956854561405596 -53 -8974011124434076
77
+ 649 7637484228051510 -53 -8372395459675122
78
+ 665 -8824197188253872 -53 8532014683981663
79
+ 215 5615179132429749 -53 -6427893279056746
80
+ 212 -7952365331537377 -53 -7482871895020580
81
+ -18 -5702763367201132 -53 6221076436416916
82
+ 217 5849301144989517 -55 5398079185863294
83
+ 919 -6874928761979130 -53 -7387106911717465
84
+ 480 4620013048005767 -53 4578255878935810
85
+ 816 5234355272914925 -54 4943865279488037
86
+ 406 -6521245641807059 -53 8840007030749564
87
+ 625 -7825465117186946 -59 6371455742726433
88
+ 40 6615978021859631 -53 8275592804533784
89
+ 867 8839008976554769 -53 -5453132757627537
90
+ 353 -5898141086484673 -54 7843251468161317
91
+ 89 4716664644511515 -57 -6313909461070734
92
+ 561 -6118345302746358 -53 -5537619634870031
93
+ 390 5436752549854655 -53 -6922692262579406
94
+ 933 -4866414550632430 -53 8854389734082477
95
+ 123 -8752174350720631 -53 6585976586868007
96
+ 641 7017956377783467 -53 -6310410794998684
97
+ 561 -7458062597455571 -53 -7065264169811994
98
+ 851 -6463823061146518 -53 -5119481376703910
99
+ 948 8355582906651128 -53 6942419196640540
100
+ 700 8113489181652189 -53 6101529262502885
101
+ 7 -8830891084451548 -55 6334224014036836
102
+ 399 -7797450465851177 -53 -9006951771645696
103
+ 743 -7723402786849290 -53 8987848614834803
104
+ 860 7086267758525712 -53 -7685496800719620
105
+ 374 -4694326818751641 -55 -5414777865819426
106
+ 807 6477003284853698 -53 -7955253275218610
107
+ 944 5715073256491749 -53 5447014785276234
108
+ 913 -8839050695499634 -53 -6311426111978785
109
+ 876 -6243484423399411 -54 -5205838904435808
110
+ 402 -7400966260421586 -55 -5058328601921247
111
+ 910 -8203194558595311 -57 -7842239215804849
112
+ 232 -5989955896364895 -54 -8162347642779701
113
+ 432 8939289765420517 -53 4935921399119768
114
+ -35 6647472122721731 -55 8142320796718528
115
+ 904 -4755174597359886 -56 -7731119037288034
116
+ 812 -8551938348039270 -53 -6462571740798433
117
+ 761 6296608810848904 -54 -7576445878406977
118
+ 96 -6743280109527088 -53 -7313090600479103
119
+ 449 8450451038247186 -53 7207440205580872
120
+ 753 8397365697430959 -53 9006428129806750
121
+ 883 -4823556669042603 -53 -8379795419285433
122
+ 630 -6852079313249845 -53 -8998335899815718
123
+ 811 4995814725052182 -54 -6533657338626941
124
+ 728 8022718293946663 -54 -7409570713715584
125
+ 707 8283774744502846 -53 7674909617563991
126
+ 260 7220313553427406 -54 -7057254423676014
127
+ 93 5736707814696806 -55 5924629138120983
128
+ -3 -6223223540714733 -53 -7579474304259371
129
+ 499 -6636751356560030 -53 8192306839540587
130
+ 320 5018889624419624 -58 4572597531140827
131
+ 663 7958523743503521 -53 7463695886647420
132
+ 334 -5330120378999950 -53 8987997770459633
133
+ 12 6103184766876567 -53 -8880401990408257
134
+ 633 6671776576876758 -53 -6370999311338661
135
+ 876 6138375835207820 -55 7365645909068778
136
+ 479 -6120635042016635 -53 -8980420299215940
137
+ 499 8830208801302450 -53 7944206685110658
138
+ 625 7076088286716849 -56 -7962017214069109
139
+ 870 4808244843186839 -53 8670533367510178
140
+ 420 8920786594557296 -53 6533782348932140
141
+ 96 -6545451137784602 -53 4564400343428433
142
+ 760 -6346071216597584 -53 7195123467084999
143
+ 453 7351557139289309 -53 4592428073582258
144
+ -37 5169186076664825 -53 8402679989361960
145
+ 737 6345671279253373 -53 6013492218114821
146
+ 622 -8359959245336497 -53 9006970064258999
147
+ 757 -8238254986864660 -53 8875198759773999
148
+ 132 6203835798618976 -54 -8831468237355581
149
+ 462 6515524874268421 -53 7703860922026813
150
+ 871 -8743780851150949 -53 8446868709759304
151
+ 658 6882275976033248 -53 8931389471862097
152
+ 183 -7138713330088496 -53 6770272977266411
153
+ 682 -8994111109208865 -53 -8559188396107429
154
+ 286 7913585866586977 -53 9007015394995223
155
+ 922 -8846511680487259 -53 8295667495761256
156
+ 46 -7776666814346699 -53 8985628859767879
157
+ 885 -6201298089934586 -56 -6941020506626250
158
+ 178 -8177394936918876 -53 8778934016710185
159
+ 109 8044933423420516 -53 8069706286657982
160
+ 488 -8434767656390677 -53 8975841121365172
161
+ 966 -7549981780214545 -53 -8956607300748562
162
+ 951 4669669614917188 -58 6358311859089101
163
+ 187 -5052259611761169 -53 -8950352660822181
164
+ 835 -4906235010008324 -53 4621899295214760
165
+ 234 -5203490036476071 -53 7895971365390146
166
+ 59 6888932663232781 -53 8979268203061723
167
+ 77 7809430654792125 -54 -5971022383781549
168
+ 837 4816964321287800 -54 -8142301518564027
169
+ 251 -7803540968639422 -53 5141140120805571
170
+ 11 -6549340329145774 -53 -9006540015975055
171
+ 939 5130818473650893 -54 -7967426051538464
172
+ 970 5816095757970124 -53 7991597388798886
173
+ 279 -6206383327152090 -54 4957581306614910
174
+ -6 -4676516513901518 -53 -8975101305135830
175
+ 317 5289378402939223 -55 -7350659767344978
176
+ 549 8714124817573342 -53 8893164626568374
177
+ 602 -6033829192001920 -53 -7964161284767591
178
+ 360 8101945675345056 -54 -7458502520226906
179
+ 747 7120872537760602 -55 -8400656079631795
180
+ 947 5158461629420327 -53 -6782888169711178
181
+ 723 -8666620386497516 -53 -5276880025545441
182
+ 836 6691773231784459 -53 8424297485350256
183
+ 397 7347799899104176 -53 8546260914953450
184
+ 690 -6191406088559682 -53 5120649082208969
185
+ 567 5443208732651280 -53 5302669080574741
186
+ 877 5746912649563628 -53 -5410964684646601
187
+ 412 6824313305412857 -53 -8861648903474327
188
+ 314 -5814579230165543 -53 6570968422453866
189
+ 710 -8017922951912959 -54 8106769510287669
190
+ 174 -5942427160287961 -54 7802526128412308
191
+ 792 -5153773291982280 -53 6371037194448713
192
+ 552 5243664908066054 -53 6599549589358985
193
+ 959 7794849258676699 -54 -6224705904853105
194
+ 411 -4990425003984983 -54 -5856766651981860
195
+ 809 8617645898297398 -54 -7173583536151024
196
+ 43 -8896808580109820 -53 -8348446957362685
197
+ 602 -7692907866783583 -53 -7269156197548492
198
+ -4 6133009370946835 -53 8928964782508772
199
+ 853 6830738119728991 -54 8384328085766662
200
+ 888 -8554810552376716 -53 -7531460652001149
201
+ 460 4882244522776341 -54 -7620986790799875
202
+ 915 8100962836781833 -53 -6750342330403643
203
+ 437 8338108507754904 -53 8041147168332680
204
+ 145 -8863032706585696 -53 -8751960585706207
205
+ 18 -8854731199899498 -53 8869674667313593
206
+ 932 -7914490367729414 -53 -7183499549359393
207
+ 925 -7216649427255279 -53 6040813178519738
208
+ 347 6725918032371798 -56 6614278216321449
209
+ 829 6135477406303508 -53 -4872580952824240
210
+ 552 -5124269507336179 -53 -8621915021081127
211
+ 625 7647530725464287 -53 -8998608483226757
212
+ 59 7660871575298279 -58 -7365622529816918
213
+ 609 -5054198153202923 -53 4583329725442104
214
+ 736 8833477236959999 -53 8920275082548881
215
+ 480 5870903824908335 -53 8903602757982934
216
+ 278 7136950326682280 -54 5692987404331794
217
+ 753 6064195165509665 -55 -7697388219906165
218
+ 265 8082280607089708 -53 -7868372903766586
219
+ 710 -5741783692402629 -53 7796970532462394
220
+ 868 -7420074389565454 -54 -7371406892025765
221
+ 747 -4920739895207692 -53 7672165512303074
222
+ 908 4752956800805940 -55 -5362050599490048
223
+ 403 -8817300338854143 -54 -5804719921228238
224
+ 262 6355038267684626 -54 -5247030282861976
225
+ 593 -5424569512992249 -53 8973391067829231
226
+ 866 -5522483707359428 -53 6928061093971422
227
+ 555 5909928847339858 -53 6801981521724042
228
+ 112 6451058817714439 -54 8726201812123267
229
+ 270 -6895230493419901 -54 -8997391470671104
230
+ 5 -5666554957592035 -53 8943845845656237
231
+ 10 6515891111853803 -55 4976088019297854
232
+ 765 6392076989348600 -53 8428459532884621
233
+ 111 5621441954066462 -60 8713853464049649
234
+ 130 -4533109478414644 -62 -4857981502904127
235
+ 173 -8437140271572496 -53 -8699402153102063
236
+ 692 5115116812408855 -53 -8965051205768813
237
+ 199 7804004877484556 -56 6354621174838166
238
+ 512 -6056263144791330 -56 -6691700301574543
239
+ 626 4780428362032639 -56 6507424106301177
240
+ 612 7379040341547339 -53 6679223576935077
241
+ 548 6387755994067790 -54 7722149724329505
242
+ 777 6619607484174627 -54 -8570057499199834
243
+ 156 5322830663543462 -53 6807941977584645
244
+ 263 6333009033666248 -53 5972291872762493
245
+ 494 5661295206120040 -54 7060613443052350
246
+ 80 7235233276450608 -53 4885183900809145
247
+ -12 -5806011097812476 -53 -8714596044275658
248
+ 825 7941723170695676 -53 -8995829899173385
249
+ 542 -6973881339639258 -53 6965702076678868
250
+ 243 8413785099242582 -53 7467167452899902
251
+ 96 5998417843071364 -58 -7789281852473812
252
+ 130 -4516404302774471 -53 -4523969499369138
253
+ 643 7679050483046672 -53 -7556420201572934
254
+ 63 -7278803254182532 -53 7334524082291686
255
+ 303 -4904200720656283 -53 5774866867171582
256
+ 550 -6443067334227749 -53 6067833409339348
257
+ 413 -5282372955625664 -55 -7268718489350626
258
+ 563 -6967410220819624 -53 -5647327597944053
259
+ 939 7367138504665052 -53 -6170014641536200
260
+ 67 -7239616289705171 -53 -4654941460308261
261
+ -6 -8512426924362404 -60 5702982916722662
262
+ 894 -5982541183682371 -53 -5142981043762709
263
+ -44 -5384796946547615 -55 -7687193679177457
264
+ 864 -5385547244731483 -53 -6277534733990010
265
+ 451 -6141462402542773 -54 -5753945968341940
266
+ 637 5550284084430052 -53 -8324723255964933
267
+ 762 -8038418904967827 -53 -7233570862174553
268
+ 515 8875611181770250 -53 7768441513767874
269
+ 572 -8696681272671742 -53 -7729082832601356
270
+ 228 -5766550727856149 -53 -8873316760707886
271
+ 593 -5312371212477567 -53 -8950969469146128
272
+ 638 6312620626235197 -54 -7564306778001811
273
+ 600 -4552712415755574 -55 -4828550147465298
274
+ -35 -7263061500047072 -53 -5952733239469808
275
+ 638 -7349245724154811 -53 7561246235399316
276
+ 902 -7847899718949598 -53 -7426118027956847
277
+ -51 8888642756069091 -53 -6238069815596681
278
+ 354 -6296709432871714 -53 -4955566467393950
279
+ 918 6959992220866166 -58 -7333361227268027
280
+ 864 -5203091846071397 -53 8761272386728601
281
+ 755 -7980765487471836 -53 -7523084554236330
282
+ 71 -7020220469765710 -53 -7663372791446339
283
+ 269 -7057614990645225 -53 -4609537046047573
284
+ -35 7731465779503060 -54 -4739199735190072
285
+ 253 6856533173070875 -53 -8927490641075890
286
+ 846 4673434400077470 -53 -7245097489509094
287
+ 812 -8207280804301671 -53 8870381411792390
288
+ 174 5411089599646146 -53 -8168482312095878
289
+ 44 4695029683263206 -53 5338340138029154
290
+ 658 -7322136698715846 -53 8476527155354909
291
+ 104 -8318851740290487 -54 4650245649825737
292
+ 493 6972307656540066 -53 -6012339318998135
293
+ 514 8546277606334021 -53 6871447877686133
294
+ 108 -6938667423523072 -53 -5208677894097039
295
+ 213 -8338932067796539 -53 -7473347055221726
296
+ 732 6305999212486983 -55 -5009003781557847
297
+ 632 -5549943707103130 -54 -8658916327578869
298
+ 209 8473927876038408 -53 -8966165891963597
299
+ 452 5750967850634343 -53 -8754260917418654
300
+ 775 7930583216383035 -53 -7636771231299485
301
+ 254 -8227315686115141 -53 -8149449866594235
302
+ 43 -4575060628010699 -53 7926114861732936
303
+ 197 -6281438733001056 -53 -7033871249745485
304
+ 196 7331575100873482 -53 -5887950914671800
305
+ 890 6356753046178979 -54 8600058847286554
306
+ 69 -4809578488383969 -53 -6568140028370423
307
+ 95 -6115993894870120 -55 8318176533169178
308
+ 630 -5759258416024350 -54 -5740863985983872
309
+ 617 8949759592752547 -58 7415200582230249
310
+ 791 6913435045501574 -53 5299305762441386
311
+ 21 7582462369983544 -53 7932030141074643
312
+ 794 -4681277967541450 -53 6354417197165159
313
+ 655 4790874551162986 -53 -7847723051988268
314
+ 461 -5818426145666079 -53 -7863624543526371
315
+ 497 -5014007850825628 -53 6337884729053608
316
+ 346 -7756295128182659 -56 -7786942175263731
317
+ 506 8654268965450488 -53 8160071394088678
318
+ 698 -6964222934057437 -55 5262073730629286
319
+ 114 -8904505738763082 -57 4702785298460605
320
+ 595 5433167356998006 -53 -8997222352322504
321
+ 342 7379156380649581 -53 8988924335949810
322
+ 591 -4783342066811528 -53 -5225094071305543
323
+ 512 6706225064917881 -53 8960089113219135
324
+ 396 8689443516667033 -54 -8375838996236134
325
+ 477 6658492749430540 -53 -6971433312150833
326
+ 0 5723078328852664 -54 5676474497514268
327
+ 547 4976975988939711 -53 -6366435120355013
328
+ 666 7760216444364765 -53 8522063523357840
329
+ 875 6757199513854860 -53 -6932885325641474
330
+ 251 -6872741805668289 -53 -5495898074839814
331
+ 531 -5726435423715369 -53 8996152887139479
332
+ 819 -8181631708312333 -54 -4954085905010130
333
+ 70 -6863802001132068 -53 8788185543852421
334
+ 888 -4778951145980266 -53 -6172105942513044
335
+ 138 6758587188032605 -53 -8803699147777152
336
+ 205 4571273254639901 -53 -8805877956310510
337
+ 197 8413462024548535 -56 5833301365114645
338
+ 685 5619726363835658 -57 5560878074275555
339
+ 99 7479481132068665 -53 -8072347875821746
340
+ 97 -5494762799557221 -53 -6611122256842556
341
+ 128 8123035870379841 -55 -8555869324355888
342
+ 539 6744995327389477 -53 -8847765296581455
343
+ 444 -7396005050966256 -53 -7815487005106083
344
+ 242 7347748547633649 -53 -8750441445350009
345
+ 342 -8979861441596591 -53 -8576054302878076
346
+ 329 -8276967760283690 -53 -8943442878646216