Trace number 4429613

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
RoundingSat nolog (1)SAT (TO)845 3600.09 3611.42

General information on the benchmark

NamePB24/normalized-PB11/OPT-LIN/
kullmann/normalized-mul_8_14_shg.opb
MD5SUMc0e25a71d8726d42148f3e780c01ff44
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark56
Best CPU time to get the best result obtained on this benchmark3558.02
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables14300
Total number of constraints65280
Number of constraints which are clauses65280
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint60
Maximum length of a constraint93
Number of terms in the objective function 14300
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 14300
Number of bits of the sum of numbers in the objective function 14
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 14300
Number of bits of the biggest sum of numbers14
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c RoundingSat 2
0.00/0.00	c branch 
0.00/0.00	c commit 
1.39/1.47	c #variables 14300 #constraints 65280
20.34/20.49	c bounds 14301 >= 0 @ 1.35632
20.34/20.49	c bounds 1216 >= 0 @ 11.021
20.34/20.49	c bounds 1216 >= 1 @ 11.0266
20.34/20.49	c bounds 1216 >= 2 @ 11.0312
20.34/20.49	c bounds 1216 >= 3 @ 11.0364
20.34/20.49	c bounds 1216 >= 4 @ 11.0414
20.34/20.49	c bounds 1216 >= 5 @ 11.0452
20.34/20.49	c bounds 1216 >= 6 @ 11.0506
20.34/20.49	c bounds 1216 >= 7 @ 11.0574
20.34/20.49	c bounds 1216 >= 8 @ 11.0627
20.34/20.49	c bounds 1216 >= 9 @ 11.069
20.34/20.49	c bounds 1216 >= 10 @ 11.0722
20.34/20.49	c bounds 1216 >= 11 @ 11.0773
20.34/20.49	c bounds 1216 >= 12 @ 11.0808
20.34/20.49	c bounds 1216 >= 13 @ 11.087
20.34/20.49	c bounds 1216 >= 14 @ 11.0925
20.34/20.49	c bounds 1216 >= 15 @ 11.0953
20.34/20.49	c bounds 1216 >= 16 @ 11.1075
20.34/20.49	c bounds 1216 >= 17 @ 11.1135
20.34/20.49	c bounds 1216 >= 18 @ 11.1203
20.34/20.49	c bounds 1216 >= 19 @ 11.1264
20.34/20.49	c bounds 1216 >= 20 @ 11.1327
20.34/20.49	c bounds 1216 >= 21 @ 11.1396
20.34/20.49	c bounds 1216 >= 22 @ 11.1477
20.34/20.49	c bounds 1216 >= 23 @ 11.1558
20.34/20.49	c bounds 1216 >= 24 @ 11.1639
20.34/20.49	c bounds 1216 >= 25 @ 11.172
20.34/20.49	c bounds 1216 >= 26 @ 11.1829
20.34/20.49	c bounds 1216 >= 27 @ 11.22
20.34/20.49	c bounds 1216 >= 28 @ 11.2843
20.34/20.49	c bounds 1215 >= 28 @ 11.3552
20.34/20.49	c bounds 1214 >= 28 @ 11.379
20.34/20.49	c bounds 1214 >= 29 @ 11.7672
20.34/20.49	c bounds 1213 >= 29 @ 11.7986
20.34/20.49	c bounds 1212 >= 29 @ 11.8205
20.34/20.49	c bounds 1211 >= 29 @ 11.8549
20.34/20.49	c bounds 1210 >= 29 @ 11.882
20.34/20.49	c bounds 1209 >= 29 @ 11.9488
20.34/20.49	c bounds 1208 >= 29 @ 12.093
20.34/20.49	c bounds 1207 >= 29 @ 12.2214
20.34/20.49	c bounds 1206 >= 29 @ 12.262
20.34/20.49	c bounds 1205 >= 29 @ 12.324
20.34/20.49	c bounds 1204 >= 29 @ 12.3478
20.34/20.49	c bounds 1203 >= 29 @ 12.3685
20.34/20.49	c bounds 1202 >= 29 @ 12.3857
20.34/20.49	c bounds 1201 >= 29 @ 12.396
20.34/20.49	c bounds 1200 >= 29 @ 12.4144
20.34/20.49	c bounds 1199 >= 29 @ 12.4274
20.34/20.49	c bounds 1198 >= 29 @ 12.4417
20.34/20.49	c bounds 1197 >= 29 @ 12.458
20.34/20.49	c bounds 1196 >= 29 @ 12.4728
20.34/20.49	c bounds 1195 >= 29 @ 12.4866
20.34/20.49	c bounds 1194 >= 29 @ 12.4992
20.34/20.49	c bounds 1193 >= 29 @ 12.5121
20.34/20.49	c bounds 1192 >= 29 @ 12.5211
20.34/20.49	c bounds 1191 >= 29 @ 12.5442
20.34/20.49	c bounds 1190 >= 29 @ 12.5708
20.34/20.49	c bounds 1189 >= 29 @ 12.5899
20.34/20.49	c bounds 1188 >= 29 @ 12.6052
20.34/20.49	c bounds 1187 >= 29 @ 12.6225
20.34/20.49	c bounds 1186 >= 29 @ 12.6417
20.34/20.49	c bounds 1185 >= 29 @ 12.6555
20.34/20.49	c bounds 1184 >= 29 @ 12.6685
20.34/20.49	c bounds 1183 >= 29 @ 12.683
20.34/20.49	c bounds 1182 >= 29 @ 12.6989
20.34/20.49	c bounds 1181 >= 29 @ 12.7131
20.34/20.49	c bounds 1180 >= 29 @ 12.7207
20.34/20.49	c #Conflicts:       1000 | #Constraints:      66499
20.34/20.49	c bounds 1180 >= 30 @ 16.3039
20.34/20.49	c bounds 1179 >= 30 @ 16.3494
20.34/20.49	c bounds 1178 >= 30 @ 16.3762
20.34/20.49	c bounds 1177 >= 30 @ 16.4189
20.34/20.49	c bounds 1176 >= 30 @ 16.4586
20.34/20.49	c bounds 1175 >= 30 @ 16.49
20.34/20.49	c bounds 1174 >= 30 @ 16.5137
20.34/20.49	c bounds 1173 >= 30 @ 16.5384
20.34/20.49	c bounds 1172 >= 30 @ 16.5607
20.34/20.49	c bounds 1171 >= 30 @ 16.5856
20.34/20.49	c bounds 1170 >= 30 @ 16.6034
20.34/20.49	c bounds 1169 >= 30 @ 16.6342
20.34/20.49	c bounds 1168 >= 30 @ 16.6609
20.34/20.49	c bounds 1167 >= 30 @ 16.6839
20.34/20.49	c bounds 1166 >= 30 @ 16.7072
20.34/20.49	c bounds 1165 >= 30 @ 16.73
20.34/20.49	c bounds 1164 >= 30 @ 16.7498
20.34/20.49	c bounds 1163 >= 30 @ 16.7769
20.34/20.49	c bounds 1162 >= 30 @ 16.795
20.34/20.49	c bounds 1161 >= 30 @ 16.8205
20.34/20.49	c bounds 1160 >= 30 @ 16.84
20.34/20.49	c bounds 1159 >= 30 @ 16.8668
20.34/20.49	c bounds 1158 >= 30 @ 16.8903
20.34/20.49	c bounds 1157 >= 30 @ 16.9261
20.34/20.49	c bounds 1156 >= 30 @ 16.9577
20.34/20.49	c bounds 1155 >= 30 @ 16.9928
20.34/20.49	c bounds 1154 >= 30 @ 17.0203
20.34/20.49	c bounds 1153 >= 30 @ 17.0447
20.34/20.49	c bounds 1152 >= 30 @ 17.0712
20.34/20.49	c bounds 1151 >= 30 @ 17.0922
20.34/20.49	c bounds 1150 >= 30 @ 17.1114
20.34/20.49	c bounds 1149 >= 30 @ 17.1319
20.34/20.49	c bounds 1148 >= 30 @ 17.1517
20.34/20.49	c bounds 1147 >= 30 @ 17.173
20.34/20.49	c bounds 1146 >= 30 @ 17.1921
20.34/20.49	c bounds 1145 >= 30 @ 17.2177
20.34/20.49	c bounds 1144 >= 30 @ 17.2407
20.34/20.49	c bounds 1143 >= 30 @ 17.2569
20.34/20.49	c bounds 1142 >= 30 @ 17.2783
20.34/20.49	c bounds 1141 >= 30 @ 17.3015
20.34/20.49	c bounds 1140 >= 30 @ 17.3243
20.34/20.49	c bounds 1139 >= 30 @ 17.3407
20.34/20.49	c bounds 1138 >= 30 @ 17.3649
20.34/20.49	c bounds 1137 >= 30 @ 17.3923
20.34/20.49	c bounds 1136 >= 30 @ 17.4131
20.34/20.49	c bounds 1135 >= 30 @ 17.4344
20.34/20.49	c bounds 1134 >= 30 @ 17.4566
20.34/20.49	c bounds 1133 >= 30 @ 17.4814
20.34/20.49	c bounds 1132 >= 30 @ 17.507
20.34/20.49	c bounds 1131 >= 30 @ 17.5283
20.34/20.49	c bounds 1130 >= 30 @ 17.548
20.34/20.49	c bounds 1129 >= 30 @ 17.5692
20.34/20.49	c bounds 1128 >= 30 @ 17.5926
20.34/20.49	c bounds 1127 >= 30 @ 17.6174
20.34/20.49	c bounds 1126 >= 30 @ 17.6372
20.34/20.49	c bounds 1125 >= 30 @ 17.6593
20.34/20.49	c bounds 1124 >= 30 @ 17.6809
20.34/20.49	c bounds 1123 >= 30 @ 17.709
20.34/20.49	c bounds 1122 >= 30 @ 17.7358
20.34/20.49	c bounds 1121 >= 30 @ 17.755
20.34/20.49	c bounds 1120 >= 30 @ 17.7757
20.34/20.49	c bounds 1119 >= 30 @ 17.7955
20.34/20.49	c bounds 1118 >= 30 @ 17.8201
20.34/20.49	c bounds 1117 >= 30 @ 17.8406
20.34/20.49	c bounds 1116 >= 30 @ 17.857
20.34/20.49	c bounds 1115 >= 30 @ 17.8728
20.34/20.49	c bounds 1114 >= 30 @ 17.8946
20.34/20.49	c bounds 1113 >= 30 @ 17.9187
20.34/20.49	c bounds 1112 >= 30 @ 17.9525
20.34/20.49	c bounds 1111 >= 30 @ 17.9885
25.73/25.83	c bounds 1110 >= 30 @ 18.0182
25.73/25.83	c bounds 1109 >= 30 @ 18.0486
25.73/25.83	c bounds 1108 >= 30 @ 18.0802
25.73/25.83	c bounds 1107 >= 30 @ 18.1073
25.73/25.83	c bounds 1106 >= 30 @ 18.1314
25.73/25.83	c bounds 1105 >= 30 @ 18.1648
25.73/25.83	c bounds 1104 >= 30 @ 18.1941
25.73/25.83	c bounds 1103 >= 30 @ 18.2204
25.73/25.83	c bounds 1102 >= 30 @ 18.2461
25.73/25.83	c bounds 1101 >= 30 @ 18.2678
25.73/25.83	c bounds 1100 >= 30 @ 18.2872
25.73/25.83	c bounds 1099 >= 30 @ 18.3079
25.73/25.83	c bounds 1098 >= 30 @ 18.3325
25.73/25.83	c bounds 1097 >= 30 @ 18.3575
25.73/25.83	c bounds 1096 >= 30 @ 18.3838
25.73/25.83	c bounds 1095 >= 30 @ 18.417
25.73/25.83	c bounds 1094 >= 30 @ 18.4467
25.73/25.83	c bounds 1093 >= 30 @ 18.479
25.73/25.83	c bounds 1092 >= 30 @ 18.5026
25.73/25.83	c bounds 1091 >= 30 @ 18.5312
25.73/25.83	c bounds 1090 >= 30 @ 18.5548
25.73/25.83	c bounds 1089 >= 30 @ 18.5764
25.73/25.83	c bounds 1088 >= 30 @ 18.5976
25.73/25.83	c bounds 1087 >= 30 @ 18.6238
25.73/25.83	c bounds 1086 >= 30 @ 18.64
25.73/25.83	c bounds 1085 >= 30 @ 18.6647
25.73/25.83	c bounds 1084 >= 30 @ 18.6866
25.73/25.83	c bounds 1083 >= 30 @ 18.7069
25.73/25.83	c bounds 1082 >= 30 @ 18.7323
25.73/25.83	c bounds 1081 >= 30 @ 18.757
25.73/25.83	c bounds 1080 >= 30 @ 18.7825
25.73/25.83	c bounds 1079 >= 30 @ 18.8105
25.73/25.83	c bounds 1078 >= 30 @ 18.836
25.73/25.83	c bounds 1077 >= 30 @ 18.8613
25.73/25.83	c bounds 1076 >= 30 @ 18.9108
25.73/25.83	c bounds 1075 >= 30 @ 18.9399
25.73/25.83	c bounds 1074 >= 30 @ 18.965
25.73/25.83	c bounds 1073 >= 30 @ 18.9906
25.73/25.83	c bounds 1072 >= 30 @ 19.0221
25.73/25.83	c bounds 1071 >= 30 @ 19.0503
25.73/25.83	c bounds 1070 >= 30 @ 19.08
25.73/25.83	c bounds 1069 >= 30 @ 19.0993
25.73/25.83	c bounds 1068 >= 30 @ 19.1199
25.73/25.83	c bounds 1067 >= 30 @ 19.1433
25.73/25.83	c bounds 1066 >= 30 @ 19.1638
25.73/25.83	c bounds 1065 >= 30 @ 19.1853
25.73/25.83	c bounds 1064 >= 30 @ 19.2121
25.73/25.83	c bounds 1063 >= 30 @ 19.234
25.73/25.83	c bounds 1062 >= 30 @ 19.254
25.73/25.83	c bounds 1061 >= 30 @ 19.285
25.73/25.83	c bounds 1060 >= 30 @ 19.3187
25.73/25.83	c bounds 1059 >= 30 @ 19.3411
25.73/25.83	c bounds 1058 >= 30 @ 19.3647
25.73/25.83	c bounds 1057 >= 30 @ 19.3893
25.73/25.83	c bounds 1056 >= 30 @ 19.4148
25.73/25.83	c bounds 1055 >= 30 @ 19.4387
25.73/25.83	c bounds 1054 >= 30 @ 19.46
25.73/25.83	c bounds 1053 >= 30 @ 19.4759
25.73/25.83	c bounds 1052 >= 30 @ 19.5007
25.73/25.83	c bounds 1051 >= 30 @ 19.5241
25.73/25.83	c bounds 1050 >= 30 @ 19.5415
25.73/25.83	c bounds 1049 >= 30 @ 19.5599
25.73/25.83	c bounds 1048 >= 30 @ 19.5788
25.73/25.83	c bounds 1047 >= 30 @ 19.5997
25.73/25.83	c bounds 1046 >= 30 @ 19.626
25.73/25.83	c bounds 1045 >= 30 @ 19.6527
25.73/25.83	c bounds 1044 >= 30 @ 19.6802
25.73/25.83	c bounds 1043 >= 30 @ 19.7053
25.73/25.83	c bounds 1042 >= 30 @ 19.7281
25.73/25.83	c bounds 1041 >= 30 @ 19.7535
25.73/25.83	c bounds 1040 >= 30 @ 19.7743
25.73/25.83	c bounds 1039 >= 30 @ 19.7983
25.73/25.83	c bounds 1038 >= 30 @ 19.8236
25.73/25.83	c bounds 1037 >= 30 @ 19.8445
25.73/25.83	c bounds 1036 >= 30 @ 19.8673
25.73/25.83	c bounds 1035 >= 30 @ 19.8876
25.73/25.83	c bounds 1034 >= 30 @ 19.912
25.73/25.83	c bounds 1033 >= 30 @ 19.9311
25.73/25.83	c bounds 1032 >= 30 @ 19.9579
25.73/25.83	c bounds 1031 >= 30 @ 19.9779
25.73/25.83	c bounds 1030 >= 30 @ 20.003
25.73/25.83	c bounds 1029 >= 30 @ 20.0229
25.73/25.83	c bounds 1028 >= 30 @ 20.0479
25.73/25.83	c bounds 1027 >= 30 @ 20.0708
25.73/25.83	c bounds 1026 >= 30 @ 20.0917
25.73/25.83	c bounds 1025 >= 30 @ 20.1119
25.73/25.83	c bounds 1024 >= 30 @ 20.1436
25.73/25.83	c bounds 1023 >= 30 @ 20.1691
25.73/25.83	c bounds 1022 >= 30 @ 20.1933
25.73/25.83	c bounds 1021 >= 30 @ 20.2227
25.73/25.83	c bounds 1020 >= 30 @ 20.2544
25.73/25.83	c bounds 1019 >= 30 @ 20.2747
25.73/25.83	c bounds 1018 >= 30 @ 20.2955
25.73/25.83	c bounds 1017 >= 30 @ 20.318
25.73/25.83	c bounds 1016 >= 30 @ 20.3429
25.73/25.83	c bounds 1015 >= 30 @ 20.3781
25.73/25.83	c bounds 1014 >= 30 @ 20.4118
25.73/25.83	c bounds 1013 >= 30 @ 20.4426
25.73/25.83	c bounds 1012 >= 30 @ 20.4805
25.73/25.83	c bounds 1011 >= 30 @ 20.5113
25.73/25.83	c bounds 1010 >= 30 @ 20.539
25.73/25.83	c bounds 1009 >= 30 @ 20.569
25.73/25.83	c bounds 1008 >= 30 @ 20.5928
25.73/25.83	c bounds 1007 >= 30 @ 20.6138
25.73/25.83	c bounds 1006 >= 30 @ 20.6401
25.73/25.83	c bounds 1005 >= 30 @ 20.6604
25.73/25.83	c bounds 1004 >= 30 @ 20.6844
25.73/25.83	c bounds 1003 >= 30 @ 20.7074
25.73/25.83	c bounds 1002 >= 30 @ 20.7308
25.73/25.83	c bounds 1001 >= 30 @ 20.7571
25.73/25.83	c bounds 1000 >= 30 @ 20.7832
25.73/25.83	c bounds 999 >= 30 @ 20.8085
25.73/25.83	c bounds 998 >= 30 @ 20.8373
25.73/25.83	c bounds 997 >= 30 @ 20.864
25.73/25.83	c bounds 996 >= 30 @ 20.8923
25.73/25.83	c bounds 995 >= 30 @ 20.923
25.73/25.83	c bounds 994 >= 30 @ 20.9464
25.73/25.83	c bounds 993 >= 30 @ 20.9761
25.73/25.83	c bounds 992 >= 30 @ 21.0095
25.73/25.83	c bounds 991 >= 30 @ 21.0364
25.73/25.83	c bounds 990 >= 30 @ 21.0605
25.73/25.83	c bounds 989 >= 30 @ 21.0852
25.73/25.83	c bounds 988 >= 30 @ 21.1166
25.73/25.83	c bounds 987 >= 30 @ 21.1538
25.73/25.83	c bounds 986 >= 30 @ 21.1792
25.73/25.83	c bounds 985 >= 30 @ 21.2102
25.73/25.83	c bounds 984 >= 30 @ 21.2399
25.73/25.83	c bounds 983 >= 30 @ 21.2703
25.73/25.83	c bounds 982 >= 30 @ 21.2987
25.73/25.83	c bounds 981 >= 30 @ 21.3152
25.73/25.83	c bounds 980 >= 30 @ 21.3419
25.73/25.83	c bounds 979 >= 30 @ 21.3624
25.73/25.83	c bounds 978 >= 30 @ 21.3843
25.73/25.83	c bounds 977 >= 30 @ 21.4088
25.73/25.83	c bounds 976 >= 30 @ 21.4334
25.73/25.83	c bounds 975 >= 30 @ 21.4622
25.73/25.83	c bounds 974 >= 30 @ 21.487
25.73/25.83	c bounc
3600.06/3611.40	s SATISFIABLE
3600.06/3611.40	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 ~x10714 ~x10715 ~x10716 ~x10717 ~x10718 ~x10719 ~x10720 ~x10721 ~x10722 ~x10723 ~x10724 ~x10725 ~x10726 ~x10727 ~x10728 ~x10729 ~x10730 ~x10731 ~x10732 ~x10733 ~x10734 ~x10735 ~x10736 ~x10737 ~x10738 ~x10739 ~x10740 ~x10741 ~x10742 ~x10743 ~x10744 ~x10745 ~x10746 ~x10747 x10748 ~x10749 ~x10750 ~x10751 ~x10752 ~x10753 ~x10754 ~x10755 ~x10756 ~x10757 ~x10758 ~x10759 ~x10760 ~x10761 ~x10762 ~x10763 ~x10764 ~x10765 ~x10766 ~x10767 ~x10768 ~x10769 ~x10770 ~x10771 ~x10772 ~x10773 ~x10774 ~x10775 ~x10776 ~x10777 ~x10778 ~x10779 ~x10780 ~x10781 ~x10782 ~x10783 ~x10784 ~x10785 ~x10786 ~x10787 ~x10788 ~x10789 ~x10790 ~x10791 ~x10792 ~x10793 ~x10794 ~x10795 ~x10796 ~x10797 ~x10798 ~x10799 ~x10800 ~x10801 ~x10802 ~x10803 ~x10804 ~x10805 ~x10806 ~x10807 ~x10808 ~x10809 ~x10810 ~x10811 ~x10812 ~x10813 ~x10814 ~x10815 ~x10816 ~x10817 ~x10818 ~x10819 ~x10820 ~x10821 ~x10822 ~x10823 ~x10824 ~x10825 ~x10826 ~x10827 ~x10828 ~x10829 ~x10830 ~x10831 ~x10832 ~x10833 ~x10834 ~x10835 ~x10836 ~x10837 ~x10838 ~x10839 ~x10840 ~x10841 ~x10842 ~x10843 ~x10844 ~x10845 ~x10846 ~x10847 ~x10848 ~x10849 ~x10850 ~x10851 ~x10852 ~x10853 ~x10854 ~x10855 ~x10856 ~x10857 ~x10858 ~x10859 ~x10860 ~x10861 ~x10862 ~x10863 ~x10864 ~x10865 ~x10866 ~x10867 ~x10868 ~x10869 ~x10870 ~x10871 ~x10872 ~x10873 ~x10874 ~x10875 ~x10876 ~x10877 ~x10878 ~x10879 ~x10880 ~x10881 ~x10882 ~x10883 ~x10884 ~x10885 ~x10886 ~x10887 ~x10888 ~x10889 ~x10890 ~x10891 ~x10892 ~x10893 ~x10894 ~x10895 ~x10896 ~x10897 ~x10898 ~x10899 ~x10900 ~x10901 ~x10902 ~x10903 ~x10904 ~x10905 ~x10906 ~x10907 ~x10908 ~x10909 ~x10910 ~x10911 ~x10912 ~x10913 ~x10914 ~x10915 ~x10916 ~x10917 ~x10918 ~x10919 ~x10920 ~x10921 ~x10922 ~x10923 ~x10924 ~x10925 ~x10926 ~x10927 ~x10928 ~x10929 ~x10930 ~x10931 ~x10932 ~x10933 ~x10934 ~x10935 ~x10936 ~x10937 ~x10938 ~x10939 ~x10940 ~x10941 ~x10942 ~x10943 ~x10944 ~x10945 ~x10946 ~x10947 ~x10948 ~x10949 ~x10950 ~x10951 ~x10952 ~x10953 ~x10954 ~x10955 ~x10956 ~x10957 ~x10958 ~x10959 ~x10960 ~x10961 ~x10962 ~x10963 ~x10964 ~x10965 ~x10966 ~x10967 ~x10968 ~x10969 ~x10970 ~x10971 ~x10972 ~x10973 ~x10974 ~x10975 ~x10976 ~x10977 ~x10978 ~x10979 ~x10980 ~x10981 ~x10982 ~x10983 ~x10984 ~x10985 ~x10986 ~x10987 ~x10988 ~x10989 ~x10990 ~x10991 ~x10992 ~x10993 ~x10994 ~x10995 ~x10996 ~x10997 ~x10998 ~x10999 ~x11000 ~x11001 ~x11002 ~x11003 ~x11004 ~x11005 ~x11006 ~x11007 ~x11008 ~x11009 ~x11010 ~x11011 ~x11012 ~x11013 ~x11014 ~x11015 ~x11016 ~x11017 ~x11018 ~x11019 ~x11020 ~x11021 ~x11022 ~x11023 ~x11024 ~x11025 ~x11026 ~x11027 ~x11028 ~x11029 ~x11030 ~x11031 ~x11032 ~x11033 ~x11034 ~x11035 ~x11036 ~x11037 ~x11038 ~x11039 ~x11040 ~x11041 ~x11042 ~x11043 ~x11044 ~x11045 ~x11046 ~x11047 ~x11048 ~x11049 ~x11050 ~x11051 ~x11052 ~x11053 ~x11054 ~x11055 ~x11056 ~x11057 ~x11058 ~x11059 ~x11060 ~x11061 ~x11062 ~x11063 ~x11064 ~x11065 ~x11066 ~x11067 ~x11068 ~x11069 ~x11070 ~x11071 ~x11072 ~x11073 ~x11074 ~x11075 ~x11076 ~x11077 ~x11078 ~x11079 ~x11080 ~x11081 ~x11082 ~x11083 ~x11084 ~x11085 ~x11086 ~x11087 ~x11088 ~x11089 ~x11090 ~x11091 ~x11092 ~x11093 ~x11094 ~x11095 ~x11096 ~x11097 ~x11098 ~x11099 ~x11100 ~x11101 ~x11102 ~x11103 ~x11104 ~x11105 ~x11106 ~x11107 ~x11108 ~x11109 ~x11110 ~x11111 ~x11112 ~x11113 ~x11114 ~x11115 ~x11116 ~x11117 ~x11118 ~x11119 ~x11120 ~x11121 ~x11122 ~x11123 ~x11124 ~x11125 ~x11126 ~x11127 ~x11128 ~x11129 ~x11130 ~x11131 ~x11132 ~x11133 ~x11134 ~x11135 ~x11136 ~x11137 ~x11138 ~x11139 ~x11140 ~x11141 ~x11142 ~x11143 ~x11144 ~x11145 ~x11146 ~x11147 ~x11148 ~x11149 ~x11150 ~x11151 ~x11152 ~x11153 ~x11154 ~x11155 ~x11156 ~x11157 ~x11158 ~x11159 ~x11160 ~x11161 ~x11162 ~x11163 ~x11164 ~x11165 ~x11166 ~x11167 ~x11168 ~x11169 ~x11170 ~x11171 ~x11172 ~x11173 ~x11174 ~x11175 ~x11176 ~x11177 ~x11178 ~x11179 ~x11180 ~x11181 ~x11182 ~x11183 ~x11184 ~x11185 ~x11186 ~x11187 ~x11188 ~x11189 ~x11190 ~x11191 ~x11192 ~x11193 ~x11194 ~x11195 ~x11196 ~x11197 ~x11198 ~x11199 ~x11200 ~x11201 ~x11202 ~x11203 ~x11204 ~x11205 ~x11206 ~x11207 ~x11208 ~x11209 ~x11210 ~x11211 ~x11212 ~x11213 ~x11214 ~x11215 ~x11216 ~x11217 ~x11218 ~x11219 ~x11220 ~x11221 ~x11222 ~x11223 ~x11224 ~x11225 ~x11226 ~x11227 ~x11228 ~x11229 ~x11230 ~x11231 ~x11232 ~x11233 ~x11234 ~x11235 ~x11236 ~x11237 ~x11238 ~x11239 ~x11240 ~x11241 ~x11242 ~x11243 ~x11244 ~x11245 ~x11246 ~x11247 ~x11248 ~x11249 ~x11250 ~x11251 ~x11252 ~x11253 ~x11254 ~x11255 ~x11256 ~x11257 ~x11258 ~x11259 ~x11260 ~x11261 ~x11262 ~x11263 ~x11264 ~x11265 ~x11266 ~x11267 ~x11268 ~x11269 ~x11270 ~x11271 ~x11272 ~x11273 ~x11274 ~x11275 ~x11276 ~x11277 ~x11278 ~x11279 ~x11280 ~x11281 ~x11282 ~x11283 ~x11284 ~x11285 ~x11286 ~x11287 ~x11288 ~x11289 ~x11290 ~x11291 ~x11292 ~x11293 ~x11294 ~x11295 ~x11296 ~x11297 ~x11298 ~x11299 ~x11300 ~x11301 ~x11302 ~x11303 ~x11304 ~x11305 ~x11306 ~x11307 ~x11308 ~x11309 ~x11310 ~x11311 ~x11312 ~x11313 ~x11314 ~x11315 ~x11316 ~x11317 ~x11318 ~x11319 ~x11320 ~x11321 ~x11322 ~x11323 ~x11324 ~x11325 ~x11326 ~x11327 ~x11328 ~x11329 ~x11330 ~x11331 ~x11332 ~x11333 ~x11334 ~x11335 ~x11336 ~x11337 ~x11338 ~x11339 ~x11340 ~x11341 ~x11342 ~x11343 ~x11344 ~x11345 ~x11346 ~x11347 ~x11348 ~x11349 ~x11350 ~x11351 ~x11352 ~x11353 ~x11354 ~x11355 ~x11356 ~x11357 ~x11358 ~x11359 ~x11360 ~x11361 ~x11362 ~x11363 ~x11364 ~x11365 ~x11366 ~x11367 ~x11368 ~x11369 ~x11370 ~x11371 ~x11372 ~x11373 ~x11374 ~x11375 ~x11376 ~x11377 ~x11378 ~x11379 ~x11380 ~x11381 ~x11382 ~x11383 ~x11384 ~x11385 ~x11386 ~x11387 ~x11388 ~x11389 ~x11390 ~x11391 ~x11392 ~x11393 ~x11394 ~x11395 ~x11396 ~x11397 ~x11398 ~x11399 ~x11400 ~x11401 ~x11402 ~x11403 ~x11404 ~x11405 ~x11406 ~x11407 ~x11408 ~x11409 ~x11410 ~x11411 ~x11412 ~x11413 ~x11414 ~x11415 ~x11416 ~x11417 ~x11418 ~x11419 ~x11420 ~x11421 ~x11422 ~x11423 ~x11424 ~x11425 ~x11426 ~x11427 ~x11428 ~x11429 ~x11430 ~x11431 ~x11432 ~x11433 ~x11434 ~x11435 ~x11436 ~x11437 ~x11438 ~x11439 ~x11440 ~x11441 ~x11442 ~x11443 ~x11444 ~x11445 ~x11446 ~x11447 ~x11448 ~x11449 ~x11450 ~x11451 ~x11452 ~x11453 ~x11454 ~x11455 ~x11456 ~x11457 ~x11458 ~x11459 ~x11460 ~x11461 ~x11462 ~x11463 ~x11464 ~x11465 ~x11466 ~x11467 ~x11468 ~x11469 ~x11470 ~x11471 ~x11472 ~x11473 ~x11474 ~x11475 ~x11476 ~x11477 ~x11478 ~x11479 ~x11480 ~x11481 ~x11482 ~x11483 ~x11484 ~x11485 ~x11486 ~x11487 ~x11488 ~x11489 ~x11490 ~x11491 ~x11492 ~x11493 ~x11494 ~x11495 ~x11496 ~x11497 ~x11498 ~x11499 ~x11500 ~x11501 ~x11502 ~x11503 ~x11504 ~x11505 ~x11506 ~x11507 ~x11508 ~x11509 ~x11510 ~x11511 ~x11512 ~x11513 ~x11514 ~x11515 ~x11516 ~x11517 ~x11518 ~x11519 ~x11520 ~x11521 ~x11522 ~x11523 ~x11524 ~x11525 ~x11526 ~x11527 ~x11528 ~x11529 ~x11530 ~x11531 ~x11532 ~x11533 ~x11534 ~x11535 ~x11536 ~x11537 ~x11538 ~x11539 ~x11540 ~x11541 ~x11542 ~x11543 ~x11544 ~x11545 ~x11546 ~x11547 ~x11548 ~x11549 ~x11550 ~x11551 ~x11552 ~x11553 ~x11554 ~x11555 ~x11556 ~x11557 ~x11558 ~x11559 ~x11560 ~x11561 ~x11562 ~x11563 ~x11564 ~x11565 ~x11566 ~x11567 ~x11568 ~x11569 ~x11570 ~x11571 ~x11572 ~x11573 ~x11574 ~x11575 ~x11576 ~x11577 ~x11578 ~x11579 ~x11580 ~x11581 ~x11582 ~x11583 ~x11584 ~x11585 ~x11586 ~x11587 ~x11588 ~x11589 ~x11590 ~x11591 ~x11592 ~x11593 ~x11594 ~x11595 ~x11596 ~x11597 ~x11598 ~x11599 ~x11600 ~x11601 ~x11602 ~x11603 ~x11604 ~x11605 ~x11606 ~x11607 ~x11608 ~x11609 ~x11610 ~x11611 ~x11612 ~x11613 ~x11614 ~x11615 ~x11616 ~x11617 ~x11618 ~x11619 ~x11620 ~x11621 ~x11622 ~x11623 ~x11624 ~x11625 ~x11626 ~x11627 ~x11628 ~x11629 ~x11630 ~x11631 ~x11632 ~x11633 ~x11634 ~x11635 ~x11636 ~x11637 ~x11638 ~x11639 ~x11640 ~x11641 ~x11642 ~x11643 ~x11644 ~x11645 ~x11646 ~x11647 ~x11648 ~x11649 ~x11650 ~x11651 ~x11652 ~x11653 ~x11654 x11655 ~x11656 ~x11657 ~x11658 ~x11659 ~x11660 ~x11661 ~x11662 ~x11663 ~x11664 ~x11665 ~x11666 ~x11667 ~x11668 ~x11669 ~x11670 ~x11671 ~x11672 ~x11673 ~x11674 ~x11675 ~x11676 ~x11677 ~x11678 ~x11679 ~x11680 ~x11681 ~x11682 ~x11683 ~x11684 ~x11685 ~x11686 ~x11687 ~x11688 ~x11689 ~x11690 ~x11691 ~x11692 ~x11693 ~x11694 ~x11695 ~x11696 ~x11697 ~x11698 ~x11699 ~x11700 ~x11701 ~x11702 ~x11703 ~x11704 ~x11705 ~x11706 ~x11707 ~x11708 ~x11709 ~x11710 ~x11711 ~x11712 ~x11713 ~x11714 ~x11715 ~x11716 ~x11717 ~x11718 ~x11719 ~x11720 ~x11721 ~x11722 ~x11723 ~x11724 ~x11725 ~x11726 ~x11727 ~x11728 ~x11729 ~x11730 ~x11731 ~x11732 ~x11733 ~x11734 ~x11735 ~x11736 ~x11737 ~x11738 ~x11739 ~x11740 ~x11741 ~x11742 ~x11743 ~x11744 ~x11745 ~x11746 ~x11747 ~x11748 ~x11749 ~x11750 ~x11751 ~x11752 ~x11753 ~x11754 ~x11755 ~x11756 ~x11757 ~x11758 ~x11759 ~x11760 ~x11761 ~x11762 ~x11763 x11764 ~x11765 ~x11766 ~x11767 ~x11768 ~x11769 ~x11770 ~x11771 ~x11772 ~x11773 ~x11774 ~x11775 ~x11776 ~x11777 ~x11778 ~x11779 ~x11780 ~x11781 ~x11782 ~x11783 ~x11784 ~x11785 ~x11786 ~x11787 ~x11788 ~x11789 ~x11790 ~x11791 ~x11792 ~x11793 ~x11794 ~x11795 ~x11796 ~x11797 ~x11798 ~x11799 ~x11800 ~x11801 ~x11802 ~x11803 ~x11804 ~x11805 ~x11806 ~x11807 ~x11808 ~x11809 ~x11810 ~x11811 ~x11812 ~x11813 ~x11814 ~x11815 ~x11816 ~x11817 ~x11818 ~x11819 ~x11820 ~x11821 ~x11822 ~x11823 ~x11824 ~x11825 ~x11826 ~x11827 ~x11828 ~x11829 ~x11830 ~x11831 ~x11832 ~x11833 ~x11834 ~x11835 ~x11836 ~x11837 ~x11838 ~x11839 ~x11840 ~x11841 ~x11842 ~x11843 ~x11844 ~x11845 ~x11846 ~x11847 ~x11848 ~x11849 ~x11850 ~x11851 ~x11852 ~x11853 ~x11854 ~x11855 ~x11856 ~x11857 ~x11858 ~x11859 ~x11860 ~x11861 ~x11862 ~x11863 ~x11864 ~x11865 ~x11866 ~x11867 ~x11868 ~x11869 ~x11870 ~x11871 ~x11872 ~x11873 ~x11874 ~x11875 ~x11876 ~x11877 ~x11878 ~x11879 ~x11880 ~x11881 ~x11882 ~x11883 ~x11884 ~x11885 ~x11886 ~x11887 ~x11888 ~x11889 ~x11890 ~x11891 ~x11892 ~x11893 ~x11894 ~x11895 ~x11896 ~x11897 ~x11898 ~x11899 ~x11900 ~x11901 ~x11902 ~x11903 ~x11904 ~x11905 ~x11906 ~x11907 ~x11908 ~x11909 ~x11910 ~x11911 ~x11912 ~x11913 ~x11914 ~x11915 ~x11916 ~x11917 ~x11918 ~x11919 ~x11920 ~x11921 ~x11922 ~x11923 ~x11924 ~x11925 ~x11926 ~x11927 ~x11928 ~x11929 ~x11930 ~x11931 ~x11932 ~x11933 ~x11934 ~x11935 ~x11936 ~x11937 ~x11938 ~x11939 ~x11940 ~x11941 ~x11942 ~x11943 ~x11944 ~x11945 ~x11946 ~x11947 ~x11948 ~x11949 ~x11950 ~x11951 ~x11952 ~x11953 ~x11954 ~x11955 ~x11956 ~x11957 ~x11958 ~x11959 ~x11960 ~x11961 ~x11962 ~x11963 ~x11964 ~x11965 ~x11966 ~x11967 ~x11968 ~x11969 ~x11970 ~x11971 ~x11972 ~x11973 ~x11974 ~x11975 ~x11976 ~x11977 ~x11978 ~x11979 ~x11980 ~x11981 ~x11982 ~x11983 ~x11984 ~x11985 ~x11986 ~x11987 ~x11988 ~x11989 ~x11990 ~x11991 ~x11992 ~x11993 ~x11994 ~x11995 ~x11996 ~x11997 ~x11998 ~x11999 ~x12000 ~x12001 ~x12002 ~x12003 ~x12004 ~x12005 ~x12006 ~x12007 ~x12008 ~x12009 ~x12010 ~x12011 ~x12012 ~x12013 ~x12014 ~x12015 ~x12016 ~x12017 ~x12018 ~x12019 ~x12020 ~x12021 ~x12022 ~x12023 ~x12024 ~x12025 ~x12026 ~x12027 ~x12028 ~x12029 ~x12030 ~x12031 ~x12032 ~x12033 ~x12034 ~x12035 ~x12036 ~x12037 ~x12038 ~x12039 ~x12040 ~x12041 ~x12042 ~x12043 ~x12044 ~x12045 ~x12046 ~x12047 ~x12048 ~x12049 ~x12050 ~x12051 ~x12052 ~x12053 ~x12054 ~x12055 ~x12056 ~x12057 ~x12058 ~x12059 ~x12060 ~x12061 ~x12062 ~x12063 ~x12064 ~x12065 ~x12066 ~x12067 ~x12068 ~x12069 ~x12070 ~x12071 ~x12072 ~x12073 ~x12074 ~x12075 ~x12076 ~x12077 ~x12078 ~x12079 ~x12080 ~x12081 ~x12082 ~x12083 ~x12084 ~x12085 ~x12086 ~x12087 ~x12088 ~x12089 ~x12090 ~x12091 ~x12092 ~x12093 ~x12094 ~x12095 ~x12096 ~x12097 ~x12098 ~x12099 ~x12100 ~x12101 ~x12102 ~x12103 ~x12104 ~x12105 ~x12106 ~x12107 ~x12108 ~x12109 ~x12110 ~x12111 ~x12112 ~x12113 ~x12114 ~x12115 ~x12116 ~x12117 ~x12118 ~x12119 ~x12120 ~x12121 ~x12122 ~x12123 ~x12124 ~x12125 ~x12126 ~x12127 ~x12128 ~x12129 ~x12130 x12131 ~x12132 ~x12133 ~x12134 ~x12135 ~x12136 ~x12137 ~x12138 ~x12139 ~x12140 ~x12141 ~x12142 ~x12143 ~x12144 x12145 x12146 ~x12147 x12148 ~x12149 ~x12150 ~x12151 ~x12152 x12153 x12154 x12155 x12156 ~x12157 ~x12158 ~x12159 ~x12160 ~x12161 x12162 x12163 x12164 ~x12165 ~x12166 ~x12167 ~x12168 x12169 x12170 ~x12171 ~x12172 ~x12173 ~x12174 ~x12175 ~x12176 ~x12177 ~x12178 ~x12179 ~x12180 ~x12181 ~x12182 ~x12183 ~x12184 ~x12185 ~x12186 ~x12187 ~x12188 ~x12189 ~x12190 ~x12191 ~x12192 ~x12193 ~x12194 ~x12195 ~x12196 ~x12197 ~x12198 ~x12199 ~x12200 ~x12201 ~x12202 ~x12203 ~x12204 ~x12205 ~x12206 ~x12207 ~x12208 ~x12209 ~x12210 ~x12211 ~x12212 ~x12213 ~x12214 ~x12215 ~x12216 x12217 ~x12218 ~x12219 x12220 ~x12221 ~x12222 ~x12223 ~x12224 ~x12225 x12226 x12227 x12228 ~x12229 ~x12230 ~x12231 ~x12232 ~x12233 x12234 x12235 ~x12236 ~x12237 ~x12238 ~x12239 ~x12240 ~x12241 ~x12242 x12243 x12244 ~x12245 ~x12246 ~x12247 ~x12248 ~x12249 ~x12250 ~x12251 ~x12252 ~x12253 ~x12254 ~x12255 ~x12256 ~x12257 ~x12258 ~x12259 ~x12260 ~x12261 ~x12262 ~x12263 ~x12264 ~x12265 ~x12266 ~x12267 ~x12268 ~x12269 ~x12270 ~x12271 ~x12272 ~x12273 ~x12274 ~x12275 ~x12276 ~x12277 ~x12278 ~x12279 ~x12280 ~x12281 ~x12282 ~x12283 ~x12284 ~x12285 ~x12286 ~x12287 ~x12288 ~x12289 ~x12290 ~x12291 ~x12292 ~x12293 ~x12294 ~x12295 ~x12296 ~x12297 ~x12298 ~x12299 ~x12300 ~x12301 ~x12302 ~x12303 ~x12304 ~x12305 ~x12306 ~x12307 ~x12308 ~x12309 ~x12310 ~x12311 ~x12312 ~x12313 ~x12314 ~x12315 ~x12316 ~x12317 ~x12318 ~x12319 ~x12320 ~x12321 ~x12322 ~x12323 ~x12324 ~x12325 ~x12326 ~x12327 ~x12328 ~x12329 ~x12330 ~x12331 ~x12332 ~x12333 ~x12334 ~x12335 ~x12336 ~x12337 ~x12338 ~x12339 ~x12340 ~x12341 ~x12342 ~x12343 ~x12344 ~x12345 ~x12346 ~x12347 ~x12348 ~x12349 ~x12350 ~x12351 ~x12352 ~x12353 ~x12354 ~x12355 ~x12356 ~x12357 ~x12358 ~x12359 ~x12360 ~x12361 ~x12362 ~x12363 ~x12364 ~x12365 ~x12366 ~x12367 ~x12368 ~x12369 ~x12370 ~x12371 ~x12372 ~x12373 ~x12374 ~x12375 ~x12376 ~x12377 ~x12378 ~x12379 ~x12380 ~x12381 ~x12382 ~x12383 ~x12384 ~x12385 ~x12386 ~x12387 ~x12388 ~x12389 ~x12390 ~x12391 ~x12392 ~x12393 ~x12394 ~x12395 ~x12396 ~x12397 ~x12398 ~x12399 ~x12400 ~x12401 ~x12402 ~x12403 ~x12404 ~x12405 ~x12406 ~x12407 ~x12408 ~x12409 ~x12410 ~x12411 ~x12412 ~x12413 ~x12414 ~x12415 ~x12416 ~x12417 ~x12418 ~x12419 ~x12420 ~x12421 ~x12422 ~x12423 ~x12424 ~x12425 x12426 ~x12427 ~x12428 ~x12429 ~x12430 ~x12431 ~x12432 ~x12433 ~x12434 ~x12435 ~x12436 ~x12437 ~x12438 ~x12439 ~x12440 ~x12441 ~x12442 ~x12443 ~x12444 ~x12445 ~x12446 ~x12447 ~x12448 ~x12449 ~x12450 ~x12451 ~x12452 ~x12453 ~x12454 ~x12455 x12456 ~x12457 ~x12458 ~x12459 ~x12460 ~x12461 ~x12462 ~x12463 ~x12464 ~x12465 ~x12466 ~x12467 ~x12468 x12469 ~x12470 ~x12471 ~x12472 ~x12473 ~x12474 ~x12475 ~x12476 ~x12477 ~x12478 ~x12479 ~x12480 ~x12481 ~x12482 ~x12483 ~x12484 ~x12485 ~x12486 ~x12487 ~x12488 ~x12489 ~x12490 ~x12491 ~x12492 x12493 ~x12494 ~x12495 ~x12496 ~x12497 ~x12498 ~x12499 ~x12500 ~x12501 ~x12502 ~x12503 ~x12504 ~x12505 ~x12506 ~x12507 ~x12508 ~x12509 ~x12510 ~x12511 ~x12512 x12513 ~x12514 ~x12515 ~x12516 ~x12517 ~x12518 ~x12519 ~x12520 ~x12521 ~x12522 ~x12523 ~x12524 ~x12525 ~x12526 ~x12527 ~x12528 ~x12529 ~x12530 ~x12531 ~x12532 ~x12533 ~x12534 ~x12535 ~x12536 ~x12537 ~x12538 ~x12539 ~x12540 ~x12541 ~x12542 x12543 ~x12544 ~x12545 ~x12546 ~x12547 ~x12548 ~x12549 ~x12550 ~x12551 ~x12552 ~x12553 ~x12554 ~x12555 ~x12556 ~x12557 ~x12558 ~x12559 ~x12560 ~x12561 ~x12562 ~x12563 ~x12564 ~x12565 ~x12566 ~x12567 ~x12568 ~x12569 ~x12570 ~x12571 ~x12572 ~x12573 ~x12574 ~x12575 ~x12576 ~x12577 ~x12578 ~x12579 ~x12580 ~x12581 ~x12582 ~x12583 ~x12584 ~x12585 ~x12586 ~x12587 ~x12588 ~x12589 ~x12590 ~x12591 ~x12592 ~x12593 ~x12594 ~x12595 ~x12596 ~x12597 ~x12598 ~x12599 ~x12600 ~x12601 ~x12602 ~x12603 ~x12604 ~x12605 ~x12606 ~x12607 ~x12608 ~x12609 ~x12610 ~x12611 ~x12612 ~x12613 ~x12614 ~x12615 ~x12616 ~x12617 ~x12618 ~x12619 ~x12620 ~x12621 ~x12622 ~x12623 ~x12624 ~x12625 ~x12626 ~x12627 ~x12628 ~x12629 ~x12630 ~x12631 ~x12632 ~x12633 x12634 ~x12635 ~x12636 ~x12637 ~x12638 ~x12639 ~x12640 ~x12641 ~x12642 ~x12643 x12644 ~x12645 ~x12646 ~x12647 ~x12648 x12649 ~x12650 ~x12651 x12652 ~x12653 ~x12654 ~x12655 ~x12656 ~x12657 ~x12658 x12659 x12660 ~x12661 ~x12662 ~x12663 ~x12664 x12665 ~x12666 ~x12667 x12668 ~x12669 ~x12670 ~x12671 ~x12672 ~x12673 x12674 ~x12675 x12676 ~x12677 ~x12678 ~x12679 ~x12680 ~x12681 ~x12682 ~x12683 ~x12684 ~x12685 ~x12686 ~x12687 ~x12688 ~x12689 x12690 ~x12691 ~x12692 ~x12693 ~x12694 ~x12695 ~x12696 ~x12697 x12698 x12699 ~x12700 ~x12701 ~x12702 ~x12703 ~x12704 ~x12705 ~x12706 ~x12707 ~x12708 ~x12709 ~x12710 ~x12711 ~x12712 ~x12713 ~x12714 ~x12715 ~x12716 ~x12717 ~x12718 ~x12719 ~x12720 ~x12721 ~x12722 ~x12723 x12724 x12725 ~x12726 ~x12727 ~x12728 ~x12729 ~x12730 x12731 x12732 ~x12733 ~x12734 ~x12735 ~x12736 x12737 ~x12738 x12739 x12740 ~x12741 ~x12742 ~x12743 ~x12744 ~x12745 ~x12746 x12747 ~x12748 ~x12749 ~x12750 ~x12751 x12752 ~x12753 ~x12754 ~x12755 ~x12756 ~x12757 ~x12758 ~x12759 ~x12760 ~x12761 ~x12762 ~x12763 ~x12764 ~x12765 ~x12766 x12767 ~x12768 ~x12769 ~x12770 ~x12771 ~x12772 x12773 ~x12774 ~x12775 ~x12776 ~x12777 ~x12778 ~x12779 ~x12780 x12781 ~x12782 x12783 ~x12784 ~x12785 ~x12786 ~x12787 ~x12788 ~x12789 ~x12790 ~x12791 ~x12792 ~x12793 ~x12794 ~x12795 ~x12796 ~x12797 ~x12798 ~x12799 ~x12800 ~x12801 ~x12802 ~x12803 ~x12804 ~x12805 ~x12806 ~x12807 ~x12808 ~x12809 ~x12810 ~x12811 ~x12812 ~x12813 ~x12814 ~x12815 ~x12816 ~x12817 ~x12818 ~x12819 ~x12820 ~x12821 ~x12822 ~x12823 ~x12824 ~x12825 ~x12826 ~x12827 ~x12828 x12829 ~x12830 ~x12831 ~x12832 ~x12833 ~x12834 ~x12835 ~x12836 ~x12837 ~x12838 ~x12839 ~x12840 ~x12841 ~x12842 x12843 ~x12844 ~x12845 ~x12846 ~x12847 ~x12848 ~x12849 ~x12850 ~x12851 ~x12852 ~x12853 ~x12854 ~x12855 ~x12856 ~x12857 ~x12858 ~x12859 x12860 ~x12861 ~x12862 ~x12863 ~x12864 ~x12865 ~x12866 ~x12867 ~x12868 ~x12869 ~x12870 x12871 ~x12872 ~x12873 ~x12874 ~x12875 ~x12876 ~x12877 ~x12878 ~x12879 x12880 ~x12881 ~x12882 ~x12883 ~x12884 ~x12885 ~x12886 ~x12887 ~x12888 ~x12889 ~x12890 ~x12891 ~x12892 ~x12893 ~x12894 ~x12895 ~x12896 ~x12897 ~x12898 ~x12899 ~x12900 ~x12901 ~x12902 ~x12903 x12904 ~x12905 ~x12906 ~x12907 ~x12908 ~x12909 ~x12910 ~x12911 ~x12912 ~x12913 ~x12914 ~x12915 ~x12916 ~x12917 ~x12918 ~x12919 ~x12920 ~x12921 ~x12922 ~x12923 ~x12924 ~x12925 ~x12926 ~x12927 ~x12928 ~x12929 ~x12930 ~x12931 ~x12932 ~x12933 ~x12934 ~x12935 ~x12936 ~x12937 ~x12938 ~x12939 ~x12940 ~x12941 x12942 ~x12943 ~x12944 ~x12945 ~x12946 ~x12947 ~x12948 ~x12949 ~x12950 ~x12951 ~x12952 ~x12953 ~x12954 ~x12955 ~x12956 ~x12957 ~x12958 ~x12959 ~x12960 ~x12961 ~x12962 ~x12963 ~x12964 ~x12965 ~x12966 ~x12967 ~x12968 ~x12969 ~x12970 ~x12971 ~x12972 ~x12973 ~x12974 ~x12975 ~x12976 ~x12977 ~x12978 ~x12979 ~x12980 ~x12981 ~x12982 ~x12983 ~x12984 ~x12985 ~x12986 ~x12987 x12988 ~x12989 ~x12990 ~x12991 ~x12992 ~x12993 x12994 ~x12995 ~x12996 ~x12997 ~x12998 ~x12999 ~x13000 ~x13001 ~x13002 ~x13003 ~x13004 ~x13005 ~x13006 ~x13007 x13008 ~x13009 ~x13010 ~x13011 ~x13012 ~x13013 ~x13014 ~x13015 ~x13016 ~x13017 ~x13018 ~x13019 ~x13020 ~x13021 ~x13022 ~x13023 ~x13024 ~x13025 ~x13026 ~x13027 ~x13028 ~x13029 ~x13030 ~x13031 ~x13032 ~x13033 x13034 ~x13035 ~x13036 ~x13037 ~x13038 ~x13039 ~x13040 ~x13041 ~x13042 ~x13043 ~x13044 ~x13045 x13046 ~x13047 ~x13048 ~x13049 ~x13050 ~x13051 x13052 ~x13053 ~x13054 ~x13055 ~x13056 ~x13057 ~x13058 ~x13059 ~x13060 ~x13061 ~x13062 ~x13063 ~x13064 ~x13065 ~x13066 ~x13067 ~x13068 ~x13069 ~x13070 ~x13071 ~x13072 ~x13073 ~x13074 ~x13075 ~x13076 ~x13077 ~x13078 ~x13079 ~x13080 ~x13081 ~x13082 ~x13083 ~x13084 ~x13085 ~x13086 ~x13087 ~x13088 ~x13089 ~x13090 ~x13091 ~x13092 ~x13093 ~x13094 ~x13095 ~x13096 ~x13097 ~x13098 ~x13099 ~x13100 ~x13101 ~x13102 ~x13103 ~x13104 ~x13105 ~x13106 ~x13107 ~x13108 ~x13109 ~x13110 ~x13111 ~x13112 ~x13113 ~x13114 ~x13115 ~x13116 ~x13117 ~x13118 ~x13119 ~x13120 ~x13121 ~x13122 ~x13123 ~x13124 ~x13125 ~x13126 ~x13127 ~x13128 ~x13129 ~x13130 ~x13131 ~x13132 ~x13133 ~x13134 ~x13135 ~x13136 ~x13137 ~x13138 ~x13139 ~x13140 ~x13141 ~x13142 ~x13143 ~x13144 ~x13145 ~x13146 ~x13147 ~x13148 ~x13149 ~x13150 ~x13151 ~x13152 ~x13153 ~x13154 x13155 x13156 x13157 ~x13158 ~x13159 ~x13160 ~x13161 ~x13162 ~x13163 ~x13164 ~x13165 ~x13166 ~x13167 ~x13168 x13169 ~x13170 ~x13171 ~x13172 ~x13173 x13174 ~x13175 ~x13176 ~x13177 ~x13178 ~x13179 ~x13180 ~x13181 ~x13182 ~x13183 ~x13184 ~x13185 ~x13186 ~x13187 ~x13188 ~x13189 ~x13190 ~x13191 ~x13192 ~x13193 ~x13194 ~x13195 ~x13196 x13197 ~x13198 ~x13199 x13200 ~x13201 ~x13202 ~x13203 ~x13204 ~x13205 ~x13206 ~x13207 ~x13208 ~x13209 ~x13210 ~x13211 x13212 ~x13213 ~x13214 ~x13215 ~x13216 ~x13217 ~x13218 ~x13219 ~x13220 ~x13221 ~x13222 ~x13223 ~x13224 ~x13225 ~x13226 ~x13227 ~x13228 ~x13229 ~x13230 ~x13231 ~x13232 ~x13233 ~x13234 ~x13235 ~x13236 ~x13237 ~x13238 ~x13239 ~x13240 ~x13241 ~x13242 ~x13243 ~x13244 ~x13245 ~x13246 ~x13247 ~x13248 ~x13249 ~x13250 ~x13251 ~x13252 ~x13253 ~x13254 ~x13255 ~x13256 ~x13257 ~x13258 ~x13259 x13260 ~x13261 ~x13262 ~x13263 ~x13264 x13265 x13266 ~x13267 ~x13268 x13269 x13270 ~x13271 ~x13272 ~x13273 x13274 x13275 x13276 x13277 ~x13278 ~x13279 ~x13280 ~x13281 ~x13282 ~x13283 ~x13284 x13285 ~x13286 x13287 x13288 x13289 x13290 ~x13291 ~x13292 ~x13293 ~x13294 ~x13295 ~x13296 ~x13297 ~x13298 x13299 ~x13300 x13301 ~x13302 ~x13303 ~x13304 ~x13305 ~x13306 ~x13307 x13308 x13309 ~x13310 x13311 x13312 x13313 x13314 x13315 x13316 ~x13317 ~x13318 x13319 x13320 x13321 x13322 x13323 x13324 ~x13325 x13326 ~x13327 x13328 x13329 ~x13330 x13331 ~x13332 ~x13333 x13334 ~x13335 x13336 x13337 x13338 x13339 x13340 x13341 x13342 ~x13343 ~x13344 x13345 x13346 x13347 x13348 ~x13349 ~x13350 x13351 ~x13352 x13353 x13354 x13355 x13356 x13357 x13358 x13359 x13360 x13361 x13362 x13363 x13364 ~x13365 x13366 x13367 ~x13368 ~x13369 x13370 ~x13371 ~x13372 ~x13373 ~x13374 ~x13375 ~x13376 ~x13377 ~x13378 ~x13379 ~x13380 ~x13381 ~x13382 ~x13383 ~x13384 ~x13385 ~x13386 ~x13387 ~x13388 ~x13389 ~x13390 ~x13391 ~x13392 ~x13393 ~x13394 ~x13395 ~x13396 ~x13397 ~x13398 ~x13399 ~x13400 ~x13401 ~x13402 ~x13403 ~x13404 ~x13405 ~x13406 ~x13407 ~x13408 ~x13409 ~x13410 ~x13411 ~x13412 x13413 x13414 x13415 x13416 x13417 x13418 x13419 x13420 x13421 x13422 ~x13423 x13424 x13425 x13426 x13427 x13428 x13429 x13430 x13431 x13432 x13433 x13434 x13435 x13436 x13437 x13438 x13439 x13440 x13441 ~x13442 ~x13443 x13444 ~x13445 ~x13446 ~x13447 ~x13448 ~x13449 ~x13450 ~x13451 ~x13452 x13453 x13454 ~x13455 ~x13456 ~x13457 x13458 x13459 ~x13460 x13461 x13462 ~x13463 x13464 ~x13465 ~x13466 x13467 ~x13468 ~x13469 x13470 ~x13471 ~x13472 x13473 x13474 x13475 ~x13476 x13477 ~x13478 x13479 ~x13480 x13481 x13482 x13483 ~x13484 x13485 x13486 x13487 x13488 x13489 ~x13490 x13491 ~x13492 x13493 ~x13494 ~x13495 ~x13496 ~x13497 ~x13498 x13499 x13500 x13501 x13502 x13503 x13504 x13505 ~x13506 x13507 ~x13508 ~x13509 ~x13510 x13511 ~x13512 x13513 ~x13514 x13515 x13516 x13517 x13518 x13519 x13520 x13521 ~x13522 x13523 ~x13524 ~x13525 ~x13526 ~x13527 ~x13528 x13529 ~x13530 ~x13531 ~x13532 ~x13533 ~x13534 ~x13535 ~x13536 ~x13537 ~x13538 ~x13539 ~x13540 ~x13541 ~x13542 ~x13543 ~x13544 ~x13545 ~x13546 ~x13547 ~x13548 ~x13549 ~x13550 ~x13551 ~x13552 ~x13553 ~x13554 ~x13555 ~x13556 x13557 ~x13558 ~x13559 ~x13560 ~x13561 ~x13562 ~x13563 ~x13564 ~x13565 ~x13566 ~x13567 ~x13568 ~x13569 ~x13570 ~x13571 ~x13572 ~x13573 ~x13574 ~x13575 ~x13576 ~x13577 ~x13578 ~x13579 ~x13580 ~x13581 ~x13582 ~x13583 ~x13584 ~x13585 ~x13586 ~x13587 ~x13588 ~x13589 ~x13590 ~x13591 ~x13592 ~x13593 ~x13594 ~x13595 ~x13596 ~x13597 ~x13598 ~x13599 ~x13600 ~x13601 ~x13602 ~x13603 ~x13604 ~x13605 ~x13606 ~x13607 ~x13608 ~x13609 ~x13610 ~x13611 ~x13612 ~x13613 ~x13614 ~x13615 ~x13616 ~x13617 ~x13618 ~x13619 ~x13620 ~x13621 ~x13622 ~x13623 ~x13624 ~x13625 ~x13626 ~x13627 ~x13628 ~x13629 ~x13630 ~x13631 ~x13632 ~x13633 ~x13634 ~x13635 ~x13636 ~x13637 ~x13638 ~x13639 ~x13640 ~x13641 ~x13642 ~x13643 ~x13644 ~x13645 ~x13646 ~x13647 ~x13648 ~x13649 ~x13650 ~x13651 ~x13652 ~x13653 ~x13654 ~x13655 ~x13656 ~x13657 ~x13658 ~x13659 ~x13660 ~x13661 ~x13662 ~x13663 ~x13664 ~x13665 ~x13666 ~x13667 x13668 ~x13669 ~x13670 ~x13671 x13672 ~x13673 ~x13674 ~x13675 ~x13676 ~x13677 ~x13678 ~x13679 ~x13680 ~x13681 ~x13682 ~x13683 ~x13684 ~x13685 ~x13686 ~x13687 ~x13688 ~x13689 ~x13690 ~x13691 ~x13692 ~x13693 ~x13694 ~x13695 ~x13696 ~x13697 ~x13698 ~x13699 ~x13700 ~x13701 ~x13702 ~x13703 ~x13704 ~x13705 ~x13706 ~x13707 ~x13708 ~x13709 ~x13710 ~x13711 ~x13712 ~x13713 ~x13714 ~x13715 ~x13716 ~x13717 ~x13718 ~x13719 ~x13720 ~x13721 ~x13722 ~x13723 ~x13724 ~x13725 ~x13726 ~x13727 ~x13728 ~x13729 ~x13730 ~x13731 ~x13732 ~x13733 ~x13734 ~x13735 ~x13736 ~x13737 ~x13738 ~x13739 ~x13740 ~x13741 ~x13742 ~x13743 ~x13744 ~x13745 ~x13746 ~x13747 ~x13748 ~x13749 ~x13750 ~x13751 ~x13752 ~x13753 ~x13754 ~x13755 ~x13756 ~x13757 ~x13758 ~x13759 ~x13760 ~x13761 ~x13762 ~x13763 ~x13764 ~x13765 ~x13766 ~x13767 ~x13768 ~x13769 ~x13770 ~x13771 ~x13772 ~x13773 ~x13774 ~x13775 ~x13776 ~x13777 ~x13778 ~x13779 ~x13780 ~x13781 ~x13782 ~x13783 ~x13784 x13785 x13786 ~x13787 ~x13788 ~x13789 ~x13790 ~x13791 ~x13792 ~x13793 ~x13794 ~x13795 ~x13796 ~x13797 ~x13798 ~x13799 ~x13800 ~x13801 ~x13802 ~x13803 ~x13804 ~x13805 x13806 ~x13807 ~x13808 ~x13809 ~x13810 x13811 x13812 ~x13813 ~x13814 ~x13815 ~x13816 ~x13817 ~x13818 ~x13819 ~x13820 x13821 ~x13822 ~x13823 x13824 ~x13825 ~x13826 ~x13827 x13828 x13829 ~x13830 ~x13831 ~x13832 ~x13833 ~x13834 ~x13835 ~x13836 ~x13837 ~x13838 ~x13839 ~x13840 ~x13841 ~x13842 ~x13843 ~x13844 ~x13845 ~x13846 ~x13847 ~x13848 ~x13849 ~x13850 ~x13851 ~x13852 ~x13853 ~x13854 ~x13855 ~x13856 ~x13857 ~x13858 ~x13859 ~x13860 ~x13861 ~x13862 ~x13863 ~x13864 ~x13865 ~x13866 ~x13867 ~x13868 ~x13869 ~x13870 ~x13871 ~x13872 ~x13873 ~x13874 ~x13875 ~x13876 ~x13877 ~x13878 ~x13879 ~x13880 ~x13881 ~x13882 ~x13883 ~x13884 ~x13885 ~x13886 ~x13887 x13888 ~x13889 x13890 ~x13891 ~x13892 ~x13893 ~x13894 ~x13895 ~x13896 ~x13897 ~x13898 ~x13899 ~x13900 ~x13901 ~x13902 ~x13903 ~x13904 ~x13905 ~x13906 ~x13907 ~x13908 ~x13909 ~x13910 ~x13911 ~x13912 ~x13913 ~x13914 ~x13915 ~x13916 ~x13917 ~x13918 ~x13919 ~x13920 ~x13921 ~x13922 ~x13923 ~x13924 ~x13925 ~x13926 ~x13927 ~x13928 ~x13929 x13930 ~x13931 ~x13932 ~x13933 ~x13934 ~x13935 ~x13936 ~x13937 ~x13938 ~x13939 ~x13940 ~x13941 ~x13942 ~x13943 ~x13944 ~x13945 ~x13946 x13947 ~x13948 ~x13949 ~x13950 ~x13951 ~x13952 ~x13953 ~x13954 ~x13955 ~x13956 ~x13957 ~x13958 ~x13959 ~x13960 ~x13961 ~x13962 ~x13963 ~x13964 ~x13965 ~x13966 ~x13967 ~x13968 ~x13969 ~x13970 ~x13971 x13972 x13973 x13974 ~x13975 ~x13976 ~x13977 ~x13978 ~x13979 ~x13980 ~x13981 ~x13982 ~x13983 ~x13984 ~x13985 ~x13986 ~x13987 ~x13988 x13989 x13990 x13991 x13992 ~x13993 ~x13994 ~x13995 ~x13996 ~x13997 ~x13998 ~x13999 ~x14000 ~x14001 ~x14002 ~x14003 ~x14004 ~x14005 ~x14006 ~x14007 ~x14008 ~x14009 ~x14010 ~x14011 ~x14012 ~x14013 ~x14014 ~x14015 ~x14016 ~x14017 ~x14018 ~x14019 ~x14020 ~x14021 ~x14022 ~x14023 ~x14024 ~x14025 ~x14026 ~x14027 ~x14028 ~x14029 ~x14030 ~x14031 ~x14032 ~x14033 ~x14034 x14035 x14036 ~x14037 ~x14038 ~x14039 x14040 x14041 ~x14042 ~x14043 ~x14044 x14045 x14046 x14047 ~x14048 ~x14049 ~x14050 x14051 ~x14052 ~x14053 x14054 x14055 x14056 x14057 x14058 x14059 x14060 ~x14061 x14062 ~x14063 x14064 x14065 x14066 ~x14067 ~x14068 ~x14069 ~x14070 ~x14071 ~x14072 ~x14073 ~x14074 ~x14075 x14076 x14077 ~x14078 ~x14079 x14080 ~x14081 x14082 x14083 x14084 x14085 x14086 ~x14087 ~x14088 ~x14089 x14090 x14091 x14092 ~x14093 x14094 x14095 x14096 ~x14097 x14098 ~x14099 x14100 x14101 ~x14102 x14103 ~x14104 x14105 x14106 x14107 x14108 ~x14109 x14110 x14111 ~x14112 x14113 x14114 x14115 ~x14116 x14117 x14118 x14119 x14120 x14121 ~x14122 ~x14123 x14124 ~x14125 ~x14126 x14127 x14128 ~x14129 x14130 ~x14131 ~x14132 ~x14133 ~x14134 ~x14135 ~x14136 x14137 x14138 ~x14139 x14140 ~x14141 x14142 x14143 ~x14144 ~x14145 x14146 ~x14147 ~x14148 ~x14149 ~x14150 ~x14151 ~x14152 ~x14153 ~x14154 ~x14155 ~x14156 ~x14157 ~x14158 ~x14159 ~x14160 ~x14161 ~x14162 ~x14163 ~x14164 ~x14165 ~x14166 ~x14167 ~x14168 ~x14169 ~x14170 ~x14171 ~x14172 ~x14173 ~x14174 ~x14175 ~x14176 ~x14177 ~x14178 ~x14179 ~x14180 ~x14181 ~x14182 ~x14183 ~x14184 ~x14185 ~x14186 ~x14187 ~x14188 x14189 x14190 ~x14191 ~x14192 ~x14193 x14194 x14195 ~x14196 ~x14197 ~x14198 x14199 ~x14200 ~x14201 ~x14202 ~x14203 ~x14204 ~x14205 x14206 x14207 ~x14208 x14209 x14210 ~x14211 x14212 ~x14213 ~x14214 ~x14215 ~x14216 x14217 x14218 x14219 ~x14220 ~x14221 ~x14222 ~x14223 ~x14224 ~x14225 ~x14226 ~x14227 ~x14228 x14229 x14230 ~x14231 ~x14232 x14233 ~x14234 x14235 ~x14236 x14237 ~x14238 ~x14239 x14240 ~x14241 ~x14242 ~x14243 x14244 ~x14245 ~x14246 ~x14247 ~x14248 ~x14249 x14250 x14251 x14252 x14253 ~x14254 ~x14255 x14256 ~x14257 ~x14258 ~x14259 ~x14260 ~x14261 x14262 ~x14263 x14264 ~x14265 ~x14266 x14267 ~x14268 x14269 ~x14270 x14271 x14272 x14273 ~x14274 x14275 ~x14276 ~x14277 ~x14278 x14279 ~x14280 x14281 ~x14282 ~x14283 ~x14284 ~x14285 ~x14286 x14287 ~x14288 ~x14289 ~x14290 ~x14291 ~x14292 x14293 ~x14294 x14295 ~x14296 ~x14297 ~x14298 x14299 ~x14300
3600.06/3611.41	ds 973 >= 30 @ 21.5086
3600.06/3611.41	c bounds 972 >= 30 @ 21.5349
3600.06/3611.41	c bounds 971 >= 30 @ 21.5767
3600.06/3611.41	c #Conflicts:       2000 | #Constraints:      67741
3600.06/3611.41	c INPROCESSING
3600.06/3611.41	c GARBAGE COLLECT
3600.06/3611.41	c bounds 970 >= 30 @ 53.5419
3600.06/3611.41	c bounds 969 >= 30 @ 53.5583
3600.06/3611.41	c bounds 968 >= 30 @ 54.3196
3600.06/3611.41	c bounds 967 >= 30 @ 54.3765
3600.06/3611.41	c bounds 966 >= 30 @ 54.4185
3600.06/3611.41	c bounds 965 >= 30 @ 54.9886
3600.06/3611.41	c #Conflicts:       3000 | #Constraints:      67474
3600.06/3611.41	c bounds 964 >= 30 @ 58.5554
3600.06/3611.41	c #Conflicts:       4000 | #Constraints:      68475
3600.06/3611.41	c INPROCESSING
3600.06/3611.41	c GARBAGE COLLECT
3600.06/3611.41	c bounds 963 >= 30 @ 61.92
3600.06/3611.41	c bounds 962 >= 30 @ 61.95
3600.06/3611.41	c bounds 961 >= 30 @ 61.9802
3600.06/3611.41	c bounds 960 >= 30 @ 62.0239
3600.06/3611.41	c bounds 959 >= 30 @ 62.0501
3600.06/3611.41	c bounds 958 >= 30 @ 62.0749
3600.06/3611.41	c bounds 957 >= 30 @ 62.097
3600.06/3611.41	c bounds 956 >= 30 @ 62.123
3600.06/3611.41	c bounds 955 >= 30 @ 62.1451
3600.06/3611.41	c bounds 954 >= 30 @ 62.178
3600.06/3611.41	c bounds 953 >= 30 @ 62.2217
3600.06/3611.41	c bounds 952 >= 30 @ 62.2534
3600.06/3611.41	c bounds 951 >= 30 @ 62.2996
3600.06/3611.41	c bounds 950 >= 30 @ 62.3347
3600.06/3611.41	c bounds 949 >= 30 @ 62.3702
3600.06/3611.41	c bounds 948 >= 30 @ 62.4061
3600.06/3611.41	c bounds 947 >= 30 @ 62.4451
3600.06/3611.41	c bounds 946 >= 30 @ 62.4792
3600.06/3611.41	c bounds 945 >= 30 @ 62.5021
3600.06/3611.41	c bounds 944 >= 30 @ 62.5306
3600.06/3611.41	c bounds 943 >= 30 @ 62.5576
3600.06/3611.41	c bounds 942 >= 30 @ 62.5884
3600.06/3611.41	c bounds 941 >= 30 @ 62.617
3600.06/3611.41	c bounds 940 >= 30 @ 62.6358
3600.06/3611.41	c bounds 939 >= 30 @ 62.6609
3600.06/3611.41	c bounds 938 >= 30 @ 62.6798
3600.06/3611.41	c bounds 937 >= 30 @ 62.7027
3600.06/3611.41	c bounds 936 >= 30 @ 62.7184
3600.06/3611.41	c bounds 935 >= 30 @ 62.7358
3600.06/3611.41	c bounds 934 >= 30 @ 62.7583
3600.06/3611.41	c bounds 933 >= 30 @ 62.7837
3600.06/3611.41	c bounds 932 >= 30 @ 62.8039
3600.06/3611.41	c bounds 931 >= 30 @ 62.8223
3600.06/3611.41	c bounds 930 >= 30 @ 62.8423
3600.06/3611.41	c bounds 929 >= 30 @ 62.8615
3600.06/3611.41	c bounds 928 >= 30 @ 62.8786
3600.06/3611.41	c bounds 927 >= 30 @ 62.8979
3600.06/3611.41	c bounds 926 >= 30 @ 62.9156
3600.06/3611.41	c bounds 925 >= 30 @ 62.9311
3600.06/3611.41	c bounds 924 >= 30 @ 62.9479
3600.06/3611.41	c bounds 923 >= 30 @ 62.9641
3600.06/3611.41	c bounds 922 >= 30 @ 62.9793
3600.06/3611.41	c bounds 921 >= 30 @ 62.9977
3600.06/3611.41	c bounds 920 >= 30 @ 63.0246
3600.06/3611.41	c bounds 919 >= 30 @ 63.0459
3600.06/3611.41	c bounds 918 >= 30 @ 63.0717
3600.06/3611.41	c bounds 917 >= 30 @ 63.0939
3600.06/3611.41	c bounds 916 >= 30 @ 63.112
3600.06/3611.41	c bounds 915 >= 30 @ 63.136
3600.06/3611.41	c bounds 914 >= 30 @ 63.1592
3600.06/3611.41	c bounds 913 >= 30 @ 63.211
3600.06/3611.41	c bounds 912 >= 30 @ 63.2404
3600.06/3611.41	c bounds 911 >= 30 @ 63.2646
3600.06/3611.41	c bounds 910 >= 30 @ 63.2862
3600.06/3611.41	c bounds 909 >= 30 @ 63.3077
3600.06/3611.41	c bounds 908 >= 30 @ 63.3319
3600.06/3611.41	c bounds 907 >= 30 @ 63.3697
3600.06/3611.41	c bounds 906 >= 30 @ 63.3881
3600.06/3611.41	c bounds 905 >= 30 @ 63.4073
3600.06/3611.41	c bounds 904 >= 30 @ 63.434
3600.06/3611.41	c bounds 903 >= 30 @ 63.4585
3600.06/3611.41	c bounds 902 >= 30 @ 63.4853
3600.06/3611.41	c bounds 901 >= 30 @ 63.5137
3600.06/3611.41	c bounds 900 >= 30 @ 63.5392
3600.06/3611.41	c bounds 899 >= 30 @ 63.5609
3600.06/3611.41	c bounds 898 >= 30 @ 63.586
3600.06/3611.41	c bounds 897 >= 30 @ 63.6089
3600.06/3611.41	c bounds 896 >= 30 @ 63.628
3600.06/3611.41	c bounds 895 >= 30 @ 63.6504
3600.06/3611.41	c bounds 894 >= 30 @ 63.6648
3600.06/3611.41	c bounds 893 >= 30 @ 63.6899
3600.06/3611.41	c bounds 892 >= 30 @ 63.7187
3600.06/3611.41	c bounds 891 >= 30 @ 63.7426
3600.06/3611.41	c bounds 890 >= 30 @ 63.7673
3600.06/3611.41	c bounds 889 >= 30 @ 63.7975
3600.06/3611.41	c bounds 888 >= 30 @ 63.8196
3600.06/3611.41	c bounds 887 >= 30 @ 63.8502
3600.06/3611.41	c bounds 886 >= 30 @ 63.8772
3600.06/3611.41	c bounds 885 >= 30 @ 63.9051
3600.06/3611.41	c bounds 884 >= 30 @ 63.934
3600.06/3611.41	c bounds 883 >= 30 @ 63.9781
3600.06/3611.41	c bounds 882 >= 30 @ 64.0164
3600.06/3611.41	c bounds 881 >= 30 @ 64.0408
3600.06/3611.41	c bounds 880 >= 30 @ 64.0681
3600.06/3611.41	c bounds 879 >= 30 @ 64.0905
3600.06/3611.41	c bounds 878 >= 30 @ 64.1142
3600.06/3611.41	c bounds 877 >= 30 @ 64.1408
3600.06/3611.41	c bounds 876 >= 30 @ 64.1665
3600.06/3611.41	c bounds 875 >= 30 @ 64.189
3600.06/3611.41	c bounds 874 >= 30 @ 64.2137
3600.06/3611.41	c bounds 873 >= 30 @ 64.2347
3600.06/3611.41	c bounds 872 >= 30 @ 64.2583
3600.06/3611.41	c bounds 871 >= 30 @ 64.2865
3600.06/3611.41	c bounds 870 >= 30 @ 64.3186
3600.06/3611.41	c bounds 869 >= 30 @ 64.3495
3600.06/3611.41	c bounds 868 >= 30 @ 64.3841
3600.06/3611.41	c bounds 867 >= 30 @ 64.424
3600.06/3611.41	c bounds 866 >= 30 @ 64.4998
3600.06/3611.41	c bounds 865 >= 30 @ 64.5217
3600.06/3611.41	c bounds 864 >= 30 @ 64.5434
3600.06/3611.41	c bounds 863 >= 30 @ 64.558
3600.06/3611.41	c bounds 862 >= 30 @ 64.586
3600.06/3611.41	c bounds 861 >= 30 @ 64.6083
3600.06/3611.41	c bounds 860 >= 30 @ 64.6315
3600.06/3611.41	c bounds 859 >= 30 @ 64.6507
3600.06/3611.41	c bounds 858 >= 30 @ 64.6733
3600.06/3611.41	c bounds 857 >= 30 @ 64.7269
3600.06/3611.41	c bounds 856 >= 30 @ 64.7656
3600.06/3611.41	c bounds 855 >= 30 @ 65.0353
3600.06/3611.41	c bounds 854 >= 30 @ 65.1322
3600.06/3611.41	c bounds 853 >= 30 @ 65.369
3600.06/3611.41	c bounds 852 >= 30 @ 65.4323
3600.06/3611.41	c bounds 851 >= 30 @ 65.4649
3600.06/3611.41	c bounds 850 >= 30 @ 65.5055
3600.06/3611.41	c bounds 849 >= 30 @ 65.5553
3600.06/3611.41	c bounds 848 >= 30 @ 65.635
3600.06/3611.41	c bounds 847 >= 30 @ 66.6161
3600.06/3611.41	c bounds 846 >= 30 @ 66.7245
3600.06/3611.41	c #Conflicts:       5000 | #Constraints:      68010
3600.06/3611.41	c bounds 845 >= 30 @ 66.9157
3600.06/3611.41	c #Conflicts:       6000 | #Constraints:      69011
3600.06/3611.41	c INPROCESSING
3600.06/3611.41	c GARBAGE COLLECT

