Trace number 3490652

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
MinisatID 2.5.2 (fixed)? (TO)-1606 1800.08 1800.02

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/
miplib2003/normalized-mps-v2-20-10-manna81.opb
MD5SUM6fc83a536fe9a582c06bbccccc09c709
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark-13164
Best CPU time to get the best result obtained on this benchmark100.978
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -12220
Optimality of the best value was proved NO
Number of variables10713
Total number of constraints9151
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints9151
Minimum length of a constraint2
Maximum length of a constraint8
Number of terms in the objective function 10713
Biggest coefficient in the objective function 8
Number of bits for the biggest coefficient in the objective function 4
Sum of the numbers in the objective function 30411
Number of bits of the sum of numbers in the objective function 15
Biggest number in a constraint 24
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 30411
Number of bits of the biggest sum of numbers15
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.02	>>> IMPORTANT: two aggregates with the same head occurred. Assuming that this head is certainly true.
647.81/647.87	o 0
647.81/647.87	o -4
647.81/647.87	o -5
647.81/647.87	o -13
647.81/647.87	o -14
647.81/647.87	o -16
647.81/647.87	o -20
647.81/647.87	o -21
647.81/647.87	o -23
647.81/647.87	o -24
647.81/647.87	o -26
647.81/647.87	o -27
647.81/647.87	o -31
647.81/647.87	o -39
647.81/647.87	o -40
647.81/647.87	o -42
647.81/647.87	o -46
647.81/647.87	o -48
647.81/647.87	o -52
647.81/647.87	o -54
647.81/647.87	o -62
647.81/647.87	o -63
647.81/647.87	o -65
647.81/647.87	o -69
647.81/647.87	o -73
647.81/647.87	o -75
647.81/647.87	o -79
647.81/647.87	o -87
647.81/647.87	o -88
647.81/647.87	o -92
647.81/647.87	o -93
647.81/647.87	o -95
647.81/647.87	o -97
647.81/647.87	o -99
647.81/647.87	o -100
647.81/647.87	o -104
647.81/647.87	o -105
647.81/647.87	o -109
647.81/647.87	o -113
647.81/647.87	o -117
647.81/647.87	o -119
647.81/647.87	o -123
647.81/647.87	o -125
647.81/647.87	o -127
647.81/647.87	o -129
647.81/647.87	o -130
647.81/647.87	o -131
647.81/647.87	o -133
647.81/647.87	o -137
647.81/647.87	o -138
647.81/647.87	o -142
647.81/647.87	o -144
647.81/647.87	o -146
647.81/647.87	o -154
647.81/647.87	o -155
647.81/647.87	o -156
647.81/647.87	o -158
647.81/647.87	o -162
647.81/647.87	o -166
647.81/647.87	o -167
647.81/647.87	o -175
647.81/647.87	o -179
647.81/647.87	o -180
647.81/647.87	o -188
647.81/647.87	o -189
647.81/647.87	o -191
647.81/647.87	o -193
647.81/647.87	o -197
647.81/647.87	o -199
647.81/647.87	o -200
647.81/647.87	o -201
647.81/647.87	o -203
647.81/647.87	o -211
647.81/647.87	o -212
647.81/647.87	o -214
647.81/647.87	o -222
647.81/647.87	o -223
647.81/647.87	o -225
647.81/647.87	o -226
647.81/647.87	o -228
647.81/647.87	o -229
647.81/647.87	o -231
647.81/647.87	o -232
647.81/647.87	o -233
647.81/647.87	o -235
647.81/647.87	o -236
647.81/647.87	o -237
647.81/647.87	o -239
647.81/647.87	o -241
647.81/647.87	o -245
647.81/647.87	o -246
647.81/647.87	o -248
647.81/647.87	o -249
647.81/647.87	o -250
647.81/647.87	o -251
647.81/647.87	o -253
647.81/647.87	o -261
647.81/647.87	o -265
647.81/647.87	o -269
647.81/647.87	o -271
647.81/647.87	o -275
647.81/647.87	o -279
647.81/647.87	o -283
647.81/647.87	o -291
647.81/647.87	o -293
647.81/647.87	o -301
647.81/647.87	o -303
647.81/647.87	o -305
647.81/647.87	o -306
647.81/647.87	o -308
647.81/647.87	o -310
647.81/647.87	o -314
647.81/647.87	o -318
647.81/647.87	o -322
647.81/647.87	o -324
647.81/647.87	o -326
647.81/647.87	o -327
647.81/647.87	o -328
647.81/647.87	o -330
647.81/647.87	o -332
647.81/647.87	o -334
647.81/647.87	o -336
647.81/647.87	o -340
647.81/647.87	o -348
647.81/647.87	o -349
647.81/647.87	o -351
647.81/647.87	o -352
647.81/647.87	o -360
647.81/647.87	o -361
647.81/647.87	o -365
647.81/647.87	o -366
647.81/647.87	o -367
647.81/647.87	o -375
647.81/647.87	o -379
647.81/647.87	o -387
647.81/647.87	o -388
647.81/647.87	o -390
647.81/647.87	o -392
647.81/647.87	o -393
647.81/647.87	o -401
647.81/647.87	o -409
647.81/647.87	o -411
647.81/647.87	o -415
647.81/647.87	o -417
647.81/647.87	o -421
647.81/647.87	o -422
647.81/647.87	o -424
647.81/647.87	o -428
647.81/647.87	o -430
647.81/647.87	o -431
647.81/647.87	o -432
647.81/647.87	o -434
647.81/647.87	o -436
647.81/647.87	o -437
647.81/647.87	o -441
647.81/647.87	o -442
647.81/647.87	o -444
647.81/647.87	o -446
647.81/647.87	o -450
647.81/647.87	o -452
647.81/647.87	o -454
647.81/647.87	o -458
647.81/647.87	o -462
647.81/647.87	o -463
647.81/647.87	o -467
647.81/647.87	o -471
647.81/647.87	o -472
647.81/647.87	o -474
647.81/647.87	o -475
647.81/647.87	o -476
647.81/647.87	o -484
647.81/647.87	o -485
647.81/647.87	o -486
647.81/647.87	o -488
647.81/647.87	o -492
647.81/647.87	o -496
647.81/647.87	o -498
647.81/647.87	o -500
647.81/647.87	o -501
647.81/647.87	o -503
647.81/647.87	o -505
647.81/647.87	o -506
647.81/647.87	o -508
647.81/647.87	o -512
647.81/647.87	o -514
647.81/647.87	o -515
647.81/647.87	o -516
647.81/647.87	o -518
647.81/647.87	o -519
647.81/647.87	o -520
647.81/647.87	o -521
647.81/647.87	o -523
647.81/647.87	o -524
647.81/647.87	o -526
647.81/647.87	o -527
647.81/647.87	o -529
647.81/647.87	o -531
647.81/647.87	o -533
647.81/647.87	o -537
647.81/647.87	o -538
647.81/647.87	o -540
647.81/647.87	o -542
647.81/647.87	o -546
647.81/647.87	o -548
647.81/647.87	o -552
647.81/647.87	o -553
647.81/647.87	o -554
647.81/647.87	o -555
647.81/647.87	o -559
647.81/647.87	o -560
647.81/647.87	o -562
647.81/647.87	o -564
647.81/647.87	o -566
647.81/647.87	o -574
647.81/647.87	o -578
647.81/647.87	o -579
647.81/647.87	o -580
647.81/647.87	o -582
647.81/647.87	o -583
647.81/647.87	o -585
647.81/647.87	o -589
647.81/647.87	o -591
647.81/647.87	o -599
647.81/647.87	o -600
647.81/647.87	o -604
647.81/647.87	o -605
647.81/647.87	o -613
647.81/647.87	o -615
647.81/647.87	o -617
647.81/647.87	o -618
647.81/647.87	o -622
647.81/647.87	o -624
647.81/647.87	o -625
647.81/647.87	o -627
647.81/647.87	o -629
647.81/647.87	o -633
647.81/647.87	o -635
647.81/647.87	o -637
647.81/647.87	o -638
647.81/647.87	o -642
647.81/647.87	o -650
647.81/647.87	o -651
647.81/647.87	o -653
647.81/647.87	o -656
647.81/647.87	o -657
647.81/647.87	o -661
647.81/647.87	o -665
647.81/647.87	o -667
647.81/647.87	o -668
647.81/647.87	o -672
647.81/647.87	o -673
647.81/647.87	o -674
647.81/647.87	o -675
647.81/647.87	o -679
647.81/647.87	o -681
647.81/647.87	o -682
647.81/647.87	o -686
647.81/647.87	o -687
647.81/647.87	o -691
647.81/647.87	o -692
647.81/647.87	o -696
647.81/647.87	o -700
647.81/647.87	o -701
647.81/647.87	o -705
647.81/647.87	o -706
647.81/647.87	o -708
647.81/647.87	o -709
647.81/647.87	o -713
647.81/647.87	o -715
647.81/647.87	o -716
647.81/647.87	o -718
647.81/647.87	o -719
647.81/647.87	o -721
647.81/647.87	o -722
647.81/647.87	o -723
647.81/647.87	o -727
647.81/647.87	o -729
647.81/647.87	o -731
647.81/647.87	o -732
647.81/647.87	o -734
647.81/647.87	o -738
647.81/647.87	o -740
647.81/647.87	o -742
647.81/647.87	o -744
647.81/647.87	o -748
647.81/647.87	o -750
647.81/647.87	o -752
647.81/647.87	o -754
647.81/647.87	o -755
647.81/647.87	o -759
647.81/647.87	o -760
647.81/647.87	o -764
647.81/647.87	o -766
647.81/647.87	o -767
647.81/647.87	o -771
647.81/647.87	o -773
647.81/647.87	o -777
647.81/647.87	o -778
647.81/647.87	o -780
647.81/647.87	o -782
647.81/647.87	o -784
647.81/647.87	o -786
647.81/647.87	o -788
647.81/647.87	o -790
647.81/647.87	o -792
647.81/647.87	o -794
647.81/647.87	o -796
647.81/647.87	o -798
647.81/647.87	o -802
647.81/647.87	o -804
647.81/647.87	o -805
647.81/647.87	o -806
647.81/647.87	o -808
647.81/647.87	o -810
647.81/647.87	o -811
647.81/647.87	o -815
647.81/647.87	o -816
647.81/647.87	o -817
647.81/647.87	o -819
647.81/647.87	o -823
647.81/647.87	o -824
647.81/647.87	o -826
647.81/647.87	o -827
647.81/647.87	o -829
647.81/647.87	o -831
647.81/647.87	o -833
647.81/647.87	o -835
647.81/647.87	o -836
647.81/647.87	o -837
647.81/647.87	o -839
647.81/647.87	o -841
647.81/647.87	o -843
647.81/647.87	o -845
647.81/647.87	o -847
647.81/647.87	o -849
647.81/647.87	o -851
647.81/647.87	o -853
647.81/647.87	o -855
647.81/647.87	o -857
647.81/647.87	o -859
647.81/647.87	o -860
647.81/647.87	o -862
647.81/647.87	o -864
647.81/647.87	o -866
647.81/647.87	o -867
647.81/647.87	o -869
647.81/647.87	o -870
647.81/647.87	o -872
647.81/647.87	o -874
647.81/647.87	o -876
647.81/647.87	o -878
647.81/647.87	o -879
647.81/647.87	o -881
647.81/647.87	o -883
647.81/647.87	o -884
647.81/647.87	o -885
647.81/647.87	o -887
647.81/647.87	o -889
647.81/647.87	o -891
647.81/647.87	o -893
647.81/647.87	o -895
647.81/647.87	o -897
647.81/647.87	o -898
647.81/647.87	o -900
647.81/647.87	o -902
647.81/647.87	o -904
647.81/647.87	o -906
647.81/647.87	o -907
647.81/647.87	o -909
647.81/647.87	o -910
647.81/647.87	o -911
647.81/647.87	o -912
647.81/647.87	o -916
647.81/647.87	o -918
647.81/647.87	o -920
647.81/647.87	o -921
647.81/647.87	o -922
647.81/647.87	o -923
647.81/647.87	o -924
647.81/647.87	o -925
647.81/647.87	o -926
647.81/647.87	o -927
647.81/647.87	o -929
647.81/647.87	o -931
647.81/647.87	o -933
647.81/647.87	o -934
647.81/647.87	o -935
647.81/647.87	o -936
647.81/647.87	o -938
647.81/647.87	o -940
647.81/647.87	o -941
647.81/647.87	o -942
647.81/647.87	o -944
647.81/647.87	o -945
647.81/647.87	o -946
647.81/647.87	o -947
647.81/647.87	o -948
647.81/647.87	o -949
647.81/647.87	o -951
647.81/647.87	o -953
647.81/647.87	o -957
647.81/647.87	o -958
647.81/647.87	o -960
647.81/647.87	o -961
647.81/647.87	o -962
647.81/647.87	o -964
647.81/647.87	o -965
647.81/647.87	o -966
647.81/647.87	o -968
647.81/647.87	o -969
647.81/647.87	o -970
647.81/647.87	o -972
647.81/647.87	o -973
647.81/647.87	o -974
647.81/647.87	o -976
647.81/647.87	o -977
647.81/647.87	o -978
647.81/647.87	o -979
647.81/647.87	o -980
647.81/647.87	o -982
647.81/647.87	o -983
647.81/647.87	o -984
647.81/647.87	o -985
647.81/647.87	o -986
647.81/647.87	o -987
647.81/647.87	o -989
647.81/647.87	o -990
647.81/647.87	o -991
647.81/647.87	o -992
647.81/647.87	o -993
647.81/647.87	o -994
647.81/647.87	o -995
647.81/647.87	o -997
647.81/647.87	o -998
647.81/647.87	o -999
647.81/647.87	o -1002
647.81/647.87	o -1003
647.81/647.87	o -1004
647.81/647.87	o -1005
647.81/647.87	o -1006
647.81/647.87	o -1007
647.81/647.87	o -1008
647.81/647.87	o -1009
647.81/647.87	o -1010
647.81/647.87	o -1011
647.81/647.87	o -1012
647.81/647.87	o -1013
647.81/647.87	o -1014
647.81/647.87	o -1015
647.81/647.87	o -1017
647.81/647.87	o -1021
647.81/647.87	o -1022
647.81/647.87	o -1023
647.81/647.87	o -1024
647.81/647.87	o -1025
647.81/647.87	o -1026
647.81/647.87	o -1028
647.81/647.87	o -1029
647.81/647.87	o -1030
647.81/647.87	o -1031
647.81/647.87	o -1032
647.81/647.87	o -1033
647.81/647.87	o -1034
647.81/647.87	o -1038
647.81/647.87	o -1039
647.81/647.87	o -1040
647.81/647.87	o -1042
647.81/647.87	o -1043
647.81/647.87	o -1044
647.81/647.87	o -1045
647.81/647.87	o -1046
647.81/647.87	o -1047
647.81/647.87	o -1048
647.81/647.87	o -1049
647.81/647.87	o -1050
647.81/647.87	o -1051
647.81/647.87	o -1053
647.81/647.87	o -1054
647.81/647.87	o -1055
647.81/647.87	o -1056
647.81/647.87	o -1057
647.81/647.87	o -1058
647.81/647.87	o -1060
647.81/647.87	o -1061
647.81/647.87	o -1062
647.81/647.87	o -1064
647.81/647.87	o -1065
647.81/647.87	o -1066
647.81/647.87	o -1067
647.81/647.87	o -1068
647.81/647.87	o -1069
647.81/647.87	o -1070
647.81/647.87	o -1071
647.81/647.87	o -1072
647.81/647.87	o -1073
647.81/647.87	o -1074
647.81/647.87	o -1075
647.81/647.87	o -1076
647.81/647.87	o -1077
647.81/647.87	o -1078
647.81/647.87	o -1080
647.81/647.87	o -1081
647.81/647.87	o -1082
647.81/647.87	o -1083
647.81/647.87	o -1084
647.81/647.87	o -1086
647.81/647.87	o -1087
647.81/647.87	o -1088
647.81/647.87	o -1089
647.81/647.87	o -1090
647.81/647.87	o -1093
647.81/647.87	o -1094
647.81/647.87	o -1095
647.81/647.87	o -1096
647.81/647.87	o -1098
647.81/647.87	o -1099
647.81/647.87	o -1101
647.81/647.87	o -1103
647.81/647.87	o -1104
647.81/647.87	o -1105
647.81/647.87	o -1107
647.81/647.87	o -1108
647.81/647.87	o -1109
647.81/647.87	o -1112
647.81/647.87	o -1113
647.81/647.87	o -1115
647.81/647.87	o -1116
647.81/647.87	o -1117
647.81/647.87	o -1118
647.81/647.87	o -1119
647.81/647.87	o -1121
647.81/647.87	o -1122
647.81/647.87	o -1123
647.81/647.87	o -1124
647.81/647.87	o -1126
647.81/647.87	o -1127
647.81/647.87	o -1128
647.81/647.87	o -1129
647.81/647.87	o -1130
647.81/647.87	o -1131
647.81/647.87	o -1132
647.81/647.87	o -1133
647.81/647.87	o -1135
647.81/647.87	o -1136
647.81/647.87	o -1137
647.81/647.87	o -1139
647.81/647.87	o -1140
647.81/647.87	o -1141
647.81/647.87	o -1142
647.81/647.87	o -1144
647.81/647.87	o -1145
647.81/647.87	o -1146
647.81/647.87	o -1147
647.81/647.87	o -1148
647.81/647.87	o -1149
647.81/647.87	o -1150
647.81/647.87	o -1151
647.81/647.87	o -1152
647.81/647.87	o -1153
647.81/647.87	o -1154
647.81/647.87	o -1155
647.81/647.87	o -1158
647.81/647.87	o -1159
647.81/647.87	o -1162
647.81/647.87	o -1163
647.81/647.87	o -1164
647.81/647.87	o -1165
647.81/647.87	o -1169
647.81/647.87	o -1170
647.81/647.87	o -1171
647.81/647.87	o -1173
647.81/647.87	o>>> Terminate signal received
1800.05/1800.00	 -1174
1800.05/1800.00	o -1175
1800.05/1800.00	o -1176
1800.05/1800.00	o -1177
1800.05/1800.00	o -1178
1800.05/1800.00	o -1179
1800.05/1800.00	o -1180
1800.05/1800.00	o -1181
1800.05/1800.00	o -1182
1800.05/1800.00	o -1183
1800.05/1800.00	o -1184
1800.05/1800.00	o -1185
1800.05/1800.00	o -1186
1800.05/1800.00	o -1187
1800.05/1800.00	o -1189
1800.05/1800.00	o -1190
1800.05/1800.00	o -1191
1800.05/1800.00	o -1192
1800.05/1800.00	o -1194
1800.05/1800.00	o -1195
1800.05/1800.00	o -1196
1800.05/1800.00	o -1197
1800.05/1800.00	o -1199
1800.05/1800.00	o -1200
1800.05/1800.00	o -1201
1800.05/1800.00	o -1202
1800.05/1800.00	o -1203
1800.05/1800.00	o -1204
1800.05/1800.00	o -1205
1800.05/1800.00	o -1206
1800.05/1800.00	o -1207
1800.05/1800.00	o -1208
1800.05/1800.00	o -1209
1800.05/1800.00	o -1210
1800.05/1800.00	o -1211
1800.05/1800.00	o -1212
1800.05/1800.00	o -1213
1800.05/1800.00	o -1214
1800.05/1800.00	o -1215
1800.05/1800.00	o -1216
1800.05/1800.00	o -1217
1800.05/1800.00	o -1218
1800.05/1800.00	o -1219
1800.05/1800.00	o -1220
1800.05/1800.00	o -1221
1800.05/1800.00	o -1222
1800.05/1800.00	o -1223
1800.05/1800.00	o -1224
1800.05/1800.00	o -1225
1800.05/1800.00	o -1226
1800.05/1800.00	o -1227
1800.05/1800.00	o -1228
1800.05/1800.00	o -1229
1800.05/1800.00	o -1231
1800.05/1800.00	o -1233
1800.05/1800.00	o -1234
1800.05/1800.00	o -1235
1800.05/1800.00	o -1236
1800.05/1800.00	o -1237
1800.05/1800.00	o -1238
1800.05/1800.00	o -1239
1800.05/1800.00	o -1240
1800.05/1800.00	o -1241
1800.05/1800.00	o -1242
1800.05/1800.00	o -1243
1800.05/1800.00	o -1244
1800.05/1800.00	o -1245
1800.05/1800.00	o -1246
1800.05/1800.00	o -1247
1800.05/1800.00	o -1248
1800.05/1800.00	o -1249
1800.05/1800.00	o -1250
1800.05/1800.00	o -1251
1800.05/1800.00	o -1252
1800.05/1800.00	o -1253
1800.05/1800.00	o -1254
1800.05/1800.00	o -1255
1800.05/1800.00	o -1256
1800.05/1800.00	o -1257
1800.05/1800.00	o -1258
1800.05/1800.00	o -1259
1800.05/1800.00	o -1260
1800.05/1800.00	o -1261
1800.05/1800.00	o -1263
1800.05/1800.00	o -1264
1800.05/1800.00	o -1265
1800.05/1800.00	o -1266
1800.05/1800.00	o -1267
1800.05/1800.00	o -1268
1800.05/1800.00	o -1269
1800.05/1800.00	o -1270
1800.05/1800.00	o -1271
1800.05/1800.00	o -1272
1800.05/1800.00	o -1273
1800.05/1800.00	o -1275
1800.05/1800.00	o -1276
1800.05/1800.00	o -1277
1800.05/1800.00	o -1279
1800.05/1800.00	o -1280
1800.05/1800.00	o -1281
1800.05/1800.00	o -1282
1800.05/1800.00	o -1283
1800.05/1800.00	o -1284
1800.05/1800.00	o -1285
1800.05/1800.00	o -1286
1800.05/1800.00	o -1287
1800.05/1800.00	o -1288
1800.05/1800.00	o -1289
1800.05/1800.00	o -1290
1800.05/1800.00	o -1291
1800.05/1800.00	o -1292
1800.05/1800.00	o -1293
1800.05/1800.00	o -1294
1800.05/1800.00	o -1295
1800.05/1800.00	o -1296
1800.05/1800.00	o -1298
1800.05/1800.00	o -1299
1800.05/1800.00	o -1300
1800.05/1800.00	o -1301
1800.05/1800.00	o -1302
1800.05/1800.00	o -1304
1800.05/1800.00	o -1305
1800.05/1800.00	o -1306
1800.05/1800.00	o -1309
1800.05/1800.00	o -1310
1800.05/1800.00	o -1311
1800.05/1800.00	o -1314
1800.05/1800.00	o -1315
1800.05/1800.00	o -1316
1800.05/1800.00	o -1317
1800.05/1800.00	o -1318
1800.05/1800.00	o -1319
1800.05/1800.00	o -1322
1800.05/1800.00	o -1323
1800.05/1800.00	o -1324
1800.05/1800.00	o -1325
1800.05/1800.00	o -1326
1800.05/1800.00	o -1327
1800.05/1800.00	o -1328
1800.05/1800.00	o -1329
1800.05/1800.00	o -1330
1800.05/1800.00	o -1331
1800.05/1800.00	o -1333
1800.05/1800.00	o -1335
1800.05/1800.00	o -1336
1800.05/1800.00	o -1337
1800.05/1800.00	o -1338
1800.05/1800.00	o -1339
1800.05/1800.00	o -1340
1800.05/1800.00	o -1342
1800.05/1800.00	o -1343
1800.05/1800.00	o -1344
1800.05/1800.00	o -1345
1800.05/1800.00	o -1346
1800.05/1800.00	o -1348
1800.05/1800.00	o -1349
1800.05/1800.00	o -1350
1800.05/1800.00	o -1352
1800.05/1800.00	o -1353
1800.05/1800.00	o -1354
1800.05/1800.00	o -1356
1800.05/1800.00	o -1357
1800.05/1800.00	o -1358
1800.05/1800.00	o -1360
1800.05/1800.00	o -1361
1800.05/1800.00	o -1362
1800.05/1800.00	o -1363
1800.05/1800.00	o -1364
1800.05/1800.00	o -1365
1800.05/1800.00	o -1366
1800.05/1800.00	o -1367
1800.05/1800.00	o -1368
1800.05/1800.00	o -1369
1800.05/1800.00	o -1370
1800.05/1800.00	o -1371
1800.05/1800.00	o -1372
1800.05/1800.00	o -1373
1800.05/1800.00	o -1374
1800.05/1800.00	o -1377
1800.05/1800.00	o -1378
1800.05/1800.00	o -1379
1800.05/1800.00	o -1380
1800.05/1800.00	o -1382
1800.05/1800.00	o -1383
1800.05/1800.00	o -1385
1800.05/1800.00	o -1386
1800.05/1800.00	o -1387
1800.05/1800.00	o -1388
1800.05/1800.00	o -1389
1800.05/1800.00	o -1390
1800.05/1800.00	o -1391
1800.05/1800.00	o -1392
1800.05/1800.00	o -1393
1800.05/1800.00	o -1394
1800.05/1800.00	o -1395
1800.05/1800.00	o -1396
1800.05/1800.00	o -1397
1800.05/1800.00	o -1398
1800.05/1800.00	o -1399
1800.05/1800.00	o -1400
1800.05/1800.00	o -1401
1800.05/1800.00	o -1402
1800.05/1800.00	o -1403
1800.05/1800.00	o -1405
1800.05/1800.00	o -1406
1800.05/1800.00	o -1407
1800.05/1800.00	o -1409
1800.05/1800.00	o -1410
1800.05/1800.00	o -1411
1800.05/1800.00	o -1413
1800.05/1800.00	o -1415
1800.05/1800.00	o -1416
1800.05/1800.00	o -1418
1800.05/1800.00	o -1419
1800.05/1800.00	o -1420
1800.05/1800.00	o -1421
1800.05/1800.00	o -1422
1800.05/1800.00	o -1423
1800.05/1800.00	o -1424
1800.05/1800.00	o -1425
1800.05/1800.00	o -1428
1800.05/1800.00	o -1429
1800.05/1800.00	o -1431
1800.05/1800.00	o -1432
1800.05/1800.00	o -1433
1800.05/1800.00	o -1434
1800.05/1800.00	o -1435
1800.05/1800.00	o -1436
1800.05/1800.00	o -1437
1800.05/1800.00	o -1438
1800.05/1800.00	o -1439
1800.05/1800.00	o -1440
1800.05/1800.00	o -1441
1800.05/1800.00	o -1442
1800.05/1800.00	o -1443
1800.05/1800.00	o -1444
1800.05/1800.00	o -1447
1800.05/1800.00	o -1448
1800.05/1800.00	o -1450
1800.05/1800.00	o -1451
1800.05/1800.00	o -1452
1800.05/1800.00	o -1454
1800.05/1800.00	o -1455
1800.05/1800.00	o -1456
1800.05/1800.00	o -1457
1800.05/1800.00	o -1458
1800.05/1800.00	o -1461
1800.05/1800.00	o -1462
1800.05/1800.00	o -1465
1800.05/1800.00	o -1466
1800.05/1800.00	o -1467
1800.05/1800.00	o -1468
1800.05/1800.00	o -1469
1800.05/1800.00	o -1470
1800.05/1800.00	o -1471
1800.05/1800.00	o -1472
1800.05/1800.00	o -1473
1800.05/1800.00	o -1474
1800.05/1800.00	o -1476
1800.05/1800.00	o -1477
1800.05/1800.00	o -1478
1800.05/1800.00	o -1479
1800.05/1800.00	o -1480
1800.05/1800.00	o -1481
1800.05/1800.00	o -1482
1800.05/1800.00	o -1483
1800.05/1800.00	o -1484
1800.05/1800.00	o -1485
1800.05/1800.00	o -1486
1800.05/1800.00	o -1487
1800.05/1800.00	o -1488
1800.05/1800.00	o -1489
1800.05/1800.00	o -1491
1800.05/1800.00	o -1492
1800.05/1800.00	o -1493
1800.05/1800.00	o -1494
1800.05/1800.00	o -1496
1800.05/1800.00	o -1497
1800.05/1800.00	o -1498
1800.05/1800.00	o -1499
1800.05/1800.00	o -1501
1800.05/1800.00	o -1503
1800.05/1800.00	o -1504
1800.05/1800.00	o -1505
1800.05/1800.00	o -1506
1800.05/1800.00	o -1507
1800.05/1800.00	o -1510
1800.05/1800.00	o -1511
1800.05/1800.00	o -1513
1800.05/1800.00	o -1514
1800.05/1800.00	o -1515
1800.05/1800.00	o -1516
1800.05/1800.00	o -1517
1800.05/1800.00	o -1518
1800.05/1800.00	o -1519
1800.05/1800.00	o -1520
1800.05/1800.00	o -1521
1800.05/1800.00	o -1522
1800.05/1800.00	o -1524
1800.05/1800.00	o -1527
1800.05/1800.00	o -1528
1800.05/1800.00	o -1529
1800.05/1800.00	o -1531
1800.05/1800.00	o -1532
1800.05/1800.00	o -1533
1800.05/1800.00	o -1534
1800.05/1800.00	o -1535
1800.05/1800.00	o -1536
1800.05/1800.00	o -1537
1800.05/1800.00	o -1540
1800.05/1800.00	o -1541
1800.05/1800.00	o -1542
1800.05/1800.00	o -1543
1800.05/1800.00	o -1545
1800.05/1800.00	o -1546
1800.05/1800.00	o -1547
1800.05/1800.00	o -1549
1800.05/1800.00	o -1550
1800.05/1800.00	o -1551
1800.05/1800.00	o -1553
1800.05/1800.00	o -1554
1800.05/1800.00	o -1556
1800.05/1800.00	o -1557
1800.05/1800.00	o -1558
1800.05/1800.00	o -1560
1800.05/1800.00	o -1561
1800.05/1800.00	o -1562
1800.05/1800.00	o -1564
1800.05/1800.00	o -1567
1800.05/1800.00	o -1568
1800.05/1800.00	o -1569
1800.05/1800.00	o -1570
1800.05/1800.00	o -1571
1800.05/1800.00	o -1573
1800.05/1800.00	o -1574
1800.05/1800.00	o -1575
1800.05/1800.00	o -1576
1800.05/1800.00	o -1577
1800.05/1800.00	o -1578
1800.05/1800.00	o -1579
1800.05/1800.00	o -1580
1800.05/1800.00	o -1582
1800.05/1800.00	o -1583
1800.05/1800.00	o -1584
1800.05/1800.00	o -1585
1800.05/1800.00	o -1586
1800.05/1800.00	o -1587
1800.05/1800.00	o -1588
1800.05/1800.00	o -1589
1800.05/1800.00	o -1590
1800.05/1800.00	o -1591
1800.05/1800.00	o -1592
1800.05/1800.00	o -1593
1800.05/1800.00	o -1594
1800.05/1800.00	o -1595
1800.05/1800.00	o -1597
1800.05/1800.00	o -1598
1800.05/1800.00	o -1600
1800.05/1800.00	o -1601
1800.05/1800.00	o -1602
1800.05/1800.00	o -1603
1800.05/1800.00	o -1604
1800.05/1800.00	o -1605
1800.05/1800.00	o -1606
1800.05/1800.00	v -x1 -x2 x3 -x4 -x5 -x6 -x7 -x8 -x9 x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -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 -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 -x241 x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -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 -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 -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 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -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 -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 -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 x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 x749 -x750 -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 -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 -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 -x976 -x977 -x978 -x979 -x980 -x981 x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -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 -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 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 x1229 -x1230 -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 -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 -x1456 -x1457 -x1458 -x1459 x1460 -x1461 -x1462 x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -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 -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 -x1681 -x1682 x1683 x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -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 -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 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 x1923 -x1924 -x1925 -x1926 x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 x1937 -x1938 -x1939 x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -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 -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 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 x2189 -x2190 -x2191 -x2192 -x2193 -x2194 x2195 -x2196 -x2197 -x2198 x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 x2234 x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 x2310 -x2311 -x2312 -x2313 x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 x2327 -x2328 x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 x2360 -x2361 x2362 -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 -x2416 -x2417 -x2418 x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 x2427 -x2428 -x2429 -x2430 -x2431 -x2432 x2433 -x2434 -x2435 -x2436 x2437 -x2438 x2439 -x2440 -x2441 -x2442 -x2443 -x2444 x2445 -x2446 -x2447 -x2448 x2449 x2450 -x2451 x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 x2459 -x2460 -x2461 -x2462 x2463 -x2464 -x2465 x2466 x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 x2477 x2478 -x2479 -x2480 -x2481 x2482 -x2483 -x2484 -x2485 x2486 x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 x2523 -x2524 -x2525 -x2526 -x2527 -x2528 x2529 -x2530 x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 x2559 x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 x2588 x2589 -x2590 -x2591 x2592 -x2593 -x2594 -x2595 -x2596 x2597 -x2598 -x2599 x2600 -x2601 -x2602 -x2603 -x2604 -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 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 x2721 -x2722 -x2723 x2724 -x2725 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 -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 x2896 x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -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 -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 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -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 -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 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -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 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 -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 -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 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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -x6121 x6122 -x6123 -x6124 -x6125 -x6126 -x6127 -x6128 -x6129 -x6130 -x6131 x6132 -x6133 -x6134 -x6135 -x6136 -x6137 -x6138 -x6139 -x6140 -x6141 -x6142 -x6143 -x6144 -x6145 -x6146 -x6147 -x6148 -x6149 -x6150 -x6151 -x6152 -x6153 -x6154 -x6155 -x6156 -x6157 -x6158 -x6159 -x6160 -x6161 -x6162 -x6163 -x6164 -x6165 -x6166 -x6167 -x6168 -x6169 -x6170 -x6171 -x6172 -x6173 -x6174 -x6175 -x6176 -x6177 -x6178 -x6179 -x6180 -x6181 -x6182 -x6183 -x6184 -x6185 -x6186 -x6187 -x6188 -x6189 -x6190 x6191 -x6192 -x6193 -x6194 -x6195 -x6196 -x6197 -x6198 -x6199 -x6200 -x6201 -x6202 -x6203 -x6204 -x6205 -x6206 -x6207 -x6208 -x6209 -x6210 -x6211 -x6212 -x6213 -x6214 -x6215 x6216 -x6217 x6218 -x6219 -x6220 -x6221 -x6222 -x6223 -x6224 -x6225 -x6226 -x6227 -x6228 x6229 -x6230 -x6231 -x6232 -x6233 -x6234 -x6235 -x6236 -x6237 x6238 -x6239 -x6240 -x6241 -x6242 -x6243 -x6244 x6245 -x6246 -x6247 -x6248 -x6249 -x6250 x6251 -x6252 -x6253 -x6254 -x6255 -x6256 -x6257 -x6258 -x6259 -x6260 -x6261 -x6262 -x6263 -x6264 -x6265 -x6266 -x6267 -x6268 -x6269 -x6270 -x6271 x6272 -x6273 -x6274 -x6275 -x6276 -x6277 -x6278 -x6279 -x6280 -x6281 -x6282 -x6283 -x6284 -x6285 -x6286 -x6287 -x6288 -x6289 -x6290 -x6291 -x6292 -x6293 -x6294 -x6295 -x6296 -x6297 -x6298 -x6299 -x6300 -x6301 -x6302 -x6303 -x6304 -x6305 -x6306 -x6307 -x6308 -x6309 -x6310 -x6311 -x6312 -x6313 -x6314 -x6315 -x6316 -x6317 -x6318 -x6319 -x6320 -x6321 -x6322 -x6323 -x6324 -x6325 -x6326 -x6327 -x6328 -x6329 -x6330 -x6331 -x6332 -x6333 -x6334 -x6335 -x6336 -x6337 -x6338 -x6339 -x6340 -x6341 -x6342 -x6343 -x6344 -x6345 -x6346 -x6347 -x6348 -x6349 -x6350 -x6351 -x6352 -x6353 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 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 -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 -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 -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 -x9076 -x9077 -x9078 x9079 -x9080 -x9081 -x9082 -x9083 -x9084 -x9085 -x9086 -x9087 -x9088 x9089 x9090 -x9091 -x9092 -x9093 -x9094 -x9095 -x9096 -x9097 -x9098 -x9099 -x9100 -x9101 -x9102 -x9103 -x9104 -x9105 -x9106 -x9107 -x9108 -x9109 -x9110 -x9111 -x9112 x9113 -x9114 -x9115 -x9116 -x9117 -x9118 -x9119 -x9120 -x9121 -x9122 -x9123 -x9124 -x9125 -x9126 -x9127 -x9128 -x9129 -x9130 -x9131 -x9132 -x9133 -x9134 -x9135 -x9136 -x9137 -x9138 x9139 -x9140 -x9141 -x9142 -x9143 -x9144 -x9145 x9146 -x9147 -x9148 -x9149 -x9150 -x9151 -x9152 -x9153 -x9154 -x9155 -x9156 x9157 -x9158 -x9159 x9160 -x9161 -x9162 -x9163 -x9164 -x9165 -x9166 x9167 -x9168 -x9169 -x9170 -x9171 -x9172 -x9173 -x9174 -x9175 -x9176 -x9177 -x9178 -x9179 -x9180 -x9181 -x9182 x9183 -x9184 -x9185 -x9186 -x9187 -x9188 -x9189 -x9190 -x9191 -x9192 -x9193 -x9194 -x9195 -x9196 x9197 -x9198 -x9199 -x9200 -x9201 -x9202 -x9203 -x9204 x9205 -x9206 -x9207 -x9208 -x9209 -x9210 -x9211 -x9212 -x9213 -x9214 -x9215 -x9216 -x9217 -x9218 -x9219 -x9220 -x9221 -x9222 x9223 -x9224 -x9225 -x9226 x9227 -x9228 x9229 -x9230 -x9231 -x9232 -x9233 -x9234 -x9235 -x9236 -x9237 -x9238 -x9239 -x9240 -x9241 -x9242 x9243 -x9244 -x9245 -x9246 -x9247 -x9248 -x9249 -x9250 -x9251 -x9252 -x9253 -x9254 -x9255 -x9256 -x9257 -x9258 -x9259 -x9260 -x9261 -x9262 -x9263 -x9264 -x9265 -x9266 -x9267 -x9268 -x9269 -x9270 -x9271 -x9272 -x9273 -x9274 -x9275 -x9276 -x9277 -x9278 -x9279 -x9280 -x9281 -x9282 -x9283 -x9284 -x9285 -x9286 -x9287 -x9288 -x9289 -x9290 -x9291 -x9292 -x9293 -x9294 -x9295 -x9296 x9297 -x9298 -x9299 -x9300 -x9301 -x9302 -x9303 -x9304 -x9305 -x9306 -x9307 -x9308 -x9309 -x9310 -x9311 -x9312 -x9313 -x9314 -x9315 -x9316 -x9317 -x9318 -x9319 -x9320 -x9321 -x9322 x9323 -x9324 -x9325 -x9326 -x9327 -x9328 -x9329 -x9330 -x9331 -x9332 -x9333 -x9334 -x9335 -x9336 -x9337 -x9338 -x9339 -x9340 -x9341 -x9342 -x9343 -x9344 -x9345 -x9346 x9347 -x9348 -x9349 -x9350 -x9351 -x9352 -x9353 -x9354 -x9355 -x9356 -x9357 -x9358 -x9359 -x9360 -x9361 -x9362 -x9363 -x9364 -x9365 -x9366 -x9367 -x9368 -x9369 -x9370 -x9371 -x9372 -x9373 -x9374 -x9375 -x9376 -x9377 -x9378 -x9379 -x9380 -x9381 -x9382 x9383 -x9384 -x9385 -x9386 -x9387 -x9388 -x9389 -x9390 -x9391 -x9392 -x9393 -x9394 -x9395 -x9396 -x9397 -x9398 -x9399 -x9400 -x9401 -x9402 -x9403 -x9404 -x9405 -x9406 -x9407 -x9408 -x9409 -x9410 -x9411 -x9412 -x9413 x9414 -x9415 -x9416 -x9417 -x9418 -x9419 -x9420 -x9421 -x9422 -x9423 -x9424 -x9425 -x9426 -x9427 -x9428 -x9429 -x9430 -x9431 -x9432 -x9433 -x9434 -x9435 -x9436 -x9437 -x9438 -x9439 -x9440 -x9441 -x9442 -x9443 -x9444 -x9445 -x9446 -x9447 x9448 -x9449 x9450 -x9451 -x9452 -x9453 -x9454 -x9455 -x9456 -x9457 -x9458 -x9459 -x9460 -x9461 -x9462 -x9463 x9464 -x9465 -x9466 -x9467 -x9468 -x9469 -x9470 -x9471 -x9472 -x9473 -x9474 -x9475 -x9476 x9477 -x9478 -x9479 -x9480 -x9481 -x9482 -x9483 -x9484 -x9485 -x9486 -x9487 -x9488 -x9489 -x9490 -x9491 -x9492 -x9493 -x9494 -x9495 -x9496 -x9497 -x9498 -x9499 -x9500 -x9501 -x9502 -x9503 -x9504 -x9505 -x9506 -x9507 -x9508 -x9509 -x9510 -x9511 -x9512 -x9513 -x9514 -x9515 x9516 -x9517 -x9518 -x9519 -x9520 -x9521 -x9522 -x9523 -x9524 -x9525 -x9526 -x9527 -x9528 -x9529 x9530 -x9531 -x9532 -x9533 -x9534 -x9535 -x9536 -x9537 -x9538 -x9539 -x9540 -x9541 -x9542 -x9543 -x9544 -x9545 -x9546 -x9547 -x9548 -x9549 -x9550 -x9551 -x9552 -x9553 -x9554 -x9555 -x9556 -x9557 -x9558 -x9559 -x9560 -x9561 -x9562 -x9563 -x9564 -x9565 -x9566 -x9567 -x9568 -x9569 -x9570 -x9571 -x9572 -x9573 -x9574 -x9575 -x9576 -x9577 -x9578 -x9579 -x9580 -x9581 -x9582 -x9583 -x9584 -x9585 -x9586 -x9587 -x9588 -x9589 -x9590 -x9591 -x9592 -x9593 -x9594 -x9595 x9596 -x9597 -x9598 -x9599 -x9600 -x9601 -x9602 -x9603 -x9604 -x9605 -x9606 -x9607 -x9608 -x9609 -x9610 -x9611 -x9612 -x9613 x9614 -x9615 -x9616 -x9617 -x9618 -x9619 -x9620 -x9621 -x9622 -x9623 x9624 -x9625 -x9626 -x9627 -x9628 -x9629 x9630 -x9631 x9632 -x9633 x9634 -x9635 -x9636 -x9637 -x9638 -x9639 -x9640 -x9641 -x9642 -x9643 -x9644 -x9645 -x9646 -x9647 -x9648 -x9649 -x9650 -x9651 -x9652 -x9653 -x9654 -x9655 -x9656 -x9657 -x9658 -x9659 -x9660 -x9661 -x9662 -x9663 -x9664 x9665 -x9666 -x9667 -x9668 -x9669 -x9670 -x9671 -x9672 -x9673 -x9674 -x9675 -x9676 -x9677 x9678 -x9679 -x9680 -x9681 x9682 -x9683 -x9684 -x9685 -x9686 -x9687 -x9688 -x9689 -x9690 -x9691 -x9692 -x9693 x9694 -x9695 -x9696 -x9697 -x9698 -x9699 -x9700 -x9701 -x9702 -x9703 -x9704 -x9705 -x9706 x9707 -x9708 -x9709 -x9710 -x9711 -x9712 x9713 -x9714 -x9715 -x9716 -x9717 -x9718 -x9719 -x9720 -x9721 -x9722 -x9723 -x9724 -x9725 -x9726 -x9727 -x9728 -x9729 -x9730 -x9731 -x9732 -x9733 -x9734 -x9735 -x9736 -x9737 -x9738 -x9739 -x9740 -x9741 -x9742 -x9743 -x9744 -x9745 -x9746 -x9747 -x9748 -x9749 -x9750 -x9751 -x9752 -x9753 -x9754 -x9755 -x9756 -x9757 -x9758 -x9759 -x9760 -x9761 -x9762 -x9763 -x9764 -x9765 -x9766 -x9767 x9768 -x9769 -x9770 -x9771 -x9772 -x9773 -x9774 -x9775 -x9776 -x9777 -x9778 -x9779 -x9780 -x9781 -x9782 -x9783 -x9784 -x9785 -x9786 -x9787 -x9788 -x9789 -x9790 -x9791 -x9792 -x9793 -x9794 -x9795 -x9796 -x9797 -x9798 -x9799 -x9800 x9801 -x9802 -x9803 -x9804 -x9805 -x9806 -x9807 -x9808 -x9809 -x9810 -x9811 -x9812 -x9813 -x9814 -x9815 -x9816 -x9817 -x9818 -x9819 -x9820 -x9821 -x9822 -x9823 -x9824 -x9825 -x9826 -x9827 -x9828 -x9829 -x9830 -x9831 -x9832 -x9833 -x9834 -x9835 -x9836 -x9837 -x9838 -x9839 -x9840 -x9841 -x9842 -x9843 -x9844 -x9845 -x9846 -x9847 -x9848 -x9849 -x9850 -x9851 -x9852 -x9853 x9854 -x9855 -x9856 -x9857 -x9858 -x9859 -x9860 -x9861 -x9862 -x9863 -x9864 -x9865 -x9866 -x9867 -x9868 -x9869 -x9870 -x9871 -x9872 -x9873 -x9874 -x9875 -x9876 -x9877 -x9878 -x9879 -x9880 -x9881 -x9882 -x9883 -x9884 -x9885 -x9886 -x9887 -x9888 -x9889 -x9890 -x9891 -x9892 -x9893 -x9894 -x9895 -x9896 -x9897 -x9898 -x9899 -x9900 -x9901 -x9902 -x9903 -x9904 -x9905 -x9906 -x9907 -x9908 -x9909 -x9910 -x9911 -x9912 -x9913 -x9914 -x9915 x9916 -x9917 -x9918 -x9919 -x9920 -x9921 -x9922 -x9923 -x9924 -x9925 -x9926 -x9927 -x9928 -x9929 -x9930 -x9931 -x9932 -x9933 -x9934 -x9935 -x9936 -x9937 -x9938 -x9939 -x9940 -x9941 -x9942 -x9943 -x9944 -x9945 -x9946 -x9947 -x9948 -x9949 -x9950 x9951 -x9952 -x9953 -x9954 -x9955 -x9956 -x9957 -x9958 -x9959 -x9960 -x9961 -x9962 x9963 -x9964 -x9965 -x9966 -x9967 -x9968 -x9969 -x9970 -x9971 -x9972 -x9973 -x9974 -x9975 -x9976 -x9977 -x9978 -x9979 -x9980 -x9981 -x9982 -x9983 -x9984 -x9985 -x9986 x9987 -x9988 -x9989 -x9990 -x9991 -x9992 -x9993 -x9994 -x9995 -x9996 -x9997 -x9998 -x9999 -x10000 -x10001 -x10002 x10003 -x10004 -x10005 -x10006 -x10007 -x10008 -x10009 -x10010 -x10011 -x10012 -x10013 -x10014 -x10015 -x10016 -x10017 -x10018 -x10019 -x10020 -x10021 x10022 -x10023 -x10024 -x10025 -x10026 -x10027 -x10028 -x10029 -x10030 -x10031 -x10032 -x10033 -x10034 -x10035 -x10036 -x10037 -x10038 -x10039 -x10040 -x10041 -x10042 -x10043 -x10044 -x10045 -x10046 -x10047 -x10048 -x10049 -x10050 -x10051 -x10052 -x10053 -x10054 -x10055 -x10056 -x10057 -x10058 -x10059 -x10060 -x10061 -x10062 -x10063 -x10064 -x10065 -x10066 -x10067 -x10068 -x10069 -x10070 -x10071 -x10072 -x10073 -x10074 -x10075 -x10076 -x10077 -x10078 -x10079 -x10080 -x10081 -x10082 -x10083 -x10084 -x10085 -x10086 -x10087 -x10088 -x10089 -x10090 -x10091 -x10092 -x10093 -x10094 -x10095 -x10096 -x10097 -x10098 x10099 -x10100 x10101 x10102 -x10103 -x10104 -x10105 x10106 -x10107 x10108 -x10109 -x10110 -x10111 -x10112 -x10113 -x10114 x10115 -x10116 -x10117 -x10118 x10119 -x10120 -x10121 -x10122 x10123 -x10124 x10125 -x10126 -x10127 -x10128 -x10129 -x10130 -x10131 -x10132 -x10133 -x10134 -x10135 -x10136 -x10137 -x10138 -x10139 -x10140 -x10141 -x10142 -x10143 x10144 -x10145 x10146 -x10147 -x10148 -x10149 -x10150 -x10151 -x10152 -x10153 -x10154 -x10155 -x10156 -x10157 -x10158 -x10159 -x10160 -x10161 -x10162 -x10163 -x10164 -x10165 -x10166 -x10167 -x10168 -x10169 -x10170 -x10171 x10172 -x10173 -x10174 -x10175 x10176 -x10177 -x10178 -x10179 -x10180 -x10181 -x10182 -x10183 -x10184 -x10185 -x10186 -x10187 -x10188 -x10189 -x10190 x10191 -x10192 -x10193 -x10194 -x10195 -x10196 -x10197 x10198 -x10199 -x10200 -x10201 x10202 -x10203 -x10204 -x10205 -x10206 x10207 -x10208 -x10209 -x10210 -x10211 -x10212 -x10213 -x10214 -x10215 -x10216 -x10217 x10218 -x10219 -x10220 x10221 -x10222 -x10223 -x10224 -x10225 -x10226 -x10227 x10228 x10229 x10230 -x10231 x10232 -x10233 -x10234 -x10235 x10236 -x10237 -x10238 x10239 -x10240 -x10241 -x10242 -x10243 -x10244 -x10245 -x10246 -x10247 -x10248 -x10249 -x10250 -x10251 -x10252 -x10253 -x10254 -x10255 x10256 -x10257 x10258 -x10259 -x10260 -x10261 -x10262 -x10263 -x10264 -x10265 -x10266 -x10267 -x10268 x10269 -x10270 -x10271 -x10272 -x10273 -x10274 -x10275 x10276 -x10277 -x10278 -x10279 -x10280 -x10281 x10282 -x10283 -x10284 -x10285 x10286 -x10287 -x10288 -x10289 -x10290 -x10291 -x10292 -x10293 -x10294 -x10295 -x10296 x10297 -x10298 x10299 -x10300 -x10301 -x10302 -x10303 -x10304 -x10305 -x10306 -x10307 -x10308 -x10309 -x10310 x10311 -x10312 -x10313 -x10314 -x10315 -x10316 -x10317 x10318 -x10319 -x10320 -x10321 x10322 -x10323 -x10324 -x10325 -x10326 -x10327 x10328 x10329 -x10330 -x10331 -x10332 -x10333 x10334 -x10335 -x10336 -x10337 -x10338 -x10339 -x10340 -x10341 -x10342 -x10343 -x10344 -x10345 -x10346 -x10347 -x10348 -x10349 -x10350 -x10351 -x10352 -x10353 -x10354 -x10355 -x10356 -x10357 -x10358 -x10359 -x10360 x10361 -x10362 -x10363 -x10364 -x10365 x10366 -x10367 -x10368 -x10369 -x10370 -x10371 x10372 -x10373 -x10374 -x10375 -x10376 -x10377 -x10378 -x10379 x10380 -x10381 -x10382 -x10383 -x10384 -x10385 -x10386 -x10387 x10388 -x10389 -x10390 -x10391 -x10392 -x10393 -x10394 -x10395 -x10396 -x10397 -x10398 -x10399 -x10400 -x10401 -x10402 -x10403 -x10404 -x10405 -x10406 -x10407 -x10408 -x10409 -x10410 -x10411 x10412 -x10413 -x10414 -x10415 -x10416 -x10417 -x10418 -x10419 -x10420 -x10421 -x10422 -x10423 -x10424 -x10425 -x10426 -x10427 -x10428 -x10429 -x10430 -x10431 -x10432 -x10433 -x10434 -x10435 -x10436 -x10437 -x10438 -x10439 -x10440 -x10441 -x10442 -x10443 -x10444 x10445 -x10446 -x10447 -x10448 -x10449 -x10450 -x10451 -x10452 -x10453 -x10454 -x10455 -x10456 -x10457 -x10458 -x10459 x10460 x10461 -x10462 -x10463 -x10464 -x10465 -x10466 -x10467 -x10468 -x10469 x10470 -x10471 -x10472 x10473 -x10474 -x10475 -x10476 -x10477 -x10478 -x10479 -x10480 -x10481 -x10482 -x10483 -x10484 -x10485 -x10486 -x10487 -x10488 -x10489 x10490 -x10491 -x10492 -x10493 -x10494 -x10495 -x10496 -x10497 -x10498 -x10499 -x10500 -x10501 -x10502 -x10503 -x10504 -x10505 -x10506 -x10507 -x10508 -x10509 -x10510 -x10511 -x10512 -x10513 -x10514 -x10515 -x10516 -x10517 -x10518 -x10519 -x10520 -x10521 -x10522 -x10523 -x10524 -x10525 -x10526 -x10527 -x10528 -x10529 -x10530 -x10531 -x10532 -x10533 -x10534 -x10535 -x10536 -x10537 -x10538 -x10539 -x10540 -x10541 -x10542 -x10543 -x10544 x10545 -x10546 -x10547 -x10548 -x10549 -x10550 -x10551 -x10552 -x10553 -x10554 -x10555 -x10556 x10557 -x10558 -x10559 -x10560 -x10561 -x10562 -x10563 -x10564 -x10565 -x10566 -x10567 -x10568 -x10569 -x10570 -x10571 -x10572 -x10573 -x10574 -x10575 -x10576 -x10577 x10578 -x10579 -x10580 -x10581 x10582 -x10583 -x10584 -x10585 -x10586 -x10587 -x10588 -x10589 -x10590 -x10591 -x10592 -x10593 -x10594 -x10595 -x10596 -x10597 -x10598 -x10599 -x10600 -x10601 -x10602 -x10603 -x10604 -x10605 -x10606 -x10607 -x10608 -x10609 -x10610 -x10611 -x10612 -x10613 -x10614 -x10615 -x10616 -x10617 -x10618 -x10619 -x10620 -x10621 -x10622 -x10623 x10624 -x10625 -x10626 -x10627 -x10628 -x10629 -x10630 -x10631 -x10632 -x10633 -x10634 -x10635 -x10636 -x10637 -x10638 -x10639 -x10640 -x10641 -x10642 -x10643 -x10644 -x10645 -x10646 x10647 -x10648 -x10649 -x10650 -x10651 -x10652 -x10653 -x10654 -x10655 -x10656 -x10657 -x10658 -x10659 -x10660 -x10661 -x10662 -x10663 -x10664 -x10665 -x10666 -x10667 -x10668 -x10669 -x10670 -x10671 -x10672 -x10673 -x10674 -x10675 -x10676 -x10677 -x10678 -x10679 -x10680 -x10681 x10682 -x10683 -x10684 -x10685 -x10686 -x10687 -x10688 -x10689 -x10690 -x10691 -x10692 -x10693 -x10694 -x10695 -x10696 -x10697 -x10698 -x10699 -x10700 -x10701 -x10702 -x10703 -x10704 -x10705 -x10706 -x10707 x10708 -x10709 -x10710 -x10711 -x10712 -x10713 

