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-1885394-1245266387.opb
0.00/0.00	c File size is 1522508 bytes.
0.19/0.20	c Highest Coefficient sum: 74
0.19/0.20	c Parsing was ok!!
0.19/0.20	c Total parsing time: 0.201 s
0.19/0.22	c Var: 14685 Constr: 49510 49510/0/0 Lit: 127630 Watch. Lit: 99019
0.19/0.22	c Obj. Vars: 0 (0 % of total variables)
0.49/0.53	c Pre-processing Time: 0.529 s
0.49/0.53	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.49/0.53	c        0  13841    47180   122224    2    94360   15726      0      0 0.53
0.49/0.53	c Switching off lower bounding mode.
34.37/34.46	c      102  13841    47378   125428    2    94756   17299    198    159 0.64
34.37/34.46	c      252  13841    47632   131057    2    95264   19029    452    284 0.89
34.37/34.46	c      482  13840    48051   146793    3    96101   20932    871    347 1.39
34.37/34.46	c      822  13840    48670   169459    3    97339   23026   1490    391 2.10
34.37/34.46	c     1330  13839    49620   224804    4    99238   25329   2440    410 3.24
34.37/34.46	c     2093  13834    51052   338258    6   102101   27862   3872    361 5.79
34.37/34.46	c     3239  13821    53205   608356   11   106405   30649   6025    326 9.91
34.37/34.46	c     4962  13821    56565   913153   16   113125   33714   9385    312 15.89
34.37/34.46	c     7550  13820    61417  1627421   26   122828   37086  14237    223 33.82
34.37/34.46	c Backtracks by Clause: 7616
34.37/34.46	c Backtracks by PB constraint: 0
34.37/34.46	v x14685 x14684 x394 x3 x2 x240 x236 x649 x866 x2656 x3232 x3349 x3514 x3679 x4049 x6375 x6653 x7046 x7401 x9167 x12175 x12274 x11502 x11601 x12552 x12555 x12654 x12932 x13065 x13343 x13460 x12056 x13559 x13676 x10933 x13775 x13874 x14007 x14124 x14402 x12173 x14405 x14683 x233 -x235 x160 x232 -x159 -x109 -x158 -x83 -x107 -x108 -x57 -x82 -x1 -x56 -x34 -x55 -x26 -x32 -x33 -x14 -x25 -x13 -x7 -x12 -x6 -x4 x5 -x10 x11 x8 -x9 -x15 -x24 -x19 -x23 -x16 -x18 -x17 -x21 -x22 -x20 -x31 x28 -x30 x27 -x29 -x48 -x53 -x54 -x45 -x47 -x35 x44 -x39 x43 x36 -x38 x37 x41 x42 x40 -x46 -x52 -x50 x51 -x49 -x58 -x81 -x69 -x80 -x63 -x67 -x68 -x60 -x62 -x59 x61 -x66 -x64 -x65 -x74 -x78 -x79 -x71 -x73 -x70 -x72 -x77 -x75 -x76 -x106 -x88 -x104 -x105 -x85 -x87 -x84 -x86 -x103 -x95 -x101 -x102 -x91 -x94 -x90 -x89 -x93 -x92 -x100 -x97 -x99 x96 -x98 -x134 -x156 -x157 -x131 -x133 -x110 -x130 -x119 -x129 -x113 -x117 -x118 -x111 -x112 -x116 -x114 -x115 -x123 -x127 -x128 -x120 -x122 -x121 -x126 -x124 -x125 -x132 -x155 -x139 -x153 -x154 -x136 -x138 -x135 -x137 -x152 -x145 -x150 -x151 -x142 -x144 -x141 -x140 -x143 -x149 -x147 -x148 -x146 -x208 x231 -x204 x207 -x185 -x203 -x177 -x183 -x184 -x168 -x176 -x167 -x163 -x166 x161 -x162 -x164 x165 -x175 -x171 -x174 -x169 -x170 -x172 -x173 -x182 x179 -x181 x178 -x180 -x196 x201 x202 -x193 -x195 -x192 -x188 -x191 x186 -x187 -x189 x190 -x194 x200 x198 x199 x197 -x206 -x205 x209 x230 -x214 x229 -x210 x213 -x212 -x211 x215 x228 x221 -x227 x217 x220 -x216 -x219 -x218 -x222 -x226 -x223 x225 -x224 x234 -x646 x648 x562 x572 x574 -x645 -x561 -x529 -x560 -x393 -x528 -x237 -x392 -x343 -x391 -x317 -x341 -x342 -x294 -x316 -x238 -x293 -x272 -x292 -x264 -x270 -x271 -x252 -x263 -x251 -x245 -x250 -x241 -x244 -x239 x242 -x243 -x248 -x249 -x246 -x247 -x262 -x257 -x261 -x254 x256 -x253 x255 -x259 x260 -x258 -x269 -x266 -x268 -x265 x267 -x285 -x290 -x291 -x282 -x284 -x281 -x277 -x280 -x274 x276 -x273 x275 -x278 x279 -x283 -x289 -x287 -x288 x286 -x295 -x315 -x304 -x314 -x298 -x302 -x303 -x296 -x297 -x301 -x299 x300 -x308 -x312 -x313 -x305 -x307 -x306 -x311 -x309 x310 -x340 -x322 -x338 -x339 -x319 -x321 -x318 -x320 -x337 -x329 -x335 -x336 -x325 -x328 -x324 -x323 -x327 -x326 -x334 -x331 -x333 -x330 x332 -x367 -x389 -x390 -x364 -x366 -x363 -x352 -x362 -x346 -x350 -x351 -x344 -x345 -x349 -x347 -x348 -x356 -x360 -x361 -x353 -x355 -x354 -x359 -x357 -x358 -x365 -x388 -x372 -x386 -x387 -x369 -x371 -x368 -x370 -x385 -x378 -x383 -x384 -x375 -x377 -x374 -x373 -x376 -x382 -x380 -x381 -x379 -x492 -x527 -x442 -x491 -x441 -x416 -x440 -x398 -x414 -x415 -x395 -x397 -x396 -x413 -x401 -x411 -x412 -x399 -x400 -x410 -x404 -x408 -x409 -x402 -x403 -x407 -x405 -x406 -x420 -x438 -x439 -x417 -x419 -x418 -x437 -x424 -x435 -x436 -x421 -x423 -x422 -x434 -x428 -x432 -x433 -x425 -x427 -x426 -x431 -x429 -x430 -x490 -x465 -x489 -x447 -x463 -x464 -x444 -x446 -x443 -x445 -x462 -x450 -x460 -x461 -x448 -x449 -x459 -x453 -x457 -x458 -x451 -x452 -x456 -x454 -x455 -x469 -x487 -x488 -x466 -x468 -x467 -x486 -x473 -x484 -x485 -x470 -x472 -x471 -x483 -x477 -x481 -x482 -x474 -x476 -x475 -x480 -x478 -x479 -x499 -x525 -x526 -x495 -x498 -x494 -x493 -x497 -x496 -x524 -x506 -x522 -x523 -x502 -x505 -x501 -x500 -x504 -x503 -x521 -x513 -x519 -x520 -x509 -x512 -x508 -x507 -x511 -x510 -x518 -x515 -x517 -x514 -x516 -x535 -x558 -x559 -x532 -x534 -x531 -x530 -x533 -x557 -x541 -x555 -x556 -x538 -x540 -x537 -x536 -x539 -x554 -x547 -x552 -x553 -x544 -x546 -x543 -x542 -x545 -x551 -x549 -x550 -x548 -x571 -x566 -x570 -x563 -x564 -x565 -x567 -x568 -x569 -x573 -x621 -x644 -x617 x620 -x599 -x616 -x591 -x597 -x598 -x582 -x590 -x581 -x577 -x580 -x575 -x576 -x578 -x579 -x589 -x585 -x588 -x583 -x584 -x586 -x587 -x596 -x593 -x595 -x592 -x594 -x609 -x614 -x615 -x606 -x608 -x605 -x602 -x604 -x600 -x601 -x603 -x607 -x613 -x611 -x612 -x610 -x619 -x618 x622 -x643 -x627 -x642 -x623 x626 -x625 -x624 x628 -x641 -x634 -x640 -x630 x633 -x629 -x632 -x631 x635 -x639 -x636 x638 -x637 x647 -x863 x865 x790 -x862 -x789 -x740 -x788 -x714 -x738 -x739 -x692 -x713 -x691 -x672 -x690 -x664 -x670 -x671 -x657 -x663 -x656 -x652 -x655 x650 -x651 -x653 x654 -x662 -x658 -x661 -x659 -x660 -x669 x666 -x668 x665 -x667 -x683 -x688 -x689 -x680 -x682 x679 -x675 x678 x673 -x674 x676 x677 -x681 -x687 -x685 x686 -x684 -x712 -x701 -x711 -x695 -x699 -x700 -x693 -x694 -x698 -x696 -x697 -x705 -x709 -x710 -x702 -x704 -x703 -x708 -x706 -x707 -x737 -x719 -x735 -x736 -x716 -x718 -x715 -x717 -x734 -x726 -x732 -x733 -x722 -x725 -x721 -x720 -x724 -x723 -x731 x728 -x730 x727 -x729 -x764 -x786 -x787 -x761 -x763 -x760 -x749 -x759 -x743 -x747 -x748 -x741 -x742 -x746 -x744 -x745 -x753 -x757 -x758 -x750 -x752 -x751 -x756 -x754 -x755 -x762 -x785 -x769 -x783 -x784 -x766 -x768 -x765 -x767 -x782 -x775 -x780 -x781 -x772 -x774 -x771 -x770 -x773 -x779 -x777 x778 -x776 -x838 -x861 -x834 x837 -x815 -x833 -x807 -x813 -x814 -x798 -x806 -x797 -x793 -x796 -x791 x792 -x794 x795 -x805 -x801 -x804 -x799 -x800 -x802 -x803 -x812 x809 -x811 x808 -x810 -x826 -x831 -x832 -x823 -x825 -x822 -x818 -x821 -x816 x817 -x819 x820 -x824 -x830 -x828 x829 x827 -x836 -x835 x839 -x860 -x844 -x859 -x840 x843 -x842 -x841 x845 -x858 -x851 -x857 -x847 x850 -x846 -x849 -x848 x852 -x856 x853 -x855 x854 x864 x2653 -x2655 -x2576 x2652 -x1720 x2575 -x1569 -x1719 -x1501 -x1567 -x1568 -x1414 -x1500 -x1413 -x1298 -x1412 -x1242 -x1296 -x1297 -x1181 -x1241 -x1180 -x1095 -x1179 -x1057 -x1093 -x1094 -x1009 -x1056 -x1008 -x959 -x1007 -x933 -x957 -x958 -x911 -x932 -x910 -x891 -x909 -x883 -x889 -x890 -x874 -x882 -x873 -x869 -x872 x867 -x868 -x870 x871 -x881 -x877 -x880 -x875 -x876 x878 -x879 -x888 x885 -x887 x884 x886 -x902 -x907 -x908 -x899 -x901 -x898 -x894 -x897 -x892 -x893 -x895 -x896 -x900 -x906 -x904 x905 -x903 -x931 -x920 -x930 -x914 -x918 -x919 -x912 -x913 -x917 -x915 x916 -x924 -x928 -x929 -x921 -x923 -x922 -x927 -x925 x926 -x956 -x938 -x954 -x955 -x935 -x937 -x934 -x936 -x953 -x945 -x951 -x952 -x941 -x944 -x940 -x939 -x943 -x942 -x950 x947 -x949 x946 x948 -x983 -x1005 -x1006 -x980 -x982 -x979 -x968 -x978 -x962 -x966 -x967 -x960 -x961 -x965 -x963 x964 -x972 -x976 -x977 -x969 -x971 -x970 -x975 -x973 x974 -x981 -x1004 -x988 -x1002 -x1003 -x985 -x987 -x984 -x986 -x1001 -x994 -x999 -x1000 -x991 -x993 -x990 -x989 -x992 -x998 -x996 x997 x995 -x1055 -x1030 -x1054 -x1012 -x1028 -x1029 -x1010 -x1011 -x1027 -x1015 -x1025 -x1026 -x1013 -x1014 -x1024 -x1018 -x1022 -x1023 -x1016 -x1017 -x1021 -x1019 -x1020 -x1034 -x1052 -x1053 -x1031 -x1033 -x1032 -x1051 -x1038 -x1049 -x1050 -x1035 -x1037 -x1036 -x1048 -x1042 -x1046 -x1047 -x1039 -x1041 -x1040 -x1045 x1043 -x1044 -x1092 -x1064 -x1090 -x1091 -x1060 -x1063 -x1059 -x1058 -x1062 -x1061 -x1089 -x1071 -x1087 -x1088 -x1067 -x1070 -x1066 -x1065 -x1069 -x1068 -x1086 -x1078 -x1084 -x1085 -x1074 -x1077 -x1073 -x1072 -x1076 -x1075 -x1083 x1080 -x1082 x1079 x1081 -x1145 -x1177 -x1178 -x1142 -x1144 -x1141 -x1116 -x1140 -x1098 -x1114 -x1115 -x1096 -x1097 -x1113 -x1101 -x1111 -x1112 -x1099 -x1100 -x1110 -x1104 -x1108 -x1109 -x1102 -x1103 -x1107 -x1105 -x1106 -x1120 -x1138 -x1139 -x1117 -x1119 -x1118 -x1137 -x1124 -x1135 -x1136 -x1121 -x1123 -x1122 -x1134 -x1128 -x1132 -x1133 -x1125 -x1127 -x1126 -x1131 -x1129 -x1130 -x1143 -x1176 -x1151 -x1174 -x1175 -x1148 -x1150 -x1147 -x1146 -x1149 -x1173 -x1157 -x1171 -x1172 -x1154 -x1156 -x1153 -x1152 -x1155 -x1170 -x1163 -x1168 -x1169 -x1160 -x1162 -x1159 -x1158 -x1161 -x1167 -x1165 x1166 -x1164 -x1240 -x1208 -x1239 -x1184 -x1206 -x1207 -x1182 -x1183 -x1205 -x1187 -x1203 -x1204 -x1185 -x1186 -x1202 -x1190 -x1200 -x1201 -x1188 -x1189 -x1199 -x1193 -x1197 -x1198 -x1191 -x1192 -x1196 -x1194 x1195 -x1212 -x1237 -x1238 -x1209 -x1211 -x1210 -x1236 -x1216 -x1234 -x1235 -x1213 -x1215 -x1214 -x1233 -x1220 -x1231 -x1232 -x1217 -x1219 -x1218 -x1230 -x1224 -x1228 -x1229 -x1221 -x1223 -x1222 -x1227 -x1225 x1226 -x1295 -x1247 -x1293 -x1294 -x1244 -x1246 -x1243 -x1245 -x1292 -x1254 -x1290 -x1291 -x1250 -x1253 -x1249 -x1248 -x1252 -x1251 -x1289 -x1261 -x1287 -x1288 -x1257 -x1260 -x1256 -x1255 -x1259 -x1258 -x1286 -x1268 -x1284 -x1285 -x1264 -x1267 -x1263 -x1262 -x1266 -x1265 -x1283 -x1275 x1281 x1282 -x1271 -x1274 -x1270 -x1269 -x1273 -x1272 x1280 x1277 x1279 x1276 x1278 -x1361 -x1410 -x1411 -x1358 -x1360 -x1357 -x1325 -x1356 -x1301 -x1323 -x1324 -x1299 -x1300 -x1322 -x1304 -x1320 -x1321 -x1302 -x1303 -x1319 -x1307 -x1317 -x1318 -x1305 -x1306 -x1316 -x1310 -x1314 -x1315 -x1308 -x1309 -x1313 -x1311 x1312 -x1329 -x1354 -x1355 -x1326 -x1328 -x1327 -x1353 -x1333 -x1351 -x1352 -x1330 -x1332 -x1331 -x1350 -x1337 -x1348 -x1349 -x1334 -x1336 -x1335 -x1347 -x1341 -x1345 -x1346 -x1338 -x1340 -x1339 -x1344 -x1342 x1343 -x1359 -x1409 -x1366 -x1407 -x1408 -x1363 -x1365 -x1362 -x1364 -x1406 -x1372 -x1404 -x1405 -x1369 -x1371 -x1368 -x1367 -x1370 -x1403 -x1378 -x1401 -x1402 -x1375 -x1377 -x1374 -x1373 -x1376 -x1400 -x1384 -x1398 -x1399 -x1381 -x1383 -x1380 -x1379 -x1382 -x1397 x1390 -x1395 x1396 -x1387 x1389 -x1386 -x1385 -x1388 -x1394 -x1392 -x1393 x1391 -x1499 -x1453 -x1498 -x1417 -x1451 -x1452 -x1415 -x1416 -x1450 -x1420 -x1448 -x1449 -x1418 -x1419 -x1447 -x1423 -x1445 -x1446 -x1421 -x1422 -x1444 -x1426 -x1442 -x1443 -x1424 -x1425 -x1441 -x1429 -x1439 -x1440 -x1427 -x1428 -x1438 -x1432 -x1436 -x1437 -x1430 -x1431 -x1435 -x1433 -x1434 -x1457 -x1496 -x1497 -x1454 -x1456 -x1455 -x1495 -x1461 -x1493 -x1494 -x1458 -x1460 -x1459 -x1492 -x1465 -x1490 -x1491 -x1462 -x1464 -x1463 -x1489 -x1469 -x1487 -x1488 -x1466 -x1468 -x1467 -x1486 -x1473 -x1484 -x1485 -x1470 -x1472 -x1471 -x1483 -x1477 -x1481 -x1482 -x1474 -x1476 -x1475 -x1480 -x1478 -x1479 -x1566 -x1508 -x1564 -x1565 -x1504 -x1507 -x1503 -x1502 -x1506 -x1505 -x1563 -x1515 -x1561 -x1562 -x1511 -x1514 -x1510 -x1509 -x1513 -x1512 -x1560 -x1522 -x1558 -x1559 -x1518 -x1521 -x1517 -x1516 -x1520 -x1519 -x1557 -x1529 -x1555 -x1556 -x1525 -x1528 -x1524 -x1523 -x1527 -x1526 -x1554 -x1536 -x1552 -x1553 -x1532 -x1535 -x1531 -x1530 -x1534 -x1533 -x1551 x1543 x1549 -x1550 x1539 -x1542 x1538 x1537 -x1541 -x1540 -x1548 -x1545 -x1547 -x1544 -x1546 -x1658 -x1717 -x1718 -x1655 -x1657 -x1654 -x1608 -x1653 -x1572 -x1606 -x1607 -x1570 -x1571 -x1605 -x1575 -x1603 -x1604 -x1573 -x1574 -x1602 -x1578 -x1600 -x1601 -x1576 -x1577 -x1599 -x1581 -x1597 -x1598 -x1579 -x1580 -x1596 -x1584 -x1594 -x1595 -x1582 -x1583 -x1593 -x1587 x1591 x1592 -x1585 -x1586 x1590 x1588 x1589 -x1612 -x1651 -x1652 -x1609 -x1611 -x1610 -x1650 -x1616 -x1648 -x1649 -x1613 -x1615 -x1614 -x1647 -x1620 -x1645 -x1646 -x1617 -x1619 -x1618 -x1644 -x1624 -x1642 -x1643 -x1621 -x1623 -x1622 -x1641 -x1628 -x1639 -x1640 -x1625 -x1627 -x1626 -x1638 x1632 -x1636 x1637 -x1629 x1631 -x1630 -x1635 x1633 -x1634 -x1656 -x1716 -x1664 -x1714 -x1715 -x1661 -x1663 -x1660 -x1659 -x1662 -x1713 -x1670 -x1711 -x1712 -x1667 -x1669 -x1666 -x1665 -x1668 -x1710 -x1676 -x1708 -x1709 -x1673 -x1675 -x1672 -x1671 -x1674 -x1707 -x1682 -x1705 -x1706 -x1679 -x1681 -x1678 -x1677 -x1680 -x1704 -x1688 x1702 x1703 -x1685 -x1687 -x1684 -x1683 -x1686 x1701 x1694 x1699 x1700 x1691 x1693 x1690 x1689 x1692 -x1698 x1696 -x1697 x1695 -x2574 -x2423 -x2573 -x2355 -x2421 -x2422 -x2268 -x2354 -x2267 -x2152 -x2266 -x2096 -x2150 -x2151 -x2035 -x2095 -x2034 -x1949 -x2033 -x1911 -x1947 -x1948 -x1863 -x1910 -x1862 -x1813 -x1861 -x1787 -x1811 -x1812 -x1765 -x1786 -x1764 -x1745 -x1763 -x1737 -x1743 -x1744 -x1728 -x1736 -x1727 -x1723 -x1726 -x1721 -x1722 -x1724 -x1725 -x1735 -x1731 -x1734 -x1729 -x1730 -x1732 -x1733 -x1742 -x1739 -x1741 -x1738 -x1740 -x1756 -x1761 -x1762 -x1753 -x1755 -x1752 -x1748 -x1751 -x1746 -x1747 -x1749 -x1750 -x1754 -x1760 -x1758 -x1759 -x1757 -x1785 -x1774 -x1784 -x1768 -x1772 -x1773 -x1766 -x1767 -x1771 -x1769 -x1770 -x1778 -x1782 -x1783 -x1775 -x1777 -x1776 -x1781 -x1779 -x1780 -x1810 -x1792 -x1808 -x1809 -x1789 -x1791 -x1788 -x1790 -x1807 -x1799 -x1805 -x1806 -x1795 -x1798 -x1794 -x1793 -x1797 -x1796 -x1804 -x1801 -x1803 -x1800 -x1802 -x1837 -x1859 -x1860 -x1834 -x1836 -x1833 -x1822 -x1832 -x1816 -x1820 -x1821 -x1814 -x1815 -x1819 -x1817 -x1818 -x1826 -x1830 -x1831 -x1823 -x1825 -x1824 -x1829 -x1827 -x1828 -x1835 -x1858 -x1842 -x1856 -x1857 -x1839 -x1841 -x1838 -x1840 -x1855 -x1848 -x1853 -x1854 -x1845 -x1847 -x1844 -x1843 -x1846 -x1852 -x1850 -x1851 -x1849 -x1909 -x1884 -x1908 -x1866 -x1882 -x1883 -x1864 -x1865 -x1881 -x1869 -x1879 -x1880 -x1867 -x1868 -x1878 -x1872 -x1876 -x1877 -x1870 -x1871 -x1875 -x1873 -x1874 -x1888 -x1906 -x1907 -x1885 -x1887 -x1886 -x1905 -x1892 -x1903 -x1904 -x1889 -x1891 -x1890 -x1902 -x1896 -x1900 -x1901 -x1893 -x1895 -x1894 -x1899 -x1897 -x1898 -x1946 -x1918 -x1944 -x1945 -x1914 -x1917 -x1913 -x1912 -x1916 -x1915 -x1943 -x1925 -x1941 -x1942 -x1921 -x1924 -x1920 -x1919 -x1923 -x1922 -x1940 -x1932 -x1938 -x1939 -x1928 -x1931 -x1927 -x1926 -x1930 -x1929 -x1937 -x1934 -x1936 -x1933 -x1935 -x1999 -x2031 -x2032 -x1996 -x1998 -x1995 -x1970 -x1994 -x1952 -x1968 -x1969 -x1950 -x1951 -x1967 -x1955 -x1965 -x1966 -x1953 -x1954 -x1964 -x1958 -x1962 -x1963 -x1956 -x1957 -x1961 -x1959 -x1960 -x1974 -x1992 -x1993 -x1971 -x1973 -x1972 -x1991 -x1978 -x1989 -x1990 -x1975 -x1977 -x1976 -x1988 -x1982 -x1986 -x1987 -x1979 -x1981 -x1980 -x1985 -x1983 -x1984 -x1997 -x2030 -x2005 -x2028 -x2029 -x2002 -x2004 -x2001 -x2000 -x2003 -x2027 -x2011 -x2025 -x2026 -x2008 -x2010 -x2007 -x2006 -x2009 -x2024 -x2017 -x2022 -x2023 -x2014 -x2016 -x2013 -x2012 -x2015 -x2021 -x2019 -x2020 -x2018 -x2094 -x2062 -x2093 -x2038 -x2060 -x2061 -x2036 -x2037 -x2059 -x2041 -x2057 -x2058 -x2039 -x2040 -x2056 -x2044 -x2054 -x2055 -x2042 -x2043 -x2053 -x2047 -x2051 -x2052 -x2045 -x2046 -x2050 -x2048 -x2049 -x2066 -x2091 -x2092 -x2063 -x2065 -x2064 -x2090 -x2070 -x2088 -x2089 -x2067 -x2069 -x2068 -x2087 -x2074 -x2085 -x2086 -x2071 -x2073 -x2072 -x2084 -x2078 -x2082 -x2083 -x2075 -x2077 -x2076 -x2081 -x2079 -x2080 -x2149 -x2101 -x2147 -x2148 -x2098 -x2100 -x2097 -x2099 -x2146 -x2108 -x2144 -x2145 -x2104 -x2107 -x2103 -x2102 -x2106 -x2105 -x2143 -x2115 -x2141 -x2142 -x2111 -x2114 -x2110 -x2109 -x2113 -x2112 -x2140 -x2122 -x2138 -x2139 -x2118 -x2121 -x2117 -x2116 -x2120 -x2119 -x2137 -x2129 -x2135 -x2136 -x2125 -x2128 -x2124 -x2123 -x2127 -x2126 -x2134 -x2131 -x2133 -x2130 -x2132 -x2215 -x2264 -x2265 -x2212 -x2214 -x2211 -x2179 -x2210 -x2155 -x2177 -x2178 -x2153 -x2154 -x2176 -x2158 -x2174 -x2175 -x2156 -x2157 -x2173 -x2161 -x2171 -x2172 -x2159 -x2160 -x2170 -x2164 -x2168 -x2169 -x2162 -x2163 -x2167 -x2165 -x2166 -x2183 -x2208 -x2209 -x2180 -x2182 -x2181 -x2207 -x2187 -x2205 -x2206 -x2184 -x2186 -x2185 -x2204 -x2191 -x2202 -x2203 -x2188 -x2190 -x2189 -x2201 -x2195 -x2199 -x2200 -x2192 -x2194 -x2193 -x2198 -x2196 -x2197 -x2213 -x2263 -x2220 -x2261 -x2262 -x2217 -x2219 -x2216 -x2218 -x2260 -x2226 -x2258 -x2259 -x2223 -x2225 -x2222 -x2221 -x2224 -x2257 -x2232 -x2255 -x2256 -x2229 -x2231 -x2228 -x2227 -x2230 -x2254 -x2238 -x2252 -x2253 -x2235 -x2237 -x2234 -x2233 -x2236 -x2251 -x2244 -x2249 -x2250 -x2241 -x2243 -x2240 -x2239 -x2242 -x2248 -x2246 -x2247 -x2245 -x2353 -x2307 -x2352 -x2271 -x2305 -x2306 -x2269 -x2270 -x2304 -x2274 -x2302 -x2303 -x2272 -x2273 -x2301 -x2277 -x2299 -x2300 -x2275 -x2276 -x2298 -x2280 -x2296 -x2297 -x2278 -x2279 -x2295 -x2283 -x2293 -x2294 -x2281 -x2282 -x2292 -x2286 -x2290 -x2291 -x2284 -x2285 -x2289 -x2287 -x2288 -x2311 -x2350 -x2351 -x2308 -x2310 -x2309 -x2349 -x2315 -x2347 -x2348 -x2312 -x2314 -x2313 -x2346 -x2319 -x2344 -x2345 -x2316 -x2318 -x2317 -x2343 -x2323 -x2341 -x2342 -x2320 -x2322 -x2321 -x2340 -x2327 -x2338 -x2339 -x2324 -x2326 -x2325 -x2337 -x2331 -x2335 -x2336 -x2328 -x2330 -x2329 -x2334 -x2332 -x2333 -x2420 -x2362 -x2418 -x2419 -x2358 -x2361 -x2357 -x2356 -x2360 -x2359 -x2417 -x2369 -x2415 -x2416 -x2365 -x2368 -x2364 -x2363 -x2367 -x2366 -x2414 -x2376 -x2412 -x2413 -x2372 -x2375 -x2371 -x2370 -x2374 -x2373 -x2411 -x2383 -x2409 -x2410 -x2379 -x2382 -x2378 -x2377 -x2381 -x2380 -x2408 -x2390 -x2406 -x2407 -x2386 -x2389 -x2385 -x2384 -x2388 -x2387 -x2405 -x2397 -x2403 -x2404 -x2393 -x2396 -x2392 -x2391 -x2395 -x2394 -x2402 -x2399 -x2401 -x2398 -x2400 -x2512 -x2571 -x2572 -x2509 -x2511 -x2508 -x2462 -x2507 -x2426 -x2460 -x2461 -x2424 -x2425 -x2459 -x2429 -x2457 -x2458 -x2427 -x2428 -x2456 -x2432 -x2454 -x2455 -x2430 -x2431 -x2453 -x2435 -x2451 -x2452 -x2433 -x2434 -x2450 -x2438 -x2448 -x2449 -x2436 -x2437 -x2447 -x2441 -x2445 -x2446 -x2439 -x2440 -x2444 -x2442 -x2443 -x2466 -x2505 -x2506 -x2463 -x2465 -x2464 -x2504 -x2470 -x2502 -x2503 -x2467 -x2469 -x2468 -x2501 -x2474 -x2499 -x2500 -x2471 -x2473 -x2472 -x2498 -x2478 -x2496 -x2497 -x2475 -x2477 -x2476 -x2495 -x2482 -x2493 -x2494 -x2479 -x2481 -x2480 -x2492 -x2486 -x2490 -x2491 -x2483 -x2485 -x2484 -x2489 -x2487 -x2488 -x2510 -x2570 -x2518 -x2568 -x2569 -x2515 -x2517 -x2514 -x2513 -x2516 -x2567 -x2524 -x2565 -x2566 -x2521 -x2523 -x2520 -x2519 -x2522 -x2564 -x2530 -x2562 -x2563 -x2527 -x2529 -x2526 -x2525 -x2528 -x2561 -x2536 -x2559 -x2560 -x2533 -x2535 -x2532 -x2531 -x2534 -x2558 -x2542 -x2556 -x2557 -x2539 -x2541 -x2538 -x2537 -x2540 -x2555 -x2548 -x2553 -x2554 -x2545 -x2547 -x2544 -x2543 -x2546 -x2552 -x2550 -x2551 -x2549 x2577 x2651 -x2581 x2650 -x2578 x2580 -x2579 x2582 x2649 -x2588 x2648 -x2584 x2587 -x2583 -x2586 -x2585 x2589 x2647 -x2595 x2646 -x2591 x2594 -x2590 -x2593 -x2592 x2596 x2645 -x2602 x2644 -x2598 x2601 -x2597 -x2600 -x2599 x2603 x2643 -x2609 x2642 -x2605 x2608 -x2604 -x2607 -x2606 x2610 x2641 -x2616 x2640 -x2612 x2615 -x2611 -x2614 -x2613 x2617 x2639 x2623 -x2638 x2619 x2622 -x2618 -x2621 -x2620 -x2624 x2637 -x2630 x2636 -x2626 x2629 -x2625 -x2628 -x2627 x2631 x2635 x2632 x2634 -x2633 -x2654 -x3229 x3231 x3087 x3114 x3126 -x3228 -x3086 -x3074 -x3085 -x3045 -x3073 -x2895 -x3044 -x2894 -x2882 -x2893 -x2811 -x2881 -x2787 -x2809 -x2810 -x2742 -x2786 -x2741 -x2731 -x2740 -x2700 -x2730 -x2684 -x2698 -x2699 -x2671 -x2683 -x2670 -x2666 -x2669 -x2661 -x2665 -x2658 -x2660 -x2657 -x2659 -x2663 -x2664 -x2662 -x2667 -x2668 -x2682 -x2678 -x2681 -x2674 -x2677 -x2672 -x2673 -x2675 -x2676 -x2679 -x2680 -x2697 -x2689 -x2695 -x2696 -x2686 -x2688 -x2685 -x2687 -x2694 -x2691 -x2693 -x2690 -x2692 -x2715 -x2728 -x2729 -x2712 -x2714 -x2711 -x2707 -x2710 -x2703 -x2706 -x2701 -x2702 -x2704 -x2705 -x2708 -x2709 -x2713 -x2727 -x2720 -x2725 -x2726 -x2717 -x2719 -x2716 -x2718 -x2724 -x2722 -x2723 -x2721 -x2733 -x2739 -x2732 -x2735 -x2738 -x2734 -x2736 -x2737 -x2785 -x2775 -x2784 -x2757 -x2774 -x2745 -x2755 -x2756 -x2743 -x2744 -x2754 -x2748 -x2752 -x2753 -x2746 -x2747 -x2751 -x2749 -x2750 -x2761 -x2772 -x2773 -x2758 -x2760 -x2759 -x2771 -x2765 -x2769 -x2770 -x2762 -x2764 -x2763 -x2768 -x2766 -x2767 -x2777 -x2783 -x2776 -x2779 -x2782 -x2778 -x2780 -x2781 -x2808 -x2792 -x2806 -x2807 -x2789 -x2791 -x2788 -x2790 -x2805 -x2797 -x2803 -x2804 -x2794 -x2796 -x2793 -x2795 -x2802 -x2799 -x2801 -x2798 -x2800 -x2858 -x2879 -x2880 -x2855 -x2857 -x2854 -x2844 -x2853 -x2826 -x2843 -x2814 -x2824 -x2825 -x2812 -x2813 -x2823 -x2817 -x2821 -x2822 -x2815 -x2816 -x2820 -x2818 -x2819 -x2830 -x2841 -x2842 -x2827 -x2829 -x2828 -x2840 -x2834 -x2838 -x2839 -x2831 -x2833 -x2832 -x2837 -x2835 -x2836 -x2846 -x2852 -x2845 -x2848 -x2851 -x2847 -x2849 -x2850 -x2856 -x2878 -x2863 -x2876 -x2877 -x2860 -x2862 -x2859 -x2861 -x2875 -x2868 -x2873 -x2874 -x2865 -x2867 -x2864 -x2866 -x2872 -x2870 -x2871 -x2869 -x2884 -x2892 -x2883 -x2886 -x2891 -x2885 -x2888 -x2890 -x2887 -x2889 -x3014 -x3043 -x2954 -x3013 -x2953 -x2941 -x2952 -x2916 -x2940 -x2898 -x2914 -x2915 -x2896 -x2897 -x2913 -x2901 -x2911 -x2912 -x2899 -x2900 -x2910 -x2904 -x2908 -x2909 -x2902 -x2903 -x2907 -x2905 -x2906 -x2920 -x2938 -x2939 -x2917 -x2919 -x2918 -x2937 -x2924 -x2935 -x2936 -x2921 -x2923 -x2922 -x2934 -x2928 -x2932 -x2933 -x2925 -x2927 -x2926 -x2931 -x2929 -x2930 -x2943 -x2951 -x2942 -x2945 -x2950 -x2944 -x2947 -x2949 -x2946 -x2948 -x3012 -x3000 -x3011 -x2975 -x2999 -x2957 -x2973 -x2974 -x2955 -x2956 -x2972 -x2960 -x2970 -x2971 -x2958 -x2959 -x2969 -x2963 -x2967 -x2968 -x2961 -x2962 -x2966 -x2964 -x2965 -x2979 -x2997 -x2998 -x2976 -x2978 -x2977 -x2996 -x2983 -x2994 -x2995 -x2980 -x2982 -x2981 -x2993 -x2987 -x2991 -x2992 -x2984 -x2986 -x2985 -x2990 -x2988 -x2989 -x3002 -x3010 -x3001 -x3004 -x3009 -x3003 -x3006 -x3008 -x3005 -x3007 -x3019 -x3041 -x3042 -x3016 -x3018 -x3015 -x3017 -x3040 -x3024 -x3038 -x3039 -x3021 -x3023 -x3020 -x3022 -x3037 -x3029 -x3035 -x3036 -x3026 -x3028 -x3025 -x3027 -x3034 -x3031 -x3033 -x3030 -x3032 -x3050 -x3071 -x3072 -x3047 -x3049 -x3046 -x3048 -x3070 -x3055 -x3068 -x3069 -x3052 -x3054 -x3051 -x3053 -x3067 -x3060 -x3065 -x3066 -x3057 -x3059 -x3056 -x3058 -x3064 -x3062 -x3063 -x3061 -x3076 -x3084 -x3075 -x3078 -x3083 -x3077 -x3080 -x3082 -x3079 -x3081 -x3113 -x3111 -x3112 -x3106 -x3110 -x3091 -x3105 -x3090 -x3088 -x3089 -x3100 -x3104 -x3095 -x3099 -x3094 -x3092 -x3093 -x3098 -x3096 -x3097 -x3101 -x3102 -x3103 -x3107 -x3108 -x3109 -x3125 -x3123 -x3124 -x3118 -x3122 -x3115 -x3116 -x3117 -x3119 -x3120 -x3121 -x3207 -x3227 -x3204 x3206 -x3195 -x3203 -x3165 -x3194 -x3149 -x3163 -x3164 -x3137 -x3148 -x3136 -x3133 -x3135 -x3129 -x3132 -x3127 -x3128 -x3130 -x3131 -x3134 -x3147 -x3144 -x3146 -x3140 -x3143 -x3138 -x3139 -x3141 -x3142 -x3145 -x3162 -x3154 -x3160 -x3161 -x3151 -x3153 -x3150 -x3152 -x3159 -x3156 -x3158 -x3155 -x3157 -x3179 -x3192 -x3193 -x3176 -x3178 -x3175 -x3172 -x3174 -x3168 -x3171 -x3166 -x3167 -x3169 -x3170 -x3173 -x3177 -x3191 -x3184 -x3189 -x3190 -x3181 -x3183 -x3180 -x3182 -x3188 -x3186 -x3187 -x3185 -x3197 -x3202 -x3196 -x3199 -x3201 -x3198 -x3200 -x3205 x3208 -x3226 -x3212 -x3225 -x3209 x3211 -x3210 x3213 -x3224 -x3217 -x3223 -x3214 x3216 -x3215 x3218 -x3222 -x3219 x3221 -x3220 x3230 -x3346 x3348 x3285 x3295 x3297 -x3345 -x3284 -x3259 -x3283 -x3233 -x3258 -x3236 -x3257 -x3234 -x3235 -x3239 -x3255 -x3256 -x3237 -x3238 -x3254 -x3242 -x3252 -x3253 -x3240 -x3241 -x3251 -x3245 -x3249 -x3250 -x3243 -x3244 -x3248 -x3246 -x3247 -x3263 -x3281 -x3282 -x3260 -x3262 -x3261 -x3280 -x3267 -x3278 -x3279 -x3264 -x3266 -x3265 -x3277 -x3271 -x3275 -x3276 -x3268 -x3270 -x3269 -x3274 -x3272 -x3273 -x3294 -x3289 -x3293 -x3286 -x3287 -x3288 -x3290 -x3291 -x3292 -x3296 -x3321 -x3344 -x3317 x3320 -x3306 -x3316 -x3300 -x3304 -x3305 -x3298 -x3299 -x3303 -x3301 -x3302 -x3310 -x3314 -x3315 -x3307 -x3309 -x3308 -x3313 -x3311 -x3312 -x3319 -x3318 x3322 -x3343 -x3327 -x3342 -x3323 x3326 -x3325 -x3324 x3328 -x3341 -x3334 -x3340 -x3330 x3333 -x3329 -x3332 -x3331 x3335 -x3339 -x3336 x3338 -x3337 x3347 -x3511 x3513 x3414 x3432 x3444 -x3510 -x3413 -x3401 -x3412 -x3376 -x3400 -x3350 -x3375 -x3353 -x3374 -x3351 -x3352 -x3356 -x3372 -x3373 -x3354 -x3355 -x3371 -x3359 -x3369 -x3370 -x3357 -x3358 -x3368 -x3362 -x3366 -x3367 -x3360 -x3361 -x3365 -x3363 -x3364 -x3380 -x3398 -x3399 -x3377 -x3379 -x3378 -x3397 -x3384 -x3395 -x3396 -x3381 -x3383 -x3382 -x3394 -x3388 -x3392 -x3393 -x3385 -x3387 -x3386 -x3391 -x3389 -x3390 -x3403 -x3411 -x3402 -x3405 -x3410 -x3404 -x3407 -x3409 -x3406 -x3408 -x3431 -x3429 -x3430 -x3424 -x3428 -x3415 -x3423 -x3418 -x3422 -x3416 -x3417 -x3419 -x3420 -x3421 -x3425 -x3426 -x3427 -x3443 -x3441 -x3442 -x3436 -x3440 -x3433 -x3434 -x3435 -x3437 -x3438 -x3439 -x3489 -x3509 -x3486 x3488 -x3477 -x3485 -x3459 -x3476 -x3447 -x3457 -x3458 -x3445 -x3446 -x3456 -x3450 -x3454 -x3455 -x3448 -x3449 -x3453 -x3451 -x3452 -x3463 -x3474 -x3475 -x3460 -x3462 -x3461 -x3473 -x3467 -x3471 -x3472 -x3464 -x3466 -x3465 -x3470 -x3468 -x3469 -x3479 -x3484 -x3478 -x3481 -x3483 -x3480 -x3482 -x3487 x3490 -x3508 -x3494 -x3507 -x3491 x3493 -x3492 x3495 -x3506 -x3499 -x3505 -x3496 x3498 -x3497 x3500 -x3504 -x3501 x3503 -x3502 x3512 -x3676 x3678 x3579 x3597 x3609 -x3675 -x3578 -x3566 -x3577 -x3541 -x3565 -x3515 -x3540 -x3518 -x3539 -x3516 -x3517 -x3521 -x3537 -x3538 -x3519 -x3520 -x3536 -x3524 -x3534 -x3535 -x3522 -x3523 -x3533 -x3527 -x3531 -x3532 -x3525 -x3526 -x3530 -x3528 -x3529 -x3545 -x3563 -x3564 -x3542 -x3544 -x3543 -x3562 -x3549 -x3560 -x3561 -x3546 -x3548 -x3547 -x3559 -x3553 -x3557 -x3558 -x3550 -x3552 -x3551 -x3556 -x3554 -x3555 -x3568 -x3576 -x3567 -x3570 -x3575 -x3569 -x3572 -x3574 -x3571 -x3573 -x3596 -x3594 -x3595 -x3589 -x3593 -x3580 -x3588 -x3583 -x3587 -x3581 -x3582 -x3584 -x3585 -x3586 -x3590 -x3591 -x3592 -x3608 -x3606 -x3607 -x3601 -x3605 -x3598 -x3599 -x3600 -x3602 -x3603 -x3604 -x3654 -x3674 -x3651 x3653 -x3642 -x3650 -x3624 -x3641 -x3612 -x3622 -x3623 -x3610 -x3611 -x3621 -x3615 -x3619 -x3620 -x3613 -x3614 -x3618 -x3616 -x3617 -x3628 -x3639 -x3640 -x3625 -x3627 -x3626 -x3638 -x3632 -x3636 -x3637 -x3629 -x3631 -x3630 -x3635 -x3633 -x3634 -x3644 -x3649 -x3643 -x3646 -x3648 -x3645 -x3647 -x3652 x3655 -x3673 -x3659 -x3672 -x3656 x3658 -x3657 x3660 -x3671 -x3664 -x3670 -x3661 x3663 -x3662 x3665 -x3669 -x3666 x3668 -x3667 x3677 -x4046 x4048 x3963 x3973 x3975 -x4045 -x3962 -x3930 -x3961 -x3798 -x3929 -x3797 -x3748 -x3796 -x3722 -x3746 -x3747 -x3700 -x3721 -x3699 -x3688 -x3698 -x3682 -x3686 -x3687 -x3680 -x3681 -x3685 -x3683 -x3684 -x3692 -x3696 -x3697 -x3689 -x3691 -x3690 -x3695 -x3693 -x3694 -x3720 -x3709 -x3719 -x3703 -x3707 -x3708 -x3701 -x3702 -x3706 -x3704 -x3705 -x3713 -x3717 -x3718 -x3710 -x3712 -x3711 -x3716 -x3714 -x3715 -x3745 -x3727 -x3743 -x3744 -x3724 -x3726 -x3723 -x3725 -x3742 -x3734 -x3740 -x3741 -x3730 -x3733 -x3729 -x3728 -x3732 -x3731 -x3739 -x3736 -x3738 -x3735 -x3737 -x3772 -x3794 -x3795 -x3769 -x3771 -x3768 -x3757 -x3767 -x3751 -x3755 -x3756 -x3749 -x3750 -x3754 -x3752 -x3753 -x3761 -x3765 -x3766 -x3758 -x3760 -x3759 -x3764 -x3762 -x3763 -x3770 -x3793 -x3777 -x3791 -x3792 -x3774 -x3776 -x3773 -x3775 -x3790 -x3783 -x3788 -x3789 -x3780 -x3782 -x3779 -x3778 -x3781 -x3787 -x3785 -x3786 -x3784 -x3893 -x3928 -x3845 -x3892 -x3844 -x3819 -x3843 -x3801 -x3817 -x3818 -x3799 -x3800 -x3816 -x3804 -x3814 -x3815 -x3802 -x3803 -x3813 -x3807 -x3811 -x3812 -x3805 -x3806 -x3810 -x3808 -x3809 -x3823 -x3841 -x3842 -x3820 -x3822 -x3821 -x3840 -x3827 -x3838 -x3839 -x3824 -x3826 -x3825 -x3837 -x3831 -x3835 -x3836 -x3828 -x3830 -x3829 -x3834 -x3832 -x3833 -x3891 -x3866 -x3890 -x3848 -x3864 -x3865 -x3846 -x3847 -x3863 -x3851 -x3861 -x3862 -x3849 -x3850 -x3860 -x3854 -x3858 -x3859 -x3852 -x3853 -x3857 -x3855 -x3856 -x3870 -x3888 -x3889 -x3867 -x3869 -x3868 -x3887 -x3874 -x3885 -x3886 -x3871 -x3873 -x3872 -x3884 -x3878 -x3882 -x3883 -x3875 -x3877 -x3876 -x3881 -x3879 -x3880 -x3900 -x3926 -x3927 -x3896 -x3899 -x3895 -x3894 -x3898 -x3897 -x3925 -x3907 -x3923 -x3924 -x3903 -x3906 -x3902 -x3901 -x3905 -x3904 -x3922 -x3914 -x3920 -x3921 -x3910 -x3913 -x3909 -x3908 -x3912 -x3911 -x3919 -x3916 -x3918 -x3915 -x3917 -x3936 -x3959 -x3960 -x3933 -x3935 -x3932 -x3931 -x3934 -x3958 -x3942 -x3956 -x3957 -x3939 -x3941 -x3938 -x3937 -x3940 -x3955 -x3948 -x3953 -x3954 -x3945 -x3947 -x3944 -x3943 -x3946 -x3952 -x3950 -x3951 -x3949 -x3972 -x3967 -x3971 -x3964 -x3965 -x3966 -x3968 -x3969 -x3970 -x3974 -x4021 -x4044 -x4017 x4020 -x3998 -x4016 -x3990 -x3996 -x3997 -x3983 -x3989 -x3982 -x3978 -x3981 -x3976 -x3977 -x3979 -x3980 -x3988 -x3985 -x3987 -x3984 x3986 -x3995 -x3992 -x3994 -x3991 x3993 -x4009 -x4014 -x4015 -x4006 -x4008 -x4005 -x4001 -x4004 -x3999 -x4000 -x4002 -x4003 -x4007 -x4013 -x4011 -x4012 -x4010 -x4019 -x4018 x4022 -x4043 -x4027 -x4042 -x4023 x4026 -x4025 -x4024 x4028 -x4041 -x4034 -x4040 -x4030 x4033 -x4029 -x4032 -x4031 x4035 -x4039 -x4036 x4038 -x4037 x4047 -x6372 x6374 -x6302 -x6371 -x5194 x6301 -x5165 -x5193 -x4989 -x5164 -x4925 -x4987 -x4988 -x4815 -x4924 -x4814 -x4791 -x4813 -x4649 -x4790 -x4601 -x4647 -x4648 -x4509 -x4600 -x4508 -x4490 -x4507 -x4386 -x4489 -x4346 -x4384 -x4385 -x4284 -x4345 -x4283 -x4269 -x4282 -x4199 -x4268 -x4175 -x4197 -x4198 -x4131 -x4174 -x4130 -x4121 -x4129 -x4091 -x4120 -x4075 -x4089 -x4090 -x4063 -x4074 -x4062 -x4059 -x4061 -x4054 -x4058 -x4051 -x4053 -x4050 -x4052 -x4056 -x4057 x4055 -x4060 -x4073 -x4070 -x4072 -x4066 -x4069 -x4064 -x4065 x4067 -x4068 x4071 -x4088 -x4080 -x4086 -x4087 -x4077 -x4079 -x4076 -x4078 -x4085 -x4082 -x4084 -x4081 x4083 -x4105 -x4118 -x4119 -x4102 -x4104 -x4101 -x4098 -x4100 -x4094 -x4097 -x4092 -x4093 -x4095 -x4096 -x4099 -x4103 -x4117 -x4110 -x4115 -x4116 -x4107 -x4109 -x4106 -x4108 -x4114 -x4112 -x4113 -x4111 -x4123 -x4128 -x4122 -x4125 -x4127 -x4124 -x4126 -x4173 -x4164 -x4172 -x4146 -x4163 -x4134 -x4144 -x4145 -x4132 -x4133 -x4143 -x4137 -x4141 -x4142 -x4135 -x4136 -x4140 -x4138 x4139 -x4150 -x4161 -x4162 -x4147 -x4149 -x4148 -x4160 -x4154 -x4158 -x4159 -x4151 -x4153 -x4152 -x4157 -x4155 x4156 -x4166 -x4171 -x4165 -x4168 -x4170 -x4167 x4169 -x4196 -x4180 -x4194 -x4195 -x4177 -x4179 -x4176 -x4178 -x4193 -x4185 -x4191 -x4192 -x4182 -x4184 -x4181 -x4183 -x4190 -x4187 -x4189 -x4186 x4188 -x4245 -x4266 -x4267 -x4242 -x4244 -x4241 -x4232 -x4240 -x4214 -x4231 -x4202 -x4212 -x4213 -x4200 -x4201 -x4211 -x4205 -x4209 -x4210 -x4203 -x4204 -x4208 -x4206 x4207 -x4218 -x4229 -x4230 -x4215 -x4217 -x4216 -x4228 -x4222 -x4226 -x4227 -x4219 -x4221 -x4220 -x4225 -x4223 x4224 -x4234 -x4239 -x4233 -x4236 -x4238 -x4235 x4237 -x4243 -x4265 -x4250 -x4263 -x4264 -x4247 -x4249 -x4246 -x4248 -x4262 -x4255 -x4260 -x4261 -x4252 -x4254 -x4251 -x4253 -x4259 -x4257 -x4258 x4256 -x4270 -x4281 -x4272 -x4280 -x4271 -x4274 -x4279 -x4273 -x4276 -x4278 -x4275 -x4277 -x4344 -x4330 -x4343 -x4305 -x4329 -x4287 -x4303 -x4304 -x4285 -x4286 -x4302 -x4290 -x4300 -x4301 -x4288 -x4289 -x4299 -x4293 -x4297 -x4298 -x4291 -x4292 -x4296 -x4294 -x4295 -x4309 -x4327 -x4328 -x4306 -x4308 -x4307 -x4326 -x4313 -x4324 -x4325 -x4310 -x4312 -x4311 -x4323 -x4317 -x4321 -x4322 -x4314 -x4316 -x4315 -x4320 x4318 -x4319 -x4331 -x4342 -x4333 -x4341 -x4332 -x4335 -x4340 -x4334 -x4337 -x4339 -x4336 x4338 -x4383 -x4351 -x4381 -x4382 -x4348 -x4350 -x4347 -x4349 -x4380 -x4356 -x4378 -x4379 -x4353 -x4355 -x4352 -x4354 -x4377 -x4361 -x4375 -x4376 -x4358 -x4360 -x4357 -x4359 -x4374 -x4366 -x4372 -x4373 -x4363 -x4365 -x4362 -x4364 -x4371 -x4368 -x4370 -x4367 x4369 -x4450 -x4487 -x4488 -x4447 -x4449 -x4446 -x4432 -x4445 -x4407 -x4431 -x4389 -x4405 -x4406 -x4387 -x4388 -x4404 -x4392 -x4402 -x4403 -x4390 -x4391 -x4401 -x4395 -x4399 -x4400 -x4393 -x4394 -x4398 -x4396 -x4397 -x4411 -x4429 -x4430 -x4408 -x4410 -x4409 -x4428 -x4415 -x4426 -x4427 -x4412 -x4414 -x4413 -x4425 -x4419 -x4423 -x4424 -x4416 -x4418 -x4417 -x4422 -x4420 -x4421 -x4433 -x4444 -x4435 -x4443 -x4434 -x4437 -x4442 -x4436 -x4439 -x4441 -x4438 -x4440 -x4448 -x4486 -x4455 -x4484 -x4485 -x4452 -x4454 -x4451 -x4453 -x4483 -x4460 -x4481 -x4482 -x4457 -x4459 -x4456 -x4458 -x4480 -x4465 -x4478 -x4479 -x4462 -x4464 -x4461 -x4463 -x4477 -x4470 -x4475 -x4476 -x4467 -x4469 -x4466 -x4468 -x4474 -x4472 -x4473 -x4471 -x4492 -x4506 -x4491 -x4494 -x4505 -x4493 -x4496 -x4504 -x4495 -x4498 -x4503 -x4497 -x4500 -x4502 -x4499 -x4501 -x4599 -x4581 -x4598 -x4542 -x4580 -x4512 -x4540 -x4541 -x4510 -x4511 -x4539 -x4515 -x4537 -x4538 -x4513 -x4514 -x4536 -x4518 -x4534 -x4535 -x4516 -x4517 -x4533 -x4521 -x4531 -x4532 -x4519 -x4520 -x4530 -x4524 -x4528 -x4529 -x4522 -x4523 -x4527 -x4525 x4526 -x4546 -x4578 -x4579 -x4543 -x4545 -x4544 -x4577 -x4550 -x4575 -x4576 -x4547 -x4549 -x4548 -x4574 -x4554 -x4572 -x4573 -x4551 -x4553 -x4552 -x4571 -x4558 -x4569 -x4570 -x4555 -x4557 -x4556 -x4568 -x4562 -x4566 -x4567 -x4559 -x4561 -x4560 -x4565 -x4563 x4564 -x4583 -x4597 -x4582 -x4585 -x4596 -x4584 -x4587 -x4595 -x4586 -x4589 -x4594 -x4588 -x4591 -x4593 -x4590 x4592 -x4646 -x4606 -x4644 -x4645 -x4603 -x4605 -x4602 -x4604 -x4643 -x4611 -x4641 -x4642 -x4608 -x4610 -x4607 -x4609 -x4640 -x4616 -x4638 -x4639 -x4613 -x4615 -x4612 -x4614 -x4637 -x4621 -x4635 -x4636 -x4618 -x4620 -x4617 -x4619 -x4634 -x4626 -x4632 -x4633 -x4623 -x4625 -x4622 -x4624 -x4631 -x4628 x4630 -x4627 x4629 -x4743 -x4788 -x4789 -x4740 -x4742 -x4739 -x4721 -x4738 -x4682 -x4720 -x4652 -x4680 -x4681 -x4650 -x4651 -x4679 -x4655 -x4677 -x4678 -x4653 -x4654 -x4676 -x4658 -x4674 -x4675 -x4656 -x4657 -x4673 -x4661 -x4671 -x4672 -x4659 -x4660 -x4670 -x4664 -x4668 -x4669 -x4662 -x4663 -x4667 -x4665 x4666 -x4686 -x4718 -x4719 -x4683 -x4685 -x4684 -x4717 -x4690 -x4715 -x4716 -x4687 -x4689 -x4688 -x4714 -x4694 -x4712 -x4713 -x4691 -x4693 -x4692 -x4711 -x4698 -x4709 -x4710 -x4695 -x4697 -x4696 -x4708 -x4702 -x4706 -x4707 -x4699 -x4701 -x4700 -x4705 -x4703 x4704 -x4723 -x4737 -x4722 -x4725 -x4736 -x4724 -x4727 -x4735 -x4726 -x4729 -x4734 -x4728 -x4731 -x4733 -x4730 x4732 -x4741 -x4787 -x4748 -x4785 -x4786 -x4745 -x4747 -x4744 -x4746 -x4784 -x4753 -x4782 -x4783 -x4750 -x4752 -x4749 -x4751 -x4781 -x4758 -x4779 -x4780 -x4755 -x4757 -x4754 -x4756 -x4778 -x4763 -x4776 -x4777 -x4760 -x4762 -x4759 -x4761 -x4775 -x4768 -x4773 -x4774 -x4765 -x4767 -x4764 -x4766 -x4772 -x4770 x4771 x4769 -x4792 -x4812 -x4794 -x4811 -x4793 -x4796 -x4810 -x4795 -x4798 -x4809 -x4797 -x4800 -x4808 -x4799 -x4802 -x4807 -x4801 -x4804 -x4806 -x4803 x4805 -x4923 -x4900 -x4922 -x4854 -x4899 -x4818 -x4852 -x4853 -x4816 -x4817 -x4851 -x4821 -x4849 -x4850 -x4819 -x4820 -x4848 -x4824 -x4846 -x4847 -x4822 -x4823 -x4845 -x4827 -x4843 -x4844 -x4825 -x4826 -x4842 -x4830 -x4840 -x4841 -x4828 -x4829 -x4839 -x4833 -x4837 -x4838 -x4831 -x4832 -x4836 -x4834 -x4835 -x4858 -x4897 -x4898 -x4855 -x4857 -x4856 -x4896 -x4862 -x4894 -x4895 -x4859 -x4861 -x4860 -x4893 -x4866 -x4891 -x4892 -x4863 -x4865 -x4864 -x4890 -x4870 -x4888 -x4889 -x4867 -x4869 -x4868 -x4887 -x4874 -x4885 -x4886 -x4871 -x4873 -x4872 -x4884 -x4878 -x4882 -x4883 -x4875 -x4877 -x4876 -x4881 -x4879 -x4880 -x4901 -x4921 -x4903 -x4920 -x4902 -x4905 -x4919 -x4904 -x4907 -x4918 -x4906 -x4909 -x4917 -x4908 -x4911 -x4916 -x4910 -x4913 -x4915 -x4912 -x4914 -x4986 -x4930 -x4984 -x4985 -x4927 -x4929 -x4926 -x4928 -x4983 -x4935 -x4981 -x4982 -x4932 -x4934 -x4931 -x4933 -x4980 -x4940 -x4978 -x4979 -x4937 -x4939 -x4936 -x4938 -x4977 -x4945 -x4975 -x4976 -x4942 -x4944 -x4941 -x4943 -x4974 -x4950 -x4972 -x4973 -x4947 -x4949 -x4946 -x4948 -x4971 -x4955 -x4969 -x4970 -x4952 -x4954 -x4951 -x4953 -x4968 -x4960 -x4966 -x4967 -x4957 -x4959 -x4956 -x4958 -x4965 -x4962 -x4964 x4961 -x4963 -x5101 -x5162 -x5163 -x5098 -x5100 -x5097 -x5074 -x5096 -x5028 -x5073 -x4992 -x5026 -x5027 -x4990 -x4991 -x5025 -x4995 -x5023 -x5024 -x4993 -x4994 -x5022 -x4998 -x5020 -x5021 -x4996 -x4997 -x5019 -x5001 -x5017 -x5018 -x4999 -x5000 -x5016 -x5004 -x5014 -x5015 -x5002 -x5003 -x5013 -x5007 -x5011 -x5012 -x5005 -x5006 -x5010 -x5008 x5009 -x5032 -x5071 -x5072 -x5029 -x5031 -x5030 -x5070 -x5036 -x5068 -x5069 -x5033 -x5035 -x5034 -x5067 -x5040 -x5065 -x5066 -x5037 -x5039 -x5038 -x5064 -x5044 -x5062 -x5063 -x5041 -x5043 -x5042 -x5061 -x5048 -x5059 -x5060 -x5045 -x5047 -x5046 -x5058 -x5052 x5056 x5057 -x5049 -x5051 -x5050 x5055 x5053 x5054 -x5075 -x5095 -x5077 -x5094 -x5076 -x5079 -x5093 -x5078 -x5081 -x5092 -x5080 -x5083 -x5091 -x5082 -x5085 -x5090 -x5084 x5087 -x5089 -x5086 -x5088 -x5099 -x5161 -x5106 -x5159 -x5160 -x5103 -x5105 -x5102 -x5104 -x5158 -x5111 -x5156 -x5157 -x5108 -x5110 -x5107 -x5109 -x5155 -x5116 -x5153 -x5154 -x5113 -x5115 -x5112 -x5114 -x5152 -x5121 -x5150 -x5151 -x5118 -x5120 -x5117 -x5119 -x5149 -x5126 -x5147 -x5148 -x5123 -x5125 -x5122 -x5124 -x5146 -x5131 -x5144 -x5145 -x5128 -x5130 -x5127 -x5129 -x5143 -x5136 -x5141 -x5142 -x5133 -x5135 x5132 -x5134 -x5140 -x5138 -x5139 x5137 -x5166 -x5192 -x5168 -x5191 -x5167 -x5170 -x5190 -x5169 -x5172 -x5189 -x5171 -x5174 -x5188 -x5173 -x5176 -x5187 -x5175 -x5178 -x5186 -x5177 -x5180 -x5185 -x5179 -x5182 -x5184 -x5181 -x5183 -x6300 -x6271 -x6299 -x6095 -x6270 -x6031 -x6093 -x6094 -x5921 -x6030 -x5920 -x5897 -x5919 -x5755 -x5896 -x5707 -x5753 -x5754 -x5615 -x5706 -x5614 -x5596 -x5613 -x5492 -x5595 -x5452 -x5490 -x5491 -x5390 -x5451 -x5389 -x5375 -x5388 -x5305 -x5374 -x5281 -x5303 -x5304 -x5237 -x5280 -x5236 -x5227 -x5235 -x5209 -x5226 -x5197 -x5207 -x5208 -x5195 -x5196 -x5206 -x5200 -x5204 -x5205 -x5198 -x5199 -x5203 -x5201 -x5202 -x5213 -x5224 -x5225 -x5210 -x5212 -x5211 -x5223 -x5217 -x5221 -x5222 -x5214 -x5216 -x5215 -x5220 -x5218 -x5219 -x5229 -x5234 -x5228 -x5231 -x5233 -x5230 -x5232 -x5279 -x5270 -x5278 -x5252 -x5269 -x5240 -x5250 -x5251 -x5238 -x5239 -x5249 -x5243 -x5247 -x5248 -x5241 -x5242 -x5246 -x5244 -x5245 -x5256 -x5267 -x5268 -x5253 -x5255 -x5254 -x5266 -x5260 -x5264 -x5265 -x5257 -x5259 -x5258 -x5263 -x5261 -x5262 -x5272 -x5277 -x5271 -x5274 -x5276 -x5273 -x5275 -x5302 -x5286 -x5300 -x5301 -x5283 -x5285 -x5282 -x5284 -x5299 -x5291 -x5297 -x5298 -x5288 -x5290 -x5287 -x5289 -x5296 -x5293 -x5295 -x5292 -x5294 -x5351 -x5372 -x5373 -x5348 -x5350 -x5347 -x5338 -x5346 -x5320 -x5337 -x5308 -x5318 -x5319 -x5306 -x5307 -x5317 -x5311 -x5315 -x5316 -x5309 -x5310 -x5314 -x5312 -x5313 -x5324 -x5335 -x5336 -x5321 -x5323 -x5322 -x5334 -x5328 -x5332 -x5333 -x5325 -x5327 -x5326 -x5331 -x5329 -x5330 -x5340 -x5345 -x5339 -x5342 -x5344 -x5341 -x5343 -x5349 -x5371 -x5356 -x5369 -x5370 -x5353 -x5355 -x5352 -x5354 -x5368 -x5361 -x5366 -x5367 -x5358 -x5360 -x5357 -x5359 -x5365 -x5363 -x5364 x5362 -x5376 -x5387 -x5378 -x5386 -x5377 -x5380 -x5385 -x5379 -x5382 -x5384 -x5381 -x5383 -x5450 -x5436 -x5449 -x5411 -x5435 -x5393 -x5409 -x5410 -x5391 -x5392 -x5408 -x5396 -x5406 -x5407 -x5394 -x5395 -x5405 -x5399 -x5403 -x5404 -x5397 -x5398 -x5402 -x5400 -x5401 -x5415 -x5433 -x5434 -x5412 -x5414 -x5413 -x5432 -x5419 -x5430 -x5431 -x5416 -x5418 -x5417 -x5429 -x5423 -x5427 -x5428 -x5420 -x5422 -x5421 -x5426 -x5424 -x5425 -x5437 -x5448 -x5439 -x5447 -x5438 -x5441 -x5446 -x5440 -x5443 -x5445 -x5442 -x5444 -x5489 -x5457 -x5487 -x5488 -x5454 -x5456 -x5453 -x5455 -x5486 -x5462 -x5484 -x5485 -x5459 -x5461 -x5458 -x5460 -x5483 -x5467 -x5481 -x5482 -x5464 -x5466 -x5463 -x5465 -x5480 -x5472 -x5478 -x5479 -x5469 -x5471 -x5468 -x5470 -x5477 -x5474 -x5476 -x5473 -x5475 -x5556 -x5593 -x5594 -x5553 -x5555 -x5552 -x5538 -x5551 -x5513 -x5537 -x5495 -x5511 -x5512 -x5493 -x5494 -x5510 -x5498 -x5508 -x5509 -x5496 -x5497 -x5507 -x5501 -x5505 -x5506 -x5499 -x5500 -x5504 -x5502 -x5503 -x5517 -x5535 -x5536 -x5514 -x5516 -x5515 -x5534 -x5521 -x5532 -x5533 -x5518 -x5520 -x5519 -x5531 -x5525 -x5529 -x5530 -x5522 -x5524 -x5523 -x5528 x5526 -x5527 -x5539 -x5550 -x5541 -x5549 -x5540 -x5543 -x5548 -x5542 -x5545 x5547 -x5544 x5546 -x5554 -x5592 -x5561 -x5590 -x5591 -x5558 -x5560 -x5557 -x5559 -x5589 -x5566 -x5587 -x5588 -x5563 -x5565 -x5562 -x5564 -x5586 -x5571 -x5584 -x5585 -x5568 -x5570 -x5567 -x5569 -x5583 -x5576 -x5581 -x5582 -x5573 -x5575 x5572 -x5574 -x5580 -x5578 -x5579 -x5577 -x5598 -x5612 -x5597 -x5600 -x5611 -x5599 -x5602 -x5610 -x5601 -x5604 -x5609 -x5603 -x5606 -x5608 -x5605 -x5607 -x5705 -x5687 -x5704 -x5648 -x5686 -x5618 -x5646 -x5647 -x5616 -x5617 -x5645 -x5621 -x5643 -x5644 -x5619 -x5620 -x5642 -x5624 -x5640 -x5641 -x5622 -x5623 -x5639 -x5627 -x5637 -x5638 -x5625 -x5626 -x5636 -x5630 -x5634 -x5635 -x5628 -x5629 -x5633 -x5631 -x5632 -x5652 -x5684 -x5685 -x5649 -x5651 -x5650 -x5683 -x5656 -x5681 -x5682 -x5653 -x5655 -x5654 -x5680 -x5660 -x5678 -x5679 -x5657 -x5659 -x5658 -x5677 -x5664 -x5675 -x5676 -x5661 -x5663 -x5662 -x5674 -x5668 -x5672 -x5673 -x5665 -x5667 -x5666 -x5671 -x5669 -x5670 -x5689 -x5703 -x5688 -x5691 -x5702 -x5690 -x5693 -x5701 -x5692 -x5695 -x5700 -x5694 -x5697 -x5699 -x5696 -x5698 -x5752 -x5712 -x5750 -x5751 -x5709 -x5711 -x5708 -x5710 -x5749 -x5717 -x5747 -x5748 -x5714 -x5716 -x5713 -x5715 -x5746 -x5722 -x5744 -x5745 -x5719 -x5721 -x5718 -x5720 -x5743 -x5727 -x5741 -x5742 -x5724 -x5726 -x5723 -x5725 -x5740 -x5732 -x5738 -x5739 -x5729 -x5731 -x5728 -x5730 -x5737 -x5734 -x5736 -x5733 -x5735 -x5849 -x5894 -x5895 -x5846 -x5848 -x5845 -x5827 -x5844 -x5788 -x5826 -x5758 -x5786 -x5787 -x5756 -x5757 -x5785 -x5761 -x5783 -x5784 -x5759 -x5760 -x5782 -x5764 -x5780 -x5781 -x5762 -x5763 -x5779 -x5767 -x5777 -x5778 -x5765 -x5766 -x5776 -x5770 -x5774 -x5775 -x5768 -x5769 -x5773 -x5771 -x5772 -x5792 -x5824 -x5825 -x5789 -x5791 -x5790 -x5823 -x5796 -x5821 -x5822 -x5793 -x5795 -x5794 -x5820 -x5800 -x5818 -x5819 -x5797 -x5799 -x5798 -x5817 -x5804 -x5815 -x5816 -x5801 -x5803 -x5802 -x5814 -x5808 -x5812 -x5813 -x5805 -x5807 -x5806 -x5811 -x5809 -x5810 -x5829 -x5843 -x5828 -x5831 -x5842 -x5830 -x5833 -x5841 -x5832 -x5835 -x5840 -x5834 -x5837 -x5839 -x5836 -x5838 -x5847 -x5893 -x5854 -x5891 -x5892 -x5851 -x5853 -x5850 -x5852 -x5890 -x5859 -x5888 -x5889 -x5856 -x5858 -x5855 -x5857 -x5887 -x5864 -x5885 -x5886 -x5861 -x5863 -x5860 -x5862 -x5884 -x5869 -x5882 -x5883 -x5866 -x5868 -x5865 -x5867 -x5881 -x5874 -x5879 -x5880 -x5871 -x5873 -x5870 -x5872 -x5878 -x5876 -x5877 -x5875 -x5898 -x5918 -x5900 -x5917 -x5899 -x5902 -x5916 -x5901 -x5904 -x5915 -x5903 -x5906 -x5914 -x5905 -x5908 -x5913 -x5907 -x5910 -x5912 -x5909 -x5911 -x6029 -x6006 -x6028 -x5960 -x6005 -x5924 -x5958 -x5959 -x5922 -x5923 -x5957 -x5927 -x5955 -x5956 -x5925 -x5926 -x5954 -x5930 -x5952 -x5953 -x5928 -x5929 -x5951 -x5933 -x5949 -x5950 -x5931 -x5932 -x5948 -x5936 -x5946 -x5947 -x5934 -x5935 -x5945 -x5939 -x5943 -x5944 -x5937 -x5938 -x5942 -x5940 -x5941 -x5964 -x6003 -x6004 -x5961 -x5963 -x5962 -x6002 -x5968 -x6000 -x6001 -x5965 -x5967 -x5966 -x5999 -x5972 -x5997 -x5998 -x5969 -x5971 -x5970 -x5996 -x5976 -x5994 -x5995 -x5973 -x5975 -x5974 -x5993 -x5980 -x5991 -x5992 -x5977 -x5979 -x5978 -x5990 -x5984 -x5988 -x5989 -x5981 -x5983 -x5982 -x5987 -x5985 -x5986 -x6007 -x6027 -x6009 -x6026 -x6008 -x6011 -x6025 -x6010 -x6013 -x6024 -x6012 -x6015 -x6023 -x6014 -x6017 -x6022 -x6016 -x6019 -x6021 -x6018 -x6020 -x6092 -x6036 -x6090 -x6091 -x6033 -x6035 -x6032 -x6034 -x6089 -x6041 -x6087 -x6088 -x6038 -x6040 -x6037 -x6039 -x6086 -x6046 -x6084 -x6085 -x6043 -x6045 -x6042 -x6044 -x6083 -x6051 -x6081 -x6082 -x6048 -x6050 -x6047 -x6049 -x6080 -x6056 -x6078 -x6079 -x6053 -x6055 -x6052 -x6054 -x6077 -x6061 -x6075 -x6076 -x6058 -x6060 -x6057 -x6059 -x6074 -x6066 -x6072 -x6073 -x6063 -x6065 -x6062 -x6064 -x6071 -x6068 -x6070 -x6067 -x6069 -x6207 -x6268 -x6269 -x6204 -x6206 -x6203 -x6180 -x6202 -x6134 -x6179 -x6098 -x6132 -x6133 -x6096 -x6097 -x6131 -x6101 -x6129 -x6130 -x6099 -x6100 -x6128 -x6104 -x6126 -x6127 -x6102 -x6103 -x6125 -x6107 -x6123 -x6124 -x6105 -x6106 -x6122 -x6110 -x6120 -x6121 -x6108 -x6109 -x6119 -x6113 -x6117 -x6118 -x6111 -x6112 -x6116 -x6114 -x6115 -x6138 -x6177 -x6178 -x6135 -x6137 -x6136 -x6176 -x6142 -x6174 -x6175 -x6139 -x6141 -x6140 -x6173 -x6146 -x6171 -x6172 -x6143 -x6145 -x6144 -x6170 -x6150 -x6168 -x6169 -x6147 -x6149 -x6148 -x6167 -x6154 -x6165 -x6166 -x6151 -x6153 -x6152 -x6164 -x6158 -x6162 -x6163 -x6155 -x6157 -x6156 -x6161 -x6159 -x6160 -x6181 -x6201 -x6183 -x6200 -x6182 -x6185 -x6199 -x6184 -x6187 -x6198 -x6186 -x6189 -x6197 -x6188 -x6191 -x6196 -x6190 -x6193 -x6195 -x6192 -x6194 -x6205 -x6267 -x6212 -x6265 -x6266 -x6209 -x6211 -x6208 -x6210 -x6264 -x6217 -x6262 -x6263 -x6214 -x6216 -x6213 -x6215 -x6261 -x6222 -x6259 -x6260 -x6219 -x6221 -x6218 -x6220 -x6258 -x6227 -x6256 -x6257 -x6224 -x6226 -x6223 -x6225 -x6255 -x6232 -x6253 -x6254 -x6229 -x6231 -x6228 -x6230 -x6252 -x6237 -x6250 -x6251 -x6234 -x6236 -x6233 -x6235 -x6249 -x6242 -x6247 -x6248 -x6239 -x6241 -x6238 -x6240 -x6246 -x6244 -x6245 x6243 -x6272 -x6298 -x6274 -x6297 -x6273 -x6276 -x6296 -x6275 -x6278 -x6295 -x6277 -x6280 -x6294 -x6279 -x6282 -x6293 -x6281 -x6284 -x6292 -x6283 -x6286 -x6291 -x6285 -x6288 -x6290 -x6287 -x6289 x6303 -x6370 -x6307 -x6369 -x6304 x6306 -x6305 x6308 -x6368 -x6312 -x6367 -x6309 x6311 -x6310 x6313 -x6366 -x6317 -x6365 -x6314 x6316 -x6315 x6318 -x6364 -x6322 -x6363 -x6319 x6321 -x6320 x6323 -x6362 -x6327 -x6361 -x6324 x6326 -x6325 x6328 -x6360 -x6332 -x6359 -x6329 x6331 -x6330 x6333 -x6358 -x6337 -x6357 -x6334 x6336 -x6335 x6338 -x6356 -x6342 -x6355 -x6339 x6341 -x6340 x6343 -x6354 -x6347 -x6353 -x6344 x6346 -x6345 x6348 -x6352 -x6349 x6351 -x6350 x6373 x6650 -x6652 -x6573 x6649 -x6473 x6572 -x6420 -x6472 -x6378 -x6418 -x6419 -x6376 -x6377 -x6417 -x6381 -x6415 -x6416 -x6379 -x6380 -x6414 -x6384 -x6412 -x6413 -x6382 -x6383 -x6411 -x6387 -x6409 -x6410 -x6385 -x6386 -x6408 -x6390 -x6406 -x6407 -x6388 -x6389 -x6405 -x6393 -x6403 -x6404 -x6391 -x6392 -x6402 x6396 x6400 -x6401 x6394 -x6395 -x6399 -x6397 -x6398 -x6424 -x6470 -x6471 -x6421 -x6423 -x6422 -x6469 -x6428 -x6467 -x6468 -x6425 -x6427 -x6426 -x6466 -x6432 -x6464 -x6465 -x6429 -x6431 -x6430 -x6463 -x6436 -x6461 -x6462 -x6433 -x6435 -x6434 -x6460 -x6440 -x6458 -x6459 -x6437 -x6439 -x6438 -x6457 -x6444 -x6455 -x6456 -x6441 -x6443 -x6442 -x6454 x6448 -x6452 x6453 -x6445 x6447 x6446 -x6451 -x6449 -x6450 -x6571 -x6518 -x6570 -x6476 -x6516 -x6517 -x6474 -x6475 -x6515 -x6479 -x6513 -x6514 -x6477 -x6478 -x6512 -x6482 -x6510 -x6511 -x6480 -x6481 -x6509 -x6485 -x6507 -x6508 -x6483 -x6484 -x6506 -x6488 -x6504 -x6505 -x6486 -x6487 -x6503 -x6491 -x6501 -x6502 -x6489 -x6490 -x6500 -x6494 -x6498 -x6499 -x6492 -x6493 -x6497 -x6495 -x6496 -x6522 -x6568 -x6569 -x6519 -x6521 -x6520 -x6567 -x6526 -x6565 -x6566 -x6523 -x6525 -x6524 -x6564 -x6530 -x6562 -x6563 -x6527 -x6529 -x6528 -x6561 -x6534 -x6559 -x6560 -x6531 -x6533 -x6532 -x6558 -x6538 -x6556 -x6557 -x6535 -x6537 -x6536 -x6555 -x6542 -x6553 -x6554 -x6539 -x6541 -x6540 -x6552 -x6546 -x6550 -x6551 -x6543 -x6545 -x6544 -x6549 -x6547 -x6548 x6574 x6648 -x6578 x6647 -x6575 x6577 -x6576 x6579 x6646 -x6585 x6645 -x6581 x6584 -x6580 -x6583 -x6582 x6586 x6644 -x6592 x6643 -x6588 x6591 -x6587 -x6590 -x6589 x6593 x6642 -x6599 x6641 -x6595 x6598 -x6594 -x6597 -x6596 x6600 x6640 -x6606 x6639 -x6602 x6605 -x6601 -x6604 -x6603 x6607 x6638 -x6613 x6637 -x6609 x6612 -x6608 -x6611 -x6610 x6614 x6636 -x6620 x6635 -x6616 x6619 -x6615 -x6618 -x6617 x6621 x6634 x6627 -x6633 x6623 x6626 x6622 -x6625 -x6624 -x6628 -x6632 -x6629 x6631 -x6630 x6651 -x7043 x7045 x6961 x6971 x6973 -x7042 -x6960 -x6928 -x6959 -x6796 -x6927 -x6795 -x6746 -x6794 -x6720 -x6744 -x6745 -x6698 -x6719 -x6697 -x6678 -x6696 -x6670 -x6676 -x6677 -x6661 -x6669 -x6660 -x6656 -x6659 x6654 -x6655 -x6657 x6658 -x6668 -x6664 -x6667 -x6662 -x6663 -x6665 -x6666 -x6675 x6672 -x6674 x6671 -x6673 -x6689 -x6694 -x6695 -x6686 -x6688 -x6685 -x6681 -x6684 -x6679 -x6680 -x6682 -x6683 -x6687 -x6693 -x6691 x6692 -x6690 -x6718 -x6707 -x6717 -x6701 -x6705 -x6706 -x6699 -x6700 -x6704 -x6702 -x6703 -x6711 -x6715 -x6716 -x6708 -x6710 -x6709 -x6714 -x6712 -x6713 -x6743 -x6725 -x6741 -x6742 -x6722 -x6724 -x6721 -x6723 -x6740 -x6732 -x6738 -x6739 -x6728 -x6731 -x6727 -x6726 -x6730 -x6729 -x6737 -x6734 -x6736 x6733 -x6735 -x6770 -x6792 -x6793 -x6767 -x6769 -x6766 -x6755 -x6765 -x6749 -x6753 -x6754 -x6747 -x6748 -x6752 -x6750 -x6751 -x6759 -x6763 -x6764 -x6756 -x6758 -x6757 -x6762 -x6760 -x6761 -x6768 -x6791 -x6775 -x6789 -x6790 -x6772 -x6774 -x6771 -x6773 -x6788 -x6781 -x6786 -x6787 -x6778 -x6780 -x6777 -x6776 -x6779 -x6785 -x6783 -x6784 -x6782 -x6891 -x6926 -x6843 -x6890 -x6842 -x6817 -x6841 -x6799 -x6815 -x6816 -x6797 -x6798 -x6814 -x6802 -x6812 -x6813 -x6800 -x6801 -x6811 -x6805 -x6809 -x6810 -x6803 -x6804 -x6808 x6806 -x6807 -x6821 -x6839 -x6840 -x6818 -x6820 -x6819 -x6838 -x6825 -x6836 -x6837 -x6822 -x6824 -x6823 -x6835 -x6829 -x6833 -x6834 -x6826 -x6828 -x6827 -x6832 -x6830 x6831 -x6889 -x6864 -x6888 -x6846 -x6862 -x6863 -x6844 -x6845 -x6861 -x6849 -x6859 -x6860 -x6847 -x6848 -x6858 -x6852 -x6856 -x6857 -x6850 -x6851 -x6855 -x6853 -x6854 -x6868 -x6886 -x6887 -x6865 -x6867 -x6866 -x6885 -x6872 -x6883 -x6884 -x6869 -x6871 -x6870 -x6882 -x6876 -x6880 -x6881 -x6873 -x6875 -x6874 -x6879 -x6877 -x6878 -x6898 -x6924 -x6925 -x6894 -x6897 -x6893 -x6892 -x6896 -x6895 -x6923 -x6905 -x6921 -x6922 -x6901 -x6904 -x6900 -x6899 -x6903 -x6902 -x6920 -x6912 -x6918 -x6919 -x6908 -x6911 -x6907 -x6906 -x6910 -x6909 -x6917 x6914 -x6916 x6913 -x6915 -x6934 -x6957 -x6958 -x6931 -x6933 -x6930 -x6929 -x6932 -x6956 -x6940 -x6954 -x6955 -x6937 -x6939 -x6936 -x6935 -x6938 -x6953 -x6946 -x6951 -x6952 -x6943 -x6945 -x6942 -x6941 -x6944 -x6950 -x6948 x6949 -x6947 -x6970 -x6965 -x6969 -x6962 -x6963 -x6964 -x6966 -x6967 -x6968 -x6972 -x7018 -x7041 -x7014 x7017 -x6995 -x7013 -x6987 -x6993 -x6994 -x6978 -x6986 -x6977 -x6974 -x6976 x6975 -x6985 -x6981 -x6984 -x6979 -x6980 -x6982 -x6983 -x6992 x6989 -x6991 x6988 -x6990 -x7006 -x7011 -x7012 -x7003 -x7005 -x7002 -x6998 -x7001 -x6996 -x6997 -x6999 -x7000 -x7004 -x7010 -x7008 x7009 -x7007 -x7016 -x7015 x7019 -x7040 -x7024 -x7039 -x7020 x7023 -x7022 -x7021 x7025 -x7038 -x7031 -x7037 -x7027 x7030 -x7026 -x7029 -x7028 x7032 -x7036 x7033 -x7035 x7034 x7044 x7398 -x7400 -x7328 x7397 -x7186 x7327 -x7157 -x7185 -x7097 -x7156 -x7049 -x7095 -x7096 -x7047 -x7048 -x7094 -x7052 -x7092 -x7093 -x7050 -x7051 -x7091 -x7055 -x7089 -x7090 -x7053 -x7054 -x7088 -x7058 -x7086 -x7087 -x7056 -x7057 -x7085 -x7061 -x7083 -x7084 -x7059 -x7060 -x7082 -x7064 -x7080 -x7081 -x7062 -x7063 -x7079 -x7067 -x7077 -x7078 -x7065 -x7066 -x7076 -x7070 -x7074 -x7075 -x7068 -x7069 -x7073 x7071 -x7072 -x7101 -x7154 -x7155 -x7098 -x7100 -x7099 -x7153 -x7105 -x7151 -x7152 -x7102 -x7104 -x7103 -x7150 -x7109 -x7148 -x7149 -x7106 -x7108 -x7107 -x7147 -x7113 -x7145 -x7146 -x7110 -x7112 -x7111 -x7144 -x7117 -x7142 -x7143 -x7114 -x7116 -x7115 -x7141 -x7121 -x7139 -x7140 -x7118 -x7120 -x7119 -x7138 -x7125 x7136 x7137 -x7122 -x7124 -x7123 x7135 x7129 x7133 x7134 x7126 -x7128 -x7127 x7132 x7130 x7131 -x7158 -x7184 -x7160 -x7183 -x7159 -x7162 -x7182 -x7161 -x7164 -x7181 -x7163 -x7166 -x7180 -x7165 -x7168 -x7179 -x7167 -x7170 -x7178 -x7169 x7172 -x7177 -x7171 -x7174 -x7176 x7173 -x7175 -x7326 -x7297 -x7325 -x7237 -x7296 -x7189 -x7235 -x7236 -x7187 -x7188 -x7234 -x7192 -x7232 -x7233 -x7190 -x7191 -x7231 -x7195 -x7229 -x7230 -x7193 -x7194 -x7228 -x7198 -x7226 -x7227 -x7196 -x7197 -x7225 -x7201 -x7223 -x7224 -x7199 -x7200 -x7222 -x7204 -x7220 -x7221 -x7202 -x7203 -x7219 -x7207 -x7217 -x7218 -x7205 -x7206 -x7216 -x7210 -x7214 -x7215 -x7208 -x7209 -x7213 -x7211 -x7212 -x7241 -x7294 -x7295 -x7238 -x7240 -x7239 -x7293 -x7245 -x7291 -x7292 -x7242 -x7244 -x7243 -x7290 -x7249 -x7288 -x7289 -x7246 -x7248 -x7247 -x7287 -x7253 -x7285 -x7286 -x7250 -x7252 -x7251 -x7284 -x7257 -x7282 -x7283 -x7254 -x7256 -x7255 -x7281 -x7261 -x7279 -x7280 -x7258 -x7260 -x7259 -x7278 -x7265 -x7276 -x7277 -x7262 -x7264 -x7263 -x7275 -x7269 -x7273 -x7274 -x7266 -x7268 -x7267 -x7272 x7270 -x7271 -x7298 -x7324 -x7300 -x7323 -x7299 -x7302 -x7322 -x7301 -x7304 -x7321 -x7303 -x7306 -x7320 -x7305 -x7308 -x7319 -x7307 -x7310 -x7318 -x7309 -x7312 -x7317 -x7311 -x7314 x7316 -x7313 x7315 x7329 x7396 -x7333 x7395 -x7330 x7332 -x7331 x7334 x7394 -x7338 x7393 -x7335 x7337 -x7336 x7339 x7392 -x7343 x7391 -x7340 x7342 -x7341 x7344 x7390 -x7348 x7389 -x7345 x7347 -x7346 x7349 x7388 -x7353 x7387 -x7350 x7352 -x7351 x7354 x7386 -x7358 x7385 -x7355 x7357 -x7356 x7359 x7384 -x7363 x7383 -x7360 x7362 -x7361 x7364 x7382 x7368 -x7381 x7365 x7367 -x7366 -x7369 -x7380 -x7373 -x7379 -x7370 -x7372 x7371 -x7374 x7378 x7375 x7377 -x7376 -x7399 -x9164 x9166 -x9087 -x9163 -x8255 x9086 -x8104 -x8254 -x8036 -x8102 -x8103 -x7949 -x8035 -x7948 -x7833 -x7947 -x7777 -x7831 -x7832 -x7716 -x7776 -x7715 -x7630 -x7714 -x7592 -x7628 -x7629 -x7544 -x7591 -x7543 -x7494 -x7542 -x7468 -x7492 -x7493 -x7446 -x7467 -x7445 -x7426 -x7444 -x7418 -x7424 -x7425 -x7409 -x7417 -x7408 -x7404 -x7407 -x7402 -x7403 -x7405 -x7406 -x7416 -x7412 -x7415 -x7410 -x7411 x7413 -x7414 -x7423 -x7420 -x7422 -x7419 x7421 -x7437 -x7442 -x7443 -x7434 -x7436 -x7433 -x7429 -x7432 -x7427 -x7428 -x7430 -x7431 -x7435 -x7441 -x7439 -x7440 -x7438 -x7466 -x7455 -x7465 -x7449 -x7453 -x7454 -x7447 -x7448 -x7452 -x7450 x7451 -x7459 -x7463 -x7464 -x7456 -x7458 -x7457 -x7462 -x7460 x7461 -x7491 -x7473 -x7489 -x7490 -x7470 -x7472 -x7469 -x7471 -x7488 -x7480 -x7486 -x7487 -x7476 -x7479 -x7475 -x7474 -x7478 -x7477 -x7485 -x7482 -x7484 -x7481 x7483 -x7518 -x7540 -x7541 -x7515 -x7517 -x7514 -x7503 -x7513 -x7497 -x7501 -x7502 -x7495 -x7496 -x7500 -x7498 x7499 -x7507 -x7511 -x7512 -x7504 -x7506 -x7505 -x7510 -x7508 x7509 -x7516 -x7539 -x7523 -x7537 -x7538 -x7520 -x7522 -x7519 -x7521 -x7536 -x7529 -x7534 -x7535 -x7526 -x7528 -x7525 -x7524 -x7527 -x7533 -x7531 -x7532 x7530 -x7590 -x7565 -x7589 -x7547 -x7563 -x7564 -x7545 -x7546 -x7562 -x7550 -x7560 -x7561 -x7548 -x7549 -x7559 -x7553 -x7557 -x7558 -x7551 -x7552 -x7556 -x7554 -x7555 -x7569 -x7587 -x7588 -x7566 -x7568 -x7567 -x7586 -x7573 -x7584 -x7585 -x7570 -x7572 -x7571 -x7583 -x7577 -x7581 -x7582 -x7574 -x7576 -x7575 -x7580 x7578 -x7579 -x7627 -x7599 -x7625 -x7626 -x7595 -x7598 -x7594 -x7593 -x7597 -x7596 -x7624 -x7606 -x7622 -x7623 -x7602 -x7605 -x7601 -x7600 -x7604 -x7603 -x7621 -x7613 -x7619 -x7620 -x7609 -x7612 -x7608 -x7607 -x7611 -x7610 -x7618 -x7615 -x7617 -x7614 x7616 -x7680 -x7712 -x7713 -x7677 -x7679 -x7676 -x7651 -x7675 -x7633 -x7649 -x7650 -x7631 -x7632 -x7648 -x7636 -x7646 -x7647 -x7634 -x7635 -x7645 -x7639 -x7643 -x7644 -x7637 -x7638 -x7642 -x7640 -x7641 -x7655 -x7673 -x7674 -x7652 -x7654 -x7653 -x7672 -x7659 -x7670 -x7671 -x7656 -x7658 -x7657 -x7669 -x7663 -x7667 -x7668 -x7660 -x7662 -x7661 -x7666 -x7664 -x7665 -x7678 -x7711 -x7686 -x7709 -x7710 -x7683 -x7685 -x7682 -x7681 -x7684 -x7708 -x7692 -x7706 -x7707 -x7689 -x7691 -x7688 -x7687 -x7690 -x7705 -x7698 -x7703 -x7704 -x7695 -x7697 -x7694 -x7693 -x7696 -x7702 -x7700 -x7701 -x7699 -x7775 -x7743 -x7774 -x7719 -x7741 -x7742 -x7717 -x7718 -x7740 -x7722 -x7738 -x7739 -x7720 -x7721 -x7737 -x7725 -x7735 -x7736 -x7723 -x7724 -x7734 -x7728 -x7732 -x7733 -x7726 -x7727 -x7731 -x7729 x7730 -x7747 -x7772 -x7773 -x7744 -x7746 -x7745 -x7771 -x7751 -x7769 -x7770 -x7748 -x7750 -x7749 -x7768 -x7755 -x7766 -x7767 -x7752 -x7754 -x7753 -x7765 -x7759 -x7763 -x7764 -x7756 -x7758 -x7757 -x7762 -x7760 x7761 -x7830 -x7782 -x7828 -x7829 -x7779 -x7781 -x7778 -x7780 -x7827 -x7789 -x7825 -x7826 -x7785 -x7788 -x7784 -x7783 -x7787 -x7786 -x7824 -x7796 -x7822 -x7823 -x7792 -x7795 -x7791 -x7790 -x7794 -x7793 -x7821 -x7803 -x7819 -x7820 -x7799 -x7802 -x7798 -x7797 -x7801 -x7800 -x7818 -x7810 -x7816 -x7817 -x7806 -x7809 -x7805 -x7804 -x7808 -x7807 -x7815 -x7812 x7814 -x7811 x7813 -x7896 -x7945 -x7946 -x7893 -x7895 -x7892 -x7860 -x7891 -x7836 -x7858 -x7859 -x7834 -x7835 -x7857 -x7839 -x7855 -x7856 -x7837 -x7838 -x7854 -x7842 -x7852 -x7853 -x7840 -x7841 -x7851 -x7845 -x7849 -x7850 -x7843 -x7844 -x7848 -x7846 x7847 -x7864 -x7889 -x7890 -x7861 -x7863 -x7862 -x7888 -x7868 -x7886 -x7887 -x7865 -x7867 -x7866 -x7885 -x7872 -x7883 -x7884 -x7869 -x7871 -x7870 -x7882 -x7876 -x7880 -x7881 -x7873 -x7875 -x7874 -x7879 -x7877 x7878 -x7894 -x7944 -x7901 -x7942 -x7943 -x7898 -x7900 -x7897 -x7899 -x7941 -x7907 -x7939 -x7940 -x7904 -x7906 -x7903 -x7902 -x7905 -x7938 -x7913 -x7936 -x7937 -x7910 -x7912 -x7909 -x7908 -x7911 -x7935 -x7919 -x7933 -x7934 -x7916 -x7918 -x7915 -x7914 -x7917 -x7932 -x7925 -x7930 -x7931 -x7922 -x7924 -x7921 -x7920 -x7923 -x7929 -x7927 x7928 x7926 -x8034 -x7988 -x8033 -x7952 -x7986 -x7987 -x7950 -x7951 -x7985 -x7955 -x7983 -x7984 -x7953 -x7954 -x7982 -x7958 -x7980 -x7981 -x7956 -x7957 -x7979 -x7961 -x7977 -x7978 -x7959 -x7960 -x7976 -x7964 -x7974 -x7975 -x7962 -x7963 -x7973 -x7967 -x7971 -x7972 -x7965 -x7966 -x7970 -x7968 -x7969 -x7992 -x8031 -x8032 -x7989 -x7991 -x7990 -x8030 -x7996 -x8028 -x8029 -x7993 -x7995 -x7994 -x8027 -x8000 -x8025 -x8026 -x7997 -x7999 -x7998 -x8024 -x8004 -x8022 -x8023 -x8001 -x8003 -x8002 -x8021 -x8008 -x8019 -x8020 -x8005 -x8007 -x8006 -x8018 -x8012 -x8016 -x8017 -x8009 -x8011 -x8010 -x8015 -x8013 -x8014 -x8101 -x8043 -x8099 -x8100 -x8039 -x8042 -x8038 -x8037 -x8041 -x8040 -x8098 -x8050 -x8096 -x8097 -x8046 -x8049 -x8045 -x8044 -x8048 -x8047 -x8095 -x8057 -x8093 -x8094 -x8053 -x8056 -x8052 -x8051 -x8055 -x8054 -x8092 -x8064 -x8090 -x8091 -x8060 -x8063 -x8059 -x8058 -x8062 -x8061 -x8089 -x8071 -x8087 -x8088 -x8067 -x8070 -x8066 -x8065 -x8069 -x8068 -x8086 -x8078 -x8084 -x8085 -x8074 -x8077 -x8073 -x8072 -x8076 -x8075 -x8083 x8080 -x8082 x8079 -x8081 -x8193 -x8252 -x8253 -x8190 -x8192 -x8189 -x8143 -x8188 -x8107 -x8141 -x8142 -x8105 -x8106 -x8140 -x8110 -x8138 -x8139 -x8108 -x8109 -x8137 -x8113 -x8135 -x8136 -x8111 -x8112 -x8134 -x8116 -x8132 -x8133 -x8114 -x8115 -x8131 -x8119 -x8129 -x8130 -x8117 -x8118 -x8128 -x8122 -x8126 -x8127 -x8120 -x8121 -x8125 -x8123 x8124 -x8147 -x8186 -x8187 -x8144 -x8146 -x8145 -x8185 -x8151 -x8183 -x8184 -x8148 -x8150 -x8149 -x8182 -x8155 -x8180 -x8181 -x8152 -x8154 -x8153 -x8179 -x8159 -x8177 -x8178 -x8156 -x8158 -x8157 -x8176 -x8163 -x8174 -x8175 -x8160 -x8162 -x8161 -x8173 -x8167 x8171 x8172 -x8164 -x8166 -x8165 x8170 x8168 x8169 -x8191 -x8251 -x8199 -x8249 -x8250 -x8196 -x8198 -x8195 -x8194 -x8197 -x8248 -x8205 -x8246 -x8247 -x8202 -x8204 -x8201 -x8200 -x8203 -x8245 -x8211 -x8243 -x8244 -x8208 -x8210 -x8207 -x8206 -x8209 -x8242 -x8217 -x8240 -x8241 -x8214 -x8216 -x8213 -x8212 -x8215 -x8239 -x8223 -x8237 -x8238 -x8220 -x8222 -x8219 -x8218 -x8221 -x8236 -x8229 -x8234 -x8235 -x8226 -x8228 x8225 -x8224 -x8227 -x8233 -x8231 x8232 -x8230 -x9085 -x8934 -x9084 -x8866 -x8932 -x8933 -x8779 -x8865 -x8778 -x8663 -x8777 -x8607 -x8661 -x8662 -x8546 -x8606 -x8545 -x8460 -x8544 -x8422 -x8458 -x8459 -x8374 -x8421 -x8373 -x8324 -x8372 -x8298 -x8322 -x8323 -x8276 -x8297 -x8275 -x8264 -x8274 -x8258 -x8262 -x8263 -x8256 -x8257 -x8261 -x8259 x8260 -x8268 -x8272 -x8273 -x8265 -x8267 -x8266 -x8271 -x8269 x8270 -x8296 -x8285 -x8295 -x8279 -x8283 -x8284 -x8277 -x8278 -x8282 -x8280 -x8281 -x8289 -x8293 -x8294 -x8286 -x8288 -x8287 -x8292 -x8290 -x8291 -x8321 -x8303 -x8319 -x8320 -x8300 -x8302 -x8299 -x8301 -x8318 -x8310 -x8316 -x8317 -x8306 -x8309 -x8305 -x8304 -x8308 -x8307 -x8315 x8312 -x8314 x8311 -x8313 -x8348 -x8370 -x8371 -x8345 -x8347 -x8344 -x8333 -x8343 -x8327 -x8331 -x8332 -x8325 -x8326 -x8330 -x8328 x8329 -x8337 x8341 x8342 -x8334 -x8336 -x8335 x8340 x8338 x8339 -x8346 -x8369 -x8353 -x8367 -x8368 -x8350 -x8352 -x8349 -x8351 -x8366 -x8359 -x8364 -x8365 -x8356 -x8358 x8355 -x8354 -x8357 -x8363 -x8361 x8362 -x8360 -x8420 -x8395 -x8419 -x8377 -x8393 -x8394 -x8375 -x8376 -x8392 -x8380 -x8390 -x8391 -x8378 -x8379 -x8389 -x8383 -x8387 -x8388 -x8381 -x8382 -x8386 -x8384 -x8385 -x8399 -x8417 -x8418 -x8396 -x8398 -x8397 -x8416 -x8403 -x8414 -x8415 -x8400 -x8402 -x8401 -x8413 -x8407 -x8411 -x8412 -x8404 -x8406 -x8405 -x8410 -x8408 -x8409 -x8457 -x8429 -x8455 -x8456 -x8425 -x8428 -x8424 -x8423 -x8427 -x8426 -x8454 -x8436 -x8452 -x8453 -x8432 -x8435 -x8431 -x8430 -x8434 -x8433 -x8451 -x8443 -x8449 -x8450 -x8439 -x8442 -x8438 -x8437 -x8441 -x8440 -x8448 x8445 -x8447 x8444 -x8446 -x8510 -x8542 -x8543 -x8507 -x8509 -x8506 -x8481 -x8505 -x8463 -x8479 -x8480 -x8461 -x8462 -x8478 -x8466 -x8476 -x8477 -x8464 -x8465 -x8475 -x8469 -x8473 -x8474 -x8467 -x8468 -x8472 x8470 -x8471 -x8485 -x8503 -x8504 -x8482 -x8484 -x8483 -x8502 -x8489 -x8500 -x8501 -x8486 -x8488 -x8487 -x8499 x8493 x8497 -x8498 x8490 -x8492 -x8491 -x8496 -x8494 x8495 -x8508 -x8541 -x8516 -x8539 -x8540 -x8513 -x8515 -x8512 -x8511 -x8514 -x8538 -x8522 -x8536 -x8537 -x8519 -x8521 -x8518 -x8517 -x8520 -x8535 -x8528 -x8533 -x8534 -x8525 -x8527 x8524 x8523 -x8526 -x8532 -x8530 x8531 x8529 -x8605 -x8573 -x8604 -x8549 -x8571 -x8572 -x8547 -x8548 -x8570 -x8552 -x8568 -x8569 -x8550 -x8551 -x8567 -x8555 -x8565 -x8566 -x8553 -x8554 -x8564 -x8558 -x8562 -x8563 -x8556 -x8557 -x8561 -x8559 -x8560 -x8577 -x8602 -x8603 -x8574 -x8576 -x8575 -x8601 -x8581 -x8599 -x8600 -x8578 -x8580 -x8579 -x8598 -x8585 -x8596 -x8597 -x8582 -x8584 -x8583 -x8595 -x8589 -x8593 -x8594 -x8586 -x8588 -x8587 -x8592 -x8590 -x8591 -x8660 -x8612 -x8658 -x8659 -x8609 -x8611 -x8608 -x8610 -x8657 -x8619 -x8655 -x8656 -x8615 -x8618 -x8614 -x8613 -x8617 -x8616 -x8654 -x8626 -x8652 -x8653 -x8622 -x8625 -x8621 -x8620 -x8624 -x8623 -x8651 -x8633 -x8649 -x8650 -x8629 -x8632 -x8628 -x8627 -x8631 -x8630 -x8648 -x8640 -x8646 -x8647 -x8636 -x8639 -x8635 -x8634 -x8638 -x8637 -x8645 x8642 -x8644 x8641 -x8643 -x8726 -x8775 -x8776 -x8723 -x8725 -x8722 -x8690 -x8721 -x8666 -x8688 -x8689 -x8664 -x8665 -x8687 -x8669 -x8685 -x8686 -x8667 -x8668 -x8684 -x8672 -x8682 -x8683 -x8670 -x8671 -x8681 -x8675 -x8679 -x8680 -x8673 -x8674 -x8678 -x8676 -x8677 -x8694 -x8719 -x8720 -x8691 -x8693 -x8692 -x8718 -x8698 -x8716 -x8717 -x8695 -x8697 -x8696 -x8715 -x8702 -x8713 -x8714 -x8699 -x8701 -x8700 -x8712 -x8706 -x8710 -x8711 -x8703 -x8705 -x8704 -x8709 -x8707 -x8708 -x8724 -x8774 -x8731 -x8772 -x8773 -x8728 -x8730 -x8727 -x8729 -x8771 -x8737 -x8769 -x8770 -x8734 -x8736 -x8733 -x8732 -x8735 -x8768 -x8743 -x8766 -x8767 -x8740 -x8742 -x8739 -x8738 -x8741 -x8765 -x8749 -x8763 -x8764 -x8746 -x8748 -x8745 -x8744 -x8747 -x8762 -x8755 -x8760 -x8761 -x8752 -x8754 -x8751 -x8750 -x8753 -x8759 -x8757 x8758 -x8756 -x8864 -x8818 -x8863 -x8782 -x8816 -x8817 -x8780 -x8781 -x8815 -x8785 -x8813 -x8814 -x8783 -x8784 -x8812 -x8788 -x8810 -x8811 -x8786 -x8787 -x8809 -x8791 -x8807 -x8808 -x8789 -x8790 -x8806 -x8794 -x8804 -x8805 -x8792 -x8793 -x8803 -x8797 -x8801 -x8802 -x8795 -x8796 -x8800 -x8798 -x8799 -x8822 -x8861 -x8862 -x8819 -x8821 -x8820 -x8860 -x8826 -x8858 -x8859 -x8823 -x8825 -x8824 -x8857 -x8830 -x8855 -x8856 -x8827 -x8829 -x8828 -x8854 -x8834 -x8852 -x8853 -x8831 -x8833 -x8832 -x8851 -x8838 -x8849 -x8850 -x8835 -x8837 -x8836 -x8848 -x8842 -x8846 -x8847 -x8839 -x8841 -x8840 -x8845 -x8843 -x8844 -x8931 -x8873 -x8929 -x8930 -x8869 -x8872 -x8868 -x8867 -x8871 -x8870 -x8928 -x8880 -x8926 -x8927 -x8876 -x8879 -x8875 -x8874 -x8878 -x8877 -x8925 -x8887 -x8923 -x8924 -x8883 -x8886 -x8882 -x8881 -x8885 -x8884 -x8922 -x8894 -x8920 -x8921 -x8890 -x8893 -x8889 -x8888 -x8892 -x8891 -x8919 -x8901 -x8917 -x8918 -x8897 -x8900 -x8896 -x8895 -x8899 -x8898 -x8916 -x8908 -x8914 -x8915 -x8904 -x8907 -x8903 -x8902 -x8906 -x8905 -x8913 x8910 -x8912 x8909 -x8911 -x9023 -x9082 -x9083 -x9020 -x9022 -x9019 -x8973 -x9018 -x8937 -x8971 -x8972 -x8935 -x8936 -x8970 -x8940 -x8968 -x8969 -x8938 -x8939 -x8967 -x8943 -x8965 -x8966 -x8941 -x8942 -x8964 -x8946 -x8962 -x8963 -x8944 -x8945 -x8961 -x8949 -x8959 -x8960 -x8947 -x8948 -x8958 -x8952 -x8956 -x8957 -x8950 -x8951 -x8955 x8953 -x8954 -x8977 -x9016 -x9017 -x8974 -x8976 -x8975 -x9015 -x8981 -x9013 -x9014 -x8978 -x8980 -x8979 -x9012 -x8985 -x9010 -x9011 -x8982 -x8984 -x8983 -x9009 -x8989 -x9007 -x9008 -x8986 -x8988 -x8987 -x9006 -x8993 -x9004 -x9005 -x8990 -x8992 -x8991 -x9003 -x8997 -x9001 -x9002 -x8994 -x8996 -x8995 -x9000 -x8998 x8999 -x9021 -x9081 -x9029 -x9079 -x9080 -x9026 -x9028 -x9025 -x9024 -x9027 -x9078 -x9035 -x9076 -x9077 -x9032 -x9034 -x9031 -x9030 -x9033 -x9075 -x9041 -x9073 -x9074 -x9038 -x9040 -x9037 -x9036 -x9039 -x9072 -x9047 -x9070 -x9071 -x9044 -x9046 -x9043 -x9042 -x9045 -x9069 -x9053 -x9067 -x9068 -x9050 -x9052 -x9049 -x9048 -x9051 -x9066 -x9059 -x9064 -x9065 -x9056 -x9058 -x9055 -x9054 -x9057 -x9063 -x9061 x9062 x9060 x9088 -x9162 -x9092 -x9161 -x9089 x9091 -x9090 x9093 -x9160 -x9099 -x9159 -x9095 x9098 -x9094 -x9097 -x9096 x9100 -x9158 -x9106 -x9157 -x9102 x9105 -x9101 -x9104 -x9103 x9107 -x9156 -x9113 -x9155 -x9109 x9112 -x9108 -x9111 -x9110 x9114 -x9154 -x9120 -x9153 -x9116 x9119 -x9115 -x9118 -x9117 x9121 -x9152 -x9127 -x9151 -x9123 x9126 -x9122 -x9125 -x9124 x9128 -x9150 -x9134 -x9149 -x9130 x9133 -x9129 -x9132 -x9131 x9135 -x9148 -x9141 -x9147 -x9137 x9140 -x9136 -x9139 -x9138 x9142 -x9146 x9143 -x9145 x9144 x9165 x11286 -x11939 -x12174 x11285 x10930 -x10932 -x10853 x10929 -x10021 x10852 -x9870 -x10020 -x9802 -x9868 -x9869 -x9715 -x9801 -x9714 -x9599 -x9713 -x9543 -x9597 -x9598 -x9482 -x9542 -x9481 -x9396 -x9480 -x9358 -x9394 -x9395 -x9310 -x9357 -x9309 -x9260 -x9308 -x9234 -x9258 -x9259 -x9212 -x9233 -x9211 -x9192 -x9210 -x9184 -x9190 -x9191 -x9175 -x9183 -x9174 -x9170 -x9173 x9168 -x9169 -x9171 x9172 -x9182 -x9178 -x9181 -x9176 -x9177 x9179 -x9180 -x9189 x9186 -x9188 x9185 x9187 -x9203 -x9208 -x9209 -x9200 -x9202 -x9199 -x9195 -x9198 -x9193 -x9194 -x9196 -x9197 -x9201 -x9207 -x9205 x9206 -x9204 -x9232 -x9221 -x9231 -x9215 -x9219 -x9220 -x9213 -x9214 -x9218 -x9216 x9217 -x9225 -x9229 -x9230 -x9222 -x9224 -x9223 -x9228 -x9226 x9227 -x9257 -x9239 -x9255 -x9256 -x9236 -x9238 -x9235 -x9237 -x9254 -x9246 -x9252 -x9253 -x9242 -x9245 -x9241 -x9240 -x9244 -x9243 -x9251 x9248 -x9250 x9247 x9249 -x9284 -x9306 -x9307 -x9281 -x9283 -x9280 -x9269 -x9279 -x9263 -x9267 -x9268 -x9261 -x9262 -x9266 -x9264 x9265 -x9273 -x9277 -x9278 -x9270 -x9272 -x9271 -x9276 -x9274 x9275 -x9282 -x9305 -x9289 -x9303 -x9304 -x9286 -x9288 -x9285 -x9287 -x9302 -x9295 -x9300 -x9301 -x9292 -x9294 -x9291 -x9290 -x9293 -x9299 -x9297 x9298 x9296 -x9356 -x9331 -x9355 -x9313 -x9329 -x9330 -x9311 -x9312 -x9328 -x9316 -x9326 -x9327 -x9314 -x9315 -x9325 -x9319 -x9323 -x9324 -x9317 -x9318 -x9322 -x9320 -x9321 -x9335 -x9353 -x9354 -x9332 -x9334 -x9333 -x9352 -x9339 -x9350 -x9351 -x9336 -x9338 -x9337 -x9349 -x9343 -x9347 -x9348 -x9340 -x9342 -x9341 -x9346 x9344 -x9345 -x9393 -x9365 -x9391 -x9392 -x9361 -x9364 -x9360 -x9359 -x9363 -x9362 -x9390 -x9372 -x9388 -x9389 -x9368 -x9371 -x9367 -x9366 -x9370 -x9369 -x9387 -x9379 -x9385 -x9386 -x9375 -x9378 -x9374 -x9373 -x9377 -x9376 -x9384 x9381 -x9383 x9380 x9382 -x9446 -x9478 -x9479 -x9443 -x9445 -x9442 -x9417 -x9441 -x9399 -x9415 -x9416 -x9397 -x9398 -x9414 -x9402 -x9412 -x9413 -x9400 -x9401 -x9411 -x9405 -x9409 -x9410 -x9403 -x9404 -x9408 -x9406 -x9407 -x9421 -x9439 -x9440 -x9418 -x9420 -x9419 -x9438 -x9425 -x9436 -x9437 -x9422 -x9424 -x9423 -x9435 -x9429 -x9433 -x9434 -x9426 -x9428 -x9427 -x9432 -x9430 -x9431 -x9444 -x9477 -x9452 -x9475 -x9476 -x9449 -x9451 -x9448 -x9447 -x9450 -x9474 -x9458 -x9472 -x9473 -x9455 -x9457 -x9454 -x9453 -x9456 -x9471 -x9464 -x9469 -x9470 -x9461 -x9463 -x9460 -x9459 -x9462 -x9468 -x9466 x9467 -x9465 -x9541 -x9509 -x9540 -x9485 -x9507 -x9508 -x9483 -x9484 -x9506 -x9488 -x9504 -x9505 -x9486 -x9487 -x9503 -x9491 -x9501 -x9502 -x9489 -x9490 -x9500 -x9494 -x9498 -x9499 -x9492 -x9493 -x9497 -x9495 x9496 -x9513 -x9538 -x9539 -x9510 -x9512 -x9511 -x9537 -x9517 -x9535 -x9536 -x9514 -x9516 -x9515 -x9534 -x9521 -x9532 -x9533 -x9518 -x9520 -x9519 -x9531 -x9525 -x9529 -x9530 -x9522 -x9524 -x9523 -x9528 -x9526 x9527 -x9596 -x9548 -x9594 -x9595 -x9545 -x9547 -x9544 -x9546 -x9593 -x9555 -x9591 -x9592 -x9551 -x9554 -x9550 -x9549 -x9553 -x9552 -x9590 -x9562 -x9588 -x9589 -x9558 -x9561 -x9557 -x9556 -x9560 -x9559 -x9587 -x9569 -x9585 -x9586 -x9565 -x9568 -x9564 -x9563 -x9567 -x9566 -x9584 -x9576 x9582 x9583 -x9572 -x9575 -x9571 -x9570 -x9574 -x9573 x9581 x9578 x9580 x9577 x9579 -x9662 -x9711 -x9712 -x9659 -x9661 -x9658 -x9626 -x9657 -x9602 -x9624 -x9625 -x9600 -x9601 -x9623 -x9605 -x9621 -x9622 -x9603 -x9604 -x9620 -x9608 -x9618 -x9619 -x9606 -x9607 -x9617 -x9611 -x9615 -x9616 -x9609 -x9610 -x9614 -x9612 x9613 -x9630 -x9655 -x9656 -x9627 -x9629 -x9628 -x9654 -x9634 -x9652 -x9653 -x9631 -x9633 -x9632 -x9651 -x9638 -x9649 -x9650 -x9635 -x9637 -x9636 -x9648 -x9642 -x9646 -x9647 -x9639 -x9641 -x9640 -x9645 -x9643 x9644 -x9660 -x9710 -x9667 -x9708 -x9709 -x9664 -x9666 -x9663 -x9665 -x9707 -x9673 -x9705 -x9706 -x9670 -x9672 -x9669 -x9668 -x9671 -x9704 -x9679 -x9702 -x9703 -x9676 -x9678 -x9675 -x9674 -x9677 -x9701 -x9685 -x9699 -x9700 -x9682 -x9684 -x9681 -x9680 -x9683 -x9698 x9691 -x9696 x9697 -x9688 x9690 -x9687 -x9686 -x9689 -x9695 -x9693 -x9694 x9692 -x9800 -x9754 -x9799 -x9718 -x9752 -x9753 -x9716 -x9717 -x9751 -x9721 -x9749 -x9750 -x9719 -x9720 -x9748 -x9724 -x9746 -x9747 -x9722 -x9723 -x9745 -x9727 -x9743 -x9744 -x9725 -x9726 -x9742 -x9730 -x9740 -x9741 -x9728 -x9729 -x9739 -x9733 -x9737 -x9738 -x9731 -x9732 -x9736 -x9734 -x9735 -x9758 -x9797 -x9798 -x9755 -x9757 -x9756 -x9796 -x9762 -x9794 -x9795 -x9759 -x9761 -x9760 -x9793 -x9766 -x9791 -x9792 -x9763 -x9765 -x9764 -x9790 -x9770 -x9788 -x9789 -x9767 -x9769 -x9768 -x9787 -x9774 -x9785 -x9786 -x9771 -x9773 -x9772 -x9784 -x9778 -x9782 -x9783 -x9775 -x9777 -x9776 -x9781 -x9779 -x9780 -x9867 -x9809 -x9865 -x9866 -x9805 -x9808 -x9804 -x9803 -x9807 -x9806 -x9864 -x9816 -x9862 -x9863 -x9812 -x9815 -x9811 -x9810 -x9814 -x9813 -x9861 -x9823 -x9859 -x9860 -x9819 -x9822 -x9818 -x9817 -x9821 -x9820 -x9858 -x9830 -x9856 -x9857 -x9826 -x9829 -x9825 -x9824 -x9828 -x9827 -x9855 -x9837 -x9853 -x9854 -x9833 -x9836 -x9832 -x9831 -x9835 -x9834 -x9852 x9844 x9850 -x9851 x9840 -x9843 x9839 x9838 -x9842 -x9841 -x9849 -x9846 -x9848 -x9845 -x9847 -x9959 -x10018 -x10019 -x9956 -x9958 -x9955 -x9909 -x9954 -x9873 -x9907 -x9908 -x9871 -x9872 -x9906 -x9876 -x9904 -x9905 -x9874 -x9875 -x9903 -x9879 -x9901 -x9902 -x9877 -x9878 -x9900 -x9882 -x9898 -x9899 -x9880 -x9881 -x9897 -x9885 -x9895 -x9896 -x9883 -x9884 -x9894 -x9888 x9892 x9893 -x9886 -x9887 x9891 x9889 x9890 -x9913 -x9952 -x9953 -x9910 -x9912 -x9911 -x9951 -x9917 -x9949 -x9950 -x9914 -x9916 -x9915 -x9948 -x9921 -x9946 -x9947 -x9918 -x9920 -x9919 -x9945 -x9925 -x9943 -x9944 -x9922 -x9924 -x9923 -x9942 -x9929 -x9940 -x9941 -x9926 -x9928 -x9927 -x9939 x9933 -x9937 x9938 -x9930 x9932 -x9931 -x9936 x9934 -x9935 -x9957 -x10017 -x9965 -x10015 -x10016 -x9962 -x9964 -x9961 -x9960 -x9963 -x10014 -x9971 -x10012 -x10013 -x9968 -x9970 -x9967 -x9966 -x9969 -x10011 -x9977 -x10009 -x10010 -x9974 -x9976 -x9973 -x9972 -x9975 -x10008 -x9983 -x10006 -x10007 -x9980 -x9982 -x9979 -x9978 -x9981 -x10005 -x9989 -x10003 -x10004 -x9986 -x9988 -x9985 -x9984 -x9987 -x10002 x9995 -x10000 x10001 -x9992 x9994 x9991 x9990 x9993 -x9999 -x9997 -x9998 x9996 -x10851 -x10700 -x10850 -x10632 -x10698 -x10699 -x10545 -x10631 -x10544 -x10429 -x10543 -x10373 -x10427 -x10428 -x10312 -x10372 -x10311 -x10226 -x10310 -x10188 -x10224 -x10225 -x10140 -x10187 -x10139 -x10090 -x10138 -x10064 -x10088 -x10089 -x10042 -x10063 -x10041 -x10030 -x10040 -x10024 -x10028 -x10029 -x10022 -x10023 -x10027 x10025 -x10026 -x10034 -x10038 -x10039 -x10031 -x10033 -x10032 -x10037 -x10035 x10036 -x10062 -x10051 -x10061 -x10045 -x10049 -x10050 -x10043 -x10044 -x10048 -x10046 -x10047 -x10055 -x10059 -x10060 -x10052 -x10054 -x10053 -x10058 -x10056 -x10057 -x10087 -x10069 -x10085 -x10086 -x10066 -x10068 -x10065 -x10067 -x10084 -x10076 -x10082 -x10083 -x10072 -x10075 -x10071 -x10070 -x10074 -x10073 -x10081 x10078 -x10080 x10077 -x10079 -x10114 -x10136 -x10137 -x10111 -x10113 -x10110 -x10099 -x10109 -x10093 -x10097 -x10098 -x10091 -x10092 -x10096 x10094 -x10095 -x10103 -x10107 -x10108 -x10100 -x10102 -x10101 -x10106 -x10104 x10105 -x10112 -x10135 -x10119 -x10133 -x10134 -x10116 -x10118 -x10115 -x10117 -x10132 -x10125 -x10130 -x10131 -x10122 -x10124 -x10121 -x10120 -x10123 -x10129 -x10127 x10128 x10126 -x10186 -x10161 -x10185 -x10143 -x10159 -x10160 -x10141 -x10142 -x10158 -x10146 -x10156 -x10157 -x10144 -x10145 -x10155 -x10149 -x10153 -x10154 -x10147 -x10148 -x10152 -x10150 -x10151 -x10165 -x10183 -x10184 -x10162 -x10164 -x10163 -x10182 -x10169 -x10180 -x10181 -x10166 -x10168 -x10167 -x10179 -x10173 -x10177 -x10178 -x10170 -x10172 -x10171 -x10176 -x10174 -x10175 -x10223 -x10195 -x10221 -x10222 -x10191 -x10194 -x10190 -x10189 -x10193 -x10192 -x10220 -x10202 -x10218 -x10219 -x10198 -x10201 -x10197 -x10196 -x10200 -x10199 -x10217 -x10209 -x10215 -x10216 -x10205 -x10208 -x10204 -x10203 -x10207 -x10206 -x10214 x10211 -x10213 x10210 -x10212 -x10276 -x10308 -x10309 -x10273 -x10275 -x10272 -x10247 -x10271 -x10229 -x10245 -x10246 -x10227 -x10228 -x10244 -x10232 -x10242 -x10243 -x10230 -x10231 -x10241 -x10235 -x10239 -x10240 -x10233 -x10234 -x10238 x10236 -x10237 -x10251 -x10269 -x10270 -x10248 -x10250 -x10249 -x10268 -x10255 -x10266 -x10267 -x10252 -x10254 -x10253 -x10265 -x10259 x10263 x10264 -x10256 -x10258 -x10257 x10262 x10260 x10261 -x10274 -x10307 -x10282 -x10305 -x10306 -x10279 -x10281 -x10278 -x10277 -x10280 -x10304 -x10288 -x10302 -x10303 -x10285 -x10287 -x10284 -x10283 -x10286 -x10301 -x10294 -x10299 -x10300 -x10291 -x10293 x10290 -x10289 -x10292 -x10298 -x10296 x10297 -x10295 -x10371 -x10339 -x10370 -x10315 -x10337 -x10338 -x10313 -x10314 -x10336 -x10318 -x10334 -x10335 -x10316 -x10317 -x10333 -x10321 -x10331 -x10332 -x10319 -x10320 -x10330 -x10324 -x10328 -x10329 -x10322 -x10323 -x10327 -x10325 -x10326 -x10343 -x10368 -x10369 -x10340 -x10342 -x10341 -x10367 -x10347 -x10365 -x10366 -x10344 -x10346 -x10345 -x10364 -x10351 -x10362 -x10363 -x10348 -x10350 -x10349 -x10361 -x10355 -x10359 -x10360 -x10352 -x10354 -x10353 -x10358 -x10356 -x10357 -x10426 -x10378 -x10424 -x10425 -x10375 -x10377 -x10374 -x10376 -x10423 -x10385 -x10421 -x10422 -x10381 -x10384 -x10380 -x10379 -x10383 -x10382 -x10420 -x10392 -x10418 -x10419 -x10388 -x10391 -x10387 -x10386 -x10390 -x10389 -x10417 -x10399 -x10415 -x10416 -x10395 -x10398 -x10394 -x10393 -x10397 -x10396 -x10414 -x10406 -x10412 -x10413 -x10402 -x10405 -x10401 -x10400 -x10404 -x10403 -x10411 x10408 -x10410 x10407 -x10409 -x10492 -x10541 -x10542 -x10489 -x10491 -x10488 -x10456 -x10487 -x10432 -x10454 -x10455 -x10430 -x10431 -x10453 -x10435 -x10451 -x10452 -x10433 -x10434 -x10450 -x10438 -x10448 -x10449 -x10436 -x10437 -x10447 -x10441 -x10445 -x10446 -x10439 -x10440 -x10444 -x10442 -x10443 -x10460 -x10485 -x10486 -x10457 -x10459 -x10458 -x10484 -x10464 -x10482 -x10483 -x10461 -x10463 -x10462 -x10481 -x10468 -x10479 -x10480 -x10465 -x10467 -x10466 -x10478 -x10472 -x10476 -x10477 -x10469 -x10471 -x10470 -x10475 -x10473 -x10474 -x10490 -x10540 -x10497 -x10538 -x10539 -x10494 -x10496 -x10493 -x10495 -x10537 -x10503 -x10535 -x10536 -x10500 -x10502 -x10499 -x10498 -x10501 -x10534 -x10509 -x10532 -x10533 -x10506 -x10508 -x10505 -x10504 -x10507 -x10531 -x10515 -x10529 -x10530 -x10512 -x10514 -x10511 -x10510 -x10513 -x10528 -x10521 -x10526 -x10527 -x10518 -x10520 -x10517 -x10516 -x10519 -x10525 -x10523 x10524 -x10522 -x10630 -x10584 -x10629 -x10548 -x10582 -x10583 -x10546 -x10547 -x10581 -x10551 -x10579 -x10580 -x10549 -x10550 -x10578 -x10554 -x10576 -x10577 -x10552 -x10553 -x10575 -x10557 -x10573 -x10574 -x10555 -x10556 -x10572 -x10560 -x10570 -x10571 -x10558 -x10559 -x10569 -x10563 -x10567 -x10568 -x10561 -x10562 -x10566 -x10564 -x10565 -x10588 -x10627 -x10628 -x10585 -x10587 -x10586 -x10626 -x10592 -x10624 -x10625 -x10589 -x10591 -x10590 -x10623 -x10596 -x10621 -x10622 -x10593 -x10595 -x10594 -x10620 -x10600 -x10618 -x10619 -x10597 -x10599 -x10598 -x10617 -x10604 -x10615 -x10616 -x10601 -x10603 -x10602 -x10614 -x10608 -x10612 -x10613 -x10605 -x10607 -x10606 -x10611 -x10609 -x10610 -x10697 -x10639 -x10695 -x10696 -x10635 -x10638 -x10634 -x10633 -x10637 -x10636 -x10694 -x10646 -x10692 -x10693 -x10642 -x10645 -x10641 -x10640 -x10644 -x10643 -x10691 -x10653 -x10689 -x10690 -x10649 -x10652 -x10648 -x10647 -x10651 -x10650 -x10688 -x10660 -x10686 -x10687 -x10656 -x10659 -x10655 -x10654 -x10658 -x10657 -x10685 -x10667 -x10683 -x10684 -x10663 -x10666 -x10662 -x10661 -x10665 -x10664 -x10682 -x10674 -x10680 -x10681 -x10670 -x10673 -x10669 -x10668 -x10672 -x10671 -x10679 x10676 -x10678 x10675 -x10677 -x10789 -x10848 -x10849 -x10786 -x10788 -x10785 -x10739 -x10784 -x10703 -x10737 -x10738 -x10701 -x10702 -x10736 -x10706 -x10734 -x10735 -x10704 -x10705 -x10733 -x10709 -x10731 -x10732 -x10707 -x10708 -x10730 -x10712 -x10728 -x10729 -x10710 -x10711 -x10727 -x10715 -x10725 -x10726 -x10713 -x10714 -x10724 -x10718 -x10722 -x10723 -x10716 -x10717 -x10721 x10719 -x10720 -x10743 -x10782 -x10783 -x10740 -x10742 -x10741 -x10781 -x10747 -x10779 -x10780 -x10744 -x10746 -x10745 -x10778 -x10751 -x10776 -x10777 -x10748 -x10750 -x10749 -x10775 -x10755 -x10773 -x10774 -x10752 -x10754 -x10753 -x10772 -x10759 -x10770 -x10771 -x10756 -x10758 -x10757 -x10769 -x10763 -x10767 -x10768 -x10760 -x10762 -x10761 -x10766 -x10764 x10765 -x10787 -x10847 -x10795 -x10845 -x10846 -x10792 -x10794 -x10791 -x10790 -x10793 -x10844 -x10801 -x10842 -x10843 -x10798 -x10800 -x10797 -x10796 -x10799 -x10841 -x10807 -x10839 -x10840 -x10804 -x10806 -x10803 -x10802 -x10805 -x10838 -x10813 -x10836 -x10837 -x10810 -x10812 -x10809 -x10808 -x10811 -x10835 -x10819 -x10833 -x10834 -x10816 -x10818 -x10815 -x10814 -x10817 -x10832 -x10825 -x10830 -x10831 -x10822 -x10824 -x10821 -x10820 -x10823 -x10829 -x10827 x10828 x10826 x10854 x10928 -x10858 x10927 -x10855 x10857 -x10856 x10859 x10926 -x10865 x10925 -x10861 x10864 -x10860 -x10863 -x10862 x10866 x10924 -x10872 x10923 -x10868 x10871 -x10867 -x10870 -x10869 x10873 x10922 -x10879 x10921 -x10875 x10878 -x10874 -x10877 -x10876 x10880 x10920 -x10886 x10919 -x10882 x10885 -x10881 -x10884 -x10883 x10887 x10918 -x10893 x10917 -x10889 x10892 -x10888 -x10891 -x10890 x10894 x10916 -x10900 x10915 -x10896 x10899 -x10895 -x10898 -x10897 x10901 x10914 x10907 -x10913 x10903 x10906 x10902 -x10905 -x10904 -x10908 -x10912 -x10909 -x10911 x10910 -x10931 -x11215 x11284 -x11073 x11214 -x11044 -x11072 -x10984 -x11043 -x10936 -x10982 -x10983 -x10934 -x10935 -x10981 -x10939 -x10979 -x10980 -x10937 -x10938 -x10978 -x10942 -x10976 -x10977 -x10940 -x10941 -x10975 -x10945 -x10973 -x10974 -x10943 -x10944 -x10972 -x10948 -x10970 -x10971 -x10946 -x10947 -x10969 -x10951 -x10967 -x10968 -x10949 -x10950 -x10966 -x10954 -x10964 -x10965 -x10952 -x10953 -x10963 -x10957 -x10961 -x10962 -x10955 -x10956 -x10960 x10958 -x10959 -x10988 -x11041 -x11042 -x10985 -x10987 -x10986 -x11040 -x10992 -x11038 -x11039 -x10989 -x10991 -x10990 -x11037 -x10996 -x11035 -x11036 -x10993 -x10995 -x10994 -x11034 -x11000 -x11032 -x11033 -x10997 -x10999 -x10998 -x11031 -x11004 -x11029 -x11030 -x11001 -x11003 -x11002 -x11028 -x11008 -x11026 -x11027 -x11005 -x11007 -x11006 -x11025 -x11012 -x11023 -x11024 -x11009 -x11011 -x11010 -x11022 -x11016 -x11020 -x11021 -x11013 -x11015 -x11014 -x11019 -x11017 x11018 -x11045 -x11071 -x11047 -x11070 -x11046 -x11049 -x11069 -x11048 -x11051 -x11068 -x11050 -x11053 -x11067 -x11052 -x11055 -x11066 -x11054 -x11057 -x11065 -x11056 -x11059 -x11064 -x11058 -x11061 -x11063 -x11060 x11062 -x11213 -x11184 -x11212 -x11124 -x11183 -x11076 -x11122 -x11123 -x11074 -x11075 -x11121 -x11079 -x11119 -x11120 -x11077 -x11078 -x11118 -x11082 -x11116 -x11117 -x11080 -x11081 -x11115 -x11085 -x11113 -x11114 -x11083 -x11084 -x11112 -x11088 -x11110 -x11111 -x11086 -x11087 -x11109 -x11091 -x11107 -x11108 -x11089 -x11090 -x11106 -x11094 -x11104 -x11105 -x11092 -x11093 -x11103 -x11097 -x11101 -x11102 -x11095 -x11096 -x11100 -x11098 -x11099 -x11128 -x11181 -x11182 -x11125 -x11127 -x11126 -x11180 -x11132 -x11178 -x11179 -x11129 -x11131 -x11130 -x11177 -x11136 -x11175 -x11176 -x11133 -x11135 -x11134 -x11174 -x11140 -x11172 -x11173 -x11137 -x11139 -x11138 -x11171 -x11144 -x11169 -x11170 -x11141 -x11143 -x11142 -x11168 -x11148 -x11166 -x11167 -x11145 -x11147 -x11146 -x11165 -x11152 -x11163 -x11164 -x11149 -x11151 -x11150 -x11162 -x11156 -x11160 -x11161 -x11153 -x11155 -x11154 -x11159 -x11157 -x11158 -x11185 -x11211 -x11187 -x11210 -x11186 -x11189 -x11209 -x11188 -x11191 -x11208 -x11190 -x11193 -x11207 -x11192 -x11195 -x11206 -x11194 -x11197 -x11205 -x11196 -x11199 -x11204 -x11198 -x11201 -x11203 -x11200 -x11202 x11216 x11283 -x11220 x11282 -x11217 x11219 -x11218 x11221 x11281 -x11225 x11280 -x11222 x11224 -x11223 x11226 x11279 -x11230 x11278 -x11227 x11229 -x11228 x11231 x11277 -x11235 x11276 -x11232 x11234 -x11233 x11236 x11275 -x11240 x11274 -x11237 x11239 -x11238 x11241 x11273 -x11245 x11272 -x11242 x11244 -x11243 x11246 x11271 -x11250 x11270 -x11247 x11249 -x11248 x11251 x11269 -x11255 x11268 -x11252 x11254 -x11253 x11256 x11267 -x11260 x11266 -x11257 x11259 -x11258 x11261 x11265 x11262 x11264 -x11263 -x11938 -x11499 x11501 x11426 -x11498 -x11425 -x11376 -x11424 -x11350 -x11374 -x11375 -x11328 -x11349 -x11327 -x11311 -x11326 -x11303 -x11309 -x11310 -x11294 -x11302 -x11293 -x11289 -x11292 -x11287 -x11288 -x11290 -x11291 -x11301 -x11297 -x11300 -x11295 -x11296 -x11298 -x11299 -x11308 -x11305 -x11307 -x11304 -x11306 -x11319 -x11324 -x11325 -x11316 -x11318 -x11315 -x11312 -x11314 -x11313 -x11317 -x11323 -x11321 -x11322 x11320 -x11348 -x11337 -x11347 -x11331 -x11335 -x11336 -x11329 -x11330 -x11334 -x11332 -x11333 -x11341 -x11345 -x11346 -x11338 -x11340 -x11339 -x11344 -x11342 -x11343 -x11373 -x11355 -x11371 -x11372 -x11352 -x11354 -x11351 -x11353 -x11370 -x11362 -x11368 -x11369 -x11358 -x11361 -x11357 -x11356 -x11360 -x11359 -x11367 -x11364 -x11366 -x11363 -x11365 -x11400 -x11422 -x11423 -x11397 -x11399 -x11396 -x11385 -x11395 -x11379 -x11383 -x11384 -x11377 -x11378 -x11382 -x11380 -x11381 -x11389 -x11393 -x11394 -x11386 -x11388 -x11387 -x11392 -x11390 -x11391 -x11398 -x11421 -x11405 -x11419 -x11420 -x11402 -x11404 -x11401 -x11403 -x11418 -x11411 -x11416 -x11417 -x11408 -x11410 -x11407 -x11406 -x11409 -x11415 -x11413 -x11414 -x11412 -x11474 -x11497 -x11470 x11473 -x11451 -x11469 -x11443 -x11449 -x11450 -x11434 -x11442 -x11433 -x11429 -x11432 -x11427 -x11428 -x11430 -x11431 -x11441 -x11437 -x11440 -x11435 -x11436 -x11438 -x11439 -x11448 -x11445 -x11447 -x11444 -x11446 -x11462 -x11467 -x11468 -x11459 -x11461 -x11458 -x11454 -x11457 -x11452 -x11453 -x11455 -x11456 -x11460 -x11466 -x11464 -x11465 -x11463 -x11472 -x11471 x11475 -x11496 -x11480 -x11495 -x11476 x11479 -x11478 -x11477 x11481 -x11494 -x11487 -x11493 -x11483 x11486 -x11482 -x11485 -x11484 x11488 -x11492 -x11489 x11491 -x11490 x11500 -x11598 x11600 x11549 -x11597 -x11548 -x11523 -x11547 -x11505 -x11521 -x11522 -x11503 -x11504 -x11520 -x11508 -x11518 -x11519 -x11506 -x11507 -x11517 -x11511 -x11515 -x11516 -x11509 -x11510 -x11514 x11512 -x11513 -x11527 -x11545 -x11546 -x11524 -x11526 -x11525 -x11544 -x11531 -x11542 -x11543 -x11528 -x11530 -x11529 -x11541 -x11535 -x11539 -x11540 -x11532 -x11534 -x11533 -x11538 -x11536 x11537 -x11573 -x11596 -x11569 x11572 -x11558 -x11568 -x11552 -x11556 -x11557 -x11550 -x11551 -x11555 x11553 -x11554 -x11562 -x11566 -x11567 -x11559 -x11561 -x11560 -x11565 -x11563 x11564 -x11571 -x11570 x11574 -x11595 -x11579 -x11594 -x11575 x11578 -x11577 -x11576 x11580 -x11593 -x11586 -x11592 -x11582 x11585 -x11581 -x11584 -x11583 x11587 -x11591 x11588 -x11590 x11589 x11599 x11831 x11835 -x11937 -x11830 -x11818 -x11829 -x11748 -x11817 -x11724 -x11746 -x11747 -x11680 -x11723 -x11679 -x11670 -x11678 -x11640 -x11669 -x11624 -x11638 -x11639 -x11612 -x11623 -x11611 -x11608 -x11610 -x11604 -x11607 -x11602 -x11603 -x11605 -x11606 -x11609 -x11622 -x11619 -x11621 -x11615 -x11618 -x11613 -x11614 -x11616 -x11617 -x11620 -x11637 -x11629 -x11635 -x11636 -x11626 -x11628 -x11625 -x11627 -x11634 -x11631 -x11633 -x11630 -x11632 -x11654 -x11667 -x11668 -x11651 -x11653 -x11650 -x11647 x11649 -x11643 -x11646 -x11641 -x11642 x11644 -x11645 x11648 -x11652 -x11666 -x11659 -x11664 -x11665 -x11656 -x11658 x11655 -x11657 -x11663 -x11661 -x11662 -x11660 -x11672 -x11677 -x11671 -x11674 -x11676 -x11673 -x11675 -x11722 -x11713 -x11721 -x11695 -x11712 -x11683 -x11693 -x11694 -x11681 -x11682 -x11692 -x11686 -x11690 -x11691 -x11684 -x11685 -x11689 -x11687 -x11688 -x11699 -x11710 -x11711 -x11696 -x11698 -x11697 -x11709 -x11703 -x11707 -x11708 -x11700 -x11702 -x11701 -x11706 -x11704 -x11705 -x11715 -x11720 -x11714 -x11717 -x11719 -x11716 -x11718 -x11745 -x11729 -x11743 -x11744 -x11726 -x11728 -x11725 -x11727 -x11742 -x11734 -x11740 -x11741 -x11731 -x11733 -x11730 -x11732 -x11739 -x11736 -x11738 -x11735 -x11737 -x11794 -x11815 -x11816 -x11791 -x11793 -x11790 -x11781 -x11789 -x11763 -x11780 -x11751 -x11761 -x11762 -x11749 -x11750 -x11760 -x11754 -x11758 -x11759 -x11752 -x11753 -x11757 -x11755 -x11756 -x11767 -x11778 -x11779 -x11764 -x11766 -x11765 -x11777 -x11771 -x11775 -x11776 -x11768 -x11770 -x11769 -x11774 -x11772 -x11773 -x11783 -x11788 -x11782 -x11785 -x11787 -x11784 -x11786 -x11792 -x11814 -x11799 -x11812 -x11813 -x11796 -x11798 -x11795 -x11797 -x11811 -x11804 -x11809 -x11810 -x11801 -x11803 -x11800 -x11802 -x11808 -x11806 -x11807 -x11805 -x11820 -x11828 -x11819 -x11822 -x11827 -x11821 -x11824 -x11826 -x11823 -x11825 -x11834 -x11832 -x11833 -x11916 -x11936 -x11913 x11915 -x11904 -x11912 -x11874 -x11903 -x11858 -x11872 -x11873 -x11846 -x11857 -x11845 -x11842 -x11844 -x11838 -x11841 -x11836 -x11837 -x11839 -x11840 -x11843 -x11856 -x11853 -x11855 -x11849 -x11852 -x11847 -x11848 -x11850 -x11851 -x11854 -x11871 -x11863 -x11869 -x11870 -x11860 -x11862 -x11859 -x11861 -x11868 -x11865 -x11867 -x11864 -x11866 -x11888 -x11901 -x11902 -x11885 -x11887 -x11884 -x11881 -x11883 -x11877 -x11880 -x11875 -x11876 -x11878 -x11879 -x11882 -x11886 -x11900 -x11893 -x11898 -x11899 -x11890 -x11892 -x11889 -x11891 -x11897 -x11895 -x11896 x11894 -x11906 -x11911 -x11905 -x11908 -x11910 -x11907 -x11909 -x11914 x11917 -x11935 -x11921 -x11934 -x11918 x11920 -x11919 x11922 -x11933 -x11926 -x11932 -x11923 x11925 -x11924 x11927 -x11931 -x11928 x11930 -x11929 -x12053 x12055 x11992 x12002 x12004 -x12052 -x11991 -x11966 -x11990 -x11940 -x11965 -x11943 -x11964 -x11941 -x11942 -x11946 -x11962 -x11963 -x11944 -x11945 -x11961 -x11949 -x11959 -x11960 -x11947 -x11948 -x11958 -x11952 -x11956 -x11957 -x11950 -x11951 -x11955 -x11953 -x11954 -x11970 -x11988 -x11989 -x11967 -x11969 -x11968 -x11987 -x11974 -x11985 -x11986 -x11971 -x11973 -x11972 -x11984 -x11978 -x11982 -x11983 -x11975 -x11977 -x11976 -x11981 -x11979 -x11980 -x12001 -x11996 -x12000 -x11993 -x11994 -x11995 -x11997 -x11998 -x11999 -x12003 -x12028 -x12051 -x12024 x12027 -x12013 -x12023 -x12007 -x12011 -x12012 -x12005 -x12006 -x12010 -x12008 -x12009 -x12017 -x12021 -x12022 -x12014 -x12016 -x12015 -x12020 -x12018 -x12019 -x12026 -x12025 x12029 -x12050 -x12034 -x12049 -x12030 x12033 -x12032 -x12031 x12035 -x12048 -x12041 -x12047 -x12037 x12040 -x12036 -x12039 -x12038 x12042 -x12046 -x12043 x12045 -x12044 x12054 -x12170 x12172 x12109 x12119 x12121 -x12169 -x12108 -x12083 -x12107 -x12057 -x12082 -x12060 -x12081 -x12058 -x12059 -x12063 -x12079 -x12080 -x12061 -x12062 -x12078 -x12066 -x12076 -x12077 -x12064 -x12065 -x12075 -x12069 -x12073 -x12074 -x12067 -x12068 -x12072 -x12070 -x12071 -x12087 -x12105 -x12106 -x12084 -x12086 -x12085 -x12104 -x12091 -x12102 -x12103 -x12088 -x12090 -x12089 -x12101 -x12095 -x12099 -x12100 -x12092 -x12094 -x12093 -x12098 -x12096 -x12097 -x12118 -x12113 -x12117 -x12110 -x12111 -x12112 -x12114 -x12115 -x12116 -x12120 -x12145 -x12168 -x12141 x12144 -x12130 -x12140 -x12124 -x12128 -x12129 -x12122 -x12123 -x12127 -x12125 -x12126 -x12134 -x12138 -x12139 -x12131 -x12133 -x12132 -x12137 -x12135 -x12136 -x12143 -x12142 x12146 -x12167 -x12151 -x12166 -x12147 x12150 -x12149 -x12148 x12152 -x12165 -x12158 -x12164 -x12154 x12157 -x12153 -x12156 -x12155 x12159 -x12163 -x12160 x12162 -x12161 x12171 -x12271 x12273 x12222 -x12270 -x12221 -x12196 -x12220 -x12178 -x12194 -x12195 -x12176 -x12177 -x12193 -x12181 -x12191 -x12192 -x12179 -x12180 -x12190 -x12184 -x12188 -x12189 -x12182 -x12183 -x12187 -x12185 -x12186 -x12200 -x12218 -x12219 -x12197 -x12199 -x12198 -x12217 -x12204 -x12215 -x12216 -x12201 -x12203 -x12202 -x12214 -x12208 -x12212 -x12213 -x12205 -x12207 -x12206 -x12211 -x12209 -x12210 -x12246 -x12269 -x12242 x12245 -x12231 -x12241 -x12225 -x12229 -x12230 -x12223 -x12224 -x12228 -x12226 -x12227 -x12235 -x12239 -x12240 -x12232 -x12234 -x12233 -x12238 -x12236 -x12237 -x12244 -x12243 x12247 -x12268 -x12252 -x12267 -x12248 x12251 -x12250 -x12249 x12253 -x12266 -x12259 -x12265 -x12255 x12258 -x12254 -x12257 -x12256 x12260 -x12264 -x12261 x12263 -x12262 x12272 -x12549 x12551 -x12472 -x12548 -x12372 x12471 -x12319 -x12371 -x12277 -x12317 -x12318 -x12275 -x12276 -x12316 -x12280 -x12314 -x12315 -x12278 -x12279 -x12313 -x12283 -x12311 -x12312 -x12281 -x12282 -x12310 -x12286 -x12308 -x12309 -x12284 -x12285 -x12307 -x12289 -x12305 -x12306 -x12287 -x12288 -x12304 -x12292 -x12302 -x12303 -x12290 -x12291 -x12301 -x12295 -x12299 -x12300 -x12293 -x12294 -x12298 -x12296 -x12297 -x12323 -x12369 -x12370 -x12320 -x12322 -x12321 -x12368 -x12327 -x12366 -x12367 -x12324 -x12326 -x12325 -x12365 -x12331 -x12363 -x12364 -x12328 -x12330 -x12329 -x12362 -x12335 -x12360 -x12361 -x12332 -x12334 -x12333 -x12359 -x12339 -x12357 -x12358 -x12336 -x12338 -x12337 -x12356 -x12343 -x12354 -x12355 -x12340 -x12342 -x12341 -x12353 -x12347 -x12351 -x12352 -x12344 -x12346 -x12345 -x12350 -x12348 -x12349 -x12470 -x12417 -x12469 -x12375 -x12415 -x12416 -x12373 -x12374 -x12414 -x12378 -x12412 -x12413 -x12376 -x12377 -x12411 -x12381 -x12409 -x12410 -x12379 -x12380 -x12408 -x12384 -x12406 -x12407 -x12382 -x12383 -x12405 -x12387 -x12403 -x12404 -x12385 -x12386 -x12402 -x12390 -x12400 -x12401 -x12388 -x12389 -x12399 -x12393 -x12397 -x12398 -x12391 -x12392 -x12396 -x12394 -x12395 -x12421 -x12467 -x12468 -x12418 -x12420 -x12419 -x12466 -x12425 -x12464 -x12465 -x12422 -x12424 -x12423 -x12463 -x12429 -x12461 -x12462 -x12426 -x12428 -x12427 -x12460 -x12433 -x12458 -x12459 -x12430 -x12432 -x12431 -x12457 -x12437 -x12455 -x12456 -x12434 -x12436 -x12435 -x12454 -x12441 -x12452 -x12453 -x12438 -x12440 -x12439 -x12451 -x12445 -x12449 -x12450 -x12442 -x12444 -x12443 -x12448 -x12446 -x12447 x12473 -x12547 -x12477 -x12546 -x12474 x12476 -x12475 x12478 -x12545 -x12484 -x12544 -x12480 x12483 -x12479 -x12482 -x12481 x12485 -x12543 -x12491 -x12542 -x12487 x12490 -x12486 -x12489 -x12488 x12492 -x12541 -x12498 -x12540 -x12494 x12497 -x12493 -x12496 -x12495 x12499 -x12539 -x12505 -x12538 -x12501 x12504 -x12500 -x12503 -x12502 x12506 -x12537 -x12512 -x12536 -x12508 x12511 -x12507 -x12510 -x12509 x12513 -x12535 -x12519 -x12534 -x12515 x12518 -x12514 -x12517 -x12516 x12520 -x12533 -x12526 -x12532 -x12522 x12525 -x12521 -x12524 -x12523 x12527 -x12531 -x12528 x12530 -x12529 x12550 x12554 x12553 x12651 -x12653 x12602 x12650 -x12601 -x12576 -x12600 -x12558 -x12574 -x12575 -x12556 -x12557 -x12573 -x12561 -x12571 -x12572 -x12559 -x12560 -x12570 -x12564 -x12568 -x12569 -x12562 -x12563 -x12567 -x12565 -x12566 -x12580 -x12598 -x12599 -x12577 -x12579 -x12578 -x12597 -x12584 -x12595 -x12596 -x12581 -x12583 -x12582 -x12594 -x12588 -x12592 -x12593 -x12585 -x12587 -x12586 -x12591 -x12589 -x12590 -x12626 x12649 -x12622 x12625 -x12611 -x12621 -x12605 -x12609 -x12610 -x12603 -x12604 -x12608 x12606 -x12607 -x12615 x12619 x12620 -x12612 -x12614 -x12613 x12618 x12616 x12617 -x12624 -x12623 x12627 x12648 -x12632 x12647 -x12628 x12631 -x12630 -x12629 x12633 x12646 x12639 -x12645 x12635 x12638 -x12634 -x12637 -x12636 -x12640 -x12644 -x12641 x12643 -x12642 x12652 x12929 -x12931 -x12852 x12928 -x12752 x12851 -x12699 -x12751 -x12657 -x12697 -x12698 -x12655 -x12656 -x12696 -x12660 -x12694 -x12695 -x12658 -x12659 -x12693 -x12663 -x12691 -x12692 -x12661 -x12662 -x12690 -x12666 -x12688 -x12689 -x12664 -x12665 -x12687 -x12669 -x12685 -x12686 -x12667 -x12668 -x12684 -x12672 -x12682 -x12683 -x12670 -x12671 -x12681 x12675 x12679 -x12680 x12673 -x12674 -x12678 -x12676 -x12677 -x12703 -x12749 -x12750 -x12700 -x12702 -x12701 -x12748 -x12707 -x12746 -x12747 -x12704 -x12706 -x12705 -x12745 -x12711 -x12743 -x12744 -x12708 -x12710 -x12709 -x12742 -x12715 -x12740 -x12741 -x12712 -x12714 -x12713 -x12739 -x12719 -x12737 -x12738 -x12716 -x12718 -x12717 -x12736 -x12723 x12734 x12735 -x12720 -x12722 -x12721 x12733 x12727 x12731 x12732 x12724 x12726 x12725 -x12730 x12728 -x12729 -x12850 -x12797 -x12849 -x12755 -x12795 -x12796 -x12753 -x12754 -x12794 -x12758 -x12792 -x12793 -x12756 -x12757 -x12791 -x12761 -x12789 -x12790 -x12759 -x12760 -x12788 -x12764 -x12786 -x12787 -x12762 -x12763 -x12785 -x12767 -x12783 -x12784 -x12765 -x12766 -x12782 -x12770 -x12780 -x12781 -x12768 -x12769 -x12779 -x12773 -x12777 -x12778 -x12771 -x12772 -x12776 x12774 -x12775 -x12801 -x12847 -x12848 -x12798 -x12800 -x12799 -x12846 -x12805 -x12844 -x12845 -x12802 -x12804 -x12803 -x12843 -x12809 -x12841 -x12842 -x12806 -x12808 -x12807 -x12840 -x12813 -x12838 -x12839 -x12810 -x12812 -x12811 -x12837 -x12817 -x12835 -x12836 -x12814 -x12816 -x12815 -x12834 -x12821 -x12832 -x12833 -x12818 -x12820 -x12819 -x12831 -x12825 x12829 x12830 -x12822 -x12824 -x12823 x12828 x12826 x12827 x12853 x12927 -x12857 x12926 -x12854 x12856 -x12855 x12858 x12925 -x12864 x12924 -x12860 x12863 -x12859 -x12862 -x12861 x12865 x12923 -x12871 x12922 -x12867 x12870 -x12866 -x12869 -x12868 x12872 x12921 -x12878 x12920 -x12874 x12877 -x12873 -x12876 -x12875 x12879 x12919 -x12885 x12918 -x12881 x12884 -x12880 -x12883 -x12882 x12886 x12917 -x12892 x12916 -x12888 x12891 -x12887 -x12890 -x12889 x12893 x12915 x12899 -x12914 x12895 x12898 -x12894 -x12897 -x12896 -x12900 -x12913 -x12906 -x12912 -x12902 -x12905 -x12901 x12904 -x12903 -x12907 x12911 x12908 x12910 -x12909 -x12930 -x13062 x13064 x12991 x12995 -x13061 -x12990 -x12978 -x12989 -x12953 -x12977 -x12935 -x12951 -x12952 -x12933 -x12934 -x12950 -x12938 -x12948 -x12949 -x12936 -x12937 -x12947 -x12941 -x12945 -x12946 -x12939 -x12940 -x12944 -x12942 -x12943 -x12957 -x12975 -x12976 -x12954 -x12956 -x12955 -x12974 -x12961 -x12972 -x12973 -x12958 -x12960 -x12959 -x12971 -x12965 -x12969 -x12970 -x12962 -x12964 -x12963 -x12968 -x12966 -x12967 -x12980 -x12988 -x12979 -x12982 -x12987 -x12981 -x12984 -x12986 -x12983 -x12985 -x12994 -x12992 -x12993 -x13040 -x13060 -x13037 x13039 -x13028 -x13036 -x13010 -x13027 -x12998 -x13008 -x13009 -x12996 -x12997 -x13007 -x13001 -x13005 -x13006 -x12999 -x13000 -x13004 -x13002 -x13003 -x13014 -x13025 -x13026 -x13011 -x13013 -x13012 -x13024 -x13018 -x13022 -x13023 -x13015 -x13017 -x13016 -x13021 -x13019 -x13020 -x13030 -x13035 -x13029 -x13032 -x13034 -x13031 -x13033 -x13038 x13041 -x13059 -x13045 -x13058 -x13042 x13044 -x13043 x13046 -x13057 -x13050 -x13056 -x13047 x13049 -x13048 x13051 -x13055 -x13052 x13054 -x13053 x13063 -x13340 x13342 -x13263 -x13339 -x13163 x13262 -x13110 -x13162 -x13068 -x13108 -x13109 -x13066 -x13067 -x13107 -x13071 -x13105 -x13106 -x13069 -x13070 -x13104 -x13074 -x13102 -x13103 -x13072 -x13073 -x13101 -x13077 -x13099 -x13100 -x13075 -x13076 -x13098 -x13080 -x13096 -x13097 -x13078 -x13079 -x13095 -x13083 -x13093 -x13094 -x13081 -x13082 -x13092 -x13086 -x13090 -x13091 -x13084 -x13085 -x13089 -x13087 -x13088 -x13114 -x13160 -x13161 -x13111 -x13113 -x13112 -x13159 -x13118 -x13157 -x13158 -x13115 -x13117 -x13116 -x13156 -x13122 -x13154 -x13155 -x13119 -x13121 -x13120 -x13153 -x13126 -x13151 -x13152 -x13123 -x13125 -x13124 -x13150 -x13130 -x13148 -x13149 -x13127 -x13129 -x13128 -x13147 -x13134 -x13145 -x13146 -x13131 -x13133 -x13132 -x13144 -x13138 -x13142 -x13143 -x13135 -x13137 -x13136 -x13141 -x13139 -x13140 -x13261 -x13208 -x13260 -x13166 -x13206 -x13207 -x13164 -x13165 -x13205 -x13169 -x13203 -x13204 -x13167 -x13168 -x13202 -x13172 -x13200 -x13201 -x13170 -x13171 -x13199 -x13175 -x13197 -x13198 -x13173 -x13174 -x13196 -x13178 -x13194 -x13195 -x13176 -x13177 -x13193 -x13181 -x13191 -x13192 -x13179 -x13180 -x13190 -x13184 -x13188 -x13189 -x13182 -x13183 -x13187 -x13185 -x13186 -x13212 -x13258 -x13259 -x13209 -x13211 -x13210 -x13257 -x13216 -x13255 -x13256 -x13213 -x13215 -x13214 -x13254 -x13220 -x13252 -x13253 -x13217 -x13219 -x13218 -x13251 -x13224 -x13249 -x13250 -x13221 -x13223 -x13222 -x13248 -x13228 -x13246 -x13247 -x13225 -x13227 -x13226 -x13245 -x13232 -x13243 -x13244 -x13229 -x13231 -x13230 -x13242 -x13236 -x13240 -x13241 -x13233 -x13235 -x13234 -x13239 -x13237 -x13238 x13264 -x13338 -x13268 -x13337 -x13265 x13267 -x13266 x13269 -x13336 -x13275 -x13335 -x13271 x13274 -x13270 -x13273 -x13272 x13276 -x13334 -x13282 -x13333 -x13278 x13281 -x13277 -x13280 -x13279 x13283 -x13332 -x13289 -x13331 -x13285 x13288 -x13284 -x13287 -x13286 x13290 -x13330 -x13296 -x13329 -x13292 x13295 -x13291 -x13294 -x13293 x13297 -x13328 -x13303 -x13327 -x13299 x13302 -x13298 -x13301 -x13300 x13304 -x13326 -x13310 -x13325 -x13306 x13309 -x13305 -x13308 -x13307 x13311 -x13324 -x13317 -x13323 -x13313 x13316 -x13312 -x13315 -x13314 x13318 -x13322 -x13319 x13321 -x13320 x13341 -x13457 x13459 x13396 x13406 x13408 -x13456 -x13395 -x13370 -x13394 -x13344 -x13369 -x13347 -x13368 -x13345 -x13346 -x13350 -x13366 -x13367 -x13348 -x13349 -x13365 -x13353 -x13363 -x13364 -x13351 -x13352 -x13362 -x13356 -x13360 -x13361 -x13354 -x13355 -x13359 -x13357 -x13358 -x13374 -x13392 -x13393 -x13371 -x13373 -x13372 -x13391 -x13378 -x13389 -x13390 -x13375 -x13377 -x13376 -x13388 -x13382 -x13386 -x13387 -x13379 -x13381 -x13380 -x13385 -x13383 -x13384 -x13405 -x13400 -x13404 -x13397 -x13398 -x13399 -x13401 -x13402 -x13403 -x13407 -x13432 -x13455 -x13428 x13431 -x13417 -x13427 -x13411 -x13415 -x13416 -x13409 -x13410 -x13414 -x13412 -x13413 -x13421 -x13425 -x13426 -x13418 -x13420 -x13419 -x13424 -x13422 -x13423 -x13430 -x13429 x13433 -x13454 -x13438 -x13453 -x13434 x13437 -x13436 -x13435 x13439 -x13452 -x13445 -x13451 -x13441 x13444 -x13440 -x13443 -x13442 x13446 -x13450 -x13447 x13449 -x13448 x13458 -x13556 x13558 x13507 -x13555 -x13506 -x13481 -x13505 -x13463 -x13479 -x13480 -x13461 -x13462 -x13478 -x13466 -x13476 -x13477 -x13464 -x13465 -x13475 -x13469 -x13473 -x13474 -x13467 -x13468 -x13472 -x13470 -x13471 -x13485 -x13503 -x13504 -x13482 -x13484 -x13483 -x13502 -x13489 -x13500 -x13501 -x13486 -x13488 -x13487 -x13499 -x13493 -x13497 -x13498 -x13490 -x13492 -x13491 -x13496 -x13494 -x13495 -x13531 -x13554 -x13527 x13530 -x13516 -x13526 -x13510 -x13514 -x13515 -x13508 -x13509 -x13513 -x13511 -x13512 -x13520 -x13524 -x13525 -x13517 -x13519 -x13518 -x13523 -x13521 -x13522 -x13529 -x13528 x13532 -x13553 -x13537 -x13552 -x13533 x13536 -x13535 -x13534 x13538 -x13551 -x13544 -x13550 -x13540 x13543 -x13539 -x13542 -x13541 x13545 -x13549 -x13546 x13548 -x13547 x13557 x13673 -x13675 x13612 x13622 x13624 x13672 -x13611 -x13586 -x13610 -x13560 -x13585 -x13563 -x13584 -x13561 -x13562 -x13566 -x13582 -x13583 -x13564 -x13565 -x13581 -x13569 -x13579 -x13580 -x13567 -x13568 -x13578 -x13572 -x13576 -x13577 -x13570 -x13571 -x13575 -x13573 -x13574 -x13590 -x13608 -x13609 -x13587 -x13589 -x13588 -x13607 -x13594 -x13605 -x13606 -x13591 -x13593 -x13592 -x13604 -x13598 -x13602 -x13603 -x13595 -x13597 -x13596 -x13601 -x13599 -x13600 -x13621 -x13616 -x13620 -x13613 -x13614 -x13615 -x13617 -x13618 -x13619 -x13623 -x13648 x13671 -x13644 x13647 -x13633 -x13643 -x13627 -x13631 -x13632 -x13625 -x13626 -x13630 -x13628 x13629 -x13637 -x13641 -x13642 -x13634 -x13636 -x13635 -x13640 -x13638 x13639 -x13646 -x13645 x13649 x13670 -x13654 x13669 -x13650 x13653 -x13652 -x13651 x13655 x13668 -x13661 x13667 -x13657 x13660 -x13656 -x13659 -x13658 x13662 x13666 x13663 x13665 -x13664 -x13674 -x13772 x13774 x13723 -x13771 -x13722 -x13697 -x13721 -x13679 -x13695 -x13696 -x13677 -x13678 -x13694 -x13682 -x13692 -x13693 -x13680 -x13681 -x13691 -x13685 -x13689 -x13690 -x13683 -x13684 -x13688 -x13686 -x13687 -x13701 -x13719 -x13720 -x13698 -x13700 -x13699 -x13718 -x13705 -x13716 -x13717 -x13702 -x13704 -x13703 -x13715 -x13709 -x13713 -x13714 -x13706 -x13708 -x13707 -x13712 -x13710 -x13711 -x13747 -x13770 -x13743 x13746 -x13732 -x13742 -x13726 -x13730 -x13731 -x13724 -x13725 -x13729 -x13727 -x13728 -x13736 -x13740 -x13741 -x13733 -x13735 -x13734 -x13739 -x13737 -x13738 -x13745 -x13744 x13748 -x13769 -x13753 -x13768 -x13749 x13752 -x13751 -x13750 x13754 -x13767 -x13760 -x13766 -x13756 x13759 -x13755 -x13758 -x13757 x13761 -x13765 -x13762 x13764 -x13763 x13773 -x13871 x13873 x13822 -x13870 -x13821 -x13796 -x13820 -x13778 -x13794 -x13795 -x13776 -x13777 -x13793 -x13781 -x13791 -x13792 -x13779 -x13780 -x13790 -x13784 -x13788 -x13789 -x13782 -x13783 -x13787 -x13785 -x13786 -x13800 -x13818 -x13819 -x13797 -x13799 -x13798 -x13817 -x13804 -x13815 -x13816 -x13801 -x13803 -x13802 -x13814 -x13808 -x13812 -x13813 -x13805 -x13807 -x13806 -x13811 -x13809 -x13810 -x13846 -x13869 -x13842 x13845 -x13831 -x13841 -x13825 -x13829 -x13830 -x13823 -x13824 -x13828 -x13826 -x13827 -x13835 -x13839 -x13840 -x13832 -x13834 -x13833 -x13838 -x13836 -x13837 -x13844 -x13843 x13847 -x13868 -x13852 -x13867 -x13848 x13851 -x13850 -x13849 x13853 -x13866 -x13859 -x13865 -x13855 x13858 -x13854 -x13857 -x13856 x13860 -x13864 -x13861 x13863 -x13862 x13872 x14004 -x14006 x13933 x13937 x14003 -x13932 -x13920 -x13931 -x13895 -x13919 -x13877 -x13893 -x13894 -x13875 -x13876 -x13892 -x13880 -x13890 -x13891 -x13878 -x13879 -x13889 -x13883 -x13887 -x13888 -x13881 -x13882 -x13886 -x13884 -x13885 -x13899 -x13917 -x13918 -x13896 -x13898 -x13897 -x13916 -x13903 -x13914 -x13915 -x13900 -x13902 -x13901 -x13913 -x13907 -x13911 -x13912 -x13904 -x13906 -x13905 -x13910 -x13908 -x13909 -x13922 -x13930 -x13921 -x13924 -x13929 -x13923 -x13926 -x13928 -x13925 -x13927 -x13936 -x13934 -x13935 -x13982 x14002 -x13979 x13981 -x13970 -x13978 -x13952 -x13969 -x13940 -x13950 -x13951 -x13938 -x13939 -x13949 -x13943 -x13947 -x13948 -x13941 -x13942 -x13946 -x13944 -x13945 -x13956 -x13967 -x13968 -x13953 -x13955 -x13954 -x13966 -x13960 -x13964 -x13965 -x13957 -x13959 -x13958 -x13963 x13961 -x13962 -x13972 -x13977 -x13971 -x13974 x13976 -x13973 x13975 -x13980 x13983 x14001 -x13987 x14000 -x13984 x13986 -x13985 x13988 x13999 x13992 -x13998 x13989 x13991 -x13990 -x13993 -x13997 -x13994 x13996 -x13995 x14005 -x14121 x14123 x14060 x14070 x14072 -x14120 -x14059 -x14034 -x14058 -x14008 -x14033 -x14011 -x14032 -x14009 -x14010 -x14014 -x14030 -x14031 -x14012 -x14013 -x14029 -x14017 -x14027 -x14028 -x14015 -x14016 -x14026 -x14020 -x14024 -x14025 -x14018 -x14019 -x14023 -x14021 -x14022 -x14038 -x14056 -x14057 -x14035 -x14037 -x14036 -x14055 -x14042 -x14053 -x14054 -x14039 -x14041 -x14040 -x14052 -x14046 -x14050 -x14051 -x14043 -x14045 -x14044 -x14049 -x14047 -x14048 -x14069 -x14064 -x14068 -x14061 -x14062 -x14063 -x14065 -x14066 -x14067 -x14071 -x14096 -x14119 -x14092 x14095 -x14081 -x14091 -x14075 -x14079 -x14080 -x14073 -x14074 -x14078 -x14076 -x14077 -x14085 -x14089 -x14090 -x14082 -x14084 -x14083 -x14088 -x14086 -x14087 -x14094 -x14093 x14097 -x14118 -x14102 -x14117 -x14098 x14101 -x14100 -x14099 x14103 -x14116 -x14109 -x14115 -x14105 x14108 -x14104 -x14107 -x14106 x14110 -x14114 -x14111 x14113 -x14112 x14122 -x14399 x14401 -x14322 -x14398 -x14222 x14321 -x14169 -x14221 -x14127 -x14167 -x14168 -x14125 -x14126 -x14166 -x14130 -x14164 -x14165 -x14128 -x14129 -x14163 -x14133 -x14161 -x14162 -x14131 -x14132 -x14160 -x14136 -x14158 -x14159 -x14134 -x14135 -x14157 -x14139 -x14155 -x14156 -x14137 -x14138 -x14154 -x14142 -x14152 -x14153 -x14140 -x14141 -x14151 -x14145 -x14149 -x14150 -x14143 -x14144 -x14148 -x14146 -x14147 -x14173 -x14219 -x14220 -x14170 -x14172 -x14171 -x14218 -x14177 -x14216 -x14217 -x14174 -x14176 -x14175 -x14215 -x14181 -x14213 -x14214 -x14178 -x14180 -x14179 -x14212 -x14185 -x14210 -x14211 -x14182 -x14184 -x14183 -x14209 -x14189 -x14207 -x14208 -x14186 -x14188 -x14187 -x14206 -x14193 -x14204 -x14205 -x14190 -x14192 -x14191 -x14203 -x14197 -x14201 -x14202 -x14194 -x14196 -x14195 -x14200 -x14198 -x14199 -x14320 -x14267 -x14319 -x14225 -x14265 -x14266 -x14223 -x14224 -x14264 -x14228 -x14262 -x14263 -x14226 -x14227 -x14261 -x14231 -x14259 -x14260 -x14229 -x14230 -x14258 -x14234 -x14256 -x14257 -x14232 -x14233 -x14255 -x14237 -x14253 -x14254 -x14235 -x14236 -x14252 -x14240 -x14250 -x14251 -x14238 -x14239 -x14249 -x14243 -x14247 -x14248 -x14241 -x14242 -x14246 -x14244 -x14245 -x14271 -x14317 -x14318 -x14268 -x14270 -x14269 -x14316 -x14275 -x14314 -x14315 -x14272 -x14274 -x14273 -x14313 -x14279 -x14311 -x14312 -x14276 -x14278 -x14277 -x14310 -x14283 -x14308 -x14309 -x14280 -x14282 -x14281 -x14307 -x14287 -x14305 -x14306 -x14284 -x14286 -x14285 -x14304 -x14291 -x14302 -x14303 -x14288 -x14290 -x14289 -x14301 -x14295 -x14299 -x14300 -x14292 -x14294 -x14293 -x14298 -x14296 -x14297 x14323 -x14397 -x14327 -x14396 -x14324 x14326 -x14325 x14328 -x14395 -x14334 -x14394 -x14330 x14333 -x14329 -x14332 -x14331 x14335 -x14393 -x14341 -x14392 -x14337 x14340 -x14336 -x14339 -x14338 x14342 -x14391 -x14348 -x14390 -x14344 x14347 -x14343 -x14346 -x14345 x14349 -x14389 -x14355 -x14388 -x14351 x14354 -x14350 -x14353 -x14352 x14356 -x14387 -x14362 -x14386 -x14358 x14361 -x14357 -x14360 -x14359 x14363 -x14385 -x14369 -x14384 -x14365 x14368 -x14364 -x14367 -x14366 x14370 -x14383 -x14376 -x14382 -x14372 x14375 -x14371 -x14374 -x14373 x14377 -x14381 -x14378 x14380 -x14379 x14400 -x14404 -x14403 x14680 -x14682 -x14603 x14679 -x14503 x14602 -x14450 -x14502 -x14408 -x14448 -x14449 -x14406 -x14407 -x14447 -x14411 -x14445 -x14446 -x14409 -x14410 -x14444 -x14414 -x14442 -x14443 -x14412 -x14413 -x14441 -x14417 -x14439 -x14440 -x14415 -x14416 -x14438 -x14420 -x14436 -x14437 -x14418 -x14419 -x14435 -x14423 -x14433 -x14434 -x14421 -x14422 -x14432 -x14426 -x14430 -x14431 -x14424 -x14425 -x14429 x14427 -x14428 -x14454 -x14500 -x14501 -x14451 -x14453 -x14452 -x14499 -x14458 -x14497 -x14498 -x14455 -x14457 -x14456 -x14496 -x14462 -x14494 -x14495 -x14459 -x14461 -x14460 -x14493 -x14466 -x14491 -x14492 -x14463 -x14465 -x14464 -x14490 -x14470 -x14488 -x14489 -x14467 -x14469 -x14468 -x14487 -x14474 -x14485 -x14486 -x14471 -x14473 -x14472 -x14484 x14478 x14482 -x14483 x14475 -x14477 -x14476 -x14481 -x14479 x14480 -x14601 -x14548 -x14600 -x14506 -x14546 -x14547 -x14504 -x14505 -x14545 -x14509 -x14543 -x14544 -x14507 -x14508 -x14542 -x14512 -x14540 -x14541 -x14510 -x14511 -x14539 -x14515 -x14537 -x14538 -x14513 -x14514 -x14536 -x14518 -x14534 -x14535 -x14516 -x14517 -x14533 -x14521 -x14531 -x14532 -x14519 -x14520 -x14530 -x14524 -x14528 -x14529 -x14522 -x14523 -x14527 x14525 -x14526 -x14552 -x14598 -x14599 -x14549 -x14551 -x14550 -x14597 -x14556 -x14595 -x14596 -x14553 -x14555 -x14554 -x14594 -x14560 -x14592 -x14593 -x14557 -x14559 -x14558 -x14591 -x14564 -x14589 -x14590 -x14561 -x14563 -x14562 -x14588 -x14568 -x14586 -x14587 -x14565 -x14567 -x14566 -x14585 -x14572 -x14583 -x14584 -x14569 -x14571 -x14570 -x14582 -x14576 x14580 x14581 -x14573 -x14575 -x14574 x14579 x14577 x14578 x14604 x14678 -x14608 x14677 -x14605 x14607 -x14606 x14609 x14676 -x14615 x14675 -x14611 x14614 -x14610 -x14613 -x14612 x14616 x14674 -x14622 x14673 -x14618 x14621 -x14617 -x14620 -x14619 x14623 x14672 -x14629 x14671 -x14625 x14628 -x14624 -x14627 -x14626 x14630 x14670 -x14636 x14669 -x14632 x14635 -x14631 -x14634 -x14633 x14637 x14668 -x14643 x14667 -x14639 x14642 -x14638 -x14641 -x14640 x14644 x14666 -x14650 x14665 -x14646 x14649 -x14645 -x14648 -x14647 x14651 x14664 -x14657 x14663 x14653 -x14656 x14652 x14655 -x14654 x14658 x14662 x14659 x14661 -x14660 -x14681 
34.37/34.47	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
34.37/34.47	c    9     7616   2948    27448    61544  1652667  14364    221 34.45
34.37/34.47	s SATISFIABLE
34.37/34.47	c Total time: 34.455 s

