Details

Time bar (total: 1.8m)

sample378.0ms

Algorithm
intervals
Results
124.0ms45×body640valid
123.0ms61×body1280valid
46.0ms156×body80valid
28.0ms30×body320valid
15.0ms23×body160valid

simplify5.4s

Counts
1 → 1
Iterations
IterNodes
done5000
44208
3774
2156
148
019

prune13.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 32.2b

localize75.0ms

Local error

Found 4 expressions with local error:

2.7b
(* (* (/ (pow t 3.0) (* l l)) (sin k)) (tan k))
3.4b
(* (/ (pow t 3.0) (* l l)) (sin k))
13.4b
(* (* (* (/ (pow t 3.0) (* l l)) (sin k)) (tan k)) (+ (+ 1.0 (pow (/ k t) 2.0)) 1.0))
16.6b
(/ (pow t 3.0) (* l l))

rewrite1.3s

Algorithm
rewrite-expression-head
Rules
108×add-exp-log
58×prod-exp
52×add-cbrt-cube
26×cbrt-unprod
24×div-exp
21×add-sqr-sqrt
20×pow1
19×*-un-lft-identity
17×times-frac
16×associate-*l/
14×add-cube-cbrt
13×associate-*l*
11×associate-*r*
10×frac-times unpow-prod-down pow-prod-down
8×tan-quot cbrt-undiv pow-to-exp pow-exp
7×associate-/l*
6×associate-*r/
4×expm1-log1p-u flip3-+ flip-+ log1p-expm1-u add-log-exp unswap-sqr sqr-pow
3×*-commutative distribute-lft-out
2×div-inv
1×distribute-rgt-in frac-2neg distribute-lft-in clear-num associate-/r*
Counts
4 → 152
Calls
4 calls:
165.0ms
(* (* (/ (pow t 3.0) (* l l)) (sin k)) (tan k))
69.0ms
(* (/ (pow t 3.0) (* l l)) (sin k))
987.0ms
(* (* (* (/ (pow t 3.0) (* l l)) (sin k)) (tan k)) (+ (+ 1.0 (pow (/ k t) 2.0)) 1.0))
23.0ms
(/ (pow t 3.0) (* l l))

series3.0s

Counts
4 → 12
Calls
4 calls:
688.0ms
(* (* (/ (pow t 3.0) (* l l)) (sin k)) (tan k))
556.0ms
(* (/ (pow t 3.0) (* l l)) (sin k))
1.4s
(* (* (* (/ (pow t 3.0) (* l l)) (sin k)) (tan k)) (+ (+ 1.0 (pow (/ k t) 2.0)) 1.0))
374.0ms
(/ (pow t 3.0) (* l l))

simplify4.6s

Counts
164 → 164
Iterations
IterNodes
done5054
23848
1825
0263

prune1.6s

Pruning

13 alts after pruning (13 fresh and 0 done)

Merged error: 13.4b

localize127.0ms

Local error

Found 4 expressions with local error:

2.6b
(* (/ (pow (cbrt t) 3.0) l) (sin k))
2.7b
(* (* (/ (pow (* (cbrt t) (cbrt t)) 3.0) l) (* (/ (pow (cbrt t) 3.0) l) (sin k))) (tan k))
5.5b
(/ (pow (* (cbrt t) (cbrt t)) 3.0) l)
13.4b
(* (* (* (/ (pow (* (cbrt t) (cbrt t)) 3.0) l) (* (/ (pow (cbrt t) 3.0) l) (sin k))) (tan k)) (+ (+ 1.0 (pow (/ k t) 2.0)) 1.0))

rewrite1.9s

Algorithm
rewrite-expression-head
Rules
304×add-exp-log
184×prod-exp
78×add-cbrt-cube
77×div-exp
50×add-sqr-sqrt
49×times-frac
44×associate-*l/ cbrt-unprod
42×*-un-lft-identity
37×add-cube-cbrt
36×associate-*l*
34×frac-times
33×pow-exp
29×pow1
24×unpow-prod-down
22×pow-to-exp
17×pow-prod-down
16×tan-quot
14×associate-*r/
12×cbrt-undiv
11×associate-*r*
10×cbrt-prod
8×flip3-+ flip-+ sqr-pow
5×associate-/l* unswap-sqr
4×expm1-log1p-u log1p-expm1-u add-log-exp
3×associate-/r* *-commutative distribute-lft-out
2×div-inv
1×distribute-rgt-in frac-2neg distribute-lft-in clear-num
Counts
4 → 237
Calls
4 calls:
63.0ms
(* (/ (pow (cbrt t) 3.0) l) (sin k))
321.0ms
(* (* (/ (pow (* (cbrt t) (cbrt t)) 3.0) l) (* (/ (pow (cbrt t) 3.0) l) (sin k))) (tan k))
22.0ms
(/ (pow (* (cbrt t) (cbrt t)) 3.0) l)
1.4s
(* (* (* (/ (pow (* (cbrt t) (cbrt t)) 3.0) l) (* (/ (pow (cbrt t) 3.0) l) (sin k))) (tan k)) (+ (+ 1.0 (pow (/ k t) 2.0)) 1.0))

series3.6s

Counts
4 → 12
Calls
4 calls:
466.0ms
(* (/ (pow (cbrt t) 3.0) l) (sin k))
1.3s
(* (* (/ (pow (* (cbrt t) (cbrt t)) 3.0) l) (* (/ (pow (cbrt t) 3.0) l) (sin k))) (tan k))
431.0ms
(/ (pow (* (cbrt t) (cbrt t)) 3.0) l)
1.5s
(* (* (* (/ (pow (* (cbrt t) (cbrt t)) 3.0) l) (* (/ (pow (cbrt t) 3.0) l) (sin k))) (tan k)) (+ (+ 1.0 (pow (/ k t) 2.0)) 1.0))