Verifier Data

OK	-1606

Watcher Data

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 988)

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-3490652-1307759444/watcher-3490652-1307759444 -o /tmp/evaluation-result-3490652-1307759444/solver-3490652-1307759444 -C 1800 -W 1900 -M 15500 HOME/minisatid HOME/instance-3490652-1307759444.opb --verbosity=0 --format=opb --randomseed=1754872646 

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.92 2.35 3.09 4/176 15581
/proc/meminfo: memFree=31879928/32951124 swapFree=67053960/67111528
[pid=15581] ppid=15579 vsize=7592 CPUtime=0 cores=0,2,4,6
/proc/15581/stat : 15581 (minisatid) R 15579 15581 15536 0 -1 4202496 397 0 0 0 0 0 0 0 24 0 1 0 868359872 7774208 349 33554432000 4194304 6720400 140734837119616 18446744073709551615 5725645 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/15581/statm: 1898 349 215 617 0 1272 0

[startup+0.0589431 s]
/proc/loadavg: 1.92 2.35 3.09 4/176 15581
/proc/meminfo: memFree=31879928/32951124 swapFree=67053960/67111528
[pid=15581] ppid=15579 vsize=12208 CPUtime=0.05 cores=0,2,4,6
/proc/15581/stat : 15581 (minisatid) R 15579 15581 15536 0 -1 4202496 1556 0 0 0 5 0 0 0 24 0 1 0 868359872 12500992 1487 33554432000 4194304 6720400 140734837119616 18446744073709551615 5725543 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/15581/statm: 3052 1487 232 617 0 2426 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 12208

