Trace number 43865

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerObjective functionCPU timeWall clock time
SAT4JPSEUDO 2006.2SAT (TO)784 1801.05 1757.91

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/
pub/unibo/normalized-reduced-mps-v2-20-10-core2586-950.opb
MD5SUMac375eafd62b8d1010f2c1559ff8989d
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark572
Best CPU time to get the best result obtained on this benchmark1800.63
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 547
Optimality of the best value was proved NO
Number of variables13215
Total number of constraints2587
Number of constraints which are clauses2586
Number of constraints which are cardinality constraints (but not clauses)1
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint10632
Number of terms in the objective function 13215
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 13215
Number of bits of the sum of numbers in the objective function 14
Biggest number in a constraint 9256
Number of bits of the biggest number in a constraint 14
Biggest sum of numbers in a constraint 19888
Number of bits of the biggest sum of numbers15
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data (download as text)

0.15	c SAT4J: a SATisfiability library for Java (c) 2004-2006 Daniel Le Berre
0.15	c This is free software under the GNU LGPL licence. See www.sat4j.org for details.
0.15	c no version file found!!!
0.15	c sun.arch.data.model	32
0.15	c java.version	1.5.0_06
0.15	c os.name	Linux
0.15	c os.version	2.6.9-22.EL.rootsmp
0.15	c os.arch	i386
0.15	c Free memory 1548419056
0.15	c Max memory 1551040512
0.15	c Total memory 1551040512
0.15	c Number of processors 2
0.20	c Cutting planes based inference
0.20	c --- Begin Solver configuration ---
0.20	c org.sat4j.minisat.uip.FirstUIP@1037c71
0.20	c org.sat4j.minisat.constraints.PBMaxClauseCardConstrDataStructure@1df073d
0.20	c org.sat4j.minisat.learning.MiniSATLearning@1546e25
0.20	c conflictBoundIncFactor=1.5 learntBoundIncFactor=1.1 initLearntBoundConstraintFactor=10000.0 initConflictBound=100 
0.20	c VSIDS like heuristics from MiniSAT using a heap
0.20	c No reason simplification
0.20	c --- End Solver configuration ---
0.20	c solving ROOT/tmp/node31/43865-1149262204/instance-43865-1149262204.opb
0.20	c reading problem ... 
2.06	c ... done. Time 1.863 ms.
2.06	c #vars     13215
2.06	c #constraints  2513
2.30	c SATISFIABLE
2.30	c OPTIMIZING...
2.30	c Got one! Ellapsed CPU time (in seconds):2.103
2.53	o 790
3.08	c Got one! Ellapsed CPU time (in seconds):2.882
3.25	o 789
3.76	c Got one! Ellapsed CPU time (in seconds):3.559
3.93	o 788
4.49	c Got one! Ellapsed CPU time (in seconds):4.286
4.65	o 787
5.61	c Got one! Ellapsed CPU time (in seconds):5.407
5.78	o 786
8.76	c Got one! Ellapsed CPU time (in seconds):8.562
8.94	o 785
12.65	c Got one! Ellapsed CPU time (in seconds):12.451
12.83	o 784
1757.30	c starts		: 13
1757.30	c conflicts		: 2257
1757.30	c decisions		: 188652
1757.30	c propagations		: 981448
1757.30	c inspects		: 13990732
1757.30	c learnt literals	: 0
1757.30	c learnt binary clauses	: 0
1757.30	c learnt ternary clauses	: 0
1757.30	c learnt clauses	: 2256
1757.30	c root simplifications	: 0
1757.30	c removed literals (reason simplification)	: 0
1757.30	c reason swapping (by a shorter reason)	: 0
1757.30	c Calls to reduceDB	: 0
1757.30	c speed (decisions/second)	: 108.15496409683105
1757.30	c non guided choices	98724
1757.30	s SATISFIABLE
1757.40	v -x1 x2 -x3 x4 x5 -x6 -x7 x8 -x9 -x10 -x11 -x12 -x13 -x14 x15 -x16 -x17 -x18 -x19 -x20 -x21 x22 -x23 x24 -x25 x26 -x27 -x28 -x29 x30
1757.40	v -x31 -x32 -x33 -x34 x35 -x36 x37 x38 -x39 x40 -x41 -x42 -x43 -x44 -x45 x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 x54 -x55 -x56 -x57
1757.40	v x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 x79 x80 -x81 -x82 -x83 -x84
1757.40	v -x85 x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 x94 -x95 -x96 -x97 -x98 -x99 -x100 x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108
1757.40	v -x109 -x110 -x111 x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129
1757.40	v -x130 -x131 x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150
1757.40	v -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 x159 -x160 -x161 x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171
1757.40	v -x172 -x173 -x174 -x175 -x176 -x177 -x178 x179 -x180 -x181 x182 -x183 -x184 -x185 -x186 x187 -x188 -x189 -x190 -x191 -x192
1757.40	v -x193 -x194 x195 -x196 -x197 -x198 x199 -x200 -x201 -x202 x203 x204 x205 -x206 x207 -x208 -x209 x210 -x211 -x212 -x213 x214
1757.40	v -x215 -x216 x217 x218 -x219 -x220 -x221 -x222 -x223 x224 -x225 x226 -x227 x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236
1757.40	v x237 -x238 x239 -x240 x241 -x242 -x243 -x244 x245 x246 x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 x258
1757.40	v x259 -x260 -x261 -x262 x263 -x264 -x265 -x266 -x267 -x268 x269 -x270 -x271 -x272 -x273 x274 -x275 x276 x277 x278 x279 -x280
1757.40	v x281 -x282 x283 -x284 -x285 -x286 x287 -x288 x289 -x290 -x291 -x292 x293 x294 -x295 -x296 -x297 x298 -x299 -x300 -x301 x302
1757.40	v -x303 -x304 -x305 -x306 -x307 -x308 x309 -x310 -x311 -x312 -x313 -x314 x315 x316 -x317 -x318 -x319 x320 -x321 x322 x323 -x324
1757.40	v -x325 -x326 -x327 -x328 -x329 x330 -x331 x332 x333 -x334 -x335 -x336 x337 -x338 -x339 x340 -x341 x342 -x343 -x344 x345 x346
1757.40	v x347 x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 x366 -x367
1757.40	v -x368 x369 x370 -x371 -x372 -x373 -x374 x375 x376 x377 -x378 -x379 x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389
1757.40	v -x390 x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 x402 x403 x404 -x405 -x406 -x407 x408 -x409 -x410 -x411
1757.40	v x412 -x413 x414 -x415 -x416 -x417 x418 x419 -x420 -x421 -x422 x423 -x424 -x425 -x426 -x427 -x428 -x429 x430 -x431 x432 -x433
1757.40	v x434 x435 -x436 x437 -x438 -x439 -x440 -x441 -x442 x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454
1757.40	v -x455 x456 -x457 x458 -x459 -x460 -x461 -x462 x463 x464 -x465 x466 x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476
1757.40	v -x477 -x478 -x479 -x480 -x481 x482 -x483 x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 x494 -x495 -x496 x497
1757.40	v -x498 x499 -x500 x501 -x502 x503 x504 -x505 x506 -x507 -x508 x509 x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519
1757.40	v -x520 -x521 -x522 -x523 -x524 x525 -x526 -x527 -x528 x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540
1757.40	v x541 -x542 -x543 -x544 -x545 -x546 -x547 x548 -x549 x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 x560 x561 -x562
1757.40	v -x563 x564 x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 x576 -x577 -x578 -x579 -x580 x581 -x582 -x583
1757.40	v -x584 -x585 x586 -x587 -x588 -x589 -x590 -x591 x592 -x593 -x594 -x595 -x596 x597 x598 -x599 -x600 -x601 -x602 -x603 -x604
1757.40	v -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 x623 -x624 -x625
1757.40	v -x626 -x627 -x628 -x629 x630 -x631 -x632 x633 -x634 x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646
1757.40	v -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667
1757.40	v -x668 -x669 -x670 -x671 x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 x687 -x688
1757.40	v -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709
1757.40	v -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 x728 -x729 -x730
1757.40	v -x731 -x732 -x733 x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 x743 x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751
1757.40	v -x752 -x753 x754 -x755 -x756 -x757 x758 -x759 x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772
1757.40	v -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793
1757.40	v -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814
1757.40	v -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 x829 -x830 -x831 -x832 -x833 -x834 -x835
1757.40	v -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 x854 -x855 -x856
1757.40	v -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877
1757.40	v -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898
1757.40	v -x899 -x900 -x901 -x902 -x903 x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 x917 -x918 x919
1757.40	v -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 x938 -x939 -x940
1757.40	v x941 -x942 x943 x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 x959 -x960 -x961
1757.40	v -x962 -x963 -x964 -x965 -x966 x967 -x968 -x969 -x970 -x971 x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982
1757.40	v -x983 -x984 -x985 -x986 -x987 x988 x989 -x990 -x991 x992 x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003
1757.40	v -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 x1011 -x1012 x1013 -x1014 -x1015 -x1016 x1017 -x1018 -x1019 -x1020 -x1021
1757.40	v x1022 x1023 -x1024 -x1025 -x1026 -x1027 x1028 -x1029 x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039
1757.40	v -x1040 -x1041 -x1042 -x1043 x1044 x1045 -x1046 -x1047 -x1048 x1049 -x1050 x1051 x1052 -x1053 -x1054 -x1055 x1056 -x1057
1757.40	v x1058 -x1059 -x1060 -x1061 x1062 -x1063 x1064 x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 x1075
1757.40	v -x1076 -x1077 x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092
1757.40	v -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 x1107 -x1108 -x1109
1757.40	v -x1110 -x1111 -x1112 x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 x1122 -x1123 -x1124 -x1125 -x1126 -x1127
1757.40	v -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144
1757.40	v -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161
1757.40	v x1162 -x1163 -x1164 x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179
1757.40	v -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 x1192 -x1193 -x1194 -x1195 -x1196
1757.40	v -x1197 -x1198 -x1199 -x1200 -x1201 x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213
1757.40	v -x1214 -x1215 x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 x1226 x1227 -x1228 -x1229 -x1230 -x1231
1757.40	v -x1232 -x1233 x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249
1757.40	v -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 x1261 -x1262 -x1263 -x1264 -x1265 -x1266
1757.40	v -x1267 x1268 -x1269 -x1270 x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 x1279 x1280 -x1281 x1282 -x1283 -x1284
1757.40	v -x1285 -x1286 -x1287 -x1288 -x1289 x1290 -x1291 x1292 -x1293 -x1294 x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302
1757.40	v -x1303 -x1304 -x1305 x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319
1757.40	v -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 x1333 -x1334 -x1335 -x1336
1757.40	v -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 x1350 -x1351 -x1352 -x1353
1757.40	v -x1354 -x1355 -x1356 x1357 x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371
1757.40	v -x1372 -x1373 -x1374 -x1375 x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 x1387 -x1388 -x1389
1757.40	v -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 x1403 x1404 -x1405 -x1406 -x1407
1757.40	v -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 x1419 -x1420 -x1421 -x1422 -x1423 -x1424
1757.40	v x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441
1757.40	v -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 x1455 -x1456 -x1457 -x1458
1757.40	v -x1459 x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475
1757.40	v -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492
1757.40	v -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509
1757.40	v -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 x1516 -x1517 -x1518 x1519 -x1520 x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527
1757.40	v -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544
1757.40	v -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561
1757.40	v -x1562 -x1563 -x1564 -x1565 -x1566 x1567 -x1568 x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 x1576 -x1577 -x1578 -x1579
1757.40	v -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596
1757.40	v x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613
1757.40	v -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 x1628 -x1629 -x1630
1757.40	v -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647
1757.40	v -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 x1661 -x1662 -x1663 x1664 -x1665
1757.40	v -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682
1757.40	v -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699
1757.40	v -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716
1757.40	v -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733
1757.40	v -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750
1757.40	v -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767
1757.40	v -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784
1757.40	v -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801
1757.40	v -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818
1757.40	v -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835
1757.40	v -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852
1757.40	v -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869
1757.40	v -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886
1757.40	v -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903
1757.40	v -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920
1757.40	v -x1921 x1922 -x1923 x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938
1757.40	v -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955
1757.40	v -x1956 -x1957 -x1958 -x1959 -x1960 x1961 -x1962 x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973
1757.40	v -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990
1757.40	v -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 x1997 -x1998 -x1999 x2000 -x2001 x2002 x2003 -x2004 x2005 -x2006 -x2007 x2008
1757.40	v -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 x2022 -x2023 x2024 -x2025 -x2026
1757.40	v -x2027 -x2028 -x2029 x2030 -x2031 -x2032 x2033 -x2034 -x2035 -x2036 -x2037 x2038 -x2039 -x2040 -x2041 -x2042 x2043 -x2044
1757.40	v -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 x2051 -x2052 x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062
1757.40	v -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079
1757.40	v x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 x2087 -x2088 -x2089 x2090 -x2091 -x2092 x2093 -x2094 -x2095 -x2096 x2097
1757.40	v -x2098 -x2099 -x2100 -x2101 -x2102 x2103 x2104 -x2105 -x2106 -x2107 x2108 -x2109 -x2110 x2111 x2112 -x2113 -x2114 -x2115
1757.40	v x2116 -x2117 x2118 -x2119 -x2120 x2121 -x2122 x2123 x2124 -x2125 -x2126 x2127 x2128 -x2129 x2130 -x2131 -x2132 -x2133 -x2134
1757.40	v x2135 -x2136 x2137 -x2138 x2139 x2140 x2141 -x2142 -x2143 -x2144 -x2145 -x2146 x2147 -x2148 -x2149 -x2150 x2151 -x2152
1757.40	v -x2153 -x2154 -x2155 -x2156 x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169
1757.40	v -x2170 -x2171 -x2172 -x2173 x2174 -x2175 -x2176 -x2177 x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187
1757.40	v x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 x2197 x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205
1757.40	v -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 x2214 -x2215 -x2216 -x2217 x2218 -x2219 -x2220 -x2221 -x2222 -x2223
1757.40	v -x2224 -x2225 -x2226 -x2227 x2228 -x2229 -x2230 x2231 -x2232 -x2233 -x2234 -x2235 -x2236 x2237 -x2238 -x2239 -x2240 -x2241
1757.40	v -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258
1757.40	v -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 x2273 -x2274 -x2275
1757.40	v -x2276 x2277 -x2278 x2279 x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 x2288 -x2289 -x2290 -x2291 -x2292 -x2293
1757.40	v -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310
1757.40	v -x2311 -x2312 -x2313 -x2314 -x2315 x2316 -x2317 -x2318 -x2319 -x2320 x2321 x2322 -x2323 -x2324 -x2325 -x2326 x2327 -x2328
1757.40	v -x2329 -x2330 -x2331 -x2332 x2333 x2334 -x2335 x2336 -x2337 -x2338 -x2339 -x2340 x2341 -x2342 -x2343 -x2344 x2345 -x2346
1757.40	v -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363
1757.40	v -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380
1757.40	v -x2381 -x2382 -x2383 -x2384 x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 x2392 x2393 x2394 -x2395 -x2396 -x2397 -x2398
1757.40	v -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415
1757.40	v -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432
1757.40	v -x2433 -x2434 -x2435 -x2436 -x2437 x2438 -x2439 x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450
1757.40	v -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 x2463 x2464 -x2465 x2466 x2467 -x2468
1757.40	v -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485
1757.40	v -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502
1757.40	v -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519
1757.40	v -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 x2533 -x2534 -x2535 -x2536
1757.40	v -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553
1757.40	v x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571
1757.40	v -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588
1757.40	v -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605
1757.40	v -x2606 -x2607 -x2608 -x2609 x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 x2620 -x2621 -x2622 -x2623
1757.40	v -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640
1757.40	v -x2641 x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 x2657 -x2658
1757.40	v -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675
1757.40	v -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692
1757.40	v -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709
1757.40	v -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 x2721 -x2722 -x2723 -x2724 -x2725 -x2726
1757.40	v -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 x2733 x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744
1757.40	v -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761
1757.40	v -x2762 -x2763 -x2764 -x2765 x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 x2774 -x2775 -x2776 -x2777 -x2778 -x2779
1757.40	v -x2780 -x2781 -x2782 -x2783 x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796
1757.40	v -x2797 -x2798 -x2799 x2800 x2801 -x2802 -x2803 -x2804 -x2805 x2806 -x2807 -x2808 -x2809 x2810 -x2811 -x2812 -x2813 -x2814
1757.40	v -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 x2830 -x2831
1757.40	v -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 x2845 x2846 -x2847 -x2848 -x2849
1757.40	v x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867
1757.40	v -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 x2882 -x2883 -x2884
1757.40	v -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 x2896 -x2897 -x2898 -x2899 -x2900 -x2901
1757.40	v -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918
1757.40	v -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935
1757.40	v -x2936 -x2937 -x2938 -x2939 -x2940 x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952
1757.40	v -x2953 -x2954 -x2955 x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969
1757.40	v -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986
1757.40	v -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003
1757.40	v -x3004 -x3005 -x3006 -x3007 x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020
1757.40	v -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 x3035 -x3036 -x3037
1757.40	v -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054
1757.40	v -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071
1757.40	v -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 x3086 -x3087 -x3088
1757.40	v -x3089 -x3090 -x3091 -x3092 x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105
1757.40	v x3106 -x3107 -x3108 -x3109 -x3110 -x3111 x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123
1757.40	v -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140
1757.40	v -x3141 -x3142 x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157
1757.40	v -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174
1757.40	v -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191
1757.40	v -x3192 -x3193 -x3194 -x3195 -x3196 x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 x3205 -x3206 -x3207 -x3208 -x3209
1757.40	v -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226
1757.40	v -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 x3239 -x3240 -x3241 -x3242 -x3243
1757.40	v -x3244 -x3245 -x3246 x3247 -x3248 -x3249 -x3250 x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261
1757.40	v -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278
1757.40	v -x3279 -x3280 -x3281 x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 x3291 -x3292 -x3293 -x3294 -x3295 -x3296
1757.40	v -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313
1757.40	v -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 x3327 -x3328 -x3329 -x3330
1757.40	v -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347
1757.40	v -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364
1757.40	v -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381
1757.40	v -x3382 -x3383 -x3384 -x3385 -x3386 x3387 -x3388 -x3389 -x3390 -x3391 -x3392 x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399
1757.40	v -x3400 -x3401 x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416
1757.40	v -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433
1757.40	v -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450
1757.40	v -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467
1757.40	v -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484
1757.40	v -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 x3500 -x3501
1757.40	v -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518
1757.40	v -x3519 -x3520 -x3521 -x3522 x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535
1757.40	v -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552
1757.40	v -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569
1757.40	v -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586
1757.40	v -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 x3601 -x3602 -x3603
1757.40	v -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620
1757.40	v -x3621 -x3622 x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 x3636 -x3637 -x3638
1757.40	v -x3639 x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655
1757.40	v -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672
1757.40	v -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689
1757.40	v -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706
1757.40	v -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 x3722 -x3723
1757.40	v -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740
1757.40	v -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757
1757.40	v -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 x3770 -x3771 -x3772 -x3773 -x3774
1757.40	v -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 x3790 -x3791
1757.40	v -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808
1757.40	v -x3809 -x3810 -x3811 x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825
1757.40	v -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842
1757.40	v -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859
1757.40	v -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876
1757.40	v -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893
1757.40	v -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910
1757.40	v -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927
1757.40	v -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944
1757.40	v -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961
1757.40	v -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 x3971 -x3972 -x3973 -x3974 -x3975 -x3976 x3977 -x3978 -x3979
1757.40	v -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996
1757.40	v -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 x4009 x4010 -x4011 -x4012 -x4013 -x4014
1757.40	v -x4015 -x4016 -x4017 -x4018 x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031
1757.40	v -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048
1757.40	v -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065
1757.40	v -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082
1757.40	v -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099
1757.40	v -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 x4112 -x4113 -x4114 -x4115 -x4116
1757.40	v x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133
1757.40	v -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150
1757.40	v -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 x4163 -x4164 -x4165 -x4166 -x4167
1757.40	v -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 x4175 x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185
1757.40	v -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202
1757.40	v -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 x4219
1757.40	v x4220 -x4221 -x4222 -x4223 x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237
1757.40	v -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254
1757.40	v -x4255 -x4256 -x4257 x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270 -x4271
1757.40	v -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288
1757.40	v -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305
1757.40	v -x4306 -x4307 -x4308 -x4309 -x4310 x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322
1757.40	v -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339
1757.40	v -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 x4352 -x4353 -x4354 -x4355 -x4356
1757.40	v x4357 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 -x4371 -x4372 -x4373
1757.40	v -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4390
1757.40	v -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 -x4407
1757.40	v -x4408 -x4409 -x4410 -x4411 x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 -x4424
1757.40	v x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 -x4441 -x4442
1757.40	v -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 x4449 -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459
1757.40	v -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x4470 -x4471 -x4472 -x4473 -x4474 -x4475 -x4476
1757.40	v -x4477 -x4478 -x4479 -x4480 -x4481 -x4482 -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 -x4491 -x4492 -x4493
1757.40	v -x4494 -x4495 -x4496 -x4497 -x4498 -x4499 -x4500 -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4510
1757.40	v -x4511 -x4512 -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 -x4521 -x4522 x4523 -x4524 -x4525 -x4526 -x4527
1757.40	v -x4528 -x4529 -x4530 -x4531 -x4532 -x4533 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 -x4543 -x4544
1757.40	v -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 -x4559 -x4560 -x4561
1757.40	v -x4562 -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578
1757.40	v -x4579 -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x4590 -x4591 -x4592 -x4593 -x4594 -x4595
1757.40	v -x4596 -x4597 -x4598 -x4599 -x4600 -x4601 -x4602 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x4610 -x4611 -x4612
1757.40	v -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 x4620 -x4621 -x4622 -x4623 -x4624 x4625 -x4626 -x4627 -x4628 -x4629 -x4630
1757.40	v -x4631 -x4632 -x4633 -x4634 -x4635 -x4636 -x4637 -x4638 -x4639 -x4640 -x4641 -x4642 -x4643 -x4644 -x4645 -x4646 -x4647
1757.40	v -x4648 -x4649 -x4650 -x4651 -x4652 -x4653 -x4654 x4655 -x4656 -x4657 -x4658 -x4659 -x4660 -x4661 -x4662 -x4663 -x4664
1757.40	v -x4665 x4666 -x4667 -x4668 -x4669 -x4670 x4671 -x4672 -x4673 -x4674 -x4675 -x4676 x4677 x4678 x4679 x4680 -x4681 -x4682
1757.40	v -x4683 -x4684 -x4685 -x4686 x4687 -x4688 -x4689 -x4690 -x4691 x4692 -x4693 -x4694 -x4695 -x4696 -x4697 -x4698 -x4699 -x4700
1757.40	v -x4701 -x4702 -x4703 -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4710 -x4711 -x4712 -x4713 -x4714 -x4715 -x4716 x4717
1757.40	v -x4718 x4719 -x4720 x4721 -x4722 -x4723 x4724 -x4725 -x4726 -x4727 -x4728 -x4729 -x4730 -x4731 -x4732 -x4733 -x4734 -x4735
1757.40	v -x4736 -x4737 -x4738 -x4739 -x4740 -x4741 -x4742 -x4743 -x4744 -x4745 -x4746 -x4747 -x4748 -x4749 -x4750 -x4751 -x4752
1757.40	v -x4753 -x4754 -x4755 -x4756 -x4757 -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 -x4769
1757.40	v x4770 -x4771 -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 x4778 -x4779 -x4780 -x4781 -x4782 -x4783 -x4784 -x4785 -x4786 -x4787
1757.40	v -x4788 -x4789 -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 -x4798 -x4799 -x4800 -x4801 -x4802 -x4803 -x4804
1757.40	v -x4805 -x4806 x4807 -x4808 -x4809 -x4810 -x4811 -x4812 -x4813 -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 -x4820 -x4821
1757.40	v -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 -x4828 -x4829 -x4830 -x4831 -x4832 -x4833 -x4834 -x4835 -x4836 -x4837 -x4838
1757.40	v -x4839 -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 x4846 -x4847 -x4848 -x4849 -x4850 -x4851 -x4852 -x4853 -x4854 x4855 -x4856
1757.40	v -x4857 -x4858 -x4859 -x4860 -x4861 -x4862 -x4863 -x4864 -x4865 -x4866 -x4867 -x4868 -x4869 -x4870 -x4871 -x4872 -x4873
1757.40	v -x4874 -x4875 -x4876 -x4877 -x4878 -x4879 -x4880 -x4881 -x4882 -x4883 -x4884 -x4885 -x4886 -x4887 -x4888 x4889 -x4890
1757.40	v -x4891 -x4892 -x4893 -x4894 -x4895 -x4896 -x4897 -x4898 -x4899 -x4900 -x4901 -x4902 -x4903 -x4904 -x4905 -x4906 -x4907
1757.40	v -x4908 -x4909 -x4910 -x4911 -x4912 -x4913 -x4914 -x4915 -x4916 -x4917 -x4918 -x4919 -x4920 -x4921 -x4922 -x4923 -x4924
1757.40	v -x4925 -x4926 -x4927 -x4928 -x4929 -x4930 -x4931 -x4932 -x4933 -x4934 -x4935 -x4936 -x4937 -x4938 -x4939 -x4940 -x4941
1757.40	v -x4942 -x4943 -x4944 -x4945 -x4946 -x4947 -x4948 -x4949 -x4950 -x4951 -x4952 -x4953 -x4954 -x4955 -x4956 -x4957 x4958
1757.40	v -x4959 -x4960 -x4961 -x4962 -x4963 -x4964 -x4965 -x4966 -x4967 -x4968 -x4969 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975
1757.40	v -x4976 -x4977 -x4978 -x4979 -x4980 -x4981 -x4982 -x4983 -x4984 -x4985 -x4986 -x4987 -x4988 -x4989 -x4990 -x4991 -x4992
1757.40	v -x4993 -x4994 -x4995 -x4996 -x4997 -x4998 -x4999 -x5000 -x5001 x5002 -x5003 -x5004 -x5005 -x5006 -x5007 -x5008 -x5009
1757.40	v -x5010 -x5011 -x5012 -x5013 -x5014 -x5015 -x5016 -x5017 -x5018 -x5019 x5020 -x5021 -x5022 -x5023 -x5024 -x5025 -x5026
1757.40	v -x5027 -x5028 -x5029 -x5030 -x5031 -x5032 -x5033 -x5034 -x5035 -x5036 x5037 -x5038 -x5039 -x5040 -x5041 -x5042 -x5043
1757.40	v -x5044 -x5045 -x5046 -x5047 -x5048 -x5049 -x5050 -x5051 -x5052 -x5053 -x5054 -x5055 -x5056 -x5057 -x5058 -x5059 -x5060
1757.40	v -x5061 -x5062 -x5063 -x5064 -x5065 -x5066 -x5067 -x5068 -x5069 -x5070 -x5071 -x5072 -x5073 -x5074 -x5075 -x5076 -x5077
1757.40	v -x5078 -x5079 -x5080 -x5081 -x5082 -x5083 -x5084 x5085 -x5086 -x5087 -x5088 -x5089 -x5090 -x5091 -x5092 -x5093 -x5094
1757.40	v -x5095 -x5096 -x5097 -x5098 -x5099 -x5100 -x5101 -x5102 -x5103 -x5104 -x5105 -x5106 -x5107 -x5108 -x5109 -x5110 -x5111
1757.40	v -x5112 -x5113 -x5114 -x5115 -x5116 -x5117 -x5118 -x5119 -x5120 -x5121 -x5122 -x5123 -x5124 -x5125 -x5126 -x5127 -x5128
1757.40	v -x5129 -x5130 -x5131 -x5132 -x5133 -x5134 -x5135 -x5136 -x5137 -x5138 -x5139 -x5140 -x5141 -x5142 -x5143 -x5144 -x5145
1757.40	v -x5146 -x5147 -x5148 -x5149 -x5150 -x5151 -x5152 -x5153 -x5154 -x5155 -x5156 -x5157 -x5158 -x5159 -x5160 -x5161 -x5162
1757.40	v -x5163 -x5164 -x5165 -x5166 -x5167 -x5168 -x5169 -x5170 -x5171 -x5172 -x5173 -x5174 -x5175 -x5176 -x5177 -x5178 -x5179
1757.40	v x5180 -x5181 -x5182 -x5183 -x5184 -x5185 -x5186 -x5187 -x5188 -x5189 -x5190 -x5191 -x5192 -x5193 -x5194 -x5195 -x5196
1757.40	v -x5197 -x5198 -x5199 -x5200 -x5201 -x5202 -x5203 -x5204 -x5205 -x5206 -x5207 -x5208 -x5209 -x5210 -x5211 -x5212 -x5213
1757.40	v -x5214 -x5215 -x5216 -x5217 -x5218 -x5219 -x5220 -x5221 -x5222 -x5223 -x5224 -x5225 -x5226 -x5227 -x5228 -x5229 -x5230
1757.40	v -x5231 -x5232 -x5233 -x5234 -x5235 -x5236 -x5237 -x5238 -x5239 -x5240 -x5241 -x5242 -x5243 -x5244 -x5245 -x5246 -x5247
1757.40	v -x5248 -x5249 -x5250 -x5251 -x5252 -x5253 -x5254 -x5255 -x5256 -x5257 -x5258 -x5259 -x5260 -x5261 -x5262 -x5263 -x5264
1757.40	v -x5265 -x5266 -x5267 -x5268 -x5269 -x5270 -x5271 -x5272 -x5273 -x5274 -x5275 -x5276 -x5277 -x5278 -x5279 -x5280 -x5281
1757.40	v -x5282 -x5283 -x5284 -x5285 -x5286 -x5287 -x5288 -x5289 -x5290 -x5291 -x5292 -x5293 -x5294 -x5295 -x5296 -x5297 -x5298
1757.40	v -x5299 -x5300 -x5301 -x5302 -x5303 -x5304 -x5305 -x5306 -x5307 -x5308 -x5309 -x5310 -x5311 -x5312 -x5313 -x5314 -x5315
1757.40	v -x5316 -x5317 -x5318 -x5319 -x5320 -x5321 -x5322 -x5323 -x5324 -x5325 -x5326 -x5327 -x5328 -x5329 -x5330 -x5331 -x5332
1757.40	v -x5333 -x5334 -x5335 -x5336 -x5337 -x5338 -x5339 -x5340 -x5341 -x5342 -x5343 -x5344 -x5345 -x5346 -x5347 -x5348 -x5349
1757.40	v -x5350 -x5351 -x5352 -x5353 -x5354 -x5355 -x5356 -x5357 -x5358 -x5359 -x5360 -x5361 -x5362 -x5363 -x5364 -x5365 -x5366
1757.40	v -x5367 -x5368 -x5369 -x5370 -x5371 -x5372 -x5373 -x5374 -x5375 -x5376 -x5377 -x5378 -x5379 -x5380 -x5381 -x5382 -x5383
1757.40	v -x5384 -x5385 -x5386 -x5387 -x5388 -x5389 -x5390 -x5391 -x5392 -x5393 -x5394 -x5395 -x5396 -x5397 -x5398 -x5399 -x5400
1757.40	v -x5401 -x5402 -x5403 -x5404 -x5405 -x5406 -x5407 -x5408 -x5409 -x5410 -x5411 -x5412 -x5413 -x5414 -x5415 -x5416 -x5417
1757.40	v -x5418 -x5419 -x5420 -x5421 -x5422 -x5423 -x5424 -x5425 -x5426 -x5427 -x5428 -x5429 -x5430 -x5431 -x5432 -x5433 -x5434
1757.40	v -x5435 -x5436 -x5437 -x5438 -x5439 -x5440 -x5441 -x5442 -x5443 -x5444 -x5445 -x5446 -x5447 -x5448 -x5449 -x5450 -x5451
1757.40	v -x5452 -x5453 -x5454 -x5455 -x5456 -x5457 x5458 -x5459 -x5460 -x5461 -x5462 -x5463 -x5464 -x5465 -x5466 -x5467 -x5468
1757.40	v -x5469 -x5470 -x5471 -x5472 -x5473 -x5474 -x5475 -x5476 -x5477 -x5478 -x5479 -x5480 -x5481 -x5482 x5483 -x5484 -x5485
1757.40	v -x5486 -x5487 -x5488 -x5489 -x5490 -x5491 -x5492 -x5493 -x5494 -x5495 -x5496 -x5497 -x5498 -x5499 -x5500 x5501 -x5502
1757.40	v -x5503 -x5504 -x5505 -x5506 -x5507 -x5508 -x5509 x5510 -x5511 -x5512 -x5513 -x5514 -x5515 -x5516 -x5517 -x5518 -x5519
1757.40	v -x5520 -x5521 -x5522 -x5523 x5524 -x5525 -x5526 -x5527 -x5528 -x5529 -x5530 -x5531 -x5532 -x5533 -x5534 -x5535 x5536 -x5537
1757.40	v -x5538 -x5539 -x5540 -x5541 -x5542 -x5543 -x5544 -x5545 -x5546 -x5547 -x5548 -x5549 -x5550 -x5551 -x5552 -x5553 x5554
1757.40	v -x5555 -x5556 -x5557 -x5558 -x5559 -x5560 -x5561 x5562 -x5563 -x5564 -x5565 x5566 -x5567 -x5568 -x5569 -x5570 -x5571 -x5572
1757.40	v -x5573 -x5574 -x5575 -x5576 -x5577 -x5578 -x5579 -x5580 -x5581 -x5582 -x5583 -x5584 -x5585 -x5586 -x5587 -x5588 -x5589
1757.40	v -x5590 -x5591 -x5592 -x5593 -x5594 -x5595 -x5596 -x5597 -x5598 -x5599 -x5600 -x5601 -x5602 -x5603 -x5604 -x5605 -x5606
1757.40	v -x5607 -x5608 x5609 -x5610 -x5611 -x5612 -x5613 -x5614 -x5615 -x5616 -x5617 -x5618 -x5619 -x5620 -x5621 -x5622 -x5623
1757.40	v -x5624 -x5625 -x5626 -x5627 -x5628 -x5629 -x5630 -x5631 -x5632 -x5633 -x5634 -x5635 -x5636 -x5637 -x5638 x5639 x5640 -x5641
1757.40	v x5642 -x5643 -x5644 -x5645 -x5646 -x5647 -x5648 -x5649 -x5650 x5651 -x5652 -x5653 -x5654 -x5655 -x5656 -x5657 -x5658 -x5659
1757.40	v -x5660 -x5661 -x5662 -x5663 -x5664 -x5665 -x5666 x5667 -x5668 -x5669 -x5670 -x5671 -x5672 -x5673 -x5674 -x5675 -x5676
1757.40	v -x5677 -x5678 -x5679 -x5680 -x5681 -x5682 -x5683 -x5684 -x5685 -x5686 -x5687 -x5688 -x5689 -x5690 -x5691 -x5692 -x5693
1757.40	v -x5694 -x5695 -x5696 -x5697 -x5698 -x5699 -x5700 -x5701 -x5702 -x5703 -x5704 -x5705 -x5706 -x5707 -x5708 -x5709 -x5710
1757.40	v -x5711 -x5712 -x5713 -x5714 -x5715 -x5716 -x5717 x5718 -x5719 -x5720 -x5721 -x5722 -x5723 -x5724 -x5725 -x5726 -x5727
1757.40	v -x5728 -x5729 -x5730 -x5731 -x5732 -x5733 -x5734 -x5735 -x5736 -x5737 -x5738 -x5739 -x5740 -x5741 -x5742 -x5743 -x5744
1757.40	v x5745 -x5746 -x5747 -x5748 -x5749 -x5750 x5751 -x5752 -x5753 -x5754 -x5755 -x5756 -x5757 x5758 x5759 -x5760 x5761 -x5762
1757.40	v -x5763 x5764 -x5765 -x5766 -x5767 -x5768 -x5769 -x5770 -x5771 -x5772 -x5773 -x5774 -x5775 -x5776 x5777 -x5778 -x5779 -x5780
1757.40	v -x5781 -x5782 -x5783 -x5784 -x5785 -x5786 -x5787 -x5788 -x5789 x5790 -x5791 x5792 x5793 -x5794 -x5795 -x5796 x5797 x5798
1757.40	v -x5799 x5800 -x5801 -x5802 -x5803 -x5804 -x5805 -x5806 x5807 -x5808 -x5809 -x5810 x5811 -x5812 -x5813 -x5814 -x5815 -x5816
1757.40	v x5817 -x5818 -x5819 -x5820 -x5821 -x5822 -x5823 -x5824 -x5825 -x5826 -x5827 -x5828 -x5829 -x5830 -x5831 x5832 -x5833 -x5834
1757.40	v x5835 -x5836 -x5837 -x5838 -x5839 -x5840 -x5841 -x5842 -x5843 -x5844 -x5845 -x5846 -x5847 -x5848 -x5849 -x5850 -x5851
1757.40	v -x5852 -x5853 -x5854 -x5855 -x5856 -x5857 -x5858 -x5859 -x5860 -x5861 -x5862 -x5863 -x5864 -x5865 -x5866 -x5867 -x5868
1757.40	v x5869 -x5870 -x5871 -x5872 -x5873 -x5874 -x5875 -x5876 -x5877 -x5878 -x5879 -x5880 -x5881 -x5882 -x5883 -x5884 -x5885
1757.40	v -x5886 -x5887 x5888 -x5889 -x5890 -x5891 -x5892 -x5893 -x5894 -x5895 -x5896 -x5897 -x5898 -x5899 -x5900 -x5901 -x5902
1757.40	v -x5903 -x5904 -x5905 -x5906 -x5907 -x5908 -x5909 -x5910 -x5911 -x5912 -x5913 -x5914 -x5915 -x5916 -x5917 -x5918 -x5919
1757.40	v -x5920 -x5921 -x5922 -x5923 -x5924 -x5925 -x5926 -x5927 -x5928 -x5929 -x5930 -x5931 -x5932 x5933 -x5934 -x5935 -x5936
1757.40	v -x5937 -x5938 -x5939 -x5940 -x5941 -x5942 -x5943 -x5944 -x5945 -x5946 -x5947 -x5948 -x5949 -x5950 -x5951 -x5952 -x5953
1757.40	v -x5954 -x5955 -x5956 -x5957 x5958 -x5959 -x5960 -x5961 -x5962 -x5963 -x5964 -x5965 -x5966 -x5967 -x5968 -x5969 x5970 -x5971
1757.40	v -x5972 -x5973 -x5974 -x5975 -x5976 -x5977 -x5978 -x5979 -x5980 x5981 -x5982 -x5983 -x5984 -x5985 -x5986 -x5987 -x5988
1757.40	v -x5989 -x5990 -x5991 -x5992 x5993 -x5994 -x5995 -x5996 x5997 -x5998 -x5999 -x6000 -x6001 -x6002 -x6003 -x6004 -x6005 -x6006
1757.40	v -x6007 -x6008 -x6009 -x6010 -x6011 -x6012 -x6013 -x6014 -x6015 x6016 -x6017 -x6018 -x6019 -x6020 -x6021 -x6022 -x6023
1757.40	v -x6024 -x6025 -x6026 -x6027 -x6028 -x6029 -x6030 -x6031 -x6032 -x6033 -x6034 -x6035 -x6036 -x6037 -x6038 x6039 -x6040
1757.40	v -x6041 -x6042 -x6043 -x6044 -x6045 -x6046 x6047 -x6048 -x6049 -x6050 -x6051 -x6052 -x6053 -x6054 -x6055 -x6056 -x6057
1757.40	v -x6058 -x6059 -x6060 x6061 -x6062 -x6063 -x6064 -x6065 -x6066 -x6067 -x6068 x6069 -x6070 -x6071 -x6072 -x6073 -x6074 -x6075
1757.40	v -x6076 -x6077 -x6078 -x6079 -x6080 -x6081 -x6082 -x6083 -x6084 -x6085 -x6086 -x6087 -x6088 -x6089 -x6090 -x6091 -x6092
1757.40	v -x6093 -x6094 -x6095 -x6096 -x6097 -x6098 -x6099 -x6100 -x6101 -x6102 -x6103 x6104 -x6105 -x6106 -x6107 -x6108 -x6109
1757.40	v x6110 -x6111 -x6112 -x6113 x6114 -x6115 -x6116 -x6117 -x6118 -x6119 x6120 -x6121 -x6122 -x6123 -x6124 -x6125 -x6126 x6127
1757.40	v x6128 -x6129 x6130 -x6131 x6132 -x6133 -x6134 -x6135 -x6136 -x6137 -x6138 -x6139 -x6140 -x6141 -x6142 -x6143 -x6144 -x6145
1757.40	v -x6146 -x6147 -x6148 x6149 -x6150 -x6151 -x6152 -x6153 -x6154 x6155 -x6156 -x6157 -x6158 -x6159 -x6160 -x6161 -x6162 -x6163
1757.40	v x6164 -x6165 -x6166 -x6167 -x6168 -x6169 -x6170 -x6171 -x6172 -x6173 -x6174 -x6175 -x6176 -x6177 -x6178 -x6179 -x6180
1757.40	v -x6181 -x6182 -x6183 -x6184 -x6185 -x6186 -x6187 -x6188 -x6189 -x6190 -x6191 -x6192 -x6193 -x6194 -x6195 -x6196 -x6197
1757.40	v -x6198 -x6199 -x6200 -x6201 -x6202 -x6203 -x6204 -x6205 -x6206 -x6207 -x6208 -x6209 -x6210 -x6211 -x6212 x6213 x6214 -x6215
1757.40	v -x6216 -x6217 -x6218 -x6219 -x6220 -x6221 -x6222 -x6223 -x6224 -x6225 -x6226 x6227 -x6228 -x6229 x6230 -x6231 -x6232 -x6233
1757.40	v -x6234 -x6235 -x6236 -x6237 -x6238 -x6239 -x6240 -x6241 -x6242 -x6243 -x6244 -x6245 x6246 -x6247 -x6248 -x6249 x6250 -x6251
1757.40	v -x6252 -x6253 -x6254 -x6255 -x6256 -x6257 -x6258 -x6259 -x6260 -x6261 -x6262 -x6263 -x6264 -x6265 -x6266 -x6267 -x6268
1757.40	v -x6269 -x6270 -x6271 -x6272 -x6273 -x6274 -x6275 -x6276 -x6277 -x6278 -x6279 -x6280 -x6281 -x6282 -x6283 -x6284 -x6285
1757.40	v -x6286 -x6287 -x6288 -x6289 -x6290 -x6291 -x6292 -x6293 -x6294 -x6295 -x6296 -x6297 -x6298 -x6299 -x6300 -x6301 -x6302
1757.40	v -x6303 -x6304 -x6305 -x6306 -x6307 -x6308 x6309 -x6310 -x6311 -x6312 -x6313 -x6314 -x6315 -x6316 -x6317 -x6318 -x6319
1757.40	v -x6320 -x6321 -x6322 -x6323 -x6324 -x6325 -x6326 -x6327 -x6328 -x6329 -x6330 -x6331 -x6332 -x6333 -x6334 -x6335 -x6336
1757.40	v -x6337 -x6338 -x6339 -x6340 x6341 -x6342 -x6343 -x6344 -x6345 -x6346 -x6347 -x6348 x6349 x6350 -x6351 x6352 -x6353 -x6354
1757.40	v -x6355 x6356 -x6357 -x6358 -x6359 -x6360 -x6361 -x6362 -x6363 -x6364 -x6365 -x6366 -x6367 -x6368 -x6369 -x6370 -x6371
1757.40	v -x6372 -x6373 -x6374 -x6375 -x6376 -x6377 -x6378 -x6379 -x6380 -x6381 -x6382 -x6383 -x6384 -x6385 -x6386 -x6387 -x6388
1757.40	v -x6389 -x6390 -x6391 -x6392 -x6393 -x6394 -x6395 -x6396 -x6397 -x6398 -x6399 -x6400 -x6401 -x6402 -x6403 -x6404 -x6405
1757.40	v -x6406 -x6407 -x6408 -x6409 -x6410 -x6411 -x6412 -x6413 -x6414 -x6415 -x6416 -x6417 -x6418 -x6419 -x6420 -x6421 -x6422
1757.40	v -x6423 -x6424 -x6425 -x6426 x6427 -x6428 -x6429 x6430 -x6431 -x6432 -x6433 x6434 -x6435 -x6436 x6437 x6438 -x6439 -x6440
1757.40	v -x6441 x6442 -x6443 -x6444 x6445 -x6446 -x6447 -x6448 -x6449 -x6450 -x6451 -x6452 -x6453 x6454 -x6455 x6456 -x6457 -x6458
1757.40	v -x6459 -x6460 -x6461 -x6462 -x6463 -x6464 -x6465 -x6466 -x6467 -x6468 -x6469 -x6470 -x6471 -x6472 -x6473 -x6474 -x6475
1757.40	v -x6476 -x6477 x6478 -x6479 -x6480 -x6481 -x6482 -x6483 -x6484 -x6485 -x6486 -x6487 -x6488 -x6489 -x6490 -x6491 -x6492
1757.40	v -x6493 -x6494 -x6495 -x6496 -x6497 -x6498 -x6499 -x6500 -x6501 -x6502 -x6503 -x6504 -x6505 -x6506 -x6507 -x6508 -x6509
1757.40	v -x6510 -x6511 -x6512 -x6513 -x6514 -x6515 -x6516 -x6517 -x6518 -x6519 -x6520 -x6521 -x6522 -x6523 -x6524 -x6525 -x6526
1757.40	v -x6527 -x6528 -x6529 -x6530 -x6531 -x6532 -x6533 x6534 -x6535 -x6536 -x6537 -x6538 -x6539 -x6540 -x6541 -x6542 -x6543
1757.40	v -x6544 -x6545 -x6546 -x6547 -x6548 -x6549 -x6550 -x6551 -x6552 -x6553 -x6554 -x6555 -x6556 -x6557 -x6558 -x6559 -x6560
1757.40	v -x6561 -x6562 -x6563 -x6564 -x6565 -x6566 -x6567 -x6568 -x6569 -x6570 -x6571 -x6572 -x6573 -x6574 -x6575 -x6576 -x6577
1757.40	v -x6578 -x6579 -x6580 -x6581 -x6582 -x6583 -x6584 -x6585 -x6586 -x6587 -x6588 -x6589 -x6590 -x6591 -x6592 -x6593 -x6594
1757.40	v -x6595 -x6596 -x6597 -x6598 -x6599 -x6600 -x6601 -x6602 -x6603 -x6604 -x6605 -x6606 -x6607 -x6608 -x6609 -x6610 -x6611
1757.40	v -x6612 -x6613 -x6614 -x6615 -x6616 -x6617 -x6618 -x6619 -x6620 -x6621 -x6622 -x6623 -x6624 -x6625 -x6626 -x6627 -x6628
1757.40	v -x6629 -x6630 -x6631 -x6632 -x6633 -x6634 -x6635 -x6636 -x6637 -x6638 -x6639 -x6640 -x6641 -x6642 -x6643 -x6644 -x6645
1757.40	v -x6646 -x6647 -x6648 -x6649 -x6650 -x6651 -x6652 -x6653 -x6654 -x6655 -x6656 -x6657 -x6658 -x6659 -x6660 -x6661 -x6662
1757.40	v -x6663 -x6664 -x6665 -x6666 -x6667 -x6668 -x6669 x6670 -x6671 -x6672 -x6673 -x6674 -x6675 -x6676 -x6677 -x6678 -x6679
1757.40	v -x6680 -x6681 -x6682 -x6683 -x6684 -x6685 -x6686 -x6687 -x6688 -x6689 -x6690 -x6691 -x6692 -x6693 -x6694 -x6695 -x6696
1757.40	v -x6697 -x6698 -x6699 -x6700 -x6701 -x6702 -x6703 -x6704 x6705 -x6706 -x6707 -x6708 -x6709 -x6710 -x6711 -x6712 -x6713
1757.40	v -x6714 x6715 -x6716 -x6717 -x6718 -x6719 -x6720 -x6721 -x6722 -x6723 -x6724 -x6725 -x6726 -x6727 -x6728 -x6729 -x6730
1757.40	v x6731 -x6732 -x6733 -x6734 -x6735 -x6736 x6737 -x6738 x6739 -x6740 -x6741 -x6742 -x6743 -x6744 -x6745 -x6746 -x6747 -x6748
1757.40	v -x6749 -x6750 -x6751 -x6752 -x6753 x6754 -x6755 -x6756 -x6757 -x6758 -x6759 -x6760 -x6761 -x6762 -x6763 -x6764 -x6765
1757.40	v -x6766 -x6767 -x6768 -x6769 -x6770 -x6771 -x6772 -x6773 -x6774 -x6775 -x6776 -x6777 -x6778 -x6779 -x6780 -x6781 -x6782
1757.40	v x6783 -x6784 -x6785 -x6786 -x6787 -x6788 -x6789 -x6790 -x6791 -x6792 -x6793 -x6794 -x6795 -x6796 -x6797 -x6798 -x6799
1757.40	v -x6800 -x6801 -x6802 -x6803 -x6804 -x6805 -x6806 -x6807 -x6808 -x6809 -x6810 -x6811 -x6812 -x6813 -x6814 -x6815 -x6816
1757.40	v -x6817 -x6818 -x6819 -x6820 -x6821 -x6822 -x6823 -x6824 -x6825 -x6826 -x6827 -x6828 -x6829 -x6830 x6831 -x6832 -x6833
1757.40	v -x6834 -x6835 -x6836 -x6837 -x6838 -x6839 -x6840 -x6841 -x6842 x6843 -x6844 -x6845 -x6846 -x6847 -x6848 -x6849 -x6850
1757.40	v -x6851 -x6852 -x6853 -x6854 -x6855 -x6856 -x6857 -x6858 -x6859 -x6860 -x6861 -x6862 -x6863 -x6864 -x6865 -x6866 -x6867
1757.40	v -x6868 -x6869 -x6870 -x6871 -x6872 -x6873 -x6874 -x6875 -x6876 -x6877 -x6878 -x6879 -x6880 -x6881 -x6882 -x6883 -x6884
1757.40	v -x6885 -x6886 -x6887 -x6888 -x6889 -x6890 -x6891 -x6892 -x6893 -x6894 -x6895 -x6896 -x6897 -x6898 -x6899 -x6900 x6901
1757.40	v -x6902 -x6903 -x6904 -x6905 -x6906 -x6907 -x6908 -x6909 -x6910 -x6911 -x6912 -x6913 -x6914 -x6915 -x6916 -x6917 -x6918
1757.40	v -x6919 -x6920 -x6921 -x6922 -x6923 -x6924 -x6925 -x6926 -x6927 -x6928 -x6929 -x6930 -x6931 -x6932 -x6933 -x6934 -x6935
1757.40	v -x6936 -x6937 -x6938 -x6939 -x6940 -x6941 -x6942 -x6943 -x6944 -x6945 -x6946 -x6947 -x6948 -x6949 -x6950 -x6951 -x6952
1757.40	v -x6953 -x6954 -x6955 -x6956 -x6957 -x6958 -x6959 -x6960 -x6961 -x6962 -x6963 -x6964 -x6965 -x6966 -x6967 -x6968 -x6969
1757.40	v -x6970 -x6971 -x6972 -x6973 -x6974 -x6975 -x6976 -x6977 -x6978 -x6979 x6980 -x6981 -x6982 -x6983 -x6984 -x6985 -x6986
1757.40	v -x6987 -x6988 -x6989 -x6990 -x6991 -x6992 -x6993 -x6994 -x6995 -x6996 -x6997 -x6998 -x6999 -x7000 -x7001 -x7002 -x7003
1757.40	v -x7004 -x7005 -x7006 -x7007 -x7008 -x7009 -x7010 -x7011 -x7012 -x7013 -x7014 -x7015 -x7016 -x7017 -x7018 -x7019 -x7020
1757.40	v -x7021 -x7022 -x7023 -x7024 -x7025 -x7026 -x7027 -x7028 -x7029 -x7030 -x7031 -x7032 -x7033 -x7034 -x7035 -x7036 -x7037
1757.40	v -x7038 -x7039 -x7040 -x7041 -x7042 -x7043 -x7044 -x7045 -x7046 -x7047 -x7048 -x7049 -x7050 -x7051 -x7052 -x7053 -x7054
1757.40	v -x7055 -x7056 -x7057 -x7058 -x7059 -x7060 -x7061 -x7062 -x7063 -x7064 -x7065 -x7066 -x7067 -x7068 -x7069 -x7070 -x7071
1757.40	v -x7072 -x7073 -x7074 -x7075 -x7076 -x7077 -x7078 -x7079 -x7080 -x7081 -x7082 -x7083 -x7084 -x7085 -x7086 -x7087 -x7088
1757.40	v -x7089 -x7090 -x7091 -x7092 -x7093 -x7094 -x7095 -x7096 -x7097 -x7098 -x7099 -x7100 -x7101 -x7102 -x7103 -x7104 -x7105
1757.40	v -x7106 -x7107 -x7108 -x7109 -x7110 -x7111 -x7112 -x7113 -x7114 -x7115 -x7116 -x7117 -x7118 -x7119 -x7120 -x7121 -x7122
1757.40	v -x7123 -x7124 -x7125 -x7126 -x7127 -x7128 -x7129 -x7130 -x7131 -x7132 -x7133 -x7134 -x7135 -x7136 -x7137 -x7138 -x7139
1757.40	v -x7140 -x7141 -x7142 -x7143 -x7144 -x7145 -x7146 -x7147 -x7148 -x7149 -x7150 -x7151 -x7152 -x7153 -x7154 -x7155 -x7156
1757.40	v -x7157 -x7158 -x7159 -x7160 -x7161 -x7162 -x7163 -x7164 -x7165 -x7166 -x7167 -x7168 -x7169 -x7170 -x7171 -x7172 -x7173
1757.40	v -x7174 -x7175 -x7176 -x7177 -x7178 -x7179 -x7180 x7181 -x7182 -x7183 -x7184 -x7185 -x7186 -x7187 -x7188 -x7189 -x7190
1757.40	v -x7191 -x7192 -x7193 -x7194 -x7195 -x7196 -x7197 -x7198 -x7199 -x7200 -x7201 -x7202 -x7203 -x7204 -x7205 -x7206 -x7207
1757.40	v -x7208 -x7209 -x7210 -x7211 -x7212 -x7213 -x7214 -x7215 -x7216 -x7217 -x7218 -x7219 -x7220 -x7221 -x7222 -x7223 -x7224
1757.40	v -x7225 -x7226 -x7227 -x7228 -x7229 -x7230 -x7231 -x7232 -x7233 -x7234 -x7235 -x7236 -x7237 -x7238 -x7239 -x7240 -x7241
1757.40	v -x7242 -x7243 -x7244 -x7245 -x7246 -x7247 -x7248 -x7249 -x7250 -x7251 -x7252 -x7253 -x7254 -x7255 -x7256 -x7257 -x7258
1757.40	v -x7259 -x7260 -x7261 -x7262 -x7263 -x7264 -x7265 -x7266 -x7267 -x7268 -x7269 -x7270 -x7271 -x7272 -x7273 -x7274 -x7275
1757.40	v -x7276 -x7277 -x7278 -x7279 -x7280 -x7281 -x7282 -x7283 -x7284 -x7285 -x7286 -x7287 -x7288 -x7289 -x7290 -x7291 -x7292
1757.40	v -x7293 -x7294 -x7295 x7296 -x7297 -x7298 -x7299 -x7300 -x7301 -x7302 -x7303 -x7304 -x7305 -x7306 x7307 -x7308 -x7309 -x7310
1757.40	v -x7311 -x7312 -x7313 -x7314 -x7315 -x7316 -x7317 -x7318 -x7319 x7320 -x7321 -x7322 -x7323 -x7324 -x7325 -x7326 -x7327
1757.40	v -x7328 -x7329 -x7330 -x7331 -x7332 -x7333 -x7334 -x7335 -x7336 -x7337 -x7338 -x7339 -x7340 -x7341 -x7342 -x7343 -x7344
1757.40	v -x7345 -x7346 -x7347 -x7348 -x7349 -x7350 -x7351 -x7352 -x7353 -x7354 -x7355 -x7356 -x7357 -x7358 -x7359 -x7360 -x7361
1757.40	v -x7362 -x7363 -x7364 -x7365 -x7366 -x7367 -x7368 -x7369 -x7370 -x7371 -x7372 -x7373 -x7374 -x7375 -x7376 -x7377 x7378
1757.40	v -x7379 -x7380 -x7381 -x7382 -x7383 -x7384 -x7385 -x7386 -x7387 -x7388 -x7389 -x7390 -x7391 -x7392 -x7393 -x7394 -x7395
1757.40	v -x7396 x7397 -x7398 -x7399 -x7400 -x7401 -x7402 -x7403 -x7404 -x7405 -x7406 -x7407 -x7408 -x7409 -x7410 -x7411 -x7412
1757.40	v -x7413 -x7414 -x7415 -x7416 -x7417 -x7418 -x7419 -x7420 -x7421 -x7422 -x7423 -x7424 -x7425 -x7426 -x7427 x7428 -x7429
1757.40	v -x7430 -x7431 -x7432 -x7433 -x7434 -x7435 -x7436 -x7437 -x7438 -x7439 -x7440 -x7441 -x7442 x7443 -x7444 -x7445 -x7446
1757.40	v -x7447 x7448 -x7449 -x7450 -x7451 x7452 -x7453 -x7454 -x7455 -x7456 -x7457 -x7458 x7459 -x7460 -x7461 -x7462 -x7463 -x7464
1757.40	v -x7465 -x7466 -x7467 -x7468 -x7469 x7470 -x7471 -x7472 -x7473 -x7474 -x7475 -x7476 -x7477 -x7478 -x7479 -x7480 -x7481
1757.40	v -x7482 -x7483 -x7484 -x7485 x7486 -x7487 -x7488 -x7489 -x7490 -x7491 x7492 -x7493 -x7494 -x7495 -x7496 -x7497 -x7498 -x7499
1757.40	v -x7500 -x7501 -x7502 -x7503 -x7504 x7505 -x7506 -x7507 -x7508 -x7509 -x7510 -x7511 -x7512 -x7513 -x7514 -x7515 -x7516
1757.40	v -x7517 -x7518 -x7519 -x7520 -x7521 -x7522 x7523 -x7524 -x7525 -x7526 -x7527 -x7528 -x7529 -x7530 -x7531 x7532 -x7533 -x7534
1757.40	v x7535 -x7536 x7537 -x7538 x7539 -x7540 -x7541 -x7542 -x7543 -x7544 -x7545 -x7546 -x7547 -x7548 -x7549 -x7550 -x7551 -x7552
1757.40	v -x7553 -x7554 -x7555 -x7556 -x7557 -x7558 -x7559 -x7560 -x7561 x7562 -x7563 -x7564 -x7565 -x7566 -x7567 -x7568 -x7569
1757.40	v -x7570 -x7571 x7572 -x7573 -x7574 -x7575 -x7576 -x7577 x7578 -x7579 -x7580 x7581 -x7582 -x7583 -x7584 -x7585 -x7586 -x7587
1757.40	v x7588 -x7589 x7590 x7591 -x7592 -x7593 -x7594 -x7595 -x7596 -x7597 -x7598 -x7599 x7600 -x7601 -x7602 -x7603 -x7604 -x7605
1757.40	v -x7606 -x7607 -x7608 -x7609 -x7610 -x7611 -x7612 -x7613 -x7614 -x7615 -x7616 -x7617 -x7618 -x7619 -x7620 -x7621 -x7622
1757.40	v -x7623 -x7624 -x7625 -x7626 -x7627 -x7628 -x7629 -x7630 -x7631 -x7632 -x7633 -x7634 -x7635 -x7636 -x7637 -x7638 -x7639
1757.40	v -x7640 -x7641 -x7642 -x7643 -x7644 -x7645 -x7646 -x7647 -x7648 -x7649 -x7650 -x7651 -x7652 -x7653 -x7654 -x7655 -x7656
1757.40	v -x7657 -x7658 -x7659 -x7660 -x7661 -x7662 -x7663 -x7664 -x7665 x7666 x7667 -x7668 -x7669 -x7670 -x7671 -x7672 -x7673 x7674
1757.40	v -x7675 -x7676 -x7677 -x7678 -x7679 -x7680 -x7681 -x7682 -x7683 x7684 -x7685 x7686 -x7687 -x7688 x7689 -x7690 -x7691 -x7692
1757.40	v -x7693 x7694 -x7695 -x7696 -x7697 -x7698 -x7699 -x7700 -x7701 -x7702 -x7703 -x7704 -x7705 -x7706 -x7707 -x7708 x7709 -x7710
1757.40	v -x7711 -x7712 -x7713 -x7714 -x7715 -x7716 -x7717 -x7718 -x7719 -x7720 -x7721 -x7722 -x7723 -x7724 -x7725 -x7726 -x7727
1757.40	v -x7728 x7729 -x7730 -x7731 -x7732 -x7733 -x7734 -x7735 -x7736 -x7737 -x7738 -x7739 -x7740 -x7741 -x7742 -x7743 -x7744
1757.40	v -x7745 -x7746 -x7747 -x7748 -x7749 -x7750 x7751 -x7752 x7753 -x7754 -x7755 -x7756 -x7757 -x7758 -x7759 -x7760 -x7761 -x7762
1757.40	v -x7763 -x7764 -x7765 -x7766 -x7767 -x7768 -x7769 -x7770 -x7771 -x7772 -x7773 -x7774 -x7775 -x7776 -x7777 -x7778 -x7779
1757.40	v -x7780 -x7781 -x7782 -x7783 -x7784 -x7785 -x7786 -x7787 x7788 -x7789 -x7790 -x7791 -x7792 -x7793 -x7794 -x7795 -x7796
1757.40	v -x7797 -x7798 -x7799 -x7800 -x7801 -x7802 -x7803 -x7804 -x7805 -x7806 -x7807 -x7808 -x7809 -x7810 -x7811 -x7812 -x7813
1757.40	v -x7814 -x7815 -x7816 -x7817 -x7818 -x7819 -x7820 -x7821 -x7822 -x7823 -x7824 -x7825 -x7826 -x7827 -x7828 -x7829 -x7830
1757.40	v -x7831 -x7832 x7833 -x7834 -x7835 -x7836 -x7837 -x7838 -x7839 -x7840 -x7841 -x7842 -x7843 -x7844 -x7845 -x7846 -x7847
1757.40	v -x7848 -x7849 -x7850 -x7851 -x7852 -x7853 -x7854 -x7855 -x7856 -x7857 x7858 -x7859 -x7860 -x7861 -x7862 -x7863 -x7864
1757.40	v -x7865 -x7866 -x7867 -x7868 -x7869 -x7870 -x7871 -x7872 -x7873 -x7874 -x7875 -x7876 -x7877 x7878 -x7879 -x7880 -x7881
1757.40	v -x7882 -x7883 -x7884 -x7885 -x7886 -x7887 -x7888 -x7889 -x7890 -x7891 -x7892 -x7893 -x7894 -x7895 -x7896 -x7897 -x7898
1757.40	v -x7899 -x7900 -x7901 -x7902 -x7903 -x7904 -x7905 -x7906 -x7907 -x7908 -x7909 -x7910 -x7911 -x7912 -x7913 -x7914 -x7915
1757.40	v -x7916 -x7917 -x7918 -x7919 -x7920 -x7921 -x7922 -x7923 -x7924 -x7925 -x7926 -x7927 -x7928 x7929 -x7930 -x7931 -x7932
1757.40	v -x7933 -x7934 -x7935 -x7936 -x7937 -x7938 -x7939 -x7940 -x7941 -x7942 -x7943 -x7944 -x7945 -x7946 -x7947 -x7948 -x7949
1757.40	v -x7950 -x7951 -x7952 -x7953 -x7954 -x7955 -x7956 -x7957 -x7958 -x7959 -x7960 -x7961 -x7962 -x7963 -x7964 -x7965 -x7966
1757.40	v -x7967 -x7968 -x7969 -x7970 -x7971 -x7972 -x7973 -x7974 -x7975 -x7976 -x7977 -x7978 -x7979 -x7980 -x7981 -x7982 -x7983
1757.40	v -x7984 -x7985 -x7986 -x7987 -x7988 -x7989 -x7990 -x7991 -x7992 -x7993 -x7994 -x7995 -x7996 -x7997 -x7998 x7999 -x8000
1757.40	v -x8001 -x8002 x8003 -x8004 -x8005 -x8006 -x8007 -x8008 -x8009 -x8010 -x8011 -x8012 -x8013 -x8014 -x8015 -x8016 -x8017
1757.40	v -x8018 -x8019 -x8020 -x8021 -x8022 -x8023 -x8024 -x8025 x8026 -x8027 -x8028 -x8029 -x8030 x8031 -x8032 -x8033 -x8034 -x8035
1757.40	v -x8036 -x8037 -x8038 -x8039 -x8040 x8041 -x8042 x8043 -x8044 -x8045 -x8046 x8047 -x8048 x8049 -x8050 -x8051 -x8052 -x8053
1757.40	v -x8054 -x8055 -x8056 -x8057 -x8058 -x8059 -x8060 -x8061 -x8062 -x8063 -x8064 -x8065 -x8066 -x8067 -x8068 -x8069 -x8070
1757.40	v -x8071 -x8072 x8073 -x8074 -x8075 -x8076 -x8077 -x8078 -x8079 -x8080 -x8081 -x8082 -x8083 -x8084 -x8085 -x8086 -x8087
1757.40	v -x8088 -x8089 -x8090 -x8091 -x8092 -x8093 -x8094 -x8095 -x8096 -x8097 -x8098 -x8099 -x8100 -x8101 -x8102 -x8103 -x8104
1757.40	v -x8105 -x8106 -x8107 -x8108 -x8109 -x8110 -x8111 -x8112 -x8113 -x8114 -x8115 -x8116 -x8117 -x8118 -x8119 x8120 -x8121
1757.40	v -x8122 -x8123 x8124 -x8125 -x8126 -x8127 -x8128 -x8129 -x8130 -x8131 -x8132 -x8133 -x8134 -x8135 -x8136 -x8137 -x8138
1757.40	v -x8139 -x8140 -x8141 -x8142 -x8143 -x8144 -x8145 -x8146 x8147 -x8148 -x8149 -x8150 -x8151 -x8152 -x8153 -x8154 -x8155
1757.40	v -x8156 -x8157 -x8158 -x8159 -x8160 -x8161 -x8162 -x8163 -x8164 -x8165 -x8166 -x8167 -x8168 -x8169 -x8170 -x8171 -x8172
1757.40	v -x8173 -x8174 -x8175 -x8176 -x8177 -x8178 -x8179 -x8180 -x8181 -x8182 -x8183 -x8184 -x8185 -x8186 -x8187 -x8188 -x8189
1757.40	v -x8190 -x8191 -x8192 x8193 -x8194 -x8195 -x8196 -x8197 -x8198 -x8199 -x8200 -x8201 -x8202 -x8203 -x8204 -x8205 -x8206
1757.40	v -x8207 -x8208 -x8209 -x8210 -x8211 -x8212 -x8213 -x8214 -x8215 -x8216 -x8217 -x8218 -x8219 -x8220 -x8221 -x8222 -x8223
1757.40	v -x8224 -x8225 -x8226 -x8227 -x8228 -x8229 -x8230 -x8231 -x8232 -x8233 -x8234 -x8235 -x8236 -x8237 -x8238 -x8239 -x8240
1757.40	v -x8241 -x8242 -x8243 -x8244 -x8245 -x8246 -x8247 -x8248 -x8249 -x8250 -x8251 -x8252 -x8253 -x8254 -x8255 -x8256 -x8257
1757.40	v -x8258 -x8259 x8260 -x8261 -x8262 -x8263 -x8264 -x8265 -x8266 -x8267 -x8268 -x8269 -x8270 -x8271 -x8272 -x8273 -x8274
1757.40	v -x8275 -x8276 -x8277 -x8278 -x8279 -x8280 -x8281 -x8282 -x8283 -x8284 -x8285 -x8286 -x8287 -x8288 -x8289 -x8290 -x8291
1757.40	v -x8292 -x8293 -x8294 -x8295 -x8296 -x8297 -x8298 -x8299 -x8300 -x8301 -x8302 -x8303 -x8304 -x8305 -x8306 -x8307 -x8308
1757.40	v -x8309 -x8310 -x8311 -x8312 -x8313 -x8314 -x8315 -x8316 -x8317 -x8318 -x8319 -x8320 -x8321 -x8322 -x8323 -x8324 -x8325
1757.40	v -x8326 -x8327 -x8328 -x8329 -x8330 -x8331 -x8332 -x8333 -x8334 -x8335 x8336 -x8337 -x8338 -x8339 -x8340 -x8341 -x8342
1757.40	v -x8343 -x8344 -x8345 -x8346 -x8347 -x8348 -x8349 -x8350 -x8351 -x8352 -x8353 -x8354 -x8355 -x8356 -x8357 -x8358 -x8359
1757.40	v -x8360 -x8361 -x8362 -x8363 -x8364 -x8365 -x8366 -x8367 -x8368 -x8369 -x8370 -x8371 -x8372 -x8373 -x8374 -x8375 -x8376
1757.40	v -x8377 -x8378 -x8379 -x8380 -x8381 -x8382 -x8383 -x8384 -x8385 x8386 -x8387 -x8388 -x8389 -x8390 -x8391 -x8392 -x8393
1757.40	v x8394 -x8395 -x8396 -x8397 -x8398 -x8399 -x8400 -x8401 -x8402 -x8403 -x8404 -x8405 -x8406 -x8407 -x8408 x8409 -x8410 x8411
1757.40	v -x8412 -x8413 -x8414 -x8415 -x8416 -x8417 x8418 -x8419 -x8420 -x8421 -x8422 -x8423 x8424 -x8425 -x8426 -x8427 -x8428 -x8429
1757.40	v -x8430 -x8431 -x8432 -x8433 -x8434 -x8435 -x8436 -x8437 -x8438 -x8439 -x8440 -x8441 x8442 -x8443 -x8444 -x8445 -x8446
1757.40	v -x8447 -x8448 -x8449 -x8450 -x8451 -x8452 x8453 -x8454 -x8455 -x8456 -x8457 -x8458 -x8459 -x8460 -x8461 -x8462 -x8463
1757.40	v -x8464 -x8465 -x8466 -x8467 -x8468 -x8469 -x8470 -x8471 -x8472 -x8473 -x8474 -x8475 -x8476 -x8477 -x8478 -x8479 -x8480
1757.40	v -x8481 -x8482 -x8483 -x8484 -x8485 -x8486 -x8487 -x8488 -x8489 -x8490 -x8491 -x8492 -x8493 -x8494 -x8495 -x8496 -x8497
1757.40	v -x8498 -x8499 -x8500 -x8501 -x8502 -x8503 -x8504 -x8505 -x8506 x8507 x8508 x8509 -x8510 -x8511 -x8512 -x8513 -x8514 -x8515
1757.40	v -x8516 -x8517 -x8518 -x8519 -x8520 -x8521 -x8522 -x8523 -x8524 -x8525 -x8526 -x8527 -x8528 -x8529 -x8530 -x8531 -x8532
1757.40	v -x8533 -x8534 -x8535 -x8536 -x8537 -x8538 -x8539 -x8540 -x8541 -x8542 -x8543 -x8544 -x8545 -x8546 -x8547 -x8548 -x8549
1757.40	v -x8550 -x8551 -x8552 -x8553 -x8554 -x8555 -x8556 -x8557 -x8558 -x8559 -x8560 -x8561 -x8562 -x8563 -x8564 -x8565 -x8566
1757.40	v -x8567 -x8568 -x8569 -x8570 -x8571 -x8572 -x8573 -x8574 -x8575 -x8576 -x8577 -x8578 -x8579 -x8580 -x8581 -x8582 -x8583
1757.40	v -x8584 -x8585 -x8586 -x8587 -x8588 -x8589 x8590 -x8591 -x8592 -x8593 -x8594 -x8595 -x8596 -x8597 -x8598 -x8599 -x8600
1757.40	v -x8601 -x8602 -x8603 -x8604 -x8605 -x8606 -x8607 -x8608 -x8609 -x8610 -x8611 -x8612 -x8613 -x8614 -x8615 -x8616 -x8617
1757.40	v -x8618 -x8619 -x8620 -x8621 -x8622 -x8623 -x8624 -x8625 -x8626 -x8627 -x8628 -x8629 -x8630 -x8631 -x8632 -x8633 -x8634
1757.40	v -x8635 -x8636 -x8637 -x8638 -x8639 -x8640 -x8641 -x8642 -x8643 -x8644 -x8645 -x8646 -x8647 -x8648 -x8649 -x8650 -x8651
1757.40	v -x8652 -x8653 -x8654 -x8655 -x8656 -x8657 -x8658 -x8659 -x8660 -x8661 -x8662 -x8663 -x8664 -x8665 -x8666 -x8667 -x8668
1757.40	v x8669 x8670 x8671 -x8672 -x8673 -x8674 -x8675 -x8676 -x8677 -x8678 -x8679 -x8680 -x8681 -x8682 -x8683 -x8684 -x8685 -x8686
1757.40	v -x8687 -x8688 -x8689 -x8690 -x8691 -x8692 -x8693 -x8694 -x8695 -x8696 -x8697 -x8698 -x8699 -x8700 -x8701 -x8702 -x8703
1757.40	v -x8704 -x8705 -x8706 -x8707 -x8708 -x8709 -x8710 -x8711 -x8712 -x8713 -x8714 -x8715 -x8716 -x8717 -x8718 -x8719 -x8720
1757.40	v -x8721 -x8722 -x8723 -x8724 -x8725 -x8726 -x8727 -x8728 -x8729 -x8730 -x8731 -x8732 -x8733 -x8734 -x8735 -x8736 -x8737
1757.40	v -x8738 -x8739 -x8740 -x8741 -x8742 -x8743 -x8744 -x8745 -x8746 -x8747 -x8748 -x8749 -x8750 -x8751 -x8752 -x8753 -x8754
1757.40	v -x8755 -x8756 -x8757 -x8758 -x8759 x8760 -x8761 -x8762 -x8763 x8764 -x8765 -x8766 -x8767 -x8768 -x8769 -x8770 -x8771 -x8772
1757.40	v -x8773 -x8774 -x8775 -x8776 -x8777 -x8778 -x8779 -x8780 -x8781 -x8782 -x8783 -x8784 -x8785 -x8786 -x8787 -x8788 x8789
1757.40	v -x8790 -x8791 x8792 x8793 -x8794 -x8795 x8796 -x8797 -x8798 -x8799 -x8800 -x8801 -x8802 -x8803 -x8804 -x8805 -x8806 -x8807
1757.40	v -x8808 -x8809 x8810 -x8811 -x8812 -x8813 -x8814 -x8815 -x8816 -x8817 -x8818 -x8819 -x8820 -x8821 -x8822 -x8823 -x8824
1757.40	v -x8825 -x8826 -x8827 -x8828 x8829 -x8830 -x8831 -x8832 -x8833 -x8834 -x8835 -x8836 x8837 -x8838 -x8839 -x8840 -x8841 -x8842
1757.40	v -x8843 -x8844 -x8845 -x8846 -x8847 -x8848 -x8849 -x8850 -x8851 -x8852 -x8853 -x8854 -x8855 -x8856 x8857 x8858 -x8859 -x8860
1757.40	v -x8861 -x8862 -x8863 -x8864 -x8865 -x8866 -x8867 -x8868 -x8869 -x8870 -x8871 -x8872 -x8873 -x8874 x8875 -x8876 -x8877
1757.40	v -x8878 -x8879 -x8880 -x8881 -x8882 -x8883 -x8884 -x8885 -x8886 -x8887 -x8888 -x8889 -x8890 -x8891 -x8892 -x8893 -x8894
1757.40	v -x8895 -x8896 -x8897 -x8898 -x8899 -x8900 -x8901 -x8902 -x8903 -x8904 x8905 -x8906 -x8907 -x8908 -x8909 -x8910 -x8911
1757.40	v -x8912 -x8913 x8914 -x8915 -x8916 -x8917 -x8918 -x8919 -x8920 -x8921 -x8922 -x8923 -x8924 -x8925 x8926 -x8927 -x8928 -x8929
1757.40	v -x8930 -x8931 -x8932 -x8933 -x8934 -x8935 -x8936 -x8937 -x8938 -x8939 -x8940 -x8941 -x8942 -x8943 -x8944 -x8945 -x8946
1757.40	v -x8947 -x8948 -x8949 -x8950 -x8951 -x8952 -x8953 -x8954 -x8955 x8956 -x8957 -x8958 -x8959 -x8960 -x8961 -x8962 -x8963
1757.40	v -x8964 -x8965 -x8966 -x8967 -x8968 -x8969 -x8970 -x8971 -x8972 -x8973 -x8974 x8975 -x8976 -x8977 -x8978 -x8979 -x8980
1757.40	v -x8981 -x8982 -x8983 -x8984 -x8985 -x8986 -x8987 -x8988 -x8989 -x8990 x8991 -x8992 -x8993 -x8994 -x8995 -x8996 -x8997
1757.40	v -x8998 -x8999 -x9000 -x9001 -x9002 -x9003 -x9004 -x9005 -x9006 -x9007 -x9008 -x9009 -x9010 -x9011 -x9012 -x9013 -x9014
1757.40	v -x9015 -x9016 -x9017 -x9018 -x9019 -x9020 -x9021 -x9022 -x9023 -x9024 -x9025 -x9026 -x9027 -x9028 -x9029 -x9030 -x9031
1757.40	v -x9032 x9033 -x9034 -x9035 -x9036 -x9037 -x9038 -x9039 -x9040 -x9041 -x9042 -x9043 -x9044 -x9045 -x9046 -x9047 x9048 -x9049
1757.40	v -x9050 -x9051 -x9052 -x9053 -x9054 -x9055 -x9056 -x9057 -x9058 -x9059 x9060 -x9061 x9062 -x9063 -x9064 -x9065 -x9066 -x9067
1757.40	v -x9068 -x9069 -x9070 -x9071 -x9072 -x9073 -x9074 -x9075 -x9076 -x9077 -x9078 -x9079 -x9080 -x9081 -x9082 -x9083 -x9084
1757.40	v -x9085 -x9086 -x9087 -x9088 -x9089 -x9090 -x9091 -x9092 -x9093 -x9094 -x9095 -x9096 -x9097 -x9098 x9099 -x9100 -x9101
1757.40	v -x9102 -x9103 -x9104 -x9105 -x9106 -x9107 -x9108 -x9109 -x9110 -x9111 x9112 -x9113 -x9114 -x9115 -x9116 -x9117 -x9118
1757.40	v -x9119 -x9120 -x9121 -x9122 -x9123 -x9124 -x9125 -x9126 -x9127 -x9128 -x9129 -x9130 -x9131 -x9132 -x9133 -x9134 -x9135
1757.40	v -x9136 -x9137 -x9138 -x9139 -x9140 -x9141 -x9142 -x9143 -x9144 -x9145 -x9146 -x9147 -x9148 -x9149 -x9150 -x9151 -x9152
1757.40	v -x9153 -x9154 -x9155 -x9156 -x9157 -x9158 -x9159 -x9160 -x9161 -x9162 -x9163 -x9164 -x9165 -x9166 -x9167 -x9168 -x9169
1757.40	v -x9170 -x9171 -x9172 -x9173 -x9174 -x9175 -x9176 -x9177 -x9178 -x9179 -x9180 -x9181 -x9182 -x9183 x9184 -x9185 -x9186
1757.40	v -x9187 -x9188 -x9189 -x9190 -x9191 -x9192 x9193 -x9194 -x9195 -x9196 -x9197 -x9198 -x9199 -x9200 -x9201 -x9202 -x9203
1757.40	v -x9204 -x9205 -x9206 -x9207 -x9208 -x9209 -x9210 -x9211 -x9212 x9213 -x9214 x9215 -x9216 -x9217 -x9218 -x9219 -x9220 -x9221
1757.40	v -x9222 -x9223 x9224 -x9225 -x9226 -x9227 -x9228 x9229 x9230 x9231 -x9232 -x9233 -x9234 -x9235 -x9236 -x9237 -x9238 -x9239
1757.40	v -x9240 -x9241 -x9242 -x9243 -x9244 -x9245 -x9246 -x9247 -x9248 -x9249 -x9250 -x9251 -x9252 -x9253 -x9254 -x9255 -x9256
1757.40	v -x9257 -x9258 -x9259 -x9260 -x9261 -x9262 -x9263 -x9264 -x9265 -x9266 -x9267 -x9268 -x9269 -x9270 -x9271 -x9272 -x9273
1757.40	v -x9274 -x9275 -x9276 -x9277 -x9278 -x9279 -x9280 -x9281 -x9282 -x9283 -x9284 x9285 -x9286 -x9287 -x9288 -x9289 -x9290
1757.40	v -x9291 -x9292 -x9293 -x9294 -x9295 -x9296 -x9297 -x9298 -x9299 -x9300 -x9301 x9302 -x9303 -x9304 x9305 -x9306 -x9307 -x9308
1757.40	v -x9309 -x9310 -x9311 -x9312 -x9313 -x9314 -x9315 -x9316 -x9317 -x9318 -x9319 -x9320 -x9321 -x9322 -x9323 -x9324 -x9325
1757.40	v -x9326 -x9327 -x9328 -x9329 -x9330 -x9331 -x9332 -x9333 -x9334 -x9335 x9336 -x9337 -x9338 -x9339 -x9340 -x9341 -x9342
1757.40	v -x9343 -x9344 -x9345 -x9346 -x9347 -x9348 -x9349 -x9350 -x9351 -x9352 -x9353 -x9354 -x9355 -x9356 -x9357 -x9358 -x9359
1757.40	v -x9360 -x9361 -x9362 -x9363 x9364 -x9365 x9366 -x9367 -x9368 -x9369 -x9370 -x9371 -x9372 -x9373 -x9374 -x9375 -x9376 -x9377
1757.40	v -x9378 -x9379 -x9380 -x9381 -x9382 -x9383 -x9384 -x9385 -x9386 -x9387 x9388 -x9389 -x9390 -x9391 -x9392 -x9393 -x9394
1757.40	v -x9395 -x9396 -x9397 -x9398 -x9399 -x9400 -x9401 -x9402 -x9403 -x9404 -x9405 -x9406 -x9407 -x9408 -x9409 -x9410 -x9411
1757.40	v -x9412 x9413 x9414 x9415 -x9416 -x9417 -x9418 -x9419 -x9420 -x9421 -x9422 -x9423 -x9424 -x9425 x9426 -x9427 -x9428 -x9429
1757.40	v -x9430 -x9431 -x9432 -x9433 x9434 -x9435 -x9436 -x9437 -x9438 -x9439 -x9440 -x9441 -x9442 -x9443 -x9444 -x9445 -x9446
1757.40	v -x9447 -x9448 -x9449 x9450 -x9451 -x9452 -x9453 -x9454 x9455 -x9456 -x9457 -x9458 -x9459 -x9460 -x9461 -x9462 -x9463 -x9464
1757.40	v -x9465 -x9466 -x9467 -x9468 -x9469 -x9470 -x9471 -x9472 -x9473 -x9474 -x9475 -x9476 -x9477 -x9478 -x9479 -x9480 -x9481
1757.40	v -x9482 -x9483 -x9484 x9485 -x9486 -x9487 x9488 -x9489 -x9490 -x9491 -x9492 -x9493 -x9494 -x9495 -x9496 -x9497 -x9498 -x9499
1757.40	v -x9500 -x9501 -x9502 -x9503 -x9504 -x9505 -x9506 -x9507 -x9508 -x9509 -x9510 -x9511 -x9512 -x9513 -x9514 -x9515 -x9516
1757.40	v -x9517 -x9518 -x9519 -x9520 -x9521 -x9522 -x9523 -x9524 -x9525 -x9526 -x9527 x9528 -x9529 -x9530 -x9531 x9532 -x9533 -x9534
1757.40	v -x9535 -x9536 -x9537 -x9538 -x9539 -x9540 -x9541 -x9542 -x9543 -x9544 -x9545 -x9546 -x9547 -x9548 -x9549 -x9550 -x9551
1757.40	v -x9552 -x9553 -x9554 -x9555 -x9556 x9557 -x9558 -x9559 -x9560 -x9561 -x9562 -x9563 -x9564 -x9565 -x9566 -x9567 -x9568
1757.40	v -x9569 -x9570 -x9571 -x9572 -x9573 x9574 x9575 -x9576 -x9577 -x9578 -x9579 -x9580 -x9581 -x9582 -x9583 -x9584 -x9585 -x9586
1757.40	v -x9587 -x9588 -x9589 -x9590 -x9591 -x9592 -x9593 -x9594 -x9595 -x9596 -x9597 -x9598 -x9599 -x9600 -x9601 -x9602 x9603
1757.40	v -x9604 -x9605 -x9606 -x9607 -x9608 -x9609 -x9610 -x9611 -x9612 -x9613 -x9614 -x9615 -x9616 -x9617 -x9618 -x9619 -x9620
1757.40	v -x9621 -x9622 -x9623 -x9624 -x9625 -x9626 -x9627 -x9628 -x9629 -x9630 -x9631 -x9632 -x9633 -x9634 -x9635 -x9636 -x9637
1757.40	v -x9638 -x9639 -x9640 -x9641 -x9642 -x9643 -x9644 -x9645 -x9646 -x9647 -x9648 -x9649 -x9650 -x9651 -x9652 -x9653 -x9654
1757.40	v -x9655 -x9656 -x9657 -x9658 -x9659 -x9660 -x9661 -x9662 -x9663 -x9664 -x9665 -x9666 -x9667 -x9668 -x9669 -x9670 -x9671
1757.40	v -x9672 -x9673 -x9674 -x9675 -x9676 -x9677 -x9678 -x9679 -x9680 -x9681 -x9682 -x9683 -x9684 -x9685 -x9686 -x9687 -x9688
1757.40	v -x9689 -x9690 -x9691 -x9692 -x9693 -x9694 -x9695 -x9696 -x9697 -x9698 -x9699 -x9700 -x9701 -x9702 -x9703 -x9704 -x9705
1757.40	v -x9706 x9707 -x9708 x9709 -x9710 -x9711 -x9712 x9713 -x9714 -x9715 -x9716 -x9717 -x9718 -x9719 -x9720 -x9721 -x9722 -x9723
1757.40	v -x9724 -x9725 -x9726 -x9727 -x9728 -x9729 -x9730 -x9731 -x9732 -x9733 -x9734 -x9735 -x9736 x9737 -x9738 -x9739 -x9740
1757.40	v -x9741 -x9742 -x9743 -x9744 -x9745 -x9746 -x9747 -x9748 -x9749 -x9750 -x9751 -x9752 -x9753 -x9754 -x9755 -x9756 -x9757
1757.40	v -x9758 -x9759 -x9760 -x9761 -x9762 -x9763 -x9764 x9765 -x9766 -x9767 -x9768 -x9769 -x9770 -x9771 -x9772 -x9773 -x9774
1757.40	v -x9775 -x9776 -x9777 -x9778 -x9779 -x9780 -x9781 -x9782 -x9783 -x9784 -x9785 -x9786 -x9787 -x9788 -x9789 -x9790 -x9791
1757.40	v -x9792 -x9793 -x9794 -x9795 -x9796 -x9797 -x9798 -x9799 -x9800 -x9801 -x9802 -x9803 -x9804 -x9805 -x9806 -x9807 -x9808
1757.40	v -x9809 -x9810 -x9811 -x9812 -x9813 -x9814 -x9815 -x9816 -x9817 -x9818 -x9819 x9820 -x9821 -x9822 -x9823 -x9824 -x9825
1757.40	v -x9826 -x9827 -x9828 -x9829 -x9830 -x9831 -x9832 -x9833 -x9834 -x9835 -x9836 -x9837 x9838 -x9839 -x9840 -x9841 -x9842
1757.40	v -x9843 -x9844 -x9845 -x9846 -x9847 -x9848 -x9849 -x9850 -x9851 -x9852 -x9853 -x9854 -x9855 -x9856 -x9857 -x9858 -x9859
1757.40	v -x9860 -x9861 -x9862 -x9863 -x9864 -x9865 -x9866 -x9867 -x9868 -x9869 -x9870 x9871 -x9872 -x9873 -x9874 -x9875 -x9876
1757.40	v -x9877 -x9878 -x9879 -x9880 -x9881 -x9882 -x9883 -x9884 -x9885 -x9886 -x9887 -x9888 -x9889 -x9890 -x9891 -x9892 -x9893
1757.40	v -x9894 x9895 -x9896 -x9897 -x9898 -x9899 -x9900 -x9901 -x9902 -x9903 -x9904 -x9905 -x9906 -x9907 x9908 -x9909 -x9910 -x9911
1757.40	v -x9912 -x9913 -x9914 x9915 -x9916 -x9917 -x9918 -x9919 -x9920 -x9921 -x9922 -x9923 -x9924 -x9925 -x9926 -x9927 -x9928
1757.40	v -x9929 -x9930 -x9931 -x9932 -x9933 -x9934 -x9935 -x9936 -x9937 -x9938 -x9939 -x9940 -x9941 -x9942 -x9943 -x9944 -x9945
1757.40	v -x9946 -x9947 -x9948 -x9949 -x9950 x9951 -x9952 -x9953 -x9954 -x9955 -x9956 -x9957 -x9958 -x9959 -x9960 -x9961 x9962 -x9963
1757.40	v -x9964 -x9965 -x9966 -x9967 -x9968 -x9969 -x9970 -x9971 -x9972 -x9973 -x9974 x9975 -x9976 -x9977 -x9978 -x9979 -x9980
1757.40	v -x9981 -x9982 -x9983 -x9984 -x9985 -x9986 -x9987 -x9988 -x9989 -x9990 -x9991 -x9992 -x9993 -x9994 -x9995 -x9996 -x9997
1757.40	v -x9998 -x9999 -x10000 -x10001 -x10002 -x10003 -x10004 -x10005 -x10006 -x10007 -x10008 -x10009 -x10010 -x10011 -x10012
1757.40	v -x10013 -x10014 -x10015 -x10016 -x10017 -x10018 -x10019 -x10020 -x10021 -x10022 -x10023 -x10024 -x10025 -x10026 x10027
1757.40	v -x10028 -x10029 -x10030 -x10031 -x10032 -x10033 -x10034 -x10035 -x10036 -x10037 -x10038 -x10039 -x10040 -x10041 -x10042
1757.40	v -x10043 -x10044 -x10045 -x10046 -x10047 -x10048 -x10049 -x10050 -x10051 -x10052 -x10053 -x10054 -x10055 -x10056 -x10057
1757.40	v -x10058 -x10059 -x10060 -x10061 -x10062 -x10063 -x10064 -x10065 -x10066 -x10067 -x10068 -x10069 -x10070 -x10071 -x10072
1757.40	v -x10073 -x10074 -x10075 -x10076 -x10077 -x10078 -x10079 -x10080 x10081 -x10082 -x10083 -x10084 -x10085 -x10086 -x10087
1757.40	v -x10088 -x10089 -x10090 x10091 -x10092 x10093 -x10094 -x10095 -x10096 -x10097 -x10098 -x10099 -x10100 -x10101 -x10102
1757.40	v -x10103 -x10104 -x10105 -x10106 -x10107 -x10108 -x10109 -x10110 -x10111 -x10112 -x10113 -x10114 -x10115 -x10116 -x10117
1757.40	v -x10118 -x10119 -x10120 x10121 -x10122 -x10123 -x10124 -x10125 -x10126 -x10127 -x10128 -x10129 x10130 -x10131 -x10132
1757.40	v -x10133 -x10134 -x10135 -x10136 x10137 -x10138 -x10139 -x10140 x10141 x10142 -x10143 -x10144 -x10145 -x10146 -x10147
1757.40	v -x10148 -x10149 -x10150 -x10151 -x10152 -x10153 -x10154 -x10155 -x10156 -x10157 -x10158 -x10159 -x10160 -x10161 -x10162
1757.40	v -x10163 -x10164 -x10165 x10166 -x10167 -x10168 -x10169 -x10170 -x10171 -x10172 -x10173 -x10174 -x10175 -x10176 -x10177
1757.40	v -x10178 -x10179 -x10180 -x10181 -x10182 -x10183 -x10184 -x10185 -x10186 -x10187 -x10188 -x10189 -x10190 -x10191 -x10192
1757.40	v -x10193 -x10194 -x10195 -x10196 -x10197 -x10198 -x10199 -x10200 -x10201 -x10202 -x10203 -x10204 -x10205 -x10206 -x10207
1757.40	v -x10208 -x10209 -x10210 -x10211 -x10212 -x10213 -x10214 -x10215 -x10216 x10217 -x10218 -x10219 -x10220 -x10221 -x10222
1757.40	v -x10223 -x10224 -x10225 -x10226 -x10227 -x10228 -x10229 -x10230 -x10231 -x10232 -x10233 -x10234 -x10235 -x10236 -x10237
1757.40	v -x10238 -x10239 -x10240 -x10241 x10242 x10243 -x10244 -x10245 -x10246 -x10247 -x10248 -x10249 -x10250 -x10251 -x10252
1757.40	v x10253 -x10254 -x10255 -x10256 -x10257 -x10258 -x10259 -x10260 -x10261 -x10262 -x10263 -x10264 -x10265 -x10266 -x10267
1757.40	v -x10268 -x10269 -x10270 -x10271 -x10272 -x10273 -x10274 -x10275 -x10276 -x10277 -x10278 -x10279 -x10280 -x10281 -x10282
1757.40	v -x10283 -x10284 -x10285 -x10286 -x10287 -x10288 -x10289 -x10290 -x10291 -x10292 -x10293 -x10294 -x10295 -x10296 -x10297
1757.40	v -x10298 -x10299 -x10300 -x10301 -x10302 -x10303 -x10304 -x10305 -x10306 -x10307 -x10308 -x10309 -x10310 -x10311 -x10312
1757.40	v -x10313 -x10314 -x10315 -x10316 -x10317 -x10318 -x10319 -x10320 -x10321 -x10322 -x10323 -x10324 -x10325 -x10326 -x10327
1757.40	v -x10328 -x10329 -x10330 -x10331 -x10332 -x10333 -x10334 -x10335 -x10336 -x10337 -x10338 -x10339 -x10340 -x10341 -x10342
1757.40	v -x10343 -x10344 -x10345 -x10346 -x10347 -x10348 -x10349 -x10350 -x10351 -x10352 -x10353 -x10354 -x10355 -x10356 -x10357
1757.40	v -x10358 -x10359 -x10360 -x10361 -x10362 -x10363 -x10364 -x10365 -x10366 -x10367 -x10368 -x10369 -x10370 -x10371 -x10372
1757.40	v -x10373 -x10374 -x10375 -x10376 -x10377 -x10378 -x10379 -x10380 -x10381 -x10382 -x10383 -x10384 -x10385 -x10386 -x10387
1757.40	v -x10388 -x10389 -x10390 -x10391 -x10392 -x10393 -x10394 -x10395 -x10396 -x10397 -x10398 -x10399 -x10400 -x10401 -x10402
1757.40	v -x10403 -x10404 -x10405 -x10406 -x10407 -x10408 -x10409 -x10410 -x10411 x10412 -x10413 -x10414 -x10415 -x10416 -x10417
1757.40	v -x10418 -x10419 -x10420 -x10421 -x10422 -x10423 x10424 -x10425 x10426 -x10427 -x10428 -x10429 -x10430 x10431 -x10432
1757.40	v -x10433 -x10434 -x10435 -x10436 -x10437 -x10438 -x10439 -x10440 -x10441 -x10442 -x10443 -x10444 -x10445 -x10446 x10447
1757.40	v -x10448 -x10449 -x10450 -x10451 -x10452 -x10453 -x10454 -x10455 -x10456 -x10457 -x10458 -x10459 -x10460 x10461 -x10462
1757.40	v -x10463 -x10464 -x10465 -x10466 -x10467 -x10468 -x10469 -x10470 -x10471 -x10472 -x10473 -x10474 -x10475 -x10476 -x10477
1757.40	v -x10478 -x10479 -x10480 -x10481 -x10482 -x10483 -x10484 -x10485 -x10486 x10487 -x10488 -x10489 -x10490 -x10491 -x10492
1757.40	v -x10493 -x10494 -x10495 -x10496 -x10497 -x10498 -x10499 -x10500 -x10501 -x10502 -x10503 -x10504 -x10505 -x10506 -x10507
1757.40	v -x10508 -x10509 -x10510 x10511 -x10512 -x10513 -x10514 -x10515 -x10516 -x10517 -x10518 -x10519 -x10520 -x10521 -x10522
1757.40	v -x10523 -x10524 -x10525 -x10526 -x10527 -x10528 -x10529 -x10530 -x10531 -x10532 -x10533 -x10534 -x10535 -x10536 -x10537
1757.40	v -x10538 -x10539 -x10540 -x10541 -x10542 -x10543 -x10544 -x10545 -x10546 x10547 -x10548 -x10549 -x10550 -x10551 -x10552
1757.40	v -x10553 -x10554 -x10555 -x10556 -x10557 -x10558 -x10559 -x10560 -x10561 -x10562 -x10563 -x10564 -x10565 -x10566 -x10567
1757.40	v -x10568 -x10569 -x10570 -x10571 -x10572 -x10573 -x10574 -x10575 -x10576 -x10577 -x10578 -x10579 -x10580 -x10581 -x10582
1757.40	v -x10583 -x10584 -x10585 -x10586 -x10587 -x10588 -x10589 -x10590 -x10591 -x10592 x10593 -x10594 -x10595 -x10596 -x10597
1757.40	v -x10598 -x10599 -x10600 -x10601 -x10602 -x10603 -x10604 -x10605 -x10606 -x10607 -x10608 -x10609 -x10610 -x10611 -x10612
1757.40	v -x10613 -x10614 -x10615 -x10616 -x10617 -x10618 -x10619 -x10620 -x10621 -x10622 -x10623 -x10624 -x10625 -x10626 -x10627
1757.40	v -x10628 -x10629 -x10630 -x10631 -x10632 -x10633 -x10634 -x10635 -x10636 -x10637 -x10638 -x10639 -x10640 -x10641 -x10642
1757.40	v -x10643 -x10644 -x10645 -x10646 -x10647 -x10648 -x10649 -x10650 -x10651 -x10652 -x10653 -x10654 -x10655 -x10656 -x10657
1757.40	v -x10658 -x10659 -x10660 -x10661 -x10662 -x10663 -x10664 -x10665 -x10666 -x10667 -x10668 -x10669 -x10670 -x10671 -x10672
1757.40	v -x10673 -x10674 -x10675 -x10676 -x10677 -x10678 -x10679 -x10680 -x10681 -x10682 -x10683 -x10684 -x10685 -x10686 -x10687
1757.40	v -x10688 -x10689 -x10690 -x10691 -x10692 -x10693 -x10694 -x10695 -x10696 -x10697 -x10698 -x10699 -x10700 -x10701 -x10702
1757.40	v -x10703 -x10704 -x10705 -x10706 -x10707 -x10708 -x10709 -x10710 -x10711 -x10712 -x10713 -x10714 -x10715 -x10716 -x10717
1757.40	v -x10718 -x10719 -x10720 -x10721 -x10722 -x10723 -x10724 -x10725 -x10726 -x10727 -x10728 -x10729 -x10730 -x10731 -x10732
1757.40	v -x10733 -x10734 -x10735 -x10736 -x10737 -x10738 -x10739 -x10740 -x10741 -x10742 -x10743 -x10744 -x10745 -x10746 -x10747
1757.40	v -x10748 -x10749 -x10750 -x10751 -x10752 -x10753 -x10754 -x10755 -x10756 -x10757 -x10758 -x10759 -x10760 -x10761 -x10762
1757.40	v -x10763 -x10764 -x10765 -x10766 -x10767 -x10768 -x10769 -x10770 -x10771 -x10772 -x10773 -x10774 -x10775 -x10776 -x10777
1757.40	v -x10778 -x10779 -x10780 -x10781 -x10782 -x10783 -x10784 -x10785 -x10786 -x10787 -x10788 -x10789 -x10790 -x10791 -x10792
1757.40	v -x10793 -x10794 -x10795 -x10796 -x10797 -x10798 -x10799 -x10800 -x10801 -x10802 -x10803 -x10804 -x10805 -x10806 -x10807
1757.40	v -x10808 -x10809 -x10810 -x10811 -x10812 -x10813 -x10814 -x10815 -x10816 -x10817 -x10818 -x10819 -x10820 -x10821 -x10822
1757.40	v -x10823 -x10824 -x10825 -x10826 -x10827 -x10828 -x10829 -x10830 -x10831 -x10832 -x10833 -x10834 -x10835 -x10836 -x10837
1757.40	v -x10838 -x10839 -x10840 -x10841 -x10842 -x10843 -x10844 -x10845 -x10846 -x10847 -x10848 -x10849 -x10850 -x10851 -x10852
1757.40	v -x10853 -x10854 -x10855 -x10856 -x10857 -x10858 -x10859 -x10860 -x10861 -x10862 x10863 -x10864 -x10865 -x10866 -x10867
1757.40	v -x10868 -x10869 -x10870 -x10871 -x10872 -x10873 -x10874 -x10875 -x10876 -x10877 x10878 -x10879 -x10880 -x10881 -x10882
1757.40	v -x10883 -x10884 -x10885 -x10886 -x10887 -x10888 -x10889 -x10890 -x10891 -x10892 -x10893 -x10894 -x10895 -x10896 -x10897
1757.40	v -x10898 -x10899 -x10900 -x10901 x10902 -x10903 -x10904 -x10905 -x10906 -x10907 -x10908 -x10909 -x10910 -x10911 -x10912
1757.40	v -x10913 -x10914 -x10915 -x10916 -x10917 -x10918 -x10919 -x10920 -x10921 -x10922 -x10923 -x10924 -x10925 -x10926 -x10927
1757.40	v -x10928 -x10929 -x10930 -x10931 -x10932 -x10933 -x10934 -x10935 -x10936 -x10937 -x10938 -x10939 -x10940 -x10941 -x10942
1757.40	v -x10943 -x10944 -x10945 -x10946 -x10947 -x10948 -x10949 -x10950 -x10951 -x10952 -x10953 -x10954 -x10955 -x10956 -x10957
1757.40	v -x10958 -x10959 -x10960 -x10961 -x10962 -x10963 -x10964 -x10965 -x10966 -x10967 -x10968 -x10969 -x10970 -x10971 -x10972
1757.40	v -x10973 -x10974 -x10975 -x10976 -x10977 -x10978 -x10979 -x10980 -x10981 -x10982 -x10983 -x10984 -x10985 -x10986 -x10987
1757.40	v -x10988 -x10989 -x10990 -x10991 -x10992 -x10993 -x10994 -x10995 -x10996 -x10997 -x10998 -x10999 -x11000 -x11001 -x11002
1757.40	v -x11003 -x11004 -x11005 -x11006 -x11007 -x11008 -x11009 -x11010 -x11011 -x11012 -x11013 -x11014 -x11015 -x11016 -x11017
1757.40	v -x11018 -x11019 x11020 -x11021 -x11022 -x11023 -x11024 -x11025 -x11026 -x11027 -x11028 -x11029 -x11030 -x11031 -x11032
1757.40	v -x11033 -x11034 -x11035 -x11036 -x11037 -x11038 -x11039 -x11040 -x11041 -x11042 -x11043 -x11044 -x11045 -x11046 -x11047
1757.40	v -x11048 -x11049 -x11050 -x11051 -x11052 -x11053 -x11054 -x11055 -x11056 -x11057 -x11058 -x11059 -x11060 -x11061 -x11062
1757.40	v -x11063 -x11064 -x11065 -x11066 -x11067 -x11068 -x11069 -x11070 -x11071 -x11072 -x11073 -x11074 -x11075 -x11076 -x11077
1757.40	v -x11078 -x11079 -x11080 -x11081 -x11082 -x11083 -x11084 -x11085 -x11086 -x11087 -x11088 -x11089 -x11090 -x11091 -x11092
1757.40	v -x11093 -x11094 -x11095 -x11096 -x11097 -x11098 -x11099 -x11100 -x11101 -x11102 -x11103 -x11104 -x11105 -x11106 -x11107
1757.40	v -x11108 -x11109 -x11110 -x11111 -x11112 -x11113 -x11114 -x11115 -x11116 -x11117 -x11118 -x11119 -x11120 -x11121 -x11122
1757.40	v x11123 -x11124 -x11125 -x11126 -x11127 -x11128 -x11129 -x11130 -x11131 -x11132 -x11133 -x11134 -x11135 -x11136 -x11137
1757.40	v -x11138 -x11139 -x11140 -x11141 -x11142 -x11143 -x11144 -x11145 -x11146 -x11147 -x11148 -x11149 -x11150 -x11151 -x11152
1757.40	v -x11153 -x11154 -x11155 -x11156 -x11157 -x11158 -x11159 x11160 -x11161 -x11162 -x11163 -x11164 -x11165 -x11166 -x11167
1757.40	v -x11168 -x11169 -x11170 -x11171 -x11172 -x11173 -x11174 -x11175 -x11176 -x11177 -x11178 -x11179 -x11180 -x11181 -x11182
1757.40	v -x11183 -x11184 -x11185 -x11186 -x11187 -x11188 -x11189 -x11190 -x11191 -x11192 -x11193 -x11194 -x11195 -x11196 -x11197
1757.40	v -x11198 -x11199 -x11200 -x11201 -x11202 -x11203 -x11204 -x11205 -x11206 -x11207 -x11208 x11209 -x11210 -x11211 -x11212
1757.40	v -x11213 -x11214 -x11215 -x11216 -x11217 -x11218 -x11219 -x11220 -x11221 -x11222 -x11223 -x11224 -x11225 -x11226 -x11227
1757.40	v -x11228 -x11229 -x11230 -x11231 -x11232 -x11233 -x11234 -x11235 -x11236 -x11237 -x11238 -x11239 -x11240 -x11241 -x11242
1757.40	v -x11243 -x11244 -x11245 -x11246 -x11247 x11248 -x11249 -x11250 -x11251 -x11252 x11253 -x11254 -x11255 -x11256 -x11257
1757.40	v -x11258 -x11259 -x11260 -x11261 -x11262 -x11263 -x11264 -x11265 -x11266 -x11267 -x11268 -x11269 -x11270 -x11271 -x11272
1757.40	v -x11273 -x11274 -x11275 -x11276 -x11277 -x11278 -x11279 -x11280 -x11281 -x11282 -x11283 -x11284 -x11285 -x11286 -x11287
1757.40	v -x11288 -x11289 -x11290 -x11291 -x11292 -x11293 -x11294 x11295 -x11296 x11297 -x11298 -x11299 -x11300 -x11301 -x11302
1757.40	v -x11303 -x11304 -x11305 -x11306 -x11307 -x11308 -x11309 -x11310 -x11311 -x11312 -x11313 -x11314 -x11315 -x11316 -x11317
1757.40	v -x11318 -x11319 -x11320 -x11321 -x11322 -x11323 -x11324 -x11325 -x11326 -x11327 -x11328 -x11329 -x11330 -x11331 -x11332
1757.40	v -x11333 -x11334 -x11335 -x11336 -x11337 -x11338 -x11339 -x11340 -x11341 -x11342 -x11343 -x11344 -x11345 -x11346 -x11347
1757.40	v -x11348 -x11349 -x11350 -x11351 -x11352 -x11353 -x11354 -x11355 -x11356 -x11357 -x11358 -x11359 -x11360 -x11361 -x11362
1757.40	v -x11363 -x11364 -x11365 -x11366 x11367 -x11368 -x11369 -x11370 -x11371 -x11372 -x11373 -x11374 -x11375 x11376 -x11377
1757.40	v -x11378 -x11379 -x11380 -x11381 -x11382 -x11383 -x11384 -x11385 -x11386 -x11387 -x11388 -x11389 -x11390 -x11391 -x11392
1757.40	v -x11393 -x11394 -x11395 -x11396 -x11397 -x11398 -x11399 -x11400 -x11401 -x11402 -x11403 -x11404 -x11405 -x11406 -x11407
1757.40	v -x11408 -x11409 -x11410 -x11411 -x11412 -x11413 -x11414 -x11415 -x11416 -x11417 -x11418 -x11419 -x11420 -x11421 -x11422
1757.40	v -x11423 -x11424 -x11425 -x11426 -x11427 -x11428 -x11429 -x11430 -x11431 -x11432 -x11433 -x11434 -x11435 -x11436 -x11437
1757.40	v -x11438 -x11439 -x11440 -x11441 -x11442 -x11443 -x11444 -x11445 -x11446 -x11447 -x11448 -x11449 -x11450 -x11451 -x11452
1757.40	v -x11453 -x11454 -x11455 x11456 -x11457 -x11458 -x11459 -x11460 -x11461 -x11462 -x11463 -x11464 -x11465 -x11466 -x11467
1757.40	v -x11468 -x11469 -x11470 -x11471 -x11472 -x11473 -x11474 -x11475 -x11476 -x11477 -x11478 -x11479 -x11480 -x11481 -x11482
1757.40	v -x11483 -x11484 -x11485 -x11486 -x11487 -x11488 -x11489 -x11490 -x11491 -x11492 -x11493 -x11494 -x11495 -x11496 -x11497
1757.40	v -x11498 -x11499 -x11500 -x11501 -x11502 -x11503 -x11504 -x11505 -x11506 -x11507 -x11508 -x11509 -x11510 -x11511 -x11512
1757.40	v -x11513 -x11514 -x11515 -x11516 -x11517 -x11518 -x11519 -x11520 -x11521 -x11522 -x11523 -x11524 -x11525 -x11526 -x11527
1757.40	v -x11528 -x11529 -x11530 -x11531 -x11532 -x11533 -x11534 -x11535 -x11536 -x11537 -x11538 -x11539 -x11540 -x11541 -x11542
1757.40	v -x11543 -x11544 -x11545 -x11546 -x11547 -x11548 -x11549 -x11550 -x11551 -x11552 -x11553 -x11554 -x11555 -x11556 -x11557
1757.40	v -x11558 -x11559 -x11560 -x11561 -x11562 -x11563 -x11564 -x11565 -x11566 -x11567 -x11568 -x11569 -x11570 -x11571 -x11572
1757.40	v -x11573 -x11574 -x11575 -x11576 -x11577 -x11578 -x11579 -x11580 -x11581 -x11582 -x11583 -x11584 -x11585 -x11586 -x11587
1757.40	v -x11588 -x11589 -x11590 -x11591 -x11592 -x11593 -x11594 -x11595 -x11596 -x11597 -x11598 -x11599 -x11600 -x11601 -x11602
1757.40	v -x11603 -x11604 -x11605 -x11606 -x11607 -x11608 -x11609 -x11610 -x11611 -x11612 -x11613 -x11614 -x11615 -x11616 -x11617
1757.40	v -x11618 -x11619 -x11620 -x11621 -x11622 -x11623 -x11624 -x11625 -x11626 -x11627 x11628 -x11629 -x11630 -x11631 -x11632
1757.40	v -x11633 -x11634 -x11635 -x11636 -x11637 -x11638 -x11639 -x11640 -x11641 -x11642 -x11643 -x11644 -x11645 -x11646 -x11647
1757.40	v -x11648 -x11649 -x11650 -x11651 -x11652 -x11653 -x11654 -x11655 -x11656 -x11657 -x11658 -x11659 x11660 -x11661 x11662
1757.40	v -x11663 -x11664 -x11665 -x11666 -x11667 -x11668 -x11669 -x11670 -x11671 -x11672 -x11673 -x11674 -x11675 -x11676 -x11677
1757.40	v -x11678 x11679 -x11680 -x11681 -x11682 -x11683 -x11684 -x11685 -x11686 -x11687 -x11688 -x11689 -x11690 x11691 -x11692
1757.40	v -x11693 -x11694 x11695 -x11696 -x11697 -x11698 -x11699 -x11700 x11701 -x11702 -x11703 -x11704 x11705 x11706 -x11707
1757.40	v -x11708 -x11709 -x11710 x11711 -x11712 x11713 x11714 -x11715 -x11716 -x11717 -x11718 -x11719 -x11720 -x11721 -x11722
1757.40	v -x11723 -x11724 -x11725 -x11726 -x11727 -x11728 x11729 -x11730 -x11731 -x11732 -x11733 -x11734 -x11735 -x11736 -x11737
1757.40	v -x11738 -x11739 -x11740 -x11741 -x11742 -x11743 x11744 -x11745 -x11746 -x11747 -x11748 x11749 -x11750 -x11751 -x11752
1757.40	v -x11753 -x11754 -x11755 -x11756 -x11757 -x11758 -x11759 -x11760 -x11761 -x11762 -x11763 -x11764 -x11765 -x11766 x11767
1757.40	v -x11768 -x11769 -x11770 -x11771 -x11772 -x11773 -x11774 -x11775 -x11776 -x11777 -x11778 -x11779 -x11780 -x11781 -x11782
1757.40	v -x11783 -x11784 -x11785 -x11786 -x11787 -x11788 x11789 -x11790 -x11791 -x11792 -x11793 -x11794 -x11795 -x11796 -x11797
1757.40	v -x11798 -x11799 -x11800 -x11801 -x11802 -x11803 -x11804 -x11805 x11806 -x11807 -x11808 -x11809 -x11810 x11811 -x11812
1757.40	v -x11813 -x11814 -x11815 -x11816 -x11817 -x11818 -x11819 -x11820 -x11821 -x11822 -x11823 -x11824 -x11825 -x11826 -x11827
1757.40	v -x11828 -x11829 -x11830 -x11831 -x11832 x11833 -x11834 -x11835 -x11836 -x11837 -x11838 -x11839 -x11840 x11841 -x11842
1757.40	v -x11843 -x11844 -x11845 -x11846 -x11847 -x11848 -x11849 -x11850 -x11851 -x11852 -x11853 -x11854 -x11855 -x11856 -x11857
1757.40	v -x11858 -x11859 -x11860 -x11861 -x11862 -x11863 -x11864 -x11865 -x11866 -x11867 -x11868 -x11869 -x11870 -x11871 -x11872
1757.40	v -x11873 x11874 -x11875 -x11876 -x11877 -x11878 -x11879 -x11880 -x11881 -x11882 -x11883 -x11884 -x11885 -x11886 -x11887
1757.40	v -x11888 -x11889 x11890 -x11891 -x11892 -x11893 -x11894 -x11895 x11896 -x11897 -x11898 -x11899 -x11900 -x11901 -x11902
1757.40	v -x11903 -x11904 -x11905 -x11906 -x11907 -x11908 -x11909 -x11910 -x11911 x11912 -x11913 -x11914 -x11915 x11916 x11917
1757.40	v -x11918 -x11919 x11920 -x11921 -x11922 -x11923 -x11924 -x11925 -x11926 -x11927 -x11928 -x11929 -x11930 -x11931 -x11932
1757.40	v -x11933 -x11934 -x11935 -x11936 -x11937 -x11938 -x11939 -x11940 -x11941 -x11942 -x11943 -x11944 -x11945 -x11946 -x11947
1757.40	v -x11948 -x11949 -x11950 -x11951 -x11952 -x11953 -x11954 -x11955 -x11956 -x11957 -x11958 -x11959 -x11960 -x11961 -x11962
1757.40	v -x11963 -x11964 -x11965 -x11966 -x11967 -x11968 x11969 -x11970 -x11971 -x11972 -x11973 -x11974 -x11975 -x11976 -x11977
1757.40	v -x11978 -x11979 -x11980 -x11981 -x11982 -x11983 -x11984 -x11985 -x11986 -x11987 -x11988 -x11989 -x11990 -x11991 -x11992
1757.40	v -x11993 -x11994 x11995 -x11996 x11997 -x11998 -x11999 x12000 -x12001 -x12002 -x12003 -x12004 -x12005 -x12006 -x12007
1757.40	v -x12008 -x12009 -x12010 -x12011 -x12012 -x12013 -x12014 -x12015 -x12016 -x12017 -x12018 -x12019 -x12020 -x12021 x12022
1757.40	v -x12023 -x12024 -x12025 -x12026 -x12027 -x12028 -x12029 -x12030 -x12031 -x12032 -x12033 -x12034 -x12035 -x12036 -x12037
1757.40	v -x12038 -x12039 -x12040 -x12041 -x12042 -x12043 -x12044 -x12045 -x12046 -x12047 -x12048 x12049 -x12050 -x12051 -x12052
1757.40	v -x12053 -x12054 -x12055 -x12056 -x12057 -x12058 -x12059 -x12060 -x12061 -x12062 -x12063 -x12064 -x12065 -x12066 -x12067
1757.40	v -x12068 -x12069 -x12070 -x12071 -x12072 -x12073 -x12074 -x12075 -x12076 -x12077 -x12078 -x12079 x12080 -x12081 -x12082
1757.40	v -x12083 -x12084 -x12085 -x12086 -x12087 -x12088 -x12089 -x12090 -x12091 -x12092 -x12093 -x12094 -x12095 -x12096 -x12097
1757.40	v x12098 -x12099 -x12100 -x12101 -x12102 -x12103 -x12104 -x12105 -x12106 -x12107 -x12108 -x12109 -x12110 -x12111 -x12112
1757.40	v -x12113 -x12114 -x12115 -x12116 -x12117 -x12118 -x12119 -x12120 -x12121 -x12122 -x12123 -x12124 -x12125 -x12126 -x12127
1757.40	v -x12128 -x12129 -x12130 -x12131 -x12132 -x12133 -x12134 -x12135 -x12136 -x12137 -x12138 -x12139 -x12140 -x12141 -x12142
1757.40	v -x12143 -x12144 -x12145 -x12146 -x12147 -x12148 -x12149 -x12150 x12151 -x12152 -x12153 -x12154 -x12155 x12156 -x12157
1757.40	v -x12158 -x12159 -x12160 -x12161 -x12162 -x12163 x12164 -x12165 -x12166 -x12167 -x12168 -x12169 -x12170 -x12171 -x12172
1757.40	v -x12173 x12174 -x12175 x12176 -x12177 -x12178 x12179 -x12180 -x12181 -x12182 -x12183 -x12184 -x12185 -x12186 -x12187
1757.40	v -x12188 -x12189 -x12190 -x12191 -x12192 -x12193 x12194 -x12195 -x12196 -x12197 -x12198 -x12199 -x12200 -x12201 -x12202
1757.40	v x12203 -x12204 -x12205 x12206 -x12207 -x12208 -x12209 -x12210 -x12211 -x12212 x12213 -x12214 -x12215 -x12216 -x12217
1757.40	v -x12218 -x12219 -x12220 -x12221 x12222 -x12223 -x12224 x12225 -x12226 -x12227 -x12228 -x12229 -x12230 -x12231 -x12232
1757.40	v -x12233 -x12234 -x12235 -x12236 -x12237 -x12238 -x12239 -x12240 -x12241 -x12242 -x12243 -x12244 -x12245 -x12246 -x12247
1757.40	v -x12248 -x12249 -x12250 -x12251 -x12252 -x12253 -x12254 -x12255 -x12256 -x12257 -x12258 -x12259 -x12260 -x12261 -x12262
1757.40	v -x12263 -x12264 -x12265 -x12266 -x12267 -x12268 -x12269 -x12270 -x12271 -x12272 -x12273 -x12274 -x12275 -x12276 -x12277
1757.40	v -x12278 -x12279 -x12280 -x12281 -x12282 x12283 -x12284 -x12285 -x12286 -x12287 -x12288 x12289 -x12290 -x12291 -x12292
1757.40	v -x12293 -x12294 -x12295 -x12296 -x12297 -x12298 -x12299 -x12300 -x12301 -x12302 -x12303 -x12304 -x12305 -x12306 -x12307
1757.40	v -x12308 -x12309 -x12310 x12311 -x12312 -x12313 -x12314 -x12315 -x12316 -x12317 -x12318 -x12319 -x12320 -x12321 -x12322
1757.40	v -x12323 -x12324 x12325 -x12326 -x12327 -x12328 -x12329 -x12330 -x12331 -x12332 -x12333 -x12334 -x12335 -x12336 -x12337
1757.40	v -x12338 -x12339 -x12340 -x12341 x12342 -x12343 -x12344 -x12345 -x12346 -x12347 -x12348 -x12349 -x12350 x12351 -x12352
1757.40	v -x12353 -x12354 -x12355 -x12356 -x12357 -x12358 -x12359 -x12360 -x12361 -x12362 -x12363 -x12364 -x12365 -x12366 -x12367
1757.40	v -x12368 -x12369 -x12370 -x12371 -x12372 -x12373 -x12374 -x12375 -x12376 -x12377 -x12378 -x12379 -x12380 -x12381 -x12382
1757.40	v -x12383 -x12384 -x12385 -x12386 -x12387 -x12388 -x12389 -x12390 -x12391 -x12392 -x12393 -x12394 -x12395 -x12396 -x12397
1757.40	v -x12398 -x12399 -x12400 -x12401 -x12402 -x12403 -x12404 -x12405 -x12406 -x12407 -x12408 -x12409 -x12410 -x12411 -x12412
1757.40	v -x12413 -x12414 -x12415 -x12416 -x12417 -x12418 -x12419 -x12420 -x12421 -x12422 -x12423 x12424 -x12425 -x12426 -x12427
1757.40	v -x12428 -x12429 -x12430 -x12431 -x12432 -x12433 -x12434 -x12435 -x12436 -x12437 -x12438 -x12439 -x12440 -x12441 -x12442
1757.40	v -x12443 -x12444 -x12445 -x12446 -x12447 -x12448 -x12449 -x12450 -x12451 -x12452 -x12453 -x12454 -x12455 -x12456 -x12457
1757.40	v -x12458 -x12459 -x12460 -x12461 -x12462 -x12463 -x12464 -x12465 -x12466 x12467 -x12468 -x12469 -x12470 -x12471 -x12472
1757.40	v -x12473 -x12474 -x12475 -x12476 -x12477 -x12478 -x12479 -x12480 -x12481 -x12482 -x12483 -x12484 -x12485 -x12486 -x12487
1757.40	v -x12488 -x12489 -x12490 -x12491 -x12492 -x12493 -x12494 -x12495 -x12496 -x12497 -x12498 -x12499 -x12500 -x12501 -x12502
1757.40	v -x12503 -x12504 -x12505 -x12506 -x12507 -x12508 -x12509 -x12510 -x12511 -x12512 -x12513 -x12514 -x12515 -x12516 -x12517
1757.40	v -x12518 -x12519 -x12520 -x12521 -x12522 -x12523 -x12524 -x12525 -x12526 -x12527 -x12528 -x12529 -x12530 -x12531 -x12532
1757.40	v -x12533 -x12534 -x12535 -x12536 -x12537 -x12538 -x12539 -x12540 -x12541 -x12542 -x12543 -x12544 -x12545 -x12546 -x12547
1757.40	v -x12548 -x12549 -x12550 -x12551 -x12552 -x12553 -x12554 -x12555 -x12556 -x12557 -x12558 -x12559 -x12560 -x12561 -x12562
1757.40	v -x12563 -x12564 -x12565 -x12566 x12567 -x12568 -x12569 -x12570 -x12571 -x12572 -x12573 -x12574 -x12575 -x12576 -x12577
1757.40	v -x12578 -x12579 -x12580 -x12581 -x12582 -x12583 -x12584 x12585 -x12586 -x12587 -x12588 -x12589 -x12590 -x12591 -x12592
1757.40	v -x12593 -x12594 -x12595 -x12596 -x12597 -x12598 -x12599 -x12600 -x12601 -x12602 -x12603 -x12604 -x12605 -x12606 -x12607
1757.40	v -x12608 -x12609 -x12610 -x12611 -x12612 -x12613 -x12614 -x12615 -x12616 -x12617 -x12618 -x12619 -x12620 -x12621 -x12622
1757.40	v -x12623 -x12624 -x12625 -x12626 -x12627 -x12628 -x12629 -x12630 -x12631 -x12632 -x12633 -x12634 -x12635 -x12636 -x12637
1757.40	v -x12638 -x12639 -x12640 -x12641 -x12642 -x12643 -x12644 -x12645 -x12646 -x12647 -x12648 -x12649 -x12650 -x12651 -x12652
1757.40	v -x12653 -x12654 -x12655 -x12656 -x12657 -x12658 -x12659 -x12660 -x12661 -x12662 -x12663 -x12664 x12665 -x12666 -x12667
1757.40	v -x12668 -x12669 -x12670 -x12671 -x12672 -x12673 -x12674 -x12675 -x12676 -x12677 -x12678 -x12679 -x12680 -x12681 -x12682
1757.40	v -x12683 -x12684 -x12685 -x12686 -x12687 -x12688 -x12689 -x12690 -x12691 -x12692 -x12693 -x12694 -x12695 -x12696 -x12697
1757.40	v -x12698 -x12699 -x12700 -x12701 -x12702 -x12703 -x12704 -x12705 -x12706 -x12707 -x12708 -x12709 -x12710 -x12711 -x12712
1757.40	v -x12713 -x12714 -x12715 -x12716 -x12717 -x12718 -x12719 -x12720 -x12721 -x12722 -x12723 -x12724 -x12725 -x12726 -x12727
1757.40	v -x12728 -x12729 -x12730 -x12731 -x12732 -x12733 -x12734 -x12735 -x12736 -x12737 -x12738 -x12739 -x12740 -x12741 -x12742
1757.40	v -x12743 -x12744 -x12745 -x12746 -x12747 -x12748 -x12749 -x12750 -x12751 -x12752 -x12753 -x12754 -x12755 -x12756 -x12757
1757.40	v -x12758 -x12759 -x12760 -x12761 -x12762 -x12763 -x12764 -x12765 -x12766 -x12767 -x12768 -x12769 -x12770 -x12771 -x12772
1757.40	v -x12773 -x12774 -x12775 -x12776 -x12777 -x12778 -x12779 -x12780 -x12781 -x12782 -x12783 -x12784 -x12785 -x12786 -x12787
1757.40	v -x12788 -x12789 -x12790 -x12791 -x12792 -x12793 -x12794 -x12795 -x12796 -x12797 -x12798 -x12799 -x12800 -x12801 -x12802
1757.40	v -x12803 -x12804 -x12805 -x12806 -x12807 -x12808 -x12809 -x12810 -x12811 -x12812 -x12813 -x12814 -x12815 -x12816 -x12817
1757.40	v -x12818 -x12819 -x12820 -x12821 -x12822 -x12823 -x12824 -x12825 -x12826 -x12827 -x12828 -x12829 -x12830 -x12831 -x12832
1757.40	v -x12833 -x12834 -x12835 -x12836 -x12837 -x12838 -x12839 -x12840 -x12841 -x12842 -x12843 -x12844 -x12845 -x12846 -x12847
1757.40	v -x12848 -x12849 -x12850 -x12851 -x12852 -x12853 -x12854 -x12855 -x12856 -x12857 -x12858 -x12859 -x12860 -x12861 -x12862
1757.40	v -x12863 -x12864 -x12865 -x12866 -x12867 -x12868 -x12869 -x12870 -x12871 -x12872 -x12873 -x12874 -x12875 -x12876 -x12877
1757.40	v -x12878 -x12879 -x12880 -x12881 -x12882 -x12883 -x12884 -x12885 -x12886 -x12887 -x12888 -x12889 -x12890 -x12891 -x12892
1757.40	v -x12893 -x12894 -x12895 -x12896 -x12897 -x12898 -x12899 -x12900 -x12901 -x12902 -x12903 -x12904 -x12905 -x12906 x12907
1757.40	v -x12908 x12909 x12910 x12911 -x12912 -x12913 -x12914 -x12915 -x12916 -x12917 -x12918 -x12919 -x12920 -x12921 -x12922
1757.40	v -x12923 -x12924 -x12925 -x12926 -x12927 -x12928 -x12929 -x12930 -x12931 -x12932 -x12933 x12934 -x12935 -x12936 -x12937
1757.40	v -x12938 -x12939 -x12940 -x12941 -x12942 -x12943 -x12944 -x12945 -x12946 -x12947 -x12948 x12949 -x12950 x12951 -x12952
1757.40	v x12953 x12954 -x12955 -x12956 -x12957 -x12958 -x12959 -x12960 -x12961 x12962 x12963 x12964 -x12965 x12966 -x12967 -x12968
1757.40	v x12969 -x12970 -x12971 x12972 -x12973 -x12974 -x12975 -x12976 x12977 -x12978 x12979 -x12980 -x12981 -x12982 -x12983
1757.40	v -x12984 -x12985 -x12986 -x12987 -x12988 -x12989 -x12990 -x12991 -x12992 -x12993 x12994 -x12995 -x12996 -x12997 x12998
1757.40	v x12999 -x13000 -x13001 -x13002 -x13003 -x13004 -x13005 -x13006 x13007 -x13008 -x13009 -x13010 -x13011 -x13012 -x13013
1757.40	v -x13014 -x13015 -x13016 -x13017 -x13018 -x13019 -x13020 -x13021 -x13022 -x13023 -x13024 -x13025 -x13026 -x13027 -x13028
1757.40	v -x13029 -x13030 x13031 -x13032 -x13033 x13034 -x13035 x13036 -x13037 x13038 -x13039 -x13040 -x13041 -x13042 -x13043
1757.40	v -x13044 -x13045 -x13046 -x13047 -x13048 -x13049 -x13050 -x13051 -x13052 -x13053 -x13054 -x13055 -x13056 -x13057 -x13058
1757.40	v -x13059 -x13060 -x13061 -x13062 -x13063 -x13064 -x13065 -x13066 -x13067 -x13068 -x13069 -x13070 -x13071 -x13072 -x13073
1757.40	v -x13074 -x13075 -x13076 -x13077 -x13078 -x13079 -x13080 -x13081 -x13082 -x13083 -x13084 -x13085 -x13086 -x13087 -x13088
1757.40	v -x13089 -x13090 -x13091 -x13092 -x13093 -x13094 -x13095 -x13096 -x13097 -x13098 -x13099 -x13100 -x13101 -x13102 -x13103
1757.40	v -x13104 -x13105 -x13106 -x13107 -x13108 -x13109 -x13110 -x13111 -x13112 -x13113 -x13114 -x13115 -x13116 -x13117 -x13118
1757.40	v -x13119 -x13120 -x13121 -x13122 -x13123 -x13124 -x13125 -x13126 -x13127 -x13128 -x13129 -x13130 -x13131 -x13132 -x13133
1757.40	v -x13134 -x13135 -x13136 -x13137 -x13138 -x13139 -x13140 -x13141 -x13142 -x13143 -x13144 -x13145 -x13146 -x13147 -x13148
1757.40	v -x13149 -x13150 -x13151 -x13152 -x13153 -x13154 -x13155 -x13156 -x13157 -x13158 -x13159 -x13160 -x13161 -x13162 -x13163
1757.40	v -x13164 -x13165 -x13166 -x13167 -x13168 -x13169 -x13170 -x13171 -x13172 -x13173 -x13174 -x13175 -x13176 -x13177 -x13178
1757.40	v -x13179 -x13180 -x13181 -x13182 -x13183 -x13184 -x13185 -x13186 -x13187 -x13188 -x13189 -x13190 -x13191 -x13192 -x13193
1757.40	v -x13194 -x13195 -x13196 -x13197 -x13198 -x13199 -x13200 -x13201 -x13202 -x13203 -x13204 -x13205 -x13206 -x13207 -x13208
1757.40	v -x13209 -x13210 -x13211 -x13212 -x13213 -x13214 -x13215
1757.59	c objective function=784
1757.59	c Total wall clock time (ms): 1757.394

