0.00/0.00	c bsolo beta version 3.1 - 13/04/2009 : 1630 GMT
0.00/0.00	c Developed by Vasco Manquinho and José Santos IST/UTL - INESC-ID
0.00/0.00	c type "bsolo -h" for help
0.00/0.00	c Time Limit set via environment variable PBTIMEOUT to 1800
0.00/0.00	c Learning Strategy: Cardinality Constraint Learning
0.00/0.00	c Time Limit set to 1800
0.00/0.00	c Memory Limit set to 1800 MB
0.00/0.00	c Instance file HOME/instance-1885152-1245263767.opb
0.00/0.00	c File size is 21253643 bytes.
2.99/3.04	c Highest Coefficient sum: 101
2.99/3.04	c Parsing was ok!!
2.99/3.04	c Total parsing time: 3.043 s
3.19/3.30	c Var: 12584 Constr: 729136 729136/0/0 Lit: 1670768 Watch. Lit: 1458272
3.19/3.30	c Obj. Vars: 0 (0 % of total variables)
21.49/21.57	c Pre-processing Time: 21.569 s
21.49/21.59	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
21.49/21.59	c        0  12536   720244  1644184    2  1440488  240081      0      0 21.57
21.49/21.59	c Switching off lower bounding mode.
1694.39/1694.91	c      100  12536   720444  1733000    2  1440888  264090    200      4 21.90
1694.39/1694.91	c      250  12536   720744  1786520    2  1441488  290500    500     11 22.40
1694.39/1694.91	c      475  12536   721194  1819642    2  1442388  319551    950     19 23.82
1694.39/1694.91	c      813  12536   721870  1869666    2  1443740  351507   1626     31 25.72
1694.39/1694.91	c     1321  12536   722886  1950476    2  1445772  386658   2642     46 28.51
1694.39/1694.91	c     2085  12536   724414  2088070    2  1448828  425324   4170     64 32.55
1694.39/1694.91	c     3231  12536   726706  2336368    3  1453412  467857   6462     83 38.62
1694.39/1694.91	c     4952  12536   730148  2665474    3  1460296  514643   9904    107 46.18
1694.39/1694.91	c     7539  12536   735322  3501906    4  1470644  566108  15078    135 55.84
1694.39/1694.91	c    11418  12536   743080  4292334    5  1486160  622719  22836    152 74.93
1694.39/1694.91	c    17240  12536   754724  6486782    8  1509448  684991  34480    154 111.52
1694.39/1694.91	c    25977  12536   772198  9336910   12  1544396  753491  51954    158 163.88
1694.39/1694.91	c    39087  12536   798418 12540768   15  1596836  828841  78174    140 277.50
1694.39/1694.91	c    58758  12536   837760 21792136   26  1675520  911726 117516    122 478.34
1694.39/1694.91	c    88268  12536   896780 32660942   36  1793560  500000 176536    109 806.06
1694.39/1694.91	c   132538  12536   985320 48300256   49  1970640  550001 265076     90 1472.42
1694.39/1694.91	c Backtracks by Clause: 143588
1694.39/1694.91	c Backtracks by PB constraint: 0
1694.39/1694.91	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 
1694.39/1694.91	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1694.39/1694.91	c   16   143588  86287 16521765  1007420 51948862 287176     84 1694.42
1694.39/1694.91	s SATISFIABLE
1694.39/1694.91	c Total time: 1694.42 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-1885152-1245263767/watcher-1885152-1245263767 -o /tmp/evaluation-result-1885152-1245263767/solver-1885152-1245263767 -C 1800 -W 2000 -M 1800 bsolo -l2 -t1800 -m1800 HOME/instance-1885152-1245263767.opb 

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


[startup+0 s]
/proc/loadavg: 1.00 1.00 0.95 3/64 17256
/proc/meminfo: memFree=1788864/2055920 swapFree=4181940/4192956
[pid=17256] ppid=17254 vsize=39288 CPUtime=0
/proc/17256/stat : 17256 (bsolo) R 17254 17256 16708 0 -1 4194304 264 0 0 0 0 0 0 0 18 0 1 0 193973746 40230912 248 1992294400 134512640 137136520 4294956256 18446744073709551615 136575102 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17256/statm: 9822 248 174 640 0 3989 0

