Trace number 4489710

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
OR-Tools CP-SAT 9.14SAT (TO)251 3600.12 1814.33

General information on the benchmark

NamePB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/
wnq/normalized-wnq_n100_mw99_6.opb.PB06.opb
MD5SUM502d6e212fd4e38a31cb5eb2ff64d408
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark242
Best CPU time to get the best result obtained on this benchmark3584.86
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables10000
Total number of constraints656900
Number of constraints which are clauses656900
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint100
Number of terms in the objective function 10000
Biggest coefficient in the objective function 99
Number of bits for the biggest coefficient in the objective function 7
Sum of the numbers in the objective function 491651
Number of bits of the sum of numbers in the objective function 19
Biggest number in a constraint 99
Number of bits of the biggest number in a constraint 7
Biggest sum of numbers in a constraint 491651
Number of bits of the biggest sum of numbers19
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 

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

Verifier Data 

OK	251

Watcher Data 

runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL

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

NUMA information:
  number of nodes: 2
  memory of node 0: 63708 MiB (61845 MiB free)
  memory of node 1: 64465 MiB (63469 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4489710-1751319157/watcher-4489710-1751319157 -o /tmp/evaluation-result-4489710-1751319157/solver-4489710-1751319157 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC016-1751313715-52073 --watchdog 3760 cp-sat-runner --params num_workers:2,log_search_progress:false,max_time_in_seconds:3600,random_seed:836481741 --competition_mode --input HOME/instance-4489710-1751319157.opb 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=52949, runsolver pid=52946

[startup+0.100062 s]*
/proc/loadavg: 8.06 8.12 8.10 7/267 52950
/proc/meminfo: memFree=128299216/131250000 swapFree=33010684/33010684
[pid=52949] ppid=52946 vsize=48504 memory=39656 CPUtime=0.1 cores=0,2
/proc/52949/stat : 52949 (cp-sat-runner) R 52946 52949 52063 0 -1 4194304 9112 0 0 0 9 1 0 0 20 0 1 0 47593272 49668096 9914 18446744073709551615 4198400 12805993 140732803588688 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 14146912 14333620 47136768 140732803590425 140732803590629 140732803590629 140732803596231 0
/proc/52949/statm: 12126 9914 1088 2102 0 9666 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 48504 KiB
Current children cumulated memory: 39656 KiB

[startup+0.205407 s]*
/proc/loadavg: 8.06 8.12 8.10 7/267 52950
/proc/meminfo: memFree=128252908/131250000 swapFree=33010684/33010684
[pid=52949] ppid=52946 vsize=86796 memory=73848 CPUtime=0.2 cores=0,2
/proc/52949/stat : 52949 (cp-sat-runner) R 52946 52949 52063 0 -1 4194304 16127 0 0 0 18 2 0 0 20 0 1 0 47593272 88879104 18462 18446744073709551615 4198400 12805993 140732803588688 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 14146912 14333620 47136768 140732803590425 140732803590629 140732803590629 140732803596231 0
/proc/52949/statm: 21699 18462 1088 2102 0 19239 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 86796 KiB
Current children cumulated memory: 73848 KiB

[startup+0.305325 s]*
/proc/loadavg: 8.06 8.12 8.10 7/267 52950
/proc/meminfo: memFree=128196012/131250000 swapFree=33010684/33010684
[pid=52949] ppid=52946 vsize=135000 memory=105552 CPUtime=0.3 cores=0,2
/proc/52949/stat : 52949 (cp-sat-runner) R 52946 52949 52063 0 -1 4194304 22560 0 0 0 26 4 0 0 20 0 1 0 47593272 138240000 26388 18446744073709551615 4198400 12805993 140732803588688 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 14146912 14333620 47136768 140732803590425 140732803590629 140732803590629 140732803596231 0
/proc/52949/statm: 33750 26388 1088 2102 0 31290 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 135000 KiB
Current children cumulated memory: 105552 KiB

[startup+0.700179 s]
/proc/loadavg: 8.06 8.12 8.10 7/267 52950
/proc/meminfo: memFree=128023076/131250000 swapFree=33010684/33010684
[pid=52949] ppid=52946 vsize=267236 memory=261020 CPUtime=0.69 cores=0,2
/proc/52949/stat : 52949 (cp-sat-runner) R 52946 52949 52063 0 -1 4194304 65620 0 0 0 59 10 0 0 20 0 1 0 47593272 273649664 65255 18446744073709551615 4198400 12805993 140732803588688 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 14146912 14333620 47136768 140732803590425 140732803590629 140732803590629 140732803596231 0
/proc/52949/statm: 66809 65255 1344 2102 0 64349 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 267236 KiB
Current children cumulated memory: 261020 KiB

[startup+1.50017 s]
/proc/loadavg: 8.06 8.12 8.10 7/267 52950
/proc/meminfo: memFree=127869472/131250000 swapFree=33010684/33010684
[pid=52949] ppid=52946 vsize=446948 memory=431932 CPUtime=1.48 cores=0,2
/proc/52949/stat : 52949 (cp-sat-runner) R 52946 52949 52063 0 -1 4194304 96453 0 0 0 133 15 0 0 20 0 1 0 47593272 457674752 107983 18446744073709551615 4198400 12805993 140732803588688 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 14146912 14333620 47136768 140732803590425 140732803590629 140732803590629 140732803596231 0
/proc/52949/statm: 111737 107983 1504 2102 0 109277 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 446948 KiB
Current children cumulated memory: 431932 KiB

[startup+3.10529 s]
/proc/loadavg: 7.81 8.07 8.08 6/262 52985
/proc/meminfo: memFree=127638204/131250000 swapFree=33010684/33010684
[pid=52949] ppid=52946 vsize=542376 memory=526748 CPUtime=3.08 cores=0,2
/proc/52949/stat : 52949 (cp-sat-runner) R 52946 52949 52063 0 -1 4194304 100523 0 0 0 289 19 0 0 20 0 1 0 47593272 555393024 131687 18446744073709551615 4198400 12805993 140732803588688 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 14146912 14333620 47136768 140732803590425 140732803590629 140732803590629 140732803596231 0
/proc/52949/statm: 135594 131687 1728 2102 0 133134 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 542376 KiB
Current children cumulated memory: 526748 KiB

[startup+6.3002 s]
/proc/loadavg: 7.81 8.07 8.08 8/270 53000
/proc/meminfo: memFree=126962348/131250000 swapFree=33010684/33010684
[pid=52949] ppid=52946 vsize=881428 memory=546088 CPUtime=7.36 cores=0,2
/proc/52949/stat : 52949 (cp-sat-runner) S 52946 52949 52063 0 -1 4194304 115200 0 0 0 713 23 0 0 20 0 3 0 47593272 902582272 136522 18446744073709551615 4198400 12805993 140732803588688 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 14146912 14333620 47136768 140732803590425 140732803590629 140732803590629 140732803596231 0
/proc/52949/statm: 220357 136522 2144 2102 0 196773 0
[pid=52949/tid=52999] ppid=52946 vsize=881428 memory=521940 CPUtime=1.11 cores=0,2
/proc/52949/task/52999/stat : 52999 (cp-sat-runner) R 52946 52949 52063 0 -1 4194368 5873 0 0 0 110 1 0 0 20 0 3 0 47593789 902582272 136522 18446744073709551615 4198400 12805993 140732803588688 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 14146912 14333620 47136768 140732803590425 140732803590629 140732803590629 140732803596231 0
[pid=52949/tid=53000] ppid=52946 vsize=881428 memory=17664 CPUtime=1.1 cores=0,2
/proc/52949/task/53000/stat : 53000 (cp-sat-runner) R 52946 52949 52063 0 -1 4194368 6109 0 0 0 109 1 0 0 20 0 3 0 47593789 902582272 136522 18446744073709551615 4198400 12805993 140732803588688 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 14146912 14333620 47136768 140732803590425 140732803590629 140732803590629 140732803596231 0
Current children cumulated CPU time: 7.36 s
Current children cumulated vsize: 881428 KiB
Current children cumulated memory: 546088 KiB

[startup+12.7002 s]
/proc/loadavg: 7.75 8.05 8.08 9/272 53002
/proc/meminfo: memFree=126790796/131250000 swapFree=33010684/33010684
[pid=52949] ppid=52946 vsize=661428 memory=577436 CPUtime=20.08 cores=0,2
/proc/52949/stat : 52949 (cp-sat-runner) S 52946 52949 52063 0 -1 4194304 145313 0 0 0 1981 27 0 0 20 0 3 0 47593272 677302272 144359 18446744073709551615 4198400 12805993 140732803588688 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 14146912 14333620 47136768 140732803590425 140732803590629 140732803590629 140732803596231 0
/proc/52949/statm: 165357 144359 2144 2102 0 150323 0
[pid=52949/tid=52999] ppid=52946 vsize=661428 memory=576540 CPUtime=7.48 cores=0,2
/proc/52949/task/52999/stat : 52999 (cp-sat-runner) R 52946 52949 52063 0 -1 4194368 19591 0 0 0 746 2 0 0 20 0 3 0 47593789 677302272 144359 18446744073709551615 4198400 12805993 140732803588688 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 14146912 14333620 47136768 140732803590425 140732803590629 140732803590629 140732803596231 0
[pid=52949/tid=53000] ppid=52946 vsize=661428 memory=526748 CPUtime=7.44 cores=0,2
/proc/52949/task/53000/stat : 53000 (cp-sat-runner) R 52946 52949 52063 0 -1 4194368 22411 0 0 0 741 3 0 0 20 0 3 0 47593789 677302272 144359 18446744073709551615 4198400 12805993 140732803588688 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 14146912 14333620 47136768 140732803590425 140732803590629 140732803590629 140732803596231 0
Current children cumulated CPU time: 20.08 s
Current children cumulated vsize: 661428 KiB
Current children cumulated memory: 577436 KiB

[startup+25.5002 s]
/proc/loadavg: 7.72 8.03 8.07 8/270 53047
/proc/meminfo: memFree=126341084/131250000 swapFree=33010684/33010684
[pid=52949] ppid=52946 vsize=661428 memory=593128 CPUtime=45.48 cores=0,2
/proc/52949/stat : 52949 (cp-sat-runner) S 52946 52949 52063 0 -1 4194304 183155 0 0 0 4515 33 0 0 20 0 3 0 47593272 677302272 148282 18446744073709551615 4198400 12805993 140732803588688 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 14146912 14333620 47136768 140732803590425 140732803590629 140732803590629 140732803596231 0
/proc/52949/statm: 165357 148282 2144 2102 0 154181 0
[pid=52949/tid=52999] ppid=52946 vsize=661428 memory=593128 CPUtime=20.22 cores=0,2
/proc/52949/task/52999/stat : 52999 (cp-sat-runner) R 52946 52949 52063 0 -1 4194368 30948 0 0 0 2019 3 0 0 20 0 3 0 47593789 677302272 148282 18446744073709551615 4198400 12805993 140732803588688 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 14146912 14333620 47136768 140732803590425 140732803590629 140732803590629 140732803596231 0
[pid=52949/tid=53000] ppid=52946 vsize=661428 memory=431932 CPUtime=20.09 cores=0,2
/proc/52949/task/53000/stat : 53000 (cp-sat-runner) R 52946 52949 52063 0 -1 4194368 48216 0 0 0 2001 8 0 0 20 0 3 0 47593789 677302272 148282 18446744073709551615 4198400 12805993 140732803588688 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 14146912 14333620 47136768 140732803590425 140732803590629 140732803590629 140732803596231 0
Current children cumulated CPU time: 45.48 s
Current children cumulated vsize: 661428 KiB
Current children cumulated memory: 593128 KiB

[startup+51.1054 s]
/proc/loadavg: 7.88 8.05 8.07 9/272 53050
/proc/meminfo: memFree=126378512/131250000 swapFree=33010684/33010684
[pid=52949] ppid=52946 vsize=661428 memory=593128 CPUtime=96.36 cores=0,2
/proc/52949/stat : 52949 (cp-sat-runner) S 52946 52949 52063 0 -1 4194304 202357 0 0 0 9600 36 0 0 20 0 3 0 47593272 677302272 148282 18446744073709551615 4198400 12805993 140732803588688 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 14146912 14333620 47136768 140732803590425 140732803590629 140732803590629 140732803596231 0
/proc/52949/statm: 165357 148282 2144 2102 0 154181 0
[pid=52949/tid=52999] ppid=52946 vsize=661428 memory=574748 CPUtime=45.74 cores=0,2
/proc/52949/task/52999/stat : 52999 (cp-sat-runner) R 52946 52949 52063 0 -1 4194368 37129 0 0 0 4571 3 0 0 20 0 3 0 47593789 677302272 148282 18446744073709551615 4198400 12805993 140732803588688 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 14146912 14333620 47136768 140732803590425 140732803590629 140732803590629 140732803596231 0
[pid=52949/tid=53000] ppid=52946 vsize=661428 memory=17664 CPUtime=45.42 cores=0,2
/proc/52949/task/53000/stat : 53000 (cp-sat-runner) R 52946 52949 52063 0 -1 4194368 60933 0 0 0 4533 9 0 0 20 0 3 0 47593789 677302272 148282 18446744073709551615 4198400 12805993 140732803588688 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 14146912 14333620 47136768 140732803590425 140732803590629 140732803590629 140732803596231 0
Current children cumulated CPU time: 96.36 s
Current children cumulated vsize: 661428 KiB
Current children cumulated memory: 593128 KiB

[startup+102.3 s]
/proc/loadavg: 8.01 8.05 8.07 9/272 53051
/proc/meminfo: memFree=126373856/131250000 swapFree=33010684/33010684
[pid=52949] ppid=52946 vsize=661428 memory=593256 CPUtime=198.09 cores=0,2
/proc/52949/stat : 52949 (cp-sat-runner) S 52946 52949 52063 0 -1 4194304 239524 0 0 0 19769 40 0 0 20 0 3 0 47593272 677302272 148314 18446744073709551615 4198400 12805993 140732803588688 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 14146912 14333620 47136768 140732803590425 140732803590629 140732803590629 140732803596231 0
/proc/52949/statm: 165357 148314 2144 2102 0 154181 0
[pid=52949/tid=52999] ppid=52946 vsize=661428 memory=10624 CPUtime=96.76 cores=0,2
/proc/52949/task/52999/stat : 52999 (cp-sat-runner) R 52946 52949 52063 0 -1 4194368 47906 0 0 0 9672 4 0 0 20 0 3 0 47593789 677302272 148314 18446744073709551615 4198400 12805993 140732803588688 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 14146912 14333620 47136768 140732803590425 140732803590629 140732803590629 140732803596231 0
[pid=52949/tid=53000] ppid=52946 vsize=661428 memory=14432 CPUtime=96.12 cores=0,2
/proc/52949/task/53000/stat : 53000 (cp-sat-runner) R 52946 52949 52063 0 -1 4194368 86925 0 0 0 9600 12 0 0 20 0 3 0 47593789 677302272 148314 18446744073709551615 4198400 12805993 140732803588688 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 14146912 14333620 47136768 140732803590425 140732803590629 140732803590629 140732803596231 0
Current children cumulated CPU time: 198.09 s
Current children cumulated vsize: 661428 KiB
Current children cumulated memory: 593256 KiB

[startup+162.3 s]
/proc/loadavg: 8.05 8.06 8.07 9/272 53053
/proc/meminfo: memFree=126357404/131250000 swapFree=33010684/33010684
[pid=52949] ppid=52946 vsize=661428 memory=597480 CPUtime=317.31 cores=0,2
/proc/52949/stat : 52949 (cp-sat-runner) S 52946 52949 52063 0 -1 4194304 251868 0 0 0 31688 43 0 0 20 0 3 0 47593272 677302272 149370 18446744073709551615 4198400 12805993 140732803588688 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 14146912 14333620 47136768 140732803590425 140732803590629 140732803590629 140732803596231 0
/proc/52949/statm: 165357 149370 2144 2102 0 155231 0
[pid=52949/tid=52999] ppid=52946 vsize=661428 memory=594536 CPUtime=156.57 cores=0,2
/proc/52949/task/52999/stat : 52999 (cp-sat-runner) R 52946 52949 52063 0 -1 4194368 50155 0 0 0 15652 5 0 0 20 0 3 0 47593789 677302272 149370 18446744073709551615 4198400 12805993 140732803588688 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 14146912 14333620 47136768 140732803590425 140732803590629 140732803590629 140732803596231 0
[pid=52949/tid=53000] ppid=52946 vsize=661428 memory=597480 CPUtime=155.51 cores=0,2
/proc/52949/task/53000/stat : 53000 (cp-sat-runner) R 52946 52949 52063 0 -1 4194368 96971 0 0 0 15538 13 0 0 20 0 3 0 47593789 677302272 149370 18446744073709551615 4198400 12805993 140732803588688 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 14146912 14333620 47136768 140732803590425 140732803590629 140732803590629 140732803596231 0
Current children cumulated CPU time: 317.31 s
Current children cumulated vsize: 661428 KiB
Current children cumulated memory: 597480 KiB

[startup+222.3 s]
/proc/loadavg: 8.11 8.07 8.08 9/273 53062
/proc/meminfo: memFree=126359980/131250000 swapFree=33010684/33010684
[pid=52949] ppid=52946 vsize=661428 memory=597864 CPUtime=436.53 cores=0,2
/proc/52949/stat : 52949 (cp-sat-runner) S 52946 52949 52063 0 -1 4194304 263296 0 0 0 43608 45 0 0 20 0 3 0 47593272 677302272 149466 18446744073709551615 4198400 12805993 140732803588688 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 14146912 14333620 47136768 140732803590425 140732803590629 140732803590629 140732803596231 0
/proc/52949/statm: 165357 149466 2144 2102 0 155345 0
[pid=52949/tid=52999] ppid=52946 vsize=661428 memory=597864 CPUtime=216.38 cores=0,2
/proc/52949/task/52999/stat : 52999 (cp-sat-runner) R 52946 52949 52063 0 -1 4194368 52012 0 0 0 21632 6 0 0 20 0 3 0 47593789 677302272 149466 18446744073709551615 4198400 12805993 140732803588688 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 14146912 14333620 47136768 140732803590425 140732803590629 140732803590629 140732803596231 0
[pid=52949/tid=53000] ppid=52946 vsize=661428 memory=597864 CPUtime=214.91 cores=0,2
/proc/52949/task/53000/stat : 53000 (cp-sat-runner) R 52946 52949 52063 0 -1 4194368 106486 0 0 0 21477 14 0 0 20 0 3 0 47593789 677302272 149466 18446744073709551615 4198400 12805993 140732803588688 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 14146912 14333620 47136768 140732803590425 140732803590629 140732803590629 140732803596231 0
Current children cumulated CPU time: 436.53 s
Current children cumulated vsize: 661428 KiB
Current children cumulated memory: 597864 KiB

[startup+282.3 s]
/proc/loadavg: 8.09 8.07 8.08 9/273 53064
/proc/meminfo: memFree=126336732/131250000 swapFree=33010684/33010684
[pid=52949] ppid=52946 vsize=661428 memory=597864 CPUtime=555.76 cores=0,2
/proc/52949/stat : 52949 (cp-sat-runner) S 52946 52949 52063 0 -1 4194304 267727 0 0 0 55527 49 0 0 20 0 3 0 47593272 677302272 149466 18446744073709551615 4198400 12805993 140732803588688 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 14146912 14333620 47136768 140732803590425 140732803590629 140732803590629 140732803596231 0
/proc/52949/statm: 165357 149466 2144 2102 0 155345 0
[pid=52949/tid=52999] ppid=52946 vsize=661428 memory=597480 CPUtime=276.17 cores=0,2
/proc/52949/task/52999/stat : 52999 (cp-sat-runner) R 52946 52949 52063 0 -1 4194368 52969 0 0 0 27611 6 0 0 20 0 3 0 47593789 677302272 149466 18446744073709551615 4198400 12805993 140732803588688 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 14146912 14333620 47136768 140732803590425 140732803590629 140732803590629 140732803596231 0

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

Current children cumulated memory: 602344 KiB

[startup+1362.3 s]
/proc/loadavg: 8.07 8.11 8.09 9/272 53115
/proc/meminfo: memFree=126301220/131250000 swapFree=33010684/33010684
[pid=52949] ppid=52946 vsize=661428 memory=602344 CPUtime=2701.88 cores=0,2
/proc/52949/stat : 52949 (cp-sat-runner) S 52946 52949 52063 0 -1 4194304 314395 0 0 0 270099 89 0 0 20 0 3 0 47593272 677302272 150586 18446744073709551615 4198400 12805993 140732803588688 0 0 0 0 0 16386 0 0 0 17 2 0 0 0 0 0 14146912 14333620 47136768 140732803590425 140732803590629 140732803590629 140732803596231 0
/proc/52949/statm: 165357 150586 2144 2102 0 155345 0
[pid=52949/tid=52999] ppid=52946 vsize=661428 memory=14432 CPUtime=1348.41 cores=0,2
/proc/52949/task/52999/stat : 52999 (cp-sat-runner) R 52946 52949 52063 0 -1 4194368 56157 0 0 0 134817 24 0 0 20 0 3 0 47593789 677302272 150586 18446744073709551615 4198400 12805993 140732803588688 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 14146912 14333620 47136768 140732803590425 140732803590629 140732803590629 140732803596231 0
[pid=52949/tid=53000] ppid=52946 vsize=661428 memory=593360 CPUtime=1347.82 cores=0,2
/proc/52949/task/53000/stat : 53000 (cp-sat-runner) R 52946 52949 52063 0 -1 4194368 153169 0 0 0 134756 26 0 0 20 0 3 0 47593789 677302272 150586 18446744073709551615 4198400 12805993 140732803588688 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 14146912 14333620 47136768 140732803590425 140732803590629 140732803590629 140732803596231 0
Current children cumulated CPU time: 2701.88 s
Current children cumulated vsize: 661428 KiB
Current children cumulated memory: 602344 KiB

[startup+1422.3 s]
/proc/loadavg: 8.13 8.12 8.09 9/274 53126
/proc/meminfo: memFree=126299996/131250000 swapFree=33010684/33010684
[pid=52949] ppid=52946 vsize=661428 memory=602344 CPUtime=2821.11 cores=0,2
/proc/52949/stat : 52949 (cp-sat-runner) S 52946 52949 52063 0 -1 4194304 314601 0 0 0 282020 91 0 0 20 0 3 0 47593272 677302272 150586 18446744073709551615 4198400 12805993 140732803588688 0 0 0 0 0 16386 0 0 0 17 2 0 0 0 0 0 14146912 14333620 47136768 140732803590425 140732803590629 140732803590629 140732803596231 0
/proc/52949/statm: 165357 150586 2144 2102 0 155345 0
[pid=52949/tid=52999] ppid=52946 vsize=661428 memory=602344 CPUtime=1407.79 cores=0,2
/proc/52949/task/52999/stat : 52999 (cp-sat-runner) R 52946 52949 52063 0 -1 4194368 56320 0 0 0 140754 25 0 0 20 0 3 0 47593789 677302272 150586 18446744073709551615 4198400 12805993 140732803588688 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 14146912 14333620 47136768 140732803590425 140732803590629 140732803590629 140732803596231 0
[pid=52949/tid=53000] ppid=52946 vsize=661428 memory=602344 CPUtime=1407.65 cores=0,2
/proc/52949/task/53000/stat : 53000 (cp-sat-runner) R 52946 52949 52063 0 -1 4194368 153205 0 0 0 140739 26 0 0 20 0 3 0 47593789 677302272 150586 18446744073709551615 4198400 12805993 140732803588688 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 14146912 14333620 47136768 140732803590425 140732803590629 140732803590629 140732803596231 0
Current children cumulated CPU time: 2821.11 s
Current children cumulated vsize: 661428 KiB
Current children cumulated memory: 602344 KiB

[startup+1482.3 s]
/proc/loadavg: 8.10 8.11 8.09 9/274 53128
/proc/meminfo: memFree=126272100/131250000 swapFree=33010684/33010684
[pid=52949] ppid=52946 vsize=661428 memory=602344 CPUtime=2940.35 cores=0,2
/proc/52949/stat : 52949 (cp-sat-runner) S 52946 52949 52063 0 -1 4194304 314713 0 0 0 293942 93 0 0 20 0 3 0 47593272 677302272 150586 18446744073709551615 4198400 12805993 140732803588688 0 0 0 0 0 16386 0 0 0 17 2 0 0 0 0 0 14146912 14333620 47136768 140732803590425 140732803590629 140732803590629 140732803596231 0
/proc/52949/statm: 165357 150586 2144 2102 0 155345 0
[pid=52949/tid=52999] ppid=52946 vsize=661428 memory=602344 CPUtime=1467.17 cores=0,2
/proc/52949/task/52999/stat : 52999 (cp-sat-runner) R 52946 52949 52063 0 -1 4194368 56326 0 0 0 146692 25 0 0 20 0 3 0 47593789 677302272 150586 18446744073709551615 4198400 12805993 140732803588688 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 14146912 14333620 47136768 140732803590425 140732803590629 140732803590629 140732803596231 0
[pid=52949/tid=53000] ppid=52946 vsize=661428 memory=602344 CPUtime=1467.48 cores=0,2
/proc/52949/task/53000/stat : 53000 (cp-sat-runner) R 52946 52949 52063 0 -1 4194368 153308 0 0 0 146722 26 0 0 20 0 3 0 47593789 677302272 150586 18446744073709551615 4198400 12805993 140732803588688 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 14146912 14333620 47136768 140732803590425 140732803590629 140732803590629 140732803596231 0
Current children cumulated CPU time: 2940.35 s
Current children cumulated vsize: 661428 KiB
Current children cumulated memory: 602344 KiB

[startup+1542.3 s]
/proc/loadavg: 8.12 8.11 8.09 9/273 53130
/proc/meminfo: memFree=126269896/131250000 swapFree=33010684/33010684
[pid=52949] ppid=52946 vsize=661428 memory=602344 CPUtime=3059.59 cores=0,2
/proc/52949/stat : 52949 (cp-sat-runner) S 52946 52949 52063 0 -1 4194304 315024 0 0 0 305864 95 0 0 20 0 3 0 47593272 677302272 150586 18446744073709551615 4198400 12805993 140732803588688 0 0 0 0 0 16386 0 0 0 17 2 0 0 0 0 0 14146912 14333620 47136768 140732803590425 140732803590629 140732803590629 140732803596231 0
/proc/52949/statm: 165357 150586 2144 2102 0 155345 0
[pid=52949/tid=52999] ppid=52946 vsize=661428 memory=14432 CPUtime=1526.55 cores=0,2
/proc/52949/task/52999/stat : 52999 (cp-sat-runner) R 52946 52949 52063 0 -1 4194368 56478 0 0 0 152629 26 0 0 20 0 3 0 47593789 677302272 150586 18446744073709551615 4198400 12805993 140732803588688 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 14146912 14333620 47136768 140732803590425 140732803590629 140732803590629 140732803596231 0
[pid=52949/tid=53000] ppid=52946 vsize=661428 memory=602344 CPUtime=1527.32 cores=0,2
/proc/52949/task/53000/stat : 53000 (cp-sat-runner) R 52946 52949 52063 0 -1 4194368 153451 0 0 0 152706 26 0 0 20 0 3 0 47593789 677302272 150586 18446744073709551615 4198400 12805993 140732803588688 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 14146912 14333620 47136768 140732803590425 140732803590629 140732803590629 140732803596231 0
Current children cumulated CPU time: 3059.59 s
Current children cumulated vsize: 661428 KiB
Current children cumulated memory: 602344 KiB

[startup+1602.3 s]
/proc/loadavg: 8.10 8.10 8.09 9/273 53132
/proc/meminfo: memFree=126229876/131250000 swapFree=33010684/33010684
[pid=52949] ppid=52946 vsize=661428 memory=602344 CPUtime=3178.82 cores=0,2
/proc/52949/stat : 52949 (cp-sat-runner) S 52946 52949 52063 0 -1 4194304 315549 0 0 0 317786 96 0 0 20 0 3 0 47593272 677302272 150586 18446744073709551615 4198400 12805993 140732803588688 0 0 0 0 0 16386 0 0 0 17 2 0 0 0 0 0 14146912 14333620 47136768 140732803590425 140732803590629 140732803590629 140732803596231 0
/proc/52949/statm: 165357 150586 2144 2102 0 155345 0
[pid=52949/tid=52999] ppid=52946 vsize=661428 memory=602344 CPUtime=1585.94 cores=0,2
/proc/52949/task/52999/stat : 52999 (cp-sat-runner) R 52946 52949 52063 0 -1 4194368 56505 0 0 0 158567 27 0 0 20 0 3 0 47593789 677302272 150586 18446744073709551615 4198400 12805993 140732803588688 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 14146912 14333620 47136768 140732803590425 140732803590629 140732803590629 140732803596231 0
[pid=52949/tid=53000] ppid=52946 vsize=661428 memory=17664 CPUtime=1587.15 cores=0,2
/proc/52949/task/53000/stat : 53000 (cp-sat-runner) R 52946 52949 52063 0 -1 4194368 153947 0 0 0 158689 26 0 0 20 0 3 0 47593789 677302272 150586 18446744073709551615 4198400 12805993 140732803588688 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 14146912 14333620 47136768 140732803590425 140732803590629 140732803590629 140732803596231 0
Current children cumulated CPU time: 3178.82 s
Current children cumulated vsize: 661428 KiB
Current children cumulated memory: 602344 KiB

[startup+1662.3 s]
/proc/loadavg: 8.08 8.09 8.09 9/274 53145
/proc/meminfo: memFree=126237868/131250000 swapFree=33010684/33010684
[pid=52949] ppid=52946 vsize=661428 memory=602344 CPUtime=3298.05 cores=0,2
/proc/52949/stat : 52949 (cp-sat-runner) S 52946 52949 52063 0 -1 4194304 315732 0 0 0 329707 98 0 0 20 0 3 0 47593272 677302272 150586 18446744073709551615 4198400 12805993 140732803588688 0 0 0 0 0 16386 0 0 0 17 2 0 0 0 0 0 14146912 14333620 47136768 140732803590425 140732803590629 140732803590629 140732803596231 0
/proc/52949/statm: 165357 150586 2144 2102 0 155345 0
[pid=52949/tid=52999] ppid=52946 vsize=661428 memory=602344 CPUtime=1645.31 cores=0,2
/proc/52949/task/52999/stat : 52999 (cp-sat-runner) R 52946 52949 52063 0 -1 4194368 56657 0 0 0 164503 28 0 0 20 0 3 0 47593789 677302272 150586 18446744073709551615 4198400 12805993 140732803588688 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 14146912 14333620 47136768 140732803590425 140732803590629 140732803590629 140732803596231 0
[pid=52949/tid=53000] ppid=52946 vsize=661428 memory=17664 CPUtime=1646.98 cores=0,2
/proc/52949/task/53000/stat : 53000 (cp-sat-runner) R 52946 52949 52063 0 -1 4194368 153962 0 0 0 164672 26 0 0 20 0 3 0 47593789 677302272 150586 18446744073709551615 4198400 12805993 140732803588688 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 14146912 14333620 47136768 140732803590425 140732803590629 140732803590629 140732803596231 0
Current children cumulated CPU time: 3298.05 s
Current children cumulated vsize: 661428 KiB
Current children cumulated memory: 602344 KiB

[startup+1722.3 s]
/proc/loadavg: 8.07 8.09 8.09 9/274 53162
/proc/meminfo: memFree=126250384/131250000 swapFree=33010684/33010684
[pid=52949] ppid=52946 vsize=661428 memory=602344 CPUtime=3417.28 cores=0,2
/proc/52949/stat : 52949 (cp-sat-runner) S 52946 52949 52063 0 -1 4194304 315976 0 0 0 341628 100 0 0 20 0 3 0 47593272 677302272 150586 18446744073709551615 4198400 12805993 140732803588688 0 0 0 0 0 16386 0 0 0 17 2 0 0 0 0 0 14146912 14333620 47136768 140732803590425 140732803590629 140732803590629 140732803596231 0
/proc/52949/statm: 165357 150586 2144 2102 0 155345 0
[pid=52949/tid=52999] ppid=52946 vsize=661428 memory=602344 CPUtime=1704.69 cores=0,2
/proc/52949/task/52999/stat : 52999 (cp-sat-runner) R 52946 52949 52063 0 -1 4194368 56664 0 0 0 170440 29 0 0 20 0 3 0 47593789 677302272 150586 18446744073709551615 4198400 12805993 140732803588688 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 14146912 14333620 47136768 140732803590425 140732803590629 140732803590629 140732803596231 0
[pid=52949/tid=53000] ppid=52946 vsize=661428 memory=17664 CPUtime=1706.81 cores=0,2
/proc/52949/task/53000/stat : 53000 (cp-sat-runner) R 52946 52949 52063 0 -1 4194368 154199 0 0 0 170655 26 0 0 20 0 3 0 47593789 677302272 150586 18446744073709551615 4198400 12805993 140732803588688 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 14146912 14333620 47136768 140732803590425 140732803590629 140732803590629 140732803596231 0
Current children cumulated CPU time: 3417.28 s
Current children cumulated vsize: 661428 KiB
Current children cumulated memory: 602344 KiB

[startup+1782.3 s]
/proc/loadavg: 8.08 8.09 8.09 9/274 53166
/proc/meminfo: memFree=126252476/131250000 swapFree=33010684/33010684
[pid=52949] ppid=52946 vsize=661428 memory=602344 CPUtime=3536.5 cores=0,2
/proc/52949/stat : 52949 (cp-sat-runner) S 52946 52949 52063 0 -1 4194304 316225 0 0 0 353549 101 0 0 20 0 3 0 47593272 677302272 150586 18446744073709551615 4198400 12805993 140732803588688 0 0 0 0 0 16386 0 0 0 17 2 0 0 0 0 0 14146912 14333620 47136768 140732803590425 140732803590629 140732803590629 140732803596231 0
/proc/52949/statm: 165357 150586 2144 2102 0 155345 0
[pid=52949/tid=52999] ppid=52946 vsize=661428 memory=602344 CPUtime=1764.09 cores=0,2
/proc/52949/task/52999/stat : 52999 (cp-sat-runner) R 52946 52949 52063 0 -1 4194368 56808 0 0 0 176379 30 0 0 20 0 3 0 47593789 677302272 150586 18446744073709551615 4198400 12805993 140732803588688 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 14146912 14333620 47136768 140732803590425 140732803590629 140732803590629 140732803596231 0
[pid=52949/tid=53000] ppid=52946 vsize=661428 memory=602344 CPUtime=1766.62 cores=0,2
/proc/52949/task/53000/stat : 53000 (cp-sat-runner) R 52946 52949 52063 0 -1 4194368 154300 0 0 0 176636 26 0 0 20 0 3 0 47593789 677302272 150586 18446744073709551615 4198400 12805993 140732803588688 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 14146912 14333620 47136768 140732803590425 140732803590629 140732803590629 140732803596231 0
Current children cumulated CPU time: 3536.5 s
Current children cumulated vsize: 661428 KiB
Current children cumulated memory: 602344 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1814.3 s]
/proc/loadavg: 8.10 8.09 8.09 7/270 53166
/proc/meminfo: memFree=126851004/131250000 swapFree=33010684/33010684
[pid=52949] ppid=52946 vsize=661428 memory=602344 CPUtime=3600.09 cores=0,2
/proc/52949/stat : 52949 (cp-sat-runner) S 52946 52949 52063 0 -1 4194304 316317 0 0 0 359907 102 0 0 20 0 3 0 47593272 677302272 150586 18446744073709551615 4198400 12805993 140732803588688 0 0 0 0 0 16386 0 0 0 17 2 0 0 0 0 0 14146912 14333620 47136768 140732803590425 140732803590629 140732803590629 140732803596231 0
/proc/52949/statm: 165357 150586 2144 2102 0 155345 0
[pid=52949/tid=52999] ppid=52946 vsize=661428 memory=602344 CPUtime=1795.76 cores=0,2
/proc/52949/task/52999/stat : 52999 (cp-sat-runner) R 52946 52949 52063 0 -1 4194368 56825 0 0 0 179546 30 0 0 20 0 3 0 47593789 677302272 150586 18446744073709551615 4198400 12805993 140732803588688 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 14146912 14333620 47136768 140732803590425 140732803590629 140732803590629 140732803596231 0
[pid=52949/tid=53000] ppid=52946 vsize=661428 memory=602344 CPUtime=1798.52 cores=0,2
/proc/52949/task/53000/stat : 53000 (cp-sat-runner) R 52946 52949 52063 0 -1 4194368 154369 0 0 0 179826 26 0 0 20 0 3 0 47593789 677302272 150586 18446744073709551615 4198400 12805993 140732803588688 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 14146912 14333620 47136768 140732803590425 140732803590629 140732803590629 140732803596231 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 661428 KiB
Current children cumulated memory: 602344 KiB

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

