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.0000000000000000277555756156289135346649160071109559756997242823115914817262706026923524404992349445819854736328125
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
139234637988958594318883410818490335842688858253435056475195084164406590796163250320615014993816265862385324388842602762167013693889631286567769205313788274787963704661873320009853338386432
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], [-23794112722926535871029984198195135483684674900115;23793874940765008833557205996378069121950029471159], [-1397512146376996423761918966266646464528473204172064;1397553908139404376289204442713211882842348960854176], [-84201003864102135937037647884866001185184012593741824;84199582547788916238513489293642028401195618756268032], [-5200403256771530023321173909261131515498813418399072256;5200442106246405781610905916229576100283667251914997760], [-329053870615803437905236112268074526176803781130238033920;329056228334037625753460525710318127231000299740522872832], [-21318257029884654694424154690680168817651339067409465081856;21317969562832803788841373721251037642298255270683764326400], [-1413301307498441723347571725079439209529422847935305679372288;1413311129920472014210395407789559788463400582144838261014528], [-95829704991510881591673588379168940712435850492428313845301248;95829780600853819895273887396614980578264923030683292591456256], [-6642341321588429763549861306728534078077885132018660470916382720;6642315597028151253920388318096215453786464775777626034530156544], [-470418055891612492292005976732219620568791445734851105502051434496;470420232313132768610685128596586422479426405804231049241358761984], [-34024656450035285474609877652876475011820209965841432977201820598272;34024535033688481510935643310830770513984227634363516465937008033792], [-2512182515860678171502545460819254939360358297628987744464614111313920;2512179366985844956569686039735777866345998390027040488300842277928960], [-189266062084264096892327122895865523569778861031424289958939650416443392;189267136694011675540233012421771116085301769629690335975257215321767936], [-14544061593580106025935722868225618545784612567461364625236973935866675200;14543998939882996441400546160147157850738642053906287035368225461499854848], [-1139495644431789264500211742519501868464216569241893683945059277493076230144;1139496534053621795188018512951848149101436323400981727174714864861374840832], [-90990139527265907762477479994596234967722066035875258803424197378715917746176;90990260916696213530969836767625023034822368868414725240289863058586372931584], [-7402414828586144198974922820741105915446295998616108554526570301640464838688768;7402392663448756263846009105606078769231401837994589297426950750906433757249536], [-613331369433380048651177609106316580813684061429121810483433670997240327304118272;613333355868581284377295152256249838240545544374836850610856991439099184124264448], [-51739033998947713308945928822145500168993026169346860069079324278259066621571104768;51738958053538812023581390981673502977521003787051294892933453166400066543687827456], [-4442210354232503676760048973560083854827920936316211048074465664628622138766440529920;4442205797961486705054131167157629150555514087637794313415586889259916659204800118784], [-388063353391698002569315390494697126490683972188767359409700875377540615920782126612480;388064096395179065765863777615503507935191048150567732585078041043500600100179064913920], [-34482607962389292611756323021166978443812937193286308091921336878530022611802817474592768;34482549244624981644392756059762312631697862733947950985856370276402130226985605013700608], [-3115749866945750791998530518501246749950594988597499241455366444716501008861351533311164416;3115751608745697786884855855412421741340005875456950172190062371454092799104988608571899904], [-286200172593595146588456147543181638803355384042469875720704617969669414534219042673517395968;286200361851818074089799346324925457551192218656480594841725804534035317066675940777181315072], [-26718012005858900813143941883220049932170588358995044130692606772897030798274397301191332593664;26717980149442387300565899610680804164377521020150443426757621788288051876175538354564230021120], [-2534253394814827988966838495018797647000990762523751516838591408293737391194069474058136782372864;2534255230740673126226078335704682904082553623900316559425189762021853856356957590798860816482304], [-244173578615495372813210759230331702368585701689839808733974968399498258720014303797292223499862016;244173567634712860963088476098963221837416772881011155203284558053442918688034505026726817423163392], [-23891450175417539250265367073030869605194573291116570352147971256479474335312538590199913058322612224;23891437994874207800502987168724315939346742359063048810208655752000185410673015254583337234630443008], [-2373437215794960934824360010605585354516387019766656589601903445190949043058044607738727971795014516736;2373439407623404080870416326558431150086817767326785086145845934026306088604818712960893300280517459968], [-239334385718877670124723504751163629658956528198830905108196065377607387041337766681995674969399722246144;239334214973156884689002975142183811647163559991313948295008110589374561906105147237005754752126976786432], [-24492104406243478911254840835468200008513064037812770660301191474321163801809272330572764474590401816166400;24492103254714334652496302275760938757860781936253247842251327529143408213851306122985727169623210430824448], [-2543003020142659832749343176850708874983110497312831752559884770175624500090697478265136611717946836787396608;2543004614092603174259573389465723399773786161825137164394097906739171683003150148205987650236677471854395392], [-267840488088292960126843621584928073310155982810214315761380473063311898024018930696780505418244728777229729792;267840287121365062302046892131745115105371319695854451353143481552536141166616511085003421863849833908559413248], [-28610414643574085917966892624132710741348769210068306705237661681124017279919812752699403801005547581230026850304;28610429818586778633658023506137404331237340216443103573578676830766134463099554344241510701501944029412124000256], [-3098883021990764863948259690467226971124999008081873000778593033738698106654960545596705618000900005346233328599040;3098882721506384583999659515461750343816049889440408826560968880685044806041241955033504045416721169824782825291776], [-340278761705006687612961678396669018344064827013501676040378972383334028278196088449259334075041889606856001565229056;340278619742231778296411093698617603928270509597144655792628619512335643425038205706700375345726580846117570681503744], [-37873130459378274290064668708750140433987521127132557284624172450404830436022858660306245349024537026850418361072877568;37873153886791686286197960449991676064488182139518791574918323596196588715981047191179710295821441190951506836067450880], [-4271845441359281929601512574148415239697732755744988166628003149718640212356079422045968919860095164468567481562672660480;4271843709024695647984677808106688661745505096381678721234089064916620346036100446997579433735654848294437635489339015168], [-488213471805714532687205149889716295858233705672813445610447099995229074206829999504587073190536494216989017222228528332800;488213490014005511228900250848110476111011918139734653074614662198707436520155534539376747705649921909925095249232235855872], [-56524791722366940511850199624220728264439657863818459869872103799627174817864380228635013239482563337764425984922471758823424;56524809334529443397850700976317978211753168422021889768292334690643626816968425422190368241187428533906736233584777255452672], [-6628725635265983736202555569696680124953129629035197517600201069677155472308523413046612939624219672427538991368832291635724288;6628722934947160312956077162630676814451474194318295110042347982400066786763877977405767278130877174431359467819189907551682560], [-787247110558145700796449214450056191977404875234533302660099746763394557288077019356150461904674223607001098893783291913538895872;787247302969895988298608299282846489525252075690666909611861917038757231292207067627949098542302584303208142424595496021012774912], [-94670130185444367126364156571438577751354219710629615615318472793707337855229870151592719073834030433707600106997437623488900759552;94670133095384759395278043222819760245725288186239867943904694419450812631080742630366656215168395278634044485135879260646324305920], [-11525711605484218026281724782286213895486331917316506026807355499833411016695992855715475961680140323516888387991366677102520831049728;11525708842785149576734368036334416730029346668402385731033579176509517372738381928526462979763201856685566659766007698225457350574080], [-1420394832863911534069521139711208393483617396497661107233606279818603539928917626770178884701478768980084221138913998567095251400392704;1420395234797856378705931409766519197969321024593954868568516495070317986913683257550436522990876292720433106581795562394691703897325568], [-177162930928441901675843513301597813953747685795548230782698582234012276537551583725182854862226109015821909964682427225230754916601954304;177162901691343306940015608785083666718203832096592349634547525467124441210969725152558783145088081738082155496122776398430363135963561984]|]
[|[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;16478383318457760490153711455422631538052524837371], [-94088207748224909351902992843897754202779143012488;-94088207748224909351902992843897754198261567217152], [-14233561232164438471367243593443436822345351860307456;-14233561232164438471367243593443436822108044662538752], [896258162177761937017146716144346257540685591718002688;896258162177761937017146716144346257553423450023657472], [-31872312573298515061817792188059582671264791891782139904;-31872312573298515061817792188059582670566468152788516864], [619478611814847839279967153653778815030361565857730002944;619478611814847839279967153653778815069444959627535974400], [8233974135570294098229822390914077629013427323186570067968;8233974135570294098229822390914077631245498991438335049728], [-1379601060454977758427550439544432845837950418931857456365568;-1379601060454977758427550439544432845707928939805577228320768], [70841330598444884187010810888960177580186949549108216807292928;70841330598444884187010810888960177587908948406829377988329472], [-2201583542832555526338450846727611856642848480807407407759097856;-2201583542832555526338450846727611856175463095150920072779792384], [23031608551303006313983659955183558020683474152103636986356563968;23031608551303006313983659955183558049502654365670011376230203392], [2230333088375142387917522237518477198319711906672262293532377612288;2230333088375142387917522237518477200129331817308509625748505493504], [-184521425543450863822499361038799949786996109941136082013521834934272;-184521425543450863822499361038799949671321324733830318675691755798528], [8135606288204020319155807848894449267466276834197351633653713818615808;8135606288204020319155807848894449274990995779266865465534202215661568], [-200611379831933902027893448874017748240259933100579605120983094320431104;-200611379831933902027893448874017747742287926587263246604965712930799616], [-2054726028795847106011820065057398103259871672568070821837895005007511552;-2054726028795847106011820065057398069743788450866480184090045126757318656], [543285254501157343114267977839517905400297086474627414454052048495592865792;543285254501157343114267977839517907693873298870133705791718144860550594560], [-33984242642531367436678504889857390531082455376374956807898825879716024549376;-33984242642531367436678504889857390371542575093523280204637678856095949389824], [1269679146595920057985359641836328853808449256364069604884739027145746576048128;1269679146595920057985359641836328865085932278356567593879796930728103182860288], [-17274589875825194313999233618237235020103359534274785734036772440145278019829760;-17274589875825194313999233618237234210190847519464933426729730480265632201834496], [-1615131236812467921174338988195514156078994150108226582783684385386219363790487552;-1615131236812467921174338988195514096997943681131399330544610931977169419221598208], [161438235652045570681921819263522500137161502278522014732064657118369263547198734336;161438235652045570681921819263522504513875638731192158059247086699036780767832178688], [-8355641809370161854368289392132367123039813793245367499220662573704302752149851340800;-8355641809370161854368289392132366793848918656739632323032851470111710199684846845952], [241463245328698439728699980960883272200808565387602700662474736150189000986532671127552;241463245328698439728699980960883297334745643073229190442589538562098304067340301500416], [2585730722277264211222317984573258435728293730108579633062254860825542574842943830491136;2585730722277264211222317984573260383342093913547489196208370988528579123342546852380672], [-844070062580822155964633822143083424285079044178636997118208004161651994295871556961697792;-844070062580822155964633822143083271143242756844665997145370090330693294175284437939388416], [60867142980954120290913518409968092789577769490334141837680155908556876728198607744089980928;60867142980954120290913518409968105006294787230588444823578280950101399084428654124172574720], [-2599963217700111702735979311234945566126633632923283691779786661767986415098885126658352742400;-2599963217700111702735979311234944577557598689301503868209884006300134579356941296083794919424], [39583689633197122145695960302908163327619461286525439481724118143641402089034627993195398561792;39583689633197122145695960302908244456220538201284285643432696281968539758620147478138628079616], [4386042644500125519666251714039685125356789915333769604562533177301655894921366093886145425309696;4386042644500125519666251714039691876510580170748114006214060011996668803495668559037622021783552], [-493096947902521028736143145776673723345514349363910812771122246729860424329489544896308929147961344;-493096947902521028736143145776673153783631967948007301823790258384915135950709457444789785548816384], [28716604016197221375117054938068938798697108665919187291163618392243789579626622050347015064105517056;28716604016197221375117054938068987504823493902800441575029832310206251306592318377361536163166289920], [-919512533807163590734665717462479593417392821672359852512278333031873457942022541481213768198485180416;-919512533807163590734665717462475372316571592007206737563409549500846701193203771593207617846983524352], [-13511030909981200988610084973597076463507929634527921166015004939335072577837219285886833286105603768320;-13511030909981200988610084973596705794782310348639175111479495041439381914766701805127821987816350416896], [4320573740827208445496417436509032312914389601112637652204264520708329502356562827295165399501949972250624;4320573740827208445496417436509065287709369196469460659826236462096389361994572855223208469206663537098752], [-344322094741455532956465628901816028564537056557665788894613709885665083145089168841563520065153223555547136;-344322094741455532956465628901813057365300567118698560027109566823385327531963171895137656063309249595310080]|]
[|[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;16478383318457760490153711455422631538052524837371], [-94088207748224909351902992843897754202779143012488;-94088207748224909351902992843897754198261567217152], [-14233561232164438471367243593443436822345351860307456;-14233561232164438471367243593443436822108044662538752], [896258162177761937017146716144346257540685591718002688;896258162177761937017146716144346257553423450023657472], [-31872312573298515061817792188059582671264791891782139904;-31872312573298515061817792188059582670566468152788516864], [619478611814847839279967153653778815030361565857730002944;619478611814847839279967153653778815069444959627535974400], [8233974135570294098229822390914077629013427323186570067968;8233974135570294098229822390914077631245498991438335049728], [-1379601060454977758427550439544432845837950418931857456365568;-1379601060454977758427550439544432845707928939805577228320768], [70841330598444884187010810888960177580186949549108216807292928;70841330598444884187010810888960177587908948406829377988329472], [-2201583542832555526338450846727611856642848480807407407759097856;-2201583542832555526338450846727611856175463095150920072779792384], [23031608551303006313983659955183558020683474152103636986356563968;23031608551303006313983659955183558049502654365670011376230203392], [2230333088375142387917522237518477198319711906672262293532377612288;2230333088375142387917522237518477200129331817308509625748505493504], [-184521425543450863822499361038799949786996109941136082013521834934272;-184521425543450863822499361038799949671321324733830318675691755798528], [8135606288204020319155807848894449267466276834197351633653713818615808;8135606288204020319155807848894449274990995779266865465534202215661568], [-200611379831933902027893448874017748240259933100579605120983094320431104;-200611379831933902027893448874017747742287926587263246604965712930799616], [-2054726028795847106011820065057398103259871672568070821837895005007511552;-2054726028795847106011820065057398069743788450866480184090045126757318656], [543285254501157343114267977839517905400297086474627414454052048495592865792;543285254501157343114267977839517907693873298870133705791718144860550594560], [-33984242642531367436678504889857390531082455376374956807898825879716024549376;-33984242642531367436678504889857390371542575093523280204637678856095949389824], [1269679146595920057985359641836328853808449256364069604884739027145746576048128;1269679146595920057985359641836328865085932278356567593879796930728103182860288], [-17274589875825194313999233618237235020103359534274785734036772440145278019829760;-17274589875825194313999233618237234210190847519464933426729730480265632201834496], [-1615131236812467921174338988195514156078994150108226582783684385386219363790487552;-1615131236812467921174338988195514096997943681131399330544610931977169419221598208], [161438235652045570681921819263522500137161502278522014732064657118369263547198734336;161438235652045570681921819263522504513875638731192158059247086699036780767832178688], [-8355641809370161854368289392132367123039813793245367499220662573704302752149851340800;-8355641809370161854368289392132366793848918656739632323032851470111710199684846845952], [241463245328698439728699980960883272200808565387602700662474736150189000986532671127552;241463245328698439728699980960883297334745643073229190442589538562098304067340301500416], [2585730722277264211222317984573258435728293730108579633062254860825542574842943830491136;2585730722277264211222317984573260383342093913547489196208370988528579123342546852380672], [-844070062580822155964633822143083424285079044178636997118208004161651994295871556961697792;-844070062580822155964633822143083271143242756844665997145370090330693294175284437939388416], [60867142980954120290913518409968092789577769490334141837680155908556876728198607744089980928;60867142980954120290913518409968105006294787230588444823578280950101399084428654124172574720], [-2599963217700111702735979311234945566126633632923283691779786661767986415098885126658352742400;-2599963217700111702735979311234944577557598689301503868209884006300134579356941296083794919424], [39583689633197122145695960302908163327619461286525439481724118143641402089034627993195398561792;39583689633197122145695960302908244456220538201284285643432696281968539758620147478138628079616], [4386042644500125519666251714039685125356789915333769604562533177301655894921366093886145425309696;4386042644500125519666251714039691876510580170748114006214060011996668803495668559037622021783552], [-493096947902521028736143145776673723345514349363910812771122246729860424329489544896308929147961344;-493096947902521028736143145776673153783631967948007301823790258384915135950709457444789785548816384], [28716604016197221375117054938068938798697108665919187291163618392243789579626622050347015064105517056;28716604016197221375117054938068987504823493902800441575029832310206251306592318377361536163166289920], [-919512533807163590734665717462479593417392821672359852512278333031873457942022541481213768198485180416;-919512533807163590734665717462475372316571592007206737563409549500846701193203771593207617846983524352], [-13511030909981200988610084973597076463507929634527921166015004939335072577837219285886833286105603768320;-13511030909981200988610084973596705794782310348639175111479495041439381914766701805127821987816350416896], [4320573740827208445496417436509032312914389601112637652204264520708329502356562827295165399501949972250624;4320573740827208445496417436509065287709369196469460659826236462096389361994572855223208469206663537098752], [-344322094741455532956465628901816028564537056557665788894613709885665083145089168841563520065153223555547136;-344322094741455532956465628901813057365300567118698560027109566823385327531963171895137656063309249595310080]|]
The tool has been restarted.
=============== Test number 241 ================
error
The tool has been restarted.
=============== Test number 242 ================
true
true
true
true
true
|
