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: Clause 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-1885393-1245266383.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.202 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.533 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.
10.38/10.43	c      102  13841    47282   123938    2    94564   17299    102    161 0.63
10.38/10.43	c      252  13841    47432   127550    2    94864   19029    252    292 0.86
10.38/10.43	c      479  13841    47659   136151    2    95318   20932    479    352 1.36
10.38/10.43	c      818  13841    47998   144696    3    95996   23026    818    458 1.78
10.38/10.43	c     1327  13841    48507   190804    3    97014   25329   1327    422 3.14
10.38/10.43	c     2092  13841    49272   245471    4    98544   27862   2092    437 4.79
10.38/10.43	c     3241  13841    50421   340144    6   100842   30649   3241    462 7.01
10.38/10.43	c Backtracks by Clause: 0
10.38/10.43	c Backtracks by PB constraint: 0
10.38/10.43	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 
10.38/10.43	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
10.38/10.43	c    7     4635   1753    13438    51815   451013   4635    444 10.43
10.38/10.43	s SATISFIABLE
10.38/10.43	c Total time: 10.431 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-1885393-1245266383/watcher-1885393-1245266383 -o /tmp/evaluation-result-1885393-1245266383/solver-1885393-1245266383 -C 1800 -W 2000 -M 1800 bsolo -l1 -t1800 -m1800 HOME/instance-1885393-1245266383.opb 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 1.00 1.00 1.00 3/65 3759
/proc/meminfo: memFree=1798436/2055920 swapFree=4192952/4192956
[pid=3759] ppid=3757 vsize=12196 CPUtime=0
/proc/3759/stat : 3759 (bsolo) R 3757 3759 2823 0 -1 4194304 256 0 0 0 0 0 0 0 18 0 1 0 194237103 12488704 240 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 0 0 0
/proc/3759/statm: 3050 240 176 640 0 2034 0

[startup+0.0987951 s]
/proc/loadavg: 1.00 1.00 1.00 3/65 3759
/proc/meminfo: memFree=1798436/2055920 swapFree=4192952/4192956
[pid=3759] ppid=3757 vsize=15088 CPUtime=0.08
/proc/3759/stat : 3759 (bsolo) R 3757 3759 2823 0 -1 4194304 1143 0 0 0 8 0 0 0 18 0 1 0 194237103 15450112 1127 1992294400 134512640 137136520 4294956256 18446744073709551615 136575102 0 0 4096 16384 0 0 0 17 0 0 0
/proc/3759/statm: 3772 1127 346 640 0 2756 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 15088

[startup+0.101794 s]
/proc/loadavg: 1.00 1.00 1.00 3/65 3759
/proc/meminfo: memFree=1798436/2055920 swapFree=4192952/4192956
[pid=3759] ppid=3757 vsize=15092 CPUtime=0.09
/proc/3759/stat : 3759 (bsolo) R 3757 3759 2823 0 -1 4194304 1169 0 0 0 9 0 0 0 18 0 1 0 194237103 15454208 1153 1992294400 134512640 137136520 4294956256 18446744073709551615 136575102 0 0 4096 16384 0 0 0 17 0 0 0
/proc/3759/statm: 3773 1154 351 640 0 2757 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 15092

[startup+0.301816 s]
/proc/loadavg: 1.00 1.00 1.00 3/65 3759
/proc/meminfo: memFree=1798436/2055920 swapFree=4192952/4192956
[pid=3759] ppid=3757 vsize=20620 CPUtime=0.29
/proc/3759/stat : 3759 (bsolo) R 3757 3759 2823 0 -1 4194304 3057 0 0 0 28 1 0 0 19 0 1 0 194237103 21114880 2669 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0
/proc/3759/statm: 5155 2669 189 640 0 4511 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 20620

[startup+0.70186 s]
/proc/loadavg: 1.00 1.00 1.00 3/65 3759
/proc/meminfo: memFree=1798436/2055920 swapFree=4192952/4192956
[pid=3759] ppid=3757 vsize=22232 CPUtime=0.69
/proc/3759/stat : 3759 (bsolo) R 3757 3759 2823 0 -1 4194304 3580 0 0 0 63 6 0 0 23 0 1 0 194237103 22765568 3076 1992294400 134512640 137136520 4294956256 18446744073709551615 134573649 0 0 4096 16384 0 0 0 17 0 0 0
/proc/3759/statm: 5558 3076 197 640 0 4914 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 22232

