Trace number 3744007

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 NameAnswerCPU timeWall clock time
PB07: bsolo 3.0.17SAT (TO) 1800.1 1800.63

General information on the benchmark

Name/OPT-BIGINT-LIN/zahidi/MH+IC/
normalized-minisat15_4_4_8_mh_ic.opb
MD5SUM92eaf5bbbb67d6b3b242e002852c9043
Bench CategoryOPT-BIGINT-LIN (optimisation, big integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark5227195
Best CPU time to get the best result obtained on this benchmark75.5025
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables9765
Total number of constraints21293
Number of constraints which are clauses14520
Number of constraints which are cardinality constraints (but not clauses)23
Number of constraints which are nor clauses,nor cardinality constraints6750
Minimum length of a constraint2
Maximum length of a constraint330
Number of terms in the objective function 4005
Biggest coefficient in the objective function 114791256
Number of bits for the biggest coefficient in the objective function 27
Sum of the numbers in the objective function 4434739271
Number of bits of the sum of numbers in the objective function 33
Biggest number in a constraint 114791256
Number of bits of the biggest number in a constraint 27
Biggest sum of numbers in a constraint 4434739271
Number of bits of the biggest sum of numbers33
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.0.17 - 27/04/2007 : 1600 GMT
0.00/0.00	c Developed by Vasco Manquinho 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 Memory Limit set to 15500 MB
0.00/0.00	c Instance file HOME/instance-3744007-1338799967.opb
0.00/0.00	c File size is 831384 bytes.
0.00/0.01	c Coefficients are big enough for not using lower bounding.
0.02/0.07	c Highest Coefficient sum: 4.43474e+09
0.02/0.07	c Parsing was ok!!
0.02/0.07	c Total parsing time: 0.072 s
0.02/0.08	c Var: 9765 Constr: 21931 15890/26/6015 Lit: 70755 Watch. Lit: 58718
0.02/0.08	c Obj. Vars: 4005 (41.0138 % of total variables)
1.29/1.32	c Pre-processing Time: 1.323 s
1.29/1.35	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.29/1.35	c        0   8745    20558    67835    3    55904   69694      0      0 1.32
1.29/1.35	c      102   8745    20660    81304    3    56137   76664    102     75 1.35
1.29/1.35	o 30075275	1.352
1.29/1.36	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.29/1.36	c      102   8745    20661    84574    4    59409   76234    103     75 1.35
1.29/1.36	o 29982671	1.359
1.29/1.37	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.29/1.37	c      104   8745    20664    87891    4    62682   76234    106     76 1.36
1.29/1.37	o 13913010	1.369
1.38/1.48	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.38/1.48	c      107   8745    20668    91212    4    65958   76234    110     78 1.37
1.38/1.48	c      207   8745    20768    99659    4    66159   83858    210    142 1.45
1.38/1.48	o 13533336	1.481
2.38/2.46	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
2.38/2.46	c      242   8745    20804   106597    5    69499   76234    246    163 1.48
2.38/2.46	c      343   8745    20905   114470    5    69699   83858    347    214 1.60
2.38/2.46	c      595   8721    21157   133309    6    70181   92244    599    318 1.87
2.38/2.46	c     1070   8568    21632   207752    9    71128  101469   1074    467 2.29
2.38/2.46	o 12421487	2.456
2.48/2.50	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
2.48/2.50	c     1260   8568    21823   222085   10    74684   76042   1265    512 2.46
2.48/2.50	o 12364940	2.499
9.28/9.38	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
9.28/9.38	c     1294   8568    21858   227927   10    77925   76042   1300    517 2.50
9.28/9.38	c     1394   8568    21958   233979   10    78124   83647   1400    525 2.65
9.28/9.38	c     1645   8568    22209   270877   12    78627   92012   1651    541 3.04
9.28/9.38	c     2120   8566    22684   332105   14    79576  101214   2126    571 3.71
9.28/9.38	c     2934   8566    23498   462572   19    81204  111336   2940    622 4.71
9.28/9.38	c     4255   8566    24819   608351   24    83845  122470   4261    652 6.52
9.28/9.38	c     6336   8566    26900   954241   35    88006  134718   6342    677 9.35
9.28/9.38	o 12005468	9.37
9.98/10.02	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
9.98/10.02	c     6341   8566    26906   957537   35    91191   76042   6348    676 9.37
9.98/10.02	c     6442   8566    27007   977095   36    91395   83647   6449    675 9.53
9.98/10.02	c     6692   8360    27257  1000419   36    91892   92012   6699    670 9.98
9.98/10.02	o 10798821	10.011
9.98/10.03	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
9.98/10.03	c     6697   8360    27263  1003666   36    95006   75930   6705    668 10.01
9.98/10.03	o 10741725	10.029
9.98/10.05	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
9.98/10.05	c     6697   8360    27264  1006784   36    98110   75930   6706    667 10.03
9.98/10.05	o 10385981	10.047
9.98/10.07	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
9.98/10.07	c     6697   8360    27265  1009902   37   101220   75930   6707    666 10.05
9.98/10.07	o 7610864	10.066
29.07/29.13	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
29.07/29.13	c     6698   8360    27267  1013072   37   104339   75930   6709    665 10.07
29.07/29.13	c     6799   8360    27368  1023829   37   104540   83524   6810    660 10.29
29.07/29.13	c     7049   8360    27618  1048025   37   105059   91877   7060    648 10.87
29.07/29.13	c     7525   8346    28094  1101950   39   106023  101065   7536    619 12.15
29.07/29.13	c     8341   8346    28910  1226640   42   107658  111172   8352    600 13.89
29.07/29.13	c     9662   8346    30231  1477577   48   110301  122290   9673    581 16.61
29.07/29.13	c    11743   8346    32312  1804853   55   114462  134520  11754    548 21.39
29.07/29.13	c    14966   8346    35535  2457616   69   120909  147973  14977    517 28.94
29.07/29.13	o 7535842	29.125
32.28/32.32	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
32.28/32.32	c    15027   8346    35597  2465798   69   124136   75906  15039    515 29.13
32.28/32.32	c    15129   8346    35699  2484782   69   124338   83497  15141    513 29.48
32.28/32.32	c    15379   8346    35949  2525035   70   124839   91847  15391    509 30.18
32.28/32.32	c    15854   8346    36424  2777803   76   125786  101032  15866    500 31.70
32.28/32.32	o 7513078	32.304
32.98/33.03	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
32.98/33.03	c    16042   8346    36613  2803524   76   129271   75906  16055    496 32.31
32.98/33.03	c    16142   8346    36713  2816132   76   129468   83497  16155    494 32.65
32.98/33.03	o 7495784	33.017
37.47/37.54	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
37.47/37.54	c    16257   8346    36829  2830124   76   132807   75906  16271    492 33.02
37.47/37.54	c    16357   8346    36929  2852766   77   133006   83497  16371    490 33.36
37.47/37.54	c    16607   8346    37179  2880721   77   133505   91847  16621    484 34.28
37.47/37.54	c    17082   8346    37654  2990553   79   134455  101032  17096    477 35.78
37.47/37.54	o 7453289	37.529
67.76/67.85	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
67.76/67.85	c    17579   8346    38152  3054253   80   138557   75906  17594    468 37.53
67.76/67.85	c    17683   8346    38256  3106341   81   138762   83497  17698    466 37.93
67.76/67.85	c    17935   8346    38508  3147497   81   139267   91847  17950    463 38.69
67.76/67.85	c    18410   8346    38983  3329967   85   140217  101032  18425    458 40.19
67.76/67.85	c    19225   8346    39798  3478781   87   141847  111136  19240    449 42.77
67.76/67.85	c    20549   8346    41122  4002123   97   144495  122250  20564    430 47.76
67.76/67.85	c    22630   8346    43203  4622491  106   148657  134476  22645    406 55.63
67.76/67.85	o 7438109	67.824
69.16/69.27	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
69.16/69.27	c    25787   8346    46361  5836341  125   158077   75906  25803    380 67.83
69.16/69.27	c    25887   8341    46461  5846152  125   158273   83497  25903    378 68.31
69.16/69.27	o 7188711	69.246
75.46/75.56	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
75.46/75.56	c    26102   8341    46677  5886853  126   161805   75898  26119    376 69.25
75.46/75.56	c    26202   5354    46777  5895175  126   162001   83488  26219    376 69.56
75.46/75.56	c    26453   5354    47028  5915719  125   162504   91837  26470    376 70.33
75.46/75.56	c    26928   5354    47503  5970787  125   163454  101021  26945    373 72.13
75.46/75.56	c    27745   5353    48320  6097080  126   165088  111124  27762    367 75.49
75.46/75.56	o 6666938	75.536
75.46/75.59	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
75.46/75.59	c    27750   5353    48326  6099536  126   167290   74080  27768    367 75.54
75.46/75.59	o 6513840	75.564
75.56/75.64	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
75.56/75.64	c    27752   5353    48329  6101782  126   169489   74080  27771    367 75.57
75.56/75.64	o 6257713	75.619
77.36/77.49	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
77.36/77.49	c    27761   5353    48339  6104564  126   171699   74080  27781    367 75.62
77.36/77.49	c    27863   5353    48441  6113078  126   171904   81489  27883    366 76.02
77.36/77.49	c    28113   5353    48691  6134621  125   172402   89638  28133    366 76.77
77.36/77.49	o 6032997	77.469
80.27/80.34	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
80.27/80.34	c    28298   5353    48877  6149463  125   174966   74080  28319    365 77.47
80.27/80.34	c    28398   5353    48977  6165956  125   175166   81489  28419    364 77.82
80.27/80.34	c    28651   5353    49230  6186179  125   175672   89638  28672    363 78.81
80.27/80.34	c    29126   4618    49705  6224104  125   176620   98602  29147    362 80.27
80.27/80.34	o 5978418	80.313
80.36/80.40	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
80.36/80.40	c    29131   4618    49711  6226116  125   178575   73584  29153    362 80.32
80.36/80.40	o 5905972	80.37
80.56/80.64	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
80.56/80.64	c    29141   4618    49722  6228678  125   180540   73584  29164    362 80.37
80.56/80.64	o 5858433	80.617
94.46/94.58	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
94.46/94.58	c    29191   4618    49773  6234454  125   182585   73584  29215    362 80.62
94.46/94.58	c    29292   4617    49874  6245151  125   182786   80943  29316    361 81.08
94.46/94.58	c    29542   4617    50124  6264603  124   183286   89038  29566    360 81.97
94.46/94.58	c    30017   4616    50599  6302804  124   184235   97942  30041    357 83.97
94.46/94.58	c    30830   4616    51412  6358696  123   185861  107737  30854    354 87.04
94.46/94.58	c    32150   4616    52732  6521452  123   188501  118511  32174    346 92.78
94.46/94.58	o 5705774	94.545
95.96/96.02	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
95.96/96.02	c    32539   4616    53122  6552758  123   191224   73584  32564    344 94.55
95.96/96.02	c    32639   4616    53222  6559957  123   191424   80943  32664    343 94.98
95.96/96.02	o 5639008	95.985
101.35/101.44	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
101.35/101.44	c    32862   4616    53446  6578900  123   193815   73584  32888    342 95.99
101.35/101.44	c    32962   4616    53546  6583359  122   194015   80943  32988    341 96.48
101.35/101.44	c    33212   4616    53796  6601389  122   194515   89038  33238    340 97.45
101.35/101.44	c    33687   4616    54271  6631256  122   195465   97942  33713    338 99.52
101.35/101.44	o 5629271	101.409
108.86/108.99	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
108.86/108.99	c    34113   4616    54698  6674912  122   198262   73584  34140    336 101.41
108.86/108.99	c    34213   4616    54798  6680556  121   198462   80943  34240    335 101.94
108.86/108.99	c    34465   4616    55050  6697452  121   198966   89038  34492    334 103.08
108.86/108.99	c    34941   4616    55526  6736854  121   199918   97942  34968    332 105.22
108.86/108.99	o 5603212	108.954
126.36/126.48	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
126.36/126.48	c    35663   4616    56249  6823179  121   203307   73584  35691    327 108.96
126.36/126.48	c    35764   4616    56350  6830087  121   203509   80943  35792    326 109.49
126.36/126.48	c    36015   4616    56601  6852679  121   204011   89038  36043    325 110.73
126.36/126.48	c    36492   4616    57078  6889656  120   204965   97942  36520    322 113.04
126.36/126.48	c    37306   4616    57892  7055595  121   206593  107737  37334    315 118.11
126.36/126.48	c    38626   4616    59212  7211059  121   209233  118511  38654    309 124.66
126.36/126.48	o 5592048	126.436
139.34/139.42	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
139.34/139.42	c    38998   4616    59585  7248280  121   211922   73584  39027    308 126.44
139.34/139.42	c    39098   4616    59685  7253867  121   212122   80943  39127    307 126.96
139.34/139.42	c    39350   4616    59937  7267407  121   212626   89038  39379    307 128.13
139.34/139.42	c    39826   4616    60413  7321397  121   213578   97942  39855    305 130.57
139.34/139.42	c    40640   4616    61227  7385383  120   215206  107737  40669    302 134.50
139.34/139.42	o 5578639	139.376
328.58/328.73	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
328.58/328.73	c    41445   4616    62033  7504694  120   218761   73584  41475    297 139.38
328.58/328.73	c    41547   4616    62135  7512487  120   218965   80943  41577    296 140.03
328.58/328.73	c    41798   4615    62386  7528973  120   219466   89038  41828    295 141.39
328.58/328.73	c    42273   4615    62861  7609530  121   220416   97942  42303    293 144.01
328.58/328.73	c    43086   4615    63674  7679412  120   222042  107737  43116    289 148.92
328.58/328.73	c    44410   4615    64998  7853976  120   224690  118511  44440    283 156.51
328.58/328.73	c    46491   4615    67079  8067528  120   228852  130363  46521    276 168.27
328.58/328.73	c    49714   4615    70302  8645801  122   235298  143400  49744    265 187.50
328.58/328.73	c    54650   4614    75238  9437215  125   245169  157741  54680    251 217.25
328.58/328.73	c    62156   4612    82744 12022904  145   260179  173516  62186    229 270.44
328.58/328.73	o 5568313	328.631
395.65/395.82	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
395.65/395.82	c    70877   4612    91466 13907365  152   279566   73584  70908    215 328.63
395.65/395.82	c    70978   4612    91567 13934393  152   279768   80943  71009    215 329.63
395.65/395.82	c    71229   4612    91818 13952350  151   280270   89038  71260    214 331.57
395.65/395.82	c    71704   4612    92293 14102496  152   281220   97942  71735    213 335.68
395.65/395.82	c    72518   4612    93107 14250886  153   282848  107737  72549    211 342.23
395.65/395.82	c    73838   4612    94427 14848973  157   285488  118511  73869    208 353.92
395.65/395.82	c    75919   4612    96508 15355176  159   289650  130363  75950    204 371.84
395.65/395.82	o 5562047	395.691
569.33/569.67	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
569.33/569.67	c    78358   4612    98948 16478802  166   296473   73584  78390    198 395.69
569.33/569.67	c    78459   4612    99049 16496470  166   296675   80943  78491    197 396.74
569.33/569.67	c    78711   4612    99301 16576198  166   297179   89038  78743    196 399.68
569.33/569.67	c    79186   4612    99776 16609577  166   298129   97942  79218    196 403.61
569.33/569.67	c    79999   4612   100589 16919422  168   299755  107737  80031    194 411.57
569.33/569.67	c    81320   4612   101910 17125420  168   302397  118511  81352    192 421.83
569.33/569.67	c    83401   4612   103991 18437232  177   306559  130363  83433    188 441.70
569.33/569.67	c    86625   4612   107215 18998388  177   313007  143400  86657    184 468.68
569.33/569.67	c    91562   4612   112152 21440241  191   322881  157741  91594    178 513.28
569.33/569.67	o 5537455	569.411
627.11/627.49	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
627.11/627.49	c    97831   4612   118422 23192279  195   337364   73584  97864    171 569.41
627.11/627.49	c    97932   4612    34774  4776362  137   101040   80943  14216    170 573.53
627.11/627.49	c    98183   4611    35025  4881129  139   101541   89038  14467    170 574.29
627.11/627.49	c    98659   4611    35501  5153944  145   102493   97942  14943    171 575.62
627.11/627.49	c    99476   4611    36318  5333950  146   104127  107737  15760    172 577.49
627.11/627.49	c   100799   4611    37641  6148078  163   106773  118511  17083    173 580.89
627.11/627.49	c   102882   4611    39724  6784387  170   110939  130363  19166    175 586.27
627.11/627.49	c   106107   4610    42949  7277013  169   117388  143400  22391    178 593.65
627.11/627.49	c   111044   4610    47886 10729170  224   127262  157741  27328    180 613.95
627.11/627.49	o 5517061	627.215
640.21/640.50	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
640.21/640.50	c   115633   4610    52476 11948749  227   138385   73584  31918    184 627.22
640.21/640.50	c   115733   4609    52576 11979376  227   138584   80943  32018    184 627.77
640.21/640.50	c   115983   4609    52826 12135578  229   139084   89038  32268    184 629.08
640.21/640.50	c   116458   4609    53301 12307437  230   140034   97942  32743    184 631.23
640.21/640.50	c   117272   4609    54115 12839185  237   141662  107737  33557    184 635.10
640.21/640.50	o 5441313	640.214
823.67/824.04	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
823.67/824.04	c   118476   4609    55320 13415816  242   146015   73584  34762    185 640.22
823.67/824.04	c   118578   4609    55422 13498000  243   146219   80943  34864    185 640.77
823.67/824.04	c   118828   4609    55672 13663745  245   146719   89038  35114    185 641.84
823.67/824.04	c   119303   4609    56147 14020832  249   147669   97942  35589    185 644.61
823.67/824.04	c   120119   4609    56963 14551589  255   149301  107737  36405    185 648.93
823.67/824.04	c   121439   4608    58283 15340908  263   151940  118511  37725    185 656.11
823.67/824.04	c   123520   4608    60364 16913580  280   156102  130363  39806    184 668.42
823.67/824.04	c   126746   4608    63590 18727305  294   162554  143400  43032    184 685.85
823.67/824.04	c   131683   4608    68527 22340174  326   172428  157741  47969    183 716.20
823.67/824.04	c   139189   2781    76033 26684495  350   187439  173516  55475    182 764.46
823.67/824.04	o 5440512	823.729
827.98/828.38	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
827.98/828.38	c   148756   2781    85601 28896137  337   207700   71952  65043    180 823.73
827.98/828.38	c   148857   2781    85702 28912950  337   207903   79148  65144    180 824.57
827.98/828.38	c   149107   2781    85952 28933736  336   208403   87063  65394    180 826.41
827.98/828.38	o 5431214	828.073
852.18/852.57	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
852.18/852.57	c   149352   2781    86198 28945983  335   210021   71952  65640    180 828.08
852.18/852.57	c   149453   2781    86299 28951698  335   210223   79148  65741    180 828.88
852.18/852.57	c   149703   2781    86549 28969389  334   210723   87063  65991    180 830.28
852.18/852.57	c   150178   2781    87024 29026290  333   211673   95770  66466    180 833.70
852.18/852.57	c   150993   2781    87839 29101083  331   213303  105348  67281    180 838.66
852.18/852.57	c   152313   2781    89159 29204073  327   215943  115883  68601    179 847.61
852.18/852.57	o 5395013	852.254
1009.36/1009.74	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1009.36/1009.74	c   152954   2781    89801 29268136  325   218354   71952  69243    179 852.25
1009.36/1009.74	c   153054   2781    89901 29277010  325   218553   79148  69343    179 852.89
1009.36/1009.74	c   153305   2781    90152 29299051  324   219056   87063  69594    179 854.92
1009.36/1009.74	c   153780   2779    90627 29335365  323   220004   95770  70069    179 859.10
1009.36/1009.74	c   154593   2779    91440 29383139  321   221630  105348  70882    178 865.97
1009.36/1009.74	c   155914   2779    92761 29518402  318   224272  115883  72203    178 874.64
1009.36/1009.74	c   157995   2779    94842 29707663  313   228432  127472  74284    177 887.94
1009.36/1009.74	c   161218   2779    98065 30329756  309   234880  140220  77507    176 910.89
1009.36/1009.74	c   166156   2779   103003 30850309  299   244756  154243  82445    175 944.34
1009.36/1009.74	c   173665   2779   110512 31849618  288   259772  169668  89954    173 1000.26
1009.36/1009.74	o 5392474	1009.4
1025.55/1025.90	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1025.55/1025.90	c   174812   2779   111660 31968389  286   263197   71952  91102    173 1009.40
1025.55/1025.90	c   174912   2779    34101  1669669   48   100814   79148  13543    172 1011.90
1025.55/1025.90	c   175164   2779    34353  1689782   49   101318   87063  13795    173 1012.28
1025.55/1025.90	c   175639   2779    34828  1744488   50   102268   95770  14270    173 1013.03
1025.55/1025.90	c   176453   2779    35642  1794388   50   103896  105348  15084    173 1014.20
1025.55/1025.90	c   177773   2778    36962  1929595   52   106535  115883  16404    174 1016.24
1025.55/1025.90	c   179854   2777    39043  2240296   57   110696  127472  18485    176 1019.50
1025.55/1025.90	c   183078   2777    42267  2679016   63   117144  140220  21709    178 1024.46
1025.55/1025.90	o 5362575	1025.56
1042.64/1043.05	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1042.64/1043.05	c   183781   2777    42971  2724228   63   119679   71952  22413    179 1025.56
1042.64/1043.05	c   183883   2777    43073  2735114   63   119883   79148  22515    179 1025.76
1042.64/1043.05	c   184134   2777    43324  2766633   63   120385   87063  22766    179 1026.28
1042.64/1043.05	c   184609   2777    43799  2847142   65   121335   95770  23241    179 1027.34
1042.64/1043.05	c   185422   2777    44612  2948980   66   122961  105348  24054    180 1028.85
1042.64/1043.05	c   186742   2777    45932  3111140   67   125601  115883  25374    181 1031.31
1042.64/1043.05	c   188824   2777    48014  3355809   69   129765  127472  27456    182 1035.43
1042.64/1043.05	c   192047   2777    51237  3712936   72   136211  140220  30679    184 1041.56
1042.64/1043.05	o 5353237	1042.71
1062.84/1063.27	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1062.84/1063.27	c   192600   2777    51791  3786885   73   138446   71952  31233    184 1042.71
1062.84/1063.27	c   192703   2777    51894  3818502   73   138652   79148  31336    184 1042.97
1062.84/1063.27	c   192954   2777    52145  3838668   73   139154   87063  31587    184 1043.54
1062.84/1063.27	c   193429   2777    52620  3971460   75   140104   95770  32062    185 1044.80
1062.84/1063.27	c   194242   2777    53433  4121837   77   141730  105348  32875    185 1046.72
1062.84/1063.27	c   195563   2777    54754  4495060   82   144372  115883  34196    186 1049.57
1062.84/1063.27	c   197647   2774    56838  5297371   93   148537  127472  36280    187 1055.00
1062.84/1063.27	o 5352270	1062.92
1245.71/1246.11	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1245.71/1246.11	c   200820   2774    60012  6258250  104   156012   71952  39454    188 1062.92
1245.71/1246.11	c   200920   2774    60112  6287630  104   156212   79148  39554    188 1063.30
1245.71/1246.11	c   201174   2774    60366  6357153  105   156720   87063  39808    189 1064.10
1245.71/1246.11	c   201649   2774    60841  6454330  106   157670   95770  40283    189 1065.56
1245.71/1246.11	c   202462   2774    61654  6601324  107   159296  105348  41096    189 1067.42
1245.71/1246.11	c   203782   2774    62974  7016981  111   161936  115883  42416    190 1071.50
1245.71/1246.11	c   205863   2774    65055  7560290  116   166098  127472  44497    191 1077.03
1245.71/1246.11	c   209086   2773    68278  8064719  118   172543  140220  47720    192 1086.66
1245.71/1246.11	c   214022   2773    73214  9760927  133   182415  154243  52656    193 1103.48
1245.71/1246.11	c   221530   2773    80722 11553400  143   197431  169668  60164    196 1128.72
1245.71/1246.11	c   232892   2772    92084 14628325  158   220154  186635  71526    198 1174.62
1245.71/1246.11	o 5342102	1245.73
1330.06/1330.52	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1330.06/1330.52	c   249069   2771   108262 19780630  182   253636   71952  87704    199 1245.73
1330.06/1330.52	c   249170   2771    35890  4058204  113   104384   79148  15332    199 1247.44
1330.06/1330.52	c   249423   2771    36143  4122186  114   104890   87063  15585    199 1247.86
1330.06/1330.52	c   249901   2771    36621  4250741  116   105846   95770  16063    200 1248.62
1330.06/1330.52	c   250717   2771    37437  4532218  121   107478  105348  16879    200 1250.10
1330.06/1330.52	c   252037   2771    38757  4944456  127   110118  115883  18199    201 1252.46
1330.06/1330.52	c   254118   2770    40838  5844958  143   114279  127472  20280    202 1256.97
1330.06/1330.52	c   257341   2769    44061  7215535  163   120724  140220  23503    203 1263.98
1330.06/1330.52	c   262279   2769    48999  9324736  190   130600  154243  28441    205 1276.00
1330.06/1330.52	c   269786   2769    56506 12174907  215   145614  169668  35948    208 1294.85
1330.06/1330.52	o 5337528	1330.09
1417.54/1418.08	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1417.54/1418.08	c   280625   2768    67346 17142648  254   168420   71952  46788    210 1330.09
1417.54/1418.08	c   280726   2768    67447 17186542  254   168622   79148  46889    210 1330.49
1417.54/1418.08	c   280977   2768    67698 17282999  255   169124   87063  47140    211 1331.56
1417.54/1418.08	c   281453   2768    68174 17481183  256   170076   95770  47616    211 1333.28
1417.54/1418.08	c   282269   2767    68990 17965661  260   171707  105348  48432    211 1336.90
1417.54/1418.08	c   283589   2766    70310 18783702  267   174346  115883  49752    211 1342.66
1417.54/1418.08	c   285673   2766    72394 19552075  270   178514  127472  51836    211 1350.46
1417.54/1418.08	c   288896   2766    75617 20589442  272   184960  140220  55059    211 1363.30
1417.54/1418.08	c   293833   2765    80554 22321539  277   194833  154243  59996    212 1382.81
1417.54/1418.08	o 5303705	1417.64
1800.07/1800.61	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1800.07/1800.61	c   301057   2763    87779 26204024  298   210409   71952  67221    212 1417.64
1800.07/1800.61	c   301158   2763    87880 26284863  299   210611   79148  67322    212 1418.48
1800.07/1800.61	c   301409   2762    88131 26479757  300   211112   87063  67573    212 1419.88
1800.07/1800.61	c   301885   2762    88607 26780135  302   212064   95770  68049    212 1422.73
1800.07/1800.61	c   302699   2762    89421 27210914  304   213692  105348  68863    212 1427.72
1800.07/1800.61	c   304019   2761    90741 27894002  307   216331  115883  70183    211 1435.66
1800.07/1800.61	c   306102   2757    92824 29095857  313   220494  127472  72266    211 1449.47
1800.07/1800.61	c   309325   2757    96047 30704915  319   226940  140220  75489    210 1467.54
1800.07/1800.61	c   314262   2755   100984 32614286  322   236813  154243  80426    210 1489.94
1800.07/1800.61	c   321769   2754   108491 35155029  324   251826  169668  87933    209 1532.74
1800.07/1800.61	c   333131   2744   119853 41447394  345   274547  186635  99295    205 1618.47
1800.07/1800.61	c   350281   2743   137003 48767100  355   308846  205299 116445    201 1736.45
1800.07/1800.61	c Caught signal: 15
1800.07/1800.61	v -x9392 -x9393 -x9394 -x9395 -x9396 -x9397 -x9398 -x9399 -x9400 -x9401 -x9402 -x9403 -x9404 -x9405 -x9406 -x9408 -x9409 -x9410 -x9411 -x9412 -x9413 -x9414 -x9415 -x9416 -x9417 -x9418 -x9419 -x9420 -x9421 -x9422 -x9424 -x9425 -x9426 -x9427 -x9428 -x9429 x9430 -x9431 -x9432 -x9433 -x9434 -x9435 -x9436 -x9437 -x9438 -x9440 -x9441 -x9442 -x9443 -x9444 -x9445 -x9446 -x9447 -x9448 -x9449 -x9450 -x9451 -x9452 -x9453 -x9454 -x9456 -x9457 -x9458 -x9459 -x9460 -x9461 -x9462 -x9463 -x9464 -x9465 -x9466 -x9467 -x9468 -x9469 -x9470 -x9472 -x9473 -x9474 -x9475 -x9476 -x9477 -x9478 -x9479 -x9480 -x9481 -x9482 -x9483 -x9484 -x9485 -x9486 -x9488 -x9489 -x9490 -x9491 -x9492 -x9493 -x9494 -x9495 -x9496 -x9497 -x9498 -x9499 -x9500 -x9501 -x9502 -x9504 -x9505 -x9506 -x9507 -x9508 -x9509 -x9510 -x9511 -x9512 -x9513 -x9514 -x9515 -x9516 -x9517 -x9518 -x9520 x9521 -x9522 -x9523 -x9524 -x9525 -x9301 -x9302 x9303 -x9304 -x9305 -x9306 -x9307 -x9308 -x9309 -x9311 -x9312 -x9313 -x9314 -x9315 -x9316 -x9317 -x9318 -x9319 -x9320 -x9321 -x9322 -x9323 x9324 -x9325 -x9327 -x9328 -x9329 -x9330 -x9331 -x9332 -x9333 -x9334 -x9335 -x9336 -x9337 -x9338 -x9339 -x9340 -x9341 -x9343 -x9344 -x9345 -x9346 -x9347 -x9348 -x9349 -x9350 -x9351 -x9352 -x9353 -x9354 -x9355 -x9356 -x9357 -x9359 x9360 -x9361 -x9362 -x9363 -x9364 -x9365 -x9366 -x9367 -x9368 -x9369 -x9370 -x9371 -x9372 -x9373 -x9375 -x9376 -x9377 -x9378 -x9379 -x9380 -x9381 -x9382 -x9383 -x9384 -x9385 -x9386 -x9387 x9388 -x9389 -x6212 -x6213 -x6214 -x6215 -x6216 -x6217 -x6218 -x6219 -x6220 -x6221 -x6222 -x6223 -x6224 -x6225 -x6226 -x6228 -x6229 -x6230 -x6231 -x6232 -x6233 -x6234 -x6235 -x6236 -x6237 -x6238 -x6239 -x6240 -x6241 -x6242 -x6244 -x6245 -x6246 -x6247 -x6248 -x6249 -x6250 -x6251 -x6252 -x6253 -x6254 -x6255 -x6256 -x6257 -x6258 -x6260 -x6261 -x6262 -x6263 -x6264 -x6265 -x6266 -x6267 -x6268 -x6269 -x6270 -x6271 -x6272 -x6273 -x6274 -x6276 -x6277 -x6278 -x6279 -x6280 -x6281 -x6282 -x6283 -x6284 -x6285 -x6286 -x6287 -x6288 -x6289 -x6290 -x6292 -x6293 -x6294 -x6295 -x6296 -x6297 -x6298 -x6299 -x6300 -x6301 -x6302 -x6303 -x6304 -x6305 -x6306 -x6308 -x6309 -x6310 -x6311 -x6312 -x6313 -x6314 -x6315 -x6316 -x6317 -x6318 -x6319 -x6320 -x6321 -x6322 -x6324 -x6325 -x6326 -x6327 -x6328 -x6329 -x6330 -x6331 -x6332 -x6333 -x6334 -x6335 -x6336 -x6337 -x6338 -x6340 -x6341 -x6342 -x6343 -x6344 -x6345 x6121 -x6122 -x6123 -x6124 x6125 -x6126 -x6127 -x6128 -x6129 -x6131 x6132 -x6133 -x6134 -x6135 -x6136 -x6137 -x6138 x6139 -x6140 x6141 x6142 -x6143 -x6144 -x6145 -x6147 -x6148 -x6149 -x6150 -x6151 -x6152 -x6153 -x6154 -x6155 -x6156 -x6157 -x6158 -x6159 -x6160 -x6161 -x6163 -x6164 -x6165 -x6166 -x6167 -x6168 -x6169 -x6170 -x6171 -x6172 -x6173 -x6174 -x6175 -x6176 -x6177 -x6179 -x6180 -x6181 -x6182 -x6183 -x6184 -x6185 -x6186 -x6187 -x6188 -x6189 -x6190 -x6191 -x6192 -x6193 -x6195 -x6196 -x6197 -x6198 -x6199 -x6200 -x6201 -x6202 x6203 -x6204 -x6205 -x6206 -x6207 -x6208 x6209 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -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 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -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 -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 -x2000 -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 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 -x1879 -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 -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 -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 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -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 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -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 -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 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -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 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -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 -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 -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 -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 -x2847 -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 -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 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -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 -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 -x3079 -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 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -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 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -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 -x3311 -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 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -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 -x3195 -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 -x3253 -x3254 -x3255 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 x773 -x774 -x775 -x776 -x777 -x778 x779 -x780 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x9167 -x9168 -x9169 -x9170 -x9171 -x9172 -x9173 -x9174 -x9175 -x9176 -x9177 -x9178 -x9179 -x9180 -x9181 -x9183 -x9184 -x9185 -x9186 -x9187 -x9188 -x9189 -x9190 -x9191 -x9192 -x9193 -x9194 -x9195 -x9196 -x9197 -x9199 -x9200 -x9201 -x9202 -x9203 -x9204 -x9205 -x9206 -x9207 -x9208 -x9209 -x9210 -x9211 -x9212 -x9213 -x9215 -x9216 -x9217 -x9218 -x9219 -x9220 -x9221 -x9222 -x9223 -x9224 -x9225 -x9226 -x9227 -x9228 -x9229 -x9231 -x9232 -x9233 -x9234 -x9235 -x9236 -x9237 -x9238 -x9239 -x9240 -x9241 -x9242 -x9243 -x9244 -x9245 -x9247 -x9248 -x9249 -x9250 -x9251 -x9252 -x9253 -x9254 -x9255 -x9256 -x9257 -x9258 -x9259 -x9260 -x9261 -x9263 -x9264 -x9265 -x9266 -x9267 -x9268 -x9269 -x9270 -x9271 -x9272 -x9273 -x9274 -x9275 -x9276 -x9277 -x9279 -x9280 -x9281 -x9282 -x9283 -x9284 -x9285 -x9286 -x9287 -x9288 -x9289 -x9290 -x9291 -x9292 -x9293 -x9295 -x9296 -x9297 -x9298 -x9299 -x9300 -x9076 -x9077 -x9078 -x9079 -x9080 -x9081 -x9082 -x9083 -x9084 -x9086 -x9087 -x9088 -x9089 -x9090 -x9091 -x9092 -x9093 -x9094 -x9095 -x9096 -x9097 -x9098 -x9099 -x9100 -x9102 -x9103 -x9104 -x9105 -x9106 -x9107 -x9108 -x9109 -x9110 -x9111 -x9112 -x9113 -x9114 -x9115 -x9116 -x9118 -x9119 -x9120 -x9121 -x9122 -x9123 -x9124 -x9125 -x9126 -x9127 -x9128 -x9129 -x9130 -x9131 -x9132 -x9134 -x9135 -x9136 -x9137 -x9138 -x9139 -x9140 -x9141 -x9142 -x9143 -x9144 -x9145 -x9146 -x9147 -x9148 -x9150 -x9151 -x9152 -x9153 -x9154 -x9155 -x9156 -x9157 -x9158 -x9159 -x9160 -x9161 -x9162 -x9163 -x9164 -x9526 -x9527 x9528 -x9529 -x9530 -x9531 -x9532 -x9533 x9534 -x9535 -x9536 -x9537 x9538 -x9539 -x9540 -x9632 -x9633 -x9634 -x9635 -x9636 -x9637 -x9638 -x9639 -x9640 -x9641 -x9642 -x9643 -x9644 -x9645 -x9646 x9648 -x9649 -x9650 -x9651 -x9652 -x9653 x9654 -x9655 -x9656 -x9657 x9658 -x9659 -x9660 -x9661 x9662 -x9664 -x9665 -x9666 -x9667 -x9668 -x9669 -x9670 -x9671 -x9672 x9673 -x9674 -x9675 -x9676 -x9677 -x9678 -x9680 -x9681 -x9682 -x9683 -x9684 -x9685 -x9686 -x9687 -x9688 -x9689 -x9690 -x9691 -x9692 -x9693 -x9694 -x9696 -x9697 -x9698 -x9699 -x9700 -x9701 -x9702 -x9703 -x9704 -x9705 -x9706 -x9707 -x9708 -x9709 -x9710 -x9712 -x9713 -x9714 -x9715 -x9716 -x9717 -x9718 -x9719 -x9720 -x9721 -x9722 -x9723 -x9724 -x9725 -x9726 -x9728 -x9729 -x9730 -x9731 -x9732 -x9733 -x9734 -x9735 -x9736 -x9737 -x9738 -x9739 -x9740 -x9741 -x9742 -x9744 -x9745 -x9746 -x9747 -x9748 -x9749 -x9750 -x9751 x9752 -x9753 -x9754 -x9755 -x9756 -x9757 -x9758 -x9760 -x9761 -x9762 x9763 -x9764 -x9765 -x9541 -x9542 -x9543 -x9544 -x9545 -x9546 -x9547 -x9548 -x9549 -x9551 -x9552 -x9553 -x9554 -x9555 -x9556 -x9557 -x9558 -x9559 -x9560 -x9561 -x9562 -x9563 -x9564 -x9565 -x9567 -x9568 -x9569 -x9570 -x9571 -x9572 -x9573 -x9574 -x9575 -x9576 -x9577 -x9578 -x9579 -x9580 -x9581 -x9583 -x9584 -x9585 -x9586 x9587 x9588 -x9589 -x9590 -x9591 -x9592 -x9593 x9594 -x9595 -x9596 -x9597 -x9599 -x9600 -x9601 -x9602 -x9603 -x9604 -x9605 -x9606 -x9607 -x9608 -x9609 -x9610 -x9611 -x9612 -x9613 -x9615 -x9616 -x9617 -x9618 -x9619 -x9620 -x9621 -x9622 -x9623 -x9624 -x9625 -x9626 -x9627 -x9628 -x9629 -x1 x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x9391 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x9407 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x9423 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x9439 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x9455 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x9471 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x9487 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x9503 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x9519 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x9310 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x9326 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x9342 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x9358 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x9374 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x9390 -x6211 -x6227 -x6243 -x6259 -x6275 -x6291 -x6307 -x6323 -x6339 -x6130 -x6146 -x6162 -x6178 -x6194 -x6210 -x9631 -x9647 -x9663 -x9679 -x9695 -x9711 -x9727 -x9743 -x9759 -x9550 -x9566 -x9582 -x9598 -x9614 -x9630 -x7516 -x7517 -x7518 -x7519 -x7520 -x7521 -x7522 -x7523 -x7524 -x7525 -x7526 -x7527 -x7528 -x7529 -x7530 -x7531 -x7532 -x7533 -x7534 -x7535 -x7536 -x7537 -x7538 -x7539 -x7540 -x7541 -x7542 -x7543 -x7544 -x7545 -x7546 -x7547 -x7548 -x7549 -x7550 -x7551 -x7552 -x7553 -x7554 -x7555 -x7556 -x7557 -x7558 -x7559 -x7560 -x7561 -x7562 -x7563 -x7564 -x7565 -x7566 -x7567 -x7568 -x7569 -x7570 -x7571 -x7572 -x7573 -x7574 -x7575 -x7576 -x7577 -x7578 -x7579 -x7580 -x7581 -x7582 -x7583 -x7584 -x7585 -x7586 -x7587 -x7588 -x7589 -x7590 -x7591 -x7592 -x7593 -x7594 -x7595 -x7596 -x7597 -x7598 -x7599 -x7600 -x7601 -x7602 -x7603 -x7604 -x7605 -x7606 -x7607 -x7608 -x7609 -x7610 -x7611 -x7612 -x7613 -x7614 -x7615 -x7616 -x7617 -x7618 -x7619 -x7438 -x7439 -x7440 -x7441 -x7442 -x7443 -x7444 -x7445 -x7446 -x7447 -x7448 -x7449 -x7450 -x7451 -x7452 -x7453 -x7454 -x7455 -x7456 -x7457 -x7458 -x7459 -x7460 -x7461 -x7462 -x7463 -x7464 -x7465 -x7466 -x7467 -x7468 -x7469 -x7470 -x7471 -x7472 -x7473 -x7474 -x7475 -x7476 -x7477 -x7478 -x7479 -x7480 -x7481 -x7482 -x7483 -x7484 -x7485 -x7486 -x7487 -x7488 -x7489 -x7490 -x7491 -x7492 -x7493 -x7494 -x7495 -x7496 -x7497 -x7498 -x7499 -x7500 -x7501 -x7502 -x7503 -x7504 -x7505 -x7506 -x7507 -x7508 -x7509 -x7510 -x7511 -x7512 -x7513 -x7514 -x7515 -x7698 -x7699 -x7700 -x7701 -x7702 -x7703 -x7704 -x7705 -x7706 -x7707 -x7708 -x7709 -x7710 -x7711 -x7712 -x7713 -x7714 -x7715 -x7716 -x7717 -x7718 -x7719 -x7720 -x7721 -x7722 -x7723 -x7724 -x7725 -x7726 -x7727 -x7728 -x7729 -x7730 -x7731 -x7732 -x7733 -x7734 -x7735 -x7736 -x7737 -x7738 -x7739 -x7740 -x7741 -x7742 -x7743 -x7744 -x7745 -x7746 -x7747 -x7748 -x7749 -x7750 -x7751 -x7752 -x7753 -x7754 -x7755 -x7756 -x7757 -x7758 -x7759 -x7760 -x7761 -x7762 -x7763 -x7764 -x7765 -x7766 -x7767 -x7768 -x7769 -x7770 -x7771 -x7772 -x7773 -x7774 -x7775 -x7776 -x7777 -x7778 -x7779 -x7780 -x7781 -x7782 -x7783 -x7784 -x7785 -x7786 -x7787 -x7788 -x7789 -x7790 -x7791 -x7792 -x7793 -x7794 -x7795 -x7796 -x7797 -x7798 -x7799 -x7800 -x7801 -x7620 -x7621 -x7622 -x7623 -x7624 -x7625 -x7626 -x7627 -x7628 -x7629 -x7630 -x7631 -x7632 -x7633 -x7634 -x7635 -x7636 -x7637 -x7638 -x7639 -x7640 -x7641 -x7642 -x7643 -x7644 -x7645 -x7646 -x7647 -x7648 -x7649 -x7650 -x7651 -x7652 -x7653 -x7654 -x7655 -x7656 -x7657 -x7658 -x7659 -x7660 -x7661 -x7662 -x7663 -x7664 -x7665 -x7666 -x7667 -x7668 -x7669 -x7670 -x7671 -x7672 -x7673 -x7674 -x7675 -x7676 -x7677 -x7678 -x7679 -x7680 -x7681 -x7682 -x7683 -x7684 -x7685 -x7686 -x7687 -x7688 -x7689 -x7690 -x7691 -x7692 -x7693 -x7694 -x7695 -x7696 -x7697 -x7880 -x7881 -x7882 -x7883 -x7884 -x7885 -x7886 -x7887 -x7888 -x7889 -x7890 -x7891 -x7892 -x7893 -x7894 -x7895 -x7896 -x7897 -x7898 -x7899 -x7900 -x7901 -x7902 -x7903 -x7904 -x7905 -x7906 -x7907 -x7908 -x7909 -x7910 -x7911 -x7912 -x7913 -x7914 -x7915 -x7916 -x7917 -x7918 -x7919 -x7920 -x7921 -x7922 -x7923 -x7924 -x7925 -x7926 -x7927 -x7928 -x7929 -x7930 -x7931 -x7932 -x7933 -x7934 -x7935 -x7936 -x7937 -x7938 -x7939 -x7940 -x7941 -x7942 -x7943 -x7944 -x7945 -x7946 -x7947 -x7948 -x7949 -x7950 -x7951 -x7952 -x7953 -x7954 -x7955 -x7956 -x7957 -x7958 -x7959 -x7960 -x7961 -x7962 -x7963 -x7964 -x7965 -x7966 -x7967 -x7968 -x7969 -x7970 -x7971 -x7972 -x7973 -x7974 -x7975 -x7976 -x7977 -x7978 -x7979 -x7980 -x7981 -x7982 -x7983 -x7802 -x7803 -x7804 -x7805 -x7806 -x7807 -x7808 -x7809 -x7810 -x7811 -x7812 -x7813 -x7814 -x7815 -x7816 -x7817 -x7818 -x7819 -x7820 -x7821 -x7822 -x7823 -x7824 -x7825 -x7826 -x7827 -x7828 -x7829 -x7830 -x7831 -x7832 -x7833 -x7834 -x7835 -x7836 -x7837 -x7838 -x7839 -x7840 -x7841 -x7842 -x7843 -x7844 -x7845 -x7846 -x7847 -x7848 -x7849 -x7850 -x7851 -x7852 -x7853 -x7854 -x7855 -x7856 -x7857 -x7858 -x7859 -x7860 -x7861 -x7862 -x7863 -x7864 -x7865 -x7866 -x7867 -x7868 -x7869 -x7870 -x7871 -x7872 -x7873 -x7874 -x7875 -x7876 -x7877 -x7878 -x7879 -x8062 -x8063 -x8064 -x8065 -x8066 -x8067 -x8068 -x8069 -x8070 -x8071 -x8072 -x8073 -x8074 -x8075 -x8076 -x8077 -x8078 -x8079 -x8080 -x8081 -x8082 -x8083 -x8084 -x8085 -x8086 -x8087 -x8088 -x8089 -x8090 -x8091 -x8092 -x8093 -x8094 -x8095 -x8096 -x8097 -x8098 -x8099 -x8100 -x8101 -x8102 -x8103 -x8104 -x8105 -x8106 -x8107 -x8108 -x8109 -x8110 -x8111 -x8112 -x8113 -x8114 -x8115 -x8116 -x8117 -x8118 -x8119 -x8120 -x8121 -x8122 -x8123 -x8124 -x8125 -x8126 -x8127 -x8128 -x8129 -x8130 -x8131 -x8132 -x8133 -x8134 -x8135 -x8136 -x8137 -x8138 -x8139 -x8140 -x8141 -x8142 -x8143 -x8144 -x8145 -x8146 -x8147 -x8148 -x8149 -x8150 -x8151 -x8152 -x8153 -x8154 -x8155 -x8156 -x8157 -x8158 -x8159 -x8160 -x8161 -x8162 -x8163 -x8164 -x8165 -x7984 -x7985 -x7986 -x7987 -x7988 -x7989 -x7990 -x7991 -x7992 -x7993 -x7994 -x7995 -x7996 -x7997 -x7998 -x7999 -x8000 -x8001 -x8002 -x8003 -x8004 -x8005 -x8006 -x8007 -x8008 -x8009 -x8010 -x8011 -x8012 -x8013 -x8014 -x8015 -x8016 -x8017 -x8018 -x8019 -x8020 -x8021 -x8022 -x8023 -x8024 -x8025 -x8026 -x8027 -x8028 -x8029 -x8030 -x8031 -x8032 -x8033 -x8034 -x8035 -x8036 -x8037 -x8038 -x8039 -x8040 -x8041 -x8042 -x8043 -x8044 -x8045 -x8046 -x8047 -x8048 -x8049 -x8050 -x8051 -x8052 -x8053 -x8054 -x8055 -x8056 -x8057 -x8058 -x8059 -x8060 -x8061 -x8244 -x8245 -x8246 -x8247 -x8248 -x8249 -x8250 -x8251 -x8252 -x8253 -x8254 -x8255 -x8256 -x8257 -x8258 -x8259 -x8260 -x8261 -x8262 -x8263 -x8264 -x8265 -x8266 -x8267 -x8268 -x8269 -x8270 -x8271 -x8272 -x8273 -x8274 -x8275 -x8276 -x8277 -x8278 -x8279 -x8280 -x8281 -x8282 -x8283 -x8284 -x8285 -x8286 -x8287 -x8288 -x8289 -x8290 -x8291 -x8292 -x8293 -x8294 -x8295 -x8296 -x8297 -x8298 -x8299 -x8300 -x8301 -x8302 -x8303 -x8304 -x8305 -x8306 -x8307 -x8308 -x8309 -x8310 -x8311 -x8312 -x8313 -x8314 -x8315 -x8316 -x8317 -x8318 -x8319 -x8320 -x8321 -x8322 -x8323 -x8324 -x8325 -x8326 -x8327 -x8328 -x8329 -x8330 -x8331 -x8332 -x8333 -x8334 -x8335 -x8336 -x8337 -x8338 -x8339 -x8340 -x8341 -x8342 -x8343 -x8344 -x8345 -x8346 -x8347 -x8166 -x8167 -x8168 -x8169 -x8170 -x8171 -x8172 -x8173 -x8174 -x8175 -x8176 -x8177 -x8178 -x8179 -x8180 -x8181 -x8182 -x8183 -x8184 -x8185 -x8186 -x8187 -x8188 -x8189 -x8190 -x8191 -x8192 -x8193 -x8194 -x8195 -x8196 -x8197 -x8198 -x8199 -x8200 -x8201 -x8202 -x8203 -x8204 -x8205 -x8206 -x8207 -x8208 -x8209 -x8210 -x8211 -x8212 -x8213 -x8214 -x8215 -x8216 -x8217 -x8218 -x8219 -x8220 -x8221 -x8222 -x8223 -x8224 -x8225 -x8226 -x8227 -x8228 -x8229 -x8230 -x8231 -x8232 -x8233 -x8234 -x8235 -x8236 -x8237 -x8238 -x8239 -x8240 -x8241 -x8242 -x8243 -x8426 -x8427 -x8428 -x8429 -x8430 -x8431 -x8432 -x8433 -x8434 -x8435 -x8436 -x8437 -x8438 -x8439 -x8440 -x8441 -x8442 -x8443 -x8444 -x8445 -x8446 -x8447 -x8448 -x8449 -x8450 -x8451 -x8452 -x8453 -x8454 -x8455 -x8456 -x8457 -x8458 -x8459 -x8460 -x8461 -x8462 -x8463 -x8464 -x8465 -x8466 -x8467 -x8468 -x8469 -x8470 -x8471 -x8472 -x8473 -x8474 -x8475 -x8476 -x8477 -x8478 -x8479 -x8480 -x8481 -x8482 -x8483 -x8484 -x8485 -x8486 -x8487 -x8488 -x8489 -x8490 -x8491 -x8492 -x8493 -x8494 -x8495 -x8496 -x8497 -x8498 -x8499 -x8500 -x8501 -x8502 -x8503 -x8504 -x8505 -x8506 -x8507 -x8508 -x8509 -x8510 -x8511 -x8512 -x8513 -x8514 -x8515 -x8516 -x8517 -x8518 -x8519 -x8520 -x8521 -x8522 -x8523 -x8524 -x8525 -x8526 -x8527 -x8528 -x8529 -x8348 -x8349 -x8350 -x8351 -x8352 -x8353 -x8354 -x8355 -x8356 -x8357 -x8358 -x8359 -x8360 -x8361 -x8362 -x8363 -x8364 -x8365 -x8366 -x8367 -x8368 -x8369 -x8370 -x8371 -x8372 -x8373 -x8374 -x8375 -x8376 -x8377 -x8378 -x8379 -x8380 -x8381 -x8382 -x8383 -x8384 -x8385 -x8386 -x8387 -x8388 -x8389 -x8390 -x8391 -x8392 -x8393 -x8394 -x8395 -x8396 -x8397 -x8398 -x8399 -x8400 -x8401 -x8402 -x8403 -x8404 -x8405 -x8406 -x8407 -x8408 -x8409 -x8410 -x8411 -x8412 -x8413 -x8414 -x8415 -x8416 -x8417 -x8418 -x8419 -x8420 -x8421 -x8422 -x8423 -x8424 -x8425 -x8608 -x8609 -x8610 -x8611 -x8612 -x8613 -x8614 -x8615 -x8616 -x8617 -x8618 -x8619 -x8620 -x8621 -x8622 -x8623 -x8624 -x8625 -x8626 -x8627 -x8628 -x8629 -x8630 -x8631 -x8632 -x8633 -x8634 -x8635 -x8636 -x8637 -x8638 -x8639 -x8640 -x8641 -x8642 -x8643 -x8644 -x8645 -x8646 -x8647 -x8648 -x8649 -x8650 -x8651 -x8652 -x8653 -x8654 -x8655 -x8656 -x8657 -x8658 -x8659 -x8660 -x8661 -x8662 -x8663 -x8664 -x8665 -x8666 -x8667 -x8668 -x8669 -x8670 -x8671 -x8672 -x8673 -x8674 -x8675 -x8676 -x8677 -x8678 -x8679 -x8680 -x8681 -x8682 -x8683 -x8684 -x8685 -x8686 -x8687 -x8688 -x8689 -x8690 -x8691 -x8692 -x8693 -x8694 -x8695 -x8696 -x8697 -x8698 -x8699 -x8700 -x8701 -x8702 -x8703 -x8704 -x8705 -x8706 -x8707 -x8708 -x8709 -x8710 -x8711 -x8530 -x8531 -x8532 -x8533 -x8534 -x8535 -x8536 -x8537 -x8538 -x8539 -x8540 -x8541 -x8542 -x8543 -x8544 -x8545 -x8546 -x8547 -x8548 -x8549 -x8550 -x8551 -x8552 -x8553 -x8554 -x8555 -x8556 -x8557 -x8558 -x8559 -x8560 -x8561 -x8562 -x8563 -x8564 -x8565 -x8566 -x8567 -x8568 -x8569 -x8570 -x8571 -x8572 -x8573 -x8574 -x8575 -x8576 -x8577 -x8578 -x8579 -x8580 -x8581 -x8582 -x8583 -x8584 -x8585 -x8586 -x8587 -x8588 -x8589 -x8590 -x8591 -x8592 -x8593 -x8594 -x8595 -x8596 -x8597 -x8598 -x8599 -x8600 -x8601 -x8602 -x8603 -x8604 -x8605 -x8606 -x8607 -x8790 -x8791 -x8792 -x8793 -x8794 -x8795 -x8796 -x8797 -x8798 -x8799 -x8800 -x8801 -x8802 -x8803 -x8804 -x8805 -x8806 -x8807 -x8808 -x8809 -x8810 -x8811 -x8812 -x8813 -x8814 -x8815 -x8816 -x8817 -x8818 -x8819 -x8820 -x8821 -x8822 -x8823 -x8824 -x8825 -x8826 -x8827 -x8828 -x8829 -x8830 -x8831 -x8832 -x8833 -x8834 -x8835 -x8836 -x8837 -x8838 -x8839 -x8840 -x8841 -x8842 -x8843 -x8844 -x8845 -x8846 -x8847 -x8848 -x8849 -x8850 -x8851 -x8852 -x8853 -x8854 -x8855 -x8856 -x8857 -x8858 -x8859 -x8860 -x8861 -x8862 -x8863 -x8864 -x8865 -x8866 -x8867 -x8868 -x8869 -x8870 -x8871 -x8872 -x8873 -x8874 -x8875 -x8876 -x8877 -x8878 -x8879 -x8880 -x8881 -x8882 -x8883 -x8884 -x8885 -x8886 -x8887 -x8888 -x8889 -x8890 -x8891 -x8892 -x8893 -x8712 -x8713 -x8714 -x8715 -x8716 -x8717 -x8718 -x8719 -x8720 -x8721 -x8722 -x8723 -x8724 -x8725 -x8726 -x8727 -x8728 -x8729 -x8730 -x8731 -x8732 -x8733 -x8734 -x8735 -x8736 -x8737 -x8738 -x8739 -x8740 -x8741 -x8742 -x8743 -x8744 -x8745 -x8746 -x8747 -x8748 -x8749 -x8750 -x8751 -x8752 -x8753 -x8754 -x8755 -x8756 -x8757 -x8758 -x8759 -x8760 -x8761 -x8762 -x8763 -x8764 -x8765 -x8766 -x8767 -x8768 -x8769 -x8770 -x8771 -x8772 -x8773 -x8774 -x8775 -x8776 -x8777 -x8778 -x8779 -x8780 -x8781 -x8782 -x8783 -x8784 -x8785 -x8786 -x8787 -x8788 -x8789 -x8972 -x8973 -x8974 -x8975 -x8976 -x8977 -x8978 -x8979 -x8980 -x8981 -x8982 -x8983 -x8984 -x8985 -x8986 -x8987 -x8988 -x8989 -x8990 -x8991 -x8992 -x8993 -x8994 -x8995 -x8996 -x8997 -x8998 -x8999 -x9000 -x9001 -x9002 -x9003 -x9004 -x9005 -x9006 -x9007 -x9008 -x9009 -x9010 -x9011 -x9012 -x9013 -x9014 -x9015 -x9016 -x9017 -x9018 -x9019 -x9020 -x9021 -x9022 -x9023 -x9024 -x9025 -x9026 -x9027 -x9028 -x9029 -x9030 -x9031 -x9032 -x9033 -x9034 -x9035 -x9036 -x9037 -x9038 -x9039 -x9040 -x9041 -x9042 -x9043 -x9044 -x9045 -x9046 -x9047 -x9048 -x9049 -x9050 -x9051 -x9052 -x9053 -x9054 -x9055 -x9056 -x9057 -x9058 -x9059 -x9060 -x9061 -x9062 -x9063 -x9064 -x9065 -x9066 -x9067 -x9068 -x9069 -x9070 -x9071 -x9072 -x9073 -x9074 -x9075 -x8894 -x8895 -x8896 -x8897 -x8898 -x8899 -x8900 -x8901 -x8902 -x8903 -x8904 -x8905 -x8906 -x8907 -x8908 -x8909 -x8910 -x8911 -x8912 -x8913 -x8914 -x8915 -x8916 -x8917 -x8918 -x8919 -x8920 -x8921 -x8922 -x8923 -x8924 -x8925 -x8926 -x8927 -x8928 -x8929 -x8930 -x8931 -x8932 -x8933 -x8934 -x8935 -x8936 -x8937 -x8938 -x8939 -x8940 -x8941 -x8942 -x8943 -x8944 -x8945 -x8946 -x8947 -x8948 -x8949 -x8950 -x8951 -x8952 -x8953 -x8954 -x8955 -x8956 -x8957 -x8958 -x8959 -x8960 -x8961 -x8962 -x8963 -x8964 -x8965 -x8966 -x8967 -x8968 -x8969 -x8970 -x8971 -x6411 x6412 -x6413 -x6414 -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 -x6441 -x6442 -x6443 -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 -x6470 -x6471 -x6472 -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 -x6499 -x6500 -x6501 -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 -x6346 -x6347 -x6348 -x6349 -x6350 -x6351 -x6352 -x6353 -x6354 -x6355 -x6356 -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 -x6383 -x6384 -x6385 -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 -x6593 -x6594 -x6595 -x6596 -x6597 -x6598 -x6599 -x6600 -x6601 -x6602 -x6603 -x6604 -x6605 -x6606 -x6607 -x6608 -x6609 -x6610 -x6611 -x6612 -x6613 -x6614 -x6615 -x6616 -x6617 -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 -x6644 -x6645 -x6646 -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 -x6673 -x6674 -x6675 -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 -x6702 -x6703 -x6704 -x6705 -x6706 -x6707 -x6708 -x6709 -x6528 -x6529 -x6530 -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 -x6557 -x6558 -x6559 -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 -x6586 -x6587 -x6588 -x6589 -x6590 -x6591 -x6592 -x6775 -x6776 -x6777 -x6778 -x6779 -x6780 -x6781 -x6782 -x6783 -x6784 -x6785 -x6786 -x6787 -x6788 -x6789 -x6790 -x6791 -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 -x6818 -x6819 -x6820 -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 -x6847 -x6848 -x6849 -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 -x6876 -x6877 -x6878 -x6879 -x6880 -x6881 -x6882 -x6883 -x6884 -x6885 -x6886 -x6887 -x6888 -x6889 -x6890 -x6891 -x6710 -x6711 -x6712 -x6713 -x6714 -x6715 -x6716 -x6717 -x6718 -x6719 -x6720 -x6721 -x6722 -x6723 -x6724 -x6725 -x6726 -x6727 -x6728 -x6729 -x6730 -x6731 -x6732 -x6733 -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 -x6760 -x6761 -x6762 -x6763 -x6764 -x6765 -x6766 -x6767 -x6768 -x6769 -x6770 -x6771 -x6772 -x6773 -x6774 -x6957 -x6958 -x6959 -x6960 -x6961 -x6962 -x6963 -x6964 -x6965 -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 -x6992 -x6993 -x6994 -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 -x7021 -x7022 -x7023 -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 -x7050 -x7051 -x7052 -x7053 -x7054 -x7055 -x7056 -x7057 -x7058 -x7059 -x7060 -x7061 -x7062 -x7063 -x7064 -x7065 -x7066 -x7067 -x7068 -x7069 -x7070 -x7071 -x7072 -x7073 -x6892 -x6893 -x6894 -x6895 -x6896 -x6897 -x6898 -x6899 -x6900 -x6901 -x6902 -x6903 -x6904 -x6905 -x6906 -x6907 -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 -x6934 -x6935 -x6936 -x6937 -x6938 -x6939 -x6940 -x6941 -x6942 -x6943 -x6944 -x6945 -x6946 -x6947 -x6948 -x6949 -x6950 -x6951 -x6952 -x6953 -x6954 -x6955 -x6956 -x7139 -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 -x7166 -x7167 -x7168 -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 -x7195 -x7196 -x7197 -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 -x7224 -x7225 -x7226 -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 -x7253 -x7254 -x7255 -x7074 -x7075 -x7076 -x7077 -x7078 -x7079 -x7080 -x7081 -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 -x7108 -x7109 -x7110 -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 -x7137 -x7138 -x7321 -x7322 -x7323 -x7324 -x7325 -x7326 -x7327 -x7328 -x7329 -x7330 -x7331 -x7332 -x7333 -x7334 -x7335 -x7336 -x7337 -x7338 -x7339 -x7340 -x7341 -x7342 -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 -x7369 -x7370 -x7371 -x7372 -x7373 -x7374 -x7375 -x7376 -x7377 -x7378 -x7379 -x7380 -x7381 -x7382 -x7383 -x7384 -x7385 -x7386 -x7387 -x7388 -x7389 -x7390 -x7391 -x7392 -x7393 -x7394 -x7395 -x7396 -x7397 -x7398 -x7399 -x7400 -x7401 -x7402 -x7403 -x7404 -x7405 -x7406 -x7407 -x7408 -x7409 -x7410 -x7411 -x7412 -x7413 -x7414 -x7415 -x7416 -x7417 -x7418 -x7419 -x7420 -x7421 -x7422 x7423 -x7424 -x7425 -x7426 -x7427 -x7428 -x7429 -x7430 -x7431 -x7432 -x7433 -x7434 -x7435 -x7436 -x7437 -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 -x7282 -x7283 -x7284 -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 -x7311 -x7312 -x7313 -x7314 -x7315 -x7316 -x7317 -x7318 -x7319 x7320 -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 -x4587 -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 -x4645 -x4646 -x4647 -x4648 -x4649 -x4650 -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 -x4660 -x4661 -x4662 -x4663 -x4664 -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 -x4529 -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 -x4743 -x4744 -x4745 -x4746 -x4747 -x4748 -x4749 -x4750 -x4751 -x4752 -x4753 -x4754 -x4755 -x4756 -x4757 -x4758 -x4759 -x4760 -x4761 -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 -x4819 -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 -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 -x4703 -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 -x4925 -x4926 -x4927 -x4928 -x4929 -x4930 -x4931 -x4932 -x4933 -x4934 -x4935 -x4936 -x4937 -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 -x4964 -x4965 -x4966 -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 -x4993 -x4994 -x4995 -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 -x5022 -x5023 -x5024 -x5025 -x5026 -x5027 -x5028 -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 -x4877 -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 -x5107 -x5108 -x5109 -x5110 -x5111 -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 -x5138 -x5139 -x5140 -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 -x5167 -x5168 -x5169 -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 -x5196 -x5197 -x5198 -x5199 -x5200 -x5201 -x5202 -x5203 -x5204 -x5205 -x5206 -x5207 -x5208 -x5209 -x5210 -x5029 -x5030 -x5031 -x5032 -x5033 -x5034 -x5035 -x5036 -x5037 -x5038 -x5039 -x5040 -x5041 -x5042 -x5043 -x5044 -x5045 -x5046 -x5047 -x5048 -x5049 -x5050 -x5051 -x5052 -x5053 -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 -x5080 -x5081 -x5082 -x5083 -x5084 -x5085 -x5086 -x5087 -x5088 -x5089 -x5090 -x5091 -x5092 -x5093 -x5094 -x5095 -x5096 -x5097 -x5098 -x5099 -x5100 -x5101 -x5102 -x5103 -x5104 -x5105 -x5106 -x5289 -x5290 -x5291 -x5292 -x5293 -x5294 -x5295 -x5296 -x5297 -x5298 -x5299 -x5300 -x5301 -x5302 -x5303 -x5304 -x5305 -x5306 -x5307 -x5308 -x5309 -x5310 -x5311 -x5312 -x5313 -x5314 -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 -x5341 -x5342 -x5343 -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 -x5370 -x5371 -x5372 -x5373 -x5374 -x5375 -x5376 -x5377 -x5378 -x5379 -x5380 -x5381 -x5382 -x5383 -x5384 -x5385 -x5386 -x5387 -x5388 -x5389 -x5390 -x5391 -x5392 -x5211 -x5212 -x5213 -x5214 -x5215 -x5216 -x5217 -x5218 -x5219 -x5220 -x5221 -x5222 -x5223 -x5224 -x5225 -x5226 -x5227 -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 -x5254 -x5255 -x5256 -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 -x5283 -x5284 -x5285 -x5286 -x5287 -x5288 -x5471 -x5472 -x5473 -x5474 -x5475 -x5476 -x5477 -x5478 -x5479 -x5480 -x5481 -x5482 -x5483 -x5484 -x5485 -x5486 -x5487 -x5488 -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 -x5515 -x5516 -x5517 -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 -x5544 -x5545 -x5546 -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 -x5573 -x5574 -x5393 -x5394 -x5395 -x5396 -x5397 -x5398 -x5399 -x5400 -x5401 -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 -x5428 -x5429 -x5430 -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 -x5457 -x5458 -x5459 -x5460 -x5461 -x5462 -x5463 -x5464 -x5465 -x5466 -x5467 -x5468 -x5469 -x5470 -x5653 -x5654 -x5655 -x5656 -x5657 -x5658 -x5659 -x5660 -x5661 -x5662 -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 -x5689 -x5690 -x5691 -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 -x5718 -x5719 -x5720 -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 -x5747 -x5748 -x5749 -x5750 -x5751 -x5752 -x5753 -x5754 -x5755 -x5756 -x5575 -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 -x5602 -x5603 -x5604 -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 -x5631 -x5632 -x5633 -x5634 -x5635 -x5636 -x5637 -x5638 -x5639 -x5640 -x5641 -x5642 -x5643 -x5644 -x5645 -x5646 -x5647 -x5648 -x5649 -x5650 -x5651 -x5652 -x5835 -x5836 -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 -x5863 -x5864 -x5865 -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 -x5892 -x5893 -x5894 -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 -x5921 -x5922 -x5923 -x5924 -x5925 -x5926 -x5927 -x5928 -x5929 -x5930 -x5931 -x5932 -x5933 -x5934 -x5935 -x5936 -x5937 -x5938 -x5757 -x5758 -x5759 -x5760 -x5761 -x5762 -x5763 -x5764 -x5765 -x5766 -x5767 -x5768 -x5769 -x5770 -x5771 -x5772 -x5773 -x5774 -x5775 -x5776 -x5777 -x5778 -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 -x5805 -x5806 -x5807 -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 -x5834 -x6017 -x6018 -x6019 -x6020 -x6021 -x6022 -x6023 -x6024 -x6025 -x6026 -x6027 -x6028 -x6029 -x6030 -x6031 -x6032 -x6033 -x6034 -x6035 -x6036 -x6037 -x6038 -x6039 -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 -x6066 -x6067 -x6068 -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 -x6095 -x6096 -x6097 -x6098 -x6099 -x6100 -x6101 -x6102 -x6103 -x6104 -x6105 -x6106 -x6107 -x6108 -x6109 -x6110 -x6111 -x6112 -x6113 -x6114 -x6115 -x6116 -x6117 -x6118 -x6119 -x6120 -x5939 -x5940 -x5941 -x5942 -x5943 -x5944 -x5945 -x5946 -x5947 -x5948 -x5949 -x5950 -x5951 -x5952 -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 -x5979 -x5980 -x5981 -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 -x6008 -x6009 -x6010 -x6011 -x6012 -x6013 -x6014 -x6015 -x6016 -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 -x3485 -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 -x3543 -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 -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 -x3427 -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 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -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 -x3717 -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 -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 -x3601 -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 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -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 -x3891 -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 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -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 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -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 -x4065 -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 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -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 -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 -x4239 -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 -x4297 -x4298 -x4299 -x4300 -x4119 -x4120 -x4121 -x4122 -x4123 -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 -x4181 -x4182 -x4183 -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 -x4413 -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 -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 -x4480 -x4481 -x4482 -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 -x4355 -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x9166 -x9182 -x9198 -x9214 -x9230 -x9246 -x9262 -x9278 -x9294 -x9085 -x9101 -x9117 -x9133 -x9149 -x9165 
1800.07/1800.61	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1800.07/1800.61	c  227   358245 141661   905408   144967 51495124 124409    199 1800.09
1800.07/1800.61	c Objective: 5303705
1800.07/1800.61	s SATISFIABLE
1800.07/1800.61	c Total time: 1800.09 s

Verifier Data

OK	5303705

Watcher Data

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3744007-1338799967/watcher-3744007-1338799967 -o /tmp/evaluation-result-3744007-1338799967/solver-3744007-1338799967 -C 1800 -W 1900 -M 15500 bsolo3.0.17 -m15500 HOME/instance-3744007-1338799967.opb 

running on 4 cores: 0,2,4,6

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): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 1.96 2.00 2.00 3/176 30936
/proc/meminfo: memFree=28220640/32873844 swapFree=6872/6872
[pid=30936] ppid=30934 vsize=4476 CPUtime=0 cores=0,2,4,6
/proc/30936/stat : 30936 (bsolo3.0.17) R 30934 30936 30003 0 -1 4194304 127 0 0 0 0 0 0 0 20 0 1 0 346125213 4583424 77 33554432000 134512640 135840783 4293527824 4293526964 7175820 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/30936/statm: 1119 100 81 325 0 39 0