[startup+0.0456039 s]
/proc/loadavg: 1.00 1.00 0.95 3/64 17256
/proc/meminfo: memFree=1788864/2055920 swapFree=4181940/4192956
[pid=17256] ppid=17254 vsize=33024 CPUtime=0.04
/proc/17256/stat : 17256 (bsolo) R 17254 17256 16708 0 -1 4194304 712 0 0 0 4 0 0 0 18 0 1 0 193973746 33816576 696 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17256/statm: 8256 696 242 640 0 2423 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 33024

[startup+0.101609 s]
/proc/loadavg: 1.00 1.00 0.95 3/64 17256
/proc/meminfo: memFree=1788864/2055920 swapFree=4181940/4192956
[pid=17256] ppid=17254 vsize=34676 CPUtime=0.09
/proc/17256/stat : 17256 (bsolo) R 17254 17256 16708 0 -1 4194304 1237 0 0 0 9 0 0 0 18 0 1 0 193973746 35508224 1221 1992294400 134512640 137136520 4294956256 18446744073709551615 136575102 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17256/statm: 8669 1221 344 640 0 2836 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 34676

[startup+0.301629 s]
/proc/loadavg: 1.00 1.00 0.95 3/64 17256
/proc/meminfo: memFree=1788864/2055920 swapFree=4181940/4192956
[pid=17256] ppid=17254 vsize=40308 CPUtime=0.29
/proc/17256/stat : 17256 (bsolo) R 17254 17256 16708 0 -1 4194304 2998 0 0 0 28 1 0 0 19 0 1 0 193973746 41275392 2982 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17256/statm: 10077 2982 705 640 0 4244 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 40308

[startup+0.701669 s]
/proc/loadavg: 1.00 1.00 0.95 3/64 17256
/proc/meminfo: memFree=1788864/2055920 swapFree=4181940/4192956
[pid=17256] ppid=17254 vsize=50756 CPUtime=0.69
/proc/17256/stat : 17256 (bsolo) R 17254 17256 16708 0 -1 4194304 6272 0 0 0 67 2 0 0 22 0 1 0 193973746 51974144 6256 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17256/statm: 12689 6256 1383 640 0 6856 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 50756

[startup+1.50175 s]
/proc/loadavg: 1.00 1.00 0.95 2/65 17257
/proc/meminfo: memFree=1761528/2055920 swapFree=4181940/4192956
[pid=17256] ppid=17254 vsize=71244 CPUtime=1.49
/proc/17256/stat : 17256 (bsolo) R 17254 17256 16708 0 -1 4194304 12757 0 0 0 144 5 0 0 25 0 1 0 193973746 72953856 12741 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17256/statm: 17811 12742 2726 640 0 11978 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 71244

[startup+3.10191 s]
/proc/loadavg: 1.00 1.00 0.95 2/65 17257
/proc/meminfo: memFree=1733048/2055920 swapFree=4181940/4192956
[pid=17256] ppid=17254 vsize=94480 CPUtime=3.09
/proc/17256/stat : 17256 (bsolo) R 17254 17256 16708 0 -1 4194304 26386 0 0 0 299 10 0 0 25 0 1 0 193973746 96747520 21181 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17256/statm: 23620 21182 186 640 0 22976 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 94480

[startup+6.30124 s]
/proc/loadavg: 1.00 1.00 0.95 2/65 17257
/proc/meminfo: memFree=1677880/2055920 swapFree=4181940/4192956
[pid=17256] ppid=17254 vsize=133052 CPUtime=6.29
/proc/17256/stat : 17256 (bsolo) R 17254 17256 16708 0 -1 4194304 35992 0 0 0 613 16 0 0 25 0 1 0 193973746 136245248 30787 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17256/statm: 33263 30789 193 640 0 32619 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 133052

