contradiction.tmp.cnf.cnf

人工智能的一个重要方法

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