Details

sample168.0ms

Algorithm

intervals

Results

12.0ms	43×	body	2560	valid
10.0ms	164×	body	80	valid
8.0ms	32×	body	1280	valid
4.0ms	80×	body	80	nan
3.0ms	16×	body	640	valid
2.0ms	8×	body	5120	valid
1.0ms	7×	body	320	valid
0.0ms	6×	body	160	valid

simplify24.0ms

Counts

1 → 1

Iterations

Iter	Nodes
done	34
5	34
4	32
3	30
2	23
1	15
0	10

prune38.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 35.5b

localize29.0ms

Local error

Found 4 expressions with local error:

0.0b	(fma c (- a) (* b_2 b_2))
0.4b	(/ (- (sqrt (fma c (- a) (* b_2 b_2))) b_2) a)
1.5b	(- (sqrt (fma c (- a) (* b_2 b_2))) b_2)
21.2b	(sqrt (fma c (- a) (* b_2 b_2)))

rewrite66.0ms

Algorithm

rewrite-expression-head

Rules

51×	`add-sqr-sqrt`
40×	`*-un-lft-identity`
30×	`add-cube-cbrt`
20×	`sqrt-prod`
18×	`times-frac` `prod-diff`
10×	`difference-of-squares`
6×	`add-cbrt-cube` `fma-neg` `add-exp-log` `associate-/l*` `add-log-exp`
5×	`pow1` `distribute-lft-out--`
4×	`expm1-log1p-u` `log1p-expm1-u`
3×	`associate-/r*`
2×	`flip3--` `flip--` `associate-/l/`
1×	`cbrt-undiv` `rem-sqrt-square` `clear-num` `sub-neg` `frac-2neg` `sqrt-pow1` `pow1/2` `diff-log` `div-sub` `div-exp` `fma-udef` `div-inv`

Counts

4 → 110

Calls

4 calls:

1.0ms	(fma c (- a) (* b_2 b_2))
43.0ms	(/ (- (sqrt (fma c (- a) (* b_2 b_2))) b_2) a)
10.0ms	(- (sqrt (fma c (- a) (* b_2 b_2))) b_2)
4.0ms	(sqrt (fma c (- a) (* b_2 b_2)))

series450.0ms

Counts

4 → 12

Calls

4 calls:

67.0ms	(fma c (- a) (* b_2 b_2))
113.0ms	(/ (- (sqrt (fma c (- a) (* b_2 b_2))) b_2) a)
114.0ms	(- (sqrt (fma c (- a) (* b_2 b_2))) b_2)
155.0ms	(sqrt (fma c (- a) (* b_2 b_2)))

simplify720.0ms

Counts

122 → 122

Iterations

Iter	Nodes
done	5000
2	1037
1	326
0	149

prune688.0ms

Pruning

10 alts after pruning (10 fresh and 0 done)

Merged error: 18.7b

localize38.0ms

Local error

Found 4 expressions with local error:

0.4b	(+ b_2 (sqrt (fma (- c) a (* b_2 b_2))))
4.8b	(/ (/ (fma (- c) a 0) (+ b_2 (sqrt (fma (- c) a (* b_2 b_2))))) a)
6.9b	(/ (fma (- c) a 0) (+ b_2 (sqrt (fma (- c) a (* b_2 b_2)))))
21.2b	(sqrt (fma (- c) a (* b_2 b_2)))

rewrite79.0ms

Algorithm

rewrite-expression-head

Rules

114×	`times-frac`
100×	`*-un-lft-identity`
67×	`add-sqr-sqrt`
66×	`add-cube-cbrt`
21×	`associate-/l*`
17×	`distribute-lft-out`
11×	`add-cbrt-cube` `add-exp-log`
10×	`associate-/r/`
7×	`associate-/r*`
6×	`flip3-+` `flip-+` `div-inv` `add-log-exp`
5×	`pow1`
4×	`expm1-log1p-u` `cbrt-undiv` `div-exp` `log1p-expm1-u`
3×	`fma-def` `sqrt-prod`
2×	`clear-num` `frac-2neg`
1×	`+-commutative` `rem-sqrt-square` `sum-log` `sqrt-pow1` `pow1/2` `associate-/l/`

Counts

4 → 159

Calls

4 calls:

11.0ms	(+ b_2 (sqrt (fma (- c) a (* b_2 b_2))))
43.0ms	(/ (/ (fma (- c) a 0) (+ b_2 (sqrt (fma (- c) a (* b_2 b_2))))) a)
12.0ms	(/ (fma (- c) a 0) (+ b_2 (sqrt (fma (- c) a (* b_2 b_2)))))
2.0ms	(sqrt (fma (- c) a (* b_2 b_2)))

series812.0ms

Counts

4 → 12

Calls

4 calls:

101.0ms	(+ b_2 (sqrt (fma (- c) a (* b_2 b_2))))
288.0ms	(/ (/ (fma (- c) a 0) (+ b_2 (sqrt (fma (- c) a (* b_2 b_2))))) a)
300.0ms	(/ (fma (- c) a 0) (+ b_2 (sqrt (fma (- c) a (* b_2 b_2)))))
123.0ms	(sqrt (fma (- c) a (* b_2 b_2)))

simplify1.2s

Counts

171 → 171

Iterations

Iter	Nodes
done	5000
2	2435
1	593
0	251

prune1.4s

Pruning

10 alts after pruning (10 fresh and 0 done)

Merged error: 10.3b

localize84.0ms

Local error

Found 4 expressions with local error:

0.6b	(* (cbrt a) (cbrt a))
0.8b	(* (/ a (cbrt a)) (/ (- c) (+ b_2 (sqrt (fma a (- c) (* b_2 b_2))))))
3.2b	(* (/ 1 (* (cbrt a) (cbrt a))) (* (/ a (cbrt a)) (/ (- c) (+ b_2 (sqrt (fma a (- c) (* b_2 b_2)))))))
21.2b	(sqrt (fma a (- c) (* b_2 b_2)))

rewrite225.0ms

Algorithm

rewrite-expression-head

Rules

169×	`add-exp-log`
83×	`prod-exp`
79×	`add-sqr-sqrt`
71×	`*-un-lft-identity`
68×	`times-frac`
67×	`add-cbrt-cube`
53×	`associate-r`
52×	`div-exp`
51×	`add-cube-cbrt`
37×	`cbrt-unprod`
35×	`associate-l`
27×	`cbrt-prod`
26×	`cbrt-undiv`
19×	`pow1`
12×	`distribute-lft-neg-in` `distribute-rgt-neg-in`
10×	`rec-exp` `1-exp` `distribute-lft-out` `unswap-sqr`
6×	`frac-times` `pow1/3` `swap-sqr` `pow-prod-down` `associate-*r/`
4×	`expm1-log1p-u` `neg-mul-1` `associate-*l/` `log1p-expm1-u` `add-log-exp`
3×	`*-commutative` `distribute-rgt-neg-out` `sqrt-prod` `div-inv`
2×	`distribute-frac-neg` `associate-/r/` `pow-sqr` `pow-prod-up`
1×	`pow2` `rem-sqrt-square` `sqrt-pow1` `flip3-+` `pow-plus` `pow1/2` `flip-+`

Counts

4 → 232

Calls

4 calls:

10.0ms	(* (cbrt a) (cbrt a))
79.0ms	(* (/ a (cbrt a)) (/ (- c) (+ b_2 (sqrt (fma a (- c) (* b_2 b_2))))))
122.0ms	(* (/ 1 (* (cbrt a) (cbrt a))) (* (/ a (cbrt a)) (/ (- c) (+ b_2 (sqrt (fma a (- c) (* b_2 b_2)))))))
3.0ms	(sqrt (fma a (- c) (* b_2 b_2)))

series1.7s

Counts

4 → 12

Calls

4 calls:

382.0ms	(* (cbrt a) (cbrt a))
915.0ms	(* (/ a (cbrt a)) (/ (- c) (+ b_2 (sqrt (fma a (- c) (* b_2 b_2))))))
281.0ms	(* (/ 1 (* (cbrt a) (cbrt a))) (* (/ a (cbrt a)) (/ (- c) (+ b_2 (sqrt (fma a (- c) (* b_2 b_2)))))))
113.0ms	(sqrt (fma a (- c) (* b_2 b_2)))

simplify1.1s

Counts

244 → 244

Iterations

Iter	Nodes
done	5001
1	1261
0	372

prune1.5s

Pruning

14 alts after pruning (14 fresh and 0 done)

Merged error: 8.0b

localize103.0ms

Local error

Found 4 expressions with local error:

0.6b	(* (cbrt a) (cbrt a))
0.8b	(* (/ (* (cbrt a) (cbrt a)) (cbrt 1)) (/ (- c) (+ b_2 (sqrt (fma a (- c) (* b_2 b_2))))))
3.2b	(* (/ 1 (* (cbrt a) (cbrt a))) (* (/ (* (cbrt a) (cbrt a)) (cbrt 1)) (/ (- c) (+ b_2 (sqrt (fma a (- c) (* b_2 b_2)))))))
21.2b	(sqrt (fma a (- c) (* b_2 b_2)))

rewrite285.0ms

Algorithm

rewrite-expression-head

Rules

265×	`add-exp-log`
135×	`prod-exp`
87×	`add-cbrt-cube`
84×	`div-exp`
68×	`add-sqr-sqrt`
63×	`*-un-lft-identity`
61×	`cbrt-unprod`
59×	`times-frac`
53×	`associate-r`
42×	`cbrt-undiv`
41×	`add-cube-cbrt`
23×	`cbrt-prod` `associate-l`
19×	`pow1`
14×	`rec-exp` `1-exp`
12×	`distribute-lft-neg-in` `distribute-rgt-neg-in` `unswap-sqr`
10×	`distribute-lft-out`
6×	`frac-times` `pow1/3` `swap-sqr` `pow-prod-down` `associate-*r/`
4×	`expm1-log1p-u` `neg-mul-1` `associate-*l/` `log1p-expm1-u` `add-log-exp`
3×	`*-commutative` `distribute-rgt-neg-out` `sqrt-prod` `div-inv`
2×	`distribute-frac-neg` `associate-/r/` `pow-sqr` `pow-prod-up`
1×	`pow2` `rem-sqrt-square` `sqrt-pow1` `flip3-+` `pow-plus` `pow1/2` `flip-+`

