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

OK	9

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-3707045-1338137680/watcher-3707045-1338137680 -o /tmp/evaluation-result-3707045-1338137680/solver-3707045-1338137680 -C 1800 -W 1900 -M 15500 HOME/toysat --pb HOME/instance-3707045-1338137680.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: 2.07 2.04 2.00 3/176 5688
/proc/meminfo: memFree=31325956/32873844 swapFree=7112/7112
[pid=5688] ppid=5686 vsize=6208 CPUtime=0 cores=1,3,5,7
/proc/5688/stat : 5688 (toysat) R 5686 5688 4109 0 -1 4202496 809 0 0 0 0 0 0 0 20 0 1 0 279892918 6356992 729 33554432000 4194304 8973514 140736690802144 140735661423160 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/5688/statm: 1552 729 416 1167 0 333 0

[startup+0.00859006 s]
/proc/loadavg: 2.07 2.04 2.00 3/176 5688
/proc/meminfo: memFree=31325956/32873844 swapFree=7112/7112
[pid=5688] ppid=5686 vsize=7232 CPUtime=0 cores=1,3,5,7
/proc/5688/stat : 5688 (toysat) R 5686 5688 4109 0 -1 4202496 869 0 0 0 0 0 0 0 20 0 1 0 279892918 7405568 789 33554432000 4194304 8973514 140736690802144 140735661423160 4209325 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/5688/statm: 1808 791 416 1167 0 589 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 7232

[startup+0.100275 s]
/proc/loadavg: 2.07 2.04 2.00 3/176 5688
/proc/meminfo: memFree=31325956/32873844 swapFree=7112/7112
[pid=5688] ppid=5686 vsize=12352 CPUtime=0.09 cores=1,3,5,7
/proc/5688/stat : 5688 (toysat) R 5686 5688 4109 0 -1 4202496 2356 0 0 0 9 0 0 0 20 0 1 0 279892918 12648448 2276 33554432000 4194304 8973514 140736690802144 140735661423160 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/5688/statm: 3088 2276 418 1167 0 1869 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 12352

[startup+0.300308 s]
/proc/loadavg: 2.07 2.04 2.00 3/176 5688
/proc/meminfo: memFree=31325956/32873844 swapFree=7112/7112
[pid=5688] ppid=5686 vsize=27712 CPUtime=0.29 cores=1,3,5,7
/proc/5688/stat : 5688 (toysat) R 5686 5688 4109 0 -1 4202496 6082 0 0 0 28 1 0 0 20 0 1 0 279892918 28377088 6002 33554432000 4194304 8973514 140736690802144 140735661423160 7937344 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/5688/statm: 6928 6002 418 1167 0 5709 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 27712

[startup+0.700293 s]
/proc/loadavg: 2.07 2.04 2.00 3/176 5688
/proc/meminfo: memFree=31325956/32873844 swapFree=7112/7112
[pid=5688] ppid=5686 vsize=42048 CPUtime=0.69 cores=1,3,5,7
/proc/5688/stat : 5688 (toysat) R 5686 5688 4109 0 -1 4202496 9815 0 0 0 67 2 0 0 20 0 1 0 279892918 43057152 9735 33554432000 4194304 8973514 140736690802144 140736690800984 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/5688/statm: 10512 9735 447 1167 0 9293 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 42048

[startup+1.50031 s]
/proc/loadavg: 2.06 2.04 2.00 3/177 5689
/proc/meminfo: memFree=31288632/32873844 swapFree=7112/7112
[pid=5688] ppid=5686 vsize=43072 CPUtime=1.49 cores=1,3,5,7
/proc/5688/stat : 5688 (toysat) R 5686 5688 4109 0 -1 4202496 10071 0 0 0 147 2 0 0 20 0 1 0 279892918 44105728 9991 33554432000 4194304 8973514 140736690802144 140736690800984 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/5688/statm: 10768 9991 447 1167 0 9549 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 43072