simplify3.1s

Counts
249 → 249
Iterations
IterNodes
done5002
11346
0437

prune3.1s

Pruning

18 alts after pruning (18 fresh and 0 done)

Merged error: 7.9b

localize119.0ms

Local error

Found 4 expressions with local error:

1.1b
(* (/ (pow (cbrt t) 3.0) (/ l (pow (cbrt t) 3.0))) (* (/ (pow (cbrt t) 3.0) l) (sin k)))
2.6b
(* (/ (pow (cbrt t) 3.0) l) (sin k))
2.7b
(* (* (/ (pow (cbrt t) 3.0) (/ l (pow (cbrt t) 3.0))) (* (/ (pow (cbrt t) 3.0) l) (sin k))) (tan k))
13.4b
(* (* (* (/ (pow (cbrt t) 3.0) (/ l (pow (cbrt t) 3.0))) (* (/ (pow (cbrt t) 3.0) l) (sin k))) (tan k)) (+ (+ 1.0 (pow (/ k t) 2.0)) 1.0))

rewrite3.4s

Algorithm
rewrite-expression-head
Rules
1050×add-exp-log
674×times-frac
554×prod-exp
435×div-exp
404×unpow-prod-down
381×associate-*l*
343×add-sqr-sqrt
335×*-un-lft-identity
330×add-cube-cbrt
202×cbrt-prod
151×add-cbrt-cube
145×pow-to-exp pow-exp
78×cbrt-unprod
68×sqr-pow
47×associate-*l/
37×cbrt-undiv
35×frac-times
34×pow1
20×pow-prod-down
16×tan-quot
15×associate-*r/
12×associate-*r* div-inv
8×flip3-+ flip-+
5×unswap-sqr
4×expm1-log1p-u *-commutative log1p-expm1-u add-log-exp
3×distribute-lft-out
1×distribute-rgt-in distribute-lft-in associate-/r/
Counts
4 → 718
Calls
4 calls:
322.0ms
(* (/ (pow (cbrt t) 3.0) (/ l (pow (cbrt t) 3.0))) (* (/ (pow (cbrt t) 3.0) l) (sin k)))
59.0ms
(* (/ (pow (cbrt t) 3.0) l) (sin k))
474.0ms
(* (* (/ (pow (cbrt t) 3.0) (/ l (pow (cbrt t) 3.0))) (* (/ (pow (cbrt t) 3.0) l) (sin k))) (tan k))
2.4s
(* (* (* (/ (pow (cbrt t) 3.0) (/ l (pow (cbrt t) 3.0))) (* (/ (pow (cbrt t) 3.0) l) (sin k))) (tan k)) (+ (+ 1.0 (pow (/ k t) 2.0)) 1.0))

series3.2s

Counts
4 → 12
Calls
4 calls:
598.0ms
(* (/ (pow (cbrt t) 3.0) (/ l (pow (cbrt t) 3.0))) (* (/ (pow (cbrt t) 3.0) l) (sin k)))
483.0ms
(* (/ (pow (cbrt t) 3.0) l) (sin k))
707.0ms
(* (* (/ (pow (cbrt t) 3.0) (/ l (pow (cbrt t) 3.0))) (* (/ (pow (cbrt t) 3.0) l) (sin k))) (tan k))
1.4s
(* (* (* (/ (pow (cbrt t) 3.0) (/ l (pow (cbrt t) 3.0))) (* (/ (pow (cbrt t) 3.0) l) (sin k))) (tan k)) (+ (+ 1.0 (pow (/ k t) 2.0)) 1.0))

simplify4.0s

Counts
730 → 730
Iterations
IterNodes
done5000
12654
0814

prune9.3s

Pruning

24 alts after pruning (24 fresh and 0 done)

Merged error: 5.9b

localize112.0ms

Local error

Found 4 expressions with local error:

1.6b
(* (* (pow (cbrt t) 3.0) (* (/ (pow (cbrt t) 3.0) l) (sin k))) (tan k))
2.6b
(* (/ (pow (cbrt t) 3.0) l) (sin k))
5.0b
(/ (* (* (* (pow (cbrt t) 3.0) (* (/ (pow (cbrt t) 3.0) l) (sin k))) (tan k)) (+ (+ 1.0 (pow (/ k t) 2.0)) 1.0)) (/ l (pow (cbrt t) 3.0)))
9.9b
(* (* (* (pow (cbrt t) 3.0) (* (/ (pow (cbrt t) 3.0) l) (sin k))) (tan k)) (+ (+ 1.0 (pow (/ k t) 2.0)) 1.0))

rewrite3.1s

