Trace number 2657290

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
bsolo 3.2 ClSAT26 1798.09 1798.55

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-LIN/submittedPB07/
aksoy/decomp/normalized-matrix_5x3_9.opb
MD5SUMd90f6236f870e45ceb3cd4a6e4593f30
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark24
Best CPU time to get the best result obtained on this benchmark1800.45
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 24
Optimality of the best value was proved NO
Number of variables14352
Total number of constraints53247
Number of constraints which are clauses53237
Number of constraints which are cardinality constraints (but not clauses)1
Number of constraints which are nor clauses,nor cardinality constraints9
Minimum length of a constraint1
Maximum length of a constraint1036
Number of terms in the objective function 1036
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 1036
Number of bits of the sum of numbers in the objective function 11
Biggest number in a constraint 32
Number of bits of the biggest number in a constraint 6
Biggest sum of numbers in a constraint 1068
Number of bits of the biggest sum of numbers11
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data

0.00/0.00	c bsolo beta version 3.2 - 23/05/2010 : 1630 GMT
0.00/0.00	c Developed by Vasco Manquinho and José Santos IST/UTL - INESC-ID
0.00/0.00	c type "bsolo -h" for help
0.00/0.00	c Time Limit set via environment variable PBTIMEOUT to 1800
0.00/0.00	c Time Limit set to 1800
0.00/0.00	c Learning Strategy: Clause Learning
0.00/0.00	c Instance file HOME/instance-2657290-1276640560.opb
0.00/0.00	c File size is 1582828 bytes.
0.19/0.27	c Highest Coefficient sum: 1068
0.19/0.27	c Parsing was ok!!
0.19/0.27	c Total parsing time: 0.276 s
0.29/0.30	c Var: 14352 Constr: 53247 53246/1/0 Lit: 134679 Watch. Lit: 107492
0.29/0.30	c Obj. Vars: 1036 (7.21851 % of total variables)
1.29/1.31	c Pre-processing Time: 1.312 s
1.29/1.31	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.29/1.31	c        0  14340    53219   134628    2   107441   18739      0      0 1.31
1.29/1.31	c Switching off lower bounding mode.
1.29/1.34	o 31
1.49/1.54	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.49/1.54	c       12  14340    53232   138691    2   108472   19739     13      8 1.36
1.49/1.54	c      112  14340    53332   143516    2   108672   21713    113     73 1.52
1.49/1.54	o 30
597.04/597.26	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
597.04/597.26	c      114  14340    53335   144584    2   109684   19739    116     73 1.56
597.04/597.26	c      214  14340    53435   148342    2   109884   21713    216    108 1.98
597.04/597.26	c      465  14340    53686   165781    3   110386   23885    467    188 2.47
597.04/597.26	c      940  14340    54161   216273    3   111336   26274    942    339 2.77
597.04/597.26	c     1754  14340    54975   450494    8   112964   28902   1756    504 3.47
597.04/597.26	c     3074  14340    56295   800171   14   115604   31793   3076    677 4.54
597.04/597.26	c     5156  14340    58377  1455539   24   119768   34973   5158    745 6.92
597.04/597.26	c     8379  14340    61600  1907946   30   126214   38471   8381    603 13.88
597.04/597.26	c    13316  14340    66537  7940632  119   136088   42319  13318    389 34.19
597.04/597.26	c    20822  14340    74043  9440848  127   151100   46551  20824    428 48.61
597.04/597.26	c    32183  14340    85404 13547654  158   173822   51207  32185    427 75.31
597.04/597.26	c    49327  14340   102548 21070535  205   208110   56328  49329    371 132.76
597.04/597.26	c    75148  14340    71249 31634038  443   144507   61961  18030    171 437.29
597.04/597.26	c   113980  14340   110081 44819235  407   222171   68158  56862    191 596.74
597.04/597.26	o 29
1040.23/1040.56	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1040.23/1040.56	c   113982  14340   110084 44823879  407   223184   19739  56865    190 597.12
1040.23/1040.56	c   114083  14340    63191  4401677   69   128392   21713   9972    190 599.92
1040.23/1040.56	c   114333  14340    63441  4462520   70   128892   23885  10222    190 601.20
1040.23/1040.56	c   114808  14340    63916  4603465   72   129842   26274  10697    190 602.52
1040.23/1040.56	c   115622  14340    64730  4969519   76   131470   28902  11511    191 604.18
1040.23/1040.56	c   116942  14340    66050  5309217   80   134110   31793  12831    193 605.79
1040.23/1040.56	c   119024  14340    68132  5751183   84   138274   34973  14913    195 608.46
1040.23/1040.56	c   122247  14340    71355  6521737   91   144720   38471  18136    198 614.50
1040.23/1040.56	c   127184  14340    76292  9214581  120   154594   42319  23073    203 626.25
1040.23/1040.56	c   134691  14340    83799 13375378  159   169608   46551  30580    207 649.70
1040.23/1040.56	c   146053  14340    95161 18084351  190   192332   51207  41942    212 686.24
1040.23/1040.56	c   163199  14340    65672  4153470   63   133354   56328  12453    214 762.20
1040.23/1040.56	c   189018  14340    91491 31080189  339   184992   61961  38272    217 869.68
1040.23/1040.56	c   227851  14340    68387  6195792   90   138784   68158  15168    219 1040.19
1040.23/1040.56	o 28
1191.79/1192.11	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1191.79/1192.11	c   227854  14340    68391  6197609   90   139800   19739  15172    219 1040.31
1191.79/1192.11	c   227955  14340    68492  6241683   91   140002   21713  15273    219 1040.65
1191.79/1192.11	c   228205  14340    68742  6281154   91   140502   23885  15523    219 1041.33
1191.79/1192.11	c   228680  14340    69217  6329901   91   141452   26274  15998    219 1043.16
1191.79/1192.11	c   229494  14340    70031  6511288   92   143080   28902  16812    219 1046.45
1191.79/1192.11	c   230815  14340    71352  7113233   99   145722   31793  18133    219 1050.66
1191.79/1192.11	c   232896  14340    73433  7280069   99   149884   34973  20214    220 1057.86
1191.79/1192.11	c   236119  14340    76656  7527705   98   156330   38471  23437    221 1065.29
1191.79/1192.11	c   241055  14340    81592 10657313  130   166202   42319  28373    224 1075.98
1191.79/1192.11	c   248561  14340    89098 11855346  133   181214   46551  35879    226 1099.05
1191.79/1192.11	c   259922  14340    64725  5649959   87   131461   51207  11506    229 1132.84
1191.79/1192.11	o 27
1349.26/1349.61	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1349.26/1349.61	c   271973  14340    76777 13860603  180   156574   19739  23558    228 1191.82
1349.26/1349.61	c   272074  14340    63192  4879594   77   128396   21713   9973    228 1192.54
1349.26/1349.61	c   272324  14340    63442  4886537   77   128896   23885  10223    228 1193.08
1349.26/1349.61	c   272799  14340    63917  4904317   76   129846   26274  10698    228 1194.59
1349.26/1349.61	c   273614  14340    64732  5084678   78   131476   28902  11513    228 1196.23
1349.26/1349.61	c   274935  14340    66053  5173003   78   134118   31793  12834    229 1199.53
1349.26/1349.61	c   277018  14340    68136  5523773   81   138284   34973  14917    230 1203.54
1349.26/1349.61	c   280244  14340    71362  7372417  103   144736   38471  18143    231 1210.43
1349.26/1349.61	c   285180  14340    76298  8356596  109   154608   42319  23079    232 1227.14
1349.26/1349.61	c   292689  14340    83807 11169146  133   169626   46551  30588    233 1251.38
1349.26/1349.61	c   304051  14340    95169 15746104  165   192350   51207  41950    236 1286.90
1349.26/1349.61	c   321195  14340    65515  3569988   54   133042   56328  12296    238 1348.80
1349.26/1349.61	o 26
1797.94/1798.46	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1797.94/1798.46	c   321691  14340    66012  3679844   55   135046   19739  12793    238 1349.28
1797.94/1798.46	c   321791  14340    66112  3684092   55   135246   21713  12893    238 1349.67
1797.94/1798.46	c   322041  14340    66362  3731002   56   135746   23885  13143    238 1350.74
1797.94/1798.46	c   322517  14340    66838  3762842   56   136698   26274  13619    238 1352.41
1797.94/1798.46	c   323330  14340    67651  3919531   57   138324   28902  14432    238 1353.55
1797.94/1798.46	c   324650  14340    68971  4037625   58   140964   31793  15752    239 1358.14
1797.94/1798.46	c   326731  14340    71052  4264035   60   145126   34973  17833    240 1360.69
1797.94/1798.46	c   329956  14340    74277  5967539   80   151576   38471  21058    241 1368.50
1797.94/1798.46	c   334892  14340    79213  6541480   82   161448   42319  25994    242 1382.08
1797.94/1798.46	c   342398  14340    86719  8676913  100   176460   46551  33500    243 1404.89
1797.94/1798.46	c   353759  14340    98080 14129176  144   199182   51207  44861    247 1432.15
1797.94/1798.46	c   370904  14340    65632  5605745   85   133277   56328  12413    246 1504.21
1797.94/1798.46	c   396724  14340    91452  9921666  108   184917   61961  38233    230 1719.23
1797.94/1798.46	c Resources Exceeded
1797.94/1798.46	v x1 x83 x821 x888 x1226 -x1571 -x1583 x1595 -x1607 -x1619 -x1631 -x9 -x1643 -x12 -x1648 -x15 -x1653 -x18 -x1658 x21 -x1663 -x24 x1668 -x27 -x1673 -x30 -x1678 -x33 -x1683 -x36 -x1688 -x39 -x1693 -x42 -x1698 -x45 -x1703 -x48 -x1708 -x51 -x1713 -x1718 -x1720 -x1722 -x1724 -x1726 -x1728 -x1730 -x1732 -x1734 -x1736 -x1738 -x1740 -x1742 -x1744 -x1746 -x1748 x1750 -x1752 -x1754 -x1756 x1758 -x1879 -x2000 -x2121 -x2242 -x2363 -x2484 -x2605 -x2726 -x94 -x2847 -x97 -x2905 -x100 x2963 -x103 -x3021 -x106 -x3079 -x109 -x3137 -x112 -x3195 -x115 -x3253 -x3311 -x120 -x3369 -x3427 -x125 -x3485 x128 -x3543 -x131 -x3601 -x3659 -x136 -x3717 -x139 -x3775 -x142 -x3833 -x3891 -x147 -x3949 -x150 -x4007 -x153 -x4065 -x156 -x4123 -x159 -x4181 -x162 -x4239 -x165 -x4297 -x168 -x4355 -x4413 -x173 -x4471 -x4529 -x4587 -x180 -x4645 -x4703 -x185 -x4761 -x188 -x4819 -x4877 -x4935 -x4937 -x4964 -x4966 -x4993 -x4995 -x5022 -x5024 -x5051 -x5053 -x5080 -x5082 -x5109 -x5111 -x5138 -x5140 -x5167 -x5169 -x5196 -x5198 -x5225 -x5227 -x5254 -x5256 -x5283 -x5285 -x5312 -x5314 -x5341 -x5343 -x5370 -x5372 -x5399 x5401 -x5428 -x5430 -x5457 -x5459 -x5486 -x5488 -x5515 -x5517 -x5544 -x5546 -x5573 -x5575 -x5602 -x5604 -x5631 -x5633 -x5660 -x5662 -x5689 -x5691 -x5718 -x5720 -x5747 -x5749 -x5776 -x5778 -x5805 -x5807 -x5834 -x5836 -x5863 -x5865 -x5892 -x5894 -x5921 -x5923 -x5950 -x5952 -x5979 -x5981 -x6008 -x6010 -x6037 -x6039 -x6066 -x6068 -x6095 -x6097 -x6124 -x6126 -x6153 x6180 -x6182 -x6209 -x6211 -x6238 -x6240 -x6267 -x6269 -x6296 -x6298 -x6325 -x6327 -x6354 -x6356 -x6383 -x6385 -x6412 -x6414 -x6441 -x6443 -x6470 -x6472 -x6499 -x6501 -x6528 -x6530 -x6557 -x6559 -x6586 -x6588 -x6615 -x6617 -x6644 -x6646 -x6673 -x6675 -x6702 -x6704 -x6731 -x6733 -x6760 -x6762 -x6789 -x6791 -x6818 -x6820 -x6847 -x6849 -x6876 -x6878 -x6905 -x6907 -x6934 -x6936 -x6963 -x6965 -x6992 -x6994 -x7021 -x7023 -x7050 -x7052 -x7079 -x7081 -x7108 -x7110 -x7137 -x7139 -x7166 -x7168 -x7195 -x7197 -x7224 -x7226 -x7253 -x7255 -x7282 -x7284 -x7311 -x7313 -x7340 -x7342 -x7369 -x7374 -x7386 -x7391 -x7403 -x7408 -x7420 -x7425 -x7437 -x7442 -x7454 -x7459 -x7471 -x7476 -x7488 -x7493 -x7505 -x7510 -x7522 -x7527 -x7539 -x7544 -x7556 -x7561 -x7573 -x7578 -x7590 -x7595 -x7607 -x7612 -x7624 -x7629 -x7641 -x7646 -x7658 -x7663 -x7675 -x7680 -x7692 -x7697 -x7709 -x7714 -x7726 -x7731 -x7743 -x7748 -x7760 -x7765 -x7777 -x7782 -x7794 -x7799 -x7811 -x7816 -x7828 -x7833 -x7845 -x7850 -x7862 -x7867 -x7879 -x7884 -x7896 -x7901 -x7913 -x7918 -x7930 -x7935 -x7947 -x7952 -x7964 -x7969 -x7981 -x7986 -x7998 -x8003 -x8015 -x8020 -x8032 -x8037 -x8049 -x8054 -x8066 -x8071 -x8083 -x8088 -x8100 -x8105 -x8117 -x8122 -x8134 x8139 -x8151 -x8156 -x8168 -x8173 -x8185 -x8190 -x8202 -x8207 -x8219 -x8224 -x8236 -x8241 -x8253 -x8258 -x8270 -x8275 -x8287 -x8292 -x8304 -x8309 -x8321 -x8326 -x8338 -x8343 -x8355 -x8360 -x8372 -x8377 -x8389 -x8394 -x8406 -x8411 -x8423 -x8428 -x8440 -x8445 -x8457 -x8462 -x8474 -x8479 -x8491 -x8496 -x8508 -x8513 -x8525 -x8530 -x8542 -x8547 -x8559 -x8564 -x8576 -x8581 -x8593 -x8598 -x8610 -x8615 -x8627 -x8632 -x8644 -x8649 -x8661 -x8666 -x8678 -x8683 -x8695 -x8700 -x8712 -x8717 -x8729 -x8734 x8746 -x8751 -x8763 -x8768 -x8780 -x8785 -x8797 -x8802 -x8814 -x8819 -x8831 -x8836 -x8848 -x8853 -x8865 -x8870 -x8882 -x8887 -x8899 -x8904 -x8916 -x8921 -x8933 -x8938 -x8950 -x8955 -x8967 -x8972 -x8984 -x8989 -x9001 -x9006 -x9018 -x9023 -x9035 -x9040 -x9052 -x9057 -x9069 -x9074 -x9086 -x9091 -x9103 -x9108 -x9120 -x9125 -x9137 -x9142 -x9154 -x9159 -x9171 -x9176 -x9188 -x9193 -x9205 -x9210 -x9222 -x9227 -x9239 -x9244 -x9256 -x9261 -x9273 -x9278 -x9290 -x9295 -x9307 -x9312 -x9324 -x9329 -x9341 -x9346 -x9358 -x9363 -x9375 -x9380 -x9392 -x9397 -x9409 -x9414 -x9426 -x9431 -x9443 -x9448 -x9460 -x9465 -x9477 -x9482 -x9494 -x9499 -x9511 -x9523 -x9535 -x9547 -x9559 x9571 -x829 -x9583 -x9588 -x9593 -x9598 -x838 -x9603 -x841 -x9608 -x844 -x9613 -x9618 -x849 -x9623 -x9628 -x9633 -x9638 -x859 -x9643 -x9648 -x9653 -x9655 -x9657 -x9659 -x9661 -x9663 -x9665 -x9667 -x9669 -x9671 -x9673 -x9675 -x9677 -x9679 -x9681 -x9683 -x9741 x9799 -x9857 -x9915 -x9973 -x10031 -x10089 -x898 -x10147 -x901 -x10174 -x10201 -x10228 -x908 -x10255 -x10282 -x913 -x10309 -x916 -x10336 -x919 -x10363 -x922 -x10390 -x925 -x10417 -x928 -x10444 -x931 -x10471 -x10498 -x10525 -x10552 -x940 -x10579 x10606 -x10633 -x10660 -x10687 -x10714 -x10741 -x10768 -x10795 -x10822 -x10849 -x963 -x10876 -x10903 -x10905 -x10917 -x10919 -x10931 -x10933 -x10945 -x10947 -x10959 -x10961 -x10973 -x10975 -x10987 -x10989 -x11001 -x11003 -x11015 -x11017 -x11029 -x11031 -x11043 -x11045 -x11057 -x11069 -x11071 -x11083 -x11095 -x11097 -x11109 -x11111 -x11123 -x11135 -x11137 -x11149 -x11151 -x11163 -x11165 -x11177 -x11179 -x11191 -x11193 -x11205 -x11207 -x11219 -x11221 -x11233 -x11235 -x11247 -x11249 -x11261 -x11263 -x11275 -x11277 -x11289 -x11291 -x11303 -x11305 -x11317 -x11319 -x11331 -x11333 -x11345 -x11347 -x11359 -x11361 -x11373 -x11375 -x11387 -x11389 -x11401 -x11403 -x11415 -x11417 -x11429 -x11431 -x11443 -x11445 -x11457 -x11459 -x11471 -x11473 -x11485 -x11487 -x11499 -x11501 x11513 -x11525 -x11527 -x11539 -x11551 -x11563 -x11575 -x11587 -x11599 -x11601 -x11613 -x11615 -x11627 -x11639 -x11641 -x11653 -x11655 -x11667 -x11672 -x11677 -x11682 -x11687 -x11692 -x11697 -x11702 -x11707 x11712 -x11717 -x11722 -x11727 -x11732 -x11737 -x11742 -x11747 -x11752 -x11757 -x11762 -x11767 -x11772 -x11777 -x11782 -x11787 -x11792 -x11797 -x11802 -x11807 -x11812 -x11817 -x11822 -x11827 -x11832 -x11837 -x11842 -x11847 -x11852 -x11857 -x11862 -x11867 -x11872 -x11877 -x11882 -x11887 -x11892 -x11897 -x11902 -x11907 -x11912 -x11917 -x11922 -x11927 -x11932 -x11937 -x11942 -x11947 -x11952 -x11957 -x11962 -x11967 -x11972 -x11977 -x11982 -x11987 -x11992 -x11997 -x12002 -x12007 -x12065 -x12123 -x12181 -x12239 x12297 -x12355 -x12413 -x1236 -x12471 -x12498 -x12525 -x12552 -x1245 -x12579 -x12606 -x1250 -x12633 -x12660 -x12687 -x12714 -x1259 -x12741 -x12768 -x12795 -x12822 -x12849 -x12876 -x12903 -x12930 -x1276 -x12957 -x12984 -x1281 -x13011 -x1284 -x13038 -x1287 -x13065 -x13092 -x1292 -x13119 -x1295 -x13146 -x1298 x13173 -x13200 -x13227 -x13229 -x13241 -x13243 -x13255 -x13257 -x13269 -x13271 x13283 -x13285 -x13297 -x13299 -x13311 -x13313 -x13325 -x13327 -x13339 -x13341 -x13353 -x13365 -x13367 -x13379 -x13381 -x13393 -x13395 -x13407 -x13409 -x13421 -x13423 -x13435 -x13437 -x13449 -x13451 -x13463 -x13465 -x13477 -x13479 -x13491 -x13493 -x13505 -x13507 -x13519 -x13521 -x13533 -x13535 -x13547 -x13549 -x13561 -x13563 -x13575 -x13577 -x13589 -x13591 -x13603 -x13605 -x13617 -x13619 -x13631 -x13633 -x13645 -x13647 -x13659 -x13671 -x13673 -x13685 -x13687 -x13699 -x13701 -x13713 -x13725 -x13727 -x13739 -x13751 -x13753 -x13765 -x13767 -x13779 -x13781 -x13793 -x13795 -x13807 -x13809 -x13821 -x13823 -x13835 -x13837 -x13849 -x13851 -x13863 -x13865 -x13877 -x13879 -x13891 -x13893 -x13905 -x13907 -x13919 -x13921 -x13933 -x13935 -x13947 -x13949 -x13961 x13963 -x13975 -x13977 -x13989 -x13991 -x14003 -x14008 -x14013 -x14018 -x14023 -x14028 x14033 -x14038 -x14043 -x14048 -x14053 -x14058 -x14063 -x14068 -x14073 -x14078 -x14083 -x14088 -x14093 -x14098 -x14103 -x14108 -x14113 -x14118 -x14123 -x14128 -x14133 -x14138 -x14143 -x14148 -x14153 -x14158 -x14163 -x14168 -x14173 -x14178 -x14183 -x14188 -x14193 -x14198 -x14203 -x14208 -x14213 -x14218 -x14223 -x14228 -x14233 -x14238 -x14243 -x14248 -x14253 -x14258 -x14263 -x14268 -x14273 -x14278 -x14283 -x14288 -x14293 -x14298 -x14303 -x14308 -x14313 -x14318 -x14323 -x14328 -x14333 -x14338 -x14343 -x14348 -x8 -x10 -x11 -x13 -x14 -x16 -x17 -x19 -x20 -x22 -x23 x25 -x26 -x28 -x29 -x31 -x32 -x34 -x35 -x37 -x38 -x40 -x41 -x43 -x44 -x46 -x47 -x49 -x50 -x52 -x54 -x53 -x55 -x57 -x56 -x58 -x60 -x59 -x61 -x63 -x62 -x64 -x66 -x65 -x67 -x69 -x68 -x70 -x72 -x71 -x73 -x75 -x74 -x76 x78 -x77 -x79 -x81 -x80 -x82 -x2 -x3 x4 -x5 -x6 -x7 -x93 -x95 -x96 -x98 -x99 x101 -x102 -x104 -x105 -x107 -x108 -x110 -x111 -x113 -x114 -x116 -x117 -x118 -x119 -x121 -x122 -x123 -x124 -x126 -x127 -x129 -x130 -x132 -x133 -x134 -x135 -x137 -x138 -x140 -x141 -x143 -x144 -x145 -x146 -x148 -x149 -x151 -x152 -x154 -x155 -x157 -x158 -x160 -x161 -x163 -x164 -x166 -x167 -x169 -x170 -x171 -x172 -x174 -x175 -x176 -x177 -x178 -x179 -x181 -x182 -x183 -x184 -x186 -x187 -x189 -x190 -x191 -x193 -x192 -x194 -x196 -x195 -x197 -x199 -x198 -x200 -x202 -x201 -x203 -x205 -x204 -x206 -x208 -x207 -x209 -x211 -x210 -x212 -x214 -x213 -x215 -x217 -x216 -x218 -x220 -x219 -x221 -x223 -x222 -x224 -x226 -x225 -x227 -x229 -x228 -x230 -x232 -x231 -x233 -x235 -x234 -x236 -x238 -x237 -x239 -x241 -x240 x242 -x244 -x243 -x245 -x247 -x246 -x248 -x250 -x249 -x251 -x253 -x252 -x254 -x256 -x255 -x257 -x259 -x258 -x260 -x262 -x261 -x263 -x265 -x264 -x266 -x268 -x267 -x269 -x271 -x270 -x272 -x274 -x273 -x275 -x277 -x276 -x278 -x280 -x279 -x281 -x283 -x282 -x284 -x286 -x285 -x287 -x289 -x288 -x290 -x292 -x291 -x293 -x295 -x294 -x296 -x298 -x297 -x299 -x301 -x300 -x302 -x304 -x303 -x305 -x307 -x306 -x308 -x310 -x309 -x311 -x313 -x312 -x314 -x316 -x315 -x317 -x318 -x319 x321 -x320 -x322 -x324 -x323 -x325 -x327 -x326 -x328 -x330 -x329 -x331 -x333 -x332 -x334 -x336 -x335 -x337 -x339 -x338 -x340 -x342 -x341 -x343 -x345 -x344 -x346 -x348 -x347 -x349 -x351 -x350 -x352 -x354 -x353 -x355 -x357 -x356 -x358 -x360 -x359 -x361 -x363 -x362 -x364 -x366 -x365 -x367 -x369 -x368 -x370 -x372 -x371 -x373 -x375 -x374 -x376 -x378 -x377 -x379 -x381 -x380 -x382 -x384 -x383 -x385 -x387 -x386 -x388 -x390 -x389 -x391 -x393 -x392 -x394 -x396 -x395 -x397 -x399 -x398 -x400 -x402 -x401 -x403 -x405 -x404 -x406 -x408 -x407 -x409 -x411 -x410 -x412 -x414 -x413 -x415 -x417 -x416 -x418 -x420 -x419 -x421 -x423 -x422 -x424 -x426 -x425 -x427 -x429 -x428 -x430 -x432 -x431 -x433 -x435 -x434 -x436 -x438 -x437 -x439 -x441 -x440 -x442 -x444 -x443 -x445 -x447 -x446 -x448 -x450 -x449 -x451 -x453 -x452 -x454 -x456 -x455 -x457 -x459 -x458 -x460 -x462 -x461 -x463 -x465 -x464 -x466 -x468 -x467 -x469 -x471 -x470 -x472 -x474 -x473 -x475 -x477 -x476 -x478 -x480 -x479 -x481 -x483 -x482 -x484 -x486 -x485 -x487 -x489 -x488 -x490 -x492 -x491 -x493 -x495 -x494 -x496 -x498 -x497 -x499 -x501 -x500 -x502 -x504 -x503 -x505 -x507 -x506 -x508 -x510 -x509 -x511 -x513 -x512 -x514 -x516 -x515 -x517 -x519 -x518 -x520 -x522 -x521 -x523 -x525 -x524 -x526 -x528 -x527 -x529 -x531 -x530 -x532 -x534 -x533 -x535 -x537 -x536 -x538 -x540 -x539 -x541 -x543 -x542 -x544 -x546 -x545 -x547 -x549 -x548 -x550 -x552 -x551 -x553 -x555 -x554 -x556 -x558 -x557 -x559 -x561 -x560 -x562 -x564 -x563 -x565 -x567 -x566 -x568 -x570 -x569 -x571 -x573 -x572 -x574 -x576 -x575 -x577 -x579 -x578 x580 -x582 -x581 -x583 -x585 -x584 -x586 -x588 -x587 -x589 -x591 -x590 -x592 -x594 -x593 -x595 -x597 -x596 -x598 -x600 -x599 -x601 -x603 -x602 -x604 -x606 -x605 -x607 -x609 -x608 -x610 -x612 -x611 -x613 -x615 -x614 -x616 -x618 -x617 -x619 -x621 -x620 -x622 -x624 -x623 -x625 -x627 -x626 -x628 -x630 -x629 -x631 -x633 -x632 -x634 -x636 -x635 -x637 -x639 -x638 -x640 -x642 -x641 -x643 -x645 -x644 -x646 -x648 -x647 -x649 -x651 -x650 -x652 -x654 -x653 -x655 -x657 -x656 -x658 -x660 -x659 -x661 -x663 -x662 -x664 -x666 -x665 -x667 -x669 -x668 -x670 -x672 -x671 -x673 -x675 -x674 -x676 -x678 -x677 -x679 -x681 -x680 -x682 -x684 -x683 -x685 x687 -x686 -x688 -x690 -x689 -x691 -x693 -x692 -x694 -x696 -x695 -x697 -x699 -x698 -x700 -x702 -x701 -x703 -x705 -x704 -x706 -x708 -x707 -x709 -x711 -x710 -x712 -x714 -x713 -x715 -x717 -x716 -x718 -x720 -x719 -x721 -x723 -x722 -x724 -x726 -x725 -x727 -x729 -x728 -x730 -x732 -x731 -x733 -x735 -x734 -x736 -x738 -x737 -x739 -x741 -x740 -x742 -x744 -x743 -x745 -x747 -x746 -x748 -x750 -x749 -x751 -x753 -x752 -x754 -x756 -x755 -x757 -x759 -x758 -x760 -x762 -x761 -x763 -x765 -x764 -x766 -x768 -x767 -x769 -x771 -x770 -x772 -x774 -x773 -x775 -x777 -x776 -x778 -x780 -x779 -x781 -x783 -x782 -x784 -x786 -x785 -x787 -x789 -x788 -x790 -x792 -x791 -x793 -x795 -x794 -x796 -x798 -x797 -x799 -x801 -x800 -x802 -x804 -x803 -x805 -x807 -x806 -x808 -x810 -x809 -x811 -x813 -x812 -x814 -x816 -x815 -x817 -x819 -x818 -x820 x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x828 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x839 -x840 -x842 -x843 -x845 -x846 -x847 -x848 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x860 -x861 -x862 -x864 -x863 -x865 -x867 -x866 -x869 -x868 -x870 -x872 -x871 -x873 -x874 -x875 -x876 -x878 -x877 -x879 -x880 -x881 -x883 -x882 -x884 -x886 -x885 -x887 -x822 -x823 -x824 -x825 -x826 x827 -x897 -x899 -x900 -x902 -x903 -x904 -x905 -x906 -x907 -x909 -x910 -x911 -x912 -x914 -x915 -x917 -x918 -x920 -x921 -x923 -x924 -x926 -x927 -x929 -x930 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x941 -x942 x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x964 -x966 -x965 -x967 -x969 -x968 -x970 -x972 -x971 -x973 -x975 -x974 -x976 -x978 -x977 -x979 -x981 -x980 -x982 -x984 -x983 -x985 -x987 -x986 -x988 -x990 -x989 -x991 -x993 -x992 -x994 -x996 -x995 -x997 -x998 -x999 -x1001 -x1000 -x1002 -x1003 -x1004 -x1006 -x1005 -x1007 -x1009 -x1008 -x1010 -x1011 -x1012 -x1014 -x1013 -x1015 -x1017 -x1016 -x1018 -x1020 -x1019 -x1021 -x1023 -x1022 -x1024 -x1026 -x1025 -x1027 -x1029 -x1028 -x1030 -x1032 -x1031 -x1033 -x1035 -x1034 -x1036 -x1038 -x1037 -x1039 -x1041 -x1040 -x1042 -x1044 -x1043 -x1045 -x1047 -x1046 -x1048 -x1050 -x1049 -x1051 -x1053 -x1052 -x1054 -x1056 -x1055 -x1057 -x1059 -x1058 -x1060 -x1062 -x1061 -x1063 -x1065 -x1064 -x1066 -x1068 -x1067 -x1069 -x1071 -x1070 -x1072 -x1074 -x1073 -x1075 -x1077 -x1076 -x1078 -x1080 -x1079 -x1081 -x1083 -x1082 -x1084 -x1086 -x1085 -x1087 -x1089 -x1088 -x1090 -x1092 -x1091 -x1093 -x1094 x1095 -x1097 -x1096 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1110 -x1109 -x1111 -x1113 -x1112 -x1114 -x1115 -x1116 -x1118 -x1117 -x1119 -x1121 -x1120 -x1122 -x1124 -x1123 -x1125 -x1127 -x1126 -x1128 -x1130 -x1129 -x1131 -x1133 -x1132 -x1135 -x1134 -x1136 x1138 -x1137 -x1139 -x1141 -x1140 -x1142 -x1144 -x1143 -x1145 -x1147 -x1146 -x1148 -x1150 -x1149 -x1151 -x1153 -x1152 -x1154 -x1156 -x1155 -x1157 -x1159 -x1158 -x1160 -x1162 -x1161 -x1163 -x1165 -x1164 -x1166 -x1168 -x1167 -x1169 -x1171 -x1170 -x1172 -x1174 -x1173 -x1175 -x1177 -x1176 -x1178 -x1180 -x1179 -x1181 -x1183 -x1182 -x1184 -x1186 -x1185 -x1187 -x1189 -x1188 -x1190 -x1192 -x1191 -x1193 -x1195 -x1194 -x1196 -x1198 -x1197 -x1199 -x1200 -x1201 -x1203 -x1202 -x1204 -x1206 -x1205 -x1207 -x1209 -x1208 -x1210 -x1212 -x1211 -x1213 -x1215 -x1214 -x1216 -x1218 -x1217 -x1219 -x1221 -x1220 -x1222 -x1224 -x1223 -x1225 -x889 -x890 x891 -x892 -x893 -x894 -x895 -x896 -x1235 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1246 -x1247 -x1248 -x1249 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1277 -x1278 -x1279 -x1280 -x1282 -x1283 -x1285 -x1286 -x1288 -x1289 -x1290 -x1291 -x1293 -x1294 -x1296 -x1297 x1299 -x1300 -x1301 -x1303 -x1302 -x1304 -x1306 -x1305 -x1307 -x1309 -x1308 -x1310 -x1312 -x1311 -x1313 x1315 -x1314 -x1316 -x1318 -x1317 -x1319 -x1321 -x1320 -x1322 -x1324 -x1323 -x1325 -x1327 -x1326 -x1328 -x1329 -x1330 -x1332 -x1331 -x1333 -x1335 -x1334 -x1336 -x1338 -x1337 -x1339 -x1341 -x1340 -x1342 -x1344 -x1343 -x1345 -x1347 -x1346 -x1348 -x1350 -x1349 -x1351 -x1353 -x1352 -x1354 -x1356 -x1355 -x1357 -x1359 -x1358 -x1360 -x1362 -x1361 -x1363 -x1365 -x1364 -x1366 -x1368 -x1367 -x1369 -x1371 -x1370 -x1372 -x1374 -x1373 -x1375 -x1377 -x1376 -x1378 -x1380 -x1379 -x1381 -x1383 -x1382 -x1384 -x1386 -x1385 -x1387 -x1389 -x1388 -x1390 -x1392 -x1391 -x1393 -x1394 -x1395 -x1397 -x1396 -x1398 -x1400 -x1399 -x1401 -x1403 -x1402 -x1404 -x1405 -x1406 -x1408 -x1407 -x1409 -x1410 -x1411 -x1413 -x1412 -x1414 -x1416 -x1415 -x1417 -x1419 -x1418 -x1420 -x1422 -x1421 -x1423 -x1425 -x1424 -x1426 -x1428 -x1427 -x1429 -x1431 -x1430 -x1432 -x1434 -x1433 -x1435 -x1437 -x1436 -x1438 -x1440 -x1439 -x1441 -x1443 -x1442 -x1444 -x1446 -x1445 -x1447 -x1449 -x1448 -x1450 -x1452 -x1451 -x1453 -x1455 -x1454 -x1456 -x1458 -x1457 x1459 -x1461 -x1460 -x1462 -x1464 -x1463 -x1465 -x1467 -x1466 -x1468 -x1470 -x1469 -x1471 -x1473 -x1472 -x1474 x1476 -x1475 -x1477 -x1479 -x1478 -x1480 -x1482 -x1481 -x1483 -x1485 -x1484 -x1486 -x1488 -x1487 -x1489 -x1491 -x1490 -x1492 -x1494 -x1493 -x1495 -x1497 -x1496 -x1498 -x1500 -x1499 -x1501 -x1503 -x1502 -x1504 -x1506 -x1505 -x1507 -x1509 -x1508 -x1510 -x1512 -x1511 -x1513 -x1515 -x1514 -x1516 -x1518 -x1517 -x1519 -x1521 -x1520 -x1522 -x1524 -x1523 -x1525 -x1527 -x1526 -x1528 -x1530 -x1529 -x1531 -x1533 -x1532 -x1534 -x1536 -x1535 -x1537 -x1539 -x1538 -x1540 -x1542 -x1541 -x1543 -x1545 -x1544 -x1546 -x1548 -x1547 -x1549 -x1551 -x1550 -x1552 -x1554 -x1553 -x1555 -x1557 -x1556 -x1558 -x1560 -x1559 -x1561 -x1563 -x1562 -x1564 -x1566 -x1565 -x1567 -x1569 -x1568 -x1570 -x1227 -x1228 -x1229 -x1230 -x1231 x1232 -x1233 -x1234 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1644 -x1645 -x1646 -x1647 -x1649 -x1650 -x1651 -x1652 -x1654 -x1655 -x1656 -x1657 -x1659 -x1660 -x1661 -x1662 -x1664 -x1665 -x1666 -x1667 x1669 -x1670 -x1671 -x1672 -x1674 -x1675 -x1676 -x1677 x1679 -x1680 -x1681 -x1682 -x1684 -x1685 -x1686 -x1687 -x1689 -x1690 -x1691 -x1692 x1694 -x1695 -x1696 -x1697 -x1699 -x1700 -x1701 -x1702 -x1704 -x1705 -x1706 -x1707 -x1709 -x1710 -x1711 -x1712 -x1714 -x1715 -x1716 -x1717 -x1719 -x1721 -x1723 -x1725 -x1727 -x1729 x1731 -x1733 -x1735 -x1737 -x1739 -x1741 x1743 -x1745 -x1747 -x1749 x1751 -x1753 x1755 -x1757 x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4390 -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x4410 -x4411 -x4412 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x4470 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 -x4480 -x4481 -x4482 -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 -x4499 -x4500 -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4510 -x4511 -x4512 -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4524 -x4525 -x4526 -x4527 -x4528 -x4530 -x4531 -x4532 -x4533 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 -x4559 -x4560 -x4561 -x4562 -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4588 -x4589 -x4590 -x4591 -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 -x4598 -x4599 -x4600 -x4601 -x4602 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x4610 -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x4620 -x4621 -x4622 -x4623 -x4624 -x4625 -x4626 -x4627 -x4628 -x4629 -x4630 -x4631 -x4632 -x4633 -x4634 -x4635 -x4636 -x4637 -x4638 -x4639 -x4640 -x4641 -x4642 -x4643 -x4644 -x4646 -x4647 -x4648 -x4649 -x4650 -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 -x4660 -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4667 -x4668 -x4669 -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 -x4677 -x4678 -x4679 -x4680 -x4681 -x4682 -x4683 -x4684 -x4685 -x4686 -x4687 -x4688 -x4689 -x4690 -x4691 -x4692 -x4693 -x4694 -x4695 -x4696 -x4697 -x4698 -x4699 -x4700 -x4701 -x4702 -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4710 -x4711 -x4712 -x4713 -x4714 -x4715 -x4716 -x4717 -x4718 -x4719 -x4720 -x4721 -x4722 -x4723 -x4724 -x4725 -x4726 -x4727 -x4728 -x4729 -x4730 -x4731 -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 -x4741 -x4742 -x4743 -x4744 -x4745 -x4746 -x4747 -x4748 -x4749 -x4750 -x4751 -x4752 -x4753 -x4754 -x4755 -x4756 -x4757 -x4758 -x4759 -x4760 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 -x4769 -x4770 -x4771 -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 -x4779 -x4780 -x4781 -x4782 -x4783 -x4784 -x4785 -x4786 -x4787 -x4788 -x4789 -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 -x4798 -x4799 -x4800 -x4801 -x4802 -x4803 -x4804 -x4805 -x4806 -x4807 -x4808 -x4809 -x4810 -x4811 -x4812 -x4813 -x4814 -x4815 -x4816 -x4817 -x4818 -x4820 -x4821 -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 -x4828 -x4829 -x4830 -x4831 -x4832 -x4833 -x4834 -x4835 -x4836 -x4837 -x4838 -x4839 -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 -x4846 -x4847 -x4848 -x4849 -x4850 -x4851 -x4852 -x4853 -x4854 -x4855 -x4856 -x4857 -x4858 -x4859 -x4860 -x4861 -x4862 -x4863 -x4864 -x4865 -x4866 -x4867 -x4868 -x4869 -x4870 -x4871 -x4872 -x4873 -x4874 -x4875 -x4876 -x4878 -x4879 -x4880 -x4881 -x4882 -x4883 -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 -x4890 -x4891 -x4892 -x4893 -x4894 -x4895 -x4896 -x4897 -x4898 -x4899 -x4900 -x4901 -x4902 -x4903 -x4904 -x4905 -x4906 -x4907 -x4908 -x4909 -x4910 -x4911 -x4912 -x4913 -x4914 -x4915 -x4916 -x4917 -x4918 -x4919 -x4920 -x4921 -x4922 -x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4929 -x4930 -x4931 -x4932 -x4933 -x4934 -x4936 -x4938 -x4939 -x4940 -x4941 -x4942 -x4943 -x4944 -x4945 -x4946 -x4947 -x4948 -x4949 -x4950 -x4951 -x4952 -x4953 -x4954 -x4955 -x4956 -x4957 -x4958 -x4959 -x4960 -x4961 -x4962 -x4963 -x4965 -x4967 -x4968 -x4969 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 -x4977 -x4978 -x4979 -x4980 -x4981 -x4982 -x4983 -x4984 -x4985 -x4986 -x4987 -x4988 -x4989 -x4990 -x4991 -x4992 -x4994 -x4996 -x4997 -x4998 -x4999 -x5000 -x5001 -x5002 -x5003 -x5004 -x5005 -x5006 -x5007 -x5008 -x5009 -x5010 -x5011 -x5012 -x5013 -x5014 -x5015 -x5016 -x5017 -x5018 -x5019 -x5020 -x5021 -x5023 -x5025 -x5026 -x5027 -x5028 -x5029 -x5030 -x5031 -x5032 -x5033 -x5034 -x5035 -x5036 -x5037 -x5038 -x5039 -x5040 -x5041 -x5042 -x5043 -x5044 -x5045 -x5046 -x5047 -x5048 -x5049 -x5050 x5052 -x5054 -x5055 -x5056 -x5057 -x5058 -x5059 -x5060 -x5061 -x5062 -x5063 -x5064 -x5065 -x5066 -x5067 -x5068 -x5069 -x5070 -x5071 -x5072 -x5073 -x5074 -x5075 -x5076 -x5077 -x5078 -x5079 -x5081 -x5083 -x5084 -x5085 -x5086 -x5087 -x5088 -x5089 -x5090 -x5091 -x5092 -x5093 -x5094 -x5095 -x5096 -x5097 -x5098 -x5099 -x5100 -x5101 -x5102 -x5103 -x5104 -x5105 -x5106 -x5107 -x5108 -x5110 -x5112 -x5113 -x5114 -x5115 -x5116 -x5117 -x5118 -x5119 -x5120 -x5121 -x5122 -x5123 -x5124 -x5125 -x5126 -x5127 -x5128 -x5129 -x5130 -x5131 -x5132 -x5133 -x5134 -x5135 -x5136 -x5137 -x5139 -x5141 -x5142 -x5143 -x5144 -x5145 -x5146 -x5147 -x5148 -x5149 -x5150 -x5151 -x5152 -x5153 -x5154 -x5155 -x5156 -x5157 -x5158 -x5159 -x5160 -x5161 -x5162 -x5163 -x5164 -x5165 -x5166 -x5168 -x5170 -x5171 -x5172 -x5173 -x5174 -x5175 -x5176 -x5177 -x5178 -x5179 -x5180 -x5181 -x5182 -x5183 -x5184 -x5185 -x5186 -x5187 -x5188 -x5189 -x5190 -x5191 -x5192 -x5193 -x5194 -x5195 -x5197 -x5199 -x5200 -x5201 -x5202 -x5203 -x5204 -x5205 -x5206 -x5207 -x5208 -x5209 -x5210 -x5211 -x5212 -x5213 -x5214 -x5215 -x5216 -x5217 -x5218 -x5219 -x5220 -x5221 -x5222 -x5223 -x5224 -x5226 -x5228 -x5229 -x5230 -x5231 -x5232 -x5233 -x5234 -x5235 -x5236 -x5237 -x5238 -x5239 -x5240 -x5241 -x5242 -x5243 -x5244 -x5245 -x5246 -x5247 -x5248 -x5249 -x5250 -x5251 -x5252 -x5253 -x5255 -x5257 -x5258 -x5259 -x5260 -x5261 -x5262 -x5263 -x5264 -x5265 -x5266 -x5267 -x5268 -x5269 -x5270 -x5271 -x5272 -x5273 -x5274 -x5275 -x5276 -x5277 -x5278 -x5279 -x5280 -x5281 -x5282 -x5284 -x5286 -x5287 -x5288 -x5289 -x5290 -x5291 -x5292 -x5293 -x5294 -x5295 -x5296 -x5297 -x5298 -x5299 -x5300 -x5301 -x5302 -x5303 -x5304 -x5305 -x5306 -x5307 -x5308 -x5309 -x5310 -x5311 -x5313 -x5315 -x5316 -x5317 -x5318 -x5319 -x5320 -x5321 -x5322 -x5323 -x5324 -x5325 -x5326 -x5327 -x5328 -x5329 -x5330 -x5331 -x5332 -x5333 -x5334 -x5335 -x5336 -x5337 -x5338 -x5339 -x5340 -x5342 -x5344 -x5345 -x5346 -x5347 -x5348 -x5349 -x5350 -x5351 -x5352 -x5353 -x5354 -x5355 -x5356 -x5357 -x5358 -x5359 -x5360 -x5361 -x5362 -x5363 -x5364 -x5365 -x5366 -x5367 -x5368 -x5369 -x5371 -x5373 -x5374 -x5375 -x5376 -x5377 -x5378 -x5379 -x5380 -x5381 -x5382 -x5383 -x5384 -x5385 -x5386 -x5387 -x5388 -x5389 -x5390 -x5391 -x5392 -x5393 -x5394 -x5395 -x5396 -x5397 -x5398 -x5400 x5402 -x5403 -x5404 -x5405 -x5406 -x5407 -x5408 -x5409 -x5410 -x5411 -x5412 -x5413 -x5414 -x5415 -x5416 -x5417 -x5418 -x5419 -x5420 -x5421 -x5422 -x5423 -x5424 -x5425 -x5426 -x5427 -x5429 x5431 -x5432 -x5433 -x5434 -x5435 -x5436 -x5437 -x5438 -x5439 -x5440 -x5441 -x5442 -x5443 -x5444 -x5445 -x5446 -x5447 -x5448 -x5449 -x5450 -x5451 -x5452 -x5453 -x5454 -x5455 -x5456 -x5458 -x5460 -x5461 -x5462 -x5463 -x5464 -x5465 -x5466 -x5467 -x5468 -x5469 -x5470 -x5471 -x5472 -x5473 -x5474 -x5475 -x5476 -x5477 -x5478 -x5479 -x5480 -x5481 -x5482 -x5483 -x5484 -x5485 -x5487 -x5489 -x5490 -x5491 -x5492 -x5493 -x5494 -x5495 -x5496 -x5497 -x5498 -x5499 -x5500 -x5501 -x5502 -x5503 -x5504 -x5505 -x5506 -x5507 -x5508 -x5509 -x5510 -x5511 -x5512 -x5513 -x5514 -x5516 -x5518 -x5519 -x5520 -x5521 -x5522 -x5523 -x5524 -x5525 -x5526 -x5527 -x5528 -x5529 -x5530 -x5531 -x5532 -x5533 -x5534 -x5535 -x5536 -x5537 -x5538 -x5539 -x5540 -x5541 -x5542 -x5543 -x5545 -x5547 -x5548 -x5549 -x5550 -x5551 -x5552 -x5553 -x5554 -x5555 -x5556 -x5557 -x5558 -x5559 -x5560 -x5561 -x5562 -x5563 -x5564 -x5565 -x5566 -x5567 -x5568 -x5569 -x5570 -x5571 -x5572 -x5574 -x5576 -x5577 -x5578 -x5579 -x5580 -x5581 -x5582 -x5583 -x5584 -x5585 -x5586 -x5587 -x5588 -x5589 -x5590 -x5591 -x5592 -x5593 -x5594 -x5595 -x5596 -x5597 -x5598 -x5599 -x5600 -x5601 -x5603 -x5605 -x5606 -x5607 -x5608 -x5609 -x5610 -x5611 -x5612 -x5613 -x5614 -x5615 -x5616 -x5617 -x5618 -x5619 -x5620 -x5621 -x5622 -x5623 -x5624 -x5625 -x5626 -x5627 -x5628 -x5629 -x5630 -x5632 -x5634 -x5635 -x5636 -x5637 -x5638 -x5639 -x5640 -x5641 -x5642 -x5643 -x5644 -x5645 -x5646 -x5647 -x5648 -x5649 -x5650 -x5651 -x5652 -x5653 -x5654 -x5655 -x5656 -x5657 -x5658 -x5659 -x5661 -x5663 -x5664 -x5665 -x5666 -x5667 -x5668 -x5669 -x5670 -x5671 -x5672 -x5673 -x5674 -x5675 -x5676 -x5677 -x5678 -x5679 -x5680 -x5681 -x5682 -x5683 -x5684 -x5685 -x5686 -x5687 -x5688 -x5690 -x5692 -x5693 -x5694 -x5695 -x5696 -x5697 -x5698 -x5699 -x5700 -x5701 -x5702 -x5703 -x5704 -x5705 -x5706 -x5707 -x5708 -x5709 -x5710 -x5711 -x5712 -x5713 -x5714 -x5715 -x5716 -x5717 -x5719 x5721 -x5722 -x5723 -x5724 -x5725 -x5726 -x5727 -x5728 -x5729 -x5730 -x5731 -x5732 -x5733 -x5734 -x5735 -x5736 -x5737 -x5738 -x5739 -x5740 -x5741 -x5742 -x5743 -x5744 -x5745 -x5746 -x5748 -x5750 -x5751 -x5752 -x5753 -x5754 -x5755 -x5756 -x5757 -x5758 -x5759 -x5760 -x5761 -x5762 -x5763 -x5764 -x5765 -x5766 -x5767 -x5768 -x5769 -x5770 -x5771 -x5772 -x5773 -x5774 -x5775 -x5777 -x5779 -x5780 -x5781 -x5782 -x5783 -x5784 -x5785 -x5786 -x5787 -x5788 -x5789 -x5790 -x5791 -x5792 -x5793 -x5794 -x5795 -x5796 -x5797 -x5798 -x5799 -x5800 -x5801 -x5802 -x5803 -x5804 -x5806 -x5808 -x5809 -x5810 -x5811 -x5812 -x5813 -x5814 -x5815 -x5816 -x5817 -x5818 -x5819 -x5820 -x5821 -x5822 -x5823 -x5824 -x5825 -x5826 -x5827 -x5828 -x5829 -x5830 -x5831 -x5832 -x5833 x5835 -x5837 -x5838 -x5839 -x5840 -x5841 -x5842 -x5843 -x5844 -x5845 -x5846 -x5847 -x5848 -x5849 -x5850 -x5851 -x5852 -x5853 -x5854 -x5855 -x5856 -x5857 -x5858 -x5859 -x5860 -x5861 -x5862 -x5864 -x5866 -x5867 -x5868 -x5869 -x5870 -x5871 -x5872 -x5873 -x5874 -x5875 -x5876 -x5877 -x5878 -x5879 -x5880 -x5881 -x5882 -x5883 -x5884 -x5885 -x5886 -x5887 -x5888 -x5889 -x5890 -x5891 -x5893 -x5895 -x5896 -x5897 -x5898 -x5899 -x5900 -x5901 -x5902 -x5903 -x5904 -x5905 -x5906 -x5907 -x5908 -x5909 -x5910 -x5911 -x5912 -x5913 -x5914 -x5915 -x5916 -x5917 -x5918 -x5919 -x5920 -x5922 -x5924 -x5925 -x5926 -x5927 -x5928 -x5929 -x5930 -x5931 -x5932 -x5933 -x5934 -x5935 -x5936 -x5937 -x5938 -x5939 -x5940 -x5941 -x5942 -x5943 -x5944 -x5945 -x5946 -x5947 -x5948 -x5949 -x5951 -x5953 -x5954 -x5955 -x5956 -x5957 -x5958 -x5959 -x5960 -x5961 -x5962 -x5963 -x5964 -x5965 -x5966 -x5967 -x5968 -x5969 -x5970 -x5971 -x5972 -x5973 -x5974 -x5975 -x5976 -x5977 -x5978 x5980 -x5982 -x5983 -x5984 -x5985 -x5986 -x5987 -x5988 -x5989 -x5990 -x5991 -x5992 -x5993 -x5994 -x5995 -x5996 -x5997 -x5998 -x5999 -x6000 -x6001 -x6002 -x6003 -x6004 -x6005 -x6006 -x6007 -x6009 -x6011 -x6012 -x6013 -x6014 -x6015 -x6016 -x6017 -x6018 -x6019 -x6020 -x6021 -x6022 -x6023 -x6024 -x6025 -x6026 -x6027 -x6028 -x6029 -x6030 -x6031 -x6032 -x6033 -x6034 -x6035 -x6036 -x6038 -x6040 -x6041 -x6042 -x6043 -x6044 -x6045 -x6046 -x6047 -x6048 -x6049 -x6050 -x6051 -x6052 -x6053 -x6054 -x6055 -x6056 -x6057 -x6058 -x6059 -x6060 -x6061 -x6062 -x6063 -x6064 -x6065 -x6067 -x6069 -x6070 -x6071 -x6072 -x6073 -x6074 -x6075 -x6076 -x6077 -x6078 -x6079 -x6080 -x6081 -x6082 -x6083 -x6084 -x6085 -x6086 -x6087 -x6088 -x6089 -x6090 -x6091 -x6092 -x6093 -x6094 x6096 -x6098 -x6099 -x6100 -x6101 -x6102 -x6103 -x6104 -x6105 -x6106 -x6107 -x6108 -x6109 -x6110 -x6111 -x6112 -x6113 -x6114 -x6115 -x6116 -x6117 -x6118 -x6119 -x6120 -x6121 -x6122 -x6123 -x6125 -x6127 -x6128 -x6129 -x6130 -x6131 -x6132 -x6133 -x6134 -x6135 -x6136 -x6137 -x6138 -x6139 -x6140 -x6141 -x6142 -x6143 -x6144 -x6145 -x6146 -x6147 -x6148 -x6149 -x6150 -x6151 -x6152 -x6154 -x6155 -x6156 -x6157 -x6158 -x6159 -x6160 -x6161 -x6162 -x6163 -x6164 -x6165 -x6166 -x6167 -x6168 -x6169 -x6170 -x6171 -x6172 -x6173 -x6174 -x6175 -x6176 -x6177 -x6178 -x6179 x6181 -x6183 -x6184 -x6185 -x6186 -x6187 -x6188 -x6189 -x6190 -x6191 -x6192 -x6193 -x6194 -x6195 -x6196 -x6197 -x6198 -x6199 -x6200 -x6201 -x6202 -x6203 -x6204 -x6205 -x6206 -x6207 -x6208 -x6210 -x6212 -x6213 -x6214 -x6215 -x6216 -x6217 -x6218 -x6219 -x6220 -x6221 -x6222 -x6223 -x6224 -x6225 -x6226 -x6227 -x6228 -x6229 -x6230 -x6231 -x6232 -x6233 -x6234 -x6235 -x6236 -x6237 -x6239 -x6241 -x6242 -x6243 -x6244 -x6245 -x6246 -x6247 -x6248 -x6249 -x6250 -x6251 -x6252 -x6253 -x6254 -x6255 -x6256 -x6257 -x6258 -x6259 -x6260 -x6261 -x6262 -x6263 -x6264 -x6265 -x6266 x6268 -x6270 -x6271 -x6272 -x6273 -x6274 -x6275 -x6276 -x6277 -x6278 -x6279 -x6280 -x6281 -x6282 -x6283 -x6284 -x6285 -x6286 -x6287 -x6288 -x6289 -x6290 -x6291 -x6292 -x6293 -x6294 -x6295 x6297 -x6299 -x6300 -x6301 -x6302 -x6303 -x6304 -x6305 -x6306 -x6307 -x6308 -x6309 -x6310 -x6311 -x6312 -x6313 -x6314 -x6315 -x6316 -x6317 -x6318 -x6319 -x6320 -x6321 -x6322 -x6323 -x6324 -x6326 -x6328 -x6329 -x6330 -x6331 -x6332 -x6333 -x6334 -x6335 -x6336 -x6337 -x6338 -x6339 -x6340 -x6341 -x6342 -x6343 -x6344 -x6345 -x6346 -x6347 -x6348 -x6349 -x6350 -x6351 -x6352 -x6353 -x6355 -x6357 -x6358 -x6359 -x6360 -x6361 -x6362 -x6363 -x6364 -x6365 -x6366 -x6367 -x6368 -x6369 -x6370 -x6371 -x6372 -x6373 -x6374 -x6375 -x6376 -x6377 -x6378 -x6379 -x6380 -x6381 -x6382 -x6384 -x6386 -x6387 -x6388 -x6389 -x6390 -x6391 -x6392 -x6393 -x6394 -x6395 -x6396 -x6397 -x6398 -x6399 -x6400 -x6401 -x6402 -x6403 -x6404 -x6405 -x6406 -x6407 -x6408 -x6409 -x6410 -x6411 -x6413 -x6415 -x6416 -x6417 -x6418 -x6419 -x6420 -x6421 -x6422 -x6423 -x6424 -x6425 -x6426 -x6427 -x6428 -x6429 -x6430 -x6431 -x6432 -x6433 -x6434 -x6435 -x6436 -x6437 -x6438 -x6439 -x6440 -x6442 -x6444 -x6445 -x6446 -x6447 -x6448 -x6449 -x6450 -x6451 -x6452 -x6453 -x6454 -x6455 -x6456 -x6457 -x6458 -x6459 -x6460 -x6461 -x6462 -x6463 -x6464 -x6465 -x6466 -x6467 -x6468 -x6469 -x6471 -x6473 -x6474 -x6475 -x6476 -x6477 -x6478 -x6479 -x6480 -x6481 -x6482 -x6483 -x6484 -x6485 -x6486 -x6487 -x6488 -x6489 -x6490 -x6491 -x6492 -x6493 -x6494 -x6495 -x6496 -x6497 -x6498 -x6500 -x6502 -x6503 -x6504 -x6505 -x6506 -x6507 -x6508 -x6509 -x6510 -x6511 -x6512 -x6513 -x6514 -x6515 -x6516 -x6517 -x6518 -x6519 -x6520 -x6521 -x6522 -x6523 -x6524 -x6525 -x6526 -x6527 -x6529 -x6531 -x6532 -x6533 -x6534 -x6535 -x6536 -x6537 -x6538 -x6539 -x6540 -x6541 -x6542 -x6543 -x6544 -x6545 -x6546 -x6547 -x6548 -x6549 -x6550 -x6551 -x6552 -x6553 -x6554 -x6555 -x6556 -x6558 -x6560 -x6561 -x6562 -x6563 -x6564 -x6565 -x6566 -x6567 -x6568 -x6569 -x6570 -x6571 -x6572 -x6573 -x6574 -x6575 -x6576 -x6577 -x6578 -x6579 -x6580 -x6581 -x6582 -x6583 -x6584 -x6585 -x6587 -x6589 -x6590 -x6591 -x6592 -x6593 -x6594 -x6595 -x6596 -x6597 -x6598 -x6599 -x6600 -x6601 -x6602 -x6603 -x6604 -x6605 -x6606 -x6607 -x6608 -x6609 -x6610 -x6611 -x6612 -x6613 -x6614 -x6616 -x6618 -x6619 -x6620 -x6621 -x6622 -x6623 -x6624 -x6625 -x6626 -x6627 -x6628 -x6629 -x6630 -x6631 -x6632 -x6633 -x6634 -x6635 -x6636 -x6637 -x6638 -x6639 -x6640 -x6641 -x6642 -x6643 -x6645 -x6647 -x6648 -x6649 -x6650 -x6651 -x6652 -x6653 -x6654 -x6655 -x6656 -x6657 -x6658 -x6659 -x6660 -x6661 -x6662 -x6663 -x6664 -x6665 -x6666 -x6667 -x6668 -x6669 -x6670 -x6671 -x6672 -x6674 -x6676 -x6677 -x6678 -x6679 -x6680 -x6681 -x6682 -x6683 -x6684 -x6685 -x6686 -x6687 -x6688 -x6689 -x6690 -x6691 -x6692 -x6693 -x6694 -x6695 -x6696 -x6697 -x6698 -x6699 -x6700 -x6701 -x6703 -x6705 -x6706 -x6707 -x6708 -x6709 -x6710 -x6711 -x6712 -x6713 -x6714 -x6715 -x6716 -x6717 -x6718 -x6719 -x6720 -x6721 -x6722 -x6723 -x6724 -x6725 -x6726 -x6727 -x6728 -x6729 -x6730 -x6732 -x6734 -x6735 -x6736 -x6737 -x6738 -x6739 -x6740 -x6741 -x6742 -x6743 -x6744 -x6745 -x6746 -x6747 -x6748 -x6749 -x6750 -x6751 -x6752 -x6753 -x6754 -x6755 -x6756 -x6757 -x6758 -x6759 -x6761 -x6763 -x6764 -x6765 -x6766 -x6767 -x6768 -x6769 -x6770 -x6771 -x6772 -x6773 -x6774 -x6775 -x6776 -x6777 -x6778 -x6779 -x6780 -x6781 -x6782 -x6783 -x6784 -x6785 -x6786 -x6787 -x6788 -x6790 -x6792 -x6793 -x6794 -x6795 -x6796 -x6797 -x6798 -x6799 -x6800 -x6801 -x6802 -x6803 -x6804 -x6805 -x6806 -x6807 -x6808 -x6809 -x6810 -x6811 -x6812 -x6813 -x6814 -x6815 -x6816 -x6817 -x6819 -x6821 -x6822 -x6823 -x6824 -x6825 -x6826 -x6827 -x6828 -x6829 -x6830 -x6831 -x6832 -x6833 -x6834 -x6835 -x6836 -x6837 -x6838 -x6839 -x6840 -x6841 -x6842 -x6843 -x6844 -x6845 -x6846 -x6848 -x6850 -x6851 -x6852 -x6853 -x6854 -x6855 -x6856 -x6857 -x6858 -x6859 -x6860 -x6861 -x6862 -x6863 -x6864 -x6865 -x6866 -x6867 -x6868 -x6869 -x6870 -x6871 -x6872 -x6873 -x6874 -x6875 -x6877 -x6879 -x6880 -x6881 -x6882 -x6883 -x6884 -x6885 -x6886 -x6887 -x6888 -x6889 -x6890 -x6891 -x6892 -x6893 -x6894 -x6895 -x6896 -x6897 -x6898 -x6899 -x6900 -x6901 -x6902 -x6903 -x6904 -x6906 -x6908 -x6909 -x6910 -x6911 -x6912 -x6913 -x6914 -x6915 -x6916 -x6917 -x6918 -x6919 -x6920 -x6921 -x6922 -x6923 -x6924 -x6925 -x6926 -x6927 -x6928 -x6929 -x6930 -x6931 -x6932 -x6933 -x6935 -x6937 -x6938 -x6939 -x6940 -x6941 -x6942 -x6943 -x6944 -x6945 -x6946 -x6947 -x6948 -x6949 -x6950 -x6951 -x6952 -x6953 -x6954 -x6955 -x6956 -x6957 -x6958 -x6959 -x6960 -x6961 -x6962 -x6964 -x6966 -x6967 -x6968 -x6969 -x6970 -x6971 -x6972 -x6973 -x6974 -x6975 -x6976 -x6977 -x6978 -x6979 -x6980 -x6981 -x6982 -x6983 -x6984 -x6985 -x6986 -x6987 -x6988 -x6989 -x6990 -x6991 -x6993 -x6995 -x6996 -x6997 -x6998 -x6999 -x7000 -x7001 -x7002 -x7003 -x7004 -x7005 -x7006 -x7007 -x7008 -x7009 -x7010 -x7011 -x7012 -x7013 -x7014 -x7015 -x7016 -x7017 -x7018 -x7019 -x7020 -x7022 -x7024 -x7025 -x7026 -x7027 -x7028 -x7029 -x7030 -x7031 -x7032 -x7033 -x7034 -x7035 -x7036 -x7037 -x7038 -x7039 -x7040 -x7041 -x7042 -x7043 -x7044 -x7045 -x7046 -x7047 -x7048 -x7049 -x7051 x7053 -x7054 -x7055 -x7056 -x7057 -x7058 -x7059 -x7060 -x7061 -x7062 -x7063 -x7064 -x7065 -x7066 -x7067 -x7068 -x7069 -x7070 -x7071 -x7072 -x7073 -x7074 -x7075 -x7076 -x7077 -x7078 -x7080 -x7082 -x7083 -x7084 -x7085 -x7086 -x7087 -x7088 -x7089 -x7090 -x7091 -x7092 -x7093 -x7094 -x7095 -x7096 -x7097 -x7098 -x7099 -x7100 -x7101 -x7102 -x7103 -x7104 -x7105 -x7106 -x7107 -x7109 -x7111 -x7112 -x7113 -x7114 -x7115 -x7116 -x7117 -x7118 -x7119 -x7120 -x7121 -x7122 -x7123 -x7124 -x7125 -x7126 -x7127 -x7128 -x7129 -x7130 -x7131 -x7132 -x7133 -x7134 -x7135 -x7136 -x7138 -x7140 -x7141 -x7142 -x7143 -x7144 -x7145 -x7146 -x7147 -x7148 -x7149 -x7150 -x7151 -x7152 -x7153 -x7154 -x7155 -x7156 -x7157 -x7158 -x7159 -x7160 -x7161 -x7162 -x7163 -x7164 -x7165 -x7167 -x7169 -x7170 -x7171 -x7172 -x7173 -x7174 -x7175 -x7176 -x7177 -x7178 -x7179 -x7180 -x7181 -x7182 -x7183 -x7184 -x7185 -x7186 -x7187 -x7188 -x7189 -x7190 -x7191 -x7192 -x7193 -x7194 -x7196 -x7198 -x7199 -x7200 -x7201 -x7202 -x7203 -x7204 -x7205 -x7206 -x7207 -x7208 -x7209 -x7210 -x7211 -x7212 -x7213 -x7214 -x7215 -x7216 -x7217 -x7218 -x7219 -x7220 -x7221 -x7222 -x7223 -x7225 -x7227 -x7228 -x7229 -x7230 -x7231 -x7232 -x7233 -x7234 -x7235 -x7236 -x7237 -x7238 -x7239 -x7240 -x7241 -x7242 -x7243 -x7244 -x7245 -x7246 -x7247 -x7248 -x7249 -x7250 -x7251 -x7252 -x7254 -x7256 -x7257 -x7258 -x7259 -x7260 -x7261 -x7262 -x7263 -x7264 -x7265 -x7266 -x7267 -x7268 -x7269 -x7270 -x7271 -x7272 -x7273 -x7274 -x7275 -x7276 -x7277 -x7278 -x7279 -x7280 -x7281 -x7283 -x7285 -x7286 -x7287 -x7288 -x7289 -x7290 -x7291 -x7292 -x7293 -x7294 -x7295 -x7296 -x7297 -x7298 -x7299 -x7300 -x7301 -x7302 -x7303 -x7304 -x7305 -x7306 -x7307 -x7308 -x7309 -x7310 -x7312 -x7314 -x7315 -x7316 -x7317 -x7318 -x7319 -x7320 -x7321 -x7322 -x7323 -x7324 -x7325 -x7326 -x7327 -x7328 -x7329 -x7330 -x7331 -x7332 -x7333 -x7334 -x7335 -x7336 -x7337 -x7338 -x7339 -x7341 -x7343 -x7344 -x7345 -x7346 -x7347 -x7348 -x7349 -x7350 -x7351 -x7352 -x7353 -x7354 -x7355 -x7356 -x7357 -x7358 -x7359 -x7360 -x7361 -x7362 -x7363 -x7364 -x7365 -x7366 -x7367 -x7368 -x7370 -x7371 -x7372 -x7373 -x7375 -x7376 -x7377 -x7378 -x7379 -x7380 -x7381 -x7382 -x7383 -x7384 -x7385 -x7387 -x7388 -x7389 -x7390 -x7392 -x7393 -x7394 -x7395 -x7396 -x7397 -x7398 -x7399 -x7400 -x7401 -x7402 -x7404 -x7405 -x7406 -x7407 -x7409 -x7410 -x7411 -x7412 -x7413 -x7414 -x7415 -x7416 -x7417 -x7418 -x7419 -x7421 -x7422 -x7423 -x7424 -x7426 -x7427 -x7428 -x7429 -x7430 -x7431 -x7432 -x7433 -x7434 -x7435 -x7436 -x7438 -x7439 -x7440 -x7441 -x7443 -x7444 -x7445 -x7446 -x7447 -x7448 -x7449 -x7450 -x7451 -x7452 -x7453 -x7455 -x7456 -x7457 -x7458 -x7460 -x7461 -x7462 -x7463 -x7464 -x7465 -x7466 -x7467 -x7468 -x7469 -x7470 -x7472 -x7473 -x7474 -x7475 -x7477 -x7478 -x7479 -x7480 -x7481 -x7482 -x7483 -x7484 -x7485 -x7486 -x7487 -x7489 -x7490 -x7491 -x7492 -x7494 -x7495 -x7496 -x7497 -x7498 -x7499 -x7500 -x7501 -x7502 -x7503 -x7504 -x7506 -x7507 -x7508 -x7509 -x7511 -x7512 -x7513 -x7514 -x7515 -x7516 -x7517 -x7518 -x7519 -x7520 -x7521 -x7523 -x7524 -x7525 -x7526 -x7528 -x7529 -x7530 -x7531 -x7532 -x7533 -x7534 -x7535 -x7536 -x7537 -x7538 -x7540 -x7541 -x7542 -x7543 -x7545 -x7546 -x7547 -x7548 -x7549 -x7550 -x7551 -x7552 -x7553 -x7554 -x7555 -x7557 -x7558 -x7559 -x7560 -x7562 -x7563 -x7564 -x7565 -x7566 -x7567 -x7568 -x7569 -x7570 -x7571 -x7572 -x7574 -x7575 -x7576 -x7577 -x7579 -x7580 -x7581 -x7582 -x7583 -x7584 -x7585 -x7586 -x7587 -x7588 -x7589 -x7591 -x7592 -x7593 -x7594 -x7596 -x7597 -x7598 -x7599 -x7600 -x7601 -x7602 -x7603 -x7604 -x7605 -x7606 -x7608 -x7609 -x7610 -x7611 -x7613 -x7614 -x7615 -x7616 -x7617 -x7618 -x7619 -x7620 -x7621 -x7622 -x7623 x7625 -x7626 -x7627 -x7628 -x7630 -x7631 -x7632 -x7633 -x7634 -x7635 -x7636 -x7637 -x7638 -x7639 -x7640 -x7642 -x7643 -x7644 -x7645 -x7647 -x7648 -x7649 -x7650 -x7651 -x7652 -x7653 -x7654 -x7655 -x7656 -x7657 -x7659 -x7660 -x7661 -x7662 -x7664 -x7665 -x7666 -x7667 -x7668 -x7669 -x7670 -x7671 -x7672 -x7673 -x7674 -x7676 -x7677 -x7678 -x7679 -x7681 -x7682 -x7683 -x7684 -x7685 -x7686 -x7687 -x7688 -x7689 -x7690 -x7691 -x7693 -x7694 -x7695 -x7696 -x7698 -x7699 -x7700 -x7701 -x7702 -x7703 -x7704 -x7705 -x7706 -x7707 -x7708 -x7710 -x7711 -x7712 -x7713 -x7715 -x7716 -x7717 -x7718 -x7719 -x7720 -x7721 -x7722 -x7723 -x7724 -x7725 -x7727 -x7728 -x7729 -x7730 -x7732 -x7733 -x7734 -x7735 -x7736 -x7737 -x7738 -x7739 -x7740 -x7741 -x7742 -x7744 -x7745 -x7746 -x7747 -x7749 -x7750 -x7751 -x7752 -x7753 -x7754 -x7755 -x7756 -x7757 -x7758 -x7759 -x7761 -x7762 -x7763 -x7764 -x7766 -x7767 -x7768 -x7769 -x7770 -x7771 -x7772 -x7773 -x7774 -x7775 -x7776 -x7778 -x7779 -x7780 -x7781 x7783 -x7784 -x7785 -x7786 -x7787 -x7788 -x7789 -x7790 -x7791 -x7792 -x7793 -x7795 -x7796 -x7797 -x7798 x7800 -x7801 -x7802 -x7803 -x7804 -x7805 -x7806 -x7807 -x7808 -x7809 -x7810 -x7812 -x7813 -x7814 -x7815 -x7817 -x7818 -x7819 -x7820 -x7821 -x7822 -x7823 -x7824 -x7825 -x7826 -x7827 -x7829 -x7830 -x7831 -x7832 -x7834 -x7835 -x7836 -x7837 -x7838 -x7839 -x7840 -x7841 -x7842 -x7843 -x7844 -x7846 -x7847 -x7848 -x7849 -x7851 -x7852 -x7853 -x7854 -x7855 -x7856 -x7857 -x7858 -x7859 -x7860 -x7861 -x7863 -x7864 -x7865 -x7866 -x7868 -x7869 -x7870 -x7871 -x7872 -x7873 -x7874 -x7875 -x7876 -x7877 -x7878 -x7880 -x7881 -x7882 -x7883 -x7885 -x7886 -x7887 -x7888 -x7889 -x7890 -x7891 -x7892 -x7893 -x7894 -x7895 -x7897 -x7898 -x7899 -x7900 -x7902 -x7903 -x7904 -x7905 -x7906 -x7907 -x7908 -x7909 -x7910 -x7911 -x7912 -x7914 -x7915 -x7916 -x7917 -x7919 -x7920 -x7921 -x7922 -x7923 -x7924 -x7925 -x7926 -x7927 -x7928 -x7929 -x7931 -x7932 -x7933 -x7934 -x7936 -x7937 -x7938 -x7939 -x7940 -x7941 -x7942 -x7943 -x7944 -x7945 -x7946 -x7948 -x7949 -x7950 -x7951 -x7953 -x7954 -x7955 -x7956 -x7957 -x7958 -x7959 -x7960 -x7961 -x7962 -x7963 -x7965 -x7966 -x7967 -x7968 x7970 -x7971 -x7972 -x7973 -x7974 -x7975 -x7976 -x7977 -x7978 -x7979 -x7980 -x7982 -x7983 -x7984 -x7985 -x7987 -x7988 -x7989 -x7990 -x7991 -x7992 -x7993 -x7994 -x7995 -x7996 -x7997 -x7999 -x8000 -x8001 -x8002 -x8004 -x8005 -x8006 -x8007 -x8008 -x8009 -x8010 -x8011 -x8012 -x8013 -x8014 -x8016 -x8017 -x8018 -x8019 -x8021 -x8022 -x8023 -x8024 -x8025 -x8026 -x8027 -x8028 -x8029 -x8030 -x8031 -x8033 -x8034 -x8035 -x8036 -x8038 -x8039 -x8040 -x8041 -x8042 -x8043 -x8044 -x8045 -x8046 -x8047 -x8048 -x8050 -x8051 -x8052 -x8053 -x8055 -x8056 -x8057 -x8058 -x8059 -x8060 -x8061 -x8062 -x8063 -x8064 -x8065 -x8067 -x8068 -x8069 -x8070 -x8072 -x8073 -x8074 -x8075 -x8076 -x8077 -x8078 -x8079 -x8080 -x8081 -x8082 -x8084 -x8085 -x8086 -x8087 -x8089 -x8090 -x8091 -x8092 -x8093 -x8094 -x8095 -x8096 -x8097 -x8098 -x8099 -x8101 -x8102 -x8103 -x8104 -x8106 -x8107 -x8108 -x8109 -x8110 -x8111 -x8112 -x8113 -x8114 -x8115 -x8116 -x8118 -x8119 -x8120 -x8121 -x8123 -x8124 -x8125 -x8126 -x8127 -x8128 -x8129 -x8130 -x8131 -x8132 -x8133 -x8135 -x8136 -x8137 -x8138 x8140 -x8141 -x8142 -x8143 -x8144 -x8145 -x8146 -x8147 -x8148 -x8149 -x8150 -x8152 -x8153 -x8154 -x8155 -x8157 -x8158 -x8159 -x8160 -x8161 -x8162 -x8163 -x8164 -x8165 -x8166 -x8167 -x8169 -x8170 -x8171 -x8172 -x8174 -x8175 -x8176 -x8177 -x8178 -x8179 -x8180 -x8181 -x8182 -x8183 -x8184 -x8186 -x8187 -x8188 -x8189 -x8191 -x8192 -x8193 -x8194 -x8195 -x8196 -x8197 -x8198 -x8199 -x8200 -x8201 -x8203 -x8204 -x8205 -x8206 -x8208 -x8209 -x8210 -x8211 -x8212 -x8213 -x8214 -x8215 -x8216 -x8217 -x8218 -x8220 -x8221 -x8222 -x8223 -x8225 -x8226 -x8227 -x8228 -x8229 -x8230 -x8231 -x8232 -x8233 -x8234 -x8235 -x8237 -x8238 -x8239 -x8240 -x8242 -x8243 -x8244 -x8245 -x8246 -x8247 -x8248 -x8249 -x8250 -x8251 -x8252 -x8254 -x8255 -x8256 -x8257 -x8259 -x8260 -x8261 -x8262 -x8263 -x8264 -x8265 -x8266 -x8267 -x8268 -x8269 -x8271 -x8272 -x8273 -x8274 -x8276 -x8277 -x8278 -x8279 -x8280 -x8281 -x8282 -x8283 -x8284 -x8285 -x8286 -x8288 -x8289 -x8290 -x8291 -x8293 -x8294 -x8295 -x8296 -x8297 -x8298 -x8299 -x8300 -x8301 -x8302 -x8303 -x8305 -x8306 -x8307 -x8308 -x8310 -x8311 -x8312 -x8313 -x8314 -x8315 -x8316 -x8317 -x8318 -x8319 -x8320 -x8322 -x8323 -x8324 -x8325 -x8327 -x8328 -x8329 -x8330 -x8331 -x8332 -x8333 -x8334 -x8335 -x8336 -x8337 -x8339 -x8340 -x8341 -x8342 -x8344 -x8345 -x8346 -x8347 -x8348 -x8349 -x8350 -x8351 -x8352 -x8353 -x8354 -x8356 -x8357 -x8358 -x8359 -x8361 -x8362 -x8363 -x8364 -x8365 -x8366 -x8367 -x8368 -x8369 -x8370 -x8371 -x8373 -x8374 -x8375 -x8376 -x8378 -x8379 -x8380 -x8381 -x8382 -x8383 -x8384 -x8385 -x8386 -x8387 -x8388 -x8390 -x8391 -x8392 -x8393 -x8395 -x8396 -x8397 -x8398 -x8399 -x8400 -x8401 -x8402 -x8403 -x8404 -x8405 -x8407 -x8408 -x8409 -x8410 -x8412 -x8413 -x8414 -x8415 -x8416 -x8417 -x8418 -x8419 -x8420 -x8421 -x8422 -x8424 -x8425 -x8426 -x8427 -x8429 -x8430 -x8431 -x8432 -x8433 -x8434 -x8435 -x8436 -x8437 -x8438 -x8439 -x8441 -x8442 -x8443 -x8444 -x8446 -x8447 -x8448 -x8449 -x8450 -x8451 -x8452 -x8453 -x8454 -x8455 -x8456 -x8458 -x8459 -x8460 -x8461 -x8463 -x8464 -x8465 -x8466 -x8467 -x8468 -x8469 -x8470 -x8471 -x8472 -x8473 x8475 -x8476 -x8477 -x8478 -x8480 -x8481 -x8482 -x8483 -x8484 -x8485 -x8486 -x8487 -x8488 -x8489 -x8490 -x8492 -x8493 -x8494 -x8495 -x8497 -x8498 -x8499 -x8500 -x8501 -x8502 -x8503 -x8504 -x8505 -x8506 -x8507 -x8509 -x8510 -x8511 -x8512 -x8514 -x8515 -x8516 -x8517 -x8518 -x8519 -x8520 -x8521 -x8522 -x8523 -x8524 -x8526 -x8527 -x8528 -x8529 -x8531 -x8532 -x8533 -x8534 -x8535 -x8536 -x8537 -x8538 -x8539 -x8540 -x8541 -x8543 -x8544 -x8545 -x8546 -x8548 -x8549 -x8550 -x8551 -x8552 -x8553 -x8554 -x8555 -x8556 -x8557 -x8558 -x8560 -x8561 -x8562 -x8563 -x8565 -x8566 -x8567 -x8568 -x8569 -x8570 -x8571 -x8572 -x8573 -x8574 -x8575 -x8577 -x8578 -x8579 -x8580 -x8582 -x8583 -x8584 -x8585 -x8586 -x8587 -x8588 -x8589 -x8590 -x8591 -x8592 -x8594 -x8595 -x8596 -x8597 -x8599 -x8600 -x8601 -x8602 -x8603 -x8604 -x8605 -x8606 -x8607 -x8608 -x8609 -x8611 -x8612 -x8613 -x8614 -x8616 -x8617 -x8618 -x8619 -x8620 -x8621 -x8622 -x8623 -x8624 -x8625 -x8626 -x8628 -x8629 -x8630 -x8631 -x8633 -x8634 -x8635 -x8636 -x8637 -x8638 -x8639 -x8640 -x8641 -x8642 -x8643 x8645 -x8646 -x8647 -x8648 -x8650 -x8651 -x8652 -x8653 -x8654 -x8655 -x8656 -x8657 -x8658 -x8659 -x8660 -x8662 -x8663 -x8664 -x8665 -x8667 -x8668 -x8669 -x8670 -x8671 -x8672 -x8673 -x8674 -x8675 -x8676 -x8677 -x8679 -x8680 -x8681 -x8682 -x8684 -x8685 -x8686 -x8687 -x8688 -x8689 -x8690 -x8691 -x8692 -x8693 -x8694 -x8696 -x8697 -x8698 -x8699 -x8701 -x8702 -x8703 -x8704 -x8705 -x8706 -x8707 -x8708 -x8709 -x8710 -x8711 -x8713 -x8714 -x8715 -x8716 -x8718 -x8719 -x8720 -x8721 -x8722 -x8723 -x8724 -x8725 -x8726 -x8727 -x8728 -x8730 -x8731 -x8732 -x8733 -x8735 -x8736 -x8737 -x8738 -x8739 -x8740 -x8741 -x8742 -x8743 -x8744 -x8745 x8747 -x8748 -x8749 -x8750 -x8752 -x8753 -x8754 -x8755 -x8756 -x8757 -x8758 -x8759 -x8760 -x8761 -x8762 -x8764 -x8765 -x8766 -x8767 -x8769 -x8770 -x8771 -x8772 -x8773 -x8774 -x8775 -x8776 -x8777 -x8778 -x8779 -x8781 -x8782 -x8783 -x8784 -x8786 -x8787 -x8788 -x8789 -x8790 -x8791 -x8792 -x8793 -x8794 -x8795 -x8796 -x8798 -x8799 -x8800 -x8801 -x8803 -x8804 -x8805 -x8806 -x8807 -x8808 -x8809 -x8810 -x8811 -x8812 -x8813 -x8815 -x8816 -x8817 -x8818 -x8820 -x8821 -x8822 -x8823 -x8824 -x8825 -x8826 -x8827 -x8828 -x8829 -x8830 -x8832 -x8833 -x8834 -x8835 -x8837 -x8838 -x8839 -x8840 -x8841 -x8842 -x8843 -x8844 -x8845 -x8846 -x8847 x8849 -x8850 -x8851 -x8852 -x8854 -x8855 -x8856 -x8857 -x8858 -x8859 -x8860 -x8861 -x8862 -x8863 -x8864 x8866 -x8867 -x8868 -x8869 -x8871 -x8872 -x8873 -x8874 -x8875 -x8876 -x8877 -x8878 -x8879 -x8880 -x8881 -x8883 -x8884 -x8885 -x8886 -x8888 -x8889 -x8890 -x8891 -x8892 -x8893 -x8894 -x8895 -x8896 -x8897 -x8898 -x8900 -x8901 -x8902 -x8903 -x8905 -x8906 -x8907 -x8908 -x8909 -x8910 -x8911 -x8912 -x8913 -x8914 -x8915 -x8917 -x8918 -x8919 -x8920 -x8922 -x8923 -x8924 -x8925 -x8926 -x8927 -x8928 -x8929 -x8930 -x8931 -x8932 -x8934 -x8935 -x8936 -x8937 -x8939 -x8940 -x8941 -x8942 -x8943 -x8944 -x8945 -x8946 -x8947 -x8948 -x8949 -x8951 -x8952 -x8953 -x8954 -x8956 -x8957 -x8958 -x8959 -x8960 -x8961 -x8962 -x8963 -x8964 -x8965 -x8966 -x8968 -x8969 -x8970 -x8971 -x8973 -x8974 -x8975 -x8976 -x8977 -x8978 -x8979 -x8980 -x8981 -x8982 -x8983 -x8985 -x8986 -x8987 -x8988 -x8990 -x8991 -x8992 -x8993 -x8994 -x8995 -x8996 -x8997 -x8998 -x8999 -x9000 -x9002 -x9003 -x9004 -x9005 -x9007 -x9008 -x9009 -x9010 -x9011 -x9012 -x9013 -x9014 -x9015 -x9016 -x9017 -x9019 -x9020 -x9021 -x9022 -x9024 -x9025 -x9026 -x9027 -x9028 -x9029 -x9030 -x9031 -x9032 -x9033 -x9034 -x9036 -x9037 -x9038 -x9039 -x9041 -x9042 -x9043 -x9044 -x9045 -x9046 -x9047 -x9048 -x9049 -x9050 -x9051 -x9053 -x9054 -x9055 -x9056 -x9058 -x9059 -x9060 -x9061 -x9062 -x9063 -x9064 -x9065 -x9066 -x9067 -x9068 -x9070 -x9071 -x9072 -x9073 x9075 -x9076 -x9077 -x9078 -x9079 -x9080 -x9081 -x9082 -x9083 -x9084 -x9085 -x9087 -x9088 -x9089 -x9090 -x9092 -x9093 -x9094 -x9095 -x9096 -x9097 -x9098 -x9099 -x9100 -x9101 -x9102 -x9104 -x9105 -x9106 -x9107 -x9109 -x9110 -x9111 -x9112 -x9113 -x9114 -x9115 -x9116 -x9117 -x9118 -x9119 -x9121 -x9122 -x9123 -x9124 -x9126 -x9127 -x9128 -x9129 -x9130 -x9131 -x9132 -x9133 -x9134 -x9135 -x9136 -x9138 -x9139 -x9140 -x9141 -x9143 -x9144 -x9145 -x9146 -x9147 -x9148 -x9149 -x9150 -x9151 -x9152 -x9153 -x9155 -x9156 -x9157 -x9158 -x9160 -x9161 -x9162 -x9163 -x9164 -x9165 -x9166 -x9167 -x9168 -x9169 -x9170 -x9172 -x9173 -x9174 -x9175 -x9177 -x9178 -x9179 -x9180 -x9181 -x9182 -x9183 -x9184 -x9185 -x9186 -x9187 -x9189 -x9190 -x9191 -x9192 -x9194 -x9195 -x9196 -x9197 -x9198 -x9199 -x9200 -x9201 -x9202 -x9203 -x9204 -x9206 -x9207 -x9208 -x9209 -x9211 -x9212 -x9213 -x9214 -x9215 -x9216 -x9217 -x9218 -x9219 -x9220 -x9221 -x9223 -x9224 -x9225 -x9226 -x9228 -x9229 -x9230 -x9231 -x9232 -x9233 -x9234 -x9235 -x9236 -x9237 -x9238 -x9240 -x9241 -x9242 -x9243 -x9245 -x9246 -x9247 -x9248 -x9249 -x9250 -x9251 -x9252 -x9253 -x9254 -x9255 -x9257 -x9258 -x9259 -x9260 -x9262 -x9263 -x9264 -x9265 -x9266 -x9267 -x9268 -x9269 -x9270 -x9271 -x9272 -x9274 -x9275 -x9276 -x9277 -x9279 -x9280 -x9281 -x9282 -x9283 -x9284 -x9285 -x9286 -x9287 -x9288 -x9289 -x9291 -x9292 -x9293 -x9294 -x9296 -x9297 -x9298 -x9299 -x9300 -x9301 -x9302 -x9303 -x9304 -x9305 -x9306 -x9308 -x9309 -x9310 -x9311 -x9313 -x9314 -x9315 -x9316 -x9317 -x9318 -x9319 -x9320 -x9321 -x9322 -x9323 -x9325 -x9326 -x9327 -x9328 -x9330 -x9331 -x9332 -x9333 -x9334 -x9335 -x9336 -x9337 -x9338 -x9339 -x9340 -x9342 -x9343 -x9344 -x9345 -x9347 -x9348 -x9349 -x9350 -x9351 -x9352 -x9353 -x9354 -x9355 -x9356 -x9357 -x9359 -x9360 -x9361 -x9362 -x9364 -x9365 -x9366 -x9367 -x9368 -x9369 -x9370 -x9371 -x9372 -x9373 -x9374 -x9376 -x9377 -x9378 -x9379 -x9381 -x9382 -x9383 -x9384 -x9385 -x9386 -x9387 -x9388 -x9389 -x9390 -x9391 -x9393 -x9394 -x9395 -x9396 -x9398 -x9399 -x9400 -x9401 -x9402 -x9403 -x9404 -x9405 -x9406 -x9407 -x9408 -x9410 -x9411 -x9412 -x9413 -x9415 -x9416 -x9417 -x9418 -x9419 -x9420 -x9421 -x9422 -x9423 -x9424 -x9425 -x9427 -x9428 -x9429 -x9430 -x9432 -x9433 -x9434 -x9435 -x9436 -x9437 -x9438 -x9439 -x9440 -x9441 -x9442 -x9444 -x9445 -x9446 -x9447 -x9449 -x9450 -x9451 -x9452 -x9453 -x9454 -x9455 -x9456 -x9457 -x9458 -x9459 -x9461 -x9462 -x9463 -x9464 -x9466 -x9467 -x9468 -x9469 -x9470 -x9471 -x9472 -x9473 -x9474 -x9475 -x9476 -x9478 -x9479 -x9480 -x9481 -x9483 -x9484 -x9485 -x9486 -x9487 -x9488 -x9489 -x9490 -x9491 -x9492 -x9493 -x9495 -x9496 -x9497 -x9498 -x9500 -x9501 -x9502 -x9503 -x9504 -x9505 -x9506 -x9507 -x9508 -x9509 -x9510 -x9512 -x9513 -x9514 -x9515 -x9516 -x9517 -x9518 -x9519 -x9520 -x9521 -x9522 x9524 -x9525 -x9526 -x9527 -x9528 -x9529 -x9530 -x9531 -x9532 -x9533 -x9534 -x9536 -x9537 -x9538 -x9539 -x9540 -x9541 -x9542 -x9543 -x9544 -x9545 -x9546 -x9548 -x9549 -x9550 -x9551 -x9552 -x9553 -x9554 -x9555 -x9556 -x9557 -x9558 -x9560 -x9561 -x9562 -x9563 -x9564 -x9565 -x9566 -x9567 -x9568 -x9569 -x9570 x9572 -x9573 -x9574 -x9575 -x9576 -x9577 -x9578 -x9579 -x9580 -x9581 -x9582 -x9584 -x9585 -x9586 -x9587 -x9589 -x9590 -x9591 -x9592 -x9594 -x9595 -x9596 -x9597 -x9599 -x9600 -x9601 -x9602 -x9604 -x9605 -x9606 -x9607 x9609 -x9610 -x9611 -x9612 -x9614 -x9615 -x9616 -x9617 -x9619 -x9620 -x9621 -x9622 -x9624 -x9625 -x9626 -x9627 -x9629 -x9630 -x9631 -x9632 x9634 -x9635 -x9636 -x9637 -x9639 -x9640 -x9641 -x9642 -x9644 -x9645 -x9646 -x9647 -x9649 -x9650 -x9651 -x9652 -x9654 -x9656 -x9658 x9660 -x9662 -x9664 -x9666 -x9668 -x9670 -x9672 -x9674 -x9676 -x9678 x9680 -x9682 -x9684 -x9685 -x9686 -x9687 -x9688 -x9689 -x9690 -x9691 -x9692 -x9693 -x9694 -x9695 -x9696 -x9697 -x9698 -x9699 -x9700 -x9701 -x9702 -x9703 -x9704 -x9705 -x9706 -x9707 -x9708 -x9709 -x9710 -x9711 -x9712 -x9713 -x9714 -x9715 -x9716 -x9717 -x9718 -x9719 -x9720 -x9721 -x9722 -x9723 -x9724 -x9725 -x9726 -x9727 -x9728 -x9729 -x9730 -x9731 -x9732 -x9733 -x9734 -x9735 -x9736 -x9737 -x9738 -x9739 -x9740 -x9742 -x9743 -x9744 -x9745 -x9746 -x9747 -x9748 -x9749 -x9750 -x9751 -x9752 -x9753 -x9754 -x9755 -x9756 -x9757 -x9758 -x9759 -x9760 -x9761 -x9762 -x9763 -x9764 -x9765 -x9766 -x9767 -x9768 -x9769 -x9770 -x9771 -x9772 -x9773 -x9774 -x9775 -x9776 -x9777 -x9778 -x9779 -x9780 -x9781 -x9782 -x9783 -x9784 -x9785 -x9786 -x9787 -x9788 -x9789 -x9790 -x9791 -x9792 -x9793 -x9794 -x9795 -x9796 -x9797 -x9798 x9800 -x9801 -x9802 -x9803 -x9804 -x9805 -x9806 -x9807 -x9808 -x9809 -x9810 -x9811 -x9812 -x9813 -x9814 -x9815 -x9816 -x9817 -x9818 -x9819 -x9820 -x9821 -x9822 -x9823 -x9824 -x9825 -x9826 -x9827 -x9828 -x9829 -x9830 -x9831 -x9832 -x9833 -x9834 -x9835 -x9836 -x9837 -x9838 -x9839 -x9840 -x9841 -x9842 -x9843 -x9844 -x9845 -x9846 -x9847 -x9848 -x9849 -x9850 -x9851 -x9852 -x9853 -x9854 -x9855 -x9856 -x9858 -x9859 -x9860 -x9861 -x9862 -x9863 -x9864 -x9865 -x9866 -x9867 -x9868 -x9869 -x9870 -x9871 -x9872 -x9873 -x9874 -x9875 -x9876 -x9877 -x9878 -x9879 -x9880 -x9881 -x9882 -x9883 -x9884 -x9885 -x9886 -x9887 -x9888 -x9889 -x9890 -x9891 -x9892 -x9893 -x9894 -x9895 -x9896 -x9897 -x9898 -x9899 -x9900 -x9901 -x9902 -x9903 -x9904 -x9905 -x9906 -x9907 -x9908 -x9909 -x9910 -x9911 -x9912 -x9913 -x9914 -x9916 -x9917 -x9918 -x9919 -x9920 -x9921 -x9922 -x9923 -x9924 -x9925 -x9926 -x9927 -x9928 -x9929 -x9930 -x9931 -x9932 -x9933 -x9934 -x9935 -x9936 -x9937 -x9938 -x9939 -x9940 -x9941 -x9942 -x9943 -x9944 -x9945 -x9946 -x9947 -x9948 -x9949 -x9950 -x9951 -x9952 -x9953 -x9954 -x9955 -x9956 -x9957 -x9958 -x9959 -x9960 -x9961 -x9962 -x9963 -x9964 -x9965 -x9966 -x9967 -x9968 -x9969 -x9970 -x9971 -x9972 -x9974 -x9975 -x9976 -x9977 -x9978 -x9979 -x9980 -x9981 -x9982 -x9983 -x9984 -x9985 -x9986 -x9987 -x9988 -x9989 -x9990 -x9991 -x9992 -x9993 -x9994 -x9995 -x9996 -x9997 -x9998 -x9999 -x10000 -x10001 -x10002 -x10003 -x10004 -x10005 -x10006 -x10007 -x10008 -x10009 -x10010 -x10011 -x10012 -x10013 -x10014 -x10015 -x10016 -x10017 -x10018 -x10019 -x10020 -x10021 -x10022 -x10023 -x10024 -x10025 -x10026 -x10027 -x10028 -x10029 -x10030 -x10032 -x10033 -x10034 -x10035 -x10036 -x10037 -x10038 -x10039 -x10040 -x10041 -x10042 -x10043 -x10044 -x10045 -x10046 -x10047 -x10048 -x10049 -x10050 -x10051 -x10052 -x10053 -x10054 -x10055 -x10056 -x10057 -x10058 -x10059 -x10060 -x10061 -x10062 -x10063 -x10064 -x10065 -x10066 -x10067 -x10068 -x10069 -x10070 -x10071 -x10072 -x10073 -x10074 -x10075 -x10076 -x10077 -x10078 -x10079 -x10080 -x10081 -x10082 -x10083 -x10084 -x10085 -x10086 -x10087 -x10088 x10090 -x10091 -x10092 -x10093 -x10094 -x10095 -x10096 -x10097 -x10098 -x10099 -x10100 -x10101 -x10102 -x10103 -x10104 -x10105 -x10106 -x10107 -x10108 -x10109 -x10110 -x10111 -x10112 -x10113 -x10114 -x10115 -x10116 -x10117 -x10118 -x10119 -x10120 -x10121 -x10122 -x10123 -x10124 -x10125 -x10126 -x10127 -x10128 -x10129 -x10130 -x10131 -x10132 -x10133 -x10134 -x10135 -x10136 -x10137 -x10138 -x10139 -x10140 -x10141 -x10142 -x10143 -x10144 -x10145 -x10146 -x10148 -x10149 -x10150 -x10151 -x10152 -x10153 -x10154 -x10155 -x10156 -x10157 -x10158 -x10159 -x10160 -x10161 -x10162 -x10163 -x10164 -x10165 -x10166 -x10167 -x10168 -x10169 -x10170 -x10171 -x10172 -x10173 -x10175 -x10176 -x10177 -x10178 -x10179 -x10180 -x10181 -x10182 -x10183 -x10184 -x10185 -x10186 -x10187 -x10188 -x10189 -x10190 -x10191 -x10192 -x10193 -x10194 -x10195 -x10196 -x10197 -x10198 -x10199 -x10200 -x10202 -x10203 -x10204 -x10205 -x10206 -x10207 -x10208 -x10209 -x10210 -x10211 -x10212 -x10213 -x10214 -x10215 -x10216 -x10217 -x10218 -x10219 -x10220 -x10221 -x10222 -x10223 -x10224 -x10225 -x10226 -x10227 -x10229 -x10230 -x10231 -x10232 -x10233 -x10234 -x10235 -x10236 -x10237 -x10238 -x10239 -x10240 -x10241 -x10242 -x10243 -x10244 -x10245 -x10246 -x10247 -x10248 -x10249 -x10250 -x10251 -x10252 -x10253 -x10254 -x10256 -x10257 -x10258 -x10259 -x10260 -x10261 -x10262 -x10263 -x10264 -x10265 -x10266 -x10267 -x10268 -x10269 -x10270 -x10271 -x10272 -x10273 -x10274 -x10275 -x10276 -x10277 -x10278 -x10279 -x10280 -x10281 -x10283 -x10284 -x10285 -x10286 -x10287 -x10288 -x10289 -x10290 -x10291 -x10292 -x10293 -x10294 -x10295 -x10296 -x10297 -x10298 -x10299 -x10300 -x10301 -x10302 -x10303 -x10304 -x10305 -x10306 -x10307 -x10308 -x10310 -x10311 -x10312 -x10313 -x10314 -x10315 -x10316 -x10317 -x10318 -x10319 -x10320 -x10321 -x10322 -x10323 -x10324 -x10325 -x10326 -x10327 -x10328 -x10329 -x10330 -x10331 -x10332 -x10333 -x10334 -x10335 -x10337 -x10338 -x10339 -x10340 -x10341 -x10342 -x10343 -x10344 -x10345 -x10346 -x10347 -x10348 -x10349 -x10350 -x10351 -x10352 -x10353 -x10354 -x10355 -x10356 -x10357 -x10358 -x10359 -x10360 -x10361 -x10362 -x10364 -x10365 -x10366 -x10367 -x10368 -x10369 -x10370 -x10371 -x10372 -x10373 -x10374 -x10375 -x10376 -x10377 -x10378 -x10379 -x10380 -x10381 -x10382 -x10383 -x10384 -x10385 -x10386 -x10387 -x10388 -x10389 -x10391 -x10392 -x10393 -x10394 -x10395 -x10396 -x10397 -x10398 -x10399 -x10400 -x10401 -x10402 -x10403 -x10404 -x10405 -x10406 -x10407 -x10408 -x10409 -x10410 -x10411 -x10412 -x10413 -x10414 -x10415 -x10416 -x10418 -x10419 -x10420 -x10421 -x10422 -x10423 -x10424 -x10425 -x10426 -x10427 -x10428 -x10429 -x10430 -x10431 -x10432 -x10433 -x10434 -x10435 -x10436 -x10437 -x10438 -x10439 -x10440 -x10441 -x10442 -x10443 -x10445 -x10446 -x10447 -x10448 -x10449 -x10450 -x10451 -x10452 -x10453 -x10454 -x10455 -x10456 -x10457 -x10458 -x10459 -x10460 -x10461 -x10462 -x10463 -x10464 -x10465 -x10466 -x10467 -x10468 -x10469 -x10470 -x10472 -x10473 -x10474 -x10475 -x10476 -x10477 -x10478 -x10479 -x10480 -x10481 -x10482 -x10483 -x10484 -x10485 -x10486 -x10487 -x10488 -x10489 -x10490 -x10491 -x10492 -x10493 -x10494 -x10495 -x10496 -x10497 -x10499 -x10500 -x10501 -x10502 -x10503 -x10504 -x10505 -x10506 -x10507 -x10508 -x10509 -x10510 -x10511 -x10512 -x10513 -x10514 -x10515 -x10516 -x10517 -x10518 -x10519 -x10520 -x10521 -x10522 -x10523 -x10524 -x10526 -x10527 -x10528 -x10529 -x10530 -x10531 -x10532 -x10533 -x10534 -x10535 -x10536 -x10537 -x10538 -x10539 -x10540 -x10541 -x10542 -x10543 -x10544 -x10545 -x10546 -x10547 -x10548 -x10549 -x10550 -x10551 x10553 -x10554 -x10555 -x10556 -x10557 -x10558 -x10559 -x10560 -x10561 -x10562 -x10563 -x10564 -x10565 -x10566 -x10567 -x10568 -x10569 -x10570 -x10571 -x10572 -x10573 -x10574 -x10575 -x10576 -x10577 -x10578 -x10580 -x10581 -x10582 -x10583 -x10584 -x10585 -x10586 -x10587 -x10588 -x10589 -x10590 -x10591 -x10592 -x10593 -x10594 -x10595 -x10596 -x10597 -x10598 -x10599 -x10600 -x10601 -x10602 -x10603 -x10604 -x10605 x10607 -x10608 -x10609 -x10610 -x10611 -x10612 -x10613 -x10614 -x10615 -x10616 -x10617 -x10618 -x10619 -x10620 -x10621 -x10622 -x10623 -x10624 -x10625 -x10626 -x10627 -x10628 -x10629 -x10630 -x10631 -x10632 -x10634 -x10635 -x10636 -x10637 -x10638 -x10639 -x10640 -x10641 -x10642 -x10643 -x10644 -x10645 -x10646 -x10647 -x10648 -x10649 -x10650 -x10651 -x10652 -x10653 -x10654 -x10655 -x10656 -x10657 -x10658 -x10659 -x10661 -x10662 -x10663 -x10664 -x10665 -x10666 -x10667 -x10668 -x10669 -x10670 -x10671 -x10672 -x10673 -x10674 -x10675 -x10676 -x10677 -x10678 -x10679 -x10680 -x10681 -x10682 -x10683 -x10684 -x10685 -x10686 -x10688 -x10689 -x10690 -x10691 -x10692 -x10693 -x10694 -x10695 -x10696 -x10697 -x10698 -x10699 -x10700 -x10701 -x10702 -x10703 -x10704 -x10705 -x10706 -x10707 -x10708 -x10709 -x10710 -x10711 -x10712 -x10713 -x10715 -x10716 -x10717 -x10718 -x10719 -x10720 -x10721 -x10722 -x10723 -x10724 -x10725 -x10726 -x10727 -x10728 -x10729 -x10730 -x10731 -x10732 -x10733 -x10734 -x10735 -x10736 -x10737 -x10738 -x10739 -x10740 -x10742 -x10743 -x10744 -x10745 -x10746 -x10747 -x10748 -x10749 -x10750 -x10751 -x10752 -x10753 -x10754 -x10755 -x10756 -x10757 -x10758 -x10759 -x10760 -x10761 -x10762 -x10763 -x10764 -x10765 -x10766 -x10767 -x10769 -x10770 -x10771 -x10772 -x10773 -x10774 -x10775 -x10776 -x10777 -x10778 -x10779 -x10780 -x10781 -x10782 -x10783 -x10784 -x10785 -x10786 -x10787 -x10788 -x10789 -x10790 -x10791 -x10792 -x10793 -x10794 -x10796 -x10797 -x10798 -x10799 -x10800 -x10801 -x10802 -x10803 -x10804 -x10805 -x10806 -x10807 -x10808 -x10809 -x10810 -x10811 -x10812 -x10813 -x10814 -x10815 -x10816 -x10817 -x10818 -x10819 -x10820 -x10821 -x10823 -x10824 -x10825 -x10826 -x10827 -x10828 -x10829 -x10830 -x10831 -x10832 -x10833 -x10834 -x10835 -x10836 -x10837 -x10838 -x10839 -x10840 -x10841 -x10842 -x10843 -x10844 -x10845 -x10846 -x10847 -x10848 x10850 -x10851 -x10852 -x10853 -x10854 -x10855 -x10856 -x10857 -x10858 -x10859 -x10860 -x10861 -x10862 -x10863 -x10864 -x10865 -x10866 -x10867 -x10868 -x10869 -x10870 -x10871 -x10872 -x10873 -x10874 -x10875 -x10877 -x10878 -x10879 -x10880 -x10881 -x10882 -x10883 -x10884 -x10885 -x10886 -x10887 -x10888 -x10889 -x10890 -x10891 -x10892 -x10893 -x10894 -x10895 -x10896 -x10897 -x10898 -x10899 -x10900 -x10901 -x10902 -x10904 -x10906 -x10907 -x10908 -x10909 -x10910 -x10911 -x10912 -x10913 -x10914 -x10915 -x10916 -x10918 -x10920 -x10921 -x10922 -x10923 -x10924 -x10925 -x10926 -x10927 -x10928 -x10929 -x10930 x10932 -x10934 -x10935 -x10936 -x10937 -x10938 -x10939 -x10940 -x10941 -x10942 -x10943 -x10944 -x10946 -x10948 -x10949 -x10950 -x10951 -x10952 -x10953 -x10954 -x10955 -x10956 -x10957 -x10958 -x10960 -x10962 -x10963 -x10964 -x10965 -x10966 -x10967 -x10968 -x10969 -x10970 -x10971 -x10972 -x10974 -x10976 -x10977 -x10978 -x10979 -x10980 -x10981 -x10982 -x10983 -x10984 -x10985 -x10986 -x10988 -x10990 -x10991 -x10992 -x10993 -x10994 -x10995 -x10996 -x10997 -x10998 -x10999 -x11000 x11002 -x11004 -x11005 -x11006 -x11007 -x11008 -x11009 -x11010 -x11011 -x11012 -x11013 -x11014 -x11016 -x11018 -x11019 -x11020 -x11021 -x11022 -x11023 -x11024 -x11025 -x11026 -x11027 -x11028 -x11030 -x11032 -x11033 -x11034 -x11035 -x11036 -x11037 -x11038 -x11039 -x11040 -x11041 -x11042 -x11044 -x11046 -x11047 -x11048 -x11049 -x11050 -x11051 -x11052 -x11053 -x11054 -x11055 -x11056 -x11058 -x11059 -x11060 -x11061 -x11062 -x11063 -x11064 -x11065 -x11066 -x11067 -x11068 -x11070 -x11072 -x11073 -x11074 -x11075 -x11076 -x11077 -x11078 -x11079 -x11080 -x11081 -x11082 -x11084 -x11085 -x11086 -x11087 -x11088 -x11089 -x11090 -x11091 -x11092 -x11093 -x11094 -x11096 -x11098 -x11099 -x11100 -x11101 -x11102 -x11103 -x11104 -x11105 -x11106 -x11107 -x11108 x11110 -x11112 -x11113 -x11114 -x11115 -x11116 -x11117 -x11118 -x11119 -x11120 -x11121 -x11122 -x11124 -x11125 -x11126 -x11127 -x11128 -x11129 -x11130 -x11131 -x11132 -x11133 -x11134 x11136 -x11138 -x11139 -x11140 -x11141 -x11142 -x11143 -x11144 -x11145 -x11146 -x11147 -x11148 -x11150 -x11152 -x11153 -x11154 -x11155 -x11156 -x11157 -x11158 -x11159 -x11160 -x11161 -x11162 -x11164 -x11166 -x11167 -x11168 -x11169 -x11170 -x11171 -x11172 -x11173 -x11174 -x11175 -x11176 -x11178 -x11180 -x11181 -x11182 -x11183 -x11184 -x11185 -x11186 -x11187 -x11188 -x11189 -x11190 -x11192 -x11194 -x11195 -x11196 -x11197 -x11198 -x11199 -x11200 -x11201 -x11202 -x11203 -x11204 -x11206 -x11208 -x11209 -x11210 -x11211 -x11212 -x11213 -x11214 -x11215 -x11216 -x11217 -x11218 -x11220 -x11222 -x11223 -x11224 -x11225 -x11226 -x11227 -x11228 -x11229 -x11230 -x11231 -x11232 -x11234 -x11236 -x11237 -x11238 -x11239 -x11240 -x11241 -x11242 -x11243 -x11244 -x11245 -x11246 -x11248 -x11250 -x11251 -x11252 -x11253 -x11254 -x11255 -x11256 -x11257 -x11258 -x11259 -x11260 -x11262 -x11264 -x11265 -x11266 -x11267 -x11268 -x11269 -x11270 -x11271 -x11272 -x11273 -x11274 -x11276 -x11278 -x11279 -x11280 -x11281 -x11282 -x11283 -x11284 -x11285 -x11286 -x11287 -x11288 -x11290 -x11292 -x11293 -x11294 -x11295 -x11296 -x11297 -x11298 -x11299 -x11300 -x11301 -x11302 -x11304 -x11306 -x11307 -x11308 -x11309 -x11310 -x11311 -x11312 -x11313 -x11314 -x11315 -x11316 -x11318 -x11320 -x11321 -x11322 -x11323 -x11324 -x11325 -x11326 -x11327 -x11328 -x11329 -x11330 -x11332 -x11334 -x11335 -x11336 -x11337 -x11338 -x11339 -x11340 -x11341 -x11342 -x11343 -x11344 -x11346 -x11348 -x11349 -x11350 -x11351 -x11352 -x11353 -x11354 -x11355 -x11356 -x11357 -x11358 -x11360 -x11362 -x11363 -x11364 -x11365 -x11366 -x11367 -x11368 -x11369 -x11370 -x11371 -x11372 -x11374 -x11376 -x11377 -x11378 -x11379 -x11380 -x11381 -x11382 -x11383 -x11384 -x11385 -x11386 -x11388 -x11390 -x11391 -x11392 -x11393 -x11394 -x11395 -x11396 -x11397 -x11398 -x11399 -x11400 -x11402 -x11404 -x11405 -x11406 -x11407 -x11408 -x11409 -x11410 -x11411 -x11412 -x11413 -x11414 -x11416 -x11418 -x11419 -x11420 -x11421 -x11422 -x11423 -x11424 -x11425 -x11426 -x11427 -x11428 -x11430 -x11432 -x11433 -x11434 -x11435 -x11436 -x11437 -x11438 -x11439 -x11440 -x11441 -x11442 -x11444 -x11446 -x11447 -x11448 -x11449 -x11450 -x11451 -x11452 -x11453 -x11454 -x11455 -x11456 -x11458 -x11460 -x11461 -x11462 -x11463 -x11464 -x11465 -x11466 -x11467 -x11468 -x11469 -x11470 -x11472 -x11474 -x11475 -x11476 -x11477 -x11478 -x11479 -x11480 -x11481 -x11482 -x11483 -x11484 -x11486 -x11488 -x11489 -x11490 -x11491 -x11492 -x11493 -x11494 -x11495 -x11496 -x11497 -x11498 -x11500 x11502 -x11503 -x11504 -x11505 -x11506 -x11507 -x11508 -x11509 -x11510 -x11511 -x11512 x11514 -x11515 -x11516 -x11517 -x11518 -x11519 -x11520 -x11521 -x11522 -x11523 -x11524 -x11526 x11528 -x11529 -x11530 -x11531 -x11532 -x11533 -x11534 -x11535 -x11536 -x11537 -x11538 -x11540 -x11541 -x11542 -x11543 -x11544 -x11545 -x11546 -x11547 -x11548 -x11549 -x11550 -x11552 -x11553 -x11554 -x11555 -x11556 -x11557 -x11558 -x11559 -x11560 -x11561 -x11562 -x11564 -x11565 -x11566 -x11567 -x11568 -x11569 -x11570 -x11571 -x11572 -x11573 -x11574 -x11576 -x11577 -x11578 -x11579 -x11580 -x11581 -x11582 -x11583 -x11584 -x11585 -x11586 -x11588 -x11589 -x11590 -x11591 -x11592 -x11593 -x11594 -x11595 -x11596 -x11597 -x11598 -x11600 -x11602 -x11603 -x11604 -x11605 -x11606 -x11607 -x11608 -x11609 -x11610 -x11611 -x11612 -x11614 -x11616 -x11617 -x11618 -x11619 -x11620 -x11621 -x11622 -x11623 -x11624 -x11625 -x11626 -x11628 -x11629 -x11630 -x11631 -x11632 -x11633 -x11634 -x11635 -x11636 -x11637 -x11638 -x11640 -x11642 -x11643 -x11644 -x11645 -x11646 -x11647 -x11648 -x11649 -x11650 -x11651 -x11652 -x11654 x11656 -x11657 -x11658 -x11659 -x11660 -x11661 -x11662 -x11663 -x11664 -x11665 -x11666 -x11668 -x11669 -x11670 -x11671 -x11673 -x11674 -x11675 -x11676 -x11678 -x11679 -x11680 -x11681 -x11683 -x11684 -x11685 -x11686 -x11688 -x11689 -x11690 -x11691 -x11693 -x11694 -x11695 -x11696 -x11698 -x11699 -x11700 -x11701 -x11703 -x11704 -x11705 -x11706 -x11708 -x11709 -x11710 -x11711 x11713 -x11714 -x11715 -x11716 -x11718 -x11719 -x11720 -x11721 -x11723 -x11724 -x11725 -x11726 -x11728 -x11729 -x11730 -x11731 -x11733 -x11734 -x11735 -x11736 -x11738 -x11739 -x11740 -x11741 -x11743 -x11744 -x11745 -x11746 -x11748 -x11749 -x11750 -x11751 -x11753 -x11754 -x11755 -x11756 -x11758 -x11759 -x11760 -x11761 -x11763 -x11764 -x11765 -x11766 -x11768 -x11769 -x11770 -x11771 -x11773 -x11774 -x11775 -x11776 -x11778 -x11779 -x11780 -x11781 -x11783 -x11784 -x11785 -x11786 -x11788 -x11789 -x11790 -x11791 -x11793 -x11794 -x11795 -x11796 -x11798 -x11799 -x11800 -x11801 -x11803 -x11804 -x11805 -x11806 -x11808 -x11809 -x11810 -x11811 x11813 -x11814 -x11815 -x11816 -x11818 -x11819 -x11820 -x11821 -x11823 -x11824 -x11825 -x11826 -x11828 -x11829 -x11830 -x11831 -x11833 -x11834 -x11835 -x11836 -x11838 -x11839 -x11840 -x11841 -x11843 -x11844 -x11845 -x11846 -x11848 -x11849 -x11850 -x11851 -x11853 -x11854 -x11855 -x11856 -x11858 -x11859 -x11860 -x11861 -x11863 -x11864 -x11865 -x11866 -x11868 -x11869 -x11870 -x11871 -x11873 -x11874 -x11875 -x11876 -x11878 -x11879 -x11880 -x11881 -x11883 -x11884 -x11885 -x11886 -x11888 -x11889 -x11890 -x11891 -x11893 -x11894 -x11895 -x11896 -x11898 -x11899 -x11900 -x11901 -x11903 -x11904 -x11905 -x11906 -x11908 -x11909 -x11910 -x11911 x11913 -x11914 -x11915 -x11916 -x11918 -x11919 -x11920 -x11921 -x11923 -x11924 -x11925 -x11926 x11928 -x11929 -x11930 -x11931 -x11933 -x11934 -x11935 -x11936 -x11938 -x11939 -x11940 -x11941 -x11943 -x11944 -x11945 -x11946 -x11948 -x11949 -x11950 -x11951 -x11953 -x11954 -x11955 -x11956 -x11958 -x11959 -x11960 -x11961 -x11963 -x11964 -x11965 -x11966 -x11968 -x11969 -x11970 -x11971 -x11973 -x11974 -x11975 -x11976 -x11978 -x11979 -x11980 -x11981 -x11983 -x11984 -x11985 -x11986 -x11988 -x11989 -x11990 -x11991 -x11993 -x11994 -x11995 -x11996 -x11998 -x11999 -x12000 -x12001 -x12003 -x12004 -x12005 -x12006 -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 -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 -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 -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 -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 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 -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 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 -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 -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 -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 -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 -x12580 -x12581 -x12582 -x12583 -x12584 -x12585 -x12586 -x12587 -x12588 -x12589 -x12590 -x12591 -x12592 -x12593 -x12594 -x12595 -x12596 -x12597 -x12598 -x12599 -x12600 -x12601 -x12602 -x12603 -x12604 -x12605 -x12607 -x12608 -x12609 -x12610 -x12611 -x12612 -x12613 -x12614 -x12615 -x12616 -x12617 -x12618 -x12619 -x12620 -x12621 -x12622 -x12623 -x12624 -x12625 -x12626 -x12627 -x12628 -x12629 -x12630 -x12631 -x12632 -x12634 -x12635 -x12636 -x12637 -x12638 -x12639 -x12640 -x12641 -x12642 -x12643 -x12644 -x12645 -x12646 -x12647 -x12648 -x12649 -x12650 -x12651 -x12652 -x12653 -x12654 -x12655 -x12656 -x12657 -x12658 -x12659 -x12661 -x12662 -x12663 -x12664 -x12665 -x12666 -x12667 -x12668 -x12669 -x12670 -x12671 -x12672 -x12673 -x12674 -x12675 -x12676 -x12677 -x12678 -x12679 -x12680 -x12681 -x12682 -x12683 -x12684 -x12685 -x12686 -x12688 -x12689 -x12690 -x12691 -x12692 -x12693 -x12694 -x12695 -x12696 -x12697 -x12698 -x12699 -x12700 -x12701 -x12702 -x12703 -x12704 -x12705 -x12706 -x12707 -x12708 -x12709 -x12710 -x12711 -x12712 -x12713 -x12715 -x12716 -x12717 -x12718 -x12719 -x12720 -x12721 -x12722 -x12723 -x12724 -x12725 -x12726 -x12727 -x12728 -x12729 -x12730 -x12731 -x12732 -x12733 -x12734 -x12735 -x12736 -x12737 -x12738 -x12739 -x12740 -x12742 -x12743 -x12744 -x12745 -x12746 -x12747 -x12748 -x12749 -x12750 -x12751 -x12752 -x12753 -x12754 -x12755 -x12756 -x12757 -x12758 -x12759 -x12760 -x12761 -x12762 -x12763 -x12764 -x12765 -x12766 -x12767 -x12769 -x12770 -x12771 -x12772 -x12773 -x12774 -x12775 -x12776 -x12777 -x12778 -x12779 -x12780 -x12781 -x12782 -x12783 -x12784 -x12785 -x12786 -x12787 -x12788 -x12789 -x12790 -x12791 -x12792 -x12793 -x12794 -x12796 -x12797 -x12798 -x12799 -x12800 -x12801 -x12802 -x12803 -x12804 -x12805 -x12806 -x12807 -x12808 -x12809 -x12810 -x12811 -x12812 -x12813 -x12814 -x12815 -x12816 -x12817 -x12818 -x12819 -x12820 -x12821 -x12823 -x12824 -x12825 -x12826 -x12827 -x12828 -x12829 -x12830 -x12831 -x12832 -x12833 -x12834 -x12835 -x12836 -x12837 -x12838 -x12839 -x12840 -x12841 -x12842 -x12843 -x12844 -x12845 -x12846 -x12847 -x12848 -x12850 -x12851 -x12852 -x12853 -x12854 -x12855 -x12856 -x12857 -x12858 -x12859 -x12860 -x12861 -x12862 -x12863 -x12864 -x12865 -x12866 -x12867 -x12868 -x12869 -x12870 -x12871 -x12872 -x12873 -x12874 -x12875 -x12877 -x12878 -x12879 -x12880 -x12881 -x12882 -x12883 -x12884 -x12885 -x12886 -x12887 -x12888 -x12889 -x12890 -x12891 -x12892 -x12893 -x12894 -x12895 -x12896 -x12897 -x12898 -x12899 -x12900 -x12901 -x12902 -x12904 -x12905 -x12906 -x12907 -x12908 -x12909 -x12910 -x12911 -x12912 -x12913 -x12914 -x12915 -x12916 -x12917 -x12918 -x12919 -x12920 -x12921 -x12922 -x12923 -x12924 -x12925 -x12926 -x12927 -x12928 -x12929 -x12931 -x12932 -x12933 -x12934 -x12935 -x12936 -x12937 -x12938 -x12939 -x12940 -x12941 -x12942 -x12943 -x12944 -x12945 -x12946 -x12947 -x12948 -x12949 -x12950 -x12951 -x12952 -x12953 -x12954 -x12955 -x12956 -x12958 -x12959 -x12960 -x12961 -x12962 -x12963 -x12964 -x12965 -x12966 -x12967 -x12968 -x12969 -x12970 -x12971 -x12972 -x12973 -x12974 -x12975 -x12976 -x12977 -x12978 -x12979 -x12980 -x12981 -x12982 -x12983 -x12985 -x12986 -x12987 -x12988 -x12989 -x12990 -x12991 -x12992 -x12993 -x12994 -x12995 -x12996 -x12997 -x12998 -x12999 -x13000 -x13001 -x13002 -x13003 -x13004 -x13005 -x13006 -x13007 -x13008 -x13009 -x13010 -x13012 -x13013 -x13014 -x13015 -x13016 -x13017 -x13018 -x13019 -x13020 -x13021 -x13022 -x13023 -x13024 -x13025 -x13026 -x13027 -x13028 -x13029 -x13030 -x13031 -x13032 -x13033 -x13034 -x13035 -x13036 -x13037 -x13039 -x13040 -x13041 -x13042 -x13043 -x13044 -x13045 -x13046 -x13047 -x13048 -x13049 -x13050 -x13051 -x13052 -x13053 -x13054 -x13055 -x13056 -x13057 -x13058 -x13059 -x13060 -x13061 -x13062 -x13063 -x13064 x13066 -x13067 -x13068 -x13069 -x13070 -x13071 -x13072 -x13073 -x13074 -x13075 -x13076 -x13077 -x13078 -x13079 -x13080 -x13081 -x13082 -x13083 -x13084 -x13085 -x13086 -x13087 -x13088 -x13089 -x13090 -x13091 -x13093 -x13094 -x13095 -x13096 -x13097 -x13098 -x13099 -x13100 -x13101 -x13102 -x13103 -x13104 -x13105 -x13106 -x13107 -x13108 -x13109 -x13110 -x13111 -x13112 -x13113 -x13114 -x13115 -x13116 -x13117 -x13118 x13120 -x13121 -x13122 -x13123 -x13124 -x13125 -x13126 -x13127 -x13128 -x13129 -x13130 -x13131 -x13132 -x13133 -x13134 -x13135 -x13136 -x13137 -x13138 -x13139 -x13140 -x13141 -x13142 -x13143 -x13144 -x13145 -x13147 -x13148 -x13149 -x13150 -x13151 -x13152 -x13153 -x13154 -x13155 -x13156 -x13157 -x13158 -x13159 -x13160 -x13161 -x13162 -x13163 -x13164 -x13165 -x13166 -x13167 -x13168 -x13169 -x13170 -x13171 -x13172 x13174 -x13175 -x13176 -x13177 -x13178 -x13179 -x13180 -x13181 -x13182 -x13183 -x13184 -x13185 -x13186 -x13187 -x13188 -x13189 -x13190 -x13191 -x13192 -x13193 -x13194 -x13195 -x13196 -x13197 -x13198 -x13199 -x13201 -x13202 -x13203 -x13204 -x13205 -x13206 -x13207 -x13208 -x13209 -x13210 -x13211 -x13212 -x13213 -x13214 -x13215 -x13216 -x13217 -x13218 -x13219 -x13220 -x13221 -x13222 -x13223 -x13224 -x13225 -x13226 -x13228 -x13230 -x13231 -x13232 -x13233 -x13234 -x13235 -x13236 -x13237 -x13238 -x13239 -x13240 -x13242 -x13244 -x13245 -x13246 -x13247 -x13248 -x13249 -x13250 -x13251 -x13252 -x13253 -x13254 x13256 -x13258 -x13259 -x13260 -x13261 -x13262 -x13263 -x13264 -x13265 -x13266 -x13267 -x13268 -x13270 -x13272 -x13273 -x13274 -x13275 -x13276 -x13277 -x13278 -x13279 -x13280 -x13281 -x13282 x13284 -x13286 -x13287 -x13288 -x13289 -x13290 -x13291 -x13292 -x13293 -x13294 -x13295 -x13296 x13298 -x13300 -x13301 -x13302 -x13303 -x13304 -x13305 -x13306 -x13307 -x13308 -x13309 -x13310 -x13312 -x13314 -x13315 -x13316 -x13317 -x13318 -x13319 -x13320 -x13321 -x13322 -x13323 -x13324 -x13326 -x13328 -x13329 -x13330 -x13331 -x13332 -x13333 -x13334 -x13335 -x13336 -x13337 -x13338 -x13340 -x13342 -x13343 -x13344 -x13345 -x13346 -x13347 -x13348 -x13349 -x13350 -x13351 -x13352 -x13354 -x13355 -x13356 -x13357 -x13358 -x13359 -x13360 -x13361 -x13362 -x13363 -x13364 -x13366 -x13368 -x13369 -x13370 -x13371 -x13372 -x13373 -x13374 -x13375 -x13376 -x13377 -x13378 -x13380 -x13382 -x13383 -x13384 -x13385 -x13386 -x13387 -x13388 -x13389 -x13390 -x13391 -x13392 -x13394 -x13396 -x13397 -x13398 -x13399 -x13400 -x13401 -x13402 -x13403 -x13404 -x13405 -x13406 x13408 -x13410 -x13411 -x13412 -x13413 -x13414 -x13415 -x13416 -x13417 -x13418 -x13419 -x13420 -x13422 -x13424 -x13425 -x13426 -x13427 -x13428 -x13429 -x13430 -x13431 -x13432 -x13433 -x13434 -x13436 -x13438 -x13439 -x13440 -x13441 -x13442 -x13443 -x13444 -x13445 -x13446 -x13447 -x13448 x13450 -x13452 -x13453 -x13454 -x13455 -x13456 -x13457 -x13458 -x13459 -x13460 -x13461 -x13462 -x13464 -x13466 -x13467 -x13468 -x13469 -x13470 -x13471 -x13472 -x13473 -x13474 -x13475 -x13476 x13478 -x13480 -x13481 -x13482 -x13483 -x13484 -x13485 -x13486 -x13487 -x13488 -x13489 -x13490 -x13492 -x13494 -x13495 -x13496 -x13497 -x13498 -x13499 -x13500 -x13501 -x13502 -x13503 -x13504 x13506 -x13508 -x13509 -x13510 -x13511 -x13512 -x13513 -x13514 -x13515 -x13516 -x13517 -x13518 -x13520 -x13522 -x13523 -x13524 -x13525 -x13526 -x13527 -x13528 -x13529 -x13530 -x13531 -x13532 x13534 -x13536 -x13537 -x13538 -x13539 -x13540 -x13541 -x13542 -x13543 -x13544 -x13545 -x13546 -x13548 -x13550 -x13551 -x13552 -x13553 -x13554 -x13555 -x13556 -x13557 -x13558 -x13559 -x13560 -x13562 -x13564 -x13565 -x13566 -x13567 -x13568 -x13569 -x13570 -x13571 -x13572 -x13573 -x13574 x13576 -x13578 -x13579 -x13580 -x13581 -x13582 -x13583 -x13584 -x13585 -x13586 -x13587 -x13588 x13590 -x13592 -x13593 -x13594 -x13595 -x13596 -x13597 -x13598 -x13599 -x13600 -x13601 -x13602 -x13604 -x13606 -x13607 -x13608 -x13609 -x13610 -x13611 -x13612 -x13613 -x13614 -x13615 -x13616 -x13618 -x13620 -x13621 -x13622 -x13623 -x13624 -x13625 -x13626 -x13627 -x13628 -x13629 -x13630 x13632 -x13634 -x13635 -x13636 -x13637 -x13638 -x13639 -x13640 -x13641 -x13642 -x13643 -x13644 x13646 -x13648 -x13649 -x13650 -x13651 -x13652 -x13653 -x13654 -x13655 -x13656 -x13657 -x13658 -x13660 -x13661 -x13662 -x13663 -x13664 -x13665 -x13666 -x13667 -x13668 -x13669 -x13670 x13672 -x13674 -x13675 -x13676 -x13677 -x13678 -x13679 -x13680 -x13681 -x13682 -x13683 -x13684 -x13686 -x13688 -x13689 -x13690 -x13691 -x13692 -x13693 -x13694 -x13695 -x13696 -x13697 -x13698 x13700 -x13702 -x13703 -x13704 -x13705 -x13706 -x13707 -x13708 -x13709 -x13710 -x13711 -x13712 -x13714 -x13715 -x13716 -x13717 -x13718 -x13719 -x13720 -x13721 -x13722 -x13723 -x13724 -x13726 -x13728 -x13729 -x13730 -x13731 -x13732 -x13733 -x13734 -x13735 -x13736 -x13737 -x13738 -x13740 -x13741 -x13742 -x13743 -x13744 -x13745 -x13746 -x13747 -x13748 -x13749 -x13750 -x13752 -x13754 -x13755 -x13756 -x13757 -x13758 -x13759 -x13760 -x13761 -x13762 -x13763 -x13764 -x13766 -x13768 -x13769 -x13770 -x13771 -x13772 -x13773 -x13774 -x13775 -x13776 -x13777 -x13778 -x13780 -x13782 -x13783 -x13784 -x13785 -x13786 -x13787 -x13788 -x13789 -x13790 -x13791 -x13792 -x13794 -x13796 -x13797 -x13798 -x13799 -x13800 -x13801 -x13802 -x13803 -x13804 -x13805 -x13806 -x13808 -x13810 -x13811 -x13812 -x13813 -x13814 -x13815 -x13816 -x13817 -x13818 -x13819 -x13820 -x13822 -x13824 -x13825 -x13826 -x13827 -x13828 -x13829 -x13830 -x13831 -x13832 -x13833 -x13834 -x13836 -x13838 -x13839 -x13840 -x13841 -x13842 -x13843 -x13844 -x13845 -x13846 -x13847 -x13848 -x13850 -x13852 -x13853 -x13854 -x13855 -x13856 -x13857 -x13858 -x13859 -x13860 -x13861 -x13862 -x13864 x13866 -x13867 -x13868 -x13869 -x13870 -x13871 -x13872 -x13873 -x13874 -x13875 -x13876 -x13878 -x13880 -x13881 -x13882 -x13883 -x13884 -x13885 -x13886 -x13887 -x13888 -x13889 -x13890 -x13892 x13894 -x13895 -x13896 -x13897 -x13898 -x13899 -x13900 -x13901 -x13902 -x13903 -x13904 -x13906 -x13908 -x13909 -x13910 -x13911 -x13912 -x13913 -x13914 -x13915 -x13916 -x13917 -x13918 -x13920 x13922 -x13923 -x13924 -x13925 -x13926 -x13927 -x13928 -x13929 -x13930 -x13931 -x13932 -x13934 -x13936 -x13937 -x13938 -x13939 -x13940 -x13941 -x13942 -x13943 -x13944 -x13945 -x13946 -x13948 -x13950 -x13951 -x13952 -x13953 -x13954 -x13955 -x13956 -x13957 -x13958 -x13959 -x13960 -x13962 x13964 -x13965 -x13966 -x13967 -x13968 -x13969 -x13970 -x13971 -x13972 -x13973 -x13974 -x13976 -x13978 -x13979 -x13980 -x13981 -x13982 -x13983 -x13984 -x13985 -x13986 -x13987 -x13988 -x13990 -x13992 -x13993 -x13994 -x13995 -x13996 -x13997 -x13998 -x13999 -x14000 -x14001 -x14002 -x14004 -x14005 -x14006 -x14007 -x14009 -x14010 -x14011 -x14012 -x14014 -x14015 -x14016 -x14017 -x14019 -x14020 -x14021 -x14022 -x14024 -x14025 -x14026 -x14027 -x14029 -x14030 -x14031 -x14032 x14034 -x14035 -x14036 -x14037 -x14039 -x14040 -x14041 -x14042 -x14044 -x14045 -x14046 -x14047 -x14049 -x14050 -x14051 -x14052 -x14054 -x14055 -x14056 -x14057 -x14059 -x14060 -x14061 -x14062 -x14064 -x14065 -x14066 -x14067 -x14069 -x14070 -x14071 -x14072 x14074 -x14075 -x14076 -x14077 -x14079 -x14080 -x14081 -x14082 -x14084 -x14085 -x14086 -x14087 -x14089 -x14090 -x14091 -x14092 -x14094 -x14095 -x14096 -x14097 -x14099 -x14100 -x14101 -x14102 x14104 -x14105 -x14106 x14107 -x14109 -x14110 -x14111 -x14112 -x14114 -x14115 -x14116 -x14117 -x14119 -x14120 -x14121 -x14122 x14124 -x14125 -x14126 -x14127 -x14129 -x14130 -x14131 -x14132 -x14134 -x14135 -x14136 -x14137 -x14139 -x14140 -x14141 -x14142 x14144 -x14145 x14146 -x14147 -x14149 -x14150 -x14151 -x14152 -x14154 -x14155 -x14156 -x14157 -x14159 -x14160 -x14161 -x14162 -x14164 -x14165 -x14166 -x14167 -x14169 -x14170 -x14171 -x14172 -x14174 -x14175 -x14176 -x14177 -x14179 -x14180 -x14181 -x14182 -x14184 -x14185 -x14186 -x14187 -x14189 -x14190 -x14191 -x14192 -x14194 -x14195 -x14196 -x14197 -x14199 -x14200 -x14201 -x14202 -x14204 -x14205 -x14206 -x14207 -x14209 -x14210 -x14211 -x14212 -x14214 -x14215 -x14216 -x14217 -x14219 -x14220 -x14221 -x14222 -x14224 -x14225 -x14226 -x14227 -x14229 -x14230 -x14231 -x14232 -x14234 -x14235 -x14236 -x14237 -x14239 -x14240 -x14241 -x14242 -x14244 -x14245 -x14246 -x14247 -x14249 -x14250 -x14251 -x14252 -x14254 -x14255 -x14256 -x14257 -x14259 -x14260 -x14261 -x14262 -x14264 -x14265 -x14266 -x14267 -x14269 -x14270 -x14271 -x14272 -x14274 -x14275 -x14276 -x14277 -x14279 -x14280 -x14281 -x14282 -x14284 -x14285 -x14286 -x14287 -x14289 -x14290 -x14291 -x14292 -x14294 -x14295 -x14296 -x14297 -x14299 -x14300 -x14301 -x14302 -x14304 -x14305 -x14306 -x14307 -x14309 -x14310 -x14311 -x14312 -x14314 -x14315 -x14316 -x14317 -x14319 -x14320 -x14321 -x14322 -x14324 -x14325 -x14326 -x14327 -x14329 -x14330 -x14331 -x14332 -x14334 -x14335 -x14336 -x14337 -x14339 -x14340 -x14341 -x14342 -x14344 -x14345 -x14346 -x14347 -x14349 -x14350 -x14351 -x14352 
1797.94/1798.47	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1797.94/1798.47	c   66   422479 203340  2581458   117207 20011748  63988    234 1798.01
1797.94/1798.47	c Objective: 26
1797.94/1798.47	s SATISFIABLE
1797.94/1798.47	c Total time: 1798.01 s