OK	0

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1885394-1245266387/watcher-1885394-1245266387 -o /tmp/evaluation-result-1885394-1245266387/solver-1885394-1245266387 -C 1800 -W 2000 -M 1800 bsolo -l3 -t1800 -m1800 HOME/instance-1885394-1245266387.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 0.96 3/64 23692
/proc/meminfo: memFree=1833136/2055920 swapFree=4182292/4192956
[pid=23692] ppid=23690 vsize=12200 CPUtime=0
/proc/23692/stat : 23692 (bsolo) R 23690 23692 22991 0 -1 4194304 261 0 0 0 0 0 0 0 18 0 1 0 194232665 12492800 245 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 0 0 0
/proc/23692/statm: 3050 245 177 640 0 2034 0

[startup+0.0686939 s]
/proc/loadavg: 1.00 1.00 0.96 3/64 23692
/proc/meminfo: memFree=1833136/2055920 swapFree=4182292/4192956
[pid=23692] ppid=23690 vsize=14128 CPUtime=0.06
/proc/23692/stat : 23692 (bsolo) R 23690 23692 22991 0 -1 4194304 870 0 0 0 6 0 0 0 18 0 1 0 194232665 14467072 854 1992294400 134512640 137136520 4294956256 18446744073709551615 136575102 0 0 4096 16384 0 0 0 17 0 0 0
/proc/23692/statm: 3532 854 294 640 0 2516 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 14128