[startup+0.0362719 s]
/proc/loadavg: 1.96 2.00 2.00 3/176 30936
/proc/meminfo: memFree=28220640/32873844 swapFree=6872/6872
[pid=30936] ppid=30934 vsize=6784 CPUtime=0.02 cores=0,2,4,6
/proc/30936/stat : 30936 (bsolo3.0.17) R 30934 30936 30003 0 -1 4202496 897 0 0 0 2 0 0 0 20 0 1 0 346125213 6946816 833 33554432000 134512640 135840783 4293527824 4293526384 2610471 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/30936/statm: 1696 833 407 325 0 429 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 6784

[startup+0.100222 s]
/proc/loadavg: 1.96 2.00 2.00 3/176 30936
/proc/meminfo: memFree=28220640/32873844 swapFree=6872/6872
[pid=30936] ppid=30934 vsize=9912 CPUtime=0.09 cores=0,2,4,6
/proc/30936/stat : 30936 (bsolo3.0.17) R 30934 30936 30003 0 -1 4202496 1976 0 0 0 9 0 0 0 20 0 1 0 346125213 10149888 1709 33554432000 134512640 135840783 4293527824 4293409724 9782320 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/30936/statm: 2478 1709 344 325 0 1414 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9912

[startup+0.300184 s]
/proc/loadavg: 1.96 2.00 2.00 3/176 30936
/proc/meminfo: memFree=28220640/32873844 swapFree=6872/6872
[pid=30936] ppid=30934 vsize=9912 CPUtime=0.28 cores=0,2,4,6
/proc/30936/stat : 30936 (bsolo3.0.17) R 30934 30936 30003 0 -1 4202496 1977 0 0 0 28 0 0 0 20 0 1 0 346125213 10149888 1710 33554432000 134512640 135840783 4293527824 4293409584 134551383 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/30936/statm: 2478 1710 344 325 0 1414 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 9912