Verifier Data

OK	26

Watcher Data

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2657290-1276640560/watcher-2657290-1276640560 -o /tmp/evaluation-result-2657290-1276640560/solver-2657290-1276640560 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l1 HOME/instance-2657290-1276640560.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: 0.92 0.98 0.99 3/106 11901
/proc/meminfo: memFree=1786836/2059040 swapFree=4135684/4192956
[pid=11901] ppid=11899 vsize=12484 CPUtime=0
/proc/11901/stat : 11901 (bsolo_pb10) R 11899 11901 11457 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 39659929 12783616 278 1992294400 134512640 137138936 4289421248 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11901/statm: 3121 279 176 642 0 2090 0

[startup+0.016738 s]
/proc/loadavg: 0.92 0.98 0.99 3/106 11901
/proc/meminfo: memFree=1786836/2059040 swapFree=4135684/4192956
[pid=11901] ppid=11899 vsize=12752 CPUtime=0.01
/proc/11901/stat : 11901 (bsolo_pb10) R 11899 11901 11457 0 -1 4202496 427 0 0 0 1 0 0 0 20 0 1 0 39659929 13058048 345 1992294400 134512640 137138936 4289421248 18446744073709551615 134517592 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11901/statm: 3188 345 189 642 0 2157 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 12752

