Details

sample230.0ms

Algorithm

intervals

Results

134.0ms

541×

body

valid

simplify2.1s

Counts

1 → 1

Iterations

Iter	Nodes
done	5000
4	3439
3	656
2	152
1	51
0	22

prune26.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 12.3b

localize43.0ms

Local error

Found 4 expressions with local error:

2.9b	(* (* 0.125 (- 3.0 (* 2.0 v))) (* (* (* w w) r) r))
5.7b	(/ (* (* 0.125 (- 3.0 (* 2.0 v))) (* (* (* w w) r) r)) (- 1.0 v))
6.5b	(* (* (* w w) r) r)
10.9b	(* (* w w) r)

rewrite477.0ms

Algorithm

rewrite-expression-head

Rules

92×	`add-cbrt-cube` `add-exp-log`
57×	`prod-exp` `cbrt-unprod`
50×	`pow1`
33×	`pow-prod-down`
13×	`add-sqr-sqrt`
12×	`*-un-lft-identity`
9×	`cbrt-undiv` `div-exp`
8×	`add-cube-cbrt`
7×	`associate-r`
5×	`associate-/r*` `times-frac`
4×	`associate-l/` `associate-r/` `add-log-exp`
3×	`flip3--` `associate-l` `*-commutative` `flip--`
2×	`associate-/r/` `distribute-lft-out--` `difference-of-squares` `associate-/l/`
1×	`clear-num` `frac-2neg` `div-inv` `associate-/l*` `unswap-sqr`

Counts

4 → 119

Calls

4 calls:

211.0ms	(* (* 0.125 (- 3.0 (* 2.0 v))) (* (* (* w w) r) r))
174.0ms	(/ (* (* 0.125 (- 3.0 (* 2.0 v))) (* (* (* w w) r) r)) (- 1.0 v))
64.0ms	(* (* (* w w) r) r)
21.0ms	(* (* w w) r)

series314.0ms

Counts

4 → 12

Calls

4 calls:

112.0ms	(* (* 0.125 (- 3.0 (* 2.0 v))) (* (* (* w w) r) r))
120.0ms	(/ (* (* 0.125 (- 3.0 (* 2.0 v))) (* (* (* w w) r) r)) (- 1.0 v))
49.0ms	(* (* (* w w) r) r)
33.0ms	(* (* w w) r)

simplify427.0ms

Counts

131 → 131

Iterations

Iter	Nodes
done	5000
1	672
0	201

prune735.0ms

Pruning

10 alts after pruning (9 fresh and 1 done)

Merged error: 1.9b

localize72.0ms

Local error

Found 4 expressions with local error:

0.6b	(/ 2.0 (* r r))
1.2b	(/ (- 1.0 v) (* w (* w r)))
2.8b	(/ (* 0.125 (- 3.0 (* 2.0 v))) (/ (/ (- 1.0 v) (* w (* w r))) r))
7.7b	(/ (/ (- 1.0 v) (* w (* w r))) r)

rewrite148.0ms

Algorithm

rewrite-expression-head

Rules

170×	`times-frac`
82×	`add-sqr-sqrt` `*-un-lft-identity`
77×	`add-cbrt-cube` `add-exp-log`
58×	`add-cube-cbrt`
36×	`cbrt-undiv` `associate-/r*` `div-exp`
18×	`prod-exp` `cbrt-unprod` `associate-/l*`
16×	`div-inv`
12×	`distribute-lft-out--` `difference-of-squares`
5×	`associate-/l/`
4×	`pow1` `clear-num` `frac-2neg` `add-log-exp`
3×	`div-sub`
2×	`flip3--` `associate-*r/` `flip--`
1×	`associate-/r/`

Counts

4 → 206

Calls

4 calls:

12.0ms	(/ 2.0 (* r r))
34.0ms	(/ (- 1.0 v) (* w (* w r)))
48.0ms	(/ (* 0.125 (- 3.0 (* 2.0 v))) (/ (/ (- 1.0 v) (* w (* w r))) r))
36.0ms	(/ (/ (- 1.0 v) (* w (* w r))) r)

series299.0ms

Counts

4 → 12

Calls

4 calls:

41.0ms	(/ 2.0 (* r r))
77.0ms	(/ (- 1.0 v) (* w (* w r)))
112.0ms	(/ (* 0.125 (- 3.0 (* 2.0 v))) (/ (/ (- 1.0 v) (* w (* w r))) r))
68.0ms	(/ (/ (- 1.0 v) (* w (* w r))) r)

simplify957.0ms

Counts

218 → 218

Iterations

Iter	Nodes
done	5000
1	1195
0	364

prune1.6s

Pruning

12 alts after pruning (11 fresh and 1 done)

Merged error: 0.0b

localize49.0ms

Local error

Found 4 expressions with local error:

0.2b	(/ (/ (- 1.0 v) w) (* w r))
0.6b	(/ 2.0 (* r r))
2.8b	(/ (* 0.125 (- 3.0 (* 2.0 v))) (/ (/ (/ (- 1.0 v) w) (* w r)) r))
7.7b	(/ (/ (/ (- 1.0 v) w) (* w r)) r)

rewrite180.0ms

Algorithm

rewrite-expression-head

Rules

672×	`times-frac`
268×	`add-sqr-sqrt` `*-un-lft-identity`
196×	`add-cube-cbrt`
95×	`add-cbrt-cube` `add-exp-log`
78×	`associate-/r*`
53×	`cbrt-undiv` `div-exp`
46×	`associate-/l*`
36×	`distribute-lft-out--` `difference-of-squares`
28×	`div-inv`
15×	`prod-exp` `cbrt-unprod`
5×	`div-sub`
4×	`pow1` `clear-num` `frac-2neg` `add-log-exp` `associate-/l/`
2×	`associate-*r/`
1×	`flip3--` `associate-/r/` `flip--`

Counts

4 → 381

Calls

4 calls:

18.0ms	(/ (/ (- 1.0 v) w) (* w r))
6.0ms	(/ 2.0 (* r r))
82.0ms	(/ (* 0.125 (- 3.0 (* 2.0 v))) (/ (/ (/ (- 1.0 v) w) (* w r)) r))
34.0ms	(/ (/ (/ (- 1.0 v) w) (* w r)) r)

series381.0ms

Counts

4 → 12

Calls

4 calls:

88.0ms	(/ (/ (- 1.0 v) w) (* w r))
52.0ms	(/ 2.0 (* r r))
142.0ms	(/ (* 0.125 (- 3.0 (* 2.0 v))) (/ (/ (/ (- 1.0 v) w) (* w r)) r))
99.0ms	(/ (/ (/ (- 1.0 v) w) (* w r)) r)

simplify1.0s

Counts

393 → 393

Iterations

Iter	Nodes
done	5001
1	1958
0	601

prune3.0s

Pruning

10 alts after pruning (9 fresh and 1 done)

Merged error: 0.0b

localize54.0ms

Local error

Found 4 expressions with local error:

0.2b	(/ (/ (- 1.0 v) w) (* w r))
0.2b	(/ (/ 2.0 r) r)
2.8b	(/ (* 0.125 (- 3.0 (* 2.0 v))) (/ (/ (/ (- 1.0 v) w) (* w r)) r))
7.7b	(/ (/ (/ (- 1.0 v) w) (* w r)) r)

rewrite204.0ms

Algorithm

rewrite-expression-head

Rules

744×	`times-frac`
308×	`add-sqr-sqrt` `*-un-lft-identity`
236×	`add-cube-cbrt`
95×	`add-cbrt-cube` `add-exp-log`
80×	`associate-/r*`
56×	`associate-/l*`
54×	`cbrt-undiv` `div-exp`
36×	`distribute-lft-out--` `difference-of-squares`
32×	`div-inv`
14×	`prod-exp` `cbrt-unprod`
5×	`div-sub` `associate-/l/`
4×	`pow1` `clear-num` `frac-2neg` `add-log-exp`
2×	`associate-*r/`
1×	`flip3--` `associate-/r/` `flip--`

Counts

4 → 430

Calls

4 calls:

22.0ms	(/ (/ (- 1.0 v) w) (* w r))
8.0ms	(/ (/ 2.0 r) r)
63.0ms	(/ (* 0.125 (- 3.0 (* 2.0 v))) (/ (/ (/ (- 1.0 v) w) (* w r)) r))
57.0ms	(/ (/ (/ (- 1.0 v) w) (* w r)) r)

series360.0ms

Counts

4 → 12

Calls

4 calls:

103.0ms	(/ (/ (- 1.0 v) w) (* w r))
33.0ms	(/ (/ 2.0 r) r)
130.0ms	(/ (* 0.125 (- 3.0 (* 2.0 v))) (/ (/ (/ (- 1.0 v) w) (* w r)) r))
93.0ms	(/ (/ (/ (- 1.0 v) w) (* w r)) r)

simplify1.3s

Counts

442 → 442

Iterations

Iter	Nodes
done	5000
1	2205
0	691

prune3.4s

Pruning

11 alts after pruning (10 fresh and 1 done)

Merged error: 0.0b

regimes883.0ms

Accuracy

23.8% (2.2b remaining)

Error of 2.3b against oracle of 0.1b and baseline of 3.0b

bsearch384.0ms

Steps

Iters	Range		Point
9	4.130233467087371e-14	1.6862540341817733e-08	5.0115654096801183e-14
8	-1.0147413576371479e+179	-3.650186554927744e+175	-2.943062400229216e+176

simplify16.0s

Iterations

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

end0.0ms

sample3.8s

Algorithm

intervals

Results

3.2s

17178×

body

valid