0.00/0.00	c This is wbo 1.0 alpha (based on Minisat 2.0 beta)
0.00/0.00	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.00	c Parsing opb file format. File HOME/instance-1885151-1245263705.opb.
0.00/0.00	c Instance file HOME/instance-1885151-1245263705.opb
0.00/0.00	c File size is 21253643 bytes.
2.99/3.07	c Highest Coefficient sum: 101
2.99/3.08	c ============================[ Problem Statistics ]=============================
2.99/3.08	c |                                                                             |
2.99/3.08	c |  Parsing time:          3.01         s                                      |
2.99/3.08	c |  Number Variables:      12584                                               |
2.99/3.08	c |  Number Clauses:        729136                                              |
2.99/3.08	c |  Number Cardinality:    0                                                   |
2.99/3.08	c |  Number PB Constraints: 0                                                   |
2.99/3.08	c ============================[ Search Statistics ]==============================
2.99/3.08	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
2.99/3.08	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
2.99/3.08	c ===============================================================================
2.99/3.08	c |         0 |   12584   729136  1670768 |   243045        0    nan |  0.000 % |
3.09/3.11	c |       100 |   12584   729136  1670768 |   267349      100    108 |  0.000 % |
3.09/3.18	c |       251 |   12584   729136  1670768 |   294084      251    124 |  0.000 % |
3.29/3.36	c |       478 |   12584   729136  1670768 |   323493      478    107 |  0.000 % |
3.49/3.55	c |       815 |   12584   729136  1670768 |   355842      815    106 |  0.000 % |
3.69/3.79	c |      1321 |   12584   729136  1670768 |   391426     1321    117 |  0.000 % |
4.19/4.23	c |      2080 |   12584   729136  1670768 |   430569     2080    140 |  0.000 % |
4.89/4.97	c |      3222 |   12584   729136  1670768 |   473626     3222    157 |  0.000 % |
5.79/5.86	c |      4931 |   12584   729136  1670768 |   520989     4931    158 |  0.000 % |
7.39/7.44	c |      7493 |   12584   729136  1670768 |   573088     7493    162 |  0.000 % |
8.89/8.99	c |     11337 |   12584   729136  1670768 |   630397    11337    202 |  0.000 % |
12.99/13.04	c |     17103 |   12584   729136  1670768 |   693436    17103    187 |  0.000 % |
18.88/18.97	c |     25753 |   12584   729136  1670768 |   762780    25753    195 |  0.000 % |
31.28/31.37	c |     38727 |   12584   729136  1670768 |   839058    38727    233 |  0.000 % |
49.27/49.33	c ===============================================================================
49.27/49.36	c Verified 729136 original clauses.
49.27/49.36	c #cores: 0
49.27/49.36	c Final Weight: 0
49.27/49.36	s SATISFIABLE
49.27/49.36	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

OK	0

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1885151-1245263705/watcher-1885151-1245263705 -o /tmp/evaluation-result-1885151-1245263705/solver-1885151-1245263705 -C 1800 -W 2000 -M 1800 wbo -file-format=opb -time-limit=1800 HOME/instance-1885151-1245263705.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 17220
/proc/meminfo: memFree=1790776/2055920 swapFree=4181940/4192956
[pid=17220] ppid=17218 vsize=23608 CPUtime=0
/proc/17220/stat : 17220 (wbo) R 17218 17220 16708 0 -1 4194304 261 0 0 0 0 0 0 0 18 0 1 0 193967554 24174592 245 1992294400 134512640 135709839 4294956240 18446744073709551615 134570397 0 0 4096 3 0 0 0 17 1 0 0
/proc/17220/statm: 5902 245 124 292 0 418 0

[startup+0.0245139 s]
/proc/loadavg: 1.00 1.00 0.95 3/64 17220
/proc/meminfo: memFree=1790776/2055920 swapFree=4181940/4192956
[pid=17220] ppid=17218 vsize=24904 CPUtime=0.01
/proc/17220/stat : 17220 (wbo) R 17218 17220 16708 0 -1 4194304 589 0 0 0 1 0 0 0 18 0 1 0 193967554 25501696 573 1992294400 134512640 135709839 4294956240 18446744073709551615 134517216 0 0 4096 3 0 0 0 17 1 0 0
/proc/17220/statm: 6226 573 149 292 0 742 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 24904

[startup+0.101521 s]
/proc/loadavg: 1.00 1.00 0.95 3/64 17220
/proc/meminfo: memFree=1790776/2055920 swapFree=4181940/4192956
[pid=17220] ppid=17218 vsize=25940 CPUtime=0.09
/proc/17220/stat : 17220 (wbo) R 17218 17220 16708 0 -1 4194304 1012 0 0 0 9 0 0 0 18 0 1 0 193967554 26562560 996 1992294400 134512640 135709839 4294956240 18446744073709551615 135173032 0 0 4096 3 0 0 0 17 1 0 0
/proc/17220/statm: 6485 996 291 292 0 1001 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 25940