Verifier Data (download as text)

OK	784

Watcher Data (download as text)

Enforcing CPU limit (will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1830 seconds
Enforcing Stack size limit: 67108864 bytes
Enforcing memory limit (will send SIGKILL): 1843200 Kb
Enforcing VSIZE limit: 1887436800 bytes
runsolver version 3.0.0 (c) roussel@cril.univ-artois.fr

command line: runsolver --timestamp -w ROOT/results/node31/watcher-43865-1149262204 -o ROOT/results/node31/solver-43865-1149262204 -C 1800 -M 1800 -S 64 java -server -Xms1500M -Xmx1500M -jar ROOT/solvers/PB/PB06final/user5/sat4jPseudoPlus.jar ROOT/tmp/node31/43865-1149262204/instance-43865-1149262204.opb 566090502 

Current StackSize limit: 67108864 bytes

/proc/loadavg: 0.95 1.00 0.95 3/64 26736
/proc/meminfo: memFree=1574896/2055920 swapFree=4181480/4192956
[pid=26736] ppid=26734 vsize=1784 CPUtime=0
/proc/26736/stat : 26736 (java) R 26734 26736 26690 0 -1 0 134 0 0 0 0 0 0 0 18 0 1 0 191884050 1826816 106 18446744073709551615 134512640 134570276 4294956624 18446744073709551615 134541164 0 0 4096 0 0 0 0 17 1 0 0
/proc/26736/statm: 446 115 87 14 0 91 0

[startup+10.0026 s]
/proc/loadavg: 1.03 1.01 0.96 2/76 26754
/proc/meminfo: memFree=1354912/2055920 swapFree=4181480/4192956
[pid=26736] ppid=26734 vsize=1711100 CPUtime=11.39
/proc/26736/stat : 26736 (java) R 26734 26736 26690 0 -1 0 62716 0 1 0 1111 28 0 0 19 0 13 0 191884050 1752166400 56780 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071575805 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26736/statm: 427775 56780 1915 14 0 414522 0
[pid=26736/tid=26737] ppid=26734 vsize=1711100 CPUtime=0.44
/proc/26736/task/26737/stat : 26737 (java) S 26734 26736 26690 0 -1 64 11734 0 0 0 40 4 0 0 16 0 13 0 191884054 1752166400 56780 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26736/tid=26738] ppid=26734 vsize=1711100 CPUtime=0.45
/proc/26736/task/26738/stat : 26738 (java) S 26734 26736 26690 0 -1 64 12644 0 0 0 40 5 0 0 16 0 13 0 191884054 1752166400 56780 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26736/tid=26739] ppid=26734 vsize=1711100 CPUtime=0
/proc/26736/task/26739/stat : 26739 (java) S 26734 26736 26690 0 -1 64 32 0 0 0 0 0 0 0 16 0 13 0 191884056 1752166400 56780 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=26736/tid=26740] ppid=26734 vsize=1711100 CPUtime=0
/proc/26736/task/26740/stat : 26740 (java) S 26734 26736 26690 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 191884057 1752166400 56780 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26736/tid=26741] ppid=26734 vsize=1711100 CPUtime=0
/proc/26736/task/26741/stat : 26741 (java) S 26734 26736 26690 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 191884057 1752166400 56780 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26736/tid=26742] ppid=26734 vsize=1711100 CPUtime=0
/proc/26736/task/26742/stat : 26742 (java) S 26734 26736 26690 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 191884060 1752166400 56780 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26736/tid=26743] ppid=26734 vsize=1711100 CPUtime=0.01
/proc/26736/task/26743/stat : 26743 (java) S 26734 26736 26690 0 -1 64 3 0 0 0 1 0 0 0 16 0 13 0 191884060 1752166400 56780 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26736/tid=26744] ppid=26734 vsize=1711100 CPUtime=0.77
/proc/26736/task/26744/stat : 26744 (java) S 26734 26736 26690 0 -1 64 752 0 0 0 77 0 0 0 15 0 13 0 191884060 1752166400 56780 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26736/tid=26745] ppid=26734 vsize=1711100 CPUtime=0.66
/proc/26736/task/26745/stat : 26745 (java) S 26734 26736 26690 0 -1 64 591 0 0 0 66 0 0 0 16 0 13 0 191884060 1752166400 56780 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26736/tid=26746] ppid=26734 vsize=1711100 CPUtime=0
/proc/26736/task/26746/stat : 26746 (java) S 26734 26736 26690 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 191884060 1752166400 56780 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26736/tid=26747] ppid=26734 vsize=1711100 CPUtime=0
/proc/26736/task/26747/stat : 26747 (java) S 26734 26736 26690 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 191884060 1752166400 56780 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26736/tid=26754] ppid=26734 vsize=1711100 CPUtime=0
/proc/26736/task/26754/stat : 26754 (java) S 26734 26736 26690 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 191884964 1752166400 56780 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 11.39
Current children cumulated vsize (Kb) 1711100

