Details

Time bar (total: 1.1m)

sample321.0ms

Algorithm
intervals
Results
177.0ms77×body1280valid
51.0ms48×body640valid
40.0ms185×body80valid
22.0ms31×body320valid
9.0ms17×body160valid

simplify1.6s

Counts
1 → 1
Iterations
IterNodes
done5001
31118
2185
154
019

prune13.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 23.4b

localize37.0ms

Local error

Found 4 expressions with local error:

1.9b
(* (* (/ t l) (/ t l)) t)
3.1b
(* (sin k) (* (* (/ t l) (/ t l)) t))
3.9b
(/ (/ 2 (tan k)) (* (sin k) (* (* (/ t l) (/ t l)) t)))
15.5b
(/ (/ (/ 2 (tan k)) (* (sin k) (* (* (/ t l) (/ t l)) t))) (+ (* (/ k t) (/ k t)) 2))

rewrite301.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:
28.0ms
(* (* (/ t l) (/ t l)) t)
74.0ms
(* (sin k) (* (* (/ t l) (/ t l)) t))
81.0ms
(/ (/ 2 (tan k)) (* (sin k) (* (* (/ t l) (/ t l)) t)))
110.0ms
(/ (/ (/ 2 (tan k)) (* (sin k) (* (* (/ t l) (/ t l)) t))) (+ (* (/ k t) (/ k t)) 2))

series1.3s

Counts
4 → 12
Calls
4 calls:
48.0ms
(* (* (/ t l) (/ t l)) t)
150.0ms
(* (sin k) (* (* (/ t l) (/ t l)) t))
342.0ms
(/ (/ 2 (tan k)) (* (sin k) (* (* (/ t l) (/ t l)) t)))
728.0ms
(/ (/ (/ 2 (tan k)) (* (sin k) (* (* (/ t l) (/ t l)) t))) (+ (* (/ k t) (/ k t)) 2))

simplify1.8s

Counts
275 → 275
Iterations
IterNodes
done5000
11235
0448

prune1.6s

Pruning

12 alts after pruning (12 fresh and 0 done)

Merged error: 12.8b

localize74.0ms

Local error

Found 4 expressions with local error:

2.3b
(/ (/ (/ -2 (tan k)) (* (* (sin k) (/ t l)) (/ t l))) t)
3.9b
(/ (/ -2 (tan k)) (* (* (sin k) (/ t l)) (/ t l)))
4.5b
(* (sin k) (/ t l))
15.5b
(/ (/ (/ (/ -2 (tan k)) (* (* (sin k) (/ t l)) (/ t l))) t) (- (+ (* (/ k t) (/ k t)) 2)))

rewrite343.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:
56.0ms
(/ (/ (/ -2 (tan k)) (* (* (sin k) (/ t l)) (/ t l))) t)
42.0ms
(/ (/ -2 (tan k)) (* (* (sin k) (/ t l)) (/ t l)))
27.0ms
(* (sin k) (/ t l))
153.0ms
(/ (/ (/ (/ -2 (tan k)) (* (* (sin k) (/ t l)) (/ t l))) t) (- (+ (* (/ k t) (/ k t)) 2)))

series1.6s

Counts
4 → 12
Calls
4 calls:
306.0ms
(/ (/ (/ -2 (tan k)) (* (* (sin k) (/ t l)) (/ t l))) t)
302.0ms
(/ (/ -2 (tan k)) (* (* (sin k) (/ t l)) (/ t l)))
84.0ms
(* (sin k) (/ t l))
913.0ms
(/ (/ (/ (/ -2 (tan k)) (* (* (sin k) (/ t l)) (/ t l))) t) (- (+ (* (/ k t) (/ k t)) 2)))

simplify3.9s

Counts
1039 → 1039
Iterations
IterNodes
done5002
14451
01646

prune8.2s

Pruning

13 alts after pruning (13 fresh and 0 done)

Merged error: 11.0b

localize51.0ms

Local error

Found 4 expressions with local error:

4.5b
(* (/ t l) (tan k))
4.5b
(* (/ (+ (- (* (/ k t) (/ k t))) -2) (/ 1 (* (/ t l) (tan k)))) t)
5.3b
(/ (+ (- (* (/ k t) (/ k t))) -2) (/ 1 (* (/ t l) (tan k))))
5.7b
(/ (/ (/ -2 (* (sin k) (/ t l))) 1) (* (/ (+ (- (* (/ k t) (/ k t))) -2) (/ 1 (* (/ t l) (tan k)))) t))

rewrite330.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:
20.0ms
(* (/ t l) (tan k))
135.0ms
(* (/ (+ (- (* (/ k t) (/ k t))) -2) (/ 1 (* (/ t l) (tan k)))) t)
57.0ms
(/ (+ (- (* (/ k t) (/ k t))) -2) (/ 1 (* (/ t l) (tan k))))
102.0ms
(/ (/ (/ -2 (* (sin k) (/ t l))) 1) (* (/ (+ (- (* (/ k t) (/ k t))) -2) (/ 1 (* (/ t l) (tan k)))) t))

