Decision #95 — `lib.rs:3648`

Status: no_witness

Truth table

row	c0 br 724	c1 br 725	c2 br 726	c3 br 727	c4 br 728	c5 br 729	c6 br 730	c7 br 731	c8 br 732	c9 br 733	c10 br 734	c11 br 735	c12 br 736	c13 br 737	c14 br 738	c15 br 739	outcome
297	*	*	*	F	F	T	*	*	*	*	*	*	*	*	*	*	T
298	*	*	*	F	T	*	*	*	*	*	*	*	*	*	*	*	T
299	*	*	*	F	F	T	*	*	*	*	*	*	*	*	*	*	T
300	*	*	*	F	T	*	*	*	*	*	*	*	*	*	*	*	T
301	*	*	*	F	F	T	*	*	*	*	*	*	*	*	*	*	T
302	*	*	*	F	T	*	*	*	*	*	*	*	*	*	*	*	T
303	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
304	*	*	*	F	F	T	*	*	*	*	*	*	*	*	*	*	T
305	*	*	*	F	T	*	*	*	*	*	*	*	*	*	*	*	T
306	*	*	*	F	F	F	F	T	*	*	*	*	*	*	*	*	T
307	*	*	*	F	F	T	*	*	*	*	*	*	*	*	*	*	T
308	*	*	*	F	T	*	*	*	*	*	*	*	*	*	*	*	T
309	*	*	*	F	F	T	*	*	*	*	*	*	*	*	*	*	T
310	*	*	*	F	T	*	*	*	*	*	*	*	*	*	*	*	T
311	*	*	*	F	F	T	*	*	*	*	*	*	*	*	*	*	T
312	*	*	*	F	T	*	*	*	*	*	*	*	*	*	*	*	T
313	*	*	*	F	F	T	*	*	*	*	*	*	*	*	*	*	T
314	*	*	*	F	T	*	*	*	*	*	*	*	*	*	*	*	T
315	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
316	*	*	*	F	F	T	*	*	*	*	*	*	*	*	*	*	T
317	*	*	*	F	T	*	*	*	*	*	*	*	*	*	*	*	T
318	*	*	*	F	F	F	F	T	*	*	*	*	*	*	*	*	T
319	*	*	*	F	F	T	*	*	*	*	*	*	*	*	*	*	T
320	*	*	*	F	T	*	*	*	*	*	*	*	*	*	*	*	T
3337	*	*	*	F	F	T	*	*	*	*	*	*	*	*	*	*	T
3338	*	*	*	F	T	*	*	*	*	*	*	*	*	*	*	*	T
3339	*	*	*	F	F	T	*	*	*	*	*	*	*	*	*	*	T
3340	*	*	*	F	T	*	*	*	*	*	*	*	*	*	*	*	T
3341	*	*	*	F	F	T	*	*	*	*	*	*	*	*	*	*	T
3342	*	*	*	F	T	*	*	*	*	*	*	*	*	*	*	*	T
3343	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
3344	*	*	*	F	F	T	*	*	*	*	*	*	*	*	*	*	T
3345	*	*	*	F	T	*	*	*	*	*	*	*	*	*	*	*	T
3346	*	*	*	F	F	F	F	T	*	*	*	*	*	*	*	*	T
3347	*	*	*	F	F	T	*	*	*	*	*	*	*	*	*	*	T
3348	*	*	*	F	T	*	*	*	*	*	*	*	*	*	*	*	T
3349	*	*	*	F	F	T	*	*	*	*	*	*	*	*	*	*	T
3350	*	*	*	F	T	*	*	*	*	*	*	*	*	*	*	*	T
3351	*	*	*	F	F	T	*	*	*	*	*	*	*	*	*	*	T
3352	*	*	*	F	T	*	*	*	*	*	*	*	*	*	*	*	T
3353	*	*	*	F	F	T	*	*	*	*	*	*	*	*	*	*	T
3354	*	*	*	F	T	*	*	*	*	*	*	*	*	*	*	*	T
3355	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
3356	*	*	*	F	F	T	*	*	*	*	*	*	*	*	*	*	T
3357	*	*	*	F	T	*	*	*	*	*	*	*	*	*	*	*	T
3358	*	*	*	F	F	F	F	T	*	*	*	*	*	*	*	*	T
3359	*	*	*	F	F	T	*	*	*	*	*	*	*	*	*	*	T
3360	*	*	*	F	T	*	*	*	*	*	*	*	*	*	*	*	T
6232	*	*	*	F	F	T	*	*	*	*	*	*	*	*	*	*	T
6233	*	*	*	F	T	*	*	*	*	*	*	*	*	*	*	*	T
6234	*	*	*	F	F	T	*	*	*	*	*	*	*	*	*	*	T
6235	*	*	*	F	T	*	*	*	*	*	*	*	*	*	*	*	T
6236	*	*	*	F	F	T	*	*	*	*	*	*	*	*	*	*	T
6237	*	*	*	F	T	*	*	*	*	*	*	*	*	*	*	*	T
6238	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
6239	*	*	*	F	F	T	*	*	*	*	*	*	*	*	*	*	T
6240	*	*	*	F	T	*	*	*	*	*	*	*	*	*	*	*	T
6241	*	*	*	F	F	F	F	T	*	*	*	*	*	*	*	*	T
6242	*	*	*	F	F	T	*	*	*	*	*	*	*	*	*	*	T
6243	*	*	*	F	T	*	*	*	*	*	*	*	*	*	*	*	T
6244	*	*	*	F	F	T	*	*	*	*	*	*	*	*	*	*	T
6245	*	*	*	F	T	*	*	*	*	*	*	*	*	*	*	*	T
6246	*	*	*	F	F	T	*	*	*	*	*	*	*	*	*	*	T
6247	*	*	*	F	T	*	*	*	*	*	*	*	*	*	*	*	T
6248	*	*	*	F	F	T	*	*	*	*	*	*	*	*	*	*	T
6249	*	*	*	F	T	*	*	*	*	*	*	*	*	*	*	*	T
6250	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
6251	*	*	*	F	F	T	*	*	*	*	*	*	*	*	*	*	T
6252	*	*	*	F	T	*	*	*	*	*	*	*	*	*	*	*	T
6253	*	*	*	F	F	F	F	T	*	*	*	*	*	*	*	*	T
6254	*	*	*	F	F	T	*	*	*	*	*	*	*	*	*	*	T
6255	*	*	*	F	T	*	*	*	*	*	*	*	*	*	*	*	T
9507	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
9508	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
9509	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
9510	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
9511	*	*	*	F	F	T	*	*	*	*	*	*	*	*	*	*	T
9512	*	*	*	F	T	*	*	*	*	*	*	*	*	*	*	*	T
9513	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
9514	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
9515	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
9516	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
9517	*	*	*	F	F	T	*	*	*	*	*	*	*	*	*	*	T
9518	*	*	*	F	T	*	*	*	*	*	*	*	*	*	*	*	T
10655	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
10656	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
10657	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
10658	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
10659	*	*	*	F	F	T	*	*	*	*	*	*	*	*	*	*	T
10660	*	*	*	F	T	*	*	*	*	*	*	*	*	*	*	*	T
10661	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
10662	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
10663	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
10664	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
10665	*	*	*	F	F	T	*	*	*	*	*	*	*	*	*	*	T
10666	*	*	*	F	T	*	*	*	*	*	*	*	*	*	*	*	T
11746	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
11747	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
11748	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
11749	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
11750	*	*	*	F	F	T	*	*	*	*	*	*	*	*	*	*	T
11751	*	*	*	F	T	*	*	*	*	*	*	*	*	*	*	*	T
11752	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
11753	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
11754	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
11755	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
11756	*	*	*	F	F	T	*	*	*	*	*	*	*	*	*	*	T
11757	*	*	*	F	T	*	*	*	*	*	*	*	*	*	*	*	T
13209	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
13210	F	F	F	F	F	F	T	*	*	*	*	*	*	*	*	*	T
13211	*	*	*	F	F	F	F	T	*	*	*	*	*	*	*	*	T
13212	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
13213	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
13214	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
13215	F	F	F	F	F	F	T	*	*	*	*	*	*	*	*	*	T
13216	*	*	*	F	F	F	F	T	*	*	*	*	*	*	*	*	T
13217	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
13218	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
13219	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
13220	F	F	F	F	F	F	T	*	*	*	*	*	*	*	*	*	T
13221	*	*	*	F	F	F	F	T	*	*	*	*	*	*	*	*	T
13222	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
13223	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
13224	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
13225	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
13226	*	*	*	F	F	T	*	*	*	*	*	*	*	*	*	*	T
13227	*	*	*	F	T	*	*	*	*	*	*	*	*	*	*	*	T
13228	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
13229	F	F	F	F	F	F	T	*	*	*	*	*	*	*	*	*	T
13230	*	*	*	F	F	F	F	T	*	*	*	*	*	*	*	*	T
13231	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
13232	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
13233	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
13234	F	F	F	F	F	F	T	*	*	*	*	*	*	*	*	*	T
13235	*	*	*	F	F	F	F	T	*	*	*	*	*	*	*	*	T
13236	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
13237	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
13238	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
13239	F	F	T	F	F	F	T	*	*	*	*	*	*	*	*	*	T
13240	*	*	*	F	F	F	F	T	*	*	*	*	*	*	*	*	T
13241	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
13242	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
13243	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
13244	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
13245	*	*	*	F	F	T	*	*	*	*	*	*	*	*	*	*	T
13246	*	*	*	F	T	*	*	*	*	*	*	*	*	*	*	*	T
20927	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
20928	F	F	F	F	F	F	T	*	*	*	*	*	*	*	*	*	T
20929	*	*	*	F	F	F	F	T	*	*	*	*	*	*	*	*	T
20930	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
20931	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
20932	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
20933	F	F	F	F	F	F	T	*	*	*	*	*	*	*	*	*	T
20934	*	*	*	F	F	F	F	T	*	*	*	*	*	*	*	*	T
20935	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
20936	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
20937	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
20938	F	F	F	F	F	F	T	*	*	*	*	*	*	*	*	*	T
20939	*	*	*	F	F	F	F	T	*	*	*	*	*	*	*	*	T
20940	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
20941	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
20942	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
20943	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
20944	*	*	*	F	F	T	*	*	*	*	*	*	*	*	*	*	T
20945	*	*	*	F	T	*	*	*	*	*	*	*	*	*	*	*	T
20946	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
20947	F	F	F	F	F	F	T	*	*	*	*	*	*	*	*	*	T
20948	*	*	*	F	F	F	F	T	*	*	*	*	*	*	*	*	T
20949	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
20950	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
20951	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
20952	F	F	F	F	F	F	T	*	*	*	*	*	*	*	*	*	T
20953	*	*	*	F	F	F	F	T	*	*	*	*	*	*	*	*	T
20954	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
20955	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
20956	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
20957	F	F	T	F	F	F	T	*	*	*	*	*	*	*	*	*	T
20958	*	*	*	F	F	F	F	T	*	*	*	*	*	*	*	*	T
20959	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
20960	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
20961	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
20962	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
20963	*	*	*	F	F	T	*	*	*	*	*	*	*	*	*	*	T
20964	*	*	*	F	T	*	*	*	*	*	*	*	*	*	*	*	T
28530	F	F	F	F	F	F	F	T	*	*	*	*	*	*	*	*	T
28531	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
28532	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
28533	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
28534	F	F	F	F	F	F	T	*	*	*	*	*	*	*	*	*	T
28535	*	*	*	F	F	F	F	T	*	*	*	*	*	*	*	*	T
28536	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
28537	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
28538	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
28539	F	F	F	F	F	F	T	*	*	*	*	*	*	*	*	*	T
28540	*	*	*	F	F	F	F	T	*	*	*	*	*	*	*	*	T
28541	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
28542	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
28543	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
28544	F	F	F	F	F	F	T	*	*	*	*	*	*	*	*	*	T
28545	*	*	*	F	F	F	F	T	*	*	*	*	*	*	*	*	T
28546	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
28547	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
28548	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
28549	F	F	F	F	F	F	T	*	*	*	*	*	*	*	*	*	T
28550	*	*	*	F	F	F	F	T	*	*	*	*	*	*	*	*	T
28551	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
28552	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
28553	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
28554	F	F	F	F	F	F	T	*	*	*	*	*	*	*	*	*	T
28555	*	*	*	F	F	F	F	T	*	*	*	*	*	*	*	*	T
28556	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
28557	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
28558	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
28559	F	F	F	F	F	F	T	*	*	*	*	*	*	*	*	*	T
28560	*	*	*	F	F	F	F	T	*	*	*	*	*	*	*	*	T
28561	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
28562	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
28563	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
28564	F	F	F	F	F	F	T	*	*	*	*	*	*	*	*	*	T
28565	*	*	*	F	F	F	F	T	*	*	*	*	*	*	*	*	T
28566	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
28567	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
28568	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
28569	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
28570	*	*	*	F	F	T	*	*	*	*	*	*	*	*	*	*	T
28571	F	F	F	F	T	*	*	*	*	*	*	*	*	*	*	*	T
28572	*	*	*	F	F	F	F	T	*	*	*	*	*	*	*	*	T
28573	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
28574	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
28575	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
28576	F	F	F	F	F	F	T	*	*	*	*	*	*	*	*	*	T
28577	*	*	*	F	F	F	F	T	*	*	*	*	*	*	*	*	T
28578	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
28579	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
28580	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
28581	F	F	F	F	F	F	T	*	*	*	*	*	*	*	*	*	T
28582	*	*	*	F	F	F	F	T	*	*	*	*	*	*	*	*	T
28583	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
28584	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
28585	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
28586	F	F	F	F	F	F	T	*	*	*	*	*	*	*	*	*	T
28587	*	*	*	F	F	F	F	T	*	*	*	*	*	*	*	*	T
28588	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
28589	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
28590	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
28591	F	F	F	F	F	F	T	*	*	*	*	*	*	*	*	*	T
28592	*	*	*	F	F	F	F	T	*	*	*	*	*	*	*	*	T
28593	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
28594	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
28595	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
28596	F	F	F	F	F	F	T	*	*	*	*	*	*	*	*	*	T
28597	*	*	*	F	F	F	F	T	*	*	*	*	*	*	*	*	T
28598	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
28599	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
28600	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
28601	F	F	F	F	F	F	T	*	*	*	*	*	*	*	*	*	T
28602	*	*	*	F	F	F	F	T	*	*	*	*	*	*	*	*	T
28603	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
28604	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
28605	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
28606	F	F	T	F	F	F	T	*	*	*	*	*	*	*	*	*	T
28607	*	*	*	F	F	F	F	T	*	*	*	*	*	*	*	*	T
28608	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
28609	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
28610	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
28611	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
28612	*	*	*	F	F	T	*	*	*	*	*	*	*	*	*	*	T
28613	*	*	*	F	T	*	*	*	*	*	*	*	*	*	*	*	T
34468	F	F	F	F	F	F	F	T	*	*	*	*	*	*	*	*	T
34469	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
34470	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
34471	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
34472	F	F	F	F	F	F	T	*	*	*	*	*	*	*	*	*	T
34473	*	*	*	F	F	F	F	T	*	*	*	*	*	*	*	*	T
34474	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
34475	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
34476	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
34477	F	F	F	F	F	F	T	*	*	*	*	*	*	*	*	*	T
34478	*	*	*	F	F	F	F	T	*	*	*	*	*	*	*	*	T
34479	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
34480	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
34481	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
34482	F	F	F	F	F	F	T	*	*	*	*	*	*	*	*	*	T
34483	*	*	*	F	F	F	F	T	*	*	*	*	*	*	*	*	T
34484	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
34485	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
34486	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
34487	F	F	F	F	F	F	T	*	*	*	*	*	*	*	*	*	T
34488	*	*	*	F	F	F	F	T	*	*	*	*	*	*	*	*	T
34489	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
34490	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
34491	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
34492	F	F	F	F	F	F	T	*	*	*	*	*	*	*	*	*	T
34493	*	*	*	F	F	F	F	T	*	*	*	*	*	*	*	*	T
34494	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
34495	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
34496	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
34497	F	F	F	F	F	F	T	*	*	*	*	*	*	*	*	*	T
34498	*	*	*	F	F	F	F	T	*	*	*	*	*	*	*	*	T
34499	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
34500	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
34501	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
34502	F	F	F	F	F	F	T	*	*	*	*	*	*	*	*	*	T
34503	*	*	*	F	F	F	F	T	*	*	*	*	*	*	*	*	T
34504	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
34505	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
34506	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
34507	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
34508	*	*	*	F	F	T	*	*	*	*	*	*	*	*	*	*	T
34509	F	F	F	F	T	*	*	*	*	*	*	*	*	*	*	*	T
34510	*	*	*	F	F	F	F	T	*	*	*	*	*	*	*	*	T
34511	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
34512	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
34513	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
34514	F	F	F	F	F	F	T	*	*	*	*	*	*	*	*	*	T
34515	*	*	*	F	F	F	F	T	*	*	*	*	*	*	*	*	T
34516	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
34517	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
34518	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
34519	F	F	F	F	F	F	T	*	*	*	*	*	*	*	*	*	T
34520	*	*	*	F	F	F	F	T	*	*	*	*	*	*	*	*	T
34521	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
34522	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
34523	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
34524	F	F	F	F	F	F	T	*	*	*	*	*	*	*	*	*	T
34525	*	*	*	F	F	F	F	T	*	*	*	*	*	*	*	*	T
34526	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
34527	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
34528	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
34529	F	F	F	F	F	F	T	*	*	*	*	*	*	*	*	*	T
34530	*	*	*	F	F	F	F	T	*	*	*	*	*	*	*	*	T
34531	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
34532	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
34533	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
34534	F	F	F	F	F	F	T	*	*	*	*	*	*	*	*	*	T
34535	*	*	*	F	F	F	F	T	*	*	*	*	*	*	*	*	T
34536	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
34537	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
34538	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
34539	F	F	F	F	F	F	T	*	*	*	*	*	*	*	*	*	T
34540	*	*	*	F	F	F	F	T	*	*	*	*	*	*	*	*	T
34541	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
34542	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
34543	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
34544	F	F	T	F	F	F	T	*	*	*	*	*	*	*	*	*	T
34545	*	*	*	F	F	F	F	T	*	*	*	*	*	*	*	*	T
34546	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
34547	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
34548	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
34549	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
34550	*	*	*	F	F	T	*	*	*	*	*	*	*	*	*	*	T
34551	*	*	*	F	T	*	*	*	*	*	*	*	*	*	*	*	T
40363	*	*	*	F	F	F	F	T	*	*	*	*	*	*	*	*	T
40364	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
40365	*	*	*	F	F	T	*	*	*	*	*	*	*	*	*	*	T
40366	*	*	*	F	T	*	*	*	*	*	*	*	*	*	*	*	T
40367	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
40368	*	*	*	F	F	T	*	*	*	*	*	*	*	*	*	*	T
40369	*	*	*	F	F	F	F	T	*	*	*	*	*	*	*	*	T
40370	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
40371	*	*	*	F	F	T	*	*	*	*	*	*	*	*	*	*	T
40372	*	*	*	F	T	*	*	*	*	*	*	*	*	*	*	*	T
40373	*	*	*	F	T	*	*	*	*	*	*	*	*	*	*	*	T
40374	*	*	*	F	F	F	F	T	*	*	*	*	*	*	*	*	T
40375	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
40376	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
40377	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
40378	*	*	*	F	F	F	F	T	*	*	*	*	*	*	*	*	T
40379	*	*	*	F	F	T	*	*	*	*	*	*	*	*	*	*	T
40380	*	*	*	F	T	*	*	*	*	*	*	*	*	*	*	*	T
40381	*	*	*	F	F	F	F	T	*	*	*	*	*	*	*	*	T
40382	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
40383	*	*	*	F	F	T	*	*	*	*	*	*	*	*	*	*	T
40384	*	*	*	F	T	*	*	*	*	*	*	*	*	*	*	*	T
40385	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
40386	*	*	*	F	F	T	*	*	*	*	*	*	*	*	*	*	T
40387	*	*	*	F	F	F	F	T	*	*	*	*	*	*	*	*	T
40388	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
40389	*	*	*	F	F	T	*	*	*	*	*	*	*	*	*	*	T
40390	*	*	*	F	T	*	*	*	*	*	*	*	*	*	*	*	T
40391	*	*	*	F	T	*	*	*	*	*	*	*	*	*	*	*	T
40392	*	*	*	F	F	F	F	T	*	*	*	*	*	*	*	*	T
40393	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
40394	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
40395	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
40396	*	*	*	F	F	F	F	T	*	*	*	*	*	*	*	*	T
40397	*	*	*	F	F	T	*	*	*	*	*	*	*	*	*	*	T
40398	*	*	*	F	T	*	*	*	*	*	*	*	*	*	*	*	T
43331	*	*	*	F	F	F	F	T	*	*	*	*	*	*	*	*	T
43332	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
43333	*	*	*	F	F	T	*	*	*	*	*	*	*	*	*	*	T
43334	*	*	*	F	T	*	*	*	*	*	*	*	*	*	*	*	T
43335	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
43336	*	*	*	F	F	T	*	*	*	*	*	*	*	*	*	*	T
43337	*	*	*	F	F	F	F	T	*	*	*	*	*	*	*	*	T
43338	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
43339	*	*	*	F	F	T	*	*	*	*	*	*	*	*	*	*	T
43340	*	*	*	F	T	*	*	*	*	*	*	*	*	*	*	*	T
43341	*	*	*	F	T	*	*	*	*	*	*	*	*	*	*	*	T
43342	*	*	*	F	F	F	F	T	*	*	*	*	*	*	*	*	T
43343	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
43344	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
43345	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
43346	*	*	*	F	F	F	F	T	*	*	*	*	*	*	*	*	T
43347	*	*	*	F	F	T	*	*	*	*	*	*	*	*	*	*	T
43348	*	*	*	F	T	*	*	*	*	*	*	*	*	*	*	*	T
43349	*	*	*	F	F	F	F	T	*	*	*	*	*	*	*	*	T
43350	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
43351	*	*	*	F	F	T	*	*	*	*	*	*	*	*	*	*	T
43352	*	*	*	F	T	*	*	*	*	*	*	*	*	*	*	*	T
43353	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
43354	*	*	*	F	F	T	*	*	*	*	*	*	*	*	*	*	T
43355	*	*	*	F	F	F	F	T	*	*	*	*	*	*	*	*	T
43356	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
43357	*	*	*	F	F	T	*	*	*	*	*	*	*	*	*	*	T
43358	*	*	*	F	T	*	*	*	*	*	*	*	*	*	*	*	T
43359	*	*	*	F	T	*	*	*	*	*	*	*	*	*	*	*	T
43360	*	*	*	F	F	F	F	T	*	*	*	*	*	*	*	*	T
43361	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
43362	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
43363	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
43364	*	*	*	F	F	F	F	T	*	*	*	*	*	*	*	*	T
43365	*	*	*	F	F	T	*	*	*	*	*	*	*	*	*	*	T
43366	*	*	*	F	T	*	*	*	*	*	*	*	*	*	*	*	T
46784	*	*	*	F	F	F	F	T	*	*	*	*	*	*	*	*	T
46785	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
46786	*	*	*	F	F	T	*	*	*	*	*	*	*	*	*	*	T
46787	*	*	*	F	T	*	*	*	*	*	*	*	*	*	*	*	T
46788	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
46789	*	*	*	F	F	T	*	*	*	*	*	*	*	*	*	*	T
46790	*	*	*	F	F	F	F	T	*	*	*	*	*	*	*	*	T
46791	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
46792	*	*	*	F	F	T	*	*	*	*	*	*	*	*	*	*	T
46793	*	*	*	F	T	*	*	*	*	*	*	*	*	*	*	*	T
46794	*	*	*	F	T	*	*	*	*	*	*	*	*	*	*	*	T
46795	*	*	*	F	F	F	F	T	*	*	*	*	*	*	*	*	T
46796	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
46797	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
46798	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
46799	*	*	*	F	F	F	F	T	*	*	*	*	*	*	*	*	T
46800	*	*	*	F	F	T	*	*	*	*	*	*	*	*	*	*	T
46801	*	*	*	F	T	*	*	*	*	*	*	*	*	*	*	*	T
46802	*	*	*	F	F	F	F	T	*	*	*	*	*	*	*	*	T
46803	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
46804	*	*	*	F	F	T	*	*	*	*	*	*	*	*	*	*	T
46805	*	*	*	F	T	*	*	*	*	*	*	*	*	*	*	*	T
46806	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
46807	*	*	*	F	F	T	*	*	*	*	*	*	*	*	*	*	T
46808	*	*	*	F	F	F	F	T	*	*	*	*	*	*	*	*	T
46809	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
46810	*	*	*	F	F	T	*	*	*	*	*	*	*	*	*	*	T
46811	*	*	*	F	T	*	*	*	*	*	*	*	*	*	*	*	T
46812	*	*	*	F	T	*	*	*	*	*	*	*	*	*	*	*	T
46813	*	*	*	F	F	F	F	T	*	*	*	*	*	*	*	*	T
46814	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
46815	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
46816	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
46817	*	*	*	F	F	F	F	T	*	*	*	*	*	*	*	*	T
46818	*	*	*	F	F	T	*	*	*	*	*	*	*	*	*	*	T
46819	*	*	*	F	T	*	*	*	*	*	*	*	*	*	*	*	T
49903	*	*	*	F	F	F	F	T	*	*	*	*	*	*	*	*	T
49904	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
49905	*	*	*	F	F	T	*	*	*	*	*	*	*	*	*	*	T
49906	*	*	*	F	T	*	*	*	*	*	*	*	*	*	*	*	T
49907	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
49908	*	*	*	F	F	T	*	*	*	*	*	*	*	*	*	*	T
49909	*	*	*	F	F	F	F	T	*	*	*	*	*	*	*	*	T
49910	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
49911	*	*	*	F	F	T	*	*	*	*	*	*	*	*	*	*	T
49912	*	*	*	F	T	*	*	*	*	*	*	*	*	*	*	*	T
49913	*	*	*	F	T	*	*	*	*	*	*	*	*	*	*	*	T
49914	*	*	*	F	F	F	F	T	*	*	*	*	*	*	*	*	T
49915	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
49916	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
49917	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
49918	*	*	*	F	F	F	F	T	*	*	*	*	*	*	*	*	T
49919	*	*	*	F	F	T	*	*	*	*	*	*	*	*	*	*	T
49920	*	*	*	F	T	*	*	*	*	*	*	*	*	*	*	*	T
49921	*	*	*	F	F	F	F	T	*	*	*	*	*	*	*	*	T
49922	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
49923	*	*	*	F	F	T	*	*	*	*	*	*	*	*	*	*	T
49924	*	*	*	F	T	*	*	*	*	*	*	*	*	*	*	*	T
49925	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
49926	*	*	*	F	F	T	*	*	*	*	*	*	*	*	*	*	T
49927	*	*	*	F	F	F	F	T	*	*	*	*	*	*	*	*	T
49928	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
49929	*	*	*	F	F	T	*	*	*	*	*	*	*	*	*	*	T
49930	*	*	*	F	T	*	*	*	*	*	*	*	*	*	*	*	T
49931	*	*	*	F	T	*	*	*	*	*	*	*	*	*	*	*	T
49932	*	*	*	F	F	F	F	T	*	*	*	*	*	*	*	*	T
49933	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
49934	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
49935	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
49936	*	*	*	F	F	F	F	T	*	*	*	*	*	*	*	*	T
49937	*	*	*	F	F	T	*	*	*	*	*	*	*	*	*	*	T
49938	*	*	*	F	T	*	*	*	*	*	*	*	*	*	*	*	T
53011	F	F	F	F	F	F	T	*	*	*	*	*	*	*	*	*	T
53012	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
53013	*	*	*	F	F	F	F	T	*	*	*	*	*	*	*	*	T
53014	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
53015	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
53016	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
53017	F	F	F	F	F	F	T	*	*	*	*	*	*	*	*	*	T
53018	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
53019	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
53020	*	*	*	F	F	F	F	T	*	*	*	*	*	*	*	*	T
53021	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
53022	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
53023	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
53024	F	F	F	F	F	F	T	*	*	*	*	*	*	*	*	*	T
53025	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
53026	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
53027	*	*	*	F	F	F	F	T	*	*	*	*	*	*	*	*	T
53028	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
53029	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
53030	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
53031	F	F	F	F	F	F	T	*	*	*	*	*	*	*	*	*	T
53032	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
53033	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
53034	*	*	*	F	F	F	F	T	*	*	*	*	*	*	*	*	T
53035	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
53036	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
53037	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
53038	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
53039	*	*	*	F	F	T	*	*	*	*	*	*	*	*	*	*	T
53040	F	F	F	F	T	*	*	*	*	*	*	*	*	*	*	*	T
53041	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
53042	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
53043	*	*	*	F	F	F	F	T	*	*	*	*	*	*	*	*	T
53044	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
53045	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
53046	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
53047	F	F	F	F	F	F	T	*	*	*	*	*	*	*	*	*	T
53048	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
53049	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
53050	*	*	*	F	F	F	F	T	*	*	*	*	*	*	*	*	T
53051	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
53052	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
53053	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
53054	F	F	F	F	F	F	T	*	*	*	*	*	*	*	*	*	T
53055	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
53056	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
53057	*	*	*	F	F	F	F	T	*	*	*	*	*	*	*	*	T
53058	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
53059	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
53060	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
53061	F	F	T	F	F	F	T	*	*	*	*	*	*	*	*	*	T
53062	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
53063	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
53064	*	*	*	F	F	F	F	T	*	*	*	*	*	*	*	*	T
53065	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
53066	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
53067	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
53068	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
53069	*	*	*	F	F	T	*	*	*	*	*	*	*	*	*	*	T
53070	*	*	*	F	T	*	*	*	*	*	*	*	*	*	*	*	T
62783	F	F	F	F	F	F	T	*	*	*	*	*	*	*	*	*	T
62784	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
62785	*	*	*	F	F	F	F	T	*	*	*	*	*	*	*	*	T
62786	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
62787	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
62788	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
62789	F	F	F	F	F	F	T	*	*	*	*	*	*	*	*	*	T
62790	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
62791	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
62792	*	*	*	F	F	F	F	T	*	*	*	*	*	*	*	*	T
62793	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
62794	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
62795	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
62796	F	F	F	F	F	F	T	*	*	*	*	*	*	*	*	*	T
62797	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
62798	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
62799	*	*	*	F	F	F	F	T	*	*	*	*	*	*	*	*	T
62800	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
62801	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
62802	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
62803	F	F	F	F	F	F	T	*	*	*	*	*	*	*	*	*	T
62804	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
62805	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
62806	*	*	*	F	F	F	F	T	*	*	*	*	*	*	*	*	T
62807	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
62808	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
62809	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
62810	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
62811	*	*	*	F	F	T	*	*	*	*	*	*	*	*	*	*	T
62812	F	F	F	F	T	*	*	*	*	*	*	*	*	*	*	*	T
62813	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
62814	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
62815	*	*	*	F	F	F	F	T	*	*	*	*	*	*	*	*	T
62816	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
62817	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
62818	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
62819	F	F	F	F	F	F	T	*	*	*	*	*	*	*	*	*	T
62820	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
62821	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
62822	*	*	*	F	F	F	F	T	*	*	*	*	*	*	*	*	T
62823	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
62824	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
62825	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
62826	F	F	F	F	F	F	T	*	*	*	*	*	*	*	*	*	T
62827	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
62828	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
62829	*	*	*	F	F	F	F	T	*	*	*	*	*	*	*	*	T
62830	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
62831	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
62832	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
62833	F	F	T	F	F	F	T	*	*	*	*	*	*	*	*	*	T
62834	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
62835	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
62836	*	*	*	F	F	F	F	T	*	*	*	*	*	*	*	*	T
62837	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
62838	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
62839	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
62840	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
62841	*	*	*	F	F	T	*	*	*	*	*	*	*	*	*	*	T
62842	*	*	*	F	T	*	*	*	*	*	*	*	*	*	*	*	T
72490	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
72491	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
72492	*	*	*	F	F	T	*	*	*	*	*	*	*	*	*	*	T
72493	*	*	*	F	T	*	*	*	*	*	*	*	*	*	*	*	T
72494	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
72495	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
72496	*	*	*	F	F	T	*	*	*	*	*	*	*	*	*	*	T
72497	*	*	*	F	T	*	*	*	*	*	*	*	*	*	*	*	T
72498	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
72499	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
72500	*	*	*	F	F	T	*	*	*	*	*	*	*	*	*	*	T
72501	*	*	*	F	T	*	*	*	*	*	*	*	*	*	*	*	T
72502	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
72503	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
72504	*	*	*	F	F	T	*	*	*	*	*	*	*	*	*	*	T
72505	*	*	*	F	T	*	*	*	*	*	*	*	*	*	*	*	T
72506	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
72507	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
72508	*	*	*	F	F	T	*	*	*	*	*	*	*	*	*	*	T
72509	*	*	*	F	T	*	*	*	*	*	*	*	*	*	*	*	T
72510	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
72511	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
72512	*	*	*	F	F	T	*	*	*	*	*	*	*	*	*	*	T
72513	*	*	*	F	T	*	*	*	*	*	*	*	*	*	*	*	T
72514	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
72515	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
72516	*	*	*	F	F	T	*	*	*	*	*	*	*	*	*	*	T
72517	*	*	*	F	T	*	*	*	*	*	*	*	*	*	*	*	T
72518	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
72519	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
72520	*	*	*	F	F	T	*	*	*	*	*	*	*	*	*	*	T
72521	*	*	*	F	T	*	*	*	*	*	*	*	*	*	*	*	T
72522	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
72523	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
72524	*	*	*	F	F	T	*	*	*	*	*	*	*	*	*	*	T
72525	*	*	*	F	T	*	*	*	*	*	*	*	*	*	*	*	T
72526	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
72527	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
72528	*	*	*	F	F	T	*	*	*	*	*	*	*	*	*	*	T
72529	*	*	*	F	T	*	*	*	*	*	*	*	*	*	*	*	T
72530	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
72531	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
72532	*	*	*	F	F	T	*	*	*	*	*	*	*	*	*	*	T
72533	*	*	*	F	T	*	*	*	*	*	*	*	*	*	*	*	T
72534	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
72535	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
72536	*	*	*	F	F	T	*	*	*	*	*	*	*	*	*	*	T
72537	*	*	*	F	T	*	*	*	*	*	*	*	*	*	*	*	T
75965	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
75966	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
75967	*	*	*	F	F	T	*	*	*	*	*	*	*	*	*	*	T
75968	*	*	*	F	T	*	*	*	*	*	*	*	*	*	*	*	T
75969	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
75970	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
75971	*	*	*	F	F	T	*	*	*	*	*	*	*	*	*	*	T
75972	*	*	*	F	T	*	*	*	*	*	*	*	*	*	*	*	T
75973	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
75974	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
75975	*	*	*	F	F	T	*	*	*	*	*	*	*	*	*	*	T
75976	*	*	*	F	T	*	*	*	*	*	*	*	*	*	*	*	T
75977	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
75978	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
75979	*	*	*	F	F	T	*	*	*	*	*	*	*	*	*	*	T
75980	*	*	*	F	T	*	*	*	*	*	*	*	*	*	*	*	T
75981	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
75982	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
75983	*	*	*	F	F	T	*	*	*	*	*	*	*	*	*	*	T
75984	*	*	*	F	T	*	*	*	*	*	*	*	*	*	*	*	T
75985	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
75986	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
75987	*	*	*	F	F	T	*	*	*	*	*	*	*	*	*	*	T
75988	*	*	*	F	T	*	*	*	*	*	*	*	*	*	*	*	T
75989	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
75990	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
75991	*	*	*	F	F	T	*	*	*	*	*	*	*	*	*	*	T
75992	*	*	*	F	T	*	*	*	*	*	*	*	*	*	*	*	T
75993	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
75994	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
75995	*	*	*	F	F	T	*	*	*	*	*	*	*	*	*	*	T
75996	*	*	*	F	T	*	*	*	*	*	*	*	*	*	*	*	T
75997	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
75998	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
75999	*	*	*	F	F	T	*	*	*	*	*	*	*	*	*	*	T
76000	*	*	*	F	T	*	*	*	*	*	*	*	*	*	*	*	T
76001	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
76002	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
76003	*	*	*	F	F	T	*	*	*	*	*	*	*	*	*	*	T
76004	*	*	*	F	T	*	*	*	*	*	*	*	*	*	*	*	T
76005	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
76006	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
76007	*	*	*	F	F	T	*	*	*	*	*	*	*	*	*	*	T
76008	*	*	*	F	T	*	*	*	*	*	*	*	*	*	*	*	T
76009	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
76010	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
76011	*	*	*	F	F	T	*	*	*	*	*	*	*	*	*	*	T
76012	*	*	*	F	T	*	*	*	*	*	*	*	*	*	*	*	T
79169	*	*	*	F	F	T	*	*	*	*	*	*	*	*	*	*	T
79170	*	*	*	F	F	T	*	*	*	*	*	*	*	*	*	*	T
79171	*	*	*	F	T	*	*	*	*	*	*	*	*	*	*	*	T
79172	*	*	*	F	F	T	*	*	*	*	*	*	*	*	*	*	T
79173	*	*	*	F	F	T	*	*	*	*	*	*	*	*	*	*	T
79174	*	*	*	F	T	*	*	*	*	*	*	*	*	*	*	*	T
79175	*	*	*	F	F	T	*	*	*	*	*	*	*	*	*	*	T
79176	*	*	*	F	F	T	*	*	*	*	*	*	*	*	*	*	T
80728	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
80729	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
80730	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
80731	*	*	*	F	F	T	*	*	*	*	*	*	*	*	*	*	T
80732	*	*	*	F	T	*	*	*	*	*	*	*	*	*	*	*	T
80733	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
80734	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
80735	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
80736	*	*	*	F	F	T	*	*	*	*	*	*	*	*	*	*	T
80737	*	*	*	F	T	*	*	*	*	*	*	*	*	*	*	*	T
81915	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
81916	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
81917	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
81918	*	*	*	F	F	T	*	*	*	*	*	*	*	*	*	*	T
81919	*	*	*	F	T	*	*	*	*	*	*	*	*	*	*	*	T
81920	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
81921	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
81922	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
81923	*	*	*	F	F	T	*	*	*	*	*	*	*	*	*	*	T
81924	*	*	*	F	T	*	*	*	*	*	*	*	*	*	*	*	T
82977	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
82978	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
82979	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
82980	*	*	*	F	F	T	*	*	*	*	*	*	*	*	*	*	T
82981	*	*	*	F	T	*	*	*	*	*	*	*	*	*	*	*	T
82982	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
82983	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
82984	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
82985	*	*	*	F	F	T	*	*	*	*	*	*	*	*	*	*	T
82986	*	*	*	F	T	*	*	*	*	*	*	*	*	*	*	*	T
84148	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
84149	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
85500	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
85501	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
85502	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
85503	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
85504	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
85505	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
87549	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
87550	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
88793	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
88794	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
88795	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
88796	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
90772	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
90773	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
92554	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
92555	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
92556	*	*	*	F	F	F	F	F	F	F	F	F	F	F	F	F	T
92557	*	*	*	F	F	F	F	T	*	*	*	*	*	*	*	*	T
92558	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
92559	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
92560	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
92561	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
92562	*	*	*	F	F	F	F	F	F	F	F	F	F	F	F	F	T
92563	*	*	*	F	F	F	F	T	*	*	*	*	*	*	*	*	T
92564	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
92565	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
92566	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
92567	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
92568	*	*	*	F	F	F	F	F	F	F	F	F	F	F	F	F	T
92569	*	*	*	F	F	F	F	T	*	*	*	*	*	*	*	*	T
92570	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
92571	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
92572	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
92573	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
92574	*	*	*	F	F	F	F	F	F	F	F	F	F	F	F	F	T
92575	*	*	*	F	F	F	F	T	*	*	*	*	*	*	*	*	T
92576	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
92577	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
92578	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
92579	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
92580	*	*	*	F	F	F	F	F	F	F	F	F	F	F	F	F	T
92581	*	*	*	F	F	F	F	T	*	*	*	*	*	*	*	*	T
92582	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
92583	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
92584	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
92585	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
92586	*	*	*	F	F	F	F	F	F	F	F	F	F	F	F	F	T
92587	*	*	*	F	F	F	F	T	*	*	*	*	*	*	*	*	T
92588	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
92589	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
92590	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
92591	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
92592	*	*	*	F	F	F	F	F	F	F	F	F	F	F	F	F	T
92593	*	*	*	F	F	F	F	T	*	*	*	*	*	*	*	*	T
92594	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
92595	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
92596	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
92597	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
92598	*	*	*	F	F	F	F	F	F	F	F	F	F	F	F	F	T
92599	*	*	*	F	F	F	F	T	*	*	*	*	*	*	*	*	T
92600	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
92601	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
92602	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
92603	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
92604	*	*	*	F	F	F	F	F	F	F	F	F	F	F	F	F	T
92605	*	*	*	F	F	F	F	T	*	*	*	*	*	*	*	*	T
92606	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
92607	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
92608	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
92609	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
92610	*	*	*	F	F	T	*	*	*	*	*	*	*	*	*	*	T
92611	*	*	*	F	T	*	*	*	*	*	*	*	*	*	*	*	T
92612	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
92613	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
92614	*	*	*	F	F	F	F	F	F	F	F	F	F	F	F	F	T
92615	*	*	*	F	F	F	F	T	*	*	*	*	*	*	*	*	T
92616	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
92617	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
92618	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
92619	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
92620	*	*	*	F	F	F	F	F	F	F	F	F	F	F	F	F	T
92621	*	*	*	F	F	F	F	T	*	*	*	*	*	*	*	*	T
92622	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
92623	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
92624	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
92625	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
92626	*	*	*	F	F	F	F	F	F	F	F	F	F	F	F	F	T
92627	*	*	*	F	F	F	F	T	*	*	*	*	*	*	*	*	T
92628	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
92629	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
92630	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
92631	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
92632	*	*	*	F	F	F	F	F	F	F	F	F	F	F	F	F	T
92633	*	*	*	F	F	F	F	T	*	*	*	*	*	*	*	*	T
92634	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
92635	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
92636	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
92637	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
92638	*	*	*	F	F	F	F	F	F	F	F	F	F	F	F	F	T
92639	*	*	*	F	F	F	F	T	*	*	*	*	*	*	*	*	T
92640	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
92641	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
92642	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
92643	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
92644	*	*	*	F	F	F	F	F	F	F	F	F	F	F	F	F	T
92645	*	*	*	F	F	F	F	T	*	*	*	*	*	*	*	*	T
92646	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
92647	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
92648	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
92649	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
92650	*	*	*	F	F	F	F	F	F	F	F	F	F	F	F	F	T
92651	*	*	*	F	F	F	F	T	*	*	*	*	*	*	*	*	T
92652	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
92653	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
92654	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
92655	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
92656	*	*	*	F	F	F	F	F	F	F	F	F	F	F	F	F	T
92657	*	*	*	F	F	F	F	T	*	*	*	*	*	*	*	*	T
92658	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
92659	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
92660	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
92661	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
92662	*	*	*	F	F	F	F	F	F	F	F	F	F	F	F	F	T
92663	*	*	*	F	F	F	F	T	*	*	*	*	*	*	*	*	T
92664	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
92665	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
92666	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
92667	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
92668	*	*	*	F	F	T	*	*	*	*	*	*	*	*	*	*	T
92669	*	*	*	F	T	*	*	*	*	*	*	*	*	*	*	*	T
111417	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
111418	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
111419	*	*	*	F	F	F	F	F	F	F	F	F	F	F	F	F	T
111420	*	*	*	F	F	F	F	T	*	*	*	*	*	*	*	*	T
111421	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
111422	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
111423	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
111424	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
111425	*	*	*	F	F	F	F	F	F	F	F	F	F	F	F	F	T
111426	*	*	*	F	F	F	F	T	*	*	*	*	*	*	*	*	T
111427	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
111428	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
111429	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
111430	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
111431	*	*	*	F	F	F	F	F	F	F	F	F	F	F	F	F	T
111432	*	*	*	F	F	F	F	T	*	*	*	*	*	*	*	*	T
111433	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
111434	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
111435	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
111436	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
111437	*	*	*	F	F	F	F	F	F	F	F	F	F	F	F	F	T
111438	*	*	*	F	F	F	F	T	*	*	*	*	*	*	*	*	T
111439	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
111440	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
111441	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
111442	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
111443	*	*	*	F	F	F	F	F	F	F	F	F	F	F	F	F	T
111444	*	*	*	F	F	F	F	T	*	*	*	*	*	*	*	*	T
111445	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
111446	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
111447	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
111448	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
111449	*	*	*	F	F	F	F	F	F	F	F	F	F	F	F	F	T
111450	*	*	*	F	F	F	F	T	*	*	*	*	*	*	*	*	T
111451	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
111452	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
111453	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
111454	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
111455	*	*	*	F	F	F	F	F	F	F	F	F	F	F	F	F	T
111456	*	*	*	F	F	F	F	T	*	*	*	*	*	*	*	*	T
111457	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
111458	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
111459	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
111460	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
111461	*	*	*	F	F	F	F	F	F	F	F	F	F	F	F	F	T
111462	*	*	*	F	F	F	F	T	*	*	*	*	*	*	*	*	T
111463	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
111464	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
111465	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
111466	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
111467	*	*	*	F	F	F	F	F	F	F	F	F	F	F	F	F	T
111468	*	*	*	F	F	F	F	T	*	*	*	*	*	*	*	*	T
111469	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
111470	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
111471	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
111472	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
111473	*	*	*	F	F	T	*	*	*	*	*	*	*	*	*	*	T
111474	*	*	*	F	T	*	*	*	*	*	*	*	*	*	*	*	T
111475	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
111476	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
111477	*	*	*	F	F	F	F	F	F	F	F	F	F	F	F	F	T
111478	*	*	*	F	F	F	F	T	*	*	*	*	*	*	*	*	T
111479	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
111480	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
111481	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
111482	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
111483	*	*	*	F	F	F	F	F	F	F	F	F	F	F	F	F	T
111484	*	*	*	F	F	F	F	T	*	*	*	*	*	*	*	*	T
111485	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
111486	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
111487	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
111488	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
111489	*	*	*	F	F	F	F	F	F	F	F	F	F	F	F	F	T
111490	*	*	*	F	F	F	F	T	*	*	*	*	*	*	*	*	T
111491	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
111492	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
111493	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
111494	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
111495	*	*	*	F	F	F	F	F	F	F	F	F	F	F	F	F	T
111496	*	*	*	F	F	F	F	T	*	*	*	*	*	*	*	*	T
111497	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
111498	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
111499	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
111500	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
111501	*	*	*	F	F	F	F	F	F	F	F	F	F	F	F	F	T
111502	*	*	*	F	F	F	F	T	*	*	*	*	*	*	*	*	T
111503	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
111504	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
111505	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
111506	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
111507	*	*	*	F	F	F	F	F	F	F	F	F	F	F	F	F	T
111508	*	*	*	F	F	F	F	T	*	*	*	*	*	*	*	*	T
111509	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
111510	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
111511	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
111512	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
111513	*	*	*	F	F	F	F	F	F	F	F	F	F	F	F	F	T
111514	*	*	*	F	F	F	F	T	*	*	*	*	*	*	*	*	T
111515	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
111516	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
111517	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
111518	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
111519	*	*	*	F	F	F	F	F	F	F	F	F	F	F	F	F	T
111520	*	*	*	F	F	F	F	T	*	*	*	*	*	*	*	*	T
111521	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
111522	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
111523	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
111524	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
111525	*	*	*	F	F	F	F	F	F	F	F	F	F	F	F	F	T
111526	*	*	*	F	F	F	F	T	*	*	*	*	*	*	*	*	T
111527	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
111528	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
111529	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
111530	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
111531	*	*	*	F	F	T	*	*	*	*	*	*	*	*	*	*	T
111532	*	*	*	F	T	*	*	*	*	*	*	*	*	*	*	*	T
129970	*	*	*	F	F	F	F	T	*	*	*	*	*	*	*	*	T
129971	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
129972	*	*	*	F	F	T	*	*	*	*	*	*	*	*	*	*	T
129973	*	*	*	F	T	*	*	*	*	*	*	*	*	*	*	*	T
129974	*	*	*	F	F	F	F	T	*	*	*	*	*	*	*	*	T
129975	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
129976	*	*	*	F	F	T	*	*	*	*	*	*	*	*	*	*	T
129977	*	*	*	F	T	*	*	*	*	*	*	*	*	*	*	*	T
131129	*	*	*	F	F	F	F	T	*	*	*	*	*	*	*	*	T
131130	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
131131	*	*	*	F	F	T	*	*	*	*	*	*	*	*	*	*	T
131132	*	*	*	F	T	*	*	*	*	*	*	*	*	*	*	*	T
131133	*	*	*	F	F	F	F	T	*	*	*	*	*	*	*	*	T
131134	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
131135	*	*	*	F	F	T	*	*	*	*	*	*	*	*	*	*	T
131136	*	*	*	F	T	*	*	*	*	*	*	*	*	*	*	*	T
132456	*	*	*	F	F	F	F	T	*	*	*	*	*	*	*	*	T
132457	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
132458	*	*	*	F	F	T	*	*	*	*	*	*	*	*	*	*	T
132459	*	*	*	F	T	*	*	*	*	*	*	*	*	*	*	*	T
132460	*	*	*	F	F	F	F	T	*	*	*	*	*	*	*	*	T
132461	*	*	*	F	F	F	T	*	*	*	*	*	*	*	*	*	T
132462	*	*	*	F	F	T	*	*	*	*	*	*	*	*	*	*	T
132463	*	*	*	F	T	*	*	*	*	*	*	*	*	*	*	*	T

Independent-effect pairs

All 16 conditions live in scry_analyze_core::Interp::seq — 16 br_if

c0 (branch 724): GAP view gap →
c1 (branch 725): GAP view gap →
c2 (branch 726): GAP view gap →
c3 (branch 727): GAP view gap →
c4 (branch 728): GAP view gap →
c5 (branch 729): GAP view gap →
c6 (branch 730): GAP view gap →
c7 (branch 731): GAP view gap →
c8 (branch 732): GAP view gap →
c9 (branch 733): GAP view gap →
c10 (branch 734): GAP view gap →
c11 (branch 735): GAP view gap →
c12 (branch 736): GAP view gap →
c13 (branch 737): GAP view gap →
c14 (branch 738): GAP view gap →
c15 (branch 739): GAP view gap →

← back to scry-mcdc

Decision #95 — lib.rs:3648

Truth table

Independent-effect pairs

Decision #95 — `lib.rs:3648`