Trace number 3708950

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
clasp 2.0.6-R5325 (opt)OPT-10859 76.8603 76.8827

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/
miplib2003/normalized-mps-v2-20-10-mzzv11.opb
MD5SUMa74bcf40291587dc368e3a23fd278be9
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark-10859
Best CPU time to get the best result obtained on this benchmark76.8603
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -10639
Optimality of the best value was proved NO
Number of variables11247
Total number of constraints9744
Number of constraints which are clauses77
Number of constraints which are cardinality constraints (but not clauses)5755
Number of constraints which are nor clauses,nor cardinality constraints3912
Minimum length of a constraint2
Maximum length of a constraint68
Number of terms in the objective function 773
Biggest coefficient in the objective function 1000
Number of bits for the biggest coefficient in the objective function 10
Sum of the numbers in the objective function 76861
Number of bits of the sum of numbers in the objective function 17
Biggest number in a constraint 1999
Number of bits of the biggest number in a constraint 11
Biggest sum of numbers in a constraint 76861
Number of bits of the biggest sum of numbers17
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

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

Verifier Data

OK	-10859

Watcher Data

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3708950-1338145753/watcher-3708950-1338145753 -o /tmp/evaluation-result-3708950-1338145753/solver-3708950-1338145753 -C 1800 -W 1900 -M 15500 HOME/clasp-opt.sh HOME/instance-3708950-1338145753.opb 

running on 4 cores: 1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.05 2.00 1.95 3/175 24603
/proc/meminfo: memFree=29885292/32873844 swapFree=7372/7372
[pid=24603] ppid=24601 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/24603/stat : 24603 (clasp-opt.sh) S 24601 24603 24451 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 280700132 9371648 274 33554432000 4194304 5064252 140737250143344 140737250142256 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24603/statm: 2288 274 232 213 0 73 0

[startup+0.0411969 s]
/proc/loadavg: 2.05 2.00 1.95 3/175 24603
/proc/meminfo: memFree=29885292/32873844 swapFree=7372/7372
[pid=24603] ppid=24601 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/24603/stat : 24603 (clasp-opt.sh) S 24601 24603 24451 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 280700132 9371648 274 33554432000 4194304 5064252 140737250143344 140737250142256 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24603/statm: 2288 274 232 213 0 73 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9152

[startup+0.100316 s]
/proc/loadavg: 2.05 2.00 1.95 3/175 24603
/proc/meminfo: memFree=29885292/32873844 swapFree=7372/7372
[pid=24603] ppid=24601 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/24603/stat : 24603 (clasp-opt.sh) S 24601 24603 24451 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 280700132 9371648 274 33554432000 4194304 5064252 140737250143344 140737250142256 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24603/statm: 2288 274 232 213 0 73 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9152

[startup+0.300324 s]
/proc/loadavg: 2.05 2.00 1.95 3/175 24603
/proc/meminfo: memFree=29885292/32873844 swapFree=7372/7372
[pid=24603] ppid=24601 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/24603/stat : 24603 (clasp-opt.sh) S 24601 24603 24451 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 280700132 9371648 274 33554432000 4194304 5064252 140737250143344 140737250142256 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24603/statm: 2288 274 232 213 0 73 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9152

[startup+0.70032 s]
/proc/loadavg: 2.05 2.00 1.95 3/175 24603
/proc/meminfo: memFree=29885292/32873844 swapFree=7372/7372
[pid=24603] ppid=24601 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/24603/stat : 24603 (clasp-opt.sh) S 24601 24603 24451 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 280700132 9371648 274 33554432000 4194304 5064252 140737250143344 140737250142256 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24603/statm: 2288 274 232 213 0 73 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9152

