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