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
|
The tool has been restarted.
=============== Test number 221 ================
x * (2 / sqrt(pi) + x^2 * ((2 / sqrt(pi) * (-2)) / 6 + x^2 * (2 / sqrt(pi) * 12) / 120))
The tool has been restarted.
=============== Test number 222 ================
The tool has been restarted.
=============== Test number 223 ================
1.00000000000000002775557561562891353466491600711096
1.000000000000000027755575615628913534664916007110955975699724
The tool has been restarted.
=============== Test number 224 ================
false
true
The tool has been restarted.
=============== Test number 225 ================
exp(x)
1
true
5
3
3
The tool has been restarted.
=============== Test number 226 ================
error
Warning: at least one of the given expressions or a subexpression is not correctly typed
or its evaluation has failed because of some error on a side-effect.
error
Warning: at least one of the given expressions or a subexpression is not correctly typed
or its evaluation has failed because of some error on a side-effect.
Information: the expression or a partial evaluation of it has been the following:
(1.2) + ("toto")
error
The tool has been restarted.
=============== Test number 227 ================
void
The tool has been restarted.
=============== Test number 228 ================
proc()
{
print("Hello world.");
return void;
}
Hello world.
Hello world.
Hello world.
void
The tool has been restarted.
prec = 165
x = 1.99999988079071044921875 f(x) = 7.3890552520751953125 eps = 4.5998601423446695596184695493764120138001954979037e-9 = 2^(-27.695763)
x = 2 f(x) = 7.38905620574951171875 eps = 1.44563608749673018122228379395533417878125150587072e-8 = 2^(-26.043720)
The tool has been restarted.
=============== Test number 229 ================
x + 2 + exp(sin(x))Hello
Helloworld
Helloyou7other persons.
The tool has been restarted.
=============== Test number 230 ================
Hello
[|"Hello"|]
Hello[|"Hello"|]
Hello you[|"Hello\tyou"|]
The tool has been restarted.
=============== Test number 231 ================
x + 2 + exp(sin(x))
The tool has been restarted.
=============== Test number 232 ================
The tool has been restarted.
=============== Test number 233 ================
(0x3ff0000000000000 + 0xbc09fda20235c100) + x * ((0x3b29ecd485d34781 + 0xb7c1cbc97120359a) + x * (0xbfdfffffffffff98 + x * (0xbbfa6e0b3183cb0d + x * (0x3fa5555555145337 + x * (0x3ca3540480618939 + x * 0xbf56c138142d8c3b)))))
x * (1 + x^2 * (-357913941 * 2^(-31) + x^2 * (35789873 * 2^(-32))))
1 + x * (1 + x * (1 * 2^(-1) + x * (375300225001191 * 2^(-51) + x * (5592621 * 2^(-27)))))
Error of pstar: 41623862533526995219855274593333067596572580995543 * 2^(-215)
Error of P1: 41623862533526995249852857301809387823617141062435 * 2^(-215)
Error of P2: 43429285529967733230721931906794206008049814555029 * 2^(-215)
Error of P3: 28553921171649539207471988588453621507466219169379 * 2^(-214)
The tool has been restarted.
=============== Test number 234 ================
2
-1
1
-3
18
-20
-1.3333333333333333333333333333333333333333333333333
-123
1.25
-6.8
0.33333333333333333333333333333333333333333333333333
0.125
37
5.5
-20
26
-40
2
4013
6.177262278522906304443431930143512851759113184217
-24285.9146611129530939587447727541679010508347690744
-27
1.1102230246251565404236316680908203125e-16
1.39234637988958594318883410818490335842688858253435e188
5.5511151231257827021181583404541015625e-17
-0.25
1.25
1.25
2.75
1.25
-6.8
-0.36363636363636363636363636363636363636363636363636
-6.8
-6.8
0.33333333333333333333333333333333333333333333333333
0.33333333333333333333333333333333333333333333333333
0.75
0.33333333333333333333333333333333333333333333333333
9.1552734375
0.125
4.5
62
37
110
37
110
85
85
1.3333333333333333333333333333333333333333333333333
5.5
-20
0
-20
26
64
24
-44
-56
3.814697265625e-6
-8.2718061255302767487140869206996285356581211090088e-25
24
-8.2718061255302767487140869206996285356581211090088e-25
3.814697265625e-6
-8.2718061255302767487140869206996285356581211090088e-25
1.136868377216160297393798828125e-13
3.14051814518196971703964779587883075100091503019375
4722366482869645213696
3.14051814518196971703964779587883075100091503019375
1.00000000000000780610981129906618988434224948090255
50331648
3.14051814518196971703964779587883075100091503019375
2
1.136868377216160297393798828125e-13
1.1472026904398770894730586135365973741913799219369
4013
5859
-24
870
3577
567370
47363
-12703
The tool has been restarted.
=============== Test number 235 ================
The tool has been restarted.
=============== Test number 236 ================
[0;1]
The tool has been restarted.
=============== Test number 237 ================
Warning: the given expression is undefined or numerically unstable.
NaN
[NaN;NaN]
[NaN;NaN]
[NaN;NaN]
[NaN;NaN]
[-infty;infty]
[-infty;infty]
1
[1;1]
0
[0;0]
[-infty;infty]
[NaN;NaN]
[0;0]
[NaN;NaN]
Warning: the given expression is undefined or numerically unstable.
NaN
[-infty;infty]
1
0
The tool has been restarted.
=============== Test number 238 ================
true
8.1297511363991581030970926503655261289613034673227e-20
8.1297511363991581030970926503655261289613034673227e-20
The tool has been restarted.
=============== Test number 239 ================
1
2
3
1
Warning: the given function must be a polynomial in this context.
Warning: at least one of the given expressions or a subexpression is not correctly typed
or its evaluation has failed because of some error on a side-effect.
error
The tool has been restarted.
=============== Test number 240 ================
[|[-0.96139749187955685726163694486915609849206725405894;-0.96139749187955685726163694486915609849206725405892], [-0.2751633380515969222203426565518628985969736882986;-0.27516333805159692222034265655186289859697368829859], [0.96139749187955685726163694486915609849206725405892;0.96139749187955685726163694486915609849206725405894], [0.27516333805159692222034265655186289859697368829858;0.27516333805159692222034265655186289859697368829861], [-0.96139749187955685726163694486915609849206725405896;-0.9613974918795568572616369448691560984920672540589], [-0.27516333805159692222034265655186289859697368829862;-0.27516333805159692222034265655186289859697368829858]|]
[|[-0.96139749187955685726163694486915609849206725405894;-0.96139749187955685726163694486915609849206725405892], [-0.2751633380515969222203426565518628985969736882986;-0.27516333805159692222034265655186289859697368829859], [0.96139749187955685726163694486915609849206725405892;0.96139749187955685726163694486915609849206725405894], [0.27516333805159692222034265655186289859697368829858;0.27516333805159692222034265655186289859697368829861], [-0.96139749187955685726163694486915609849206725405896;-0.9613974918795568572616369448691560984920672540589], [-0.27516333805159692222034265655186289859697368829862;-0.27516333805159692222034265655186289859697368829858]|]
[|[8.2724026188633676417699999999999999999999999999927e20;8.2724026188633676417700000000000000000000000000157e20], [3.1709884106032649006689059189689875321018220121288e21;3.1709884106032649006689059189689875321018220121379e21], [1.22037362812477135146527020637096995701538959849263e22;1.2203736281247713514652702063709699570153895984963e22], [4.7149719797641181157448821110822360052469088771702e22;4.7149719797641181157448821110822360052469088771852e22], [1.8285595553799088668993329843624310946532127455557e23;1.82855955537990886689933298436243109465321274556173e23], [7.1177167975596881388464104315965462422574720857932e23;7.1177167975596881388464104315965462422574720858186e23]|]
[|[131072;131072], [90852.187250353151595935448623766119130791953610866;90852.18725035315159593544862376611913079195361087], [62973.937440286497133966462330688631174667036471398;62973.937440286497133966462330688631174667036471403], [43650.207185492964765709576780084745883631810687609;43650.207185492964765709576780084745883631810687618], [30256.018041481914205798100863262755588448753098228;30256.018041481914205798100863262755588448753098236], [20971.87360042402723672184112492761537175709484389;20971.873600424027236721841124927615371757094843897]|]
[|[14063084452067724991009;14063084452067724991009], [14890324713954061755186;14890324713954061755186], [14890324713954061755186;14890324713954061755186], [14014423260192058122528;14014423260192058122528], [12365667582522404225760;12365667582522404225760], [10183490950312568185920;10183490950312568185920]|]
[|[1;1], [0;0], [0;0], [0;0], [0;0], [0;0]|]
[|[289;289], [34;34], [2;2], [0;0], [0;0], [0;0]|]
[|[1;1], [0;0], [0;0], [0;0], [0;0], [0;0]|]
[|[1.6141098350913265201165182766751660422572465082689;2.7055664264617172362686272458125796237129210742258], [-3.18170955578781671250140859867228938424940111856135;5.3107326708678786848796569934180860695602497383355], [-26.7163731922041039501980246696009182436694971461;12.4017113673384498714655744627254545512458677568624], [-181.14089199334961442985384099042710778827783812196;156.503823822803811132671177895633623338719003912927], [-1294.7148264875959350401814226110415966565776756955;1536.00512355020066553334935043058390240978469685435], [-14951.4565877378655529290365487296550106301948838258;16390.347407110246872498519601111018607053982955163], [-1.93780918979212375285911252002766508524654567819326e5;1.876361576624133966877308482494931426395563925082e5], [-2.7357612151745557143812604520279266823336896234337e6;2.5976462450734721257588265697105548177032463142369e6], [-4.1194381550230500718380929486228585287806925754978e7;4.1408751977274360063068777853003008515264000576901e7], [-6.9707353222261987719549169278064932127346039155378e8;7.1609587997041335223140053249341233960201304267737e8], [-1.31900067694567299361094741187926456171958080384785e10;1.32690760444782605182439738541211540421096281100005e10], [-2.69067811631987208681982375426415347399315900897486e11;2.66675367374857169714782552252236294341925504014677e11], [-5.8769369855311893556522948830030736365971929475302e12;5.839072987553619434977928591955643800957931627345e12], [-1.3688392808151896552577653287226046830719362443603e14;1.3710928571092048197460394233087444841895611195639e14], [-3.4187078986868834416508596318463095152456269394212e15;3.4305114672529943310839203712853431634162958766351e15], [-9.0801027068831710050978857907546210761647828332268e16;9.0832498885516895416720396426685853396800376469664e16], [-2.5528028410856348236681728503341748805429729527972e18;2.5508631917680143113401972435089952934991627062146e18], [-7.568309219672858119965187350902710210402683005237e19;7.5619852137898246407515799279879155503252867171096e19], [-2.35992290779787574051936462153512833753873120499863e21;2.36013074413675659021488965154757715323291340048364e21], [-7.7269667452157717209826313353351230380712703236628e22;7.7323505833479810759394701113126141981228179032282e22], [-2.6514209380376596296149813359263806477349969017572e24;2.6506768993429470099323323582445276980839504019612e24], [-9.5016191557883418775756879513726231934214578785013e25;9.4999365796959501073040742281439588785521209246264e25], [-3.5507068602427564844432962136452674082927620233439e27;3.5519665933340707442058803469965991410504163131039e27], [-1.38210966674007799553611498480629615105240092574347e29;1.38209596317531132067983004658756971769780466122586e29], [-5.59110652625267762124978176103051021942339522453e30;5.5905878063905404334354127413282048033620387173393e30], [-2.3473359974404890720773387171639383081479354629456e32;2.34733971246454178762036427713565242034320380749006e32], [-1.02156550812014820104491927642633264633548434769392e34;1.0214560452991537152794575861751714700686385559582e34], [-4.6013137571436071883173478136534623910530631447304e35;4.601671097194470633268850625579668867758353837113e35], [-2.1429937424239009007655878995791194151787062011244e37;2.1430908400231194252062536703608587899546244377346e37], [-1.0307955562248892496849324155435591205935719627823e39;1.03076473008495050200008623024821285138301762480498e39], [-5.114973947816251525863180400411043361351483175616e40;5.1150323622133863299527480536337812859461761295978e40], [-2.6160422000481110917005504308962470134474581645608e42;2.61602972357558606541740311569451452420774988418436e42], [-1.37775466061423672749836047264986076787185347027454e44;1.37774643031222856804722980394662765883862703628723e44], [-7.4651739000311898437775101791178394931840711085793e45;7.465381896292168015908913188507210998389398757856e45], [-4.1584205913006728947532697135062129901030756428087e47;4.158302656308125525990382714318761267159166308294e47], [-2.3794112722926535871029984198195135483684674900115e49;2.3793874940765008833557205996378069121950029471159e49], [-1.39751214637699642376191896626664646452847320417206e51;1.39755390813940437628920444271321188284234896085418e51], [-8.4201003864102135937037647884866001185184012593742e52;8.4199582547788916238513489293642028401195618756268e52], [-5.2004032567715300233211739092611315154988134183991e54;5.200442106246405781610905916229576100283667251915e54], [-3.2905387061580343790523611226807452617680378113024e56;3.2905622833403762575346052571031812723100029974052e56], [-2.13182570298846546944241546906801688176513390674095e58;2.1317969562832803788841373721251037642298255270684e58], [-1.4133013074984417233475717250794392095294228479353e60;1.41331112992047201421039540778955978846340058214484e60], [-9.5829704991510881591673588379168940712435850492428e61;9.5829780600853819895273887396614980578264923030683e61], [-6.6423413215884297635498613067285340780778851320187e63;6.6423155970281512539203883180962154537864647757776e63], [-4.7041805589161249229200597673221962056879144573485e65;4.7042023231313276861068512859658642247942640580423e65], [-3.4024656450035285474609877652876475011820209965841e67;3.4024535033688481510935643310830770513984227634364e67], [-2.512182515860678171502545460819254939360358297629e69;2.51217936698584495656968603973577786634599839002704e69], [-1.89266062084264096892327122895865523569778861031424e71;1.8926713669401167554023301242177111608530176962969e71], [-1.45440615935801060259357228682256185457846125674614e73;1.4543998939882996441400546160147157850738642053906e73], [-1.1394956444317892645002117425195018684642165692419e75;1.139496534053621795188018512951848149101436323401e75], [-9.0990139527265907762477479994596234967722066035875e76;9.0990260916696213530969836767625023034822368868415e76], [-7.4024148285861441989749228207411059154462959986161e78;7.4023926634487562638460091056060787692314018379946e78], [-6.1333136943338004865117760910631658081368406142912e80;6.1333335586858128437729515225624983824054554437484e80], [-5.1739033998947713308945928822145500168993026169347e82;5.1738958053538812023581390981673502977521003787051e82], [-4.4422103542325036767600489735600838548279209363162e84;4.4422057979614867050541311671576291505555140876378e84], [-3.8806335339169800256931539049469712649068397218877e86;3.8806409639517906576586377761550350793519104815057e86], [-3.4482607962389292611756323021166978443812937193286e88;3.4482549244624981644392756059762312631697862733948e88], [-3.1157498669457507919985305185012467499505949885975e90;3.11575160874569778688485585541242174134000587545695e90], [-2.8620017259359514658845614754318163880335538404247e92;2.8620036185181807408979934632492545755119221865648e92], [-2.6718012005858900813143941883220049932170588358995e94;2.67179801494423873005658996106808041643775210201504e94], [-2.53425339481482798896683849501879764700099076252375e96;2.5342552307406731262260783357046829040825536239003e96], [-2.4417357861549537281321075923033170236858570168984e98;2.4417356763471286096308847609896322183741677288101e98], [-2.38914501754175392502653670730308696051945732911166e100;2.3891437994874207800502987168724315939346742359063e100], [-2.3734372157949609348243600106055853545163870197667e102;2.3734394076234040808704163265584311500868177673268e102], [-2.3933438571887767012472350475116362965895652819883e104;2.39334214973156884689002975142183811647163559991314e104], [-2.4492104406243478911254840835468200008513064037813e106;2.4492103254714334652496302275760938757860781936253e106], [-2.5430030201426598327493431768507088749831104973128e108;2.5430046140926031742595733894657233997737861618251e108], [-2.67840488088292960126843621584928073310155982810214e110;2.67840287121365062302046892131745115105371319695854e110], [-2.8610414643574085917966892624132710741348769210068e112;2.8610429818586778633658023506137404331237340216443e112], [-3.0988830219907648639482596904672269711249990080819e114;3.0988827215063845839996595154617503438160498894404e114], [-3.402787617050066876129616783966690183440648270135e116;3.4027861974223177829641109369861760392827050959714e116], [-3.78731304593782742900646687087501404339875211271326e118;3.7873153886791686286197960449991676064488182139519e118], [-4.271845441359281929601512574148415239697732755745e120;4.2718437090246956479846778081066886617455050963817e120], [-4.8821347180571453268720514988971629585823370567281e122;4.8821349001400551122890025084811047611101191813973e122], [-5.6524791722366940511850199624220728264439657863818e124;5.6524809334529443397850700976317978211753168422022e124], [-6.6287256352659837362025555696966801249531296290352e126;6.6287229349471603129560771626306768144514741943183e126], [-7.8724711055814570079644921445005619197740487523453e128;7.8724730296989598829860829928284648952525207569067e128], [-9.467013018544436712636415657143857775135421971063e130;9.467013309538475939527804322281976024572528818624e130], [-1.15257116054842180262817247822862138954863319173165e133;1.15257088427851495767343680363344167300293466684024e133], [-1.42039483286391153406952113971120839348361739649766e135;1.42039523479785637870593140976651919796932102459395e135], [-1.7716293092844190167584351330159781395374768579555e137;1.77162901691343306940015608785083666718203832096592e137]|]
[|[1.6141098350913265201165182766751660422572465082689;1.61410983509132652011651827667516604225724650826936], [2.5118353814937763560094585162790228586152401086788;2.5118353814937763560094585162790228586152401086805], [0.70740936843670755723881149569123745768608285096694;0.70740936843670755723881149569123745768608285097316], [-13.3055741964726401365700924194962775523760506082387;-13.305574196472640136570092419496277552376050608204], [-46.241632910276551916477751546287679176512081095965;-46.24163291027655191647775154628767917651208109575], [93.219597826768055536981257193573059929163486338683;93.219597826768055536981257193573059929163486340186], [1215.8419346564652983594805342085548028395070491023;1215.84193465646529835948053420855480283950704911444], [1771.13526250416591006542982812526820608094754973646;1771.135262504165910065429828125268206080947549842], [-34935.202418757707740781762516542491785135828655975;-34935.202418757707740781762516542491785135828654955], [-2.06476247514133187665039631764848537329132304397364e5;-2.06476247514133187665039631764848537329132304386714e5], [9.1178135808776154964378372195131228042629106471943e5;9.1178135808776154964378372195131228042629106483968e5], [1.4434878849716050885587037188270795201558989042478e7;1.44348788497160508855870371882707952015589890439453e7], [8.9450812760697643415086723208320962688949483333017e6;8.945081276069764341508672320832096268894948352462e6], [-9.9977864723464935985319883731727476633280349021166e8;-9.9977864723464935985319883731727476633280348994316e8], [-5.3504367584754115460006641940514484861100162819962e9;-5.3504367584754115460006641940514484861100162779804e9], [6.6113630796035063679810664316038800420939815278337e10;6.6113630796035063679810664316038800420939815342368e10], [7.735647083037569669203820825578987186539222819474e11;7.7356470830375696692038208255789871865392228303403e11], [-2.4848720899346296146998262930723710445433017968911e12;-2.4848720899346296146998262930723710445433017773154e12], [-1.05096671459527966301582060201824283671904501889684e14;-1.05096671459527966301582060201824283671904501515762e14], [-2.60166360000065371835099616252110637411163109800136e14;-2.60166360000065371835099616252110637411163102245435e14], [1.40084311188869375894328354745546202238894495163143e16;1.40084311188869375894328354745546202238894496774777e16], [8.4497406027158964128552446848654046645534664783365e16;8.449740602715896412855244684865404664553466840623e16], [-1.3080947186211178279181606266386227565162145891369e18;-1.30809471862111782791816062663862275651621450349303e18], [-2.3493247533630868759646948809855504411004184547358e19;-2.3493247533630868759646948809855504411004182422402e19], [5.758654925794543298321272832641390565971940673624e19;5.758654925794543298321272832641390565971946196106e19], [6.4811376944387154015339303566422848949179947766684e21;6.4811376944387154015339303566422848949179962770767e21], [-1.70518284996377349795334330217143011134333600421874e22;-1.70518284996377349795334330217143011134333175072695e22], [-7.8679295329238856689020856605773463871281049122494e23;-7.8679295329238856689020856605773463871280923534497e23], [-3.9124411966496538857305567602340832375181767053805e24;-3.9124411966496538857305567602340832375181381519765e24], [-9.569000495588863421546916151274214866983369491517e24;-9.5690004955888634215469161512742148669821409797879e24], [7.8095282518397094077188277323875633099366699865742e27;7.8095282518397094077188277323875633099367105599506e27], [-1.19593653808794175865003680723981513060619787547936e29;-1.19593653808794175865003680723981513060618400649822e29], [-2.7399467802271778988233158324860044014600588550904e29;-2.73994678022717789882331583248600440145956880644554e29], [3.4005308770726838648562404284595945644582119700676e31;3.4005308770726838648562404284595945644583907525815e31], [-1.2746748482936960735401621016406738280069481666626e33;-1.27467484829369607354016210164067382800688089270819e33], [4.1513566746516313045064781886038307972912854821524e34;4.1513566746516313045064781886038307972915463309481e34], [-7.572319137546109949676191243303513903611160232118e35;-7.57231913754610994967619124330351390361011895303e35], [-9.6953062687864022997864339608355621436151459409658e35;-9.6953062687864022997864339608355621435723871714399e35], [5.7657586074354987214879836665600469068851403834944e38;5.7657586074354987214879836665600469068869451811923e38], [-2.4011388182311120507820973540462918168427220585172e40;-2.4011388182311120507820973540462918168419395999357e40], [6.2876240353925820837424028465782377582765345651096e41;6.2876240353925820837424028465782377582800165291625e41], [-8.552290182959565752040997599986089362242128538649e42;-8.5522901829595657520409975999860893622262345569224e42], [-1.8217659427750716852862784230937790061314779482706e44;-1.8217659427750716852862784230937790061240406398334e44], [1.75024872411113065033786014110648328092799148432817e46;1.75024872411113065033786014110648328093155694402173e46], [-6.8879452948002629997383052408563472436240346113487e47;-6.8879452948002629997383052408563472436065326880272e47], [1.64783833184577604901537114554226315379646041468315e49;1.6478383318457760490153711455422631538052524837371e49], [-9.408820774822490935190299284389775420277914301249e49;-9.408820774822490935190299284389775419826156721715e49], [-1.42335612321644384713672435934434368223453518603075e52;-1.4233561232164438471367243593443436822108044662539e52], [8.96258162177761937017146716144346257540685591718e53;8.9625816217776193701714671614434625755342345002366e53], [-3.1872312573298515061817792188059582671264791891782e55;-3.1872312573298515061817792188059582670566468152789e55], [6.1947861181484783927996715365377881503036156585773e56;6.1947861181484783927996715365377881506944495962754e56], [8.2339741355702940982298223909140776290134273231866e57;8.2339741355702940982298223909140776312454989914383e57], [-1.37960106045497775842755043954443284583795041893186e60;-1.37960106045497775842755043954443284570792893980558e60], [7.0841330598444884187010810888960177580186949549108e61;7.084133059844488418701081088896017758790894840683e61], [-2.2015835428325555263384508467276118566428484808074e63;-2.2015835428325555263384508467276118561754630951509e63], [2.30316085513030063139836599551835580206834741521036e64;2.303160855130300631398365995518355804950265436567e64], [2.23033308837514238791752223751847719831971190667226e66;2.2303330883751423879175222375184772001293318173085e66], [-1.84521425543450863822499361038799949786996109941136e68;-1.8452142554345086382249936103879994967132132473383e68], [8.1356062882040203191558078488944492674662768341974e69;8.135606288204020319155807848894449274990995779267e69], [-2.0061137983193390202789344887401774824025993310058e71;-2.00611379831933902027893448874017747742287926587263e71], [-2.0547260287958471060118200650573981032598716725681e72;-2.0547260287958471060118200650573980697437884508665e72], [5.4328525450115734311426797783951790540029708647463e74;5.4328525450115734311426797783951790769387329887013e74], [-3.3984242642531367436678504889857390531082455376375e76;-3.3984242642531367436678504889857390371542575093523e76], [1.26967914659592005798535964183632885380844925636407e78;1.26967914659592005798535964183632886508593227835657e78], [-1.7274589875825194313999233618237235020103359534275e79;-1.7274589875825194313999233618237234210190847519465e79], [-1.61513123681246792117433898819551415607899415010823e81;-1.6151312368124679211743389881955140969979436811314e81], [1.6143823565204557068192181926352250013716150227852e83;1.6143823565204557068192181926352250451387563873119e83], [-8.3556418093701618543682893921323671230398137932454e84;-8.3556418093701618543682893921323667938489186567396e84], [2.41463245328698439728699980960883272200808565387603e86;2.4146324532869843972869998096088329733474564307323e86], [2.5857307222772642112223179845732584357282937301086e87;2.5857307222772642112223179845732603833420939135475e87], [-8.4407006258082215596463382214308342428507904417864e89;-8.4407006258082215596463382214308327114324275684467e89], [6.0867142980954120290913518409968092789577769490334e91;6.0867142980954120290913518409968105006294787230588e91], [-2.5999632177001117027359793112349455661266336329233e93;-2.5999632177001117027359793112349445775575986893015e93], [3.9583689633197122145695960302908163327619461286525e94;3.9583689633197122145695960302908244456220538201284e94], [4.3860426445001255196662517140396851253567899153338e96;4.3860426445001255196662517140396918765105801707481e96], [-4.9309694790252102873614314577667372334551434936391e98;-4.9309694790252102873614314577667315378363196794801e98], [2.8716604016197221375117054938068938798697108665919e100;2.87166040161972213751170549380689875048234939028004e100], [-9.1951253380716359073466571746247959341739282167236e101;-9.195125338071635907346657174624753723165715920072e101], [-1.3511030909981200988610084973597076463507929634528e103;-1.3511030909981200988610084973596705794782310348639e103], [4.3205737408272084454964174365090323129143896011126e105;4.3205737408272084454964174365090652877093691964695e105], [-3.4432209474145553295646562890181602856453705655767e107;-3.443220947414555329564656289018130573653005671187e107]|]
[|[1.6141098350913265201165182766751660422572465082689;1.61410983509132652011651827667516604225724650826936], [2.5118353814937763560094585162790228586152401086788;2.5118353814937763560094585162790228586152401086805], [0.70740936843670755723881149569123745768608285096694;0.70740936843670755723881149569123745768608285097316], [-13.3055741964726401365700924194962775523760506082387;-13.305574196472640136570092419496277552376050608204], [-46.241632910276551916477751546287679176512081095965;-46.24163291027655191647775154628767917651208109575], [93.219597826768055536981257193573059929163486338683;93.219597826768055536981257193573059929163486340186], [1215.8419346564652983594805342085548028395070491023;1215.84193465646529835948053420855480283950704911444], [1771.13526250416591006542982812526820608094754973646;1771.135262504165910065429828125268206080947549842], [-34935.202418757707740781762516542491785135828655975;-34935.202418757707740781762516542491785135828654955], [-2.06476247514133187665039631764848537329132304397364e5;-2.06476247514133187665039631764848537329132304386714e5], [9.1178135808776154964378372195131228042629106471943e5;9.1178135808776154964378372195131228042629106483968e5], [1.4434878849716050885587037188270795201558989042478e7;1.44348788497160508855870371882707952015589890439453e7], [8.9450812760697643415086723208320962688949483333017e6;8.945081276069764341508672320832096268894948352462e6], [-9.9977864723464935985319883731727476633280349021166e8;-9.9977864723464935985319883731727476633280348994316e8], [-5.3504367584754115460006641940514484861100162819962e9;-5.3504367584754115460006641940514484861100162779804e9], [6.6113630796035063679810664316038800420939815278337e10;6.6113630796035063679810664316038800420939815342368e10], [7.735647083037569669203820825578987186539222819474e11;7.7356470830375696692038208255789871865392228303403e11], [-2.4848720899346296146998262930723710445433017968911e12;-2.4848720899346296146998262930723710445433017773154e12], [-1.05096671459527966301582060201824283671904501889684e14;-1.05096671459527966301582060201824283671904501515762e14], [-2.60166360000065371835099616252110637411163109800136e14;-2.60166360000065371835099616252110637411163102245435e14], [1.40084311188869375894328354745546202238894495163143e16;1.40084311188869375894328354745546202238894496774777e16], [8.4497406027158964128552446848654046645534664783365e16;8.449740602715896412855244684865404664553466840623e16], [-1.3080947186211178279181606266386227565162145891369e18;-1.30809471862111782791816062663862275651621450349303e18], [-2.3493247533630868759646948809855504411004184547358e19;-2.3493247533630868759646948809855504411004182422402e19], [5.758654925794543298321272832641390565971940673624e19;5.758654925794543298321272832641390565971946196106e19], [6.4811376944387154015339303566422848949179947766684e21;6.4811376944387154015339303566422848949179962770767e21], [-1.70518284996377349795334330217143011134333600421874e22;-1.70518284996377349795334330217143011134333175072695e22], [-7.8679295329238856689020856605773463871281049122494e23;-7.8679295329238856689020856605773463871280923534497e23], [-3.9124411966496538857305567602340832375181767053805e24;-3.9124411966496538857305567602340832375181381519765e24], [-9.569000495588863421546916151274214866983369491517e24;-9.5690004955888634215469161512742148669821409797879e24], [7.8095282518397094077188277323875633099366699865742e27;7.8095282518397094077188277323875633099367105599506e27], [-1.19593653808794175865003680723981513060619787547936e29;-1.19593653808794175865003680723981513060618400649822e29], [-2.7399467802271778988233158324860044014600588550904e29;-2.73994678022717789882331583248600440145956880644554e29], [3.4005308770726838648562404284595945644582119700676e31;3.4005308770726838648562404284595945644583907525815e31], [-1.2746748482936960735401621016406738280069481666626e33;-1.27467484829369607354016210164067382800688089270819e33], [4.1513566746516313045064781886038307972912854821524e34;4.1513566746516313045064781886038307972915463309481e34], [-7.572319137546109949676191243303513903611160232118e35;-7.57231913754610994967619124330351390361011895303e35], [-9.6953062687864022997864339608355621436151459409658e35;-9.6953062687864022997864339608355621435723871714399e35], [5.7657586074354987214879836665600469068851403834944e38;5.7657586074354987214879836665600469068869451811923e38], [-2.4011388182311120507820973540462918168427220585172e40;-2.4011388182311120507820973540462918168419395999357e40], [6.2876240353925820837424028465782377582765345651096e41;6.2876240353925820837424028465782377582800165291625e41], [-8.552290182959565752040997599986089362242128538649e42;-8.5522901829595657520409975999860893622262345569224e42], [-1.8217659427750716852862784230937790061314779482706e44;-1.8217659427750716852862784230937790061240406398334e44], [1.75024872411113065033786014110648328092799148432817e46;1.75024872411113065033786014110648328093155694402173e46], [-6.8879452948002629997383052408563472436240346113487e47;-6.8879452948002629997383052408563472436065326880272e47], [1.64783833184577604901537114554226315379646041468315e49;1.6478383318457760490153711455422631538052524837371e49], [-9.408820774822490935190299284389775420277914301249e49;-9.408820774822490935190299284389775419826156721715e49], [-1.42335612321644384713672435934434368223453518603075e52;-1.4233561232164438471367243593443436822108044662539e52], [8.96258162177761937017146716144346257540685591718e53;8.9625816217776193701714671614434625755342345002366e53], [-3.1872312573298515061817792188059582671264791891782e55;-3.1872312573298515061817792188059582670566468152789e55], [6.1947861181484783927996715365377881503036156585773e56;6.1947861181484783927996715365377881506944495962754e56], [8.2339741355702940982298223909140776290134273231866e57;8.2339741355702940982298223909140776312454989914383e57], [-1.37960106045497775842755043954443284583795041893186e60;-1.37960106045497775842755043954443284570792893980558e60], [7.0841330598444884187010810888960177580186949549108e61;7.084133059844488418701081088896017758790894840683e61], [-2.2015835428325555263384508467276118566428484808074e63;-2.2015835428325555263384508467276118561754630951509e63], [2.30316085513030063139836599551835580206834741521036e64;2.303160855130300631398365995518355804950265436567e64], [2.23033308837514238791752223751847719831971190667226e66;2.2303330883751423879175222375184772001293318173085e66], [-1.84521425543450863822499361038799949786996109941136e68;-1.8452142554345086382249936103879994967132132473383e68], [8.1356062882040203191558078488944492674662768341974e69;8.135606288204020319155807848894449274990995779267e69], [-2.0061137983193390202789344887401774824025993310058e71;-2.00611379831933902027893448874017747742287926587263e71], [-2.0547260287958471060118200650573981032598716725681e72;-2.0547260287958471060118200650573980697437884508665e72], [5.4328525450115734311426797783951790540029708647463e74;5.4328525450115734311426797783951790769387329887013e74], [-3.3984242642531367436678504889857390531082455376375e76;-3.3984242642531367436678504889857390371542575093523e76], [1.26967914659592005798535964183632885380844925636407e78;1.26967914659592005798535964183632886508593227835657e78], [-1.7274589875825194313999233618237235020103359534275e79;-1.7274589875825194313999233618237234210190847519465e79], [-1.61513123681246792117433898819551415607899415010823e81;-1.6151312368124679211743389881955140969979436811314e81], [1.6143823565204557068192181926352250013716150227852e83;1.6143823565204557068192181926352250451387563873119e83], [-8.3556418093701618543682893921323671230398137932454e84;-8.3556418093701618543682893921323667938489186567396e84], [2.41463245328698439728699980960883272200808565387603e86;2.4146324532869843972869998096088329733474564307323e86], [2.5857307222772642112223179845732584357282937301086e87;2.5857307222772642112223179845732603833420939135475e87], [-8.4407006258082215596463382214308342428507904417864e89;-8.4407006258082215596463382214308327114324275684467e89], [6.0867142980954120290913518409968092789577769490334e91;6.0867142980954120290913518409968105006294787230588e91], [-2.5999632177001117027359793112349455661266336329233e93;-2.5999632177001117027359793112349445775575986893015e93], [3.9583689633197122145695960302908163327619461286525e94;3.9583689633197122145695960302908244456220538201284e94], [4.3860426445001255196662517140396851253567899153338e96;4.3860426445001255196662517140396918765105801707481e96], [-4.9309694790252102873614314577667372334551434936391e98;-4.9309694790252102873614314577667315378363196794801e98], [2.8716604016197221375117054938068938798697108665919e100;2.87166040161972213751170549380689875048234939028004e100], [-9.1951253380716359073466571746247959341739282167236e101;-9.195125338071635907346657174624753723165715920072e101], [-1.3511030909981200988610084973597076463507929634528e103;-1.3511030909981200988610084973596705794782310348639e103], [4.3205737408272084454964174365090323129143896011126e105;4.3205737408272084454964174365090652877093691964695e105], [-3.4432209474145553295646562890181602856453705655767e107;-3.443220947414555329564656289018130573653005671187e107]|]
The tool has been restarted.
=============== Test number 241 ================
error
The tool has been restarted.
=============== Test number 242 ================
true
true
true
true
true
|
