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