Decision #334 — `src/lib.rs:68`

Status: no_witness

Truth table

row	c0 br 1815	c1 br 1822	c2 br 1823	c3 br 1824	outcome
519	T	*	*	*	T
520	T	*	*	*	T
521	T	*	*	*	T
522	T	*	*	*	T
523	T	*	*	*	T
524	T	*	*	*	T
525	T	*	*	*	T
526	T	*	*	*	T
527	T	F	F	F	T
528	T	*	*	*	T
529	T	*	*	*	T
530	T	*	*	*	T
531	F	F	F	F	T
532	T	*	*	*	T
533	T	*	*	*	T
534	T	*	*	*	T
535	T	*	*	*	T
536	T	*	*	*	T
537	T	*	*	*	T
538	T	*	*	*	T
539	T	*	*	*	T
540	T	F	F	F	T
541	T	*	*	*	T
542	T	*	*	*	T
543	T	*	*	*	T
544	F	F	F	F	T
545	T	*	*	*	T
546	T	*	*	*	T
547	T	*	*	*	T
548	T	*	*	*	T
549	T	*	*	*	T
550	T	*	*	*	T
551	T	*	*	*	T
552	T	*	*	*	T
553	T	F	F	F	T
554	T	*	*	*	T
555	T	*	*	*	T
556	T	*	*	*	T
557	F	F	F	F	T
558	T	*	*	*	T
559	T	*	*	*	T
560	T	*	*	*	T
561	T	*	*	*	T
562	T	*	*	*	T
563	T	*	*	*	T
564	T	*	*	*	T
565	T	*	*	*	T
566	T	F	F	F	T
567	T	*	*	*	T
568	T	*	*	*	T
569	T	*	*	*	T
570	F	F	F	F	T
571	T	*	*	*	T
572	T	*	*	*	T
573	T	*	*	*	T
574	T	*	*	*	T
575	T	*	*	*	T
576	T	*	*	*	T
577	T	*	*	*	T
578	T	*	*	*	T
579	T	F	F	F	T
580	T	*	*	*	T
581	T	*	*	*	T
582	T	*	*	*	T
583	F	F	F	F	T
584	T	*	*	*	T
585	T	*	*	*	T
586	T	*	*	*	T
587	T	*	*	*	T
588	T	*	*	*	T
589	T	*	*	*	T
590	T	*	*	*	T
591	T	*	*	*	T
592	T	F	F	F	T
593	T	*	*	*	T
594	T	*	*	*	T
595	T	*	*	*	T
596	F	F	F	F	T
597	T	*	*	*	T
598	T	*	*	*	T
599	T	*	*	*	T
600	T	*	*	*	T
601	T	*	*	*	T
602	T	*	*	*	T
603	T	*	*	*	T
604	T	*	*	*	T
605	T	F	F	F	T
606	T	*	*	*	T
607	T	*	*	*	T
608	T	*	*	*	T
609	F	F	F	F	T
610	T	*	*	*	T
611	T	*	*	*	T
612	T	*	*	*	T
613	T	*	*	*	T
614	T	*	*	*	T
615	T	*	*	*	T
616	T	*	*	*	T
617	T	*	*	*	T
618	T	F	F	F	T
619	T	*	*	*	T
620	T	*	*	*	T
621	T	*	*	*	T
622	F	F	F	F	T
623	T	*	*	*	T
624	T	*	*	*	T
625	T	*	*	*	T
626	T	*	*	*	T
627	T	*	*	*	T
628	T	*	*	*	T
629	T	*	*	*	T
630	T	*	*	*	T
631	T	F	F	F	T
632	T	*	*	*	T
633	T	*	*	*	T
634	T	*	*	*	T
635	F	F	F	F	T
636	T	*	*	*	T
637	T	*	*	*	T
638	T	*	*	*	T
639	T	*	*	*	T
640	T	*	*	*	T
641	T	*	*	*	T
642	T	*	*	*	T
643	T	*	*	*	T
644	T	F	F	F	T
645	T	*	*	*	T
646	T	*	*	*	T
647	T	*	*	*	T
648	F	F	F	F	T
7479	T	*	*	*	T
7480	T	*	*	*	T
7481	T	*	*	*	T
7482	T	*	*	*	T
7483	T	*	*	*	T
7484	T	*	*	*	T
7485	T	*	*	*	T
7486	T	*	*	*	T
7487	T	F	F	F	T
7488	T	*	*	*	T
7489	T	*	*	*	T
7490	T	*	*	*	T
7491	F	F	F	F	T
7492	T	*	*	*	T
7493	T	*	*	*	T
7494	T	*	*	*	T
7495	T	*	*	*	T
7496	T	*	*	*	T
7497	T	*	*	*	T
7498	T	*	*	*	T
7499	T	*	*	*	T
7500	T	F	F	F	T
7501	T	*	*	*	T
7502	T	*	*	*	T
7503	T	*	*	*	T
7504	F	F	F	F	T
7505	T	*	*	*	T
7506	T	*	*	*	T
7507	T	*	*	*	T
7508	T	*	*	*	T
7509	T	*	*	*	T
7510	T	*	*	*	T
7511	T	*	*	*	T
7512	T	*	*	*	T
7513	T	F	F	F	T
7514	T	*	*	*	T
7515	T	*	*	*	T
7516	T	*	*	*	T
7517	F	F	F	F	T
7518	T	*	*	*	T
7519	T	*	*	*	T
7520	T	*	*	*	T
7521	T	*	*	*	T
7522	T	*	*	*	T
7523	T	*	*	*	T
7524	T	*	*	*	T
7525	T	*	*	*	T
7526	T	F	F	F	T
7527	T	*	*	*	T
7528	T	*	*	*	T
7529	T	*	*	*	T
7530	F	F	F	F	T
7531	T	*	*	*	T
7532	T	*	*	*	T
7533	T	*	*	*	T
7534	T	*	*	*	T
7535	T	*	*	*	T
7536	T	*	*	*	T
7537	T	*	*	*	T
7538	T	*	*	*	T
7539	T	F	F	F	T
7540	T	*	*	*	T
7541	T	*	*	*	T
7542	T	*	*	*	T
7543	F	F	F	F	T
7544	T	*	*	*	T
7545	T	*	*	*	T
7546	T	*	*	*	T
7547	T	*	*	*	T
7548	T	*	*	*	T
7549	T	*	*	*	T
7550	T	*	*	*	T
7551	T	*	*	*	T
7552	T	F	F	F	T
7553	T	*	*	*	T
7554	T	*	*	*	T
7555	T	*	*	*	T
7556	F	F	F	F	T
7557	T	*	*	*	T
7558	T	*	*	*	T
7559	T	*	*	*	T
7560	T	*	*	*	T
7561	T	*	*	*	T
7562	T	*	*	*	T
7563	T	*	*	*	T
7564	T	*	*	*	T
7565	T	F	F	F	T
7566	T	*	*	*	T
7567	T	*	*	*	T
7568	T	*	*	*	T
7569	F	F	F	F	T
7570	T	*	*	*	T
7571	T	*	*	*	T
7572	T	*	*	*	T
7573	T	*	*	*	T
7574	T	*	*	*	T
7575	T	*	*	*	T
7576	T	*	*	*	T
7577	T	*	*	*	T
7578	T	F	F	F	T
7579	T	*	*	*	T
7580	T	*	*	*	T
7581	T	*	*	*	T
7582	F	F	F	F	T
7583	T	*	*	*	T
7584	T	*	*	*	T
7585	T	*	*	*	T
7586	T	*	*	*	T
7587	T	*	*	*	T
7588	T	*	*	*	T
7589	T	*	*	*	T
7590	T	*	*	*	T
7591	T	F	F	F	T
7592	T	*	*	*	T
7593	T	*	*	*	T
7594	T	*	*	*	T
7595	F	F	F	F	T
7596	T	*	*	*	T
7597	T	*	*	*	T
7598	T	*	*	*	T
7599	T	*	*	*	T
7600	T	*	*	*	T
7601	T	*	*	*	T
7602	T	*	*	*	T
7603	T	*	*	*	T
7604	T	F	F	F	T
7605	T	*	*	*	T
7606	T	*	*	*	T
7607	T	*	*	*	T
7608	F	F	F	F	T
14220	T	*	*	*	T
14221	T	*	*	*	T
14222	T	*	*	*	T
14223	T	*	*	*	T
14224	T	*	*	*	T
14225	T	*	*	*	T
14226	T	*	*	*	T
14227	T	*	*	*	T
14228	T	F	F	F	T
14229	T	*	*	*	T
14230	T	*	*	*	T
14231	T	*	*	*	T
14232	F	F	F	F	T
14233	T	*	*	*	T
14234	T	*	*	*	T
14235	T	*	*	*	T
14236	T	*	*	*	T
14237	T	*	*	*	T
14238	T	*	*	*	T
14239	T	*	*	*	T
14240	T	*	*	*	T
14241	T	F	F	F	T
14242	T	*	*	*	T
14243	T	*	*	*	T
14244	T	*	*	*	T
14245	F	F	F	F	T
14246	T	*	*	*	T
14247	T	*	*	*	T
14248	T	*	*	*	T
14249	T	*	*	*	T
14250	T	*	*	*	T
14251	T	*	*	*	T
14252	T	*	*	*	T
14253	T	*	*	*	T
14254	T	F	F	F	T
14255	T	*	*	*	T
14256	T	*	*	*	T
14257	T	*	*	*	T
14258	F	F	F	F	T
14259	T	*	*	*	T
14260	T	*	*	*	T
14261	T	*	*	*	T
14262	T	*	*	*	T
14263	T	*	*	*	T
14264	T	*	*	*	T
14265	T	*	*	*	T
14266	T	*	*	*	T
14267	T	F	F	F	T
14268	T	*	*	*	T
14269	T	*	*	*	T
14270	T	*	*	*	T
14271	F	F	F	F	T
14272	T	*	*	*	T
14273	T	*	*	*	T
14274	T	*	*	*	T
14275	T	*	*	*	T
14276	T	*	*	*	T
14277	T	*	*	*	T
14278	T	*	*	*	T
14279	T	*	*	*	T
14280	T	F	F	F	T
14281	T	*	*	*	T
14282	T	*	*	*	T
14283	T	*	*	*	T
14284	F	F	F	F	T
14285	T	*	*	*	T
14286	T	*	*	*	T
14287	T	*	*	*	T
14288	T	*	*	*	T
14289	T	*	*	*	T
14290	T	*	*	*	T
14291	T	*	*	*	T
14292	T	*	*	*	T
14293	T	F	F	F	T
14294	T	*	*	*	T
14295	T	*	*	*	T
14296	T	*	*	*	T
14297	F	F	F	F	T
14298	T	*	*	*	T
14299	T	*	*	*	T
14300	T	*	*	*	T
14301	T	*	*	*	T
14302	T	*	*	*	T
14303	T	*	*	*	T
14304	T	*	*	*	T
14305	T	*	*	*	T
14306	T	F	F	F	T
14307	T	*	*	*	T
14308	T	*	*	*	T
14309	T	*	*	*	T
14310	F	F	F	F	T
14311	T	*	*	*	T
14312	T	*	*	*	T
14313	T	*	*	*	T
14314	T	*	*	*	T
14315	T	*	*	*	T
14316	T	*	*	*	T
14317	T	*	*	*	T
14318	T	*	*	*	T
14319	T	F	F	F	T
14320	T	*	*	*	T
14321	T	*	*	*	T
14322	T	*	*	*	T
14323	F	F	F	F	T
14324	T	*	*	*	T
14325	T	*	*	*	T
14326	T	*	*	*	T
14327	T	*	*	*	T
14328	T	*	*	*	T
14329	T	*	*	*	T
14330	T	*	*	*	T
14331	T	*	*	*	T
14332	T	F	F	F	T
14333	T	*	*	*	T
14334	T	*	*	*	T
14335	T	*	*	*	T
14336	F	F	F	F	T
14337	T	*	*	*	T
14338	T	*	*	*	T
14339	T	*	*	*	T
14340	T	*	*	*	T
14341	T	*	*	*	T
14342	T	*	*	*	T
14343	T	*	*	*	T
14344	T	*	*	*	T
14345	T	F	F	F	T
14346	T	*	*	*	T
14347	T	*	*	*	T
14348	T	*	*	*	T
14349	F	F	F	F	T
21420	T	*	*	*	T
21421	T	*	*	*	T
21422	T	*	*	*	T
21423	T	*	*	*	T
21424	T	*	*	*	T
21425	T	*	*	*	T
21426	T	*	*	*	T
21427	T	*	*	*	T
21428	T	F	F	F	T
21429	T	*	*	*	T
21430	T	*	*	*	T
21431	T	*	*	*	T
21432	T	*	*	*	T
21433	T	*	*	*	T
21434	T	*	*	*	T
21435	T	*	*	*	T
21436	T	*	*	*	T
21437	T	F	F	F	T
21438	T	*	*	*	T
21439	T	*	*	*	T
21440	T	*	*	*	T
21441	T	*	*	*	T
21442	T	*	*	*	T
21443	T	*	*	*	T
21444	F	F	F	F	T
21445	T	*	*	*	T
21446	T	*	*	*	T
21447	T	*	*	*	T
21448	T	*	*	*	T
21449	T	*	*	*	T
21450	T	*	*	*	T
21451	T	*	*	*	T
21452	T	*	*	*	T
21453	T	F	F	F	T
21454	T	*	*	*	T
21455	T	*	*	*	T
21456	T	*	*	*	T
21457	T	*	*	*	T
21458	T	*	*	*	T
21459	T	*	*	*	T
21460	F	F	F	F	T
21461	T	*	*	*	T
21462	T	*	*	*	T
21463	T	*	*	*	T
21464	F	F	F	F	T
21465	T	*	*	*	T
21466	T	*	*	*	T
21467	T	*	*	*	T
21468	T	*	*	*	T
21469	T	*	*	*	T
21470	T	*	*	*	T
21471	T	*	*	*	T
21472	T	*	*	*	T
21473	T	F	F	F	T
21474	T	*	*	*	T
21475	T	*	*	*	T
21476	T	*	*	*	T
21477	T	*	*	*	T
21478	T	*	*	*	T
21479	T	*	*	*	T
21480	T	*	*	*	T
21481	T	*	*	*	T
21482	T	F	F	F	T
21483	T	*	*	*	T
21484	T	*	*	*	T
21485	T	*	*	*	T
21486	T	*	*	*	T
21487	T	*	*	*	T
21488	T	*	*	*	T
21489	F	F	F	F	T
21490	T	*	*	*	T
21491	T	*	*	*	T
21492	T	*	*	*	T
21493	T	*	*	*	T
21494	T	*	*	*	T
21495	T	*	*	*	T
21496	T	*	*	*	T
21497	T	*	*	*	T
21498	T	F	F	F	T
21499	T	*	*	*	T
21500	T	*	*	*	T
21501	T	*	*	*	T
21502	T	*	*	*	T
21503	T	*	*	*	T
21504	T	*	*	*	T
21505	F	F	F	F	T
21506	T	*	*	*	T
21507	T	*	*	*	T
21508	T	*	*	*	T
21509	F	F	F	F	T
24163	T	*	*	*	T
24164	T	*	*	*	T
24165	T	*	*	*	T
24166	T	*	*	*	T
24167	T	*	*	*	T
24168	T	*	*	*	T
24169	T	*	*	*	T
24170	T	*	*	*	T
24171	T	F	F	F	T
24172	T	*	*	*	T
24173	T	*	*	*	T
24174	T	*	*	*	T
24175	T	*	*	*	T
24176	T	*	*	*	T
24177	T	*	*	*	T
24178	T	*	*	*	T
24179	T	*	*	*	T
24180	T	F	F	F	T
24181	T	*	*	*	T
24182	T	*	*	*	T
24183	T	*	*	*	T
24184	T	*	*	*	T
24185	T	*	*	*	T
24186	T	*	*	*	T
24187	F	F	F	F	T
24188	T	*	*	*	T
24189	T	*	*	*	T
24190	T	*	*	*	T
24191	T	*	*	*	T
24192	T	*	*	*	T
24193	T	*	*	*	T
24194	T	*	*	*	T
24195	T	*	*	*	T
24196	T	F	F	F	T
24197	T	*	*	*	T
24198	T	*	*	*	T
24199	T	*	*	*	T
24200	T	*	*	*	T
24201	T	*	*	*	T
24202	T	*	*	*	T
24203	F	F	F	F	T
24204	T	*	*	*	T
24205	T	*	*	*	T
24206	T	*	*	*	T
24207	F	F	F	F	T
24208	T	*	*	*	T
24209	T	*	*	*	T
24210	T	*	*	*	T
24211	T	*	*	*	T
24212	T	*	*	*	T
24213	T	*	*	*	T
24214	T	*	*	*	T
24215	T	*	*	*	T
24216	T	F	F	F	T
24217	T	*	*	*	T
24218	T	*	*	*	T
24219	T	*	*	*	T
24220	T	*	*	*	T
24221	T	*	*	*	T
24222	T	*	*	*	T
24223	T	*	*	*	T
24224	T	*	*	*	T
24225	T	F	F	F	T
24226	T	*	*	*	T
24227	T	*	*	*	T
24228	T	*	*	*	T
24229	T	*	*	*	T
24230	T	*	*	*	T
24231	T	*	*	*	T
24232	F	F	F	F	T
24233	T	*	*	*	T
24234	T	*	*	*	T
24235	T	*	*	*	T
24236	T	*	*	*	T
24237	T	*	*	*	T
24238	T	*	*	*	T
24239	T	*	*	*	T
24240	T	*	*	*	T
24241	T	F	F	F	T
24242	T	*	*	*	T
24243	T	*	*	*	T
24244	T	*	*	*	T
24245	T	*	*	*	T
24246	T	*	*	*	T
24247	T	*	*	*	T
24248	F	F	F	F	T
24249	T	*	*	*	T
24250	T	*	*	*	T
24251	T	*	*	*	T
24252	F	F	F	F	T
26806	T	*	*	*	T
26807	T	*	*	*	T
26808	T	*	*	*	T
26809	T	*	*	*	T
26810	T	*	*	*	T
26811	T	*	*	*	T
26812	T	*	*	*	T
26813	T	*	*	*	T
26814	T	F	F	F	T
26815	T	*	*	*	T
26816	T	*	*	*	T
26817	T	*	*	*	T
26818	T	*	*	*	T
26819	T	*	*	*	T
26820	T	*	*	*	T
26821	T	*	*	*	T
26822	T	*	*	*	T
26823	T	F	F	F	T
26824	T	*	*	*	T
26825	T	*	*	*	T
26826	T	*	*	*	T
26827	T	*	*	*	T
26828	T	*	*	*	T
26829	T	*	*	*	T
26830	F	F	F	F	T
26831	T	*	*	*	T
26832	T	*	*	*	T
26833	T	*	*	*	T
26834	T	*	*	*	T
26835	T	*	*	*	T
26836	T	*	*	*	T
26837	T	*	*	*	T
26838	T	*	*	*	T
26839	T	F	F	F	T
26840	T	*	*	*	T
26841	T	*	*	*	T
26842	T	*	*	*	T
26843	T	*	*	*	T
26844	T	*	*	*	T
26845	T	*	*	*	T
26846	F	F	F	F	T
26847	T	*	*	*	T
26848	T	*	*	*	T
26849	T	*	*	*	T
26850	F	F	F	F	T
26851	T	*	*	*	T
26852	T	*	*	*	T
26853	T	*	*	*	T
26854	T	*	*	*	T
26855	T	*	*	*	T
26856	T	*	*	*	T
26857	T	*	*	*	T
26858	T	*	*	*	T
26859	T	F	F	F	T
26860	T	*	*	*	T
26861	T	*	*	*	T
26862	T	*	*	*	T
26863	T	*	*	*	T
26864	T	*	*	*	T
26865	T	*	*	*	T
26866	T	*	*	*	T
26867	T	*	*	*	T
26868	T	F	F	F	T
26869	T	*	*	*	T
26870	T	*	*	*	T
26871	T	*	*	*	T
26872	T	*	*	*	T
26873	T	*	*	*	T
26874	T	*	*	*	T
26875	F	F	F	F	T
26876	T	*	*	*	T
26877	T	*	*	*	T
26878	T	*	*	*	T
26879	T	*	*	*	T
26880	T	*	*	*	T
26881	T	*	*	*	T
26882	T	*	*	*	T
26883	T	*	*	*	T
26884	T	F	F	F	T
26885	T	*	*	*	T
26886	T	*	*	*	T
26887	T	*	*	*	T
26888	T	*	*	*	T
26889	T	*	*	*	T
26890	T	*	*	*	T
26891	F	F	F	F	T
26892	T	*	*	*	T
26893	T	*	*	*	T
26894	T	*	*	*	T
26895	F	F	F	F	T
30052	T	*	*	*	T
30053	T	*	*	*	T
30054	T	*	*	*	T
30055	T	*	*	*	T
30056	T	*	*	*	T
30057	T	*	*	*	T
30058	T	*	*	*	T
30059	T	*	*	*	T
30060	T	F	F	F	T
30061	T	*	*	*	T
30062	T	*	*	*	T
30063	T	*	*	*	T
30064	T	*	*	*	T
30065	T	*	*	*	T
30066	T	*	*	*	T
30067	T	*	*	*	T
30068	T	*	*	*	T
30069	T	F	F	F	T
30070	T	*	*	*	T
30071	T	*	*	*	T
30072	T	*	*	*	T
30073	T	*	*	*	T
30074	T	*	*	*	T
30075	T	*	*	*	T
30076	T	*	*	*	T
30077	T	*	*	*	T
30078	T	F	F	F	T
30079	T	*	*	*	T
30080	T	*	*	*	T
30081	T	*	*	*	T
30082	T	*	*	*	T
30083	T	*	*	*	T
30084	T	*	*	*	T
30085	T	*	*	*	T
30086	T	*	*	*	T
30087	T	F	F	F	T
30088	T	*	*	*	T
30089	T	*	*	*	T
30090	T	*	*	*	T
30091	T	*	*	*	T
30092	T	*	*	*	T
30093	T	*	*	*	T
30094	T	*	*	*	T
30095	T	*	*	*	T
30096	T	F	F	F	T
30097	T	*	*	*	T
30098	T	*	*	*	T
30099	T	*	*	*	T
30100	T	*	*	*	T
30101	T	*	*	*	T
30102	T	*	*	*	T
30103	F	F	F	F	T
30104	T	*	*	*	T
30105	T	*	*	*	T
30106	T	*	*	*	T
30107	T	*	*	*	T
30108	T	*	*	*	T
30109	T	*	*	*	T
30110	T	*	*	*	T
30111	T	*	*	*	T
30112	T	F	F	F	T
30113	T	*	*	*	T
30114	T	*	*	*	T
30115	T	*	*	*	T
30116	F	F	F	F	T
30117	T	*	*	*	T
30118	T	*	*	*	T
30119	T	*	*	*	T
30120	F	F	F	F	T
30121	T	*	*	*	T
30122	T	*	*	*	T
30123	T	*	*	*	T
30124	T	*	*	*	T
30125	T	*	*	*	T
30126	T	*	*	*	T
30127	T	*	*	*	T
30128	T	*	*	*	T
30129	T	F	F	F	T
30130	T	*	*	*	T
30131	T	*	*	*	T
30132	T	*	*	*	T
30133	F	F	F	F	T
30134	T	*	*	*	T
30135	T	*	*	*	T
30136	T	*	*	*	T
30137	T	*	*	*	T
30138	T	*	*	*	T
30139	T	*	*	*	T
30140	T	*	*	*	T
30141	T	*	*	*	T
30142	T	F	F	F	T
30143	T	*	*	*	T
30144	T	*	*	*	T
30145	T	*	*	*	T
30146	T	*	*	*	T
30147	T	*	*	*	T
30148	T	*	*	*	T
30149	T	*	*	*	T
30150	T	*	*	*	T
30151	T	F	F	F	T
30152	T	*	*	*	T
30153	T	*	*	*	T
30154	T	*	*	*	T
30155	T	*	*	*	T
30156	T	*	*	*	T
30157	T	*	*	*	T
30158	T	*	*	*	T
30159	T	*	*	*	T
30160	T	F	F	F	T
30161	T	*	*	*	T
30162	T	*	*	*	T
30163	T	*	*	*	T
30164	T	*	*	*	T
30165	T	*	*	*	T
30166	T	*	*	*	T
30167	T	*	*	*	T
30168	T	*	*	*	T
30169	T	F	F	F	T
30170	T	*	*	*	T
30171	T	*	*	*	T
30172	T	*	*	*	T
30173	T	*	*	*	T
30174	T	*	*	*	T
30175	T	*	*	*	T
30176	T	*	*	*	T
30177	T	*	*	*	T
30178	T	F	F	F	T
30179	T	*	*	*	T
30180	T	*	*	*	T
30181	T	*	*	*	T
30182	T	*	*	*	T
30183	T	*	*	*	T
30184	T	*	*	*	T
30185	F	F	F	F	T
30186	T	*	*	*	T
30187	T	*	*	*	T
30188	T	*	*	*	T
30189	T	*	*	*	T
30190	T	*	*	*	T
30191	T	*	*	*	T
30192	T	*	*	*	T
30193	T	*	*	*	T
30194	T	F	F	F	T
30195	T	*	*	*	T
30196	T	*	*	*	T
30197	T	*	*	*	T
30198	F	F	F	F	T
30199	T	*	*	*	T
30200	T	*	*	*	T
30201	T	*	*	*	T
30202	F	F	F	F	T
30203	T	*	*	*	T
30204	T	*	*	*	T
30205	T	*	*	*	T
30206	T	*	*	*	T
30207	T	*	*	*	T
30208	T	*	*	*	T
30209	T	*	*	*	T
30210	T	*	*	*	T
30211	T	F	F	F	T
30212	T	*	*	*	T
30213	T	*	*	*	T
30214	T	*	*	*	T
30215	F	F	F	F	T
50907	T	*	*	*	T
50908	T	*	*	*	T
50909	T	*	*	*	T
50910	T	*	*	*	T
50911	T	*	*	*	T
50912	T	*	*	*	T
50913	T	*	*	*	T
50914	T	*	*	*	T
50915	T	F	F	F	T
50916	T	*	*	*	T
50917	T	*	*	*	T
50918	T	*	*	*	T
50919	T	*	*	*	T
50920	T	*	*	*	T
50921	T	*	*	*	T
50922	T	*	*	*	T
50923	T	*	*	*	T
50924	T	F	F	F	T
50925	T	*	*	*	T
50926	T	*	*	*	T
50927	T	*	*	*	T
50928	T	*	*	*	T
50929	T	*	*	*	T
50930	T	*	*	*	T
50931	T	*	*	*	T
50932	T	*	*	*	T
50933	T	F	F	F	T
50934	T	*	*	*	T
50935	T	*	*	*	T
50936	T	*	*	*	T
50937	T	*	*	*	T
50938	T	*	*	*	T
50939	T	*	*	*	T
50940	T	*	*	*	T
50941	T	*	*	*	T
50942	T	F	F	F	T
50943	T	*	*	*	T
50944	T	*	*	*	T
50945	T	*	*	*	T
50946	T	*	*	*	T
50947	T	*	*	*	T
50948	T	*	*	*	T
50949	T	*	*	*	T
50950	T	*	*	*	T
50951	T	F	F	F	T
50952	T	*	*	*	T
50953	T	*	*	*	T
50954	T	*	*	*	T
50955	T	*	*	*	T
50956	T	*	*	*	T
50957	T	*	*	*	T
50958	F	F	F	F	T
50959	T	*	*	*	T
50960	T	*	*	*	T
50961	T	*	*	*	T
50962	T	*	*	*	T
50963	T	*	*	*	T
50964	T	*	*	*	T
50965	T	*	*	*	T
50966	T	*	*	*	T
50967	T	F	F	F	T
50968	T	*	*	*	T
50969	T	*	*	*	T
50970	T	*	*	*	T
50971	F	F	F	F	T
50972	T	*	*	*	T
50973	T	*	*	*	T
50974	T	*	*	*	T
50975	F	F	F	F	T
50976	T	*	*	*	T
50977	T	*	*	*	T
50978	T	*	*	*	T
50979	T	*	*	*	T
50980	T	*	*	*	T
50981	T	*	*	*	T
50982	T	*	*	*	T
50983	T	*	*	*	T
50984	T	F	F	F	T
50985	T	*	*	*	T
50986	T	*	*	*	T
50987	T	*	*	*	T
50988	F	F	F	F	T
50989	T	*	*	*	T
50990	T	*	*	*	T
50991	T	*	*	*	T
50992	T	*	*	*	T
50993	T	*	*	*	T
50994	T	*	*	*	T
50995	T	*	*	*	T
50996	T	*	*	*	T
50997	T	F	F	F	T
50998	T	*	*	*	T
50999	T	*	*	*	T
51000	T	*	*	*	T
51001	T	*	*	*	T
51002	T	*	*	*	T
51003	T	*	*	*	T
51004	T	*	*	*	T
51005	T	*	*	*	T
51006	T	F	F	F	T
51007	T	*	*	*	T
51008	T	*	*	*	T
51009	T	*	*	*	T
51010	T	*	*	*	T
51011	T	*	*	*	T
51012	T	*	*	*	T
51013	T	*	*	*	T
51014	T	*	*	*	T
51015	T	F	F	F	T
51016	T	*	*	*	T
51017	T	*	*	*	T
51018	T	*	*	*	T
51019	T	*	*	*	T
51020	T	*	*	*	T
51021	T	*	*	*	T
51022	T	*	*	*	T
51023	T	*	*	*	T
51024	T	F	F	F	T
51025	T	*	*	*	T
51026	T	*	*	*	T
51027	T	*	*	*	T
51028	T	*	*	*	T
51029	T	*	*	*	T
51030	T	*	*	*	T
51031	T	*	*	*	T
51032	T	*	*	*	T
51033	T	F	F	F	T
51034	T	*	*	*	T
51035	T	*	*	*	T
51036	T	*	*	*	T
51037	T	*	*	*	T
51038	T	*	*	*	T
51039	T	*	*	*	T
51040	F	F	F	F	T
51041	T	*	*	*	T
51042	T	*	*	*	T
51043	T	*	*	*	T
51044	T	*	*	*	T
51045	T	*	*	*	T
51046	T	*	*	*	T
51047	T	*	*	*	T
51048	T	*	*	*	T
51049	T	F	F	F	T
51050	T	*	*	*	T
51051	T	*	*	*	T
51052	T	*	*	*	T
51053	F	F	F	F	T
51054	T	*	*	*	T
51055	T	*	*	*	T
51056	T	*	*	*	T
51057	F	F	F	F	T
51058	T	*	*	*	T
51059	T	*	*	*	T
51060	T	*	*	*	T
51061	T	*	*	*	T
51062	T	*	*	*	T
51063	T	*	*	*	T
51064	T	*	*	*	T
51065	T	*	*	*	T
51066	T	F	F	F	T
51067	T	*	*	*	T
51068	T	*	*	*	T
51069	T	*	*	*	T
51070	F	F	F	F	T
71512	T	*	*	*	T
71513	T	*	*	*	T
71514	T	*	*	*	T
71515	T	*	*	*	T
71516	T	*	*	*	T
71517	T	*	*	*	T
71518	T	*	*	*	T
71519	T	*	*	*	T
71520	T	F	F	F	T
71521	T	*	*	*	T
71522	T	*	*	*	T
71523	T	*	*	*	T
71524	T	*	*	*	T
71525	T	*	*	*	T
71526	T	*	*	*	T
71527	T	*	*	*	T
71528	T	*	*	*	T
71529	T	F	F	F	T
71530	T	*	*	*	T
71531	T	*	*	*	T
71532	T	*	*	*	T
71533	T	*	*	*	T
71534	T	*	*	*	T
71535	T	*	*	*	T
71536	F	F	F	F	T
71537	T	*	*	*	T
71538	T	*	*	*	T
71539	T	*	*	*	T
71540	T	*	*	*	T
71541	T	*	*	*	T
71542	T	*	*	*	T
71543	T	*	*	*	T
71544	T	*	*	*	T
71545	T	F	F	F	T
71546	T	*	*	*	T
71547	T	*	*	*	T
71548	T	*	*	*	T
71549	T	*	*	*	T
71550	T	*	*	*	T
71551	T	*	*	*	T
71552	T	*	*	*	T
71553	T	*	*	*	T
71554	T	F	F	F	T
71555	T	*	*	*	T
71556	T	*	*	*	T
71557	T	*	*	*	T
71558	T	*	*	*	T
71559	T	*	*	*	T
71560	T	*	*	*	T
71561	F	F	F	F	T
71562	T	*	*	*	T
71563	T	*	*	*	T
71564	T	*	*	*	T
71565	T	*	*	*	T
71566	T	*	*	*	T
71567	T	*	*	*	T
71568	T	*	*	*	T
71569	T	*	*	*	T
71570	T	F	F	F	T
71571	T	*	*	*	T
71572	T	*	*	*	T
71573	T	*	*	*	T
71574	F	F	F	F	T
71575	T	*	*	*	T
71576	T	*	*	*	T
71577	T	*	*	*	T
71578	F	F	F	F	T
71579	T	*	*	*	T
71580	T	*	*	*	T
71581	T	*	*	*	T
71582	T	*	*	*	T
71583	T	*	*	*	T
71584	T	*	*	*	T
71585	T	*	*	*	T
71586	T	*	*	*	T
71587	T	F	F	F	T
71588	T	*	*	*	T
71589	T	*	*	*	T
71590	T	*	*	*	T
71591	F	F	F	F	T
71592	T	*	*	*	T
71593	T	*	*	*	T
71594	T	*	*	*	T
71595	T	*	*	*	T
71596	T	*	*	*	T
71597	T	*	*	*	T
71598	T	*	*	*	T
71599	T	*	*	*	T
71600	T	F	F	F	T
71601	T	*	*	*	T
71602	T	*	*	*	T
71603	T	*	*	*	T
71604	T	*	*	*	T
71605	T	*	*	*	T
71606	T	*	*	*	T
71607	T	*	*	*	T
71608	T	*	*	*	T
71609	T	F	F	F	T
71610	T	*	*	*	T
71611	T	*	*	*	T
71612	T	*	*	*	T
71613	T	*	*	*	T
71614	T	*	*	*	T
71615	T	*	*	*	T
71616	F	F	F	F	T
71617	T	*	*	*	T
71618	T	*	*	*	T
71619	T	*	*	*	T
71620	T	*	*	*	T
71621	T	*	*	*	T
71622	T	*	*	*	T
71623	T	*	*	*	T
71624	T	*	*	*	T
71625	T	F	F	F	T
71626	T	*	*	*	T
71627	T	*	*	*	T
71628	T	*	*	*	T
71629	T	*	*	*	T
71630	T	*	*	*	T
71631	T	*	*	*	T
71632	T	*	*	*	T
71633	T	*	*	*	T
71634	T	F	F	F	T
71635	T	*	*	*	T
71636	T	*	*	*	T
71637	T	*	*	*	T
71638	T	*	*	*	T
71639	T	*	*	*	T
71640	T	*	*	*	T
71641	F	F	F	F	T
71642	T	*	*	*	T
71643	T	*	*	*	T
71644	T	*	*	*	T
71645	T	*	*	*	T
71646	T	*	*	*	T
71647	T	*	*	*	T
71648	T	*	*	*	T
71649	T	*	*	*	T
71650	T	F	F	F	T
71651	T	*	*	*	T
71652	T	*	*	*	T
71653	T	*	*	*	T
71654	F	F	F	F	T
71655	T	*	*	*	T
71656	T	*	*	*	T
71657	T	*	*	*	T
71658	F	F	F	F	T
71659	T	*	*	*	T
71660	T	*	*	*	T
71661	T	*	*	*	T
71662	T	*	*	*	T
71663	T	*	*	*	T
71664	T	*	*	*	T
71665	T	*	*	*	T
71666	T	*	*	*	T
71667	T	F	F	F	T
71668	T	*	*	*	T
71669	T	*	*	*	T
71670	T	*	*	*	T
71671	F	F	F	F	T
81395	T	*	*	*	T
81396	T	*	*	*	T
81397	T	*	*	*	T
81398	T	*	*	*	T
81399	T	*	*	*	T
81400	T	*	*	*	T
81401	T	*	*	*	T
81402	T	*	*	*	T
81403	T	F	F	F	T
81404	T	*	*	*	T
81405	T	*	*	*	T
81406	T	*	*	*	T
81407	T	*	*	*	T
81408	T	*	*	*	T
81409	T	*	*	*	T
81410	T	*	*	*	T
81411	T	*	*	*	T
81412	T	F	F	F	T
81413	T	*	*	*	T
81414	T	*	*	*	T
81415	T	*	*	*	T
81416	T	*	*	*	T
81417	T	*	*	*	T
81418	T	*	*	*	T
81419	F	F	F	F	T
81420	T	*	*	*	T
81421	T	*	*	*	T
81422	T	*	*	*	T
81423	T	*	*	*	T
81424	T	*	*	*	T
81425	T	*	*	*	T
81426	T	*	*	*	T
81427	T	*	*	*	T
81428	T	F	F	F	T
81429	T	*	*	*	T
81430	T	*	*	*	T
81431	T	*	*	*	T
81432	T	*	*	*	T
81433	T	*	*	*	T
81434	T	*	*	*	T
81435	T	*	*	*	T
81436	T	*	*	*	T
81437	T	F	F	F	T
81438	T	*	*	*	T
81439	T	*	*	*	T
81440	T	*	*	*	T
81441	T	*	*	*	T
81442	T	*	*	*	T
81443	T	*	*	*	T
81444	F	F	F	F	T
81445	T	*	*	*	T
81446	T	*	*	*	T
81447	T	*	*	*	T
81448	T	*	*	*	T
81449	T	*	*	*	T
81450	T	*	*	*	T
81451	T	*	*	*	T
81452	T	*	*	*	T
81453	T	F	F	F	T
81454	T	*	*	*	T
81455	T	*	*	*	T
81456	T	*	*	*	T
81457	F	F	F	F	T
81458	T	*	*	*	T
81459	T	*	*	*	T
81460	T	*	*	*	T
81461	F	F	F	F	T
81462	T	*	*	*	T
81463	T	*	*	*	T
81464	T	*	*	*	T
81465	T	*	*	*	T
81466	T	*	*	*	T
81467	T	*	*	*	T
81468	T	*	*	*	T
81469	T	*	*	*	T
81470	T	F	F	F	T
81471	T	*	*	*	T
81472	T	*	*	*	T
81473	T	*	*	*	T
81474	F	F	F	F	T
81475	T	*	*	*	T
81476	T	*	*	*	T
81477	T	*	*	*	T
81478	T	*	*	*	T
81479	T	*	*	*	T
81480	T	*	*	*	T
81481	T	*	*	*	T
81482	T	*	*	*	T
81483	T	F	F	F	T
81484	T	*	*	*	T
81485	T	*	*	*	T
81486	T	*	*	*	T
81487	T	*	*	*	T
81488	T	*	*	*	T
81489	T	*	*	*	T
81490	T	*	*	*	T
81491	T	*	*	*	T
81492	T	F	F	F	T
81493	T	*	*	*	T
81494	T	*	*	*	T
81495	T	*	*	*	T
81496	T	*	*	*	T
81497	T	*	*	*	T
81498	T	*	*	*	T
81499	F	F	F	F	T
81500	T	*	*	*	T
81501	T	*	*	*	T
81502	T	*	*	*	T
81503	T	*	*	*	T
81504	T	*	*	*	T
81505	T	*	*	*	T
81506	T	*	*	*	T
81507	T	*	*	*	T
81508	T	F	F	F	T
81509	T	*	*	*	T
81510	T	*	*	*	T
81511	T	*	*	*	T
81512	T	*	*	*	T
81513	T	*	*	*	T
81514	T	*	*	*	T
81515	T	*	*	*	T
81516	T	*	*	*	T
81517	T	F	F	F	T
81518	T	*	*	*	T
81519	T	*	*	*	T
81520	T	*	*	*	T
81521	T	*	*	*	T
81522	T	*	*	*	T
81523	T	*	*	*	T
81524	F	F	F	F	T
81525	T	*	*	*	T
81526	T	*	*	*	T
81527	T	*	*	*	T
81528	T	*	*	*	T
81529	T	*	*	*	T
81530	T	*	*	*	T
81531	T	*	*	*	T
81532	T	*	*	*	T
81533	T	F	F	F	T
81534	T	*	*	*	T
81535	T	*	*	*	T
81536	T	*	*	*	T
81537	F	F	F	F	T
81538	T	*	*	*	T
81539	T	*	*	*	T
81540	T	*	*	*	T
81541	F	F	F	F	T
81542	T	*	*	*	T
81543	T	*	*	*	T
81544	T	*	*	*	T
81545	T	*	*	*	T
81546	T	*	*	*	T
81547	T	*	*	*	T
81548	T	*	*	*	T
81549	T	*	*	*	T
81550	T	F	F	F	T
81551	T	*	*	*	T
81552	T	*	*	*	T
81553	T	*	*	*	T
81554	F	F	F	F	T
91281	T	*	*	*	T
91282	T	*	*	*	T
91283	T	*	*	*	T
91284	T	*	*	*	T
91285	T	*	*	*	T
91286	T	*	*	*	T
91287	T	*	*	*	T
91288	T	*	*	*	T
91289	T	F	F	F	T
91290	T	*	*	*	T
91291	T	*	*	*	T
91292	T	*	*	*	T
91293	T	*	*	*	T
91294	T	*	*	*	T
91295	T	*	*	*	T
91296	T	*	*	*	T
91297	T	*	*	*	T
91298	T	F	F	F	T
91299	T	*	*	*	T
91300	T	*	*	*	T
91301	T	*	*	*	T
91302	T	*	*	*	T
91303	T	*	*	*	T
91304	T	*	*	*	T
91305	F	F	F	F	T
91306	T	*	*	*	T
91307	T	*	*	*	T
91308	T	*	*	*	T
91309	F	F	F	F	T
91310	T	*	*	*	T
91311	T	*	*	*	T
91312	T	*	*	*	T
91313	T	*	*	*	T
91314	T	*	*	*	T
91315	T	*	*	*	T
91316	T	*	*	*	T
91317	T	*	*	*	T
91318	T	F	F	F	T
91319	T	*	*	*	T
91320	T	*	*	*	T
91321	T	*	*	*	T
91322	T	*	*	*	T
91323	T	*	*	*	T
91324	T	*	*	*	T
91325	T	*	*	*	T
91326	T	*	*	*	T
91327	T	F	F	F	T
91328	T	*	*	*	T
91329	T	*	*	*	T
91330	T	*	*	*	T
91331	T	*	*	*	T
91332	T	*	*	*	T
91333	T	*	*	*	T
91334	F	F	F	F	T
91335	T	*	*	*	T
91336	T	*	*	*	T
91337	T	*	*	*	T
91338	F	F	F	F	T
91339	T	*	*	*	T
91340	T	*	*	*	T
91341	T	*	*	*	T
91342	T	*	*	*	T
91343	T	*	*	*	T
91344	T	*	*	*	T
91345	T	*	*	*	T
91346	T	*	*	*	T
91347	T	F	F	F	T
91348	T	*	*	*	T
91349	T	*	*	*	T
91350	T	*	*	*	T
91351	F	F	F	F	T
91352	T	*	*	*	T
91353	T	*	*	*	T
91354	T	*	*	*	T
91355	T	*	*	*	T
91356	T	*	*	*	T
91357	T	*	*	*	T
91358	T	*	*	*	T
91359	T	*	*	*	T
91360	T	F	F	F	T
91361	T	*	*	*	T
91362	T	*	*	*	T
91363	T	*	*	*	T
91364	F	F	F	F	T
91365	T	*	*	*	T
91366	T	*	*	*	T
91367	T	*	*	*	T
91368	T	*	*	*	T
91369	T	*	*	*	T
91370	T	*	*	*	T
91371	T	*	*	*	T
91372	T	*	*	*	T
91373	T	F	F	F	T
91374	T	*	*	*	T
91375	T	*	*	*	T
91376	T	*	*	*	T
91377	T	*	*	*	T
91378	T	*	*	*	T
91379	T	*	*	*	T
91380	T	*	*	*	T
91381	T	*	*	*	T
91382	T	F	F	F	T
91383	T	*	*	*	T
91384	T	*	*	*	T
91385	T	*	*	*	T
91386	T	*	*	*	T
91387	T	*	*	*	T
91388	T	*	*	*	T
91389	F	F	F	F	T
91390	T	*	*	*	T
91391	T	*	*	*	T
91392	T	*	*	*	T
91393	T	*	*	*	T
91394	T	*	*	*	T
91395	T	*	*	*	T
91396	T	*	*	*	T
91397	T	*	*	*	T
91398	T	F	F	F	T
91399	T	*	*	*	T
91400	T	*	*	*	T
91401	T	*	*	*	T
91402	T	*	*	*	T
91403	T	*	*	*	T
91404	T	*	*	*	T
91405	F	F	F	F	T
91406	T	*	*	*	T
91407	T	*	*	*	T
91408	T	*	*	*	T
91409	F	F	F	F	T
91410	T	*	*	*	T
91411	T	*	*	*	T
91412	T	*	*	*	T
91413	T	*	*	*	T
91414	T	*	*	*	T
91415	T	*	*	*	T
91416	T	*	*	*	T
91417	T	*	*	*	T
91418	T	F	F	F	T
91419	T	*	*	*	T
91420	T	*	*	*	T
91421	T	*	*	*	T
91422	T	*	*	*	T
91423	T	*	*	*	T
91424	T	*	*	*	T
91425	T	*	*	*	T
91426	T	*	*	*	T
91427	T	F	F	F	T
91428	T	*	*	*	T
91429	T	*	*	*	T
91430	T	*	*	*	T
91431	T	*	*	*	T
91432	T	*	*	*	T
91433	T	*	*	*	T
91434	F	F	F	F	T
91435	T	*	*	*	T
91436	T	*	*	*	T
91437	T	*	*	*	T
91438	T	*	*	*	T
91439	T	*	*	*	T
91440	T	*	*	*	T
91441	T	*	*	*	T
91442	T	*	*	*	T
91443	T	F	F	F	T
91444	T	*	*	*	T
91445	T	*	*	*	T
91446	T	*	*	*	T
91447	T	*	*	*	T
91448	T	*	*	*	T
91449	T	*	*	*	T
91450	F	F	F	F	T
91451	T	*	*	*	T
91452	T	*	*	*	T
91453	T	*	*	*	T
91454	F	F	F	F	T
99058	T	*	*	*	T
99059	T	*	*	*	T
99060	T	*	*	*	T
99061	T	*	*	*	T
99062	T	*	*	*	T
99063	T	*	*	*	T
99064	T	*	*	*	T
99065	T	*	*	*	T
99066	T	F	F	F	T
99067	T	*	*	*	T
99068	T	*	*	*	T
99069	T	*	*	*	T
99070	T	*	*	*	T
99071	T	*	*	*	T
99072	T	*	*	*	T
99073	T	*	*	*	T
99074	T	*	*	*	T
99075	T	F	F	F	T
99076	T	*	*	*	T
99077	T	*	*	*	T
99078	T	*	*	*	T
99079	T	*	*	*	T
99080	T	*	*	*	T
99081	T	*	*	*	T
99082	F	F	F	F	T
99083	T	*	*	*	T
99084	T	*	*	*	T
99085	T	*	*	*	T
99086	F	F	F	F	T
99087	T	*	*	*	T
99088	T	*	*	*	T
99089	T	*	*	*	T
99090	T	*	*	*	T
99091	T	*	*	*	T
99092	T	*	*	*	T
99093	T	*	*	*	T
99094	T	*	*	*	T
99095	T	F	F	F	T
99096	T	*	*	*	T
99097	T	*	*	*	T
99098	T	*	*	*	T
99099	T	*	*	*	T
99100	T	*	*	*	T
99101	T	*	*	*	T
99102	T	*	*	*	T
99103	T	*	*	*	T
99104	T	F	F	F	T
99105	T	*	*	*	T
99106	T	*	*	*	T
99107	T	*	*	*	T
99108	T	*	*	*	T
99109	T	*	*	*	T
99110	T	*	*	*	T
99111	F	F	F	F	T
99112	T	*	*	*	T
99113	T	*	*	*	T
99114	T	*	*	*	T
99115	F	F	F	F	T
99116	T	*	*	*	T
99117	T	*	*	*	T
99118	T	*	*	*	T
99119	T	*	*	*	T
99120	T	*	*	*	T
99121	T	*	*	*	T
99122	T	*	*	*	T
99123	T	*	*	*	T
99124	T	F	F	F	T
99125	T	*	*	*	T
99126	T	*	*	*	T
99127	T	*	*	*	T
99128	F	F	F	F	T
99129	T	*	*	*	T
99130	T	*	*	*	T
99131	T	*	*	*	T
99132	T	*	*	*	T
99133	T	*	*	*	T
99134	T	*	*	*	T
99135	T	*	*	*	T
99136	T	*	*	*	T
99137	T	F	F	F	T
99138	T	*	*	*	T
99139	T	*	*	*	T
99140	T	*	*	*	T
99141	F	F	F	F	T
99142	T	*	*	*	T
99143	T	*	*	*	T
99144	T	*	*	*	T
99145	T	*	*	*	T
99146	T	*	*	*	T
99147	T	*	*	*	T
99148	T	*	*	*	T
99149	T	*	*	*	T
99150	T	F	F	F	T
99151	T	*	*	*	T
99152	T	*	*	*	T
99153	T	*	*	*	T
99154	T	*	*	*	T
99155	T	*	*	*	T
99156	T	*	*	*	T
99157	T	*	*	*	T
99158	T	*	*	*	T
99159	T	F	F	F	T
99160	T	*	*	*	T
99161	T	*	*	*	T
99162	T	*	*	*	T
99163	T	*	*	*	T
99164	T	*	*	*	T
99165	T	*	*	*	T
99166	F	F	F	F	T
99167	T	*	*	*	T
99168	T	*	*	*	T
99169	T	*	*	*	T
99170	T	*	*	*	T
99171	T	*	*	*	T
99172	T	*	*	*	T
99173	T	*	*	*	T
99174	T	*	*	*	T
99175	T	F	F	F	T
99176	T	*	*	*	T
99177	T	*	*	*	T
99178	T	*	*	*	T
99179	T	*	*	*	T
99180	T	*	*	*	T
99181	T	*	*	*	T
99182	F	F	F	F	T
99183	T	*	*	*	T
99184	T	*	*	*	T
99185	T	*	*	*	T
99186	F	F	F	F	T
99187	T	*	*	*	T
99188	T	*	*	*	T
99189	T	*	*	*	T
99190	T	*	*	*	T
99191	T	*	*	*	T
99192	T	*	*	*	T
99193	T	*	*	*	T
99194	T	*	*	*	T
99195	T	F	F	F	T
99196	T	*	*	*	T
99197	T	*	*	*	T
99198	T	*	*	*	T
99199	T	*	*	*	T
99200	T	*	*	*	T
99201	T	*	*	*	T
99202	T	*	*	*	T
99203	T	*	*	*	T
99204	T	F	F	F	T
99205	T	*	*	*	T
99206	T	*	*	*	T
99207	T	*	*	*	T
99208	T	*	*	*	T
99209	T	*	*	*	T
99210	T	*	*	*	T
99211	F	F	F	F	T
99212	T	*	*	*	T
99213	T	*	*	*	T
99214	T	*	*	*	T
99215	T	*	*	*	T
99216	T	*	*	*	T
99217	T	*	*	*	T
99218	T	*	*	*	T
99219	T	*	*	*	T
99220	T	F	F	F	T
99221	T	*	*	*	T
99222	T	*	*	*	T
99223	T	*	*	*	T
99224	T	*	*	*	T
99225	T	*	*	*	T
99226	T	*	*	*	T
99227	F	F	F	F	T
99228	T	*	*	*	T
99229	T	*	*	*	T
99230	T	*	*	*	T
99231	F	F	F	F	T
107549	T	*	*	*	T
107550	T	*	*	*	T
107551	T	*	*	*	T
107552	T	*	*	*	T
107553	T	*	*	*	T
107554	T	*	*	*	T
107555	T	*	*	*	T
107556	T	*	*	*	T
107557	T	F	F	F	T
107558	T	*	*	*	T
107559	T	*	*	*	T
107560	T	*	*	*	T
107561	T	*	*	*	T
107562	T	*	*	*	T
107563	T	*	*	*	T
107564	T	*	*	*	T
107565	T	*	*	*	T
107566	T	F	F	F	T
107567	T	*	*	*	T
107568	T	*	*	*	T
107569	T	*	*	*	T
107570	T	*	*	*	T
107571	T	*	*	*	T
107572	T	*	*	*	T
107573	F	F	F	F	T
107574	T	*	*	*	T
107575	T	*	*	*	T
107576	T	*	*	*	T
107577	F	F	F	F	T
107578	T	*	*	*	T
107579	T	*	*	*	T
107580	T	*	*	*	T
107581	T	*	*	*	T
107582	T	*	*	*	T
107583	T	*	*	*	T
107584	T	*	*	*	T
107585	T	*	*	*	T
107586	T	F	F	F	T
107587	T	*	*	*	T
107588	T	*	*	*	T
107589	T	*	*	*	T
107590	T	*	*	*	T
107591	T	*	*	*	T
107592	T	*	*	*	T
107593	T	*	*	*	T
107594	T	*	*	*	T
107595	T	F	F	F	T
107596	T	*	*	*	T
107597	T	*	*	*	T
107598	T	*	*	*	T
107599	T	*	*	*	T
107600	T	*	*	*	T
107601	T	*	*	*	T
107602	F	F	F	F	T
107603	T	*	*	*	T
107604	T	*	*	*	T
107605	T	*	*	*	T
107606	F	F	F	F	T
107607	T	*	*	*	T
107608	T	*	*	*	T
107609	T	*	*	*	T
107610	T	*	*	*	T
107611	T	*	*	*	T
107612	T	*	*	*	T
107613	T	*	*	*	T
107614	T	*	*	*	T
107615	T	F	F	F	T
107616	T	*	*	*	T
107617	T	*	*	*	T
107618	T	*	*	*	T
107619	F	F	F	F	T
107620	T	*	*	*	T
107621	T	*	*	*	T
107622	T	*	*	*	T
107623	T	*	*	*	T
107624	T	*	*	*	T
107625	T	*	*	*	T
107626	T	*	*	*	T
107627	T	*	*	*	T
107628	T	F	F	F	T
107629	T	*	*	*	T
107630	T	*	*	*	T
107631	T	*	*	*	T
107632	F	F	F	F	T
107633	T	*	*	*	T
107634	T	*	*	*	T
107635	T	*	*	*	T
107636	T	*	*	*	T
107637	T	*	*	*	T
107638	T	*	*	*	T
107639	T	*	*	*	T
107640	T	*	*	*	T
107641	T	F	F	F	T
107642	T	*	*	*	T
107643	T	*	*	*	T
107644	T	*	*	*	T
107645	T	*	*	*	T
107646	T	*	*	*	T
107647	T	*	*	*	T
107648	T	*	*	*	T
107649	T	*	*	*	T
107650	T	F	F	F	T
107651	T	*	*	*	T
107652	T	*	*	*	T
107653	T	*	*	*	T
107654	T	*	*	*	T
107655	T	*	*	*	T
107656	T	*	*	*	T
107657	F	F	F	F	T
107658	T	*	*	*	T
107659	T	*	*	*	T
107660	T	*	*	*	T
107661	T	*	*	*	T
107662	T	*	*	*	T
107663	T	*	*	*	T
107664	T	*	*	*	T
107665	T	*	*	*	T
107666	T	F	F	F	T
107667	T	*	*	*	T
107668	T	*	*	*	T
107669	T	*	*	*	T
107670	T	*	*	*	T
107671	T	*	*	*	T
107672	T	*	*	*	T
107673	F	F	F	F	T
107674	T	*	*	*	T
107675	T	*	*	*	T
107676	T	*	*	*	T
107677	F	F	F	F	T
107678	T	*	*	*	T
107679	T	*	*	*	T
107680	T	*	*	*	T
107681	T	*	*	*	T
107682	T	*	*	*	T
107683	T	*	*	*	T
107684	T	*	*	*	T
107685	T	*	*	*	T
107686	T	F	F	F	T
107687	T	*	*	*	T
107688	T	*	*	*	T
107689	T	*	*	*	T
107690	T	*	*	*	T
107691	T	*	*	*	T
107692	T	*	*	*	T
107693	T	*	*	*	T
107694	T	*	*	*	T
107695	T	F	F	F	T
107696	T	*	*	*	T
107697	T	*	*	*	T
107698	T	*	*	*	T
107699	T	*	*	*	T
107700	T	*	*	*	T
107701	T	*	*	*	T
107702	F	F	F	F	T
107703	T	*	*	*	T
107704	T	*	*	*	T
107705	T	*	*	*	T
107706	T	*	*	*	T
107707	T	*	*	*	T
107708	T	*	*	*	T
107709	T	*	*	*	T
107710	T	*	*	*	T
107711	T	F	F	F	T
107712	T	*	*	*	T
107713	T	*	*	*	T
107714	T	*	*	*	T
107715	T	*	*	*	T
107716	T	*	*	*	T
107717	T	*	*	*	T
107718	F	F	F	F	T
107719	T	*	*	*	T
107720	T	*	*	*	T
107721	T	*	*	*	T
107722	F	F	F	F	T
115625	T	*	*	*	T
115626	T	*	*	*	T
115627	T	*	*	*	T
115628	T	*	*	*	T
115629	T	*	*	*	T
115630	T	*	*	*	T
115631	T	*	*	*	T
115632	T	*	*	*	T
115633	T	F	F	F	T
115634	T	*	*	*	T
115635	T	*	*	*	T
115636	T	*	*	*	T
115637	T	*	*	*	T
115638	T	*	*	*	T
115639	T	*	*	*	T
115640	T	*	*	*	T
115641	T	*	*	*	T
115642	T	F	F	F	T
115643	T	*	*	*	T
115644	T	*	*	*	T
115645	T	*	*	*	T
115646	T	*	*	*	T
115647	T	*	*	*	T
115648	T	*	*	*	T
115649	F	F	F	F	T
115650	T	*	*	*	T
115651	T	*	*	*	T
115652	T	*	*	*	T
115653	F	F	F	F	T
115654	T	*	*	*	T
115655	T	*	*	*	T
115656	T	*	*	*	T
115657	T	*	*	*	T
115658	T	*	*	*	T
115659	T	*	*	*	T
115660	T	*	*	*	T
115661	T	*	*	*	T
115662	T	F	F	F	T
115663	T	*	*	*	T
115664	T	*	*	*	T
115665	T	*	*	*	T
115666	T	*	*	*	T
115667	T	*	*	*	T
115668	T	*	*	*	T
115669	T	*	*	*	T
115670	T	*	*	*	T
115671	T	F	F	F	T
115672	T	*	*	*	T
115673	T	*	*	*	T
115674	T	*	*	*	T
115675	T	*	*	*	T
115676	T	*	*	*	T
115677	T	*	*	*	T
115678	F	F	F	F	T
115679	T	*	*	*	T
115680	T	*	*	*	T
115681	T	*	*	*	T
115682	F	F	F	F	T
115683	T	*	*	*	T
115684	T	*	*	*	T
115685	T	*	*	*	T
115686	T	*	*	*	T
115687	T	*	*	*	T
115688	T	*	*	*	T
115689	T	*	*	*	T
115690	T	*	*	*	T
115691	T	F	F	F	T
115692	T	*	*	*	T
115693	T	*	*	*	T
115694	T	*	*	*	T
115695	F	F	F	F	T
115696	T	*	*	*	T
115697	T	*	*	*	T
115698	T	*	*	*	T
115699	T	*	*	*	T
115700	T	*	*	*	T
115701	T	*	*	*	T
115702	T	*	*	*	T
115703	T	*	*	*	T
115704	T	F	F	F	T
115705	T	*	*	*	T
115706	T	*	*	*	T
115707	T	*	*	*	T
115708	F	F	F	F	T
115709	T	*	*	*	T
115710	T	*	*	*	T
115711	T	*	*	*	T
115712	T	*	*	*	T
115713	T	*	*	*	T
115714	T	*	*	*	T
115715	T	*	*	*	T
115716	T	*	*	*	T
115717	T	F	F	F	T
115718	T	*	*	*	T
115719	T	*	*	*	T
115720	T	*	*	*	T
115721	T	*	*	*	T
115722	T	*	*	*	T
115723	T	*	*	*	T
115724	T	*	*	*	T
115725	T	*	*	*	T
115726	T	F	F	F	T
115727	T	*	*	*	T
115728	T	*	*	*	T
115729	T	*	*	*	T
115730	T	*	*	*	T
115731	T	*	*	*	T
115732	T	*	*	*	T
115733	F	F	F	F	T
115734	T	*	*	*	T
115735	T	*	*	*	T
115736	T	*	*	*	T
115737	T	*	*	*	T
115738	T	*	*	*	T
115739	T	*	*	*	T
115740	T	*	*	*	T
115741	T	*	*	*	T
115742	T	F	F	F	T
115743	T	*	*	*	T
115744	T	*	*	*	T
115745	T	*	*	*	T
115746	T	*	*	*	T
115747	T	*	*	*	T
115748	T	*	*	*	T
115749	F	F	F	F	T
115750	T	*	*	*	T
115751	T	*	*	*	T
115752	T	*	*	*	T
115753	F	F	F	F	T
115754	T	*	*	*	T
115755	T	*	*	*	T
115756	T	*	*	*	T
115757	T	*	*	*	T
115758	T	*	*	*	T
115759	T	*	*	*	T
115760	T	*	*	*	T
115761	T	*	*	*	T
115762	T	F	F	F	T
115763	T	*	*	*	T
115764	T	*	*	*	T
115765	T	*	*	*	T
115766	T	*	*	*	T
115767	T	*	*	*	T
115768	T	*	*	*	T
115769	T	*	*	*	T
115770	T	*	*	*	T
115771	T	F	F	F	T
115772	T	*	*	*	T
115773	T	*	*	*	T
115774	T	*	*	*	T
115775	T	*	*	*	T
115776	T	*	*	*	T
115777	T	*	*	*	T
115778	F	F	F	F	T
115779	T	*	*	*	T
115780	T	*	*	*	T
115781	T	*	*	*	T
115782	T	*	*	*	T
115783	T	*	*	*	T
115784	T	*	*	*	T
115785	T	*	*	*	T
115786	T	*	*	*	T
115787	T	F	F	F	T
115788	T	*	*	*	T
115789	T	*	*	*	T
115790	T	*	*	*	T
115791	T	*	*	*	T
115792	T	*	*	*	T
115793	T	*	*	*	T
115794	F	F	F	F	T
115795	T	*	*	*	T
115796	T	*	*	*	T
115797	T	*	*	*	T
115798	F	F	F	F	T
123592	T	*	*	*	T
123593	T	*	*	*	T
123594	T	*	*	*	T
123595	T	*	*	*	T
123596	T	*	*	*	T
123597	T	*	*	*	T
123598	T	*	*	*	T
123599	T	*	*	*	T
123600	T	F	F	F	T
123601	T	*	*	*	T
123602	T	*	*	*	T
123603	T	*	*	*	T
123604	T	*	*	*	T
123605	T	*	*	*	T
123606	T	*	*	*	T
123607	T	*	*	*	T
123608	T	*	*	*	T
123609	T	F	F	F	T
123610	T	*	*	*	T
123611	T	*	*	*	T
123612	T	*	*	*	T
123613	T	*	*	*	T
123614	T	*	*	*	T
123615	T	*	*	*	T
123616	T	*	*	*	T
123617	T	*	*	*	T
123618	T	F	F	F	T
123619	T	*	*	*	T
123620	T	*	*	*	T
123621	T	*	*	*	T
123622	T	*	*	*	T
123623	T	*	*	*	T
123624	T	*	*	*	T
123625	T	*	*	*	T
123626	T	*	*	*	T
123627	T	F	F	F	T
123628	T	*	*	*	T
123629	T	*	*	*	T
123630	T	*	*	*	T
123631	T	*	*	*	T
123632	T	*	*	*	T
123633	T	*	*	*	T
123634	T	*	*	*	T
123635	T	*	*	*	T
123636	T	F	F	F	T
123637	T	*	*	*	T
123638	T	*	*	*	T
123639	T	*	*	*	T
123640	T	*	*	*	T
123641	T	*	*	*	T
123642	T	*	*	*	T
123643	F	F	F	F	T
123644	T	*	*	*	T
123645	T	*	*	*	T
123646	T	*	*	*	T
123647	T	*	*	*	T
123648	T	*	*	*	T
123649	T	*	*	*	T
123650	T	*	*	*	T
123651	T	*	*	*	T
123652	T	F	F	F	T
123653	T	*	*	*	T
123654	T	*	*	*	T
123655	T	*	*	*	T
123656	F	F	F	F	T
123657	T	*	*	*	T
123658	T	*	*	*	T
123659	T	*	*	*	T
123660	F	F	F	F	T
123661	T	*	*	*	T
123662	T	*	*	*	T
123663	T	*	*	*	T
123664	T	*	*	*	T
123665	T	*	*	*	T
123666	T	*	*	*	T
123667	T	*	*	*	T
123668	T	*	*	*	T
123669	T	F	F	F	T
123670	T	*	*	*	T
123671	T	*	*	*	T
123672	T	*	*	*	T
123673	F	F	F	F	T
123674	T	*	*	*	T
123675	T	*	*	*	T
123676	T	*	*	*	T
123677	T	*	*	*	T
123678	T	*	*	*	T
123679	T	*	*	*	T
123680	T	*	*	*	T
123681	T	*	*	*	T
123682	T	F	F	F	T
123683	T	*	*	*	T
123684	T	*	*	*	T
123685	T	*	*	*	T
123686	T	*	*	*	T
123687	T	*	*	*	T
123688	T	*	*	*	T
123689	T	*	*	*	T
123690	T	*	*	*	T
123691	T	F	F	F	T
123692	T	*	*	*	T
123693	T	*	*	*	T
123694	T	*	*	*	T
123695	T	*	*	*	T
123696	T	*	*	*	T
123697	T	*	*	*	T
123698	T	*	*	*	T
123699	T	*	*	*	T
123700	T	F	F	F	T
123701	T	*	*	*	T
123702	T	*	*	*	T
123703	T	*	*	*	T
123704	T	*	*	*	T
123705	T	*	*	*	T
123706	T	*	*	*	T
123707	T	*	*	*	T
123708	T	*	*	*	T
123709	T	F	F	F	T
123710	T	*	*	*	T
123711	T	*	*	*	T
123712	T	*	*	*	T
123713	T	*	*	*	T
123714	T	*	*	*	T
123715	T	*	*	*	T
123716	T	*	*	*	T
123717	T	*	*	*	T
123718	T	F	F	F	T
123719	T	*	*	*	T
123720	T	*	*	*	T
123721	T	*	*	*	T
123722	T	*	*	*	T
123723	T	*	*	*	T
123724	T	*	*	*	T
123725	F	F	F	F	T
123726	T	*	*	*	T
123727	T	*	*	*	T
123728	T	*	*	*	T
123729	T	*	*	*	T
123730	T	*	*	*	T
123731	T	*	*	*	T
123732	T	*	*	*	T
123733	T	*	*	*	T
123734	T	F	F	F	T
123735	T	*	*	*	T
123736	T	*	*	*	T
123737	T	*	*	*	T
123738	F	F	F	F	T
123739	T	*	*	*	T
123740	T	*	*	*	T
123741	T	*	*	*	T
123742	F	F	F	F	T
123743	T	*	*	*	T
123744	T	*	*	*	T
123745	T	*	*	*	T
123746	T	*	*	*	T
123747	T	*	*	*	T
123748	T	*	*	*	T
123749	T	*	*	*	T
123750	T	*	*	*	T
123751	T	F	F	F	T
123752	T	*	*	*	T
123753	T	*	*	*	T
123754	T	*	*	*	T
123755	F	F	F	F	T
140311	T	*	*	*	T
140312	T	*	*	*	T
140313	T	*	*	*	T
140314	T	*	*	*	T
140315	T	*	*	*	T
140316	T	*	*	*	T
140317	T	*	*	*	T
140318	T	*	*	*	T
140319	T	F	F	F	T
140320	T	*	*	*	T
140321	T	*	*	*	T
140322	T	*	*	*	T
140323	T	*	*	*	T
140324	T	*	*	*	T
140325	T	*	*	*	T
140326	T	*	*	*	T
140327	T	*	*	*	T
140328	T	F	F	F	T
140329	T	*	*	*	T
140330	T	*	*	*	T
140331	T	*	*	*	T
140332	T	*	*	*	T
140333	T	*	*	*	T
140334	T	*	*	*	T
140335	T	*	*	*	T
140336	T	*	*	*	T
140337	T	F	F	F	T
140338	T	*	*	*	T
140339	T	*	*	*	T
140340	T	*	*	*	T
140341	T	*	*	*	T
140342	T	*	*	*	T
140343	T	*	*	*	T
140344	T	*	*	*	T
140345	T	*	*	*	T
140346	T	F	F	F	T
140347	T	*	*	*	T
140348	T	*	*	*	T
140349	T	*	*	*	T
140350	T	*	*	*	T
140351	T	*	*	*	T
140352	T	*	*	*	T
140353	T	*	*	*	T
140354	T	*	*	*	T
140355	T	F	F	F	T
140356	T	*	*	*	T
140357	T	*	*	*	T
140358	T	*	*	*	T
140359	T	*	*	*	T
140360	T	*	*	*	T
140361	T	*	*	*	T
140362	F	F	F	F	T
140363	T	*	*	*	T
140364	T	*	*	*	T
140365	T	*	*	*	T
140366	T	*	*	*	T
140367	T	*	*	*	T
140368	T	*	*	*	T
140369	T	*	*	*	T
140370	T	*	*	*	T
140371	T	F	F	F	T
140372	T	*	*	*	T
140373	T	*	*	*	T
140374	T	*	*	*	T
140375	F	F	F	F	T
140376	T	*	*	*	T
140377	T	*	*	*	T
140378	T	*	*	*	T
140379	F	F	F	F	T
140380	T	*	*	*	T
140381	T	*	*	*	T
140382	T	*	*	*	T
140383	T	*	*	*	T
140384	T	*	*	*	T
140385	T	*	*	*	T
140386	T	*	*	*	T
140387	T	*	*	*	T
140388	T	F	F	F	T
140389	T	*	*	*	T
140390	T	*	*	*	T
140391	T	*	*	*	T
140392	F	F	F	F	T
140393	T	*	*	*	T
140394	T	*	*	*	T
140395	T	*	*	*	T
140396	T	*	*	*	T
140397	T	*	*	*	T
140398	T	*	*	*	T
140399	T	*	*	*	T
140400	T	*	*	*	T
140401	T	F	F	F	T
140402	T	*	*	*	T
140403	T	*	*	*	T
140404	T	*	*	*	T
140405	T	*	*	*	T
140406	T	*	*	*	T
140407	T	*	*	*	T
140408	T	*	*	*	T
140409	T	*	*	*	T
140410	T	F	F	F	T
140411	T	*	*	*	T
140412	T	*	*	*	T
140413	T	*	*	*	T
140414	T	*	*	*	T
140415	T	*	*	*	T
140416	T	*	*	*	T
140417	T	*	*	*	T
140418	T	*	*	*	T
140419	T	F	F	F	T
140420	T	*	*	*	T
140421	T	*	*	*	T
140422	T	*	*	*	T
140423	T	*	*	*	T
140424	T	*	*	*	T
140425	T	*	*	*	T
140426	T	*	*	*	T
140427	T	*	*	*	T
140428	T	F	F	F	T
140429	T	*	*	*	T
140430	T	*	*	*	T
140431	T	*	*	*	T
140432	T	*	*	*	T
140433	T	*	*	*	T
140434	T	*	*	*	T
140435	T	*	*	*	T
140436	T	*	*	*	T
140437	T	F	F	F	T
140438	T	*	*	*	T
140439	T	*	*	*	T
140440	T	*	*	*	T
140441	T	*	*	*	T
140442	T	*	*	*	T
140443	T	*	*	*	T
140444	F	F	F	F	T
140445	T	*	*	*	T
140446	T	*	*	*	T
140447	T	*	*	*	T
140448	T	*	*	*	T
140449	T	*	*	*	T
140450	T	*	*	*	T
140451	T	*	*	*	T
140452	T	*	*	*	T
140453	T	F	F	F	T
140454	T	*	*	*	T
140455	T	*	*	*	T
140456	T	*	*	*	T
140457	F	F	F	F	T
140458	T	*	*	*	T
140459	T	*	*	*	T
140460	T	*	*	*	T
140461	F	F	F	F	T
140462	T	*	*	*	T
140463	T	*	*	*	T
140464	T	*	*	*	T
140465	T	*	*	*	T
140466	T	*	*	*	T
140467	T	*	*	*	T
140468	T	*	*	*	T
140469	T	*	*	*	T
140470	T	F	F	F	T
140471	T	*	*	*	T
140472	T	*	*	*	T
140473	T	*	*	*	T
140474	F	F	F	F	T
157215	T	*	*	*	T
157216	T	*	*	*	T
157217	T	*	*	*	T
157218	T	*	*	*	T
157219	T	*	*	*	T
157220	T	*	*	*	T
157221	T	*	*	*	T
157222	T	*	*	*	T
157223	T	F	F	F	T
157224	T	*	*	*	T
157225	T	*	*	*	T
157226	T	*	*	*	T
157227	T	*	*	*	T
157228	T	*	*	*	T
157229	T	*	*	*	T
157230	T	*	*	*	T
157231	T	*	*	*	T
157232	T	F	F	F	T
157233	T	*	*	*	T
157234	T	*	*	*	T
157235	T	*	*	*	T
157236	T	*	*	*	T
157237	T	*	*	*	T
157238	T	*	*	*	T
157239	F	F	F	F	T
157240	T	*	*	*	T
157241	T	*	*	*	T
157242	T	*	*	*	T
157243	F	F	F	F	T
157244	T	*	*	*	T
157245	T	*	*	*	T
157246	T	*	*	*	T
157247	T	*	*	*	T
157248	T	*	*	*	T
157249	T	*	*	*	T
157250	T	*	*	*	T
157251	T	*	*	*	T
157252	T	F	F	F	T
157253	T	*	*	*	T
157254	T	*	*	*	T
157255	T	*	*	*	T
157256	T	*	*	*	T
157257	T	*	*	*	T
157258	T	*	*	*	T
157259	T	*	*	*	T
157260	T	*	*	*	T
157261	T	F	F	F	T
157262	T	*	*	*	T
157263	T	*	*	*	T
157264	T	*	*	*	T
157265	T	*	*	*	T
157266	T	*	*	*	T
157267	T	*	*	*	T
157268	F	F	F	F	T
157269	T	*	*	*	T
157270	T	*	*	*	T
157271	T	*	*	*	T
157272	F	F	F	F	T
157273	T	*	*	*	T
157274	T	*	*	*	T
157275	T	*	*	*	T
157276	T	*	*	*	T
157277	T	*	*	*	T
157278	T	*	*	*	T
157279	T	*	*	*	T
157280	T	*	*	*	T
157281	T	F	F	F	T
157282	T	*	*	*	T
157283	T	*	*	*	T
157284	T	*	*	*	T
157285	T	*	*	*	T
157286	T	*	*	*	T
157287	T	*	*	*	T
157288	T	*	*	*	T
157289	T	*	*	*	T
157290	T	F	F	F	T
157291	T	*	*	*	T
157292	T	*	*	*	T
157293	T	*	*	*	T
157294	T	*	*	*	T
157295	T	*	*	*	T
157296	T	*	*	*	T
157297	F	F	F	F	T
157298	T	*	*	*	T
157299	T	*	*	*	T
157300	T	*	*	*	T
157301	F	F	F	F	T
157302	T	*	*	*	T
157303	T	*	*	*	T
157304	T	*	*	*	T
157305	T	*	*	*	T
157306	T	*	*	*	T
157307	T	*	*	*	T
157308	T	*	*	*	T
157309	T	*	*	*	T
157310	T	F	F	F	T
157311	T	*	*	*	T
157312	T	*	*	*	T
157313	T	*	*	*	T
157314	T	*	*	*	T
157315	T	*	*	*	T
157316	T	*	*	*	T
157317	T	*	*	*	T
157318	T	*	*	*	T
157319	T	F	F	F	T
157320	T	*	*	*	T
157321	T	*	*	*	T
157322	T	*	*	*	T
157323	T	*	*	*	T
157324	T	*	*	*	T
157325	T	*	*	*	T
157326	F	F	F	F	T
157327	T	*	*	*	T
157328	T	*	*	*	T
157329	T	*	*	*	T
157330	F	F	F	F	T
157331	T	*	*	*	T
157332	T	*	*	*	T
157333	T	*	*	*	T
157334	T	*	*	*	T
157335	T	*	*	*	T
157336	T	*	*	*	T
157337	T	*	*	*	T
157338	T	*	*	*	T
157339	T	F	F	F	T
157340	T	*	*	*	T
157341	T	*	*	*	T
157342	T	*	*	*	T
157343	T	*	*	*	T
157344	T	*	*	*	T
157345	T	*	*	*	T
157346	T	*	*	*	T
157347	T	*	*	*	T
157348	T	F	F	F	T
157349	T	*	*	*	T
157350	T	*	*	*	T
157351	T	*	*	*	T
157352	T	*	*	*	T
157353	T	*	*	*	T
157354	T	*	*	*	T
157355	F	F	F	F	T
157356	T	*	*	*	T
157357	T	*	*	*	T
157358	T	*	*	*	T
157359	F	F	F	F	T
157360	T	*	*	*	T
157361	T	*	*	*	T
157362	T	*	*	*	T
157363	T	*	*	*	T
157364	T	*	*	*	T
157365	T	*	*	*	T
157366	T	*	*	*	T
157367	T	*	*	*	T
157368	T	F	F	F	T
157369	T	*	*	*	T
157370	T	*	*	*	T
157371	T	*	*	*	T
157372	T	*	*	*	T
157373	T	*	*	*	T
157374	T	*	*	*	T
157375	T	*	*	*	T
157376	T	*	*	*	T
157377	T	F	F	F	T
157378	T	*	*	*	T
157379	T	*	*	*	T
157380	T	*	*	*	T
157381	T	*	*	*	T
157382	T	*	*	*	T
157383	T	*	*	*	T
157384	F	F	F	F	T
157385	T	*	*	*	T
157386	T	*	*	*	T
157387	T	*	*	*	T
157388	F	F	F	F	T
157389	T	*	*	*	T
157390	T	*	*	*	T
157391	T	*	*	*	T
157392	T	*	*	*	T
157393	T	*	*	*	T
157394	T	*	*	*	T
157395	T	*	*	*	T
157396	T	*	*	*	T
157397	T	F	F	F	T
157398	T	*	*	*	T
157399	T	*	*	*	T
157400	T	*	*	*	T
157401	T	*	*	*	T
157402	T	*	*	*	T
157403	T	*	*	*	T
157404	T	*	*	*	T
157405	T	*	*	*	T
157406	T	F	F	F	T
157407	T	*	*	*	T
157408	T	*	*	*	T
157409	T	*	*	*	T
157410	T	*	*	*	T
157411	T	*	*	*	T
157412	T	*	*	*	T
157413	F	F	F	F	T
157414	T	*	*	*	T
157415	T	*	*	*	T
157416	T	*	*	*	T
157417	F	F	F	F	T
157418	T	*	*	*	T
157419	T	*	*	*	T
157420	T	*	*	*	T
157421	T	*	*	*	T
157422	T	*	*	*	T
157423	T	*	*	*	T
157424	T	*	*	*	T
157425	T	*	*	*	T
157426	T	F	F	F	T
157427	T	*	*	*	T
157428	T	*	*	*	T
157429	T	*	*	*	T
157430	T	*	*	*	T
157431	T	*	*	*	T
157432	T	*	*	*	T
157433	T	*	*	*	T
157434	T	*	*	*	T
157435	T	F	F	F	T
157436	T	*	*	*	T
157437	T	*	*	*	T
157438	T	*	*	*	T
157439	T	*	*	*	T
157440	T	*	*	*	T
157441	T	*	*	*	T
157442	F	F	F	F	T
157443	T	*	*	*	T
157444	T	*	*	*	T
157445	T	*	*	*	T
157446	F	F	F	F	T
157447	T	*	*	*	T
157448	T	*	*	*	T
157449	T	*	*	*	T
157450	T	*	*	*	T
157451	T	*	*	*	T
157452	T	*	*	*	T
157453	T	*	*	*	T
157454	T	*	*	*	T
157455	T	F	F	F	T
157456	T	*	*	*	T
157457	T	*	*	*	T
157458	T	*	*	*	T
157459	T	*	*	*	T
157460	T	*	*	*	T
157461	T	*	*	*	T
157462	T	*	*	*	T
157463	T	*	*	*	T
157464	T	F	F	F	T
157465	T	*	*	*	T
157466	T	*	*	*	T
157467	T	*	*	*	T
157468	T	*	*	*	T
157469	T	*	*	*	T
157470	T	*	*	*	T
157471	F	F	F	F	T
157472	T	*	*	*	T
157473	T	*	*	*	T
157474	T	*	*	*	T
157475	F	F	F	F	T
157476	T	*	*	*	T
157477	T	*	*	*	T
157478	T	*	*	*	T
157479	T	*	*	*	T
157480	T	*	*	*	T
157481	T	*	*	*	T
157482	T	*	*	*	T
157483	T	*	*	*	T
157484	T	F	F	F	T
157485	T	*	*	*	T
157486	T	*	*	*	T
157487	T	*	*	*	T
157488	T	*	*	*	T
157489	T	*	*	*	T
157490	T	*	*	*	T
157491	T	*	*	*	T
157492	T	*	*	*	T
157493	T	F	F	F	T
157494	T	*	*	*	T
157495	T	*	*	*	T
157496	T	*	*	*	T
157497	T	*	*	*	T
157498	T	*	*	*	T
157499	T	*	*	*	T
157500	F	F	F	F	T
157501	T	*	*	*	T
157502	T	*	*	*	T
157503	T	*	*	*	T
157504	F	F	F	F	T
157505	T	*	*	*	T
157506	T	*	*	*	T
157507	T	*	*	*	T
157508	T	*	*	*	T
157509	T	*	*	*	T
157510	T	*	*	*	T
157511	T	*	*	*	T
157512	T	*	*	*	T
157513	T	F	F	F	T
157514	T	*	*	*	T
157515	T	*	*	*	T
157516	T	*	*	*	T
157517	T	*	*	*	T
157518	T	*	*	*	T
157519	T	*	*	*	T
157520	T	*	*	*	T
157521	T	*	*	*	T
157522	T	F	F	F	T
157523	T	*	*	*	T
157524	T	*	*	*	T
157525	T	*	*	*	T
157526	T	*	*	*	T
157527	T	*	*	*	T
157528	T	*	*	*	T
157529	F	F	F	F	T
157530	T	*	*	*	T
157531	T	*	*	*	T
157532	T	*	*	*	T
157533	F	F	F	F	T
157534	T	*	*	*	T
157535	T	*	*	*	T
157536	T	*	*	*	T
157537	T	*	*	*	T
157538	T	*	*	*	T
157539	T	*	*	*	T
157540	T	*	*	*	T
157541	T	*	*	*	T
157542	T	F	F	F	T
157543	T	*	*	*	T
157544	T	*	*	*	T
157545	T	*	*	*	T
157546	T	*	*	*	T
157547	T	*	*	*	T
157548	T	*	*	*	T
157549	T	*	*	*	T
157550	T	*	*	*	T
157551	T	F	F	F	T
157552	T	*	*	*	T
157553	T	*	*	*	T
157554	T	*	*	*	T
157555	T	*	*	*	T
157556	T	*	*	*	T
157557	T	*	*	*	T
157558	F	F	F	F	T
157559	T	*	*	*	T
157560	T	*	*	*	T
157561	T	*	*	*	T
157562	F	F	F	F	T
167073	T	*	*	*	T
167074	T	*	*	*	T
167075	T	*	*	*	T
167076	T	*	*	*	T
167077	T	*	*	*	T
167078	T	*	*	*	T
167079	T	*	*	*	T
167080	T	*	*	*	T
167081	T	F	F	F	T
167082	T	*	*	*	T
167083	T	*	*	*	T
167084	T	*	*	*	T
167085	T	*	*	*	T
167086	T	*	*	*	T
167087	T	*	*	*	T
167088	T	*	*	*	T
167089	T	*	*	*	T
167090	T	F	F	F	T
167091	T	*	*	*	T
167092	T	*	*	*	T
167093	T	*	*	*	T
167094	T	*	*	*	T
167095	T	*	*	*	T
167096	T	*	*	*	T
167097	F	F	F	F	T
167098	T	*	*	*	T
167099	T	*	*	*	T
167100	T	*	*	*	T
167101	F	F	F	F	T
167102	T	*	*	*	T
167103	T	*	*	*	T
167104	T	*	*	*	T
167105	T	*	*	*	T
167106	T	*	*	*	T
167107	T	*	*	*	T
167108	T	*	*	*	T
167109	T	*	*	*	T
167110	T	F	F	F	T
167111	T	*	*	*	T
167112	T	*	*	*	T
167113	T	*	*	*	T
167114	T	*	*	*	T
167115	T	*	*	*	T
167116	T	*	*	*	T
167117	T	*	*	*	T
167118	T	*	*	*	T
167119	T	F	F	F	T
167120	T	*	*	*	T
167121	T	*	*	*	T
167122	T	*	*	*	T
167123	T	*	*	*	T
167124	T	*	*	*	T
167125	T	*	*	*	T
167126	F	F	F	F	T
167127	T	*	*	*	T
167128	T	*	*	*	T
167129	T	*	*	*	T
167130	F	F	F	F	T
167131	T	*	*	*	T
167132	T	*	*	*	T
167133	T	*	*	*	T
167134	T	*	*	*	T
167135	T	*	*	*	T
167136	T	*	*	*	T
167137	T	*	*	*	T
167138	T	*	*	*	T
167139	T	F	F	F	T
167140	T	*	*	*	T
167141	T	*	*	*	T
167142	T	*	*	*	T
167143	T	*	*	*	T
167144	T	*	*	*	T
167145	T	*	*	*	T
167146	T	*	*	*	T
167147	T	*	*	*	T
167148	T	F	F	F	T
167149	T	*	*	*	T
167150	T	*	*	*	T
167151	T	*	*	*	T
167152	T	*	*	*	T
167153	T	*	*	*	T
167154	T	*	*	*	T
167155	F	F	F	F	T
167156	T	*	*	*	T
167157	T	*	*	*	T
167158	T	*	*	*	T
167159	F	F	F	F	T
167160	T	*	*	*	T
167161	T	*	*	*	T
167162	T	*	*	*	T
167163	T	*	*	*	T
167164	T	*	*	*	T
167165	T	*	*	*	T
167166	T	*	*	*	T
167167	T	*	*	*	T
167168	T	F	F	F	T
167169	T	*	*	*	T
167170	T	*	*	*	T
167171	T	*	*	*	T
167172	T	*	*	*	T
167173	T	*	*	*	T
167174	T	*	*	*	T
167175	T	*	*	*	T
167176	T	*	*	*	T
167177	T	F	F	F	T
167178	T	*	*	*	T
167179	T	*	*	*	T
167180	T	*	*	*	T
167181	T	*	*	*	T
167182	T	*	*	*	T
167183	T	*	*	*	T
167184	F	F	F	F	T
167185	T	*	*	*	T
167186	T	*	*	*	T
167187	T	*	*	*	T
167188	F	F	F	F	T
167189	T	*	*	*	T
167190	T	*	*	*	T
167191	T	*	*	*	T
167192	T	*	*	*	T
167193	T	*	*	*	T
167194	T	*	*	*	T
167195	T	*	*	*	T
167196	T	*	*	*	T
167197	T	F	F	F	T
167198	T	*	*	*	T
167199	T	*	*	*	T
167200	T	*	*	*	T
167201	T	*	*	*	T
167202	T	*	*	*	T
167203	T	*	*	*	T
167204	T	*	*	*	T
167205	T	*	*	*	T
167206	T	F	F	F	T
167207	T	*	*	*	T
167208	T	*	*	*	T
167209	T	*	*	*	T
167210	T	*	*	*	T
167211	T	*	*	*	T
167212	T	*	*	*	T
167213	F	F	F	F	T
167214	T	*	*	*	T
167215	T	*	*	*	T
167216	T	*	*	*	T
167217	F	F	F	F	T
167218	T	*	*	*	T
167219	T	*	*	*	T
167220	T	*	*	*	T
167221	T	*	*	*	T
167222	T	*	*	*	T
167223	T	*	*	*	T
167224	T	*	*	*	T
167225	T	*	*	*	T
167226	T	F	F	F	T
167227	T	*	*	*	T
167228	T	*	*	*	T
167229	T	*	*	*	T
167230	T	*	*	*	T
167231	T	*	*	*	T
167232	T	*	*	*	T
167233	T	*	*	*	T
167234	T	*	*	*	T
167235	T	F	F	F	T
167236	T	*	*	*	T
167237	T	*	*	*	T
167238	T	*	*	*	T
167239	T	*	*	*	T
167240	T	*	*	*	T
167241	T	*	*	*	T
167242	F	F	F	F	T
167243	T	*	*	*	T
167244	T	*	*	*	T
167245	T	*	*	*	T
167246	F	F	F	F	T
167247	T	*	*	*	T
167248	T	*	*	*	T
167249	T	*	*	*	T
167250	T	*	*	*	T
167251	T	*	*	*	T
167252	T	*	*	*	T
167253	T	*	*	*	T
167254	T	*	*	*	T
167255	T	F	F	F	T
167256	T	*	*	*	T
167257	T	*	*	*	T
167258	T	*	*	*	T
167259	T	*	*	*	T
167260	T	*	*	*	T
167261	T	*	*	*	T
167262	T	*	*	*	T
167263	T	*	*	*	T
167264	T	F	F	F	T
167265	T	*	*	*	T
167266	T	*	*	*	T
167267	T	*	*	*	T
167268	T	*	*	*	T
167269	T	*	*	*	T
167270	T	*	*	*	T
167271	F	F	F	F	T
167272	T	*	*	*	T
167273	T	*	*	*	T
167274	T	*	*	*	T
167275	F	F	F	F	T
167276	T	*	*	*	T
167277	T	*	*	*	T
167278	T	*	*	*	T
167279	T	*	*	*	T
167280	T	*	*	*	T
167281	T	*	*	*	T
167282	T	*	*	*	T
167283	T	*	*	*	T
167284	T	F	F	F	T
167285	T	*	*	*	T
167286	T	*	*	*	T
167287	T	*	*	*	T
167288	T	*	*	*	T
167289	T	*	*	*	T
167290	T	*	*	*	T
167291	T	*	*	*	T
167292	T	*	*	*	T
167293	T	F	F	F	T
167294	T	*	*	*	T
167295	T	*	*	*	T
167296	T	*	*	*	T
167297	T	*	*	*	T
167298	T	*	*	*	T
167299	T	*	*	*	T
167300	F	F	F	F	T
167301	T	*	*	*	T
167302	T	*	*	*	T
167303	T	*	*	*	T
167304	F	F	F	F	T
167305	T	*	*	*	T
167306	T	*	*	*	T
167307	T	*	*	*	T
167308	T	*	*	*	T
167309	T	*	*	*	T
167310	T	*	*	*	T
167311	T	*	*	*	T
167312	T	*	*	*	T
167313	T	F	F	F	T
167314	T	*	*	*	T
167315	T	*	*	*	T
167316	T	*	*	*	T
167317	T	*	*	*	T
167318	T	*	*	*	T
167319	T	*	*	*	T
167320	T	*	*	*	T
167321	T	*	*	*	T
167322	T	F	F	F	T
167323	T	*	*	*	T
167324	T	*	*	*	T
167325	T	*	*	*	T
167326	T	*	*	*	T
167327	T	*	*	*	T
167328	T	*	*	*	T
167329	F	F	F	F	T
167330	T	*	*	*	T
167331	T	*	*	*	T
167332	T	*	*	*	T
167333	F	F	F	F	T
167334	T	*	*	*	T
167335	T	*	*	*	T
167336	T	*	*	*	T
167337	T	*	*	*	T
167338	T	*	*	*	T
167339	T	*	*	*	T
167340	T	*	*	*	T
167341	T	*	*	*	T
167342	T	F	F	F	T
167343	T	*	*	*	T
167344	T	*	*	*	T
167345	T	*	*	*	T
167346	T	*	*	*	T
167347	T	*	*	*	T
167348	T	*	*	*	T
167349	T	*	*	*	T
167350	T	*	*	*	T
167351	T	F	F	F	T
167352	T	*	*	*	T
167353	T	*	*	*	T
167354	T	*	*	*	T
167355	T	*	*	*	T
167356	T	*	*	*	T
167357	T	*	*	*	T
167358	F	F	F	F	T
167359	T	*	*	*	T
167360	T	*	*	*	T
167361	T	*	*	*	T
167362	F	F	F	F	T
167363	T	*	*	*	T
167364	T	*	*	*	T
167365	T	*	*	*	T
167366	T	*	*	*	T
167367	T	*	*	*	T
167368	T	*	*	*	T
167369	T	*	*	*	T
167370	T	*	*	*	T
167371	T	F	F	F	T
167372	T	*	*	*	T
167373	T	*	*	*	T
167374	T	*	*	*	T
167375	T	*	*	*	T
167376	T	*	*	*	T
167377	T	*	*	*	T
167378	T	*	*	*	T
167379	T	*	*	*	T
167380	T	F	F	F	T
167381	T	*	*	*	T
167382	T	*	*	*	T
167383	T	*	*	*	T
167384	T	*	*	*	T
167385	T	*	*	*	T
167386	T	*	*	*	T
167387	F	F	F	F	T
167388	T	*	*	*	T
167389	T	*	*	*	T
167390	T	*	*	*	T
167391	F	F	F	F	T
167392	T	*	*	*	T
167393	T	*	*	*	T
167394	T	*	*	*	T
167395	T	*	*	*	T
167396	T	*	*	*	T
167397	T	*	*	*	T
167398	T	*	*	*	T
167399	T	*	*	*	T
167400	T	F	F	F	T
167401	T	*	*	*	T
167402	T	*	*	*	T
167403	T	*	*	*	T
167404	T	*	*	*	T
167405	T	*	*	*	T
167406	T	*	*	*	T
167407	T	*	*	*	T
167408	T	*	*	*	T
167409	T	F	F	F	T
167410	T	*	*	*	T
167411	T	*	*	*	T
167412	T	*	*	*	T
167413	T	*	*	*	T
167414	T	*	*	*	T
167415	T	*	*	*	T
167416	F	F	F	F	T
167417	T	*	*	*	T
167418	T	*	*	*	T
167419	T	*	*	*	T
167420	F	F	F	F	T
176201	T	*	*	*	T
176202	T	*	*	*	T
176203	T	*	*	*	T
176204	F	F	F	F	T
176205	T	*	*	*	T
176206	T	*	*	*	T
176207	T	*	*	*	T
176208	F	F	F	F	T
176209	T	*	*	*	T
176210	T	*	*	*	T
176211	T	*	*	*	T
176212	F	F	F	F	T
176213	T	*	*	*	T
176214	T	*	*	*	T
176215	T	*	*	*	T
176216	F	F	F	F	T
176217	T	*	*	*	T
176218	T	*	*	*	T
176219	T	*	*	*	T
176220	F	F	F	F	T
176221	T	*	*	*	T
176222	T	*	*	*	T
176223	T	*	*	*	T
176224	F	F	F	F	T
180952	T	*	*	*	T
180953	T	*	*	*	T
180954	T	*	*	*	T
180955	T	*	*	*	T
180956	T	*	*	*	T
180957	T	*	*	*	T
180958	T	*	*	*	T
180959	T	*	*	*	T
180960	T	F	F	F	T
180961	T	*	*	*	T
180962	T	*	*	*	T
180963	T	*	*	*	T
180964	T	*	*	*	T
180965	T	*	*	*	T
180966	T	*	*	*	T
180967	T	*	*	*	T
180968	T	*	*	*	T
180969	T	F	F	F	T
180970	T	*	*	*	T
180971	T	*	*	*	T
180972	T	*	*	*	T
180973	T	*	*	*	T
180974	T	*	*	*	T
180975	T	*	*	*	T
180976	F	F	F	F	T
180977	T	*	*	*	T
180978	T	*	*	*	T
180979	T	*	*	*	T
180980	F	F	F	F	T
180981	T	*	*	*	T
180982	T	*	*	*	T
180983	T	*	*	*	T
180984	T	*	*	*	T
180985	T	*	*	*	T
180986	T	*	*	*	T
180987	T	*	*	*	T
180988	T	*	*	*	T
180989	T	F	F	F	T
180990	T	*	*	*	T
180991	T	*	*	*	T
180992	T	*	*	*	T
180993	T	*	*	*	T
180994	T	*	*	*	T
180995	T	*	*	*	T
180996	T	*	*	*	T
180997	T	*	*	*	T
180998	T	F	F	F	T
180999	T	*	*	*	T
181000	T	*	*	*	T
181001	T	*	*	*	T
181002	T	*	*	*	T
181003	T	*	*	*	T
181004	T	*	*	*	T
181005	F	F	F	F	T
181006	T	*	*	*	T
181007	T	*	*	*	T
181008	T	*	*	*	T
181009	F	F	F	F	T
184272	T	*	*	*	T
184273	T	*	*	*	T
184274	T	*	*	*	T
184275	T	*	*	*	T
184276	T	*	*	*	T
184277	T	*	*	*	T
184278	T	*	*	*	T
184279	T	*	*	*	T
184280	T	F	F	F	T
184281	T	*	*	*	T
184282	T	*	*	*	T
184283	T	*	*	*	T
184284	T	*	*	*	T
184285	T	*	*	*	T
184286	T	*	*	*	T
184287	T	*	*	*	T
184288	T	*	*	*	T
184289	T	F	F	F	T
184290	T	*	*	*	T
184291	T	*	*	*	T
184292	T	*	*	*	T
184293	T	*	*	*	T
184294	T	*	*	*	T
184295	T	*	*	*	T
184296	F	F	F	F	T
184297	T	*	*	*	T
184298	T	*	*	*	T
184299	T	*	*	*	T
184300	F	F	F	F	T
184301	T	*	*	*	T
184302	T	*	*	*	T
184303	T	*	*	*	T
184304	T	*	*	*	T
184305	T	*	*	*	T
184306	T	*	*	*	T
184307	T	*	*	*	T
184308	T	*	*	*	T
184309	T	F	F	F	T
184310	T	*	*	*	T
184311	T	*	*	*	T
184312	T	*	*	*	T
184313	T	*	*	*	T
184314	T	*	*	*	T
184315	T	*	*	*	T
184316	T	*	*	*	T
184317	T	*	*	*	T
184318	T	F	F	F	T
184319	T	*	*	*	T
184320	T	*	*	*	T
184321	T	*	*	*	T
184322	T	*	*	*	T
184323	T	*	*	*	T
184324	T	*	*	*	T
184325	F	F	F	F	T
184326	T	*	*	*	T
184327	T	*	*	*	T
184328	T	*	*	*	T
184329	F	F	F	F	T
187379	T	*	*	*	T
187380	T	*	*	*	T
187381	T	*	*	*	T
187382	T	*	*	*	T
187383	T	*	*	*	T
187384	T	*	*	*	T
187385	T	*	*	*	T
187386	T	*	*	*	T
187387	T	F	F	F	T
187388	T	*	*	*	T
187389	T	*	*	*	T
187390	T	*	*	*	T
187391	T	*	*	*	T
187392	T	*	*	*	T
187393	T	*	*	*	T
187394	T	*	*	*	T
187395	T	*	*	*	T
187396	T	F	F	F	T
187397	T	*	*	*	T
187398	T	*	*	*	T
187399	T	*	*	*	T
187400	T	*	*	*	T
187401	T	*	*	*	T
187402	T	*	*	*	T
187403	F	F	F	F	T
187404	T	*	*	*	T
187405	T	*	*	*	T
187406	T	*	*	*	T
187407	F	F	F	F	T
187408	T	*	*	*	T
187409	T	*	*	*	T
187410	T	*	*	*	T
187411	T	*	*	*	T
187412	T	*	*	*	T
187413	T	*	*	*	T
187414	T	*	*	*	T
187415	T	*	*	*	T
187416	T	F	F	F	T
187417	T	*	*	*	T
187418	T	*	*	*	T
187419	T	*	*	*	T
187420	T	*	*	*	T
187421	T	*	*	*	T
187422	T	*	*	*	T
187423	T	*	*	*	T
187424	T	*	*	*	T
187425	T	F	F	F	T
187426	T	*	*	*	T
187427	T	*	*	*	T
187428	T	*	*	*	T
187429	T	*	*	*	T
187430	T	*	*	*	T
187431	T	*	*	*	T
187432	F	F	F	F	T
187433	T	*	*	*	T
187434	T	*	*	*	T
187435	T	*	*	*	T
187436	F	F	F	F	T
190816	T	*	*	*	T
190817	T	*	*	*	T
190818	T	*	*	*	T
190819	T	*	*	*	T
190820	T	*	*	*	T
190821	T	*	*	*	T
190822	T	*	*	*	T
190823	T	*	*	*	T
190824	T	F	F	F	T
190825	T	*	*	*	T
190826	T	*	*	*	T
190827	T	*	*	*	T
190828	T	*	*	*	T
190829	T	*	*	*	T
190830	T	*	*	*	T
190831	F	F	F	F	T
190832	T	*	*	*	T
190833	T	*	*	*	T
190834	T	*	*	*	T
190835	T	*	*	*	T
190836	T	*	*	*	T
190837	T	*	*	*	T
190838	T	*	*	*	T
190839	T	*	*	*	T
190840	T	F	F	F	T
190841	T	*	*	*	T
190842	T	*	*	*	T
190843	T	*	*	*	T
190844	T	*	*	*	T
190845	T	*	*	*	T
190846	T	*	*	*	T
190847	F	F	F	F	T
190848	T	*	*	*	T
190849	T	*	*	*	T
190850	T	*	*	*	T
190851	T	*	*	*	T
190852	T	*	*	*	T
190853	T	*	*	*	T
190854	T	*	*	*	T
190855	T	*	*	*	T
190856	T	F	F	F	T
190857	T	*	*	*	T
190858	T	*	*	*	T
190859	T	*	*	*	T
190860	F	F	F	F	T
190861	T	*	*	*	T
190862	T	*	*	*	T
190863	T	*	*	*	T
190864	T	*	*	*	T
190865	T	*	*	*	T
190866	T	*	*	*	T
190867	T	*	*	*	T
190868	T	*	*	*	T
190869	T	F	F	F	T
190870	T	*	*	*	T
190871	T	*	*	*	T
190872	T	*	*	*	T
190873	T	*	*	*	T
190874	T	*	*	*	T
190875	T	*	*	*	T
190876	F	F	F	F	T
190877	T	*	*	*	T
190878	T	*	*	*	T
190879	T	*	*	*	T
190880	T	*	*	*	T
190881	T	*	*	*	T
190882	T	*	*	*	T
190883	T	*	*	*	T
190884	T	*	*	*	T
190885	T	F	F	F	T
190886	T	*	*	*	T
190887	T	*	*	*	T
190888	T	*	*	*	T
190889	T	*	*	*	T
190890	T	*	*	*	T
190891	T	*	*	*	T
190892	F	F	F	F	T
190893	T	*	*	*	T
190894	T	*	*	*	T
190895	T	*	*	*	T
190896	T	*	*	*	T
190897	T	*	*	*	T
190898	T	*	*	*	T
190899	T	*	*	*	T
190900	T	*	*	*	T
190901	T	F	F	F	T
190902	T	*	*	*	T
190903	T	*	*	*	T
190904	T	*	*	*	T
190905	F	F	F	F	T
195511	T	*	*	*	T
195512	T	*	*	*	T
195513	T	*	*	*	T
195514	T	*	*	*	T
195515	T	*	*	*	T
195516	T	*	*	*	T
195517	T	*	*	*	T
195518	T	*	*	*	T
195519	T	F	F	F	T
195520	T	*	*	*	T
195521	T	*	*	*	T
195522	T	*	*	*	T
195523	T	*	*	*	T
195524	T	*	*	*	T
195525	T	*	*	*	T
195526	F	F	F	F	T
195527	T	*	*	*	T
195528	T	*	*	*	T
195529	T	*	*	*	T
195530	T	*	*	*	T
195531	T	*	*	*	T
195532	T	*	*	*	T
195533	T	*	*	*	T
195534	T	*	*	*	T
195535	T	F	F	F	T
195536	T	*	*	*	T
195537	T	*	*	*	T
195538	T	*	*	*	T
195539	T	*	*	*	T
195540	T	*	*	*	T
195541	T	*	*	*	T
195542	F	F	F	F	T
195543	T	*	*	*	T
195544	T	*	*	*	T
195545	T	*	*	*	T
195546	T	*	*	*	T
195547	T	*	*	*	T
195548	T	*	*	*	T
195549	T	*	*	*	T
195550	T	*	*	*	T
195551	T	F	F	F	T
195552	T	*	*	*	T
195553	T	*	*	*	T
195554	T	*	*	*	T
195555	F	F	F	F	T
195556	T	*	*	*	T
195557	T	*	*	*	T
195558	T	*	*	*	T
195559	T	*	*	*	T
195560	T	*	*	*	T
195561	T	*	*	*	T
195562	T	*	*	*	T
195563	T	*	*	*	T
195564	T	F	F	F	T
195565	T	*	*	*	T
195566	T	*	*	*	T
195567	T	*	*	*	T
195568	T	*	*	*	T
195569	T	*	*	*	T
195570	T	*	*	*	T
195571	F	F	F	F	T
195572	T	*	*	*	T
195573	T	*	*	*	T
195574	T	*	*	*	T
195575	T	*	*	*	T
195576	T	*	*	*	T
195577	T	*	*	*	T
195578	T	*	*	*	T
195579	T	*	*	*	T
195580	T	F	F	F	T
195581	T	*	*	*	T
195582	T	*	*	*	T
195583	T	*	*	*	T
195584	T	*	*	*	T
195585	T	*	*	*	T
195586	T	*	*	*	T
195587	F	F	F	F	T
195588	T	*	*	*	T
195589	T	*	*	*	T
195590	T	*	*	*	T
195591	T	*	*	*	T
195592	T	*	*	*	T
195593	T	*	*	*	T
195594	T	*	*	*	T
195595	T	*	*	*	T
195596	T	F	F	F	T
195597	T	*	*	*	T
195598	T	*	*	*	T
195599	T	*	*	*	T
195600	F	F	F	F	T
195601	T	*	*	*	T
195602	T	*	*	*	T
195603	T	*	*	*	T
195604	T	*	*	*	T
195605	T	*	*	*	T
195606	T	*	*	*	T
195607	T	*	*	*	T
195608	T	*	*	*	T
195609	T	F	F	F	T
195610	T	*	*	*	T
195611	T	*	*	*	T
195612	T	*	*	*	T
195613	T	*	*	*	T
195614	T	*	*	*	T
195615	T	*	*	*	T
195616	F	F	F	F	T
195617	T	*	*	*	T
195618	T	*	*	*	T
195619	T	*	*	*	T
195620	T	*	*	*	T
195621	T	*	*	*	T
195622	T	*	*	*	T
195623	T	*	*	*	T
195624	T	*	*	*	T
195625	T	F	F	F	T
195626	T	*	*	*	T
195627	T	*	*	*	T
195628	T	*	*	*	T
195629	T	*	*	*	T
195630	T	*	*	*	T
195631	T	*	*	*	T
195632	F	F	F	F	T
195633	T	*	*	*	T
195634	T	*	*	*	T
195635	T	*	*	*	T
195636	F	F	F	F	T
195637	T	*	*	*	T
195638	T	*	*	*	T
195639	T	*	*	*	T
195640	T	*	*	*	T
195641	T	*	*	*	T
195642	T	*	*	*	T
195643	T	*	*	*	T
195644	T	*	*	*	T
195645	T	F	F	F	T
195646	T	*	*	*	T
195647	T	*	*	*	T
195648	T	*	*	*	T
195649	T	*	*	*	T
195650	T	*	*	*	T
195651	T	*	*	*	T
195652	F	F	F	F	T
195653	T	*	*	*	T
195654	T	*	*	*	T
195655	T	*	*	*	T
195656	T	*	*	*	T
195657	T	*	*	*	T
195658	T	*	*	*	T
195659	T	*	*	*	T
195660	T	*	*	*	T
195661	T	F	F	F	T
195662	T	*	*	*	T
195663	T	*	*	*	T
195664	T	*	*	*	T
195665	T	*	*	*	T
195666	T	*	*	*	T
195667	T	*	*	*	T
195668	F	F	F	F	T
195669	T	*	*	*	T
195670	T	*	*	*	T
195671	T	*	*	*	T
195672	F	F	F	F	T
195673	T	*	*	*	T
195674	T	*	*	*	T
195675	T	*	*	*	T
195676	T	*	*	*	T
195677	T	*	*	*	T
195678	T	*	*	*	T
195679	T	*	*	*	T
195680	T	*	*	*	T
195681	T	F	F	F	T
195682	T	*	*	*	T
195683	T	*	*	*	T
195684	T	*	*	*	T
195685	T	*	*	*	T
195686	T	*	*	*	T
195687	T	*	*	*	T
195688	F	F	F	F	T
195689	T	*	*	*	T
195690	T	*	*	*	T
195691	T	*	*	*	T
195692	T	*	*	*	T
195693	T	*	*	*	T
195694	T	*	*	*	T
195695	T	*	*	*	T
195696	T	*	*	*	T
195697	T	F	F	F	T
195698	T	*	*	*	T
195699	T	*	*	*	T
195700	T	*	*	*	T
195701	T	*	*	*	T
195702	T	*	*	*	T
195703	T	*	*	*	T
195704	F	F	F	F	T
195705	T	*	*	*	T
195706	T	*	*	*	T
195707	T	*	*	*	T
195708	F	F	F	F	T
195709	T	*	*	*	T
195710	T	*	*	*	T
195711	T	*	*	*	T
195712	T	*	*	*	T
195713	T	*	*	*	T
195714	T	*	*	*	T
195715	T	*	*	*	T
195716	T	*	*	*	T
195717	T	F	F	F	T
195718	T	*	*	*	T
195719	T	*	*	*	T
195720	T	*	*	*	T
195721	T	*	*	*	T
195722	T	*	*	*	T
195723	T	*	*	*	T
195724	F	F	F	F	T
195725	T	*	*	*	T
195726	T	*	*	*	T
195727	T	*	*	*	T
195728	T	*	*	*	T
195729	T	*	*	*	T
195730	T	*	*	*	T
195731	T	*	*	*	T
195732	T	*	*	*	T
195733	T	F	F	F	T
195734	T	*	*	*	T
195735	T	*	*	*	T
195736	T	*	*	*	T
195737	T	*	*	*	T
195738	T	*	*	*	T
195739	T	*	*	*	T
195740	F	F	F	F	T
195741	T	*	*	*	T
195742	T	*	*	*	T
195743	T	*	*	*	T
195744	F	F	F	F	T
203047	T	*	*	*	T
203048	T	*	*	*	T
203049	T	*	*	*	T
203050	T	*	*	*	T
203051	T	*	*	*	T
203052	T	*	*	*	T
203053	T	*	*	*	T
203054	T	*	*	*	T
203055	T	F	F	F	T
203056	T	*	*	*	T
203057	T	*	*	*	T
203058	T	*	*	*	T
203059	T	*	*	*	T
203060	T	*	*	*	T
203061	T	*	*	*	T
203062	F	F	F	F	T
203063	T	*	*	*	T
203064	T	*	*	*	T
203065	T	*	*	*	T
203066	T	*	*	*	T
203067	T	*	*	*	T
203068	T	*	*	*	T
203069	T	*	*	*	T
203070	T	*	*	*	T
203071	T	F	F	F	T
203072	T	*	*	*	T
203073	T	*	*	*	T
203074	T	*	*	*	T
203075	F	F	F	F	T
203076	T	*	*	*	T
203077	T	*	*	*	T
203078	T	*	*	*	T
203079	T	*	*	*	T
203080	T	*	*	*	T
203081	T	*	*	*	T
203082	T	*	*	*	T
203083	T	*	*	*	T
203084	T	F	F	F	T
203085	T	*	*	*	T
203086	T	*	*	*	T
203087	T	*	*	*	T
203088	T	*	*	*	T
203089	T	*	*	*	T
203090	T	*	*	*	T
203091	F	F	F	F	T
203092	T	*	*	*	T
203093	T	*	*	*	T
203094	T	*	*	*	T
203095	T	*	*	*	T
203096	T	*	*	*	T
203097	T	*	*	*	T
203098	T	*	*	*	T
203099	T	*	*	*	T
203100	T	F	F	F	T
203101	T	*	*	*	T
203102	T	*	*	*	T
203103	T	*	*	*	T
203104	F	F	F	F	T
206884	T	*	*	*	T
206885	T	*	*	*	T
206886	T	*	*	*	T
206887	T	*	*	*	T
206888	T	*	*	*	T
206889	T	*	*	*	T
206890	T	*	*	*	T
206891	T	*	*	*	T
206892	T	F	F	F	T
206893	T	*	*	*	T
206894	T	*	*	*	T
206895	T	*	*	*	T
206896	T	*	*	*	T
206897	T	*	*	*	T
206898	T	*	*	*	T
206899	F	F	F	F	T
206900	T	*	*	*	T
206901	T	*	*	*	T
206902	T	*	*	*	T
206903	T	*	*	*	T
206904	T	*	*	*	T
206905	T	*	*	*	T
206906	F	F	F	F	T
206907	T	*	*	*	T
206908	T	*	*	*	T
206909	T	*	*	*	T
206910	T	*	*	*	T
206911	T	*	*	*	T
206912	T	*	*	*	T
206913	T	*	*	*	T
206914	T	*	*	*	T
206915	T	F	F	F	T
206916	T	*	*	*	T
206917	T	*	*	*	T
206918	T	*	*	*	T
206919	T	*	*	*	T
206920	T	*	*	*	T
206921	T	*	*	*	T
206922	F	F	F	F	T
206923	T	*	*	*	T
206924	T	*	*	*	T
206925	T	*	*	*	T
206926	T	*	*	*	T
206927	T	*	*	*	T
206928	T	*	*	*	T
206929	T	*	*	*	T
206930	T	*	*	*	T
206931	T	F	F	F	T
206932	T	*	*	*	T
206933	T	*	*	*	T
206934	T	*	*	*	T
206935	F	F	F	F	T
206936	T	*	*	*	T
206937	T	*	*	*	T
206938	T	*	*	*	T
206939	T	*	*	*	T
206940	T	*	*	*	T
206941	T	*	*	*	T
206942	T	*	*	*	T
206943	T	*	*	*	T
206944	T	F	F	F	T
206945	T	*	*	*	T
206946	T	*	*	*	T
206947	T	*	*	*	T
206948	T	*	*	*	T
206949	T	*	*	*	T
206950	T	*	*	*	T
206951	F	F	F	F	T
206952	T	*	*	*	T
206953	T	*	*	*	T
206954	T	*	*	*	T
206955	T	*	*	*	T
206956	T	*	*	*	T
206957	T	*	*	*	T
206958	F	F	F	F	T
206959	T	*	*	*	T
206960	T	*	*	*	T
206961	T	*	*	*	T
206962	T	*	*	*	T
206963	T	*	*	*	T
206964	T	*	*	*	T
206965	T	*	*	*	T
206966	T	*	*	*	T
206967	T	F	F	F	T
206968	T	*	*	*	T
206969	T	*	*	*	T
206970	T	*	*	*	T
206971	T	*	*	*	T
206972	T	*	*	*	T
206973	T	*	*	*	T
206974	F	F	F	F	T
206975	T	*	*	*	T
206976	T	*	*	*	T
206977	T	*	*	*	T
206978	T	*	*	*	T
206979	T	*	*	*	T
206980	T	*	*	*	T
206981	T	*	*	*	T
206982	T	*	*	*	T
206983	T	F	F	F	T
206984	T	*	*	*	T
206985	T	*	*	*	T
206986	T	*	*	*	T
206987	F	F	F	F	T
206988	T	*	*	*	T
206989	T	*	*	*	T
206990	T	*	*	*	T
206991	T	*	*	*	T
206992	T	*	*	*	T
206993	T	*	*	*	T
206994	T	*	*	*	T
206995	T	*	*	*	T
206996	T	F	F	F	T
206997	T	*	*	*	T
206998	T	*	*	*	T
206999	T	*	*	*	T
207000	T	*	*	*	T
207001	T	*	*	*	T
207002	T	*	*	*	T
207003	F	F	F	F	T
207004	T	*	*	*	T
207005	T	*	*	*	T
207006	T	*	*	*	T
207007	T	*	*	*	T
207008	T	*	*	*	T
207009	T	*	*	*	T
207010	F	F	F	F	T
207011	T	*	*	*	T
207012	T	*	*	*	T
207013	T	*	*	*	T
207014	T	*	*	*	T
207015	T	*	*	*	T
207016	T	*	*	*	T
207017	T	*	*	*	T
207018	T	*	*	*	T
207019	T	F	F	F	T
207020	T	*	*	*	T
207021	T	*	*	*	T
207022	T	*	*	*	T
207023	T	*	*	*	T
207024	T	*	*	*	T
207025	T	*	*	*	T
207026	F	F	F	F	T
207027	T	*	*	*	T
207028	T	*	*	*	T
207029	T	*	*	*	T
207030	F	F	F	F	T
207031	T	*	*	*	T
207032	T	*	*	*	T
207033	T	*	*	*	T
207034	T	*	*	*	T
207035	T	*	*	*	T
207036	T	*	*	*	T
207037	T	*	*	*	T
207038	T	*	*	*	T
207039	T	F	F	F	T
207040	T	*	*	*	T
207041	T	*	*	*	T
207042	T	*	*	*	T
207043	T	*	*	*	T
207044	T	*	*	*	T
207045	T	*	*	*	T
207046	F	F	F	F	T
207047	T	*	*	*	T
207048	T	*	*	*	T
207049	T	*	*	*	T
207050	T	*	*	*	T
207051	T	*	*	*	T
207052	T	*	*	*	T
207053	F	F	F	F	T
207054	T	*	*	*	T
207055	T	*	*	*	T
207056	T	*	*	*	T
207057	T	*	*	*	T
207058	T	*	*	*	T
207059	T	*	*	*	T
207060	T	*	*	*	T
207061	T	*	*	*	T
207062	T	F	F	F	T
207063	T	*	*	*	T
207064	T	*	*	*	T
207065	T	*	*	*	T
207066	T	*	*	*	T
207067	T	*	*	*	T
207068	T	*	*	*	T
207069	F	F	F	F	T
207070	T	*	*	*	T
207071	T	*	*	*	T
207072	T	*	*	*	T
207073	F	F	F	F	T
215090	T	*	*	*	T
215091	T	*	*	*	T
215092	T	*	*	*	T
215093	T	*	*	*	T
215094	T	*	*	*	T
215095	T	*	*	*	T
215096	T	*	*	*	T
215097	T	*	*	*	T
215098	T	F	F	F	T
215099	T	*	*	*	T
215100	T	*	*	*	T
215101	T	*	*	*	T
215102	T	*	*	*	T
215103	T	*	*	*	T
215104	T	*	*	*	T
215105	F	F	F	F	T
215106	T	*	*	*	T
215107	T	*	*	*	T
215108	T	*	*	*	T
215109	T	*	*	*	T
215110	T	*	*	*	T
215111	T	*	*	*	T
215112	T	*	*	*	T
215113	T	*	*	*	T
215114	T	F	F	F	T
215115	T	*	*	*	T
215116	T	*	*	*	T
215117	T	*	*	*	T
215118	T	*	*	*	T
215119	T	*	*	*	T
215120	T	*	*	*	T
215121	T	*	*	*	T
215122	T	*	*	*	T
215123	T	F	F	F	T
215124	T	*	*	*	T
215125	T	*	*	*	T
215126	T	*	*	*	T
215127	T	*	*	*	T
215128	T	*	*	*	T
215129	T	*	*	*	T
215130	T	*	*	*	T
215131	T	*	*	*	T
215132	T	F	F	F	T
215133	T	*	*	*	T
215134	T	*	*	*	T
215135	T	*	*	*	T
215136	T	*	*	*	T
215137	T	*	*	*	T
215138	T	*	*	*	T
215139	F	F	F	F	T
215140	T	*	*	*	T
215141	T	*	*	*	T
215142	T	*	*	*	T
215143	F	F	F	F	T
215144	T	*	*	*	T
215145	T	*	*	*	T
215146	T	*	*	*	T
215147	T	*	*	*	T
215148	T	*	*	*	T
215149	T	*	*	*	T
215150	T	*	*	*	T
215151	T	*	*	*	T
215152	T	F	F	F	T
215153	T	*	*	*	T
215154	T	*	*	*	T
215155	T	*	*	*	T
215156	T	*	*	*	T
215157	T	*	*	*	T
215158	T	*	*	*	T
215159	F	F	F	F	T
215160	T	*	*	*	T
215161	T	*	*	*	T
215162	T	*	*	*	T
215163	T	*	*	*	T
215164	T	*	*	*	T
215165	T	*	*	*	T
215166	T	*	*	*	T
215167	T	*	*	*	T
215168	T	F	F	F	T
215169	T	*	*	*	T
215170	T	*	*	*	T
215171	T	*	*	*	T
215172	F	F	F	F	T
215173	T	*	*	*	T
215174	T	*	*	*	T
215175	T	*	*	*	T
215176	T	*	*	*	T
215177	T	*	*	*	T
215178	T	*	*	*	T
215179	T	*	*	*	T
215180	T	*	*	*	T
215181	T	F	F	F	T
215182	T	*	*	*	T
215183	T	*	*	*	T
215184	T	*	*	*	T
215185	T	*	*	*	T
215186	T	*	*	*	T
215187	T	*	*	*	T
215188	F	F	F	F	T
215189	T	*	*	*	T
215190	T	*	*	*	T
215191	T	*	*	*	T
215192	T	*	*	*	T
215193	T	*	*	*	T
215194	T	*	*	*	T
215195	T	*	*	*	T
215196	T	*	*	*	T
215197	T	F	F	F	T
215198	T	*	*	*	T
215199	T	*	*	*	T
215200	T	*	*	*	T
215201	T	*	*	*	T
215202	T	*	*	*	T
215203	T	*	*	*	T
215204	T	*	*	*	T
215205	T	*	*	*	T
215206	T	F	F	F	T
215207	T	*	*	*	T
215208	T	*	*	*	T
215209	T	*	*	*	T
215210	T	*	*	*	T
215211	T	*	*	*	T
215212	T	*	*	*	T
215213	T	*	*	*	T
215214	T	*	*	*	T
215215	T	F	F	F	T
215216	T	*	*	*	T
215217	T	*	*	*	T
215218	T	*	*	*	T
215219	T	*	*	*	T
215220	T	*	*	*	T
215221	T	*	*	*	T
215222	F	F	F	F	T
215223	T	*	*	*	T
215224	T	*	*	*	T
215225	T	*	*	*	T
215226	F	F	F	F	T
215227	T	*	*	*	T
215228	T	*	*	*	T
215229	T	*	*	*	T
215230	T	*	*	*	T
215231	T	*	*	*	T
215232	T	*	*	*	T
215233	T	*	*	*	T
215234	T	*	*	*	T
215235	T	F	F	F	T
215236	T	*	*	*	T
215237	T	*	*	*	T
215238	T	*	*	*	T
215239	T	*	*	*	T
215240	T	*	*	*	T
215241	T	*	*	*	T
215242	F	F	F	F	T
215243	T	*	*	*	T
215244	T	*	*	*	T
215245	T	*	*	*	T
215246	T	*	*	*	T
215247	T	*	*	*	T
215248	T	*	*	*	T
215249	T	*	*	*	T
215250	T	*	*	*	T
215251	T	F	F	F	T
215252	T	*	*	*	T
215253	T	*	*	*	T
215254	T	*	*	*	T
215255	F	F	F	F	T
222827	T	*	*	*	T
222828	T	*	*	*	T
222829	T	*	*	*	T
222830	T	*	*	*	T
222831	T	*	*	*	T
222832	T	*	*	*	T
222833	T	*	*	*	T
222834	T	*	*	*	T
222835	T	F	F	F	T
222836	T	*	*	*	T
222837	T	*	*	*	T
222838	T	*	*	*	T
222839	T	*	*	*	T
222840	T	*	*	*	T
222841	T	*	*	*	T
222842	T	*	*	*	T
222843	T	*	*	*	T
222844	T	F	F	F	T
222845	T	*	*	*	T
222846	T	*	*	*	T
222847	T	*	*	*	T
222848	T	*	*	*	T
222849	T	*	*	*	T
222850	T	*	*	*	T
222851	T	*	*	*	T
222852	T	*	*	*	T
222853	T	F	F	F	T
222854	T	*	*	*	T
222855	T	*	*	*	T
222856	T	*	*	*	T
222857	T	*	*	*	T
222858	T	*	*	*	T
222859	T	*	*	*	T
222860	T	*	*	*	T
222861	T	*	*	*	T
222862	T	F	F	F	T
222863	T	*	*	*	T
222864	T	*	*	*	T
222865	T	*	*	*	T
222866	T	*	*	*	T
222867	T	*	*	*	T
222868	T	*	*	*	T
222869	F	F	F	F	T
222870	T	*	*	*	T
222871	T	*	*	*	T
222872	T	*	*	*	T
222873	T	*	*	*	T
222874	T	*	*	*	T
222875	T	*	*	*	T
222876	T	*	*	*	T
222877	T	*	*	*	T
222878	T	F	F	F	T
222879	T	*	*	*	T
222880	T	*	*	*	T
222881	T	*	*	*	T
222882	T	*	*	*	T
222883	T	*	*	*	T
222884	T	*	*	*	T
222885	T	*	*	*	T
222886	T	*	*	*	T
222887	T	F	F	F	T
222888	T	*	*	*	T
222889	T	*	*	*	T
222890	T	*	*	*	T
222891	T	*	*	*	T
222892	T	*	*	*	T
222893	T	*	*	*	T
222894	F	F	F	F	T
222895	T	*	*	*	T
222896	T	*	*	*	T
222897	T	*	*	*	T
222898	T	*	*	*	T
222899	T	*	*	*	T
222900	T	*	*	*	T
222901	T	*	*	*	T
222902	T	*	*	*	T
222903	T	F	F	F	T
222904	T	*	*	*	T
222905	T	*	*	*	T
222906	T	*	*	*	T
222907	F	F	F	F	T
222908	T	*	*	*	T
222909	T	*	*	*	T
222910	T	*	*	*	T
222911	F	F	F	F	T
222912	T	*	*	*	T
222913	T	*	*	*	T
222914	T	*	*	*	T
222915	T	*	*	*	T
222916	T	*	*	*	T
222917	T	*	*	*	T
222918	T	*	*	*	T
222919	T	*	*	*	T
222920	T	F	F	F	T
222921	T	*	*	*	T
222922	T	*	*	*	T
222923	T	*	*	*	T
222924	F	F	F	F	T
222925	T	*	*	*	T
222926	T	*	*	*	T
222927	T	*	*	*	T
222928	T	*	*	*	T
222929	T	*	*	*	T
222930	T	*	*	*	T
222931	T	*	*	*	T
222932	T	*	*	*	T
222933	T	F	F	F	T
222934	T	*	*	*	T
222935	T	*	*	*	T
222936	T	*	*	*	T
222937	T	*	*	*	T
222938	T	*	*	*	T
222939	T	*	*	*	T
222940	T	*	*	*	T
222941	T	*	*	*	T
222942	T	F	F	F	T
222943	T	*	*	*	T
222944	T	*	*	*	T
222945	T	*	*	*	T
222946	T	*	*	*	T
222947	T	*	*	*	T
222948	T	*	*	*	T
222949	T	*	*	*	T
222950	T	*	*	*	T
222951	T	F	F	F	T
222952	T	*	*	*	T
222953	T	*	*	*	T
222954	T	*	*	*	T
222955	T	*	*	*	T
222956	T	*	*	*	T
222957	T	*	*	*	T
222958	T	*	*	*	T
222959	T	*	*	*	T
222960	T	F	F	F	T
222961	T	*	*	*	T
222962	T	*	*	*	T
222963	T	*	*	*	T
222964	T	*	*	*	T
222965	T	*	*	*	T
222966	T	*	*	*	T
222967	F	F	F	F	T
222968	T	*	*	*	T
222969	T	*	*	*	T
222970	T	*	*	*	T
222971	T	*	*	*	T
222972	T	*	*	*	T
222973	T	*	*	*	T
222974	T	*	*	*	T
222975	T	*	*	*	T
222976	T	F	F	F	T
222977	T	*	*	*	T
222978	T	*	*	*	T
222979	T	*	*	*	T
222980	T	*	*	*	T
222981	T	*	*	*	T
222982	T	*	*	*	T
222983	T	*	*	*	T
222984	T	*	*	*	T
222985	T	F	F	F	T
222986	T	*	*	*	T
222987	T	*	*	*	T
222988	T	*	*	*	T
222989	T	*	*	*	T
222990	T	*	*	*	T
222991	T	*	*	*	T
222992	F	F	F	F	T
222993	T	*	*	*	T
222994	T	*	*	*	T
222995	T	*	*	*	T
222996	T	*	*	*	T
222997	T	*	*	*	T
222998	T	*	*	*	T
222999	T	*	*	*	T
223000	T	*	*	*	T
223001	T	F	F	F	T
223002	T	*	*	*	T
223003	T	*	*	*	T
223004	T	*	*	*	T
223005	F	F	F	F	T
223006	T	*	*	*	T
223007	T	*	*	*	T
223008	T	*	*	*	T
223009	F	F	F	F	T
223010	T	*	*	*	T
223011	T	*	*	*	T
223012	T	*	*	*	T
223013	T	*	*	*	T
223014	T	*	*	*	T
223015	T	*	*	*	T
223016	T	*	*	*	T
223017	T	*	*	*	T
223018	T	F	F	F	T
223019	T	*	*	*	T
223020	T	*	*	*	T
223021	T	*	*	*	T
223022	F	F	F	F	T
300204	T	*	*	*	T
300205	T	*	*	*	T
300206	T	*	*	*	T
300207	T	*	*	*	T
300208	T	*	*	*	T
300209	T	*	*	*	T
300210	T	*	*	*	T
300211	T	*	*	*	T
300212	T	F	F	F	T
300213	T	*	*	*	T
300214	T	*	*	*	T
300215	T	*	*	*	T
300216	T	*	*	*	T
300217	T	*	*	*	T
300218	T	*	*	*	T
300219	T	*	*	*	T
300220	T	*	*	*	T
300221	T	F	F	F	T
300222	T	*	*	*	T
300223	T	*	*	*	T
300224	T	*	*	*	T
300225	T	*	*	*	T
300226	T	*	*	*	T
300227	T	*	*	*	T
300228	T	*	*	*	T
300229	T	*	*	*	T
300230	T	F	F	F	T
300231	T	*	*	*	T
300232	T	*	*	*	T
300233	T	*	*	*	T
300234	T	*	*	*	T
300235	T	*	*	*	T
300236	T	*	*	*	T
300237	T	*	*	*	T
300238	T	*	*	*	T
300239	T	F	F	F	T
300240	T	*	*	*	T
300241	T	*	*	*	T
300242	T	*	*	*	T
300243	T	*	*	*	T
300244	T	*	*	*	T
300245	T	*	*	*	T
300246	F	F	F	F	T
300247	T	*	*	*	T
300248	T	*	*	*	T
300249	T	*	*	*	T
300250	T	*	*	*	T
300251	T	*	*	*	T
300252	T	*	*	*	T
300253	T	*	*	*	T
300254	T	*	*	*	T
300255	T	F	F	F	T
300256	T	*	*	*	T
300257	T	*	*	*	T
300258	T	*	*	*	T
300259	T	*	*	*	T
300260	T	*	*	*	T
300261	T	*	*	*	T
300262	T	*	*	*	T
300263	T	*	*	*	T
300264	T	F	F	F	T
300265	T	*	*	*	T
300266	T	*	*	*	T
300267	T	*	*	*	T
300268	T	*	*	*	T
300269	T	*	*	*	T
300270	T	*	*	*	T
300271	F	F	F	F	T
300272	T	*	*	*	T
300273	T	*	*	*	T
300274	T	*	*	*	T
300275	T	*	*	*	T
300276	T	*	*	*	T
300277	T	*	*	*	T
300278	T	*	*	*	T
300279	T	*	*	*	T
300280	T	F	F	F	T
300281	T	*	*	*	T
300282	T	*	*	*	T
300283	T	*	*	*	T
300284	F	F	F	F	T
300285	T	*	*	*	T
300286	T	*	*	*	T
300287	T	*	*	*	T
300288	F	F	F	F	T
300289	T	*	*	*	T
300290	T	*	*	*	T
300291	T	*	*	*	T
300292	T	*	*	*	T
300293	T	*	*	*	T
300294	T	*	*	*	T
300295	T	*	*	*	T
300296	T	*	*	*	T
300297	T	F	F	F	T
300298	T	*	*	*	T
300299	T	*	*	*	T
300300	T	*	*	*	T
300301	F	F	F	F	T
300302	T	*	*	*	T
300303	T	*	*	*	T
300304	T	*	*	*	T
300305	T	*	*	*	T
300306	T	*	*	*	T
300307	T	*	*	*	T
300308	T	*	*	*	T
300309	T	*	*	*	T
300310	T	F	F	F	T
300311	T	*	*	*	T
300312	T	*	*	*	T
300313	T	*	*	*	T
300314	T	*	*	*	T
300315	T	*	*	*	T
300316	T	*	*	*	T
300317	T	*	*	*	T
300318	T	*	*	*	T
300319	T	F	F	F	T
300320	T	*	*	*	T
300321	T	*	*	*	T
300322	T	*	*	*	T
300323	T	*	*	*	T
300324	T	*	*	*	T
300325	T	*	*	*	T
300326	T	*	*	*	T
300327	T	*	*	*	T
300328	T	F	F	F	T
300329	T	*	*	*	T
300330	T	*	*	*	T
300331	T	*	*	*	T
300332	T	*	*	*	T
300333	T	*	*	*	T
300334	T	*	*	*	T
300335	T	*	*	*	T
300336	T	*	*	*	T
300337	T	F	F	F	T
300338	T	*	*	*	T
300339	T	*	*	*	T
300340	T	*	*	*	T
300341	T	*	*	*	T
300342	T	*	*	*	T
300343	T	*	*	*	T
300344	F	F	F	F	T
300345	T	*	*	*	T
300346	T	*	*	*	T
300347	T	*	*	*	T
300348	T	*	*	*	T
300349	T	*	*	*	T
300350	T	*	*	*	T
300351	T	*	*	*	T
300352	T	*	*	*	T
300353	T	F	F	F	T
300354	T	*	*	*	T
300355	T	*	*	*	T
300356	T	*	*	*	T
300357	T	*	*	*	T
300358	T	*	*	*	T
300359	T	*	*	*	T
300360	T	*	*	*	T
300361	T	*	*	*	T
300362	T	F	F	F	T
300363	T	*	*	*	T
300364	T	*	*	*	T
300365	T	*	*	*	T
300366	T	*	*	*	T
300367	T	*	*	*	T
300368	T	*	*	*	T
300369	F	F	F	F	T
300370	T	*	*	*	T
300371	T	*	*	*	T
300372	T	*	*	*	T
300373	T	*	*	*	T
300374	T	*	*	*	T
300375	T	*	*	*	T
300376	T	*	*	*	T
300377	T	*	*	*	T
300378	T	F	F	F	T
300379	T	*	*	*	T
300380	T	*	*	*	T
300381	T	*	*	*	T
300382	F	F	F	F	T
300383	T	*	*	*	T
300384	T	*	*	*	T
300385	T	*	*	*	T
300386	F	F	F	F	T
300387	T	*	*	*	T
300388	T	*	*	*	T
300389	T	*	*	*	T
300390	T	*	*	*	T
300391	T	*	*	*	T
300392	T	*	*	*	T
300393	T	*	*	*	T
300394	T	*	*	*	T
300395	T	F	F	F	T
300396	T	*	*	*	T
300397	T	*	*	*	T
300398	T	*	*	*	T
300399	F	F	F	F	T
376875	T	*	*	*	T
376876	T	*	*	*	T
376877	T	*	*	*	T
376878	T	*	*	*	T
376879	T	*	*	*	T
376880	T	*	*	*	T
376881	T	*	*	*	T
376882	T	*	*	*	T
376883	T	F	F	F	T
376884	T	*	*	*	T
376885	T	*	*	*	T
376886	T	*	*	*	T
376887	T	*	*	*	T
376888	T	*	*	*	T
376889	T	*	*	*	T
376890	T	*	*	*	T
376891	T	*	*	*	T
376892	T	F	F	F	T
376893	T	*	*	*	T
376894	T	*	*	*	T
376895	T	*	*	*	T
376896	T	*	*	*	T
376897	T	*	*	*	T
376898	T	*	*	*	T
376899	F	F	F	F	T
376900	T	*	*	*	T
376901	T	*	*	*	T
376902	T	*	*	*	T
376903	F	F	F	F	T
376904	T	*	*	*	T
376905	T	*	*	*	T
376906	T	*	*	*	T
376907	T	*	*	*	T
376908	T	*	*	*	T
376909	T	*	*	*	T
376910	T	*	*	*	T
376911	T	*	*	*	T
376912	T	F	F	F	T
376913	T	*	*	*	T
376914	T	*	*	*	T
376915	T	*	*	*	T
376916	T	*	*	*	T
376917	T	*	*	*	T
376918	T	*	*	*	T
376919	T	*	*	*	T
376920	T	*	*	*	T
376921	T	F	F	F	T
376922	T	*	*	*	T
376923	T	*	*	*	T
376924	T	*	*	*	T
376925	T	*	*	*	T
376926	T	*	*	*	T
376927	T	*	*	*	T
376928	F	F	F	F	T
376929	T	*	*	*	T
376930	T	*	*	*	T
376931	T	*	*	*	T
376932	F	F	F	F	T
379512	T	*	*	*	T
379513	T	*	*	*	T
379514	T	*	*	*	T
379515	T	*	*	*	T
379516	T	*	*	*	T
379517	T	*	*	*	T
379518	T	*	*	*	T
379519	T	*	*	*	T
379520	T	F	F	F	T
379521	T	*	*	*	T
379522	T	*	*	*	T
379523	T	*	*	*	T
379524	T	*	*	*	T
379525	T	*	*	*	T
379526	T	*	*	*	T
379527	T	*	*	*	T
379528	T	*	*	*	T
379529	T	F	F	F	T
379530	T	*	*	*	T
379531	T	*	*	*	T
379532	T	*	*	*	T
379533	T	*	*	*	T
379534	T	*	*	*	T
379535	T	*	*	*	T
379536	F	F	F	F	T
379537	T	*	*	*	T
379538	T	*	*	*	T
379539	T	*	*	*	T
379540	F	F	F	F	T
379541	T	*	*	*	T
379542	T	*	*	*	T
379543	T	*	*	*	T
379544	T	*	*	*	T
379545	T	*	*	*	T
379546	T	*	*	*	T
379547	T	*	*	*	T
379548	T	*	*	*	T
379549	T	F	F	F	T
379550	T	*	*	*	T
379551	T	*	*	*	T
379552	T	*	*	*	T
379553	T	*	*	*	T
379554	T	*	*	*	T
379555	T	*	*	*	T
379556	T	*	*	*	T
379557	T	*	*	*	T
379558	T	F	F	F	T
379559	T	*	*	*	T
379560	T	*	*	*	T
379561	T	*	*	*	T
379562	T	*	*	*	T
379563	T	*	*	*	T
379564	T	*	*	*	T
379565	F	F	F	F	T
379566	T	*	*	*	T
379567	T	*	*	*	T
379568	T	*	*	*	T
379569	F	F	F	F	T
382396	T	*	*	*	T
382397	T	*	*	*	T
382398	T	*	*	*	T
382399	T	*	*	*	T
382400	T	*	*	*	T
382401	T	*	*	*	T
382402	T	*	*	*	T
382403	T	*	*	*	T
382404	T	F	F	F	T
382405	T	*	*	*	T
382406	T	*	*	*	T
382407	T	*	*	*	T
382408	T	*	*	*	T
382409	T	*	*	*	T
382410	T	*	*	*	T
382411	T	*	*	*	T
382412	T	*	*	*	T
382413	T	F	F	F	T
382414	T	*	*	*	T
382415	T	*	*	*	T
382416	T	*	*	*	T
382417	T	*	*	*	T
382418	T	*	*	*	T
382419	T	*	*	*	T
382420	F	F	F	F	T
382421	T	*	*	*	T
382422	T	*	*	*	T
382423	T	*	*	*	T
382424	F	F	F	F	T
382425	T	*	*	*	T
382426	T	*	*	*	T
382427	T	*	*	*	T
382428	T	*	*	*	T
382429	T	*	*	*	T
382430	T	*	*	*	T
382431	T	*	*	*	T
382432	T	*	*	*	T
382433	T	F	F	F	T
382434	T	*	*	*	T
382435	T	*	*	*	T
382436	T	*	*	*	T
382437	T	*	*	*	T
382438	T	*	*	*	T
382439	T	*	*	*	T
382440	T	*	*	*	T
382441	T	*	*	*	T
382442	T	F	F	F	T
382443	T	*	*	*	T
382444	T	*	*	*	T
382445	T	*	*	*	T
382446	T	*	*	*	T
382447	T	*	*	*	T
382448	T	*	*	*	T
382449	F	F	F	F	T
382450	T	*	*	*	T
382451	T	*	*	*	T
382452	T	*	*	*	T
382453	F	F	F	F	T

Independent-effect pairs

c0 (branch 1815): GAP view gap →
scry_analyze_core::op_report_name · br_if
inlined: lib.rs:5042
c1 (branch 1822): GAP view gap →
scry_analyze_core::op_report_name · br_if
inlined: lib.rs:5042
c2 (branch 1823): GAP view gap →
scry_analyze_core::op_report_name · br_if
inlined: lib.rs:5042
c3 (branch 1824): GAP view gap →
scry_analyze_core::op_report_name · br_if
inlined: lib.rs:5042

← back to scry-mcdc

Decision #334 — src/lib.rs:68

Truth table

Independent-effect pairs

Decision #334 — `src/lib.rs:68`