CoCalc Shared Fileswww / mazur / katz / out_1009Open in CoCalc with one click!
Author: William A. Stein
1
Magma V2.10-6 Sun Nov 30 2003 13:32:16 on meccah3 [Seed = 2723654178]
2
Type ? for help. Type <Ctrl>-D to quit.
3
4
Loading startup file "/home/was/magma/local/init.m"
5
6
Computing data.
7
[1009,1]
8
[1009,2]
9
[1009,3]
10
[1009,4]
11
[1009,5]
12
[1009,6]
13
[1009,7]
14
[1009,8]
15
[1009,9]
16
[1009,10]
17
[1009,11]
18
[1009,12]
19
[1009,13]
20
[1009,14]
21
[1009,15]
22
[1009,16]
23
[1009,17]
24
[1009,18]
25
[1009,19]
26
[1009,20]
27
[1009,21]
28
[1009,22]
29
[1009,23]
30
[1009,24]
31
[1009,25]
32
[1009,26]
33
[1009,27]
34
[1009,28]
35
[1009,29]
36
[1009,30]
37
[1009,31]
38
[1009,32]
39
[1009,33]
40
[1009,34]
41
[1009,35]
42
[1009,36]
43
[1009,37]
44
[1009,38]
45
[1009,39]
46
[1009,40]
47
[1009,41]
48
[1009,42]
49
[1009,43]
50
[1009,44]
51
[1009,45]
52
[1009,46]
53
[1009,47]
54
[1009,48]
55
[1009,49]
56
[1009,50]
57
[1009,51]
58
[1009,52]
59
[1009,53]
60
[1009,54]
61
[1009,55]
62
[1009,56]
63
[1009,57]
64
[1009,58]
65
[1009,59]
66
[1009,60]
67
[1009,61]
68
[1009,62]
69
[1009,63]
70
[1009,64]
71
[1009,65]
72
[1009,66]
73
[1009,67]
74
[1009,68]
75
[1009,69]
76
[1009,70]
77
[1009,71]
78
[1009,72]
79
[1009,73]
80
[1009,74]
81
[1009,75]
82
[1009,76]
83
[1009,77]
84
[1009,78]
85
[1009,79]
86
[1009,80]
87
[1009,81]
88
[1009,82]
89
[1009,83]
90
[1009,84]
91
[1009,85]
92
[1009,86]
93
[1009,87]
94
[1009,88]
95
[1009,89]
96
[1009,90]
97
[1009,91]
98
[1009,92]
99
[1009,93]
100
[1009,94]
101
[1009,95]
102
[1009,96]
103
[1009,97]
104
[1009,98]
105
[1009,99]
106
[1009,100]
107
[1009,101]
108
[1009,102]
109
[1009,103]
110
[1009,104]
111
[1009,105]
112
[1009,106]
113
[1009,107]
114
[1009,108]
115
[1009,109]
116
[1009,110]
117
[1009,111]
118
[1009,112]
119
[1009,113]
120
[1009,114]
121
[1009,115]
122
[1009,116]
123
[1009,117]
124
[1009,118]
125
[1009,119]
126
[1009,120]
127
[1009,121]
128
[1009,122]
129
[1009,123]
130
[1009,124]
131
[1009,125]
132
[1009,126]
133
[1009,127]
134
[1009,128]
135
[1009,129]
136
[1009,130]
137
[1009,131]
138
[1009,132]
139
[1009,133]
140
[1009,134]
141
[1009,135]
142
[1009,136]
143
[1009,137]
144
[1009,138]
145
[1009,139]
146
[1009,140]
147
[1009,141]
148
[1009,142]
149
[1009,143]
150
[1009,144]
151
[1009,145]
152
[1009,146]
153
[1009,147]
154
[1009,148]
155
[1009,149]
156
[1009,150]
157
[1009,151]
158
[1009,152]
159
[1009,153]
160
[1009,154]
161
[1009,155]
162
[1009,156]
163
[1009,157]
164
[1009,158]
165
[1009,159]
166
[1009,160]
167
[1009,161]
168
[1009,162]
169
[1009,163]
170
[1009,164]
171
[1009,165]
172
[1009,166]
173
[1009,167]
174
[1009,168]
175
[1009,169]
176
[1009,170]
177
[1009,171]
178
[1009,172]
179
[1009,173]
180
[1009,174]
181
[1009,175]
182
[1009,176]
183
[1009,177]
184
[1009,178]
185
[1009,179]
186
[1009,180]
187
[1009,181]
188
[1009,182]
189
[1009,183]
190
[1009,184]
191
[1009,185]
192
[1009,186]
193
[1009,187]
194
[1009,188]
195
[1009,189]
196
[1009,190]
197
[1009,191]
198
[1009,192]
199
[1009,193]
200
[1009,194]
201
[1009,195]
202
[1009,196]
203
[1009,197]
204
[1009,198]
205
[1009,199]
206
[1009,200]
207
[1009,201]
208
[1009,202]
209
[1009,203]
210
[1009,204]
211
[1009,205]
212
[1009,206]
213
[1009,207]
214
[1009,208]
215
[1009,209]
216
[1009,210]
217
[1009,211]
218
[1009,212]
219
[1009,213]
220
[1009,214]
221
[1009,215]
222
[1009,216]
223
[1009,217]
224
[1009,218]
225
[1009,219]
226
[1009,220]
227
[1009,221]
228
[1009,222]
229
[1009,223]
230
[1009,224]
231
[1009,225]
232
[1009,226]
233
[1009,227]
234
[1009,228]
235
[1009,229]
236
[1009,230]
237
[1009,231]
238
[1009,232]
239
[1009,233]
240
[1009,234]
241
[1009,235]
242
[1009,236]
243
[1009,237]
244
[1009,238]
245
[1009,239]
246
[1009,240]
247
[1009,241]
248
[1009,242]
249
[1009,243]
250
[1009,244]
251
[1009,245]
252
[1009,246]
253
[1009,247]
254
[1009,248]
255
[1009,249]
256
[1009,250]
257
[1009,251]
258
[1009,252]
259
[1009,253]
260
[1009,254]
261
[1009,255]
262
[1009,256]
263
[1009,257]
264
[1009,258]
265
[1009,259]
266
[1009,260]
267
[1009,261]
268
[1009,262]
269
[1009,263]
270
[1009,264]
271
[1009,265]
272
[1009,266]
273
[1009,267]
274
[1009,268]
275
[1009,269]
276
[1009,270]
277
[1009,271]
278
[1009,272]
279
[1009,273]
280
[1009,274]
281
[1009,275]
282
[1009,276]
283
[1009,277]
284
[1009,278]
285
[1009,279]
286
[1009,280]
287
[1009,281]
288
[1009,282]
289
[1009,283]
290
[1009,284]
291
[1009,285]
292
[1009,286]
293
[1009,287]
294
[1009,288]
295
[1009,289]
296
[1009,290]
297
[1009,291]
298
[1009,292]
299
[1009,293]
300
[1009,294]
301
[1009,295]
302
[1009,296]
303
[1009,297]
304
[1009,298]
305
[1009,299]
306
[1009,300]
307
[1009,301]
308
[1009,302]
309
[1009,303]
310
[1009,304]
311
[1009,305]
312
[1009,306]
313
[1009,307]
314
[1009,308]
315
[1009,309]
316
[1009,310]
317
[1009,311]
318
[1009,312]
319
[1009,313]
320
[1009,314]
321
[1009,315]
322
[1009,316]
323
[1009,317]
324
[1009,318]
325
[1009,319]
326
[1009,320]
327
[1009,321]
328
[1009,322]
329
[1009,323]
330
[1009,324]
331
[1009,325]
332
[1009,326]
333
[1009,327]
334
[1009,328]
335
[1009,329]
336
[1009,330]
337
[1009,331]
338
[1009,332]
339
[1009,333]
340
[1009,334]
341
[1009,335]
342
[1009,336]
343
[1009,337]
344
[1009,338]
345
[1009,339]
346
[1009,340]
347
[1009,341]
348
[1009,342]
349
[1009,343]
350
[1009,344]
351
[1009,345]
352
[1009,346]
353
[1009,347]
354
[1009,348]
355
[1009,349]
356
[1009,350]
357
[1009,351]
358
[1009,352]
359
[1009,353]
360
[1009,354]
361
[1009,355]
362
[1009,356]
363
[1009,357]
364
[1009,358]
365
[1009,359]
366
[1009,360]
367
[1009,361]
368
[1009,362]
369
[1009,363]
370
[1009,364]
371
[1009,365]
372
[1009,366]
373
[1009,367]
374
[1009,368]
375
[1009,369]
376
[1009,370]
377
[1009,371]
378
[1009,372]
379
[1009,373]
380
[1009,374]
381
[1009,375]
382
[1009,376]
383
[1009,377]
384
[1009,378]
385
[1009,379]
386
[1009,380]
387
[1009,381]
388
[1009,382]
389
[1009,383]
390
[1009,384]
391
[1009,385]
392
[1009,386]
393
[1009,387]
394
[1009,388]
395
[1009,389]
396
[1009,390]
397
[1009,391]
398
[1009,392]
399
[1009,393]
400
[1009,394]
401
[1009,395]
402
[1009,396]
403
[1009,397]
404
[1009,398]
405
[1009,399]
406
[1009,400]
407
[1009,401]
408
[1009,402]
409
[1009,403]
410
[1009,404]
411
[1009,405]
412
[1009,406]
413
[1009,407]
414
[1009,408]
415
[1009,409]
416
[1009,410]
417
[1009,411]
418
[1009,412]
419
[1009,413]
420
[1009,414]
421
[1009,415]
422
[1009,416]
423
[1009,417]
424
[1009,418]
425
[1009,419]
426
[1009,420]
427
[1009,421]
428
[1009,422]
429
[1009,423]
430
[1009,424]
431
[1009,425]
432
[1009,426]
433
[1009,427]
434
[1009,428]
435
[1009,429]
436
[1009,430]
437
[1009,431]
438
[1009,432]
439
[1009,433]
440
[1009,434]
441
[1009,435]
442
[1009,436]
443
[1009,437]
444
[1009,438]
445
[1009,439]
446
[1009,440]
447
[1009,441]
448
[1009,442]
449
[1009,443]
450
[1009,444]
451
[1009,445]
452
[1009,446]
453
[1009,447]
454
[1009,448]
455
[1009,449]
456
[1009,450]
457
[1009,451]
458
[1009,452]
459
[1009,453]
460
[1009,454]
461
[1009,455]
462
[1009,456]
463
[1009,457]
464
[1009,458]
465
[1009,459]
466
[1009,460]
467
[1009,461]
468
[1009,462]
469
[1009,463]
470
[1009,464]
471
[1009,465]
472
[1009,466]
473
[1009,467]
474
[1009,468]
475
[1009,469]
476
[1009,470]
477
[1009,471]
478
[1009,472]
479
[1009,473]
480
[1009,474]
481
[1009,475]
482
[1009,476]
483
[1009,477]
484
[1009,478]
485
[1009,479]
486
[1009,480]
487
[1009,481]
488
[1009,482]
489
[1009,483]
490
[1009,484]
491
[1009,485]
492
[1009,486]
493
[1009,487]
494
[1009,488]
495
[1009,489]
496
[1009,490]
497
[1009,491]
498
[1009,492]
499
[1009,493]
500
[1009,494]
501
[1009,495]
502
[1009,496]
503
[1009,497]
504
[1009,498]
505
[1009,499]
506
[1009,500]
507
[1009,501]
508
[1009,502]
509
[1009,503]
510
[1009,504]
511
[1009,505]
512
[1009,506]
513
[1009,507]
514
[1009,508]
515
[1009,509]
516
[1009,510]
517
[1009,511]
518
[1009,512]
519
[1009,513]
520
[1009,514]
521
[1009,515]
522
[1009,516]
523
[1009,517]
524
[1009,518]
525
[1009,519]
526
[1009,520]
527
[1009,521]
528
[1009,522]
529
[1009,523]
530
[1009,524]
531
[1009,525]
532
[1009,526]
533
[1009,527]
534
[1009,528]
535
[1009,529]
536
[1009,530]
537
[1009,531]
538
[1009,532]
539
[1009,533]
540
[1009,534]
541
[1009,535]
542
[1009,536]
543
[1009,537]
544
[1009,538]
545
[1009,539]
546
[1009,540]
547
[1009,541]
548
[1009,542]
549
[1009,543]
550
[1009,544]
551
[1009,545]
552
[1009,546]
553
[1009,547]
554
[1009,548]
555
[1009,549]
556
[1009,550]
557
[1009,551]
558
[1009,552]
559
[1009,553]
560
[1009,554]
561
[1009,555]
562
[1009,556]
563
[1009,557]
564
[1009,558]
565
[1009,559]
566
[1009,560]
567
[1009,561]
568
[1009,562]
569
[1009,563]
570
[1009,564]
571
[1009,565]
572
[1009,566]
573
[1009,567]
574
[1009,568]
575
[1009,569]
576
[1009,570]
577
[1009,571]
578
[1009,572]
579
[1009,573]
580
[1009,574]
581
[1009,575]
582
[1009,576]
583
[1009,577]
584
[1009,578]
585
[1009,579]
586
[1009,580]
587
[1009,581]
588
[1009,582]
589
[1009,583]
590
[1009,584]
591
[1009,585]
592
[1009,586]
593
[1009,587]
594
[1009,588]
595
[1009,589]
596
[1009,590]
597
[1009,591]
598
[1009,592]
599
[1009,593]
600
[1009,594]
601
[1009,595]
602
[1009,596]
603
[1009,597]
604
[1009,598]
605
[1009,599]
606
[1009,600]
607
[1009,601]
608
[1009,602]
609
[1009,603]
610
[1009,604]
611
[1009,605]
612
[1009,606]
613
[1009,607]
614
[1009,608]
615
[1009,609]
616
[1009,610]
617
[1009,611]
618
[1009,612]
619
[1009,613]
620
[1009,614]
621
[1009,615]
622
[1009,616]
623
[1009,617]
624
[1009,618]
625
[1009,619]
626
[1009,620]
627
[1009,621]
628
[1009,622]
629
[1009,623]
630
[1009,624]
631
[1009,625]
632
[1009,626]
633
[1009,627]
634
[1009,628]
635
[1009,629]
636
[1009,630]
637
[1009,631]
638
[1009,632]
639
[1009,633]
640
[1009,634]
641
[1009,635]
642
[1009,636]
643
[1009,637]
644
[1009,638]
645
[1009,639]
646
[1009,640]
647
[1009,641]
648
[1009,642]
649
[1009,643]
650
[1009,644]
651
[1009,645]
652
[1009,646]
653
[1009,647]
654
[1009,648]
655
[1009,649]
656
[1009,650]
657
[1009,651]
658
[1009,652]
659
[1009,653]
660
[1009,654]
661
[1009,655]
662
[1009,656]
663
[1009,657]
664
[1009,658]
665
[1009,659]
666
[1009,660]
667
[1009,661]
668
[1009,662]
669
[1009,663]
670
[1009,664]
671
[1009,665]
672
[1009,666]
673
[1009,667]
674
[1009,668]
675
[1009,669]
676
[1009,670]
677
[1009,671]
678
[1009,672]
679
[1009,673]
680
[1009,674]
681
[1009,675]
682
[1009,676]
683
[1009,677]
684
[1009,678]
685
[1009,679]
686
[1009,680]
687
[1009,681]
688
[1009,682]
689
[1009,683]
690
[1009,684]
691
[1009,685]
692
[1009,686]
693
[1009,687]
694
[1009,688]
695
[1009,689]
696
[1009,690]
697
[1009,691]
698
[1009,692]
699
[1009,693]
700
[1009,694]
701
[1009,695]
702
[1009,696]
703
[1009,697]
704
[1009,698]
705
[1009,699]
706
[1009,700]
707
[1009,701]
708
[1009,702]
709
[1009,703]
710
[1009,704]
711
[1009,705]
712
[1009,706]
713
[1009,707]
714
[1009,708]
715
[1009,709]
716
[1009,710]
717
[1009,711]
718
[1009,712]
719
[1009,713]
720
[1009,714]
721
[1009,715]
722
[1009,716]
723
[1009,717]
724
[1009,718]
725
[1009,719]
726
[1009,720]
727
[1009,721]
728
[1009,722]
729
[1009,723]
730
[1009,724]
731
[1009,725]
732
[1009,726]
733
[1009,727]
734
[1009,728]
735
[1009,729]
736
[1009,730]
737
[1009,731]
738
[1009,732]
739
[1009,733]
740
[1009,734]
741
[1009,735]
742
[1009,736]
743
[1009,737]
744
[1009,738]
745
[1009,739]
746
[1009,740]
747
[1009,741]
748
[1009,742]
749
[1009,743]
750
[1009,744]
751
[1009,745]
752
[1009,746]
753
[1009,747]
754
[1009,748]
755
[1009,749]
756
[1009,750]
757
[1009,751]
758
[1009,752]
759
[1009,753]
760
[1009,754]
761
[1009,755]
762
[1009,756]
763
[1009,757]
764
[1009,758]
765
[1009,759]
766
[1009,760]
767
[1009,761]
768
[1009,762]
769
[1009,763]
770
[1009,764]
771
[1009,765]
772
[1009,766]
773
[1009,767]
774
[1009,768]
775
[1009,769]
776
[1009,770]
777
[1009,771]
778
[1009,772]
779
[1009,773]
780
[1009,774]
781
[1009,775]
782
[1009,776]
783
[1009,777]
784
[1009,778]
785
[1009,779]
786
[1009,780]
787
[1009,781]
788
[1009,782]
789
[1009,783]
790
[1009,784]
791
[1009,785]
792
[1009,786]
793
[1009,787]
794
[1009,788]
795
[1009,789]
796
[1009,790]
797
[1009,791]
798
[1009,792]
799
[1009,793]
800
[1009,794]
801
[1009,795]
802
[1009,796]
803
[1009,797]
804
[1009,798]
805
[1009,799]
806
[1009,800]
807
[1009,801]
808
[1009,802]
809
[1009,803]
810
[1009,804]
811
[1009,805]
812
[1009,806]
813
[1009,807]
814
[1009,808]
815
[1009,809]
816
[1009,810]
817
[1009,811]
818
[1009,812]
819
[1009,813]
820
[1009,814]
821
[1009,815]
822
[1009,816]
823
[1009,817]
824
[1009,818]
825
[1009,819]
826
[1009,820]
827
[1009,821]
828
[1009,822]
829
[1009,823]
830
[1009,824]
831
[1009,825]
832
[1009,826]
833
[1009,827]
834
[1009,828]
835
[1009,829]
836
[1009,830]
837
[1009,831]
838
[1009,832]
839
[1009,833]
840
[1009,834]
841
[1009,835]
842
[1009,836]
843
[1009,837]
844
[1009,838]
845
[1009,839]
846
[1009,840]
847
[1009,841]
848
[1009,842]
849
[1009,843]
850
[1009,844]
851
[1009,845]
852
[1009,846]
853
[1009,847]
854
[1009,848]
855
[1009,849]
856
[1009,850]
857
[1009,851]
858
[1009,852]
859
[1009,853]
860
[1009,854]
861
[1009,855]
862
[1009,856]
863
[1009,857]
864
[1009,858]
865
[1009,859]
866
[1009,860]
867
[1009,861]
868
[1009,862]
869
[1009,863]
870
[1009,864]
871
[1009,865]
872
[1009,866]
873
[1009,867]
874
[1009,868]
875
[1009,869]
876
[1009,870]
877
[1009,871]
878
[1009,872]
879
[1009,873]
880
[1009,874]
881
[1009,875]
882
[1009,876]
883
[1009,877]
884
[1009,878]
885
[1009,879]
886
[1009,880]
887
[1009,881]
888
[1009,882]
889
[1009,883]
890
[1009,884]
891
[1009,885]
892
[1009,886]
893
[1009,887]
894
[1009,888]
895
[1009,889]
896
[1009,890]
897
[1009,891]
898
[1009,892]
899
[1009,893]
900
[1009,894]
901
[1009,895]
902
[1009,896]
903
[1009,897]
904
[1009,898]
905
[1009,899]
906
[1009,900]
907
[1009,901]
908
[1009,902]
909
[1009,903]
910
[1009,904]
911
[1009,905]
912
[1009,906]
913
[1009,907]
914
[1009,908]
915
[1009,909]
916
[1009,910]
917
[1009,911]
918
[1009,912]
919
[1009,913]
920
[1009,914]
921
[1009,915]
922
[1009,916]
923
[1009,917]
924
[1009,918]
925
[1009,919]
926
[1009,920]
927
[1009,921]
928
[1009,922]
929
[1009,923]
930
[1009,924]
931
[1009,925]
932
[1009,926]
933
[1009,927]
934
[1009,928]
935
[1009,929]
936
[1009,930]
937
[1009,931]
938
[1009,932]
939
[1009,933]
940
[1009,934]
941
[1009,935]
942
[1009,936]
943
[1009,937]
944
[1009,938]
945
[1009,939]
946
[1009,940]
947
[1009,941]
948
[1009,942]
949
[1009,943]
950
[1009,944]
951
[1009,945]
952
[1009,946]
953
[1009,947]
954
[1009,948]
955
[1009,949]
956
[1009,950]
957
[1009,951]
958
[1009,952]
959
[1009,953]
960
[1009,954]
961
[1009,955]
962
[1009,956]
963
[1009,957]
964
[1009,958]
965
[1009,959]
966
[1009,960]
967
[1009,961]
968
[1009,962]
969
[1009,963]
970
[1009,964]
971
[1009,965]
972
[1009,966]
973
[1009,967]
974
[1009,968]
975
[1009,969]
976
[1009,970]
977
[1009,971]
978
[1009,972]
979
[1009,973]
980
[1009,974]
981
[1009,975]
982
[1009,976]
983
[1009,977]
984
[1009,978]
985
[1009,979]
986
[1009,980]
987
[1009,981]
988
[1009,982]
989
[1009,983]
990
[1009,984]
991
[1009,985]
992
[1009,986]
993
[1009,987]
994
[1009,988]
995
[1009,989]
996
[1009,990]
997
[1009,991]
998
[1009,992]
999
[1009,993]
1000
[1009,994]
1001
[1009,995]
1002
[1009,996]
1003
[1009,997]
1004
[1009,998]
1005
[1009,999]
1006
[1009,1000]
1007
[1009,1001]
1008
[1009,1002]
1009
[1009,1003]
1010
[1009,1004]
1011
[1009,1005]
1012
[1009,1006]
1013
[1009,1007]
1014
[1009,1008]
1015
Time: 43.350
1016
Done
1017
s := \graphVaryA{1009}{100}{\bar{0.219}{0.031}{0.031}\bar{0.282}{0.063}{0.031}\bar{0.314}{0.063}{0.031}\bar{0.345}{0.094}{0.031}\bar{0.376}{0.221}{0.031}\bar{0.408}{0.063}{0.031}\bar{0.439}{0.063}{0.031}\bar{0.471}{0.157}{0.031}\bar{0.502}{0.157}{0.031}\bar{0.534}{0.189}{0.031}\bar{0.565}{0.126}{0.031}\bar{0.596}{0.157}{0.031}\bar{0.628}{0.157}{0.031}\bar{0.659}{0.315}{0.031}\bar{0.691}{0.410}{0.031}\bar{0.722}{0.315}{0.031}\bar{0.753}{0.284}{0.031}\bar{0.785}{0.315}{0.031}\bar{0.816}{0.473}{0.031}\bar{0.848}{0.284}{0.031}\bar{0.879}{0.410}{0.031}\bar{0.911}{0.315}{0.031}\bar{0.942}{0.442}{0.031}\bar{0.973}{0.663}{0.031}\bar{1.005}{0.347}{0.031}\bar{1.036}{0.536}{0.031}\bar{1.068}{0.505}{0.031}\bar{1.099}{0.473}{0.031}\bar{1.130}{0.252}{0.031}\bar{1.162}{0.505}{0.031}\bar{1.193}{0.442}{0.031}\bar{1.225}{0.726}{0.031}\bar{1.256}{0.442}{0.031}\bar{1.288}{0.631}{0.031}\bar{1.319}{0.378}{0.031}\bar{1.350}{0.378}{0.031}\bar{1.382}{0.631}{0.031}\bar{1.413}{0.536}{0.031}\bar{1.445}{0.663}{0.031}\bar{1.476}{0.884}{0.031}\bar{1.507}{0.505}{0.031}\bar{1.539}{0.568}{0.031}\bar{1.570}{0.663}{0.031}\bar{1.602}{0.789}{0.031}\bar{1.633}{0.694}{0.031}\bar{1.665}{0.536}{0.031}\bar{1.696}{0.663}{0.031}\bar{1.727}{0.505}{0.031}\bar{1.759}{0.757}{0.031}\bar{1.790}{0.884}{0.031}\bar{1.822}{0.694}{0.031}\bar{1.853}{0.536}{0.031}\bar{1.884}{0.473}{0.031}\bar{1.916}{0.442}{0.031}\bar{1.947}{0.599}{0.031}\bar{1.979}{0.536}{0.031}\bar{2.010}{0.694}{0.031}\bar{2.042}{0.505}{0.031}\bar{2.073}{0.505}{0.031}\bar{2.104}{0.663}{0.031}\bar{2.136}{0.410}{0.031}\bar{2.167}{0.315}{0.031}\bar{2.199}{0.315}{0.031}\bar{2.230}{0.442}{0.031}\bar{2.261}{0.378}{0.031}\bar{2.293}{0.663}{0.031}\bar{2.324}{0.252}{0.031}\bar{2.356}{0.189}{0.031}\bar{2.387}{0.252}{0.031}\bar{2.419}{0.094}{0.031}\bar{2.450}{0.284}{0.031}\bar{2.481}{0.252}{0.031}\bar{2.513}{0.157}{0.031}\bar{2.544}{0.221}{0.031}\bar{2.576}{0.252}{0.031}\bar{2.607}{0.157}{0.031}\bar{2.638}{0.094}{0.031}\bar{2.670}{0.094}{0.031}\bar{2.701}{0.126}{0.031}\bar{2.733}{0.126}{0.031}\bar{2.764}{0.063}{0.031}\bar{2.796}{0.094}{0.031}\bar{2.827}{0.063}{0.031}\bar{2.858}{0.031}{0.031}\bar{2.890}{0.031}{0.031}\bar{2.921}{0.063}{0.031}\bar{2.953}{0.031}{0.031}\bar{3.015}{0.031}{0.031}}
1018
1019
data := <1009, [ 1.246289794411755743502940460728, 1.57617828654866547072714848242, 2.105484169746433284947064627357, 1.0416334674788366148604792203797, 1.276775706681208362399782908166, 0.65235875210145270960567723730, 1.464750775284799386768918228685, 1.64441246322151640643779223148, 1.201169412223691383633228680796, 1.60975279815250040727513861220, 0.99193832225382331379012971655, 1.87148644998121518259349424929, 1.113912086115400308720295907261, 1.81354082554195057633099296430, 1.62001770682184704692832039287, 0.393079567639643448936467403460, 1.81119757819133447555944296325, 0.67640361190270721359472297645, 0.55303648304484180202715973547, 1.192611973891520207418875261754, 2.450013698500561389157886969832, 0.272453242836248175869049255495, 1.194295329893084061193589757495, 1.213072632935848815860577969712, 1.57238943319577293262827431702, 2.389307332721002905112032819964, 1.85805370781374375494677631353, 1.59269667128878883783808843691, 0.98098790593497241067978415187, 1.00399775836914814086049412519101, 1.482762506681927517316692629029, 2.205232216038576130562267190505, 1.230672323290135283830699773240, 0.429169812122132481616302958454, 1.86716660616425886691158109172, 0.68282958167308553591787514245, 2.457432485323810005999812368478, 2.499654015490227463730082599598, 2.156072842573408423410088493326, 1.58080760126975587288572890558, 1.51368245698865473978471560321, 1.63574072581140989543283976327, 2.110670287993812555727500168561, 1.65746360941270594372588683628, 2.57008070596843890657542555479, 0.68485110970274430053313585041, 1.489950433091927314139939067113, 1.203251633405845772507858170116, 1.89889377682765710075818647364, 1.96569791121552166712774052369, 1.66461629467082992071884095709, 1.78813561910759010298523872007, 1.65440048954655688287007371495, 1.83744203759214447254680316170, 0.490489664592097647798453296224, 1.75510243589045690509305401877, 1.404771618825409584569079412502, 1.434756973257333749033486989213, 1.92608105039609928307296352734, 2.223253929591646446485535894393, 0.96621155174663742036572575085, 2.51921014991494492165492475363, 1.0531156974930470869990952548129, 1.87613718391545828434789124063, 0.63340714901508652670366144691, 2.079148541220969486346191570054, 2.157496614209657997565006432674, 0.95402461529651392707214147658, 1.56515299799123447670058225104, 1.0502470467843705809524039827289, 1.097071495396932446899050483826, 1.107572829367145281605197358878, 1.82350198610597897226659029172, 1.367996159600123621467798309044, 1.50327564796740491470382716374, 2.099294021179104168080188100954, 2.400775271821474107155247414413, 0.72319418102811559053459780065, 1.489581849715704818375070872596, 0.486753046222394422117830216409, 1.284262114728321976096307498053, 2.082515617345177672645089197279, 1.216963407746432124237844286872, 1.223607528743523866430718441998, 2.61131238362531494981274642605, 1.484962233645844297242516242108, 1.61501372056843496231317116221, 1.98377963415006185676825580581, 1.406079906535933202076569210306, 2.255553139631158573185994626218, 0.80332861939969939726996475938, 2.229980252983448186113871488262, 1.353612744565057645748190994210, 1.108038920832812862090437006210, 2.193413943312912807961212168054, 1.52603924005186033186339028611, 1.83201870451494800766389461845, 1.430027490848351198533362120856, 2.105329096569434918468599236190, 0.94971573112189937313884633478, 1.438129029232102887024477385746, 1.219152976618485540121387278621, 2.346843428111423353046869281830, 1.314908906253172573109435740031, 1.92408961215110154290810407582, 1.283010817974448171921887326697, 1.70829212525148644483504418937, 2.57868906356338867388760685845, 0.50712135954241188699571519592, 1.450851890456043442480797504852, 2.080206750006014586319443602388, 1.0387384933568000239353558331977, 1.75310614375288628328215841135, 0.60881728177116556193300566018, 1.86197394197947907020318748938, 2.0509623095940881113078082578766, 2.439046291781956798587953620770, 1.128087808850275227425115599776, 1.443969335387727407523464897483, 0.83611573571496592453237291250, 1.343490432127043446145901043119, 1.97664481318152695871253939309, 1.374619142810132555577750200827, 2.069674850237217320159513130575, 1.54065656265128546187263499563, 1.94895996525105952963266147464, 1.485655769629090972207321737540, 0.481037912462280127221114462432, 0.66097152107301336617819663756, 2.442133728784646390151038836744, 1.53065768701040010609090899029, 1.75022269261283503966305969778, 1.70201591899176900922101620225, 1.56307558793081111848436649117, 0.74925678817548562894729486273, 0.90252302635813997525923071781, 2.190643047987396924003774729077, 0.87281463422897245533112320362, 0.97583171620396760498626133370, 1.89492776411411464046216952660, 0.99099820326472876349794361206, 1.69742052419458189962133421988, 1.297796215457456970799313922417, 1.96116588860714461316717264230, 1.00416152056506943061937254783173, 2.478058991406205853480418660393, 1.69394359533859130120134644118, 1.272290108620527599032655211984, 1.457094581928937127813660595268, 1.73436399538795046106926847193, 0.65859056957492562632552250362, 1.201398900658736513618823497354, 1.55417055202308116175331707599, 1.333009560121869749782202873234, 1.71512612213477161791805532621, 2.93016703510264390324917342645, 1.75434844162973668571482313275, 1.245423351383539749126565807362, 0.98742194120299948217927672056, 0.53865396780587918400657978635, 0.53547954097502661314656681699, 1.68312618816827658651540495218, 1.480429541636529077153965875229, 0.85257557305735809500338172072, 2.171578129124595528218775965691, 2.235291764389201783529434876261, 2.79576120566254686822256227942, 2.69594050649615106151299523559, 1.165957733000330357938664157548, 1.63106823230421237791685469659, 0.77506795567266902669884230783, 1.267196924566597483847233598963, 0.382985692342713916932112128601, 1.60612773717200799572134838145, 0.76572507894668049490697598851, 0.68166548157823177611640255927, 2.0114065269694858695678497773902, 2.315218316958356385134714803749, 1.0303637400729251696014157702971, 1.286677429832908867600026698348, 1.0484891030218452851228226367020, 1.0448450129069047336624560338441, 1.92495360702289221182044640992, 0.84911836162064928077462101099, 1.72210700959104812563449697587, 1.54691635941610368073333004609, 2.295407583296603581914514847508, 2.107983313345618906305831654209, 0.79744346900964744893909067452, 1.95329033591823944354865989492, 1.79589145139886218994130188106, 1.0595940184911757908864518286777, 2.0206051849081364382623564367893, 0.98443206154881613720313184240, 1.60834565919450756357150929373, 1.79228012617915729263502102536, 2.179303445319777080920293271990, 0.73759693184522738532571912219, 1.168527675976172768232703052855, 1.50488104249568901326311910847, 1.151460469311139720954095720742, 2.0381370786163677846043693558111, 1.61530304727314222529579903142, 0.96617335428191688840975144556, 2.271489595969162612943198641196, 2.315653290192951252795669222795, 1.78757334382795818559800912721, 0.98857534865802038011836538705, 1.178914738365989586484096030055, 2.244070222653742110310123326237, 1.64074858853454078825095963985, 1.281330942844147984483408350660, 1.064551846154728486539532554403, 1.376631691913722414359823315641, 2.264627209556693269112460282807, 1.171598555888477046855524427653, 1.071618325292408725760247074965, 1.78737873605836738702839117074, 1.303504183617728140783244919500, 2.85476067714511529441290908555, 2.172726812270827562999854829755, 2.465632931121928531975258453701, 2.278084748018766586269489919898, 2.113763025180699154621511094352, 1.072881540980174679973144845408, 1.59680261251440472069002129159, 2.350501959944613408383963151462, 0.495297743902543733253949632988, 0.82109674806000620629219582314, 1.76843380989137784227812262780, 2.65270126867314431939576741102, 0.66759296237051904051674830529, 0.96053404467781931224162413034, 2.56036080088120312666221587536, 1.77123501321249549896414727419, 0.97446821935482776433578665914, 1.51058657713780301771010839370, 2.53265705950304233723724281224, 1.386784030253466675108374867238, 0.385422250748359581204148333289, 0.90838602058602825012328361405, 2.258383677951767941627288523433, 2.0430787153513755690775185018844, 1.58427436737916794659436518480, 1.376832616862110859003057407320, 1.52404409457941227515110787753, 1.96905615017120215427737300705, 1.89392067371795590298528984118, 0.79296538789354700758952409694, 0.470982303353910568438276556482, 2.319255370833573951878574845320, 0.74097041558153669754274678931, 2.133901007394825265619250997219, 1.73747736726190534567885292012, 1.75286673895346979177275533835, 0.97159872512697052159520999596, 1.78991599227351161752731221947, 0.94600792336992618244190889261, 2.0469157739038345228004052487597, 1.188637628867267527932069497264, 0.52766224583851601952579459228, 1.71587342404888194689018281495, 2.328878881962040273721978383106, 2.362106877543601598516785544028, 1.92102908775588232713144219512, 2.357873926194738388716733669099, 1.468525110808733651399614515686, 1.69879800191055618423753195674, 2.245217899531092041835703772739, 1.161068685165753773638910512068, 1.93057677253490086419031360779, 1.331896988863699895921603372903, 1.0619103791627200679649379551979, 1.99681844002789761711834272009, 2.438315602673031812122065509921, 1.499221004020589258392016606855, 1.237394523735242463579741533180, 1.62086276174555466423375626820, 0.96155295529950552771925464609, 2.295148791020972922458837187631, 0.95309356441964085903892831236, 1.54735783722196358154197962830, 1.85905326649448388044843308839, 1.53965917206974734130290283273, 1.89417732761588317697514684472, 1.60984708736363564315856626408, 1.495396180433224610305871682133, 1.65363126469496074047958998786, 1.426792271117453816773405509709, 0.339576010347062660916372109751, 1.324466755942519053235592825554, 0.351736433143437552309890780621, 2.72457759242134245696669926210, 0.86352797563756181561090601809, 1.68857731176722591446345444519, 1.00374955964088170104028043611334, 1.68616256648635863407614087192, 1.99159915682996642270557067599, 2.0161663965697366959252448401205, 2.60043020015828029575723779399, 1.86669938574492501547808797520, 1.62981555140740735541078636542, 1.318588993653305242400756611059, 1.147669253395674396940503781949, 1.58191736793546573593300288554, 2.54910886632202688784862677989, 1.342519788479685768841403455528, 0.54742312565451783566620968347, 1.66811244986747465942190849944, 1.78923692589538567898138856534, 1.70614817152202823775432976471, 1.63243925974353317987759607088, 1.487448662040341966796050510611, 2.087787187556861554908909780446, 1.91766922770549388848075255304, 0.88120717923216367828010761817, 2.125269020462975658298805342745, 1.95181112312490902227068925298, 1.59700300811123989092830869951, 2.090330954659700447312615565079, 1.99980144575188774008769364744, 1.0378322162280847755692410876842, 1.296378860981111230602981639002, 0.90228468679939108074702218346, 2.085958558270549459335362785370, 2.154069891348945183216421941389, 1.71567398469297629077981470921, 1.92465342171091881132322332879, 1.95292240427881564478055914075, 1.56120655260699397914730735467, 1.63874361146469270050283758124, 1.322383445949709135077126764909, 1.0419976867856516075089018895291, 0.76773469757813456710560466259, 0.369831755805358126414088578751, 1.418438310482840215998627727582, 1.087426010630934302643760958008, 0.53932945075086454655414219939, 1.94168674621116126250096699318, 0.320142448510862900691946302684, 1.459722251012452577407360600948, 0.80073650294530153328592292330, 1.82174245459974888845635339415, 1.70071627782076165072720374360, 1.76255989827718243774697722348, 2.79691709750297787060055496311, 1.451405828672815187989736429828, 1.94862367592727149455930045010, 0.67118361636500416667055215708, 0.82033183529899478052248336098, 1.72036791894085170304772722728, 2.415553365774168099559098020331, 1.451415209336214786165562093385, 1.86608153105680810375167282410, 1.0564002183534389795849023116868, 0.82870226347115627692674417588, 2.66816662472330167461069665660, 2.00149229418445014436996047994557, 1.457536670671773116176295444933, 1.81283101640736855881740517101, 0.58442813268443737971260131286, 1.50263400400228284366296499959, 0.92980636730018876387727087788, 0.83592596774899389295062132056, 1.78267639839025692718899563975, 1.58401974232575791914689322581, 1.129429349107430781330277025852, 3.00281958060638072217825450803739, 1.166100937926981442656481269214, 1.400782301141599080823130774740, 1.52609518069664687031547834736, 2.72836310935426031520641051950, 1.220041696473121124062173283890, 1.79403796036587543231403912308, 2.65943445991912446061057363415, 1.472898851645387165853802095559, 0.92035358595970367903174274478, 0.76778058053389850941869538822, 2.238472011882214489719186726603, 1.0215061136687670938792872055446, 1.84008109965000729897975705444, 1.441774796473301996176617632980, 1.173187383489121912444945734849, 1.77958777801181836919494672779, 1.71967761897825898895680889026, 1.221797579141767914389599957017, 1.67223727584007642420436494462, 2.0239176625721884910595478516380, 1.66464303539116402660354150612, 1.72437969384642423724341808258, 1.61373005820676829312539412520, 1.417604252180270027261585238304, 2.285394354037707084251185527568, 1.346790877294511850414303344941, 0.96394565149525251087336607683, 0.67002666643514606489465207998, 1.55683604338736125072837131911, 0.96565868547886120541490487603, 1.80258423927119626205635237960, 1.50940457711445333438881222118, 2.70596945434083293190308747176, 2.378137355393006011488362761909, 2.204374508926597488252277177322, 1.55229738984258513360324885880, 1.348687851991533156809195198202, 1.74571703915376404417367706432, 1.93741791616600324111894720911, 1.441020054291340623901430397068, 1.66709469995409340641715851734, 1.63737798491852042506203530445, 2.302572909901290210578981648729, 0.96115688241719884280709312701, 2.0150038754901063513340066246517, 1.469526609736666621022909234984, 2.156138006153398795259892758956, 1.442925522051648209320608939095, 1.75087364212789067360898368050, 1.69251298054816014874217563469, 1.463019608983230285118378226675, 1.73598727769564203990899805915, 0.465633403345866477963383087485, 2.274143681660416447846786620542, 1.348554405514738511947255148198, 2.69014625522767817765810645663, 1.308591555090512696067011578638, 1.307746033661019747225507964147, 1.67643590153402259632688706199, 1.53683274924271160384053772442, 0.85717156273814500796184472207, 0.93299058020496824515297008916, 0.86793517578544835910349908527, 0.87076663861070368964599784577, 0.91523251424959586329907228746, 1.79409614868196200479773719817, 1.0440617496431153257896373522127, 0.85082938573983895515853957670, 2.308613789486998956084690694568, 1.88727962150471444580126776147, 2.54756382720000267210332746413, 1.429470403096050012102474072909, 0.57630046354359140383360869162, 1.84472898159263104468237145949, 2.478590487109866931056193203443, 2.106477894980654138798022347084, 2.085897941301738635132935009222, 1.139996482485715469024976249297, 2.56984509892022941712022340328, 1.292412592306195155288689721306, 1.462080838283632430431331632066, 2.079874780992138033192252751156, 2.305751152766604733460873055830, 1.95601952551471112860484724569, 2.251807504083005213664433871501, 2.0083789573572923250583049820234, 2.0171029521694968956802780457576, 1.112999456110438541108983447801, 1.368180405895637378227889334648, 1.87315941210384799781387632244, 1.82672512281672558375390509431, 1.69031670738008034603719878592, 2.422845598546638131161845499124, 2.187851208358226340015935797973, 0.69728227835790127065374456297, 0.91108049263328209908599361595, 2.0590597711752295801059554825307, 2.295964558755910933433448803209, 1.70253670015035067666862757369, 1.62370248655888875583474243889, 1.457989293391085326392215418269, 2.00219739154468236631806887449921, 0.93467133800787038025261625128, 1.91935526175408994601598720041, 2.74520473744053788081533407206, 1.80664300289575181066854507876, 1.273243006478669763209393757034, 2.58918881173939746074273157267, 2.0501336089053583679824224010122, 1.58802459114983685219527195635, 1.67537607661828742408663505396, 1.105427111346956172508365500887, 1.201548078299156825607432364184, 1.484685673786340558724840043831, 1.383325579031836612252288508981, 2.0529728215009445858860110021923, 1.330829329322172026049815792655, 1.0304388144571594311917046030482, 2.396777720162758627503203782631, 1.81885517917570484084962586560, 1.462575649800387441298986758868, 1.105524396977648753165235304507, 1.67226008385481881452672057241, 2.391808482681957076713274981784, 2.0481466161224446593424119745130, 2.117905834157033255860191513907, 2.0386655511287464443978875573528, 1.58145888265544348539900657888, 1.82772533742474610770894541730, 1.484803855581149922574268219979, 2.344492039884702921521515933100, 1.181201682237653578051384084296, 1.470509108415584894827057552243, 1.172376222173679023157124290707, 1.482136317064193380888221763228, 0.80982180243367048264369918171, 1.269568870332197626277624191695, 1.479687929411009580620700589196, 0.68998607859085589062717441553, 0.82103460119277187918242864045, 0.93144508965937062563169658365, 0.80606794808084454799964396525, 1.420604838931890767491785443228, 2.66898698115496925399285222173, 0.93924794919500088550705765992, 2.447372725482331888960924821784, 1.60129801639368506619610532888, 1.60471386564958594322331684992, 1.168493333783732559793675305267, 1.57537562256299382546342331081, 1.69302974503420922561241791567, 1.74727052820852994053359698060, 0.65512962691149331491502091991, 2.0403196407150446477161278016108, 2.79804010166109792042733893416, 1.086337145322783756394782799652, 1.486446099754773364814441106490, 1.378305647029966945854903572411, 0.87794668224571644064078315568, 1.86614377107263631142612315367, 2.89394087766322727907296173020, 1.78517760258987650690637736123, 1.111826782996780046929087087289, 2.217863971423919670814103282222, 1.98650158892145574769924997055, 1.91851453671804739365269395283, 1.57802623207452354139780811866, 2.207532836253555630391425814797, 1.75122123558005407793091706477, 1.66377909921461419445351190058, 2.126274850875250476832262352953, 1.73659343437102302425956183581, 1.317375600558037247651443833819, 1.80032965740893620334963752027, 1.229081499838380993853139538283, 1.259967808687354800223074479160, 1.94856317490561189896629462200, 1.59759237592459168534029131825, 2.115340530915966115975078375337, 2.110338688810036681061308005569, 1.89638735229401213900626784794, 1.58377864677222029546916538760, 0.80640655268571916017534162989, 1.122688316826050513331949192331, 2.124656192203217928786190431984, 2.0511807197565139945703499791114, 1.57881402667849651790551639572, 1.154300542181184500260286682704, 0.234414912894560503997491402845, 1.261028194675769046332362444478, 2.52617960974433038969075398486, 1.71481239374668709042601795465, 0.72946715530111023543111320830, 2.243896069418235457160074771843, 1.223529886477448041522395394008, 0.72681922229884255837197264402, 1.89747954051915673854482978473, 1.421765781733129169081252649690, 1.61769513370546146958221046048, 2.271977703856563625666205486757, 2.113858970835630216977450168463, 0.67821289103377391786374985784, 0.96933785219106129216597201730, 1.82835622153657703631431267225, 1.64572318244787447084828490700, 1.496679727826580672961800547213, 1.86070696811667145102564266753, 1.83821345836852862808608522786, 2.314403927745231935130806521823, 0.87436152583786876117686502414, 2.488637524036120329909512901234, 1.76066212340583413209326923696, 2.00454763788717958824479732263765, 0.82042346501687899816112419193, 1.491276665316180187663606080006, 1.490734964874250288042673530886, 0.98665586796598359137660796171, 0.73192227141170276258468592508, 0.78015568080867058673477815490, 1.391894025236447039458106700185, 0.63108017974814753008852084275, 2.277538306978995147609404580691, 1.082303924347133798452181464105, 1.340190398341480069499167818386, 2.0153735550277110127943248253553, 2.158931816663624539910591258413, 0.97562483290963019244514118704, 2.483326627252756376349173686549, 1.61711765640202015920948753965, 1.91850096467925523101648225468, 1.83650056333850696747143125199, 0.80824847587205078162146428297, 1.80243622259680877304596740289, 1.73247343553159274483995083565, 1.68126268268984639903967606838, 0.56774631512960714186433570040, 1.99413673705983780813785566382, 2.279552016948622885132474618283, 1.50783145250352803283309613736, 1.219634375993850712418544588982, 2.089328955546835613924928799411, 2.466982355586637862774588085547, 2.300016836256334010239073875006, 2.81996829970968088428296811165, 0.304049627249105140816421896132, 1.282311446992637769453485990420, 1.78839181705754753039559367539, 0.91004229644834967320368418008, 2.372523130890188215905133988369, 2.121453868699463774196755721124, 1.215888572096286125570560812514, 0.72005004129758611470205353213, 2.54426095446435062180249825738, 1.092043134946890718618854897458, 1.53771242441519289630682620792, 0.95212000818478999767887590399, 1.284992472458492140064870726835, 1.98500946591926919960244913322, 0.87605971967916659838761032160, 0.98931558905890928449521747232, 1.97749053356131004683169967684, 0.87773990223664948903939778553, 2.62998165838079681603782659915, 1.60311903072065795665889797453, 1.95206456342861918694126932478, 2.0171913780033504110489888860401, 1.71346445980295042377626944016, 2.491905573579415107419212347960, 0.78165310688701300908824038476, 2.233541151009222636937859789524, 2.072402627803274996779197510496, 1.399505831874853859320533360389, 2.285940442511208992419981801417, 1.274849677027756680549984567533, 2.474281812308296835200714822544, 2.0436736950587440232000363434580, 1.92138901678718766892048768449, 2.069535982513539145842268064988, 1.54789054742261638374066463570, 1.78139053105215043122192752005, 1.93797008476325873916590539775, 1.70038506463835820207760749706, 2.0457777170103869185704560074002, 1.91176917092707678337962229875, 2.0201497008273702977149254446793, 0.52278670653627020025586386244, 1.59822633158124140568539039606, 1.79161245277225284552604168249, 1.161663996460373304596527966999, 2.308843541080715310811482279280, 1.0612844068929582375496036325646, 1.300078443150747807169551687559, 1.95085186245765966237404715724, 2.207460873187618131678929785939, 1.212066187476725415633942358101, 1.84211515976753142078109307477, 2.57462779496742256041652528719, 0.89332838140361842159721626669, 2.00428763724095310510182123118188, 1.64923111800783734929153514705, 1.69146516019984934011180973816, 1.366494748310314161913130836640, 0.61166891126501004588747188182, 2.282307971542128957470799449030, 0.83190149115062725626125069308, 0.91034736653204589524566509969, 2.268825797753732979437726593675, 1.64713349727645544578970469960, 2.096337867096873957202922267398, 1.67639567979562172080859089074, 0.88880793862581677349611786377, 2.366219687619093760256118508274, 1.250671678773782161018655365810, 1.475315876458505641283172223257, 1.286609153758899065198255203236, 1.74773356716842644030598212146, 1.74053343597683199081455589541, 1.81626391619810784539090224820, 0.82800962781035210031736169892, 1.56026047245134360282129378831, 0.51345844556799042411882868763, 1.80258606974988180181068303691, 1.94897023071304586473696380486, 1.474863335189572172905496350867, 2.62231528233190428694735293932, 2.242535457871178612305300865275, 1.99935773317175209489966410179, 1.113768298350227390106821853240, 0.71317911034518581991660236188, 1.53888890018172439622971735898, 1.75517338237740725040622741368, 1.79348890727052443754550091827, 1.66465197556048859033314782919, 1.389240340196756251275495220963, 1.59113053258430033044949143111, 1.98416670683243737152008635354, 2.138220198214182028439557656215, 1.222533566394428644382147210898, 1.50623798372076837187215013622, 1.370398341384703826594753905050, 0.76343973304733829061578649823, 1.75518433125977421579175862116, 1.217902793100035849550640653316, 2.50575225566646060466010122330, 1.79827956934169418051523935202, 2.131320527393540718898778631058, 0.98803240809276663768077710009, 1.395164580644950689432911643415, 0.55736026592164470838253935660, 1.97819562345802900175762164470, 2.131708953748752567383186037547, 0.411763010096214404410000362743, 1.477203071421523852109565495476, 0.84844514777227218965954076724, 2.459957416290083967932378505786, 1.346274070868560094788795337654, 1.298432559631200090712805530725, 2.0507395861812652210659220854692, 0.63405826456020266810132901862, 1.080067480848175685639904725377, 1.61884558617912356446638746272, 1.255575239457090162460070276397, 2.144227362215287052687146354668, 2.194093684533682332315587345895, 2.062911725411618846204829539886, 1.0282732508884731344248758896551, 1.0329990271514945425236403249038, 0.94882821687208686174654484440, 2.58735502251856353036918456180, 2.106455521842272697894052086819, 0.440308679676516732005071160549, 1.419262513551752193294775946382, 1.77242027472979173596368033535, 1.380372160109687475768645740958, 1.81108081040985491354553525915, 1.437740117516106897412790139670, 1.388841656444955500817775650581, 2.081329574378107173266152808060, 1.81387199643149475416538895642, 2.00494578089611723438272626326123, 1.98292841485419794876907727037, 0.78577415868511878035313480021, 1.77856912338449892515436797669, 1.96350602046180098665520667866, 1.410944830779694519182476334424, 0.385393190447410223534469532314, 1.61996901747873849957522667822, 1.173056257318335543039519351769, 1.78211909517597459428375387801, 1.81918879766866828004679409578, 1.88704736490140720323977754905, 1.91472149758505864276182467090, 1.50543983328259799599371744414, 1.280221879995340724524721724810, 1.60243343150464432809553234759, 1.86309102809002053775714539796, 1.51962232892171347021572471536, 1.062918106295332077727320096035, 1.84371967835906632421391155992, 0.60072458622801582544434857048, 1.241656312232629522019756628327, 1.00488890295963556730774803504075, 1.53531625405346068541346275634, 1.84382962977019215974257891345, 0.73343813579904216039576140360, 1.56045325495972246705251732735, 1.220005106196411647102815985756, 1.395424676338310428697656824645, 1.226697026733215822558837831038, 0.69729876037989379834202256090, 1.94227142915735883943085422749, 2.279175010105407307449616355285, 1.0087078507758965311186989754372, 1.81085176482040994568028687155, 0.95220038644991207333769712794, 1.383882993277925345928494701941, 1.63812315167389129791522927655, 1.472663255540732156218947935926, 0.62261290978860545861126656446, 2.95432685289528149188614207033, 0.356266647337764894767153955999, 2.143787836545958117595139578265, 1.077068664815243758559579627549, 0.58432758936548065622262279992, 0.65778993520924291663482733863, 1.140131876242361558826162551077, 1.64984924405325924422330441847, 2.091568703342189384003505628846, 2.250536834733650283822770050825, 1.0139281661435915813199217069799, 1.0319383145109819879158739114960, 1.077531896124049513498473017726, 1.0323106723888475971563763860714, 1.437379686473514818201747660302, 1.56201903122406994984647960496, 1.392562408415958308046887265767, 0.93732004761341678401475816854, 2.110220975790162123642429215436, 1.97614656062861697211712540170, 2.259887566379481619634140033528, 1.78093870192378296915418048756, 1.82169249090611553707199479407, 1.77250668906225365068910072809, 2.0493290167874286893637594990953, 0.62070578608649371226397049402, 1.88511260196221302510963252481, 1.52165484271197480717036204718, 1.210353172592806197346251306950, 1.202830894838327042733579424105, 2.090923712667997200537297841740, 0.277000971521414807466073517706, 1.291343479202937713616518003534, 0.73997236883236834377752845112, 2.337737993536967729246242495418, 1.0183472653674797950883422764991, 2.0394437308876229673636100156375, 2.58826203785934537760942716593, 2.134665627193265070195104683257, 1.378566215823978672103606948455, 0.77519664894068220591698717389, 0.386813893759738013421699595643, 1.60715225716495177123501770670, 0.75613243471772092728013394464, 2.243039579241936408181359683229, 1.193456766578584199110047499419, 1.443283873367368497342302655851, 1.78151666930180295185705446406, 1.76088346040146888013463504312, 1.432632768443989735266995678797, 1.59094633184011509142413295300, 1.184534756419464115834196469479, 0.69042817933909687620111535882, 1.59016317245807270780568211021, 2.169776823042107656453777473510, 1.63675024089314381417013092381, 1.328126218471295372135903600049, 0.74491089320868426281182192583, 2.64412962754286059011193979456, 1.93231191484081641202023482180, 2.90625163757422084455894957009, 2.0279307794277449210250011295535, 1.97856117211587347215526916945, 2.52750712163763318850591253186, 1.63620837696043802342235803982, 1.172274245568398696675038664672, 2.113248481053793154230651761253, 2.223736889647446268562008964155, 1.346004765803989726507169948491, 1.58884777516393333952472588431, 2.69422072621635889175007936956, 0.69722224677579547931926397788, 1.285672436788227645701158205727, 1.96904854981482089222689638223, 1.88212291798345512297182363924, 1.257102728862784124479154398801, 1.56644923228110021978761071702, 0.82092128894852696356405206068, 0.80913662752004492629967609732, 0.387844206222180669524055629397, 0.87930265925360850473862934513, 1.193441210874311158192109572408, 2.60798532676296289466662334836, 1.334596637834340375878922261947, 1.0287505117047692125356954441766, 1.425423852574037190145639569582, 1.97970193180258322072202705126, 1.93472213450396115057050620566, 2.068018857836501649869065908370, 1.408202976326970568922865746656, 1.88762813296509402362773494741, 1.63890344503577976173377742608, 2.325942656958269596774580239049, 2.390261318868981154897501164728, 0.97815137938048898786987019973, 1.227754471693729752452599985999, 0.458195428736658654080435879526, 1.073468304979668409289879892639, 1.367162138497057575025314868385, 1.69635701789207903355228486535, 0.78336066697192102235424118651, 0.51670656666205164421407814374, 0.91362259638053751053180615396, 1.209451280740138257803965320900, 1.83531516021089361714775732751, 1.87590316123647783458570291626, 1.0473788295135523143436606112290, 1.399737647901122426509890592991, 1.75701657364970177858793321948, 0.84619502958743578980095418926, 0.92407370213644334055881941885, 1.93232388762888812789391396111, 1.146404874796119789358876498432, 2.58474179345512436172512039351, 0.70227501854451119144550139579, 1.457298032605965770858178626018, 0.71137062116393054960607730983, 0.94428360608483136108123107681, 2.0261744299080661064601254168143, 1.231297336142759170360808082905, 1.54274297547352942099339444945, 2.75288305845371286502300373724, 2.0193222186991011136785700645965, 1.351311462971921550324983905311, 1.82804319537314143536171544368, 2.271184434757987989038287254970, 2.283457962815430385876939607429, 0.80660439791972634810595023850, 2.54841150684695344947773747394, 1.073590727012632496959620045094, 2.207644737828195272619535642676, 2.098210795707744373846999661005, 2.121268146567776433407863069668, 0.378833028912443863331809455222, 1.67910356030150052237576486684, 2.307449763540850543874255052496, 1.75370700352429689740233468418, 1.071350427701081391503294665319, 0.66379423156034759669911323588, 0.79852059816189885682670726153, 1.65175985894397788329864746324, 1.125908991037096775921788582609, 1.425243937905542263246962506500, 1.79390517951304345888295218507, 2.53169238593165752709430743836, 2.482097978470336093470380233760, 1.63738014756786551671795455611, 1.84892067913941205684039933215, 2.283828476352650190248208376951, 1.55761216091532014888569650740, 0.66361451468878103383718934233, 2.00338515372830863920982952522601, 1.94291962041694645685063223008, 1.258027863706927565481991454919, 2.312819670412014358204419436113, 2.118472057785703933344910271243, 2.429593426914673981262860724112, 1.70412288884878056045434737259, 1.176616390886329419877647207217, 0.98396607986646426821391783073, 1.85505399183657870938467811181, 2.064244556563021397225500545689, 1.80462861136816752503342277018, 1.71736635521515235554423098134, 1.162311096624102957381876494227, 1.90871380158934806951534415328, 1.095783317538088331610710133764, 0.68544743989444066464655830626, 1.083888466639259920981745255922, 2.298890568433687748628200551419, 2.73301118062928481491763872367, 1.64918086549664916905801687588, 1.145209877281737820282918964152, 2.139062519788244606552544379593, 1.405711342646240004627002213647, 1.56766858150577889530746170660, 1.473614243348121326625762008274, 1.81360008082816660016567423234, 1.69716386579798429236234216748, 2.83276367752136817383948631850, 1.218118805474112189414962573071, 2.300693550889999717760888637751, 2.279016871984866045388937522972, 1.351477617622134167969708508697, 1.50976075507466797287967566013, 0.87188165910448949688225946892, 2.377196145330140935330941208717, 1.296052947117621559524305983086, 1.0202848811755346614748882219061, 2.162344986840390258069626492535, 1.461939938107289429864299973354, 1.60170165120951455755813708937, 1.109318749321809564895789544484, 1.425354746454087130696978864300, 2.188243093432508141282046652414, 1.70094565008482551004139922177, 2.308498524839505833493472315977, 2.435305600302421956645750426728, 1.221313247367881005980781892857, 1.52836287179212916612287165484, 2.0093496709763212066567768004763, 2.065343852011045654640612908307, 1.232007611574269652371432821831, 2.242675777029909114960290564553, 2.77708509044462516433960462485, 1.50333558171355566252205008683, 1.53232863895407119436893132956, 1.75054324025787905426157077132, 0.69153667023318448135959320990, 1.245470459457821495607098246654, 1.454266555923818389744723817384, 1.75584299649319060237236252684, 2.220817304295558449684532018982, 1.77818025594790295622240087635, 1.254973068602439511858205132665, 0.99233899572180940378727786634, 0.73724474293828076837270682423, 2.59832945601716590089954814824, 1.387852457022157173689623323891, 1.76973854960955684676750591467, 0.87900021670203655672408238713 ]>
1020
Saving Magma state to "1009.session"
1021
1022
Total time: 46.279 seconds, Total memory usage: 2.01MB
1023