[startup+12.7019 s]
/proc/loadavg: 1.00 1.00 0.95 2/65 17257
/proc/meminfo: memFree=1651128/2055920 swapFree=4181940/4192956
[pid=17256] ppid=17254 vsize=148100 CPUtime=12.69
/proc/17256/stat : 17256 (bsolo) R 17254 17256 16708 0 -1 4194304 39756 0 0 0 1208 61 0 0 25 0 1 0 193973746 151654400 34551 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17256/statm: 37025 34551 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.00 0.95 2/65 17257
/proc/meminfo: memFree=1653496/2055920 swapFree=4181940/4192956
[pid=17256] ppid=17254 vsize=145528 CPUtime=25.48
/proc/17256/stat : 17256 (bsolo) R 17254 17256 16708 0 -1 4194304 39799 0 0 0 2458 90 0 0 25 0 1 0 193973746 149020672 33948 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17256/statm: 36382 33948 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.00 0.95 2/65 17257
/proc/meminfo: memFree=1653688/2055920 swapFree=4181940/4192956
[pid=17256] ppid=17254 vsize=145540 CPUtime=51.06
/proc/17256/stat : 17256 (bsolo) R 17254 17256 16708 0 -1 4194304 39801 0 0 0 4930 176 0 0 25 0 1 0 193973746 149032960 33950 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17256/statm: 36385 33950 198 640 0 35741 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 145540

[startup+102.306 s]
/proc/loadavg: 1.00 1.00 0.95 2/65 17257
/proc/meminfo: memFree=1632952/2055920 swapFree=4181940/4192956
[pid=17256] ppid=17254 vsize=166504 CPUtime=102.24
/proc/17256/stat : 17256 (bsolo) R 17254 17256 16708 0 -1 4194304 45011 0 0 0 9930 294 0 0 25 0 1 0 193973746 170500096 39160 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17256/statm: 41626 39160 198 640 0 40982 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 166504

[startup+162.301 s]
/proc/loadavg: 1.00 1.00 0.95 2/65 17257
/proc/meminfo: memFree=1576248/2055920 swapFree=4181940/4192956
[pid=17256] ppid=17254 vsize=223188 CPUtime=162.23
/proc/17256/stat : 17256 (bsolo) R 17254 17256 16708 0 -1 4194304 59187 0 0 0 15840 383 0 0 25 0 1 0 193973746 228544512 53336 1992294400 134512640 137136520 4294956256 18446744073709551615 136498244 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17256/statm: 55797 53336 198 640 0 55153 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 223188

[startup+222.301 s]
/proc/loadavg: 1.00 1.00 0.95 2/65 17257
/proc/meminfo: memFree=1552312/2055920 swapFree=4181940/4192956
[pid=17256] ppid=17254 vsize=246840 CPUtime=222.21
/proc/17256/stat : 17256 (bsolo) R 17254 17256 16708 0 -1 4194304 65111 0 0 0 21748 473 0 0 25 0 1 0 193973746 252764160 59260 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17256/statm: 61710 59260 198 640 0 61066 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 246840

[startup+282.301 s]
/proc/loadavg: 1.00 1.00 0.95 2/65 17257
/proc/meminfo: memFree=1528888/2055920 swapFree=4181940/4192956
[pid=17256] ppid=17254 vsize=270632 CPUtime=282.19
/proc/17256/stat : 17256 (bsolo) R 17254 17256 16708 0 -1 4194304 71053 0 0 0 27668 551 0 0 25 0 1 0 193973746 277127168 65202 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17256/statm: 67658 65202 198 640 0 67014 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 270632

[startup+342.301 s]
/proc/loadavg: 1.00 1.00 0.95 2/65 17257
/proc/meminfo: memFree=1508152/2055920 swapFree=4181940/4192956
[pid=17256] ppid=17254 vsize=290832 CPUtime=342.18
/proc/17256/stat : 17256 (bsolo) R 17254 17256 16708 0 -1 4194304 76125 0 0 0 33593 625 0 0 25 0 1 0 193973746 297811968 70274 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17256/statm: 72708 70274 198 640 0 72064 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 290832

