Trace number 1885491

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
wbo 1.0SAT 12.5121 12.5177

General information on the benchmark

Name/PURE-SAT/SAT09/APPLICATIONS/
aprove09/AProVE09-07.opb
MD5SUM38003d07f6bf82e588aba17f962dcca3
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 benchmark5.40818
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables8567
Total number of constraints28936
Number of constraints which are clauses28936
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 This is wbo 1.0 alpha (based on Minisat 2.0 beta)
0.00/0.00	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.00	c Parsing opb file format. File HOME/instance-1885491-1245266896.opb.
0.00/0.00	c Instance file HOME/instance-1885491-1245266896.opb
0.00/0.00	c File size is 863763 bytes.
0.09/0.12	c Highest Coefficient sum: 26
0.09/0.12	c ============================[ Problem Statistics ]=============================
0.09/0.12	c |                                                                             |
0.09/0.12	c |  Parsing time:          0.12         s                                      |
0.09/0.12	c |  Number Variables:      8567                                                |
0.09/0.12	c |  Number Clauses:        28936                                               |
0.09/0.12	c |  Number Cardinality:    0                                                   |
0.09/0.12	c |  Number PB Constraints: 0                                                   |
0.09/0.12	c ============================[ Search Statistics ]==============================
0.09/0.12	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.09/0.12	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.09/0.12	c ===============================================================================
0.09/0.12	c |         0 |    8544    28936    74049 |     9645        0    nan |  0.000 % |
0.09/0.15	c |       102 |    8540    28936    74049 |    10609      102     17 |  0.316 % |
0.09/0.19	c |       255 |    8540    28936    74049 |    11670      255     56 |  0.315 % |
0.19/0.28	c |       480 |    8540    28936    74049 |    12837      479     57 |  0.315 % |
0.39/0.48	c |       817 |    8540    28936    74049 |    14121      816     61 |  0.315 % |
0.59/0.66	c |      1323 |    8540    28936    74049 |    15533     1322     78 |  0.316 % |
0.89/0.99	c |      2082 |    8540    28936    74049 |    17087     2081     83 |  0.315 % |
1.99/2.07	c |      3223 |    8540    28936    74049 |    18796     3222    104 |  0.316 % |
3.59/3.60	c |      4931 |    8540    28936    74049 |    20675     4930    123 |  0.315 % |
6.09/6.16	c |      7494 |    8540    28936    74049 |    22743     7493    178 |  0.316 % |
11.79/11.85	c |     11338 |    8540    28936    74049 |    25017    11337    177 |  0.315 % |
12.48/12.51	c ===============================================================================
12.48/12.51	c Verified 28936 original clauses.
12.48/12.51	c #cores: 0
12.48/12.51	c Final Weight: 0
12.48/12.51	s SATISFIABLE
12.48/12.51	v x8567 x8566 x3 x2 x1490 x3466 x4937 x6407 x6662 x6917 x7231 x7545 x7542 x7800 x8055 x8310 x8565 -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 -x107 -x156 -x81 -x105 -x106 -x59 -x80 -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 -x79 -x68 -x78 -x62 -x66 -x67 -x60 -x61 -x65 x63 -x64 -x72 -x76 -x77 -x69 -x71 -x70 -x75 -x73 x74 -x104 -x86 -x102 -x103 -x83 -x85 -x82 -x84 -x101 -x93 x99 x100 -x89 -x92 -x88 -x87 -x91 -x90 x98 x95 x97 x94 x96 -x132 -x154 -x155 -x129 -x131 -x108 -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 -x179 -x204 -x161 -x177 -x178 -x159 -x160 -x176 -x164 -x174 -x175 -x162 -x163 -x173 -x167 -x171 -x172 -x165 -x166 -x170 -x168 -x169 -x184 -x202 -x203 -x181 -x183 x180 -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 -x267 -x292 -x249 -x265 -x266 -x247 -x248 -x246 -x264 -x252 -x262 -x263 -x250 -x251 -x261 -x255 -x259 -x260 -x253 -x254 -x258 -x256 -x257 -x272 -x290 -x291 -x269 -x271 -x268 -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 -x899 -x917 -x891 x897 x898 -x883 -x890 -x882 -x878 -x881 -x876 -x877 x879 -x880 -x889 -x885 -x888 -x884 x886 -x887 x896 x893 x895 x892 x894 x910 -x915 x916 -x907 x909 -x906 -x902 -x905 -x900 -x901 x903 -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 -x4934 x4936 x4321 x4323 -x4933 -x4320 -x4169 -x4319 -x4101 -x4167 -x4168 -x4014 -x4100 -x4013 -x3898 -x4012 -x3842 -x3896 -x3897 -x3781 -x3841 -x3780 -x3695 -x3779 -x3657 -x3693 -x3694 -x3609 -x3656 -x3608 -x3559 -x3607 -x3533 -x3557 -x3558 -x3511 -x3532 -x3510 -x3491 -x3509 -x3483 -x3489 -x3490 -x3474 -x3482 -x3473 -x3469 -x3472 -x3467 -x3468 -x3470 -x3471 -x3481 -x3477 -x3480 -x3475 -x3476 -x3478 -x3479 -x3488 -x3485 -x3487 -x3484 -x3486 -x3502 -x3507 -x3508 -x3499 -x3501 -x3498 -x3494 -x3497 -x3492 x3493 -x3495 x3496 -x3500 -x3506 x3504 -x3505 x3503 -x3531 -x3520 -x3530 -x3514 -x3518 -x3519 -x3512 -x3513 -x3517 -x3515 -x3516 -x3524 -x3528 -x3529 -x3521 -x3523 -x3522 -x3527 x3525 -x3526 -x3556 -x3538 -x3554 -x3555 -x3535 -x3537 -x3534 -x3536 -x3553 -x3545 x3551 x3552 -x3541 -x3544 -x3540 -x3539 -x3543 -x3542 x3550 x3547 x3549 x3546 x3548 -x3583 -x3605 -x3606 -x3580 -x3582 -x3579 -x3568 -x3578 -x3562 -x3566 -x3567 -x3560 -x3561 -x3565 -x3563 -x3564 -x3572 -x3576 -x3577 -x3569 -x3571 -x3570 -x3575 x3573 -x3574 -x3581 -x3604 -x3588 -x3602 -x3603 -x3585 -x3587 -x3584 -x3586 -x3601 x3594 -x3599 x3600 -x3591 x3593 -x3590 -x3589 -x3592 -x3598 -x3596 -x3597 x3595 -x3655 -x3630 -x3654 -x3612 -x3628 -x3629 -x3610 -x3611 -x3627 -x3615 -x3625 -x3626 -x3613 -x3614 -x3624 -x3618 -x3622 -x3623 -x3616 -x3617 -x3621 -x3619 -x3620 -x3634 -x3652 -x3653 -x3631 -x3633 -x3632 -x3651 -x3638 -x3649 -x3650 -x3635 -x3637 -x3636 -x3648 -x3642 -x3646 -x3647 -x3639 -x3641 -x3640 -x3645 x3643 -x3644 -x3692 -x3664 -x3690 -x3691 -x3660 -x3663 -x3659 -x3658 -x3662 -x3661 -x3689 -x3671 -x3687 -x3688 -x3667 -x3670 -x3666 -x3665 -x3669 -x3668 -x3686 x3678 x3684 -x3685 x3674 -x3677 x3673 x3672 -x3676 -x3675 -x3683 -x3680 -x3682 -x3679 x3681 -x3745 -x3777 -x3778 -x3742 -x3744 -x3741 -x3716 -x3740 -x3698 -x3714 -x3715 -x3696 -x3697 -x3713 -x3701 -x3711 -x3712 -x3699 -x3700 -x3710 -x3704 -x3708 -x3709 -x3702 -x3703 -x3707 -x3705 -x3706 -x3720 -x3738 -x3739 -x3717 -x3719 -x3718 -x3737 -x3724 -x3735 -x3736 -x3721 -x3723 -x3722 -x3734 -x3728 -x3732 -x3733 -x3725 -x3727 -x3726 -x3731 -x3729 -x3730 -x3743 -x3776 -x3751 -x3774 -x3775 -x3748 -x3750 -x3747 -x3746 -x3749 -x3773 -x3757 -x3771 -x3772 -x3754 -x3756 -x3753 -x3752 -x3755 -x3770 x3763 -x3768 x3769 -x3760 x3762 -x3759 -x3758 x3761 -x3767 -x3765 -x3766 -x3764 -x3840 -x3808 -x3839 -x3784 -x3806 -x3807 -x3782 -x3783 -x3805 -x3787 -x3803 -x3804 -x3785 -x3786 -x3802 -x3790 -x3800 -x3801 -x3788 -x3789 -x3799 x3793 x3797 -x3798 x3791 -x3792 -x3796 -x3794 -x3795 -x3812 -x3837 -x3838 -x3809 -x3811 -x3810 -x3836 -x3816 -x3834 -x3835 -x3813 -x3815 -x3814 -x3833 -x3820 -x3831 -x3832 -x3817 -x3819 -x3818 -x3830 x3824 -x3828 x3829 -x3821 x3823 x3822 -x3827 -x3825 -x3826 -x3895 -x3847 -x3893 -x3894 -x3844 -x3846 -x3843 -x3845 -x3892 -x3854 -x3890 -x3891 -x3850 -x3853 -x3849 -x3848 -x3852 -x3851 -x3889 -x3861 -x3887 -x3888 -x3857 -x3860 -x3856 -x3855 -x3859 -x3858 -x3886 -x3868 x3884 x3885 -x3864 -x3867 -x3863 -x3862 -x3866 -x3865 x3883 x3875 x3881 x3882 x3871 x3874 x3870 x3869 x3873 x3872 -x3880 -x3877 -x3879 -x3876 -x3878 -x3961 -x4010 -x4011 -x3958 -x3960 -x3957 -x3925 -x3956 -x3901 -x3923 -x3924 -x3899 -x3900 -x3922 -x3904 -x3920 -x3921 -x3902 -x3903 -x3919 -x3907 -x3917 -x3918 -x3905 -x3906 -x3916 -x3910 -x3914 -x3915 -x3908 -x3909 -x3913 -x3911 x3912 -x3929 -x3954 -x3955 -x3926 -x3928 -x3927 -x3953 -x3933 -x3951 -x3952 -x3930 -x3932 -x3931 -x3950 -x3937 -x3948 -x3949 -x3934 -x3936 -x3935 -x3947 -x3941 -x3945 -x3946 -x3938 -x3940 -x3939 -x3944 -x3942 x3943 -x3959 -x4009 -x3966 -x4007 -x4008 -x3963 -x3965 -x3962 -x3964 -x4006 -x3972 -x4004 -x4005 -x3969 -x3971 -x3968 -x3967 -x3970 -x4003 -x3978 -x4001 -x4002 -x3975 -x3977 -x3974 -x3973 -x3976 -x4000 x3984 -x3998 x3999 -x3981 x3983 -x3980 -x3979 -x3982 -x3997 -x3990 -x3995 -x3996 -x3987 -x3989 -x3986 -x3985 -x3988 -x3994 -x3992 -x3993 x3991 -x4099 -x4053 -x4098 -x4017 -x4051 -x4052 -x4015 -x4016 -x4050 -x4020 -x4048 -x4049 -x4018 -x4019 -x4047 -x4023 -x4045 -x4046 -x4021 -x4022 -x4044 -x4026 -x4042 -x4043 -x4024 -x4025 -x4041 -x4029 -x4039 -x4040 -x4027 -x4028 -x4038 -x4032 -x4036 -x4037 -x4030 -x4031 -x4035 -x4033 -x4034 -x4057 -x4096 -x4097 -x4054 -x4056 -x4055 -x4095 -x4061 -x4093 -x4094 -x4058 -x4060 -x4059 -x4092 -x4065 -x4090 -x4091 -x4062 -x4064 -x4063 -x4089 -x4069 -x4087 -x4088 -x4066 -x4068 -x4067 -x4086 -x4073 -x4084 -x4085 -x4070 -x4072 -x4071 -x4083 -x4077 -x4081 -x4082 -x4074 -x4076 -x4075 -x4080 x4078 -x4079 -x4166 -x4108 -x4164 -x4165 -x4104 -x4107 -x4103 -x4102 -x4106 -x4105 -x4163 -x4115 -x4161 -x4162 -x4111 -x4114 -x4110 -x4109 -x4113 -x4112 -x4160 -x4122 -x4158 -x4159 -x4118 -x4121 -x4117 -x4116 -x4120 -x4119 -x4157 -x4129 -x4155 -x4156 -x4125 -x4128 -x4124 -x4123 -x4127 -x4126 -x4154 -x4136 -x4152 -x4153 -x4132 -x4135 x4131 x4130 -x4134 -x4133 -x4151 -x4143 -x4149 -x4150 -x4139 -x4142 -x4138 -x4137 -x4141 -x4140 -x4148 -x4145 -x4147 -x4144 x4146 -x4258 -x4317 -x4318 -x4255 -x4257 -x4254 -x4208 -x4253 -x4172 -x4206 -x4207 -x4170 -x4171 -x4205 -x4175 -x4203 -x4204 -x4173 -x4174 -x4202 -x4178 -x4200 -x4201 -x4176 -x4177 -x4199 -x4181 -x4197 -x4198 -x4179 -x4180 -x4196 -x4184 -x4194 -x4195 -x4182 -x4183 -x4193 -x4187 -x4191 -x4192 -x4185 -x4186 -x4190 -x4188 -x4189 -x4212 -x4251 -x4252 -x4209 -x4211 -x4210 -x4250 -x4216 -x4248 -x4249 -x4213 -x4215 -x4214 -x4247 -x4220 -x4245 -x4246 -x4217 -x4219 -x4218 -x4244 -x4224 -x4242 -x4243 -x4221 -x4223 -x4222 -x4241 -x4228 -x4239 -x4240 -x4225 -x4227 -x4226 -x4238 -x4232 -x4236 -x4237 -x4229 -x4231 -x4230 -x4235 -x4233 -x4234 -x4256 -x4316 -x4264 -x4314 -x4315 -x4261 -x4263 -x4260 -x4259 -x4262 -x4313 -x4270 -x4311 -x4312 -x4267 -x4269 -x4266 -x4265 -x4268 -x4310 -x4276 -x4308 -x4309 -x4273 -x4275 -x4272 -x4271 -x4274 -x4307 -x4282 -x4305 -x4306 -x4279 -x4281 -x4278 -x4277 -x4280 -x4304 -x4288 -x4302 -x4303 -x4285 -x4287 -x4284 -x4283 -x4286 -x4301 -x4294 -x4299 -x4300 -x4291 -x4293 -x4290 -x4289 -x4292 -x4298 -x4296 -x4297 -x4295 -x4322 -x4872 -x4932 -x4868 x4871 -x4753 -x4867 -x4697 -x4751 -x4752 -x4636 -x4696 -x4635 -x4550 -x4634 -x4512 -x4548 -x4549 -x4464 -x4511 -x4463 -x4414 -x4462 -x4388 -x4412 -x4413 -x4366 -x4387 -x4365 x4348 -x4364 x4340 x4346 x4347 x4331 x4339 x4330 -x4326 x4329 x4324 -x4325 x4327 x4328 x4338 -x4334 x4337 x4332 -x4333 x4335 x4336 -x4345 -x4342 -x4344 -x4341 -x4343 -x4357 -x4362 -x4363 -x4354 -x4356 x4353 -x4350 x4352 -x4349 x4351 -x4355 -x4361 -x4359 -x4360 -x4358 -x4386 -x4375 -x4385 -x4369 -x4373 -x4374 -x4367 -x4368 -x4372 -x4370 -x4371 x4379 x4383 -x4384 x4376 -x4378 -x4377 -x4382 -x4380 -x4381 -x4411 x4393 x4409 -x4410 x4390 -x4392 x4389 -x4391 -x4408 x4400 -x4406 x4407 -x4396 x4399 -x4395 -x4394 x4398 x4397 -x4405 -x4402 -x4404 -x4401 -x4403 -x4438 -x4460 -x4461 -x4435 -x4437 -x4434 -x4423 -x4433 -x4417 -x4421 -x4422 -x4415 -x4416 -x4420 -x4418 -x4419 -x4427 -x4431 -x4432 -x4424 -x4426 -x4425 -x4430 -x4428 -x4429 -x4436 -x4459 x4443 -x4457 x4458 -x4440 x4442 -x4439 x4441 -x4456 x4449 -x4454 x4455 -x4446 x4448 -x4445 -x4444 x4447 -x4453 -x4451 -x4452 -x4450 -x4510 -x4485 -x4509 -x4467 -x4483 -x4484 -x4465 -x4466 -x4482 -x4470 -x4480 -x4481 -x4468 -x4469 -x4479 -x4473 -x4477 -x4478 -x4471 -x4472 -x4476 -x4474 -x4475 -x4489 -x4507 -x4508 -x4486 -x4488 -x4487 -x4506 -x4493 -x4504 -x4505 -x4490 -x4492 -x4491 -x4503 -x4497 -x4501 -x4502 -x4494 -x4496 -x4495 -x4500 -x4498 -x4499 -x4547 -x4519 -x4545 -x4546 -x4515 -x4518 -x4514 -x4513 -x4517 -x4516 -x4544 x4526 x4542 -x4543 x4522 -x4525 x4521 x4520 -x4524 -x4523 -x4541 x4533 x4539 -x4540 x4529 -x4532 x4528 x4527 -x4531 -x4530 -x4538 -x4535 -x4537 -x4534 -x4536 -x4600 -x4632 -x4633 -x4597 -x4599 -x4596 -x4571 -x4595 -x4553 -x4569 -x4570 -x4551 -x4552 -x4568 -x4556 -x4566 -x4567 -x4554 -x4555 -x4565 -x4559 -x4563 -x4564 -x4557 -x4558 -x4562 -x4560 -x4561 -x4575 -x4593 -x4594 -x4572 -x4574 -x4573 -x4592 -x4579 -x4590 -x4591 -x4576 -x4578 -x4577 -x4589 -x4583 -x4587 -x4588 -x4580 -x4582 -x4581 -x4586 -x4584 -x4585 -x4598 -x4631 -x4606 -x4629 -x4630 -x4603 -x4605 -x4602 -x4601 -x4604 -x4628 x4612 -x4626 x4627 -x4609 x4611 -x4608 -x4607 x4610 -x4625 x4618 -x4623 x4624 -x4615 x4617 -x4614 -x4613 x4616 -x4622 -x4620 -x4621 -x4619 -x4695 -x4663 -x4694 -x4639 -x4661 -x4662 -x4637 -x4638 -x4660 -x4642 -x4658 -x4659 -x4640 -x4641 -x4657 x4645 x4655 -x4656 x4643 -x4644 -x4654 x4648 x4652 -x4653 x4646 -x4647 -x4651 -x4649 -x4650 -x4667 -x4692 -x4693 -x4664 -x4666 -x4665 -x4691 -x4671 -x4689 -x4690 -x4668 -x4670 -x4669 -x4688 x4675 -x4686 x4687 -x4672 x4674 x4673 -x4685 x4679 -x4683 x4684 -x4676 x4678 x4677 -x4682 -x4680 -x4681 -x4750 -x4702 -x4748 -x4749 -x4699 -x4701 -x4698 -x4700 -x4747 -x4709 -x4745 -x4746 -x4705 -x4708 -x4704 -x4703 -x4707 -x4706 -x4744 -x4716 -x4742 -x4743 -x4712 -x4715 -x4711 -x4710 -x4714 -x4713 -x4741 -x4723 -x4739 -x4740 -x4719 -x4722 x4718 x4717 x4721 x4720 -x4738 -x4730 -x4736 -x4737 -x4726 -x4729 x4725 x4724 x4728 x4727 -x4735 -x4732 -x4734 -x4731 -x4733 -x4816 -x4865 -x4866 -x4813 -x4815 -x4812 -x4780 -x4811 -x4756 -x4778 -x4779 -x4754 -x4755 -x4777 -x4759 -x4775 -x4776 -x4757 -x4758 -x4774 -x4762 -x4772 -x4773 -x4760 -x4761 -x4771 -x4765 -x4769 -x4770 -x4763 -x4764 -x4768 -x4766 -x4767 -x4784 -x4809 -x4810 -x4781 -x4783 -x4782 -x4808 -x4788 -x4806 -x4807 -x4785 -x4787 -x4786 -x4805 -x4792 -x4803 -x4804 -x4789 -x4791 -x4790 -x4802 -x4796 -x4800 -x4801 -x4793 -x4795 -x4794 -x4799 -x4797 -x4798 -x4814 -x4864 -x4821 -x4862 -x4863 -x4818 -x4820 -x4817 -x4819 -x4861 -x4827 -x4859 -x4860 -x4824 -x4826 -x4823 -x4822 -x4825 -x4858 -x4833 -x4856 -x4857 -x4830 -x4832 -x4829 -x4828 -x4831 -x4855 -x4839 -x4853 -x4854 -x4836 -x4838 -x4835 -x4834 -x4837 -x4852 -x4845 -x4850 -x4851 -x4842 -x4844 -x4841 -x4840 -x4843 -x4849 -x4847 -x4848 -x4846 -x4870 -x4869 x4873 -x4931 -x4879 -x4930 -x4875 x4878 -x4874 -x4877 -x4876 x4880 -x4929 -x4886 -x4928 -x4882 x4885 -x4881 -x4884 -x4883 x4887 -x4927 -x4893 -x4926 -x4889 x4892 -x4888 -x4891 -x4890 x4894 -x4925 -x4900 -x4924 -x4896 x4899 -x4895 -x4898 -x4897 x4901 -x4923 -x4907 -x4922 -x4903 x4906 -x4902 -x4905 -x4904 x4908 -x4921 -x4914 -x4920 -x4910 x4913 -x4909 -x4912 -x4911 x4915 -x4919 -x4916 x4918 -x4917 x4935 x6404 -x6406 x5792 x5794 x6403 -x5791 -x5640 -x5790 -x5572 -x5638 -x5639 -x5485 -x5571 -x5484 -x5369 -x5483 -x5313 -x5367 -x5368 -x5252 -x5312 -x5251 -x5166 -x5250 -x5128 -x5164 -x5165 -x5080 -x5127 -x5079 -x5030 -x5078 -x5004 -x5028 -x5029 -x4982 -x5003 -x4981 -x4962 -x4980 -x4954 -x4960 -x4961 -x4945 -x4953 -x4944 -x4940 -x4943 x4938 -x4939 -x4941 x4942 -x4952 -x4948 -x4951 x4946 -x4947 -x4949 x4950 -x4959 x4956 -x4958 x4955 x4957 -x4973 -x4978 -x4979 -x4970 -x4972 -x4969 -x4965 -x4968 -x4963 -x4964 -x4966 -x4967 -x4971 -x4977 -x4975 x4976 -x4974 -x5002 -x4991 -x5001 -x4985 -x4989 -x4990 -x4983 -x4984 -x4988 x4986 -x4987 -x4995 -x4999 -x5000 -x4992 -x4994 -x4993 -x4998 -x4996 x4997 -x5027 -x5009 -x5025 -x5026 -x5006 -x5008 -x5005 -x5007 -x5024 -x5016 x5022 x5023 -x5012 -x5015 -x5011 -x5010 -x5014 -x5013 x5021 x5018 x5020 x5017 x5019 -x5054 -x5076 -x5077 -x5051 -x5053 -x5050 -x5039 -x5049 -x5033 -x5037 -x5038 -x5031 -x5032 -x5036 -x5034 x5035 -x5043 -x5047 -x5048 -x5040 -x5042 -x5041 -x5046 -x5044 x5045 -x5052 -x5075 -x5059 -x5073 -x5074 -x5056 -x5058 -x5055 -x5057 -x5072 x5065 -x5070 x5071 -x5062 x5064 -x5061 -x5060 -x5063 -x5069 -x5067 -x5068 x5066 -x5126 -x5101 -x5125 -x5083 -x5099 -x5100 -x5081 -x5082 -x5098 -x5086 -x5096 -x5097 -x5084 -x5085 -x5095 -x5089 -x5093 -x5094 -x5087 -x5088 -x5092 -x5090 -x5091 -x5105 -x5123 -x5124 -x5102 -x5104 -x5103 -x5122 -x5109 -x5120 -x5121 -x5106 -x5108 -x5107 -x5119 -x5113 -x5117 -x5118 -x5110 -x5112 -x5111 -x5116 x5114 -x5115 -x5163 -x5135 -x5161 -x5162 -x5131 -x5134 -x5130 -x5129 -x5133 -x5132 -x5160 -x5142 -x5158 -x5159 -x5138 -x5141 -x5137 -x5136 -x5140 -x5139 -x5157 x5149 x5155 -x5156 x5145 -x5148 x5144 x5143 -x5147 -x5146 -x5154 -x5151 -x5153 -x5150 x5152 -x5216 -x5248 -x5249 -x5213 -x5215 -x5212 -x5187 -x5211 -x5169 -x5185 -x5186 -x5167 -x5168 -x5184 -x5172 -x5182 -x5183 -x5170 -x5171 -x5181 -x5175 -x5179 -x5180 -x5173 -x5174 -x5178 -x5176 -x5177 -x5191 -x5209 -x5210 -x5188 -x5190 -x5189 -x5208 -x5195 -x5206 -x5207 -x5192 -x5194 -x5193 -x5205 -x5199 -x5203 -x5204 -x5196 -x5198 -x5197 -x5202 -x5200 -x5201 -x5214 -x5247 -x5222 -x5245 -x5246 -x5219 -x5221 -x5218 -x5217 -x5220 -x5244 -x5228 -x5242 -x5243 -x5225 -x5227 -x5224 -x5223 -x5226 -x5241 x5234 -x5239 x5240 -x5231 x5233 -x5230 -x5229 x5232 -x5238 -x5236 -x5237 -x5235 -x5311 -x5279 -x5310 -x5255 -x5277 -x5278 -x5253 -x5254 -x5276 -x5258 -x5274 -x5275 -x5256 -x5257 -x5273 -x5261 -x5271 -x5272 -x5259 -x5260 -x5270 x5264 x5268 -x5269 x5262 -x5263 -x5267 -x5265 -x5266 -x5283 -x5308 -x5309 -x5280 -x5282 -x5281 -x5307 -x5287 -x5305 -x5306 -x5284 -x5286 -x5285 -x5304 -x5291 -x5302 -x5303 -x5288 -x5290 -x5289 -x5301 x5295 -x5299 x5300 -x5292 x5294 x5293 -x5298 -x5296 -x5297 -x5366 -x5318 -x5364 -x5365 -x5315 -x5317 -x5314 -x5316 -x5363 -x5325 -x5361 -x5362 -x5321 -x5324 -x5320 -x5319 -x5323 -x5322 -x5360 -x5332 -x5358 -x5359 -x5328 -x5331 -x5327 -x5326 -x5330 -x5329 -x5357 -x5339 x5355 x5356 -x5335 -x5338 -x5334 -x5333 -x5337 -x5336 x5354 x5346 x5352 x5353 x5342 x5345 x5341 x5340 x5344 x5343 -x5351 -x5348 -x5350 -x5347 -x5349 -x5432 -x5481 -x5482 -x5429 -x5431 -x5428 -x5396 -x5427 -x5372 -x5394 -x5395 -x5370 -x5371 -x5393 -x5375 -x5391 -x5392 -x5373 -x5374 -x5390 -x5378 -x5388 -x5389 -x5376 -x5377 -x5387 -x5381 -x5385 -x5386 -x5379 -x5380 -x5384 -x5382 x5383 -x5400 -x5425 -x5426 -x5397 -x5399 -x5398 -x5424 -x5404 -x5422 -x5423 -x5401 -x5403 -x5402 -x5421 -x5408 -x5419 -x5420 -x5405 -x5407 -x5406 -x5418 -x5412 -x5416 -x5417 -x5409 -x5411 -x5410 -x5415 -x5413 x5414 -x5430 -x5480 -x5437 -x5478 -x5479 -x5434 -x5436 -x5433 -x5435 -x5477 -x5443 -x5475 -x5476 -x5440 -x5442 -x5439 -x5438 -x5441 -x5474 -x5449 -x5472 -x5473 -x5446 -x5448 -x5445 -x5444 -x5447 -x5471 x5455 -x5469 x5470 -x5452 x5454 -x5451 -x5450 -x5453 -x5468 -x5461 -x5466 -x5467 -x5458 -x5460 -x5457 -x5456 -x5459 -x5465 -x5463 -x5464 x5462 -x5570 -x5524 -x5569 -x5488 -x5522 -x5523 -x5486 -x5487 -x5521 -x5491 -x5519 -x5520 -x5489 -x5490 -x5518 -x5494 -x5516 -x5517 -x5492 -x5493 -x5515 -x5497 -x5513 -x5514 -x5495 -x5496 -x5512 -x5500 -x5510 -x5511 -x5498 -x5499 -x5509 -x5503 -x5507 -x5508 -x5501 -x5502 -x5506 -x5504 -x5505 -x5528 -x5567 -x5568 -x5525 -x5527 -x5526 -x5566 -x5532 -x5564 -x5565 -x5529 -x5531 -x5530 -x5563 -x5536 -x5561 -x5562 -x5533 -x5535 -x5534 -x5560 -x5540 -x5558 -x5559 -x5537 -x5539 -x5538 -x5557 -x5544 -x5555 -x5556 -x5541 -x5543 -x5542 -x5554 -x5548 -x5552 -x5553 -x5545 -x5547 -x5546 -x5551 x5549 -x5550 -x5637 -x5579 -x5635 -x5636 -x5575 -x5578 -x5574 -x5573 -x5577 -x5576 -x5634 -x5586 -x5632 -x5633 -x5582 -x5585 -x5581 -x5580 -x5584 -x5583 -x5631 -x5593 -x5629 -x5630 -x5589 -x5592 -x5588 -x5587 -x5591 -x5590 -x5628 -x5600 -x5626 -x5627 -x5596 -x5599 -x5595 -x5594 -x5598 -x5597 -x5625 x5607 x5623 -x5624 x5603 -x5606 x5602 x5601 -x5605 -x5604 -x5622 -x5614 -x5620 -x5621 -x5610 -x5613 -x5609 -x5608 -x5612 -x5611 -x5619 -x5616 x5618 -x5615 x5617 -x5729 -x5788 -x5789 -x5726 -x5728 -x5725 -x5679 -x5724 -x5643 -x5677 -x5678 -x5641 -x5642 -x5676 -x5646 -x5674 -x5675 -x5644 -x5645 -x5673 -x5649 -x5671 -x5672 -x5647 -x5648 -x5670 -x5652 -x5668 -x5669 -x5650 -x5651 -x5667 -x5655 -x5665 -x5666 -x5653 -x5654 -x5664 -x5658 -x5662 -x5663 -x5656 -x5657 -x5661 -x5659 -x5660 -x5683 -x5722 -x5723 -x5680 -x5682 -x5681 -x5721 -x5687 -x5719 -x5720 -x5684 -x5686 -x5685 -x5718 -x5691 -x5716 -x5717 -x5688 -x5690 -x5689 -x5715 -x5695 -x5713 -x5714 -x5692 -x5694 -x5693 -x5712 -x5699 -x5710 -x5711 -x5696 -x5698 -x5697 -x5709 -x5703 -x5707 -x5708 -x5700 -x5702 -x5701 -x5706 -x5704 -x5705 -x5727 -x5787 -x5735 -x5785 -x5786 -x5732 -x5734 -x5731 -x5730 -x5733 -x5784 -x5741 -x5782 -x5783 -x5738 -x5740 -x5737 -x5736 -x5739 -x5781 -x5747 -x5779 -x5780 -x5744 -x5746 -x5743 -x5742 -x5745 -x5778 -x5753 -x5776 -x5777 -x5750 -x5752 -x5749 -x5748 -x5751 -x5775 x5759 -x5773 x5774 -x5756 x5758 -x5755 -x5754 x5757 -x5772 -x5765 -x5770 -x5771 -x5762 -x5764 -x5761 -x5760 -x5763 -x5769 -x5767 x5768 -x5766 -x5793 -x6342 x6402 -x6338 x6341 -x6223 -x6337 -x6167 -x6221 -x6222 -x6106 -x6166 -x6105 -x6020 -x6104 -x5982 -x6018 -x6019 -x5934 -x5981 -x5933 -x5884 -x5932 -x5858 -x5882 -x5883 -x5836 -x5857 -x5835 -x5816 -x5834 -x5808 x5814 x5815 -x5799 -x5807 -x5798 -x5795 -x5797 x5796 -x5806 -x5802 -x5805 x5800 -x5801 -x5803 x5804 x5813 x5810 x5812 x5809 x5811 x5827 -x5832 x5833 -x5824 x5826 -x5823 -x5819 -x5822 -x5817 x5818 -x5820 x5821 -x5825 -x5831 -x5829 -x5830 x5828 -x5856 -x5845 -x5855 -x5839 -x5843 -x5844 -x5837 -x5838 -x5842 -x5840 -x5841 -x5849 -x5853 -x5854 -x5846 -x5848 -x5847 -x5852 x5850 -x5851 -x5881 -x5863 -x5879 -x5880 -x5860 -x5862 -x5859 -x5861 -x5878 x5870 x5876 -x5877 x5866 -x5869 x5865 x5864 -x5868 -x5867 -x5875 -x5872 x5874 -x5871 x5873 -x5908 -x5930 -x5931 -x5905 -x5907 -x5904 -x5893 -x5903 -x5887 -x5891 -x5892 -x5885 -x5886 -x5890 -x5888 -x5889 -x5897 -x5901 -x5902 -x5894 -x5896 -x5895 -x5900 -x5898 -x5899 -x5906 -x5929 -x5913 -x5927 -x5928 -x5910 -x5912 -x5909 -x5911 -x5926 x5919 -x5924 x5925 -x5916 x5918 -x5915 -x5914 x5917 -x5923 -x5921 x5922 -x5920 -x5980 -x5955 -x5979 -x5937 -x5953 -x5954 -x5935 -x5936 -x5952 -x5940 -x5950 -x5951 -x5938 -x5939 -x5949 -x5943 -x5947 -x5948 -x5941 -x5942 -x5946 -x5944 -x5945 -x5959 -x5977 -x5978 -x5956 -x5958 -x5957 -x5976 -x5963 -x5974 -x5975 -x5960 -x5962 -x5961 -x5973 -x5967 -x5971 -x5972 -x5964 -x5966 -x5965 -x5970 -x5968 -x5969 -x6017 -x5989 -x6015 -x6016 -x5985 -x5988 -x5984 -x5983 -x5987 -x5986 -x6014 -x5996 -x6012 -x6013 -x5992 -x5995 -x5991 -x5990 -x5994 -x5993 -x6011 x6003 x6009 -x6010 x5999 -x6002 x5998 x5997 -x6001 -x6000 -x6008 x6005 -x6007 x6004 -x6006 -x6070 -x6102 -x6103 -x6067 -x6069 -x6066 -x6041 -x6065 -x6023 -x6039 -x6040 -x6021 -x6022 -x6038 -x6026 -x6036 -x6037 -x6024 -x6025 -x6035 -x6029 -x6033 -x6034 -x6027 -x6028 -x6032 -x6030 -x6031 -x6045 -x6063 -x6064 -x6042 -x6044 -x6043 -x6062 -x6049 -x6060 -x6061 -x6046 -x6048 -x6047 -x6059 -x6053 -x6057 -x6058 -x6050 -x6052 -x6051 -x6056 -x6054 -x6055 -x6068 -x6101 -x6076 -x6099 -x6100 -x6073 -x6075 -x6072 -x6071 -x6074 -x6098 -x6082 -x6096 -x6097 -x6079 -x6081 -x6078 -x6077 -x6080 -x6095 x6088 -x6093 x6094 -x6085 x6087 -x6084 -x6083 x6086 -x6092 -x6090 x6091 -x6089 -x6165 -x6133 -x6164 -x6109 -x6131 -x6132 -x6107 -x6108 -x6130 -x6112 -x6128 -x6129 -x6110 -x6111 -x6127 -x6115 -x6125 -x6126 -x6113 -x6114 -x6124 x6118 x6122 -x6123 x6116 -x6117 -x6121 x6119 -x6120 -x6137 -x6162 -x6163 -x6134 -x6136 -x6135 -x6161 -x6141 -x6159 -x6160 -x6138 -x6140 -x6139 -x6158 -x6145 -x6156 -x6157 -x6142 -x6144 -x6143 -x6155 x6149 -x6153 x6154 -x6146 x6148 x6147 -x6152 -x6150 x6151 -x6220 -x6172 -x6218 -x6219 -x6169 -x6171 -x6168 -x6170 -x6217 -x6179 -x6215 -x6216 -x6175 -x6178 -x6174 -x6173 -x6177 -x6176 -x6214 -x6186 -x6212 -x6213 -x6182 -x6185 -x6181 -x6180 -x6184 -x6183 -x6211 -x6193 x6209 x6210 -x6189 -x6192 -x6188 -x6187 -x6191 -x6190 x6208 x6200 x6206 x6207 x6196 x6199 x6195 x6194 x6198 x6197 x6205 x6202 x6204 x6201 x6203 -x6286 -x6335 -x6336 -x6283 -x6285 -x6282 -x6250 -x6281 -x6226 -x6248 -x6249 -x6224 -x6225 -x6247 -x6229 -x6245 -x6246 -x6227 -x6228 -x6244 -x6232 -x6242 -x6243 -x6230 -x6231 -x6241 -x6235 -x6239 -x6240 -x6233 -x6234 -x6238 -x6236 -x6237 -x6254 -x6279 -x6280 -x6251 -x6253 -x6252 -x6278 -x6258 -x6276 -x6277 -x6255 -x6257 -x6256 -x6275 -x6262 -x6273 -x6274 -x6259 -x6261 -x6260 -x6272 -x6266 -x6270 -x6271 -x6263 -x6265 -x6264 -x6269 -x6267 -x6268 -x6284 -x6334 -x6291 -x6332 -x6333 -x6288 -x6290 -x6287 -x6289 -x6331 -x6297 -x6329 -x6330 -x6294 -x6296 -x6293 -x6292 -x6295 -x6328 -x6303 -x6326 -x6327 -x6300 -x6302 -x6299 -x6298 -x6301 -x6325 x6309 -x6323 x6324 -x6306 x6308 -x6305 -x6304 -x6307 -x6322 x6315 -x6320 x6321 -x6312 x6314 -x6311 -x6310 -x6313 -x6319 -x6317 -x6318 -x6316 -x6340 -x6339 x6343 x6401 -x6349 x6400 -x6345 x6348 -x6344 -x6347 -x6346 x6350 x6399 -x6356 x6398 -x6352 x6355 -x6351 -x6354 -x6353 x6357 x6397 -x6363 x6396 -x6359 x6362 -x6358 -x6361 -x6360 x6364 x6395 -x6370 x6394 -x6366 x6369 -x6365 -x6368 -x6367 x6371 x6393 -x6377 x6392 x6373 -x6376 x6372 x6375 x6374 x6378 x6391 x6384 -x6390 x6380 x6383 x6379 -x6382 -x6381 -x6385 -x6389 -x6386 -x6388 x6387 -x6405 -x6659 x6661 x6506 x6508 -x6658 -x6505 -x6452 -x6504 -x6410 -x6450 -x6451 -x6408 -x6409 -x6449 -x6413 -x6447 -x6448 -x6411 -x6412 -x6446 -x6416 -x6444 -x6445 -x6414 -x6415 -x6443 -x6419 -x6441 -x6442 -x6417 -x6418 -x6440 -x6422 -x6438 -x6439 -x6420 -x6421 -x6437 -x6425 -x6435 -x6436 -x6423 -x6424 -x6434 -x6428 -x6432 -x6433 -x6426 -x6427 -x6431 -x6429 -x6430 -x6456 -x6502 -x6503 -x6453 -x6455 -x6454 -x6501 -x6460 -x6499 -x6500 -x6457 -x6459 -x6458 -x6498 -x6464 -x6496 -x6497 -x6461 -x6463 -x6462 -x6495 -x6468 -x6493 -x6494 -x6465 -x6467 -x6466 -x6492 -x6472 -x6490 -x6491 -x6469 -x6471 -x6470 -x6489 -x6476 -x6487 -x6488 -x6473 -x6475 -x6474 -x6486 -x6480 -x6484 -x6485 -x6477 -x6479 -x6478 -x6483 -x6481 -x6482 -x6507 -x6597 -x6657 -x6593 x6596 -x6547 -x6592 -x6511 -x6545 -x6546 -x6509 -x6510 -x6544 -x6514 -x6542 -x6543 -x6512 -x6513 -x6541 -x6517 -x6539 -x6540 -x6515 -x6516 -x6538 -x6520 -x6536 -x6537 -x6518 -x6519 -x6535 -x6523 -x6533 -x6534 -x6521 -x6522 -x6532 -x6526 -x6530 -x6531 -x6524 -x6525 -x6529 -x6527 -x6528 -x6551 -x6590 -x6591 -x6548 -x6550 -x6549 -x6589 -x6555 -x6587 -x6588 -x6552 -x6554 -x6553 -x6586 -x6559 -x6584 -x6585 -x6556 -x6558 -x6557 -x6583 -x6563 -x6581 -x6582 -x6560 -x6562 -x6561 -x6580 -x6567 -x6578 -x6579 -x6564 -x6566 -x6565 -x6577 -x6571 -x6575 -x6576 -x6568 -x6570 -x6569 -x6574 -x6572 -x6573 -x6595 -x6594 x6598 -x6656 -x6604 -x6655 -x6600 x6603 -x6599 -x6602 -x6601 x6605 -x6654 -x6611 -x6653 -x6607 x6610 -x6606 -x6609 -x6608 x6612 -x6652 -x6618 -x6651 -x6614 x6617 -x6613 -x6616 -x6615 x6619 -x6650 -x6625 -x6649 -x6621 x6624 -x6620 -x6623 -x6622 x6626 -x6648 -x6632 -x6647 -x6628 x6631 -x6627 -x6630 -x6629 x6633 -x6646 -x6639 -x6645 -x6635 x6638 -x6634 -x6637 -x6636 x6640 -x6644 -x6641 x6643 -x6642 x6660 -x6914 x6916 x6761 x6763 -x6913 -x6760 -x6707 -x6759 -x6665 -x6705 -x6706 -x6663 -x6664 -x6704 -x6668 -x6702 -x6703 -x6666 -x6667 -x6701 -x6671 -x6699 -x6700 -x6669 -x6670 -x6698 -x6674 -x6696 -x6697 -x6672 -x6673 -x6695 -x6677 -x6693 -x6694 -x6675 -x6676 -x6692 -x6680 -x6690 -x6691 -x6678 -x6679 -x6689 -x6683 -x6687 -x6688 -x6681 -x6682 -x6686 -x6684 -x6685 -x6711 -x6757 -x6758 -x6708 -x6710 -x6709 -x6756 -x6715 -x6754 -x6755 -x6712 -x6714 -x6713 -x6753 -x6719 -x6751 -x6752 -x6716 -x6718 -x6717 -x6750 -x6723 -x6748 -x6749 -x6720 -x6722 -x6721 -x6747 -x6727 -x6745 -x6746 -x6724 -x6726 -x6725 -x6744 -x6731 -x6742 -x6743 -x6728 -x6730 -x6729 -x6741 -x6735 -x6739 -x6740 -x6732 -x6734 -x6733 -x6738 -x6736 -x6737 -x6762 -x6852 -x6912 -x6848 x6851 -x6802 -x6847 -x6766 -x6800 -x6801 -x6764 -x6765 -x6799 -x6769 -x6797 -x6798 -x6767 -x6768 -x6796 -x6772 -x6794 -x6795 -x6770 -x6771 -x6793 -x6775 -x6791 -x6792 -x6773 -x6774 -x6790 -x6778 -x6788 -x6789 -x6776 -x6777 -x6787 -x6781 -x6785 -x6786 -x6779 -x6780 -x6784 -x6782 -x6783 -x6806 -x6845 -x6846 -x6803 -x6805 -x6804 -x6844 -x6810 -x6842 -x6843 -x6807 -x6809 -x6808 -x6841 -x6814 -x6839 -x6840 -x6811 -x6813 -x6812 -x6838 -x6818 -x6836 -x6837 -x6815 -x6817 -x6816 -x6835 -x6822 -x6833 -x6834 -x6819 -x6821 -x6820 -x6832 -x6826 -x6830 -x6831 -x6823 -x6825 -x6824 -x6829 -x6827 -x6828 -x6850 -x6849 x6853 -x6911 -x6859 -x6910 -x6855 x6858 -x6854 -x6857 -x6856 x6860 -x6909 -x6866 -x6908 -x6862 x6865 -x6861 -x6864 -x6863 x6867 -x6907 -x6873 -x6906 -x6869 x6872 -x6868 -x6871 -x6870 x6874 -x6905 -x6880 -x6904 -x6876 x6879 -x6875 -x6878 -x6877 x6881 -x6903 -x6887 -x6902 -x6883 x6886 -x6882 -x6885 -x6884 x6888 -x6901 -x6894 -x6900 -x6890 x6893 -x6889 -x6892 -x6891 x6895 -x6899 -x6896 x6898 -x6897 x6915 -x7228 x7230 x7056 x7060 -x7227 -x7055 -x7028 -x7054 -x6968 -x7027 -x6920 -x6966 -x6967 -x6918 -x6919 -x6965 -x6923 -x6963 -x6964 -x6921 -x6922 -x6962 -x6926 -x6960 -x6961 -x6924 -x6925 -x6959 -x6929 -x6957 -x6958 -x6927 -x6928 -x6956 -x6932 -x6954 -x6955 -x6930 -x6931 -x6953 -x6935 -x6951 -x6952 -x6933 -x6934 -x6950 -x6938 -x6948 -x6949 -x6936 -x6937 -x6947 -x6941 -x6945 -x6946 -x6939 -x6940 -x6944 -x6942 -x6943 -x6972 -x7025 -x7026 -x6969 -x6971 -x6970 -x7024 -x6976 -x7022 -x7023 -x6973 -x6975 -x6974 -x7021 -x6980 -x7019 -x7020 -x6977 -x6979 -x6978 -x7018 -x6984 -x7016 -x7017 -x6981 -x6983 -x6982 -x7015 -x6988 -x7013 -x7014 -x6985 -x6987 -x6986 -x7012 -x6992 -x7010 -x7011 -x6989 -x6991 -x6990 -x7009 -x6996 -x7007 -x7008 -x6993 -x6995 -x6994 -x7006 -x7000 -x7004 -x7005 -x6997 -x6999 -x6998 -x7003 -x7001 -x7002 -x7030 -x7053 -x7029 -x7032 -x7052 -x7031 -x7034 -x7051 -x7033 -x7036 -x7050 -x7035 -x7038 -x7049 -x7037 -x7040 -x7048 -x7039 -x7042 -x7047 -x7041 -x7044 -x7046 -x7043 -x7045 -x7059 -x7057 -x7058 -x7171 -x7226 -x7168 x7170 -x7145 -x7167 -x7099 -x7144 -x7063 -x7097 -x7098 -x7061 -x7062 -x7096 -x7066 -x7094 -x7095 -x7064 -x7065 -x7093 -x7069 -x7091 -x7092 -x7067 -x7068 -x7090 -x7072 -x7088 -x7089 -x7070 -x7071 -x7087 -x7075 -x7085 -x7086 -x7073 -x7074 -x7084 -x7078 -x7082 -x7083 -x7076 -x7077 -x7081 -x7079 -x7080 -x7103 -x7142 -x7143 -x7100 -x7102 -x7101 -x7141 -x7107 -x7139 -x7140 -x7104 -x7106 -x7105 -x7138 -x7111 -x7136 -x7137 -x7108 -x7110 -x7109 -x7135 -x7115 -x7133 -x7134 -x7112 -x7114 -x7113 -x7132 -x7119 -x7130 -x7131 -x7116 -x7118 -x7117 -x7129 -x7123 -x7127 -x7128 -x7120 -x7122 -x7121 -x7126 -x7124 -x7125 -x7146 -x7166 -x7148 -x7165 -x7147 -x7150 -x7164 -x7149 -x7152 -x7163 -x7151 -x7154 -x7162 -x7153 -x7156 -x7161 -x7155 -x7158 -x7160 -x7157 -x7159 -x7169 x7172 -x7225 -x7176 -x7224 -x7173 x7175 -x7174 x7177 -x7223 -x7181 -x7222 -x7178 x7180 -x7179 x7182 -x7221 -x7186 -x7220 -x7183 x7185 -x7184 x7187 -x7219 -x7191 -x7218 -x7188 x7190 -x7189 x7192 -x7217 -x7196 -x7216 -x7193 x7195 -x7194 x7197 -x7215 -x7201 -x7214 -x7198 x7200 -x7199 x7202 -x7213 -x7206 -x7212 -x7203 x7205 -x7204 x7207 -x7211 -x7208 x7210 -x7209 x7229 -x7544 x7370 x7374 x7541 -x7369 -x7342 -x7368 -x7282 -x7341 -x7234 -x7280 -x7281 -x7232 -x7233 -x7279 -x7237 -x7277 -x7278 -x7235 -x7236 -x7276 -x7240 -x7274 -x7275 -x7238 -x7239 -x7273 -x7243 -x7271 -x7272 -x7241 -x7242 -x7270 -x7246 -x7268 -x7269 -x7244 -x7245 -x7267 -x7249 -x7265 -x7266 -x7247 -x7248 -x7264 -x7252 x7262 x7263 -x7250 -x7251 x7261 x7255 x7259 x7260 x7253 -x7254 x7258 x7256 x7257 -x7286 -x7339 -x7340 -x7283 -x7285 -x7284 -x7338 -x7290 -x7336 -x7337 -x7287 -x7289 -x7288 -x7335 -x7294 -x7333 -x7334 -x7291 -x7293 -x7292 -x7332 -x7298 -x7330 -x7331 -x7295 -x7297 -x7296 -x7329 -x7302 -x7327 -x7328 -x7299 -x7301 -x7300 -x7326 -x7306 -x7324 -x7325 -x7303 -x7305 -x7304 -x7323 x7310 -x7321 x7322 -x7307 x7309 -x7308 -x7320 -x7314 -x7318 -x7319 -x7311 -x7313 x7312 -x7317 -x7315 -x7316 -x7344 -x7367 -x7343 -x7346 -x7366 -x7345 -x7348 -x7365 -x7347 -x7350 -x7364 -x7349 -x7352 -x7363 -x7351 -x7354 -x7362 -x7353 x7356 -x7361 x7355 -x7358 -x7360 -x7357 -x7359 -x7373 -x7371 -x7372 -x7485 x7540 -x7482 x7484 -x7459 -x7481 -x7413 -x7458 -x7377 -x7411 -x7412 -x7375 -x7376 -x7410 -x7380 -x7408 -x7409 -x7378 -x7379 -x7407 -x7383 -x7405 -x7406 -x7381 -x7382 -x7404 -x7386 -x7402 -x7403 -x7384 -x7385 -x7401 -x7389 x7399 x7400 -x7387 -x7388 x7398 x7392 x7396 x7397 x7390 x7391 -x7395 -x7393 x7394 -x7417 -x7456 -x7457 -x7414 -x7416 -x7415 -x7455 -x7421 -x7453 -x7454 -x7418 -x7420 -x7419 -x7452 -x7425 -x7450 -x7451 -x7422 -x7424 -x7423 -x7449 -x7429 -x7447 -x7448 -x7426 -x7428 -x7427 -x7446 x7433 -x7444 x7445 -x7430 x7432 -x7431 -x7443 -x7437 -x7441 -x7442 -x7434 -x7436 -x7435 -x7440 -x7438 x7439 -x7460 -x7480 -x7462 -x7479 -x7461 -x7464 -x7478 -x7463 -x7466 -x7477 -x7465 -x7468 -x7476 -x7467 x7470 -x7475 x7469 -x7472 -x7474 -x7471 x7473 -x7483 x7486 x7539 -x7490 x7538 -x7487 x7489 -x7488 x7491 x7537 -x7495 x7536 -x7492 x7494 -x7493 x7496 x7535 -x7500 x7534 -x7497 x7499 -x7498 x7501 x7533 -x7505 x7532 -x7502 x7504 -x7503 x7506 x7531 -x7510 x7530 -x7507 x7509 -x7508 x7511 x7529 -x7515 x7528 x7512 -x7514 x7513 x7516 x7527 -x7520 x7526 -x7517 x7519 -x7518 x7521 x7525 x7522 x7524 -x7523 -x7543 x7797 -x7799 x7644 x7646 x7796 -x7643 -x7590 -x7642 -x7548 -x7588 -x7589 -x7546 -x7547 -x7587 -x7551 -x7585 -x7586 -x7549 -x7550 -x7584 -x7554 -x7582 -x7583 -x7552 -x7553 -x7581 -x7557 -x7579 -x7580 -x7555 -x7556 -x7578 -x7560 -x7576 -x7577 -x7558 -x7559 -x7575 x7563 x7573 -x7574 x7561 -x7562 -x7572 -x7566 -x7570 -x7571 -x7564 -x7565 -x7569 -x7567 x7568 -x7594 -x7640 -x7641 -x7591 -x7593 -x7592 -x7639 -x7598 -x7637 -x7638 -x7595 -x7597 -x7596 -x7636 -x7602 -x7634 -x7635 -x7599 -x7601 -x7600 -x7633 -x7606 -x7631 -x7632 -x7603 -x7605 -x7604 -x7630 -x7610 -x7628 -x7629 -x7607 -x7609 -x7608 -x7627 x7614 -x7625 x7626 -x7611 x7613 x7612 -x7624 -x7618 -x7622 -x7623 -x7615 -x7617 -x7616 -x7621 -x7619 x7620 -x7645 -x7735 x7795 -x7731 x7734 -x7685 -x7730 -x7649 -x7683 -x7684 -x7647 -x7648 -x7682 -x7652 -x7680 -x7681 -x7650 -x7651 -x7679 -x7655 -x7677 -x7678 -x7653 -x7654 -x7676 -x7658 -x7674 -x7675 -x7656 -x7657 -x7673 -x7661 x7671 x7672 -x7659 -x7660 x7670 x7664 x7668 x7669 x7662 x7663 x7667 x7665 x7666 -x7689 -x7728 -x7729 -x7686 -x7688 -x7687 -x7727 -x7693 -x7725 -x7726 -x7690 -x7692 -x7691 -x7724 -x7697 -x7722 -x7723 -x7694 -x7696 -x7695 -x7721 -x7701 -x7719 -x7720 -x7698 -x7700 -x7699 -x7718 x7705 -x7716 x7717 -x7702 x7704 -x7703 -x7715 x7709 -x7713 x7714 -x7706 x7708 -x7707 -x7712 -x7710 -x7711 -x7733 -x7732 x7736 x7794 -x7742 x7793 -x7738 x7741 -x7737 -x7740 -x7739 x7743 x7792 -x7749 x7791 -x7745 x7748 -x7744 -x7747 -x7746 x7750 x7790 -x7756 x7789 -x7752 x7755 -x7751 -x7754 -x7753 x7757 x7788 -x7763 x7787 -x7759 x7762 -x7758 -x7761 -x7760 x7764 x7786 -x7770 x7785 x7766 -x7769 x7765 x7768 x7767 x7771 x7784 x7777 -x7783 x7773 x7776 x7772 -x7775 -x7774 -x7778 -x7782 -x7779 -x7781 x7780 -x7798 x8052 -x8054 x7899 x7901 x8051 -x7898 -x7845 -x7897 -x7803 -x7843 -x7844 -x7801 -x7802 -x7842 -x7806 -x7840 -x7841 -x7804 -x7805 -x7839 -x7809 -x7837 -x7838 -x7807 -x7808 -x7836 -x7812 -x7834 -x7835 -x7810 -x7811 -x7833 -x7815 -x7831 -x7832 -x7813 -x7814 -x7830 x7818 x7828 -x7829 x7816 -x7817 -x7827 -x7821 -x7825 -x7826 -x7819 -x7820 -x7824 -x7822 x7823 -x7849 -x7895 -x7896 -x7846 -x7848 -x7847 -x7894 -x7853 -x7892 -x7893 -x7850 -x7852 -x7851 -x7891 -x7857 -x7889 -x7890 -x7854 -x7856 -x7855 -x7888 -x7861 -x7886 -x7887 -x7858 -x7860 -x7859 -x7885 -x7865 -x7883 -x7884 -x7862 -x7864 -x7863 -x7882 x7869 -x7880 x7881 -x7866 x7868 x7867 -x7879 -x7873 -x7877 -x7878 -x7870 -x7872 -x7871 -x7876 -x7874 x7875 -x7900 -x7990 x8050 -x7986 x7989 -x7940 -x7985 -x7904 -x7938 -x7939 -x7902 -x7903 -x7937 -x7907 -x7935 -x7936 -x7905 -x7906 -x7934 -x7910 -x7932 -x7933 -x7908 -x7909 -x7931 -x7913 x7929 x7930 -x7911 -x7912 x7928 x7916 x7926 x7927 x7914 x7915 x7925 x7919 x7923 x7924 x7917 x7918 -x7922 -x7920 -x7921 -x7944 -x7983 -x7984 -x7941 -x7943 -x7942 -x7982 -x7948 -x7980 -x7981 -x7945 -x7947 -x7946 -x7979 -x7952 -x7977 -x7978 -x7949 -x7951 -x7950 -x7976 x7956 -x7974 x7975 -x7953 x7955 -x7954 -x7973 x7960 -x7971 x7972 -x7957 x7959 -x7958 -x7970 -x7964 -x7968 -x7969 -x7961 -x7963 -x7962 -x7967 -x7965 -x7966 -x7988 -x7987 x7991 x8049 -x7997 x8048 -x7993 x7996 -x7992 -x7995 -x7994 x7998 x8047 -x8004 x8046 -x8000 x8003 -x7999 -x8002 -x8001 x8005 x8045 -x8011 x8044 -x8007 x8010 -x8006 -x8009 -x8008 x8012 x8043 x8018 -x8042 x8014 x8017 x8013 -x8016 -x8015 -x8019 -x8041 -x8025 -x8040 x8021 -x8024 x8020 x8023 x8022 x8026 -x8039 -x8032 -x8038 -x8028 x8031 -x8027 -x8030 -x8029 x8033 -x8037 -x8034 -x8036 x8035 -x8053 -x8307 x8309 x8154 x8156 -x8306 -x8153 -x8100 -x8152 -x8058 -x8098 -x8099 -x8056 -x8057 -x8097 -x8061 -x8095 -x8096 -x8059 -x8060 -x8094 -x8064 -x8092 -x8093 -x8062 -x8063 -x8091 -x8067 -x8089 -x8090 -x8065 -x8066 -x8088 -x8070 -x8086 -x8087 -x8068 -x8069 -x8085 -x8073 -x8083 -x8084 -x8071 -x8072 -x8082 -x8076 -x8080 -x8081 -x8074 -x8075 -x8079 -x8077 -x8078 -x8104 -x8150 -x8151 -x8101 -x8103 -x8102 -x8149 -x8108 -x8147 -x8148 -x8105 -x8107 -x8106 -x8146 -x8112 -x8144 -x8145 -x8109 -x8111 -x8110 -x8143 -x8116 -x8141 -x8142 -x8113 -x8115 -x8114 -x8140 -x8120 -x8138 -x8139 -x8117 -x8119 -x8118 -x8137 -x8124 -x8135 -x8136 -x8121 -x8123 -x8122 -x8134 -x8128 -x8132 -x8133 -x8125 -x8127 -x8126 -x8131 -x8129 -x8130 -x8155 -x8245 -x8305 -x8241 x8244 -x8195 -x8240 -x8159 -x8193 -x8194 -x8157 -x8158 -x8192 -x8162 -x8190 -x8191 -x8160 -x8161 -x8189 -x8165 -x8187 -x8188 -x8163 -x8164 -x8186 -x8168 -x8184 -x8185 -x8166 -x8167 -x8183 -x8171 -x8181 -x8182 -x8169 -x8170 -x8180 -x8174 -x8178 -x8179 -x8172 -x8173 -x8177 -x8175 -x8176 -x8199 -x8238 -x8239 -x8196 -x8198 -x8197 -x8237 -x8203 -x8235 -x8236 -x8200 -x8202 -x8201 -x8234 -x8207 -x8232 -x8233 -x8204 -x8206 -x8205 -x8231 -x8211 -x8229 -x8230 -x8208 -x8210 -x8209 -x8228 -x8215 -x8226 -x8227 -x8212 -x8214 -x8213 -x8225 -x8219 -x8223 -x8224 -x8216 -x8218 -x8217 -x8222 -x8220 -x8221 -x8243 -x8242 x8246 -x8304 -x8252 -x8303 -x8248 x8251 -x8247 -x8250 -x8249 x8253 -x8302 -x8259 -x8301 -x8255 x8258 -x8254 -x8257 -x8256 x8260 -x8300 -x8266 -x8299 -x8262 x8265 -x8261 -x8264 -x8263 x8267 -x8298 -x8273 -x8297 -x8269 x8272 -x8268 -x8271 -x8270 x8274 -x8296 -x8280 -x8295 -x8276 x8279 -x8275 -x8278 -x8277 x8281 -x8294 -x8287 -x8293 -x8283 x8286 -x8282 -x8285 -x8284 x8288 -x8292 -x8289 x8291 -x8290 x8308 -x8562 x8564 x8409 x8411 -x8561 -x8408 -x8355 -x8407 -x8313 -x8353 -x8354 -x8311 -x8312 -x8352 -x8316 -x8350 -x8351 -x8314 -x8315 -x8349 -x8319 -x8347 -x8348 -x8317 -x8318 -x8346 -x8322 -x8344 -x8345 -x8320 -x8321 -x8343 -x8325 -x8341 -x8342 -x8323 -x8324 -x8340 -x8328 -x8338 -x8339 -x8326 -x8327 -x8337 -x8331 -x8335 -x8336 -x8329 -x8330 -x8334 -x8332 -x8333 -x8359 -x8405 -x8406 -x8356 -x8358 -x8357 -x8404 -x8363 -x8402 -x8403 -x8360 -x8362 -x8361 -x8401 -x8367 -x8399 -x8400 -x8364 -x8366 -x8365 -x8398 -x8371 -x8396 -x8397 -x8368 -x8370 -x8369 -x8395 -x8375 -x8393 -x8394 -x8372 -x8374 -x8373 -x8392 -x8379 -x8390 -x8391 -x8376 -x8378 -x8377 -x8389 -x8383 -x8387 -x8388 -x8380 -x8382 -x8381 -x8386 -x8384 -x8385 -x8410 -x8500 -x8560 -x8496 x8499 -x8450 -x8495 -x8414 -x8448 -x8449 -x8412 -x8413 -x8447 -x8417 -x8445 -x8446 -x8415 -x8416 -x8444 -x8420 -x8442 -x8443 -x8418 -x8419 -x8441 -x8423 -x8439 -x8440 -x8421 -x8422 -x8438 -x8426 -x8436 -x8437 -x8424 -x8425 -x8435 -x8429 -x8433 -x8434 -x8427 -x8428 -x8432 -x8430 -x8431 -x8454 -x8493 -x8494 -x8451 -x8453 -x8452 -x8492 -x8458 -x8490 -x8491 -x8455 -x8457 -x8456 -x8489 -x8462 -x8487 -x8488 -x8459 -x8461 -x8460 -x8486 -x8466 -x8484 -x8485 -x8463 -x8465 -x8464 -x8483 -x8470 -x8481 -x8482 -x8467 -x8469 -x8468 -x8480 -x8474 -x8478 -x8479 -x8471 -x8473 -x8472 -x8477 -x8475 -x8476 -x8498 -x8497 x8501 -x8559 -x8507 -x8558 -x8503 x8506 -x8502 -x8505 -x8504 x8508 -x8557 -x8514 -x8556 -x8510 x8513 -x8509 -x8512 -x8511 x8515 -x8555 -x8521 -x8554 -x8517 x8520 -x8516 -x8519 -x8518 x8522 -x8553 -x8528 -x8552 -x8524 x8527 -x8523 -x8526 -x8525 x8529 -x8551 -x8535 -x8550 -x8531 x8534 -x8530 -x8533 -x8532 x8536 -x8549 -x8542 -x8548 -x8538 x8541 -x8537 -x8540 -x8539 x8543 -x8547 -x8544 x8546 -x8545 x8563

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-1885491-1245266896/watcher-1885491-1245266896 -o /tmp/evaluation-result-1885491-1245266896/solver-1885491-1245266896 -C 1800 -W 2000 -M 1800 wbo -file-format=opb -time-limit=1800 HOME/instance-1885491-1245266896.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: 0.93 0.98 0.99 3/64 13652
/proc/meminfo: memFree=1791216/2055920 swapFree=4180900/4192956
[pid=13652] ppid=13650 vsize=3368 CPUtime=0
/proc/13652/stat : 13652 (wbo) R 13650 13652 11699 0 -1 4194304 193 0 0 0 0 0 0 0 18 0 1 0 194290218 3448832 177 1992294400 134512640 135709839 4294956240 18446744073709551615 135339956 0 0 4096 3 0 0 0 17 1 0 0
/proc/13652/statm: 842 177 126 292 0 336 0