[startup+0.100942 s]
/proc/loadavg: 1.92 2.35 3.09 4/176 15581
/proc/meminfo: memFree=31879928/32951124 swapFree=67053960/67111528
[pid=15581] ppid=15579 vsize=13660 CPUtime=0.09 cores=0,2,4,6
/proc/15581/stat : 15581 (minisatid) R 15579 15581 15536 0 -1 4202496 1946 0 0 0 9 0 0 0 25 0 1 0 868359872 13987840 1877 33554432000 4194304 6720400 140734837119616 18446744073709551615 5725645 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/15581/statm: 3415 1877 232 617 0 2789 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 13660

[startup+0.300906 s]
/proc/loadavg: 1.92 2.35 3.09 4/176 15581
/proc/meminfo: memFree=31879928/32951124 swapFree=67053960/67111528
[pid=15581] ppid=15579 vsize=32772 CPUtime=0.29 cores=0,2,4,6
/proc/15581/stat : 15581 (minisatid) R 15579 15581 15536 0 -1 4202496 7157 0 0 0 29 0 0 0 25 0 1 0 868359872 33558528 6642 33554432000 4194304 6720400 140734837119616 18446744073709551615 4805687 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/15581/statm: 8193 6642 257 617 0 7567 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 32772

[startup+0.700835 s]
/proc/loadavg: 1.92 2.35 3.09 4/176 15581
/proc/meminfo: memFree=31879928/32951124 swapFree=67053960/67111528
[pid=15581] ppid=15579 vsize=34236 CPUtime=0.69 cores=0,2,4,6
/proc/15581/stat : 15581 (minisatid) R 15579 15581 15536 0 -1 4202496 11723 0 0 0 68 1 0 0 25 0 1 0 868359872 35057664 7374 33554432000 4194304 6720400 140734837119616 18446744073709551615 4625993 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/15581/statm: 8559 7374 257 617 0 7933 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 34236