[startup+20.0094 s]
/proc/loadavg: 1.03 1.01 0.96 2/76 26755
/proc/meminfo: memFree=1280664/2055920 swapFree=4181480/4192956
[pid=26736] ppid=26734 vsize=1710936 CPUtime=22.07
/proc/26736/stat : 26736 (java) R 26734 26736 26690 0 -1 0 88229 0 1 0 2167 40 0 0 25 0 13 0 191884050 1751998464 75354 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071532380 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26736/statm: 427734 75354 1915 14 0 414481 0
[pid=26736/tid=26737] ppid=26734 vsize=1710936 CPUtime=1.11
/proc/26736/task/26737/stat : 26737 (java) S 26734 26736 26690 0 -1 64 24021 0 0 0 101 10 0 0 16 0 13 0 191884054 1751998464 75354 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26736/tid=26738] ppid=26734 vsize=1710936 CPUtime=1.11
/proc/26736/task/26738/stat : 26738 (java) S 26734 26736 26690 0 -1 64 25855 0 0 0 100 11 0 0 16 0 13 0 191884054 1751998464 75354 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26736/tid=26739] ppid=26734 vsize=1710936 CPUtime=0
/proc/26736/task/26739/stat : 26739 (java) S 26734 26736 26690 0 -1 64 33 0 0 0 0 0 0 0 16 0 13 0 191884056 1751998464 75354 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=26736/tid=26740] ppid=26734 vsize=1710936 CPUtime=0
/proc/26736/task/26740/stat : 26740 (java) S 26734 26736 26690 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 191884057 1751998464 75354 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26736/tid=26741] ppid=26734 vsize=1710936 CPUtime=0
/proc/26736/task/26741/stat : 26741 (java) S 26734 26736 26690 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 191884057 1751998464 75354 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26736/tid=26742] ppid=26734 vsize=1710936 CPUtime=0
/proc/26736/task/26742/stat : 26742 (java) S 26734 26736 26690 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 191884060 1751998464 75354 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26736/tid=26743] ppid=26734 vsize=1710936 CPUtime=0.01
/proc/26736/task/26743/stat : 26743 (java) S 26734 26736 26690 0 -1 64 3 0 0 0 1 0 0 0 16 0 13 0 191884060 1751998464 75354 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26736/tid=26744] ppid=26734 vsize=1710936 CPUtime=0.77
/proc/26736/task/26744/stat : 26744 (java) S 26734 26736 26690 0 -1 64 752 0 0 0 77 0 0 0 16 0 13 0 191884060 1751998464 75354 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26736/tid=26745] ppid=26734 vsize=1710936 CPUtime=0.67
/proc/26736/task/26745/stat : 26745 (java) S 26734 26736 26690 0 -1 64 591 0 0 0 67 0 0 0 16 0 13 0 191884060 1751998464 75354 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26736/tid=26746] ppid=26734 vsize=1710936 CPUtime=0
/proc/26736/task/26746/stat : 26746 (java) S 26734 26736 26690 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 191884060 1751998464 75354 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26736/tid=26747] ppid=26734 vsize=1710936 CPUtime=0
/proc/26736/task/26747/stat : 26747 (java) S 26734 26736 26690 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 191884060 1751998464 75354 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26736/tid=26755] ppid=26734 vsize=1710936 CPUtime=0
/proc/26736/task/26755/stat : 26755 (java) S 26734 26736 26690 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 191885353 1751998464 75354 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 22.07
Current children cumulated vsize (Kb) 1710936

