Trace number 352073

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds, and are wall clock time (not CPU time).

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerObjective functionCPU timeWall clock time
Pueblo 1.4SAT8008 1782.79 1783.28

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/
miplib3/normalized-mps-v2-20-10-mitre.opb
MD5SUM2b9af9044591fd3eb9f5def12c800cff
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark7680
Best CPU time to get the best result obtained on this benchmark1800.78
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 7680
Optimality of the best value was proved NO
Number of variables10724
Total number of constraints1662
Number of constraints which are clauses140
Number of constraints which are cardinality constraints (but not clauses)1139
Number of constraints which are nor clauses,nor cardinality constraints383
Minimum length of a constraint3
Maximum length of a constraint98
Number of terms in the objective function 9324
Biggest coefficient in the objective function 213
Number of bits for the biggest coefficient in the objective function 8
Sum of the numbers in the objective function 909647
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 1069
Number of bits of the biggest number in a constraint 11
Biggest sum of numbers in a constraint 909647
Number of bits of the biggest sum of numbers20
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data (download as text)

0.00/0.00	c Pueblo version 1.4 (September 2005)
0.00/0.00	c Developed @ University of Michigan, Ann Arbor, MI
0.00/0.00	c  by Hossein Sheini
0.19/0.25	c starting to Solve
0.19/0.25	c #variables read: 10724 - #constraints read: 2046
6.39/6.50	o 373398
6.59/6.67	o 373395
7.18/7.21	o 373394
9.59/9.64	o 373393
112.86/112.93	o 372515
112.96/113.01	o 372512
113.16/113.29	o 372509
113.76/113.80	o 372506
113.86/113.95	o 372494
113.96/114.03	o 372491
114.46/114.59	o 372488
116.46/116.57	o 372485
117.96/118.09	o 372482
118.76/118.86	o 372464
118.86/118.95	o 372461
124.26/124.35	o 372458
127.05/127.12	o 372455
128.16/128.25	o 372137
128.26/128.34	o 372134
225.73/225.88	o 371934
225.83/225.95	o 371928
226.23/226.30	o 371925
226.33/226.40	o 371922
226.33/226.48	o 371919
226.44/226.55	o 371916
226.54/226.62	o 371913
226.63/226.70	o 371910
226.63/226.77	o 371907
226.73/226.87	o 371904
227.54/227.64	o 371889
247.12/247.23	o 371886
247.42/247.50	o 371883
248.02/248.11	o 371880
248.42/248.52	o 371877
250.12/250.20	o 371874
271.42/271.55	o 371871
325.20/325.33	o 371868
1782.71/1783.22	c total time              : 1783 s
1782.71/1783.22	s SATISFIABLE
1782.71/1783.22	v -x3 -x7 -x11 -x15 x19 -x23 -x27 -x31 -x35 -x39 -x43 -x47 -x51 -x55 -x59 -x63 -x67 -x71 -x75 -x79 -x83 -x87 -x91 -x95 -x99 -x103
1782.71/1783.22	v -x107 -x111 -x4 -x8 -x12 -x16 -x20 -x24 -x28 -x32 -x36 x40 -x44 -x48 -x52 -x56 -x60 -x64 -x68 -x72 -x76 -x80 -x84 -x88 -x92 -x96
1782.71/1783.22	v -x100 -x104 -x108 -x112 -x1 -x5 -x9 -x13 -x17 -x21 -x25 -x29 -x33 -x37 -x41 x45 -x49 -x53 -x57 -x61 -x65 -x69 -x73 -x77 -x81 -x85
1782.71/1783.22	v -x89 -x93 -x97 -x101 -x105 -x109 -x115 -x118 -x121 -x124 -x127 -x130 -x133 -x136 -x139 x142 -x145 -x148 -x151 -x154 -x157
1782.71/1783.22	v -x160 -x163 -x166 -x169 -x172 -x175 -x178 -x181 -x184 -x187 -x190 -x193 -x196 -x114 -x117 -x120 -x123 -x126 -x129 -x132 -x135
1782.71/1783.22	v -x138 -x141 -x144 -x147 x150 -x153 -x156 -x159 -x162 -x165 -x168 -x171 -x174 -x177 -x180 -x183 -x186 -x189 -x192 -x195 -x113
1782.71/1783.22	v -x116 -x119 -x122 -x125 -x128 -x131 -x134 -x137 -x140 -x143 -x146 -x149 -x152 x155 -x158 -x161 -x164 -x167 -x170 -x173 -x176
1782.71/1783.22	v -x179 -x182 -x185 -x188 -x191 -x194 -x198 -x201 -x204 -x207 -x210 -x213 -x216 -x219 -x222 x225 -x228 -x231 -x234 -x237 -x240
1782.71/1783.22	v -x243 -x246 -x249 -x252 -x255 -x258 -x261 -x264 -x267 -x270 -x273 -x276 -x279 -x199 -x202 -x205 -x208 -x211 -x214 -x217 -x220
1782.71/1783.22	v -x223 -x226 -x229 -x232 -x235 x238 -x241 -x244 -x247 -x250 -x253 -x256 -x259 -x262 -x265 -x268 -x271 -x274 -x277 -x280 -x197
1782.71/1783.22	v -x200 -x203 -x206 -x209 -x212 -x215 -x218 -x221 -x224 -x227 -x230 -x233 -x236 -x239 -x242 x245 -x248 -x251 -x254 -x257 -x260
1782.71/1783.22	v -x263 -x266 -x269 -x272 -x275 -x278 -x281 -x285 -x289 x293 -x297 -x301 -x305 -x309 -x313 -x317 -x321 -x325 -x329 -x333 -x337
1782.71/1783.22	v -x341 -x345 -x349 -x353 -x357 -x361 -x365 -x369 -x373 -x377 -x381 -x385 -x389 -x283 -x287 -x291 -x295 -x299 -x303 -x307 x311
1782.71/1783.22	v -x315 -x319 -x323 -x327 -x331 -x335 -x339 -x343 -x347 -x351 -x355 -x359 -x363 -x367 -x371 -x375 -x379 -x383 -x387 -x391 -x282
1782.71/1783.22	v -x286 -x290 -x294 -x298 -x302 -x306 -x310 -x314 -x318 -x322 x326 -x330 -x334 -x338 -x342 -x346 -x350 -x354 -x358 -x362 -x366
1782.71/1783.22	v -x370 -x374 -x378 -x382 -x386 -x390 -x394 -x397 -x400 -x403 x406 -x409 -x412 -x415 -x418 -x421 -x424 -x427 -x430 -x433 -x436
1782.71/1783.22	v -x439 -x442 -x445 -x448 -x451 -x454 -x457 -x460 -x463 -x466 -x469 -x472 -x475 -x395 -x398 -x401 -x404 -x407 -x410 -x413 -x416
1782.71/1783.22	v x419 -x422 -x425 -x428 -x431 -x434 -x437 -x440 -x443 -x446 -x449 -x452 -x455 -x458 -x461 -x464 -x467 -x470 -x473 -x476 -x393
1782.71/1783.22	v -x396 -x399 -x402 -x405 -x408 -x411 -x414 -x417 -x420 -x423 x426 -x429 -x432 -x435 -x438 -x441 -x444 -x447 -x450 -x453 -x456
1782.71/1783.22	v -x459 -x462 -x465 -x468 -x471 -x474 -x477 -x480 -x483 -x486 -x489 -x492 x495 -x498 -x501 -x504 -x507 -x510 -x513 -x516 -x519
1782.71/1783.22	v -x522 -x525 -x528 -x531 -x534 -x537 -x540 -x543 -x546 -x549 -x552 -x555 -x558 -x478 -x481 -x484 -x487 -x490 -x493 -x496 -x499
1782.71/1783.22	v x502 -x505 -x508 -x511 -x514 -x517 -x520 -x523 -x526 -x529 -x532 -x535 -x538 -x541 -x544 -x547 -x550 -x553 -x556 -x559 -x479
1782.71/1783.22	v -x482 -x485 -x488 -x491 -x494 -x497 -x500 -x503 -x506 -x509 x512 -x515 -x518 -x521 -x524 -x527 -x530 -x533 -x536 -x539 -x542
1782.71/1783.22	v -x545 -x548 -x551 -x554 -x557 -x560 -x561 -x564 -x567 -x570 -x573 -x576 -x579 -x582 -x585 -x588 -x591 -x594 -x597 x600 -x603
1782.71/1783.22	v -x606 -x609 -x612 -x615 -x618 -x621 -x624 -x627 -x630 -x633 -x636 -x639 -x642 -x562 -x565 -x568 -x571 -x574 -x577 -x580 -x583
1782.71/1783.22	v -x586 -x589 -x592 -x595 -x598 -x601 -x604 -x607 -x610 x613 -x616 -x619 -x622 -x625 -x628 -x631 -x634 -x637 -x640 -x643 -x563
1782.71/1783.22	v -x566 -x569 -x572 -x575 -x578 -x581 -x584 -x587 -x590 -x593 -x596 -x599 -x602 -x605 -x608 -x611 -x614 -x617 -x620 -x623 x626
1782.71/1783.22	v -x629 -x632 -x635 -x638 -x641 -x644 -x645 -x649 -x653 -x657 -x661 -x665 -x669 -x673 x677 -x681 -x685 -x689 -x693 -x697 -x701
1782.71/1783.22	v -x705 -x709 -x713 -x717 -x721 -x725 -x729 -x733 -x737 -x741 -x745 -x749 -x753 -x647 -x651 -x655 -x659 -x663 -x667 -x671 -x675
1782.71/1783.22	v -x679 -x683 -x687 -x691 -x695 x699 -x703 -x707 -x711 -x715 -x719 -x723 -x727 -x731 -x735 -x739 -x743 -x747 -x751 -x755 -x646
1782.71/1783.22	v -x650 -x654 -x658 -x662 -x666 -x670 -x674 -x678 -x682 -x686 -x690 -x694 -x698 -x702 -x706 -x710 -x714 x718 -x722 -x726 -x730
1782.71/1783.22	v -x734 -x738 -x742 -x746 -x750 -x754 -x759 -x764 -x769 -x774 x779 -x784 -x789 -x794 -x799 -x804 -x809 -x814 -x819 -x824 -x829
1782.71/1783.22	v -x834 -x839 -x844 -x849 -x854 -x859 -x864 -x869 -x874 -x879 -x884 -x889 -x894 -x758 -x763 -x768 -x773 -x778 -x783 -x788 -x793
1782.71/1783.22	v -x798 -x803 -x808 -x813 -x818 -x823 x828 -x833 -x838 -x843 -x848 -x853 -x858 -x863 -x868 -x873 -x878 -x883 -x888 -x893 -x760
1782.71/1783.22	v -x765 -x770 -x775 -x780 -x785 -x790 -x795 -x800 -x805 -x810 -x815 -x820 -x825 -x830 -x835 -x840 x845 -x850 -x855 -x860 -x865
1782.71/1783.22	v -x870 -x875 -x880 -x885 -x890 -x895 -x899 -x904 -x909 x914 -x919 -x924 -x929 -x934 -x939 -x944 -x949 -x954 -x959 -x964 -x969
1782.71/1783.22	v -x974 -x979 -x984 -x989 -x994 -x999 -x1004 -x1009 -x1014 -x1019 -x1024 -x1029 -x1034 -x900 -x905 -x910 -x915 -x920 -x925
1782.71/1783.22	v -x930 -x935 -x940 -x945 -x950 -x955 -x960 x965 -x970 -x975 -x980 -x985 -x990 -x995 -x1000 -x1005 -x1010 -x1015 -x1020 -x1025
1782.71/1783.22	v -x1030 -x1035 -x898 -x903 -x908 -x913 -x918 -x923 -x928 -x933 -x938 -x943 -x948 -x953 -x958 -x963 -x968 x973 -x978 -x983
1782.71/1783.22	v -x988 -x993 -x998 -x1003 -x1008 -x1013 -x1018 -x1023 -x1028 -x1033 -x1038 -x1041 -x1044 -x1047 -x1050 -x1053 -x1056 -x1059
1782.71/1783.22	v -x1062 -x1065 -x1068 -x1071 x1074 -x1077 -x1080 -x1083 -x1086 -x1089 -x1092 -x1095 -x1098 -x1101 -x1104 -x1107 -x1110
1782.71/1783.22	v -x1113 -x1116 -x1119 -x1039 -x1042 -x1045 -x1048 -x1051 -x1054 -x1057 -x1060 -x1063 -x1066 -x1069 -x1072 -x1075 -x1078
1782.71/1783.22	v -x1081 x1084 -x1087 -x1090 -x1093 -x1096 -x1099 -x1102 -x1105 -x1108 -x1111 -x1114 -x1117 -x1120 -x1037 -x1040 -x1043
1782.71/1783.22	v -x1046 -x1049 -x1052 -x1055 -x1058 -x1061 -x1064 -x1067 -x1070 -x1073 -x1076 -x1079 -x1082 -x1085 x1088 -x1091 -x1094
1782.71/1783.22	v -x1097 -x1100 -x1103 -x1106 -x1109 -x1112 -x1115 -x1118 -x1121 -x1124 -x1127 -x1130 -x1133 -x1136 -x1139 -x1142 -x1145
1782.71/1783.22	v -x1148 x1151 -x1154 -x1157 -x1160 -x1163 -x1166 -x1169 -x1172 -x1175 -x1178 -x1181 -x1184 -x1187 -x1190 -x1193 -x1196
1782.71/1783.22	v -x1199 -x1202 -x1123 -x1126 -x1129 -x1132 -x1135 -x1138 -x1141 -x1144 -x1147 -x1150 -x1153 -x1156 x1159 -x1162 -x1165
1782.71/1783.22	v -x1168 -x1171 -x1174 -x1177 -x1180 -x1183 -x1186 -x1189 -x1192 -x1195 -x1198 -x1201 -x1204 -x1122 -x1125 -x1128 -x1131
1782.71/1783.22	v -x1134 -x1137 -x1140 -x1143 -x1146 -x1149 -x1152 -x1155 -x1158 -x1161 x1164 -x1167 -x1170 -x1173 -x1176 -x1179 -x1182
1782.71/1783.22	v -x1185 -x1188 -x1191 -x1194 -x1197 -x1200 -x1203 -x1205 -x1208 -x1211 -x1214 -x1217 -x1220 -x1223 -x1226 -x1229 -x1232
1782.71/1783.22	v -x1235 -x1238 -x1241 -x1244 x1247 -x1250 -x1253 -x1256 -x1259 -x1262 -x1265 -x1268 -x1271 -x1274 -x1277 -x1280 -x1283
1782.71/1783.22	v -x1286 -x1207 -x1210 -x1213 -x1216 -x1219 -x1222 -x1225 -x1228 -x1231 -x1234 -x1237 -x1240 -x1243 -x1246 -x1249 -x1252
1782.71/1783.22	v -x1255 x1258 -x1261 -x1264 -x1267 -x1270 -x1273 -x1276 -x1279 -x1282 -x1285 -x1288 -x1206 -x1209 -x1212 -x1215 -x1218
1782.71/1783.22	v -x1221 -x1224 -x1227 -x1230 -x1233 -x1236 -x1239 -x1242 -x1245 -x1248 -x1251 -x1254 -x1257 -x1260 x1263 -x1266 -x1269
1782.71/1783.22	v -x1272 -x1275 -x1278 -x1281 -x1284 -x1287 -x1290 -x1293 -x1296 -x1299 -x1302 -x1305 -x1308 -x1311 -x1314 -x1317 -x1320
1782.71/1783.22	v -x1323 -x1326 -x1329 -x1332 -x1335 -x1338 -x1341 -x1344 x1347 -x1350 -x1353 -x1356 -x1359 -x1362 -x1365 -x1368 -x1371
1782.71/1783.22	v -x1291 -x1294 -x1297 -x1300 -x1303 -x1306 -x1309 -x1312 -x1315 -x1318 -x1321 -x1324 -x1327 -x1330 -x1333 -x1336 -x1339
1782.71/1783.22	v -x1342 -x1345 -x1348 -x1351 -x1354 x1357 -x1360 -x1363 -x1366 -x1369 -x1372 -x1289 -x1292 -x1295 -x1298 -x1301 -x1304
1782.71/1783.22	v -x1307 -x1310 -x1313 -x1316 -x1319 -x1322 -x1325 -x1328 -x1331 -x1334 -x1337 -x1340 -x1343 -x1346 -x1349 -x1352 -x1355
1782.71/1783.22	v -x1358 -x1361 x1364 -x1367 -x1370 -x1373 -x1376 -x1379 -x1382 -x1385 -x1388 x1391 -x1394 -x1397 -x1400 -x1403 -x1406 -x1409
1782.71/1783.22	v -x1412 -x1415 -x1418 -x1421 -x1424 -x1427 -x1430 -x1433 -x1436 -x1439 -x1442 -x1445 -x1448 -x1451 -x1454 -x1375 -x1378
1782.71/1783.22	v -x1381 -x1384 -x1387 -x1390 -x1393 -x1396 -x1399 x1402 -x1405 -x1408 -x1411 -x1414 -x1417 -x1420 -x1423 -x1426 -x1429
1782.71/1783.22	v -x1432 -x1435 -x1438 -x1441 -x1444 -x1447 -x1450 -x1453 -x1456 -x1374 -x1377 -x1380 -x1383 -x1386 -x1389 -x1392 -x1395
1782.71/1783.22	v -x1398 -x1401 -x1404 x1407 -x1410 -x1413 -x1416 -x1419 -x1422 -x1425 -x1428 -x1431 -x1434 -x1437 -x1440 -x1443 -x1446
1782.71/1783.22	v -x1449 -x1452 -x1455 -x1458 -x1461 -x1464 -x1467 -x1470 -x1473 -x1476 -x1479 -x1482 -x1485 -x1488 -x1491 -x1494 x1497
1782.71/1783.22	v -x1500 -x1503 -x1506 -x1509 -x1512 -x1515 -x1518 -x1521 -x1524 -x1527 -x1530 -x1533 -x1536 -x1539 -x1459 -x1462 -x1465
1782.71/1783.22	v -x1468 -x1471 -x1474 -x1477 -x1480 -x1483 -x1486 -x1489 -x1492 -x1495 -x1498 -x1501 -x1504 x1507 -x1510 -x1513 -x1516
1782.71/1783.22	v -x1519 -x1522 -x1525 -x1528 -x1531 -x1534 -x1537 -x1540 -x1457 -x1460 -x1463 -x1466 -x1469 -x1472 -x1475 -x1478 -x1481
1782.71/1783.22	v -x1484 -x1487 -x1490 -x1493 -x1496 -x1499 -x1502 -x1505 x1508 -x1511 -x1514 -x1517 -x1520 -x1523 -x1526 -x1529 -x1532
1782.71/1783.22	v -x1535 -x1538 -x1541 -x1544 -x1547 -x1550 -x1553 -x1556 -x1559 x1562 -x1565 -x1568 -x1571 -x1574 -x1577 -x1580 -x1583
1782.71/1783.22	v -x1586 -x1589 -x1592 -x1595 -x1598 -x1601 -x1604 -x1607 -x1610 -x1613 -x1616 -x1619 -x1622 -x1542 -x1545 -x1548 -x1551
1782.71/1783.22	v -x1554 -x1557 -x1560 -x1563 -x1566 -x1569 -x1572 x1575 -x1578 -x1581 -x1584 -x1587 -x1590 -x1593 -x1596 -x1599 -x1602
1782.71/1783.22	v -x1605 -x1608 -x1611 -x1614 -x1617 -x1620 -x1623 -x1543 -x1546 -x1549 -x1552 -x1555 -x1558 -x1561 -x1564 -x1567 -x1570
1782.71/1783.22	v -x1573 -x1576 -x1579 -x1582 -x1585 x1588 -x1591 -x1594 -x1597 -x1600 -x1603 -x1606 -x1609 -x1612 -x1615 -x1618 -x1621
1782.71/1783.22	v -x1624 -x1627 -x1630 -x1633 -x1636 -x1639 -x1642 -x1645 -x1648 -x1651 -x1654 -x1657 -x1660 -x1663 -x1666 -x1669 -x1672
1782.71/1783.22	v -x1675 -x1678 x1681 -x1684 -x1687 -x1690 -x1693 -x1696 -x1699 -x1702 -x1705 -x1708 -x1626 -x1629 -x1632 -x1635 -x1638
1782.71/1783.22	v -x1641 -x1644 -x1647 -x1650 -x1653 -x1656 -x1659 -x1662 -x1665 -x1668 -x1671 -x1674 -x1677 -x1680 -x1683 -x1686 -x1689
1782.71/1783.22	v -x1692 x1695 -x1698 -x1701 -x1704 -x1707 -x1625 -x1628 -x1631 -x1634 -x1637 -x1640 -x1643 -x1646 -x1649 -x1652 -x1655
1782.71/1783.22	v -x1658 -x1661 -x1664 -x1667 -x1670 -x1673 -x1676 -x1679 -x1682 -x1685 -x1688 -x1691 -x1694 -x1697 x1700 -x1703 -x1706
1782.71/1783.22	v -x1709 -x1712 -x1715 -x1718 -x1721 x1724 -x1727 -x1730 -x1733 -x1736 -x1739 -x1742 -x1745 -x1748 -x1751 -x1754 -x1757
1782.71/1783.22	v -x1760 -x1763 -x1766 -x1769 -x1772 -x1775 -x1778 -x1781 -x1784 -x1787 -x1790 -x1710 -x1713 -x1716 -x1719 -x1722 -x1725
1782.71/1783.22	v -x1728 x1731 -x1734 -x1737 -x1740 -x1743 -x1746 -x1749 -x1752 -x1755 -x1758 -x1761 -x1764 -x1767 -x1770 -x1773 -x1776
1782.71/1783.22	v -x1779 -x1782 -x1785 -x1788 -x1791 -x1711 -x1714 -x1717 -x1720 -x1723 -x1726 -x1729 -x1732 -x1735 x1738 -x1741 -x1744
1782.71/1783.22	v -x1747 -x1750 -x1753 -x1756 -x1759 -x1762 -x1765 -x1768 -x1771 -x1774 -x1777 -x1780 -x1783 -x1786 -x1789 -x1792 -x1794
1782.71/1783.22	v -x1796 -x1798 -x1800 -x1802 -x1804 x1806 -x1808 -x1810 -x1812 -x1814 -x1816 -x1818 -x1820 -x1822 -x1824 -x1826 -x1828
1782.71/1783.22	v -x1830 -x1832 -x1834 -x1836 -x1838 -x1840 -x1842 -x1844 -x1846 -x1848 -x1793 -x1795 -x1797 -x1799 -x1801 -x1803 -x1805
1782.71/1783.22	v -x1807 -x1809 x1811 -x1813 -x1815 -x1817 -x1819 -x1821 -x1823 -x1825 -x1827 -x1829 -x1831 -x1833 -x1835 -x1837 -x1839
1782.71/1783.22	v -x1841 -x1843 -x1845 -x1847 -x1850 -x1852 -x1854 -x1856 -x1858 -x1860 -x1862 -x1864 -x1866 -x1868 -x1870 x1872 -x1874
1782.71/1783.22	v -x1876 -x1878 -x1880 -x1882 -x1884 -x1886 -x1888 -x1890 -x1892 -x1894 -x1896 -x1898 -x1900 -x1902 -x1904 -x1849 -x1851
1782.71/1783.22	v -x1853 -x1855 -x1857 -x1859 -x1861 -x1863 -x1865 -x1867 -x1869 -x1871 -x1873 -x1875 x1877 -x1879 -x1881 -x1883 -x1885
1782.71/1783.22	v -x1887 -x1889 -x1891 -x1893 -x1895 -x1897 -x1899 -x1901 -x1903 -x1905 -x1909 -x1913 -x1917 -x1921 -x1925 -x1929 -x1933
1782.71/1783.22	v x1937 -x1941 -x1945 -x1949 -x1953 -x1957 -x1961 -x1965 -x1969 -x1973 -x1977 -x1981 -x1985 -x1989 -x1993 -x1997 -x2001
1782.71/1783.22	v -x2005 -x2009 -x2013 -x1907 -x1911 -x1915 -x1919 -x1923 -x1927 -x1931 -x1935 -x1939 -x1943 -x1947 -x1951 -x1955 x1959
1782.71/1783.22	v -x1963 -x1967 -x1971 -x1975 -x1979 -x1983 -x1987 -x1991 -x1995 -x1999 -x2003 -x2007 -x2011 -x2015 -x1906 -x1910 -x1914
1782.71/1783.22	v -x1918 -x1922 -x1926 -x1930 -x1934 -x1938 -x1942 -x1946 -x1950 -x1954 -x1958 -x1962 -x1966 -x1970 x1974 -x1978 -x1982
1782.71/1783.22	v -x1986 -x1990 -x1994 -x1998 -x2002 -x2006 -x2010 -x2014 -x2017 -x2021 -x2025 x2029 -x2033 -x2037 -x2041 -x2045 -x2049
1782.71/1783.22	v -x2053 -x2057 -x2061 -x2065 -x2069 -x2073 -x2077 -x2081 -x2085 -x2089 -x2093 -x2097 -x2101 -x2105 -x2109 -x2113 -x2117
1782.71/1783.22	v -x2121 -x2125 -x2019 -x2023 -x2027 -x2031 -x2035 -x2039 -x2043 -x2047 x2051 -x2055 -x2059 -x2063 -x2067 -x2071 -x2075
1782.71/1783.22	v -x2079 -x2083 -x2087 -x2091 -x2095 -x2099 -x2103 -x2107 -x2111 -x2115 -x2119 -x2123 -x2127 -x2018 -x2022 -x2026 -x2030
1782.71/1783.22	v -x2034 -x2038 -x2042 -x2046 -x2050 -x2054 -x2058 -x2062 x2066 -x2070 -x2074 -x2078 -x2082 -x2086 -x2090 -x2094 -x2098
1782.71/1783.22	v -x2102 -x2106 -x2110 -x2114 -x2118 -x2122 -x2126 x2129 -x2132 -x2135 -x2138 -x2141 -x2144 -x2147 -x2150 -x2153 -x2156
1782.71/1783.22	v -x2159 -x2162 -x2165 -x2168 -x2171 -x2174 -x2177 -x2180 -x2183 -x2186 -x2189 -x2192 -x2195 -x2198 -x2201 -x2204 -x2207
1782.71/1783.22	v -x2210 -x2131 -x2134 -x2137 -x2140 -x2143 x2146 -x2149 -x2152 -x2155 -x2158 -x2161 -x2164 -x2167 -x2170 -x2173 -x2176
1782.71/1783.22	v -x2179 -x2182 -x2185 -x2188 -x2191 -x2194 -x2197 -x2200 -x2203 -x2206 -x2209 -x2212 -x2130 -x2133 -x2136 -x2139 -x2142
1782.71/1783.22	v -x2145 -x2148 -x2151 -x2154 x2157 -x2160 -x2163 -x2166 -x2169 -x2172 -x2175 -x2178 -x2181 -x2184 -x2187 -x2190 -x2193
1782.71/1783.22	v -x2196 -x2199 -x2202 -x2205 -x2208 -x2211 -x2214 -x2217 -x2220 x2223 -x2226 -x2229 -x2232 -x2235 -x2238 -x2241 -x2244
1782.71/1783.22	v -x2247 -x2250 -x2253 -x2256 -x2259 -x2262 -x2265 -x2268 -x2271 -x2274 -x2277 -x2280 -x2283 -x2286 -x2289 -x2292 -x2295
1782.71/1783.22	v -x2215 -x2218 -x2221 -x2224 -x2227 -x2230 -x2233 x2236 -x2239 -x2242 -x2245 -x2248 -x2251 -x2254 -x2257 -x2260 -x2263
1782.71/1783.22	v -x2266 -x2269 -x2272 -x2275 -x2278 -x2281 -x2284 -x2287 -x2290 -x2293 -x2296 -x2213 -x2216 -x2219 -x2222 -x2225 -x2228
1782.71/1783.22	v -x2231 -x2234 -x2237 -x2240 -x2243 -x2246 -x2249 x2252 -x2255 -x2258 -x2261 -x2264 -x2267 -x2270 -x2273 -x2276 -x2279
1782.71/1783.22	v -x2282 -x2285 -x2288 -x2291 -x2294 -x2297 -x2301 -x2305 -x2309 -x2313 -x2317 -x2321 -x2325 -x2329 -x2333 -x2337 -x2341
1782.71/1783.22	v -x2345 -x2349 x2353 -x2357 -x2361 -x2365 -x2369 -x2373 -x2377 -x2381 -x2385 -x2389 -x2393 -x2397 -x2401 -x2405 -x2298
1782.71/1783.22	v -x2302 -x2306 -x2310 -x2314 -x2318 -x2322 -x2326 -x2330 -x2334 -x2338 -x2342 -x2346 -x2350 -x2354 -x2358 -x2362 -x2366
1782.71/1783.22	v -x2370 x2374 -x2378 -x2382 -x2386 -x2390 -x2394 -x2398 -x2402 -x2406 -x2299 -x2303 -x2307 -x2311 -x2315 -x2319 -x2323
1782.71/1783.22	v -x2327 -x2331 -x2335 -x2339 -x2343 -x2347 -x2351 -x2355 -x2359 -x2363 -x2367 -x2371 -x2375 -x2379 -x2383 x2387 -x2391
1782.71/1783.22	v -x2395 -x2399 -x2403 -x2407 -x2409 -x2413 x2417 -x2421 -x2425 -x2429 -x2433 -x2437 -x2441 -x2445 -x2449 -x2453 -x2457
1782.71/1783.22	v -x2461 -x2465 -x2469 -x2473 -x2477 -x2481 -x2485 -x2489 -x2493 -x2497 -x2501 -x2505 -x2509 -x2513 -x2517 -x2410 -x2414
1782.71/1783.22	v -x2418 -x2422 -x2426 -x2430 -x2434 x2438 -x2442 -x2446 -x2450 -x2454 -x2458 -x2462 -x2466 -x2470 -x2474 -x2478 -x2482
1782.71/1783.22	v -x2486 -x2490 -x2494 -x2498 -x2502 -x2506 -x2510 -x2514 -x2518 -x2411 -x2415 -x2419 -x2423 -x2427 -x2431 -x2435 -x2439
1782.71/1783.22	v -x2443 -x2447 x2451 -x2455 -x2459 -x2463 -x2467 -x2471 -x2475 -x2479 -x2483 -x2487 -x2491 -x2495 -x2499 -x2503 -x2507
1782.71/1783.22	v -x2511 -x2515 -x2519 -x2522 -x2525 -x2528 -x2531 -x2534 -x2537 -x2540 -x2543 -x2546 -x2549 -x2552 -x2555 -x2558 -x2561
1782.71/1783.22	v -x2564 x2567 -x2570 -x2573 -x2576 -x2579 -x2582 -x2585 -x2588 -x2591 -x2594 -x2597 -x2600 -x2603 -x2523 -x2526 -x2529
1782.71/1783.22	v -x2532 -x2535 -x2538 -x2541 -x2544 -x2547 -x2550 -x2553 -x2556 -x2559 -x2562 -x2565 -x2568 -x2571 -x2574 -x2577 -x2580
1782.71/1783.22	v -x2583 -x2586 x2589 -x2592 -x2595 -x2598 -x2601 -x2604 -x2521 -x2524 -x2527 -x2530 -x2533 -x2536 -x2539 -x2542 -x2545
1782.71/1783.22	v -x2548 -x2551 -x2554 -x2557 -x2560 -x2563 -x2566 -x2569 -x2572 -x2575 -x2578 -x2581 -x2584 -x2587 x2590 -x2593 -x2596
1782.71/1783.22	v -x2599 -x2602 -x2606 -x2611 -x2616 -x2621 -x2626 -x2631 -x2636 -x2641 -x2646 x2651 -x2656 -x2661 -x2666 -x2671 -x2676
1782.71/1783.22	v -x2681 -x2686 -x2691 -x2696 -x2701 -x2706 -x2711 -x2716 -x2721 -x2726 -x2731 -x2736 -x2741 -x2608 -x2613 -x2618 -x2623
1782.71/1783.22	v -x2628 -x2633 -x2638 -x2643 -x2648 -x2653 -x2658 -x2663 -x2668 -x2673 -x2678 -x2683 x2688 -x2693 -x2698 -x2703 -x2708
1782.71/1783.22	v -x2713 -x2718 -x2723 -x2728 -x2733 -x2738 -x2743 -x2605 -x2610 -x2615 -x2620 -x2625 -x2630 -x2635 -x2640 -x2645 -x2650
1782.71/1783.22	v -x2655 -x2660 -x2665 -x2670 -x2675 -x2680 -x2685 -x2690 x2695 -x2700 -x2705 -x2710 -x2715 -x2720 -x2725 -x2730 -x2735
1782.71/1783.22	v -x2740 -x2745 -x2748 -x2751 -x2754 -x2757 -x2760 -x2763 -x2766 -x2769 -x2772 -x2775 -x2778 -x2781 x2784 -x2787 -x2790
1782.71/1783.22	v -x2793 -x2796 -x2799 -x2802 -x2805 -x2808 -x2811 -x2814 -x2817 -x2820 -x2823 -x2826 -x2747 -x2750 -x2753 -x2756 -x2759
1782.71/1783.22	v -x2762 -x2765 -x2768 -x2771 -x2774 -x2777 -x2780 -x2783 -x2786 -x2789 -x2792 -x2795 -x2798 x2801 -x2804 -x2807 -x2810
1782.71/1783.22	v -x2813 -x2816 -x2819 -x2822 -x2825 -x2828 -x2746 -x2749 -x2752 -x2755 -x2758 -x2761 -x2764 -x2767 -x2770 -x2773 -x2776
1782.71/1783.22	v -x2779 -x2782 -x2785 -x2788 -x2791 -x2794 -x2797 -x2800 -x2803 -x2806 x2809 -x2812 -x2815 -x2818 -x2821 -x2824 -x2827
1782.71/1783.22	v -x2830 x2833 -x2836 -x2839 -x2842 -x2845 -x2848 -x2851 -x2854 -x2857 -x2860 -x2863 -x2866 -x2869 -x2872 -x2875 -x2878
1782.71/1783.22	v -x2881 -x2884 -x2887 -x2890 -x2893 -x2896 -x2899 -x2902 -x2905 -x2908 -x2911 -x2831 -x2834 -x2837 -x2840 -x2843 -x2846
1782.71/1783.22	v -x2849 -x2852 x2855 -x2858 -x2861 -x2864 -x2867 -x2870 -x2873 -x2876 -x2879 -x2882 -x2885 -x2888 -x2891 -x2894 -x2897
1782.71/1783.22	v -x2900 -x2903 -x2906 -x2909 -x2912 -x2829 -x2832 -x2835 -x2838 -x2841 -x2844 -x2847 -x2850 -x2853 x2856 -x2859 -x2862
1782.71/1783.22	v -x2865 -x2868 -x2871 -x2874 -x2877 -x2880 -x2883 -x2886 -x2889 -x2892 -x2895 -x2898 -x2901 -x2904 -x2907 -x2910 -x2914
1782.71/1783.22	v -x2917 -x2920 -x2923 -x2926 -x2929 -x2932 -x2935 x2938 -x2941 -x2944 -x2947 -x2950 -x2953 -x2956 -x2959 -x2962 -x2965
1782.71/1783.22	v -x2968 -x2971 -x2974 -x2977 -x2980 -x2983 -x2986 -x2989 -x2992 -x2995 -x2915 -x2918 -x2921 -x2924 -x2927 -x2930 -x2933
1782.71/1783.22	v -x2936 -x2939 -x2942 -x2945 -x2948 -x2951 -x2954 -x2957 x2960 -x2963 -x2966 -x2969 -x2972 -x2975 -x2978 -x2981 -x2984
1782.71/1783.22	v -x2987 -x2990 -x2993 -x2996 -x2913 -x2916 -x2919 -x2922 -x2925 -x2928 -x2931 -x2934 -x2937 -x2940 -x2943 -x2946 -x2949
1782.71/1783.22	v -x2952 -x2955 -x2958 x2961 -x2964 -x2967 -x2970 -x2973 -x2976 -x2979 -x2982 -x2985 -x2988 -x2991 -x2994 -x2998 -x3001
1782.71/1783.22	v x3004 -x3007 -x3010 -x3013 -x3016 -x3019 -x3022 -x3025 -x3028 -x3031 -x3034 -x3037 -x3040 -x3043 -x3046 -x3049 -x3052
1782.71/1783.22	v -x3055 -x3058 -x3061 -x3064 -x3067 -x3070 -x3073 -x3076 -x3079 -x2999 -x3002 -x3005 -x3008 -x3011 -x3014 x3017 -x3020
1782.71/1783.22	v -x3023 -x3026 -x3029 -x3032 -x3035 -x3038 -x3041 -x3044 -x3047 -x3050 -x3053 -x3056 -x3059 -x3062 -x3065 -x3068 -x3071
1782.71/1783.22	v -x3074 -x3077 -x3080 -x2997 -x3000 -x3003 -x3006 -x3009 -x3012 -x3015 -x3018 -x3021 -x3024 -x3027 -x3030 -x3033 -x3036
1782.71/1783.22	v -x3039 -x3042 -x3045 -x3048 -x3051 -x3054 x3057 -x3060 -x3063 -x3066 -x3069 -x3072 -x3075 -x3078 -x3081 -x3085 -x3089
1782.71/1783.22	v -x3093 -x3097 -x3101 -x3105 -x3109 -x3113 -x3117 -x3121 -x3125 x3129 -x3133 -x3137 -x3141 -x3145 -x3149 -x3153 -x3157
1782.71/1783.22	v -x3161 -x3165 -x3169 -x3173 -x3177 -x3181 -x3185 -x3189 -x3083 -x3087 -x3091 -x3095 -x3099 -x3103 -x3107 -x3111 -x3115
1782.71/1783.22	v -x3119 -x3123 -x3127 -x3131 -x3135 -x3139 -x3143 -x3147 x3151 -x3155 -x3159 -x3163 -x3167 -x3171 -x3175 -x3179 -x3183
1782.71/1783.22	v -x3187 -x3191 -x3082 -x3086 -x3090 -x3094 -x3098 -x3102 -x3106 -x3110 -x3114 -x3118 -x3122 -x3126 -x3130 -x3134 -x3138
1782.71/1783.22	v -x3142 -x3146 -x3150 -x3154 -x3158 -x3162 x3166 -x3170 -x3174 -x3178 -x3182 -x3186 -x3190 -x3194 -x3197 -x3200 -x3203
1782.71/1783.22	v -x3206 -x3209 -x3212 -x3215 x3218 -x3221 -x3224 -x3227 -x3230 -x3233 -x3236 -x3239 -x3242 -x3245 -x3248 -x3251 -x3254
1782.71/1783.22	v -x3257 -x3260 -x3263 -x3266 -x3269 -x3272 -x3275 -x3195 -x3198 -x3201 -x3204 -x3207 -x3210 -x3213 -x3216 -x3219 -x3222
1782.71/1783.22	v x3225 -x3228 -x3231 -x3234 -x3237 -x3240 -x3243 -x3246 -x3249 -x3252 -x3255 -x3258 -x3261 -x3264 -x3267 -x3270 -x3273
1782.71/1783.22	v -x3276 -x3193 -x3196 -x3199 -x3202 -x3205 -x3208 -x3211 -x3214 -x3217 -x3220 -x3223 -x3226 -x3229 -x3232 -x3235 x3238
1782.71/1783.22	v -x3241 -x3244 -x3247 -x3250 -x3253 -x3256 -x3259 -x3262 -x3265 -x3268 -x3271 -x3274 -x3278 -x3281 -x3284 -x3287 -x3290
1782.71/1783.22	v -x3293 -x3296 -x3299 -x3302 -x3305 -x3308 -x3311 x3314 -x3317 -x3320 -x3323 -x3326 -x3329 -x3332 -x3335 -x3338 -x3341
1782.71/1783.22	v -x3344 -x3347 -x3350 -x3353 -x3356 -x3359 -x3279 -x3282 -x3285 -x3288 -x3291 -x3294 -x3297 -x3300 -x3303 -x3306 -x3309
1782.71/1783.22	v -x3312 -x3315 -x3318 -x3321 -x3324 -x3327 -x3330 x3333 -x3336 -x3339 -x3342 -x3345 -x3348 -x3351 -x3354 -x3357 -x3360
1782.71/1783.22	v -x3277 -x3280 -x3283 -x3286 -x3289 -x3292 -x3295 -x3298 -x3301 -x3304 -x3307 -x3310 -x3313 -x3316 -x3319 -x3322 -x3325
1782.71/1783.22	v -x3328 -x3331 -x3334 -x3337 -x3340 x3343 -x3346 -x3349 -x3352 -x3355 -x3358 -x3361 -x3364 -x3367 -x3370 -x3373 -x3376
1782.71/1783.22	v -x3379 -x3382 -x3385 -x3388 -x3391 -x3394 -x3397 x3400 -x3403 -x3406 -x3409 -x3412 -x3415 -x3418 -x3421 -x3424 -x3427
1782.71/1783.22	v -x3430 -x3433 -x3436 -x3439 -x3442 -x3363 -x3366 -x3369 -x3372 -x3375 -x3378 -x3381 -x3384 -x3387 -x3390 -x3393 -x3396
1782.71/1783.22	v -x3399 -x3402 -x3405 -x3408 -x3411 -x3414 x3417 -x3420 -x3423 -x3426 -x3429 -x3432 -x3435 -x3438 -x3441 -x3444 -x3362
1782.71/1783.22	v -x3365 -x3368 -x3371 -x3374 -x3377 -x3380 -x3383 -x3386 -x3389 -x3392 -x3395 -x3398 -x3401 -x3404 -x3407 -x3410 -x3413
1782.71/1783.22	v -x3416 -x3419 -x3422 x3425 -x3428 -x3431 -x3434 -x3437 -x3440 -x3443 -x3445 -x3449 -x3453 -x3457 -x3461 -x3465 -x3469
1782.71/1783.22	v -x3473 -x3477 -x3481 -x3485 -x3489 -x3493 -x3497 x3501 -x3505 -x3509 -x3513 -x3517 -x3521 -x3525 -x3529 -x3533 -x3537
1782.71/1783.22	v -x3541 -x3545 -x3549 -x3553 -x3447 -x3451 -x3455 -x3459 -x3463 -x3467 -x3471 -x3475 -x3479 -x3483 -x3487 -x3491 -x3495
1782.71/1783.22	v -x3499 -x3503 -x3507 -x3511 -x3515 -x3519 x3523 -x3527 -x3531 -x3535 -x3539 -x3543 -x3547 -x3551 -x3555 -x3446 -x3450
1782.71/1783.22	v -x3454 -x3458 -x3462 -x3466 -x3470 -x3474 -x3478 -x3482 -x3486 -x3490 -x3494 -x3498 -x3502 -x3506 -x3510 -x3514 -x3518
1782.71/1783.22	v -x3522 x3526 -x3530 -x3534 -x3538 -x3542 -x3546 -x3550 -x3554 -x3559 -x3562 -x3565 x3568 -x3571 -x3574 -x3577 -x3580 -x3583
1782.71/1783.22	v -x3586 -x3589 -x3592 -x3595 -x3598 -x3601 -x3604 -x3607 -x3610 -x3613 -x3616 -x3619 -x3622 -x3625 -x3628 -x3631 -x3634
1782.71/1783.22	v -x3637 -x3640 -x3558 -x3561 -x3564 -x3567 -x3570 -x3573 x3576 -x3579 -x3582 -x3585 -x3588 -x3591 -x3594 -x3597 -x3600
1782.71/1783.22	v -x3603 -x3606 -x3609 -x3612 -x3615 -x3618 -x3621 -x3624 -x3627 -x3630 -x3633 -x3636 -x3639 -x3557 -x3560 -x3563 -x3566
1782.71/1783.22	v -x3569 -x3572 -x3575 -x3578 x3581 -x3584 -x3587 -x3590 -x3593 -x3596 -x3599 -x3602 -x3605 -x3608 -x3611 -x3614 -x3617
1782.71/1783.22	v -x3620 -x3623 -x3626 -x3629 -x3632 -x3635 -x3638 -x3641 -x3645 -x3649 -x3653 -x3657 -x3661 -x3665 x3669 -x3673 -x3677
1782.71/1783.22	v -x3681 -x3685 -x3689 -x3693 -x3697 -x3701 -x3705 -x3709 -x3713 -x3717 -x3721 -x3725 -x3729 -x3733 -x3737 -x3741 -x3745
1782.71/1783.22	v -x3749 -x3643 -x3647 -x3651 -x3655 -x3659 -x3663 -x3667 -x3671 -x3675 -x3679 -x3683 -x3687 x3691 -x3695 -x3699 -x3703
1782.71/1783.22	v -x3707 -x3711 -x3715 -x3719 -x3723 -x3727 -x3731 -x3735 -x3739 -x3743 -x3747 -x3751 -x3642 -x3646 -x3650 -x3654 -x3658
1782.71/1783.22	v -x3662 -x3666 -x3670 -x3674 -x3678 -x3682 -x3686 -x3690 -x3694 -x3698 -x3702 x3706 -x3710 -x3714 -x3718 -x3722 -x3726
1782.71/1783.22	v -x3730 -x3734 -x3738 -x3742 -x3746 -x3750 -x3754 -x3757 -x3760 -x3763 -x3766 -x3769 -x3772 -x3775 x3778 -x3781 -x3784
1782.71/1783.22	v -x3787 -x3790 -x3793 -x3796 -x3799 -x3802 -x3805 -x3808 -x3811 -x3814 -x3817 -x3820 -x3823 -x3826 -x3829 -x3832 -x3835
1782.71/1783.22	v -x3755 -x3758 -x3761 -x3764 -x3767 -x3770 -x3773 -x3776 -x3779 -x3782 -x3785 -x3788 -x3791 -x3794 -x3797 x3800 -x3803
1782.71/1783.22	v -x3806 -x3809 -x3812 -x3815 -x3818 -x3821 -x3824 -x3827 -x3830 -x3833 -x3836 -x3753 -x3756 -x3759 -x3762 -x3765 -x3768
1782.71/1783.22	v -x3771 -x3774 -x3777 -x3780 -x3783 -x3786 -x3789 -x3792 -x3795 -x3798 -x3801 x3804 -x3807 -x3810 -x3813 -x3816 -x3819
1782.71/1783.22	v -x3822 -x3825 -x3828 -x3831 -x3834 -x3839 -x3843 -x3847 -x3851 -x3855 -x3859 -x3863 -x3867 -x3871 -x3875 -x3879 -x3883
1782.71/1783.22	v -x3887 -x3891 -x3895 -x3899 x3903 -x3907 -x3911 -x3915 -x3919 -x3923 -x3927 -x3931 -x3935 -x3939 -x3943 -x3947 -x3840
1782.71/1783.22	v -x3844 -x3848 -x3852 -x3856 -x3860 -x3864 -x3868 -x3872 -x3876 -x3880 -x3884 -x3888 -x3892 -x3896 -x3900 -x3904 -x3908
1782.71/1783.22	v -x3912 -x3916 -x3920 x3924 -x3928 -x3932 -x3936 -x3940 -x3944 -x3948 -x3837 -x3841 -x3845 -x3849 -x3853 -x3857 -x3861
1782.71/1783.22	v -x3865 -x3869 -x3873 -x3877 -x3881 -x3885 -x3889 -x3893 -x3897 -x3901 -x3905 -x3909 -x3913 -x3917 -x3921 -x3925 x3929
1782.71/1783.22	v -x3933 -x3937 -x3941 -x3945 -x3951 -x3954 -x3957 -x3960 -x3963 -x3966 -x3969 -x3972 -x3975 -x3978 x3981 -x3984 -x3987
1782.71/1783.22	v -x3990 -x3993 -x3996 -x3999 -x4002 -x4005 -x4008 -x4011 -x4014 -x4017 -x4020 -x4023 -x4026 -x4029 -x4032 -x3950 -x3953
1782.71/1783.22	v -x3956 -x3959 -x3962 -x3965 -x3968 -x3971 -x3974 -x3977 -x3980 -x3983 -x3986 x3989 -x3992 -x3995 -x3998 -x4001 -x4004
1782.71/1783.22	v -x4007 -x4010 -x4013 -x4016 -x4019 -x4022 -x4025 -x4028 -x4031 -x3949 -x3952 -x3955 -x3958 -x3961 -x3964 -x3967 -x3970
1782.71/1783.22	v -x3973 -x3976 -x3979 -x3982 -x3985 -x3988 -x3991 x3994 -x3997 -x4000 -x4003 -x4006 -x4009 -x4012 -x4015 -x4018 -x4021
1782.71/1783.22	v -x4024 -x4027 -x4030 -x4034 -x4039 x4044 -x4049 -x4054 -x4059 -x4064 -x4069 -x4074 -x4079 -x4084 -x4089 -x4094 -x4099
1782.71/1783.22	v -x4104 -x4109 -x4114 -x4119 -x4124 -x4129 -x4134 -x4139 -x4144 -x4149 -x4154 -x4159 -x4164 -x4169 -x4036 -x4041 -x4046
1782.71/1783.22	v -x4051 -x4056 -x4061 -x4066 -x4071 -x4076 -x4081 x4086 -x4091 -x4096 -x4101 -x4106 -x4111 -x4116 -x4121 -x4126 -x4131
1782.71/1783.22	v -x4136 -x4141 -x4146 -x4151 -x4156 -x4161 -x4166 -x4171 -x4033 -x4038 -x4043 -x4048 -x4053 -x4058 -x4063 -x4068 -x4073
1782.71/1783.22	v -x4078 -x4083 -x4088 -x4093 x4098 -x4103 -x4108 -x4113 -x4118 -x4123 -x4128 -x4133 -x4138 -x4143 -x4148 -x4153 -x4158
1782.71/1783.22	v -x4163 -x4168 -x4173 -x4177 -x4181 -x4185 -x4189 -x4193 -x4197 -x4201 -x4205 -x4209 -x4213 -x4217 -x4221 -x4225 x4229
1782.71/1783.22	v -x4233 -x4237 -x4241 -x4245 -x4249 -x4253 -x4257 -x4261 -x4265 -x4269 -x4273 -x4277 -x4281 -x4174 -x4178 -x4182 -x4186
1782.71/1783.22	v -x4190 -x4194 -x4198 -x4202 -x4206 -x4210 -x4214 -x4218 -x4222 -x4226 -x4230 -x4234 -x4238 -x4242 -x4246 -x4250 -x4254
1782.71/1783.22	v x4258 -x4262 -x4266 -x4270 -x4274 -x4278 -x4282 -x4175 -x4179 -x4183 -x4187 -x4191 -x4195 -x4199 -x4203 -x4207 -x4211
1782.71/1783.22	v -x4215 -x4219 -x4223 -x4227 -x4231 -x4235 -x4239 -x4243 -x4247 -x4251 -x4255 -x4259 -x4263 -x4267 x4271 -x4275 -x4279
1782.71/1783.22	v -x4283 -x4286 -x4289 -x4292 -x4295 -x4298 -x4301 x4304 -x4307 -x4310 -x4313 -x4316 -x4319 -x4322 -x4325 -x4328 -x4331
1782.71/1783.22	v -x4334 -x4337 -x4340 -x4343 -x4346 -x4349 -x4352 -x4355 -x4358 -x4361 -x4364 -x4367 -x4287 -x4290 -x4293 -x4296 -x4299
1782.71/1783.22	v -x4302 -x4305 -x4308 -x4311 -x4314 -x4317 -x4320 x4323 -x4326 -x4329 -x4332 -x4335 -x4338 -x4341 -x4344 -x4347 -x4350
1782.71/1783.22	v -x4353 -x4356 -x4359 -x4362 -x4365 -x4368 -x4285 -x4288 -x4291 -x4294 -x4297 -x4300 -x4303 -x4306 -x4309 -x4312 -x4315
1782.71/1783.22	v -x4318 -x4321 -x4324 -x4327 -x4330 -x4333 x4336 -x4339 -x4342 -x4345 -x4348 -x4351 -x4354 -x4357 -x4360 -x4363 -x4366
1782.71/1783.22	v -x4369 -x4372 -x4375 -x4378 -x4381 -x4384 x4387 -x4390 -x4393 -x4396 -x4399 -x4402 -x4405 -x4408 -x4411 -x4414 -x4417
1782.71/1783.22	v -x4420 -x4423 -x4426 -x4429 -x4432 -x4435 -x4438 -x4441 -x4444 -x4447 -x4450 -x4370 -x4373 -x4376 -x4379 -x4382 -x4385
1782.71/1783.22	v -x4388 -x4391 -x4394 x4397 -x4400 -x4403 -x4406 -x4409 -x4412 -x4415 -x4418 -x4421 -x4424 -x4427 -x4430 -x4433 -x4436
1782.71/1783.22	v -x4439 -x4442 -x4445 -x4448 -x4451 -x4371 -x4374 -x4377 -x4380 -x4383 -x4386 -x4389 -x4392 -x4395 -x4398 -x4401 -x4404
1782.71/1783.22	v -x4407 x4410 -x4413 -x4416 -x4419 -x4422 -x4425 -x4428 -x4431 -x4434 -x4437 -x4440 -x4443 -x4446 -x4449 -x4452 -x4454
1782.71/1783.22	v -x4459 -x4464 -x4469 -x4474 -x4479 -x4484 -x4489 -x4494 -x4499 -x4504 x4509 -x4514 -x4519 -x4524 -x4529 -x4534 -x4539
1782.71/1783.22	v -x4544 -x4549 -x4554 -x4559 -x4564 -x4569 -x4574 -x4579 -x4584 -x4589 -x4456 -x4461 -x4466 -x4471 -x4476 -x4481 -x4486
1782.71/1783.22	v -x4491 -x4496 -x4501 -x4506 -x4511 -x4516 -x4521 -x4526 -x4531 -x4536 -x4541 -x4546 x4551 -x4556 -x4561 -x4566 -x4571
1782.71/1783.22	v -x4576 -x4581 -x4586 -x4591 -x4453 -x4458 -x4463 -x4468 -x4473 -x4478 -x4483 -x4488 -x4493 -x4498 -x4503 -x4508 -x4513
1782.71/1783.22	v -x4518 -x4523 -x4528 -x4533 -x4538 -x4543 -x4548 -x4553 x4558 -x4563 -x4568 -x4573 -x4578 -x4583 -x4588 -x4595 -x4598
1782.71/1783.22	v -x4601 -x4604 -x4607 -x4610 -x4613 -x4616 -x4619 -x4622 -x4625 -x4628 x4631 -x4634 -x4637 -x4640 -x4643 -x4646 -x4649
1782.71/1783.22	v -x4652 -x4655 -x4658 -x4661 -x4664 -x4667 -x4670 -x4673 -x4676 -x4594 -x4597 -x4600 -x4603 -x4606 -x4609 -x4612 -x4615
1782.71/1783.22	v -x4618 -x4621 -x4624 -x4627 -x4630 -x4633 -x4636 x4639 -x4642 -x4645 -x4648 -x4651 -x4654 -x4657 -x4660 -x4663 -x4666
1782.71/1783.22	v -x4669 -x4672 -x4675 -x4593 -x4596 -x4599 -x4602 -x4605 -x4608 -x4611 -x4614 -x4617 -x4620 -x4623 -x4626 -x4629 -x4632
1782.71/1783.22	v -x4635 -x4638 -x4641 x4644 -x4647 -x4650 -x4653 -x4656 -x4659 -x4662 -x4665 -x4668 -x4671 -x4674 -x4679 -x4683 x4687 -x4691
1782.71/1783.22	v -x4695 -x4699 -x4703 -x4707 -x4711 -x4715 -x4719 -x4723 -x4727 -x4731 -x4735 -x4739 -x4743 -x4747 -x4751 -x4755 -x4759
1782.71/1783.22	v -x4763 -x4767 -x4771 -x4775 -x4779 -x4783 -x4787 -x4680 -x4684 -x4688 -x4692 -x4696 -x4700 -x4704 x4708 -x4712 -x4716
1782.71/1783.22	v -x4720 -x4724 -x4728 -x4732 -x4736 -x4740 -x4744 -x4748 -x4752 -x4756 -x4760 -x4764 -x4768 -x4772 -x4776 -x4780 -x4784
1782.71/1783.22	v -x4788 -x4677 -x4681 -x4685 -x4689 -x4693 -x4697 -x4701 -x4705 -x4709 x4713 -x4717 -x4721 -x4725 -x4729 -x4733 -x4737
1782.71/1783.22	v -x4741 -x4745 -x4749 -x4753 -x4757 -x4761 -x4765 -x4769 -x4773 -x4777 -x4781 -x4785 -x4791 -x4795 -x4799 -x4803 -x4807
1782.71/1783.22	v -x4811 -x4815 -x4819 -x4823 -x4827 x4831 -x4835 -x4839 -x4843 -x4847 -x4851 -x4855 -x4859 -x4863 -x4867 -x4871 -x4875
1782.71/1783.22	v -x4879 -x4883 -x4887 -x4891 -x4895 -x4899 -x4792 -x4796 -x4800 -x4804 -x4808 -x4812 -x4816 -x4820 -x4824 -x4828 -x4832
1782.71/1783.22	v -x4836 -x4840 -x4844 -x4848 x4852 -x4856 -x4860 -x4864 -x4868 -x4872 -x4876 -x4880 -x4884 -x4888 -x4892 -x4896 -x4900
1782.71/1783.22	v -x4789 -x4793 -x4797 -x4801 -x4805 -x4809 -x4813 -x4817 -x4821 -x4825 -x4829 -x4833 -x4837 -x4841 -x4845 -x4849 -x4853
1782.71/1783.22	v x4857 -x4861 -x4865 -x4869 -x4873 -x4877 -x4881 -x4885 -x4889 -x4893 -x4897 -x4903 -x4906 -x4909 -x4912 -x4915 -x4918
1782.71/1783.22	v -x4921 -x4924 -x4927 -x4930 -x4933 -x4936 -x4939 -x4942 -x4945 -x4948 -x4951 -x4954 x4957 -x4960 -x4963 -x4966 -x4969
1782.71/1783.22	v -x4972 -x4975 -x4978 -x4981 -x4984 -x4902 -x4905 -x4908 -x4911 -x4914 -x4917 -x4920 -x4923 -x4926 -x4929 -x4932 -x4935
1782.71/1783.22	v -x4938 -x4941 -x4944 -x4947 -x4950 -x4953 -x4956 -x4959 -x4962 -x4965 x4968 -x4971 -x4974 -x4977 -x4980 -x4983 -x4901
1782.71/1783.22	v -x4904 -x4907 -x4910 -x4913 -x4916 -x4919 -x4922 -x4925 -x4928 -x4931 -x4934 -x4937 -x4940 -x4943 -x4946 -x4949 -x4952
1782.71/1783.22	v -x4955 -x4958 -x4961 -x4964 -x4967 -x4970 x4973 -x4976 -x4979 -x4982 -x4985 -x4989 -x4993 -x4997 -x5001 -x5005 x5009 -x5013
1782.71/1783.22	v -x5017 -x5021 -x5025 -x5029 -x5033 -x5037 -x5041 -x5045 -x5049 -x5053 -x5057 -x5061 -x5065 -x5069 -x5073 -x5077 -x5081
1782.71/1783.22	v -x5085 -x5089 -x5093 -x4987 -x4991 -x4995 -x4999 -x5003 -x5007 -x5011 -x5015 -x5019 -x5023 x5027 -x5031 -x5035 -x5039
1782.71/1783.22	v -x5043 -x5047 -x5051 -x5055 -x5059 -x5063 -x5067 -x5071 -x5075 -x5079 -x5083 -x5087 -x5091 -x5095 -x4986 -x4990 -x4994
1782.71/1783.22	v -x4998 -x5002 -x5006 -x5010 -x5014 -x5018 -x5022 -x5026 -x5030 -x5034 -x5038 -x5042 x5046 -x5050 -x5054 -x5058 -x5062
1782.71/1783.22	v -x5066 -x5070 -x5074 -x5078 -x5082 -x5086 -x5090 -x5094 -x5097 -x5101 -x5105 -x5109 -x5113 -x5117 -x5121 x5125 -x5129
1782.71/1783.22	v -x5133 -x5137 -x5141 -x5145 -x5149 -x5153 -x5157 -x5161 -x5165 -x5169 -x5173 -x5177 -x5181 -x5185 -x5189 -x5193 -x5197
1782.71/1783.22	v -x5201 -x5205 -x5099 -x5103 -x5107 -x5111 -x5115 -x5119 -x5123 -x5127 -x5131 -x5135 -x5139 -x5143 x5147 -x5151 -x5155
1782.71/1783.22	v -x5159 -x5163 -x5167 -x5171 -x5175 -x5179 -x5183 -x5187 -x5191 -x5195 -x5199 -x5203 -x5207 -x5098 -x5102 -x5106 -x5110
1782.71/1783.22	v -x5114 -x5118 -x5122 -x5126 -x5130 -x5134 -x5138 -x5142 -x5146 -x5150 -x5154 x5158 -x5162 -x5166 -x5170 -x5174 -x5178
1782.71/1783.22	v -x5182 -x5186 -x5190 -x5194 -x5198 -x5202 -x5206 -x5209 -x5213 -x5217 -x5221 -x5225 -x5229 x5233 -x5237 -x5241 -x5245
1782.71/1783.22	v -x5249 -x5253 -x5257 -x5261 -x5265 -x5269 -x5273 -x5277 -x5281 -x5285 -x5289 -x5293 -x5297 -x5301 -x5305 -x5309 -x5313
1782.71/1783.22	v -x5317 -x5210 -x5214 -x5218 -x5222 -x5226 -x5230 -x5234 -x5238 -x5242 -x5246 -x5250 x5254 -x5258 -x5262 -x5266 -x5270
1782.71/1783.22	v -x5274 -x5278 -x5282 -x5286 -x5290 -x5294 -x5298 -x5302 -x5306 -x5310 -x5314 -x5318 -x5211 -x5215 -x5219 -x5223 -x5227
1782.71/1783.22	v -x5231 -x5235 -x5239 -x5243 -x5247 -x5251 -x5255 -x5259 -x5263 x5267 -x5271 -x5275 -x5279 -x5283 -x5287 -x5291 -x5295
1782.71/1783.22	v -x5299 -x5303 -x5307 -x5311 -x5315 -x5319 -x5321 -x5325 -x5329 -x5333 -x5337 -x5341 -x5345 -x5349 -x5353 -x5357 -x5361
1782.71/1783.22	v -x5365 -x5369 -x5373 x5377 -x5381 -x5385 -x5389 -x5393 -x5397 -x5401 -x5405 -x5409 -x5413 -x5417 -x5421 -x5425 -x5429
1782.71/1783.22	v -x5322 -x5326 -x5330 -x5334 -x5338 -x5342 -x5346 -x5350 -x5354 -x5358 -x5362 -x5366 -x5370 -x5374 -x5378 -x5382 -x5386
1782.71/1783.22	v -x5390 -x5394 x5398 -x5402 -x5406 -x5410 -x5414 -x5418 -x5422 -x5426 -x5430 -x5323 -x5327 -x5331 -x5335 -x5339 -x5343
1782.71/1783.22	v -x5347 -x5351 -x5355 -x5359 -x5363 -x5367 -x5371 -x5375 -x5379 -x5383 -x5387 -x5391 -x5395 -x5399 -x5403 -x5407 x5411
1782.71/1783.22	v -x5415 -x5419 -x5423 -x5427 -x5431 -x5434 -x5437 -x5440 -x5443 -x5446 -x5449 -x5452 -x5455 -x5458 -x5461 -x5464 -x5467
1782.71/1783.22	v -x5470 -x5473 -x5476 -x5479 x5482 -x5485 -x5488 -x5491 -x5494 -x5497 -x5500 -x5503 -x5506 -x5509 -x5512 -x5515 -x5435
1782.71/1783.22	v -x5438 -x5441 -x5444 -x5447 -x5450 -x5453 -x5456 -x5459 -x5462 -x5465 -x5468 -x5471 -x5474 -x5477 -x5480 -x5483 -x5486
1782.71/1783.22	v -x5489 -x5492 x5495 -x5498 -x5501 -x5504 -x5507 -x5510 -x5513 -x5516 -x5433 -x5436 -x5439 -x5442 -x5445 -x5448 -x5451
1782.71/1783.22	v -x5454 -x5457 -x5460 -x5463 -x5466 -x5469 -x5472 -x5475 -x5478 -x5481 -x5484 -x5487 -x5490 -x5493 -x5496 -x5499 -x5502
1782.71/1783.22	v x5505 -x5508 -x5511 -x5514 -x5517 -x5520 -x5523 -x5526 -x5529 -x5532 x5535 -x5538 -x5541 -x5544 -x5547 -x5550 -x5553 -x5556
1782.71/1783.22	v -x5559 -x5562 -x5565 -x5568 -x5571 -x5574 -x5577 -x5580 -x5583 -x5586 -x5589 -x5592 -x5595 -x5598 -x5518 -x5521 -x5524
1782.71/1783.22	v -x5527 -x5530 -x5533 -x5536 -x5539 x5542 -x5545 -x5548 -x5551 -x5554 -x5557 -x5560 -x5563 -x5566 -x5569 -x5572 -x5575
1782.71/1783.22	v -x5578 -x5581 -x5584 -x5587 -x5590 -x5593 -x5596 -x5599 -x5519 -x5522 -x5525 -x5528 -x5531 -x5534 -x5537 -x5540 -x5543
1782.71/1783.22	v -x5546 -x5549 x5552 -x5555 -x5558 -x5561 -x5564 -x5567 -x5570 -x5573 -x5576 -x5579 -x5582 -x5585 -x5588 -x5591 -x5594
1782.71/1783.22	v -x5597 -x5600 -x5601 -x5605 -x5609 -x5613 -x5617 -x5621 -x5625 -x5629 -x5633 -x5637 -x5641 -x5645 -x5649 x5653 -x5657
1782.71/1783.22	v -x5661 -x5665 -x5669 -x5673 -x5677 -x5681 -x5685 -x5689 -x5693 -x5697 -x5701 -x5705 -x5709 -x5602 -x5606 -x5610 -x5614
1782.71/1783.22	v -x5618 -x5622 -x5626 -x5630 -x5634 -x5638 -x5642 -x5646 -x5650 -x5654 -x5658 -x5662 -x5666 -x5670 x5674 -x5678 -x5682
1782.71/1783.22	v -x5686 -x5690 -x5694 -x5698 -x5702 -x5706 -x5710 -x5603 -x5607 -x5611 -x5615 -x5619 -x5623 -x5627 -x5631 -x5635 -x5639
1782.71/1783.22	v -x5643 -x5647 -x5651 -x5655 -x5659 -x5663 -x5667 -x5671 -x5675 -x5679 x5683 -x5687 -x5691 -x5695 -x5699 -x5703 -x5707
1782.71/1783.22	v -x5711 -x5713 -x5716 -x5719 -x5722 -x5725 -x5728 -x5731 -x5734 -x5737 -x5740 -x5743 -x5746 -x5749 x5752 -x5755 -x5758
1782.71/1783.22	v -x5761 -x5764 -x5767 -x5770 -x5773 -x5776 -x5779 -x5782 -x5785 -x5788 -x5791 -x5794 -x5714 -x5717 -x5720 -x5723 -x5726
1782.71/1783.22	v -x5729 -x5732 -x5735 -x5738 -x5741 -x5744 -x5747 -x5750 -x5753 -x5756 -x5759 x5762 -x5765 -x5768 -x5771 -x5774 -x5777
1782.71/1783.22	v -x5780 -x5783 -x5786 -x5789 -x5792 -x5795 -x5715 -x5718 -x5721 -x5724 -x5727 -x5730 -x5733 -x5736 -x5739 -x5742 -x5745
1782.71/1783.22	v -x5748 -x5751 -x5754 -x5757 -x5760 -x5763 -x5766 -x5769 -x5772 x5775 -x5778 -x5781 -x5784 -x5787 -x5790 -x5793 -x5796
1782.71/1783.22	v -x5798 -x5802 -x5806 -x5810 -x5814 -x5818 -x5822 x5826 -x5830 -x5834 -x5838 -x5842 -x5846 -x5850 -x5854 -x5858 -x5862
1782.71/1783.22	v -x5866 -x5870 -x5874 -x5878 -x5882 -x5886 -x5890 -x5894 -x5898 -x5902 -x5906 -x5800 -x5804 -x5808 -x5812 -x5816 -x5820
1782.71/1783.22	v -x5824 -x5828 -x5832 -x5836 -x5840 -x5844 x5848 -x5852 -x5856 -x5860 -x5864 -x5868 -x5872 -x5876 -x5880 -x5884 -x5888
1782.71/1783.22	v -x5892 -x5896 -x5900 -x5904 -x5908 -x5797 -x5801 -x5805 -x5809 -x5813 -x5817 -x5821 -x5825 -x5829 -x5833 -x5837 -x5841
1782.71/1783.22	v -x5845 -x5849 -x5853 x5857 -x5861 -x5865 -x5869 -x5873 -x5877 -x5881 -x5885 -x5889 -x5893 -x5897 -x5901 -x5905 -x5909
1782.71/1783.22	v -x5913 -x5917 -x5921 -x5925 -x5929 x5933 -x5937 -x5941 -x5945 -x5949 -x5953 -x5957 -x5961 -x5965 -x5969 -x5973 -x5977
1782.71/1783.22	v -x5981 -x5985 -x5989 -x5993 -x5997 -x6001 -x6005 -x6009 -x6013 -x6017 -x5910 -x5914 -x5918 -x5922 -x5926 -x5930 -x5934
1782.71/1783.22	v -x5938 -x5942 -x5946 -x5950 x5954 -x5958 -x5962 -x5966 -x5970 -x5974 -x5978 -x5982 -x5986 -x5990 -x5994 -x5998 -x6002
1782.71/1783.22	v -x6006 -x6010 -x6014 -x6018 -x5911 -x5915 -x5919 -x5923 -x5927 -x5931 -x5935 -x5939 -x5943 -x5947 -x5951 -x5955 -x5959
1782.71/1783.22	v -x5963 x5967 -x5971 -x5975 -x5979 -x5983 -x5987 -x5991 -x5995 -x5999 -x6003 -x6007 -x6011 -x6015 -x6019 -x6021 -x6025
1782.71/1783.22	v -x6029 -x6033 -x6037 -x6041 -x6045 -x6049 -x6053 -x6057 -x6061 -x6065 -x6069 x6073 -x6077 -x6081 -x6085 -x6089 -x6093
1782.71/1783.22	v -x6097 -x6101 -x6105 -x6109 -x6113 -x6117 -x6121 -x6125 -x6129 -x6022 -x6026 -x6030 -x6034 -x6038 -x6042 -x6046 -x6050
1782.71/1783.22	v -x6054 -x6058 -x6062 -x6066 -x6070 -x6074 -x6078 -x6082 -x6086 -x6090 x6094 -x6098 -x6102 -x6106 -x6110 -x6114 -x6118
1782.71/1783.22	v -x6122 -x6126 -x6130 -x6023 -x6027 -x6031 -x6035 -x6039 -x6043 -x6047 -x6051 -x6055 -x6059 -x6063 -x6067 -x6071 -x6075
1782.71/1783.22	v -x6079 -x6083 -x6087 -x6091 -x6095 -x6099 -x6103 -x6107 x6111 -x6115 -x6119 -x6123 -x6127 -x6131 -x6135 -x6138 -x6141
1782.71/1783.22	v -x6144 -x6147 -x6150 -x6153 -x6156 x6159 -x6162 -x6165 -x6168 -x6171 -x6174 -x6177 -x6180 -x6183 -x6186 -x6189 -x6192
1782.71/1783.22	v -x6195 -x6198 -x6201 -x6204 -x6207 -x6210 -x6213 -x6216 -x6134 -x6137 -x6140 -x6143 -x6146 -x6149 -x6152 -x6155 -x6158
1782.71/1783.22	v -x6161 -x6164 x6167 -x6170 -x6173 -x6176 -x6179 -x6182 -x6185 -x6188 -x6191 -x6194 -x6197 -x6200 -x6203 -x6206 -x6209
1782.71/1783.22	v -x6212 -x6215 -x6133 -x6136 -x6139 -x6142 -x6145 -x6148 -x6151 -x6154 -x6157 -x6160 -x6163 -x6166 -x6169 -x6172 -x6175
1782.71/1783.22	v -x6178 x6181 -x6184 -x6187 -x6190 -x6193 -x6196 -x6199 -x6202 -x6205 -x6208 -x6211 -x6214 -x6218 -x6221 -x6224 -x6227
1782.71/1783.22	v -x6230 x6233 -x6236 -x6239 -x6242 -x6245 -x6248 -x6251 -x6254 -x6257 -x6260 -x6263 -x6266 -x6269 -x6272 -x6275 -x6278
1782.71/1783.22	v -x6281 -x6284 -x6287 -x6290 -x6293 -x6296 -x6299 -x6219 -x6222 -x6225 -x6228 -x6231 -x6234 -x6237 x6240 -x6243 -x6246
1782.71/1783.22	v -x6249 -x6252 -x6255 -x6258 -x6261 -x6264 -x6267 -x6270 -x6273 -x6276 -x6279 -x6282 -x6285 -x6288 -x6291 -x6294 -x6297
1782.71/1783.22	v -x6300 -x6217 -x6220 -x6223 -x6226 -x6229 -x6232 -x6235 -x6238 -x6241 -x6244 x6247 -x6250 -x6253 -x6256 -x6259 -x6262
1782.71/1783.22	v -x6265 -x6268 -x6271 -x6274 -x6277 -x6280 -x6283 -x6286 -x6289 -x6292 -x6295 -x6298 -x6302 -x6305 -x6308 x6311 -x6314
1782.71/1783.22	v -x6317 -x6320 -x6323 -x6326 -x6329 -x6332 -x6335 -x6338 -x6341 -x6344 -x6347 -x6350 -x6353 -x6356 -x6359 -x6362 -x6365
1782.71/1783.22	v -x6368 -x6371 -x6374 -x6377 -x6380 -x6383 -x6303 -x6306 -x6309 -x6312 -x6315 x6318 -x6321 -x6324 -x6327 -x6330 -x6333
1782.71/1783.22	v -x6336 -x6339 -x6342 -x6345 -x6348 -x6351 -x6354 -x6357 -x6360 -x6363 -x6366 -x6369 -x6372 -x6375 -x6378 -x6381 -x6384
1782.71/1783.22	v -x6301 -x6304 -x6307 -x6310 -x6313 -x6316 -x6319 -x6322 -x6325 -x6328 -x6331 x6334 -x6337 -x6340 -x6343 -x6346 -x6349
1782.71/1783.22	v -x6352 -x6355 -x6358 -x6361 -x6364 -x6367 -x6370 -x6373 -x6376 -x6379 -x6382 -x6385 -x6388 -x6391 -x6394 -x6397 -x6400
1782.71/1783.22	v -x6403 -x6406 -x6409 -x6412 -x6415 -x6418 -x6421 -x6424 -x6427 -x6430 -x6433 -x6436 -x6439 -x6442 -x6445 x6448 -x6451
1782.71/1783.22	v -x6454 -x6457 -x6460 -x6463 -x6466 -x6387 -x6390 -x6393 -x6396 -x6399 -x6402 -x6405 -x6408 -x6411 -x6414 -x6417 -x6420
1782.71/1783.22	v -x6423 -x6426 -x6429 -x6432 -x6435 -x6438 -x6441 -x6444 -x6447 -x6450 -x6453 x6456 -x6459 -x6462 -x6465 -x6468 -x6386
1782.71/1783.22	v -x6389 -x6392 -x6395 -x6398 -x6401 -x6404 -x6407 -x6410 -x6413 -x6416 -x6419 -x6422 -x6425 -x6428 -x6431 -x6434 -x6437
1782.71/1783.22	v -x6440 -x6443 -x6446 -x6449 -x6452 -x6455 -x6458 x6461 -x6464 -x6467 -x6469 -x6472 -x6475 -x6478 -x6481 -x6484 -x6487
1782.71/1783.22	v -x6490 -x6493 -x6496 -x6499 -x6502 -x6505 x6508 -x6511 -x6514 -x6517 -x6520 -x6523 -x6526 -x6529 -x6532 -x6535 -x6538
1782.71/1783.22	v -x6541 -x6544 -x6547 -x6550 -x6470 -x6473 -x6476 -x6479 -x6482 -x6485 -x6488 -x6491 -x6494 -x6497 -x6500 -x6503 -x6506
1782.71/1783.22	v -x6509 -x6512 x6515 -x6518 -x6521 -x6524 -x6527 -x6530 -x6533 -x6536 -x6539 -x6542 -x6545 -x6548 -x6551 -x6471 -x6474
1782.71/1783.22	v -x6477 -x6480 -x6483 -x6486 -x6489 -x6492 -x6495 -x6498 -x6501 -x6504 -x6507 -x6510 -x6513 -x6516 -x6519 -x6522 x6525
1782.71/1783.22	v -x6528 -x6531 -x6534 -x6537 -x6540 -x6543 -x6546 -x6549 -x6552 -x6554 -x6557 -x6560 -x6563 -x6566 -x6569 -x6572 -x6575
1782.71/1783.22	v -x6578 -x6581 -x6584 -x6587 -x6590 -x6593 -x6596 -x6599 -x6602 -x6605 -x6608 x6611 -x6614 -x6617 -x6620 -x6623 -x6626
1782.71/1783.22	v -x6629 -x6632 -x6635 -x6555 -x6558 -x6561 -x6564 -x6567 -x6570 -x6573 -x6576 -x6579 -x6582 -x6585 -x6588 -x6591 -x6594
1782.71/1783.22	v -x6597 -x6600 -x6603 -x6606 -x6609 -x6612 -x6615 x6618 -x6621 -x6624 -x6627 -x6630 -x6633 -x6636 -x6553 -x6556 -x6559
1782.71/1783.22	v -x6562 -x6565 -x6568 -x6571 -x6574 -x6577 -x6580 -x6583 -x6586 -x6589 -x6592 -x6595 -x6598 -x6601 -x6604 -x6607 -x6610
1782.71/1783.22	v -x6613 -x6616 x6619 -x6622 -x6625 -x6628 -x6631 -x6634 -x6638 -x6641 -x6644 -x6647 -x6650 x6653 -x6656 -x6659 -x6662 -x6665
1782.71/1783.22	v -x6668 -x6671 -x6674 -x6677 -x6680 -x6683 -x6686 -x6689 -x6692 -x6695 -x6698 -x6701 -x6704 -x6707 -x6710 -x6713 -x6716
1782.71/1783.22	v -x6719 -x6639 -x6642 -x6645 -x6648 -x6651 -x6654 -x6657 x6660 -x6663 -x6666 -x6669 -x6672 -x6675 -x6678 -x6681 -x6684
1782.71/1783.22	v -x6687 -x6690 -x6693 -x6696 -x6699 -x6702 -x6705 -x6708 -x6711 -x6714 -x6717 -x6720 -x6637 -x6640 -x6643 -x6646 -x6649
1782.71/1783.22	v -x6652 -x6655 -x6658 -x6661 x6664 -x6667 -x6670 -x6673 -x6676 -x6679 -x6682 -x6685 -x6688 -x6691 -x6694 -x6697 -x6700
1782.71/1783.22	v -x6703 -x6706 -x6709 -x6712 -x6715 -x6718 -x6722 -x6725 -x6728 -x6731 -x6734 -x6737 -x6740 -x6743 -x6746 -x6749 -x6752
1782.71/1783.22	v -x6755 x6758 -x6761 -x6764 -x6767 -x6770 -x6773 -x6776 -x6779 -x6782 -x6785 -x6788 -x6791 -x6794 -x6797 -x6800 -x6803
1782.71/1783.22	v -x6723 -x6726 -x6729 -x6732 -x6735 -x6738 -x6741 -x6744 -x6747 -x6750 -x6753 -x6756 -x6759 -x6762 x6765 -x6768 -x6771
1782.71/1783.22	v -x6774 -x6777 -x6780 -x6783 -x6786 -x6789 -x6792 -x6795 -x6798 -x6801 -x6804 -x6721 -x6724 -x6727 -x6730 -x6733 -x6736
1782.71/1783.22	v -x6739 -x6742 -x6745 -x6748 -x6751 -x6754 -x6757 -x6760 -x6763 -x6766 x6769 -x6772 -x6775 -x6778 -x6781 -x6784 -x6787
1782.71/1783.22	v -x6790 -x6793 -x6796 -x6799 -x6802 -x6806 -x6809 -x6812 -x6815 -x6818 -x6821 -x6824 -x6827 -x6830 -x6833 -x6836 -x6839
1782.71/1783.22	v -x6842 -x6845 -x6848 -x6851 -x6854 x6857 -x6860 -x6863 -x6866 -x6869 -x6872 -x6875 -x6878 -x6881 -x6884 -x6887 -x6807
1782.71/1783.22	v -x6810 -x6813 -x6816 -x6819 -x6822 -x6825 -x6828 -x6831 -x6834 -x6837 -x6840 -x6843 -x6846 -x6849 -x6852 -x6855 -x6858
1782.71/1783.22	v -x6861 x6864 -x6867 -x6870 -x6873 -x6876 -x6879 -x6882 -x6885 -x6888 -x6805 -x6808 -x6811 -x6814 -x6817 -x6820 -x6823
1782.71/1783.22	v -x6826 -x6829 -x6832 -x6835 -x6838 -x6841 -x6844 -x6847 -x6850 -x6853 -x6856 -x6859 -x6862 -x6865 -x6868 -x6871 -x6874
1782.71/1783.22	v -x6877 -x6880 x6883 -x6886 -x6890 -x6893 -x6896 -x6899 -x6902 -x6905 -x6908 -x6911 -x6914 -x6917 x6920 -x6923 -x6926 -x6929
1782.71/1783.22	v -x6932 -x6935 -x6938 -x6941 -x6944 -x6947 -x6950 -x6953 -x6956 -x6959 -x6962 -x6965 -x6968 -x6971 -x6891 -x6894 -x6897
1782.71/1783.22	v -x6900 -x6903 -x6906 -x6909 -x6912 -x6915 -x6918 -x6921 -x6924 -x6927 -x6930 x6933 -x6936 -x6939 -x6942 -x6945 -x6948
1782.71/1783.22	v -x6951 -x6954 -x6957 -x6960 -x6963 -x6966 -x6969 -x6972 -x6889 -x6892 -x6895 -x6898 -x6901 -x6904 -x6907 -x6910 -x6913
1782.71/1783.22	v -x6916 -x6919 -x6922 -x6925 -x6928 -x6931 -x6934 -x6937 -x6940 -x6943 -x6946 x6949 -x6952 -x6955 -x6958 -x6961 -x6964
1782.71/1783.22	v -x6967 -x6970 -x6973 -x6976 -x6979 -x6982 -x6985 -x6988 -x6991 -x6994 -x6997 -x7000 -x7003 -x7006 -x7009 -x7012 -x7015
1782.71/1783.22	v -x7018 -x7021 -x7024 -x7027 -x7030 x7033 -x7036 -x7039 -x7042 -x7045 -x7048 -x7051 -x7054 -x6975 -x6978 -x6981 -x6984
1782.71/1783.22	v -x6987 -x6990 -x6993 -x6996 -x6999 -x7002 -x7005 -x7008 -x7011 -x7014 -x7017 -x7020 -x7023 -x7026 -x7029 -x7032 -x7035
1782.71/1783.22	v -x7038 x7041 -x7044 -x7047 -x7050 -x7053 -x7056 -x6974 -x6977 -x6980 -x6983 -x6986 -x6989 -x6992 -x6995 -x6998 -x7001
1782.71/1783.22	v -x7004 -x7007 -x7010 -x7013 -x7016 -x7019 -x7022 -x7025 -x7028 -x7031 -x7034 -x7037 -x7040 x7043 -x7046 -x7049 -x7052
1782.71/1783.22	v -x7055 -x7057 -x7060 -x7063 -x7066 -x7069 -x7072 -x7075 -x7078 -x7081 -x7084 -x7087 -x7090 -x7093 x7096 -x7099 -x7102
1782.71/1783.22	v -x7105 -x7108 -x7111 -x7114 -x7117 -x7120 -x7123 -x7126 -x7129 -x7132 -x7135 -x7138 -x7059 -x7062 -x7065 -x7068 -x7071
1782.71/1783.22	v -x7074 -x7077 -x7080 -x7083 -x7086 -x7089 -x7092 -x7095 -x7098 -x7101 x7104 -x7107 -x7110 -x7113 -x7116 -x7119 -x7122
1782.71/1783.22	v -x7125 -x7128 -x7131 -x7134 -x7137 -x7140 -x7058 -x7061 -x7064 -x7067 -x7070 -x7073 -x7076 -x7079 -x7082 -x7085 -x7088
1782.71/1783.22	v -x7091 -x7094 -x7097 -x7100 -x7103 -x7106 -x7109 x7112 -x7115 -x7118 -x7121 -x7124 -x7127 -x7130 -x7133 -x7136 -x7139
1782.71/1783.22	v -x7141 -x7144 -x7147 -x7150 -x7153 -x7156 x7159 -x7162 -x7165 -x7168 -x7171 -x7174 -x7177 -x7180 -x7183 -x7186 -x7189
1782.71/1783.22	v -x7192 -x7195 -x7198 -x7201 -x7204 -x7207 -x7210 -x7213 -x7216 -x7219 -x7222 -x7143 -x7146 -x7149 -x7152 -x7155 -x7158
1782.71/1783.22	v -x7161 -x7164 x7167 -x7170 -x7173 -x7176 -x7179 -x7182 -x7185 -x7188 -x7191 -x7194 -x7197 -x7200 -x7203 -x7206 -x7209
1782.71/1783.22	v -x7212 -x7215 -x7218 -x7221 -x7224 -x7142 -x7145 -x7148 -x7151 -x7154 -x7157 -x7160 -x7163 -x7166 x7169 -x7172 -x7175
1782.71/1783.22	v -x7178 -x7181 -x7184 -x7187 -x7190 -x7193 -x7196 -x7199 -x7202 -x7205 -x7208 -x7211 -x7214 -x7217 -x7220 -x7223 -x7225
1782.71/1783.22	v x7228 -x7231 -x7234 -x7237 -x7240 -x7243 -x7246 -x7249 -x7252 -x7255 -x7258 -x7261 -x7264 -x7267 -x7270 -x7273 -x7276
1782.71/1783.22	v -x7279 -x7282 -x7285 -x7288 -x7291 -x7294 -x7297 -x7300 -x7303 -x7306 -x7227 -x7230 -x7233 -x7236 -x7239 -x7242 x7245
1782.71/1783.22	v -x7248 -x7251 -x7254 -x7257 -x7260 -x7263 -x7266 -x7269 -x7272 -x7275 -x7278 -x7281 -x7284 -x7287 -x7290 -x7293 -x7296
1782.71/1783.22	v -x7299 -x7302 -x7305 -x7308 -x7226 -x7229 -x7232 -x7235 -x7238 -x7241 -x7244 -x7247 -x7250 x7253 -x7256 -x7259 -x7262
1782.71/1783.22	v -x7265 -x7268 -x7271 -x7274 -x7277 -x7280 -x7283 -x7286 -x7289 -x7292 -x7295 -x7298 -x7301 -x7304 -x7307 -x7310 -x7313
1782.71/1783.22	v -x7316 -x7319 -x7322 -x7325 -x7328 -x7331 x7334 -x7337 -x7340 -x7343 -x7346 -x7349 -x7352 -x7355 -x7358 -x7361 -x7364
1782.71/1783.22	v -x7367 -x7370 -x7373 -x7376 -x7379 -x7382 -x7385 -x7388 -x7391 -x7311 -x7314 -x7317 -x7320 -x7323 -x7326 -x7329 -x7332
1782.71/1783.22	v -x7335 -x7338 x7341 -x7344 -x7347 -x7350 -x7353 -x7356 -x7359 -x7362 -x7365 -x7368 -x7371 -x7374 -x7377 -x7380 -x7383
1782.71/1783.22	v -x7386 -x7389 -x7392 -x7309 -x7312 -x7315 -x7318 -x7321 -x7324 -x7327 -x7330 -x7333 -x7336 -x7339 -x7342 -x7345 -x7348
1782.71/1783.22	v -x7351 x7354 -x7357 -x7360 -x7363 -x7366 -x7369 -x7372 -x7375 -x7378 -x7381 -x7384 -x7387 -x7390 -x7395 -x7398 -x7401
1782.71/1783.22	v -x7404 x7407 -x7410 -x7413 -x7416 -x7419 -x7422 -x7425 -x7428 -x7431 -x7434 -x7437 -x7440 -x7443 -x7446 -x7449 -x7452
1782.71/1783.22	v -x7455 -x7458 -x7461 -x7464 -x7467 -x7470 -x7473 -x7476 -x7394 -x7397 -x7400 -x7403 -x7406 -x7409 -x7412 x7415 -x7418
1782.71/1783.22	v -x7421 -x7424 -x7427 -x7430 -x7433 -x7436 -x7439 -x7442 -x7445 -x7448 -x7451 -x7454 -x7457 -x7460 -x7463 -x7466 -x7469
1782.71/1783.22	v -x7472 -x7475 -x7393 -x7396 -x7399 -x7402 -x7405 -x7408 -x7411 -x7414 -x7417 x7420 -x7423 -x7426 -x7429 -x7432 -x7435
1782.71/1783.22	v -x7438 -x7441 -x7444 -x7447 -x7450 -x7453 -x7456 -x7459 -x7462 -x7465 -x7468 -x7471 -x7474 -x7477 -x7479 -x7481 -x7483
1782.71/1783.22	v -x7485 -x7487 -x7489 -x7491 -x7493 -x7495 -x7497 -x7499 -x7501 -x7503 -x7505 -x7507 -x7509 -x7511 x7513 -x7515 -x7517
1782.71/1783.22	v -x7519 -x7521 -x7523 -x7525 -x7527 -x7529 -x7531 -x7478 -x7480 -x7482 -x7484 -x7486 -x7488 -x7490 -x7492 -x7494 -x7496
1782.71/1783.22	v -x7498 -x7500 -x7502 -x7504 -x7506 -x7508 -x7510 -x7512 -x7514 -x7516 -x7518 x7520 -x7522 -x7524 -x7526 -x7528 -x7530
1782.71/1783.22	v -x7532 -x7535 -x7538 -x7541 -x7544 -x7547 x7550 -x7553 -x7556 -x7559 -x7562 -x7565 -x7568 -x7571 -x7574 -x7577 -x7580
1782.71/1783.22	v -x7583 -x7586 -x7589 -x7592 -x7595 -x7598 -x7601 -x7604 -x7607 -x7610 -x7613 -x7616 -x7534 -x7537 -x7540 -x7543 -x7546
1782.71/1783.22	v -x7549 -x7552 x7555 -x7558 -x7561 -x7564 -x7567 -x7570 -x7573 -x7576 -x7579 -x7582 -x7585 -x7588 -x7591 -x7594 -x7597
1782.71/1783.22	v -x7600 -x7603 -x7606 -x7609 -x7612 -x7615 -x7533 -x7536 -x7539 -x7542 -x7545 -x7548 -x7551 -x7554 -x7557 x7560 -x7563
1782.71/1783.22	v -x7566 -x7569 -x7572 -x7575 -x7578 -x7581 -x7584 -x7587 -x7590 -x7593 -x7596 -x7599 -x7602 -x7605 -x7608 -x7611 -x7614
1782.71/1783.22	v -x7617 -x7619 -x7621 -x7623 -x7625 -x7627 -x7629 -x7631 -x7633 -x7635 -x7637 -x7639 x7641 -x7643 -x7645 -x7647 -x7649
1782.71/1783.22	v -x7651 -x7653 -x7655 -x7657 -x7659 -x7661 -x7663 -x7665 -x7667 -x7669 -x7671 -x7618 -x7620 -x7622 -x7624 -x7626 -x7628
1782.71/1783.22	v -x7630 -x7632 -x7634 -x7636 -x7638 -x7640 -x7642 -x7644 -x7646 x7648 -x7650 -x7652 -x7654 -x7656 -x7658 -x7660 -x7662
1782.71/1783.22	v -x7664 -x7666 -x7668 -x7670 -x7672 -x7675 -x7678 -x7681 -x7684 -x7687 -x7690 -x7693 -x7696 x7699 -x7702 -x7705 -x7708
1782.71/1783.22	v -x7711 -x7714 -x7717 -x7720 -x7723 -x7726 -x7729 -x7732 -x7735 -x7738 -x7741 -x7744 -x7747 -x7750 -x7753 -x7756 -x7674
1782.71/1783.22	v -x7677 -x7680 -x7683 -x7686 -x7689 -x7692 -x7695 -x7698 -x7701 x7704 -x7707 -x7710 -x7713 -x7716 -x7719 -x7722 -x7725
1782.71/1783.22	v -x7728 -x7731 -x7734 -x7737 -x7740 -x7743 -x7746 -x7749 -x7752 -x7755 -x7673 -x7676 -x7679 -x7682 -x7685 -x7688 -x7691
1782.71/1783.22	v -x7694 -x7697 -x7700 -x7703 -x7706 -x7709 x7712 -x7715 -x7718 -x7721 -x7724 -x7727 -x7730 -x7733 -x7736 -x7739 -x7742
1782.71/1783.22	v -x7745 -x7748 -x7751 -x7754 -x7758 -x7762 x7766 -x7770 -x7774 -x7778 -x7782 -x7786 -x7790 -x7794 -x7798 -x7802 -x7806
1782.71/1783.22	v -x7810 -x7814 -x7818 -x7822 -x7826 -x7830 -x7834 -x7838 -x7842 -x7846 -x7850 -x7854 -x7858 -x7862 -x7866 -x7760 -x7764
1782.71/1783.22	v -x7768 -x7772 -x7776 -x7780 -x7784 x7788 -x7792 -x7796 -x7800 -x7804 -x7808 -x7812 -x7816 -x7820 -x7824 -x7828 -x7832
1782.71/1783.22	v -x7836 -x7840 -x7844 -x7848 -x7852 -x7856 -x7860 -x7864 -x7868 -x7757 -x7761 -x7765 -x7769 -x7773 -x7777 -x7781 -x7785
1782.71/1783.22	v -x7789 x7793 -x7797 -x7801 -x7805 -x7809 -x7813 -x7817 -x7821 -x7825 -x7829 -x7833 -x7837 -x7841 -x7845 -x7849 -x7853
1782.71/1783.22	v -x7857 -x7861 -x7865 -x7869 -x7873 -x7877 -x7881 -x7885 -x7889 -x7893 -x7897 -x7901 -x7905 -x7909 x7913 -x7917 -x7921
1782.71/1783.22	v -x7925 -x7929 -x7933 -x7937 -x7941 -x7945 -x7949 -x7953 -x7957 -x7961 -x7965 -x7969 -x7973 -x7977 -x7870 -x7874 -x7878
1782.71/1783.22	v -x7882 -x7886 -x7890 -x7894 -x7898 -x7902 -x7906 -x7910 -x7914 -x7918 -x7922 -x7926 -x7930 x7934 -x7938 -x7942 -x7946
1782.71/1783.22	v -x7950 -x7954 -x7958 -x7962 -x7966 -x7970 -x7974 -x7978 -x7871 -x7875 -x7879 -x7883 -x7887 -x7891 -x7895 -x7899 -x7903
1782.71/1783.22	v -x7907 -x7911 -x7915 -x7919 -x7923 -x7927 -x7931 -x7935 -x7939 x7943 -x7947 -x7951 -x7955 -x7959 -x7963 -x7967 -x7971
1782.71/1783.22	v -x7975 -x7979 -x7982 -x7986 -x7990 -x7994 -x7998 -x8002 -x8006 -x8010 -x8014 -x8018 -x8022 -x8026 -x8030 -x8034 x8038
1782.71/1783.22	v -x8042 -x8046 -x8050 -x8054 -x8058 -x8062 -x8066 -x8070 -x8074 -x8078 -x8082 -x8086 -x8090 -x7984 -x7988 -x7992 -x7996
1782.71/1783.22	v -x8000 -x8004 -x8008 -x8012 -x8016 -x8020 -x8024 -x8028 -x8032 -x8036 -x8040 -x8044 -x8048 -x8052 -x8056 x8060 -x8064
1782.71/1783.22	v -x8068 -x8072 -x8076 -x8080 -x8084 -x8088 -x8092 -x7981 -x7985 -x7989 -x7993 -x7997 -x8001 -x8005 -x8009 -x8013 -x8017
1782.71/1783.22	v -x8021 -x8025 -x8029 -x8033 -x8037 -x8041 -x8045 -x8049 -x8053 -x8057 -x8061 x8065 -x8069 -x8073 -x8077 -x8081 -x8085
1782.71/1783.22	v -x8089 -x8093 -x8097 -x8101 -x8105 -x8109 x8113 -x8117 -x8121 -x8125 -x8129 -x8133 -x8137 -x8141 -x8145 -x8149 -x8153
1782.71/1783.22	v -x8157 -x8161 -x8165 -x8169 -x8173 -x8177 -x8181 -x8185 -x8189 -x8193 -x8197 -x8201 -x8094 -x8098 -x8102 -x8106 -x8110
1782.71/1783.22	v -x8114 -x8118 -x8122 -x8126 -x8130 -x8134 x8138 -x8142 -x8146 -x8150 -x8154 -x8158 -x8162 -x8166 -x8170 -x8174 -x8178
1782.71/1783.22	v -x8182 -x8186 -x8190 -x8194 -x8198 -x8202 -x8095 -x8099 -x8103 -x8107 -x8111 -x8115 -x8119 -x8123 -x8127 -x8131 -x8135
1782.71/1783.22	v -x8139 -x8143 x8147 -x8151 -x8155 -x8159 -x8163 -x8167 -x8171 -x8175 -x8179 -x8183 -x8187 -x8191 -x8195 -x8199 -x8203
1782.71/1783.22	v x8205 -x8209 -x8213 -x8217 -x8221 -x8225 -x8229 -x8233 -x8237 -x8241 -x8245 -x8249 -x8253 -x8257 -x8261 -x8265 -x8269
1782.71/1783.22	v -x8273 -x8277 -x8281 -x8285 -x8289 -x8293 -x8297 -x8301 -x8305 -x8309 -x8313 -x8207 -x8211 -x8215 -x8219 -x8223 -x8227
1782.71/1783.22	v x8231 -x8235 -x8239 -x8243 -x8247 -x8251 -x8255 -x8259 -x8263 -x8267 -x8271 -x8275 -x8279 -x8283 -x8287 -x8291 -x8295
1782.71/1783.22	v -x8299 -x8303 -x8307 -x8311 -x8315 -x8206 -x8210 -x8214 -x8218 -x8222 -x8226 -x8230 x8234 -x8238 -x8242 -x8246 -x8250
1782.71/1783.22	v -x8254 -x8258 -x8262 -x8266 -x8270 -x8274 -x8278 -x8282 -x8286 -x8290 -x8294 -x8298 -x8302 -x8306 -x8310 -x8314 -x8318
1782.71/1783.22	v -x8321 x8324 -x8327 -x8330 -x8333 -x8336 -x8339 -x8342 -x8345 -x8348 -x8351 -x8354 -x8357 -x8360 -x8363 -x8366 -x8369
1782.71/1783.22	v -x8372 -x8375 -x8378 -x8381 -x8384 -x8387 -x8390 -x8393 -x8396 -x8399 -x8319 -x8322 -x8325 -x8328 x8331 -x8334 -x8337
1782.71/1783.22	v -x8340 -x8343 -x8346 -x8349 -x8352 -x8355 -x8358 -x8361 -x8364 -x8367 -x8370 -x8373 -x8376 -x8379 -x8382 -x8385 -x8388
1782.71/1783.22	v -x8391 -x8394 -x8397 -x8400 -x8317 -x8320 -x8323 -x8326 -x8329 -x8332 -x8335 -x8338 -x8341 x8344 -x8347 -x8350 -x8353
1782.71/1783.22	v -x8356 -x8359 -x8362 -x8365 -x8368 -x8371 -x8374 -x8377 -x8380 -x8383 -x8386 -x8389 -x8392 -x8395 -x8398 -x8401 -x8405
1782.71/1783.22	v -x8409 -x8413 -x8417 -x8421 -x8425 -x8429 -x8433 -x8437 -x8441 -x8445 x8449 -x8453 -x8457 -x8461 -x8465 -x8469 -x8473
1782.71/1783.22	v -x8477 -x8481 -x8485 -x8489 -x8493 -x8497 -x8501 -x8505 -x8509 -x8403 -x8407 -x8411 -x8415 -x8419 -x8423 -x8427 -x8431
1782.71/1783.22	v -x8435 -x8439 -x8443 -x8447 -x8451 -x8455 -x8459 -x8463 -x8467 -x8471 -x8475 x8479 -x8483 -x8487 -x8491 -x8495 -x8499
1782.71/1783.22	v -x8503 -x8507 -x8511 -x8402 -x8406 -x8410 -x8414 -x8418 -x8422 -x8426 -x8430 -x8434 -x8438 -x8442 -x8446 -x8450 -x8454
1782.71/1783.22	v -x8458 -x8462 -x8466 -x8470 -x8474 -x8478 -x8482 x8486 -x8490 -x8494 -x8498 -x8502 -x8506 -x8510 -x8514 -x8517 -x8520
1782.71/1783.22	v -x8523 -x8526 -x8529 -x8532 -x8535 -x8538 x8541 -x8544 -x8547 -x8550 -x8553 -x8556 -x8559 -x8562 -x8565 -x8568 -x8571
1782.71/1783.22	v -x8574 -x8577 -x8580 -x8583 -x8586 -x8589 -x8592 -x8595 -x8515 -x8518 -x8521 -x8524 -x8527 -x8530 -x8533 -x8536 -x8539
1782.71/1783.22	v -x8542 -x8545 x8548 -x8551 -x8554 -x8557 -x8560 -x8563 -x8566 -x8569 -x8572 -x8575 -x8578 -x8581 -x8584 -x8587 -x8590
1782.71/1783.22	v -x8593 -x8596 -x8513 -x8516 -x8519 -x8522 -x8525 -x8528 -x8531 -x8534 -x8537 -x8540 -x8543 -x8546 -x8549 -x8552 -x8555
1782.71/1783.22	v -x8558 x8561 -x8564 -x8567 -x8570 -x8573 -x8576 -x8579 -x8582 -x8585 -x8588 -x8591 -x8594 -x8599 -x8602 x8605 -x8608 -x8611
1782.71/1783.22	v -x8614 -x8617 -x8620 -x8623 -x8626 -x8629 -x8632 -x8635 -x8638 -x8641 -x8644 -x8647 -x8650 -x8653 -x8656 -x8659 -x8662
1782.71/1783.22	v -x8665 -x8668 -x8671 -x8674 -x8677 -x8680 -x8598 -x8601 -x8604 x8607 -x8610 -x8613 -x8616 -x8619 -x8622 -x8625 -x8628
1782.71/1783.22	v -x8631 -x8634 -x8637 -x8640 -x8643 -x8646 -x8649 -x8652 -x8655 -x8658 -x8661 -x8664 -x8667 -x8670 -x8673 -x8676 -x8679
1782.71/1783.22	v -x8597 -x8600 -x8603 -x8606 -x8609 -x8612 x8615 -x8618 -x8621 -x8624 -x8627 -x8630 -x8633 -x8636 -x8639 -x8642 -x8645
1782.71/1783.22	v -x8648 -x8651 -x8654 -x8657 -x8660 -x8663 -x8666 -x8669 -x8672 -x8675 -x8678 -x8683 -x8688 -x8693 -x8698 -x8703 -x8708
1782.71/1783.22	v -x8713 -x8718 x8723 -x8728 -x8733 -x8738 -x8743 -x8748 -x8753 -x8758 -x8763 -x8768 -x8773 -x8778 -x8783 -x8788 -x8793
1782.71/1783.22	v -x8798 -x8803 -x8808 -x8813 -x8818 -x8684 -x8689 -x8694 -x8699 -x8704 -x8709 -x8714 -x8719 -x8724 -x8729 -x8734 -x8739
1782.71/1783.22	v -x8744 -x8749 -x8754 -x8759 -x8764 -x8769 -x8774 -x8779 x8784 -x8789 -x8794 -x8799 -x8804 -x8809 -x8814 -x8819 -x8682
1782.71/1783.22	v -x8687 -x8692 -x8697 -x8702 -x8707 -x8712 -x8717 -x8722 -x8727 -x8732 -x8737 -x8742 -x8747 -x8752 -x8757 -x8762 -x8767
1782.71/1783.22	v -x8772 -x8777 -x8782 -x8787 x8792 -x8797 -x8802 -x8807 -x8812 -x8817 -x8823 x8828 -x8833 -x8838 -x8843 -x8848 -x8853 -x8858
1782.71/1783.22	v -x8863 -x8868 -x8873 -x8878 -x8883 -x8888 -x8893 -x8898 -x8903 -x8908 -x8913 -x8918 -x8923 -x8928 -x8933 -x8938 -x8943
1782.71/1783.22	v -x8948 -x8953 -x8958 -x8822 -x8827 -x8832 -x8837 -x8842 -x8847 -x8852 -x8857 -x8862 -x8867 -x8872 -x8877 x8882 -x8887
1782.71/1783.22	v -x8892 -x8897 -x8902 -x8907 -x8912 -x8917 -x8922 -x8927 -x8932 -x8937 -x8942 -x8947 -x8952 -x8957 -x8824 -x8829 -x8834
1782.71/1783.22	v -x8839 -x8844 -x8849 -x8854 -x8859 -x8864 -x8869 -x8874 -x8879 -x8884 -x8889 -x8894 -x8899 x8904 -x8909 -x8914 -x8919
1782.71/1783.22	v -x8924 -x8929 -x8934 -x8939 -x8944 -x8949 -x8954 -x8959 -x8963 -x8967 -x8971 -x8975 -x8979 -x8983 -x8987 -x8991 -x8995
1782.71/1783.22	v -x8999 x9003 -x9007 -x9011 -x9015 -x9019 -x9023 -x9027 -x9031 -x9035 -x9039 -x9043 -x9047 -x9051 -x9055 -x9059 -x9063
1782.71/1783.22	v -x9067 -x9071 -x8964 -x8968 -x8972 -x8976 -x8980 -x8984 -x8988 -x8992 -x8996 -x9000 -x9004 -x9008 -x9012 -x9016 -x9020
1782.71/1783.22	v x9024 -x9028 -x9032 -x9036 -x9040 -x9044 -x9048 -x9052 -x9056 -x9060 -x9064 -x9068 -x9072 -x8961 -x8965 -x8969 -x8973
1782.71/1783.22	v -x8977 -x8981 -x8985 -x8989 -x8993 -x8997 -x9001 -x9005 -x9009 -x9013 -x9017 -x9021 -x9025 x9029 -x9033 -x9037 -x9041
1782.71/1783.22	v -x9045 -x9049 -x9053 -x9057 -x9061 -x9065 -x9069 -x9073 -x9076 -x9079 -x9082 x9085 -x9088 -x9091 -x9094 -x9097 -x9100
1782.71/1783.22	v -x9103 -x9106 -x9109 -x9112 -x9115 -x9118 -x9121 -x9124 -x9127 -x9130 -x9133 -x9136 -x9139 -x9142 -x9145 -x9148 -x9151
1782.71/1783.22	v -x9154 -x9074 -x9077 -x9080 -x9083 -x9086 -x9089 -x9092 -x9095 x9098 -x9101 -x9104 -x9107 -x9110 -x9113 -x9116 -x9119
1782.71/1783.22	v -x9122 -x9125 -x9128 -x9131 -x9134 -x9137 -x9140 -x9143 -x9146 -x9149 -x9152 -x9155 -x9075 -x9078 -x9081 -x9084 -x9087
1782.71/1783.22	v -x9090 -x9093 -x9096 -x9099 -x9102 -x9105 x9108 -x9111 -x9114 -x9117 -x9120 -x9123 -x9126 -x9129 -x9132 -x9135 -x9138
1782.71/1783.22	v -x9141 -x9144 -x9147 -x9150 -x9153 -x9156 -x9158 -x9161 -x9164 -x9167 -x9170 -x9173 -x9176 -x9179 x9182 -x9185 -x9188
1782.71/1783.22	v -x9191 -x9194 -x9197 -x9200 -x9203 -x9206 -x9209 -x9212 -x9215 -x9218 -x9221 -x9224 -x9227 -x9230 -x9233 -x9236 -x9239
1782.71/1783.22	v -x9159 -x9162 -x9165 -x9168 -x9171 -x9174 -x9177 -x9180 -x9183 -x9186 -x9189 x9192 -x9195 -x9198 -x9201 -x9204 -x9207
1782.71/1783.22	v -x9210 -x9213 -x9216 -x9219 -x9222 -x9225 -x9228 -x9231 -x9234 -x9237 -x9240 -x9157 -x9160 -x9163 -x9166 -x9169 -x9172
1782.71/1783.22	v -x9175 -x9178 -x9181 -x9184 -x9187 -x9190 -x9193 -x9196 -x9199 x9202 -x9205 -x9208 -x9211 -x9214 -x9217 -x9220 -x9223
1782.71/1783.22	v -x9226 -x9229 -x9232 -x9235 -x9238 -x9243 -x9247 x9251 -x9255 -x9259 -x9263 -x9267 -x9271 -x9275 -x9279 -x9283 -x9287
1782.71/1783.22	v -x9291 -x9295 -x9299 -x9303 -x9307 -x9311 -x9315 -x9319 -x9323 -x9327 -x9331 -x9335 -x9339 -x9343 -x9347 -x9351 -x9244
1782.71/1783.22	v -x9248 -x9252 -x9256 -x9260 -x9264 -x9268 -x9272 x9276 -x9280 -x9284 -x9288 -x9292 -x9296 -x9300 -x9304 -x9308 -x9312
1782.71/1783.22	v -x9316 -x9320 -x9324 -x9328 -x9332 -x9336 -x9340 -x9344 -x9348 -x9352 -x9241 -x9245 -x9249 -x9253 -x9257 -x9261 -x9265
1782.71/1783.22	v -x9269 -x9273 -x9277 -x9281 x9285 -x9289 -x9293 -x9297 -x9301 -x9305 -x9309 -x9313 -x9317 -x9321 -x9325 -x9329 -x9333
1782.71/1783.22	v -x9337 -x9341 -x9345 -x9349 -x9354 -x9357 -x9360 -x9363 -x9366 -x9369 -x9372 -x9375 -x9378 -x9381 -x9384 -x9387 -x9390
1782.71/1783.22	v -x9393 -x9396 -x9399 -x9402 x9405 -x9408 -x9411 -x9414 -x9417 -x9420 -x9423 -x9426 -x9429 -x9432 -x9435 -x9355 -x9358
1782.71/1783.22	v -x9361 -x9364 -x9367 -x9370 -x9373 -x9376 -x9379 -x9382 -x9385 -x9388 -x9391 -x9394 -x9397 -x9400 -x9403 -x9406 -x9409
1782.71/1783.22	v x9412 -x9415 -x9418 -x9421 -x9424 -x9427 -x9430 -x9433 -x9436 -x9353 -x9356 -x9359 -x9362 -x9365 -x9368 -x9371 -x9374
1782.71/1783.22	v -x9377 -x9380 -x9383 -x9386 -x9389 -x9392 -x9395 -x9398 -x9401 -x9404 -x9407 -x9410 -x9413 -x9416 -x9419 -x9422 x9425
1782.71/1783.22	v -x9428 -x9431 -x9434 -x9437 -x9441 -x9445 -x9449 x9453 -x9457 -x9461 -x9465 -x9469 -x9473 -x9477 -x9481 -x9485 -x9489
1782.71/1783.22	v -x9493 -x9497 -x9501 -x9505 -x9509 -x9513 -x9517 -x9521 -x9525 -x9529 -x9533 -x9537 -x9541 -x9545 -x9438 -x9442 -x9446
1782.71/1783.22	v -x9450 -x9454 -x9458 -x9462 -x9466 -x9470 -x9474 -x9478 x9482 -x9486 -x9490 -x9494 -x9498 -x9502 -x9506 -x9510 -x9514
1782.71/1783.22	v -x9518 -x9522 -x9526 -x9530 -x9534 -x9538 -x9542 -x9546 -x9439 -x9443 -x9447 -x9451 -x9455 -x9459 -x9463 -x9467 -x9471
1782.71/1783.22	v -x9475 -x9479 -x9483 -x9487 -x9491 -x9495 -x9499 -x9503 -x9507 -x9511 -x9515 -x9519 -x9523 -x9527 -x9531 -x9535 -x9539
1782.71/1783.22	v x9543 -x9547 -x9549 -x9553 -x9557 -x9561 -x9565 -x9569 -x9573 -x9577 -x9581 -x9585 -x9589 -x9593 -x9597 -x9601 x9605 -x9609
1782.71/1783.22	v -x9613 -x9617 -x9621 -x9625 -x9629 -x9633 -x9637 -x9641 -x9645 -x9649 -x9653 -x9657 -x9550 -x9554 -x9558 -x9562 -x9566
1782.71/1783.22	v -x9570 -x9574 -x9578 -x9582 -x9586 -x9590 -x9594 -x9598 -x9602 -x9606 -x9610 -x9614 -x9618 -x9622 -x9626 -x9630 x9634
1782.71/1783.22	v -x9638 -x9642 -x9646 -x9650 -x9654 -x9658 -x9551 -x9555 -x9559 -x9563 -x9567 -x9571 -x9575 -x9579 -x9583 -x9587 -x9591
1782.71/1783.22	v -x9595 -x9599 -x9603 -x9607 -x9611 -x9615 -x9619 -x9623 -x9627 -x9631 -x9635 x9639 -x9643 -x9647 -x9651 -x9655 -x9659
1782.71/1783.22	v -x9661 -x9665 -x9669 -x9673 -x9677 -x9681 -x9685 -x9689 -x9693 -x9697 -x9701 -x9705 -x9709 -x9713 -x9717 x9721 -x9725
1782.71/1783.22	v -x9729 -x9733 -x9737 -x9741 -x9745 -x9749 -x9753 -x9757 -x9761 -x9765 -x9769 -x9662 -x9666 -x9670 -x9674 -x9678 -x9682
1782.71/1783.22	v -x9686 -x9690 -x9694 -x9698 -x9702 -x9706 -x9710 -x9714 -x9718 -x9722 -x9726 -x9730 -x9734 -x9738 x9742 -x9746 -x9750
1782.71/1783.22	v -x9754 -x9758 -x9762 -x9766 -x9770 -x9663 -x9667 -x9671 -x9675 -x9679 -x9683 -x9687 -x9691 -x9695 -x9699 -x9703 -x9707
1782.71/1783.22	v -x9711 -x9715 -x9719 -x9723 -x9727 -x9731 -x9735 -x9739 -x9743 -x9747 x9751 -x9755 -x9759 -x9763 -x9767 -x9771 -x9773
1782.71/1783.22	v -x9777 -x9781 -x9785 -x9789 -x9793 -x9797 -x9801 -x9805 -x9809 -x9813 -x9817 -x9821 -x9825 x9829 -x9833 -x9837 -x9841
1782.71/1783.22	v -x9845 -x9849 -x9853 -x9857 -x9861 -x9865 -x9869 -x9873 -x9877 -x9881 -x9775 -x9779 -x9783 -x9787 -x9791 -x9795 -x9799
1782.71/1783.22	v -x9803 -x9807 -x9811 -x9815 -x9819 -x9823 -x9827 -x9831 -x9835 -x9839 -x9843 -x9847 x9851 -x9855 -x9859 -x9863 -x9867
1782.71/1783.22	v -x9871 -x9875 -x9879 -x9883 -x9774 -x9778 -x9782 -x9786 -x9790 -x9794 -x9798 -x9802 -x9806 -x9810 -x9814 -x9818 -x9822
1782.71/1783.22	v -x9826 -x9830 -x9834 -x9838 -x9842 -x9846 -x9850 -x9854 -x9858 -x9862 x9866 -x9870 -x9874 -x9878 -x9882 -x9885 -x9888
1782.71/1783.22	v -x9891 -x9894 -x9897 -x9900 -x9903 -x9906 -x9909 -x9912 -x9915 x9918 -x9921 -x9924 -x9927 -x9930 -x9933 -x9936 -x9939
1782.71/1783.22	v -x9942 -x9945 -x9948 -x9951 -x9954 -x9957 -x9960 -x9963 -x9966 -x9887 -x9890 -x9893 -x9896 -x9899 -x9902 -x9905 -x9908
1782.71/1783.22	v -x9911 -x9914 -x9917 -x9920 -x9923 x9926 -x9929 -x9932 -x9935 -x9938 -x9941 -x9944 -x9947 -x9950 -x9953 -x9956 -x9959
1782.71/1783.22	v -x9962 -x9965 -x9968 -x9886 -x9889 -x9892 -x9895 -x9898 -x9901 -x9904 -x9907 -x9910 -x9913 -x9916 -x9919 -x9922 -x9925
1782.71/1783.22	v -x9928 x9931 -x9934 -x9937 -x9940 -x9943 -x9946 -x9949 -x9952 -x9955 -x9958 -x9961 -x9964 -x9967 -x9969 -x9972 -x9975
1782.71/1783.22	v -x9978 -x9981 -x9984 -x9987 -x9990 -x9993 -x9996 -x9999 -x10002 -x10005 -x10008 -x10011 x10014 -x10017 -x10020 -x10023
1782.71/1783.22	v -x10026 -x10029 -x10032 -x10035 -x10038 -x10041 -x10044 -x10047 -x10050 -x9971 -x9974 -x9977 -x9980 -x9983 -x9986 -x9989
1782.71/1783.22	v -x9992 -x9995 -x9998 -x10001 -x10004 -x10007 -x10010 -x10013 -x10016 -x10019 x10022 -x10025 -x10028 -x10031 -x10034
1782.71/1783.22	v -x10037 -x10040 -x10043 -x10046 -x10049 -x10052 -x9970 -x9973 -x9976 -x9979 -x9982 -x9985 -x9988 -x9991 -x9994 -x9997
1782.71/1783.22	v -x10000 -x10003 -x10006 -x10009 -x10012 -x10015 -x10018 -x10021 -x10024 -x10027 x10030 -x10033 -x10036 -x10039 -x10042
1782.71/1783.22	v -x10045 -x10048 -x10051 -x10053 -x10057 x10061 -x10065 -x10069 -x10073 -x10077 -x10081 -x10085 -x10089 -x10093 -x10097
1782.71/1783.22	v -x10101 -x10105 -x10109 -x10113 -x10117 -x10121 -x10125 -x10129 -x10133 -x10137 -x10141 -x10145 -x10149 -x10153 -x10157
1782.71/1783.22	v -x10161 -x10054 -x10058 -x10062 -x10066 -x10070 -x10074 x10078 -x10082 -x10086 -x10090 -x10094 -x10098 -x10102 -x10106
1782.71/1783.22	v -x10110 -x10114 -x10118 -x10122 -x10126 -x10130 -x10134 -x10138 -x10142 -x10146 -x10150 -x10154 -x10158 -x10162 -x10055
1782.71/1783.22	v -x10059 -x10063 -x10067 -x10071 -x10075 -x10079 -x10083 -x10087 -x10091 -x10095 -x10099 -x10103 -x10107 -x10111 -x10115
1782.71/1783.22	v -x10119 -x10123 -x10127 -x10131 x10135 -x10139 -x10143 -x10147 -x10151 -x10155 -x10159 -x10163 -x10167 -x10170 -x10173
1782.71/1783.22	v -x10176 -x10179 -x10182 -x10185 -x10188 -x10191 -x10194 -x10197 -x10200 x10203 -x10206 -x10209 -x10212 -x10215 -x10218
1782.71/1783.22	v -x10221 -x10224 -x10227 -x10230 -x10233 -x10236 -x10239 -x10242 -x10245 -x10248 -x10166 -x10169 -x10172 -x10175 -x10178
1782.71/1783.22	v -x10181 -x10184 -x10187 -x10190 -x10193 -x10196 -x10199 -x10202 -x10205 -x10208 x10211 -x10214 -x10217 -x10220 -x10223
1782.71/1783.22	v -x10226 -x10229 -x10232 -x10235 -x10238 -x10241 -x10244 -x10247 -x10165 -x10168 -x10171 -x10174 -x10177 -x10180 -x10183
1782.71/1783.22	v -x10186 -x10189 -x10192 -x10195 -x10198 -x10201 -x10204 -x10207 -x10210 -x10213 -x10216 -x10219 -x10222 -x10225 x10228
1782.71/1783.22	v -x10231 -x10234 -x10237 -x10240 -x10243 -x10246 -x10250 -x10253 -x10256 -x10259 -x10262 -x10265 -x10268 x10271 -x10274
1782.71/1783.22	v -x10277 -x10280 -x10283 -x10286 -x10289 -x10292 -x10295 -x10298 -x10301 -x10304 -x10307 -x10310 -x10313 -x10316 -x10319
1782.71/1783.22	v -x10322 -x10325 -x10328 -x10331 -x10251 -x10254 -x10257 -x10260 -x10263 -x10266 -x10269 -x10272 x10275 -x10278 -x10281
1782.71/1783.22	v -x10284 -x10287 -x10290 -x10293 -x10296 -x10299 -x10302 -x10305 -x10308 -x10311 -x10314 -x10317 -x10320 -x10323 -x10326
1782.71/1783.22	v -x10329 -x10332 -x10249 -x10252 -x10255 -x10258 -x10261 -x10264 -x10267 -x10270 -x10273 -x10276 x10279 -x10282 -x10285
1782.71/1783.22	v -x10288 -x10291 -x10294 -x10297 -x10300 -x10303 -x10306 -x10309 -x10312 -x10315 -x10318 -x10321 -x10324 -x10327 -x10330
1782.71/1783.22	v -x10334 -x10337 -x10340 -x10343 -x10346 -x10349 -x10352 -x10355 -x10358 -x10361 -x10364 -x10367 -x10370 -x10373 x10376
1782.71/1783.22	v -x10379 -x10382 -x10385 -x10388 -x10391 -x10394 -x10397 -x10400 -x10403 -x10406 -x10409 -x10412 -x10415 -x10335 -x10338
1782.71/1783.22	v -x10341 -x10344 -x10347 -x10350 -x10353 -x10356 -x10359 -x10362 -x10365 -x10368 -x10371 -x10374 -x10377 x10380 -x10383
1782.71/1783.22	v -x10386 -x10389 -x10392 -x10395 -x10398 -x10401 -x10404 -x10407 -x10410 -x10413 -x10416 -x10333 -x10336 -x10339 -x10342
1782.71/1783.22	v -x10345 -x10348 -x10351 -x10354 -x10357 -x10360 -x10363 -x10366 -x10369 -x10372 -x10375 -x10378 -x10381 -x10384 x10387
1782.71/1783.22	v -x10390 -x10393 -x10396 -x10399 -x10402 -x10405 -x10408 -x10411 -x10414 -x10417 -x10421 -x10425 -x10429 -x10433 -x10437
1782.71/1783.22	v -x10441 -x10445 -x10449 -x10453 -x10457 -x10461 -x10465 -x10469 -x10473 -x10477 -x10481 x10485 -x10489 -x10493 -x10497
1782.71/1783.22	v -x10501 -x10505 -x10509 -x10513 -x10517 -x10521 -x10525 -x10418 -x10422 -x10426 -x10430 -x10434 -x10438 -x10442 -x10446
1782.71/1783.22	v -x10450 -x10454 -x10458 -x10462 -x10466 -x10470 -x10474 -x10478 -x10482 -x10486 -x10490 -x10494 -x10498 -x10502 x10506
1782.71/1783.22	v -x10510 -x10514 -x10518 -x10522 -x10526 -x10419 -x10423 -x10427 -x10431 -x10435 -x10439 -x10443 -x10447 -x10451 -x10455
1782.71/1783.22	v -x10459 -x10463 -x10467 -x10471 -x10475 -x10479 -x10483 -x10487 -x10491 -x10495 -x10499 -x10503 -x10507 -x10511 x10515
1782.71/1783.22	v -x10519 -x10523 -x10527 -x10530 x10532 -x10534 -x10536 -x10538 -x10540 -x10542 -x10544 -x10546 -x10548 -x10550 -x10552
1782.71/1783.22	v -x10554 -x10556 -x10558 -x10560 -x10562 -x10564 -x10566 -x10568 -x10570 -x10572 -x10574 -x10576 -x10578 -x10580 -x10582
1782.71/1783.22	v -x10584 -x10529 -x10531 -x10533 -x10535 x10537 -x10539 -x10541 -x10543 -x10545 -x10547 -x10549 -x10551 -x10553 -x10555
1782.71/1783.22	v -x10557 -x10559 -x10561 -x10563 -x10565 -x10567 -x10569 -x10571 -x10573 -x10575 -x10577 -x10579 -x10581 -x10583 -x10586
1782.71/1783.22	v -x10588 -x10590 -x10592 -x10594 -x10596 -x10598 -x10600 -x10602 -x10604 -x10606 -x10608 -x10610 -x10612 -x10614 -x10616
1782.71/1783.22	v -x10618 x10620 -x10622 -x10624 -x10626 -x10628 -x10630 -x10632 -x10634 -x10636 -x10638 -x10640 -x10585 -x10587 -x10589
1782.71/1783.22	v -x10591 -x10593 -x10595 -x10597 -x10599 -x10601 -x10603 -x10605 -x10607 -x10609 -x10611 -x10613 -x10615 -x10617 -x10619
1782.71/1783.22	v -x10621 -x10623 x10625 -x10627 -x10629 -x10631 -x10633 -x10635 -x10637 -x10639 -x10641 -x10644 -x10647 -x10650 -x10653
1782.71/1783.22	v -x10656 -x10659 -x10662 -x10665 -x10668 -x10671 -x10674 x10677 -x10680 -x10683 -x10686 -x10689 -x10692 -x10695 -x10698
1782.71/1783.22	v -x10701 -x10704 -x10707 -x10710 -x10713 -x10716 -x10719 -x10722 -x10642 -x10645 -x10648 -x10651 -x10654 -x10657 -x10660
1782.71/1783.22	v -x10663 -x10666 -x10669 -x10672 -x10675 -x10678 x10681 -x10684 -x10687 -x10690 -x10693 -x10696 -x10699 -x10702 -x10705
1782.71/1783.22	v -x10708 -x10711 -x10714 -x10717 -x10720 -x10723 -x10643 -x10646 -x10649 -x10652 -x10655 -x10658 -x10661 -x10664 -x10667
1782.71/1783.22	v -x10670 -x10673 -x10676 -x10679 -x10682 -x10685 -x10688 x10691 -x10694 -x10697 -x10700 -x10703 -x10706 -x10709 -x10712
1782.71/1783.22	v -x10715 -x10718 -x10721 -x10724 -x5799 -x7759 -x7983 -x5803 -x7763 -x7987 -x5807 -x7767 -x7991 -x5811 -x7771 -x7995 -x5815
1782.71/1783.22	v x7775 -x7999 -x5819 -x7779 -x8003 -x5823 -x7783 -x8007 -x5827 -x7787 -x8011 -x5831 -x7791 -x8015 x5835 -x7795 -x8019 -x5839
1782.71/1783.22	v -x7799 -x8023 -x5843 -x7803 -x8027 -x5847 -x7807 -x8031 -x5851 -x7811 -x8035 -x5855 -x7815 -x8039 -x5859 -x7819 -x8043
1782.71/1783.22	v -x5863 -x7823 x8047 -x5867 -x7827 -x8051 -x5871 -x7831 -x8055 -x5875 -x7835 -x8059 -x5879 -x7839 -x8063 -x5883 -x7843
1782.71/1783.22	v -x8067 -x5887 -x7847 -x8071 -x5891 -x7851 -x8075 -x5895 -x7855 -x8079 -x5899 -x7859 -x8083 -x5903 -x7863 -x8087 -x5907
1782.71/1783.22	v -x7867 -x8091 -x2300 -x2412 -x3448 -x4176 -x5100 -x5212 -x5324 -x5604 -x8208 -x8404 -x9440 -x9552 -x9664 -x10056 -x10420
1782.71/1783.22	v -x2304 -x2416 -x3452 -x4180 -x5104 -x5216 -x5328 -x5608 -x8212 -x8408 -x9444 -x9556 -x9668 -x10060 -x10424 -x2308 -x2420
1782.71/1783.22	v -x3456 -x4184 -x5108 -x5220 -x5332 -x5612 x8216 -x8412 -x9448 -x9560 -x9672 -x10064 -x10428 -x2312 -x2424 -x3460 -x4188
1782.71/1783.22	v -x5112 -x5224 -x5336 -x5616 -x8220 -x8416 -x9452 -x9564 -x9676 x10068 -x10432 -x2316 x2428 -x3464 -x4192 -x5116 -x5228
1782.71/1783.22	v -x5340 -x5620 -x8224 -x8420 -x9456 -x9568 -x9680 -x10072 -x10436 -x2320 -x2432 -x3468 -x4196 -x5120 -x5232 -x5344 -x5624
1782.71/1783.22	v -x8228 -x8424 -x9460 -x9572 -x9684 -x10076 -x10440 -x2324 -x2436 -x3472 -x4200 -x5124 -x5236 -x5348 -x5628 -x8232 -x8428
1782.71/1783.22	v -x9464 -x9576 -x9688 -x10080 -x10444 -x2328 -x2440 -x3476 -x4204 -x5128 -x5240 -x5352 -x5632 -x8236 -x8432 -x9468 -x9580
1782.71/1783.22	v -x9692 -x10084 -x10448 -x2332 -x2444 -x3480 -x4208 -x5132 x5244 -x5356 -x5636 -x8240 -x8436 x9472 -x9584 -x9696 -x10088
1782.71/1783.22	v -x10452 -x2336 -x2448 -x3484 -x4212 x5136 -x5248 -x5360 -x5640 -x8244 -x8440 -x9476 -x9588 -x9700 -x10092 -x10456 -x2340
1782.71/1783.22	v -x2452 -x3488 -x4216 -x5140 -x5252 -x5364 -x5644 -x8248 -x8444 -x9480 -x9592 -x9704 -x10096 -x10460 -x2344 -x2456 -x3492
1782.71/1783.22	v -x4220 -x5144 -x5256 -x5368 -x5648 -x8252 -x8448 -x9484 -x9596 -x9708 -x10100 -x10464 -x2348 -x2460 -x3496 -x4224 -x5148
1782.71/1783.22	v -x5260 -x5372 -x5652 -x8256 -x8452 -x9488 -x9600 -x9712 -x10104 -x10468 -x2352 -x2464 -x3500 -x4228 -x5152 -x5264 -x5376
1782.71/1783.22	v -x5656 -x8260 -x8456 -x9492 -x9604 -x9716 -x10108 -x10472 -x2356 -x2468 -x3504 -x4232 -x5156 -x5268 -x5380 -x5660 -x8264
1782.71/1783.22	v x8460 -x9496 -x9608 -x9720 -x10112 -x10476 -x2360 -x2472 -x3508 -x4236 -x5160 -x5272 -x5384 x5664 -x8268 -x8464 -x9500
1782.71/1783.22	v -x9612 -x9724 -x10116 -x10480 x2364 -x2476 x3512 -x4240 -x5164 -x5276 x5388 -x5668 -x8272 -x8468 -x9504 -x9616 -x9728
1782.71/1783.22	v -x10120 -x10484 -x2368 -x2480 -x3516 x4244 -x5168 -x5280 -x5392 -x5672 -x8276 -x8472 -x9508 x9620 x9732 -x10124 -x10488
1782.71/1783.22	v -x2372 -x2484 -x3520 -x4248 -x5172 -x5284 -x5396 -x5676 -x8280 -x8476 -x9512 -x9624 -x9736 -x10128 -x10492 -x2376 -x2488
1782.71/1783.22	v -x3524 -x4252 -x5176 -x5288 -x5400 -x5680 -x8284 -x8480 -x9516 -x9628 -x9740 -x10132 x10496 -x2380 -x2492 -x3528 -x4256
1782.71/1783.22	v -x5180 -x5292 -x5404 -x5684 -x8288 -x8484 -x9520 -x9632 -x9744 -x10136 -x10500 -x2384 -x2496 -x3532 -x4260 -x5184 -x5296
1782.71/1783.22	v -x5408 -x5688 -x8292 -x8488 -x9524 -x9636 -x9748 -x10140 -x10504 -x2388 -x2500 -x3536 -x4264 -x5188 -x5300 -x5412 -x5692
1782.71/1783.22	v -x8296 -x8492 -x9528 -x9640 -x9752 -x10144 -x10508 -x2392 -x2504 -x3540 -x4268 -x5192 -x5304 -x5416 -x5696 -x8300 -x8496
1782.71/1783.22	v -x9532 -x9644 -x9756 -x10148 -x10512 -x2396 -x2508 -x3544 -x4272 -x5196 -x5308 -x5420 -x5700 -x8304 -x8500 -x9536 -x9648
1782.71/1783.22	v -x9760 -x10152 -x10516 -x2400 -x2512 -x3548 -x4276 -x5200 -x5312 -x5424 -x5704 -x8308 -x8504 -x9540 -x9652 -x9764 -x10156
1782.71/1783.22	v -x10520 -x2404 -x2516 -x3552 -x4280 -x5204 -x5316 -x5428 -x5708 -x8312 -x8508 -x9544 -x9656 -x9768 -x10160 -x10524 -x2408
1782.71/1783.22	v -x2520 -x3556 -x4284 -x5208 -x5320 -x5432 -x5712 -x8316 -x8512 -x9548 -x9660 -x9772 -x10164 -x10528 -x284 -x648 -x3084
1782.71/1783.22	v -x4988 -x9776 -x288 -x652 -x3088 -x4992 -x9780 -x292 -x656 -x3092 -x4996 -x9784 -x296 -x660 -x3096 -x5000 -x9788 -x300
1782.71/1783.22	v -x664 -x3100 -x5004 -x9792 x304 -x668 -x3104 -x5008 -x9796 -x308 -x672 -x3108 -x5012 -x9800 -x312 -x676 -x3112 -x5016 -x9804
1782.71/1783.22	v -x316 -x680 -x3116 x5020 -x9808 -x320 -x684 -x3120 -x5024 -x9812 -x324 -x688 -x3124 -x5028 -x9816 -x328 x692 -x3128 -x5032
1782.71/1783.22	v -x9820 -x332 -x696 -x3132 -x5036 -x9824 -x336 -x700 -x3136 -x5040 -x9828 -x340 -x704 x3140 -x5044 -x9832 -x344 -x708 -x3144
1782.71/1783.22	v -x5048 -x9836 -x348 -x712 -x3148 -x5052 -x9840 -x352 -x716 -x3152 -x5056 x9844 -x356 -x720 -x3156 -x5060 -x9848 -x360 -x724
1782.71/1783.22	v -x3160 -x5064 -x9852 -x364 -x728 -x3164 -x5068 -x9856 -x368 -x732 -x3168 -x5072 -x9860 -x372 -x736 -x3172 -x5076 -x9864
1782.71/1783.22	v -x376 -x740 -x3176 -x5080 -x9868 -x380 -x744 -x3180 -x5084 -x9872 -x384 -x748 -x3184 -x5088 -x9876 -x388 -x752 -x3188 -x5092
1782.71/1783.22	v -x9880 -x392 -x756 -x3192 -x5096 -x9884 -x2 -x6 -x10 -x14 -x18 -x22 x26 -x30 -x34 -x38 -x42 -x46 -x50 -x54 -x58 -x62 -x66 -x70
1782.71/1783.22	v -x74 -x78 -x82 -x86 -x90 -x94 -x98 -x102 -x106 -x110 -x757 -x762 -x767 -x772 -x777 -x782 -x787 x792 -x797 -x802 -x807 -x812
1782.71/1783.22	v -x817 -x822 -x827 -x832 -x837 -x842 -x847 -x852 -x857 -x862 -x867 -x872 -x877 -x882 -x887 -x892 -x761 -x766 -x771 -x776 -x781
1782.71/1783.22	v -x786 -x791 -x796 -x801 -x806 -x811 x816 -x821 -x826 -x831 -x836 -x841 -x846 -x851 -x856 -x861 -x866 -x871 -x876 -x881 -x886
1782.71/1783.22	v -x891 -x896 -x897 -x902 -x907 -x912 x917 -x922 -x927 -x932 -x937 -x942 -x947 -x952 -x957 -x962 -x967 -x972 -x977 -x982 -x987
1782.71/1783.22	v -x992 -x997 -x1002 -x1007 -x1012 -x1017 -x1022 -x1027 -x1032 -x901 -x906 -x911 -x916 -x921 -x926 -x931 -x936 -x941 -x946
1782.71/1783.22	v -x951 x956 -x961 -x966 -x971 -x976 -x981 -x986 -x991 -x996 -x1001 -x1006 -x1011 -x1016 -x1021 -x1026 -x1031 -x1036 -x1908
1782.71/1783.22	v -x1912 -x1916 -x1920 -x1924 -x1928 -x1932 -x1936 -x1940 -x1944 -x1948 x1952 -x1956 -x1960 -x1964 -x1968 -x1972 -x1976
1782.71/1783.22	v -x1980 -x1984 -x1988 -x1992 -x1996 -x2000 -x2004 -x2008 -x2012 -x2016 -x2020 -x2024 -x2028 -x2032 -x2036 -x2040 x2044
1782.71/1783.22	v -x2048 -x2052 -x2056 -x2060 -x2064 -x2068 -x2072 -x2076 -x2080 -x2084 -x2088 -x2092 -x2096 -x2100 -x2104 -x2108 -x2112
1782.71/1783.22	v -x2116 -x2120 -x2124 -x2128 -x2607 -x2612 -x2617 -x2622 -x2627 -x2632 -x2637 -x2642 -x2647 -x2652 -x2657 x2662 -x2667
1782.71/1783.22	v -x2672 -x2677 -x2682 -x2687 -x2692 -x2697 -x2702 -x2707 -x2712 -x2717 -x2722 -x2727 -x2732 -x2737 -x2742 -x2609 -x2614
1782.71/1783.22	v -x2619 -x2624 -x2629 -x2634 -x2639 -x2644 -x2649 -x2654 -x2659 -x2664 -x2669 -x2674 x2679 -x2684 -x2689 -x2694 -x2699
1782.71/1783.22	v -x2704 -x2709 -x2714 -x2719 -x2724 -x2729 -x2734 -x2739 -x2744 -x3644 -x3648 -x3652 -x3656 -x3660 -x3664 -x3668 -x3672
1782.71/1783.22	v -x3676 -x3680 x3684 -x3688 -x3692 -x3696 -x3700 -x3704 -x3708 -x3712 -x3716 -x3720 -x3724 -x3728 -x3732 -x3736 -x3740
1782.71/1783.22	v -x3744 -x3748 -x3752 -x3838 -x3842 -x3846 -x3850 -x3854 -x3858 -x3862 -x3866 -x3870 -x3874 -x3878 -x3882 -x3886 -x3890
1782.71/1783.22	v -x3894 -x3898 -x3902 -x3906 x3910 -x3914 -x3918 -x3922 -x3926 -x3930 -x3934 -x3938 -x3942 -x3946 -x4035 -x4040 -x4045
1782.71/1783.22	v -x4050 x4055 -x4060 -x4065 -x4070 -x4075 -x4080 -x4085 -x4090 -x4095 -x4100 -x4105 -x4110 -x4115 -x4120 -x4125 -x4130
1782.71/1783.22	v -x4135 -x4140 -x4145 -x4150 -x4155 -x4160 -x4165 -x4170 -x4037 -x4042 -x4047 -x4052 -x4057 -x4062 -x4067 x4072 -x4077
1782.71/1783.22	v -x4082 -x4087 -x4092 -x4097 -x4102 -x4107 -x4112 -x4117 -x4122 -x4127 -x4132 -x4137 -x4142 -x4147 -x4152 -x4157 -x4162
1782.71/1783.22	v -x4167 -x4172 -x4455 -x4460 -x4465 -x4470 -x4475 -x4480 -x4485 -x4490 -x4495 -x4500 -x4505 -x4510 -x4515 x4520 -x4525
1782.71/1783.22	v -x4530 -x4535 -x4540 -x4545 -x4550 -x4555 -x4560 -x4565 -x4570 -x4575 -x4580 -x4585 -x4590 -x4457 -x4462 -x4467 -x4472
1782.71/1783.22	v -x4477 -x4482 -x4487 -x4492 -x4497 -x4502 -x4507 -x4512 -x4517 -x4522 -x4527 -x4532 x4537 -x4542 -x4547 -x4552 -x4557
1782.71/1783.22	v -x4562 -x4567 -x4572 -x4577 -x4582 -x4587 -x4592 -x4678 -x4682 -x4686 -x4690 x4694 -x4698 -x4702 -x4706 -x4710 -x4714
1782.71/1783.22	v -x4718 -x4722 -x4726 -x4730 -x4734 -x4738 -x4742 -x4746 -x4750 -x4754 -x4758 -x4762 -x4766 -x4770 -x4774 -x4778 -x4782
1782.71/1783.22	v -x4786 -x4790 -x4794 -x4798 -x4802 -x4806 -x4810 -x4814 -x4818 -x4822 -x4826 -x4830 -x4834 x4838 -x4842 -x4846 -x4850
1782.71/1783.22	v -x4854 -x4858 -x4862 -x4866 -x4870 -x4874 -x4878 -x4882 -x4886 -x4890 -x4894 -x4898 -x5912 -x5916 -x5920 -x5924 -x5928
1782.71/1783.22	v -x5932 -x5936 -x5940 -x5944 -x5948 x5952 -x5956 -x5960 -x5964 -x5968 -x5972 -x5976 -x5980 -x5984 -x5988 -x5992 -x5996
1782.71/1783.22	v -x6000 -x6004 -x6008 -x6012 -x6016 -x6020 -x6024 -x6028 -x6032 -x6036 -x6040 -x6044 -x6048 -x6052 -x6056 -x6060 -x6064
1782.71/1783.22	v -x6068 -x6072 -x6076 -x6080 -x6084 -x6088 x6092 -x6096 -x6100 -x6104 -x6108 -x6112 -x6116 -x6120 -x6124 -x6128 -x6132
1782.71/1783.22	v -x7872 -x7876 -x7880 -x7884 -x7888 -x7892 -x7896 -x7900 -x7904 -x7908 -x7912 -x7916 -x7920 -x7924 -x7928 x7932 -x7936
1782.71/1783.22	v -x7940 -x7944 -x7948 -x7952 -x7956 -x7960 -x7964 -x7968 -x7972 -x7976 -x7980 -x8096 -x8100 -x8104 -x8108 -x8112 -x8116
1782.71/1783.22	v -x8120 -x8124 -x8128 -x8132 x8136 -x8140 -x8144 -x8148 -x8152 -x8156 -x8160 -x8164 -x8168 -x8172 -x8176 -x8180 -x8184
1782.71/1783.22	v -x8188 -x8192 -x8196 -x8200 -x8204 -x8681 -x8686 -x8691 -x8696 -x8701 -x8706 -x8711 -x8716 -x8721 -x8726 x8731 -x8736
1782.71/1783.22	v -x8741 -x8746 -x8751 -x8756 -x8761 -x8766 -x8771 -x8776 -x8781 -x8786 -x8791 -x8796 -x8801 -x8806 -x8811 -x8816 -x8685
1782.71/1783.22	v -x8690 -x8695 -x8700 -x8705 -x8710 -x8715 -x8720 -x8725 -x8730 -x8735 -x8740 -x8745 -x8750 -x8755 -x8760 x8765 -x8770
1782.71/1783.22	v -x8775 -x8780 -x8785 -x8790 -x8795 -x8800 -x8805 -x8810 -x8815 -x8820 -x8821 -x8826 -x8831 -x8836 x8841 -x8846 -x8851
1782.71/1783.22	v -x8856 -x8861 -x8866 -x8871 -x8876 -x8881 -x8886 -x8891 -x8896 -x8901 -x8906 -x8911 -x8916 -x8921 -x8926 -x8931 -x8936
1782.71/1783.22	v -x8941 -x8946 -x8951 -x8956 -x8825 -x8830 -x8835 -x8840 -x8845 -x8850 -x8855 x8860 -x8865 -x8870 -x8875 -x8880 -x8885
1782.71/1783.22	v -x8890 -x8895 -x8900 -x8905 -x8910 -x8915 -x8920 -x8925 -x8930 -x8935 -x8940 -x8945 -x8950 -x8955 -x8960 -x8962 -x8966
1782.71/1783.22	v -x8970 -x8974 -x8978 -x8982 -x8986 -x8990 -x8994 -x8998 -x9002 -x9006 x9010 -x9014 -x9018 -x9022 -x9026 -x9030 -x9034
1782.71/1783.22	v -x9038 -x9042 -x9046 -x9050 -x9054 -x9058 -x9062 -x9066 -x9070 -x9242 -x9246 -x9250 -x9254 -x9258 x9262 -x9266 -x9270
1782.71/1783.22	v -x9274 -x9278 -x9282 -x9286 -x9290 -x9294 -x9298 -x9302 -x9306 -x9310 -x9314 -x9318 -x9322 -x9326 -x9330 -x9334 -x9338
1782.71/1783.22	v -x9342 -x9346 -x9350

