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

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


[startup+0 s]
/proc/loadavg: 1.00 1.02 1.00 3/65 11368
/proc/meminfo: memFree=1885040/2055912 swapFree=4191900/4192956
[pid=11368] ppid=11366 vsize=39288 CPUtime=0
/proc/11368/stat : 11368 (bsolo) R 11366 11368 10635 0 -1 4194304 273 0 0 0 0 0 0 0 18 0 1 0 193980788 40230912 257 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 0 0 0
/proc/11368/statm: 9855 258 175 640 0 4022 0

[startup+0.070521 s]
/proc/loadavg: 1.00 1.02 1.00 3/65 11368
/proc/meminfo: memFree=1885040/2055912 swapFree=4191900/4192956
[pid=11368] ppid=11366 vsize=33984 CPUtime=0.06
/proc/11368/stat : 11368 (bsolo) R 11366 11368 10635 0 -1 4194304 999 0 0 0 6 0 0 0 18 0 1 0 193980788 34799616 983 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 0 0 0
/proc/11368/statm: 8496 983 298 640 0 2663 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 33984

[startup+0.101522 s]
/proc/loadavg: 1.00 1.02 1.00 3/65 11368
/proc/meminfo: memFree=1885040/2055912 swapFree=4191900/4192956
[pid=11368] ppid=11366 vsize=34948 CPUtime=0.09
/proc/11368/stat : 11368 (bsolo) R 11366 11368 10635 0 -1 4194304 1316 0 0 0 9 0 0 0 18 0 1 0 193980788 35786752 1300 1992294400 134512640 137136520 4294956256 18446744073709551615 134517592 0 0 4096 16384 0 0 0 17 0 0 0
/proc/11368/statm: 8737 1301 360 640 0 2904 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 34948

[startup+0.301543 s]
/proc/loadavg: 1.00 1.02 1.00 3/65 11368
/proc/meminfo: memFree=1885040/2055912 swapFree=4191900/4192956
[pid=11368] ppid=11366 vsize=40996 CPUtime=0.29
/proc/11368/stat : 11368 (bsolo) R 11366 11368 10635 0 -1 4194304 3205 0 0 0 29 0 0 0 19 0 1 0 193980788 41979904 3189 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 0 0 0
/proc/11368/statm: 10249 3189 748 640 0 4416 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 40996

[startup+0.701585 s]
/proc/loadavg: 1.00 1.02 1.00 3/65 11368
/proc/meminfo: memFree=1885040/2055912 swapFree=4191900/4192956
[pid=11368] ppid=11366 vsize=52136 CPUtime=0.69
/proc/11368/stat : 11368 (bsolo) R 11366 11368 10635 0 -1 4194304 6744 0 0 0 68 1 0 0 23 0 1 0 193980788 53387264 6728 1992294400 134512640 137136520 4294956256 18446744073709551615 134517592 0 0 4096 16384 0 0 0 17 0 0 0
/proc/11368/statm: 13034 6728 1481 640 0 7201 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 52136

[startup+1.50167 s]
/proc/loadavg: 1.00 1.02 1.00 2/66 11369
/proc/meminfo: memFree=1855592/2055912 swapFree=4191900/4192956
[pid=11368] ppid=11366 vsize=74408 CPUtime=1.49
/proc/11368/stat : 11368 (bsolo) R 11366 11368 10635 0 -1 4194304 13756 0 0 0 145 4 0 0 25 0 1 0 193980788 76193792 13740 1992294400 134512640 137136520 4294956256 18446744073709551615 134517302 0 0 4096 16384 0 0 0 17 0 0 0
/proc/11368/statm: 18602 13741 2933 640 0 12769 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 74408

