Trace number 1885452

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
bsolo 3.1SAT 0.683895 0.684391

General information on the benchmark

Name/PURE-SAT/SAT09/APPLICATIONS/
aprove09/AProVE09-08.opb
MD5SUM71eb54cb86d54c93a5eee1d93a9df329
Bench CategoryPURE-SAT (instances containing only clauses)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark0.602907
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables8564
Total number of constraints28927
Number of constraints which are clauses28927
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint14
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 12
Number of bits of the biggest number in a constraint 4
Biggest sum of numbers in a constraint 26
Number of bits of the biggest sum of numbers5
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c bsolo beta version 3.1 - 13/04/2009 : 1630 GMT
0.00/0.00	c Developed by Vasco Manquinho and José Santos IST/UTL - INESC-ID
0.00/0.00	c type "bsolo -h" for help
0.00/0.00	c Time Limit set via environment variable PBTIMEOUT to 1800
0.00/0.00	c Learning Strategy: Cardinality Constraint Learning
0.00/0.00	c Time Limit set to 1800
0.00/0.00	c Memory Limit set to 1800 MB
0.00/0.00	c Instance file HOME/instance-1885452-1245266687.opb
0.00/0.00	c File size is 863239 bytes.
0.09/0.12	c Highest Coefficient sum: 26
0.09/0.12	c Parsing was ok!!
0.09/0.12	c Total parsing time: 0.124 s
0.09/0.14	c Var: 8564 Constr: 28927 28927/0/0 Lit: 74571 Watch. Lit: 57853
0.09/0.14	c Obj. Vars: 0 (0 % of total variables)
0.29/0.31	c Pre-processing Time: 0.309 s
0.29/0.31	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.29/0.31	c        0   8154    27767    71912    2    55534    9255      0      0 0.31
0.29/0.31	c Switching off lower bounding mode.
0.59/0.68	c      100   8154    27966    73944    2    55932   10181    199    248 0.40
0.59/0.68	c      251   8154    28253    92381    3    56506   11200    486    394 0.64
0.59/0.68	c Backtracks by Clause: 270
0.59/0.68	c Backtracks by PB constraint: 0
0.59/0.68	v x8564 x8563 x2 x3 x1490 x3466 x4936 x5191 x5446 x5701 x5956 x7424 x7738 x7993 x8307 x8562 x8304 -x1487 x1489 x873 x875 -x1486 -x872 -x721 -x871 -x653 -x719 -x720 -x566 -x652 -x1 -x565 -x450 -x564 -x394 -x448 -x449 -x333 -x393 -x332 -x245 -x331 -x207 -x243 -x244 -x158 -x206 -x157 -x108 -x156 -x82 -x106 -x107 -x59 -x81 -x58 -x36 -x57 -x28 -x34 -x35 -x16 -x27 -x15 -x9 -x14 -x5 x8 -x4 x6 x7 -x12 x13 -x10 -x11 -x26 -x21 -x25 -x18 -x20 x17 -x19 -x23 -x24 -x22 -x33 x30 -x32 x29 -x31 -x50 -x55 -x56 -x47 -x49 -x46 -x41 -x45 -x38 x40 x37 x39 -x43 x44 x42 -x48 -x54 -x52 x53 x51 -x60 -x80 -x69 -x79 -x63 -x67 -x68 -x61 -x62 -x66 x64 -x65 -x73 -x77 -x78 -x70 -x72 -x71 -x76 -x74 x75 -x105 -x87 -x103 -x104 -x84 -x86 -x83 -x85 -x102 -x94 -x100 -x101 -x90 -x93 -x89 -x88 -x92 -x91 -x99 x96 -x98 x95 x97 -x132 -x154 -x155 -x129 -x131 -x128 -x117 -x127 -x111 -x115 -x116 -x109 -x110 -x114 x112 -x113 -x121 x125 x126 -x118 -x120 -x119 x124 x122 x123 -x130 -x153 -x137 -x151 -x152 -x134 -x136 -x133 -x135 -x150 -x143 -x148 -x149 -x140 -x142 x139 -x138 -x141 -x147 -x145 x146 -x144 -x205 -x180 -x204 -x162 -x178 -x179 -x159 -x161 -x160 -x177 -x165 -x175 -x176 -x163 -x164 -x174 -x168 -x172 -x173 -x166 -x167 -x171 -x169 -x170 -x184 -x202 -x203 -x181 -x183 -x182 -x201 -x188 -x199 -x200 -x185 -x187 -x186 -x198 x192 x196 -x197 x189 -x191 -x190 -x195 -x193 -x194 -x242 -x214 -x240 -x241 -x210 -x213 -x209 -x208 -x212 -x211 -x239 -x221 -x237 -x238 -x217 -x220 -x216 -x215 -x219 -x218 -x236 -x228 -x234 -x235 -x224 -x227 -x223 -x222 x226 x225 -x233 x230 -x232 x229 -x231 -x297 -x329 -x330 -x294 -x296 -x293 -x268 -x292 -x250 -x266 -x267 -x247 -x249 -x246 -x248 -x265 -x253 -x263 -x264 -x251 -x252 -x262 -x256 -x260 -x261 -x254 -x255 -x259 -x257 -x258 -x272 -x290 -x291 -x269 -x271 -x270 -x289 -x276 -x287 -x288 -x273 -x275 -x274 -x286 -x280 -x284 -x285 -x277 -x279 -x278 -x283 -x281 -x282 -x295 -x328 -x303 -x326 -x327 -x300 -x302 -x299 -x298 -x301 -x325 -x309 -x323 -x324 -x306 -x308 -x305 -x304 -x307 -x322 -x315 -x320 -x321 -x312 -x314 -x311 -x310 -x313 -x319 -x317 x318 -x316 -x392 -x360 -x391 -x336 -x358 -x359 -x334 -x335 -x357 -x339 -x355 -x356 -x337 -x338 -x354 -x342 -x352 -x353 -x340 -x341 -x351 -x345 -x349 -x350 -x343 -x344 -x348 -x346 -x347 -x364 -x389 -x390 -x361 -x363 -x362 -x388 -x368 -x386 -x387 -x365 -x367 -x366 -x385 -x372 -x383 -x384 -x369 -x371 -x370 -x382 -x376 -x380 -x381 -x373 -x375 -x374 -x379 -x377 -x378 -x447 -x399 -x445 -x446 -x396 -x398 -x395 -x397 -x444 -x406 -x442 -x443 -x402 -x405 -x401 -x400 -x404 -x403 -x441 -x413 -x439 -x440 -x409 -x412 -x408 -x407 -x411 -x410 -x438 -x420 -x436 -x437 -x416 -x419 -x415 -x414 -x418 -x417 -x435 -x427 -x433 -x434 -x423 -x426 -x422 -x421 -x425 -x424 -x432 x429 -x431 x428 -x430 -x513 -x562 -x563 -x510 -x512 -x509 -x477 -x508 -x453 -x475 -x476 -x451 -x452 -x474 -x456 -x472 -x473 -x454 -x455 -x471 -x459 -x469 -x470 -x457 -x458 -x468 -x462 -x466 -x467 -x460 -x461 -x465 -x463 -x464 -x481 -x506 -x507 -x478 -x480 -x479 -x505 -x485 -x503 -x504 -x482 -x484 -x483 -x502 -x489 -x500 -x501 -x486 -x488 -x487 -x499 -x493 -x497 -x498 -x490 -x492 -x491 -x496 -x494 -x495 -x511 -x561 -x518 -x559 -x560 -x515 -x517 -x514 -x516 -x558 -x524 -x556 -x557 -x521 -x523 -x520 -x519 -x522 -x555 -x530 -x553 -x554 -x527 -x529 -x526 -x525 -x528 -x552 -x536 -x550 -x551 -x533 -x535 -x532 -x531 -x534 -x549 -x542 -x547 -x548 -x539 -x541 -x538 -x537 -x540 -x546 -x544 x545 -x543 -x651 -x605 -x650 -x569 -x603 -x604 -x567 -x568 -x602 -x572 -x600 -x601 -x570 -x571 -x599 -x575 -x597 -x598 -x573 -x574 -x596 -x578 -x594 -x595 -x576 -x577 -x593 -x581 -x591 -x592 -x579 -x580 -x590 -x584 -x588 -x589 -x582 -x583 -x587 x585 -x586 -x609 -x648 -x649 -x606 -x608 -x607 -x647 -x613 -x645 -x646 -x610 -x612 -x611 -x644 -x617 -x642 -x643 -x614 -x616 -x615 -x641 -x621 -x639 -x640 -x618 -x620 -x619 -x638 -x625 -x636 -x637 -x622 -x624 -x623 -x635 -x629 -x633 -x634 -x626 -x628 -x627 -x632 -x630 x631 -x718 -x660 -x716 -x717 -x656 -x659 -x655 -x654 -x658 -x657 -x715 -x667 -x713 -x714 -x663 -x666 -x662 -x661 -x665 -x664 -x712 -x674 -x710 -x711 -x670 -x673 -x669 -x668 -x672 -x671 -x709 -x681 -x707 -x708 -x677 -x680 -x676 -x675 -x679 -x678 -x706 -x688 -x704 -x705 -x684 -x687 -x683 -x682 -x686 -x685 -x703 -x695 -x701 -x702 -x691 -x694 -x690 -x689 -x693 -x692 -x700 -x697 -x699 x696 x698 -x810 -x869 -x870 -x807 -x809 -x806 -x760 -x805 -x724 -x758 -x759 -x722 -x723 -x757 -x727 -x755 -x756 -x725 -x726 -x754 -x730 -x752 -x753 -x728 -x729 -x751 -x733 -x749 -x750 -x731 -x732 -x748 -x736 -x746 -x747 -x734 -x735 -x745 -x739 -x743 -x744 -x737 -x738 -x742 x740 -x741 -x764 -x803 -x804 -x761 -x763 -x762 -x802 -x768 -x800 -x801 -x765 -x767 -x766 -x799 -x772 -x797 -x798 -x769 -x771 -x770 -x796 -x776 -x794 -x795 -x773 -x775 -x774 -x793 -x780 -x791 -x792 -x777 -x779 -x778 -x790 -x784 -x788 -x789 -x781 -x783 -x782 -x787 -x785 x786 -x808 -x868 -x816 -x866 -x867 -x813 -x815 -x812 -x811 -x814 -x865 -x822 -x863 -x864 -x819 -x821 -x818 -x817 -x820 -x862 -x828 -x860 -x861 -x825 -x827 -x824 -x823 -x826 -x859 -x834 -x857 -x858 -x831 -x833 -x830 -x829 -x832 -x856 -x840 -x854 -x855 -x837 -x839 -x836 -x835 -x838 -x853 -x846 -x851 -x852 -x843 -x845 -x842 -x841 -x844 -x850 x848 -x849 x847 -x874 -x1425 -x1485 -x1421 x1424 -x1306 -x1420 -x1250 -x1304 -x1305 -x1189 -x1249 -x1188 -x1103 -x1187 -x1065 -x1101 -x1102 -x1017 -x1064 -x1016 -x967 -x1015 -x941 -x965 -x966 -x919 -x940 -x918 -x900 -x917 -x892 -x898 -x899 -x883 -x891 -x882 -x878 -x881 -x876 -x877 -x879 -x880 -x890 -x886 -x889 -x884 -x885 x887 -x888 -x897 -x894 x896 -x893 x895 -x910 -x915 -x916 -x907 -x909 -x906 -x903 -x905 -x901 -x902 -x904 -x908 -x914 -x912 x913 -x911 -x939 -x928 -x938 -x922 -x926 -x927 -x920 -x921 -x925 -x923 -x924 -x932 -x936 -x937 -x929 -x931 -x930 -x935 -x933 -x934 -x964 -x946 -x962 -x963 -x943 -x945 -x942 -x944 -x961 -x953 -x959 -x960 -x949 -x952 -x948 -x947 -x951 -x950 -x958 x955 -x957 x954 -x956 -x991 -x1013 -x1014 -x988 -x990 -x987 -x976 -x986 -x970 -x974 -x975 -x968 -x969 -x973 -x971 x972 -x980 -x984 -x985 -x977 -x979 -x978 -x983 -x981 x982 -x989 -x1012 -x996 -x1010 -x1011 -x993 -x995 -x992 -x994 -x1009 -x1002 -x1007 -x1008 -x999 -x1001 -x998 -x997 -x1000 -x1006 -x1004 x1005 x1003 -x1063 -x1038 -x1062 -x1020 -x1036 -x1037 -x1018 -x1019 -x1035 -x1023 -x1033 -x1034 -x1021 -x1022 -x1032 -x1026 -x1030 -x1031 -x1024 -x1025 -x1029 -x1027 -x1028 -x1042 -x1060 -x1061 -x1039 -x1041 -x1040 -x1059 -x1046 -x1057 -x1058 -x1043 -x1045 -x1044 -x1056 -x1050 -x1054 -x1055 -x1047 -x1049 -x1048 -x1053 x1051 -x1052 -x1100 -x1072 -x1098 -x1099 -x1068 -x1071 -x1067 -x1066 -x1070 -x1069 -x1097 -x1079 -x1095 -x1096 -x1075 -x1078 -x1074 -x1073 -x1077 -x1076 -x1094 -x1086 -x1092 -x1093 -x1082 -x1085 -x1081 -x1080 -x1084 -x1083 -x1091 x1088 -x1090 x1087 x1089 -x1153 -x1185 -x1186 -x1150 -x1152 -x1149 -x1124 -x1148 -x1106 -x1122 -x1123 -x1104 -x1105 -x1121 -x1109 -x1119 -x1120 -x1107 -x1108 -x1118 -x1112 -x1116 -x1117 -x1110 -x1111 -x1115 -x1113 -x1114 -x1128 -x1146 -x1147 -x1125 -x1127 -x1126 -x1145 -x1132 -x1143 -x1144 -x1129 -x1131 -x1130 -x1142 -x1136 -x1140 -x1141 -x1133 -x1135 -x1134 -x1139 -x1137 -x1138 -x1151 -x1184 -x1159 -x1182 -x1183 -x1156 -x1158 -x1155 -x1154 -x1157 -x1181 -x1165 -x1179 -x1180 -x1162 -x1164 -x1161 -x1160 -x1163 -x1178 -x1171 -x1176 -x1177 -x1168 -x1170 -x1167 -x1166 -x1169 -x1175 -x1173 x1174 -x1172 -x1248 -x1216 -x1247 -x1192 -x1214 -x1215 -x1190 -x1191 -x1213 -x1195 -x1211 -x1212 -x1193 -x1194 -x1210 -x1198 -x1208 -x1209 -x1196 -x1197 -x1207 -x1201 -x1205 -x1206 -x1199 -x1200 -x1204 -x1202 -x1203 -x1220 -x1245 -x1246 -x1217 -x1219 -x1218 -x1244 -x1224 -x1242 -x1243 -x1221 -x1223 -x1222 -x1241 -x1228 -x1239 -x1240 -x1225 -x1227 -x1226 -x1238 -x1232 -x1236 -x1237 -x1229 -x1231 -x1230 -x1235 -x1233 -x1234 -x1303 -x1255 -x1301 -x1302 -x1252 -x1254 -x1251 -x1253 -x1300 -x1262 -x1298 -x1299 -x1258 -x1261 -x1257 -x1256 -x1260 -x1259 -x1297 -x1269 -x1295 -x1296 -x1265 -x1268 -x1264 -x1263 -x1267 -x1266 -x1294 -x1276 -x1292 -x1293 -x1272 -x1275 -x1271 -x1270 -x1274 -x1273 -x1291 -x1283 -x1289 -x1290 -x1279 -x1282 -x1278 -x1277 -x1281 -x1280 -x1288 x1285 -x1287 x1284 -x1286 -x1369 -x1418 -x1419 -x1366 -x1368 -x1365 -x1333 -x1364 -x1309 -x1331 -x1332 -x1307 -x1308 -x1330 -x1312 -x1328 -x1329 -x1310 -x1311 -x1327 -x1315 -x1325 -x1326 -x1313 -x1314 -x1324 -x1318 -x1322 -x1323 -x1316 -x1317 -x1321 -x1319 -x1320 -x1337 -x1362 -x1363 -x1334 -x1336 -x1335 -x1361 -x1341 -x1359 -x1360 -x1338 -x1340 -x1339 -x1358 -x1345 -x1356 -x1357 -x1342 -x1344 -x1343 -x1355 -x1349 -x1353 -x1354 -x1346 -x1348 -x1347 -x1352 -x1350 -x1351 -x1367 -x1417 -x1374 -x1415 -x1416 -x1371 -x1373 -x1370 -x1372 -x1414 -x1380 -x1412 -x1413 -x1377 -x1379 -x1376 -x1375 -x1378 -x1411 -x1386 -x1409 -x1410 -x1383 -x1385 -x1382 -x1381 -x1384 -x1408 -x1392 -x1406 -x1407 -x1389 -x1391 -x1388 -x1387 -x1390 -x1405 -x1398 -x1403 -x1404 -x1395 -x1397 -x1394 -x1393 -x1396 -x1402 -x1400 x1401 -x1399 -x1423 -x1422 x1426 -x1484 -x1432 -x1483 -x1428 x1431 -x1427 -x1430 -x1429 x1433 -x1482 -x1439 -x1481 -x1435 x1438 -x1434 -x1437 -x1436 x1440 -x1480 -x1446 -x1479 -x1442 x1445 -x1441 -x1444 -x1443 x1447 -x1478 -x1453 -x1477 -x1449 x1452 -x1448 -x1451 -x1450 x1454 -x1476 -x1460 -x1475 -x1456 x1459 -x1455 -x1458 -x1457 x1461 -x1474 -x1467 -x1473 -x1463 x1466 -x1462 -x1465 -x1464 x1468 -x1472 x1469 -x1471 x1470 x1488 x3463 -x3465 x2637 x2641 x3462 -x2636 -x2609 -x2635 -x2433 -x2608 -x2369 -x2431 -x2432 -x2259 -x2368 -x2258 -x2235 -x2257 -x2093 -x2234 -x2045 -x2091 -x2092 -x1953 -x2044 -x1952 -x1934 -x1951 -x1830 -x1933 -x1790 -x1828 -x1829 -x1728 -x1789 -x1727 -x1713 -x1726 -x1643 -x1712 -x1619 -x1641 -x1642 -x1575 -x1618 -x1574 -x1565 -x1573 -x1534 -x1564 -x1518 -x1532 -x1533 -x1505 -x1517 -x1504 -x1500 -x1503 -x1495 -x1499 -x1492 -x1494 -x1491 -x1493 -x1497 -x1498 -x1496 -x1501 -x1502 -x1516 -x1512 -x1515 -x1508 -x1511 -x1506 -x1507 -x1509 -x1510 -x1513 -x1514 -x1531 -x1523 -x1529 -x1530 -x1520 -x1522 -x1519 -x1521 -x1528 -x1525 -x1527 -x1524 -x1526 -x1549 -x1562 -x1563 -x1546 -x1548 -x1545 -x1541 -x1544 -x1537 -x1540 -x1535 -x1536 -x1538 -x1539 x1542 -x1543 -x1547 -x1561 -x1554 -x1559 -x1560 -x1551 -x1553 -x1550 -x1552 -x1558 -x1556 -x1557 x1555 -x1567 -x1572 -x1566 -x1569 -x1571 -x1568 -x1570 -x1617 -x1608 -x1616 -x1590 -x1607 -x1578 -x1588 -x1589 -x1576 -x1577 -x1587 -x1581 -x1585 -x1586 -x1579 -x1580 -x1584 -x1582 -x1583 -x1594 -x1605 -x1606 -x1591 -x1593 -x1592 -x1604 -x1598 -x1602 -x1603 -x1595 -x1597 -x1596 -x1601 -x1599 -x1600 -x1610 -x1615 -x1609 -x1612 -x1614 -x1611 -x1613 -x1640 -x1624 -x1638 -x1639 -x1621 -x1623 -x1620 -x1622 -x1637 -x1629 -x1635 -x1636 -x1626 -x1628 -x1625 -x1627 -x1634 -x1631 -x1633 -x1630 -x1632 -x1689 -x1710 -x1711 -x1686 -x1688 -x1685 -x1676 -x1684 -x1658 -x1675 -x1646 -x1656 -x1657 -x1644 -x1645 -x1655 -x1649 -x1653 -x1654 -x1647 -x1648 -x1652 -x1650 -x1651 -x1662 -x1673 -x1674 -x1659 -x1661 -x1660 -x1672 -x1666 -x1670 -x1671 -x1663 -x1665 -x1664 -x1669 x1667 -x1668 -x1678 -x1683 -x1677 -x1680 x1682 -x1679 x1681 -x1687 -x1709 -x1694 -x1707 -x1708 -x1691 -x1693 -x1690 -x1692 -x1706 -x1699 -x1704 -x1705 -x1696 -x1698 x1695 -x1697 -x1703 -x1701 -x1702 -x1700 -x1714 -x1725 -x1716 -x1724 -x1715 -x1718 -x1723 -x1717 -x1720 -x1722 -x1719 -x1721 -x1788 -x1774 -x1787 -x1749 -x1773 -x1731 -x1747 -x1748 -x1729 -x1730 -x1746 -x1734 -x1744 -x1745 -x1732 -x1733 -x1743 -x1737 -x1741 -x1742 -x1735 -x1736 -x1740 -x1738 -x1739 -x1753 -x1771 -x1772 -x1750 -x1752 -x1751 -x1770 -x1757 -x1768 -x1769 -x1754 -x1756 -x1755 -x1767 x1761 x1765 -x1766 x1758 -x1760 -x1759 -x1764 -x1762 -x1763 -x1775 -x1786 -x1777 -x1785 -x1776 -x1779 -x1784 -x1778 x1781 -x1783 x1780 -x1782 -x1827 -x1795 -x1825 -x1826 -x1792 -x1794 -x1791 -x1793 -x1824 -x1800 -x1822 -x1823 -x1797 -x1799 -x1796 -x1798 -x1821 -x1805 -x1819 -x1820 -x1802 -x1804 -x1801 -x1803 -x1818 -x1810 -x1816 -x1817 -x1807 -x1809 -x1806 x1808 -x1815 -x1812 -x1814 -x1811 -x1813 -x1894 -x1931 -x1932 -x1891 -x1893 -x1890 -x1876 -x1889 -x1851 -x1875 -x1833 -x1849 -x1850 -x1831 -x1832 -x1848 -x1836 -x1846 -x1847 -x1834 -x1835 -x1845 -x1839 -x1843 -x1844 -x1837 -x1838 -x1842 -x1840 -x1841 -x1855 -x1873 -x1874 -x1852 -x1854 -x1853 -x1872 -x1859 -x1870 -x1871 -x1856 -x1858 -x1857 -x1869 -x1863 -x1867 -x1868 -x1860 -x1862 -x1861 -x1866 -x1864 -x1865 -x1877 -x1888 -x1879 -x1887 -x1878 -x1881 -x1886 -x1880 -x1883 -x1885 -x1882 -x1884 -x1892 -x1930 -x1899 -x1928 -x1929 -x1896 -x1898 -x1895 -x1897 -x1927 -x1904 -x1925 -x1926 -x1901 -x1903 -x1900 -x1902 -x1924 -x1909 -x1922 -x1923 -x1906 -x1908 -x1905 -x1907 -x1921 -x1914 -x1919 -x1920 -x1911 -x1913 -x1910 -x1912 -x1918 -x1916 -x1917 -x1915 -x1936 -x1950 -x1935 -x1938 -x1949 -x1937 -x1940 -x1948 -x1939 -x1942 -x1947 -x1941 -x1944 -x1946 -x1943 -x1945 -x2043 -x2025 -x2042 -x1986 -x2024 -x1956 -x1984 -x1985 -x1954 -x1955 -x1983 -x1959 -x1981 -x1982 -x1957 -x1958 -x1980 -x1962 -x1978 -x1979 -x1960 -x1961 -x1977 -x1965 -x1975 -x1976 -x1963 -x1964 -x1974 -x1968 -x1972 -x1973 -x1966 -x1967 -x1971 -x1969 -x1970 -x1990 -x2022 -x2023 -x1987 -x1989 -x1988 -x2021 -x1994 -x2019 -x2020 -x1991 -x1993 -x1992 -x2018 -x1998 -x2016 -x2017 -x1995 -x1997 -x1996 -x2015 -x2002 -x2013 -x2014 -x1999 -x2001 -x2000 -x2012 -x2006 -x2010 -x2011 -x2003 -x2005 -x2004 -x2009 -x2007 -x2008 -x2027 -x2041 -x2026 -x2029 -x2040 -x2028 -x2031 -x2039 -x2030 -x2033 -x2038 -x2032 -x2035 -x2037 -x2034 -x2036 -x2090 -x2050 -x2088 -x2089 -x2047 -x2049 -x2046 -x2048 -x2087 -x2055 -x2085 -x2086 -x2052 -x2054 -x2051 -x2053 -x2084 -x2060 -x2082 -x2083 -x2057 -x2059 -x2056 -x2058 -x2081 -x2065 -x2079 -x2080 -x2062 -x2064 -x2061 -x2063 -x2078 -x2070 -x2076 -x2077 -x2067 -x2069 -x2066 -x2068 -x2075 -x2072 -x2074 -x2071 -x2073 -x2187 -x2232 -x2233 -x2184 -x2186 -x2183 -x2165 -x2182 -x2126 -x2164 -x2096 -x2124 -x2125 -x2094 -x2095 -x2123 -x2099 -x2121 -x2122 -x2097 -x2098 -x2120 -x2102 -x2118 -x2119 -x2100 -x2101 -x2117 -x2105 -x2115 -x2116 -x2103 -x2104 -x2114 -x2108 -x2112 -x2113 -x2106 -x2107 -x2111 -x2109 -x2110 -x2130 -x2162 -x2163 -x2127 -x2129 -x2128 -x2161 -x2134 -x2159 -x2160 -x2131 -x2133 -x2132 -x2158 -x2138 -x2156 -x2157 -x2135 -x2137 -x2136 -x2155 -x2142 -x2153 -x2154 -x2139 -x2141 -x2140 -x2152 -x2146 -x2150 -x2151 -x2143 -x2145 -x2144 -x2149 -x2147 -x2148 -x2167 -x2181 -x2166 -x2169 -x2180 -x2168 -x2171 -x2179 -x2170 -x2173 -x2178 -x2172 -x2175 -x2177 -x2174 -x2176 -x2185 -x2231 -x2192 -x2229 -x2230 -x2189 -x2191 -x2188 -x2190 -x2228 -x2197 -x2226 -x2227 -x2194 -x2196 -x2193 -x2195 -x2225 -x2202 -x2223 -x2224 -x2199 -x2201 -x2198 -x2200 -x2222 -x2207 -x2220 -x2221 -x2204 -x2206 -x2203 -x2205 -x2219 -x2212 -x2217 -x2218 -x2209 -x2211 -x2208 -x2210 -x2216 -x2214 -x2215 -x2213 -x2236 -x2256 -x2238 -x2255 -x2237 -x2240 -x2254 -x2239 -x2242 -x2253 -x2241 -x2244 -x2252 -x2243 -x2246 -x2251 -x2245 -x2248 -x2250 -x2247 -x2249 -x2367 -x2344 -x2366 -x2298 -x2343 -x2262 -x2296 -x2297 -x2260 -x2261 -x2295 -x2265 -x2293 -x2294 -x2263 -x2264 -x2292 -x2268 -x2290 -x2291 -x2266 -x2267 -x2289 -x2271 -x2287 -x2288 -x2269 -x2270 -x2286 -x2274 -x2284 -x2285 -x2272 -x2273 -x2283 -x2277 -x2281 -x2282 -x2275 -x2276 -x2280 -x2278 -x2279 -x2302 -x2341 -x2342 -x2299 -x2301 -x2300 -x2340 -x2306 -x2338 -x2339 -x2303 -x2305 -x2304 -x2337 -x2310 -x2335 -x2336 -x2307 -x2309 -x2308 -x2334 -x2314 -x2332 -x2333 -x2311 -x2313 -x2312 -x2331 -x2318 -x2329 -x2330 -x2315 -x2317 -x2316 -x2328 -x2322 -x2326 -x2327 -x2319 -x2321 -x2320 -x2325 -x2323 -x2324 -x2345 -x2365 -x2347 -x2364 -x2346 -x2349 -x2363 -x2348 -x2351 -x2362 -x2350 -x2353 -x2361 -x2352 -x2355 -x2360 -x2354 -x2357 -x2359 -x2356 -x2358 -x2430 -x2374 -x2428 -x2429 -x2371 -x2373 -x2370 -x2372 -x2427 -x2379 -x2425 -x2426 -x2376 -x2378 -x2375 -x2377 -x2424 -x2384 -x2422 -x2423 -x2381 -x2383 -x2380 -x2382 -x2421 -x2389 -x2419 -x2420 -x2386 -x2388 -x2385 -x2387 -x2418 -x2394 -x2416 -x2417 -x2391 -x2393 -x2390 -x2392 -x2415 -x2399 -x2413 -x2414 -x2396 -x2398 -x2395 -x2397 -x2412 -x2404 -x2410 -x2411 -x2401 -x2403 -x2400 -x2402 -x2409 -x2406 -x2408 -x2405 -x2407 -x2545 -x2606 -x2607 -x2542 -x2544 -x2541 -x2518 -x2540 -x2472 -x2517 -x2436 -x2470 -x2471 -x2434 -x2435 -x2469 -x2439 -x2467 -x2468 -x2437 -x2438 -x2466 -x2442 -x2464 -x2465 -x2440 -x2441 -x2463 -x2445 -x2461 -x2462 -x2443 -x2444 -x2460 -x2448 -x2458 -x2459 -x2446 -x2447 -x2457 -x2451 -x2455 -x2456 -x2449 -x2450 -x2454 -x2452 -x2453 -x2476 -x2515 -x2516 -x2473 -x2475 -x2474 -x2514 -x2480 -x2512 -x2513 -x2477 -x2479 -x2478 -x2511 -x2484 -x2509 -x2510 -x2481 -x2483 -x2482 -x2508 -x2488 -x2506 -x2507 -x2485 -x2487 -x2486 -x2505 -x2492 -x2503 -x2504 -x2489 -x2491 -x2490 -x2502 -x2496 -x2500 -x2501 -x2493 -x2495 -x2494 -x2499 -x2497 -x2498 -x2519 -x2539 -x2521 -x2538 -x2520 -x2523 -x2537 -x2522 -x2525 -x2536 -x2524 -x2527 -x2535 -x2526 -x2529 -x2534 -x2528 -x2531 -x2533 -x2530 -x2532 -x2543 -x2605 -x2550 -x2603 -x2604 -x2547 -x2549 -x2546 -x2548 -x2602 -x2555 -x2600 -x2601 -x2552 -x2554 -x2551 -x2553 -x2599 -x2560 -x2597 -x2598 -x2557 -x2559 -x2556 -x2558 -x2596 -x2565 -x2594 -x2595 -x2562 -x2564 -x2561 -x2563 -x2593 -x2570 -x2591 -x2592 -x2567 -x2569 -x2566 -x2568 -x2590 -x2575 -x2588 -x2589 -x2572 -x2574 -x2571 -x2573 -x2587 -x2580 -x2585 -x2586 -x2577 -x2579 -x2576 -x2578 -x2584 -x2582 -x2583 x2581 -x2611 -x2634 -x2610 -x2613 -x2633 -x2612 -x2615 -x2632 -x2614 -x2617 -x2631 -x2616 -x2619 -x2630 -x2618 -x2621 -x2629 -x2620 -x2623 -x2628 -x2622 -x2625 -x2627 -x2624 -x2626 -x2640 -x2638 -x2639 -x3406 x3461 -x3403 x3405 -x3380 -x3402 -x3238 -x3379 -x3190 -x3236 -x3237 -x3098 -x3189 -x3097 -x3079 -x3096 -x2975 -x3078 -x2935 -x2973 -x2974 -x2873 -x2934 -x2872 -x2858 -x2871 -x2788 -x2857 -x2764 -x2786 -x2787 -x2720 -x2763 -x2719 -x2710 -x2718 -x2680 -x2709 -x2664 -x2678 -x2679 -x2652 -x2663 -x2651 -x2648 -x2650 -x2644 -x2647 -x2642 -x2643 -x2645 -x2646 -x2649 -x2662 -x2659 -x2661 -x2655 -x2658 -x2653 -x2654 x2656 -x2657 x2660 -x2677 -x2669 -x2675 -x2676 -x2666 -x2668 -x2665 -x2667 -x2674 -x2671 x2673 -x2670 x2672 -x2694 -x2707 -x2708 -x2691 -x2693 -x2690 -x2687 -x2689 -x2683 -x2686 -x2681 -x2682 -x2684 -x2685 -x2688 -x2692 -x2706 -x2699 -x2704 -x2705 -x2696 -x2698 -x2695 -x2697 -x2703 -x2701 x2702 -x2700 -x2712 -x2717 -x2711 -x2714 -x2716 -x2713 x2715 -x2762 -x2753 -x2761 -x2735 -x2752 -x2723 -x2733 -x2734 -x2721 -x2722 -x2732 -x2726 -x2730 -x2731 -x2724 -x2725 -x2729 -x2727 -x2728 -x2739 -x2750 -x2751 -x2736 -x2738 -x2737 -x2749 -x2743 -x2747 -x2748 -x2740 -x2742 -x2741 -x2746 -x2744 -x2745 -x2755 -x2760 -x2754 -x2757 -x2759 -x2756 -x2758 -x2785 -x2769 -x2783 -x2784 -x2766 -x2768 -x2765 -x2767 -x2782 -x2774 -x2780 -x2781 -x2771 -x2773 -x2770 -x2772 -x2779 x2776 -x2778 x2775 -x2777 -x2834 -x2855 -x2856 -x2831 -x2833 -x2830 -x2821 -x2829 -x2803 -x2820 -x2791 -x2801 -x2802 -x2789 -x2790 -x2800 -x2794 -x2798 -x2799 -x2792 -x2793 -x2797 -x2795 x2796 -x2807 -x2818 -x2819 -x2804 -x2806 -x2805 -x2817 -x2811 -x2815 -x2816 -x2808 -x2810 -x2809 -x2814 -x2812 x2813 -x2823 -x2828 -x2822 -x2825 x2827 -x2824 x2826 -x2832 -x2854 -x2839 -x2852 -x2853 -x2836 -x2838 -x2835 -x2837 -x2851 -x2844 -x2849 -x2850 -x2841 -x2843 x2840 -x2842 -x2848 -x2846 x2847 -x2845 -x2859 -x2870 -x2861 -x2869 -x2860 -x2863 -x2868 -x2862 -x2865 -x2867 -x2864 x2866 -x2933 -x2919 -x2932 -x2894 -x2918 -x2876 -x2892 -x2893 -x2874 -x2875 -x2891 -x2879 -x2889 -x2890 -x2877 -x2878 -x2888 -x2882 -x2886 -x2887 -x2880 -x2881 -x2885 -x2883 -x2884 -x2898 -x2916 -x2917 -x2895 -x2897 -x2896 -x2915 -x2902 -x2913 -x2914 -x2899 -x2901 -x2900 -x2912 x2906 x2910 -x2911 x2903 -x2905 -x2904 -x2909 -x2907 -x2908 -x2920 -x2931 -x2922 -x2930 -x2921 -x2924 -x2929 -x2923 x2926 -x2928 x2925 -x2927 -x2972 -x2940 -x2970 -x2971 -x2937 -x2939 -x2936 -x2938 -x2969 -x2945 -x2967 -x2968 -x2942 -x2944 -x2941 -x2943 -x2966 -x2950 -x2964 -x2965 -x2947 -x2949 -x2946 -x2948 -x2963 -x2955 -x2961 -x2962 -x2952 -x2954 -x2951 x2953 -x2960 x2957 -x2959 x2956 -x2958 -x3039 -x3076 -x3077 -x3036 -x3038 -x3035 -x3021 -x3034 -x2996 -x3020 -x2978 -x2994 -x2995 -x2976 -x2977 -x2993 -x2981 -x2991 -x2992 -x2979 -x2980 -x2990 -x2984 -x2988 -x2989 -x2982 -x2983 -x2987 -x2985 -x2986 -x3000 -x3018 -x3019 -x2997 -x2999 -x2998 -x3017 -x3004 -x3015 -x3016 -x3001 -x3003 -x3002 -x3014 -x3008 -x3012 -x3013 -x3005 -x3007 -x3006 -x3011 -x3009 -x3010 -x3022 -x3033 -x3024 -x3032 -x3023 -x3026 -x3031 -x3025 -x3028 -x3030 -x3027 -x3029 -x3037 -x3075 -x3044 -x3073 -x3074 -x3041 -x3043 -x3040 -x3042 -x3072 -x3049 -x3070 -x3071 -x3046 -x3048 -x3045 -x3047 -x3069 -x3054 -x3067 -x3068 -x3051 -x3053 -x3050 -x3052 -x3066 -x3059 -x3064 -x3065 -x3056 -x3058 -x3055 -x3057 -x3063 -x3061 x3062 -x3060 -x3081 -x3095 -x3080 -x3083 -x3094 -x3082 -x3085 -x3093 -x3084 -x3087 -x3092 -x3086 -x3089 -x3091 -x3088 x3090 -x3188 -x3170 -x3187 -x3131 -x3169 -x3101 -x3129 -x3130 -x3099 -x3100 -x3128 -x3104 -x3126 -x3127 -x3102 -x3103 -x3125 -x3107 -x3123 -x3124 -x3105 -x3106 -x3122 -x3110 -x3120 -x3121 -x3108 -x3109 -x3119 -x3113 -x3117 -x3118 -x3111 -x3112 -x3116 -x3114 -x3115 -x3135 -x3167 -x3168 -x3132 -x3134 -x3133 -x3166 -x3139 -x3164 -x3165 -x3136 -x3138 -x3137 -x3163 -x3143 -x3161 -x3162 -x3140 -x3142 -x3141 -x3160 -x3147 -x3158 -x3159 -x3144 -x3146 -x3145 -x3157 -x3151 -x3155 -x3156 -x3148 -x3150 -x3149 -x3154 -x3152 -x3153 -x3172 -x3186 -x3171 -x3174 -x3185 -x3173 -x3176 -x3184 -x3175 -x3178 -x3183 -x3177 -x3180 -x3182 -x3179 -x3181 -x3235 -x3195 -x3233 -x3234 -x3192 -x3194 -x3191 -x3193 -x3232 -x3200 -x3230 -x3231 -x3197 -x3199 -x3196 -x3198 -x3229 -x3205 -x3227 -x3228 -x3202 -x3204 -x3201 -x3203 -x3226 -x3210 -x3224 -x3225 -x3207 -x3209 -x3206 -x3208 -x3223 -x3215 -x3221 -x3222 -x3212 -x3214 -x3211 -x3213 -x3220 x3217 -x3219 x3216 -x3218 -x3332 -x3377 -x3378 -x3329 -x3331 -x3328 -x3310 -x3327 -x3271 -x3309 -x3241 -x3269 -x3270 -x3239 -x3240 -x3268 -x3244 -x3266 -x3267 -x3242 -x3243 -x3265 -x3247 -x3263 -x3264 -x3245 -x3246 -x3262 -x3250 -x3260 -x3261 -x3248 -x3249 -x3259 -x3253 -x3257 -x3258 -x3251 -x3252 -x3256 -x3254 -x3255 -x3275 -x3307 -x3308 -x3272 -x3274 -x3273 -x3306 -x3279 -x3304 -x3305 -x3276 -x3278 -x3277 -x3303 -x3283 -x3301 -x3302 -x3280 -x3282 -x3281 -x3300 -x3287 -x3298 -x3299 -x3284 -x3286 -x3285 -x3297 -x3291 -x3295 -x3296 -x3288 -x3290 -x3289 -x3294 -x3292 -x3293 -x3312 -x3326 -x3311 -x3314 -x3325 -x3313 -x3316 -x3324 -x3315 -x3318 -x3323 -x3317 -x3320 -x3322 -x3319 -x3321 -x3330 -x3376 -x3337 -x3374 -x3375 -x3334 -x3336 -x3333 -x3335 -x3373 -x3342 -x3371 -x3372 -x3339 -x3341 -x3338 -x3340 -x3370 -x3347 -x3368 -x3369 -x3344 -x3346 -x3343 -x3345 -x3367 -x3352 -x3365 -x3366 -x3349 -x3351 -x3348 -x3350 -x3364 -x3357 -x3362 -x3363 -x3354 -x3356 -x3353 -x3355 -x3361 -x3359 x3360 -x3358 -x3381 -x3401 -x3383 -x3400 -x3382 -x3385 -x3399 -x3384 -x3387 -x3398 -x3386 -x3389 -x3397 -x3388 -x3391 -x3396 -x3390 -x3393 x3395 -x3392 x3394 -x3404 x3407 x3460 -x3411 x3459 -x3408 x3410 -x3409 x3412 x3458 -x3416 x3457 -x3413 x3415 -x3414 x3417 x3456 -x3421 x3455 -x3418 x3420 -x3419 x3422 x3454 -x3426 x3453 -x3423 x3425 -x3424 x3427 x3452 -x3431 x3451 -x3428 x3430 -x3429 x3432 x3450 -x3436 x3449 -x3433 x3435 -x3434 x3437 x3448 x3441 -x3447 x3438 x3440 -x3439 -x3442 -x3446 -x3443 x3445 -x3444 x3464 -x4933 x4935 x4320 x4322 -x4932 -x4319 -x4168 -x4318 -x4100 -x4166 -x4167 -x4013 -x4099 -x4012 -x3897 -x4011 -x3841 -x3895 -x3896 -x3780 -x3840 -x3779 -x3694 -x3778 -x3656 -x3692 -x3693 -x3608 -x3655 -x3607 -x3558 -x3606 -x3532 -x3556 -x3557 -x3510 -x3531 -x3509 -x3490 -x3508 -x3482 x3488 x3489 -x3473 -x3481 -x3472 -x3469 -x3471 x3467 -x3468 x3470 -x3480 -x3476 -x3479 x3474 -x3475 -x3477 x3478 x3487 x3484 x3486 x3483 x3485 x3501 -x3506 x3507 -x3498 x3500 -x3497 -x3493 -x3496 x3491 -x3492 -x3494 x3495 -x3499 -x3505 -x3503 -x3504 x3502 -x3530 -x3519 -x3529 -x3513 -x3517 -x3518 -x3511 -x3512 -x3516 x3514 -x3515 -x3523 -x3527 -x3528 -x3520 -x3522 -x3521 -x3526 -x3524 x3525 -x3555 -x3537 -x3553 -x3554 -x3534 -x3536 -x3533 -x3535 -x3552 x3544 x3550 -x3551 x3540 -x3543 x3539 x3538 -x3542 -x3541 -x3549 -x3546 -x3548 -x3545 x3547 -x3582 -x3604 -x3605 -x3579 -x3581 -x3578 -x3567 -x3577 -x3561 x3565 x3566 -x3559 -x3560 x3564 x3562 x3563 x3571 -x3575 x3576 -x3568 x3570 -x3569 -x3574 x3572 -x3573 -x3580 -x3603 -x3587 -x3601 -x3602 -x3584 -x3586 -x3583 -x3585 -x3600 x3593 -x3598 x3599 -x3590 x3592 x3589 x3588 x3591 -x3597 -x3595 -x3596 x3594 -x3654 -x3629 -x3653 -x3611 -x3627 -x3628 -x3609 -x3610 -x3626 -x3614 -x3624 -x3625 -x3612 -x3613 -x3623 -x3617 -x3621 -x3622 -x3615 -x3616 -x3620 -x3618 -x3619 -x3633 -x3651 -x3652 -x3630 -x3632 -x3631 -x3650 -x3637 -x3648 -x3649 -x3634 -x3636 -x3635 -x3647 x3641 x3645 -x3646 x3638 -x3640 -x3639 -x3644 x3642 -x3643 -x3691 -x3663 -x3689 -x3690 -x3659 -x3662 -x3658 -x3657 -x3661 -x3660 -x3688 -x3670 -x3686 -x3687 -x3666 -x3669 -x3665 -x3664 -x3668 -x3667 -x3685 x3677 x3683 -x3684 x3673 -x3676 x3672 x3671 x3675 x3674 -x3682 -x3679 -x3681 -x3678 x3680 -x3744 -x3776 -x3777 -x3741 -x3743 -x3740 -x3715 -x3739 -x3697 -x3713 -x3714 -x3695 -x3696 -x3712 -x3700 -x3710 -x3711 -x3698 -x3699 -x3709 -x3703 -x3707 -x3708 -x3701 -x3702 -x3706 -x3704 -x3705 -x3719 -x3737 -x3738 -x3716 -x3718 -x3717 -x3736 -x3723 -x3734 -x3735 -x3720 -x3722 -x3721 -x3733 -x3727 -x3731 -x3732 -x3724 -x3726 -x3725 -x3730 -x3728 -x3729 -x3742 -x3775 -x3750 -x3773 -x3774 -x3747 -x3749 -x3746 -x3745 -x3748 -x3772 -x3756 -x3770 -x3771 -x3753 -x3755 -x3752 -x3751 -x3754 -x3769 x3762 -x3767 x3768 -x3759 x3761 -x3758 -x3757 x3760 -x3766 -x3764 -x3765 -x3763 -x3839 -x3807 -x3838 -x3783 -x3805 -x3806 -x3781 -x3782 -x3804 -x3786 -x3802 -x3803 -x3784 -x3785 -x3801 -x3789 -x3799 -x3800 -x3787 -x3788 -x3798 -x3792 -x3796 -x3797 -x3790 -x3791 -x3795 -x3793 -x3794 -x3811 -x3836 -x3837 -x3808 -x3810 -x3809 -x3835 -x3815 -x3833 -x3834 -x3812 -x3814 -x3813 -x3832 -x3819 -x3830 -x3831 -x3816 -x3818 -x3817 -x3829 -x3823 -x3827 -x3828 -x3820 -x3822 -x3821 -x3826 -x3824 -x3825 -x3894 -x3846 -x3892 -x3893 -x3843 -x3845 -x3842 -x3844 -x3891 -x3853 -x3889 -x3890 -x3849 -x3852 -x3848 -x3847 -x3851 -x3850 -x3888 -x3860 -x3886 -x3887 -x3856 -x3859 -x3855 -x3854 -x3858 -x3857 -x3885 -x3867 -x3883 -x3884 -x3863 -x3866 -x3862 -x3861 -x3865 -x3864 -x3882 x3874 x3880 -x3881 x3870 -x3873 x3869 x3868 -x3872 -x3871 -x3879 -x3876 -x3878 -x3875 -x3877 -x3960 -x4009 -x4010 -x3957 -x3959 -x3956 -x3924 -x3955 -x3900 -x3922 -x3923 -x3898 -x3899 -x3921 -x3903 -x3919 -x3920 -x3901 -x3902 -x3918 -x3906 -x3916 -x3917 -x3904 -x3905 -x3915 -x3909 -x3913 -x3914 -x3907 -x3908 -x3912 -x3910 -x3911 -x3928 -x3953 -x3954 -x3925 -x3927 -x3926 -x3952 -x3932 -x3950 -x3951 -x3929 -x3931 -x3930 -x3949 -x3936 -x3947 -x3948 -x3933 -x3935 -x3934 -x3946 -x3940 -x3944 -x3945 -x3937 -x3939 -x3938 -x3943 -x3941 -x3942 -x3958 -x4008 -x3965 -x4006 -x4007 -x3962 -x3964 -x3961 -x3963 -x4005 -x3971 -x4003 -x4004 -x3968 -x3970 -x3967 -x3966 -x3969 -x4002 -x3977 -x4000 -x4001 -x3974 -x3976 -x3973 -x3972 -x3975 -x3999 -x3983 -x3997 -x3998 -x3980 -x3982 -x3979 -x3978 -x3981 -x3996 x3989 -x3994 x3995 -x3986 x3988 -x3985 -x3984 x3987 -x3993 -x3991 -x3992 -x3990 -x4098 -x4052 -x4097 -x4016 -x4050 -x4051 -x4014 -x4015 -x4049 -x4019 -x4047 -x4048 -x4017 -x4018 -x4046 -x4022 -x4044 -x4045 -x4020 -x4021 -x4043 -x4025 -x4041 -x4042 -x4023 -x4024 -x4040 -x4028 -x4038 -x4039 -x4026 -x4027 -x4037 x4031 x4035 -x4036 x4029 -x4030 -x4034 -x4032 -x4033 -x4056 -x4095 -x4096 -x4053 -x4055 -x4054 -x4094 -x4060 -x4092 -x4093 -x4057 -x4059 -x4058 -x4091 -x4064 -x4089 -x4090 -x4061 -x4063 -x4062 -x4088 -x4068 -x4086 -x4087 -x4065 -x4067 -x4066 -x4085 -x4072 -x4083 -x4084 -x4069 -x4071 -x4070 -x4082 x4076 -x4080 x4081 -x4073 x4075 x4074 -x4079 -x4077 -x4078 -x4165 -x4107 -x4163 -x4164 -x4103 -x4106 -x4102 -x4101 -x4105 -x4104 -x4162 -x4114 -x4160 -x4161 -x4110 -x4113 -x4109 -x4108 -x4112 -x4111 -x4159 -x4121 -x4157 -x4158 -x4117 -x4120 -x4116 -x4115 -x4119 -x4118 -x4156 -x4128 -x4154 -x4155 -x4124 -x4127 -x4123 -x4122 -x4126 -x4125 -x4153 -x4135 -x4151 -x4152 -x4131 -x4134 -x4130 -x4129 -x4133 -x4132 -x4150 x4142 x4148 -x4149 x4138 -x4141 x4137 x4136 x4140 x4139 -x4147 -x4144 -x4146 -x4143 -x4145 -x4257 -x4316 -x4317 -x4254 -x4256 -x4253 -x4207 -x4252 -x4171 -x4205 -x4206 -x4169 -x4170 -x4204 -x4174 -x4202 -x4203 -x4172 -x4173 -x4201 -x4177 -x4199 -x4200 -x4175 -x4176 -x4198 -x4180 -x4196 -x4197 -x4178 -x4179 -x4195 -x4183 -x4193 -x4194 -x4181 -x4182 -x4192 x4186 x4190 -x4191 x4184 -x4185 -x4189 -x4187 -x4188 -x4211 -x4250 -x4251 -x4208 -x4210 -x4209 -x4249 -x4215 -x4247 -x4248 -x4212 -x4214 -x4213 -x4246 -x4219 -x4244 -x4245 -x4216 -x4218 -x4217 -x4243 -x4223 -x4241 -x4242 -x4220 -x4222 -x4221 -x4240 -x4227 -x4238 -x4239 -x4224 -x4226 -x4225 -x4237 x4231 -x4235 x4236 -x4228 x4230 x4229 -x4234 -x4232 -x4233 -x4255 -x4315 -x4263 -x4313 -x4314 -x4260 -x4262 -x4259 -x4258 -x4261 -x4312 -x4269 -x4310 -x4311 -x4266 -x4268 -x4265 -x4264 -x4267 -x4309 -x4275 -x4307 -x4308 -x4272 -x4274 -x4271 -x4270 -x4273 -x4306 -x4281 -x4304 -x4305 -x4278 -x4280 -x4277 -x4276 -x4279 -x4303 -x4287 -x4301 -x4302 -x4284 -x4286 -x4283 -x4282 -x4285 -x4300 x4293 -x4298 x4299 -x4290 x4292 x4289 x4288 x4291 -x4297 -x4295 -x4296 -x4294 -x4321 -x4871 -x4931 -x4867 x4870 -x4752 -x4866 -x4696 -x4750 -x4751 -x4635 -x4695 -x4634 -x4549 -x4633 -x4511 -x4547 -x4548 -x4463 -x4510 -x4462 -x4413 -x4461 -x4387 -x4411 -x4412 -x4365 -x4386 -x4364 -x4345 -x4363 -x4337 x4343 x4344 -x4328 -x4336 -x4327 -x4324 -x4326 -x4323 x4325 -x4335 -x4331 -x4334 -x4329 -x4330 x4332 -x4333 x4342 x4339 x4341 x4338 x4340 x4356 -x4361 x4362 -x4353 x4355 -x4352 -x4348 -x4351 -x4346 -x4347 -x4349 -x4350 -x4354 -x4360 -x4358 -x4359 -x4357 -x4385 -x4374 -x4384 -x4368 -x4372 -x4373 -x4366 -x4367 -x4371 x4369 -x4370 -x4378 -x4382 -x4383 -x4375 -x4377 -x4376 -x4381 -x4379 x4380 -x4410 -x4392 -x4408 -x4409 -x4389 -x4391 -x4388 -x4390 -x4407 x4399 x4405 -x4406 x4395 -x4398 x4394 x4393 -x4397 -x4396 -x4404 -x4401 -x4403 -x4400 x4402 -x4437 -x4459 -x4460 -x4434 -x4436 -x4433 -x4422 -x4432 -x4416 x4420 x4421 -x4414 -x4415 x4419 x4417 x4418 x4426 -x4430 x4431 -x4423 x4425 -x4424 -x4429 -x4427 -x4428 -x4435 -x4458 -x4442 -x4456 -x4457 -x4439 -x4441 -x4438 -x4440 -x4455 x4448 -x4453 x4454 -x4445 x4447 x4444 x4443 x4446 -x4452 -x4450 -x4451 -x4449 -x4509 -x4484 -x4508 -x4466 -x4482 -x4483 -x4464 -x4465 -x4481 -x4469 -x4479 -x4480 -x4467 -x4468 -x4478 -x4472 -x4476 -x4477 -x4470 -x4471 -x4475 -x4473 -x4474 -x4488 -x4506 -x4507 -x4485 -x4487 -x4486 -x4505 -x4492 -x4503 -x4504 -x4489 -x4491 -x4490 -x4502 x4496 x4500 -x4501 x4493 -x4495 -x4494 -x4499 -x4497 -x4498 -x4546 -x4518 -x4544 -x4545 -x4514 -x4517 -x4513 -x4512 -x4516 -x4515 -x4543 -x4525 -x4541 -x4542 -x4521 -x4524 -x4520 -x4519 -x4523 -x4522 -x4540 x4532 x4538 -x4539 x4528 -x4531 x4527 x4526 x4530 x4529 -x4537 -x4534 -x4536 -x4533 -x4535 -x4599 -x4631 -x4632 -x4596 -x4598 -x4595 -x4570 -x4594 -x4552 -x4568 -x4569 -x4550 -x4551 -x4567 -x4555 -x4565 -x4566 -x4553 -x4554 -x4564 -x4558 -x4562 -x4563 -x4556 -x4557 -x4561 -x4559 -x4560 -x4574 -x4592 -x4593 -x4571 -x4573 -x4572 -x4591 -x4578 -x4589 -x4590 -x4575 -x4577 -x4576 -x4588 -x4582 -x4586 -x4587 -x4579 -x4581 -x4580 -x4585 -x4583 -x4584 -x4597 -x4630 -x4605 -x4628 -x4629 -x4602 -x4604 -x4601 -x4600 -x4603 -x4627 -x4611 -x4625 -x4626 -x4608 -x4610 -x4607 -x4606 -x4609 -x4624 x4617 -x4622 x4623 -x4614 x4616 -x4613 -x4612 x4615 -x4621 -x4619 -x4620 -x4618 -x4694 -x4662 -x4693 -x4638 -x4660 -x4661 -x4636 -x4637 -x4659 -x4641 -x4657 -x4658 -x4639 -x4640 -x4656 -x4644 -x4654 -x4655 -x4642 -x4643 -x4653 -x4647 -x4651 -x4652 -x4645 -x4646 -x4650 -x4648 -x4649 -x4666 -x4691 -x4692 -x4663 -x4665 -x4664 -x4690 -x4670 -x4688 -x4689 -x4667 -x4669 -x4668 -x4687 -x4674 -x4685 -x4686 -x4671 -x4673 -x4672 -x4684 -x4678 -x4682 -x4683 -x4675 -x4677 -x4676 -x4681 -x4679 -x4680 -x4749 -x4701 -x4747 -x4748 -x4698 -x4700 -x4697 -x4699 -x4746 -x4708 -x4744 -x4745 -x4704 -x4707 -x4703 -x4702 -x4706 -x4705 -x4743 -x4715 -x4741 -x4742 -x4711 -x4714 -x4710 -x4709 -x4713 -x4712 -x4740 -x4722 -x4738 -x4739 -x4718 -x4721 -x4717 -x4716 -x4720 -x4719 -x4737 x4729 x4735 -x4736 x4725 -x4728 x4724 x4723 -x4727 -x4726 -x4734 -x4731 -x4733 -x4730 -x4732 -x4815 -x4864 -x4865 -x4812 -x4814 -x4811 -x4779 -x4810 -x4755 -x4777 -x4778 -x4753 -x4754 -x4776 -x4758 -x4774 -x4775 -x4756 -x4757 -x4773 -x4761 -x4771 -x4772 -x4759 -x4760 -x4770 -x4764 -x4768 -x4769 -x4762 -x4763 -x4767 -x4765 -x4766 -x4783 -x4808 -x4809 -x4780 -x4782 -x4781 -x4807 -x4787 -x4805 -x4806 -x4784 -x4786 -x4785 -x4804 -x4791 -x4802 -x4803 -x4788 -x4790 -x4789 -x4801 -x4795 -x4799 -x4800 -x4792 -x4794 -x4793 -x4798 -x4796 -x4797 -x4813 -x4863 -x4820 -x4861 -x4862 -x4817 -x4819 -x4816 -x4818 -x4860 -x4826 -x4858 -x4859 -x4823 -x4825 -x4822 -x4821 -x4824 -x4857 -x4832 -x4855 -x4856 -x4829 -x4831 -x4828 -x4827 -x4830 -x4854 -x4838 -x4852 -x4853 -x4835 -x4837 -x4834 -x4833 -x4836 -x4851 x4844 -x4849 x4850 -x4841 x4843 -x4840 -x4839 x4842 -x4848 -x4846 -x4847 -x4845 -x4869 -x4868 x4872 -x4930 -x4878 -x4929 -x4874 x4877 -x4873 -x4876 -x4875 x4879 -x4928 -x4885 -x4927 -x4881 x4884 -x4880 -x4883 -x4882 x4886 -x4926 -x4892 -x4925 -x4888 x4891 -x4887 -x4890 -x4889 x4893 -x4924 -x4899 -x4923 -x4895 x4898 -x4894 -x4897 -x4896 x4900 -x4922 -x4906 -x4921 -x4902 x4905 -x4901 -x4904 -x4903 x4907 -x4920 -x4913 -x4919 x4909 -x4912 x4908 x4911 x4910 x4914 -x4918 -x4915 x4917 -x4916 x4934 x5188 -x5190 x5035 x5037 x5187 -x5034 -x4981 -x5033 -x4939 -x4979 -x4980 -x4937 -x4938 -x4978 -x4942 -x4976 -x4977 -x4940 -x4941 -x4975 -x4945 -x4973 -x4974 -x4943 -x4944 -x4972 -x4948 -x4970 -x4971 -x4946 -x4947 -x4969 -x4951 -x4967 -x4968 -x4949 -x4950 -x4966 -x4954 -x4964 -x4965 -x4952 -x4953 -x4963 -x4957 -x4961 -x4962 -x4955 -x4956 -x4960 -x4958 -x4959 -x4985 -x5031 -x5032 -x4982 -x4984 -x4983 -x5030 -x4989 -x5028 -x5029 -x4986 -x4988 -x4987 -x5027 -x4993 -x5025 -x5026 -x4990 -x4992 -x4991 -x5024 -x4997 -x5022 -x5023 -x4994 -x4996 -x4995 -x5021 -x5001 -x5019 -x5020 -x4998 -x5000 -x4999 -x5018 -x5005 -x5016 -x5017 -x5002 -x5004 -x5003 -x5015 -x5009 -x5013 -x5014 -x5006 -x5008 -x5007 -x5012 -x5010 -x5011 -x5036 -x5126 x5186 -x5122 x5125 -x5076 -x5121 -x5040 -x5074 -x5075 -x5038 -x5039 -x5073 -x5043 -x5071 -x5072 -x5041 -x5042 -x5070 -x5046 -x5068 -x5069 -x5044 -x5045 -x5067 -x5049 -x5065 -x5066 -x5047 -x5048 -x5064 -x5052 -x5062 -x5063 -x5050 -x5051 -x5061 x5055 x5059 -x5060 x5053 -x5054 -x5058 -x5056 -x5057 -x5080 -x5119 -x5120 -x5077 -x5079 -x5078 -x5118 -x5084 -x5116 -x5117 -x5081 -x5083 -x5082 -x5115 -x5088 -x5113 -x5114 -x5085 -x5087 -x5086 -x5112 -x5092 -x5110 -x5111 -x5089 -x5091 -x5090 -x5109 -x5096 -x5107 -x5108 -x5093 -x5095 -x5094 -x5106 x5100 -x5104 x5105 -x5097 x5099 x5098 -x5103 -x5101 -x5102 -x5124 -x5123 x5127 x5185 -x5133 x5184 -x5129 x5132 -x5128 -x5131 -x5130 x5134 x5183 -x5140 x5182 -x5136 x5139 -x5135 -x5138 -x5137 x5141 x5181 -x5147 x5180 -x5143 x5146 -x5142 -x5145 -x5144 x5148 x5179 -x5154 x5178 -x5150 x5153 -x5149 -x5152 -x5151 x5155 x5177 -x5161 x5176 -x5157 x5160 -x5156 -x5159 -x5158 x5162 x5175 x5168 -x5174 x5164 x5167 x5163 -x5166 -x5165 -x5169 -x5173 -x5170 x5172 -x5171 x5189 -x5443 x5445 x5290 x5292 -x5442 -x5289 -x5236 -x5288 -x5194 -x5234 -x5235 -x5192 -x5193 -x5233 -x5197 -x5231 -x5232 -x5195 -x5196 -x5230 -x5200 -x5228 -x5229 -x5198 -x5199 -x5227 -x5203 -x5225 -x5226 -x5201 -x5202 -x5224 -x5206 -x5222 -x5223 -x5204 -x5205 -x5221 -x5209 -x5219 -x5220 -x5207 -x5208 -x5218 -x5212 -x5216 -x5217 -x5210 -x5211 -x5215 x5213 -x5214 -x5240 -x5286 -x5287 -x5237 -x5239 -x5238 -x5285 -x5244 -x5283 -x5284 -x5241 -x5243 -x5242 -x5282 -x5248 -x5280 -x5281 -x5245 -x5247 -x5246 -x5279 -x5252 -x5277 -x5278 -x5249 -x5251 -x5250 -x5276 -x5256 -x5274 -x5275 -x5253 -x5255 -x5254 -x5273 -x5260 -x5271 -x5272 -x5257 -x5259 -x5258 -x5270 -x5264 -x5268 -x5269 -x5261 -x5263 -x5262 -x5267 -x5265 x5266 -x5291 -x5381 -x5441 -x5377 x5380 -x5331 -x5376 -x5295 -x5329 -x5330 -x5293 -x5294 -x5328 -x5298 -x5326 -x5327 -x5296 -x5297 -x5325 -x5301 -x5323 -x5324 -x5299 -x5300 -x5322 -x5304 -x5320 -x5321 -x5302 -x5303 -x5319 -x5307 -x5317 -x5318 -x5305 -x5306 -x5316 -x5310 -x5314 -x5315 -x5308 -x5309 -x5313 x5311 -x5312 -x5335 -x5374 -x5375 -x5332 -x5334 -x5333 -x5373 -x5339 -x5371 -x5372 -x5336 -x5338 -x5337 -x5370 -x5343 -x5368 -x5369 -x5340 -x5342 -x5341 -x5367 -x5347 -x5365 -x5366 -x5344 -x5346 -x5345 -x5364 -x5351 -x5362 -x5363 -x5348 -x5350 -x5349 -x5361 -x5355 -x5359 -x5360 -x5352 -x5354 -x5353 -x5358 -x5356 x5357 -x5379 -x5378 x5382 -x5440 -x5388 -x5439 -x5384 x5387 -x5383 -x5386 -x5385 x5389 -x5438 -x5395 -x5437 -x5391 x5394 -x5390 -x5393 -x5392 x5396 -x5436 -x5402 -x5435 -x5398 x5401 -x5397 -x5400 -x5399 x5403 -x5434 -x5409 -x5433 -x5405 x5408 -x5404 -x5407 -x5406 x5410 -x5432 -x5416 -x5431 -x5412 x5415 -x5411 -x5414 -x5413 x5417 -x5430 -x5423 -x5429 -x5419 x5422 -x5418 -x5421 -x5420 x5424 -x5428 x5425 -x5427 x5426 x5444 x5698 -x5700 x5545 x5547 x5697 -x5544 -x5491 -x5543 -x5449 -x5489 -x5490 -x5447 -x5448 -x5488 -x5452 -x5486 -x5487 -x5450 -x5451 -x5485 -x5455 -x5483 -x5484 -x5453 -x5454 -x5482 -x5458 -x5480 -x5481 -x5456 -x5457 -x5479 -x5461 -x5477 -x5478 -x5459 -x5460 -x5476 -x5464 -x5474 -x5475 -x5462 -x5463 -x5473 -x5467 -x5471 -x5472 -x5465 -x5466 -x5470 -x5468 -x5469 -x5495 -x5541 -x5542 -x5492 -x5494 -x5493 -x5540 -x5499 -x5538 -x5539 -x5496 -x5498 -x5497 -x5537 -x5503 -x5535 -x5536 -x5500 -x5502 -x5501 -x5534 -x5507 -x5532 -x5533 -x5504 -x5506 -x5505 -x5531 -x5511 -x5529 -x5530 -x5508 -x5510 -x5509 -x5528 -x5515 -x5526 -x5527 -x5512 -x5514 -x5513 -x5525 -x5519 -x5523 -x5524 -x5516 -x5518 -x5517 -x5522 -x5520 -x5521 -x5546 -x5636 x5696 -x5632 x5635 -x5586 -x5631 -x5550 -x5584 -x5585 -x5548 -x5549 -x5583 -x5553 -x5581 -x5582 -x5551 -x5552 -x5580 -x5556 -x5578 -x5579 -x5554 -x5555 -x5577 -x5559 -x5575 -x5576 -x5557 -x5558 -x5574 -x5562 -x5572 -x5573 -x5560 -x5561 -x5571 -x5565 -x5569 -x5570 -x5563 -x5564 -x5568 x5566 -x5567 -x5590 -x5629 -x5630 -x5587 -x5589 -x5588 -x5628 -x5594 -x5626 -x5627 -x5591 -x5593 -x5592 -x5625 -x5598 -x5623 -x5624 -x5595 -x5597 -x5596 -x5622 -x5602 -x5620 -x5621 -x5599 -x5601 -x5600 -x5619 -x5606 -x5617 -x5618 -x5603 -x5605 -x5604 -x5616 -x5610 -x5614 -x5615 -x5607 -x5609 -x5608 -x5613 -x5611 x5612 -x5634 -x5633 x5637 x5695 -x5643 x5694 -x5639 x5642 -x5638 -x5641 -x5640 x5644 x5693 -x5650 x5692 -x5646 x5649 -x5645 -x5648 -x5647 x5651 x5691 -x5657 x5690 -x5653 x5656 -x5652 -x5655 -x5654 x5658 x5689 -x5664 x5688 -x5660 x5663 -x5659 -x5662 -x5661 x5665 x5687 -x5671 x5686 -x5667 x5670 -x5666 -x5669 -x5668 x5672 x5685 -x5678 x5684 -x5674 x5677 -x5673 -x5676 -x5675 x5679 x5683 x5680 x5682 -x5681 -x5699 -x5953 x5955 x5800 x5802 -x5952 -x5799 -x5746 -x5798 -x5704 -x5744 -x5745 -x5702 -x5703 -x5743 -x5707 -x5741 -x5742 -x5705 -x5706 -x5740 -x5710 -x5738 -x5739 -x5708 -x5709 -x5737 -x5713 -x5735 -x5736 -x5711 -x5712 -x5734 -x5716 -x5732 -x5733 -x5714 -x5715 -x5731 -x5719 -x5729 -x5730 -x5717 -x5718 -x5728 -x5722 -x5726 -x5727 -x5720 -x5721 -x5725 -x5723 -x5724 -x5750 -x5796 -x5797 -x5747 -x5749 -x5748 -x5795 -x5754 -x5793 -x5794 -x5751 -x5753 -x5752 -x5792 -x5758 -x5790 -x5791 -x5755 -x5757 -x5756 -x5789 -x5762 -x5787 -x5788 -x5759 -x5761 -x5760 -x5786 -x5766 -x5784 -x5785 -x5763 -x5765 -x5764 -x5783 -x5770 -x5781 -x5782 -x5767 -x5769 -x5768 -x5780 x5774 x5778 -x5779 x5771 -x5773 -x5772 -x5777 -x5775 -x5776 -x5801 -x5891 -x5951 -x5887 x5890 -x5841 -x5886 -x5805 -x5839 -x5840 -x5803 -x5804 -x5838 -x5808 -x5836 -x5837 -x5806 -x5807 -x5835 -x5811 -x5833 -x5834 -x5809 -x5810 -x5832 -x5814 -x5830 -x5831 -x5812 -x5813 -x5829 -x5817 -x5827 -x5828 -x5815 -x5816 -x5826 x5820 x5824 -x5825 x5818 -x5819 -x5823 -x5821 -x5822 -x5845 -x5884 -x5885 -x5842 -x5844 -x5843 -x5883 -x5849 -x5881 -x5882 -x5846 -x5848 -x5847 -x5880 -x5853 -x5878 -x5879 -x5850 -x5852 -x5851 -x5877 -x5857 -x5875 -x5876 -x5854 -x5856 -x5855 -x5874 -x5861 -x5872 -x5873 -x5858 -x5860 -x5859 -x5871 x5865 -x5869 x5870 -x5862 x5864 x5863 -x5868 -x5866 -x5867 -x5889 -x5888 x5892 -x5950 -x5898 -x5949 -x5894 x5897 -x5893 -x5896 -x5895 x5899 -x5948 -x5905 -x5947 -x5901 x5904 -x5900 -x5903 -x5902 x5906 -x5946 -x5912 -x5945 -x5908 x5911 -x5907 -x5910 -x5909 x5913 -x5944 -x5919 -x5943 -x5915 x5918 -x5914 -x5917 -x5916 x5920 -x5942 -x5926 -x5941 -x5922 x5925 -x5921 -x5924 -x5923 x5927 -x5940 -x5933 -x5939 x5929 -x5932 x5928 x5931 x5930 x5934 -x5938 -x5935 x5937 -x5936 x5954 x7421 -x7423 x6809 x6811 x7420 -x6808 -x6657 -x6807 -x6589 -x6655 -x6656 -x6502 -x6588 -x6501 -x6386 -x6500 -x6330 -x6384 -x6385 -x6269 -x6329 -x6268 -x6183 -x6267 -x6145 -x6181 -x6182 -x6097 -x6144 -x6096 -x6047 -x6095 -x6021 -x6045 -x6046 -x5999 -x6020 -x5998 -x5979 -x5997 -x5971 -x5977 -x5978 -x5964 -x5970 -x5963 -x5959 -x5962 -x5957 -x5958 -x5960 -x5961 -x5969 -x5966 -x5968 -x5965 -x5967 -x5976 -x5973 -x5975 -x5972 -x5974 -x5990 -x5995 -x5996 -x5987 -x5989 -x5986 -x5982 -x5985 -x5980 -x5981 -x5983 -x5984 -x5988 -x5994 -x5992 -x5993 -x5991 -x6019 -x6008 -x6018 -x6002 -x6006 -x6007 -x6000 -x6001 -x6005 -x6003 -x6004 -x6012 -x6016 -x6017 -x6009 -x6011 -x6010 -x6015 -x6013 -x6014 -x6044 -x6026 -x6042 -x6043 -x6023 -x6025 -x6022 -x6024 -x6041 -x6033 -x6039 -x6040 -x6029 -x6032 -x6028 -x6027 -x6031 -x6030 -x6038 -x6035 -x6037 -x6034 -x6036 -x6071 -x6093 -x6094 -x6068 -x6070 -x6067 -x6056 -x6066 -x6050 -x6054 -x6055 -x6048 -x6049 -x6053 -x6051 -x6052 -x6060 -x6064 -x6065 -x6057 -x6059 -x6058 -x6063 -x6061 -x6062 -x6069 -x6092 -x6076 -x6090 -x6091 -x6073 -x6075 -x6072 -x6074 -x6089 -x6082 -x6087 -x6088 -x6079 -x6081 -x6078 -x6077 -x6080 -x6086 -x6084 -x6085 -x6083 -x6143 -x6118 -x6142 -x6100 -x6116 -x6117 -x6098 -x6099 -x6115 -x6103 -x6113 -x6114 -x6101 -x6102 -x6112 -x6106 -x6110 -x6111 -x6104 -x6105 -x6109 -x6107 -x6108 -x6122 -x6140 -x6141 -x6119 -x6121 -x6120 -x6139 -x6126 -x6137 -x6138 -x6123 -x6125 -x6124 -x6136 -x6130 -x6134 -x6135 -x6127 -x6129 -x6128 -x6133 -x6131 -x6132 -x6180 -x6152 -x6178 -x6179 -x6148 -x6151 -x6147 -x6146 -x6150 -x6149 -x6177 -x6159 -x6175 -x6176 -x6155 -x6158 -x6154 -x6153 -x6157 -x6156 -x6174 -x6166 -x6172 -x6173 -x6162 -x6165 -x6161 -x6160 -x6164 -x6163 -x6171 -x6168 -x6170 -x6167 -x6169 -x6233 -x6265 -x6266 -x6230 -x6232 -x6229 -x6204 -x6228 -x6186 -x6202 -x6203 -x6184 -x6185 -x6201 -x6189 -x6199 -x6200 -x6187 -x6188 -x6198 -x6192 -x6196 -x6197 -x6190 -x6191 -x6195 -x6193 -x6194 -x6208 -x6226 -x6227 -x6205 -x6207 -x6206 -x6225 -x6212 -x6223 -x6224 -x6209 -x6211 -x6210 -x6222 -x6216 -x6220 -x6221 -x6213 -x6215 -x6214 -x6219 -x6217 -x6218 -x6231 -x6264 -x6239 -x6262 -x6263 -x6236 -x6238 -x6235 -x6234 -x6237 -x6261 -x6245 -x6259 -x6260 -x6242 -x6244 -x6241 -x6240 -x6243 -x6258 -x6251 -x6256 -x6257 -x6248 -x6250 -x6247 -x6246 -x6249 -x6255 -x6253 -x6254 -x6252 -x6328 -x6296 -x6327 -x6272 -x6294 -x6295 -x6270 -x6271 -x6293 -x6275 -x6291 -x6292 -x6273 -x6274 -x6290 -x6278 -x6288 -x6289 -x6276 -x6277 -x6287 -x6281 -x6285 -x6286 -x6279 -x6280 -x6284 -x6282 -x6283 -x6300 -x6325 -x6326 -x6297 -x6299 -x6298 -x6324 -x6304 -x6322 -x6323 -x6301 -x6303 -x6302 -x6321 -x6308 -x6319 -x6320 -x6305 -x6307 -x6306 -x6318 -x6312 -x6316 -x6317 -x6309 -x6311 -x6310 -x6315 -x6313 -x6314 -x6383 -x6335 -x6381 -x6382 -x6332 -x6334 -x6331 -x6333 -x6380 -x6342 -x6378 -x6379 -x6338 -x6341 -x6337 -x6336 -x6340 -x6339 -x6377 -x6349 -x6375 -x6376 -x6345 -x6348 -x6344 -x6343 -x6347 -x6346 -x6374 -x6356 -x6372 -x6373 -x6352 -x6355 -x6351 -x6350 -x6354 -x6353 -x6371 -x6363 -x6369 -x6370 -x6359 -x6362 -x6358 -x6357 -x6361 -x6360 -x6368 -x6365 -x6367 -x6364 -x6366 -x6449 -x6498 -x6499 -x6446 -x6448 -x6445 -x6413 -x6444 -x6389 -x6411 -x6412 -x6387 -x6388 -x6410 -x6392 -x6408 -x6409 -x6390 -x6391 -x6407 -x6395 -x6405 -x6406 -x6393 -x6394 -x6404 -x6398 -x6402 -x6403 -x6396 -x6397 -x6401 -x6399 -x6400 -x6417 -x6442 -x6443 -x6414 -x6416 -x6415 -x6441 -x6421 -x6439 -x6440 -x6418 -x6420 -x6419 -x6438 -x6425 -x6436 -x6437 -x6422 -x6424 -x6423 -x6435 -x6429 -x6433 -x6434 -x6426 -x6428 -x6427 -x6432 -x6430 -x6431 -x6447 -x6497 -x6454 -x6495 -x6496 -x6451 -x6453 -x6450 -x6452 -x6494 -x6460 -x6492 -x6493 -x6457 -x6459 -x6456 -x6455 -x6458 -x6491 -x6466 -x6489 -x6490 -x6463 -x6465 -x6462 -x6461 -x6464 -x6488 -x6472 -x6486 -x6487 -x6469 -x6471 -x6468 -x6467 -x6470 -x6485 -x6478 -x6483 -x6484 -x6475 -x6477 -x6474 -x6473 -x6476 -x6482 -x6480 -x6481 -x6479 -x6587 -x6541 -x6586 -x6505 -x6539 -x6540 -x6503 -x6504 -x6538 -x6508 -x6536 -x6537 -x6506 -x6507 -x6535 -x6511 -x6533 -x6534 -x6509 -x6510 -x6532 -x6514 -x6530 -x6531 -x6512 -x6513 -x6529 -x6517 -x6527 -x6528 -x6515 -x6516 -x6526 -x6520 -x6524 -x6525 -x6518 -x6519 -x6523 -x6521 -x6522 -x6545 -x6584 -x6585 -x6542 -x6544 -x6543 -x6583 -x6549 -x6581 -x6582 -x6546 -x6548 -x6547 -x6580 -x6553 -x6578 -x6579 -x6550 -x6552 -x6551 -x6577 -x6557 -x6575 -x6576 -x6554 -x6556 -x6555 -x6574 -x6561 -x6572 -x6573 -x6558 -x6560 -x6559 -x6571 -x6565 -x6569 -x6570 -x6562 -x6564 -x6563 -x6568 -x6566 -x6567 -x6654 -x6596 -x6652 -x6653 -x6592 -x6595 -x6591 -x6590 -x6594 -x6593 -x6651 -x6603 -x6649 -x6650 -x6599 -x6602 -x6598 -x6597 -x6601 -x6600 -x6648 -x6610 -x6646 -x6647 -x6606 -x6609 -x6605 -x6604 -x6608 -x6607 -x6645 -x6617 -x6643 -x6644 -x6613 -x6616 -x6612 -x6611 -x6615 -x6614 -x6642 -x6624 -x6640 -x6641 -x6620 -x6623 -x6619 -x6618 -x6622 -x6621 -x6639 -x6631 -x6637 -x6638 -x6627 -x6630 -x6626 -x6625 -x6629 -x6628 -x6636 -x6633 -x6635 -x6632 -x6634 -x6746 -x6805 -x6806 -x6743 -x6745 -x6742 -x6696 -x6741 -x6660 -x6694 -x6695 -x6658 -x6659 -x6693 -x6663 -x6691 -x6692 -x6661 -x6662 -x6690 -x6666 -x6688 -x6689 -x6664 -x6665 -x6687 -x6669 -x6685 -x6686 -x6667 -x6668 -x6684 -x6672 -x6682 -x6683 -x6670 -x6671 -x6681 -x6675 -x6679 -x6680 -x6673 -x6674 -x6678 -x6676 -x6677 -x6700 -x6739 -x6740 -x6697 -x6699 -x6698 -x6738 -x6704 -x6736 -x6737 -x6701 -x6703 -x6702 -x6735 -x6708 -x6733 -x6734 -x6705 -x6707 -x6706 -x6732 -x6712 -x6730 -x6731 -x6709 -x6711 -x6710 -x6729 -x6716 -x6727 -x6728 -x6713 -x6715 -x6714 -x6726 -x6720 -x6724 -x6725 -x6717 -x6719 -x6718 -x6723 -x6721 -x6722 -x6744 -x6804 -x6752 -x6802 -x6803 -x6749 -x6751 -x6748 -x6747 -x6750 -x6801 -x6758 -x6799 -x6800 -x6755 -x6757 -x6754 -x6753 -x6756 -x6798 -x6764 -x6796 -x6797 -x6761 -x6763 -x6760 -x6759 -x6762 -x6795 -x6770 -x6793 -x6794 -x6767 -x6769 -x6766 -x6765 -x6768 -x6792 -x6776 -x6790 -x6791 -x6773 -x6775 -x6772 -x6771 -x6774 -x6789 -x6782 -x6787 -x6788 -x6779 -x6781 -x6778 -x6777 -x6780 -x6786 -x6784 -x6785 -x6783 -x6810 -x7359 x7419 -x7355 x7358 -x7240 -x7354 -x7184 -x7238 -x7239 -x7123 -x7183 -x7122 -x7037 -x7121 -x6999 -x7035 -x7036 -x6951 -x6998 -x6950 -x6901 -x6949 -x6875 -x6899 -x6900 -x6853 -x6874 -x6852 -x6833 -x6851 -x6825 x6831 x6832 -x6819 -x6824 -x6818 -x6814 -x6817 x6812 -x6813 -x6815 x6816 -x6823 -x6820 -x6822 -x6821 x6830 x6827 x6829 x6826 x6828 x6844 -x6849 x6850 -x6841 x6843 -x6840 -x6836 -x6839 -x6834 -x6835 -x6837 -x6838 -x6842 -x6848 -x6846 -x6847 -x6845 -x6873 -x6862 -x6872 -x6856 -x6860 -x6861 -x6854 -x6855 -x6859 x6857 -x6858 -x6866 -x6870 -x6871 -x6863 -x6865 -x6864 -x6869 -x6867 x6868 -x6898 -x6880 -x6896 -x6897 -x6877 -x6879 -x6876 -x6878 -x6895 x6887 x6893 -x6894 x6883 -x6886 x6882 x6881 -x6885 -x6884 -x6892 -x6889 -x6891 -x6888 x6890 -x6925 -x6947 -x6948 -x6922 -x6924 -x6921 -x6910 -x6920 -x6904 x6908 x6909 -x6902 -x6903 x6907 x6905 x6906 x6914 -x6918 x6919 -x6911 x6913 -x6912 -x6917 -x6915 -x6916 -x6923 -x6946 -x6930 -x6944 -x6945 -x6927 -x6929 -x6926 -x6928 -x6943 x6936 -x6941 x6942 -x6933 x6935 x6932 x6931 x6934 -x6940 -x6938 -x6939 -x6937 -x6997 -x6972 -x6996 -x6954 -x6970 -x6971 -x6952 -x6953 -x6969 -x6957 -x6967 -x6968 -x6955 -x6956 -x6966 -x6960 -x6964 -x6965 -x6958 -x6959 -x6963 -x6961 -x6962 -x6976 -x6994 -x6995 -x6973 -x6975 -x6974 -x6993 -x6980 -x6991 -x6992 -x6977 -x6979 -x6978 -x6990 x6984 x6988 -x6989 x6981 -x6983 -x6982 -x6987 -x6985 -x6986 -x7034 -x7006 -x7032 -x7033 -x7002 -x7005 -x7001 -x7000 -x7004 -x7003 -x7031 -x7013 -x7029 -x7030 -x7009 -x7012 -x7008 -x7007 -x7011 -x7010 -x7028 x7020 x7026 -x7027 x7016 -x7019 x7015 x7014 x7018 x7017 -x7025 -x7022 -x7024 -x7021 -x7023 -x7087 -x7119 -x7120 -x7084 -x7086 -x7083 -x7058 -x7082 -x7040 -x7056 -x7057 -x7038 -x7039 -x7055 -x7043 -x7053 -x7054 -x7041 -x7042 -x7052 -x7046 -x7050 -x7051 -x7044 -x7045 -x7049 -x7047 -x7048 -x7062 -x7080 -x7081 -x7059 -x7061 -x7060 -x7079 -x7066 -x7077 -x7078 -x7063 -x7065 -x7064 -x7076 -x7070 -x7074 -x7075 -x7067 -x7069 -x7068 -x7073 -x7071 -x7072 -x7085 -x7118 -x7093 -x7116 -x7117 -x7090 -x7092 -x7089 -x7088 -x7091 -x7115 -x7099 -x7113 -x7114 -x7096 -x7098 -x7095 -x7094 -x7097 -x7112 x7105 -x7110 x7111 -x7102 x7104 -x7101 -x7100 x7103 -x7109 -x7107 -x7108 -x7106 -x7182 -x7150 -x7181 -x7126 -x7148 -x7149 -x7124 -x7125 -x7147 -x7129 -x7145 -x7146 -x7127 -x7128 -x7144 -x7132 -x7142 -x7143 -x7130 -x7131 -x7141 -x7135 -x7139 -x7140 -x7133 -x7134 -x7138 -x7136 -x7137 -x7154 -x7179 -x7180 -x7151 -x7153 -x7152 -x7178 -x7158 -x7176 -x7177 -x7155 -x7157 -x7156 -x7175 -x7162 -x7173 -x7174 -x7159 -x7161 -x7160 -x7172 -x7166 -x7170 -x7171 -x7163 -x7165 -x7164 -x7169 -x7167 -x7168 -x7237 -x7189 -x7235 -x7236 -x7186 -x7188 -x7185 -x7187 -x7234 -x7196 -x7232 -x7233 -x7192 -x7195 -x7191 -x7190 -x7194 -x7193 -x7231 -x7203 -x7229 -x7230 -x7199 -x7202 -x7198 -x7197 -x7201 -x7200 -x7228 -x7210 -x7226 -x7227 -x7206 -x7209 -x7205 -x7204 -x7208 -x7207 -x7225 x7217 x7223 -x7224 x7213 -x7216 x7212 x7211 -x7215 -x7214 -x7222 -x7219 -x7221 -x7218 -x7220 -x7303 -x7352 -x7353 -x7300 -x7302 -x7299 -x7267 -x7298 -x7243 -x7265 -x7266 -x7241 -x7242 -x7264 -x7246 -x7262 -x7263 -x7244 -x7245 -x7261 -x7249 -x7259 -x7260 -x7247 -x7248 -x7258 -x7252 -x7256 -x7257 -x7250 -x7251 -x7255 -x7253 -x7254 -x7271 -x7296 -x7297 -x7268 -x7270 -x7269 -x7295 -x7275 -x7293 -x7294 -x7272 -x7274 -x7273 -x7292 -x7279 -x7290 -x7291 -x7276 -x7278 -x7277 -x7289 -x7283 -x7287 -x7288 -x7280 -x7282 -x7281 -x7286 -x7284 -x7285 -x7301 -x7351 -x7308 -x7349 -x7350 -x7305 -x7307 -x7304 -x7306 -x7348 -x7314 -x7346 -x7347 -x7311 -x7313 -x7310 -x7309 -x7312 -x7345 -x7320 -x7343 -x7344 -x7317 -x7319 -x7316 -x7315 -x7318 -x7342 -x7326 -x7340 -x7341 -x7323 -x7325 -x7322 -x7321 -x7324 -x7339 x7332 -x7337 x7338 -x7329 x7331 -x7328 -x7327 x7330 -x7336 -x7334 -x7335 -x7333 -x7357 -x7356 x7360 x7418 -x7366 x7417 -x7362 x7365 -x7361 -x7364 -x7363 x7367 x7416 -x7373 x7415 -x7369 x7372 -x7368 -x7371 -x7370 x7374 x7414 -x7380 x7413 -x7376 x7379 -x7375 -x7378 -x7377 x7381 x7412 -x7387 x7411 -x7383 x7386 -x7382 -x7385 -x7384 x7388 x7410 -x7394 x7409 -x7390 x7393 -x7389 -x7392 -x7391 x7395 x7408 x7401 -x7407 x7397 x7400 x7396 -x7399 -x7398 -x7402 -x7406 -x7403 x7405 -x7404 x7422 -x7735 x7737 x7563 x7567 -x7734 -x7562 -x7535 -x7561 -x7475 -x7534 -x7427 -x7473 -x7474 -x7425 -x7426 -x7472 -x7430 -x7470 -x7471 -x7428 -x7429 -x7469 -x7433 -x7467 -x7468 -x7431 -x7432 -x7466 -x7436 -x7464 -x7465 -x7434 -x7435 -x7463 -x7439 -x7461 -x7462 -x7437 -x7438 -x7460 -x7442 -x7458 -x7459 -x7440 -x7441 -x7457 -x7445 -x7455 -x7456 -x7443 -x7444 -x7454 -x7448 -x7452 -x7453 -x7446 -x7447 -x7451 -x7449 -x7450 -x7479 -x7532 -x7533 -x7476 -x7478 -x7477 -x7531 -x7483 -x7529 -x7530 -x7480 -x7482 -x7481 -x7528 -x7487 -x7526 -x7527 -x7484 -x7486 -x7485 -x7525 -x7491 -x7523 -x7524 -x7488 -x7490 -x7489 -x7522 -x7495 -x7520 -x7521 -x7492 -x7494 -x7493 -x7519 -x7499 -x7517 -x7518 -x7496 -x7498 -x7497 -x7516 -x7503 -x7514 -x7515 -x7500 -x7502 -x7501 -x7513 -x7507 -x7511 -x7512 -x7504 -x7506 -x7505 -x7510 x7508 -x7509 -x7537 -x7560 -x7536 -x7539 -x7559 -x7538 -x7541 -x7558 -x7540 -x7543 -x7557 -x7542 -x7545 -x7556 -x7544 -x7547 -x7555 -x7546 -x7549 -x7554 -x7548 -x7551 -x7553 -x7550 x7552 -x7566 -x7564 -x7565 -x7678 -x7733 -x7675 x7677 -x7652 -x7674 -x7606 -x7651 -x7570 -x7604 -x7605 -x7568 -x7569 -x7603 -x7573 -x7601 -x7602 -x7571 -x7572 -x7600 -x7576 -x7598 -x7599 -x7574 -x7575 -x7597 -x7579 -x7595 -x7596 -x7577 -x7578 -x7594 -x7582 -x7592 -x7593 -x7580 -x7581 -x7591 -x7585 -x7589 -x7590 -x7583 -x7584 -x7588 x7586 -x7587 -x7610 -x7649 -x7650 -x7607 -x7609 -x7608 -x7648 -x7614 -x7646 -x7647 -x7611 -x7613 -x7612 -x7645 -x7618 -x7643 -x7644 -x7615 -x7617 -x7616 -x7642 -x7622 -x7640 -x7641 -x7619 -x7621 -x7620 -x7639 -x7626 -x7637 -x7638 -x7623 -x7625 -x7624 -x7636 -x7630 -x7634 -x7635 -x7627 -x7629 -x7628 -x7633 -x7631 x7632 -x7653 -x7673 -x7655 -x7672 -x7654 -x7657 -x7671 -x7656 -x7659 -x7670 -x7658 -x7661 -x7669 -x7660 -x7663 -x7668 -x7662 -x7665 -x7667 -x7664 x7666 -x7676 x7679 -x7732 -x7683 -x7731 -x7680 x7682 -x7681 x7684 -x7730 -x7688 -x7729 -x7685 x7687 -x7686 x7689 -x7728 -x7693 -x7727 -x7690 x7692 -x7691 x7694 -x7726 -x7698 -x7725 -x7695 x7697 -x7696 x7699 -x7724 -x7703 -x7723 -x7700 x7702 -x7701 x7704 -x7722 -x7708 -x7721 -x7705 x7707 -x7706 x7709 -x7720 -x7713 -x7719 -x7710 x7712 -x7711 x7714 -x7718 x7715 -x7717 x7716 x7736 x7990 -x7992 x7837 x7839 x7989 -x7836 -x7783 -x7835 -x7741 -x7781 -x7782 -x7739 -x7740 -x7780 -x7744 -x7778 -x7779 -x7742 -x7743 -x7777 -x7747 -x7775 -x7776 -x7745 -x7746 -x7774 -x7750 -x7772 -x7773 -x7748 -x7749 -x7771 -x7753 -x7769 -x7770 -x7751 -x7752 -x7768 -x7756 -x7766 -x7767 -x7754 -x7755 -x7765 -x7759 -x7763 -x7764 -x7757 -x7758 -x7762 -x7760 -x7761 -x7787 -x7833 -x7834 -x7784 -x7786 -x7785 -x7832 -x7791 -x7830 -x7831 -x7788 -x7790 -x7789 -x7829 -x7795 -x7827 -x7828 -x7792 -x7794 -x7793 -x7826 -x7799 -x7824 -x7825 -x7796 -x7798 -x7797 -x7823 -x7803 -x7821 -x7822 -x7800 -x7802 -x7801 -x7820 -x7807 -x7818 -x7819 -x7804 -x7806 -x7805 -x7817 -x7811 -x7815 -x7816 -x7808 -x7810 -x7809 -x7814 -x7812 -x7813 -x7838 -x7928 x7988 -x7924 x7927 -x7878 -x7923 -x7842 -x7876 -x7877 -x7840 -x7841 -x7875 -x7845 -x7873 -x7874 -x7843 -x7844 -x7872 -x7848 -x7870 -x7871 -x7846 -x7847 -x7869 -x7851 -x7867 -x7868 -x7849 -x7850 -x7866 -x7854 -x7864 -x7865 -x7852 -x7853 -x7863 x7857 x7861 -x7862 x7855 -x7856 -x7860 -x7858 -x7859 -x7882 -x7921 -x7922 -x7879 -x7881 -x7880 -x7920 -x7886 -x7918 -x7919 -x7883 -x7885 -x7884 -x7917 -x7890 -x7915 -x7916 -x7887 -x7889 -x7888 -x7914 -x7894 -x7912 -x7913 -x7891 -x7893 -x7892 -x7911 -x7898 -x7909 -x7910 -x7895 -x7897 -x7896 -x7908 x7902 -x7906 x7907 -x7899 x7901 x7900 -x7905 -x7903 -x7904 -x7926 -x7925 x7929 x7987 -x7935 x7986 -x7931 x7934 -x7930 -x7933 -x7932 x7936 x7985 -x7942 x7984 -x7938 x7941 -x7937 -x7940 -x7939 x7943 x7983 -x7949 x7982 -x7945 x7948 -x7944 -x7947 -x7946 x7950 x7981 -x7956 x7980 -x7952 x7955 -x7951 -x7954 -x7953 x7957 x7979 -x7963 x7978 -x7959 x7962 -x7958 -x7961 -x7960 x7964 x7977 x7970 -x7976 x7966 x7969 x7965 -x7968 -x7967 -x7971 -x7975 -x7972 x7974 -x7973 x7991 -x8306 x8132 x8136 x8303 -x8131 -x8104 -x8130 -x8044 -x8103 -x7996 -x8042 -x8043 -x7994 -x7995 -x8041 -x7999 -x8039 -x8040 -x7997 -x7998 -x8038 -x8002 -x8036 -x8037 -x8000 -x8001 -x8035 -x8005 -x8033 -x8034 -x8003 -x8004 -x8032 -x8008 -x8030 -x8031 -x8006 -x8007 -x8029 -x8011 -x8027 -x8028 -x8009 -x8010 -x8026 -x8014 -x8024 -x8025 -x8012 -x8013 -x8023 -x8017 -x8021 -x8022 -x8015 -x8016 -x8020 -x8018 -x8019 -x8048 -x8101 -x8102 -x8045 -x8047 -x8046 -x8100 -x8052 -x8098 -x8099 -x8049 -x8051 -x8050 -x8097 -x8056 -x8095 -x8096 -x8053 -x8055 -x8054 -x8094 -x8060 -x8092 -x8093 -x8057 -x8059 -x8058 -x8091 -x8064 -x8089 -x8090 -x8061 -x8063 -x8062 -x8088 -x8068 -x8086 -x8087 -x8065 -x8067 -x8066 -x8085 -x8072 -x8083 -x8084 -x8069 -x8071 -x8070 -x8082 -x8076 -x8080 -x8081 -x8073 -x8075 -x8074 -x8079 -x8077 -x8078 -x8106 -x8129 -x8105 -x8108 -x8128 -x8107 -x8110 -x8127 -x8109 -x8112 -x8126 -x8111 -x8114 -x8125 -x8113 -x8116 -x8124 -x8115 -x8118 -x8123 -x8117 -x8120 -x8122 -x8119 -x8121 -x8135 -x8133 -x8134 -x8247 x8302 -x8244 x8246 -x8221 -x8243 -x8175 -x8220 -x8139 -x8173 -x8174 -x8137 -x8138 -x8172 -x8142 -x8170 -x8171 -x8140 -x8141 -x8169 -x8145 -x8167 -x8168 -x8143 -x8144 -x8166 -x8148 -x8164 -x8165 -x8146 -x8147 -x8163 -x8151 -x8161 -x8162 -x8149 -x8150 -x8160 -x8154 -x8158 -x8159 -x8152 -x8153 -x8157 x8155 -x8156 -x8179 -x8218 -x8219 -x8176 -x8178 -x8177 -x8217 -x8183 -x8215 -x8216 -x8180 -x8182 -x8181 -x8214 -x8187 -x8212 -x8213 -x8184 -x8186 -x8185 -x8211 -x8191 -x8209 -x8210 -x8188 -x8190 -x8189 -x8208 -x8195 -x8206 -x8207 -x8192 -x8194 -x8193 -x8205 -x8199 -x8203 -x8204 -x8196 -x8198 -x8197 -x8202 -x8200 x8201 -x8222 -x8242 -x8224 -x8241 -x8223 -x8226 -x8240 -x8225 -x8228 -x8239 -x8227 -x8230 -x8238 -x8229 -x8232 -x8237 -x8231 -x8234 -x8236 -x8233 x8235 -x8245 x8248 x8301 -x8252 x8300 -x8249 x8251 -x8250 x8253 x8299 -x8257 x8298 -x8254 x8256 -x8255 x8258 x8297 -x8262 x8296 -x8259 x8261 -x8260 x8263 x8295 -x8267 x8294 -x8264 x8266 -x8265 x8268 x8293 -x8272 x8292 -x8269 x8271 -x8270 x8273 x8291 -x8277 x8290 -x8274 x8276 -x8275 x8278 x8289 -x8282 x8288 -x8279 x8281 -x8280 x8283 x8287 x8284 x8286 -x8285 -x8305 x8559 -x8561 x8406 x8408 x8558 -x8405 -x8352 -x8404 -x8310 -x8350 -x8351 -x8308 -x8309 -x8349 -x8313 -x8347 -x8348 -x8311 -x8312 -x8346 -x8316 -x8344 -x8345 -x8314 -x8315 -x8343 -x8319 -x8341 -x8342 -x8317 -x8318 -x8340 -x8322 -x8338 -x8339 -x8320 -x8321 -x8337 -x8325 -x8335 -x8336 -x8323 -x8324 -x8334 -x8328 -x8332 -x8333 -x8326 -x8327 -x8331 -x8329 -x8330 -x8356 -x8402 -x8403 -x8353 -x8355 -x8354 -x8401 -x8360 -x8399 -x8400 -x8357 -x8359 -x8358 -x8398 -x8364 -x8396 -x8397 -x8361 -x8363 -x8362 -x8395 -x8368 -x8393 -x8394 -x8365 -x8367 -x8366 -x8392 -x8372 -x8390 -x8391 -x8369 -x8371 -x8370 -x8389 -x8376 -x8387 -x8388 -x8373 -x8375 -x8374 -x8386 -x8380 -x8384 -x8385 -x8377 -x8379 -x8378 -x8383 -x8381 -x8382 -x8407 -x8497 x8557 -x8493 x8496 -x8447 -x8492 -x8411 -x8445 -x8446 -x8409 -x8410 -x8444 -x8414 -x8442 -x8443 -x8412 -x8413 -x8441 -x8417 -x8439 -x8440 -x8415 -x8416 -x8438 -x8420 -x8436 -x8437 -x8418 -x8419 -x8435 -x8423 -x8433 -x8434 -x8421 -x8422 -x8432 x8426 x8430 -x8431 x8424 -x8425 -x8429 -x8427 -x8428 -x8451 -x8490 -x8491 -x8448 -x8450 -x8449 -x8489 -x8455 -x8487 -x8488 -x8452 -x8454 -x8453 -x8486 -x8459 -x8484 -x8485 -x8456 -x8458 -x8457 -x8483 -x8463 -x8481 -x8482 -x8460 -x8462 -x8461 -x8480 -x8467 -x8478 -x8479 -x8464 -x8466 -x8465 -x8477 x8471 -x8475 x8476 -x8468 x8470 x8469 -x8474 -x8472 -x8473 -x8495 -x8494 x8498 x8556 -x8504 x8555 -x8500 x8503 -x8499 -x8502 -x8501 x8505 x8554 -x8511 x8553 -x8507 x8510 -x8506 -x8509 -x8508 x8512 x8552 -x8518 x8551 -x8514 x8517 -x8513 -x8516 -x8515 x8519 x8550 -x8525 x8549 -x8521 x8524 -x8520 -x8523 -x8522 x8526 x8548 -x8532 x8547 -x8528 x8531 -x8527 -x8530 -x8529 x8533 x8546 x8539 -x8545 x8535 x8538 x8534 -x8537 -x8536 -x8540 -x8544 -x8541 x8543 -x8542 x8560 
0.59/0.68	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
0.59/0.68	c    2      270    112     1688    28289    93846    522    397 0.68
0.59/0.68	s SATISFIABLE
0.59/0.68	c Total time: 0.68 s

