Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
MinisatID 2.5.2 (fixed) | ? (TO) | -1606 | 1800.08 | 1800.02 |
Name | normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/ miplib2003/normalized-mps-v2-20-10-manna81.opb |
MD5SUM | 6fc83a536fe9a582c06bbccccc09c709 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | -13164 |
Best CPU time to get the best result obtained on this benchmark | 100.978 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -12220 |
Optimality of the best value was proved | NO |
Number of variables | 10713 |
Total number of constraints | 9151 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 9151 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 8 |
Number of terms in the objective function | 10713 |
Biggest coefficient in the objective function | 8 |
Number of bits for the biggest coefficient in the objective function | 4 |
Sum of the numbers in the objective function | 30411 |
Number of bits of the sum of numbers in the objective function | 15 |
Biggest number in a constraint | 24 |
Number of bits of the biggest number in a constraint | 5 |
Biggest sum of numbers in a constraint | 30411 |
Number of bits of the biggest sum of numbers | 15 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.02 >>> IMPORTANT: two aggregates with the same head occurred. Assuming that this head is certainly true. 647.81/647.87 o 0 647.81/647.87 o -4 647.81/647.87 o -5 647.81/647.87 o -13 647.81/647.87 o -14 647.81/647.87 o -16 647.81/647.87 o -20 647.81/647.87 o -21 647.81/647.87 o -23 647.81/647.87 o -24 647.81/647.87 o -26 647.81/647.87 o -27 647.81/647.87 o -31 647.81/647.87 o -39 647.81/647.87 o -40 647.81/647.87 o -42 647.81/647.87 o -46 647.81/647.87 o -48 647.81/647.87 o -52 647.81/647.87 o -54 647.81/647.87 o -62 647.81/647.87 o -63 647.81/647.87 o -65 647.81/647.87 o -69 647.81/647.87 o -73 647.81/647.87 o -75 647.81/647.87 o -79 647.81/647.87 o -87 647.81/647.87 o -88 647.81/647.87 o -92 647.81/647.87 o -93 647.81/647.87 o -95 647.81/647.87 o -97 647.81/647.87 o -99 647.81/647.87 o -100 647.81/647.87 o -104 647.81/647.87 o -105 647.81/647.87 o -109 647.81/647.87 o -113 647.81/647.87 o -117 647.81/647.87 o -119 647.81/647.87 o -123 647.81/647.87 o -125 647.81/647.87 o -127 647.81/647.87 o -129 647.81/647.87 o -130 647.81/647.87 o -131 647.81/647.87 o -133 647.81/647.87 o -137 647.81/647.87 o -138 647.81/647.87 o -142 647.81/647.87 o -144 647.81/647.87 o -146 647.81/647.87 o -154 647.81/647.87 o -155 647.81/647.87 o -156 647.81/647.87 o -158 647.81/647.87 o -162 647.81/647.87 o -166 647.81/647.87 o -167 647.81/647.87 o -175 647.81/647.87 o -179 647.81/647.87 o -180 647.81/647.87 o -188 647.81/647.87 o -189 647.81/647.87 o -191 647.81/647.87 o -193 647.81/647.87 o -197 647.81/647.87 o -199 647.81/647.87 o -200 647.81/647.87 o -201 647.81/647.87 o -203 647.81/647.87 o -211 647.81/647.87 o -212 647.81/647.87 o -214 647.81/647.87 o -222 647.81/647.87 o -223 647.81/647.87 o -225 647.81/647.87 o -226 647.81/647.87 o -228 647.81/647.87 o -229 647.81/647.87 o -231 647.81/647.87 o -232 647.81/647.87 o -233 647.81/647.87 o -235 647.81/647.87 o -236 647.81/647.87 o -237 647.81/647.87 o -239 647.81/647.87 o -241 647.81/647.87 o -245 647.81/647.87 o -246 647.81/647.87 o -248 647.81/647.87 o -249 647.81/647.87 o -250 647.81/647.87 o -251 647.81/647.87 o -253 647.81/647.87 o -261 647.81/647.87 o -265 647.81/647.87 o -269 647.81/647.87 o -271 647.81/647.87 o -275 647.81/647.87 o -279 647.81/647.87 o -283 647.81/647.87 o -291 647.81/647.87 o -293 647.81/647.87 o -301 647.81/647.87 o -303 647.81/647.87 o -305 647.81/647.87 o -306 647.81/647.87 o -308 647.81/647.87 o -310 647.81/647.87 o -314 647.81/647.87 o -318 647.81/647.87 o -322 647.81/647.87 o -324 647.81/647.87 o -326 647.81/647.87 o -327 647.81/647.87 o -328 647.81/647.87 o -330 647.81/647.87 o -332 647.81/647.87 o -334 647.81/647.87 o -336 647.81/647.87 o -340 647.81/647.87 o -348 647.81/647.87 o -349 647.81/647.87 o -351 647.81/647.87 o -352 647.81/647.87 o -360 647.81/647.87 o -361 647.81/647.87 o -365 647.81/647.87 o -366 647.81/647.87 o -367 647.81/647.87 o -375 647.81/647.87 o -379 647.81/647.87 o -387 647.81/647.87 o -388 647.81/647.87 o -390 647.81/647.87 o -392 647.81/647.87 o -393 647.81/647.87 o -401 647.81/647.87 o -409 647.81/647.87 o -411 647.81/647.87 o -415 647.81/647.87 o -417 647.81/647.87 o -421 647.81/647.87 o -422 647.81/647.87 o -424 647.81/647.87 o -428 647.81/647.87 o -430 647.81/647.87 o -431 647.81/647.87 o -432 647.81/647.87 o -434 647.81/647.87 o -436 647.81/647.87 o -437 647.81/647.87 o -441 647.81/647.87 o -442 647.81/647.87 o -444 647.81/647.87 o -446 647.81/647.87 o -450 647.81/647.87 o -452 647.81/647.87 o -454 647.81/647.87 o -458 647.81/647.87 o -462 647.81/647.87 o -463 647.81/647.87 o -467 647.81/647.87 o -471 647.81/647.87 o -472 647.81/647.87 o -474 647.81/647.87 o -475 647.81/647.87 o -476 647.81/647.87 o -484 647.81/647.87 o -485 647.81/647.87 o -486 647.81/647.87 o -488 647.81/647.87 o -492 647.81/647.87 o -496 647.81/647.87 o -498 647.81/647.87 o -500 647.81/647.87 o -501 647.81/647.87 o -503 647.81/647.87 o -505 647.81/647.87 o -506 647.81/647.87 o -508 647.81/647.87 o -512 647.81/647.87 o -514 647.81/647.87 o -515 647.81/647.87 o -516 647.81/647.87 o -518 647.81/647.87 o -519 647.81/647.87 o -520 647.81/647.87 o -521 647.81/647.87 o -523 647.81/647.87 o -524 647.81/647.87 o -526 647.81/647.87 o -527 647.81/647.87 o -529 647.81/647.87 o -531 647.81/647.87 o -533 647.81/647.87 o -537 647.81/647.87 o -538 647.81/647.87 o -540 647.81/647.87 o -542 647.81/647.87 o -546 647.81/647.87 o -548 647.81/647.87 o -552 647.81/647.87 o -553 647.81/647.87 o -554 647.81/647.87 o -555 647.81/647.87 o -559 647.81/647.87 o -560 647.81/647.87 o -562 647.81/647.87 o -564 647.81/647.87 o -566 647.81/647.87 o -574 647.81/647.87 o -578 647.81/647.87 o -579 647.81/647.87 o -580 647.81/647.87 o -582 647.81/647.87 o -583 647.81/647.87 o -585 647.81/647.87 o -589 647.81/647.87 o -591 647.81/647.87 o -599 647.81/647.87 o -600 647.81/647.87 o -604 647.81/647.87 o -605 647.81/647.87 o -613 647.81/647.87 o -615 647.81/647.87 o -617 647.81/647.87 o -618 647.81/647.87 o -622 647.81/647.87 o -624 647.81/647.87 o -625 647.81/647.87 o -627 647.81/647.87 o -629 647.81/647.87 o -633 647.81/647.87 o -635 647.81/647.87 o -637 647.81/647.87 o -638 647.81/647.87 o -642 647.81/647.87 o -650 647.81/647.87 o -651 647.81/647.87 o -653 647.81/647.87 o -656 647.81/647.87 o -657 647.81/647.87 o -661 647.81/647.87 o -665 647.81/647.87 o -667 647.81/647.87 o -668 647.81/647.87 o -672 647.81/647.87 o -673 647.81/647.87 o -674 647.81/647.87 o -675 647.81/647.87 o -679 647.81/647.87 o -681 647.81/647.87 o -682 647.81/647.87 o -686 647.81/647.87 o -687 647.81/647.87 o -691 647.81/647.87 o -692 647.81/647.87 o -696 647.81/647.87 o -700 647.81/647.87 o -701 647.81/647.87 o -705 647.81/647.87 o -706 647.81/647.87 o -708 647.81/647.87 o -709 647.81/647.87 o -713 647.81/647.87 o -715 647.81/647.87 o -716 647.81/647.87 o -718 647.81/647.87 o -719 647.81/647.87 o -721 647.81/647.87 o -722 647.81/647.87 o -723 647.81/647.87 o -727 647.81/647.87 o -729 647.81/647.87 o -731 647.81/647.87 o -732 647.81/647.87 o -734 647.81/647.87 o -738 647.81/647.87 o -740 647.81/647.87 o -742 647.81/647.87 o -744 647.81/647.87 o -748 647.81/647.87 o -750 647.81/647.87 o -752 647.81/647.87 o -754 647.81/647.87 o -755 647.81/647.87 o -759 647.81/647.87 o -760 647.81/647.87 o -764 647.81/647.87 o -766 647.81/647.87 o -767 647.81/647.87 o -771 647.81/647.87 o -773 647.81/647.87 o -777 647.81/647.87 o -778 647.81/647.87 o -780 647.81/647.87 o -782 647.81/647.87 o -784 647.81/647.87 o -786 647.81/647.87 o -788 647.81/647.87 o -790 647.81/647.87 o -792 647.81/647.87 o -794 647.81/647.87 o -796 647.81/647.87 o -798 647.81/647.87 o -802 647.81/647.87 o -804 647.81/647.87 o -805 647.81/647.87 o -806 647.81/647.87 o -808 647.81/647.87 o -810 647.81/647.87 o -811 647.81/647.87 o -815 647.81/647.87 o -816 647.81/647.87 o -817 647.81/647.87 o -819 647.81/647.87 o -823 647.81/647.87 o -824 647.81/647.87 o -826 647.81/647.87 o -827 647.81/647.87 o -829 647.81/647.87 o -831 647.81/647.87 o -833 647.81/647.87 o -835 647.81/647.87 o -836 647.81/647.87 o -837 647.81/647.87 o -839 647.81/647.87 o -841 647.81/647.87 o -843 647.81/647.87 o -845 647.81/647.87 o -847 647.81/647.87 o -849 647.81/647.87 o -851 647.81/647.87 o -853 647.81/647.87 o -855 647.81/647.87 o -857 647.81/647.87 o -859 647.81/647.87 o -860 647.81/647.87 o -862 647.81/647.87 o -864 647.81/647.87 o -866 647.81/647.87 o -867 647.81/647.87 o -869 647.81/647.87 o -870 647.81/647.87 o -872 647.81/647.87 o -874 647.81/647.87 o -876 647.81/647.87 o -878 647.81/647.87 o -879 647.81/647.87 o -881 647.81/647.87 o -883 647.81/647.87 o -884 647.81/647.87 o -885 647.81/647.87 o -887 647.81/647.87 o -889 647.81/647.87 o -891 647.81/647.87 o -893 647.81/647.87 o -895 647.81/647.87 o -897 647.81/647.87 o -898 647.81/647.87 o -900 647.81/647.87 o -902 647.81/647.87 o -904 647.81/647.87 o -906 647.81/647.87 o -907 647.81/647.87 o -909 647.81/647.87 o -910 647.81/647.87 o -911 647.81/647.87 o -912 647.81/647.87 o -916 647.81/647.87 o -918 647.81/647.87 o -920 647.81/647.87 o -921 647.81/647.87 o -922 647.81/647.87 o -923 647.81/647.87 o -924 647.81/647.87 o -925 647.81/647.87 o -926 647.81/647.87 o -927 647.81/647.87 o -929 647.81/647.87 o -931 647.81/647.87 o -933 647.81/647.87 o -934 647.81/647.87 o -935 647.81/647.87 o -936 647.81/647.87 o -938 647.81/647.87 o -940 647.81/647.87 o -941 647.81/647.87 o -942 647.81/647.87 o -944 647.81/647.87 o -945 647.81/647.87 o -946 647.81/647.87 o -947 647.81/647.87 o -948 647.81/647.87 o -949 647.81/647.87 o -951 647.81/647.87 o -953 647.81/647.87 o -957 647.81/647.87 o -958 647.81/647.87 o -960 647.81/647.87 o -961 647.81/647.87 o -962 647.81/647.87 o -964 647.81/647.87 o -965 647.81/647.87 o -966 647.81/647.87 o -968 647.81/647.87 o -969 647.81/647.87 o -970 647.81/647.87 o -972 647.81/647.87 o -973 647.81/647.87 o -974 647.81/647.87 o -976 647.81/647.87 o -977 647.81/647.87 o -978 647.81/647.87 o -979 647.81/647.87 o -980 647.81/647.87 o -982 647.81/647.87 o -983 647.81/647.87 o -984 647.81/647.87 o -985 647.81/647.87 o -986 647.81/647.87 o -987 647.81/647.87 o -989 647.81/647.87 o -990 647.81/647.87 o -991 647.81/647.87 o -992 647.81/647.87 o -993 647.81/647.87 o -994 647.81/647.87 o -995 647.81/647.87 o -997 647.81/647.87 o -998 647.81/647.87 o -999 647.81/647.87 o -1002 647.81/647.87 o -1003 647.81/647.87 o -1004 647.81/647.87 o -1005 647.81/647.87 o -1006 647.81/647.87 o -1007 647.81/647.87 o -1008 647.81/647.87 o -1009 647.81/647.87 o -1010 647.81/647.87 o -1011 647.81/647.87 o -1012 647.81/647.87 o -1013 647.81/647.87 o -1014 647.81/647.87 o -1015 647.81/647.87 o -1017 647.81/647.87 o -1021 647.81/647.87 o -1022 647.81/647.87 o -1023 647.81/647.87 o -1024 647.81/647.87 o -1025 647.81/647.87 o -1026 647.81/647.87 o -1028 647.81/647.87 o -1029 647.81/647.87 o -1030 647.81/647.87 o -1031 647.81/647.87 o -1032 647.81/647.87 o -1033 647.81/647.87 o -1034 647.81/647.87 o -1038 647.81/647.87 o -1039 647.81/647.87 o -1040 647.81/647.87 o -1042 647.81/647.87 o -1043 647.81/647.87 o -1044 647.81/647.87 o -1045 647.81/647.87 o -1046 647.81/647.87 o -1047 647.81/647.87 o -1048 647.81/647.87 o -1049 647.81/647.87 o -1050 647.81/647.87 o -1051 647.81/647.87 o -1053 647.81/647.87 o -1054 647.81/647.87 o -1055 647.81/647.87 o -1056 647.81/647.87 o -1057 647.81/647.87 o -1058 647.81/647.87 o -1060 647.81/647.87 o -1061 647.81/647.87 o -1062 647.81/647.87 o -1064 647.81/647.87 o -1065 647.81/647.87 o -1066 647.81/647.87 o -1067 647.81/647.87 o -1068 647.81/647.87 o -1069 647.81/647.87 o -1070 647.81/647.87 o -1071 647.81/647.87 o -1072 647.81/647.87 o -1073 647.81/647.87 o -1074 647.81/647.87 o -1075 647.81/647.87 o -1076 647.81/647.87 o -1077 647.81/647.87 o -1078 647.81/647.87 o -1080 647.81/647.87 o -1081 647.81/647.87 o -1082 647.81/647.87 o -1083 647.81/647.87 o -1084 647.81/647.87 o -1086 647.81/647.87 o -1087 647.81/647.87 o -1088 647.81/647.87 o -1089 647.81/647.87 o -1090 647.81/647.87 o -1093 647.81/647.87 o -1094 647.81/647.87 o -1095 647.81/647.87 o -1096 647.81/647.87 o -1098 647.81/647.87 o -1099 647.81/647.87 o -1101 647.81/647.87 o -1103 647.81/647.87 o -1104 647.81/647.87 o -1105 647.81/647.87 o -1107 647.81/647.87 o -1108 647.81/647.87 o -1109 647.81/647.87 o -1112 647.81/647.87 o -1113 647.81/647.87 o -1115 647.81/647.87 o -1116 647.81/647.87 o -1117 647.81/647.87 o -1118 647.81/647.87 o -1119 647.81/647.87 o -1121 647.81/647.87 o -1122 647.81/647.87 o -1123 647.81/647.87 o -1124 647.81/647.87 o -1126 647.81/647.87 o -1127 647.81/647.87 o -1128 647.81/647.87 o -1129 647.81/647.87 o -1130 647.81/647.87 o -1131 647.81/647.87 o -1132 647.81/647.87 o -1133 647.81/647.87 o -1135 647.81/647.87 o -1136 647.81/647.87 o -1137 647.81/647.87 o -1139 647.81/647.87 o -1140 647.81/647.87 o -1141 647.81/647.87 o -1142 647.81/647.87 o -1144 647.81/647.87 o -1145 647.81/647.87 o -1146 647.81/647.87 o -1147 647.81/647.87 o -1148 647.81/647.87 o -1149 647.81/647.87 o -1150 647.81/647.87 o -1151 647.81/647.87 o -1152 647.81/647.87 o -1153 647.81/647.87 o -1154 647.81/647.87 o -1155 647.81/647.87 o -1158 647.81/647.87 o -1159 647.81/647.87 o -1162 647.81/647.87 o -1163 647.81/647.87 o -1164 647.81/647.87 o -1165 647.81/647.87 o -1169 647.81/647.87 o -1170 647.81/647.87 o -1171 647.81/647.87 o -1173 647.81/647.87 o>>> Terminate signal received 1800.05/1800.00 -1174 1800.05/1800.00 o -1175 1800.05/1800.00 o -1176 1800.05/1800.00 o -1177 1800.05/1800.00 o -1178 1800.05/1800.00 o -1179 1800.05/1800.00 o -1180 1800.05/1800.00 o -1181 1800.05/1800.00 o -1182 1800.05/1800.00 o -1183 1800.05/1800.00 o -1184 1800.05/1800.00 o -1185 1800.05/1800.00 o -1186 1800.05/1800.00 o -1187 1800.05/1800.00 o -1189 1800.05/1800.00 o -1190 1800.05/1800.00 o -1191 1800.05/1800.00 o -1192 1800.05/1800.00 o -1194 1800.05/1800.00 o -1195 1800.05/1800.00 o -1196 1800.05/1800.00 o -1197 1800.05/1800.00 o -1199 1800.05/1800.00 o -1200 1800.05/1800.00 o -1201 1800.05/1800.00 o -1202 1800.05/1800.00 o -1203 1800.05/1800.00 o -1204 1800.05/1800.00 o -1205 1800.05/1800.00 o -1206 1800.05/1800.00 o -1207 1800.05/1800.00 o -1208 1800.05/1800.00 o -1209 1800.05/1800.00 o -1210 1800.05/1800.00 o -1211 1800.05/1800.00 o -1212 1800.05/1800.00 o -1213 1800.05/1800.00 o -1214 1800.05/1800.00 o -1215 1800.05/1800.00 o -1216 1800.05/1800.00 o -1217 1800.05/1800.00 o -1218 1800.05/1800.00 o -1219 1800.05/1800.00 o -1220 1800.05/1800.00 o -1221 1800.05/1800.00 o -1222 1800.05/1800.00 o -1223 1800.05/1800.00 o -1224 1800.05/1800.00 o -1225 1800.05/1800.00 o -1226 1800.05/1800.00 o -1227 1800.05/1800.00 o -1228 1800.05/1800.00 o -1229 1800.05/1800.00 o -1231 1800.05/1800.00 o -1233 1800.05/1800.00 o -1234 1800.05/1800.00 o -1235 1800.05/1800.00 o -1236 1800.05/1800.00 o -1237 1800.05/1800.00 o -1238 1800.05/1800.00 o -1239 1800.05/1800.00 o -1240 1800.05/1800.00 o -1241 1800.05/1800.00 o -1242 1800.05/1800.00 o -1243 1800.05/1800.00 o -1244 1800.05/1800.00 o -1245 1800.05/1800.00 o -1246 1800.05/1800.00 o -1247 1800.05/1800.00 o -1248 1800.05/1800.00 o -1249 1800.05/1800.00 o -1250 1800.05/1800.00 o -1251 1800.05/1800.00 o -1252 1800.05/1800.00 o -1253 1800.05/1800.00 o -1254 1800.05/1800.00 o -1255 1800.05/1800.00 o -1256 1800.05/1800.00 o -1257 1800.05/1800.00 o -1258 1800.05/1800.00 o -1259 1800.05/1800.00 o -1260 1800.05/1800.00 o -1261 1800.05/1800.00 o -1263 1800.05/1800.00 o -1264 1800.05/1800.00 o -1265 1800.05/1800.00 o -1266 1800.05/1800.00 o -1267 1800.05/1800.00 o -1268 1800.05/1800.00 o -1269 1800.05/1800.00 o -1270 1800.05/1800.00 o -1271 1800.05/1800.00 o -1272 1800.05/1800.00 o -1273 1800.05/1800.00 o -1275 1800.05/1800.00 o -1276 1800.05/1800.00 o -1277 1800.05/1800.00 o -1279 1800.05/1800.00 o -1280 1800.05/1800.00 o -1281 1800.05/1800.00 o -1282 1800.05/1800.00 o -1283 1800.05/1800.00 o -1284 1800.05/1800.00 o -1285 1800.05/1800.00 o -1286 1800.05/1800.00 o -1287 1800.05/1800.00 o -1288 1800.05/1800.00 o -1289 1800.05/1800.00 o -1290 1800.05/1800.00 o -1291 1800.05/1800.00 o -1292 1800.05/1800.00 o -1293 1800.05/1800.00 o -1294 1800.05/1800.00 o -1295 1800.05/1800.00 o -1296 1800.05/1800.00 o -1298 1800.05/1800.00 o -1299 1800.05/1800.00 o -1300 1800.05/1800.00 o -1301 1800.05/1800.00 o -1302 1800.05/1800.00 o -1304 1800.05/1800.00 o -1305 1800.05/1800.00 o -1306 1800.05/1800.00 o -1309 1800.05/1800.00 o -1310 1800.05/1800.00 o -1311 1800.05/1800.00 o -1314 1800.05/1800.00 o -1315 1800.05/1800.00 o -1316 1800.05/1800.00 o -1317 1800.05/1800.00 o -1318 1800.05/1800.00 o -1319 1800.05/1800.00 o -1322 1800.05/1800.00 o -1323 1800.05/1800.00 o -1324 1800.05/1800.00 o -1325 1800.05/1800.00 o -1326 1800.05/1800.00 o -1327 1800.05/1800.00 o -1328 1800.05/1800.00 o -1329 1800.05/1800.00 o -1330 1800.05/1800.00 o -1331 1800.05/1800.00 o -1333 1800.05/1800.00 o -1335 1800.05/1800.00 o -1336 1800.05/1800.00 o -1337 1800.05/1800.00 o -1338 1800.05/1800.00 o -1339 1800.05/1800.00 o -1340 1800.05/1800.00 o -1342 1800.05/1800.00 o -1343 1800.05/1800.00 o -1344 1800.05/1800.00 o -1345 1800.05/1800.00 o -1346 1800.05/1800.00 o -1348 1800.05/1800.00 o -1349 1800.05/1800.00 o -1350 1800.05/1800.00 o -1352 1800.05/1800.00 o -1353 1800.05/1800.00 o -1354 1800.05/1800.00 o -1356 1800.05/1800.00 o -1357 1800.05/1800.00 o -1358 1800.05/1800.00 o -1360 1800.05/1800.00 o -1361 1800.05/1800.00 o -1362 1800.05/1800.00 o -1363 1800.05/1800.00 o -1364 1800.05/1800.00 o -1365 1800.05/1800.00 o -1366 1800.05/1800.00 o -1367 1800.05/1800.00 o -1368 1800.05/1800.00 o -1369 1800.05/1800.00 o -1370 1800.05/1800.00 o -1371 1800.05/1800.00 o -1372 1800.05/1800.00 o -1373 1800.05/1800.00 o -1374 1800.05/1800.00 o -1377 1800.05/1800.00 o -1378 1800.05/1800.00 o -1379 1800.05/1800.00 o -1380 1800.05/1800.00 o -1382 1800.05/1800.00 o -1383 1800.05/1800.00 o -1385 1800.05/1800.00 o -1386 1800.05/1800.00 o -1387 1800.05/1800.00 o -1388 1800.05/1800.00 o -1389 1800.05/1800.00 o -1390 1800.05/1800.00 o -1391 1800.05/1800.00 o -1392 1800.05/1800.00 o -1393 1800.05/1800.00 o -1394 1800.05/1800.00 o -1395 1800.05/1800.00 o -1396 1800.05/1800.00 o -1397 1800.05/1800.00 o -1398 1800.05/1800.00 o -1399 1800.05/1800.00 o -1400 1800.05/1800.00 o -1401 1800.05/1800.00 o -1402 1800.05/1800.00 o -1403 1800.05/1800.00 o -1405 1800.05/1800.00 o -1406 1800.05/1800.00 o -1407 1800.05/1800.00 o -1409 1800.05/1800.00 o -1410 1800.05/1800.00 o -1411 1800.05/1800.00 o -1413 1800.05/1800.00 o -1415 1800.05/1800.00 o -1416 1800.05/1800.00 o -1418 1800.05/1800.00 o -1419 1800.05/1800.00 o -1420 1800.05/1800.00 o -1421 1800.05/1800.00 o -1422 1800.05/1800.00 o -1423 1800.05/1800.00 o -1424 1800.05/1800.00 o -1425 1800.05/1800.00 o -1428 1800.05/1800.00 o -1429 1800.05/1800.00 o -1431 1800.05/1800.00 o -1432 1800.05/1800.00 o -1433 1800.05/1800.00 o -1434 1800.05/1800.00 o -1435 1800.05/1800.00 o -1436 1800.05/1800.00 o -1437 1800.05/1800.00 o -1438 1800.05/1800.00 o -1439 1800.05/1800.00 o -1440 1800.05/1800.00 o -1441 1800.05/1800.00 o -1442 1800.05/1800.00 o -1443 1800.05/1800.00 o -1444 1800.05/1800.00 o -1447 1800.05/1800.00 o -1448 1800.05/1800.00 o -1450 1800.05/1800.00 o -1451 1800.05/1800.00 o -1452 1800.05/1800.00 o -1454 1800.05/1800.00 o -1455 1800.05/1800.00 o -1456 1800.05/1800.00 o -1457 1800.05/1800.00 o -1458 1800.05/1800.00 o -1461 1800.05/1800.00 o -1462 1800.05/1800.00 o -1465 1800.05/1800.00 o -1466 1800.05/1800.00 o -1467 1800.05/1800.00 o -1468 1800.05/1800.00 o -1469 1800.05/1800.00 o -1470 1800.05/1800.00 o -1471 1800.05/1800.00 o -1472 1800.05/1800.00 o -1473 1800.05/1800.00 o -1474 1800.05/1800.00 o -1476 1800.05/1800.00 o -1477 1800.05/1800.00 o -1478 1800.05/1800.00 o -1479 1800.05/1800.00 o -1480 1800.05/1800.00 o -1481 1800.05/1800.00 o -1482 1800.05/1800.00 o -1483 1800.05/1800.00 o -1484 1800.05/1800.00 o -1485 1800.05/1800.00 o -1486 1800.05/1800.00 o -1487 1800.05/1800.00 o -1488 1800.05/1800.00 o -1489 1800.05/1800.00 o -1491 1800.05/1800.00 o -1492 1800.05/1800.00 o -1493 1800.05/1800.00 o -1494 1800.05/1800.00 o -1496 1800.05/1800.00 o -1497 1800.05/1800.00 o -1498 1800.05/1800.00 o -1499 1800.05/1800.00 o -1501 1800.05/1800.00 o -1503 1800.05/1800.00 o -1504 1800.05/1800.00 o -1505 1800.05/1800.00 o -1506 1800.05/1800.00 o -1507 1800.05/1800.00 o -1510 1800.05/1800.00 o -1511 1800.05/1800.00 o -1513 1800.05/1800.00 o -1514 1800.05/1800.00 o -1515 1800.05/1800.00 o -1516 1800.05/1800.00 o -1517 1800.05/1800.00 o -1518 1800.05/1800.00 o -1519 1800.05/1800.00 o -1520 1800.05/1800.00 o -1521 1800.05/1800.00 o -1522 1800.05/1800.00 o -1524 1800.05/1800.00 o -1527 1800.05/1800.00 o -1528 1800.05/1800.00 o -1529 1800.05/1800.00 o -1531 1800.05/1800.00 o -1532 1800.05/1800.00 o -1533 1800.05/1800.00 o -1534 1800.05/1800.00 o -1535 1800.05/1800.00 o -1536 1800.05/1800.00 o -1537 1800.05/1800.00 o -1540 1800.05/1800.00 o -1541 1800.05/1800.00 o -1542 1800.05/1800.00 o -1543 1800.05/1800.00 o -1545 1800.05/1800.00 o -1546 1800.05/1800.00 o -1547 1800.05/1800.00 o -1549 1800.05/1800.00 o -1550 1800.05/1800.00 o -1551 1800.05/1800.00 o -1553 1800.05/1800.00 o -1554 1800.05/1800.00 o -1556 1800.05/1800.00 o -1557 1800.05/1800.00 o -1558 1800.05/1800.00 o -1560 1800.05/1800.00 o -1561 1800.05/1800.00 o -1562 1800.05/1800.00 o -1564 1800.05/1800.00 o -1567 1800.05/1800.00 o -1568 1800.05/1800.00 o -1569 1800.05/1800.00 o -1570 1800.05/1800.00 o -1571 1800.05/1800.00 o -1573 1800.05/1800.00 o -1574 1800.05/1800.00 o -1575 1800.05/1800.00 o -1576 1800.05/1800.00 o -1577 1800.05/1800.00 o -1578 1800.05/1800.00 o -1579 1800.05/1800.00 o -1580 1800.05/1800.00 o -1582 1800.05/1800.00 o -1583 1800.05/1800.00 o -1584 1800.05/1800.00 o -1585 1800.05/1800.00 o -1586 1800.05/1800.00 o -1587 1800.05/1800.00 o -1588 1800.05/1800.00 o -1589 1800.05/1800.00 o -1590 1800.05/1800.00 o -1591 1800.05/1800.00 o -1592 1800.05/1800.00 o -1593 1800.05/1800.00 o -1594 1800.05/1800.00 o -1595 1800.05/1800.00 o -1597 1800.05/1800.00 o -1598 1800.05/1800.00 o -1600 1800.05/1800.00 o -1601 1800.05/1800.00 o -1602 1800.05/1800.00 o -1603 1800.05/1800.00 o -1604 1800.05/1800.00 o -1605 1800.05/1800.00 o -1606 1800.05/1800.00 v -x1 -x2 x3 -x4 -x5 -x6 -x7 -x8 -x9 x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 x228 x229 -x230 x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 x326 -x327 x328 -x329 -x330 -x331 x332 -x333 -x334 x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 x368 -x369 -x370 -x371 -x372 -x373 x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 x552 x553 -x554 -x555 -x556 -x557 x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 x585 x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 x868 -x869 -x870 -x871 -x872 x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 x1142 -x1143 x1144 -x1145 x1146 -x1147 x1148 -x1149 x1150 -x1151 -x1152 -x1153 x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 x1195 x1196 x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 x1229 -x1230 -x1231 -x1232 x1233 x1234 -x1235 -x1236 -x1237 x1238 x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 x1460 -x1461 -x1462 x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 x1496 -x1497 -x1498 -x1499 x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 x1533 x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 x1683 x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 x1774 x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 x1835 x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 x1923 -x1924 -x1925 -x1926 x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 x1937 -x1938 -x1939 x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 x2043 x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 x2189 -x2190 -x2191 -x2192 -x2193 -x2194 x2195 -x2196 -x2197 -x2198 x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 x2234 x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 x2310 -x2311 -x2312 -x2313 x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 x2327 -x2328 x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 x2360 -x2361 x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 x2372 -x2373 -x2374 -x2375 -x2376 x2377 x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 x2427 -x2428 -x2429 -x2430 -x2431 -x2432 x2433 -x2434 -x2435 -x2436 x2437 -x2438 x2439 -x2440 -x2441 -x2442 -x2443 -x2444 x2445 -x2446 -x2447 -x2448 x2449 x2450 -x2451 x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 x2459 -x2460 -x2461 -x2462 x2463 -x2464 -x2465 x2466 x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 x2477 x2478 -x2479 -x2480 -x2481 x2482 -x2483 -x2484 -x2485 x2486 x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 x2523 -x2524 -x2525 -x2526 -x2527 -x2528 x2529 -x2530 x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 x2559 x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 x2588 x2589 -x2590 -x2591 x2592 -x2593 -x2594 -x2595 -x2596 x2597 -x2598 -x2599 x2600 -x2601 -x2602 -x2603 -x2604 -x2605 x2606 -x2607 -x2608 x2609 x2610 -x2611 -x2612 -x2613 -x2614 -x2615 x2616 x2617 -x2618 -x2619 x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 x2721 -x2722 -x2723 x2724 -x2725 x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 x2869 -x2870 -x2871 -x2872 x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 x2894 x2895 x2896 x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 x3625 x3626 -x3627 -x3628 x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 x3706 -x3707 -x3708 -x3709 x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 x3871 -x3872 -x3873 -x3874 x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 x3897 x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 x3912 -x3913 -x3914 x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 x3977 x3978 -x3979 -x3980 -x3981 x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 x4011 -x4012 -x4013 -x4014 -x4015 x4016 -x4017 x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 x4046 -x4047 -x4048 -x4049 -x4050 -x4051 x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 x4078 -x4079 -x4080 x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 x4235 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4359 x4360 x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4390 -x4391 -x4392 -x4393 -x4394 -x4395 x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x4410 -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x4470 -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 -x4480 -x4481 -x4482 -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 -x4491 x4492 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 -x4499 -x4500 -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4510 -x4511 -x4512 -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4524 -x4525 -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 -x4532 -x4533 -x4534 -x4535 x4536 -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 x4558 -x4559 -x4560 -x4561 -x4562 -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 -x4569 -x4570 -x4571 x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 x4579 -x4580 x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 x4589 -x4590 -x4591 -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 -x4598 -x4599 -x4600 x4601 -x4602 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x4610 -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x4620 -x4621 -x4622 -x4623 -x4624 -x4625 -x4626 -x4627 -x4628 -x4629 -x4630 -x4631 -x4632 -x4633 -x4634 -x4635 x4636 -x4637 -x4638 -x4639 -x4640 -x4641 -x4642 -x4643 -x4644 -x4645 -x4646 -x4647 -x4648 -x4649 -x4650 -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 -x4660 -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4667 -x4668 -x4669 -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 -x4677 -x4678 -x4679 -x4680 -x4681 -x4682 -x4683 -x4684 -x4685 -x4686 -x4687 -x4688 -x4689 -x4690 -x4691 -x4692 -x4693 -x4694 -x4695 -x4696 -x4697 -x4698 -x4699 -x4700 -x4701 -x4702 -x4703 -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4710 -x4711 -x4712 -x4713 x4714 -x4715 -x4716 -x4717 -x4718 -x4719 -x4720 -x4721 -x4722 -x4723 -x4724 -x4725 -x4726 -x4727 -x4728 -x4729 -x4730 -x4731 -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 -x4741 -x4742 -x4743 -x4744 -x4745 -x4746 -x4747 -x4748 -x4749 -x4750 -x4751 -x4752 -x4753 -x4754 -x4755 -x4756 -x4757 -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 -x4769 -x4770 -x4771 -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 -x4779 -x4780 -x4781 -x4782 -x4783 -x4784 -x4785 -x4786 -x4787 -x4788 -x4789 -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 -x4798 -x4799 -x4800 -x4801 -x4802 -x4803 -x4804 -x4805 -x4806 -x4807 -x4808 -x4809 -x4810 -x4811 -x4812 -x4813 -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 -x4820 -x4821 -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 -x4828 -x4829 -x4830 -x4831 x4832 -x4833 -x4834 -x4835 -x4836 -x4837 -x4838 -x4839 -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 -x4846 -x4847 -x4848 -x4849 -x4850 -x4851 -x4852 -x4853 -x4854 -x4855 -x4856 -x4857 -x4858 -x4859 -x4860 -x4861 -x4862 -x4863 -x4864 -x4865 -x4866 -x4867 -x4868 -x4869 -x4870 -x4871 -x4872 -x4873 -x4874 -x4875 -x4876 -x4877 -x4878 x4879 -x4880 -x4881 -x4882 -x4883 -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 x4890 -x4891 -x4892 -x4893 -x4894 -x4895 -x4896 -x4897 -x4898 -x4899 -x4900 -x4901 -x4902 x4903 -x4904 -x4905 -x4906 -x4907 -x4908 -x4909 -x4910 -x4911 -x4912 -x4913 -x4914 -x4915 -x4916 -x4917 -x4918 -x4919 -x4920 -x4921 -x4922 -x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4929 -x4930 -x4931 -x4932 -x4933 -x4934 -x4935 x4936 -x4937 -x4938 -x4939 -x4940 -x4941 -x4942 -x4943 -x4944 -x4945 -x4946 -x4947 -x4948 -x4949 -x4950 -x4951 x4952 -x4953 -x4954 -x4955 -x4956 -x4957 -x4958 -x4959 -x4960 -x4961 -x4962 -x4963 -x4964 -x4965 -x4966 -x4967 -x4968 -x4969 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 -x4977 -x4978 -x4979 x4980 -x4981 -x4982 -x4983 -x4984 -x4985 -x4986 -x4987 -x4988 -x4989 -x4990 -x4991 -x4992 -x4993 -x4994 -x4995 -x4996 -x4997 -x4998 -x4999 -x5000 -x5001 -x5002 -x5003 -x5004 -x5005 -x5006 -x5007 x5008 -x5009 -x5010 -x5011 -x5012 -x5013 -x5014 -x5015 -x5016 -x5017 -x5018 -x5019 -x5020 -x5021 -x5022 -x5023 -x5024 -x5025 -x5026 x5027 -x5028 -x5029 -x5030 -x5031 -x5032 -x5033 -x5034 -x5035 -x5036 -x5037 -x5038 -x5039 -x5040 -x5041 -x5042 -x5043 -x5044 -x5045 -x5046 -x5047 -x5048 -x5049 x5050 -x5051 -x5052 -x5053 -x5054 -x5055 -x5056 -x5057 -x5058 -x5059 -x5060 -x5061 -x5062 -x5063 -x5064 -x5065 -x5066 -x5067 -x5068 -x5069 -x5070 -x5071 -x5072 -x5073 -x5074 -x5075 -x5076 -x5077 -x5078 -x5079 -x5080 -x5081 -x5082 -x5083 -x5084 -x5085 -x5086 -x5087 -x5088 -x5089 -x5090 -x5091 -x5092 -x5093 -x5094 -x5095 -x5096 -x5097 -x5098 -x5099 -x5100 -x5101 -x5102 -x5103 -x5104 -x5105 -x5106 -x5107 -x5108 -x5109 -x5110 -x5111 -x5112 -x5113 -x5114 -x5115 x5116 -x5117 -x5118 -x5119 -x5120 -x5121 x5122 -x5123 -x5124 -x5125 -x5126 -x5127 -x5128 -x5129 -x5130 -x5131 -x5132 -x5133 -x5134 -x5135 -x5136 -x5137 -x5138 -x5139 -x5140 -x5141 -x5142 -x5143 -x5144 -x5145 -x5146 -x5147 -x5148 -x5149 -x5150 -x5151 -x5152 -x5153 -x5154 -x5155 -x5156 -x5157 -x5158 -x5159 -x5160 -x5161 -x5162 -x5163 -x5164 -x5165 -x5166 -x5167 -x5168 -x5169 -x5170 -x5171 -x5172 -x5173 -x5174 -x5175 -x5176 -x5177 -x5178 -x5179 -x5180 -x5181 -x5182 -x5183 -x5184 -x5185 -x5186 -x5187 x5188 -x5189 -x5190 -x5191 -x5192 -x5193 -x5194 -x5195 -x5196 -x5197 -x5198 -x5199 -x5200 -x5201 -x5202 -x5203 -x5204 -x5205 -x5206 -x5207 -x5208 -x5209 -x5210 -x5211 -x5212 -x5213 -x5214 -x5215 -x5216 -x5217 -x5218 x5219 -x5220 -x5221 -x5222 -x5223 -x5224 -x5225 -x5226 -x5227 -x5228 -x5229 -x5230 -x5231 -x5232 -x5233 -x5234 -x5235 -x5236 -x5237 -x5238 -x5239 -x5240 -x5241 -x5242 -x5243 -x5244 -x5245 -x5246 -x5247 -x5248 -x5249 -x5250 -x5251 -x5252 -x5253 -x5254 -x5255 x5256 -x5257 -x5258 -x5259 -x5260 -x5261 x5262 -x5263 -x5264 -x5265 x5266 -x5267 -x5268 -x5269 -x5270 -x5271 -x5272 -x5273 -x5274 -x5275 x5276 -x5277 -x5278 -x5279 -x5280 -x5281 -x5282 -x5283 -x5284 -x5285 -x5286 -x5287 -x5288 -x5289 -x5290 -x5291 x5292 -x5293 -x5294 -x5295 -x5296 x5297 -x5298 -x5299 x5300 -x5301 -x5302 -x5303 x5304 -x5305 -x5306 -x5307 -x5308 -x5309 -x5310 -x5311 -x5312 -x5313 -x5314 -x5315 -x5316 -x5317 -x5318 -x5319 x5320 -x5321 -x5322 -x5323 -x5324 x5325 -x5326 -x5327 -x5328 -x5329 -x5330 -x5331 x5332 -x5333 -x5334 -x5335 -x5336 -x5337 -x5338 -x5339 -x5340 -x5341 -x5342 -x5343 -x5344 -x5345 -x5346 -x5347 -x5348 -x5349 -x5350 -x5351 -x5352 -x5353 -x5354 x5355 -x5356 -x5357 -x5358 -x5359 -x5360 -x5361 -x5362 -x5363 -x5364 x5365 x5366 -x5367 -x5368 -x5369 -x5370 -x5371 -x5372 -x5373 -x5374 -x5375 -x5376 -x5377 -x5378 -x5379 -x5380 -x5381 -x5382 -x5383 -x5384 -x5385 -x5386 -x5387 -x5388 -x5389 x5390 -x5391 -x5392 -x5393 -x5394 -x5395 -x5396 -x5397 -x5398 -x5399 -x5400 -x5401 -x5402 -x5403 -x5404 -x5405 -x5406 -x5407 -x5408 -x5409 -x5410 -x5411 -x5412 x5413 -x5414 -x5415 -x5416 -x5417 -x5418 -x5419 -x5420 x5421 -x5422 -x5423 -x5424 -x5425 -x5426 -x5427 -x5428 -x5429 -x5430 -x5431 -x5432 -x5433 -x5434 -x5435 -x5436 -x5437 -x5438 -x5439 -x5440 -x5441 -x5442 -x5443 -x5444 -x5445 -x5446 -x5447 -x5448 -x5449 -x5450 -x5451 -x5452 x5453 -x5454 -x5455 -x5456 -x5457 -x5458 -x5459 -x5460 -x5461 -x5462 -x5463 -x5464 -x5465 -x5466 -x5467 -x5468 -x5469 -x5470 -x5471 -x5472 -x5473 -x5474 -x5475 x5476 -x5477 -x5478 -x5479 -x5480 -x5481 -x5482 -x5483 -x5484 -x5485 -x5486 -x5487 -x5488 -x5489 -x5490 -x5491 -x5492 -x5493 -x5494 -x5495 -x5496 -x5497 -x5498 -x5499 -x5500 -x5501 -x5502 -x5503 -x5504 -x5505 -x5506 -x5507 -x5508 -x5509 -x5510 x5511 -x5512 -x5513 -x5514 -x5515 -x5516 -x5517 -x5518 -x5519 -x5520 -x5521 -x5522 -x5523 -x5524 -x5525 -x5526 -x5527 -x5528 -x5529 -x5530 -x5531 -x5532 -x5533 -x5534 x5535 -x5536 -x5537 -x5538 -x5539 -x5540 -x5541 -x5542 -x5543 -x5544 -x5545 -x5546 -x5547 -x5548 x5549 -x5550 -x5551 -x5552 -x5553 -x5554 -x5555 -x5556 -x5557 -x5558 -x5559 -x5560 -x5561 -x5562 -x5563 -x5564 -x5565 -x5566 -x5567 -x5568 -x5569 -x5570 -x5571 -x5572 x5573 -x5574 -x5575 -x5576 -x5577 -x5578 -x5579 -x5580 -x5581 -x5582 -x5583 -x5584 -x5585 -x5586 -x5587 -x5588 -x5589 -x5590 -x5591 -x5592 -x5593 x5594 x5595 -x5596 -x5597 -x5598 -x5599 -x5600 -x5601 x5602 -x5603 -x5604 -x5605 -x5606 -x5607 -x5608 -x5609 -x5610 x5611 -x5612 -x5613 -x5614 -x5615 -x5616 -x5617 -x5618 -x5619 -x5620 -x5621 x5622 -x5623 -x5624 -x5625 -x5626 -x5627 -x5628 -x5629 x5630 -x5631 -x5632 x5633 -x5634 -x5635 -x5636 -x5637 -x5638 -x5639 -x5640 -x5641 -x5642 -x5643 -x5644 -x5645 -x5646 -x5647 -x5648 -x5649 -x5650 -x5651 -x5652 -x5653 -x5654 -x5655 -x5656 -x5657 -x5658 -x5659 -x5660 -x5661 -x5662 -x5663 -x5664 x5665 -x5666 x5667 -x5668 -x5669 -x5670 -x5671 -x5672 -x5673 x5674 -x5675 -x5676 -x5677 -x5678 -x5679 -x5680 x5681 -x5682 -x5683 -x5684 x5685 -x5686 -x5687 -x5688 -x5689 -x5690 -x5691 -x5692 -x5693 -x5694 -x5695 -x5696 -x5697 -x5698 -x5699 -x5700 -x5701 -x5702 -x5703 -x5704 -x5705 -x5706 -x5707 -x5708 -x5709 -x5710 -x5711 -x5712 x5713 -x5714 -x5715 -x5716 -x5717 -x5718 -x5719 -x5720 -x5721 -x5722 -x5723 x5724 -x5725 -x5726 -x5727 -x5728 -x5729 -x5730 -x5731 -x5732 -x5733 -x5734 -x5735 -x5736 -x5737 -x5738 -x5739 -x5740 -x5741 x5742 -x5743 -x5744 -x5745 -x5746 x5747 -x5748 -x5749 -x5750 -x5751 -x5752 -x5753 -x5754 -x5755 -x5756 -x5757 -x5758 -x5759 -x5760 x5761 -x5762 -x5763 -x5764 -x5765 -x5766 -x5767 -x5768 -x5769 -x5770 -x5771 -x5772 -x5773 -x5774 -x5775 -x5776 -x5777 -x5778 -x5779 -x5780 -x5781 -x5782 -x5783 -x5784 -x5785 -x5786 -x5787 -x5788 -x5789 -x5790 -x5791 -x5792 x5793 -x5794 -x5795 -x5796 -x5797 -x5798 -x5799 -x5800 -x5801 -x5802 -x5803 -x5804 -x5805 -x5806 -x5807 -x5808 -x5809 -x5810 -x5811 -x5812 -x5813 -x5814 -x5815 -x5816 -x5817 -x5818 -x5819 -x5820 -x5821 -x5822 -x5823 -x5824 -x5825 -x5826 -x5827 -x5828 -x5829 -x5830 -x5831 -x5832 -x5833 -x5834 -x5835 -x5836 -x5837 -x5838 -x5839 -x5840 -x5841 -x5842 -x5843 -x5844 -x5845 -x5846 -x5847 -x5848 -x5849 -x5850 x5851 -x5852 -x5853 -x5854 -x5855 -x5856 -x5857 -x5858 -x5859 -x5860 -x5861 -x5862 -x5863 -x5864 -x5865 -x5866 -x5867 -x5868 -x5869 -x5870 -x5871 -x5872 -x5873 -x5874 -x5875 -x5876 -x5877 -x5878 -x5879 -x5880 -x5881 x5882 -x5883 -x5884 -x5885 -x5886 -x5887 -x5888 -x5889 -x5890 x5891 -x5892 -x5893 -x5894 -x5895 -x5896 -x5897 -x5898 -x5899 -x5900 -x5901 -x5902 -x5903 -x5904 -x5905 -x5906 -x5907 -x5908 -x5909 -x5910 -x5911 -x5912 -x5913 -x5914 -x5915 -x5916 -x5917 -x5918 -x5919 -x5920 -x5921 -x5922 -x5923 -x5924 -x5925 -x5926 -x5927 -x5928 -x5929 -x5930 -x5931 -x5932 -x5933 -x5934 -x5935 -x5936 -x5937 x5938 -x5939 -x5940 -x5941 -x5942 -x5943 -x5944 -x5945 -x5946 -x5947 -x5948 -x5949 -x5950 -x5951 -x5952 x5953 -x5954 -x5955 -x5956 -x5957 -x5958 -x5959 -x5960 -x5961 -x5962 -x5963 -x5964 -x5965 -x5966 -x5967 -x5968 -x5969 -x5970 -x5971 -x5972 -x5973 -x5974 -x5975 -x5976 -x5977 -x5978 -x5979 -x5980 -x5981 -x5982 -x5983 -x5984 -x5985 -x5986 -x5987 -x5988 -x5989 -x5990 -x5991 -x5992 -x5993 x5994 -x5995 -x5996 -x5997 -x5998 -x5999 -x6000 -x6001 -x6002 -x6003 -x6004 x6005 x6006 -x6007 -x6008 -x6009 -x6010 -x6011 -x6012 -x6013 -x6014 -x6015 -x6016 -x6017 -x6018 x6019 -x6020 -x6021 -x6022 -x6023 -x6024 -x6025 -x6026 -x6027 -x6028 -x6029 -x6030 -x6031 -x6032 -x6033 -x6034 -x6035 -x6036 -x6037 -x6038 -x6039 -x6040 -x6041 -x6042 -x6043 -x6044 -x6045 -x6046 -x6047 -x6048 -x6049 -x6050 -x6051 -x6052 -x6053 -x6054 -x6055 -x6056 -x6057 -x6058 -x6059 -x6060 -x6061 -x6062 -x6063 -x6064 -x6065 -x6066 -x6067 -x6068 -x6069 -x6070 -x6071 -x6072 -x6073 -x6074 -x6075 -x6076 -x6077 -x6078 -x6079 -x6080 -x6081 -x6082 -x6083 -x6084 -x6085 -x6086 -x6087 -x6088 -x6089 -x6090 -x6091 -x6092 -x6093 -x6094 -x6095 -x6096 -x6097 -x6098 x6099 -x6100 -x6101 -x6102 -x6103 -x6104 -x6105 -x6106 x6107 -x6108 -x6109 -x6110 -x6111 -x6112 -x6113 -x6114 -x6115 -x6116 -x6117 -x6118 -x6119 -x6120 -x6121 x6122 -x6123 -x6124 -x6125 -x6126 -x6127 -x6128 -x6129 -x6130 -x6131 x6132 -x6133 -x6134 -x6135 -x6136 -x6137 -x6138 -x6139 -x6140 -x6141 -x6142 -x6143 -x6144 -x6145 -x6146 -x6147 -x6148 -x6149 -x6150 -x6151 -x6152 -x6153 -x6154 -x6155 -x6156 -x6157 -x6158 -x6159 -x6160 -x6161 -x6162 -x6163 -x6164 -x6165 -x6166 -x6167 -x6168 -x6169 -x6170 -x6171 -x6172 -x6173 -x6174 -x6175 -x6176 -x6177 -x6178 -x6179 -x6180 -x6181 -x6182 -x6183 -x6184 -x6185 -x6186 -x6187 -x6188 -x6189 -x6190 x6191 -x6192 -x6193 -x6194 -x6195 -x6196 -x6197 -x6198 -x6199 -x6200 -x6201 -x6202 -x6203 -x6204 -x6205 -x6206 -x6207 -x6208 -x6209 -x6210 -x6211 -x6212 -x6213 -x6214 -x6215 x6216 -x6217 x6218 -x6219 -x6220 -x6221 -x6222 -x6223 -x6224 -x6225 -x6226 -x6227 -x6228 x6229 -x6230 -x6231 -x6232 -x6233 -x6234 -x6235 -x6236 -x6237 x6238 -x6239 -x6240 -x6241 -x6242 -x6243 -x6244 x6245 -x6246 -x6247 -x6248 -x6249 -x6250 x6251 -x6252 -x6253 -x6254 -x6255 -x6256 -x6257 -x6258 -x6259 -x6260 -x6261 -x6262 -x6263 -x6264 -x6265 -x6266 -x6267 -x6268 -x6269 -x6270 -x6271 x6272 -x6273 -x6274 -x6275 -x6276 -x6277 -x6278 -x6279 -x6280 -x6281 -x6282 -x6283 -x6284 -x6285 -x6286 -x6287 -x6288 -x6289 -x6290 -x6291 -x6292 -x6293 -x6294 -x6295 -x6296 -x6297 -x6298 -x6299 -x6300 -x6301 -x6302 -x6303 -x6304 -x6305 -x6306 -x6307 -x6308 -x6309 -x6310 -x6311 -x6312 -x6313 -x6314 -x6315 -x6316 -x6317 -x6318 -x6319 -x6320 -x6321 -x6322 -x6323 -x6324 -x6325 -x6326 -x6327 -x6328 -x6329 -x6330 -x6331 -x6332 -x6333 -x6334 -x6335 -x6336 -x6337 -x6338 -x6339 -x6340 -x6341 -x6342 -x6343 -x6344 -x6345 -x6346 -x6347 -x6348 -x6349 -x6350 -x6351 -x6352 -x6353 -x6354 -x6355 -x6356 -x6357 -x6358 -x6359 -x6360 -x6361 -x6362 -x6363 -x6364 -x6365 -x6366 -x6367 -x6368 -x6369 -x6370 -x6371 -x6372 -x6373 -x6374 -x6375 -x6376 -x6377 -x6378 -x6379 -x6380 x6381 -x6382 -x6383 -x6384 -x6385 -x6386 -x6387 -x6388 -x6389 -x6390 -x6391 -x6392 -x6393 -x6394 -x6395 -x6396 -x6397 -x6398 -x6399 -x6400 -x6401 -x6402 -x6403 -x6404 -x6405 -x6406 -x6407 -x6408 -x6409 -x6410 -x6411 -x6412 -x6413 -x6414 -x6415 -x6416 -x6417 -x6418 -x6419 -x6420 -x6421 -x6422 -x6423 -x6424 -x6425 -x6426 -x6427 -x6428 -x6429 -x6430 -x6431 -x6432 -x6433 -x6434 -x6435 -x6436 -x6437 -x6438 -x6439 -x6440 -x6441 -x6442 -x6443 -x6444 -x6445 -x6446 -x6447 -x6448 -x6449 -x6450 -x6451 -x6452 -x6453 x6454 -x6455 -x6456 -x6457 -x6458 -x6459 -x6460 x6461 -x6462 -x6463 -x6464 -x6465 -x6466 -x6467 -x6468 -x6469 -x6470 -x6471 -x6472 -x6473 -x6474 -x6475 -x6476 -x6477 -x6478 -x6479 -x6480 -x6481 -x6482 -x6483 -x6484 -x6485 -x6486 -x6487 -x6488 -x6489 -x6490 -x6491 -x6492 -x6493 -x6494 -x6495 x6496 -x6497 -x6498 -x6499 -x6500 -x6501 -x6502 -x6503 -x6504 -x6505 -x6506 -x6507 -x6508 -x6509 -x6510 -x6511 -x6512 -x6513 -x6514 -x6515 -x6516 -x6517 -x6518 -x6519 -x6520 -x6521 -x6522 -x6523 -x6524 -x6525 -x6526 -x6527 -x6528 -x6529 -x6530 -x6531 -x6532 -x6533 -x6534 -x6535 -x6536 -x6537 -x6538 -x6539 -x6540 -x6541 x6542 -x6543 -x6544 -x6545 -x6546 -x6547 x6548 -x6549 -x6550 -x6551 -x6552 -x6553 -x6554 -x6555 -x6556 -x6557 -x6558 -x6559 -x6560 -x6561 -x6562 -x6563 -x6564 -x6565 -x6566 -x6567 -x6568 -x6569 -x6570 -x6571 -x6572 -x6573 -x6574 -x6575 -x6576 -x6577 -x6578 -x6579 -x6580 -x6581 -x6582 -x6583 -x6584 -x6585 -x6586 -x6587 -x6588 -x6589 -x6590 -x6591 -x6592 -x6593 -x6594 -x6595 -x6596 -x6597 -x6598 -x6599 -x6600 -x6601 -x6602 -x6603 -x6604 x6605 -x6606 -x6607 -x6608 -x6609 -x6610 -x6611 -x6612 -x6613 -x6614 -x6615 -x6616 -x6617 -x6618 -x6619 -x6620 -x6621 -x6622 -x6623 -x6624 -x6625 -x6626 -x6627 -x6628 -x6629 -x6630 -x6631 -x6632 -x6633 -x6634 -x6635 -x6636 -x6637 -x6638 -x6639 -x6640 -x6641 -x6642 -x6643 -x6644 -x6645 -x6646 -x6647 -x6648 -x6649 -x6650 -x6651 -x6652 -x6653 -x6654 -x6655 -x6656 -x6657 -x6658 -x6659 -x6660 -x6661 -x6662 -x6663 -x6664 -x6665 -x6666 -x6667 -x6668 -x6669 -x6670 -x6671 -x6672 -x6673 -x6674 -x6675 -x6676 -x6677 -x6678 -x6679 -x6680 -x6681 -x6682 -x6683 -x6684 -x6685 -x6686 -x6687 -x6688 -x6689 -x6690 -x6691 -x6692 -x6693 -x6694 -x6695 -x6696 -x6697 -x6698 x6699 -x6700 -x6701 -x6702 -x6703 -x6704 -x6705 -x6706 -x6707 -x6708 -x6709 -x6710 -x6711 -x6712 -x6713 -x6714 -x6715 -x6716 -x6717 -x6718 -x6719 -x6720 x6721 -x6722 -x6723 -x6724 -x6725 -x6726 -x6727 -x6728 -x6729 -x6730 -x6731 -x6732 -x6733 -x6734 -x6735 -x6736 -x6737 -x6738 -x6739 -x6740 -x6741 -x6742 -x6743 -x6744 -x6745 -x6746 -x6747 -x6748 -x6749 -x6750 -x6751 -x6752 -x6753 -x6754 -x6755 x6756 -x6757 -x6758 -x6759 -x6760 -x6761 -x6762 -x6763 -x6764 -x6765 -x6766 -x6767 -x6768 -x6769 -x6770 -x6771 -x6772 -x6773 -x6774 -x6775 -x6776 -x6777 -x6778 -x6779 -x6780 -x6781 -x6782 -x6783 -x6784 -x6785 -x6786 -x6787 -x6788 -x6789 -x6790 -x6791 -x6792 -x6793 -x6794 -x6795 -x6796 -x6797 -x6798 -x6799 -x6800 -x6801 -x6802 -x6803 -x6804 -x6805 -x6806 -x6807 -x6808 -x6809 x6810 -x6811 -x6812 -x6813 -x6814 -x6815 -x6816 -x6817 -x6818 -x6819 -x6820 -x6821 -x6822 -x6823 -x6824 -x6825 -x6826 x6827 -x6828 -x6829 -x6830 -x6831 -x6832 -x6833 -x6834 -x6835 -x6836 -x6837 -x6838 -x6839 -x6840 -x6841 -x6842 -x6843 -x6844 -x6845 -x6846 -x6847 -x6848 -x6849 -x6850 -x6851 -x6852 -x6853 -x6854 -x6855 -x6856 x6857 -x6858 -x6859 -x6860 -x6861 -x6862 -x6863 -x6864 -x6865 -x6866 -x6867 -x6868 -x6869 -x6870 -x6871 -x6872 -x6873 -x6874 -x6875 -x6876 -x6877 -x6878 -x6879 -x6880 -x6881 -x6882 -x6883 -x6884 -x6885 -x6886 -x6887 -x6888 -x6889 -x6890 -x6891 -x6892 -x6893 -x6894 -x6895 -x6896 -x6897 -x6898 -x6899 -x6900 -x6901 -x6902 -x6903 -x6904 -x6905 -x6906 -x6907 -x6908 -x6909 -x6910 -x6911 -x6912 -x6913 -x6914 -x6915 -x6916 -x6917 -x6918 -x6919 -x6920 -x6921 -x6922 -x6923 -x6924 -x6925 -x6926 -x6927 -x6928 -x6929 -x6930 x6931 -x6932 -x6933 -x6934 -x6935 -x6936 -x6937 -x6938 -x6939 -x6940 -x6941 -x6942 x6943 -x6944 -x6945 -x6946 -x6947 -x6948 -x6949 -x6950 -x6951 -x6952 -x6953 -x6954 -x6955 x6956 -x6957 -x6958 -x6959 -x6960 -x6961 -x6962 -x6963 -x6964 -x6965 -x6966 -x6967 -x6968 -x6969 -x6970 -x6971 -x6972 -x6973 -x6974 -x6975 -x6976 -x6977 -x6978 -x6979 -x6980 -x6981 -x6982 -x6983 -x6984 -x6985 -x6986 -x6987 -x6988 -x6989 -x6990 -x6991 -x6992 x6993 -x6994 -x6995 -x6996 -x6997 -x6998 -x6999 -x7000 -x7001 -x7002 -x7003 -x7004 -x7005 -x7006 -x7007 -x7008 -x7009 -x7010 -x7011 -x7012 -x7013 -x7014 -x7015 -x7016 x7017 -x7018 -x7019 -x7020 -x7021 -x7022 -x7023 -x7024 -x7025 -x7026 -x7027 -x7028 -x7029 -x7030 -x7031 -x7032 -x7033 -x7034 -x7035 -x7036 -x7037 -x7038 x7039 -x7040 -x7041 -x7042 -x7043 -x7044 -x7045 -x7046 x7047 -x7048 -x7049 -x7050 -x7051 -x7052 -x7053 -x7054 -x7055 -x7056 x7057 -x7058 -x7059 -x7060 -x7061 -x7062 -x7063 -x7064 -x7065 -x7066 -x7067 -x7068 -x7069 -x7070 -x7071 -x7072 -x7073 -x7074 -x7075 -x7076 -x7077 -x7078 x7079 -x7080 -x7081 -x7082 -x7083 -x7084 -x7085 -x7086 -x7087 -x7088 -x7089 -x7090 -x7091 -x7092 -x7093 -x7094 -x7095 -x7096 -x7097 -x7098 -x7099 -x7100 -x7101 -x7102 -x7103 -x7104 -x7105 -x7106 -x7107 -x7108 -x7109 -x7110 -x7111 -x7112 -x7113 -x7114 -x7115 -x7116 -x7117 -x7118 -x7119 -x7120 -x7121 -x7122 -x7123 -x7124 -x7125 -x7126 -x7127 -x7128 -x7129 -x7130 -x7131 -x7132 -x7133 -x7134 -x7135 -x7136 -x7137 -x7138 -x7139 -x7140 -x7141 -x7142 -x7143 -x7144 -x7145 -x7146 x7147 -x7148 -x7149 -x7150 -x7151 -x7152 -x7153 -x7154 -x7155 -x7156 -x7157 -x7158 -x7159 x7160 -x7161 -x7162 -x7163 -x7164 -x7165 -x7166 -x7167 -x7168 -x7169 x7170 x7171 x7172 -x7173 -x7174 -x7175 -x7176 x7177 -x7178 -x7179 -x7180 -x7181 -x7182 -x7183 -x7184 -x7185 -x7186 -x7187 -x7188 -x7189 -x7190 -x7191 -x7192 -x7193 -x7194 -x7195 -x7196 -x7197 -x7198 -x7199 -x7200 -x7201 -x7202 -x7203 -x7204 -x7205 -x7206 -x7207 -x7208 -x7209 -x7210 -x7211 -x7212 -x7213 -x7214 -x7215 -x7216 -x7217 -x7218 -x7219 x7220 -x7221 -x7222 -x7223 -x7224 -x7225 -x7226 -x7227 -x7228 -x7229 -x7230 -x7231 -x7232 -x7233 -x7234 -x7235 -x7236 -x7237 -x7238 -x7239 -x7240 -x7241 -x7242 -x7243 -x7244 -x7245 -x7246 x7247 -x7248 -x7249 -x7250 -x7251 -x7252 -x7253 -x7254 -x7255 -x7256 -x7257 -x7258 -x7259 -x7260 -x7261 -x7262 -x7263 -x7264 -x7265 -x7266 -x7267 -x7268 -x7269 -x7270 -x7271 -x7272 -x7273 -x7274 -x7275 -x7276 -x7277 -x7278 -x7279 -x7280 -x7281 -x7282 -x7283 -x7284 -x7285 -x7286 -x7287 -x7288 -x7289 -x7290 -x7291 -x7292 -x7293 -x7294 -x7295 -x7296 -x7297 -x7298 -x7299 -x7300 -x7301 -x7302 -x7303 -x7304 -x7305 -x7306 -x7307 -x7308 -x7309 -x7310 -x7311 -x7312 -x7313 -x7314 -x7315 -x7316 -x7317 -x7318 -x7319 x7320 -x7321 -x7322 -x7323 -x7324 -x7325 -x7326 -x7327 -x7328 -x7329 -x7330 -x7331 -x7332 -x7333 -x7334 -x7335 -x7336 -x7337 -x7338 -x7339 -x7340 -x7341 -x7342 -x7343 -x7344 x7345 -x7346 -x7347 -x7348 -x7349 -x7350 -x7351 -x7352 -x7353 -x7354 -x7355 -x7356 -x7357 -x7358 -x7359 -x7360 -x7361 -x7362 -x7363 -x7364 -x7365 -x7366 -x7367 -x7368 -x7369 -x7370 -x7371 -x7372 -x7373 -x7374 -x7375 -x7376 -x7377 -x7378 -x7379 -x7380 -x7381 -x7382 -x7383 -x7384 -x7385 -x7386 -x7387 -x7388 -x7389 -x7390 -x7391 -x7392 -x7393 -x7394 -x7395 -x7396 -x7397 -x7398 -x7399 -x7400 -x7401 -x7402 -x7403 -x7404 -x7405 -x7406 -x7407 -x7408 -x7409 -x7410 -x7411 -x7412 -x7413 -x7414 -x7415 -x7416 -x7417 -x7418 -x7419 -x7420 -x7421 -x7422 -x7423 -x7424 -x7425 -x7426 -x7427 -x7428 -x7429 -x7430 -x7431 -x7432 -x7433 -x7434 -x7435 -x7436 -x7437 -x7438 -x7439 -x7440 -x7441 -x7442 -x7443 -x7444 -x7445 -x7446 -x7447 -x7448 -x7449 -x7450 -x7451 -x7452 -x7453 -x7454 -x7455 -x7456 -x7457 -x7458 -x7459 -x7460 -x7461 -x7462 -x7463 -x7464 -x7465 -x7466 -x7467 -x7468 -x7469 -x7470 -x7471 -x7472 -x7473 -x7474 -x7475 -x7476 -x7477 -x7478 -x7479 -x7480 -x7481 -x7482 -x7483 -x7484 -x7485 -x7486 -x7487 -x7488 -x7489 -x7490 -x7491 -x7492 -x7493 -x7494 -x7495 -x7496 -x7497 -x7498 -x7499 -x7500 -x7501 -x7502 -x7503 -x7504 -x7505 -x7506 -x7507 -x7508 -x7509 -x7510 -x7511 -x7512 -x7513 -x7514 -x7515 -x7516 -x7517 -x7518 -x7519 -x7520 -x7521 -x7522 -x7523 -x7524 -x7525 -x7526 -x7527 -x7528 -x7529 -x7530 -x7531 -x7532 x7533 x7534 -x7535 -x7536 -x7537 -x7538 -x7539 -x7540 -x7541 -x7542 -x7543 -x7544 -x7545 -x7546 -x7547 -x7548 -x7549 -x7550 -x7551 -x7552 -x7553 -x7554 -x7555 -x7556 -x7557 -x7558 -x7559 -x7560 -x7561 -x7562 -x7563 -x7564 -x7565 -x7566 -x7567 -x7568 -x7569 -x7570 -x7571 -x7572 -x7573 -x7574 x7575 -x7576 -x7577 -x7578 -x7579 -x7580 -x7581 -x7582 -x7583 -x7584 -x7585 -x7586 -x7587 -x7588 -x7589 -x7590 -x7591 -x7592 -x7593 -x7594 -x7595 -x7596 -x7597 -x7598 -x7599 -x7600 -x7601 -x7602 -x7603 -x7604 -x7605 -x7606 -x7607 -x7608 -x7609 -x7610 -x7611 x7612 -x7613 -x7614 -x7615 -x7616 -x7617 -x7618 -x7619 -x7620 -x7621 -x7622 -x7623 -x7624 -x7625 -x7626 -x7627 -x7628 -x7629 -x7630 -x7631 -x7632 -x7633 -x7634 -x7635 -x7636 -x7637 -x7638 -x7639 -x7640 -x7641 -x7642 -x7643 -x7644 -x7645 -x7646 -x7647 -x7648 x7649 -x7650 -x7651 -x7652 -x7653 x7654 -x7655 -x7656 -x7657 -x7658 -x7659 -x7660 -x7661 -x7662 -x7663 -x7664 -x7665 -x7666 -x7667 -x7668 -x7669 -x7670 -x7671 -x7672 -x7673 -x7674 -x7675 -x7676 -x7677 -x7678 -x7679 -x7680 -x7681 -x7682 -x7683 -x7684 -x7685 -x7686 -x7687 -x7688 -x7689 -x7690 -x7691 -x7692 -x7693 -x7694 -x7695 -x7696 -x7697 -x7698 -x7699 x7700 -x7701 -x7702 -x7703 -x7704 x7705 -x7706 -x7707 -x7708 -x7709 -x7710 x7711 -x7712 -x7713 -x7714 x7715 -x7716 -x7717 -x7718 -x7719 -x7720 -x7721 -x7722 -x7723 -x7724 -x7725 -x7726 -x7727 -x7728 -x7729 -x7730 -x7731 -x7732 -x7733 -x7734 -x7735 -x7736 -x7737 -x7738 -x7739 -x7740 -x7741 -x7742 -x7743 -x7744 -x7745 -x7746 -x7747 -x7748 -x7749 -x7750 -x7751 x7752 -x7753 -x7754 -x7755 -x7756 -x7757 -x7758 -x7759 -x7760 -x7761 -x7762 -x7763 -x7764 -x7765 -x7766 -x7767 -x7768 x7769 -x7770 -x7771 -x7772 -x7773 -x7774 -x7775 -x7776 -x7777 x7778 -x7779 -x7780 -x7781 -x7782 -x7783 -x7784 -x7785 -x7786 -x7787 -x7788 -x7789 -x7790 -x7791 -x7792 -x7793 -x7794 -x7795 -x7796 -x7797 -x7798 -x7799 -x7800 -x7801 -x7802 -x7803 -x7804 -x7805 -x7806 -x7807 -x7808 -x7809 -x7810 -x7811 -x7812 -x7813 -x7814 -x7815 -x7816 -x7817 -x7818 -x7819 -x7820 -x7821 -x7822 -x7823 -x7824 -x7825 -x7826 -x7827 -x7828 -x7829 -x7830 -x7831 -x7832 -x7833 -x7834 -x7835 -x7836 -x7837 -x7838 -x7839 -x7840 -x7841 -x7842 -x7843 -x7844 -x7845 -x7846 -x7847 -x7848 -x7849 -x7850 -x7851 -x7852 -x7853 -x7854 -x7855 -x7856 -x7857 -x7858 x7859 -x7860 -x7861 -x7862 -x7863 -x7864 -x7865 -x7866 -x7867 -x7868 -x7869 -x7870 -x7871 -x7872 -x7873 -x7874 -x7875 -x7876 -x7877 -x7878 -x7879 -x7880 -x7881 x7882 x7883 -x7884 -x7885 -x7886 -x7887 -x7888 -x7889 -x7890 -x7891 -x7892 -x7893 -x7894 -x7895 -x7896 -x7897 -x7898 -x7899 -x7900 -x7901 -x7902 -x7903 -x7904 -x7905 -x7906 -x7907 -x7908 -x7909 -x7910 -x7911 -x7912 -x7913 -x7914 -x7915 -x7916 -x7917 -x7918 -x7919 -x7920 -x7921 -x7922 -x7923 -x7924 -x7925 -x7926 -x7927 -x7928 x7929 -x7930 -x7931 -x7932 -x7933 -x7934 -x7935 -x7936 -x7937 -x7938 -x7939 -x7940 -x7941 -x7942 -x7943 -x7944 -x7945 -x7946 -x7947 -x7948 -x7949 -x7950 -x7951 -x7952 -x7953 -x7954 -x7955 -x7956 -x7957 -x7958 -x7959 -x7960 -x7961 -x7962 -x7963 -x7964 -x7965 -x7966 -x7967 -x7968 -x7969 -x7970 -x7971 -x7972 -x7973 -x7974 -x7975 x7976 x7977 -x7978 -x7979 -x7980 -x7981 -x7982 -x7983 -x7984 -x7985 -x7986 -x7987 -x7988 -x7989 -x7990 -x7991 -x7992 -x7993 -x7994 -x7995 -x7996 -x7997 -x7998 -x7999 -x8000 -x8001 -x8002 -x8003 -x8004 -x8005 -x8006 -x8007 -x8008 -x8009 -x8010 -x8011 -x8012 -x8013 -x8014 x8015 -x8016 -x8017 -x8018 -x8019 x8020 -x8021 -x8022 -x8023 -x8024 -x8025 -x8026 -x8027 -x8028 x8029 -x8030 -x8031 -x8032 -x8033 -x8034 -x8035 -x8036 -x8037 -x8038 -x8039 -x8040 -x8041 -x8042 -x8043 -x8044 -x8045 -x8046 -x8047 -x8048 -x8049 -x8050 -x8051 -x8052 -x8053 -x8054 -x8055 -x8056 x8057 -x8058 -x8059 -x8060 -x8061 -x8062 -x8063 -x8064 -x8065 -x8066 -x8067 -x8068 -x8069 -x8070 -x8071 -x8072 -x8073 -x8074 -x8075 -x8076 -x8077 -x8078 -x8079 -x8080 -x8081 -x8082 -x8083 -x8084 -x8085 -x8086 -x8087 -x8088 -x8089 -x8090 -x8091 -x8092 -x8093 -x8094 -x8095 -x8096 -x8097 -x8098 -x8099 -x8100 -x8101 -x8102 -x8103 -x8104 -x8105 -x8106 -x8107 x8108 -x8109 -x8110 -x8111 -x8112 -x8113 -x8114 -x8115 -x8116 -x8117 -x8118 -x8119 -x8120 -x8121 -x8122 -x8123 -x8124 -x8125 -x8126 -x8127 -x8128 -x8129 -x8130 -x8131 -x8132 -x8133 -x8134 -x8135 -x8136 -x8137 -x8138 -x8139 -x8140 -x8141 -x8142 -x8143 -x8144 -x8145 -x8146 -x8147 -x8148 -x8149 -x8150 x8151 -x8152 -x8153 -x8154 -x8155 -x8156 -x8157 -x8158 -x8159 -x8160 -x8161 -x8162 -x8163 x8164 -x8165 -x8166 -x8167 -x8168 -x8169 -x8170 -x8171 -x8172 -x8173 -x8174 -x8175 -x8176 -x8177 -x8178 -x8179 -x8180 -x8181 -x8182 -x8183 -x8184 -x8185 -x8186 -x8187 -x8188 -x8189 -x8190 -x8191 -x8192 -x8193 -x8194 x8195 -x8196 -x8197 -x8198 -x8199 -x8200 -x8201 -x8202 -x8203 -x8204 -x8205 -x8206 -x8207 -x8208 -x8209 -x8210 -x8211 -x8212 -x8213 -x8214 -x8215 -x8216 -x8217 -x8218 -x8219 -x8220 -x8221 -x8222 -x8223 -x8224 -x8225 -x8226 -x8227 -x8228 -x8229 -x8230 -x8231 -x8232 -x8233 -x8234 -x8235 -x8236 -x8237 -x8238 -x8239 -x8240 -x8241 -x8242 -x8243 -x8244 -x8245 -x8246 -x8247 -x8248 -x8249 -x8250 x8251 -x8252 -x8253 x8254 -x8255 -x8256 -x8257 -x8258 -x8259 -x8260 -x8261 -x8262 -x8263 -x8264 -x8265 -x8266 -x8267 -x8268 x8269 -x8270 -x8271 -x8272 -x8273 -x8274 -x8275 -x8276 -x8277 -x8278 -x8279 -x8280 -x8281 -x8282 -x8283 -x8284 -x8285 -x8286 -x8287 -x8288 -x8289 -x8290 -x8291 -x8292 -x8293 -x8294 -x8295 -x8296 -x8297 -x8298 -x8299 -x8300 -x8301 -x8302 -x8303 -x8304 -x8305 -x8306 -x8307 -x8308 -x8309 -x8310 x8311 -x8312 -x8313 -x8314 -x8315 -x8316 -x8317 -x8318 -x8319 -x8320 -x8321 -x8322 -x8323 -x8324 x8325 -x8326 -x8327 -x8328 -x8329 -x8330 -x8331 -x8332 -x8333 -x8334 -x8335 -x8336 -x8337 -x8338 -x8339 -x8340 x8341 -x8342 -x8343 -x8344 -x8345 -x8346 -x8347 -x8348 -x8349 -x8350 -x8351 -x8352 -x8353 -x8354 -x8355 -x8356 -x8357 -x8358 -x8359 -x8360 -x8361 -x8362 -x8363 -x8364 -x8365 -x8366 -x8367 -x8368 -x8369 -x8370 -x8371 -x8372 -x8373 -x8374 -x8375 -x8376 x8377 -x8378 -x8379 -x8380 -x8381 -x8382 -x8383 -x8384 -x8385 -x8386 -x8387 -x8388 -x8389 x8390 -x8391 -x8392 -x8393 -x8394 -x8395 -x8396 -x8397 -x8398 -x8399 -x8400 -x8401 -x8402 -x8403 -x8404 -x8405 -x8406 -x8407 -x8408 -x8409 -x8410 -x8411 -x8412 x8413 -x8414 -x8415 -x8416 -x8417 -x8418 -x8419 -x8420 -x8421 -x8422 -x8423 -x8424 -x8425 -x8426 -x8427 -x8428 -x8429 -x8430 -x8431 -x8432 -x8433 -x8434 -x8435 -x8436 -x8437 -x8438 -x8439 -x8440 -x8441 -x8442 -x8443 -x8444 -x8445 -x8446 -x8447 x8448 -x8449 -x8450 x8451 -x8452 -x8453 -x8454 -x8455 -x8456 -x8457 -x8458 -x8459 -x8460 -x8461 -x8462 -x8463 -x8464 -x8465 -x8466 x8467 -x8468 -x8469 -x8470 -x8471 -x8472 -x8473 -x8474 -x8475 -x8476 -x8477 -x8478 -x8479 -x8480 -x8481 -x8482 -x8483 -x8484 -x8485 -x8486 -x8487 x8488 -x8489 -x8490 -x8491 -x8492 -x8493 -x8494 -x8495 -x8496 -x8497 -x8498 -x8499 -x8500 -x8501 -x8502 x8503 -x8504 -x8505 -x8506 -x8507 -x8508 -x8509 -x8510 -x8511 -x8512 -x8513 -x8514 -x8515 -x8516 -x8517 -x8518 x8519 -x8520 -x8521 x8522 -x8523 -x8524 -x8525 -x8526 -x8527 -x8528 -x8529 -x8530 -x8531 -x8532 -x8533 -x8534 -x8535 -x8536 -x8537 x8538 -x8539 -x8540 -x8541 -x8542 -x8543 -x8544 -x8545 x8546 -x8547 -x8548 -x8549 -x8550 -x8551 -x8552 -x8553 -x8554 -x8555 x8556 -x8557 -x8558 -x8559 -x8560 -x8561 -x8562 -x8563 -x8564 -x8565 -x8566 -x8567 -x8568 -x8569 -x8570 -x8571 -x8572 -x8573 x8574 -x8575 -x8576 -x8577 -x8578 -x8579 -x8580 -x8581 -x8582 -x8583 -x8584 x8585 -x8586 -x8587 x8588 -x8589 -x8590 -x8591 -x8592 -x8593 -x8594 -x8595 x8596 -x8597 -x8598 -x8599 -x8600 -x8601 -x8602 -x8603 -x8604 -x8605 -x8606 -x8607 -x8608 -x8609 -x8610 -x8611 -x8612 -x8613 -x8614 -x8615 -x8616 -x8617 -x8618 -x8619 -x8620 -x8621 -x8622 -x8623 -x8624 -x8625 -x8626 -x8627 -x8628 -x8629 -x8630 -x8631 -x8632 -x8633 -x8634 x8635 -x8636 -x8637 x8638 -x8639 -x8640 -x8641 -x8642 -x8643 -x8644 -x8645 -x8646 -x8647 -x8648 x8649 -x8650 -x8651 -x8652 -x8653 -x8654 -x8655 -x8656 -x8657 x8658 x8659 x8660 -x8661 x8662 -x8663 -x8664 -x8665 -x8666 x8667 -x8668 -x8669 -x8670 -x8671 -x8672 -x8673 x8674 -x8675 -x8676 -x8677 -x8678 -x8679 -x8680 -x8681 -x8682 -x8683 -x8684 -x8685 -x8686 -x8687 x8688 -x8689 -x8690 -x8691 -x8692 x8693 -x8694 -x8695 -x8696 -x8697 x8698 x8699 -x8700 x8701 -x8702 -x8703 -x8704 -x8705 -x8706 x8707 -x8708 x8709 x8710 -x8711 x8712 x8713 -x8714 x8715 -x8716 -x8717 -x8718 -x8719 -x8720 -x8721 x8722 -x8723 -x8724 x8725 -x8726 -x8727 -x8728 -x8729 -x8730 -x8731 -x8732 -x8733 -x8734 -x8735 -x8736 x8737 -x8738 x8739 x8740 x8741 -x8742 -x8743 -x8744 -x8745 -x8746 -x8747 -x8748 -x8749 -x8750 -x8751 -x8752 -x8753 -x8754 -x8755 x8756 -x8757 -x8758 -x8759 x8760 x8761 -x8762 -x8763 -x8764 -x8765 -x8766 x8767 -x8768 -x8769 -x8770 x8771 -x8772 -x8773 -x8774 -x8775 -x8776 -x8777 x8778 -x8779 -x8780 x8781 -x8782 -x8783 x8784 -x8785 -x8786 -x8787 -x8788 -x8789 -x8790 -x8791 x8792 -x8793 -x8794 x8795 -x8796 -x8797 -x8798 -x8799 -x8800 -x8801 -x8802 -x8803 -x8804 -x8805 -x8806 -x8807 x8808 -x8809 -x8810 x8811 -x8812 -x8813 -x8814 -x8815 -x8816 -x8817 x8818 -x8819 -x8820 -x8821 -x8822 -x8823 -x8824 x8825 -x8826 -x8827 -x8828 -x8829 -x8830 -x8831 -x8832 -x8833 -x8834 -x8835 -x8836 -x8837 -x8838 -x8839 x8840 -x8841 x8842 -x8843 -x8844 -x8845 x8846 -x8847 -x8848 -x8849 -x8850 -x8851 -x8852 -x8853 -x8854 -x8855 -x8856 -x8857 -x8858 -x8859 -x8860 -x8861 -x8862 x8863 -x8864 -x8865 -x8866 -x8867 -x8868 -x8869 -x8870 -x8871 -x8872 -x8873 -x8874 -x8875 -x8876 -x8877 -x8878 -x8879 -x8880 x8881 -x8882 -x8883 -x8884 -x8885 -x8886 -x8887 -x8888 -x8889 -x8890 -x8891 x8892 -x8893 -x8894 -x8895 -x8896 -x8897 -x8898 -x8899 -x8900 -x8901 -x8902 -x8903 -x8904 -x8905 -x8906 -x8907 -x8908 -x8909 -x8910 -x8911 -x8912 -x8913 -x8914 -x8915 -x8916 -x8917 -x8918 -x8919 x8920 -x8921 -x8922 -x8923 -x8924 -x8925 -x8926 -x8927 -x8928 -x8929 -x8930 -x8931 -x8932 -x8933 -x8934 -x8935 x8936 -x8937 -x8938 -x8939 -x8940 -x8941 -x8942 -x8943 -x8944 -x8945 -x8946 -x8947 -x8948 -x8949 -x8950 -x8951 -x8952 -x8953 -x8954 -x8955 -x8956 -x8957 -x8958 -x8959 -x8960 -x8961 -x8962 -x8963 -x8964 -x8965 -x8966 -x8967 -x8968 -x8969 -x8970 -x8971 -x8972 -x8973 -x8974 -x8975 -x8976 -x8977 -x8978 -x8979 -x8980 -x8981 -x8982 -x8983 -x8984 -x8985 -x8986 -x8987 -x8988 -x8989 -x8990 -x8991 -x8992 -x8993 -x8994 -x8995 -x8996 -x8997 -x8998 -x8999 -x9000 -x9001 -x9002 -x9003 -x9004 -x9005 -x9006 -x9007 -x9008 -x9009 -x9010 -x9011 -x9012 -x9013 -x9014 -x9015 -x9016 x9017 -x9018 -x9019 -x9020 -x9021 -x9022 -x9023 -x9024 -x9025 -x9026 -x9027 -x9028 -x9029 -x9030 -x9031 -x9032 -x9033 -x9034 -x9035 -x9036 -x9037 -x9038 -x9039 -x9040 -x9041 -x9042 -x9043 -x9044 -x9045 -x9046 -x9047 -x9048 -x9049 -x9050 -x9051 -x9052 -x9053 -x9054 -x9055 -x9056 -x9057 -x9058 -x9059 -x9060 -x9061 -x9062 -x9063 -x9064 -x9065 -x9066 -x9067 -x9068 -x9069 -x9070 -x9071 -x9072 -x9073 -x9074 -x9075 -x9076 -x9077 -x9078 x9079 -x9080 -x9081 -x9082 -x9083 -x9084 -x9085 -x9086 -x9087 -x9088 x9089 x9090 -x9091 -x9092 -x9093 -x9094 -x9095 -x9096 -x9097 -x9098 -x9099 -x9100 -x9101 -x9102 -x9103 -x9104 -x9105 -x9106 -x9107 -x9108 -x9109 -x9110 -x9111 -x9112 x9113 -x9114 -x9115 -x9116 -x9117 -x9118 -x9119 -x9120 -x9121 -x9122 -x9123 -x9124 -x9125 -x9126 -x9127 -x9128 -x9129 -x9130 -x9131 -x9132 -x9133 -x9134 -x9135 -x9136 -x9137 -x9138 x9139 -x9140 -x9141 -x9142 -x9143 -x9144 -x9145 x9146 -x9147 -x9148 -x9149 -x9150 -x9151 -x9152 -x9153 -x9154 -x9155 -x9156 x9157 -x9158 -x9159 x9160 -x9161 -x9162 -x9163 -x9164 -x9165 -x9166 x9167 -x9168 -x9169 -x9170 -x9171 -x9172 -x9173 -x9174 -x9175 -x9176 -x9177 -x9178 -x9179 -x9180 -x9181 -x9182 x9183 -x9184 -x9185 -x9186 -x9187 -x9188 -x9189 -x9190 -x9191 -x9192 -x9193 -x9194 -x9195 -x9196 x9197 -x9198 -x9199 -x9200 -x9201 -x9202 -x9203 -x9204 x9205 -x9206 -x9207 -x9208 -x9209 -x9210 -x9211 -x9212 -x9213 -x9214 -x9215 -x9216 -x9217 -x9218 -x9219 -x9220 -x9221 -x9222 x9223 -x9224 -x9225 -x9226 x9227 -x9228 x9229 -x9230 -x9231 -x9232 -x9233 -x9234 -x9235 -x9236 -x9237 -x9238 -x9239 -x9240 -x9241 -x9242 x9243 -x9244 -x9245 -x9246 -x9247 -x9248 -x9249 -x9250 -x9251 -x9252 -x9253 -x9254 -x9255 -x9256 -x9257 -x9258 -x9259 -x9260 -x9261 -x9262 -x9263 -x9264 -x9265 -x9266 -x9267 -x9268 -x9269 -x9270 -x9271 -x9272 -x9273 -x9274 -x9275 -x9276 -x9277 -x9278 -x9279 -x9280 -x9281 -x9282 -x9283 -x9284 -x9285 -x9286 -x9287 -x9288 -x9289 -x9290 -x9291 -x9292 -x9293 -x9294 -x9295 -x9296 x9297 -x9298 -x9299 -x9300 -x9301 -x9302 -x9303 -x9304 -x9305 -x9306 -x9307 -x9308 -x9309 -x9310 -x9311 -x9312 -x9313 -x9314 -x9315 -x9316 -x9317 -x9318 -x9319 -x9320 -x9321 -x9322 x9323 -x9324 -x9325 -x9326 -x9327 -x9328 -x9329 -x9330 -x9331 -x9332 -x9333 -x9334 -x9335 -x9336 -x9337 -x9338 -x9339 -x9340 -x9341 -x9342 -x9343 -x9344 -x9345 -x9346 x9347 -x9348 -x9349 -x9350 -x9351 -x9352 -x9353 -x9354 -x9355 -x9356 -x9357 -x9358 -x9359 -x9360 -x9361 -x9362 -x9363 -x9364 -x9365 -x9366 -x9367 -x9368 -x9369 -x9370 -x9371 -x9372 -x9373 -x9374 -x9375 -x9376 -x9377 -x9378 -x9379 -x9380 -x9381 -x9382 x9383 -x9384 -x9385 -x9386 -x9387 -x9388 -x9389 -x9390 -x9391 -x9392 -x9393 -x9394 -x9395 -x9396 -x9397 -x9398 -x9399 -x9400 -x9401 -x9402 -x9403 -x9404 -x9405 -x9406 -x9407 -x9408 -x9409 -x9410 -x9411 -x9412 -x9413 x9414 -x9415 -x9416 -x9417 -x9418 -x9419 -x9420 -x9421 -x9422 -x9423 -x9424 -x9425 -x9426 -x9427 -x9428 -x9429 -x9430 -x9431 -x9432 -x9433 -x9434 -x9435 -x9436 -x9437 -x9438 -x9439 -x9440 -x9441 -x9442 -x9443 -x9444 -x9445 -x9446 -x9447 x9448 -x9449 x9450 -x9451 -x9452 -x9453 -x9454 -x9455 -x9456 -x9457 -x9458 -x9459 -x9460 -x9461 -x9462 -x9463 x9464 -x9465 -x9466 -x9467 -x9468 -x9469 -x9470 -x9471 -x9472 -x9473 -x9474 -x9475 -x9476 x9477 -x9478 -x9479 -x9480 -x9481 -x9482 -x9483 -x9484 -x9485 -x9486 -x9487 -x9488 -x9489 -x9490 -x9491 -x9492 -x9493 -x9494 -x9495 -x9496 -x9497 -x9498 -x9499 -x9500 -x9501 -x9502 -x9503 -x9504 -x9505 -x9506 -x9507 -x9508 -x9509 -x9510 -x9511 -x9512 -x9513 -x9514 -x9515 x9516 -x9517 -x9518 -x9519 -x9520 -x9521 -x9522 -x9523 -x9524 -x9525 -x9526 -x9527 -x9528 -x9529 x9530 -x9531 -x9532 -x9533 -x9534 -x9535 -x9536 -x9537 -x9538 -x9539 -x9540 -x9541 -x9542 -x9543 -x9544 -x9545 -x9546 -x9547 -x9548 -x9549 -x9550 -x9551 -x9552 -x9553 -x9554 -x9555 -x9556 -x9557 -x9558 -x9559 -x9560 -x9561 -x9562 -x9563 -x9564 -x9565 -x9566 -x9567 -x9568 -x9569 -x9570 -x9571 -x9572 -x9573 -x9574 -x9575 -x9576 -x9577 -x9578 -x9579 -x9580 -x9581 -x9582 -x9583 -x9584 -x9585 -x9586 -x9587 -x9588 -x9589 -x9590 -x9591 -x9592 -x9593 -x9594 -x9595 x9596 -x9597 -x9598 -x9599 -x9600 -x9601 -x9602 -x9603 -x9604 -x9605 -x9606 -x9607 -x9608 -x9609 -x9610 -x9611 -x9612 -x9613 x9614 -x9615 -x9616 -x9617 -x9618 -x9619 -x9620 -x9621 -x9622 -x9623 x9624 -x9625 -x9626 -x9627 -x9628 -x9629 x9630 -x9631 x9632 -x9633 x9634 -x9635 -x9636 -x9637 -x9638 -x9639 -x9640 -x9641 -x9642 -x9643 -x9644 -x9645 -x9646 -x9647 -x9648 -x9649 -x9650 -x9651 -x9652 -x9653 -x9654 -x9655 -x9656 -x9657 -x9658 -x9659 -x9660 -x9661 -x9662 -x9663 -x9664 x9665 -x9666 -x9667 -x9668 -x9669 -x9670 -x9671 -x9672 -x9673 -x9674 -x9675 -x9676 -x9677 x9678 -x9679 -x9680 -x9681 x9682 -x9683 -x9684 -x9685 -x9686 -x9687 -x9688 -x9689 -x9690 -x9691 -x9692 -x9693 x9694 -x9695 -x9696 -x9697 -x9698 -x9699 -x9700 -x9701 -x9702 -x9703 -x9704 -x9705 -x9706 x9707 -x9708 -x9709 -x9710 -x9711 -x9712 x9713 -x9714 -x9715 -x9716 -x9717 -x9718 -x9719 -x9720 -x9721 -x9722 -x9723 -x9724 -x9725 -x9726 -x9727 -x9728 -x9729 -x9730 -x9731 -x9732 -x9733 -x9734 -x9735 -x9736 -x9737 -x9738 -x9739 -x9740 -x9741 -x9742 -x9743 -x9744 -x9745 -x9746 -x9747 -x9748 -x9749 -x9750 -x9751 -x9752 -x9753 -x9754 -x9755 -x9756 -x9757 -x9758 -x9759 -x9760 -x9761 -x9762 -x9763 -x9764 -x9765 -x9766 -x9767 x9768 -x9769 -x9770 -x9771 -x9772 -x9773 -x9774 -x9775 -x9776 -x9777 -x9778 -x9779 -x9780 -x9781 -x9782 -x9783 -x9784 -x9785 -x9786 -x9787 -x9788 -x9789 -x9790 -x9791 -x9792 -x9793 -x9794 -x9795 -x9796 -x9797 -x9798 -x9799 -x9800 x9801 -x9802 -x9803 -x9804 -x9805 -x9806 -x9807 -x9808 -x9809 -x9810 -x9811 -x9812 -x9813 -x9814 -x9815 -x9816 -x9817 -x9818 -x9819 -x9820 -x9821 -x9822 -x9823 -x9824 -x9825 -x9826 -x9827 -x9828 -x9829 -x9830 -x9831 -x9832 -x9833 -x9834 -x9835 -x9836 -x9837 -x9838 -x9839 -x9840 -x9841 -x9842 -x9843 -x9844 -x9845 -x9846 -x9847 -x9848 -x9849 -x9850 -x9851 -x9852 -x9853 x9854 -x9855 -x9856 -x9857 -x9858 -x9859 -x9860 -x9861 -x9862 -x9863 -x9864 -x9865 -x9866 -x9867 -x9868 -x9869 -x9870 -x9871 -x9872 -x9873 -x9874 -x9875 -x9876 -x9877 -x9878 -x9879 -x9880 -x9881 -x9882 -x9883 -x9884 -x9885 -x9886 -x9887 -x9888 -x9889 -x9890 -x9891 -x9892 -x9893 -x9894 -x9895 -x9896 -x9897 -x9898 -x9899 -x9900 -x9901 -x9902 -x9903 -x9904 -x9905 -x9906 -x9907 -x9908 -x9909 -x9910 -x9911 -x9912 -x9913 -x9914 -x9915 x9916 -x9917 -x9918 -x9919 -x9920 -x9921 -x9922 -x9923 -x9924 -x9925 -x9926 -x9927 -x9928 -x9929 -x9930 -x9931 -x9932 -x9933 -x9934 -x9935 -x9936 -x9937 -x9938 -x9939 -x9940 -x9941 -x9942 -x9943 -x9944 -x9945 -x9946 -x9947 -x9948 -x9949 -x9950 x9951 -x9952 -x9953 -x9954 -x9955 -x9956 -x9957 -x9958 -x9959 -x9960 -x9961 -x9962 x9963 -x9964 -x9965 -x9966 -x9967 -x9968 -x9969 -x9970 -x9971 -x9972 -x9973 -x9974 -x9975 -x9976 -x9977 -x9978 -x9979 -x9980 -x9981 -x9982 -x9983 -x9984 -x9985 -x9986 x9987 -x9988 -x9989 -x9990 -x9991 -x9992 -x9993 -x9994 -x9995 -x9996 -x9997 -x9998 -x9999 -x10000 -x10001 -x10002 x10003 -x10004 -x10005 -x10006 -x10007 -x10008 -x10009 -x10010 -x10011 -x10012 -x10013 -x10014 -x10015 -x10016 -x10017 -x10018 -x10019 -x10020 -x10021 x10022 -x10023 -x10024 -x10025 -x10026 -x10027 -x10028 -x10029 -x10030 -x10031 -x10032 -x10033 -x10034 -x10035 -x10036 -x10037 -x10038 -x10039 -x10040 -x10041 -x10042 -x10043 -x10044 -x10045 -x10046 -x10047 -x10048 -x10049 -x10050 -x10051 -x10052 -x10053 -x10054 -x10055 -x10056 -x10057 -x10058 -x10059 -x10060 -x10061 -x10062 -x10063 -x10064 -x10065 -x10066 -x10067 -x10068 -x10069 -x10070 -x10071 -x10072 -x10073 -x10074 -x10075 -x10076 -x10077 -x10078 -x10079 -x10080 -x10081 -x10082 -x10083 -x10084 -x10085 -x10086 -x10087 -x10088 -x10089 -x10090 -x10091 -x10092 -x10093 -x10094 -x10095 -x10096 -x10097 -x10098 x10099 -x10100 x10101 x10102 -x10103 -x10104 -x10105 x10106 -x10107 x10108 -x10109 -x10110 -x10111 -x10112 -x10113 -x10114 x10115 -x10116 -x10117 -x10118 x10119 -x10120 -x10121 -x10122 x10123 -x10124 x10125 -x10126 -x10127 -x10128 -x10129 -x10130 -x10131 -x10132 -x10133 -x10134 -x10135 -x10136 -x10137 -x10138 -x10139 -x10140 -x10141 -x10142 -x10143 x10144 -x10145 x10146 -x10147 -x10148 -x10149 -x10150 -x10151 -x10152 -x10153 -x10154 -x10155 -x10156 -x10157 -x10158 -x10159 -x10160 -x10161 -x10162 -x10163 -x10164 -x10165 -x10166 -x10167 -x10168 -x10169 -x10170 -x10171 x10172 -x10173 -x10174 -x10175 x10176 -x10177 -x10178 -x10179 -x10180 -x10181 -x10182 -x10183 -x10184 -x10185 -x10186 -x10187 -x10188 -x10189 -x10190 x10191 -x10192 -x10193 -x10194 -x10195 -x10196 -x10197 x10198 -x10199 -x10200 -x10201 x10202 -x10203 -x10204 -x10205 -x10206 x10207 -x10208 -x10209 -x10210 -x10211 -x10212 -x10213 -x10214 -x10215 -x10216 -x10217 x10218 -x10219 -x10220 x10221 -x10222 -x10223 -x10224 -x10225 -x10226 -x10227 x10228 x10229 x10230 -x10231 x10232 -x10233 -x10234 -x10235 x10236 -x10237 -x10238 x10239 -x10240 -x10241 -x10242 -x10243 -x10244 -x10245 -x10246 -x10247 -x10248 -x10249 -x10250 -x10251 -x10252 -x10253 -x10254 -x10255 x10256 -x10257 x10258 -x10259 -x10260 -x10261 -x10262 -x10263 -x10264 -x10265 -x10266 -x10267 -x10268 x10269 -x10270 -x10271 -x10272 -x10273 -x10274 -x10275 x10276 -x10277 -x10278 -x10279 -x10280 -x10281 x10282 -x10283 -x10284 -x10285 x10286 -x10287 -x10288 -x10289 -x10290 -x10291 -x10292 -x10293 -x10294 -x10295 -x10296 x10297 -x10298 x10299 -x10300 -x10301 -x10302 -x10303 -x10304 -x10305 -x10306 -x10307 -x10308 -x10309 -x10310 x10311 -x10312 -x10313 -x10314 -x10315 -x10316 -x10317 x10318 -x10319 -x10320 -x10321 x10322 -x10323 -x10324 -x10325 -x10326 -x10327 x10328 x10329 -x10330 -x10331 -x10332 -x10333 x10334 -x10335 -x10336 -x10337 -x10338 -x10339 -x10340 -x10341 -x10342 -x10343 -x10344 -x10345 -x10346 -x10347 -x10348 -x10349 -x10350 -x10351 -x10352 -x10353 -x10354 -x10355 -x10356 -x10357 -x10358 -x10359 -x10360 x10361 -x10362 -x10363 -x10364 -x10365 x10366 -x10367 -x10368 -x10369 -x10370 -x10371 x10372 -x10373 -x10374 -x10375 -x10376 -x10377 -x10378 -x10379 x10380 -x10381 -x10382 -x10383 -x10384 -x10385 -x10386 -x10387 x10388 -x10389 -x10390 -x10391 -x10392 -x10393 -x10394 -x10395 -x10396 -x10397 -x10398 -x10399 -x10400 -x10401 -x10402 -x10403 -x10404 -x10405 -x10406 -x10407 -x10408 -x10409 -x10410 -x10411 x10412 -x10413 -x10414 -x10415 -x10416 -x10417 -x10418 -x10419 -x10420 -x10421 -x10422 -x10423 -x10424 -x10425 -x10426 -x10427 -x10428 -x10429 -x10430 -x10431 -x10432 -x10433 -x10434 -x10435 -x10436 -x10437 -x10438 -x10439 -x10440 -x10441 -x10442 -x10443 -x10444 x10445 -x10446 -x10447 -x10448 -x10449 -x10450 -x10451 -x10452 -x10453 -x10454 -x10455 -x10456 -x10457 -x10458 -x10459 x10460 x10461 -x10462 -x10463 -x10464 -x10465 -x10466 -x10467 -x10468 -x10469 x10470 -x10471 -x10472 x10473 -x10474 -x10475 -x10476 -x10477 -x10478 -x10479 -x10480 -x10481 -x10482 -x10483 -x10484 -x10485 -x10486 -x10487 -x10488 -x10489 x10490 -x10491 -x10492 -x10493 -x10494 -x10495 -x10496 -x10497 -x10498 -x10499 -x10500 -x10501 -x10502 -x10503 -x10504 -x10505 -x10506 -x10507 -x10508 -x10509 -x10510 -x10511 -x10512 -x10513 -x10514 -x10515 -x10516 -x10517 -x10518 -x10519 -x10520 -x10521 -x10522 -x10523 -x10524 -x10525 -x10526 -x10527 -x10528 -x10529 -x10530 -x10531 -x10532 -x10533 -x10534 -x10535 -x10536 -x10537 -x10538 -x10539 -x10540 -x10541 -x10542 -x10543 -x10544 x10545 -x10546 -x10547 -x10548 -x10549 -x10550 -x10551 -x10552 -x10553 -x10554 -x10555 -x10556 x10557 -x10558 -x10559 -x10560 -x10561 -x10562 -x10563 -x10564 -x10565 -x10566 -x10567 -x10568 -x10569 -x10570 -x10571 -x10572 -x10573 -x10574 -x10575 -x10576 -x10577 x10578 -x10579 -x10580 -x10581 x10582 -x10583 -x10584 -x10585 -x10586 -x10587 -x10588 -x10589 -x10590 -x10591 -x10592 -x10593 -x10594 -x10595 -x10596 -x10597 -x10598 -x10599 -x10600 -x10601 -x10602 -x10603 -x10604 -x10605 -x10606 -x10607 -x10608 -x10609 -x10610 -x10611 -x10612 -x10613 -x10614 -x10615 -x10616 -x10617 -x10618 -x10619 -x10620 -x10621 -x10622 -x10623 x10624 -x10625 -x10626 -x10627 -x10628 -x10629 -x10630 -x10631 -x10632 -x10633 -x10634 -x10635 -x10636 -x10637 -x10638 -x10639 -x10640 -x10641 -x10642 -x10643 -x10644 -x10645 -x10646 x10647 -x10648 -x10649 -x10650 -x10651 -x10652 -x10653 -x10654 -x10655 -x10656 -x10657 -x10658 -x10659 -x10660 -x10661 -x10662 -x10663 -x10664 -x10665 -x10666 -x10667 -x10668 -x10669 -x10670 -x10671 -x10672 -x10673 -x10674 -x10675 -x10676 -x10677 -x10678 -x10679 -x10680 -x10681 x10682 -x10683 -x10684 -x10685 -x10686 -x10687 -x10688 -x10689 -x10690 -x10691 -x10692 -x10693 -x10694 -x10695 -x10696 -x10697 -x10698 -x10699 -x10700 -x10701 -x10702 -x10703 -x10704 -x10705 -x10706 -x10707 x10708 -x10709 -x10710 -x10711 -x10712 -x10713
OK -1606
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.1 (svn: 988) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3490652-1307759444/watcher-3490652-1307759444 -o /tmp/evaluation-result-3490652-1307759444/solver-3490652-1307759444 -C 1800 -W 1900 -M 15500 HOME/minisatid HOME/instance-3490652-1307759444.opb --verbosity=0 --format=opb --randomseed=1754872646 running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.92 2.35 3.09 4/176 15581 /proc/meminfo: memFree=31879928/32951124 swapFree=67053960/67111528 [pid=15581] ppid=15579 vsize=7592 CPUtime=0 cores=0,2,4,6 /proc/15581/stat : 15581 (minisatid) R 15579 15581 15536 0 -1 4202496 397 0 0 0 0 0 0 0 24 0 1 0 868359872 7774208 349 33554432000 4194304 6720400 140734837119616 18446744073709551615 5725645 0 0 4096 17571 0 0 0 17 2 0 0 0 /proc/15581/statm: 1898 349 215 617 0 1272 0 [startup+0.0589431 s] /proc/loadavg: 1.92 2.35 3.09 4/176 15581 /proc/meminfo: memFree=31879928/32951124 swapFree=67053960/67111528 [pid=15581] ppid=15579 vsize=12208 CPUtime=0.05 cores=0,2,4,6 /proc/15581/stat : 15581 (minisatid) R 15579 15581 15536 0 -1 4202496 1556 0 0 0 5 0 0 0 24 0 1 0 868359872 12500992 1487 33554432000 4194304 6720400 140734837119616 18446744073709551615 5725543 0 0 4096 17571 0 0 0 17 0 0 0 0 /proc/15581/statm: 3052 1487 232 617 0 2426 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 12208 [startup+0.100942 s] /proc/loadavg: 1.92 2.35 3.09 4/176 15581 /proc/meminfo: memFree=31879928/32951124 swapFree=67053960/67111528 [pid=15581] ppid=15579 vsize=13660 CPUtime=0.09 cores=0,2,4,6 /proc/15581/stat : 15581 (minisatid) R 15579 15581 15536 0 -1 4202496 1946 0 0 0 9 0 0 0 25 0 1 0 868359872 13987840 1877 33554432000 4194304 6720400 140734837119616 18446744073709551615 5725645 0 0 4096 17571 0 0 0 17 0 0 0 0 /proc/15581/statm: 3415 1877 232 617 0 2789 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 13660 [startup+0.300906 s] /proc/loadavg: 1.92 2.35 3.09 4/176 15581 /proc/meminfo: memFree=31879928/32951124 swapFree=67053960/67111528 [pid=15581] ppid=15579 vsize=32772 CPUtime=0.29 cores=0,2,4,6 /proc/15581/stat : 15581 (minisatid) R 15579 15581 15536 0 -1 4202496 7157 0 0 0 29 0 0 0 25 0 1 0 868359872 33558528 6642 33554432000 4194304 6720400 140734837119616 18446744073709551615 4805687 0 0 4096 17571 0 0 0 17 0 0 0 0 /proc/15581/statm: 8193 6642 257 617 0 7567 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 32772 [startup+0.700835 s] /proc/loadavg: 1.92 2.35 3.09 4/176 15581 /proc/meminfo: memFree=31879928/32951124 swapFree=67053960/67111528 [pid=15581] ppid=15579 vsize=34236 CPUtime=0.69 cores=0,2,4,6 /proc/15581/stat : 15581 (minisatid) R 15579 15581 15536 0 -1 4202496 11723 0 0 0 68 1 0 0 25 0 1 0 868359872 35057664 7374 33554432000 4194304 6720400 140734837119616 18446744073709551615 4625993 0 0 4096 17571 0 0 0 17 0 0 0 0 /proc/15581/statm: 8559 7374 257 617 0 7933 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 34236 [startup+1.5007 s] /proc/loadavg: 1.93 2.35 3.09 4/178 15583 /proc/meminfo: memFree=31840528/32951124 swapFree=67053960/67111528 [pid=15581] ppid=15579 vsize=39968 CPUtime=1.49 cores=0,2,4,6 /proc/15581/stat : 15581 (minisatid) R 15579 15581 15536 0 -1 4202496 21085 0 0 0 147 2 0 0 25 0 1 0 868359872 40927232 8876 33554432000 4194304 6720400 140734837119616 18446744073709551615 4434436 0 0 4096 17571 0 0 0 17 0 0 0 0 /proc/15581/statm: 9992 8876 257 617 0 9366 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 39968 [startup+3.10035 s] /proc/loadavg: 1.93 2.35 3.09 4/178 15583 /proc/meminfo: memFree=31832964/32951124 swapFree=67053960/67111528 [pid=15581] ppid=15579 vsize=49748 CPUtime=3.09 cores=0,2,4,6 /proc/15581/stat : 15581 (minisatid) R 15579 15581 15536 0 -1 4202496 37613 0 0 0 305 4 0 0 25 0 1 0 868359872 50941952 11534 33554432000 4194304 6720400 140734837119616 18446744073709551615 4438798 0 0 4096 17571 0 0 0 17 0 0 0 0 /proc/15581/statm: 12437 11534 257 617 0 11811 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 49748 [startup+6.30079 s] /proc/loadavg: 1.93 2.34 3.08 4/178 15583 /proc/meminfo: memFree=31793412/32951124 swapFree=67053960/67111528 [pid=15581] ppid=15579 vsize=91756 CPUtime=6.29 cores=0,2,4,6 /proc/15581/stat : 15581 (minisatid) R 15579 15581 15536 0 -1 4202496 102349 0 0 0 618 11 0 0 25 0 1 0 868359872 93958144 22334 33554432000 4194304 6720400 140734837119616 18446744073709551615 4613432 0 0 4096 17571 0 0 0 17 0 0 0 0 /proc/15581/statm: 22939 22334 257 617 0 22313 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 91756 [startup+12.7006 s] /proc/loadavg: 1.94 2.33 3.08 4/178 15583 /proc/meminfo: memFree=31748492/32951124 swapFree=67053960/67111528 [pid=15581] ppid=15579 vsize=174512 CPUtime=12.69 cores=0,2,4,6 /proc/15581/stat : 15581 (minisatid) R 15579 15581 15536 0 -1 4202496 159263 0 0 0 1252 17 0 0 25 0 1 0 868359872 178700288 32012 33554432000 4194304 6720400 140734837119616 18446744073709551615 4617084 0 0 4096 17571 0 0 0 17 0 0 0 0 /proc/15581/statm: 43628 32012 265 617 0 43002 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 174512 [startup+25.5003 s] /proc/loadavg: 1.95 2.32 3.06 4/178 15583 /proc/meminfo: memFree=31678372/32951124 swapFree=67053960/67111528 [pid=15581] ppid=15579 vsize=261052 CPUtime=25.49 cores=0,2,4,6 /proc/15581/stat : 15581 (minisatid) R 15579 15581 15536 0 -1 4202496 257921 0 0 0 2522 27 0 0 25 0 1 0 868359872 267317248 49235 33554432000 4194304 6720400 140734837119616 18446744073709551615 4815480 0 0 4096 17571 0 0 0 17 0 0 0 0 /proc/15581/statm: 65263 49248 265 617 0 64637 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 261052 [startup+51.1006 s] /proc/loadavg: 1.97 2.29 3.03 4/178 15584 /proc/meminfo: memFree=31664948/32951124 swapFree=67053960/67111528 [pid=15581] ppid=15579 vsize=265980 CPUtime=51.09 cores=0,2,4,6 /proc/15581/stat : 15581 (minisatid) R 15579 15581 15536 0 -1 4202496 496578 0 0 0 5056 53 0 0 25 0 1 0 868359872 272363520 54381 33554432000 4194304 6720400 140734837119616 18446744073709551615 4617076 0 0 4096 17571 0 0 0 17 0 0 0 0 /proc/15581/statm: 66495 54381 265 617 0 65869 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 265980 [startup+102.306 s] /proc/loadavg: 1.98 2.24 2.97 4/178 15585 /proc/meminfo: memFree=31618176/32951124 swapFree=67053960/67111528 [pid=15581] ppid=15579 vsize=269432 CPUtime=102.3 cores=0,2,4,6 /proc/15581/stat : 15581 (minisatid) R 15579 15581 15536 0 -1 4202496 933262 0 0 0 10126 104 0 0 25 0 1 0 868359872 275898368 63743 33554432000 4194304 6720400 140734837119616 18446744073709551615 4617076 0 0 4096 17571 0 0 0 17 0 0 0 0 /proc/15581/statm: 67358 63743 265 617 0 66732 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 269432 [startup+162.301 s] /proc/loadavg: 1.99 2.20 2.91 4/178 15587 /proc/meminfo: memFree=31634284/32951124 swapFree=67053960/67111528 [pid=15581] ppid=15579 vsize=275304 CPUtime=162.3 cores=0,2,4,6 /proc/15581/stat : 15581 (minisatid) R 15579 15581 15536 0 -1 4202496 1467654 0 0 0 16066 164 0 0 25 0 1 0 868359872 281911296 59697 33554432000 4194304 6720400 140734837119616 18446744073709551615 4617059 0 0 4096 17571 0 0 0 17 0 0 0 0 /proc/15581/statm: 68826 59697 265 617 0 68200 0 Current children cumulated CPU time (s) 162.3 Current children cumulated vsize (KiB) 275304 [startup+222.301 s] /proc/loadavg: 1.99 2.16 2.85 4/178 15589 /proc/meminfo: memFree=31630664/32951124 swapFree=67053960/67111528 [pid=15581] ppid=15579 vsize=279572 CPUtime=222.3 cores=0,2,4,6 /proc/15581/stat : 15581 (minisatid) R 15579 15581 15536 0 -1 4202496 2095197 0 0 0 21999 231 0 0 25 0 1 0 868359872 286281728 62064 33554432000 4194304 6720400 140734837119616 18446744073709551615 4815480 0 0 4096 17571 0 0 0 17 0 0 0 0 /proc/15581/statm: 69893 62090 265 617 0 69267 0 Current children cumulated CPU time (s) 222.3 Current children cumulated vsize (KiB) 279572 [startup+282.301 s] /proc/loadavg: 1.99 2.13 2.79 4/178 15590 /proc/meminfo: memFree=31650728/32951124 swapFree=67053960/67111528 [pid=15581] ppid=15579 vsize=282448 CPUtime=282.3 cores=0,2,4,6 /proc/15581/stat : 15581 (minisatid) R 15579 15581 15536 0 -1 4202496 2639828 0 0 0 27936 294 0 0 25 0 1 0 868359872 289226752 56895 33554432000 4194304 6720400 140734837119616 18446744073709551615 4802230 0 0 4096 17571 0 0 0 17 0 0 0 0 /proc/15581/statm: 70612 56895 265 617 0 69986 0 Current children cumulated CPU time (s) 282.3 Current children cumulated vsize (KiB) 282448 [startup+342.301 s] /proc/loadavg: 1.99 2.10 2.74 4/178 15592 /proc/meminfo: memFree=31583360/32951124 swapFree=67053960/67111528 [pid=15581] ppid=15579 vsize=416340 CPUtime=342.31 cores=0,2,4,6 /proc/15581/stat : 15581 (minisatid) R 15579 15581 15536 0 -1 4202496 3157439 0 0 0 33884 347 0 0 25 0 1 0 868359872 426332160 72433 33554432000 4194304 6720400 140734837119616 18446744073709551615 4617068 0 0 4096 17571 0 0 0 17 0 0 0 0 /proc/15581/statm: 104085 72433 265 617 0 103459 0 Current children cumulated CPU time (s) 342.31 Current children cumulated vsize (KiB) 416340 [startup+402.301 s] /proc/loadavg: 2.06 2.11 2.70 4/178 15593 /proc/meminfo: memFree=31620532/32951124 swapFree=67053960/67111528 [pid=15581] ppid=15579 vsize=285484 CPUtime=402.3 cores=0,2,4,6 /proc/15581/stat : 15581 (minisatid) R 15579 15581 15536 0 -1 4202496 3751489 0 0 0 39819 411 0 0 25 0 1 0 868359872 292335616 64924 33554432000 4194304 6720400 140734837119616 18446744073709551615 4617073 0 0 4096 17571 0 0 0 17 0 0 0 0 /proc/15581/statm: 71371 64924 265 617 0 70745 0 Current children cumulated CPU time (s) 402.3 Current children cumulated vsize (KiB) 285484 [startup+462.301 s] /proc/loadavg: 2.02 2.08 2.66 4/178 15595 /proc/meminfo: memFree=31608848/32951124 swapFree=67053960/67111528 [pid=15581] ppid=15579 vsize=286976 CPUtime=462.31 cores=0,2,4,6 /proc/15581/stat : 15581 (minisatid) R 15579 15581 15536 0 -1 4202496 4394124 0 0 0 45752 479 0 0 25 0 1 0 868359872 293863424 67666 33554432000 4194304 6720400 140734837119616 18446744073709551615 4617079 0 0 4096 17571 0 0 0 17 0 0 0 0 /proc/15581/statm: 71744 67666 265 617 0 71118 0 Current children cumulated CPU time (s) 462.31 Current children cumulated vsize (KiB) 286976 [startup+522.301 s] /proc/loadavg: 2.01 2.07 2.61 4/178 15597 /proc/meminfo: memFree=31593936/32951124 swapFree=67053960/67111528 [pid=15581] ppid=15579 vsize=288344 CPUtime=522.31 cores=0,2,4,6 /proc/15581/stat : 15581 (minisatid) R 15579 15581 15536 0 -1 4202496 4999055 0 0 0 51683 548 0 0 25 0 1 0 868359872 295264256 69828 33554432000 4194304 6720400 140734837119616 18446744073709551615 4617059 0 0 4096 17571 0 0 0 17 0 0 0 0 /proc/15581/statm: 72086 69828 265 617 0 71460 0 Current children cumulated CPU time (s) 522.31 Current children cumulated vsize (KiB) 288344 [startup+582.301 s] /proc/loadavg: 2.00 2.05 2.57 4/178 15598 /proc/meminfo: memFree=31593912/32951124 swapFree=67053960/67111528 [pid=15581] ppid=15579 vsize=289376 CPUtime=582.31 cores=0,2,4,6 /proc/15581/stat : 15581 (minisatid) R 15579 15581 15536 0 -1 4202496 5592852 0 0 0 57618 613 0 0 25 0 1 0 868359872 296321024 69900 33554432000 4194304 6720400 140734837119616 18446744073709551615 4617059 0 0 4096 17571 0 0 0 17 0 0 0 0 /proc/15581/statm: 72344 69900 265 617 0 71718 0 Current children cumulated CPU time (s) 582.31 Current children cumulated vsize (KiB) 289376 [startup+642.301 s] ################ # More data... # ################ [startup+822.301 s] /proc/loadavg: 2.00 2.02 2.43 4/178 15605 /proc/meminfo: memFree=31565532/32951124 swapFree=67053960/67111528 [pid=15581] ppid=15579 vsize=427360 CPUtime=822.31 cores=0,2,4,6 /proc/15581/stat : 15581 (minisatid) R 15579 15581 15536 0 -1 4202496 8107586 0 0 0 81349 882 0 0 25 0 1 0 868359872 437616640 78818 33554432000 4194304 6720400 140734837119616 18446744073709551615 4617084 0 0 4096 17571 0 0 0 17 0 0 0 0 /proc/15581/statm: 106840 78818 265 617 0 106214 0 Current children cumulated CPU time (s) 822.31 Current children cumulated vsize (KiB) 427360 [startup+882.301 s] /proc/loadavg: 2.00 2.01 2.40 4/178 15606 /proc/meminfo: memFree=31542440/32951124 swapFree=67053960/67111528 [pid=15581] ppid=15579 vsize=428376 CPUtime=882.32 cores=0,2,4,6 /proc/15581/stat : 15581 (minisatid) R 15579 15581 15536 0 -1 4202496 8749339 0 0 0 87278 954 0 0 25 0 1 0 868359872 438657024 82587 33554432000 4194304 6720400 140734837119616 18446744073709551615 4617079 0 0 4096 17571 0 0 0 17 0 0 0 0 /proc/15581/statm: 107094 82587 265 617 0 106468 0 Current children cumulated CPU time (s) 882.32 Current children cumulated vsize (KiB) 428376 [startup+942.301 s] /proc/loadavg: 2.04 2.02 2.38 4/178 15608 /proc/meminfo: memFree=31619532/32951124 swapFree=67053960/67111528 [pid=15581] ppid=15579 vsize=297236 CPUtime=942.32 cores=0,2,4,6 /proc/15581/stat : 15581 (minisatid) R 15579 15581 15536 0 -1 4202496 9465255 0 0 0 93202 1030 0 0 25 0 1 0 868359872 304369664 65308 33554432000 4194304 6720400 140734837119616 18446744073709551615 4617079 0 0 4096 17571 0 0 0 17 0 0 0 0 /proc/15581/statm: 74309 65308 265 617 0 73683 0 Current children cumulated CPU time (s) 942.32 Current children cumulated vsize (KiB) 297236 [startup+1002.3 s] /proc/loadavg: 2.01 2.02 2.35 4/178 15609 /proc/meminfo: memFree=31583176/32951124 swapFree=67053960/67111528 [pid=15581] ppid=15579 vsize=431128 CPUtime=1002.32 cores=0,2,4,6 /proc/15581/stat : 15581 (minisatid) R 15579 15581 15536 0 -1 4202496 10122705 0 0 0 99132 1100 0 0 25 0 1 0 868359872 441475072 74489 33554432000 4194304 6720400 140734837119616 18446744073709551615 4802224 0 0 4096 17571 0 0 0 17 0 0 0 0 /proc/15581/statm: 107782 74489 265 617 0 107156 0 Current children cumulated CPU time (s) 1002.32 Current children cumulated vsize (KiB) 431128 [startup+1062.3 s] /proc/loadavg: 2.00 2.01 2.33 4/178 15611 /proc/meminfo: memFree=31637576/32951124 swapFree=67053960/67111528 [pid=15581] ppid=15579 vsize=299792 CPUtime=1062.32 cores=0,2,4,6 /proc/15581/stat : 15581 (minisatid) R 15579 15581 15536 0 -1 4202496 10809301 0 0 0 105055 1177 0 0 25 0 1 0 868359872 306987008 58913 33554432000 4194304 6720400 140734837119616 18446744073709551615 4617068 0 0 4096 17571 0 0 0 17 0 0 0 0 /proc/15581/statm: 74948 58913 265 617 0 74322 0 Current children cumulated CPU time (s) 1062.32 Current children cumulated vsize (KiB) 299792 [startup+1122.3 s] /proc/loadavg: 2.00 2.00 2.30 4/178 15613 /proc/meminfo: memFree=31576788/32951124 swapFree=67053960/67111528 [pid=15581] ppid=15579 vsize=433464 CPUtime=1122.33 cores=0,2,4,6 /proc/15581/stat : 15581 (minisatid) R 15579 15581 15536 0 -1 4202496 11516260 0 0 0 110978 1255 0 0 25 0 1 0 868359872 443867136 76673 33554432000 4194304 6720400 140734837119616 18446744073709551615 4816966 0 0 4096 17571 0 0 0 17 0 0 0 0 /proc/15581/statm: 108366 76673 265 617 0 107740 0 Current children cumulated CPU time (s) 1122.33 Current children cumulated vsize (KiB) 433464 [startup+1182.3 s] /proc/loadavg: 2.00 2.00 2.28 4/178 15614 /proc/meminfo: memFree=31641112/32951124 swapFree=67053960/67111528 [pid=15581] ppid=15579 vsize=301892 CPUtime=1182.32 cores=0,2,4,6 /proc/15581/stat : 15581 (minisatid) R 15579 15581 15536 0 -1 4202496 12264052 0 0 0 116892 1340 0 0 25 0 1 0 868359872 309137408 59563 33554432000 4194304 6720400 140734837119616 18446744073709551615 4617059 0 0 4096 17571 0 0 0 17 0 0 0 0 /proc/15581/statm: 75473 59563 265 617 0 74847 0 Current children cumulated CPU time (s) 1182.32 Current children cumulated vsize (KiB) 301892 [startup+1242.3 s] /proc/loadavg: 2.00 2.00 2.26 4/178 15616 /proc/meminfo: memFree=31559012/32951124 swapFree=67053960/67111528 [pid=15581] ppid=15579 vsize=436076 CPUtime=1242.33 cores=0,2,4,6 /proc/15581/stat : 15581 (minisatid) R 15579 15581 15536 0 -1 4202496 12987248 0 0 0 122816 1417 0 0 25 0 1 0 868359872 446541824 80352 33554432000 4194304 6720400 140734837119616 18446744073709551615 4617079 0 0 4096 17571 0 0 0 17 0 0 0 0 /proc/15581/statm: 109019 80352 265 617 0 108393 0 Current children cumulated CPU time (s) 1242.33 Current children cumulated vsize (KiB) 436076 [startup+1302.3 s] /proc/loadavg: 2.00 2.00 2.24 4/178 15617 /proc/meminfo: memFree=31565932/32951124 swapFree=67053960/67111528 [pid=15581] ppid=15579 vsize=437636 CPUtime=1302.33 cores=0,2,4,6 /proc/15581/stat : 15581 (minisatid) R 15579 15581 15536 0 -1 4202496 13733778 0 0 0 128732 1501 0 0 25 0 1 0 868359872 448139264 76689 33554432000 4194304 6720400 140734837119616 18446744073709551615 4812219 0 0 4096 17571 0 0 0 17 0 0 0 0 /proc/15581/statm: 109409 76689 265 617 0 108783 0 Current children cumulated CPU time (s) 1302.33 Current children cumulated vsize (KiB) 437636 [startup+1362.3 s] /proc/loadavg: 2.00 2.00 2.23 4/178 15619 /proc/meminfo: memFree=31623560/32951124 swapFree=67053960/67111528 [pid=15581] ppid=15579 vsize=305828 CPUtime=1362.33 cores=0,2,4,6 /proc/15581/stat : 15581 (minisatid) R 15579 15581 15536 0 -1 4202496 14506610 0 0 0 134645 1588 0 0 25 0 1 0 868359872 313167872 62576 33554432000 4194304 6720400 140734837119616 18446744073709551615 4613336 0 0 4096 17571 0 0 0 17 0 0 0 0 /proc/15581/statm: 76457 62576 265 617 0 75831 0 Current children cumulated CPU time (s) 1362.33 Current children cumulated vsize (KiB) 305828 [startup+1422.31 s] /proc/loadavg: 2.00 2.00 2.21 4/178 15621 /proc/meminfo: memFree=31569840/32951124 swapFree=67053960/67111528 [pid=15581] ppid=15579 vsize=306692 CPUtime=1422.34 cores=0,2,4,6 /proc/15581/stat : 15581 (minisatid) R 15579 15581 15536 0 -1 4202496 15246641 0 0 0 140560 1674 0 0 25 0 1 0 868359872 314052608 75624 33554432000 4194304 6720400 140734837119616 18446744073709551615 4617084 0 0 4096 17571 0 0 0 17 0 0 0 0 /proc/15581/statm: 76673 75624 265 617 0 76047 0 Current children cumulated CPU time (s) 1422.34 Current children cumulated vsize (KiB) 306692 [startup+1482.3 s] /proc/loadavg: 2.00 2.00 2.19 4/178 15622 /proc/meminfo: memFree=31519088/32951124 swapFree=67053960/67111528 [pid=15581] ppid=15579 vsize=308236 CPUtime=1482.33 cores=0,2,4,6 /proc/15581/stat : 15581 (minisatid) R 15579 15581 15536 0 -1 4202496 16018440 0 0 0 146471 1762 0 0 25 0 1 0 868359872 315633664 60558 33554432000 4194304 6720400 140734837119616 18446744073709551615 4812559 0 0 4096 17571 0 0 0 17 0 0 0 0 /proc/15581/statm: 77059 60558 265 617 0 76433 0 Current children cumulated CPU time (s) 1482.33 Current children cumulated vsize (KiB) 308236 [startup+1542.3 s] /proc/loadavg: 2.00 2.00 2.18 4/178 15624 /proc/meminfo: memFree=31490664/32951124 swapFree=67053960/67111528 [pid=15581] ppid=15579 vsize=442628 CPUtime=1542.34 cores=0,2,4,6 /proc/15581/stat : 15581 (minisatid) R 15579 15581 15536 0 -1 4202496 16736535 0 0 0 152395 1839 0 0 25 0 1 0 868359872 453251072 95444 33554432000 4194304 6720400 140734837119616 18446744073709551615 4617068 0 0 4096 17571 0 0 0 17 0 0 0 0 /proc/15581/statm: 110657 95444 265 617 0 110031 0 Current children cumulated CPU time (s) 1542.34 Current children cumulated vsize (KiB) 442628 [startup+1602.3 s] /proc/loadavg: 2.00 2.00 2.16 4/178 15625 /proc/meminfo: memFree=31565168/32951124 swapFree=67053960/67111528 [pid=15581] ppid=15579 vsize=444452 CPUtime=1602.34 cores=0,2,4,6 /proc/15581/stat : 15581 (minisatid) R 15579 15581 15536 0 -1 4202496 17530230 0 0 0 158306 1928 0 0 25 0 1 0 868359872 455118848 78771 33554432000 4194304 6720400 140734837119616 18446744073709551615 4617079 0 0 4096 17571 0 0 0 17 0 0 0 0 /proc/15581/statm: 111113 78771 265 617 0 110487 0 Current children cumulated CPU time (s) 1602.34 Current children cumulated vsize (KiB) 444452 [startup+1662.3 s] /proc/loadavg: 2.00 2.00 2.15 4/178 15627 /proc/meminfo: memFree=31601352/32951124 swapFree=67053960/67111528 [pid=15581] ppid=15579 vsize=313308 CPUtime=1662.34 cores=0,2,4,6 /proc/15581/stat : 15581 (minisatid) R 15579 15581 15536 0 -1 4202496 18300874 0 0 0 164221 2013 0 0 25 0 1 0 868359872 320827392 67796 33554432000 4194304 6720400 140734837119616 18446744073709551615 4617084 0 0 4096 17571 0 0 0 17 0 0 0 0 /proc/15581/statm: 78327 67796 265 617 0 77701 0 Current children cumulated CPU time (s) 1662.34 Current children cumulated vsize (KiB) 313308 [startup+1722.3 s] /proc/loadavg: 2.00 2.00 2.14 4/178 15629 /proc/meminfo: memFree=31524824/32951124 swapFree=67053960/67111528 [pid=15581] ppid=15579 vsize=447172 CPUtime=1722.34 cores=0,2,4,6 /proc/15581/stat : 15581 (minisatid) R 15579 15581 15536 0 -1 4202496 19041184 0 0 0 170144 2090 0 0 25 0 1 0 868359872 457904128 88434 33554432000 4194304 6720400 140734837119616 18446744073709551615 4816960 0 0 4096 17571 0 0 0 17 0 0 0 0 /proc/15581/statm: 111793 88434 265 617 0 111167 0 Current children cumulated CPU time (s) 1722.34 Current children cumulated vsize (KiB) 447172 [startup+1782.3 s] /proc/loadavg: 2.00 2.00 2.13 4/178 15630 /proc/meminfo: memFree=31566588/32951124 swapFree=67053960/67111528 [pid=15581] ppid=15579 vsize=315604 CPUtime=1782.35 cores=0,2,4,6 /proc/15581/stat : 15581 (minisatid) R 15579 15581 15536 0 -1 4202496 19800953 0 0 0 176064 2171 0 0 25 0 1 0 868359872 323178496 76404 33554432000 4194304 6720400 140734837119616 18446744073709551615 4617048 0 0 4096 17571 0 0 0 17 0 0 0 0 /proc/15581/statm: 78901 76404 265 617 0 78275 0 Current children cumulated CPU time (s) 1782.35 Current children cumulated vsize (KiB) 315604 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800 s] /proc/loadavg: 2.00 2.00 2.13 4/178 15631 /proc/meminfo: memFree=31552696/32951124 swapFree=67053960/67111528 [pid=15581] ppid=15579 vsize=448324 CPUtime=1800.05 cores=0,2,4,6 /proc/15581/stat : 15581 (minisatid) R 15579 15581 15536 0 -1 4202496 20013618 0 0 0 177811 2194 0 0 25 0 1 0 868359872 459083776 79888 33554432000 4194304 6720400 140734837119616 18446744073709551615 4617059 0 0 4096 17571 0 0 0 17 0 0 0 0 /proc/15581/statm: 112081 79888 265 617 0 111455 0 Current children cumulated CPU time (s) 1800.05 Current children cumulated vsize (KiB) 448324 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child status: 10 Real time (s): 1800.02 CPU time (s): 1800.08 CPU user time (s): 1778.12 CPU system time (s): 21.9647 CPU usage (%): 100.003 Max. virtual memory (cumulated for all children) (KiB): 867728 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1778.12 system time used= 21.9647 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 20013623 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 4 involuntary context switches= 6598 runsolver used 2.91156 second user time and 5.77912 second system time The end
Begin job on node142 at 2011-06-11 04:30:44 IDJOB=3490652 IDBENCH=1869 IDSOLVER=1980 FILE ID=node142/3490652-1307759444 RUNJOBID= node142-1307759444-15554 PBS_JOBID= 13550867 Free space on /tmp= 74108 MiB SOLVER NAME= MinisatID 2.5.2 (fixed) BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-manna81.opb COMMAND LINE= HOME/minisatid BENCHNAME --verbosity=0 --format=opb --randomseed=RANDOMSEED RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3490652-1307759444/watcher-3490652-1307759444 -o /tmp/evaluation-result-3490652-1307759444/solver-3490652-1307759444 -C 1800 -W 1900 -M 15500 HOME/minisatid HOME/instance-3490652-1307759444.opb --verbosity=0 --format=opb --randomseed=1754872646 TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 6fc83a536fe9a582c06bbccccc09c709 RANDOM SEED=1754872646 node142.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.846 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5333.69 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.846 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5131.95 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.846 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.846 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.67 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.846 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.81 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.846 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.846 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.846 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 31880512 kB Buffers: 181752 kB Cached: 693624 kB SwapCached: 11412 kB Active: 432760 kB Inactive: 462852 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 31880512 kB SwapTotal: 67111528 kB SwapFree: 67053960 kB Dirty: 6796 kB Writeback: 0 kB AnonPages: 17472 kB Mapped: 11752 kB Slab: 107568 kB PageTables: 5036 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 186108 kB VmallocTotal: 34359738367 kB VmallocUsed: 296008 kB VmallocChunk: 34359440975 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 74100 MiB End job on node142 at 2011-06-11 05:00:46