Details

sample228.0ms

Algorithm

intervals

Results

79.0ms	59×	body	1280	valid
70.0ms	53×	body	2560	valid
22.0ms	41×	body	640	valid
13.0ms	4×	body	5120	valid
8.0ms	72×	body	80	valid
8.0ms	19×	body	320	valid
2.0ms	8×	body	160	valid

simplify2.2s

Counts

1 → 1

Iterations

Iter	Nodes
done	1501
10	1501
9	1489
8	1336
7	1246
6	1065
5	802
4	460
3	223
2	98
1	42
0	23

prune21.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 43.3b

localize50.0ms

Local error

Found 4 expressions with local error:

2.6b	(* (* (/ t 16.0) b) (+ 1.0 (* 2.0 a)))
2.9b	(/ t (/ (/ 16.0 (+ (* 2.0 y) 1.0)) z))
31.5b	(cos (* (* (/ t 16.0) b) (+ 1.0 (* 2.0 a))))
33.9b	(cos (/ t (/ (/ 16.0 (+ (* 2.0 y) 1.0)) z)))

rewrite115.0ms

Algorithm

rewrite-expression-head

Rules

435×	`times-frac`
203×	`add-sqr-sqrt` `*-un-lft-identity` `add-cube-cbrt`
49×	`associate-/r*`
25×	`associate-/r/`
22×	`add-cbrt-cube` `add-exp-log`
17×	`div-inv`
14×	`flip3-+` `flip-+`
9×	`pow1`
7×	`cbrt-undiv` `div-exp`
5×	`prod-exp` `cbrt-unprod`
4×	`associate-*l/` `add-log-exp`
3×	`associate-r` `pow-prod-down` `associate-/l*`
2×	`distribute-rgt-in` `frac-times` `cos-sum` `distribute-lft-in` `associate-*r/`
1×	`clear-num` `frac-2neg` `associate-l` `*-commutative`

Counts

4 → 259

Calls

4 calls:

28.0ms	(* (* (/ t 16.0) b) (+ 1.0 (* 2.0 a)))
31.0ms	(/ t (/ (/ 16.0 (+ (* 2.0 y) 1.0)) z))
17.0ms	(cos (* (* (/ t 16.0) b) (+ 1.0 (* 2.0 a))))
24.0ms	(cos (/ t (/ (/ 16.0 (+ (* 2.0 y) 1.0)) z)))

series199.0ms

Counts

4 → 12

Calls

4 calls:

77.0ms	(* (* (/ t 16.0) b) (+ 1.0 (* 2.0 a)))
59.0ms	(/ t (/ (/ 16.0 (+ (* 2.0 y) 1.0)) z))
29.0ms	(cos (* (* (/ t 16.0) b) (+ 1.0 (* 2.0 a))))
34.0ms	(cos (/ t (/ (/ 16.0 (+ (* 2.0 y) 1.0)) z)))

simplify783.0ms

Counts

271 → 271

Iterations

Iter	Nodes
done	5001
1	1858
0	625

prune3.0s

Pruning

34 alts after pruning (34 fresh and 0 done)

Merged error: 38.4b

localize34.0ms

Local error

Found 4 expressions with local error:

0.0b	(* (/ t 16.0) b)
0.2b	(* (* (cos 0) x) (cos (* (* (/ t 16.0) b) (+ 1.0 (* 2.0 a)))))
2.6b	(* (* (/ t 16.0) b) (+ 1.0 (* 2.0 a)))
31.5b	(cos (* (* (/ t 16.0) b) (+ 1.0 (* 2.0 a))))

rewrite105.0ms

Algorithm

rewrite-expression-head

Rules

