Details

sample202.0ms

Algorithm

intervals

Results

13.0ms

261×

body

valid

simplify781.0ms

Counts

1 → 1

Iterations

Iter	Nodes
done	5000
10	1226
9	555
8	476
7	436
6	412
5	356
4	239
3	132
2	65
1	25
0	8

prune15.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.6b

localize26.0ms

Local error

Found 3 expressions with local error:

0.0b	(/ t1 (+ u t1))
0.0b	(/ (- v) (+ u t1))
1.8b	(* (/ (- v) (+ u t1)) (/ t1 (+ u t1)))

rewrite159.0ms

Algorithm

rewrite-expression-head

Rules

125×	`*-un-lft-identity`
108×	`times-frac`
81×	`add-sqr-sqrt`
69×	`add-cube-cbrt`
46×	`associate-l`
28×	`distribute-lft-out`
27×	`distribute-lft-neg-in` `distribute-rgt-neg-in`
19×	`add-cbrt-cube` `add-exp-log`
18×	`associate-r`
13×	`associate-/l*`
9×	`neg-mul-1`
8×	`associate-/r*` `associate-/r/`
6×	`cbrt-undiv` `div-exp`
5×	`pow1`
4×	`flip3-+` `prod-exp` `cbrt-unprod` `flip-+` `div-inv` `unswap-sqr`
3×	`add-log-exp`
2×	`clear-num` `frac-2neg` `distribute-frac-neg`
1×	`distribute-lft-neg-out` `neg-sub0` `frac-times` `div-sub` `pow-prod-down` `associate-l/` `associate-r/` `*-commutative`

Counts

3 → 192

Calls

3 calls:

18.0ms	(/ t1 (+ u t1))
13.0ms	(/ (- v) (+ u t1))
111.0ms	(* (/ (- v) (+ u t1)) (/ t1 (+ u t1)))

series216.0ms

Counts

3 → 9

Calls

3 calls:

76.0ms	(/ t1 (+ u t1))
49.0ms	(/ (- v) (+ u t1))
91.0ms	(* (/ (- v) (+ u t1)) (/ t1 (+ u t1)))

simplify1.8s

Counts

201 → 201

Iterations

Iter	Nodes
done	5000
2	3631
1	645
0	212

prune956.0ms

Pruning

6 alts after pruning (6 fresh and 0 done)

Merged error: 0b

localize46.0ms

Local error

Found 4 expressions with local error:

0.6b	(cbrt t1)
0.6b	(cbrt t1)
0.6b	(cbrt t1)
0.6b	(* (/ (cbrt t1) (cbrt (+ t1 u))) (/ (- v) (+ t1 u)))

rewrite155.0ms

Algorithm

rewrite-expression-head

Rules

95×	`times-frac`
90×	`add-sqr-sqrt`
89×	`*-un-lft-identity`
62×	`cbrt-prod`
57×	`add-cube-cbrt`
48×	`associate-l`
46×	`associate-r`
16×	`add-exp-log` `distribute-lft-out`
12×	`distribute-lft-neg-in` `distribute-rgt-neg-in` `add-cbrt-cube`
10×	`unswap-sqr`
6×	`pow1`
4×	`cbrt-undiv` `neg-mul-1` `div-exp` `prod-exp` `associate-/r/` `cbrt-unprod` `add-log-exp`
3×	`pow1/3`
2×	`cbrt-div` `flip3-+` `flip-+` `div-inv`
1×	`frac-times` `pow-prod-down` `associate-l/` `associate-r/` `distribute-frac-neg` `*-commutative` `distribute-rgt-neg-out`

Counts

4 → 158

Calls

4 calls:

1.0ms	(cbrt t1)
1.0ms	(cbrt t1)
2.0ms	(cbrt t1)
136.0ms	(* (/ (cbrt t1) (cbrt (+ t1 u))) (/ (- v) (+ t1 u)))

series1.1s

Counts

4 → 12

Calls

4 calls:

290.0ms	(cbrt t1)
284.0ms	(cbrt t1)
277.0ms	(cbrt t1)
228.0ms	(* (/ (cbrt t1) (cbrt (+ t1 u))) (/ (- v) (+ t1 u)))

simplify1.7s

Counts

170 → 170

Iterations

Iter	Nodes
done	5001
2	4232
1	720
0	220

prune1.2s

Pruning

6 alts after pruning (5 fresh and 1 done)

Merged error: 0b

localize39.0ms

Local error

Found 4 expressions with local error:

1.0b	(/ (* (- v) (* (cbrt (/ t1 (+ t1 u))) (cbrt (/ t1 (+ t1 u))))) (+ t1 u))
9.4b	(cbrt (/ t1 (+ u t1)))
9.4b	(cbrt (/ t1 (+ t1 u)))
9.4b	(cbrt (/ t1 (+ t1 u)))