[startup+3.10184 s]
/proc/loadavg: 1.00 1.02 1.00 2/66 11369
/proc/meminfo: memFree=1826024/2055912 swapFree=4191900/4192956
[pid=11368] ppid=11366 vsize=121080 CPUtime=3.09
/proc/11368/stat : 11368 (bsolo) R 11366 11368 10635 0 -1 4194304 32993 0 0 0 297 12 0 0 25 0 1 0 193980788 123985920 27788 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0
/proc/11368/statm: 30270 27788 189 640 0 29626 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 121080

[startup+6.30117 s]
/proc/loadavg: 1.00 1.02 1.00 2/66 11369
/proc/meminfo: memFree=1774312/2055912 swapFree=4191900/4192956
[pid=11368] ppid=11366 vsize=148100 CPUtime=6.28
/proc/11368/stat : 11368 (bsolo) R 11366 11368 10635 0 -1 4194304 39748 0 0 0 610 18 0 0 25 0 1 0 193980788 151654400 34543 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0
/proc/11368/statm: 37025 34543 193 640 0 36381 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 148100

[startup+12.7028 s]
/proc/loadavg: 1.00 1.02 1.00 2/66 11369
/proc/meminfo: memFree=1747312/2055912 swapFree=4191900/4192956
[pid=11368] ppid=11366 vsize=148100 CPUtime=12.69
/proc/11368/stat : 11368 (bsolo) R 11366 11368 10635 0 -1 4194304 39760 0 0 0 1215 54 0 0 25 0 1 0 193980788 151654400 34555 1992294400 134512640 137136520 4294956256 18446744073709551615 134540163 0 0 4096 16384 0 0 0 17 0 0 0
/proc/11368/statm: 37025 34555 193 640 0 36381 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 148100

[startup+25.5012 s]
/proc/loadavg: 1.00 1.02 1.00 2/66 11369
/proc/meminfo: memFree=1749808/2055912 swapFree=4191900/4192956
[pid=11368] ppid=11366 vsize=145528 CPUtime=25.48
/proc/11368/stat : 11368 (bsolo) R 11366 11368 10635 0 -1 4194304 39800 0 0 0 2463 85 0 0 25 0 1 0 193980788 149020672 33949 1992294400 134512640 137136520 4294956256 18446744073709551615 136502143 0 0 4096 16384 0 0 0 17 0 0 0
/proc/11368/statm: 36382 33949 198 640 0 35738 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 145528

[startup+51.1018 s]
/proc/loadavg: 1.00 1.02 1.00 2/66 11369
/proc/meminfo: memFree=1749680/2055912 swapFree=4191900/4192956
[pid=11368] ppid=11366 vsize=145532 CPUtime=51.08
/proc/11368/stat : 11368 (bsolo) R 11366 11368 10635 0 -1 4194304 39801 0 0 0 4949 159 0 0 25 0 1 0 193980788 149024768 33950 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0
/proc/11368/statm: 36383 33950 198 640 0 35739 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 145532

[startup+102.305 s]
/proc/loadavg: 1.00 1.01 1.00 2/66 11369
/proc/meminfo: memFree=1736752/2055912 swapFree=4191900/4192956
[pid=11368] ppid=11366 vsize=158960 CPUtime=102.26
/proc/11368/stat : 11368 (bsolo) R 11366 11368 10635 0 -1 4194304 43128 0 0 0 9946 280 0 0 25 0 1 0 193980788 162775040 37277 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0
/proc/11368/statm: 39740 37277 198 640 0 39096 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 158960

[startup+162.301 s]
/proc/loadavg: 1.00 1.01 1.00 2/66 11369
/proc/meminfo: memFree=1683184/2055912 swapFree=4191900/4192956
[pid=11368] ppid=11366 vsize=213004 CPUtime=162.24
/proc/11368/stat : 11368 (bsolo) R 11366 11368 10635 0 -1 4194304 56667 0 0 0 15884 340 0 0 25 0 1 0 193980788 218116096 50816 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 0 0 0
/proc/11368/statm: 53251 50816 198 640 0 52607 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 213004