[startup+0.101698 s]
/proc/loadavg: 1.00 1.00 0.96 3/64 23692
/proc/meminfo: memFree=1833136/2055920 swapFree=4182292/4192956
[pid=23692] ppid=23690 vsize=15224 CPUtime=0.09
/proc/23692/stat : 23692 (bsolo) R 23690 23692 22991 0 -1 4194304 1176 0 0 0 9 0 0 0 18 0 1 0 194232665 15589376 1160 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 0 0 0
/proc/23692/statm: 3806 1161 353 640 0 2790 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 15224

[startup+0.301717 s]
/proc/loadavg: 1.00 1.00 0.96 3/64 23692
/proc/meminfo: memFree=1833136/2055920 swapFree=4182292/4192956
[pid=23692] ppid=23690 vsize=20620 CPUtime=0.3
/proc/23692/stat : 23692 (bsolo) R 23690 23692 22991 0 -1 4194304 3057 0 0 0 28 2 0 0 19 0 1 0 194232665 21114880 2669 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0
/proc/23692/statm: 5155 2669 189 640 0 4511 0
Current children cumulated CPU time (s) 0.3
Current children cumulated vsize (KiB) 20620

[startup+0.701755 s]
/proc/loadavg: 1.00 1.00 0.96 3/64 23692
/proc/meminfo: memFree=1833136/2055920 swapFree=4182292/4192956
[pid=23692] ppid=23690 vsize=22232 CPUtime=0.69
/proc/23692/stat : 23692 (bsolo) R 23690 23692 22991 0 -1 4194304 3581 0 0 0 63 6 0 0 24 0 1 0 194232665 22765568 3077 1992294400 134512640 137136520 4294956256 18446744073709551615 136499620 0 0 4096 16384 0 0 0 17 0 0 0
/proc/23692/statm: 5558 3077 198 640 0 4914 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 22232

