Details

Time bar (total: 40.3s)

sample127.0ms

Algorithm
intervals
Results
28.0ms302×body80nan
28.0ms558×pre80true
23.0ms134×body160valid
14.0ms54×body320valid
6.0ms68×body80valid

simplify100.0ms

Counts
1 → 1
Iterations
IterNodes
done102
7102
6101
599
491
373
241
122
012

prune9.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 42.4b

localize24.0ms

Local error

Found 4 expressions with local error:

0.1b
(sqrt (fma -3 (* c a) (* b b)))
0.2b
(fma -3 (* c a) (* b b))
0.3b
(/ (- (sqrt (fma -3 (* c a) (* b b))) b) (* 3 a))
36.4b
(- (sqrt (fma -3 (* c a) (* b b))) b)

rewrite54.0ms

Algorithm
rewrite-expression-head
Rules
34×add-sqr-sqrt
27×*-un-lft-identity
21×add-cube-cbrt
18×prod-diff sqrt-prod
9×add-cbrt-cube add-exp-log
6×times-frac fma-neg associate-/l* add-log-exp difference-of-squares
5×pow1
4×expm1-log1p-u insert-posit16 log1p-expm1-u
3×distribute-lft-out--
2×cbrt-undiv flip3-- div-exp flip-- associate-/l/
1×rem-sqrt-square clear-num associate-/r* sub-neg frac-2neg sqrt-pow1 pow1/2 diff-log div-sub prod-exp cbrt-unprod fma-udef div-inv
Counts
4 → 102
Calls
4 calls:
2.0ms
(sqrt (fma -3 (* c a) (* b b)))
0.0ms
(fma -3 (* c a) (* b b))
38.0ms
(/ (- (sqrt (fma -3 (* c a) (* b b))) b) (* 3 a))
11.0ms
(- (sqrt (fma -3 (* c a) (* b b))) b)

series396.0ms

Counts
4 → 12
Calls
4 calls:
100.0ms
(sqrt (fma -3 (* c a) (* b b)))
84.0ms
(fma -3 (* c a) (* b b))
114.0ms
(/ (- (sqrt (fma -3 (* c a) (* b b))) b) (* 3 a))
98.0ms
(- (sqrt (fma -3 (* c a) (* b b))) b)

simplify2.7s

Counts
114 → 114
Iterations
IterNodes
done5000
33990
2940
1347
0152

prune745.0ms

Pruning

26 alts after pruning (26 fresh and 0 done)

Merged error: 39.0b

localize46.0ms

Local error

Found 4 expressions with local error:

0.3b
(/ (/ (- (* (sqrt (fma (* a c) -3 (* b b))) (fma (* a c) -3 (* b b))) (* b (* b b))) (fma (sqrt (fma (* a c) -3 (* b b))) b (+ (fma (* a c) -3 (* b b)) (* b b)))) (* 3 a))
0.3b
(/ (- (* (sqrt (fma (* a c) -3 (* b b))) (fma (* a c) -3 (* b b))) (* b (* b b))) (fma (sqrt (fma (* a c) -3 (* b b))) b (+ (fma (* a c) -3 (* b b)) (* b b))))
0.3b
(* (sqrt (fma (* a c) -3 (* b b))) (fma (* a c) -3 (* b b)))
35.8b
(- (* (sqrt (fma (* a c) -3 (* b b))) (fma (* a c) -3 (* b b))) (* b (* b b)))

rewrite209.0ms

Algorithm
rewrite-expression-head
Rules
52×times-frac
48×add-sqr-sqrt
32×*-un-lft-identity add-cube-cbrt
23×cube-unmult
20×add-cbrt-cube add-exp-log associate-/l*
11×difference-cubes
10×pow1
7×cbrt-undiv div-exp
6×associate-*l* add-log-exp
4×expm1-log1p-u associate-/r* sqrt-prod fma-udef insert-posit16 log1p-expm1-u div-inv
3×div-sub associate-*r* prod-exp cbrt-unprod associate-/l/
2×distribute-rgt-in clear-num frac-2neg distribute-lft-in sqrt-pow1 pow-plus flip3-- pow1/2 associate--l+ pow-prod-up flip-- unswap-sqr
1×sub-neg fma-neg diff-log prod-diff pow-prod-down *-commutative
Counts
4 → 145
Calls
4 calls:
75.0ms
(/ (/ (- (* (sqrt (fma (* a c) -3 (* b b))) (fma (* a c) -3 (* b b))) (* b (* b b))) (fma (sqrt (fma (* a c) -3 (* b b))) b (+ (fma (* a c) -3 (* b b)) (* b b)))) (* 3 a))
75.0ms
(/ (- (* (sqrt (fma (* a c) -3 (* b b))) (fma (* a c) -3 (* b b))) (* b (* b b))) (fma (sqrt (fma (* a c) -3 (* b b))) b (+ (fma (* a c) -3 (* b b)) (* b b))))
15.0ms
(* (sqrt (fma (* a c) -3 (* b b))) (fma (* a c) -3 (* b b)))
40.0ms
(- (* (sqrt (fma (* a c) -3 (* b b))) (fma (* a c) -3 (* b b))) (* b (* b b)))

series4.0s

