Trace number 3448215

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. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock 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 NameAnswerCPU timeWall clock time
clasp 2.0-RC2OPTIMUM 45.3111 45.3108

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-dlx1c.rwmem.ucl--soft-33-100-0.wbo
MD5SUM5718f3653dc0b9ba0b2db26893fe4fdf
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark1
Best CPU time to get the best result obtained on this benchmark0.270958
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables9051
Total number of constraints25833
Number of soft constraints17178
Number of constraints which are clauses24941
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints892
Minimum length of a constraint1
Maximum length of a constraint11
Top cost 867053
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 867052
Biggest number in a constraint 33
Number of bits of the biggest number in a constraint 6
Biggest sum of numbers in a constraint 126
Number of bits of the biggest sum of numbers7
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 

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

Verifier Data 

OK	1

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

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

command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-3448215-1307897106/watcher-3448215-1307897106 -o /var/tmp/evaluation-result-3448215-1307897106/solver-3448215-1307897106 -C 1800 -W 1900 -M 15500 HOME/clasp HOME/instance-3448215-1307897106.wbo --restart-on-model --opt-heu=2 --heu=Berkmin --berk-max=512 --berk-once 

running on 4 cores: 1,3,5,7

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): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 1.99 1.96 1.78 3/174 22779
/proc/meminfo: memFree=1541360/32951124 swapFree=67064380/67111528
[pid=22779] ppid=22777 vsize=6456 CPUtime=0 cores=1,3,5,7
/proc/22779/stat : 22779 (clasp) R 22777 22779 22218 0 -1 4202496 1248 0 0 0 0 0 0 0 25 0 1 0 901311085 6610944 1202 33554432000 134512640 136285325 4288356368 18446744073709551615 134966257 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/22779/statm: 1614 1203 160 433 0 1179 0

[startup+0.073202 s]
/proc/loadavg: 1.99 1.96 1.78 3/174 22779
/proc/meminfo: memFree=1541360/32951124 swapFree=67064380/67111528
[pid=22779] ppid=22777 vsize=11492 CPUtime=0.06 cores=1,3,5,7
/proc/22779/stat : 22779 (clasp) R 22777 22779 22218 0 -1 4202496 3133 0 0 0 6 0 0 0 25 0 1 0 901311085 11767808 2610 33554432000 134512640 136285325 4288356368 18446744073709551615 134674623 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/22779/statm: 2873 2610 209 433 0 2438 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 11492

[startup+0.100196 s]
/proc/loadavg: 1.99 1.96 1.78 3/174 22779
/proc/meminfo: memFree=1541360/32951124 swapFree=67064380/67111528
[pid=22779] ppid=22777 vsize=11624 CPUtime=0.09 cores=1,3,5,7
/proc/22779/stat : 22779 (clasp) R 22777 22779 22218 0 -1 4202496 3145 0 0 0 9 0 0 0 25 0 1 0 901311085 11902976 2622 33554432000 134512640 136285325 4288356368 18446744073709551615 134966988 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/22779/statm: 2906 2622 209 433 0 2471 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 11624

[startup+0.300161 s]
/proc/loadavg: 1.99 1.96 1.78 3/174 22779
/proc/meminfo: memFree=1541360/32951124 swapFree=67064380/67111528
[pid=22779] ppid=22777 vsize=13368 CPUtime=0.29 cores=1,3,5,7
/proc/22779/stat : 22779 (clasp) R 22777 22779 22218 0 -1 4202496 3593 0 0 0 29 0 0 0 25 0 1 0 901311085 13688832 3070 33554432000 134512640 136285325 4288356368 18446744073709551615 134939298 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/22779/statm: 3342 3070 211 433 0 2907 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 13368

[startup+0.701085 s]
/proc/loadavg: 1.99 1.96 1.78 3/174 22779
/proc/meminfo: memFree=1541360/32951124 swapFree=67064380/67111528
[pid=22779] ppid=22777 vsize=16832 CPUtime=0.69 cores=1,3,5,7
/proc/22779/stat : 22779 (clasp) R 22777 22779 22218 0 -1 4202496 4449 0 0 0 69 0 0 0 25 0 1 0 901311085 17235968 3927 33554432000 134512640 136285325 4288356368 18446744073709551615 135641870 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/22779/statm: 4208 3927 211 433 0 3773 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 16832

[startup+1.50094 s]
/proc/loadavg: 1.99 1.96 1.78 3/175 22780
/proc/meminfo: memFree=1523988/32951124 swapFree=67064380/67111528
[pid=22779] ppid=22777 vsize=21112 CPUtime=1.49 cores=1,3,5,7
/proc/22779/stat : 22779 (clasp) R 22777 22779 22218 0 -1 4202496 5441 0 0 0 148 1 0 0 25 0 1 0 901311085 21618688 4918 33554432000 134512640 136285325 4288356368 18446744073709551615 134954247 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/22779/statm: 5278 4918 211 433 0 4843 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 21112

