contradiction.tmp.cnf.cnf

人工智能的一个重要方法

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