[startup+402.302 s]
/proc/loadavg: 1.00 1.00 0.95 2/65 17257
/proc/meminfo: memFree=1464376/2055920 swapFree=4181940/4192956
[pid=17256] ppid=17254 vsize=335280 CPUtime=402.16
/proc/17256/stat : 17256 (bsolo) R 17254 17256 16708 0 -1 4194304 87239 0 0 0 39546 670 0 0 25 0 1 0 193973746 343326720 81388 1992294400 134512640 137136520 4294956256 18446744073709551615 134543921 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17256/statm: 83820 81388 198 640 0 83176 0
Current children cumulated CPU time (s) 402.16
Current children cumulated vsize (KiB) 335280

[startup+462.302 s]
/proc/loadavg: 1.00 1.00 0.95 2/65 17257
/proc/meminfo: memFree=1418552/2055920 swapFree=4181940/4192956
[pid=17256] ppid=17254 vsize=380324 CPUtime=462.14
/proc/17256/stat : 17256 (bsolo) R 17254 17256 16708 0 -1 4194304 98500 0 0 0 45536 678 0 0 25 0 1 0 193973746 389451776 92649 1992294400 134512640 137136520 4294956256 18446744073709551615 134543954 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17256/statm: 95081 92649 198 640 0 94437 0
Current children cumulated CPU time (s) 462.14
Current children cumulated vsize (KiB) 380324

[startup+522.302 s]
/proc/loadavg: 1.00 1.00 0.95 2/65 17257
/proc/meminfo: memFree=1375672/2055920 swapFree=4181940/4192956
[pid=17256] ppid=17254 vsize=424256 CPUtime=522.13
/proc/17256/stat : 17256 (bsolo) R 17254 17256 16708 0 -1 4194304 109468 0 0 0 51508 705 0 0 25 0 1 0 193973746 434438144 103617 1992294400 134512640 137136520 4294956256 18446744073709551615 136502161 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17256/statm: 106064 103617 198 640 0 105420 0
Current children cumulated CPU time (s) 522.13
Current children cumulated vsize (KiB) 424256

[startup+582.302 s]
/proc/loadavg: 1.00 1.00 0.95 2/65 17257
/proc/meminfo: memFree=1327992/2055920 swapFree=4181940/4192956
[pid=17256] ppid=17254 vsize=470680 CPUtime=582.11
/proc/17256/stat : 17256 (bsolo) R 17254 17256 16708 0 -1 4194304 121079 0 0 0 57472 739 0 0 25 0 1 0 193973746 481976320 115228 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17256/statm: 117670 115228 198 640 0 117026 0
Current children cumulated CPU time (s) 582.11
Current children cumulated vsize (KiB) 470680

[startup+642.302 s]
/proc/loadavg: 1.00 1.00 0.95 2/65 17257
/proc/meminfo: memFree=1312312/2055920 swapFree=4181940/4192956
[pid=17256] ppid=17254 vsize=486108 CPUtime=642.1
/proc/17256/stat : 17256 (bsolo) R 17254 17256 16708 0 -1 4194304 124918 0 0 0 63420 790 0 0 25 0 1 0 193973746 497774592 119067 1992294400 134512640 137136520 4294956256 18446744073709551615 134576268 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17256/statm: 121527 119067 198 640 0 120883 0
Current children cumulated CPU time (s) 642.1
Current children cumulated vsize (KiB) 486108

[startup+702.301 s]

################
# More data... #
################

