0.00/0.01	c solving HOME/instance-4528473-1752241807.opb (Picat 3.9b11, 7/10/2025)
0.29/0.37	o 25493944063
1.19/1.20	o 11708983057
1.98/2.09	o 11064153994
2.48/2.50	o 10857715866
3.67/3.74	o 10827561978
4.48/4.55	o 10820603398
4.87/4.95	o 10818283861
338.20/339.17	o 10818283664
341.68/342.62	o 10818283621
344.67/345.67	o 10818283611
347.37/348.30	o 10818283609
347.37/348.30	s OPTIMUM FOUND
347.37/348.30	v ~x402 x2093 ~x1247 x6115 ~x5269 ~x4423 ~x3577 x2940 x403 x2094 
347.37/348.30	v ~x1248 x6116 ~x5270 ~x4424 ~x3578 ~x2941 x404 ~x2095 ~x1249 ~x6117 
347.37/348.30	v ~x5271 ~x4425 ~x3579 x2942 x405 ~x2096 x1250 ~x6118 ~x5272 ~x4426 
347.37/348.30	v ~x3580 ~x2943 x406 ~x2097 x1251 ~x6119 ~x5273 ~x4427 ~x3581 x2944 
347.37/348.30	v x407 ~x2098 ~x1252 x6120 ~x5274 ~x4428 ~x3582 ~x2945 x408 x2099 
347.37/348.30	v ~x1253 ~x6121 ~x5275 ~x4429 ~x3583 ~x2946 ~x409 ~x2100 ~x1254 ~x6122 
347.37/348.30	v ~x5276 ~x4430 ~x3584 x2947 x410 ~x2101 ~x1255 ~x6123 ~x5277 ~x4431 
347.37/348.30	v ~x3585 ~x2948 ~x411 ~x2102 ~x1256 ~x6124 x5278 ~x4432 ~x3586 x2949 
347.37/348.30	v ~x412 x2103 x1257 ~x6125 ~x5279 x4433 ~x3587 ~x2950 ~x413 x2104 
347.37/348.30	v ~x1258 x6126 ~x5280 ~x4434 ~x3588 x2951 x414 ~x2105 ~x1259 x6127 
347.37/348.30	v ~x5281 x4435 ~x3589 x2952 ~x415 ~x2106 ~x1260 ~x6128 ~x5282 ~x4436 
347.37/348.30	v ~x3590 x2953 ~x416 x2107 x1261 ~x6129 ~x5283 ~x4437 ~x3591 x2954 
347.37/348.30	v ~x417 ~x2108 ~x1262 ~x6130 ~x5284 ~x4438 ~x3592 ~x2955 ~x418 ~x2109 
347.37/348.30	v x1263 ~x6131 ~x5285 ~x4439 ~x3593 ~x2956 ~x419 ~x2110 x1264 x6132 
347.37/348.30	v ~x5286 ~x4440 ~x3594 ~x2957 x420 ~x2111 ~x1265 x6133 ~x5287 ~x4441 
347.37/348.30	v ~x3595 ~x2958 ~x421 ~x2112 ~x1266 ~x6134 ~x5288 ~x4442 ~x3596 ~x2959 
347.37/348.30	v ~x422 ~x2113 x1267 ~x6135 ~x5289 ~x4443 ~x3597 ~x2960 ~x423 x2114 
347.37/348.30	v ~x1268 x6136 ~x5290 ~x4444 ~x3598 ~x2961 ~x424 ~x2115 x1269 ~x6137 
347.37/348.30	v ~x5291 ~x4445 ~x3599 ~x2962 ~x425 ~x2116 ~x1270 x6138 ~x5292 ~x4446 
347.37/348.30	v ~x3600 ~x2963 x426 ~x2117 ~x1271 x6139 ~x5293 ~x4447 ~x3601 ~x2964 
347.37/348.30	v x427 ~x2118 ~x1272 x6140 ~x5294 ~x4448 ~x3602 ~x2965 ~x428 ~x2119 
347.37/348.30	v ~x1273 x6141 ~x5295 ~x4449 ~x3603 ~x2966 ~x429 x2120 x1274 ~x6142 
347.37/348.30	v ~x5296 ~x4450 ~x3604 ~x2967 ~x430 ~x2121 x1275 ~x6143 ~x5297 ~x4451 
347.37/348.30	v ~x3605 ~x2968 x431 x2122 ~x1276 ~x6144 ~x5298 ~x4452 ~x3606 ~x2969 
347.37/348.30	v ~x432 ~x2123 x1277 ~x6145 ~x5299 ~x4453 ~x3607 ~x2970 x433 ~x2124 
347.37/348.30	v ~x1278 ~x6146 ~x5300 ~x4454 ~x3608 ~x2971 ~x434 ~x2125 ~x1279 x6147 
347.37/348.30	v ~x5301 ~x4455 ~x3609 ~x2972 ~x435 ~x2126 x1280 x6148 ~x5302 ~x4456 
347.37/348.30	v ~x3610 ~x2973 x436 ~x2127 ~x1281 x6149 ~x5303 ~x4457 ~x3611 ~x2974 
347.37/348.30	v x437 ~x2128 ~x1282 ~x6150 ~x5304 ~x4458 ~x3612 ~x2975 ~x438 ~x2129 
347.37/348.30	v x1283 ~x6151 ~x5305 ~x4459 ~x3613 ~x2976 ~x439 ~x2130 x1284 ~x6152 
347.37/348.30	v ~x5306 ~x4460 ~x3614 ~x2977 ~x440 ~x2131 ~x1285 ~x6153 x5307 ~x4461 
347.37/348.30	v ~x3615 ~x2978 x441 ~x2132 x1286 x6154 x5308 ~x4462 ~x3616 ~x2979 
347.37/348.30	v ~x442 x2133 ~x1287 x6155 x5309 ~x4463 ~x3617 ~x2980 ~x443 ~x2134 
347.37/348.30	v x1288 x6156 x5310 ~x4464 ~x3618 ~x2981 ~x444 ~x2135 ~x1289 ~x6157 
347.37/348.30	v x5311 ~x4465 ~x3619 ~x2982 ~x445 ~x2136 ~x1290 ~x6158 ~x5312 ~x4466 
347.37/348.30	v ~x3620 ~x2983 ~x446 x2137 x1291 x6159 x5313 ~x4467 ~x3621 ~x2984 
347.37/348.30	v x447 ~x2138 x1292 ~x6160 x5314 ~x4468 ~x3622 ~x2985 ~x448 ~x2139 
347.37/348.30	v x1293 ~x6161 ~x5315 x4469 ~x3623 ~x2986 ~x449 x2140 x1294 ~x6162 
347.37/348.30	v ~x5316 ~x4470 ~x3624 ~x2987 ~x450 ~x2141 ~x1295 ~x6163 ~x5317 ~x4471 
347.37/348.30	v ~x3625 ~x2988 ~x451 x2142 ~x1296 x6164 ~x5318 ~x4472 ~x3626 ~x2989 
347.37/348.30	v x452 ~x2143 ~x1297 ~x6165 ~x5319 ~x4473 ~x3627 ~x2990 ~x453 x2144 
347.37/348.30	v x1298 ~x6166 x5320 ~x4474 ~x3628 ~x2991 ~x454 ~x2145 ~x1299 ~x6167 
347.37/348.30	v ~x5321 ~x4475 ~x3629 ~x2992 ~x455 ~x2146 x1300 x6168 ~x5322 ~x4476 
347.37/348.30	v ~x3630 ~x2993 ~x456 ~x2147 x1301 ~x6169 ~x5323 ~x4477 ~x3631 ~x2994 
347.37/348.30	v ~x457 ~x2148 x1302 x6170 ~x5324 ~x4478 ~x3632 ~x2995 ~x458 ~x2149 
347.37/348.30	v ~x1303 x6171 ~x5325 ~x4479 ~x3633 ~x2996 ~x459 ~x2150 ~x1304 ~x6172 
347.37/348.30	v ~x5326 ~x4480 ~x3634 ~x2997 ~x460 ~x2151 ~x1305 x6173 ~x5327 ~x4481 
347.37/348.30	v ~x3635 ~x2998 ~x461 ~x2152 ~x1306 x6174 ~x5328 ~x4482 ~x3636 ~x2999 
347.37/348.30	v ~x462 ~x2153 ~x1307 ~x6175 ~x5329 ~x4483 ~x3637 ~x3000 x463 ~x2154 
347.37/348.30	v ~x1308 ~x6176 ~x5330 ~x4484 ~x3638 ~x3001 ~x464 ~x2155 x1309 x6177 
347.37/348.30	v ~x5331 ~x4485 ~x3639 ~x3002 x465 ~x2156 x1310 x6178 ~x5332 ~x4486 
347.37/348.30	v ~x3640 ~x3003 ~x466 ~x2157 ~x1311 ~x6179 ~x5333 ~x4487 ~x3641 ~x3004 
347.37/348.30	v x467 ~x2158 ~x1312 x6180 ~x5334 ~x4488 ~x3642 ~x3005 ~x468 ~x2159 
347.37/348.30	v ~x1313 ~x6181 ~x5335 ~x4489 ~x3643 ~x3006 ~x469 ~x2160 x1314 x6182 
347.37/348.30	v ~x5336 ~x4490 ~x3644 ~x3007 x470 ~x2161 x1315 x6183 ~x5337 ~x4491 
347.37/348.30	v ~x3645 ~x3008 ~x471 ~x2162 ~x1316 x6184 ~x5338 ~x4492 ~x3646 ~x3009 
347.37/348.30	v ~x472 ~x2163 x1317 x6185 x5339 ~x4493 ~x3647 ~x3010 ~x473 ~x2164 
347.37/348.30	v x1318 x6186 x5340 ~x4494 ~x3648 ~x3011 ~x474 ~x2165 ~x1319 ~x6187 
347.37/348.30	v x5341 ~x4495 ~x3649 ~x3012 x475 ~x2166 ~x1320 ~x6188 ~x5342 ~x4496 
347.37/348.30	v ~x3650 ~x3013 ~x476 ~x2167 ~x1321 x6189 ~x5343 x4497 ~x3651 ~x3014 
347.37/348.30	v ~x477 ~x2168 x1322 ~x6190 ~x5344 x4498 ~x3652 ~x3015 ~x478 x2169 
347.37/348.30	v ~x1323 ~x6191 ~x5345 x4499 ~x3653 ~x3016 x479 x2170 x1324 ~x6192 
347.37/348.30	v ~x5346 ~x4500 ~x3654 ~x3017 ~x480 x2171 ~x1325 x6193 ~x5347 ~x4501 
347.37/348.30	v ~x3655 ~x3018 ~x481 x2172 ~x1326 ~x6194 ~x5348 ~x4502 ~x3656 ~x3019 
347.37/348.30	v x482 x2173 x1327 x6195 ~x5349 ~x4503 ~x3657 ~x3020 ~x483 x2174 
347.37/348.30	v ~x1328 x6196 ~x5350 ~x4504 ~x3658 ~x3021 ~x484 ~x2175 x1329 x6197 
347.37/348.30	v ~x5351 ~x4505 ~x3659 ~x3022 x485 x2176 ~x1330 x6198 ~x5352 ~x4506 
347.37/348.30	v ~x3660 ~x3023 ~x486 ~x2177 ~x1331 ~x6199 ~x5353 ~x4507 ~x3661 ~x3024 
347.37/348.30	v x487 ~x2178 x1332 ~x6200 ~x5354 ~x4508 ~x3662 ~x3025 ~x488 ~x2179 
347.37/348.30	v ~x1333 ~x6201 ~x5355 ~x4509 ~x3663 ~x3026 ~x489 ~x2180 ~x1334 ~x6202 
347.37/348.30	v ~x5356 ~x4510 ~x3664 ~x3027 ~x490 ~x2181 ~x1335 x6203 ~x5357 ~x4511 
347.37/348.30	v ~x3665 ~x3028 ~x491 ~x2182 ~x1336 x6204 ~x5358 ~x4512 ~x3666 ~x3029 
347.37/348.30	v x492 ~x2183 ~x1337 ~x6205 ~x5359 ~x4513 ~x3667 ~x3030 ~x493 ~x2184 
347.37/348.30	v ~x1338 x6206 ~x5360 ~x4514 ~x3668 ~x3031 ~x494 ~x2185 ~x1339 x6207 
347.37/348.30	v ~x5361 ~x4515 ~x3669 ~x3032 ~x495 ~x2186 ~x1340 x6208 ~x5362 ~x4516 
347.37/348.30	v ~x3670 ~x3033 ~x496 ~x2187 x1341 x6209 ~x5363 ~x4517 ~x3671 ~x3034 
347.37/348.30	v ~x497 x2188 ~x1342 x6210 ~x5364 ~x4518 ~x3672 ~x3035 ~x498 ~x2189 
347.37/348.30	v ~x1343 x6211 ~x5365 x4519 ~x3673 ~x3036 ~x499 ~x2190 ~x1344 ~x6212 
347.37/348.30	v ~x5366 ~x4520 x3674 ~x3037 ~x500 ~x2191 ~x1345 x6213 ~x5367 ~x4521 
347.37/348.30	v ~x3675 ~x3038 ~x501 ~x2192 ~x1346 x6214 ~x5368 ~x4522 ~x3676 ~x3039 
347.37/348.30	v ~x502 ~x2193 ~x1347 x6215 ~x5369 ~x4523 x3677 ~x3040 ~x503 ~x2194 
347.37/348.30	v ~x1348 x6216 ~x5370 ~x4524 ~x3678 ~x3041 ~x504 ~x2195 x1349 x6217 
347.37/348.30	v ~x5371 ~x4525 ~x3679 ~x3042 ~x505 ~x2196 ~x1350 x6218 ~x5372 ~x4526 
347.37/348.30	v ~x3680 ~x3043 ~x506 x2197 x1351 x6219 ~x5373 ~x4527 ~x3681 ~x3044 
347.37/348.30	v x507 ~x2198 ~x1352 x6220 ~x5374 ~x4528 ~x3682 ~x3045 x508 ~x2199 
347.37/348.30	v ~x1353 x6221 ~x5375 ~x4529 ~x3683 ~x3046 ~x509 x2200 ~x1354 x6222 
347.37/348.30	v ~x5376 ~x4530 ~x3684 ~x3047 x510 ~x2201 x1355 ~x6223 ~x5377 ~x4531 
347.37/348.30	v ~x3685 ~x3048 ~x511 x2202 ~x1356 x6224 ~x5378 ~x4532 ~x3686 ~x3049 
347.37/348.30	v ~x512 ~x2203 ~x1357 x6225 ~x5379 ~x4533 ~x3687 ~x3050 ~x513 x2204 
347.37/348.30	v ~x1358 ~x6226 ~x5380 ~x4534 ~x3688 ~x3051 ~x514 ~x2205 x1359 ~x6227 
347.37/348.30	v ~x5381 ~x4535 ~x3689 ~x3052 x515 x2206 ~x1360 ~x6228 ~x5382 ~x4536 
347.37/348.30	v ~x3690 ~x3053 x516 ~x2207 ~x1361 ~x6229 ~x5383 ~x4537 ~x3691 ~x3054 
347.37/348.30	v ~x517 ~x2208 ~x1362 ~x6230 ~x5384 ~x4538 ~x3692 ~x3055 ~x518 x2209 
347.37/348.30	v ~x1363 x6231 x5385 ~x4539 ~x3693 ~x3056 ~x519 x2210 x1364 x6232 
347.37/348.30	v x5386 ~x4540 ~x3694 ~x3057 ~x520 ~x2211 x1365 ~x6233 ~x5387 ~x4541 
347.37/348.30	v ~x3695 ~x3058 x521 ~x2212 ~x1366 ~x6234 ~x5388 ~x4542 ~x3696 ~x3059 
347.37/348.30	v ~x522 x2213 ~x1367 ~x6235 ~x5389 ~x4543 ~x3697 ~x3060 ~x523 ~x2214 
347.37/348.30	v ~x1368 ~x6236 x5390 x4544 ~x3698 ~x3061 ~x524 ~x2215 ~x1369 ~x6237 
347.37/348.30	v x5391 ~x4545 ~x3699 ~x3062 ~x525 x2216 ~x1370 ~x6238 ~x5392 ~x4546 
347.37/348.30	v ~x3700 ~x3063 ~x526 x2217 ~x1371 ~x6239 ~x5393 ~x4547 ~x3701 ~x3064 
347.37/348.30	v x527 x2218 ~x1372 ~x6240 ~x5394 x4548 ~x3702 ~x3065 x528 x2219 
347.37/348.30	v ~x1373 x6241 ~x5395 x4549 ~x3703 ~x3066 ~x529 ~x2220 ~x1374 x6242 
347.37/348.30	v ~x5396 ~x4550 ~x3704 ~x3067 ~x530 ~x2221 ~x1375 ~x6243 ~x5397 ~x4551 
347.37/348.30	v ~x3705 ~x3068 ~x531 ~x2222 ~x1376 x6244 x5398 ~x4552 ~x3706 ~x3069 
347.37/348.30	v ~x532 x2223 ~x1377 x6245 x5399 ~x4553 ~x3707 ~x3070 x533 ~x2224 
347.37/348.30	v x1378 x6246 ~x5400 ~x4554 ~x3708 ~x3071 ~x534 x2225 ~x1379 x6247 
347.37/348.30	v ~x5401 ~x4555 ~x3709 ~x3072 ~x535 ~x2226 ~x1380 ~x6248 ~x5402 ~x4556 
347.37/348.30	v ~x3710 ~x3073 ~x536 ~x2227 ~x1381 x6249 ~x5403 ~x4557 ~x3711 ~x3074 
347.37/348.30	v ~x537 ~x2228 ~x1382 ~x6250 x5404 ~x4558 ~x3712 ~x3075 x538 x2229 
347.37/348.30	v ~x1383 x6251 x5405 ~x4559 ~x3713 ~x3076 ~x539 x2230 x1384 x6252 
347.37/348.30	v ~x5406 x4560 ~x3714 ~x3077 ~x540 ~x2231 ~x1385 ~x6253 ~x5407 ~x4561 
347.37/348.30	v ~x3715 ~x3078 x541 ~x2232 ~x1386 ~x6254 x5408 ~x4562 ~x3716 ~x3079 
347.37/348.30	v ~x542 x2233 x1387 ~x6255 x5409 ~x4563 ~x3717 ~x3080 ~x543 ~x2234 
347.37/348.30	v ~x1388 ~x6256 ~x5410 ~x4564 ~x3718 ~x3081 x544 x2235 x1389 ~x6257 
347.37/348.30	v ~x5411 ~x4565 ~x3719 ~x3082 ~x545 x2236 ~x1390 x6258 ~x5412 ~x4566 
347.37/348.30	v ~x3720 ~x3083 ~x546 x2237 x1391 ~x6259 ~x5413 ~x4567 ~x3721 ~x3084 
347.37/348.30	v x547 ~x2238 ~x1392 ~x6260 ~x5414 ~x4568 ~x3722 ~x3085 ~x548 ~x2239 
347.37/348.30	v ~x1393 ~x6261 ~x5415 ~x4569 ~x3723 ~x3086 ~x549 ~x2240 ~x1394 x6262 
347.37/348.30	v x5416 ~x4570 ~x3724 ~x3087 ~x550 x2241 ~x1395 x6263 ~x5417 ~x4571 
347.37/348.30	v ~x3725 ~x3088 ~x551 x2242 ~x1396 ~x6264 ~x5418 x4572 ~x3726 ~x3089 
347.37/348.30	v ~x552 ~x2243 ~x1397 x6265 x5419 x4573 ~x3727 ~x3090 ~x553 x2244 
347.37/348.30	v ~x1398 ~x6266 ~x5420 ~x4574 ~x3728 ~x3091 ~x554 ~x2245 x1399 x6267 
347.37/348.30	v ~x5421 ~x4575 ~x3729 ~x3092 ~x555 x2246 ~x1400 x6268 ~x5422 ~x4576 
347.37/348.30	v ~x3730 ~x3093 x556 ~x2247 ~x1401 x6269 ~x5423 ~x4577 ~x3731 ~x3094 
347.37/348.30	v ~x557 x2248 ~x1402 ~x6270 ~x5424 ~x4578 ~x3732 ~x3095 ~x558 x2249 
347.37/348.30	v ~x1403 ~x6271 ~x5425 ~x4579 ~x3733 ~x3096 ~x559 ~x2250 ~x1404 ~x6272 
347.37/348.30	v ~x5426 ~x4580 ~x3734 ~x3097 ~x560 ~x2251 ~x1405 ~x6273 ~x5427 ~x4581 
347.37/348.30	v ~x3735 ~x3098 ~x561 x2252 ~x1406 ~x6274 ~x5428 ~x4582 ~x3736 ~x3099 
347.37/348.30	v ~x562 x2253 ~x1407 ~x6275 ~x5429 ~x4583 ~x3737 ~x3100 x563 x2254 
347.37/348.30	v ~x1408 x6276 ~x5430 ~x4584 ~x3738 ~x3101 ~x564 x2255 ~x1409 x6277 
347.37/348.30	v ~x5431 ~x4585 ~x3739 ~x3102 ~x565 ~x2256 ~x1410 x6278 x5432 ~x4586 
347.37/348.30	v ~x3740 ~x3103 x566 ~x2257 ~x1411 x6279 ~x5433 x4587 ~x3741 ~x3104 
347.37/348.30	v ~x567 ~x2258 ~x1412 x6280 ~x5434 ~x4588 ~x3742 ~x3105 ~x568 ~x2259 
347.37/348.30	v ~x1413 ~x6281 ~x5435 ~x4589 ~x3743 ~x3106 x569 ~x2260 x1414 ~x6282 
347.37/348.30	v ~x5436 x4590 ~x3744 ~x3107 ~x570 x2261 ~x1415 x6283 ~x5437 ~x4591 
347.37/348.30	v ~x3745 ~x3108 ~x571 ~x2262 x1416 ~x6284 ~x5438 ~x4592 ~x3746 ~x3109 
347.37/348.30	v ~x572 ~x2263 x1417 x6285 ~x5439 ~x4593 ~x3747 ~x3110 x573 ~x2264 
347.37/348.30	v ~x1418 x6286 ~x5440 ~x4594 ~x3748 ~x3111 ~x574 ~x2265 x1419 ~x6287 
347.37/348.30	v ~x5441 ~x4595 ~x3749 ~x3112 ~x575 x2266 ~x1420 x6288 ~x5442 ~x4596 
347.37/348.30	v ~x3750 ~x3113 x576 ~x2267 x1421 x6289 ~x5443 ~x4597 ~x3751 ~x3114 
347.37/348.30	v x577 ~x2268 ~x1422 x6290 ~x5444 ~x4598 ~x3752 ~x3115 ~x578 ~x2269 
347.37/348.30	v x1423 ~x6291 ~x5445 ~x4599 ~x3753 ~x3116 ~x579 ~x2270 x1424 x6292 
347.37/348.30	v ~x5446 ~x4600 ~x3754 ~x3117 ~x580 ~x2271 ~x1425 x6293 ~x5447 ~x4601 
347.37/348.30	v ~x3755 ~x3118 ~x581 ~x2272 ~x1426 x6294 x5448 x4602 ~x3756 ~x3119 
347.37/348.30	v x582 ~x2273 x1427 ~x6295 ~x5449 x4603 ~x3757 ~x3120 ~x583 ~x2274 
347.37/348.30	v ~x1428 ~x6296 ~x5450 x4604 ~x3758 ~x3121 ~x584 ~x2275 x1429 x6297 
347.37/348.30	v ~x5451 ~x4605 ~x3759 ~x3122 ~x585 ~x2276 ~x1430 ~x6298 x5452 ~x4606 
347.37/348.30	v ~x3760 ~x3123 ~x586 ~x2277 ~x1431 ~x6299 ~x5453 ~x4607 ~x3761 ~x3124 
347.37/348.30	v ~x587 x2278 ~x1432 x6300 ~x5454 ~x4608 ~x3762 ~x3125 x588 ~x2279 
347.37/348.30	v x1433 x6301 ~x5455 ~x4609 ~x3763 ~x3126 ~x589 ~x2280 ~x1434 x6302 
347.37/348.30	v ~x5456 ~x4610 ~x3764 ~x3127 ~x590 ~x2281 x1435 x6303 ~x5457 ~x4611 
347.37/348.30	v ~x3765 ~x3128 x591 x2282 ~x1436 ~x6304 ~x5458 ~x4612 ~x3766 ~x3129 
347.37/348.30	v ~x592 x2283 ~x1437 x6305 ~x5459 ~x4613 ~x3767 ~x3130 ~x593 ~x2284 
347.37/348.30	v x1438 x6306 ~x5460 ~x4614 ~x3768 ~x3131 ~x594 ~x2285 ~x1439 ~x6307 
347.37/348.30	v ~x5461 ~x4615 ~x3769 ~x3132 x595 x2286 ~x1440 x6308 ~x5462 ~x4616 
347.37/348.30	v ~x3770 ~x3133 ~x596 ~x2287 x1441 ~x6309 ~x5463 ~x4617 ~x3771 ~x3134 
347.37/348.30	v x597 x2288 ~x1442 ~x6310 ~x5464 ~x4618 ~x3772 ~x3135 ~x598 x2289 
347.37/348.30	v x1443 ~x6311 ~x5465 ~x4619 ~x3773 ~x3136 x599 ~x2290 ~x1444 ~x6312 
347.37/348.30	v ~x5466 ~x4620 ~x3774 ~x3137 ~x600 ~x2291 ~x1445 x6313 ~x5467 ~x4621 
347.37/348.30	v ~x3775 ~x3138 ~x601 ~x2292 x1446 x6314 ~x5468 ~x4622 ~x3776 ~x3139 
347.37/348.30	v ~x602 ~x2293 ~x1447 x6315 ~x5469 ~x4623 ~x3777 ~x3140 x603 ~x2294 
347.37/348.30	v ~x1448 x6316 ~x5470 ~x4624 ~x3778 ~x3141 ~x604 ~x2295 x1449 x6317 
347.37/348.30	v ~x5471 x4625 ~x3779 ~x3142 ~x605 ~x2296 x1450 x6318 ~x5472 x4626 
347.37/348.30	v ~x3780 ~x3143 ~x606 ~x2297 ~x1451 x6319 ~x5473 ~x4627 ~x3781 ~x3144 
347.37/348.30	v ~x607 ~x2298 x1452 x6320 ~x5474 ~x4628 ~x3782 ~x3145 ~x608 ~x2299 
347.37/348.30	v ~x1453 x6321 ~x5475 ~x4629 ~x3783 ~x3146 x609 x2300 ~x1454 x6322 
347.37/348.30	v ~x5476 ~x4630 ~x3784 ~x3147 ~x610 ~x2301 ~x1455 x6323 ~x5477 ~x4631 
347.37/348.30	v ~x3785 ~x3148 x611 ~x2302 ~x1456 x6324 ~x5478 ~x4632 ~x3786 ~x3149 
347.37/348.30	v ~x612 x2303 x1457 x6325 ~x5479 ~x4633 ~x3787 ~x3150 x613 ~x2304 
347.37/348.30	v ~x1458 x6326 ~x5480 ~x4634 ~x3788 ~x3151 ~x614 ~x2305 ~x1459 x6327 
347.37/348.30	v ~x5481 ~x4635 ~x3789 ~x3152 ~x615 x2306 x1460 x6328 ~x5482 ~x4636 
347.37/348.30	v ~x3790 ~x3153 x616 ~x2307 ~x1461 x6329 ~x5483 ~x4637 ~x3791 ~x3154 
347.37/348.30	v x617 ~x2308 x1462 ~x6330 ~x5484 ~x4638 ~x3792 ~x3155 ~x618 x2309 
347.37/348.30	v ~x1463 x6331 ~x5485 x4639 ~x3793 ~x3156 x619 x2310 x1464 x6332 
347.37/348.30	v ~x5486 ~x4640 ~x3794 ~x3157 ~x620 ~x2311 ~x1465 x6333 ~x5487 ~x4641 
347.37/348.30	v ~x3795 ~x3158 x621 x2312 x1466 x6334 ~x5488 x4642 ~x3796 ~x3159 
347.37/348.30	v ~x622 ~x2313 ~x1467 x6335 ~x5489 ~x4643 ~x3797 ~x3160 ~x623 x2314 
347.37/348.30	v ~x1468 ~x6336 ~x5490 ~x4644 ~x3798 ~x3161 ~x624 x2315 ~x1469 x6337 
347.37/348.30	v ~x5491 ~x4645 ~x3799 ~x3162 x625 ~x2316 ~x1470 ~x6338 x5492 ~x4646 
347.37/348.30	v ~x3800 ~x3163 x626 x2317 x1471 x6339 ~x5493 ~x4647 ~x3801 ~x3164 
347.37/348.30	v ~x627 ~x2318 ~x1472 x6340 ~x5494 ~x4648 ~x3802 ~x3165 ~x628 x2319 
347.37/348.30	v ~x1473 ~x6341 ~x5495 ~x4649 ~x3803 ~x3166 x629 ~x2320 ~x1474 x6342 
347.37/348.30	v ~x5496 ~x4650 ~x3804 ~x3167 ~x630 ~x2321 ~x1475 x6343 ~x5497 ~x4651 
347.37/348.30	v ~x3805 ~x3168 ~x631 ~x2322 ~x1476 ~x6344 ~x5498 ~x4652 ~x3806 ~x3169 
347.37/348.30	v x632 ~x2323 ~x1477 x6345 ~x5499 ~x4653 ~x3807 ~x3170 ~x633 x2324 
347.37/348.30	v ~x1478 ~x6346 ~x5500 ~x4654 ~x3808 ~x3171 x634 ~x2325 ~x1479 x6347 
347.37/348.30	v ~x5501 ~x4655 ~x3809 ~x3172 x635 ~x2326 ~x1480 x6348 ~x5502 ~x4656 
347.37/348.30	v ~x3810 ~x3173 ~x636 ~x2327 ~x1481 x6349 ~x5503 ~x4657 ~x3811 ~x3174 
347.37/348.30	v ~x637 ~x2328 ~x1482 ~x6350 ~x5504 ~x4658 ~x3812 ~x3175 x638 ~x2329 
347.37/348.30	v ~x1483 x6351 ~x5505 ~x4659 ~x3813 ~x3176 ~x639 ~x2330 ~x1484 ~x6352 
347.37/348.30	v ~x5506 ~x4660 ~x3814 ~x3177 ~x640 ~x2331 ~x1485 ~x6353 ~x5507 ~x4661 
347.37/348.30	v ~x3815 ~x3178 ~x641 x2332 ~x1486 ~x6354 ~x5508 ~x4662 ~x3816 ~x3179 
347.37/348.30	v ~x642 x2333 ~x1487 ~x6355 ~x5509 ~x4663 ~x3817 ~x3180 x643 ~x2334 
347.37/348.30	v ~x1488 ~x6356 ~x5510 ~x4664 ~x3818 ~x3181 ~x644 ~x2335 ~x1489 x6357 
347.37/348.30	v ~x5511 ~x4665 ~x3819 ~x3182 x645 ~x2336 ~x1490 x6358 ~x5512 ~x4666 
347.37/348.30	v ~x3820 ~x3183 ~x646 x2337 ~x1491 ~x6359 ~x5513 ~x4667 ~x3821 ~x3184 
347.37/348.30	v ~x647 ~x2338 ~x1492 ~x6360 ~x5514 ~x4668 ~x3822 ~x3185 ~x648 x2339 
347.37/348.30	v ~x1493 ~x6361 x5515 ~x4669 ~x3823 ~x3186 x649 ~x2340 ~x1494 x6362 
347.37/348.30	v x5516 ~x4670 ~x3824 ~x3187 x650 ~x2341 ~x1495 x6363 x5517 ~x4671 
347.37/348.30	v ~x3825 ~x3188 ~x651 ~x2342 ~x1496 x6364 x5518 ~x4672 ~x3826 ~x3189 
347.37/348.30	v ~x652 ~x2343 ~x1497 x6365 ~x5519 ~x4673 ~x3827 ~x3190 ~x653 ~x2344 
347.37/348.30	v ~x1498 x6366 ~x5520 ~x4674 ~x3828 ~x3191 ~x654 ~x2345 x1499 ~x6367 
347.37/348.30	v ~x5521 ~x4675 ~x3829 ~x3192 ~x655 ~x2346 x1500 ~x6368 ~x5522 ~x4676 
347.37/348.30	v ~x3830 ~x3193 ~x656 ~x2347 ~x1501 ~x6369 ~x5523 ~x4677 ~x3831 ~x3194 
347.37/348.30	v ~x657 ~x2348 ~x1502 x6370 ~x5524 ~x4678 ~x3832 ~x3195 ~x658 ~x2349 
347.37/348.30	v ~x1503 ~x6371 ~x5525 ~x4679 ~x3833 ~x3196 x659 ~x2350 ~x1504 ~x6372 
347.37/348.30	v ~x5526 ~x4680 ~x3834 ~x3197 ~x660 ~x2351 ~x1505 ~x6373 ~x5527 ~x4681 
347.37/348.30	v ~x3835 ~x3198 ~x661 ~x2352 x1506 ~x6374 ~x5528 ~x4682 ~x3836 ~x3199 
347.37/348.30	v ~x662 ~x2353 ~x1507 ~x6375 ~x5529 ~x4683 ~x3837 ~x3200 ~x663 x2354 
347.37/348.30	v ~x1508 ~x6376 ~x5530 ~x4684 ~x3838 ~x3201 x664 ~x2355 ~x1509 ~x6377 
347.37/348.30	v ~x5531 ~x4685 ~x3839 ~x3202 ~x665 ~x2356 ~x1510 ~x6378 ~x5532 ~x4686 
347.37/348.30	v ~x3840 ~x3203 ~x666 ~x2357 ~x1511 ~x6379 ~x5533 ~x4687 ~x3841 ~x3204 
347.37/348.30	v ~x667 x2358 ~x1512 ~x6380 ~x5534 ~x4688 ~x3842 ~x3205 ~x668 x2359 
347.37/348.30	v ~x1513 ~x6381 ~x5535 ~x4689 ~x3843 ~x3206 ~x669 ~x2360 ~x1514 ~x6382 
347.37/348.30	v ~x5536 ~x4690 ~x3844 ~x3207 ~x670 ~x2361 ~x1515 ~x6383 ~x5537 ~x4691 
347.37/348.30	v ~x3845 ~x3208 x671 ~x2362 ~x1516 ~x6384 ~x5538 ~x4692 ~x3846 ~x3209 
347.37/348.30	v ~x672 ~x2363 ~x1517 ~x6385 ~x5539 ~x4693 ~x3847 ~x3210 ~x673 ~x2364 
347.37/348.30	v ~x1518 ~x6386 ~x5540 ~x4694 ~x3848 ~x3211 ~x674 x2365 ~x1519 ~x6387 
347.37/348.30	v ~x5541 ~x4695 ~x3849 ~x3212 ~x675 ~x2366 ~x1520 x6388 ~x5542 ~x4696 
347.37/348.30	v ~x3850 ~x3213 ~x676 x2367 x1521 ~x6389 ~x5543 ~x4697 ~x3851 ~x3214 
347.37/348.30	v x677 ~x2368 x1522 ~x6390 ~x5544 ~x4698 ~x3852 ~x3215 ~x678 ~x2369 
347.37/348.30	v x1523 ~x6391 ~x5545 ~x4699 ~x3853 ~x3216 ~x679 ~x2370 x1524 ~x6392 
347.37/348.30	v ~x5546 ~x4700 ~x3854 ~x3217 x680 x2371 x1525 ~x6393 ~x5547 ~x4701 
347.37/348.30	v ~x3855 ~x3218 ~x681 x2372 x1526 ~x6394 ~x5548 ~x4702 ~x3856 ~x3219 
347.37/348.30	v x682 ~x2373 ~x1527 ~x6395 ~x5549 ~x4703 ~x3857 ~x3220 ~x683 x2374 
347.37/348.30	v ~x1528 x6396 ~x5550 ~x4704 ~x3858 ~x3221 x684 x2375 ~x1529 x6397 
347.37/348.30	v ~x5551 ~x4705 ~x3859 ~x3222 ~x685 ~x2376 ~x1530 ~x6398 ~x5552 ~x4706 
347.37/348.30	v ~x3860 ~x3223 ~x686 x2377 ~x1531 ~x6399 ~x5553 ~x4707 ~x3861 ~x3224 
347.37/348.30	v ~x687 ~x2378 ~x1532 ~x6400 ~x5554 ~x4708 ~x3862 ~x3225 ~x688 x2379 
347.37/348.30	v ~x1533 ~x6401 ~x5555 ~x4709 ~x3863 ~x3226 x689 ~x2380 ~x1534 ~x6402 
347.37/348.30	v ~x5556 ~x4710 ~x3864 ~x3227 ~x690 x2381 ~x1535 ~x6403 ~x5557 ~x4711 
347.37/348.30	v ~x3865 ~x3228 ~x691 x2382 x1536 ~x6404 ~x5558 ~x4712 ~x3866 ~x3229 
347.37/348.30	v ~x692 x2383 ~x1537 ~x6405 ~x5559 ~x4713 ~x3867 ~x3230 ~x693 ~x2384 
347.37/348.30	v x1538 ~x6406 ~x5560 ~x4714 ~x3868 ~x3231 x694 ~x2385 ~x1539 x6407 
347.37/348.30	v ~x5561 ~x4715 ~x3869 ~x3232 x695 ~x2386 ~x1540 x6408 ~x5562 ~x4716 
347.37/348.30	v ~x3870 ~x3233 ~x696 ~x2387 ~x1541 x6409 ~x5563 ~x4717 ~x3871 ~x3234 
347.37/348.30	v ~x697 ~x2388 ~x1542 ~x6410 ~x5564 ~x4718 ~x3872 ~x3235 ~x698 ~x2389 
347.37/348.30	v x1543 ~x6411 ~x5565 ~x4719 ~x3873 ~x3236 ~x699 ~x2390 x1544 ~x6412 
347.37/348.30	v ~x5566 ~x4720 ~x3874 ~x3237 ~x700 ~x2391 ~x1545 x6413 ~x5567 ~x4721 
347.37/348.30	v ~x3875 ~x3238 ~x701 ~x2392 x1546 x6414 ~x5568 ~x4722 ~x3876 ~x3239 
347.37/348.30	v ~x702 ~x2393 ~x1547 x6415 ~x5569 ~x4723 ~x3877 ~x3240 ~x703 x2394 
347.37/348.30	v x1548 ~x6416 ~x5570 ~x4724 ~x3878 ~x3241 ~x704 x2395 x1549 ~x6417 
347.37/348.30	v ~x5571 ~x4725 ~x3879 ~x3242 x705 ~x2396 x1550 ~x6418 ~x5572 ~x4726 
347.37/348.30	v ~x3880 ~x3243 ~x706 x2397 ~x1551 ~x6419 ~x5573 ~x4727 ~x3881 ~x3244 
347.37/348.30	v x707 ~x2398 x1552 x6420 ~x5574 ~x4728 ~x3882 ~x3245 x708 x2399 
347.37/348.30	v x1553 ~x6421 ~x5575 ~x4729 x3883 ~x3246 ~x709 ~x2400 x1554 ~x6422 
347.37/348.30	v ~x5576 ~x4730 ~x3884 ~x3247 ~x710 x2401 x1555 ~x6423 ~x5577 ~x4731 
347.37/348.30	v ~x3885 ~x3248 x711 ~x2402 x1556 x6424 ~x5578 ~x4732 ~x3886 ~x3249 
347.37/348.30	v ~x712 ~x2403 x1557 ~x6425 x5579 ~x4733 ~x3887 ~x3250 ~x713 ~x2404 
347.37/348.30	v x1558 x6426 ~x5580 ~x4734 ~x3888 ~x3251 ~x714 x2405 x1559 x6427 
347.37/348.30	v ~x5581 ~x4735 ~x3889 ~x3252 ~x715 ~x2406 x1560 ~x6428 ~x5582 ~x4736 
347.37/348.30	v ~x3890 ~x3253 ~x716 x2407 ~x1561 x6429 ~x5583 ~x4737 ~x3891 ~x3254 
347.37/348.30	v x717 ~x2408 ~x1562 ~x6430 ~x5584 ~x4738 ~x3892 ~x3255 x718 ~x2409 
347.37/348.30	v x1563 ~x6431 ~x5585 ~x4739 ~x3893 ~x3256 x719 x2410 x1564 ~x6432 
347.37/348.30	v ~x5586 ~x4740 ~x3894 ~x3257 ~x720 x2411 ~x1565 x6433 ~x5587 ~x4741 
347.37/348.30	v ~x3895 ~x3258 x721 ~x2412 ~x1566 x6434 ~x5588 ~x4742 ~x3896 ~x3259 
347.37/348.30	v ~x722 x2413 ~x1567 ~x6435 ~x5589 ~x4743 ~x3897 ~x3260 ~x723 x2414 
347.37/348.30	v ~x1568 ~x6436 ~x5590 ~x4744 ~x3898 ~x3261 ~x724 x2415 ~x1569 ~x6437 
347.37/348.30	v ~x5591 ~x4745 ~x3899 ~x3262 ~x725 x2416 ~x1570 ~x6438 x5592 ~x4746 
347.37/348.30	v ~x3900 ~x3263 x726 x2417 ~x1571 ~x6439 x5593 ~x4747 ~x3901 ~x3264 
347.37/348.30	v ~x727 x2418 ~x1572 x6440 ~x5594 ~x4748 ~x3902 ~x3265 ~x728 ~x2419 
347.37/348.30	v x1573 ~x6441 ~x5595 ~x4749 ~x3903 ~x3266 ~x729 ~x2420 ~x1574 ~x6442 
347.37/348.30	v ~x5596 ~x4750 ~x3904 ~x3267 x730 x2421 ~x1575 ~x6443 ~x5597 ~x4751 
347.37/348.30	v ~x3905 ~x3268 x731 x2422 ~x1576 ~x6444 ~x5598 ~x4752 ~x3906 ~x3269 
347.37/348.30	v x732 x2423 ~x1577 x6445 x5599 ~x4753 ~x3907 ~x3270 ~x733 x2424 
347.37/348.30	v ~x1578 ~x6446 ~x5600 ~x4754 ~x3908 ~x3271 x734 ~x2425 ~x1579 x6447 
347.37/348.30	v ~x5601 ~x4755 ~x3909 ~x3272 ~x735 ~x2426 ~x1580 ~x6448 ~x5602 ~x4756 
347.37/348.30	v ~x3910 ~x3273 x736 ~x2427 ~x1581 x6449 ~x5603 ~x4757 ~x3911 ~x3274 
347.37/348.30	v ~x737 ~x2428 ~x1582 ~x6450 ~x5604 ~x4758 ~x3912 ~x3275 x738 ~x2429 
347.37/348.30	v ~x1583 ~x6451 ~x5605 ~x4759 ~x3913 ~x3276 ~x739 x2430 ~x1584 x6452 
347.37/348.30	v ~x5606 ~x4760 ~x3914 ~x3277 ~x740 x2431 ~x1585 x6453 ~x5607 ~x4761 
347.37/348.30	v ~x3915 ~x3278 ~x741 ~x2432 x1586 x6454 x5608 ~x4762 ~x3916 ~x3279 
347.37/348.30	v x742 ~x2433 ~x1587 x6455 ~x5609 ~x4763 ~x3917 ~x3280 ~x743 ~x2434 
347.37/348.30	v ~x1588 x6456 ~x5610 ~x4764 ~x3918 ~x3281 x744 ~x2435 ~x1589 ~x6457 
347.37/348.30	v ~x5611 ~x4765 ~x3919 ~x3282 x745 ~x2436 x1590 ~x6458 ~x5612 ~x4766 
347.37/348.30	v ~x3920 ~x3283 ~x746 ~x2437 ~x1591 ~x6459 ~x5613 x4767 ~x3921 ~x3284 
347.37/348.30	v ~x747 ~x2438 ~x1592 ~x6460 ~x5614 ~x4768 ~x3922 ~x3285 ~x748 ~x2439 
347.37/348.30	v x1593 ~x6461 ~x5615 ~x4769 ~x3923 ~x3286 x749 ~x2440 ~x1594 ~x6462 
347.37/348.30	v ~x5616 ~x4770 ~x3924 ~x3287 ~x750 ~x2441 x1595 ~x6463 ~x5617 ~x4771 
347.37/348.30	v ~x3925 ~x3288 x751 x2442 x1596 ~x6464 x5618 ~x4772 ~x3926 ~x3289 
347.37/348.30	v ~x752 ~x2443 x1597 ~x6465 x5619 ~x4773 ~x3927 ~x3290 ~x753 ~x2444 
347.37/348.30	v x1598 x6466 ~x5620 ~x4774 ~x3928 ~x3291 x754 ~x2445 x1599 x6467 
347.37/348.30	v ~x5621 ~x4775 ~x3929 ~x3292 ~x755 ~x2446 x1600 ~x6468 ~x5622 ~x4776 
347.37/348.30	v ~x3930 ~x3293 x756 ~x2447 ~x1601 ~x6469 ~x5623 ~x4777 ~x3931 ~x3294 
347.37/348.30	v x757 x2448 x1602 ~x6470 x5624 ~x4778 ~x3932 ~x3295 ~x758 ~x2449 
347.37/348.30	v x1603 x6471 ~x5625 ~x4779 ~x3933 ~x3296 ~x759 ~x2450 ~x1604 ~x6472 
347.37/348.30	v ~x5626 ~x4780 ~x3934 ~x3297 x760 ~x2451 ~x1605 x6473 ~x5627 ~x4781 
347.37/348.30	v ~x3935 ~x3298 x761 ~x2452 ~x1606 ~x6474 ~x5628 ~x4782 ~x3936 ~x3299 
347.37/348.30	v ~x762 ~x2453 ~x1607 ~x6475 ~x5629 ~x4783 ~x3937 ~x3300 ~x763 ~x2454 
347.37/348.30	v x1608 ~x6476 ~x5630 ~x4784 ~x3938 ~x3301 x764 x2455 ~x1609 ~x6477 
347.37/348.30	v ~x5631 ~x4785 ~x3939 ~x3302 ~x765 ~x2456 ~x1610 ~x6478 ~x5632 x4786 
347.37/348.30	v ~x3940 ~x3303 ~x766 x2457 ~x1611 ~x6479 ~x5633 ~x4787 ~x3941 ~x3304 
347.37/348.30	v x767 ~x2458 ~x1612 x6480 x5634 ~x4788 ~x3942 ~x3305 ~x768 x2459 
347.37/348.30	v ~x1613 ~x6481 ~x5635 ~x4789 ~x3943 ~x3306 ~x769 ~x2460 ~x1614 x6482 
347.37/348.30	v ~x5636 ~x4790 ~x3944 ~x3307 x770 x2461 x1615 ~x6483 ~x5637 ~x4791 
347.37/348.30	v ~x3945 ~x3308 ~x771 ~x2462 ~x1616 x6484 x5638 ~x4792 ~x3946 ~x3309 
347.37/348.30	v x772 x2463 ~x1617 ~x6485 x5639 ~x4793 ~x3947 ~x3310 x773 x2464 
347.37/348.30	v ~x1618 ~x6486 x5640 ~x4794 ~x3948 ~x3311 ~x774 ~x2465 ~x1619 x6487 
347.37/348.30	v ~x5641 ~x4795 ~x3949 ~x3312 ~x775 ~x2466 ~x1620 ~x6488 ~x5642 ~x4796 
347.37/348.30	v ~x3950 ~x3313 x776 x2467 ~x1621 x6489 ~x5643 ~x4797 ~x3951 ~x3314 
347.37/348.30	v ~x777 ~x2468 ~x1622 x6490 ~x5644 ~x4798 ~x3952 ~x3315 x778 ~x2469 
347.37/348.30	v x1623 ~x6491 ~x5645 ~x4799 ~x3953 ~x3316 ~x779 ~x2470 ~x1624 ~x6492 
347.37/348.30	v ~x5646 ~x4800 ~x3954 ~x3317 ~x780 x2471 x1625 x6493 x5647 ~x4801 
347.37/348.30	v ~x3955 ~x3318 ~x781 x2472 ~x1626 ~x6494 ~x5648 ~x4802 ~x3956 ~x3319 
347.37/348.30	v ~x782 ~x2473 x1627 ~x6495 x5649 ~x4803 ~x3957 ~x3320 x783 x2474 
347.37/348.30	v x1628 ~x6496 x5650 ~x4804 ~x3958 ~x3321 ~x784 ~x2475 ~x1629 ~x6497 
347.37/348.30	v x5651 ~x4805 ~x3959 ~x3322 ~x785 ~x2476 ~x1630 ~x6498 ~x5652 ~x4806 
347.37/348.30	v ~x3960 ~x3323 x786 ~x2477 x1631 ~x6499 x5653 ~x4807 ~x3961 ~x3324 
347.37/348.30	v ~x787 ~x2478 ~x1632 ~x6500 ~x5654 ~x4808 ~x3962 ~x3325 ~x788 ~x2479 
347.37/348.30	v x1633 ~x6501 ~x5655 ~x4809 ~x3963 ~x3326 x789 ~x2480 x1634 ~x6502 
347.37/348.30	v ~x5656 ~x4810 ~x3964 ~x3327 ~x790 ~x2481 x1635 ~x6503 ~x5657 ~x4811 
347.37/348.30	v ~x3965 ~x3328 x791 ~x2482 ~x1636 ~x6504 ~x5658 ~x4812 ~x3966 ~x3329 
347.37/348.30	v ~x792 ~x2483 x1637 ~x6505 ~x5659 ~x4813 ~x3967 ~x3330 ~x793 ~x2484 
347.37/348.30	v ~x1638 ~x6506 ~x5660 ~x4814 ~x3968 ~x3331 ~x794 ~x2485 x1639 ~x6507 
347.37/348.30	v ~x5661 ~x4815 ~x3969 ~x3332 ~x795 x2486 x1640 ~x6508 ~x5662 ~x4816 
347.37/348.30	v ~x3970 ~x3333 ~x796 ~x2487 ~x1641 ~x6509 ~x5663 ~x4817 ~x3971 ~x3334 
347.37/348.30	v ~x797 ~x2488 x1642 x6510 ~x5664 ~x4818 ~x3972 ~x3335 x798 ~x2489 
347.37/348.30	v ~x1643 x6511 ~x5665 ~x4819 ~x3973 ~x3336 x799 x2490 x1644 x6512 
347.37/348.30	v ~x5666 ~x4820 ~x3974 ~x3337 ~x800 ~x2491 ~x1645 x6513 ~x5667 ~x4821 
347.37/348.30	v ~x3975 ~x3338 ~x801 x2492 x1646 x6514 ~x5668 ~x4822 ~x3976 ~x3339 
347.37/348.30	v ~x802 ~x2493 ~x1647 x6515 ~x5669 ~x4823 ~x3977 ~x3340 x803 ~x2494 
347.37/348.30	v ~x1648 x6516 ~x5670 ~x4824 ~x3978 ~x3341 x804 ~x2495 x1649 x6517 
347.37/348.30	v ~x5671 ~x4825 ~x3979 ~x3342 ~x805 ~x2496 ~x1650 x6518 ~x5672 ~x4826 
347.37/348.30	v ~x3980 ~x3343 ~x806 ~x2497 ~x1651 x6519 ~x5673 ~x4827 ~x3981 ~x3344 
347.37/348.30	v x807 ~x2498 ~x1652 x6520 ~x5674 x4828 ~x3982 ~x3345 ~x808 x2499 
347.37/348.30	v x1653 ~x6521 ~x5675 x4829 ~x3983 ~x3346 x809 ~x2500 ~x1654 ~x6522 
347.37/348.30	v ~x5676 ~x4830 ~x3984 ~x3347 ~x810 ~x2501 ~x1655 x6523 ~x5677 ~x4831 
347.37/348.30	v ~x3985 ~x3348 x811 x2502 x1656 ~x6524 ~x5678 ~x4832 ~x3986 ~x3349 
347.37/348.30	v ~x812 ~x2503 ~x1657 ~x6525 ~x5679 ~x4833 ~x3987 ~x3350 x813 ~x2504 
347.37/348.30	v ~x1658 ~x6526 ~x5680 ~x4834 ~x3988 ~x3351 ~x814 x2505 x1659 ~x6527 
347.37/348.30	v ~x5681 ~x4835 ~x3989 ~x3352 ~x815 x2506 x1660 ~x6528 ~x5682 x4836 
347.37/348.30	v ~x3990 ~x3353 ~x816 x2507 x1661 ~x6529 ~x5683 ~x4837 ~x3991 ~x3354 
347.37/348.30	v x817 ~x2508 ~x1662 ~x6530 ~x5684 ~x4838 ~x3992 ~x3355 x818 ~x2509 
347.37/348.30	v x1663 ~x6531 ~x5685 ~x4839 ~x3993 ~x3356 x819 ~x2510 ~x1664 ~x6532 
347.37/348.30	v ~x5686 ~x4840 ~x3994 ~x3357 ~x820 ~x2511 x1665 ~x6533 ~x5687 ~x4841 
347.37/348.30	v ~x3995 ~x3358 ~x821 ~x2512 ~x1666 ~x6534 ~x5688 ~x4842 ~x3996 ~x3359 
347.37/348.30	v ~x822 ~x2513 ~x1667 ~x6535 ~x5689 ~x4843 ~x3997 ~x3360 x823 x2514 
347.37/348.30	v x1668 ~x6536 ~x5690 ~x4844 ~x3998 ~x3361 ~x824 ~x2515 x1669 ~x6537 
347.37/348.30	v ~x5691 ~x4845 ~x3999 ~x3362 x825 x2516 ~x1670 ~x6538 ~x5692 ~x4846 
347.37/348.30	v ~x4000 ~x3363 ~x826 x2517 ~x1671 ~x6539 ~x5693 ~x4847 ~x4001 ~x3364 
347.37/348.30	v ~x827 ~x2518 ~x1672 x6540 ~x5694 ~x4848 ~x4002 ~x3365 x828 ~x2519 
347.37/348.30	v ~x1673 ~x6541 ~x5695 ~x4849 ~x4003 ~x3366 x829 x2520 x1674 ~x6542 
347.37/348.30	v ~x5696 ~x4850 ~x4004 ~x3367 ~x830 ~x2521 x1675 ~x6543 ~x5697 ~x4851 
347.37/348.30	v ~x4005 ~x3368 ~x831 x2522 ~x1676 ~x6544 ~x5698 ~x4852 ~x4006 ~x3369 
347.37/348.30	v ~x832 x2523 ~x1677 ~x6545 ~x5699 ~x4853 ~x4007 ~x3370 ~x833 ~x2524 
347.37/348.30	v ~x1678 ~x6546 ~x5700 ~x4854 ~x4008 ~x3371 ~x834 ~x2525 x1679 ~x6547 
347.37/348.30	v ~x5701 ~x4855 ~x4009 ~x3372 ~x835 x2526 ~x1680 ~x6548 ~x5702 ~x4856 
347.37/348.30	v ~x4010 ~x3373 x836 ~x2527 ~x1681 ~x5703 ~x4857 ~x4011 ~x3374 ~x837 
347.37/348.30	v x2528 ~x1682 ~x5704 ~x4858 ~x4012 ~x3375 ~x838 ~x2529 ~x1683 ~x5705 
347.37/348.30	v ~x4859 ~x4013 ~x3376 x839 x2530 ~x1684 ~x5706 ~x4860 ~x4014 ~x3377 
347.37/348.30	v x840 ~x2531 ~x1685 ~x5707 ~x4861 ~x4015 ~x3378 ~x841 ~x2532 ~x1686 
347.37/348.30	v ~x5708 ~x4862 ~x4016 ~x3379 ~x842 x2533 ~x1687 ~x5709 ~x4863 ~x4017 
347.37/348.30	v ~x3380 ~x843 ~x2534 ~x1688 ~x5710 ~x4864 ~x4018 ~x3381 ~x844 x2535 
347.37/348.30	v x1689 ~x5711 ~x4865 ~x4019 ~x3382 ~x845 ~x2536 x1690 ~x5712 ~x4866 
347.37/348.30	v ~x4020 ~x3383 x846 x2537 x1691 ~x5713 ~x4867 ~x4021 ~x3384 ~x847 
347.37/348.30	v ~x2538 ~x1 x1692 ~x5714 x4868 ~x4022 ~x3385 ~x848 x2539 ~x2 
347.37/348.30	v ~x1693 ~x5715 ~x4869 ~x4023 ~x3386 ~x849 ~x2540 x3 ~x1694 ~x5716 
347.37/348.30	v ~x4870 ~x4024 ~x3387 ~x850 x2541 ~x4 ~x1695 ~x5717 ~x4871 ~x4025 
347.37/348.30	v ~x3388 x851 ~x2542 x5 x1696 x5718 ~x4872 ~x4026 ~x3389 ~x852 
347.37/348.30	v ~x2543 x6 x1697 ~x5719 ~x4873 ~x4027 ~x3390 ~x853 x2544 ~x7 
347.37/348.30	v ~x1698 ~x5720 ~x4874 ~x4028 ~x3391 ~x854 ~x2545 ~x8 x1699 ~x5721 
347.37/348.30	v ~x4875 ~x4029 ~x3392 ~x855 x2546 ~x9 ~x1700 ~x5722 ~x4876 ~x4030 
347.37/348.30	v ~x3393 ~x856 ~x2547 x10 ~x1701 ~x5723 ~x4877 ~x4031 ~x3394 ~x857 
347.37/348.30	v ~x2548 x11 ~x1702 ~x5724 ~x4878 ~x4032 ~x3395 ~x858 x2549 ~x12 
347.37/348.30	v ~x1703 x5725 ~x4879 ~x4033 ~x3396 x859 ~x2550 ~x13 ~x1704 x5726 
347.37/348.30	v ~x4880 ~x4034 ~x3397 ~x860 x2551 x14 ~x1705 ~x5727 ~x4881 ~x4035 
347.37/348.30	v ~x3398 ~x861 x2552 ~x15 ~x1706 x5728 ~x4882 ~x4036 ~x3399 x862 
347.37/348.30	v x2553 ~x16 x1707 ~x5729 ~x4883 ~x4037 ~x3400 ~x863 ~x2554 x17 
347.37/348.30	v ~x1708 ~x5730 ~x4884 ~x4038 ~x3401 x864 x2555 x18 ~x1709 ~x5731 
347.37/348.30	v ~x4885 ~x4039 ~x3402 ~x865 ~x2556 ~x19 x1710 x5732 ~x4886 ~x4040 
347.37/348.30	v ~x3403 x866 ~x2557 ~x20 ~x1711 ~x5733 ~x4887 ~x4041 ~x3404 ~x867 
347.37/348.30	v x2558 x21 ~x1712 ~x5734 ~x4888 ~x4042 ~x3405 ~x868 ~x2559 ~x22 
347.37/348.30	v ~x1713 ~x5735 ~x4889 ~x4043 ~x3406 x869 x2560 x23 ~x1714 ~x5736 
347.37/348.30	v ~x4890 ~x4044 ~x3407 x870 x2561 ~x24 ~x1715 ~x5737 ~x4891 ~x4045 
347.37/348.30	v ~x3408 ~x871 ~x2562 ~x25 ~x1716 ~x5738 ~x4892 ~x4046 ~x3409 ~x872 
347.37/348.30	v ~x2563 x26 ~x1717 ~x5739 ~x4893 ~x4047 ~x3410 ~x873 x2564 x27 
347.37/348.30	v ~x1718 x5740 ~x4894 ~x4048 ~x3411 ~x874 ~x2565 ~x28 ~x1719 x5741 
347.37/348.30	v ~x4895 ~x4049 ~x3412 x875 ~x2566 ~x29 ~x1720 ~x5742 x4896 ~x4050 
347.37/348.30	v ~x3413 ~x876 ~x2567 x30 ~x1721 ~x5743 ~x4897 ~x4051 ~x3414 ~x877 
347.37/348.30	v x2568 ~x31 ~x1722 x5744 ~x4898 ~x4052 ~x3415 ~x878 x2569 x32 
347.37/348.30	v ~x1723 ~x5745 ~x4899 ~x4053 ~x3416 x879 ~x2570 ~x33 ~x1724 ~x5746 
347.37/348.30	v ~x4900 ~x4054 ~x3417 ~x880 ~x2571 x34 ~x1725 ~x5747 x4901 ~x4055 
347.37/348.30	v ~x3418 x881 x2572 ~x35 ~x1726 ~x5748 ~x4902 ~x4056 ~x3419 ~x882 
347.37/348.30	v ~x2573 x36 x1727 ~x5749 ~x4903 ~x4057 ~x3420 ~x883 x2574 x37 
347.37/348.30	v ~x1728 ~x5750 ~x4904 ~x4058 ~x3421 x884 ~x2575 ~x38 ~x1729 ~x5751 
347.37/348.30	v ~x4905 ~x4059 ~x3422 ~x885 x2576 x39 ~x1730 ~x5752 ~x4906 x4060 
347.37/348.30	v ~x3423 ~x886 ~x2577 ~x40 ~x1731 ~x5753 ~x4907 ~x4061 ~x3424 ~x887 
347.37/348.30	v ~x2578 x41 ~x1732 ~x5754 ~x4908 ~x4062 ~x3425 x888 ~x2579 x42 
347.37/348.30	v ~x1733 ~x5755 ~x4909 ~x4063 ~x3426 x889 ~x2580 ~x43 ~x1734 ~x5756 
347.37/348.30	v ~x4910 ~x4064 ~x3427 ~x890 x2581 ~x44 x1735 x5757 ~x4911 ~x4065 
347.37/348.30	v ~x3428 ~x891 x2582 x45 ~x1736 x5758 ~x4912 ~x4066 ~x3429 ~x892 
347.37/348.30	v ~x2583 ~x46 ~x1737 x5759 ~x4913 ~x4067 ~x3430 ~x893 ~x2584 x47 
347.37/348.30	v x1738 x5760 ~x4914 ~x4068 ~x3431 ~x894 ~x2585 ~x48 ~x1739 x5761 
347.37/348.30	v ~x4915 ~x4069 ~x3432 x895 ~x2586 ~x49 x1740 x5762 ~x4916 ~x4070 
347.37/348.30	v ~x3433 ~x896 x2587 ~x50 x1741 ~x5763 ~x4917 ~x4071 ~x3434 x897 
347.37/348.30	v ~x2588 ~x51 x1742 x5764 ~x4918 ~x4072 ~x3435 ~x898 ~x2589 ~x52 
347.37/348.30	v ~x1743 ~x5765 ~x4919 ~x4073 ~x3436 ~x899 ~x2590 ~x53 x1744 ~x5766 
347.37/348.30	v x4920 ~x4074 ~x3437 ~x900 x2591 ~x54 ~x1745 ~x5767 x4921 ~x4075 
347.37/348.30	v ~x3438 ~x901 ~x2592 ~x55 ~x1746 ~x5768 ~x4922 ~x4076 ~x3439 ~x902 
347.37/348.30	v ~x2593 ~x56 x1747 ~x5769 ~x4923 ~x4077 ~x3440 x903 ~x2594 ~x57 
347.37/348.30	v x1748 ~x5770 ~x4924 ~x4078 ~x3441 x904 x2595 ~x58 ~x1749 ~x5771 
347.37/348.30	v ~x4925 ~x4079 ~x3442 ~x905 x2596 ~x59 x1750 ~x5772 ~x4926 x4080 
347.37/348.30	v ~x3443 ~x906 ~x2597 ~x60 ~x1751 x5773 ~x4927 x4081 ~x3444 ~x907 
347.37/348.30	v ~x2598 ~x61 x1752 ~x5774 ~x4928 x4082 ~x3445 ~x908 x2599 ~x62 
347.37/348.30	v ~x1753 ~x5775 ~x4929 x4083 ~x3446 ~x909 ~x2600 ~x63 ~x1754 ~x5776 
347.37/348.30	v ~x4930 x4084 ~x3447 x910 ~x2601 ~x64 x1755 ~x5777 ~x4931 ~x4085 
347.37/348.30	v ~x3448 ~x911 x2602 ~x65 ~x1756 ~x5778 ~x4932 ~x4086 ~x3449 ~x912 
347.37/348.30	v ~x2603 ~x66 ~x1757 ~x5779 ~x4933 ~x4087 ~x3450 ~x913 ~x2604 x67 
347.37/348.30	v x1758 ~x5780 ~x4934 x4088 ~x3451 x914 ~x2605 ~x68 x1759 ~x5781 
347.37/348.30	v ~x4935 ~x4089 ~x3452 x915 ~x2606 ~x69 ~x1760 ~x5782 ~x4936 ~x4090 
347.37/348.30	v ~x3453 ~x916 ~x2607 ~x70 x1761 x5783 ~x4937 ~x4091 ~x3454 ~x917 
347.37/348.31	v ~x2608 ~x71 x1762 x5784 ~x4938 ~x4092 ~x3455 ~x918 ~x2609 ~x72 
347.37/348.31	v x1763 ~x5785 ~x4939 ~x4093 ~x3456 x919 ~x2610 ~x73 x1764 ~x5786 
347.37/348.31	v ~x4940 ~x4094 ~x3457 x920 ~x2611 ~x74 x1765 ~x5787 ~x4941 ~x4095 
347.37/348.31	v ~x3458 ~x921 ~x2612 ~x75 ~x1766 ~x5788 ~x4942 ~x4096 ~x3459 x922 
347.37/348.31	v ~x2613 ~x76 x1767 ~x5789 ~x4943 ~x4097 ~x3460 ~x923 ~x2614 ~x77 
347.37/348.31	v ~x1768 ~x5790 ~x4944 ~x4098 ~x3461 x924 ~x2615 ~x78 x1769 ~x5791 
347.37/348.31	v ~x4945 ~x4099 ~x3462 ~x925 ~x2616 ~x79 ~x1770 ~x5792 ~x4946 ~x4100 
347.37/348.31	v ~x3463 x926 ~x2617 ~x80 ~x1771 ~x5793 ~x4947 ~x4101 ~x3464 ~x927 
347.37/348.31	v ~x2618 ~x81 x1772 ~x5794 ~x4948 ~x4102 ~x3465 x928 ~x2619 ~x82 
347.37/348.31	v x1773 ~x5795 ~x4949 ~x4103 ~x3466 ~x929 ~x2620 ~x83 x1774 ~x5796 
347.37/348.31	v ~x4950 ~x4104 ~x3467 x930 ~x2621 ~x84 ~x1775 ~x5797 x4951 ~x4105 
347.37/348.31	v ~x3468 x931 ~x2622 ~x85 x1776 ~x5798 x4952 ~x4106 ~x3469 ~x932 
347.37/348.31	v ~x2623 ~x86 ~x1777 ~x5799 ~x4953 ~x4107 ~x3470 ~x933 ~x2624 ~x87 
347.37/348.31	v x1778 ~x5800 ~x4954 ~x4108 ~x3471 x934 ~x2625 ~x88 ~x1779 x5801 
347.37/348.31	v ~x4955 ~x4109 ~x3472 ~x935 x2626 ~x89 ~x1780 x5802 ~x4956 ~x4110 
347.37/348.31	v ~x3473 ~x936 ~x2627 ~x90 ~x1781 x5803 x4957 ~x4111 ~x3474 ~x937 
347.37/348.31	v ~x2628 ~x91 ~x1782 ~x5804 ~x4958 ~x4112 ~x3475 x938 ~x2629 x92 
347.37/348.31	v x1783 ~x5805 ~x4959 ~x4113 ~x3476 ~x939 ~x2630 x93 x1784 x5806 
347.37/348.31	v ~x4960 ~x4114 ~x3477 ~x940 x2631 ~x94 x1785 x5807 ~x4961 ~x4115 
347.37/348.31	v ~x3478 ~x941 ~x2632 ~x95 x1786 ~x5808 ~x4962 ~x4116 ~x3479 ~x942 
347.37/348.31	v ~x2633 ~x96 ~x1787 ~x5809 ~x4963 ~x4117 ~x3480 ~x943 ~x2634 x97 
347.37/348.31	v x1788 ~x5810 ~x4964 ~x4118 ~x3481 ~x944 ~x2635 ~x98 ~x1789 ~x5811 
347.37/348.31	v ~x4965 ~x4119 ~x3482 ~x945 ~x2636 ~x99 ~x1790 ~x5812 ~x4966 ~x4120 
347.37/348.31	v ~x3483 ~x946 ~x2637 ~x100 ~x1791 ~x5813 ~x4967 ~x4121 ~x3484 x947 
347.37/348.31	v x2638 ~x101 ~x1792 ~x5814 ~x4968 ~x4122 ~x3485 x948 x2639 ~x102 
347.37/348.31	v x1793 ~x5815 ~x4969 ~x4123 ~x3486 ~x949 ~x2640 ~x103 x1794 ~x5816 
347.37/348.31	v ~x4970 ~x4124 ~x3487 ~x950 ~x2641 ~x104 ~x1795 x5817 ~x4971 ~x4125 
347.37/348.31	v ~x3488 ~x951 x2642 ~x105 ~x1796 ~x5818 ~x4972 ~x4126 ~x3489 ~x952 
347.37/348.31	v x2643 ~x106 ~x1797 ~x5819 ~x4973 ~x4127 ~x3490 ~x953 ~x2644 ~x107 
347.37/348.31	v x1798 x5820 ~x4974 ~x4128 ~x3491 ~x954 x2645 ~x108 ~x1799 x5821 
347.37/348.31	v ~x4975 ~x4129 ~x3492 x955 ~x2646 ~x109 ~x1800 x5822 ~x4976 ~x4130 
347.37/348.31	v ~x3493 ~x956 ~x2647 x110 x1801 ~x5823 ~x4977 ~x4131 ~x3494 x957 
347.37/348.31	v ~x2648 ~x111 ~x1802 ~x5824 ~x4978 ~x4132 ~x3495 ~x958 ~x2649 ~x112 
347.37/348.31	v ~x1803 ~x5825 ~x4979 ~x4133 ~x3496 ~x959 x2650 ~x113 ~x1804 x5826 
347.37/348.31	v x4980 ~x4134 ~x3497 ~x960 ~x2651 x114 ~x1805 ~x5827 ~x4981 ~x4135 
347.37/348.31	v ~x3498 ~x961 ~x2652 ~x115 ~x1806 ~x5828 ~x4982 ~x4136 ~x3499 ~x962 
347.37/348.31	v ~x2653 ~x116 ~x1807 ~x5829 ~x4983 ~x4137 ~x3500 ~x963 x2654 ~x117 
347.37/348.31	v ~x1808 ~x5830 ~x4984 ~x4138 ~x3501 ~x964 ~x2655 ~x118 ~x1809 ~x5831 
347.37/348.31	v ~x4985 ~x4139 ~x3502 ~x965 ~x2656 x119 x1810 ~x5832 ~x4986 ~x4140 
347.37/348.31	v ~x3503 ~x966 x2657 ~x120 ~x1811 x5833 ~x4987 x4141 ~x3504 ~x967 
347.37/348.31	v ~x2658 ~x121 x1812 x5834 ~x4988 ~x4142 ~x3505 ~x968 ~x2659 ~x122 
347.37/348.31	v x1813 ~x5835 ~x4989 ~x4143 x3506 ~x969 x2660 ~x123 ~x1814 ~x5836 
347.37/348.31	v ~x4990 ~x4144 ~x970 ~x2661 ~x124 x1815 ~x5837 ~x4991 ~x4145 ~x971 
347.37/348.31	v x2662 ~x125 x1816 ~x5838 ~x4992 ~x4146 ~x972 ~x2663 ~x126 ~x1817 
347.37/348.31	v x5839 ~x4993 ~x4147 ~x973 ~x2664 ~x127 ~x1818 x5840 ~x4994 ~x4148 
347.37/348.31	v ~x974 ~x2665 x128 ~x1819 ~x5841 ~x4995 ~x4149 x975 x2666 ~x129 
347.37/348.31	v ~x1820 ~x5842 ~x4996 ~x4150 ~x976 ~x2667 x130 x1821 x5843 ~x4997 
347.37/348.31	v ~x4151 ~x977 ~x2668 ~x131 ~x1822 x5844 ~x4998 ~x4152 x978 ~x2669 
347.37/348.31	v ~x132 x1823 x5845 ~x4999 ~x4153 x979 ~x2670 ~x133 ~x1824 x5846 
347.37/348.31	v ~x5000 ~x4154 ~x980 ~x2671 ~x134 x1825 x5847 ~x5001 ~x4155 ~x981 
347.37/348.31	v ~x2672 ~x135 ~x1826 x5848 ~x5002 ~x4156 x982 x2673 ~x136 ~x1827 
347.37/348.31	v ~x5849 ~x5003 x4157 ~x983 ~x2674 x137 x1828 ~x5850 ~x5004 ~x4158 
347.37/348.31	v ~x984 x2675 x138 x1829 ~x5851 ~x5005 ~x4159 ~x985 x2676 ~x139 
347.37/348.31	v ~x1830 ~x5852 ~x5006 ~x4160 x986 ~x2677 ~x140 ~x1831 x5853 ~x5007 
347.37/348.31	v ~x4161 ~x987 ~x2678 x141 x1832 x5854 ~x5008 ~x4162 x988 ~x2679 
347.37/348.31	v x142 ~x1833 x5855 ~x5009 ~x4163 ~x989 x2680 ~x143 ~x1834 x5856 
347.37/348.31	v ~x5010 ~x4164 ~x990 ~x2681 x144 x1835 x5857 ~x5011 ~x4165 x991 
347.37/348.31	v x2682 ~x145 ~x1836 ~x5858 ~x5012 ~x4166 ~x992 ~x2683 ~x146 x1837 
347.37/348.31	v ~x5859 ~x5013 ~x4167 ~x993 ~x2684 x147 x1838 x5860 ~x5014 ~x4168 
347.37/348.31	v ~x994 ~x2685 ~x148 ~x1839 x5861 ~x5015 ~x4169 ~x995 x2686 ~x149 
347.37/348.31	v ~x1840 ~x5862 x5016 ~x4170 ~x996 ~x2687 x150 x1841 ~x5863 ~x5017 
347.37/348.31	v ~x4171 ~x997 ~x2688 ~x151 x1842 ~x5864 ~x5018 ~x4172 x998 x2689 
347.37/348.31	v x152 ~x1843 ~x5865 ~x5019 ~x4173 ~x999 x2690 ~x153 ~x1844 ~x5866 
347.37/348.31	v ~x5020 ~x4174 ~x1000 x2691 ~x154 x1845 x5867 ~x5021 ~x4175 ~x1001 
347.37/348.31	v ~x2692 ~x155 ~x1846 x5868 ~x5022 ~x4176 ~x1002 ~x2693 ~x156 x1847 
347.37/348.31	v x5869 ~x5023 ~x4177 ~x1003 x2694 ~x157 ~x1848 x5870 ~x5024 ~x4178 
347.37/348.31	v ~x1004 ~x2695 x158 ~x1849 x5871 x5025 ~x4179 x1005 x2696 x159 
347.37/348.31	v x1850 ~x5872 x5026 ~x4180 ~x1006 ~x2697 ~x160 ~x1851 ~x5873 x5027 
347.37/348.31	v ~x4181 ~x1007 x2698 ~x161 x1852 ~x5874 ~x5028 x4182 ~x1008 ~x2699 
347.37/348.31	v x162 x1853 x5875 ~x5029 x4183 ~x1009 x2700 ~x163 ~x1854 ~x5876 
347.37/348.31	v ~x5030 ~x4184 x1010 ~x2701 ~x164 ~x1855 x5877 ~x5031 ~x4185 x1011 
347.37/348.31	v x2702 x165 x1856 x5878 ~x5032 ~x4186 ~x1012 ~x2703 ~x166 ~x1857 
347.37/348.31	v x5879 ~x5033 ~x4187 ~x1013 ~x2704 ~x167 ~x1858 ~x5880 ~x5034 ~x4188 
347.37/348.31	v ~x1014 ~x2705 ~x168 ~x1859 ~x5881 ~x5035 ~x4189 x1015 x2706 x169 
347.37/348.31	v x1860 ~x5882 ~x5036 ~x4190 x1016 ~x2707 ~x170 x1861 x5883 ~x5037 
347.37/348.31	v ~x4191 ~x1017 x2708 ~x171 x1862 x5884 ~x5038 ~x4192 ~x1018 x2709 
347.37/348.31	v ~x172 ~x1863 x5885 ~x5039 ~x4193 ~x1019 ~x2710 ~x173 x1864 ~x5886 
347.37/348.31	v ~x5040 ~x4194 ~x1020 ~x2711 ~x174 ~x1865 x5887 ~x5041 ~x4195 ~x1021 
347.37/348.31	v ~x2712 ~x175 ~x1866 ~x5888 ~x5042 ~x4196 ~x1022 x2713 ~x176 x1867 
347.37/348.31	v ~x5889 ~x5043 ~x4197 ~x1023 ~x2714 ~x177 ~x1868 ~x5890 ~x5044 ~x4198 
347.37/348.31	v ~x1024 ~x2715 ~x178 x1869 ~x5891 ~x5045 ~x4199 ~x1025 x2716 ~x179 
347.37/348.31	v ~x1870 ~x5892 ~x5046 ~x4200 ~x1026 x2717 ~x180 x1871 ~x5893 ~x5047 
347.37/348.31	v ~x4201 ~x1027 ~x2718 ~x181 ~x1872 ~x5894 ~x5048 ~x4202 ~x1028 ~x2719 
347.37/348.31	v ~x182 ~x1873 x5895 ~x5049 ~x4203 ~x1029 x2720 ~x183 ~x1874 x5896 
347.37/348.31	v ~x5050 ~x4204 ~x1030 ~x2721 ~x184 ~x1875 x5897 ~x5051 ~x4205 ~x1031 
347.37/348.31	v ~x2722 ~x185 ~x1876 ~x5898 ~x5052 ~x4206 ~x1032 ~x2723 ~x186 ~x1877 
347.37/348.31	v x5899 ~x5053 ~x4207 ~x1033 ~x2724 ~x187 ~x1878 ~x5900 ~x5054 ~x4208 
347.37/348.31	v ~x1034 ~x2725 ~x188 ~x1879 ~x5901 ~x5055 ~x4209 ~x1035 ~x2726 ~x189 
347.37/348.31	v ~x1880 ~x5902 ~x5056 ~x4210 ~x1036 ~x2727 ~x190 ~x1881 x5903 ~x5057 
347.37/348.31	v ~x4211 ~x1037 ~x2728 ~x191 ~x1882 ~x5904 x5058 ~x4212 ~x1038 x2729 
347.37/348.31	v ~x192 x1883 ~x5905 ~x5059 ~x4213 ~x1039 ~x2730 ~x193 ~x1884 ~x5906 
347.37/348.31	v ~x5060 ~x4214 ~x1040 x2731 ~x194 x1885 x5907 ~x5061 ~x4215 ~x1041 
347.37/348.31	v ~x2732 ~x195 x1886 ~x5908 ~x5062 ~x4216 ~x1042 x2733 ~x196 ~x1887 
347.37/348.31	v ~x5909 ~x5063 ~x4217 ~x1043 ~x2734 ~x197 ~x1888 ~x5910 ~x5064 ~x4218 
347.37/348.31	v ~x1044 ~x2735 ~x198 ~x1889 ~x5911 ~x5065 ~x4219 ~x1045 x2736 ~x199 
347.37/348.31	v x1890 ~x5912 ~x5066 ~x4220 ~x1046 ~x2737 ~x200 ~x1891 x5913 ~x5067 
347.37/348.31	v ~x4221 ~x1047 ~x2738 ~x201 ~x1892 ~x5914 ~x5068 ~x4222 ~x1048 ~x2739 
347.37/348.31	v ~x202 ~x1893 ~x5915 ~x5069 ~x4223 ~x1049 x2740 ~x203 x1894 ~x5916 
347.37/348.31	v ~x5070 ~x4224 ~x1050 x2741 ~x204 ~x1895 ~x5917 ~x5071 ~x4225 ~x1051 
347.37/348.31	v x2742 ~x205 x1896 ~x5918 ~x5072 ~x4226 ~x1052 x2743 ~x206 x1897 
347.37/348.31	v x5919 ~x5073 ~x4227 x1053 ~x2744 ~x207 ~x1898 x5920 ~x5074 ~x4228 
347.37/348.31	v ~x1054 ~x2745 ~x208 ~x1899 x5921 ~x5075 ~x4229 ~x1055 ~x2746 ~x209 
347.37/348.31	v x1900 x5922 ~x5076 ~x4230 ~x1056 ~x2747 ~x210 ~x1901 x5923 ~x5077 
347.37/348.31	v ~x4231 ~x1057 ~x2748 ~x211 x1902 x5924 ~x5078 ~x4232 ~x1058 x2749 
347.37/348.31	v ~x212 x1903 x5925 ~x5079 ~x4233 ~x1059 ~x2750 ~x213 ~x1904 ~x5926 
347.37/348.31	v ~x5080 ~x4234 ~x1060 ~x2751 ~x214 ~x1905 ~x5927 ~x5081 ~x4235 ~x1061 
347.37/348.31	v ~x2752 ~x215 x1906 x5928 ~x5082 ~x4236 ~x1062 x2753 ~x216 ~x1907 
347.37/348.31	v x5929 ~x5083 ~x4237 ~x1063 ~x2754 ~x217 x1908 ~x5930 ~x5084 ~x4238 
347.37/348.31	v ~x1064 ~x2755 ~x218 ~x1909 x5931 ~x5085 ~x4239 x1065 x2756 ~x219 
347.37/348.31	v x1910 x5932 ~x5086 ~x4240 ~x1066 ~x2757 ~x220 ~x1911 ~x5933 ~x5087 
347.37/348.31	v ~x4241 x1067 ~x2758 ~x221 x1912 ~x5934 ~x5088 ~x4242 ~x1068 ~x2759 
347.37/348.31	v ~x222 ~x1913 x5935 ~x5089 ~x4243 ~x1069 ~x2760 ~x223 x1914 x5936 
347.37/348.31	v ~x5090 ~x4244 ~x1070 x2761 ~x224 ~x1915 x5937 ~x5091 ~x4245 ~x1071 
347.37/348.31	v x2762 ~x225 x1916 ~x5938 ~x5092 ~x4246 ~x1072 ~x2763 ~x226 ~x1917 
347.37/348.31	v x5939 ~x5093 ~x4247 ~x1073 ~x2764 ~x227 ~x1918 ~x5940 ~x5094 ~x4248 
347.37/348.31	v x1074 x2765 ~x228 x1919 ~x5941 ~x5095 ~x4249 ~x1075 ~x2766 ~x229 
347.37/348.31	v x1920 x5942 x5096 ~x4250 ~x1076 x2767 ~x230 ~x1921 x5943 x5097 
347.37/348.31	v ~x4251 ~x1077 ~x2768 ~x231 x1922 x5944 ~x5098 ~x4252 ~x1078 ~x2769 
347.37/348.31	v ~x232 ~x1923 x5945 ~x5099 ~x4253 ~x1079 ~x2770 ~x233 x1924 ~x5946 
347.37/348.31	v ~x5100 ~x4254 ~x1080 ~x2771 ~x234 ~x1925 x5947 ~x5101 ~x4255 x1081 
347.37/348.31	v ~x2772 ~x235 ~x1926 ~x5948 ~x5102 ~x4256 ~x1082 x2773 x236 x1927 
347.37/348.31	v ~x5949 ~x5103 ~x4257 ~x1083 ~x2774 ~x237 ~x1928 ~x5950 ~x5104 ~x4258 
347.37/348.31	v ~x1084 x2775 ~x238 ~x1929 x5951 ~x5105 ~x4259 ~x1085 ~x2776 ~x239 
347.37/348.31	v ~x1930 ~x5952 ~x5106 ~x4260 x1086 ~x2777 ~x240 ~x1931 ~x5953 ~x5107 
347.37/348.31	v ~x4261 x1087 x2778 x241 x1932 ~x5954 ~x5108 ~x4262 ~x1088 ~x2779 
347.37/348.31	v ~x242 ~x1933 ~x5955 ~x5109 ~x4263 ~x1089 x2780 ~x243 x1934 x5956 
347.37/348.31	v ~x5110 ~x4264 ~x1090 ~x2781 ~x244 ~x1935 x5957 ~x5111 ~x4265 ~x1091 
347.37/348.31	v x2782 ~x245 x1936 ~x5958 ~x5112 ~x4266 ~x1092 ~x2783 ~x246 ~x1937 
347.37/348.31	v ~x5959 ~x5113 ~x4267 ~x1093 ~x2784 x247 ~x1938 ~x5960 ~x5114 ~x4268 
347.37/348.31	v x1094 ~x2785 ~x248 ~x1939 ~x5961 ~x5115 ~x4269 ~x1095 ~x2786 ~x249 
347.37/348.31	v ~x1940 ~x5962 ~x5116 ~x4270 x1096 ~x2787 x250 ~x1941 x5963 ~x5117 
347.37/348.31	v ~x4271 x1097 ~x2788 ~x251 x1942 ~x5964 ~x5118 x4272 x1098 x2789 
347.37/348.31	v ~x252 ~x1943 x5965 ~x5119 x4273 ~x1099 ~x2790 ~x253 ~x1944 x5966 
347.37/348.31	v ~x5120 ~x4274 ~x1100 ~x2791 ~x254 ~x1945 x5967 x5121 ~x4275 ~x1101 
347.37/348.31	v ~x2792 ~x255 ~x1946 ~x5968 ~x5122 ~x4276 ~x1102 x2793 ~x256 ~x1947 
347.37/348.31	v ~x5969 ~x5123 ~x4277 x1103 x2794 ~x257 x1948 ~x5970 ~x5124 ~x4278 
347.37/348.31	v x1104 ~x2795 ~x258 x1949 ~x5971 ~x5125 ~x4279 ~x1105 ~x2796 ~x259 
347.37/348.31	v ~x1950 x5972 ~x5126 ~x4280 x1106 ~x2797 ~x260 ~x1951 x5973 ~x5127 
347.37/348.31	v ~x4281 ~x1107 ~x2798 ~x261 ~x1952 x5974 ~x5128 ~x4282 ~x1108 x2799 
347.37/348.31	v x262 ~x1953 ~x5975 ~x5129 ~x4283 ~x1109 ~x2800 ~x263 ~x1954 ~x5976 
347.37/348.31	v ~x5130 ~x4284 ~x1110 ~x2801 x264 ~x1955 ~x5977 ~x5131 ~x4285 x1111 
347.37/348.31	v x2802 ~x265 ~x1956 ~x5978 ~x5132 ~x4286 x1112 ~x2803 x266 ~x1957 
347.37/348.31	v x5979 ~x5133 ~x4287 x1113 ~x2804 ~x267 x1958 x5980 ~x5134 ~x4288 
347.37/348.31	v x1114 ~x2805 ~x268 ~x1959 ~x5981 ~x5135 ~x4289 x1115 ~x2806 ~x269 
347.37/348.31	v ~x1960 x5982 ~x5136 ~x4290 ~x1116 ~x2807 x270 ~x1961 x5983 ~x5137 
347.37/348.31	v ~x4291 ~x1117 ~x2808 ~x271 ~x1962 ~x5984 ~x5138 ~x4292 x1118 ~x2809 
347.37/348.31	v ~x272 x1963 ~x5985 ~x5139 ~x4293 ~x1119 x2810 x273 ~x1964 ~x5986 
347.37/348.31	v ~x5140 ~x4294 ~x1120 ~x2811 x274 x1965 x5987 ~x5141 ~x4295 x1121 
347.37/348.31	v ~x2812 ~x275 x1966 ~x5988 ~x5142 ~x4296 x1122 ~x2813 x276 ~x1967 
347.37/348.31	v ~x5989 ~x5143 ~x4297 ~x1123 x2814 x277 ~x1968 ~x5990 ~x5144 ~x4298 
347.37/348.31	v ~x1124 x2815 ~x278 x1969 ~x5991 ~x5145 ~x4299 ~x1125 ~x2816 x279 
347.37/348.31	v ~x1970 ~x5992 ~x5146 ~x4300 ~x1126 x2817 x280 ~x1971 ~x5993 ~x5147 
347.37/348.31	v ~x4301 ~x1127 ~x2818 ~x281 ~x1972 x5994 ~x5148 ~x4302 ~x1128 x2819 
347.37/348.31	v ~x282 ~x1973 ~x5995 ~x5149 ~x4303 ~x1129 ~x2820 ~x283 ~x1974 ~x5996 
347.37/348.31	v ~x5150 ~x4304 x1130 ~x2821 ~x284 ~x1975 ~x5997 ~x5151 ~x4305 ~x1131 
347.37/348.31	v x2822 x285 x1976 x5998 ~x5152 ~x4306 ~x1132 ~x2823 ~x286 x1977 
347.37/348.31	v ~x5999 ~x5153 ~x4307 x1133 ~x2824 x287 x1978 ~x6000 ~x5154 ~x4308 
347.37/348.31	v ~x1134 ~x2825 x288 ~x1979 ~x6001 ~x5155 ~x4309 ~x1135 x2826 ~x289 
347.37/348.31	v ~x1980 ~x6002 ~x5156 ~x4310 ~x1136 x2827 x290 x1981 ~x6003 ~x5157 
347.37/348.31	v ~x4311 ~x1137 ~x2828 ~x291 x1982 ~x6004 ~x5158 ~x4312 ~x1138 ~x2829 
347.37/348.31	v ~x292 x1983 x6005 ~x5159 ~x4313 ~x1139 ~x2830 ~x293 ~x1984 ~x6006 
347.37/348.31	v ~x5160 ~x4314 ~x1140 x2831 x294 ~x1985 ~x6007 ~x5161 ~x4315 ~x1141 
347.37/348.31	v ~x2832 x295 ~x1986 ~x6008 ~x5162 ~x4316 x1142 ~x2833 ~x296 x1987 
347.37/348.31	v ~x6009 ~x5163 ~x4317 ~x1143 ~x2834 x297 ~x1988 x6010 ~x5164 ~x4318 
347.37/348.31	v ~x1144 ~x2835 ~x298 ~x1989 x6011 ~x5165 ~x4319 x1145 x2836 x299 
347.37/348.31	v x1990 x6012 ~x5166 ~x4320 ~x1146 ~x2837 x300 x1991 ~x6013 ~x5167 
347.37/348.31	v ~x4321 ~x1147 ~x2838 ~x301 ~x1992 ~x6014 ~x5168 ~x4322 x1148 ~x2839 
347.37/348.31	v ~x302 x1993 ~x6015 ~x5169 ~x4323 ~x1149 ~x2840 x303 x1994 x6016 
347.37/348.31	v ~x5170 ~x4324 ~x1150 x2841 x304 x1995 x6017 ~x5171 ~x4325 ~x1151 
347.37/348.31	v ~x2842 ~x305 x1996 ~x6018 ~x5172 ~x4326 x1152 ~x2843 ~x306 ~x1997 
347.37/348.31	v ~x6019 ~x5173 ~x4327 x1153 ~x2844 ~x307 ~x1998 ~x6020 ~x5174 ~x4328 
347.37/348.31	v ~x1154 ~x2845 x308 ~x1999 ~x6021 ~x5175 ~x4329 ~x1155 x2846 x309 
347.37/348.31	v ~x2000 ~x6022 ~x5176 ~x4330 x1156 ~x2847 ~x310 x2001 ~x6023 ~x5177 
347.37/348.31	v ~x4331 ~x1157 ~x2848 ~x311 ~x2002 ~x6024 ~x5178 ~x4332 x1158 ~x2849 
347.37/348.31	v x312 x2003 ~x6025 ~x5179 ~x4333 ~x1159 ~x2850 x313 ~x2004 ~x6026 
347.37/348.31	v ~x5180 ~x4334 ~x1160 x2851 ~x314 ~x2005 ~x6027 ~x5181 ~x4335 ~x1161 
347.37/348.31	v ~x2852 ~x315 ~x2006 ~x6028 ~x5182 ~x4336 ~x1162 x2853 x316 ~x2007 
347.37/348.31	v ~x6029 ~x5183 ~x4337 ~x1163 ~x2854 x317 ~x2008 ~x6030 ~x5184 ~x4338 
347.37/348.31	v ~x1164 x2855 ~x318 ~x2009 ~x6031 ~x5185 ~x4339 ~x1165 ~x2856 ~x319 
347.37/348.31	v ~x2010 ~x6032 ~x5186 ~x4340 ~x1166 x2857 ~x320 ~x2011 ~x6033 ~x5187 
347.37/348.31	v ~x4341 ~x1167 ~x2858 ~x321 ~x2012 ~x6034 ~x5188 ~x4342 ~x1168 x2859 
347.37/348.31	v x322 ~x2013 ~x6035 ~x5189 ~x4343 ~x1169 x2860 ~x323 x2014 ~x6036 
347.37/348.31	v ~x5190 ~x4344 ~x1170 x2861 ~x324 ~x2015 ~x6037 ~x5191 ~x4345 ~x1171 
347.37/348.31	v x2862 ~x325 x2016 ~x6038 ~x5192 ~x4346 x1172 ~x2863 ~x326 ~x2017 
347.37/348.31	v ~x6039 ~x5193 ~x4347 ~x1173 ~x2864 x327 x2018 x6040 ~x5194 ~x4348 
347.37/348.31	v ~x1174 ~x2865 ~x328 ~x2019 ~x6041 ~x5195 ~x4349 ~x1175 x2866 ~x329 
347.37/348.31	v x2020 x6042 ~x5196 ~x4350 ~x1176 ~x2867 x330 x2021 x6043 ~x5197 
347.37/348.31	v ~x4351 ~x1177 x2868 x331 ~x2022 x6044 ~x5198 ~x4352 ~x1178 ~x2869 
347.37/348.31	v x332 x2023 x6045 ~x5199 ~x4353 ~x3507 ~x1179 x2870 ~x333 ~x2024 
347.37/348.31	v x6046 ~x5200 ~x4354 ~x3508 ~x1180 ~x2871 ~x334 x2025 ~x6047 ~x5201 
347.37/348.31	v ~x4355 ~x3509 x1181 x2872 x335 x2026 ~x6048 ~x5202 ~x4356 ~x3510 
347.37/348.31	v ~x1182 x2873 ~x336 ~x2027 ~x6049 ~x5203 ~x4357 ~x3511 x1183 ~x2874 
347.37/348.31	v ~x337 x2028 ~x6050 ~x5204 ~x4358 ~x3512 ~x1184 x2875 ~x338 x2029 
347.37/348.31	v x6051 ~x5205 ~x4359 ~x3513 ~x1185 ~x2876 ~x339 x2030 x6052 ~x5206 
347.37/348.31	v ~x4360 ~x3514 ~x1186 x2877 ~x340 ~x2031 x6053 ~x5207 ~x4361 ~x3515 
347.37/348.31	v ~x1187 ~x2878 ~x341 ~x2032 x6054 ~x5208 ~x4362 ~x3516 ~x1188 x2879 
347.37/348.31	v ~x342 ~x2033 ~x6055 ~x5209 ~x4363 ~x3517 x1189 ~x2880 ~x343 x2034 
347.37/348.31	v ~x6056 ~x5210 ~x4364 ~x3518 x2881 ~x344 x2035 ~x6057 ~x5211 ~x4365 
347.37/348.31	v ~x3519 ~x2882 ~x345 ~x2036 x1190 ~x6058 ~x5212 ~x4366 ~x3520 ~x2883 
347.37/348.31	v ~x346 x2037 ~x1191 ~x6059 ~x5213 ~x4367 ~x3521 ~x2884 ~x347 ~x2038 
347.37/348.31	v x1192 ~x6060 ~x5214 ~x4368 ~x3522 ~x2885 ~x348 ~x2039 ~x1193 x6061 
347.37/348.31	v ~x5215 ~x4369 ~x3523 ~x2886 x349 x2040 ~x1194 x6062 x5216 ~x4370 
347.37/348.31	v ~x3524 x2887 ~x350 ~x2041 ~x1195 x6063 x5217 ~x4371 ~x3525 x2888 
347.37/348.31	v x351 ~x2042 ~x1196 ~x6064 ~x5218 ~x4372 ~x3526 x2889 ~x352 ~x2043 
347.37/348.31	v ~x1197 ~x6065 ~x5219 ~x4373 ~x3527 ~x2890 x353 x2044 ~x1198 ~x6066 
347.37/348.31	v ~x5220 ~x4374 ~x3528 ~x2891 ~x354 ~x2045 ~x1199 x6067 ~x5221 ~x4375 
347.37/348.31	v ~x3529 x2892 ~x355 ~x2046 ~x1200 ~x6068 ~x5222 ~x4376 ~x3530 ~x2893 
347.37/348.31	v x356 ~x2047 ~x1201 x6069 ~x5223 ~x4377 ~x3531 x2894 ~x357 x2048 
347.37/348.31	v x1202 ~x6070 ~x5224 ~x4378 ~x3532 ~x2895 x358 ~x2049 ~x1203 x6071 
347.37/348.31	v ~x5225 ~x4379 ~x3533 ~x2896 ~x359 ~x2050 ~x1204 x6072 ~x5226 ~x4380 
347.37/348.31	v ~x3534 ~x2897 x360 ~x2051 ~x1205 ~x6073 ~x5227 ~x4381 ~x3535 x2898 
347.37/348.31	v ~x361 x2052 ~x1206 ~x6074 ~x5228 ~x4382 ~x3536 x2899 ~x362 x2053 
347.37/348.31	v x1207 x6075 ~x5229 ~x4383 ~x3537 x2900 ~x363 x2054 ~x1208 x6076 
347.37/348.31	v ~x5230 ~x4384 ~x3538 ~x2901 ~x364 ~x2055 x1209 ~x6077 ~x5231 ~x4385 
347.37/348.31	v ~x3539 ~x2902 ~x365 ~x2056 ~x1210 ~x6078 ~x5232 ~x4386 ~x3540 ~x2903 
347.37/348.31	v ~x366 x2057 x1211 ~x6079 ~x5233 ~x4387 ~x3541 ~x2904 ~x367 ~x2058 
347.37/348.31	v ~x1212 x6080 ~x5234 ~x4388 ~x3542 ~x2905 ~x368 ~x2059 ~x1213 ~x6081 
347.37/348.31	v ~x5235 ~x4389 ~x3543 ~x2906 ~x369 ~x2060 ~x1214 x6082 ~x5236 ~x4390 
347.37/348.31	v ~x3544 ~x2907 ~x370 ~x2061 ~x1215 ~x6083 ~x5237 ~x4391 ~x3545 x2908 
347.37/348.31	v ~x371 ~x2062 ~x1216 x6084 ~x5238 x4392 ~x3546 ~x2909 x372 ~x2063 
347.37/348.31	v x1217 x6085 ~x5239 ~x4393 ~x3547 ~x2910 ~x373 x2064 ~x1218 ~x6086 
347.37/348.31	v ~x5240 ~x4394 ~x3548 x2911 ~x374 ~x2065 ~x1219 x6087 ~x5241 ~x4395 
347.37/348.31	v ~x3549 ~x2912 ~x375 ~x2066 ~x1220 x6088 ~x5242 ~x4396 ~x3550 ~x2913 
347.37/348.31	v ~x376 x2067 ~x1221 ~x6089 x5243 ~x4397 ~x3551 x2914 ~x377 ~x2068 
347.37/348.31	v ~x1222 x6090 ~x5244 ~x4398 ~x3552 ~x2915 ~x378 ~x2069 ~x1223 x6091 
347.37/348.31	v ~x5245 ~x4399 ~x3553 ~x2916 ~x379 x2070 ~x1224 ~x6092 ~x5246 ~x4400 
347.37/348.31	v ~x3554 ~x2917 ~x380 ~x2071 ~x1225 x6093 ~x5247 ~x4401 ~x3555 ~x2918 
347.37/348.31	v ~x381 x2072 ~x1226 x6094 ~x5248 ~x4402 ~x3556 ~x2919 ~x382 ~x2073 
347.37/348.31	v ~x1227 x6095 ~x5249 ~x4403 ~x3557 ~x2920 x383 x2074 ~x1228 x6096 
347.37/348.31	v ~x5250 ~x4404 ~x3558 ~x2921 ~x384 ~x2075 x1229 x6097 ~x5251 ~x4405 
347.37/348.31	v ~x3559 ~x2922 ~x385 ~x2076 ~x1230 x6098 ~x5252 ~x4406 ~x3560 ~x2923 
347.37/348.31	v ~x386 ~x2077 ~x1231 x6099 ~x5253 ~x4407 ~x3561 ~x2924 ~x387 x2078 
347.37/348.31	v ~x1232 ~x6100 ~x5254 ~x4408 ~x3562 ~x2925 x388 x2079 ~x1233 ~x6101 
347.37/348.31	v ~x5255 ~x4409 ~x3563 ~x2926 x389 ~x2080 ~x1234 ~x6102 ~x5256 ~x4410 
347.37/348.31	v ~x3564 ~x2927 x390 ~x2081 ~x1235 ~x6103 ~x5257 ~x4411 ~x3565 ~x2928 
347.37/348.31	v x391 ~x2082 x1236 x6104 ~x5258 ~x4412 ~x3566 ~x2929 x392 x2083 
347.37/348.31	v ~x1237 x6105 ~x5259 ~x4413 ~x3567 ~x2930 x393 ~x2084 ~x1238 x6106 
347.37/348.31	v ~x5260 ~x4414 ~x3568 ~x2931 ~x394 x2085 x1239 x6107 ~x5261 ~x4415 
347.37/348.31	v ~x3569 x2932 ~x395 ~x2086 x1240 x6108 ~x5262 ~x4416 ~x3570 ~x2933 
347.37/348.31	v ~x396 ~x2087 ~x1241 ~x6109 ~x5263 ~x4417 ~x3571 ~x2934 ~x397 ~x2088 
347.37/348.31	v x1242 ~x6110 ~x5264 x4418 ~x3572 ~x2935 x398 ~x2089 ~x1243 ~x6111 
347.37/348.31	v ~x5265 ~x4419 ~x3573 ~x2936 ~x399 x2090 x1244 x6112 ~x5266 ~x4420 
347.37/348.31	v ~x3574 x2937 x400 x2091 ~x1245 ~x6113 ~x5267 ~x4421 ~x3575 ~x2938 
347.37/348.31	v ~x401 ~x2092 x1246 ~x6114 ~x5268 x4422 ~x3576 ~x2939 