[startup+0.100745 s]
/proc/loadavg: 0.92 0.98 0.99 3/106 11901
/proc/meminfo: memFree=1786836/2059040 swapFree=4135684/4192956
[pid=11901] ppid=11899 vsize=14704 CPUtime=0.09
/proc/11901/stat : 11901 (bsolo_pb10) R 11899 11901 11457 0 -1 4202496 1037 0 0 0 9 0 0 0 20 0 1 0 39659929 15056896 955 1992294400 134512640 137138936 4289421248 18446744073709551615 136660581 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11901/statm: 3676 955 305 642 0 2645 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 14704

[startup+0.300766 s]
/proc/loadavg: 0.92 0.98 0.99 3/106 11901
/proc/meminfo: memFree=1786836/2059040 swapFree=4135684/4192956
[pid=11901] ppid=11899 vsize=20704 CPUtime=0.29
/proc/11901/stat : 11901 (bsolo_pb10) R 11899 11901 11457 0 -1 4202496 3182 0 0 0 28 1 0 0 20 0 1 0 39659929 21200896 2714 1992294400 134512640 137138936 4289421248 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11901/statm: 5176 2716 182 642 0 4532 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 20704

[startup+0.700807 s]
/proc/loadavg: 0.92 0.98 0.99 3/106 11901
/proc/meminfo: memFree=1786836/2059040 swapFree=4135684/4192956
[pid=11901] ppid=11899 vsize=21112 CPUtime=0.69
/proc/11901/stat : 11901 (bsolo_pb10) R 11899 11901 11457 0 -1 4202496 3259 0 0 0 68 1 0 0 20 0 1 0 39659929 21618688 2790 1992294400 134512640 137138936 4289421248 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11901/statm: 5278 2790 184 642 0 4634 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 21112