[startup+3.10064 s]
/proc/loadavg: 1.99 1.96 1.78 4/175 22781
/proc/meminfo: memFree=1521384/32951124 swapFree=67064380/67111528
[pid=22779] ppid=22777 vsize=22708 CPUtime=3.09 cores=1,3,5,7
/proc/22779/stat : 22779 (clasp) R 22777 22779 22218 0 -1 4202496 5800 0 0 0 308 1 0 0 25 0 1 0 901311085 23252992 5277 33554432000 134512640 136285325 4288356368 18446744073709551615 134731742 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/22779/statm: 5677 5277 211 433 0 5242 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 22708

[startup+6.30106 s]
/proc/loadavg: 1.99 1.96 1.78 3/175 22781
/proc/meminfo: memFree=1519132/32951124 swapFree=67064380/67111528
[pid=22779] ppid=22777 vsize=24236 CPUtime=6.29 cores=1,3,5,7
/proc/22779/stat : 22779 (clasp) R 22777 22779 22218 0 -1 4202496 6168 0 0 0 628 1 0 0 25 0 1 0 901311085 24817664 5645 33554432000 134512640 136285325 4288356368 18446744073709551615 134954766 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/22779/statm: 6059 5645 211 433 0 5624 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 24236

[startup+12.7009 s]
/proc/loadavg: 1.99 1.96 1.78 3/175 22781
/proc/meminfo: memFree=1516920/32951124 swapFree=67064380/67111528
[pid=22779] ppid=22777 vsize=26464 CPUtime=12.69 cores=1,3,5,7
/proc/22779/stat : 22779 (clasp) R 22777 22779 22218 0 -1 4202496 6681 0 0 0 1268 1 0 0 25 0 1 0 901311085 27099136 6158 33554432000 134512640 136285325 4288356368 18446744073709551615 135028003 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/22779/statm: 6616 6158 211 433 0 6181 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 26464

[startup+25.5005 s]
/proc/loadavg: 1.99 1.97 1.79 3/175 22781
/proc/meminfo: memFree=1516696/32951124 swapFree=67064380/67111528
[pid=22779] ppid=22777 vsize=26596 CPUtime=25.49 cores=1,3,5,7
/proc/22779/stat : 22779 (clasp) R 22777 22779 22218 0 -1 4202496 6729 0 0 0 2548 1 0 0 25 0 1 0 901311085 27234304 6206 33554432000 134512640 136285325 4288356368 18446744073709551615 134954766 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/22779/statm: 6649 6206 211 433 0 6214 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 26596

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

[startup+38.3011 s]
/proc/loadavg: 1.99 1.97 1.79 3/175 22781
/proc/meminfo: memFree=1516288/32951124 swapFree=67064380/67111528
[pid=22779] ppid=22777 vsize=26596 CPUtime=38.29 cores=1,3,5,7
/proc/22779/stat : 22779 (clasp) R 22777 22779 22218 0 -1 4202496 6730 0 0 0 3828 1 0 0 25 0 1 0 901311085 27234304 6207 33554432000 134512640 136285325 4288356368 18446744073709551615 135028721 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/22779/statm: 6649 6207 211 433 0 6214 0
Current children cumulated CPU time (s) 38.29
Current children cumulated vsize (KiB) 26596

[startup+41.5005 s]
/proc/loadavg: 1.99 1.97 1.79 3/175 22781
/proc/meminfo: memFree=1516284/32951124 swapFree=67064380/67111528
[pid=22779] ppid=22777 vsize=26596 CPUtime=41.49 cores=1,3,5,7
/proc/22779/stat : 22779 (clasp) R 22777 22779 22218 0 -1 4202496 6730 0 0 0 4148 1 0 0 25 0 1 0 901311085 27234304 6207 33554432000 134512640 136285325 4288356368 18446744073709551615 134732512 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/22779/statm: 6649 6207 211 433 0 6214 0
Current children cumulated CPU time (s) 41.49
Current children cumulated vsize (KiB) 26596

[startup+43.1002 s]
/proc/loadavg: 1.99 1.97 1.79 3/175 22781
/proc/meminfo: memFree=1516284/32951124 swapFree=67064380/67111528
[pid=22779] ppid=22777 vsize=26596 CPUtime=43.09 cores=1,3,5,7
/proc/22779/stat : 22779 (clasp) R 22777 22779 22218 0 -1 4202496 6730 0 0 0 4308 1 0 0 25 0 1 0 901311085 27234304 6207 33554432000 134512640 136285325 4288356368 18446744073709551615 134954774 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/22779/statm: 6649 6207 211 433 0 6214 0
Current children cumulated CPU time (s) 43.09
Current children cumulated vsize (KiB) 26596

