Details

sample102.0ms

Algorithm

intervals

Results

44.0ms	264×	body	80	nan
28.0ms	256×	body	80	valid

simplify7.0ms

Counts

1 → 1

Iterations

Iter	Nodes
done	23
1	23
0	18

prune12.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 31.1b

localize35.0ms

Local error

Found 4 expressions with local error:

0.3b	(* (log (sqrt (+ (* re re) (* im im)))) (log base))
0.4b	(/ (+ (* (atan2 im re) 0.0) (* (log (sqrt (+ (* re re) (* im im)))) (log base))) (+ (* (log base) (log base)) (* 0.0 0.0)))
0.6b	(* (log base) (log base))
28.8b	(sqrt (+ (* re re) (* im im)))

rewrite81.0ms

Algorithm

rewrite-expression-head

Rules

28×	`add-sqr-sqrt`
25×	`*-un-lft-identity`
23×	`pow1` `add-cube-cbrt`
12×	`log-prod`
10×	`add-cbrt-cube` `associate-l` `add-exp-log` `log-pow`
9×	`times-frac`
8×	`associate-r`
6×	`distribute-rgt-in` `distribute-lft-in` `swap-sqr`
4×	`add-log-exp`
3×	`associate-/r` `flip3-+` `sqrt-prod` `flip-+` `associate-/l`
2×	`sqrt-pow1` `pow1/2` `sqrt-div` `pow-prod-down` `prod-exp` `associate-/r/` `*-commutative` `cbrt-unprod` `unswap-sqr` `associate-/l/`
1×	`pow2` `cbrt-undiv` `rem-sqrt-square` `clear-num` `frac-2neg` `pow-plus` `div-exp` `pow-sqr` `pow-prod-up` `div-inv`

Counts

4 → 110

Calls

4 calls:

13.0ms	(* (log (sqrt (+ (* re re) (* im im)))) (log base))
40.0ms	(/ (+ (* (atan2 im re) 0.0) (* (log (sqrt (+ (* re re) (* im im)))) (log base))) (+ (* (log base) (log base)) (* 0.0 0.0)))
8.0ms	(* (log base) (log base))
18.0ms	(sqrt (+ (* re re) (* im im)))

series544.0ms

Counts

4 → 12

Calls

4 calls:

133.0ms	(* (log (sqrt (+ (* re re) (* im im)))) (log base))
127.0ms	(/ (+ (* (atan2 im re) 0.0) (* (log (sqrt (+ (* re re) (* im im)))) (log base))) (+ (* (log base) (log base)) (* 0.0 0.0)))
223.0ms	(* (log base) (log base))
59.0ms	(sqrt (+ (* re re) (* im im)))

simplify1.9s

Counts

122 → 122

Iterations

Iter	Nodes
done	5000
2	2905
1	515
0	205

prune897.0ms

Pruning

13 alts after pruning (13 fresh and 0 done)

Merged error: 0.3b

localize71.0ms

Local error

Found 4 expressions with local error:

0.4b	(/ (+ (* (atan2 im re) 0.0) (* (log (sqrt (+ (* re re) (* im im)))) (log base))) (- (pow (log base) 4) (* (pow 0.0 3) 0.0)))
0.6b	(* (log base) (log base))
0.9b	(pow (log base) 4)
28.8b	(sqrt (+ (* re re) (* im im)))

rewrite69.0ms

Algorithm

rewrite-expression-head

Rules

24×	`add-sqr-sqrt`
23×	`*-un-lft-identity`
21×	`add-cube-cbrt`
20×	`pow1`
9×	`times-frac` `add-exp-log`
8×	`add-cbrt-cube`
7×	`log-pow`
6×	`log-prod` `swap-sqr`
4×	`unpow-prod-down` `associate-r` `associate-l` `add-log-exp`
3×	`distribute-rgt-in` `pow-unpow` `associate-/r` `distribute-lft-in` `sqrt-prod` `associate-/l`
2×	`flip3-+` `sqrt-div` `associate-/r/` `flip-+` `associate-/l/`
1×	`pow2` `pow-to-exp` `cbrt-undiv` `rem-sqrt-square` `clear-num` `pow-pow` `frac-2neg` `sqrt-pow1` `pow-plus` `flip3--` `pow1/2` `div-exp` `pow-prod-down` `pow-exp` `prod-exp` `pow-sqr` `*-commutative` `pow-prod-up` `cbrt-unprod` `div-inv` `flip--` `unswap-sqr` `sqr-pow`

Counts

4 → 100

Calls

4 calls:

50.0ms	(/ (+ (* (atan2 im re) 0.0) (* (log (sqrt (+ (* re re) (* im im)))) (log base))) (- (pow (log base) 4) (* (pow 0.0 3) 0.0)))
8.0ms	(* (log base) (log base))
2.0ms	(pow (log base) 4)
7.0ms	(sqrt (+ (* re re) (* im im)))

series706.0ms

Counts

4 → 12

Calls

4 calls:

184.0ms	(/ (+ (* (atan2 im re) 0.0) (* (log (sqrt (+ (* re re) (* im im)))) (log base))) (- (pow (log base) 4) (* (pow 0.0 3) 0.0)))
262.0ms	(* (log base) (log base))
216.0ms	(pow (log base) 4)
44.0ms	(sqrt (+ (* re re) (* im im)))

simplify3.7s

Counts

112 → 112

Iterations

Iter	Nodes
done	5001
2	3627
1	536
0	195

prune788.0ms

Pruning

15 alts after pruning (15 fresh and 0 done)

Merged error: 0.3b

localize103.0ms

Local error

Found 4 expressions with local error:

0.9b	(pow (log base) 4)
28.8b	(sqrt (+ (* re re) (* im im)))
28.8b	(sqrt (+ (* re re) (* im im)))
28.8b	(sqrt (+ (* re re) (* im im)))

rewrite25.0ms

Algorithm

rewrite-expression-head

Rules

12×	`add-sqr-sqrt`
9×	`pow1` `*-un-lft-identity` `add-cube-cbrt` `sqrt-prod`
6×	`sqrt-div`
5×	`add-exp-log`
4×	`unpow-prod-down` `add-cbrt-cube` `add-log-exp`
3×	`rem-sqrt-square` `pow-unpow` `sqrt-pow1` `flip3-+` `pow1/2` `flip-+`
1×	`pow-to-exp` `pow-pow` `pow-exp` `log-pow` `sqr-pow`

Counts

4 → 63

Calls

4 calls:

4.0ms	(pow (log base) 4)
6.0ms	(sqrt (+ (* re re) (* im im)))
6.0ms	(sqrt (+ (* re re) (* im im)))
6.0ms	(sqrt (+ (* re re) (* im im)))

series364.0ms

Counts

4 → 12

Calls

4 calls:

237.0ms	(pow (log base) 4)
43.0ms	(sqrt (+ (* re re) (* im im)))
42.0ms	(sqrt (+ (* re re) (* im im)))
42.0ms	(sqrt (+ (* re re) (* im im)))

simplify1.8s

Counts

75 → 75

Iterations

Iter	Nodes
done	5001
3	2099
2	563
1	193
0	75

prune853.0ms

Pruning

15 alts after pruning (14 fresh and 1 done)

Merged error: 0.3b

localize100.0ms

Local error

Found 4 expressions with local error:

0.6b	(* (log base) (log base))
0.6b	(* (log base) (log base))
1.2b	(pow (log base) 6)
28.8b	(sqrt (+ (* re re) (* im im)))

rewrite44.0ms

Algorithm

rewrite-expression-head

Rules

33×	`pow1`
24×	`add-sqr-sqrt`
23×	`*-un-lft-identity`
19×	`add-cube-cbrt`
13×	`log-pow`
12×	`log-prod` `swap-sqr`
9×	`add-exp-log`
8×	`add-cbrt-cube` `associate-r` `associate-l`
6×	`distribute-rgt-in` `distribute-lft-in`
4×	`unpow-prod-down` `add-log-exp`
3×	`pow-unpow` `sqrt-prod`
2×	`pow2` `pow-plus` `sqrt-div` `pow-prod-down` `prod-exp` `pow-sqr` `*-commutative` `pow-prod-up` `cbrt-unprod` `unswap-sqr`
1×	`pow-to-exp` `rem-sqrt-square` `pow-pow` `sqrt-pow1` `flip3-+` `pow1/2` `pow-exp` `flip-+` `sqr-pow`

Counts

4 → 105

Calls

4 calls:

13.0ms	(* (log base) (log base))
14.0ms	(* (log base) (log base))
4.0ms	(pow (log base) 6)
11.0ms	(sqrt (+ (* re re) (* im im)))

series999.0ms

Counts

4 → 12

Calls

4 calls:

190.0ms	(* (log base) (log base))
526.0ms	(* (log base) (log base))
230.0ms	(pow (log base) 6)
53.0ms	(sqrt (+ (* re re) (* im im)))

simplify1.2s

Counts

117 → 117

Iterations

Iter	Nodes
done	5000
2	1758
1	307
0	114

prune777.0ms

Pruning

16 alts after pruning (14 fresh and 2 done)

Merged error: 0.3b

regimes650.0ms

Accuracy

45.1% (17.1b remaining)

Error of 17.5b against oracle of 0.4b and baseline of 31.5b

bsearch443.0ms

Steps

Iters	Range		Point
10	1.6343128467780486e+124	8.61389046210236e+138	4.3078278051786787e+133
10	1.5616267497116248e-250	6.40875993774134e-237	1.176053285745482e-249
6	-1.5227189765678896e-277	-1.0806619426453925e-278	-1.718328802427039e-278
4	-1.2396013335916552e+108	-7.198520720508104e+107	-8.872872797015364e+107

simplify25.0s

Iterations

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

end0.0ms

sample3.7s

Algorithm

intervals

Results

1.6s	8087×	body	80	nan
1.3s	8000×	body	80	valid