[startup+1.5007 s]
/proc/loadavg: 1.93 2.35 3.09 4/178 15583
/proc/meminfo: memFree=31840528/32951124 swapFree=67053960/67111528
[pid=15581] ppid=15579 vsize=39968 CPUtime=1.49 cores=0,2,4,6
/proc/15581/stat : 15581 (minisatid) R 15579 15581 15536 0 -1 4202496 21085 0 0 0 147 2 0 0 25 0 1 0 868359872 40927232 8876 33554432000 4194304 6720400 140734837119616 18446744073709551615 4434436 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/15581/statm: 9992 8876 257 617 0 9366 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 39968

[startup+3.10035 s]
/proc/loadavg: 1.93 2.35 3.09 4/178 15583
/proc/meminfo: memFree=31832964/32951124 swapFree=67053960/67111528
[pid=15581] ppid=15579 vsize=49748 CPUtime=3.09 cores=0,2,4,6
/proc/15581/stat : 15581 (minisatid) R 15579 15581 15536 0 -1 4202496 37613 0 0 0 305 4 0 0 25 0 1 0 868359872 50941952 11534 33554432000 4194304 6720400 140734837119616 18446744073709551615 4438798 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/15581/statm: 12437 11534 257 617 0 11811 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 49748

[startup+6.30079 s]
/proc/loadavg: 1.93 2.34 3.08 4/178 15583
/proc/meminfo: memFree=31793412/32951124 swapFree=67053960/67111528
[pid=15581] ppid=15579 vsize=91756 CPUtime=6.29 cores=0,2,4,6
/proc/15581/stat : 15581 (minisatid) R 15579 15581 15536 0 -1 4202496 102349 0 0 0 618 11 0 0 25 0 1 0 868359872 93958144 22334 33554432000 4194304 6720400 140734837119616 18446744073709551615 4613432 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/15581/statm: 22939 22334 257 617 0 22313 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 91756