[startup+30.0162 s]
/proc/loadavg: 1.02 1.01 0.96 2/76 26755
/proc/meminfo: memFree=1234136/2055920 swapFree=4181480/4192956
[pid=26736] ppid=26734 vsize=1710936 CPUtime=32.54
/proc/26736/stat : 26736 (java) R 26734 26736 26690 0 -1 0 103590 0 1 0 3206 48 0 0 24 0 13 0 191884050 1751998464 86966 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071587308 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26736/statm: 427734 86966 1915 14 0 414481 0
[pid=26736/tid=26737] ppid=26734 vsize=1710936 CPUtime=1.51
/proc/26736/task/26737/stat : 26737 (java) S 26734 26736 26690 0 -1 64 30562 0 0 0 138 13 0 0 16 0 13 0 191884054 1751998464 86966 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26736/tid=26738] ppid=26734 vsize=1710936 CPUtime=1.51
/proc/26736/task/26738/stat : 26738 (java) S 26734 26736 26690 0 -1 64 34343 0 0 0 135 16 0 0 16 0 13 0 191884054 1751998464 86966 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26736/tid=26739] ppid=26734 vsize=1710936 CPUtime=0
/proc/26736/task/26739/stat : 26739 (java) S 26734 26736 26690 0 -1 64 33 0 0 0 0 0 0 0 16 0 13 0 191884056 1751998464 86966 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=26736/tid=26740] ppid=26734 vsize=1710936 CPUtime=0
/proc/26736/task/26740/stat : 26740 (java) S 26734 26736 26690 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 191884057 1751998464 86966 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26736/tid=26741] ppid=26734 vsize=1710936 CPUtime=0
/proc/26736/task/26741/stat : 26741 (java) S 26734 26736 26690 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 191884057 1751998464 86966 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26736/tid=26742] ppid=26734 vsize=1710936 CPUtime=0
/proc/26736/task/26742/stat : 26742 (java) S 26734 26736 26690 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 191884060 1751998464 86966 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26736/tid=26743] ppid=26734 vsize=1710936 CPUtime=0.01
/proc/26736/task/26743/stat : 26743 (java) S 26734 26736 26690 0 -1 64 3 0 0 0 1 0 0 0 16 0 13 0 191884060 1751998464 86966 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26736/tid=26744] ppid=26734 vsize=1710936 CPUtime=0.78
/proc/26736/task/26744/stat : 26744 (java) S 26734 26736 26690 0 -1 64 752 0 0 0 78 0 0 0 17 0 13 0 191884060 1751998464 86966 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26736/tid=26745] ppid=26734 vsize=1710936 CPUtime=0.74
/proc/26736/task/26745/stat : 26745 (java) S 26734 26736 26690 0 -1 64 916 0 0 0 74 0 0 0 17 0 13 0 191884060 1751998464 86966 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26736/tid=26746] ppid=26734 vsize=1710936 CPUtime=0
/proc/26736/task/26746/stat : 26746 (java) S 26734 26736 26690 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 191884060 1751998464 86966 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26736/tid=26747] ppid=26734 vsize=1710936 CPUtime=0
/proc/26736/task/26747/stat : 26747 (java) S 26734 26736 26690 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 191884060 1751998464 86966 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26736/tid=26755] ppid=26734 vsize=1710936 CPUtime=0
/proc/26736/task/26755/stat : 26755 (java) S 26734 26736 26690 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 191885353 1751998464 86966 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 32.54
Current children cumulated vsize (Kb) 1710936