/proc/meminfo: memFree=1175480/2055920 swapFree=4181940/4192956
[pid=17256] ppid=17254 vsize=622520 CPUtime=1121.96
/proc/17256/stat : 17256 (bsolo) R 17254 17256 16708 0 -1 4194304 159046 0 0 0 111116 1080 0 0 25 0 1 0 193973746 637460480 153195 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17256/statm: 155630 153195 198 640 0 154986 0
Current children cumulated CPU time (s) 1121.96
Current children cumulated vsize (KiB) 622520

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 0.95 2/65 17259
/proc/meminfo: memFree=1149496/2055920 swapFree=4181940/4192956
[pid=17256] ppid=17254 vsize=648740 CPUtime=1181.94
/proc/17256/stat : 17256 (bsolo) R 17254 17256 16708 0 -1 4194304 165606 0 0 0 117098 1096 0 0 25 0 1 0 193973746 664309760 159755 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17256/statm: 162185 159755 198 640 0 161541 0
Current children cumulated CPU time (s) 1181.94
Current children cumulated vsize (KiB) 648740

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 0.95 2/65 17259
/proc/meminfo: memFree=1128312/2055920 swapFree=4181940/4192956
[pid=17256] ppid=17254 vsize=669552 CPUtime=1241.92
/proc/17256/stat : 17256 (bsolo) R 17254 17256 16708 0 -1 4194304 170786 0 0 0 123071 1121 0 0 25 0 1 0 193973746 685621248 164935 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17256/statm: 167388 164935 198 640 0 166744 0
Current children cumulated CPU time (s) 1241.92
Current children cumulated vsize (KiB) 669552

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 0.95 2/65 17259
/proc/meminfo: memFree=1115640/2055920 swapFree=4181940/4192956
[pid=17256] ppid=17254 vsize=682044 CPUtime=1301.91
/proc/17256/stat : 17256 (bsolo) R 17254 17256 16708 0 -1 4194304 173918 0 0 0 129038 1153 0 0 25 0 1 0 193973746 698413056 168067 1992294400 134512640 137136520 4294956256 18446744073709551615 136502161 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17256/statm: 170511 168067 198 640 0 169867 0
Current children cumulated CPU time (s) 1301.91
Current children cumulated vsize (KiB) 682044

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 0.95 2/65 17259
/proc/meminfo: memFree=1105784/2055920 swapFree=4181940/4192956
[pid=17256] ppid=17254 vsize=691900 CPUtime=1361.89
/proc/17256/stat : 17256 (bsolo) R 17254 17256 16708 0 -1 4194304 176366 0 0 0 135003 1186 0 0 25 0 1 0 193973746 708505600 170515 1992294400 134512640 137136520 4294956256 18446744073709551615 134544157 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17256/statm: 172975 170515 198 640 0 172331 0
Current children cumulated CPU time (s) 1361.89
Current children cumulated vsize (KiB) 691900

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 0.95 2/65 17259
/proc/meminfo: memFree=1090552/2055920 swapFree=4181940/4192956
[pid=17256] ppid=17254 vsize=706952 CPUtime=1421.88
/proc/17256/stat : 17256 (bsolo) R 17254 17256 16708 0 -1 4194304 180156 0 0 0 140976 1212 0 0 25 0 1 0 193973746 723918848 174305 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17256/statm: 176738 174305 198 640 0 176094 0
Current children cumulated CPU time (s) 1421.88
Current children cumulated vsize (KiB) 706952

[startup+1482.3 s]
/proc/loadavg: 1.04 1.01 0.96 2/65 17259
/proc/meminfo: memFree=1052536/2055920 swapFree=4181940/4192956
[pid=17256] ppid=17254 vsize=745116 CPUtime=1481.85
/proc/17256/stat : 17256 (bsolo) R 17254 17256 16708 0 -1 4194304 189670 0 0 0 146958 1227 0 0 25 0 1 0 193973746 762998784 183819 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17256/statm: 186279 183819 198 640 0 185635 0
Current children cumulated CPU time (s) 1481.85
Current children cumulated vsize (KiB) 745116

[startup+1542.3 s]
/proc/loadavg: 1.05 1.02 0.96 2/65 17265
/proc/meminfo: memFree=1039224/2055920 swapFree=4181940/4192956
[pid=17256] ppid=17254 vsize=758312 CPUtime=1541.84
/proc/17256/stat : 17256 (bsolo) R 17254 17256 16708 0 -1 4194304 192969 0 0 0 152931 1253 0 0 25 0 1 0 193973746 776511488 187118 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17256/statm: 189578 187118 198 640 0 188934 0
Current children cumulated CPU time (s) 1541.84
Current children cumulated vsize (KiB) 758312

