-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathdoc_norms_Oktf.txt
3495 lines (3495 loc) · 76.4 KB
/
doc_norms_Oktf.txt
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
1 7.43743290963788
2 4.5805935294357765
3 4.5805935294357765
4 4.566189733448904
5 8.070125744284011
6 8.070125744284011
7 6.585974405017976
8 6.585974405017976
9 10.58091532664527
10 10.58091532664527
11 11.14299566264496
12 11.14299566264496
13 2.080696646498154
14 2.080696646498154
15 1.3263244085321697
16 1.3263244085321697
17 0.0
18 0.0
19 6.848442259594353
20 6.848442259594353
21 4.337669181480648
22 4.307029188144827
23 8.461832816445392
24 8.461832192239845
25 2.541694356043175
26 2.541694356043175
27 10.936181615934935
28 10.936181615934935
29 9.721874891098482
30 9.721874891098482
31 8.476747828461146
32 8.476747144972046
33 9.729182903426318
34 9.729182903426318
35 10.93337511199459
36 10.931627255025392
37 2.622776694552994
38 2.622776694552994
39 1.617324202330485
40 1.617324202330485
41 0.0
42 0.0
43 10.247336708273062
44 10.247336708273062
45 9.631623569864953
46 9.631252062259103
47 8.502320186310563
48 8.479740030611046
49 7.195176800011729
50 7.175513091678919
51 6.92868118049894
52 6.913650767653348
53 9.51071982308014
54 9.51071982308014
55 11.449930084196692
56 11.448651151849614
57 7.970885063258611
58 7.970885063258611
59 3.157528164761977
60 3.157528164761977
61 8.772986879813553
62 8.772866271850248
63 2.186053557325345
64 10.2961642465379
65 4.001225205370365
66 1.8642727376539763
67 5.572164469767306
68 8.846392668558302
69 8.967925871747093
70 9.1591867941375
71 9.538336711488023
72 7.433508534343681
73 4.504298270882659
74 9.631867060525018
75 10.247242056340342
76 7.718601773486868
77 6.527482770435294
78 8.49998517613545
79 11.160157143924575
80 7.898276417641498
81 8.144880646626813
82 7.93596767436914
83 9.004634467827914
84 4.182712569158186
85 5.792690616105705
86 5.470609291993516
87 9.969745726196747
88 3.372034591596492
89 6.741873268595445
90 10.291500132558339
91 5.644563201866132
92 2.622776694552994
93 9.684461413512299
94 8.177852573291485
95 7.595707693610199
96 7.580233425358069
97 7.947050963733037
98 0.0
99 10.335368052523622
100 7.968882164661697
101 8.04038304189774
102 7.609023064131643
103 7.704062261972243
104 8.171559751099542
105 7.8629821070729635
106 8.45794286446512
107 7.574915586266408
108 0.0
109 2.622776694552994
110 7.622411155295559
111 8.42768700424503
112 6.585503263277165
113 9.759692170166632
114 5.405677390420152
115 8.19735202188383
116 8.862209679954635
117 8.890968044120106
118 7.366476506595718
119 9.589409162660655
120 2.620506682081936
121 7.879669458363426
122 1.753026417593557
123 7.561315469357964
124 8.671724094172355
125 9.684053281210808
126 9.714045681282338
127 6.889934082897819
128 6.633478088646551
129 9.195670993980078
130 9.966999333261437
131 6.769665432785646
132 6.039843290745403
133 6.700436578995952
134 8.467124837987793
135 6.8697027374299084
136 10.314521367667728
137 0.9424342541578425
138 6.958076823618204
139 7.347851783719506
140 5.9532205953895625
141 8.730887213460933
142 8.751410182783719
143 9.7031486740231
144 5.9532205953895625
145 1.7393237843735412
146 7.019715326743824
147 9.462945785093565
148 5.99792788099982
149 3.372034591596492
150 6.0061905550468415
151 7.344676769949159
152 6.629272521144318
153 2.687201826291438
154 7.919596278452549
155 4.96407919257973
156 2.1728093562712316
157 3.250315032114893
158 9.622797678011903
159 7.870215748993715
160 2.169054723798208
161 7.450871977591686
162 7.172243137626314
163 8.9791252007783
164 7.04568000995241
165 7.6503999625815675
166 9.85367044534184
167 8.80791571543675
168 8.618363989199503
169 2.4512595460255873
170 6.5601605684153945
171 2.537294684582148
172 4.931786381152206
173 3.5122196818903864
174 10.947014530961098
175 5.889434268342535
176 9.05401867401783
177 5.362974242363773
178 6.221667784565595
179 7.627982642897293
180 10.049540830849182
181 10.120448503016975
182 0.0
183 9.448853981758464
184 9.490315773805543
185 7.7914080626792765
186 7.048541780172757
187 10.29439426561631
188 6.550679652280856
189 5.797070113265718
190 8.04754493415973
191 4.088694544211383
192 5.81222095357071
193 7.800991066462983
194 3.6993799545938826
195 6.105461525584691
196 3.946254015314524
197 3.176461402221123
198 3.877586367861168
199 6.406699013563152
200 7.661872240540998
201 6.174372667926671
202 6.174372667926671
203 6.174372667926671
204 6.174372667926671
205 6.174372667926671
206 6.531760483099585
207 10.124839921017315
208 7.365319111079517
209 6.153681633941893
210 7.898486675733845
211 7.811942600957354
212 6.6856051528648655
213 4.117415681299581
214 7.32618724291352
215 4.931786381152206
216 8.538680605763442
217 5.660862744699456
218 7.484889432276589
219 7.236516859818482
220 6.315039081978358
221 6.936379983771875
222 3.932949066778433
223 1.4841760786634466
224 7.958506054961309
225 5.6124302099131596
226 6.587684122667692
227 6.00134725478283
228 7.499434173984686
229 8.355868574628689
230 5.001359211858669
231 6.390750035896606
232 2.099920717383927
233 5.273222129553868
234 2.8493942357567534
235 5.673992915911777
236 10.70504213866718
237 7.138172191364979
238 5.107708739569341
239 5.499766077841516
240 6.6281573253919035
241 10.75291108047292
242 10.880691868573463
243 6.921460252569687
244 8.971380563772618
245 8.578686946000746
246 7.531710218058727
247 9.433596446530425
248 2.089779470040395
249 8.906645740736503
250 6.399325786859085
251 5.498524063519136
252 3.1939905865945457
253 4.966401010697512
254 9.262531894882663
255 7.177745712148517
256 6.620589555118941
257 8.362431415625005
258 5.893706963537051
259 2.087956567014721
260 1.8724250450684927
261 7.922198109402855
262 10.515593812600075
263 9.702203134602144
264 10.518351678173383
265 7.428591780106465
266 8.162733088122506
267 9.200074928389466
268 2.281271999004436
269 7.50729796854529
270 4.598320342502138
271 4.0042454330281485
272 6.694428698537655
273 7.423430497448194
274 9.06731230435901
275 9.304429871829447
276 5.3482179514846
277 3.4474044463998914
278 6.987104929930132
279 3.192871542941879
280 7.25223659280601
281 8.963750656828827
282 4.598320342502138
283 6.130035115913595
284 6.56474371917282
285 10.418053238170696
286 8.438731953685663
287 3.57000327092798
288 10.412206437968566
289 6.507411014675091
290 2.366188673711975
291 4.179235011516383
292 3.8581535588145086
293 1.6244090171512577
294 1.7484349468543634
295 1.4841760786634466
296 5.352368999384965
297 7.189286487220804
298 6.065161538543314
299 11.178588285888539
300 5.355419188523157
301 4.323540521910402
302 9.315615226568136
303 7.48931606732681
304 7.592719185586871
305 8.56529856256715
306 6.065161538543314
307 4.858384119613334
308 5.866404074554698
309 8.070408702231477
310 6.495747982661773
311 7.5734384854561325
312 5.22238050886244
313 6.315039081978358
314 4.984771525873755
315 9.027536693120274
316 5.609327186965415
317 6.315039081978358
318 9.815345875573914
319 5.481446294484368
320 10.324017230177201
321 9.623271935954591
322 7.079796347601104
323 9.124679299171099
324 10.079540015065831
325 8.233179128918959
326 6.600978544735215
327 6.619420900478431
328 3.637417443563705
329 6.138063366028808
330 8.11028612567619
331 9.331640406991866
332 9.168266385583355
333 6.978965819742075
334 8.572866592972268
335 6.978965819742075
336 7.4464597013518254
337 6.6281573253919035
338 6.832729823218907
339 7.390498208464254
340 5.370618733553387
341 11.146128422975535
342 5.2102301666211215
343 5.051748825888901
344 10.170520586439544
345 11.28106985370478
346 4.5895619757554025
347 3.9395903075718675
348 3.7745097020936553
349 3.9943453855507607
350 11.152145645840992
351 6.61668115027329
352 7.014695458677066
353 3.536246016288338
354 7.666266185812851
355 2.9171913967602108
356 4.6044238627489245
357 5.266361969641359
358 6.022026457827476
359 10.145411324667498
360 6.941679363385838
361 5.528723467447142
362 7.873320373710619
363 5.477324527472019
364 5.950800481698419
365 8.754051739870432
366 5.688910632584759
367 5.492005114934953
368 6.7833088388692495
369 5.643379541925863
370 7.89335213405779
371 7.663829748133665
372 8.281574048573336
373 10.54344815367194
374 7.962258589697758
375 6.232555054634911
376 6.51328854336439
377 5.459283330942627
378 6.196120549865229
379 10.726305970075055
380 5.644310390817742
381 0.0
382 5.585429807244506
383 5.479556933423872
384 5.842239927423975
385 5.554093405726286
386 5.451122616968997
387 5.487941183128861
388 8.447674549319876
389 6.269165807428817
390 5.663984813438579
391 5.567248237568841
392 5.541051509017366
393 5.475490175775136
394 6.0571715501972
395 5.528723467447142
396 5.52030332870135
397 5.528723467447142
398 5.459283330942627
399 7.776246578368804
400 5.552487182453524
401 1.982538879836177
402 5.274881744136976
403 6.852893361577425
404 5.473730737490049
405 6.051755281229788
406 7.671930232129279
407 7.29504078978277
408 6.305378040666955
409 7.594284768883709
410 6.569818229647267
411 0.0
412 0.0
413 0.0
414 7.139294503852306
415 6.429432448194983
416 6.702758706131558
417 6.037686511949228
418 5.926932831758203
419 8.968772316360997
420 6.091265448914027
421 6.507174830665509
422 6.935940858925259
423 11.0428009054421
424 10.231492509464239
425 7.163305975120383
426 6.173222698219787
427 7.540564954438212
428 1.6244090171512577
429 6.397369921047096
430 6.334206220994441
431 6.007826903692538
432 6.701814349503559
433 2.0877142388674894
434 6.913241207224871
435 5.69097446589579
436 6.674584241753362
437 10.62537230340484
438 4.958154727442344
439 5.259350045344045
440 6.803787178116883
441 7.676209837256377
442 8.68218830621644
443 9.653414389188427
444 6.888012362380229
445 5.913296608192697
446 4.352336066000679
447 2.080696646498154
448 7.475110806101232
449 10.999080889898872
450 5.603949954050992
451 7.17049580182696
452 1.8724250450684927
453 2.189867322080014
454 3.522590100013811
455 3.5729822409271557
456 3.6223353416194652
457 3.670693831668864
458 3.5729822409271557
459 9.126118446984227
460 4.9521559113158755
461 6.13366777957658
462 6.2851179797762775
463 5.234139232376326
464 5.056492062637458
465 5.737531553786611
466 7.714810704794927
467 1.7484349468543634
468 9.331287027377122
469 6.340221912499987
470 6.643870135651825
471 5.115576424894317
472 10.284797319356302
473 10.005419898951397
474 3.1901247549537857
475 6.572851455750402
476 5.1821829667387815
477 5.090090386156467
478 6.083720587939069
479 5.198402031601315
480 5.661385495655949
481 1.1496378471005915
482 1.4841760786634466
483 1.753026417593557
484 5.234139232376326
485 1.6244090171512577
486 1.6244090171512577
487 1.6244090171512577
488 4.344496062980079
489 7.348512794765928
490 0.9394992031427292
491 5.717639242524144
492 5.745397131293861
493 5.944192474691401
494 6.652050761006158
495 4.967041768078436
496 7.371746817290066
497 7.4785513345001755
498 7.844831895278954
499 4.992659509193419
500 6.166525814238089
501 2.9943926196041746
502 6.059002909722458
503 7.5889760472163434
504 7.411811235187534
505 8.418776781904281
506 7.638717517175677
507 3.6305424867396447
508 10.115813002924146
509 6.167498199963286
510 6.789620498558775
511 6.245753763242767
512 6.660001826302693
513 9.761811830758642
514 5.3051331588090225
515 2.9186503136252315
516 5.3467528771490125
517 8.236771279601955
518 8.236771279601955
519 4.778376232625208
520 7.630722524206591
521 0.0
522 6.98737171052397
523 7.132174618443554
524 2.4380733107076793
525 7.706326186844946
526 9.116881443472954
527 4.808718946590325
528 7.394818886445278
529 2.0825068894327203
530 9.663181290908643
531 7.514777276405062
532 6.699041086570545
533 2.698820632238031
534 4.790288403315937
535 7.202080158885305
536 7.332064844507563
537 1.8724250450684927
538 0.9411512123633232
539 6.464782424896883
540 7.154826410224862
541 5.935560172984492
542 6.699862240316348
543 7.0957630040823485
544 5.168611490953513
545 4.4152657227712115
546 7.825091446608645
547 2.984682672998079
548 7.846291254759491
549 6.234649488512538
550 1.6244090171512577
551 1.429889437916654
552 2.066327217937772
553 6.895368851728372
554 3.4251025412532403
555 2.5483225467202923
556 3.4251025412532403
557 7.449893408972017
558 1.4789884742234594
559 6.565966966893919
560 7.462240746130509
561 1.4841760786634466
562 5.7243419966182945
563 3.7776938624537095
564 8.455993072588303
565 3.8906929427537755
566 6.689937136489344
567 5.478798394007178
568 6.2308340632420185
569 4.955285536176843
570 6.123196253231369
571 8.083251346832421
572 6.951805178294262
573 6.760963190352895
574 5.825523529899291
575 2.376490766989167
576 1.6244090171512577
577 6.648615154400703
578 6.981760786683214
579 7.375106260529472
580 5.5335959856903045
581 9.968441279206756
582 9.968441279206756
583 7.797655092695458
584 9.968441279206756
585 9.968441279206756
586 6.50281982353911
587 1.753026417593557
588 9.968441279206756
589 9.968441279206756
590 9.968441279206756
591 1.9790831789160517
592 1.8724250450684927
593 9.968441279206756
594 9.968441279206756
595 2.087956567014721
596 7.571236823133425
597 7.699395378055959
598 8.521441087006762
599 6.527217517745339
600 6.565643882695104
601 8.284283170868026
602 8.284283170868026
603 5.435679379806836
604 7.634227848076939
605 7.09540240526898
606 3.846521667141336
607 7.968694248427726
608 7.709819458724222
609 7.869196070647033
610 9.97944213197534
611 7.954325250085312
612 5.536799165861559
613 7.382918515379796
614 9.968441279206756
615 7.030547895260728
616 9.968441279206756
617 8.33117098199824
618 9.968441279206756
619 8.817898036221232
620 9.623526670892206
621 7.857034117605574
622 5.3676174252068485
623 8.07157681277116
624 6.689937136489344
625 2.5483225467202923
626 7.117002122654885
627 0.0
628 6.694815931156694
629 8.056066810881026
630 10.752545741964337
631 6.58126670088996
632 2.5285408789824713
633 8.944567787683084
634 7.242773510719807
635 5.196716026513535
636 6.582630158940897
637 6.136497878386471
638 7.117002122654885
639 7.036646028745381
640 7.684178558440234
641 0.9411512123633232
642 7.855618623662676
643 5.868042198272595
644 5.868042198272595
645 7.170568377609044
646 6.886378339119497
647 9.161087418719259
648 2.184151652012337
649 3.0701327646925796
650 7.402944188629551
651 6.92883904151117
652 6.151488090672295
653 0.0
654 7.790363229035851
655 5.828900806774076
656 2.459775285219159
657 4.846700484526274
658 6.377101033062578
659 9.076866225240119
660 7.66548439659944
661 7.605741270069693
662 5.351073029439235
663 7.597377624657397
664 0.9411512123633232
665 1.4841760786634466
666 7.795163582854304
667 6.319962652592968
668 5.964471728012408
669 0.0
670 5.35003221499846
671 6.0539133727838434
672 7.528274779404377
673 5.878840252046497
674 9.6399549262631
675 5.759070000894385
676 3.6062653970374616
677 9.548658852567975
678 5.316203018509277
679 6.4437879390430295
680 10.166840974481639
681 8.22312541536251
682 7.358200840661791
683 7.158370306603673
684 7.229786555578254
685 7.942854813956844
686 6.789478692728342
687 7.30837794079024
688 7.4762732754161565
689 2.858104640757536
690 2.4576408082531747
691 1.1506468307255422
692 0.9411512123633232
693 6.24532681009222
694 8.08753325408659
695 6.11016853398841
696 3.8232350320666324
697 5.386506787456035
698 7.709823231806738
699 6.199627062584492
700 1.1516575869821717
701 7.843654994956155
702 7.551394738583005
703 6.692112568356959
704 2.376490766989167
705 8.702660982960907
706 7.290071307135903
707 7.78864691949014
708 3.533232346331917
709 7.182800485861961
710 7.358200840661791
711 8.144886580575893
712 6.319962652592968
713 8.640378724950853
714 7.6703048362188655
715 6.342859943920897
716 6.768997564034845
717 9.009334110860948
718 0.0
719 4.982011058821605
720 1.7469097967605338
721 5.202989631218145
722 3.7953450432958666
723 3.5483522823017535
724 6.398976247243748
725 9.3225002366073
726 8.08753325408659
727 0.03562088145545969
728 2.1746915511802127
729 7.942854813956844
730 4.655957354923727
731 7.069838343300705
732 8.08753325408659
733 7.667636160925815
734 4.773771914497472
735 4.234388142547573
736 4.842925599412574
737 2.701156460715175
738 5.484581709550284
739 2.546109312076887
740 7.161629582990246
741 6.168843310383736
742 6.088819321630784
743 5.514062361245818
744 2.546109312076887
745 2.546109312076887
746 7.348591753063014
747 2.546109312076887
748 2.546109312076887
749 2.546109312076887
750 6.224577966367846
751 2.627328538353592
752 2.546109312076887
753 7.163826076047629
754 2.546109312076887
755 7.337175104984578
756 2.627328538353592
757 4.770950844217431
758 6.039719727461507
759 2.4512595460255873
760 4.767359347632111
761 2.087956567014721
762 6.671461702425455
763 5.555834264680886
764 8.016795406865464
765 4.770950844217431
766 2.4512595460255873
767 5.100795433718937
768 1.751493250265264
769 4.992981692391326
770 6.612757900652977
771 8.440696891229237
772 3.683709952738565
773 6.000802099471024
774 7.316468876791699
775 7.312585802978454
776 7.049637468920017
777 6.909850545861395
778 4.933742647200128
779 7.18683311403235
780 4.767359347632111
781 7.627093536022763
782 2.1879587777894494
783 1.9842712597814103
784 7.229777154891701
785 6.518662259968175
786 2.186053557325345
787 6.681943523738714
788 8.905067099384025
789 2.1879587777894494
790 6.961408719753188
791 5.093527658768953
792 3.818396118080425
793 3.043414184157332
794 7.778813463838468
795 7.866131467506833
796 5.8227044282363485
797 7.211587477849956
798 7.857355072626448
799 7.066630669953366
800 5.792473607412927
801 7.036710819852044
802 6.717619570453452
803 7.544263160451597
804 7.822999559048527
805 8.529535769596363
806 7.629989380901509
807 7.7017996972281555
808 5.011144716085309
809 7.805312923581749
810 0.0
811 4.418494255104829
812 7.960488813206657
813 5.0256457494495335
814 3.261519133266696
815 5.126843823419405
816 7.1316668342883585
817 7.684178558440234
818 2.087956567014721
819 5.247745428771952
820 2.169054723798208
821 4.055631179200498
822 0.0
823 5.230469382904997
824 4.112982405682115
825 0.0
826 6.199933681973412
827 5.145658976689687
828 6.1282938216351805
829 0.0
830 5.991494780629996
831 5.11568300160628
832 5.298863594721436
833 5.727330046867483
834 7.775215129117253
835 7.782903164514342
836 7.532257463181502
837 1.8691555811975233
838 7.394807334289977
839 6.548107124901791
840 3.3884675665359976
841 5.229259852529083
842 5.234139232376326
843 6.774703891033148
844 7.601000409518471
845 7.891469339867987
846 7.0770653088579065
847 7.718360564075226
848 7.204990763923006
849 7.100940742112725
850 7.7170485342798685
851 3.9472113840460064
852 7.71865830597216
853 7.854709037480115
854 7.059567200495181
855 6.116874946602001
856 6.232205576234849
857 6.232205576234849
858 6.232205576234849
859 6.232205576234849
860 6.232205576234849
861 7.180473430790285
862 6.975709744476253
863 6.509390005790912
864 1.6244090171512577
865 3.633623390227756
866 3.3392335991919504
867 7.684178558440234
868 6.732688667140126
869 7.978642761482191
870 8.055024112467338
871 8.263048408670928
872 5.328998738100779
873 3.413426737501246
874 8.329579267242373
875 7.800807956635015
876 6.568560092292501
877 5.598149288699309
878 7.099643322871523
879 10.326545777346135
880 7.987300902362498
881 7.827123136306016
882 6.134167934558618
883 6.2440787694984365
884 6.857477192575737
885 0.0
886 7.993941810323464
887 2.5483225467202923
888 6.545211321916507
889 7.938970438019807
890 7.281337924573192
891 8.864880866898313
892 4.162838558170189
893 3.2447417986249407
894 6.8132777782232505
895 7.791927697248595
896 7.625713853699338
897 6.463609503525986
898 7.863208310040285
899 7.1243015504174325
900 7.642575284457035
901 1.4815777354806838
902 2.7809700374813557
903 7.857122085378183
904 7.690309013463364
905 7.852628197479795
906 7.918549109530055
907 8.182088911447089
908 7.870288364014056
909 4.38529034822714
910 9.71988919391873
911 7.4112098992720705
912 5.573503204440004
913 1.7484349468543634
914 8.057948809142319
915 4.47334141687424
916 2.7461914765582263
917 7.918329119885979
918 6.304087242045703
919 5.194979861232674
920 7.505216321034183
921 7.541887733908378
922 1.9704964037651933
923 7.384773882493098
924 6.040580320647303
925 4.3200194487094725
926 7.660015597700908
927 4.035120602368181
928 2.535100555783854
929 2.7579837602412134
930 8.429762808247965
931 4.3200194487094725
932 7.69769496815084
933 8.098434264695213
934 2.0770855856896007
935 1.1516575869821717
936 7.504299521252784
937 6.436570967523035
938 7.886300809919355
939 5.749872116909994
940 5.678144714148861
941 3.0994660534188343
942 7.689830343215488
943 6.776439735877001
944 6.558727706124101
945 7.57623470351631
946 6.702374925884134
947 5.65011744295106
948 9.878162566111458
949 3.539264831652136
950 2.8312300900572622
951 7.6504017858788735
952 7.609601863438565
953 7.608930859467776
954 7.462240746130509
955 7.327393799054869
956 7.327393799054869
957 8.178590499615762
958 7.638357778946547
959 8.577195492706588
960 6.629934949132223
961 6.27793547324363
962 5.21383597647878
963 3.157528164761977
964 0.0
965 5.337755885283866
966 6.641116997434752
967 7.822999559048527
968 5.55604886999459
969 6.264528679252376
970 6.670140616000752
971 4.393356566280867
972 7.769116321084303
973 7.246840065235595
974 1.8658975151250259
975 1.982538879836177
976 4.442565802274129
977 4.429020289855593
978 1.7423502693701751
979 2.1879587777894494
980 6.746053706801091
981 6.3069060906561525
982 8.179440579087457
983 6.50281982353911
984 8.397845121182149
985 8.318777247525206
986 8.83211747929002
987 2.627328538353592
988 4.819697259109962
989 7.184022474940836
990 7.184022474940836
991 7.184022474940836
992 7.184022474940836
993 7.184022474940836
994 7.184022474940836
995 7.184022474940836
996 7.184022474940836
997 7.184022474940836
998 7.184022474940836
999 7.7412448489267325
1000 6.529857560722115