[startup+0.700185 s]
/proc/loadavg: 1.96 2.00 2.00 3/176 30936
/proc/meminfo: memFree=28220640/32873844 swapFree=6872/6872
[pid=30936] ppid=30934 vsize=9912 CPUtime=0.68 cores=0,2,4,6
/proc/30936/stat : 30936 (bsolo3.0.17) R 30934 30936 30003 0 -1 4202496 1977 0 0 0 68 0 0 0 20 0 1 0 346125213 10149888 1710 33554432000 134512640 135840783 4293527824 4293409360 2608030 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/30936/statm: 2478 1710 344 325 0 1414 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 9912

[startup+1.5002 s]
/proc/loadavg: 1.96 2.00 2.00 3/177 30937
/proc/meminfo: memFree=28214804/32873844 swapFree=6872/6872
[pid=30936] ppid=30934 vsize=10712 CPUtime=1.48 cores=0,2,4,6
/proc/30936/stat : 30936 (bsolo3.0.17) R 30934 30936 30003 0 -1 4202496 2293 0 0 0 147 1 0 0 20 0 1 0 346125213 10969088 1948 33554432000 134512640 135840783 4293527824 4293527184 134551084 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/30936/statm: 2678 1948 351 325 0 1614 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 10712

[startup+3.10018 s]
/proc/loadavg: 1.96 2.00 2.00 3/177 30937
/proc/meminfo: memFree=28212828/32873844 swapFree=6872/6872
[pid=30936] ppid=30934 vsize=13100 CPUtime=3.09 cores=0,2,4,6
/proc/30936/stat : 30936 (bsolo3.0.17) R 30934 30936 30003 0 -1 4202496 2888 0 0 0 307 2 0 0 20 0 1 0 346125213 13414400 2543 33554432000 134512640 135840783 4293527824 4293527184 134551175 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/30936/statm: 3275 2543 351 325 0 2211 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 13100