[startup+1602.3 s]
/proc/loadavg: 1.02 1.02 0.96 2/65 17265
/proc/meminfo: memFree=1026168/2055920 swapFree=4181940/4192956
[pid=17256] ppid=17254 vsize=771248 CPUtime=1601.82
/proc/17256/stat : 17256 (bsolo) R 17254 17256 16708 0 -1 4194304 196205 0 0 0 158901 1281 0 0 25 0 1 0 193973746 789757952 190354 1992294400 134512640 137136520 4294956256 18446744073709551615 134544550 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17256/statm: 192812 190354 198 640 0 192168 0
Current children cumulated CPU time (s) 1601.82
Current children cumulated vsize (KiB) 771248

[startup+1662.3 s]
/proc/loadavg: 1.00 1.01 0.96 2/65 17265
/proc/meminfo: memFree=1016312/2055920 swapFree=4181940/4192956
[pid=17256] ppid=17254 vsize=780972 CPUtime=1661.81
/proc/17256/stat : 17256 (bsolo) R 17254 17256 16708 0 -1 4194304 198634 0 0 0 164867 1314 0 0 25 0 1 0 193973746 799715328 192783 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17256/statm: 195243 192783 198 640 0 194599 0
Current children cumulated CPU time (s) 1661.81
Current children cumulated vsize (KiB) 780972

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

[startup+1663.9 s]
/proc/loadavg: 1.00 1.01 0.96 2/65 17265
/proc/meminfo: memFree=1016312/2055920 swapFree=4181940/4192956
[pid=17256] ppid=17254 vsize=780972 CPUtime=1663.4
/proc/17256/stat : 17256 (bsolo) R 17254 17256 16708 0 -1 4194304 198644 0 0 0 165025 1315 0 0 25 0 1 0 193973746 799715328 192793 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17256/statm: 195243 192793 198 640 0 194599 0
Current children cumulated CPU time (s) 1663.4
Current children cumulated vsize (KiB) 780972

[startup+1676.7 s]
/proc/loadavg: 1.00 1.01 0.96 2/65 17265
/proc/meminfo: memFree=1013624/2055920 swapFree=4181940/4192956
[pid=17256] ppid=17254 vsize=783732 CPUtime=1676.2
/proc/17256/stat : 17256 (bsolo) R 17254 17256 16708 0 -1 4194304 199345 0 0 0 166299 1321 0 0 25 0 1 0 193973746 802541568 193494 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17256/statm: 195933 193494 198 640 0 195289 0
Current children cumulated CPU time (s) 1676.2
Current children cumulated vsize (KiB) 783732

[startup+1683.1 s]
/proc/loadavg: 1.00 1.01 0.96 2/65 17265
/proc/meminfo: memFree=1012024/2055920 swapFree=4181940/4192956
[pid=17256] ppid=17254 vsize=785220 CPUtime=1682.6
/proc/17256/stat : 17256 (bsolo) R 17254 17256 16708 0 -1 4194304 199728 0 0 0 166937 1323 0 0 25 0 1 0 193973746 804065280 193877 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17256/statm: 196305 193877 198 640 0 195661 0
Current children cumulated CPU time (s) 1682.6
Current children cumulated vsize (KiB) 785220

[startup+1689.5 s]
/proc/loadavg: 1.00 1.01 0.96 2/65 17265
/proc/meminfo: memFree=1009656/2055920 swapFree=4181940/4192956
[pid=17256] ppid=17254 vsize=787508 CPUtime=1689
/proc/17256/stat : 17256 (bsolo) R 17254 17256 16708 0 -1 4194304 200279 0 0 0 167575 1325 0 0 25 0 1 0 193973746 806408192 194428 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17256/statm: 196877 194428 198 640 0 196233 0
Current children cumulated CPU time (s) 1689
Current children cumulated vsize (KiB) 787508

[startup+1692.7 s]
/proc/loadavg: 1.00 1.01 0.96 2/65 17265
/proc/meminfo: memFree=1006776/2055920 swapFree=4181940/4192956
[pid=17256] ppid=17254 vsize=791604 CPUtime=1692.2
/proc/17256/stat : 17256 (bsolo) R 17254 17256 16708 0 -1 4194304 201301 0 0 0 167894 1326 0 0 25 0 1 0 193973746 810602496 195450 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17256/statm: 197901 195450 198 640 0 197257 0
Current children cumulated CPU time (s) 1692.2
Current children cumulated vsize (KiB) 791604