[startup+0.301541 s]
/proc/loadavg: 1.00 1.00 0.95 3/64 17220
/proc/meminfo: memFree=1790776/2055920 swapFree=4181940/4192956
[pid=17220] ppid=17218 vsize=28812 CPUtime=0.29
/proc/17220/stat : 17220 (wbo) R 17218 17220 16708 0 -1 4194304 2072 0 0 0 29 0 0 0 19 0 1 0 193967554 29503488 2056 1992294400 134512640 135709839 4294956240 18446744073709551615 135171716 0 0 4096 3 0 0 0 17 1 0 0
/proc/17220/statm: 7203 2056 657 292 0 1719 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 28812

[startup+0.701582 s]
/proc/loadavg: 1.00 1.00 0.95 3/64 17220
/proc/meminfo: memFree=1790776/2055920 swapFree=4181940/4192956
[pid=17220] ppid=17218 vsize=33880 CPUtime=0.69
/proc/17220/stat : 17220 (wbo) R 17218 17220 16708 0 -1 4194304 4042 0 0 0 68 1 0 0 22 0 1 0 193967554 34693120 4026 1992294400 134512640 135709839 4294956240 18446744073709551615 135168571 0 0 4096 3 0 0 0 17 1 0 0
/proc/17220/statm: 8470 4027 1346 292 0 2986 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 33880

[startup+1.50166 s]
/proc/loadavg: 1.00 1.00 0.95 2/65 17221
/proc/meminfo: memFree=1776112/2055920 swapFree=4181940/4192956
[pid=17220] ppid=17218 vsize=44264 CPUtime=1.49
/proc/17220/stat : 17220 (wbo) R 17218 17220 16708 0 -1 4194304 7933 0 0 0 146 3 0 0 25 0 1 0 193967554 45326336 7917 1992294400 134512640 135709839 4294956240 18446744073709551615 134548059 0 0 4096 3 0 0 0 17 1 0 0
/proc/17220/statm: 11066 7918 2703 292 0 5582 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 44264

[startup+3.10183 s]
/proc/loadavg: 1.00 1.00 0.95 2/65 17221
/proc/meminfo: memFree=1762160/2055920 swapFree=4181940/4192956
[pid=17220] ppid=17218 vsize=44648 CPUtime=3.09
/proc/17220/stat : 17220 (wbo) R 17218 17220 16708 0 -1 4194304 16250 0 0 0 302 7 0 0 25 0 1 0 193967554 45719552 10048 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/17220/statm: 11162 10048 133 292 0 10867 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 44648

[startup+6.30115 s]
/proc/loadavg: 1.00 1.00 0.95 2/65 17221
/proc/meminfo: memFree=1747120/2055920 swapFree=4181940/4192956
[pid=17220] ppid=17218 vsize=49824 CPUtime=6.29
/proc/17220/stat : 17220 (wbo) R 17218 17220 16708 0 -1 4194304 17545 0 0 0 607 22 0 0 25 0 1 0 193967554 51019776 11343 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/17220/statm: 12456 11343 134 292 0 12161 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 49824

[startup+12.7018 s]
/proc/loadavg: 1.00 1.00 0.95 2/65 17221
/proc/meminfo: memFree=1735024/2055920 swapFree=4181940/4192956
[pid=17220] ppid=17218 vsize=61212 CPUtime=12.69
/proc/17220/stat : 17220 (wbo) R 17218 17220 16708 0 -1 4194304 20394 0 0 0 1227 42 0 0 25 0 1 0 193967554 62681088 14192 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/17220/statm: 15303 14192 134 292 0 15008 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 61212

[startup+25.5011 s]
/proc/loadavg: 1.00 1.00 0.95 2/65 17221
/proc/meminfo: memFree=1712816/2055920 swapFree=4181940/4192956
[pid=17220] ppid=17218 vsize=83072 CPUtime=25.49
/proc/17220/stat : 17220 (wbo) R 17218 17220 16708 0 -1 4194304 25865 0 0 0 2486 63 0 0 25 0 1 0 193967554 85065728 19663 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0
/proc/17220/statm: 20768 19663 134 292 0 20473 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 83072

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

[startup+38.3014 s]
/proc/loadavg: 1.00 1.00 0.95 2/65 17221
/proc/meminfo: memFree=1695088/2055920 swapFree=4181940/4192956
[pid=17220] ppid=17218 vsize=101616 CPUtime=38.27
/proc/17220/stat : 17220 (wbo) R 17218 17220 16708 0 -1 4194304 30481 0 0 0 3744 83 0 0 25 0 1 0 193967554 104054784 24279 1992294400 134512640 135709839 4294956240 18446744073709551615 134572568 0 0 4096 3 0 0 0 17 1 0 0
/proc/17220/statm: 25404 24279 134 292 0 25109 0
Current children cumulated CPU time (s) 38.27
Current children cumulated vsize (KiB) 101616