[startup+0.078618 s]
/proc/loadavg: 0.93 0.98 0.99 3/64 13652
/proc/meminfo: memFree=1791216/2055920 swapFree=4180900/4192956
[pid=13652] ppid=13650 vsize=5168 CPUtime=0.07
/proc/13652/stat : 13652 (wbo) R 13650 13652 11699 0 -1 4194304 740 0 0 0 7 0 0 0 18 0 1 0 194290218 5292032 724 1992294400 134512640 135709839 4294956240 18446744073709551615 134547984 0 0 4096 3 0 0 0 17 1 0 0
/proc/13652/statm: 1292 724 253 292 0 786 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 5168

[startup+0.101621 s]
/proc/loadavg: 0.93 0.98 0.99 3/64 13652
/proc/meminfo: memFree=1791216/2055920 swapFree=4180900/4192956
[pid=13652] ppid=13650 vsize=5444 CPUtime=0.09
/proc/13652/stat : 13652 (wbo) R 13650 13652 11699 0 -1 4194304 865 0 0 0 9 0 0 0 18 0 1 0 194290218 5574656 849 1992294400 134512640 135709839 4294956240 18446744073709551615 135168571 0 0 4096 3 0 0 0 17 1 0 0
/proc/13652/statm: 1361 849 291 292 0 855 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 5444

