Details

Time bar (total: 1.2m)

sample393.0ms

Algorithm
intervals
Results
174.0ms64×body1280valid
89.0ms54×body640valid
65.0ms200×body80valid
33.0ms28×body320valid
10.0ms15×body160valid

simplify1.7s

Counts
1 → 1
Iterations
IterNodes
done5001
31118
2185
154
019

prune13.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 21.0b

localize58.0ms

Local error

Found 4 expressions with local error:

1.5b
(* (* (/ t l) (/ t l)) t)
2.5b
(* (sin k) (* (* (/ t l) (/ t l)) t))
2.9b
(/ (/ 2 (tan k)) (* (sin k) (* (* (/ t l) (/ t l)) t)))
15.0b
(/ (/ (/ 2 (tan k)) (* (sin k) (* (* (/ t l) (/ t l)) t))) (+ (* (/ k t) (/ k t)) 2))

rewrite382.0ms

Algorithm
rewrite-expression-head
Rules
209×add-cbrt-cube add-exp-log
187×times-frac
84×prod-exp cbrt-unprod
81×cbrt-undiv div-exp
75×add-sqr-sqrt
74×*-un-lft-identity add-cube-cbrt
35×associate-/l*
28×associate-*l/
25×associate-*r/
23×associate-/r/
18×pow1
12×div-inv
9×pow-prod-down
7×frac-times
6×tan-quot
4×associate-/r* associate-*r* associate-*l* insert-posit16 add-log-exp
2×clear-num frac-2neg *-commutative associate-/l/
1×flip3-+ flip-+ unswap-sqr
Counts
4 → 263
Calls
4 calls:
32.0ms
(* (* (/ t l) (/ t l)) t)
79.0ms
(* (sin k) (* (* (/ t l) (/ t l)) t))
99.0ms
(/ (/ 2 (tan k)) (* (sin k) (* (* (/ t l) (/ t l)) t)))
166.0ms
(/ (/ (/ 2 (tan k)) (* (sin k) (* (* (/ t l) (/ t l)) t))) (+ (* (/ k t) (/ k t)) 2))

series1.5s

Counts
4 → 12
Calls
4 calls:
53.0ms
(* (* (/ t l) (/ t l)) t)
146.0ms
(* (sin k) (* (* (/ t l) (/ t l)) t))
316.0ms
(/ (/ 2 (tan k)) (* (sin k) (* (* (/ t l) (/ t l)) t)))
936.0ms
(/ (/ (/ 2 (tan k)) (* (sin k) (* (* (/ t l) (/ t l)) t))) (+ (* (/ k t) (/ k t)) 2))

simplify1.7s

Counts
275 → 275
Iterations
IterNodes
done5000
11235
0448

prune1.7s

Pruning

14 alts after pruning (14 fresh and 0 done)

Merged error: 11.9b

localize52.0ms

Local error

Found 4 expressions with local error:

2.2b
(/ (/ (/ -2 (tan k)) (* (* (sin k) (/ t l)) (/ t l))) t)
2.7b
(/ (/ -2 (tan k)) (* (* (sin k) (/ t l)) (/ t l)))
2.9b
(* (sin k) (/ t l))
15.0b
(/ (/ (/ (/ -2 (tan k)) (* (* (sin k) (/ t l)) (/ t l))) t) (- (+ (* (/ k t) (/ k t)) 2)))

rewrite238.0ms

Algorithm
rewrite-expression-head
Rules
2319×times-frac
795×add-sqr-sqrt
790×*-un-lft-identity add-cube-cbrt
253×add-cbrt-cube add-exp-log
204×distribute-lft-neg-in distribute-rgt-neg-in
155×associate-/r/
140×cbrt-undiv div-exp
115×associate-*r/
102×associate-/l*
91×div-inv
68×neg-mul-1
62×prod-exp cbrt-unprod
39×tan-quot
38×frac-times associate-*l/
14×associate-/r*
13×associate-*r*
6×pow1
4×insert-posit16 add-log-exp
3×clear-num frac-2neg associate-*l* associate-/l/
2×distribute-neg-frac unswap-sqr
1×flip3-+ pow-prod-down *-commutative flip-+
Counts
4 → 1027
Calls
4 calls:
44.0ms
(/ (/ (/ -2 (tan k)) (* (* (sin k) (/ t l)) (/ t l))) t)
47.0ms
(/ (/ -2 (tan k)) (* (* (sin k) (/ t l)) (/ t l)))
22.0ms
(* (sin k) (/ t l))
93.0ms
(/ (/ (/ (/ -2 (tan k)) (* (* (sin k) (/ t l)) (/ t l))) t) (- (+ (* (/ k t) (/ k t)) 2)))

series1.5s