[startup+1.50183 s]
/proc/loadavg: 1.00 1.00 0.96 2/65 23693
/proc/meminfo: memFree=1821608/2055920 swapFree=4182292/4192956
[pid=23692] ppid=23690 vsize=22232 CPUtime=1.49
/proc/23692/stat : 23692 (bsolo) R 23690 23692 22991 0 -1 4194304 3581 0 0 0 143 6 0 0 25 0 1 0 194232665 22765568 3077 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0
/proc/23692/statm: 5558 3077 198 640 0 4914 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 22232

[startup+3.10199 s]
/proc/loadavg: 1.00 1.00 0.96 2/65 23693
/proc/meminfo: memFree=1821416/2055920 swapFree=4182292/4192956
[pid=23692] ppid=23690 vsize=22232 CPUtime=3.1
/proc/23692/stat : 23692 (bsolo) R 23690 23692 22991 0 -1 4194304 3582 0 0 0 303 7 0 0 25 0 1 0 194232665 22765568 3078 1992294400 134512640 137136520 4294956256 18446744073709551615 134573649 0 0 4096 16384 0 0 0 17 0 0 0
/proc/23692/statm: 5558 3078 198 640 0 4914 0
Current children cumulated CPU time (s) 3.1
Current children cumulated vsize (KiB) 22232

