-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathmatrice.v
2977 lines (2975 loc) · 487 KB
/
matrice.v
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
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
316
317
318
319
320
321
322
323
324
325
326
327
328
329
330
331
332
333
334
335
336
337
338
339
340
341
342
343
344
345
346
347
348
349
350
351
352
353
354
355
356
357
358
359
360
361
362
363
364
365
366
367
368
369
370
371
372
373
374
375
376
377
378
379
380
381
382
383
384
385
386
387
388
389
390
391
392
393
394
395
396
397
398
399
400
401
402
403
404
405
406
407
408
409
410
411
412
413
414
415
416
417
418
419
420
421
422
423
424
425
426
427
428
429
430
431
432
433
434
435
436
437
438
439
440
441
442
443
444
445
446
447
448
449
450
451
452
453
454
455
456
457
458
459
460
461
462
463
464
465
466
467
468
469
470
471
472
473
474
475
476
477
478
479
480
481
482
483
484
485
486
487
488
489
490
491
492
493
494
495
496
497
498
499
500
501
502
503
504
505
506
507
508
509
510
511
512
513
514
515
516
517
518
519
520
521
522
523
524
525
526
527
528
529
530
531
532
533
534
535
536
537
538
539
540
541
542
543
544
545
546
547
548
549
550
551
552
553
554
555
556
557
558
559
560
561
562
563
564
565
566
567
568
569
570
571
572
573
574
575
576
577
578
579
580
581
582
583
584
585
586
587
588
589
590
591
592
593
594
595
596
597
598
599
600
601
602
603
604
605
606
607
608
609
610
611
612
613
614
615
616
617
618
619
620
621
622
623
624
625
626
627
628
629
630
631
632
633
634
635
636
637
638
639
640
641
642
643
644
645
646
647
648
649
650
651
652
653
654
655
656
657
658
659
660
661
662
663
664
665
666
667
668
669
670
671
672
673
674
675
676
677
678
679
680
681
682
683
684
685
686
687
688
689
690
691
692
693
694
695
696
697
698
699
700
701
702
703
704
705
706
707
708
709
710
711
712
713
714
715
716
717
718
719
720
721
722
723
724
725
726
727
728
729
730
731
732
733
734
735
736
737
738
739
740
741
742
743
744
745
746
747
748
749
750
751
752
753
754
755
756
757
758
759
760
761
762
763
764
765
766
767
768
769
770
771
772
773
774
775
776
777
778
779
780
781
782
783
784
785
786
787
788
789
790
791
792
793
794
795
796
797
798
799
800
801
802
803
804
805
806
807
808
809
810
811
812
813
814
815
816
817
818
819
820
821
822
823
824
825
826
827
828
829
830
831
832
833
834
835
836
837
838
839
840
841
842
843
844
845
846
847
848
849
850
851
852
853
854
855
856
857
858
859
860
861
862
863
864
865
866
867
868
869
870
871
872
873
874
875
876
877
878
879
880
881
882
883
884
885
886
887
888
889
890
891
892
893
894
895
896
897
898
899
900
901
902
903
904
905
906
907
908
909
910
911
912
913
914
915
916
917
918
919
920
921
922
923
924
925
926
927
928
929
930
931
932
933
934
935
936
937
938
939
940
941
942
943
944
945
946
947
948
949
950
951
952
953
954
955
956
957
958
959
960
961
962
963
964
965
966
967
968
969
970
971
972
973
974
975
976
977
978
979
980
981
982
983
984
985
986
987
988
989
990
991
992
993
994
995
996
997
998
999
1000
From mathcomp Require Import seq.
From Interval Require Import Specific_ops.
From Bignums Require Import BigZ.
Open Scope bigZ_scope.
Definition A :=
[:: [:: Float (6898863280381500) (-54); Float (-7424285051310610) (-62); Float (-5102626315223130) (-56); Float (-6936325027941148) (-65); Float (-4659318113332312) (-57);
Float (4827352720794390) (-64); Float (6492394037546308) (-63); Float (7196714827817608) (-67); Float (-8896956672275310) (-61); Float (-5144581766455902) (-63);
Float (6795704053859254) (-65); Float (7770034509732456) (-67); Float (6761818635939290) (-64); Float (-8225603788995090) (-69); Float (5859322074963532) (-67);
Float (-6200898867992221) (-56); Float (6168078496417944) (-68); Float (-7525546026966710) (-59); Float (8124952063304998) (-66); Float (7385576474022992) (-59);
Float (8415716040728722) (-68); Float (-5016464733358788) (-62); Float (7218299996035104) (-65); Float (4614147120171508) (-64); Float (5695378332474496) (-66);
Float (4531237882179992) (-68); Float (-5211794515034930) (-57); Float (7743840289308666) (-66); Float (7335145463432364) (-59); Float (4716549492609270) (-70);
Float (4654720959649798) (-66); Float (8687663595130888) (-66); Float (5525552513156082) (-66); Float (4840774246371880) (-63); Float (-5673554866897648) (-68);
Float (6869159131419704) (-64); Float (-6922170055678634) (-59); Float (-6320908735170606) (-61); Float (7887180894585860) (-63); Float (4708940635741638) (-69);
Float (4613841013915200) (-62); Float (8139016099424190) (-65); Float (6748765641724576) (-66); Float (-7069598777678178) (-61); Float (-7945028217627522) (-67);
Float (7719933170563692) (-68); Float (4758207041539830) (-70); Float (-4830759526978403) (-74); Float (-4881117964737978) (-69); Float (4652108922688804) (-63);
Float (-8179278214831854) (-66); Float (5608586453810316) (-63); Float (8045324864512134) (-66); Float (6022401529252046) (-67); Float (7982746765595192) (-63);
Float (4865210701053272) (-68); Float (6089059111126278) (-64); Float (5059733318062418) (-70); Float (6573695180549592) (-63); Float (-5879910205109476) (-71);
Float (5413911455053486) (-68); Float (4846947280142236) (-63); Float (6262480471016604) (-68); Float (-5426934941200476) (-66); Float (-6128818180953326) (-56);
Float (-5514791472107106) (-65); Float (-7482019863859240) (-59); Float (4771375195706216) (-65); Float (7157609141387924) (-59); Float (4943809357519184) (-72);
Float (-7989651334923098) (-69); Float (4910529873014130) (-66); Float (7494189449923838) (-65); Float (8569331130258944) (-68); Float (-5826808352470012) (-66);
Float (-7842065279315778) (-59); Float (6758089917679692) (-67); Float (8848709327450774) (-59); Float (-8586873480756488) (-68); Float (8132066181673182) (-64);
Float (4772421852088398) (-65); Float (-8496984237617084) (-67); Float (7278192938081448) (-59); Float (-6961869887549502) (-67); Float (7095873851965412) (-66);
Float (-6229557395636268) (-60); Float (-7898093155745914) (-66); Float (6469614035831000) (-63); Float (8282741749935708) (-65); Float (-5771776418459608) (-64);
Float (5412221286928260) (-64); Float (6753362086429012) (-67); Float (6329485662383744) (-66); Float (6413338733581054) (-71); Float (7177716449015880) (-64);
Float (7630770537189948) (-67); Float (-4955890957757970) (-64); Float (6653858632372124) (-63); Float (6852186467734914) (-68); Float (-8155348301581080) (-64);
Float (-4954709275953030) (-57); Float (4673132989844204) (-64); Float (7257411125731030) (-59); Float (-4593615933177476) (-69); Float (6739897097415468) (-63);
Float (5994773598374476) (-66); Float (-8502071920782850) (-67); Float (7360520512797152) (-59); Float (-7082600300405040) (-67); Float (8871181216614362) (-66);
Float (4796158656710794) (-60); Float (6124978838039492) (-64); Float (-6997175900463108) (-66); Float (5598792921191460) (-63); Float (8406412604012174) (-68);
Float (-7928225667343474) (-65); Float (8210730362744536) (-61); Float (5603827398711610) (-65); Float (5923521319909622) (-64); Float (5570631829581834) (-61)];
[:: Float (-7424285051310610) (-62); Float (4688014856767413) (-53); Float (-7151286626695712) (-64); Float (-8209337015972015) (-56); Float (7168329275829136) (-65);
Float (-5357017656088101) (-56); Float (-4592170265341188) (-66); Float (-6562301712388122) (-60); Float (-5721614838340312) (-63);
Float (-6262977998125886) (-63); Float (8830061115930410) (-67); Float (-6714259134991262) (-66); Float (-5797052359335776) (-67); Float (5339471171154286) (-67);
Float (-8993845616620570) (-70); Float (8981632453442792) (-68); Float (-5623251451369195) (-56); Float (5841351409440562) (-66); Float (-5076909760281574) (-57);
Float (5966814913758664) (-68); Float (5482988025660548) (-59); Float (4902202853010298) (-65); Float (-5417501363479964) (-64); Float (-7736561015029282) (-68);
Float (6748970516045430) (-68); Float (6293916480516152) (-68); Float (5327776906289928) (-65); Float (-6101247598161221) (-57); Float (5633670722166598) (-69);
Float (8232121435348886) (-60); Float (-4865864195185920) (-65); Float (-5181761396160752) (-67); Float (5122601158397150) (-66); Float (7135025734452078) (-67);
Float (-5054427472483196) (-60); Float (6258927519040644) (-64); Float (-7245780161266552) (-61); Float (-6098788290026546) (-62); Float (-7447204158616132) (-66);
Float (-5202187921962788) (-64); Float (6001056628845236) (-66); Float (-7875691591183608) (-65); Float (-6197901107689898) (-66); Float (-7280118940779650) (-67);
Float (-4643420574515048) (-64); Float (8615449290740416) (-70); Float (-4976278285895790) (-65); Float (7217643710532114) (-71); Float (-5347051148448176) (-67);
Float (7078716552898724) (-66); Float (-8306734147769796) (-65); Float (8205322286036766) (-66); Float (-4928155824162430) (-69); Float (-6257944423182136) (-67);
Float (7819425086557052) (-70); Float (-6166917654817766) (-69); Float (7440864995089470) (-70); Float (6031283459021082) (-65); Float (8798259193857276) (-65);
Float (-7243664669531920) (-67); Float (-4979198585725460) (-66); Float (-4541513656862030) (-71); Float (5597370181100474) (-64); Float (-8607987935489162) (-66);
Float (-4737447737233320) (-65); Float (-5549172128275608) (-56); Float (8905754310751522) (-66); Float (-5042281091148768) (-57); Float (5894182466842658) (-69);
Float (5467612093835360) (-59); Float (6225960799039538) (-66); Float (4636454699954230) (-68); Float (8991477790922383) (-69); Float (6273594182045150) (-66);
Float (-5066034134837260) (-68); Float (5338817258829356) (-66); Float (-6083329638535504) (-58); Float (-7777334316572994) (-68); Float (6331566548025920) (-59);
Float (5990482731818220) (-68); Float (6565373497435830) (-66); Float (-7467375312507278) (-73); Float (-7593447222575126) (-68); Float (6291386180113914) (-60);
Float (8929831411818734) (-67); Float (4564326668365696) (-65); Float (-5572099977022516) (-65); Float (6355734426912706) (-65); Float (-7230629522018652) (-66);
Float (-4617100748718974) (-67); Float (7737154282596440) (-67); Float (-6296386156873360) (-70); Float (6400877262809316) (-69); Float (5280804633263714) (-71);
Float (8364406068232510) (-65); Float (-7555841358468510) (-72); Float (-5328108025861114) (-66); Float (7115997514938974) (-69); Float (6580055821679258) (-65);
Float (-6215099309581518) (-66); Float (7086919099432680) (-64); Float (-5965926541332358) (-57); Float (7439837361059920) (-67); Float (8472720718962274) (-60);
Float (7677176736944424) (-67); Float (5722500003941834) (-65); Float (-8888098603741154) (-69); Float (-6994547531251266) (-70); Float (6460120708039594) (-60);
Float (6418994424222808) (-69); Float (6379892051311952) (-63); Float (5434558995698028) (-63); Float (4556157519888060) (-67); Float (4668003352055514) (-67);
Float (5233012533266830) (-66); Float (-7143096727036850) (-69); Float (7595654438407432) (-64); Float (-7654476901655696) (-61); Float (8687798683850562) (-70);
Float (6039659170452098) (-63)];
[:: Float (-5102626315223130) (-56); Float (-7151286626695712) (-64); Float (5320518807045057) (-53); Float (7477081005777388) (-66); Float (-6985280884756833) (-56);
Float (-4624775272179316) (-65); Float (-5056319705814652) (-56); Float (-4509080464623716) (-66); Float (7403785909825842) (-67); Float (8767958354678424) (-67);
Float (-6780175682814728) (-65); Float (-7039915649727068) (-66); Float (-8852641375505138) (-66); Float (6479398754298594) (-67); Float (6774385534166600) (-69);
Float (-6453781957875627) (-58); Float (-8731933501901740) (-71); Float (-5965936426984358) (-57); Float (4969538448428484) (-68); Float (-7800743155069426) (-58);
Float (-5497297377863750) (-70); Float (4562424647501056) (-69); Float (-4967827497505478) (-66); Float (-8697666144377674) (-66); Float (8853855086560982) (-68);
Float (-7221171899427402) (-67); Float (-8325999856538050) (-60); Float (8945886463618762) (-70); Float (-4747522940849573) (-58); Float (5455814526905432) (-69);
Float (5252236555725406) (-67); Float (4834062431999554) (-66); Float (-4819085998072984) (-67); Float (4562331910446202) (-59); Float (5829165019599584) (-73);
Float (6785040921786814) (-65); Float (6733273722278558) (-63); Float (-5296598429529332) (-66); Float (-6241583783497304) (-64); Float (-7182536320805622) (-65);
Float (-6347780579027202) (-64); Float (-5448055121075760) (-65); Float (8662720331970388) (-65); Float (4855870771433106) (-64); Float (8188802630933978) (-70);
Float (-6592858269860754) (-65); Float (-6356267618919694) (-73); Float (-8947405269913202) (-70); Float (8134839063798870) (-73); Float (-7193798388234602) (-66);
Float (-7725834612611758) (-68); Float (-6397363702378652) (-66); Float (-7490150956149634) (-68); Float (7922633938066774) (-68); Float (8477033322398770) (-67);
Float (7629652684522248) (-71); Float (5326114588184960) (-67); Float (5554977522283604) (-71); Float (-8530041294526226) (-70); Float (-7942430224112568) (-68);
Float (8912318624111968) (-67); Float (8181578490260978) (-64); Float (4582553053064314) (-69); Float (5816541114562298) (-65); Float (-6436722113882888) (-58);
Float (5120230410636794) (-66); Float (-5908820088274048) (-57); Float (8088053457312182) (-67); Float (-7700439692399233) (-58); Float (6276961170591550) (-70);
Float (-8319008631066836) (-67); Float (-5051981543371994) (-68); Float (-6051286548592146) (-73); Float (6854485874243742) (-69); Float (5518992958025378) (-68);
Float (7305925116107902) (-61); Float (6347593404322164) (-68); Float (-6976183001639260) (-60); Float (6090476018354600) (-71); Float (-5448776708782922) (-73);
Float (8410135390495146) (-68); Float (7383543645495952) (-71); Float (7086739022218294) (-59); Float (-5382163644409020) (-69); Float (5379245647517274) (-66);
Float (8046544286904132) (-65); Float (-7642696357721212) (-68); Float (4808116071926028) (-68); Float (5712421049618742) (-68); Float (7890970440310566) (-65);
Float (-7971085365310146) (-66); Float (8544853708000308) (-73); Float (-6186659143958168) (-70); Float (4721497834407584) (-70); Float (6940822122882192) (-69);
Float (5254372531736018) (-69); Float (5585754647073188) (-65); Float (4883211363617514) (-65); Float (7253400366802724) (-70); Float (5095426677558334) (-65);
Float (-8637067929661838) (-60); Float (7916844709668610) (-67); Float (-4599298861255117) (-58); Float (5962099150634546) (-67); Float (-5389075492328182) (-66);
Float (8425039092535968) (-69); Float (5087282876078692) (-67); Float (7114789663217706) (-59); Float (-7345861807073076) (-70); Float (8436989571269184) (-69);
Float (-4558605561745606) (-62); Float (5918864118133756) (-67); Float (7472285435108396) (-64); Float (-6948594081373412) (-66); Float (6338360618350088) (-70);
Float (-7549319954890852) (-67); Float (8528289628064286) (-60); Float (8928199979939400) (-71); Float (-5669630356674252) (-66); Float (-6889011728186836) (-62)];
[:: Float (-6936325027941148) (-65); Float (-8209337015972015) (-56); Float (7477081005777388) (-66); Float (5320953921268045) (-53); Float (-5839725504476042) (-65);
Float (-6278464747692743) (-56); Float (-6924619036108244) (-67); Float (-7053520396568012) (-57); Float (7181682148712020) (-66); Float (-5452158279101376) (-66);
Float (-7273567947964694) (-66); Float (-6737587525050226) (-66); Float (4814848318371730) (-67); Float (5270787750612502) (-67); Float (-6704473147650450) (-68);
Float (8373003668728161) (-74); Float (-6403440628201717) (-57); Float (-8337804175553272) (-72); Float (-5413561410967047) (-57); Float (-8907506483915278) (-69);
Float (-6040907908422286) (-60); Float (-6807744245674320) (-66); Float (-6750883082729794) (-67); Float (-6688601575193836) (-69);
Float (-4841731647039142) (-68); Float (5195411829552096) (-67); Float (-6277636908975004) (-71); Float (-6679669501309291) (-58); Float (8657515707598796) (-71);
Float (6424413781473280) (-62); Float (7114695219660652) (-69); Float (4877333697172164) (-68); Float (6479861983076506) (-67); Float (8167550938323876) (-70);
Float (7862412446218556) (-60); Float (6088640526765392) (-65); Float (6669561432964402) (-65); Float (-8058363176834722) (-65); Float (-7002697979935162) (-65);
Float (-6165449192187262) (-64); Float (-6220892876743624) (-65); Float (8086311632223368) (-66); Float (-5081119015556456) (-67); Float (6039489900957452) (-69);
Float (-5748927146061192) (-66); Float (4777957948803446) (-74); Float (6575838334914276) (-67); Float (5383078024317806) (-70); Float (-5442569388123218) (-66);
Float (-4683343164948554) (-68); Float (-5544682533614472) (-66); Float (-7348801373372842) (-68); Float (-5378812693625866) (-67);
Float (-6277957735678136) (-68); Float (5165483049971956) (-71); Float (4662897516084396) (-66); Float (5136368060711996) (-71); Float (6228368657484500) (-66);
Float (-6085156827081292) (-68); Float (-5837464069705834) (-68); Float (-7172442861198312) (-68); Float (4943332834038676) (-71); Float (8486305137512324) (-65);
Float (-5252023363158070) (-66); Float (4968968214154380) (-66); Float (-6381591212830287) (-57); Float (5282990308605098) (-67); Float (-5387175064591164) (-57);
Float (6463415628808820) (-69); Float (-5858441170843572) (-60); Float (-7130477717489496) (-68); Float (5917286637512084) (-69); Float (7048635518585046) (-70);
Float (6665090570730912) (-68); Float (4872355792954564) (-70); Float (8966287420719062) (-70); Float (-6246462248496070) (-59); Float (8633717429577698) (-71);
Float (7776220706661974) (-60); Float (-5132869604300568) (-70); Float (6458185165128250) (-68); Float (8682176565762678) (-71); Float (-7169134447439006) (-70);
Float (5805781687400092) (-59); Float (8219187576200706) (-68); Float (-4983316611369528) (-67); Float (-5311836728492808) (-65); Float (-5098637627012372) (-70);
Float (8318307373470506) (-68); Float (5781259307432516) (-68); Float (-4856282901152182) (-70); Float (6558233272332146) (-67); Float (5555162664127590) (-70);
Float (-7028841855841424) (-69); Float (-8689087466551184) (-72); Float (-6764554935756760) (-67); Float (7859271440077958) (-70); Float (7377250694104026) (-73);
Float (4907641891611252) (-66); Float (-7148061601366978) (-68); Float (4896375258801778) (-68); Float (-6624563151141844) (-58); Float (8064330782731444) (-67);
Float (7820750511259924) (-62); Float (-7580276465493690) (-72); Float (5295775352838480) (-67); Float (-7871296287171392) (-69); Float (-8283227013947284) (-71);
Float (5840918069657748) (-59); Float (-7619840422480896) (-69); Float (-7871601473818424) (-71); Float (4595691227947474) (-65); Float (9003868444021575) (-67);
Float (5685792353252662) (-74); Float (-5799764777435286) (-67); Float (7762535264854314) (-75); Float (4842804943449878) (-68); Float (8344199035501232) (-60);
Float (-8808920303803988) (-68); Float (4546192888442636) (-67)];
[:: Float (-4659318113332312) (-57); Float (7168329275829136) (-65); Float (-6985280884756833) (-56); Float (-5839725504476042) (-65); Float (5367718074173910) (-53);
Float (-4931707785702404) (-67); Float (-7754896200735393) (-56); Float (5744491098071850) (-70); Float (6851812869543584) (-64); Float (-6971215993934320) (-68);
Float (-4560842118524212) (-65); Float (7110553626418612) (-67); Float (-7397084209839434) (-69); Float (5362116311150130) (-68); Float (-4823532969732786) (-67);
Float (-6226513750693810) (-60); Float (-6585692633325966) (-68); Float (-5684143552622311) (-57); Float (-7110892608320346) (-68);
Float (-6334761126305758) (-57); Float (6067328222265139) (-78); Float (8082346560782992) (-66); Float (7539268053103636) (-68); Float (-4623042690770858) (-66);
Float (4881189617757802) (-67); Float (-6177858566934460) (-67); Float (5735750731121604) (-64); Float (-4682685537706060) (-68); Float (-7017625297031817) (-58);
Float (-4652214919634752) (-70); Float (8392807596572144) (-67); Float (8055730877970014) (-67); Float (-8916414312318364) (-68); Float (5998020172900254) (-60);
Float (-4626243659284186) (-69); Float (4693975615465196) (-65); Float (5662403873274630) (-62); Float (5715671324571326) (-65); Float (-6867287827024750) (-64);
Float (-5525437889557370) (-65); Float (6421191550331866) (-68); Float (-6882654245225254) (-67); Float (5459698919823962) (-65); Float (7540440582991638) (-65);
Float (6875937302621938) (-72); Float (4940047723285502) (-67); Float (-7300500712868804) (-73); Float (5693839188126266) (-69); Float (8044265988694750) (-70);
Float (5748849426569018) (-68); Float (-4834586635617012) (-68); Float (-6542547679914946) (-66); Float (-8508284061257794) (-68); Float (4831705837654372) (-67);
Float (7570434632059408) (-66); Float (5093366250753264) (-72); Float (4713407690353766) (-66); Float (7625211439962332) (-71); Float (6230880254416246) (-68);
Float (-4743788819951058) (-67); Float (7294016303865502) (-68); Float (6018612214667562) (-64); Float (8854122713690144) (-70); Float (5869654458864522) (-65);
Float (-6683338699352166) (-60); Float (-6231037995499466) (-70); Float (-5650824020822204) (-57); Float (-5507605255587090) (-70);
Float (-6296329431400388) (-57); Float (4726241832419682) (-68); Float (-7955638453627696) (-67); Float (5829968910128208) (-69); Float (-8888397240771296) (-69);
Float (8903092669137278) (-69); Float (6089186331519582) (-68); Float (6583787111800394) (-60); Float (-6636136092075378) (-69); Float (-6406205231762404) (-59);
Float (-6400515502878786) (-73); Float (-5672662214271506) (-67); Float (7632583718598682) (-68); Float (4855454997196144) (-68); Float (5489367320555714) (-59);
Float (-6875542491002456) (-69); Float (7730655452922158) (-67); Float (8503785954431054) (-66); Float (-6052044161282850) (-69); Float (4723005596030600) (-66);
Float (-4749847541915256) (-68); Float (7060054526702274) (-65); Float (-7161651407494804) (-67); Float (-5496594246633090) (-71); Float (5873771746666022) (-68);
Float (5500513793713598) (-70); Float (-7824388327903302) (-70); Float (-8684716366159734) (-68); Float (4928293809472848) (-65); Float (5407794986444248) (-66);
Float (6342593547572500) (-70); Float (5408490095947804) (-65); Float (-8022934827380826) (-65); Float (-7935105551875592) (-68); Float (-6913416426215484) (-58);
Float (7011338957644428) (-68); Float (-8514052870602660) (-66); Float (6373309077021732) (-69); Float (7605080367198182) (-68); Float (5480750343187628) (-59);
Float (-4854876900748514) (-68); Float (-6946056443264458) (-73); Float (-7979609075034544) (-63); Float (-7711841225746666) (-68); Float (5384471694476386) (-64);
Float (-8976051785065278) (-66); Float (6772375276325782) (-71); Float (-7906270038231998) (-67); Float (5182298475744722) (-60); Float (-5556560535434132) (-67);
Float (-7124983961732040) (-66); Float (-7318456310030836) (-62)];
[:: Float (4827352720794390) (-64); Float (-5357017656088101) (-56); Float (-4624775272179316) (-65); Float (-6278464747692743) (-56); Float (-4931707785702404) (-67);
Float (5427104289507135) (-53); Float (5892459347249648) (-68); Float (-6151557905802517) (-56); Float (-4677459839743936) (-68); Float (4614672237433664) (-67);
Float (4720282808276650) (-67); Float (6972570851935542) (-67); Float (-5405180690624720) (-70); Float (-4819640364276894) (-68); Float (-5623965782870206) (-68);
Float (-6962135134131252) (-68); Float (-7663733075913044) (-58); Float (-7211870178830320) (-68); Float (-5573389005430051) (-57);
Float (-7990938957418002) (-73); Float (-6170197703171427) (-58); Float (-6323356531901862) (-68); Float (6841662697752814) (-67); Float (-5840121708142740) (-68);
Float (-8447470198515426) (-69); Float (4692890461235940) (-67); Float (-7332871524420546) (-68); Float (-4696104238967052) (-58); Float (-8212433738724390) (-71);
Float (-7091022466610552) (-60); Float (5675298194982588) (-69); Float (7564811903836034) (-68); Float (6097525073603544) (-67); Float (-6408734896397440) (-69);
Float (4607650692673668) (-59); Float (6069415083775040) (-64); Float (7282850033118312) (-64); Float (-7858822879443032) (-65); Float (-5018139629002452) (-65);
Float (5633117572334402) (-66); Float (-6494368879823962) (-67); Float (5681186613440388) (-67); Float (8401695894763570) (-68); Float (-4528978979576044) (-72);
Float (5724269425151514) (-66); Float (-5773692529547778) (-72); Float (7053472696440900) (-69); Float (5511040693848910) (-69); Float (-6558150141845774) (-67);
Float (7583669054255812) (-71); Float (-7295715728920672) (-68); Float (-8445097456657330) (-69); Float (-5541249881304820) (-69); Float (-5724111887895942) (-68);
Float (5142398168473288) (-71); Float (6089485114526848) (-66); Float (5227610204483148) (-70); Float (5416297287473016) (-65); Float (-4912924003661974) (-68);
Float (-5055980449857082) (-67); Float (-5029125961738954) (-67); Float (5861586476861348) (-69); Float (6813190852293948) (-64); Float (-4557036440785234) (-65);
Float (-6631546177473542) (-68); Float (-7712617290516503) (-58); Float (-5101776436934112) (-69); Float (-5575304570984188) (-57); Float (7230946973750678) (-68);
Float (-6118868495604762) (-58); Float (-6878727518315606) (-69); Float (8491157615388568) (-71); Float (7589548814217734) (-70); Float (5189713350552504) (-70);
Float (-7439531221722657) (-77); Float (-5405608290494738) (-68); Float (-7371495837907408) (-60); Float (5050513040297516) (-70); Float (8110898735227550) (-61);
Float (-6341921380477394) (-68); Float (5656556496514790) (-68); Float (5047940261463134) (-72); Float (-8761137698461104) (-70); Float (7051791112953848) (-59);
Float (4606950732530494) (-66); Float (-7432577466872328) (-68); Float (-4995506765798400) (-65); Float (-4833345471919364) (-68); Float (-8678251855190898) (-67);
Float (5914868970096120) (-68); Float (-5060643121661668) (-69); Float (7406718046592522) (-69); Float (5903910595322814) (-70); Float (-6254943800446934) (-69);
Float (-8705599069688402) (-69); Float (-6588863563800100) (-66); Float (8021861051880662) (-70); Float (6044714990481490) (-70); Float (4751816980302850) (-65);
Float (-5905825556015640) (-67); Float (-5919832730197910) (-66); Float (-4736168244623597) (-58); Float (8610879077453776) (-68); Float (-6822797325507512) (-60);
Float (-5619662592829430) (-68); Float (8891799104102508) (-75); Float (-8654824482707798) (-69); Float (-4973234211576898) (-68); Float (7100709330501864) (-59);
Float (-8613835962091736) (-69); Float (-5993760486538724) (-66); Float (-6323274796407836) (-65); Float (5627887743408312) (-67); Float (-6669570497812518) (-72);
Float (-5835936667820962) (-67); Float (-5597154959178450) (-68); Float (-6410645689928246) (-66); Float (4810067755690352) (-59); Float (-7501560927043498) (-67);
Float (-5795561509676664) (-65)];
[:: Float (6492394037546308) (-63); Float (-4592170265341188) (-66); Float (-5056319705814652) (-56); Float (-6924619036108244) (-67); Float (-7754896200735393) (-56);
Float (5892459347249648) (-68); Float (4873564120521087) (-53); Float (6382558049026002) (-64); Float (7239369914194316) (-65); Float (6183489290612394) (-66);
Float (4552657687110546) (-67); Float (6812916424624344) (-68); Float (-4598462908317096) (-67); Float (7445040262359546) (-68); Float (6616986187023482) (-69);
Float (5540367025974906) (-59); Float (-6963168559757690) (-69); Float (-5252631940808858) (-57); Float (-7363174660506548) (-68); Float (-5407950359588838) (-56);
Float (4510636220375654) (-70); Float (7495079039177552) (-66); Float (5070512766450672) (-66); Float (-4976468018890970) (-67); Float (5401824673450990) (-67);
Float (-6914087713086082) (-67); Float (6522188486399044) (-60); Float (-7802668060810186) (-69); Float (-6220679487615481) (-57); Float (-6908114910312074) (-67);
Float (8983877858650340) (-67); Float (8945175769594272) (-67); Float (7075429629988444) (-70); Float (-7715719543116020) (-60); Float (-5591655047939998) (-67);
Float (7318140135819990) (-65); Float (4986289847995716) (-63); Float (7765413025297610) (-67); Float (7928359706260122) (-66); Float (-6871572004527506) (-69);
Float (7514542752789004) (-68); Float (4739741780447042) (-67); Float (-5317050921307248) (-65); Float (6168686745823462) (-65); Float (8409155636405538) (-73);
Float (6679177177066714) (-68); Float (6131432995710218) (-70); Float (4883405113898280) (-66); Float (-6897658371728262) (-68); Float (4887425392542676) (-65);
Float (-4820879606112950) (-67); Float (-7029247268324306) (-69); Float (-7033846671494286) (-68); Float (5982348293366936) (-67); Float (7259792781742416) (-65);
Float (4790346507722020) (-69); Float (8292698567896316) (-66); Float (8998877540786465) (-70); Float (6497528493299654) (-66); Float (-8876366240118058) (-67);
Float (7227025676686672) (-67); Float (8107643666955824) (-64); Float (6841245191257030) (-69); Float (5213229222092808) (-65); Float (5240838448747952) (-59);
Float (-4557137527970680) (-66); Float (-5250154472917252) (-57); Float (-5686037825998344) (-67); Float (-5399908436055597) (-56); Float (5388342651246942) (-69);
Float (-7460465065545080) (-67); Float (6060479979277718) (-68); Float (-5145213856412928) (-68); Float (5220276743881688) (-68); Float (-5333313816284652) (-68);
Float (5824875980252190) (-59); Float (-6735901905131236) (-68); Float (-6399227089433938) (-58); Float (-5366756163353654) (-67); Float (-5030458834006874) (-68);
Float (7598274207748474) (-67); Float (8687173740998602) (-72); Float (5441462364893142) (-60); Float (-5000718132250158) (-67); Float (6138607606924948) (-66);
Float (-4746100596010158) (-65); Float (-5561740496394886) (-66); Float (-4782408798451966) (-68); Float (-8258710898288032) (-67); Float (5892424078402252) (-64);
Float (-4609683170328532) (-66); Float (7857348715759694) (-71); Float (4948945209446664) (-67); Float (6941913271059476) (-69); Float (4682992282150992) (-70);
Float (-6053992237375754) (-66); Float (6500129372132732) (-65); Float (6730421752286360) (-65); Float (8795120293014612) (-69); Float (8540704300349410) (-66);
Float (5748000918446380) (-60); Float (-6847862445786862) (-66); Float (-6213856948584081) (-57); Float (-7364497652029798) (-67); Float (-7996772065800646) (-66);
Float (4878091744071076) (-67); Float (-8969357359552615) (-70); Float (5399628803880804) (-60); Float (-6241738065809094) (-67); Float (5091315841047466) (-68);
Float (-4753208796273360) (-62); Float (-5053763266821214) (-65); Float (7890286043039558) (-64); Float (-5349031997574080) (-66); Float (5857378678035716) (-70);
Float (-7521263888498012) (-66); Float (-8867361092728158) (-60); Float (-7289709949020590) (-66); Float (-4597601102320280) (-65); Float (-4656952850378522) (-61)];
[:: Float (7196714827817608) (-67); Float (-6562301712388122) (-60); Float (-4509080464623716) (-66); Float (-7053520396568012) (-57); Float (5744491098071850) (-70);
Float (-6151557905802517) (-56); Float (6382558049026002) (-64); Float (5130237628537406) (-53); Float (-7033345767319290) (-66); Float (7509297479430562) (-66);
Float (-5547105793070984) (-70); Float (-8820679626360608) (-69); Float (5940658797775640) (-69); Float (6321902893660548) (-67); Float (5500499535500674) (-67);
Float (6715912351010410) (-67); Float (5644129973356732) (-59); Float (-5269439155581764) (-67); Float (-7637937074795407) (-58); Float (8448030144303976) (-68);
Float (-6473770412994561) (-56); Float (-8694275869798634) (-66); Float (5545537714579172) (-66); Float (-7533045181308908) (-68); Float (6049498014538822) (-67);
Float (-4828939795031980) (-64); Float (5278427627842664) (-68); Float (4703888604342136) (-59); Float (-6454601311296410) (-67); Float (-7703502211219247) (-57);
Float (4821495138116618) (-67); Float (7376842887550934) (-65); Float (-8284147071062222) (-68); Float (-6715646925453990) (-67); Float (-7657485640341560) (-59);
Float (5593280704661932) (-62); Float (5966284380365102) (-64); Float (5165529648362682) (-66); Float (-5139229648868576) (-68); Float (7225094898702372) (-70);
Float (8845025194967786) (-68); Float (-7590077482239430) (-64); Float (5889790627017974) (-65); Float (-5530847212095720) (-68); Float (-4630039099298154) (-65);
Float (7568167100218250) (-75); Float (-8165821191493996) (-66); Float (-7547278281975482) (-68); Float (6607229814464084) (-64); Float (7861259618430848) (-66);
Float (5474992532155658) (-68); Float (-7222287516385758) (-68); Float (-6015777515333346) (-68); Float (5559095797966042) (-65); Float (5553143599296272) (-69);
Float (6323957651299694) (-64); Float (6425501694651374) (-68); Float (5737559025697446) (-63); Float (-6640883375700148) (-73); Float (-8154901875190374) (-66);
Float (-5030334255329026) (-68); Float (8940537772799208) (-67); Float (5896593586592794) (-62); Float (-4913518670169164) (-63); Float (-7214226272142356) (-67);
Float (5336683628153450) (-59); Float (-8775490406169786) (-67); Float (-7704163362984038) (-58); Float (7073395620244988) (-68); Float (-6521863899555203) (-56);
Float (-8127257963363788) (-66); Float (-4894138690074578) (-67); Float (8218774930919164) (-68); Float (-6240013802473872) (-68); Float (-7946890469903050) (-66);
Float (7687019196494104) (-71); Float (4578231206547447) (-58); Float (-6452490672205408) (-67); Float (-7866896710611781) (-58); Float (-7081123122899574) (-66);
Float (7126871038820766) (-66); Float (-4626763420741226) (-67); Float (-6225537456418666) (-67); Float (8754345883935560) (-60); Float (7119285397342756) (-64);
Float (4538473805008382) (-68); Float (-7444480796915080) (-63); Float (-5982514160602872) (-67); Float (-8788323038449208) (-64); Float (4513781843241448) (-66);
Float (-7564057699904712) (-69); Float (-4962824118321440) (-65); Float (5627157857487568) (-68); Float (7313455884381076) (-66); Float (7284857182760140) (-67);
Float (-8291740629671166) (-64); Float (6781040138354886) (-72); Float (7184144389563826) (-67); Float (7279762092139972) (-63); Float (-4837196226974092) (-64);
Float (-7460443148794304) (-65); Float (8822108766401566) (-60); Float (-7418684074024028) (-66); Float (-7700612473779336) (-57); Float (-7686045750071176) (-66);
Float (-5638730765729734) (-69); Float (5203027451566966) (-68); Float (-6558913441129446) (-66); Float (8971886560857600) (-60); Float (8330038428753442) (-66);
Float (-7803427967610346) (-65); Float (-5382198240631378) (-62); Float (-7892777794419012) (-67); Float (4596172967453246) (-68); Float (8215935800566408) (-65);
Float (-7205069422728852) (-65); Float (-7478115185862562) (-64); Float (-7459641288411930) (-59); Float (-5297961979642182) (-67); Float (-7661238508989290) (-63)];
[:: Float (-8896956672275310) (-61); Float (-5721614838340312) (-63); Float (7403785909825842) (-67); Float (7181682148712020) (-66); Float (6851812869543584) (-64);
Float (-4677459839743936) (-68); Float (7239369914194316) (-65); Float (-7033345767319290) (-66); Float (4557963830803356) (-53); Float (-4844678697819128) (-64);
Float (-5376897464325225) (-56); Float (-4981913755342728) (-67); Float (-5740707726923245) (-57); Float (4596841292382702) (-68); Float (-5251093604859892) (-61);
Float (-7337688625967338) (-62); Float (6274354482073450) (-66); Float (6261723413972756) (-65); Float (-5258045109487456) (-66); Float (4538840296106624) (-65);
Float (-8273780106829178) (-67); Float (-8356186910907254) (-56); Float (-8621930241717450) (-67); Float (-4737556907892230) (-57);
Float (-4797707280238558) (-69); Float (4963992680796110) (-59); Float (-8456226503888960) (-65); Float (-8386878381080030) (-66); Float (6135741346793372) (-65);
Float (6259449491108224) (-66); Float (-5204926139274021) (-56); Float (-6023096333876536) (-66); Float (5962128018169014) (-59); Float (5500428648189650) (-64);
Float (8702185053126012) (-63); Float (-8040998578123158) (-59); Float (-8248438608557044) (-61); Float (-4956033757681780) (-67); Float (4770900004890162) (-64);
Float (8804629348589647) (-72); Float (5713961161400238) (-65); Float (-8309362729412574) (-70); Float (-5161188543596680) (-64); Float (-7389536565025208) (-62);
Float (-8094968881849380) (-64); Float (-5109066320593872) (-66); Float (-7919478933857632) (-68); Float (7627127309970474) (-66); Float (8864031832346656) (-67);
Float (5558306731556198) (-64); Float (6094900598328724) (-68); Float (-7765520782518290) (-66); Float (6921288183295764) (-69); Float (-6594038942963648) (-64);
Float (-5358939077316694) (-63); Float (-5339072808902630) (-65); Float (7433247795707664) (-67); Float (-8583444299584674) (-67); Float (-5494876590733728) (-63);
Float (5773364881474582) (-67); Float (-5496746061089030) (-66); Float (-7647253647821090) (-64); Float (-5370394939999954) (-63); Float (4593295866675300) (-60);
Float (-4937251634123532) (-67); Float (6894279660723860) (-66); Float (6656433257181244) (-65); Float (4808916415250518) (-67); Float (-6287860550499800) (-67);
Float (-8244397737606800) (-67); Float (-5477381696713609) (-56); Float (4942497507816266) (-72); Float (-5774270833878948) (-58); Float (7864080093673016) (-68);
Float (7075843898563250) (-60); Float (7708229241004328) (-64); Float (5905041751479414) (-70); Float (8159489853259060) (-68); Float (-4675082202062336) (-67);
Float (-4812295983811804) (-57); Float (-5819867397433562) (-68); Float (6751916118558994) (-59); Float (4791428468619570) (-64); Float (5774407938612650) (-64);
Float (8681715993131864) (-60); Float (7319055011701550) (-64); Float (8715192758268662) (-67); Float (5843283899015546) (-65); Float (4675239180173126) (-69);
Float (-6187641576739520) (-64); Float (-7472958524656626) (-64); Float (-5015516870235812) (-67); Float (8243839177805092) (-66); Float (4980649208738976) (-66);
Float (-6323031897269386) (-67); Float (6381608873909422) (-67); Float (-7675837539226198) (-64); Float (-4720597753490446) (-64); Float (-8633128616337008) (-65);
Float (6887827918703510) (-62); Float (7873244690917594) (-63); Float (4946255719219948) (-66); Float (-7315500638106822) (-71); Float (-7812092505802498) (-68);
Float (-5751047704347429) (-57); Float (5715408336167352) (-67); Float (7174131894216450) (-60); Float (6685359099357186) (-64); Float (8869178327758130) (-66);
Float (8301913301982834) (-60); Float (5483222576621880) (-63); Float (7702687124096288) (-67); Float (-5839577567071522) (-64); Float (8823718864063172) (-64);
Float (-7336794758453612) (-67); Float (5475682088958980) (-63); Float (6858332004528740) (-63); Float (6631664389772144) (-66); Float (-5836752962888350) (-61);
Float (8915107129207598) (-63)];
[:: Float (-5144581766455902) (-63); Float (-6262977998125886) (-63); Float (8767958354678424) (-67); Float (-5452158279101376) (-66); Float (-6971215993934320) (-68);
Float (4614672237433664) (-67); Float (6183489290612394) (-66); Float (7509297479430562) (-66); Float (-4844678697819128) (-64); Float (5090823061863644) (-53);
Float (-6855668170556832) (-67); Float (-6219629320171737) (-56); Float (-5269097107466884) (-71); Float (-8044372402547140) (-57);
Float (-6506508874134832) (-68); Float (5325866616408232) (-65); Float (-6397379744838954) (-64); Float (-5826615154634936) (-68); Float (-5536290123160242) (-67);
Float (5367799580459982) (-66); Float (4661516752198580) (-68); Float (-7861368050991258) (-68); Float (-6249789970496087) (-56); Float (-6710602064748386) (-70);
Float (-6424329239859995) (-57); Float (-5897302352733238) (-69); Float (-6623499418238060) (-65); Float (-4628312542592568) (-65); Float (5466932491608460) (-66);
Float (7974467193320512) (-68); Float (6010933800553620) (-70); Float (-8077461869253009) (-57); Float (-8431407045338036) (-69); Float (8036510227847496) (-68);
Float (-8420965820633524) (-68); Float (-4856674559869000) (-66); Float (-8000374001504504) (-67); Float (-8854006764036604) (-65); Float (6613767238516834) (-70);
Float (-7593875034130634) (-66); Float (-7065929469994826) (-72); Float (5659825583167050) (-66); Float (-4884995826329830) (-69); Float (-8353171305962242) (-64);
Float (-6696604566576524) (-64); Float (-6830244669710626) (-66); Float (-5194350298837814) (-65); Float (-8362757271644194) (-67);
Float (-5106072852344032) (-66); Float (4744485659834326) (-70); Float (-5554157430799940) (-68); Float (4864209700604316) (-70); Float (7097729428454256) (-65);
Float (5850778826986282) (-71); Float (-4618000793111172) (-66); Float (-6283143802763048) (-65); Float (-8010330897510340) (-67); Float (-5068610943241914) (-66);
Float (-5324336228295902) (-68); Float (6018585825339618) (-65); Float (7627344000796446) (-72); Float (-5369720273119320) (-67); Float (-7862122614048792) (-66);
Float (6532176660125052) (-69); Float (7228029597170744) (-66); Float (7090340629700502) (-67); Float (8750328101582998) (-69); Float (5306782880264028) (-66);
Float (8069730626864900) (-69); Float (-4572285124521782) (-69); Float (6152716749423340) (-67); Float (-7525169017639394) (-57); Float (5448249411790210) (-67);
Float (-7294374836537977) (-58); Float (-6224481170772716) (-73); Float (8113792868775702) (-68); Float (7794215694343034) (-67); Float (5142883370399026) (-67);
Float (6053211633169106) (-68); Float (5945484801288756) (-67); Float (-7349152150409874) (-58); Float (-7786067143754496) (-70); Float (7417400196032124) (-67);
Float (4583759723906602) (-67); Float (-8620252778133560) (-68); Float (8873629520470874) (-67); Float (8015233762559042) (-67); Float (6645544717118702) (-70);
Float (8289849392662756) (-66); Float (-6087853502885508) (-70); Float (5674568716897796) (-68); Float (4776175579225868) (-66); Float (9006037640457873) (-69);
Float (-6912576155675776) (-68); Float (7598573907193882) (-71); Float (7807457395043718) (-65); Float (5882047325451428) (-73); Float (6522019065169906) (-68);
Float (-6201108833753562) (-67); Float (4876418824964208) (-70); Float (4879751480353206) (-66); Float (6175692031477388) (-65); Float (5222177841607770) (-68);
Float (8224103437585892) (-68); Float (8556234778492614) (-66); Float (-7948781002768286) (-58); Float (6504701645610732) (-68); Float (8336067501145894) (-67);
Float (4758115326270888) (-66); Float (7721039845191768) (-71); Float (7340431850363844) (-68); Float (8135110663432744) (-65); Float (8081590703398938) (-71);
Float (8149832756089384) (-66); Float (4722992305676238) (-64); Float (6576016960527676) (-69); Float (5323669309122470) (-66); Float (5223665408151442) (-65);
Float (6109194566271094) (-66); Float (4662174372848098) (-66)];
[:: Float (6795704053859254) (-65); Float (8830061115930410) (-67); Float (-6780175682814728) (-65); Float (-7273567947964694) (-66); Float (-4560842118524212) (-65);
Float (4720282808276650) (-67); Float (4552657687110546) (-67); Float (-5547105793070984) (-70); Float (-5376897464325225) (-56); Float (-6855668170556832) (-67);
Float (5536533205391938) (-53); Float (-5890193529658170) (-68); Float (-5164577388819983) (-56); Float (-8073251919313580) (-68); Float (-5979281780884804) (-57);
Float (4543899504258904) (-67); Float (-7332495444540626) (-66); Float (-5027650107660676) (-65); Float (-7533104828150762) (-68); Float (-6651295434055058) (-67);
Float (7142404684209816) (-67); Float (-6351359581716159) (-57); Float (-8299135985661012) (-68); Float (-7346515501684700) (-57); Float (-7757952953805074) (-69);
Float (-6793357598406861) (-58); Float (5356099409186194) (-67); Float (-8946588294738036) (-69); Float (-6514637068356440) (-67); Float (5642177286484796) (-66);
Float (-7783355347528932) (-58); Float (-6333383919788564) (-68); Float (-4751680076680249) (-58); Float (7306726528167530) (-66); Float (4533111204353180) (-64);
Float (8828064540827206) (-60); Float (5159583375864678) (-64); Float (5436353416275312) (-69); Float (-6017639607048466) (-65); Float (-7744275463886272) (-75);
Float (8804343899487816) (-69); Float (8514326458240994) (-72); Float (-4923145760846906) (-66); Float (-8677093874907652) (-69); Float (-6504195360050014) (-67);
Float (-6412352514881802) (-66); Float (-5033806673597880) (-67); Float (-6151409778751728) (-67); Float (-5351933352908648) (-67); Float (5229687937096956) (-70);
Float (6718496130468864) (-70); Float (-8014404775112652) (-66); Float (4959379575501738) (-70); Float (8985813333518500) (-70); Float (-4592361288558146) (-66);
Float (-6869337228313238) (-68); Float (-8504272666629748) (-68); Float (-4632094012043528) (-66); Float (5120176469297162) (-64); Float (7491931481726862) (-70);
Float (4664597892143984) (-65); Float (-5504676169999422) (-66); Float (-5906302250149864) (-65); Float (5039794217875846) (-62); Float (-8651389503356226) (-68);
Float (-4755991940104992) (-68); Float (7224874124856132) (-80); Float (7927949150151796) (-70); Float (4915957036224196) (-67); Float (6711257957382827) (-76);
Float (-6981468489520516) (-58); Float (5240175165339878) (-67); Float (-4580407418959671) (-57); Float (7228345427860918) (-68); Float (-7148524868375882) (-59);
Float (4522525424130230) (-68); Float (-6167504387894260) (-69); Float (7148448347687426) (-69); Float (6471411379196640) (-69); Float (-5164569974856450) (-59);
Float (5665233605959760) (-69); Float (-4725548297285758) (-60); Float (4842896654160294) (-66); Float (6700702427896146) (-66); Float (6991501640131260) (-59);
Float (-7771954843941060) (-67); Float (4758040298468340) (-70); Float (6278982452127354) (-67); Float (7061229274471250) (-70); Float (4549401895974004) (-68);
Float (-7592453075607442) (-69); Float (5220111232534644) (-67); Float (6050276358741610) (-66); Float (5358208399393128) (-68); Float (5980315552132654) (-67);
Float (8313718173973734) (-70); Float (-8024077354129404) (-69); Float (-7241101527433884) (-66); Float (-7973878408637910) (-67); Float (7911614283006452) (-64);
Float (-4964135526121794) (-67); Float (8114122237564754) (-70); Float (8733596581103630) (-67); Float (-6148593213581206) (-69); Float (-7166133016860698) (-59);
Float (7752623176985986) (-67); Float (-8345263068614782) (-60); Float (6372082534570908) (-67); Float (6505658716280190) (-68); Float (5869888284410928) (-59);
Float (-4565654365320460) (-67); Float (8881625913249696) (-70); Float (-5358047937132444) (-70); Float (-5899873049902756) (-66); Float (5554317101238210) (-67);
Float (5805406479280324) (-67); Float (-8878488589062692) (-71); Float (-5444336733551528) (-71); Float (6661637198611492) (-60); Float (-5310246989484416) (-64)];
[:: Float (7770034509732456) (-67); Float (-6714259134991262) (-66); Float (-7039915649727068) (-66); Float (-6737587525050226) (-66); Float (7110553626418612) (-67);
Float (6972570851935542) (-67); Float (6812916424624344) (-68); Float (-8820679626360608) (-69); Float (-4981913755342728) (-67); Float (-6219629320171737) (-56);
Float (-5890193529658170) (-68); Float (5525133762425713) (-53); Float (-5264541835845446) (-68); Float (-5980501465364984) (-56); Float (5505759065538134) (-70);
Float (-4934326369756790) (-66); Float (-4713875516442690) (-66); Float (5329192385063130) (-69); Float (-7162329626779086) (-68); Float (5396035674471738) (-67);
Float (-4745193703254348) (-68); Float (-9002978038521351) (-69); Float (-8401929994751118) (-57); Float (-7994151432369816) (-72);
Float (-8310602516399992) (-57); Float (-5078893807720356) (-71); Float (8491917285188660) (-68); Float (5149929214293920) (-70); Float (4508566358182938) (-68);
Float (-4596443877009070) (-69); Float (5654107237259554) (-72); Float (-6459740495989078) (-57); Float (5148611508295194) (-71); Float (8440435012700468) (-66);
Float (5901716635322060) (-68); Float (-6163062938071572) (-66); Float (4707771104593900) (-70); Float (-6909009616235346) (-66); Float (8305057451995560) (-75);
Float (7651021148467424) (-67); Float (-7577491714304674) (-74); Float (4919478090795936) (-67); Float (5646844289492958) (-73); Float (-5390905858706940) (-67);
Float (-4848963888366990) (-65); Float (-7911032330844330) (-67); Float (-5995966268765586) (-66); Float (-5379964136736716) (-67);
Float (-5571230722291592) (-68); Float (8573632013354927) (-76); Float (4788680112957150) (-65); Float (-7268042431738454) (-73); Float (5165429416463090) (-65);
Float (-5503024851289028) (-74); Float (-4833108992524234) (-67); Float (-6181243571313352) (-66); Float (-4521573750749024) (-67);
Float (-8484287923688830) (-67); Float (-5527508475479494) (-70); Float (8700782157397124) (-65); Float (-6574087218748042) (-71); Float (-6063653319457834) (-66);
Float (-6651995192389186) (-66); Float (7830535731060056) (-68); Float (-4775257277924960) (-67); Float (5075421539792518) (-68); Float (4711316234565476) (-69);
Float (6776864208140244) (-68); Float (4907026771118332) (-68); Float (7228791909890760) (-70); Float (6445913290579668) (-68); Float (-4961632314232822) (-57);
Float (5231341961038988) (-68); Float (-4901595121880041) (-57); Float (6901961992470238) (-69); Float (7247008265975592) (-69); Float (6244183126785042) (-68);
Float (6696973488813508) (-68); Float (6342358448061022) (-68); Float (4674330579854374) (-69); Float (-5583521573333364) (-58); Float (5339114131818646) (-70);
Float (5148065040310558) (-66); Float (4918940243822948) (-67); Float (-8360740421267942) (-68); Float (-8744421844575450) (-71); Float (5850684074485842) (-66);
Float (8865753973449140) (-71); Float (6048831808545176) (-66); Float (5152243189249220) (-72); Float (4833331431965090) (-69); Float (-6601832038213452) (-68);
Float (-5198037271396292) (-71); Float (7017383171027632) (-68); Float (-6365191553265352) (-71); Float (7014402628549994) (-65); Float (-8808513529725188) (-73);
Float (-7479850301823564) (-67); Float (-6888610843183832) (-66); Float (7188130870880184) (-69); Float (7997528745819934) (-74); Float (7188792936174142) (-67);
Float (7849829656750924) (-69); Float (4607588495038824) (-67); Float (4700288545940622) (-67); Float (-6138502976632812) (-58); Float (7951975948934998) (-68);
Float (6178327991945894) (-67); Float (5596868531438620) (-67); Float (-4777176560193860) (-68); Float (7434371372552964) (-72); Float (8324099210307214) (-66);
Float (8880996175353942) (-71); Float (-6802639507200596) (-73); Float (7700632626184552) (-68); Float (6053535689283144) (-69); Float (5934844327601120) (-68);
Float (4569365130952212) (-66); Float (8515472747594802) (-69); Float (7555393575321194) (-68)];
[:: Float (6761818635939290) (-64); Float (-5797052359335776) (-67); Float (-8852641375505138) (-66); Float (4814848318371730) (-67); Float (-7397084209839434) (-69);
Float (-5405180690624720) (-70); Float (-4598462908317096) (-67); Float (5940658797775640) (-69); Float (-5740707726923245) (-57); Float (-5269097107466884) (-71);
Float (-5164577388819983) (-56); Float (-5264541835845446) (-68); Float (5565187954832975) (-53); Float (-6403443546865464) (-71); Float (-5294597631012459) (-56);
Float (5139408624196946) (-65); Float (-6343604687438454) (-69); Float (-4945842957762706) (-66); Float (-6909493433797130) (-68); Float (-7290910051037934) (-67);
Float (8990245498783108) (-67); Float (-6524017087750803) (-58); Float (-6269857608330852) (-69); Float (-7291361188453153) (-57); Float (-8024733980313836) (-69);
Float (-6264248309887980) (-57); Float (6379317149597366) (-66); Float (-7339668019492118) (-69); Float (-6764892274106282) (-67); Float (6205552881971066) (-66);
Float (-4740033803361302) (-58); Float (-5628152486404692) (-68); Float (-7902199706426396) (-58); Float (6915406355421932) (-66); Float (5191387462671680) (-64);
Float (7508040741692528) (-60); Float (5997676226155854) (-65); Float (5933662241944990) (-73); Float (6096398151976674) (-68); Float (-4919305794148294) (-73);
Float (-6599296334525906) (-71); Float (4631547820047932) (-69); Float (-4995786537958742) (-67); Float (8323802462264710) (-66); Float (5465464074019962) (-69);
Float (-6368035965178172) (-67); Float (6831546538874086) (-71); Float (-5016979155310220) (-68); Float (-7885125923436494) (-68); Float (4791553495953630) (-67);
Float (8050165711414270) (-71); Float (-6742200375106000) (-66); Float (6676329041612832) (-70); Float (7593236700638540) (-67); Float (6777288811538986) (-70);
Float (7074396040490094) (-73); Float (-6987259742088946) (-67); Float (-5226537245244328) (-66); Float (7084541100560394) (-65); Float (5118091720992316) (-69);
Float (7738344095776424) (-65); Float (-4938887121765312) (-66); Float (-6968904908959158) (-65); Float (5575617568355520) (-62); Float (-5252193421818824) (-67);
Float (5558891975398272) (-70); Float (-5291315787666126) (-69); Float (7550459981341986) (-71); Float (7253653212658842) (-68); Float (-7603478941909480) (-73);
Float (-7117357178723816) (-59); Float (7397402731473100) (-69); Float (-4564667899448193) (-57); Float (7602715372832748) (-69); Float (-6976760105547827) (-58);
Float (-6238137283960350) (-69); Float (-7150391310424694) (-69); Float (4570736944125548) (-68); Float (6092092957826714) (-68); Float (-4900749393939342) (-60);
Float (-7478811020125876) (-70); Float (-5208435561199872) (-59); Float (6886579380091952) (-67); Float (8378559124608072) (-66); Float (6869054345355936) (-59);
Float (-7404165591996524) (-68); Float (8750151135639478) (-75); Float (5876895059080160) (-67); Float (8174731059386016) (-70); Float (8111558641500916) (-68);
Float (-6229622067214860) (-67); Float (8084139075599210) (-68); Float (8270366169317824) (-67); Float (7372933969108190) (-70); Float (-7190641907766458) (-68);
Float (8616650574314756) (-70); Float (4520226082452684) (-67); Float (-8580310569475742) (-66); Float (-6120514105195368) (-66); Float (8695520322020970) (-64);
Float (-5652271494884228) (-66); Float (-5444079934747492) (-72); Float (6047986225540692) (-67); Float (-8227090101337870) (-70); Float (-8782160516540400) (-60);
Float (6273347881783648) (-68); Float (-7184215260203304) (-59); Float (5102502315207828) (-68); Float (4570952138078138) (-67); Float (5820506601586468) (-59);
Float (-6871957856901106) (-66); Float (6001294212047920) (-70); Float (4618518051026728) (-68); Float (-6364570275538458) (-65); Float (5035472696966700) (-70);
Float (6079866561310052) (-67); Float (-7472252493200464) (-67); Float (-5965595057841662) (-70); Float (6364907257612390) (-60); Float (-5990707078409722) (-64)];
[:: Float (-8225603788995090) (-69); Float (5339471171154286) (-67); Float (6479398754298594) (-67); Float (5270787750612502) (-67); Float (5362116311150130) (-68);
Float (-4819640364276894) (-68); Float (7445040262359546) (-68); Float (6321902893660548) (-67); Float (4596841292382702) (-68); Float (-8044372402547140) (-57);
Float (-8073251919313580) (-68); Float (-5980501465364984) (-56); Float (-6403443546865464) (-71); Float (5176687779732701) (-53); Float (6246427490091386) (-66);
Float (8937003921150052) (-67); Float (8016808007817166) (-67); Float (5464756830257848) (-67); Float (-7368103214953260) (-69); Float (8239976928156748) (-69);
Float (-4736918608904584) (-68); Float (-6332267977461824) (-70); Float (-6454257918248084) (-57); Float (-8413755476927614) (-69);
Float (-6016576577145324) (-56); Float (5192670012084428) (-70); Float (7186759475345336) (-66); Float (6279179000968198) (-67); Float (-7708728623352620) (-68);
Float (7703126343169258) (-68); Float (-6171104028007686) (-70); Float (-8164887186239659) (-57); Float (4809922498547964) (-69); Float (5645314345702802) (-66);
Float (-6109548462279678) (-68); Float (-6614469885156604) (-67); Float (-8921455447770530) (-73); Float (6489811452289558) (-66); Float (6400230590381552) (-71);
Float (4930072758630936) (-67); Float (4725903909918302) (-69); Float (4920943493140908) (-66); Float (-7146003249909942) (-68); Float (8244358587486120) (-69);
Float (-6218926294344816) (-66); Float (-7608787455929252) (-68); Float (-6906716664543936) (-67); Float (-5369723358551162) (-70);
Float (-7802356628115568) (-67); Float (8409428801235556) (-71); Float (7940430320558082) (-65); Float (4931943856084812) (-70); Float (8408826351978570) (-66);
Float (6497957264058716) (-71); Float (-5986384232434040) (-67); Float (-7731336434502026) (-66); Float (-6569879779046960) (-69); Float (-4787594744114046) (-66);
Float (4790636643728398) (-70); Float (7701729512141494) (-65); Float (-7917177737250532) (-69); Float (-5537931479900192) (-66); Float (-4528039713448150) (-65);
Float (5608948486961248) (-68); Float (-8646359804042610) (-70); Float (8196935140363412) (-70); Float (6353769989991874) (-69); Float (6833253899180096) (-73);
Float (5568558429276360) (-69); Float (-4611232090250492) (-68); Float (-8168016271278392) (-69); Float (-7446125809782681) (-58); Float (-7330281856356320) (-70);
Float (-7408974441428344) (-57); Float (5953069051818890) (-69); Float (5022779323870994) (-67); Float (8624651566269414) (-68); Float (5211459343518686) (-68);
Float (8877558737413154) (-69); Float (-5446114795806576) (-68); Float (-7576461846235956) (-58); Float (-4694777089856286) (-70); Float (4962651306978852) (-66);
Float (6436746454343570) (-69); Float (-4905886222101402) (-67); Float (-5160813872542004) (-70); Float (8698853087447204) (-67); Float (4832685794255340) (-69);
Float (5314379482750946) (-66); Float (6969993911949228) (-69); Float (-4889041169921284) (-67); Float (-8591140252862498) (-66); Float (-8990382261079038) (-69);
Float (4783764667652594) (-66); Float (6731602761565306) (-71); Float (6818389996239838) (-65); Float (-7729532954757258) (-73); Float (-5914264387717656) (-66);
Float (-8824821157641196) (-66); Float (8017141063794392) (-69); Float (-5585806016434762) (-71); Float (5204481568583686) (-69); Float (5419235129953268) (-68);
Float (8710040933620358) (-69); Float (-6050372984175814) (-68); Float (-8256544344783030) (-58); Float (6255605238832058) (-68); Float (6502212372249816) (-67);
Float (4764976598787306) (-68); Float (-4729858577677528) (-67); Float (8214719014253392) (-73); Float (7192201865179066) (-66); Float (5951865906669018) (-72);
Float (-8673398220219636) (-67); Float (-8734250685776164) (-70); Float (6140130871224778) (-69); Float (8561643336145770) (-69); Float (7612148556233278) (-70);
Float (-7509211447454382) (-69); Float (6830827071840862) (-69)];
[:: Float (5859322074963532) (-67); Float (-8993845616620570) (-70); Float (6774385534166600) (-69); Float (-6704473147650450) (-68); Float (-4823532969732786) (-67);
Float (-5623965782870206) (-68); Float (6616986187023482) (-69); Float (5500499535500674) (-67); Float (-5251093604859892) (-61); Float (-6506508874134832) (-68);
Float (-5979281780884804) (-57); Float (5505759065538134) (-70); Float (-5294597631012459) (-56); Float (6246427490091386) (-66); Float (4870552225477638) (-53);
Float (5493270410595766) (-68); Float (-7382519677289864) (-69); Float (-7078035382585258) (-67); Float (-6829754448441082) (-68); Float (-6455653699688044) (-67);
Float (-6768642578174252) (-65); Float (4863302371450862) (-59); Float (-7555272147481536) (-68); Float (-4960623820436931) (-57); Float (-4554072800659184) (-69);
Float (-7717182909210286) (-56); Float (4782723680663552) (-66); Float (4699025704741158) (-66); Float (7544232880425332) (-68); Float (8888353159471592) (-67);
Float (5137472651330594) (-59); Float (-6120072936689342) (-66); Float (-5112852241738931) (-56); Float (7001791102552704) (-64); Float (7894543353318334) (-63);
Float (-6074546598840937) (-58); Float (-8906552295974222) (-65); Float (-5721787435038098) (-71); Float (-5410994740426976) (-67); Float (7228595859199528) (-73);
Float (-4507874561557902) (-68); Float (-7233420994697426) (-68); Float (8805177403884690) (-67); Float (8953038051171828) (-67); Float (6844560372906226) (-69);
Float (5625001992952130) (-68); Float (4546498306163922) (-67); Float (-5103287454179028) (-67); Float (5622837271028674) (-65); Float (-6568731272846466) (-64);
Float (7805344800701508) (-69); Float (-4750085963363768) (-64); Float (4934533396303020) (-68); Float (-4818222504987456) (-64); Float (-5602756893549810) (-69);
Float (-4736162657441108) (-66); Float (-8943523822896086) (-67); Float (-8004711567369672) (-67); Float (5449658003348516) (-67); Float (6979847030320702) (-67);
Float (-6635157337362654) (-65); Float (-5623076894986874) (-64); Float (-5591392093785808) (-63); Float (5328653815647016) (-60); Float (-5685793864018432) (-67);
Float (-7687529759659262) (-68); Float (-7839297719553376) (-68); Float (-4886781724653124) (-68); Float (-7453139166340790) (-68);
Float (-8501316306544216) (-66); Float (7097238941786932) (-60); Float (-8649096346857646) (-68); Float (-6325249317419674) (-58); Float (-6218590274015346) (-69);
Float (-5361561600093379) (-56); Float (-4913025481280766) (-71); Float (-8863667853103040) (-74); Float (7085659256069902) (-69); Float (-7331287780575768) (-72);
Float (6788083240596194) (-59); Float (-5087537384258694) (-66); Float (-5034447539394098) (-57); Float (7276957975797402) (-65); Float (7230521539860894) (-64);
Float (7222008588876138) (-60); Float (-5308130326969724) (-64); Float (4634691516795876) (-69); Float (-8944965392536304) (-67); Float (4594120085598894) (-68);
Float (-5416842493313478) (-65); Float (-4961628025457676) (-65); Float (-5461254896384634) (-68); Float (-8963988187062346) (-68);
Float (-5035097558295580) (-69); Float (-6413550045763384) (-64); Float (5849430820487946) (-67); Float (-5685968316655256) (-64); Float (-7090924327391388) (-64);
Float (-6346842132939674) (-64); Float (8595446758579658) (-62); Float (-5949925288568792) (-67); Float (-6539028125014166) (-69); Float (7619530624308800) (-71);
Float (5100889128977668) (-69); Float (6724450517798296) (-60); Float (-8019599256302864) (-67); Float (-6068199217883436) (-57); Float (5063727600159926) (-65);
Float (7373767088143980) (-65); Float (7282046750538140) (-60); Float (-6063604493959158) (-64); Float (8149268640586274) (-68); Float (-5715897591821994) (-65);
Float (-4699226001265334) (-63); Float (-6993774850238882) (-65); Float (5514992943297562) (-63); Float (5371428150298900) (-66); Float (4510998981501352) (-65);
Float (-5505720269527004) (-60); Float (5039239453772880) (-65)];
[:: Float (-6200898867992221) (-56); Float (8981632453442792) (-68); Float (-6453781957875627) (-58); Float (8373003668728161) (-74); Float (-6226513750693810) (-60);
Float (-6962135134131252) (-68); Float (5540367025974906) (-59); Float (6715912351010410) (-67); Float (-7337688625967338) (-62); Float (5325866616408232) (-65);
Float (4543899504258904) (-67); Float (-4934326369756790) (-66); Float (5139408624196946) (-65); Float (8937003921150052) (-67); Float (5493270410595766) (-68);
Float (5312383610981258) (-53); Float (-7299732646857924) (-67); Float (-5772173997139473) (-57); Float (-6289616008353124) (-68); Float (-4666707787170517) (-58);
Float (8657284410635464) (-71); Float (-4823231027532354) (-63); Float (-4523404147263964) (-64); Float (6295405323763032) (-66); Float (4998400998006034) (-66);
Float (7838606393738820) (-70); Float (-6829786809088006) (-56); Float (-4861239559247152) (-67); Float (-7719989117206555) (-58); Float (-6853273174205044) (-70);
Float (-6022193408878966) (-64); Float (4908814145600578) (-66); Float (-7611791726713094) (-68); Float (-5036788426248245) (-56); Float (-4672296204669626) (-66);
Float (5126615101417044) (-63); Float (6947770330597236) (-63); Float (8178292272681116) (-65); Float (-8513780042507704) (-66); Float (-5974774794904404) (-71);
Float (8510713564555830) (-68); Float (-8390201963902852) (-69); Float (5077967899542122) (-64); Float (6354809357484412) (-63); Float (5512024365677906) (-69);
Float (-7957319027142326) (-79); Float (-8056920844519642) (-75); Float (5857740917012336) (-65); Float (-4734606852433288) (-72); Float (-5047101316196452) (-63);
Float (-6519772520503786) (-66); Float (-8399716671925740) (-67); Float (-4837505269423850) (-66); Float (6192728723256180) (-66); Float (-5640715798937874) (-62);
Float (-8550352714681340) (-69); Float (6724534015181344) (-65); Float (6724111709070134) (-73); Float (-8598936344895248) (-65); Float (-8986626703970104) (-66);
Float (8090848169022068) (-67); Float (7714928910023468) (-65); Float (5130188971753012) (-67); Float (-8022793097191236) (-74); Float (-6116660707972355) (-58);
Float (-8344492097707412) (-68); Float (4900151044225944) (-60); Float (-5602238753614504) (-69); Float (7334133932663132) (-59); Float (8802082566559082) (-69);
Float (4867873510633696) (-64); Float (-6794731741434876) (-69); Float (8859213716165292) (-66); Float (5503382061126138) (-67); Float (-6737841535592652) (-68);
Float (-5779416130731258) (-57); Float (6750521377692202) (-68); Float (-7162846364801150) (-60); Float (6516159242470318) (-68); Float (-4803343298500440) (-67);
Float (4566567003677544) (-66); Float (-6072511434459730) (-67); Float (-7803757331262123) (-58); Float (-8512538406821996) (-71); Float (5366611455203300) (-65);
Float (5508406011393702) (-65); Float (-6686270260547726) (-67); Float (6323969489002176) (-67); Float (-4792229344762340) (-67); Float (8757378813934690) (-65);
Float (-7255903704089806) (-66); Float (-5776142141013576) (-71); Float (5443954627202614) (-65); Float (7309996869887696) (-73); Float (7659753715267002) (-66);
Float (-4546522728993550) (-66); Float (7049842821461704) (-65); Float (5421207248510476) (-64); Float (6261251630087948) (-68); Float (5128754506979062) (-65);
Float (-7003523523988860) (-60); Float (-5555190889884980) (-66); Float (7236544405812678) (-59); Float (-7339538415279296) (-69); Float (5019659765530512) (-65);
Float (8154158308944998) (-67); Float (-6087616457774320) (-68); Float (-4675286372557638) (-58); Float (5268982163630204) (-68); Float (6945295491677810) (-66);
Float (-5010904402784996) (-62); Float (-5452676893442306) (-65); Float (5426273580496462) (-68); Float (7095350029685482) (-64); Float (4665901721781758) (-68);
Float (6340648164103480) (-64); Float (4561263178404740) (-59); Float (-4933949360835864) (-65); Float (8005283013215810) (-66); Float (-8047207097955598) (-62)];
[:: Float (6168078496417944) (-68); Float (-5623251451369195) (-56); Float (-8731933501901740) (-71); Float (-6403440628201717) (-57); Float (-6585692633325966) (-68);
Float (-7663733075913044) (-58); Float (-6963168559757690) (-69); Float (5644129973356732) (-59); Float (6274354482073450) (-66); Float (-6397379744838954) (-64);
Float (-7332495444540626) (-66); Float (-4713875516442690) (-66); Float (-6343604687438454) (-69); Float (8016808007817166) (-67); Float (-7382519677289864) (-69);
Float (-7299732646857924) (-67); Float (5540879446927712) (-53); Float (-6539666988227010) (-68); Float (-7312030796505015) (-57); Float (-5564313250845604) (-69);
Float (-4791455218211392) (-58); Float (-8246381582667770) (-64); Float (-6353342061100306) (-65); Float (-4956007721065992) (-65); Float (8545225640964280) (-68);
Float (-5554990562314036) (-73); Float (-7281768605080116) (-68); Float (-5084589264651970) (-56); Float (-4760507321865666) (-70);
Float (-6965668474962718) (-58); Float (-6693928572478424) (-64); Float (-6942405595292728) (-66); Float (5103638038749824) (-66); Float (-5861607179364282) (-69);
Float (-6146486944832769) (-57); Float (8307331493409632) (-63); Float (4640021582979700) (-65); Float (-5267007093921550) (-65); Float (7018898000111464) (-70);
Float (-4782327505323148) (-66); Float (4673902422678430) (-71); Float (-8151420872325280) (-69); Float (5528344226197592) (-70); Float (6297766927693402) (-69);
Float (-8273353009288802) (-65); Float (6541344287793640) (-72); Float (-8950998474916990) (-67); Float (5393018160342694) (-70); Float (5869106327603222) (-65);
Float (4521461714096042) (-70); Float (-6711414172701762) (-66); Float (6293441805834562) (-68); Float (-7051680666185224) (-68); Float (-8833830130469528) (-68);
Float (-6332856380205818) (-68); Float (-6859032365283980) (-64); Float (-6487860573746378) (-71); Float (5582390453271506) (-64); Float (7146638693449804) (-66);
Float (-4608378469721946) (-68); Float (-5269484854260294) (-66); Float (-5257030007444392) (-72); Float (4808511173081840) (-63); Float (-6702980855112224) (-64);
Float (8506227746867934) (-72); Float (-6984060160921217) (-58); Float (-6942890755283412) (-71); Float (-5067744823391832) (-59); Float (-4603432615408012) (-69);
Float (7302941061532942) (-59); Float (-8702216507656300) (-67); Float (7592368017150740) (-68); Float (-4530251003132718) (-68); Float (8859369587485714) (-67);
Float (-7842213116485872) (-69); Float (5795000513780144) (-67); Float (-4517677484107858) (-57); Float (6208496391921882) (-68); Float (-5116904982220308) (-60);
Float (-5706952956388124) (-65); Float (5959825722281980) (-68); Float (-8282768204989424) (-71); Float (7353205547438550) (-68); Float (-7470475394218606) (-59);
Float (7048240617467732) (-65); Float (5457420290724658) (-68); Float (-5426623759911634) (-67); Float (5211953832807840) (-68); Float (-6710914700857390) (-67);
Float (6777708614161962) (-70); Float (-4959597122795892) (-71); Float (-6640446844196752) (-66); Float (7353802047180978) (-72); Float (4694283650413878) (-65);
Float (7829997984265596) (-66); Float (7075808007211556) (-66); Float (6541400723885136) (-71); Float (5088550076797754) (-71); Float (5817816291517352) (-64);
Float (-8301751155463328) (-66); Float (-8924564485207482) (-69); Float (-7066161018212062) (-59); Float (-4872022077189294) (-69); Float (5839492857633678) (-59);
Float (-7936066409687462) (-67); Float (5525947840474644) (-66); Float (-6256082335666006) (-68); Float (8430135298877666) (-67); Float (-8760179231927548) (-60);
Float (4920498918093150) (-67); Float (7166559537002938) (-69); Float (-5376681227840236) (-67); Float (-5660468719387010) (-69); Float (7781311160436316) (-70);
Float (7021702775033020) (-65); Float (7580661979011444) (-71); Float (-5064302667926374) (-67); Float (6329492597812808) (-60); Float (-5847624965798880) (-68);
Float (-7699504539762746) (-66)];
[:: Float (-7525546026966710) (-59); Float (5841351409440562) (-66); Float (-5965936426984358) (-57); Float (-8337804175553272) (-72); Float (-5684143552622311) (-57);
Float (-7211870178830320) (-68); Float (-5252631940808858) (-57); Float (-5269439155581764) (-67); Float (6261723413972756) (-65); Float (-5826615154634936) (-68);
Float (-5027650107660676) (-65); Float (5329192385063130) (-69); Float (-4945842957762706) (-66); Float (5464756830257848) (-67); Float (-7078035382585258) (-67);
Float (-5772173997139473) (-57); Float (-6539666988227010) (-68); Float (5804916060227694) (-53); Float (-4849705126383376) (-70); Float (-7289263621168223) (-57);
Float (-5153367488458208) (-71); Float (5509973368201316) (-67); Float (-8475564968039272) (-68); Float (-6801768954999794) (-66); Float (-8401055701954794) (-68);
Float (-5164674576207116) (-66); Float (-5638881623150269) (-57); Float (-8660902053071162) (-71); Float (-7245681632644172) (-57); Float (6622534341495634) (-69);
Float (-5411039447505790) (-69); Float (-8045048131762696) (-69); Float (-8620524000021414) (-66); Float (-5400490431688721) (-57);
Float (-6791521189896450) (-68); Float (6103714478779522) (-64); Float (7137107558126562) (-63); Float (6131260710783508) (-65); Float (-7034151717849698) (-66);
Float (-4878232027237542) (-69); Float (-6521157477036892) (-66); Float (-6931726971771600) (-68); Float (7622810714621012) (-67); Float (8744408370439748) (-65);
Float (5753425217765750) (-70); Float (-7285714264290242) (-66); Float (-5850287524984406) (-71); Float (-4903895820262008) (-66); Float (6667155396311568) (-71);
Float (-6876475947872714) (-67); Float (-6444653734243328) (-70); Float (-6122130562825690) (-67); Float (-5334716264997266) (-70); Float (7705260431456778) (-69);
Float (6596099141703660) (-65); Float (-4634628701593602) (-69); Float (-7365810532262822) (-65); Float (-5629788485242732) (-70); Float (-8096482422939594) (-67);
Float (-7125848187615540) (-69); Float (5472319444539206) (-67); Float (5817961296895254) (-63); Float (7377572611049670) (-69); Float (-8293680093939452) (-66);
Float (4752628767707450) (-60); Float (6840636538977878) (-69); Float (-6876652564923614) (-59); Float (-6203484475703982) (-71); Float (-5383646163773828) (-59);
Float (-5332438335800648) (-71); Float (9005642360696362) (-70); Float (5222892596433842) (-69); Float (-5669003202572276) (-68); Float (6253051152008252) (-69);
Float (6482460306346168) (-71); Float (-6905606377662144) (-59); Float (5565168277145864) (-68); Float (-6009444159142277) (-58); Float (6089762823908008) (-68);
Float (-7633827339574308) (-68); Float (5642547212564994) (-68); Float (-6688172749940854) (-67); Float (-5744655708722352) (-59); Float (7543509526363160) (-70);
Float (7170146732415094) (-66); Float (5397560710361550) (-64); Float (5839318852260264) (-69); Float (-5112957160151446) (-70); Float (-5351377759735026) (-68);
Float (5179968410943100) (-66); Float (5416508061443800) (-66); Float (-5292243591431372) (-70); Float (-4858600570700786) (-66); Float (-7444845640867296) (-72);
Float (-8593839732429028) (-73); Float (-6677095620565326) (-70); Float (4952229213053416) (-65); Float (6043627964652090) (-64); Float (6814022110461698) (-70);
Float (-4818702651393056) (-67); Float (6564508641542886) (-60); Float (-5917925110754542) (-69); Float (-5236971483989848) (-60); Float (-4936224742086460) (-72);
Float (-4576528217307380) (-67); Float (7887690416546474) (-68); Float (-5074879994582094) (-69); Float (-5665813625154822) (-60); Float (6421491675760384) (-68);
Float (6095235373491582) (-67); Float (-7020141239253110) (-64); Float (-5672965348989016) (-67); Float (7515741929852076) (-68); Float (5669574436297572) (-65);
Float (6089523677922606) (-70); Float (-5463205452936410) (-66); Float (5488917394296658) (-59); Float (-6743474831375102) (-68); Float (6577398979851274) (-68);
Float (-4737732444031508) (-63)];
[:: Float (8124952063304998) (-66); Float (-5076909760281574) (-57); Float (4969538448428484) (-68); Float (-5413561410967047) (-57); Float (-7110892608320346) (-68);
Float (-5573389005430051) (-57); Float (-7363174660506548) (-68); Float (-7637937074795407) (-58); Float (-5258045109487456) (-66);
Float (-5536290123160242) (-67); Float (-7533104828150762) (-68); Float (-7162329626779086) (-68); Float (-6909493433797130) (-68);
Float (-7368103214953260) (-69); Float (-6829754448441082) (-68); Float (-6289616008353124) (-68); Float (-7312030796505015) (-57);
Float (-4849705126383376) (-70); Float (5817952206007803) (-53); Float (-6853833565216244) (-70); Float (-5559465942935245) (-57); Float (-5723811083439252) (-65);
Float (-5156805591613888) (-70); Float (-5601688549636702) (-65); Float (-5875949898078316) (-68); Float (-7888559608953014) (-67);
Float (-4932868087928504) (-69); Float (-7226101887177226) (-57); Float (6363758500686286) (-69); Float (-5429313220690504) (-57); Float (-7116477023156154) (-65);
Float (-5999373804703450) (-67); Float (-5445359138815784) (-67); Float (-6625587797357910) (-68); Float (-5205075678689842) (-57); Float (8725278769761334) (-63);
Float (4880283247473158) (-64); Float (6059378870458552) (-67); Float (6160480504608424) (-69); Float (-5757575701834150) (-68); Float (4873865658195166) (-71);
Float (4622529414688306) (-67); Float (-7925806045229342) (-72); Float (5679616730196988) (-70); Float (-4683545755538486) (-67); Float (-6148210973880142) (-71);
Float (-8229638392077984) (-67); Float (8225859724183178) (-71); Float (5379681747722134) (-66); Float (5406487512136356) (-67); Float (-7919948187508392) (-69);
Float (6285000848687318) (-67); Float (-8187096317367130) (-68); Float (-8842873224550738) (-70); Float (-8721286768732390) (-70); Float (-6750179187722528) (-65);
Float (-7196364685203474) (-70); Float (5944600740260328) (-65); Float (8552985739293184) (-67); Float (-5544407766976892) (-68); Float (-7185423433384862) (-68);
Float (5986358564941258) (-69); Float (4992311033527214) (-63); Float (-6727039645147942) (-64); Float (5067895370123002) (-70); Float (-5110306956451842) (-59);
Float (-7249992647815410) (-71); Float (-6250994059520682) (-59); Float (-4757377873235972) (-71); Float (4560626077911622) (-60); Float (-5630318460138424) (-67);
Float (4546431862341452) (-68); Float (-6181151311821434) (-68); Float (7886487647859322) (-68); Float (-6209271416046904) (-69); Float (8185127427812320) (-69);
Float (-6070069405542140) (-58); Float (6497153788813762) (-68); Float (-6274166381274260) (-59); Float (-8145698572678984) (-66); Float (5016898321902854) (-69);
Float (-5468484302301082) (-67); Float (8148717196216112) (-70); Float (-5503314114684778) (-59); Float (7127480392692100) (-65); Float (7287818119338580) (-69);
Float (-4805434552934016) (-68); Float (6530000028202484) (-70); Float (8148432925547852) (-70); Float (8358574015375858) (-69); Float (-8566710699560932) (-70);
Float (-6084708405182522) (-67); Float (-6910539983428140) (-71); Float (5315946535280892) (-66); Float (7486984389007868) (-67); Float (5569531569399398) (-67);
Float (7436909572987318) (-68); Float (5233702529972538) (-70); Float (5581395597915796) (-64); Float (-4699587148327770) (-65); Float (-8931808977487326) (-68);
Float (-4924233713656504) (-60); Float (7805102205211908) (-73); Float (7944810034480166) (-60); Float (-7792658113357860) (-67); Float (8646398984410700) (-68);
Float (-4932093331497538) (-67); Float (5871444928274444) (-68); Float (-5108831097784916) (-60); Float (6171448533173262) (-69); Float (-7836046073223720) (-68);
Float (-8765581152537664) (-66); Float (7050568687082542) (-70); Float (6708354477119794) (-71); Float (5542148498580738) (-65); Float (-6912925823609146) (-68);
Float (-6269921537679766) (-67); Float (6183345329168730) (-59); Float (-7337391561347176) (-67); Float (-6554904070148360) (-66)];
[:: Float (7385576474022992) (-59); Float (5966814913758664) (-68); Float (-7800743155069426) (-58); Float (-8907506483915278) (-69); Float (-6334761126305758) (-57);
Float (-7990938957418002) (-73); Float (-5407950359588838) (-56); Float (8448030144303976) (-68); Float (4538840296106624) (-65); Float (5367799580459982) (-66);
Float (-6651295434055058) (-67); Float (5396035674471738) (-67); Float (-7290910051037934) (-67); Float (8239976928156748) (-69); Float (-6455653699688044) (-67);
Float (-4666707787170517) (-58); Float (-5564313250845604) (-69); Float (-7289263621168223) (-57); Float (-6853833565216244) (-70); Float (5569553415313455) (-53);
Float (4513065953201464) (-69); Float (5565181524095286) (-66); Float (5003274767351636) (-67); Float (-4983776506045060) (-66); Float (-5917262842988882) (-66);
Float (-5353518030251356) (-67); Float (-7077418450791013) (-58); Float (-6979410822082565) (-76); Float (-5041322520075178) (-56); Float (7216714039529422) (-68);
Float (8059114308382960) (-68); Float (-6916850987819424) (-66); Float (-6424097605833904) (-65); Float (-6304953105947766) (-57); Float (6665932810800394) (-70);
Float (6360234337778750) (-64); Float (4987053687966030) (-65); Float (5261608888325822) (-68); Float (-4961979985132016) (-71); Float (6056596390459678) (-69);
Float (-7854223349148686) (-69); Float (6857775030522204) (-69); Float (7038613440172098) (-69); Float (7414433756659008) (-65); Float (5928927117525304) (-70);
Float (-7434226735055752) (-67); Float (5582946445048048) (-72); Float (-8666562162250464) (-66); Float (5237383134815816) (-70); Float (5625527569915206) (-67);
Float (-5577142615281268) (-69); Float (-4767665006635710) (-68); Float (4870344516829772) (-67); Float (4721119223800138) (-69); Float (6598135048189820) (-64);
Float (-7505224868386500) (-72); Float (-5618785259628702) (-64); Float (-5410249574089738) (-68); Float (-6955036672648618) (-68); Float (8512390604356392) (-68);
Float (6178642682556840) (-68); Float (5060739845540836) (-63); Float (-5792608529770684) (-73); Float (-7643758702839290) (-66); Float (7253917797881282) (-59);
Float (-4789623254835610) (-68); Float (-5440426270698490) (-59); Float (-4629889385731206) (-68); Float (-7105849384968132) (-58);
Float (-6775676176930204) (-69); Float (5889759435199092) (-70); Float (4945016197830692) (-67); Float (-6183529620201784) (-69); Float (8653997326012930) (-71);
Float (-8503021357982338) (-70); Float (-5562865645767600) (-60); Float (7851978134753872) (-73); Float (-8997108835938971) (-58); Float (8340326840845186) (-69);
Float (-6560291625552584) (-70); Float (8028680464716118) (-70); Float (-5894334025603786) (-66); Float (-7776075744357968) (-59); Float (-8177194833683188) (-74);
Float (4765378536795880) (-66); Float (4870354372882898) (-67); Float (-4523350839415314) (-67); Float (-5613029944778934) (-68); Float (-4805131614358494) (-68);
Float (7855078848972134) (-67); Float (4690639095379658) (-65); Float (6956881566106336) (-72); Float (-7340383628110036) (-66); Float (-5249596306875628) (-70);
Float (-6961441059926864) (-67); Float (-5121259231979634) (-69); Float (4592107886226974) (-65); Float (6252355665598048) (-64); Float (5904542367247774) (-71);
Float (-6482292106541626) (-66); Float (5511863212912046) (-59); Float (-8333737697044242) (-68); Float (-7465378132982896) (-59); Float (-5824267560103656) (-69);
Float (-5686611600370568) (-69); Float (8198215480663366) (-68); Float (-5439438930944100) (-67); Float (-4721163939279182) (-59); Float (4794773783338296) (-69);
Float (4874555005251280) (-67); Float (-7212954247036154) (-65); Float (-8903957594141446) (-67); Float (-5914373695177320) (-70); Float (6259692192576814) (-65);
Float (5761329521507460) (-71); Float (-8740768459353812) (-66); Float (5243379752901666) (-60); Float (-5354534765447440) (-67); Float (6476473896936372) (-70);
Float (-7434944816762230) (-64)];
[:: Float (8415716040728722) (-68); Float (5482988025660548) (-59); Float (-5497297377863750) (-70); Float (-6040907908422286) (-60); Float (6067328222265139) (-78);
Float (-6170197703171427) (-58); Float (4510636220375654) (-70); Float (-6473770412994561) (-56); Float (-8273780106829178) (-67); Float (4661516752198580) (-68);
Float (7142404684209816) (-67); Float (-4745193703254348) (-68); Float (8990245498783108) (-67); Float (-4736918608904584) (-68); Float (-6768642578174252) (-65);
Float (8657284410635464) (-71); Float (-4791455218211392) (-58); Float (-5153367488458208) (-71); Float (-5559465942935245) (-57); Float (4513065953201464) (-69);
Float (5412698951440259) (-53); Float (-4821392019289956) (-66); Float (5573019792401672) (-67); Float (-6116390240083806) (-67); Float (6794208592738136) (-67);
Float (-5173810539937762) (-65); Float (8505157675076620) (-71); Float (-7934945023593460) (-58); Float (6046782705181200) (-68); Float (-6392767116923486) (-56);
Float (-5008404261873996) (-66); Float (-8201645005828042) (-69); Float (-4717150323485104) (-63); Float (-4980396672100326) (-67);
Float (-5093207186420958) (-56); Float (4968181091031796) (-62); Float (5592902370033876) (-66); Float (6021862631323162) (-69); Float (7901906917052072) (-73);
Float (5035945273500906) (-68); Float (-5826236347694418) (-69); Float (7564068245120682) (-68); Float (5116865259146508) (-65); Float (-6811100533147752) (-72);
Float (5796023659807468) (-65); Float (-6524204287221142) (-73); Float (5885927979149980) (-66); Float (6498563125821390) (-70); Float (5619216974327160) (-66);
Float (4633990069829896) (-67); Float (-4967519630227214) (-67); Float (7307467934593822) (-70); Float (-5645636883792216) (-67); Float (5784277266993158) (-66);
Float (-5783849673939238) (-74); Float (7553653166180482) (-65); Float (-7072143131083602) (-69); Float (-5013980124347000) (-65); Float (7931752323548560) (-70);
Float (-6369167024153530) (-66); Float (5820532753411146) (-65); Float (8986471326869902) (-68); Float (-6460789365909640) (-66); Float (-7189448368812672) (-64);
Float (-6654743426445296) (-71); Float (7277252848278054) (-59); Float (-4875532780513630) (-69); Float (8892517572389722) (-61); Float (-7157280961289400) (-69);
Float (-6167625945293886) (-58); Float (-6381403634027078) (-67); Float (7483600855503520) (-68); Float (8596932853794252) (-68); Float (7113519181460908) (-68);
Float (-5565980484924452) (-71); Float (7934430310677172) (-71); Float (-7695979884085984) (-60); Float (5490609312866230) (-69); Float (-5612918571609885) (-57);
Float (-8439837816843550) (-67); Float (6113733539553986) (-68); Float (-7848757411510810) (-66); Float (-6463289428959726) (-68); Float (-8032714178794581) (-58);
Float (7509816003439490) (-65); Float (8341832607593356) (-68); Float (-8265877792483838) (-66); Float (-8939378034506024) (-70); Float (-7443755520101220) (-66);
Float (6434827631533052) (-68); Float (-7688186773021228) (-72); Float (4811145351070510) (-65); Float (-5948066860746596) (-71); Float (4877574937468792) (-66);
Float (7316156770163260) (-68); Float (-7369308618738116) (-66); Float (4606510967616938) (-66); Float (6368062333942468) (-68); Float (6234091854213962) (-64);
Float (-6380472341429870) (-65); Float (-5595064646846408) (-67); Float (7088327329908352) (-59); Float (-6807306112621840) (-68); Float (-6723868637853012) (-60);
Float (-6552033888319200) (-67); Float (6789011611116898) (-68); Float (-8179259225296674) (-71); Float (-7375899974151000) (-68); Float (-4945387917438212) (-58);
Float (5825202511802314) (-66); Float (-5181958395738546) (-67); Float (-6952220098111144) (-64); Float (-6735320781232516) (-68); Float (4641292828570866) (-68);
Float (6076874626287894) (-64); Float (-7685427182894890) (-66); Float (-4507583971161588) (-65); Float (4610796510554696) (-59); Float (8627057105739372) (-70);
Float (-6121589073406854) (-64)];
[:: Float (-5016464733358788) (-62); Float (4902202853010298) (-65); Float (4562424647501056) (-69); Float (-6807744245674320) (-66); Float (8082346560782992) (-66);
Float (-6323356531901862) (-68); Float (7495079039177552) (-66); Float (-8694275869798634) (-66); Float (-8356186910907254) (-56); Float (-7861368050991258) (-68);
Float (-6351359581716159) (-57); Float (-9002978038521351) (-69); Float (-6524017087750803) (-58); Float (-6332267977461824) (-70); Float (4863302371450862) (-59);
Float (-4823231027532354) (-63); Float (-8246381582667770) (-64); Float (5509973368201316) (-67); Float (-5723811083439252) (-65); Float (5565181524095286) (-66);
Float (-4821392019289956) (-66); Float (5344556410134380) (-53); Float (-7718542664463814) (-68); Float (-5152738517080588) (-57); Float (-8451373819564900) (-70);
Float (6442152538512754) (-61); Float (-7524931951750048) (-64); Float (-5265554657427862) (-64); Float (6600900413909510) (-68); Float (6321753037080724) (-66);
Float (-6077784589942398) (-56); Float (-8406415586105070) (-67); Float (-5422548148153628) (-60); Float (6298021194776582) (-64); Float (5906410443195502) (-62);
Float (-8819011515329571) (-57); Float (5065361514563710) (-63); Float (8939925483009576) (-69); Float (-7417179680505660) (-67); Float (-8817923121704668) (-71);
Float (8930691265915440) (-69); Float (-5059645025349328) (-73); Float (-4573417606689154) (-64); Float (-8189198324256152) (-64); Float (5231554580005736) (-66);
Float (-6018313137417488) (-67); Float (5625522902558330) (-66); Float (8232517837930008) (-69); Float (7306262882468654) (-67); Float (-5049921916158168) (-61);
Float (-4698183860183236) (-68); Float (-4648989233700764) (-63); Float (7801273861654962) (-73); Float (-5826103415167762) (-64); Float (-8664287904091322) (-65);
Float (8800876350233954) (-67); Float (-7830180407460166) (-72); Float (-5496045945906740) (-66); Float (-6646370913867182) (-62); Float (4709757044666014) (-67);
Float (-6664765167216606) (-69); Float (-6760991931632580) (-66); Float (-6701330520704626) (-63); Float (6164872271074632) (-60); Float (4947725074000696) (-64);
Float (-8927914958460312) (-67); Float (5129708327438238) (-66); Float (-5726266954715396) (-68); Float (8586048668452250) (-71); Float (-7528046155328076) (-67);
Float (-6295736924772694) (-57); Float (7373775602959424) (-69); Float (-6129754744131084) (-59); Float (7270891163568290) (-71); Float (6176764289790430) (-59);
Float (-6387721741662940) (-66); Float (-5034745041988140) (-65); Float (7593153839230516) (-69); Float (-5080814595697422) (-68); Float (-5122465095214842) (-57);
Float (-8526484956783848) (-69); Float (8840191054033484) (-60); Float (6321950034896920) (-65); Float (7791465964063192) (-64); Float (-8929012983409230) (-60);
Float (-8999127906778310) (-64); Float (-7983994255440516) (-70); Float (-6441128560839348) (-66); Float (-6843592279849440) (-73);
Float (-5191022375644774) (-64); Float (-7258443768127184) (-67); Float (6768406251595476) (-66); Float (-7677784073410250) (-73); Float (4690072159621604) (-67);
Float (-8871056915599000) (-63); Float (5936259961536632) (-68); Float (-6065888803552098) (-64); Float (-6751208221306664) (-67); Float (-5484812145644150) (-64);
Float (8775276022719212) (-62); Float (7099624495812670) (-66); Float (-5822601642037528) (-67); Float (5257262338438082) (-71); Float (-8302915524598204) (-68);
Float (-6363486346297831) (-58); Float (-5443845385934570) (-71); Float (6184365278316760) (-59); Float (5965577004336712) (-65); Float (5829987202842188) (-65);
Float (6340213442940412) (-62); Float (-6163000389564404) (-64); Float (8715564871615408) (-69); Float (-5584741380255272) (-64); Float (6487943636993256) (-66);
Float (-8263509835800162) (-66); Float (6175389861482996) (-63); Float (8509893788374460) (-65); Float (6285356194663454) (-66); Float (8832032012811514) (-60);
Float (5958207181661450) (-63)];
[:: Float (7218299996035104) (-65); Float (-5417501363479964) (-64); Float (-4967827497505478) (-66); Float (-6750883082729794) (-67); Float (7539268053103636) (-68);
Float (6841662697752814) (-67); Float (5070512766450672) (-66); Float (5545537714579172) (-66); Float (-8621930241717450) (-67); Float (-6249789970496087) (-56);
Float (-8299135985661012) (-68); Float (-8401929994751118) (-57); Float (-6269857608330852) (-69); Float (-6454257918248084) (-57);
Float (-7555272147481536) (-68); Float (-4523404147263964) (-64); Float (-6353342061100306) (-65); Float (-8475564968039272) (-68);
Float (-5156805591613888) (-70); Float (5003274767351636) (-67); Float (5573019792401672) (-67); Float (-7718542664463814) (-68); Float (5532983378252840) (-53);
Float (8308287873492050) (-71); Float (-8228302825686263) (-57); Float (-6848064463218590) (-71); Float (-8107555171425058) (-65); Float (-5565900157515108) (-65);
Float (-8978569553591580) (-67); Float (-7395203878991674) (-68); Float (7375074873625464) (-67); Float (-5888997139312391) (-56); Float (5755992457152332) (-68);
Float (-8825142843578210) (-64); Float (-6032445576290818) (-65); Float (-6783810305457060) (-69); Float (6698100811589640) (-69); Float (-6331693876681482) (-66);
Float (6766310107815766) (-72); Float (6202647877995202) (-67); Float (-5448604298398702) (-74); Float (7616616386208106) (-66); Float (7534616949490794) (-70);
Float (-4804436200729854) (-66); Float (-5152501240933614) (-65); Float (-6653387131395416) (-69); Float (-5152530092619654) (-66);
Float (-4871495466033312) (-68); Float (-5886187809817934) (-66); Float (-5879583603509500) (-68); Float (-8266707049694932) (-64);
Float (-5541284693220272) (-69); Float (-6712677844566482) (-65); Float (-8381877278323334) (-73); Float (4546613969452438) (-66); Float (-7844760786654972) (-68);
Float (5123084256554802) (-67); Float (-5846730192397622) (-67); Float (-5010265139343204) (-67); Float (-5645123503906790) (-63); Float (-6928505277683504) (-69);
Float (8318949940137918) (-65); Float (5284187809502706) (-67); Float (6214460111365988) (-69); Float (-5689760861699964) (-68); Float (6491510550750600) (-68);
Float (-9002183957508968) (-69); Float (7610454681331624) (-68); Float (5681525585830582) (-69); Float (7525494809924144) (-68); Float (4743294120356556) (-68);
Float (-4953140010223989) (-57); Float (8742502839668928) (-70); Float (-5542718922806528) (-58); Float (-7513010480662284) (-69); Float (-8159717422045772) (-68);
Float (-7643007886834812) (-68); Float (6854791607349024) (-69); Float (7843970824928552) (-69); Float (5443257395170322) (-67); Float (-4842330438934814) (-57);
Float (8812910766822336) (-70); Float (-4850226305026428) (-66); Float (-7415871755867554) (-68); Float (7110636753768360) (-69); Float (-6028312265132308) (-70);
Float (-5770921790262132) (-68); Float (-5305577815642414) (-70); Float (7869533298806588) (-67); Float (-4876571862158500) (-73); Float (8304947344725204) (-68);
Float (7197933749595986) (-68); Float (-6520517973762352) (-74); Float (-4808173004862364) (-66); Float (-5229767852996000) (-68); Float (-8327719012436900) (-65);
Float (-6069136265785058) (-70); Float (6446237972573276) (-66); Float (5233649742034990) (-66); Float (-6822269870976846) (-70); Float (-5959977113531822) (-70);
Float (6472541034752972) (-68); Float (7550503517191018) (-73); Float (7718016250364972) (-70); Float (6642813646105478) (-67); Float (-6116414269045103) (-58);
Float (-8236433081201878) (-72); Float (7286633175640462) (-68); Float (4593269510794502) (-70); Float (6863267603066526) (-68); Float (-6028090956617086) (-69);
Float (8162871088083942) (-68); Float (-8667848509680238) (-71); Float (5477502568430298) (-67); Float (6170383284877722) (-66); Float (-6446372877310406) (-71);
Float (7460328220862008) (-68); Float (7743893589123382) (-69); Float (8056422533711380) (-68); Float (5663190030534126) (-69)];
[:: Float (4614147120171508) (-64); Float (-7736561015029282) (-68); Float (-8697666144377674) (-66); Float (-6688601575193836) (-69); Float (-4623042690770858) (-66);
Float (-5840121708142740) (-68); Float (-4976468018890970) (-67); Float (-7533045181308908) (-68); Float (-4737556907892230) (-57);
Float (-6710602064748386) (-70); Float (-7346515501684700) (-57); Float (-7994151432369816) (-72); Float (-7291361188453153) (-57);
Float (-8413755476927614) (-69); Float (-4960623820436931) (-57); Float (6295405323763032) (-66); Float (-4956007721065992) (-65); Float (-6801768954999794) (-66);
Float (-5601688549636702) (-65); Float (-4983776506045060) (-66); Float (-6116390240083806) (-67); Float (-5152738517080588) (-57); Float (8308287873492050) (-71);
Float (5828140105051828) (-53); Float (6771816150966512) (-70); Float (-5208840265361875) (-57); Float (6538657891932544) (-69); Float (-6624204997444628) (-65);
Float (-4613952736334590) (-65); Float (-4996905115580108) (-68); Float (-5451098277534242) (-57); Float (-8126376353006346) (-68);
Float (-5381480416748899) (-57); Float (8577450486506756) (-65); Float (6842209942437550) (-63); Float (-5196947013184138) (-57); Float (7783477492767140) (-66);
Float (7745492766864694) (-71); Float (-5450511943322946) (-66); Float (-4641437005808080) (-70); Float (-4677220079903628) (-66); Float (4892883826109920) (-71);
Float (-5998042607452102) (-65); Float (8526030175719126) (-66); Float (6338675767107530) (-66); Float (4627759769234650) (-69); Float (5848048330131592) (-66);
Float (-7495653372280410) (-69); Float (5845571821429506) (-69); Float (-8119569378132930) (-64); Float (-4558161489691600) (-69); Float (-5545763629895284) (-63);
Float (-6529780361147962) (-70); Float (-8270039693335402) (-64); Float (8318458770579934) (-68); Float (5965604035876372) (-66); Float (8983312406510939) (-69);
Float (-8323086479786738) (-68); Float (-4876828242810952) (-64); Float (4507053698977880) (-68); Float (-6825751597919566) (-64); Float (-4754848687472270) (-65);
Float (-7441942419603570) (-64); Float (4661425482188002) (-60); Float (-8016797509149910) (-71); Float (-8998109973604070) (-69); Float (-4811557862448700) (-67);
Float (-6904094627500910) (-68); Float (7309456628759564) (-70); Float (-6334386590024484) (-68); Float (-4895621438026548) (-59); Float (6026458820350200) (-68);
Float (-6108687982902803) (-58); Float (8329444158003092) (-69); Float (-4991467740181864) (-59); Float (-7366372591908114) (-68); Float (-6241306133483574) (-66);
Float (-5483947535023276) (-67); Float (-7683431369683120) (-68); Float (-5776457278562770) (-59); Float (6880085352199852) (-70); Float (-5646767696046858) (-59);
Float (8906419160433754) (-66); Float (4782228982768780) (-64); Float (8028904894645058) (-62); Float (-6256219251526292) (-65); Float (-7999130084026120) (-70);
Float (-4620022612191104) (-65); Float (-7963097745616538) (-71); Float (-6380052262254342) (-65); Float (7456112738684070) (-68); Float (5913948509534610) (-66);
Float (5649894911537808) (-66); Float (4719571753150634) (-67); Float (-7454030292162108) (-64); Float (8268493443316848) (-70); Float (-7793498220882910) (-64);
Float (-6621566022929948) (-66); Float (-5867284937367546) (-65); Float (6680427483097786) (-62); Float (-7803313308699220) (-67); Float (-6739934308723882) (-68);
Float (-8443772531447528) (-70); Float (-8386436872737108) (-68); Float (-4526057407021890) (-60); Float (5620118491462486) (-68); Float (-8479663010077004) (-61);
Float (5870316102383970) (-66); Float (6299399191438550) (-66); Float (7886086148776094) (-60); Float (-8443823879442734) (-65); Float (5015350316073992) (-70);
Float (-8617374745568124) (-65); Float (-6853189607435436) (-65); Float (-5780095731063214) (-67); Float (6745023956276172) (-64); Float (8775426175292176) (-67);
Float (5473397067535314) (-67); Float (6502062220232764) (-59); Float (7416932055753420) (-65)];
[:: Float (5695378332474496) (-66); Float (6748970516045430) (-68); Float (8853855086560982) (-68); Float (-4841731647039142) (-68); Float (4881189617757802) (-67);
Float (-8447470198515426) (-69); Float (5401824673450990) (-67); Float (6049498014538822) (-67); Float (-4797707280238558) (-69); Float (-6424329239859995) (-57);
Float (-7757952953805074) (-69); Float (-8310602516399992) (-57); Float (-8024733980313836) (-69); Float (-6016576577145324) (-56);
Float (-4554072800659184) (-69); Float (4998400998006034) (-66); Float (8545225640964280) (-68); Float (-8401055701954794) (-68); Float (-5875949898078316) (-68);
Float (-5917262842988882) (-66); Float (6794208592738136) (-67); Float (-8451373819564900) (-70); Float (-8228302825686263) (-57); Float (6771816150966512) (-70);
Float (5540691605203466) (-53); Float (6259666753486480) (-68); Float (-8276310314345248) (-70); Float (-5976504203737354) (-67); Float (-8622403896816730) (-65);
Float (-8017336027654656) (-66); Float (6158176169442212) (-68); Float (-5908799612293319) (-56); Float (4899225288137370) (-66); Float (-7421151023246694) (-64);
Float (-4789198293410454) (-65); Float (6410929074710344) (-69); Float (4593723833536502) (-69); Float (4589416042925684) (-65); Float (5266925123237944) (-72);
Float (7960232885466546) (-67); Float (5179492095114078) (-71); Float (7435846347208474) (-70); Float (6536784269508382) (-69); Float (-5655485578259984) (-71);
Float (-8853659904621742) (-67); Float (7694855361641020) (-69); Float (-5015157132742432) (-66); Float (5518151428329816) (-67); Float (-4964417757804718) (-66);
Float (-8779790887233500) (-73); Float (-6256950417165122) (-65); Float (-8579925733011500) (-70); Float (-6924874252107352) (-64);
Float (-5010371385180802) (-68); Float (4543152570237682) (-68); Float (-6368647298762172) (-67); Float (8146282967267972) (-66); Float (-5236308235810298) (-67);
Float (-6305341161380276) (-69); Float (-5688364615081742) (-63); Float (-4918133736261290) (-67); Float (7336156741652994) (-65); Float (8524221189334668) (-67);
Float (7649516015547344) (-70); Float (7910215143151048) (-69); Float (5622164099390152) (-70); Float (-6793882197596636) (-70); Float (6242140341033762) (-71);
Float (-5685081441188396) (-70); Float (7563168201841974) (-68); Float (-8546323873854358) (-69); Float (-5591836633075853) (-58); Float (-6268804975480838) (-70);
Float (-4947978831230413) (-57); Float (-5394508764881690) (-71); Float (4719369154407236) (-67); Float (-4556595037206040) (-69); Float (-7208896616523654) (-67);
Float (-8128263656388106) (-68); Float (8443211596948954) (-72); Float (-4900147865901776) (-57); Float (5619408220086634) (-68); Float (-8021720486775662) (-67);
Float (-4619068368162152) (-66); Float (4717911815826252) (-69); Float (-6962726805276786) (-70); Float (5507280324088572) (-67); Float (-5365718482134692) (-71);
Float (-6931715830124358) (-68); Float (-7794646544390864) (-73); Float (-5509715071336308) (-67); Float (-7861534329994672) (-66); Float (6778461120790836) (-68);
Float (-4830354384734000) (-69); Float (-6001232313492346) (-70); Float (-8329808496069442) (-65); Float (-7978676574429538) (-69); Float (6047803683916158) (-67);
Float (7675417237039868) (-68); Float (-5921111724915000) (-70); Float (7696444545479458) (-70); Float (-5094215215110932) (-68); Float (-8878738700727386) (-69);
Float (-7064816574438866) (-69); Float (-5200186219820594) (-68); Float (-6275357105738521) (-58); Float (4878432485142570) (-69); Float (8510093232078484) (-70);
Float (-7110135307048736) (-68); Float (5151918033911958) (-70); Float (-4697810766091560) (-69); Float (-8560654115185832) (-69); Float (-5510017591024400) (-69);
Float (-4694574660532424) (-67); Float (-6332984512463742) (-68); Float (-4642630662575998) (-70); Float (-8954047944019896) (-74);
Float (-7319028578266122) (-67); Float (-5516152975037680) (-68); Float (-7188070786856664) (-69)];
[:: Float (4531237882179992) (-68); Float (6293916480516152) (-68); Float (-7221171899427402) (-67); Float (5195411829552096) (-67); Float (-6177858566934460) (-67);
Float (4692890461235940) (-67); Float (-6914087713086082) (-67); Float (-4828939795031980) (-64); Float (4963992680796110) (-59); Float (-5897302352733238) (-69);
Float (-6793357598406861) (-58); Float (-5078893807720356) (-71); Float (-6264248309887980) (-57); Float (5192670012084428) (-70); Float (-7717182909210286) (-56);
Float (7838606393738820) (-70); Float (-5554990562314036) (-73); Float (-5164674576207116) (-66); Float (-7888559608953014) (-67); Float (-5353518030251356) (-67);
Float (-5173810539937762) (-65); Float (6442152538512754) (-61); Float (-6848064463218590) (-71); Float (-5208840265361875) (-57); Float (6259666753486480) (-68);
Float (5396781879239251) (-53); Float (8957630626804708) (-68); Float (-6002512496079956) (-69); Float (-5785303654623750) (-65); Float (-4616294960499816) (-63);
Float (-6339869247111300) (-60); Float (-6611763068970952) (-67); Float (-6095630927878741) (-56); Float (8671160045579338) (-64); Float (8237032577202416) (-63);
Float (-4684410493243220) (-56); Float (-8899394400755952) (-65); Float (7021044230441816) (-72); Float (4733248193109128) (-67); Float (-5010771499023316) (-70);
Float (5862903088445814) (-67); Float (6604929383659804) (-73); Float (-5338148712924640) (-64); Float (5174443522736758) (-66); Float (8461952929454492) (-71);
Float (6281110124508730) (-68); Float (5903964928542648) (-67); Float (7803570170100406) (-71); Float (8105812213874632) (-66); Float (-6275251225731666) (-64);
Float (8061356308671904) (-72); Float (-4701040089181358) (-63); Float (-7813957308145746) (-69); Float (-5232859767893538) (-62); Float (4542457489366860) (-69);
Float (-6045688278596254) (-68); Float (-5056791338158168) (-71); Float (6358621859718724) (-65); Float (5339526143510892) (-69); Float (4934597389903806) (-67);
Float (-8103495788970860) (-62); Float (-4820967823528062) (-64); Float (-7711509414498572) (-64); Float (6660638926010024) (-60); Float (-5866479320246230) (-69);
Float (-6600200932916886) (-71); Float (-4680092714816402) (-67); Float (6704800954534634) (-70); Float (-6900443112486182) (-68); Float (-4603970281501172) (-67);
Float (6189881449848740) (-59); Float (-6691201684648732) (-69); Float (-6476487025449850) (-59); Float (-6490649595630310) (-73); Float (-6252259980838138) (-57);
Float (-5556005417833190) (-69); Float (-6979350019887718) (-70); Float (-5269723703776366) (-66); Float (-8094766798722088) (-66); Float (8874549975782980) (-60);
Float (-4896295096885454) (-67); Float (-5176016062511858) (-57); Float (7204817857241258) (-65); Float (4947208967401746) (-64); Float (-4916587416918764) (-59);
Float (-4624267017349994) (-64); Float (6760617960964808) (-71); Float (-6299162457882822) (-66); Float (-6384528449738594) (-70); Float (-6678128425369140) (-64);
Float (-7412870536212766) (-67); Float (-7650101477409032) (-69); Float (4831164015066078) (-69); Float (4682488400095490) (-66); Float (-6090920856166276) (-64);
Float (6982266323610414) (-68); Float (-8721020043775006) (-63); Float (-5362645229093088) (-64); Float (-8535674112701900) (-65); Float (4530151915239336) (-61);
Float (5112626526122476) (-69); Float (8218625086473672) (-71); Float (-7062162621358168) (-67); Float (-7606173399512088) (-69); Float (6104282543193120) (-59);
Float (-5089628523364676) (-67); Float (-6690996070097583) (-58); Float (5633792548472450) (-65); Float (6186111942039098) (-65); Float (8771236348323700) (-63);
Float (-8724870736212354) (-65); Float (6055711932127334) (-68); Float (-7211779862729298) (-64); Float (-7504843293876958) (-64); Float (-5921710493171662) (-65);
Float (6723717183259950) (-63); Float (6455819522467594) (-65); Float (4590120969616804) (-65); Float (7826522581713460) (-60); Float (6276845120241894) (-63)];
[:: Float (-5211794515034930) (-57); Float (5327776906289928) (-65); Float (-8325999856538050) (-60); Float (-6277636908975004) (-71); Float (5735750731121604) (-64);
Float (-7332871524420546) (-68); Float (6522188486399044) (-60); Float (5278427627842664) (-68); Float (-8456226503888960) (-65); Float (-6623499418238060) (-65);
Float (5356099409186194) (-67); Float (8491917285188660) (-68); Float (6379317149597366) (-66); Float (7186759475345336) (-66); Float (4782723680663552) (-66);
Float (-6829786809088006) (-56); Float (-7281768605080116) (-68); Float (-5638881623150269) (-57); Float (-4932868087928504) (-69);
Float (-7077418450791013) (-58); Float (8505157675076620) (-71); Float (-7524931951750048) (-64); Float (-8107555171425058) (-65); Float (6538657891932544) (-69);
Float (-8276310314345248) (-70); Float (8957630626804708) (-68); Float (5384436046434266) (-53); Float (5157524500362616) (-67); Float (-6361114465591602) (-57);
Float (5866123433043936) (-68); Float (-8272890685591312) (-65); Float (-7211607457803574) (-64); Float (-6699664960556418) (-67); Float (-7478875405471218) (-56);
Float (-4940349564540796) (-67); Float (-7865675705676790) (-68); Float (4789326963212212) (-62); Float (6457788430972278) (-64); Float (-8537252644042142) (-67);
Float (4623479744922322) (-69); Float (8476167167250592) (-71); Float (-4660393929330904) (-67); Float (7430945397607738) (-65); Float (-7295476663038938) (-63);
Float (-6219211678225136) (-68); Float (5526496717997776) (-65); Float (-5640391048984722) (-69); Float (5559492824735090) (-64); Float (7876157098389530) (-73);
Float (-8342373808897380) (-65); Float (5816142988731710) (-66); Float (-8353907592888320) (-67); Float (6823605306905610) (-70); Float (8447891435048386) (-68);
Float (-4980114209891596) (-62); Float (-5027564785484994) (-67); Float (7718615523913664) (-66); Float (-5681776221213428) (-69); Float (8160546813309288) (-65);
Float (6372903195402386) (-65); Float (4885203445883124) (-66); Float (-8851704234573518) (-62); Float (4949107545275476) (-67); Float (-8059299024758012) (-68);
Float (-6550323316562994) (-60); Float (-4577013284824298) (-68); Float (6767532447201322) (-60); Float (-6013820315850900) (-68); Float (5603749787268224) (-59);
Float (7473744857260802) (-70); Float (-4898212213312686) (-65); Float (-6639086180722580) (-67); Float (7426976289953186) (-68); Float (5951311445642752) (-67);
Float (7169558715372112) (-68); Float (-5581738006863018) (-57); Float (6876020618710222) (-68); Float (-6547664265977244) (-59); Float (5834976285002484) (-68);
Float (-4814015484510730) (-65); Float (-5573749848409678) (-66); Float (7647774679729206) (-69); Float (-6199239760094002) (-57); Float (7961043248284864) (-69);
Float (7666217521977068) (-66); Float (7962241454787890) (-65); Float (5059019399179196) (-73); Float (-4531757784791530) (-68); Float (-4575087369092468) (-66);
Float (6493518711688080) (-65); Float (-6658792873025618) (-65); Float (-8144144865908076) (-68); Float (5073900598846128) (-64); Float (-5812014278228566) (-70);
Float (4517436970953346) (-64); Float (6056419957878522) (-67); Float (5591543464059638) (-65); Float (-4587772766477146) (-63); Float (6086929300278414) (-70);
Float (8154144113435410) (-65); Float (5214578103239750) (-66); Float (-4987967225224950) (-66); Float (5474945285111434) (-59); Float (-5162779592740510) (-68);
Float (-5160406735691356) (-65); Float (6345447850980986) (-70); Float (8466595041459784) (-73); Float (-6948830326384413) (-58); Float (6928269129324762) (-69);
Float (4692413437421930) (-66); Float (-7153070965757804) (-63); Float (-8847260305123376) (-66); Float (-4753776878812182) (-67); Float (4566428059888476) (-65);
Float (-5549306837250856) (-72); Float (6063208074043358) (-64); Float (5081930239436856) (-60); Float (-8467893968098502) (-66); Float (-5252678551420946) (-68);
Float (-7442819629300208) (-62)];
[:: Float (7743840289308666) (-66); Float (-6101247598161221) (-57); Float (8945886463618762) (-70); Float (-6679669501309291) (-58); Float (-4682685537706060) (-68);
Float (-4696104238967052) (-58); Float (-7802668060810186) (-69); Float (4703888604342136) (-59); Float (-8386878381080030) (-66); Float (-4628312542592568) (-65);
Float (-8946588294738036) (-69); Float (5149929214293920) (-70); Float (-7339668019492118) (-69); Float (6279179000968198) (-67); Float (4699025704741158) (-66);
Float (-4861239559247152) (-67); Float (-5084589264651970) (-56); Float (-8660902053071162) (-71); Float (-7226101887177226) (-57);
Float (-6979410822082565) (-76); Float (-7934945023593460) (-58); Float (-5265554657427862) (-64); Float (-5565900157515108) (-65);
Float (-6624204997444628) (-65); Float (-5976504203737354) (-67); Float (-6002512496079956) (-69); Float (5157524500362616) (-67); Float (5579836295728192) (-53);
Float (7657432916247100) (-68); Float (-6310340154876567) (-57); Float (-6201241895404706) (-63); Float (-7741044577747132) (-65); Float (-7058746674925686) (-65);
Float (6195984636151378) (-71); Float (-5208208621102204) (-56); Float (5870902427290950) (-63); Float (4682039808742000) (-64); Float (6757550793295652) (-69);
Float (5577629029252172) (-67); Float (-5560454076282988) (-69); Float (7453977468504184) (-68); Float (-6541372081887444) (-68); Float (-5440462807066658) (-68);
Float (-6254544846975068) (-69); Float (-7950445262890698) (-64); Float (-5320337465722748) (-69); Float (-8522077285818632) (-65);
Float (-4567839258348846) (-71); Float (7820114294442082) (-65); Float (6787072342190904) (-66); Float (6003673785413834) (-68); Float (5880050751443458) (-66);
Float (-7820356585925248) (-70); Float (-4823420656576838) (-68); Float (-4942978394490140) (-67); Float (-7153877724862166) (-63);
Float (-4880155984279154) (-68); Float (5767920577060104) (-65); Float (5579002969075018) (-64); Float (6490632587231658) (-66); Float (5705056746219226) (-66);
Float (8973586198686159) (-70); Float (-4905563606568056) (-63); Float (-4906856082831590) (-64); Float (-5534275769839164) (-70); Float (-7094714423257342) (-59);
Float (-7689694314231382) (-69); Float (-4811500062088422) (-60); Float (-6608439614079812) (-69); Float (7152398702132588) (-59); Float (-8677870459901042) (-68);
Float (-5564177849908564) (-67); Float (-8809319558596026) (-68); Float (6105808540927092) (-69); Float (6641125527139556) (-68); Float (5114302129395766) (-67);
Float (-8938852954078101) (-58); Float (7031454855597978) (-68); Float (-5399049688839848) (-59); Float (-7289218979374168) (-65); Float (-8776705725669622) (-67);
Float (-8727117719786166) (-69); Float (5579836308784074) (-67); Float (-7067084040937074) (-58); Float (5486725578526942) (-66); Float (8797609838616842) (-69);
Float (-8458329283695484) (-68); Float (6209255764482024) (-69); Float (-4505314984779897) (-66); Float (-7929808253979782) (-69); Float (-6207108308484534) (-68);
Float (-5579849598966868) (-64); Float (-5488960394419598) (-69); Float (6492340856869888) (-65); Float (5169258343946220) (-65); Float (4987210915243836) (-65);
Float (6979630214388518) (-68); Float (-5636392773564486) (-69); Float (6636294993980874) (-68); Float (7120511992621572) (-69); Float (-8918273006606730) (-68);
Float (-8599003327584112) (-60); Float (-4652313421530842) (-68); Float (5756042701687968) (-59); Float (-7353216683327396) (-67); Float (-7238229875271230) (-68);
Float (-5050801574134424) (-70); Float (7119196607846024) (-67); Float (-7339093319440460) (-59); Float (4766984868335456) (-69); Float (-8065996490110414) (-69);
Float (-6877031327286132) (-66); Float (-7544855195459522) (-68); Float (-5325468640330152) (-69); Float (4532994656689168) (-65); Float (4649462807444610) (-67);
Float (-6750109161388220) (-67); Float (5958532170640170) (-60); Float (6270938335711226) (-69); Float (-5293048261211296) (-65)];
[:: Float (7335145463432364) (-59); Float (5633670722166598) (-69); Float (-4747522940849573) (-58); Float (8657515707598796) (-71); Float (-7017625297031817) (-58);
Float (-8212433738724390) (-71); Float (-6220679487615481) (-57); Float (-6454601311296410) (-67); Float (6135741346793372) (-65); Float (5466932491608460) (-66);
Float (-6514637068356440) (-67); Float (4508566358182938) (-68); Float (-6764892274106282) (-67); Float (-7708728623352620) (-68); Float (7544232880425332) (-68);
Float (-7719989117206555) (-58); Float (-4760507321865666) (-70); Float (-7245681632644172) (-57); Float (6363758500686286) (-69); Float (-5041322520075178) (-56);
Float (6046782705181200) (-68); Float (6600900413909510) (-68); Float (-8978569553591580) (-67); Float (-4613952736334590) (-65); Float (-8622403896816730) (-65);
Float (-5785303654623750) (-65); Float (-6361114465591602) (-57); Float (7657432916247100) (-68); Float (5581178334241804) (-53); Float (5236776228942276) (-66);
Float (-4776078632238630) (-66); Float (-4713188302278474) (-63); Float (-8876987431544236) (-65); Float (-5298921163849563) (-56); Float (7701843770958528) (-69);
Float (6489525565247954) (-64); Float (4586158882431046) (-65); Float (5743649015719750) (-68); Float (8925616994055070) (-68); Float (5938350155754016) (-68);
Float (-5797618059220734) (-68); Float (6449877482601850) (-68); Float (8672708649058440) (-70); Float (4505321501082582) (-64); Float (-8232106019016822) (-71);
Float (-4586336332273600) (-64); Float (-8537727788574574) (-70); Float (-7524376736410582) (-64); Float (-6322370484676044) (-69); Float (8860263016446442) (-68);
Float (8634564814829052) (-67); Float (4897772737881662) (-68); Float (4637607820170162) (-65); Float (8314600355542046) (-69); Float (8877787691993616) (-65);
Float (-5053448248334746) (-68); Float (-7308266526100820) (-63); Float (-4956644478537030) (-67); Float (7713811058298154) (-68); Float (5086438897671544) (-64);
Float (5566602320172960) (-65); Float (-8634671653132382) (-64); Float (6049964718157328) (-71); Float (-5846491538076416) (-65); Float (7204801291709642) (-59);
Float (-8664442874669452) (-70); Float (-5274732263425798) (-60); Float (-7969340815267946) (-70); Float (-7402368014195592) (-59);
Float (-4632966679012768) (-69); Float (-5512892014464344) (-70); Float (6288948967238832) (-68); Float (-6326983700007018) (-67); Float (-5108002160544862) (-67);
Float (-6428087075460050) (-67); Float (-5606166976539096) (-59); Float (7697704286577622) (-69); Float (-8914551770610947) (-58); Float (8130321010253070) (-68);
Float (-4561354568652698) (-67); Float (-8750357204389852) (-66); Float (-5048105686920726) (-65); Float (-7214888805162888) (-58); Float (6446867687432362) (-68);
Float (4748513756642656) (-66); Float (5797334835128550) (-67); Float (-6344140767294126) (-68); Float (6145113016585036) (-73); Float (7812894486133940) (-71);
Float (8408417186721076) (-68); Float (6423900646775780) (-65); Float (-5881367176045694) (-69); Float (-5794545678368412) (-64); Float (-8355200581146226) (-69);
Float (-6548679798872348) (-68); Float (7271084813503962) (-66); Float (6595053163870518) (-65); Float (7551704609549418) (-67); Float (-6646347657611348) (-69);
Float (-5383363840019310) (-69); Float (5453552332961202) (-59); Float (-8765393527793364) (-69); Float (-8903499268256342) (-60); Float (-5904012184897366) (-70);
Float (-5589327257987212) (-67); Float (-5964374358319302) (-68); Float (-5364836311973146) (-66); Float (-7663204939017676) (-59); Float (6946563989784230) (-68);
Float (8224118557895150) (-70); Float (-6810112357191304) (-65); Float (-6411919113347012) (-68); Float (5204127912413606) (-67); Float (8998961183618864) (-66);
Float (-5149399681200446) (-69); Float (-7452996091277226) (-66); Float (5135981670773570) (-60); Float (-6916632166658406) (-68); Float (-6348571072106890) (-69);
Float (-7469083500521104) (-64)];
[:: Float (4716549492609270) (-70); Float (8232121435348886) (-60); Float (5455814526905432) (-69); Float (6424413781473280) (-62); Float (-4652214919634752) (-70);
Float (-7091022466610552) (-60); Float (-6908114910312074) (-67); Float (-7703502211219247) (-57); Float (6259449491108224) (-66); Float (7974467193320512) (-68);
Float (5642177286484796) (-66); Float (-4596443877009070) (-69); Float (6205552881971066) (-66); Float (7703126343169258) (-68); Float (8888353159471592) (-67);
Float (-6853273174205044) (-70); Float (-6965668474962718) (-58); Float (6622534341495634) (-69); Float (-5429313220690504) (-57); Float (7216714039529422) (-68);
Float (-6392767116923486) (-56); Float (6321753037080724) (-66); Float (-7395203878991674) (-68); Float (-4996905115580108) (-68); Float (-8017336027654656) (-66);
Float (-4616294960499816) (-63); Float (5866123433043936) (-68); Float (-6310340154876567) (-57); Float (5236776228942276) (-66); Float (5400317733604181) (-53);
Float (-6120052885091592) (-65); Float (-8809351948255204) (-66); Float (-7747851670343646) (-63); Float (-4551719828822868) (-68);
Float (-7468816449588397) (-56); Float (5144687407225176) (-65); Float (5002427483165674) (-69); Float (7981152653937514) (-69); Float (6625948666114318) (-73);
Float (-5932062744903984) (-70); Float (-8094886096149758) (-69); Float (8378829151535608) (-68); Float (4556154394796126) (-67); Float (8003105189725489) (-75);
Float (4922636662443552) (-64); Float (-8261619494449444) (-70); Float (4572413225120548) (-65); Float (-4983007294020938) (-68); Float (-8877487308895260) (-65);
Float (-4964384510422376) (-67); Float (-7923542111034676) (-69); Float (8866000508736726) (-69); Float (-5398182905554814) (-68); Float (7857255472865518) (-65);
Float (-6684287798345570) (-69); Float (7187905743578924) (-67); Float (-4970381256722418) (-67); Float (-5976804903539522) (-62); Float (6495434174801342) (-66);
Float (8939203190832122) (-67); Float (4734288804908658) (-63); Float (6561420055821670) (-68); Float (-4733501013034806) (-61); Float (-5150354382051756) (-67);
Float (-7728355807259348) (-73); Float (5838090415798090) (-59); Float (-6196835086987786) (-72); Float (7897402596334718) (-60); Float (-8077356804970712) (-70);
Float (-6506915894007422) (-60); Float (5697692964493596) (-67); Float (-5301534680332520) (-70); Float (7637846522081320) (-68); Float (-5779916376752426) (-67);
Float (-7160298213454328) (-68); Float (4903519109726926) (-69); Float (-6651183464005798) (-59); Float (7715859193668302) (-68); Float (-5398379655954127) (-57);
Float (4720671413445564) (-67); Float (-5255395607516066) (-66); Float (-4521711608952080) (-64); Float (7497386606187816) (-70); Float (-6240118047822768) (-57);
Float (-6816049239052736) (-66); Float (-7758511552811736) (-69); Float (-4968288473940076) (-66); Float (-6727592717390064) (-69);
Float (-5604154898286490) (-66); Float (4667452238359560) (-67); Float (-5797216250217140) (-70); Float (4574037598023112) (-64); Float (-5217304862772220) (-68);
Float (-8258382476125262) (-66); Float (-6930013262145966) (-69); Float (-4557862360951628) (-70); Float (6080754715767934) (-65); Float (-6504441663558450) (-73);
Float (-5493586438954102) (-63); Float (5031572787973486) (-65); Float (-5664898059635856) (-68); Float (5715084977673958) (-59); Float (-6760419900100868) (-69);
Float (6573040317906814) (-62); Float (4827779479670718) (-67); Float (-6060461763540862) (-67); Float (-6628461121704464) (-68); Float (7306779800813660) (-74);
Float (-6970601666142446) (-58); Float (4570309753153760) (-69); Float (-7348497064132498) (-67); Float (-8477500334183480) (-65); Float (7101825621292726) (-72);
Float (-7480007685132836) (-73); Float (6163045984624764) (-65); Float (8839409321694565) (-74); Float (-5497689950239162) (-66); Float (7154386991258552) (-60);
Float (5896625690066864) (-66); Float (-8808823020220296) (-65)];
[:: Float (4654720959649798) (-66); Float (-4865864195185920) (-65); Float (5252236555725406) (-67); Float (7114695219660652) (-69); Float (8392807596572144) (-67);
Float (5675298194982588) (-69); Float (8983877858650340) (-67); Float (4821495138116618) (-67); Float (-5204926139274021) (-56); Float (6010933800553620) (-70);
Float (-7783355347528932) (-58); Float (5654107237259554) (-72); Float (-4740033803361302) (-58); Float (-6171104028007686) (-70); Float (5137472651330594) (-59);
Float (-6022193408878966) (-64); Float (-6693928572478424) (-64); Float (-5411039447505790) (-69); Float (-7116477023156154) (-65); Float (8059114308382960) (-68);
Float (-5008404261873996) (-66); Float (-6077784589942398) (-56); Float (7375074873625464) (-67); Float (-5451098277534242) (-57); Float (6158176169442212) (-68);
Float (-6339869247111300) (-60); Float (-8272890685591312) (-65); Float (-6201241895404706) (-63); Float (-4776078632238630) (-66);
Float (-6120052885091592) (-65); Float (5482811562095185) (-53); Float (-8774407269205550) (-68); Float (-5753146803237342) (-58); Float (-6399238237184940) (-66);
Float (5094442819485462) (-62); Float (-6922844309662380) (-56); Float (-4854688085498342) (-63); Float (-7996019884648092) (-69); Float (4720714024689406) (-65);
Float (-7518055514425604) (-70); Float (5907176021998096) (-66); Float (8364671567909832) (-71); Float (4750269057823430) (-70); Float (-7967353115354046) (-66);
Float (7858831058176646) (-65); Float (-5553391644182868) (-68); Float (8612713670746978) (-66); Float (-5240245325004370) (-67); Float (6146188928605568) (-69);
Float (-7980053659818692) (-62); Float (-5319111025723874) (-67); Float (-8382024444834726) (-64); Float (-7609454015726338) (-69);
Float (-5170653852962786) (-67); Float (5004109722273522) (-64); Float (5982227560546500) (-64); Float (4684036448522988) (-67); Float (7710257242790038) (-67);
Float (-7385061410251604) (-61); Float (4531044091787472) (-67); Float (-8146945096842042) (-64); Float (-8899771430293222) (-66); Float (-5696636109442262) (-63);
Float (5087645571209024) (-60); Float (-7699100815915038) (-66); Float (-5064957262213762) (-66); Float (7545253334596104) (-69); Float (-6359652262451542) (-68);
Float (4791583938203232) (-67); Float (-6884313293252642) (-70); Float (-7590266460006093) (-58); Float (8547258417849342) (-70); Float (-7483210449905370) (-60);
Float (-6951432108704946) (-70); Float (7233286123781710) (-59); Float (-5976986747889926) (-65); Float (-8335368417615358) (-65); Float (5984524047992412) (-69);
Float (-5902735864960640) (-68); Float (-5237867413326969) (-57); Float (-8298203270322118) (-72); Float (8722752384955278) (-61); Float (5300506695212646) (-66);
Float (4951140494750882) (-64); Float (-6466174674795247) (-58); Float (-6652951446410978) (-64); Float (-8763197482826746) (-68); Float (6864901154301238) (-69);
Float (-6139873233457344) (-70); Float (-6113628525592056) (-68); Float (7140130360669970) (-67); Float (5590676743482156) (-65); Float (-4514197676934942) (-66);
Float (4899320129036206) (-71); Float (-6760386762575142) (-62); Float (6936128425255468) (-80); Float (-6838142373599506) (-66); Float (7746036970444874) (-73);
Float (-5794486190336206) (-65); Float (6061469491397146) (-63); Float (-7081855352740480) (-65); Float (-5549321801145156) (-66); Float (5972160471682482) (-70);
Float (-8746404178074834) (-69); Float (-4532047156778470) (-58); Float (-7099289158913012) (-68); Float (7203569426776066) (-59); Float (5600328348523990) (-67);
Float (6364232936808832) (-66); Float (-6769978167619158) (-60); Float (-8908585919067150) (-64); Float (-6285662696009278) (-70); Float (-7546692015406614) (-67);
Float (-7254384675771828) (-66); Float (-7144323158724456) (-66); Float (5218527085963610) (-66); Float (-5254797197153950) (-67); Float (7132141212907838) (-67);
Float (4795538593676930) (-59); Float (6856195167369206) (-64)];
[:: Float (8687663595130888) (-66); Float (-5181761396160752) (-67); Float (4834062431999554) (-66); Float (4877333697172164) (-68); Float (8055730877970014) (-67);
Float (7564811903836034) (-68); Float (8945175769594272) (-67); Float (7376842887550934) (-65); Float (-6023096333876536) (-66); Float (-8077461869253009) (-57);
Float (-6333383919788564) (-68); Float (-6459740495989078) (-57); Float (-5628152486404692) (-68); Float (-8164887186239659) (-57);
Float (-6120072936689342) (-66); Float (4908814145600578) (-66); Float (-6942405595292728) (-66); Float (-8045048131762696) (-69); Float (-5999373804703450) (-67);
Float (-6916850987819424) (-66); Float (-8201645005828042) (-69); Float (-8406415586105070) (-67); Float (-5888997139312391) (-56);
Float (-8126376353006346) (-68); Float (-5908799612293319) (-56); Float (-6611763068970952) (-67); Float (-7211607457803574) (-64);
Float (-7741044577747132) (-65); Float (-4713188302278474) (-63); Float (-8809351948255204) (-66); Float (-8774407269205550) (-68); Float (5222698379833600) (-53);
Float (-8188834936826484) (-68); Float (-5754096437847266) (-62); Float (-6310945994294988) (-64); Float (6863294578313194) (-63); Float (5168804563940038) (-68);
Float (-6991763306979726) (-69); Float (-5814975037002552) (-71); Float (7789064803882468) (-67); Float (-4547899931355061) (-73); Float (-7574722650964310) (-69);
Float (6769495419058132) (-68); Float (-6679845781978162) (-67); Float (-7908167217672230) (-67); Float (7254526979651966) (-69); Float (-5504747597530704) (-66);
Float (7144345131174244) (-67); Float (-5193786376483394) (-65); Float (6014387969317028) (-69); Float (-7453087636468068) (-63); Float (-5472945186195528) (-72);
Float (-7620937156820642) (-63); Float (5590356305093136) (-69); Float (8123501888003670) (-65); Float (4597863385385012) (-66); Float (5445298527945384) (-64);
Float (6504986666874534) (-67); Float (5409401830122840) (-68); Float (-5841034002363124) (-61); Float (7042863147070982) (-69); Float (5894146793932382) (-63);
Float (5657218097796082) (-65); Float (-5344433056756970) (-64); Float (4700672989303700) (-66); Float (-8669359945838158) (-68); Float (8344178173256816) (-72);
Float (-4674095479237650) (-68); Float (-6690240934841036) (-70); Float (8133655683226672) (-69); Float (-5291507137957194) (-67); Float (-7415025253623784) (-58);
Float (-5189016027627892) (-69); Float (-7499725315968467) (-58); Float (-6772201789596236) (-67); Float (7060311722824944) (-75); Float (-5265566938043934) (-66);
Float (-7092752608974886) (-66); Float (-7755207877428952) (-67); Float (-5197441943001900) (-67); Float (-7204832355108920) (-57);
Float (-6262493540311510) (-67); Float (-7419682593069638) (-64); Float (-6030130422908378) (-65); Float (4565427489816776) (-65); Float (7614490676324452) (-73);
Float (-5229411604957822) (-66); Float (-7698306742030706) (-71); Float (-4682563093691532) (-66); Float (4750929129731396) (-68); Float (-6010229778740826) (-68);
Float (-6842188914427886) (-68); Float (7491938922075478) (-67); Float (-4654660564876606) (-66); Float (7922023043935816) (-69); Float (-4822812239428892) (-62);
Float (8816635428119464) (-69); Float (6350145097886870) (-64); Float (4755068601701824) (-64); Float (-6323680933528954) (-66); Float (5075508895668080) (-67);
Float (-5089988367297510) (-66); Float (-4853987233352542) (-67); Float (-5184744867253898) (-67); Float (-4706494824488806) (-67);
Float (-8119331638748787) (-58); Float (-6003340595299560) (-67); Float (-8786321171114192) (-66); Float (-8504132877092546) (-66); Float (5126450478515526) (-67);
Float (-7013514998438902) (-71); Float (-5095560360196496) (-64); Float (4792956090856414) (-69); Float (7027884151370392) (-66); Float (5493225093582264) (-65);
Float (-6830070741485364) (-67); Float (-5468962416154786) (-67); Float (-4572479257637612) (-65); Float (6082393803273438) (-69); Float (-6613710296952990) (-66)];
[:: Float (5525552513156082) (-66); Float (5122601158397150) (-66); Float (-4819085998072984) (-67); Float (6479861983076506) (-67); Float (-8916414312318364) (-68);
Float (6097525073603544) (-67); Float (7075429629988444) (-70); Float (-8284147071062222) (-68); Float (5962128018169014) (-59); Float (-8431407045338036) (-69);
Float (-4751680076680249) (-58); Float (5148611508295194) (-71); Float (-7902199706426396) (-58); Float (4809922498547964) (-69); Float (-5112852241738931) (-56);
Float (-7611791726713094) (-68); Float (5103638038749824) (-66); Float (-8620524000021414) (-66); Float (-5445359138815784) (-67); Float (-6424097605833904) (-65);
Float (-4717150323485104) (-63); Float (-5422548148153628) (-60); Float (5755992457152332) (-68); Float (-5381480416748899) (-57); Float (4899225288137370) (-66);
Float (-6095630927878741) (-56); Float (-6699664960556418) (-67); Float (-7058746674925686) (-65); Float (-8876987431544236) (-65);
Float (-7747851670343646) (-63); Float (-5753146803237342) (-58); Float (-8188834936826484) (-68); Float (5480309399301092) (-53); Float (8094405302854854) (-64);
Float (5315769157473932) (-64); Float (-7318438278503510) (-56); Float (-5106894770904808) (-66); Float (6799005340311194) (-73); Float (7492537787480778) (-68);
Float (-6845405686497678) (-70); Float (8110944797784648) (-67); Float (-8517994983779886) (-69); Float (-8028376271269070) (-64); Float (7724421697111278) (-67);
Float (-5662672620975482) (-67); Float (8291488856064348) (-67); Float (6150688325529824) (-69); Float (4748292828554494) (-67); Float (6508437531378140) (-65);
Float (-5141125708823556) (-66); Float (-8580742890514386) (-69); Float (-5058125374656284) (-63); Float (-5145055245495912) (-67);
Float (-4648085895778994) (-61); Float (8204474448113074) (-67); Float (7869371439068864) (-66); Float (5750443962358604) (-65); Float (4728218002193982) (-63);
Float (-8104562324212348) (-64); Float (7921981229860394) (-68); Float (-7869271149008628) (-61); Float (-5366825154635970) (-64); Float (-8981175333702232) (-66);
Float (6078480419469798) (-60); Float (-4953120043069722) (-69); Float (8621523591888914) (-68); Float (-7753784908282832) (-67); Float (7217939022273510) (-69);
Float (-5128068808301538) (-66); Float (-8201986107645898) (-67); Float (7362939353654226) (-59); Float (-7404714277335272) (-70); Float (-7546893778626008) (-60);
Float (4722782294220364) (-69); Float (-7701527511052081) (-58); Float (-4505135246581150) (-67); Float (7830101827830750) (-69); Float (-5359256222214088) (-65);
Float (-4814796548486680) (-64); Float (4709599111054442) (-60); Float (-6502609835822168) (-70); Float (-5227537475478602) (-57); Float (6362751504816394) (-65);
Float (-4957409622756358) (-66); Float (-6602172985246517) (-58); Float (-5909502121330748) (-66); Float (-4915282431681836) (-70);
Float (-7927559354668128) (-67); Float (-4765432857380076) (-68); Float (-7670268770077612) (-64); Float (-6044205902837152) (-66);
Float (-4862783106298104) (-67); Float (8373836620682408) (-67); Float (8965001797723214) (-66); Float (-6029728457280666) (-65); Float (8299786769275737) (-74);
Float (-7541015227289566) (-62); Float (-8703987363674084) (-65); Float (6864592394151212) (-66); Float (7479410207587244) (-63); Float (-8791296412205178) (-69);
Float (6763756672725030) (-68); Float (-7030994977238382) (-66); Float (-6846647812762136) (-67); Float (7187582178279688) (-59); Float (-6579628086968602) (-68);
Float (-4563972318797550) (-58); Float (7197885860249332) (-66); Float (5224369046752674) (-69); Float (-6858744171266304) (-60); Float (-4891586112552568) (-66);
Float (6806590936517682) (-70); Float (-4676286078302692) (-63); Float (-8936833856271170) (-64); Float (-5061014789422562) (-66); Float (5636765571523042) (-65);
Float (5098808507852328) (-65); Float (6127589176109442) (-66); Float (4684938176037254) (-59); Float (7118313876935950) (-63)];
[:: Float (4840774246371880) (-63); Float (7135025734452078) (-67); Float (4562331910446202) (-59); Float (8167550938323876) (-70); Float (5998020172900254) (-60);
Float (-6408734896397440) (-69); Float (-7715719543116020) (-60); Float (-6715646925453990) (-67); Float (5500428648189650) (-64); Float (8036510227847496) (-68);
Float (7306726528167530) (-66); Float (8440435012700468) (-66); Float (6915406355421932) (-66); Float (5645314345702802) (-66); Float (7001791102552704) (-64);
Float (-5036788426248245) (-56); Float (-5861607179364282) (-69); Float (-5400490431688721) (-57); Float (-6625587797357910) (-68);
Float (-6304953105947766) (-57); Float (-4980396672100326) (-67); Float (6298021194776582) (-64); Float (-8825142843578210) (-64); Float (8577450486506756) (-65);
Float (-7421151023246694) (-64); Float (8671160045579338) (-64); Float (-7478875405471218) (-56); Float (6195984636151378) (-71); Float (-5298921163849563) (-56);
Float (-4551719828822868) (-68); Float (-6399238237184940) (-66); Float (-5754096437847266) (-62); Float (8094405302854854) (-64); Float (4963578471734504) (-53);
Float (4714339638227094) (-63); Float (-8778673291697506) (-61); Float (7866100919067254) (-64); Float (6761879279494616) (-65); Float (8915345084546252) (-67);
Float (-7019970770094058) (-68); Float (4620399886841256) (-66); Float (-6690758788809254) (-68); Float (4766529032442522) (-66); Float (5570239453690546) (-65);
Float (-6860370213817528) (-69); Float (4842207896052480) (-63); Float (7261628127722420) (-70); Float (7632743059599398) (-64); Float (7997543460124398) (-68);
Float (7059630495410012) (-67); Float (5439908361347472) (-64); Float (-7065053766913244) (-66); Float (4761416752262564) (-64); Float (-5093047061346040) (-65);
Float (-5246255794680620) (-61); Float (-8635742960318862) (-70); Float (-7807038824048108) (-63); Float (6079056143134338) (-69); Float (-7520611702836388) (-67);
Float (5955309690609784) (-63); Float (-7256516555142598) (-65); Float (-6833169424349774) (-60); Float (-5052269076220340) (-64); Float (7108265906897632) (-62);
Float (4865222251432032) (-59); Float (-5597194563677674) (-67); Float (5604771551681322) (-59); Float (-7273940556923168) (-68); Float (5499941424352398) (-60);
Float (-6325091817123526) (-68); Float (7129346148126498) (-69); Float (-4664962858205986) (-66); Float (5577585404316364) (-69); Float (-5352997407429976) (-68);
Float (7049277958871976) (-65); Float (-5190014605159253) (-57); Float (-5011931342311084) (-69); Float (-6509415666286156) (-58); Float (-5382259431140586) (-68);
Float (6796519436218922) (-65); Float (-8949336710496464) (-64); Float (6941619127558240) (-64); Float (-5087434303094894) (-56); Float (5635348467523566) (-65);
Float (-6776686073295956) (-63); Float (-5587844767542386) (-65); Float (-8094114871370360) (-68); Float (-8473150108462902) (-67);
Float (-6541211541702622) (-67); Float (5493308521134050) (-68); Float (-7859361213903066) (-65); Float (-4879655321968078) (-68); Float (5458934298553348) (-64);
Float (4713955799737434) (-68); Float (-6322494378147770) (-68); Float (6519923468851624) (-64); Float (-5918897992729202) (-67); Float (-6940560767590248) (-61);
Float (-7590453264598718) (-66); Float (8213552503232316) (-63); Float (5401254365856354) (-60); Float (-6622505001897158) (-66); Float (5217913391782744) (-60);
Float (-6532186352857674) (-67); Float (-6699745959655254) (-67); Float (-6972501138442144) (-65); Float (7127320340907826) (-65); Float (-6001958044977352) (-57);
Float (4682021688412818) (-66); Float (-5833839599544610) (-65); Float (-8897281976768610) (-63); Float (-7660058040794784) (-68); Float (-8123217357393038) (-65);
Float (-4806593234219412) (-62); Float (-5143541298688090) (-66); Float (7501799766578228) (-63); Float (-8486441965154586) (-60); Float (-6132845821593264) (-66);
Float (-7643613402290926) (-65); Float (-5870391279279344) (-62)];
[:: Float (-5673554866897648) (-68); Float (-5054427472483196) (-60); Float (5829165019599584) (-73); Float (7862412446218556) (-60); Float (-4626243659284186) (-69);
Float (4607650692673668) (-59); Float (-5591655047939998) (-67); Float (-7657485640341560) (-59); Float (8702185053126012) (-63); Float (-8420965820633524) (-68);
Float (4533111204353180) (-64); Float (5901716635322060) (-68); Float (5191387462671680) (-64); Float (-6109548462279678) (-68); Float (7894543353318334) (-63);
Float (-4672296204669626) (-66); Float (-6146486944832769) (-57); Float (-6791521189896450) (-68); Float (-5205075678689842) (-57); Float (6665932810800394) (-70);
Float (-5093207186420958) (-56); Float (5906410443195502) (-62); Float (-6032445576290818) (-65); Float (6842209942437550) (-63); Float (-4789198293410454) (-65);
Float (8237032577202416) (-63); Float (-4940349564540796) (-67); Float (-5208208621102204) (-56); Float (7701843770958528) (-69); Float (-7468816449588397) (-56);
Float (5094442819485462) (-62); Float (-6310945994294988) (-64); Float (5315769157473932) (-64); Float (4714339638227094) (-63); Float (4952320541670649) (-53);
Float (-6679937293675022) (-59); Float (-5754538434000186) (-65); Float (-7574108567865834) (-68); Float (6785914834934194) (-72); Float (-7887099433069734) (-68);
Float (-5599099270861490) (-68); Float (-7043954291748604) (-68); Float (-5326119982071474) (-65); Float (8237291726441898) (-68); Float (7743947534185636) (-64);
Float (6630850332877056) (-69); Float (4510280537969100) (-63); Float (-6890335062255186) (-71); Float (-8634519627262632) (-65); Float (-7953887444389146) (-64);
Float (5484291129753214) (-66); Float (-6778535170355516) (-65); Float (7101696673710922) (-66); Float (-4742157482182208) (-66); Float (5929213371101132) (-68);
Float (-8240264334651194) (-63); Float (-4689471024757644) (-69); Float (-5401208694269062) (-61); Float (-6373349879787182) (-64); Float (6424474307114134) (-65);
Float (5746511626991132) (-65); Float (-5153090747758396) (-64); Float (-6682339154428254) (-60); Float (5470131261431932) (-60); Float (-4685000875476058) (-67);
Float (6161152069750590) (-60); Float (-7002750723425756) (-68); Float (6156746652434096) (-59); Float (-7885792494563568) (-68); Float (4792899351197044) (-59);
Float (7607291314912218) (-64); Float (-4882004721640140) (-66); Float (-7805071701348800) (-68); Float (-6279859258183510) (-66); Float (5455303085584242) (-64);
Float (-5742568806314686) (-68); Float (-6435646698776283) (-58); Float (5355375383935368) (-71); Float (-5087558319317965) (-57); Float (8911672657759070) (-63);
Float (-7833448536097644) (-65); Float (5216825391940910) (-63); Float (6505201786957068) (-65); Float (-5078895433094884) (-56); Float (-7314497551080332) (-62);
Float (-6980737167198144) (-65); Float (-4640787306494426) (-65); Float (-6332174654690960) (-67); Float (-5379405219262108) (-65);
Float (-4821405564050232) (-65); Float (8624651139864632) (-68); Float (5204575143862480) (-64); Float (8483931169414362) (-72); Float (-6284272701746212) (-65);
Float (-7181622225600060) (-64); Float (6634069030948280) (-65); Float (-7358414202201382) (-66); Float (-8636521397749466) (-66); Float (-6911745361465576) (-61);
Float (6215291473854324) (-62); Float (-8899883942482950) (-67); Float (5785889971629682) (-60); Float (-6471570283907702) (-67); Float (7328885828602702) (-60);
Float (4555846075812632) (-63); Float (-6871637342337420) (-65); Float (6181265066531238) (-64); Float (7972544356470098) (-66); Float (-5949978790995791) (-57);
Float (5631840102537918) (-64); Float (-4947261303002768) (-64); Float (-8599844337967574) (-65); Float (-6705206320218648) (-65); Float (-5461917865095160) (-66);
Float (-7638565014537992) (-63); Float (5544330840474712) (-64); Float (-8453431295828064) (-69); Float (-5933216282685846) (-60); Float (6666655378838796) (-63);
Float (-7351411132062554) (-66)];
[:: Float (6869159131419704) (-64); Float (6258927519040644) (-64); Float (6785040921786814) (-65); Float (6088640526765392) (-65); Float (4693975615465196) (-65);
Float (6069415083775040) (-64); Float (7318140135819990) (-65); Float (5593280704661932) (-62); Float (-8040998578123158) (-59); Float (-4856674559869000) (-66);
Float (8828064540827206) (-60); Float (-6163062938071572) (-66); Float (7508040741692528) (-60); Float (-6614469885156604) (-67); Float (-6074546598840937) (-58);
Float (5126615101417044) (-63); Float (8307331493409632) (-63); Float (6103714478779522) (-64); Float (8725278769761334) (-63); Float (6360234337778750) (-64);
Float (4968181091031796) (-62); Float (-8819011515329571) (-57); Float (-6783810305457060) (-69); Float (-5196947013184138) (-57); Float (6410929074710344) (-69);
Float (-4684410493243220) (-56); Float (-7865675705676790) (-68); Float (5870902427290950) (-63); Float (6489525565247954) (-64); Float (5144687407225176) (-65);
Float (-6922844309662380) (-56); Float (6863294578313194) (-63); Float (-7318438278503510) (-56); Float (-8778673291697506) (-61); Float (-6679937293675022) (-59);
Float (6020152355668768) (-53); Float (5625296895196408) (-61); Float (6510443915167982) (-70); Float (5486102735384366) (-66); Float (5499790047180588) (-67);
Float (7666429718009786) (-66); Float (4636446425564534) (-67); Float (5011301642904486) (-61); Float (-4696529244739686) (-64); Float (-7976723255611430) (-64);
Float (-4643076891955692) (-64); Float (-5187332737793132) (-63); Float (-7203158603044160) (-65); Float (-4904950018271692) (-63); Float (5113947836459500) (-60);
Float (-6498953606896278) (-68); Float (8097048183700908) (-61); Float (-5957837847176258) (-68); Float (5187632337925300) (-60); Float (-6707654138995518) (-65);
Float (-6465602720118422) (-66); Float (-4625794514909872) (-65); Float (7752225426115174) (-65); Float (7308993960898230) (-61); Float (-7921329235460110) (-64);
Float (8622088747964614) (-61); Float (4689941835784312) (-61); Float (7187088163974906) (-60); Float (-7200409981378718) (-57); Float (7129318980151834) (-66);
Float (6237675794112590) (-66); Float (7349351820686732) (-65); Float (7250281326851994) (-67); Float (7548810132651350) (-65); Float (7475237993464364) (-64);
Float (6284317056386038) (-60); Float (-4796741067784688) (-65); Float (4803770282084825) (-58); Float (-7675179071139032) (-66); Float (5284049000150642) (-60);
Float (6120385033469286) (-65); Float (5476359260327282) (-63); Float (8741125959271228) (-65); Float (5187602661982802) (-63); Float (-5220519808819788) (-57);
Float (7183571256063930) (-65); Float (-5305231118302346) (-57); Float (-6853728226453056) (-62); Float (-6933449961406972) (-61); Float (-5157790057542553) (-56);
Float (7429710382760714) (-62); Float (-8456740231851578) (-69); Float (7900978729380302) (-64); Float (8119072818585698) (-69); Float (4770955332454272) (-61);
Float (-5081569756636082) (-62); Float (-4797624477437170) (-63); Float (-5840832754061262) (-63); Float (-4856369215078742) (-63); Float (4846682462883860) (-60);
Float (-8142677649405622) (-65); Float (5296544804146680) (-60); Float (6430466751843974) (-63); Float (4848224553638176) (-61); Float (-8362659066538806) (-59);
Float (-5134635655164996) (-65); Float (6923933249939764) (-66); Float (6333912882979924) (-65); Float (4904866070137454) (-64); Float (6508436021168820) (-61);
Float (-6087169308103344) (-67); Float (7400458715294230) (-61); Float (-4757688210985662) (-62); Float (-7409929970047028) (-63); Float (-7871443910958070) (-57);
Float (7631510606943502) (-62); Float (-5650830958537708) (-65); Float (5647135193197434) (-61); Float (-7212870753311986) (-64); Float (7560087392614244) (-64);
Float (-6558556676627794) (-61); Float (-5974248573097968) (-62); Float (-8476840573913730) (-64); Float (-5300678121612693) (-58); Float (-5499276685040346) (-61)];
[:: Float (-6922170055678634) (-59); Float (-7245780161266552) (-61); Float (6733273722278558) (-63); Float (6669561432964402) (-65); Float (5662403873274630) (-62);
Float (7282850033118312) (-64); Float (4986289847995716) (-63); Float (5966284380365102) (-64); Float (-8248438608557044) (-61); Float (-8000374001504504) (-67);
Float (5159583375864678) (-64); Float (4707771104593900) (-70); Float (5997676226155854) (-65); Float (-8921455447770530) (-73); Float (-8906552295974222) (-65);
Float (6947770330597236) (-63); Float (4640021582979700) (-65); Float (7137107558126562) (-63); Float (4880283247473158) (-64); Float (4987053687966030) (-65);
Float (5592902370033876) (-66); Float (5065361514563710) (-63); Float (6698100811589640) (-69); Float (7783477492767140) (-66); Float (4593723833536502) (-69);
Float (-8899394400755952) (-65); Float (4789326963212212) (-62); Float (4682039808742000) (-64); Float (4586158882431046) (-65); Float (5002427483165674) (-69);
Float (-4854688085498342) (-63); Float (5168804563940038) (-68); Float (-5106894770904808) (-66); Float (7866100919067254) (-64); Float (-5754538434000186) (-65);
Float (5625296895196408) (-61); Float (4554613802082054) (-53); Float (-7914097293372020) (-64); Float (-5372157968538797) (-56); Float (4791889522815186) (-73);
Float (-5788013993082614) (-57); Float (5030571173001158) (-71); Float (-7049514243796152) (-61); Float (-8677413719820408) (-63); Float (-7289414997476354) (-68);
Float (-4856170556045456) (-66); Float (-5515179595307488) (-67); Float (5194898133149018) (-68); Float (-5093907890549980) (-67); Float (-5543023964418075) (-56);
Float (-8387896817544192) (-68); Float (-5809900636817459) (-58); Float (6216610945565366) (-72); Float (6899470260418268) (-60); Float (-7950960506582312) (-66);
Float (-5709495658732754) (-72); Float (4798566814308992) (-67); Float (8732512679725940) (-68); Float (-5907335377593856) (-57); Float (-7953433207602272) (-68);
Float (6743123408048240) (-60); Float (-4608927086118684) (-70); Float (7358324609140942) (-65); Float (-5607175281330020) (-60); Float (-4554154346300330) (-59);
Float (-7990944252677124) (-65); Float (6535567240046226) (-63); Float (6627086824233268) (-65); Float (8138669922392444) (-68); Float (7113734944100992) (-67);
Float (6252777862116792) (-66); Float (6987403563946400) (-67); Float (7884941910406118) (-66); Float (5506168765796656) (-69); Float (-7842004825871414) (-65);
Float (6838002712885998) (-64); Float (7933693819765268) (-66); Float (-6043163226300682) (-67); Float (-8040434205511940) (-68); Float (6074464703669970) (-67);
Float (7989534154199732) (-68); Float (-6578773285501520) (-65); Float (-5309692104232112) (-65); Float (-5394097374778124) (-65); Float (7822506550789020) (-63);
Float (-8325484191876670) (-56); Float (5864244891286418) (-66); Float (-4820209514611936) (-57); Float (-7048337186000814) (-69); Float (8856911099773668) (-60);
Float (8861475627953730) (-65); Float (-8763654578732328) (-71); Float (7113900894138182) (-67); Float (-4667164580670448) (-69); Float (-4938907843200543) (-57);
Float (-4908942638080506) (-67); Float (6462352311486096) (-59); Float (5094068173885772) (-65); Float (4777333844024552) (-65); Float (7568795327317234) (-60);
Float (8278978680890032) (-61); Float (8942689924928610) (-65); Float (7442937910383610) (-65); Float (-8559143146867246) (-69); Float (4744982139836062) (-64);
Float (4751559968637440) (-67); Float (-7940733754485896) (-65); Float (6225310728691920) (-67); Float (-4542929749423324) (-65); Float (7102702769028032) (-64);
Float (-5109995461816533) (-56); Float (8253480578058250) (-68); Float (5668719028016914) (-59); Float (8715768933088262) (-65); Float (7109387577526144) (-67);
Float (5230322849412512) (-59); Float (-7587104882817304) (-67); Float (-5265010124947708) (-64); Float (-5551856090378302) (-65); Float (-8174855017286278) (-60)];
[:: Float (-6320908735170606) (-61); Float (-6098788290026546) (-62); Float (-5296598429529332) (-66); Float (-8058363176834722) (-65); Float (5715671324571326) (-65);
Float (-7858822879443032) (-65); Float (7765413025297610) (-67); Float (5165529648362682) (-66); Float (-4956033757681780) (-67); Float (-8854006764036604) (-65);
Float (5436353416275312) (-69); Float (-6909009616235346) (-66); Float (5933662241944990) (-73); Float (6489811452289558) (-66); Float (-5721787435038098) (-71);
Float (8178292272681116) (-65); Float (-5267007093921550) (-65); Float (6131260710783508) (-65); Float (6059378870458552) (-67); Float (5261608888325822) (-68);
Float (6021862631323162) (-69); Float (8939925483009576) (-69); Float (-6331693876681482) (-66); Float (7745492766864694) (-71); Float (4589416042925684) (-65);
Float (7021044230441816) (-72); Float (6457788430972278) (-64); Float (6757550793295652) (-69); Float (5743649015719750) (-68); Float (7981152653937514) (-69);
Float (-7996019884648092) (-69); Float (-6991763306979726) (-69); Float (6799005340311194) (-73); Float (6761879279494616) (-65); Float (-7574108567865834) (-68);
Float (6510443915167982) (-70); Float (-7914097293372020) (-64); Float (5098764139185387) (-53); Float (-5723010289046852) (-69); Float (-6212932019484848) (-56);
Float (-8960791087032160) (-69); Float (-8068980953573457) (-57); Float (-6864819684198854) (-66); Float (6202547648060970) (-69); Float (-5043520506312250) (-65);
Float (-8613918425621672) (-69); Float (-4775721211628118) (-67); Float (6908638486385342) (-68); Float (-8869862469665298) (-72); Float (-6176007446738760) (-67);
Float (-7589340770770934) (-57); Float (-5876724550960170) (-70); Float (-7397082575147818) (-58); Float (-8273784605759518) (-68);
Float (-7136288283866312) (-67); Float (-8465253626203404) (-67); Float (6186014563006058) (-68); Float (4627274777710524) (-71); Float (-4791310362274200) (-68);
Float (-8135341578384515) (-58); Float (-7280370806607844) (-68); Float (-6618183214713612) (-68); Float (-5666374829252622) (-68);
Float (-4588506114184342) (-66); Float (-7072460700061632) (-67); Float (-6595672545297274) (-65); Float (7747481437175756) (-66); Float (-5884049210086214) (-65);
Float (-6082515900289466) (-69); Float (-6965961486050968) (-64); Float (8434812208592860) (-67); Float (8173405950621884) (-68); Float (5430031660279348) (-69);
Float (7528233035647826) (-66); Float (5150496472273330) (-71); Float (5197257417949520) (-65); Float (-6930733437543936) (-67); Float (-4795188817390150) (-66);
Float (-7607764588322454) (-65); Float (5499674388755244) (-72); Float (4739938765939166) (-65); Float (8219638201495808) (-72); Float (-7874999136450560) (-68);
Float (-7636066010733892) (-65); Float (-5774824027626510) (-71); Float (5072296123400504) (-64); Float (-6174429949243395) (-56); Float (7355835930743488) (-67);
Float (-6380293736781317) (-57); Float (-4505965827372562) (-66); Float (8991929087902073) (-70); Float (7727041663031450) (-67); Float (8261323754529110) (-68);
Float (5940905512177388) (-67); Float (-6745754743835858) (-72); Float (-7375188560230121) (-58); Float (-7309138386572736) (-67); Float (7377695726170262) (-68);
Float (5511433548476540) (-67); Float (-5670063332713474) (-66); Float (5169290104585502) (-63); Float (7059679185029530) (-63); Float (5111629950869232) (-66);
Float (-6658733343180002) (-66); Float (7383952617433340) (-68); Float (6720999808588544) (-65); Float (5098179450409838) (-69); Float (-7331894461802270) (-70);
Float (-4780741499256948) (-65); Float (8033527579003534) (-70); Float (7386288543438104) (-64); Float (-7887849493344725) (-57); Float (6178290552657284) (-68);
Float (6649256808264140) (-67); Float (8583253389611498) (-66); Float (-6649755299076514) (-67); Float (8061858403237906) (-64); Float (8318828944971674) (-63);
Float (7808557139409816) (-68); Float (7772547771658502) (-64)];
[:: Float (7887180894585860) (-63); Float (-7447204158616132) (-66); Float (-6241583783497304) (-64); Float (-7002697979935162) (-65); Float (-6867287827024750) (-64);
Float (-5018139629002452) (-65); Float (7928359706260122) (-66); Float (-5139229648868576) (-68); Float (4770900004890162) (-64); Float (6613767238516834) (-70);
Float (-6017639607048466) (-65); Float (8305057451995560) (-75); Float (6096398151976674) (-68); Float (6400230590381552) (-71); Float (-5410994740426976) (-67);
Float (-8513780042507704) (-66); Float (7018898000111464) (-70); Float (-7034151717849698) (-66); Float (6160480504608424) (-69); Float (-4961979985132016) (-71);
Float (7901906917052072) (-73); Float (-7417179680505660) (-67); Float (6766310107815766) (-72); Float (-5450511943322946) (-66); Float (5266925123237944) (-72);
Float (4733248193109128) (-67); Float (-8537252644042142) (-67); Float (5577629029252172) (-67); Float (8925616994055070) (-68); Float (6625948666114318) (-73);
Float (4720714024689406) (-65); Float (-5814975037002552) (-71); Float (7492537787480778) (-68); Float (8915345084546252) (-67); Float (6785914834934194) (-72);
Float (5486102735384366) (-66); Float (-5372157968538797) (-56); Float (-5723010289046852) (-69); Float (5539830291549099) (-53); Float (7541696618639504) (-70);
Float (-5146735735252536) (-56); Float (-5779836621898570) (-68); Float (-5961020433692267) (-57); Float (-4653025693260220) (-66);
Float (-7287849321450844) (-68); Float (-6371805047092412) (-68); Float (6560390436982564) (-70); Float (5973939655029176) (-69); Float (5455220118424750) (-68);
Float (-6991304694784716) (-58); Float (-5415915939432740) (-69); Float (-4593233367042207) (-57); Float (-4907871517525792) (-69);
Float (-7240825832540074) (-59); Float (5042744581059458) (-68); Float (-6133518747565204) (-69); Float (6506139729971454) (-75); Float (6985068234091180) (-68);
Float (-7217462079869782) (-59); Float (-8543995852890942) (-69); Float (-8689967197472108) (-60); Float (5003220499129738) (-66); Float (8869055788092152) (-68);
Float (6635432447260426) (-60); Float (-7843389184770944) (-68); Float (-6795509603514148) (-67); Float (6042957144076778) (-67); Float (6674266896617336) (-69);
Float (8218831047247966) (-65); Float (6660486769501040) (-71); Float (-4578940564232812) (-66); Float (4566550219133670) (-71); Float (6713527362305518) (-67);
Float (8814916016906838) (-70); Float (6164929270225256) (-67); Float (-6834028761461010) (-67); Float (7239387413106660) (-68); Float (5603848204234452) (-65);
Float (-8542427141667736) (-71); Float (5950723298166048) (-66); Float (7700667839671652) (-71); Float (4690794215901310) (-66); Float (5244692372688720) (-67);
Float (-7097324502315040) (-68); Float (7490330930401666) (-65); Float (-6419138224467115) (-57); Float (5010804975929154) (-70); Float (-7280195865492426) (-57);
Float (5571691606395594) (-67); Float (-6646820453448206) (-58); Float (-6145728931693120) (-66); Float (5655078757476124) (-71); Float (5030092559481252) (-67);
Float (7504319405146452) (-70); Float (-5126652822461578) (-59); Float (-6106975158436898) (-70); Float (-4590816379674268) (-60); Float (7424915913953542) (-68);
Float (5992286821659012) (-68); Float (6007689524959774) (-59); Float (-5893604399648834) (-62); Float (7974350129302138) (-68); Float (4830672192298372) (-63);
Float (5728658526342076) (-67); Float (-8411407691435464) (-67); Float (7493218247522240) (-71); Float (7711873134107142) (-68); Float (-6348475214739448) (-65);
Float (-5161948092859030) (-68); Float (8742560553467668) (-69); Float (-8053678227132019) (-58); Float (-7064659976804242) (-72); Float (-4503899048347400) (-58);
Float (-7370136400978760) (-66); Float (-7003138150519434) (-73); Float (7288883559749964) (-59); Float (-7398845728664794) (-62); Float (-8578051618808070) (-67);
Float (-5125506602838412) (-64); Float (7216264807022212) (-60)];
[:: Float (4708940635741638) (-69); Float (-5202187921962788) (-64); Float (-7182536320805622) (-65); Float (-6165449192187262) (-64); Float (-5525437889557370) (-65);
Float (5633117572334402) (-66); Float (-6871572004527506) (-69); Float (7225094898702372) (-70); Float (8804629348589647) (-72); Float (-7593875034130634) (-66);
Float (-7744275463886272) (-75); Float (7651021148467424) (-67); Float (-4919305794148294) (-73); Float (4930072758630936) (-67); Float (7228595859199528) (-73);
Float (-5974774794904404) (-71); Float (-4782327505323148) (-66); Float (-4878232027237542) (-69); Float (-5757575701834150) (-68); Float (6056596390459678) (-69);
Float (5035945273500906) (-68); Float (-8817923121704668) (-71); Float (6202647877995202) (-67); Float (-4641437005808080) (-70); Float (7960232885466546) (-67);
Float (-5010771499023316) (-70); Float (4623479744922322) (-69); Float (-5560454076282988) (-69); Float (5938350155754016) (-68); Float (-5932062744903984) (-70);
Float (-7518055514425604) (-70); Float (7789064803882468) (-67); Float (-6845405686497678) (-70); Float (-7019970770094058) (-68); Float (-7887099433069734) (-68);
Float (5499790047180588) (-67); Float (4791889522815186) (-73); Float (-6212932019484848) (-56); Float (7541696618639504) (-70); Float (5526444137810820) (-53);
Float (-4616980699373972) (-71); Float (-5977901022076129) (-56); Float (-6104666693476376) (-72); Float (-5921348944328006) (-68);
Float (-8054700093409834) (-68); Float (8948558785259614) (-69); Float (-8057013128532768) (-71); Float (7958068444844654) (-68); Float (7968718242020846) (-71);
Float (-4630337986754246) (-69); Float (-4988780838459426) (-57); Float (-4678779006717598) (-69); Float (-4924212986614524) (-57);
Float (-6253055055759736) (-69); Float (8658985331157158) (-70); Float (-5744658023891168) (-69); Float (4721315125265932) (-68); Float (8665910826238314) (-70);
Float (-8927622460977426) (-70); Float (-6212576471896304) (-58); Float (-4867985369316756) (-69); Float (6635245246516086) (-67); Float (7569742305063948) (-69);
Float (-5995265866825962) (-68); Float (-7585157168448130) (-67); Float (-4964709040287630) (-64); Float (-4880658148821812) (-71);
Float (-4836937991007916) (-71); Float (7164306849102670) (-69); Float (-8598994021762306) (-66); Float (-7556314932315106) (-71); Float (5948193942558666) (-66);
Float (6420424577509720) (-70); Float (6754854036773204) (-66); Float (5553183518701732) (-70); Float (-8962209618856529) (-70); Float (-7946864330116322) (-66);
Float (-7260405206551494) (-70); Float (-5431837817688834) (-66); Float (-7768134274793136) (-71); Float (4523040174498334) (-65); Float (-7393105261672488) (-73);
Float (-7820952348164064) (-67); Float (-5892186177102210) (-65); Float (7679084761839636) (-69); Float (7204225882260794) (-71); Float (-8366289066918172) (-57);
Float (4648540399560534) (-66); Float (-8263805647981326) (-57); Float (5540057403178316) (-67); Float (5993926073488494) (-69); Float (4900691117937052) (-68);
Float (6666517960050684) (-68); Float (8410383204533218) (-68); Float (7078930059626398) (-72); Float (-5596487503162957) (-58); Float (-6217672450570926) (-74);
Float (6028278551150694) (-67); Float (7583571420049608) (-68); Float (-7395382906023594) (-68); Float (5676558448074930) (-69); Float (5255228155332496) (-65);
Float (5345901221894648) (-66); Float (5547053814886090) (-65); Float (-4702284798043070) (-71); Float (7791545626262550) (-66); Float (6537747089203766) (-70);
Float (-6773358920202516) (-67); Float (-7285038709868910) (-65); Float (5806944724515666) (-69); Float (8072353687330242) (-68); Float (-6395232201816747) (-57);
Float (6412852019396702) (-66); Float (8315592606112314) (-68); Float (6142016225572038) (-67); Float (-7542548706006692) (-68); Float (-5911413495000774) (-68);
Float (8826231560550462) (-66); Float (6104950947200460) (-70); Float (-6969181709974560) (-66)];
[:: Float (4613841013915200) (-62); Float (6001056628845236) (-66); Float (-6347780579027202) (-64); Float (-6220892876743624) (-65); Float (6421191550331866) (-68);
Float (-6494368879823962) (-67); Float (7514542752789004) (-68); Float (8845025194967786) (-68); Float (5713961161400238) (-65); Float (-7065929469994826) (-72);
Float (8804343899487816) (-69); Float (-7577491714304674) (-74); Float (-6599296334525906) (-71); Float (4725903909918302) (-69); Float (-4507874561557902) (-68);