Details

sample42.0ms

Algorithm

intervals

Results

22.0ms

433×

body

valid

simplify7.3s

Counts

1 → 1

Iterations

Iter	Nodes
done	5003
6	2763
5	1086
4	382
3	146
2	55
1	24
0	11

prune31.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 9.9b

localize71.0ms

Local error

Found 4 expressions with local error:

0.0b	(- (* x.re x.re) (* x.im x.im))
0.1b	(* (+ (* x.re x.im) (* x.im x.re)) x.im)
0.2b	(- (* (- (* x.re x.re) (* x.im x.im)) x.re) (* (+ (* x.re x.im) (* x.im x.re)) x.im))
9.4b	(* (- (* x.re x.re) (* x.im x.im)) x.re)

rewrite187.0ms

Algorithm

rewrite-expression-head

Rules

12×	`add-sqr-sqrt` `associate-*l/`
8×	`pow1` `*-un-lft-identity` `add-cbrt-cube` `add-exp-log` `add-cube-cbrt` `add-log-exp`
7×	`associate-l`
6×	`associate-r`
5×	`flip3--` `flip--`
4×	`expm1-log1p-u` `frac-sub` `insert-posit16` `log1p-expm1-u`
3×	`flip3-+` `flip-+`
2×	`sub-neg` `fma-neg` `diff-log` `prod-diff` `pow-prod-down` `prod-exp` `*-commutative` `cbrt-unprod` `difference-of-squares` `unswap-sqr`

Counts

4 → 86

Calls

4 calls:

19.0ms	(- (* x.re x.re) (* x.im x.im))
52.0ms	(* (+ (* x.re x.im) (* x.im x.re)) x.im)
60.0ms	(- (* (- (* x.re x.re) (* x.im x.im)) x.re) (* (+ (* x.re x.im) (* x.im x.re)) x.im))
50.0ms	(* (- (* x.re x.re) (* x.im x.im)) x.re)

series348.0ms

Counts

4 → 12

Calls

4 calls:

57.0ms	(- (* x.re x.re) (* x.im x.im))
70.0ms	(* (+ (* x.re x.im) (* x.im x.re)) x.im)
119.0ms	(- (* (- (* x.re x.re) (* x.im x.im)) x.re) (* (+ (* x.re x.im) (* x.im x.re)) x.im))
101.0ms	(* (- (* x.re x.re) (* x.im x.im)) x.re)

simplify5.1s

Counts

98 → 98

Iterations

Iter	Nodes
done	5000
2	1957
1	444
0	158

prune1.0s

Pruning

13 alts after pruning (13 fresh and 0 done)

Merged error: 0.1b

localize62.0ms

Local error

Found 4 expressions with local error:

0.0b	(* (- x.re x.im) x.re)
0.1b	(* (+ (* x.re x.im) (* x.im x.re)) x.im)
0.2b	(- (* (+ x.re x.im) (* (- x.re x.im) x.re)) (* (+ (* x.re x.im) (* x.im x.re)) x.im))
0.2b	(* (+ x.re x.im) (* (- x.re x.im) x.re))

rewrite316.0ms

Algorithm

rewrite-expression-head

Rules

44×	`associate-*l/`
18×	`flip3-+` `flip-+`
16×	`frac-sub`
15×	`add-sqr-sqrt`
13×	`pow1` `*-un-lft-identity` `add-cbrt-cube` `add-exp-log`
12×	`frac-times` `associate-l`
11×	`flip3--` `flip--`
9×	`add-cube-cbrt`
7×	`associate-r`
6×	`associate-*r/` `add-log-exp`
5×	`pow-prod-down` `prod-exp` `cbrt-unprod`
4×	`expm1-log1p-u` `insert-posit16` `log1p-expm1-u`
3×	`*-commutative`
2×	`unswap-sqr`
1×	`sub-neg` `fma-neg` `diff-log` `prod-diff` `distribute-lft-out` `distribute-lft-out--` `difference-of-squares`

Counts

4 → 111

Calls

4 calls:

49.0ms	(* (- x.re x.im) x.re)
40.0ms	(* (+ (* x.re x.im) (* x.im x.re)) x.im)
123.0ms	(- (* (+ x.re x.im) (* (- x.re x.im) x.re)) (* (+ (* x.re x.im) (* x.im x.re)) x.im))
94.0ms	(* (+ x.re x.im) (* (- x.re x.im) x.re))

series327.0ms

Counts

4 → 12

Calls

4 calls:

61.0ms	(* (- x.re x.im) x.re)
62.0ms	(* (+ (* x.re x.im) (* x.im x.re)) x.im)
103.0ms	(- (* (+ x.re x.im) (* (- x.re x.im) x.re)) (* (+ (* x.re x.im) (* x.im x.re)) x.im))
100.0ms	(* (+ x.re x.im) (* (- x.re x.im) x.re))

