0.00/0.00	c bsolo beta version 3.1 - 13/04/2009 : 1630 GMT
0.00/0.00	c Developed by Vasco Manquinho and José Santos IST/UTL - INESC-ID
0.00/0.00	c type "bsolo -h" for help
0.00/0.00	c Time Limit set via environment variable PBTIMEOUT to 1800
0.00/0.00	c Learning Strategy: Cardinality Constraint Learning
0.00/0.00	c Time Limit set to 1800
0.00/0.00	c Memory Limit set to 1800 MB
0.00/0.00	c Instance file HOME/instance-1885392-1245266380.opb
0.00/0.00	c File size is 1522508 bytes.
0.19/0.21	c Highest Coefficient sum: 74
0.19/0.21	c Parsing was ok!!
0.19/0.21	c Total parsing time: 0.215 s
0.19/0.24	c Var: 14685 Constr: 49510 49510/0/0 Lit: 127630 Watch. Lit: 99019
0.19/0.24	c Obj. Vars: 0 (0 % of total variables)
0.49/0.56	c Pre-processing Time: 0.565 s
0.49/0.57	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.49/0.57	c        0  13841    47180   122224    2    94360   15726      0      0 0.56
0.49/0.57	c Switching off lower bounding mode.
28.28/28.32	c      102  13841    47378   125428    2    94756   17299    198    150 0.68
28.28/28.32	c      252  13841    47632   131055    2    95264   19029    452    270 0.93
28.28/28.32	c      479  13841    48032   145936    3    96064   20932    852    321 1.49
28.28/28.32	c      818  13841    48689   203939    4    97378   23026   1509    436 1.87
28.28/28.32	c     1326  13841    49624   291277    5    99248   25329   2444    356 3.72
28.28/28.32	c     2092  13841    51059   496658    9   102118   27862   3879    307 6.80
28.28/28.32	c     3238  13841    53214   754822   14   106428   30649   6034    303 10.67
28.28/28.32	c     4959  13831    56551   960416   16   113099   33714   9371    330 15.00
28.28/28.32	c     7544  13816    61472  1625968   26   122939   37086  14292    280 26.86
28.28/28.32	c Backtracks by Clause: 7845
28.28/28.32	c Backtracks by PB constraint: 1
28.28/28.32	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 
28.28/28.32	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
28.28/28.32	c    9     7846   2875    23713    62050  1690107  14870    277 28.32
28.28/28.32	s SATISFIABLE
28.28/28.32	c Total time: 28.317 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-1885392-1245266380/watcher-1885392-1245266380 -o /tmp/evaluation-result-1885392-1245266380/solver-1885392-1245266380 -C 1800 -W 2000 -M 1800 bsolo -l2 -t1800 -m1800 HOME/instance-1885392-1245266380.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 0.99 0.91 3/64 4154
/proc/meminfo: memFree=1843584/2055924 swapFree=4192956/4192956
[pid=4154] ppid=4152 vsize=12196 CPUtime=0
/proc/4154/stat : 4154 (bsolo) R 4152 4154 3557 0 -1 4194304 254 0 0 0 0 0 0 0 18 0 1 0 2116305 12488704 238 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4154/statm: 3049 238 176 640 0 2033 0

[startup+0.0168809 s]
/proc/loadavg: 1.00 0.99 0.91 3/64 4154
/proc/meminfo: memFree=1843584/2055924 swapFree=4192956/4192956
[pid=4154] ppid=4152 vsize=12608 CPUtime=0.01
/proc/4154/stat : 4154 (bsolo) R 4152 4154 3557 0 -1 4194304 365 0 0 0 1 0 0 0 18 0 1 0 2116305 12910592 349 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4154/statm: 3152 349 196 640 0 2136 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 12608

[startup+0.101891 s]
/proc/loadavg: 1.00 0.99 0.91 3/64 4154
/proc/meminfo: memFree=1843584/2055924 swapFree=4192956/4192956
[pid=4154] ppid=4152 vsize=14948 CPUtime=0.09
/proc/4154/stat : 4154 (bsolo) R 4152 4154 3557 0 -1 4194304 1111 0 0 0 9 0 0 0 18 0 1 0 2116305 15306752 1095 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4154/statm: 3737 1095 340 640 0 2721 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 14948

[startup+0.301914 s]
/proc/loadavg: 1.00 0.99 0.91 3/64 4154
/proc/meminfo: memFree=1843584/2055924 swapFree=4192956/4192956
[pid=4154] ppid=4152 vsize=20620 CPUtime=0.29
/proc/4154/stat : 4154 (bsolo) R 4152 4154 3557 0 -1 4194304 3056 0 0 0 28 1 0 0 19 0 1 0 2116305 21114880 2668 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4154/statm: 5155 2668 189 640 0 4511 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 20620

[startup+0.70196 s]
/proc/loadavg: 1.00 0.99 0.91 3/64 4154
/proc/meminfo: memFree=1843584/2055924 swapFree=4192956/4192956
[pid=4154] ppid=4152 vsize=22232 CPUtime=0.69
/proc/4154/stat : 4154 (bsolo) R 4152 4154 3557 0 -1 4194304 3581 0 0 0 64 5 0 0 22 0 1 0 2116305 22765568 3077 1992294400 134512640 137136520 4294956256 18446744073709551615 136498324 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4154/statm: 5558 3077 198 640 0 4914 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 22232

[startup+1.50105 s]
/proc/loadavg: 1.00 0.99 0.91 2/65 4155
/proc/meminfo: memFree=1832056/2055924 swapFree=4192956/4192956
[pid=4154] ppid=4152 vsize=22232 CPUtime=1.49
/proc/4154/stat : 4154 (bsolo) R 4152 4154 3557 0 -1 4194304 3581 0 0 0 144 5 0 0 25 0 1 0 2116305 22765568 3077 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4154/statm: 5558 3077 198 640 0 4914 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 22232

