Details

Time bar (total: 1.1m)

sample84.0ms

Algorithm
intervals
Results
31.0ms201×body80valid
9.0ms20×body1280valid
7.0ms256×pre80true
7.0ms20×body640valid
4.0ms11×body320valid
1.0ms4×body160valid

simplify1.5s

Counts
1 → 1
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
01529
13129
210229
345429
4246229
done500029

prune3.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 23.7b

localize25.0ms

Local error

Found 3 expressions with local error:

0.1b
(/ (/ (* (+ alpha beta) (- beta alpha)) (+ (+ alpha beta) (* 2.0 i))) (+ (+ (+ alpha beta) (* 2.0 i)) 2.0))
0.9b
(+ (/ (/ (* (+ alpha beta) (- beta alpha)) (+ (+ alpha beta) (* 2.0 i))) (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)) 1.0)
19.4b
(/ (* (+ alpha beta) (- beta alpha)) (+ (+ alpha beta) (* 2.0 i)))

rewrite1.2s

Algorithm
rewrite-expression-head
Rules
54×times-frac
47×*-un-lft-identity
25×add-sqr-sqrt add-cube-cbrt
17×add-exp-log add-cbrt-cube
14×associate-/r/
11×flip3-+ flip-+ distribute-lft-out
10×associate-/l*
9×associate-/l/
7×cbrt-undiv div-exp associate-/r* div-inv
5×add-log-exp
4×frac-times
3×pow1 flip3-- flip--
2×frac-2neg associate-*r/ associate-*l/ prod-exp clear-num cbrt-unprod
1×+-commutative sum-log
Counts
3 → 111
Calls
3 calls:
271.0ms
(/ (/ (* (+ alpha beta) (- beta alpha)) (+ (+ alpha beta) (* 2.0 i))) (+ (+ (+ alpha beta) (* 2.0 i)) 2.0))
835.0ms
(+ (/ (/ (* (+ alpha beta) (- beta alpha)) (+ (+ alpha beta) (* 2.0 i))) (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)) 1.0)
64.0ms
(/ (* (+ alpha beta) (- beta alpha)) (+ (+ alpha beta) (* 2.0 i)))

series1.0s

Counts
3 → 9
Calls
3 calls:
408.0ms
(/ (/ (* (+ alpha beta) (- beta alpha)) (+ (+ alpha beta) (* 2.0 i))) (+ (+ (+ alpha beta) (* 2.0 i)) 2.0))
459.0ms
(+ (/ (/ (* (+ alpha beta) (- beta alpha)) (+ (+ alpha beta) (* 2.0 i))) (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)) 1.0)
134.0ms
(/ (* (+ alpha beta) (- beta alpha)) (+ (+ alpha beta) (* 2.0 i)))

simplify2.5s

Counts
120 → 120
Iterations

Useful iterations: 2 (681.0ms)

IterNodesCost
02254035
16973821
245043577
done50023577

prune490.0ms

Pruning

9 alts after pruning (9 fresh and 0 done)

Merged error: 6.4b

localize31.0ms

Local error

Found 4 expressions with local error:

0.0b
(/ (- beta alpha) (+ (+ alpha beta) (* 2.0 i)))
0.1b
(/ (+ (+ (+ alpha beta) (* 2.0 i)) 2.0) (/ (- beta alpha) (+ (+ alpha beta) (* 2.0 i))))
0.9b
(+ (/ (/ (+ alpha beta) 1) (/ (+ (+ (+ alpha beta) (* 2.0 i)) 2.0) (/ (- beta alpha) (+ (+ alpha beta) (* 2.0 i))))) 1.0)
3.3b
(/ (/ (+ alpha beta) 1) (/ (+ (+ (+ alpha beta) (* 2.0 i)) 2.0) (/ (- beta alpha) (+ (+ alpha beta) (* 2.0 i)))))

rewrite3.2s

Algorithm
rewrite-expression-head
Rules
5126×times-frac
3533×*-un-lft-identity
2233×add-sqr-sqrt
1787×add-cube-cbrt
650×distribute-lft-out
223×distribute-lft-out-- difference-of-squares
183×div-inv
167×associate-/r/
113×associate-/r*
76×flip3-+ flip-+
41×add-exp-log
32×add-cbrt-cube
28×div-exp
25×associate-/l*
19×cbrt-undiv
6×add-log-exp
5×associate-/l/
4×pow1
3×frac-2neg 1-exp clear-num
1×+-commutative flip3-- div-sub sum-log flip--
Counts
4 → 1734
Calls
4 calls:
70.0ms
(/ (- beta alpha) (+ (+ alpha beta) (* 2.0 i)))
434.0ms
(/ (+ (+ (+ alpha beta) (* 2.0 i)) 2.0) (/ (- beta alpha) (+ (+ alpha beta) (* 2.0 i))))
2.0s
(+ (/ (/ (+ alpha beta) 1) (/ (+ (+ (+ alpha beta) (* 2.0 i)) 2.0) (/ (- beta alpha) (+ (+ alpha beta) (* 2.0 i))))) 1.0)
395.0ms
(/ (/ (+ alpha beta) 1) (/ (+ (+ (+ alpha beta) (* 2.0 i)) 2.0) (/ (- beta alpha) (+ (+ alpha beta) (* 2.0 i)))))

series1.1s

Counts
4 → 12
Calls
4 calls:
114.0ms
(/ (- beta alpha) (+ (+ alpha beta) (* 2.0 i)))
200.0ms
(/ (+ (+ (+ alpha beta) (* 2.0 i)) 2.0) (/ (- beta alpha) (+ (+ alpha beta) (* 2.0 i))))
420.0ms
(+ (/ (/ (+ alpha beta) 1) (/ (+ (+ (+ alpha beta) (* 2.0 i)) 2.0) (/ (- beta alpha) (+ (+ alpha beta) (* 2.0 i))))) 1.0)
346.0ms
(/ (/ (+ alpha beta) 1) (/ (+ (+ (+ alpha beta) (* 2.0 i)) 2.0) (/ (- beta alpha) (+ (+ alpha beta) (* 2.0 i)))))

simplify1.3s

Counts
1746 → 1746
Iterations

Useful iterations: done (1.2s)

IterNodesCost
0183895692
done500089934

prune5.1s

Pruning

9 alts after pruning (9 fresh and 0 done)

Merged error: 6.4b

localize41.0ms

Local error

Found 4 expressions with local error:

0.0b
(/ (+ (+ (+ alpha beta) (* 2.0 i)) 2.0) (- beta alpha))
0.1b
(* (/ (/ 1 (* (cbrt 1) (cbrt 1))) (/ (+ (+ (+ alpha beta) (* 2.0 i)) 2.0) (- beta alpha))) (/ (/ (+ alpha beta) (cbrt 1)) (+ (+ alpha beta) (* 2.0 i))))
0.3b
(/ (/ 1 (* (cbrt 1) (cbrt 1))) (/ (+ (+ (+ alpha beta) (* 2.0 i)) 2.0) (- beta alpha)))
0.9b
(+ (* (/ (/ 1 (* (cbrt 1) (cbrt 1))) (/ (+ (+ (+ alpha beta) (* 2.0 i)) 2.0) (- beta alpha))) (/ (/ (+ alpha beta) (cbrt 1)) (+ (+ alpha beta) (* 2.0 i)))) 1.0)

rewrite2.4s

Algorithm
rewrite-expression-head
Rules
1113×times-frac
691×*-un-lft-identity
623×add-sqr-sqrt
346×add-cube-cbrt
279×add-exp-log
187×associate-*l*
162×div-exp
112×add-cbrt-cube
99×distribute-lft-out
90×associate-*r*
75×div-inv
74×cbrt-undiv
69×prod-exp
65×distribute-lft-out-- difference-of-squares
50×cbrt-prod
36×associate-/r/
35×unswap-sqr
31×associate-/r*
29×cbrt-unprod
16×rec-exp flip3-- 1-exp flip--
11×associate-/l*
6×pow1 add-log-exp
3×flip3-+ flip-+ associate-/l/
2×frac-2neg clear-num
1×+-commutative frac-times associate-*r/ pow-prod-down associate-*l/ sum-log *-commutative
Counts
4 → 693
Calls
4 calls:
391.0ms
(/ (+ (+ (+ alpha beta) (* 2.0 i)) 2.0) (- beta alpha))
1.4s
(* (/ (/ 1 (* (cbrt 1) (cbrt 1))) (/ (+ (+ (+ alpha beta) (* 2.0 i)) 2.0) (- beta alpha))) (/ (/ (+ alpha beta) (cbrt 1)) (+ (+ alpha beta) (* 2.0 i))))
307.0ms
(/ (/ 1 (* (cbrt 1) (cbrt 1))) (/ (+ (+ (+ alpha beta) (* 2.0 i)) 2.0) (- beta alpha)))
277.0ms
(+ (* (/ (/ 1 (* (cbrt 1) (cbrt 1))) (/ (+ (+ (+ alpha beta) (* 2.0 i)) 2.0) (- beta alpha))) (/ (/ (+ alpha beta) (cbrt 1)) (+ (+ alpha beta) (* 2.0 i)))) 1.0)

series1.1s

