0.00/0.02	c solving HOME/instance-4528229-1752238029.opb (Picat 3.9b11, 7/10/2025)
2.67/2.70	o 8393408
3.67/3.79	o 2557952
4.47/4.58	o 16384
13.85/13.95	o 11424
16.54/16.69	o 9419
23.52/23.69	o 9268
26.42/26.57	o 9216
44.47/44.69	s OPTIMUM FOUND
44.47/44.69	v ~x7393 ~x2315 ~x1374 ~x4008 ~x2167 ~x5701 ~x7394 ~x2316 ~x1375 ~x4009 
44.47/44.69	v ~x2168 ~x5702 ~x7395 ~x2317 ~x1376 ~x4010 ~x2169 ~x5703 ~x7396 ~x2318 
44.47/44.69	v ~x1377 ~x4011 ~x2170 ~x5704 ~x7397 ~x2319 ~x1378 ~x4012 ~x2171 ~x5705 
44.47/44.69	v ~x7398 ~x2320 ~x1379 ~x4013 ~x2172 ~x5706 ~x7399 ~x2321 ~x1380 ~x4014 
44.47/44.69	v ~x2173 ~x5707 ~x7400 ~x2322 ~x1381 ~x4015 ~x2174 ~x5708 ~x7401 ~x2323 
44.47/44.69	v x1382 ~x4016 ~x2175 ~x5709 ~x7402 ~x2324 ~x1383 ~x4017 ~x2176 ~x5710 
44.47/44.69	v ~x7403 ~x2325 ~x1384 ~x4018 ~x2177 ~x5711 ~x7404 ~x2326 ~x1385 ~x4019 
44.47/44.69	v ~x2178 ~x5712 ~x7405 ~x2327 ~x1386 ~x4020 ~x2179 ~x5713 ~x7406 ~x2328 
44.47/44.69	v ~x1387 ~x4021 ~x2180 ~x5714 ~x7407 ~x2329 ~x1388 ~x4022 ~x5715 ~x7408 
44.47/44.69	v ~x2330 ~x1389 ~x4023 ~x5716 ~x2181 ~x7409 ~x2331 ~x1390 ~x4024 ~x5717 
44.47/44.69	v ~x2182 ~x7410 ~x2332 ~x1391 ~x4025 ~x5718 ~x2183 ~x7411 ~x2333 ~x1392 
44.47/44.69	v ~x4026 ~x5719 ~x2184 ~x7412 ~x2334 ~x1393 ~x4027 ~x5720 ~x2185 ~x7413 
44.47/44.69	v ~x2335 ~x1394 ~x4028 ~x5721 ~x2186 ~x7414 ~x2336 ~x1395 ~x4029 ~x5722 
44.47/44.69	v ~x2187 ~x7415 ~x2337 ~x1396 ~x4030 ~x5723 ~x2188 ~x7416 ~x2338 ~x1397 
44.47/44.69	v ~x4031 ~x5724 ~x2189 ~x7417 ~x2339 ~x1398 ~x4032 ~x5725 ~x2190 ~x7418 
44.47/44.69	v ~x2340 ~x1399 ~x4033 ~x5726 ~x2191 ~x7419 ~x2341 ~x1400 ~x4034 ~x5727 
44.47/44.69	v ~x2192 ~x7420 ~x2342 ~x1401 ~x4035 ~x5728 ~x2193 ~x7421 ~x2343 ~x1402 
44.47/44.69	v ~x4036 ~x5729 ~x2194 ~x7422 ~x2344 ~x1403 ~x4037 ~x5730 ~x2195 ~x7423 
44.47/44.69	v ~x2345 ~x1404 ~x4038 ~x5731 ~x2196 ~x7424 ~x2346 ~x1405 ~x4039 ~x5732 
44.47/44.69	v ~x2197 ~x7425 ~x2347 ~x1406 ~x4040 ~x5733 ~x2198 ~x7426 ~x2348 ~x1407 
44.47/44.69	v ~x4041 ~x5734 ~x2199 ~x7427 ~x2349 ~x1408 ~x4042 ~x5735 ~x2200 ~x7428 
44.47/44.69	v ~x2350 ~x1409 ~x4043 ~x5736 ~x2201 ~x7429 ~x2351 ~x1410 ~x4044 ~x5737 
44.47/44.69	v ~x2202 ~x7430 ~x2352 x1411 ~x4045 ~x5738 ~x2203 ~x7431 ~x2353 ~x1412 
44.47/44.69	v ~x4046 ~x5739 ~x2204 ~x7432 ~x2354 x1413 ~x4047 ~x5740 ~x2205 ~x7433 
44.47/44.69	v ~x2355 ~x1414 ~x4048 ~x5741 ~x2206 ~x7434 ~x2356 ~x1415 ~x4049 ~x5742 
44.47/44.69	v ~x2207 ~x7435 ~x2357 ~x1416 ~x4050 ~x5743 ~x2208 ~x7436 ~x2358 ~x1417 
44.47/44.69	v ~x4051 ~x5744 ~x2209 ~x7437 ~x2359 ~x1418 ~x4052 ~x5745 ~x2210 ~x7438 
44.47/44.69	v ~x2360 ~x1419 ~x4053 ~x5746 ~x2211 ~x7439 ~x2361 ~x1420 ~x4054 ~x5747 
44.47/44.69	v ~x2212 ~x7440 ~x2362 ~x1421 ~x4055 ~x5748 ~x2213 ~x7441 ~x2363 ~x1422 
44.47/44.69	v ~x4056 ~x5749 ~x2214 ~x7442 ~x2364 ~x1423 ~x4057 ~x5750 ~x2215 ~x7443 
44.47/44.69	v ~x2365 ~x1424 ~x4058 ~x5751 ~x2216 ~x7444 ~x2366 ~x1425 ~x4059 ~x5752 
44.47/44.69	v ~x2217 ~x7445 ~x2367 ~x1426 ~x4060 ~x5753 ~x2218 ~x7446 ~x2368 ~x1427 
44.47/44.69	v ~x4061 ~x5754 ~x2219 ~x7447 ~x2369 ~x1428 ~x4062 ~x5755 ~x2220 ~x7448 
44.47/44.69	v ~x2370 ~x1429 ~x4063 ~x5756 x2221 ~x7449 ~x2371 ~x1430 ~x4064 ~x5757 
44.47/44.69	v ~x2222 ~x7450 ~x2372 ~x1431 ~x4065 ~x5758 ~x2223 ~x7451 ~x2373 ~x1432 
44.47/44.69	v ~x4066 ~x5759 ~x2224 ~x7452 ~x2374 ~x1433 ~x4067 ~x5760 ~x2225 ~x7453 
44.47/44.69	v ~x2375 ~x1434 ~x4068 ~x5761 ~x2226 ~x7454 ~x2376 ~x1435 ~x4069 ~x5762 
44.47/44.69	v ~x2227 ~x7455 ~x2377 ~x1436 ~x4070 ~x5763 ~x2228 ~x7456 ~x2378 ~x1437 
44.47/44.69	v ~x4071 ~x5764 ~x2229 ~x7457 ~x2379 ~x1438 ~x4072 ~x5765 ~x2230 ~x7458 
44.47/44.69	v ~x2380 ~x1439 ~x4073 ~x5766 ~x2231 ~x7459 ~x2381 ~x1440 ~x4074 ~x5767 
44.47/44.69	v ~x2232 ~x7460 ~x2382 x1441 ~x4075 ~x5768 ~x2233 ~x7461 ~x2383 x1442 
44.47/44.69	v ~x4076 ~x5769 ~x2234 ~x7462 ~x2384 ~x1443 ~x4077 ~x5770 ~x2235 ~x7463 
44.47/44.69	v ~x2385 ~x1444 ~x4078 ~x5771 ~x2236 ~x7464 ~x2386 ~x1445 ~x4079 ~x5772 
44.47/44.69	v ~x2237 ~x7465 ~x2387 ~x1446 ~x4080 ~x5773 ~x2238 ~x7466 ~x2388 ~x1447 
44.47/44.69	v ~x4081 ~x5774 ~x2239 ~x7467 ~x2389 ~x1448 ~x4082 ~x5775 ~x2240 ~x7468 
44.47/44.69	v ~x2390 ~x1449 ~x4083 ~x5776 ~x2241 ~x7469 ~x2391 ~x1450 ~x4084 ~x5777 
44.47/44.69	v ~x2242 ~x7470 ~x2392 ~x1451 ~x4085 ~x5778 ~x2243 ~x7471 ~x2393 ~x1452 
44.47/44.69	v ~x4086 ~x5779 ~x2244 ~x7472 ~x2394 ~x1453 ~x4087 ~x5780 ~x2245 ~x7473 
44.47/44.69	v ~x2395 ~x1454 ~x4088 ~x5781 ~x2246 ~x7474 ~x2396 ~x1455 ~x4089 ~x5782 
44.47/44.69	v ~x2247 ~x7475 ~x2397 ~x1456 ~x4090 ~x5783 ~x2248 ~x7476 ~x2398 ~x1457 
44.47/44.69	v ~x4091 ~x5784 ~x2249 ~x7477 ~x2399 ~x1458 ~x4092 ~x5785 ~x2250 ~x7478 
44.47/44.69	v ~x2400 ~x1459 ~x4093 ~x5786 ~x2251 ~x7479 ~x2401 ~x1460 ~x4094 ~x5787 
44.47/44.69	v ~x2252 ~x7480 ~x2402 ~x1461 ~x4095 ~x5788 ~x2253 ~x7481 ~x2403 ~x1462 
44.47/44.69	v ~x4096 ~x5789 ~x2254 ~x7482 ~x2404 ~x1463 ~x4097 ~x5790 ~x2255 ~x7483 
44.47/44.69	v ~x2405 ~x1464 ~x4098 ~x5791 ~x2256 ~x7484 ~x2406 ~x1465 ~x4099 ~x5792 
44.47/44.69	v ~x2257 ~x7485 ~x2407 ~x1466 ~x4100 ~x5793 ~x2258 ~x7486 ~x2408 ~x1467 
44.47/44.69	v ~x4101 ~x5794 ~x2259 ~x7487 ~x2409 ~x1468 ~x4102 ~x5795 ~x2260 ~x7488 
44.47/44.69	v ~x2410 ~x1469 ~x4103 ~x5796 ~x2261 ~x7489 ~x2411 ~x1470 ~x4104 ~x5797 
44.47/44.69	v ~x2262 ~x7490 ~x2412 ~x1471 ~x4105 ~x5798 ~x2263 ~x7491 ~x2413 x1472 
44.47/44.69	v ~x4106 ~x5799 ~x2264 ~x7492 ~x2414 ~x1473 ~x4107 ~x5800 ~x2265 ~x7493 
44.47/44.69	v ~x2415 ~x1474 ~x4108 ~x5801 ~x2266 ~x7494 ~x2416 ~x1475 ~x4109 ~x5802 
44.47/44.69	v ~x2267 ~x7495 ~x2417 ~x1476 ~x4110 ~x5803 ~x2268 ~x7496 ~x2418 ~x1477 
44.47/44.69	v ~x4111 ~x5804 ~x2269 ~x7497 ~x2419 ~x1478 ~x4112 ~x5805 ~x2270 ~x7498 
44.47/44.69	v ~x2420 ~x1479 ~x4113 ~x5806 ~x2271 ~x7499 ~x2421 ~x1480 ~x4114 ~x5807 
44.47/44.69	v ~x2272 ~x7500 ~x2422 ~x1481 ~x4115 ~x5808 ~x2273 x7501 ~x2423 ~x1482 
44.47/44.69	v ~x4116 ~x5809 ~x2274 ~x7502 ~x2424 ~x1483 ~x4117 ~x5810 ~x2275 ~x7503 
44.47/44.69	v ~x2425 ~x1484 ~x4118 ~x5811 ~x2276 ~x7504 ~x2426 ~x1485 ~x4119 ~x5812 
44.47/44.69	v ~x2277 ~x7505 ~x2427 ~x1486 ~x4120 ~x5813 ~x2278 ~x7506 ~x2428 ~x1487 
44.47/44.69	v ~x4121 ~x5814 ~x2279 ~x7507 ~x2429 ~x1488 ~x4122 ~x5815 ~x2280 ~x7508 
44.47/44.69	v ~x2430 ~x1489 ~x4123 ~x5816 ~x2281 ~x7509 ~x2431 ~x1490 ~x4124 ~x5817 
44.47/44.69	v ~x2282 ~x7510 ~x2432 ~x1491 ~x4125 ~x5818 ~x2283 ~x7511 ~x2433 ~x1492 
44.47/44.69	v ~x4126 ~x5819 ~x2284 ~x7512 ~x2434 ~x1493 ~x4127 ~x5820 ~x2285 ~x7513 
44.47/44.69	v ~x2435 ~x1494 ~x4128 ~x5821 ~x2286 ~x7514 ~x2436 ~x1495 ~x4129 ~x5822 
44.47/44.69	v ~x2287 ~x7515 ~x2437 ~x1496 ~x4130 ~x5823 ~x2288 ~x7516 ~x2438 ~x1497 
44.47/44.69	v ~x4131 ~x5824 ~x2289 ~x7517 ~x2439 ~x1498 ~x4132 ~x5825 ~x2290 ~x7518 
44.47/44.69	v ~x2440 ~x1499 ~x4133 ~x5826 ~x2291 ~x7519 ~x2441 ~x1500 ~x4134 ~x5827 
44.47/44.69	v ~x2292 ~x7520 ~x2442 x1501 ~x4135 ~x5828 ~x2293 ~x7521 ~x2443 ~x1502 
44.47/44.69	v ~x4136 ~x5829 ~x2294 ~x7522 ~x2444 ~x1503 ~x4137 ~x5830 ~x2295 ~x7523 
44.47/44.69	v ~x2445 ~x1504 ~x4138 ~x5831 ~x2296 ~x7524 ~x2446 ~x1505 ~x4139 ~x5832 
44.47/44.69	v ~x2297 ~x7525 ~x2447 ~x1506 ~x4140 ~x5833 ~x2298 ~x7526 ~x2448 ~x1507 
44.47/44.69	v ~x4141 ~x5834 ~x2299 ~x7527 ~x2449 ~x1508 ~x4142 ~x5835 ~x2300 ~x7528 
44.47/44.69	v ~x2450 ~x1509 ~x4143 ~x5836 ~x7529 ~x2451 ~x1510 ~x4144 ~x5837 ~x7530 
44.47/44.69	v ~x2452 ~x1511 ~x4145 ~x5838 ~x7531 ~x2453 ~x1512 ~x4146 ~x5839 ~x7532 
44.47/44.69	v ~x2454 ~x1513 ~x4147 ~x5840 ~x7533 ~x2455 ~x1514 ~x4148 ~x5841 ~x7534 
44.47/44.69	v ~x2456 ~x1515 ~x4149 ~x5842 ~x7535 ~x2457 ~x1516 ~x4150 ~x5843 ~x7536 
44.47/44.69	v ~x2458 ~x1517 ~x4151 ~x5844 ~x7537 ~x2459 ~x1518 ~x4152 ~x5845 ~x7538 
44.47/44.69	v ~x2460 ~x1519 ~x4153 ~x5846 ~x7539 ~x2461 ~x1520 ~x4154 ~x5847 ~x7540 
44.47/44.69	v ~x2462 ~x1521 ~x4155 ~x5848 ~x7541 ~x2463 ~x1522 ~x4156 ~x5849 ~x7542 
44.47/44.69	v ~x2464 ~x1523 ~x4157 ~x5850 ~x7543 ~x2465 ~x1524 ~x4158 ~x5851 ~x7544 
44.47/44.69	v ~x2466 ~x1525 ~x4159 ~x5852 ~x7545 ~x2467 ~x1526 ~x4160 ~x5853 ~x7546 
44.47/44.69	v ~x2468 ~x1527 ~x4161 ~x5854 ~x7547 ~x2469 ~x1528 ~x4162 ~x5855 ~x7548 
44.47/44.69	v ~x2470 ~x1529 ~x4163 ~x5856 ~x7549 ~x2471 ~x1530 ~x4164 ~x5857 ~x7550 
44.47/44.69	v ~x2472 ~x1531 ~x4165 ~x5858 ~x7551 ~x2473 ~x1532 ~x4166 ~x5859 ~x7552 
44.47/44.69	v ~x2474 x1533 ~x4167 ~x5860 ~x7553 ~x2475 ~x1534 ~x4168 ~x5861 ~x7554 
44.47/44.69	v ~x2476 ~x1535 ~x4169 ~x5862 ~x7555 ~x2477 ~x1536 ~x4170 ~x5863 ~x7556 
44.47/44.69	v ~x2478 ~x1537 ~x4171 ~x5864 ~x7557 ~x2479 ~x1538 ~x4172 ~x5865 ~x7558 
44.47/44.69	v ~x2480 ~x1539 ~x4173 ~x5866 ~x7559 ~x2481 ~x1540 ~x4174 ~x5867 ~x7560 
44.47/44.69	v ~x2482 ~x1541 ~x4175 ~x5868 ~x7561 ~x2483 ~x1542 ~x4176 ~x5869 ~x7562 
44.47/44.69	v ~x2484 ~x1543 ~x4177 ~x5870 ~x7563 ~x2485 ~x1544 ~x4178 ~x5871 ~x7564 
44.47/44.69	v ~x2486 ~x1545 ~x4179 ~x5872 ~x7565 ~x2487 ~x1546 ~x4180 ~x5873 ~x7566 
44.47/44.69	v ~x2488 ~x1547 ~x4181 ~x5874 ~x7567 ~x2489 ~x1548 ~x4182 ~x5875 ~x7568 
44.47/44.69	v ~x2490 ~x1549 ~x4183 ~x5876 ~x7569 ~x2491 ~x1550 ~x4184 ~x5877 ~x7570 
44.47/44.69	v ~x2492 ~x1551 ~x4185 ~x5878 ~x7571 ~x2493 ~x1552 ~x4186 ~x5879 ~x7572 
44.47/44.69	v ~x2494 ~x1553 ~x4187 ~x5880 ~x7573 ~x2495 ~x1554 ~x4188 ~x5881 ~x7574 
44.47/44.69	v ~x2496 ~x1555 ~x4189 ~x5882 ~x7575 ~x2497 ~x1556 ~x4190 ~x5883 ~x7576 
44.47/44.69	v ~x2498 ~x1557 ~x4191 ~x5884 ~x7577 ~x2499 ~x1558 ~x4192 ~x5885 ~x7578 
44.47/44.69	v ~x2500 ~x1559 ~x4193 ~x5886 ~x7579 ~x2501 ~x1560 ~x4194 ~x5887 ~x7580 
44.47/44.69	v ~x2502 ~x1561 ~x4195 ~x5888 ~x7581 ~x2503 ~x1562 ~x4196 ~x5889 ~x7582 
44.47/44.69	v ~x2504 x1563 ~x4197 ~x5890 ~x7583 ~x2505 ~x1564 ~x4198 ~x5891 ~x7584 
44.47/44.69	v ~x2506 ~x1565 ~x4199 ~x5892 ~x7585 ~x2507 ~x1566 ~x4200 ~x5893 ~x7586 
44.47/44.69	v ~x2508 ~x1567 ~x4201 ~x5894 ~x7587 ~x2509 ~x1568 ~x4202 ~x5895 ~x7588 
44.47/44.69	v ~x2510 ~x1569 ~x4203 ~x5896 ~x7589 ~x2511 ~x1570 ~x4204 ~x5897 ~x7590 
44.47/44.69	v ~x2512 ~x1571 ~x4205 ~x5898 ~x7591 ~x2513 ~x1572 ~x4206 ~x5899 ~x7592 
44.47/44.69	v ~x2514 ~x1573 ~x4207 ~x5900 ~x7593 ~x2515 ~x1574 ~x4208 ~x5901 ~x7594 
44.47/44.69	v ~x2516 ~x1575 ~x4209 ~x5902 ~x7595 ~x2517 ~x1576 ~x4210 ~x5903 ~x7596 
44.47/44.69	v ~x2518 ~x1577 ~x4211 ~x5904 ~x7597 ~x2519 ~x1578 ~x4212 ~x5905 ~x7598 
44.47/44.69	v ~x2520 ~x1579 ~x4213 ~x5906 ~x7599 ~x2521 ~x1580 ~x4214 ~x5907 ~x7600 
44.47/44.69	v ~x2522 ~x1581 ~x4215 ~x5908 ~x7601 ~x2523 ~x1582 ~x4216 ~x5909 ~x7602 
44.47/44.69	v ~x2524 ~x1583 ~x4217 ~x5910 ~x7603 ~x2525 ~x1584 ~x4218 ~x5911 ~x7604 
44.47/44.69	v ~x2526 ~x1585 ~x4219 ~x5912 ~x7605 ~x2527 ~x1586 ~x4220 ~x5913 ~x7606 
44.47/44.69	v ~x2528 ~x1587 ~x4221 ~x5914 ~x7607 ~x2529 ~x1588 ~x4222 ~x5915 ~x7608 
44.47/44.69	v ~x2530 ~x1589 ~x4223 ~x5916 ~x7609 ~x2531 ~x1590 ~x4224 ~x5917 ~x7610 
44.47/44.69	v ~x2532 ~x1591 ~x4225 ~x5918 ~x7611 ~x2533 x1592 ~x4226 ~x5919 ~x7612 
44.47/44.69	v ~x2534 ~x1593 ~x4227 ~x5920 ~x7613 ~x2535 ~x1594 ~x4228 ~x5921 ~x7614 
44.47/44.69	v ~x2536 ~x1595 ~x4229 ~x5922 ~x7615 ~x2537 ~x1596 ~x4230 ~x5923 ~x7616 
44.47/44.69	v ~x2538 ~x1597 ~x4231 ~x5924 ~x7617 ~x2539 ~x1598 ~x4232 ~x5925 ~x7618 
44.47/44.69	v ~x2540 ~x1599 ~x4233 ~x5926 ~x7619 ~x2541 ~x1600 ~x4234 ~x5927 ~x7620 
44.47/44.69	v ~x2542 ~x1601 ~x4235 ~x5928 ~x7621 ~x2543 ~x1602 ~x4236 ~x5929 ~x7622 
44.47/44.69	v ~x2544 ~x1603 ~x4237 ~x5930 ~x7623 ~x2545 ~x1604 ~x4238 ~x5931 ~x7624 
44.47/44.69	v ~x2546 ~x1605 ~x4239 ~x5932 ~x7625 ~x2547 ~x1606 ~x4240 ~x5933 ~x7626 
44.47/44.69	v ~x2548 ~x1607 ~x4241 ~x5934 ~x7627 ~x2549 ~x1608 ~x4242 ~x5935 ~x7628 
44.47/44.69	v ~x2550 ~x1609 ~x4243 ~x5936 ~x7629 ~x2551 ~x1610 ~x4244 ~x5937 ~x7630 
44.47/44.69	v ~x2552 ~x1611 ~x4245 ~x5938 ~x7631 ~x2553 ~x1612 ~x4246 ~x5939 ~x7632 
44.47/44.69	v ~x2554 ~x1613 ~x4247 ~x5940 ~x7633 ~x2555 ~x1614 ~x4248 ~x5941 ~x7634 
44.47/44.69	v ~x2556 ~x1615 ~x4249 ~x5942 ~x7635 ~x2557 ~x1616 ~x4250 ~x5943 ~x7636 
44.47/44.69	v ~x2558 ~x1617 ~x4251 ~x5944 ~x7637 ~x2559 ~x1618 ~x4252 ~x5945 ~x7638 
44.47/44.69	v ~x2560 ~x1619 ~x4253 ~x5946 ~x7639 ~x2561 ~x1620 ~x4254 ~x5947 ~x7640 
44.47/44.69	v ~x2562 x1621 ~x4255 ~x5948 ~x7641 ~x2563 ~x1622 ~x4256 ~x5949 ~x7642 
44.47/44.69	v ~x2564 ~x1623 ~x4257 ~x5950 ~x7643 ~x2565 ~x1624 ~x4258 ~x5951 ~x7644 
44.47/44.69	v ~x2566 ~x1625 ~x4259 ~x5952 ~x7645 ~x2567 ~x1626 ~x4260 ~x5953 ~x7646 
44.47/44.69	v ~x2568 ~x1627 ~x4261 ~x5954 ~x7647 ~x2569 ~x1628 ~x4262 ~x5955 ~x7648 
44.47/44.69	v ~x2570 ~x1629 ~x4263 ~x5956 ~x7649 ~x2571 ~x1630 ~x4264 ~x5957 ~x7650 
44.47/44.69	v ~x2572 ~x1631 ~x4265 ~x5958 ~x7651 ~x2573 ~x1632 ~x4266 ~x5959 ~x7652 
44.47/44.69	v ~x2574 ~x1633 ~x4267 ~x5960 ~x7653 ~x2575 ~x1634 ~x4268 ~x5961 ~x7654 
44.47/44.69	v ~x2576 ~x1635 ~x4269 ~x5962 ~x7655 ~x2577 ~x1636 ~x4270 ~x5963 ~x7656 
44.47/44.69	v ~x2578 ~x1637 ~x4271 ~x5964 ~x7657 ~x2579 ~x1638 ~x4272 ~x5965 ~x7658 
44.47/44.69	v ~x2580 ~x1639 ~x4273 ~x5966 ~x7659 x2581 ~x1640 ~x4274 ~x5967 ~x7660 
44.47/44.69	v ~x2582 ~x1641 ~x4275 ~x5968 ~x7661 ~x2583 ~x1642 ~x4276 ~x5969 ~x7662 
44.47/44.69	v ~x2584 ~x1643 ~x4277 ~x5970 ~x7663 ~x2585 ~x1644 ~x4278 ~x5971 ~x7664 
44.47/44.69	v ~x2586 ~x1645 ~x4279 ~x5972 ~x7665 ~x2587 ~x1646 ~x4280 ~x5973 ~x7666 
44.47/44.69	v ~x2588 ~x1647 ~x4281 ~x5974 ~x7667 ~x2589 ~x1648 ~x4282 ~x5975 ~x7668 
44.47/44.69	v ~x2590 ~x1649 ~x4283 ~x5976 ~x7669 ~x2591 ~x1650 ~x4284 ~x5977 ~x7670 
44.47/44.69	v ~x2592 ~x1651 ~x4285 ~x5978 ~x7671 ~x2593 ~x1652 ~x4286 ~x5979 ~x7672 
44.47/44.69	v ~x2594 ~x1653 ~x4287 ~x5980 ~x7673 ~x2595 ~x1654 ~x4288 ~x5981 ~x7674 
44.47/44.69	v ~x2596 ~x1655 ~x4289 ~x5982 ~x7675 ~x2597 ~x1656 ~x4290 ~x5983 ~x7676 
44.47/44.69	v ~x2598 ~x1657 ~x4291 ~x5984 ~x7677 ~x2599 ~x1658 ~x4292 ~x5985 ~x7678 
44.47/44.69	v ~x2600 ~x1659 ~x4293 ~x5986 ~x7679 ~x2601 ~x1660 ~x4294 ~x5987 ~x7680 
44.47/44.69	v ~x2602 ~x1661 ~x4295 ~x5988 ~x7681 ~x2603 ~x1662 ~x4296 ~x5989 ~x7682 
44.47/44.69	v ~x2604 ~x1663 ~x4297 ~x5990 ~x7683 ~x2605 ~x1664 ~x4298 ~x5991 ~x7684 
44.47/44.69	v ~x2606 ~x1665 ~x4299 ~x5992 ~x7685 ~x2607 ~x1666 ~x4300 ~x5993 ~x7686 
44.47/44.69	v ~x2608 ~x1667 ~x4301 ~x5994 ~x7687 ~x2609 ~x1668 ~x4302 ~x5995 ~x7688 
44.47/44.69	v ~x2610 ~x1669 ~x4303 ~x5996 ~x7689 ~x2611 ~x1670 ~x4304 ~x5997 ~x7690 
44.47/44.69	v ~x2612 ~x1671 ~x4305 ~x5998 ~x7691 ~x2613 ~x1672 ~x4306 ~x5999 ~x7692 
44.47/44.69	v ~x2614 ~x1673 ~x4307 ~x6000 ~x7693 ~x2615 ~x1674 ~x4308 ~x6001 ~x7694 
44.47/44.69	v ~x2616 ~x1675 ~x4309 ~x6002 ~x7695 ~x2617 ~x1676 ~x4310 ~x6003 ~x7696 
44.47/44.69	v ~x2618 ~x1677 ~x4311 ~x6004 ~x7697 ~x2619 ~x1678 ~x4312 ~x6005 ~x7698 
44.47/44.69	v ~x2620 ~x1679 ~x4313 ~x6006 ~x7699 ~x2621 ~x1680 ~x4314 ~x6007 ~x7700 
44.47/44.69	v ~x2622 x1681 ~x4315 ~x6008 ~x2623 x1682 ~x4316 ~x6009 ~x2624 ~x1683 
44.47/44.69	v ~x4317 ~x6010 ~x2625 ~x1684 ~x4318 ~x6011 ~x2626 ~x1685 ~x4319 ~x6012 
44.47/44.69	v ~x2627 ~x1686 ~x4320 ~x6013 ~x2628 ~x1687 ~x4321 ~x6014 ~x2629 ~x1688 
44.47/44.69	v ~x4322 ~x6015 ~x2630 ~x1689 ~x4323 ~x6016 ~x2631 ~x1690 ~x4324 ~x6017 
44.47/44.69	v ~x2632 ~x1691 ~x4325 ~x6018 ~x2633 ~x1692 ~x4326 ~x6019 ~x2634 ~x1693 
44.47/44.69	v ~x4327 ~x6020 ~x1 ~x2635 ~x1694 ~x4328 ~x6021 ~x2 ~x2636 ~x1695 
44.47/44.69	v ~x4329 ~x6022 ~x3 ~x2637 ~x1696 ~x4330 ~x6023 ~x4 ~x2638 ~x1697 
44.47/44.69	v ~x4331 ~x6024 ~x5 ~x2639 ~x1698 ~x4332 ~x6025 ~x6 ~x2640 ~x1699 
44.47/44.69	v ~x4333 ~x6026 ~x7 ~x2641 ~x1700 ~x4334 ~x6027 ~x8 ~x2642 ~x1701 
44.47/44.69	v ~x4335 ~x6028 ~x9 ~x2643 ~x1702 ~x4336 ~x6029 ~x10 ~x2644 ~x1703 
44.47/44.69	v ~x4337 ~x6030 ~x11 ~x2645 ~x1704 ~x4338 ~x6031 ~x12 ~x2646 ~x1705 
44.47/44.69	v ~x4339 ~x6032 ~x13 ~x2647 ~x1706 ~x4340 ~x6033 ~x14 ~x2648 ~x1707 
44.47/44.69	v ~x4341 ~x6034 ~x15 ~x2649 ~x1708 ~x4342 ~x6035 ~x16 ~x2650 ~x1709 
44.47/44.69	v ~x4343 ~x6036 ~x17 ~x2651 ~x1710 ~x4344 ~x6037 ~x18 ~x2652 x1711 
44.47/44.69	v ~x4345 ~x6038 ~x19 ~x2653 ~x1712 ~x4346 ~x6039 ~x20 ~x2654 ~x1713 
44.47/44.69	v ~x4347 ~x6040 ~x21 ~x2655 ~x1714 ~x4348 ~x6041 ~x22 ~x2656 ~x1715 
44.47/44.69	v ~x4349 ~x6042 ~x23 ~x2657 ~x1716 ~x4350 ~x6043 ~x24 ~x2658 ~x1717 
44.47/44.69	v ~x4351 ~x6044 ~x25 ~x2659 ~x1718 ~x4352 ~x6045 ~x26 ~x2660 ~x1719 
44.47/44.69	v ~x4353 ~x6046 ~x27 ~x2661 ~x1720 ~x4354 ~x6047 ~x28 ~x2662 ~x1721 
44.47/44.69	v ~x4355 ~x6048 ~x29 ~x2663 ~x1722 ~x4356 ~x6049 ~x30 ~x2664 ~x1723 
44.47/44.69	v ~x4357 ~x6050 ~x31 ~x2665 ~x1724 ~x4358 ~x6051 ~x32 ~x2666 ~x1725 
44.47/44.69	v ~x4359 ~x6052 ~x33 ~x2667 ~x1726 ~x4360 ~x6053 ~x34 ~x2668 ~x1727 
44.47/44.69	v ~x4361 ~x6054 ~x35 ~x2669 ~x1728 ~x4362 ~x6055 ~x36 ~x2670 ~x1729 
44.47/44.69	v ~x4363 ~x6056 ~x37 ~x2671 ~x1730 ~x4364 ~x6057 ~x38 ~x2672 ~x1731 
44.47/44.69	v ~x4365 ~x6058 ~x39 ~x2673 ~x1732 ~x4366 ~x6059 ~x40 ~x2674 ~x1733 
44.47/44.69	v ~x4367 ~x6060 ~x41 ~x2675 ~x1734 ~x4368 ~x6061 ~x42 ~x2676 ~x1735 
44.47/44.69	v ~x4369 ~x6062 ~x43 ~x2677 ~x1736 ~x4370 ~x6063 ~x44 ~x2678 ~x1737 
44.47/44.69	v ~x4371 ~x6064 ~x45 ~x2679 ~x1738 ~x4372 ~x6065 ~x46 ~x2680 ~x1739 
44.47/44.69	v ~x4373 ~x6066 ~x47 ~x2681 ~x1740 ~x4374 ~x6067 ~x48 ~x2682 ~x1741 
44.47/44.69	v ~x4375 ~x6068 ~x49 ~x2683 ~x1742 ~x4376 ~x6069 ~x50 ~x2684 ~x1743 
44.47/44.69	v ~x4377 ~x6070 ~x51 ~x2685 ~x1744 ~x4378 ~x6071 ~x52 ~x2686 ~x1745 
44.47/44.69	v ~x4379 ~x6072 ~x53 ~x2687 ~x1746 ~x4380 ~x6073 ~x54 ~x2688 ~x1747 
44.47/44.69	v ~x4381 ~x6074 ~x55 ~x2689 ~x1748 ~x4382 ~x6075 ~x56 ~x2690 ~x1749 
44.47/44.69	v ~x4383 ~x6076 ~x57 ~x2691 ~x1750 ~x4384 ~x6077 ~x58 ~x2692 ~x1751 
44.47/44.69	v ~x4385 ~x6078 ~x59 ~x2693 ~x1752 ~x4386 ~x6079 ~x60 ~x2694 ~x1753 
44.47/44.69	v ~x4387 ~x6080 ~x61 ~x2695 ~x1754 ~x4388 ~x6081 ~x62 ~x2696 ~x1755 
44.47/44.69	v ~x4389 ~x6082 ~x63 ~x2697 ~x1756 ~x4390 ~x6083 ~x64 ~x2698 ~x1757 
44.47/44.69	v ~x4391 ~x6084 ~x65 ~x2699 ~x1758 ~x4392 ~x6085 ~x66 ~x2700 ~x1759 
44.47/44.69	v ~x4393 ~x6086 ~x67 ~x2701 ~x1760 ~x4394 ~x6087 ~x68 ~x2702 ~x1761 
44.47/44.69	v ~x4395 ~x6088 ~x69 ~x2703 ~x1762 ~x4396 ~x6089 ~x70 ~x2704 ~x1763 
44.47/44.69	v ~x4397 ~x6090 ~x71 ~x2705 ~x1764 ~x4398 ~x6091 ~x72 ~x2706 ~x1765 
44.47/44.69	v ~x4399 ~x6092 ~x73 ~x2707 ~x1766 ~x4400 ~x6093 ~x74 ~x2708 ~x1767 
44.47/44.69	v ~x4401 ~x6094 ~x75 ~x2709 ~x1768 ~x4402 ~x6095 ~x76 ~x2710 ~x1769 
44.47/44.69	v ~x4403 ~x6096 ~x77 ~x2711 ~x1770 ~x4404 ~x6097 ~x78 ~x2712 ~x1771 
44.47/44.69	v ~x4405 ~x6098 ~x79 ~x2713 ~x1772 ~x4406 ~x6099 ~x80 ~x2714 ~x1773 
44.47/44.69	v ~x4407 ~x6100 ~x81 ~x2715 ~x1774 ~x4408 ~x6101 ~x82 ~x2716 ~x1775 
44.47/44.69	v ~x4409 ~x6102 ~x83 ~x2717 ~x1776 ~x4410 ~x6103 ~x84 ~x2718 ~x1777 
44.47/44.69	v ~x4411 ~x6104 ~x85 ~x2719 ~x1778 ~x4412 ~x6105 ~x86 ~x2720 ~x1779 
44.47/44.69	v ~x4413 ~x6106 ~x87 ~x2721 ~x1780 ~x4414 ~x6107 ~x88 ~x2722 ~x1781 
44.47/44.69	v ~x4415 ~x6108 ~x89 ~x2723 ~x1782 ~x4416 ~x6109 ~x90 ~x2724 ~x1783 
44.47/44.69	v ~x4417 ~x6110 ~x91 ~x2725 ~x1784 ~x4418 ~x6111 ~x92 ~x2726 ~x1785 
44.47/44.69	v ~x4419 ~x6112 ~x93 ~x2727 ~x1786 ~x4420 ~x6113 ~x94 ~x2728 ~x1787 
44.47/44.69	v ~x4421 ~x6114 ~x95 ~x2729 ~x1788 ~x4422 ~x6115 ~x96 ~x2730 ~x1789 
44.47/44.69	v ~x4423 ~x6116 ~x97 ~x2731 ~x1790 ~x4424 ~x6117 ~x98 ~x2732 ~x1791 
44.47/44.69	v ~x4425 ~x6118 ~x99 ~x2733 ~x1792 ~x4426 ~x6119 ~x100 ~x2734 ~x1793 
44.47/44.69	v ~x4427 ~x6120 ~x101 ~x2735 ~x1794 ~x4428 ~x6121 ~x102 ~x2736 ~x1795 
44.47/44.69	v ~x4429 ~x6122 ~x103 ~x2737 ~x1796 ~x4430 ~x6123 ~x104 ~x2738 ~x1797 
44.47/44.69	v ~x4431 ~x6124 ~x105 ~x2739 ~x1798 ~x4432 ~x6125 ~x106 ~x2740 ~x1799 
44.47/44.69	v ~x4433 ~x6126 ~x107 ~x2741 ~x1800 ~x4434 ~x6127 ~x108 ~x2742 ~x1801 
44.47/44.69	v ~x4435 ~x6128 ~x109 ~x2743 ~x1802 ~x4436 ~x6129 ~x110 ~x2744 ~x1803 
44.47/44.69	v ~x4437 ~x6130 ~x111 ~x2745 ~x1804 ~x4438 ~x6131 ~x112 ~x2746 ~x1805 
44.47/44.69	v ~x4439 ~x6132 ~x113 ~x2747 ~x1806 ~x4440 ~x6133 ~x114 ~x2748 ~x1807 
44.47/44.69	v ~x4441 ~x6134 ~x115 ~x2749 ~x1808 ~x4442 ~x6135 ~x116 ~x2750 ~x1809 
44.47/44.69	v ~x4443 ~x6136 ~x117 ~x2751 ~x1810 ~x4444 ~x6137 ~x118 ~x2752 ~x1811 
44.47/44.69	v ~x4445 ~x6138 ~x119 ~x2753 ~x1812 ~x4446 ~x6139 ~x120 ~x2754 ~x1813 
44.47/44.69	v ~x4447 ~x6140 ~x121 ~x2755 ~x1814 ~x4448 ~x6141 ~x122 ~x2756 ~x1815 
44.47/44.69	v ~x4449 ~x6142 ~x123 ~x2757 ~x1816 ~x4450 ~x6143 ~x124 ~x2758 ~x1817 
44.47/44.69	v ~x4451 ~x6144 ~x125 ~x2759 ~x1818 ~x4452 ~x6145 ~x126 ~x2760 ~x1819 
44.47/44.69	v ~x4453 ~x6146 ~x127 ~x2761 ~x1820 ~x4454 ~x6147 ~x128 ~x2762 ~x1821 
44.47/44.69	v ~x4455 ~x6148 ~x129 ~x2763 ~x1822 ~x4456 ~x6149 ~x130 ~x2764 ~x1823 
44.47/44.69	v ~x4457 ~x6150 ~x131 ~x2765 ~x1824 ~x4458 ~x6151 ~x132 ~x2766 ~x1825 
44.47/44.69	v ~x4459 ~x6152 ~x133 ~x2767 ~x1826 ~x4460 ~x6153 ~x134 ~x2768 ~x1827 
44.47/44.69	v ~x4461 ~x6154 ~x135 ~x2769 ~x1828 ~x4462 ~x6155 ~x136 ~x2770 ~x1829 
44.47/44.69	v ~x4463 ~x6156 ~x137 ~x2771 ~x1830 ~x4464 ~x6157 ~x138 ~x2772 ~x1831 
44.47/44.69	v ~x4465 ~x6158 ~x139 ~x2773 ~x1832 ~x4466 ~x6159 ~x140 ~x2774 ~x1833 
44.47/44.69	v ~x4467 ~x6160 ~x141 ~x2775 ~x1834 ~x4468 ~x6161 ~x142 ~x2776 ~x1835 
44.47/44.69	v ~x4469 ~x6162 ~x143 ~x2777 ~x1836 ~x4470 ~x6163 ~x144 ~x2778 ~x1837 
44.47/44.69	v ~x4471 ~x6164 ~x145 ~x2779 ~x1838 ~x4472 ~x6165 ~x146 ~x2780 ~x1839 
44.47/44.69	v ~x4473 ~x6166 ~x147 ~x2781 ~x1840 ~x4474 ~x6167 ~x148 ~x2782 ~x1841 
44.47/44.69	v ~x4475 ~x6168 ~x149 ~x2783 ~x1842 ~x4476 ~x6169 ~x150 ~x2784 ~x1843 
44.47/44.69	v ~x4477 ~x6170 ~x151 ~x2785 ~x1844 ~x4478 ~x6171 ~x152 ~x2786 ~x1845 
44.47/44.69	v ~x4479 ~x6172 ~x153 ~x2787 ~x1846 ~x4480 ~x6173 ~x154 ~x2788 ~x1847 
44.47/44.69	v ~x4481 ~x6174 ~x155 ~x2789 ~x1848 ~x4482 ~x6175 ~x156 ~x2790 ~x1849 
44.47/44.69	v ~x4483 ~x6176 ~x157 ~x2791 ~x1850 ~x4484 ~x6177 ~x158 ~x2792 ~x7702 
44.47/44.69	v ~x4485 ~x6178 ~x159 ~x2793 ~x7707 ~x4486 ~x6179 ~x160 ~x2794 ~x7711 
44.47/44.69	v ~x4487 ~x6180 ~x161 ~x2795 ~x7712 ~x4488 ~x6181 ~x162 ~x2796 ~x7713 
44.47/44.69	v ~x4489 ~x6182 ~x163 ~x2797 ~x7714 ~x4490 ~x6183 ~x164 ~x2798 ~x7715 
44.47/44.69	v ~x4491 ~x6184 ~x165 ~x2799 ~x7718 ~x4492 ~x6185 ~x166 ~x2800 ~x7723 
44.47/44.69	v ~x4493 ~x6186 ~x167 ~x2801 ~x7728 ~x4494 ~x6187 ~x168 ~x2802 ~x7703 
44.47/44.69	v ~x4495 ~x6188 ~x169 ~x2803 ~x7708 ~x4496 ~x6189 ~x170 ~x2804 ~x7716 
44.47/44.69	v ~x4497 ~x6190 ~x171 ~x2805 ~x7717 ~x4498 ~x6191 ~x172 ~x2806 ~x7719 
44.47/44.69	v ~x4499 ~x6192 ~x173 ~x2807 ~x7720 ~x4500 ~x6193 ~x174 ~x2808 ~x7724 
44.47/44.69	v ~x4501 ~x6194 ~x175 ~x2809 ~x7729 ~x4502 ~x6195 x176 ~x2810 ~x7704 
44.47/44.69	v ~x4503 ~x6196 ~x177 ~x2811 ~x7709 ~x4504 ~x6197 ~x178 ~x2812 ~x7721 
44.47/44.69	v ~x4505 ~x6198 ~x179 ~x2813 ~x7722 ~x4506 ~x6199 ~x180 ~x2814 ~x7725 
44.47/44.69	v ~x4507 ~x6200 ~x181 ~x2815 ~x7730 ~x4508 ~x6201 ~x182 ~x2816 ~x7705 
44.47/44.69	v ~x4509 ~x6202 ~x183 ~x2817 ~x7710 ~x4510 ~x6203 ~x184 ~x2818 ~x7726 
44.47/44.69	v ~x4511 ~x6204 ~x185 ~x2819 ~x7727 ~x4512 ~x6205 ~x186 ~x2820 ~x7731 
44.47/44.69	v ~x4513 ~x6206 ~x187 ~x2821 ~x7736 ~x4514 ~x6207 ~x188 ~x2822 ~x7737 
44.47/44.69	v ~x4515 ~x6208 ~x189 ~x2823 ~x7738 ~x4516 ~x6209 ~x190 ~x2824 ~x7739 
44.47/44.69	v ~x4517 ~x6210 ~x191 ~x2825 ~x7740 ~x4518 ~x6211 ~x192 ~x2826 ~x7742 
44.47/44.69	v ~x4519 ~x6212 ~x193 ~x2827 ~x7747 ~x4520 ~x6213 ~x194 ~x2828 ~x7752 
44.47/44.69	v ~x4521 ~x6214 ~x195 ~x2829 ~x7757 ~x4522 ~x6215 ~x196 ~x2830 ~x7733 
44.47/44.69	v ~x4523 ~x6216 ~x197 ~x2831 ~x7743 ~x4524 ~x6217 ~x198 ~x2832 ~x7746 
44.47/44.69	v ~x4525 ~x6218 ~x199 ~x2833 ~x7748 ~x4526 ~x6219 ~x200 ~x2834 ~x7749 
44.47/44.69	v ~x4527 ~x6220 ~x201 ~x2835 ~x7750 ~x4528 ~x6221 ~x202 ~x2836 ~x7754 
44.47/44.69	v ~x4529 ~x6222 ~x203 ~x2837 ~x7759 ~x4530 ~x6223 ~x204 ~x2838 ~x7734 
44.47/44.69	v ~x4531 ~x6224 ~x205 ~x2839 ~x7744 ~x4532 ~x6225 ~x206 ~x2840 ~x7751 
44.47/44.69	v ~x4533 ~x6226 ~x207 ~x2841 ~x7753 ~x4534 ~x6227 ~x208 ~x2842 ~x7755 
44.47/44.69	v ~x4535 ~x6228 ~x209 ~x2843 ~x7760 ~x4536 ~x6229 ~x210 ~x2844 ~x7735 
44.47/44.69	v ~x4537 ~x6230 ~x211 ~x2845 ~x7745 ~x4538 ~x6231 ~x212 ~x2846 ~x7756 
44.47/44.69	v ~x4539 ~x6232 ~x213 ~x2847 ~x7758 ~x4540 ~x6233 ~x214 ~x2848 ~x7761 
44.47/44.69	v ~x4541 ~x6234 ~x215 ~x2849 ~x7766 ~x4542 ~x6235 ~x216 ~x2850 ~x7767 
44.47/44.69	v ~x4543 ~x6236 ~x217 ~x2851 ~x7768 ~x4544 ~x6237 ~x218 ~x2852 ~x7769 
44.47/44.69	v ~x4545 ~x6238 ~x219 ~x2853 ~x7770 ~x4546 ~x6239 x220 ~x2854 ~x7772 
44.47/44.69	v ~x4547 ~x6240 ~x221 ~x2855 ~x7777 ~x4548 ~x6241 ~x222 ~x2856 ~x7782 
44.47/44.69	v ~x4549 ~x6242 ~x223 ~x2857 ~x7787 ~x4550 ~x6243 ~x224 ~x2858 ~x7762 
44.47/44.69	v ~x4551 ~x6244 ~x225 ~x2859 ~x7771 ~x4552 ~x6245 ~x226 ~x2860 ~x7773 
44.47/44.69	v ~x4553 ~x6246 ~x227 ~x2861 ~x7774 ~x4554 ~x6247 ~x228 ~x2862 ~x7775 
44.47/44.69	v ~x4555 ~x6248 ~x229 ~x2863 ~x7778 ~x4556 ~x6249 ~x230 ~x2864 ~x7783 
44.47/44.69	v ~x4557 ~x6250 x231 ~x2865 ~x7788 ~x4558 ~x6251 ~x232 ~x2866 ~x7764 
44.47/44.69	v ~x4559 ~x6252 ~x233 ~x2867 ~x7779 ~x4560 ~x6253 ~x234 ~x2868 ~x7781 
44.47/44.69	v ~x4561 ~x6254 ~x235 ~x2869 ~x7784 ~x4562 ~x6255 ~x236 ~x2870 ~x7785 
44.47/44.69	v ~x4563 ~x6256 ~x237 ~x2871 ~x7790 ~x4564 ~x6257 ~x238 ~x2872 ~x7765 
44.47/44.69	v ~x4565 ~x6258 ~x239 ~x2873 ~x7780 ~x4566 ~x6259 ~x240 ~x2874 ~x7786 
44.47/44.69	v ~x4567 ~x6260 ~x241 ~x2875 ~x7789 ~x4568 ~x6261 x242 ~x2876 ~x7791 
44.47/44.69	v ~x4569 ~x6262 ~x243 ~x2877 ~x7796 ~x4570 ~x6263 ~x244 ~x2878 ~x7797 
44.47/44.69	v ~x4571 ~x6264 ~x245 ~x2879 ~x7798 ~x4572 ~x6265 ~x246 ~x2880 ~x7799 
44.47/44.69	v ~x4573 ~x6266 ~x247 ~x2881 ~x7800 ~x4574 ~x6267 ~x248 ~x2882 ~x7802 
44.47/44.69	v ~x4575 ~x6268 ~x249 ~x2883 ~x7807 ~x4576 ~x6269 ~x250 ~x2884 ~x7812 
44.47/44.69	v ~x4577 ~x6270 ~x251 ~x2885 ~x7817 ~x4578 ~x6271 ~x252 ~x2886 ~x7792 
44.47/44.69	v ~x4579 ~x6272 ~x253 ~x2887 ~x7801 ~x4580 ~x6273 ~x254 ~x2888 ~x7803 
44.47/44.69	v ~x4581 ~x6274 ~x255 ~x2889 ~x7804 ~x4582 ~x6275 ~x256 ~x2890 ~x7805 
44.47/44.69	v ~x4583 ~x6276 ~x257 ~x2891 ~x7808 ~x4584 ~x6277 ~x258 ~x2892 ~x7813 
44.47/44.69	v ~x4585 ~x6278 ~x259 ~x2893 ~x7818 ~x4586 ~x6279 ~x260 ~x2894 ~x7793 
44.47/44.70	v ~x4587 ~x6280 ~x261 ~x2895 ~x7806 ~x4588 ~x6281 ~x262 ~x2896 ~x7809 
44.47/44.70	v ~x4589 ~x6282 ~x263 ~x2897 ~x7810 ~x4590 ~x6283 ~x264 ~x2898 ~x7814 
44.47/44.70	v ~x4591 ~x6284 ~x265 ~x2899 ~x7819 ~x4592 ~x6285 ~x266 ~x2900 ~x7795 
44.47/44.70	v ~x4593 ~x6286 ~x267 ~x2901 ~x7815 ~x4594 ~x6287 ~x268 ~x2902 ~x7816 
44.47/44.70	v ~x4595 ~x6288 ~x269 ~x2903 ~x7820 ~x4596 ~x6289 ~x270 ~x2904 ~x7821 
44.47/44.70	v ~x4597 ~x6290 ~x271 ~x2905 ~x7826 ~x4598 ~x6291 ~x272 ~x2906 ~x7827 
44.47/44.70	v ~x4599 ~x6292 ~x273 ~x2907 ~x7828 ~x4600 ~x6293 ~x274 ~x2908 ~x7829 
44.47/44.70	v ~x4601 ~x6294 x275 ~x2909 ~x7830 ~x4602 ~x6295 ~x276 ~x2910 ~x7832 
44.47/44.70	v ~x4603 ~x6296 ~x277 ~x2911 ~x7837 ~x4604 ~x6297 ~x278 ~x2912 ~x7842 
44.47/44.70	v ~x4605 ~x6298 ~x279 ~x2913 ~x7847 ~x4606 ~x6299 ~x280 ~x2914 ~x7822 
44.47/44.70	v ~x4607 ~x6300 ~x281 ~x2915 ~x7831 ~x4608 ~x6301 ~x282 ~x2916 ~x7833 
44.47/44.70	v ~x4609 ~x6302 ~x283 ~x2917 ~x7834 ~x4610 ~x6303 ~x284 ~x2918 ~x7835 
44.47/44.70	v ~x4611 ~x6304 ~x285 ~x2919 ~x7838 ~x4612 ~x6305 ~x286 ~x2920 ~x7843 
44.47/44.70	v ~x4613 ~x6306 ~x287 ~x2921 ~x7848 ~x4614 ~x6307 ~x288 ~x2922 ~x7823 
44.47/44.70	v ~x4615 ~x6308 ~x289 ~x2923 ~x7836 ~x4616 ~x6309 ~x290 ~x2924 ~x7839 
44.47/44.70	v ~x4617 ~x6310 ~x291 ~x2925 ~x7840 ~x4618 ~x6311 ~x292 ~x2926 ~x7844 
44.47/44.70	v ~x4619 ~x6312 ~x293 ~x2927 ~x7849 ~x4620 ~x6313 ~x294 ~x2928 ~x7824 
44.47/44.70	v x4621 ~x6314 ~x295 ~x2929 ~x7841 ~x4622 ~x6315 ~x296 ~x2930 ~x7845 
44.47/44.70	v ~x4623 ~x6316 ~x297 ~x2931 ~x7850 ~x4624 ~x6317 ~x298 ~x2932 ~x7852 
44.47/44.70	v ~x4625 ~x6318 ~x299 ~x2933 ~x7857 ~x4626 ~x6319 ~x300 ~x2934 ~x7861 
44.47/44.70	v ~x4627 ~x6320 ~x301 ~x2935 ~x7862 ~x4628 ~x6321 ~x302 ~x2936 ~x7863 
44.47/44.70	v ~x4629 ~x6322 ~x303 ~x2937 ~x7864 ~x4630 ~x6323 ~x304 ~x2938 ~x7865 
44.47/44.70	v ~x4631 ~x6324 ~x305 ~x2939 ~x7868 ~x4632 ~x6325 ~x306 ~x2940 ~x7873 
44.47/44.70	v ~x4633 ~x6326 ~x307 ~x2941 ~x7878 ~x4634 ~x6327 ~x308 ~x2942 ~x7853 
44.47/44.70	v ~x4635 ~x6328 ~x309 ~x2943 ~x7858 ~x4636 ~x6329 ~x310 ~x2944 ~x7866 
44.47/44.70	v ~x4637 ~x6330 ~x311 ~x2945 ~x7867 ~x4638 ~x6331 ~x312 ~x2946 ~x7869 
44.47/44.70	v ~x4639 ~x6332 ~x313 ~x2947 ~x7870 ~x4640 ~x6333 ~x314 ~x2948 ~x7874 
44.47/44.70	v ~x4641 ~x6334 ~x315 ~x2949 ~x7879 ~x4642 ~x6335 ~x316 ~x2950 ~x7854 
44.47/44.70	v ~x4643 ~x6336 ~x317 ~x2951 ~x7859 ~x4644 ~x6337 ~x318 ~x2952 ~x7871 
44.47/44.70	v ~x4645 ~x6338 ~x319 ~x2953 ~x7872 ~x4646 ~x6339 ~x320 ~x2954 ~x7875 
44.47/44.70	v ~x4647 ~x6340 ~x321 ~x2955 ~x7880 ~x4648 ~x6341 ~x322 ~x2956 ~x7855 
44.47/44.70	v ~x4649 ~x6342 ~x323 ~x2957 x7860 ~x4650 ~x6343 ~x324 ~x2958 x7876 
44.47/44.70	v ~x4651 ~x6344 ~x325 ~x2959 ~x7877 ~x4652 ~x6345 ~x326 ~x2960 ~x7881 
44.47/44.70	v ~x4653 ~x6346 ~x327 ~x2961 ~x7882 ~x4654 ~x6347 ~x328 ~x2962 ~x7883 
44.47/44.70	v ~x4655 ~x6348 ~x329 ~x2963 ~x7884 ~x4656 ~x6349 ~x330 ~x2964 ~x7885 
44.47/44.70	v ~x4657 ~x6350 ~x331 ~x2965 ~x7886 ~x4658 ~x6351 ~x332 ~x2966 ~x7891 
44.47/44.70	v ~x4659 ~x6352 ~x333 ~x2967 ~x7896 ~x4660 ~x6353 ~x334 ~x2968 ~x7901 
44.47/44.70	v ~x4661 ~x6354 ~x335 ~x2969 ~x7906 ~x4662 ~x6355 ~x336 ~x2970 ~x7888 
44.47/44.70	v ~x4663 ~x6356 ~x337 ~x2971 ~x7893 ~x4664 ~x6357 ~x338 ~x2972 ~x7897 
44.47/44.70	v ~x4665 ~x6358 ~x339 ~x2973 ~x7898 ~x4666 ~x6359 ~x340 ~x2974 ~x7899 
44.47/44.70	v ~x4667 ~x6360 ~x341 ~x2975 ~x7900 ~x4668 ~x6361 ~x342 ~x2976 ~x7904 
44.47/44.70	v ~x4669 ~x6362 ~x343 ~x2977 ~x7909 ~x4670 ~x6363 ~x344 ~x2978 ~x7889 
44.47/44.70	v ~x4671 ~x6364 ~x345 ~x2979 ~x7894 ~x4672 ~x6365 ~x346 ~x2980 ~x7902 
44.47/44.70	v ~x4673 ~x6366 ~x347 ~x2981 ~x7903 ~x4674 ~x6367 ~x348 ~x2982 ~x7905 
44.47/44.70	v ~x4675 ~x6368 ~x349 ~x2983 ~x7910 ~x4676 ~x6369 ~x350 ~x2984 ~x7890 
44.47/44.70	v ~x4677 ~x6370 ~x351 ~x2985 ~x7895 ~x4678 ~x6371 ~x352 ~x2986 ~x7907 
44.47/44.70	v ~x4679 ~x6372 ~x353 ~x2987 ~x7908 ~x4680 ~x6373 ~x354 ~x2988 ~x7911 
44.47/44.70	v ~x4681 ~x6374 ~x355 ~x2989 ~x7912 ~x4682 ~x6375 ~x356 ~x2990 ~x7913 
44.47/44.70	v ~x4683 ~x6376 ~x357 ~x2991 ~x7914 ~x4684 ~x6377 ~x358 ~x2992 ~x7915 
44.47/44.70	v ~x4685 ~x6378 ~x359 ~x2993 ~x7916 ~x4686 ~x6379 ~x360 ~x2994 ~x7921 
44.47/44.70	v ~x4687 ~x6380 ~x361 ~x2995 ~x7926 ~x4688 ~x6381 ~x362 ~x2996 ~x7931 
44.47/44.70	v ~x4689 ~x6382 ~x363 ~x2997 ~x7936 ~x4690 ~x6383 ~x364 ~x2998 ~x7917 
44.47/44.70	v ~x4691 ~x6384 ~x365 ~x2999 ~x7922 ~x4692 ~x6385 ~x366 ~x3000 ~x7923 
44.47/44.70	v ~x4693 ~x6386 ~x367 ~x3001 ~x7924 ~x4694 ~x6387 ~x368 ~x3002 ~x7925 
44.47/44.70	v ~x4695 ~x6388 ~x369 ~x3003 ~x7928 ~x4696 ~x6389 ~x370 ~x3004 ~x7933 
44.47/44.70	v ~x4697 ~x6390 ~x371 ~x3005 ~x7938 ~x4698 ~x6391 ~x372 ~x3006 ~x7919 
44.47/44.70	v ~x4699 ~x6392 ~x373 ~x3007 ~x7929 ~x4700 ~x6393 ~x374 ~x3008 ~x7932 
44.47/44.70	v ~x4701 ~x6394 ~x375 ~x3009 ~x7934 ~x4702 ~x6395 ~x376 ~x3010 ~x7935 
44.47/44.70	v ~x4703 ~x6396 ~x377 ~x3011 ~x7940 ~x4704 ~x6397 ~x378 ~x3012 ~x7920 
44.47/44.70	v ~x4705 ~x6398 ~x379 ~x3013 ~x7930 ~x4706 ~x6399 ~x380 ~x3014 ~x7937 
44.47/44.70	v ~x4707 ~x6400 ~x381 ~x3015 ~x7939 ~x4708 ~x6401 ~x382 ~x3016 ~x7941 
44.47/44.70	v ~x4709 ~x6402 ~x383 ~x3017 ~x7942 ~x4710 ~x6403 ~x384 ~x3018 ~x7943 
44.47/44.70	v ~x4711 ~x6404 ~x385 ~x3019 ~x7944 ~x4712 ~x6405 ~x386 ~x3020 ~x7945 
44.47/44.70	v ~x4713 ~x6406 ~x387 ~x3021 ~x7946 ~x4714 ~x6407 ~x388 ~x3022 ~x7951 
44.47/44.70	v ~x4715 ~x6408 ~x389 ~x3023 ~x7956 ~x4716 ~x6409 ~x390 ~x3024 ~x7961 
44.47/44.70	v ~x4717 ~x6410 ~x391 ~x3025 ~x7966 ~x4718 ~x6411 ~x392 ~x3026 ~x7947 
44.47/44.70	v ~x4719 ~x6412 ~x393 ~x3027 ~x7952 ~x4720 ~x6413 ~x394 ~x3028 ~x7953 
44.47/44.70	v ~x4721 ~x6414 ~x395 ~x3029 ~x7954 ~x4722 ~x6415 x396 ~x3030 ~x7955 
44.47/44.70	v ~x4723 ~x6416 ~x397 ~x3031 ~x7958 ~x4724 ~x6417 ~x398 ~x3032 ~x7963 
44.47/44.70	v ~x4725 ~x6418 ~x399 ~x3033 ~x7968 ~x4726 ~x6419 ~x400 ~x3034 ~x7948 
44.47/44.70	v ~x4727 ~x6420 ~x401 ~x3035 ~x7957 ~x4728 ~x6421 ~x402 ~x3036 ~x7959 
44.47/44.70	v ~x4729 ~x6422 ~x403 ~x3037 ~x7960 ~x4730 ~x6423 ~x404 ~x3038 ~x7964 
44.47/44.70	v ~x4731 ~x6424 ~x405 ~x3039 ~x7969 ~x4732 ~x6425 ~x406 ~x3040 ~x7950 
44.47/44.70	v ~x4733 ~x6426 ~x407 ~x3041 ~x7965 ~x4734 ~x6427 ~x408 ~x3042 ~x7967 
44.47/44.70	v ~x4735 ~x6428 ~x409 ~x3043 ~x7970 ~x4736 ~x6429 ~x410 ~x3044 ~x7971 
44.47/44.70	v ~x4737 ~x6430 ~x411 ~x3045 ~x7972 ~x4738 ~x6431 ~x412 ~x3046 ~x7973 
44.47/44.70	v ~x4739 ~x6432 ~x413 ~x3047 ~x7974 ~x4740 ~x6433 ~x414 ~x3048 ~x7975 
44.47/44.70	v ~x4741 ~x6434 ~x415 ~x3049 ~x7976 ~x4742 ~x6435 ~x416 ~x3050 ~x7981 
44.47/44.70	v ~x4743 ~x6436 ~x417 ~x3051 ~x7986 ~x4744 ~x6437 ~x418 ~x3052 ~x7991 
44.47/44.70	v ~x4745 ~x6438 ~x419 ~x3053 ~x7996 ~x4746 ~x6439 ~x420 ~x3054 ~x7977 
44.47/44.70	v ~x4747 ~x6440 ~x421 ~x3055 ~x7982 ~x4748 ~x6441 ~x422 ~x3056 ~x7983 
44.47/44.70	v ~x4749 ~x6442 ~x423 ~x3057 ~x7984 ~x4750 ~x6443 ~x424 ~x3058 ~x7985 
44.47/44.70	v ~x4751 ~x6444 ~x425 ~x3059 ~x7988 ~x4752 ~x6445 ~x426 ~x3060 ~x7993 
44.47/44.70	v ~x4753 ~x6446 ~x427 x3061 ~x7998 ~x4754 ~x6447 ~x428 ~x3062 ~x7978 
44.47/44.70	v ~x4755 ~x6448 ~x429 ~x3063 ~x7987 ~x4756 ~x6449 ~x430 ~x3064 ~x7989 
44.47/44.70	v ~x4757 ~x6450 ~x431 ~x3065 ~x7990 ~x4758 x6451 ~x432 ~x3066 ~x7994 
44.47/44.70	v ~x4759 ~x6452 ~x433 ~x3067 ~x7999 ~x4760 ~x6453 ~x434 ~x3068 ~x7979 
44.47/44.70	v ~x4761 ~x6454 ~x435 ~x3069 ~x7992 ~x4762 ~x6455 ~x436 ~x3070 ~x7995 
44.47/44.70	v ~x4763 ~x6456 ~x437 ~x3071 ~x8000 ~x4764 ~x6457 ~x438 ~x3072 ~x8001 
44.47/44.70	v ~x4765 ~x6458 ~x439 ~x3073 ~x8006 ~x4766 ~x6459 x440 ~x3074 ~x8007 
44.47/44.70	v ~x4767 ~x6460 ~x441 ~x3075 ~x8008 ~x4768 ~x6461 ~x442 ~x3076 ~x8009 
44.47/44.70	v ~x4769 ~x6462 ~x443 ~x3077 x8010 ~x4770 ~x6463 ~x444 ~x3078 x8012 
44.47/44.70	v ~x4771 ~x6464 ~x445 ~x3079 ~x8017 ~x4772 ~x6465 ~x446 ~x3080 ~x8022 
44.47/44.70	v ~x4773 ~x6466 ~x447 ~x3081 ~x8027 ~x4774 ~x6467 ~x448 ~x3082 ~x8003 
44.47/44.70	v ~x4775 ~x6468 ~x449 ~x3083 ~x8013 ~x4776 ~x6469 ~x450 ~x3084 ~x8016 
44.47/44.70	v ~x4777 ~x6470 x451 ~x3085 ~x8018 ~x4778 ~x6471 ~x452 ~x3086 ~x8019 
44.47/44.70	v ~x4779 ~x6472 ~x453 ~x3087 ~x8020 ~x4780 ~x6473 ~x454 ~x3088 ~x8024 
44.47/44.70	v ~x4781 ~x6474 ~x455 ~x3089 ~x8029 ~x4782 ~x6475 ~x456 ~x3090 ~x8004 
44.47/44.70	v ~x4783 ~x6476 ~x457 ~x3091 ~x8014 ~x4784 ~x6477 ~x458 ~x3092 ~x8021 
44.47/44.70	v ~x4785 ~x6478 ~x459 ~x3093 ~x8023 ~x4786 ~x6479 ~x460 ~x3094 ~x8025 
44.47/44.70	v ~x4787 ~x6480 ~x461 ~x3095 ~x8030 ~x4788 ~x6481 x462 ~x3096 ~x8005 
44.47/44.70	v ~x4789 ~x6482 ~x463 ~x3097 ~x8015 ~x4790 ~x6483 ~x464 ~x3098 x8026 
44.47/44.70	v ~x4791 ~x6484 ~x465 ~x3099 ~x8028 ~x4792 ~x6485 ~x466 ~x3100 ~x8031 
44.47/44.70	v ~x4793 ~x6486 ~x467 ~x3101 ~x8032 ~x4794 ~x6487 ~x468 ~x3102 ~x8033 
44.47/44.70	v ~x4795 ~x6488 ~x469 ~x3103 ~x8034 ~x4796 ~x6489 ~x470 ~x3104 ~x8035 
44.47/44.70	v ~x4797 ~x6490 ~x471 ~x3105 ~x8036 ~x4798 ~x6491 ~x472 ~x3106 ~x8041 
44.47/44.70	v ~x4799 ~x6492 ~x473 ~x3107 ~x8046 ~x4800 ~x6493 ~x474 ~x3108 ~x8051 
44.47/44.70	v ~x4801 ~x6494 ~x475 ~x3109 ~x8056 ~x4802 ~x6495 ~x476 ~x3110 ~x8038 
44.47/44.70	v ~x4803 ~x6496 ~x477 ~x3111 ~x8043 ~x4804 ~x6497 ~x478 ~x3112 ~x8047 
44.47/44.70	v ~x4805 ~x6498 ~x479 ~x3113 ~x8048 ~x4806 ~x6499 ~x480 ~x3114 ~x8049 
44.47/44.70	v ~x4807 ~x6500 ~x481 ~x3115 ~x8050 ~x4808 ~x6501 ~x482 ~x3116 ~x8054 
44.47/44.70	v ~x4809 ~x6502 ~x483 ~x3117 ~x8059 ~x4810 ~x6503 ~x484 ~x3118 ~x8039 
44.47/44.70	v ~x4811 ~x6504 ~x485 ~x3119 ~x8044 ~x4812 ~x6505 ~x486 ~x3120 ~x8052 
44.47/44.70	v ~x4813 ~x6506 ~x487 ~x3121 ~x8053 ~x4814 ~x6507 ~x488 ~x3122 ~x8055 
44.47/44.70	v ~x4815 ~x6508 ~x489 ~x3123 ~x8060 ~x4816 ~x6509 ~x490 ~x3124 ~x8040 
44.47/44.70	v ~x4817 ~x6510 ~x491 ~x3125 ~x8045 ~x4818 ~x6511 ~x492 ~x3126 ~x8057 
44.47/44.70	v ~x4819 ~x6512 ~x493 ~x3127 ~x8058 ~x4820 ~x6513 ~x494 ~x3128 ~x8061 
44.47/44.70	v ~x4821 ~x6514 x495 ~x3129 ~x8062 ~x4822 ~x6515 ~x496 ~x3130 ~x8063 
44.47/44.70	v ~x4823 ~x6516 ~x497 ~x3131 ~x8064 ~x4824 ~x6517 ~x498 ~x3132 ~x8065 
44.47/44.70	v ~x4825 ~x6518 ~x499 ~x3133 ~x8066 ~x4826 ~x6519 ~x500 ~x3134 ~x8071 
44.47/44.70	v ~x4827 ~x6520 ~x501 ~x3135 ~x8076 ~x4828 ~x6521 ~x502 ~x3136 ~x8081 
44.47/44.70	v ~x4829 ~x6522 ~x503 ~x3137 ~x8086 ~x4830 ~x6523 ~x504 ~x3138 ~x8067 
44.47/44.70	v ~x4831 ~x6524 ~x505 ~x3139 ~x8068 ~x4832 ~x6525 x506 ~x3140 ~x8069 
44.47/44.70	v ~x4833 ~x6526 ~x507 ~x3141 ~x8070 ~x4834 ~x6527 ~x508 ~x3142 ~x8072 
44.47/44.70	v ~x4835 ~x6528 ~x509 ~x3143 ~x8077 ~x4836 ~x6529 ~x510 ~x3144 ~x8082 
44.47/44.70	v ~x4837 ~x6530 ~x511 ~x3145 ~x8087 ~x4838 ~x6531 ~x512 ~x3146 ~x8074 
44.47/44.70	v ~x4839 ~x6532 ~x513 ~x3147 ~x8079 ~x4840 ~x6533 ~x514 ~x3148 ~x8083 
44.47/44.70	v ~x4841 ~x6534 ~x515 ~x3149 ~x8084 ~x4842 ~x6535 ~x516 ~x3150 ~x8085 
44.47/44.70	v ~x4843 ~x6536 x517 ~x3151 ~x8090 ~x4844 ~x6537 ~x518 ~x3152 ~x8075 
44.47/44.70	v ~x4845 ~x6538 ~x519 ~x3153 ~x8080 ~x4846 ~x6539 ~x520 ~x3154 ~x8088 
44.47/44.70	v ~x4847 ~x6540 ~x521 ~x3155 ~x8089 ~x4848 ~x6541 ~x522 ~x3156 ~x8091 
44.47/44.70	v ~x4849 ~x6542 ~x523 ~x3157 ~x8092 ~x4850 ~x6543 ~x524 ~x3158 ~x8093 
44.47/44.70	v ~x4851 ~x6544 ~x525 ~x3159 ~x8094 ~x4852 ~x6545 ~x526 ~x3160 ~x8095 
44.47/44.70	v ~x4853 ~x6546 ~x527 ~x3161 ~x8096 ~x4854 ~x6547 x528 ~x3162 ~x8101 
44.47/44.70	v ~x4855 ~x6548 ~x529 ~x3163 ~x8106 ~x4856 ~x6549 ~x530 ~x3164 ~x8111 
44.47/44.70	v ~x4857 ~x6550 ~x531 ~x3165 ~x8116 ~x4858 ~x6551 ~x532 ~x3166 ~x8097 
44.47/44.70	v ~x4859 ~x6552 ~x533 ~x3167 ~x8098 ~x4860 ~x6553 ~x534 ~x3168 ~x8099 
44.47/44.70	v ~x4861 ~x6554 ~x535 ~x3169 ~x8100 ~x4862 ~x6555 ~x536 ~x3170 ~x8102 
44.47/44.70	v ~x4863 ~x6556 ~x537 ~x3171 ~x8107 ~x4864 ~x6557 ~x538 ~x3172 ~x8112 
44.47/44.70	v ~x4865 ~x6558 ~x539 ~x3173 ~x8117 ~x4866 ~x6559 ~x540 ~x3174 ~x8103 
44.47/44.70	v ~x4867 ~x6560 ~x541 ~x3175 ~x8108 ~x4868 ~x6561 ~x542 ~x3176 ~x8109 
44.47/44.70	v ~x4869 ~x6562 ~x543 ~x3177 ~x8110 ~x4870 ~x6563 ~x544 ~x3178 ~x8114 
44.47/44.70	v ~x4871 ~x6564 ~x545 ~x3179 ~x8119 ~x4872 ~x6565 ~x546 ~x3180 ~x8105 
44.47/44.70	v ~x4873 ~x6566 ~x547 ~x3181 ~x8115 ~x4874 ~x6567 ~x548 ~x3182 ~x8118 
44.47/44.70	v ~x4875 ~x6568 ~x549 ~x3183 ~x8120 ~x4876 ~x6569 x550 ~x3184 ~x8121 
44.47/44.70	v ~x4877 ~x6570 ~x551 ~x3185 ~x8122 ~x4878 ~x6571 ~x552 ~x3186 ~x8123 
44.47/44.70	v ~x4879 ~x6572 ~x553 ~x3187 ~x8124 ~x4880 ~x6573 ~x554 ~x3188 ~x8125 
44.47/44.70	v ~x4881 ~x6574 ~x555 ~x3189 ~x8126 ~x4882 ~x6575 ~x556 ~x3190 ~x8131 
44.47/44.70	v ~x4883 ~x6576 ~x557 ~x3191 ~x8136 ~x4884 ~x6577 ~x558 ~x3192 ~x8141 
44.47/44.70	v ~x4885 ~x6578 ~x559 ~x3193 ~x8146 ~x4886 ~x6579 ~x560 ~x3194 ~x8127 
44.47/44.70	v ~x4887 ~x6580 x561 ~x3195 ~x8128 ~x4888 ~x6581 ~x562 ~x3196 ~x8129 
44.47/44.70	v ~x4889 ~x6582 ~x563 ~x3197 x8130 ~x4890 ~x6583 ~x564 ~x3198 x8132 
44.47/44.70	v ~x4891 ~x6584 ~x565 ~x3199 ~x8137 ~x4892 ~x6585 ~x566 ~x3200 ~x8142 
44.47/44.70	v ~x4893 ~x6586 ~x567 ~x3201 ~x8147 ~x4894 ~x6587 ~x568 ~x3202 ~x8133 
44.47/44.70	v ~x4895 ~x6588 ~x569 ~x3203 ~x8138 ~x4896 ~x6589 ~x570 ~x3204 ~x8139 
44.47/44.70	v ~x4897 ~x6590 ~x571 ~x3205 ~x8140 ~x4898 ~x6591 x572 ~x3206 ~x8144 
44.47/44.70	v ~x4899 ~x6592 ~x573 ~x3207 ~x8149 ~x4900 ~x6593 ~x574 ~x3208 ~x8134 
44.47/44.70	v ~x4901 ~x6594 ~x575 ~x3209 ~x8143 ~x4902 ~x6595 ~x576 ~x3210 ~x8145 
44.47/44.70	v ~x4903 ~x6596 ~x577 ~x3211 ~x8150 ~x4904 ~x6597 ~x578 ~x3212 ~x8151 
44.47/44.70	v ~x4905 ~x6598 ~x579 ~x3213 ~x8156 ~x4906 ~x6599 ~x580 ~x3214 ~x8157 
44.47/44.70	v ~x4907 ~x6600 ~x581 ~x3215 ~x8158 ~x4908 ~x6601 ~x582 ~x3216 ~x8159 
44.47/44.70	v ~x4909 ~x6602 x583 ~x3217 x8160 ~x4910 ~x6603 ~x584 ~x3218 x8162 
44.47/44.70	v ~x4911 ~x6604 ~x585 ~x3219 ~x8167 ~x4912 ~x6605 ~x586 ~x3220 ~x8172 
44.47/44.70	v ~x4913 ~x6606 ~x587 ~x3221 ~x8177 ~x4914 ~x6607 ~x588 ~x3222 ~x8152 
44.47/44.70	v ~x4915 ~x6608 ~x589 ~x3223 ~x8161 ~x4916 ~x6609 ~x590 ~x3224 ~x8163 
44.47/44.70	v ~x4917 ~x6610 ~x591 ~x3225 ~x8164 ~x4918 ~x6611 ~x592 ~x3226 ~x8165 
44.47/44.70	v ~x4919 ~x6612 ~x593 ~x3227 x8168 ~x4920 ~x6613 x594 ~x3228 ~x8173 
44.47/44.70	v ~x4921 ~x6614 ~x595 ~x3229 ~x8178 ~x4922 ~x6615 ~x596 ~x3230 ~x8154 
44.47/44.70	v ~x4923 ~x6616 ~x597 ~x3231 x8169 ~x4924 ~x6617 ~x598 ~x3232 ~x8171 
44.47/44.70	v ~x4925 ~x6618 ~x599 ~x3233 x8174 ~x4926 ~x6619 ~x600 ~x3234 ~x8175 
44.47/44.70	v ~x4927 ~x6620 ~x601 ~x3235 ~x8180 ~x4928 ~x6621 ~x602 ~x3236 ~x8155 
44.47/44.70	v ~x4929 ~x6622 ~x603 ~x3237 ~x8170 ~x4930 ~x6623 ~x604 ~x3238 x8176 
44.47/44.70	v ~x4931 ~x6624 x605 ~x3239 ~x8179 ~x4932 ~x6625 ~x606 ~x3240 ~x8181 
44.47/44.70	v ~x4933 ~x6626 ~x607 ~x3241 ~x8182 ~x4934 ~x6627 ~x608 ~x3242 ~x8183 
44.47/44.70	v ~x4935 ~x6628 ~x609 ~x3243 ~x8184 ~x4936 ~x6629 ~x610 ~x3244 ~x8185 
44.47/44.70	v ~x4937 ~x6630 ~x611 ~x3245 ~x8186 ~x4938 ~x6631 ~x612 ~x3246 ~x8191 
44.47/44.70	v ~x4939 ~x6632 ~x613 ~x3247 ~x8196 ~x4940 ~x6633 ~x614 ~x3248 ~x8201 
44.47/44.70	v ~x4941 ~x6634 ~x615 ~x3249 ~x8206 ~x4942 ~x6635 x616 ~x3250 ~x8187 
44.47/44.70	v ~x4943 ~x6636 ~x617 ~x3251 x8192 ~x4944 ~x6637 ~x618 ~x3252 ~x8193 
44.47/44.70	v ~x4945 ~x6638 ~x619 ~x3253 ~x8194 ~x4946 ~x6639 ~x620 ~x3254 ~x8195 
44.47/44.70	v ~x4947 ~x6640 ~x621 ~x3255 x8198 ~x4948 ~x6641 ~x622 ~x3256 ~x8203 
44.47/44.70	v ~x4949 ~x6642 ~x623 ~x3257 ~x8208 ~x4950 ~x6643 ~x624 ~x3258 ~x8189 
44.47/44.70	v ~x4951 ~x6644 ~x625 ~x3259 x8199 ~x4952 ~x6645 ~x626 ~x3260 ~x8202 
44.47/44.70	v ~x4953 ~x6646 ~x627 ~x3261 x8204 ~x4954 ~x6647 ~x628 ~x3262 ~x8205 
44.47/44.70	v ~x4955 ~x6648 ~x629 ~x3263 ~x8210 ~x4956 ~x6649 ~x630 ~x3264 ~x8190 
44.47/44.70	v ~x4957 ~x6650 ~x631 ~x3265 ~x8200 ~x4958 ~x6651 ~x632 ~x3266 ~x8207 
44.47/44.70	v ~x4959 ~x6652 ~x633 ~x3267 ~x8209 ~x4960 ~x6653 ~x634 ~x3268 ~x8211 
44.47/44.70	v ~x4961 ~x6654 ~x635 ~x3269 ~x8212 ~x4962 ~x6655 ~x636 ~x3270 ~x8213 
44.47/44.70	v ~x4963 ~x6656 ~x637 ~x3271 ~x8214 ~x4964 ~x6657 ~x638 ~x3272 ~x8215 
44.47/44.70	v ~x4965 ~x6658 ~x639 ~x3273 ~x8216 ~x4966 ~x6659 ~x640 ~x3274 ~x8221 
44.47/44.70	v ~x4967 ~x6660 ~x641 ~x3275 ~x8226 ~x4968 ~x6661 ~x642 ~x3276 ~x8231 
44.47/44.70	v ~x4969 ~x6662 ~x643 ~x3277 ~x8236 ~x4970 ~x6663 ~x644 ~x3278 ~x8217 
44.47/44.70	v ~x4971 ~x6664 ~x645 ~x3279 ~x8218 ~x4972 ~x6665 ~x646 ~x3280 ~x8219 
44.47/44.70	v ~x4973 ~x6666 ~x647 ~x3281 ~x8220 ~x4974 ~x6667 ~x648 ~x3282 ~x8222 
44.47/44.70	v ~x4975 ~x6668 ~x649 ~x3283 ~x8227 ~x4976 ~x6669 ~x650 ~x3284 ~x8232 
44.47/44.70	v ~x4977 ~x6670 ~x651 ~x3285 ~x8237 ~x4978 ~x6671 ~x652 ~x3286 ~x8224 
44.47/44.70	v ~x4979 ~x6672 ~x653 ~x3287 x8229 ~x4980 ~x6673 ~x654 ~x3288 ~x8233 
44.47/44.70	v ~x4981 ~x6674 ~x655 ~x3289 x8234 ~x4982 ~x6675 ~x656 ~x3290 ~x8235 
44.47/44.70	v ~x4983 ~x6676 ~x657 ~x3291 ~x8240 ~x4984 ~x6677 ~x658 ~x3292 ~x8225 
44.47/44.70	v ~x4985 ~x6678 ~x659 ~x3293 ~x8230 ~x4986 ~x6679 x660 ~x3294 ~x8238 
44.47/44.70	v ~x4987 ~x6680 ~x661 ~x3295 ~x8239 ~x4988 ~x6681 ~x662 ~x3296 ~x8241 
44.47/44.70	v ~x4989 ~x6682 ~x663 ~x3297 ~x8242 ~x4990 ~x6683 ~x664 ~x3298 ~x8243 
44.47/44.70	v ~x4991 ~x6684 ~x665 ~x3299 ~x8244 ~x4992 ~x6685 ~x666 ~x3300 ~x8245 
44.47/44.70	v ~x4993 ~x6686 ~x667 ~x3301 ~x8246 ~x4994 ~x6687 ~x668 ~x3302 ~x8251 
44.47/44.70	v ~x4995 ~x6688 ~x669 ~x3303 ~x8256 ~x4996 ~x6689 ~x670 ~x3304 ~x8261 
44.47/44.70	v ~x4997 ~x6690 x671 ~x3305 ~x8266 ~x4998 ~x6691 ~x672 ~x3306 ~x8247 
44.47/44.70	v ~x4999 ~x6692 ~x673 ~x3307 ~x8248 ~x5000 ~x6693 ~x674 ~x3308 ~x8249 
44.47/44.70	v ~x5001 ~x6694 ~x675 ~x3309 ~x8250 ~x5002 ~x6695 ~x676 ~x3310 ~x8252 
44.47/44.70	v ~x5003 ~x6696 ~x677 ~x3311 ~x8257 ~x5004 ~x6697 ~x678 ~x3312 ~x8262 
44.47/44.70	v ~x5005 ~x6698 ~x679 ~x3313 ~x8267 ~x5006 ~x6699 ~x680 ~x3314 ~x8253 
44.47/44.70	v ~x5007 ~x6700 ~x681 ~x3315 ~x8254 ~x5008 ~x6701 x682 ~x3316 ~x8255 
44.47/44.70	v ~x5009 ~x6702 ~x683 ~x3317 ~x8258 ~x5010 ~x6703 ~x684 ~x3318 ~x8263 
44.47/44.70	v ~x5011 ~x6704 ~x685 ~x3319 ~x8268 ~x5012 ~x6705 ~x686 ~x3320 ~x8260 
44.47/44.70	v ~x5013 ~x6706 ~x687 ~x3321 ~x8265 ~x5014 ~x6707 ~x688 ~x3322 ~x8269 
44.47/44.70	v ~x5015 ~x6708 ~x689 ~x3323 ~x8270 ~x5016 ~x6709 ~x690 ~x3324 ~x8271 
44.47/44.70	v ~x5017 ~x6710 ~x691 ~x3325 ~x8272 ~x5018 ~x6711 ~x692 ~x3326 ~x8273 
44.47/44.70	v ~x5019 ~x6712 ~x693 ~x3327 ~x8274 ~x5020 ~x6713 ~x694 ~x3328 ~x8275 
44.47/44.70	v ~x5021 ~x6714 ~x695 ~x3329 ~x8276 ~x5022 ~x6715 ~x696 ~x3330 ~x8281 
44.47/44.70	v ~x5023 ~x6716 ~x697 ~x3331 ~x8286 ~x5024 ~x6717 ~x698 ~x3332 ~x8291 
44.47/44.70	v ~x5025 ~x6718 ~x699 ~x3333 ~x8296 ~x5026 ~x6719 ~x700 ~x3334 ~x8277 
44.47/44.70	v ~x5027 ~x6720 ~x701 ~x3335 ~x8278 ~x5028 ~x6721 ~x702 ~x3336 ~x8279 
44.47/44.70	v ~x5029 ~x6722 ~x703 ~x3337 x8280 ~x5030 ~x6723 ~x704 ~x3338 x8282 
44.47/44.70	v ~x5031 ~x6724 ~x705 ~x3339 ~x8287 ~x5032 ~x6725 ~x706 ~x3340 ~x8292 
44.47/44.70	v ~x5033 ~x6726 ~x707 ~x3341 ~x8297 ~x5034 ~x6727 ~x708 ~x3342 ~x8283 
44.47/44.70	v ~x5035 ~x6728 ~x709 ~x3343 ~x8284 ~x5036 ~x6729 ~x710 ~x3344 ~x8285 
44.47/44.70	v ~x5037 ~x6730 ~x711 ~x3345 x8288 ~x5038 ~x6731 ~x712 ~x3346 ~x8293 
44.47/44.70	v ~x5039 ~x6732 ~x713 ~x3347 ~x8298 ~x5040 ~x6733 ~x714 ~x3348 x8289 
44.47/44.70	v ~x5041 ~x6734 x715 ~x3349 x8294 ~x5042 ~x6735 ~x716 ~x3350 ~x8295 
44.47/44.70	v ~x5043 ~x6736 ~x717 ~x3351 ~x8300 ~x5044 ~x6737 ~x718 ~x3352 ~x8301 
44.47/44.70	v ~x5045 ~x6738 ~x719 ~x3353 ~x8306 ~x5046 ~x6739 ~x720 ~x3354 ~x8307 
44.47/44.70	v ~x5047 ~x6740 ~x721 ~x3355 ~x8308 ~x5048 ~x6741 ~x722 ~x3356 ~x8309 
44.47/44.70	v ~x5049 ~x6742 ~x723 ~x3357 x8310 ~x5050 ~x6743 ~x724 ~x3358 x8312 
44.47/44.70	v ~x5051 ~x6744 ~x725 ~x3359 ~x8317 ~x5052 ~x6745 x726 ~x3360 ~x8322 
44.47/44.70	v ~x5053 ~x6746 ~x727 ~x3361 ~x8327 ~x5054 ~x6747 ~x728 ~x3362 ~x8302 
44.47/44.70	v ~x5055 ~x6748 ~x729 ~x3363 ~x8311 ~x5056 ~x6749 ~x730 ~x3364 ~x8313 
44.47/44.70	v ~x5057 ~x6750 ~x731 ~x3365 ~x8314 ~x5058 ~x6751 ~x732 ~x3366 ~x8315 
44.47/44.70	v ~x5059 ~x6752 ~x733 ~x3367 x8318 ~x5060 ~x6753 ~x734 ~x3368 ~x8323 
44.47/44.70	v ~x5061 ~x6754 ~x735 ~x3369 ~x8328 ~x5062 ~x6755 ~x736 ~x3370 ~x8303 
44.47/44.70	v ~x5063 ~x6756 x737 ~x3371 ~x8316 ~x5064 ~x6757 ~x738 ~x3372 ~x8319 
44.47/44.70	v ~x5065 ~x6758 ~x739 ~x3373 ~x8320 ~x5066 ~x6759 ~x740 ~x3374 x8324 
44.47/44.70	v ~x5067 ~x6760 ~x741 ~x3375 ~x8329 ~x5068 ~x6761 ~x742 ~x3376 ~x8305 
44.47/44.70	v ~x5069 ~x6762 ~x743 ~x3377 ~x8325 ~x5070 ~x6763 ~x744 ~x3378 x8326 
44.47/44.70	v ~x5071 ~x6764 ~x745 ~x3379 ~x8330 ~x5072 ~x6765 ~x746 ~x3380 ~x8331 
44.47/44.70	v ~x5073 ~x6766 ~x747 ~x3381 ~x8332 ~x5074 ~x6767 x748 ~x3382 ~x8333 
44.47/44.70	v ~x5075 ~x6768 ~x749 ~x3383 ~x8334 ~x5076 ~x6769 ~x750 ~x3384 ~x8335 
44.47/44.70	v ~x5077 ~x6770 ~x751 ~x3385 ~x8336 ~x5078 ~x6771 ~x752 ~x3386 ~x8341 
44.47/44.70	v ~x5079 ~x6772 ~x753 ~x3387 ~x8346 ~x5080 ~x6773 ~x754 ~x3388 ~x8351 
44.47/44.70	v ~x5081 ~x6774 ~x755 ~x3389 ~x8356 ~x5082 ~x6775 ~x756 ~x3390 ~x8337 
44.47/44.70	v ~x5083 ~x6776 ~x757 ~x3391 x8342 ~x5084 ~x6777 ~x758 ~x3392 ~x8343 
44.47/44.70	v ~x5085 ~x6778 ~x759 ~x3393 ~x8344 ~x5086 ~x6779 ~x760 ~x3394 ~x8345 
44.47/44.70	v ~x5087 ~x6780 ~x761 ~x3395 x8348 ~x5088 ~x6781 ~x762 ~x3396 ~x8353 
44.47/44.70	v ~x5089 ~x6782 ~x763 ~x3397 ~x8358 ~x5090 ~x6783 ~x764 ~x3398 ~x8338 
44.47/44.70	v ~x5091 ~x6784 ~x765 ~x3399 ~x8347 ~x5092 ~x6785 ~x766 ~x3400 ~x8349 
44.47/44.70	v ~x5093 ~x6786 ~x767 ~x3401 ~x8350 ~x5094 ~x6787 ~x768 ~x3402 x8354 
44.47/44.70	v ~x5095 ~x6788 ~x769 ~x3403 ~x8359 ~x5096 ~x6789 x770 ~x3404 ~x8340 
44.47/44.70	v ~x5097 ~x6790 ~x771 ~x3405 ~x8355 ~x5098 ~x6791 ~x772 ~x3406 ~x8357 
44.47/44.70	v ~x5099 ~x6792 ~x773 ~x3407 ~x8360 ~x5100 ~x6793 ~x774 ~x3408 ~x8361 
44.47/44.70	v ~x5101 ~x6794 ~x775 ~x3409 ~x8362 ~x5102 ~x6795 ~x776 ~x3410 ~x8363 
44.47/44.70	v ~x5103 ~x6796 ~x777 ~x3411 ~x8364 ~x5104 ~x6797 ~x778 ~x3412 ~x8365 
44.47/44.70	v ~x5105 ~x6798 ~x779 ~x3413 ~x8366 ~x5106 ~x6799 ~x780 ~x3414 ~x8371 
44.47/44.70	v ~x5107 ~x6800 ~x781 ~x3415 ~x8376 ~x5108 ~x6801 ~x782 ~x3416 ~x8381 
44.47/44.70	v ~x5109 ~x6802 ~x783 ~x3417 ~x8386 ~x5110 ~x6803 ~x784 ~x3418 ~x8367 
44.47/44.70	v ~x5111 ~x6804 ~x785 ~x3419 ~x8368 ~x5112 ~x6805 ~x786 ~x3420 ~x8369 
44.47/44.70	v ~x5113 ~x6806 ~x787 ~x3421 ~x8370 ~x5114 ~x6807 ~x788 ~x3422 ~x8372 
44.47/44.70	v ~x5115 ~x6808 ~x789 ~x3423 ~x8377 ~x5116 ~x6809 ~x790 ~x3424 ~x8382 
44.47/44.70	v ~x5117 ~x6810 ~x791 ~x3425 ~x8387 ~x5118 ~x6811 ~x792 ~x3426 ~x8373 
44.47/44.70	v ~x5119 ~x6812 ~x793 ~x3427 x8378 ~x5120 ~x6813 ~x794 ~x3428 ~x8379 
44.47/44.70	v ~x5121 ~x6814 ~x795 ~x3429 ~x8380 ~x5122 ~x6815 ~x796 ~x3430 x8384 
44.47/44.70	v ~x5123 ~x6816 ~x797 ~x3431 ~x8389 ~x5124 ~x6817 ~x798 ~x3432 ~x8375 
44.47/44.70	v ~x5125 ~x6818 ~x799 ~x3433 ~x8385 ~x5126 ~x6819 ~x800 ~x3434 ~x8388 
44.47/44.70	v ~x5127 ~x6820 ~x801 ~x3435 ~x8390 ~x5128 ~x6821 ~x802 ~x3436 ~x8391 
44.47/44.70	v ~x5129 ~x6822 ~x803 ~x3437 ~x8392 ~x5130 ~x6823 ~x804 ~x3438 ~x8393 
44.47/44.70	v ~x5131 ~x6824 ~x805 ~x3439 ~x8394 ~x5132 ~x6825 ~x806 ~x3440 ~x8395 
44.47/44.70	v ~x5133 ~x6826 ~x807 ~x3441 ~x8396 ~x5134 ~x6827 ~x808 ~x3442 ~x8401 
44.47/44.70	v ~x5135 ~x6828 ~x809 ~x3443 ~x8406 ~x5136 ~x6829 ~x810 ~x3444 ~x8411 
44.47/44.70	v ~x5137 ~x6830 ~x811 ~x3445 ~x8416 ~x5138 ~x6831 ~x812 ~x3446 ~x8397 
44.47/44.70	v ~x5139 ~x6832 ~x813 ~x3447 ~x8398 ~x5140 ~x6833 ~x814 ~x3448 ~x8399 
44.47/44.70	v ~x5141 ~x6834 ~x815 ~x3449 ~x8400 ~x5142 ~x6835 ~x816 ~x3450 ~x8402 
44.47/44.70	v ~x5143 ~x6836 ~x817 ~x3451 ~x8407 ~x5144 ~x6837 ~x818 ~x3452 ~x8412 
44.47/44.70	v ~x5145 ~x6838 ~x819 ~x3453 ~x8417 ~x5146 ~x6839 ~x820 ~x3454 ~x8403 
44.47/44.70	v ~x5147 ~x6840 ~x821 ~x3455 ~x8404 ~x5148 ~x6841 ~x822 ~x3456 ~x8405 
44.47/44.70	v ~x5149 ~x6842 ~x823 ~x3457 ~x8408 ~x5150 ~x6843 ~x824 ~x3458 ~x8413 
44.47/44.70	v ~x5151 ~x6844 ~x825 ~x3459 ~x8418 ~x5152 ~x6845 ~x826 ~x3460 ~x8410 
44.47/44.70	v ~x5153 ~x6846 ~x827 ~x3461 ~x8415 ~x5154 ~x6847 ~x828 ~x3462 ~x8419 
44.47/44.70	v ~x5155 ~x6848 ~x829 ~x3463 ~x8420 ~x5156 ~x6849 ~x830 ~x3464 ~x8421 
44.47/44.70	v ~x5157 ~x6850 ~x831 ~x3465 ~x8422 ~x5158 ~x6851 ~x832 ~x3466 ~x8423 
44.47/44.70	v ~x5159 ~x6852 ~x833 ~x3467 ~x8424 ~x5160 ~x6853 ~x834 ~x3468 ~x8425 
44.47/44.70	v ~x5161 ~x6854 ~x835 ~x3469 ~x8426 ~x5162 ~x6855 x836 ~x3470 ~x8431 
44.47/44.70	v ~x5163 ~x6856 ~x837 ~x3471 ~x8436 ~x5164 ~x6857 ~x838 ~x3472 ~x8441 
44.47/44.70	v ~x5165 ~x6858 ~x839 ~x3473 ~x8446 ~x5166 ~x6859 ~x840 ~x3474 ~x8427 
44.47/44.70	v ~x5167 ~x6860 ~x841 ~x3475 ~x8428 ~x5168 ~x6861 ~x842 ~x3476 ~x8429 
44.47/44.70	v ~x5169 ~x6862 ~x843 ~x3477 x8430 ~x5170 ~x6863 ~x844 ~x3478 x8432 
44.47/44.70	v ~x5171 ~x6864 ~x845 ~x3479 ~x8437 ~x5172 ~x6865 ~x846 ~x3480 ~x8442 
44.47/44.70	v ~x5173 ~x6866 ~x847 ~x3481 ~x8447 ~x5174 ~x6867 ~x848 ~x3482 ~x8433 
44.47/44.70	v ~x5175 ~x6868 ~x849 ~x3483 ~x8434 ~x5176 ~x6869 ~x850 ~x3484 ~x8435 
44.47/44.70	v ~x5177 ~x6870 ~x851 ~x3485 x8438 ~x5178 ~x6871 ~x852 ~x3486 ~x8443 
44.47/44.70	v ~x5179 ~x6872 ~x853 ~x3487 ~x8448 ~x5180 ~x6873 ~x854 ~x3488 ~x8439 
44.47/44.70	v ~x5181 ~x6874 ~x855 ~x3489 ~x8440 ~x5182 ~x6875 ~x856 ~x3490 x8444 
44.47/44.70	v ~x5183 ~x6876 ~x857 ~x3491 ~x8449 ~x5184 ~x6877 ~x858 ~x3492 ~x8451 
44.47/44.70	v ~x5185 ~x6878 ~x859 ~x3493 ~x8456 ~x5186 ~x6879 ~x860 ~x3494 ~x8457 
44.47/44.70	v ~x5187 ~x6880 ~x861 ~x3495 ~x8458 ~x5188 ~x6881 ~x862 ~x3496 ~x8459 
44.47/44.70	v ~x5189 ~x6882 ~x863 ~x3497 ~x8460 ~x5190 ~x6883 ~x864 ~x3498 ~x8462 
44.47/44.70	v ~x5191 ~x6884 ~x865 ~x3499 ~x8467 ~x5192 ~x6885 ~x866 ~x3500 ~x8472 
44.47/44.70	v ~x5193 ~x6886 ~x867 ~x3501 ~x8477 ~x5194 ~x6887 ~x868 ~x3502 ~x8452 
44.47/44.70	v ~x5195 ~x6888 ~x869 ~x3503 ~x8461 ~x5196 ~x6889 ~x870 ~x3504 ~x8463 
44.47/44.70	v ~x5197 ~x6890 ~x871 ~x3505 ~x8464 ~x5198 ~x6891 ~x872 ~x3506 ~x8465 
44.47/44.70	v ~x5199 ~x6892 ~x873 ~x3507 ~x8468 ~x5200 ~x6893 ~x874 ~x3508 ~x8473 
44.47/44.70	v ~x5201 ~x6894 ~x875 ~x3509 ~x8478 ~x5202 ~x6895 ~x876 ~x3510 ~x8453 
44.47/44.70	v ~x5203 ~x6896 ~x877 ~x3511 ~x8466 ~x5204 ~x6897 ~x878 ~x3512 ~x8469 
44.47/44.70	v ~x5205 ~x6898 ~x879 ~x3513 ~x8470 ~x5206 ~x6899 x880 ~x3514 ~x8474 
44.47/44.70	v ~x5207 ~x6900 ~x881 ~x3515 ~x8479 ~x5208 ~x6901 ~x882 ~x3516 ~x8454 
44.47/44.70	v ~x5209 ~x6902 ~x883 ~x3517 ~x8471 ~x5210 ~x6903 ~x884 ~x3518 ~x8475 
44.47/44.70	v ~x5211 ~x6904 ~x885 ~x3519 ~x8480 ~x5212 ~x6905 ~x886 ~x3520 ~x8481 
44.47/44.70	v ~x5213 ~x6906 ~x887 ~x3521 ~x8482 ~x5214 ~x6907 ~x888 ~x3522 ~x8483 
44.47/44.70	v ~x5215 ~x6908 ~x889 ~x3523 ~x8484 ~x5216 ~x6909 ~x890 ~x3524 ~x8485 
44.47/44.70	v ~x5217 ~x6910 ~x891 ~x3525 ~x8486 ~x5218 ~x6911 ~x892 ~x3526 ~x8491 
44.47/44.70	v ~x5219 ~x6912 ~x893 ~x3527 ~x8496 ~x5220 ~x6913 ~x894 ~x3528 ~x8501 
44.47/44.70	v ~x5221 ~x6914 ~x895 ~x3529 ~x8506 ~x5222 ~x6915 ~x896 ~x3530 ~x8487 
44.47/44.70	v ~x5223 ~x6916 ~x897 ~x3531 ~x8492 ~x5224 ~x6917 ~x898 ~x3532 ~x8493 
44.47/44.70	v ~x5225 ~x6918 ~x899 ~x3533 ~x8494 ~x5226 ~x6919 ~x900 ~x3534 ~x8495 
44.47/44.70	v ~x5227 ~x6920 ~x901 ~x3535 ~x8498 ~x5228 ~x6921 ~x902 ~x3536 ~x8503 
44.47/44.70	v ~x5229 ~x6922 ~x903 ~x3537 ~x8508 ~x5230 ~x6923 ~x904 ~x3538 ~x8488 
44.47/44.70	v ~x5231 ~x6924 ~x905 ~x3539 ~x8497 ~x5232 ~x6925 ~x906 ~x3540 ~x8499 
44.47/44.70	v ~x5233 ~x6926 ~x907 x3541 ~x8500 ~x5234 ~x6927 ~x908 ~x3542 ~x8504 
44.47/44.70	v ~x5235 ~x6928 ~x909 ~x3543 ~x8509 ~x5236 ~x6929 ~x910 ~x3544 ~x8489 
44.47/44.70	v ~x5237 ~x6930 ~x911 ~x3545 ~x8502 ~x5238 ~x6931 ~x912 ~x3546 ~x8505 
44.47/44.70	v ~x5239 ~x6932 ~x913 ~x3547 ~x8510 ~x5240 ~x6933 ~x914 ~x3548 ~x8511 
44.47/44.70	v ~x5241 ~x6934 ~x915 ~x3549 ~x8512 ~x5242 ~x6935 ~x916 ~x3550 ~x8513 
44.47/44.70	v ~x5243 ~x6936 ~x917 ~x3551 ~x8514 ~x5244 ~x6937 ~x918 ~x3552 ~x8515 
44.47/44.70	v ~x5245 ~x6938 ~x919 ~x3553 ~x8516 ~x5246 ~x6939 ~x920 ~x3554 ~x8521 
44.47/44.70	v ~x5247 ~x6940 ~x921 ~x3555 ~x8526 ~x5248 ~x6941 ~x922 ~x3556 ~x8531 
44.47/44.70	v ~x5249 ~x6942 ~x923 ~x3557 ~x8536 ~x5250 ~x6943 ~x924 ~x3558 ~x8517 
44.47/44.70	v ~x5251 ~x6944 ~x925 ~x3559 ~x8518 ~x5252 ~x6945 ~x926 ~x3560 ~x8519 
44.47/44.70	v ~x5253 ~x6946 ~x927 ~x3561 ~x8520 ~x5254 ~x6947 ~x928 ~x3562 ~x8522 
44.47/44.70	v ~x5255 ~x6948 ~x929 ~x3563 ~x8527 ~x5256 ~x6949 ~x930 ~x3564 ~x8532 
44.47/44.70	v ~x5257 ~x6950 ~x931 ~x3565 ~x8537 ~x5258 ~x6951 ~x932 ~x3566 ~x8523 
44.47/44.70	v ~x5259 ~x6952 ~x933 ~x3567 ~x8528 ~x5260 ~x6953 ~x934 ~x3568 ~x8529 
44.47/44.70	v ~x5261 ~x6954 ~x935 ~x3569 ~x8530 ~x5262 ~x6955 ~x936 ~x3570 ~x8534 
44.47/44.70	v ~x5263 ~x6956 ~x937 ~x3571 ~x8539 ~x5264 ~x6957 ~x938 ~x3572 ~x8524 
44.47/44.70	v ~x5265 ~x6958 ~x939 ~x3573 ~x8533 ~x5266 ~x6959 ~x940 ~x3574 ~x8535 
44.47/44.70	v ~x5267 ~x6960 ~x941 ~x3575 ~x8540 ~x5268 ~x6961 ~x942 ~x3576 ~x8541 
44.47/44.70	v ~x5269 ~x6962 ~x943 ~x3577 ~x8542 ~x5270 ~x6963 ~x944 ~x3578 ~x8543 
44.47/44.70	v ~x5271 ~x6964 ~x945 ~x3579 ~x8544 ~x5272 ~x6965 ~x946 ~x3580 ~x8545 
44.47/44.70	v ~x5273 ~x6966 ~x947 ~x3581 ~x8546 ~x5274 ~x6967 ~x948 ~x3582 ~x8551 
44.47/44.70	v ~x5275 ~x6968 ~x949 ~x3583 ~x8556 ~x5276 ~x6969 ~x950 ~x3584 ~x8561 
44.47/44.70	v ~x5277 ~x6970 ~x951 ~x3585 ~x8566 ~x5278 ~x6971 ~x952 ~x3586 ~x8547 
44.47/44.70	v ~x5279 ~x6972 ~x953 ~x3587 ~x8548 ~x5280 ~x6973 ~x954 ~x3588 ~x8549 
44.47/44.70	v ~x5281 ~x6974 ~x955 ~x3589 ~x8550 ~x5282 ~x6975 ~x956 ~x3590 ~x8552 
44.47/44.70	v ~x5283 ~x6976 ~x957 ~x3591 ~x8557 ~x5284 ~x6977 ~x958 ~x3592 ~x8562 
44.47/44.70	v ~x5285 ~x6978 ~x959 ~x3593 ~x8567 ~x5286 ~x6979 ~x960 ~x3594 ~x8553 
44.47/44.70	v ~x5287 ~x6980 ~x961 ~x3595 ~x8554 ~x5288 ~x6981 ~x962 ~x3596 ~x8555 
44.47/44.70	v ~x5289 ~x6982 ~x963 ~x3597 ~x8558 ~x5290 ~x6983 ~x964 ~x3598 ~x8563 
44.47/44.70	v ~x5291 ~x6984 ~x965 ~x3599 ~x8568 ~x5292 ~x6985 ~x966 ~x3600 ~x8559 
44.47/44.70	v ~x5293 ~x6986 ~x967 ~x3601 ~x8564 ~x5294 ~x6987 ~x968 ~x3602 ~x8565 
44.47/44.70	v ~x5295 ~x6988 ~x969 ~x3603 ~x8570 ~x5296 ~x6989 ~x970 ~x3604 ~x8571 
44.47/44.70	v ~x5297 ~x6990 ~x971 ~x3605 ~x8572 ~x5298 ~x6991 ~x972 ~x3606 ~x8573 
44.47/44.70	v ~x5299 ~x6992 ~x973 ~x3607 ~x8574 ~x5300 ~x6993 ~x974 ~x3608 ~x8575 
44.47/44.70	v ~x5301 ~x6994 ~x975 ~x3609 ~x8576 ~x5302 ~x6995 ~x976 ~x3610 ~x8581 
44.47/44.70	v ~x5303 ~x6996 ~x977 ~x3611 ~x8586 ~x5304 ~x6997 ~x978 ~x3612 ~x8591 
44.47/44.70	v ~x5305 ~x6998 ~x979 ~x3613 ~x8596 ~x5306 ~x6999 ~x980 ~x3614 ~x8577 
44.47/44.70	v ~x5307 ~x7000 ~x981 ~x3615 ~x8578 ~x5308 ~x7001 ~x982 ~x3616 ~x8579 
44.47/44.70	v ~x5309 ~x7002 ~x983 ~x3617 ~x8580 ~x5310 ~x7003 ~x984 ~x3618 ~x8582 
44.47/44.70	v ~x5311 ~x7004 ~x985 ~x3619 ~x8587 ~x5312 ~x7005 ~x986 ~x3620 ~x8592 
44.47/44.70	v ~x5313 ~x7006 ~x987 ~x3621 ~x8597 ~x5314 ~x7007 ~x988 ~x3622 ~x8583 
44.47/44.70	v ~x5315 ~x7008 ~x989 ~x3623 ~x8584 ~x5316 ~x7009 ~x990 ~x3624 ~x8585 
44.47/44.70	v ~x5317 ~x7010 ~x991 ~x3625 ~x8588 ~x5318 ~x7011 ~x992 ~x3626 ~x8593 
44.47/44.70	v ~x5319 ~x7012 ~x993 ~x3627 ~x8598 ~x5320 ~x7013 ~x994 ~x3628 ~x8589 
44.47/44.70	v ~x5321 ~x7014 ~x995 ~x3629 ~x8590 ~x5322 ~x7015 ~x996 ~x3630 ~x8594 
44.47/44.70	v ~x5323 ~x7016 ~x997 ~x3631 ~x8599 ~x5324 ~x7017 ~x998 ~x3632 ~x7701 
44.47/44.70	v ~x5325 ~x7018 ~x999 ~x3633 ~x7706 ~x5326 ~x7019 ~x1000 ~x3634 ~x7732 
44.47/44.70	v ~x5327 ~x7020 ~x1001 ~x3635 ~x7741 ~x5328 ~x7021 ~x1002 ~x3636 ~x7763 
44.47/44.70	v ~x5329 ~x7022 ~x1003 ~x3637 ~x7776 ~x5330 ~x7023 ~x1004 ~x3638 x7794 
44.47/44.70	v ~x5331 ~x7024 ~x1005 ~x3639 x7811 ~x5332 ~x7025 ~x1006 ~x3640 ~x7825 
44.47/44.70	v ~x5333 ~x7026 ~x1007 ~x3641 ~x7846 ~x5334 ~x7027 ~x1008 ~x3642 ~x7851 
44.47/44.70	v ~x5335 ~x7028 ~x1009 ~x3643 ~x7856 ~x5336 ~x7029 ~x1010 ~x3644 ~x7887 
44.47/44.70	v ~x5337 ~x7030 ~x1011 ~x3645 ~x7892 ~x5338 ~x7031 ~x1012 ~x3646 ~x7918 
44.47/44.70	v ~x5339 ~x7032 ~x1013 ~x3647 ~x7927 ~x5340 ~x7033 ~x1014 ~x3648 ~x7949 
44.47/44.70	v ~x5341 ~x7034 ~x1015 ~x3649 ~x7962 ~x5342 ~x7035 ~x1016 ~x3650 x7980 
44.47/44.70	v ~x5343 ~x7036 ~x1017 ~x3651 ~x7997 ~x5344 ~x7037 ~x1018 ~x3652 ~x8002 
44.47/44.70	v ~x5345 ~x7038 ~x1019 ~x3653 ~x8011 ~x5346 ~x7039 ~x1020 ~x3654 ~x8037 
44.47/44.70	v ~x5347 ~x7040 ~x1021 ~x3655 x8042 ~x5348 ~x7041 ~x1022 ~x3656 ~x8073 
44.47/44.70	v ~x5349 ~x7042 ~x1023 ~x3657 ~x8078 ~x5350 ~x7043 ~x1024 ~x3658 ~x8104 
44.47/44.70	v ~x5351 ~x7044 ~x1025 ~x3659 ~x8113 ~x5352 ~x7045 ~x1026 ~x3660 ~x8135 
44.47/44.70	v ~x5353 ~x7046 ~x1027 ~x3661 ~x8148 ~x5354 ~x7047 ~x1028 ~x3662 ~x8153 
44.47/44.70	v ~x5355 ~x7048 ~x1029 ~x3663 ~x8166 ~x5356 ~x7049 ~x1030 ~x3664 ~x8188 
44.47/44.70	v ~x5357 ~x7050 ~x1031 ~x3665 ~x8197 ~x5358 ~x7051 ~x1032 ~x3666 ~x8223 
44.47/44.70	v ~x5359 ~x7052 ~x1033 ~x3667 x8228 ~x5360 ~x7053 ~x1034 ~x3668 x8259 
44.47/44.70	v ~x5361 ~x7054 ~x1035 ~x3669 ~x8264 ~x5362 ~x7055 ~x1036 ~x3670 ~x8290 
44.47/44.70	v ~x5363 ~x7056 ~x1037 ~x3671 ~x8299 ~x5364 ~x7057 ~x1038 ~x3672 ~x8304 
44.47/44.70	v ~x5365 ~x7058 ~x1039 ~x3673 ~x8321 ~x5366 ~x7059 ~x1040 ~x3674 ~x8339 
44.47/44.70	v ~x5367 ~x7060 ~x1041 ~x3675 ~x8352 ~x5368 ~x7061 ~x1042 ~x3676 ~x8374 
44.47/44.70	v ~x5369 ~x7062 ~x1043 ~x3677 ~x8383 ~x5370 ~x7063 ~x1044 ~x3678 ~x8409 
44.47/44.70	v ~x5371 ~x7064 ~x1045 ~x3679 ~x8414 ~x5372 ~x7065 ~x1046 ~x3680 ~x8445 
44.47/44.70	v ~x5373 ~x7066 ~x1047 ~x3681 ~x8450 ~x5374 ~x7067 ~x1048 ~x3682 ~x8455 
44.47/44.70	v ~x5375 ~x7068 ~x1049 ~x3683 x8476 ~x5376 ~x7069 ~x1050 ~x3684 ~x8490 
44.47/44.70	v ~x5377 ~x7070 ~x1051 ~x3685 ~x8507 ~x5378 ~x7071 ~x1052 ~x3686 ~x8525 
44.47/44.70	v ~x5379 ~x7072 ~x1053 ~x3687 ~x8538 ~x5380 ~x7073 ~x1054 ~x3688 ~x8560 
44.47/44.70	v ~x5381 ~x7074 ~x1055 ~x3689 ~x8569 ~x5382 ~x7075 ~x1056 ~x3690 ~x8595 
44.47/44.70	v ~x5383 ~x7076 ~x1057 ~x3691 ~x8600 ~x5384 ~x7077 ~x1058 ~x3692 ~x1851 
44.47/44.70	v ~x5385 ~x7078 ~x1059 ~x3693 ~x1852 ~x5386 ~x7079 ~x1060 ~x3694 ~x1853 
44.47/44.70	v ~x5387 ~x7080 ~x1061 ~x3695 ~x1854 ~x5388 x7081 ~x1062 ~x3696 ~x1855 
44.47/44.70	v ~x5389 ~x7082 ~x1063 ~x3697 ~x1856 ~x5390 ~x7083 ~x1064 ~x3698 ~x1857 
44.47/44.70	v ~x5391 ~x7084 ~x1065 ~x3699 ~x1858 ~x5392 ~x7085 ~x1066 ~x3700 ~x1859 
44.47/44.70	v ~x5393 ~x7086 ~x1067 ~x3701 ~x1860 ~x5394 ~x7087 ~x1068 ~x3702 ~x1861 
44.47/44.70	v ~x5395 ~x7088 ~x1069 ~x3703 ~x1862 ~x5396 ~x7089 ~x1070 ~x3704 ~x1863 
44.47/44.70	v ~x5397 ~x7090 ~x1071 ~x3705 ~x1864 ~x5398 ~x7091 ~x1072 ~x3706 ~x1865 
44.47/44.70	v ~x5399 ~x7092 ~x1073 ~x3707 ~x1866 ~x5400 ~x7093 ~x1074 ~x3708 ~x1867 
44.47/44.70	v ~x5401 ~x7094 ~x1075 ~x3709 ~x1868 ~x5402 ~x7095 ~x1076 ~x3710 ~x1869 
44.47/44.70	v ~x5403 ~x7096 ~x1077 ~x3711 ~x1870 ~x5404 ~x7097 ~x1078 ~x3712 ~x1871 
44.47/44.70	v ~x5405 ~x7098 ~x1079 ~x3713 ~x1872 ~x5406 ~x7099 ~x1080 ~x3714 ~x1873 
44.47/44.70	v ~x5407 ~x7100 ~x1081 ~x3715 ~x1874 ~x5408 ~x7101 ~x1082 ~x3716 ~x1875 
44.47/44.70	v ~x5409 ~x7102 ~x1083 ~x3717 ~x1876 ~x5410 ~x7103 ~x1084 ~x3718 ~x1877 
44.47/44.70	v ~x5411 ~x7104 ~x1085 ~x3719 ~x1878 ~x5412 ~x7105 ~x1086 ~x3720 ~x1879 
44.47/44.70	v ~x5413 ~x7106 ~x1087 ~x3721 ~x1880 ~x5414 ~x7107 ~x1088 ~x3722 ~x1881 
44.47/44.70	v ~x5415 ~x7108 ~x1089 ~x3723 ~x1882 ~x5416 ~x7109 ~x1090 ~x3724 ~x1883 
44.47/44.70	v ~x5417 ~x7110 ~x1091 ~x3725 ~x1884 ~x5418 ~x7111 ~x1092 ~x3726 ~x1885 
44.57/44.70	v ~x5419 ~x7112 ~x1093 ~x3727 ~x1886 ~x5420 ~x7113 ~x1094 ~x3728 ~x1887 
44.57/44.70	v ~x5421 ~x7114 ~x1095 ~x3729 ~x1888 ~x5422 ~x7115 ~x1096 ~x3730 ~x1889 
44.57/44.70	v ~x5423 ~x7116 ~x1097 ~x3731 ~x1890 ~x5424 ~x7117 ~x1098 ~x3732 ~x1891 
44.57/44.70	v ~x5425 ~x7118 ~x1099 ~x3733 ~x1892 ~x5426 ~x7119 ~x1100 ~x3734 ~x1893 
44.57/44.70	v ~x5427 ~x7120 ~x1101 ~x3735 ~x1894 ~x5428 ~x7121 ~x1102 ~x3736 ~x1895 
44.57/44.70	v ~x5429 ~x7122 ~x1103 ~x3737 ~x1896 ~x5430 ~x7123 ~x1104 ~x3738 ~x1897 
44.57/44.70	v ~x5431 ~x7124 ~x1105 ~x3739 ~x1898 ~x5432 ~x7125 ~x1106 ~x3740 ~x1899 
44.57/44.70	v ~x5433 ~x7126 ~x1107 ~x3741 ~x1900 ~x5434 ~x7127 ~x1108 ~x3742 ~x1901 
44.57/44.70	v ~x5435 ~x7128 ~x1109 ~x3743 ~x1902 ~x5436 ~x7129 ~x1110 ~x3744 ~x1903 
44.57/44.70	v ~x5437 ~x7130 ~x1111 ~x3745 ~x1904 ~x5438 ~x7131 x1112 ~x3746 ~x1905 
44.57/44.70	v ~x5439 ~x7132 ~x1113 ~x3747 ~x1906 ~x5440 ~x7133 ~x1114 ~x3748 ~x1907 
44.57/44.70	v ~x5441 ~x7134 ~x1115 ~x3749 ~x1908 ~x5442 ~x7135 ~x1116 ~x3750 ~x1909 
44.57/44.70	v ~x5443 ~x7136 ~x1117 ~x3751 ~x1910 ~x5444 ~x7137 ~x1118 ~x3752 ~x1911 
44.57/44.70	v ~x5445 ~x7138 ~x1119 ~x3753 ~x1912 ~x5446 ~x7139 ~x1120 ~x3754 ~x1913 
44.57/44.70	v ~x5447 ~x7140 ~x1121 ~x3755 ~x1914 ~x5448 x7141 ~x1122 ~x3756 ~x1915 
44.57/44.70	v ~x5449 ~x7142 ~x1123 ~x3757 ~x1916 ~x5450 ~x7143 ~x1124 ~x3758 ~x1917 
44.57/44.70	v ~x5451 ~x7144 ~x1125 ~x3759 ~x1918 ~x5452 ~x7145 ~x1126 ~x3760 ~x1919 
44.57/44.70	v ~x5453 ~x7146 ~x1127 ~x3761 ~x1920 ~x5454 ~x7147 ~x1128 ~x3762 ~x1921 
44.57/44.70	v ~x5455 ~x7148 ~x1129 ~x3763 ~x1922 ~x5456 ~x7149 ~x1130 ~x3764 ~x1923 
44.57/44.70	v ~x5457 ~x7150 ~x1131 ~x3765 ~x1924 ~x5458 ~x7151 ~x1132 ~x3766 ~x1925 
44.57/44.70	v ~x5459 ~x7152 ~x1133 ~x3767 ~x1926 ~x5460 ~x7153 ~x1134 ~x3768 ~x1927 
44.57/44.70	v ~x5461 ~x7154 ~x1135 ~x3769 ~x1928 ~x5462 ~x7155 ~x1136 ~x3770 ~x1929 
44.57/44.70	v ~x5463 ~x7156 ~x1137 ~x3771 ~x1930 ~x5464 ~x7157 ~x1138 ~x3772 ~x1931 
44.57/44.70	v ~x5465 ~x7158 ~x1139 ~x3773 ~x1932 ~x5466 ~x7159 ~x1140 ~x3774 ~x1933 
44.57/44.70	v ~x5467 ~x7160 ~x1141 ~x3775 ~x1934 ~x5468 ~x7161 ~x1142 ~x3776 ~x1935 
44.57/44.70	v ~x5469 ~x7162 ~x1143 ~x3777 ~x1936 ~x5470 ~x7163 ~x1144 ~x3778 ~x1937 
44.57/44.70	v ~x5471 ~x7164 ~x1145 ~x3779 ~x1938 ~x5472 ~x7165 ~x1146 ~x3780 ~x1939 
44.57/44.70	v ~x5473 ~x7166 ~x1147 ~x3781 ~x1940 ~x5474 ~x7167 ~x1148 ~x3782 ~x1941 
44.57/44.70	v ~x5475 ~x7168 ~x1149 ~x3783 ~x1942 ~x5476 ~x7169 ~x1150 ~x3784 ~x1943 
44.57/44.70	v ~x5477 ~x7170 ~x1151 ~x3785 ~x1944 ~x5478 ~x7171 ~x1152 ~x3786 ~x1945 
44.57/44.70	v ~x5479 ~x7172 ~x1153 ~x3787 ~x1946 ~x5480 ~x7173 ~x1154 ~x3788 ~x1947 
44.57/44.70	v ~x5481 ~x7174 ~x1155 ~x3789 ~x1948 ~x5482 ~x7175 ~x1156 ~x3790 ~x1949 
44.57/44.70	v ~x5483 ~x7176 ~x1157 ~x3791 ~x1950 ~x5484 ~x7177 ~x1158 ~x3792 ~x1951 
44.57/44.70	v ~x5485 ~x7178 ~x1159 ~x3793 ~x1952 ~x5486 ~x7179 ~x1160 ~x3794 ~x1953 
44.57/44.70	v ~x5487 ~x7180 ~x1161 ~x3795 ~x1954 ~x5488 ~x7181 ~x1162 ~x3796 ~x1955 
44.57/44.70	v ~x5489 ~x7182 ~x1163 ~x3797 ~x1956 ~x5490 ~x7183 ~x1164 ~x3798 ~x1957 
44.57/44.70	v ~x5491 ~x7184 ~x1165 ~x3799 ~x1958 ~x5492 ~x7185 ~x1166 ~x3800 ~x1959 
44.57/44.70	v ~x5493 ~x7186 ~x1167 ~x3801 ~x1960 ~x5494 ~x7187 ~x1168 ~x3802 ~x1961 
44.57/44.70	v ~x5495 ~x7188 ~x1169 ~x3803 ~x1962 ~x5496 ~x7189 ~x1170 ~x3804 ~x1963 
44.57/44.70	v ~x5497 ~x7190 ~x1171 ~x3805 ~x1964 ~x5498 ~x7191 ~x1172 ~x3806 ~x1965 
44.57/44.70	v ~x5499 ~x7192 ~x1173 ~x3807 ~x1966 ~x5500 ~x7193 ~x1174 ~x3808 ~x1967 
44.57/44.70	v ~x5501 ~x7194 ~x1175 ~x3809 ~x1968 ~x5502 ~x7195 ~x1176 ~x3810 ~x1969 
44.57/44.70	v ~x5503 ~x7196 ~x1177 ~x3811 ~x1970 ~x5504 ~x7197 ~x1178 ~x3812 ~x1971 
44.57/44.70	v ~x5505 ~x7198 ~x1179 ~x3813 ~x1972 ~x5506 ~x7199 ~x1180 ~x3814 ~x1973 
44.57/44.70	v ~x5507 ~x7200 ~x1181 ~x3815 ~x1974 ~x5508 ~x7201 ~x1182 ~x3816 ~x1975 
44.57/44.70	v ~x5509 ~x7202 ~x1183 ~x3817 ~x1976 ~x5510 ~x7203 ~x1184 ~x3818 ~x1977 
44.57/44.70	v ~x5511 ~x7204 ~x1185 ~x3819 ~x1978 ~x5512 ~x7205 ~x1186 ~x3820 ~x1979 
44.57/44.70	v ~x5513 ~x7206 ~x1187 ~x3821 ~x1980 ~x5514 ~x7207 ~x1188 ~x3822 x1981 
44.57/44.70	v ~x5515 ~x7208 ~x1189 ~x3823 ~x1982 ~x5516 ~x7209 ~x1190 ~x3824 ~x1983 
44.57/44.70	v ~x5517 ~x7210 ~x1191 ~x3825 ~x1984 ~x5518 ~x7211 ~x1192 ~x3826 ~x1985 
44.57/44.70	v ~x5519 ~x7212 ~x1193 ~x3827 ~x1986 ~x5520 ~x7213 ~x1194 ~x3828 ~x1987 
44.57/44.70	v ~x5521 ~x7214 ~x1195 ~x3829 ~x1988 ~x5522 ~x7215 ~x1196 ~x3830 ~x1989 
44.57/44.70	v ~x5523 ~x7216 ~x1197 ~x3831 ~x1990 ~x5524 ~x7217 ~x1198 ~x3832 ~x1991 
44.57/44.70	v ~x5525 ~x7218 ~x1199 ~x3833 ~x1992 ~x5526 ~x7219 ~x1200 ~x3834 ~x1993 
44.57/44.70	v ~x5527 ~x7220 ~x1201 ~x3835 ~x1994 ~x5528 ~x7221 ~x1202 ~x3836 ~x1995 
44.57/44.70	v ~x5529 ~x7222 ~x1203 ~x3837 ~x1996 ~x5530 ~x7223 ~x1204 ~x3838 ~x1997 
44.57/44.70	v ~x5531 ~x7224 ~x1205 ~x3839 ~x1998 ~x5532 ~x7225 ~x1206 ~x3840 ~x1999 
44.57/44.70	v ~x5533 ~x7226 ~x1207 ~x3841 ~x2000 ~x5534 ~x7227 ~x1208 ~x3842 ~x2001 
44.57/44.70	v ~x5535 ~x7228 ~x1209 ~x3843 ~x2002 ~x5536 ~x7229 ~x1210 ~x3844 ~x2003 
44.57/44.70	v ~x5537 ~x7230 ~x1211 ~x3845 ~x2004 ~x5538 ~x7231 ~x1212 ~x3846 ~x2005 
44.57/44.70	v ~x5539 ~x7232 ~x1213 ~x3847 ~x2006 ~x5540 ~x7233 ~x1214 ~x3848 ~x2007 
44.57/44.70	v ~x5541 ~x7234 ~x1215 ~x3849 ~x2008 ~x5542 ~x7235 ~x1216 ~x3850 ~x2009 
44.57/44.70	v ~x5543 ~x7236 ~x1217 ~x3851 ~x2010 ~x5544 ~x7237 ~x1218 ~x3852 x2011 
44.57/44.70	v ~x5545 ~x7238 ~x1219 ~x3853 ~x2012 ~x5546 ~x7239 ~x1220 ~x3854 ~x2013 
44.57/44.70	v ~x5547 ~x7240 ~x1221 ~x3855 ~x2014 ~x5548 ~x7241 ~x1222 ~x3856 ~x2015 
44.57/44.70	v ~x5549 ~x7242 ~x1223 ~x3857 ~x2016 ~x5550 ~x7243 ~x1224 ~x3858 ~x2017 
44.57/44.70	v ~x5551 ~x7244 ~x1225 ~x3859 ~x2018 ~x5552 ~x7245 ~x1226 ~x3860 ~x2019 
44.57/44.70	v ~x5553 ~x7246 ~x1227 ~x3861 ~x2020 ~x5554 ~x7247 ~x1228 ~x3862 ~x2021 
44.57/44.70	v ~x5555 ~x7248 ~x1229 ~x3863 ~x2022 ~x5556 ~x7249 ~x1230 ~x3864 ~x2023 
44.57/44.70	v ~x5557 ~x7250 x1231 ~x3865 ~x2024 ~x5558 ~x7251 ~x1232 ~x3866 ~x2025 
44.57/44.70	v ~x5559 ~x7252 ~x1233 ~x3867 ~x2026 ~x5560 ~x7253 ~x1234 ~x3868 ~x2027 
44.57/44.70	v ~x5561 ~x7254 ~x1235 ~x3869 ~x2028 ~x5562 ~x7255 ~x1236 ~x3870 ~x2029 
44.57/44.70	v ~x5563 ~x7256 ~x1237 ~x3871 ~x2030 ~x5564 ~x7257 ~x1238 ~x3872 ~x2031 
44.57/44.70	v ~x5565 ~x7258 ~x1239 ~x3873 ~x2032 ~x5566 ~x7259 ~x1240 ~x3874 ~x2033 
44.57/44.70	v ~x5567 ~x7260 ~x1241 ~x3875 ~x2034 ~x5568 ~x7261 ~x1242 ~x3876 ~x2035 
44.57/44.70	v ~x5569 ~x7262 ~x1243 ~x3877 ~x2036 ~x5570 ~x7263 ~x1244 ~x3878 ~x2037 
44.57/44.70	v ~x5571 ~x7264 ~x1245 ~x3879 ~x2038 ~x5572 ~x7265 ~x1246 ~x3880 ~x2039 
44.57/44.70	v ~x5573 ~x7266 ~x1247 ~x3881 ~x2040 ~x5574 ~x7267 ~x1248 ~x3882 ~x2041 
44.57/44.70	v ~x5575 ~x7268 ~x1249 ~x3883 ~x2042 ~x5576 ~x7269 ~x1250 ~x3884 ~x2043 
44.57/44.70	v ~x5577 ~x7270 ~x1251 ~x3885 ~x2044 ~x5578 ~x7271 ~x1252 ~x3886 ~x2045 
44.57/44.70	v ~x5579 ~x7272 ~x1253 ~x3887 ~x2046 ~x5580 ~x7273 ~x1254 ~x3888 ~x2047 
44.57/44.70	v ~x5581 ~x7274 ~x1255 ~x3889 ~x2048 ~x5582 ~x7275 ~x1256 ~x3890 ~x2049 
44.57/44.70	v ~x5583 ~x7276 ~x1257 ~x3891 ~x2050 ~x5584 ~x7277 ~x1258 ~x3892 ~x2051 
44.57/44.70	v ~x5585 ~x7278 ~x1259 ~x3893 ~x2052 ~x5586 ~x7279 ~x1260 ~x3894 ~x2053 
44.57/44.70	v ~x5587 ~x7280 x1261 ~x3895 ~x2054 ~x5588 ~x7281 x1262 ~x3896 ~x2055 
44.57/44.70	v ~x5589 ~x7282 ~x1263 ~x3897 ~x2056 ~x5590 ~x7283 ~x1264 ~x3898 ~x2057 
44.57/44.70	v ~x5591 ~x7284 ~x1265 ~x3899 ~x2058 ~x5592 ~x7285 ~x1266 ~x3900 ~x2059 
44.57/44.70	v ~x5593 ~x7286 ~x1267 ~x3901 ~x2060 ~x5594 ~x7287 ~x1268 ~x3902 ~x2061 
44.57/44.70	v ~x5595 ~x7288 ~x1269 ~x3903 ~x2062 ~x5596 ~x7289 ~x1270 ~x3904 ~x2063 
44.57/44.70	v ~x5597 ~x7290 ~x1271 ~x3905 ~x2064 ~x5598 ~x7291 ~x1272 ~x3906 ~x2065 
44.57/44.70	v ~x5599 ~x7292 ~x1273 ~x3907 ~x2066 ~x5600 ~x7293 ~x1274 ~x3908 ~x2067 
44.57/44.70	v ~x5601 ~x7294 ~x1275 ~x3909 ~x2068 ~x5602 ~x7295 ~x1276 ~x3910 ~x2069 
44.57/44.70	v ~x5603 ~x7296 ~x1277 ~x3911 ~x2070 ~x5604 ~x7297 ~x1278 ~x3912 ~x2071 
44.57/44.70	v ~x5605 ~x7298 ~x1279 ~x3913 ~x2072 ~x5606 ~x7299 ~x1280 ~x3914 ~x2073 
44.57/44.70	v ~x5607 ~x7300 ~x1281 ~x3915 ~x2074 ~x5608 ~x7301 ~x1282 ~x3916 ~x2075 
44.57/44.70	v ~x5609 ~x7302 ~x1283 ~x3917 ~x2076 ~x5610 ~x7303 ~x1284 ~x3918 ~x2077 
44.57/44.70	v ~x5611 ~x7304 ~x1285 ~x3919 ~x2078 ~x5612 ~x7305 ~x1286 ~x3920 ~x2079 
44.57/44.70	v ~x5613 ~x7306 ~x1287 ~x3921 ~x2080 ~x5614 ~x7307 ~x1288 ~x3922 ~x2081 
44.57/44.70	v ~x5615 ~x7308 ~x1289 ~x3923 ~x2082 ~x5616 ~x7309 ~x1290 ~x3924 ~x2083 
44.57/44.70	v ~x5617 ~x7310 x1291 ~x3925 ~x2084 ~x5618 ~x7311 ~x1292 ~x3926 ~x2085 
44.57/44.70	v ~x5619 ~x7312 ~x1293 ~x3927 ~x2086 ~x5620 ~x7313 ~x1294 ~x3928 ~x2087 
44.57/44.70	v ~x5621 ~x7314 ~x1295 ~x3929 ~x2088 ~x5622 ~x7315 ~x1296 ~x3930 ~x2089 
44.57/44.70	v ~x5623 ~x7316 ~x1297 ~x3931 ~x2090 ~x5624 ~x7317 ~x1298 ~x3932 ~x2091 
44.57/44.70	v ~x5625 ~x7318 ~x1299 ~x3933 ~x2092 ~x5626 ~x7319 ~x1300 ~x3934 ~x2093 
44.57/44.70	v ~x5627 ~x7320 ~x1301 ~x3935 ~x2094 ~x5628 x7321 ~x1302 ~x3936 ~x2095 
44.57/44.70	v ~x5629 ~x7322 ~x1303 ~x3937 ~x2096 ~x5630 ~x7323 ~x1304 ~x3938 ~x2097 
44.57/44.70	v ~x5631 ~x7324 ~x1305 ~x3939 ~x2098 ~x5632 ~x7325 ~x1306 ~x3940 ~x2099 
44.57/44.70	v ~x5633 ~x7326 ~x1307 ~x3941 ~x2100 ~x5634 ~x7327 ~x1308 ~x3942 x2101 
44.57/44.70	v ~x5635 ~x7328 ~x1309 ~x3943 ~x2102 ~x5636 ~x7329 ~x1310 ~x3944 ~x2103 
44.57/44.70	v ~x5637 ~x7330 ~x1311 ~x3945 ~x2104 ~x5638 ~x7331 ~x1312 ~x3946 ~x2105 
44.57/44.70	v ~x5639 ~x7332 ~x1313 ~x3947 ~x2106 ~x5640 ~x7333 ~x1314 ~x3948 ~x2107 
44.57/44.70	v ~x5641 ~x7334 ~x1315 ~x3949 ~x2108 ~x5642 ~x7335 ~x1316 ~x3950 ~x2109 
44.57/44.70	v ~x5643 ~x7336 ~x1317 ~x3951 ~x2110 ~x5644 ~x7337 ~x1318 ~x3952 ~x2111 
44.57/44.70	v ~x5645 ~x7338 ~x1319 ~x3953 ~x2112 ~x5646 ~x7339 ~x1320 ~x3954 ~x2113 
44.57/44.70	v ~x5647 ~x7340 ~x1321 ~x3955 ~x2114 ~x5648 ~x7341 ~x1322 ~x3956 ~x2115 
44.57/44.70	v ~x5649 ~x7342 ~x1323 ~x3957 ~x2116 ~x5650 ~x7343 ~x1324 ~x3958 ~x2117 
44.57/44.70	v ~x5651 ~x7344 ~x1325 ~x3959 ~x2118 ~x5652 ~x7345 ~x1326 ~x3960 ~x2119 
44.57/44.70	v ~x5653 ~x7346 ~x1327 ~x3961 ~x2120 ~x5654 ~x7347 ~x1328 ~x3962 ~x2121 
44.57/44.70	v ~x5655 ~x7348 ~x1329 ~x3963 ~x2122 ~x5656 ~x7349 ~x1330 ~x3964 ~x2123 
44.57/44.70	v ~x5657 ~x7350 ~x1331 ~x3965 ~x2124 ~x5658 ~x7351 ~x1332 ~x3966 ~x2125 
44.57/44.70	v ~x5659 ~x7352 ~x1333 ~x3967 ~x2126 ~x5660 ~x7353 ~x1334 ~x3968 ~x2127 
44.57/44.70	v ~x5661 ~x7354 ~x1335 ~x3969 ~x2128 ~x5662 ~x7355 ~x1336 ~x3970 ~x2129 
44.57/44.70	v ~x5663 ~x7356 ~x1337 ~x3971 ~x2130 ~x5664 ~x7357 ~x1338 ~x3972 x2131 
44.57/44.70	v ~x5665 ~x7358 ~x1339 ~x3973 ~x2132 ~x5666 ~x7359 ~x1340 ~x3974 ~x2133 
44.57/44.70	v ~x5667 ~x7360 ~x1341 ~x3975 ~x2134 ~x5668 ~x7361 ~x1342 ~x3976 ~x2135 
44.57/44.70	v ~x5669 ~x7362 ~x1343 ~x3977 ~x2136 ~x5670 ~x7363 ~x1344 ~x3978 ~x2137 
44.57/44.70	v ~x5671 ~x7364 ~x1345 ~x3979 ~x2138 ~x5672 ~x7365 ~x1346 ~x3980 ~x2139 
44.57/44.70	v ~x5673 ~x7366 ~x1347 ~x3981 ~x2140 ~x5674 ~x7367 ~x1348 ~x3982 ~x2141 
44.57/44.70	v ~x5675 ~x7368 ~x1349 ~x3983 ~x2142 ~x5676 ~x7369 ~x1350 ~x3984 ~x2143 
44.57/44.70	v ~x5677 ~x7370 ~x1351 ~x3985 ~x2144 ~x5678 ~x7371 ~x1352 ~x3986 ~x2145 
44.57/44.70	v ~x5679 ~x7372 ~x1353 ~x3987 ~x2146 ~x5680 ~x7373 ~x1354 ~x3988 ~x2147 
44.57/44.70	v ~x5681 ~x7374 ~x1355 ~x3989 ~x2148 ~x5682 ~x7375 ~x1356 ~x3990 ~x2149 
44.57/44.70	v ~x5683 ~x7376 ~x1357 ~x3991 ~x2150 ~x5684 ~x7377 ~x1358 ~x3992 ~x2151 
44.57/44.70	v ~x5685 ~x7378 ~x1359 ~x3993 ~x2152 ~x5686 ~x7379 ~x2301 ~x1360 ~x3994 
44.57/44.70	v ~x2153 ~x5687 ~x7380 ~x2302 ~x1361 ~x3995 ~x2154 ~x5688 ~x7381 ~x2303 
44.57/44.70	v ~x1362 ~x3996 ~x2155 ~x5689 ~x7382 ~x2304 ~x1363 ~x3997 ~x2156 ~x5690 
44.57/44.70	v ~x7383 ~x2305 ~x1364 ~x3998 ~x2157 ~x5691 ~x7384 ~x2306 ~x1365 ~x3999 
44.57/44.70	v ~x2158 ~x5692 ~x7385 ~x2307 ~x1366 ~x4000 ~x2159 ~x5693 ~x7386 ~x2308 
44.57/44.70	v ~x1367 ~x4001 ~x2160 ~x5694 ~x7387 ~x2309 ~x1368 ~x4002 ~x2161 ~x5695 
44.57/44.70	v ~x7388 ~x2310 ~x1369 ~x4003 ~x2162 ~x5696 ~x7389 ~x2311 ~x1370 ~x4004 
44.57/44.70	v ~x2163 ~x5697 ~x7390 ~x2312 ~x1371 ~x4005 ~x2164 ~x5698 ~x7391 ~x2313 
44.57/44.70	v ~x1372 ~x4006 ~x2165 ~x5699 ~x7392 ~x2314 ~x1373 ~x4007 ~x2166 ~x5700 