Algorithm
rewrite-expression-head
Rules
576×add-exp-log
347×prod-exp
183×div-exp
128×times-frac
103×add-cbrt-cube
80×add-sqr-sqrt
72×*-un-lft-identity
67×pow-to-exp add-cube-cbrt pow-exp
56×unpow-prod-down
53×cbrt-unprod
36×associate-*l*
34×associate-/r*
28×cbrt-prod associate-*l/
25×associate-*r/
23×cbrt-undiv
19×frac-times
14×tan-quot
13×pow1
11×associate-*r* associate-/l/
10×sqr-pow
8×flip3-+ flip-+
5×pow-prod-down unswap-sqr
4×expm1-log1p-u log1p-expm1-u div-inv add-log-exp
3×*-commutative distribute-lft-out
1×distribute-rgt-in frac-2neg distribute-lft-in clear-num associate-/r/ associate-/l*
Counts
4 → 328
Calls
4 calls:
273.0ms
(* (* (pow (cbrt t) 3.0) (* (/ (pow (cbrt t) 3.0) l) (sin k))) (tan k))
67.0ms
(* (/ (pow (cbrt t) 3.0) l) (sin k))
1.3s
(/ (* (* (* (pow (cbrt t) 3.0) (* (/ (pow (cbrt t) 3.0) l) (sin k))) (tan k)) (+ (+ 1.0 (pow (/ k t) 2.0)) 1.0)) (/ l (pow (cbrt t) 3.0)))
1.5s
(* (* (* (pow (cbrt t) 3.0) (* (/ (pow (cbrt t) 3.0) l) (sin k))) (tan k)) (+ (+ 1.0 (pow (/ k t) 2.0)) 1.0))

series5.1s

Counts
4 → 12
Calls
4 calls:
799.0ms
(* (* (pow (cbrt t) 3.0) (* (/ (pow (cbrt t) 3.0) l) (sin k))) (tan k))
706.0ms
(* (/ (pow (cbrt t) 3.0) l) (sin k))
1.8s
(/ (* (* (* (pow (cbrt t) 3.0) (* (/ (pow (cbrt t) 3.0) l) (sin k))) (tan k)) (+ (+ 1.0 (pow (/ k t) 2.0)) 1.0)) (/ l (pow (cbrt t) 3.0)))
1.9s
(* (* (* (pow (cbrt t) 3.0) (* (/ (pow (cbrt t) 3.0) l) (sin k))) (tan k)) (+ (+ 1.0 (pow (/ k t) 2.0)) 1.0))

simplify3.3s

Counts
340 → 340
Iterations
IterNodes
done5000
11770
0563

prune3.8s

Pruning

23 alts after pruning (23 fresh and 0 done)

Merged error: 5.4b

regimes1.8s

Accuracy

22.6% (5.6b remaining)

Error of 12.1b against oracle of 6.5b and baseline of 13.7b

bsearch470.0ms

Steps
ItersRangePoint
9
2170219655.463572
2474135902079184.5
2362365607704.0986

simplify29.1s