[startup+12.7006 s]
/proc/loadavg: 1.94 2.33 3.08 4/178 15583
/proc/meminfo: memFree=31748492/32951124 swapFree=67053960/67111528
[pid=15581] ppid=15579 vsize=174512 CPUtime=12.69 cores=0,2,4,6
/proc/15581/stat : 15581 (minisatid) R 15579 15581 15536 0 -1 4202496 159263 0 0 0 1252 17 0 0 25 0 1 0 868359872 178700288 32012 33554432000 4194304 6720400 140734837119616 18446744073709551615 4617084 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/15581/statm: 43628 32012 265 617 0 43002 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 174512

[startup+25.5003 s]
/proc/loadavg: 1.95 2.32 3.06 4/178 15583
/proc/meminfo: memFree=31678372/32951124 swapFree=67053960/67111528
[pid=15581] ppid=15579 vsize=261052 CPUtime=25.49 cores=0,2,4,6
/proc/15581/stat : 15581 (minisatid) R 15579 15581 15536 0 -1 4202496 257921 0 0 0 2522 27 0 0 25 0 1 0 868359872 267317248 49235 33554432000 4194304 6720400 140734837119616 18446744073709551615 4815480 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/15581/statm: 65263 49248 265 617 0 64637 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 261052

[startup+51.1006 s]
/proc/loadavg: 1.97 2.29 3.03 4/178 15584
/proc/meminfo: memFree=31664948/32951124 swapFree=67053960/67111528
[pid=15581] ppid=15579 vsize=265980 CPUtime=51.09 cores=0,2,4,6
/proc/15581/stat : 15581 (minisatid) R 15579 15581 15536 0 -1 4202496 496578 0 0 0 5056 53 0 0 25 0 1 0 868359872 272363520 54381 33554432000 4194304 6720400 140734837119616 18446744073709551615 4617076 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/15581/statm: 66495 54381 265 617 0 65869 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 265980