Verifier Data 

OK	845

Watcher Data 

runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL

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.

NUMA information:
  number of nodes: 2
  memory of node 0: 63968 MiB (62023 MiB free)
  memory of node 1: 64473 MiB (62170 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4429613-1721050592/watcher-4429613-1721050592 -o /tmp/evaluation-result-4429613-1721050592/solver-4429613-1721050592 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC026-1721049487-806626 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 HOME/instance-4429613-1721050592.opb 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=807934, runsolver pid=807931
Current StackSize limit: 8192 KiB


[startup+0.100088 s]*
/proc/loadavg: 4.08 4.17 4.13 5/256 807935
/proc/meminfo: memFree=127168396/131524600 swapFree=131071996/131071996
[pid=807934] ppid=807931 vsize=40564 memory=10868 CPUtime=0.1 cores=4,6
/proc/807934/stat : 807934 (roundingsat) R 807931 807934 806615 0 -1 4194304 1658 0 0 0 9 1 0 0 20 0 1 0 157225399 41537536 2717 134679101440 4194304 7968869 140734370028384 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659944 16687104 140734370034622 140734370034786 140734370034786 140734370041801 0
/proc/807934/statm: 10141 2717 1229 922 0 2093 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 40564 KiB
Current children cumulated memory: 10868 KiB

[startup+0.205521 s]*
/proc/loadavg: 4.08 4.17 4.13 6/256 807935
/proc/meminfo: memFree=127167548/131524600 swapFree=131071996/131071996
[pid=807934] ppid=807931 vsize=40564 memory=11656 CPUtime=0.2 cores=4,6
/proc/807934/stat : 807934 (roundingsat) R 807931 807934 806615 0 -1 4194304 1889 0 0 0 19 1 0 0 20 0 1 0 157225399 41537536 2914 134679101440 4194304 7968869 140734370028384 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659944 16687104 140734370034622 140734370034786 140734370034786 140734370041801 0
/proc/807934/statm: 10141 2914 1229 922 0 2093 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 40564 KiB
Current children cumulated memory: 11656 KiB

[startup+0.304856 s]*
/proc/loadavg: 4.08 4.17 4.13 5/256 807935
/proc/meminfo: memFree=127165664/131524600 swapFree=131071996/131071996
[pid=807934] ppid=807931 vsize=43284 memory=13444 CPUtime=0.3 cores=4,6
/proc/807934/stat : 807934 (roundingsat) R 807931 807934 806615 0 -1 4194304 2303 0 0 0 28 2 0 0 20 0 1 0 157225399 44322816 3361 134679101440 4194304 7968869 140734370028384 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659944 16687104 140734370034622 140734370034786 140734370034786 140734370041801 0
/proc/807934/statm: 10821 3361 1229 922 0 2773 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 43284 KiB
Current children cumulated memory: 13444 KiB

[startup+0.700183 s]
/proc/loadavg: 4.16 4.18 4.14 5/256 807935
/proc/meminfo: memFree=127161876/131524600 swapFree=131071996/131071996
[pid=807934] ppid=807931 vsize=48144 memory=20320 CPUtime=0.69 cores=4,6
/proc/807934/stat : 807934 (roundingsat) R 807931 807934 806615 0 -1 4194304 3496 0 0 0 65 4 0 0 20 0 1 0 157225399 49299456 5080 134679101440 4194304 7968869 140734370028384 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659944 16687104 140734370034622 140734370034786 140734370034786 140734370041801 0
/proc/807934/statm: 12036 5080 1229 922 0 3988 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 48144 KiB
Current children cumulated memory: 20320 KiB

[startup+1.50023 s]
/proc/loadavg: 4.16 4.18 4.14 5/256 807935
/proc/meminfo: memFree=127151344/131524600 swapFree=131071996/131071996
[pid=807934] ppid=807931 vsize=180080 memory=144976 CPUtime=1.48 cores=4,6
/proc/807934/stat : 807934 (roundingsat) R 807931 807934 806615 0 -1 4194304 31963 0 0 0 136 12 0 0 20 0 1 0 157225399 184401920 36244 134679101440 4194304 7968869 140734370028384 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 8652288 8659944 16687104 140734370034622 140734370034786 140734370034786 140734370041801 0
/proc/807934/statm: 45020 36244 1611 922 0 36972 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 180080 KiB
Current children cumulated memory: 144976 KiB

[startup+3.10548 s]
/proc/loadavg: 4.16 4.18 4.14 5/256 807937
/proc/meminfo: memFree=126864056/131524600 swapFree=131071996/131071996
[pid=807934] ppid=807931 vsize=342812 memory=308924 CPUtime=3.09 cores=4,6
/proc/807934/stat : 807934 (roundingsat) R 807931 807934 806615 0 -1 4194304 48173 0 0 0 277 32 0 0 20 0 1 0 157225399 351039488 77231 134679101440 4194304 7968869 140734370028384 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 8652288 8659944 16687104 140734370034622 140734370034786 140734370034786 140734370041801 0
/proc/807934/statm: 85703 77231 1611 922 0 77655 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 342812 KiB
Current children cumulated memory: 308924 KiB

[startup+6.30022 s]
/proc/loadavg: 4.14 4.18 4.14 5/256 807937
/proc/meminfo: memFree=126923708/131524600 swapFree=131071996/131071996
[pid=807934] ppid=807931 vsize=342812 memory=309308 CPUtime=6.27 cores=4,6
/proc/807934/stat : 807934 (roundingsat) R 807931 807934 806615 0 -1 4194304 48326 0 0 0 595 32 0 0 20 0 1 0 157225399 351039488 77327 134679101440 4194304 7968869 140734370028384 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 8652288 8659944 16687104 140734370034622 140734370034786 140734370034786 140734370041801 0
/proc/807934/statm: 85703 77327 1707 922 0 77655 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 342812 KiB
Current children cumulated memory: 309308 KiB

[startup+12.7002 s]
/proc/loadavg: 4.13 4.17 4.14 5/256 807938
/proc/meminfo: memFree=126917608/131524600 swapFree=131071996/131071996
[pid=807934] ppid=807931 vsize=342812 memory=317044 CPUtime=12.66 cores=4,6
/proc/807934/stat : 807934 (roundingsat) R 807931 807934 806615 0 -1 4194304 48844 0 0 0 1185 81 0 0 20 0 1 0 157225399 351039488 79261 134679101440 4194304 7968869 140734370028384 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 8652288 8659944 16687104 140734370034622 140734370034786 140734370034786 140734370041801 0
/proc/807934/statm: 85703 79261 1800 922 0 77655 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 342812 KiB
Current children cumulated memory: 317044 KiB

[startup+25.5002 s]
/proc/loadavg: 4.11 4.17 4.14 5/256 807940
/proc/meminfo: memFree=126690148/131524600 swapFree=131071996/131071996
[pid=807934] ppid=807931 vsize=537776 memory=461712 CPUtime=25.43 cores=4,6
/proc/807934/stat : 807934 (roundingsat) R 807931 807934 806615 0 -1 4194304 72731 0 0 0 2130 413 0 0 20 0 1 0 157225399 550682624 115428 134679101440 4194304 7968869 140734370028384 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 8652288 8659944 16687104 140734370034622 140734370034786 140734370034786 140734370041801 0
/proc/807934/statm: 134444 115428 1800 922 0 126396 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 537776 KiB
Current children cumulated memory: 461712 KiB

[startup+51.1057 s]
/proc/loadavg: 4.14 4.17 4.14 5/256 807944
/proc/meminfo: memFree=126603992/131524600 swapFree=131071996/131071996
[pid=807934] ppid=807931 vsize=592564 memory=517636 CPUtime=50.98 cores=4,6
/proc/807934/stat : 807934 (roundingsat) R 807931 807934 806615 0 -1 4194304 76985 0 0 0 4658 440 0 0 20 0 1 0 157225399 606785536 129409 134679101440 4194304 7968869 140734370028384 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 8652288 8659944 16687104 140734370034622 140734370034786 140734370034786 140734370041801 0
/proc/807934/statm: 148141 129409 1816 922 0 140093 0
Current children cumulated CPU time: 50.98 s
Current children cumulated vsize: 592564 KiB
Current children cumulated memory: 517636 KiB

[startup+102.3 s]
/proc/loadavg: 4.11 4.16 4.13 5/256 807954
/proc/meminfo: memFree=125992804/131524600 swapFree=131071996/131071996
[pid=807934] ppid=807931 vsize=1239464 memory=1033580 CPUtime=102.05 cores=4,6
/proc/807934/stat : 807934 (roundingsat) R 807931 807934 806615 0 -1 4194304 145854 0 0 0 9517 688 0 0 20 0 1 0 157225399 1269211136 258395 134679101440 4194304 7968869 140734370028384 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 8652288 8659944 16687104 140734370034622 140734370034786 140734370034786 140734370041801 0
/proc/807934/statm: 309866 258395 1816 922 0 301818 0
Current children cumulated CPU time: 102.05 s
Current children cumulated vsize: 1239464 KiB
Current children cumulated memory: 1033580 KiB

[startup+162.3 s]
/proc/loadavg: 4.08 4.14 4.13 5/257 807965
/proc/meminfo: memFree=125831372/131524600 swapFree=131071996/131071996
[pid=807934] ppid=807931 vsize=1386392 memory=1147676 CPUtime=161.88 cores=4,6
/proc/807934/stat : 807934 (roundingsat) R 807931 807934 806615 0 -1 4194304 149688 0 0 0 15491 697 0 0 20 0 1 0 157225399 1419665408 286919 134679101440 4194304 7968869 140734370028384 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 8652288 8659944 16687104 140734370034622 140734370034786 140734370034786 140734370041801 0
/proc/807934/statm: 346598 286919 1816 922 0 338550 0
Current children cumulated CPU time: 161.88 s
Current children cumulated vsize: 1386392 KiB
Current children cumulated memory: 1147676 KiB

[startup+222.3 s]
/proc/loadavg: 4.14 4.14 4.13 5/257 807979
/proc/meminfo: memFree=125587996/131524600 swapFree=131071996/131071996
[pid=807934] ppid=807931 vsize=1544664 memory=1295632 CPUtime=221.72 cores=4,6
/proc/807934/stat : 807934 (roundingsat) R 807931 807934 806615 0 -1 4194304 152215 0 0 0 21467 705 0 0 20 0 1 0 157225399 1581735936 323908 134679101440 4194304 7968869 140734370028384 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 8652288 8659944 16687104 140734370034622 140734370034786 140734370034786 140734370041801 0
/proc/807934/statm: 386166 323908 1816 922 0 378118 0
Current children cumulated CPU time: 221.72 s
Current children cumulated vsize: 1544664 KiB
Current children cumulated memory: 1295632 KiB

[startup+282.3 s]
/proc/loadavg: 4.11 4.13 4.12 5/257 807990
/proc/meminfo: memFree=125503836/131524600 swapFree=131071996/131071996
[pid=807934] ppid=807931 vsize=1592064 memory=1284384 CPUtime=281.55 cores=4,6
/proc/807934/stat : 807934 (roundingsat) R 807931 807934 806615 0 -1 4194304 153555 0 0 0 27446 709 0 0 20 0 1 0 157225399 1630273536 321096 134679101440 4194304 7968869 140734370028384 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 8652288 8659944 16687104 140734370034622 140734370034786 140734370034786 140734370041801 0
/proc/807934/statm: 398016 321096 1816 922 0 389968 0
Current children cumulated CPU time: 281.55 s
Current children cumulated vsize: 1592064 KiB
Current children cumulated memory: 1284384 KiB

[startup+342.3 s]
/proc/loadavg: 4.12 4.12 4.11 5/257 808000
/proc/meminfo: memFree=125480636/131524600 swapFree=131071996/131071996
[pid=807934] ppid=807931 vsize=1662284 memory=1364864 CPUtime=341.38 cores=4,6
/proc/807934/stat : 807934 (roundingsat) R 807931 807934 806615 0 -1 4194304 158698 0 0 0 33426 712 0 0 20 0 1 0 157225399 1702178816 341216 134679101440 4194304 7968869 140734370028384 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 8652288 8659944 16687104 140734370034622 140734370034786 140734370034786 140734370041801 0
/proc/807934/statm: 415571 341216 1816 922 0 407523 0
Current children cumulated CPU time: 341.38 s
Current children cumulated vsize: 1662284 KiB
Current children cumulated memory: 1364864 KiB

[startup+402.3 s]
/proc/loadavg: 4.17 4.13 4.11 5/257 808011
/proc/meminfo: memFree=125465712/131524600 swapFree=131071996/131071996
[pid=807934] ppid=807931 vsize=1673716 memory=1396692 CPUtime=401.21 cores=4,6
/proc/807934/stat : 807934 (roundingsat) R 807931 807934 806615 0 -1 4194304 161776 0 0 0 39407 714 0 0 20 0 1 0 157225399 1713885184 349173 134679101440 4194304 7968869 140734370028384 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 8652288 8659944 16687104 140734370034622 140734370034786 140734370034786 140734370041801 0
/proc/807934/statm: 418429 349173 1816 922 0 410381 0
Current children cumulated CPU time: 401.21 s
Current children cumulated vsize: 1673716 KiB
Current children cumulated memory: 1396692 KiB

[startup+462.3 s]
/proc/loadavg: 4.11 4.12 4.11 5/256 808022
/proc/meminfo: memFree=125339108/131524600 swapFree=131071996/131071996
[pid=807934] ppid=807931 vsize=1701468 memory=1452964 CPUtime=461.06 cores=4,6
/proc/807934/stat : 807934 (roundingsat) R 807931 807934 806615 0 -1 4194304 165236 0 0 0 45386 720 0 0 20 0 1 0 157225399 1742303232 363241 134679101440 4194304 7968869 140734370028384 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 8652288 8659944 16687104 140734370034622 140734370034786 140734370034786 140734370041801 0
/proc/807934/statm: 425367 363241 1816 922 0 417319 0

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

Current children cumulated memory: 2376692 KiB

[startup+2862.3 s]
/proc/loadavg: 4.10 4.10 4.09 5/257 809032
/proc/meminfo: memFree=123159104/131524600 swapFree=131071996/131071996
[pid=807934] ppid=807931 vsize=2886624 memory=2376692 CPUtime=2853.6 cores=4,6
/proc/807934/stat : 807934 (roundingsat) R 807931 807934 806615 0 -1 4194304 272823 0 0 0 284439 921 0 0 20 0 1 0 157225399 2955902976 594173 134679101440 4194304 7968869 140734370028384 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 8652288 8659944 16687104 140734370034622 140734370034786 140734370034786 140734370041801 0
/proc/807934/statm: 721656 594173 1816 922 0 713608 0
Current children cumulated CPU time: 2853.6 s
Current children cumulated vsize: 2886624 KiB
Current children cumulated memory: 2376692 KiB

[startup+2922.3 s]
/proc/loadavg: 3.65 3.98 4.05 4/249 809456
/proc/meminfo: memFree=123343884/131524600 swapFree=131071996/131071996
[pid=807934] ppid=807931 vsize=2886624 memory=2376692 CPUtime=2913.4 cores=4,6
/proc/807934/stat : 807934 (roundingsat) R 807931 807934 806615 0 -1 4194304 273322 0 0 0 290419 921 0 0 20 0 1 0 157225399 2955902976 594173 134679101440 4194304 7968869 140734370028384 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 8652288 8659944 16687104 140734370034622 140734370034786 140734370034786 140734370041801 0
/proc/807934/statm: 721656 594173 1816 922 0 713608 0
Current children cumulated CPU time: 2913.4 s
Current children cumulated vsize: 2886624 KiB
Current children cumulated memory: 2376692 KiB

[startup+2982.3 s]
/proc/loadavg: 3.30 3.82 3.99 4/250 809467
/proc/meminfo: memFree=123216472/131524600 swapFree=131071996/131071996
[pid=807934] ppid=807931 vsize=2932468 memory=2443884 CPUtime=2973.2 cores=4,6
/proc/807934/stat : 807934 (roundingsat) R 807931 807934 806615 0 -1 4194304 279250 0 0 0 296386 934 0 0 20 0 1 0 157225399 3002847232 610971 134679101440 4194304 7968869 140734370028384 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 8652288 8659944 16687104 140734370034622 140734370034786 140734370034786 140734370041801 0
/proc/807934/statm: 733117 610971 1816 922 0 725069 0
Current children cumulated CPU time: 2973.2 s
Current children cumulated vsize: 2932468 KiB
Current children cumulated memory: 2443884 KiB

[startup+3042.3 s]
/proc/loadavg: 3.16 3.68 3.93 4/250 809478
/proc/meminfo: memFree=123201760/131524600 swapFree=131071996/131071996
[pid=807934] ppid=807931 vsize=2932968 memory=2444456 CPUtime=3033 cores=4,6
/proc/807934/stat : 807934 (roundingsat) R 807931 807934 806615 0 -1 4194304 279671 0 0 0 302366 934 0 0 20 0 1 0 157225399 3003359232 611114 134679101440 4194304 7968869 140734370028384 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 8652288 8659944 16687104 140734370034622 140734370034786 140734370034786 140734370041801 0
/proc/807934/statm: 733242 611114 1816 922 0 725194 0
Current children cumulated CPU time: 3033 s
Current children cumulated vsize: 2932968 KiB
Current children cumulated memory: 2444456 KiB

[startup+3102.3 s]
/proc/loadavg: 3.46 3.68 3.91 4/252 809658
/proc/meminfo: memFree=123186692/131524600 swapFree=131071996/131071996
[pid=807934] ppid=807931 vsize=2932968 memory=2444456 CPUtime=3092.81 cores=4,6
/proc/807934/stat : 807934 (roundingsat) R 807931 807934 806615 0 -1 4194304 280172 0 0 0 308347 934 0 0 20 0 1 0 157225399 3003359232 611114 134679101440 4194304 7968869 140734370028384 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 8652288 8659944 16687104 140734370034622 140734370034786 140734370034786 140734370041801 0
/proc/807934/statm: 733242 611114 1816 922 0 725194 0
Current children cumulated CPU time: 3092.81 s
Current children cumulated vsize: 2932968 KiB
Current children cumulated memory: 2444456 KiB

[startup+3162.3 s]
/proc/loadavg: 3.17 3.55 3.85 4/252 809668
/proc/meminfo: memFree=123028712/131524600 swapFree=131071996/131071996
[pid=807934] ppid=807931 vsize=3406460 memory=2592888 CPUtime=3152.62 cores=4,6
/proc/807934/stat : 807934 (roundingsat) R 807931 807934 806615 0 -1 4194304 283040 0 0 0 314306 956 0 0 20 0 1 0 157225399 3488215040 648222 134679101440 4194304 7968869 140734370028384 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 8652288 8659944 16687104 140734370034622 140734370034786 140734370034786 140734370041801 0
/proc/807934/statm: 851615 648222 1816 922 0 843567 0
Current children cumulated CPU time: 3152.62 s
Current children cumulated vsize: 3406460 KiB
Current children cumulated memory: 2592888 KiB

[startup+3222.3 s]
/proc/loadavg: 3.22 3.49 3.81 4/253 809737
/proc/meminfo: memFree=122934212/131524600 swapFree=131071996/131071996
[pid=807934] ppid=807931 vsize=3414648 memory=2684936 CPUtime=3212.41 cores=4,6
/proc/807934/stat : 807934 (roundingsat) R 807931 807934 806615 0 -1 4194304 286577 0 0 0 320282 959 0 0 20 0 1 0 157225399 3496599552 671234 134679101440 4194304 7968869 140734370028384 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 8652288 8659944 16687104 140734370034622 140734370034786 140734370034786 140734370041801 0
/proc/807934/statm: 853662 671234 1816 922 0 845614 0
Current children cumulated CPU time: 3212.41 s
Current children cumulated vsize: 3414648 KiB
Current children cumulated memory: 2684936 KiB

[startup+3282.3 s]
/proc/loadavg: 2.61 3.28 3.72 3/246 809778
/proc/meminfo: memFree=124452976/131524600 swapFree=131071996/131071996
[pid=807934] ppid=807931 vsize=3414648 memory=2684936 CPUtime=3272.19 cores=4,6
/proc/807934/stat : 807934 (roundingsat) R 807931 807934 806615 0 -1 4194304 286897 0 0 0 326260 959 0 0 20 0 1 0 157225399 3496599552 671234 134679101440 4194304 7968869 140734370028384 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 8652288 8659944 16687104 140734370034622 140734370034786 140734370034786 140734370041801 0
/proc/807934/statm: 853662 671234 1816 922 0 845614 0
Current children cumulated CPU time: 3272.19 s
Current children cumulated vsize: 3414648 KiB
Current children cumulated memory: 2684936 KiB

[startup+3342.3 s]
/proc/loadavg: 2.28 3.06 3.61 3/245 809788
/proc/meminfo: memFree=124431100/131524600 swapFree=131071996/131071996
[pid=807934] ppid=807931 vsize=3414648 memory=2684936 CPUtime=3331.99 cores=4,6
/proc/807934/stat : 807934 (roundingsat) R 807931 807934 806615 0 -1 4194304 287356 0 0 0 332240 959 0 0 20 0 1 0 157225399 3496599552 671234 134679101440 4194304 7968869 140734370028384 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 8652288 8659944 16687104 140734370034622 140734370034786 140734370034786 140734370041801 0
/proc/807934/statm: 853662 671234 1816 922 0 845614 0
Current children cumulated CPU time: 3331.99 s
Current children cumulated vsize: 3414648 KiB
Current children cumulated memory: 2684936 KiB

[startup+3402.3 s]
/proc/loadavg: 2.17 2.88 3.51 3/243 809799
/proc/meminfo: memFree=124370196/131524600 swapFree=131071996/131071996
[pid=807934] ppid=807931 vsize=3419580 memory=2691916 CPUtime=3391.76 cores=4,6
/proc/807934/stat : 807934 (roundingsat) R 807931 807934 806615 0 -1 4194304 289883 0 0 0 338213 963 0 0 20 0 1 0 157225399 3501649920 672979 134679101440 4194304 7968869 140734370028384 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 8652288 8659944 16687104 140734370034622 140734370034786 140734370034786 140734370041801 0
/proc/807934/statm: 854895 672979 1816 922 0 846847 0
Current children cumulated CPU time: 3391.76 s
Current children cumulated vsize: 3419580 KiB
Current children cumulated memory: 2691916 KiB

[startup+3462.3 s]
/proc/loadavg: 2.12 2.73 3.42 3/244 809811
/proc/meminfo: memFree=124342976/131524600 swapFree=131071996/131071996
[pid=807934] ppid=807931 vsize=3428820 memory=2718676 CPUtime=3451.51 cores=4,6
/proc/807934/stat : 807934 (roundingsat) R 807931 807934 806615 0 -1 4194304 291798 0 0 0 344186 965 0 0 20 0 1 0 157225399 3511111680 679669 134679101440 4194304 7968869 140734370028384 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 8652288 8659944 16687104 140734370034622 140734370034786 140734370034786 140734370041801 0
/proc/807934/statm: 857205 679669 1816 922 0 849157 0
Current children cumulated CPU time: 3451.51 s
Current children cumulated vsize: 3428820 KiB
Current children cumulated memory: 2718676 KiB

[startup+3522.3 s]
/proc/loadavg: 1.56 2.47 3.29 2/237 809852
/proc/meminfo: memFree=126482768/131524600 swapFree=131071996/131071996
[pid=807934] ppid=807931 vsize=3428820 memory=2718676 CPUtime=3511.27 cores=4,6
/proc/807934/stat : 807934 (roundingsat) R 807931 807934 806615 0 -1 4194304 292238 0 0 0 350162 965 0 0 20 0 1 0 157225399 3511111680 679669 134679101440 4194304 7968869 140734370028384 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 8652288 8659944 16687104 140734370034622 140734370034786 140734370034786 140734370041801 0
/proc/807934/statm: 857205 679669 1816 922 0 849157 0
Current children cumulated CPU time: 3511.27 s
Current children cumulated vsize: 3428820 KiB
Current children cumulated memory: 2718676 KiB

[startup+3582.3 s]
/proc/loadavg: 1.24 2.22 3.15 2/234 809863
/proc/meminfo: memFree=126482324/131524600 swapFree=131071996/131071996
[pid=807934] ppid=807931 vsize=3428820 memory=2718676 CPUtime=3571.06 cores=4,6
/proc/807934/stat : 807934 (roundingsat) R 807931 807934 806615 0 -1 4194304 292575 0 0 0 356140 966 0 0 20 0 1 0 157225399 3511111680 679669 134679101440 4194304 7968869 140734370028384 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 8652288 8659944 16687104 140734370034622 140734370034786 140734370034786 140734370041801 0
/proc/807934/statm: 857205 679669 1816 922 0 849157 0
Current children cumulated CPU time: 3571.06 s
Current children cumulated vsize: 3428820 KiB
Current children cumulated memory: 2718676 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3611.4 s]
/proc/loadavg: 1.16 2.12 3.09 2/234 809867
/proc/meminfo: memFree=126477824/131524600 swapFree=131071996/131071996
[pid=807934] ppid=807931 vsize=3432960 memory=2722816 CPUtime=3600.06 cores=4,6
/proc/807934/stat : 807934 (roundingsat) R 807931 807934 806615 0 -1 4194304 294938 0 0 0 359037 969 0 0 20 0 1 0 157225399 3515351040 680704 134679101440 4194304 7968869 140734370028384 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 8652288 8659944 16687104 140734370034622 140734370034786 140734370034786 140734370041801 0
/proc/807934/statm: 858240 680704 1816 922 0 850192 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 3432960 KiB
Current children cumulated memory: 2722816 KiB

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