Counts
4 → 12
Calls
4 calls:
505.0ms
(/ (/ (- (* (sqrt (fma (* a c) -3 (* b b))) (fma (* a c) -3 (* b b))) (* b (* b b))) (fma (sqrt (fma (* a c) -3 (* b b))) b (+ (fma (* a c) -3 (* b b)) (* b b)))) (* 3 a))
534.0ms
(/ (- (* (sqrt (fma (* a c) -3 (* b b))) (fma (* a c) -3 (* b b))) (* b (* b b))) (fma (sqrt (fma (* a c) -3 (* b b))) b (+ (fma (* a c) -3 (* b b)) (* b b))))
1.4s
(* (sqrt (fma (* a c) -3 (* b b))) (fma (* a c) -3 (* b b)))
1.6s
(- (* (sqrt (fma (* a c) -3 (* b b))) (fma (* a c) -3 (* b b))) (* b (* b b)))

simplify2.4s

Counts
157 → 157
Iterations
IterNodes
done5001
22201
1595
0235

prune1.1s

Pruning

26 alts after pruning (26 fresh and 0 done)

Merged error: 35.4b

localize53.0ms

Local error

Found 4 expressions with local error:

0.3b
(* (* (* a c) -3) (sqrt (fma (* a c) -3 (* b b))))
0.3b
(/ (+ (* (* (* a c) -3) (sqrt (fma (* a c) -3 (* b b)))) (- (* (* b b) (sqrt (fma (* a c) -3 (* b b)))) (* b (* b b)))) (fma (sqrt (fma (* a c) -3 (* b b))) b (+ (fma (* a c) -3 (* b b)) (* b b))))
0.3b
(/ (/ (+ (* (* (* a c) -3) (sqrt (fma (* a c) -3 (* b b)))) (- (* (* b b) (sqrt (fma (* a c) -3 (* b b)))) (* b (* b b)))) (fma (sqrt (fma (* a c) -3 (* b b))) b (+ (fma (* a c) -3 (* b b)) (* b b)))) (* 3 a))
36.5b
(- (* (* b b) (sqrt (fma (* a c) -3 (* b b)))) (* b (* b b)))

rewrite641.0ms

Algorithm
rewrite-expression-head
Rules
40×times-frac
28×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
27×add-cbrt-cube add-exp-log
16×associate-/l*
13×pow1
8×prod-exp cbrt-unprod
7×cbrt-undiv div-exp
6×associate-*r* pow-prod-down add-log-exp
4×expm1-log1p-u associate-/r* insert-posit16 log1p-expm1-u div-inv
3×div-sub sqrt-prod associate-/l/
2×clear-num associate-+r- frac-2neg
1×sub-neg flip3-+ flip3-- fma-neg diff-log associate-*l* prod-diff *-commutative flip-+ flip--
Counts
4 → 127
Calls
4 calls:
78.0ms
(* (* (* a c) -3) (sqrt (fma (* a c) -3 (* b b))))
266.0ms
(/ (+ (* (* (* a c) -3) (sqrt (fma (* a c) -3 (* b b)))) (- (* (* b b) (sqrt (fma (* a c) -3 (* b b)))) (* b (* b b)))) (fma (sqrt (fma (* a c) -3 (* b b))) b (+ (fma (* a c) -3 (* b b)) (* b b))))
270.0ms
(/ (/ (+ (* (* (* a c) -3) (sqrt (fma (* a c) -3 (* b b)))) (- (* (* b b) (sqrt (fma (* a c) -3 (* b b)))) (* b (* b b)))) (fma (sqrt (fma (* a c) -3 (* b b))) b (+ (fma (* a c) -3 (* b b)) (* b b)))) (* 3 a))
25.0ms
(- (* (* b b) (sqrt (fma (* a c) -3 (* b b)))) (* b (* b b)))

series1.2s

Counts
4 → 12
Calls
4 calls:
123.0ms
(* (* (* a c) -3) (sqrt (fma (* a c) -3 (* b b))))
391.0ms
(/ (+ (* (* (* a c) -3) (sqrt (fma (* a c) -3 (* b b)))) (- (* (* b b) (sqrt (fma (* a c) -3 (* b b)))) (* b (* b b)))) (fma (sqrt (fma (* a c) -3 (* b b))) b (+ (fma (* a c) -3 (* b b)) (* b b))))
492.0ms
(/ (/ (+ (* (* (* a c) -3) (sqrt (fma (* a c) -3 (* b b)))) (- (* (* b b) (sqrt (fma (* a c) -3 (* b b)))) (* b (* b b)))) (fma (sqrt (fma (* a c) -3 (* b b))) b (+ (fma (* a c) -3 (* b b)) (* b b)))) (* 3 a))
160.0ms
(- (* (* b b) (sqrt (fma (* a c) -3 (* b b)))) (* b (* b b)))

simplify2.6s

Counts
139 → 139
Iterations
IterNodes
done5001
22581
1673
0255

prune1.1s

Pruning

24 alts after pruning (24 fresh and 0 done)

Merged error: 4.0b

localize70.0ms

Local error

Found 4 expressions with local error:

0.3b
(* (* a c) -3)
0.3b
(* (* (* a c) -3) (sqrt (fma (* a c) -3 (* b b))))
0.4b
(/ (+ (* (* (* a c) -3) (sqrt (fma (* a c) -3 (* b b)))) (* -3/2 (* a (* b c)))) (fma (sqrt (fma (* a c) -3 (* b b))) b (+ (fma (* a c) -3 (* b b)) (* b b))))
0.4b
(/ (/ (+ (* (* (* a c) -3) (sqrt (fma (* a c) -3 (* b b)))) (* -3/2 (* a (* b c)))) (fma (sqrt (fma (* a c) -3 (* b b))) b (+ (fma (* a c) -3 (* b b)) (* b b)))) (* 3 a))

rewrite507.0ms

