intervals 0.3.56

Sign up to get free protection for your applications and to get access to all the features.
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