Verifier Data 

OK	0

Watcher Data 

runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1885452-1245266687/watcher-1885452-1245266687 -o /tmp/evaluation-result-1885452-1245266687/solver-1885452-1245266687 -C 1800 -W 2000 -M 1800 bsolo -l2 -t1800 -m1800 HOME/instance-1885452-1245266687.opb 

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): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 11086
/proc/meminfo: memFree=1831656/2055920 swapFree=4181956/4192956
[pid=11086] ppid=11084 vsize=11552 CPUtime=0
/proc/11086/stat : 11086 (bsolo) R 11084 11086 10442 0 -1 4194304 252 0 0 0 0 0 0 0 18 0 1 0 194267995 11829248 236 1992294400 134512640 137136520 4294956256 18446744073709551615 134531093 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11086/statm: 2888 236 175 640 0 2033 0

[startup+0.072695 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 11086
/proc/meminfo: memFree=1831656/2055920 swapFree=4181956/4192956
[pid=11086] ppid=11084 vsize=13480 CPUtime=0.06
/proc/11086/stat : 11086 (bsolo) R 11084 11086 10442 0 -1 4194304 852 0 0 0 6 0 0 0 18 0 1 0 194267995 13803520 836 1992294400 134512640 137136520 4294956256 18446744073709551615 136575102 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11086/statm: 3370 838 291 640 0 2515 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 13480

[startup+0.101699 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 11086
/proc/meminfo: memFree=1831656/2055920 swapFree=4181956/4192956
[pid=11086] ppid=11084 vsize=14304 CPUtime=0.09
/proc/11086/stat : 11086 (bsolo) R 11084 11086 10442 0 -1 4194304 1104 0 0 0 9 0 0 0 18 0 1 0 194267995 14647296 1088 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11086/statm: 3576 1088 338 640 0 2721 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 14304

[startup+0.301728 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 11086
/proc/meminfo: memFree=1831656/2055920 swapFree=4181956/4192956
[pid=11086] ppid=11084 vsize=17360 CPUtime=0.29
/proc/11086/stat : 11086 (bsolo) R 11084 11086 10442 0 -1 4194304 2179 0 0 0 26 3 0 0 19 0 1 0 194267995 17776640 1884 1992294400 134512640 137136520 4294956256 18446744073709551615 134548260 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11086/statm: 4340 1884 193 640 0 3696 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 17360

Solver just ended. Dumping a history of the last processes samples

[startup+0.501759 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 11086
/proc/meminfo: memFree=1831656/2055920 swapFree=4181956/4192956
[pid=11086] ppid=11084 vsize=17360 CPUtime=0.49
/proc/11086/stat : 11086 (bsolo) R 11084 11086 10442 0 -1 4194304 2185 0 0 0 46 3 0 0 20 0 1 0 194267995 17776640 1890 1992294400 134512640 137136520 4294956256 18446744073709551615 134545059 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11086/statm: 4340 1890 198 640 0 3696 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 17360

[startup+0.601774 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 11086
/proc/meminfo: memFree=1831656/2055920 swapFree=4181956/4192956
[pid=11086] ppid=11084 vsize=17360 CPUtime=0.59
/proc/11086/stat : 11086 (bsolo) R 11084 11086 10442 0 -1 4194304 2185 0 0 0 56 3 0 0 21 0 1 0 194267995 17776640 1890 1992294400 134512640 137136520 4294956256 18446744073709551615 134606747 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11086/statm: 4340 1890 198 640 0 3696 0
Current children cumulated CPU time (s) 0.59
Current children cumulated vsize (KiB) 17360

Child status: 0
Real time (s): 0.684391
CPU time (s): 0.683895
CPU user time (s): 0.644901
CPU system time (s): 0.038994
CPU usage (%): 99.9275
Max. virtual memory (cumulated for all children) (KiB): 17360

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.644901
system time used= 0.038994
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2187
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= 2
involuntary context switches= 0

runsolver used 0.000999 second user time and 0.008998 second system time

The end

Launcher Data 

Begin job on node34 at 2009-06-17 21:24:47
IDJOB=1885452
IDBENCH=72058
IDSOLVER=699
FILE ID=node34/1885452-1245266687
PBS_JOBID= 9372419
Free space on /tmp= 66252 MiB

SOLVER NAME= bsolo 3.1
BENCH NAME= PB09/normalized-PB09/PURE-SAT/SAT09/APPLICATIONS/aprove09/AProVE09-08.opb
COMMAND LINE= bsolo -l2 -tTIMEOUT -mMEMLIMIT BENCHNAME
CONVERSION SCRIPT= PBconversionToLinear BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1885452-1245266687/watcher-1885452-1245266687 -o /tmp/evaluation-result-1885452-1245266687/solver-1885452-1245266687 -C 1800 -W 2000 -M 1800  bsolo -l2 -t1800 -m1800 HOME/instance-1885452-1245266687.opb

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0

MD5SUM BENCH= 71eb54cb86d54c93a5eee1d93a9df329
RANDOM SEED=1132306740

node34.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.263
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
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 lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5914.62
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.263
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
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 lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1832072 kB
Buffers:         38400 kB
Cached:         103940 kB
SwapCached:       5016 kB
Active:          56800 kB
Inactive:        93684 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1832072 kB
SwapTotal:     4192956 kB
SwapFree:      4181956 kB
Dirty:            5048 kB
Writeback:           0 kB
Mapped:          14424 kB
Slab:            59336 kB
Committed_AS:   201536 kB
PageTables:       1384 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-1885452-1245266687.opb

Free space on /tmp at the end= 66248 MiB
End job on node34 at 2009-06-17 21:24:48