Verifier Data (download as text)

OK	8008

Conversion Script Data (download as text)

/tmp/evaluation/352073-1176622260/instance-352073-1176622260.opb is already a linear file

Watcher Data (download as text)

runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr

command line: runsolver --timestamp -w ROOT/results/node14/watcher-352073-1176622260 -o ROOT/results/node14/solver-352073-1176622260 -C 1800 -W 3600 -M 1800 --output-limit 1,15 Pueblo /tmp/evaluation/352073-1176622260/instance-352073-1176622260.opb 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 0.92 0.98 0.99 3/77 17368
/proc/meminfo: memFree=1691880/2055920 swapFree=4149088/4192956
[pid=17368] ppid=17366 vsize=2552 CPUtime=0
/proc/17368/stat : 17368 (Pueblo) R 17366 17368 16970 0 -1 4194304 258 0 0 0 0 0 0 0 18 0 1 0 110143769 2613248 228 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134546570 0 0 4096 0 0 0 0 17 1 0 0
/proc/17368/statm: 638 230 193 16 0 77 0

[startup+0.0986679 s]
/proc/loadavg: 0.92 0.98 0.99 3/77 17368
/proc/meminfo: memFree=1691880/2055920 swapFree=4149088/4192956
[pid=17368] ppid=17366 vsize=4016 CPUtime=0.09
/proc/17368/stat : 17368 (Pueblo) R 17366 17368 16970 0 -1 4194304 624 0 0 0 9 0 0 0 18 0 1 0 110143769 4112384 594 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 7095103 0 0 4096 0 0 0 0 17 1 0 0
/proc/17368/statm: 1004 594 199 16 0 443 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 4016