[startup+6.30018 s]
/proc/loadavg: 1.97 2.00 2.00 3/177 30937
/proc/meminfo: memFree=28206752/32873844 swapFree=6872/6872
[pid=30936] ppid=30934 vsize=17336 CPUtime=6.28 cores=0,2,4,6
/proc/30936/stat : 30936 (bsolo3.0.17) R 30934 30936 30003 0 -1 4202496 3952 0 0 0 626 2 0 0 20 0 1 0 346125213 17752064 3607 33554432000 134512640 135840783 4293527824 4293527184 134551186 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/30936/statm: 4334 3607 351 325 0 3270 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 17336

[startup+12.7002 s]
/proc/loadavg: 1.97 2.00 2.00 3/177 30937
/proc/meminfo: memFree=28196600/32873844 swapFree=6872/6872
[pid=30936] ppid=30934 vsize=25164 CPUtime=12.68 cores=0,2,4,6
/proc/30936/stat : 30936 (bsolo3.0.17) R 30934 30936 30003 0 -1 4202496 5886 0 0 0 1266 2 0 0 20 0 1 0 346125213 25767936 5541 33554432000 134512640 135840783 4293527824 4293527184 134551347 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/30936/statm: 6291 5541 351 325 0 5227 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 25164

[startup+25.5002 s]
/proc/loadavg: 1.97 2.00 2.00 3/177 30938
/proc/meminfo: memFree=28179348/32873844 swapFree=6872/6872
[pid=30936] ppid=30934 vsize=39764 CPUtime=25.48 cores=0,2,4,6
/proc/30936/stat : 30936 (bsolo3.0.17) R 30934 30936 30003 0 -1 4202496 9539 0 0 0 2545 3 0 0 20 0 1 0 346125213 40718336 9194 33554432000 134512640 135840783 4293527824 4293527184 134551365 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/30936/statm: 9941 9194 351 325 0 8877 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 39764

