Details

sample343.0ms

Algorithm

intervals

Results

87.0ms	74×	body	5120	valid
83.0ms	379×	body	80	nan
36.0ms	50×	body	2560	valid
25.0ms	212×	body	80	valid
19.0ms	32×	body	1280	valid
9.0ms	10×	body	10240	exit
7.0ms	15×	body	640	valid
3.0ms	9×	body	320	valid
2.0ms	7×	body	160	valid

simplify1.9s

Counts

1 → 1

Iterations

Iter	Nodes
done	5000
3	3419
2	295
1	60
0	21

prune26.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 56.4b

localize33.0ms

Local error

Found 4 expressions with local error:

15.8b	(/ (* c0 (* d d)) (* (* w h) (* D D)))
15.8b	(/ (* c0 (* d d)) (* (* w h) (* D D)))
15.8b	(/ (* c0 (* d d)) (* (* w h) (* D D)))
27.0b	(+ (/ (* c0 (* d d)) (* (* w h) (* D D))) (sqrt (- (* (/ (* c0 (* d d)) (* (* w h) (* D D))) (/ (* c0 (* d d)) (* (* w h) (* D D)))) (* M M))))

rewrite925.0ms

Algorithm

rewrite-expression-head

Rules

211×	`add-cbrt-cube` `add-exp-log`
117×	`prod-exp` `cbrt-unprod`
45×	`cbrt-undiv` `div-exp`
7×	`*-un-lft-identity`
6×	`add-log-exp`
5×	`add-sqr-sqrt` `fma-def` `add-cube-cbrt`
4×	`expm1-log1p-u` `pow1` `times-frac` `log1p-expm1-u` `div-inv`
3×	`clear-num` `associate-/r` `frac-2neg` `associate-/l`
2×	`sqrt-div` `frac-add`
1×	`+-commutative` `sum-log` `flip3-+` `flip3--` `flip-+` `flip--` `distribute-lft-out`

Counts

4 → 156

Calls

4 calls:

38.0ms	(/ (* c0 (* d d)) (* (* w h) (* D D)))
38.0ms	(/ (* c0 (* d d)) (* (* w h) (* D D)))
46.0ms	(/ (* c0 (* d d)) (* (* w h) (* D D)))
790.0ms	(+ (/ (* c0 (* d d)) (* (* w h) (* D D))) (sqrt (- (* (/ (* c0 (* d d)) (* (* w h) (* D D))) (/ (* c0 (* d d)) (* (* w h) (* D D)))) (* M M))))

series798.0ms

Counts

4 → 12

Calls

4 calls:

135.0ms	(/ (* c0 (* d d)) (* (* w h) (* D D)))
154.0ms	(/ (* c0 (* d d)) (* (* w h) (* D D)))
141.0ms	(/ (* c0 (* d d)) (* (* w h) (* D D)))
368.0ms	(+ (/ (* c0 (* d d)) (* (* w h) (* D D))) (sqrt (- (* (/ (* c0 (* d d)) (* (* w h) (* D D))) (/ (* c0 (* d d)) (* (* w h) (* D D)))) (* M M))))

simplify444.0ms

Counts

168 → 168

Iterations

Iter	Nodes
done	5000
1	639
0	163

prune1.0s

Pruning

14 alts after pruning (14 fresh and 0 done)

Merged error: 31.1b

localize7.0ms

Local error

Found 1 expressions with local error:

5.2b	(* (/ c0 (* 2.0 w)) 0)

rewrite19.0ms

Algorithm

rewrite-expression-head

Rules

10×	`add-cbrt-cube` `add-exp-log`
7×	`associate-l`
6×	`add-sqr-sqrt`
4×	`*-un-lft-identity` `prod-exp` `add-cube-cbrt` `cbrt-unprod`
3×	`pow1` `times-frac` `associate-r`
2×	`cbrt-undiv` `div-exp`
1×	`expm1-log1p-u` `mul0` `pow-prod-down` `associate-l/` `-commutative` `log1p-expm1-u` `div-inv` `add-log-exp` `unswap-sqr`

Counts

1 → 30

Calls

1 calls:

18.0ms

(* (/ c0 (* 2.0 w)) 0)

series2.0ms

Counts

1 → 3