[startup+1814.33 s]
# the end of solver process 52949 was just reported to runsolver
# Child status: 0

# cumulated CPU time of all completed processes:  user=3599.08 s, system=1.03971 s

Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples

[startup+1814.3 s]
/proc/loadavg: 8.10 8.09 8.09 7/270 53166
/proc/meminfo: memFree=126851004/131250000 swapFree=33010684/33010684
[pid=52949] ppid=52946 vsize=661428 memory=602344 CPUtime=3600.09 cores=0,2
/proc/52949/stat : 52949 (cp-sat-runner) S 52946 52949 52063 0 -1 4194304 316317 0 0 0 359907 102 0 0 20 0 3 0 47593272 677302272 150586 18446744073709551615 4198400 12805993 140732803588688 0 0 0 0 0 16386 0 0 0 17 2 0 0 0 0 0 14146912 14333620 47136768 140732803590425 140732803590629 140732803590629 140732803596231 0
/proc/52949/statm: 165357 150586 2144 2102 0 155345 0
[pid=52949/tid=52999] ppid=52946 vsize=661428 memory=602344 CPUtime=1795.76 cores=0,2
/proc/52949/task/52999/stat : 52999 (cp-sat-runner) R 52946 52949 52063 0 -1 4194368 56825 0 0 0 179546 30 0 0 20 0 3 0 47593789 677302272 150586 18446744073709551615 4198400 12805993 140732803588688 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 14146912 14333620 47136768 140732803590425 140732803590629 140732803590629 140732803596231 0
[pid=52949/tid=53000] ppid=52946 vsize=661428 memory=602344 CPUtime=1798.52 cores=0,2
/proc/52949/task/53000/stat : 53000 (cp-sat-runner) R 52946 52949 52063 0 -1 4194368 154369 0 0 0 179826 26 0 0 20 0 3 0 47593789 677302272 150586 18446744073709551615 4198400 12805993 140732803588688 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 14146912 14333620 47136768 140732803590425 140732803590629 140732803590629 140732803596231 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 661428 KiB
Current children cumulated memory: 602344 KiB