Counts
4 → 12
Calls
4 calls:
315.0ms
(/ (/ (/ -2 (tan k)) (* (* (sin k) (/ t l)) (/ t l))) t)
271.0ms
(/ (/ -2 (tan k)) (* (* (sin k) (/ t l)) (/ t l)))
60.0ms
(* (sin k) (/ t l))
824.0ms
(/ (/ (/ (/ -2 (tan k)) (* (* (sin k) (/ t l)) (/ t l))) t) (- (+ (* (/ k t) (/ k t)) 2)))

simplify3.8s

Counts
1039 → 1039
Iterations
IterNodes
done5002
14451
01646

prune8.4s

Pruning

13 alts after pruning (13 fresh and 0 done)

Merged error: 11.0b

localize89.0ms

Local error

Found 4 expressions with local error:

2.9b
(* (/ t l) (tan k))
4.3b
(/ (/ (/ -2 (* (sin k) (/ t l))) 1) (* (/ (+ (- (* (/ k t) (/ k t))) -2) (/ 1 (* (/ t l) (tan k)))) t))
4.5b
(* (/ (+ (- (* (/ k t) (/ k t))) -2) (/ 1 (* (/ t l) (tan k)))) t)
5.6b
(/ (+ (- (* (/ k t) (/ k t))) -2) (/ 1 (* (/ t l) (tan k))))

rewrite236.0ms

Algorithm
rewrite-expression-head
Rules
790×add-exp-log
510×div-exp
238×add-cbrt-cube
226×prod-exp
212×times-frac
135×cbrt-undiv
125×*-un-lft-identity
93×add-sqr-sqrt
83×add-cube-cbrt
81×1-exp
58×associate-*l* cbrt-unprod
36×associate-/r/
33×rec-exp
32×associate-/l*
21×div-inv distribute-lft-out
20×tan-quot
16×associate-*r/
12×associate-*l/
11×associate-/r*
10×frac-times
8×pow1
6×associate-*r*
4×insert-posit16 add-log-exp unswap-sqr
3×associate-/l/
2×clear-num frac-2neg pow-prod-down *-commutative
1×neg-sub0 flip3-+ div-sub associate-+l- flip-+
Counts
4 → 403
Calls
4 calls:
14.0ms
(* (/ t l) (tan k))
81.0ms
(/ (/ (/ -2 (* (sin k) (/ t l))) 1) (* (/ (+ (- (* (/ k t) (/ k t))) -2) (/ 1 (* (/ t l) (tan k)))) t))
79.0ms
(* (/ (+ (- (* (/ k t) (/ k t))) -2) (/ 1 (* (/ t l) (tan k)))) t)
47.0ms
(/ (+ (- (* (/ k t) (/ k t))) -2) (/ 1 (* (/ t l) (tan k))))

series1.6s

Counts
4 → 12
Calls
4 calls:
234.0ms
(* (/ t l) (tan k))
839.0ms
(/ (/ (/ -2 (* (sin k) (/ t l))) 1) (* (/ (+ (- (* (/ k t) (/ k t))) -2) (/ 1 (* (/ t l) (tan k)))) t))
251.0ms
(* (/ (+ (- (* (/ k t) (/ k t))) -2) (/ 1 (* (/ t l) (tan k)))) t)
262.0ms
(/ (+ (- (* (/ k t) (/ k t))) -2) (/ 1 (* (/ t l) (tan k))))

simplify2.3s

Counts
415 → 415
Iterations
IterNodes
done5003
11853
0662

prune1.8s

Pruning

13 alts after pruning (13 fresh and 0 done)

Merged error: 5.4b

localize70.0ms

Local error

Found 4 expressions with local error:

2.9b
(* (sin k) (/ t l))
2.9b
(* (/ t l) (tan k))
4.3b
(/ (/ (/ -2 (* (sin k) (/ t l))) 1) (* (* (* (* (cbrt t) (cbrt t)) (+ (* (- (/ k t)) (/ k t)) -2)) (* (/ t l) (tan k))) (cbrt t)))
7.3b
(* (* (* (cbrt t) (cbrt t)) (+ (* (- (/ k t)) (/ k t)) -2)) (* (/ t l) (tan k)))

rewrite788.0ms

