Trace number 4489526

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)259 3600.13 1814.03

General information on the benchmark

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

Verifier Data 

OK	259

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: 63665 MiB (62926 MiB free)
  memory of node 1: 64507 MiB (63335 MiB free)
  node distances:
     10  21
     21  10

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

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=49745, runsolver pid=49742

[startup+0.10006 s]*
/proc/loadavg: 8.16 8.10 8.09 7/268 49755
/proc/meminfo: memFree=129254476/131249996 swapFree=33010684/33010684
[pid=49745] ppid=49742 vsize=48636 memory=38428 CPUtime=0.09 cores=1,3
/proc/49745/stat : 49745 (cp-sat-runner) R 49742 49745 47844 0 -1 4194304 8332 0 0 0 8 1 0 0 20 0 1 0 47593411 49803264 9607 18446744073709551615 4198400 12805993 140735518834496 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 14146912 14333620 29712384 140735518837016 140735518837221 140735518837221 140735518842823 0
/proc/49745/statm: 12159 9607 1088 2102 0 9699 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 48636 KiB
Current children cumulated memory: 38428 KiB

[startup+0.205628 s]*
/proc/loadavg: 8.16 8.10 8.09 7/268 49755
/proc/meminfo: memFree=129195192/131249996 swapFree=33010684/33010684
[pid=49745] ppid=49742 vsize=86796 memory=74704 CPUtime=0.2 cores=1,3
/proc/49745/stat : 49745 (cp-sat-runner) R 49742 49745 47844 0 -1 4194304 15353 0 0 0 17 3 0 0 20 0 1 0 47593411 88879104 18676 18446744073709551615 4198400 12805993 140735518834496 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 14146912 14333620 29712384 140735518837016 140735518837221 140735518837221 140735518842823 0
/proc/49745/statm: 21699 18676 1088 2102 0 19239 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 86796 KiB
Current children cumulated memory: 74704 KiB

[startup+0.305573 s]*
/proc/loadavg: 8.16 8.10 8.09 7/268 49755
/proc/meminfo: memFree=129108308/131249996 swapFree=33010684/33010684
[pid=49745] ppid=49742 vsize=135000 memory=106464 CPUtime=0.3 cores=1,3
/proc/49745/stat : 49745 (cp-sat-runner) R 49742 49745 47844 0 -1 4194304 21761 0 0 0 26 4 0 0 20 0 1 0 47593411 138240000 26584 18446744073709551615 4198400 12805993 140735518834496 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 14146912 14333620 29712384 140735518837016 140735518837221 140735518837221 140735518842823 0
/proc/49745/statm: 33750 26616 1088 2102 0 31290 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 135000 KiB
Current children cumulated memory: 106464 KiB

[startup+0.700195 s]
/proc/loadavg: 8.16 8.10 8.09 7/268 49755
/proc/meminfo: memFree=128810436/131249996 swapFree=33010684/33010684
[pid=49745] ppid=49742 vsize=267236 memory=259516 CPUtime=0.68 cores=1,3
/proc/49745/stat : 49745 (cp-sat-runner) R 49742 49745 47844 0 -1 4194304 64990 0 0 0 57 11 0 0 20 0 1 0 47593411 273649664 64879 18446744073709551615 4198400 12805993 140735518834496 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 14146912 14333620 29712384 140735518837016 140735518837221 140735518837221 140735518842823 0
/proc/49745/statm: 66809 64879 1344 2102 0 64349 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 267236 KiB
Current children cumulated memory: 259516 KiB

[startup+1.50013 s]
/proc/loadavg: 8.16 8.10 8.09 5/263 49778
/proc/meminfo: memFree=128567464/131249996 swapFree=33010684/33010684
[pid=49745] ppid=49742 vsize=446940 memory=429444 CPUtime=1.48 cores=1,3
/proc/49745/stat : 49745 (cp-sat-runner) R 49742 49745 47844 0 -1 4194304 95568 0 0 0 131 17 0 0 20 0 1 0 47593411 457666560 107361 18446744073709551615 4198400 12805993 140735518834496 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 14146912 14333620 29712384 140735518837016 140735518837221 140735518837221 140735518842823 0
/proc/49745/statm: 111735 107361 1504 2102 0 109275 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 446940 KiB
Current children cumulated memory: 429444 KiB

[startup+3.10539 s]
/proc/loadavg: 7.91 8.05 8.08 6/267 49802
/proc/meminfo: memFree=127880736/131249996 swapFree=33010684/33010684
[pid=49745] ppid=49742 vsize=542372 memory=524732 CPUtime=3.08 cores=1,3
/proc/49745/stat : 49745 (cp-sat-runner) R 49742 49745 47844 0 -1 4194304 100309 0 0 0 288 20 0 0 20 0 1 0 47593411 555388928 131183 18446744073709551615 4198400 12805993 140735518834496 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 14146912 14333620 29712384 140735518837016 140735518837221 140735518837221 140735518842823 0
/proc/49745/statm: 135593 131183 1696 2102 0 133133 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 542372 KiB
Current children cumulated memory: 524732 KiB

