Details

sample141.0ms

Algorithm

intervals

Results

20.0ms

260×

body

valid

simplify2.5s

Counts

1 → 1

Iterations

Iter	Nodes
done	5026
12	3812
11	1306
10	538
9	373
8	319
7	285
6	269
5	223
4	188
3	122
2	63
1	25
0	8

prune5.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 16.4b

localize16.0ms

Local error

Found 2 expressions with local error:

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

rewrite109.0ms

Algorithm

rewrite-expression-head

Rules

20×	`*-un-lft-identity`
16×	`add-cbrt-cube` `add-exp-log`
12×	`flip3-+` `flip-+`
9×	`pow1`
8×	`add-sqr-sqrt` `frac-times` `associate-/r/`
6×	`swap-sqr` `add-cube-cbrt` `distribute-lft-out`
5×	`prod-exp` `cbrt-unprod`
4×	`cbrt-undiv` `div-exp` `associate-r` `associate-l` `associate-l/` `associate-r/`
2×	`insert-posit16` `add-log-exp`
1×	`distribute-lft-neg-out` `pow2` `distribute-rgt-in` `clear-num` `associate-/r` `frac-2neg` `distribute-lft-in` `times-frac` `pow-plus` `pow-prod-down` `distribute-frac-neg` `pow-sqr` `-commutative` `pow-prod-up` `div-inv` `associate-/l*` `unswap-sqr`

Counts

2 → 72

Calls

2 calls:

68.0ms	(* (+ t1 u) (+ t1 u))
38.0ms	(/ (* (- t1) v) (* (+ t1 u) (+ t1 u)))

series154.0ms

Counts

2 → 6

Calls

2 calls:

28.0ms	(* (+ t1 u) (+ t1 u))
126.0ms	(/ (* (- t1) v) (* (+ t1 u) (+ t1 u)))

simplify1.6s

Counts

78 → 78

Iterations

Iter	Nodes
done	5032
2	1948
1	419
0	114

prune333.0ms

Pruning

4 alts after pruning (4 fresh and 0 done)

Merged error: 0.0b

localize13.0ms

Local error

Found 3 expressions with local error:

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

rewrite125.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

3 → 195

Calls

3 calls:

13.0ms	(/ (- t1) (+ t1 u))
11.0ms	(/ v (+ t1 u))
94.0ms	(* (/ (- t1) (+ t1 u)) (/ v (+ t1 u)))

series255.0ms

Counts

3 → 9

Calls

3 calls:

60.0ms	(/ (- t1) (+ t1 u))
28.0ms	(/ v (+ t1 u))
167.0ms	(* (/ (- t1) (+ t1 u)) (/ v (+ t1 u)))

simplify2.1s

Counts

204 → 204

Iterations

Iter	Nodes
done	5004
2	2396
1	647
0	216

prune741.0ms

Pruning

5 alts after pruning (4 fresh and 1 done)

Merged error: 0b

localize35.0ms

Local error

Found 4 expressions with local error:

0.0b	(/ (- t1) (+ t1 u))
0.0b	(/ 1 (+ t1 u))
0.7b	(* (* (/ (- t1) (+ t1 u)) v) (/ 1 (+ t1 u)))
2.7b	(* (/ (- t1) (+ t1 u)) v)

rewrite209.0ms

Algorithm

rewrite-expression-head

Rules

127×	`*-un-lft-identity`
105×	`times-frac`
76×	`add-sqr-sqrt`
71×	`add-cube-cbrt`
54×	`add-exp-log`
47×	`associate-l`
34×	`add-cbrt-cube`
28×	`distribute-lft-out`
27×	`distribute-lft-neg-in` `distribute-rgt-neg-in`
22×	`prod-exp`
21×	`associate-r`
14×	`div-exp`
13×	`associate-/l*`
12×	`pow1` `cbrt-unprod`
9×	`neg-mul-1`
8×	`cbrt-undiv` `associate-/r*` `associate-/r/`
4×	`rec-exp` `flip3-+` `1-exp` `pow-prod-down` `associate-*l/` `flip-+` `insert-posit16` `div-inv` `add-log-exp`
3×	`distribute-lft-neg-out` `distribute-frac-neg`
2×	`clear-num` `frac-2neg` `*-commutative` `unswap-sqr`
1×	`neg-sub0` `frac-times` `div-sub` `associate-*r/` `un-div-inv` `pow-flip` `inv-pow`

Counts

4 → 229

Calls

4 calls:

18.0ms	(/ (- t1) (+ t1 u))
22.0ms	(/ 1 (+ t1 u))
103.0ms	(* (* (/ (- t1) (+ t1 u)) v) (/ 1 (+ t1 u)))
59.0ms	(* (/ (- t1) (+ t1 u)) v)

series468.0ms

Counts

4 → 12

Calls

4 calls:

71.0ms	(/ (- t1) (+ t1 u))
61.0ms	(/ 1 (+ t1 u))
227.0ms	(* (* (/ (- t1) (+ t1 u)) v) (/ 1 (+ t1 u)))
109.0ms	(* (/ (- t1) (+ t1 u)) v)

simplify2.4s

Counts

241 → 241

Iterations

Iter	Nodes
done	5002
2	2158
1	675
0	245

prune778.0ms

Pruning

5 alts after pruning (3 fresh and 2 done)

Merged error: 0b

localize14.0ms

Local error

Found 2 expressions with local error:

0.5b	(/ (/ (* (- t1) v) (+ t1 u)) (+ t1 u))
8.6b	(/ (* (- t1) v) (+ t1 u))

rewrite53.0ms

Algorithm

rewrite-expression-head

Rules

64×	`times-frac`
61×	`*-un-lft-identity`
25×	`add-sqr-sqrt` `add-cube-cbrt`
18×	`distribute-lft-out`
16×	`add-cbrt-cube` `add-exp-log`
14×	`associate-/r/`
11×	`associate-/l*`
8×	`associate-/r*`
7×	`cbrt-undiv` `flip3-+` `div-exp` `flip-+` `div-inv`
3×	`distribute-frac-neg`
2×	`distribute-lft-neg-out` `pow1` `clear-num` `frac-2neg` `prod-exp` `cbrt-unprod` `insert-posit16` `add-log-exp`
1×	`associate-/l/`

Counts

2 → 102

Calls

2 calls:

33.0ms	(/ (/ (* (- t1) v) (+ t1 u)) (+ t1 u))
17.0ms	(/ (* (- t1) v) (+ t1 u))

series193.0ms

Counts

2 → 6

Calls

2 calls:

124.0ms	(/ (/ (* (- t1) v) (+ t1 u)) (+ t1 u))
69.0ms	(/ (* (- t1) v) (+ t1 u))

simplify1.6s

Counts

108 → 108

Iterations

Iter	Nodes
done	5001
2	1420
1	397
0	146

prune398.0ms

Pruning

5 alts after pruning (2 fresh and 3 done)

Merged error: 0b

regimes141.0ms

Accuracy

0% (1.3b remaining)

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

bsearch0.0ms

simplify5.0s

Iterations

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

end0.0ms

sample810.0ms

Algorithm

intervals

Results

602.0ms

8276×

body

valid