[startup+6.30131 s]
/proc/loadavg: 1.00 1.00 0.96 2/65 23693
/proc/meminfo: memFree=1819888/2055920 swapFree=4182292/4192956
[pid=23692] ppid=23690 vsize=24112 CPUtime=6.29
/proc/23692/stat : 23692 (bsolo) R 23690 23692 22991 0 -1 4194304 4049 0 0 0 622 7 0 0 25 0 1 0 194232665 24690688 3545 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 0 0 0
/proc/23692/statm: 6028 3545 198 640 0 5384 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 24112

[startup+12.7019 s]
/proc/loadavg: 1.00 1.00 0.96 2/65 23693
/proc/meminfo: memFree=1814512/2055920 swapFree=4182292/4192956
[pid=23692] ppid=23690 vsize=29684 CPUtime=12.68
/proc/23692/stat : 23692 (bsolo) R 23690 23692 22991 0 -1 4194304 5443 0 0 0 1260 8 0 0 25 0 1 0 194232665 30396416 4939 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0
/proc/23692/statm: 7421 4939 198 640 0 6777 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 29684

[startup+25.5012 s]
/proc/loadavg: 1.00 1.00 0.96 2/65 23693
/proc/meminfo: memFree=1807280/2055920 swapFree=4182292/4192956
[pid=23692] ppid=23690 vsize=36720 CPUtime=25.48
/proc/23692/stat : 23692 (bsolo) R 23690 23692 22991 0 -1 4194304 7232 0 0 0 2539 9 0 0 25 0 1 0 194232665 37601280 6728 1992294400 134512640 137136520 4294956256 18446744073709551615 134605821 0 0 4096 16384 0 0 0 17 0 0 0
/proc/23692/statm: 9180 6728 198 640 0 8536 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 36720

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