[startup+6.30021 s]
/proc/loadavg: 7.91 8.05 8.08 8/271 49806
/proc/meminfo: memFree=127490356/131249996 swapFree=33010684/33010684
[pid=49745] ppid=49742 vsize=881424 memory=543560 CPUtime=7.36 cores=1,3
/proc/49745/stat : 49745 (cp-sat-runner) S 49742 49745 47844 0 -1 4194304 115234 0 0 0 711 25 0 0 20 0 3 0 47593411 902578176 135890 18446744073709551615 4198400 12805993 140735518834496 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 14146912 14333620 29712384 140735518837016 140735518837221 140735518837221 140735518842823 0
/proc/49745/statm: 220356 135890 2144 2102 0 196621 0
[pid=49745/tid=49805] ppid=49742 vsize=881424 memory=516472 CPUtime=1.1 cores=1,3
/proc/49745/task/49805/stat : 49805 (cp-sat-runner) R 49742 49745 47844 0 -1 4194368 5427 0 0 0 109 1 0 0 20 0 3 0 47593928 902578176 135890 18446744073709551615 4198400 12805993 140735518834496 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 14146912 14333620 29712384 140735518837016 140735518837221 140735518837221 140735518842823 0
[pid=49745/tid=49806] ppid=49742 vsize=881424 memory=429444 CPUtime=1.09 cores=1,3
/proc/49745/task/49806/stat : 49806 (cp-sat-runner) R 49742 49745 47844 0 -1 4194368 6402 0 0 0 108 1 0 0 20 0 3 0 47593928 902578176 135890 18446744073709551615 4198400 12805993 140735518834496 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 14146912 14333620 29712384 140735518837016 140735518837221 140735518837221 140735518842823 0
Current children cumulated CPU time: 7.36 s
Current children cumulated vsize: 881424 KiB
Current children cumulated memory: 543560 KiB

[startup+12.7001 s]
/proc/loadavg: 7.85 8.03 8.07 9/273 49808
/proc/meminfo: memFree=127397176/131249996 swapFree=33010684/33010684
[pid=49745] ppid=49742 vsize=661424 memory=568532 CPUtime=20.09 cores=1,3
/proc/49745/stat : 49745 (cp-sat-runner) S 49742 49745 47844 0 -1 4194304 139877 0 0 0 1982 27 0 0 20 0 3 0 47593411 677298176 142133 18446744073709551615 4198400 12805993 140735518834496 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 14146912 14333620 29712384 140735518837016 140735518837221 140735518837221 140735518842823 0
/proc/49745/statm: 165356 142133 2144 2102 0 148953 0
[pid=49745/tid=49805] ppid=49742 vsize=661424 memory=429444 CPUtime=7.48 cores=1,3
/proc/49745/task/49805/stat : 49805 (cp-sat-runner) R 49742 49745 47844 0 -1 4194368 19726 0 0 0 746 2 0 0 20 0 3 0 47593928 677298176 142133 18446744073709551615 4198400 12805993 140735518834496 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 14146912 14333620 29712384 140735518837016 140735518837221 140735518837221 140735518842823 0
[pid=49745/tid=49806] ppid=49742 vsize=661424 memory=546248 CPUtime=7.44 cores=1,3
/proc/49745/task/49806/stat : 49806 (cp-sat-runner) R 49742 49745 47844 0 -1 4194368 16667 0 0 0 742 2 0 0 20 0 3 0 47593928 677298176 142133 18446744073709551615 4198400 12805993 140735518834496 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 14146912 14333620 29712384 140735518837016 140735518837221 140735518837221 140735518842823 0
Current children cumulated CPU time: 20.09 s
Current children cumulated vsize: 661424 KiB
Current children cumulated memory: 568532 KiB

[startup+25.5002 s]
/proc/loadavg: 7.87 8.03 8.07 9/273 49808
/proc/meminfo: memFree=127550724/131249996 swapFree=33010684/33010684
[pid=49745] ppid=49742 vsize=661424 memory=579668 CPUtime=45.54 cores=1,3
/proc/49745/stat : 49745 (cp-sat-runner) S 49742 49745 47844 0 -1 4194304 174507 0 0 0 4524 30 0 0 20 0 3 0 47593411 677298176 144917 18446744073709551615 4198400 12805993 140735518834496 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 14146912 14333620 29712384 140735518837016 140735518837221 140735518837221 140735518842823 0
/proc/49745/statm: 165356 144917 2144 2102 0 151560 0
[pid=49745/tid=49805] ppid=49742 vsize=661424 memory=579156 CPUtime=20.23 cores=1,3
/proc/49745/task/49805/stat : 49805 (cp-sat-runner) R 49742 49745 47844 0 -1 4194368 31092 0 0 0 2020 3 0 0 20 0 3 0 47593928 677298176 144917 18446744073709551615 4198400 12805993 140735518834496 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 14146912 14333620 29712384 140735518837016 140735518837221 140735518837221 140735518842823 0
[pid=49745/tid=49806] ppid=49742 vsize=661424 memory=579156 CPUtime=20.12 cores=1,3
/proc/49745/task/49806/stat : 49806 (cp-sat-runner) R 49742 49745 47844 0 -1 4194368 38060 0 0 0 2008 4 0 0 20 0 3 0 47593928 677298176 144917 18446744073709551615 4198400 12805993 140735518834496 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 14146912 14333620 29712384 140735518837016 140735518837221 140735518837221 140735518842823 0
Current children cumulated CPU time: 45.54 s
Current children cumulated vsize: 661424 KiB
Current children cumulated memory: 579668 KiB