[startup+44.7011 s]
/proc/loadavg: 1.00 1.00 0.95 2/65 17221
/proc/meminfo: memFree=1686128/2055920 swapFree=4181940/4192956
[pid=17220] ppid=17218 vsize=112784 CPUtime=44.67
/proc/17220/stat : 17220 (wbo) R 17218 17220 16708 0 -1 4194304 33282 0 0 0 4377 90 0 0 25 0 1 0 193967554 115490816 27080 1992294400 134512640 135709839 4294956240 18446744073709551615 134517181 0 0 4096 3 0 0 0 17 1 0 0
/proc/17220/statm: 28196 27080 134 292 0 27901 0
Current children cumulated CPU time (s) 44.67
Current children cumulated vsize (KiB) 112784

[startup+47.9014 s]
/proc/loadavg: 1.00 1.00 0.95 2/65 17221
/proc/meminfo: memFree=1676848/2055920 swapFree=4181940/4192956
[pid=17220] ppid=17218 vsize=119388 CPUtime=47.87
/proc/17220/stat : 17220 (wbo) R 17218 17220 16708 0 -1 4194304 34944 0 0 0 4692 95 0 0 25 0 1 0 193967554 122253312 28742 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/17220/statm: 29847 28742 134 292 0 29552 0
Current children cumulated CPU time (s) 47.87
Current children cumulated vsize (KiB) 119388

[startup+48.7015 s]
/proc/loadavg: 1.00 1.00 0.95 2/65 17221
/proc/meminfo: memFree=1675504/2055920 swapFree=4181940/4192956
[pid=17220] ppid=17218 vsize=120312 CPUtime=48.66
/proc/17220/stat : 17220 (wbo) R 17218 17220 16708 0 -1 4194304 35176 0 0 0 4770 96 0 0 25 0 1 0 193967554 123199488 28974 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/17220/statm: 30078 28974 134 292 0 29783 0
Current children cumulated CPU time (s) 48.66
Current children cumulated vsize (KiB) 120312

[startup+49.1015 s]
/proc/loadavg: 1.00 1.00 0.95 2/65 17221
/proc/meminfo: memFree=1675504/2055920 swapFree=4181940/4192956
[pid=17220] ppid=17218 vsize=120712 CPUtime=49.07
/proc/17220/stat : 17220 (wbo) R 17218 17220 16708 0 -1 4194304 35258 0 0 0 4810 97 0 0 25 0 1 0 193967554 123609088 29056 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/17220/statm: 30178 29056 134 292 0 29883 0
Current children cumulated CPU time (s) 49.07
Current children cumulated vsize (KiB) 120712

[startup+49.3015 s]
/proc/loadavg: 1.00 1.00 0.95 2/65 17221
/proc/meminfo: memFree=1675504/2055920 swapFree=4181940/4192956
[pid=17220] ppid=17218 vsize=121388 CPUtime=49.27
/proc/17220/stat : 17220 (wbo) R 17218 17220 16708 0 -1 4194304 35452 0 0 0 4830 97 0 0 25 0 1 0 193967554 124301312 29250 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/17220/statm: 30347 29250 134 292 0 30052 0
Current children cumulated CPU time (s) 49.27
Current children cumulated vsize (KiB) 121388

Child status: 0
Real time (s): 49.3911
CPU time (s): 49.3695
CPU user time (s): 48.3696
CPU system time (s): 0.999848
CPU usage (%): 99.9563
Max. virtual memory (cumulated for all children) (KiB): 121388

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

runsolver used 0.037994 second user time and 0.132979 second system time

The end

Begin job on node45 at 2009-06-17 20:35:06
IDJOB=1885151
IDBENCH=72028
IDSOLVER=698
FILE ID=node45/1885151-1245263705
PBS_JOBID= 9372408
Free space on /tmp= 66152 MiB

SOLVER NAME= wbo 1.0
BENCH NAME= PB09/normalized-PB09/PURE-SAT/SAT09/CRAFTED/edgematching/all/em_12_2_4_all.opb
COMMAND LINE= wbo -file-format=opb -time-limit=TIMEOUT BENCHNAME
CONVERSION SCRIPT= PBconversionToLinear BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1885151-1245263705/watcher-1885151-1245263705 -o /tmp/evaluation-result-1885151-1245263705/solver-1885151-1245263705 -C 1800 -W 2000 -M 1800  wbo -file-format=opb -time-limit=1800 HOME/instance-1885151-1245263705.opb

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

MD5SUM BENCH= a0a808e6c65f07a30f4eacdb010dee9c
RANDOM SEED=156926195

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:       1791192 kB
Buffers:         32672 kB
Cached:         146960 kB
SwapCached:       5260 kB
Active:          75772 kB
Inactive:       112156 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1791192 kB
SwapTotal:     4192956 kB
SwapFree:      4181940 kB
Dirty:           23128 kB
Writeback:           0 kB
Mapped:          14556 kB
Slab:            62868 kB
Committed_AS:   199224 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-1885151-1245263705.opb

Free space on /tmp at the end= 66148 MiB
End job on node45 at 2009-06-17 20:35:55