[startup+28.7015 s]
/proc/loadavg: 1.00 1.00 0.96 2/65 23693
/proc/meminfo: memFree=1805424/2055920 swapFree=4182292/4192956
[pid=23692] ppid=23690 vsize=38436 CPUtime=28.68
/proc/23692/stat : 23692 (bsolo) R 23690 23692 22991 0 -1 4194304 7660 0 0 0 2858 10 0 0 25 0 1 0 194232665 39358464 7156 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 0 0 0
/proc/23692/statm: 9609 7156 198 640 0 8965 0
Current children cumulated CPU time (s) 28.68
Current children cumulated vsize (KiB) 38436

[startup+31.9069 s]
/proc/loadavg: 1.00 1.00 0.96 2/65 23693
/proc/meminfo: memFree=1803248/2055920 swapFree=4182292/4192956
[pid=23692] ppid=23690 vsize=40556 CPUtime=31.88
/proc/23692/stat : 23692 (bsolo) R 23690 23692 22991 0 -1 4194304 8191 0 0 0 3178 10 0 0 25 0 1 0 194232665 41529344 7687 1992294400 134512640 137136520 4294956256 18446744073709551615 134576192 0 0 4096 16384 0 0 0 17 0 0 0
/proc/23692/statm: 10139 7687 198 640 0 9495 0
Current children cumulated CPU time (s) 31.88
Current children cumulated vsize (KiB) 40556