OK	9216

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

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

NUMA information:
  number of nodes: 2
  memory of node 0: 63794 MiB (62879 MiB free)
  memory of node 1: 64507 MiB (61476 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4528229-1752238029/watcher-4528229-1752238029 -o /tmp/evaluation-result-4528229-1752238029/solver-4528229-1752238029 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1752237995-109809 --watchdog 3760 pb_picat HOME/instance-4528229-1752238029.opb 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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


[startup+0.100069 s]*
/proc/loadavg: 3.72 4.82 5.79 5/252 109960
/proc/meminfo: memFree=127328404/131382120 swapFree=33010416/33010684
[pid=109959] ppid=109956 vsize=2027148 memory=27980 CPUtime=0.1 cores=0,2
/proc/109959/stat : 109959 (pb_picat) R 109956 109959 108148 0 -1 4194304 998 0 0 0 10 0 0 0 20 0 1 0 139482268 2075799552 6995 18446744073709551615 93931541348352 93931542749933 140733355434688 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 93931543021360 93931544895600 93931565776896 140733355436444 140733355436520 140733355436520 140733355442124 0
/proc/109959/statm: 506787 6995 1568 343 0 503851 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 2027148 KiB
Current children cumulated memory: 27980 KiB

[startup+0.2135 s]*
/proc/loadavg: 3.72 4.82 5.79 5/252 109960
/proc/meminfo: memFree=127320228/131382120 swapFree=33010416/33010684
[pid=109959] ppid=109956 vsize=2027148 memory=36196 CPUtime=0.21 cores=0,2
/proc/109959/stat : 109959 (pb_picat) R 109956 109959 108148 0 -1 4194304 1008 0 0 0 21 0 0 0 20 0 1 0 139482268 2075799552 9049 18446744073709551615 93931541348352 93931542749933 140733355434688 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 93931543021360 93931544895600 93931565776896 140733355436444 140733355436520 140733355436520 140733355442124 0
/proc/109959/statm: 506787 9049 1568 343 0 503851 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 2027148 KiB
Current children cumulated memory: 36196 KiB

[startup+0.313264 s]*
/proc/loadavg: 3.72 4.82 5.79 5/252 109960
/proc/meminfo: memFree=127312036/131382120 swapFree=33010416/33010684
[pid=109959] ppid=109956 vsize=2027148 memory=44388 CPUtime=0.3 cores=0,2
/proc/109959/stat : 109959 (pb_picat) R 109956 109959 108148 0 -1 4194304 1012 0 0 0 30 0 0 0 20 0 1 0 139482268 2075799552 11097 18446744073709551615 93931541348352 93931542749933 140733355434688 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 93931543021360 93931544895600 93931565776896 140733355436444 140733355436520 140733355436520 140733355442124 0
/proc/109959/statm: 506787 11097 1568 343 0 503851 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 2027148 KiB
Current children cumulated memory: 44388 KiB

[startup+0.700258 s]
/proc/loadavg: 3.72 4.82 5.79 5/252 109960
/proc/meminfo: memFree=127295652/131382120 swapFree=33010416/33010684
[pid=109959] ppid=109956 vsize=2057176 memory=81852 CPUtime=0.68 cores=0,2
/proc/109959/stat : 109959 (pb_picat) R 109956 109959 108148 0 -1 4194304 5884 0 0 0 66 2 0 0 20 0 1 0 139482268 2106548224 20463 18446744073709551615 93931541348352 93931542749933 140733355434688 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 93931543021360 93931544895600 93931565776896 140733355436444 140733355436520 140733355436520 140733355442124 0
/proc/109959/statm: 514294 20463 1664 343 0 511358 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 2057176 KiB
Current children cumulated memory: 81852 KiB

[startup+1.50032 s]
/proc/loadavg: 3.72 4.82 5.79 5/252 109960
/proc/meminfo: memFree=127283492/131382120 swapFree=33010416/33010684
[pid=109959] ppid=109956 vsize=2066348 memory=88112 CPUtime=1.48 cores=0,2
/proc/109959/stat : 109959 (pb_picat) R 109956 109959 108148 0 -1 4194304 8437 0 0 0 144 4 0 0 20 0 1 0 139482268 2115940352 22028 18446744073709551615 93931541348352 93931542749933 140733355434688 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 93931543021360 93931544895600 93931565776896 140733355436444 140733355436520 140733355436520 140733355442124 0
/proc/109959/statm: 516587 22028 1696 343 0 513651 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 2066348 KiB
Current children cumulated memory: 88112 KiB

[startup+3.11304 s]
/proc/loadavg: 3.83 4.82 5.79 5/252 109960
/proc/meminfo: memFree=127263904/131382120 swapFree=33010416/33010684
[pid=109959] ppid=109956 vsize=2064252 memory=92848 CPUtime=3.09 cores=0,2
/proc/109959/stat : 109959 (pb_picat) R 109956 109959 108148 0 -1 4194304 14473 0 0 0 303 6 0 0 20 0 1 0 139482268 2113794048 23212 18446744073709551615 93931541348352 93931542749933 140733355434688 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 93931543021360 93931544895600 93931565776896 140733355436444 140733355436520 140733355436520 140733355442124 0
/proc/109959/statm: 516063 23212 1696 343 0 513127 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 2064252 KiB
Current children cumulated memory: 92848 KiB

[startup+6.30024 s]
/proc/loadavg: 3.83 4.82 5.79 5/252 109960
/proc/meminfo: memFree=127260172/131382120 swapFree=33010416/33010684
[pid=109959] ppid=109956 vsize=2083964 memory=101600 CPUtime=6.26 cores=0,2
/proc/109959/stat : 109959 (pb_picat) R 109956 109959 108148 0 -1 4194304 22050 0 0 0 617 9 0 0 20 0 1 0 139482268 2133979136 25400 18446744073709551615 93931541348352 93931542749933 140733355434688 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 93931543021360 93931544895600 93931565776896 140733355436444 140733355436520 140733355436520 140733355442124 0
/proc/109959/statm: 520991 25400 1696 343 0 518055 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 2083964 KiB
Current children cumulated memory: 101600 KiB

[startup+12.7002 s]
/proc/loadavg: 3.85 4.80 5.77 5/252 109960
/proc/meminfo: memFree=127252492/131382120 swapFree=33010416/33010684
[pid=109959] ppid=109956 vsize=2067244 memory=94596 CPUtime=12.65 cores=0,2
/proc/109959/stat : 109959 (pb_picat) R 109956 109959 108148 0 -1 4194304 25112 0 0 0 1253 12 0 0 20 0 1 0 139482268 2116857856 23649 18446744073709551615 93931541348352 93931542749933 140733355434688 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 93931543021360 93931544895600 93931565776896 140733355436444 140733355436520 140733355436520 140733355442124 0
/proc/109959/statm: 516811 23649 1696 343 0 513875 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 2067244 KiB
Current children cumulated memory: 94596 KiB

[startup+25.5029 s]
/proc/loadavg: 3.88 4.77 5.75 5/253 109962
/proc/meminfo: memFree=127264960/131382120 swapFree=33010416/33010684
[pid=109959] ppid=109956 vsize=2077484 memory=95052 CPUtime=25.42 cores=0,2
/proc/109959/stat : 109959 (pb_picat) R 109956 109959 108148 0 -1 4194304 39032 0 0 0 2525 17 0 0 20 0 1 0 139482268 2127343616 23763 18446744073709551615 93931541348352 93931542749933 140733355434688 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 93931543021360 93931544895600 93931565776896 140733355436444 140733355436520 140733355436520 140733355442124 0
/proc/109959/statm: 519371 23763 1696 343 0 516435 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 2077484 KiB
Current children cumulated memory: 95052 KiB

[startup+44.7112 s]
# the end of solver process 109959 was just reported to runsolver
# Child status: 0

# cumulated CPU time of all completed processes:  user=44.3633 s, system=0.221305 s

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

[startup+25.6003 s]
/proc/loadavg: 3.88 4.77 5.75 5/253 109962
/proc/meminfo: memFree=127264960/131382120 swapFree=33010416/33010684
[pid=109959] ppid=109956 vsize=2077484 memory=95052 CPUtime=25.52 cores=0,2
/proc/109959/stat : 109959 (pb_picat) R 109956 109959 108148 0 -1 4194304 39032 0 0 0 2535 17 0 0 20 0 1 0 139482268 2127343616 23763 18446744073709551615 93931541348352 93931542749933 140733355434688 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 93931543021360 93931544895600 93931565776896 140733355436444 140733355436520 140733355436520 140733355442124 0
/proc/109959/statm: 519371 23763 1696 343 0 516435 0
Current children cumulated CPU time: 25.52 s
Current children cumulated vsize: 2077484 KiB
Current children cumulated memory: 95052 KiB

[startup+38.4003 s]
/proc/loadavg: 3.97 4.75 5.73 5/253 110007
/proc/meminfo: memFree=127139728/131382120 swapFree=33010416/33010684
[pid=109959] ppid=109956 vsize=2082092 memory=97504 CPUtime=38.28 cores=0,2
/proc/109959/stat : 109959 (pb_picat) R 109956 109959 108148 0 -1 4194304 50659 0 0 0 3808 20 0 0 20 0 1 0 139482268 2132062208 24376 18446744073709551615 93931541348352 93931542749933 140733355434688 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 93931543021360 93931544895600 93931565776896 140733355436444 140733355436520 140733355436520 140733355442124 0
/proc/109959/statm: 520523 24376 1696 343 0 517587 0
Current children cumulated CPU time: 38.28 s
Current children cumulated vsize: 2082092 KiB
Current children cumulated memory: 97504 KiB

[startup+41.6003 s]
/proc/loadavg: 3.97 4.75 5.73 5/253 110007
/proc/meminfo: memFree=127139980/131382120 swapFree=33010416/33010684
[pid=109959] ppid=109956 vsize=2082092 memory=97504 CPUtime=41.47 cores=0,2
/proc/109959/stat : 109959 (pb_picat) R 109956 109959 108148 0 -1 4194304 54308 0 0 0 4126 21 0 0 20 0 1 0 139482268 2132062208 24376 18446744073709551615 93931541348352 93931542749933 140733355434688 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 93931543021360 93931544895600 93931565776896 140733355436444 140733355436520 140733355436520 140733355442124 0
/proc/109959/statm: 520523 24376 1696 343 0 517587 0
Current children cumulated CPU time: 41.47 s
Current children cumulated vsize: 2082092 KiB
Current children cumulated memory: 97504 KiB

[startup+43.2003 s]
/proc/loadavg: 3.97 4.73 5.72 5/253 110007
/proc/meminfo: memFree=127148424/131382120 swapFree=33010416/33010684
[pid=109959] ppid=109956 vsize=2082092 memory=97504 CPUtime=43.07 cores=0,2
/proc/109959/stat : 109959 (pb_picat) R 109956 109959 108148 0 -1 4194304 54308 0 0 0 4286 21 0 0 20 0 1 0 139482268 2132062208 24376 18446744073709551615 93931541348352 93931542749933 140733355434688 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 93931543021360 93931544895600 93931565776896 140733355436444 140733355436520 140733355436520 140733355442124 0
/proc/109959/statm: 520523 24376 1696 343 0 517587 0
Current children cumulated CPU time: 43.07 s
Current children cumulated vsize: 2082092 KiB
Current children cumulated memory: 97504 KiB

[startup+44.0002 s]*
/proc/loadavg: 3.97 4.73 5.72 5/253 110007
/proc/meminfo: memFree=127140232/131382120 swapFree=33010416/33010684
[pid=109959] ppid=109956 vsize=2082092 memory=97504 CPUtime=43.88 cores=0,2
/proc/109959/stat : 109959 (pb_picat) R 109956 109959 108148 0 -1 4194304 54308 0 0 0 4367 21 0 0 20 0 1 0 139482268 2132062208 24376 18446744073709551615 93931541348352 93931542749933 140733355434688 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 93931543021360 93931544895600 93931565776896 140733355436444 140733355436520 140733355436520 140733355442124 0
/proc/109959/statm: 520523 24376 1696 343 0 517587 0
Current children cumulated CPU time: 43.88 s
Current children cumulated vsize: 2082092 KiB
Current children cumulated memory: 97504 KiB

[startup+44.4002 s]
/proc/loadavg: 3.97 4.73 5.72 5/253 110007
/proc/meminfo: memFree=127140232/131382120 swapFree=33010416/33010684
[pid=109959] ppid=109956 vsize=2082092 memory=97504 CPUtime=44.27 cores=0,2
/proc/109959/stat : 109959 (pb_picat) R 109956 109959 108148 0 -1 4194304 54308 0 0 0 4406 21 0 0 20 0 1 0 139482268 2132062208 24376 18446744073709551615 93931541348352 93931542749933 140733355434688 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 93931543021360 93931544895600 93931565776896 140733355436444 140733355436520 140733355436520 140733355442124 0
/proc/109959/statm: 520523 24376 1696 343 0 517587 0
Current children cumulated CPU time: 44.27 s
Current children cumulated vsize: 2082092 KiB
Current children cumulated memory: 97504 KiB

[startup+44.6002 s]
/proc/loadavg: 3.97 4.73 5.72 5/253 110007
/proc/meminfo: memFree=127140232/131382120 swapFree=33010416/33010684
[pid=109959] ppid=109956 vsize=2082092 memory=97504 CPUtime=44.47 cores=0,2
/proc/109959/stat : 109959 (pb_picat) R 109956 109959 108148 0 -1 4194304 54308 0 0 0 4426 21 0 0 20 0 1 0 139482268 2132062208 24376 18446744073709551615 93931541348352 93931542749933 140733355434688 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 93931543021360 93931544895600 93931565776896 140733355436444 140733355436520 140733355436520 140733355442124 0
/proc/109959/statm: 520523 24376 1696 343 0 517587 0
Current children cumulated CPU time: 44.47 s
Current children cumulated vsize: 2082092 KiB
Current children cumulated memory: 97504 KiB

[startup+44.7068 s]
/proc/loadavg: 3.97 4.73 5.72 5/253 110007
/proc/meminfo: memFree=127140232/131382120 swapFree=33010416/33010684
[pid=109959] ppid=109956 vsize=2082092 memory=97504 CPUtime=44.57 cores=0,2
/proc/109959/stat : 109959 (pb_picat) R 109956 109959 108148 0 -1 4194304 54308 0 0 0 4436 21 0 0 20 0 1 0 139482268 2132062208 24376 18446744073709551615 93931541348352 93931542749933 140733355434688 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 93931543021360 93931544895600 93931565776896 140733355436444 140733355436520 140733355436520 140733355442124 0
/proc/109959/statm: 520523 24376 1696 343 0 517587 0
Current children cumulated CPU time: 44.57 s
Current children cumulated vsize: 2082092 KiB
Current children cumulated memory: 97504 KiB

Child status: 0

Real time (s): 44.7113
CPU time (s): 44.5846
CPU user time (s): 44.3633
CPU system time (s): 0.221305
CPU usage (%): 99.7166
Max. virtual memory (cumulated for all children) (KiB): 2083964
Max. memory (cumulated for all children) (KiB): 102148

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 44.3633
system time used= 0.221305
maximum resident set size= 102148
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 54313
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= 67
involuntary context switches= 117


# summary of solver processes directly reported to runsolver:
#   pid: 109959
#   total CPU time (s): 44.5846
#   total CPU user time (s): 44.3633
#   total CPU system time (s): 0.221305

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.263223 second user time and 0.494974 second system time

The end

Begin job on nodeC006 at 2025-07-11 14:47:09
IDJOB=4528229
IDBENCH=146711
IDSOLVER=3385
FILE ID=nodeC006/4528229-1752238029
RUNJOBID= nodeC006-1752237995-109809
SLURM_JOB_ID= 9682517
Free space on /tmp= 432008 MiB

SOLVER NAME= pb_picat 2025-07-11
BENCH NAME= PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-neos11.opb
COMMAND LINE= pb_picat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4528229-1752238029/watcher-4528229-1752238029 -o /tmp/evaluation-result-4528229-1752238029/solver-4528229-1752238029 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1752237995-109809 --watchdog 3760  pb_picat HOME/instance-4528229-1752238029.opb

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

MD5SUM BENCH= d56dac1e1561d870cabdc9c053ba8250
RANDOM SEED=1004732272

nodeC006 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024

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

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.136
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.32
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 3662.246
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.32
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.648
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.32
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1196.986
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.32
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 3662.449
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.32
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 3661.465
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.32
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.332
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.32
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.601
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.32
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131382120 kB
MemFree:        127340372 kB
MemAvailable:   129566300 kB
Buffers:            2128 kB
Cached:          2988436 kB
SwapCached:           12 kB
Active:           841240 kB
Inactive:        2519832 kB
Active(anon):     377472 kB
Inactive(anon):    10992 kB
Active(file):     463768 kB
Inactive(file):  2508840 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010416 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:              4360 kB
Writeback:             4 kB
AnonPages:        367584 kB
Mapped:           116040 kB
Shmem:             17948 kB
KReclaimable:     185512 kB
Slab:             274880 kB
SReclaimable:     185512 kB
SUnreclaim:        89368 kB
KernelStack:        4096 kB
PageTables:         3888 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701744 kB
Committed_AS:    6525416 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      149400 kB
VmallocChunk:          0 kB
Percpu:             3872 kB
HardwareCorrupted:     0 kB
AnonHugePages:    260096 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
CmaTotal:              0 kB
CmaFree:               0 kB
Unaccepted:            0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      191304 kB
DirectMap2M:    10196992 kB
DirectMap1G:    125829120 kB

Free space on /tmp at the end= 432000 MiB
End job on nodeC006 at 2025-07-11 14:47:54