Algorithm
rewrite-expression-head
Rules
40×times-frac
32×add-cbrt-cube add-exp-log
29×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
18×pow1
16×associate-/l*
11×prod-exp cbrt-unprod
9×associate-*r* pow-prod-down
7×cbrt-undiv div-exp
4×expm1-log1p-u associate-/r* insert-posit16 log1p-expm1-u div-inv add-log-exp
3×sqrt-prod associate-/l/
2×clear-num frac-2neg associate-*l* *-commutative
1×flip3-+ flip-+
Counts
4 → 129
Calls
4 calls:
16.0ms
(* (* a c) -3)
63.0ms
(* (* (* a c) -3) (sqrt (fma (* a c) -3 (* b b))))
192.0ms
(/ (+ (* (* (* a c) -3) (sqrt (fma (* a c) -3 (* b b)))) (* -3/2 (* a (* b c)))) (fma (sqrt (fma (* a c) -3 (* b b))) b (+ (fma (* a c) -3 (* b b)) (* b b))))
235.0ms
(/ (/ (+ (* (* (* a c) -3) (sqrt (fma (* a c) -3 (* b b)))) (* -3/2 (* a (* b c)))) (fma (sqrt (fma (* a c) -3 (* b b))) b (+ (fma (* a c) -3 (* b b)) (* b b)))) (* 3 a))

series1.0s

Counts
4 → 12
Calls
4 calls:
38.0ms
(* (* a c) -3)
134.0ms
(* (* (* a c) -3) (sqrt (fma (* a c) -3 (* b b))))
383.0ms
(/ (+ (* (* (* a c) -3) (sqrt (fma (* a c) -3 (* b b)))) (* -3/2 (* a (* b c)))) (fma (sqrt (fma (* a c) -3 (* b b))) b (+ (fma (* a c) -3 (* b b)) (* b b))))
492.0ms
(/ (/ (+ (* (* (* a c) -3) (sqrt (fma (* a c) -3 (* b b)))) (* -3/2 (* a (* b c)))) (fma (sqrt (fma (* a c) -3 (* b b))) b (+ (fma (* a c) -3 (* b b)) (* b b)))) (* 3 a))

simplify2.4s

Counts
141 → 141
Iterations
IterNodes
done5006
22179
1553
0219

prune930.0ms

Pruning

44 alts after pruning (44 fresh and 0 done)

Merged error: 3.6b

regimes1.3s

Accuracy

9.4% (6.4b remaining)

Error of 10.7b against oracle of 4.3b and baseline of 11.4b

bsearch39.0ms

Steps
ItersRangePoint
2
0.1033833431865932
0.1127640550401266
0.10455593216828488

simplify13.2s