[startup+0.301657 s]
/proc/loadavg: 0.93 0.98 0.99 3/64 13652
/proc/meminfo: memFree=1791216/2055920 swapFree=4180900/4192956
[pid=13652] ppid=13650 vsize=5944 CPUtime=0.29
/proc/13652/stat : 13652 (wbo) R 13650 13652 11699 0 -1 4194304 1246 0 0 0 29 0 0 0 19 0 1 0 194290218 6086656 1019 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/13652/statm: 1486 1019 135 292 0 1191 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 5944

[startup+0.701728 s]
/proc/loadavg: 0.93 0.98 0.99 3/64 13652
/proc/meminfo: memFree=1791216/2055920 swapFree=4180900/4192956
[pid=13652] ppid=13650 vsize=6868 CPUtime=0.69
/proc/13652/stat : 13652 (wbo) R 13650 13652 11699 0 -1 4194304 1483 0 0 0 68 1 0 0 22 0 1 0 194290218 7032832 1256 1992294400 134512640 135709839 4294956240 18446744073709551615 135168571 0 0 4096 3 0 0 0 17 1 0 0
/proc/13652/statm: 1717 1256 135 292 0 1422 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 6868

[startup+1.50287 s]
/proc/loadavg: 0.93 0.98 0.99 2/65 13653
/proc/meminfo: memFree=1785960/2055920 swapFree=4180900/4192956
[pid=13652] ppid=13650 vsize=8452 CPUtime=1.49
/proc/13652/stat : 13652 (wbo) R 13650 13652 11699 0 -1 4194304 1872 0 0 0 148 1 0 0 25 0 1 0 194290218 8654848 1645 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/13652/statm: 2113 1645 135 292 0 1818 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 8452