OK	10818283609

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: 63665 MiB (56808 MiB free)
  memory of node 1: 64507 MiB (44647 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4528473-1752241807/watcher-4528473-1752241807 -o /tmp/evaluation-result-4528473-1752241807/solver-4528473-1752241807 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC034-1752238148-110856 --watchdog 3760 pb_picat HOME/instance-4528473-1752241807.opb 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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=111598, runsolver pid=111595
Current StackSize limit: 8192 KiB


[startup+0.100059 s]*
/proc/loadavg: 4.24 4.13 4.10 5/264 111599
/proc/meminfo: memFree=103870804/131249988 swapFree=33010160/33010684
[pid=111598] ppid=111595 vsize=2027148 memory=38192 CPUtime=0.09 cores=4,6
/proc/111598/stat : 111598 (pb_picat) R 111595 111598 108963 0 -1 4194304 998 0 0 0 9 0 0 0 20 0 1 0 139859516 2075799552 9548 18446744073709551615 94524361728000 94524363129581 140720808588272 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94524363401008 94524365275248 94524381265920 140720808589724 140720808589800 140720808589800 140720808595404 0
/proc/111598/statm: 506787 9548 1568 343 0 503851 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 2027148 KiB
Current children cumulated memory: 38192 KiB

[startup+0.205354 s]*
/proc/loadavg: 4.24 4.13 4.10 5/264 111599
/proc/meminfo: memFree=103852656/131249988 swapFree=33010160/33010684
[pid=111598] ppid=111595 vsize=2034964 memory=54848 CPUtime=0.2 cores=4,6
/proc/111598/stat : 111598 (pb_picat) R 111595 111598 108963 0 -1 4194304 1036 0 0 0 19 1 0 0 20 0 1 0 139859516 2083803136 13712 18446744073709551615 94524361728000 94524363129581 140720808588272 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94524363401008 94524365275248 94524381265920 140720808589724 140720808589800 140720808589800 140720808595404 0
/proc/111598/statm: 508741 13712 1632 343 0 505805 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 2034964 KiB
Current children cumulated memory: 54848 KiB

[startup+0.305348 s]*
/proc/loadavg: 4.24 4.13 4.10 5/264 111599
/proc/meminfo: memFree=103834256/131249988 swapFree=33010160/33010684
[pid=111598] ppid=111595 vsize=2039940 memory=75412 CPUtime=0.29 cores=4,6
/proc/111598/stat : 111598 (pb_picat) R 111595 111598 108963 0 -1 4194304 2106 0 0 0 28 1 0 0 20 0 1 0 139859516 2088898560 18853 18446744073709551615 94524361728000 94524363129581 140720808588272 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94524363401008 94524365275248 94524381265920 140720808589724 140720808589800 140720808589800 140720808595404 0
/proc/111598/statm: 509985 18853 1760 343 0 507049 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 2039940 KiB
Current children cumulated memory: 75412 KiB

[startup+0.700184 s]
/proc/loadavg: 4.24 4.13 4.10 5/264 111599
/proc/meminfo: memFree=103822284/131249988 swapFree=33010160/33010684
[pid=111598] ppid=111595 vsize=2051900 memory=89452 CPUtime=0.68 cores=4,6
/proc/111598/stat : 111598 (pb_picat) R 111595 111598 108963 0 -1 4194304 8814 0 0 0 65 3 0 0 20 0 1 0 139859516 2101145600 22363 18446744073709551615 94524361728000 94524363129581 140720808588272 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94524363401008 94524365275248 94524381265920 140720808589724 140720808589800 140720808589800 140720808595404 0
/proc/111598/statm: 512975 22363 1760 343 0 510039 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 2051900 KiB
Current children cumulated memory: 89452 KiB

[startup+1.50014 s]
/proc/loadavg: 4.24 4.13 4.10 5/264 111599
/proc/meminfo: memFree=103789896/131249988 swapFree=33010160/33010684
[pid=111598] ppid=111595 vsize=2047800 memory=86056 CPUtime=1.48 cores=4,6
/proc/111598/stat : 111598 (pb_picat) R 111595 111598 108963 0 -1 4194304 12769 0 0 0 144 4 0 0 20 0 1 0 139859516 2096947200 21514 18446744073709551615 94524361728000 94524363129581 140720808588272 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94524363401008 94524365275248 94524381265920 140720808589724 140720808589800 140720808589800 140720808595404 0
/proc/111598/statm: 511950 21514 1760 343 0 509014 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 2047800 KiB
Current children cumulated memory: 86056 KiB

[startup+3.10523 s]
/proc/loadavg: 4.24 4.13 4.10 5/264 111599
/proc/meminfo: memFree=103818568/131249988 swapFree=33010160/33010684
[pid=111598] ppid=111595 vsize=2047800 memory=86184 CPUtime=3.08 cores=4,6
/proc/111598/stat : 111598 (pb_picat) R 111595 111598 108963 0 -1 4194304 18188 0 0 0 302 6 0 0 20 0 1 0 139859516 2096947200 21546 18446744073709551615 94524361728000 94524363129581 140720808588272 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94524363401008 94524365275248 94524381265920 140720808589724 140720808589800 140720808589800 140720808595404 0
/proc/111598/statm: 511950 21546 1760 343 0 509014 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 2047800 KiB
Current children cumulated memory: 86184 KiB

[startup+6.30014 s]
/proc/loadavg: 4.22 4.13 4.10 5/264 111599
/proc/meminfo: memFree=103885096/131249988 swapFree=33010160/33010684
[pid=111598] ppid=111595 vsize=2047800 memory=86184 CPUtime=6.27 cores=4,6
/proc/111598/stat : 111598 (pb_picat) R 111595 111598 108963 0 -1 4194304 42647 0 0 0 615 12 0 0 20 0 1 0 139859516 2096947200 21546 18446744073709551615 94524361728000 94524363129581 140720808588272 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94524363401008 94524365275248 94524381265920 140720808589724 140720808589800 140720808589800 140720808595404 0
/proc/111598/statm: 511950 21546 1760 343 0 509014 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 2047800 KiB
Current children cumulated memory: 86184 KiB

[startup+12.7002 s]
/proc/loadavg: 4.21 4.13 4.10 5/264 111644
/proc/meminfo: memFree=103949400/131249988 swapFree=33010160/33010684
[pid=111598] ppid=111595 vsize=2047800 memory=86824 CPUtime=12.66 cores=4,6
/proc/111598/stat : 111598 (pb_picat) R 111595 111598 108963 0 -1 4194304 44158 0 0 0 1253 13 0 0 20 0 1 0 139859516 2096947200 21706 18446744073709551615 94524361728000 94524363129581 140720808588272 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94524363401008 94524365275248 94524381265920 140720808589724 140720808589800 140720808589800 140720808595404 0
/proc/111598/statm: 511950 21706 1760 343 0 509014 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 2047800 KiB
Current children cumulated memory: 86824 KiB

[startup+25.5002 s]
/proc/loadavg: 4.23 4.14 4.10 5/264 111644
/proc/meminfo: memFree=103950900/131249988 swapFree=33010160/33010684
[pid=111598] ppid=111595 vsize=2051900 memory=90552 CPUtime=25.42 cores=4,6
/proc/111598/stat : 111598 (pb_picat) R 111595 111598 108963 0 -1 4194304 45300 0 0 0 2529 13 0 0 20 0 1 0 139859516 2101145600 22638 18446744073709551615 94524361728000 94524363129581 140720808588272 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94524363401008 94524365275248 94524381265920 140720808589724 140720808589800 140720808589800 140720808595404 0
/proc/111598/statm: 512975 22638 1760 343 0 510039 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 2051900 KiB
Current children cumulated memory: 90552 KiB

[startup+51.1052 s]
/proc/loadavg: 4.21 4.14 4.10 5/264 111645
/proc/meminfo: memFree=103914668/131249988 swapFree=33010160/33010684
[pid=111598] ppid=111595 vsize=2045760 memory=83296 CPUtime=50.96 cores=4,6
/proc/111598/stat : 111598 (pb_picat) R 111595 111598 108963 0 -1 4194304 55815 0 0 0 5080 16 0 0 20 0 1 0 139859516 2094858240 20824 18446744073709551615 94524361728000 94524363129581 140720808588272 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94524363401008 94524365275248 94524381265920 140720808589724 140720808589800 140720808589800 140720808595404 0
/proc/111598/statm: 511440 20824 1760 343 0 508504 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 2045760 KiB
Current children cumulated memory: 83296 KiB

[startup+102.3 s]
/proc/loadavg: 4.15 4.14 4.10 5/264 111690
/proc/meminfo: memFree=104051676/131249988 swapFree=33010160/33010684
[pid=111598] ppid=111595 vsize=2045760 memory=84992 CPUtime=102.02 cores=4,6
/proc/111598/stat : 111598 (pb_picat) R 111595 111598 108963 0 -1 4194304 109255 0 0 0 10170 32 0 0 20 0 1 0 139859516 2094858240 21248 18446744073709551615 94524361728000 94524363129581 140720808588272 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94524363401008 94524365275248 94524381265920 140720808589724 140720808589800 140720808589800 140720808595404 0
/proc/111598/statm: 511440 21248 1760 343 0 508504 0
Current children cumulated CPU time: 102.02 s
Current children cumulated vsize: 2045760 KiB
Current children cumulated memory: 84992 KiB

[startup+162.3 s]
/proc/loadavg: 4.10 4.12 4.09 5/264 111737
/proc/meminfo: memFree=104220216/131249988 swapFree=33010160/33010684
[pid=111598] ppid=111595 vsize=2051904 memory=88160 CPUtime=161.86 cores=4,6
/proc/111598/stat : 111598 (pb_picat) R 111595 111598 108963 0 -1 4194304 165793 0 0 0 16139 47 0 0 20 0 1 0 139859516 2101149696 22040 18446744073709551615 94524361728000 94524363129581 140720808588272 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94524363401008 94524365275248 94524381265920 140720808589724 140720808589800 140720808589800 140720808595404 0
/proc/111598/statm: 512976 22040 1760 343 0 510040 0
Current children cumulated CPU time: 161.86 s
Current children cumulated vsize: 2051904 KiB
Current children cumulated memory: 88160 KiB

[startup+222.3 s]
/proc/loadavg: 4.16 4.13 4.10 5/264 111739
/proc/meminfo: memFree=104194888/131249988 swapFree=33010160/33010684
[pid=111598] ppid=111595 vsize=2051904 memory=89548 CPUtime=221.7 cores=4,6
/proc/111598/stat : 111598 (pb_picat) R 111595 111598 108963 0 -1 4194304 222431 0 0 0 22109 61 0 0 20 0 1 0 139859516 2101149696 22387 18446744073709551615 94524361728000 94524363129581 140720808588272 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94524363401008 94524365275248 94524381265920 140720808589724 140720808589800 140720808589800 140720808595404 0
/proc/111598/statm: 512976 22387 1760 343 0 510040 0
Current children cumulated CPU time: 221.7 s
Current children cumulated vsize: 2051904 KiB
Current children cumulated memory: 89548 KiB

[startup+282.3 s]
/proc/loadavg: 4.11 4.12 4.09 5/263 111748
/proc/meminfo: memFree=104190056/131249988 swapFree=33010160/33010684
[pid=111598] ppid=111595 vsize=2051904 memory=88268 CPUtime=281.55 cores=4,6
/proc/111598/stat : 111598 (pb_picat) R 111595 111598 108963 0 -1 4194304 267944 0 0 0 28083 72 0 0 20 0 1 0 139859516 2101149696 22067 18446744073709551615 94524361728000 94524363129581 140720808588272 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94524363401008 94524365275248 94524381265920 140720808589724 140720808589800 140720808589800 140720808595404 0
/proc/111598/statm: 512976 22067 1760 343 0 510040 0
Current children cumulated CPU time: 281.55 s
Current children cumulated vsize: 2051904 KiB
Current children cumulated memory: 88268 KiB

[startup+342.3 s]
/proc/loadavg: 4.16 4.13 4.09 5/263 111750
/proc/meminfo: memFree=104193548/131249988 swapFree=33010160/33010684
[pid=111598] ppid=111595 vsize=2051896 memory=89788 CPUtime=341.38 cores=4,6
/proc/111598/stat : 111598 (pb_picat) R 111595 111598 108963 0 -1 4194304 308397 0 0 0 34058 80 0 0 20 0 1 0 139859516 2101141504 22447 18446744073709551615 94524361728000 94524363129581 140720808588272 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94524363401008 94524365275248 94524381265920 140720808589724 140720808589800 140720808589800 140720808595404 0
/proc/111598/statm: 512974 22447 1760 343 0 510038 0
Current children cumulated CPU time: 341.38 s
Current children cumulated vsize: 2051896 KiB
Current children cumulated memory: 89788 KiB

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

# cumulated CPU time of all completed processes:  user=346.581 s, system=0.816771 s

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

[startup+342.4 s]
/proc/loadavg: 4.16 4.13 4.09 5/263 111750
/proc/meminfo: memFree=104193548/131249988 swapFree=33010160/33010684
[pid=111598] ppid=111595 vsize=2051896 memory=89788 CPUtime=341.48 cores=4,6
/proc/111598/stat : 111598 (pb_picat) R 111595 111598 108963 0 -1 4194304 308397 0 0 0 34068 80 0 0 20 0 1 0 139859516 2101141504 22447 18446744073709551615 94524361728000 94524363129581 140720808588272 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94524363401008 94524365275248 94524381265920 140720808589724 140720808589800 140720808589800 140720808595404 0
/proc/111598/statm: 512974 22447 1760 343 0 510038 0
Current children cumulated CPU time: 341.48 s
Current children cumulated vsize: 2051896 KiB
Current children cumulated memory: 89788 KiB

[startup+345.6 s]
/proc/loadavg: 4.14 4.12 4.09 5/263 111750
/proc/meminfo: memFree=104196888/131249988 swapFree=33010160/33010684
[pid=111598] ppid=111595 vsize=2051896 memory=89916 CPUtime=344.67 cores=4,6
/proc/111598/stat : 111598 (pb_picat) R 111595 111598 108963 0 -1 4194304 308406 0 0 0 34387 80 0 0 20 0 1 0 139859516 2101141504 22479 18446744073709551615 94524361728000 94524363129581 140720808588272 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94524363401008 94524365275248 94524381265920 140720808589724 140720808589800 140720808589800 140720808595404 0
/proc/111598/statm: 512974 22479 1760 343 0 510038 0
Current children cumulated CPU time: 344.67 s
Current children cumulated vsize: 2051896 KiB
Current children cumulated memory: 89916 KiB

[startup+347.2 s]
/proc/loadavg: 4.14 4.12 4.09 5/263 111750
/proc/meminfo: memFree=104196888/131249988 swapFree=33010160/33010684
[pid=111598] ppid=111595 vsize=2051896 memory=89916 CPUtime=346.27 cores=4,6
/proc/111598/stat : 111598 (pb_picat) R 111595 111598 108963 0 -1 4194304 308407 0 0 0 34547 80 0 0 20 0 1 0 139859516 2101141504 22479 18446744073709551615 94524361728000 94524363129581 140720808588272 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94524363401008 94524365275248 94524381265920 140720808589724 140720808589800 140720808589800 140720808595404 0
/proc/111598/statm: 512974 22479 1760 343 0 510038 0
Current children cumulated CPU time: 346.27 s
Current children cumulated vsize: 2051896 KiB
Current children cumulated memory: 89916 KiB

[startup+348 s]*
/proc/loadavg: 4.14 4.12 4.09 5/263 111750
/proc/meminfo: memFree=104188760/131249988 swapFree=33010160/33010684
[pid=111598] ppid=111595 vsize=2051896 memory=89916 CPUtime=347.07 cores=4,6
/proc/111598/stat : 111598 (pb_picat) R 111595 111598 108963 0 -1 4194304 308408 0 0 0 34627 80 0 0 20 0 1 0 139859516 2101141504 22479 18446744073709551615 94524361728000 94524363129581 140720808588272 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94524363401008 94524365275248 94524381265920 140720808589724 140720808589800 140720808589800 140720808595404 0
/proc/111598/statm: 512974 22479 1760 343 0 510038 0
Current children cumulated CPU time: 347.07 s
Current children cumulated vsize: 2051896 KiB
Current children cumulated memory: 89916 KiB

[startup+348.2 s]
/proc/loadavg: 4.14 4.12 4.09 5/263 111750
/proc/meminfo: memFree=104188760/131249988 swapFree=33010160/33010684
[pid=111598] ppid=111595 vsize=2051896 memory=89916 CPUtime=347.27 cores=4,6
/proc/111598/stat : 111598 (pb_picat) R 111595 111598 108963 0 -1 4194304 308408 0 0 0 34647 80 0 0 20 0 1 0 139859516 2101141504 22479 18446744073709551615 94524361728000 94524363129581 140720808588272 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94524363401008 94524365275248 94524381265920 140720808589724 140720808589800 140720808589800 140720808595404 0
/proc/111598/statm: 512974 22479 1760 343 0 510038 0
Current children cumulated CPU time: 347.27 s
Current children cumulated vsize: 2051896 KiB
Current children cumulated memory: 89916 KiB

[startup+348.3 s]
/proc/loadavg: 4.14 4.12 4.09 5/263 111750
/proc/meminfo: memFree=104188760/131249988 swapFree=33010160/33010684
[pid=111598] ppid=111595 vsize=2051896 memory=89916 CPUtime=347.37 cores=4,6
/proc/111598/stat : 111598 (pb_picat) R 111595 111598 108963 0 -1 4194304 308408 0 0 0 34657 80 0 0 20 0 1 0 139859516 2101141504 22479 18446744073709551615 94524361728000 94524363129581 140720808588272 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94524363401008 94524365275248 94524381265920 140720808589724 140720808589800 140720808589800 140720808595404 0
/proc/111598/statm: 512974 22479 1760 343 0 510038 0
Current children cumulated CPU time: 347.37 s
Current children cumulated vsize: 2051896 KiB
Current children cumulated memory: 89916 KiB

Child status: 0

Real time (s): 348.315
CPU time (s): 347.398
CPU user time (s): 346.581
CPU system time (s): 0.816771
CPU usage (%): 99.7367
Max. virtual memory (cumulated for all children) (KiB): 2064192
Max. memory (cumulated for all children) (KiB): 97364

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 346.581
system time used= 0.816771
maximum resident set size= 98268
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 308412
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= 66
involuntary context switches= 461


# summary of solver processes directly reported to runsolver:
#   pid: 111598
#   total CPU time (s): 347.398
#   total CPU user time (s): 346.581
#   total CPU system time (s): 0.816771

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.559718 second user time and 1.48253 second system time

The end

Begin job on nodeC034 at 2025-07-11 15:50:07
IDJOB=4528473
IDBENCH=150894
IDSOLVER=3385
FILE ID=nodeC034/4528473-1752241807
RUNJOBID= nodeC034-1752238148-110856
SLURM_JOB_ID= 9682545
Free space on /tmp= 429920 MiB

SOLVER NAME= pb_picat 2025-07-11
BENCH NAME= PB24/normalized-PB10/OPT-LIN/leberre/opb-trendy/misc2010/random/rand.newlist/normalized-rand9ffe99.cudf.trendy.opb
COMMAND LINE= pb_picat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4528473-1752241807/watcher-4528473-1752241807 -o /tmp/evaluation-result-4528473-1752241807/solver-4528473-1752241807 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC034-1752238148-110856 --watchdog 3760  pb_picat HOME/instance-4528473-1752241807.opb

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

MD5SUM BENCH= cecbea88197e96b895758f934fbddac6
RANDOM SEED=897772873

nodeC034 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	: 0xb00002a
cpu MHz		: 3599.754
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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	: 6999.53
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.760
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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	: 6999.53
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3575.083
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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	: 6999.53
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3653.909
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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	: 6999.53
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.763
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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	: 6999.53
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.852
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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	: 6999.53
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3601.072
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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	: 6999.53
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3603.548
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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	: 6999.53
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131249988 kB
MemFree:        103890976 kB
MemAvailable:   128597360 kB
Buffers:            2128 kB
Cached:         25441744 kB
SwapCached:           36 kB
Active:          1615400 kB
Inactive:       24961400 kB
Active(anon):    1148836 kB
Inactive(anon):     2160 kB
Active(file):     466564 kB
Inactive(file): 24959240 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010160 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             31372 kB
Writeback:             0 kB
AnonPages:       1132912 kB
Mapped:           116640 kB
Shmem:             18068 kB
KReclaimable:     239236 kB
Slab:             335416 kB
SReclaimable:     239236 kB
SUnreclaim:        96180 kB
KernelStack:        4248 kB
PageTables:         5600 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635676 kB
Committed_AS:    6647564 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150536 kB
VmallocChunk:          0 kB
Percpu:             3872 kB
HardwareCorrupted:     0 kB
AnonHugePages:    972800 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:      189140 kB
DirectMap2M:     7970816 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 429924 MiB
End job on nodeC034 at 2025-07-11 15:55:55