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