[startup+3.10116 s]
/proc/loadavg: 0.93 0.98 0.99 2/65 13653
/proc/meminfo: memFree=1783976/2055920 swapFree=4180900/4192956
[pid=13652] ppid=13650 vsize=11224 CPUtime=3.09
/proc/13652/stat : 13652 (wbo) R 13650 13652 11699 0 -1 4194304 2579 0 0 0 307 2 0 0 25 0 1 0 194290218 11493376 2352 1992294400 134512640 135709839 4294956240 18446744073709551615 134573974 0 0 4096 3 0 0 0 17 1 0 0
/proc/13652/statm: 2806 2352 135 292 0 2511 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 11224

[startup+6.30173 s]
/proc/loadavg: 0.93 0.98 0.99 2/65 13653
/proc/meminfo: memFree=1777520/2055920 swapFree=4180900/4192956
[pid=13652] ppid=13650 vsize=17432 CPUtime=6.29
/proc/13652/stat : 13652 (wbo) R 13650 13652 11699 0 -1 4194304 4130 0 0 0 626 3 0 0 25 0 1 0 194290218 17850368 3903 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/13652/statm: 4358 3903 135 292 0 4063 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 17432

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

[startup+9.50131 s]
/proc/loadavg: 0.94 0.98 0.99 2/65 13653
/proc/meminfo: memFree=1773048/2055920 swapFree=4180900/4192956
[pid=13652] ppid=13650 vsize=21140 CPUtime=9.48
/proc/13652/stat : 13652 (wbo) R 13650 13652 11699 0 -1 4194304 5045 0 0 0 944 4 0 0 25 0 1 0 194290218 21647360 4818 1992294400 134512640 135709839 4294956240 18446744073709551615 134601443 0 0 4096 3 0 0 0 17 1 0 0
/proc/13652/statm: 5285 4818 135 292 0 4990 0
Current children cumulated CPU time (s) 9.48
Current children cumulated vsize (KiB) 21140