[startup+1.50033 s]
/proc/loadavg: 2.05 2.00 1.95 3/181 24616
/proc/meminfo: memFree=29844288/32873844 swapFree=7372/7372
[pid=24603] ppid=24601 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/24603/stat : 24603 (clasp-opt.sh) S 24601 24603 24451 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 280700132 9371648 274 33554432000 4194304 5064252 140737250143344 140737250142256 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24603/statm: 2288 274 232 213 0 73 0
[pid=24604] ppid=24603 vsize=14472 CPUtime=1.49 cores=1,3,5,7
/proc/24604/stat : 24604 (clasp-R5325) R 24603 24603 24451 0 -1 4202496 3620 0 0 0 149 0 0 0 20 0 1 0 280700133 14819328 3313 33554432000 4194304 6212839 140737145950928 140737145948952 4372067 0 0 4096 18946 0 0 0 17 3 0 0 0 0 0
/proc/24604/statm: 3618 3313 238 493 0 3123 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 23624

[startup+3.10028 s]
/proc/loadavg: 2.05 2.00 1.95 3/181 24616
/proc/meminfo: memFree=29841808/32873844 swapFree=7372/7372
[pid=24603] ppid=24601 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/24603/stat : 24603 (clasp-opt.sh) S 24601 24603 24451 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 280700132 9371648 274 33554432000 4194304 5064252 140737250143344 140737250142256 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24603/statm: 2288 274 232 213 0 73 0
[pid=24604] ppid=24603 vsize=16232 CPUtime=3.09 cores=1,3,5,7
/proc/24604/stat : 24604 (clasp-R5325) R 24603 24603 24451 0 -1 4202496 4030 0 0 0 309 0 0 0 20 0 1 0 280700133 16621568 3723 33554432000 4194304 6212839 140737145950928 140737145948952 4674290 0 0 4096 18946 0 0 0 17 3 0 0 0 0 0
/proc/24604/statm: 4058 3723 238 493 0 3563 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 25384

[startup+6.30032 s]
/proc/loadavg: 2.05 2.00 1.95 3/181 24616
/proc/meminfo: memFree=29838220/32873844 swapFree=7372/7372
[pid=24603] ppid=24601 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/24603/stat : 24603 (clasp-opt.sh) S 24601 24603 24451 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 280700132 9371648 274 33554432000 4194304 5064252 140737250143344 140737250142256 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24603/statm: 2288 274 232 213 0 73 0
[pid=24604] ppid=24603 vsize=17500 CPUtime=6.28 cores=1,3,5,7
/proc/24604/stat : 24604 (clasp-R5325) R 24603 24603 24451 0 -1 4202496 4338 0 0 0 628 0 0 0 20 0 1 0 280700133 17920000 4031 33554432000 4194304 6212839 140737145950928 140737145948952 4685801 0 0 4096 18946 0 0 0 17 3 0 0 0 0 0
/proc/24604/statm: 4375 4031 238 493 0 3880 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 26652

[startup+12.7003 s]
/proc/loadavg: 2.04 2.00 1.95 3/181 24616
/proc/meminfo: memFree=29834184/32873844 swapFree=7372/7372
[pid=24603] ppid=24601 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/24603/stat : 24603 (clasp-opt.sh) S 24601 24603 24451 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 280700132 9371648 274 33554432000 4194304 5064252 140737250143344 140737250142256 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24603/statm: 2288 274 232 213 0 73 0
[pid=24604] ppid=24603 vsize=18900 CPUtime=12.68 cores=1,3,5,7
/proc/24604/stat : 24604 (clasp-R5325) R 24603 24603 24451 0 -1 4202496 4678 0 0 0 1268 0 0 0 20 0 1 0 280700133 19353600 4371 33554432000 4194304 6212839 140737145950928 140737145948952 4411611 0 0 4096 18946 0 0 0 17 3 0 0 0 0 0
/proc/24604/statm: 4725 4371 238 493 0 4230 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 28052

[startup+25.5003 s]
/proc/loadavg: 2.03 2.00 1.95 3/181 24616
/proc/meminfo: memFree=29828108/32873844 swapFree=7372/7372
[pid=24603] ppid=24601 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/24603/stat : 24603 (clasp-opt.sh) S 24601 24603 24451 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 280700132 9371648 274 33554432000 4194304 5064252 140737250143344 140737250142256 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24603/statm: 2288 274 232 213 0 73 0
[pid=24604] ppid=24603 vsize=22496 CPUtime=25.48 cores=1,3,5,7
/proc/24604/stat : 24604 (clasp-R5325) R 24603 24603 24451 0 -1 4202496 5583 0 0 0 2547 1 0 0 20 0 1 0 280700133 23035904 5289 33554432000 4194304 6212839 140737145950928 140737145948952 4744490 0 0 4096 18946 0 0 0 17 3 0 0 0 0 0
/proc/24604/statm: 5624 5289 238 493 0 5129 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 31648