Calls

1 calls:

2.0ms

(* (/ c0 (* 2.0 w)) 0)

simplify1.2s

Counts

33 → 33

Iterations

Iter	Nodes
done	5000
2	863
1	188
0	69

prune324.0ms

Pruning

14 alts after pruning (14 fresh and 0 done)

Merged error: 29.5b

localize2.0ms

rewrite0.0ms

Algorithm

rewrite-expression-head

Rules

Counts

0 → 0

series0.0ms

Counts: 0 → 0

simplify0.0ms

Counts

0 → 0

Iterations

Iter	Nodes
done	0
0	0

prune140.0ms

Pruning

14 alts after pruning (13 fresh and 1 done)

Merged error: 29.5b

localize76.0ms

Local error

Found 4 expressions with local error:

15.8b	(/ (* (* d d) (- c0)) (* (* (* w h) D) (- D)))
15.8b	(/ (* c0 (* d d)) (* (* w h) (* D D)))
15.8b	(/ (* c0 (* d d)) (* (* w h) (* D D)))
31.7b	(+ (/ (* (* d d) (- c0)) (* (* (* w h) D) (- D))) (sqrt (- (* (/ (* c0 (* d d)) (* (* w h) (* D D))) (/ (* c0 (* d d)) (* (* w h) (* D D)))) (* M M))))

rewrite982.0ms

Algorithm

rewrite-expression-head

Rules

196×	`add-cbrt-cube` `add-exp-log`
108×	`prod-exp` `cbrt-unprod`
42×	`cbrt-undiv` `div-exp`
7×	`*-un-lft-identity`
6×	`add-log-exp`
5×	`add-sqr-sqrt` `fma-def` `add-cube-cbrt`
4×	`expm1-log1p-u` `pow1` `times-frac` `log1p-expm1-u` `div-inv`
3×	`clear-num` `associate-/r` `frac-2neg` `associate-/l`
2×	`sqrt-div` `frac-add`
1×	`+-commutative` `sum-log` `flip3-+` `flip3--` `distribute-frac-neg` `distribute-rgt-neg-out` `flip-+` `flip--` `distribute-lft-out`

Counts

4 → 151

Calls

4 calls:

72.0ms	(/ (* (* d d) (- c0)) (* (* (* w h) D) (- D)))
44.0ms	(/ (* c0 (* d d)) (* (* w h) (* D D)))
48.0ms	(/ (* c0 (* d d)) (* (* w h) (* D D)))
811.0ms	(+ (/ (* (* d d) (- c0)) (* (* (* w h) D) (- D))) (sqrt (- (* (/ (* c0 (* d d)) (* (* w h) (* D D))) (/ (* c0 (* d d)) (* (* w h) (* D D)))) (* M M))))

series747.0ms

Counts

4 → 12

Calls

4 calls:

131.0ms	(/ (* (* d d) (- c0)) (* (* (* w h) D) (- D)))
151.0ms	(/ (* c0 (* d d)) (* (* w h) (* D D)))
141.0ms	(/ (* c0 (* d d)) (* (* w h) (* D D)))
324.0ms	(+ (/ (* (* d d) (- c0)) (* (* (* w h) D) (- D))) (sqrt (- (* (/ (* c0 (* d d)) (* (* w h) (* D D))) (/ (* c0 (* d d)) (* (* w h) (* D D)))) (* M M))))

simplify534.0ms

Counts

163 → 163

Iterations

Iter	Nodes
done	5001
1	969
0	241

prune1.0s

Pruning

15 alts after pruning (14 fresh and 1 done)

Merged error: 29.4b

regimes1.8s

Accuracy

-19.9% (4.4b remaining)

Error of 33.8b against oracle of 29.4b and baseline of 33.1b

bsearch3.0ms

simplify10.5s

Iterations

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

end0.0ms

sample14.5s

Algorithm

intervals

Results

3.4s	2357×	body	5120	valid
3.0s	12940×	body	80	nan
1.6s	922×	body	1280	valid
1.6s	1709×	body	2560	valid
1.1s	6721×	body	80	valid
721.0ms	440×	body	640	valid
701.0ms	609×	body	10240	exit
75.0ms	212×	body	320	valid
27.0ms	115×	body	160	valid