rewrite104.0ms

Algorithm

rewrite-expression-head

Rules

54×	`cbrt-prod`
52×	`*-un-lft-identity`
40×	`times-frac`
30×	`add-sqr-sqrt` `add-cube-cbrt`
13×	`add-exp-log`
11×	`add-cbrt-cube` `distribute-lft-out`
8×	`associate-/r/`
7×	`cbrt-div`
4×	`pow1` `associate-/r` `flip3-+` `associate-r/` `flip-+` `div-inv` `add-log-exp`
3×	`cbrt-undiv` `pow1/3` `div-exp` `prod-exp` `cbrt-unprod` `associate-/l/`
1×	`distribute-lft-neg-out` `frac-times` `clear-num` `frac-2neg` `associate-l/` `distribute-frac-neg` `associate-/l`

Counts

4 → 112

Calls

4 calls:

84.0ms	(/ (* (- v) (* (cbrt (/ t1 (+ t1 u))) (cbrt (/ t1 (+ t1 u))))) (+ t1 u))
5.0ms	(cbrt (/ t1 (+ u t1)))
5.0ms	(cbrt (/ t1 (+ t1 u)))
5.0ms	(cbrt (/ t1 (+ t1 u)))

series709.0ms

Counts

4 → 12

Calls

4 calls:

195.0ms	(/ (* (- v) (* (cbrt (/ t1 (+ t1 u))) (cbrt (/ t1 (+ t1 u))))) (+ t1 u))
165.0ms	(cbrt (/ t1 (+ u t1)))
163.0ms	(cbrt (/ t1 (+ t1 u)))
186.0ms	(cbrt (/ t1 (+ t1 u)))

simplify994.0ms

Counts

124 → 124

Iterations

Iter	Nodes
done	5000
2	1738
1	425
0	202

prune828.0ms

Pruning

6 alts after pruning (4 fresh and 2 done)

Merged error: 0b

localize14.0ms

Local error

Found 4 expressions with local error:

0.0b	(/ (+ t1 u) t1)
0.0b	(/ (- v) (+ u t1))
0.6b	(/ 1 (/ (+ t1 u) t1))
1.8b	(* (/ (- v) (+ u t1)) (/ 1 (/ (+ t1 u) t1)))

rewrite207.0ms

Algorithm

rewrite-expression-head

Rules

289×	`times-frac`
248×	`*-un-lft-identity`
185×	`add-sqr-sqrt`
152×	`add-cube-cbrt`
64×	`add-exp-log`
53×	`associate-r`
46×	`associate-l` `distribute-lft-out`
34×	`add-cbrt-cube`
30×	`div-exp`
27×	`distribute-lft-neg-in` `distribute-rgt-neg-in`
23×	`associate-/r*`
17×	`associate-/l*`
14×	`cbrt-undiv` `prod-exp`
12×	`div-inv`
10×	`unswap-sqr`
9×	`neg-mul-1`
7×	`pow1`
6×	`rec-exp` `1-exp` `associate-/r/` `cbrt-unprod`
4×	`add-log-exp`
3×	`clear-num` `frac-2neg` `flip3-+` `flip-+`
2×	`distribute-frac-neg` `associate-/l/`
1×	`distribute-lft-neg-out` `neg-sub0` `frac-times` `div-sub` `pow-prod-down` `associate-l/` `associate-r/` `un-div-inv` `*-commutative` `pow-flip` `inv-pow`

Counts

4 → 334

Calls

4 calls:

15.0ms	(/ (+ t1 u) t1)
12.0ms	(/ (- v) (+ u t1))
28.0ms	(/ 1 (/ (+ t1 u) t1))
119.0ms	(* (/ (- v) (+ u t1)) (/ 1 (/ (+ t1 u) t1)))

series222.0ms

Counts

4 → 12

Calls

4 calls:

40.0ms	(/ (+ t1 u) t1)
35.0ms	(/ (- v) (+ u t1))
60.0ms	(/ 1 (/ (+ t1 u) t1))
86.0ms	(* (/ (- v) (+ u t1)) (/ 1 (/ (+ t1 u) t1)))

simplify613.0ms

Counts

346 → 346

Iterations

Iter	Nodes
done	5000
1	1212
0	370

prune1.6s

Pruning

6 alts after pruning (3 fresh and 3 done)

Merged error: 0b

regimes267.0ms

Accuracy

0% (1.3b remaining)

Error of 1.3b against oracle of 0.0b and baseline of 1.3b

bsearch0.0ms

simplify10.6s

Iterations

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

end0.0ms

sample1.4s

Algorithm

intervals

Results

972.0ms

8252×

body

valid