[startup+0.102668 s]
/proc/loadavg: 0.92 0.98 0.99 3/77 17368
/proc/meminfo: memFree=1691880/2055920 swapFree=4149088/4192956
[pid=17368] ppid=17366 vsize=4016 CPUtime=0.09
/proc/17368/stat : 17368 (Pueblo) R 17366 17368 16970 0 -1 4194304 628 0 0 0 9 0 0 0 18 0 1 0 110143769 4112384 598 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134546743 0 0 4096 0 0 0 0 17 1 0 0
/proc/17368/statm: 1004 598 199 16 0 443 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 4016

[startup+0.301684 s]
/proc/loadavg: 0.92 0.98 0.99 3/77 17368
/proc/meminfo: memFree=1691880/2055920 swapFree=4149088/4192956
[pid=17368] ppid=17366 vsize=8948 CPUtime=0.29
/proc/17368/stat : 17368 (Pueblo) R 17366 17368 16970 0 -1 4194304 1769 0 0 0 29 0 0 0 20 0 1 0 110143769 9162752 1739 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134558603 0 0 4096 0 0 0 0 17 1 0 0
/proc/17368/statm: 2237 1739 206 16 0 1676 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 8948

[startup+0.701722 s]
/proc/loadavg: 0.92 0.98 0.99 3/77 17368
/proc/meminfo: memFree=1691880/2055920 swapFree=4149088/4192956
[pid=17368] ppid=17366 vsize=8948 CPUtime=0.69
/proc/17368/stat : 17368 (Pueblo) R 17366 17368 16970 0 -1 4194304 1769 0 0 0 69 0 0 0 24 0 1 0 110143769 9162752 1739 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0
/proc/17368/statm: 2237 1739 206 16 0 1676 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 8948