[startup+40.0231 s]
/proc/loadavg: 1.02 1.01 0.96 2/76 26755
/proc/meminfo: memFree=1164184/2055920 swapFree=4181480/4192956
[pid=26736] ppid=26734 vsize=1710936 CPUtime=43.28
/proc/26736/stat : 26736 (java) R 26734 26736 26690 0 -1 0 127641 0 1 0 4269 59 0 0 25 0 13 0 191884050 1751998464 104427 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071586956 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26736/statm: 427734 104427 1915 14 0 414481 0
[pid=26736/tid=26737] ppid=26734 vsize=1710936 CPUtime=2.24
/proc/26736/task/26737/stat : 26737 (java) S 26734 26736 26690 0 -1 64 42813 0 0 0 205 19 0 0 16 0 13 0 191884054 1751998464 104427 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26736/tid=26738] ppid=26734 vsize=1710936 CPUtime=2.25
/proc/26736/task/26738/stat : 26738 (java) S 26734 26736 26690 0 -1 64 46127 0 0 0 204 21 0 0 16 0 13 0 191884054 1751998464 104427 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26736/tid=26739] ppid=26734 vsize=1710936 CPUtime=0.01
/proc/26736/task/26739/stat : 26739 (java) S 26734 26736 26690 0 -1 64 37 0 0 0 0 1 0 0 16 0 13 0 191884056 1751998464 104427 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=26736/tid=26740] ppid=26734 vsize=1710936 CPUtime=0
/proc/26736/task/26740/stat : 26740 (java) S 26734 26736 26690 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 191884057 1751998464 104427 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26736/tid=26741] ppid=26734 vsize=1710936 CPUtime=0
/proc/26736/task/26741/stat : 26741 (java) S 26734 26736 26690 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 191884057 1751998464 104427 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26736/tid=26742] ppid=26734 vsize=1710936 CPUtime=0
/proc/26736/task/26742/stat : 26742 (java) S 26734 26736 26690 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 191884060 1751998464 104427 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26736/tid=26743] ppid=26734 vsize=1710936 CPUtime=0.01
/proc/26736/task/26743/stat : 26743 (java) S 26734 26736 26690 0 -1 64 3 0 0 0 1 0 0 0 16 0 13 0 191884060 1751998464 104427 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26736/tid=26744] ppid=26734 vsize=1710936 CPUtime=0.78
/proc/26736/task/26744/stat : 26744 (java) S 26734 26736 26690 0 -1 64 752 0 0 0 78 0 0 0 17 0 13 0 191884060 1751998464 104427 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26736/tid=26745] ppid=26734 vsize=1710936 CPUtime=0.75
/proc/26736/task/26745/stat : 26745 (java) S 26734 26736 26690 0 -1 64 916 0 0 0 75 0 0 0 17 0 13 0 191884060 1751998464 104427 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26736/tid=26746] ppid=26734 vsize=1710936 CPUtime=0
/proc/26736/task/26746/stat : 26746 (java) S 26734 26736 26690 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 191884060 1751998464 104427 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26736/tid=26747] ppid=26734 vsize=1710936 CPUtime=0
/proc/26736/task/26747/stat : 26747 (java) S 26734 26736 26690 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 191884060 1751998464 104427 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26736/tid=26755] ppid=26734 vsize=1710936 CPUtime=0
/proc/26736/task/26755/stat : 26755 (java) S 26734 26736 26690 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 191885353 1751998464 104427 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 43.28
Current children cumulated vsize (Kb) 1710936