Algorithm
rewrite-expression-head
Rules
757×add-exp-log
378×prod-exp
369×add-cbrt-cube
307×div-exp
220×cbrt-unprod
163×cbrt-undiv
114×times-frac
60×add-sqr-sqrt
50×*-un-lft-identity add-cube-cbrt
44×1-exp
36×associate-*r/
29×pow1
28×associate-/l*
22×associate-*l/
19×frac-times
17×associate-*r* associate-*l* pow-prod-down associate-/r/
14×tan-quot
11×div-inv
8×flip3-+ flip-+
4×insert-posit16 add-log-exp unswap-sqr
3×*-commutative
1×clear-num associate-/r* frac-2neg associate-/l/
Counts
4 → 348
Calls
4 calls:
12.0ms
(* (sin k) (/ t l))
18.0ms
(* (/ t l) (tan k))
541.0ms
(/ (/ (/ -2 (* (sin k) (/ t l))) 1) (* (* (* (* (cbrt t) (cbrt t)) (+ (* (- (/ k t)) (/ k t)) -2)) (* (/ t l) (tan k))) (cbrt t)))
205.0ms
(* (* (* (cbrt t) (cbrt t)) (+ (* (- (/ k t)) (/ k t)) -2)) (* (/ t l) (tan k)))

series1.7s

Counts
4 → 12
Calls
4 calls:
69.0ms
(* (sin k) (/ t l))
188.0ms
(* (/ t l) (tan k))
952.0ms
(/ (/ (/ -2 (* (sin k) (/ t l))) 1) (* (* (* (* (cbrt t) (cbrt t)) (+ (* (- (/ k t)) (/ k t)) -2)) (* (/ t l) (tan k))) (cbrt t)))
535.0ms
(* (* (* (cbrt t) (cbrt t)) (+ (* (- (/ k t)) (/ k t)) -2)) (* (/ t l) (tan k)))

simplify2.9s

Counts
360 → 360
Iterations
IterNodes
done5001
11996
0647

prune1.9s

Pruning

13 alts after pruning (12 fresh and 1 done)

Merged error: 5.4b

regimes449.0ms

Accuracy

85.7% (0.7b remaining)

Error of 7.7b against oracle of 7.0b and baseline of 12.0b

bsearch775.0ms

Steps
ItersRangePoint
9
1.0095260918041506e-11
0.006928851504795399
0.006592551945511662
9
-1.1749452941306976e+110
-6.911610598770791e+101
-4.5062174373973056e+105

simplify17.6s