Counts
4 → 12
Calls
4 calls:
149.0ms
(/ (+ (+ (+ alpha beta) (* 2.0 i)) 2.0) (- beta alpha))
340.0ms
(* (/ (/ 1 (* (cbrt 1) (cbrt 1))) (/ (+ (+ (+ alpha beta) (* 2.0 i)) 2.0) (- beta alpha))) (/ (/ (+ alpha beta) (cbrt 1)) (+ (+ alpha beta) (* 2.0 i))))
111.0ms
(/ (/ 1 (* (cbrt 1) (cbrt 1))) (/ (+ (+ (+ alpha beta) (* 2.0 i)) 2.0) (- beta alpha)))
484.0ms
(+ (* (/ (/ 1 (* (cbrt 1) (cbrt 1))) (/ (+ (+ (+ alpha beta) (* 2.0 i)) 2.0) (- beta alpha))) (/ (/ (+ alpha beta) (cbrt 1)) (+ (+ alpha beta) (* 2.0 i)))) 1.0)

simplify2.1s

Counts
705 → 705
Iterations

Useful iterations: done (2.1s)

IterNodesCost
083928458
1335620869
done500018824

prune1.9s

Pruning

7 alts after pruning (7 fresh and 0 done)

Merged error: 6.4b

localize33.0ms

Local error

Found 4 expressions with local error:

0.0b
(/ (/ (+ alpha beta) (cbrt 1)) (+ (+ alpha beta) (* 2.0 i)))
0.1b
(* (/ (/ 1 (* (cbrt 1) (cbrt 1))) (/ (- (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)) (- (- beta alpha)))) (/ (/ (+ alpha beta) (cbrt 1)) (+ (+ alpha beta) (* 2.0 i))))
0.3b
(/ (/ 1 (* (cbrt 1) (cbrt 1))) (/ (- (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)) (- (- beta alpha))))
0.9b
(+ (* (/ (/ 1 (* (cbrt 1) (cbrt 1))) (/ (- (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)) (- (- beta alpha)))) (/ (/ (+ alpha beta) (cbrt 1)) (+ (+ alpha beta) (* 2.0 i)))) 1.0)

rewrite4.9s

Algorithm
rewrite-expression-head
Rules
6453×times-frac
3712×*-un-lft-identity
2918×add-sqr-sqrt
2051×add-cube-cbrt
1740×distribute-lft-neg-in distribute-rgt-neg-in
1223×associate-*l*
462×distribute-lft-out
390×neg-mul-1
375×div-inv
360×distribute-lft-out-- difference-of-squares
282×add-exp-log
177×associate-/r*
164×div-exp
114×add-cbrt-cube
98×cbrt-prod
90×associate-*r*
76×cbrt-undiv
69×prod-exp
36×associate-/r/
35×associate-/l* unswap-sqr
30×distribute-neg-frac
29×cbrt-unprod
16×rec-exp 1-exp
15×flip3-- flip--
6×pow1 add-log-exp
3×flip3-+ flip-+
2×frac-2neg clear-num associate-/l/
1×+-commutative frac-times associate-*r/ pow-prod-down associate-*l/ sum-log *-commutative
Counts
4 → 3000
Calls
4 calls:
69.0ms
(/ (/ (+ alpha beta) (cbrt 1)) (+ (+ alpha beta) (* 2.0 i)))
3.4s
(* (/ (/ 1 (* (cbrt 1) (cbrt 1))) (/ (- (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)) (- (- beta alpha)))) (/ (/ (+ alpha beta) (cbrt 1)) (+ (+ alpha beta) (* 2.0 i))))
542.0ms
(/ (/ 1 (* (cbrt 1) (cbrt 1))) (/ (- (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)) (- (- beta alpha))))
474.0ms
(+ (* (/ (/ 1 (* (cbrt 1) (cbrt 1))) (/ (- (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)) (- (- beta alpha)))) (/ (/ (+ alpha beta) (cbrt 1)) (+ (+ alpha beta) (* 2.0 i)))) 1.0)

series1.1s

Counts
4 → 12
Calls
4 calls:
97.0ms
(/ (/ (+ alpha beta) (cbrt 1)) (+ (+ alpha beta) (* 2.0 i)))
423.0ms
(* (/ (/ 1 (* (cbrt 1) (cbrt 1))) (/ (- (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)) (- (- beta alpha)))) (/ (/ (+ alpha beta) (cbrt 1)) (+ (+ alpha beta) (* 2.0 i))))
148.0ms
(/ (/ 1 (* (cbrt 1) (cbrt 1))) (/ (- (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)) (- (- beta alpha))))
417.0ms
(+ (* (/ (/ 1 (* (cbrt 1) (cbrt 1))) (/ (- (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)) (- (- beta alpha)))) (/ (/ (+ alpha beta) (cbrt 1)) (+ (+ alpha beta) (* 2.0 i)))) 1.0)

simplify1.9s

Counts
3012 → 3012
Iterations

Useful iterations: done (1.6s)

IterNodesCost
02447120636
done5001117315

prune13.7s

Pruning

7 alts after pruning (6 fresh and 1 done)

Merged error: 6.4b

regimes258.0ms

Accuracy

15.4% (5.3b remaining)

Error of 11.0b against oracle of 5.6b and baseline of 11.9b

bsearch126.0ms

Steps
ItersRangePoint
9
3.924121718799615e+152
1.1091300193692854e+158
4.992243589258637e+155

simplify14.6s

Iterations

Useful iterations: 2 (10.0ms)