[startup+44.7009 s]
/proc/loadavg: 1.99 1.97 1.79 3/175 22781
/proc/meminfo: memFree=1516284/32951124 swapFree=67064380/67111528
[pid=22779] ppid=22777 vsize=26596 CPUtime=44.69 cores=1,3,5,7
/proc/22779/stat : 22779 (clasp) R 22777 22779 22218 0 -1 4202496 6730 0 0 0 4468 1 0 0 25 0 1 0 901311085 27234304 6207 33554432000 134512640 136285325 4288356368 18446744073709551615 134939298 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/22779/statm: 6649 6207 211 433 0 6214 0
Current children cumulated CPU time (s) 44.69
Current children cumulated vsize (KiB) 26596

[startup+45.1058 s]
/proc/loadavg: 1.99 1.97 1.79 3/175 22782
/proc/meminfo: memFree=1516160/32951124 swapFree=67064380/67111528
[pid=22779] ppid=22777 vsize=26596 CPUtime=45.1 cores=1,3,5,7
/proc/22779/stat : 22779 (clasp) R 22777 22779 22218 0 -1 4202496 6743 0 0 0 4509 1 0 0 25 0 1 0 901311085 27234304 6220 33554432000 134512640 136285325 4288356368 18446744073709551615 134625903 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/22779/statm: 6649 6220 211 433 0 6214 0
Current children cumulated CPU time (s) 45.1
Current children cumulated vsize (KiB) 26596

[startup+45.3008 s]
/proc/loadavg: 1.99 1.97 1.79 3/175 22782
/proc/meminfo: memFree=1516160/32951124 swapFree=67064380/67111528
[pid=22779] ppid=22777 vsize=26992 CPUtime=45.29 cores=1,3,5,7
/proc/22779/stat : 22779 (clasp) R 22777 22779 22218 0 -1 4202496 6835 0 0 0 4528 1 0 0 25 0 1 0 901311085 27639808 6312 33554432000 134512640 136285325 4288356368 18446744073709551615 134933924 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/22779/statm: 6748 6312 211 433 0 6313 0
Current children cumulated CPU time (s) 45.29
Current children cumulated vsize (KiB) 26992

Child status: 10
Real time (s): 45.3108
CPU time (s): 45.3111
CPU user time (s): 45.2961
CPU system time (s): 0.014997
CPU usage (%): 100.001
Max. virtual memory (cumulated for all children) (KiB): 26992

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 45.2961
system time used= 0.014997
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 6847
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= 3
involuntary context switches= 64

runsolver used 0.074988 second user time and 0.140978 second system time

The end

Launcher Data 

Begin job on node105 at 2011-06-12 18:45:06
IDJOB=3448215
IDBENCH=79010
IDSOLVER=1946
FILE ID=node105/3448215-1307897106
RUNJOBID= node105-1307895224-22510
PBS_JOBID= 13559597
Free space on /var/tmp= 2888 MiB

SOLVER NAME= clasp 2.0-RC2
BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/normalized-dlx1c.rwmem.ucl--soft-33-100-0.wbo
COMMAND LINE= HOME/clasp BENCHNAME --restart-on-model --opt-heu=2 --heu=Berkmin --berk-max=512 --berk-once
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /var/tmp/evaluation-result-3448215-1307897106/watcher-3448215-1307897106 -o /var/tmp/evaluation-result-3448215-1307897106/solver-3448215-1307897106 -C 1800 -W 1900 -M 15500  HOME/clasp HOME/instance-3448215-1307897106.wbo --restart-on-model --opt-heu=2 --heu=Berkmin --berk-max=512 --berk-once

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= 5718f3653dc0b9ba0b2db26893fe4fdf
RANDOM SEED=2020622478

node105.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.825
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5333.65
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.825
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5226.15
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.825
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.825
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.825
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5410.70
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.825
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.825
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.825
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:       1541656 kB
Buffers:         48612 kB
Cached:       30374644 kB
SwapCached:      19872 kB
Active:       15316816 kB
Inactive:     15142696 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:       1541656 kB
SwapTotal:    67111528 kB
SwapFree:     67064380 kB
Dirty:            2864 kB
Writeback:           0 kB
AnonPages:       33656 kB
Mapped:          11368 kB
Slab:           886384 kB
PageTables:       4240 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   186980 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /var/tmp at the end= 2884 MiB
End job on node105 at 2011-06-12 18:45:52