contradiction.tmp.cnf.cnf

人工智能的一个重要方法

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