range_stat_schema.sql

--
-- PostgreSQL database dump
--

SET statement_timeout = 0;
SET client_encoding = 'UTF8';
SET standard_conforming_strings = on;
SET check_function_bodies = false;
SET client_min_messages = warning;

--
-- Name: plpgsql; Type: EXTENSION; Schema: -; Owner: 
--

CREATE EXTENSION IF NOT EXISTS plpgsql WITH SCHEMA pg_catalog;


--
-- Name: EXTENSION plpgsql; Type: COMMENT; Schema: -; Owner: 
--

COMMENT ON EXTENSION plpgsql IS 'PL/pgSQL procedural language';


SET search_path = public, pg_catalog;

--
-- Name: floatrange; Type: TYPE; Schema: public; Owner: smagen
--

CREATE TYPE floatrange AS RANGE (
    subtype = double precision,
    subtype_diff = float8mi
);


ALTER TYPE public.floatrange OWNER TO smagen;

--
-- Name: generate_objects(integer, text, double precision, text, double precision); Type: FUNCTION; Schema: public; Owner: smagen
--

CREATE FUNCTION generate_objects(count integer, start_distr text, start_param double precision, size_distr text, size_param double precision) RETURNS SETOF floatrange
    LANGUAGE plpgsql COST 1
    AS $$
DECLARE
  i integer;
  range_start float8;
  range_size float8;
BEGIN
  FOR i IN 1..count LOOP
    range_start := generate_value(start_distr, start_param);
    range_size := generate_value(size_distr, size_param);
    RETURN NEXT floatrange(range_start, range_start + range_size);
  END LOOP;
END;
  $$;


ALTER FUNCTION public.generate_objects(count integer, start_distr text, start_param double precision, size_distr text, size_param double precision) OWNER TO smagen;

--
-- Name: generate_objects_clusters(integer, integer, text, double precision, text, double precision, text, double precision); Type: FUNCTION; Schema: public; Owner: smagen
--

CREATE FUNCTION generate_objects_clusters(count integer, cluster_size integer, center_distr text, center_param double precision, offset_distr text, offset_param double precision, size_distr text, size_param double precision) RETURNS SETOF floatrange
    LANGUAGE plpgsql COST 1
    AS $$
DECLARE
  n integer;
  i integer;
  cluster_center float8;
  range_start float8;
  range_size float8;
BEGIN
  n := 0;

  LOOP
    cluster_center := generate_value(center_distr, center_param);

    FOR i IN 1..cluster_size LOOP
      range_start := cluster_center + generate_value(offset_distr, offset_param);
      range_size := generate_value(size_distr, size_param);
      n := n + 1;
      RETURN NEXT floatrange(range_start, range_start + range_size);
      IF n >= count THEN
        RETURN;
      END IF;
    END LOOP;
    
  END LOOP;  
END;
  $$;


ALTER FUNCTION public.generate_objects_clusters(count integer, cluster_size integer, center_distr text, center_param double precision, offset_distr text, offset_param double precision, size_distr text, size_param double precision) OWNER TO smagen;

--
-- Name: generate_objects_lifetime(integer, text, double precision, text, double precision, text, double precision); Type: FUNCTION; Schema: public; Owner: smagen
--

CREATE FUNCTION generate_objects_lifetime(count integer, start_distr text, start_param double precision, lifetime_distr text, lifetime_param double precision, version_distr text, version_param double precision) RETURNS SETOF floatrange
    LANGUAGE plpgsql COST 1
    AS $$
DECLARE
  n integer;
  lifetime float8;
  start_time float8;
  version_time float8;
BEGIN
  n := 0;

  LOOP  
    start_time := generate_value(start_distr, start_param);
    lifetime := generate_value(lifetime_distr, lifetime_param);
    
    WHILE (lifetime > 0) LOOP
      version_time := generate_value(version_distr, version_param);
      lifetime := lifetime - version_time;
      n := n + 1;
      RETURN NEXT floatrange(start_time, start_time + version_time);
      IF n >= count THEN
        RETURN;
      END IF;
      start_time := start_time + version_time;
    END LOOP;  
  END LOOP;  
END;
  $$;


ALTER FUNCTION public.generate_objects_lifetime(count integer, start_distr text, start_param double precision, lifetime_distr text, lifetime_param double precision, version_distr text, version_param double precision) OWNER TO smagen;

--
-- Name: generate_value(text, double precision); Type: FUNCTION; Schema: public; Owner: smagen
--

CREATE FUNCTION generate_value(distr text, param double precision) RETURNS double precision
    LANGUAGE plpgsql COST 1
    AS $$
BEGIN
  IF distr = 'uniform' THEN
    RETURN random() * param;
  ELSIF distr = 'exponential' THEN
    RETURN (-param) * ln(1.0 - random());
  ELSIF distr = 'gaussian' THEN
    RETURN param * sin(2 * pi() * random()) * sqrt(-2.0 * ln(random()));
  ELSIF distr = 'gaussian_non_negative' THEN
    RETURN abs(param + param * sin(2 * pi() * random()) * sqrt(-2.0 * ln(random())));
  ELSE
    RAISE EXCEPTION 'Unknown distribution %s', distr;
  END IF;
END;
  $$;


ALTER FUNCTION public.generate_value(distr text, param double precision) OWNER TO smagen;

SET default_tablespace = '';

SET default_with_oids = false;

--
-- Name: datasets; Type: TABLE; Schema: public; Owner: smagen; Tablespace: 
--

CREATE TABLE datasets (
    id integer NOT NULL,
    distribution_type text,
    distr1 text,
    param1 double precision,
    distr2 text,
    param2 double precision,
    distr3 text,
    param3 double precision
);


ALTER TABLE public.datasets OWNER TO smagen;

--
-- Name: datasets_id_seq; Type: SEQUENCE; Schema: public; Owner: smagen
--

CREATE SEQUENCE datasets_id_seq
    START WITH 1
    INCREMENT BY 1
    NO MINVALUE
    NO MAXVALUE
    CACHE 1;


ALTER TABLE public.datasets_id_seq OWNER TO smagen;

--
-- Name: datasets_id_seq; Type: SEQUENCE OWNED BY; Schema: public; Owner: smagen
--

ALTER SEQUENCE datasets_id_seq OWNED BY datasets.id;


--
-- Name: datasets_id_seq; Type: SEQUENCE SET; Schema: public; Owner: smagen
--

SELECT pg_catalog.setval('datasets_id_seq', 37, true);


--
-- Name: test_results; Type: TABLE; Schema: public; Owner: smagen; Tablespace: 
--

CREATE TABLE test_results (
    test_id integer,
    dataset_id integer,
    operator text,
    estimate_count integer,
    actual_count integer
);


ALTER TABLE public.test_results OWNER TO smagen;

--
-- Name: tests; Type: TABLE; Schema: public; Owner: smagen; Tablespace: 
--

CREATE TABLE tests (
    id bigint,
    value floatrange
);


ALTER TABLE public.tests OWNER TO smagen;

--
-- Name: id; Type: DEFAULT; Schema: public; Owner: smagen
--

ALTER TABLE ONLY datasets ALTER COLUMN id SET DEFAULT nextval('datasets_id_seq'::regclass);


--
-- Data for Name: datasets; Type: TABLE DATA; Schema: public; Owner: smagen
--

COPY datasets (id, distribution_type, distr1, param1, distr2, param2, distr3, param3) FROM stdin;
37	simple	uniform	1000000	uniform	10	\N	\N
\.


--
-- Data for Name: test_results; Type: TABLE DATA; Schema: public; Owner: smagen
--