[startup+51.1002 s]
/proc/loadavg: 1.98 2.00 2.00 3/177 30938
/proc/meminfo: memFree=28146812/32873844 swapFree=6872/6872
[pid=30936] ppid=30934 vsize=67480 CPUtime=51.07 cores=0,2,4,6
/proc/30936/stat : 30936 (bsolo3.0.17) R 30934 30936 30003 0 -1 4202496 16475 0 0 0 5102 5 0 0 20 0 1 0 346125213 69099520 16130 33554432000 134512640 135840783 4293527824 4293527184 134550863 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/30936/statm: 16870 16130 351 325 0 15806 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 67480

[startup+102.307 s]
/proc/loadavg: 1.99 2.00 2.00 3/177 30938
/proc/meminfo: memFree=28100480/32873844 swapFree=6872/6872
[pid=30936] ppid=30934 vsize=99640 CPUtime=102.26 cores=0,2,4,6
/proc/30936/stat : 30936 (bsolo3.0.17) R 30934 30936 30003 0 -1 4202496 24514 0 0 0 10219 7 0 0 20 0 1 0 346125213 102031360 24169 33554432000 134512640 135840783 4293527824 4293527184 134551084 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/30936/statm: 24910 24169 351 325 0 23846 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 99640

[startup+162.3 s]
/proc/loadavg: 1.99 2.00 2.00 3/177 30938
/proc/meminfo: memFree=28065292/32873844 swapFree=6872/6872
[pid=30936] ppid=30934 vsize=117148 CPUtime=162.24 cores=0,2,4,6
/proc/30936/stat : 30936 (bsolo3.0.17) R 30934 30936 30003 0 -1 4202496 28894 0 0 0 16215 9 0 0 20 0 1 0 346125213 119959552 28549 33554432000 134512640 135840783 4293527824 4293527184 134551093 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/30936/statm: 29287 28549 351 325 0 28223 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 117148