Child status: 0

Real time (s): 1814.33
CPU time (s): 3600.12
CPU user time (s): 3599.08
CPU system time (s): 1.03971
CPU usage (%): 198.427
Max. virtual memory (cumulated for all children) (KiB): 881428
Max. memory (cumulated for all children) (KiB): 605228

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.08
system time used= 1.03971
maximum resident set size= 605228
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 316322
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 27298
involuntary context switches= 126205


# summary of solver processes directly reported to runsolver:
#   pid: 52949
#   total CPU time (s): 3600.12
#   total CPU user time (s): 3599.08
#   total CPU system time (s): 1.03971

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.6225 second user time and 8.5844 second system time

The end

Launcher Data 

Begin job on nodeC016 at 2025-06-30 23:32:37
IDJOB=4489710
IDBENCH=147562
IDSOLVER=3320
FILE ID=nodeC016/4489710-1751319157
RUNJOBID= nodeC016-1751313715-52073
SLURM_JOB_ID= 9594315
Free space on /tmp= 432992 MiB

SOLVER NAME= OR-Tools CP-SAT 9.14
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/wnq/normalized-wnq_n100_mw99_6.opb.PB06.opb
COMMAND LINE= cp-sat-runner --params num_workers:NBCORE,log_search_progress:false,max_time_in_seconds:TIMEOUT,random_seed:RANDOMSEED --competition_mode --input BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4489710-1751319157/watcher-4489710-1751319157 -o /tmp/evaluation-result-4489710-1751319157/solver-4489710-1751319157 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC016-1751313715-52073 --watchdog 3760  cp-sat-runner --params num_workers:2,log_search_progress:false,max_time_in_seconds:3600,random_seed:836481741 --competition_mode --input HOME/instance-4489710-1751319157.opb

TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2

MD5SUM BENCH= 502d6e212fd4e38a31cb5eb2ff64d408
RANDOM SEED=836481741

nodeC016 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024

/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3528.109
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.48
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.729
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.48
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.696
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.48
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.752
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.48
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.733
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.48
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.742
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.48
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.735
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.48
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3630.157
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.48
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131250000 kB
MemFree:        128330212 kB
MemAvailable:   129284284 kB
Buffers:            3280 kB
Cached:          1757208 kB
SwapCached:            0 kB
Active:           806488 kB
Inactive:        1487032 kB
Active(anon):     551108 kB
Inactive(anon):        0 kB
Active(file):     255380 kB
Inactive(file):  1487032 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             58920 kB
Writeback:             4 kB
AnonPages:        533760 kB
Mapped:           126688 kB
Shmem:             18072 kB
KReclaimable:     101796 kB
Slab:             189712 kB
SReclaimable:     101796 kB
SUnreclaim:        87916 kB
KernelStack:        4304 kB
PageTables:         3832 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635684 kB
Committed_AS:     921528 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150616 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:    102400 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
CmaTotal:              0 kB
CmaFree:               0 kB
Unaccepted:            0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      201428 kB
DirectMap2M:     7958528 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 432948 MiB
End job on nodeC016 at 2025-07-01 00:02:52