contradiction.tmp.cnf.cnf

人工智能的一个重要方法

0
893 0
-2972 0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
2175 0
0
1600 0
0
0
0
0
-1245 0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
-1658 0
0
-2399 0
0
0
-1825 0
0
0
0
2119 0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
700 0
0
0
0
0
0
0
0
0
0
0
1658 0
0
0
0
0
370 0
0
0
0
0
0
0
0
0
0
0
1255 0
132 0
0
0
-2766 0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
-2725 -585 0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
2546 0
0
0
0
0
0
1757 0
0
0
0
0
912 0
0
0
0
0
0
0
0
0
2703 0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
-370 0
0
0
0
0
0
0
0
-2677 0
0
0
0
0
53 0
0
0
-2247 0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
1484 0
0
0
0
1826 0
2334 0
0
0
-488 0
0
0
0
0
0
0
0
0
-585 0
0
0
0
0
0
0
0
0
0
0
0
0
0
-40 0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
-1696 0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
2890 0
0
0
0
0
0
0
0
0
0
0
0
0
0
1245 0
0
0
0
0
0
-1233 0
0
0
0
0
0
0
0
0
0
0
1943 0
0
0
0
0
0
0
0
2546 0
0
0
0
0
0
0
0
0
0
0
586 0
0
0
0
0
0
0
0
0
0
0
370 0
2318 0
0
0
0
-53 0
0
0
0
0
2908 0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
2200 0
0
0
0
0
0
0
1943 0
1535 0
0
0
0
0
0
0
0
0
0
0
0
0
2972 2697 0
-2167 0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
2972 0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
-732 0
0
0
0
0
0
0
0
0
0
0
2972 0
0
0
0
0
2334 0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
-2546 0
0
0
0
0
0
0
0
0
0
-2922 0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
-53 0
0
0
0
2908 1658 0
0
0
0
0
0
0
0
0
0
0
2725 0
49 0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
-1696 0
0
0
0
0
1655 0
0
0
0
-912 0
0
0
0
0
0
0
1721 0
0
0
0
0
0
0
-2105 0
0
0
0
0
0
0
0
0
0
0
0
1605 0
0
0
0
0
0
0
0
0
0
0
0
0
0
-290 0
0
2157 0
0
0
0
0
0
0
0
2908 -1945 -1600 0
0
0
0
0
0
1605 0
1696 0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
-1484 0
0
-2234 0
0
0
0
0
0
0
0
0
0
0
0
1484 0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
1233 0
0
0
0
0
0
0
0
0
0
0
0
0
1826 0
0
0
0
0
0
1255 0
0
0
0
0
0
0
0
0
384 0
0
0
0
-585 1945 0
0
1826 0
0
0
0
0
0
0
1607 0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
-2648 0
0
0
0
0
0
0
0
0
-370 0
0
0
0
0
0
480 0
0
0
2908 0
0
1600 0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
-1757 0
0
0
0
0
0
0
0
0
0
0
0
0
0
-2546 0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
-40 0
0
0
0
0
0
0
0
370 0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
-619 0
-2318 -1150 0
0
0
0
0
0
0
1412 0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
-2175 0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
-384 0
0
1826 0
0
2972 0
-1324 0
0
0
0
0
-480 0
-1412 0
0
0
0
132 0
2533 0
0
0
0
0
0
-220 0
132 0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
-2200 0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
-1658 0
0
0
480 0
0
0
0
0
0
-2318 0
0
0
0
0
0
0
2890 0
0
0
0
-2589 0
-2495 0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
2334 0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
2908 0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
640 0
0
0
0
0
0
0
0
0
0
-1470 0
0
0
0
0
0
0
-2726 0
2167 0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
1484 0
0
0
0
0
0
0
0
0
0
-1945 0
0
0
0
0
0
0
0
0
-1412 0
0
0
0
0
0
-1943 0
-2533 0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
2167 1412 0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
53 0
290 0
0
0
0
0
0
0
0
0
0
0
1825 0
0
-1245 0
0
0
0
0
0
0
1945 0
0
0
0
0
0
0
0
0
0
2546 0
0
2175 0
0
0
0
0
0
2234 0
0
0
0
0
0
0
0
0
0
0
0
0
0
1621 0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
1945 0
0
0
1150 0
0
0
0
0
0
0
0
-2119 0
0
0
0
2517 0
0
0
0
0
0
-700 0
0
0
0
0
0
0
0
0
0
-1943 0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
1945 0
0
0
0
0
0
0
2399 0
0
0
-2119 0
2648 0
0
0
0
0
0
-2648 0
0
0
0
0
0
0
0
0
0
-912 0
0
0
0
0
-53 0
0
0
0
0
-1943 0
0
0
0
0
0
1374 0
-1359 0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
132 0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
-2318 0
0
0
0
0
0
0
-912 0
0
194 0
0
0
0
0
0
1412 0
0
0
0
0
0
0
0
0
0
0
0
-1980 0
0
0
0
0
0
0
0
0
0
0
704 0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
2890 0
0
0
0
0
0
0
0
0
619 0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
1721 0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
-619 0
-2495 0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
-2157 0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
-2677 0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
1980 0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
-53 0
0
0
0
0
0
0
0
0
-2200 0
0
0
0
0
2157 0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
-2922 0
732 0
0
0
0
0
0
0
0
-53 0
0
0
0
2247 0
0
0
0
1621 0
0
0
0
0
0
0
0
0
0
0
0
0
2334 0
0
0
0
0
0
0
0
0
290 0
-1757 0
0
0
0
0
0
0
0
53 0
0
0
0
0
0
0
0
0
0
0
0
0
1150 0
0
0
0
2119 0
0
0
0
0
0
0
0
0
0
682 0
0
0
0
-1359 0
0
2677 0
0
0
0
0
0
0
0
0
0
0
0
0
-2334 0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
2517 0
0
0
0
0
0
0
0
0
0
0
0
0
2851 0
0
0
0
0
0
2175 0
0
0
0
0
157 0
0
0
0
-2726 0
2908 0
0
0
0
0
0
0
-1826 0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
-1943 0
0
0
0
0
0
-879 0
0
0
0
0
0
0
-220 0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
-619 0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
-1412 0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
1555 0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
-2725 0
0
0
0
0
0
0
0
0
0
0
0
0
-1757 0
0
0
0
0
0
0
0
0
0
0
0
0
0
-640 0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
-1826 0
0
0
0
0
0
0
0
0
1943 0
0
0
0
-1210 0
0
0
0
0
0
0
0
2697 0
0
0
0
0
0
0
0
0
1826 0
0
0
0
0
2851 0
0
0
0
0
0
370 0
0
0
0
0
0
0
0
0
-2125 0
0
0
0
0
0
-2234 0
0
0
0
0
0
2849 0
-370 0
0
0
0
0
0
0
0
0
-586 0
-1484 0
0
1600 0
1696 0
-2589 0
0
2318 0
0
0
0
0
0
0
-2697 0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
2766 0
0
-49 0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
2726 0
0
0
0
0
0
-879 0
0
0
0
-2851 0
0
0
0
0
0
-1255 0
0
0
-2318 1826 0
-49 0
0
0
0
-290 0
0
0
0
-1484 0
0
2849 0
0
0
0
0
0
0
0
0
0
-384 0
0
0
0
0
0
924 0
0
0
0
0
0
0
0
0
0
-2922 0
0
0
-1245 0
0
0
0
0
0
0
0
0
2517 2125 0
0
0
0
0
0
0
-2726 0
0
0
-1600 0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
893 0
0
0
0
0
0
0
0
1245 -2517 0
0
-1721 0
0
912 0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
-704 0
1555 1655 0
0
0
2726 0
0
0
0
1757 0
640 0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
-480 0
0
0
1825 0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
-1535 0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
-1255 0
132 0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
2697 0
0
0
0
0
0
0
0
0
0
0
0
0
0
-157 0
0
0
0
-2495 0
0
0
0
0
0
0
0
0
0
0
0
0
0
-2697 0
0
0
-2175 0
-1535 0
0
0
0
0
0
0
0
1600 0
0
0
0
220 0
0
0
0
480 0
0
2908 0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
488 0
0
0
0
0
0
0
0
0
0
0
-2495 0
0
0
0
0
0
0
0
2697 0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
-480 0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
-488 0
0
0
0
0
0
0
0
0
0
0
0
0
0
912 0
0
0
0
0
0
0
0
0
-1655 0
-2105 0
0
0
0
1150 0
0
0
0
0
0
0
0
0
0
0
0
-2648 0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
2517 0
0
0
0
-1696 0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
-157 0
1374 0
0
-1324 0
0
0
0
0
-2849 0
0
0
0
0
0
0
0
0
0
0
132 0
0
0
0
0
0
1359 0
0
1150 0
0
0
0
0
0
49 0
0
0
0
0
0
0
585 0
0
0
480 0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
1555 0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
-2546 0
0
0
0
0
0
0
0
0
0
0
2766 0
0
0
0
2175 0
0
0
0
-2908 0
0
0
0
0
-1721 0
0
0
0
0
0
-2725 0
0
0
0
0
0
0
0
0
-2851 0
0
0
0
1825 0
0
0
0
0
0
0
0
0
1600 0
0
132 0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
1621 0
0
924 0
700 -2546 0
0
0
0
0
0
0
0
0
0
0
0
0
0
2125 0
0
0
0
-700 0
0
0
0
0
0
0
0
0
0
0
879 0
480 0
924 0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
370 0
0
0
49 0
0
0
0
0
0
0
0
0
0
-384 0
0
0
0
0
0
0
-1233 0
859 0
0
0
0
0
924 0
-2157 0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
-682 0
0
0
0
0
0
0
0
0
0
0
1696 0
0
0
0
0
0
0
0
0
0
0
0
0
0
1826 0
915 0
0
2697 0
40 0
0
0
2922 0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
-2922 0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
-2677 0
0
0
0
0
2399 0
-1658 0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
-700 0
0
0
0
0
0
859 0
0
0
0
0
0
49 0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
-893 0
0
-40 1757 0
0
0
0
0
0
0
0
2766 0
0
0
0
0
-480 2234 -1607 0
0
0
0
0
0
0
0
0
1245 0
0
0
0
0
0
0
0
0
0
0
0
-480 0
0
0
0
0
0
0
0
0
0
0
0
0
682 0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
-2495 0
0
0
0
0
0
1825 0
0
0
0
-1374 0
0
0
0
2766 0
0
-2399 0
0
0
-924 0
0
0
0
-1470 0
0
0
0
0
0
0
0
0
0
-1825 -640 0
0
0
0
0
0
0
-1945 0
2157 0
0
0
0
-2318 0
-2105 0
0
-53 0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
2849 0
0
0
0
0
0
0
0
0
0
0
0
0
0
-1359 0
0
0
-1255 0
2849 0
0
0
0
0
0
0
0
0
1470 0
0
0
0
0
0
0
1605 0
0
0
0
0
2546 0
0
0
0
-1945 0
0
0
0
0
0
0
-1535 0
0
0
-1484 0
0
0
1600 0
0
0
0
0
0
0
0
0
2851 -1825 0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
384 0
0
-1245 0
0
0
1210 0
0
0
0
0
0
0
0
0
-1255 0
0
-2589 0
0
-194 0
0
0
0
0
0
915 0
0
0
-585 0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
-859 0
0
0
0
0
1233 -1658 0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
-1150 0
0
893 0
0
0
0
0
0
0
0
0
0
0
480 0
0
0
-1470 0
0
0
0
0
0
0
0
0
0
0
0
220 0
0
0
0
-49 0
0
0
0
0
-2119 0
-2200 0
0
0
0
0
0
-2318 0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
1535 0
0
0
-2105 0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
132 0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
-2399 0
0
0
0
0
0
0
0
0
0
0
2922 0
915 0
0
0
0
-924 0
0
-2234 0
0
0
0
0
-1359 0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
-585 0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
-2125 0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
700 0
0
0
0
0
0
0
0
0
0
-1757 0
0
0
0
0
0
0
0
0
619 0
0
0
0
0
0
0
0
0
0
0
-859 0
2157 2167 0
0
0
0
0
0
0
0
0
0
0
0
0
0
893 -2589 0
0
0
0
0
0
2677 0
0
0
0
-194 0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
-1655 0
0
0
2318 0
0
640 0
0
-2119 0
-2517 0
0
0
0
0
0
0
0
0
0
0
2703 0
0
-2922 0
1757 0
0
0
0
0
0
0
1826 0
0
0
0
0
0
0
0
0
-2648 0
0
0
0
0
0
0
1605 0
0
-1324 0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
-1412 0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
220 0
0
0
0
0
0
0
0
0
-2851 0
0
0
0
0
-1721 0
0
0
0
0
0
-1655 0
0
-480 0
0
-1233 0
0
0
0
0
0
912 0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
700 0
0
0
0
0
0
0
0
0
-2125 0
0
0
0
2766 0
0
0
924 0
0
0
0
0
0
-879 0
0
0
0
0
0
0
-132 0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
-2703 0
0
0
0
0
1980 0
0
0
-1757 0
0
0
0
0
0
0
-384 0
0
0
0
0
0
0
0
0
-194 0
0
0
0
1980 0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
-1324 0
0
0
0
0
0
0
-893 0
0
0
0
0
0
0
0
0
0
2725 0
0
640 0
0
585 0
0
0
0
0
0
-370 0
0
-132 0
-132 0
0
0
0
0
-370 0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
1600 0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
-1484 0
0
0
0
0
2972 0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
-1943 0
0
-1757 0
0
0
290 0
0
0
0
-2725 0
0
0
0
0
0
0
0
0
0
0
0
-290 0
0
0
0
0
0
0
0
0
0
1555 0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
-1696 0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
-1255 0
0
0
0
0
0
0
0
0
0
0
0
0
0
2334 0
0
0
0
0
1245 0
0
1255 0
0
0
0
0
0
0
0
0
0
0
0
0
0
132 0
543 0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
-586 0
0
700 0
0
0
0
585 0
0
0
0
0
0
0
0
0
0
0
0
-640 0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
-220 0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
-1412 0
0
2517 0
0
0
0
0
0
0
0
0
0
0
220 0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
-1655 0
0
0
0
0
0
0
-700 0
0
0
0
0
543 0
0
0
0
0
2119 0
0
0
0
0
0
0
0
-1412 0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
2972 0
0
0
0
0
-1945 0
0
0
0
0
0
0
40 0
0
0
0
0
2677 0
0
0
0
0
0
0
0
0
0
0
0
0
-2399 0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
194 0
0
0
0
0
0
0
0
0
0
0
0
0
0
1412 0
0
0
0
0
0
-859 0
0
0
0
0
0
0
0
0
0
0
0
0
2167 0
0
0
1825 0
0
0
0
0
0
2399 0
0
0
1245 0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
-1621 0
0
0
0
0
0
0
0
0
0
-194 0
0
0
0
0
0
0
0
-682 0
0
0
0
0
0
0
0
0
0
0
0
0
0
-488 0
0
0
0
0
0
0
0
0
384 0
0
0
0
0
0
0
0
0
0
0
0
-290 0
0
0
-2697 0
0
0
49 0
0
0
0
0
0
0
0
0
0
0
0
-132 0
-2851 0
-732 0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
-1658 0
0
0
0
0
384 0
0
0
0
0
-2318 0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
-586 0
0
0
1945 0
0
-603 0
0
0
0
0
0
2890 0
0
0
0
0
0
0
0
0
0
0
0
2546 0
0
0
0
0
0
0
0
0
0
0
0
0
1943 0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
-603 0
0
0
0
0
0
0
0
0
2725 0
0
0
0
0
0
0
-1470 0
0
0
0
0
0
0
0
0
0
0
0
0
0
2908 0
0
2234 0
2726 0
0
0
0
0
0
0
0
0
0
0
0
-1658 0
0
0
0
0
0
-1324 0
0
0
0
0
0
-2726 0
0
0
0
0
0
2247 0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
1210 0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
1757 0
0
0
0
0
0
0
0
0
0
1470 0
0
2533 0
0
0
0
0
0
0
0
0
-1943 0
0
0
0
0
0
0
585 0
0
0
0
1245 0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
-1412 0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
1255 0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
912 0
0
0
0
0
0
0
0
0
0
0
0
0
0
-2725 132 0
0
0
-682 0
0
1607 0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
-1210 0
0
0
0
0
0
0
0
0
0
0
-1721 0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
-53 0
0
0
0
0
-2105 0
0
0
1621 0
0
0
0
0
0
0
0
0
0
0
0
0
0
2399 0
0
0
-1721 0
0
0
2247 0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
1782 0
0
0
0
0
0
0
0
0
0
0
0
0
0
-2851 0
0
0
0
0
-700 0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
1621 0
0
0
0
0
0
0
220 0
0
0
0
2167 0
-682 0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
1605 0
0
0
0
0
0
0
0
0
0
0
0
0
0
732 0
0
0
0
0
2495 0
0
0
0
0
0
0
0
-1945 2517 0
-1655 0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
53 0
0
0
0
0
1600 0
0
0
0
0
0
0
0
0
0
0
1696 0
0
0
0
0
0
0
-2175 0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
-2157 0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
1555 0
586 0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
-1605 0
0
0
0
0
0
0
0
0
0
0
2851 0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
-732 0
0
0
0
0
0
0
2908 0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
2247 0
0
-585 0
0
0