[startup+3.10124 s]
/proc/loadavg: 1.00 0.99 0.91 2/65 4155
/proc/meminfo: memFree=1831864/2055924 swapFree=4192956/4192956
[pid=4154] ppid=4152 vsize=22800 CPUtime=3.09
/proc/4154/stat : 4154 (bsolo) R 4152 4154 3557 0 -1 4194304 3721 0 0 0 304 5 0 0 25 0 1 0 2116305 23347200 3217 1992294400 134512640 137136520 4294956256 18446744073709551615 134606731 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4154/statm: 5700 3217 198 640 0 5056 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 22800

[startup+6.30161 s]
/proc/loadavg: 1.00 0.99 0.91 2/65 4155
/proc/meminfo: memFree=1829432/2055924 swapFree=4192956/4192956
[pid=4154] ppid=4152 vsize=25320 CPUtime=6.29
/proc/4154/stat : 4154 (bsolo) R 4152 4154 3557 0 -1 4194304 4361 0 0 0 624 5 0 0 25 0 1 0 2116305 25927680 3857 1992294400 134512640 137136520 4294956256 18446744073709551615 134573541 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4154/statm: 6330 3857 198 640 0 5686 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 25320

[startup+12.7014 s]
/proc/loadavg: 1.00 0.99 0.91 2/65 4155
/proc/meminfo: memFree=1824056/2055924 swapFree=4192956/4192956
[pid=4154] ppid=4152 vsize=30408 CPUtime=12.68
/proc/4154/stat : 4154 (bsolo) R 4152 4154 3557 0 -1 4194304 5636 0 0 0 1262 6 0 0 25 0 1 0 2116305 31137792 5132 1992294400 134512640 137136520 4294956256 18446744073709551615 134544515 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4154/statm: 7602 5132 198 640 0 6958 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 30408

[startup+25.5018 s]
/proc/loadavg: 1.00 0.99 0.91 2/65 4155
/proc/meminfo: memFree=1814200/2055924 swapFree=4192956/4192956
[pid=4154] ppid=4152 vsize=40320 CPUtime=25.48
/proc/4154/stat : 4154 (bsolo) R 4152 4154 3557 0 -1 4194304 8103 0 0 0 2539 9 0 0 25 0 1 0 2116305 41287680 7599 1992294400 134512640 137136520 4294956256 18446744073709551615 134616694 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4154/statm: 10080 7599 198 640 0 9436 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 40320

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

[startup+27.102 s]
/proc/loadavg: 1.00 0.99 0.91 2/65 4155
/proc/meminfo: memFree=1812792/2055924 swapFree=4192956/4192956
[pid=4154] ppid=4152 vsize=41460 CPUtime=27.09
/proc/4154/stat : 4154 (bsolo) R 4152 4154 3557 0 -1 4194304 8405 0 0 0 2699 10 0 0 25 0 1 0 2116305 42455040 7901 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4154/statm: 10365 7901 198 640 0 9721 0
Current children cumulated CPU time (s) 27.09
Current children cumulated vsize (KiB) 41460

[startup+27.9011 s]
/proc/loadavg: 1.00 0.99 0.91 2/65 4155
/proc/meminfo: memFree=1812152/2055924 swapFree=4192956/4192956
[pid=4154] ppid=4152 vsize=42080 CPUtime=27.89
/proc/4154/stat : 4154 (bsolo) R 4152 4154 3557 0 -1 4194304 8542 0 0 0 2779 10 0 0 25 0 1 0 2116305 43089920 8038 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4154/statm: 10520 8038 198 640 0 9876 0
Current children cumulated CPU time (s) 27.89
Current children cumulated vsize (KiB) 42080

[startup+28.3012 s]
/proc/loadavg: 1.00 0.99 0.91 2/65 4155
/proc/meminfo: memFree=1812152/2055924 swapFree=4192956/4192956
[pid=4154] ppid=4152 vsize=42268 CPUtime=28.28
/proc/4154/stat : 4154 (bsolo) R 4152 4154 3557 0 -1 4194304 8592 0 0 0 2818 10 0 0 25 0 1 0 2116305 43282432 8088 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4154/statm: 10567 8088 198 640 0 9923 0
Current children cumulated CPU time (s) 28.28
Current children cumulated vsize (KiB) 42268

Child status: 0
Real time (s): 28.3321
CPU time (s): 28.3237
CPU user time (s): 28.2157
CPU system time (s): 0.107983
CPU usage (%): 99.9702
Max. virtual memory (cumulated for all children) (KiB): 42268

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

runsolver used 0.023996 second user time and 0.06499 second system time

The end

Begin job on node6 at 2009-06-17 21:19:40
IDJOB=1885392
IDBENCH=72052
IDSOLVER=699
FILE ID=node6/1885392-1245266380
PBS_JOBID= 9372447
Free space on /tmp= 66216 MiB

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

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

MD5SUM BENCH= 038d1f136cf471c7f58429077a720020
RANDOM SEED=884493590

node6.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.238
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.238
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055924 kB
MemFree:       1844128 kB
Buffers:         26428 kB
Cached:         132420 kB
SwapCached:          0 kB
Active:          99468 kB
Inactive:        72284 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055924 kB
LowFree:       1844128 kB
SwapTotal:     4192956 kB
SwapFree:      4192956 kB
Dirty:            5424 kB
Writeback:           0 kB
Mapped:          22708 kB
Slab:            26116 kB
Committed_AS:    59584 kB
PageTables:       1456 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-1885392-1245266380.opb

Free space on /tmp at the end= 66212 MiB
End job on node6 at 2009-06-17 21:20:08