Counts

4 → 246

Calls

4 calls:

9.0ms	(* (cbrt a) (cbrt a))
87.0ms	(* (/ (* (cbrt a) (cbrt a)) (cbrt 1)) (/ (- c) (+ b_2 (sqrt (fma a (- c) (* b_2 b_2))))))
175.0ms	(* (/ 1 (* (cbrt a) (cbrt a))) (* (/ (* (cbrt a) (cbrt a)) (cbrt 1)) (/ (- c) (+ b_2 (sqrt (fma a (- c) (* b_2 b_2)))))))
3.0ms	(sqrt (fma a (- c) (* b_2 b_2)))

series1.3s

Counts

4 → 12

Calls

4 calls:

315.0ms	(* (cbrt a) (cbrt a))
629.0ms	(* (/ (* (cbrt a) (cbrt a)) (cbrt 1)) (/ (- c) (+ b_2 (sqrt (fma a (- c) (* b_2 b_2))))))
232.0ms	(* (/ 1 (* (cbrt a) (cbrt a))) (* (/ (* (cbrt a) (cbrt a)) (cbrt 1)) (/ (- c) (+ b_2 (sqrt (fma a (- c) (* b_2 b_2)))))))
105.0ms	(sqrt (fma a (- c) (* b_2 b_2)))

simplify906.0ms

Counts

258 → 258

Iterations

Iter	Nodes
done	5001
1	1352
0	383

prune1.3s

Pruning

9 alts after pruning (9 fresh and 0 done)

Merged error: 7.7b

regimes376.0ms

Accuracy

94.9% (1.0b remaining)

Error of 11.0b against oracle of 10.0b and baseline of 29.4b

bsearch237.0ms

Steps

Iters	Range	Point
8	3.4384402874141913e+143	1.3910478465926198e+147	7.8661335268063345e+146
7	-7.95235768314767e-252	-2.525944106611125e-253	-3.2242914317158446e-253
8	-9.995536270801172e+169	-1.9404060599202103e+167	-1.9611601935877518e+167

Iters

Range

Point

3.4384402874141913e+143

1.3910478465926198e+147

7.8661335268063345e+146

-7.95235768314767e-252

-2.525944106611125e-253

-3.2242914317158446e-253

-9.995536270801172e+169

-1.9404060599202103e+167

-1.9611601935877518e+167

simplify17.9s

Iterations

