/
amortized-1.8M-10k.dat
17579 lines (17579 loc) · 247 KB
/
amortized-1.8M-10k.dat
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
0 0.000942
1 0.001302
2 0.001435
3 0.001544
4 0.001724
5 0.001672
6 0.001737
7 0.001889
8 0.001930
9 0.001925
10 0.001932
11 0.001801
12 0.001927
13 0.002170
14 0.002048
15 0.002317
16 0.002187
17 0.002124
18 0.002502
19 0.002107
20 0.002143
21 0.001583
22 0.001705
23 0.002034
24 0.001710
25 0.001996
26 0.002075
27 0.001987
28 0.001983
29 0.002005
30 0.026249
31 0.002405
32 0.002564
33 0.001752
34 0.001942
35 0.002138
36 0.002138
37 0.002284
38 0.002740
39 0.001895
40 0.002310
41 0.002670
42 0.003439
43 0.001477
44 0.001722
45 0.001886
46 0.002032
47 0.001922
48 0.002106
49 0.002270
50 0.001880
51 0.002153
52 0.002345
53 0.002129
54 0.002347
55 0.002481
56 0.001966
57 0.001995
58 0.002350
59 0.002143
60 0.002364
61 0.002625
62 0.002138
63 0.002364
64 0.002809
65 0.003618
66 0.001818
67 0.002016
68 0.002209
69 0.002183
70 0.002229
71 0.002384
72 0.002525
73 0.002135
74 0.002372
75 0.002785
76 0.003609
77 0.026001
78 0.002295
79 0.002374
80 0.002675
81 0.002403
82 0.003353
83 0.002463
84 0.004696
85 0.001681
86 0.001895
87 0.001928
88 0.002019
89 0.002020
90 0.002228
91 0.002394
92 0.001907
93 0.002217
94 0.002300
95 0.002320
96 0.002638
97 0.002806
98 0.001926
99 0.002113
100 0.002287
101 0.002281
102 0.002322
103 0.002540
104 0.002609
105 0.002472
106 0.002506
107 0.002745
108 0.002621
109 0.002987
110 0.002076
111 0.002123
112 0.002514
113 0.002090
114 0.002510
115 0.002802
116 0.002270
117 0.026545
118 0.002906
119 0.002144
120 0.003840
121 0.001939
122 0.002261
123 0.002513
124 0.002836
125 0.002622
126 0.003500
127 0.002237
128 0.002614
129 0.005015
130 0.002097
131 0.002112
132 0.002360
133 0.002268
134 0.002298
135 0.002505
136 0.002729
137 0.002200
138 0.002539
139 0.002947
140 0.002234
141 0.003758
142 0.001953
143 0.002263
144 0.002488
145 0.002868
146 0.002286
147 0.002547
148 0.003434
149 0.002563
150 0.002993
151 0.005051
152 0.002141
153 0.002220
154 0.002520
155 0.002590
156 0.002779
157 0.026563
158 0.003434
159 0.002355
160 0.002685
161 0.002950
162 0.005032
163 0.002279
164 0.002674
165 0.002752
166 0.002624
167 0.006898
168 0.001924
169 0.001949
170 0.002273
171 0.002010
172 0.002229
173 0.002366
174 0.002442
175 0.002727
176 0.002272
177 0.002578
178 0.002375
179 0.002542
180 0.002670
181 0.002043
182 0.002378
183 0.002459
184 0.002519
185 0.002664
186 0.002658
187 0.002767
188 0.026476
189 0.002695
190 0.003130
191 0.002710
192 0.003245
193 0.002100
194 0.002253
195 0.002419
196 0.002485
197 0.002597
198 0.002659
199 0.002764
200 0.002331
201 0.002656
202 0.003037
203 0.002401
204 0.003780
205 0.002212
206 0.002434
207 0.002655
208 0.003236
209 0.002393
210 0.003857
211 0.002388
212 0.002591
213 0.003016
214 0.004702
215 0.001980
216 0.002305
217 0.002336
218 0.002380
219 0.002338
220 0.002654
221 0.002925
222 0.002150
223 0.002480
224 0.002616
225 0.002847
226 0.002666
227 0.003417
228 0.026369
229 0.002777
230 0.002354
231 0.003249
232 0.002390
233 0.002713
234 0.003555
235 0.002719
236 0.003003
237 0.005115
238 0.002073
239 0.002409
240 0.002620
241 0.002738
242 0.002895
243 0.002746
244 0.003726
245 0.002423
246 0.002451
247 0.003041
248 0.005362
249 0.002367
250 0.002602
251 0.003085
252 0.002326
253 0.003987
254 0.002362
255 0.009392
256 0.002015
257 0.002185
258 0.002244
259 0.026639
260 0.002397
261 0.002431
262 0.002662
263 0.002855
264 0.002354
265 0.002644
266 0.002871
267 0.002945
268 0.002782
269 0.003458
270 0.002352
271 0.002425
272 0.002607
273 0.003323
274 0.002244
275 0.002615
276 0.003701
277 0.002769
278 0.003002
279 0.002417
280 0.004702
281 0.002366
282 0.002795
283 0.002232
284 0.003249
285 0.002355
286 0.002536
287 0.003058
288 0.003669
289 0.002410
290 0.002712
291 0.003026
292 0.029030
293 0.002470
294 0.002636
295 0.002975
296 0.002751
297 0.003618
298 0.002712
299 0.007906
300 0.002229
301 0.002419
302 0.002501
303 0.002695
304 0.002949
305 0.002463
306 0.002752
307 0.003083
308 0.003678
309 0.002363
310 0.002692
311 0.003066
312 0.005400
313 0.002157
314 0.002488
315 0.002636
316 0.002900
317 0.002724
318 0.003764
319 0.002529
320 0.008141
321 0.002311
322 0.026703
323 0.003152
324 0.002240
325 0.004176
326 0.002162
327 0.002746
328 0.003176
329 0.013009
330 0.001836
331 0.002134
332 0.002179
333 0.002200
334 0.002187
335 0.002378
336 0.002679
337 0.002074
338 0.002440
339 0.002467
340 0.002511
341 0.002527
342 0.002845
343 0.002693
344 0.002118
345 0.002385
346 0.002596
347 0.002474
348 0.002522
349 0.002960
350 0.002863
351 0.002442
352 0.002951
353 0.003279
354 0.002837
355 0.027690
356 0.002007
357 0.002314
358 0.002314
359 0.003044
360 0.002133
361 0.002802
362 0.002831
363 0.002794
364 0.002500
365 0.002776
366 0.002851
367 0.003389
368 0.004082
369 0.002557
370 0.002679
371 0.003189
372 0.002940
373 0.003074
374 0.002824
375 0.003807
376 0.002907
377 0.003300
378 0.005059
379 0.002025
380 0.002321
381 0.002293
382 0.002717
383 0.002476
384 0.002526
385 0.003038
386 0.002750
387 0.002425
388 0.002831
389 0.002904
390 0.002931
391 0.002826
392 0.003755
393 0.026287
394 0.002724
395 0.002645
396 0.002904
397 0.003058
398 0.002745
399 0.003945
400 0.002856
401 0.003120
402 0.005561
403 0.002044
404 0.002395
405 0.002789
406 0.002485
407 0.003521
408 0.002455
409 0.002848
410 0.003099
411 0.003712
412 0.002847
413 0.003071
414 0.002509
415 0.005118
416 0.002602
417 0.002765
418 0.003032
419 0.002839
420 0.003819
421 0.002888
422 0.007264
423 0.002055
424 0.002345
425 0.002461
426 0.002652
427 0.002255
428 0.026593
429 0.002792
430 0.002876
431 0.002411
432 0.002755
433 0.002872
434 0.002981
435 0.002903
436 0.003931
437 0.002220
438 0.002594
439 0.002582
440 0.002777
441 0.003017
442 0.002828
443 0.003225
444 0.003868
445 0.002460
446 0.002809
447 0.003435
448 0.004999
449 0.002378
450 0.002497
451 0.002587
452 0.002796
453 0.003072
454 0.002798
455 0.003115
456 0.003901
457 0.002480
458 0.002664
459 0.003142
460 0.029423
461 0.002489
462 0.002710
463 0.003280
464 0.002505
465 0.004180
466 0.002622
467 0.002861
468 0.007900
469 0.002539
470 0.002531
471 0.002642
472 0.003066
473 0.003106
474 0.002550
475 0.003449
476 0.002548
477 0.003607
478 0.002636
479 0.003468
480 0.002390
481 0.004088
482 0.002481
483 0.005469
484 0.002455
485 0.002752
486 0.003223
487 0.002487
488 0.004018
489 0.002553
490 0.032938
491 0.002138
492 0.002603
493 0.002654
494 0.002870
495 0.003051
496 0.004076
497 0.002429
498 0.002841
499 0.003181
500 0.005318
501 0.002528
502 0.003542
503 0.002498
504 0.016250
505 0.002172
506 0.002390
507 0.002481
508 0.002681
509 0.002272
510 0.002636
511 0.002852
512 0.026803
513 0.002487
514 0.002873
515 0.002366
516 0.003394
517 0.002537
518 0.002859
519 0.003470
520 0.002386
521 0.002865
522 0.002398
523 0.002876
524 0.003055
525 0.002834
526 0.003165
527 0.003893
528 0.002568
529 0.003573
530 0.002413
531 0.004923
532 0.002372
533 0.002515
534 0.002655
535 0.002878
536 0.003131
537 0.002885
538 0.003086
539 0.003984
540 0.002223
541 0.002766
542 0.003129
543 0.002827
544 0.005046
545 0.002479
546 0.002722
547 0.003149
548 0.026900
549 0.003651
550 0.002890
551 0.008338
552 0.002090
553 0.002385
554 0.002837
555 0.002435
556 0.002682
557 0.003209
558 0.003013
559 0.002501
560 0.003223
561 0.004025
562 0.002993
563 0.002989
564 0.003557
565 0.003023
566 0.004472
567 0.002738
568 0.005842
569 0.002431
570 0.002946
571 0.003185
572 0.002902
573 0.003863
574 0.002740
575 0.008493
576 0.002379
577 0.002605
578 0.002807
579 0.003394
580 0.026518
581 0.002914
582 0.003754
583 0.002932
584 0.003163
585 0.005443
586 0.002554
587 0.002820
588 0.003070
589 0.015242
590 0.002038
591 0.002335
592 0.002502
593 0.002596
594 0.002768
595 0.003166
596 0.002415
597 0.002785
598 0.003127
599 0.002837
600 0.003668
601 0.002481
602 0.002943
603 0.002983
604 0.002849
605 0.003772
606 0.002777
607 0.029307
608 0.002435
609 0.002740
610 0.003164
611 0.002488
612 0.004216
613 0.002901
614 0.002908
615 0.003117
616 0.009452
617 0.002471
618 0.002861
619 0.002534
620 0.003252
621 0.002881
622 0.004866
623 0.002461
624 0.002943
625 0.003388
626 0.005355
627 0.002668
628 0.002965
629 0.003322
630 0.016383
631 0.002131
632 0.002496
633 0.002789
634 0.002923
635 0.003246
636 0.002980
637 0.003185
638 0.003935
639 0.002450
640 0.026824
641 0.003206
642 0.005250
643 0.002467
644 0.003872
645 0.003402
646 0.002922
647 0.003949
648 0.002677
649 0.025205
650 0.002026
651 0.002101
652 0.002405
653 0.002190
654 0.002416
655 0.002575
656 0.002844
657 0.002303
658 0.002581
659 0.002370
660 0.002831
661 0.002543
662 0.002941
663 0.003089
664 0.002156
665 0.002567
666 0.002601
667 0.002778
668 0.002654
669 0.002935
670 0.003316
671 0.002377
672 0.002740
673 0.002901
674 0.027581
675 0.002957
676 0.003435
677 0.002205
678 0.002531
679 0.002573
680 0.002828
681 0.002421
682 0.003024
683 0.003381
684 0.002218
685 0.002779
686 0.002890
687 0.003101
688 0.003271
689 0.003163
690 0.003779
691 0.002626
692 0.002848
693 0.002979
694 0.003156
695 0.002935
696 0.004028
697 0.002554
698 0.002979
699 0.003345
700 0.005255
701 0.002116
702 0.002406
703 0.002423
704 0.002855
705 0.003952
706 0.026708
707 0.003107
708 0.003888
709 0.002308
710 0.002900
711 0.002765
712 0.002977
713 0.003181
714 0.003092
715 0.003584
716 0.002517
717 0.002953
718 0.003566
719 0.003160
720 0.003008
721 0.003385
722 0.004279
723 0.002672
724 0.003071
725 0.003340
726 0.005205
727 0.002532
728 0.002743
729 0.002770
730 0.003266
731 0.003185
732 0.002956
733 0.003353
734 0.004073
735 0.002639
736 0.002976
737 0.003223
738 0.005954
739 0.002350
740 0.002724
741 0.002956
742 0.003232
743 0.028267
744 0.002606
745 0.002967
746 0.007186
747 0.002245
748 0.002416
749 0.002576
750 0.002762
751 0.002455
752 0.002748
753 0.002859
754 0.003315
755 0.002438
756 0.002717
757 0.002826
758 0.003501
759 0.002609
760 0.002954
761 0.003502
762 0.002539
763 0.002866
764 0.002604
765 0.003560
766 0.002586
767 0.002976
768 0.003269
769 0.003830
770 0.002906
771 0.003293
772 0.003003
773 0.005414
774 0.026746
775 0.002721
776 0.002829
777 0.003014
778 0.003310
779 0.002903
780 0.003274
781 0.005567
782 0.002570
783 0.003080
784 0.003369
785 0.003219
786 0.003987
787 0.003167
788 0.005300
789 0.002849
790 0.002938
791 0.003270
792 0.004293
793 0.002764
794 0.009290
795 0.002148
796 0.002564
797 0.003039
798 0.002628
799 0.002955
800 0.003185
801 0.003084
802 0.003494
803 0.002997
804 0.004167
805 0.026702
806 0.003036
807 0.003345
808 0.002991
809 0.004000
810 0.003088
811 0.005207
812 0.002838
813 0.002941
814 0.003155
815 0.002957
816 0.004057
817 0.002978
818 0.003258
819 0.008293
820 0.002625
821 0.002943
822 0.003056
823 0.003189
824 0.002996
825 0.003834
826 0.002968
827 0.003331
828 0.005482
829 0.002752
830 0.002950
831 0.003346
832 0.037778
833 0.002036
834 0.002387
835 0.002494
836 0.002691
837 0.003070
838 0.002627
839 0.002999
840 0.002585
841 0.003500
842 0.002765
843 0.003619
844 0.002999
845 0.003684
846 0.002665
847 0.003022
848 0.003352
849 0.003573
850 0.002500
851 0.003060
852 0.002610
853 0.003612
854 0.002614
855 0.003105
856 0.003488
857 0.004047
858 0.003023
859 0.003639
860 0.003101
861 0.005309
862 0.002685
863 0.002651
864 0.002757
865 0.003056
866 0.003326
867 0.002769
868 0.027833
869 0.002720
870 0.003759
871 0.002812
872 0.003839
873 0.002746
874 0.004228
875 0.002940
876 0.005653
877 0.002783
878 0.002947
879 0.003313
880 0.003146
881 0.003866
882 0.002986
883 0.008192
884 0.002201
885 0.002587
886 0.002864
887 0.002575
888 0.002964
889 0.003008
890 0.002807
891 0.003659
892 0.002616
893 0.028089
894 0.002583
895 0.002954
896 0.003296
897 0.002975
898 0.003876
899 0.002978
900 0.005295
901 0.002649
902 0.002882
903 0.003229
904 0.002945
905 0.003978
906 0.002708
907 0.003612
908 0.008458
909 0.002361
910 0.002708
911 0.003017
912 0.003526
913 0.002778
914 0.004457
915 0.002611
916 0.002817
917 0.003569
918 0.005468
919 0.002727
920 0.003056
921 0.003341
922 0.038865
923 0.002305
924 0.002492
925 0.003131
926 0.002426
927 0.002980
928 0.003080
929 0.002666
930 0.002888
931 0.003390
932 0.003058
933 0.003742
934 0.002831
935 0.002855
936 0.003298
937 0.004298
938 0.002584
939 0.003025
940 0.005303
941 0.002658
942 0.003001
943 0.003111
944 0.003287
945 0.004445
946 0.002618
947 0.003116
948 0.003341
949 0.005524
950 0.027144
951 0.003264
952 0.003245
953 0.008310
954 0.002599
955 0.002957
956 0.003004
957 0.003098
958 0.002848
959 0.004005
960 0.002684
961 0.003599
962 0.005641
963 0.004437
964 0.003246
965 0.003370
966 0.002962
967 0.014534
968 0.002561
969 0.003062
970 0.002480
971 0.003003
972 0.003289
973 0.002747
974 0.003478
975 0.003881
976 0.002995
977 0.003372
978 0.029676
979 0.002558
980 0.002944
981 0.003329
982 0.003100
983 0.003876
984 0.002922
985 0.008728
986 0.002601
987 0.002914
988 0.003279
989 0.003023
990 0.003787
991 0.003054
992 0.003336
993 0.031291
994 0.002082
995 0.002224
996 0.002434
997 0.002628
998 0.026784
999 0.002416