[startup+1.5018 s]
/proc/loadavg: 0.92 0.98 0.99 2/78 17369
/proc/meminfo: memFree=1685728/2055920 swapFree=4149088/4192956
[pid=17368] ppid=17366 vsize=8948 CPUtime=1.49
/proc/17368/stat : 17368 (Pueblo) R 17366 17368 16970 0 -1 4194304 1769 0 0 0 149 0 0 0 25 0 1 0 110143769 9162752 1739 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134532518 0 0 4096 0 0 0 0 17 1 0 0
/proc/17368/statm: 2237 1739 206 16 0 1676 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 8948

[startup+3.10195 s]
/proc/loadavg: 0.92 0.98 0.99 2/78 17369
/proc/meminfo: memFree=1685600/2055920 swapFree=4149088/4192956
[pid=17368] ppid=17366 vsize=8948 CPUtime=3.09
/proc/17368/stat : 17368 (Pueblo) R 17366 17368 16970 0 -1 4194304 1769 0 0 0 309 0 0 0 25 0 1 0 110143769 9162752 1739 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134563792 0 0 4096 0 0 0 0 17 1 0 0
/proc/17368/statm: 2237 1739 206 16 0 1676 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 8948

[startup+6.30125 s]
/proc/loadavg: 0.93 0.98 0.99 3/78 17369
/proc/meminfo: memFree=1685344/2055920 swapFree=4149088/4192956
[pid=17368] ppid=17366 vsize=9176 CPUtime=6.29
/proc/17368/stat : 17368 (Pueblo) R 17366 17368 16970 0 -1 4194304 1855 0 0 0 629 0 0 0 25 0 1 0 110143769 9396224 1825 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134527956 0 0 4096 0 0 0 0 17 1 0 0
/proc/17368/statm: 2294 1825 206 16 0 1733 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 9176