[startup+11.1016 s]
/proc/loadavg: 0.94 0.98 0.99 2/65 13653
/proc/meminfo: memFree=1770488/2055920 swapFree=4180900/4192956
[pid=13652] ppid=13650 vsize=23120 CPUtime=11.09
/proc/13652/stat : 13652 (wbo) R 13650 13652 11699 0 -1 4194304 5527 0 0 0 1104 5 0 0 25 0 1 0 194290218 23674880 5300 1992294400 134512640 135709839 4294956240 18446744073709551615 134517505 0 0 4096 3 0 0 0 17 1 0 0
/proc/13652/statm: 5780 5300 135 292 0 5485 0
Current children cumulated CPU time (s) 11.09
Current children cumulated vsize (KiB) 23120

[startup+11.9017 s]
/proc/loadavg: 0.94 0.98 0.99 2/65 13653
/proc/meminfo: memFree=1770488/2055920 swapFree=4180900/4192956
[pid=13652] ppid=13650 vsize=24176 CPUtime=11.88
/proc/13652/stat : 13652 (wbo) R 13650 13652 11699 0 -1 4194304 5797 0 0 0 1183 5 0 0 25 0 1 0 194290218 24756224 5570 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/13652/statm: 6044 5570 135 292 0 5749 0
Current children cumulated CPU time (s) 11.88
Current children cumulated vsize (KiB) 24176