[startup+1.50295 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 3760
/proc/meminfo: memFree=1786972/2055920 swapFree=4192952/4192956
[pid=3759] ppid=3757 vsize=22232 CPUtime=1.49
/proc/3759/stat : 3759 (bsolo) R 3757 3759 2823 0 -1 4194304 3580 0 0 0 143 6 0 0 25 0 1 0 194237103 22765568 3076 1992294400 134512640 137136520 4294956256 18446744073709551615 134576192 0 0 4096 16384 0 0 0 17 0 0 0
/proc/3759/statm: 5558 3076 197 640 0 4914 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 22232

[startup+3.10113 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 3760
/proc/meminfo: memFree=1786844/2055920 swapFree=4192952/4192956
[pid=3759] ppid=3757 vsize=22232 CPUtime=3.09
/proc/3759/stat : 3759 (bsolo) R 3757 3759 2823 0 -1 4194304 3582 0 0 0 303 6 0 0 25 0 1 0 194237103 22765568 3078 1992294400 134512640 137136520 4294956256 18446744073709551615 136502191 0 0 4096 16384 0 0 0 17 0 0 0
/proc/3759/statm: 5558 3078 197 640 0 4914 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 22232

[startup+6.30149 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 3760
/proc/meminfo: memFree=1786076/2055920 swapFree=4192952/4192956
[pid=3759] ppid=3757 vsize=23088 CPUtime=6.29
/proc/3759/stat : 3759 (bsolo) R 3757 3759 2823 0 -1 4194304 3812 0 0 0 622 7 0 0 25 0 1 0 194237103 23642112 3308 1992294400 134512640 137136520 4294956256 18446744073709551615 134544393 0 0 4096 16384 0 0 0 17 0 0 0
/proc/3759/statm: 5772 3308 197 640 0 5128 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 23088

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

[startup+7.90167 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 3760
/proc/meminfo: memFree=1784988/2055920 swapFree=4192952/4192956
[pid=3759] ppid=3757 vsize=24028 CPUtime=7.89
/proc/3759/stat : 3759 (bsolo) R 3757 3759 2823 0 -1 4194304 4060 0 0 0 781 8 0 0 25 0 1 0 194237103 24604672 3556 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0
/proc/3759/statm: 6007 3556 197 640 0 5363 0
Current children cumulated CPU time (s) 7.89
Current children cumulated vsize (KiB) 24028

[startup+9.50185 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 3760
/proc/meminfo: memFree=1784412/2055920 swapFree=4192952/4192956
[pid=3759] ppid=3757 vsize=24828 CPUtime=9.49
/proc/3759/stat : 3759 (bsolo) R 3757 3759 2823 0 -1 4194304 4252 0 0 0 941 8 0 0 25 0 1 0 194237103 25423872 3748 1992294400 134512640 137136520 4294956256 18446744073709551615 136518953 0 0 4096 16384 0 0 0 17 0 0 0
/proc/3759/statm: 6207 3748 197 640 0 5563 0
Current children cumulated CPU time (s) 9.49
Current children cumulated vsize (KiB) 24828

[startup+9.90689 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 3760
/proc/meminfo: memFree=1784028/2055920 swapFree=4192952/4192956
[pid=3759] ppid=3757 vsize=24960 CPUtime=9.89
/proc/3759/stat : 3759 (bsolo) R 3757 3759 2823 0 -1 4194304 4291 0 0 0 981 8 0 0 25 0 1 0 194237103 25559040 3787 1992294400 134512640 137136520 4294956256 18446744073709551615 134543878 0 0 4096 16384 0 0 0 17 0 0 0
/proc/3759/statm: 6240 3787 197 640 0 5596 0
Current children cumulated CPU time (s) 9.89
Current children cumulated vsize (KiB) 24960

[startup+10.3019 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 3760
/proc/meminfo: memFree=1784028/2055920 swapFree=4192952/4192956
[pid=3759] ppid=3757 vsize=25224 CPUtime=10.28
/proc/3759/stat : 3759 (bsolo) R 3757 3759 2823 0 -1 4194304 4351 0 0 0 1020 8 0 0 25 0 1 0 194237103 25829376 3847 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 0 0 0
/proc/3759/statm: 6306 3847 197 640 0 5662 0
Current children cumulated CPU time (s) 10.28
Current children cumulated vsize (KiB) 25224

[startup+10.4019 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 3760
/proc/meminfo: memFree=1784028/2055920 swapFree=4192952/4192956
[pid=3759] ppid=3757 vsize=25360 CPUtime=10.38
/proc/3759/stat : 3759 (bsolo) R 3757 3759 2823 0 -1 4194304 4365 0 0 0 1030 8 0 0 25 0 1 0 194237103 25968640 3861 1992294400 134512640 137136520 4294956256 18446744073709551615 134543834 0 0 4096 16384 0 0 0 17 0 0 0
/proc/3759/statm: 6340 3861 197 640 0 5696 0
Current children cumulated CPU time (s) 10.38
Current children cumulated vsize (KiB) 25360

Child status: 0
Real time (s): 10.4415
CPU time (s): 10.4354
CPU user time (s): 10.3424
CPU system time (s): 0.092985
CPU usage (%): 99.9416
Max. virtual memory (cumulated for all children) (KiB): 25360

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

runsolver used 0.010998 second user time and 0.034994 second system time

The end

Begin job on node76 at 2009-06-17 21:19:44
IDJOB=1885393
IDBENCH=72052
IDSOLVER=700
FILE ID=node76/1885393-1245266383
PBS_JOBID= 9372386
Free space on /tmp= 66560 MiB

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

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

MD5SUM BENCH= 038d1f136cf471c7f58429077a720020
RANDOM SEED=114905254

node76.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.216
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.216
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	: 5996.54
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1798916 kB
Buffers:         42916 kB
Cached:         131160 kB
SwapCached:          4 kB
Active:          81696 kB
Inactive:       105232 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1798916 kB
SwapTotal:     4192956 kB
SwapFree:      4192952 kB
Dirty:            5772 kB
Writeback:           0 kB
Mapped:          22600 kB
Slab:            55948 kB
Committed_AS:    80100 kB
PageTables:       1436 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-1885393-1245266383.opb

Free space on /tmp at the end= 66556 MiB
End job on node76 at 2009-06-17 21:19:54