[startup+50.0299 s]
/proc/loadavg: 1.02 1.01 0.96 2/76 26755
/proc/meminfo: memFree=1152344/2055920 swapFree=4181480/4192956
[pid=26736] ppid=26734 vsize=1710936 CPUtime=53.38
/proc/26736/stat : 26736 (java) R 26734 26736 26690 0 -1 0 130995 0 1 0 5277 61 0 0 19 0 13 0 191884050 1751998464 107381 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071586706 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26736/statm: 427734 107381 1915 14 0 414481 0
[pid=26736/tid=26737] ppid=26734 vsize=1710936 CPUtime=2.34
/proc/26736/task/26737/stat : 26737 (java) S 26734 26736 26690 0 -1 64 44058 0 0 0 214 20 0 0 17 0 13 0 191884054 1751998464 107381 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26736/tid=26738] ppid=26734 vsize=1710936 CPUtime=2.35
/proc/26736/task/26738/stat : 26738 (java) S 26734 26736 26690 0 -1 64 48234 0 0 0 213 22 0 0 16 0 13 0 191884054 1751998464 107381 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26736/tid=26739] ppid=26734 vsize=1710936 CPUtime=0.01
/proc/26736/task/26739/stat : 26739 (java) S 26734 26736 26690 0 -1 64 37 0 0 0 0 1 0 0 16 0 13 0 191884056 1751998464 107381 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=26736/tid=26740] ppid=26734 vsize=1710936 CPUtime=0
/proc/26736/task/26740/stat : 26740 (java) S 26734 26736 26690 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 191884057 1751998464 107381 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26736/tid=26741] ppid=26734 vsize=1710936 CPUtime=0
/proc/26736/task/26741/stat : 26741 (java) S 26734 26736 26690 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 191884057 1751998464 107381 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26736/tid=26742] ppid=26734 vsize=1710936 CPUtime=0
/proc/26736/task/26742/stat : 26742 (java) S 26734 26736 26690 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 191884060 1751998464 107381 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26736/tid=26743] ppid=26734 vsize=1710936 CPUtime=0.01
/proc/26736/task/26743/stat : 26743 (java) S 26734 26736 26690 0 -1 64 3 0 0 0 1 0 0 0 16 0 13 0 191884060 1751998464 107381 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26736/tid=26744] ppid=26734 vsize=1710936 CPUtime=0.78
/proc/26736/task/26744/stat : 26744 (java) S 26734 26736 26690 0 -1 64 752 0 0 0 78 0 0 0 16 0 13 0 191884060 1751998464 107381 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26736/tid=26745] ppid=26734 vsize=1710936 CPUtime=0.75
/proc/26736/task/26745/stat : 26745 (java) S 26734 26736 26690 0 -1 64 916 0 0 0 75 0 0 0 17 0 13 0 191884060 1751998464 107381 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26736/tid=26746] ppid=26734 vsize=1710936 CPUtime=0
/proc/26736/task/26746/stat : 26746 (java) S 26734 26736 26690 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 191884060 1751998464 107381 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26736/tid=26747] ppid=26734 vsize=1710936 CPUtime=0
/proc/26736/task/26747/stat : 26747 (java) S 26734 26736 26690 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 191884060 1751998464 107381 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26736/tid=26755] ppid=26734 vsize=1710936 CPUtime=0
/proc/26736/task/26755/stat : 26755 (java) S 26734 26736 26690 0 -1 64 0 0 0 0 0 0 0 0 16 0 13 0 191885353 1751998464 107381 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 53.38
Current children cumulated vsize (Kb) 1710936