[startup+51.1057 s]
/proc/loadavg: 7.99 8.04 8.07 9/273 49808
/proc/meminfo: memFree=127536384/131249996 swapFree=33010684/33010684
[pid=49745] ppid=49742 vsize=661424 memory=581588 CPUtime=96.44 cores=1,3
/proc/49745/stat : 49745 (cp-sat-runner) S 49742 49745 47844 0 -1 4194304 203137 0 0 0 9611 33 0 0 20 0 3 0 47593411 677298176 145397 18446744073709551615 4198400 12805993 140735518834496 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 14146912 14333620 29712384 140735518837016 140735518837221 140735518837221 140735518842823 0
/proc/49745/statm: 165356 145397 2144 2102 0 152038 0
[pid=49745/tid=49805] ppid=49742 vsize=661424 memory=581588 CPUtime=45.76 cores=1,3
/proc/49745/task/49805/stat : 49805 (cp-sat-runner) R 49742 49745 47844 0 -1 4194368 37342 0 0 0 4572 4 0 0 20 0 3 0 47593928 677298176 145397 18446744073709551615 4198400 12805993 140735518834496 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 14146912 14333620 29712384 140735518837016 140735518837221 140735518837221 140735518842823 0
[pid=49745/tid=49806] ppid=49742 vsize=661424 memory=581588 CPUtime=45.47 cores=1,3
/proc/49745/task/49806/stat : 49806 (cp-sat-runner) R 49742 49745 47844 0 -1 4194368 59713 0 0 0 4542 5 0 0 20 0 3 0 47593928 677298176 145397 18446744073709551615 4198400 12805993 140735518834496 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 14146912 14333620 29712384 140735518837016 140735518837221 140735518837221 140735518842823 0
Current children cumulated CPU time: 96.44 s
Current children cumulated vsize: 661424 KiB
Current children cumulated memory: 581588 KiB

[startup+102.3 s]
/proc/loadavg: 8.06 8.05 8.07 9/272 49810
/proc/meminfo: memFree=127519540/131249996 swapFree=33010684/33010684
[pid=49745] ppid=49742 vsize=661424 memory=581588 CPUtime=198.21 cores=1,3
/proc/49745/stat : 49745 (cp-sat-runner) S 49742 49745 47844 0 -1 4194304 233922 0 0 0 19785 36 0 0 20 0 3 0 47593411 677298176 145397 18446744073709551615 4198400 12805993 140735518834496 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 14146912 14333620 29712384 140735518837016 140735518837221 140735518837221 140735518842823 0
/proc/49745/statm: 165356 145397 2144 2102 0 152038 0
[pid=49745/tid=49805] ppid=49742 vsize=661424 memory=581588 CPUtime=96.8 cores=1,3
/proc/49745/task/49805/stat : 49805 (cp-sat-runner) R 49742 49745 47844 0 -1 4194368 47441 0 0 0 9675 5 0 0 20 0 3 0 47593928 677298176 145397 18446744073709551615 4198400 12805993 140735518834496 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 14146912 14333620 29712384 140735518837016 140735518837221 140735518837221 140735518842823 0
[pid=49745/tid=49806] ppid=49742 vsize=661424 memory=581588 CPUtime=96.17 cores=1,3
/proc/49745/task/49806/stat : 49806 (cp-sat-runner) R 49742 49745 47844 0 -1 4194368 80121 0 0 0 9611 6 0 0 20 0 3 0 47593928 677298176 145397 18446744073709551615 4198400 12805993 140735518834496 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 14146912 14333620 29712384 140735518837016 140735518837221 140735518837221 140735518842823 0
Current children cumulated CPU time: 198.21 s
Current children cumulated vsize: 661424 KiB
Current children cumulated memory: 581588 KiB