[startup+222.3 s]
/proc/loadavg: 1.99 2.00 2.00 3/177 30938
/proc/meminfo: memFree=27998732/32873844 swapFree=6872/6872
[pid=30936] ppid=30934 vsize=138492 CPUtime=222.22 cores=0,2,4,6
/proc/30936/stat : 30936 (bsolo3.0.17) R 30934 30936 30003 0 -1 4202496 34231 0 0 0 22211 11 0 0 20 0 1 0 346125213 141815808 33886 33554432000 134512640 135840783 4293527824 4293527184 134551084 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/30936/statm: 34623 33886 351 325 0 33559 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 138492

[startup+282.3 s]
/proc/loadavg: 1.99 2.00 2.00 3/177 30938
/proc/meminfo: memFree=27934900/32873844 swapFree=6872/6872
[pid=30936] ppid=30934 vsize=175716 CPUtime=282.19 cores=0,2,4,6
/proc/30936/stat : 30936 (bsolo3.0.17) R 30934 30936 30003 0 -1 4202496 43527 0 0 0 28206 13 0 0 20 0 1 0 346125213 179933184 43182 33554432000 134512640 135840783 4293527824 4293527184 134550872 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/30936/statm: 43929 43182 351 325 0 42865 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 175716

[startup+342.3 s]
/proc/loadavg: 1.99 2.00 2.00 3/177 30939
/proc/meminfo: memFree=27859040/32873844 swapFree=6872/6872
[pid=30936] ppid=30934 vsize=200408 CPUtime=342.18 cores=0,2,4,6
/proc/30936/stat : 30936 (bsolo3.0.17) R 30934 30936 30003 0 -1 4202496 49692 0 0 0 34202 16 0 0 20 0 1 0 346125213 205217792 49347 33554432000 134512640 135840783 4293527824 4293527184 134551368 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/30936/statm: 50102 49347 351 325 0 49038 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 200408