Iter	Nodes
done	5000
4905	4999
4904	4998
4903	4997
4902	4996
4901	4995
4900	4994
4899	4993
4898	4992
4897	4991
4896	4990
4895	4989
4894	4988
4893	4987
4892	4986
4891	4985
4890	4984
4889	4983
4888	4982
4887	4981
4886	4980
4885	4979
4884	4978
4883	4977
4882	4976
4881	4975
4880	4974
4879	4973
4878	4972
4877	4971
4876	4970
4875	4969
4874	4968
4873	4967
4872	4966
4871	4965
4870	4964
4869	4963
4868	4962
4867	4961
4866	4960
4865	4959
4864	4958
4863	4957
4862	4956
4861	4955
4860	4954
4859	4953
4858	4952
4857	4951
4856	4950
4855	4949
4854	4948
4853	4947
4852	4946
4851	4945
4850	4944
4849	4943
4848	4942
4847	4941
4846	4940
4845	4939
4844	4938
4843	4937
4842	4936
4841	4935
4840	4934
4839	4933
4838	4932
4837	4931
4836	4930
4835	4929
4834	4928
4833	4927
4832	4926
4831	4925
4830	4924
4829	4923
4828	4922
4827	4921
4826	4920
4825	4919
4824	4918
4823	4917
4822	4916
4821	4915
4820	4914
4819	4913
4818	4912
4817	4911
4816	4910
4815	4909
4814	4908
4813	4907
4812	4906
4811	4905
4810	4904
4809	4903
4808	4902
4807	4901
4806	4900
4805	4899
4804	4898
4803	4897
4802	4896
4801	4895
4800	4894
4799	4893
4798	4892
4797	4891
4796	4890
4795	4889
4794	4888
4793	4887
4792	4886
4791	4885
4790	4884
4789	4883
4788	4882
4787	4881
4786	4880
4785	4879
4784	4878
4783	4877
4782	4876
4781	4875
4780	4874
4779	4873
4778	4872
4777	4871
4776	4870
4775	4869
4774	4868
4773	4867
4772	4866
4771	4865
4770	4864
4769	4863
4768	4862
4767	4861
4766	4860
4765	4859
4764	4858
4763	4857
4762	4856
4761	4855
4760	4854
4759	4853
4758	4852
4757	4851
4756	4850
4755	4849
4754	4848
4753	4847
4752	4846
4751	4845
4750	4844
4749	4843
4748	4842
4747	4841
4746	4840
4745	4839
4744	4838
4743	4837
4742	4836
4741	4835
4740	4834
4739	4833
4738	4832
4737	4831
4736	4830
4735	4829
4734	4828
4733	4827
4732	4826
4731	4825
4730	4824
4729	4823
4728	4822
4727	4821
4726	4820
4725	4819
4724	4818
4723	4817
4722	4816
4721	4815
4720	4814
4719	4813
4718	4812
4717	4811
4716	4810
4715	4809
4714	4808
4713	4807
4712	4806
4711	4805
4710	4804
4709	4803
4708	4802
4707	4801
4706	4800
4705	4799
4704	4798
4703	4797
4702	4796
4701	4795
4700	4794
4699	4793
4698	4792
4697	4791
4696	4790
4695	4789
4694	4788
4693	4787
4692	4786
4691	4785
4690	4784
4689	4783
4688	4782
4687	4781
4686	4780
4685	4779
4684	4778
4683	4777
4682	4776
4681	4775
4680	4774
4679	4773
4678	4772
4677	4771
4676	4770
4675	4769
4674	4768
4673	4767
4672	4766
4671	4765
4670	4764
4669	4763
4668	4762
4667	4761
4666	4760
4665	4759
4664	4758
4663	4757
4662	4756
4661	4755
4660	4754
4659	4753
4658	4752
4657	4751
4656	4750
4655	4749
4654	4748
4653	4747
4652	4746
4651	4745
4650	4744
4649	4743
4648	4742
4647	4741
4646	4740
4645	4739
4644	4738
4643	4737
4642	4736
4641	4735
4640	4734
4639	4733
4638	4732
4637	4731
4636	4730
4635	4729
4634	4728
4633	4727
4632	4726
4631	4725
4630	4724
4629	4723
4628	4722
4627	4721
4626	4720
4625	4719
4624	4718
4623	4717
4622	4716
4621	4715
4620	4714
4619	4713
4618	4712
4617	4711
4616	4710
4615	4709
4614	4708
4613	4707
4612	4706
4611	4705
4610	4704
4609	4703
4608	4702
4607	4701
4606	4700
4605	4699
4604	4698
4603	4697
4602	4696
4601	4695
4600	4694
4599	4693
4598	4692
4597	4691
4596	4690
4595	4689
4594	4688
4593	4687
4592	4686
4591	4685
4590	4684
4589	4683
4588	4682
4587	4681
4586	4680
4585	4679
4584	4678
4583	4677
4582	4676
4581	4675
4580	4674
4579	4673
4578	4672
4577	4671
4576	4670
4575	4669
4574	4668
4573	4667
4572	4666
4571	4665
4570	4664
4569	4663
4568	4662
4567	4661
4566	4660
4565	4659
4564	4658
4563	4657
4562	4656
4561	4655
4560	4654
4559	4653
4558	4652
4557	4651
4556	4650
4555	4649
4554	4648
4553	4647
4552	4646
4551	4645
4550	4644
4549	4643
4548	4642
4547	4641
4546	4640
4545	4639
4544	4638
4543	4637
4542	4636
4541	4635
4540	4634
4539	4633
4538	4632
4537	4631
4536	4630
4535	4629
4534	4628
4533	4627
4532	4626
4531	4625
4530	4624
4529	4623
4528	4622
4527	4621
4526	4620
4525	4619
4524	4618
4523	4617
4522	4616
4521	4615
4520	4614
4519	4613
4518	4612
4517	4611
4516	4610
4515	4609
4514	4608
4513	4607
4512	4606
4511	4605
4510	4604
4509	4603
4508	4602
4507	4601
4506	4600
4505	4599
4504	4598
4503	4597
4502	4596
4501	4595
4500	4594
4499	4593
4498	4592
4497	4591
4496	4590
4495	4589
4494	4588
4493	4587
4492	4586
4491	4585
4490	4584
4489	4583
4488	4582
4487	4581
4486	4580
4485	4579
4484	4578
4483	4577
4482	4576
4481	4575
4480	4574
4479	4573
4478	4572
4477	4571
4476	4570
4475	4569
4474	4568
4473	4567
4472	4566
4471	4565
4470	4564
4469	4563
4468	4562
4467	4561
4466	4560
4465	4559
4464	4558
4463	4557
4462	4556
4461	4555
4460	4554
4459	4553
4458	4552
4457	4551
4456	4550
4455	4549
4454	4548
4453	4547
4452	4546
4451	4545
4450	4544
4449	4543
4448	4542
4447	4541
4446	4540
4445	4539
4444	4538
4443	4537
4442	4536
4441	4535
4440	4534
4439	4533
4438	4532
4437	4531
4436	4530
4435	4529
4434	4528
4433	4527
4432	4526
4431	4525
4430	4524
4429	4523
4428	4522
4427	4521
4426	4520
4425	4519
4424	4518
4423	4517
4422	4516
4421	4515
4420	4514
4419	4513
4418	4512
4417	4511
4416	4510
4415	4509
4414	4508
4413	4507
4412	4506
4411	4505
4410	4504
4409	4503
4408	4502
4407	4501
4406	4500
4405	4499
4404	4498
4403	4497
4402	4496
4401	4495
4400	4494
4399	4493
4398	4492
4397	4491
4396	4490
4395	4489
4394	4488
4393	4487
4392	4486
4391	4485
4390	4484
4389	4483
4388	4482
4387	4481
4386	4480
4385	4479
4384	4478
4383	4477
4382	4476
4381	4475
4380	4474
4379	4473
4378	4472
4377	4471
4376	4470
4375	4469
4374	4468
4373	4467
4372	4466
4371	4465
4370	4464
4369	4463
4368	4462
4367	4461
4366	4460
4365	4459
4364	4458
4363	4457
4362	4456
4361	4455
4360	4454
4359	4453
4358	4452
4357	4451
4356	4450
4355	4449
4354	4448
4353	4447
4352	4446
4351	4445
4350	4444
4349	4443
4348	4442
4347	4441
4346	4440
4345	4439
4344	4438
4343	4437
4342	4436
4341	4435
4340	4434
4339	4433
4338	4432
4337	4431
4336	4430
4335	4429
4334	4428
4333	4427
4332	4426
4331	4425
4330	4424
4329	4423
4328	4422
4327	4421
4326	4420
4325	4419
4324	4418
4323	4417
4322	4416
4321	4415
4320	4414
4319	4413
4318	4412
4317	4411
4316	4410
4315	4409
4314	4408
4313	4407
4312	4406
4311	4405
4310	4404
4309	4403
4308	4402
4307	4401
4306	4400
4305	4399
4304	4398
4303	4397
4302	4396
4301	4395
4300	4394
4299	4393
4298	4392
4297	4391
4296	4390
4295	4389
4294	4388
4293	4387
4292	4386
4291	4385
4290	4384
4289	4383
4288	4382
4287	4381
4286	4380
4285	4379
4284	4378
4283	4377
4282	4376
4281	4375
4280	4374
4279	4373
4278	4372
4277	4371
4276	4370
4275	4369
4274	4368
4273	4367
4272	4366
4271	4365
4270	4364
4269	4363
4268	4362
4267	4361
4266	4360
4265	4359
4264	4358
4263	4357
4262	4356
4261	4355
4260	4354
4259	4353
4258	4352
4257	4351
4256	4350
4255	4349
4254	4348
4253	4347
4252	4346
4251	4345
4250	4344
4249	4343
4248	4342
4247	4341
4246	4340
4245	4339
4244	4338
4243	4337
4242	4336
4241	4335
4240	4334
4239	4333
4238	4332
4237	4331
4236	4330
4235	4329
4234	4328
4233	4327
4232	4326
4231	4325
4230	4324
4229	4323
4228	4322
4227	4321
4226	4320
4225	4319
4224	4318
4223	4317
4222	4316
4221	4315
4220	4314
4219	4313
4218	4312
4217	4311
4216	4310
4215	4309
4214	4308
4213	4307
4212	4306
4211	4305
4210	4304
4209	4303
4208	4302
4207	4301
4206	4300
4205	4299
4204	4298
4203	4297
4202	4296
4201	4295
4200	4294
4199	4293
4198	4292
4197	4291
4196	4290
4195	4289
4194	4288
4193	4287
4192	4286
4191	4285
4190	4284
4189	4283
4188	4282
4187	4281
4186	4280
4185	4279
4184	4278
4183	4277
4182	4276
4181	4275
4180	4274
4179	4273
4178	4272
4177	4271
4176	4270
4175	4269
4174	4268
4173	4267
4172	4266
4171	4265
4170	4264
4169	4263
4168	4262
4167	4261
4166	4260
4165	4259
4164	4258
4163	4257
4162	4256
4161	4255
4160	4254
4159	4253
4158	4252
4157	4251
4156	4250
4155	4249
4154	4248
4153	4247
4152	4246
4151	4245
4150	4244
4149	4243
4148	4242
4147	4241
4146	4240
4145	4239
4144	4238
4143	4237
4142	4236
4141	4235
4140	4234
4139	4233
4138	4232
4137	4231
4136	4230
4135	4229
4134	4228
4133	4227
4132	4226
4131	4225
4130	4224
4129	4223
4128	4222
4127	4221
4126	4220
4125	4219
4124	4218
4123	4217
4122	4216
4121	4215
4120	4214
4119	4213
4118	4212
4117	4211
4116	4210
4115	4209
4114	4208
4113	4207
4112	4206
4111	4205
4110	4204
4109	4203
4108	4202
4107	4201
4106	4200
4105	4199
4104	4198
4103	4197
4102	4196
4101	4195
4100	4194
4099	4193
4098	4192
4097	4191
4096	4190
4095	4189
4094	4188
4093	4187
4092	4186
4091	4185
4090	4184
4089	4183
4088	4182
4087	4181
4086	4180
4085	4179
4084	4178
4083	4177
4082	4176
4081	4175
4080	4174
4079	4173
4078	4172
4077	4171
4076	4170
4075	4169
4074	4168
4073	4167
4072	4166
4071	4165
4070	4164
4069	4163
4068	4162
4067	4161
4066	4160
4065	4159
4064	4158
4063	4157
4062	4156
4061	4155
4060	4154
4059	4153
4058	4152
4057	4151
4056	4150
4055	4149
4054	4148
4053	4147
4052	4146
4051	4145
4050	4144
4049	4143
4048	4142
4047	4141
4046	4140
4045	4139
4044	4138
4043	4137
4042	4136
4041	4135
4040	4134
4039	4133
4038	4132
4037	4131
4036	4130
4035	4129
4034	4128
4033	4127
4032	4126
4031	4125
4030	4124
4029	4123
4028	4122
4027	4121
4026	4120
4025	4119
4024	4118
4023	4117
4022	4116
4021	4115
4020	4114
4019	4113
4018	4112
4017	4111
4016	4110
4015	4109
4014	4108
4013	4107
4012	4106
4011	4105
4010	4104
4009	4103
4008	4102
4007	4101
4006	4100
4005	4099
4004	4098
4003	4097
4002	4096
4001	4095
4000	4094
3999	4093
3998	4092
3997	4091
3996	4090
3995	4089
3994	4088
3993	4087
3992	4086
3991	4085
3990	4084
3989	4083
3988	4082
3987	4081
3986	4080
3985	4079
3984	4078
3983	4077
3982	4076
3981	4075
3980	4074
3979	4073
3978	4072
3977	4071
3976	4070
3975	4069
3974	4068
3973	4067
3972	4066
3971	4065
3970	4064
3969	4063
3968	4062
3967	4061
3966	4060
3965	4059
3964	4058
3963	4057
3962	4056
3961	4055
3960	4054
3959	4053
3958	4052
3957	4051
3956	4050
3955	4049
3954	4048
3953	4047
3952	4046
3951	4045
3950	4044
3949	4043
3948	4042
3947	4041
3946	4040
3945	4039
3944	4038
3943	4037
3942	4036
3941	4035
3940	4034
3939	4033
3938	4032
3937	4031
3936	4030
3935	4029
3934	4028
3933	4027
3932	4026
3931	4025
3930	4024
3929	4023
3928	4022
3927	4021
3926	4020
3925	4019
3924	4018
3923	4017
3922	4016
3921	4015
3920	4014
3919	4013
3918	4012
3917	4011
3916	4010
3915	4009
3914	4008
3913	4007
3912	4006
3911	4005
3910	4004
3909	4003
3908	4002
3907	4001
3906	4000
3905	3999
3904	3998
3903	3997
3902	3996
3901	3995
3900	3994
3899	3993
3898	3992
3897	3991
3896	3990
3895	3989
3894	3988
3893	3987
3892	3986
3891	3985
3890	3984
3889	3983
3888	3982
3887	3981
3886	3980
3885	3979
3884	3978
3883	3977
3882	3976
3881	3975
3880	3974
3879	3973
3878	3972
3877	3971
3876	3970
3875	3969
3874	3968
3873	3967
3872	3966
3871	3965
3870	3964
3869	3963
3868	3962
3867	3961
3866	3960
3865	3959
3864	3958
3863	3957
3862	3956
3861	3955
3860	3954
3859	3953
3858	3952
3857	3951
3856	3950
3855	3949
3854	3948
3853	3947
3852	3946
3851	3945
3850	3944
3849	3943
3848	3942
3847	3941
3846	3940
3845	3939
3844	3938
3843	3937
3842	3936
3841	3935
3840	3934
3839	3933
3838	3932
3837	3931
3836	3930
3835	3929
3834	3928
3833	3927
3832	3926
3831	3925
3830	3924
3829	3923
3828	3922
3827	3921
3826	3920
3825	3919
3824	3918
3823	3917
3822	3916
3821	3915
3820	3914
3819	3913
3818	3912
3817	3911
3816	3910
3815	3909
3814	3908
3813	3907
3812	3906
3811	3905
3810	3904
3809	3903
3808	3902
3807	3901
3806	3900
3805	3899
3804	3898
3803	3897
3802	3896
3801	3895
3800	3894
3799	3893
3798	3892
3797	3891
3796	3890
3795	3889
3794	3888
3793	3887
3792	3886
3791	3885
3790	3884
3789	3883
3788	3882
3787	3881
3786	3880
3785	3879
3784	3878
3783	3877
3782	3876
3781	3875
3780	3874
3779	3873
3778	3872
3777	3871
3776	3870
3775	3869
3774	3868
3773	3867
3772	3866
3771	3865
3770	3864
3769	3863
3768	3862
3767	3861
3766	3860
3765	3859
3764	3858
3763	3857
3762	3856
3761	3855
3760	3854
3759	3853
3758	3852
3757	3851
3756	3850
3755	3849
3754	3848
3753	3847
3752	3846
3751	3845
3750	3844
3749	3843
3748	3842
3747	3841
3746	3840
3745	3839
3744	3838
3743	3837
3742	3836
3741	3835
3740	3834
3739	3833
3738	3832
3737	3831
3736	3830
3735	3829
3734	3828
3733	3827
3732	3826
3731	3825
3730	3824
3729	3823
3728	3822
3727	3821
3726	3820
3725	3819
3724	3818
3723	3817
3722	3816
3721	3815
3720	3814
3719	3813
3718	3812
3717	3811
3716	3810
3715	3809
3714	3808
3713	3807
3712	3806
3711	3805
3710	3804
3709	3803
3708	3802
3707	3801
3706	3800
3705	3799
3704	3798
3703	3797
3702	3796
3701	3795
3700	3794
3699	3793
3698	3792
3697	3791
3696	3790
3695	3789
3694	3788
3693	3787
3692	3786
3691	3785
3690	3784
3689	3783
3688	3782
3687	3781
3686	3780
3685	3779
3684	3778
3683	3777
3682	3776
3681	3775
3680	3774
3679	3773
3678	3772
3677	3771
3676	3770
3675	3769
3674	3768
3673	3767
3672	3766
3671	3765
3670	3764
3669	3763
3668	3762
3667	3761
3666	3760
3665	3759
3664	3758
3663	3757
3662	3756
3661	3755
3660	3754
3659	3753
3658	3752
3657	3751
3656	3750
3655	3749
3654	3748
3653	3747
3652	3746
3651	3745
3650	3744
3649	3743
3648	3742
3647	3741
3646	3740
3645	3739
3644	3738
3643	3737
3642	3736
3641	3735
3640	3734
3639	3733
3638	3732
3637	3731
3636	3730
3635	3729
3634	3728
3633	3727
3632	3726
3631	3725
3630	3724
3629	3723
3628	3722
3627	3721
3626	3720
3625	3719
3624	3718
3623	3717
3622	3716
3621	3715
3620	3714
3619	3713
3618	3712
3617	3711
3616	3710
3615	3709
3614	3708
3613	3707
3612	3706
3611	3705
3610	3704
3609	3703
3608	3702
3607	3701
3606	3700
3605	3699
3604	3698
3603	3697
3602	3696
3601	3695
3600	3694
3599	3693
3598	3692
3597	3691
3596	3690
3595	3689
3594	3688
3593	3687
3592	3686
3591	3685
3590	3684
3589	3683
3588	3682
3587	3681
3586	3680
3585	3679
3584	3678
3583	3677
3582	3676
3581	3675
3580	3674
3579	3673
3578	3672
3577	3671
3576	3670
3575	3669
3574	3668
3573	3667
3572	3666
3571	3665
3570	3664
3569	3663
3568	3662
3567	3661
3566	3660
3565	3659
3564	3658
3563	3657
3562	3656
3561	3655
3560	3654
3559	3653
3558	3652
3557	3651
3556	3650
3555	3649
3554	3648
3553	3647
3552	3646
3551	3645
3550	3644
3549	3643
3548	3642
3547	3641
3546	3640
3545	3639
3544	3638
3543	3637
3542	3636
3541	3635
3540	3634
3539	3633
3538	3632
3537	3631
3536	3630
3535	3629
3534	3628
3533	3627
3532	3626
3531	3625
3530	3624
3529	3623
3528	3622
3527	3621
3526	3620
3525	3619
3524	3618
3523	3617
3522	3616
3521	3615
3520	3614
3519	3613
3518	3612
3517	3611
3516	3610
3515	3609
3514	3608
3513	3607
3512	3606
3511	3605
3510	3604
3509	3603
3508	3602
3507	3601
3506	3600
3505	3599
3504	3598
3503	3597
3502	3596
3501	3595
3500	3594
3499	3593
3498	3592
3497	3591
3496	3590
3495	3589
3494	3588
3493	3587
3492	3586
3491	3585
3490	3584
3489	3583
3488	3582
3487	3581
3486	3580
3485	3579
3484	3578
3483	3577
3482	3576
3481	3575
3480	3574
3479	3573
3478	3572
3477	3571
3476	3570
3475	3569
3474	3568
3473	3567
3472	3566
3471	3565
3470	3564
3469	3563
3468	3562
3467	3561
3466	3560
3465	3559
3464	3558
3463	3557
3462	3556
3461	3555
3460	3554
3459	3553
3458	3552
3457	3551
3456	3550
3455	3549
3454	3548
3453	3547
3452	3546
3451	3545
3450	3544
3449	3543
3448	3542
3447	3541
3446	3540
3445	3539
3444	3538
3443	3537
3442	3536
3441	3535
3440	3534
3439	3533
3438	3532
3437	3531
3436	3530
3435	3529
3434	3528
3433	3527
3432	3526
3431	3525
3430	3524
3429	3523
3428	3522
3427	3521
3426	3520
3425	3519
3424	3518
3423	3517
3422	3516
3421	3515
3420	3514
3419	3513
3418	3512
3417	3511
3416	3510
3415	3509
3414	3508
3413	3507
3412	3506
3411	3505
3410	3504
3409	3503
3408	3502
3407	3501
3406	3500
3405	3499
3404	3498
3403	3497
3402	3496
3401	3495
3400	3494
3399	3493
3398	3492
3397	3491
3396	3490
3395	3489
3394	3488
3393	3487
3392	3486
3391	3485
3390	3484
3389	3483
3388	3482
3387	3481
3386	3480
3385	3479
3384	3478
3383	3477
3382	3476
3381	3475
3380	3474
3379	3473
3378	3472
3377	3471
3376	3470
3375	3469
3374	3468
3373	3467
3372	3466
3371	3465
3370	3464
3369	3463
3368	3462
3367	3461
3366	3460
3365	3459
3364	3458
3363	3457
3362	3456
3361	3455
3360	3454
3359	3453
3358	3452
3357	3451
3356	3450
3355	3449
3354	3448
3353	3447
3352	3446
3351	3445
3350	3444
3349	3443
3348	3442
3347	3441
3346	3440
3345	3439
3344	3438
3343	3437
3342	3436
3341	3435
3340	3434
3339	3433
3338	3432
3337	3431
3336	3430
3335	3429
3334	3428
3333	3427
3332	3426
3331	3425
3330	3424
3329	3423
3328	3422
3327	3421
3326	3420
3325	3419
3324	3418
3323	3417
3322	3416
3321	3415
3320	3414
3319	3413
3318	3412
3317	3411
3316	3410
3315	3409
3314	3408
3313	3407
3312	3406
3311	3405
3310	3404
3309	3403
3308	3402
3307	3401
3306	3400
3305	3399
3304	3398
3303	3397
3302	3396
3301	3395
3300	3394
3299	3393
3298	3392
3297	3391
3296	3390
3295	3389
3294	3388
3293	3387
3292	3386
3291	3385
3290	3384
3289	3383
3288	3382
3287	3381
3286	3380
3285	3379
3284	3378
3283	3377
3282	3376
3281	3375
3280	3374
3279	3373
3278	3372
3277	3371
3276	3370
3275	3369
3274	3368
3273	3367
3272	3366
3271	3365
3270	3364
3269	3363
3268	3362
3267	3361
3266	3360
3265	3359
3264	3358
3263	3357
3262	3356
3261	3355
3260	3354
3259	3353
3258	3352
3257	3351
3256	3350
3255	3349
3254	3348
3253	3347
3252	3346
3251	3345
3250	3344
3249	3343
3248	3342
3247	3341
3246	3340
3245	3339
3244	3338
3243	3337
3242	3336
3241	3335
3240	3334
3239	3333
3238	3332
3237	3331
3236	3330
3235	3329
3234	3328
3233	3327
3232	3326
3231	3325
3230	3324
3229	3323
3228	3322
3227	3321
3226	3320
3225	3319
3224	3318
3223	3317
3222	3316
3221	3315
3220	3314
3219	3313
3218	3312
3217	3311
3216	3310
3215	3309
3214	3308
3213	3307
3212	3306
3211	3305
3210	3304
3209	3303
3208	3302
3207	3301
3206	3300
3205	3299
3204	3298
3203	3297
3202	3296
3201	3295
3200	3294
3199	3293
3198	3292
3197	3291
3196	3290
3195	3289
3194	3288
3193	3287
3192	3286
3191	3285
3190	3284
3189	3283
3188	3282
3187	3281
3186	3280
3185	3279
3184	3278
3183	3277
3182	3276
3181	3275
3180	3274
3179	3273
3178	3272
3177	3271
3176	3270
3175	3269
3174	3268
3173	3267
3172	3266
3171	3265
3170	3264
3169	3263
3168	3262
3167	3261
3166	3260
3165	3259
3164	3258
3163	3257
3162	3256
3161	3255
3160	3254
3159	3253
3158	3252
3157	3251
3156	3250
3155	3249
3154	3248
3153	3247
3152	3246
3151	3245
3150	3244
3149	3243
3148	3242
3147	3241
3146	3240
3145	3239
3144	3238
3143	3237
3142	3236
3141	3235
3140	3234
3139	3233
3138	3232
3137	3231
3136	3230
3135	3229
3134	3228
3133	3227
3132	3226
3131	3225
3130	3224
3129	3223
3128	3222
3127	3221
3126	3220
3125	3219
3124	3218
3123	3217
3122	3216
3121	3215
3120	3214
3119	3213
3118	3212
3117	3211
3116	3210
3115	3209
3114	3208
3113	3207
3112	3206
3111	3205
3110	3204
3109	3203
3108	3202
3107	3201
3106	3200
3105	3199
3104	3198
3103	3197
3102	3196
3101	3195
3100	3194
3099	3193
3098	3192
3097	3191
3096	3190
3095	3189
3094	3188
3093	3187
3092	3186
3091	3185
3090	3184
3089	3183
3088	3182
3087	3181
3086	3180
3085	3179
3084	3178
3083	3177
3082	3176
3081	3175
3080	3174
3079	3173
3078	3172
3077	3171
3076	3170
3075	3169
3074	3168
3073	3167
3072	3166
3071	3165
3070	3164
3069	3163
3068	3162
3067	3161
3066	3160
3065	3159
3064	3158
3063	3157
3062	3156
3061	3155
3060	3154
3059	3153
3058	3152
3057	3151
3056	3150
3055	3149
3054	3148
3053	3147
3052	3146
3051	3145
3050	3144
3049	3143
3048	3142
3047	3141
3046	3140
3045	3139
3044	3138
3043	3137
3042	3136
3041	3135
3040	3134
3039	3133
3038	3132
3037	3131
3036	3130
3035	3129
3034	3128
3033	3127
3032	3126
3031	3125
3030	3124
3029	3123
3028	3122
3027	3121
3026	3120
3025	3119
3024	3118
3023	3117
3022	3116
3021	3115
3020	3114
3019	3113
3018	3112
3017	3111
3016	3110
3015	3109
3014	3108
3013	3107
3012	3106
3011	3105
3010	3104
3009	3103
3008	3102
3007	3101
3006	3100
3005	3099
3004	3098
3003	3097
3002	3096
3001	3095
3000	3094
2999	3093
2998	3092
2997	3091
2996	3090
2995	3089
2994	3088
2993	3087
2992	3086
2991	3085
2990	3084
2989	3083
2988	3082
2987	3081
2986	3080
2985	3079
2984	3078
2983	3077
2982	3076
2981	3075
2980	3074
2979	3073
2978	3072
2977	3071
2976	3070
2975	3069
2974	3068
2973	3067
2972	3066
2971	3065
2970	3064
2969	3063
2968	3062
2967	3061
2966	3060
2965	3059
2964	3058
2963	3057
2962	3056
2961	3055
2960	3054
2959	3053
2958	3052
2957	3051
2956	3050
2955	3049
2954	3048
2953	3047
2952	3046
2951	3045
2950	3044
2949	3043
2948	3042
2947	3041
2946	3040
2945	3039
2944	3038
2943	3037
2942	3036
2941	3035
2940	3034
2939	3033
2938	3032
2937	3031
2936	3030
2935	3029
2934	3028
2933	3027
2932	3026
2931	3025
2930	3024
2929	3023
2928	3022
2927	3021
2926	3020
2925	3019
2924	3018
2923	3017
2922	3016
2921	3015
2920	3014
2919	3013
2918	3012
2917	3011
2916	3010
2915	3009
2914	3008
2913	3007
2912	3006
2911	3005
2910	3004
2909	3003
2908	3002
2907	3001
2906	3000
2905	2999
2904	2998
2903	2997
2902	2996
2901	2995
2900	2994
2899	2993
2898	2992
2897	2991
2896	2990
2895	2989
2894	2988
2893	2987
2892	2986
2891	2985
2890	2984
2889	2983
2888	2982
2887	2981
2886	2980
2885	2979
2884	2978
2883	2977
2882	2976
2881	2975
2880	2974
2879	2973
2878	2972
2877	2971
2876	2970
2875	2969
2874	2968
2873	2967
2872	2966
2871	2965
2870	2964
2869	2963
2868	2962
2867	2961
2866	2960
2865	2959
2864	2958
2863	2957
2862	2956
2861	2955
2860	2954
2859	2953
2858	2952
2857	2951
2856	2950
2855	2949
2854	2948
2853	2947
2852	2946
2851	2945
2850	2944
2849	2943
2848	2942
2847	2941
2846	2940
2845	2939
2844	2938
2843	2937
2842	2936
2841	2935
2840	2934
2839	2933
2838	2932
2837	2931
2836	2930
2835	2929
2834	2928
2833	2927
2832	2926
2831	2925
2830	2924
2829	2923
2828	2922
2827	2921
2826	2920
2825	2919
2824	2918
2823	2917
2822	2916
2821	2915
2820	2914
2819	2913
2818	2912
2817	2911
2816	2910
2815	2909
2814	2908
2813	2907
2812	2906
2811	2905
2810	2904
2809	2903
2808	2902
2807	2901
2806	2900
2805	2899
2804	2898
2803	2897
2802	2896
2801	2895
2800	2894
2799	2893
2798	2892
2797	2891
2796	2890
2795	2889
2794	2888
2793	2887
2792	2886
2791	2885
2790	2884
2789	2883
2788	2882
2787	2881
2786	2880
2785	2879
2784	2878
2783	2877
2782	2876
2781	2875
2780	2874
2779	2873
2778	2872
2777	2871
2776	2870
2775	2869
2774	2868
2773	2867
2772	2866
2771	2865
2770	2864
2769	2863
2768	2862
2767	2861
2766	2860
2765	2859
2764	2858
2763	2857
2762	2856
2761	2855
2760	2854
2759	2853
2758	2852
2757	2851
2756	2850
2755	2849
2754	2848
2753	2847
2752	2846
2751	2845
2750	2844
2749	2843
2748	2842
2747	2841
2746	2840
2745	2839
2744	2838
2743	2837
2742	2836
2741	2835
2740	2834
2739	2833
2738	2832
2737	2831
2736	2830
2735	2829
2734	2828
2733	2827
2732	2826
2731	2825
2730	2824
2729	2823
2728	2822
2727	2821
2726	2820
2725	2819
2724	2818
2723	2817
2722	2816
2721	2815
2720	2814
2719	2813
2718	2812
2717	2811
2716	2810
2715	2809
2714	2808
2713	2807
2712	2806
2711	2805
2710	2804
2709	2803
2708	2802
2707	2801
2706	2800
2705	2799
2704	2798
2703	2797
2702	2796
2701	2795
2700	2794
2699	2793
2698	2792
2697	2791
2696	2790
2695	2789
2694	2788
2693	2787
2692	2786
2691	2785
2690	2784
2689	2783
2688	2782
2687	2781
2686	2780
2685	2779
2684	2778
2683	2777
2682	2776
2681	2775
2680	2774
2679	2773
2678	2772
2677	2771
2676	2770
2675	2769
2674	2768
2673	2767
2672	2766
2671	2765
2670	2764
2669	2763
2668	2762
2667	2761
2666	2760
2665	2759
2664	2758
2663	2757
2662	2756
2661	2755
2660	2754
2659	2753
2658	2752
2657	2751
2656	2750
2655	2749
2654	2748
2653	2747
2652	2746
2651	2745
2650	2744
2649	2743
2648	2742
2647	2741
2646	2740
2645	2739
2644	2738
2643	2737
2642	2736
2641	2735
2640	2734
2639	2733
2638	2732
2637	2731
2636	2730
2635	2729
2634	2728
2633	2727
2632	2726
2631	2725
2630	2724
2629	2723
2628	2722
2627	2721
2626	2720
2625	2719
2624	2718
2623	2717
2622	2716
2621	2715
2620	2714
2619	2713
2618	2712
2617	2711
2616	2710
2615	2709
2614	2708
2613	2707
2612	2706
2611	2705
2610	2704
2609	2703
2608	2702
2607	2701
2606	2700
2605	2699
2604	2698
2603	2697
2602	2696
2601	2695
2600	2694
2599	2693
2598	2692
2597	2691
2596	2690
2595	2689
2594	2688
2593	2687
2592	2686
2591	2685
2590	2684
2589	2683
2588	2682
2587	2681
2586	2680
2585	2679
2584	2678
2583	2677
2582	2676
2581	2675
2580	2674
2579	2673
2578	2672
2577	2671
2576	2670
2575	2669
2574	2668
2573	2667
2572	2666
2571	2665
2570	2664
2569	2663
2568	2662
2567	2661
2566	2660
2565	2659
2564	2658
2563	2657
2562	2656
2561	2655
2560	2654
2559	2653
2558	2652
2557	2651
2556	2650
2555	2649
2554	2648
2553	2647
2552	2646
2551	2645
2550	2644
2549	2643
2548	2642
2547	2641
2546	2640
2545	2639
2544	2638
2543	2637
2542	2636
2541	2635
2540	2634
2539	2633
2538	2632
2537	2631
2536	2630
2535	2629
2534	2628
2533	2627
2532	2626
2531	2625
2530	2624
2529	2623
2528	2622
2527	2621
2526	2620
2525	2619
2524	2618
2523	2617
2522	2616
2521	2615
2520	2614
2519	2613
2518	2612
2517	2611
2516	2610
2515	2609
2514	2608
2513	2607
2512	2606
2511	2605
2510	2604
2509	2603
2508	2602
2507	2601
2506	2600
2505	2599
2504	2598
2503	2597
2502	2596
2501	2595
2500	2594
2499	2593
2498	2592
2497	2591
2496	2590
2495	2589
2494	2588
2493	2587
2492	2586
2491	2585
2490	2584
2489	2583
2488	2582
2487	2581
2486	2580
2485	2579
2484	2578
2483	2577
2482	2576
2481	2575
2480	2574
2479	2573
2478	2572
2477	2571
2476	2570
2475	2569
2474	2568
2473	2567
2472	2566
2471	2565
2470	2564
2469	2563
2468	2562
2467	2561
2466	2560
2465	2559
2464	2558
2463	2557
2462	2556
2461	2555
2460	2554
2459	2553
2458	2552
2457	2551
2456	2550
2455	2549
2454	2548
2453	2547
2452	2546
2451	2545
2450	2544
2449	2543
2448	2542
2447	2541
2446	2540
2445	2539
2444	2538
2443	2537
2442	2536
2441	2535
2440	2534
2439	2533
2438	2532
2437	2531
2436	2530
2435	2529
2434	2528
2433	2527
2432	2526
2431	2525
2430	2524
2429	2523
2428	2522
2427	2521
2426	2520
2425	2519
2424	2518
2423	2517
2422	2516
2421	2515
2420	2514
2419	2513
2418	2512
2417	2511
2416	2510
2415	2509
2414	2508
2413	2507
2412	2506
2411	2505
2410	2504
2409	2503
2408	2502
2407	2501
2406	2500
2405	2499
2404	2498
2403	2497
2402	2496
2401	2495
2400	2494
2399	2493
2398	2492
2397	2491
2396	2490
2395	2489
2394	2488
2393	2487
2392	2486
2391	2485
2390	2484
2389	2483
2388	2482
2387	2481
2386	2480
2385	2479
2384	2478
2383	2477
2382	2476
2381	2475
2380	2474
2379	2473
2378	2472
2377	2471
2376	2470
2375	2469
2374	2468
2373	2467
2372	2466
2371	2465
2370	2464
2369	2463
2368	2462
2367	2461
2366	2460
2365	2459
2364	2458
2363	2457
2362	2456
2361	2455
2360	2454
2359	2453
2358	2452
2357	2451
2356	2450
2355	2449
2354	2448
2353	2447
2352	2446
2351	2445
2350	2444
2349	2443
2348	2442
2347	2441
2346	2440
2345	2439
2344	2438
2343	2437
2342	2436
2341	2435
2340	2434
2339	2433
2338	2432
2337	2431
2336	2430
2335	2429
2334	2428
2333	2427
2332	2426
2331	2425
2330	2424
2329	2423
2328	2422
2327	2421
2326	2420
2325	2419
2324	2418
2323	2417
2322	2416
2321	2415
2320	2414
2319	2413
2318	2412
2317	2411
2316	2410
2315	2409
2314	2408
2313	2407
2312	2406
2311	2405
2310	2404
2309	2403
2308	2402
2307	2401
2306	2400
2305	2399
2304	2398
2303	2397
2302	2396
2301	2395
2300	2394
2299	2393
2298	2392
2297	2391
2296	2390
2295	2389
2294	2388
2293	2387
2292	2386
2291	2385
2290	2384
2289	2383
2288	2382
2287	2381
2286	2380
2285	2379
2284	2378
2283	2377
2282	2376
2281	2375
2280	2374
2279	2373
2278	2372
2277	2371
2276	2370
2275	2369
2274	2368
2273	2367
2272	2366
2271	2365
2270	2364
2269	2363
2268	2362
2267	2361
2266	2360
2265	2359
2264	2358
2263	2357
2262	2356
2261	2355
2260	2354
2259	2353
2258	2352
2257	2351
2256	2350
2255	2349
2254	2348
2253	2347
2252	2346
2251	2345
2250	2344
2249	2343
2248	2342
2247	2341
2246	2340
2245	2339
2244	2338
2243	2337
2242	2336
2241	2335
2240	2334
2239	2333
2238	2332
2237	2331
2236	2330
2235	2329
2234	2328
2233	2327
2232	2326
2231	2325
2230	2324
2229	2323
2228	2322
2227	2321
2226	2320
2225	2319
2224	2318
2223	2317
2222	2316
2221	2315
2220	2314
2219	2313
2218	2312
2217	2311
2216	2310
2215	2309
2214	2308
2213	2307
2212	2306
2211	2305
2210	2304
2209	2303
2208	2302
2207	2301
2206	2300
2205	2299
2204	2298
2203	2297
2202	2296
2201	2295
2200	2294
2199	2293
2198	2292
2197	2291
2196	2290
2195	2289
2194	2288
2193	2287
2192	2286
2191	2285
2190	2284
2189	2283
2188	2282
2187	2281
2186	2280
2185	2279
2184	2278
2183	2277
2182	2276
2181	2275
2180	2274
2179	2273
2178	2272
2177	2271
2176	2270
2175	2269
2174	2268
2173	2267
2172	2266
2171	2265
2170	2264
2169	2263
2168	2262
2167	2261
2166	2260
2165	2259
2164	2258
2163	2257
2162	2256
2161	2255
2160	2254
2159	2253
2158	2252
2157	2251
2156	2250
2155	2249
2154	2248
2153	2247
2152	2246
2151	2245
2150	2244
2149	2243
2148	2242
2147	2241
2146	2240
2145	2239
2144	2238
2143	2237
2142	2236
2141	2235
2140	2234
2139	2233
2138	2232
2137	2231
2136	2230
2135	2229
2134	2228
2133	2227
2132	2226
2131	2225
2130	2224
2129	2223
2128	2222
2127	2221
2126	2220
2125	2219
2124	2218
2123	2217
2122	2216
2121	2215
2120	2214
2119	2213
2118	2212
2117	2211
2116	2210
2115	2209
2114	2208
2113	2207
2112	2206
2111	2205
2110	2204
2109	2203
2108	2202
2107	2201
2106	2200
2105	2199
2104	2198
2103	2197
2102	2196
2101	2195
2100	2194
2099	2193
2098	2192
2097	2191
2096	2190
2095	2189
2094	2188
2093	2187
2092	2186
2091	2185
2090	2184
2089	2183
2088	2182
2087	2181
2086	2180
2085	2179
2084	2178
2083	2177
2082	2176
2081	2175
2080	2174
2079	2173
2078	2172
2077	2171
2076	2170
2075	2169
2074	2168
2073	2167
2072	2166
2071	2165
2070	2164
2069	2163
2068	2162
2067	2161
2066	2160
2065	2159
2064	2158
2063	2157
2062	2156
2061	2155
2060	2154
2059	2153
2058	2152
2057	2151
2056	2150
2055	2149
2054	2148
2053	2147
2052	2146
2051	2145
2050	2144
2049	2143
2048	2142
2047	2141
2046	2140
2045	2139
2044	2138
2043	2137
2042	2136
2041	2135
2040	2134
2039	2133
2038	2132
2037	2131
2036	2130
2035	2129
2034	2128
2033	2127
2032	2126
2031	2125
2030	2124
2029	2123
2028	2122
2027	2121
2026	2120
2025	2119
2024	2118
2023	2117
2022	2116
2021	2115
2020	2114
2019	2113
2018	2112
2017	2111
2016	2110
2015	2109
2014	2108
2013	2107
2012	2106
2011	2105
2010	2104
2009	2103
2008	2102
2007	2101
2006	2100
2005	2099
2004	2098
2003	2097
2002	2096
2001	2095
2000	2094
1999	2093
1998	2092
1997	2091
1996	2090
1995	2089
1994	2088
1993	2087
1992	2086
1991	2085
1990	2084
1989	2083
1988	2082
1987	2081
1986	2080
1985	2079
1984	2078
1983	2077
1982	2076
1981	2075
1980	2074
1979	2073
1978	2072
1977	2071
1976	2070
1975	2069
1974	2068
1973	2067
1972	2066
1971	2065
1970	2064
1969	2063
1968	2062
1967	2061
1966	2060
1965	2059
1964	2058
1963	2057
1962	2056
1961	2055
1960	2054
1959	2053
1958	2052
1957	2051
1956	2050
1955	2049
1954	2048
1953	2047
1952	2046
1951	2045
1950	2044
1949	2043
1948	2042
1947	2041
1946	2040
1945	2039
1944	2038
1943	2037
1942	2036
1941	2035
1940	2034
1939	2033
1938	2032
1937	2031
1936	2030
1935	2029
1934	2028
1933	2027
1932	2026
1931	2025
1930	2024
1929	2023
1928	2022
1927	2021
1926	2020
1925	2019
1924	2018
1923	2017
1922	2016
1921	2015
1920	2014
1919	2013
1918	2012
1917	2011
1916	2010
1915	2009
1914	2008
1913	2007
1912	2006
1911	2005
1910	2004
1909	2003
1908	2002
1907	2001
1906	2000
1905	1999
1904	1998
1903	1997
1902	1996
1901	1995
1900	1994
1899	1993
1898	1992
1897	1991
1896	1990
1895	1989
1894	1988
1893	1987
1892	1986
1891	1985
1890	1984
1889	1983
1888	1982
1887	1981
1886	1980
1885	1979
1884	1978
1883	1977
1882	1976
1881	1975
1880	1974
1879	1973
1878	1972
1877	1971
1876	1970
1875	1969
1874	1968
1873	1967
1872	1966
1871	1965
1870	1964
1869	1963
1868	1962
1867	1961
1866	1960
1865	1959
1864	1958
1863	1957
1862	1956
1861	1955
1860	1954
1859	1953
1858	1952
1857	1951
1856	1950
1855	1949
1854	1948
1853	1947
1852	1946
1851	1945
1850	1944
1849	1943
1848	1942
1847	1941
1846	1940
1845	1939
1844	1938
1843	1937
1842	1936
1841	1935
1840	1934
1839	1933
1838	1932
1837	1931
1836	1930
1835	1929
1834	1928
1833	1927
1832	1926
1831	1925
1830	1924
1829	1923
1828	1922
1827	1921
1826	1920
1825	1919
1824	1918
1823	1917
1822	1916
1821	1915
1820	1914
1819	1913
1818	1912
1817	1911
1816	1910
1815	1909
1814	1908
1813	1907
1812	1906
1811	1905
1810	1904
1809	1903
1808	1902
1807	1901
1806	1900
1805	1899
1804	1898
1803	1897
1802	1896
1801	1895
1800	1894
1799	1893
1798	1892
1797	1891
1796	1890
1795	1889
1794	1888
1793	1887
1792	1886
1791	1885
1790	1884
1789	1883
1788	1882
1787	1881
1786	1880
1785	1879
1784	1878
1783	1877
1782	1876
1781	1875
1780	1874
1779	1873
1778	1872
1777	1871
1776	1870
1775	1869
1774	1868
1773	1867
1772	1866
1771	1865
1770	1864
1769	1863
1768	1862
1767	1861
1766	1860
1765	1859
1764	1858
1763	1857
1762	1856
1761	1855
1760	1854
1759	1853
1758	1852
1757	1851
1756	1850
1755	1849
1754	1848
1753	1847
1752	1846
1751	1845
1750	1844
1749	1843
1748	1842
1747	1841
1746	1840
1745	1839
1744	1838
1743	1837
1742	1836
1741	1835
1740	1834
1739	1833
1738	1832
1737	1831
1736	1830
1735	1829
1734	1828
1733	1827
1732	1826
1731	1825
1730	1824
1729	1823
1728	1822
1727	1821
1726	1820
1725	1819
1724	1818
1723	1817
1722	1816
1721	1815
1720	1814
1719	1813
1718	1812
1717	1811
1716	1810
1715	1809
1714	1808
1713	1807
1712	1806
1711	1805
1710	1804
1709	1803
1708	1802
1707	1801
1706	1800
1705	1799
1704	1798
1703	1797
1702	1796
1701	1795
1700	1794
1699	1793
1698	1792
1697	1791
1696	1790
1695	1789
1694	1788
1693	1787
1692	1786
1691	1785
1690	1784
1689	1783
1688	1782
1687	1781
1686	1780
1685	1779
1684	1778
1683	1777
1682	1776
1681	1775
1680	1774
1679	1773
1678	1772
1677	1771
1676	1770
1675	1769
1674	1768
1673	1767
1672	1766
1671	1765
1670	1764
1669	1763
1668	1762
1667	1761
1666	1760
1665	1759
1664	1758
1663	1757
1662	1756
1661	1755
1660	1754
1659	1753
1658	1752
1657	1751
1656	1750
1655	1749
1654	1748
1653	1747
1652	1746
1651	1745
1650	1744
1649	1743
1648	1742
1647	1741
1646	1740
1645	1739
1644	1738
1643	1737
1642	1736
1641	1735
1640	1734
1639	1733
1638	1732
1637	1731
1636	1730
1635	1729
1634	1728
1633	1727
1632	1726
1631	1725
1630	1724
1629	1723
1628	1722
1627	1721
1626	1720
1625	1719
1624	1718
1623	1717
1622	1716
1621	1715
1620	1714
1619	1713
1618	1712
1617	1711
1616	1710
1615	1709
1614	1708
1613	1707
1612	1706
1611	1705
1610	1704
1609	1703
1608	1702
1607	1701
1606	1700
1605	1699
1604	1698
1603	1697
1602	1696
1601	1695
1600	1694
1599	1693
1598	1692
1597	1691
1596	1690
1595	1689
1594	1688
1593	1687
1592	1686
1591	1685
1590	1684
1589	1683
1588	1682
1587	1681
1586	1680
1585	1679
1584	1678
1583	1677
1582	1676
1581	1675
1580	1674
1579	1673
1578	1672
1577	1671
1576	1670
1575	1669
1574	1668
1573	1667
1572	1666
1571	1665
1570	1664
1569	1663
1568	1662
1567	1661
1566	1660
1565	1659
1564	1658
1563	1657
1562	1656
1561	1655
1560	1654
1559	1653
1558	1652
1557	1651
1556	1650
1555	1649
1554	1648
1553	1647
1552	1646
1551	1645
1550	1644
1549	1643
1548	1642
1547	1641
1546	1640
1545	1639
1544	1638
1543	1637
1542	1636
1541	1635
1540	1634
1539	1633
1538	1632
1537	1631
1536	1630
1535	1629
1534	1628
1533	1627
1532	1626
1531	1625
1530	1624
1529	1623
1528	1622
1527	1621
1526	1620
1525	1619
1524	1618
1523	1617
1522	1616
1521	1615
1520	1614
1519	1613
1518	1612
1517	1611
1516	1610
1515	1609
1514	1608
1513	1607
1512	1606
1511	1605
1510	1604
1509	1603
1508	1602
1507	1601
1506	1600
1505	1599
1504	1598
1503	1597
1502	1596
1501	1595
1500	1594
1499	1593
1498	1592
1497	1591
1496	1590
1495	1589
1494	1588
1493	1587
1492	1586
1491	1585
1490	1584
1489	1583
1488	1582
1487	1581
1486	1580
1485	1579
1484	1578
1483	1577
1482	1576
1481	1575
1480	1574
1479	1573
1478	1572
1477	1571
1476	1570
1475	1569
1474	1568
1473	1567
1472	1566
1471	1565
1470	1564
1469	1563
1468	1562
1467	1561
1466	1560
1465	1559
1464	1558
1463	1557
1462	1556
1461	1555
1460	1554
1459	1553
1458	1552
1457	1551
1456	1550
1455	1549
1454	1548
1453	1547
1452	1546
1451	1545
1450	1544
1449	1543
1448	1542
1447	1541
1446	1540
1445	1539
1444	1538
1443	1537
1442	1536
1441	1535
1440	1534
1439	1533
1438	1532
1437	1531
1436	1530
1435	1529
1434	1528
1433	1527
1432	1526
1431	1525
1430	1524
1429	1523
1428	1522
1427	1521
1426	1520
1425	1519
1424	1518
1423	1517
1422	1516
1421	1515
1420	1514
1419	1513
1418	1512
1417	1511
1416	1510
1415	1509
1414	1508
1413	1507
1412	1506
1411	1505
1410	1504
1409	1503
1408	1502
1407	1501
1406	1500
1405	1499
1404	1498
1403	1497
1402	1496
1401	1495
1400	1494
1399	1493
1398	1492
1397	1491
1396	1490
1395	1489
1394	1488
1393	1487
1392	1486
1391	1485
1390	1484
1389	1483
1388	1482
1387	1481
1386	1480
1385	1479
1384	1478
1383	1477
1382	1476
1381	1475
1380	1474
1379	1473
1378	1472
1377	1471
1376	1470
1375	1469
1374	1468
1373	1467
1372	1466
1371	1465
1370	1464
1369	1463
1368	1462
1367	1461
1366	1460
1365	1459
1364	1458
1363	1457
1362	1456
1361	1455
1360	1454
1359	1453
1358	1452
1357	1451
1356	1450
1355	1449
1354	1448
1353	1447
1352	1446
1351	1445
1350	1444
1349	1443
1348	1442
1347	1441
1346	1440
1345	1439
1344	1438
1343	1437
1342	1436
1341	1435
1340	1434
1339	1433
1338	1432
1337	1431
1336	1430
1335	1429
1334	1428
1333	1427
1332	1426
1331	1425
1330	1424
1329	1423
1328	1422
1327	1421
1326	1420
1325	1419
1324	1418
1323	1417
1322	1416
1321	1415
1320	1414
1319	1413
1318	1412
1317	1411
1316	1410
1315	1409
1314	1408
1313	1407
1312	1406
1311	1405
1310	1404
1309	1403
1308	1402
1307	1401
1306	1400
1305	1399
1304	1398
1303	1397
1302	1396
1301	1395
1300	1394
1299	1393
1298	1392
1297	1391
1296	1390
1295	1389
1294	1388
1293	1387
1292	1386
1291	1385
1290	1384
1289	1383
1288	1382
1287	1381
1286	1380
1285	1379
1284	1378
1283	1377
1282	1376
1281	1375
1280	1374
1279	1373
1278	1372
1277	1371
1276	1370
1275	1369
1274	1368
1273	1367
1272	1366
1271	1365
1270	1364
1269	1363
1268	1362
1267	1361
1266	1360
1265	1359
1264	1358
1263	1357
1262	1356
1261	1355
1260	1354
1259	1353
1258	1352
1257	1351
1256	1350
1255	1349
1254	1348
1253	1347
1252	1346
1251	1345
1250	1344
1249	1343
1248	1342
1247	1341
1246	1340
1245	1339
1244	1338
1243	1337
1242	1336
1241	1335
1240	1334
1239	1333
1238	1332
1237	1331
1236	1330
1235	1329
1234	1328
1233	1327
1232	1326
1231	1325
1230	1324
1229	1323
1228	1322
1227	1321
1226	1320
1225	1319
1224	1318
1223	1317
1222	1316
1221	1315
1220	1314
1219	1313
1218	1312
1217	1311
1216	1310
1215	1309
1214	1308
1213	1307
1212	1306
1211	1305
1210	1304
1209	1303
1208	1302
1207	1301
1206	1300
1205	1299
1204	1298
1203	1297
1202	1296
1201	1295
1200	1294
1199	1293
1198	1292
1197	1291
1196	1290
1195	1289
1194	1288
1193	1287
1192	1286
1191	1285
1190	1284
1189	1283
1188	1282
1187	1281
1186	1280
1185	1279
1184	1278
1183	1277
1182	1276
1181	1275
1180	1274
1179	1273
1178	1272
1177	1271
1176	1270
1175	1269
1174	1268
1173	1267
1172	1266
1171	1265
1170	1264
1169	1263
1168	1262
1167	1261
1166	1260
1165	1259
1164	1258
1163	1257
1162	1256
1161	1255
1160	1254
1159	1253
1158	1252
1157	1251
1156	1250
1155	1249
1154	1248
1153	1247
1152	1246
1151	1245
1150	1244
1149	1243
1148	1242
1147	1241
1146	1240
1145	1239
1144	1238
1143	1237
1142	1236
1141	1235
1140	1234
1139	1233
1138	1232
1137	1231
1136	1230
1135	1229
1134	1228
1133	1227
1132	1226
1131	1225
1130	1224
1129	1223
1128	1222
1127	1221
1126	1220
1125	1219
1124	1218
1123	1217
1122	1216
1121	1215
1120	1214
1119	1213
1118	1212
1117	1211
1116	1210
1115	1209
1114	1208
1113	1207
1112	1206
1111	1205
1110	1204
1109	1203
1108	1202
1107	1201
1106	1200
1105	1199
1104	1198
1103	1197
1102	1196
1101	1195
1100	1194
1099	1193
1098	1192
1097	1191
1096	1190
1095	1189
1094	1188
1093	1187
1092	1186
1091	1185
1090	1184
1089	1183
1088	1182
1087	1181
1086	1180
1085	1179
1084	1178
1083	1177
1082	1176
1081	1175
1080	1174
1079	1173
1078	1172
1077	1171
1076	1170
1075	1169
1074	1168
1073	1167
1072	1166
1071	1165
1070	1164
1069	1163
1068	1162
1067	1161
1066	1160
1065	1159
1064	1158
1063	1157
1062	1156
1061	1155
1060	1154
1059	1153
1058	1152
1057	1151
1056	1150
1055	1149
1054	1148
1053	1147
1052	1146
1051	1145
1050	1144
1049	1143
1048	1142
1047	1141
1046	1140
1045	1139
1044	1138
1043	1137
1042	1136
1041	1135
1040	1134
1039	1133
1038	1132
1037	1131
1036	1130
1035	1129
1034	1128
1033	1127
1032	1126
1031	1125
1030	1124
1029	1123
1028	1122
1027	1121
1026	1120
1025	1119
1024	1118
1023	1117
1022	1116
1021	1115
1020	1114
1019	1113
1018	1112
1017	1111
1016	1110
1015	1109
1014	1108
1013	1107
1012	1106
1011	1105
1010	1104
1009	1103
1008	1102
1007	1101
1006	1100
1005	1099
1004	1098
1003	1097
1002	1096
1001	1095
1000	1094
999	1093
998	1092
997	1091
996	1090
995	1089
994	1088
993	1087
992	1086
991	1085
990	1084
989	1083
988	1082
987	1081
986	1080
985	1079
984	1078
983	1077
982	1076
981	1075
980	1074
979	1073
978	1072
977	1071
976	1070
975	1069
974	1068
973	1067
972	1066
971	1065
970	1064
969	1063
968	1062
967	1061
966	1060
965	1059
964	1058
963	1057
962	1056
961	1055
960	1054
959	1053
958	1052
957	1051
956	1050
955	1049
954	1048
953	1047
952	1046
951	1045
950	1044
949	1043
948	1042
947	1041
946	1040
945	1039
944	1038
943	1037
942	1036
941	1035
940	1034
939	1033
938	1032
937	1031
936	1030
935	1029
934	1028
933	1027
932	1026
931	1025
930	1024
929	1023
928	1022
927	1021
926	1020
925	1019
924	1018
923	1017
922	1016
921	1015
920	1014
919	1013
918	1012
917	1011
916	1010
915	1009
914	1008
913	1007
912	1006
911	1005
910	1004
909	1003
908	1002
907	1001
906	1000
905	999
904	998
903	997
902	996
901	995
900	994
899	993
898	992
897	991
896	990
895	989
894	988
893	987
892	986
891	985
890	984
889	983
888	982
887	981
886	980
885	979
884	978
883	977
882	976
881	975
880	974
879	973
878	972
877	971
876	970
875	969
874	968
873	967
872	966
871	965
870	964
869	963
868	962
867	961
866	960
865	959
864	958
863	957
862	956
861	955
860	954
859	953
858	952
857	951
856	950
855	949
854	948
853	947
852	946
851	945
850	944
849	943
848	942
847	941
846	940
845	939
844	938
843	937
842	936
841	935
840	934
839	933
838	932
837	931
836	930
835	929
834	928
833	927
832	926
831	925
830	924
829	923
828	922
827	921
826	920
825	919
824	918
823	917
822	916
821	915
820	914
819	913
818	912
817	911
816	910
815	909
814	908
813	907
812	906
811	905
810	904
809	903
808	902
807	901
806	900
805	899
804	898
803	897
802	896
801	895
800	894
799	893
798	892
797	891
796	890
795	889
794	888
793	887
792	886
791	885
790	884
789	883
788	882
787	881
786	880
785	879
784	878
783	877
782	876
781	875
780	874
779	873
778	872
777	871
776	870
775	869
774	868
773	867
772	866
771	865
770	864
769	863
768	862
767	861
766	860
765	859
764	858
763	857
762	856
761	855
760	854
759	853
758	852
757	851
756	850
755	849
754	848
753	847
752	846
751	845
750	844
749	843
748	842
747	841
746	840
745	839
744	838
743	837
742	836
741	835
740	834
739	833
738	832
737	831
736	830
735	829
734	828
733	827
732	826
731	825
730	824
729	823
728	822
727	821
726	820
725	819
724	818
723	817
722	816
721	815
720	814
719	813
718	812
717	811
716	810
715	809
714	808
713	807
712	806
711	805
710	804
709	803
708	802
707	801
706	800
705	799
704	798
703	797
702	796
701	795
700	794
699	793
698	792
697	791
696	790
695	789
694	788
693	787
692	786
691	785
690	784
689	783
688	782
687	781
686	780
685	779
684	778
683	777
682	776
681	775
680	774
679	773
678	772
677	771
676	770
675	769
674	768
673	767
672	766
671	765
670	764
669	763
668	762
667	761
666	760
665	759
664	758
663	757
662	756
661	755
660	754
659	753
658	752
657	751
656	750
655	749
654	748
653	747
652	746
651	745
650	744
649	743
648	742
647	741
646	740
645	739
644	738
643	737
642	736
641	735
640	734
639	733
638	732
637	731
636	730
635	729
634	728
633	727
632	726
631	725
630	724
629	723
628	722
627	721
626	720
625	719
624	718
623	717
622	716
621	715
620	714
619	713
618	712
617	711
616	710
615	709
614	708
613	707
612	706
611	705
610	704
609	703
608	702
607	701
606	700
605	699
604	698
603	697
602	696
601	695
600	694
599	693
598	692
597	691
596	690
595	689
594	688
593	687
592	686
591	685
590	684
589	683
588	682
587	681
586	680
585	679
584	678
583	677
582	676
581	675
580	674
579	673
578	672
577	671
576	670
575	669
574	668
573	667
572	666
571	665
570	664
569	663
568	662
567	661
566	660
565	659
564	658
563	657
562	656
561	655
560	654
559	653
558	652
557	651
556	650
555	649
554	648
553	647
552	646
551	645
550	644
549	643
548	642
547	641
546	640
545	639
544	638
543	637
542	636
541	635
540	634
539	633
538	632
537	631
536	630
535	629
534	628
533	627
532	626
531	625
530	624
529	623
528	622
527	621
526	620
525	619
524	618
523	617
522	616
521	615
520	614
519	613
518	612
517	611
516	610
515	609
514	608
513	607
512	606
511	605
510	604
509	603
508	602
507	601
506	600
505	599
504	598
503	597
502	596
501	595
500	594
499	593
498	592
497	591
496	590
495	589
494	588
493	587
492	586
491	585
490	584
489	583
488	582
487	581
486	580
485	579
484	578
483	577
482	576
481	575
480	574
479	573
478	572
477	571
476	570
475	569
474	568
473	567
472	566
471	565
470	564
469	563
468	562
467	561
466	560
465	559
464	558
463	557
462	556
461	555
460	554
459	553
458	552
457	551
456	550
455	549
454	548
453	547
452	546
451	545
450	544
449	543
448	542
447	541
446	540
445	539
444	538
443	537
442	536
441	535
440	534
439	533
438	532
437	531
436	530
435	529
434	528
433	527
432	526
431	525
430	524
429	523
428	522
427	521
426	520
425	519
424	518
423	517
422	516
421	515
420	514
419	513
418	512
417	511
416	510
415	509
414	508
413	507
412	506
411	505
410	504
409	503
408	502
407	501
406	500
405	499
404	498
403	497
402	496
401	495
400	494
399	493
398	492
397	491
396	490
395	489
394	488
393	487
392	486
391	485
390	484
389	483
388	482
387	481
386	480
385	479
384	478
383	477
382	476
381	475
380	474
379	473
378	472
377	471
376	470
375	469
374	468
373	467
372	466
371	465
370	464
369	463
368	462
367	461
366	460
365	459
364	458
363	457
362	456
361	455
360	454
359	453
358	452
357	451
356	450
355	449
354	448
353	447
352	446
351	445
350	444
349	443
348	442
347	441
346	440
345	439
344	438
343	437
342	436
341	435
340	434
339	433
338	432
337	431
336	430
335	429
334	428
333	427
332	426
331	425
330	424
329	423
328	422
327	421
326	420
325	419
324	418
323	417
322	416
321	415
320	414
319	413
318	412
317	411
316	410
315	409
314	408
313	407
312	406
311	405
310	404
309	403
308	402
307	401
306	400
305	399
304	398
303	397
302	396
301	395
300	394
299	393
298	392
297	391
296	390
295	389
294	388
293	387
292	386
291	385
290	384
289	383
288	382
287	381
286	380
285	379
284	378
283	377
282	376
281	375
280	374
279	373
278	372
277	371
276	370
275	369
274	368
273	367
272	366
271	365
270	364
269	363
268	362
267	361
266	360
265	359
264	358
263	357
262	356
261	355
260	354
259	353
258	352
257	351
256	350
255	349
254	348
253	347
252	346
251	345
250	344
249	343
248	342
247	341
246	340
245	339
244	338
243	337
242	336
241	335
240	334
239	333
238	332
237	331
236	330
235	329
234	328
233	327
232	326
231	325
230	324
229	323
228	322
227	321
226	320
225	319
224	318
223	317
222	316
221	315
220	314
219	313
218	312
217	311
216	310
215	309
214	308
213	307
212	306
211	305
210	304
209	303
208	302
207	301
206	300
205	299
204	298
203	297
202	296
201	295
200	294
199	293
198	292
197	291
196	290
195	289
194	288
193	287
192	286
191	285
190	284
189	283
188	282
187	281
186	280
185	279
184	278
183	277
182	276
181	275
180	274
179	273
178	272
177	271
176	270
175	269
174	268
173	267
172	266
171	265
170	264
169	263
168	262
167	261
166	260
165	259
164	258
163	257
162	256
161	255
160	254
159	253
158	252
157	251
156	250
155	249
154	248
153	247
152	246
151	245
150	244
149	243
148	242
147	241
146	240
145	239
144	238
143	237
142	236
141	235
140	234
139	233
138	232
137	231
136	230
135	229
134	228
133	227
132	226
131	225
130	224
129	223
128	222
127	221
126	220
125	219
124	218
123	217
122	216
121	215
120	214
119	213
118	212
117	211
116	210
115	209
114	208
113	207
112	206
111	205
110	204
109	203
108	202
107	201
106	200
105	199
104	198
103	197
102	196
101	195
100	194
99	193
98	192
97	191
96	190
95	189
94	188
93	187
92	186
91	185
90	184
89	183
88	182
87	181
86	180
85	179
84	178
83	177
82	176
81	175
80	174
79	173
78	172
77	171
76	170
75	169
74	168
73	167
72	166
71	165
70	164
69	163
68	162
67	161
66	160
65	159
64	158
63	157
62	156
61	155
60	154
59	153
58	152
57	151
56	150
55	149
54	148
53	147
52	146
51	145
50	144
49	143
48	142
47	141
46	140
45	139
44	138
43	137
42	136
41	135
40	134
39	133
38	132
37	131
36	130
35	129
34	128
33	127
32	126
31	125
30	124
29	123
28	122
27	121
26	120
25	119
24	118
23	117
22	116
21	115
20	114
19	113
18	112
17	111
16	110
15	109
14	108
13	107
12	106
11	105
10	104
9	103
8	102
7	101
6	100
5	99
4	97
3	84
2	72
1	56
0	43

end0.0ms

sample2.9s

Algorithm

intervals

Results

1.0s	5788×	body	80	valid
528.0ms	1095×	body	2560	valid
295.0ms	885×	body	1280	valid
293.0ms	2874×	body	80	nan
147.0ms	470×	body	640	valid
52.0ms	110×	body	5120	valid
47.0ms	244×	body	320	valid
19.0ms	116×	body	160	valid