[startup+3.10024 s]
/proc/loadavg: 2.06 2.04 2.00 3/177 5689
/proc/meminfo: memFree=31287004/32873844 swapFree=7112/7112
[pid=5688] ppid=5686 vsize=43072 CPUtime=3.09 cores=1,3,5,7
/proc/5688/stat : 5688 (toysat) R 5686 5688 4109 0 -1 4202496 10071 0 0 0 306 3 0 0 20 0 1 0 279892918 44105728 9991 33554432000 4194304 8973514 140736690802144 140736690801248 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/5688/statm: 10768 9991 447 1167 0 9549 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 43072

[startup+6.30029 s]
/proc/loadavg: 2.06 2.04 2.00 3/177 5689
/proc/meminfo: memFree=31286508/32873844 swapFree=7112/7112
[pid=5688] ppid=5686 vsize=43072 CPUtime=6.29 cores=1,3,5,7
/proc/5688/stat : 5688 (toysat) R 5686 5688 4109 0 -1 4202496 10071 0 0 0 624 5 0 0 20 0 1 0 279892918 44105728 9991 33554432000 4194304 8973514 140736690802144 140736690801640 4213876 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/5688/statm: 10768 9991 447 1167 0 9549 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 43072

[startup+12.7003 s]
/proc/loadavg: 2.05 2.04 2.00 3/177 5689
/proc/meminfo: memFree=31282928/32873844 swapFree=7112/7112
[pid=5688] ppid=5686 vsize=47168 CPUtime=12.68 cores=1,3,5,7
/proc/5688/stat : 5688 (toysat) R 5686 5688 4109 0 -1 4202496 11095 0 0 0 1261 7 0 0 20 0 1 0 279892918 48300032 11015 33554432000 4194304 8973514 140736690802144 140736690801640 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/5688/statm: 11792 11015 447 1167 0 10573 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 47168

[startup+25.5003 s]
/proc/loadavg: 2.04 2.04 2.00 3/177 5689
/proc/meminfo: memFree=31280804/32873844 swapFree=7112/7112
[pid=5688] ppid=5686 vsize=54336 CPUtime=25.49 cores=1,3,5,7
/proc/5688/stat : 5688 (toysat) R 5686 5688 4109 0 -1 4202496 12887 0 0 0 2536 13 0 0 20 0 1 0 279892918 55640064 12807 33554432000 4194304 8973514 140736690802144 140736690801640 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/5688/statm: 13584 12807 447 1167 0 12365 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 54336

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

[startup+28.7004 s]
/proc/loadavg: 2.04 2.04 2.00 3/177 5689
/proc/meminfo: memFree=31276200/32873844 swapFree=7112/7112
[pid=5688] ppid=5686 vsize=55360 CPUtime=28.68 cores=1,3,5,7
/proc/5688/stat : 5688 (toysat) R 5686 5688 4109 0 -1 4202496 13144 0 0 0 2855 13 0 0 20 0 1 0 279892918 56688640 13068 33554432000 4194304 8973514 140736690802144 140736690801248 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/5688/statm: 13840 13068 447 1167 0 12621 0
Current children cumulated CPU time (s) 28.68
Current children cumulated vsize (KiB) 55360

[startup+29.5003 s]
/proc/loadavg: 2.04 2.04 2.00 3/177 5689
/proc/meminfo: memFree=31276200/32873844 swapFree=7112/7112
[pid=5688] ppid=5686 vsize=56384 CPUtime=29.49 cores=1,3,5,7
/proc/5688/stat : 5688 (toysat) R 5686 5688 4109 0 -1 4202496 13168 0 0 0 2935 14 0 0 20 0 1 0 279892918 57737216 13092 33554432000 4194304 8973514 140736690802144 140736690801248 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/5688/statm: 14096 13092 447 1167 0 12877 0
Current children cumulated CPU time (s) 29.49
Current children cumulated vsize (KiB) 56384