[startup+402.3 s]
/proc/loadavg: 1.99 2.00 2.00 3/177 30939
/proc/meminfo: memFree=27780964/32873844 swapFree=6872/6872
[pid=30936] ppid=30934 vsize=230844 CPUtime=402.14 cores=0,2,4,6
/proc/30936/stat : 30936 (bsolo3.0.17) R 30934 30936 30003 0 -1 4202496 57355 0 0 0 40196 18 0 0 20 0 1 0 346125213 236384256 56997 33554432000 134512640 135840783 4293527824 4293527184 134550779 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/30936/statm: 57711 56997 351 325 0 56647 0
Current children cumulated CPU time (s) 402.14
Current children cumulated vsize (KiB) 230844

[startup+462.3 s]
/proc/loadavg: 1.99 2.00 2.00 3/178 30942
/proc/meminfo: memFree=27702740/32873844 swapFree=6872/6872
[pid=30936] ppid=30934 vsize=259324 CPUtime=462.1 cores=0,2,4,6
/proc/30936/stat : 30936 (bsolo3.0.17) R 30934 30936 30003 0 -1 4202496 64489 0 0 0 46190 20 0 0 20 0 1 0 346125213 265547776 64088 33554432000 134512640 135840783 4293527824 4293527184 134551084 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/30936/statm: 64831 64088 351 325 0 63767 0
Current children cumulated CPU time (s) 462.1
Current children cumulated vsize (KiB) 259324

[startup+522.3 s]
/proc/loadavg: 1.99 2.00 2.00 3/178 30965
/proc/meminfo: memFree=27642132/32873844 swapFree=6872/6872
[pid=30936] ppid=30934 vsize=298212 CPUtime=522.05 cores=0,2,4,6
/proc/30936/stat : 30936 (bsolo3.0.17) R 30934 30936 30003 0 -1 4202496 74271 0 0 0 52182 23 0 0 20 0 1 0 346125213 305369088 73827 33554432000 134512640 135840783 4293527824 4293527184 134551093 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/30936/statm: 74553 73827 351 325 0 73489 0
Current children cumulated CPU time (s) 522.05
Current children cumulated vsize (KiB) 298212

[startup+582.3 s]
/proc/loadavg: 1.99 2.00 2.00 3/177 30965
/proc/meminfo: memFree=27585600/32873844 swapFree=6872/6872
[pid=30936] ppid=30934 vsize=316988 CPUtime=582.02 cores=0,2,4,6
/proc/30936/stat : 30936 (bsolo3.0.17) R 30934 30936 30003 0 -1 4202496 79076 0 0 0 58176 26 0 0 20 0 1 0 346125213 324595712 78509 33554432000 134512640 135840783 4293527824 4293527184 134551347 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/30936/statm: 79247 78509 351 325 0 78183 0
Current children cumulated CPU time (s) 582.02
Current children cumulated vsize (KiB) 316988

[startup+642.3 s]

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

