*** Warning: new stack size = 10000000 (9.537 Mbytes).
1 disc = 691051969765063543658256000000000000
2 disc = 31088519960728128454656000000000000
3 disc = 1802370734536
4 disc = 654752768
5 disc = -58773124044
6 disc = 11378694989371408384
7 disc = -48269476692516748870958029675063944413184
8 disc = 1461501637330902918203684832716283019655932542976
9 disc = 1346286087882789617664
10 disc = 193428131138340667952988160000000000000000
11 disc = 11378694989371408384
12 disc = 144
13 disc = 442050625
14 disc = 12008989
15 disc = 16974593
16 disc = 31554496
17 disc = 33076161
18 disc = 11574317056
19 disc = 10368641602001
20 disc = 39213900625
21 disc = 103161709
22 disc = 105823817
23 disc = 65037750625
24 disc = 73116160000
25 disc = 183250432
26 disc = 21292697885552828353
27 disc = 213813760000
28 disc = 225360027841
29 disc = 114655968874330129
30 disc = 393832837
31 disc = 440711081
32 disc = 364488705441
33 disc = 370150560000
34 disc = 234001122366390625
35 disc = 395451064801
36 disc = 364007458703857
37 disc = 497871360000
38 disc = 588865925376
39 disc = 709732288
40 disc = 647395642881
41 disc = 659020863601
42 disc = 446012924483368791310336
43 disc = 670801950625
44 disc = 728933458176
45 disc = 689869781056000000
46 disc = 913308254830140625
47 disc = 979146657
48 disc = 1064726745878753869969
49 disc = 1048772096
50 disc = 1082432160000
51 disc = 1192518600625
52 disc = 1559914552888693
53 disc = 1442919878656
54 disc = 1334633301
55 disc = 1490902050625
56 disc = 2980200459393400813138329769
57 disc = 1718786550625
58 disc = 1810639360000
59 disc = 1835743170816
60 disc = 2222606887281
61 disc = 1856331989
62 disc = 1986121593
63 disc = 2752095195136
64 disc = 2786442301696
65 disc = 2217342464
66 disc = 2972069112961
67 disc = 3035957760000
68 disc = 5920163568466890625
69 disc = 3471607400625
70 disc = 2588282117
71 disc = 7027753833487138816
72 disc = 5245121853990193
73 disc = 5958832035878149
74 disc = 2961169856
75 disc = 4797852160000
76 disc = 3301293169
77 disc = 3436115229
78 disc = 5922408960000
79 disc = 42098158229810084367630336
80 disc = 26961206542479413771201
81 disc = 7233948160000
82 disc = 11899888859544201
83 disc = 7909194404241
84 disc = 24827168863016095744
85 disc = 9082363580416
86 disc = 9272177250625
87 disc = 9421854806016
88 disc = 16696389126347776
89 disc = 52518884338097360421921
90 disc = 30232096024977015625
91 disc = 5564051648
92 disc = 10971993760000
93 disc = 12625407900625
94 disc = 24566124836069257
95 disc = 6869835701
96 disc = 7177888089
97 disc = 13932481925376
98 disc = 52817485810944986209
99 disc = 7495014493
100 disc = 31681277442558976
101 disc = 71415925156555415437890625
102 disc = 9166361760000
103 disc = 103063708057575099687890625
104 disc = 17471883970840462300304775614373553
105 disc = 95468057368868913808408576
106 disc = 17515230173
107 disc = 62523502209
108 disc = 62523502209
109 disc = 74724856128
110 disc = 80174499328
111 disc = 183637853504
112 disc = 326371204125
113 disc = 376367048000
114 disc = 567869252041
115 disc = 567869252041
116 disc = 688231506789
117 disc = 899470488077
118 disc = 941192000000
119 disc = 998800479936
120 disc = 1095593933629
121 disc = 1488181848713
122 disc = 2565164201769
123 disc = 2565164201769
124 disc = 2694903759296
125 disc = 2704209893568
126 disc = 3151307486781
127 disc = 3338010958625
128 disc = 3471072448221
129 disc = 4007556327104
130 disc = 4624076296000
131 disc = 4831094417625
132 disc = 5534900853769
133 disc = 5534900853769
134 disc = 6056434988352
135 disc = 6080389219008
136 disc = 6636193049088
137 disc = 7100029448000
138 disc = 7534146860864
139 disc = 7720128615744
140 disc = 8606302763157
141 disc = 9288810792261
142 disc = 9750967476544
143 disc = 10229618526912
144 disc = 10367362235125
145 disc = 15883285246353
146 disc = 18243373078125
147 disc = 18525482136000
148 disc = 18753251922432
149 disc = 20339710127073
150 disc = 21673299838841
151 disc = 21682629379125
152 disc = 22454408824128
153 disc = 22454408824128
154 disc = 22454408824128
155 disc = 22886952012288
156 disc = 24907321081664
157 disc = 24991851015053
158 disc = 25002110044521
159 disc = 25002110044521
160 disc = 25032903977277
161 disc = 27100023260653
162 disc = 29698839199232
163 disc = 31033149890625
164 disc = 31033149890625
165 disc = 31033149890625
166 disc = 32012033131008
167 disc = 32795655776729
168 disc = 32795655776729
169 disc = 32795655776729
170 disc = 32795655776729
171 disc = 33252674173893
172 disc = 33823616904000
173 disc = 35861911358833
174 disc = 37156053182409
175 disc = 37166075494848
176 disc = 40509102979584
177 disc = 45990453983552
178 disc = 50722851083913
179 disc = 51035911843357
180 disc = 51895117000000
181 disc = 51895117000000
182 disc = 52464835537856
183 disc = 57566111236928
184 disc = 57566111236928
185 disc = 64867893832000
186 disc = 68443024217625
187 disc = 70608870146368
188 disc = 70608870146368
189 disc = 70608870146368
190 disc = 73792042960384
191 disc = 78496212952513
192 disc = 78496212952513
193 disc = 78496212952513
194 disc = 78496212952513
195 disc = 80018416634688
196 disc = 81272764978496
197 disc = 83780436119093
198 disc = 88812049936896
199 disc = 91343875006656
200 disc = 93113668703125
201 disc = 95343780573504
202 disc = 95343780573504
203 disc = 95550545616813
204 disc = 100856310518592
205 disc = 100856310518592
206 disc = 101481612657984
207 disc = 102588675089797
208 disc = 102792615579584
209 disc = 104413920565969
210 disc = 104413920565969
211 disc = 106712258605568
212 disc = 109627139656000
213 disc = 109627139656000
214 disc = 109627139656000
215 disc = 117102420633024
216 disc = 121935391665472
217 disc = 124460777226752
218 disc = 130323843000000
219 disc = 131197182717797
220 disc = 131623667572032
221 disc = 142114065431625
222 disc = 143318415538368
223 disc = 148203857088000
224 disc = 154888759857664
225 disc = 155625375008069
226 disc = 160032253665088
227 disc = 160315392124224
228 disc = 160315392124224
229 disc = 160315392124224
230 disc = 163963718650837
231 disc = 164206490176000
232 disc = 168855627483648
233 disc = 172808693000000
234 disc = 172808693000000
235 disc = 182284263000000
236 disc = 190983561521472
237 disc = 190983561521472
238 disc = 190983561521472
239 disc = 205849293516125
240 disc = 207390588005888
241 disc = 219747465563625
242 disc = 227081481823729
243 disc = 227081481823729
244 disc = 238374130976064
245 disc = 238374130976064
246 disc = 238374130976064
247 disc = 239853467163968
248 disc = 240421391475741
249 disc = 244152343937501
250 disc = 244152343937501
251 disc = 244152343937501
252 disc = 245832015985984
253 disc = 245832015985984
254 disc = 245832015985984
255 disc = 250380544197952
256 disc = 250380544197952
257 disc = 250380544197952
258 disc = 264856663448000
259 disc = 266306899520753
260 disc = 266953144495869
261 disc = 268036698442176
262 disc = 280342627195392
263 disc = 284124652664021
264 disc = 286295419093312
265 disc = 286295419093312
266 disc = 286295419093312
267 disc = 292979858533713
268 disc = 293019561288000
269 disc = 301855146292441
270 disc = 301855146292441
271 disc = 312604448196032
272 disc = 325603874022336
273 disc = 343308792619261
274 disc = 343956387524625
275 disc = 358470842647653
276 disc = 363887297335457
277 disc = 370533009640625
278 disc = 378388023667289
279 disc = 378388023667289
280 disc = 378388023667289
281 disc = 378435108978368
282 disc = 382167204596009
283 disc = 385272136297125
284 disc = 391853565596233
285 disc = 407478805289353
286 disc = 412162994888000
287 disc = 419718684302848
288 disc = 420610640203125
289 disc = 427178948689297
290 disc = 430522800097229
291 disc = 437262761657701
292 disc = 458528043068928
293 disc = 461406087545417
294 disc = 471655843734321
295 disc = 471655843734321
296 disc = 471710378827584
297 disc = 471710378827584
298 disc = 471710378827584
299 disc = 474114086770176
300 disc = 479184750300277
301 disc = 492814358126272
302 disc = 507558505272832
303 disc = 512537788181952
304 disc = 526672365558093
305 disc = 531381953186973
306 disc = 534063139779637
307 disc = 545919434583489
308 disc = 561188988355904
309 disc = 561188988355904
310 disc = 561188988355904
311 disc = 561842388364096
312 disc = 586376253000000
313 disc = 586376253000000
314 disc = 611354775822848
315 disc = 619777755576000
316 disc = 626277261303693
317 disc = 632689381320192
318 disc = 642489904555569
319 disc = 646877982134125
320 disc = 646877982134125
321 disc = 646877982134125
322 disc = 650182119827968
323 disc = 654605112335552
324 disc = 654605112335552
325 disc = 654605112335552
326 disc = 676928662294464
327 disc = 678155219611793
328 disc = 683425351376704
329 disc = 687273151702249
330 disc = 704612615071625
331 disc = 706705122232017
332 disc = 706705122232017
333 disc = 706705122232017
334 disc = 722893530076992
335 disc = 726766684501312
336 disc = 740652641361333
337 disc = 743283484296704
338 disc = 743702041351801
339 disc = 743702041351801
340 disc = 761874028623037
341 disc = 761949106541056
342 disc = 765458231098176
343 disc = 773039298114433
344 disc = 778002617184317
345 disc = 810000647049313
346 disc = 814597322969457
347 disc = 840297038077125
348 disc = 847557413131456
349 disc = 847557413131456
350 disc = 847557413131456
351 disc = 847557413131456
352 disc = 860329562380029
353 disc = 873174569112000
354 disc = 884514834431488
355 disc = 884514834431488
356 disc = 888834215593792
357 disc = 898101431252641
358 disc = 901568676645125
359 disc = 920173609084625
360 disc = 927543993493824
361 disc = 936704478987584
362 disc = 936704478987584
363 disc = 936704478987584
364 disc = 945000308955968
365 disc = 945000308955968
366 disc = 945000308955968
367 disc = 946850453833536
368 disc = 948500270840277
369 disc = 965396977375537
370 disc = 995805877256000
371 disc = 995805877256000
372 disc = 995805877256000
373 disc = 4239150758955121
374 disc = 71583777861999601
375 disc = 154348440599505681
376 disc = 206144025464586496
377 disc = 498311414318121121
378 disc = 988566915013816576
379 disc = 1594861774888100161
380 disc = 1920991678454430481
381 disc = 3203072711854650625
382 disc = 3282543960141600625
383 disc = 3563847743378991201
384 disc = 11629529577315932881
385 disc = 14937144551057330176
386 disc = 15104107144156878961
387 disc = 18107955017924915521
388 disc = 32757037519097735281
389 disc = 34660765693554192481
390 disc = 39891322034514837441
391 disc = 47965803087841295281
392 disc = 54568636296342159616
393 disc = 73911569995951513281
394 disc = 3830987530897003258893
395 disc = 17723470954150385603125
396 disc = 33413112917251096211093
397 disc = 34637703462495298817024
398 disc = 88388569691530342400000
399 disc = 219491114456594107591949
400 disc = 480467194090863436127232
401 disc = 1037662435085339279821824
402 disc = 1173200147537629968564224
403 disc = 1288413852163540951269376
404 disc = 1309219498202517731691949
405 disc = 2589525908257257679485601
406 disc = 3190278955076438566369093
407 disc = 3227335013943818471790557
408 disc = 3713732460841424506170368
409 disc = 4862809470873883357637632
410 disc = 6002643624777941817982976
411 disc = 7126069515444754920275968
412 disc = 12952518753342414842160584761
413 disc = 19889530276837831068388593664
414 disc = 33146763213552556976071497289
415 disc = 134058271322059099333696000000
416 disc = 143177496454836860404568609521
417 disc = 782366492329362629572165894144
418 disc = 885679687572037927988717116729
419 disc = 1932285652221352905364571537408
420 disc = 792696226576452305767009651523584
421 disc = 1120727194291010174129782797578125
422 disc = 1677627312816188946952964414636032
423 disc = 40650250977089753091644821936498677
424 disc = 82968596939468322350524272929144832
425 disc = 86620507852136986313803229728551889
426 disc = -48269476692516748870958029675063944413184
427 disc = 3057647616
428 disc = -61837572703801526878847827968
429 disc = 10953815427820782987807562683135882947045385765546796605368678856
6125676724691632661454253689888403350678050281881600000000000000000000000000
0000000000000000000000
430 disc = -4047658052954461065912911660658154357072747299150021320490491581
6357719261043885533725876268976267090078699982339498617717978285115098117423
5226786109719181996179722769519700738142090773570860994444369576764647340001
6271055386451054047833315739281064060031306134989387012001240366983880112401
0950391140893121715388041767973840048335480267318286333231520541406374861862
1393537964424677884127250669128055090586243928496505152582326687370689187624
8193649132417798542886781065276330907871042811558631554710375998113711429289
8496513938923014831159547568236743150682002399344666964624978609632942422782
6498518955202829946466452792918443649912549887356822674330431196145149803023
4895588458953982456193472068052465591438058958231038395076434692769303458913
1290964204147229157301290925386293126167130333738976824399921085466861118333
7378074137212916065543375824994038692415387212889537750773611240570763116746
580968621149210575140668368291928317296640
3940200619639447921227904010014361380507973927046544666794829340424572177149
7210611414266254884915640806627990306816
63456228123711897600000000
32065375478269160177874763776
44676618219970392643498326834331791020485046219833344
3353338721974729817301054329173240175627277795006862757734308781291047845002
3018568598687979818620835459868306327959658030836737051459691258806591089437
47971479203517856656769812503986176
2
2
[1, 1/23737807549715*x + 1/23737807549715], -84
[1, 1/23737807549715*x + 1/23737807549715], -84
[1, 1/23737807549715*x + 1/23737807549715], -84
[1, 1/23737807549715*x + 1/23737807549715], -84
[1, 1/23737807549715*x + 1/23737807549715], -84
1600000000000000000000000000000000000000000000000000000000000000000000000000
0000000000000000000000854400000000000000002528000000000000000000000000000000
0000000000000000000000000000000000000000000114062400000000000001349952000000
0000000009985600000000000000000000000000000000000000000000000000000000000000
0000000001802185920000000000005332310400000000000000000000000000000000000000
00000000000000000000000000000000000000000000000000007118634384
551496736222216254722000000000000000000
827291662110720806941937696976
827291662110720806941937696976
1829588275678412623545199440085617991487329070573733217623919229319113044984
7043240296490405430571600333921237812878855963389645333434375832029389798100
2257959673546096955479576068586475382480853862613306969417169103011638331660
1201306395825655815434916376708877260320176246425838223520116446772502951367
2790265882534695009041416263989393942592637795846111196045811536983805538340
3470672172674826053707419541728656323114415002332379364150877698691695081667
82125762150400207360000
Total time spent: 3510