IterNodesCost
04180
15471
25769
36069
46169
56269
66369
76469
86569
96669
106769
116869
126969
137069
147169
157269
167369
177469
187569
197669
207769
217869
227969
238069
248169
258269
268369
278469
288569
298669
308769
318869
328969
339069
349169
359269
369369
379469
389569
399669
409769
419869
429969
4310069
4410169
4510269
4610369
4710469
4810569
4910669
5010769
5110869
5210969
5311069
5411169
5511269
5611369
5711469
5811569
5911669
6011769
6111869
6211969
6312069
6412169
6512269
6612369
6712469
6812569
6912669
7012769
7112869
7212969
7313069
7413169
7513269
7613369
7713469
7813569
7913669
8013769
8113869
8213969
8314069
8414169
8514269
8614369
8714469
8814569
8914669
9014769
9114869
9214969
9315069
9415169
9515269
9615369
9715469
9815569
9915669
10015769
10115869
10215969
10316069
10416169
10516269
10616369
10716469
10816569
10916669
11016769
11116869
11216969
11317069
11417169
11517269
11617369
11717469
11817569
11917669
12017769
12117869
12217969
12318069
12418169
12518269
12618369
12718469
12818569
12918669
13018769
13118869
13218969
13319069
13419169
13519269
13619369
13719469
13819569
13919669
14019769
14119869
14219969
14320069
14420169
14520269
14620369
14720469
14820569
14920669
15020769
15120869
15220969
15321069
15421169
15521269
15621369
15721469
15821569
15921669
16021769
16121869
16221969
16322069
16422169
16522269
16622369
16722469
16822569
16922669
17022769
17122869
17222969
17323069
17423169
17523269
17623369
17723469
17823569
17923669
18023769
18123869
18223969
18324069
18424169
18524269
18624369
18724469
18824569
18924669
19024769
19124869
19224969
19325069
19425169
19525269
19625369
19725469
19825569
19925669
20025769
20125869
20225969
20326069
20426169
20526269
20626369
20726469
20826569
20926669
21026769
21126869
21226969
21327069
21427169
21527269
21627369
21727469
21827569
21927669
22027769
22127869
22227969
22328069
22428169
22528269
22628369
22728469
22828569
22928669
23028769
23128869
23228969
23329069
23429169
23529269
23629369
23729469
23829569
23929669
24029769
24129869
24229969
24330069
24430169
24530269
24630369
24730469
24830569
24930669
25030769
25130869
25230969
25331069
25431169
25531269
25631369
25731469
25831569
25931669
26031769
26131869
26231969
26332069
26432169
26532269
26632369
26732469
26832569
26932669
27032769
27132869
27232969
27333069
27433169
27533269
27633369
27733469
27833569
27933669
28033769
28133869
28233969
28334069
28434169
28534269
28634369
28734469
28834569
28934669
29034769
29134869
29234969
29335069
29435169
29535269
29635369
29735469
29835569
29935669
30035769
30135869
30235969
30336069
30436169
30536269
30636369
30736469
30836569
30936669
31036769
31136869
31236969
31337069
31437169
31537269
31637369
31737469
31837569
31937669
32037769
32137869
32237969
32338069
32438169
32538269
32638369
32738469
32838569
32938669
33038769
33138869
33238969
33339069
33439169
33539269
33639369
33739469
33839569
33939669
34039769
34139869
34239969
34340069
34440169
34540269
34640369
34740469
34840569
34940669
35040769
35140869
35240969
35341069
35441169
35541269
35641369
35741469
35841569
35941669
36041769
36141869
36241969
36342069
36442169
36542269
36642369
36742469
36842569
36942669
37042769
37142869
37242969
37343069
37443169
37543269
37643369
37743469
37843569
37943669
38043769
38143869
38243969
38344069
38444169
38544269
38644369
38744469
38844569
38944669
39044769
39144869
39244969
39345069
39445169
39545269
39645369
39745469
39845569
39945669
40045769
40145869
40245969
40346069
40446169
40546269
40646369
40746469
40846569
40946669
41046769
41146869
41246969
41347069
41447169
41547269
41647369
41747469
41847569
41947669
42047769
42147869
42247969
42348069
42448169
42548269
42648369
42748469
42848569
42948669
43048769
43148869
43248969
43349069
43449169
43549269
43649369
43749469
43849569
43949669
44049769
44149869
44249969
44350069
44450169
44550269
44650369
44750469
44850569
44950669
45050769
45150869
45250969
45351069
45451169
45551269
45651369
45751469
45851569
45951669
46051769
46151869
46251969
46352069
46452169
46552269
46652369
46752469
46852569
46952669
47052769
47152869
47252969
47353069
47453169
47553269
47653369
47753469
47853569
47953669
48053769
48153869
48253969
48354069
48454169
48554269
48654369
48754469
48854569
48954669
49054769
49154869
49254969
49355069
49455169
49555269
49655369
49755469
49855569
49955669
50055769
50155869
50255969
50356069
50456169
50556269
50656369
50756469
50856569
50956669
51056769
51156869
51256969
51357069
51457169
51557269
51657369
51757469
51857569
51957669
52057769
52157869
52257969
52358069
52458169
52558269
52658369
52758469
52858569
52958669
53058769
53158869
53258969
53359069
53459169
53559269
53659369
53759469
53859569
53959669
54059769
54159869
54259969
54360069
54460169
54560269
54660369
54760469
54860569
54960669
55060769
55160869
55260969
55361069
55461169
55561269
55661369
55761469
55861569
55961669
56061769
56161869
56261969
56362069
56462169
56562269
56662369
56762469
56862569
56962669
57062769
57162869
57262969
57363069
57463169
57563269
57663369
57763469
57863569
57963669
58063769
58163869
58263969
58364069
58464169
58564269
58664369
58764469
58864569
58964669
59064769
59164869
59264969
59365069
59465169
59565269
59665369
59765469
59865569
59965669
60065769
60165869
60265969
60366069
60466169
60566269
60666369
60766469
60866569
60966669
61066769
61166869
61266969
61367069
61467169
61567269
61667369
61767469
61867569
61967669
62067769
62167869
62267969
62368069
62468169
62568269
62668369
62768469
62868569
62968669
63068769
63168869
63268969
63369069
63469169
63569269
63669369
63769469
63869569
63969669
64069769
64169869
64269969
64370069
64470169
64570269
64670369
64770469
64870569
64970669
65070769
65170869
65270969
65371069
65471169
65571269
65671369
65771469
65871569
65971669
66071769
66171869
66271969
66372069
66472169
66572269
66672369
66772469
66872569
66972669
67072769
67172869
67272969
67373069
67473169
67573269
67673369
67773469
67873569
67973669
68073769
68173869
68273969
68374069
68474169
68574269
68674369
68774469
68874569
68974669
69074769
69174869
69274969
69375069
69475169
69575269
69675369
69775469
69875569
69975669
70075769
70175869
70275969
70376069
70476169
70576269
70676369
70776469
70876569
70976669
71076769
71176869
71276969
71377069
71477169
71577269
71677369
71777469
71877569
71977669
72077769
72177869
72277969
72378069
72478169
72578269
72678369
72778469
72878569
72978669
73078769
73178869
73278969
73379069
73479169
73579269
73679369
73779469
73879569
73979669
74079769
74179869
74279969
74380069
74480169
74580269
74680369
74780469
74880569
74980669
75080769
75180869
75280969
75381069
75481169
75581269
75681369
75781469
75881569
75981669
76081769
76181869
76281969
76382069
76482169
76582269
76682369
76782469
76882569
76982669
77082769
77182869
77282969
77383069
77483169
77583269
77683369
77783469
77883569
77983669
78083769
78183869
78283969
78384069
78484169
78584269
78684369
78784469
78884569
78984669
79084769
79184869
79284969
79385069
79485169
79585269
79685369
79785469
79885569
79985669
80085769
80185869
80285969
80386069
80486169
80586269
80686369
80786469
80886569
80986669
81086769
81186869
81286969
81387069
81487169
81587269
81687369
81787469
81887569
81987669
82087769
82187869
82287969
82388069
82488169
82588269
82688369
82788469
82888569
82988669
83088769
83188869
83288969
83389069
83489169
83589269
83689369
83789469
83889569
83989669
84089769
84189869
84289969
84390069
84490169
84590269
84690369
84790469
84890569
84990669
85090769
85190869
85290969
85391069
85491169
85591269
85691369
85791469
85891569
85991669
86091769
86191869
86291969
86392069
86492169
86592269
86692369
86792469
86892569
86992669
87092769
87192869
87292969
87393069
87493169
87593269
87693369
87793469
87893569
87993669
88093769
88193869
88293969
88394069
88494169
88594269
88694369
88794469
88894569
88994669
89094769
89194869
89294969
89395069
89495169
89595269
89695369
89795469
89895569
89995669
90095769
90195869
90295969
90396069
90496169
90596269
90696369
90796469
90896569
90996669
91096769
91196869
91296969
91397069
91497169
91597269
91697369
91797469
91897569
91997669
92097769
92197869
92297969
92398069
92498169
92598269
92698369
92798469
92898569
92998669
93098769
93198869
93298969
93399069
93499169
93599269
93699369
93799469
93899569
93999669
94099769
94199869
94299969
943100069
944100169
945100269
946100369
947100469
948100569
949100669
950100769
951100869
952100969
953101069
954101169
955101269
956101369
957101469
958101569
959101669
960101769
961101869
962101969
963102069
964102169
965102269
966102369
967102469
968102569
969102669
970102769
971102869
972102969
973103069
974103169
975103269
976103369
977103469
978103569
979103669
980103769
981103869
982103969
983104069
984104169
985104269
986104369
987104469
988104569
989104669
990104769
991104869
992104969
993105069
994105169
995105269
996105369
997105469
998105569
999105669
1000105769
1001105869
1002105969
1003106069
1004106169
1005106269
1006106369
1007106469
1008106569
1009106669
1010106769
1011106869
1012106969
1013107069
1014107169
1015107269
1016107369
1017107469
1018107569
1019107669
1020107769
1021107869
1022107969
1023108069
1024108169
1025108269
1026108369
1027108469
1028108569
1029108669
1030108769
1031108869
1032108969
1033109069
1034109169
1035109269
1036109369
1037109469
1038109569
1039109669
1040109769
1041109869
1042109969
1043110069
1044110169
1045110269
1046110369
1047110469
1048110569
1049110669
1050110769
1051110869
1052110969
1053111069
1054111169
1055111269
1056111369
1057111469
1058111569
1059111669
1060111769
1061111869
1062111969
1063112069
1064112169
1065112269
1066112369
1067112469
1068112569
1069112669
1070112769
1071112869
1072112969
1073113069
1074113169
1075113269
1076113369
1077113469
1078113569
1079113669
1080113769
1081113869
1082113969
1083114069
1084114169
1085114269
1086114369
1087114469
1088114569
1089114669
1090114769
1091114869
1092114969
1093115069
1094115169
1095115269
1096115369
1097115469
1098115569
1099115669
1100115769
1101115869
1102115969
1103116069
1104116169
1105116269
1106116369
1107116469
1108116569
1109116669
1110116769
1111116869
1112116969
1113117069
1114117169
1115117269
1116117369
1117117469
1118117569
1119117669
1120117769
1121117869
1122117969
1123118069
1124118169
1125118269
1126118369
1127118469
1128118569
1129118669
1130118769
1131118869
1132118969
1133119069
1134119169
1135119269
1136119369
1137119469
1138119569
1139119669
1140119769
1141119869
1142119969
1143120069
1144120169
1145120269
1146120369
1147120469
1148120569
1149120669
1150120769
1151120869
1152120969
1153121069
1154121169
1155121269
1156121369
1157121469
1158121569
1159121669
1160121769
1161121869
1162121969
1163122069
1164122169
1165122269
1166122369
1167122469
1168122569
1169122669
1170122769
1171122869
1172122969
1173123069
1174123169
1175123269
1176123369
1177123469
1178123569
1179123669
1180123769
1181123869
1182123969
1183124069
1184124169
1185124269
1186124369
1187124469
1188124569
1189124669
1190124769
1191124869
1192124969
1193125069
1194125169
1195125269
1196125369
1197125469
1198125569
1199125669
1200125769
1201125869
1202125969
1203126069
1204126169
1205126269
1206126369
1207126469
1208126569
1209126669
1210126769
1211126869
1212126969
1213127069
1214127169
1215127269
1216127369
1217127469
1218127569
1219127669
1220127769
1221127869
1222127969
1223128069
1224128169
1225128269
1226128369
1227128469
1228128569
1229128669
1230128769
1231128869
1232128969
1233129069
1234129169
1235129269
1236129369
1237129469
1238129569
1239129669
1240129769
1241129869
1242129969
1243130069
1244130169
1245130269
1246130369
1247130469
1248130569
1249130669
1250130769
1251130869
1252130969
1253131069
1254131169
1255131269
1256131369
1257131469
1258131569
1259131669
1260131769
1261131869
1262131969
1263132069
1264132169
1265132269
1266132369
1267132469
1268132569
1269132669
1270132769
1271132869
1272132969
1273133069
1274133169
1275133269
1276133369
1277133469
1278133569
1279133669
1280133769
1281133869
1282133969
1283134069
1284134169
1285134269
1286134369
1287134469
1288134569
1289134669
1290134769
1291134869
1292134969
1293135069
1294135169
1295135269
1296135369
1297135469
1298135569
1299135669
1300135769
1301135869
1302135969
1303136069
1304136169
1305136269
1306136369
1307136469
1308136569
1309136669
1310136769
1311136869
1312136969
1313137069
1314137169
1315137269
1316137369
1317137469
1318137569
1319137669
1320137769
1321137869
1322137969
1323138069
1324138169
1325138269
1326138369
1327138469
1328138569
1329138669
1330138769
1331138869
1332138969
1333139069
1334139169
1335139269
1336139369
1337139469
1338139569
1339139669
1340139769
1341139869
1342139969
1343140069
1344140169
1345140269
1346140369
1347140469
1348140569
1349140669
1350140769
1351140869
1352140969
1353141069
1354141169
1355141269
1356141369
1357141469
1358141569
1359141669
1360141769
1361141869
1362141969
1363142069
1364142169
1365142269
1366142369
1367142469
1368142569
1369142669
1370142769
1371142869
1372142969
1373143069
1374143169
1375143269
1376143369
1377143469
1378143569
1379143669
1380143769
1381143869
1382143969
1383144069
1384144169
1385144269
1386144369
1387144469
1388144569
1389144669
1390144769
1391144869
1392144969
1393145069
1394145169
1395145269
1396145369
1397145469
1398145569
1399145669
1400145769
1401145869
1402145969
1403146069
1404146169
1405146269
1406146369
1407146469
1408146569
1409146669
1410146769
1411146869
1412146969
1413147069
1414147169
1415147269
1416147369
1417147469
1418147569
1419147669
1420147769
1421147869
1422147969
1423148069
1424148169
1425148269
1426148369
1427148469
1428148569
1429148669
1430148769
1431148869
1432148969
1433149069
1434149169
1435149269
1436149369
1437149469
1438149569
1439149669
1440149769
1441149869
1442149969
1443150069
1444150169
1445150269
1446150369
1447150469
1448150569
1449150669
1450150769
1451150869
1452150969
1453151069
1454151169
1455151269
1456151369
1457151469
1458151569
1459151669
1460151769
1461151869
1462151969
1463152069
1464152169
1465152269
1466152369
1467152469
1468152569
1469152669
1470152769
1471152869
1472152969
1473153069
1474153169
1475153269
1476153369
1477153469
1478153569
1479153669
1480153769
1481153869
1482153969
1483154069
1484154169
1485154269
1486154369
1487154469
1488154569
1489154669
1490154769
1491154869
1492154969
1493155069
1494155169
1495155269
1496155369
1497155469
1498155569
1499155669
1500155769
1501155869
1502155969
1503156069
1504156169
1505156269
1506156369
1507156469
1508156569
1509156669
1510156769
1511156869
1512156969
1513157069
1514157169
1515157269
1516157369
1517157469
1518157569
1519157669
1520157769
1521157869
1522157969
1523158069
1524158169
1525158269
1526158369
1527158469
1528158569
1529158669
1530158769
1531158869
1532158969
1533159069
1534159169
1535159269
1536159369
1537159469
1538159569
1539159669
1540159769
1541159869
1542159969
1543160069
1544160169
1545160269
1546160369
1547160469
1548160569
1549160669
1550160769
1551160869
1552160969
1553161069
1554161169
1555161269
1556161369
1557161469
1558161569
1559161669
1560161769
1561161869
1562161969
1563162069
1564162169
1565162269
1566162369
1567162469
1568162569
1569162669
1570162769
1571162869
1572162969
1573163069
1574163169
1575163269
1576163369
1577163469
1578163569
1579163669
1580163769
1581163869
1582163969
1583164069
1584164169
1585164269
1586164369
1587164469
1588164569
1589164669
1590164769
1591164869
1592164969
1593165069
1594165169
1595165269
1596165369
1597165469
1598165569
1599165669
1600165769
1601165869
1602165969
1603166069
1604166169
1605166269
1606166369
1607166469
1608166569
1609166669
1610166769
1611166869
1612166969
1613167069
1614167169
1615167269
1616167369
1617167469
1618167569
1619167669
1620167769
1621167869
1622167969
1623168069
1624168169
1625168269
1626168369
1627168469
1628168569
1629168669
1630168769
1631168869
1632168969
1633169069
1634169169
1635169269
1636169369
1637169469
1638169569
1639169669
1640169769
1641169869
1642169969
1643170069
1644170169
1645170269
1646170369
1647170469
1648170569
1649170669
1650170769
1651170869
1652170969
1653171069
1654171169
1655171269
1656171369
1657171469
1658171569
1659171669
1660171769
1661171869
1662171969
1663172069
1664172169
1665172269
1666172369
1667172469
1668172569
1669172669
1670172769
1671172869
1672172969
1673173069
1674173169
1675173269
1676173369
1677173469
1678173569
1679173669
1680173769
1681173869
1682173969
1683174069
1684174169
1685174269
1686174369
1687174469
1688174569
1689174669
1690174769
1691174869
1692174969
1693175069
1694175169
1695175269
1696175369
1697175469
1698175569
1699175669
1700175769
1701175869
1702175969
1703176069
1704176169
1705176269
1706176369
1707176469
1708176569
1709176669
1710176769
1711176869
1712176969
1713177069
1714177169
1715177269
1716177369
1717177469
1718177569
1719177669
1720177769
1721177869
1722177969
1723178069
1724178169
1725178269
1726178369
1727178469
1728178569
1729178669
1730178769
1731178869
1732178969
1733179069
1734179169
1735179269
1736179369
1737179469
1738179569
1739179669
1740179769
1741179869
1742179969
1743180069
1744180169
1745180269
1746180369
1747180469
1748180569
1749180669
1750180769
1751180869
1752180969
1753181069
1754181169
1755181269
1756181369
1757181469
1758181569
1759181669
1760181769
1761181869
1762181969
1763182069
1764182169
1765182269
1766182369
1767182469
1768182569
1769182669
1770182769
1771182869
1772182969
1773183069
1774183169
1775183269
1776183369
1777183469
1778183569
1779183669
1780183769
1781183869
1782183969
1783184069
1784184169
1785184269
1786184369
1787184469
1788184569
1789184669
1790184769
1791184869
1792184969
1793185069
1794185169
1795185269
1796185369
1797185469
1798185569
1799185669
1800185769
1801185869
1802185969
1803186069
1804186169
1805186269
1806186369
1807186469
1808186569
1809186669
1810186769
1811186869
1812186969
1813187069
1814187169
1815187269
1816187369
1817187469
1818187569
1819187669
1820187769
1821187869
1822187969
1823188069
1824188169
1825188269
1826188369
1827188469
1828188569
1829188669
1830188769
1831188869
1832188969
1833189069
1834189169
1835189269
1836189369
1837189469
1838189569
1839189669
1840189769
1841189869
1842189969
1843190069
1844190169
1845190269
1846190369
1847190469
1848190569
1849190669
1850190769
1851190869
1852190969
1853191069
1854191169
1855191269
1856191369
1857191469
1858191569
1859191669
1860191769
1861191869
1862191969
1863192069
1864192169
1865192269
1866192369
1867192469
1868192569
1869192669
1870192769
1871192869
1872192969
1873193069
1874193169
1875193269
1876193369
1877193469
1878193569
1879193669
1880193769
1881193869
1882193969
1883194069
1884194169
1885194269
1886194369
1887194469
1888194569
1889194669
1890194769
1891194869
1892194969
1893195069
1894195169
1895195269
1896195369
1897195469
1898195569
1899195669
1900195769
1901195869
1902195969
1903196069
1904196169
1905196269
1906196369
1907196469
1908196569
1909196669
1910196769
1911196869
1912196969
1913197069
1914197169
1915197269
1916197369
1917197469
1918197569
1919197669
1920197769
1921197869
1922197969
1923198069
1924198169
1925198269
1926198369
1927198469
1928198569
1929198669
1930198769
1931198869
1932198969
1933199069
1934199169
1935199269
1936199369
1937199469
1938199569
1939199669
1940199769
1941199869
1942199969
1943200069
1944200169
1945200269
1946200369
1947200469
1948200569
1949200669
1950200769
1951200869
1952200969
1953201069
1954201169
1955201269
1956201369
1957201469
1958201569
1959201669
1960201769
1961201869
1962201969
1963202069
1964202169
1965202269
1966202369
1967202469
1968202569
1969202669
1970202769
1971202869
1972202969
1973203069
1974203169
1975203269
1976203369
1977203469
1978203569
1979203669
1980203769
1981203869
1982203969
1983204069
1984204169
1985204269
1986204369
1987204469
1988204569
1989204669
1990204769
1991204869
1992204969
1993205069
1994205169
1995205269
1996205369
1997205469
1998205569
1999205669
2000205769
2001205869
2002205969
2003206069
2004206169
2005206269
2006206369
2007206469
2008206569
2009206669
2010206769
2011206869
2012206969
2013207069
2014207169
2015207269
2016207369
2017207469
2018207569
2019207669
2020207769
2021207869
2022207969
2023208069
2024208169
2025208269
2026208369
2027208469
2028208569
2029208669
2030208769
2031208869
2032208969
2033209069
2034209169
2035209269
2036209369
2037209469
2038209569
2039209669
2040209769
2041209869
2042209969
2043210069
2044210169
2045210269
2046210369
2047210469
2048210569
2049210669
2050210769
2051210869
2052210969
2053211069
2054211169
2055211269
2056211369
2057211469
2058211569
2059211669
2060211769
2061211869
2062211969
2063212069
2064212169
2065212269
2066212369
2067212469
2068212569
2069212669
2070212769
2071212869
2072212969
2073213069
2074213169
2075213269
2076213369
2077213469
2078213569
2079213669
2080213769
2081213869
2082213969
2083214069
2084214169
2085214269
2086214369
2087214469
2088214569
2089214669
2090214769
2091214869
2092214969
2093215069
2094215169
2095215269
2096215369
2097215469
2098215569
2099215669
2100215769
2101215869
2102215969
2103216069
2104216169
2105216269
2106216369
2107216469
2108216569
2109216669
2110216769
2111216869
2112216969
2113217069
2114217169
2115217269
2116217369
2117217469
2118217569
2119217669
2120217769
2121217869
2122217969
2123218069
2124218169
2125218269
2126218369
2127218469
2128218569
2129218669
2130218769
2131218869
2132218969
2133219069
2134219169
2135219269
2136219369
2137219469
2138219569
2139219669
2140219769
2141219869
2142219969
2143220069
2144220169
2145220269
2146220369
2147220469
2148220569
2149220669
2150220769
2151220869
2152220969
2153221069
2154221169
2155221269
2156221369
2157221469
2158221569
2159221669
2160221769
2161221869
2162221969
2163222069
2164222169
2165222269
2166222369
2167222469
2168222569
2169222669
2170222769
2171222869
2172222969
2173223069
2174223169
2175223269
2176223369
2177223469
2178223569
2179223669
2180223769
2181223869
2182223969
2183224069
2184224169
2185224269
2186224369
2187224469
2188224569
2189224669
2190224769
2191224869
2192224969
2193225069
2194225169
2195225269
2196225369
2197225469
2198225569
2199225669
2200225769
2201225869
2202225969
2203226069
2204226169
2205226269
2206226369
2207226469
2208226569
2209226669
2210226769
2211226869
2212226969
2213227069
2214227169
2215227269
2216227369
2217227469
2218227569
2219227669
2220227769
2221227869
2222227969
2223228069
2224228169
2225228269
2226228369
2227228469
2228228569
2229228669
2230228769
2231228869
2232228969
2233229069
2234229169
2235229269
2236229369
2237229469
2238229569
2239229669
2240229769
2241229869
2242229969
2243230069
2244230169
2245230269
2246230369
2247230469
2248230569
2249230669
2250230769
2251230869
2252230969
2253231069
2254231169
2255231269
2256231369
2257231469
2258231569
2259231669
2260231769
2261231869
2262231969
2263232069
2264232169
2265232269
2266232369
2267232469
2268232569
2269232669
2270232769
2271232869
2272232969
2273233069
2274233169
2275233269
2276233369
2277233469
2278233569
2279233669
2280233769
2281233869
2282233969
2283234069
2284234169
2285234269
2286234369
2287234469
2288234569
2289234669
2290234769
2291234869
2292234969
2293235069
2294235169
2295235269
2296235369
2297235469
2298235569
2299235669
2300235769
2301235869
2302235969
2303236069
2304236169
2305236269
2306236369
2307236469
2308236569
2309236669
2310236769
2311236869
2312236969
2313237069
2314237169
2315237269
2316237369
2317237469
2318237569
2319237669
2320237769
2321237869
2322237969
2323238069
2324238169
2325238269
2326238369
2327238469
2328238569
2329238669
2330238769
2331238869
2332238969
2333239069
2334239169
2335239269
2336239369
2337239469
2338239569
2339239669
2340239769
2341239869
2342239969
2343240069
2344240169
2345240269
2346240369
2347240469
2348240569
2349240669
2350240769
2351240869
2352240969
2353241069
2354241169
2355241269
2356241369
2357241469
2358241569
2359241669
2360241769
2361241869
2362241969
2363242069
2364242169
2365242269
2366242369
2367242469
2368242569
2369242669
2370242769
2371242869
2372242969
2373243069
2374243169
2375243269
2376243369
2377243469
2378243569
2379243669
2380243769
2381243869
2382243969
2383244069
2384244169
2385244269
2386244369
2387244469
2388244569
2389244669
2390244769
2391244869
2392244969
2393245069
2394245169
2395245269
2396245369
2397245469
2398245569
2399245669
2400245769
2401245869
2402245969
2403246069
2404246169
2405246269
2406246369
2407246469
2408246569
2409246669
2410246769
2411246869
2412246969
2413247069
2414247169
2415247269
2416247369
2417247469
2418247569
2419247669
2420247769
2421247869
2422247969
2423248069
2424248169
2425248269
2426248369
2427248469
2428248569
2429248669
2430248769
2431248869
2432248969
2433249069
2434249169
2435249269
2436249369
2437249469
2438249569
2439249669
2440249769
2441249869
2442249969
2443250069
2444250169
2445250269
2446250369
2447250469
2448250569
2449250669
2450250769
2451250869
2452250969
2453251069
2454251169
2455251269
2456251369
2457251469
2458251569
2459251669
2460251769
2461251869
2462251969
2463252069
2464252169
2465252269
2466252369
2467252469
2468252569
2469252669
2470252769
2471252869
2472252969
2473253069
2474253169
2475253269
2476253369
2477253469
2478253569
2479253669
2480253769
2481253869
2482253969
2483254069
2484254169
2485254269
2486254369
2487254469
2488254569
2489254669
2490254769
2491254869
2492254969
2493255069
2494255169
2495255269
2496255369
2497255469
2498255569
2499255669
2500255769
2501255869
2502255969
2503256069
2504256169
2505256269
2506256369
2507256469
2508256569
2509256669
2510256769
2511256869
2512256969
2513257069
2514257169
2515257269
2516257369
2517257469
2518257569
2519257669
2520257769
2521257869
2522257969
2523258069
2524258169
2525258269
2526258369
2527258469
2528258569
2529258669
2530258769
2531258869
2532258969
2533259069
2534259169
2535259269
2536259369
2537259469
2538259569
2539259669
2540259769
2541259869
2542259969
2543260069
2544260169
2545260269
2546260369
2547260469
2548260569
2549260669
2550260769
2551260869
2552260969
2553261069
2554261169
2555261269
2556261369
2557261469
2558261569
2559261669
2560261769
2561261869
2562261969
2563262069
2564262169
2565262269
2566262369
2567262469
2568262569
2569262669
2570262769
2571262869
2572262969
2573263069
2574263169
2575263269
2576263369
2577263469
2578263569
2579263669
2580263769
2581263869
2582263969
2583264069
2584264169
2585264269
2586264369
2587264469
2588264569
2589264669
2590264769
2591264869
2592264969
2593265069
2594265169
2595265269
2596265369
2597265469
2598265569
2599265669
2600265769
2601265869
2602265969
2603266069
2604266169
2605266269
2606266369
2607266469
2608266569
2609266669
2610266769
2611266869
2612266969
2613267069
2614267169
2615267269
2616267369
2617267469
2618267569
2619267669
2620267769
2621267869
2622267969
2623268069
2624268169
2625268269
2626268369
2627268469
2628268569
2629268669
2630268769
2631268869
2632268969
2633269069
2634269169
2635269269
2636269369
2637269469
2638269569
2639269669
2640269769
2641269869
2642269969
2643270069
2644270169
2645270269
2646270369
2647270469
2648270569
2649270669
2650270769
2651270869
2652270969
2653271069
2654271169
2655271269
2656271369
2657271469
2658271569
2659271669
2660271769
2661271869
2662271969
2663272069
2664272169
2665272269
2666272369
2667272469
2668272569
2669272669
2670272769
2671272869
2672272969
2673273069
2674273169
2675273269
2676273369
2677273469
2678273569
2679273669
2680273769
2681273869
2682273969
2683274069
2684274169
2685274269
2686274369
2687274469
2688274569
2689274669
2690274769
2691274869
2692274969
2693275069
2694275169
2695275269
2696275369
2697275469
2698275569
2699275669
2700275769
2701275869
2702275969
2703276069
2704276169
2705276269
2706276369
2707276469
2708276569
2709276669
2710276769
2711276869
2712276969
2713277069
2714277169
2715277269
2716277369
2717277469
2718277569
2719277669
2720277769
2721277869
2722277969
2723278069
2724278169
2725278269
2726278369
2727278469
2728278569
2729278669
2730278769
2731278869
2732278969
2733279069
2734279169
2735279269
2736279369
2737279469
2738279569
2739279669
2740279769
2741279869
2742279969
2743280069
2744280169
2745280269
2746280369
2747280469
2748280569
2749280669
2750280769
2751280869
2752280969
2753281069
2754281169
2755281269
2756281369
2757281469
2758281569
2759281669
2760281769
2761281869
2762281969
2763282069
2764282169
2765282269
2766282369
2767282469
2768282569
2769282669
2770282769
2771282869
2772282969
2773283069
2774283169
2775283269
2776283369
2777283469
2778283569
2779283669
2780283769
2781283869
2782283969
2783284069
2784284169
2785284269
2786284369
2787284469
2788284569
2789284669
2790284769
2791284869
2792284969
2793285069
2794285169
2795285269
2796285369
2797285469
2798285569
2799285669
2800285769
2801285869
2802285969
2803286069
2804286169
2805286269
2806286369
2807286469
2808286569
2809286669
2810286769
2811286869
2812286969
2813287069
2814287169
2815287269
2816287369
2817287469
2818287569
2819287669
2820287769
2821287869
2822287969
2823288069
2824288169
2825288269
2826288369
2827288469
2828288569
2829288669
2830288769
2831288869
2832288969
2833289069
2834289169
2835289269
2836289369
2837289469
2838289569
2839289669
2840289769
2841289869
2842289969
2843290069
2844290169
2845290269
2846290369
2847290469
2848290569
2849290669
2850290769
2851290869
2852290969
2853291069
2854291169
2855291269
2856291369
2857291469
2858291569
2859291669
2860291769
2861291869
2862291969
2863292069
2864292169
2865292269
2866292369
2867292469
2868292569
2869292669
2870292769
2871292869
2872292969
2873293069
2874293169
2875293269
2876293369
2877293469
2878293569
2879293669
2880293769
2881293869
2882293969
2883294069
2884294169
2885294269
2886294369
2887294469
2888294569
2889294669
2890294769
2891294869
2892294969
2893295069
2894295169
2895295269
2896295369
2897295469
2898295569
2899295669
2900295769
2901295869
2902295969
2903296069
2904296169
2905296269
2906296369
2907296469
2908296569
2909296669
2910296769
2911296869
2912296969
2913297069
2914297169
2915297269
2916297369
2917297469
2918297569
2919297669
2920297769
2921297869
2922297969
2923298069
2924298169
2925298269
2926298369
2927298469
2928298569
2929298669
2930298769
2931298869
2932298969
2933299069
2934299169
2935299269
2936299369
2937299469
2938299569
2939299669
2940299769
2941299869
2942299969
2943300069
2944300169
2945300269
2946300369
2947300469
2948300569
2949300669
2950300769
2951300869
2952300969
2953301069
2954301169
2955301269
2956301369
2957301469
2958301569
2959301669
2960301769
2961301869
2962301969
2963302069
2964302169
2965302269
2966302369
2967302469
2968302569
2969302669
2970302769
2971302869
2972302969
2973303069
2974303169
2975303269
2976303369
2977303469
2978303569
2979303669
2980303769
2981303869
2982303969
2983304069
2984304169
2985304269
2986304369
2987304469
2988304569
2989304669
2990304769
2991304869
2992304969
2993305069
2994305169
2995305269
2996305369
2997305469
2998305569
2999305669
3000305769
3001305869
3002305969
3003306069
3004306169
3005306269
3006306369
3007306469
3008306569
3009306669
3010306769
3011306869
3012306969
3013307069
3014307169
3015307269
3016307369
3017307469
3018307569
3019307669
3020307769
3021307869
3022307969
3023308069
3024308169
3025308269
3026308369
3027308469
3028308569
3029308669
3030308769
3031308869
3032308969
3033309069
3034309169
3035309269
3036309369
3037309469
3038309569
3039309669
3040309769
3041309869
3042309969
3043310069
3044310169
3045310269
3046310369
3047310469
3048310569
3049310669
3050310769
3051310869
3052310969
3053311069
3054311169
3055311269
3056311369
3057311469
3058311569
3059311669
3060311769
3061311869
3062311969
3063312069
3064312169
3065312269
3066312369
3067312469
3068312569
3069312669
3070312769
3071312869
3072312969
3073313069
3074313169
3075313269
3076313369
3077313469
3078313569
3079313669
3080313769
3081313869
3082313969
3083314069
3084314169
3085314269
3086314369
3087314469
3088314569
3089314669
3090314769
3091314869
3092314969
3093315069
3094315169
3095315269
3096315369
3097315469
3098315569
3099315669
3100315769
3101315869
3102315969
3103316069
3104316169
3105316269
3106316369
3107316469
3108316569
3109316669
3110316769
3111316869
3112316969
3113317069
3114317169
3115317269
3116317369
3117317469
3118317569
3119317669
3120317769
3121317869
3122317969
3123318069
3124318169
3125318269
3126318369
3127318469
3128318569
3129318669
3130318769
3131318869
3132318969
3133319069
3134319169
3135319269
3136319369
3137319469
3138319569
3139319669
3140319769
3141319869
3142319969
3143320069
3144320169
3145320269
3146320369
3147320469
3148320569
3149320669
3150320769
3151320869
3152320969
3153321069
3154321169
3155321269
3156321369
3157321469
3158321569
3159321669
3160321769
3161321869
3162321969
3163322069
3164322169
3165322269
3166322369
3167322469
3168322569
3169322669
3170322769
3171322869
3172322969
3173323069
3174323169
3175323269
3176323369
3177323469
3178323569
3179323669
3180323769
3181323869
3182323969
3183324069
3184324169
3185324269
3186324369
3187324469
3188324569
3189324669
3190324769
3191324869
3192324969
3193325069
3194325169
3195325269
3196325369
3197325469
3198325569
3199325669
3200325769
3201325869
3202325969
3203326069
3204326169
3205326269
3206326369
3207326469
3208326569
3209326669
3210326769
3211326869
3212326969
3213327069
3214327169
3215327269
3216327369
3217327469
3218327569
3219327669
3220327769
3221327869
3222327969
3223328069
3224328169
3225328269
3226328369
3227328469
3228328569
3229328669
3230328769
3231328869
3232328969
3233329069
3234329169
3235329269
3236329369
3237329469
3238329569
3239329669
3240329769
3241329869
3242329969
3243330069
3244330169
3245330269
3246330369
3247330469
3248330569
3249330669
3250330769
3251330869
3252330969
3253331069
3254331169
3255331269
3256331369
3257331469
3258331569
3259331669
3260331769
3261331869
3262331969
3263332069
3264332169
3265332269
3266332369
3267332469
3268332569
3269332669
3270332769
3271332869
3272332969
3273333069
3274333169
3275333269
3276333369
3277333469
3278333569
3279333669
3280333769
3281333869
3282333969
3283334069
3284334169
3285334269
3286334369
3287334469
3288334569
3289334669
3290334769
3291334869
3292334969
3293335069
3294335169
3295335269
3296335369
3297335469
3298335569
3299335669
3300335769
3301335869
3302335969
3303336069
3304336169
3305336269
3306336369
3307336469
3308336569
3309336669
3310336769
3311336869
3312336969
3313337069
3314337169
3315337269
3316337369
3317337469
3318337569
3319337669
3320337769
3321337869
3322337969
3323338069
3324338169
3325338269
3326338369
3327338469
3328338569
3329338669
3330338769
3331338869
3332338969
3333339069
3334339169
3335339269
3336339369
3337339469
3338339569
3339339669
3340339769
3341339869
3342339969
3343340069
3344340169
3345340269
3346340369
3347340469
3348340569
3349340669
3350340769
3351340869
3352340969
3353341069
3354341169
3355341269
3356341369
3357341469
3358341569
3359341669
3360341769
3361341869
3362341969
3363342069
3364342169
3365342269
3366342369
3367342469
3368342569
3369342669
3370342769
3371342869
3372342969
3373343069
3374343169
3375343269
3376343369
3377343469
3378343569
3379343669
3380343769
3381343869
3382343969
3383344069
3384344169
3385344269
3386344369
3387344469
3388344569
3389344669
3390344769
3391344869
3392344969
3393345069
3394345169
3395345269
3396345369
3397345469
3398345569
3399345669
3400345769
3401345869
3402345969
3403346069
3404346169
3405346269
3406346369
3407346469
3408346569
3409346669
3410346769
3411346869
3412346969
3413347069
3414347169
3415347269
3416347369
3417347469
3418347569
3419347669
3420347769
3421347869
3422347969
3423348069
3424348169
3425348269
3426348369
3427348469
3428348569
3429348669
3430348769
3431348869
3432348969
3433349069
3434349169
3435349269
3436349369
3437349469
3438349569
3439349669
3440349769
3441349869
3442349969
3443350069
3444350169
3445350269
3446350369
3447350469
3448350569
3449350669
3450350769
3451350869
3452350969
3453351069
3454351169
3455351269
3456351369
3457351469
3458351569
3459351669
3460351769
3461351869
3462351969
3463352069
3464352169
3465352269
3466352369
3467352469
3468352569
3469352669
3470352769
3471352869
3472352969
3473353069
3474353169
3475353269
3476353369
3477353469
3478353569
3479353669
3480353769
3481353869
3482353969
3483354069
3484354169
3485354269
3486354369
3487354469
3488354569
3489354669
3490354769
3491354869
3492354969
3493355069
3494355169
3495355269
3496355369
3497355469
3498355569
3499355669
3500355769
3501355869
3502355969
3503356069
3504356169
3505356269
3506356369
3507356469
3508356569
3509356669
3510356769
3511356869
3512356969
3513357069
3514357169
3515357269
3516357369
3517357469
3518357569
3519357669
3520357769
3521357869
3522357969
3523358069
3524358169
3525358269
3526358369
3527358469
3528358569
3529358669
3530358769
3531358869
3532358969
3533359069
3534359169
3535359269
3536359369
3537359469
3538359569
3539359669
3540359769
3541359869
3542359969
3543360069
3544360169
3545360269
3546360369
3547360469
3548360569
3549360669
3550360769
3551360869
3552360969
3553361069
3554361169
3555361269
3556361369
3557361469
3558361569
3559361669
3560361769
3561361869
3562361969
3563362069
3564362169
3565362269
3566362369
3567362469
3568362569
3569362669
3570362769
3571362869
3572362969
3573363069
3574363169
3575363269
3576363369
3577363469
3578363569
3579363669
3580363769
3581363869
3582363969
3583364069
3584364169
3585364269
3586364369
3587364469
3588364569
3589364669
3590364769
3591364869
3592364969
3593365069
3594365169
3595365269
3596365369
3597365469
3598365569
3599365669
3600365769
3601365869
3602365969
3603366069
3604366169
3605366269
3606366369
3607366469
3608366569
3609366669
3610366769
3611366869
3612366969
3613367069
3614367169
3615367269
3616367369
3617367469
3618367569
3619367669
3620367769
3621367869
3622367969
3623368069
3624368169
3625368269
3626368369
3627368469
3628368569
3629368669
3630368769
3631368869
3632368969
3633369069
3634369169
3635369269
3636369369
3637369469
3638369569
3639369669
3640369769
3641369869
3642369969
3643370069
3644370169
3645370269
3646370369
3647370469
3648370569
3649370669
3650370769
3651370869
3652370969
3653371069
3654371169
3655371269
3656371369
3657371469
3658371569
3659371669
3660371769
3661371869
3662371969
3663372069
3664372169
3665372269
3666372369
3667372469
3668372569
3669372669
3670372769
3671372869
3672372969
3673373069
3674373169
3675373269
3676373369
3677373469
3678373569
3679373669
3680373769
3681373869
3682373969
3683374069
3684374169
3685374269
3686374369
3687374469
3688374569
3689374669
3690374769
3691374869
3692374969
3693375069
3694375169
3695375269
3696375369
3697375469
3698375569
3699375669
3700375769
3701375869
3702375969
3703376069
3704376169
3705376269
3706376369
3707376469
3708376569
3709376669
3710376769
3711376869
3712376969
3713377069
3714377169
3715377269
3716377369
3717377469
3718377569
3719377669
3720377769
3721377869
3722377969
3723378069
3724378169
3725378269
3726378369
3727378469
3728378569
3729378669
3730378769
3731378869
3732378969
3733379069
3734379169
3735379269
3736379369
3737379469
3738379569
3739379669
3740379769
3741379869
3742379969
3743380069
3744380169
3745380269
3746380369
3747380469
3748380569
3749380669
3750380769
3751380869
3752380969
3753381069
3754381169
3755381269
3756381369
3757381469
3758381569
3759381669
3760381769
3761381869
3762381969
3763382069
3764382169
3765382269
3766382369
3767382469
3768382569
3769382669
3770382769
3771382869
3772382969
3773383069
3774383169
3775383269
3776383369
3777383469
3778383569
3779383669
3780383769
3781383869
3782383969
3783384069
3784384169
3785384269
3786384369
3787384469
3788384569
3789384669
3790384769
3791384869
3792384969
3793385069
3794385169
3795385269
3796385369
3797385469
3798385569
3799385669
3800385769
3801385869
3802385969
3803386069
3804386169
3805386269
3806386369
3807386469
3808386569
3809386669
3810386769
3811386869
3812386969
3813387069
3814387169
3815387269
3816387369
3817387469
3818387569
3819387669
3820387769
3821387869
3822387969
3823388069
3824388169
3825388269
3826388369
3827388469
3828388569
3829388669
3830388769
3831388869
3832388969
3833389069
3834389169
3835389269
3836389369
3837389469
3838389569
3839389669
3840389769
3841389869
3842389969
3843390069
3844390169
3845390269
3846390369
3847390469
3848390569
3849390669
3850390769
3851390869
3852390969
3853391069
3854391169
3855391269
3856391369
3857391469
3858391569
3859391669
3860391769
3861391869
3862391969
3863392069
3864392169
3865392269
3866392369
3867392469
3868392569
3869392669
3870392769
3871392869
3872392969
3873393069
3874393169
3875393269
3876393369
3877393469
3878393569
3879393669
3880393769
3881393869
3882393969
3883394069
3884394169
3885394269
3886394369
3887394469
3888394569
3889394669
3890394769
3891394869
3892394969
3893395069
3894395169
3895395269
3896395369
3897395469
3898395569
3899395669
3900395769
3901395869
3902395969
3903396069
3904396169
3905396269
3906396369
3907396469
3908396569
3909396669
3910396769
3911396869
3912396969
3913397069
3914397169
3915397269
3916397369
3917397469
3918397569
3919397669
3920397769
3921397869
3922397969
3923398069
3924398169
3925398269
3926398369
3927398469
3928398569
3929398669
3930398769
3931398869
3932398969
3933399069
3934399169
3935399269
3936399369
3937399469
3938399569
3939399669
3940399769
3941399869
3942399969
3943400069
3944400169
3945400269
3946400369
3947400469
3948400569
3949400669
3950400769
3951400869
3952400969
3953401069
3954401169
3955401269
3956401369
3957401469
3958401569
3959401669
3960401769
3961401869
3962401969
3963402069
3964402169
3965402269
3966402369
3967402469
3968402569
3969402669
3970402769
3971402869
3972402969
3973403069
3974403169
3975403269
3976403369
3977403469
3978403569
3979403669
3980403769
3981403869
3982403969
3983404069
3984404169
3985404269
3986404369
3987404469
3988404569
3989404669
3990404769
3991404869
3992404969
3993405069
3994405169
3995405269
3996405369
3997405469
3998405569
3999405669
4000405769
4001405869
4002405969
4003406069
4004406169
4005406269
4006406369
4007406469
4008406569
4009406669
4010406769
4011406869
4012406969
4013407069
4014407169
4015407269
4016407369
4017407469
4018407569
4019407669
4020407769
4021407869
4022407969
4023408069
4024408169
4025408269
4026408369
4027408469
4028408569
4029408669
4030408769
4031408869
4032408969
4033409069
4034409169
4035409269
4036409369
4037409469
4038409569
4039409669
4040409769
4041409869
4042409969
4043410069
4044410169
4045410269
4046410369
4047410469
4048410569
4049410669
4050410769
4051410869
4052410969
4053411069
4054411169
4055411269
4056411369
4057411469
4058411569
4059411669
4060411769
4061411869
4062411969
4063412069
4064412169
4065412269
4066412369
4067412469
4068412569
4069412669
4070412769
4071412869
4072412969
4073413069
4074413169
4075413269
4076413369
4077413469
4078413569
4079413669
4080413769
4081413869
4082413969
4083414069
4084414169
4085414269
4086414369
4087414469
4088414569
4089414669
4090414769
4091414869
4092414969
4093415069
4094415169
4095415269
4096415369
4097415469
4098415569
4099415669
4100415769
4101415869
4102415969
4103416069
4104416169
4105416269
4106416369
4107416469
4108416569
4109416669
4110416769
4111416869
4112416969
4113417069
4114417169
4115417269
4116417369
4117417469
4118417569
4119417669
4120417769
4121417869
4122417969
4123418069
4124418169
4125418269
4126418369
4127418469
4128418569
4129418669
4130418769
4131418869
4132418969
4133419069
4134419169
4135419269
4136419369
4137419469
4138419569
4139419669
4140419769
4141419869
4142419969
4143420069
4144420169
4145420269
4146420369
4147420469
4148420569
4149420669
4150420769
4151420869
4152420969
4153421069
4154421169
4155421269
4156421369
4157421469
4158421569
4159421669
4160421769
4161421869
4162421969
4163422069
4164422169
4165422269
4166422369
4167422469
4168422569
4169422669
4170422769
4171422869
4172422969
4173423069
4174423169
4175423269
4176423369
4177423469
4178423569
4179423669
4180423769
4181423869
4182423969
4183424069
4184424169
4185424269
4186424369
4187424469
4188424569
4189424669
4190424769
4191424869
4192424969
4193425069
4194425169
4195425269
4196425369
4197425469
4198425569
4199425669
4200425769
4201425869
4202425969
4203426069
4204426169
4205426269
4206426369
4207426469
4208426569
4209426669
4210426769
4211426869
4212426969
4213427069
4214427169
4215427269
4216427369
4217427469
4218427569
4219427669
4220427769
4221427869
4222427969
4223428069
4224428169
4225428269
4226428369
4227428469
4228428569
4229428669
4230428769
4231428869
4232428969
4233429069
4234429169
4235429269
4236429369
4237429469
4238429569
4239429669
4240429769
4241429869
4242429969
4243430069
4244430169
4245430269
4246430369
4247430469
4248430569
4249430669
4250430769
4251430869
4252430969
4253431069
4254431169
4255431269
4256431369
4257431469
4258431569
4259431669
4260431769
4261431869
4262431969
4263432069
4264432169
4265432269
4266432369
4267432469
4268432569
4269432669
4270432769
4271432869
4272432969
4273433069
4274433169
4275433269
4276433369
4277433469
4278433569
4279433669
4280433769
4281433869
4282433969
4283434069
4284434169
4285434269
4286434369
4287434469
4288434569
4289434669
4290434769
4291434869
4292434969
4293435069
4294435169
4295435269
4296435369
4297435469
4298435569
4299435669
4300435769
4301435869
4302435969
4303436069
4304436169
4305436269
4306436369
4307436469
4308436569
4309436669
4310436769
4311436869
4312436969
4313437069
4314437169
4315437269
4316437369
4317437469
4318437569
4319437669
4320437769
4321437869
4322437969
4323438069
4324438169
4325438269
4326438369
4327438469
4328438569
4329438669
4330438769
4331438869
4332438969
4333439069
4334439169
4335439269
4336439369
4337439469
4338439569
4339439669
4340439769
4341439869
4342439969
4343440069
4344440169
4345440269
4346440369
4347440469
4348440569
4349440669
4350440769
4351440869
4352440969
4353441069
4354441169
4355441269
4356441369
4357441469
4358441569
4359441669
4360441769
4361441869
4362441969
4363442069
4364442169
4365442269
4366442369
4367442469
4368442569
4369442669
4370442769
4371442869
4372442969
4373443069
4374443169
4375443269
4376443369
4377443469
4378443569
4379443669
4380443769
4381443869
4382443969
4383444069
4384444169
4385444269
4386444369
4387444469
4388444569
4389444669
4390444769
4391444869
4392444969
4393445069
4394445169
4395445269
4396445369
4397445469
4398445569
4399445669
4400445769
4401445869
4402445969
4403446069
4404446169
4405446269
4406446369
4407446469
4408446569
4409446669
4410446769
4411446869
4412446969
4413447069
4414447169
4415447269
4416447369
4417447469
4418447569
4419447669
4420447769
4421447869
4422447969
4423448069
4424448169
4425448269
4426448369
4427448469
4428448569
4429448669
4430448769
4431448869
4432448969
4433449069
4434449169
4435449269
4436449369
4437449469
4438449569
4439449669
4440449769
4441449869
4442449969
4443450069
4444450169
4445450269
4446450369
4447450469
4448450569
4449450669
4450450769
4451450869
4452450969
4453451069
4454451169
4455451269
4456451369
4457451469
4458451569
4459451669
4460451769
4461451869
4462451969
4463452069
4464452169
4465452269
4466452369
4467452469
4468452569
4469452669
4470452769
4471452869
4472452969
4473453069
4474453169
4475453269
4476453369
4477453469
4478453569
4479453669
4480453769
4481453869
4482453969
4483454069
4484454169
4485454269
4486454369
4487454469
4488454569
4489454669
4490454769
4491454869
4492454969
4493455069
4494455169
4495455269
4496455369
4497455469
4498455569
4499455669
4500455769
4501455869
4502455969
4503456069
4504456169
4505456269
4506456369
4507456469
4508456569
4509456669
4510456769
4511456869
4512456969
4513457069
4514457169
4515457269
4516457369
4517457469
4518457569
4519457669
4520457769
4521457869
4522457969
4523458069
4524458169
4525458269
4526458369
4527458469
4528458569
4529458669
4530458769
4531458869
4532458969
4533459069
4534459169
4535459269
4536459369
4537459469
4538459569
4539459669
4540459769
4541459869
4542459969
4543460069
4544460169
4545460269
4546460369
4547460469
4548460569
4549460669
4550460769
4551460869
4552460969
4553461069
4554461169
4555461269
4556461369
4557461469
4558461569
4559461669
4560461769
4561461869
4562461969
4563462069
4564462169
4565462269
4566462369
4567462469
4568462569
4569462669
4570462769
4571462869
4572462969
4573463069
4574463169
4575463269
4576463369
4577463469
4578463569
4579463669
4580463769
4581463869
4582463969
4583464069
4584464169
4585464269
4586464369
4587464469
4588464569
4589464669
4590464769
4591464869
4592464969
4593465069
4594465169
4595465269
4596465369
4597465469
4598465569
4599465669
4600465769
4601465869
4602465969
4603466069
4604466169
4605466269
4606466369
4607466469
4608466569
4609466669
4610466769
4611466869
4612466969
4613467069
4614467169
4615467269
4616467369
4617467469
4618467569
4619467669
4620467769
4621467869
4622467969
4623468069
4624468169
4625468269
4626468369
4627468469
4628468569
4629468669
4630468769
4631468869
4632468969
4633469069
4634469169
4635469269
4636469369
4637469469
4638469569
4639469669
4640469769
4641469869
4642469969
4643470069
4644470169
4645470269
4646470369
4647470469
4648470569
4649470669
4650470769
4651470869
4652470969
4653471069
4654471169
4655471269
4656471369
4657471469
4658471569
4659471669
4660471769
4661471869
4662471969
4663472069
4664472169
4665472269
4666472369
4667472469
4668472569
4669472669
4670472769
4671472869
4672472969
4673473069
4674473169
4675473269
4676473369
4677473469
4678473569
4679473669
4680473769
4681473869
4682473969
4683474069
4684474169
4685474269
4686474369
4687474469
4688474569
4689474669
4690474769
4691474869
4692474969
4693475069
4694475169
4695475269
4696475369
4697475469
4698475569
4699475669
4700475769
4701475869
4702475969
4703476069
4704476169
4705476269
4706476369
4707476469
4708476569
4709476669
4710476769
4711476869
4712476969
4713477069
4714477169
4715477269
4716477369
4717477469
4718477569
4719477669
4720477769
4721477869
4722477969
4723478069
4724478169
4725478269
4726478369
4727478469
4728478569
4729478669
4730478769
4731478869
4732478969
4733479069
4734479169
4735479269
4736479369
4737479469
4738479569
4739479669
4740479769
4741479869
4742479969
4743480069
4744480169
4745480269
4746480369
4747480469
4748480569
4749480669
4750480769
4751480869
4752480969
4753481069
4754481169
4755481269
4756481369
4757481469
4758481569
4759481669
4760481769
4761481869
4762481969
4763482069
4764482169
4765482269
4766482369
4767482469
4768482569
4769482669
4770482769
4771482869
4772482969
4773483069
4774483169
4775483269
4776483369
4777483469
4778483569
4779483669
4780483769
4781483869
4782483969
4783484069
4784484169
4785484269
4786484369
4787484469
4788484569
4789484669
4790484769
4791484869
4792484969
4793485069
4794485169
4795485269
4796485369
4797485469
4798485569
4799485669
4800485769
4801485869
4802485969
4803486069
4804486169
4805486269
4806486369
4807486469
4808486569
4809486669
4810486769
4811486869
4812486969
4813487069
4814487169
4815487269
4816487369
4817487469
4818487569
4819487669
4820487769
4821487869
4822487969
4823488069
4824488169
4825488269
4826488369
4827488469
4828488569
4829488669
4830488769
4831488869
4832488969
4833489069
4834489169
4835489269
4836489369
4837489469
4838489569
4839489669
4840489769
4841489869
4842489969
4843490069
4844490169
4845490269
4846490369
4847490469
4848490569
4849490669
4850490769
4851490869
4852490969
4853491069
4854491169
4855491269
4856491369
4857491469
4858491569
4859491669
4860491769
4861491869
4862491969
4863492069
4864492169
4865492269
4866492369
4867492469
4868492569
4869492669
4870492769
4871492869
4872492969
4873493069
4874493169
4875493269
4876493369
4877493469
4878493569
4879493669
4880493769
4881493869
4882493969
4883494069
4884494169
4885494269
4886494369
4887494469
4888494569
4889494669
4890494769
4891494869
4892494969
4893495069
4894495169
4895495269
4896495369
4897495469
4898495569
4899495669
4900495769
4901495869
4902495969
4903496069
4904496169
4905496269
4906496369
4907496469
4908496569
4909496669
4910496769
4911496869
4912496969
4913497069
4914497169
4915497269
4916497369
4917497469
4918497569
4919497669
4920497769
4921497869
4922497969
4923498069
4924498169
4925498269
4926498369
4927498469
4928498569
4929498669
4930498769
4931498869
4932498969
4933499069
4934499169
4935499269
4936499369
4937499469
4938499569
4939499669
4940499769
4941499869
4942499969
done500069

end0.0ms

sample2.0s

Algorithm
intervals
Results
665.0ms6415×body80valid
306.0ms492×body1280valid
272.0ms8000×pre80true
168.0ms549×body640valid
113.0ms350×body320valid
33.0ms194×body160valid