[startup+51.1003 s]
/proc/loadavg: 2.02 2.00 1.95 3/182 24619
/proc/meminfo: memFree=29824028/32873844 swapFree=7372/7372
[pid=24603] ppid=24601 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/24603/stat : 24603 (clasp-opt.sh) S 24601 24603 24451 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 280700132 9371648 274 33554432000 4194304 5064252 140737250143344 140737250142256 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24603/statm: 2288 274 232 213 0 73 0
[pid=24604] ppid=24603 vsize=23644 CPUtime=51.08 cores=1,3,5,7
/proc/24604/stat : 24604 (clasp-R5325) R 24603 24603 24451 0 -1 4202496 5839 0 0 0 5107 1 0 0 20 0 1 0 280700133 24211456 5545 33554432000 4194304 6212839 140737145950928 140737145948936 4634964 0 0 4096 18946 0 0 0 17 3 0 0 0 0 0
/proc/24604/statm: 5911 5545 238 493 0 5416 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 32796

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

[startup+63.9003 s]
/proc/loadavg: 2.02 2.00 1.95 3/182 24619
/proc/meminfo: memFree=29822816/32873844 swapFree=7372/7372
[pid=24603] ppid=24601 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/24603/stat : 24603 (clasp-opt.sh) S 24601 24603 24451 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 280700132 9371648 274 33554432000 4194304 5064252 140737250143344 140737250142256 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24603/statm: 2288 274 232 213 0 73 0
[pid=24604] ppid=24603 vsize=25308 CPUtime=63.87 cores=1,3,5,7
/proc/24604/stat : 24604 (clasp-R5325) R 24603 24603 24451 0 -1 4202496 6255 0 0 0 6386 1 0 0 20 0 1 0 280700133 25915392 5977 33554432000 4194304 6212839 140737145950928 140737145949336 4744656 0 0 4096 18946 0 0 0 17 3 0 0 0 0 0
/proc/24604/statm: 6327 5977 238 493 0 5832 0
Current children cumulated CPU time (s) 63.87
Current children cumulated vsize (KiB) 34460

[startup+70.3002 s]
/proc/loadavg: 2.01 2.00 1.95 3/182 24619
/proc/meminfo: memFree=29818724/32873844 swapFree=7372/7372
[pid=24603] ppid=24601 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/24603/stat : 24603 (clasp-opt.sh) S 24601 24603 24451 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 280700132 9371648 274 33554432000 4194304 5064252 140737250143344 140737250142256 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24603/statm: 2288 274 232 213 0 73 0
[pid=24604] ppid=24603 vsize=27924 CPUtime=70.28 cores=1,3,5,7
/proc/24604/stat : 24604 (clasp-R5325) R 24603 24603 24451 0 -1 4202496 6900 0 0 0 7027 1 0 0 20 0 1 0 280700133 28594176 6622 33554432000 4194304 6212839 140737145950928 140737145949336 4739496 0 0 4096 18946 0 0 0 17 3 0 0 0 0 0
/proc/24604/statm: 6981 6622 238 493 0 6486 0
Current children cumulated CPU time (s) 70.28
Current children cumulated vsize (KiB) 37076

[startup+73.5003 s]
/proc/loadavg: 2.01 2.00 1.95 3/182 24619
/proc/meminfo: memFree=29817608/32873844 swapFree=7372/7372
[pid=24603] ppid=24601 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/24603/stat : 24603 (clasp-opt.sh) S 24601 24603 24451 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 280700132 9371648 274 33554432000 4194304 5064252 140737250143344 140737250142256 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24603/statm: 2288 274 232 213 0 73 0
[pid=24604] ppid=24603 vsize=28084 CPUtime=73.47 cores=1,3,5,7
/proc/24604/stat : 24604 (clasp-R5325) R 24603 24603 24451 0 -1 4202496 6930 0 0 0 7346 1 0 0 20 0 1 0 280700133 28758016 6696 33554432000 4194304 6212839 140737145950928 140737145948952 4737442 0 0 4096 18946 0 0 0 17 3 0 0 0 0 0
/proc/24604/statm: 7021 6696 238 493 0 6526 0
Current children cumulated CPU time (s) 73.47
Current children cumulated vsize (KiB) 37236