[startup+60.0367 s]
/proc/loadavg: 1.01 1.01 0.96 2/76 26755
/proc/meminfo: memFree=1138968/2055920 swapFree=4181480/4192956
[pid=26736] ppid=26734 vsize=1710936 CPUtime=63.57
/proc/26736/stat : 26736 (java) R 26734 26736 26690 0 -1 0 134625 0 1 0 6294 63 0 0 25 0 13 0 191884050 1751998464 110727 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071576068 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26736/statm: 427734 110727 1915 14 0 414481 0
[pid=26736/tid=26737] ppid=26734 vsize=1710936 CPUtime=2.52
/proc/26736/task/26737/stat : 26737 (java) S 26734 26736 26690 0 -1 64 45133 0 0 0 232 20 0 0 17 0 13 0 191884054 1751998464 110727 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26736/tid=26738] ppid=26734 vsize=1710936 CPUtime=2.54
/proc/26736/task/26738/stat : 26738 (java) S 26734 26736 26690 0 -1 64 50785 0 0 0 231 23 0 0 16 0 13 0 191884054 1751998464 110727 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26736/tid=26739] ppid=26734 vsize=1710936 CPUtime=0.01
/proc/26736/task/26739/stat : 26739 (java) S 26734 26736 26690 0 -1 64 38 0 0 0 0 1 0 0 16 0 13 0 191884056 1751998464 110727 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=26736/tid=26740] ppid=26734 vsize=1710936 CPUtime=0
/proc/26736/task/26740/stat : 26740 (java) S 26734 26736 26690 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 191884057 1751998464 110727 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26736/tid=26741] ppid=26734 vsize=1710936 CPUtime=0
/proc/26736/task/26741/stat : 26741 (java) S 26734 26736 26690 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 191884057 1751998464 110727 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26736/tid=26742] ppid=26734 vsize=1710936 CPUtime=0
/proc/26736/task/26742/stat : 26742 (java) S 26734 26736 26690 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 191884060 1751998464 110727 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0

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

