Decision #825 — `malloc.c:4193`

Status: no_witness

Truth table

row	c0 br 5793	c1 br 5794	c2 br 5795	c3 br 5796	outcome
1932	F	T	*	*	T
1933	F	T	*	*	T
1934	F	T	*	*	T
1935	F	T	*	*	T
1936	F	T	*	*	T
1937	F	T	*	*	T
1938	F	T	*	*	T
1939	F	T	*	*	T
1940	F	T	*	*	T
1941	F	T	*	*	T
1942	F	T	*	*	T
1943	F	T	*	*	T
1944	F	T	*	*	T
1945	F	T	*	*	T
1946	F	T	*	*	T
1947	F	T	*	*	T
1948	F	T	*	*	T
1949	F	T	*	*	T
1950	F	T	*	*	T
1951	F	T	*	*	T
1952	F	T	*	*	T
1953	F	T	*	*	T
1954	F	T	*	*	T
1955	F	T	*	*	T
1956	F	T	*	*	T
1957	F	T	*	*	T
1958	F	T	*	*	T
1959	F	T	*	*	T
1960	F	T	*	*	T
1961	F	F	F	T	T
1962	T	*	*	*	T
1963	T	*	*	*	T
1964	T	*	*	*	T
1965	T	*	*	*	T
1966	T	*	*	*	T
1967	T	*	*	*	T
1968	F	T	*	*	T
1969	F	T	*	*	T
1970	F	T	*	*	T
1971	F	T	*	*	T
1972	F	T	*	*	T
1973	F	T	*	*	T
1974	F	T	*	*	T
1975	F	T	*	*	T
1976	F	F	T	T	T
1977	F	T	*	*	T
1978	F	F	F	F	T
1979	F	T	*	*	T
1980	F	F	F	F	T
1981	F	T	*	*	T
1982	F	T	*	*	T
1983	F	T	*	*	T
1984	T	*	*	*	T
1985	F	T	*	*	T
1986	F	T	*	*	T
1987	F	T	*	*	T
1988	F	F	F	T	T
1989	T	*	*	*	T
1990	F	F	F	F	T
1991	F	T	*	*	T
1992	F	F	F	F	T
1993	F	F	F	F	T
1994	F	F	F	F	T
1995	F	T	*	*	T
1996	F	F	F	F	T
1997	F	T	*	*	T
1998	T	*	*	*	T
1999	F	F	F	T	T
2000	F	T	*	*	T
2001	T	*	*	*	T
2002	F	T	*	*	T
2003	T	*	*	*	T
2004	T	*	*	*	T
2005	F	T	*	*	T
2006	F	T	*	*	T
2007	T	*	*	*	T
2008	F	T	*	*	T
2009	F	T	*	*	T
2010	F	T	*	*	T
2011	F	F	F	T	T
2012	T	*	*	*	T
2013	F	T	*	*	T
2014	T	*	*	*	T
2015	T	*	*	*	T
2016	T	*	*	*	T
2017	T	*	*	*	T
2018	F	T	*	*	T
2019	F	T	*	*	T
2020	F	T	*	*	T
2021	F	T	*	*	T
2022	F	T	*	*	T
2023	F	T	*	*	T
2024	F	F	T	T	T
2025	T	*	*	*	T
2026	T	*	*	*	T
2027	F	F	T	T	T
2028	T	*	*	*	T
2029	T	*	*	*	T
2030	F	F	F	T	T
2031	T	*	*	*	T
2032	F	T	*	*	T
2033	F	T	*	*	T
2034	F	T	*	*	T
2035	F	F	F	F	T
2036	T	*	*	*	T
2037	F	F	F	F	T
2038	F	T	*	*	T
2039	T	*	*	*	T
2040	F	T	*	*	T
2041	F	T	*	*	T
2042	F	T	*	*	T
2043	F	T	*	*	T
2044	F	T	*	*	T
2045	F	T	*	*	T
2046	F	T	*	*	T
2047	F	T	*	*	T
2048	F	T	*	*	T
4967	F	T	*	*	T
4968	F	T	*	*	T
4969	F	T	*	*	T
4970	F	T	*	*	T
4971	F	T	*	*	T
4972	F	T	*	*	T
4973	F	T	*	*	T
4974	F	T	*	*	T
4975	F	T	*	*	T
4976	F	T	*	*	T
4977	F	T	*	*	T
4978	F	T	*	*	T
4979	F	T	*	*	T
4980	F	T	*	*	T
4981	F	T	*	*	T
4982	F	T	*	*	T
4983	F	T	*	*	T
4984	F	T	*	*	T
4985	F	T	*	*	T
4986	F	T	*	*	T
4987	F	T	*	*	T
4988	F	T	*	*	T
4989	F	T	*	*	T
4990	F	T	*	*	T
4991	F	T	*	*	T
4992	F	T	*	*	T
4993	F	T	*	*	T
4994	F	F	F	T	T
4995	T	*	*	*	T
4996	T	*	*	*	T
4997	T	*	*	*	T
4998	T	*	*	*	T
4999	T	*	*	*	T
5000	T	*	*	*	T
5001	F	T	*	*	T
5002	F	T	*	*	T
5003	F	T	*	*	T
5004	F	T	*	*	T
5005	F	T	*	*	T
5006	F	T	*	*	T
5007	F	T	*	*	T
5008	F	T	*	*	T
5009	F	F	T	T	T
5010	F	T	*	*	T
5011	F	F	F	F	T
5012	F	T	*	*	T
5013	F	F	F	F	T
5014	F	T	*	*	T
5015	F	T	*	*	T
5016	F	T	*	*	T
5017	T	*	*	*	T
5018	F	T	*	*	T
5019	F	T	*	*	T
5020	F	T	*	*	T
5021	F	F	F	T	T
5022	T	*	*	*	T
5023	F	F	F	F	T
5024	F	T	*	*	T
5025	F	F	F	F	T
5026	F	F	F	F	T
5027	F	F	F	F	T
5028	F	T	*	*	T
5029	F	F	F	F	T
5030	F	T	*	*	T
5031	T	*	*	*	T
5032	F	F	F	T	T
5033	F	T	*	*	T
5034	T	*	*	*	T
5035	F	T	*	*	T
5036	T	*	*	*	T
5037	T	*	*	*	T
5038	F	T	*	*	T
5039	F	T	*	*	T
5040	T	*	*	*	T
5041	T	*	*	*	T
5042	T	*	*	*	T
5043	T	*	*	*	T
5044	F	F	F	T	T
5045	F	T	*	*	T
5046	T	*	*	*	T
5047	T	*	*	*	T
5048	T	*	*	*	T
5049	F	T	*	*	T
5050	T	*	*	*	T
5051	T	*	*	*	T
5052	T	*	*	*	T
5053	F	F	F	T	T
5054	T	*	*	*	T
5055	F	T	*	*	T
5056	F	T	*	*	T
5057	F	T	*	*	T
5058	F	T	*	*	T
5059	F	T	*	*	T
5060	F	T	*	*	T
5061	F	T	*	*	T
5062	F	T	*	*	T
5063	F	T	*	*	T
5064	F	F	F	T	T
5065	T	*	*	*	T
5066	F	T	*	*	T
5067	T	*	*	*	T
5068	T	*	*	*	T
5069	T	*	*	*	T
5070	F	T	*	*	T
5071	F	F	F	F	T
5072	F	T	*	*	T
5073	F	T	*	*	T
5074	F	T	*	*	T
5075	F	T	*	*	T
5076	F	T	*	*	T
5077	F	T	*	*	T
7971	F	T	*	*	T
7972	F	T	*	*	T
7973	F	T	*	*	T
7974	F	T	*	*	T
7975	F	T	*	*	T
7976	F	T	*	*	T
7977	F	T	*	*	T
7978	F	T	*	*	T
7979	F	T	*	*	T
7980	F	T	*	*	T
7981	F	T	*	*	T
7982	F	T	*	*	T
7983	F	T	*	*	T
7984	F	T	*	*	T
7985	F	T	*	*	T
7986	F	T	*	*	T
7987	F	T	*	*	T
7988	F	T	*	*	T
7989	F	T	*	*	T
7990	F	T	*	*	T
7991	F	T	*	*	T
7992	F	T	*	*	T
7993	F	T	*	*	T
7994	F	T	*	*	T
7995	F	T	*	*	T
7996	F	T	*	*	T
7997	F	T	*	*	T
7998	F	T	*	*	T
7999	F	T	*	*	T
8000	F	T	*	*	T
8001	F	T	*	*	T
8002	F	F	F	T	T
8003	T	*	*	*	T
8004	T	*	*	*	T
8005	T	*	*	*	T
8006	T	*	*	*	T
8007	T	*	*	*	T
8008	T	*	*	*	T
8009	F	T	*	*	T
8010	F	T	*	*	T
8011	F	T	*	*	T
8012	F	T	*	*	T
8013	F	T	*	*	T
8014	F	T	*	*	T
8015	F	T	*	*	T
8016	F	T	*	*	T
8017	F	F	T	T	T
8018	F	T	*	*	T
8019	F	F	F	F	T
8020	F	T	*	*	T
8021	F	F	F	F	T
8022	F	T	*	*	T
8023	F	T	*	*	T
8024	F	T	*	*	T
8025	T	*	*	*	T
8026	F	T	*	*	T
8027	F	T	*	*	T
8028	F	T	*	*	T
8029	F	F	F	T	T
8030	T	*	*	*	T
8031	F	F	F	F	T
8032	F	T	*	*	T
8033	F	F	F	F	T
8034	F	F	F	F	T
8035	F	F	F	F	T
8036	F	T	*	*	T
8037	F	F	F	F	T
8038	F	T	*	*	T
8039	T	*	*	*	T
8040	F	F	F	T	T
8041	F	T	*	*	T
8042	T	*	*	*	T
8043	F	T	*	*	T
8044	T	*	*	*	T
8045	T	*	*	*	T
8046	F	T	*	*	T
8047	F	T	*	*	T
8048	T	*	*	*	T
8049	F	T	*	*	T
8050	F	T	*	*	T
8051	F	T	*	*	T
8052	F	F	F	T	T
8053	T	*	*	*	T
8054	F	T	*	*	T
8055	T	*	*	*	T
8056	T	*	*	*	T
8057	T	*	*	*	T
8058	T	*	*	*	T
8059	F	T	*	*	T
8060	F	T	*	*	T
8061	F	T	*	*	T
8062	F	T	*	*	T
8063	F	T	*	*	T
8064	F	T	*	*	T
8065	F	F	T	T	T
8066	T	*	*	*	T
8067	T	*	*	*	T
8068	F	F	T	T	T
8069	T	*	*	*	T
8070	T	*	*	*	T
8071	F	T	*	*	T
8072	F	T	*	*	T
8073	F	F	F	T	T
8074	F	T	*	*	T
8075	F	T	*	*	T
8076	F	T	*	*	T
8077	F	T	*	*	T
8078	F	T	*	*	T
8079	F	F	F	F	T
8080	T	*	*	*	T
8081	F	T	*	*	T
8082	F	T	*	*	T
8083	F	T	*	*	T
8084	F	F	F	F	T
8085	T	*	*	*	T
8086	F	F	F	F	T
8087	F	T	*	*	T
8088	F	T	*	*	T
8089	F	T	*	*	T
8090	F	T	*	*	T
8091	F	T	*	*	T
8092	F	T	*	*	T
8093	F	T	*	*	T
8094	F	T	*	*	T
8095	F	T	*	*	T
8096	F	T	*	*	T
10110	F	T	*	*	T
10111	F	T	*	*	T
10112	F	T	*	*	T
10113	F	T	*	*	T
10114	F	T	*	*	T
10115	F	T	*	*	T
10116	F	T	*	*	T
10117	F	T	*	*	T
10118	F	T	*	*	T
10119	F	T	*	*	T
10120	F	T	*	*	T
10121	F	T	*	*	T
10122	F	T	*	*	T
10123	F	T	*	*	T
10124	F	T	*	*	T
10125	F	T	*	*	T
10126	F	T	*	*	T
10127	F	T	*	*	T
10128	F	T	*	*	T
10129	F	T	*	*	T
10130	F	T	*	*	T
10131	F	F	F	T	T
10132	T	*	*	*	T
10133	T	*	*	*	T
10134	F	T	*	*	T
10135	F	T	*	*	T
10136	F	F	F	F	T
10137	F	T	*	*	T
10138	F	T	*	*	T
10139	F	T	*	*	T
10140	F	T	*	*	T
10141	F	T	*	*	T
10142	F	T	*	*	T
10143	F	T	*	*	T
10144	F	F	F	T	T
10145	F	T	*	*	T
10146	T	*	*	*	T
10147	T	*	*	*	T
10148	F	F	F	T	T
10149	T	*	*	*	T
10150	T	*	*	*	T
10151	T	*	*	*	T
10152	T	*	*	*	T
10153	F	T	*	*	T
10154	T	*	*	*	T
10155	T	*	*	*	T
10156	T	*	*	*	T
10157	F	F	F	F	T
10158	T	*	*	*	T
10159	F	T	*	*	T
11255	F	T	*	*	T
11256	F	T	*	*	T
11257	F	T	*	*	T
11258	F	T	*	*	T
11259	F	T	*	*	T
11260	F	T	*	*	T
11261	F	T	*	*	T
11262	F	T	*	*	T
11263	F	T	*	*	T
11264	F	T	*	*	T
11265	F	T	*	*	T
11266	F	T	*	*	T
11267	F	T	*	*	T
11268	F	T	*	*	T
11269	F	T	*	*	T
11270	F	T	*	*	T
11271	F	T	*	*	T
11272	F	T	*	*	T
11273	F	T	*	*	T
11274	F	F	F	T	T
11275	T	*	*	*	T
11276	T	*	*	*	T
11277	F	T	*	*	T
11278	F	T	*	*	T
11279	F	F	F	F	T
11280	F	T	*	*	T
11281	F	T	*	*	T
11282	F	T	*	*	T
11283	F	T	*	*	T
11284	F	T	*	*	T
11285	F	T	*	*	T
11286	F	T	*	*	T
11287	F	F	F	T	T
11288	F	T	*	*	T
11289	T	*	*	*	T
11290	T	*	*	*	T
11291	F	F	F	T	T
11292	T	*	*	*	T
11293	T	*	*	*	T
11294	T	*	*	*	T
11295	T	*	*	*	T
11296	T	*	*	*	T
11297	F	F	F	T	T
11298	T	*	*	*	T
11299	F	T	*	*	T
11300	T	*	*	*	T
11301	T	*	*	*	T
11302	F	T	*	*	T
12349	F	T	*	*	T
12350	F	T	*	*	T
12351	F	T	*	*	T
12352	F	T	*	*	T
12353	F	T	*	*	T
12354	F	T	*	*	T
12355	F	T	*	*	T
12356	F	T	*	*	T
12357	F	T	*	*	T
12358	F	T	*	*	T
12359	F	T	*	*	T
12360	F	T	*	*	T
12361	F	T	*	*	T
12362	F	T	*	*	T
12363	F	T	*	*	T
12364	F	T	*	*	T
12365	F	T	*	*	T
12366	F	T	*	*	T
12367	F	T	*	*	T
12368	F	T	*	*	T
12369	F	T	*	*	T
12370	F	F	F	T	T
12371	T	*	*	*	T
12372	T	*	*	*	T
12373	F	T	*	*	T
12374	F	T	*	*	T
12375	F	F	F	F	T
12376	F	T	*	*	T
12377	F	T	*	*	T
12378	F	T	*	*	T
12379	F	T	*	*	T
12380	F	T	*	*	T
12381	F	T	*	*	T
12382	F	T	*	*	T
12383	F	F	F	T	T
12384	F	T	*	*	T
12385	T	*	*	*	T
12386	T	*	*	*	T
12387	F	F	F	T	T
12388	T	*	*	*	T
12389	T	*	*	*	T
12390	T	*	*	*	T
12391	T	*	*	*	T
12392	F	T	*	*	T
12393	T	*	*	*	T
12394	T	*	*	*	T
12395	T	*	*	*	T
12396	F	F	F	F	T
12397	T	*	*	*	T
12398	F	T	*	*	T
18925	F	T	*	*	T
18926	F	T	*	*	T
18927	F	T	*	*	T
18928	F	T	*	*	T
18929	F	T	*	*	T
18930	F	T	*	*	T
18931	F	T	*	*	T
18932	F	T	*	*	T
18933	F	T	*	*	T
18934	F	T	*	*	T
18935	F	T	*	*	T
18936	F	T	*	*	T
18937	F	T	*	*	T
18938	F	T	*	*	T
18939	F	T	*	*	T
18940	F	T	*	*	T
18941	F	T	*	*	T
18942	F	F	F	T	T
18943	T	*	*	*	T
18944	T	*	*	*	T
18945	T	*	*	*	T
18946	T	*	*	*	T
18947	T	*	*	*	T
18948	T	*	*	*	T
18949	F	T	*	*	T
18950	T	*	*	*	T
18951	F	F	F	T	T
18952	T	*	*	*	T
18953	F	T	*	*	T
18954	F	T	*	*	T
18955	F	T	*	*	T
18956	T	*	*	*	T
18957	F	T	*	*	T
18958	F	T	*	*	T
18959	F	T	*	*	T
18960	F	T	*	*	T
18961	F	F	F	T	T
18962	F	T	*	*	T
18963	T	*	*	*	T
18964	F	T	*	*	T
18965	T	*	*	*	T
18966	F	T	*	*	T
18967	F	T	*	*	T
18968	F	T	*	*	T
18969	T	*	*	*	T
18970	T	*	*	*	T
18971	F	T	*	*	T
18972	F	T	*	*	T
18973	F	T	*	*	T
18974	F	T	*	*	T
18975	F	T	*	*	T
18976	F	T	*	*	T
18977	F	T	*	*	T
18978	F	T	*	*	T
18979	F	T	*	*	T
18980	F	T	*	*	T
18981	F	T	*	*	T
18982	F	T	*	*	T
18983	F	T	*	*	T
18984	T	*	*	*	T
18985	F	T	*	*	T
18986	F	T	*	*	T
18987	F	T	*	*	T
18988	F	F	F	F	T
18989	F	T	*	*	T
18990	F	F	F	T	T
18991	F	F	F	F	T
18992	F	T	*	*	T
18993	F	T	*	*	T
18994	F	T	*	*	T
18995	T	*	*	*	T
18996	T	*	*	*	T
18997	T	*	*	*	T
18998	F	T	*	*	T
18999	F	F	F	T	T
19000	F	T	*	*	T
19001	F	T	*	*	T
19002	T	*	*	*	T
19003	F	T	*	*	T
19004	F	T	*	*	T
19005	F	T	*	*	T
19006	T	*	*	*	T
19007	F	T	*	*	T
19008	F	T	*	*	T
19009	F	T	*	*	T
19010	F	T	*	*	T
19011	F	T	*	*	T
19012	T	*	*	*	T
19013	T	*	*	*	T
19014	F	T	*	*	T
19015	F	T	*	*	T
19016	T	*	*	*	T
19017	F	T	*	*	T
19018	F	F	F	T	T
19019	F	T	*	*	T
19020	T	*	*	*	T
19021	F	T	*	*	T
19022	T	*	*	*	T
19023	F	F	F	F	T
19024	F	T	*	*	T
19025	F	T	*	*	T
19026	F	T	*	*	T
19027	F	F	F	F	T
19028	F	F	F	F	T
19029	F	T	*	*	T
19030	F	T	*	*	T
19031	T	*	*	*	T
19032	F	T	*	*	T
19033	F	T	*	*	T
19034	F	T	*	*	T
19035	F	T	*	*	T
19036	F	T	*	*	T
19037	F	F	F	T	T
19038	F	T	*	*	T
19039	F	T	*	*	T
19040	F	T	*	*	T
19041	F	T	*	*	T
19042	T	*	*	*	T
19043	T	*	*	*	T
19044	T	*	*	*	T
19045	F	T	*	*	T
19046	F	T	*	*	T
19047	F	F	T	T	T
19048	F	F	F	T	T
19049	F	T	*	*	T
19050	F	T	*	*	T
19051	F	T	*	*	T
19052	F	T	*	*	T
19053	F	T	*	*	T
19054	F	T	*	*	T
19055	F	T	*	*	T
19056	F	T	*	*	T
19057	F	T	*	*	T
19058	F	T	*	*	T
19059	F	T	*	*	T
19060	F	T	*	*	T
19061	F	T	*	*	T
19062	F	T	*	*	T
19063	F	T	*	*	T
19064	F	T	*	*	T
19065	F	T	*	*	T
19066	F	T	*	*	T
19067	F	T	*	*	T
19068	F	T	*	*	T
19069	F	T	*	*	T
19070	F	T	*	*	T
19071	F	T	*	*	T
19072	F	T	*	*	T
19073	F	T	*	*	T
19074	F	T	*	*	T
19075	F	T	*	*	T
19076	F	T	*	*	T
19077	F	T	*	*	T
19078	F	T	*	*	T
19079	F	T	*	*	T
19080	F	T	*	*	T
19081	F	T	*	*	T
19082	F	T	*	*	T
19083	F	T	*	*	T
19084	F	T	*	*	T
19085	F	T	*	*	T
19086	F	F	F	F	T
19087	T	*	*	*	T
19088	F	T	*	*	T
19089	F	T	*	*	T
19090	F	T	*	*	T
19091	F	T	*	*	T
19092	F	T	*	*	T
19093	F	T	*	*	T
19094	F	T	*	*	T
19095	F	T	*	*	T
19096	F	F	F	T	T
19097	F	T	*	*	T
19098	T	*	*	*	T
19099	F	T	*	*	T
19100	T	*	*	*	T
19101	T	*	*	*	T
19102	T	*	*	*	T
19103	T	*	*	*	T
19104	T	*	*	*	T
19105	T	*	*	*	T
19106	T	*	*	*	T
19107	T	*	*	*	T
19108	F	T	*	*	T
19109	T	*	*	*	T
19110	F	T	*	*	T
19111	T	*	*	*	T
19112	T	*	*	*	T
19113	T	*	*	*	T
19114	F	F	F	F	T
19115	F	F	T	F	T
19116	T	*	*	*	T
19117	T	*	*	*	T
19118	F	F	T	F	T
19119	T	*	*	*	T
19120	F	F	F	F	T
19121	F	T	*	*	T
19122	T	*	*	*	T
19123	F	T	*	*	T
26640	F	T	*	*	T
26641	F	T	*	*	T
26642	F	T	*	*	T
26643	F	T	*	*	T
26644	F	T	*	*	T
26645	F	T	*	*	T
26646	F	T	*	*	T
26647	F	T	*	*	T
26648	F	T	*	*	T
26649	F	T	*	*	T
26650	F	T	*	*	T
26651	F	T	*	*	T
26652	F	T	*	*	T
26653	F	T	*	*	T
26654	F	T	*	*	T
26655	F	F	F	T	T
26656	T	*	*	*	T
26657	T	*	*	*	T
26658	T	*	*	*	T
26659	T	*	*	*	T
26660	T	*	*	*	T
26661	T	*	*	*	T
26662	F	T	*	*	T
26663	T	*	*	*	T
26664	F	F	F	T	T
26665	T	*	*	*	T
26666	F	T	*	*	T
26667	F	T	*	*	T
26668	F	T	*	*	T
26669	T	*	*	*	T
26670	F	T	*	*	T
26671	F	T	*	*	T
26672	F	T	*	*	T
26673	F	T	*	*	T
26674	F	F	F	T	T
26675	F	T	*	*	T
26676	T	*	*	*	T
26677	F	T	*	*	T
26678	T	*	*	*	T
26679	F	T	*	*	T
26680	F	T	*	*	T
26681	F	T	*	*	T
26682	T	*	*	*	T
26683	T	*	*	*	T
26684	F	T	*	*	T
26685	F	T	*	*	T
26686	F	T	*	*	T
26687	F	T	*	*	T
26688	F	T	*	*	T
26689	F	T	*	*	T
26690	F	T	*	*	T
26691	F	T	*	*	T
26692	F	T	*	*	T
26693	F	T	*	*	T
26694	F	T	*	*	T
26695	F	T	*	*	T
26696	F	T	*	*	T
26697	T	*	*	*	T
26698	F	T	*	*	T
26699	F	T	*	*	T
26700	F	T	*	*	T
26701	F	F	F	F	T
26702	F	T	*	*	T
26703	F	F	F	T	T
26704	F	F	F	F	T
26705	F	T	*	*	T
26706	F	T	*	*	T
26707	F	T	*	*	T
26708	T	*	*	*	T
26709	T	*	*	*	T
26710	T	*	*	*	T
26711	F	T	*	*	T
26712	F	F	F	T	T
26713	F	T	*	*	T
26714	F	T	*	*	T
26715	T	*	*	*	T
26716	F	T	*	*	T
26717	F	T	*	*	T
26718	F	T	*	*	T
26719	T	*	*	*	T
26720	F	T	*	*	T
26721	F	T	*	*	T
26722	F	T	*	*	T
26723	F	T	*	*	T
26724	F	T	*	*	T
26725	T	*	*	*	T
26726	T	*	*	*	T
26727	F	T	*	*	T
26728	F	T	*	*	T
26729	T	*	*	*	T
26730	F	T	*	*	T
26731	F	F	F	T	T
26732	F	T	*	*	T
26733	T	*	*	*	T
26734	F	T	*	*	T
26735	T	*	*	*	T
26736	F	F	F	F	T
26737	F	T	*	*	T
26738	F	T	*	*	T
26739	F	T	*	*	T
26740	F	F	F	F	T
26741	F	F	F	F	T
26742	F	T	*	*	T
26743	F	T	*	*	T
26744	T	*	*	*	T
26745	F	T	*	*	T
26746	F	T	*	*	T
26747	F	T	*	*	T
26748	F	T	*	*	T
26749	F	T	*	*	T
26750	F	F	F	T	T
26751	F	T	*	*	T
26752	F	T	*	*	T
26753	F	T	*	*	T
26754	F	T	*	*	T
26755	T	*	*	*	T
26756	T	*	*	*	T
26757	T	*	*	*	T
26758	F	T	*	*	T
26759	F	T	*	*	T
26760	F	F	T	T	T
26761	F	F	F	T	T
26762	F	T	*	*	T
26763	F	T	*	*	T
26764	F	T	*	*	T
26765	F	T	*	*	T
26766	F	T	*	*	T
26767	F	T	*	*	T
26768	F	T	*	*	T
26769	F	T	*	*	T
26770	F	T	*	*	T
26771	F	T	*	*	T
26772	F	T	*	*	T
26773	F	T	*	*	T
26774	F	T	*	*	T
26775	F	T	*	*	T
26776	F	T	*	*	T
26777	F	T	*	*	T
26778	F	T	*	*	T
26779	F	T	*	*	T
26780	F	T	*	*	T
26781	F	T	*	*	T
26782	F	T	*	*	T
26783	F	T	*	*	T
26784	F	T	*	*	T
26785	F	T	*	*	T
26786	F	T	*	*	T
26787	F	T	*	*	T
26788	F	T	*	*	T
26789	F	T	*	*	T
26790	F	T	*	*	T
26791	F	T	*	*	T
26792	F	T	*	*	T
26793	F	T	*	*	T
26794	F	T	*	*	T
26795	F	T	*	*	T
26796	F	T	*	*	T
26797	F	T	*	*	T
26798	F	T	*	*	T
26799	F	F	F	F	T
26800	T	*	*	*	T
26801	F	T	*	*	T
26802	F	T	*	*	T
26803	F	T	*	*	T
26804	F	T	*	*	T
26805	F	T	*	*	T
26806	F	T	*	*	T
26807	F	T	*	*	T
26808	F	T	*	*	T
26809	F	F	F	T	T
26810	F	T	*	*	T
26811	T	*	*	*	T
26812	F	T	*	*	T
26813	T	*	*	*	T
26814	T	*	*	*	T
26815	T	*	*	*	T
26816	T	*	*	*	T
26817	T	*	*	*	T
26818	T	*	*	*	T
26819	T	*	*	*	T
26820	T	*	*	*	T
26821	F	T	*	*	T
26822	T	*	*	*	T
26823	F	T	*	*	T
26824	T	*	*	*	T
26825	T	*	*	*	T
26826	T	*	*	*	T
26827	F	F	F	F	T
26828	F	F	T	F	T
26829	T	*	*	*	T
26830	T	*	*	*	T
26831	F	F	T	F	T
26832	T	*	*	*	T
26833	T	*	*	*	T
26834	F	T	*	*	T
26835	T	*	*	*	T
26836	F	T	*	*	T
32310	F	T	*	*	T
32311	F	T	*	*	T
32312	F	T	*	*	T
32313	F	T	*	*	T
32314	F	T	*	*	T
32315	F	T	*	*	T
32316	F	T	*	*	T
32317	F	T	*	*	T
32318	F	T	*	*	T
32319	F	T	*	*	T
32320	F	T	*	*	T
32321	F	T	*	*	T
32322	F	T	*	*	T
32323	F	T	*	*	T
32324	F	T	*	*	T
32325	F	T	*	*	T
32326	F	T	*	*	T
32327	F	T	*	*	T
32328	F	T	*	*	T
32329	F	T	*	*	T
32330	F	T	*	*	T
32331	F	T	*	*	T
32332	F	F	F	T	T
32333	T	*	*	*	T
32334	T	*	*	*	T
32335	F	T	*	*	T
32336	F	T	*	*	T
32337	F	T	*	*	T
32338	F	T	*	*	T
32339	F	T	*	*	T
32340	F	T	*	*	T
32341	F	T	*	*	T
32342	F	T	*	*	T
32343	F	T	*	*	T
32344	F	T	*	*	T
32345	F	T	*	*	T
32346	F	T	*	*	T
32347	F	F	F	F	T
32348	T	*	*	*	T
32349	T	*	*	*	T
32350	T	*	*	*	T
32351	F	T	*	*	T
32352	F	T	*	*	T
32353	F	T	*	*	T
32354	F	T	*	*	T
32355	F	T	*	*	T
32356	F	T	*	*	T
32357	F	F	F	T	T
32358	T	*	*	*	T
32359	F	T	*	*	T
32360	T	*	*	*	T
32361	T	*	*	*	T
32362	T	*	*	*	T
32363	T	*	*	*	T
32364	T	*	*	*	T
32365	F	F	T	T	T
32366	T	*	*	*	T
32367	F	F	F	T	T
32368	T	*	*	*	T
32369	F	F	F	T	T
32370	F	T	*	*	T
32371	T	*	*	*	T
32372	T	*	*	*	T
32373	F	F	F	T	T
32374	T	*	*	*	T
32375	F	F	F	T	T
32376	T	*	*	*	T
32377	T	*	*	*	T
32378	F	T	*	*	T
32379	T	*	*	*	T
32380	F	F	F	T	T
32381	T	*	*	*	T
32382	F	T	*	*	T
32383	F	T	*	*	T
32384	F	T	*	*	T
32385	T	*	*	*	T
32386	T	*	*	*	T
32387	T	*	*	*	T
32388	T	*	*	*	T
32389	T	*	*	*	T
32390	F	T	*	*	T
32391	F	F	F	T	T
32392	T	*	*	*	T
32393	F	F	F	T	T
32394	T	*	*	*	T
32395	F	F	T	T	T
32396	T	*	*	*	T
32397	T	*	*	*	T
32398	F	F	F	T	T
32399	T	*	*	*	T
32400	F	F	F	T	T
32401	T	*	*	*	T
32402	F	T	*	*	T
32403	F	F	F	T	T
32404	T	*	*	*	T
32405	F	F	F	T	T
32406	T	*	*	*	T
32407	F	T	*	*	T
32408	F	T	*	*	T
32409	F	T	*	*	T
32410	F	F	T	T	T
32411	T	*	*	*	T
32412	F	F	F	T	T
32413	T	*	*	*	T
32414	F	T	*	*	T
32415	F	F	F	T	T
32416	T	*	*	*	T
32417	F	F	F	T	T
32418	T	*	*	*	T
32419	F	F	F	F	T
32420	T	*	*	*	T
32421	F	T	*	*	T
32422	T	*	*	*	T
32423	F	F	F	T	T
32424	T	*	*	*	T
32425	T	*	*	*	T
32426	T	*	*	*	T
32427	T	*	*	*	T
32428	T	*	*	*	T
32429	F	F	F	T	T
32430	F	T	*	*	T
32431	F	T	*	*	T
32432	F	T	*	*	T
32433	F	T	*	*	T
32434	F	T	*	*	T
32435	F	T	*	*	T
32436	F	T	*	*	T
32437	F	T	*	*	T
32438	F	T	*	*	T
32439	F	T	*	*	T
32440	F	T	*	*	T
32441	F	F	F	T	T
32442	T	*	*	*	T
32443	T	*	*	*	T
32444	F	T	*	*	T
32445	F	T	*	*	T
32446	F	T	*	*	T
32447	F	T	*	*	T
32448	F	T	*	*	T
32449	F	T	*	*	T
32450	F	F	F	T	T
32451	T	*	*	*	T
32452	F	T	*	*	T
32453	T	*	*	*	T
32454	T	*	*	*	T
32455	T	*	*	*	T
32456	F	F	F	T	T
32457	T	*	*	*	T
32458	T	*	*	*	T
32459	F	F	T	T	T
32460	T	*	*	*	T
32461	F	F	F	T	T
32462	T	*	*	*	T
32463	F	F	F	T	T
32464	F	T	*	*	T
32465	T	*	*	*	T
32466	T	*	*	*	T
32467	F	F	F	T	T
32468	T	*	*	*	T
32469	F	F	F	T	T
32470	T	*	*	*	T
32471	F	T	*	*	T
32472	F	T	*	*	T
32473	F	T	*	*	T
32474	F	F	F	T	T
32475	T	*	*	*	T
32476	F	F	T	T	T
32477	T	*	*	*	T
32478	T	*	*	*	T
32479	F	F	F	T	T
32480	T	*	*	*	T
32481	T	*	*	*	T
32482	F	T	*	*	T
32483	F	F	F	T	T
32484	T	*	*	*	T
32485	F	F	F	T	T
32486	T	*	*	*	T
32487	T	*	*	*	T
32488	F	F	F	T	T
32489	T	*	*	*	T
32490	T	*	*	*	T
32491	T	*	*	*	T
32492	F	F	F	T	T
32493	T	*	*	*	T
32494	F	T	*	*	T
32495	F	F	F	T	T
32496	T	*	*	*	T
32497	F	F	F	T	T
32498	T	*	*	*	T
32499	T	*	*	*	T
32500	T	*	*	*	T
32501	F	T	*	*	T
32502	F	T	*	*	T
32503	F	T	*	*	T
32504	F	T	*	*	T
32505	F	T	*	*	T
32506	F	F	F	T	T
32507	T	*	*	*	T
32508	F	F	F	T	T
32509	T	*	*	*	T
32510	F	T	*	*	T
32511	F	T	*	*	T
32512	F	T	*	*	T
32513	F	T	*	*	T
32514	F	T	*	*	T
32515	F	T	*	*	T
32516	F	T	*	*	T
32517	F	T	*	*	T
32518	F	T	*	*	T
32519	F	T	*	*	T
32520	F	T	*	*	T
32521	F	T	*	*	T
32522	F	T	*	*	T
32523	F	T	*	*	T
32524	F	F	F	F	T
32525	T	*	*	*	T
32526	T	*	*	*	T
32527	T	*	*	*	T
32528	T	*	*	*	T
32529	F	F	F	T	T
32530	T	*	*	*	T
32531	F	T	*	*	T
32532	F	F	F	F	T
32533	T	*	*	*	T
32534	T	*	*	*	T
32535	T	*	*	*	T
32536	F	T	*	*	T
32537	T	*	*	*	T
32538	T	*	*	*	T
32539	T	*	*	*	T
32540	F	F	F	F	T
32541	F	T	*	*	T
32542	T	*	*	*	T
32543	F	T	*	*	T
38248	F	T	*	*	T
38249	F	T	*	*	T
38250	F	T	*	*	T
38251	F	T	*	*	T
38252	F	T	*	*	T
38253	F	T	*	*	T
38254	F	T	*	*	T
38255	F	T	*	*	T
38256	F	T	*	*	T
38257	F	T	*	*	T
38258	F	T	*	*	T
38259	F	T	*	*	T
38260	F	T	*	*	T
38261	F	T	*	*	T
38262	F	T	*	*	T
38263	F	T	*	*	T
38264	F	T	*	*	T
38265	F	T	*	*	T
38266	F	T	*	*	T
38267	F	T	*	*	T
38268	F	T	*	*	T
38269	F	T	*	*	T
38270	F	F	F	T	T
38271	T	*	*	*	T
38272	T	*	*	*	T
38273	F	T	*	*	T
38274	F	T	*	*	T
38275	F	T	*	*	T
38276	F	T	*	*	T
38277	F	T	*	*	T
38278	F	T	*	*	T
38279	F	T	*	*	T
38280	F	T	*	*	T
38281	F	T	*	*	T
38282	F	T	*	*	T
38283	F	T	*	*	T
38284	F	T	*	*	T
38285	F	F	F	F	T
38286	T	*	*	*	T
38287	T	*	*	*	T
38288	T	*	*	*	T
38289	F	T	*	*	T
38290	F	T	*	*	T
38291	F	T	*	*	T
38292	F	T	*	*	T
38293	F	T	*	*	T
38294	F	T	*	*	T
38295	F	F	F	T	T
38296	T	*	*	*	T
38297	F	T	*	*	T
38298	T	*	*	*	T
38299	T	*	*	*	T
38300	T	*	*	*	T
38301	T	*	*	*	T
38302	T	*	*	*	T
38303	F	F	T	T	T
38304	T	*	*	*	T
38305	F	F	F	T	T
38306	T	*	*	*	T
38307	F	F	F	T	T
38308	F	T	*	*	T
38309	T	*	*	*	T
38310	T	*	*	*	T
38311	F	F	F	T	T
38312	T	*	*	*	T
38313	F	F	F	T	T
38314	T	*	*	*	T
38315	T	*	*	*	T
38316	F	T	*	*	T
38317	T	*	*	*	T
38318	F	F	F	T	T
38319	T	*	*	*	T
38320	F	T	*	*	T
38321	F	T	*	*	T
38322	F	T	*	*	T
38323	T	*	*	*	T
38324	T	*	*	*	T
38325	T	*	*	*	T
38326	T	*	*	*	T
38327	T	*	*	*	T
38328	F	T	*	*	T
38329	F	F	F	T	T
38330	T	*	*	*	T
38331	F	F	F	T	T
38332	T	*	*	*	T
38333	F	F	T	T	T
38334	T	*	*	*	T
38335	T	*	*	*	T
38336	F	F	F	T	T
38337	T	*	*	*	T
38338	F	F	F	T	T
38339	T	*	*	*	T
38340	F	T	*	*	T
38341	F	F	F	T	T
38342	T	*	*	*	T
38343	F	F	F	T	T
38344	T	*	*	*	T
38345	F	T	*	*	T
38346	F	T	*	*	T
38347	F	T	*	*	T
38348	F	F	T	T	T
38349	T	*	*	*	T
38350	F	F	F	T	T
38351	T	*	*	*	T
38352	F	T	*	*	T
38353	F	F	F	T	T
38354	T	*	*	*	T
38355	F	F	F	T	T
38356	T	*	*	*	T
38357	F	F	F	F	T
38358	T	*	*	*	T
38359	F	T	*	*	T
38360	T	*	*	*	T
38361	F	F	F	T	T
38362	T	*	*	*	T
38363	T	*	*	*	T
38364	T	*	*	*	T
38365	T	*	*	*	T
38366	T	*	*	*	T
38367	F	F	F	T	T
38368	F	T	*	*	T
38369	F	T	*	*	T
38370	F	T	*	*	T
38371	F	T	*	*	T
38372	F	T	*	*	T
38373	F	T	*	*	T
38374	F	T	*	*	T
38375	F	T	*	*	T
38376	F	T	*	*	T
38377	F	T	*	*	T
38378	F	T	*	*	T
38379	F	F	F	T	T
38380	T	*	*	*	T
38381	T	*	*	*	T
38382	F	T	*	*	T
38383	F	T	*	*	T
38384	F	T	*	*	T
38385	F	T	*	*	T
38386	F	T	*	*	T
38387	F	T	*	*	T
38388	F	F	F	T	T
38389	T	*	*	*	T
38390	F	T	*	*	T
38391	T	*	*	*	T
38392	T	*	*	*	T
38393	T	*	*	*	T
38394	F	F	F	T	T
38395	T	*	*	*	T
38396	T	*	*	*	T
38397	F	F	T	T	T
38398	T	*	*	*	T
38399	F	F	F	T	T
38400	T	*	*	*	T
38401	F	F	F	T	T
38402	F	T	*	*	T
38403	T	*	*	*	T
38404	T	*	*	*	T
38405	F	F	F	T	T
38406	T	*	*	*	T
38407	F	F	F	T	T
38408	T	*	*	*	T
38409	F	T	*	*	T
38410	F	T	*	*	T
38411	F	T	*	*	T
38412	F	F	F	T	T
38413	T	*	*	*	T
38414	F	F	T	T	T
38415	T	*	*	*	T
38416	T	*	*	*	T
38417	F	F	F	T	T
38418	T	*	*	*	T
38419	T	*	*	*	T
38420	F	T	*	*	T
38421	F	F	F	T	T
38422	T	*	*	*	T
38423	F	F	F	T	T
38424	T	*	*	*	T
38425	T	*	*	*	T
38426	F	F	F	T	T
38427	T	*	*	*	T
38428	T	*	*	*	T
38429	T	*	*	*	T
38430	F	F	F	T	T
38431	T	*	*	*	T
38432	F	T	*	*	T
38433	F	F	F	T	T
38434	T	*	*	*	T
38435	F	F	F	T	T
38436	T	*	*	*	T
38437	T	*	*	*	T
38438	T	*	*	*	T
38439	F	T	*	*	T
38440	F	T	*	*	T
38441	F	T	*	*	T
38442	F	T	*	*	T
38443	F	T	*	*	T
38444	F	F	F	T	T
38445	T	*	*	*	T
38446	F	F	F	T	T
38447	T	*	*	*	T
38448	F	T	*	*	T
38449	F	T	*	*	T
38450	F	T	*	*	T
38451	F	T	*	*	T
38452	F	T	*	*	T
38453	F	T	*	*	T
38454	F	T	*	*	T
38455	F	T	*	*	T
38456	F	T	*	*	T
38457	F	T	*	*	T
38458	F	T	*	*	T
38459	F	T	*	*	T
38460	F	T	*	*	T
38461	F	T	*	*	T
38462	F	F	F	F	T
38463	T	*	*	*	T
38464	T	*	*	*	T
38465	T	*	*	*	T
38466	T	*	*	*	T
38467	F	F	F	T	T
38468	T	*	*	*	T
38469	F	T	*	*	T
38470	F	F	F	F	T
38471	T	*	*	*	T
38472	T	*	*	*	T
38473	T	*	*	*	T
38474	F	T	*	*	T
38475	T	*	*	*	T
38476	T	*	*	*	T
38477	T	*	*	*	T
38478	F	F	F	F	T
38479	F	T	*	*	T
38480	T	*	*	*	T
38481	F	T	*	*	T
41778	F	T	*	*	T
41779	F	T	*	*	T
41780	F	T	*	*	T
41781	F	T	*	*	T
41782	F	T	*	*	T
41783	F	T	*	*	T
41784	F	T	*	*	T
41785	F	T	*	*	T
41786	F	T	*	*	T
41787	F	F	F	T	T
41788	F	T	*	*	T
41789	F	T	*	*	T
41790	T	*	*	*	T
41791	F	T	*	*	T
41792	F	T	*	*	T
41793	F	T	*	*	T
41794	F	T	*	*	T
41795	F	T	*	*	T
41796	F	T	*	*	T
41797	F	T	*	*	T
41798	F	T	*	*	T
41799	F	T	*	*	T
41800	F	T	*	*	T
41801	F	T	*	*	T
41802	F	T	*	*	T
41803	F	T	*	*	T
41804	F	T	*	*	T
41805	F	T	*	*	T
41806	F	T	*	*	T
41807	F	T	*	*	T
41808	F	T	*	*	T
41809	F	T	*	*	T
41810	F	T	*	*	T
41811	F	T	*	*	T
41812	F	T	*	*	T
41813	F	T	*	*	T
41814	F	T	*	*	T
41815	F	T	*	*	T
41816	F	T	*	*	T
41817	F	T	*	*	T
41818	F	F	F	T	T
41819	T	*	*	*	T
41820	T	*	*	*	T
41821	F	T	*	*	T
41822	F	T	*	*	T
41823	F	T	*	*	T
41824	F	T	*	*	T
41825	F	F	F	T	T
41826	F	T	*	*	T
41827	F	T	*	*	T
41828	F	T	*	*	T
41829	F	T	*	*	T
41830	F	T	*	*	T
41831	F	T	*	*	T
41832	F	T	*	*	T
41833	F	T	*	*	T
41834	F	T	*	*	T
41835	F	T	*	*	T
41836	F	F	F	T	T
41837	F	F	F	T	T
41838	T	*	*	*	T
41839	T	*	*	*	T
41840	F	T	*	*	T
41841	F	T	*	*	T
41842	T	*	*	*	T
41843	F	T	*	*	T
41844	F	T	*	*	T
41845	F	T	*	*	T
41846	F	T	*	*	T
41847	F	F	F	T	T
41848	T	*	*	*	T
41849	T	*	*	*	T
41850	F	F	F	T	T
41851	F	T	*	*	T
41852	F	T	*	*	T
41853	F	T	*	*	T
41854	F	T	*	*	T
41855	F	T	*	*	T
41856	F	T	*	*	T
41857	F	T	*	*	T
41858	F	T	*	*	T
41859	F	T	*	*	T
41860	F	T	*	*	T
41861	F	T	*	*	T
41862	T	*	*	*	T
41863	T	*	*	*	T
41864	T	*	*	*	T
41865	F	T	*	*	T
41866	T	*	*	*	T
41867	F	T	*	*	T
41868	F	T	*	*	T
41869	F	T	*	*	T
41870	T	*	*	*	T
41871	F	T	*	*	T
41872	T	*	*	*	T
41873	F	F	T	F	T
41874	T	*	*	*	T
41875	F	F	T	F	T
41876	T	*	*	*	T
41877	F	T	*	*	T
41878	F	T	*	*	T
41879	F	T	*	*	T
41880	F	T	*	*	T
41881	F	T	*	*	T
41882	F	T	*	*	T
41883	F	T	*	*	T
41884	F	T	*	*	T
41885	F	T	*	*	T
41886	F	T	*	*	T
41887	F	T	*	*	T
41888	F	T	*	*	T
41889	F	F	F	F	T
41890	T	*	*	*	T
41891	T	*	*	*	T
41892	F	T	*	*	T
41893	F	F	T	T	T
41894	F	F	F	F	T
41895	F	F	F	F	T
41896	T	*	*	*	T
41897	T	*	*	*	T
41898	F	T	*	*	T
41899	T	*	*	*	T
41900	T	*	*	*	T
41901	T	*	*	*	T
41902	F	T	*	*	T
41903	T	*	*	*	T
41904	F	F	F	F	T
41905	T	*	*	*	T
41906	F	T	*	*	T
41907	T	*	*	*	T
41908	T	*	*	*	T
41909	F	T	*	*	T
41910	T	*	*	*	T
41911	F	T	*	*	T
41912	F	T	*	*	T
41913	F	T	*	*	T
41914	F	T	*	*	T
41915	F	T	*	*	T
44829	F	T	*	*	T
44830	F	T	*	*	T
44831	F	T	*	*	T
44832	F	T	*	*	T
44833	F	T	*	*	T
44834	F	T	*	*	T
44835	F	T	*	*	T
44836	F	T	*	*	T
44837	F	T	*	*	T
44838	F	T	*	*	T
44839	F	T	*	*	T
44840	F	F	F	T	T
44841	F	T	*	*	T
44842	F	T	*	*	T
44843	T	*	*	*	T
44844	F	T	*	*	T
44845	F	T	*	*	T
44846	F	T	*	*	T
44847	F	T	*	*	T
44848	F	T	*	*	T
44849	F	T	*	*	T
44850	F	T	*	*	T
44851	F	T	*	*	T
44852	F	T	*	*	T
44853	F	T	*	*	T
44854	F	T	*	*	T
44855	F	T	*	*	T
44856	F	T	*	*	T
44857	F	T	*	*	T
44858	F	T	*	*	T
44859	F	T	*	*	T
44860	F	T	*	*	T
44861	F	T	*	*	T
44862	F	T	*	*	T
44863	F	T	*	*	T
44864	F	T	*	*	T
44865	F	T	*	*	T
44866	F	T	*	*	T
44867	F	T	*	*	T
44868	F	T	*	*	T
44869	F	T	*	*	T
44870	F	T	*	*	T
44871	F	F	F	T	T
44872	T	*	*	*	T
44873	T	*	*	*	T
44874	F	T	*	*	T
44875	F	T	*	*	T
44876	F	T	*	*	T
44877	F	T	*	*	T
44878	F	F	F	T	T
44879	F	T	*	*	T
44880	F	T	*	*	T
44881	F	T	*	*	T
44882	F	T	*	*	T
44883	F	T	*	*	T
44884	F	T	*	*	T
44885	F	T	*	*	T
44886	F	T	*	*	T
44887	F	T	*	*	T
44888	F	T	*	*	T
44889	F	F	F	T	T
44890	F	F	F	T	T
44891	T	*	*	*	T
44892	T	*	*	*	T
44893	F	T	*	*	T
44894	F	T	*	*	T
44895	T	*	*	*	T
44896	F	T	*	*	T
44897	F	T	*	*	T
44898	F	T	*	*	T
44899	F	T	*	*	T
44900	F	F	F	T	T
44901	T	*	*	*	T
44902	T	*	*	*	T
44903	F	F	F	T	T
44904	F	T	*	*	T
44905	F	T	*	*	T
44906	F	T	*	*	T
44907	F	T	*	*	T
44908	F	T	*	*	T
44909	F	T	*	*	T
44910	F	T	*	*	T
44911	F	T	*	*	T
44912	F	T	*	*	T
44913	F	T	*	*	T
44914	F	T	*	*	T
44915	T	*	*	*	T
44916	T	*	*	*	T
44917	T	*	*	*	T
44918	F	T	*	*	T
44919	T	*	*	*	T
44920	F	T	*	*	T
44921	F	T	*	*	T
44922	F	T	*	*	T
44923	T	*	*	*	T
44924	F	T	*	*	T
44925	T	*	*	*	T
44926	F	F	T	F	T
44927	T	*	*	*	T
44928	F	F	T	F	T
44929	T	*	*	*	T
44930	F	T	*	*	T
44931	F	T	*	*	T
44932	F	T	*	*	T
44933	F	T	*	*	T
44934	F	T	*	*	T
44935	F	T	*	*	T
44936	F	T	*	*	T
44937	F	T	*	*	T
44938	F	T	*	*	T
44939	F	T	*	*	T
44940	F	T	*	*	T
44941	F	T	*	*	T
44942	F	F	F	F	T
44943	T	*	*	*	T
44944	T	*	*	*	T
44945	F	T	*	*	T
44946	F	F	T	T	T
44947	F	F	F	F	T
44948	F	F	F	F	T
44949	T	*	*	*	T
44950	T	*	*	*	T
44951	F	T	*	*	T
44952	T	*	*	*	T
44953	T	*	*	*	T
44954	T	*	*	*	T
44955	F	T	*	*	T
44956	F	T	*	*	T
44957	F	T	*	*	T
44958	F	T	*	*	T
44959	T	*	*	*	T
44960	F	T	*	*	T
44961	F	T	*	*	T
44962	T	*	*	*	T
44963	F	T	*	*	T
44964	T	*	*	*	T
44965	F	T	*	*	T
44966	F	T	*	*	T
44967	T	*	*	*	T
44968	T	*	*	*	T
44969	F	F	F	F	T
44970	F	T	*	*	T
44971	T	*	*	*	T
44972	F	F	T	T	T
44973	F	F	F	F	T
44974	T	*	*	*	T
44975	T	*	*	*	T
44976	T	*	*	*	T
44977	F	T	*	*	T
44978	F	T	*	*	T
44979	F	T	*	*	T
44980	F	T	*	*	T
44981	F	T	*	*	T
48269	F	T	*	*	T
48270	F	T	*	*	T
48271	F	T	*	*	T
48272	F	T	*	*	T
48273	F	T	*	*	T
48274	F	T	*	*	T
48275	F	T	*	*	T
48276	F	T	*	*	T
48277	F	T	*	*	T
48278	F	F	F	T	T
48279	F	T	*	*	T
48280	F	T	*	*	T
48281	T	*	*	*	T
48282	F	T	*	*	T
48283	F	T	*	*	T
48284	F	T	*	*	T
48285	F	T	*	*	T
48286	F	T	*	*	T
48287	F	T	*	*	T
48288	F	T	*	*	T
48289	F	T	*	*	T
48290	F	T	*	*	T
48291	F	T	*	*	T
48292	F	T	*	*	T
48293	F	T	*	*	T
48294	F	T	*	*	T
48295	F	T	*	*	T
48296	F	T	*	*	T
48297	F	T	*	*	T
48298	F	T	*	*	T
48299	F	T	*	*	T
48300	F	T	*	*	T
48301	F	T	*	*	T
48302	F	T	*	*	T
48303	F	T	*	*	T
48304	F	T	*	*	T
48305	F	T	*	*	T
48306	F	T	*	*	T
48307	F	T	*	*	T
48308	F	T	*	*	T
48309	F	F	F	T	T
48310	T	*	*	*	T
48311	T	*	*	*	T
48312	F	T	*	*	T
48313	F	T	*	*	T
48314	F	T	*	*	T
48315	F	T	*	*	T
48316	F	F	F	T	T
48317	F	T	*	*	T
48318	F	T	*	*	T
48319	F	T	*	*	T
48320	F	T	*	*	T
48321	F	T	*	*	T
48322	F	T	*	*	T
48323	F	T	*	*	T
48324	F	T	*	*	T
48325	F	T	*	*	T
48326	F	T	*	*	T
48327	F	F	F	T	T
48328	F	F	F	T	T
48329	T	*	*	*	T
48330	T	*	*	*	T
48331	F	T	*	*	T
48332	F	T	*	*	T
48333	T	*	*	*	T
48334	F	T	*	*	T
48335	F	T	*	*	T
48336	F	T	*	*	T
48337	F	T	*	*	T
48338	F	F	F	T	T
48339	T	*	*	*	T
48340	T	*	*	*	T
48341	F	F	F	T	T
48342	F	T	*	*	T
48343	F	T	*	*	T
48344	F	T	*	*	T
48345	F	T	*	*	T
48346	F	T	*	*	T
48347	F	T	*	*	T
48348	F	T	*	*	T
48349	F	T	*	*	T
48350	F	T	*	*	T
48351	F	T	*	*	T
48352	F	T	*	*	T
48353	T	*	*	*	T
48354	T	*	*	*	T
48355	T	*	*	*	T
48356	F	T	*	*	T
48357	T	*	*	*	T
48358	F	T	*	*	T
48359	F	T	*	*	T
48360	F	T	*	*	T
48361	T	*	*	*	T
48362	T	*	*	*	T
48363	F	F	T	F	T
48364	T	*	*	*	T
48365	F	F	T	F	T
48366	T	*	*	*	T
48367	F	T	*	*	T
48368	F	T	*	*	T
48369	F	T	*	*	T
48370	F	T	*	*	T
48371	F	T	*	*	T
48372	F	T	*	*	T
48373	F	T	*	*	T
48374	F	T	*	*	T
48375	F	T	*	*	T
48376	F	T	*	*	T
48377	F	T	*	*	T
48378	F	T	*	*	T
48379	F	F	F	F	T
48380	T	*	*	*	T
48381	T	*	*	*	T
48382	F	T	*	*	T
48383	F	F	T	T	T
48384	F	F	F	F	T
48385	F	F	F	F	T
48386	T	*	*	*	T
48387	T	*	*	*	T
48388	F	T	*	*	T
48389	T	*	*	*	T
48390	T	*	*	*	T
48391	T	*	*	*	T
48392	F	T	*	*	T
48393	T	*	*	*	T
48394	F	T	*	*	T
48395	T	*	*	*	T
48396	T	*	*	*	T
48397	F	T	*	*	T
48398	T	*	*	*	T
48399	T	*	*	*	T
48400	F	T	*	*	T
48401	F	T	*	*	T
48402	T	*	*	*	T
48403	F	F	T	T	T
48404	T	*	*	*	T
48405	F	F	T	T	T
48406	F	T	*	*	T
48407	T	*	*	*	T
48408	F	T	*	*	T
48409	F	T	*	*	T
48410	F	T	*	*	T
48411	F	T	*	*	T
48412	F	T	*	*	T
51318	F	T	*	*	T
51319	F	T	*	*	T
51320	F	T	*	*	T
51321	F	T	*	*	T
51322	F	T	*	*	T
51323	F	T	*	*	T
51324	F	T	*	*	T
51325	F	T	*	*	T
51326	F	T	*	*	T
51327	F	F	F	T	T
51328	F	T	*	*	T
51329	F	T	*	*	T
51330	T	*	*	*	T
51331	F	T	*	*	T
51332	F	T	*	*	T
51333	F	T	*	*	T
51334	F	T	*	*	T
51335	F	T	*	*	T
51336	F	T	*	*	T
51337	F	T	*	*	T
51338	F	T	*	*	T
51339	F	T	*	*	T
51340	F	T	*	*	T
51341	F	T	*	*	T
51342	F	T	*	*	T
51343	F	T	*	*	T
51344	F	T	*	*	T
51345	F	T	*	*	T
51346	F	T	*	*	T
51347	F	T	*	*	T
51348	F	T	*	*	T
51349	F	T	*	*	T
51350	F	T	*	*	T
51351	F	T	*	*	T
51352	F	T	*	*	T
51353	F	T	*	*	T
51354	F	T	*	*	T
51355	F	T	*	*	T
51356	F	T	*	*	T
51357	F	T	*	*	T
51358	F	F	F	T	T
51359	T	*	*	*	T
51360	T	*	*	*	T
51361	F	T	*	*	T
51362	F	T	*	*	T
51363	F	T	*	*	T
51364	F	T	*	*	T
51365	F	F	F	T	T
51366	F	T	*	*	T
51367	F	T	*	*	T
51368	F	T	*	*	T
51369	F	T	*	*	T
51370	F	T	*	*	T
51371	F	T	*	*	T
51372	F	T	*	*	T
51373	F	T	*	*	T
51374	F	T	*	*	T
51375	F	T	*	*	T
51376	F	F	F	T	T
51377	F	F	F	T	T
51378	T	*	*	*	T
51379	T	*	*	*	T
51380	F	T	*	*	T
51381	F	T	*	*	T
51382	T	*	*	*	T
51383	F	T	*	*	T
51384	F	T	*	*	T
51385	F	T	*	*	T
51386	F	T	*	*	T
51387	F	F	F	T	T
51388	T	*	*	*	T
51389	T	*	*	*	T
51390	F	F	F	T	T
51391	F	T	*	*	T
51392	F	T	*	*	T
51393	F	T	*	*	T
51394	F	T	*	*	T
51395	F	T	*	*	T
51396	F	T	*	*	T
51397	F	T	*	*	T
51398	F	T	*	*	T
51399	F	T	*	*	T
51400	F	T	*	*	T
51401	F	T	*	*	T
51402	T	*	*	*	T
51403	T	*	*	*	T
51404	T	*	*	*	T
51405	F	T	*	*	T
51406	T	*	*	*	T
51407	F	T	*	*	T
51408	F	T	*	*	T
51409	F	T	*	*	T
51410	T	*	*	*	T
51411	F	T	*	*	T
51412	T	*	*	*	T
51413	F	F	T	F	T
51414	T	*	*	*	T
51415	F	F	T	F	T
51416	T	*	*	*	T
51417	F	T	*	*	T
51418	F	T	*	*	T
51419	F	T	*	*	T
51420	F	T	*	*	T
51421	F	T	*	*	T
51422	F	T	*	*	T
51423	F	T	*	*	T
51424	F	T	*	*	T
51425	F	T	*	*	T
51426	F	T	*	*	T
51427	F	T	*	*	T
51428	F	T	*	*	T
51429	F	F	F	F	T
51430	T	*	*	*	T
51431	T	*	*	*	T
51432	F	T	*	*	T
51433	F	F	T	T	T
51434	F	F	F	F	T
51435	F	F	F	F	T
51436	T	*	*	*	T
51437	T	*	*	*	T
51438	F	T	*	*	T
51439	T	*	*	*	T
51440	T	*	*	*	T
51441	T	*	*	*	T
51442	F	T	*	*	T
51443	T	*	*	*	T
51444	F	F	F	F	T
51445	T	*	*	*	T
51446	F	T	*	*	T
51447	T	*	*	*	T
51448	T	*	*	*	T
51449	F	T	*	*	T
51450	T	*	*	*	T
51451	F	T	*	*	T
51452	F	T	*	*	T
51453	F	T	*	*	T
51454	F	T	*	*	T
51455	F	T	*	*	T
60402	F	T	*	*	T
60403	F	T	*	*	T
60404	F	T	*	*	T
60405	F	T	*	*	T
60406	F	T	*	*	T
60407	F	T	*	*	T
60408	F	T	*	*	T
60409	F	T	*	*	T
60410	F	T	*	*	T
60411	F	T	*	*	T
60412	F	T	*	*	T
60413	F	T	*	*	T
60414	F	T	*	*	T
60415	F	T	*	*	T
60416	F	T	*	*	T
60417	F	T	*	*	T
60418	F	T	*	*	T
60419	F	T	*	*	T
60420	F	T	*	*	T
60421	F	T	*	*	T
60422	F	T	*	*	T
60423	F	T	*	*	T
60424	F	T	*	*	T
60425	F	T	*	*	T
60426	F	F	F	T	T
60427	T	*	*	*	T
60428	T	*	*	*	T
60429	F	T	*	*	T
60430	F	T	*	*	T
60431	F	T	*	*	T
60432	F	T	*	*	T
60433	F	T	*	*	T
60434	F	T	*	*	T
60435	F	T	*	*	T
60436	F	T	*	*	T
60437	F	T	*	*	T
60438	F	T	*	*	T
60439	F	T	*	*	T
60440	F	T	*	*	T
60441	F	F	F	F	T
60442	F	T	*	*	T
60443	F	T	*	*	T
60444	T	*	*	*	T
60445	F	T	*	*	T
60446	F	T	*	*	T
60447	F	T	*	*	T
60448	F	T	*	*	T
60449	F	T	*	*	T
60450	F	T	*	*	T
60451	F	T	*	*	T
60452	F	T	*	*	T
60453	F	T	*	*	T
60454	F	F	T	T	T
60455	T	*	*	*	T
60456	F	T	*	*	T
60457	T	*	*	*	T
60458	F	T	*	*	T
60459	T	*	*	*	T
60460	F	T	*	*	T
60461	T	*	*	*	T
60462	T	*	*	*	T
60463	F	T	*	*	T
60464	T	*	*	*	T
60465	F	F	F	T	T
60466	T	*	*	*	T
60467	F	T	*	*	T
60468	T	*	*	*	T
60469	F	T	*	*	T
60470	F	T	*	*	T
60471	T	*	*	*	T
60472	T	*	*	*	T
60473	F	F	F	F	T
60474	F	T	*	*	T
60475	T	*	*	*	T
60476	T	*	*	*	T
60477	T	*	*	*	T
60478	F	T	*	*	T
60479	T	*	*	*	T
60480	T	*	*	*	T
60481	T	*	*	*	T
60482	T	*	*	*	T
60483	F	F	F	F	T
60484	F	T	*	*	T
60485	T	*	*	*	T
60486	F	F	F	F	T
60487	T	*	*	*	T
60488	T	*	*	*	T
60489	T	*	*	*	T
60490	T	*	*	*	T
60491	T	*	*	*	T
60492	T	*	*	*	T
60493	F	T	*	*	T
60494	T	*	*	*	T
60495	F	T	*	*	T
60496	T	*	*	*	T
60497	F	F	F	T	T
60498	T	*	*	*	T
60499	T	*	*	*	T
60500	T	*	*	*	T
60501	T	*	*	*	T
60502	F	T	*	*	T
60503	F	T	*	*	T
60504	F	T	*	*	T
60505	F	T	*	*	T
60506	F	F	F	T	T
60507	F	T	*	*	T
60508	F	T	*	*	T
60509	F	T	*	*	T
60510	F	T	*	*	T
60511	T	*	*	*	T
60512	F	T	*	*	T
60513	F	T	*	*	T
60514	F	T	*	*	T
60515	F	F	F	F	T
60516	F	T	*	*	T
60517	F	T	*	*	T
60518	T	*	*	*	T
60519	F	T	*	*	T
60520	F	T	*	*	T
60521	F	T	*	*	T
60522	F	T	*	*	T
60523	F	T	*	*	T
60524	F	T	*	*	T
60525	F	T	*	*	T
60526	F	T	*	*	T
60527	F	T	*	*	T
60528	F	F	T	T	T
60529	T	*	*	*	T
60530	F	F	T	T	T
60531	F	F	F	F	T
60532	F	T	*	*	T
60533	T	*	*	*	T
60534	F	T	*	*	T
60535	T	*	*	*	T
60536	T	*	*	*	T
60537	F	T	*	*	T
60538	T	*	*	*	T
60539	T	*	*	*	T
60540	F	T	*	*	T
60541	T	*	*	*	T
60542	T	*	*	*	T
60543	F	T	*	*	T
60544	T	*	*	*	T
60545	T	*	*	*	T
60546	T	*	*	*	T
60547	T	*	*	*	T
60548	T	*	*	*	T
60549	T	*	*	*	T
60550	F	T	*	*	T
60551	T	*	*	*	T
60552	F	F	T	T	T
60553	F	F	T	F	T
60554	T	*	*	*	T
60555	F	F	F	T	T
60556	F	T	*	*	T
60557	T	*	*	*	T
60558	T	*	*	*	T
60559	T	*	*	*	T
60560	T	*	*	*	T
60561	T	*	*	*	T
60562	T	*	*	*	T
60563	F	F	F	T	T
60564	F	T	*	*	T
60565	T	*	*	*	T
60566	T	*	*	*	T
60567	F	F	F	T	T
60568	F	T	*	*	T
60569	T	*	*	*	T
60570	F	T	*	*	T
60571	T	*	*	*	T
60572	F	T	*	*	T
60573	F	T	*	*	T
60574	F	T	*	*	T
60575	F	T	*	*	T
60576	F	F	F	T	T
60577	F	T	*	*	T
60578	T	*	*	*	T
60579	F	T	*	*	T
60580	F	T	*	*	T
60581	T	*	*	*	T
60582	T	*	*	*	T
60583	F	T	*	*	T
60584	F	T	*	*	T
60585	T	*	*	*	T
60586	F	T	*	*	T
60587	F	F	F	T	T
60588	F	T	*	*	T
60589	T	*	*	*	T
60590	F	T	*	*	T
60591	F	T	*	*	T
60592	F	T	*	*	T
60593	F	T	*	*	T
60594	F	T	*	*	T
60595	T	*	*	*	T
60596	F	T	*	*	T
60597	T	*	*	*	T
60598	F	T	*	*	T
60599	F	T	*	*	T
60600	F	T	*	*	T
60601	F	T	*	*	T
60602	F	T	*	*	T
60603	F	T	*	*	T
60604	T	*	*	*	T
60605	T	*	*	*	T
60606	F	T	*	*	T
60607	F	T	*	*	T
60608	F	T	*	*	T
60609	F	T	*	*	T
60610	F	T	*	*	T
60611	F	T	*	*	T
60612	F	T	*	*	T
60613	F	F	F	F	T
60614	T	*	*	*	T
60615	F	T	*	*	T
60616	F	T	*	*	T
60617	F	T	*	*	T
60618	F	T	*	*	T
60619	F	T	*	*	T
60620	F	T	*	*	T
60621	F	T	*	*	T
60622	F	T	*	*	T
60623	F	F	F	T	T
60624	F	T	*	*	T
60625	F	F	F	F	T
60626	F	F	F	F	T
60627	F	F	F	F	T
60628	F	T	*	*	T
60629	T	*	*	*	T
60630	F	F	F	F	T
60631	F	F	F	F	T
60632	T	*	*	*	T
60633	F	F	F	T	T
60634	F	T	*	*	T
60635	F	T	*	*	T
60636	T	*	*	*	T
60637	F	F	F	F	T
60638	F	T	*	*	T
60639	T	*	*	*	T
60640	F	F	F	F	T
60641	F	F	F	F	T
60642	F	F	F	F	T
60643	T	*	*	*	T
60644	F	T	*	*	T
60645	F	T	*	*	T
60646	T	*	*	*	T
60647	F	T	*	*	T
60648	T	*	*	*	T
60649	T	*	*	*	T
60650	T	*	*	*	T
60651	T	*	*	*	T
60652	F	F	F	F	T
60653	T	*	*	*	T
60654	T	*	*	*	T
60655	F	T	*	*	T
60656	T	*	*	*	T
60657	T	*	*	*	T
60658	T	*	*	*	T
60659	T	*	*	*	T
60660	T	*	*	*	T
60661	F	F	F	T	T
60662	F	T	*	*	T
70174	F	T	*	*	T
70175	F	T	*	*	T
70176	F	T	*	*	T
70177	F	T	*	*	T
70178	F	T	*	*	T
70179	F	T	*	*	T
70180	F	T	*	*	T
70181	F	T	*	*	T
70182	F	T	*	*	T
70183	F	T	*	*	T
70184	F	T	*	*	T
70185	F	T	*	*	T
70186	F	T	*	*	T
70187	F	T	*	*	T
70188	F	T	*	*	T
70189	F	T	*	*	T
70190	F	T	*	*	T
70191	F	T	*	*	T
70192	F	T	*	*	T
70193	F	T	*	*	T
70194	F	T	*	*	T
70195	F	T	*	*	T
70196	F	T	*	*	T
70197	F	T	*	*	T
70198	F	F	F	T	T
70199	T	*	*	*	T
70200	T	*	*	*	T
70201	F	T	*	*	T
70202	F	T	*	*	T
70203	F	T	*	*	T
70204	F	T	*	*	T
70205	F	T	*	*	T
70206	F	T	*	*	T
70207	F	T	*	*	T
70208	F	T	*	*	T
70209	F	T	*	*	T
70210	F	T	*	*	T
70211	F	T	*	*	T
70212	F	T	*	*	T
70213	F	F	F	F	T
70214	F	T	*	*	T
70215	F	T	*	*	T
70216	T	*	*	*	T
70217	F	T	*	*	T
70218	F	T	*	*	T
70219	F	T	*	*	T
70220	F	T	*	*	T
70221	F	T	*	*	T
70222	F	T	*	*	T
70223	F	T	*	*	T
70224	F	T	*	*	T
70225	F	T	*	*	T
70226	F	F	T	T	T
70227	T	*	*	*	T
70228	F	T	*	*	T
70229	T	*	*	*	T
70230	F	T	*	*	T
70231	T	*	*	*	T
70232	F	T	*	*	T
70233	T	*	*	*	T
70234	T	*	*	*	T
70235	F	T	*	*	T
70236	T	*	*	*	T
70237	F	F	F	T	T
70238	T	*	*	*	T
70239	F	T	*	*	T
70240	T	*	*	*	T
70241	F	T	*	*	T
70242	F	T	*	*	T
70243	T	*	*	*	T
70244	T	*	*	*	T
70245	F	F	F	F	T
70246	F	T	*	*	T
70247	T	*	*	*	T
70248	T	*	*	*	T
70249	T	*	*	*	T
70250	F	T	*	*	T
70251	T	*	*	*	T
70252	T	*	*	*	T
70253	T	*	*	*	T
70254	T	*	*	*	T
70255	F	F	F	F	T
70256	F	T	*	*	T
70257	T	*	*	*	T
70258	F	F	F	F	T
70259	T	*	*	*	T
70260	T	*	*	*	T
70261	T	*	*	*	T
70262	T	*	*	*	T
70263	T	*	*	*	T
70264	T	*	*	*	T
70265	F	T	*	*	T
70266	T	*	*	*	T
70267	F	T	*	*	T
70268	T	*	*	*	T
70269	F	F	F	T	T
70270	T	*	*	*	T
70271	T	*	*	*	T
70272	T	*	*	*	T
70273	T	*	*	*	T
70274	F	T	*	*	T
70275	F	T	*	*	T
70276	F	T	*	*	T
70277	F	T	*	*	T
70278	F	F	F	T	T
70279	F	T	*	*	T
70280	F	T	*	*	T
70281	F	T	*	*	T
70282	F	T	*	*	T
70283	T	*	*	*	T
70284	F	T	*	*	T
70285	F	T	*	*	T
70286	F	T	*	*	T
70287	F	F	F	F	T
70288	F	T	*	*	T
70289	F	T	*	*	T
70290	T	*	*	*	T
70291	F	T	*	*	T
70292	F	T	*	*	T
70293	F	T	*	*	T
70294	F	T	*	*	T
70295	F	T	*	*	T
70296	F	T	*	*	T
70297	F	T	*	*	T
70298	F	T	*	*	T
70299	F	T	*	*	T
70300	F	F	T	T	T
70301	T	*	*	*	T
70302	F	F	T	T	T
70303	F	F	F	F	T
70304	F	T	*	*	T
70305	T	*	*	*	T
70306	F	T	*	*	T
70307	T	*	*	*	T
70308	T	*	*	*	T
70309	F	T	*	*	T
70310	T	*	*	*	T
70311	T	*	*	*	T
70312	F	T	*	*	T
70313	T	*	*	*	T
70314	T	*	*	*	T
70315	F	T	*	*	T
70316	T	*	*	*	T
70317	T	*	*	*	T
70318	T	*	*	*	T
70319	T	*	*	*	T
70320	T	*	*	*	T
70321	T	*	*	*	T
70322	F	T	*	*	T
70323	T	*	*	*	T
70324	F	F	T	T	T
70325	F	F	T	F	T
70326	T	*	*	*	T
70327	F	F	F	T	T
70328	F	T	*	*	T
70329	T	*	*	*	T
70330	T	*	*	*	T
70331	T	*	*	*	T
70332	T	*	*	*	T
70333	T	*	*	*	T
70334	T	*	*	*	T
70335	F	F	F	T	T
70336	F	T	*	*	T
70337	T	*	*	*	T
70338	T	*	*	*	T
70339	F	F	F	T	T
70340	F	T	*	*	T
70341	T	*	*	*	T
70342	F	T	*	*	T
70343	T	*	*	*	T
70344	F	T	*	*	T
70345	F	T	*	*	T
70346	F	T	*	*	T
70347	F	T	*	*	T
70348	F	F	F	T	T
70349	F	T	*	*	T
70350	T	*	*	*	T
70351	F	T	*	*	T
70352	F	T	*	*	T
70353	T	*	*	*	T
70354	T	*	*	*	T
70355	F	T	*	*	T
70356	F	T	*	*	T
70357	T	*	*	*	T
70358	F	T	*	*	T
70359	F	F	F	T	T
70360	F	T	*	*	T
70361	T	*	*	*	T
70362	F	T	*	*	T
70363	F	T	*	*	T
70364	F	T	*	*	T
70365	F	T	*	*	T
70366	F	T	*	*	T
70367	T	*	*	*	T
70368	F	T	*	*	T
70369	T	*	*	*	T
70370	F	T	*	*	T
70371	F	T	*	*	T
70372	F	T	*	*	T
70373	F	T	*	*	T
70374	F	T	*	*	T
70375	F	T	*	*	T
70376	T	*	*	*	T
70377	T	*	*	*	T
70378	F	T	*	*	T
70379	F	T	*	*	T
70380	F	T	*	*	T
70381	F	T	*	*	T
70382	F	T	*	*	T
70383	F	T	*	*	T
70384	F	T	*	*	T
70385	F	F	F	F	T
70386	T	*	*	*	T
70387	F	T	*	*	T
70388	F	T	*	*	T
70389	F	T	*	*	T
70390	F	T	*	*	T
70391	F	T	*	*	T
70392	F	T	*	*	T
70393	F	T	*	*	T
70394	F	T	*	*	T
70395	F	F	F	T	T
70396	F	T	*	*	T
70397	F	F	F	F	T
70398	F	F	F	F	T
70399	F	F	F	F	T
70400	F	T	*	*	T
70401	T	*	*	*	T
70402	F	F	F	F	T
70403	F	F	F	F	T
70404	T	*	*	*	T
70405	F	F	F	T	T
70406	F	T	*	*	T
70407	F	T	*	*	T
70408	T	*	*	*	T
70409	F	F	F	F	T
70410	F	T	*	*	T
70411	T	*	*	*	T
70412	F	F	F	F	T
70413	F	F	F	F	T
70414	F	F	F	F	T
70415	T	*	*	*	T
70416	F	T	*	*	T
70417	F	T	*	*	T
70418	T	*	*	*	T
70419	F	T	*	*	T
70420	T	*	*	*	T
70421	T	*	*	*	T
70422	T	*	*	*	T
70423	T	*	*	*	T
70424	F	F	F	F	T
70425	T	*	*	*	T
70426	T	*	*	*	T
70427	F	T	*	*	T
70428	T	*	*	*	T
70429	T	*	*	*	T
70430	T	*	*	*	T
70431	T	*	*	*	T
70432	T	*	*	*	T
70433	F	F	F	T	T
70434	F	T	*	*	T
74419	F	T	*	*	T
74420	F	T	*	*	T
74421	F	T	*	*	T
74422	F	T	*	*	T
74423	F	T	*	*	T
74424	F	T	*	*	T
74425	F	T	*	*	T
74426	F	T	*	*	T
74427	F	T	*	*	T
74428	F	T	*	*	T
74429	F	T	*	*	T
74430	F	T	*	*	T
74431	F	T	*	*	T
74432	F	T	*	*	T
74433	F	F	F	T	T
74434	F	T	*	*	T
74435	T	*	*	*	T
74436	T	*	*	*	T
74437	F	T	*	*	T
74438	F	T	*	*	T
74439	T	*	*	*	T
74440	F	T	*	*	T
74441	T	*	*	*	T
74442	F	T	*	*	T
74443	T	*	*	*	T
74444	F	T	*	*	T
74445	T	*	*	*	T
74446	F	T	*	*	T
74447	F	F	F	T	T
74448	T	*	*	*	T
74449	T	*	*	*	T
74450	F	T	*	*	T
74451	F	T	*	*	T
74452	F	T	*	*	T
74453	F	T	*	*	T
74454	F	T	*	*	T
74455	F	T	*	*	T
74456	F	T	*	*	T
74457	F	T	*	*	T
74458	F	T	*	*	T
74459	F	T	*	*	T
74460	F	T	*	*	T
74461	F	T	*	*	T
74462	F	F	F	T	T
74463	T	*	*	*	T
74464	F	F	F	F	T
74465	T	*	*	*	T
74466	F	T	*	*	T
74467	F	T	*	*	T
74468	F	T	*	*	T
74469	F	T	*	*	T
74470	F	T	*	*	T
74471	F	T	*	*	T
74472	F	T	*	*	T
74473	F	T	*	*	T
74474	F	T	*	*	T
74475	F	T	*	*	T
74476	F	T	*	*	T
74477	F	T	*	*	T
74478	F	T	*	*	T
74479	F	T	*	*	T
74480	F	T	*	*	T
74481	F	T	*	*	T
74482	F	T	*	*	T
74483	F	T	*	*	T
74484	F	T	*	*	T
74485	F	F	F	T	T
74486	F	T	*	*	T
74487	T	*	*	*	T
74488	F	T	*	*	T
74489	F	T	*	*	T
74490	F	T	*	*	T
74491	T	*	*	*	T
74492	T	*	*	*	T
74493	F	T	*	*	T
74494	F	T	*	*	T
74495	F	F	F	F	T
74496	F	T	*	*	T
74497	T	*	*	*	T
74498	T	*	*	*	T
74499	F	F	F	T	T
74500	T	*	*	*	T
74501	F	T	*	*	T
74502	F	T	*	*	T
74503	F	T	*	*	T
74504	F	F	F	T	T
74505	F	T	*	*	T
74506	T	*	*	*	T
74507	T	*	*	*	T
74508	T	*	*	*	T
74509	F	T	*	*	T
74510	T	*	*	*	T
74511	T	*	*	*	T
74512	T	*	*	*	T
74513	T	*	*	*	T
74514	F	F	F	F	T
74515	T	*	*	*	T
74516	F	F	T	T	T
74517	F	F	F	F	T
74518	F	T	*	*	T
74519	T	*	*	*	T
74520	F	F	F	F	T
74521	T	*	*	*	T
74522	F	T	*	*	T
74523	F	F	F	F	T
74524	T	*	*	*	T
74525	F	T	*	*	T
74526	T	*	*	*	T
74527	F	T	*	*	T
74528	F	F	F	T	T
74529	T	*	*	*	T
74530	F	T	*	*	T
74531	T	*	*	*	T
74532	F	T	*	*	T
74533	F	T	*	*	T
74534	F	T	*	*	T
74535	F	T	*	*	T
74536	F	T	*	*	T
74537	F	T	*	*	T
74538	F	T	*	*	T
74539	F	T	*	*	T
74540	F	T	*	*	T
77894	F	T	*	*	T
77895	F	T	*	*	T
77896	F	T	*	*	T
77897	F	T	*	*	T
77898	F	T	*	*	T
77899	F	T	*	*	T
77900	F	T	*	*	T
77901	F	T	*	*	T
77902	F	T	*	*	T
77903	F	T	*	*	T
77904	F	T	*	*	T
77905	F	T	*	*	T
77906	F	T	*	*	T
77907	F	T	*	*	T
77908	F	F	F	T	T
77909	F	T	*	*	T
77910	T	*	*	*	T
77911	T	*	*	*	T
77912	F	T	*	*	T
77913	F	T	*	*	T
77914	T	*	*	*	T
77915	F	T	*	*	T
77916	T	*	*	*	T
77917	F	T	*	*	T
77918	T	*	*	*	T
77919	F	T	*	*	T
77920	T	*	*	*	T
77921	F	T	*	*	T
77922	F	F	F	T	T
77923	T	*	*	*	T
77924	T	*	*	*	T
77925	F	T	*	*	T
77926	F	T	*	*	T
77927	F	T	*	*	T
77928	F	T	*	*	T
77929	F	T	*	*	T
77930	F	T	*	*	T
77931	F	T	*	*	T
77932	F	T	*	*	T
77933	F	T	*	*	T
77934	F	T	*	*	T
77935	F	T	*	*	T
77936	F	T	*	*	T
77937	F	F	F	T	T
77938	T	*	*	*	T
77939	F	F	F	F	T
77940	T	*	*	*	T
77941	F	T	*	*	T
77942	F	T	*	*	T
77943	F	T	*	*	T
77944	F	T	*	*	T
77945	F	T	*	*	T
77946	F	T	*	*	T
77947	F	T	*	*	T
77948	F	T	*	*	T
77949	F	T	*	*	T
77950	F	T	*	*	T
77951	F	T	*	*	T
77952	F	T	*	*	T
77953	F	T	*	*	T
77954	F	T	*	*	T
77955	F	T	*	*	T
77956	F	T	*	*	T
77957	F	T	*	*	T
77958	F	T	*	*	T
77959	F	T	*	*	T
77960	F	F	F	T	T
77961	F	T	*	*	T
77962	T	*	*	*	T
77963	F	T	*	*	T
77964	F	T	*	*	T
77965	F	T	*	*	T
77966	T	*	*	*	T
77967	T	*	*	*	T
77968	F	T	*	*	T
77969	F	T	*	*	T
77970	F	F	F	F	T
77971	F	T	*	*	T
77972	T	*	*	*	T
77973	T	*	*	*	T
77974	F	F	F	T	T
77975	T	*	*	*	T
77976	F	T	*	*	T
77977	F	T	*	*	T
77978	F	T	*	*	T
77979	F	F	F	T	T
77980	F	T	*	*	T
77981	T	*	*	*	T
77982	T	*	*	*	T
77983	T	*	*	*	T
77984	F	T	*	*	T
77985	T	*	*	*	T
77986	T	*	*	*	T
77987	T	*	*	*	T
77988	T	*	*	*	T
77989	F	F	F	F	T
77990	T	*	*	*	T
77991	F	F	T	T	T
77992	F	F	F	F	T
77993	F	T	*	*	T
77994	T	*	*	*	T
77995	F	F	F	F	T
77996	T	*	*	*	T
77997	F	T	*	*	T
77998	F	F	F	F	T
77999	T	*	*	*	T
78000	F	T	*	*	T
78001	T	*	*	*	T
78002	F	T	*	*	T
78003	F	F	F	T	T
78004	T	*	*	*	T
78005	F	T	*	*	T
78006	T	*	*	*	T
78007	F	T	*	*	T
78008	F	T	*	*	T
78009	F	T	*	*	T
78010	F	T	*	*	T
78011	F	T	*	*	T
78012	F	T	*	*	T
78013	F	T	*	*	T
78014	F	T	*	*	T
78015	F	T	*	*	T
80015	F	T	*	*	T
80016	F	T	*	*	T
80017	F	T	*	*	T
80018	F	T	*	*	T
80019	F	T	*	*	T
80020	F	T	*	*	T
80021	F	T	*	*	T
80022	F	T	*	*	T
80023	F	T	*	*	T
80024	F	T	*	*	T
80025	F	T	*	*	T
80026	F	T	*	*	T
80027	F	T	*	*	T
80028	F	T	*	*	T
80029	F	T	*	*	T
80030	F	T	*	*	T
80031	F	T	*	*	T
80032	F	T	*	*	T
80033	F	T	*	*	T
80034	F	T	*	*	T
80035	F	T	*	*	T
80036	F	T	*	*	T
80037	F	T	*	*	T
80038	F	T	*	*	T
80039	F	T	*	*	T
80040	F	T	*	*	T
80041	F	T	*	*	T
80042	F	T	*	*	T
80043	F	F	F	T	T
80044	T	*	*	*	T
80045	F	F	F	T	T
80046	T	*	*	*	T
80047	F	T	*	*	T
80048	F	T	*	*	T
80049	T	*	*	*	T
80050	F	T	*	*	T
80051	F	T	*	*	T
80052	F	F	F	T	T
80053	T	*	*	*	T
80054	F	T	*	*	T
80055	F	T	*	*	T
80056	F	T	*	*	T
80057	F	T	*	*	T
80058	F	F	F	T	T
80059	F	T	*	*	T
80060	F	T	*	*	T
80061	F	T	*	*	T
80062	F	T	*	*	T
80063	F	T	*	*	T
80064	F	T	*	*	T
80065	F	T	*	*	T
80066	T	*	*	*	T
80067	F	F	F	T	T
80068	F	T	*	*	T
80069	T	*	*	*	T
80070	T	*	*	*	T
80071	F	F	F	T	T
80072	T	*	*	*	T
81333	F	T	*	*	T
81334	F	T	*	*	T
81335	F	T	*	*	T
81336	F	T	*	*	T
81337	F	T	*	*	T
81338	F	T	*	*	T
81339	F	T	*	*	T
81340	F	T	*	*	T
81341	F	T	*	*	T
81342	F	T	*	*	T
81343	F	T	*	*	T
81344	F	T	*	*	T
81345	F	T	*	*	T
81346	F	T	*	*	T
81347	F	T	*	*	T
81348	F	T	*	*	T
81349	F	T	*	*	T
81350	F	T	*	*	T
81351	F	T	*	*	T
81352	F	T	*	*	T
81353	F	T	*	*	T
81354	F	F	F	T	T
81355	T	*	*	*	T
81356	T	*	*	*	T
81357	F	T	*	*	T
81358	F	T	*	*	T
81359	T	*	*	*	T
81360	F	T	*	*	T
81361	F	T	*	*	T
81362	F	T	*	*	T
81363	F	T	*	*	T
81364	F	T	*	*	T
81365	F	T	*	*	T
81366	F	T	*	*	T
81367	F	T	*	*	T
81368	F	T	*	*	T
81369	F	F	T	T	T
81370	T	*	*	*	T
81371	T	*	*	*	T
81372	F	F	F	F	T
81373	T	*	*	*	T
81374	T	*	*	*	T
81375	F	T	*	*	T
81376	T	*	*	*	T
81377	T	*	*	*	T
81378	T	*	*	*	T
81379	F	T	*	*	T
82517	F	T	*	*	T
82518	F	T	*	*	T
82519	F	T	*	*	T
82520	F	T	*	*	T
82521	F	T	*	*	T
82522	F	T	*	*	T
82523	F	T	*	*	T
82524	F	T	*	*	T
82525	F	T	*	*	T
82526	F	T	*	*	T
82527	F	T	*	*	T
82528	F	T	*	*	T
82529	F	T	*	*	T
82530	F	T	*	*	T
82531	F	T	*	*	T
82532	F	T	*	*	T
82533	F	T	*	*	T
82534	F	T	*	*	T
82535	F	T	*	*	T
82536	F	F	F	T	T
82537	T	*	*	*	T
82538	T	*	*	*	T
82539	F	T	*	*	T
82540	F	T	*	*	T
82541	T	*	*	*	T
82542	F	T	*	*	T
82543	F	T	*	*	T
82544	F	T	*	*	T
82545	F	T	*	*	T
82546	F	T	*	*	T
82547	F	T	*	*	T
82548	F	T	*	*	T
82549	F	T	*	*	T
82550	F	F	T	T	T
82551	T	*	*	*	T
82552	T	*	*	*	T
82553	F	F	F	F	T
82554	T	*	*	*	T
82555	T	*	*	*	T
82556	T	*	*	*	T
82557	F	F	F	F	T
82558	F	F	F	F	T
82559	F	T	*	*	T
82560	F	T	*	*	T
83582	F	T	*	*	T
83583	F	T	*	*	T
83584	F	T	*	*	T
83585	F	T	*	*	T
83586	F	T	*	*	T
83587	F	T	*	*	T
83588	F	T	*	*	T
83589	F	T	*	*	T
83590	F	T	*	*	T
83591	F	T	*	*	T
83592	F	T	*	*	T
83593	F	T	*	*	T
83594	F	T	*	*	T
83595	F	T	*	*	T
83596	F	T	*	*	T
83597	F	T	*	*	T
83598	F	T	*	*	T
83599	F	T	*	*	T
83600	F	T	*	*	T
83601	F	T	*	*	T
83602	F	T	*	*	T
83603	F	F	F	T	T
83604	T	*	*	*	T
83605	T	*	*	*	T
83606	F	T	*	*	T
83607	F	T	*	*	T
83608	T	*	*	*	T
83609	F	T	*	*	T
83610	F	T	*	*	T
83611	F	T	*	*	T
83612	F	T	*	*	T
83613	F	T	*	*	T
83614	F	T	*	*	T
83615	F	T	*	*	T
83616	F	T	*	*	T
83617	F	T	*	*	T
83618	F	F	T	T	T
83619	T	*	*	*	T
83620	T	*	*	*	T
83621	F	F	F	F	T
83622	T	*	*	*	T
83623	T	*	*	*	T
83624	F	T	*	*	T
83625	T	*	*	*	T
83626	T	*	*	*	T
83627	T	*	*	*	T
83628	F	T	*	*	T
84839	F	T	*	*	T
84840	F	T	*	*	T
84841	F	T	*	*	T
84842	F	T	*	*	T
84843	F	T	*	*	T
84844	F	T	*	*	T
84845	F	T	*	*	T
84846	F	T	*	*	T
84847	F	T	*	*	T
84848	F	T	*	*	T
84849	F	T	*	*	T
84850	F	T	*	*	T
84851	F	T	*	*	T
84852	F	T	*	*	T
84853	F	T	*	*	T
84854	F	T	*	*	T
84855	F	T	*	*	T
84856	F	T	*	*	T
84857	F	T	*	*	T
84858	F	T	*	*	T
84859	F	T	*	*	T
84860	F	T	*	*	T
84861	F	T	*	*	T
84862	F	T	*	*	T
84863	F	T	*	*	T
84864	F	T	*	*	T
84865	F	F	F	T	T
84866	T	*	*	*	T
84867	T	*	*	*	T
84868	F	T	*	*	T
84869	F	T	*	*	T
84870	F	T	*	*	T
84871	F	T	*	*	T
84872	F	T	*	*	T
84873	T	*	*	*	T
84874	F	T	*	*	T
84875	F	T	*	*	T
84876	F	T	*	*	T
84877	F	T	*	*	T
84878	F	F	F	T	T
84879	T	*	*	*	T
84880	T	*	*	*	T
84881	F	T	*	*	T
84882	F	T	*	*	T
84883	F	T	*	*	T
84884	F	T	*	*	T
84885	F	T	*	*	T
84886	F	F	F	T	T
84887	T	*	*	*	T
84888	T	*	*	*	T
84889	T	*	*	*	T
84890	F	T	*	*	T
84891	F	T	*	*	T
84892	F	T	*	*	T
86828	F	T	*	*	T
86829	F	T	*	*	T
86830	F	T	*	*	T
86831	F	T	*	*	T
86832	F	T	*	*	T
86833	F	T	*	*	T
86834	F	T	*	*	T
86835	F	T	*	*	T
86836	F	T	*	*	T
86837	F	T	*	*	T
86838	F	T	*	*	T
86839	F	T	*	*	T
86840	F	T	*	*	T
86841	F	T	*	*	T
86842	F	T	*	*	T
86843	F	T	*	*	T
86844	F	T	*	*	T
86845	F	T	*	*	T
86846	F	T	*	*	T
86847	F	T	*	*	T
86848	F	T	*	*	T
86849	F	T	*	*	T
86850	F	T	*	*	T
86851	F	T	*	*	T
86852	F	T	*	*	T
86853	F	T	*	*	T
86854	F	T	*	*	T
86855	F	T	*	*	T
86856	F	T	*	*	T
86857	F	T	*	*	T
86858	F	T	*	*	T
86859	F	T	*	*	T
86860	F	T	*	*	T
86861	F	T	*	*	T
86862	F	F	F	T	T
86863	T	*	*	*	T
86864	T	*	*	*	T
86865	F	T	*	*	T
86866	F	T	*	*	T
86867	F	T	*	*	T
86868	F	T	*	*	T
86869	F	T	*	*	T
86870	F	T	*	*	T
86871	F	T	*	*	T
86872	F	T	*	*	T
86873	F	T	*	*	T
86874	F	T	*	*	T
86875	F	T	*	*	T
86876	F	F	F	T	T
86877	T	*	*	*	T
86878	F	T	*	*	T
86879	F	T	*	*	T
86880	F	T	*	*	T
86881	F	T	*	*	T
86882	F	T	*	*	T
86883	F	T	*	*	T
86884	F	F	F	T	T
86885	F	F	F	F	T
86886	T	*	*	*	T
86887	F	T	*	*	T
86888	T	*	*	*	T
86889	T	*	*	*	T
86890	T	*	*	*	T
86891	F	T	*	*	T
86892	F	F	T	T	T
88166	F	T	*	*	T
88167	F	T	*	*	T
88168	F	T	*	*	T
88169	F	T	*	*	T
88170	F	T	*	*	T
88171	F	T	*	*	T
88172	F	T	*	*	T
88173	F	T	*	*	T
88174	F	T	*	*	T
88175	F	T	*	*	T
88176	F	T	*	*	T
88177	F	T	*	*	T
88178	F	T	*	*	T
88179	F	T	*	*	T
88180	F	T	*	*	T
88181	F	T	*	*	T
88182	F	T	*	*	T
88183	F	T	*	*	T
88184	F	T	*	*	T
88185	F	T	*	*	T
88186	F	T	*	*	T
88187	F	T	*	*	T
88188	F	T	*	*	T
88189	F	T	*	*	T
88190	F	T	*	*	T
88191	F	T	*	*	T
88192	F	F	F	T	T
88193	T	*	*	*	T
88194	T	*	*	*	T
88195	F	T	*	*	T
88196	F	T	*	*	T
88197	F	T	*	*	T
88198	F	T	*	*	T
88199	F	T	*	*	T
88200	T	*	*	*	T
88201	F	T	*	*	T
88202	F	T	*	*	T
88203	F	T	*	*	T
88204	F	T	*	*	T
88205	F	F	F	T	T
88206	T	*	*	*	T
88207	F	T	*	*	T
88208	F	T	*	*	T
88209	F	T	*	*	T
88210	F	T	*	*	T
88211	F	T	*	*	T
88212	F	T	*	*	T
88213	T	*	*	*	T
88214	F	F	F	T	T
88215	T	*	*	*	T
88216	F	T	*	*	T
88217	F	T	*	*	T
88218	T	*	*	*	T
88219	F	T	*	*	T
90106	F	T	*	*	T
90107	F	T	*	*	T
90108	F	T	*	*	T
90109	F	T	*	*	T
90110	F	T	*	*	T
90111	F	T	*	*	T
90112	F	T	*	*	T
90113	F	T	*	*	T
90114	F	T	*	*	T
90115	F	T	*	*	T
90116	F	T	*	*	T
90117	F	T	*	*	T
90118	F	T	*	*	T
90119	F	T	*	*	T
90120	F	T	*	*	T
90121	F	T	*	*	T
90122	F	T	*	*	T
90123	F	T	*	*	T
90124	F	T	*	*	T
90125	F	T	*	*	T
90126	F	T	*	*	T
90127	F	T	*	*	T
90128	F	T	*	*	T
90129	F	T	*	*	T
90130	F	T	*	*	T
90131	F	T	*	*	T
90132	F	T	*	*	T
90133	F	T	*	*	T
90134	F	T	*	*	T
90135	F	F	F	T	T
90136	T	*	*	*	T
90137	T	*	*	*	T
90138	F	T	*	*	T
90139	F	T	*	*	T
90140	F	T	*	*	T
90141	F	T	*	*	T
90142	F	T	*	*	T
90143	F	T	*	*	T
90144	F	T	*	*	T
90145	F	F	F	F	T
90146	T	*	*	*	T
90147	F	T	*	*	T
90148	F	T	*	*	T
90149	F	T	*	*	T
90150	F	T	*	*	T
90151	F	T	*	*	T
90152	T	*	*	*	T
90153	F	T	*	*	T
90154	F	T	*	*	T
90155	F	T	*	*	T
90156	F	F	F	T	T
90157	F	T	*	*	T
90158	T	*	*	*	T
91596	F	T	*	*	T
91597	F	T	*	*	T
91598	F	T	*	*	T
91599	F	T	*	*	T
91600	F	T	*	*	T
91601	F	T	*	*	T
91602	F	T	*	*	T
91603	F	T	*	*	T
91604	F	T	*	*	T
91605	F	T	*	*	T
91606	F	T	*	*	T
91607	F	T	*	*	T
91608	F	T	*	*	T
91609	F	T	*	*	T
91610	F	T	*	*	T
91611	F	T	*	*	T
91612	F	T	*	*	T
91613	F	T	*	*	T
91614	F	T	*	*	T
91615	F	F	F	T	T
91616	T	*	*	*	T
91617	T	*	*	*	T
91618	T	*	*	*	T
91619	T	*	*	*	T
91620	T	*	*	*	T
91621	T	*	*	*	T
91622	F	T	*	*	T
91623	F	T	*	*	T
91624	T	*	*	*	T
91625	T	*	*	*	T
91626	T	*	*	*	T
91627	F	T	*	*	T
91628	F	T	*	*	T
91629	F	T	*	*	T
91630	T	*	*	*	T
91631	F	T	*	*	T
91632	F	T	*	*	T
91633	F	F	F	T	T
91634	F	T	*	*	T
91635	F	T	*	*	T
91636	F	T	*	*	T
91637	F	T	*	*	T
91638	F	T	*	*	T
91639	F	T	*	*	T
91640	F	T	*	*	T
91641	F	T	*	*	T
91642	T	*	*	*	T
91643	F	F	F	F	T
91644	T	*	*	*	T
91645	T	*	*	*	T
91646	F	F	F	F	T
91647	T	*	*	*	T
91648	T	*	*	*	T
91649	F	T	*	*	T
91650	T	*	*	*	T
91651	T	*	*	*	T
91652	F	F	F	T	T
91653	F	T	*	*	T
108281	F	T	*	*	T
108282	F	T	*	*	T
108283	F	T	*	*	T
108284	F	T	*	*	T
108285	F	T	*	*	T
108286	F	T	*	*	T
108287	F	T	*	*	T
108288	F	T	*	*	T
108289	F	T	*	*	T
108290	F	T	*	*	T
108291	F	T	*	*	T
108292	F	T	*	*	T
108293	F	T	*	*	T
108294	F	T	*	*	T
108295	F	T	*	*	T
108296	F	F	F	T	T
108297	T	*	*	*	T
108298	T	*	*	*	T
108299	T	*	*	*	T
108300	T	*	*	*	T
108301	T	*	*	*	T
108302	T	*	*	*	T
108303	F	T	*	*	T
108304	T	*	*	*	T
108305	F	F	F	T	T
108306	T	*	*	*	T
108307	F	T	*	*	T
108308	F	T	*	*	T
108309	F	T	*	*	T
108310	T	*	*	*	T
108311	F	T	*	*	T
108312	F	T	*	*	T
108313	F	T	*	*	T
108314	F	T	*	*	T
108315	F	F	F	T	T
108316	F	T	*	*	T
108317	T	*	*	*	T
108318	F	T	*	*	T
108319	T	*	*	*	T
108320	F	T	*	*	T
108321	T	*	*	*	T
108322	F	T	*	*	T
108323	F	T	*	*	T
108324	F	T	*	*	T
108325	T	*	*	*	T
108326	F	T	*	*	T
108327	F	F	F	F	T
108328	F	T	*	*	T
108329	F	F	F	F	T
108330	F	F	F	F	T
108331	F	T	*	*	T
108332	F	T	*	*	T
108333	F	T	*	*	T
108334	F	T	*	*	T
108335	F	T	*	*	T
108336	T	*	*	*	T
108337	F	T	*	*	T
108338	T	*	*	*	T
108339	F	F	F	T	T
108340	F	T	*	*	T
108341	T	*	*	*	T
108342	T	*	*	*	T
108343	T	*	*	*	T
108344	F	T	*	*	T
108345	T	*	*	*	T
108346	F	T	*	*	T
108347	T	*	*	*	T
108348	F	F	F	T	T
108349	F	T	*	*	T
108350	F	T	*	*	T
108351	F	F	T	F	T
108352	F	T	*	*	T
108353	T	*	*	*	T
108354	F	T	*	*	T
108355	F	T	*	*	T
108356	T	*	*	*	T
108357	T	*	*	*	T
108358	F	F	F	T	T
108359	F	T	*	*	T
108360	T	*	*	*	T
108361	T	*	*	*	T
108362	T	*	*	*	T
108363	T	*	*	*	T
108364	T	*	*	*	T
108365	T	*	*	*	T
108366	F	F	F	F	T
108367	T	*	*	*	T
108368	F	T	*	*	T
108369	T	*	*	*	T
108370	T	*	*	*	T
108371	T	*	*	*	T
108372	T	*	*	*	T
108373	T	*	*	*	T
108374	F	F	T	T	T
108375	F	T	*	*	T
108376	F	T	*	*	T
108377	T	*	*	*	T
108378	T	*	*	*	T
108379	T	*	*	*	T
108380	T	*	*	*	T
108381	T	*	*	*	T
108382	F	T	*	*	T
108383	T	*	*	*	T
108384	T	*	*	*	T
108385	T	*	*	*	T
108386	F	T	*	*	T
108387	T	*	*	*	T
108388	F	T	*	*	T
108389	T	*	*	*	T
108390	T	*	*	*	T
108391	T	*	*	*	T
108392	T	*	*	*	T
108393	T	*	*	*	T
108394	F	T	*	*	T
108395	T	*	*	*	T
108396	F	F	F	F	T
108397	F	T	*	*	T
108398	T	*	*	*	T
108399	T	*	*	*	T
108400	T	*	*	*	T
108401	F	T	*	*	T
108402	T	*	*	*	T
108403	T	*	*	*	T
108404	T	*	*	*	T
108405	F	F	T	F	T
108406	T	*	*	*	T
108407	F	F	F	T	T
108408	F	T	*	*	T
108409	T	*	*	*	T
108410	T	*	*	*	T
108411	T	*	*	*	T
108412	T	*	*	*	T
108413	F	T	*	*	T
108414	T	*	*	*	T
108415	F	T	*	*	T
108416	T	*	*	*	T
108417	T	*	*	*	T
108418	T	*	*	*	T
108419	T	*	*	*	T
108420	T	*	*	*	T
108421	T	*	*	*	T
108422	T	*	*	*	T
108423	F	T	*	*	T
108424	T	*	*	*	T
108425	F	T	*	*	T
108426	F	T	*	*	T
108427	F	T	*	*	T
108428	F	F	F	T	T
108429	F	T	*	*	T
108430	F	T	*	*	T
108431	F	T	*	*	T
108432	T	*	*	*	T
108433	F	T	*	*	T
108434	F	T	*	*	T
108435	F	T	*	*	T
108436	F	T	*	*	T
108437	F	T	*	*	T
108438	T	*	*	*	T
108439	T	*	*	*	T
108440	T	*	*	*	T
108441	F	T	*	*	T
108442	F	T	*	*	T
108443	T	*	*	*	T
108444	F	T	*	*	T
108445	F	F	F	T	T
108446	F	T	*	*	T
108447	T	*	*	*	T
108448	F	T	*	*	T
108449	T	*	*	*	T
108450	F	T	*	*	T
108451	T	*	*	*	T
108452	F	F	F	F	T
108453	F	T	*	*	T
108454	F	T	*	*	T
108455	F	T	*	*	T
108456	F	F	F	F	T
108457	F	T	*	*	T
108458	F	F	F	F	T
108459	F	T	*	*	T
108460	F	F	F	F	T
108461	F	F	F	F	T
108462	F	T	*	*	T
108463	F	T	*	*	T
108464	F	T	*	*	T
108465	F	T	*	*	T
108466	F	T	*	*	T
108467	T	*	*	*	T
108468	F	T	*	*	T
108469	T	*	*	*	T
108470	F	F	F	T	T
108471	F	T	*	*	T
108472	T	*	*	*	T
108473	T	*	*	*	T
108474	T	*	*	*	T
108475	F	T	*	*	T
108476	T	*	*	*	T
108477	F	F	F	T	T
108478	F	T	*	*	T
108479	T	*	*	*	T
108480	F	T	*	*	T
108481	F	F	T	F	T
108482	F	T	*	*	T
108483	T	*	*	*	T
108484	F	T	*	*	T
108485	F	T	*	*	T
108486	T	*	*	*	T
108487	T	*	*	*	T
108488	F	T	*	*	T
108489	T	*	*	*	T
108490	T	*	*	*	T
108491	T	*	*	*	T
108492	T	*	*	*	T
108493	T	*	*	*	T
108494	T	*	*	*	T
108495	F	T	*	*	T
108496	T	*	*	*	T
108497	T	*	*	*	T
108498	F	T	*	*	T
108499	T	*	*	*	T
108500	T	*	*	*	T
108501	T	*	*	*	T
108502	F	T	*	*	T
108503	T	*	*	*	T
108504	F	T	*	*	T
108505	T	*	*	*	T
108506	T	*	*	*	T
108507	T	*	*	*	T
108508	F	T	*	*	T
108509	T	*	*	*	T
108510	T	*	*	*	T
108511	F	T	*	*	T
108512	T	*	*	*	T
108513	T	*	*	*	T
108514	T	*	*	*	T
108515	T	*	*	*	T
108516	T	*	*	*	T
108517	T	*	*	*	T
108518	F	T	*	*	T
108519	T	*	*	*	T
108520	F	T	*	*	T
108521	T	*	*	*	T
108522	T	*	*	*	T
108523	T	*	*	*	T
108524	T	*	*	*	T
108525	T	*	*	*	T
108526	T	*	*	*	T
108527	F	T	*	*	T
108528	T	*	*	*	T
108529	F	T	*	*	T
108530	F	T	*	*	T
108531	T	*	*	*	T
108532	F	F	F	F	T
108533	F	T	*	*	T
108534	T	*	*	*	T
108535	F	T	*	*	T
108536	T	*	*	*	T
108537	T	*	*	*	T
108538	T	*	*	*	T
108539	T	*	*	*	T
108540	F	T	*	*	T
108541	F	T	*	*	T
108542	T	*	*	*	T
108543	T	*	*	*	T
108544	T	*	*	*	T
108545	T	*	*	*	T
108546	F	T	*	*	T
108547	T	*	*	*	T
108548	T	*	*	*	T
108549	T	*	*	*	T
108550	T	*	*	*	T
108551	T	*	*	*	T
108552	F	F	F	F	T
108553	T	*	*	*	T
108554	F	T	*	*	T
108555	T	*	*	*	T
108556	T	*	*	*	T
108557	T	*	*	*	T
108558	T	*	*	*	T
108559	F	F	F	T	T
108560	F	T	*	*	T
108561	T	*	*	*	T
108562	F	T	*	*	T
108563	T	*	*	*	T
108564	F	T	*	*	T
108565	T	*	*	*	T
108566	F	T	*	*	T
108567	F	T	*	*	T
108568	F	T	*	*	T
108569	F	T	*	*	T
108570	F	T	*	*	T
108571	T	*	*	*	T
108572	T	*	*	*	T
108573	F	T	*	*	T
108574	F	T	*	*	T
108575	T	*	*	*	T
108576	F	T	*	*	T
108577	F	T	*	*	T
108578	T	*	*	*	T
108579	T	*	*	*	T
108580	F	T	*	*	T
108581	F	T	*	*	T
108582	F	T	*	*	T
108583	F	T	*	*	T
108584	F	T	*	*	T
108585	F	T	*	*	T
108586	F	T	*	*	T
108587	F	F	F	F	T
108588	F	T	*	*	T
108589	F	F	T	F	T
108590	T	*	*	*	T
108591	F	F	F	T	T
108592	T	*	*	*	T
108593	T	*	*	*	T
108594	T	*	*	*	T
108595	F	T	*	*	T
108596	F	T	*	*	T
108597	F	F	F	F	T
108598	F	F	F	F	T
108599	F	F	F	F	T
108600	T	*	*	*	T
108601	F	F	T	F	T
108602	T	*	*	*	T
108603	T	*	*	*	T
108604	F	F	F	F	T
108605	F	F	F	F	T
108606	T	*	*	*	T
108607	T	*	*	*	T
108608	F	F	T	F	T
108609	F	T	*	*	T
108610	F	T	*	*	T
108611	T	*	*	*	T
127144	F	T	*	*	T
127145	F	T	*	*	T
127146	F	T	*	*	T
127147	F	T	*	*	T
127148	F	T	*	*	T
127149	F	T	*	*	T
127150	F	T	*	*	T
127151	F	T	*	*	T
127152	F	T	*	*	T
127153	F	T	*	*	T
127154	F	T	*	*	T
127155	F	T	*	*	T
127156	F	T	*	*	T
127157	F	T	*	*	T
127158	F	T	*	*	T
127159	F	F	F	T	T
127160	T	*	*	*	T
127161	T	*	*	*	T
127162	T	*	*	*	T
127163	T	*	*	*	T
127164	T	*	*	*	T
127165	T	*	*	*	T
127166	F	T	*	*	T
127167	T	*	*	*	T
127168	F	F	F	T	T
127169	T	*	*	*	T
127170	F	T	*	*	T
127171	F	T	*	*	T
127172	F	T	*	*	T
127173	T	*	*	*	T
127174	F	T	*	*	T
127175	F	T	*	*	T
127176	F	T	*	*	T
127177	F	T	*	*	T
127178	F	F	F	T	T
127179	F	T	*	*	T
127180	T	*	*	*	T
127181	F	T	*	*	T
127182	T	*	*	*	T
127183	F	T	*	*	T
127184	T	*	*	*	T
127185	F	T	*	*	T
127186	F	T	*	*	T
127187	F	T	*	*	T
127188	T	*	*	*	T
127189	F	T	*	*	T
127190	F	F	F	F	T
127191	F	T	*	*	T
127192	F	F	F	F	T
127193	F	F	F	F	T
127194	F	T	*	*	T
127195	F	T	*	*	T
127196	F	T	*	*	T
127197	F	T	*	*	T
127198	F	T	*	*	T
127199	T	*	*	*	T
127200	F	T	*	*	T
127201	T	*	*	*	T
127202	F	F	F	T	T
127203	F	T	*	*	T
127204	T	*	*	*	T
127205	T	*	*	*	T
127206	T	*	*	*	T
127207	F	T	*	*	T
127208	T	*	*	*	T
127209	F	T	*	*	T
127210	T	*	*	*	T
127211	F	F	F	T	T
127212	F	T	*	*	T
127213	F	T	*	*	T
127214	F	F	T	F	T
127215	F	T	*	*	T
127216	T	*	*	*	T
127217	F	T	*	*	T
127218	F	T	*	*	T
127219	T	*	*	*	T
127220	T	*	*	*	T
127221	F	F	F	T	T
127222	F	T	*	*	T
127223	T	*	*	*	T
127224	T	*	*	*	T
127225	T	*	*	*	T
127226	T	*	*	*	T
127227	T	*	*	*	T
127228	T	*	*	*	T
127229	F	F	F	F	T
127230	T	*	*	*	T
127231	F	T	*	*	T
127232	T	*	*	*	T
127233	T	*	*	*	T
127234	T	*	*	*	T
127235	T	*	*	*	T
127236	T	*	*	*	T
127237	F	F	T	T	T
127238	F	T	*	*	T
127239	F	T	*	*	T
127240	T	*	*	*	T
127241	T	*	*	*	T
127242	T	*	*	*	T
127243	T	*	*	*	T
127244	T	*	*	*	T
127245	F	T	*	*	T
127246	T	*	*	*	T
127247	T	*	*	*	T
127248	T	*	*	*	T
127249	F	T	*	*	T
127250	T	*	*	*	T
127251	F	T	*	*	T
127252	T	*	*	*	T
127253	T	*	*	*	T
127254	T	*	*	*	T
127255	T	*	*	*	T
127256	T	*	*	*	T
127257	F	T	*	*	T
127258	T	*	*	*	T
127259	F	F	F	F	T
127260	F	T	*	*	T
127261	T	*	*	*	T
127262	T	*	*	*	T
127263	T	*	*	*	T
127264	F	T	*	*	T
127265	T	*	*	*	T
127266	T	*	*	*	T
127267	T	*	*	*	T
127268	F	F	T	F	T
127269	T	*	*	*	T
127270	F	F	F	T	T
127271	F	T	*	*	T
127272	T	*	*	*	T
127273	T	*	*	*	T
127274	T	*	*	*	T
127275	T	*	*	*	T
127276	F	T	*	*	T
127277	T	*	*	*	T
127278	F	T	*	*	T
127279	T	*	*	*	T
127280	T	*	*	*	T
127281	T	*	*	*	T
127282	T	*	*	*	T
127283	T	*	*	*	T
127284	T	*	*	*	T
127285	T	*	*	*	T
127286	F	T	*	*	T
127287	T	*	*	*	T
127288	F	T	*	*	T
127289	F	T	*	*	T
127290	F	T	*	*	T
127291	F	F	F	T	T
127292	F	T	*	*	T
127293	F	T	*	*	T
127294	F	T	*	*	T
127295	T	*	*	*	T
127296	F	T	*	*	T
127297	F	T	*	*	T
127298	F	T	*	*	T
127299	F	T	*	*	T
127300	F	T	*	*	T
127301	T	*	*	*	T
127302	T	*	*	*	T
127303	T	*	*	*	T
127304	F	T	*	*	T
127305	F	T	*	*	T
127306	T	*	*	*	T
127307	F	T	*	*	T
127308	F	F	F	T	T
127309	F	T	*	*	T
127310	T	*	*	*	T
127311	F	T	*	*	T
127312	T	*	*	*	T
127313	F	T	*	*	T
127314	T	*	*	*	T
127315	F	F	F	F	T
127316	F	T	*	*	T
127317	F	T	*	*	T
127318	F	T	*	*	T
127319	F	F	F	F	T
127320	F	T	*	*	T
127321	F	F	F	F	T
127322	F	T	*	*	T
127323	F	F	F	F	T
127324	F	F	F	F	T
127325	F	T	*	*	T
127326	F	T	*	*	T
127327	F	T	*	*	T
127328	F	T	*	*	T
127329	F	T	*	*	T
127330	T	*	*	*	T
127331	F	T	*	*	T
127332	T	*	*	*	T
127333	F	F	F	T	T
127334	F	T	*	*	T
127335	T	*	*	*	T
127336	T	*	*	*	T
127337	T	*	*	*	T
127338	F	T	*	*	T
127339	T	*	*	*	T
127340	F	F	F	T	T
127341	F	T	*	*	T
127342	T	*	*	*	T
127343	F	T	*	*	T
127344	F	F	T	F	T
127345	F	T	*	*	T
127346	T	*	*	*	T
127347	F	T	*	*	T
127348	F	T	*	*	T
127349	T	*	*	*	T
127350	T	*	*	*	T
127351	F	T	*	*	T
127352	T	*	*	*	T
127353	T	*	*	*	T
127354	T	*	*	*	T
127355	T	*	*	*	T
127356	T	*	*	*	T
127357	T	*	*	*	T
127358	F	T	*	*	T
127359	T	*	*	*	T
127360	T	*	*	*	T
127361	F	T	*	*	T
127362	T	*	*	*	T
127363	T	*	*	*	T
127364	T	*	*	*	T
127365	F	T	*	*	T
127366	T	*	*	*	T
127367	F	T	*	*	T
127368	T	*	*	*	T
127369	T	*	*	*	T
127370	T	*	*	*	T
127371	F	T	*	*	T
127372	T	*	*	*	T
127373	T	*	*	*	T
127374	F	T	*	*	T
127375	T	*	*	*	T
127376	T	*	*	*	T
127377	T	*	*	*	T
127378	T	*	*	*	T
127379	T	*	*	*	T
127380	T	*	*	*	T
127381	F	T	*	*	T
127382	T	*	*	*	T
127383	F	T	*	*	T
127384	T	*	*	*	T
127385	T	*	*	*	T
127386	T	*	*	*	T
127387	T	*	*	*	T
127388	T	*	*	*	T
127389	T	*	*	*	T
127390	F	T	*	*	T
127391	T	*	*	*	T
127392	F	T	*	*	T
127393	F	T	*	*	T
127394	T	*	*	*	T
127395	F	F	F	F	T
127396	F	T	*	*	T
127397	T	*	*	*	T
127398	F	T	*	*	T
127399	T	*	*	*	T
127400	T	*	*	*	T
127401	T	*	*	*	T
127402	T	*	*	*	T
127403	F	T	*	*	T
127404	F	T	*	*	T
127405	T	*	*	*	T
127406	T	*	*	*	T
127407	T	*	*	*	T
127408	T	*	*	*	T
127409	F	T	*	*	T
127410	T	*	*	*	T
127411	T	*	*	*	T
127412	T	*	*	*	T
127413	T	*	*	*	T
127414	T	*	*	*	T
127415	F	F	F	F	T
127416	T	*	*	*	T
127417	F	T	*	*	T
127418	T	*	*	*	T
127419	T	*	*	*	T
127420	T	*	*	*	T
127421	T	*	*	*	T
127422	F	F	F	T	T
127423	F	T	*	*	T
127424	T	*	*	*	T
127425	F	T	*	*	T
127426	T	*	*	*	T
127427	F	T	*	*	T
127428	T	*	*	*	T
127429	F	T	*	*	T
127430	F	T	*	*	T
127431	F	T	*	*	T
127432	F	T	*	*	T
127433	F	T	*	*	T
127434	T	*	*	*	T
127435	T	*	*	*	T
127436	F	T	*	*	T
127437	F	T	*	*	T
127438	T	*	*	*	T
127439	F	T	*	*	T
127440	F	T	*	*	T
127441	T	*	*	*	T
127442	T	*	*	*	T
127443	F	T	*	*	T
127444	F	T	*	*	T
127445	F	T	*	*	T
127446	F	T	*	*	T
127447	F	T	*	*	T
127448	F	T	*	*	T
127449	F	T	*	*	T
127450	F	F	F	F	T
127451	F	T	*	*	T
127452	F	F	T	F	T
127453	T	*	*	*	T
127454	F	F	F	T	T
127455	T	*	*	*	T
127456	T	*	*	*	T
127457	T	*	*	*	T
127458	F	T	*	*	T
127459	F	T	*	*	T
127460	F	F	F	F	T
127461	F	F	F	F	T
127462	F	F	F	F	T
127463	T	*	*	*	T
127464	F	F	T	F	T
127465	T	*	*	*	T
127466	T	*	*	*	T
127467	F	F	F	F	T
127468	F	F	F	F	T
127469	T	*	*	*	T
127470	T	*	*	*	T
127471	F	F	T	F	T
127472	F	T	*	*	T
127473	F	T	*	*	T
127474	T	*	*	*	T
130495	F	T	*	*	T
130496	F	T	*	*	T
130497	F	T	*	*	T
130498	F	T	*	*	T
130499	F	T	*	*	T
130500	F	T	*	*	T
130501	F	T	*	*	T
130502	F	T	*	*	T
130503	F	T	*	*	T
130504	F	T	*	*	T
130505	F	T	*	*	T
130506	F	T	*	*	T
130507	F	T	*	*	T
130508	F	T	*	*	T
130509	F	T	*	*	T
130510	F	T	*	*	T
130511	F	T	*	*	T
130512	F	T	*	*	T
130513	F	T	*	*	T
130514	F	T	*	*	T
130515	F	T	*	*	T
130516	F	T	*	*	T
130517	F	T	*	*	T
130518	F	F	F	T	T
130519	T	*	*	*	T
130520	T	*	*	*	T
130521	F	T	*	*	T
130522	F	T	*	*	T
130523	F	T	*	*	T
130524	F	T	*	*	T
130525	F	F	F	F	T
130526	F	T	*	*	T
130527	F	T	*	*	T
130528	F	T	*	*	T
130529	F	T	*	*	T
130530	F	T	*	*	T
130531	F	T	*	*	T
130532	F	T	*	*	T
130533	F	T	*	*	T
130534	F	T	*	*	T
130535	F	T	*	*	T
130536	F	T	*	*	T
130537	F	T	*	*	T
130538	F	T	*	*	T
130539	F	T	*	*	T
130540	F	F	F	T	T
130541	T	*	*	*	T
130542	T	*	*	*	T
130543	F	T	*	*	T
130544	T	*	*	*	T
130545	T	*	*	*	T
130546	T	*	*	*	T
130547	T	*	*	*	T
130548	T	*	*	*	T
130549	F	F	F	T	T
130550	T	*	*	*	T
130551	F	T	*	*	T
130552	F	T	*	*	T
130553	T	*	*	*	T
130554	F	T	*	*	T
130555	F	T	*	*	T
131682	F	T	*	*	T
131683	F	T	*	*	T
131684	F	T	*	*	T
131685	F	T	*	*	T
131686	F	T	*	*	T
131687	F	T	*	*	T
131688	F	T	*	*	T
131689	F	T	*	*	T
131690	F	T	*	*	T
131691	F	T	*	*	T
131692	F	T	*	*	T
131693	F	T	*	*	T
131694	F	T	*	*	T
131695	F	T	*	*	T
131696	F	T	*	*	T
131697	F	T	*	*	T
131698	F	T	*	*	T
131699	F	T	*	*	T
131700	F	T	*	*	T
131701	F	T	*	*	T
131702	F	T	*	*	T
131703	F	T	*	*	T
131704	F	T	*	*	T
131705	F	T	*	*	T
131706	F	T	*	*	T
131707	F	F	F	T	T
131708	T	*	*	*	T
131709	T	*	*	*	T
131710	F	T	*	*	T
131711	F	T	*	*	T
131712	F	T	*	*	T
131713	F	T	*	*	T
131714	F	F	F	F	T
131715	F	T	*	*	T
131716	F	T	*	*	T
131717	F	T	*	*	T
131718	F	T	*	*	T
131719	F	T	*	*	T
131720	F	T	*	*	T
131721	F	T	*	*	T
131722	F	T	*	*	T
131723	F	T	*	*	T
131724	F	T	*	*	T
131725	F	T	*	*	T
131726	F	T	*	*	T
131727	F	T	*	*	T
131728	F	T	*	*	T
131729	F	F	F	T	T
131730	T	*	*	*	T
131731	T	*	*	*	T
131732	T	*	*	*	T
131733	T	*	*	*	T
131734	F	T	*	*	T
131735	F	T	*	*	T
131736	F	T	*	*	T
131737	T	*	*	*	T
131738	T	*	*	*	T
131739	T	*	*	*	T
131740	F	T	*	*	T
131741	F	T	*	*	T
131742	F	F	F	T	T
131743	T	*	*	*	T
131744	T	*	*	*	T
131745	T	*	*	*	T
131746	F	T	*	*	T
131747	F	T	*	*	T
131748	F	T	*	*	T
131749	F	T	*	*	T
133006	F	T	*	*	T
133007	F	T	*	*	T
133008	F	T	*	*	T
133009	F	T	*	*	T
133010	F	T	*	*	T
133011	F	T	*	*	T
133012	F	T	*	*	T
133013	F	T	*	*	T
133014	F	T	*	*	T
133015	F	T	*	*	T
133016	F	T	*	*	T
133017	F	T	*	*	T
133018	F	T	*	*	T
133019	F	T	*	*	T
133020	F	T	*	*	T
133021	F	T	*	*	T
133022	F	T	*	*	T
133023	F	T	*	*	T
133024	F	T	*	*	T
133025	F	T	*	*	T
133026	F	T	*	*	T
133027	F	T	*	*	T
133028	F	T	*	*	T
133029	F	F	F	T	T
133030	T	*	*	*	T
133031	T	*	*	*	T
133032	F	T	*	*	T
133033	F	T	*	*	T
133034	F	T	*	*	T
133035	F	T	*	*	T
133036	F	F	F	F	T
133037	F	T	*	*	T
133038	F	T	*	*	T
133039	F	T	*	*	T
133040	F	T	*	*	T
133041	F	T	*	*	T
133042	F	T	*	*	T
133043	F	T	*	*	T
133044	F	T	*	*	T
133045	F	T	*	*	T
133046	F	T	*	*	T
133047	F	T	*	*	T
133048	F	T	*	*	T
133049	F	T	*	*	T
133050	F	T	*	*	T
133051	F	F	F	T	T
133052	T	*	*	*	T
133053	T	*	*	*	T
133054	T	*	*	*	T
133055	T	*	*	*	T
133056	F	T	*	*	T
133057	F	T	*	*	T
133058	T	*	*	*	T
133059	T	*	*	*	T
133060	T	*	*	*	T
133061	F	T	*	*	T
133062	F	F	F	T	T
133063	T	*	*	*	T
133064	T	*	*	*	T
133065	T	*	*	*	T
133066	F	T	*	*	T
133067	F	T	*	*	T
133068	F	T	*	*	T
133069	F	T	*	*	T

Independent-effect pairs

All 4 conditions live in dlmalloc — 4 br_if

c0 (branch 5793): GAP view gap →
c1 (branch 5794): GAP view gap →
c2 (branch 5795): GAP view gap →
c3 (branch 5796): GAP view gap →

← back to scry-mcdc

Decision #825 — malloc.c:4193

Truth table

Independent-effect pairs

Decision #825 — `malloc.c:4193`