[startup+75.1003 s]
/proc/loadavg: 2.01 2.00 1.95 3/182 24619
/proc/meminfo: memFree=29817416/32873844 swapFree=7372/7372
[pid=24603] ppid=24601 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/24603/stat : 24603 (clasp-opt.sh) S 24601 24603 24451 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 280700132 9371648 274 33554432000 4194304 5064252 140737250143344 140737250142256 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24603/statm: 2288 274 232 213 0 73 0
[pid=24604] ppid=24603 vsize=28084 CPUtime=75.07 cores=1,3,5,7
/proc/24604/stat : 24604 (clasp-R5325) R 24603 24603 24451 0 -1 4202496 6940 0 0 0 7506 1 0 0 20 0 1 0 280700133 28758016 6706 33554432000 4194304 6212839 140737145950928 140737145948952 4298183 0 0 4096 18946 0 0 0 17 3 0 0 0 0 0
/proc/24604/statm: 7021 6706 238 493 0 6526 0
Current children cumulated CPU time (s) 75.07
Current children cumulated vsize (KiB) 37236

[startup+75.9069 s]
/proc/loadavg: 2.01 2.00 1.95 3/182 24619
/proc/meminfo: memFree=29817416/32873844 swapFree=7372/7372
[pid=24603] ppid=24601 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/24603/stat : 24603 (clasp-opt.sh) S 24601 24603 24451 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 280700132 9371648 274 33554432000 4194304 5064252 140737250143344 140737250142256 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24603/statm: 2288 274 232 213 0 73 0
[pid=24604] ppid=24603 vsize=28084 CPUtime=75.87 cores=1,3,5,7
/proc/24604/stat : 24604 (clasp-R5325) R 24603 24603 24451 0 -1 4202496 6953 0 0 0 7586 1 0 0 20 0 1 0 280700133 28758016 6719 33554432000 4194304 6212839 140737145950928 140737145948952 4745330 0 0 4096 18946 0 0 0 17 3 0 0 0 0 0
/proc/24604/statm: 7021 6719 238 493 0 6526 0
Current children cumulated CPU time (s) 75.87
Current children cumulated vsize (KiB) 37236

[startup+76.3003 s]
/proc/loadavg: 2.01 2.00 1.95 3/182 24619
/proc/meminfo: memFree=29817416/32873844 swapFree=7372/7372
[pid=24603] ppid=24601 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/24603/stat : 24603 (clasp-opt.sh) S 24601 24603 24451 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 280700132 9371648 274 33554432000 4194304 5064252 140737250143344 140737250142256 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24603/statm: 2288 274 232 213 0 73 0
[pid=24604] ppid=24603 vsize=28216 CPUtime=76.27 cores=1,3,5,7
/proc/24604/stat : 24604 (clasp-R5325) R 24603 24603 24451 0 -1 4202496 6972 0 0 0 7626 1 0 0 20 0 1 0 280700133 28893184 6738 33554432000 4194304 6212839 140737145950928 140737145948952 4356512 0 0 4096 18946 0 0 0 17 3 0 0 0 0 0
/proc/24604/statm: 7054 6738 238 493 0 6559 0
Current children cumulated CPU time (s) 76.27
Current children cumulated vsize (KiB) 37368