[pid=26736/tid=26740] ppid=26734 vsize=1711272 CPUtime=0
/proc/26736/task/26740/stat : 26740 (java) S 26734 26736 26690 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 191884057 1752342528 387599 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26736/tid=26741] ppid=26734 vsize=1711272 CPUtime=0
/proc/26736/task/26741/stat : 26741 (java) S 26734 26736 26690 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 191884057 1752342528 387599 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26736/tid=26742] ppid=26734 vsize=1711272 CPUtime=0
/proc/26736/task/26742/stat : 26742 (java) S 26734 26736 26690 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 191884060 1752342528 387599 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26736/tid=26743] ppid=26734 vsize=1711272 CPUtime=0.01
/proc/26736/task/26743/stat : 26743 (java) S 26734 26736 26690 0 -1 64 3 0 0 0 1 0 0 0 17 0 13 0 191884060 1752342528 387599 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26736/tid=26744] ppid=26734 vsize=1711272 CPUtime=1
/proc/26736/task/26744/stat : 26744 (java) S 26734 26736 26690 0 -1 64 1100 0 0 0 100 0 0 0 17 0 13 0 191884060 1752342528 387599 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26736/tid=26745] ppid=26734 vsize=1711272 CPUtime=0.94
/proc/26736/task/26745/stat : 26745 (java) S 26734 26736 26690 0 -1 64 1269 0 0 0 94 0 0 0 17 0 13 0 191884060 1752342528 387599 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26736/tid=26746] ppid=26734 vsize=1711272 CPUtime=0
/proc/26736/task/26746/stat : 26746 (java) S 26734 26736 26690 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 191884060 1752342528 387599 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26736/tid=26747] ppid=26734 vsize=1711272 CPUtime=0
/proc/26736/task/26747/stat : 26747 (java) S 26734 26736 26690 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 191884060 1752342528 387599 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26736/tid=26755] ppid=26734 vsize=1711272 CPUtime=0
/proc/26736/task/26755/stat : 26755 (java) S 26734 26736 26690 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 191885353 1752342528 387599 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1796.08
Current children cumulated vsize (Kb) 1711272

[startup+1754.27 s]
/proc/loadavg: 1.03 1.02 1.00 2/76 26757
/proc/meminfo: memFree=28312/2055920 swapFree=4181480/4192956
[pid=26736] ppid=26734 vsize=1711272 CPUtime=1797.1
/proc/26736/stat : 26736 (java) R 26734 26736 26690 0 -1 0 452917 0 1 0 179406 304 0 0 20 0 13 0 191884050 1752342528 387599 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071781026 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26736/statm: 427818 387599 1917 14 0 414565 0
[pid=26736/tid=26737] ppid=26734 vsize=1711272 CPUtime=42.21
/proc/26736/task/26737/stat : 26737 (java) S 26734 26736 26690 0 -1 64 207064 0 0 0 4093 128 0 0 16 0 13 0 191884054 1752342528 387599 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26736/tid=26738] ppid=26734 vsize=1711272 CPUtime=42.32
/proc/26736/task/26738/stat : 26738 (java) S 26734 26736 26690 0 -1 64 204045 0 0 0 4103 129 0 0 17 0 13 0 191884054 1752342528 387599 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26736/tid=26739] ppid=26734 vsize=1711272 CPUtime=5.42
/proc/26736/task/26739/stat : 26739 (java) S 26734 26736 26690 0 -1 64 57 0 0 0 525 17 0 0 16 0 13 0 191884056 1752342528 387599 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=26736/tid=26740] ppid=26734 vsize=1711272 CPUtime=0
/proc/26736/task/26740/stat : 26740 (java) S 26734 26736 26690 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 191884057 1752342528 387599 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26736/tid=26741] ppid=26734 vsize=1711272 CPUtime=0
/proc/26736/task/26741/stat : 26741 (java) S 26734 26736 26690 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 191884057 1752342528 387599 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26736/tid=26742] ppid=26734 vsize=1711272 CPUtime=0
/proc/26736/task/26742/stat : 26742 (java) S 26734 26736 26690 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 191884060 1752342528 387599 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26736/tid=26743] ppid=26734 vsize=1711272 CPUtime=0.01
/proc/26736/task/26743/stat : 26743 (java) S 26734 26736 26690 0 -1 64 3 0 0 0 1 0 0 0 17 0 13 0 191884060 1752342528 387599 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26736/tid=26744] ppid=26734 vsize=1711272 CPUtime=1
/proc/26736/task/26744/stat : 26744 (java) S 26734 26736 26690 0 -1 64 1100 0 0 0 100 0 0 0 17 0 13 0 191884060 1752342528 387599 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26736/tid=26745] ppid=26734 vsize=1711272 CPUtime=0.94
/proc/26736/task/26745/stat : 26745 (java) S 26734 26736 26690 0 -1 64 1269 0 0 0 94 0 0 0 17 0 13 0 191884060 1752342528 387599 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26736/tid=26746] ppid=26734 vsize=1711272 CPUtime=0
/proc/26736/task/26746/stat : 26746 (java) S 26734 26736 26690 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 191884060 1752342528 387599 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26736/tid=26747] ppid=26734 vsize=1711272 CPUtime=0
/proc/26736/task/26747/stat : 26747 (java) S 26734 26736 26690 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 191884060 1752342528 387599 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26736/tid=26755] ppid=26734 vsize=1711272 CPUtime=0
/proc/26736/task/26755/stat : 26755 (java) S 26734 26736 26690 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 191885353 1752342528 387599 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1797.1
Current children cumulated vsize (Kb) 1711272

[startup+1755.28 s]
/proc/loadavg: 1.03 1.02 1.00 2/76 26757
/proc/meminfo: memFree=28312/2055920 swapFree=4181480/4192956
[pid=26736] ppid=26734 vsize=1711272 CPUtime=1798.14
/proc/26736/stat : 26736 (java) R 26734 26736 26690 0 -1 0 452919 0 1 0 179510 304 0 0 19 0 13 0 191884050 1752342528 387599 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071781972 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26736/statm: 427818 387599 1917 14 0 414565 0
[pid=26736/tid=26737] ppid=26734 vsize=1711272 CPUtime=42.24
/proc/26736/task/26737/stat : 26737 (java) S 26734 26736 26690 0 -1 64 207064 0 0 0 4096 128 0 0 16 0 13 0 191884054 1752342528 387599 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26736/tid=26738] ppid=26734 vsize=1711272 CPUtime=42.35
/proc/26736/task/26738/stat : 26738 (java) S 26734 26736 26690 0 -1 64 204045 0 0 0 4106 129 0 0 16 0 13 0 191884054 1752342528 387599 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26736/tid=26739] ppid=26734 vsize=1711272 CPUtime=5.42
/proc/26736/task/26739/stat : 26739 (java) S 26734 26736 26690 0 -1 64 57 0 0 0 525 17 0 0 15 0 13 0 191884056 1752342528 387599 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=26736/tid=26740] ppid=26734 vsize=1711272 CPUtime=0
/proc/26736/task/26740/stat : 26740 (java) S 26734 26736 26690 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 191884057 1752342528 387599 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26736/tid=26741] ppid=26734 vsize=1711272 CPUtime=0
/proc/26736/task/26741/stat : 26741 (java) S 26734 26736 26690 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 191884057 1752342528 387599 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26736/tid=26742] ppid=26734 vsize=1711272 CPUtime=0
/proc/26736/task/26742/stat : 26742 (java) S 26734 26736 26690 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 191884060 1752342528 387599 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26736/tid=26743] ppid=26734 vsize=1711272 CPUtime=0.01
/proc/26736/task/26743/stat : 26743 (java) S 26734 26736 26690 0 -1 64 3 0 0 0 1 0 0 0 17 0 13 0 191884060 1752342528 387599 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26736/tid=26744] ppid=26734 vsize=1711272 CPUtime=1
/proc/26736/task/26744/stat : 26744 (java) S 26734 26736 26690 0 -1 64 1100 0 0 0 100 0 0 0 17 0 13 0 191884060 1752342528 387599 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26736/tid=26745] ppid=26734 vsize=1711272 CPUtime=0.94
/proc/26736/task/26745/stat : 26745 (java) S 26734 26736 26690 0 -1 64 1269 0 0 0 94 0 0 0 17 0 13 0 191884060 1752342528 387599 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26736/tid=26746] ppid=26734 vsize=1711272 CPUtime=0
/proc/26736/task/26746/stat : 26746 (java) S 26734 26736 26690 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 191884060 1752342528 387599 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26736/tid=26747] ppid=26734 vsize=1711272 CPUtime=0
/proc/26736/task/26747/stat : 26747 (java) S 26734 26736 26690 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 191884060 1752342528 387599 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26736/tid=26755] ppid=26734 vsize=1711272 CPUtime=0
/proc/26736/task/26755/stat : 26755 (java) S 26734 26736 26690 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 191885353 1752342528 387599 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1798.14
Current children cumulated vsize (Kb) 1711272

[startup+1756.29 s]
/proc/loadavg: 1.03 1.02 1.00 2/76 26757
/proc/meminfo: memFree=28312/2055920 swapFree=4181480/4192956
[pid=26736] ppid=26734 vsize=1711272 CPUtime=1799.16
/proc/26736/stat : 26736 (java) R 26734 26736 26690 0 -1 0 452920 0 1 0 179612 304 0 0 21 0 13 0 191884050 1752342528 387599 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071781702 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26736/statm: 427818 387599 1917 14 0 414565 0
[pid=26736/tid=26737] ppid=26734 vsize=1711272 CPUtime=42.26
/proc/26736/task/26737/stat : 26737 (java) S 26734 26736 26690 0 -1 64 207064 0 0 0 4098 128 0 0 16 0 13 0 191884054 1752342528 387599 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26736/tid=26738] ppid=26734 vsize=1711272 CPUtime=42.37
/proc/26736/task/26738/stat : 26738 (java) S 26734 26736 26690 0 -1 64 204045 0 0 0 4108 129 0 0 16 0 13 0 191884054 1752342528 387599 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26736/tid=26739] ppid=26734 vsize=1711272 CPUtime=5.42
/proc/26736/task/26739/stat : 26739 (java) S 26734 26736 26690 0 -1 64 57 0 0 0 525 17 0 0 16 0 13 0 191884056 1752342528 387599 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=26736/tid=26740] ppid=26734 vsize=1711272 CPUtime=0
/proc/26736/task/26740/stat : 26740 (java) S 26734 26736 26690 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 191884057 1752342528 387599 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26736/tid=26741] ppid=26734 vsize=1711272 CPUtime=0
/proc/26736/task/26741/stat : 26741 (java) S 26734 26736 26690 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 191884057 1752342528 387599 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26736/tid=26742] ppid=26734 vsize=1711272 CPUtime=0
/proc/26736/task/26742/stat : 26742 (java) S 26734 26736 26690 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 191884060 1752342528 387599 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26736/tid=26743] ppid=26734 vsize=1711272 CPUtime=0.01
/proc/26736/task/26743/stat : 26743 (java) S 26734 26736 26690 0 -1 64 3 0 0 0 1 0 0 0 17 0 13 0 191884060 1752342528 387599 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26736/tid=26744] ppid=26734 vsize=1711272 CPUtime=1
/proc/26736/task/26744/stat : 26744 (java) S 26734 26736 26690 0 -1 64 1100 0 0 0 100 0 0 0 17 0 13 0 191884060 1752342528 387599 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26736/tid=26745] ppid=26734 vsize=1711272 CPUtime=0.94
/proc/26736/task/26745/stat : 26745 (java) S 26734 26736 26690 0 -1 64 1269 0 0 0 94 0 0 0 17 0 13 0 191884060 1752342528 387599 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26736/tid=26746] ppid=26734 vsize=1711272 CPUtime=0
/proc/26736/task/26746/stat : 26746 (java) S 26734 26736 26690 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 191884060 1752342528 387599 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26736/tid=26747] ppid=26734 vsize=1711272 CPUtime=0
/proc/26736/task/26747/stat : 26747 (java) S 26734 26736 26690 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 191884060 1752342528 387599 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26736/tid=26755] ppid=26734 vsize=1711272 CPUtime=0
/proc/26736/task/26755/stat : 26755 (java) S 26734 26736 26690 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 191885353 1752342528 387599 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1799.16
Current children cumulated vsize (Kb) 1711272

[startup+1757.29 s]
/proc/loadavg: 1.03 1.02 1.00 2/76 26757
/proc/meminfo: memFree=28312/2055920 swapFree=4181480/4192956
[pid=26736] ppid=26734 vsize=1711272 CPUtime=1800.2
/proc/26736/stat : 26736 (java) R 26734 26736 26690 0 -1 0 452922 0 1 0 179715 305 0 0 25 0 13 0 191884050 1752342528 387599 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071725798 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26736/statm: 427818 387599 1917 14 0 414565 0
[pid=26736/tid=26737] ppid=26734 vsize=1711272 CPUtime=42.28
/proc/26736/task/26737/stat : 26737 (java) S 26734 26736 26690 0 -1 64 207064 0 0 0 4100 128 0 0 16 0 13 0 191884054 1752342528 387599 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26736/tid=26738] ppid=26734 vsize=1711272 CPUtime=42.4
/proc/26736/task/26738/stat : 26738 (java) S 26734 26736 26690 0 -1 64 204045 0 0 0 4111 129 0 0 16 0 13 0 191884054 1752342528 387599 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26736/tid=26739] ppid=26734 vsize=1711272 CPUtime=5.42
/proc/26736/task/26739/stat : 26739 (java) S 26734 26736 26690 0 -1 64 57 0 0 0 525 17 0 0 15 0 13 0 191884056 1752342528 387599 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=26736/tid=26740] ppid=26734 vsize=1711272 CPUtime=0
/proc/26736/task/26740/stat : 26740 (java) S 26734 26736 26690 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 191884057 1752342528 387599 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26736/tid=26741] ppid=26734 vsize=1711272 CPUtime=0
/proc/26736/task/26741/stat : 26741 (java) S 26734 26736 26690 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 191884057 1752342528 387599 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26736/tid=26742] ppid=26734 vsize=1711272 CPUtime=0
/proc/26736/task/26742/stat : 26742 (java) S 26734 26736 26690 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 191884060 1752342528 387599 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26736/tid=26743] ppid=26734 vsize=1711272 CPUtime=0.01
/proc/26736/task/26743/stat : 26743 (java) S 26734 26736 26690 0 -1 64 3 0 0 0 1 0 0 0 17 0 13 0 191884060 1752342528 387599 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26736/tid=26744] ppid=26734 vsize=1711272 CPUtime=1
/proc/26736/task/26744/stat : 26744 (java) S 26734 26736 26690 0 -1 64 1100 0 0 0 100 0 0 0 17 0 13 0 191884060 1752342528 387599 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26736/tid=26745] ppid=26734 vsize=1711272 CPUtime=0.94
/proc/26736/task/26745/stat : 26745 (java) S 26734 26736 26690 0 -1 64 1269 0 0 0 94 0 0 0 17 0 13 0 191884060 1752342528 387599 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26736/tid=26746] ppid=26734 vsize=1711272 CPUtime=0
/proc/26736/task/26746/stat : 26746 (java) S 26734 26736 26690 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 191884060 1752342528 387599 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26736/tid=26747] ppid=26734 vsize=1711272 CPUtime=0
/proc/26736/task/26747/stat : 26747 (java) S 26734 26736 26690 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 191884060 1752342528 387599 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26736/tid=26755] ppid=26734 vsize=1711272 CPUtime=0
/proc/26736/task/26755/stat : 26755 (java) S 26734 26736 26690 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 191885353 1752342528 387599 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1800.2
Current children cumulated vsize (Kb) 1711272



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1757.3 s]
/proc/loadavg: 1.03 1.02 1.00 2/76 26757
/proc/meminfo: memFree=28312/2055920 swapFree=4181480/4192956
[pid=26736] ppid=26734 vsize=1711272 CPUtime=1800.2
/proc/26736/stat : 26736 (java) R 26734 26736 26690 0 -1 0 452922 0 1 0 179715 305 0 0 25 0 13 0 191884050 1752342528 387599 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071781138 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26736/statm: 427818 387599 1917 14 0 414565 0
[pid=26736/tid=26737] ppid=26734 vsize=1711272 CPUtime=42.28
/proc/26736/task/26737/stat : 26737 (java) S 26734 26736 26690 0 -1 64 207064 0 0 0 4100 128 0 0 16 0 13 0 191884054 1752342528 387599 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26736/tid=26738] ppid=26734 vsize=1711272 CPUtime=42.4
/proc/26736/task/26738/stat : 26738 (java) S 26734 26736 26690 0 -1 64 204045 0 0 0 4111 129 0 0 16 0 13 0 191884054 1752342528 387599 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26736/tid=26739] ppid=26734 vsize=1711272 CPUtime=5.42
/proc/26736/task/26739/stat : 26739 (java) S 26734 26736 26690 0 -1 64 57 0 0 0 525 17 0 0 15 0 13 0 191884056 1752342528 387599 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=26736/tid=26740] ppid=26734 vsize=1711272 CPUtime=0
/proc/26736/task/26740/stat : 26740 (java) S 26734 26736 26690 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 191884057 1752342528 387599 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26736/tid=26741] ppid=26734 vsize=1711272 CPUtime=0
/proc/26736/task/26741/stat : 26741 (java) S 26734 26736 26690 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 191884057 1752342528 387599 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26736/tid=26742] ppid=26734 vsize=1711272 CPUtime=0
/proc/26736/task/26742/stat : 26742 (java) S 26734 26736 26690 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 191884060 1752342528 387599 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26736/tid=26743] ppid=26734 vsize=1711272 CPUtime=0.01
/proc/26736/task/26743/stat : 26743 (java) S 26734 26736 26690 0 -1 64 3 0 0 0 1 0 0 0 17 0 13 0 191884060 1752342528 387599 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26736/tid=26744] ppid=26734 vsize=1711272 CPUtime=1
/proc/26736/task/26744/stat : 26744 (java) S 26734 26736 26690 0 -1 64 1100 0 0 0 100 0 0 0 17 0 13 0 191884060 1752342528 387599 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26736/tid=26745] ppid=26734 vsize=1711272 CPUtime=0.94
/proc/26736/task/26745/stat : 26745 (java) S 26734 26736 26690 0 -1 64 1269 0 0 0 94 0 0 0 17 0 13 0 191884060 1752342528 387599 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26736/tid=26746] ppid=26734 vsize=1711272 CPUtime=0
/proc/26736/task/26746/stat : 26746 (java) S 26734 26736 26690 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 191884060 1752342528 387599 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26736/tid=26747] ppid=26734 vsize=1711272 CPUtime=0
/proc/26736/task/26747/stat : 26747 (java) S 26734 26736 26690 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 191884060 1752342528 387599 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26736/tid=26755] ppid=26734 vsize=1711272 CPUtime=0
/proc/26736/task/26755/stat : 26755 (java) S 26734 26736 26690 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 191885353 1752342528 387599 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1800.2
Current children cumulated vsize (Kb) 1711272

Sending SIGTERM to -26736
Sleeping 2 seconds

Child status: 143
Real time (s): 1757.91
CPU time (s): 1801.05
CPU user time (s): 1797.76
CPU system time (s): 3.2945
CPU usage (%): 102.455
Max. virtual memory (cumulated for all children) (Kb): 1711680

Launcher Data (download as text)

Begin job on node31 on Fri Jun  2 15:30:04 UTC 2006


FILE ID= 43865-1149262204

PBS_JOBID= 298722

BENCH NAME= ROOT/tmp/node31/43865-1149262204/instance-43865-1149262204.opb
COMMAND LINE= java -server -Xms1500M -Xmx1500M -jar ROOT/solvers/PB/PB06final/user5/sat4jPseudoPlus.jar ROOT/tmp/node31/43865-1149262204/instance-43865-1149262204.opb 566090502
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node31/watcher-43865-1149262204 -o ROOT/results/node31/solver-43865-1149262204 -C 1800 -M 1800 -S 64  java -server -Xms1500M -Xmx1500M -jar ROOT/solvers/PB/PB06final/user5/sat4jPseudoPlus.jar ROOT/tmp/node31/43865-1149262204/instance-43865-1149262204.opb 566090502

MD5SUM SOLVER= e9637a7554f3ecdf74c1815f89d00213
MD5SUM BENCH=  ac375eafd62b8d1010f2c1559ff8989d

RANDOM SEED= 566090502


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

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


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1575104 kB
Buffers:         23428 kB
Cached:         385596 kB
SwapCached:       3396 kB
Active:          51324 kB
Inactive:       366648 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1575104 kB
SwapTotal:     4192956 kB
SwapFree:      4181480 kB
Dirty:             208 kB
Writeback:           0 kB
Mapped:          14964 kB
Slab:            48776 kB
Committed_AS:   289620 kB
PageTables:       1496 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB


End job on node31 on Fri Jun  2 15:59:22 UTC 2006