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