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