[startup+102.306 s]
/proc/loadavg: 1.98 2.24 2.97 4/178 15585
/proc/meminfo: memFree=31618176/32951124 swapFree=67053960/67111528
[pid=15581] ppid=15579 vsize=269432 CPUtime=102.3 cores=0,2,4,6
/proc/15581/stat : 15581 (minisatid) R 15579 15581 15536 0 -1 4202496 933262 0 0 0 10126 104 0 0 25 0 1 0 868359872 275898368 63743 33554432000 4194304 6720400 140734837119616 18446744073709551615 4617076 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/15581/statm: 67358 63743 265 617 0 66732 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 269432

[startup+162.301 s]
/proc/loadavg: 1.99 2.20 2.91 4/178 15587
/proc/meminfo: memFree=31634284/32951124 swapFree=67053960/67111528
[pid=15581] ppid=15579 vsize=275304 CPUtime=162.3 cores=0,2,4,6
/proc/15581/stat : 15581 (minisatid) R 15579 15581 15536 0 -1 4202496 1467654 0 0 0 16066 164 0 0 25 0 1 0 868359872 281911296 59697 33554432000 4194304 6720400 140734837119616 18446744073709551615 4617059 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/15581/statm: 68826 59697 265 617 0 68200 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 275304

[startup+222.301 s]
/proc/loadavg: 1.99 2.16 2.85 4/178 15589
/proc/meminfo: memFree=31630664/32951124 swapFree=67053960/67111528
[pid=15581] ppid=15579 vsize=279572 CPUtime=222.3 cores=0,2,4,6
/proc/15581/stat : 15581 (minisatid) R 15579 15581 15536 0 -1 4202496 2095197 0 0 0 21999 231 0 0 25 0 1 0 868359872 286281728 62064 33554432000 4194304 6720400 140734837119616 18446744073709551615 4815480 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/15581/statm: 69893 62090 265 617 0 69267 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 279572