[startup+162.3 s]
/proc/loadavg: 8.07 8.06 8.07 9/273 49813
/proc/meminfo: memFree=127514208/131249996 swapFree=33010684/33010684
[pid=49745] ppid=49742 vsize=661424 memory=585300 CPUtime=317.46 cores=1,3
/proc/49745/stat : 49745 (cp-sat-runner) S 49742 49745 47844 0 -1 4194304 254420 0 0 0 31707 39 0 0 20 0 3 0 47593411 677298176 146325 18446744073709551615 4198400 12805993 140735518834496 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 14146912 14333620 29712384 140735518837016 140735518837221 140735518837221 140735518842823 0
/proc/49745/statm: 165356 146325 2144 2102 0 152819 0
[pid=49745/tid=49805] ppid=49742 vsize=661424 memory=585172 CPUtime=156.61 cores=1,3
/proc/49745/task/49805/stat : 49805 (cp-sat-runner) R 49742 49745 47844 0 -1 4194368 49399 0 0 0 15655 6 0 0 20 0 3 0 47593928 677298176 146325 18446744073709551615 4198400 12805993 140735518834496 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 14146912 14333620 29712384 140735518837016 140735518837221 140735518837221 140735518842823 0
[pid=49745/tid=49806] ppid=49742 vsize=661424 memory=584148 CPUtime=155.59 cores=1,3
/proc/49745/task/49806/stat : 49806 (cp-sat-runner) R 49742 49745 47844 0 -1 4194368 98570 0 0 0 15552 7 0 0 20 0 3 0 47593928 677298176 146325 18446744073709551615 4198400 12805993 140735518834496 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 14146912 14333620 29712384 140735518837016 140735518837221 140735518837221 140735518842823 0
Current children cumulated CPU time: 317.46 s
Current children cumulated vsize: 661424 KiB
Current children cumulated memory: 585300 KiB

[startup+222.3 s]
/proc/loadavg: 8.06 8.06 8.07 9/275 49824
/proc/meminfo: memFree=127511872/131249996 swapFree=33010684/33010684
[pid=49745] ppid=49742 vsize=661424 memory=590548 CPUtime=436.72 cores=1,3
/proc/49745/stat : 49745 (cp-sat-runner) S 49742 49745 47844 0 -1 4194304 270360 0 0 0 43630 42 0 0 20 0 3 0 47593411 677298176 147637 18446744073709551615 4198400 12805993 140735518834496 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 14146912 14333620 29712384 140735518837016 140735518837221 140735518837221 140735518842823 0
/proc/49745/statm: 165356 147637 2144 2102 0 154119 0
[pid=49745/tid=49805] ppid=49742 vsize=661424 memory=589908 CPUtime=216.43 cores=1,3
/proc/49745/task/49805/stat : 49805 (cp-sat-runner) R 49742 49745 47844 0 -1 4194368 50933 0 0 0 21636 7 0 0 20 0 3 0 47593928 677298176 147637 18446744073709551615 4198400 12805993 140735518834496 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 14146912 14333620 29712384 140735518837016 140735518837221 140735518837221 140735518842823 0
[pid=49745/tid=49806] ppid=49742 vsize=661424 memory=7583291696898678292 CPUtime=215.01 cores=1,3
/proc/49745/task/49806/stat : 49806 (cp-sat-runner) R 49742 49745 47844 0 -1 4194368 112726 0 0 0 21492 9 0 0 20 0 3 0 47593928 677298176 147637 18446744073709551615 4198400 12805993 140735518834496 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 14146912 14333620 29712384 140735518837016 140735518837221 140735518837221 140735518842823 0
Current children cumulated CPU time: 436.72 s
Current children cumulated vsize: 661424 KiB
Current children cumulated memory: 590548 KiB

[startup+282.3 s]
/proc/loadavg: 8.07 8.06 8.07 9/275 49826
/proc/meminfo: memFree=127489688/131249996 swapFree=33010684/33010684
[pid=49745] ppid=49742 vsize=661424 memory=590932 CPUtime=555.98 cores=1,3
/proc/49745/stat : 49745 (cp-sat-runner) S 49742 49745 47844 0 -1 4194304 275159 0 0 0 55553 45 0 0 20 0 3 0 47593411 677298176 147733 18446744073709551615 4198400 12805993 140735518834496 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 14146912 14333620 29712384 140735518837016 140735518837221 140735518837221 140735518842823 0
/proc/49745/statm: 165356 147733 2144 2102 0 154251 0
[pid=49745/tid=49805] ppid=49742 vsize=661424 memory=590932 CPUtime=276.25 cores=1,3

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

Current children cumulated memory: 600756 KiB

[startup+1302.3 s]
/proc/loadavg: 8.09 8.09 8.09 9/273 49921
/proc/meminfo: memFree=126381756/131249996 swapFree=33010684/33010684
[pid=49745] ppid=49742 vsize=661424 memory=600756 CPUtime=2583.26 cores=1,3
/proc/49745/stat : 49745 (cp-sat-runner) S 49742 49745 47844 0 -1 4194304 302906 0 0 0 258254 72 0 0 20 0 3 0 47593411 677298176 150189 18446744073709551615 4198400 12805993 140735518834496 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 14146912 14333620 29712384 140735518837016 140735518837221 140735518837221 140735518842823 0
/proc/49745/statm: 165356 150189 2144 2102 0 155413 0
[pid=49745/tid=49805] ppid=49742 vsize=661424 memory=600756 CPUtime=1293.29 cores=1,3
/proc/49745/task/49805/stat : 49805 (cp-sat-runner) R 49742 49745 47844 0 -1 4194368 53333 0 0 0 129313 16 0 0 20 0 3 0 47593928 677298176 150189 18446744073709551615 4198400 12805993 140735518834496 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 14146912 14333620 29712384 140735518837016 140735518837221 140735518837221 140735518842823 0
[pid=49745/tid=49806] ppid=49742 vsize=661424 memory=600756 CPUtime=1284.29 cores=1,3
/proc/49745/task/49806/stat : 49806 (cp-sat-runner) R 49742 49745 47844 0 -1 4194368 142657 0 0 0 128415 14 0 0 20 0 3 0 47593928 677298176 150189 18446744073709551615 4198400 12805993 140735518834496 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 14146912 14333620 29712384 140735518837016 140735518837221 140735518837221 140735518842823 0
Current children cumulated CPU time: 2583.26 s
Current children cumulated vsize: 661424 KiB
Current children cumulated memory: 600756 KiB