[startup+3611.42 s]
# the end of solver process 807934 was just reported to runsolver
# Child status: 1

# cumulated CPU time of all completed processes:  user=3590.38 s, system=9.70788 s

Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples

Child status: 1

Real time (s): 3611.42
CPU time (s): 3600.09
CPU user time (s): 3590.38
CPU system time (s): 9.70788
CPU usage (%): 99.6862
Max. virtual memory (cumulated for all children) (KiB): 3794876
Max. memory (cumulated for all children) (KiB): 2936248

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3590.38
system time used= 9.70788
maximum resident set size= 2981304
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 295170
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= 78
involuntary context switches= 1771


# summary of solver processes directly reported to runsolver:
#   pid: 807934
#   total CPU time (s): 3600.09
#   total CPU user time (s): 3590.38
#   total CPU system time (s): 9.70788

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.8014 second user time and 16.6451 second system time

The end

Launcher Data 

Begin job on nodeC026 at 2024-07-15 15:36:45
IDJOB=4429613
IDBENCH=155402
IDSOLVER=3051
FILE ID=nodeC026/4429613-1721050592
RUNJOBID= nodeC026-1721049487-806626
SLURM_JOB_ID= 7505477
Free space on /tmp= 889952 MiB

SOLVER NAME= RoundingSat nolog
BENCH NAME= PB24/normalized-PB11/OPT-LIN/kullmann/normalized-mul_8_14_shg.opb
COMMAND LINE= roundingsat --print-sol=1 --'time limit'=TIMEOUT --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4429613-1721050592/watcher-4429613-1721050592 -o /tmp/evaluation-result-4429613-1721050592/solver-4429613-1721050592 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC026-1721049487-806626 --watchdog 3760  roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 HOME/instance-4429613-1721050592.opb

TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2

MD5SUM BENCH= c0e25a71d8726d42148f3e780c01ff44
RANDOM SEED=2081378653

nodeC026.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021

/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3666.520
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3688.218
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7005.45
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3600.214
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3600.169
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7005.45
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3626.779
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3688.220
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7005.45
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3667.778
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3600.033
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7005.45
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        127175076 kB
MemAvailable:   127891980 kB
Buffers:          357840 kB
Cached:          1196900 kB
SwapCached:            0 kB
Active:           696728 kB
Inactive:        3061740 kB
Active(anon):       1548 kB
Inactive(anon):  2239904 kB
Active(file):     695180 kB
Inactive(file):   821836 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:             51224 kB
Writeback:             0 kB
AnonPages:       2198280 kB
Mapped:           112936 kB
Shmem:             37720 kB
KReclaimable:      79420 kB
Slab:             182472 kB
SReclaimable:      79420 kB
SUnreclaim:       103052 kB
KernelStack:        4128 kB
PageTables:        13848 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:    2555920 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            61088 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1406976 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      211668 kB
DirectMap2M:    17387520 kB
DirectMap1G:    118489088 kB

Free space on /tmp at the end= 890032 MiB
End job on nodeC026 at 2024-07-15 16:36:57