series2.0s

Counts
4 → 12
Calls
4 calls:
174.0ms
(* (/ t l) (tan k))
294.0ms
(* (/ (+ (- (* (/ k t) (/ k t))) -2) (/ 1 (* (/ t l) (tan k)))) t)
220.0ms
(/ (+ (- (* (/ k t) (/ k t))) -2) (/ 1 (* (/ t l) (tan k))))
1.4s
(/ (/ (/ -2 (* (sin k) (/ t l))) 1) (* (/ (+ (- (* (/ k t) (/ k t))) -2) (/ 1 (* (/ t l) (tan k)))) t))

simplify2.3s

Counts
415 → 415
Iterations
IterNodes
done5001
11866
0662

prune1.8s

Pruning

13 alts after pruning (13 fresh and 0 done)

Merged error: 8.1b

localize90.0ms

Local error

Found 4 expressions with local error:

5.7b
(/ (/ (/ -2 (* (sin k) (/ t l))) 1) (* (/ (/ (+ (- (* (/ k t) (/ k t))) -2) (* (cbrt (/ 1 (* (/ t l) (tan k)))) (cbrt (/ 1 (* (/ t l) (tan k)))))) (cbrt (/ 1 (* (/ t l) (tan k))))) t))
10.1b
(cbrt (/ 1 (* (/ t l) (tan k))))
10.1b
(cbrt (/ 1 (* (/ t l) (tan k))))
10.1b
(cbrt (/ 1 (* (/ t l) (tan k))))

rewrite174.0ms

Algorithm
rewrite-expression-head
Rules
264×add-exp-log
170×div-exp
129×add-cbrt-cube
103×times-frac
90×cbrt-undiv
65×prod-exp
40×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
35×cbrt-unprod
30×cbrt-prod
28×associate-/l*
20×1-exp
16×associate-/r/
12×div-inv
9×associate-*r/
6×tan-quot
4×pow1 associate-*l/ insert-posit16 add-log-exp
3×frac-times cbrt-div pow1/3
1×clear-num associate-/r* frac-2neg associate-/l/
Counts
4 → 200
Calls
4 calls:
107.0ms
(/ (/ (/ -2 (* (sin k) (/ t l))) 1) (* (/ (/ (+ (- (* (/ k t) (/ k t))) -2) (* (cbrt (/ 1 (* (/ t l) (tan k)))) (cbrt (/ 1 (* (/ t l) (tan k)))))) (cbrt (/ 1 (* (/ t l) (tan k))))) t))
12.0ms
(cbrt (/ 1 (* (/ t l) (tan k))))
22.0ms
(cbrt (/ 1 (* (/ t l) (tan k))))
23.0ms
(cbrt (/ 1 (* (/ t l) (tan k))))

series1.7s

Counts
4 → 12
Calls
4 calls:
860.0ms
(/ (/ (/ -2 (* (sin k) (/ t l))) 1) (* (/ (/ (+ (- (* (/ k t) (/ k t))) -2) (* (cbrt (/ 1 (* (/ t l) (tan k)))) (cbrt (/ 1 (* (/ t l) (tan k)))))) (cbrt (/ 1 (* (/ t l) (tan k))))) t))
282.0ms
(cbrt (/ 1 (* (/ t l) (tan k))))
266.0ms
(cbrt (/ 1 (* (/ t l) (tan k))))
250.0ms
(cbrt (/ 1 (* (/ t l) (tan k))))

simplify2.7s

Counts
212 → 212
Iterations
IterNodes
done5015
23601
11082
0405

prune1.1s

Pruning

12 alts after pruning (11 fresh and 1 done)

Merged error: 8.1b

regimes328.0ms

Accuracy

60.5% (1.8b remaining)

Error of 8.5b against oracle of 6.7b and baseline of 11.3b

bsearch491.0ms

Steps
ItersRangePoint
8
4.1505443174459795e-49
1.9829185506334188e-44
6.457003182851085e-47
8
-1.5359199640650495e+32
-7.209296773904784e+28
-4.980748262550128e+31

simplify20.9s