[startup+282.301 s]
/proc/loadavg: 1.99 2.13 2.79 4/178 15590
/proc/meminfo: memFree=31650728/32951124 swapFree=67053960/67111528
[pid=15581] ppid=15579 vsize=282448 CPUtime=282.3 cores=0,2,4,6
/proc/15581/stat : 15581 (minisatid) R 15579 15581 15536 0 -1 4202496 2639828 0 0 0 27936 294 0 0 25 0 1 0 868359872 289226752 56895 33554432000 4194304 6720400 140734837119616 18446744073709551615 4802230 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/15581/statm: 70612 56895 265 617 0 69986 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 282448

[startup+342.301 s]
/proc/loadavg: 1.99 2.10 2.74 4/178 15592
/proc/meminfo: memFree=31583360/32951124 swapFree=67053960/67111528
[pid=15581] ppid=15579 vsize=416340 CPUtime=342.31 cores=0,2,4,6
/proc/15581/stat : 15581 (minisatid) R 15579 15581 15536 0 -1 4202496 3157439 0 0 0 33884 347 0 0 25 0 1 0 868359872 426332160 72433 33554432000 4194304 6720400 140734837119616 18446744073709551615 4617068 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/15581/statm: 104085 72433 265 617 0 103459 0
Current children cumulated CPU time (s) 342.31
Current children cumulated vsize (KiB) 416340

[startup+402.301 s]
/proc/loadavg: 2.06 2.11 2.70 4/178 15593
/proc/meminfo: memFree=31620532/32951124 swapFree=67053960/67111528
[pid=15581] ppid=15579 vsize=285484 CPUtime=402.3 cores=0,2,4,6
/proc/15581/stat : 15581 (minisatid) R 15579 15581 15536 0 -1 4202496 3751489 0 0 0 39819 411 0 0 25 0 1 0 868359872 292335616 64924 33554432000 4194304 6720400 140734837119616 18446744073709551615 4617073 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/15581/statm: 71371 64924 265 617 0 70745 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 285484

[startup+462.301 s]
/proc/loadavg: 2.02 2.08 2.66 4/178 15595
/proc/meminfo: memFree=31608848/32951124 swapFree=67053960/67111528
[pid=15581] ppid=15579 vsize=286976 CPUtime=462.31 cores=0,2,4,6
/proc/15581/stat : 15581 (minisatid) R 15579 15581 15536 0 -1 4202496 4394124 0 0 0 45752 479 0 0 25 0 1 0 868359872 293863424 67666 33554432000 4194304 6720400 140734837119616 18446744073709551615 4617079 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/15581/statm: 71744 67666 265 617 0 71118 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 286976

[startup+522.301 s]
/proc/loadavg: 2.01 2.07 2.61 4/178 15597
/proc/meminfo: memFree=31593936/32951124 swapFree=67053960/67111528
[pid=15581] ppid=15579 vsize=288344 CPUtime=522.31 cores=0,2,4,6
/proc/15581/stat : 15581 (minisatid) R 15579 15581 15536 0 -1 4202496 4999055 0 0 0 51683 548 0 0 25 0 1 0 868359872 295264256 69828 33554432000 4194304 6720400 140734837119616 18446744073709551615 4617059 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/15581/statm: 72086 69828 265 617 0 71460 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 288344

[startup+582.301 s]
/proc/loadavg: 2.00 2.05 2.57 4/178 15598
/proc/meminfo: memFree=31593912/32951124 swapFree=67053960/67111528
[pid=15581] ppid=15579 vsize=289376 CPUtime=582.31 cores=0,2,4,6
/proc/15581/stat : 15581 (minisatid) R 15579 15581 15536 0 -1 4202496 5592852 0 0 0 57618 613 0 0 25 0 1 0 868359872 296321024 69900 33554432000 4194304 6720400 140734837119616 18446744073709551615 4617059 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/15581/statm: 72344 69900 265 617 0 71718 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 289376

[startup+642.301 s]

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

[startup+822.301 s]
/proc/loadavg: 2.00 2.02 2.43 4/178 15605
/proc/meminfo: memFree=31565532/32951124 swapFree=67053960/67111528
[pid=15581] ppid=15579 vsize=427360 CPUtime=822.31 cores=0,2,4,6
/proc/15581/stat : 15581 (minisatid) R 15579 15581 15536 0 -1 4202496 8107586 0 0 0 81349 882 0 0 25 0 1 0 868359872 437616640 78818 33554432000 4194304 6720400 140734837119616 18446744073709551615 4617084 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/15581/statm: 106840 78818 265 617 0 106214 0
Current children cumulated CPU time (s) 822.31
Current children cumulated vsize (KiB) 427360

[startup+882.301 s]
/proc/loadavg: 2.00 2.01 2.40 4/178 15606
/proc/meminfo: memFree=31542440/32951124 swapFree=67053960/67111528
[pid=15581] ppid=15579 vsize=428376 CPUtime=882.32 cores=0,2,4,6
/proc/15581/stat : 15581 (minisatid) R 15579 15581 15536 0 -1 4202496 8749339 0 0 0 87278 954 0 0 25 0 1 0 868359872 438657024 82587 33554432000 4194304 6720400 140734837119616 18446744073709551615 4617079 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/15581/statm: 107094 82587 265 617 0 106468 0
Current children cumulated CPU time (s) 882.32
Current children cumulated vsize (KiB) 428376

[startup+942.301 s]
/proc/loadavg: 2.04 2.02 2.38 4/178 15608
/proc/meminfo: memFree=31619532/32951124 swapFree=67053960/67111528
[pid=15581] ppid=15579 vsize=297236 CPUtime=942.32 cores=0,2,4,6
/proc/15581/stat : 15581 (minisatid) R 15579 15581 15536 0 -1 4202496 9465255 0 0 0 93202 1030 0 0 25 0 1 0 868359872 304369664 65308 33554432000 4194304 6720400 140734837119616 18446744073709551615 4617079 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/15581/statm: 74309 65308 265 617 0 73683 0
Current children cumulated CPU time (s) 942.32
Current children cumulated vsize (KiB) 297236

[startup+1002.3 s]
/proc/loadavg: 2.01 2.02 2.35 4/178 15609
/proc/meminfo: memFree=31583176/32951124 swapFree=67053960/67111528
[pid=15581] ppid=15579 vsize=431128 CPUtime=1002.32 cores=0,2,4,6
/proc/15581/stat : 15581 (minisatid) R 15579 15581 15536 0 -1 4202496 10122705 0 0 0 99132 1100 0 0 25 0 1 0 868359872 441475072 74489 33554432000 4194304 6720400 140734837119616 18446744073709551615 4802224 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/15581/statm: 107782 74489 265 617 0 107156 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 431128