[startup+1694.3 s]
/proc/loadavg: 1.00 1.01 0.96 2/65 17265
/proc/meminfo: memFree=1004664/2055920 swapFree=4181940/4192956
[pid=17256] ppid=17254 vsize=792684 CPUtime=1693.79
/proc/17256/stat : 17256 (bsolo) R 17254 17256 16708 0 -1 4194304 201593 0 0 0 168053 1326 0 0 25 0 1 0 193973746 811708416 195742 1992294400 134512640 137136520 4294956256 18446744073709551615 134543948 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17256/statm: 198171 195742 198 640 0 197527 0
Current children cumulated CPU time (s) 1693.79
Current children cumulated vsize (KiB) 792684

[startup+1694.7 s]
/proc/loadavg: 1.00 1.01 0.96 2/65 17265
/proc/meminfo: memFree=1004664/2055920 swapFree=4181940/4192956
[pid=17256] ppid=17254 vsize=792888 CPUtime=1694.19
/proc/17256/stat : 17256 (bsolo) R 17254 17256 16708 0 -1 4194304 201613 0 0 0 168093 1326 0 0 25 0 1 0 193973746 811917312 195762 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17256/statm: 198222 195762 198 640 0 197578 0
Current children cumulated CPU time (s) 1694.19
Current children cumulated vsize (KiB) 792888

[startup+1694.9 s]
/proc/loadavg: 1.00 1.01 0.96 2/65 17265
/proc/meminfo: memFree=1004664/2055920 swapFree=4181940/4192956
[pid=17256] ppid=17254 vsize=792888 CPUtime=1694.39
/proc/17256/stat : 17256 (bsolo) R 17254 17256 16708 0 -1 4194304 201613 0 0 0 168113 1326 0 0 25 0 1 0 193973746 811917312 195762 1992294400 134512640 137136520 4294956256 18446744073709551615 134543933 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17256/statm: 198222 195762 198 640 0 197578 0
Current children cumulated CPU time (s) 1694.39
Current children cumulated vsize (KiB) 792888

[startup+1695 s]
/proc/loadavg: 1.00 1.01 0.96 2/65 17265
/proc/meminfo: memFree=1556856/2055920 swapFree=4181940/4192956
[pid=17256] ppid=17254 vsize=0 CPUtime=1694.5
/proc/17256/stat : 17256 (bsolo) R 17254 17256 16708 0 -1 4194308 201615 0 0 0 168115 1335 0 0 25 0 1 0 193973746 0 0 1992294400 0 0 0 0 0 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17256/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1694.5
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 1695.04
CPU time (s): 1694.54
CPU user time (s): 1681.15
CPU system time (s): 13.388
CPU usage (%): 99.9707
Max. virtual memory (cumulated for all children) (KiB): 792888

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1681.15
system time used= 13.388
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 201615
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2
involuntary context switches= 1981

runsolver used 1.20282 second user time and 3.75143 second system time

The end

Begin job on node45 at 2009-06-17 20:36:08
IDJOB=1885152
IDBENCH=72028
IDSOLVER=699
FILE ID=node45/1885152-1245263767
PBS_JOBID= 9372408
Free space on /tmp= 66152 MiB

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

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

MD5SUM BENCH= a0a808e6c65f07a30f4eacdb010dee9c
RANDOM SEED=1202649454

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


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1789408 kB
Buffers:         32828 kB
Cached:         148504 kB
SwapCached:       5260 kB
Active:          78684 kB
Inactive:       110992 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1789408 kB
SwapTotal:     4192956 kB
SwapFree:      4181940 kB
Dirty:           24756 kB
Writeback:           0 kB
Mapped:          14556 kB
Slab:            62988 kB
Committed_AS:   200272 kB
PageTables:       1380 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-1885152-1245263767.opb

Free space on /tmp at the end= 66148 MiB
End job on node45 at 2009-06-17 21:04:23