[startup+1.50089 s]
/proc/loadavg: 0.92 0.98 0.99 2/107 11902
/proc/meminfo: memFree=1776288/2059040 swapFree=4135684/4192956
[pid=11901] ppid=11899 vsize=23128 CPUtime=1.49
/proc/11901/stat : 11901 (bsolo_pb10) R 11899 11901 11457 0 -1 4202496 3906 0 0 0 142 7 0 0 22 0 1 0 39659929 23683072 3323 1992294400 134512640 137138936 4289421248 18446744073709551615 134542164 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11901/statm: 5782 3323 192 642 0 5138 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 23128

[startup+3.10105 s]
/proc/loadavg: 0.92 0.98 0.99 2/107 11902
/proc/meminfo: memFree=1773808/2059040 swapFree=4135684/4192956
[pid=11901] ppid=11899 vsize=23880 CPUtime=3.09
/proc/11901/stat : 11901 (bsolo_pb10) R 11899 11901 11457 0 -1 4202496 4093 0 0 0 301 8 0 0 25 0 1 0 39659929 24453120 3510 1992294400 134512640 137138936 4289421248 18446744073709551615 134542528 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11901/statm: 5970 3510 192 642 0 5326 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 23880

[startup+6.30138 s]
/proc/loadavg: 0.93 0.98 0.99 2/107 11902
/proc/meminfo: memFree=1763640/2059040 swapFree=4135684/4192956
[pid=11901] ppid=11899 vsize=36712 CPUtime=6.29
/proc/11901/stat : 11901 (bsolo_pb10) R 11899 11901 11457 0 -1 4202496 7297 0 0 0 618 11 0 0 25 0 1 0 39659929 37593088 6714 1992294400 134512640 137138936 4289421248 18446744073709551615 136504225 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11901/statm: 9178 6714 192 642 0 8534 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 36712