Iterations
IterNodes
done5000
32674998
32664997
32654995
32644994
32634992
32624991
32614989
32604988
32594986
32584985
32574983
32564982
32554980
32544979
32534977
32524976
32514974
32504973
32494971
32484970
32474968
32464967
32454965
32444964
32434962
32424961
32414959
32404958
32394956
32384955
32374953
32364952
32354950
32344949
32334947
32324946
32314944
32304943
32294941
32284940
32274938
32264937
32254935
32244934
32234932
32224931
32214929
32204928
32194926
32184925
32174923
32164922
32154920
32144919
32134917
32124916
32114914
32104913
32094911
32084910
32074908
32064907
32054905
32044904
32034902
32024901
32014899
32004898
31994896
31984895
31974893
31964892
31954890
31944889
31934887
31924886
31914884
31904883
31894881
31884880
31874878
31864877
31854875
31844874
31834872
31824871
31814869
31804868
31794866
31784865
31774863
31764862
31754860
31744859
31734857
31724856
31714854
31704853
31694851
31684850
31674848
31664847
31654845
31644844
31634842
31624841
31614839
31604838
31594836
31584835
31574833
31564832
31554830
31544829
31534827
31524826
31514824
31504823
31494821
31484820
31474818
31464817
31454815
31444814
31434812
31424811
31414809
31404808
31394806
31384805
31374803
31364802
31354800
31344799
31334797
31324796
31314794
31304793
31294791
31284790
31274788
31264787
31254785
31244784
31234782
31224781
31214779
31204778
31194776
31184775
31174773
31164772
31154770
31144769
31134767
31124766
31114764
31104763
31094761
31084760
31074758
31064757
31054755
31044754
31034752
31024751
31014749
31004748
30994746
30984745
30974743
30964742
30954740
30944739
30934737
30924736
30914734
30904733
30894731
30884730
30874728
30864727
30854725
30844724
30834722
30824721
30814719
30804718
30794716
30784715
30774713
30764712
30754710
30744709
30734707
30724706
30714704
30704703
30694701
30684700
30674698
30664697
30654695
30644694
30634692
30624691
30614689
30604688
30594686
30584685
30574683
30564682
30554680
30544679
30534677
30524676
30514674
30504673
30494671
30484670
30474668
30464667
30454665
30444664
30434662
30424661
30414659
30404658
30394656
30384655
30374653
30364652
30354650
30344649
30334647
30324646
30314644
30304643
30294641
30284640
30274638
30264637
30254635
30244634
30234632
30224631
30214629
30204628
30194626
30184625
30174623
30164622
30154620
30144619
30134617
30124616
30114614
30104613
30094611
30084610
30074608
30064607
30054605
30044604
30034602
30024601
30014599
30004598
29994596
29984595
29974593
29964592
29954590
29944589
29934587
29924586
29914584
29904583
29894581
29884580
29874578
29864577
29854575
29844574
29834572
29824571
29814569
29804568
29794566
29784565
29774563
29764562
29754560
29744559
29734557
29724556
29714554
29704553
29694551
29684550
29674548
29664547
29654545
29644544
29634542
29624541
29614539
29604538
29594536
29584535
29574533
29564532
29554530
29544529
29534527
29524526
29514524
29504523
29494521
29484520
29474518
29464517
29454515
29444514
29434512
29424511
29414509
29404508
29394506
29384505
29374503
29364502
29354500
29344499
29334497
29324496
29314494
29304493
29294491
29284490
29274488
29264487
29254485
29244484
29234482
29224481
29214479
29204478
29194476
29184475
29174473
29164472
29154470
29144469
29134467
29124466
29114464
29104463
29094461
29084460
29074458
29064457
29054455
29044454
29034452
29024451
29014449
29004448
28994446
28984445
28974443
28964442
28954440
28944439
28934437
28924436
28914434
28904433
28894431
28884430
28874428
28864427
28854425
28844424
28834422
28824421
28814419
28804418
28794416
28784415
28774413
28764412
28754410
28744409
28734407
28724406
28714404
28704403
28694401
28684400
28674398
28664397
28654395
28644394
28634392
28624391
28614389
28604388
28594386
28584385
28574383
28564382
28554380
28544379
28534377
28524376
28514374
28504373
28494371
28484370
28474368
28464367
28454365
28444364
28434362
28424361
28414359
28404358
28394356
28384355
28374353
28364352
28354350
28344349
28334347
28324346
28314344
28304343
28294341
28284340
28274338
28264337
28254335
28244334
28234332
28224331
28214329
28204328
28194326
28184325
28174323
28164322
28154320
28144319
28134317
28124316
28114314
28104313
28094311
28084310
28074308
28064307
28054305
28044304
28034302
28024301
28014299
28004298
27994296
27984295
27974293
27964292
27954290
27944289
27934287
27924286
27914284
27904283
27894281
27884280
27874278
27864277
27854275
27844274
27834272
27824271
27814269
27804268
27794266
27784265
27774263
27764262
27754260
27744259
27734257
27724256
27714254
27704253
27694251
27684250
27674248
27664247
27654245
27644244
27634242
27624241
27614239
27604238
27594236
27584235
27574233
27564232
27554230
27544229
27534227
27524226
27514224
27504223
27494221
27484220
27474218
27464217
27454215
27444214
27434212
27424211
27414209
27404208
27394206
27384205
27374203
27364202
27354200
27344199
27334197
27324196
27314194
27304193
27294191
27284190
27274188
27264187
27254185
27244184
27234182
27224181
27214179
27204178
27194176
27184175
27174173
27164172
27154170
27144169
27134167
27124166
27114164
27104163
27094161
27084160
27074158
27064157
27054155
27044154
27034152
27024151
27014149
27004148
26994146
26984145
26974143
26964142
26954140
26944139
26934137
26924136
26914134
26904133
26894131
26884130
26874128
26864127
26854125
26844124
26834122
26824121
26814119
26804118
26794116
26784115
26774113
26764112
26754110
26744109
26734107
26724106
26714104
26704103
26694101
26684100
26674098
26664097
26654095
26644094
26634092
26624091
26614089
26604088
26594086
26584085
26574083
26564082
26554080
26544079
26534077
26524076
26514074
26504073
26494071
26484070
26474068
26464067
26454065
26444064
26434062
26424061
26414059
26404058
26394056
26384055
26374053
26364052
26354050
26344049
26334047
26324046
26314044
26304043
26294041
26284040
26274038
26264037
26254035
26244034
26234032
26224031
26214029
26204028
26194026
26184025
26174023
26164022
26154020
26144019
26134017
26124016
26114014
26104013
26094011
26084010
26074008
26064007
26054005
26044004
26034002
26024001
26013999
26003998
25993996
25983995
25973993
25963992
25953990
25943989
25933987
25923986
25913984
25903983
25893981
25883980
25873978
25863977
25853975
25843974
25833972
25823971
25813969
25803968
25793966
25783965
25773963
25763962
25753960
25743959
25733957
25723956
25713954
25703953
25693951
25683950
25673948
25663947
25653945
25643944
25633942
25623941
25613939
25603938
25593936
25583935
25573933
25563932
25553930
25543929
25533927
25523926
25513924
25503923
25493921
25483920
25473918
25463917
25453915
25443914
25433912
25423911
25413909
25403908
25393906
25383905
25373903
25363902
25353900
25343899
25333897
25323896
25313894
25303893
25293891
25283890
25273888
25263887
25253885
25243884
25233882
25223881
25213879
25203878
25193876
25183875
25173873
25163872
25153870
25143869
25133867
25123866
25113864
25103863
25093861
25083860
25073858
25063857
25053855
25043854
25033852
25023851
25013849
25003848
24993846
24983845
24973843
24963842
24953840
24943839
24933837
24923836
24913834
24903833
24893831
24883830
24873828
24863827
24853825
24843824
24833822
24823821
24813819
24803818
24793816
24783815
24773813
24763812
24753810
24743809
24733807
24723806
24713804
24703803
24693801
24683800
24673798
24663797
24653795
24643794
24633792
24623791
24613789
24603788
24593786
24583785
24573783
24563782
24553780
24543779
24533777
24523776
24513774
24503773
24493771
24483770
24473768
24463767
24453765
24443764
24433762
24423761
24413759
24403758
24393756
24383755
24373753
24363752
24353750
24343749
24333747
24323746
24313744
24303743
24293741
24283740
24273738
24263737
24253735
24243734
24233732
24223731
24213729
24203728
24193726
24183725
24173723
24163722
24153720
24143719
24133717
24123716
24113714
24103713
24093711
24083710
24073708
24063707
24053705
24043704
24033702
24023701
24013699
24003698
23993696
23983695
23973693
23963692
23953690
23943689
23933687
23923686
23913684
23903683
23893681
23883680
23873678
23863677
23853675
23843674
23833672
23823671
23813669
23803668
23793666
23783665
23773663
23763662
23753660
23743659
23733657
23723656
23713654
23703653
23693651
23683650
23673648
23663647
23653645
23643644
23633642
23623641
23613639
23603638
23593636
23583635
23573633
23563632
23553630
23543629
23533627
23523626
23513624
23503623
23493621
23483620
23473618
23463617
23453615
23443614
23433612
23423611
23413609
23403608
23393606
23383605
23373603
23363602
23353600
23343599
23333597
23323596
23313594
23303593
23293591
23283590
23273588
23263587
23253585
23243584
23233582
23223581
23213579
23203578
23193576
23183575
23173573
23163572
23153570
23143569
23133567
23123566
23113564
23103563
23093561
23083560
23073558
23063557
23053555
23043554
23033552
23023551
23013549
23003548
22993546
22983545
22973543
22963542
22953540
22943539
22933537
22923536
22913534
22903533
22893531
22883530
22873528
22863527
22853525
22843524
22833522
22823521
22813519
22803518
22793516
22783515
22773513
22763512
22753510
22743509
22733507
22723506
22713504
22703503
22693501
22683500
22673498
22663497
22653495
22643494
22633492
22623491
22613489
22603488
22593486
22583485
22573483
22563482
22553480
22543479
22533477
22523476
22513474
22503473
22493471
22483470
22473468
22463467
22453465
22443464
22433462
22423461
22413459
22403458
22393456
22383455
22373453
22363452
22353450
22343449
22333447
22323446
22313444
22303443
22293441
22283440
22273438
22263437
22253435
22243434
22233432
22223431
22213429
22203428
22193426
22183425
22173423
22163422
22153420
22143419
22133417
22123416
22113414
22103413
22093411
22083410
22073408
22063407
22053405
22043404
22033402
22023401
22013399
22003398
21993396
21983395
21973393
21963392
21953390
21943389
21933387
21923386
21913384
21903383
21893381
21883380
21873378
21863377
21853375
21843374
21833372
21823371
21813369
21803368
21793366
21783365
21773363
21763362
21753360
21743359
21733357
21723356
21713354
21703353
21693351
21683350
21673348
21663347
21653345
21643344
21633342
21623341
21613339
21603338
21593336
21583335
21573333
21563332
21553330
21543329
21533327
21523326
21513324
21503323
21493321
21483320
21473318
21463317
21453315
21443314
21433312
21423311
21413309
21403308
21393306
21383305
21373303
21363302
21353300
21343299
21333297
21323296
21313294
21303293
21293291
21283290
21273288
21263287
21253285
21243284
21233282
21223281
21213279
21203278
21193276
21183275
21173273
21163272
21153270
21143269
21133267
21123266
21113264
21103263
21093261
21083260
21073258
21063257
21053255
21043254
21033252
21023251
21013249
21003248
20993246
20983245
20973243
20963242
20953240
20943239
20933237
20923236
20913234
20903233
20893231
20883230
20873228
20863227
20853225
20843224
20833222
20823221
20813219
20803218
20793216
20783215
20773213
20763212
20753210
20743209
20733207
20723206
20713204
20703203
20693201
20683200
20673198
20663197
20653195
20643194
20633192
20623191
20613189
20603188
20593186
20583185
20573183
20563182
20553180
20543179
20533177
20523176
20513174
20503173
20493171
20483170
20473168
20463167
20453165
20443164
20433162
20423161
20413159
20403158
20393156
20383155
20373153
20363152
20353150
20343149
20333147
20323146
20313144
20303143
20293141
20283140
20273138
20263137
20253135
20243134
20233132
20223131
20213129
20203128
20193126
20183125
20173123
20163122
20153120
20143119
20133117
20123116
20113114
20103113
20093111
20083110
20073108
20063107
20053105
20043104
20033102
20023101
20013099
20003098
19993096
19983095
19973093
19963092
19953090
19943089
19933087
19923086
19913084
19903083
19893081
19883080
19873078
19863077
19853075
19843074
19833072
19823071
19813069
19803068
19793066
19783065
19773063
19763062
19753060
19743059
19733057
19723056
19713054
19703053
19693051
19683050
19673048
19663047
19653045
19643044
19633042
19623041
19613039
19603038
19593036
19583035
19573033
19563032
19553030
19543029
19533027
19523026
19513024
19503023
19493021
19483020
19473018
19463017
19453015
19443014
19433012
19423011
19413009
19403008
19393006
19383005
19373003
19363002
19353000
19342999
19332997
19322996
19312994
19302993
19292991
19282990
19272988
19262987
19252985
19242984
19232982
19222981
19212979
19202978
19192976
19182975
19172973
19162972
19152970
19142969
19132967
19122966
19112964
19102963
19092961
19082960
19072958
19062957
19052955
19042954
19032952
19022951
19012949
19002948
18992946
18982945
18972943
18962942
18952940
18942939
18932937
18922936
18912934
18902933
18892931
18882930
18872928
18862927
18852925
18842924
18832922
18822921
18812919
18802918
18792916
18782915
18772913
18762912
18752910
18742909
18732907
18722906
18712904
18702903
18692901
18682900
18672898
18662897
18652895
18642894
18632892
18622891
18612889
18602888
18592886
18582885
18572883
18562882
18552880
18542879
18532877
18522876
18512874
18502873
18492871
18482870
18472868
18462867
18452865
18442864
18432862
18422861
18412859
18402858
18392856
18382855
18372853
18362852
18352850
18342849
18332847
18322846
18312844
18302843
18292841
18282840
18272838
18262837
18252835
18242834
18232832
18222831
18212829
18202828
18192826
18182825
18172823
18162822
18152820
18142819
18132817
18122816
18112814
18102813
18092811
18082810
18072808
18062807
18052805
18042804
18032802
18022801
18012799
18002798
17992796
17982795
17972793
17962792
17952790
17942789
17932787
17922786
17912784
17902783
17892781
17882780
17872778
17862777
17852775
17842774
17832772
17822771
17812769
17802768
17792766
17782765
17772763
17762762
17752760
17742759
17732757
17722756
17712754
17702753
17692751
17682750
17672748
17662747
17652745
17642744
17632742
17622741
17612739
17602738
17592736
17582735
17572733
17562732
17552730
17542729
17532727
17522726
17512724
17502723
17492721
17482720
17472718
17462717
17452715
17442714
17432712
17422711
17412709
17402708
17392706
17382705
17372703
17362702
17352700
17342699
17332697
17322696
17312694
17302693
17292691
17282690
17272688
17262687
17252685
17242684
17232682
17222681
17212679
17202678
17192676
17182675
17172673
17162672
17152670
17142669
17132667
17122666
17112664
17102663
17092661
17082660
17072658
17062657
17052655
17042654
17032652
17022651
17012649
17002648
16992646
16982645
16972643
16962642
16952640
16942639
16932637
16922636
16912634
16902633
16892631
16882630
16872628
16862627
16852625
16842624
16832622
16822621
16812619
16802618
16792616
16782615
16772613
16762612
16752610
16742609
16732607
16722606
16712604
16702603
16692601
16682600
16672598
16662597
16652595
16642594
16632592
16622591
16612589
16602588
16592586
16582585
16572583
16562582
16552580
16542579
16532577
16522576
16512574
16502573
16492571
16482570
16472568
16462567
16452565
16442564
16432562
16422561
16412559
16402558
16392556
16382555
16372553
16362552
16352550
16342549
16332547
16322546
16312544
16302543
16292541
16282540
16272538
16262537
16252535
16242534
16232532
16222531
16212529
16202528
16192526
16182525
16172523
16162522
16152520
16142519
16132517
16122516
16112514
16102513
16092511
16082510
16072508
16062507
16052505
16042504
16032502
16022501
16012499
16002498
15992496
15982495
15972493
15962492
15952490
15942489
15932487
15922486
15912484
15902483
15892481
15882480
15872478
15862477
15852475
15842474
15832472
15822471
15812469
15802468
15792466
15782465
15772463
15762462
15752460
15742459
15732457
15722456
15712454
15702453
15692451
15682450
15672448
15662447
15652445
15642444
15632442
15622441
15612439
15602438
15592436
15582435
15572433
15562432
15552430
15542429
15532427
15522426
15512424
15502423
15492421
15482420
15472418
15462417
15452415
15442414
15432412
15422411
15412409
15402408
15392406
15382405
15372403
15362402
15352400
15342399
15332397
15322396
15312394
15302393
15292391
15282390
15272388
15262387
15252385
15242384
15232382
15222381
15212379
15202378
15192376
15182375
15172373
15162372
15152370
15142369
15132367
15122366
15112364
15102363
15092361
15082360
15072358
15062357
15052355
15042354
15032352
15022351
15012349
15002348
14992346
14982345
14972343
14962342
14952340
14942339
14932337
14922336
14912334
14902333
14892331
14882330
14872328
14862327
14852325
14842324
14832322
14822321
14812319
14802318
14792316
14782315
14772313
14762312
14752310
14742309
14732307
14722306
14712304
14702303
14692301
14682300
14672298
14662297
14652295
14642294
14632292
14622291
14612289
14602288
14592286
14582285
14572283
14562282
14552280
14542279
14532277
14522276
14512274
14502273
14492271
14482270
14472268
14462267
14452265
14442264
14432262
14422261
14412259
14402258
14392256
14382255
14372253
14362252
14352250
14342249
14332247
14322246
14312244
14302243
14292241
14282240
14272238
14262237
14252235
14242234
14232232
14222231
14212229
14202228
14192226
14182225
14172223
14162222
14152220
14142219
14132217
14122216
14112214
14102213
14092211
14082210
14072208
14062207
14052205
14042204
14032202
14022201
14012199
14002198
13992196
13982195
13972193
13962192
13952190
13942189
13932187
13922186
13912184
13902183
13892181
13882180
13872178
13862177
13852175
13842174
13832172
13822171
13812169
13802168
13792166
13782165
13772163
13762162
13752160
13742159
13732157
13722156
13712154
13702153
13692151
13682150
13672148
13662147
13652145
13642144
13632142
13622141
13612139
13602138
13592136
13582135
13572133
13562132
13552130
13542129
13532127
13522126
13512124
13502123
13492121
13482120
13472118
13462117
13452115
13442114
13432112
13422111
13412109
13402108
13392106
13382105
13372103
13362102
13352100
13342099
13332097
13322096
13312094
13302093
13292091
13282090
13272088
13262087
13252085
13242084
13232082
13222081
13212079
13202078
13192076
13182075
13172073
13162072
13152070
13142069
13132067
13122066
13112064
13102063
13092061
13082060
13072058
13062057
13052055
13042054
13032052
13022051
13012049
13002048
12992046
12982045
12972043
12962042
12952040
12942039
12932037
12922036
12912034
12902033
12892031
12882030
12872028
12862027
12852025
12842024
12832022
12822021
12812019
12802018
12792016
12782015
12772013
12762012
12752010
12742009
12732007
12722006
12712004
12702003
12692001
12682000
12671998
12661997
12651995
12641994
12631992
12621991
12611989
12601988
12591986
12581985
12571983
12561982
12551980
12541979
12531977
12521976
12511974
12501973
12491971
12481970
12471968
12461967
12451965
12441964
12431962
12421961
12411959
12401958
12391956
12381955
12371953
12361952
12351950
12341949
12331947
12321946
12311944
12301943
12291941
12281940
12271938
12261937
12251935
12241934
12231932
12221931
12211929
12201928
12191926
12181925
12171923
12161922
12151920
12141919
12131917
12121916
12111914
12101913
12091911
12081910
12071908
12061907
12051905
12041904
12031902
12021901
12011899
12001898
11991896
11981895
11971893
11961892
11951890
11941889
11931887
11921886
11911884
11901883
11891881
11881880
11871878
11861877
11851875
11841874
11831872
11821871
11811869
11801868
11791866
11781865
11771863
11761862
11751860
11741859
11731857
11721856
11711854
11701853
11691851
11681850
11671848
11661847
11651845
11641844
11631842
11621841
11611839
11601838
11591836
11581835
11571833
11561832
11551830
11541829
11531827
11521826
11511824
11501823
11491821
11481820
11471818
11461817
11451815
11441814
11431812
11421811
11411809
11401808
11391806
11381805
11371803
11361802
11351800
11341799
11331797
11321796
11311794
11301793
11291791
11281790
11271788
11261787
11251785
11241784
11231782
11221781
11211779
11201778
11191776
11181775
11171773
11161772
11151770
11141769
11131767
11121766
11111764
11101763
11091761
11081760
11071758
11061757
11051755
11041754
11031752
11021751
11011749
11001748
10991746
10981745
10971743
10961742
10951740
10941739
10931737
10921736
10911734
10901733
10891731
10881730
10871728
10861727
10851725
10841724
10831722
10821721
10811719
10801718
10791716
10781715
10771713
10761712
10751710
10741709
10731707
10721706
10711704
10701703
10691701
10681700
10671698
10661697
10651695
10641694
10631692
10621691
10611689
10601688
10591686
10581685
10571683
10561682
10551680
10541679
10531677
10521676
10511674
10501673
10491671
10481670
10471668
10461667
10451665
10441664
10431662
10421661
10411659
10401658
10391656
10381655
10371653
10361652
10351650
10341649
10331647
10321646
10311644
10301643
10291641
10281640
10271638
10261637
10251635
10241634
10231632
10221631
10211629
10201628
10191626
10181625
10171623
10161622
10151620
10141619
10131617
10121616
10111614
10101613
10091611
10081610
10071608
10061607
10051605
10041604
10031602
10021601
10011599
10001598
9991596
9981595
9971593
9961592
9951590
9941589
9931587
9921586
9911584
9901583
9891581
9881580
9871578
9861577
9851575
9841574
9831572
9821571
9811569
9801568
9791566
9781565
9771563
9761562
9751560
9741559
9731557
9721556
9711554
9701553
9691551
9681550
9671548
9661547
9651545
9641544
9631542
9621541
9611539
9601538
9591536
9581535
9571533
9561532
9551530
9541529
9531527
9521526
9511524
9501523
9491521
9481520
9471518
9461517
9451515
9441514
9431512
9421511
9411509
9401508
9391506
9381505
9371503
9361502
9351500
9341499
9331497
9321496
9311494
9301493
9291491
9281490
9271488
9261487
9251485
9241484
9231482
9221481
9211479
9201478
9191476
9181475
9171473
9161472
9151470
9141469
9131467
9121466
9111464
9101463
9091461
9081460
9071458
9061457
9051455
9041454
9031452
9021451
9011449
9001448
8991446
8981445
8971443
8961442
8951440
8941439
8931437
8921436
8911434
8901433
8891431
8881430
8871428
8861427
8851425
8841424
8831422
8821421
8811419
8801418
8791416
8781415
8771413
8761412
8751410
8741409
8731407
8721406
8711404
8701403
8691401
8681400
8671398
8661397
8651395
8641394
8631392
8621391
8611389
8601388
8591386
8581385
8571383
8561382
8551380
8541379
8531377
8521376
8511374
8501373
8491371
8481370
8471368
8461367
8451365
8441364
8431362
8421361
8411359
8401358
8391356
8381355
8371353
8361352
8351350
8341349
8331347
8321346
8311344
8301343
8291341
8281340
8271338
8261337
8251335
8241334
8231332
8221331
8211329
8201328
8191326
8181325
8171323
8161322
8151320
8141319
8131317
8121316
8111314
8101313
8091311
8081310
8071308
8061307
8051305
8041304
8031302
8021301
8011299
8001298
7991296
7981295
7971293
7961292
7951290
7941289
7931287
7921286
7911284
7901283
7891281
7881280
7871278
7861277
7851275
7841274
7831272
7821271
7811269
7801268
7791266
7781265
7771263
7761262
7751260
7741259
7731257
7721256
7711254
7701253
7691251
7681250
7671248
7661247
7651245
7641244
7631242
7621241
7611239
7601238
7591236
7581235
7571233
7561232
7551230
7541229
7531227
7521226
7511224
7501223
7491221
7481220
7471218
7461217
7451215
7441214
7431212
7421211
7411209
7401208
7391206
7381205
7371203
7361202
7351200
7341199
7331197
7321196
7311194
7301193
7291191
7281190
7271188
7261187
7251185
7241184
7231182
7221181
7211179
7201178
7191176
7181175
7171173
7161172
7151170
7141169
7131167
7121166
7111164
7101163
7091161
7081160
7071158
7061157
7051155
7041154
7031152
7021151
7011149
7001148
6991146
6981145
6971143
6961142
6951140
6941139
6931137
6921136
6911134
6901133
6891131
6881130
6871128
6861127
6851125
6841124
6831122
6821121
6811119
6801118
6791116
6781115
6771113
6761112
6751110
6741109
6731107
6721106
6711104
6701103
6691101
6681100
6671098
6661097
6651095
6641094
6631092
6621091
6611089
6601088
6591086
6581085
6571083
6561082
6551080
6541079
6531077
6521076
6511074
6501073
6491071
6481070
6471068
6461067
6451065
6441064
6431062
6421061
6411059
6401058
6391056
6381055
6371053
6361052
6351050
6341049
6331047
6321046
6311044
6301043
6291041
6281040
6271038
6261037
6251035
6241034
6231032
6221031
6211029
6201028
6191026
6181025
6171023
6161022
6151020
6141019
6131017
6121016
6111014
6101013
6091011
6081010
6071008
6061007
6051005
6041004
6031002
6021001
601999
600998
599996
598995
597993
596992
595990
594989
593987
592986
591984
590983
589981
588980
587978
586977
585975
584974
583972
582971
581969
580968
579966
578965
577963
576962
575960
574959
573957
572956
571954
570953
569951
568950
567948
566947
565945
564944
563942
562941
561939
560938
559936
558935
557933
556932
555930
554929
553927
552926
551924
550923
549921
548920
547918
546917
545915
544914
543912
542911
541909
540908
539906
538905
537903
536902
535900
534899
533897
532896
531894
530893
529891
528890
527888
526887
525885
524884
523882
522881
521879
520878
519876
518875
517873
516872
515870
514869
513867
512866
511864
510863
509861
508860
507858
506857
505855
504854
503852
502851
501849
500848
499846
498845
497843
496842
495840
494839
493837
492836
491834
490833
489831
488830
487828
486827
485825
484824
483822
482821
481819
480818
479816
478815
477813
476812
475810
474809
473807
472806
471804
470803
469801
468800
467798
466797
465795
464794
463792
462791
461789
460788
459786
458785
457783
456782
455780
454779
453777
452776
451774
450773
449771
448770
447768
446767
445765
444764
443762
442761
441759
440758
439756
438755
437753
436752
435750
434749
433747
432746
431744
430743
429741
428740
427738
426737
425735
424734
423732
422731
421729
420728
419726
418725
417723
416722
415720
414719
413717
412716
411714
410713
409711
408710
407708
406707
405705
404704
403702
402701
401699
400698
399696
398695
397693
396692
395690
394689
393687
392686
391684
390683
389681
388680
387678
386677
385675
384674
383672
382671
381669
380668
379666
378665
377663
376662
375660
374659
373657
372656
371654
370653
369651
368650
367648
366647
365645
364644
363642
362641
361639
360638
359636
358635
357633
356632
355630
354629
353627
352626
351624
350623
349621
348620
347618
346617
345615
344614
343612
342611
341609
340608
339606
338605
337603
336602
335600
334599
333597
332596
331594
330593
329591
328590
327588
326587
325585
324584
323582
322581
321579
320578
319576
318575
317573
316572
315570
314569
313567
312566
311564
310563
309561
308560
307558
306557
305555
304554
303552
302551
301549
300548
299546
298545
297543
296542
295540
294539
293537
292536
291534
290533
289531
288530
287528
286527
285525
284524
283522
282521
281519
280518
279516
278515
277513
276512
275510
274509
273507
272506
271504
270503
269501
268500
267498
266497
265495
264494
263492
262491
261489
260488
259486
258485
257483
256482
255480
254479
253477
252476
251474
250473
249471
248470
247468
246467
245465
244464
243462
242461
241459
240458
239456
238455
237453
236452
235450
234449
233447
232446
231444
230443
229441
228440
227438
226437
225435
224434
223432
222431
221429
220428
219426
218425
217423
216422
215420
214419
213417
212416
211414
210413
209411
208410
207408
206407
205405
204404
203402
202401
201399
200398
199396
198395
197393
196392
195390
194389
193387
192386
191384
190383
189381
188380
187378
186377
185375
184374
183372
182371
181369
180368
179366
178365
177363
176362
175360
174359
173357
172356
171354
170353
169351
168350
167348
166347
165345
164344
163342
162341
161339
160338
159336
158335
157333
156332
155330
154329
153327
152326
151324
150323
149321
148320
147318
146317
145315
144314
143312
142311
141309
140308
139306
138305
137303
136302
135300
134299
133297
132296
131294
130293
129291
128290
127288
126287
125285
124284
123282
122281
121279
120278
119276
118275
117273
116272
115270
114269
113267
112266
111264
110263
109261
108260
107258
106257
105255
104254
103252
102251
101249
100248
99246
98245
97243
96242
95240
94239
93237
92236
91234
90233
89231
88230
87228
86227
85225
84224
83222
82221
81219
80218
79216
78215
77213
76212
75210
74209
73207
72206
71204
70203
69201
68200
67198
66197
65195
64194
63192
62191
61189
60188
59186
58185
57183
56182
55180
54179
53177
52176
51174
50173
49171
48170
47168
46167
45165
44164
43162
42161
41159
40158
39156
38155
37153
36152
35150
34149
33147
32146
31144
30143
29141
28140
27138
26137
25135
24134
23132
22131
21129
20128
19126
18125
17123
16122
15120
14119
13117
12116
11114
10113
9111
8110
7102
698
594
484
373
269
165
051

end0.0ms

sample14.6s

Algorithm
intervals
Results
6.2s2020×body1280valid
3.6s1772×body640valid
2.4s6034×body80valid
1.2s875×body320valid
415.0ms401×body160valid