Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
minisat+ 1.14 | SAT (TO) | 7817 | 1800.15 | 1800.73 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ MIPLIB/miplib/normalized-reduced-mps-v2-20-10-air06.opb |
MD5SUM | 9ad64595976e8d5a822b98ffb6dea9d7 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 5727 |
Best CPU time to get the best result obtained on this benchmark | 42.5775 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 5727 |
Optimality of the best value was proved | YES |
Number of variables | 8627 |
Total number of constraints | 825 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 825 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 461 |
Number of terms in the objective function | 8627 |
Biggest coefficient in the objective function | 213 |
Number of bits for the biggest coefficient in the objective function | 8 |
Sum of the numbers in the objective function | 528490 |
Number of bits of the sum of numbers in the objective function | 20 |
Biggest number in a constraint | 213 |
Number of bits of the biggest number in a constraint | 8 |
Biggest sum of numbers in a constraint | 528490 |
Number of bits of the biggest sum of numbers | 20 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.00 c Parsing PB file... 1.38/1.41 c Converting 1628 PB-constraints to clauses... 1.38/1.42 c -- Unit propagations: ppp 1.38/1.43 c -- Detecting intervals from adjacent constraints: ##################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################### 1.38/1.46 c -- Clauses(.)/Splits(s): (none) 1.38/1.46 c ---[1626]---> BDD-cost: 103 1.38/1.46 c ---[1622]---> BDD-cost: 43 1.38/1.46 c ---[1618]---> BDD-cost: 59 1.38/1.47 c ---[1616]---> BDD-cost: 33 1.38/1.47 c ---[1614]---> BDD-cost: 109 1.38/1.47 c ---[1612]---> BDD-cost: 113 1.38/1.47 c ---[1610]---> BDD-cost: 79 1.38/1.47 c ---[1608]---> BDD-cost: 3 1.38/1.47 c ---[1604]---> BDD-cost: 41 1.38/1.47 c ---[1602]---> BDD-cost: 51 1.38/1.47 c ---[1600]---> BDD-cost: 147 1.38/1.48 c ---[1598]---> BDD-cost: 57 1.38/1.48 c ---[1596]---> BDD-cost: 23 1.38/1.48 c ---[1594]---> BDD-cost: 135 1.38/1.48 c ---[1592]---> BDD-cost: 81 1.38/1.48 c ---[1590]---> BDD-cost: 41 1.38/1.48 c ---[1588]---> BDD-cost: 27 1.38/1.48 c ---[1586]---> BDD-cost: 25 1.38/1.48 c ---[1584]---> BDD-cost: 8 1.38/1.48 c ---[1582]---> BDD-cost: 71 1.38/1.49 c ---[1580]---> BDD-cost: 137 1.38/1.49 c ---[1578]---> BDD-cost: 25 1.38/1.49 c ---[1576]---> BDD-cost: 13 1.38/1.49 c ---[1574]---> BDD-cost: 27 1.38/1.49 c ---[1572]---> BDD-cost: 9 1.38/1.49 c ---[1570]---> BDD-cost: 131 1.38/1.49 c ---[1566]---> BDD-cost: 47 1.38/1.49 c ---[1564]---> BDD-cost: 41 1.38/1.49 c ---[1562]---> BDD-cost: 27 1.38/1.49 c ---[1560]---> BDD-cost: 35 1.38/1.49 c ---[1558]---> BDD-cost: 133 1.38/1.50 c ---[1556]---> BDD-cost: 303 1.48/1.51 c ---[1554]---> BDD-cost: 231 1.48/1.52 c ---[1552]---> BDD-cost: 175 1.48/1.52 c ---[1550]---> BDD-cost: 131 1.48/1.52 c ---[1548]---> BDD-cost: 89 1.48/1.53 c ---[1546]---> BDD-cost: 53 1.48/1.53 c ---[1544]---> BDD-cost: 65 1.48/1.53 c ---[1542]---> BDD-cost: 141 1.48/1.53 c ---[1540]---> BDD-cost: 129 1.48/1.53 c ---[1538]---> BDD-cost: 21 1.48/1.53 c ---[1536]---> BDD-cost: 13 1.48/1.53 c ---[1534]---> BDD-cost: 83 1.48/1.54 c ---[1532]---> BDD-cost: 63 1.48/1.54 c ---[1530]---> BDD-cost: 7 1.48/1.54 c ---[1528]---> BDD-cost: 9 1.48/1.54 c ---[1526]---> BDD-cost: 7 1.48/1.54 c ---[1524]---> BDD-cost: 41 1.48/1.54 c ---[1522]---> BDD-cost: 93 1.48/1.54 c ---[1520]---> BDD-cost: 55 1.48/1.54 c ---[1518]---> BDD-cost: 27 1.48/1.54 c ---[1516]---> BDD-cost: 253 1.48/1.55 c ---[1514]---> BDD-cost: 189 1.48/1.55 c ---[1512]---> BDD-cost: 131 1.48/1.56 c ---[1510]---> BDD-cost: 143 1.48/1.57 c ---[1508]---> BDD-cost: 55 1.48/1.57 c ---[1506]---> BDD-cost: 105 1.48/1.57 c ---[1504]---> BDD-cost: 357 1.48/1.58 c ---[1502]---> BDD-cost: 355 1.58/1.60 c ---[1500]---> BDD-cost: 361 1.58/1.62 c ---[1498]---> BDD-cost: 257 1.58/1.63 c ---[1496]---> BDD-cost: 263 1.58/1.63 c ---[1494]---> BDD-cost: 271 1.58/1.64 c ---[1492]---> BDD-cost: 91 1.58/1.65 c ---[1488]---> BDD-cost: 15 1.58/1.65 c ---[1486]---> BDD-cost: 7 1.58/1.65 c ---[1484]---> BDD-cost: 37 1.58/1.65 c ---[1478]---> BDD-cost: 1 1.58/1.65 c ---[1476]---> BDD-cost: 14 1.58/1.65 c ---[1474]---> BDD-cost: 7 1.58/1.65 c ---[1472]---> BDD-cost: 1 1.58/1.65 c ---[1470]---> BDD-cost: 1 1.58/1.65 c ---[1468]---> BDD-cost: 5 1.58/1.65 c ---[1466]---> BDD-cost: 103 1.58/1.65 c ---[1464]---> BDD-cost: 203 1.58/1.65 c ---[1462]---> BDD-cost: 91 1.58/1.66 c ---[1460]---> BDD-cost: 49 1.58/1.66 c ---[1458]---> BDD-cost: 7 1.58/1.66 c ---[1456]---> BDD-cost: 77 1.58/1.66 c ---[1452]---> BDD-cost: 55 1.58/1.66 c ---[1450]---> BDD-cost: 19 1.58/1.66 c ---[1448]---> BDD-cost: 95 1.58/1.66 c ---[1446]---> BDD-cost: 101 1.58/1.66 c ---[1444]---> BDD-cost: 115 1.58/1.66 c ---[1442]---> BDD-cost: 67 1.58/1.67 c ---[1440]---> BDD-cost: 33 1.58/1.67 c ---[1438]---> BDD-cost: 29 1.58/1.67 c ---[1436]---> BDD-cost: 91 1.58/1.67 c ---[1434]---> BDD-cost: 25 1.58/1.67 c ---[1428]---> BDD-cost: 11 1.58/1.67 c ---[1426]---> BDD-cost: 15 1.58/1.67 c ---[1424]---> BDD-cost: 29 1.58/1.67 c ---[1422]---> BDD-cost: 127 1.58/1.67 c ---[1420]---> BDD-cost: 195 1.58/1.68 c ---[1418]---> BDD-cost: 143 1.58/1.68 c ---[1416]---> BDD-cost: 111 1.58/1.68 c ---[1414]---> BDD-cost: 169 1.58/1.69 c ---[1412]---> BDD-cost: 169 1.58/1.69 c ---[1410]---> BDD-cost: 171 1.58/1.70 c ---[1408]---> BDD-cost: 135 1.69/1.70 c ---[1406]---> BDD-cost: 43 1.69/1.70 c ---[1404]---> BDD-cost: 257 1.69/1.71 c ---[1402]---> BDD-cost: 261 1.69/1.72 c ---[1400]---> BDD-cost: 167 1.69/1.72 c ---[1398]---> BDD-cost: 125 1.69/1.72 c ---[1396]---> BDD-cost: 125 1.69/1.73 c ---[1394]---> BDD-cost: 39 1.69/1.73 c ---[1392]---> BDD-cost: 37 1.69/1.73 c ---[1390]---> BDD-cost: 43 1.69/1.73 c ---[1386]---> BDD-cost: 29 1.69/1.73 c ---[1384]---> BDD-cost: 33 1.69/1.73 c ---[1382]---> BDD-cost: 107 1.69/1.73 c ---[1380]---> BDD-cost: 57 1.69/1.73 c ---[1378]---> BDD-cost: 169 1.69/1.74 c ---[1376]---> BDD-cost: 79 1.69/1.74 c ---[1374]---> BDD-cost: 81 1.69/1.74 c ---[1372]---> BDD-cost: 219 1.69/1.75 c ---[1370]---> BDD-cost: 229 1.69/1.75 c ---[1368]---> BDD-cost: 111 1.69/1.76 c ---[1366]---> BDD-cost: 5 1.69/1.76 c ---[1364]---> BDD-cost: 89 1.69/1.76 c ---[1362]---> BDD-cost: 389 1.69/1.78 c ---[1360]---> BDD-cost: 335 1.69/1.79 c ---[1358]---> BDD-cost: 191 1.79/1.80 c ---[1356]---> BDD-cost: 121 1.79/1.80 c ---[1354]---> BDD-cost: 137 1.79/1.81 c ---[1352]---> BDD-cost: 83 1.79/1.81 c ---[1350]---> BDD-cost: 199 1.79/1.81 c ---[1348]---> BDD-cost: 15 1.79/1.82 c ---[1346]---> BDD-cost: 109 1.79/1.82 c ---[1344]---> BDD-cost: 55 1.79/1.82 c ---[1342]---> BDD-cost: 181 1.79/1.82 c ---[1340]---> BDD-cost: 133 1.79/1.83 c ---[1338]---> BDD-cost: 81 1.79/1.83 c ---[1336]---> BDD-cost: 33 1.79/1.83 c ---[1334]---> BDD-cost: 131 1.79/1.83 c ---[1332]---> BDD-cost: 75 1.79/1.83 c ---[1330]---> BDD-cost: 49 1.79/1.83 c ---[1328]---> BDD-cost: 17 1.79/1.83 c ---[1326]---> BDD-cost: 97 1.79/1.84 c ---[1324]---> BDD-cost: 129 1.79/1.84 c ---[1322]---> BDD-cost: 69 1.79/1.84 c ---[1320]---> BDD-cost: 273 1.79/1.85 c ---[1318]---> BDD-cost: 261 1.79/1.86 c ---[1316]---> BDD-cost: 89 1.79/1.86 c ---[1314]---> BDD-cost: 119 1.79/1.86 c ---[1312]---> BDD-cost: 53 1.79/1.86 c ---[1310]---> BDD-cost: 43 1.79/1.86 c ---[1308]---> BDD-cost: 61 1.79/1.86 c ---[1306]---> BDD-cost: 99 1.79/1.87 c ---[1304]---> BDD-cost: 81 1.79/1.87 c ---[1302]---> BDD-cost: 165 1.79/1.87 c ---[1300]---> BDD-cost: 231 1.79/1.88 c ---[1298]---> BDD-cost: 121 1.79/1.88 c ---[1296]---> BDD-cost: 135 1.79/1.88 c ---[1294]---> BDD-cost: 227 1.79/1.89 c ---[1292]---> BDD-cost: 35 1.79/1.89 c ---[1290]---> BDD-cost: 55 1.79/1.89 c ---[1288]---> BDD-cost: 143 1.79/1.90 c ---[1286]---> BDD-cost: 135 1.89/1.90 c ---[1284]---> BDD-cost: 113 1.89/1.90 c ---[1282]---> BDD-cost: 177 1.89/1.91 c ---[1280]---> BDD-cost: 151 1.89/1.91 c ---[1278]---> BDD-cost: 107 1.89/1.91 c ---[1276]---> BDD-cost: 179 1.89/1.92 c ---[1274]---> BDD-cost: 61 1.89/1.92 c ---[1272]---> BDD-cost: 167 1.89/1.92 c ---[1270]---> BDD-cost: 145 1.89/1.92 c ---[1268]---> BDD-cost: 123 1.89/1.93 c ---[1266]---> BDD-cost: 243 1.89/1.94 c ---[1264]---> BDD-cost: 15 1.89/1.94 c ---[1262]---> BDD-cost: 137 1.89/1.95 c ---[1260]---> BDD-cost: 85 1.89/1.95 c ---[1258]---> BDD-cost: 37 1.89/1.95 c ---[1254]---> BDD-cost: 43 1.89/1.95 c ---[1252]---> BDD-cost: 19 1.89/1.95 c ---[1250]---> BDD-cost: 23 1.89/1.95 c ---[1248]---> BDD-cost: 31 1.89/1.95 c ---[1246]---> BDD-cost: 91 1.89/1.95 c ---[1244]---> BDD-cost: 95 1.89/1.95 c ---[1242]---> BDD-cost: 61 1.89/1.95 c ---[1240]---> BDD-cost: 79 1.89/1.95 c ---[1238]---> BDD-cost: 89 1.89/1.96 c ---[1236]---> BDD-cost: 105 1.89/1.96 c ---[1234]---> BDD-cost: 97 1.89/1.96 c ---[1232]---> BDD-cost: 105 1.89/1.96 c ---[1230]---> BDD-cost: 81 1.89/1.96 c ---[1228]---> BDD-cost: 19 1.89/1.96 c ---[1226]---> BDD-cost: 13 1.89/1.96 c ---[1224]---> BDD-cost: 3 1.89/1.96 c ---[1222]---> BDD-cost: 21 1.89/1.96 c ---[1220]---> BDD-cost: 65 1.89/1.96 c ---[1218]---> BDD-cost: 35 1.89/1.96 c ---[1216]---> BDD-cost: 69 1.89/1.97 c ---[1214]---> BDD-cost: 45 1.89/1.97 c ---[1212]---> BDD-cost: 59 1.89/1.97 c ---[1210]---> BDD-cost: 89 1.89/1.97 c ---[1208]---> BDD-cost: 65 1.89/1.97 c ---[1206]---> BDD-cost: 101 1.89/1.97 c ---[1204]---> BDD-cost: 87 1.89/1.97 c ---[1202]---> BDD-cost: 95 1.89/1.97 c ---[1200]---> BDD-cost: 69 1.89/1.98 c ---[1198]---> BDD-cost: 119 1.89/1.98 c ---[1196]---> BDD-cost: 53 1.89/1.98 c ---[1194]---> BDD-cost: 17 1.89/1.98 c ---[1192]---> BDD-cost: 27 1.89/1.98 c ---[1190]---> BDD-cost: 273 1.89/1.99 c ---[1188]---> BDD-cost: 231 1.99/2.00 c ---[1186]---> BDD-cost: 243 1.99/2.01 c ---[1184]---> BDD-cost: 121 1.99/2.01 c ---[1182]---> BDD-cost: 295 1.99/2.02 c ---[1180]---> BDD-cost: 175 1.99/2.03 c ---[1178]---> BDD-cost: 115 1.99/2.03 c ---[1176]---> BDD-cost: 175 1.99/2.03 c ---[1174]---> BDD-cost: 249 1.99/2.04 c ---[1172]---> BDD-cost: 233 1.99/2.05 c ---[1170]---> BDD-cost: 123 1.99/2.05 c ---[1168]---> BDD-cost: 81 1.99/2.05 c ---[1166]---> BDD-cost: 5 1.99/2.05 c ---[1164]---> BDD-cost: 75 1.99/2.06 c ---[1162]---> BDD-cost: 71 1.99/2.06 c ---[1160]---> BDD-cost: 39 1.99/2.06 c ---[1156]---> BDD-cost: 65 1.99/2.06 c ---[1154]---> BDD-cost: 51 1.99/2.06 c ---[1152]---> BDD-cost: 21 1.99/2.06 c ---[1150]---> BDD-cost: 15 1.99/2.06 c ---[1148]---> BDD-cost: 3 1.99/2.06 c ---[1146]---> BDD-cost: 21 1.99/2.06 c ---[1144]---> BDD-cost: 17 1.99/2.06 c ---[1142]---> BDD-cost: 33 1.99/2.06 c ---[1140]---> BDD-cost: 11 1.99/2.06 c ---[1138]---> BDD-cost: 29 1.99/2.06 c ---[1136]---> BDD-cost: 95 1.99/2.06 c ---[1134]---> BDD-cost: 79 1.99/2.06 c ---[1132]---> BDD-cost: 37 1.99/2.06 c ---[1130]---> BDD-cost: 273 1.99/2.07 c ---[1128]---> BDD-cost: 221 1.99/2.08 c ---[1126]---> BDD-cost: 189 1.99/2.09 c ---[1124]---> BDD-cost: 81 1.99/2.09 c ---[1122]---> BDD-cost: 35 1.99/2.09 c ---[1120]---> BDD-cost: 185 1.99/2.09 c ---[1118]---> BDD-cost: 93 1.99/2.09 c ---[1116]---> BDD-cost: 59 1.99/2.09 c ---[1114]---> BDD-cost: 59 1.99/2.09 c ---[1112]---> BDD-cost: 125 2.09/2.10 c ---[1110]---> BDD-cost: 135 2.09/2.10 c ---[1108]---> BDD-cost: 117 2.09/2.10 c ---[1096]---> BDD-cost: 73 2.09/2.10 c ---[1094]---> BDD-cost: 95 2.09/2.10 c ---[1092]---> BDD-cost: 53 2.09/2.11 c ---[1090]---> BDD-cost: 117 2.09/2.11 c ---[1088]---> BDD-cost: 117 2.09/2.11 c ---[1086]---> BDD-cost: 199 2.09/2.12 c ---[1084]---> BDD-cost: 189 2.09/2.12 c ---[1082]---> BDD-cost: 25 2.09/2.13 c ---[1080]---> BDD-cost: 173 2.09/2.13 c ---[1078]---> BDD-cost: 45 2.09/2.13 c ---[1074]---> BDD-cost: 21 2.09/2.13 c ---[1072]---> BDD-cost: 219 2.09/2.14 c ---[1070]---> BDD-cost: 167 2.09/2.14 c ---[1068]---> BDD-cost: 121 2.09/2.14 c ---[1066]---> BDD-cost: 203 2.09/2.15 c ---[1064]---> BDD-cost: 27 2.09/2.15 c ---[1062]---> BDD-cost: 17 2.09/2.15 c ---[1060]---> BDD-cost: 87 2.09/2.15 c ---[1058]---> BDD-cost: 111 2.09/2.15 c ---[1056]---> BDD-cost: 169 2.09/2.16 c ---[1054]---> BDD-cost: 251 2.09/2.17 c ---[1052]---> BDD-cost: 155 2.09/2.17 c ---[1048]---> BDD-cost: 93 2.09/2.17 c ---[1044]---> BDD-cost: 141 2.09/2.17 c ---[1042]---> BDD-cost: 103 2.09/2.18 c ---[1040]---> BDD-cost: 173 2.09/2.18 c ---[1038]---> BDD-cost: 221 2.09/2.19 c ---[1036]---> BDD-cost: 199 2.09/2.19 c ---[1034]---> BDD-cost: 185 2.09/2.20 c ---[1032]---> BDD-cost: 259 2.19/2.21 c ---[1030]---> BDD-cost: 129 2.19/2.21 c ---[1028]---> BDD-cost: 283 2.19/2.22 c ---[1026]---> BDD-cost: 187 2.19/2.23 c ---[1024]---> BDD-cost: 187 2.19/2.23 c ---[1022]---> BDD-cost: 173 2.19/2.24 c ---[1018]---> BDD-cost: 55 2.19/2.24 c ---[1014]---> BDD-cost: 37 2.19/2.24 c ---[1012]---> BDD-cost: 59 2.19/2.24 c ---[1010]---> BDD-cost: 57 2.19/2.24 c ---[1008]---> BDD-cost: 49 2.19/2.24 c ---[1004]---> BDD-cost: 1 2.19/2.24 c ---[1002]---> BDD-cost: 69 2.19/2.25 c ---[1000]---> BDD-cost: 91 2.19/2.25 c ---[ 998]---> BDD-cost: 137 2.19/2.25 c ---[ 996]---> BDD-cost: 77 2.19/2.25 c ---[ 994]---> BDD-cost: 125 2.19/2.26 c ---[ 992]---> BDD-cost: 49 2.19/2.26 c ---[ 990]---> BDD-cost: 103 2.19/2.26 c ---[ 988]---> BDD-cost: 119 2.19/2.26 c ---[ 986]---> BDD-cost: 81 2.19/2.26 c ---[ 984]---> BDD-cost: 121 2.19/2.27 c ---[ 982]---> BDD-cost: 127 2.19/2.27 c ---[ 980]---> BDD-cost: 25 2.19/2.27 c ---[ 978]---> BDD-cost: 139 2.19/2.27 c ---[ 976]---> BDD-cost: 73 2.19/2.27 c ---[ 974]---> BDD-cost: 113 2.19/2.28 c ---[ 972]---> BDD-cost: 77 2.19/2.28 c ---[ 970]---> BDD-cost: 69 2.19/2.28 c ---[ 968]---> BDD-cost: 53 2.19/2.28 c ---[ 966]---> BDD-cost: 33 2.19/2.28 c ---[ 962]---> BDD-cost: 65 2.19/2.28 c ---[ 960]---> BDD-cost: 65 2.19/2.28 c ---[ 958]---> BDD-cost: 213 2.19/2.29 c ---[ 956]---> BDD-cost: 247 2.19/2.30 c ---[ 954]---> BDD-cost: 273 2.29/2.31 c ---[ 952]---> BDD-cost: 145 2.29/2.31 c ---[ 950]---> BDD-cost: 535 2.29/2.34 c ---[ 948]---> BDD-cost: 659 2.29/2.40 c ---[ 946]---> BDD-cost: 259 2.29/2.40 c ---[ 944]---> BDD-cost: 213 2.39/2.40 c ---[ 942]---> BDD-cost: 157 2.39/2.41 c ---[ 940]---> BDD-cost: 65 2.39/2.41 c ---[ 938]---> BDD-cost: 561 2.39/2.44 c ---[ 936]---> BDD-cost: 117 2.39/2.45 c ---[ 932]---> BDD-cost: 153 2.39/2.45 c ---[ 930]---> BDD-cost: 113 2.39/2.45 c ---[ 928]---> BDD-cost: 119 2.39/2.46 c ---[ 926]---> BDD-cost: 99 2.39/2.46 c ---[ 922]---> BDD-cost: 6 2.39/2.46 c ---[ 920]---> BDD-cost: 113 2.39/2.46 c ---[ 918]---> BDD-cost: 75 2.39/2.46 c ---[ 914]---> BDD-cost: 17 2.39/2.46 c ---[ 912]---> BDD-cost: 149 2.39/2.47 c ---[ 910]---> BDD-cost: 63 2.39/2.47 c ---[ 908]---> BDD-cost: 41 2.39/2.47 c ---[ 906]---> BDD-cost: 135 2.39/2.47 c ---[ 904]---> BDD-cost: 99 2.39/2.47 c ---[ 902]---> BDD-cost: 99 2.39/2.48 c ---[ 900]---> BDD-cost: 65 2.39/2.48 c ---[ 898]---> BDD-cost: 333 2.39/2.49 c ---[ 896]---> BDD-cost: 93 2.49/2.50 c ---[ 894]---> BDD-cost: 407 2.49/2.52 c ---[ 892]---> BDD-cost: 393 2.49/2.54 c ---[ 890]---> BDD-cost: 349 2.49/2.55 c ---[ 888]---> BDD-cost: 189 2.49/2.57 c ---[ 886]---> BDD-cost: 225 2.49/2.57 c ---[ 884]---> BDD-cost: 115 2.49/2.58 c ---[ 882]---> BDD-cost: 117 2.49/2.58 c ---[ 880]---> BDD-cost: 57 2.49/2.58 c ---[ 878]---> BDD-cost: 109 2.49/2.58 c ---[ 876]---> BDD-cost: 219 2.49/2.59 c ---[ 874]---> BDD-cost: 139 2.49/2.59 c ---[ 872]---> BDD-cost: 239 2.59/2.60 c ---[ 870]---> BDD-cost: 65 2.59/2.60 c ---[ 868]---> BDD-cost: 39 2.59/2.60 c ---[ 866]---> BDD-cost: 59 2.59/2.60 c ---[ 862]---> BDD-cost: 9 2.59/2.60 c ---[ 860]---> BDD-cost: 239 2.59/2.61 c ---[ 858]---> BDD-cost: 165 2.59/2.62 c ---[ 856]---> BDD-cost: 207 2.59/2.62 c ---[ 854]---> BDD-cost: 219 2.59/2.63 c ---[ 852]---> BDD-cost: 391 2.59/2.65 c ---[ 850]---> BDD-cost: 315 2.59/2.67 c ---[ 848]---> BDD-cost: 147 2.59/2.67 c ---[ 846]---> BDD-cost: 7 2.59/2.67 c ---[ 844]---> BDD-cost: 187 2.59/2.68 c ---[ 842]---> BDD-cost: 311 2.59/2.69 c ---[ 840]---> BDD-cost: 187 2.59/2.69 c ---[ 838]---> BDD-cost: 195 2.69/2.70 c ---[ 836]---> BDD-cost: 117 2.69/2.71 c ---[ 834]---> BDD-cost: 111 2.69/2.71 c ---[ 830]---> BDD-cost: 91 2.69/2.71 c ---[ 828]---> BDD-cost: 333 2.69/2.72 c ---[ 826]---> BDD-cost: 207 2.69/2.74 c ---[ 822]---> BDD-cost: 253 2.69/2.74 c ---[ 820]---> BDD-cost: 77 2.69/2.75 c ---[ 818]---> BDD-cost: 77 2.69/2.75 c ---[ 816]---> BDD-cost: 191 2.69/2.75 c ---[ 814]---> BDD-cost: 153 2.69/2.75 c ---[ 812]---> BDD-cost: 255 2.69/2.76 c ---[ 810]---> BDD-cost: 189 2.69/2.77 c ---[ 808]---> BDD-cost: 17 2.69/2.77 c ---[ 806]---> BDD-cost: 39 2.69/2.77 c ---[ 802]---> BDD-cost: 187 2.69/2.78 c ---[ 800]---> BDD-cost: 117 2.69/2.78 c ---[ 798]---> BDD-cost: 49 2.69/2.78 c ---[ 796]---> BDD-cost: 37 2.69/2.78 c ---[ 794]---> BDD-cost: 61 2.69/2.78 c ---[ 792]---> BDD-cost: 33 2.69/2.78 c ---[ 790]---> BDD-cost: 0 2.69/2.78 c ---[ 788]---> BDD-cost: 83 2.69/2.78 c ---[ 786]---> BDD-cost: 73 2.69/2.78 c ---[ 784]---> BDD-cost: 91 2.69/2.79 c ---[ 782]---> BDD-cost: 55 2.69/2.79 c ---[ 780]---> BDD-cost: 105 2.69/2.79 c ---[ 778]---> BDD-cost: 57 2.69/2.79 c ---[ 776]---> BDD-cost: 345 2.78/2.80 c ---[ 774]---> BDD-cost: 295 2.78/2.82 c ---[ 772]---> BDD-cost: 101 2.78/2.82 c ---[ 770]---> BDD-cost: 21 2.78/2.82 c ---[ 768]---> BDD-cost: 71 2.78/2.82 c ---[ 766]---> BDD-cost: 77 2.78/2.82 c ---[ 764]---> BDD-cost: 61 2.78/2.82 c ---[ 762]---> BDD-cost: 53 2.78/2.82 c ---[ 760]---> BDD-cost: 199 2.78/2.83 c ---[ 758]---> BDD-cost: 195 2.78/2.83 c ---[ 756]---> BDD-cost: 155 2.78/2.84 c ---[ 754]---> BDD-cost: 29 2.78/2.84 c ---[ 752]---> BDD-cost: 13 2.78/2.84 c ---[ 750]---> BDD-cost: 133 2.78/2.84 c ---[ 748]---> BDD-cost: 65 2.78/2.84 c ---[ 746]---> BDD-cost: 57 2.78/2.84 c ---[ 744]---> BDD-cost: 157 2.78/2.85 c ---[ 742]---> BDD-cost: 345 2.78/2.86 c ---[ 740]---> BDD-cost: 201 2.78/2.87 c ---[ 738]---> BDD-cost: 205 2.78/2.88 c ---[ 736]---> BDD-cost: 151 2.78/2.88 c ---[ 734]---> BDD-cost: 135 2.78/2.89 c ---[ 732]---> BDD-cost: 73 2.78/2.89 c ---[ 730]---> BDD-cost: 161 2.78/2.89 c ---[ 728]---> BDD-cost: 181 2.88/2.90 c ---[ 726]---> BDD-cost: 177 2.88/2.90 c ---[ 724]---> BDD-cost: 293 2.88/2.91 c ---[ 722]---> BDD-cost: 279 2.88/2.92 c ---[ 720]---> BDD-cost: 205 2.88/2.93 c ---[ 718]---> BDD-cost: 145 2.88/2.93 c ---[ 716]---> BDD-cost: 289 2.88/2.94 c ---[ 714]---> BDD-cost: 163 2.88/2.95 c ---[ 712]---> BDD-cost: 181 2.88/2.95 c ---[ 710]---> BDD-cost: 141 2.88/2.96 c ---[ 708]---> BDD-cost: 115 2.88/2.96 c ---[ 706]---> BDD-cost: 123 2.88/2.96 c ---[ 704]---> BDD-cost: 189 2.88/2.96 c ---[ 702]---> BDD-cost: 139 2.88/2.97 c ---[ 700]---> BDD-cost: 63 2.88/2.97 c ---[ 698]---> BDD-cost: 473 2.88/3.00 c ---[ 696]---> BDD-cost: 429 2.98/3.02 c ---[ 694]---> BDD-cost: 285 2.98/3.03 c ---[ 692]---> BDD-cost: 9 2.98/3.04 c ---[ 690]---> BDD-cost: 5 2.98/3.04 c ---[ 688]---> BDD-cost: 0 2.98/3.04 c ---[ 686]---> BDD-cost: 3 2.98/3.04 c ---[ 684]---> BDD-cost: 4 2.98/3.04 c ---[ 680]---> BDD-cost: 155 2.98/3.04 c ---[ 678]---> BDD-cost: 127 2.98/3.05 c ---[ 676]---> BDD-cost: 109 2.98/3.05 c ---[ 674]---> BDD-cost: 273 2.98/3.06 c ---[ 672]---> BDD-cost: 63 2.98/3.06 c ---[ 670]---> BDD-cost: 45 2.98/3.06 c ---[ 668]---> BDD-cost: 23 2.98/3.06 c ---[ 666]---> BDD-cost: 29 2.98/3.06 c ---[ 664]---> BDD-cost: 245 2.98/3.07 c ---[ 662]---> BDD-cost: 227 2.98/3.07 c ---[ 660]---> BDD-cost: 49 2.98/3.08 c ---[ 658]---> BDD-cost: 9 2.98/3.08 c ---[ 656]---> BDD-cost: 0 2.98/3.08 c ---[ 654]---> BDD-cost: 149 2.98/3.08 c ---[ 652]---> BDD-cost: 183 2.98/3.08 c ---[ 650]---> BDD-cost: 119 2.98/3.09 c ---[ 648]---> BDD-cost: 107 2.98/3.09 c ---[ 646]---> BDD-cost: 235 2.98/3.10 c ---[ 644]---> BDD-cost: 227 3.08/3.10 c ---[ 642]---> BDD-cost: 239 3.08/3.11 c ---[ 640]---> BDD-cost: 269 3.08/3.12 c ---[ 638]---> BDD-cost: 615 3.08/3.16 c ---[ 636]---> BDD-cost: 441 3.19/3.20 c ---[ 634]---> BDD-cost: 231 3.19/3.21 c ---[ 632]---> BDD-cost: 123 3.19/3.22 c ---[ 630]---> BDD-cost: 547 3.19/3.26 c ---[ 628]---> BDD-cost: 543 3.19/3.29 c ---[ 626]---> BDD-cost: 357 3.27/3.31 c ---[ 624]---> BDD-cost: 237 3.27/3.32 c ---[ 620]---> BDD-cost: 327 3.27/3.33 c ---[ 618]---> BDD-cost: 185 3.27/3.34 c ---[ 616]---> BDD-cost: 287 3.27/3.35 c ---[ 614]---> BDD-cost: 205 3.27/3.36 c ---[ 612]---> BDD-cost: 177 3.27/3.37 c ---[ 610]---> BDD-cost: 313 3.27/3.38 c ---[ 608]---> BDD-cost: 57 3.27/3.38 c ---[ 606]---> BDD-cost: 61 3.27/3.38 c ---[ 604]---> BDD-cost: 45 3.27/3.38 c ---[ 602]---> BDD-cost: 35 3.27/3.38 c ---[ 600]---> BDD-cost: 133 3.27/3.38 c ---[ 598]---> BDD-cost: 107 3.27/3.38 c ---[ 596]---> BDD-cost: 91 3.27/3.39 c ---[ 594]---> BDD-cost: 93 3.27/3.39 c ---[ 592]---> BDD-cost: 35 3.27/3.39 c ---[ 590]---> BDD-cost: 187 3.27/3.39 c ---[ 588]---> BDD-cost: 573 3.36/3.43 c ---[ 586]---> BDD-cost: 305 3.36/3.46 c ---[ 584]---> BDD-cost: 607 3.46/3.50 c ---[ 582]---> BDD-cost: 443 3.46/3.54 c ---[ 580]---> BDD-cost: 213 3.46/3.54 c ---[ 578]---> BDD-cost: 213 3.46/3.55 c ---[ 576]---> BDD-cost: 167 3.46/3.55 c ---[ 574]---> BDD-cost: 4 3.46/3.55 c ---[ 572]---> BDD-cost: 283 3.46/3.56 c ---[ 570]---> BDD-cost: 277 3.46/3.57 c ---[ 568]---> BDD-cost: 125 3.46/3.58 c ---[ 566]---> BDD-cost: 85 3.46/3.58 c ---[ 564]---> BDD-cost: 81 3.46/3.58 c ---[ 562]---> BDD-cost: 403 3.46/3.60 c ---[ 560]---> BDD-cost: 391 3.56/3.62 c ---[ 558]---> BDD-cost: 175 3.56/3.62 c ---[ 556]---> BDD-cost: 159 3.56/3.62 c ---[ 554]---> BDD-cost: 155 3.56/3.63 c ---[ 552]---> BDD-cost: 101 3.56/3.63 c ---[ 550]---> BDD-cost: 155 3.56/3.63 c ---[ 548]---> BDD-cost: 165 3.56/3.64 c ---[ 546]---> BDD-cost: 153 3.56/3.64 c ---[ 544]---> BDD-cost: 135 3.56/3.64 c ---[ 542]---> BDD-cost: 81 3.56/3.65 c ---[ 540]---> BDD-cost: 167 3.56/3.65 c ---[ 538]---> BDD-cost: 27 3.56/3.65 c ---[ 536]---> BDD-cost: 147 3.56/3.66 c ---[ 534]---> BDD-cost: 155 3.56/3.66 c ---[ 532]---> BDD-cost: 173 3.56/3.66 c ---[ 530]---> BDD-cost: 267 3.56/3.67 c ---[ 528]---> BDD-cost: 157 3.56/3.68 c ---[ 526]---> BDD-cost: 91 3.56/3.68 c ---[ 524]---> BDD-cost: 259 3.56/3.69 c ---[ 522]---> BDD-cost: 117 3.56/3.69 c ---[ 520]---> BDD-cost: 121 3.56/3.69 c ---[ 518]---> BDD-cost: 323 3.66/3.70 c ---[ 516]---> BDD-cost: 325 3.66/3.71 c ---[ 514]---> BDD-cost: 311 3.66/3.73 c ---[ 512]---> BDD-cost: 313 3.66/3.74 c ---[ 510]---> BDD-cost: 247 3.66/3.75 c ---[ 508]---> BDD-cost: 297 3.66/3.76 c ---[ 506]---> BDD-cost: 211 3.66/3.77 c ---[ 504]---> BDD-cost: 369 3.66/3.79 c ---[ 500]---> BDD-cost: 305 3.76/3.80 c ---[ 498]---> BDD-cost: 341 3.76/3.81 c ---[ 496]---> BDD-cost: 285 3.76/3.82 c ---[ 494]---> BDD-cost: 77 3.76/3.83 c ---[ 492]---> BDD-cost: 317 3.76/3.84 c ---[ 490]---> BDD-cost: 275 3.76/3.85 c ---[ 488]---> BDD-cost: 423 3.76/3.87 c ---[ 486]---> BDD-cost: 403 3.76/3.89 c ---[ 484]---> BDD-cost: 307 3.76/3.90 c ---[ 482]---> BDD-cost: 327 3.86/3.91 c ---[ 480]---> BDD-cost: 307 3.86/3.92 c ---[ 478]---> BDD-cost: 315 3.86/3.93 c ---[ 476]---> BDD-cost: 297 3.86/3.94 c ---[ 474]---> BDD-cost: 273 3.86/3.95 c ---[ 472]---> BDD-cost: 701 3.96/4.00 c ---[ 470]---> BDD-cost: 289 3.96/4.01 c ---[ 468]---> BDD-cost: 245 3.96/4.02 c ---[ 466]---> BDD-cost: 385 3.96/4.04 c ---[ 464]---> BDD-cost: 363 3.96/4.05 c ---[ 462]---> BDD-cost: 27 3.96/4.07 c ---[ 458]---> BDD-cost: 145 3.96/4.07 c ---[ 456]---> BDD-cost: 147 3.96/4.08 c ---[ 454]---> BDD-cost: 149 3.96/4.08 c ---[ 452]---> BDD-cost: 125 3.96/4.08 c ---[ 450]---> BDD-cost: 147 3.96/4.08 c ---[ 448]---> BDD-cost: 111 3.96/4.09 c ---[ 446]---> BDD-cost: 319 4.06/4.10 c ---[ 444]---> BDD-cost: 309 4.06/4.11 c ---[ 438]---> BDD-cost: 19 4.06/4.11 c ---[ 436]---> BDD-cost: 7 4.06/4.11 c ---[ 434]---> BDD-cost: 399 4.06/4.13 c ---[ 432]---> BDD-cost: 401 4.06/4.15 c ---[ 430]---> BDD-cost: 371 4.06/4.17 c ---[ 426]---> BDD-cost: 65 4.06/4.17 c ---[ 422]---> BDD-cost: 19 4.06/4.17 c ---[ 418]---> BDD-cost: 15 4.06/4.17 c ---[ 416]---> BDD-cost: 453 4.06/4.19 c ---[ 414]---> BDD-cost: 457 4.16/4.21 c ---[ 412]---> BDD-cost: 197 4.16/4.22 c ---[ 410]---> BDD-cost: 123 4.16/4.22 c ---[ 408]---> BDD-cost: 165 4.16/4.23 c ---[ 404]---> BDD-cost: 335 4.16/4.24 c ---[ 402]---> BDD-cost: 169 4.16/4.24 c ---[ 400]---> BDD-cost: 209 4.16/4.25 c ---[ 398]---> BDD-cost: 61 4.16/4.25 c ---[ 396]---> BDD-cost: 17 4.16/4.25 c ---[ 394]---> BDD-cost: 7 4.16/4.25 c ---[ 392]---> BDD-cost: 7 4.16/4.25 c ---[ 390]---> BDD-cost: 41 4.16/4.25 c ---[ 388]---> BDD-cost: 229 4.16/4.26 c ---[ 386]---> BDD-cost: 231 4.16/4.27 c ---[ 384]---> BDD-cost: 223 4.16/4.27 c ---[ 378]---> BDD-cost: 319 4.16/4.29 c ---[ 376]---> BDD-cost: 223 4.16/4.29 c ---[ 374]---> BDD-cost: 241 4.27/4.30 c ---[ 372]---> BDD-cost: 245 4.27/4.31 c ---[ 370]---> BDD-cost: 229 4.27/4.32 c ---[ 368]---> BDD-cost: 109 4.27/4.32 c ---[ 366]---> BDD-cost: 73 4.27/4.32 c ---[ 364]---> BDD-cost: 85 4.27/4.32 c ---[ 362]---> BDD-cost: 99 4.27/4.33 c ---[ 360]---> BDD-cost: 103 4.27/4.33 c ---[ 358]---> BDD-cost: 5 4.27/4.33 c ---[ 356]---> BDD-cost: 201 4.27/4.33 c ---[ 354]---> BDD-cost: 215 4.27/4.34 c ---[ 352]---> BDD-cost: 197 4.27/4.37 c ---[ 348]---> BDD-cost: 139 4.27/4.37 c ---[ 344]---> BDD-cost: 83 4.27/4.37 c ---[ 340]---> BDD-cost: 125 4.27/4.37 c ---[ 338]---> BDD-cost: 225 4.27/4.38 c ---[ 336]---> BDD-cost: 181 4.27/4.39 c ---[ 334]---> BDD-cost: 151 4.27/4.39 c ---[ 332]---> BDD-cost: 243 4.27/4.40 c ---[ 330]---> BDD-cost: 179 4.37/4.41 c ---[ 328]---> BDD-cost: 207 4.37/4.41 c ---[ 326]---> BDD-cost: 145 4.37/4.42 c ---[ 324]---> BDD-cost: 21 4.37/4.42 c ---[ 322]---> BDD-cost: 235 4.37/4.43 c ---[ 320]---> BDD-cost: 209 4.37/4.43 c ---[ 318]---> BDD-cost: 55 4.37/4.43 c ---[ 316]---> BDD-cost: 223 4.37/4.44 c ---[ 314]---> BDD-cost: 193 4.37/4.45 c ---[ 312]---> BDD-cost: 173 4.37/4.45 c ---[ 310]---> BDD-cost: 63 4.37/4.46 c ---[ 308]---> BDD-cost: 87 4.37/4.46 c ---[ 306]---> BDD-cost: 87 4.37/4.46 c ---[ 304]---> BDD-cost: 33 4.37/4.46 c ---[ 302]---> BDD-cost: 135 4.37/4.46 c ---[ 300]---> BDD-cost: 75 4.37/4.47 c ---[ 298]---> BDD-cost: 241 4.37/4.47 c ---[ 296]---> BDD-cost: 233 4.37/4.48 c ---[ 294]---> BDD-cost: 211 4.37/4.49 c ---[ 292]---> BDD-cost: 119 4.37/4.49 c ---[ 290]---> BDD-cost: 269 4.46/4.50 c ---[ 288]---> BDD-cost: 51 4.46/4.51 c ---[ 286]---> BDD-cost: 205 4.46/4.51 c ---[ 284]---> BDD-cost: 233 4.46/4.52 c ---[ 282]---> BDD-cost: 207 4.46/4.53 c ---[ 280]---> BDD-cost: 243 4.46/4.53 c ---[ 278]---> BDD-cost: 453 4.46/4.56 c ---[ 276]---> BDD-cost: 465 4.46/4.58 c ---[ 274]---> BDD-cost: 259 4.46/4.59 c ---[ 272]---> BDD-cost: 227 4.56/4.60 c ---[ 270]---> BDD-cost: 359 4.56/4.62 c ---[ 268]---> BDD-cost: 209 4.56/4.63 c ---[ 266]---> BDD-cost: 319 4.56/4.65 c ---[ 264]---> BDD-cost: 287 4.56/4.66 c ---[ 262]---> BDD-cost: 225 4.56/4.66 c ---[ 260]---> BDD-cost: 227 4.56/4.67 c ---[ 258]---> BDD-cost: 445 4.56/4.69 c ---[ 256]---> BDD-cost: 339 4.66/4.72 c ---[ 254]---> BDD-cost: 343 4.66/4.73 c ---[ 252]---> BDD-cost: 105 4.66/4.73 c ---[ 250]---> BDD-cost: 73 4.66/4.74 c ---[ 248]---> BDD-cost: 89 4.66/4.74 c ---[ 246]---> BDD-cost: 109 4.66/4.74 c ---[ 242]---> BDD-cost: 597 4.66/4.78 c ---[ 240]---> BDD-cost: 303 4.66/4.79 c ---[ 238]---> BDD-cost: 253 4.76/4.80 c ---[ 236]---> BDD-cost: 133 4.76/4.81 c ---[ 234]---> BDD-cost: 119 4.76/4.81 c ---[ 232]---> BDD-cost: 99 4.76/4.81 c ---[ 230]---> BDD-cost: 119 4.76/4.81 c ---[ 228]---> BDD-cost: 67 4.76/4.82 c ---[ 226]---> BDD-cost: 145 4.76/4.82 c ---[ 224]---> BDD-cost: 135 4.76/4.82 c ---[ 222]---> BDD-cost: 217 4.76/4.83 c ---[ 220]---> BDD-cost: 211 4.76/4.83 c ---[ 218]---> BDD-cost: 141 4.76/4.84 c ---[ 214]---> BDD-cost: 167 4.76/4.84 c ---[ 212]---> BDD-cost: 191 4.76/4.85 c ---[ 210]---> BDD-cost: 125 4.76/4.85 c ---[ 208]---> BDD-cost: 175 4.76/4.86 c ---[ 206]---> BDD-cost: 147 4.76/4.86 c ---[ 204]---> BDD-cost: 43 4.76/4.87 c ---[ 202]---> BDD-cost: 389 4.76/4.88 c ---[ 200]---> BDD-cost: 349 4.86/4.90 c ---[ 198]---> BDD-cost: 151 4.86/4.90 c ---[ 196]---> BDD-cost: 151 4.86/4.91 c ---[ 194]---> BDD-cost: 307 4.86/4.92 c ---[ 192]---> BDD-cost: 355 4.86/4.94 c ---[ 190]---> BDD-cost: 269 4.86/4.95 c ---[ 188]---> BDD-cost: 267 4.86/4.96 c ---[ 186]---> BDD-cost: 327 4.86/4.97 c ---[ 184]---> BDD-cost: 347 4.86/4.99 c ---[ 182]---> BDD-cost: 187 4.86/4.99 c ---[ 180]---> BDD-cost: 117 4.96/5.00 c ---[ 178]---> BDD-cost: 37 4.96/5.00 c ---[ 176]---> BDD-cost: 17 4.96/5.00 c ---[ 174]---> BDD-cost: 171 4.96/5.00 c ---[ 170]---> BDD-cost: 339 4.96/5.02 c ---[ 168]---> BDD-cost: 429 4.96/5.04 c ---[ 166]---> BDD-cost: 443 4.96/5.06 c ---[ 164]---> BDD-cost: 419 4.96/5.09 c ---[ 162]---> BDD-cost: 465 5.06/5.12 c ---[ 160]---> BDD-cost: 379 5.06/5.13 c ---[ 158]---> BDD-cost: 307 5.06/5.15 c ---[ 156]---> BDD-cost: 907 5.16/5.24 c ---[ 154]---> BDD-cost: 439 5.16/5.27 c ---[ 152]---> BDD-cost: 303 5.16/5.28 c ---[ 150]---> BDD-cost: 239 5.16/5.29 c ---[ 148]---> BDD-cost: 219 5.26/5.30 c ---[ 146]---> BDD-cost: 261 5.26/5.31 c ---[ 144]---> BDD-cost: 247 5.26/5.31 c ---[ 142]---> BDD-cost: 265 5.26/5.32 c ---[ 140]---> BDD-cost: 273 5.26/5.33 c ---[ 138]---> BDD-cost: 673 5.26/5.38 c ---[ 136]---> BDD-cost: 433 5.36/5.44 c ---[ 134]---> BDD-cost: 317 5.36/5.45 c ---[ 132]---> BDD-cost: 187 5.36/5.46 c ---[ 130]---> BDD-cost: 199 5.36/5.46 c ---[ 128]---> BDD-cost: 155 5.36/5.47 c ---[ 126]---> BDD-cost: 105 5.36/5.47 c ---[ 124]---> BDD-cost: 31 5.36/5.47 c ---[ 122]---> BDD-cost: 117 5.36/5.48 c ---[ 120]---> BDD-cost: 107 5.36/5.48 c ---[ 118]---> BDD-cost: 141 5.36/5.48 c ---[ 116]---> BDD-cost: 165 5.36/5.49 c ---[ 114]---> BDD-cost: 221 5.36/5.49 c ---[ 110]---> BDD-cost: 163 5.36/5.50 c ---[ 108]---> BDD-cost: 179 5.46/5.50 c ---[ 106]---> BDD-cost: 139 5.46/5.50 c ---[ 104]---> BDD-cost: 83 5.46/5.51 c ---[ 102]---> BDD-cost: 67 5.46/5.51 c ---[ 100]---> BDD-cost: 87 5.46/5.51 c ---[ 98]---> BDD-cost: 31 5.46/5.51 c ---[ 96]---> BDD-cost: 23 5.46/5.51 c ---[ 94]---> BDD-cost: 31 5.46/5.51 c ---[ 92]---> BDD-cost: 91 5.46/5.51 c ---[ 90]---> BDD-cost: 431 5.46/5.53 c ---[ 88]---> BDD-cost: 203 5.46/5.56 c ---[ 86]---> BDD-cost: 565 5.46/5.59 c ---[ 84]---> BDD-cost: 611 5.56/5.64 c ---[ 82]---> BDD-cost: 347 5.56/5.65 c ---[ 80]---> BDD-cost: 175 5.56/5.66 c ---[ 78]---> BDD-cost: 525 5.56/5.69 c ---[ 76]---> BDD-cost: 505 5.66/5.73 c ---[ 74]---> BDD-cost: 57 5.66/5.73 c ---[ 72]---> BDD-cost: 45 5.66/5.73 c ---[ 70]---> BDD-cost: 57 5.66/5.73 c ---[ 68]---> BDD-cost: 13 5.66/5.73 c ---[ 66]---> BDD-cost: 55 5.66/5.73 c ---[ 64]---> BDD-cost: 57 5.66/5.73 c ---[ 62]---> BDD-cost: 57 5.66/5.73 c ---[ 60]---> BDD-cost: 159 5.66/5.74 c ---[ 58]---> BDD-cost: 71 5.66/5.74 c ---[ 56]---> BDD-cost: 199 5.66/5.75 c ---[ 54]---> BDD-cost: 191 5.66/5.75 c ---[ 52]---> BDD-cost: 225 5.66/5.76 c ---[ 50]---> BDD-cost: 209 5.66/5.76 c ---[ 48]---> BDD-cost: 509 5.66/5.79 c ---[ 46]---> BDD-cost: 321 5.75/5.81 c ---[ 44]---> BDD-cost: 333 5.75/5.82 c ---[ 42]---> BDD-cost: 407 5.75/5.85 c ---[ 40]---> BDD-cost: 191 5.75/5.85 c ---[ 38]---> BDD-cost: 135 5.75/5.86 c ---[ 36]---> BDD-cost: 379 5.75/5.87 c ---[ 34]---> BDD-cost: 365 5.75/5.89 c ---[ 32]---> BDD-cost: 63 5.75/5.89 c ---[ 30]---> BDD-cost: 31 5.75/5.90 c ---[ 28]---> BDD-cost: 33 5.75/5.90 c ---[ 26]---> BDD-cost: 27 5.75/5.90 c ---[ 24]---> BDD-cost: 15 5.75/5.90 c ---[ 22]---> BDD-cost: 17 5.85/5.90 c ---[ 20]---> BDD-cost: 31 5.85/5.90 c ---[ 18]---> BDD-cost: 47 5.85/5.90 c ---[ 16]---> BDD-cost: 139 5.85/5.90 c ---[ 14]---> BDD-cost: 9 5.85/5.90 c ---[ 12]---> BDD-cost: 135 5.85/5.91 c ---[ 10]---> BDD-cost: 99 5.85/5.91 c ---[ 8]---> BDD-cost: 53 5.85/5.91 c ---[ 6]---> BDD-cost: 129 5.85/5.91 c ---[ 4]---> BDD-cost: 7 5.85/5.92 c ---[ 2]---> BDD-cost: 119 5.85/5.92 c ---[ 0]---> BDD-cost: 85 6.06/6.17 c ==================================[MINISAT+]================================== 6.06/6.17 c | Conflicts | Original | Learnt | Progress | 6.06/6.17 c | | Clauses Literals | Max Clauses Literals LPC | | 6.06/6.17 c ============================================================================== 6.06/6.17 c | 0 | 297923 775365 | 99307 0 0 nan | 0.000 % | 6.25/6.32 c | 101 | 297806 775070 | 109237 100 2794 27.9 | 0.656 % | 6.45/6.50 c | 251 | 297804 775064 | 120161 248 14520 58.5 | 0.657 % | 6.65/6.78 c | 476 | 297507 774267 | 132177 467 22948 49.1 | 0.710 % | 7.15/7.28 c | 813 | 297152 773365 | 145395 797 35416 44.4 | 0.754 % | 7.76/7.88 c | 1319 | 296676 772113 | 159934 1277 64842 50.8 | 0.837 % | 8.76/8.87 c | 2078 | 296505 771647 | 175928 2025 118379 58.5 | 0.874 % | 10.35/10.45 c | 3217 | 296041 770425 | 193521 3109 207452 66.7 | 0.949 % | 12.55/12.62 c | 4927 | 295699 769540 | 212873 4779 350269 73.3 | 0.998 % | 15.93/16.05 c | 7492 | 295396 768750 | 234160 7275 566032 77.8 | 1.037 % | 21.72/21.88 c | 11337 | 294904 767451 | 257576 10971 954090 87.0 | 1.105 % | 30.59/30.73 c | 17103 | 294446 766278 | 283334 16577 1527497 92.1 | 1.145 % | 45.58/45.78 c | 25754 | 293444 763687 | 311667 24858 2532372 101.9 | 1.262 % | 69.65/69.84 c | 38729 | 292783 762005 | 342834 37493 4503970 120.1 | 1.316 % | 116.54/116.73 c | 58190 | 291850 759627 | 377118 56625 8594924 151.8 | 1.423 % | 204.82/205.02 c | 87385 | 291219 758027 | 414829 85473 17541788 205.2 | 1.468 % | 373.08/373.39 c | 131174 | 290745 756834 | 456312 129003 33973834 263.4 | 1.502 % | 632.21/632.55 c ============================================================================== 632.21/632.55 c [1mFound solution: 7977[0m 632.21/632.55 o 7977 632.42/632.70 c ---[ 0]---> Adder-cost: 49660 maxlim: 488342 bits: 19/19 640.51/640.80 c ==================================[MINISAT+]================================== 640.51/640.80 c | Conflicts | Original | Learnt | Progress | 640.51/640.80 c | | Clauses Literals | Max Clauses Literals LPC | | 640.51/640.80 c ============================================================================== 640.51/640.80 c | 184784 | 637828 1996913 | 212609 182482 58611916 321.2 | 1.502 % | 641.31/641.69 c | 184888 | 637828 1996913 | 233869 182586 58637586 321.2 | 1.117 % | 642.21/642.58 c | 185038 | 637828 1996913 | 257256 182736 58693296 321.2 | 1.117 % | 644.71/645.06 c | 185266 | 637656 1996381 | 282982 182911 58810812 321.5 | 1.122 % | 647.41/647.77 c | 185606 | 637656 1996381 | 311280 183251 58966937 321.8 | 1.122 % | 650.71/651.02 c | 186112 | 637656 1996381 | 342408 183757 59128173 321.8 | 1.122 % | 656.90/657.23 c | 186873 | 637656 1996381 | 376649 184518 59527012 322.6 | 1.122 % | 664.31/664.69 c | 188015 | 637656 1996381 | 414314 185660 60129210 323.9 | 1.122 % | 676.10/676.48 c | 189723 | 637656 1996381 | 455746 187368 60870816 324.9 | 1.122 % | 695.69/696.06 c | 192285 | 637656 1996381 | 501320 189930 62314139 328.1 | 1.122 % | 725.19/725.51 c | 196129 | 637656 1996381 | 551452 193774 64153958 331.1 | 1.122 % | 766.58/766.97 c | 201899 | 637656 1996381 | 606598 199544 67157013 336.6 | 1.122 % | 827.36/827.72 c | 210551 | 637629 1996298 | 667258 208180 70951469 340.8 | 1.123 % | 926.84/927.21 c | 223530 | 637573 1996123 | 733983 221146 77173820 349.0 | 1.124 % | 1085.20/1085.67 c | 242993 | 637202 1995006 | 807382 240456 88225216 366.9 | 1.144 % | 1119.19/1119.63 c ============================================================================== 1119.19/1119.63 c [1mFound solution: 7937[0m 1119.19/1119.63 o 7937 1119.29/1119.80 c ---[ 0]---> Adder-cost: 33136 maxlim: 486990 bits: 19/19 1127.59/1128.03 c ==================================[MINISAT+]================================== 1127.59/1128.03 c | Conflicts | Original | Learnt | Progress | 1127.59/1128.03 c | | Clauses Literals | Max Clauses Literals LPC | | 1127.59/1128.03 c ============================================================================== 1127.59/1128.03 c | 247162 | 869035 2823045 | 289678 244607 90566997 370.3 | 1.144 % | 1128.59/1129.04 c | 247262 | 869035 2823045 | 318645 244707 90578887 370.2 | 0.972 % | 1130.09/1130.55 c | 247413 | 869035 2823045 | 350510 244858 90668384 370.3 | 0.972 % | 1132.39/1132.84 c | 247638 | 869035 2823045 | 385561 245083 90727654 370.2 | 0.972 % | 1134.98/1135.45 c | 247978 | 868879 2822557 | 424117 245386 90769226 369.9 | 0.975 % | 1139.28/1139.71 c | 248484 | 868879 2822557 | 466529 245892 90972778 370.0 | 0.975 % | 1147.18/1147.60 c | 249244 | 868845 2822451 | 513182 246640 91224691 369.9 | 0.975 % | 1160.18/1160.65 c | 250385 | 868845 2822451 | 564500 247781 91824025 370.6 | 0.975 % | 1176.37/1176.88 c | 252093 | 868821 2822377 | 620950 249483 92520425 370.8 | 0.976 % | 1202.37/1202.87 c | 254660 | 868554 2821532 | 683045 250305 93556808 373.8 | 0.983 % | 1236.36/1236.82 c | 258504 | 868554 2821532 | 751350 254149 95710779 376.6 | 0.983 % | 1294.35/1294.81 c | 264271 | 868468 2821268 | 826485 259900 99787527 383.9 | 0.985 % | 1404.31/1404.85 c | 272920 | 868406 2821078 | 909133 268532 105331259 392.2 | 0.986 % | 1543.98/1544.57 c | 285897 | 868332 2820849 | 1000047 281484 113554918 403.4 | 0.988 % | 1693.35/1693.98 c ============================================================================== 1693.35/1693.98 c [1mFound solution: 7817[0m 1693.35/1693.98 o 7817 1693.55/1694.14 c ---[ 0]---> Adder-cost: 28940 maxlim: 485744 bits: 19/19 1701.34/1701.92 c ==================================[MINISAT+]================================== 1701.34/1701.92 c | Conflicts | Original | Learnt | Progress | 1701.34/1701.92 c | | Clauses Literals | Max Clauses Literals LPC | | 1701.34/1701.92 c ============================================================================== 1701.34/1701.92 c | 299276 | 1070780 3543908 | 356926 294845 123709177 419.6 | 0.988 % | 1702.75/1703.31 c | 299376 | 1070780 3543908 | 392618 294945 123720120 419.5 | 0.878 % | 1705.25/1705.81 c | 299528 | 1070660 3543533 | 431880 295029 123770769 419.5 | 0.883 % | 1707.44/1708.04 c | 299754 | 1070660 3543533 | 475068 295255 123851704 419.5 | 0.883 % | 1711.84/1712.42 c | 300092 | 1070660 3543533 | 522575 295593 124041934 419.6 | 0.883 % | 1717.94/1718.57 c | 300600 | 1070660 3543533 | 574832 296101 124225283 419.5 | 0.883 % | 1727.14/1727.75 c | 301360 | 1070660 3543533 | 632316 296861 124641974 419.9 | 0.883 % | 1741.73/1742.31 c | 302502 | 1070660 3543533 | 695547 298003 125342816 420.6 | 0.883 % | 1762.53/1763.15 c | 304211 | 1070660 3543533 | 765102 299712 126334748 421.5 | 0.883 % | 1788.92/1789.53 c | 306773 | 1070624 3543422 | 841612 302265 127640335 422.3 | 0.883 % | 1800.03/1800.60 c 1800.03/1800.60 c *** TERMINATED *** 1800.03/1800.60 s SATISFIABLE 1800.03/1800.60 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 1800.03/1800.60 v 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 1800.03/1800.60 v -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 1800.03/1800.60 v -x87 x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 x107 -x108 -x109 -x110 1800.03/1800.60 v -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 1800.03/1800.60 v -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 1800.03/1800.60 v -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 1800.03/1800.60 v -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 1800.03/1800.60 v -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 1800.03/1800.60 v -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 1800.03/1800.60 v -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 1800.03/1800.60 v -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 1800.03/1800.60 v -x279 -x280 -x281 -x282 x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 1800.03/1800.60 v -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 1800.03/1800.60 v -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 1800.03/1800.60 v -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 x358 -x359 x360 -x361 -x362 1800.03/1800.60 v -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 1800.03/1800.60 v -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 1800.03/1800.60 v -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 1800.03/1800.60 v -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 1800.03/1800.60 v -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 1800.03/1800.60 v -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 1800.03/1800.60 v -x489 -x490 -x491 x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 1800.03/1800.60 v -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 1800.03/1800.60 v -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 1800.03/1800.60 v -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 1800.03/1800.60 v -x573 -x574 -x575 -x576 x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 1800.03/1800.60 v -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 x609 -x610 -x611 -x612 -x613 -x614 1800.03/1800.60 v -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 1800.03/1800.60 v -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 1800.03/1800.60 v -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 1800.03/1800.60 v -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 1800.03/1800.60 v -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 x716 -x717 -x718 -x719 1800.03/1800.60 v -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 1800.03/1800.60 v -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 1800.03/1800.60 v -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 1800.03/1800.60 v -x783 -x784 -x785 x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 x800 -x801 -x802 -x803 1800.03/1800.60 v x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 1800.03/1800.60 v -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 1800.03/1800.60 v -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 1800.03/1800.60 v -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 1800.03/1800.60 v -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 1800.03/1800.60 v -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 1800.03/1800.60 v -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 1800.03/1800.60 v -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 1800.03/1800.60 v -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 1800.03/1800.60 v -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 1800.03/1800.60 v -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 1800.03/1800.60 v -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 1800.03/1800.60 v -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 1800.03/1800.60 v -x1062 -x1063 -x1064 -x1065 x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 1800.03/1800.60 v -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 1800.03/1800.60 v -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 1800.03/1800.60 v -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 1800.03/1800.60 v -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 1800.03/1800.60 v -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 1800.03/1800.60 v -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 1800.03/1800.60 v -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 1800.03/1800.60 v -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 1800.03/1800.60 v -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 1800.03/1800.60 v -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 1800.03/1800.60 v -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 1800.03/1800.60 v -x1266 -x1267 -x1268 -x1269 -x1270 x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 1800.03/1800.60 v -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 1800.03/1800.60 v -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 1800.03/1800.60 v -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 1800.03/1800.60 v -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 1800.03/1800.60 v -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 1800.03/1800.60 v -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 1800.03/1800.60 v -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 1800.03/1800.60 v -x1402 -x1403 -x1404 -x1405 x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 x1417 -x1418 -x1419 1800.03/1800.60 v -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 x1435 -x1436 1800.03/1800.60 v -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 1800.03/1800.60 v -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 1800.03/1800.60 v -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 1800.03/1800.60 v -x1488 -x1489 -x1490 x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 1800.03/1800.60 v -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 1800.03/1800.60 v -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 1800.03/1800.60 v -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 x1555 1800.03/1800.60 v -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 1800.03/1800.60 v -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 1800.03/1800.60 v -x1590 x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 1800.03/1800.60 v -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 1800.03/1800.60 v x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 1800.03/1800.60 v -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 1800.03/1800.60 v -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 1800.03/1800.60 v -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 1800.03/1800.60 v -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 1800.03/1800.60 v -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 1800.03/1800.60 v -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 1800.03/1800.60 v -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 1800.03/1800.60 v -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 1800.03/1800.60 v -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 1800.03/1800.60 v -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 1800.03/1800.60 v -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 1800.03/1800.60 v -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 x1844 1800.03/1800.60 v -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 1800.03/1800.60 v -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 1800.03/1800.60 v -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 1800.03/1800.60 v -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 1800.03/1800.60 v -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 x1926 -x1927 -x1928 -x1929 1800.03/1800.60 v -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 1800.03/1800.60 v -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 1800.03/1800.60 v -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 1800.03/1800.60 v -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 1800.03/1800.60 v -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 1800.03/1800.60 v -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 x2029 -x2030 -x2031 1800.03/1800.60 v -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 1800.03/1800.60 v -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 1800.03/1800.60 v -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 1800.03/1800.60 v -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 1800.03/1800.60 v -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 1800.03/1800.60 v -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 1800.03/1800.60 v -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 1800.03/1800.60 v -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 x2166 -x2167 1800.03/1800.60 v -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 1800.03/1800.60 v -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 1800.03/1800.60 v -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 1800.03/1800.60 v -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 1800.03/1800.60 v -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 1800.03/1800.60 v -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 1800.03/1800.60 v -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 1800.03/1800.60 v -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 1800.03/1800.60 v -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 1800.03/1800.60 v -x2321 -x2322 -x2323 -x2324 -x2325 x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 1800.03/1800.60 v -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 x2353 -x2354 1800.03/1800.60 v -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 1800.03/1800.60 v -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 1800.03/1800.60 v -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 1800.03/1800.60 v -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 1800.03/1800.60 v -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 1800.03/1800.60 v -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 1800.03/1800.60 v -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 1800.03/1800.60 v -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 1800.03/1800.60 v -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 1800.03/1800.60 v -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 1800.03/1800.60 v -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 1800.03/1800.60 v -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 1800.03/1800.60 v -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 1800.03/1800.60 v -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 1800.03/1800.60 v -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 1800.03/1800.60 v -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 1800.03/1800.60 v -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 1800.03/1800.60 v -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 1800.03/1800.60 v -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 1800.03/1800.60 v -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 1800.03/1800.60 v -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 1800.03/1800.60 v -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 1800.03/1800.60 v -x2729 -x2730 x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 1800.03/1800.60 v -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 x2762 1800.03/1800.60 v -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 1800.03/1800.60 v -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 1800.03/1800.60 v -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 1800.03/1800.60 v -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 1800.03/1800.60 v -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 1800.03/1800.60 v -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 1800.03/1800.60 v -x2865 x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 1800.03/1800.60 v -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 1800.03/1800.60 v -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 1800.03/1800.60 v -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 1800.03/1800.60 v -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 1800.03/1800.60 v -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 1800.03/1800.60 v -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 1800.03/1800.60 v -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 1800.03/1800.60 v -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 1800.03/1800.60 v -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 1800.03/1800.60 v -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 1800.03/1800.60 v -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 1800.03/1800.60 v -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 1800.03/1800.60 v -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 1800.03/1800.60 v -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 x3115 -x3116 -x3117 -x3118 -x3119 1800.03/1800.60 v -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 1800.03/1800.60 v -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 1800.03/1800.60 v -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 x3170 1800.03/1800.60 v -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 1800.03/1800.60 v -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 1800.03/1800.60 v -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 1800.03/1800.60 v -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 1800.03/1800.60 v -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 1800.03/1800.60 v -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 1800.03/1800.60 v -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 1800.03/1800.60 v -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 1800.03/1800.60 v -x3307 -x3308 -x3309 -x3310 -x3311 x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 1800.03/1800.60 v -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 1800.03/1800.60 v -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 1800.03/1800.60 v -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 1800.03/1800.60 v -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 1800.03/1800.60 v -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 1800.03/1800.60 v -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 1800.03/1800.60 v -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 1800.03/1800.60 v -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 x3457 -x3458 -x3459 1800.03/1800.60 v -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 1800.03/1800.60 v -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 1800.03/1800.60 v -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 1800.03/1800.60 v -x3511 -x3512 -x3513 x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 1800.03/1800.60 v -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 1800.03/1800.60 v -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 1800.03/1800.60 v -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 1800.03/1800.60 v -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 1800.03/1800.60 v -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 1800.03/1800.60 v -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 1800.03/1800.60 v -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 x3644 -x3645 -x3646 1800.03/1800.60 v -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 1800.03/1800.60 v -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 1800.03/1800.60 v -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 1800.03/1800.60 v -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 1800.03/1800.60 v -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 1800.03/1800.60 v -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 1800.03/1800.60 v -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 1800.03/1800.60 v -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 1800.03/1800.60 v -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 1800.03/1800.60 v -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 1800.03/1800.60 v -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 x3828 -x3829 -x3830 -x3831 -x3832 -x3833 1800.03/1800.60 v -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 1800.03/1800.60 v -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 1800.03/1800.60 v -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 1800.03/1800.60 v -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 1800.03/1800.60 v -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 1800.03/1800.60 v -x3919 -x3920 -x3921 -x3922 -x3923 x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 1800.03/1800.60 v -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 1800.03/1800.60 v -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 1800.03/1800.60 v -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 1800.03/1800.60 v -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 1800.03/1800.60 v -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 1800.03/1800.60 v -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 1800.03/1800.60 v -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 1800.03/1800.60 v -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 1800.03/1800.60 v -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 1800.03/1800.60 v -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 1800.03/1800.60 v -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 1800.03/1800.60 v -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 1800.03/1800.60 v -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 1800.03/1800.60 v -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 1800.03/1800.60 v -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 1800.03/1800.60 v -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 x4198 -x4199 -x4200 x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 1800.03/1800.60 v -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 1800.03/1800.60 v -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 1800.03/1800.60 v -x4243 x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 1800.03/1800.60 v -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 1800.03/1800.60 v -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 1800.03/1800.60 v -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 1800.03/1800.60 v -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 1800.03/1800.60 v -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 1800.03/1800.60 v -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 1800.03/1800.60 v -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 1800.03/1800.60 v -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4390 -x4391 -x4392 -x4393 -x4394 -x4395 1800.03/1800.60 v -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x4410 -x4411 -x4412 1800.03/1800.60 v -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 1800.03/1800.60 v -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 1800.03/1800.60 v -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 1800.03/1800.60 v -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x4470 -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 -x4480 1800.03/1800.60 v -x4481 -x4482 -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 1800.03/1800.60 v -x4498 -x4499 -x4500 -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4510 -x4511 -x4512 -x4513 -x4514 1800.03/1800.60 v -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4524 -x4525 -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 1800.03/1800.60 v -x4532 -x4533 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 1800.03/1800.60 v -x4549 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 -x4559 -x4560 -x4561 -x4562 -x4563 -x4564 -x4565 1800.03/1800.60 v -x4566 -x4567 -x4568 -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x4580 -x4581 -x4582 1800.03/1800.60 v -x4583 -x4584 -x4585 -x4586 x4587 -x4588 -x4589 -x4590 -x4591 -x4592 -x4593 -x4594 -x4595 -x4596 x4597 -x4598 -x4599 -x4600 1800.03/1800.60 v -x4601 -x4602 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x4610 -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 1800.03/1800.60 v -x4618 -x4619 -x4620 -x4621 -x4622 -x4623 -x4624 -x4625 -x4626 -x4627 -x4628 -x4629 -x4630 x4631 -x4632 -x4633 -x4634 1800.03/1800.60 v -x4635 -x4636 -x4637 -x4638 -x4639 -x4640 -x4641 -x4642 -x4643 -x4644 -x4645 -x4646 -x4647 -x4648 -x4649 -x4650 -x4651 1800.03/1800.60 v -x4652 -x4653 -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 -x4660 -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4667 -x4668 1800.03/1800.60 v -x4669 -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 -x4677 -x4678 -x4679 -x4680 -x4681 -x4682 -x4683 -x4684 -x4685 1800.03/1800.60 v -x4686 -x4687 -x4688 -x4689 -x4690 -x4691 -x4692 -x4693 -x4694 -x4695 -x4696 -x4697 -x4698 -x4699 -x4700 -x4701 -x4702 1800.03/1800.60 v -x4703 -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4710 -x4711 -x4712 -x4713 -x4714 -x4715 -x4716 -x4717 -x4718 -x4719 1800.03/1800.60 v -x4720 -x4721 -x4722 -x4723 -x4724 -x4725 -x4726 -x4727 -x4728 -x4729 -x4730 -x4731 -x4732 -x4733 -x4734 -x4735 -x4736 1800.03/1800.60 v -x4737 -x4738 -x4739 -x4740 -x4741 -x4742 -x4743 -x4744 -x4745 -x4746 -x4747 -x4748 -x4749 -x4750 -x4751 -x4752 -x4753 1800.03/1800.60 v -x4754 -x4755 -x4756 -x4757 -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 -x4769 -x4770 1800.03/1800.60 v -x4771 -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 -x4779 -x4780 -x4781 -x4782 -x4783 -x4784 -x4785 -x4786 -x4787 1800.03/1800.60 v -x4788 -x4789 -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 -x4798 -x4799 -x4800 -x4801 -x4802 -x4803 -x4804 1800.03/1800.60 v -x4805 -x4806 -x4807 -x4808 -x4809 -x4810 -x4811 -x4812 -x4813 -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 -x4820 x4821 1800.03/1800.60 v -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 -x4828 -x4829 -x4830 -x4831 -x4832 -x4833 -x4834 -x4835 -x4836 -x4837 -x4838 1800.03/1800.60 v -x4839 -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 -x4846 -x4847 -x4848 -x4849 -x4850 -x4851 -x4852 -x4853 -x4854 -x4855 1800.03/1800.60 v -x4856 -x4857 -x4858 -x4859 -x4860 -x4861 -x4862 -x4863 -x4864 -x4865 -x4866 -x4867 -x4868 -x4869 -x4870 -x4871 -x4872 1800.03/1800.60 v -x4873 -x4874 -x4875 -x4876 -x4877 -x4878 -x4879 -x4880 -x4881 -x4882 -x4883 -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 1800.03/1800.60 v -x4890 x4891 -x4892 -x4893 x4894 -x4895 -x4896 -x4897 -x4898 -x4899 -x4900 -x4901 -x4902 -x4903 -x4904 -x4905 -x4906 -x4907 1800.03/1800.60 v -x4908 -x4909 -x4910 -x4911 -x4912 -x4913 -x4914 -x4915 -x4916 -x4917 -x4918 -x4919 -x4920 -x4921 -x4922 -x4923 -x4924 1800.03/1800.60 v -x4925 -x4926 -x4927 -x4928 -x4929 -x4930 -x4931 -x4932 -x4933 -x4934 -x4935 -x4936 -x4937 -x4938 -x4939 -x4940 -x4941 1800.03/1800.60 v -x4942 -x4943 -x4944 -x4945 -x4946 -x4947 -x4948 -x4949 -x4950 -x4951 -x4952 -x4953 -x4954 -x4955 -x4956 -x4957 -x4958 1800.03/1800.60 v -x4959 -x4960 -x4961 x4962 -x4963 -x4964 -x4965 -x4966 -x4967 -x4968 -x4969 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 1800.03/1800.60 v -x4976 -x4977 -x4978 -x4979 -x4980 -x4981 -x4982 -x4983 -x4984 -x4985 -x4986 -x4987 -x4988 -x4989 -x4990 -x4991 -x4992 1800.03/1800.60 v -x4993 -x4994 -x4995 -x4996 -x4997 -x4998 -x4999 -x5000 -x5001 -x5002 -x5003 -x5004 -x5005 -x5006 -x5007 -x5008 -x5009 1800.03/1800.60 v -x5010 -x5011 -x5012 -x5013 -x5014 -x5015 -x5016 -x5017 -x5018 -x5019 -x5020 -x5021 -x5022 -x5023 -x5024 -x5025 -x5026 1800.03/1800.60 v -x5027 -x5028 -x5029 -x5030 -x5031 -x5032 -x5033 -x5034 -x5035 -x5036 -x5037 -x5038 -x5039 -x5040 -x5041 -x5042 -x5043 1800.03/1800.60 v -x5044 -x5045 -x5046 -x5047 -x5048 -x5049 -x5050 -x5051 -x5052 -x5053 -x5054 -x5055 -x5056 -x5057 -x5058 -x5059 -x5060 1800.03/1800.60 v -x5061 -x5062 -x5063 -x5064 -x5065 -x5066 -x5067 -x5068 -x5069 -x5070 -x5071 -x5072 -x5073 -x5074 -x5075 -x5076 -x5077 1800.03/1800.60 v -x5078 -x5079 -x5080 -x5081 -x5082 -x5083 -x5084 -x5085 -x5086 -x5087 -x5088 -x5089 -x5090 -x5091 -x5092 -x5093 -x5094 1800.03/1800.60 v -x5095 -x5096 -x5097 -x5098 -x5099 -x5100 -x5101 -x5102 -x5103 -x5104 -x5105 -x5106 -x5107 -x5108 -x5109 -x5110 -x5111 1800.03/1800.60 v -x5112 -x5113 -x5114 -x5115 -x5116 -x5117 -x5118 -x5119 -x5120 -x5121 -x5122 -x5123 -x5124 -x5125 -x5126 -x5127 -x5128 1800.03/1800.60 v -x5129 -x5130 -x5131 -x5132 -x5133 -x5134 -x5135 -x5136 -x5137 -x5138 -x5139 -x5140 -x5141 -x5142 -x5143 -x5144 -x5145 1800.03/1800.60 v -x5146 -x5147 -x5148 -x5149 -x5150 -x5151 -x5152 -x5153 -x5154 -x5155 -x5156 -x5157 -x5158 -x5159 -x5160 -x5161 -x5162 1800.03/1800.60 v -x5163 -x5164 -x5165 -x5166 -x5167 -x5168 -x5169 -x5170 -x5171 -x5172 -x5173 -x5174 -x5175 -x5176 -x5177 -x5178 -x5179 1800.03/1800.60 v -x5180 -x5181 -x5182 -x5183 -x5184 -x5185 -x5186 -x5187 -x5188 -x5189 -x5190 -x5191 -x5192 -x5193 -x5194 -x5195 -x5196 1800.03/1800.60 v -x5197 -x5198 -x5199 -x5200 -x5201 -x5202 -x5203 -x5204 -x5205 -x5206 -x5207 -x5208 -x5209 -x5210 -x5211 -x5212 -x5213 1800.03/1800.60 v -x5214 -x5215 -x5216 -x5217 -x5218 -x5219 -x5220 -x5221 -x5222 -x5223 -x5224 -x5225 -x5226 -x5227 -x5228 -x5229 -x5230 1800.03/1800.60 v -x5231 -x5232 -x5233 -x5234 -x5235 -x5236 -x5237 -x5238 -x5239 -x5240 -x5241 -x5242 -x5243 x5244 -x5245 -x5246 -x5247 1800.03/1800.60 v -x5248 -x5249 -x5250 -x5251 -x5252 -x5253 -x5254 -x5255 -x5256 -x5257 -x5258 -x5259 -x5260 -x5261 -x5262 -x5263 -x5264 1800.03/1800.60 v -x5265 -x5266 -x5267 -x5268 -x5269 -x5270 -x5271 -x5272 -x5273 -x5274 -x5275 -x5276 x5277 -x5278 -x5279 -x5280 -x5281 1800.03/1800.60 v -x5282 -x5283 -x5284 -x5285 -x5286 -x5287 -x5288 -x5289 -x5290 -x5291 -x5292 -x5293 -x5294 -x5295 -x5296 -x5297 -x5298 1800.03/1800.60 v -x5299 -x5300 -x5301 -x5302 -x5303 -x5304 -x5305 -x5306 -x5307 -x5308 -x5309 -x5310 -x5311 -x5312 -x5313 -x5314 -x5315 1800.03/1800.60 v -x5316 -x5317 -x5318 -x5319 -x5320 -x5321 -x5322 -x5323 -x5324 -x5325 -x5326 -x5327 -x5328 -x5329 -x5330 -x5331 -x5332 1800.03/1800.60 v -x5333 -x5334 -x5335 -x5336 -x5337 -x5338 -x5339 -x5340 -x5341 -x5342 -x5343 -x5344 -x5345 -x5346 -x5347 -x5348 -x5349 1800.03/1800.60 v -x5350 -x5351 -x5352 -x5353 -x5354 -x5355 -x5356 -x5357 -x5358 -x5359 -x5360 -x5361 -x5362 -x5363 -x5364 -x5365 -x5366 1800.03/1800.60 v -x5367 -x5368 -x5369 -x5370 -x5371 -x5372 -x5373 -x5374 -x5375 -x5376 -x5377 -x5378 -x5379 -x5380 -x5381 -x5382 -x5383 1800.03/1800.60 v -x5384 -x5385 -x5386 -x5387 -x5388 -x5389 -x5390 -x5391 -x5392 -x5393 -x5394 -x5395 -x5396 -x5397 -x5398 -x5399 -x5400 1800.03/1800.60 v -x5401 -x5402 -x5403 -x5404 -x5405 -x5406 -x5407 -x5408 -x5409 -x5410 -x5411 -x5412 -x5413 -x5414 -x5415 -x5416 -x5417 1800.03/1800.60 v -x5418 -x5419 -x5420 -x5421 -x5422 -x5423 -x5424 -x5425 -x5426 -x5427 -x5428 -x5429 -x5430 -x5431 -x5432 -x5433 -x5434 1800.03/1800.60 v -x5435 -x5436 -x5437 -x5438 -x5439 -x5440 -x5441 -x5442 -x5443 -x5444 -x5445 -x5446 -x5447 -x5448 -x5449 -x5450 -x5451 1800.03/1800.60 v -x5452 -x5453 -x5454 -x5455 -x5456 -x5457 -x5458 -x5459 -x5460 -x5461 -x5462 -x5463 -x5464 -x5465 -x5466 -x5467 -x5468 1800.03/1800.60 v -x5469 -x5470 -x5471 -x5472 -x5473 -x5474 -x5475 -x5476 -x5477 -x5478 -x5479 -x5480 -x5481 -x5482 -x5483 -x5484 -x5485 1800.03/1800.60 v -x5486 -x5487 -x5488 -x5489 -x5490 -x5491 -x5492 -x5493 -x5494 -x5495 -x5496 -x5497 -x5498 -x5499 -x5500 -x5501 -x5502 1800.03/1800.60 v -x5503 -x5504 -x5505 -x5506 -x5507 -x5508 -x5509 -x5510 -x5511 -x5512 -x5513 -x5514 -x5515 -x5516 -x5517 -x5518 -x5519 1800.03/1800.60 v -x5520 -x5521 -x5522 -x5523 -x5524 x5525 -x5526 -x5527 -x5528 -x5529 -x5530 -x5531 -x5532 -x5533 -x5534 -x5535 -x5536 1800.03/1800.60 v -x5537 -x5538 -x5539 -x5540 -x5541 -x5542 -x5543 -x5544 -x5545 -x5546 -x5547 -x5548 -x5549 -x5550 -x5551 -x5552 -x5553 1800.03/1800.60 v -x5554 -x5555 -x5556 -x5557 -x5558 -x5559 -x5560 -x5561 -x5562 -x5563 -x5564 -x5565 -x5566 -x5567 -x5568 -x5569 -x5570 1800.03/1800.60 v -x5571 -x5572 -x5573 -x5574 -x5575 -x5576 -x5577 -x5578 -x5579 -x5580 -x5581 -x5582 x5583 -x5584 -x5585 -x5586 -x5587 1800.03/1800.60 v -x5588 -x5589 -x5590 -x5591 -x5592 -x5593 -x5594 -x5595 -x5596 -x5597 -x5598 -x5599 -x5600 -x5601 -x5602 -x5603 -x5604 1800.03/1800.60 v -x5605 -x5606 -x5607 -x5608 -x5609 -x5610 -x5611 -x5612 -x5613 -x5614 -x5615 -x5616 -x5617 -x5618 -x5619 -x5620 -x5621 1800.03/1800.60 v -x5622 -x5623 -x5624 -x5625 -x5626 -x5627 -x5628 -x5629 -x5630 -x5631 -x5632 -x5633 -x5634 -x5635 -x5636 -x5637 -x5638 1800.03/1800.60 v -x5639 -x5640 -x5641 -x5642 -x5643 -x5644 -x5645 -x5646 -x5647 -x5648 -x5649 -x5650 -x5651 -x5652 -x5653 -x5654 -x5655 1800.03/1800.60 v -x5656 -x5657 -x5658 -x5659 -x5660 -x5661 -x5662 -x5663 -x5664 -x5665 -x5666 -x5667 -x5668 -x5669 -x5670 -x5671 -x5672 1800.03/1800.60 v -x5673 -x5674 -x5675 -x5676 -x5677 -x5678 -x5679 -x5680 x5681 -x5682 -x5683 -x5684 -x5685 -x5686 -x5687 -x5688 -x5689 1800.03/1800.60 v -x5690 -x5691 -x5692 -x5693 -x5694 -x5695 -x5696 -x5697 -x5698 -x5699 -x5700 -x5701 -x5702 -x5703 -x5704 -x5705 -x5706 1800.03/1800.60 v -x5707 -x5708 -x5709 -x5710 -x5711 -x5712 -x5713 -x5714 x5715 -x5716 -x5717 -x5718 -x5719 -x5720 -x5721 -x5722 -x5723 1800.03/1800.60 v -x5724 -x5725 -x5726 -x5727 -x5728 -x5729 -x5730 -x5731 x5732 -x5733 -x5734 -x5735 -x5736 -x5737 -x5738 -x5739 -x5740 1800.03/1800.60 v -x5741 -x5742 -x5743 -x5744 -x5745 -x5746 -x5747 -x5748 -x5749 -x5750 -x5751 -x5752 -x5753 -x5754 -x5755 -x5756 -x5757 1800.03/1800.60 v -x5758 -x5759 -x5760 -x5761 -x5762 -x5763 -x5764 -x5765 -x5766 -x5767 -x5768 -x5769 -x5770 -x5771 -x5772 x5773 -x5774 1800.03/1800.60 v -x5775 -x5776 -x5777 -x5778 -x5779 -x5780 -x5781 -x5782 -x5783 -x5784 -x5785 -x5786 -x5787 -x5788 -x5789 -x5790 -x5791 1800.03/1800.60 v -x5792 -x5793 -x5794 -x5795 -x5796 -x5797 -x5798 -x5799 -x5800 -x5801 -x5802 -x5803 -x5804 -x5805 -x5806 -x5807 -x5808 1800.03/1800.60 v -x5809 -x5810 -x5811 -x5812 -x5813 -x5814 -x5815 -x5816 x5817 -x5818 -x5819 -x5820 -x5821 -x5822 -x5823 -x5824 -x5825 1800.03/1800.60 v -x5826 -x5827 -x5828 -x5829 -x5830 -x5831 -x5832 -x5833 -x5834 -x5835 -x5836 -x5837 -x5838 -x5839 -x5840 -x5841 -x5842 1800.03/1800.60 v -x5843 -x5844 -x5845 -x5846 -x5847 -x5848 -x5849 -x5850 -x5851 -x5852 -x5853 -x5854 -x5855 -x5856 -x5857 -x5858 -x5859 1800.03/1800.60 v -x5860 -x5861 -x5862 -x5863 -x5864 -x5865 -x5866 -x5867 -x5868 -x5869 -x5870 -x5871 -x5872 -x5873 -x5874 -x5875 -x5876 1800.03/1800.60 v -x5877 -x5878 -x5879 -x5880 -x5881 -x5882 -x5883 -x5884 -x5885 -x5886 -x5887 -x5888 -x5889 -x5890 -x5891 -x5892 -x5893 1800.03/1800.60 v -x5894 -x5895 -x5896 -x5897 -x5898 -x5899 -x5900 -x5901 -x5902 -x5903 -x5904 -x5905 -x5906 -x5907 -x5908 -x5909 -x5910 1800.03/1800.60 v -x5911 x5912 -x5913 -x5914 -x5915 -x5916 -x5917 -x5918 -x5919 -x5920 -x5921 -x5922 -x5923 -x5924 -x5925 -x5926 -x5927 1800.03/1800.60 v -x5928 -x5929 -x5930 -x5931 -x5932 -x5933 -x5934 -x5935 -x5936 -x5937 -x5938 -x5939 -x5940 -x5941 -x5942 -x5943 -x5944 1800.03/1800.60 v -x5945 -x5946 -x5947 -x5948 -x5949 -x5950 -x5951 -x5952 -x5953 -x5954 -x5955 x5956 -x5957 -x5958 -x5959 -x5960 -x5961 1800.03/1800.60 v -x5962 -x5963 -x5964 -x5965 -x5966 -x5967 -x5968 -x5969 -x5970 -x5971 -x5972 -x5973 -x5974 -x5975 -x5976 -x5977 -x5978 1800.03/1800.60 v -x5979 -x5980 -x5981 -x5982 -x5983 -x5984 -x5985 -x5986 -x5987 -x5988 -x5989 -x5990 -x5991 -x5992 -x5993 -x5994 -x5995 1800.03/1800.60 v -x5996 -x5997 -x5998 -x5999 -x6000 -x6001 -x6002 -x6003 -x6004 -x6005 -x6006 -x6007 -x6008 -x6009 -x6010 -x6011 -x6012 1800.03/1800.60 v -x6013 -x6014 -x6015 -x6016 -x6017 -x6018 -x6019 -x6020 -x6021 -x6022 -x6023 -x6024 -x6025 -x6026 -x6027 -x6028 -x6029 1800.03/1800.60 v -x6030 -x6031 -x6032 -x6033 -x6034 -x6035 -x6036 -x6037 -x6038 -x6039 -x6040 -x6041 -x6042 -x6043 -x6044 -x6045 -x6046 1800.03/1800.60 v -x6047 -x6048 -x6049 -x6050 -x6051 -x6052 -x6053 -x6054 -x6055 -x6056 -x6057 -x6058 -x6059 -x6060 -x6061 -x6062 -x6063 1800.03/1800.60 v -x6064 -x6065 -x6066 -x6067 -x6068 -x6069 -x6070 -x6071 -x6072 -x6073 -x6074 -x6075 -x6076 -x6077 -x6078 -x6079 -x6080 1800.03/1800.60 v -x6081 -x6082 -x6083 -x6084 -x6085 -x6086 -x6087 -x6088 -x6089 -x6090 -x6091 -x6092 -x6093 -x6094 -x6095 -x6096 -x6097 1800.03/1800.60 v -x6098 -x6099 -x6100 -x6101 -x6102 -x6103 -x6104 -x6105 -x6106 -x6107 -x6108 -x6109 -x6110 -x6111 -x6112 -x6113 -x6114 1800.03/1800.60 v -x6115 -x6116 -x6117 -x6118 -x6119 -x6120 -x6121 -x6122 -x6123 -x6124 -x6125 -x6126 -x6127 -x6128 -x6129 -x6130 -x6131 1800.03/1800.60 v -x6132 -x6133 -x6134 -x6135 -x6136 -x6137 -x6138 -x6139 -x6140 -x6141 -x6142 -x6143 -x6144 -x6145 -x6146 -x6147 -x6148 1800.03/1800.60 v -x6149 -x6150 -x6151 -x6152 -x6153 -x6154 -x6155 -x6156 -x6157 -x6158 -x6159 -x6160 -x6161 -x6162 -x6163 -x6164 -x6165 1800.03/1800.60 v -x6166 -x6167 -x6168 -x6169 -x6170 -x6171 -x6172 -x6173 -x6174 -x6175 -x6176 -x6177 -x6178 -x6179 -x6180 -x6181 -x6182 1800.03/1800.60 v -x6183 -x6184 -x6185 -x6186 -x6187 -x6188 -x6189 -x6190 -x6191 -x6192 -x6193 -x6194 -x6195 -x6196 -x6197 -x6198 -x6199 1800.03/1800.60 v -x6200 -x6201 -x6202 -x6203 -x6204 -x6205 -x6206 -x6207 -x6208 -x6209 -x6210 -x6211 -x6212 -x6213 -x6214 -x6215 -x6216 1800.03/1800.60 v -x6217 -x6218 -x6219 -x6220 -x6221 -x6222 -x6223 -x6224 -x6225 -x6226 -x6227 -x6228 -x6229 -x6230 -x6231 -x6232 -x6233 1800.03/1800.60 v -x6234 -x6235 -x6236 -x6237 -x6238 -x6239 -x6240 -x6241 -x6242 -x6243 -x6244 -x6245 -x6246 -x6247 -x6248 -x6249 -x6250 1800.03/1800.60 v -x6251 -x6252 -x6253 -x6254 -x6255 -x6256 -x6257 -x6258 -x6259 -x6260 -x6261 -x6262 -x6263 -x6264 -x6265 -x6266 -x6267 1800.03/1800.60 v -x6268 -x6269 -x6270 -x6271 -x6272 -x6273 -x6274 -x6275 -x6276 -x6277 -x6278 -x6279 -x6280 -x6281 -x6282 -x6283 -x6284 1800.03/1800.60 v -x6285 -x6286 -x6287 -x6288 -x6289 -x6290 -x6291 -x6292 -x6293 -x6294 -x6295 -x6296 -x6297 -x6298 -x6299 -x6300 -x6301 1800.03/1800.60 v -x6302 -x6303 -x6304 -x6305 -x6306 -x6307 -x6308 -x6309 -x6310 -x6311 -x6312 -x6313 -x6314 -x6315 -x6316 -x6317 -x6318 1800.03/1800.60 v -x6319 -x6320 -x6321 -x6322 -x6323 -x6324 -x6325 -x6326 -x6327 -x6328 -x6329 -x6330 -x6331 -x6332 -x6333 -x6334 -x6335 1800.03/1800.60 v -x6336 -x6337 -x6338 -x6339 -x6340 -x6341 -x6342 -x6343 -x6344 -x6345 -x6346 -x6347 -x6348 -x6349 -x6350 -x6351 -x6352 1800.03/1800.60 v -x6353 -x6354 -x6355 -x6356 -x6357 -x6358 -x6359 -x6360 -x6361 -x6362 -x6363 -x6364 -x6365 x6366 -x6367 -x6368 -x6369 1800.03/1800.60 v -x6370 -x6371 -x6372 -x6373 -x6374 -x6375 -x6376 -x6377 -x6378 -x6379 -x6380 -x6381 -x6382 -x6383 -x6384 -x6385 -x6386 1800.03/1800.60 v -x6387 -x6388 -x6389 -x6390 -x6391 -x6392 -x6393 -x6394 -x6395 -x6396 -x6397 -x6398 -x6399 -x6400 -x6401 -x6402 -x6403 1800.03/1800.60 v -x6404 -x6405 -x6406 -x6407 -x6408 -x6409 -x6410 -x6411 -x6412 -x6413 -x6414 -x6415 -x6416 -x6417 -x6418 -x6419 -x6420 1800.03/1800.60 v -x6421 -x6422 -x6423 -x6424 -x6425 -x6426 -x6427 -x6428 -x6429 -x6430 -x6431 -x6432 -x6433 -x6434 -x6435 -x6436 -x6437 1800.03/1800.60 v -x6438 -x6439 -x6440 -x6441 -x6442 -x6443 -x6444 -x6445 -x6446 -x6447 -x6448 -x6449 -x6450 -x6451 -x6452 -x6453 -x6454 1800.03/1800.60 v -x6455 -x6456 -x6457 -x6458 -x6459 -x6460 -x6461 -x6462 -x6463 -x6464 -x6465 -x6466 -x6467 -x6468 -x6469 -x6470 -x6471 1800.03/1800.60 v -x6472 -x6473 -x6474 -x6475 -x6476 -x6477 -x6478 -x6479 -x6480 -x6481 -x6482 -x6483 -x6484 -x6485 -x6486 -x6487 -x6488 1800.03/1800.60 v -x6489 -x6490 -x6491 -x6492 -x6493 -x6494 -x6495 -x6496 -x6497 -x6498 -x6499 -x6500 -x6501 -x6502 -x6503 -x6504 -x6505 1800.03/1800.60 v -x6506 -x6507 -x6508 -x6509 -x6510 -x6511 -x6512 -x6513 -x6514 -x6515 -x6516 -x6517 -x6518 -x6519 -x6520 -x6521 -x6522 1800.03/1800.60 v -x6523 -x6524 -x6525 -x6526 -x6527 -x6528 -x6529 -x6530 -x6531 -x6532 -x6533 -x6534 -x6535 -x6536 -x6537 -x6538 -x6539 1800.03/1800.60 v -x6540 -x6541 -x6542 -x6543 -x6544 -x6545 -x6546 x6547 -x6548 -x6549 -x6550 -x6551 -x6552 -x6553 x6554 -x6555 -x6556 -x6557 1800.03/1800.60 v -x6558 -x6559 -x6560 -x6561 -x6562 -x6563 -x6564 -x6565 -x6566 x6567 -x6568 -x6569 -x6570 -x6571 -x6572 -x6573 -x6574 1800.03/1800.60 v -x6575 -x6576 -x6577 -x6578 -x6579 -x6580 -x6581 -x6582 x6583 -x6584 -x6585 -x6586 -x6587 -x6588 -x6589 -x6590 -x6591 1800.03/1800.60 v -x6592 -x6593 -x6594 -x6595 -x6596 -x6597 -x6598 -x6599 -x6600 -x6601 -x6602 -x6603 -x6604 -x6605 -x6606 -x6607 -x6608 1800.03/1800.60 v -x6609 -x6610 -x6611 -x6612 -x6613 -x6614 -x6615 -x6616 -x6617 -x6618 -x6619 -x6620 -x6621 -x6622 -x6623 -x6624 -x6625 1800.03/1800.60 v -x6626 -x6627 -x6628 -x6629 -x6630 -x6631 -x6632 -x6633 -x6634 -x6635 -x6636 -x6637 -x6638 -x6639 -x6640 -x6641 -x6642 1800.03/1800.60 v -x6643 -x6644 -x6645 -x6646 -x6647 -x6648 -x6649 -x6650 -x6651 -x6652 -x6653 -x6654 -x6655 -x6656 -x6657 -x6658 -x6659 1800.03/1800.60 v -x6660 -x6661 -x6662 -x6663 -x6664 -x6665 -x6666 -x6667 -x6668 -x6669 -x6670 -x6671 -x6672 -x6673 -x6674 -x6675 -x6676 1800.03/1800.60 v -x6677 -x6678 -x6679 -x6680 -x6681 -x6682 -x6683 -x6684 -x6685 -x6686 -x6687 -x6688 -x6689 -x6690 -x6691 -x6692 -x6693 1800.03/1800.60 v -x6694 -x6695 -x6696 -x6697 -x6698 -x6699 -x6700 -x6701 -x6702 -x6703 -x6704 -x6705 -x6706 -x6707 -x6708 -x6709 -x6710 1800.03/1800.60 v -x6711 -x6712 -x6713 -x6714 -x6715 -x6716 -x6717 -x6718 -x6719 -x6720 -x6721 -x6722 -x6723 -x6724 -x6725 -x6726 -x6727 1800.03/1800.60 v -x6728 -x6729 -x6730 -x6731 -x6732 -x6733 -x6734 -x6735 -x6736 -x6737 -x6738 -x6739 -x6740 -x6741 -x6742 -x6743 -x6744 1800.03/1800.60 v -x6745 -x6746 -x6747 -x6748 -x6749 -x6750 -x6751 -x6752 -x6753 -x6754 -x6755 -x6756 -x6757 -x6758 -x6759 -x6760 -x6761 1800.03/1800.60 v -x6762 -x6763 -x6764 -x6765 -x6766 -x6767 -x6768 -x6769 -x6770 -x6771 -x6772 -x6773 -x6774 -x6775 -x6776 -x6777 -x6778 1800.03/1800.60 v -x6779 -x6780 -x6781 -x6782 -x6783 -x6784 -x6785 -x6786 -x6787 -x6788 -x6789 -x6790 -x6791 -x6792 -x6793 -x6794 -x6795 1800.03/1800.60 v -x6796 -x6797 -x6798 -x6799 -x6800 -x6801 -x6802 -x6803 -x6804 -x6805 -x6806 -x6807 -x6808 -x6809 -x6810 -x6811 -x6812 1800.03/1800.60 v -x6813 -x6814 -x6815 -x6816 -x6817 -x6818 -x6819 -x6820 -x6821 -x6822 -x6823 -x6824 -x6825 -x6826 -x6827 -x6828 -x6829 1800.03/1800.60 v -x6830 -x6831 -x6832 -x6833 -x6834 -x6835 -x6836 -x6837 -x6838 -x6839 -x6840 -x6841 -x6842 -x6843 -x6844 -x6845 -x6846 1800.03/1800.60 v -x6847 -x6848 -x6849 -x6850 -x6851 -x6852 -x6853 -x6854 -x6855 -x6856 -x6857 -x6858 -x6859 -x6860 -x6861 -x6862 -x6863 1800.03/1800.60 v -x6864 -x6865 -x6866 -x6867 -x6868 -x6869 -x6870 -x6871 -x6872 -x6873 -x6874 -x6875 -x6876 -x6877 -x6878 -x6879 -x6880 1800.03/1800.60 v -x6881 -x6882 -x6883 -x6884 -x6885 -x6886 -x6887 -x6888 -x6889 -x6890 -x6891 -x6892 -x6893 -x6894 -x6895 -x6896 -x6897 1800.03/1800.60 v -x6898 -x6899 -x6900 -x6901 -x6902 -x6903 -x6904 -x6905 -x6906 -x6907 -x6908 -x6909 -x6910 -x6911 -x6912 -x6913 -x6914 1800.03/1800.60 v -x6915 -x6916 -x6917 -x6918 -x6919 -x6920 -x6921 -x6922 -x6923 -x6924 -x6925 -x6926 -x6927 -x6928 -x6929 -x6930 -x6931 1800.03/1800.60 v -x6932 -x6933 -x6934 -x6935 -x6936 -x6937 -x6938 -x6939 -x6940 -x6941 -x6942 -x6943 -x6944 -x6945 -x6946 -x6947 -x6948 1800.03/1800.60 v -x6949 -x6950 -x6951 -x6952 -x6953 -x6954 -x6955 -x6956 -x6957 -x6958 -x6959 -x6960 -x6961 -x6962 -x6963 -x6964 -x6965 1800.03/1800.60 v -x6966 -x6967 -x6968 -x6969 -x6970 -x6971 -x6972 -x6973 -x6974 -x6975 -x6976 -x6977 -x6978 -x6979 -x6980 -x6981 -x6982 1800.03/1800.60 v -x6983 -x6984 -x6985 -x6986 -x6987 -x6988 -x6989 -x6990 -x6991 -x6992 -x6993 -x6994 -x6995 -x6996 -x6997 -x6998 -x6999 1800.03/1800.60 v -x7000 -x7001 -x7002 -x7003 -x7004 -x7005 -x7006 -x7007 -x7008 -x7009 -x7010 -x7011 -x7012 -x7013 -x7014 -x7015 -x7016 1800.03/1800.60 v -x7017 -x7018 -x7019 -x7020 -x7021 -x7022 -x7023 -x7024 -x7025 -x7026 -x7027 -x7028 -x7029 -x7030 -x7031 -x7032 -x7033 1800.03/1800.60 v -x7034 -x7035 -x7036 -x7037 -x7038 -x7039 -x7040 -x7041 -x7042 -x7043 -x7044 -x7045 x7046 -x7047 -x7048 -x7049 -x7050 1800.03/1800.60 v -x7051 -x7052 -x7053 -x7054 -x7055 -x7056 -x7057 -x7058 -x7059 -x7060 -x7061 -x7062 -x7063 -x7064 -x7065 -x7066 -x7067 1800.03/1800.60 v -x7068 -x7069 -x7070 -x7071 -x7072 -x7073 -x7074 -x7075 -x7076 -x7077 -x7078 x7079 -x7080 -x7081 -x7082 -x7083 -x7084 1800.03/1800.60 v x7085 -x7086 -x7087 -x7088 -x7089 -x7090 -x7091 -x7092 -x7093 -x7094 -x7095 -x7096 -x7097 -x7098 -x7099 -x7100 -x7101 1800.03/1800.60 v -x7102 -x7103 -x7104 -x7105 -x7106 -x7107 -x7108 -x7109 -x7110 -x7111 -x7112 -x7113 -x7114 -x7115 -x7116 -x7117 -x7118 1800.03/1800.60 v -x7119 -x7120 -x7121 -x7122 -x7123 -x7124 -x7125 -x7126 -x7127 -x7128 -x7129 -x7130 -x7131 -x7132 -x7133 -x7134 -x7135 1800.03/1800.60 v -x7136 -x7137 -x7138 -x7139 -x7140 -x7141 -x7142 -x7143 -x7144 -x7145 -x7146 -x7147 -x7148 -x7149 -x7150 -x7151 -x7152 1800.03/1800.60 v -x7153 -x7154 -x7155 -x7156 -x7157 -x7158 -x7159 -x7160 -x7161 -x7162 -x7163 -x7164 -x7165 -x7166 -x7167 -x7168 -x7169 1800.03/1800.60 v -x7170 -x7171 -x7172 -x7173 -x7174 -x7175 -x7176 -x7177 -x7178 -x7179 -x7180 -x7181 -x7182 -x7183 -x7184 -x7185 -x7186 1800.03/1800.60 v -x7187 -x7188 -x7189 -x7190 -x7191 -x7192 -x7193 -x7194 -x7195 -x7196 -x7197 -x7198 -x7199 -x7200 -x7201 -x7202 -x7203 1800.03/1800.60 v -x7204 -x7205 -x7206 -x7207 -x7208 -x7209 -x7210 -x7211 -x7212 -x7213 -x7214 -x7215 -x7216 -x7217 -x7218 -x7219 -x7220 1800.03/1800.60 v -x7221 -x7222 -x7223 -x7224 -x7225 -x7226 -x7227 -x7228 -x7229 -x7230 -x7231 -x7232 -x7233 -x7234 -x7235 -x7236 -x7237 1800.03/1800.60 v -x7238 -x7239 -x7240 -x7241 -x7242 -x7243 -x7244 -x7245 -x7246 -x7247 -x7248 -x7249 -x7250 -x7251 -x7252 -x7253 -x7254 1800.03/1800.60 v -x7255 -x7256 -x7257 -x7258 -x7259 -x7260 -x7261 -x7262 -x7263 -x7264 -x7265 -x7266 -x7267 -x7268 -x7269 -x7270 -x7271 1800.03/1800.60 v -x7272 -x7273 -x7274 -x7275 -x7276 -x7277 -x7278 -x7279 -x7280 -x7281 -x7282 -x7283 -x7284 -x7285 -x7286 -x7287 -x7288 1800.03/1800.60 v -x7289 -x7290 -x7291 -x7292 -x7293 -x7294 -x7295 -x7296 -x7297 -x7298 -x7299 -x7300 -x7301 -x7302 -x7303 -x7304 -x7305 1800.03/1800.60 v -x7306 -x7307 -x7308 -x7309 -x7310 -x7311 -x7312 -x7313 -x7314 -x7315 -x7316 -x7317 -x7318 -x7319 -x7320 -x7321 -x7322 1800.03/1800.60 v -x7323 -x7324 -x7325 -x7326 -x7327 -x7328 -x7329 -x7330 -x7331 -x7332 -x7333 -x7334 -x7335 -x7336 -x7337 -x7338 -x7339 1800.03/1800.60 v -x7340 -x7341 -x7342 -x7343 -x7344 -x7345 -x7346 -x7347 -x7348 -x7349 -x7350 -x7351 -x7352 -x7353 -x7354 -x7355 -x7356 1800.03/1800.60 v -x7357 -x7358 -x7359 -x7360 -x7361 -x7362 -x7363 -x7364 -x7365 -x7366 -x7367 -x7368 -x7369 -x7370 -x7371 -x7372 -x7373 1800.03/1800.60 v -x7374 -x7375 -x7376 -x7377 -x7378 -x7379 -x7380 -x7381 -x7382 x7383 -x7384 -x7385 -x7386 -x7387 -x7388 -x7389 -x7390 1800.03/1800.60 v -x7391 -x7392 -x7393 -x7394 -x7395 -x7396 -x7397 -x7398 -x7399 -x7400 -x7401 -x7402 -x7403 -x7404 -x7405 -x7406 -x7407 1800.03/1800.60 v -x7408 -x7409 -x7410 -x7411 -x7412 -x7413 -x7414 -x7415 -x7416 -x7417 -x7418 -x7419 -x7420 -x7421 -x7422 -x7423 -x7424 1800.03/1800.60 v -x7425 -x7426 -x7427 -x7428 -x7429 -x7430 -x7431 -x7432 -x7433 -x7434 -x7435 -x7436 -x7437 -x7438 -x7439 -x7440 -x7441 1800.03/1800.60 v -x7442 -x7443 -x7444 -x7445 -x7446 -x7447 -x7448 -x7449 -x7450 -x7451 -x7452 -x7453 -x7454 -x7455 -x7456 -x7457 -x7458 1800.03/1800.60 v -x7459 -x7460 -x7461 -x7462 -x7463 -x7464 -x7465 -x7466 -x7467 -x7468 -x7469 -x7470 -x7471 -x7472 -x7473 -x7474 -x7475 1800.03/1800.60 v -x7476 -x7477 -x7478 -x7479 -x7480 -x7481 -x7482 -x7483 -x7484 -x7485 -x7486 -x7487 -x7488 -x7489 -x7490 -x7491 -x7492 1800.03/1800.60 v -x7493 -x7494 -x7495 -x7496 -x7497 -x7498 -x7499 -x7500 -x7501 -x7502 -x7503 -x7504 -x7505 -x7506 -x7507 -x7508 -x7509 1800.03/1800.60 v -x7510 -x7511 -x7512 -x7513 -x7514 -x7515 -x7516 -x7517 -x7518 -x7519 -x7520 -x7521 -x7522 -x7523 -x7524 -x7525 -x7526 1800.03/1800.60 v -x7527 -x7528 -x7529 -x7530 -x7531 -x7532 -x7533 -x7534 -x7535 -x7536 -x7537 -x7538 -x7539 -x7540 -x7541 -x7542 -x7543 1800.03/1800.60 v -x7544 -x7545 -x7546 -x7547 -x7548 -x7549 -x7550 -x7551 -x7552 -x7553 -x7554 -x7555 -x7556 -x7557 -x7558 -x7559 -x7560 1800.03/1800.60 v -x7561 -x7562 -x7563 -x7564 -x7565 -x7566 -x7567 -x7568 -x7569 -x7570 -x7571 -x7572 -x7573 -x7574 -x7575 -x7576 -x7577 1800.03/1800.60 v -x7578 -x7579 -x7580 -x7581 -x7582 -x7583 -x7584 -x7585 -x7586 -x7587 -x7588 -x7589 -x7590 -x7591 -x7592 -x7593 -x7594 1800.03/1800.60 v -x7595 x7596 -x7597 -x7598 -x7599 -x7600 -x7601 -x7602 -x7603 -x7604 -x7605 -x7606 -x7607 -x7608 -x7609 -x7610 -x7611 1800.03/1800.60 v -x7612 -x7613 -x7614 -x7615 -x7616 -x7617 -x7618 -x7619 -x7620 -x7621 -x7622 -x7623 -x7624 -x7625 -x7626 -x7627 -x7628 1800.03/1800.60 v -x7629 -x7630 -x7631 -x7632 -x7633 -x7634 -x7635 -x7636 -x7637 -x7638 -x7639 -x7640 -x7641 -x7642 -x7643 -x7644 -x7645 1800.03/1800.60 v -x7646 -x7647 -x7648 -x7649 -x7650 -x7651 -x7652 -x7653 -x7654 -x7655 -x7656 -x7657 -x7658 -x7659 -x7660 -x7661 -x7662 1800.03/1800.60 v -x7663 -x7664 -x7665 -x7666 -x7667 -x7668 -x7669 -x7670 -x7671 -x7672 -x7673 -x7674 -x7675 -x7676 -x7677 -x7678 -x7679 1800.03/1800.60 v -x7680 -x7681 -x7682 -x7683 -x7684 -x7685 -x7686 -x7687 -x7688 -x7689 -x7690 -x7691 -x7692 -x7693 -x7694 -x7695 -x7696 1800.03/1800.60 v -x7697 -x7698 -x7699 -x7700 -x7701 -x7702 -x7703 -x7704 -x7705 -x7706 -x7707 -x7708 -x7709 -x7710 -x7711 -x7712 -x7713 1800.03/1800.60 v -x7714 -x7715 -x7716 -x7717 -x7718 -x7719 -x7720 -x7721 -x7722 -x7723 -x7724 -x7725 -x7726 -x7727 -x7728 -x7729 -x7730 1800.03/1800.60 v -x7731 -x7732 -x7733 -x7734 -x7735 -x7736 -x7737 -x7738 -x7739 -x7740 -x7741 -x7742 -x7743 -x7744 -x7745 -x7746 -x7747 1800.03/1800.60 v -x7748 -x7749 -x7750 -x7751 -x7752 -x7753 -x7754 -x7755 -x7756 -x7757 x7758 -x7759 -x7760 -x7761 -x7762 -x7763 -x7764 1800.03/1800.60 v -x7765 -x7766 -x7767 -x7768 -x7769 -x7770 -x7771 -x7772 -x7773 -x7774 -x7775 -x7776 -x7777 -x7778 -x7779 -x7780 -x7781 1800.03/1800.60 v -x7782 -x7783 -x7784 -x7785 -x7786 -x7787 -x7788 -x7789 -x7790 -x7791 -x7792 -x7793 -x7794 -x7795 -x7796 -x7797 -x7798 1800.03/1800.60 v -x7799 -x7800 -x7801 -x7802 -x7803 -x7804 -x7805 -x7806 -x7807 -x7808 -x7809 -x7810 -x7811 -x7812 -x7813 -x7814 -x7815 1800.03/1800.60 v -x7816 -x7817 -x7818 -x7819 -x7820 -x7821 -x7822 -x7823 -x7824 -x7825 -x7826 x7827 -x7828 -x7829 -x7830 -x7831 -x7832 1800.03/1800.60 v -x7833 -x7834 -x7835 -x7836 -x7837 -x7838 -x7839 -x7840 -x7841 -x7842 -x7843 -x7844 -x7845 -x7846 -x7847 -x7848 -x7849 1800.03/1800.60 v -x7850 -x7851 -x7852 -x7853 -x7854 -x7855 -x7856 -x7857 -x7858 -x7859 -x7860 -x7861 -x7862 -x7863 -x7864 -x7865 -x7866 1800.03/1800.60 v -x7867 -x7868 -x7869 -x7870 -x7871 -x7872 -x7873 -x7874 -x7875 -x7876 -x7877 -x7878 -x7879 -x7880 -x7881 -x7882 -x7883 1800.03/1800.60 v -x7884 -x7885 -x7886 -x7887 -x7888 -x7889 -x7890 -x7891 -x7892 -x7893 -x7894 -x7895 -x7896 -x7897 -x7898 -x7899 -x7900 1800.03/1800.60 v -x7901 -x7902 -x7903 -x7904 -x7905 -x7906 -x7907 -x7908 -x7909 -x7910 -x7911 -x7912 -x7913 -x7914 -x7915 -x7916 -x7917 1800.03/1800.60 v -x7918 -x7919 -x7920 -x7921 -x7922 -x7923 -x7924 -x7925 -x7926 -x7927 -x7928 -x7929 -x7930 -x7931 -x7932 -x7933 -x7934 1800.03/1800.60 v -x7935 -x7936 -x7937 -x7938 -x7939 -x7940 -x7941 -x7942 -x7943 -x7944 -x7945 -x7946 -x7947 -x7948 -x7949 -x7950 -x7951 1800.03/1800.60 v -x7952 -x7953 -x7954 -x7955 -x7956 -x7957 -x7958 -x7959 -x7960 -x7961 -x7962 -x7963 -x7964 -x7965 -x7966 -x7967 -x7968 1800.03/1800.60 v -x7969 -x7970 -x7971 x7972 -x7973 -x7974 -x7975 -x7976 -x7977 -x7978 -x7979 -x7980 -x7981 -x7982 -x7983 -x7984 -x7985 1800.03/1800.60 v -x7986 -x7987 -x7988 -x7989 -x7990 -x7991 -x7992 -x7993 -x7994 -x7995 -x7996 -x7997 -x7998 -x7999 -x8000 -x8001 -x8002 1800.03/1800.60 v -x8003 -x8004 -x8005 -x8006 -x8007 -x8008 -x8009 -x8010 -x8011 -x8012 -x8013 -x8014 -x8015 -x8016 -x8017 -x8018 -x8019 1800.03/1800.60 v -x8020 -x8021 -x8022 -x8023 -x8024 -x8025 -x8026 -x8027 -x8028 -x8029 -x8030 -x8031 -x8032 -x8033 -x8034 -x8035 -x8036 1800.03/1800.60 v -x8037 -x8038 -x8039 -x8040 -x8041 -x8042 -x8043 -x8044 -x8045 -x8046 -x8047 -x8048 -x8049 -x8050 -x8051 -x8052 -x8053 1800.03/1800.60 v -x8054 -x8055 -x8056 -x8057 -x8058 -x8059 -x8060 -x8061 -x8062 -x8063 -x8064 -x8065 -x8066 -x8067 -x8068 -x8069 -x8070 1800.03/1800.60 v -x8071 -x8072 -x8073 -x8074 -x8075 -x8076 -x8077 -x8078 -x8079 -x8080 -x8081 -x8082 -x8083 -x8084 -x8085 -x8086 -x8087 1800.03/1800.60 v -x8088 -x8089 -x8090 -x8091 -x8092 -x8093 -x8094 -x8095 -x8096 -x8097 -x8098 -x8099 -x8100 -x8101 -x8102 -x8103 -x8104 1800.03/1800.60 v -x8105 -x8106 -x8107 -x8108 -x8109 -x8110 -x8111 -x8112 -x8113 -x8114 -x8115 -x8116 -x8117 -x8118 -x8119 -x8120 -x8121 1800.03/1800.60 v -x8122 -x8123 -x8124 -x8125 -x8126 -x8127 -x8128 -x8129 -x8130 -x8131 -x8132 -x8133 -x8134 -x8135 -x8136 -x8137 -x8138 1800.03/1800.60 v -x8139 -x8140 -x8141 -x8142 -x8143 -x8144 -x8145 -x8146 -x8147 -x8148 -x8149 -x8150 -x8151 -x8152 -x8153 -x8154 -x8155 1800.03/1800.60 v -x8156 -x8157 -x8158 -x8159 -x8160 -x8161 -x8162 -x8163 -x8164 -x8165 -x8166 -x8167 -x8168 -x8169 -x8170 -x8171 -x8172 1800.03/1800.60 v -x8173 -x8174 -x8175 -x8176 -x8177 -x8178 -x8179 -x8180 -x8181 -x8182 -x8183 -x8184 -x8185 -x8186 -x8187 -x8188 -x8189 1800.03/1800.60 v -x8190 -x8191 -x8192 -x8193 x8194 -x8195 -x8196 -x8197 -x8198 -x8199 -x8200 -x8201 -x8202 -x8203 -x8204 -x8205 -x8206 1800.03/1800.60 v -x8207 -x8208 -x8209 -x8210 x8211 -x8212 -x8213 -x8214 -x8215 -x8216 -x8217 -x8218 -x8219 -x8220 -x8221 -x8222 -x8223 1800.03/1800.60 v -x8224 -x8225 -x8226 -x8227 -x8228 -x8229 -x8230 -x8231 -x8232 -x8233 -x8234 -x8235 -x8236 -x8237 -x8238 -x8239 -x8240 1800.03/1800.60 v -x8241 -x8242 -x8243 -x8244 -x8245 -x8246 -x8247 -x8248 -x8249 -x8250 -x8251 -x8252 -x8253 -x8254 -x8255 -x8256 -x8257 1800.03/1800.60 v -x8258 -x8259 -x8260 -x8261 -x8262 -x8263 -x8264 -x8265 -x8266 -x8267 -x8268 -x8269 -x8270 -x8271 -x8272 -x8273 -x8274 1800.03/1800.60 v -x8275 -x8276 -x8277 -x8278 -x8279 -x8280 -x8281 -x8282 -x8283 -x8284 -x8285 -x8286 -x8287 -x8288 -x8289 -x8290 -x8291 1800.03/1800.60 v -x8292 -x8293 -x8294 -x8295 -x8296 -x8297 -x8298 -x8299 -x8300 -x8301 -x8302 -x8303 -x8304 -x8305 -x8306 -x8307 -x8308 1800.03/1800.60 v -x8309 -x8310 -x8311 -x8312 -x8313 -x8314 -x8315 -x8316 -x8317 -x8318 -x8319 -x8320 -x8321 -x8322 -x8323 -x8324 -x8325 1800.03/1800.60 v -x8326 -x8327 -x8328 -x8329 -x8330 -x8331 -x8332 -x8333 -x8334 -x8335 -x8336 -x8337 -x8338 -x8339 -x8340 -x8341 -x8342 1800.03/1800.60 v -x8343 -x8344 -x8345 -x8346 -x8347 -x8348 -x8349 -x8350 -x8351 -x8352 -x8353 -x8354 -x8355 -x8356 -x8357 -x8358 -x8359 1800.03/1800.60 v -x8360 -x8361 -x8362 -x8363 -x8364 -x8365 -x8366 -x8367 -x8368 -x8369 -x8370 -x8371 -x8372 -x8373 -x8374 -x8375 -x8376 1800.03/1800.60 v -x8377 -x8378 -x8379 -x8380 -x8381 -x8382 -x8383 -x8384 -x8385 -x8386 -x8387 -x8388 -x8389 -x8390 -x8391 -x8392 -x8393 1800.03/1800.60 v -x8394 -x8395 -x8396 -x8397 -x8398 -x8399 -x8400 -x8401 -x8402 -x8403 -x8404 -x8405 -x8406 -x8407 -x8408 -x8409 -x8410 1800.03/1800.60 v -x8411 -x8412 -x8413 -x8414 -x8415 -x8416 -x8417 -x8418 -x8419 -x8420 -x8421 -x8422 -x8423 -x8424 -x8425 -x8426 -x8427 1800.03/1800.60 v -x8428 -x8429 -x8430 -x8431 -x8432 -x8433 -x8434 -x8435 -x8436 -x8437 -x8438 -x8439 -x8440 -x8441 -x8442 -x8443 -x8444 1800.03/1800.60 v -x8445 -x8446 -x8447 -x8448 -x8449 -x8450 -x8451 -x8452 -x8453 -x8454 -x8455 -x8456 -x8457 -x8458 -x8459 -x8460 -x8461 1800.03/1800.60 v -x8462 -x8463 -x8464 -x8465 -x8466 -x8467 -x8468 -x8469 -x8470 -x8471 -x8472 -x8473 -x8474 -x8475 -x8476 -x8477 -x8478 1800.03/1800.60 v -x8479 -x8480 -x8481 -x8482 -x8483 x8484 -x8485 -x8486 -x8487 -x8488 -x8489 -x8490 -x8491 -x8492 -x8493 -x8494 -x8495 1800.03/1800.60 v -x8496 -x8497 -x8498 -x8499 -x8500 -x8501 -x8502 -x8503 -x8504 -x8505 -x8506 -x8507 -x8508 -x8509 -x8510 -x8511 -x8512 1800.03/1800.60 v -x8513 -x8514 -x8515 -x8516 -x8517 -x8518 -x8519 -x8520 -x8521 -x8522 x8523 -x8524 -x8525 -x8526 -x8527 -x8528 -x8529 1800.03/1800.60 v -x8530 x8531 -x8532 -x8533 -x8534 -x8535 -x8536 -x8537 -x8538 -x8539 -x8540 -x8541 -x8542 -x8543 -x8544 -x8545 -x8546 1800.03/1800.60 v -x8547 -x8548 -x8549 -x8550 -x8551 -x8552 -x8553 -x8554 -x8555 -x8556 -x8557 -x8558 -x8559 -x8560 -x8561 -x8562 -x8563 1800.03/1800.60 v -x8564 -x8565 -x8566 -x8567 -x8568 -x8569 -x8570 -x8571 -x8572 -x8573 -x8574 -x8575 -x8576 -x8577 -x8578 -x8579 -x8580 1800.03/1800.60 v -x8581 -x8582 -x8583 -x8584 -x8585 -x8586 -x8587 -x8588 -x8589 -x8590 -x8591 -x8592 -x8593 -x8594 -x8595 -x8596 -x8597 1800.03/1800.60 v -x8598 -x8599 -x8600 -x8601 -x8602 -x8603 -x8604 -x8605 -x8606 -x8607 -x8608 -x8609 -x8610 -x8611 -x8612 -x8613 -x8614 1800.03/1800.60 v -x8615 -x8616 -x8617 -x8618 -x8619 -x8620 -x8621 -x8622 -x8623 -x8624 -x8625 -x8626 -x8627
OK 7817
/tmp/evaluation/363156-1177023661/instance-363156-1177023661.opb is already a linear file
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node70/watcher-363156-1177023661 -o ROOT/results/node70/solver-363156-1177023661 -C 1800 -W 3600 -M 1800 --output-limit 1,15 /tmp/evaluation/363156-1177023661/minisat+ /tmp/evaluation/363156-1177023661/instance-363156-1177023661.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.80 0.94 0.98 3/64 31460 /proc/meminfo: memFree=1741208/2055920 swapFree=4183764/4192956 [pid=31460] ppid=31458 vsize=1344 CPUtime=0 /proc/31460/stat : 31460 (minisat+) R 31458 31460 31338 0 -1 4194304 170 0 0 0 0 0 0 0 18 0 1 0 141903458 1376256 155 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134570194 0 0 4096 16386 0 0 0 17 1 0 0 /proc/31460/statm: 336 155 67 215 0 118 0 [startup+0.00804606 s] /proc/loadavg: 0.80 0.94 0.98 3/64 31460 /proc/meminfo: memFree=1741208/2055920 swapFree=4183764/4192956 [pid=31460] ppid=31458 vsize=1700 CPUtime=0 /proc/31460/stat : 31460 (minisat+) R 31458 31460 31338 0 -1 4194304 242 0 0 0 0 0 0 0 18 0 1 0 141903458 1740800 227 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134569966 0 0 4096 16386 0 0 0 17 1 0 0 /proc/31460/statm: 425 227 67 215 0 207 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 1700 [startup+0.101051 s] /proc/loadavg: 0.80 0.94 0.98 3/64 31460 /proc/meminfo: memFree=1741208/2055920 swapFree=4183764/4192956 [pid=31460] ppid=31458 vsize=3024 CPUtime=0.09 /proc/31460/stat : 31460 (minisat+) R 31458 31460 31338 0 -1 4194304 576 0 0 0 9 0 0 0 18 0 1 0 141903458 3096576 561 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134625233 0 0 4096 16386 0 0 0 17 1 0 0 /proc/31460/statm: 756 561 75 215 0 538 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3024 [startup+0.301074 s] /proc/loadavg: 0.80 0.94 0.98 3/64 31460 /proc/meminfo: memFree=1741208/2055920 swapFree=4183764/4192956 [pid=31460] ppid=31458 vsize=4260 CPUtime=0.29 /proc/31460/stat : 31460 (minisat+) R 31458 31460 31338 0 -1 4194304 911 0 0 0 29 0 0 0 19 0 1 0 141903458 4362240 896 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134530512 0 0 4096 16386 0 0 0 17 0 0 0 /proc/31460/statm: 1065 896 75 215 0 847 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 4260 [startup+0.701113 s] /proc/loadavg: 0.80 0.94 0.98 3/64 31460 /proc/meminfo: memFree=1741208/2055920 swapFree=4183764/4192956 [pid=31460] ppid=31458 vsize=7088 CPUtime=0.68 /proc/31460/stat : 31460 (minisat+) R 31458 31460 31338 0 -1 4194304 1587 0 0 0 68 0 0 0 23 0 1 0 141903458 7258112 1572 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135005338 0 0 4096 16386 0 0 0 17 0 0 0 /proc/31460/statm: 1772 1572 75 215 0 1554 0 Current children cumulated CPU time (s) 0.68 Current children cumulated vsize (KiB) 7088 [startup+1.50119 s] /proc/loadavg: 0.80 0.94 0.98 2/71 31487 /proc/meminfo: memFree=1732000/2055920 swapFree=4183764/4192956 [pid=31460] ppid=31458 vsize=12324 CPUtime=1.48 /proc/31460/stat : 31460 (minisat+) R 31458 31460 31338 0 -1 4194304 2939 0 0 0 147 1 0 0 25 0 1 0 141903458 12619776 2873 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135031374 0 0 4096 16386 0 0 0 17 1 0 0 /proc/31460/statm: 3081 2873 87 215 0 2863 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 12324 [startup+3.10135 s] /proc/loadavg: 0.82 0.94 0.98 2/71 31487 /proc/meminfo: memFree=1727584/2055920 swapFree=4183764/4192956 [pid=31460] ppid=31458 vsize=14292 CPUtime=3.08 /proc/31460/stat : 31460 (minisat+) R 31458 31460 31338 0 -1 4194304 3568 0 0 0 306 2 0 0 22 0 1 0 141903458 14635008 3365 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135031374 0 0 4096 16386 0 0 0 17 1 0 0 /proc/31460/statm: 3573 3365 87 215 0 3355 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 14292 [startup+6.30168 s] /proc/loadavg: 0.82 0.94 0.98 2/71 31527 /proc/meminfo: memFree=1723936/2055920 swapFree=4183764/4192956 [pid=31460] ppid=31458 vsize=34540 CPUtime=6.25 /proc/31460/stat : 31460 (minisat+) R 31458 31460 31338 0 -1 4194304 8342 0 0 0 621 4 0 0 25 0 1 0 141903458 35368960 7961 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580732 0 0 4096 16386 0 0 0 17 1 0 0 /proc/31460/statm: 8635 7961 103 215 0 8417 0 Current children cumulated CPU time (s) 6.25 Current children cumulated vsize (KiB) 34540 [startup+12.7013 s] /proc/loadavg: 0.85 0.94 0.98 2/71 31535 /proc/meminfo: memFree=1706528/2055920 swapFree=4183764/4192956 [pid=31460] ppid=31458 vsize=36132 CPUtime=12.65 /proc/31460/stat : 31460 (minisat+) R 31458 31460 31338 0 -1 4194304 8765 0 0 0 1260 5 0 0 25 0 1 0 141903458 36999168 8384 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134574559 0 0 4096 16386 0 0 0 17 1 0 0 /proc/31460/statm: 9033 8384 106 215 0 8815 0 Current children cumulated CPU time (s) 12.65 Current children cumulated vsize (KiB) 36132 [startup+25.5026 s] /proc/loadavg: 0.87 0.94 0.98 2/71 31599 /proc/meminfo: memFree=1702624/2055920 swapFree=4183764/4192956 [pid=31460] ppid=31458 vsize=39948 CPUtime=25.41 /proc/31460/stat : 31460 (minisat+) R 31458 31460 31338 0 -1 4194304 9720 0 0 0 2534 7 0 0 25 0 1 0 141903458 40906752 9339 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134576243 0 0 4096 16386 0 0 0 17 1 0 0 /proc/31460/statm: 9987 9339 106 215 0 9769 0 Current children cumulated CPU time (s) 25.41 Current children cumulated vsize (KiB) 39948 [startup+51.1022 s] /proc/loadavg: 0.91 0.94 0.98 2/71 31637 /proc/meminfo: memFree=1694560/2055920 swapFree=4183764/4192956 [pid=31460] ppid=31458 vsize=47980 CPUtime=50.98 /proc/31460/stat : 31460 (minisat+) R 31458 31460 31338 0 -1 4194304 11720 0 0 0 5088 10 0 0 25 0 1 0 141903458 49131520 11339 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580732 0 0 4096 16386 0 0 0 17 1 0 0 /proc/31460/statm: 11995 11339 106 215 0 11777 0 Current children cumulated CPU time (s) 50.98 Current children cumulated vsize (KiB) 47980 [startup+102.305 s] /proc/loadavg: 0.96 0.95 0.98 2/65 31659 /proc/meminfo: memFree=1677344/2055920 swapFree=4183764/4192956 [pid=31460] ppid=31458 vsize=66236 CPUtime=102.15 /proc/31460/stat : 31460 (minisat+) R 31458 31460 31338 0 -1 4194304 16301 0 0 0 10201 14 0 0 25 0 1 0 141903458 67825664 15920 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581183 0 0 4096 16386 0 0 0 17 1 0 0 /proc/31460/statm: 16559 15920 106 215 0 16341 0 Current children cumulated CPU time (s) 102.15 Current children cumulated vsize (KiB) 66236 [startup+162.302 s] /proc/loadavg: 0.98 0.95 0.98 2/65 31659 /proc/meminfo: memFree=1654752/2055920 swapFree=4183764/4192956 [pid=31460] ppid=31458 vsize=89132 CPUtime=162.13 /proc/31460/stat : 31460 (minisat+) R 31458 31460 31338 0 -1 4194304 21993 0 0 0 16194 19 0 0 25 0 1 0 141903458 91271168 21612 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580384 0 0 4096 16386 0 0 0 17 1 0 0 /proc/31460/statm: 22283 21612 106 215 0 22065 0 Current children cumulated CPU time (s) 162.13 Current children cumulated vsize (KiB) 89132 [startup+222.302 s] /proc/loadavg: 0.99 0.96 0.98 2/65 31659 /proc/meminfo: memFree=1627680/2055920 swapFree=4183764/4192956 [pid=31460] ppid=31458 vsize=115848 CPUtime=222.12 /proc/31460/stat : 31460 (minisat+) R 31458 31460 31338 0 -1 4194304 28698 0 0 0 22187 25 0 0 25 0 1 0 141903458 118628352 28317 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580732 0 0 4096 16386 0 0 0 17 1 0 0 /proc/31460/statm: 28962 28317 106 215 0 28744 0 Current children cumulated CPU time (s) 222.12 Current children cumulated vsize (KiB) 115848 [startup+282.301 s] /proc/loadavg: 0.99 0.97 0.98 2/65 31659 /proc/meminfo: memFree=1603552/2055920 swapFree=4183764/4192956 [pid=31460] ppid=31458 vsize=139988 CPUtime=282.1 /proc/31460/stat : 31460 (minisat+) R 31458 31460 31338 0 -1 4194304 34716 0 0 0 28181 29 0 0 25 0 1 0 141903458 143347712 34335 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135007481 0 0 4096 16386 0 0 0 17 1 0 0 /proc/31460/statm: 34997 34335 106 215 0 34779 0 Current children cumulated CPU time (s) 282.1 Current children cumulated vsize (KiB) 139988 [startup+342.301 s] /proc/loadavg: 0.99 0.97 0.98 2/65 31659 /proc/meminfo: memFree=1580256/2055920 swapFree=4183764/4192956 [pid=31460] ppid=31458 vsize=163172 CPUtime=342.08 /proc/31460/stat : 31460 (minisat+) R 31458 31460 31338 0 -1 4194304 40532 0 0 0 34175 33 0 0 25 0 1 0 141903458 167088128 40151 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581053 0 0 4096 16386 0 0 0 17 1 0 0 /proc/31460/statm: 40793 40151 106 215 0 40575 0 Current children cumulated CPU time (s) 342.08 Current children cumulated vsize (KiB) 163172 [startup+402.301 s] /proc/loadavg: 0.99 0.97 0.98 2/65 31659 /proc/meminfo: memFree=1557736/2055920 swapFree=4183764/4192956 [pid=31460] ppid=31458 vsize=185648 CPUtime=402.07 /proc/31460/stat : 31460 (minisat+) R 31458 31460 31338 0 -1 4194304 46192 0 0 0 40169 38 0 0 25 0 1 0 141903458 190103552 45811 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/31460/statm: 46412 45811 106 215 0 46194 0 Current children cumulated CPU time (s) 402.07 Current children cumulated vsize (KiB) 185648 [startup+462.301 s] /proc/loadavg: 1.03 0.99 0.98 2/65 31659 /proc/meminfo: memFree=1535144/2055920 swapFree=4183764/4192956 [pid=31460] ppid=31458 vsize=208280 CPUtime=462.05 /proc/31460/stat : 31460 (minisat+) R 31458 31460 31338 0 -1 4194304 51787 0 0 0 46164 41 0 0 25 0 1 0 141903458 213278720 51406 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134574132 0 0 4096 16386 0 0 0 17 1 0 0 /proc/31460/statm: 52070 51406 106 215 0 51852 0 Current children cumulated CPU time (s) 462.05 Current children cumulated vsize (KiB) 208280 [startup+522.301 s] /proc/loadavg: 1.01 0.99 0.98 2/65 31659 /proc/meminfo: memFree=1513448/2055920 swapFree=4183764/4192956 [pid=31460] ppid=31458 vsize=230076 CPUtime=522.04 /proc/31460/stat : 31460 (minisat+) R 31458 31460 31338 0 -1 4194304 57236 0 0 0 52158 46 0 0 25 0 1 0 141903458 235597824 56855 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581287 0 0 4096 16386 0 0 0 17 1 0 0 /proc/31460/statm: 57519 56855 106 215 0 57301 0 Current children cumulated CPU time (s) 522.04 Current children cumulated vsize (KiB) 230076 [startup+582.301 s] /proc/loadavg: 1.00 0.99 0.98 2/65 31659 /proc/meminfo: memFree=1491816/2055920 swapFree=4183764/4192956 [pid=31460] ppid=31458 vsize=251404 CPUtime=582.02 /proc/31460/stat : 31460 (minisat+) R 31458 31460 31338 0 -1 4194304 62587 0 0 0 58152 50 0 0 25 0 1 0 141903458 257437696 62206 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/31460/statm: 62851 62206 106 215 0 62633 0 Current children cumulated CPU time (s) 582.02 Current children cumulated vsize (KiB) 251404 [startup+642.301 s] /proc/loadavg: 1.00 0.99 0.98 2/65 31659 /proc/meminfo: memFree=1353704/2055920 swapFree=4183764/4192956 [pid=31460] ppid=31458 vsize=402776 CPUtime=642.01 /proc/31460/stat : 31460 (minisat+) R 31458 31460 31338 0 -1 4194304 102895 0 0 0 64131 70 0 0 25 0 1 0 141903458 412442624 96635 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580973 0 0 4096 16386 0 0 0 17 1 0 0 /proc/31460/statm: 100694 96635 123 215 0 100476 0 Current children cumulated CPU time (s) 642.01 Current children cumulated vsize (KiB) 402776 ################ # More data... # ################ [startup+882.301 s] /proc/loadavg: 1.00 0.99 0.98 2/65 31659 /proc/meminfo: memFree=1288488/2055920 swapFree=4183764/4192956 [pid=31460] ppid=31458 vsize=468020 CPUtime=881.95 /proc/31460/stat : 31460 (minisat+) R 31458 31460 31338 0 -1 4194304 119160 0 0 0 88109 86 0 0 25 0 1 0 141903458 479252480 112900 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580467 0 0 4096 16386 0 0 0 17 1 0 0 /proc/31460/statm: 117005 112900 123 215 0 116787 0 Current children cumulated CPU time (s) 881.95 Current children cumulated vsize (KiB) 468020 [startup+942.301 s] /proc/loadavg: 1.00 0.99 0.98 2/65 31659 /proc/meminfo: memFree=1275176/2055920 swapFree=4183764/4192956 [pid=31460] ppid=31458 vsize=481460 CPUtime=941.93 /proc/31460/stat : 31460 (minisat+) R 31458 31460 31338 0 -1 4194304 122549 0 0 0 94104 89 0 0 25 0 1 0 141903458 493015040 116289 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134574586 0 0 4096 16386 0 0 0 17 1 0 0 /proc/31460/statm: 120365 116289 123 215 0 120147 0 Current children cumulated CPU time (s) 941.93 Current children cumulated vsize (KiB) 481460 [startup+1002.3 s] /proc/loadavg: 1.00 0.99 0.98 2/65 31659 /proc/meminfo: memFree=1257896/2055920 swapFree=4183764/4192956 [pid=31460] ppid=31458 vsize=498444 CPUtime=1001.92 /proc/31460/stat : 31460 (minisat+) R 31458 31460 31338 0 -1 4194304 126808 0 0 0 100099 93 0 0 25 0 1 0 141903458 510406656 120548 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134573950 0 0 4096 16386 0 0 0 17 1 0 0 /proc/31460/statm: 124611 120548 123 215 0 124393 0 Current children cumulated CPU time (s) 1001.92 Current children cumulated vsize (KiB) 498444 [startup+1062.3 s] /proc/loadavg: 1.00 0.99 0.98 2/65 31659 /proc/meminfo: memFree=1239912/2055920 swapFree=4183764/4192956 [pid=31460] ppid=31458 vsize=516556 CPUtime=1061.9 /proc/31460/stat : 31460 (minisat+) R 31458 31460 31338 0 -1 4194304 131313 0 0 0 106094 96 0 0 25 0 1 0 141903458 528953344 125053 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/31460/statm: 129139 125053 123 215 0 128921 0 Current children cumulated CPU time (s) 1061.9 Current children cumulated vsize (KiB) 516556 [startup+1122.3 s] /proc/loadavg: 1.00 0.99 0.98 2/65 31659 /proc/meminfo: memFree=1222248/2055920 swapFree=4183764/4192956 [pid=31460] ppid=31458 vsize=534020 CPUtime=1121.89 /proc/31460/stat : 31460 (minisat+) R 31458 31460 31338 0 -1 4194304 137930 0 0 0 112088 101 0 0 25 0 1 0 141903458 546836480 129399 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135003247 0 0 4096 16386 0 0 0 17 1 0 0 /proc/31460/statm: 133505 129399 123 215 0 133287 0 Current children cumulated CPU time (s) 1121.89 Current children cumulated vsize (KiB) 534020 [startup+1182.3 s] /proc/loadavg: 1.00 0.99 0.98 2/65 31659 /proc/meminfo: memFree=1202088/2055920 swapFree=4183764/4192956 [pid=31460] ppid=31458 vsize=555920 CPUtime=1181.87 /proc/31460/stat : 31460 (minisat+) R 31458 31460 31338 0 -1 4194304 143171 0 0 0 118084 103 0 0 25 0 1 0 141903458 569262080 134441 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580965 0 0 4096 16386 0 0 0 17 1 0 0 /proc/31460/statm: 138980 134441 123 215 0 138762 0 Current children cumulated CPU time (s) 1181.87 Current children cumulated vsize (KiB) 555920 [startup+1242.3 s] /proc/loadavg: 1.00 0.99 0.98 2/65 31659 /proc/meminfo: memFree=1188520/2055920 swapFree=4183764/4192956 [pid=31460] ppid=31458 vsize=569516 CPUtime=1241.86 /proc/31460/stat : 31460 (minisat+) R 31458 31460 31338 0 -1 4194304 146577 0 0 0 124079 107 0 0 25 0 1 0 141903458 583184384 137847 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/31460/statm: 142379 137847 123 215 0 142161 0 Current children cumulated CPU time (s) 1241.86 Current children cumulated vsize (KiB) 569516 [startup+1302.3 s] /proc/loadavg: 1.00 0.99 0.98 2/65 31659 /proc/meminfo: memFree=1171752/2055920 swapFree=4183764/4192956 [pid=31460] ppid=31458 vsize=585996 CPUtime=1301.85 /proc/31460/stat : 31460 (minisat+) R 31458 31460 31338 0 -1 4194304 150722 0 0 0 130075 110 0 0 25 0 1 0 141903458 600059904 141992 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580732 0 0 4096 16386 0 0 0 17 1 0 0 /proc/31460/statm: 146499 141992 123 215 0 146281 0 Current children cumulated CPU time (s) 1301.85 Current children cumulated vsize (KiB) 585996 [startup+1362.3 s] /proc/loadavg: 1.00 0.99 0.98 2/65 31659 /proc/meminfo: memFree=1160488/2055920 swapFree=4183764/4192956 [pid=31460] ppid=31458 vsize=597452 CPUtime=1361.83 /proc/31460/stat : 31460 (minisat+) R 31458 31460 31338 0 -1 4194304 153570 0 0 0 136071 112 0 0 25 0 1 0 141903458 611790848 144840 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580840 0 0 4096 16386 0 0 0 17 1 0 0 /proc/31460/statm: 149363 144840 123 215 0 149145 0 Current children cumulated CPU time (s) 1361.83 Current children cumulated vsize (KiB) 597452 [startup+1422.31 s] /proc/loadavg: 1.00 0.99 0.98 2/65 31659 /proc/meminfo: memFree=1147048/2055920 swapFree=4183764/4192956 [pid=31460] ppid=31458 vsize=610708 CPUtime=1421.82 /proc/31460/stat : 31460 (minisat+) R 31458 31460 31338 0 -1 4194304 156884 0 0 0 142067 115 0 0 25 0 1 0 141903458 625364992 148154 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581028 0 0 4096 16386 0 0 0 17 1 0 0 /proc/31460/statm: 152677 148154 123 215 0 152459 0 Current children cumulated CPU time (s) 1421.82 Current children cumulated vsize (KiB) 610708 [startup+1482.3 s] /proc/loadavg: 1.00 0.99 0.98 2/65 31659 /proc/meminfo: memFree=1132520/2055920 swapFree=4183764/4192956 [pid=31460] ppid=31458 vsize=625404 CPUtime=1481.79 /proc/31460/stat : 31460 (minisat+) R 31458 31460 31338 0 -1 4194304 160573 0 0 0 148062 117 0 0 25 0 1 0 141903458 640413696 151843 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580840 0 0 4096 16386 0 0 0 17 1 0 0 /proc/31460/statm: 156351 151843 123 215 0 156133 0 Current children cumulated CPU time (s) 1481.79 Current children cumulated vsize (KiB) 625404 [startup+1542.3 s] /proc/loadavg: 1.00 0.99 0.98 2/65 31659 /proc/meminfo: memFree=1118120/2055920 swapFree=4183764/4192956 [pid=31460] ppid=31458 vsize=639472 CPUtime=1541.78 /proc/31460/stat : 31460 (minisat+) R 31458 31460 31338 0 -1 4194304 164101 0 0 0 154057 121 0 0 25 0 1 0 141903458 654819328 155371 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134573950 0 0 4096 16386 0 0 0 17 1 0 0 /proc/31460/statm: 159868 155371 123 215 0 159650 0 Current children cumulated CPU time (s) 1541.78 Current children cumulated vsize (KiB) 639472 [startup+1602.3 s] /proc/loadavg: 1.00 0.99 0.98 2/65 31659 /proc/meminfo: memFree=1105512/2055920 swapFree=4183764/4192956 [pid=31460] ppid=31458 vsize=652176 CPUtime=1601.77 /proc/31460/stat : 31460 (minisat+) R 31458 31460 31338 0 -1 4194304 167281 0 0 0 160053 124 0 0 25 0 1 0 141903458 667828224 158551 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134573840 0 0 4096 16386 0 0 0 17 1 0 0 /proc/31460/statm: 163044 158551 123 215 0 162826 0 Current children cumulated CPU time (s) 1601.77 Current children cumulated vsize (KiB) 652176 [startup+1662.3 s] /proc/loadavg: 1.00 0.99 0.98 2/65 31659 /proc/meminfo: memFree=1088680/2055920 swapFree=4183764/4192956 [pid=31460] ppid=31458 vsize=668900 CPUtime=1661.75 /proc/31460/stat : 31460 (minisat+) R 31458 31460 31338 0 -1 4194304 171468 0 0 0 166048 127 0 0 25 0 1 0 141903458 684953600 162738 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134574442 0 0 4096 16386 0 0 0 17 1 0 0 /proc/31460/statm: 167225 162738 123 215 0 167007 0 Current children cumulated CPU time (s) 1661.75 Current children cumulated vsize (KiB) 668900 [startup+1722.3 s] /proc/loadavg: 1.00 0.99 0.98 2/65 31659 /proc/meminfo: memFree=1063144/2055920 swapFree=4183764/4192956 [pid=31460] ppid=31458 vsize=696880 CPUtime=1721.74 /proc/31460/stat : 31460 (minisat+) R 31458 31460 31338 0 -1 4194304 180209 0 0 0 172040 134 0 0 25 0 1 0 141903458 713605120 169121 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/31460/statm: 174220 169121 123 215 0 174002 0 Current children cumulated CPU time (s) 1721.74 Current children cumulated vsize (KiB) 696880 [startup+1782.3 s] /proc/loadavg: 1.00 0.99 0.98 2/65 31659 /proc/meminfo: memFree=1050856/2055920 swapFree=4183764/4192956 [pid=31460] ppid=31458 vsize=708976 CPUtime=1781.73 /proc/31460/stat : 31460 (minisat+) R 31458 31460 31338 0 -1 4194304 183236 0 0 0 178037 136 0 0 25 0 1 0 141903458 725991424 172148 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580396 0 0 4096 16386 0 0 0 17 1 0 0 /proc/31460/statm: 177244 172148 123 215 0 177026 0 Current children cumulated CPU time (s) 1781.73 Current children cumulated vsize (KiB) 708976 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 1.00 0.99 0.98 3/65 31659 /proc/meminfo: memFree=1048360/2055920 swapFree=4183764/4192956 [pid=31460] ppid=31458 vsize=711336 CPUtime=1800.03 /proc/31460/stat : 31460 (minisat+) R 31458 31460 31338 0 -1 4194304 183828 0 0 0 179867 136 0 0 25 0 1 0 141903458 728408064 172740 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/31460/statm: 177834 172740 123 215 0 177616 0 Current children cumulated CPU time (s) 1800.03 Current children cumulated vsize (KiB) 711336 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.71 s] /proc/loadavg: 1.00 0.99 0.98 3/65 31659 /proc/meminfo: memFree=1048360/2055920 swapFree=4183764/4192956 [pid=31460] ppid=31458 vsize=0 CPUtime=1800.13 /proc/31460/stat : 31460 (minisat+) R 31458 31460 31338 0 -1 4194308 183830 0 0 0 179867 146 0 0 25 0 1 0 141903458 0 0 18446744073709551615 0 0 0 0 0 0 16384 4096 16386 0 0 0 17 1 0 0 /proc/31460/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.13 Current children cumulated vsize (KiB) 0 Child status: 10 Real time (s): 1800.73 CPU time (s): 1800.15 CPU user time (s): 1798.67 CPU system time (s): 1.47578 CPU usage (%): 99.9679 Max. virtual memory (cumulated for all children) (KiB): 711336 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1798.67 system time used= 1.47578 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 183830 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= 9 involuntary context switches= 3737 runsolver used 1.19682 second user time and 3.82442 second system time The end
Begin job on node70 on Thu Apr 19 23:01:01 UTC 2007 IDJOB= 363156 IDBENCH= 1746 IDSOLVER= 156 FILE ID= node70/363156-1177023661 PBS_JOBID= 4630613 Free space on /tmp= 66474 MiB SOLVER NAME= minisat+ 1.14 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib/normalized-reduced-mps-v2-20-10-air06.opb COMMAND LINE= /tmp/evaluation/363156-1177023661/minisat+ /tmp/evaluation/363156-1177023661/instance-363156-1177023661.opb CONVERSION COMMAND LINE= runsolver -w ROOT/results/node70/convwatcher-363156-1177023661 -o ROOT/results/node70/conversion-363156-1177023661 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/363156-1177023661/instance-363156-1177023661.opb CONVERSION RUNSOLVER STATUS CODE= 0 CONVERSION STATUS CODE= 0 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node70/watcher-363156-1177023661 -o ROOT/results/node70/solver-363156-1177023661 -C 1800 -W 3600 -M 1800 --output-limit 1,15 /tmp/evaluation/363156-1177023661/minisat+ /tmp/evaluation/363156-1177023661/instance-363156-1177023661.opb META MD5SUM SOLVER= e46aded85e5f265b61da9cdcce06370e MD5SUM BENCH= 9ad64595976e8d5a822b98ffb6dea9d7 RANDOM SEED= 745733395 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node70.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.218 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5914.62 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.218 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5586.94 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1741616 kB Buffers: 14200 kB Cached: 239916 kB SwapCached: 2788 kB Active: 65380 kB Inactive: 197888 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1741616 kB SwapTotal: 4192956 kB SwapFree: 4183764 kB Dirty: 3360 kB Writeback: 0 kB Mapped: 15440 kB Slab: 37124 kB Committed_AS: 2500784 kB PageTables: 1396 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 66474 MiB End job on node70 on Thu Apr 19 23:31:04 UTC 2007