[startup+12.3018 s]
/proc/loadavg: 0.94 0.98 0.99 2/65 13653
/proc/meminfo: memFree=1769080/2055920 swapFree=4180900/4192956
[pid=13652] ppid=13650 vsize=24704 CPUtime=12.28
/proc/13652/stat : 13652 (wbo) R 13650 13652 11699 0 -1 4194304 5938 0 0 0 1223 5 0 0 25 0 1 0 194290218 25296896 5711 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/13652/statm: 6176 5711 135 292 0 5881 0
Current children cumulated CPU time (s) 12.28
Current children cumulated vsize (KiB) 24704

[startup+12.5018 s]
/proc/loadavg: 0.94 0.98 0.99 2/65 13653
/proc/meminfo: memFree=1769080/2055920 swapFree=4180900/4192956
[pid=13652] ppid=13650 vsize=24968 CPUtime=12.48
/proc/13652/stat : 13652 (wbo) R 13650 13652 11699 0 -1 4194304 6014 0 0 0 1243 5 0 0 25 0 1 0 194290218 25567232 5787 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/13652/statm: 6242 5787 135 292 0 5947 0
Current children cumulated CPU time (s) 12.48
Current children cumulated vsize (KiB) 24968

Child status: 0
Real time (s): 12.5177
CPU time (s): 12.5121
CPU user time (s): 12.4491
CPU system time (s): 0.06299
CPU usage (%): 99.9554
Max. virtual memory (cumulated for all children) (KiB): 24968

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 12.4491
system time used= 0.06299
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 6019
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= 20