[startup+33.502 s]
/proc/loadavg: 1.00 1.00 0.96 2/65 23693
/proc/meminfo: memFree=1802736/2055920 swapFree=4182292/4192956
[pid=23692] ppid=23690 vsize=41164 CPUtime=33.47
/proc/23692/stat : 23692 (bsolo) R 23690 23692 22991 0 -1 4194304 8343 0 0 0 3337 10 0 0 25 0 1 0 194232665 42151936 7839 1992294400 134512640 137136520 4294956256 18446744073709551615 134606739 0 0 4096 16384 0 0 0 17 0 0 0
/proc/23692/statm: 10291 7839 198 640 0 9647 0
Current children cumulated CPU time (s) 33.47
Current children cumulated vsize (KiB) 41164

[startup+33.9011 s]
/proc/loadavg: 1.00 1.00 0.96 2/65 23693
/proc/meminfo: memFree=1802736/2055920 swapFree=4182292/4192956
[pid=23692] ppid=23690 vsize=41404 CPUtime=33.87
/proc/23692/stat : 23692 (bsolo) R 23690 23692 22991 0 -1 4194304 8373 0 0 0 3377 10 0 0 25 0 1 0 194232665 42397696 7869 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0
/proc/23692/statm: 10351 7869 198 640 0 9707 0
Current children cumulated CPU time (s) 33.87
Current children cumulated vsize (KiB) 41404