[startup+1362.3 s]
/proc/loadavg: 8.24 8.12 8.10 9/273 49924
/proc/meminfo: memFree=126395984/131249996 swapFree=33010684/33010684
[pid=49745] ppid=49742 vsize=661424 memory=600756 CPUtime=2702.49 cores=1,3
/proc/49745/stat : 49745 (cp-sat-runner) S 49742 49745 47844 0 -1 4194304 303038 0 0 0 270176 73 0 0 20 0 3 0 47593411 677298176 150189 18446744073709551615 4198400 12805993 140735518834496 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 14146912 14333620 29712384 140735518837016 140735518837221 140735518837221 140735518842823 0
/proc/49745/statm: 165356 150189 2144 2102 0 155413 0
[pid=49745/tid=49805] ppid=49742 vsize=661424 memory=14848 CPUtime=1353.12 cores=1,3
/proc/49745/task/49805/stat : 49805 (cp-sat-runner) R 49742 49745 47844 0 -1 4194368 53339 0 0 0 135296 16 0 0 20 0 3 0 47593928 677298176 150189 18446744073709551615 4198400 12805993 140735518834496 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 14146912 14333620 29712384 140735518837016 140735518837221 140735518837221 140735518842823 0
[pid=49745/tid=49806] ppid=49742 vsize=661424 memory=600756 CPUtime=1343.69 cores=1,3
/proc/49745/task/49806/stat : 49806 (cp-sat-runner) R 49742 49745 47844 0 -1 4194368 142780 0 0 0 134354 15 0 0 20 0 3 0 47593928 677298176 150189 18446744073709551615 4198400 12805993 140735518834496 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 14146912 14333620 29712384 140735518837016 140735518837221 140735518837221 140735518842823 0
Current children cumulated CPU time: 2702.49 s
Current children cumulated vsize: 661424 KiB
Current children cumulated memory: 600756 KiB

[startup+1422.3 s]
/proc/loadavg: 8.69 8.27 8.15 9/273 49926
/proc/meminfo: memFree=126386676/131249996 swapFree=33010684/33010684
[pid=49745] ppid=49742 vsize=661424 memory=600756 CPUtime=2821.73 cores=1,3
/proc/49745/stat : 49745 (cp-sat-runner) S 49742 49745 47844 0 -1 4194304 303233 0 0 0 282098 75 0 0 20 0 3 0 47593411 677298176 150189 18446744073709551615 4198400 12805993 140735518834496 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 14146912 14333620 29712384 140735518837016 140735518837221 140735518837221 140735518842823 0
/proc/49745/statm: 165356 150189 2144 2102 0 155413 0
[pid=49745/tid=49805] ppid=49742 vsize=661424 memory=14848 CPUtime=1412.95 cores=1,3
/proc/49745/task/49805/stat : 49805 (cp-sat-runner) R 49742 49745 47844 0 -1 4194368 53499 0 0 0 141278 17 0 0 20 0 3 0 47593928 677298176 150189 18446744073709551615 4198400 12805993 140735518834496 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 14146912 14333620 29712384 140735518837016 140735518837221 140735518837221 140735518842823 0
[pid=49745/tid=49806] ppid=49742 vsize=661424 memory=600756 CPUtime=1403.06 cores=1,3
/proc/49745/task/49806/stat : 49806 (cp-sat-runner) R 49742 49745 47844 0 -1 4194368 142806 0 0 0 140291 15 0 0 20 0 3 0 47593928 677298176 150189 18446744073709551615 4198400 12805993 140735518834496 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 14146912 14333620 29712384 140735518837016 140735518837221 140735518837221 140735518842823 0
Current children cumulated CPU time: 2821.73 s
Current children cumulated vsize: 661424 KiB
Current children cumulated memory: 600756 KiB