runsolver used 0.015997 second user time and 0.034994 second system time

The end

Launcher Data 

Begin job on node12 at 2009-06-17 21:28:16
IDJOB=1885491
IDBENCH=72062
IDSOLVER=698
FILE ID=node12/1885491-1245266896
PBS_JOBID= 9372441
Free space on /tmp= 66232 MiB

SOLVER NAME= wbo 1.0
BENCH NAME= PB09/normalized-PB09/PURE-SAT/SAT09/APPLICATIONS/aprove09/AProVE09-07.opb
COMMAND LINE= wbo -file-format=opb -time-limit=TIMEOUT BENCHNAME
CONVERSION SCRIPT= PBconversionToLinear BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1885491-1245266896/watcher-1885491-1245266896 -o /tmp/evaluation-result-1885491-1245266896/solver-1885491-1245266896 -C 1800 -W 2000 -M 1800  wbo -file-format=opb -time-limit=1800 HOME/instance-1885491-1245266896.opb

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

MD5SUM BENCH= 38003d07f6bf82e588aba17f962dcca3
RANDOM SEED=381641224

node12.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.281
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.281
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:       1791568 kB
Buffers:         63652 kB
Cached:         147616 kB
SwapCached:       6264 kB
Active:         111224 kB
Inactive:       108452 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1791568 kB
SwapTotal:     4192956 kB
SwapFree:      4180900 kB
Dirty:            3440 kB
Writeback:           0 kB
Mapped:          13604 kB
Slab:            30724 kB
Committed_AS:   209060 kB
PageTables:       1380 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-1885491-1245266896.opb

Free space on /tmp at the end= 66228 MiB
End job on node12 at 2009-06-17 21:28:29