COPY test_results (test_id, dataset_id, operator, estimate_count, actual_count) FROM stdin;
1	37	&&	13614	13738
1	37	<@	13421	13733
1	37	@>	1	0
2	37	&&	16105	16552
2	37	<@	14752	16543
2	37	@>	1	0
3	37	&&	2485	2575
3	37	<@	2714	2569
3	37	@>	1	0
4	37	&&	1056	1051
4	37	<@	4089	1043
4	37	@>	1	0
5	37	&&	31912	31439
5	37	<@	29331	31430
5	37	@>	1	0
6	37	&&	922	807
6	37	<@	5232	794
6	37	@>	1	0
7	37	&&	17394	16775
7	37	<@	14171	16768
7	37	@>	1	0
8	37	&&	886	993
8	37	<@	3804	979
8	37	@>	1	0
9	37	&&	919	938
9	37	<@	3991	928
9	37	@>	1	0
10	37	&&	6921	6715
10	37	<@	4336	6703
10	37	@>	1	0
11	37	&&	2411	2558
11	37	<@	4921	2547
11	37	@>	1	0
12	37	&&	6788	6356
12	37	<@	5937	6347
12	37	@>	1	0
13	37	&&	5573	5659
13	37	<@	5875	5650
13	37	@>	1	0
14	37	&&	3671	3760
14	37	<@	5295	3744
14	37	@>	1	0
15	37	&&	357	373
15	37	<@	2615	363
15	37	@>	1	0
16	37	&&	19016	19284
16	37	<@	14147	19278
16	37	@>	1	0
17	37	&&	13500	14402
17	37	<@	11511	14392
17	37	@>	1	0
18	37	&&	5801	5623
18	37	<@	7291	5613
18	37	@>	1	0
19	37	&&	4739	4702
19	37	<@	3213	4691
19	37	@>	1	0
20	37	&&	4164	4450
20	37	<@	6107	4434
20	37	@>	1	0
21	37	&&	1579	1466
21	37	<@	5674	1456
21	37	@>	1	0
22	37	&&	1136	1175
22	37	<@	4179	1168
22	37	@>	1	0
23	37	&&	11899	12244
23	37	<@	7830	12229
23	37	@>	1	0
24	37	&&	745	818
24	37	<@	5177	814
24	37	@>	1	0
25	37	&&	7978	8414
25	37	<@	5021	8399
25	37	@>	1	0
26	37	&&	6290	6534
26	37	<@	6546	6526
26	37	@>	1	0
27	37	&&	10152	10695
27	37	<@	6728	10685
27	37	@>	1	0
28	37	&&	1497	1641
28	37	<@	4429	1635
28	37	@>	1	0
29	37	&&	3588	3342
29	37	<@	3403	3329
29	37	@>	1	0
30	37	&&	5444	5539
30	37	<@	5017	5537
30	37	@>	1	0
31	37	&&	4492	4475
31	37	<@	6715	4468
31	37	@>	1	0
32	37	&&	1214	1160
32	37	<@	5459	1152
32	37	@>	1	0
33	37	&&	28224	27950
33	37	<@	27484	27938
33	37	@>	1	0
34	37	&&	1213	1267
34	37	<@	3943	1259
34	37	@>	1	0
35	37	&&	778	802
35	37	<@	3724	793
35	37	@>	1	0
36	37	&&	9700	10847
36	37	<@	9740	10835
36	37	@>	1	0
37	37	&&	24972	25656
37	37	<@	23288	25647
37	37	@>	1	0
38	37	&&	1941	1950
38	37	<@	5013	1943
38	37	@>	1	0
39	37	&&	34353	34526
39	37	<@	29529	34513
39	37	@>	1	0
40	37	&&	6066	5555
40	37	<@	3071	5546
40	37	@>	1	0
41	37	&&	15950	16664
41	37	<@	15429	16653
41	37	@>	1	0
42	37	&&	3983	4118
42	37	<@	6487	4108
42	37	@>	1	0
43	37	&&	18242	19218
43	37	<@	13941	19209
43	37	@>	1	0
44	37	&&	7448	8243
44	37	<@	3953	8227
44	37	@>	1	0
45	37	&&	28934	28989
45	37	<@	24557	28977
45	37	@>	1	0
46	37	&&	5789	6109
46	37	<@	7007	6096
46	37	@>	1	0
47	37	&&	2961	3219
47	37	<@	1611	3208
47	37	@>	1	0
48	37	&&	5805	5808
48	37	<@	5190	5794
48	37	@>	1	0
49	37	&&	1085	1223
49	37	<@	4985	1215
49	37	@>	1	0
50	37	&&	7337	7528
50	37	<@	5232	7519
50	37	@>	1	0
51	37	&&	397	398
51	37	<@	470	386
51	37	@>	1	0
52	37	&&	4684	5213
52	37	<@	3574	5204
52	37	@>	1	0
53	37	&&	34014	33644
53	37	<@	32631	33636
53	37	@>	1	0
54	37	&&	9352	8720
54	37	<@	6566	8710
54	37	@>	1	0
55	37	&&	17790	17512
55	37	<@	16634	17502
55	37	@>	1	0
56	37	&&	6586	6390
56	37	<@	5748	6383
56	37	@>	1	0
57	37	&&	23286	23404
57	37	<@	21651	23395
57	37	@>	1	0
58	37	&&	1125	1116
58	37	<@	5236	1103
58	37	@>	1	0
59	37	&&	3058	3293
59	37	<@	6324	3285
59	37	@>	1	0
60	37	&&	21987	22322
60	37	<@	19743	22312
60	37	@>	1	0
61	37	&&	10772	11114
61	37	<@	9326	11107
61	37	@>	1	0
62	37	&&	7354	7417
62	37	<@	6687	7404
62	37	@>	1	0
63	37	&&	25140	25401
63	37	<@	20673	25387
63	37	@>	1	0
64	37	&&	1556	1574
64	37	<@	1151	1558
64	37	@>	1	0
65	37	&&	7896	7436
65	37	<@	7692	7418
65	37	@>	1	0
66	37	&&	2320	2404
66	37	<@	3488	2395
66	37	@>	1	0
67	37	&&	21735	20484
67	37	<@	19305	20477
67	37	@>	1	0
68	37	&&	7339	7415
68	37	<@	8567	7404
68	37	@>	1	0
69	37	&&	2364	2201
69	37	<@	2252	2193
69	37	@>	1	0
70	37	&&	13919	14576
70	37	<@	11882	14563
70	37	@>	1	0
71	37	&&	1294	1247
71	37	<@	3944	1230
71	37	@>	1	0
72	37	&&	11412	10884
72	37	<@	10949	10874
72	37	@>	1	0
73	37	&&	409	392
73	37	<@	1269	384
73	37	@>	1	0
74	37	&&	15684	14912
74	37	<@	11626	14902
74	37	@>	1	0
75	37	&&	5647	5843
75	37	<@	4154	5838
75	37	@>	1	0
76	37	&&	7332	7614
76	37	<@	7930	7608
76	37	@>	1	0
77	37	&&	246	257
77	37	<@	4553	243
77	37	@>	1	0
78	37	&&	376	419
78	37	<@	4705	411
78	37	@>	1	0
79	37	&&	391	407
79	37	<@	1912	403
79	37	@>	1	0
80	37	&&	34726	37341
80	37	<@	33811	37331
80	37	@>	1	0
81	37	&&	20888	19713
81	37	<@	18974	19704
81	37	@>	1	0
82	37	&&	1212	1389
82	37	<@	2707	1381
82	37	@>	1	0
83	37	&&	17671	16798
83	37	<@	13583	16785
83	37	@>	1	0
84	37	&&	8130	8277
84	37	<@	8224	8266
84	37	@>	1	0
85	37	&&	14826	14455
85	37	<@	12620	14445
85	37	@>	1	0
86	37	&&	314	327
86	37	<@	2217	320
86	37	@>	1	0
87	37	&&	8061	8459
87	37	<@	8693	8449
87	37	@>	1	0
88	37	&&	23278	21824
88	37	<@	20294	21818
88	37	@>	1	0
89	37	&&	6789	6363
89	37	<@	6865	6352
89	37	@>	1	0
90	37	&&	25578	26308
90	37	<@	21935	26297
90	37	@>	1	0
91	37	&&	4054	4130
91	37	<@	2972	4122
91	37	@>	1	0
92	37	&&	151	161
92	37	<@	507	154
92	37	@>	1	0
93	37	&&	7608	7614
93	37	<@	4806	7608
93	37	@>	1	0
94	37	&&	3663	3607
94	37	<@	2485	3594
94	37	@>	1	0
95	37	&&	3251	2796
95	37	<@	5816	2787
95	37	@>	1	0
96	37	&&	1551	1501
96	37	<@	4960	1494
96	37	@>	1	0
97	37	&&	6520	6437
97	37	<@	7352	6428
97	37	@>	1	0
98	37	&&	18171	17792
98	37	<@	15816	17784
98	37	@>	1	0
99	37	&&	24059	24893
99	37	<@	23260	24883
99	37	@>	1	0
100	37	&&	3834	3517
100	37	<@	5425	3507
100	37	@>	1	0
101	37	&&	12204	12918
101	37	<@	8841	12908
101	37	@>	1	0
102	37	&&	7651	7796
102	37	<@	5413	7789
102	37	@>	1	0
103	37	&&	200	188
103	37	<@	2777	185
103	37	@>	1	0
104	37	&&	25015	24813
104	37	<@	22278	24807
104	37	@>	1	0
105	37	&&	859	968
105	37	<@	3118	955
105	37	@>	1	0
106	37	&&	4749	4905
106	37	<@	3781	4891
106	37	@>	1	0
107	37	&&	3821	3874
107	37	<@	4488	3862
107	37	@>	1	0
108	37	&&	15350	15069
108	37	<@	13806	15058
108	37	@>	1	0
109	37	&&	6266	6274
109	37	<@	7925	6266
109	37	@>	1	0
110	37	&&	5967	5491
110	37	<@	3814	5480
110	37	@>	1	0
111	37	&&	4865	4627
111	37	<@	6163	4615
111	37	@>	1	0
112	37	&&	16313	16222
112	37	<@	14238	16207
112	37	@>	1	0
113	37	&&	16604	17323
113	37	<@	13012	17309
113	37	@>	1	0
114	37	&&	1318	1415
114	37	<@	1446	1405
114	37	@>	1	0
115	37	&&	216	215
115	37	<@	3403	207
115	37	@>	1	0
116	37	&&	5453	5403
116	37	<@	3039	5394
116	37	@>	1	0
117	37	&&	13299	13667
117	37	<@	11135	13657
117	37	@>	1	0
118	37	&&	497	562
118	37	<@	587	549
118	37	@>	1	0
119	37	&&	4719	4956
119	37	<@	4075	4949
119	37	@>	1	0
120	37	&&	2885	2802
120	37	<@	2595	2793
120	37	@>	1	0
121	37	&&	15646	16696
121	37	<@	12367	16687
121	37	@>	1	0
122	37	&&	23219	23344
122	37	<@	20597	23327
122	37	@>	1	0
123	37	&&	475	466
123	37	<@	474	461
123	37	@>	1	0
124	37	&&	38973	37264
124	37	<@	36513	37252
124	37	@>	1	0
125	37	&&	14976	14497
125	37	<@	11354	14485
125	37	@>	1	0
126	37	&&	2510	2391
126	37	<@	2030	2382
126	37	@>	1	0
127	37	&&	31754	31671
127	37	<@	30695	31663
127	37	@>	1	0
128	37	&&	39698	37528
128	37	<@	37367	37520
128	37	@>	1	0
129	37	&&	10584	10178
129	37	<@	9050	10169
129	37	@>	1	0
130	37	&&	7396	7392
130	37	<@	6605	7386
130	37	@>	1	0
131	37	&&	7394	7357
131	37	<@	7007	7347
131	37	@>	1	0
132	37	&&	5505	5257
132	37	<@	3982	5249
132	37	@>	1	0
133	37	&&	23414	22802
133	37	<@	18723	22794
133	37	@>	1	0
134	37	&&	297	285
134	37	<@	2618	273
134	37	@>	1	0
135	37	&&	5669	5672
135	37	<@	4422	5663
135	37	@>	1	0
136	37	&&	14649	14451
136	37	<@	11995	14441
136	37	@>	1	0
137	37	&&	25887	25413
137	37	<@	25288	25405
137	37	@>	1	0
138	37	&&	4418	4622
138	37	<@	2243	4607
138	37	@>	1	0
139	37	&&	4434	4419
139	37	<@	2428	4405
139	37	@>	1	0
140	37	&&	6485	6642
140	37	<@	4356	6633
140	37	@>	1	0
141	37	&&	13459	13482
141	37	<@	11097	13464
141	37	@>	1	0
142	37	&&	3548	3066
142	37	<@	4342	3050
142	37	@>	1	0
143	37	&&	12863	12526
143	37	<@	10281	12518
143	37	@>	1	0
144	37	&&	6976	6630
144	37	<@	6674	6619
144	37	@>	1	0
145	37	&&	4084	4122
145	37	<@	5836	4115
145	37	@>	1	0
146	37	&&	167	159
146	37	<@	2416	150
146	37	@>	1	0
147	37	&&	27722	28317
147	37	<@	26498	28310
147	37	@>	1	0
148	37	&&	1395	1395
148	37	<@	1584	1383
148	37	@>	1	0
149	37	&&	21446	22116
149	37	<@	20850	22105
149	37	@>	1	0
150	37	&&	1311	1327
150	37	<@	5435	1316
150	37	@>	1	0
151	37	&&	5675	5733
151	37	<@	6088	5721
151	37	@>	1	0
152	37	&&	7906	8473
152	37	<@	4619	8464
152	37	@>	1	0
153	37	&&	8071	8134
153	37	<@	5276	8122
153	37	@>	1	0
154	37	&&	4051	3867
154	37	<@	7007	3860
154	37	@>	1	0
155	37	&&	3410	3388
155	37	<@	4720	3384
155	37	@>	1	0
156	37	&&	426	462
156	37	<@	463	454
156	37	@>	1	0
157	37	&&	7366	6917
157	37	<@	6710	6910
157	37	@>	1	0
158	37	&&	12575	13387
158	37	<@	11033	13370
158	37	@>	1	0
159	37	&&	7591	7811
159	37	<@	6570	7801
159	37	@>	1	0
160	37	&&	8181	8463
160	37	<@	5139	8457
160	37	@>	1	0
161	37	&&	2336	2555
161	37	<@	2752	2540
161	37	@>	1	0
162	37	&&	14225	14195
162	37	<@	11655	14184
162	37	@>	1	0
163	37	&&	89	111
163	37	<@	1616	104
163	37	@>	1	0
164	37	&&	12	13
164	37	<@	2	2
164	37	@>	1	0
165	37	&&	465	470
165	37	<@	242	465
165	37	@>	1	0
166	37	&&	2369	2458
166	37	<@	3154	2444
166	37	@>	1	0
167	37	&&	103	113
167	37	<@	3255	109
167	37	@>	1	0
168	37	&&	17301	18181
168	37	<@	12374	18173
168	37	@>	1	0
169	37	&&	14553	13176
169	37	<@	13757	13163
169	37	@>	1	0
170	37	&&	6983	6473
170	37	<@	3880	6453
170	37	@>	1	0
171	37	&&	39136	36880
171	37	<@	35838	36871
171	37	@>	1	0
172	37	&&	481	498
172	37	<@	2418	487
172	37	@>	1	0
173	37	&&	16726	17806
173	37	<@	13758	17798
173	37	@>	1	0
174	37	&&	11524	11628
174	37	<@	8178	11615
174	37	@>	1	0
175	37	&&	8	13
175	37	<@	1	2
175	37	@>	2	3
176	37	&&	3307	3238
176	37	<@	2291	3227
176	37	@>	1	0
177	37	&&	17718	18450
177	37	<@	17582	18442
177	37	@>	1	0
178	37	&&	5026	4858
178	37	<@	5127	4844
178	37	@>	1	0
179	37	&&	26469	26674
179	37	<@	24358	26670
179	37	@>	1	0
180	37	&&	14363	13726
180	37	<@	14335	13719
180	37	@>	1	0
181	37	&&	7287	7128
181	37	<@	5769	7123
181	37	@>	1	0
182	37	&&	6158	6147
182	37	<@	3630	6135
182	37	@>	1	0
183	37	&&	13408	14119
183	37	<@	11307	14109
183	37	@>	1	0
184	37	&&	880	910
184	37	<@	836	903
184	37	@>	1	0
185	37	&&	6093	6200
185	37	<@	3538	6193
185	37	@>	1	0
186	37	&&	8128	7142
186	37	<@	4600	7136
186	37	@>	1	0
187	37	&&	999	997
187	37	<@	552	984
187	37	@>	1	0
188	37	&&	25954	24982
188	37	<@	25785	24973
188	37	@>	1	0
189	37	&&	4304	4180
189	37	<@	2554	4168
189	37	@>	1	0
190	37	&&	3979	3759
190	37	<@	2534	3748
190	37	@>	1	0
191	37	&&	20047	20013
191	37	<@	15522	20005
191	37	@>	1	0
192	37	&&	7947	8274
192	37	<@	4663	8266
192	37	@>	1	0
193	37	&&	10582	10355
193	37	<@	7884	10345
193	37	@>	1	0
194	37	&&	7756	8146
194	37	<@	5686	8132
194	37	@>	1	0
195	37	&&	4755	4096
195	37	<@	2428	4084
195	37	@>	1	0
196	37	&&	7674	8089
196	37	<@	4683	8081
196	37	@>	1	0
197	37	&&	2840	3127
197	37	<@	5394	3113
197	37	@>	1	0
198	37	&&	4660	4486
198	37	<@	4777	4478
198	37	@>	1	0
199	37	&&	3935	3607
199	37	<@	3912	3597
199	37	@>	1	0
200	37	&&	7360	7239
200	37	<@	4277	7221
200	37	@>	1	0
201	37	&&	178	196
201	37	<@	798	184
201	37	@>	1	0
202	37	&&	2518	2334
202	37	<@	5631	2324
202	37	@>	1	0
203	37	&&	8088	8590
203	37	<@	5657	8580
203	37	@>	1	0
204	37	&&	412	461
204	37	<@	2123	451
204	37	@>	1	0
205	37	&&	13165	13337
205	37	<@	9371	13331
205	37	@>	1	0
206	37	&&	2864	2864
206	37	<@	2336	2856
206	37	@>	1	0
207	37	&&	31678	31566
207	37	<@	31423	31555
207	37	@>	1	0
208	37	&&	3659	3592
208	37	<@	4348	3582
208	37	@>	1	0
209	37	&&	13969	14237
209	37	<@	13044	14224
209	37	@>	1	0
210	37	&&	1872	1902
210	37	<@	3391	1899
210	37	@>	1	0
211	37	&&	1759	1633
211	37	<@	3922	1620
211	37	@>	1	0
212	37	&&	27989	26798
212	37	<@	25519	26789
212	37	@>	1	0
213	37	&&	12963	12851
213	37	<@	8261	12844
213	37	@>	1	0
214	37	&&	5518	5623
214	37	<@	6467	5614
214	37	@>	1	0
215	37	&&	14349	13427
215	37	<@	9930	13412
215	37	@>	1	0
216	37	&&	15307	15673
216	37	<@	14865	15668
216	37	@>	1	0
217	37	&&	36848	37049
217	37	<@	33895	37033
217	37	@>	1	0
218	37	&&	4046	4326
218	37	<@	4041	4320
218	37	@>	1	0
219	37	&&	1229	1250
219	37	<@	5285	1241
219	37	@>	1	0
220	37	&&	6314	6297
220	37	<@	6580	6291
220	37	@>	1	0
221	37	&&	3190	3174
221	37	<@	5334	3167
221	37	@>	1	0
222	37	&&	6165	6046
222	37	<@	3304	6027
222	37	@>	1	0
223	37	&&	7312	7713
223	37	<@	4387	7702
223	37	@>	1	0
224	37	&&	16780	17542
224	37	<@	15833	17537
224	37	@>	1	0
225	37	&&	8935	9247
225	37	<@	7471	9235
225	37	@>	1	0
226	37	&&	4565	4865
226	37	<@	4723	4857
226	37	@>	1	0
227	37	&&	11754	12523
227	37	<@	11240	12505
227	37	@>	1	0
228	37	&&	1787	1965
228	37	<@	3544	1958
228	37	@>	1	0
229	37	&&	9417	9413
229	37	<@	8395	9407
229	37	@>	1	0
230	37	&&	6536	6118
230	37	<@	6170	6107
230	37	@>	1	0
231	37	&&	8541	8468
231	37	<@	7651	8460
231	37	@>	1	0
232	37	&&	1116	1018
232	37	<@	2549	1009
232	37	@>	1	0
233	37	&&	2647	2775
233	37	<@	4027	2767
233	37	@>	1	0
234	37	&&	1024	984
234	37	<@	5106	977
234	37	@>	1	0
235	37	&&	21824	21419
235	37	<@	20940	21412
235	37	@>	1	0
236	37	&&	2288	2408
236	37	<@	5683	2399
236	37	@>	1	0
237	37	&&	3424	3177
237	37	<@	3095	3165
237	37	@>	1	0
238	37	&&	4902	4780
238	37	<@	6811	4771
238	37	@>	1	0
239	37	&&	5417	5316
239	37	<@	5491	5308
239	37	@>	1	0
240	37	&&	1040	1051
240	37	<@	654	1041
240	37	@>	1	0
241	37	&&	2481	2345
241	37	<@	5283	2331
241	37	@>	1	0
242	37	&&	15052	14968
242	37	<@	13407	14963
242	37	@>	1	0
243	37	&&	16181	16328
243	37	<@	16074	16318
243	37	@>	1	0
244	37	&&	3938	4298
244	37	<@	5827	4289
244	37	@>	1	0
245	37	&&	8304	8299
245	37	<@	5639	8286
245	37	@>	1	0
246	37	&&	13682	13820
246	37	<@	10628	13809
246	37	@>	1	0
247	37	&&	476	450
247	37	<@	1298	440
247	37	@>	1	0
248	37	&&	11531	11520
248	37	<@	10236	11500
248	37	@>	1	0
249	37	&&	16480	17133
249	37	<@	13365	17126
249	37	@>	1	0
250	37	&&	11183	10358
250	37	<@	6527	10351
250	37	@>	1	0
251	37	&&	4421	4207
251	37	<@	4944	4202
251	37	@>	1	0
252	37	&&	19230	19663
252	37	<@	14537	19651
252	37	@>	1	0
253	37	&&	7295	7350
253	37	<@	3738	7338
253	37	@>	1	0
254	37	&&	5974	5746
254	37	<@	7148	5735
254	37	@>	1	0
255	37	&&	6263	5989
255	37	<@	5871	5979
255	37	@>	1	0
256	37	&&	29840	31082
256	37	<@	25836	31067
256	37	@>	1	0
257	37	&&	270	303
257	37	<@	3556	289
257	37	@>	1	0
258	37	&&	8827	8341
258	37	<@	6834	8330
258	37	@>	1	0
259	37	&&	12215	11485
259	37	<@	10992	11477
259	37	@>	1	0
260	37	&&	2709	2646
260	37	<@	5164	2640
260	37	@>	1	0
261	37	&&	12938	12475
261	37	<@	10520	12467
261	37	@>	1	0
262	37	&&	5070	4829
262	37	<@	4748	4822
262	37	@>	1	0
263	37	&&	17624	18104
263	37	<@	12880	18096
263	37	@>	1	0
264	37	&&	480	469
264	37	<@	402	456
264	37	@>	1	0
265	37	&&	18365	18349
265	37	<@	16380	18344
265	37	@>	1	0
266	37	&&	5091	4415
266	37	<@	5077	4403
266	37	@>	1	0
267	37	&&	7797	8247
267	37	<@	6234	8237
267	37	@>	1	0
268	37	&&	15859	16354
268	37	<@	13413	16345
268	37	@>	1	0
269	37	&&	5994	6214
269	37	<@	4827	6205
269	37	@>	1	0
270	37	&&	84	99
270	37	<@	2150	87
270	37	@>	1	0
271	37	&&	14838	14848
271	37	<@	12769	14839
271	37	@>	1	0
272	37	&&	8288	8133
272	37	<@	7334	8121
272	37	@>	1	0
273	37	&&	11669	11924
273	37	<@	10590	11915
273	37	@>	1	0
274	37	&&	9761	9677
274	37	<@	9596	9665
274	37	@>	1	0
275	37	&&	395	413
275	37	<@	3802	402
275	37	@>	1	0
276	37	&&	9844	9921
276	37	<@	7363	9911
276	37	@>	1	0
277	37	&&	18247	19014
277	37	<@	16282	19005
277	37	@>	1	0
278	37	&&	7873	7289
278	37	<@	8813	7276
278	37	@>	1	0
279	37	&&	839	940
279	37	<@	3729	924
279	37	@>	1	0
280	37	&&	3994	4082
280	37	<@	6832	4072
280	37	@>	1	0
281	37	&&	3095	3000
281	37	<@	1807	2984
281	37	@>	1	0
282	37	&&	1353	1186
282	37	<@	1308	1174
282	37	@>	1	0
283	37	&&	25817	24928
283	37	<@	21914	24915
283	37	@>	1	0
284	37	&&	21843	21843
284	37	<@	19546	21836
284	37	@>	1	0
285	37	&&	1659	1568
285	37	<@	2404	1553
285	37	@>	1	0
286	37	&&	3137	3450
286	37	<@	4491	3440
286	37	@>	1	0
287	37	&&	19836	19633
287	37	<@	15260	19629
287	37	@>	1	0
288	37	&&	12664	12723
288	37	<@	11967	12711
288	37	@>	1	0
289	37	&&	38007	37025
289	37	<@	37334	37016
289	37	@>	1	0
290	37	&&	27485	27458
290	37	<@	25384	27447
290	37	@>	1	0
291	37	&&	2426	2441
291	37	<@	3063	2426
291	37	@>	1	0
292	37	&&	16176	14748
292	37	<@	13909	14737
292	37	@>	1	0
293	37	&&	8596	8890
293	37	<@	8241	8879
293	37	@>	1	0
294	37	&&	13386	13327
294	37	<@	9296	13318
294	37	@>	1	0
295	37	&&	17983	18368
295	37	<@	16310	18353
295	37	@>	1	0
296	37	&&	10221	9307
296	37	<@	8002	9293
296	37	@>	1	0
297	37	&&	14765	15107
297	37	<@	10000	15097
297	37	@>	1	0
298	37	&&	25595	24456
298	37	<@	24376	24445
298	37	@>	1	0
299	37	&&	10752	9918
299	37	<@	6673	9907
299	37	@>	1	0
300	37	&&	709	807
300	37	<@	940	798
300	37	@>	1	0
301	37	&&	12506	11652
301	37	<@	7867	11645
301	37	@>	1	0
302	37	&&	11918	11747
302	37	<@	11074	11738
302	37	@>	1	0
303	37	&&	2227	2280
303	37	<@	2484	2276
303	37	@>	1	0
304	37	&&	1098	1077
304	37	<@	3912	1065
304	37	@>	1	0
305	37	&&	13112	14388
305	37	<@	8569	14383
305	37	@>	1	0
306	37	&&	2288	2195
306	37	<@	5860	2188
306	37	@>	1	0
307	37	&&	9424	9377
307	37	<@	4968	9368
307	37	@>	1	0
308	37	&&	294	286
308	37	<@	1161	278
308	37	@>	1	0
309	37	&&	2696	2942
309	37	<@	1489	2929
309	37	@>	1	0
310	37	&&	21174	20459
310	37	<@	19303	20453
310	37	@>	1	0
311	37	&&	19089	19171
311	37	<@	15367	19162
311	37	@>	1	0
312	37	&&	2140	2172
312	37	<@	1856	2163
312	37	@>	1	0
313	37	&&	2189	2137
313	37	<@	3932	2127
313	37	@>	1	0
314	37	&&	3830	3976
314	37	<@	5993	3969
314	37	@>	1	0
315	37	&&	23921	23654
315	37	<@	20204	23641
315	37	@>	1	0
316	37	&&	9019	9032
316	37	<@	6500	9023
316	37	@>	1	0
317	37	&&	14090	14472
317	37	<@	13886	14462
317	37	@>	1	0
318	37	&&	1480	1544
318	37	<@	3702	1535
318	37	@>	1	0
319	37	&&	12499	12254
319	37	<@	10001	12239
319	37	@>	1	0
320	37	&&	1778	1721
320	37	<@	2551	1712
320	37	@>	1	0
321	37	&&	3241	3349
321	37	<@	4067	3342
321	37	@>	1	0
322	37	&&	5509	5573
322	37	<@	6047	5568
322	37	@>	1	0
323	37	&&	3605	3940
323	37	<@	5063	3931
323	37	@>	1	0
324	37	&&	919	930
324	37	<@	3920	916
324	37	@>	1	0
325	37	&&	3122	2701
325	37	<@	1634	2695
325	37	@>	1	0
326	37	&&	11027	10901
326	37	<@	8893	10891
326	37	@>	1	0
327	37	&&	6288	5877
327	37	<@	3512	5871
327	37	@>	1	0
328	37	&&	12509	12732
328	37	<@	9387	12719
328	37	@>	1	0
329	37	&&	35090	35031
329	37	<@	35053	35016
329	37	@>	1	0
330	37	&&	6530	6186
330	37	<@	5986	6178
330	37	@>	1	0
331	37	&&	5940	6132
331	37	<@	4407	6122
331	37	@>	1	0
332	37	&&	6476	6432
332	37	<@	4428	6424
332	37	@>	1	0
333	37	&&	4276	4387
333	37	<@	5456	4379
333	37	@>	1	0
334	37	&&	2362	2208
334	37	<@	2926	2200
334	37	@>	1	0
335	37	&&	19541	19886
335	37	<@	17504	19875
335	37	@>	1	0
336	37	&&	7031	7172
336	37	<@	8352	7167
336	37	@>	1	0
337	37	&&	12578	12209
337	37	<@	11731	12197
337	37	@>	1	0
338	37	&&	380	419
338	37	<@	4811	408
338	37	@>	1	0
339	37	&&	5771	5342
339	37	<@	5376	5335
339	37	@>	1	0
340	37	&&	8915	8888
340	37	<@	8221	8877
340	37	@>	1	0
341	37	&&	971	968
341	37	<@	2681	960
341	37	@>	1	0
342	37	&&	13001	13340
342	37	<@	10033	13324
342	37	@>	1	0
343	37	&&	1232	1311
343	37	<@	3479	1304
343	37	@>	1	0
344	37	&&	1896	1813
344	37	<@	4506	1806
344	37	@>	1	0
345	37	&&	7261	7025
345	37	<@	4788	7020
345	37	@>	1	0
346	37	&&	34915	35067
346	37	<@	34495	35055
346	37	@>	1	0
347	37	&&	11454	11371
347	37	<@	10122	11359
347	37	@>	1	0
348	37	&&	2020	2019
348	37	<@	4293	2010
348	37	@>	1	0
349	37	&&	668	603
349	37	<@	1062	594
349	37	@>	1	0
350	37	&&	856	847
350	37	<@	825	837
350	37	@>	1	0
351	37	&&	13218	13214
351	37	<@	10884	13205
351	37	@>	1	0
352	37	&&	708	717
352	37	<@	2807	709
352	37	@>	1	0
353	37	&&	8018	7960
353	37	<@	7655	7952
353	37	@>	1	0
354	37	&&	5787	6035
354	37	<@	7119	6023
354	37	@>	1	0
355	37	&&	2523	2742
355	37	<@	2895	2726
355	37	@>	1	0
356	37	&&	9616	9242
356	37	<@	7888	9235
356	37	@>	1	0
357	37	&&	3625	3680
357	37	<@	6067	3667
357	37	@>	1	0
358	37	&&	19941	20036
358	37	<@	18261	20024
358	37	@>	1	0
359	37	&&	15424	15501
359	37	<@	14112	15488
359	37	@>	1	0
360	37	&&	7914	7455
360	37	<@	6185	7445
360	37	@>	1	0
361	37	&&	10246	10562
361	37	<@	9661	10555
361	37	@>	1	0
362	37	&&	3129	2849
362	37	<@	6246	2838
362	37	@>	1	0
363	37	&&	28660	28548
363	37	<@	24545	28539
363	37	@>	1	0
364	37	&&	4667	4624
364	37	<@	5009	4616
364	37	@>	1	0
365	37	&&	17317	17074
365	37	<@	12354	17066
365	37	@>	1	0
366	37	&&	25623	25495
366	37	<@	24769	25484
366	37	@>	1	0
367	37	&&	397	414
367	37	<@	4462	400
367	37	@>	1	0
368	37	&&	7562	8039
368	37	<@	7557	8035
368	37	@>	1	0
369	37	&&	1056	1033
369	37	<@	3048	1020
369	37	@>	1	0
370	37	&&	7962	7804
370	37	<@	8888	7797
370	37	@>	1	0
371	37	&&	6595	6512
371	37	<@	4335	6507
371	37	@>	1	0
372	37	&&	11219	11168
372	37	<@	8148	11160
372	37	@>	1	0
373	37	&&	5972	6423
373	37	<@	5434	6416
373	37	@>	1	0
374	37	&&	2430	2536
374	37	<@	4127	2524
374	37	@>	1	0
375	37	&&	7837	8418
375	37	<@	7731	8407
375	37	@>	1	0
376	37	&&	7484	8071
376	37	<@	7580	8058
376	37	@>	1	0
377	37	&&	3005	3031
377	37	<@	2631	3025
377	37	@>	1	0
378	37	&&	8104	8360
378	37	<@	8466	8350
378	37	@>	1	0
379	37	&&	2509	2668
379	37	<@	2795	2658
379	37	@>	1	0
380	37	&&	2454	2358
380	37	<@	4580	2351
380	37	@>	1	0
381	37	&&	5122	4705
381	37	<@	3142	4695
381	37	@>	1	0
382	37	&&	8733	8720
382	37	<@	7426	8705
382	37	@>	1	0
383	37	&&	1342	1294
383	37	<@	1226	1290
383	37	@>	1	0
384	37	&&	35	26
384	37	<@	3143	19
384	37	@>	1	0
385	37	&&	47703	47691
385	37	<@	46865	47681
385	37	@>	1	0
386	37	&&	7907	8238
386	37	<@	7023	8232
386	37	@>	1	0
387	37	&&	11245	11690
387	37	<@	9313	11679
387	37	@>	1	0
388	37	&&	2935	3125
388	37	<@	6158	3113
388	37	@>	1	0
389	37	&&	15091	14500
389	37	<@	14879	14488
389	37	@>	1	0
390	37	&&	5484	5535
390	37	<@	5459	5527
390	37	@>	1	0
391	37	&&	2854	2896
391	37	<@	5430	2887
391	37	@>	1	0
392	37	&&	8305	8150
392	37	<@	7418	8145
392	37	@>	1	0
393	37	&&	14267	14613
393	37	<@	13169	14605
393	37	@>	1	0
394	37	&&	12522	12536
394	37	<@	12374	12522
394	37	@>	1	0
395	37	&&	630	628
395	37	<@	1553	619
395	37	@>	1	0
396	37	&&	582	551
396	37	<@	309	543
396	37	@>	1	0
397	37	&&	651	680
397	37	<@	1683	670
397	37	@>	1	0
398	37	&&	18963	19170
398	37	<@	18422	19158
398	37	@>	1	0
399	37	&&	2279	2399
399	37	<@	2068	2392
399	37	@>	1	0
400	37	&&	5354	5357
400	37	<@	3049	5348
400	37	@>	1	0
401	37	&&	4641	5194
401	37	<@	3748	5187
401	37	@>	1	0
402	37	&&	11045	11017
402	37	<@	11016	11007
402	37	@>	1	0
403	37	&&	2390	2294
403	37	<@	5065	2290
403	37	@>	1	0
404	37	&&	3059	2992
404	37	<@	5511	2977
404	37	@>	1	0
405	37	&&	5592	5536
405	37	<@	6415	5528
405	37	@>	1	0
406	37	&&	3312	3441
406	37	<@	3889	3433
406	37	@>	1	0
407	37	&&	10074	10306
407	37	<@	9092	10294
407	37	@>	1	0
408	37	&&	2245	2322
408	37	<@	4002	2313
408	37	@>	1	0
409	37	&&	38605	38265
409	37	<@	37945	38257
409	37	@>	1	0
410	37	&&	5569	5723
410	37	<@	6903	5718
410	37	@>	1	0
411	37	&&	20173	19015
411	37	<@	16074	19000
411	37	@>	1	0
412	37	&&	5709	6360
412	37	<@	6247	6350
412	37	@>	1	0
413	37	&&	1343	1333
413	37	<@	4223	1321
413	37	@>	1	0
414	37	&&	1016	1018
414	37	<@	1626	1004
414	37	@>	1	0
415	37	&&	2020	2049
415	37	<@	1867	2043
415	37	@>	1	0
416	37	&&	8013	7391
416	37	<@	6436	7386
416	37	@>	1	0
417	37	&&	6412	6365
417	37	<@	4456	6355
417	37	@>	1	0
418	37	&&	10066	11353
418	37	<@	8944	11342
418	37	@>	1	0
419	37	&&	1225	1222
419	37	<@	4027	1210
419	37	@>	1	0
420	37	&&	10549	10132
420	37	<@	5924	10124
420	37	@>	1	0
421	37	&&	8940	9209
421	37	<@	6005	9206
421	37	@>	1	0
422	37	&&	2753	2657
422	37	<@	6297	2644
422	37	@>	1	0
423	37	&&	15160	15272
423	37	<@	10499	15264
423	37	@>	1	0
424	37	&&	11453	11247
424	37	<@	10802	11243
424	37	@>	1	0
425	37	&&	4053	4402
425	37	<@	5655	4392
425	37	@>	1	0
426	37	&&	15234	15836
426	37	<@	13546	15824
426	37	@>	1	0
427	37	&&	8283	8822
427	37	<@	7091	8810
427	37	@>	1	0
428	37	&&	1307	1258
428	37	<@	5398	1247
428	37	@>	1	0
429	37	&&	9138	9159
429	37	<@	8292	9143
429	37	@>	1	0
430	37	&&	378	430
430	37	<@	3346	422
430	37	@>	1	0
431	37	&&	12574	12512
431	37	<@	9520	12507
431	37	@>	1	0
432	37	&&	4441	4684
432	37	<@	6763	4675
432	37	@>	1	0
433	37	&&	12687	13986
433	37	<@	9082	13976
433	37	@>	1	0
434	37	&&	20637	19978
434	37	<@	16272	19965
434	37	@>	1	0
435	37	&&	35415	36882
435	37	<@	31206	36875
435	37	@>	1	0
436	37	&&	5883	5443
436	37	<@	3036	5438
436	37	@>	1	0
437	37	&&	5885	5665
437	37	<@	3763	5659
437	37	@>	1	0
438	37	&&	17663	17561
438	37	<@	14146	17555
438	37	@>	1	0
439	37	&&	757	783
439	37	<@	3129	773
439	37	@>	1	0
440	37	&&	36091	36108
440	37	<@	34638	36089
440	37	@>	1	0
441	37	&&	9653	9400
441	37	<@	5007	9395
441	37	@>	1	0
442	37	&&	10313	9934
442	37	<@	8911	9923
442	37	@>	1	0
443	37	&&	394	410
443	37	<@	4754	400
443	37	@>	1	0
444	37	&&	23370	24117
444	37	<@	22607	24106
444	37	@>	1	0
445	37	&&	31564	31553
445	37	<@	26932	31548
445	37	@>	1	0
446	37	&&	5038	5467
446	37	<@	7196	5455
446	37	@>	1	0
447	37	&&	6753	7080
447	37	<@	5556	7072
447	37	@>	1	0
448	37	&&	19007	20028
448	37	<@	14290	20015
448	37	@>	1	0
449	37	&&	18265	18136
449	37	<@	17059	18126
449	37	@>	1	0
450	37	&&	1601	1464
450	37	<@	4103	1452
450	37	@>	1	0
451	37	&&	2652	2650
451	37	<@	1621	2635
451	37	@>	1	0
452	37	&&	4740	4860
452	37	<@	5994	4851
452	37	@>	1	0
453	37	&&	2304	2279
453	37	<@	4811	2274
453	37	@>	1	0
454	37	&&	20322	21069
454	37	<@	15558	21061
454	37	@>	1	0
455	37	&&	12982	12867
455	37	<@	10249	12856
455	37	@>	1	0
456	37	&&	12521	12466
456	37	<@	10714	12455
456	37	@>	1	0
457	37	&&	9745	9603
457	37	<@	6546	9597
457	37	@>	1	0
458	37	&&	7856	7536
458	37	<@	8363	7527
458	37	@>	1	0
459	37	&&	930	906
459	37	<@	4566	898
459	37	@>	1	0
460	37	&&	3528	3461
460	37	<@	3729	3453
460	37	@>	1	0
461	37	&&	5354	5031
461	37	<@	3863	5023
461	37	@>	1	0
462	37	&&	13272	12860
462	37	<@	12307	12853
462	37	@>	1	0
463	37	&&	7067	7161
463	37	<@	4988	7157
463	37	@>	1	0
464	37	&&	1861	1785
464	37	<@	1713	1776
464	37	@>	1	0
465	37	&&	3963	3803
465	37	<@	6873	3788
465	37	@>	1	0
466	37	&&	1572	1647
466	37	<@	3025	1638
466	37	@>	1	0
467	37	&&	18918	19542
467	37	<@	18649	19533
467	37	@>	1	0
468	37	&&	2253	2347
468	37	<@	3374	2339
468	37	@>	1	0
469	37	&&	13103	14097
469	37	<@	9896	14093
469	37	@>	1	0
470	37	&&	4491	4187
470	37	<@	5386	4177
470	37	@>	1	0
471	37	&&	27518	28187
471	37	<@	23842	28172
471	37	@>	1	0
472	37	&&	17096	16918
472	37	<@	16814	16912
472	37	@>	1	0
473	37	&&	4793	4988
473	37	<@	7227	4975
473	37	@>	1	0
474	37	&&	2447	2556
474	37	<@	5810	2549
474	37	@>	1	0
475	37	&&	14655	15881
475	37	<@	12477	15870
475	37	@>	1	0
476	37	&&	7036	7317
476	37	<@	7182	7306
476	37	@>	1	0
477	37	&&	2410	2807
477	37	<@	4262	2799
477	37	@>	1	0
478	37	&&	1088	996
478	37	<@	2586	981
478	37	@>	1	0
479	37	&&	17490	17862
479	37	<@	14852	17858
479	37	@>	1	0
480	37	&&	840	875
480	37	<@	1095	863
480	37	@>	1	0
481	37	&&	8644	8461
481	37	<@	6172	8446
481	37	@>	1	0
482	37	&&	12342	12298
482	37	<@	8771	12288
482	37	@>	1	0
483	37	&&	14865	14766
483	37	<@	12494	14757
483	37	@>	1	0
484	37	&&	6676	6849
484	37	<@	7654	6841
484	37	@>	1	0
485	37	&&	117	108
485	37	<@	2454	102
485	37	@>	1	0
486	37	&&	34	25
486	37	<@	2159	20
486	37	@>	1	0
487	37	&&	20808	21408
487	37	<@	19000	21405
487	37	@>	1	0
488	37	&&	7318	7360
488	37	<@	4040	7345
488	37	@>	1	0
489	37	&&	1975	1861
489	37	<@	3770	1853
489	37	@>	1	0
490	37	&&	14083	13827
490	37	<@	12798	13810
490	37	@>	1	0
491	37	&&	3005	2953
491	37	<@	4280	2947
491	37	@>	1	0
492	37	&&	1804	1663
492	37	<@	1974	1658
492	37	@>	1	0
493	37	&&	7776	7423
493	37	<@	5152	7409
493	37	@>	1	0
494	37	&&	3102	2850
494	37	<@	4496	2841
494	37	@>	1	0
495	37	&&	7203	7194
495	37	<@	5866	7184
495	37	@>	1	0
496	37	&&	6879	7063
496	37	<@	3489	7053
496	37	@>	1	0
497	37	&&	8704	8332
497	37	<@	6737	8324
497	37	@>	1	0
498	37	&&	7085	7308
498	37	<@	5319	7299
498	37	@>	1	0
499	37	&&	1423	1423
499	37	<@	3773	1413
499	37	@>	1	0
500	37	&&	20615	19778
500	37	<@	19710	19772
500	37	@>	1	0
501	37	&&	18824	18640
501	37	<@	14123	18631
501	37	@>	1	0
502	37	&&	1090	1121
502	37	<@	4966	1110
502	37	@>	1	0
503	37	&&	12066	11410
503	37	<@	9296	11399
503	37	@>	1	0
504	37	&&	54815	54429
504	37	<@	50325	54416
504	37	@>	1	0
505	37	&&	4154	4312
505	37	<@	3118	4301
505	37	@>	1	0
506	37	&&	16151	16650
506	37	<@	13129	16637
506	37	@>	1	0
507	37	&&	240	263
507	37	<@	529	254
507	37	@>	1	0
508	37	&&	1142	1121
508	37	<@	2484	1111
508	37	@>	1	0
509	37	&&	2372	2449
509	37	<@	3501	2440
509	37	@>	1	0
510	37	&&	23009	22976
510	37	<@	21016	22968
510	37	@>	1	0
511	37	&&	11385	11314
511	37	<@	9937	11303
511	37	@>	1	0
512	37	&&	18083	17851
512	37	<@	13687	17838
512	37	@>	1	0
513	37	&&	10603	9920
513	37	<@	8121	9913
513	37	@>	1	0
514	37	&&	8387	8457
514	37	<@	7707	8447
514	37	@>	1	0
515	37	&&	4239	4548
515	37	<@	5039	4539
515	37	@>	1	0
516	37	&&	24425	24191
516	37	<@	19578	24182
516	37	@>	1	0
517	37	&&	3281	3512
517	37	<@	3384	3505
517	37	@>	1	0
518	37	&&	27765	26438
518	37	<@	22940	26428
518	37	@>	1	0
519	37	&&	9977	9800
519	37	<@	8903	9793
519	37	@>	1	0
520	37	&&	17529	17213
520	37	<@	17174	17203
520	37	@>	1	0
521	37	&&	11532	11247
521	37	<@	7528	11240
521	37	@>	1	0
522	37	&&	8930	8805
522	37	<@	4594	8797
522	37	@>	1	0
523	37	&&	10027	9009
523	37	<@	7777	8999
523	37	@>	1	0
524	37	&&	3152	2761
524	37	<@	5754	2754
524	37	@>	1	0
525	37	&&	452	426
525	37	<@	2377	418
525	37	@>	1	0
526	37	&&	8056	8112
526	37	<@	6873	8101
526	37	@>	1	0
527	37	&&	8486	8044
527	37	<@	7117	8035
527	37	@>	1	0
528	37	&&	34563	33974
528	37	<@	29560	33966
528	37	@>	1	0
529	37	&&	13039	13657
529	37	<@	10773	13641
529	37	@>	1	0
530	37	&&	27544	28276
530	37	<@	26665	28266
530	37	@>	1	0
531	37	&&	37442	38424
531	37	<@	36130	38417
531	37	@>	1	0
532	37	&&	3688	3718
532	37	<@	5463	3707
532	37	@>	1	0
533	37	&&	20402	19894
533	37	<@	17855	19884
533	37	@>	1	0
534	37	&&	2683	2845
534	37	<@	4276	2836
534	37	@>	1	0
535	37	&&	1524	1716
535	37	<@	1599	1707
535	37	@>	1	0
536	37	&&	5842	6211
536	37	<@	4382	6195
536	37	@>	1	0
537	37	&&	12628	11776
537	37	<@	11994	11768
537	37	@>	1	0
538	37	&&	7959	7401
538	37	<@	7530	7393
538	37	@>	1	0
539	37	&&	12985	13389
539	37	<@	11031	13382
539	37	@>	1	0
540	37	&&	1027	1089
540	37	<@	3020	1074
540	37	@>	1	0
541	37	&&	22478	23303
541	37	<@	22218	23296
541	37	@>	1	0
542	37	&&	7126	7011
542	37	<@	4878	6997
542	37	@>	1	0
543	37	&&	450	432
543	37	<@	800	425
543	37	@>	1	0
544	37	&&	9344	10072
544	37	<@	6044	10060
544	37	@>	1	0
545	37	&&	238	231
545	37	<@	3766	219
545	37	@>	1	0
546	37	&&	21974	21210
546	37	<@	17997	21202
546	37	@>	1	0
547	37	&&	5834	5716
547	37	<@	7689	5697
547	37	@>	1	0
548	37	&&	2815	3204
548	37	<@	5514	3192
548	37	@>	1	0
549	37	&&	5203	5293
549	37	<@	6232	5285
549	37	@>	1	0
550	37	&&	14218	14943
550	37	<@	11896	14937
550	37	@>	1	0
551	37	&&	8990	8784
551	37	<@	5246	8774
551	37	@>	1	0
552	37	&&	5493	5184
552	37	<@	5441	5177
552	37	@>	1	0
553	37	&&	3691	3546
553	37	<@	2600	3535
553	37	@>	1	0
554	37	&&	8696	8430
554	37	<@	5077	8421
554	37	@>	1	0
555	37	&&	12255	11738
555	37	<@	11498	11729
555	37	@>	1	0
556	37	&&	16339	17218
556	37	<@	13402	17207
556	37	@>	1	0
557	37	&&	3907	3886
557	37	<@	3456	3881
557	37	@>	1	0
558	37	&&	547	535
558	37	<@	3777	530
558	37	@>	1	0
559	37	&&	16672	16565
559	37	<@	13831	16554
559	37	@>	1	0
560	37	&&	1715	1578
560	37	<@	1157	1564
560	37	@>	1	0
561	37	&&	3413	3079
561	37	<@	5896	3073
561	37	@>	1	0
562	37	&&	18592	17661
562	37	<@	17565	17651
562	37	@>	1	0
563	37	&&	2846	2541
563	37	<@	4235	2523
563	37	@>	1	0
564	37	&&	40983	42101
564	37	<@	36414	42090
564	37	@>	1	0
565	37	&&	9632	9750
565	37	<@	8471	9742
565	37	@>	1	0
566	37	&&	2344	2510
566	37	<@	2875	2498
566	37	@>	1	0
567	37	&&	91	103
567	37	<@	44	86
567	37	@>	1	0
568	37	&&	6659	6647
568	37	<@	4709	6634
568	37	@>	1	0
569	37	&&	7788	8267
569	37	<@	6382	8257
569	37	@>	1	0
570	37	&&	4551	4154
570	37	<@	5785	4143
570	37	@>	1	0
571	37	&&	13733	12786
571	37	<@	13101	12777
571	37	@>	1	0
572	37	&&	19406	18715
572	37	<@	16332	18708
572	37	@>	1	0
573	37	&&	7402	6853
573	37	<@	4481	6839
573	37	@>	1	0
574	37	&&	5246	5507
574	37	<@	3260	5490
574	37	@>	1	0
575	37	&&	8450	9027
575	37	<@	5761	9023
575	37	@>	1	0
576	37	&&	1410	1500
576	37	<@	3887	1492
576	37	@>	1	0
577	37	&&	9244	9169
577	37	<@	6076	9154
577	37	@>	1	0
578	37	&&	8042	7929
578	37	<@	5784	7923
578	37	@>	1	0
579	37	&&	749	755
579	37	<@	1385	748
579	37	@>	1	0
580	37	&&	5775	6059
580	37	<@	4719	6050
580	37	@>	1	0
581	37	&&	4100	3572
581	37	<@	4916	3558
581	37	@>	1	0
582	37	&&	23904	22971
582	37	<@	22152	22965
582	37	@>	1	0
583	37	&&	3436	3737
583	37	<@	5874	3730
583	37	@>	1	0
584	37	&&	9933	9555
584	37	<@	6636	9536
584	37	@>	1	0
585	37	&&	5881	5867
585	37	<@	6214	5855
585	37	@>	1	0
586	37	&&	1074	1172
586	37	<@	2741	1166
586	37	@>	1	0
587	37	&&	1311	1267
587	37	<@	1063	1254
587	37	@>	1	0
588	37	&&	2105	2241
588	37	<@	4333	2227
588	37	@>	1	0
589	37	&&	19364	19116
589	37	<@	16690	19110
589	37	@>	1	0
590	37	&&	25594	25509
590	37	<@	23699	25502
590	37	@>	1	0
591	37	&&	2007	2095
591	37	<@	5493	2082
591	37	@>	1	0
592	37	&&	3415	3488
592	37	<@	6466	3476
592	37	@>	1	0
593	37	&&	265	247
593	37	<@	4549	237
593	37	@>	1	0
594	37	&&	8940	9082
594	37	<@	5467	9076
594	37	@>	1	0
595	37	&&	5026	4851
595	37	<@	3519	4843
595	37	@>	1	0
596	37	&&	15107	15584
596	37	<@	13552	15574
596	37	@>	1	0
597	37	&&	13699	13217
597	37	<@	10000	13209
597	37	@>	1	0
598	37	&&	55697	52743
598	37	<@	52564	52728
598	37	@>	1	0
599	37	&&	846	816
599	37	<@	3492	808
599	37	@>	1	0
600	37	&&	24084	23539
600	37	<@	22694	23526
600	37	@>	1	0
601	37	&&	8378	8130
601	37	<@	6251	8121
601	37	@>	1	0
602	37	&&	11723	11385
602	37	<@	9318	11374
602	37	@>	1	0
603	37	&&	34964	33608
603	37	<@	31052	33597
603	37	@>	1	0
604	37	&&	3356	3585
604	37	<@	3807	3572
604	37	@>	1	0
605	37	&&	6881	6865
605	37	<@	4550	6859
605	37	@>	1	0
606	37	&&	2982	3009
606	37	<@	5759	2996
606	37	@>	1	0
607	37	&&	3096	3199
607	37	<@	3994	3189
607	37	@>	1	0
608	37	&&	5867	6038
608	37	<@	6947	6025
608	37	@>	1	0
609	37	&&	4972	5218
609	37	<@	5913	5205
609	37	@>	1	0
610	37	&&	5508	5059
610	37	<@	6297	5050
610	37	@>	1	0
611	37	&&	1211	1096
611	37	<@	3549	1085
611	37	@>	1	0
612	37	&&	5641	6381
612	37	<@	3214	6374
612	37	@>	1	0
613	37	&&	20408	20933
613	37	<@	19157	20924
613	37	@>	1	0
614	37	&&	20837	21357
614	37	<@	19295	21344
614	37	@>	1	0
615	37	&&	680	757
615	37	<@	2372	748
615	37	@>	1	0
616	37	&&	6232	6249
616	37	<@	4426	6240
616	37	@>	1	0
617	37	&&	15922	15982
617	37	<@	15535	15973
617	37	@>	1	0
618	37	&&	3747	3809
618	37	<@	4554	3799
618	37	@>	1	0
619	37	&&	164	177
619	37	<@	2284	163
619	37	@>	1	0
620	37	&&	8843	8734
620	37	<@	5787	8726
620	37	@>	1	0
621	37	&&	18525	17961
621	37	<@	14505	17950
621	37	@>	1	0
622	37	&&	2050	2059
622	37	<@	1552	2046
622	37	@>	1	0
623	37	&&	4649	4926
623	37	<@	2816	4915
623	37	@>	1	0
624	37	&&	5364	5350
624	37	<@	3110	5339
624	37	@>	1	0
625	37	&&	10795	11464
625	37	<@	9841	11463
625	37	@>	1	0
626	37	&&	8584	8446
626	37	<@	6869	8440
626	37	@>	1	0
627	37	&&	75476	75682
627	37	<@	74763	75674
627	37	@>	1	0
628	37	&&	10414	10028
628	37	<@	10329	10018
628	37	@>	1	0
629	37	&&	6782	6942
629	37	<@	4483	6931
629	37	@>	1	0
630	37	&&	17201	17631
630	37	<@	15132	17615
630	37	@>	1	0
631	37	&&	3799	3644
631	37	<@	2893	3633
631	37	@>	1	0
632	37	&&	2226	2338
632	37	<@	4023	2326
632	37	@>	1	0
633	37	&&	5997	5916
633	37	<@	6498	5904
633	37	@>	1	0
634	37	&&	18627	19659
634	37	<@	18043	19648
634	37	@>	1	0
635	37	&&	1448	1454
635	37	<@	4278	1438
635	37	@>	1	0
636	37	&&	35425	35301
636	37	<@	30896	35290
636	37	@>	1	0
637	37	&&	3303	3354
637	37	<@	3343	3338
637	37	@>	1	0
638	37	&&	1019	902
638	37	<@	1426	896
638	37	@>	1	0
639	37	&&	14925	15667
639	37	<@	12655	15660
639	37	@>	1	0
640	37	&&	6633	6098
640	37	<@	8279	6089
640	37	@>	1	0
641	37	&&	3491	3863
641	37	<@	4962	3855
641	37	@>	1	0
642	37	&&	3434	3293
642	37	<@	6136	3283
642	37	@>	1	0
643	37	&&	693	720
643	37	<@	3494	705
643	37	@>	1	0
644	37	&&	2249	2246
644	37	<@	5103	2232
644	37	@>	1	0
645	37	&&	5492	5647
645	37	<@	5198	5630
645	37	@>	1	0
646	37	&&	1545	1487
646	37	<@	3910	1478
646	37	@>	1	0
647	37	&&	4509	4195
647	37	<@	6926	4183
647	37	@>	1	0
648	37	&&	17652	17521
648	37	<@	13992	17509
648	37	@>	1	0
649	37	&&	19464	19552
649	37	<@	19053	19541
649	37	@>	1	0
650	37	&&	3165	2759
650	37	<@	6259	2745
650	37	@>	1	0
651	37	&&	48	101
651	37	<@	43	95
651	37	@>	1	0
652	37	&&	37102	37500
652	37	<@	36509	37489
652	37	@>	1	0
653	37	&&	4673	4596
653	37	<@	5053	4588
653	37	@>	1	0
654	37	&&	788	877
654	37	<@	4637	869
654	37	@>	1	0
655	37	&&	8906	8726
655	37	<@	6825	8708
655	37	@>	1	0
656	37	&&	9960	10354
656	37	<@	9233	10346
656	37	@>	1	0
657	37	&&	8427	8640
657	37	<@	8127	8631
657	37	@>	1	0
658	37	&&	2535	2630
658	37	<@	4512	2621
658	37	@>	1	0
659	37	&&	17743	17961
659	37	<@	14283	17953
659	37	@>	1	0
660	37	&&	2334	2438
660	37	<@	3451	2427
660	37	@>	1	0
661	37	&&	5710	6130
661	37	<@	5605	6122
661	37	@>	1	0
662	37	&&	48855	48883
662	37	<@	43970	48869
662	37	@>	1	0
663	37	&&	10667	11334
663	37	<@	8631	11325
663	37	@>	1	0
664	37	&&	8697	8595
664	37	<@	8053	8586
664	37	@>	1	0
665	37	&&	6895	7151
665	37	<@	7806	7139
665	37	@>	1	0
666	37	&&	7902	7761
666	37	<@	6948	7748
666	37	@>	1	0
667	37	&&	264	282
667	37	<@	1011	271
667	37	@>	1	0
668	37	&&	693	646
668	37	<@	820	635
668	37	@>	1	0
669	37	&&	9156	8787
669	37	<@	7288	8775
669	37	@>	1	0
670	37	&&	8341	8294
670	37	<@	5496	8283
670	37	@>	1	0
671	37	&&	12253	11589
671	37	<@	7309	11574
671	37	@>	1	0
672	37	&&	657	728
672	37	<@	2923	719
672	37	@>	1	0
673	37	&&	1259	1301
673	37	<@	5554	1289
673	37	@>	1	0
674	37	&&	21767	22902
674	37	<@	18937	22897
674	37	@>	1	0
675	37	&&	12679	12577
675	37	<@	10690	12567
675	37	@>	1	0
676	37	&&	2590	2568
676	37	<@	3374	2558
676	37	@>	1	0
677	37	&&	6158	5916
677	37	<@	4733	5910
677	37	@>	1	0
678	37	&&	33539	33802
678	37	<@	32831	33791
678	37	@>	1	0
679	37	&&	372	401
679	37	<@	1985	393
679	37	@>	1	0
680	37	&&	10366	10912
680	37	<@	6987	10903
680	37	@>	1	0
681	37	&&	4165	4279
681	37	<@	6701	4269
681	37	@>	1	0
682	37	&&	2086	2173
682	37	<@	1955	2166
682	37	@>	1	0
683	37	&&	12661	12935
683	37	<@	8604	12926
683	37	@>	1	0
684	37	&&	14509	14877
684	37	<@	11188	14871
684	37	@>	1	0
685	37	&&	4880	5284
685	37	<@	6350	5268
685	37	@>	1	0
686	37	&&	6315	6443
686	37	<@	4678	6430
686	37	@>	1	0
687	37	&&	7890	7590
687	37	<@	5964	7581
687	37	@>	1	0
688	37	&&	4146	4367
688	37	<@	5702	4356
688	37	@>	1	0
689	37	&&	17889	17872
689	37	<@	16149	17862
689	37	@>	1	0
690	37	&&	10574	9701
690	37	<@	5858	9689
690	37	@>	1	0
691	37	&&	4180	4286
691	37	<@	6429	4277
691	37	@>	1	0
692	37	&&	12353	12798
692	37	<@	9713	12785
692	37	@>	1	0
693	37	&&	552	625
693	37	<@	2631	614
693	37	@>	1	0
694	37	&&	26723	24893
694	37	<@	23452	24883
694	37	@>	1	0
695	37	&&	2628	2576
695	37	<@	6285	2571
695	37	@>	1	0
696	37	&&	10423	10307
696	37	<@	9290	10301
696	37	@>	1	0
697	37	&&	16106	15427
697	37	<@	14963	15419
697	37	@>	1	0
698	37	&&	29990	30403
698	37	<@	25813	30391
698	37	@>	1	0
699	37	&&	1235	1101
699	37	<@	3947	1093
699	37	@>	1	0
700	37	&&	18563	17480
700	37	<@	18126	17473
700	37	@>	1	0
701	37	&&	536	496
701	37	<@	3230	488
701	37	@>	1	0
702	37	&&	9065	9446
702	37	<@	8855	9438
702	37	@>	1	0
703	37	&&	18983	18401
703	37	<@	16081	18392
703	37	@>	1	0
704	37	&&	2458	2668
704	37	<@	2535	2661
704	37	@>	1	0
705	37	&&	2181	2355
705	37	<@	2073	2347
705	37	@>	1	0
706	37	&&	2641	2630
706	37	<@	6061	2616
706	37	@>	1	0
707	37	&&	11316	11742
707	37	<@	8261	11735
707	37	@>	1	0
708	37	&&	4010	4340
708	37	<@	3832	4329
708	37	@>	1	0
709	37	&&	10274	10366
709	37	<@	9946	10359
709	37	@>	1	0
710	37	&&	19328	18780
710	37	<@	16188	18776
710	37	@>	1	0
711	37	&&	18254	18844
711	37	<@	16423	18836
711	37	@>	1	0
712	37	&&	5962	5943
712	37	<@	6811	5939
712	37	@>	1	0
713	37	&&	4205	4194
713	37	<@	4012	4182
713	37	@>	1	0
714	37	&&	1547	1640
714	37	<@	4063	1630
714	37	@>	1	0
715	37	&&	1321	1291
715	37	<@	1587	1281
715	37	@>	1	0
716	37	&&	27663	27682
716	37	<@	27658	27678
716	37	@>	1	0
717	37	&&	3400	3152
717	37	<@	4175	3143
717	37	@>	1	0
718	37	&&	15231	13853
718	37	<@	14959	13844
718	37	@>	1	0
719	37	&&	6982	7464
719	37	<@	4274	7454
719	37	@>	1	0
720	37	&&	15709	15719
720	37	<@	11800	15710
720	37	@>	1	0
721	37	&&	18739	17846
721	37	<@	14301	17840
721	37	@>	1	0
722	37	&&	3662	3352
722	37	<@	4446	3344
722	37	@>	1	0
723	37	&&	37020	38706
723	37	<@	32376	38695
723	37	@>	1	0
724	37	&&	3192	3149
724	37	<@	4514	3137
724	37	@>	1	0
725	37	&&	22969	23036
725	37	<@	18002	23024
725	37	@>	1	0
726	37	&&	6550	6871
726	37	<@	4404	6863
726	37	@>	1	0
727	37	&&	9267	9202
727	37	<@	5084	9194
727	37	@>	1	0
728	37	&&	4477	4869
728	37	<@	6092	4859
728	37	@>	1	0
729	37	&&	4273	4360
729	37	<@	3275	4355
729	37	@>	1	0
730	37	&&	4662	4971
730	37	<@	6524	4962
730	37	@>	1	0
731	37	&&	6333	6970
731	37	<@	3509	6964
731	37	@>	1	0
732	37	&&	10353	10403
732	37	<@	7686	10391
732	37	@>	1	0
733	37	&&	25250	25127
733	37	<@	24085	25117
733	37	@>	1	0
734	37	&&	21950	21929
734	37	<@	20641	21916
734	37	@>	1	0
735	37	&&	4799	4771
735	37	<@	4454	4759
735	37	@>	1	0
736	37	&&	1777	1966
736	37	<@	4041	1955
736	37	@>	1	0
737	37	&&	11838	12236
737	37	<@	8866	12225
737	37	@>	1	0
738	37	&&	12951	13149
738	37	<@	11586	13139
738	37	@>	1	0
739	37	&&	904	936
739	37	<@	2019	927
739	37	@>	1	0
740	37	&&	3941	3783
740	37	<@	4907	3772
740	37	@>	1	0
741	37	&&	1195	1225
741	37	<@	4303	1217
741	37	@>	1	0
742	37	&&	13628	13594
742	37	<@	8805	13583
742	37	@>	1	0
743	37	&&	15617	14632
743	37	<@	14507	14622
743	37	@>	1	0
744	37	&&	10743	11009
744	37	<@	8028	10998
744	37	@>	1	0
745	37	&&	10131	10529
745	37	<@	8127	10517
745	37	@>	1	0
746	37	&&	8249	9282
746	37	<@	4288	9275
746	37	@>	1	0
747	37	&&	5516	5519
747	37	<@	3192	5509
747	37	@>	1	0
748	37	&&	27596	27095
748	37	<@	23326	27084
748	37	@>	1	0
749	37	&&	10554	10502
749	37	<@	8701	10494
749	37	@>	1	0
750	37	&&	16438	15583
750	37	<@	16110	15569
750	37	@>	1	0
751	37	&&	7451	6992
751	37	<@	6927	6982
751	37	@>	1	0
752	37	&&	2824	2831
752	37	<@	5280	2825
752	37	@>	1	0
753	37	&&	5154	5367
753	37	<@	4492	5360
753	37	@>	1	0
754	37	&&	20807	20863
754	37	<@	20802	20858
754	37	@>	1	0
755	37	&&	39313	40314
755	37	<@	37612	40301
755	37	@>	1	0
756	37	&&	6877	7085
756	37	<@	4542	7075
756	37	@>	1	0
757	37	&&	335	339
757	37	<@	2511	326
757	37	@>	1	0
758	37	&&	18514	17501
758	37	<@	16740	17486
758	37	@>	1	0
759	37	&&	4413	4600
759	37	<@	2315	4587
759	37	@>	1	0
760	37	&&	26409	24896
760	37	<@	23694	24890
760	37	@>	1	0
761	37	&&	9123	8454
761	37	<@	9489	8439
761	37	@>	1	0
762	37	&&	1846	1905
762	37	<@	952	1898
762	37	@>	1	0
763	37	&&	11592	12028
763	37	<@	11587	12026
763	37	@>	1	0
764	37	&&	3822	3969
764	37	<@	5979	3962
764	37	@>	1	0
765	37	&&	27091	26945
765	37	<@	23740	26937
765	37	@>	1	0
766	37	&&	5631	5965
766	37	<@	6805	5955
766	37	@>	1	0
767	37	&&	863	928
767	37	<@	746	915
767	37	@>	1	0
768	37	&&	11625	10583
768	37	<@	8092	10569
768	37	@>	1	0
769	37	&&	12185	11308
769	37	<@	10212	11296
769	37	@>	1	0
770	37	&&	157	156
770	37	<@	2009	141
770	37	@>	1	0
771	37	&&	14797	14739
771	37	<@	13359	14733
771	37	@>	1	0
772	37	&&	13382	14122
772	37	<@	10663	14111
772	37	@>	1	0
773	37	&&	14528	14381
773	37	<@	14113	14373
773	37	@>	1	0
774	37	&&	9230	9165
774	37	<@	6416	9152
774	37	@>	1	0
775	37	&&	890	872
775	37	<@	3113	862
775	37	@>	1	0
776	37	&&	1560	1594
776	37	<@	3813	1583
776	37	@>	1	0
777	37	&&	423	418
777	37	<@	3910	409
777	37	@>	1	0
778	37	&&	9912	10122
778	37	<@	5946	10116
778	37	@>	1	0
779	37	&&	5796	5641
779	37	<@	6881	5629
779	37	@>	1	0
780	37	&&	2634	2647
780	37	<@	5849	2641
780	37	@>	1	0
781	37	&&	945	930
781	37	<@	1888	919
781	37	@>	1	0
782	37	&&	16573	16203
782	37	<@	12881	16193
782	37	@>	1	0
783	37	&&	5062	4735
783	37	<@	5638	4727
783	37	@>	1	0
784	37	&&	10862	11096
784	37	<@	10286	11084
784	37	@>	1	0
785	37	&&	178	142
785	37	<@	2447	132
785	37	@>	1	0
786	37	&&	13522	12282
786	37	<@	12886	12272
786	37	@>	1	0
787	37	&&	2159	2330
787	37	<@	5468	2317
787	37	@>	1	0
788	37	&&	9130	9112
788	37	<@	4657	9106
788	37	@>	1	0
789	37	&&	578	537
789	37	<@	2408	533
789	37	@>	1	0
790	37	&&	1075	1180
790	37	<@	5467	1167
790	37	@>	1	0
791	37	&&	12914	12879
791	37	<@	9688	12866
791	37	@>	1	0
792	37	&&	15470	15926
792	37	<@	12354	15917
792	37	@>	1	0
793	37	&&	8525	8913
793	37	<@	6975	8905
793	37	@>	1	0
794	37	&&	8642	8714
794	37	<@	7332	8703
794	37	@>	1	0
795	37	&&	5655	5247
795	37	<@	6099	5230
795	37	@>	1	0
796	37	&&	4787	4911
796	37	<@	4794	4900
796	37	@>	1	0
797	37	&&	6604	6672
797	37	<@	6592	6665
797	37	@>	1	0
798	37	&&	10115	11003
798	37	<@	6232	10994
798	37	@>	1	0
799	37	&&	10524	10643
799	37	<@	8463	10634
799	37	@>	1	0
800	37	&&	24395	24423
800	37	<@	23213	24417
800	37	@>	1	0
801	37	&&	259	291
801	37	<@	4737	286
801	37	@>	1	0
802	37	&&	6107	6148
802	37	<@	5884	6139
802	37	@>	1	0
803	37	&&	934	994
803	37	<@	2102	982
803	37	@>	1	0
804	37	&&	2599	2392
804	37	<@	3103	2379
804	37	@>	1	0
805	37	&&	3036	2934
805	37	<@	6132	2922
805	37	@>	1	0
806	37	&&	3377	3398
806	37	<@	1750	3387
806	37	@>	1	0
807	37	&&	8738	8652
807	37	<@	8175	8642
807	37	@>	1	0
808	37	&&	14480	13303
808	37	<@	9524	13294
808	37	@>	1	0
809	37	&&	7609	7283
809	37	<@	4942	7273
809	37	@>	1	0
810	37	&&	1951	2126
810	37	<@	5792	2119
810	37	@>	1	0
811	37	&&	1196	1220
811	37	<@	5245	1212
811	37	@>	1	0
812	37	&&	5862	5349
812	37	<@	4551	5338
812	37	@>	1	0
813	37	&&	14609	14808
813	37	<@	13105	14796
813	37	@>	1	0
814	37	&&	6920	6176
814	37	<@	7988	6167
814	37	@>	1	0
815	37	&&	5497	5341
815	37	<@	4068	5333
815	37	@>	1	0
816	37	&&	1068	1023
816	37	<@	3081	1014
816	37	@>	1	0
817	37	&&	64886	65222
817	37	<@	60361	65218
817	37	@>	1	0
818	37	&&	10988	11383
818	37	<@	7862	11370
818	37	@>	1	0
819	37	&&	9855	9392
819	37	<@	7507	9383
819	37	@>	1	0
820	37	&&	2562	2857
820	37	<@	5210	2848
820	37	@>	1	0
821	37	&&	2424	2424
821	37	<@	4997	2410
821	37	@>	1	0
822	37	&&	16867	17783
822	37	<@	13217	17773
822	37	@>	1	0
823	37	&&	8692	9362
823	37	<@	8743	9352
823	37	@>	1	0
824	37	&&	32246	30781
824	37	<@	27540	30772
824	37	@>	1	0
825	37	&&	20801	20905
825	37	<@	19436	20891
825	37	@>	1	0
826	37	&&	505	517
826	37	<@	3115	510
826	37	@>	1	0
827	37	&&	8715	9273
827	37	<@	8710	9269
827	37	@>	1	0
828	37	&&	8772	8890
828	37	<@	6892	8876
828	37	@>	1	0
829	37	&&	7792	7758
829	37	<@	8486	7747
829	37	@>	1	0
830	37	&&	24617	25046
830	37	<@	21247	25042
830	37	@>	1	0
831	37	&&	5547	5652
831	37	<@	7686	5640
831	37	@>	1	0
832	37	&&	5357	5272
832	37	<@	4922	5263
832	37	@>	1	0
833	37	&&	8608	8585
833	37	<@	7646	8573
833	37	@>	1	0
834	37	&&	7960	7222
834	37	<@	6275	7213
834	37	@>	1	0
835	37	&&	34130	36601
835	37	<@	29993	36586
835	37	@>	1	0
836	37	&&	427	431
836	37	<@	1758	426
836	37	@>	1	0
837	37	&&	3166	3497
837	37	<@	2316	3483
837	37	@>	1	0
838	37	&&	35504	36901
838	37	<@	34623	36886
838	37	@>	1	0
839	37	&&	5698	6030
839	37	<@	3812	6011
839	37	@>	1	0
840	37	&&	278	288
840	37	<@	753	277
840	37	@>	1	0
841	37	&&	722	718
841	37	<@	4419	705
841	37	@>	1	0
842	37	&&	3926	3753
842	37	<@	2502	3742
842	37	@>	1	0
843	37	&&	7133	7603
843	37	<@	7988	7598
843	37	@>	1	0
844	37	&&	3271	3404
844	37	<@	6011	3396
844	37	@>	1	0
845	37	&&	30880	30118
845	37	<@	26971	30113
845	37	@>	1	0
846	37	&&	433	516
846	37	<@	4904	499
846	37	@>	1	0
847	37	&&	2505	2445
847	37	<@	3714	2433
847	37	@>	1	0
848	37	&&	16038	15850
848	37	<@	13614	15843
848	37	@>	1	0
849	37	&&	7511	7431
849	37	<@	5604	7426
849	37	@>	1	0
850	37	&&	32758	33335
850	37	<@	29832	33326
850	37	@>	1	0
851	37	&&	755	675
851	37	<@	2588	667
851	37	@>	1	0
852	37	&&	12086	12002
852	37	<@	7444	11993
852	37	@>	1	0
853	37	&&	21210	21101
853	37	<@	19780	21092
853	37	@>	1	0
854	37	&&	2915	2822
854	37	<@	4043	2812
854	37	@>	1	0
855	37	&&	8770	8902
855	37	<@	6354	8897
855	37	@>	1	0
856	37	&&	10966	10422
856	37	<@	6626	10413
856	37	@>	1	0
857	37	&&	4432	4348
857	37	<@	5645	4343
857	37	@>	1	0
858	37	&&	5948	6133
858	37	<@	3542	6122
858	37	@>	1	0
859	37	&&	19245	19939
859	37	<@	17077	19933
859	37	@>	1	0
860	37	&&	38497	38525
860	37	<@	37396	38515
860	37	@>	1	0
861	37	&&	27728	26695
861	37	<@	23163	26686
861	37	@>	1	0
862	37	&&	2241	2073
862	37	<@	3805	2058
862	37	@>	1	0
863	37	&&	6399	6416
863	37	<@	5217	6402
863	37	@>	1	0
864	37	&&	16878	17134
864	37	<@	16873	17124
864	37	@>	1	0
865	37	&&	3652	3531
865	37	<@	5420	3520
865	37	@>	1	0
866	37	&&	6640	7167
866	37	<@	6403	7162
866	37	@>	1	0
867	37	&&	23192	22997
867	37	<@	20777	22991
867	37	@>	1	0
868	37	&&	11697	12419
868	37	<@	10444	12411
868	37	@>	1	0
869	37	&&	19350	19717
869	37	<@	17762	19703
869	37	@>	1	0
870	37	&&	1148	1172
870	37	<@	4441	1162
870	37	@>	1	0
871	37	&&	2794	2719
871	37	<@	2806	2711
871	37	@>	1	0
872	37	&&	1261	1296
872	37	<@	2370	1288
872	37	@>	1	0
873	37	&&	12284	12380
873	37	<@	10219	12369
873	37	@>	1	0
874	37	&&	7843	6693
874	37	<@	4063	6681
874	37	@>	1	0
875	37	&&	4297	3631
875	37	<@	6255	3621
875	37	@>	1	0
876	37	&&	4711	4809
876	37	<@	4337	4799
876	37	@>	1	0
877	37	&&	6465	6723
877	37	<@	6037	6710
877	37	@>	1	0
878	37	&&	4984	4811
878	37	<@	3883	4803
878	37	@>	1	0
879	37	&&	8053	8059
879	37	<@	8837	8051
879	37	@>	1	0
880	37	&&	31780	33024
880	37	<@	27398	33016
880	37	@>	1	0
881	37	&&	2041	2136
881	37	<@	2106	2128
881	37	@>	1	0
882	37	&&	2366	2341
882	37	<@	5241	2329
882	37	@>	1	0
883	37	&&	11030	11109
883	37	<@	9264	11096
883	37	@>	1	0
884	37	&&	21777	21428
884	37	<@	20300	21417
884	37	@>	1	0
885	37	&&	20397	21318
885	37	<@	18505	21308
885	37	@>	1	0
886	37	&&	10804	11306
886	37	<@	10799	11303
886	37	@>	1	0
887	37	&&	13122	13407
887	37	<@	9345	13396
887	37	@>	1	0
888	37	&&	11823	12382
888	37	<@	9833	12369
888	37	@>	1	0
889	37	&&	11171	11301
889	37	<@	7015	11293
889	37	@>	1	0
890	37	&&	283	318
890	37	<@	4154	309
890	37	@>	1	0
891	37	&&	11005	10882
891	37	<@	8796	10869
891	37	@>	1	0
892	37	&&	2490	2536
892	37	<@	4800	2522
892	37	@>	1	0
893	37	&&	39953	40060
893	37	<@	36966	40046
893	37	@>	1	0
894	37	&&	1209	1199
894	37	<@	3215	1186
894	37	@>	1	0
895	37	&&	21905	22930
895	37	<@	19595	22921
895	37	@>	1	0
896	37	&&	5043	4745
896	37	<@	3115	4731
896	37	@>	1	0
897	37	&&	8034	7981
897	37	<@	7664	7968
897	37	@>	1	0
898	37	&&	2209	2160
898	37	<@	2652	2149
898	37	@>	1	0
899	37	&&	7004	7222
899	37	<@	4127	7210
899	37	@>	1	0
900	37	&&	15329	13898
900	37	<@	12221	13889
900	37	@>	1	0
901	37	&&	773	724
901	37	<@	4906	717
901	37	@>	1	0
902	37	&&	7197	7127
902	37	<@	7304	7118
902	37	@>	1	0
903	37	&&	19243	19025
903	37	<@	18765	19019
903	37	@>	1	0
904	37	&&	3118	3127
904	37	<@	3329	3122
904	37	@>	1	0
905	37	&&	5164	5514
905	37	<@	2931	5504
905	37	@>	1	0
906	37	&&	6930	7283
906	37	<@	4625	7271
906	37	@>	1	0
907	37	&&	12918	12346
907	37	<@	9881	12338
907	37	@>	1	0
908	37	&&	3092	2878
908	37	<@	6510	2861
908	37	@>	1	0
909	37	&&	4141	3846
909	37	<@	2771	3835
909	37	@>	1	0
910	37	&&	2439	2492
910	37	<@	2374	2482
910	37	@>	1	0
911	37	&&	5710	5763
911	37	<@	5598	5753
911	37	@>	1	0
912	37	&&	3746	3903
912	37	<@	6452	3893
912	37	@>	1	0
913	37	&&	2191	2143
913	37	<@	4625	2135
913	37	@>	1	0
914	37	&&	2123	2237
914	37	<@	5086	2219
914	37	@>	1	0
915	37	&&	10127	9147
915	37	<@	7664	9132
915	37	@>	1	0
916	37	&&	839	930
916	37	<@	4202	922
916	37	@>	1	0
917	37	&&	11325	11728
917	37	<@	6718	11713
917	37	@>	1	0
918	37	&&	6299	6459
918	37	<@	3838	6448
918	37	@>	1	0
919	37	&&	16735	17312
919	37	<@	12910	17306
919	37	@>	1	0
920	37	&&	732	707
920	37	<@	1616	696
920	37	@>	1	0
921	37	&&	474	407
921	37	<@	4978	397
921	37	@>	1	0
922	37	&&	4148	4138
922	37	<@	6032	4128
922	37	@>	1	0
923	37	&&	3691	3657
923	37	<@	5869	3645
923	37	@>	1	0
924	37	&&	5784	5692
924	37	<@	6156	5685
924	37	@>	1	0
925	37	&&	28037	28090
925	37	<@	26627	28078
925	37	@>	1	0
926	37	&&	19078	19421
926	37	<@	18760	19409
926	37	@>	1	0
927	37	&&	3175	2998
927	37	<@	3712	2987
927	37	@>	1	0
928	37	&&	4581	4464
928	37	<@	5038	4456
928	37	@>	1	0
929	37	&&	12240	12002
929	37	<@	10853	11987
929	37	@>	1	0
930	37	&&	1521	1587
930	37	<@	1881	1570
930	37	@>	1	0
931	37	&&	6947	7255
931	37	<@	6728	7245
931	37	@>	1	0
932	37	&&	35499	35174
932	37	<@	31845	35164
932	37	@>	1	0
933	37	&&	16528	17374
933	37	<@	16046	17366
933	37	@>	1	0
934	37	&&	13756	13554
934	37	<@	12433	13538
934	37	@>	1	0
935	37	&&	2101	2108
935	37	<@	3909	2097
935	37	@>	1	0
936	37	&&	24424	23445
936	37	<@	19773	23434
936	37	@>	1	0
937	37	&&	4794	5095
937	37	<@	4791	5077
937	37	@>	1	0
938	37	&&	43239	41998
938	37	<@	39836	41986
938	37	@>	1	0
939	37	&&	17859	17630
939	37	<@	15302	17622
939	37	@>	1	0
940	37	&&	4237	4288
940	37	<@	4821	4279
940	37	@>	1	0
941	37	&&	842	893
941	37	<@	933	880
941	37	@>	1	0
942	37	&&	1455	1585
942	37	<@	5064	1577
942	37	@>	1	0
943	37	&&	4752	4899
943	37	<@	3404	4892
943	37	@>	1	0
944	37	&&	17302	15892
944	37	<@	13330	15882
944	37	@>	1	0
945	37	&&	696	648
945	37	<@	2967	639
945	37	@>	1	0
946	37	&&	4963	4951
946	37	<@	5903	4944
946	37	@>	1	0
947	37	&&	1972	2000
947	37	<@	1619	1991
947	37	@>	1	0
948	37	&&	14629	14619
948	37	<@	10133	14608
948	37	@>	1	0
949	37	&&	16761	16498
949	37	<@	16627	16492
949	37	@>	1	0
950	37	&&	10475	10529
950	37	<@	6576	10514
950	37	@>	1	0
951	37	&&	3792	4012
951	37	<@	3900	3998
951	37	@>	1	0
952	37	&&	2527	2609
952	37	<@	1352	2601
952	37	@>	1	0
953	37	&&	17353	16374
953	37	<@	15118	16368
953	37	@>	1	0
954	37	&&	5349	5589
954	37	<@	4650	5583
954	37	@>	1	0
955	37	&&	10306	10139
955	37	<@	9688	10128
955	37	@>	1	0
956	37	&&	5179	5084
956	37	<@	5036	5075
956	37	@>	1	0
957	37	&&	36931	35968
957	37	<@	35735	35960
957	37	@>	1	0
958	37	&&	722	733
958	37	<@	4946	721
958	37	@>	1	0
959	37	&&	421	380
959	37	<@	3405	373
959	37	@>	1	0
960	37	&&	5395	5644
960	37	<@	7154	5635
960	37	@>	1	0
961	37	&&	16162	16681
961	37	<@	15330	16669
961	37	@>	1	0
962	37	&&	11513	11344
962	37	<@	10223	11338
962	37	@>	1	0
963	37	&&	2018	1964
963	37	<@	2933	1956
963	37	@>	1	0
964	37	&&	43965	44896
964	37	<@	39233	44885
964	37	@>	1	0
965	37	&&	23481	23603
965	37	<@	23476	23599
965	37	@>	1	0
966	37	&&	34985	35535
966	37	<@	34106	35525
966	37	@>	1	0
967	37	&&	2207	2266
967	37	<@	4404	2257
967	37	@>	1	0
968	37	&&	172	156
968	37	<@	2591	145
968	37	@>	1	0
969	37	&&	5551	5553
969	37	<@	6873	5545
969	37	@>	1	0
970	37	&&	10431	10137
970	37	<@	9672	10132
970	37	@>	1	0
971	37	&&	2497	2529
971	37	<@	1371	2518
971	37	@>	1	0
972	37	&&	16127	15148
972	37	<@	12039	15144
972	37	@>	1	0
973	37	&&	8125	8768
973	37	<@	4474	8756
973	37	@>	1	0
974	37	&&	8089	8129
974	37	<@	6783	8120
974	37	@>	1	0
975	37	&&	12865	12798
975	37	<@	9697	12790
975	37	@>	1	0
976	37	&&	12609	12822
976	37	<@	8305	12808
976	37	@>	1	0
977	37	&&	15534	16270
977	37	<@	15293	16260
977	37	@>	1	0
978	37	&&	7370	7329
978	37	<@	4939	7319
978	37	@>	1	0
979	37	&&	18452	18343
979	37	<@	14342	18323
979	37	@>	1	0
980	37	&&	30666	30876
980	37	<@	30418	30864
980	37	@>	1	0
981	37	&&	1647	1680
981	37	<@	3787	1670
981	37	@>	1	0
982	37	&&	988	980
982	37	<@	1289	971
982	37	@>	1	0
983	37	&&	1405	1414
983	37	<@	4073	1400
983	37	@>	1	0
984	37	&&	4462	4623
984	37	<@	4553	4615
984	37	@>	1	0
985	37	&&	7974	8260
985	37	<@	5163	8251
985	37	@>	1	0
986	37	&&	9949	9415
986	37	<@	6469	9401
986	37	@>	1	0
987	37	&&	634	565
987	37	<@	1067	559
987	37	@>	1	0
988	37	&&	41325	40740
988	37	<@	37644	40732
988	37	@>	1	0
989	37	&&	2763	2762
989	37	<@	2490	2756
989	37	@>	1	0
990	37	&&	2807	2997
990	37	<@	4693	2989
990	37	@>	1	0
991	37	&&	7348	7248
991	37	<@	7648	7237
991	37	@>	1	0
992	37	&&	6928	6809
992	37	<@	5584	6800
992	37	@>	1	0
993	37	&&	4763	4808
993	37	<@	4988	4794
993	37	@>	1	0
994	37	&&	3831	3650
994	37	<@	2920	3634
994	37	@>	1	0
995	37	&&	7398	7583
995	37	<@	6364	7572
995	37	@>	1	0
996	37	&&	257	272
996	37	<@	4171	261
996	37	@>	1	0
997	37	&&	1937	2048
997	37	<@	4754	2039
997	37	@>	1	0
998	37	&&	447	466
998	37	<@	3103	455
998	37	@>	1	0
999	37	&&	2595	2674
999	37	<@	1565	2662
999	37	@>	1	0
1000	37	&&	20517	20359
1000	37	<@	19727	20350
1000	37	@>	1	0
\.


