contradiction.tmp.cnf.cnf

人工智能的一个重要方法

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