Trace number 1885454

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.1 pbSAT 0.712891 0.712661

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: Generic Pseudo-Boolean 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-1885454-1245266690.opb
0.00/0.00	c File size is 863239 bytes.
0.09/0.11	c Highest Coefficient sum: 26
0.09/0.11	c Parsing was ok!!
0.09/0.11	c Total parsing time: 0.116 s
0.09/0.13	c Var: 8564 Constr: 28927 28927/0/0 Lit: 74571 Watch. Lit: 57853
0.09/0.13	c Obj. Vars: 0 (0 % of total variables)
0.19/0.29	c Pre-processing Time: 0.289 s
0.19/0.29	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.19/0.29	c        0   8154    27767    71912    2    55534    9255      0      0 0.29
0.19/0.29	c Switching off lower bounding mode.
0.69/0.70	c      100   8154    27966    73944    2    55932   10181    199    262 0.38
0.69/0.70	c      251   8154    28253    92381    3    56506   11200    486    391 0.64
0.69/0.70	c Backtracks by Clause: 285
0.69/0.70	c Backtracks by PB constraint: 0
0.69/0.70	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.69/0.71	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
0.69/0.71	c    2      285    121     1788    28320    94370    553    401 0.71
0.69/0.71	s SATISFIABLE
0.69/0.71	c Total time: 0.709 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-1885454-1245266690/watcher-1885454-1245266690 -o /tmp/evaluation-result-1885454-1245266690/solver-1885454-1245266690 -C 1800 -W 2000 -M 1800 bsolo -l3 -t1800 -m1800 HOME/instance-1885454-1245266690.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 11158
/proc/meminfo: memFree=1831400/2055920 swapFree=4181956/4192956
[pid=11158] ppid=11156 vsize=11556 CPUtime=0
/proc/11158/stat : 11158 (bsolo) R 11156 11158 10442 0 -1 4194304 258 0 0 0 0 0 0 0 18 0 1 0 194268297 11833344 242 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 0 0 0
/proc/11158/statm: 2889 244 177 640 0 2034 0

[startup+0.0927141 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 11158
/proc/meminfo: memFree=1831400/2055920 swapFree=4181956/4192956
[pid=11158] ppid=11156 vsize=14304 CPUtime=0.08
/proc/11158/stat : 11158 (bsolo) R 11156 11158 10442 0 -1 4194304 1085 0 0 0 8 0 0 0 18 0 1 0 194268297 14647296 1069 1992294400 134512640 137136520 4294956256 18446744073709551615 136575102 0 0 4096 16384 0 0 0 17 0 0 0
/proc/11158/statm: 3576 1069 334 640 0 2721 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 14304

[startup+0.102714 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 11158
/proc/meminfo: memFree=1831400/2055920 swapFree=4181956/4192956
[pid=11158] ppid=11156 vsize=14580 CPUtime=0.09
/proc/11158/stat : 11158 (bsolo) R 11156 11158 10442 0 -1 4194304 1177 0 0 0 9 0 0 0 18 0 1 0 194268297 14929920 1161 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 0 0 0
/proc/11158/statm: 3645 1161 352 640 0 2790 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 14580

[startup+0.302744 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 11158
/proc/meminfo: memFree=1831400/2055920 swapFree=4181956/4192956
[pid=11158] ppid=11156 vsize=17360 CPUtime=0.29
/proc/11158/stat : 11158 (bsolo) R 11156 11158 10442 0 -1 4194304 2185 0 0 0 25 4 0 0 19 0 1 0 194268297 17776640 1890 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0
/proc/11158/statm: 4340 1890 198 640 0 3696 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 17360

[startup+0.701806 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 11158
/proc/meminfo: memFree=1831400/2055920 swapFree=4181956/4192956
[pid=11158] ppid=11156 vsize=17360 CPUtime=0.69
/proc/11158/stat : 11158 (bsolo) R 11156 11158 10442 0 -1 4194304 2185 0 0 0 65 4 0 0 23 0 1 0 194268297 17776640 1890 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 0 0 0
/proc/11158/statm: 4340 1890 198 640 0 3696 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 17360

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

Child status: 0
Real time (s): 0.712661
CPU time (s): 0.712891
CPU user time (s): 0.666898
CPU system time (s): 0.045993
CPU usage (%): 100.032
Max. virtual memory (cumulated for all children) (KiB): 17360

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.666898
system time used= 0.045993
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= 4

runsolver used 0.002999 second user time and 0.008998 second system time

The end

Launcher Data 

Begin job on node34 at 2009-06-17 21:24:50
IDJOB=1885454
IDBENCH=72058
IDSOLVER=701
FILE ID=node34/1885454-1245266690
PBS_JOBID= 9372419
Free space on /tmp= 66252 MiB

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

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

MD5SUM BENCH= 71eb54cb86d54c93a5eee1d93a9df329
RANDOM SEED=4812358

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:       1831816 kB
Buffers:         38492 kB
Cached:         104052 kB
SwapCached:       5016 kB
Active:          56888 kB
Inactive:        93752 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1831816 kB
SwapTotal:     4192956 kB
SwapFree:      4181956 kB
Dirty:            5120 kB
Writeback:           0 kB
Mapped:          14424 kB
Slab:            59412 kB
Committed_AS:   201768 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-1885454-1245266690.opb

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