[startup+822.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 30966
/proc/meminfo: memFree=27352604/32873844 swapFree=6872/6872
[pid=30936] ppid=30934 vsize=383496 CPUtime=821.97 cores=0,2,4,6
/proc/30936/stat : 30936 (bsolo3.0.17) R 30934 30936 30003 0 -1 4202496 95708 0 0 0 82167 30 0 0 20 0 1 0 346125213 392699904 95141 33554432000 134512640 135840783 4293527824 4293527184 134551532 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/30936/statm: 95874 95141 351 325 0 94810 0
Current children cumulated CPU time (s) 821.97
Current children cumulated vsize (KiB) 383496

[startup+882.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 30966
/proc/meminfo: memFree=27303128/32873844 swapFree=6872/6872
[pid=30936] ppid=30934 vsize=394484 CPUtime=881.97 cores=0,2,4,6
/proc/30936/stat : 30936 (bsolo3.0.17) R 30934 30936 30003 0 -1 4202496 98472 0 0 0 88165 32 0 0 20 0 1 0 346125213 403951616 97905 33554432000 134512640 135840783 4293527824 4293527184 134551098 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/30936/statm: 98621 97905 351 325 0 97557 0
Current children cumulated CPU time (s) 881.97
Current children cumulated vsize (KiB) 394484

[startup+942.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 30967
/proc/meminfo: memFree=27268184/32873844 swapFree=6872/6872
[pid=30936] ppid=30934 vsize=409332 CPUtime=941.96 cores=0,2,4,6
/proc/30936/stat : 30936 (bsolo3.0.17) R 30934 30936 30003 0 -1 4202496 102173 0 0 0 94163 33 0 0 20 0 1 0 346125213 419155968 101606 33554432000 134512640 135840783 4293527824 4293527184 134551084 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/30936/statm: 102333 101606 351 325 0 101269 0
Current children cumulated CPU time (s) 941.96
Current children cumulated vsize (KiB) 409332

[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 30967
/proc/meminfo: memFree=27226424/32873844 swapFree=6872/6872
[pid=30936] ppid=30934 vsize=424692 CPUtime=1001.95 cores=0,2,4,6
/proc/30936/stat : 30936 (bsolo3.0.17) R 30934 30936 30003 0 -1 4202496 106019 0 0 0 100161 34 0 0 20 0 1 0 346125213 434884608 105452 33554432000 134512640 135840783 4293527824 4293527184 134551071 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/30936/statm: 106173 105452 351 325 0 105109 0
Current children cumulated CPU time (s) 1001.95
Current children cumulated vsize (KiB) 424692

[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 30970
/proc/meminfo: memFree=27199536/32873844 swapFree=6872/6872
[pid=30936] ppid=30934 vsize=426592 CPUtime=1061.94 cores=0,2,4,6
/proc/30936/stat : 30936 (bsolo3.0.17) R 30934 30936 30003 0 -1 4202496 106463 0 0 0 106160 34 0 0 20 0 1 0 346125213 436830208 105896 33554432000 134512640 135840783 4293527824 4293527184 134551058 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/30936/statm: 106648 105896 351 325 0 105584 0
Current children cumulated CPU time (s) 1061.94
Current children cumulated vsize (KiB) 426592

[startup+1122.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/177 31009
/proc/meminfo: memFree=27960312/32873844 swapFree=6872/6872
[pid=30936] ppid=30934 vsize=426592 CPUtime=1121.93 cores=0,2,4,6
/proc/30936/stat : 30936 (bsolo3.0.17) R 30934 30936 30003 0 -1 4202496 106463 0 0 0 112159 34 0 0 20 0 1 0 346125213 436830208 105896 33554432000 134512640 135840783 4293527824 4293527184 134551084 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/30936/statm: 106648 105896 351 325 0 105584 0
Current children cumulated CPU time (s) 1121.93
Current children cumulated vsize (KiB) 426592

[startup+1182.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 31009
/proc/meminfo: memFree=27960312/32873844 swapFree=6872/6872
[pid=30936] ppid=30934 vsize=426592 CPUtime=1181.92 cores=0,2,4,6
/proc/30936/stat : 30936 (bsolo3.0.17) R 30934 30936 30003 0 -1 4202496 106470 0 0 0 118158 34 0 0 20 0 1 0 346125213 436830208 105903 33554432000 134512640 135840783 4293527824 4293527136 134550820 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/30936/statm: 106648 105903 351 325 0 105584 0
Current children cumulated CPU time (s) 1181.92
Current children cumulated vsize (KiB) 426592

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 31009
/proc/meminfo: memFree=27960072/32873844 swapFree=6872/6872
[pid=30936] ppid=30934 vsize=426592 CPUtime=1241.91 cores=0,2,4,6
/proc/30936/stat : 30936 (bsolo3.0.17) R 30934 30936 30003 0 -1 4202496 106470 0 0 0 124157 34 0 0 20 0 1 0 346125213 436830208 105903 33554432000 134512640 135840783 4293527824 4293527184 134551058 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/30936/statm: 106648 105903 351 325 0 105584 0
Current children cumulated CPU time (s) 1241.91
Current children cumulated vsize (KiB) 426592

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31010
/proc/meminfo: memFree=27928684/32873844 swapFree=6872/6872
[pid=30936] ppid=30934 vsize=426592 CPUtime=1301.88 cores=0,2,4,6
/proc/30936/stat : 30936 (bsolo3.0.17) R 30934 30936 30003 0 -1 4202496 106505 0 0 0 130154 34 0 0 20 0 1 0 346125213 436830208 105903 33554432000 134512640 135840783 4293527824 4293527184 134551052 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/30936/statm: 106648 105903 351 325 0 105584 0
Current children cumulated CPU time (s) 1301.88
Current children cumulated vsize (KiB) 426592

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31010
/proc/meminfo: memFree=27906224/32873844 swapFree=6872/6872
[pid=30936] ppid=30934 vsize=426592 CPUtime=1361.85 cores=0,2,4,6
/proc/30936/stat : 30936 (bsolo3.0.17) R 30934 30936 30003 0 -1 4202496 106525 0 0 0 136151 34 0 0 20 0 1 0 346125213 436830208 105903 33554432000 134512640 135840783 4293527824 4293527176 1419469 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/30936/statm: 106648 105903 351 325 0 105584 0
Current children cumulated CPU time (s) 1361.85
Current children cumulated vsize (KiB) 426592

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31010
/proc/meminfo: memFree=27892364/32873844 swapFree=6872/6872
[pid=30936] ppid=30934 vsize=426592 CPUtime=1421.85 cores=0,2,4,6
/proc/30936/stat : 30936 (bsolo3.0.17) R 30934 30936 30003 0 -1 4202496 106525 0 0 0 142151 34 0 0 20 0 1 0 346125213 436830208 105903 33554432000 134512640 135840783 4293527824 4293527184 134550904 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/30936/statm: 106648 105903 351 325 0 105584 0
Current children cumulated CPU time (s) 1421.85
Current children cumulated vsize (KiB) 426592

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31010
/proc/meminfo: memFree=27887000/32873844 swapFree=6872/6872
[pid=30936] ppid=30934 vsize=426592 CPUtime=1481.83 cores=0,2,4,6
/proc/30936/stat : 30936 (bsolo3.0.17) R 30934 30936 30003 0 -1 4202496 106525 0 0 0 148149 34 0 0 20 0 1 0 346125213 436830208 105903 33554432000 134512640 135840783 4293527824 4293527184 134551098 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/30936/statm: 106648 105903 351 325 0 105584 0
Current children cumulated CPU time (s) 1481.83
Current children cumulated vsize (KiB) 426592

[startup+1542.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/177 31010
/proc/meminfo: memFree=27829444/32873844 swapFree=6872/6872
[pid=30936] ppid=30934 vsize=475072 CPUtime=1541.83 cores=0,2,4,6
/proc/30936/stat : 30936 (bsolo3.0.17) R 30934 30936 30003 0 -1 4202496 118662 0 0 0 154145 38 0 0 20 0 1 0 346125213 486473728 118040 33554432000 134512640 135840783 4293527824 4293527184 134551081 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/30936/statm: 118768 118040 351 325 0 117704 0
Current children cumulated CPU time (s) 1541.83
Current children cumulated vsize (KiB) 475072

[startup+1602.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 31011
/proc/meminfo: memFree=27769180/32873844 swapFree=6872/6872
[pid=30936] ppid=30934 vsize=532632 CPUtime=1601.82 cores=0,2,4,6
/proc/30936/stat : 30936 (bsolo3.0.17) R 30934 30936 30003 0 -1 4202496 133057 0 0 0 160139 43 0 0 20 0 1 0 346125213 545415168 132435 33554432000 134512640 135840783 4293527824 4293527184 134551048 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/30936/statm: 133158 132435 351 325 0 132094 0
Current children cumulated CPU time (s) 1601.82
Current children cumulated vsize (KiB) 532632

[startup+1662.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/178 31014
/proc/meminfo: memFree=27711388/32873844 swapFree=6872/6872
[pid=30936] ppid=30934 vsize=584992 CPUtime=1661.8 cores=0,2,4,6
/proc/30936/stat : 30936 (bsolo3.0.17) R 30934 30936 30003 0 -1 4202496 146142 0 0 0 166134 46 0 0 20 0 1 0 346125213 599031808 145520 33554432000 134512640 135840783 4293527824 4293527184 134551093 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/30936/statm: 146248 145520 351 325 0 145184 0
Current children cumulated CPU time (s) 1661.8
Current children cumulated vsize (KiB) 584992

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31014
/proc/meminfo: memFree=27657952/32873844 swapFree=6872/6872
[pid=30936] ppid=30934 vsize=631112 CPUtime=1721.8 cores=0,2,4,6
/proc/30936/stat : 30936 (bsolo3.0.17) R 30934 30936 30003 0 -1 4202496 157656 0 0 0 172130 50 0 0 20 0 1 0 346125213 646258688 157034 33554432000 134512640 135840783 4293527824 4293527184 134551084 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/30936/statm: 157778 157034 351 325 0 156714 0
Current children cumulated CPU time (s) 1721.8
Current children cumulated vsize (KiB) 631112

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31014
/proc/meminfo: memFree=27612052/32873844 swapFree=6872/6872
[pid=30936] ppid=30934 vsize=669320 CPUtime=1781.78 cores=0,2,4,6
/proc/30936/stat : 30936 (bsolo3.0.17) R 30934 30936 30003 0 -1 4202496 167224 0 0 0 178125 53 0 0 20 0 1 0 346125213 685383680 166592 33554432000 134512640 135840783 4293527824 4293527136 134550872 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/30936/statm: 167330 166592 351 325 0 166266 0
Current children cumulated CPU time (s) 1781.78
Current children cumulated vsize (KiB) 669320



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31014
/proc/meminfo: memFree=27600736/32873844 swapFree=6872/6872
[pid=30936] ppid=30934 vsize=677812 CPUtime=1800.07 cores=0,2,4,6
/proc/30936/stat : 30936 (bsolo3.0.17) R 30934 30936 30003 0 -1 4202496 169356 0 0 0 179953 54 0 0 20 0 1 0 346125213 694079488 168708 33554432000 134512640 135840783 4293527824 4293527184 134551084 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/30936/statm: 169453 168708 351 325 0 168389 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 677812

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

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

Child status: 15
Real time (s): 1800.63
CPU time (s): 1800.1
CPU user time (s): 1799.54
CPU system time (s): 0.561914
CPU usage (%): 99.9706
Max. virtual memory (cumulated for all children) (KiB): 677812

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.54
system time used= 0.561914
maximum resident set size= 674832
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 169359
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= 231
involuntary context switches= 2320

runsolver used 3.16952 second user time and 9.53455 second system time

The end

Launcher Data

Begin job on node106 at 2012-06-04 10:52:47
IDJOB=3744007
IDBENCH=92668
IDSOLVER=2318
FILE ID=node106/3744007-1338799967
RUNJOBID= node106-1338784775-30019
PBS_JOBID= 14636852
Free space on /tmp= 70856 MiB

SOLVER NAME= PB07: bsolo 3.0.17
BENCH NAME= PB12/normalized-PB12/OPT-BIGINT-LIN/zahidi/MH+IC/normalized-minisat15_4_4_8_mh_ic.opb
COMMAND LINE= bsolo3.0.17 -mMEMLIMIT BENCHNAME            
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3744007-1338799967/watcher-3744007-1338799967 -o /tmp/evaluation-result-3744007-1338799967/solver-3744007-1338799967 -C 1800 -W 1900 -M 15500  bsolo3.0.17 -m15500 HOME/instance-3744007-1338799967.opb            

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= 92eaf5bbbb67d6b3b242e002852c9043
RANDOM SEED=669107031

node106.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.065
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5334.13
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.065
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.065
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.065
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.92
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.065
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.065
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.065
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.065
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        28220804 kB
Buffers:          342276 kB
Cached:          3034492 kB
SwapCached:         2004 kB
Active:          1489656 kB
Inactive:        2302960 kB
Active(anon):     412948 kB
Inactive(anon):     4984 kB
Active(file):    1076708 kB
Inactive(file):  2297976 kB
Unevictable:        6872 kB
Mlocked:            6872 kB
SwapTotal:      67108856 kB
SwapFree:       67100580 kB
Dirty:              7388 kB
Writeback:             0 kB
AnonPages:        420096 kB
Mapped:            10324 kB
Shmem:                 0 kB
Slab:             718908 kB
SReclaimable:     161068 kB
SUnreclaim:       557840 kB
KernelStack:        1456 kB
PageTables:         5220 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     537208 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 70816 MiB
End job on node106 at 2012-06-04 11:22:50