simplify6.6s

Counts

123 → 123

Iterations

Iter	Nodes
done	5000
2	4121
1	803
0	228

prune1.6s

Pruning

15 alts after pruning (15 fresh and 0 done)

Merged error: 0.0b

localize36.0ms

Local error

Found 3 expressions with local error:

0.0b	(* (- x.re x.im) x.re)
0.1b	(* (* x.re x.im) (+ x.im x.im))
0.2b	(fma (+ x.re x.im) (* (- x.re x.im) x.re) (- (* (* x.re x.im) (+ x.im x.im))))

rewrite116.0ms

Algorithm

rewrite-expression-head

Rules

15×	`associate-r`
14×	`add-sqr-sqrt` `*-un-lft-identity`
10×	`pow1` `add-cbrt-cube` `add-exp-log` `add-cube-cbrt`
6×	`associate-l`
4×	`pow-prod-down` `prod-exp` `cbrt-unprod`
3×	`expm1-log1p-u` `distribute-rgt-out` `insert-posit16` `log1p-expm1-u` `distribute-lft-out` `add-log-exp`
2×	`associate-l/` `associate-r/` `*-commutative`
1×	`distribute-rgt-in` `distribute-lft-in` `distribute-lft1-in` `flip3-+` `flip3--` `count-2` `distribute-rgt1-in` `flip-+` `fma-udef` `flip--` `distribute-lft-out--` `difference-of-squares` `unswap-sqr`

Counts

3 → 70

Calls

3 calls:

59.0ms	(* (- x.re x.im) x.re)
48.0ms	(* (* x.re x.im) (+ x.im x.im))
1.0ms	(fma (+ x.re x.im) (* (- x.re x.im) x.re) (- (* (* x.re x.im) (+ x.im x.im))))

series292.0ms

Counts

3 → 9

Calls

3 calls:

64.0ms	(* (- x.re x.im) x.re)
64.0ms	(* (* x.re x.im) (+ x.im x.im))
163.0ms	(fma (+ x.re x.im) (* (- x.re x.im) x.re) (- (* (* x.re x.im) (+ x.im x.im))))

simplify3.0s

Counts

79 → 79

Iterations

Iter	Nodes
done	5001
2	1143
1	307
0	116

prune1.1s

Pruning

14 alts after pruning (14 fresh and 0 done)

Merged error: 0.0b

localize41.0ms

Local error

Found 3 expressions with local error:

0.0b	(- (* x.re x.re) (* x.im x.re))
0.1b	(* (* x.re x.im) (+ x.im x.im))
0.2b	(fma (+ x.re x.im) (- (* x.re x.re) (* x.im x.re)) (- (* (* x.re x.im) (+ x.im x.im))))

rewrite60.0ms

Algorithm

rewrite-expression-head

Rules

12×	`associate-r`
10×	`*-un-lft-identity`
8×	`add-sqr-sqrt` `pow1` `add-cbrt-cube` `add-exp-log` `add-cube-cbrt`
5×	`add-log-exp`
3×	`expm1-log1p-u` `distribute-rgt-out` `pow-prod-down` `prod-exp` `cbrt-unprod` `insert-posit16` `log1p-expm1-u` `distribute-lft-out`
2×	`associate-*r/`
1×	`distribute-rgt-in` `sub-neg` `distribute-lft-in` `distribute-lft1-in` `flip3-+` `flip3--` `distribute-rgt-out--` `count-2` `fma-neg` `diff-log` `associate-l` `prod-diff` `distribute-rgt1-in` `*-commutative` `flip-+` `fma-udef` `flip--`

Counts

3 → 63

Calls

3 calls:

16.0ms	(- (* x.re x.re) (* x.im x.re))
37.0ms	(* (* x.re x.im) (+ x.im x.im))
1.0ms	(fma (+ x.re x.im) (- (* x.re x.re) (* x.im x.re)) (- (* (* x.re x.im) (+ x.im x.im))))

series274.0ms

Counts

3 → 9

Calls

3 calls:

73.0ms	(- (* x.re x.re) (* x.im x.re))
65.0ms	(* (* x.re x.im) (+ x.im x.im))
135.0ms	(fma (+ x.re x.im) (- (* x.re x.re) (* x.im x.re)) (- (* (* x.re x.im) (+ x.im x.im))))

simplify2.9s

Counts

72 → 72

Iterations

Iter	Nodes
done	5000
2	1214
1	314
0	112

prune839.0ms

Pruning

13 alts after pruning (12 fresh and 1 done)

Merged error: 0.0b

regimes606.0ms

Accuracy

0% (0.2b remaining)

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

bsearch0.0ms

simplify15.8s

Iterations

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

end0.0ms

sample2.3s

Algorithm

intervals

Results

1.8s

14413×

body

valid