[startup+222.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 11369
/proc/meminfo: memFree=1637936/2055912 swapFree=4191900/4192956
[pid=11368] ppid=11366 vsize=257412 CPUtime=222.21
/proc/11368/stat : 11368 (bsolo) R 11366 11368 10635 0 -1 4194304 67767 0 0 0 21863 358 0 0 25 0 1 0 193980788 263589888 61916 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0
/proc/11368/statm: 64353 61916 198 640 0 63709 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 257412

[startup+282.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 11369
/proc/meminfo: memFree=1605488/2055912 swapFree=4191900/4192956
[pid=11368] ppid=11366 vsize=291724 CPUtime=282.19
/proc/11368/stat : 11368 (bsolo) R 11366 11368 10635 0 -1 4194304 76319 0 0 0 27791 428 0 0 25 0 1 0 193980788 298725376 70468 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0
/proc/11368/statm: 72931 70468 198 640 0 72287 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 291724

[startup+342.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 11369
/proc/meminfo: memFree=1551920/2055912 swapFree=4191900/4192956
[pid=11368] ppid=11366 vsize=343208 CPUtime=342.15
/proc/11368/stat : 11368 (bsolo) R 11366 11368 10635 0 -1 4194304 89190 0 0 0 33738 477 0 0 25 0 1 0 193980788 351444992 83339 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 0 0 0
/proc/11368/statm: 85802 83339 198 640 0 85158 0
Current children cumulated CPU time (s) 342.15
Current children cumulated vsize (KiB) 343208

[startup+402.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 11369
/proc/meminfo: memFree=1532016/2055912 swapFree=4191900/4192956
[pid=11368] ppid=11366 vsize=363452 CPUtime=402.13
/proc/11368/stat : 11368 (bsolo) R 11366 11368 10635 0 -1 4194304 94251 0 0 0 39668 545 0 0 25 0 1 0 193980788 372174848 88400 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 0 0 0
/proc/11368/statm: 90863 88400 198 640 0 90219 0
Current children cumulated CPU time (s) 402.13
Current children cumulated vsize (KiB) 363452

[startup+462.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 11369
/proc/meminfo: memFree=1503216/2055912 swapFree=4191900/4192956
[pid=11368] ppid=11366 vsize=391812 CPUtime=462.11
/proc/11368/stat : 11368 (bsolo) R 11366 11368 10635 0 -1 4194304 101343 0 0 0 45623 588 0 0 25 0 1 0 193980788 401215488 95492 1992294400 134512640 137136520 4294956256 18446744073709551615 135982528 0 0 4096 16384 0 0 0 17 0 0 0
/proc/11368/statm: 97953 95492 198 640 0 97309 0
Current children cumulated CPU time (s) 462.11
Current children cumulated vsize (KiB) 391812

[startup+522.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 11369
/proc/meminfo: memFree=1469104/2055912 swapFree=4191900/4192956
[pid=11368] ppid=11366 vsize=425996 CPUtime=522.08
/proc/11368/stat : 11368 (bsolo) R 11366 11368 10635 0 -1 4194304 109914 0 0 0 51590 618 0 0 25 0 1 0 193980788 436219904 104063 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0
/proc/11368/statm: 106499 104063 198 640 0 105855 0
Current children cumulated CPU time (s) 522.08
Current children cumulated vsize (KiB) 425996

[startup+582.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 11369
/proc/meminfo: memFree=1450288/2055912 swapFree=4191900/4192956
[pid=11368] ppid=11366 vsize=444760 CPUtime=582.06
/proc/11368/stat : 11368 (bsolo) R 11366 11368 10635 0 -1 4194304 114580 0 0 0 57539 667 0 0 25 0 1 0 193980788 455434240 108729 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 0 0 0
/proc/11368/statm: 111190 108729 198 640 0 110546 0
Current children cumulated CPU time (s) 582.06
Current children cumulated vsize (KiB) 444760

[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 11369
/proc/meminfo: memFree=1424624/2055912 swapFree=4191900/4192956
[pid=11368] ppid=11366 vsize=470192 CPUtime=642.05
/proc/11368/stat : 11368 (bsolo) R 11366 11368 10635 0 -1 4194304 120938 0 0 0 63492 713 0 0 25 0 1 0 193980788 481476608 115087 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0
/proc/11368/statm: 117548 115087 198 640 0 116904 0
Current children cumulated CPU time (s) 642.05
Current children cumulated vsize (KiB) 470192

[startup+702.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 11369
/proc/meminfo: memFree=1411696/2055912 swapFree=4191900/4192956
[pid=11368] ppid=11366 vsize=483208 CPUtime=702.02
/proc/11368/stat : 11368 (bsolo) R 11366 11368 10635 0 -1 4194304 124192 0 0 0 69436 766 0 0 25 0 1 0 193980788 494804992 118341 1992294400 134512640 137136520 4294956256 18446744073709551615 134606731 0 0 4096 16384 0 0 0 17 0 0 0
/proc/11368/statm: 120802 118341 198 640 0 120158 0
Current children cumulated CPU time (s) 702.02
Current children cumulated vsize (KiB) 483208

[startup+762.306 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 11369
/proc/meminfo: memFree=1396144/2055912 swapFree=4191900/4192956
[pid=11368] ppid=11366 vsize=498420 CPUtime=761.99
/proc/11368/stat : 11368 (bsolo) R 11366 11368 10635 0 -1 4194304 127995 0 0 0 75387 812 0 0 25 0 1 0 193980788 510382080 122144 1992294400 134512640 137136520 4294956256 18446744073709551615 134544249 0 0 4096 16384 0 0 0 17 0 0 0
/proc/11368/statm: 124605 122144 198 640 0 123961 0
Current children cumulated CPU time (s) 761.99
Current children cumulated vsize (KiB) 498420

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

[startup+764.701 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 11369
/proc/meminfo: memFree=1395568/2055912 swapFree=4191900/4192956
[pid=11368] ppid=11366 vsize=499024 CPUtime=764.39
/proc/11368/stat : 11368 (bsolo) R 11366 11368 10635 0 -1 4194304 128171 0 0 0 75625 814 0 0 25 0 1 0 193980788 511000576 122320 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0
/proc/11368/statm: 124756 122320 198 640 0 124112 0
Current children cumulated CPU time (s) 764.39
Current children cumulated vsize (KiB) 499024

[startup+766.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 11369
/proc/meminfo: memFree=1394928/2055912 swapFree=4191900/4192956
[pid=11368] ppid=11366 vsize=499856 CPUtime=765.99
/proc/11368/stat : 11368 (bsolo) R 11366 11368 10635 0 -1 4194304 128379 0 0 0 75784 815 0 0 25 0 1 0 193980788 511852544 122528 1992294400 134512640 137136520 4294956256 18446744073709551615 134544160 0 0 4096 16384 0 0 0 17 0 0 0
/proc/11368/statm: 124964 122528 198 640 0 124320 0
Current children cumulated CPU time (s) 765.99
Current children cumulated vsize (KiB) 499856

[startup+767.101 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 11369
/proc/meminfo: memFree=1394608/2055912 swapFree=4191900/4192956
[pid=11368] ppid=11366 vsize=500264 CPUtime=766.79
/proc/11368/stat : 11368 (bsolo) R 11366 11368 10635 0 -1 4194304 128456 0 0 0 75864 815 0 0 25 0 1 0 193980788 512270336 122605 1992294400 134512640 137136520 4294956256 18446744073709551615 134543948 0 0 4096 16384 0 0 0 17 0 0 0
/proc/11368/statm: 125066 122605 198 640 0 124422 0
Current children cumulated CPU time (s) 766.79
Current children cumulated vsize (KiB) 500264

[startup+767.901 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 11369
/proc/meminfo: memFree=1394224/2055912 swapFree=4191900/4192956
[pid=11368] ppid=11366 vsize=500480 CPUtime=767.6
/proc/11368/stat : 11368 (bsolo) R 11366 11368 10635 0 -1 4194304 128510 0 0 0 75944 816 0 0 25 0 1 0 193980788 512491520 122659 1992294400 134512640 137136520 4294956256 18446744073709551615 134544116 0 0 4096 16384 0 0 0 17 0 0 0
/proc/11368/statm: 125120 122659 198 640 0 124476 0
Current children cumulated CPU time (s) 767.6
Current children cumulated vsize (KiB) 500480

[startup+768.102 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 11369
/proc/meminfo: memFree=1394224/2055912 swapFree=4191900/4192956
[pid=11368] ppid=11366 vsize=500480 CPUtime=767.8
/proc/11368/stat : 11368 (bsolo) R 11366 11368 10635 0 -1 4194304 128537 0 0 0 75964 816 0 0 25 0 1 0 193980788 512491520 122686 1992294400 134512640 137136520 4294956256 18446744073709551615 134544616 0 0 4096 16384 0 0 0 17 0 0 0
/proc/11368/statm: 125120 122686 198 640 0 124476 0
Current children cumulated CPU time (s) 767.8
Current children cumulated vsize (KiB) 500480

[startup+768.201 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 11369
/proc/meminfo: memFree=1394224/2055912 swapFree=4191900/4192956
[pid=11368] ppid=11366 vsize=0 CPUtime=767.89
/proc/11368/stat : 11368 (bsolo) R 11366 11368 10635 0 -1 4194308 128565 0 0 0 75970 819 0 0 17 0 1 0 193980788 0 0 1992294400 0 0 0 0 0 0 0 4096 16384 0 0 0 17 0 0 0
/proc/11368/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 767.89
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 768.241
CPU time (s): 767.942
CPU user time (s): 759.708
CPU system time (s): 8.23375
CPU usage (%): 99.9611
Max. virtual memory (cumulated for all children) (KiB): 500480

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 759.709
system time used= 8.23375
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 128565
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= 15
involuntary context switches= 2933

runsolver used 0.692894 second user time and 2.10968 second system time

The end

Begin job on node78 at 2009-06-17 20:37:08
IDJOB=1885154
IDBENCH=72028
IDSOLVER=701
FILE ID=node78/1885154-1245263827
PBS_JOBID= 9372384
Free space on /tmp= 126820 MiB

SOLVER NAME= bsolo 3.1 pb
BENCH NAME= PB09/normalized-PB09/PURE-SAT/SAT09/CRAFTED/edgematching/all/em_12_2_4_all.opb
COMMAND LINE= bsolo -l3 -tTIMEOUT -mMEMLIMIT BENCHNAME
CONVERSION SCRIPT= PBconversionToLinear BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1885154-1245263827/watcher-1885154-1245263827 -o /tmp/evaluation-result-1885154-1245263827/solver-1885154-1245263827 -C 1800 -W 2000 -M 1800  bsolo -l3 -t1800 -m1800 HOME/instance-1885154-1245263827.opb

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

MD5SUM BENCH= a0a808e6c65f07a30f4eacdb010dee9c
RANDOM SEED=1891677319

node78.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.227
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.227
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:      2055912 kB
MemFree:       1885528 kB
Buffers:          9072 kB
Cached:          93496 kB
SwapCached:        384 kB
Active:          74596 kB
Inactive:        41792 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055912 kB
LowFree:       1885528 kB
SwapTotal:     4192956 kB
SwapFree:      4191900 kB
Dirty:           24800 kB
Writeback:           0 kB
Mapped:          22264 kB
Slab:            39768 kB
Committed_AS:    92452 kB
PageTables:       1432 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264960 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-1885154-1245263827.opb

Free space on /tmp at the end= 126816 MiB
End job on node78 at 2009-06-17 20:49:56