[startup+76.7003 s]
/proc/loadavg: 2.01 2.00 1.95 3/182 24619
/proc/meminfo: memFree=29817416/32873844 swapFree=7372/7372
[pid=24603] ppid=24601 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/24603/stat : 24603 (clasp-opt.sh) S 24601 24603 24451 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 280700132 9371648 274 33554432000 4194304 5064252 140737250143344 140737250142256 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24603/statm: 2288 274 232 213 0 73 0
[pid=24604] ppid=24603 vsize=28352 CPUtime=76.67 cores=1,3,5,7
/proc/24604/stat : 24604 (clasp-R5325) R 24603 24603 24451 0 -1 4202496 7017 0 0 0 7666 1 0 0 20 0 1 0 280700133 29032448 6783 33554432000 4194304 6212839 140737145950928 140737145949336 4421884 0 0 4096 18946 0 0 0 17 3 0 0 0 0 0
/proc/24604/statm: 7088 6783 238 493 0 6593 0
Current children cumulated CPU time (s) 76.67
Current children cumulated vsize (KiB) 37504

[startup+76.8003 s]
/proc/loadavg: 2.01 2.00 1.95 3/182 24619
/proc/meminfo: memFree=29817416/32873844 swapFree=7372/7372
[pid=24603] ppid=24601 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/24603/stat : 24603 (clasp-opt.sh) S 24601 24603 24451 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 280700132 9371648 274 33554432000 4194304 5064252 140737250143344 140737250142256 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24603/statm: 2288 274 232 213 0 73 0
[pid=24604] ppid=24603 vsize=28352 CPUtime=76.77 cores=1,3,5,7
/proc/24604/stat : 24604 (clasp-R5325) R 24603 24603 24451 0 -1 4202496 7018 0 0 0 7676 1 0 0 20 0 1 0 280700133 29032448 6784 33554432000 4194304 6212839 140737145950928 140737145949336 4635145 0 0 4096 18946 0 0 0 17 3 0 0 0 0 0
/proc/24604/statm: 7088 6784 238 493 0 6593 0
Current children cumulated CPU time (s) 76.77
Current children cumulated vsize (KiB) 37504

Child status: 10
Real time (s): 76.8827
CPU time (s): 76.8603
CPU user time (s): 76.8423
CPU system time (s): 0.017997
CPU usage (%): 99.9708
Max. virtual memory (cumulated for all children) (KiB): 37504

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 76.8423
system time used= 0.017997
maximum resident set size= 27164
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 7388
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= 16
involuntary context switches= 80

runsolver used 0.283956 second user time and 0.799878 second system time

The end

Launcher Data

Begin job on node133 at 2012-05-27 21:09:13
IDJOB=3708950
IDBENCH=1875
IDSOLVER=2288
FILE ID=node133/3708950-1338145753
RUNJOBID= node133-1338143953-24468
PBS_JOBID= 14624517
Free space on /tmp= 71724 MiB

SOLVER NAME= clasp 2.0.6-R5325
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-mzzv11.opb
COMMAND LINE= HOME/clasp-opt.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3708950-1338145753/watcher-3708950-1338145753 -o /tmp/evaluation-result-3708950-1338145753/solver-3708950-1338145753 -C 1800 -W 1900 -M 15500  HOME/clasp-opt.sh HOME/instance-3708950-1338145753.opb

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

MD5SUM BENCH= a74bcf40291587dc368e3a23fd278be9
RANDOM SEED=1782250278

node133.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.540
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.08
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.540
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.92
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.540
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.92
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.540
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.540
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.540
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.90
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.540
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.540
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        29886564 kB
Buffers:          361144 kB
Cached:          1784228 kB
SwapCached:          104 kB
Active:           624580 kB
Inactive:        1536180 kB
Active(anon):       6004 kB
Inactive(anon):    11368 kB
Active(file):     618576 kB
Inactive(file):  1524812 kB
Unevictable:        7372 kB
Mlocked:            7372 kB
SwapTotal:      67108856 kB
SwapFree:       67108752 kB
Dirty:              6228 kB
Writeback:             0 kB
AnonPages:         79448 kB
Mapped:            14264 kB
Shmem:               212 kB
Slab:             685960 kB
SReclaimable:     128116 kB
SUnreclaim:       557844 kB
KernelStack:        1504 kB
PageTables:         3812 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     108668 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346376 kB
VmallocChunk:   34341987860 kB
HardwareCorrupted:     0 kB
AnonHugePages:     59392 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71720 MiB
End job on node133 at 2012-05-27 21:10:30