[startup+12.7019 s]
/proc/loadavg: 0.93 0.98 0.99 2/78 17369
/proc/meminfo: memFree=1683432/2055920 swapFree=4149088/4192956
[pid=17368] ppid=17366 vsize=10652 CPUtime=12.69
/proc/17368/stat : 17368 (Pueblo) R 17366 17368 16970 0 -1 4194304 2356 0 0 0 1212 57 0 0 25 0 1 0 110143769 10907648 2195 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/17368/statm: 2663 2195 206 16 0 2102 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 10652

[startup+25.5021 s]
/proc/loadavg: 0.95 0.98 0.99 2/78 17369
/proc/meminfo: memFree=1683624/2055920 swapFree=4149088/4192956
[pid=17368] ppid=17366 vsize=10536 CPUtime=25.48
/proc/17368/stat : 17368 (Pueblo) R 17366 17368 16970 0 -1 4194304 2356 0 0 0 2256 292 0 0 25 0 1 0 110143769 10788864 2166 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/17368/statm: 2634 2166 206 16 0 2073 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 10536

[startup+51.1025 s]
/proc/loadavg: 0.96 0.98 0.99 2/78 17369
/proc/meminfo: memFree=1683624/2055920 swapFree=4149088/4192956
[pid=17368] ppid=17366 vsize=10536 CPUtime=51.08
/proc/17368/stat : 17368 (Pueblo) R 17366 17368 16970 0 -1 4194304 2356 0 0 0 4401 707 0 0 25 0 1 0 110143769 10788864 2166 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/17368/statm: 2634 2166 206 16 0 2073 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 10536