[startup+1482.3 s]
/proc/loadavg: 8.31 8.23 8.15 9/274 49935
/proc/meminfo: memFree=126362552/131249996 swapFree=33010684/33010684
[pid=49745] ppid=49742 vsize=661424 memory=600756 CPUtime=2940.96 cores=1,3
/proc/49745/stat : 49745 (cp-sat-runner) S 49742 49745 47844 0 -1 4194304 303551 0 0 0 294020 76 0 0 20 0 3 0 47593411 677298176 150189 18446744073709551615 4198400 12805993 140735518834496 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 14146912 14333620 29712384 140735518837016 140735518837221 140735518837221 140735518842823 0
/proc/49745/statm: 165356 150189 2144 2102 0 155413 0
[pid=49745/tid=49805] ppid=49742 vsize=661424 memory=17920 CPUtime=1472.79 cores=1,3
/proc/49745/task/49805/stat : 49805 (cp-sat-runner) R 49742 49745 47844 0 -1 4194368 53507 0 0 0 147261 18 0 0 20 0 3 0 47593928 677298176 150189 18446744073709551615 4198400 12805993 140735518834496 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 14146912 14333620 29712384 140735518837016 140735518837221 140735518837221 140735518842823 0
[pid=49745/tid=49806] ppid=49742 vsize=661424 memory=600756 CPUtime=1462.45 cores=1,3
/proc/49745/task/49806/stat : 49806 (cp-sat-runner) R 49742 49745 47844 0 -1 4194368 143114 0 0 0 146230 15 0 0 20 0 3 0 47593928 677298176 150189 18446744073709551615 4198400 12805993 140735518834496 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 14146912 14333620 29712384 140735518837016 140735518837221 140735518837221 140735518842823 0
Current children cumulated CPU time: 2940.96 s
Current children cumulated vsize: 661424 KiB
Current children cumulated memory: 600756 KiB

[startup+1542.3 s]
/proc/loadavg: 8.11 8.19 8.13 9/274 49938
/proc/meminfo: memFree=126388268/131249996 swapFree=33010684/33010684
[pid=49745] ppid=49742 vsize=661424 memory=600756 CPUtime=3060.2 cores=1,3
/proc/49745/stat : 49745 (cp-sat-runner) S 49742 49745 47844 0 -1 4194304 303840 0 0 0 305942 78 0 0 20 0 3 0 47593411 677298176 150189 18446744073709551615 4198400 12805993 140735518834496 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 14146912 14333620 29712384 140735518837016 140735518837221 140735518837221 140735518842823 0
/proc/49745/statm: 165356 150189 2144 2102 0 155413 0
[pid=49745/tid=49805] ppid=49742 vsize=661424 memory=600756 CPUtime=1532.61 cores=1,3
/proc/49745/task/49805/stat : 49805 (cp-sat-runner) R 49742 49745 47844 0 -1 4194368 53658 0 0 0 153243 18 0 0 20 0 3 0 47593928 677298176 150189 18446744073709551615 4198400 12805993 140735518834496 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 14146912 14333620 29712384 140735518837016 140735518837221 140735518837221 140735518842823 0
[pid=49745/tid=49806] ppid=49742 vsize=661424 memory=600756 CPUtime=1521.83 cores=1,3
/proc/49745/task/49806/stat : 49806 (cp-sat-runner) R 49742 49745 47844 0 -1 4194368 143236 0 0 0 152168 15 0 0 20 0 3 0 47593928 677298176 150189 18446744073709551615 4198400 12805993 140735518834496 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 14146912 14333620 29712384 140735518837016 140735518837221 140735518837221 140735518842823 0
Current children cumulated CPU time: 3060.2 s
Current children cumulated vsize: 661424 KiB
Current children cumulated memory: 600756 KiB

[startup+1602.3 s]
/proc/loadavg: 8.17 8.20 8.14 9/273 49940
/proc/meminfo: memFree=126396196/131249996 swapFree=33010684/33010684
[pid=49745] ppid=49742 vsize=661424 memory=600756 CPUtime=3179.44 cores=1,3
/proc/49745/stat : 49745 (cp-sat-runner) S 49742 49745 47844 0 -1 4194304 304259 0 0 0 317865 79 0 0 20 0 3 0 47593411 677298176 150189 18446744073709551615 4198400 12805993 140735518834496 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 14146912 14333620 29712384 140735518837016 140735518837221 140735518837221 140735518842823 0
/proc/49745/statm: 165356 150189 2144 2102 0 155413 0
[pid=49745/tid=49805] ppid=49742 vsize=661424 memory=600756 CPUtime=1592.45 cores=1,3
/proc/49745/task/49805/stat : 49805 (cp-sat-runner) R 49742 49745 47844 0 -1 4194368 53664 0 0 0 159226 19 0 0 20 0 3 0 47593928 677298176 150189 18446744073709551615 4198400 12805993 140735518834496 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 14146912 14333620 29712384 140735518837016 140735518837221 140735518837221 140735518842823 0
[pid=49745/tid=49806] ppid=49742 vsize=661424 memory=600756 CPUtime=1581.22 cores=1,3
/proc/49745/task/49806/stat : 49806 (cp-sat-runner) R 49742 49745 47844 0 -1 4194368 143647 0 0 0 158107 15 0 0 20 0 3 0 47593928 677298176 150189 18446744073709551615 4198400 12805993 140735518834496 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 14146912 14333620 29712384 140735518837016 140735518837221 140735518837221 140735518842823 0
Current children cumulated CPU time: 3179.44 s
Current children cumulated vsize: 661424 KiB
Current children cumulated memory: 600756 KiB