[startup+1062.3 s]
/proc/loadavg: 2.00 2.01 2.33 4/178 15611
/proc/meminfo: memFree=31637576/32951124 swapFree=67053960/67111528
[pid=15581] ppid=15579 vsize=299792 CPUtime=1062.32 cores=0,2,4,6
/proc/15581/stat : 15581 (minisatid) R 15579 15581 15536 0 -1 4202496 10809301 0 0 0 105055 1177 0 0 25 0 1 0 868359872 306987008 58913 33554432000 4194304 6720400 140734837119616 18446744073709551615 4617068 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/15581/statm: 74948 58913 265 617 0 74322 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 299792

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.30 4/178 15613
/proc/meminfo: memFree=31576788/32951124 swapFree=67053960/67111528
[pid=15581] ppid=15579 vsize=433464 CPUtime=1122.33 cores=0,2,4,6
/proc/15581/stat : 15581 (minisatid) R 15579 15581 15536 0 -1 4202496 11516260 0 0 0 110978 1255 0 0 25 0 1 0 868359872 443867136 76673 33554432000 4194304 6720400 140734837119616 18446744073709551615 4816966 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/15581/statm: 108366 76673 265 617 0 107740 0
Current children cumulated CPU time (s) 1122.33
Current children cumulated vsize (KiB) 433464

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.28 4/178 15614
/proc/meminfo: memFree=31641112/32951124 swapFree=67053960/67111528
[pid=15581] ppid=15579 vsize=301892 CPUtime=1182.32 cores=0,2,4,6
/proc/15581/stat : 15581 (minisatid) R 15579 15581 15536 0 -1 4202496 12264052 0 0 0 116892 1340 0 0 25 0 1 0 868359872 309137408 59563 33554432000 4194304 6720400 140734837119616 18446744073709551615 4617059 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/15581/statm: 75473 59563 265 617 0 74847 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 301892

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.26 4/178 15616
/proc/meminfo: memFree=31559012/32951124 swapFree=67053960/67111528
[pid=15581] ppid=15579 vsize=436076 CPUtime=1242.33 cores=0,2,4,6
/proc/15581/stat : 15581 (minisatid) R 15579 15581 15536 0 -1 4202496 12987248 0 0 0 122816 1417 0 0 25 0 1 0 868359872 446541824 80352 33554432000 4194304 6720400 140734837119616 18446744073709551615 4617079 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/15581/statm: 109019 80352 265 617 0 108393 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 436076

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.24 4/178 15617
/proc/meminfo: memFree=31565932/32951124 swapFree=67053960/67111528
[pid=15581] ppid=15579 vsize=437636 CPUtime=1302.33 cores=0,2,4,6
/proc/15581/stat : 15581 (minisatid) R 15579 15581 15536 0 -1 4202496 13733778 0 0 0 128732 1501 0 0 25 0 1 0 868359872 448139264 76689 33554432000 4194304 6720400 140734837119616 18446744073709551615 4812219 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/15581/statm: 109409 76689 265 617 0 108783 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 437636

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.23 4/178 15619
/proc/meminfo: memFree=31623560/32951124 swapFree=67053960/67111528
[pid=15581] ppid=15579 vsize=305828 CPUtime=1362.33 cores=0,2,4,6
/proc/15581/stat : 15581 (minisatid) R 15579 15581 15536 0 -1 4202496 14506610 0 0 0 134645 1588 0 0 25 0 1 0 868359872 313167872 62576 33554432000 4194304 6720400 140734837119616 18446744073709551615 4613336 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/15581/statm: 76457 62576 265 617 0 75831 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 305828

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.21 4/178 15621
/proc/meminfo: memFree=31569840/32951124 swapFree=67053960/67111528
[pid=15581] ppid=15579 vsize=306692 CPUtime=1422.34 cores=0,2,4,6
/proc/15581/stat : 15581 (minisatid) R 15579 15581 15536 0 -1 4202496 15246641 0 0 0 140560 1674 0 0 25 0 1 0 868359872 314052608 75624 33554432000 4194304 6720400 140734837119616 18446744073709551615 4617084 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/15581/statm: 76673 75624 265 617 0 76047 0
Current children cumulated CPU time (s) 1422.34
Current children cumulated vsize (KiB) 306692

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.19 4/178 15622
/proc/meminfo: memFree=31519088/32951124 swapFree=67053960/67111528
[pid=15581] ppid=15579 vsize=308236 CPUtime=1482.33 cores=0,2,4,6
/proc/15581/stat : 15581 (minisatid) R 15579 15581 15536 0 -1 4202496 16018440 0 0 0 146471 1762 0 0 25 0 1 0 868359872 315633664 60558 33554432000 4194304 6720400 140734837119616 18446744073709551615 4812559 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/15581/statm: 77059 60558 265 617 0 76433 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 308236

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.18 4/178 15624
/proc/meminfo: memFree=31490664/32951124 swapFree=67053960/67111528
[pid=15581] ppid=15579 vsize=442628 CPUtime=1542.34 cores=0,2,4,6
/proc/15581/stat : 15581 (minisatid) R 15579 15581 15536 0 -1 4202496 16736535 0 0 0 152395 1839 0 0 25 0 1 0 868359872 453251072 95444 33554432000 4194304 6720400 140734837119616 18446744073709551615 4617068 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/15581/statm: 110657 95444 265 617 0 110031 0
Current children cumulated CPU time (s) 1542.34
Current children cumulated vsize (KiB) 442628

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.16 4/178 15625
/proc/meminfo: memFree=31565168/32951124 swapFree=67053960/67111528
[pid=15581] ppid=15579 vsize=444452 CPUtime=1602.34 cores=0,2,4,6
/proc/15581/stat : 15581 (minisatid) R 15579 15581 15536 0 -1 4202496 17530230 0 0 0 158306 1928 0 0 25 0 1 0 868359872 455118848 78771 33554432000 4194304 6720400 140734837119616 18446744073709551615 4617079 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/15581/statm: 111113 78771 265 617 0 110487 0
Current children cumulated CPU time (s) 1602.34
Current children cumulated vsize (KiB) 444452

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.15 4/178 15627
/proc/meminfo: memFree=31601352/32951124 swapFree=67053960/67111528
[pid=15581] ppid=15579 vsize=313308 CPUtime=1662.34 cores=0,2,4,6
/proc/15581/stat : 15581 (minisatid) R 15579 15581 15536 0 -1 4202496 18300874 0 0 0 164221 2013 0 0 25 0 1 0 868359872 320827392 67796 33554432000 4194304 6720400 140734837119616 18446744073709551615 4617084 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/15581/statm: 78327 67796 265 617 0 77701 0
Current children cumulated CPU time (s) 1662.34
Current children cumulated vsize (KiB) 313308

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.14 4/178 15629
/proc/meminfo: memFree=31524824/32951124 swapFree=67053960/67111528
[pid=15581] ppid=15579 vsize=447172 CPUtime=1722.34 cores=0,2,4,6
/proc/15581/stat : 15581 (minisatid) R 15579 15581 15536 0 -1 4202496 19041184 0 0 0 170144 2090 0 0 25 0 1 0 868359872 457904128 88434 33554432000 4194304 6720400 140734837119616 18446744073709551615 4816960 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/15581/statm: 111793 88434 265 617 0 111167 0
Current children cumulated CPU time (s) 1722.34
Current children cumulated vsize (KiB) 447172

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.13 4/178 15630
/proc/meminfo: memFree=31566588/32951124 swapFree=67053960/67111528
[pid=15581] ppid=15579 vsize=315604 CPUtime=1782.35 cores=0,2,4,6
/proc/15581/stat : 15581 (minisatid) R 15579 15581 15536 0 -1 4202496 19800953 0 0 0 176064 2171 0 0 25 0 1 0 868359872 323178496 76404 33554432000 4194304 6720400 140734837119616 18446744073709551615 4617048 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/15581/statm: 78901 76404 265 617 0 78275 0
Current children cumulated CPU time (s) 1782.35
Current children cumulated vsize (KiB) 315604



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 2.00 2.00 2.13 4/178 15631
/proc/meminfo: memFree=31552696/32951124 swapFree=67053960/67111528
[pid=15581] ppid=15579 vsize=448324 CPUtime=1800.05 cores=0,2,4,6
/proc/15581/stat : 15581 (minisatid) R 15579 15581 15536 0 -1 4202496 20013618 0 0 0 177811 2194 0 0 25 0 1 0 868359872 459083776 79888 33554432000 4194304 6720400 140734837119616 18446744073709551615 4617059 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/15581/statm: 112081 79888 265 617 0 111455 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 448324

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

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

Child status: 10
Real time (s): 1800.02
CPU time (s): 1800.08
CPU user time (s): 1778.12
CPU system time (s): 21.9647
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 867728

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1778.12
system time used= 21.9647
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 20013623
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= 4
involuntary context switches= 6598

runsolver used 2.91156 second user time and 5.77912 second system time

The end

Launcher Data

Begin job on node142 at 2011-06-11 04:30:44
IDJOB=3490652
IDBENCH=1869
IDSOLVER=1980
FILE ID=node142/3490652-1307759444
RUNJOBID= node142-1307759444-15554
PBS_JOBID= 13550867
Free space on /tmp= 74108 MiB

SOLVER NAME= MinisatID 2.5.2 (fixed)
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-manna81.opb
COMMAND LINE= HOME/minisatid BENCHNAME --verbosity=0 --format=opb --randomseed=RANDOMSEED
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3490652-1307759444/watcher-3490652-1307759444 -o /tmp/evaluation-result-3490652-1307759444/solver-3490652-1307759444 -C 1800 -W 1900 -M 15500  HOME/minisatid HOME/instance-3490652-1307759444.opb --verbosity=0 --format=opb --randomseed=1754872646

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

MD5SUM BENCH= 6fc83a536fe9a582c06bbccccc09c709
RANDOM SEED=1754872646

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

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.846
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5333.69
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.846
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5131.95
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.846
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.846
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.67
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.846
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.81
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.846
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.846
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.846
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      31880512 kB
Buffers:        181752 kB
Cached:         693624 kB
SwapCached:      11412 kB
Active:         432760 kB
Inactive:       462852 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      31880512 kB
SwapTotal:    67111528 kB
SwapFree:     67053960 kB
Dirty:            6796 kB
Writeback:           0 kB
AnonPages:       17472 kB
Mapped:          11752 kB
Slab:           107568 kB
PageTables:       5036 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   186108 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 74100 MiB
End job on node142 at 2011-06-11 05:00:46