[startup+102.305 s]
/proc/loadavg: 0.98 0.98 0.99 2/78 17369
/proc/meminfo: memFree=1553640/2055920 swapFree=4149088/4192956
[pid=17368] ppid=17366 vsize=140120 CPUtime=102.27
/proc/17368/stat : 17368 (Pueblo) R 17366 17368 16970 0 -1 4194304 51189 0 0 0 9183 1044 0 0 25 0 1 0 110143769 143482880 34560 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/17368/statm: 35030 34560 206 16 0 34469 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 140120

[startup+162.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 17369
/proc/meminfo: memFree=1422440/2055920 swapFree=4149088/4192956
[pid=17368] ppid=17366 vsize=271432 CPUtime=162.25
/proc/17368/stat : 17368 (Pueblo) R 17366 17368 16970 0 -1 4194304 83997 0 0 0 15016 1209 0 0 25 0 1 0 110143769 277946368 67368 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134517933 0 0 4096 0 0 0 0 17 1 0 0
/proc/17368/statm: 67858 67368 206 16 0 67297 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 271432

[startup+222.303 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 17369
/proc/meminfo: memFree=1436776/2055920 swapFree=4149088/4192956
[pid=17368] ppid=17366 vsize=256780 CPUtime=222.24
/proc/17368/stat : 17368 (Pueblo) R 17366 17368 16970 0 -1 4194304 86748 0 0 0 20772 1452 0 0 25 0 1 0 110143769 262942720 63723 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/17368/statm: 64195 63723 206 16 0 63634 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 256780

[startup+282.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 17369
/proc/meminfo: memFree=1436776/2055920 swapFree=4149088/4192956
[pid=17368] ppid=17366 vsize=256780 CPUtime=282.21
/proc/17368/stat : 17368 (Pueblo) R 17366 17368 16970 0 -1 4194304 86748 0 0 0 26725 1496 0 0 25 0 1 0 110143769 262942720 63723 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134528256 0 0 4096 0 0 0 0 17 1 0 0
/proc/17368/statm: 64195 63723 206 16 0 63634 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 256780

[startup+342.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 17369
/proc/meminfo: memFree=1418600/2055920 swapFree=4149088/4192956
[pid=17368] ppid=17366 vsize=275140 CPUtime=342.2
/proc/17368/stat : 17368 (Pueblo) R 17366 17368 16970 0 -1 4194304 91320 0 0 0 32718 1502 0 0 25 0 1 0 110143769 281743360 68295 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134528560 0 0 4096 0 0 0 0 17 1 0 0
/proc/17368/statm: 68785 68295 206 16 0 68224 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 275140

[startup+402.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 17371
/proc/meminfo: memFree=1418152/2055920 swapFree=4149088/4192956
[pid=17368] ppid=17366 vsize=275528 CPUtime=402.19
/proc/17368/stat : 17368 (Pueblo) R 17366 17368 16970 0 -1 4194304 91412 0 0 0 38714 1505 0 0 25 0 1 0 110143769 282140672 68387 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134517906 0 0 4096 0 0 0 0 17 1 0 0
/proc/17368/statm: 68882 68387 206 16 0 68321 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 275528

[startup+462.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 17371
/proc/meminfo: memFree=1426408/2055920 swapFree=4149088/4192956
[pid=17368] ppid=17366 vsize=267096 CPUtime=462.17
/proc/17368/stat : 17368 (Pueblo) R 17366 17368 16970 0 -1 4194304 91412 0 0 0 44483 1734 0 0 25 0 1 0 110143769 273506304 66302 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134527759 0 0 4096 0 0 0 0 17 1 0 0
/proc/17368/statm: 66774 66302 206 16 0 66213 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 267096

[startup+522.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 17371
/proc/meminfo: memFree=1421032/2055920 swapFree=4149088/4192956
[pid=17368] ppid=17366 vsize=272704 CPUtime=522.15
/proc/17368/stat : 17368 (Pueblo) R 17366 17368 16970 0 -1 4194304 92801 0 0 0 50478 1737 0 0 25 0 1 0 110143769 279248896 67691 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/17368/statm: 68176 67691 206 16 0 67615 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 272704

[startup+582.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 17371
/proc/meminfo: memFree=1426408/2055920 swapFree=4149088/4192956
[pid=17368] ppid=17366 vsize=267096 CPUtime=582.14
/proc/17368/stat : 17368 (Pueblo) R 17366 17368 16970 0 -1 4194304 92801 0 0 0 56265 1949 0 0 25 0 1 0 110143769 273506304 66302 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/17368/statm: 66774 66302 206 16 0 66213 0
Current children cumulated CPU time (s) 582.14
Current children cumulated vsize (KiB) 267096

[startup+642.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 17371
/proc/meminfo: memFree=1413800/2055920 swapFree=4149088/4192956
[pid=17368] ppid=17366 vsize=279932 CPUtime=642.12
/proc/17368/stat : 17368 (Pueblo) R 17366 17368 16970 0 -1 4194304 95997 0 0 0 62256 1956 0 0 25 0 1 0 110143769 286650368 69498 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/17368/statm: 69983 69498 206 16 0 69422 0
Current children cumulated CPU time (s) 642.12
Current children cumulated vsize (KiB) 279932


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

/proc/meminfo: memFree=1399144/2055920 swapFree=4149088/4192956
[pid=17368] ppid=17366 vsize=294640 CPUtime=882.05
/proc/17368/stat : 17368 (Pueblo) R 17366 17368 16970 0 -1 4194304 105754 0 0 0 85999 2206 0 0 25 0 1 0 110143769 301711360 73176 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/17368/statm: 73660 73176 206 16 0 73099 0
Current children cumulated CPU time (s) 882.05
Current children cumulated vsize (KiB) 294640

[startup+942.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 17371
/proc/meminfo: memFree=1401320/2055920 swapFree=4149088/4192956
[pid=17368] ppid=17366 vsize=292188 CPUtime=942.04
/proc/17368/stat : 17368 (Pueblo) R 17366 17368 16970 0 -1 4194304 105754 0 0 0 91993 2211 0 0 25 0 1 0 110143769 299200512 72576 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/17368/statm: 73047 72576 206 16 0 72486 0
Current children cumulated CPU time (s) 942.04
Current children cumulated vsize (KiB) 292188

[startup+1002.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 17371
/proc/meminfo: memFree=1402728/2055920 swapFree=4149088/4192956
[pid=17368] ppid=17366 vsize=290776 CPUtime=1002.02
/proc/17368/stat : 17368 (Pueblo) R 17366 17368 16970 0 -1 4194304 105754 0 0 0 97987 2215 0 0 25 0 1 0 110143769 297754624 72223 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134557279 0 0 4096 0 0 0 0 17 1 0 0
/proc/17368/statm: 72694 72223 206 16 0 72133 0
Current children cumulated CPU time (s) 1002.02
Current children cumulated vsize (KiB) 290776

[startup+1062.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 17371
/proc/meminfo: memFree=1407912/2055920 swapFree=4149088/4192956
[pid=17368] ppid=17366 vsize=285552 CPUtime=1062
/proc/17368/stat : 17368 (Pueblo) R 17366 17368 16970 0 -1 4194304 106033 0 0 0 103908 2292 0 0 25 0 1 0 110143769 292405248 70917 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/17368/statm: 71388 70917 206 16 0 70827 0
Current children cumulated CPU time (s) 1062
Current children cumulated vsize (KiB) 285552

[startup+1122.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 17371
/proc/meminfo: memFree=1405800/2055920 swapFree=4149088/4192956
[pid=17368] ppid=17366 vsize=288004 CPUtime=1121.98
/proc/17368/stat : 17368 (Pueblo) R 17366 17368 16970 0 -1 4194304 106623 0 0 0 109875 2323 0 0 25 0 1 0 110143769 294916096 71507 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134517890 0 0 4096 0 0 0 0 17 1 0 0
/proc/17368/statm: 72001 71507 206 16 0 71440 0
Current children cumulated CPU time (s) 1121.98
Current children cumulated vsize (KiB) 288004

[startup+1182.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 17371
/proc/meminfo: memFree=1407976/2055920 swapFree=4149088/4192956
[pid=17368] ppid=17366 vsize=285552 CPUtime=1181.97
/proc/17368/stat : 17368 (Pueblo) R 17366 17368 16970 0 -1 4194304 107009 0 0 0 115732 2465 0 0 25 0 1 0 110143769 292405248 70917 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/17368/statm: 71388 70917 206 16 0 70827 0
Current children cumulated CPU time (s) 1181.97
Current children cumulated vsize (KiB) 285552

[startup+1242.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 17371
/proc/meminfo: memFree=1405416/2055920 swapFree=4149088/4192956
[pid=17368] ppid=17366 vsize=288380 CPUtime=1241.95
/proc/17368/stat : 17368 (Pueblo) R 17366 17368 16970 0 -1 4194304 107694 0 0 0 121726 2469 0 0 25 0 1 0 110143769 295301120 71602 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/17368/statm: 72095 71602 206 16 0 71534 0
Current children cumulated CPU time (s) 1241.95
Current children cumulated vsize (KiB) 288380

[startup+1302.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 17371
/proc/meminfo: memFree=1398248/2055920 swapFree=4149088/4192956
[pid=17368] ppid=17366 vsize=295472 CPUtime=1301.94
/proc/17368/stat : 17368 (Pueblo) R 17366 17368 16970 0 -1 4194304 109475 0 0 0 127722 2472 0 0 25 0 1 0 110143769 302563328 73383 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134527658 0 0 4096 0 0 0 0 17 1 0 0
/proc/17368/statm: 73868 73383 206 16 0 73307 0
Current children cumulated CPU time (s) 1301.94
Current children cumulated vsize (KiB) 295472

[startup+1362.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 17371
/proc/meminfo: memFree=1398952/2055920 swapFree=4149088/4192956
[pid=17368] ppid=17366 vsize=294576 CPUtime=1361.92
/proc/17368/stat : 17368 (Pueblo) R 17366 17368 16970 0 -1 4194304 109489 0 0 0 133718 2474 0 0 25 0 1 0 110143769 301645824 73164 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134527812 0 0 4096 0 0 0 0 17 1 0 0
/proc/17368/statm: 73644 73164 206 16 0 73083 0
Current children cumulated CPU time (s) 1361.92
Current children cumulated vsize (KiB) 294576

[startup+1422.31 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 17371
/proc/meminfo: memFree=1395560/2055920 swapFree=4149088/4192956
[pid=17368] ppid=17366 vsize=298112 CPUtime=1421.9
/proc/17368/stat : 17368 (Pueblo) R 17366 17368 16970 0 -1 4194304 110368 0 0 0 139713 2477 0 0 25 0 1 0 110143769 305266688 74043 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134528589 0 0 4096 0 0 0 0 17 1 0 0
/proc/17368/statm: 74528 74043 206 16 0 73967 0
Current children cumulated CPU time (s) 1421.9
Current children cumulated vsize (KiB) 298112

[startup+1482.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 17371
/proc/meminfo: memFree=1389544/2055920 swapFree=4149088/4192956
[pid=17368] ppid=17366 vsize=304072 CPUtime=1481.88
/proc/17368/stat : 17368 (Pueblo) R 17366 17368 16970 0 -1 4194304 111863 0 0 0 145708 2480 0 0 25 0 1 0 110143769 311369728 75538 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/17368/statm: 76018 75538 206 16 0 75457 0
Current children cumulated CPU time (s) 1481.88
Current children cumulated vsize (KiB) 304072

[startup+1542.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 17371
/proc/meminfo: memFree=1390888/2055920 swapFree=4149088/4192956
[pid=17368] ppid=17366 vsize=302480 CPUtime=1541.87
/proc/17368/stat : 17368 (Pueblo) R 17366 17368 16970 0 -1 4194304 111863 0 0 0 151704 2483 0 0 25 0 1 0 110143769 309739520 75149 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134522729 0 0 4096 0 0 0 0 17 1 0 0
/proc/17368/statm: 75620 75149 206 16 0 75059 0
Current children cumulated CPU time (s) 1541.87
Current children cumulated vsize (KiB) 302480

[startup+1602.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 17371
/proc/meminfo: memFree=1400296/2055920 swapFree=4149088/4192956
[pid=17368] ppid=17366 vsize=293132 CPUtime=1601.85
/proc/17368/stat : 17368 (Pueblo) R 17366 17368 16970 0 -1 4194304 112721 0 0 0 157555 2630 0 0 25 0 1 0 110143769 300167168 72812 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/17368/statm: 73283 72812 206 16 0 72722 0
Current children cumulated CPU time (s) 1601.85
Current children cumulated vsize (KiB) 293132

[startup+1662.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 17371
/proc/meminfo: memFree=1400296/2055920 swapFree=4149088/4192956
[pid=17368] ppid=17366 vsize=293132 CPUtime=1661.84
/proc/17368/stat : 17368 (Pueblo) R 17366 17368 16970 0 -1 4194304 112721 0 0 0 163431 2753 0 0 25 0 1 0 110143769 300167168 72812 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/17368/statm: 73283 72812 206 16 0 72722 0
Current children cumulated CPU time (s) 1661.84
Current children cumulated vsize (KiB) 293132

[startup+1722.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 17371
/proc/meminfo: memFree=1400360/2055920 swapFree=4149088/4192956
[pid=17368] ppid=17366 vsize=293132 CPUtime=1721.82
/proc/17368/stat : 17368 (Pueblo) R 17366 17368 16970 0 -1 4194304 112722 0 0 0 169331 2851 0 0 25 0 1 0 110143769 300167168 72813 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134528569 0 0 4096 0 0 0 0 17 1 0 0
/proc/17368/statm: 73283 72813 206 16 0 72722 0
Current children cumulated CPU time (s) 1721.82
Current children cumulated vsize (KiB) 293132

[startup+1782.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 17371
/proc/meminfo: memFree=1395240/2055920 swapFree=4149088/4192956
[pid=17368] ppid=17366 vsize=298364 CPUtime=1781.81
/proc/17368/stat : 17368 (Pueblo) R 17366 17368 16970 0 -1 4194304 114010 0 0 0 175322 2859 0 0 25 0 1 0 110143769 305524736 74101 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134517922 0 0 4096 0 0 0 0 17 1 0 0
/proc/17368/statm: 74591 74101 206 16 0 74030 0
Current children cumulated CPU time (s) 1781.81
Current children cumulated vsize (KiB) 298364

Solver just ended. Dumping a history of the last processes samples

[startup+1782.7 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 17371
/proc/meminfo: memFree=1395240/2055920 swapFree=4149088/4192956
[pid=17368] ppid=17366 vsize=298364 CPUtime=1782.21
/proc/17368/stat : 17368 (Pueblo) R 17366 17368 16970 0 -1 4194304 114010 0 0 0 175362 2859 0 0 25 0 1 0 110143769 305524736 74101 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134517906 0 0 4096 0 0 0 0 17 1 0 0
/proc/17368/statm: 74591 74101 206 16 0 74030 0
Current children cumulated CPU time (s) 1782.21
Current children cumulated vsize (KiB) 298364

[startup+1783.11 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 17371
/proc/meminfo: memFree=1395240/2055920 swapFree=4149088/4192956
[pid=17368] ppid=17366 vsize=298364 CPUtime=1782.61
/proc/17368/stat : 17368 (Pueblo) R 17366 17368 16970 0 -1 4194304 114010 0 0 0 175402 2859 0 0 25 0 1 0 110143769 305524736 74101 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134557297 0 0 4096 0 0 0 0 17 1 0 0
/proc/17368/statm: 74591 74101 206 16 0 74030 0
Current children cumulated CPU time (s) 1782.61
Current children cumulated vsize (KiB) 298364

[startup+1783.2 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 17371
/proc/meminfo: memFree=1395240/2055920 swapFree=4149088/4192956
[pid=17368] ppid=17366 vsize=298364 CPUtime=1782.71
/proc/17368/stat : 17368 (Pueblo) R 17366 17368 16970 0 -1 4194304 114010 0 0 0 175412 2859 0 0 25 0 1 0 110143769 305524736 74101 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134517893 0 0 4096 0 0 0 0 17 1 0 0
/proc/17368/statm: 74591 74101 206 16 0 74030 0
Current children cumulated CPU time (s) 1782.71
Current children cumulated vsize (KiB) 298364

Child status: 10
Real time (s): 1783.28
CPU time (s): 1782.79
CPU user time (s): 1754.15
CPU system time (s): 28.6436
CPU usage (%): 99.9727
Max. virtual memory (cumulated for all children) (KiB): 305928

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1754.15
system time used= 28.6436
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 114017
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= 18
involuntary context switches= 35887

runsolver used 2.08968 second user time and 4.13537 second system time

The end

Launcher Data (download as text)

Begin job on node14 on Sun Apr 15 07:31:00 UTC 2007

IDJOB= 352073
IDBENCH= 1882
IDSOLVER= 165
FILE ID= node14/352073-1176622260

PBS_JOBID= 4556844

Free space on /tmp= 66559 MiB

SOLVER NAME= Pueblo 1.4
BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-mitre.opb
COMMAND LINE= Pueblo /tmp/evaluation/352073-1176622260/instance-352073-1176622260.opb
CONVERSION COMMAND LINE= runsolver -w ROOT/results/node14/convwatcher-352073-1176622260 -o ROOT/results/node14/conversion-352073-1176622260 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/352073-1176622260/instance-352073-1176622260.opb
CONVERSION RUNSOLVER STATUS CODE= 0
CONVERSION STATUS CODE= 0

RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node14/watcher-352073-1176622260 -o ROOT/results/node14/solver-352073-1176622260 -C 1800 -W 3600 -M 1800 --output-limit 1,15  Pueblo /tmp/evaluation/352073-1176622260/instance-352073-1176622260.opb

META MD5SUM SOLVER= 9ebec3e8d890fdeefad01654ad9b68b7
MD5SUM BENCH=  2b9af9044591fd3eb9f5def12c800cff

RANDOM SEED= 952549643

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node14.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.227
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5914.62
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.227
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1692352 kB
Buffers:         84508 kB
Cached:         185516 kB
SwapCached:      12176 kB
Active:          87832 kB
Inactive:       208560 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1692352 kB
SwapTotal:     4192956 kB
SwapFree:      4149088 kB
Dirty:            2752 kB
Writeback:           0 kB
Mapped:          30372 kB
Slab:            52724 kB
Committed_AS:  6029028 kB
PageTables:       1784 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66559 MiB

End job on node14 on Sun Apr 15 08:00:44 UTC 2007