Iterations
IterNodes
done5000
32494998
32484997
32474995
32464994
32454992
32444991
32434989
32424988
32414986
32404985
32394983
32384982
32374980
32364979
32354977
32344976
32334974
32324973
32314971
32304970
32294968
32284967
32274965
32264964
32254962
32244961
32234959
32224958
32214956
32204955
32194953
32184952
32174950
32164949
32154947
32144946
32134944
32124943
32114941
32104940
32094938
32084937
32074935
32064934
32054932
32044931
32034929
32024928
32014926
32004925
31994923
31984922
31974920
31964919
31954917
31944916
31934914
31924913
31914911
31904910
31894908
31884907
31874905
31864904
31854902
31844901
31834899
31824898
31814896
31804895
31794893
31784892
31774890
31764889
31754887
31744886
31734884
31724883
31714881
31704880
31694878
31684877
31674875
31664874
31654872
31644871
31634869
31624868
31614866
31604865
31594863
31584862
31574860
31564859
31554857
31544856
31534854
31524853
31514851
31504850
31494848
31484847
31474845
31464844
31454842
31444841
31434839
31424838
31414836
31404835
31394833
31384832
31374830
31364829
31354827
31344826
31334824
31324823
31314821
31304820
31294818
31284817
31274815
31264814
31254812
31244811
31234809
31224808
31214806
31204805
31194803
31184802
31174800
31164799
31154797
31144796
31134794
31124793
31114791
31104790
31094788
31084787
31074785
31064784
31054782
31044781
31034779
31024778
31014776
31004775
30994773
30984772
30974770
30964769
30954767
30944766
30934764
30924763
30914761
30904760
30894758
30884757
30874755
30864754
30854752
30844751
30834749
30824748
30814746
30804745
30794743
30784742
30774740
30764739
30754737
30744736
30734734
30724733
30714731
30704730
30694728
30684727
30674725
30664724
30654722
30644721
30634719
30624718
30614716
30604715
30594713
30584712
30574710
30564709
30554707
30544706
30534704
30524703
30514701
30504700
30494698
30484697
30474695
30464694
30454692
30444691
30434689
30424688
30414686
30404685
30394683
30384682
30374680
30364679
30354677
30344676
30334674
30324673
30314671
30304670
30294668
30284667
30274665
30264664
30254662
30244661
30234659
30224658
30214656
30204655
30194653
30184652
30174650
30164649
30154647
30144646
30134644
30124643
30114641
30104640
30094638
30084637
30074635
30064634
30054632
30044631
30034629
30024628
30014626
30004625
29994623
29984622
29974620
29964619
29954617
29944616
29934614
29924613
29914611
29904610
29894608
29884607
29874605
29864604
29854602
29844601
29834599
29824598
29814596
29804595
29794593
29784592
29774590
29764589
29754587
29744586
29734584
29724583
29714581
29704580
29694578
29684577
29674575
29664574
29654572
29644571
29634569
29624568
29614566
29604565
29594563
29584562
29574560
29564559
29554557
29544556
29534554
29524553
29514551
29504550
29494548
29484547
29474545
29464544
29454542
29444541
29434539
29424538
29414536
29404535
29394533
29384532
29374530
29364529
29354527
29344526
29334524
29324523
29314521
29304520
29294518
29284517
29274515
29264514
29254512
29244511
29234509
29224508
29214506
29204505
29194503
29184502
29174500
29164499
29154497
29144496
29134494
29124493
29114491
29104490
29094488
29084487
29074485
29064484
29054482
29044481
29034479
29024478
29014476
29004475
28994473
28984472
28974470
28964469
28954467
28944466
28934464
28924463
28914461
28904460
28894458
28884457
28874455
28864454
28854452
28844451
28834449
28824448
28814446
28804445
28794443
28784442
28774440
28764439
28754437
28744436
28734434
28724433
28714431
28704430
28694428
28684427
28674425
28664424
28654422
28644421
28634419
28624418
28614416
28604415
28594413
28584412
28574410
28564409
28554407
28544406
28534404
28524403
28514401
28504400
28494398
28484397
28474395
28464394
28454392
28444391
28434389
28424388
28414386
28404385
28394383
28384382
28374380
28364379
28354377
28344376
28334374
28324373
28314371
28304370
28294368
28284367
28274365
28264364
28254362
28244361
28234359
28224358
28214356
28204355
28194353
28184352
28174350
28164349
28154347
28144346
28134344
28124343
28114341
28104340
28094338
28084337
28074335
28064334
28054332
28044331
28034329
28024328
28014326
28004325
27994323
27984322
27974320
27964319
27954317
27944316
27934314
27924313
27914311
27904310
27894308
27884307
27874305
27864304
27854302
27844301
27834299
27824298
27814296
27804295
27794293
27784292
27774290
27764289
27754287
27744286
27734284
27724283
27714281
27704280
27694278
27684277
27674275
27664274
27654272
27644271
27634269
27624268
27614266
27604265
27594263
27584262
27574260
27564259
27554257
27544256
27534254
27524253
27514251
27504250
27494248
27484247
27474245
27464244
27454242
27444241
27434239
27424238
27414236
27404235
27394233
27384232
27374230
27364229
27354227
27344226
27334224
27324223
27314221
27304220
27294218
27284217
27274215
27264214
27254212
27244211
27234209
27224208
27214206
27204205
27194203
27184202
27174200
27164199
27154197
27144196
27134194
27124193
27114191
27104190
27094188
27084187
27074185
27064184
27054182
27044181
27034179
27024178
27014176
27004175
26994173
26984172
26974170
26964169
26954167
26944166
26934164
26924163
26914161
26904160
26894158
26884157
26874155
26864154
26854152
26844151
26834149
26824148
26814146
26804145
26794143
26784142
26774140
26764139
26754137
26744136
26734134
26724133
26714131
26704130
26694128
26684127
26674125
26664124
26654122
26644121
26634119
26624118
26614116
26604115
26594113
26584112
26574110
26564109
26554107
26544106
26534104
26524103
26514101
26504100
26494098
26484097
26474095
26464094
26454092
26444091
26434089
26424088
26414086
26404085
26394083
26384082
26374080
26364079
26354077
26344076
26334074
26324073
26314071
26304070
26294068
26284067
26274065
26264064
26254062
26244061
26234059
26224058
26214056
26204055
26194053
26184052
26174050
26164049
26154047
26144046
26134044
26124043
26114041
26104040
26094038
26084037
26074035
26064034
26054032
26044031
26034029
26024028
26014026
26004025
25994023
25984022
25974020
25964019
25954017
25944016
25934014
25924013
25914011
25904010
25894008
25884007
25874005
25864004
25854002
25844001
25833999
25823998
25813996
25803995
25793993
25783992
25773990
25763989
25753987
25743986
25733984
25723983
25713981
25703980
25693978
25683977
25673975
25663974
25653972
25643971
25633969
25623968
25613966
25603965
25593963
25583962
25573960
25563959
25553957
25543956
25533954
25523953
25513951
25503950
25493948
25483947
25473945
25463944
25453942
25443941
25433939
25423938
25413936
25403935
25393933
25383932
25373930
25363929
25353927
25343926
25333924
25323923
25313921
25303920
25293918
25283917
25273915
25263914
25253912
25243911
25233909
25223908
25213906
25203905
25193903
25183902
25173900
25163899
25153897
25143896
25133894
25123893
25113891
25103890
25093888
25083887
25073885
25063884
25053882
25043881
25033879
25023878
25013876
25003875
24993873
24983872
24973870
24963869
24953867
24943866
24933864
24923863
24913861
24903860
24893858
24883857
24873855
24863854
24853852
24843851
24833849
24823848
24813846
24803845
24793843
24783842
24773840
24763839
24753837
24743836
24733834
24723833
24713831
24703830
24693828
24683827
24673825
24663824
24653822
24643821
24633819
24623818
24613816
24603815
24593813
24583812
24573810
24563809
24553807
24543806
24533804
24523803
24513801
24503800
24493798
24483797
24473795
24463794
24453792
24443791
24433789
24423788
24413786
24403785
24393783
24383782
24373780
24363779
24353777
24343776
24333774
24323773
24313771
24303770
24293768
24283767
24273765
24263764
24253762
24243761
24233759
24223758
24213756
24203755
24193753
24183752
24173750
24163749
24153747
24143746
24133744
24123743
24113741
24103740
24093738
24083737
24073735
24063734
24053732
24043731
24033729
24023728
24013726
24003725
23993723
23983722
23973720
23963719
23953717
23943716
23933714
23923713
23913711
23903710
23893708
23883707
23873705
23863704
23853702
23843701
23833699
23823698
23813696
23803695
23793693
23783692
23773690
23763689
23753687
23743686
23733684
23723683
23713681
23703680
23693678
23683677
23673675
23663674
23653672
23643671
23633669
23623668
23613666
23603665
23593663
23583662
23573660
23563659
23553657
23543656
23533654
23523653
23513651
23503650
23493648
23483647
23473645
23463644
23453642
23443641
23433639
23423638
23413636
23403635
23393633
23383632
23373630
23363629
23353627
23343626
23333624
23323623
23313621
23303620
23293618
23283617
23273615
23263614
23253612
23243611
23233609
23223608
23213606
23203605
23193603
23183602
23173600
23163599
23153597
23143596
23133594
23123593
23113591
23103590
23093588
23083587
23073585
23063584
23053582
23043581
23033579
23023578
23013576
23003575
22993573
22983572
22973570
22963569
22953567
22943566
22933564
22923563
22913561
22903560
22893558
22883557
22873555
22863554
22853552
22843551
22833549
22823548
22813546
22803545
22793543
22783542
22773540
22763539
22753537
22743536
22733534
22723533
22713531
22703530
22693528
22683527
22673525
22663524
22653522
22643521
22633519
22623518
22613516
22603515
22593513
22583512
22573510
22563509
22553507
22543506
22533504
22523503
22513501
22503500
22493498
22483497
22473495
22463494
22453492
22443491
22433489
22423488
22413486
22403485
22393483
22383482
22373480
22363479
22353477
22343476
22333474
22323473
22313471
22303470
22293468
22283467
22273465
22263464
22253462
22243461
22233459
22223458
22213456
22203455
22193453
22183452
22173450
22163449
22153447
22143446
22133444
22123443
22113441
22103440
22093438
22083437
22073435
22063434
22053432
22043431
22033429
22023428
22013426
22003425
21993423
21983422
21973420
21963419
21953417
21943416
21933414
21923413
21913411
21903410
21893408
21883407
21873405
21863404
21853402
21843401
21833399
21823398
21813396
21803395
21793393
21783392
21773390
21763389
21753387
21743386
21733384
21723383
21713381
21703380
21693378
21683377
21673375
21663374
21653372
21643371
21633369
21623368
21613366
21603365
21593363
21583362
21573360
21563359
21553357
21543356
21533354
21523353
21513351
21503350
21493348
21483347
21473345
21463344
21453342
21443341
21433339
21423338
21413336
21403335
21393333
21383332
21373330
21363329
21353327
21343326
21333324
21323323
21313321
21303320
21293318
21283317
21273315
21263314
21253312
21243311
21233309
21223308
21213306
21203305
21193303
21183302
21173300
21163299
21153297
21143296
21133294
21123293
21113291
21103290
21093288
21083287
21073285
21063284
21053282
21043281
21033279
21023278
21013276
21003275
20993273
20983272
20973270
20963269
20953267
20943266
20933264
20923263
20913261
20903260
20893258
20883257
20873255
20863254
20853252
20843251
20833249
20823248
20813246
20803245
20793243
20783242
20773240
20763239
20753237
20743236
20733234
20723233
20713231
20703230
20693228
20683227
20673225
20663224
20653222
20643221
20633219
20623218
20613216
20603215
20593213
20583212
20573210
20563209
20553207
20543206
20533204
20523203
20513201
20503200
20493198
20483197
20473195
20463194
20453192
20443191
20433189
20423188
20413186
20403185
20393183
20383182
20373180
20363179
20353177
20343176
20333174
20323173
20313171
20303170
20293168
20283167
20273165
20263164
20253162
20243161
20233159
20223158
20213156
20203155
20193153
20183152
20173150
20163149
20153147
20143146
20133144
20123143
20113141
20103140
20093138
20083137
20073135
20063134
20053132
20043131
20033129
20023128
20013126
20003125
19993123
19983122
19973120
19963119
19953117
19943116
19933114
19923113
19913111
19903110
19893108
19883107
19873105
19863104
19853102
19843101
19833099
19823098
19813096
19803095
19793093
19783092
19773090
19763089
19753087
19743086
19733084
19723083
19713081
19703080
19693078
19683077
19673075
19663074
19653072
19643071
19633069
19623068
19613066
19603065
19593063
19583062
19573060
19563059
19553057
19543056
19533054
19523053
19513051
19503050
19493048
19483047
19473045
19463044
19453042
19443041
19433039
19423038
19413036
19403035
19393033
19383032
19373030
19363029
19353027
19343026
19333024
19323023
19313021
19303020
19293018
19283017
19273015
19263014
19253012
19243011
19233009
19223008
19213006
19203005
19193003
19183002
19173000
19162999
19152997
19142996
19132994
19122993
19112991
19102990
19092988
19082987
19072985
19062984
19052982
19042981
19032979
19022978
19012976
19002975
18992973
18982972
18972970
18962969
18952967
18942966
18932964
18922963
18912961
18902960
18892958
18882957
18872955
18862954
18852952
18842951
18832949
18822948
18812946
18802945
18792943
18782942
18772940
18762939
18752937
18742936
18732934
18722933
18712931
18702930
18692928
18682927
18672925
18662924
18652922
18642921
18632919
18622918
18612916
18602915
18592913
18582912
18572910
18562909
18552907
18542906
18532904
18522903
18512901
18502900
18492898
18482897
18472895
18462894
18452892
18442891
18432889
18422888
18412886
18402885
18392883
18382882
18372880
18362879
18352877
18342876
18332874
18322873
18312871
18302870
18292868
18282867
18272865
18262864
18252862
18242861
18232859
18222858
18212856
18202855
18192853
18182852
18172850
18162849
18152847
18142846
18132844
18122843
18112841
18102840
18092838
18082837
18072835
18062834
18052832
18042831
18032829
18022828
18012826
18002825
17992823
17982822
17972820
17962819
17952817
17942816
17932814
17922813
17912811
17902810
17892808
17882807
17872805
17862804
17852802
17842801
17832799
17822798
17812796
17802795
17792793
17782792
17772790
17762789
17752787
17742786
17732784
17722783
17712781
17702780
17692778
17682777
17672775
17662774
17652772
17642771
17632769
17622768
17612766
17602765
17592763
17582762
17572760
17562759
17552757
17542756
17532754
17522753
17512751
17502750
17492748
17482747
17472745
17462744
17452742
17442741
17432739
17422738
17412736
17402735
17392733
17382732
17372730
17362729
17352727
17342726
17332724
17322723
17312721
17302720
17292718
17282717
17272715
17262714
17252712
17242711
17232709
17222708
17212706
17202705
17192703
17182702
17172700
17162699
17152697
17142696
17132694
17122693
17112691
17102690
17092688
17082687
17072685
17062684
17052682
17042681
17032679
17022678
17012676
17002675
16992673
16982672
16972670
16962669
16952667
16942666
16932664
16922663
16912661
16902660
16892658
16882657
16872655
16862654
16852652
16842651
16832649
16822648
16812646
16802645
16792643
16782642
16772640
16762639
16752637
16742636
16732634
16722633
16712631
16702630
16692628
16682627
16672625
16662624
16652622
16642621
16632619
16622618
16612616
16602615
16592613
16582612
16572610
16562609
16552607
16542606
16532604
16522603
16512601
16502600
16492598
16482597
16472595
16462594
16452592
16442591
16432589
16422588
16412586
16402585
16392583
16382582
16372580
16362579
16352577
16342576
16332574
16322573
16312571
16302570
16292568
16282567
16272565
16262564
16252562
16242561
16232559
16222558
16212556
16202555
16192553
16182552
16172550
16162549
16152547
16142546
16132544
16122543
16112541
16102540
16092538
16082537
16072535
16062534
16052532
16042531
16032529
16022528
16012526
16002525
15992523
15982522
15972520
15962519
15952517
15942516
15932514
15922513
15912511
15902510
15892508
15882507
15872505
15862504
15852502
15842501
15832499
15822498
15812496
15802495
15792493
15782492
15772490
15762489
15752487
15742486
15732484
15722483
15712481
15702480
15692478
15682477
15672475
15662474
15652472
15642471
15632469
15622468
15612466
15602465
15592463
15582462
15572460
15562459
15552457
15542456
15532454
15522453
15512451
15502450
15492448
15482447
15472445
15462444
15452442
15442441
15432439
15422438
15412436
15402435
15392433
15382432
15372430
15362429
15352427
15342426
15332424
15322423
15312421
15302420
15292418
15282417
15272415
15262414
15252412
15242411
15232409
15222408
15212406
15202405
15192403
15182402
15172400
15162399
15152397
15142396
15132394
15122393
15112391
15102390
15092388
15082387
15072385
15062384
15052382
15042381
15032379
15022378
15012376
15002375
14992373
14982372
14972370
14962369
14952367
14942366
14932364
14922363
14912361
14902360
14892358
14882357
14872355
14862354
14852352
14842351
14832349
14822348
14812346
14802345
14792343
14782342
14772340
14762339
14752337
14742336
14732334
14722333
14712331
14702330
14692328
14682327
14672325
14662324
14652322
14642321
14632319
14622318
14612316
14602315
14592313
14582312
14572310
14562309
14552307
14542306
14532304
14522303
14512301
14502300
14492298
14482297
14472295
14462294
14452292
14442291
14432289
14422288
14412286
14402285
14392283
14382282
14372280
14362279
14352277
14342276
14332274
14322273
14312271
14302270
14292268
14282267
14272265
14262264
14252262
14242261
14232259
14222258
14212256
14202255
14192253
14182252
14172250
14162249
14152247
14142246
14132244
14122243
14112241
14102240
14092238
14082237
14072235
14062234
14052232
14042231
14032229
14022228
14012226
14002225
13992223
13982222
13972220
13962219
13952217
13942216
13932214
13922213
13912211
13902210
13892208
13882207
13872205
13862204
13852202
13842201
13832199
13822198
13812196
13802195
13792193
13782192
13772190
13762189
13752187
13742186
13732184
13722183
13712181
13702180
13692178
13682177
13672175
13662174
13652172
13642171
13632169
13622168
13612166
13602165
13592163
13582162
13572160
13562159
13552157
13542156
13532154
13522153
13512151
13502150
13492148
13482147
13472145
13462144
13452142
13442141
13432139
13422138
13412136
13402135
13392133
13382132
13372130
13362129
13352127
13342126
13332124
13322123
13312121
13302120
13292118
13282117
13272115
13262114
13252112
13242111
13232109
13222108
13212106
13202105
13192103
13182102
13172100
13162099
13152097
13142096
13132094
13122093
13112091
13102090
13092088
13082087
13072085
13062084
13052082
13042081
13032079
13022078
13012076
13002075
12992073
12982072
12972070
12962069
12952067
12942066
12932064
12922063
12912061
12902060
12892058
12882057
12872055
12862054
12852052
12842051
12832049
12822048
12812046
12802045
12792043
12782042
12772040
12762039
12752037
12742036
12732034
12722033
12712031
12702030
12692028
12682027
12672025
12662024
12652022
12642021
12632019
12622018
12612016
12602015
12592013
12582012
12572010
12562009
12552007
12542006
12532004
12522003
12512001
12502000
12491998
12481997
12471995
12461994
12451992
12441991
12431989
12421988
12411986
12401985
12391983
12381982
12371980
12361979
12351977
12341976
12331974
12321973
12311971
12301970
12291968
12281967
12271965
12261964
12251962
12241961
12231959
12221958
12211956
12201955
12191953
12181952
12171950
12161949
12151947
12141946
12131944
12121943
12111941
12101940
12091938
12081937
12071935
12061934
12051932
12041931
12031929
12021928
12011926
12001925
11991923
11981922
11971920
11961919
11951917
11941916
11931914
11921913
11911911
11901910
11891908
11881907
11871905
11861904
11851902
11841901
11831899
11821898
11811896
11801895
11791893
11781892
11771890
11761889
11751887
11741886
11731884
11721883
11711881
11701880
11691878
11681877
11671875
11661874
11651872
11641871
11631869
11621868
11611866
11601865
11591863
11581862
11571860
11561859
11551857
11541856
11531854
11521853
11511851
11501850
11491848
11481847
11471845
11461844
11451842
11441841
11431839
11421838
11411836
11401835
11391833
11381832
11371830
11361829
11351827
11341826
11331824
11321823
11311821
11301820
11291818
11281817
11271815
11261814
11251812
11241811
11231809
11221808
11211806
11201805
11191803
11181802
11171800
11161799
11151797
11141796
11131794
11121793
11111791
11101790
11091788
11081787
11071785
11061784
11051782
11041781
11031779
11021778
11011776
11001775
10991773
10981772
10971770
10961769
10951767
10941766
10931764
10921763
10911761
10901760
10891758
10881757
10871755
10861754
10851752
10841751
10831749
10821748
10811746
10801745
10791743
10781742
10771740
10761739
10751737
10741736
10731734
10721733
10711731
10701730
10691728
10681727
10671725
10661724
10651722
10641721
10631719
10621718
10611716
10601715
10591713
10581712
10571710
10561709
10551707
10541706
10531704
10521703
10511701
10501700
10491698
10481697
10471695
10461694
10451692
10441691
10431689
10421688
10411686
10401685
10391683
10381682
10371680
10361679
10351677
10341676
10331674
10321673
10311671
10301670
10291668
10281667
10271665
10261664
10251662
10241661
10231659
10221658
10211656
10201655
10191653
10181652
10171650
10161649
10151647
10141646
10131644
10121643
10111641
10101640
10091638
10081637
10071635
10061634
10051632
10041631
10031629
10021628
10011626
10001625
9991623
9981622
9971620
9961619
9951617
9941616
9931614
9921613
9911611
9901610
9891608
9881607
9871605
9861604
9851602
9841601
9831599
9821598
9811596
9801595
9791593
9781592
9771590
9761589
9751587
9741586
9731584
9721583
9711581
9701580
9691578
9681577
9671575
9661574
9651572
9641571
9631569
9621568
9611566
9601565
9591563
9581562
9571560
9561559
9551557
9541556
9531554
9521553
9511551
9501550
9491548
9481547
9471545
9461544
9451542
9441541
9431539
9421538
9411536
9401535
9391533
9381532
9371530
9361529
9351527
9341526
9331524
9321523
9311521
9301520
9291518
9281517
9271515
9261514
9251512
9241511
9231509
9221508
9211506
9201505
9191503
9181502
9171500
9161499
9151497
9141496
9131494
9121493
9111491
9101490
9091488
9081487
9071485
9061484
9051482
9041481
9031479
9021478
9011476
9001475
8991473
8981472
8971470
8961469
8951467
8941466
8931464
8921463
8911461
8901460
8891458
8881457
8871455
8861454
8851452
8841451
8831449
8821448
8811446
8801445
8791443
8781442
8771440
8761439
8751437
8741436
8731434
8721433
8711431
8701430
8691428
8681427
8671425
8661424
8651422
8641421
8631419
8621418
8611416
8601415
8591413
8581412
8571410
8561409
8551407
8541406
8531404
8521403
8511401
8501400
8491398
8481397
8471395
8461394
8451392
8441391
8431389
8421388
8411386
8401385
8391383
8381382
8371380
8361379
8351377
8341376
8331374
8321373
8311371
8301370
8291368
8281367
8271365
8261364
8251362
8241361
8231359
8221358
8211356
8201355
8191353
8181352
8171350
8161349
8151347
8141346
8131344
8121343
8111341
8101340
8091338
8081337
8071335
8061334
8051332
8041331
8031329
8021328
8011326
8001325
7991323
7981322
7971320
7961319
7951317
7941316
7931314
7921313
7911311
7901310
7891308
7881307
7871305
7861304
7851302
7841301
7831299
7821298
7811296
7801295
7791293
7781292
7771290
7761289
7751287
7741286
7731284
7721283
7711281
7701280
7691278
7681277
7671275
7661274
7651272
7641271
7631269
7621268
7611266
7601265
7591263
7581262
7571260
7561259
7551257
7541256
7531254
7521253
7511251
7501250
7491248
7481247
7471245
7461244
7451242
7441241
7431239
7421238
7411236
7401235
7391233
7381232
7371230
7361229
7351227
7341226
7331224
7321223
7311221
7301220
7291218
7281217
7271215
7261214
7251212
7241211
7231209
7221208
7211206
7201205
7191203
7181202
7171200
7161199
7151197
7141196
7131194
7121193
7111191
7101190
7091188
7081187
7071185
7061184
7051182
7041181
7031179
7021178
7011176
7001175
6991173
6981172
6971170
6961169
6951167
6941166
6931164
6921163
6911161
6901160
6891158
6881157
6871155
6861154
6851152
6841151
6831149
6821148
6811146
6801145
6791143
6781142
6771140
6761139
6751137
6741136
6731134
6721133
6711131
6701130
6691128
6681127
6671125
6661124
6651122
6641121
6631119
6621118
6611116
6601115
6591113
6581112
6571110
6561109
6551107
6541106
6531104
6521103
6511101
6501100
6491098
6481097
6471095
6461094
6451092
6441091
6431089
6421088
6411086
6401085
6391083
6381082
6371080
6361079
6351077
6341076
6331074
6321073
6311071
6301070
6291068
6281067
6271065
6261064
6251062
6241061
6231059
6221058
6211056
6201055
6191053
6181052
6171050
6161049
6151047
6141046
6131044
6121043
6111041
6101040
6091038
6081037
6071035
6061034
6051032
6041031
6031029
6021028
6011026
6001025
5991023
5981022
5971020
5961019
5951017
5941016
5931014
5921013
5911011
5901010
5891008
5881007
5871005
5861004
5851002
5841001
583999
582998
581996
580995
579993
578992
577990
576989
575987
574986
573984
572983
571981
570980
569978
568977
567975
566974
565972
564971
563969
562968
561966
560965
559963
558962
557960
556959
555957
554956
553954
552953
551951
550950
549948
548947
547945
546944
545942
544941
543939
542938
541936
540935
539933
538932
537930
536929
535927
534926
533924
532923
531921
530920
529918
528917
527915
526914
525912
524911
523909
522908
521906
520905
519903
518902
517900
516899
515897
514896
513894
512893
511891
510890
509888
508887
507885
506884
505882
504881
503879
502878
501876
500875
499873
498872
497870
496869
495867
494866
493864
492863
491861
490860
489858
488857
487855
486854
485852
484851
483849
482848
481846
480845
479843
478842
477840
476839
475837
474836
473834
472833
471831
470830
469828
468827
467825
466824
465822
464821
463819
462818
461816
460815
459813
458812
457810
456809
455807
454806
453804
452803
451801
450800
449798
448797
447795
446794
445792
444791
443789
442788
441786
440785
439783
438782
437780
436779
435777
434776
433774
432773
431771
430770
429768
428767
427765
426764
425762
424761
423759
422758
421756
420755
419753
418752
417750
416749
415747
414746
413744
412743
411741
410740
409738
408737
407735
406734
405732
404731
403729
402728
401726
400725
399723
398722
397720
396719
395717
394716
393714
392713
391711
390710
389708
388707
387705
386704
385702
384701
383699
382698
381696
380695
379693
378692
377690
376689
375687
374686
373684
372683
371681
370680
369678
368677
367675
366674
365672
364671
363669
362668
361666
360665
359663
358662
357660
356659
355657
354656
353654
352653
351651
350650
349648
348647
347645
346644
345642
344641
343639
342638
341636
340635
339633
338632
337630
336629
335627
334626
333624
332623
331621
330620
329618
328617
327615
326614
325612
324611
323609
322608
321606
320605
319603
318602
317600
316599
315597
314596
313594
312593
311591
310590
309588
308587
307585
306584
305582
304581
303579
302578
301576
300575
299573
298572
297570
296569
295567
294566
293564
292563
291561
290560
289558
288557
287555
286554
285552
284551
283549
282548
281546
280545
279543
278542
277540
276539
275537
274536
273534
272533
271531
270530
269528
268527
267525
266524
265522
264521
263519
262518
261516
260515
259513
258512
257510
256509
255507
254506
253504
252503
251501
250500
249498
248497
247495
246494
245492
244491
243489
242488
241486
240485
239483
238482
237480
236479
235477
234476
233474
232473
231471
230470
229468
228467
227465
226464
225462
224461
223459
222458
221456
220455
219453
218452
217450
216449
215447
214446
213444
212443
211441
210440
209438
208437
207435
206434
205432
204431
203429
202428
201426
200425
199423
198422
197420
196419
195417
194416
193414
192413
191411
190410
189408
188407
187405
186404
185402
184401
183399
182398
181396
180395
179393
178392
177390
176389
175387
174386
173384
172383
171381
170380
169378
168377
167375
166374
165372
164371
163369
162368
161366
160365
159363
158362
157360
156359
155357
154356
153354
152353
151351
150350
149348
148347
147345
146344
145342
144341
143339
142338
141336
140335
139333
138332
137330
136329
135327
134326
133324
132323
131321
130320
129318
128317
127315
126314
125312
124311
123309
122308
121306
120305
119303
118302
117300
116299
115297
114296
113294
112293
111291
110290
109288
108287
107285
106284
105282
104281
103279
102278
101276
100275
99273
98272
97270
96269
95267
94266
93264
92263
91261
90260
89258
88257
87255
86254
85252
84251
83249
82248
81246
80245
79243
78242
77240
76239
75237
74236
73234
72233
71231
70230
69228
68227
67225
66224
65222
64221
63219
62218
61216
60215
59213
58212
57210
56209
55207
54206
53204
52203
51201
50200
49198
48197
47195
46194
45192
44191
43189
42188
41186
40185
39183
38182
37180
36179
35177
34176
33174
32173
31171
30170
29168
28167
27165
26164
25162
24161
23159
22158
21156
20155
19153
18152
17150
16149
15147
14146
13144
12143
11141
10140
9138
8137
7135
6134
5132
4128
3117
292
172
048

end0.0ms

sample3.3s

Algorithm
intervals
Results
710.0ms4803×body160valid
700.0ms16134×pre80true
593.0ms8134×body80nan
495.0ms1784×body80valid
390.0ms1413×body320valid