[startup+1662.3 s]
/proc/loadavg: 8.11 8.17 8.13 9/275 49955
/proc/meminfo: memFree=126373624/131249996 swapFree=33010684/33010684
[pid=49745] ppid=49742 vsize=661424 memory=600756 CPUtime=3298.65 cores=1,3
/proc/49745/stat : 49745 (cp-sat-runner) S 49742 49745 47844 0 -1 4194304 304411 0 0 0 329785 80 0 0 20 0 3 0 47593411 677298176 150189 18446744073709551615 4198400 12805993 140735518834496 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 14146912 14333620 29712384 140735518837016 140735518837221 140735518837221 140735518842823 0
/proc/49745/statm: 165356 150189 2144 2102 0 155422 0
[pid=49745/tid=49805] ppid=49742 vsize=661424 memory=600756 CPUtime=1652.25 cores=1,3
/proc/49745/task/49805/stat : 49805 (cp-sat-runner) R 49742 49745 47844 0 -1 4194368 53810 0 0 0 165206 19 0 0 20 0 3 0 47593928 677298176 150189 18446744073709551615 4198400 12805993 140735518834496 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 14146912 14333620 29712384 140735518837016 140735518837221 140735518837221 140735518842823 0
[pid=49745/tid=49806] ppid=49742 vsize=661424 memory=600756 CPUtime=1640.61 cores=1,3
/proc/49745/task/49806/stat : 49806 (cp-sat-runner) R 49742 49745 47844 0 -1 4194368 143647 0 0 0 164045 16 0 0 20 0 3 0 47593928 677298176 150189 18446744073709551615 4198400 12805993 140735518834496 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 14146912 14333620 29712384 140735518837016 140735518837221 140735518837221 140735518842823 0
Current children cumulated CPU time: 3298.65 s
Current children cumulated vsize: 661424 KiB
Current children cumulated memory: 600756 KiB

[startup+1722.3 s]
/proc/loadavg: 8.08 8.15 8.13 10/275 49972
/proc/meminfo: memFree=126330348/131249996 swapFree=33010684/33010684
[pid=49745] ppid=49742 vsize=661424 memory=600756 CPUtime=3417.87 cores=1,3
/proc/49745/stat : 49745 (cp-sat-runner) S 49742 49745 47844 0 -1 4194304 304538 0 0 0 341705 82 0 0 20 0 3 0 47593411 677298176 150189 18446744073709551615 4198400 12805993 140735518834496 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 14146912 14333620 29712384 140735518837016 140735518837221 140735518837221 140735518842823 0
/proc/49745/statm: 165356 150189 2144 2102 0 155422 0
[pid=49745/tid=49805] ppid=49742 vsize=661424 memory=600756 CPUtime=1712.08 cores=1,3
/proc/49745/task/49805/stat : 49805 (cp-sat-runner) R 49742 49745 47844 0 -1 4194368 53831 0 0 0 171188 20 0 0 20 0 3 0 47593928 677298176 150189 18446744073709551615 4198400 12805993 140735518834496 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 14146912 14333620 29712384 140735518837016 140735518837221 140735518837221 140735518842823 0
[pid=49745/tid=49806] ppid=49742 vsize=661424 memory=600756 CPUtime=1699.98 cores=1,3
/proc/49745/task/49806/stat : 49806 (cp-sat-runner) R 49742 49745 47844 0 -1 4194368 143740 0 0 0 169982 16 0 0 20 0 3 0 47593928 677298176 150189 18446744073709551615 4198400 12805993 140735518834496 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 14146912 14333620 29712384 140735518837016 140735518837221 140735518837221 140735518842823 0
Current children cumulated CPU time: 3417.87 s
Current children cumulated vsize: 661424 KiB
Current children cumulated memory: 600756 KiB