[startup+12.701 s]
/proc/loadavg: 0.93 0.98 0.99 2/107 11902
/proc/meminfo: memFree=1753596/2059040 swapFree=4135684/4192956
[pid=11901] ppid=11899 vsize=44104 CPUtime=12.69
/proc/11901/stat : 11901 (bsolo_pb10) R 11899 11901 11457 0 -1 4202496 9149 0 0 0 1255 14 0 0 25 0 1 0 39659929 45162496 8566 1992294400 134512640 137138936 4289421248 18446744073709551615 134575390 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11901/statm: 11026 8566 192 642 0 10382 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 44104

[startup+25.5003 s]
/proc/loadavg: 0.95 0.98 0.99 2/107 11902
/proc/meminfo: memFree=1708460/2059040 swapFree=4135684/4192956
[pid=11901] ppid=11899 vsize=89836 CPUtime=25.48
/proc/11901/stat : 11901 (bsolo_pb10) R 11899 11901 11457 0 -1 4202496 20568 0 0 0 2527 21 0 0 25 0 1 0 39659929 91992064 19985 1992294400 134512640 137138936 4289421248 18446744073709551615 134542624 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11901/statm: 22459 19985 192 642 0 21815 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 89836

[startup+51.101 s]
/proc/loadavg: 0.96 0.98 0.99 2/107 11902
/proc/meminfo: memFree=1647204/2059040 swapFree=4135684/4192956
[pid=11901] ppid=11899 vsize=152276 CPUtime=51.08
/proc/11901/stat : 11901 (bsolo_pb10) R 11899 11901 11457 0 -1 4202496 36199 0 0 0 5075 33 0 0 25 0 1 0 39659929 155930624 35616 1992294400 134512640 137138936 4289421248 18446744073709551615 134572994 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11901/statm: 38069 35616 192 642 0 37425 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 152276