--
-- Data for Name: tests; Type: TABLE DATA; Schema: public; Owner: smagen
--

COPY tests (id, value) FROM stdin;
1	[515974.625945091248,529937.039912820794)
2	[865123.133175075054,881757.694849961088)
3	[646625.756286084652,649137.591835656669)
4	[721886.700950562954,722903.645886429469)
5	[373125.697486102581,404617.554549863911)
6	[610674.552619457245,611518.893078775494)
7	[767673.894762992859,784474.178024478606)
8	[261717.838700860739,262664.897861225123)
9	[119842.623360455036,120817.083477060747)
10	[368256.764020770788,374963.233776504872)
11	[683014.778420329094,685611.63916658808)
12	[91736.652422696352,98132.8517854958918)
13	[353604.138363152742,359355.363806272682)
14	[332727.991044521332,336524.71655429271)
15	[334590.78473970294,334955.426857775543)
16	[900531.022343784571,919539.987490542117)
17	[788281.832356005907,802791.405224764487)
18	[661082.448903471231,666790.108916317811)
19	[987774.580717086792,992602.943277988234)
20	[531602.113507688046,536079.06128399435)
21	[340082.114562392235,341616.851429696369)
22	[441868.01090836525,443008.167424953193)
23	[955907.969735562801,968067.946193964803)
24	[198115.603532642126,198903.336761349987)
25	[796434.533782303333,804790.224822242279)
26	[564372.971653938293,570901.651790609001)
27	[795078.691560775042,805753.015031151706)
28	[951956.445816904306,953566.150987435365)
29	[93473.7073257565498,96824.0221918178868)
30	[464597.45429456234,470184.744725955185)
31	[320491.837337613106,325035.163597360253)
32	[278629.903681576252,279781.472336249251)
33	[130782.632157206535,158868.912641113944)
34	[543681.258335709572,544943.210168195888)
35	[322681.502439081669,323464.181802508014)
36	[479457.4910774827,490327.202690373117)
37	[217560.038436204195,242984.400660914078)
38	[770519.626326858997,772424.792881233036)
39	[624911.352060735226,659532.052069154684)
40	[249218.601733446121,254689.105389396398)
41	[535007.598344236612,551805.750050268951)
42	[900795.198976993561,904801.262634937419)
43	[469701.197929680347,488857.544195582683)
44	[478769.119828939438,487051.343877573672)
45	[137436.081655323505,166147.640704301506)
46	[991239.397786557674,997362.960742528085)
47	[308495.051227509975,311640.36844531534)
48	[566701.588686555624,572486.883439530851)
49	[209581.65405318141,210751.294793152367)
50	[557834.896724671125,565433.391138787847)
51	[185666.2193313241,186046.274682279443)
52	[195026.773493736982,200188.945780339534)
53	[958617.890253663063,992299.308213826152)
54	[576694.266404956579,585453.656710922369)
55	[934181.630611419678,951663.624110965407)
56	[4875.1290887594223,11208.6259351031003)
57	[639504.441991448402,663114.036833229824)
58	[799275.518860667944,800431.935609847424)
59	[758421.97285965085,761679.892544056289)
60	[672380.545642226934,695000.550142058753)
61	[221411.212813109159,232306.349188172666)
62	[353785.973973572254,361334.205633089645)
63	[933489.245362579823,958807.663612893084)
64	[969183.947890996933,970727.948826796957)
65	[30870.4101480543613,38357.4074671439012)
66	[675334.056373685598,677774.36606737948)
67	[564311.232417821884,584741.235438337666)
68	[619762.887246906757,627163.789350116858)
69	[835907.230153679848,838094.477865339024)
70	[106458.365917205811,121158.989875849642)
71	[22370.0227215886116,23550.3552099766312)
72	[239278.089720755816,250121.47018354453)
73	[17003.8230717182159,17396.9877783438751)
74	[771080.105099827051,786015.596060231444)
75	[316598.247271031141,322458.421294094587)
76	[671283.850446343422,679005.959101249231)
77	[107080.594170838594,107334.488424222684)
78	[67915.724590420723,68329.8821264968137)
79	[945557.387545704842,945935.441291687544)
80	[183640.739414840937,221117.610710464505)
81	[564118.517097085714,583706.683610141394)
82	[192964.427173137665,194339.015264153219)
83	[729335.625655949116,746087.520782231237)
84	[651358.87311771512,659688.550058550434)
85	[9184.46853756904602,23365.094810108847)
86	[335331.717040389776,335652.347653182573)
87	[869150.734040886164,877698.218347001472)
88	[693428.956437855959,715158.091583986185)
89	[613163.415808230639,619409.128916995716)
90	[661580.353043973446,688138.963180592051)
91	[907969.712279736996,912017.32888794411)
92	[467771.124094724655,467922.771211254178)
93	[357934.028375893831,365605.98896909412)
94	[55620.1464496552944,59236.898062116481)
95	[572786.521632224321,575521.169629146811)
96	[279919.213615357876,281391.519192531705)
97	[98235.6816530227661,104639.021246470322)
98	[265334.788709878922,282912.503746660892)
99	[285610.955208539963,310463.261650536442)
100	[392814.163584262133,396306.836982666748)
101	[674510.900862514973,687535.797703506076)
102	[326349.915470927954,334195.122630071302)
103	[302755.688317120075,302955.459235732036)
104	[429816.192016005516,454575.950990440033)
105	[484287.933446466923,485246.398678233905)
106	[845680.767670273781,850660.810132728424)
107	[424260.749015957117,428021.53880279616)
108	[407307.952642440796,422549.493540977244)
109	[849138.740915805101,855354.973913334892)
110	[85686.1933134496212,91166.7144646358356)
111	[702188.984956592321,706739.826272587059)
112	[558830.301277339458,574945.936306838761)
113	[838489.047717303038,855871.145098214853)
114	[627995.973918586969,629321.007450121804)
115	[740858.752280473709,741069.049486425589)
116	[418895.427137613297,424263.182317465427)
117	[748956.019058823586,762630.56232552696)
118	[959031.288512051105,959562.255680196104)
119	[765024.21498298645,769948.302273180219)
120	[967630.811501294374,970498.465080858674)
121	[480244.026053696871,497027.16858423024)
122	[641569.794621318579,665056.584956067498)
123	[126763.471402227879,127264.598131484818)
124	[686699.552461504936,723955.904862784198)
125	[511805.846355855465,526606.875858712825)
126	[397827.474866062403,400235.393972424325)
127	[137991.152703762054,169377.432534368476)
128	[14419.4979220628738,51918.6246949809283)
129	[780822.867061942816,791106.70209888916)
130	[100580.20381256938,107954.990811513679)
131	[663225.61027482152,670554.383633153629)
132	[937051.272951066494,942364.645673321211)
133	[264720.974024385214,287362.559622565343)
134	[463893.336709588766,464195.302216759825)
135	[284930.042922496796,290578.007360074029)
136	[279057.338368147612,293546.44595168269)
137	[244835.727848112583,270171.714792498446)
138	[669678.844511508942,674324.615502259578)
139	[969504.880718886852,973911.323703945614)
140	[347501.412034034729,354065.914819337195)
141	[128764.143213629723,142441.966420112265)
142	[695305.558852851391,698408.316789620789)
143	[701986.663974821568,714355.93122541334)
144	[243235.496804118156,249828.937408113794)
145	[352140.529081225395,356353.664934361354)
146	[4491.1503791809082,4646.00459913596296)
147	[863291.331566870213,891685.871376035153)
148	[427547.76868969202,428917.568365925341)
149	[837624.985724687576,859829.610183571116)
150	[157757.495529949665,159064.905893125222)
151	[322965.254075825214,328706.722206651641)
152	[887729.097623378038,896117.788691699971)
153	[357441.966887563467,365593.034845547576)
154	[939400.181639939547,943359.491381534724)
155	[913786.339573562145,917167.698088130215)
156	[808257.575146853924,808692.397975401953)
157	[32230.4815053939819,39233.4711222773913)
158	[309305.778704583645,322556.53510434588)
159	[213288.190774619579,221329.900587568001)
160	[217026.676516979933,225360.629495364294)
161	[896356.976125389338,898861.067995408783)
162	[580794.859677553177,595051.380133455852)
163	[163060.25069206953,163144.026925344166)
164	[887660.614214837551,887667.468927822891)
165	[899783.734232187271,900248.552688385476)
166	[123240.265063941479,125760.184348081792)
167	[482232.943642884493,482343.243345270457)
168	[790549.97069761157,808855.487856573658)
169	[568377.305287867785,581468.792448388645)
170	[166621.758602559566,173202.718636117177)
171	[16851.7464771866798,53692.3906273809698)
172	[524714.127648621798,525217.404497928219)
173	[478442.467749118805,496401.341933241056)
174	[783299.373462796211,795067.187391151558)
175	[386561.182327568531,386564.443359024823)
176	[257159.378845244646,260485.031856532703)
177	[221843.877341598272,240042.642424183578)
178	[42566.4670765399933,47426.2384160295478)
179	[846296.867821365595,872921.961107528419)
180	[385589.364916086197,399296.748848518298)
181	[975645.191036164761,982754.833292056806)
182	[968829.590827226639,974952.235417731339)
183	[519798.99313300848,534044.33844406961)
184	[297553.045209497213,298476.131387269532)
185	[489329.713862389326,495569.186838561145)
186	[570339.943747967482,577395.815336382482)
187	[439054.13756147027,440052.938411283074)
188	[555263.688787817955,580212.847175194067)
189	[929073.978681117296,933207.3850098775)
190	[609227.264299988747,613019.905432223459)
191	[338889.112696051598,359017.163160242315)
192	[598553.319927304983,606779.798203813378)
193	[704340.882133692503,714588.548280772287)
194	[945637.11853697896,953636.377772471402)
195	[571346.868295222521,575369.966459824471)
196	[296718.352474272251,304636.808720101777)
197	[840056.113433092833,843142.419021931826)
198	[4870.19401043653488,9330.80134032742353)
199	[24927.5048263370991,28528.9320334548138)
200	[448031.405918300152,455252.166435785126)
201	[766598.043497651815,766783.465483950102)
202	[20438.6794939637184,22741.018045179826)
203	[113425.4215285182,121998.622623597214)
204	[123148.786835372448,123583.076150518638)
205	[914265.431463718414,927447.156060944777)
206	[358134.561683982611,361053.531700769265)
207	[598762.694746255875,630155.922873466392)
208	[813887.534663081169,817498.719494173536)
209	[597807.669080793858,612059.046108783805)
210	[853741.327300667763,855594.441970419721)
211	[90751.1366531252861,92381.7354083044629)
212	[716146.597173064947,742855.189091858221)
213	[416007.623076438904,428773.659900691709)
214	[290662.357117980719,296477.254740950477)
215	[23440.0308690965176,36860.6532467297075)
216	[955192.346591502428,970800.637325790827)
217	[757065.113168209791,794209.558526120032)
218	[995690.256357192993,1016130.26945087919)
219	[551333.395298570395,552598.545017384226)
220	[912989.935372024775,919256.019985347404)
221	[851215.094793587923,854377.618187710759)
222	[718753.370922058821,724731.337111220346)
223	[227812.378667294979,235418.952447348565)
224	[753081.366419792175,770546.553687780397)
225	[292165.558785200119,301500.50486358779)
226	[994774.585589766502,999602.098076701281)
227	[757282.373495399952,769692.932535880827)
228	[313723.945990204811,315626.959053839557)
229	[431937.973946332932,441211.144513827865)
230	[614225.124474614859,620301.757600953104)
231	[343080.066610127687,351506.229307410016)
232	[245416.080113500357,246471.298508846783)
233	[545048.498082906008,547807.434204440331)
234	[970635.71447506547,971649.199037838262)
235	[359945.379663258791,381454.810938044859)
236	[561980.720143765211,564352.643828784116)
237	[154750.14690309763,158045.388483225513)
238	[661138.263996690512,665960.038720144192)
239	[813374.997116625309,818723.100680487114)
240	[208182.573784142733,209297.930946614302)
241	[21042.3246026039124,23310.7930954297844)
242	[488457.25180581212,503522.667544861615)
243	[913878.342136740685,930082.380213422002)
244	[951614.695135504007,955858.366189632798)
245	[406567.500904202461,414910.91825228167)
246	[801194.32182982564,815043.178068961482)
247	[135257.291607558727,135734.608073932031)
248	[849792.747292667627,861196.650621076929)
249	[287716.738414019346,304888.554527616245)
250	[776687.683071941137,787119.329791537952)
251	[704054.112080484629,708189.111136875348)
252	[858822.592999786139,878398.674204277457)
253	[619402.49428153038,626741.370586340781)
254	[241366.785485297441,247036.82169368639)
255	[934180.487878620625,940150.667773161898)
256	[538318.047765642405,569378.612633851473)
257	[652506.519109010696,652777.921986665111)
258	[733547.511510550976,741903.490664201556)
259	[828956.497367471457,840513.474512651796)
260	[912201.177794486284,914886.82424360991)
261	[251002.026721835136,263498.547332581307)
262	[985171.566251665354,990053.394077692879)
263	[760005.90156763792,778021.837036813376)
264	[66565.1080198585987,67054.0974405213346)
265	[655392.775777727365,673923.984834086616)
266	[695384.758524596691,699838.990913319052)
267	[181921.194307506084,190000.207795503782)
268	[218251.147773116827,234411.93134048162)
269	[74168.2085208594799,80322.9971068888844)
270	[234101.180452853441,234185.017877129896)
271	[909167.292527854443,923969.793155908235)
272	[963571.509812027216,971819.429046861944)
273	[799194.527789950371,811138.681392831961)
274	[128058.673348277807,137951.348235755868)
275	[382281.227968633175,382692.155062972626)
276	[863675.023894757032,873706.679308183375)
277	[753655.351232737303,772549.951218830887)
278	[19542.5734855234623,26751.072357343146)
279	[683810.903690755367,684711.32897516829)
280	[561383.893247693777,565526.989504678524)
281	[929360.473062843084,932327.952185867936)
282	[698650.568258017302,699830.317561842385)
283	[810976.003296673298,835853.315571954357)
284	[912605.356890708208,934246.136424301192)
285	[376519.649289548397,378106.166836725373)
286	[893492.90868267417,896857.248241657158)
287	[919125.766027718782,938579.378319741692)
288	[847360.753919929266,860030.600392190856)
289	[554183.439817279577,591241.428561197827)
290	[346471.319440752268,374032.910664078314)
291	[15679.2784109711647,18038.3543650660322)
292	[569747.923407703638,584415.795726613957)
293	[58992.9334819316864,67891.6246767656412)
294	[282995.882909744978,296575.044967273483)
295	[675398.178864270449,694001.545888294466)
296	[82007.5171068310738,91290.1040475208429)
297	[101148.427929729223,116319.663055868194)
298	[716040.320228785276,740358.654792205081)
299	[697559.801395982504,707465.787635458866)
300	[797268.643043935299,798038.311522868928)
301	[775352.214463055134,787088.640702253906)
302	[359766.392968595028,371623.727228741336)
303	[547825.970686972141,550146.894754552981)
304	[412798.274774104357,413874.231680672383)
305	[182546.574156731367,196787.350355129427)
306	[38474.0792214870453,40683.3624460476931)
307	[969415.937550365925,978786.536878932384)
308	[967560.482677072287,967848.684799368028)
309	[197512.499522417784,200396.741207611689)
310	[771212.708204984665,791841.359441096545)
311	[94936.1417442560196,114124.36124495283)
312	[477669.33124512434,479851.943260097294)
313	[633878.311142325401,636031.424816733692)
314	[108209.000900387764,112235.264008535072)
315	[822355.328593403101,845944.51759783749)
316	[405517.563689500093,414623.323189818067)
317	[596239.196136593819,610732.984353167354)
318	[292185.524012893438,293741.134370385553)
319	[972411.103546619415,984618.353594461572)
320	[246074.578259140253,247758.263932350645)
321	[464253.39300185442,467601.809873481165)
322	[353183.530736714602,358869.302234022529)
323	[892770.660109817982,896638.232281722594)
324	[462078.201584517956,463024.420507757633)
325	[571300.379000604153,573956.8573226718)
326	[963193.838484585285,974167.065312604303)
327	[86511.1355669796467,92324.7461560804368)
328	[862321.090418845415,875064.665686404565)
329	[634572.821203619242,669816.677013177192)
330	[51827.5601789355278,57932.6966487958489)
331	[876007.735263556242,882120.552747097099)
332	[54635.6933191418648,61026.9611057192888)
333	[222629.08099219203,226888.12499769812)
334	[616312.099155038595,618481.728369951597)
335	[51805.0161190330982,71638.0914895517926)
336	[349997.862707823515,357255.773303321097)
337	[146935.334894806147,159081.675685837487)
338	[949727.739673107862,950132.897535140743)
339	[23925.4068583250046,29232.390394897644)
340	[129989.154636859894,139033.413269682089)
341	[645096.851047128439,646074.997109224088)
342	[261462.30660378933,274615.372928276716)
343	[534046.163316816092,535367.582866191864)
344	[451997.434254735708,453844.105128583149)
345	[94313.4883418679237,101321.754148721287)
346	[625547.134783118963,660720.365664425422)
347	[961170.118302106857,972570.176144942641)
348	[442568.155471235514,444599.104221179208)
349	[27004.0454342961311,27610.8943760280636)
350	[378839.38429877162,379660.263776451815)
351	[921266.932040452957,934317.292778631439)
352	[594867.470674216747,595573.865798801184)
353	[432018.640451133251,439884.326530580758)
354	[107908.261939883232,113995.293771930941)
355	[956401.151604950428,959117.89269547502)
356	[51169.833168387413,60370.2608660627593)
357	[331080.41062951088,334829.267341709055)
358	[333105.990197509527,353140.17544889811)
359	[436415.536794811487,451791.520900383184)
360	[33745.5589324235916,41311.3079906036073)
361	[288928.418885916471,299695.733995829243)
362	[501050.248742103577,503928.383382109925)
363	[339475.52228346467,368231.647261756356)
364	[433897.736947983503,438462.367222638102)
365	[2498.65930527448654,19251.0781108889096)
366	[445288.629736751318,471028.053408515116)
367	[541574.368253350258,541984.214381567435)
368	[991967.858746647835,1028309.12356753892)
369	[584751.311223953962,585803.54004360945)
370	[429537.056013941765,437327.42889534909)
371	[337773.538194596767,344326.406139655563)
372	[142650.466412305832,153702.423999311402)
373	[793339.02895450592,799797.01820625097)
374	[533980.522770434618,536590.98346186406)
375	[260859.881062060595,269246.839288265794)
376	[760483.590885996819,768463.964508817531)
377	[227018.776349723339,230050.576351427182)
378	[799886.837136000395,808245.34044506168)
379	[205152.244307100773,207815.163446134335)
380	[932973.866816610098,935301.398882634239)
381	[46521.6953307390213,51274.0682932365962)
382	[131416.495889425278,140286.147098011512)
383	[418418.597895652056,419735.46432941925)
384	[561689.072288572788,561720.821727815317)
385	[223260.475788265467,270620.246782072005)
386	[544322.372414171696,552555.705909246812)
387	[471933.017484843731,483547.670637790405)
388	[229887.962806969881,232970.512601917522)
389	[162729.295436292887,177162.959102695371)
390	[495026.612188667059,500535.958561384177)
391	[331594.568211585283,334545.129527104611)
392	[973377.476446330547,981555.816626041313)
393	[517044.04316842556,531883.746358253178)
394	[125107.643194496632,137916.048041818722)
395	[7048.88813197612762,7647.25350515794798)
396	[929847.19155356288,930397.780400866759)
397	[436344.00749579072,436976.21406087681)
398	[641666.647512465715,660960.50422368967)
399	[184648.042544722557,186921.51278344958)
400	[857932.514511048794,863173.455772985937)
401	[194581.848569214344,199727.757059112046)
402	[968942.532781511545,979924.102700417279)
403	[89227.7262173593044,91444.5536004280875)
404	[931786.912959069014,934689.861415054183)
405	[962698.981631547213,968264.423431350035)
406	[675546.19861766696,679031.757827004069)
407	[682323.728688061237,692791.244993274682)
408	[852906.894404441118,855130.430186898331)
409	[422187.989577651024,460361.728229455766)
410	[921564.059797674417,927171.869822936365)
411	[36096.048541367054,55161.7771938976439)
412	[482807.461638003588,489202.38946044317)
413	[912674.939259886742,914004.244815703598)
414	[327202.66142860055,328226.566088237392)
415	[327829.829882830381,329877.160278292606)
416	[505231.500137597322,512621.56183332717)
417	[587390.06333053112,593817.913151070825)
418	[188926.544971764088,200215.748398469499)
419	[673004.528973251581,674290.973458469263)
420	[928574.812132865191,938672.684248770121)
421	[547526.984009891748,556793.450981201022)
422	[929997.060913592577,932608.769946728367)
423	[253044.686280190945,268318.840491592011)
424	[429218.48502010107,440464.947807761433)
425	[760918.493382632732,765238.368947479641)
426	[104469.554033130407,120415.763409129009)
427	[202193.796169012785,211043.582680929889)
428	[269454.59796115756,270674.791195392492)
429	[711751.125287264585,720830.811342308647)
430	[212191.717233508825,212595.573080805945)
431	[781792.435795068741,794430.48549564078)
432	[561992.63408780098,566600.020891228924)
433	[191597.250755876303,205497.029286803299)
434	[45800.2891391515732,65795.63976738356)
435	[871632.637456059456,908274.545392160187)
436	[500305.290799587965,505738.083755775413)
437	[578496.112488210201,584122.607493105461)
438	[649010.334629565477,666820.951506535988)
439	[213206.307031214237,214020.889668423129)
440	[506773.475091904402,543318.17841138714)
441	[429011.364467442036,438459.373308825016)
442	[771139.342803508043,781114.490607973654)
443	[198520.044796168804,198934.453543856071)
444	[746073.896531015635,770183.528160955873)
445	[637251.200620085001,669015.499420264387)
446	[949852.125719189644,955282.922025757143)
447	[675688.831601291895,682860.049686964601)
448	[788226.13600641489,808421.730667901691)
449	[262763.939332216978,280723.206241428794)
450	[731887.862551957369,733331.146713664406)
451	[808401.526883244514,811043.697675506119)
452	[553556.198719888926,558448.432458941126)
453	[662495.505064725876,664759.073816734133)
454	[218438.438139855862,239289.156767102453)
455	[280795.352999120951,293712.903718575428)
456	[849826.613441109657,862198.694306247868)
457	[336454.942356795073,346156.234884011676)
458	[341011.878103017807,348668.518950757221)
459	[661559.897474944592,662471.030984155484)
460	[445246.158167719841,448795.937707853736)
461	[45351.3888642191887,50378.2817327571975)
462	[717854.734975844622,730621.611645117868)
463	[906943.044159561396,913996.878975935397)
464	[588326.303288340569,590186.069373890408)
465	[340107.296593487263,343967.071402179601)
466	[304103.560280054808,305711.221692130552)
467	[552407.319657504559,571902.669897333835)
468	[535406.462848186493,537825.9406411011)
469	[60226.2923493981361,74244.2269287254458)
470	[90604.6377494931221,94775.2836571726657)
471	[479056.814685463905,507263.056598117633)
472	[50828.3628150820732,67730.0582284649136)
473	[561397.20743522048,566370.384141716408)
474	[350486.744660884142,353009.341907901515)
475	[478926.016017794609,494809.28443443228)
476	[521768.203936517239,529197.407716522459)
477	[190831.187181174755,193570.595538424765)
478	[245317.625813186169,246346.530737090041)
479	[745703.81036028266,763640.058184810099)
480	[267481.214832514524,268378.395457794366)
481	[153858.095407485962,162334.719428357144)
482	[234319.930430501699,246570.717363531963)
483	[429244.534578174353,443929.405404427089)
484	[921168.24071854353,927891.315687873168)
485	[523571.294266730547,523689.72154232621)
486	[830492.472741752863,830518.788426685147)
487	[952204.129658639431,973517.444898664718)
488	[818139.866460114717,825347.133433048497)
489	[273161.076940596104,275007.839543383045)
490	[736558.44246968627,750505.220246265293)
491	[964359.51441526413,967347.977985354373)
492	[276364.498306065798,278050.94190064288)
493	[497949.585784226656,505324.383336332277)
494	[252964.932937175035,255757.488308773696)
495	[355326.053686439991,362675.044504736783)
496	[329464.503098279238,336581.365804351633)
497	[92030.9228822588921,100327.110275315819)
498	[215449.564624577761,222815.863772109704)
499	[333510.82680746913,334979.804991774203)
500	[10746.2848536670208,30201.1357229312125)
501	[148390.683811157942,166794.222065360605)
502	[859710.230492055416,860770.44687211921)
503	[722559.59315225482,733886.976195765077)
504	[614196.151029318571,668735.740571442991)
505	[846476.708073168993,850796.153108663158)
506	[747807.763982564211,764459.184897343512)
507	[609081.240370869637,609325.93243480206)
508	[966026.924084872007,967158.956269592047)
509	[545854.386873543262,548326.083902029204)
510	[350684.222299605608,373828.819537417032)
511	[739438.004791736603,750836.99637268018)
512	[410364.589653909206,428170.941088487278)
513	[243933.158926665783,253763.185852054885)
514	[352744.385600090027,361358.718228375597)
515	[762431.960087269545,766949.522122444352)
516	[434526.106808334589,458697.388130416395)
517	[204729.428049176931,208214.176578326675)
518	[11417.4578338861465,37630.0868052620935)
519	[972086.434252560139,981911.103087547468)
520	[923009.692225605249,940078.168025344145)
521	[976368.202827870846,987479.631205209997)
522	[629399.365279823542,638204.968692569644)
523	[694989.718496799469,704038.931833760813)
524	[692480.269353836775,695235.750632918207)
525	[814418.146852403879,814859.384701485513)
526	[142024.545930325985,150095.684430941474)
527	[723313.217051327229,731351.527364119771)
528	[385325.080249458551,419512.496908082627)
529	[178203.290794044733,191600.050266108359)
530	[544690.361712127924,572930.908491673646)
531	[101560.136768966913,140296.080385671812)
532	[851457.895245403051,855114.901704565855)
533	[273452.806286513805,293321.455673090881)
534	[233578.586485236883,236396.106593171833)
535	[488488.962408155203,490191.962809185497)
536	[64102.3833304643631,70354.5991989837494)
537	[827405.734919011593,839231.167221332667)
538	[50306.608434766531,57696.3304175206576)
539	[288928.038906306028,302506.541590662906)
540	[763239.559251815081,764330.413538984954)
541	[785951.369442045689,809517.992625790648)
542	[657202.337868511677,664320.839559781132)
543	[457653.241697698832,458087.823632173648)
544	[476510.962471365929,486613.035946291522)
545	[780596.884433180094,780811.177435967606)
546	[576491.783373057842,597875.80566127738)
547	[417.793169617652893,6003.07634804400186)
548	[188446.586020290852,191646.856444051402)
549	[290825.032629072666,296307.282260187028)
550	[519409.839995205402,534519.983792906161)
551	[578613.451682031155,587372.433348477702)
552	[244171.160738915205,249380.243354918144)
553	[277013.972867280245,280502.142841748137)
554	[928414.640948176384,936760.412351999315)
555	[37264.6474279463291,49029.98141965986)
556	[669288.197532296181,686616.46479268081)
557	[596918.305847793818,600870.83815844229)
558	[332480.603829026222,333041.774482999346)
559	[369017.953984439373,385572.330948589428)
560	[690428.080037236214,692048.739045809838)
561	[830192.890949547291,833297.893517993623)
562	[31771.8596197664738,49527.4153109091712)
563	[694869.542960077524,697356.957536400296)
564	[104481.283575296402,146952.448417430802)
565	[642243.619076907635,652022.385202267789)
566	[765008.570626378059,767504.178347344394)
567	[207403.347361832857,207495.568609218433)
568	[626876.257825642824,633500.833834217163)
569	[303657.501004636288,311760.85016147577)
570	[50359.3320026993752,54528.4681581292607)
571	[246945.09943947196,259662.175899852533)
572	[164138.165302574635,182708.405779774534)
573	[46138.065867125988,53002.1406841567077)
574	[898434.953298419714,903799.054977641441)
575	[305610.335897654295,314498.624575428374)
576	[564770.858734846115,566230.406628884142)
577	[855782.897211611271,864859.743875660002)
578	[966413.910966366529,974413.497119768872)
579	[816761.164460331202,817496.501772165415)
580	[536347.015760838985,542490.464182868134)
581	[694786.318112164736,698372.451853446197)
582	[679861.854761838913,703109.105184687767)
583	[310535.318218171597,314198.792690829257)
584	[386606.986168771982,396131.161828673154)
585	[862029.011826962233,867773.170105272671)
586	[955114.967655390501,956268.785616547917)
587	[156613.848637789488,157883.698832226219)
588	[952837.51655369997,955103.410298507544)
589	[615871.90255522728,634928.295593188843)
590	[617907.934356480837,643352.238536884543)
591	[440135.503653436899,442152.734726196679)
592	[57285.4653000831604,60794.0755168706019)
593	[779221.511911600828,779461.359150359174)
594	[846570.841502398252,855633.816719126538)
595	[94594.5708081126213,99422.1021227485908)
596	[54987.4603748321533,70564.4997722592234)
597	[684273.44411611557,697548.014040859998)
598	[691570.555325597525,744178.387612596271)
599	[41587.4277241528034,42401.4540765684578)
600	[609001.582022756338,632395.778289465816)
601	[515143.860131502151,523447.664013624308)
602	[12590.5508175492287,23730.5833227558978)
603	[683369.683567434549,717016.814920293749)
604	[874509.623274207115,878065.54409469862)
605	[816700.53768903017,823481.499030615203)
606	[220723.825041204691,223692.210915884527)
607	[675096.351187676191,678353.781264484278)
608	[552754.442673176527,558811.629069282906)
609	[301708.667073398829,306805.684365380032)
610	[50300.5399368703365,55347.3725027609034)
611	[782243.141438812017,783355.675444311346)
612	[185684.127267450094,191967.40024541883)
613	[840137.315448373556,861113.752052700263)
614	[461325.348820537329,482672.755680775677)
615	[955432.224553078413,956161.447484880104)
616	[785341.183189302683,791700.841347622918)
617	[634443.480987101793,650434.977869223803)
618	[142333.793919533491,146158.310983440198)
619	[763359.801843762398,763529.670651476365)
620	[617054.751142859459,625731.193589746952)
621	[509260.975290089846,527448.90592319658)
622	[836896.381340920925,838934.170546825859)
623	[115787.866525352001,120725.107184705936)
624	[638675.190042704344,644079.391469269875)
625	[788976.108189672232,800654.951501640957)
626	[813799.771945923567,822267.867577690515)
627	[794263.73029127717,869955.815177642042)
628	[37735.8361147344112,47798.0191121788666)
629	[876738.582272082567,883651.295381827746)
630	[516125.789377838373,533973.874618527829)
631	[569388.115778565407,572975.843958910438)
632	[302746.891509741545,305026.337052206625)
633	[99398.7065739929676,105288.032123554192)
634	[521644.76178586483,541504.893746083719)
635	[461924.103088676929,463417.221465477487)
636	[442818.848881870508,478287.468023525144)
637	[976478.089112788439,979759.175428663031)
638	[155542.405322194099,156510.443787027936)
639	[669366.054702550173,685175.414291550987)
640	[509762.489702552557,515893.697439986281)
641	[483193.325810134411,487102.474515773065)
642	[29561.4129863679409,32811.1972212126129)
643	[323046.161327511072,323742.848566117231)
644	[911858.102306723595,914086.84747679031)
645	[566358.434036374092,571944.315302456496)
646	[31955.5504247546196,33414.4425108801515)
647	[729450.864251703024,733526.073078374495)
648	[339578.147511929274,357230.271603311761)
649	[779783.127829432487,799531.990800531232)
650	[691608.080174773932,694374.937464938848)
651	[999922.42269217968,1001366.05750869832)
652	[212892.309296876192,250357.611835245421)
653	[414142.159279435873,418737.698897734983)
654	[68666.467908769846,69538.4896495666035)
655	[162652.310915291309,171289.980617839698)
656	[541850.377339869738,552230.601404314977)
657	[901991.219725459814,910463.806777943159)
658	[923302.693292498589,925852.098136586603)
659	[638709.039893001318,656736.887911419501)
660	[424822.124652564526,427117.105060533038)
661	[263144.687749445438,269247.053796263586)
662	[340814.024209976196,389870.768623099313)
663	[791480.117477476597,802886.723191511235)
664	[821445.123758167028,829914.245496399817)
665	[541615.081485360861,548811.085587259266)
666	[812970.476225018501,820769.244106849539)
667	[647480.1329895854,647742.164069328341)
668	[517938.015982508659,518574.043357908027)
669	[394297.500606626272,403131.005399569927)
670	[145130.506716668606,153271.228947453666)
671	[165033.442433923483,176648.352603974345)
672	[202795.448713004589,203489.213829672342)
673	[258392.674382776022,259740.546385334135)
674	[292062.043678015471,314802.18663710996)
675	[961258.938070386648,973877.929729323951)
676	[102169.188670814037,104710.418981643204)
677	[173661.843873560429,179513.44288410453)
678	[216999.178752303123,250563.893793591124)
679	[123375.385068356991,123767.412947605277)
680	[536405.20665794611,547341.169553079992)
681	[551497.506443411112,555795.735335345264)
682	[206527.970731258392,208746.634896152682)
683	[375238.468404859304,388128.910382915696)
684	[260599.931702017784,275276.536487166421)
685	[311070.471070706844,316274.69362253655)
686	[326485.780999064445,332950.400224481593)
687	[92711.3224752247334,100246.26701501623)
688	[543128.576129674911,547453.404304950614)
689	[655379.3721832335,673409.029628072632)
690	[248205.711599439383,257793.475357213494)
691	[552074.788138270378,556388.386659616372)
692	[841041.936539113522,853978.600911223795)
693	[793358.113616704941,793956.050138349878)
694	[690878.593362867832,715735.682920569205)
695	[96485.417801886797,99063.8521903214714)
696	[581723.965238779783,592164.721177718602)
697	[576659.482903778553,592183.063785852748)
698	[846960.56367829442,877304.868879515794)
699	[512717.922683805227,513855.88818466675)
700	[721433.921251446009,738794.618257119204)
701	[513290.934264659882,513781.993278381997)
702	[299892.307724803686,309206.408711290685)
703	[577200.932428240776,595717.357434869977)
704	[957106.254529207945,959753.468893314246)
705	[678211.50366216898,680509.560177824576)
706	[849218.614865094423,851835.981279194239)
707	[555686.866864562035,567407.105112716323)
708	[956022.924277931452,960316.071613951121)
709	[748301.667161285877,758711.74991552555)
710	[265778.479166328907,284408.05378884793)
711	[874185.318127274513,892991.385246765451)
712	[492770.00967413187,498763.751517516444)
713	[635754.380375146866,639905.453432883252)
714	[402742.753271013498,404349.985792742227)
715	[447291.069664061069,448616.978580374678)
716	[972260.697279125452,1004596.02541792579)
717	[172096.376772969961,175273.021025200898)
718	[566584.261134266853,580419.136541598127)
719	[115173.889324069023,122590.763912536553)
720	[981877.613812685013,997646.614064122201)
721	[729002.482257783413,746786.743552246015)
722	[23671.6857179999352,27022.0692569385283)
723	[521356.781013309956,560325.470120671089)
724	[633734.329603612423,636876.759354094043)
725	[626596.128102391958,649573.378202918801)
726	[114445.533603429794,121392.646568854747)
727	[747015.25317505002,756360.195924375206)
728	[951626.248192042112,956451.37778567709)
729	[946946.11756131053,951321.389042281313)
730	[531241.936609148979,536254.604285056004)
731	[478545.675985515118,485547.446999113134)
732	[354819.19115409255,365335.77360999852)
733	[775655.639823526144,801089.914910326595)
734	[399939.362425357103,422087.809082148655)
735	[445093.968417495489,449903.675521645928)
736	[684214.922599494457,686127.695406005718)
737	[212913.20538148284,225219.337625620043)
738	[458785.79979762435,472038.544518570183)
739	[687581.218779087067,688552.057721562334)
740	[3928.43503504991531,7699.79711334957665)
741	[992032.938171178102,993292.811307307798)
742	[814958.793576806784,828392.988875616924)
743	[725589.512381702662,740138.887109595584)
744	[121817.824896425009,132981.585131869215)
745	[120954.043231904507,131540.070617590711)
746	[66772.8171683847904,75923.2252823234739)
747	[156562.396325170994,162037.154246853548)
748	[250141.77244156599,277056.363834742398)
749	[342995.461542159319,353496.001194930985)
750	[823047.565296292305,838563.474623709684)
751	[31898.11110496521,38975.8978798099779)
752	[962185.881100594997,964993.757596935378)
753	[215149.096678942442,220613.135601336893)
754	[979081.303346902132,1002383.98239913664)
755	[513491.810765117407,554242.960215737927)
756	[216907.662805169821,223950.244580938626)
757	[101383.707486093044,101707.559915471516)
758	[244572.940748184919,262116.029728308466)
759	[798451.498616486788,803014.727258122643)
760	[499508.850276470184,524692.104169046856)
761	[19450.5276158452034,27804.1272048923784)
762	[518905.261531472206,520841.265867373266)
763	[987873.676232993603,1002529.08822763979)
764	[108230.960089713335,112248.716382473343)
765	[419128.16883996129,445905.104340141115)
766	[118958.568200469017,124955.615274173964)
767	[438541.014213114977,439387.27771250892)
768	[695837.596897035837,706441.809612081968)
769	[502116.130199283361,513352.936114315758)
770	[556420.426815748215,556577.737088791793)
771	[657928.639091551304,672771.155448774458)
772	[521132.690366357565,535375.242666091304)
773	[805194.54600289464,819706.315678261919)
774	[586285.566911101341,595540.043313442846)
775	[132096.396759152412,132993.394822447764)
776	[523051.58693343401,524694.991924694739)
777	[652076.0846324265,652504.709219123004)
778	[327559.8487816751,337774.965835778392)
779	[811003.882437944412,816727.184346161666)
780	[970818.899106234312,973434.261846309295)
781	[367069.33518871665,368009.996868170798)
782	[681158.331222832203,697537.237483199337)
783	[170921.916607767344,175653.938858170557)
784	[459300.460293889046,470479.574967592082)
785	[51914.8292951285839,52073.287003528254)
786	[688645.988237112761,701019.33561149321)
787	[789048.976730555296,791403.398921458167)
788	[469155.815429985523,478175.836531726876)
789	[975484.30971801281,976054.685036618379)
790	[197889.567818492651,199027.759792136058)
791	[141235.79952865839,153999.125573983765)
792	[259127.631783485413,274893.074870277487)
793	[762898.003216832876,771733.51588208403)
794	[433261.645492166281,441792.501930835366)
795	[22478.2899022102356,27654.7875399534751)
796	[804033.936932682991,808969.486917195609)
797	[493858.012370765209,500497.630222310778)
798	[195157.974492758512,206087.654850827734)
799	[862188.197206705809,872814.620605037315)
800	[337817.976716905832,362364.043551534298)
801	[670179.322361946106,670447.526750804042)
802	[623946.49488851428,630094.075735386694)
803	[236242.644023150206,237219.900383366796)
804	[53471.8227572739124,55850.9301946616688)
805	[148543.692659586668,151438.681752938544)
806	[319307.660683989525,322729.458511812147)
807	[972302.545793354511,980940.36575380608)
808	[83091.3768149912357,96379.2020972186874)
809	[165122.773498296738,172386.773731579277)
810	[309102.435130625963,311180.072713010886)
811	[920433.567371219397,921634.207908944576)
812	[577148.688957095146,582498.020860933815)
813	[598328.640684485435,613126.19638951926)
814	[79071.5096518397331,85242.9467013326648)
815	[426765.098702162504,432158.884205527313)
816	[374619.864393025637,375639.576180682576)
817	[443353.451322764158,508828.835702900484)
818	[556172.721087932587,567554.449858449399)
819	[91668.6700657010078,101075.645354871245)
820	[891323.049552738667,894070.212652733899)
821	[861005.934420973063,863371.144618716091)
822	[529991.855379194021,547907.95899550512)
823	[789066.003169864416,798561.459963389323)
824	[568509.029690176249,599341.291359861847)
825	[129436.254967004061,150441.8007682795)
826	[141789.840068668127,142301.402815243346)
827	[990747.836884111166,1003439.65564068104)
828	[464161.40254586935,473054.884143297211)
829	[491245.192941278219,499081.009668334387)
830	[49593.3159254491329,74604.9313998640428)
831	[960122.398566454649,965642.576489656814)
832	[14954.7131732106209,20121.0687001036349)
833	[422779.540531337261,431245.495068755816)
834	[83071.9457007944584,90296.6389471658767)
835	[180771.978106349707,217421.652593299543)
836	[754660.573787987232,755087.330830788007)
837	[185025.705955922604,188375.573375931272)
838	[875086.39320731163,911618.315712589188)
839	[897735.661827027798,903598.257753888844)
840	[928280.485793948174,928555.964791545528)
841	[321206.887718290091,321933.350867302332)
842	[77041.7395979166031,80780.7459641849418)
843	[789008.855354040861,796800.332777677686)
844	[901031.203102320433,904319.772843230865)
845	[84436.0548071563244,114519.067953141988)
846	[198264.339938759804,198720.156867409998)
847	[374837.699811905622,377235.753904960526)
848	[448034.303728491068,464010.248976073926)
849	[784346.48783877492,791920.27865696908)
850	[312065.45140594244,345623.428539214656)
851	[505501.245148479939,506191.8098677948)
852	[6896.37940376996994,18625.22210523385)
853	[351378.454826772213,372747.701530285587)
854	[664618.660230189562,667483.676153376116)
855	[325578.195974230766,334565.139231930953)
856	[276286.033913493156,286692.819705922622)
857	[662969.472352415323,667328.629532085964)
858	[958739.808760583401,964754.213208935456)
859	[894530.916120857,914175.701750930515)
860	[732232.376001775265,770848.988640594063)
861	[810395.531356334686,837059.344105070573)
862	[23525.4243016242981,25573.9581007163652)
863	[143715.76951816678,150094.024470044038)
864	[982850.47197714448,1009170.0142372289)
865	[2665.97839072346687,6160.36064740196161)
866	[893180.724233388901,900276.889288450824)
867	[361641.948577016592,384675.512844687211)
868	[198694.175109267235,211177.616702982865)
869	[782059.876248240471,801960.480587015627)
870	[962134.52098891139,963273.355789574678)
871	[456211.981829255819,458935.589678998222)
872	[754423.156380653381,755692.192762086168)
873	[591748.328879475594,604236.739352342556)
874	[571159.781888127327,577820.536281795474)
875	[572933.977469801903,576549.304103991366)
876	[465246.215928345919,470080.420405281358)
877	[233888.87383043766,240598.26283642932)
878	[568562.739994376898,573304.537667246535)
879	[960331.36872574687,968347.899814682198)
880	[305666.901636868715,338634.558330402186)
881	[846329.135354608297,848546.176555911778)
882	[471164.57112133503,473496.144903682871)
883	[98924.7295074164867,110007.076251215374)
884	[920991.488266736269,942276.512575131143)
885	[533171.581570059061,554638.17083758919)
886	[988622.678443789482,1034076.19700510963)
887	[121546.564158052206,135135.139714180084)
888	[108565.017580986023,121058.028514359641)
889	[456208.799965679646,467594.546476868505)
890	[199574.138037860394,199869.896669316659)
891	[983116.957359015942,994047.843699756777)
892	[412472.286261618137,414918.586570162792)
893	[153591.994661837816,193243.609790245362)
894	[594610.475469380617,595819.993817505892)
895	[532448.2386931777,555501.86587405717)
896	[76920.7109697163105,81681.368631168938)
897	[99125.0029765069485,107067.620917949724)
898	[586748.458910733461,588955.545746901655)
899	[217944.028321653605,225031.509716478031)
900	[79034.3382395803928,92942.006110484479)
901	[390865.95643311739,391566.501674561063)
902	[740499.173756688833,747682.029353702441)
903	[810702.851507812738,829611.857915291097)
904	[225707.414094358683,228812.304643799143)
905	[528788.991272449493,534327.741412324482)
906	[296054.42937463522,303226.901009480003)
907	[90101.9065640866756,102429.975842358006)
908	[728911.780286580324,731704.871208492084)
909	[689561.742823570967,693470.300126523478)
910	[357617.264613509178,360127.680459500116)
911	[223799.632862210274,229500.754258952453)
912	[600787.356030195951,604687.082945151604)
913	[982623.257674276829,984700.092131047742)
914	[520974.368322640657,523212.897426088282)
915	[695275.762118399143,704438.887115206919)
916	[951682.896353304386,952583.694080002257)
917	[667665.723711252213,679448.191786447424)
918	[598554.239608347416,605062.179850159446)
919	[541246.261447668076,558633.852036646684)
920	[745280.22762387991,746006.313620919478)
921	[249543.205834925175,249965.338130383665)
922	[581941.201817244291,586090.980617131572)
923	[749861.373100429773,753584.379621142638)
924	[583339.013624936342,589126.902378513943)
925	[634375.238325446844,662670.009031414287)
926	[661433.097906410694,680964.702581624966)
927	[375494.254287332296,378535.356458113063)
928	[181099.507492035627,185533.007824137894)
929	[449756.269343197346,461865.366629484692)
930	[558684.798423200846,560251.711167650181)
931	[302082.582842558622,309223.588513255352)
932	[231173.750478774309,266155.781776503311)
933	[202549.764886498451,220253.345510001236)
934	[448116.88270419836,461734.69651862199)
935	[653989.643789827824,656138.881929980707)
936	[813831.279519945383,837216.806912037893)
937	[234731.767326593399,239769.811981073901)
938	[243177.962489426136,284907.38721085852)
939	[706625.463906675577,724142.219200894702)
940	[424016.2568166852,428186.584917513304)
941	[767473.254818469286,768366.479142397176)
942	[199175.573419779539,200718.367912623507)
943	[347669.809125363827,352454.604908240086)
944	[501085.021998733282,517051.526143217401)
945	[82348.9571921527386,82965.2628101802984)
946	[942458.109930157661,947310.20105969999)
947	[570137.515664100647,572044.664815837634)
948	[354179.847054183483,368994.132962453237)
949	[3359.85049605369568,19569.7305711315494)
950	[516483.307350426912,527193.750201028888)
951	[995693.840086460114,999703.31218845793)
952	[560882.344376295805,563501.520920844981)
953	[726087.068673223257,742386.552225100575)
954	[215018.74877139926,220687.639836603921)
955	[630577.282980084419,640767.025917474763)
956	[773713.234812021255,778789.052690044977)
957	[724484.36077684164,760562.44750833197)
958	[541018.047835677862,541766.944749252056)
959	[353163.889609277248,353594.040562807291)
960	[869580.24837076664,875298.62490569381)
961	[101872.890256345272,118588.063961199397)
962	[819944.387301802635,831092.121266487287)
963	[985670.219175517559,987583.32839114184)
964	[444697.686936706305,489823.660494861833)
965	[976420.964580029249,1008909.41772326804)
966	[646379.564423114061,682176.158065093565)
967	[291495.5816231668,293818.205501305754)
968	[202540.412545204163,202717.803162106982)
969	[11322.2156651318073,16727.4922970550761)
970	[450295.183341950178,460564.599361324625)
971	[56594.1673703491688,59130.3034462932337)
972	[39950.0369094312191,55140.458804270791)
973	[196897.227317094803,205595.309236108646)
974	[853232.698049396276,861219.133257730864)
975	[623071.154579520226,635901.781749665271)
976	[985573.964193463326,998481.771497286274)
977	[534851.304721087217,551225.479446445592)
978	[396954.451221972704,404305.013960732322)
979	[979642.585851252079,998072.195939525962)
980	[509551.594033837318,540801.704204783542)
981	[802833.132911473513,804528.34513050539)
982	[928178.355563431978,929169.1441469196)
983	[363193.067256361246,364593.953046761628)
984	[111911.365296691656,116603.649121707174)
985	[548277.92989090085,556538.010422189254)
986	[16414.78156670928,25700.239187633757)
987	[786214.967723935843,786795.124206688488)
988	[385950.625408440828,426762.260584368138)
989	[637332.903686910868,640066.532169370563)
990	[533173.311967402697,536189.824639639352)
991	[961996.269878000021,969309.897212706855)
992	[985348.104033619165,992216.725255432306)
993	[324265.627656131983,329083.192786279425)
994	[17369.098961353302,20991.8364700247621)
995	[223954.693879932165,231439.616244518664)
996	[259971.764404326677,260243.296001490235)
997	[682851.851452142,684936.249779340695)
998	[121116.54132604599,121587.928258470725)
999	[318868.888542056084,321521.937172130682)
1000	[420560.2016299963,440745.308214963297)
\.


--
-- Name: datasets_pkey; Type: CONSTRAINT; Schema: public; Owner: smagen; Tablespace: 
--

ALTER TABLE ONLY datasets
    ADD CONSTRAINT datasets_pkey PRIMARY KEY (id);


--
-- Name: public; Type: ACL; Schema: -; Owner: smagen
--

REVOKE ALL ON SCHEMA public FROM PUBLIC;
REVOKE ALL ON SCHEMA public FROM smagen;
GRANT ALL ON SCHEMA public TO smagen;
GRANT ALL ON SCHEMA public TO PUBLIC;


--
-- PostgreSQL database dump complete
--