23×	`add-cbrt-cube` `add-exp-log`
19×	`add-sqr-sqrt`
16×	`pow1`
15×	`associate-l`
14×	`*-un-lft-identity` `add-cube-cbrt`
10×	`times-frac` `prod-exp` `cbrt-unprod`
9×	`associate-r`
7×	`pow-prod-down`
5×	`associate-*l/`
4×	`add-log-exp`
3×	`*-commutative`
2×	`distribute-rgt-in` `frac-times` `cbrt-undiv` `cos-sum` `distribute-lft-in` `flip3-+` `div-exp` `associate-*r/` `flip-+` `unswap-sqr`
1×	`div-inv`

Counts

4 → 86

Calls

4 calls:

11.0ms	(* (/ t 16.0) b)
37.0ms	(* (* (cos 0) x) (cos (* (* (/ t 16.0) b) (+ 1.0 (* 2.0 a)))))
34.0ms	(* (* (/ t 16.0) b) (+ 1.0 (* 2.0 a)))
21.0ms	(cos (* (* (/ t 16.0) b) (+ 1.0 (* 2.0 a))))

series213.0ms

Counts

4 → 12

Calls

4 calls:

32.0ms	(* (/ t 16.0) b)
79.0ms	(* (* (cos 0) x) (cos (* (* (/ t 16.0) b) (+ 1.0 (* 2.0 a)))))
71.0ms	(* (* (/ t 16.0) b) (+ 1.0 (* 2.0 a)))
30.0ms	(cos (* (* (/ t 16.0) b) (+ 1.0 (* 2.0 a))))

simplify1.8s

Counts

98 → 98

Iterations

Iter	Nodes
done	5000
2	3445
1	508
0	180

prune1.2s

Pruning

52 alts after pruning (52 fresh and 0 done)

Merged error: 36.5b

localize7.0ms

rewrite0.0ms

Algorithm

rewrite-expression-head

Rules

Counts

0 → 0

series0.0ms

Counts: 0 → 0

simplify0.0ms

Counts

0 → 0

Iterations

Iter	Nodes
done	0
0	0

prune545.0ms

Pruning

52 alts after pruning (51 fresh and 1 done)

Merged error: 36.5b

localize15.0ms

Local error

Found 2 expressions with local error:

0.1b	(* (* (cos 0) x) (cos (* 0.0625 (* t b))))
25.9b	(cos (* 0.0625 (* t b)))

rewrite47.0ms

Algorithm

rewrite-expression-head

Rules

7×	`pow1` `add-cbrt-cube` `add-exp-log`
3×	`add-sqr-sqrt` `-un-lft-identity` `associate-r*` `pow-prod-down` `prod-exp` `add-cube-cbrt` `cbrt-unprod`
2×	`add-log-exp`
1×	`associate-l` `*-commutative`

Counts

2 → 25

Calls

2 calls:

34.0ms	(* (* (cos 0) x) (cos (* 0.0625 (* t b))))
12.0ms	(cos (* 0.0625 (* t b)))

series54.0ms

Counts

2 → 6

Calls

2 calls:

42.0ms	(* (* (cos 0) x) (cos (* 0.0625 (* t b))))
12.0ms	(cos (* 0.0625 (* t b)))

simplify467.0ms

Counts

31 → 31

Iterations

Iter	Nodes
done	5000
2	762
1	109
0	45

prune167.0ms

Pruning

52 alts after pruning (51 fresh and 1 done)

Merged error: 36.5b

regimes4.9s

Accuracy

4.6% (4.9b remaining)

Error of 44.8b against oracle of 39.9b and baseline of 45.0b

bsearch384.0ms

Steps

Iters	Range		Point
7	1.9341951047573712e-29	3.1427474147747698e-27	2.5603082496791747e-28
6	-2.2995465435563575e+50	-1.5599804261144372e+49	-1.2027887978256916e+50

simplify9.8s

Iterations

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

end0.0ms

sample7.9s

Algorithm

intervals

Results

3.6s	1898×	body	2560	valid
2.6s	2291×	body	1280	valid
642.0ms	1165×	body	640	valid
303.0ms	1775×	body	80	valid
188.0ms	571×	body	320	valid
108.0ms	38×	body	5120	valid
59.0ms	262×	body	160	valid