[startup+30.3003 s]
/proc/loadavg: 2.04 2.04 2.00 3/177 5689
/proc/meminfo: memFree=31278620/32873844 swapFree=7112/7112
[pid=5688] ppid=5686 vsize=56384 CPUtime=30.28 cores=1,3,5,7
/proc/5688/stat : 5688 (toysat) R 5686 5688 4109 0 -1 4202496 13400 0 0 0 3014 14 0 0 20 0 1 0 279892918 57737216 13324 33554432000 4194304 8973514 140736690802144 140736690801640 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/5688/statm: 14096 13324 447 1167 0 12877 0
Current children cumulated CPU time (s) 30.28
Current children cumulated vsize (KiB) 56384

[startup+30.5003 s]
/proc/loadavg: 2.04 2.04 2.00 3/177 5689
/proc/meminfo: memFree=31278620/32873844 swapFree=7112/7112
[pid=5688] ppid=5686 vsize=56384 CPUtime=30.48 cores=1,3,5,7
/proc/5688/stat : 5688 (toysat) R 5686 5688 4109 0 -1 4202496 13400 0 0 0 3034 14 0 0 20 0 1 0 279892918 57737216 13324 33554432000 4194304 8973514 140736690802144 140736690801640 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/5688/statm: 14096 13324 447 1167 0 12877 0
Current children cumulated CPU time (s) 30.48
Current children cumulated vsize (KiB) 56384

[startup+30.6003 s]
/proc/loadavg: 2.04 2.04 2.00 3/177 5689
/proc/meminfo: memFree=31278620/32873844 swapFree=7112/7112
[pid=5688] ppid=5686 vsize=0 CPUtime=30.58 cores=1,3,5,7
/proc/5688/stat : 5688 (toysat) R 5686 5688 4109 0 -1 4202500 13414 0 0 0 3044 14 0 0 20 0 1 0 279892918 0 0 33554432000 0 0 0 0 0 0 0 0 33554432 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/5688/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 30.58
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 30.6032
CPU time (s): 30.5963
CPU user time (s): 30.4464
CPU system time (s): 0.149977
CPU usage (%): 99.9777
Max. virtual memory (cumulated for all children) (KiB): 56384

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 30.4464
system time used= 0.149977
maximum resident set size= 53352
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 13414
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= 4
involuntary context switches= 32

runsolver used 0.065989 second user time and 0.149977 second system time

The end

Begin job on node142 at 2012-05-27 18:54:40
IDJOB=3707045
IDBENCH=71841
IDSOLVER=2285
FILE ID=node142/3707045-1338137680
RUNJOBID= node142-1338115130-4126
PBS_JOBID= 14624473
Free space on /tmp= 71688 MiB

SOLVER NAME= toysat 2012-05-17
BENCH NAME= PB09/normalized-PB09/OPT-SMALLINT-LIN/flexray/normalized-fx92.opb
COMMAND LINE= HOME/toysat --pb BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3707045-1338137680/watcher-3707045-1338137680 -o /tmp/evaluation-result-3707045-1338137680/solver-3707045-1338137680 -C 1800 -W 1900 -M 15500  HOME/toysat --pb HOME/instance-3707045-1338137680.opb

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

MD5SUM BENCH= 27a6a4205f1c6df1de962194e8e7e014
RANDOM SEED=2083114279

node142.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.776
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.55
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.776
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.776
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	: 5391.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.776
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.92
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.776
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.776
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	: 5331.91
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.776
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.776
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:        31326600 kB
Buffers:          323324 kB
Cached:           356548 kB
SwapCached:            0 kB
Active:           504920 kB
Inactive:         221088 kB
Active(anon):      36832 kB
Inactive(anon):    11212 kB
Active(file):     468088 kB
Inactive(file):   209876 kB
Unevictable:        7112 kB
Mlocked:            7112 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:              8176 kB
Writeback:             0 kB
AnonPages:         52792 kB
Mapped:            13432 kB
Shmem:               200 kB
Slab:             681440 kB
SReclaimable:     123768 kB
SUnreclaim:       557672 kB
KernelStack:        1456 kB
PageTables:         4068 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     160000 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= 71680 MiB
End job on node142 at 2012-05-27 18:55:11