[startup+34.3011 s]
/proc/loadavg: 1.00 1.00 0.96 2/65 23693
/proc/meminfo: memFree=1802224/2055920 swapFree=4182292/4192956
[pid=23692] ppid=23690 vsize=41716 CPUtime=34.27
/proc/23692/stat : 23692 (bsolo) R 23690 23692 22991 0 -1 4194304 8481 0 0 0 3417 10 0 0 25 0 1 0 194232665 42717184 7977 1992294400 134512640 137136520 4294956256 18446744073709551615 134606731 0 0 4096 16384 0 0 0 17 0 0 0
/proc/23692/statm: 10429 7977 198 640 0 9785 0
Current children cumulated CPU time (s) 34.27
Current children cumulated vsize (KiB) 41716

[startup+34.4011 s]
/proc/loadavg: 1.00 1.00 0.96 2/65 23693
/proc/meminfo: memFree=1802224/2055920 swapFree=4182292/4192956
[pid=23692] ppid=23690 vsize=41716 CPUtime=34.37
/proc/23692/stat : 23692 (bsolo) R 23690 23692 22991 0 -1 4194304 8481 0 0 0 3427 10 0 0 25 0 1 0 194232665 42717184 7977 1992294400 134512640 137136520 4294956256 18446744073709551615 134606757 0 0 4096 16384 0 0 0 17 0 0 0
/proc/23692/statm: 10429 7977 198 640 0 9785 0
Current children cumulated CPU time (s) 34.37
Current children cumulated vsize (KiB) 41716

Child status: 0
Real time (s): 34.4779
CPU time (s): 34.4618
CPU user time (s): 34.3458
CPU system time (s): 0.115982
CPU usage (%): 99.9531
Max. virtual memory (cumulated for all children) (KiB): 41716

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

runsolver used 0.030995 second user time and 0.105983 second system time

The end

Begin job on node70 at 2009-06-17 21:19:47
IDJOB=1885394
IDBENCH=72052
IDSOLVER=701
FILE ID=node70/1885394-1245266387
PBS_JOBID= 9372391
Free space on /tmp= 66400 MiB

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

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

MD5SUM BENCH= 038d1f136cf471c7f58429077a720020
RANDOM SEED=1252125399

node70.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.241
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.241
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:       1833680 kB
Buffers:         16448 kB
Cached:         134712 kB
SwapCached:       4764 kB
Active:          43116 kB
Inactive:       115704 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1833680 kB
SwapTotal:     4192956 kB
SwapFree:      4182292 kB
Dirty:            5624 kB
Writeback:           0 kB
Mapped:          13500 kB
Slab:            49524 kB
Committed_AS:    96076 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-1885394-1245266387.opb

Free space on /tmp at the end= 66396 MiB
End job on node70 at 2009-06-17 21:20:21