Iterations
IterNodes
done5000
27584998
27574996
27564995
27554993
27544991
27534989
27524988
27514986
27504984
27494982
27484981
27474979
27464977
27454975
27444974
27434972
27424970
27414968
27404967
27394965
27384963
27374961
27364960
27354958
27344956
27334954
27324953
27314951
27304949
27294947
27284946
27274944
27264942
27254940
27244939
27234937
27224935
27214933
27204932
27194930
27184928
27174926
27164925
27154923
27144921
27134919
27124918
27114916
27104914
27094912
27084911
27074909
27064907
27054905
27044904
27034902
27024900
27014898
27004897
26994895
26984893
26974891
26964890
26954888
26944886
26934884
26924883
26914881
26904879
26894877
26884876
26874874
26864872
26854870
26844869
26834867
26824865
26814863
26804862
26794860
26784858
26774856
26764855
26754853
26744851
26734849
26724848
26714846
26704844
26694842
26684841
26674839
26664837
26654835
26644834
26634832
26624830
26614828
26604827
26594825
26584823
26574821
26564820
26554818
26544816
26534814
26524813
26514811
26504809
26494807
26484806
26474804
26464802
26454800
26444799
26434797
26424795
26414793
26404792
26394790
26384788
26374786
26364785
26354783
26344781
26334779
26324778
26314776
26304774
26294772
26284771
26274769
26264767
26254765
26244764
26234762
26224760
26214758
26204757
26194755
26184753
26174751
26164750
26154748
26144746
26134744
26124743
26114741
26104739
26094737
26084736
26074734
26064732
26054730
26044729
26034727
26024725
26014723
26004722
25994720
25984718
25974716
25964715
25954713
25944711
25934709
25924708
25914706
25904704
25894702
25884701
25874699
25864697
25854695
25844694
25834692
25824690
25814688
25804687
25794685
25784683
25774681
25764680
25754678
25744676
25734674
25724673
25714671
25704669
25694667
25684666
25674664
25664662
25654660
25644659
25634657
25624655
25614653
25604652
25594650
25584648
25574646
25564645
25554643
25544641
25534639
25524638
25514636
25504634
25494632
25484631
25474629
25464627
25454625
25444624
25434622
25424620
25414618
25404617
25394615
25384613
25374611
25364610
25354608
25344606
25334604
25324603
25314601
25304599
25294597
25284596
25274594
25264592
25254590
25244589
25234587
25224585
25214583
25204582
25194580
25184578
25174576
25164575
25154573
25144571
25134569
25124568
25114566
25104564
25094562
25084561
25074559
25064557
25054555
25044554
25034552
25024550
25014548
25004547
24994545
24984543
24974541
24964540
24954538
24944536
24934534
24924533
24914531
24904529
24894527
24884526
24874524
24864522
24854520
24844519
24834517
24824515
24814513
24804512
24794510
24784508
24774506
24764505
24754503
24744501
24734499
24724498
24714496
24704494
24694492
24684491
24674489
24664487
24654485
24644484
24634482
24624480
24614478
24604477
24594475
24584473
24574471
24564470
24554468
24544466
24534464
24524463
24514461
24504459
24494457
24484456
24474454
24464452
24454450
24444449
24434447
24424445
24414443
24404442
24394440
24384438
24374436
24364435
24354433
24344431
24334429
24324428
24314426
24304424
24294422
24284421
24274419
24264417
24254415
24244414
24234412
24224410
24214408
24204407
24194405
24184403
24174401
24164400
24154398
24144396
24134394
24124393
24114391
24104389
24094387
24084386
24074384
24064382
24054380
24044379
24034377
24024375
24014373
24004372
23994370
23984368
23974366
23964365
23954363
23944361
23934359
23924358
23914356
23904354
23894352
23884351
23874349
23864347
23854345
23844344
23834342
23824340
23814338
23804337
23794335
23784333
23774331
23764330
23754328
23744326
23734324
23724323
23714321
23704319
23694317
23684316
23674314
23664312
23654310
23644309
23634307
23624305
23614303
23604302
23594300
23584298
23574296
23564295
23554293
23544291
23534289
23524288
23514286
23504284
23494282
23484281
23474279
23464277
23454275
23444274
23434272
23424270
23414268
23404267
23394265
23384263
23374261
23364260
23354258
23344256
23334254
23324253
23314251
23304249
23294247
23284246
23274244
23264242
23254240
23244239
23234237
23224235
23214233
23204232
23194230
23184228
23174226
23164225
23154223
23144221
23134219
23124218
23114216
23104214
23094212
23084211
23074209
23064207
23054205
23044204
23034202
23024200
23014198
23004197
22994195
22984193
22974191
22964190
22954188
22944186
22934184
22924183
22914181
22904179
22894177
22884176
22874174
22864172
22854170
22844169
22834167
22824165
22814163
22804162
22794160
22784158
22774156
22764155
22754153
22744151
22734149
22724148
22714146
22704144
22694142
22684141
22674139
22664137
22654135
22644134
22634132
22624130
22614128
22604127
22594125
22584123
22574121
22564120
22554118
22544116
22534114
22524113
22514111
22504109
22494107
22484106
22474104
22464102
22454100
22444099
22434097
22424095
22414093
22404092
22394090
22384088
22374086
22364085
22354083
22344081
22334079
22324078
22314076
22304074
22294072
22284071
22274069
22264067
22254065
22244064
22234062
22224060
22214058
22204057
22194055
22184053
22174051
22164050
22154048
22144046
22134044
22124043
22114041
22104039
22094037
22084036
22074034
22064032
22054030
22044029
22034027
22024025
22014023
22004022
21994020
21984018
21974016
21964015
21954013
21944011
21934009
21924008
21914006
21904004
21894002
21884001
21873999
21863997
21853995
21843994
21833992
21823990
21813988
21803987
21793985
21783983
21773981
21763980
21753978
21743976
21733974
21723973
21713971
21703969
21693967
21683966
21673964
21663962
21653960
21643959
21633957
21623955
21613953
21603952
21593950
21583948
21573946
21563945
21553943
21543941
21533939
21523938
21513936
21503934
21493932
21483931
21473929
21463927
21453925
21443924
21433922
21423920
21413918
21403917
21393915
21383913
21373911
21363910
21353908
21343906
21333904
21323903
21313901
21303899
21293897
21283896
21273894
21263892
21253890
21243889
21233887
21223885
21213883
21203882
21193880
21183878
21173876
21163875
21153873
21143871
21133869
21123868
21113866
21103864
21093862
21083861
21073859
21063857
21053855
21043854
21033852
21023850
21013848
21003847
20993845
20983843
20973841
20963840
20953838
20943836
20933834
20923833
20913831
20903829
20893827
20883826
20873824
20863822
20853820
20843819
20833817
20823815
20813813
20803812
20793810
20783808
20773806
20763805
20753803
20743801
20733799
20723798
20713796
20703794
20693792
20683791
20673789
20663787
20653785
20643784
20633782
20623780
20613778
20603777
20593775
20583773
20573771
20563770
20553768
20543766
20533764
20523763
20513761
20503759
20493757
20483756
20473754
20463752
20453750
20443749
20433747
20423745
20413743
20403742
20393740
20383738
20373736
20363735
20353733
20343731
20333729
20323728
20313726
20303724
20293722
20283721
20273719
20263717
20253715
20243714
20233712
20223710
20213708
20203707
20193705
20183703
20173701
20163700
20153698
20143696
20133694
20123693
20113691
20103689
20093687
20083686
20073684
20063682
20053680
20043679
20033677
20023675
20013673
20003672
19993670
19983668
19973666
19963665
19953663
19943661
19933659
19923658
19913656
19903654
19893652
19883651
19873649
19863647
19853645
19843644
19833642
19823640
19813638
19803637
19793635
19783633
19773631
19763630
19753628
19743626
19733624
19723623
19713621
19703619
19693617
19683616
19673614
19663612
19653610
19643609
19633607
19623605
19613603
19603602
19593600
19583598
19573596
19563595
19553593
19543591
19533589
19523588
19513586
19503584
19493582
19483581
19473579
19463577
19453575
19443574
19433572
19423570
19413568
19403567
19393565
19383563
19373561
19363560
19353558
19343556
19333554
19323553
19313551
19303549
19293547
19283546
19273544
19263542
19253540
19243539
19233537
19223535
19213533
19203532
19193530
19183528
19173526
19163525
19153523
19143521
19133519
19123518
19113516
19103514
19093512
19083511
19073509
19063507
19053505
19043504
19033502
19023500
19013498
19003497
18993495
18983493
18973491
18963490
18953488
18943486
18933484
18923483
18913481
18903479
18893477
18883476
18873474
18863472
18853470
18843469
18833467
18823465
18813463
18803462
18793460
18783458
18773456
18763455
18753453
18743451
18733449
18723448
18713446
18703444
18693442
18683441
18673439
18663437
18653435
18643434
18633432
18623430
18613428
18603427
18593425
18583423
18573421
18563420
18553418
18543416
18533414
18523413
18513411
18503409
18493407
18483406
18473404
18463402
18453400
18443399
18433397
18423395
18413393
18403392
18393390
18383388
18373386
18363385
18353383
18343381
18333379
18323378
18313376
18303374
18293372
18283371
18273369
18263367
18253365
18243364
18233362
18223360
18213358
18203357
18193355
18183353
18173351
18163350
18153348
18143346
18133344
18123343
18113341
18103339
18093337
18083336
18073334
18063332
18053330
18043329
18033327
18023325
18013323
18003322
17993320
17983318
17973316
17963315
17953313
17943311
17933309
17923308
17913306
17903304
17893302
17883301
17873299
17863297
17853295
17843294
17833292
17823290
17813288
17803287
17793285
17783283
17773281
17763280
17753278
17743276
17733274
17723273
17713271
17703269
17693267
17683266
17673264
17663262
17653260
17643259
17633257
17623255
17613253
17603252
17593250
17583248
17573246
17563245
17553243
17543241
17533239
17523238
17513236
17503234
17493232
17483231
17473229
17463227
17453225
17443224
17433222
17423220
17413218
17403217
17393215
17383213
17373211
17363210
17353208
17343206
17333204
17323203
17313201
17303199
17293197
17283196
17273194
17263192
17253190
17243189
17233187
17223185
17213183
17203182
17193180
17183178
17173176
17163175
17153173
17143171
17133169
17123168
17113166
17103164
17093162
17083161
17073159
17063157
17053155
17043154
17033152
17023150
17013148
17003147
16993145
16983143
16973141
16963140
16953138
16943136
16933134
16923133
16913131
16903129
16893127
16883126
16873124
16863122
16853120
16843119
16833117
16823115
16813113
16803112
16793110
16783108
16773106
16763105
16753103
16743101
16733099
16723098
16713096
16703094
16693092
16683091
16673089
16663087
16653085
16643084
16633082
16623080
16613078
16603077
16593075
16583073
16573071
16563070
16553068
16543066
16533064
16523063
16513061
16503059
16493057
16483056
16473054
16463052
16453050
16443049
16433047
16423045
16413043
16403042
16393040
16383038
16373036
16363035
16353033
16343031
16333029
16323028
16313026
16303024
16293022
16283021
16273019
16263017
16253015
16243014
16233012
16223010
16213008
16203007
16193005
16183003
16173001
16163000
16152998
16142996
16132994
16122993
16112991
16102989
16092987
16082986
16072984
16062982
16052980
16042979
16032977
16022975
16012973
16002972
15992970
15982968
15972966
15962965
15952963
15942961
15932959
15922958
15912956
15902954
15892952
15882951
15872949
15862947
15852945
15842944
15832942
15822940
15812938
15802937
15792935
15782933
15772931
15762930
15752928
15742926
15732924
15722923
15712921
15702919
15692917
15682916
15672914
15662912
15652910
15642909
15632907
15622905
15612903
15602902
15592900
15582898
15572896
15562895
15552893
15542891
15532889
15522888
15512886
15502884
15492882
15482881
15472879
15462877
15452875
15442874
15432872
15422870
15412868
15402867
15392865
15382863
15372861
15362860
15352858
15342856
15332854
15322853
15312851
15302849
15292847
15282846
15272844
15262842
15252840
15242839
15232837
15222835
15212833
15202832
15192830
15182828
15172826
15162825
15152823
15142821
15132819
15122818
15112816
15102814
15092812
15082811
15072809
15062807
15052805
15042804
15032802
15022800
15012798
15002797
14992795
14982793
14972791
14962790
14952788
14942786
14932784
14922783
14912781
14902779
14892777
14882776
14872774
14862772
14852770
14842769
14832767
14822765
14812763
14802762
14792760
14782758
14772756
14762755
14752753
14742751
14732749
14722748
14712746
14702744
14692742
14682741
14672739
14662737
14652735
14642734
14632732
14622730
14612728
14602727
14592725
14582723
14572721
14562720
14552718
14542716
14532714
14522713
14512711
14502709
14492707
14482706
14472704
14462702
14452700
14442699
14432697
14422695
14412693
14402692
14392690
14382688
14372686
14362685
14352683
14342681
14332679
14322678
14312676
14302674
14292672
14282671
14272669
14262667
14252665
14242664
14232662
14222660
14212658
14202657
14192655
14182653
14172651
14162650
14152648
14142646
14132644
14122643
14112641
14102639
14092637
14082636
14072634
14062632
14052630
14042629
14032627
14022625
14012623
14002622
13992620
13982618
13972616
13962615
13952613
13942611
13932609
13922608
13912606
13902604
13892602
13882601
13872599
13862597
13852595
13842594
13832592
13822590
13812588
13802587
13792585
13782583
13772581
13762580
13752578
13742576
13732574
13722573
13712571
13702569
13692567
13682566
13672564
13662562
13652560
13642559
13632557
13622555
13612553
13602552
13592550
13582548
13572546
13562545
13552543
13542541
13532539
13522538
13512536
13502534
13492532
13482531
13472529
13462527
13452525
13442524
13432522
13422520
13412518
13402517
13392515
13382513
13372511
13362510
13352508
13342506
13332504
13322503
13312501
13302499
13292497
13282496
13272494
13262492
13252490
13242489
13232487
13222485
13212483
13202482
13192480
13182478
13172476
13162475
13152473
13142471
13132469
13122468
13112466
13102464
13092462
13082461
13072459
13062457
13052455
13042454
13032452
13022450
13012448
13002447
12992445
12982443
12972441
12962440
12952438
12942436
12932434
12922433
12912431
12902429
12892427
12882426
12872424
12862422
12852420
12842419
12832417
12822415
12812413
12802412
12792410
12782408
12772406
12762405
12752403
12742401
12732399
12722398
12712396
12702394
12692392
12682391
12672389
12662387
12652385
12642384
12632382
12622380
12612378
12602377
12592375
12582373
12572371
12562370
12552368
12542366
12532364
12522363
12512361
12502359
12492357
12482356
12472354
12462352
12452350
12442349
12432347
12422345
12412343
12402342
12392340
12382338
12372336
12362335
12352333
12342331
12332329
12322328
12312326
12302324
12292322
12282321
12272319
12262317
12252315
12242314
12232312
12222310
12212308
12202307
12192305
12182303
12172301
12162300
12152298
12142296
12132294
12122293
12112291
12102289
12092287
12082286
12072284
12062282
12052280
12042279
12032277
12022275
12012273
12002272
11992270
11982268
11972266
11962265
11952263
11942261
11932259
11922258
11912256
11902254
11892252
11882251
11872249
11862247
11852245
11842244
11832242
11822240
11812238
11802237
11792235
11782233
11772231
11762230
11752228
11742226
11732224
11722223
11712221
11702219
11692217
11682216
11672214
11662212
11652210
11642209
11632207
11622205
11612203
11602202
11592200
11582198
11572196
11562195
11552193
11542191
11532189
11522188
11512186
11502184
11492182
11482181
11472179
11462177
11452175
11442174
11432172
11422170
11412168
11402167
11392165
11382163
11372161
11362160
11352158
11342156
11332154
11322153
11312151
11302149
11292147
11282146
11272144
11262142
11252140
11242139
11232137
11222135
11212133
11202132
11192130
11182128
11172126
11162125
11152123
11142121
11132119
11122118
11112116
11102114
11092112
11082111
11072109
11062107
11052105
11042104
11032102
11022100
11012098
11002097
10992095
10982093
10972091
10962090
10952088
10942086
10932084
10922083
10912081
10902079
10892077
10882076
10872074
10862072
10852070
10842069
10832067
10822065
10812063
10802062
10792060
10782058
10772056
10762055
10752053
10742051
10732049
10722048
10712046
10702044
10692042
10682041
10672039
10662037
10652035
10642034
10632032
10622030
10612028
10602027
10592025
10582023
10572021
10562020
10552018
10542016
10532014
10522013
10512011
10502009
10492007
10482006
10472004
10462002
10452000
10441999
10431997
10421995
10411993
10401992
10391990
10381988
10371986
10361985
10351983
10341981
10331979
10321978
10311976
10301974
10291972
10281971
10271969
10261967
10251965
10241964
10231962
10221960
10211958
10201957
10191955
10181953
10171951
10161950
10151948
10141946
10131944
10121943
10111941
10101939
10091937
10081936
10071934
10061932
10051930
10041929
10031927
10021925
10011923
10001922
9991920
9981918
9971916
9961915
9951913
9941911
9931909
9921908
9911906
9901904
9891902
9881901
9871899
9861897
9851895
9841894
9831892
9821890
9811888
9801887
9791885
9781883
9771881
9761880
9751878
9741876
9731874
9721873
9711871
9701869
9691867
9681866
9671864
9661862
9651860
9641859
9631857
9621855
9611853
9601852
9591850
9581848
9571846
9561845
9551843
9541841
9531839
9521838
9511836
9501834
9491832
9481831
9471829
9461827
9451825
9441824
9431822
9421820
9411818
9401817
9391815
9381813
9371811
9361810
9351808
9341806
9331804
9321803
9311801
9301799
9291797
9281796
9271794
9261792
9251790
9241789
9231787
9221785
9211783
9201782
9191780
9181778
9171776
9161775
9151773
9141771
9131769
9121768
9111766
9101764
9091762
9081761
9071759
9061757
9051755
9041754
9031752
9021750
9011748
9001747
8991745
8981743
8971741
8961740
8951738
8941736
8931734
8921733
8911731
8901729
8891727
8881726
8871724
8861722
8851720
8841719
8831717
8821715
8811713
8801712
8791710
8781708
8771706
8761705
8751703
8741701
8731699
8721698
8711696
8701694
8691692
8681691
8671689
8661687
8651685
8641684
8631682
8621680
8611678
8601677
8591675
8581673
8571671
8561670
8551668
8541666
8531664
8521663
8511661
8501659
8491657
8481656
8471654
8461652
8451650
8441649
8431647
8421645
8411643
8401642
8391640
8381638
8371636
8361635
8351633
8341631
8331629
8321628
8311626
8301624
8291622
8281621
8271619
8261617
8251615
8241614
8231612
8221610
8211608
8201607
8191605
8181603
8171601
8161600
8151598
8141596
8131594
8121593
8111591
8101589
8091587
8081586
8071584
8061582
8051580
8041579
8031577
8021575
8011573
8001572
7991570
7981568
7971566
7961565
7951563
7941561
7931559
7921558
7911556
7901554
7891552
7881551
7871549
7861547
7851545
7841544
7831542
7821540
7811538
7801537
7791535
7781533
7771531
7761530
7751528
7741526
7731524
7721523
7711521
7701519
7691517
7681516
7671514
7661512
7651510
7641509
7631507
7621505
7611503
7601502
7591500
7581498
7571496
7561495
7551493
7541491
7531489
7521488
7511486
7501484
7491482
7481481
7471479
7461477
7451475
7441474
7431472
7421470
7411468
7401467
7391465
7381463
7371461
7361460
7351458
7341456
7331454
7321453
7311451
7301449
7291447
7281446
7271444
7261442
7251440
7241439
7231437
7221435
7211433
7201432
7191430
7181428
7171426
7161425
7151423
7141421
7131419
7121418
7111416
7101414
7091412
7081411
7071409
7061407
7051405
7041404
7031402
7021400
7011398
7001397
6991395
6981393
6971391
6961390
6951388
6941386
6931384
6921383
6911381
6901379
6891377
6881376
6871374
6861372
6851370
6841369
6831367
6821365
6811363
6801362
6791360
6781358
6771356
6761355
6751353
6741351
6731349
6721348
6711346
6701344
6691342
6681341
6671339
6661337
6651335
6641334
6631332
6621330
6611328
6601327
6591325
6581323
6571321
6561320
6551318
6541316
6531314
6521313
6511311
6501309
6491307
6481306
6471304
6461302
6451300
6441299
6431297
6421295
6411293
6401292
6391290
6381288
6371286
6361285
6351283
6341281
6331279
6321278
6311276
6301274
6291272
6281271
6271269
6261267
6251265
6241264
6231262
6221260
6211258
6201257
6191255
6181253
6171251
6161250
6151248
6141246
6131244
6121243
6111241
6101239
6091237
6081236
6071234
6061232
6051230
6041229
6031227
6021225
6011223
6001222
5991220
5981218
5971216
5961215
5951213
5941211
5931209
5921208
5911206
5901204
5891202
5881201
5871199
5861197
5851195
5841194
5831192
5821190
5811188
5801187
5791185
5781183
5771181
5761180
5751178
5741176
5731174
5721173
5711171
5701169
5691167
5681166
5671164
5661162
5651160
5641159
5631157
5621155
5611153
5601152
5591150
5581148
5571146
5561145
5551143
5541141
5531139
5521138
5511136
5501134
5491132
5481131
5471129
5461127
5451125
5441124
5431122
5421120
5411118
5401117
5391115
5381113
5371111
5361110
5351108
5341106
5331104
5321103
5311101
5301099
5291097
5281096
5271094
5261092
5251090
5241089
5231087
5221085
5211083
5201082
5191080
5181078
5171076
5161075
5151073
5141071
5131069
5121068
5111066
5101064
5091062
5081061
5071059
5061057
5051055
5041054
5031052
5021050
5011048
5001047
4991045
4981043
4971041
4961040
4951038
4941036
4931034
4921033
4911031
4901029
4891027
4881026
4871024
4861022
4851020
4841019
4831017
4821015
4811013
4801012
4791010
4781008
4771006
4761005
4751003
4741001
473999
472998
471996
470994
469992
468991
467989
466987
465985
464984
463982
462980
461978
460977
459975
458973
457971
456970
455968
454966
453964
452963
451961
450959
449957
448956
447954
446952
445950
444949
443947
442945
441943
440942
439940
438938
437936
436935
435933
434931
433929
432928
431926
430924
429922
428921
427919
426917
425915
424914
423912
422910
421908
420907
419905
418903
417901
416900
415898
414896
413894
412893
411891
410889
409887
408886
407884
406882
405880
404879
403877
402875
401873
400872
399870
398868
397866
396865
395863
394861
393859
392858
391856
390854
389852
388851
387849
386847
385845
384844
383842
382840
381838
380837
379835
378833
377831
376830
375828
374826
373824
372823
371821
370819
369817
368816
367814
366812
365810
364809
363807
362805
361803
360802
359800
358798
357796
356795
355793
354791
353789
352788
351786
350784
349782
348781
347779
346777
345775
344774
343772
342770
341768
340767
339765
338763
337761
336760
335758
334756
333754
332753
331751
330749
329747
328746
327744
326742
325740
324739
323737
322735
321733
320732
319730
318728
317726
316725
315723
314721
313719
312718
311716
310714
309712
308711
307709
306707
305705
304704
303702
302700
301698
300697
299695
298693
297691
296690
295688
294686
293684
292683
291681
290679
289677
288676
287674
286672
285670
284669
283667
282665
281663
280662
279660
278658
277656
276655
275653
274651
273649
272648
271646
270644
269642
268641
267639
266637
265635
264634
263632
262630
261628
260627
259625
258623
257621
256620
255618
254616
253614
252613
251611
250609
249607
248606
247604
246602
245600
244599
243597
242595
241593
240592
239590
238588
237586
236585
235583
234581
233579
232578
231576
230574
229572
228571
227569
226567
225565
224564
223562
222560
221558
220557
219555
218553
217551
216550
215548
214546
213544
212543
211541
210539
209537
208536
207534
206532
205530
204529
203527
202525
201523
200522
199520
198518
197516
196515
195513
194511
193509
192508
191506
190504
189502
188501
187499
186497
185495
184494
183492
182490
181488
180487
179485
178483
177481
176480
175478
174476
173474
172473
171471
170469
169467
168466
167464
166462
165460
164459
163457
162455
161453
160452
159450
158448
157446
156445
155443
154441
153439
152438
151436
150434
149432
148431
147429
146427
145425
144424
143422
142420
141418
140417
139415
138413
137411
136410
135408
134406
133404
132403
131401
130399
129397
128396
127394
126392
125390
124389
123387
122385
121383
120382
119380
118378
117376
116375
115373
114371
113369
112368
111366
110364
109362
108361
107359
106357
105355
104354
103352
102350
101348
100347
99345
98343
97341
96340
95338
94336
93334
92333
91331
90329
89327
88326
87324
86322
85320
84319
83317
82315
81313
80312
79310
78308
77306
76305
75303
74301
73299
72298
71296
70294
69292
68291
67289
66287
65285
64284
63282
62280
61278
60277
59275
58273
57271
56270
55268
54266
53264
52263
51261
50259
49257
48256
47254
46252
45250
44249
43247
42245
41243
40242
39240
38238
37236
36235
35233
34231
33229
32228
31226
30224
29222
28221
27219
26217
25215
24214
23212
22210
21208
20207
19205
18203
17201
16200
15198
14196
13194
12193
11191
10189
9187
8186
7180
6157
5136
4115
394
284
175
056

end0.0ms

sample15.6s

Algorithm
intervals
Results
6.8s2050×body1280valid
3.5s1753×body640valid
3.0s5877×body80valid
1.6s875×body320valid
345.0ms445×body160valid