Iterations
IterNodes
done5001
32264999
32254998
32244996
32234995
32224993
32214992
32204990
32194989
32184987
32174986
32164984
32154983
32144981
32134980
32124978
32114977
32104975
32094974
32084972
32074971
32064969
32054968
32044966
32034965
32024963
32014962
32004960
31994959
31984957
31974956
31964954
31954953
31944951
31934950
31924948
31914947
31904945
31894944
31884942
31874941
31864939
31854938
31844936
31834935
31824933
31814932
31804930
31794929
31784927
31774926
31764924
31754923
31744921
31734920
31724918
31714917
31704915
31694914
31684912
31674911
31664909
31654908
31644906
31634905
31624903
31614902
31604900
31594899
31584897
31574896
31564894
31554893
31544891
31534890
31524888
31514887
31504885
31494884
31484882
31474881
31464879
31454878
31444876
31434875
31424873
31414872
31404870
31394869
31384867
31374866
31364864
31354863
31344861
31334860
31324858
31314857
31304855
31294854
31284852
31274851
31264849
31254848
31244846
31234845
31224843
31214842
31204840
31194839
31184837
31174836
31164834
31154833
31144831
31134830
31124828
31114827
31104825
31094824
31084822
31074821
31064819
31054818
31044816
31034815
31024813
31014812
31004810
30994809
30984807
30974806
30964804
30954803
30944801
30934800
30924798
30914797
30904795
30894794
30884792
30874791
30864789
30854788
30844786
30834785
30824783
30814782
30804780
30794779
30784777
30774776
30764774
30754773
30744771
30734770
30724768
30714767
30704765
30694764
30684762
30674761
30664759
30654758
30644756
30634755
30624753
30614752
30604750
30594749
30584747
30574746
30564744
30554743
30544741
30534740
30524738
30514737
30504735
30494734
30484732
30474731
30464729
30454728
30444726
30434725
30424723
30414722
30404720
30394719
30384717
30374716
30364714
30354713
30344711
30334710
30324708
30314707
30304705
30294704
30284702
30274701
30264699
30254698
30244696
30234695
30224693
30214692
30204690
30194689
30184687
30174686
30164684
30154683
30144681
30134680
30124678
30114677
30104675
30094674
30084672
30074671
30064669
30054668
30044666
30034665
30024663
30014662
30004660
29994659
29984657
29974656
29964654
29954653
29944651
29934650
29924648
29914647
29904645
29894644
29884642
29874641
29864639
29854638
29844636
29834635
29824633
29814632
29804630
29794629
29784627
29774626
29764624
29754623
29744621
29734620
29724618
29714617
29704615
29694614
29684612
29674611
29664609
29654608
29644606
29634605
29624603
29614602
29604600
29594599
29584597
29574596
29564594
29554593
29544591
29534590
29524588
29514587
29504585
29494584
29484582
29474581
29464579
29454578
29444576
29434575
29424573
29414572
29404570
29394569
29384567
29374566
29364564
29354563
29344561
29334560
29324558
29314557
29304555
29294554
29284552
29274551
29264549
29254548
29244546
29234545
29224543
29214542
29204540
29194539
29184537
29174536
29164534
29154533
29144531
29134530
29124528
29114527
29104525
29094524
29084522
29074521
29064519
29054518
29044516
29034515
29024513
29014512
29004510
28994509
28984507
28974506
28964504
28954503
28944501
28934500
28924498
28914497
28904495
28894494
28884492
28874491
28864489
28854488
28844486
28834485
28824483
28814482
28804480
28794479
28784477
28774476
28764474
28754473
28744471
28734470
28724468
28714467
28704465
28694464
28684462
28674461
28664459
28654458
28644456
28634455
28624453
28614452
28604450
28594449
28584447
28574446
28564444
28554443
28544441
28534440
28524438
28514437
28504435
28494434
28484432
28474431
28464429
28454428
28444426
28434425
28424423
28414422
28404420
28394419
28384417
28374416
28364414
28354413
28344411
28334410
28324408
28314407
28304405
28294404
28284402
28274401
28264399
28254398
28244396
28234395
28224393
28214392
28204390
28194389
28184387
28174386
28164384
28154383
28144381
28134380
28124378
28114377
28104375
28094374
28084372
28074371
28064369
28054368
28044366
28034365
28024363
28014362
28004360
27994359
27984357
27974356
27964354
27954353
27944351
27934350
27924348
27914347
27904345
27894344
27884342
27874341
27864339
27854338
27844336
27834335
27824333
27814332
27804330
27794329
27784327
27774326
27764324
27754323
27744321
27734320
27724318
27714317
27704315
27694314
27684312
27674311
27664309
27654308
27644306
27634305
27624303
27614302
27604300
27594299
27584297
27574296
27564294
27554293
27544291
27534290
27524288
27514287
27504285
27494284
27484282
27474281
27464279
27454278
27444276
27434275
27424273
27414272
27404270
27394269
27384267
27374266
27364264
27354263
27344261
27334260
27324258
27314257
27304255
27294254
27284252
27274251
27264249
27254248
27244246
27234245
27224243
27214242
27204240
27194239
27184237
27174236
27164234
27154233
27144231
27134230
27124228
27114227
27104225
27094224
27084222
27074221
27064219
27054218
27044216
27034215
27024213
27014212
27004210
26994209
26984207
26974206
26964204
26954203
26944201
26934200
26924198
26914197
26904195
26894194
26884192
26874191
26864189
26854188
26844186
26834185
26824183
26814182
26804180
26794179
26784177
26774176
26764174
26754173
26744171
26734170
26724168
26714167
26704165
26694164
26684162
26674161
26664159
26654158
26644156
26634155
26624153
26614152
26604150
26594149
26584147
26574146
26564144
26554143
26544141
26534140
26524138
26514137
26504135
26494134
26484132
26474131
26464129
26454128
26444126
26434125
26424123
26414122
26404120
26394119
26384117
26374116
26364114
26354113
26344111
26334110
26324108
26314107
26304105
26294104
26284102
26274101
26264099
26254098
26244096
26234095
26224093
26214092
26204090
26194089
26184087
26174086
26164084
26154083
26144081
26134080
26124078
26114077
26104075
26094074
26084072
26074071
26064069
26054068
26044066
26034065
26024063
26014062
26004060
25994059
25984057
25974056
25964054
25954053
25944051
25934050
25924048
25914047
25904045
25894044
25884042
25874041
25864039
25854038
25844036
25834035
25824033
25814032
25804030
25794029
25784027
25774026
25764024
25754023
25744021
25734020
25724018
25714017
25704015
25694014
25684012
25674011
25664009
25654008
25644006
25634005
25624003
25614002
25604000
25593999
25583997
25573996
25563994
25553993
25543991
25533990
25523988
25513987
25503985
25493984
25483982
25473981
25463979
25453978
25443976
25433975
25423973
25413972
25403970
25393969
25383967
25373966
25363964
25353963
25343961
25333960
25323958
25313957
25303955
25293954
25283952
25273951
25263949
25253948
25243946
25233945
25223943
25213942
25203940
25193939
25183937
25173936
25163934
25153933
25143931
25133930
25123928
25113927
25103925
25093924
25083922
25073921
25063919
25053918
25043916
25033915
25023913
25013912
25003910
24993909
24983907
24973906
24963904
24953903
24943901
24933900
24923898
24913897
24903895
24893894
24883892
24873891
24863889
24853888
24843886
24833885
24823883
24813882
24803880
24793879
24783877
24773876
24763874
24753873
24743871
24733870
24723868
24713867
24703865
24693864
24683862
24673861
24663859
24653858
24643856
24633855
24623853
24613852
24603850
24593849
24583847
24573846
24563844
24553843
24543841
24533840
24523838
24513837
24503835
24493834
24483832
24473831
24463829
24453828
24443826
24433825
24423823
24413822
24403820
24393819
24383817
24373816
24363814
24353813
24343811
24333810
24323808
24313807
24303805
24293804
24283802
24273801
24263799
24253798
24243796
24233795
24223793
24213792
24203790
24193789
24183787
24173786
24163784
24153783
24143781
24133780
24123778
24113777
24103775
24093774
24083772
24073771
24063769
24053768
24043766
24033765
24023763
24013762
24003760
23993759
23983757
23973756
23963754
23953753
23943751
23933750
23923748
23913747
23903745
23893744
23883742
23873741
23863739
23853738
23843736
23833735
23823733
23813732
23803730
23793729
23783727
23773726
23763724
23753723
23743721
23733720
23723718
23713717
23703715
23693714
23683712
23673711
23663709
23653708
23643706
23633705
23623703
23613702
23603700
23593699
23583697
23573696
23563694
23553693
23543691
23533690
23523688
23513687
23503685
23493684
23483682
23473681
23463679
23453678
23443676
23433675
23423673
23413672
23403670
23393669
23383667
23373666
23363664
23353663
23343661
23333660
23323658
23313657
23303655
23293654
23283652
23273651
23263649
23253648
23243646
23233645
23223643
23213642
23203640
23193639
23183637
23173636
23163634
23153633
23143631
23133630
23123628
23113627
23103625
23093624
23083622
23073621
23063619
23053618
23043616
23033615
23023613
23013612
23003610
22993609
22983607
22973606
22963604
22953603
22943601
22933600
22923598
22913597
22903595
22893594
22883592
22873591
22863589
22853588
22843586
22833585
22823583
22813582
22803580
22793579
22783577
22773576
22763574
22753573
22743571
22733570
22723568
22713567
22703565
22693564
22683562
22673561
22663559
22653558
22643556
22633555
22623553
22613552
22603550
22593549
22583547
22573546
22563544
22553543
22543541
22533540
22523538
22513537
22503535
22493534
22483532
22473531
22463529
22453528
22443526
22433525
22423523
22413522
22403520
22393519
22383517
22373516
22363514
22353513
22343511
22333510
22323508
22313507
22303505
22293504
22283502
22273501
22263499
22253498
22243496
22233495
22223493
22213492
22203490
22193489
22183487
22173486
22163484
22153483
22143481
22133480
22123478
22113477
22103475
22093474
22083472
22073471
22063469
22053468
22043466
22033465
22023463
22013462
22003460
21993459
21983457
21973456
21963454
21953453
21943451
21933450
21923448
21913447
21903445
21893444
21883442
21873441
21863439
21853438
21843436
21833435
21823433
21813432
21803430
21793429
21783427
21773426
21763424
21753423
21743421
21733420
21723418
21713417
21703415
21693414
21683412
21673411
21663409
21653408
21643406
21633405
21623403
21613402
21603400
21593399
21583397
21573396
21563394
21553393
21543391
21533390
21523388
21513387
21503385
21493384
21483382
21473381
21463379
21453378
21443376
21433375
21423373
21413372
21403370
21393369
21383367
21373366
21363364
21353363
21343361
21333360
21323358
21313357
21303355
21293354
21283352
21273351
21263349
21253348
21243346
21233345
21223343
21213342
21203340
21193339
21183337
21173336
21163334
21153333
21143331
21133330
21123328
21113327
21103325
21093324
21083322
21073321
21063319
21053318
21043316
21033315
21023313
21013312
21003310
20993309
20983307
20973306
20963304
20953303
20943301
20933300
20923298
20913297
20903295
20893294
20883292
20873291
20863289
20853288
20843286
20833285
20823283
20813282
20803280
20793279
20783277
20773276
20763274
20753273
20743271
20733270
20723268
20713267
20703265
20693264
20683262
20673261
20663259
20653258
20643256
20633255
20623253
20613252
20603250
20593249
20583247
20573246
20563244
20553243
20543241
20533240
20523238
20513237
20503235
20493234
20483232
20473231
20463229
20453228
20443226
20433225
20423223
20413222
20403220
20393219
20383217
20373216
20363214
20353213
20343211
20333210
20323208
20313207
20303205
20293204
20283202
20273201
20263199
20253198
20243196
20233195
20223193
20213192
20203190
20193189
20183187
20173186
20163184
20153183
20143181
20133180
20123178
20113177
20103175
20093174
20083172
20073171
20063169
20053168
20043166
20033165
20023163
20013162
20003160
19993159
19983157
19973156
19963154
19953153
19943151
19933150
19923148
19913147
19903145
19893144
19883142
19873141
19863139
19853138
19843136
19833135
19823133
19813132
19803130
19793129
19783127
19773126
19763124
19753123
19743121
19733120
19723118
19713117
19703115
19693114
19683112
19673111
19663109
19653108
19643106
19633105
19623103
19613102
19603100
19593099
19583097
19573096
19563094
19553093
19543091
19533090
19523088
19513087
19503085
19493084
19483082
19473081
19463079
19453078
19443076
19433075
19423073
19413072
19403070
19393069
19383067
19373066
19363064
19353063
19343061
19333060
19323058
19313057
19303055
19293054
19283052
19273051
19263049
19253048
19243046
19233045
19223043
19213042
19203040
19193039
19183037
19173036
19163034
19153033
19143031
19133030
19123028
19113027
19103025
19093024
19083022
19073021
19063019
19053018
19043016
19033015
19023013
19013012
19003010
18993009
18983007
18973006
18963004
18953003
18943001
18933000
18922998
18912997
18902995
18892994
18882992
18872991
18862989
18852988
18842986
18832985
18822983
18812982
18802980
18792979
18782977
18772976
18762974
18752973
18742971
18732970
18722968
18712967
18702965
18692964
18682962
18672961
18662959
18652958
18642956
18632955
18622953
18612952
18602950
18592949
18582947
18572946
18562944
18552943
18542941
18532940
18522938
18512937
18502935
18492934
18482932
18472931
18462929
18452928
18442926
18432925
18422923
18412922
18402920
18392919
18382917
18372916
18362914
18352913
18342911
18332910
18322908
18312907
18302905
18292904
18282902
18272901
18262899
18252898
18242896
18232895
18222893
18212892
18202890
18192889
18182887
18172886
18162884
18152883
18142881
18132880
18122878
18112877
18102875
18092874
18082872
18072871
18062869
18052868
18042866
18032865
18022863
18012862
18002860
17992859
17982857
17972856
17962854
17952853
17942851
17932850
17922848
17912847
17902845
17892844
17882842
17872841
17862839
17852838
17842836
17832835
17822833
17812832
17802830
17792829
17782827
17772826
17762824
17752823
17742821
17732820
17722818
17712817
17702815
17692814
17682812
17672811
17662809
17652808
17642806
17632805
17622803
17612802
17602800
17592799
17582797
17572796
17562794
17552793
17542791
17532790
17522788
17512787
17502785
17492784
17482782
17472781
17462779
17452778
17442776
17432775
17422773
17412772
17402770
17392769
17382767
17372766
17362764
17352763
17342761
17332760
17322758
17312757
17302755
17292754
17282752
17272751
17262749
17252748
17242746
17232745
17222743
17212742
17202740
17192739
17182737
17172736
17162734
17152733
17142731
17132730
17122728
17112727
17102725
17092724
17082722
17072721
17062719
17052718
17042716
17032715
17022713
17012712
17002710
16992709
16982707
16972706
16962704
16952703
16942701
16932700
16922698
16912697
16902695
16892694
16882692
16872691
16862689
16852688
16842686
16832685
16822683
16812682
16802680
16792679
16782677
16772676
16762674
16752673
16742671
16732670
16722668
16712667
16702665
16692664
16682662
16672661
16662659
16652658
16642656
16632655
16622653
16612652
16602650
16592649
16582647
16572646
16562644
16552643
16542641
16532640
16522638
16512637
16502635
16492634
16482632
16472631
16462629
16452628
16442626
16432625
16422623
16412622
16402620
16392619
16382617
16372616
16362614
16352613
16342611
16332610
16322608
16312607
16302605
16292604
16282602
16272601
16262599
16252598
16242596
16232595
16222593
16212592
16202590
16192589
16182587
16172586
16162584
16152583
16142581
16132580
16122578
16112577
16102575
16092574
16082572
16072571
16062569
16052568
16042566
16032565
16022563
16012562
16002560
15992559
15982557
15972556
15962554
15952553
15942551
15932550
15922548
15912547
15902545
15892544
15882542
15872541
15862539
15852538
15842536
15832535
15822533
15812532
15802530
15792529
15782527
15772526
15762524
15752523
15742521
15732520
15722518
15712517
15702515
15692514
15682512
15672511
15662509
15652508
15642506
15632505
15622503
15612502
15602500
15592499
15582497
15572496
15562494
15552493
15542491
15532490
15522488
15512487
15502485
15492484
15482482
15472481
15462479
15452478
15442476
15432475
15422473
15412472
15402470
15392469
15382467
15372466
15362464
15352463
15342461
15332460
15322458
15312457
15302455
15292454
15282452
15272451
15262449
15252448
15242446
15232445
15222443
15212442
15202440
15192439
15182437
15172436
15162434
15152433
15142431
15132430
15122428
15112427
15102425
15092424
15082422
15072421
15062419
15052418
15042416
15032415
15022413
15012412
15002410
14992409
14982407
14972406
14962404
14952403
14942401
14932400
14922398
14912397
14902395
14892394
14882392
14872391
14862389
14852388
14842386
14832385
14822383
14812382
14802380
14792379
14782377
14772376
14762374
14752373
14742371
14732370
14722368
14712367
14702365
14692364
14682362
14672361
14662359
14652358
14642356
14632355
14622353
14612352
14602350
14592349
14582347
14572346
14562344
14552343
14542341
14532340
14522338
14512337
14502335
14492334
14482332
14472331
14462329
14452328
14442326
14432325
14422323
14412322
14402320
14392319
14382317
14372316
14362314
14352313
14342311
14332310
14322308
14312307
14302305
14292304
14282302
14272301
14262299
14252298
14242296
14232295
14222293
14212292
14202290
14192289
14182287
14172286
14162284
14152283
14142281
14132280
14122278
14112277
14102275
14092274
14082272
14072271
14062269
14052268
14042266
14032265
14022263
14012262
14002260
13992259
13982257
13972256
13962254
13952253
13942251
13932250
13922248
13912247
13902245
13892244
13882242
13872241
13862239
13852238
13842236
13832235
13822233
13812232
13802230
13792229
13782227
13772226
13762224
13752223
13742221
13732220
13722218
13712217
13702215
13692214
13682212
13672211
13662209
13652208
13642206
13632205
13622203
13612202
13602200
13592199
13582197
13572196
13562194
13552193
13542191
13532190
13522188
13512187
13502185
13492184
13482182
13472181
13462179
13452178
13442176
13432175
13422173
13412172
13402170
13392169
13382167
13372166
13362164
13352163
13342161
13332160
13322158
13312157
13302155
13292154
13282152
13272151
13262149
13252148
13242146
13232145
13222143
13212142
13202140
13192139
13182137
13172136
13162134
13152133
13142131
13132130
13122128
13112127
13102125
13092124
13082122
13072121
13062119
13052118
13042116
13032115
13022113
13012112
13002110
12992109
12982107
12972106
12962104
12952103
12942101
12932100
12922098
12912097
12902095
12892094
12882092
12872091
12862089
12852088
12842086
12832085
12822083
12812082
12802080
12792079
12782077
12772076
12762074
12752073
12742071
12732070
12722068
12712067
12702065
12692064
12682062
12672061
12662059
12652058
12642056
12632055
12622053
12612052
12602050
12592049
12582047
12572046
12562044
12552043
12542041
12532040
12522038
12512037
12502035
12492034
12482032
12472031
12462029
12452028
12442026
12432025
12422023
12412022
12402020
12392019
12382017
12372016
12362014
12352013
12342011
12332010
12322008
12312007
12302005
12292004
12282002
12272001
12261999
12251998
12241996
12231995
12221993
12211992
12201990
12191989
12181987
12171986
12161984
12151983
12141981
12131980
12121978
12111977
12101975
12091974
12081972
12071971
12061969
12051968
12041966
12031965
12021963
12011962
12001960
11991959
11981957
11971956
11961954
11951953
11941951
11931950
11921948
11911947
11901945
11891944
11881942
11871941
11861939
11851938
11841936
11831935
11821933
11811932
11801930
11791929
11781927
11771926
11761924
11751923
11741921
11731920
11721918
11711917
11701915
11691914
11681912
11671911
11661909
11651908
11641906
11631905
11621903
11611902
11601900
11591899
11581897
11571896
11561894
11551893
11541891
11531890
11521888
11511887
11501885
11491884
11481882
11471881
11461879
11451878
11441876
11431875
11421873
11411872
11401870
11391869
11381867
11371866
11361864
11351863
11341861
11331860
11321858
11311857
11301855
11291854
11281852
11271851
11261849
11251848
11241846
11231845
11221843
11211842
11201840
11191839
11181837
11171836
11161834
11151833
11141831
11131830
11121828
11111827
11101825
11091824
11081822
11071821
11061819
11051818
11041816
11031815
11021813
11011812
11001810
10991809
10981807
10971806
10961804
10951803
10941801
10931800
10921798
10911797
10901795
10891794
10881792
10871791
10861789
10851788
10841786
10831785
10821783
10811782
10801780
10791779
10781777
10771776
10761774
10751773
10741771
10731770
10721768
10711767
10701765
10691764
10681762
10671761
10661759
10651758
10641756
10631755
10621753
10611752
10601750
10591749
10581747
10571746
10561744
10551743
10541741
10531740
10521738
10511737
10501735
10491734
10481732
10471731
10461729
10451728
10441726
10431725
10421723
10411722
10401720
10391719
10381717
10371716
10361714
10351713
10341711
10331710
10321708
10311707
10301705
10291704
10281702
10271701
10261699
10251698
10241696
10231695
10221693
10211692
10201690
10191689
10181687
10171686
10161684
10151683
10141681
10131680
10121678
10111677
10101675
10091674
10081672
10071671
10061669
10051668
10041666
10031665
10021663
10011662
10001660
9991659
9981657
9971656
9961654
9951653
9941651
9931650
9921648
9911647
9901645
9891644
9881642
9871641
9861639
9851638
9841636
9831635
9821633
9811632
9801630
9791629
9781627
9771626
9761624
9751623
9741621
9731620
9721618
9711617
9701615
9691614
9681612
9671611
9661609
9651608
9641606
9631605
9621603
9611602
9601600
9591599
9581597
9571596
9561594
9551593
9541591
9531590
9521588
9511587
9501585
9491584
9481582
9471581
9461579
9451578
9441576
9431575
9421573
9411572
9401570
9391569
9381567
9371566
9361564
9351563
9341561
9331560
9321558
9311557
9301555
9291554
9281552
9271551
9261549
9251548
9241546
9231545
9221543
9211542
9201540
9191539
9181537
9171536
9161534
9151533
9141531
9131530
9121528
9111527
9101525
9091524
9081522
9071521
9061519
9051518
9041516
9031515
9021513
9011512
9001510
8991509
8981507
8971506
8961504
8951503
8941501
8931500
8921498
8911497
8901495
8891494
8881492
8871491
8861489
8851488
8841486
8831485
8821483
8811482
8801480
8791479
8781477
8771476
8761474
8751473
8741471
8731470
8721468
8711467
8701465
8691464
8681462
8671461
8661459
8651458
8641456
8631455
8621453
8611452
8601450
8591449
8581447
8571446
8561444
8551443
8541441
8531440
8521438
8511437
8501435
8491434
8481432
8471431
8461429
8451428
8441426
8431425
8421423
8411422
8401420
8391419
8381417
8371416
8361414
8351413
8341411
8331410
8321408
8311407
8301405
8291404
8281402
8271401
8261399
8251398
8241396
8231395
8221393
8211392
8201390
8191389
8181387
8171386
8161384
8151383
8141381
8131380
8121378
8111377
8101375
8091374
8081372
8071371
8061369
8051368
8041366
8031365
8021363
8011362
8001360
7991359
7981357
7971356
7961354
7951353
7941351
7931350
7921348
7911347
7901345
7891344
7881342
7871341
7861339
7851338
7841336
7831335
7821333
7811332
7801330
7791329
7781327
7771326
7761324
7751323
7741321
7731320
7721318
7711317
7701315
7691314
7681312
7671311
7661309
7651308
7641306
7631305
7621303
7611302
7601300
7591299
7581297
7571296
7561294
7551293
7541291
7531290
7521288
7511287
7501285
7491284
7481282
7471281
7461279
7451278
7441276
7431275
7421273
7411272
7401270
7391269
7381267
7371266
7361264
7351263
7341261
7331260
7321258
7311257
7301255
7291254
7281252
7271251
7261249
7251248
7241246
7231245
7221243
7211242
7201240
7191239
7181237
7171236
7161234
7151233
7141231
7131230
7121228
7111227
7101225
7091224
7081222
7071221
7061219
7051218
7041216
7031215
7021213
7011212
7001210
6991209
6981207
6971206
6961204
6951203
6941201
6931200
6921198
6911197
6901195
6891194
6881192
6871191
6861189
6851188
6841186
6831185
6821183
6811182
6801180
6791179
6781177
6771176
6761174
6751173
6741171
6731170
6721168
6711167
6701165
6691164
6681162
6671161
6661159
6651158
6641156
6631155
6621153
6611152
6601150
6591149
6581147
6571146
6561144
6551143
6541141
6531140
6521138
6511137
6501135
6491134
6481132
6471131
6461129
6451128
6441126
6431125
6421123
6411122
6401120
6391119
6381117
6371116
6361114
6351113
6341111
6331110
6321108
6311107
6301105
6291104
6281102
6271101
6261099
6251098
6241096
6231095
6221093
6211092
6201090
6191089
6181087
6171086
6161084
6151083
6141081
6131080
6121078
6111077
6101075
6091074
6081072
6071071
6061069
6051068
6041066
6031065
6021063
6011062
6001060
5991059
5981057
5971056
5961054
5951053
5941051
5931050
5921048
5911047
5901045
5891044
5881042
5871041
5861039
5851038
5841036
5831035
5821033
5811032
5801030
5791029
5781027
5771026
5761024
5751023
5741021
5731020
5721018
5711017
5701015
5691014
5681012
5671011
5661009
5651008
5641006
5631005
5621003
5611002
5601000
559999
558997
557996
556994
555993
554991
553990
552988
551987
550985
549984
548982
547981
546979
545978
544976
543975
542973
541972
540970
539969
538967
537966
536964
535963
534961
533960
532958
531957
530955
529954
528952
527951
526949
525948
524946
523945
522943
521942
520940
519939
518937
517936
516934
515933
514931
513930
512928
511927
510925
509924
508922
507921
506919
505918
504916
503915
502913
501912
500910
499909
498907
497906
496904
495903
494901
493900
492898
491897
490895
489894
488892
487891
486889
485888
484886
483885
482883
481882
480880
479879
478877
477876
476874
475873
474871
473870
472868
471867
470865
469864
468862
467861
466859
465858
464856
463855
462853
461852
460850
459849
458847
457846
456844
455843
454841
453840
452838
451837
450835
449834
448832
447831
446829
445828
444826
443825
442823
441822
440820
439819
438817
437816
436814
435813
434811
433810
432808
431807
430805
429804
428802
427801
426799
425798
424796
423795
422793
421792
420790
419789
418787
417786
416784
415783
414781
413780
412778
411777
410775
409774
408772
407771
406769
405768
404766
403765
402763
401762
400760
399759
398757
397756
396754
395753
394751
393750
392748
391747
390745
389744
388742
387741
386739
385738
384736
383735
382733
381732
380730
379729
378727
377726
376724
375723
374721
373720
372718
371717
370715
369714
368712
367711
366709
365708
364706
363705
362703
361702
360700
359699
358697
357696
356694
355693
354691
353690
352688
351687
350685
349684
348682
347681
346679
345678
344676
343675
342673
341672
340670
339669
338667
337666
336664
335663
334661
333660
332658
331657
330655
329654
328652
327651
326649
325648
324646
323645
322643
321642
320640
319639
318637
317636
316634
315633
314631
313630
312628
311627
310625
309624
308622
307621
306619
305618
304616
303615
302613
301612
300610
299609
298607
297606
296604
295603
294601
293600
292598
291597
290595
289594
288592
287591
286589
285588
284586
283585
282583
281582
280580
279579
278577
277576
276574
275573
274571
273570
272568
271567
270565
269564
268562
267561
266559
265558
264556
263555
262553
261552
260550
259549
258547
257546
256544
255543
254541
253540
252538
251537
250535
249534
248532
247531
246529
245528
244526
243525
242523
241522
240520
239519
238517
237516
236514
235513
234511
233510
232508
231507
230505
229504
228502
227501
226499
225498
224496
223495
222493
221492
220490
219489
218487
217486
216484
215483
214481
213480
212478
211477
210475
209474
208472
207471
206469
205468
204466
203465
202463
201462
200460
199459
198457
197456
196454
195453
194451
193450
192448
191447
190445
189444
188442
187441
186439
185438
184436
183435
182433
181432
180430
179429
178427
177426
176424
175423
174421
173420
172418
171417
170415
169414
168412
167411
166409
165408
164406
163405
162403
161402
160400
159399
158397
157396
156394
155393
154391
153390
152388
151387
150385
149384
148382
147381
146379
145378
144376
143375
142373
141372
140370
139369
138367
137366
136364
135363
134361
133360
132358
131357
130355
129354
128352
127351
126349
125348
124346
123345
122343
121342
120340
119339
118337
117336
116334
115333
114331
113330
112328
111327
110325
109324
108322
107321
106319
105318
104316
103315
102313
101312
100310
99309
98307
97306
96304
95303
94301
93300
92298
91297
90295
89294
88292
87291
86289
85288
84286
83285
82283
81282
80280
79279
78277
77276
76274
75273
74271
73270
72268
71267
70265
69264
68262
67261
66259
65258
64256
63255
62253
61252
60250
59249
58247
57246
56244
55243
54241
53240
52238
51237
50235
49234
48232
47231
46229
45228
44226
43225
42223
41222
40220
39219
38217
37216
36214
35213
34211
33210
32208
31207
30205
29204
28202
27201
26199
25198
24196
23195
22193
21192
20190
19189
18187
17186
16184
15183
14181
13180
12178
11177
10175
9174
8168
7150
6136
5125
4116
3103
289
177
057

end0.0ms

sample11.1s

Algorithm
intervals
Results
4.4s2076×body1280valid
2.6s1704×body640valid
2.3s5857×body80valid
1.3s848×body320valid
258.0ms431×body160valid