[startup+1782.3 s]
/proc/loadavg: 8.16 8.17 8.13 9/274 49973
/proc/meminfo: memFree=126332328/131249996 swapFree=33010684/33010684
[pid=49745] ppid=49742 vsize=661424 memory=600756 CPUtime=3537.09 cores=1,3
/proc/49745/stat : 49745 (cp-sat-runner) S 49742 49745 47844 0 -1 4194304 304936 0 0 0 353626 83 0 0 20 0 3 0 47593411 677298176 150189 18446744073709551615 4198400 12805993 140735518834496 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 14146912 14333620 29712384 140735518837016 140735518837221 140735518837221 140735518842823 0
/proc/49745/statm: 165356 150189 2144 2102 0 155422 0
[pid=49745/tid=49805] ppid=49742 vsize=661424 memory=600756 CPUtime=1771.9 cores=1,3
/proc/49745/task/49805/stat : 49805 (cp-sat-runner) R 49742 49745 47844 0 -1 4194368 53973 0 0 0 177170 20 0 0 20 0 3 0 47593928 677298176 150189 18446744073709551615 4198400 12805993 140735518834496 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 14146912 14333620 29712384 140735518837016 140735518837221 140735518837221 140735518842823 0
[pid=49745/tid=49806] ppid=49742 vsize=661424 memory=4380 CPUtime=1759.35 cores=1,3
/proc/49745/task/49806/stat : 49806 (cp-sat-runner) R 49742 49745 47844 0 -1 4194368 143989 0 0 0 175919 16 0 0 20 0 3 0 47593928 677298176 150189 18446744073709551615 4198400 12805993 140735518834496 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 14146912 14333620 29712384 140735518837016 140735518837221 140735518837221 140735518842823 0
Current children cumulated CPU time: 3537.09 s
Current children cumulated vsize: 661424 KiB
Current children cumulated memory: 600756 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1814 s]*
/proc/loadavg: 8.17 8.17 8.13 9/274 49975
/proc/meminfo: memFree=126360844/131249996 swapFree=33010684/33010684
[pid=49745] ppid=49742 vsize=661424 memory=600756 CPUtime=3600.09 cores=1,3
/proc/49745/stat : 49745 (cp-sat-runner) S 49742 49745 47844 0 -1 4194304 305418 0 0 0 359925 84 0 0 20 0 3 0 47593411 677298176 150189 18446744073709551615 4198400 12805993 140735518834496 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 14146912 14333620 29712384 140735518837016 140735518837221 140735518837221 140735518842823 0
/proc/49745/statm: 165356 150189 2144 2102 0 155422 0
[pid=49745/tid=49805] ppid=49742 vsize=661424 memory=-8183429163646751679 CPUtime=1803.51 cores=1,3
/proc/49745/task/49805/stat : 49805 (cp-sat-runner) R 49742 49745 47844 0 -1 4194368 53986 0 0 0 180331 20 0 0 20 0 3 0 47593928 677298176 150189 18446744073709551615 4198400 12805993 140735518834496 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 14146912 14333620 29712384 140735518837016 140735518837221 140735518837221 140735518842823 0
[pid=49745/tid=49806] ppid=49742 vsize=661424 memory=-4050210904893669773 CPUtime=1790.73 cores=1,3
/proc/49745/task/49806/stat : 49806 (cp-sat-runner) R 49742 49745 47844 0 -1 4194368 144446 0 0 0 179057 16 0 0 20 0 3 0 47593928 677298176 150189 18446744073709551615 4198400 12805993 140735518834496 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 14146912 14333620 29712384 140735518837016 140735518837221 140735518837221 140735518842823 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 661424 KiB
Current children cumulated memory: 600756 KiB

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

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

# cumulated CPU time of all completed processes:  user=3599.27 s, system=0.860288 s

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

Child status: 0

Real time (s): 1814.03
CPU time (s): 3600.13
CPU user time (s): 3599.27
CPU system time (s): 0.860288
CPU usage (%): 198.46
Max. virtual memory (cumulated for all children) (KiB): 881424
Max. memory (cumulated for all children) (KiB): 602736

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.27
system time used= 0.860288
maximum resident set size= 602736
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 305422
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= 27224
involuntary context switches= 124592


# summary of solver processes directly reported to runsolver:
#   pid: 49745
#   total CPU time (s): 3600.13
#   total CPU user time (s): 3599.27
#   total CPU system time (s): 0.860288

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.76949 second user time and 8.00334 second system time

The end

Launcher Data 

Begin job on nodeC024 at 2025-06-30 23:32:35
IDJOB=4489526
IDBENCH=147557
IDSOLVER=3320
FILE ID=nodeC024/4489526-1751319155
RUNJOBID= nodeC024-1751313715-47856
SLURM_JOB_ID= 9594318
Free space on /tmp= 433004 MiB

SOLVER NAME= OR-Tools CP-SAT 9.14
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/wnq/normalized-wnq_n100_mw99_12.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-4489526-1751319155/watcher-4489526-1751319155 -o /tmp/evaluation-result-4489526-1751319155/solver-4489526-1751319155 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC024-1751313715-47856 --watchdog 3760  cp-sat-runner --params num_workers:2,log_search_progress:false,max_time_in_seconds:3600,random_seed:1767862722 --competition_mode --input HOME/instance-4489526-1751319155.opb

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

MD5SUM BENCH= fd0e2798224bd891f728fecfed3c6d1b
RANDOM SEED=1767862722

nodeC024 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		: 3599.670
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.36
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.479
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.36
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.681
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.36
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		: 3541.987
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.36
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.665
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.36
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.697
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.36
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		: 3579.717
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.36
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		: 3599.701
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.36
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131249996 kB
MemFree:        129308028 kB
MemAvailable:   129683924 kB
Buffers:            3280 kB
Cached:          1181676 kB
SwapCached:            0 kB
Active:           411432 kB
Inactive:         926144 kB
Active(anon):     170712 kB
Inactive(anon):        0 kB
Active(file):     240720 kB
Inactive(file):   926144 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             46196 kB
Writeback:             0 kB
AnonPages:        151992 kB
Mapped:           120740 kB
Shmem:             18064 kB
KReclaimable:      96144 kB
Slab:             183120 kB
SReclaimable:      96144 kB
SUnreclaim:        86976 kB
KernelStack:        4272 kB
PageTables:         3280 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:     504424 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150568 kB
VmallocChunk:          0 kB
Percpu:             3808 kB
HardwareCorrupted:     0 kB
AnonHugePages:     79872 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:      195284 kB
DirectMap2M:     6916096 kB
DirectMap1G:    128974848 kB

Free space on /tmp at the end= 432920 MiB
End job on nodeC024 at 2025-07-01 00:02:49