[startup+102.308 s]
/proc/loadavg: 0.98 0.98 0.99 2/107 11904
/proc/meminfo: memFree=1547384/2059040 swapFree=4135684/4192956
[pid=11901] ppid=11899 vsize=249208 CPUtime=102.27
/proc/11901/stat : 11901 (bsolo_pb10) R 11899 11901 11457 0 -1 4202496 60421 0 0 0 10171 56 0 0 25 0 1 0 39659929 255188992 59838 1992294400 134512640 137138936 4289421248 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11901/statm: 62302 59838 192 642 0 61658 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 249208

[startup+162.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 11906
/proc/meminfo: memFree=1401560/2059040 swapFree=4135684/4192956
[pid=11901] ppid=11899 vsize=397436 CPUtime=162.25
/proc/11901/stat : 11901 (bsolo_pb10) R 11899 11901 11457 0 -1 4202496 97469 0 0 0 16144 81 0 0 25 0 1 0 39659929 406974464 96886 1992294400 134512640 137138936 4289421248 18446744073709551615 134542530 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11901/statm: 99359 96886 192 642 0 98715 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 397436

[startup+222.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 11908
/proc/meminfo: memFree=1247552/2059040 swapFree=4135684/4192956
[pid=11901] ppid=11899 vsize=548932 CPUtime=222.24
/proc/11901/stat : 11901 (bsolo_pb10) R 11899 11901 11457 0 -1 4202496 135362 0 0 0 22125 99 0 0 25 0 1 0 39659929 562106368 134779 1992294400 134512640 137138936 4289421248 18446744073709551615 134542301 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11901/statm: 137233 134779 192 642 0 136589 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 548932

[startup+282.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 11910
/proc/meminfo: memFree=1160380/2059040 swapFree=4135684/4192956
[pid=11901] ppid=11899 vsize=636376 CPUtime=282.22
/proc/11901/stat : 11901 (bsolo_pb10) R 11899 11901 11457 0 -1 4202496 157221 0 0 0 28110 112 0 0 25 0 1 0 39659929 651649024 156638 1992294400 134512640 137138936 4289421248 18446744073709551615 134542322 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11901/statm: 159094 156638 192 642 0 158450 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 636376

[startup+342.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 11910
/proc/meminfo: memFree=1057832/2059040 swapFree=4135684/4192956
[pid=11901] ppid=11899 vsize=738360 CPUtime=342.2
/proc/11901/stat : 11901 (bsolo_pb10) R 11899 11901 11457 0 -1 4202496 182724 0 0 0 34094 126 0 0 25 0 1 0 39659929 756080640 182141 1992294400 134512640 137138936 4289421248 18446744073709551615 134542322 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11901/statm: 184590 182141 192 642 0 183946 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 738360

[startup+402.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 11912
/proc/meminfo: memFree=1020136/2059040 swapFree=4135684/4192956
[pid=11901] ppid=11899 vsize=774992 CPUtime=402.18
/proc/11901/stat : 11901 (bsolo_pb10) R 11899 11901 11457 0 -1 4202496 191926 0 0 0 40085 133 0 0 25 0 1 0 39659929 793591808 191274 1992294400 134512640 137138936 4289421248 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11901/statm: 193748 191274 192 642 0 193104 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 774992

[startup+462.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 11914
/proc/meminfo: memFree=1020012/2059040 swapFree=4135684/4192956
[pid=11901] ppid=11899 vsize=774992 CPUtime=462.17
/proc/11901/stat : 11901 (bsolo_pb10) R 11899 11901 11457 0 -1 4202496 191926 0 0 0 46075 142 0 0 25 0 1 0 39659929 793591808 191274 1992294400 134512640 137138936 4289421248 18446744073709551615 134542493 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11901/statm: 193748 191274 192 642 0 193104 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 774992

[startup+522.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 11916
/proc/meminfo: memFree=1020012/2059040 swapFree=4135684/4192956
[pid=11901] ppid=11899 vsize=774992 CPUtime=522.16
/proc/11901/stat : 11901 (bsolo_pb10) R 11899 11901 11457 0 -1 4202496 191926 0 0 0 52066 150 0 0 25 0 1 0 39659929 793591808 191274 1992294400 134512640 137138936 4289421248 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11901/statm: 193748 191274 192 642 0 193104 0
Current children cumulated CPU time (s) 522.16
Current children cumulated vsize (KiB) 774992

[startup+582.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 11918
/proc/meminfo: memFree=1019888/2059040 swapFree=4135684/4192956
[pid=11901] ppid=11899 vsize=774992 CPUtime=582.14
/proc/11901/stat : 11901 (bsolo_pb10) R 11899 11901 11457 0 -1 4202496 191926 0 0 0 58059 155 0 0 25 0 1 0 39659929 793591808 191274 1992294400 134512640 137138936 4289421248 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11901/statm: 193748 191274 192 642 0 193104 0
Current children cumulated CPU time (s) 582.14
Current children cumulated vsize (KiB) 774992

[startup+642.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 11918
/proc/meminfo: memFree=1020508/2059040 swapFree=4135684/4192956
[pid=11901] ppid=11899 vsize=773824 CPUtime=642.13
/proc/11901/stat : 11901 (bsolo_pb10) R 11899 11901 11457 0 -1 4202496 191926 0 0 0 64048 165 0 0 25 0 1 0 39659929 792395776 191014 1992294400 134512640 137138936 4289421248 18446744073709551615 134542484 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11901/statm: 193456 191014 192 642 0 192812 0
Current children cumulated CPU time (s) 642.13
Current children cumulated vsize (KiB) 773824

[startup+702.301 s]

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

/proc/meminfo: memFree=1026832/2059040 swapFree=4135684/4192956
[pid=11901] ppid=11899 vsize=767352 CPUtime=1062.01
/proc/11901/stat : 11901 (bsolo_pb10) R 11899 11901 11457 0 -1 4202496 191931 0 0 0 105960 241 0 0 25 0 1 0 39659929 785768448 189397 1992294400 134512640 137138936 4289421248 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11901/statm: 191838 189397 192 642 0 191194 0
Current children cumulated CPU time (s) 1062.01
Current children cumulated vsize (KiB) 767352

[startup+1122.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 11932
/proc/meminfo: memFree=1026708/2059040 swapFree=4135684/4192956
[pid=11901] ppid=11899 vsize=767352 CPUtime=1122
/proc/11901/stat : 11901 (bsolo_pb10) R 11899 11901 11457 0 -1 4202496 191931 0 0 0 111933 267 0 0 25 0 1 0 39659929 785768448 189397 1992294400 134512640 137138936 4289421248 18446744073709551615 134542202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11901/statm: 191838 189397 192 642 0 191194 0
Current children cumulated CPU time (s) 1122
Current children cumulated vsize (KiB) 767352

[startup+1182.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 11934
/proc/meminfo: memFree=1026708/2059040 swapFree=4135684/4192956
[pid=11901] ppid=11899 vsize=767352 CPUtime=1181.99
/proc/11901/stat : 11901 (bsolo_pb10) R 11899 11901 11457 0 -1 4202496 191931 0 0 0 117895 304 0 0 25 0 1 0 39659929 785768448 189397 1992294400 134512640 137138936 4289421248 18446744073709551615 136500266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11901/statm: 191838 189397 192 642 0 191194 0
Current children cumulated CPU time (s) 1181.99
Current children cumulated vsize (KiB) 767352

[startup+1242.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 11934
/proc/meminfo: memFree=1026584/2059040 swapFree=4135684/4192956
[pid=11901] ppid=11899 vsize=767352 CPUtime=1241.97
/proc/11901/stat : 11901 (bsolo_pb10) R 11899 11901 11457 0 -1 4202496 191931 0 0 0 123866 331 0 0 25 0 1 0 39659929 785768448 189397 1992294400 134512640 137138936 4289421248 18446744073709551615 134542295 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11901/statm: 191838 189397 192 642 0 191194 0
Current children cumulated CPU time (s) 1241.97
Current children cumulated vsize (KiB) 767352

[startup+1302.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 11936
/proc/meminfo: memFree=1026460/2059040 swapFree=4135684/4192956
[pid=11901] ppid=11899 vsize=767352 CPUtime=1301.97
/proc/11901/stat : 11901 (bsolo_pb10) R 11899 11901 11457 0 -1 4202496 191931 0 0 0 129853 344 0 0 25 0 1 0 39659929 785768448 189397 1992294400 134512640 137138936 4289421248 18446744073709551615 134542624 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11901/statm: 191838 189397 192 642 0 191194 0
Current children cumulated CPU time (s) 1301.97
Current children cumulated vsize (KiB) 767352

[startup+1362.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 11938
/proc/meminfo: memFree=1026460/2059040 swapFree=4135684/4192956
[pid=11901] ppid=11899 vsize=767352 CPUtime=1361.94
/proc/11901/stat : 11901 (bsolo_pb10) R 11899 11901 11457 0 -1 4202496 191931 0 0 0 135838 356 0 0 25 0 1 0 39659929 785768448 189397 1992294400 134512640 137138936 4289421248 18446744073709551615 134542552 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11901/statm: 191838 189397 192 642 0 191194 0
Current children cumulated CPU time (s) 1361.94
Current children cumulated vsize (KiB) 767352

[startup+1422.31 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 11940
/proc/meminfo: memFree=1027452/2059040 swapFree=4135684/4192956
[pid=11901] ppid=11899 vsize=766476 CPUtime=1421.93
/proc/11901/stat : 11901 (bsolo_pb10) R 11899 11901 11457 0 -1 4202496 191931 0 0 0 141814 379 0 0 25 0 1 0 39659929 784871424 189178 1992294400 134512640 137138936 4289421248 18446744073709551615 136500388 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11901/statm: 191619 189178 192 642 0 190975 0
Current children cumulated CPU time (s) 1421.93
Current children cumulated vsize (KiB) 766476

[startup+1482.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 11942
/proc/meminfo: memFree=1027328/2059040 swapFree=4135684/4192956
[pid=11901] ppid=11899 vsize=766476 CPUtime=1481.91
/proc/11901/stat : 11901 (bsolo_pb10) R 11899 11901 11457 0 -1 4202496 191931 0 0 0 147805 386 0 0 25 0 1 0 39659929 784871424 189178 1992294400 134512640 137138936 4289421248 18446744073709551615 134542301 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11901/statm: 191619 189178 192 642 0 190975 0
Current children cumulated CPU time (s) 1481.91
Current children cumulated vsize (KiB) 766476

[startup+1542.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 11942
/proc/meminfo: memFree=1027328/2059040 swapFree=4135684/4192956
[pid=11901] ppid=11899 vsize=766476 CPUtime=1541.89
/proc/11901/stat : 11901 (bsolo_pb10) R 11899 11901 11457 0 -1 4202496 191931 0 0 0 153797 392 0 0 25 0 1 0 39659929 784871424 189178 1992294400 134512640 137138936 4289421248 18446744073709551615 135984589 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11901/statm: 191619 189178 192 642 0 190975 0
Current children cumulated CPU time (s) 1541.89
Current children cumulated vsize (KiB) 766476

[startup+1602.3 s]
/proc/loadavg: 1.04 1.00 1.00 2/107 11944
/proc/meminfo: memFree=1027328/2059040 swapFree=4135684/4192956
[pid=11901] ppid=11899 vsize=766476 CPUtime=1601.88
/proc/11901/stat : 11901 (bsolo_pb10) R 11899 11901 11457 0 -1 4202496 191931 0 0 0 159790 398 0 0 25 0 1 0 39659929 784871424 189178 1992294400 134512640 137138936 4289421248 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11901/statm: 191619 189178 192 642 0 190975 0
Current children cumulated CPU time (s) 1601.88
Current children cumulated vsize (KiB) 766476

[startup+1662.3 s]
/proc/loadavg: 1.08 1.03 1.01 2/107 11946
/proc/meminfo: memFree=1027328/2059040 swapFree=4135684/4192956
[pid=11901] ppid=11899 vsize=766476 CPUtime=1661.86
/proc/11901/stat : 11901 (bsolo_pb10) R 11899 11901 11457 0 -1 4202496 191931 0 0 0 165784 402 0 0 25 0 1 0 39659929 784871424 189178 1992294400 134512640 137138936 4289421248 18446744073709551615 136504207 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11901/statm: 191619 189178 192 642 0 190975 0
Current children cumulated CPU time (s) 1661.86
Current children cumulated vsize (KiB) 766476

[startup+1722.3 s]
/proc/loadavg: 1.10 1.04 1.00 2/107 11948
/proc/meminfo: memFree=1027328/2059040 swapFree=4135684/4192956
[pid=11901] ppid=11899 vsize=766476 CPUtime=1721.85
/proc/11901/stat : 11901 (bsolo_pb10) R 11899 11901 11457 0 -1 4202496 191931 0 0 0 171779 406 0 0 25 0 1 0 39659929 784871424 189178 1992294400 134512640 137138936 4289421248 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11901/statm: 191619 189178 192 642 0 190975 0
Current children cumulated CPU time (s) 1721.85
Current children cumulated vsize (KiB) 766476

[startup+1782.3 s]
/proc/loadavg: 1.10 1.04 1.00 2/107 11950
/proc/meminfo: memFree=1027080/2059040 swapFree=4135684/4192956
[pid=11901] ppid=11899 vsize=766476 CPUtime=1781.83
/proc/11901/stat : 11901 (bsolo_pb10) R 11899 11901 11457 0 -1 4202496 191931 0 0 0 177767 416 0 0 25 0 1 0 39659929 784871424 189178 1992294400 134512640 137138936 4289421248 18446744073709551615 134542508 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11901/statm: 191619 189178 192 642 0 190975 0
Current children cumulated CPU time (s) 1781.83
Current children cumulated vsize (KiB) 766476

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

[startup+1791.91 s]
/proc/loadavg: 1.09 1.04 1.00 2/107 11950
/proc/meminfo: memFree=1027080/2059040 swapFree=4135684/4192956
[pid=11901] ppid=11899 vsize=766476 CPUtime=1791.43
/proc/11901/stat : 11901 (bsolo_pb10) R 11899 11901 11457 0 -1 4202496 191931 0 0 0 178726 417 0 0 25 0 1 0 39659929 784871424 189178 1992294400 134512640 137138936 4289421248 18446744073709551615 134542480 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11901/statm: 191619 189178 192 642 0 190975 0
Current children cumulated CPU time (s) 1791.43
Current children cumulated vsize (KiB) 766476

[startup+1795.1 s]
/proc/loadavg: 1.08 1.04 1.00 2/107 11950
/proc/meminfo: memFree=1027080/2059040 swapFree=4135684/4192956
[pid=11901] ppid=11899 vsize=766476 CPUtime=1794.63
/proc/11901/stat : 11901 (bsolo_pb10) R 11899 11901 11457 0 -1 4202496 191931 0 0 0 179046 417 0 0 25 0 1 0 39659929 784871424 189178 1992294400 134512640 137138936 4289421248 18446744073709551615 134542480 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11901/statm: 191619 189178 192 642 0 190975 0
Current children cumulated CPU time (s) 1794.63
Current children cumulated vsize (KiB) 766476

[startup+1796.7 s]
/proc/loadavg: 1.08 1.04 1.00 2/107 11950
/proc/meminfo: memFree=1027080/2059040 swapFree=4135684/4192956
[pid=11901] ppid=11899 vsize=766476 CPUtime=1796.23
/proc/11901/stat : 11901 (bsolo_pb10) R 11899 11901 11457 0 -1 4202496 191931 0 0 0 179205 418 0 0 25 0 1 0 39659929 784871424 189178 1992294400 134512640 137138936 4289421248 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11901/statm: 191619 189178 192 642 0 190975 0
Current children cumulated CPU time (s) 1796.23
Current children cumulated vsize (KiB) 766476

[startup+1797.5 s]
/proc/loadavg: 1.08 1.04 1.00 2/107 11950
/proc/meminfo: memFree=1027080/2059040 swapFree=4135684/4192956
[pid=11901] ppid=11899 vsize=766476 CPUtime=1797.03
/proc/11901/stat : 11901 (bsolo_pb10) R 11899 11901 11457 0 -1 4202496 191931 0 0 0 179285 418 0 0 25 0 1 0 39659929 784871424 189178 1992294400 134512640 137138936 4289421248 18446744073709551615 134542339 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11901/statm: 191619 189178 192 642 0 190975 0
Current children cumulated CPU time (s) 1797.03
Current children cumulated vsize (KiB) 766476

[startup+1798.3 s]
/proc/loadavg: 1.08 1.04 1.00 2/107 11950
/proc/meminfo: memFree=1027080/2059040 swapFree=4135684/4192956
[pid=11901] ppid=11899 vsize=766476 CPUtime=1797.83
/proc/11901/stat : 11901 (bsolo_pb10) R 11899 11901 11457 0 -1 4202496 191931 0 0 0 179365 418 0 0 25 0 1 0 39659929 784871424 189178 1992294400 134512640 137138936 4289421248 18446744073709551615 134542761 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11901/statm: 191619 189178 192 642 0 190975 0
Current children cumulated CPU time (s) 1797.83
Current children cumulated vsize (KiB) 766476

[startup+1798.51 s]
/proc/loadavg: 1.08 1.04 1.00 2/107 11950
/proc/meminfo: memFree=1027080/2059040 swapFree=4135684/4192956
[pid=11901] ppid=11899 vsize=0 CPUtime=1798.03
/proc/11901/stat : 11901 (bsolo_pb10) R 11899 11901 11457 0 -1 4202500 191932 0 0 0 179382 421 0 0 25 0 1 0 39659929 0 0 1992294400 0 0 0 0 0 0 0 4096 16384 18446744073709551615 0 0 17 1 0 0 0
/proc/11901/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1798.03
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 1798.55
CPU time (s): 1798.09
CPU user time (s): 1793.83
CPU system time (s): 4.25935
CPU usage (%): 99.9742
Max. virtual memory (cumulated for all children) (KiB): 775268

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.83
system time used= 4.25935
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 191932
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= 1
involuntary context switches= 3172

runsolver used 2.83957 second user time and 8.62169 second system time

The end

Launcher Data

Begin job on node002 at 2010-06-16 00:22:40
IDJOB=2657290
IDBENCH=25016
IDSOLVER=1163
FILE ID=node002/2657290-1276640560
PBS_JOBID= 11172392
Free space on /tmp= 62568 MiB

SOLVER NAME= bsolo 3.2 Cl
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/decomp/normalized-matrix_5x3_9.opb
COMMAND LINE= bsolo_pb10 -tTIMEOUT -l1 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2657290-1276640560/watcher-2657290-1276640560 -o /tmp/evaluation-result-2657290-1276640560/solver-2657290-1276640560 -C 1800 -W 2000 -M 1800  bsolo_pb10 -t1800 -l1 HOME/instance-2657290-1276640560.opb

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

MD5SUM BENCH= d90f6236f870e45ceb3cd4a6e4593f30
RANDOM SEED=1563936772

node002.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

/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.242
cache size	: 2048 KB
physical id	: 0
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 0
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 constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 6000.48
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.242
cache size	: 2048 KB
physical id	: 3
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 6
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 constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5599.36
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1787364 kB
Buffers:         61620 kB
Cached:         117344 kB
SwapCached:      10756 kB
Active:          95412 kB
Inactive:        97184 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1787364 kB
SwapTotal:     4192956 kB
SwapFree:      4135684 kB
Dirty:            5472 kB
Writeback:           0 kB
AnonPages:       11840 kB
Mapped:           9300 kB
Slab:            57240 kB
PageTables:       4000 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   181460 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    264948 kB
VmallocChunk: 34359471699 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 62564 MiB
End job on node002 at 2010-06-16 00:52:38