Trace number 4098075

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 NameAnswerCPU timeWall clock time
NaPS 1.02SAT 5.2592 5.26133

General information on the benchmark

Namenormalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/
d-equals-n_k/normalized-compression64_29.opb
MD5SUMad1a92600821e0d2cfdc3c1c95f3cd4b
Bench CategoryDEC-SMALLINT-LIN (no optimisation, small integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark0.680896
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables8742
Total number of constraints42878
Number of constraints which are clauses42873
Number of constraints which are cardinality constraints (but not clauses)5
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint93
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 29
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 122
Number of bits of the biggest sum of numbers7
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

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

Verifier Data 

OK	0

Watcher Data 

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

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-4098075-1466118459/watcher-4098075-1466118459 -o /tmp/evaluation-result-4098075-1466118459/solver-4098075-1466118459 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node126-1466118432-29317 --watchdog 1960 naps-1.02 HOME/instance-4098075-1466118459.opb 

pid=29666
running on 4 cores: 0,2,4,6

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: 1.42 1.53 1.79 4/176 29669
/proc/meminfo: memFree=31593916/32872528 swapFree=338160/354512
[pid=29669] ppid=29666 vsize=6684 CPUtime=0 cores=0,2,4,6
/proc/29669/stat : 29669 (naps-1.02) R 29666 29669 27941 0 -1 4202496 349 0 0 0 0 0 0 0 20 0 1 0 13892615 6844416 224 33554432000 4194304 5796924 140736502063344 140736022241960 5087606 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/29669/statm: 1671 224 127 392 0 1270 0

[startup+0.100175 s]
/proc/loadavg: 1.42 1.53 1.79 4/176 29669
/proc/meminfo: memFree=31593916/32872528 swapFree=338160/354512
[pid=29669] ppid=29666 vsize=8300 CPUtime=0.09 cores=0,2,4,6
/proc/29669/stat : 29669 (naps-1.02) R 29666 29669 27941 0 -1 4202496 745 0 0 0 9 0 0 0 20 0 1 0 13892615 8499200 620 33554432000 4194304 5796924 140736502063344 140736022241960 5183584 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/29669/statm: 2075 620 127 392 0 1674 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 8300

[startup+0.200296 s]
/proc/loadavg: 1.42 1.53 1.79 4/176 29669
/proc/meminfo: memFree=31593916/32872528 swapFree=338160/354512
[pid=29669] ppid=29666 vsize=8300 CPUtime=0.19 cores=0,2,4,6
/proc/29669/stat : 29669 (naps-1.02) R 29666 29669 27941 0 -1 4202496 795 0 0 0 19 0 0 0 20 0 1 0 13892615 8499200 670 33554432000 4194304 5796924 140736502063344 140736022241960 5183584 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/29669/statm: 2075 670 127 392 0 1674 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 8300

[startup+0.300271 s]
/proc/loadavg: 1.42 1.53 1.79 4/176 29669
/proc/meminfo: memFree=31593916/32872528 swapFree=338160/354512
[pid=29669] ppid=29666 vsize=8424 CPUtime=0.29 cores=0,2,4,6
/proc/29669/stat : 29669 (naps-1.02) R 29666 29669 27941 0 -1 4202496 863 0 0 0 29 0 0 0 20 0 1 0 13892615 8626176 738 33554432000 4194304 5796924 140736502063344 140736022241960 5183584 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/29669/statm: 2106 738 127 392 0 1705 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 8424

[startup+0.700243 s]
/proc/loadavg: 1.42 1.53 1.79 4/176 29669
/proc/meminfo: memFree=31593916/32872528 swapFree=338160/354512
[pid=29669] ppid=29666 vsize=9804 CPUtime=0.69 cores=0,2,4,6
/proc/29669/stat : 29669 (naps-1.02) R 29666 29669 27941 0 -1 4202496 1233 0 0 0 69 0 0 0 20 0 1 0 13892615 10039296 1106 33554432000 4194304 5796924 140736502063344 140736502062568 5183584 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/29669/statm: 2451 1106 127 392 0 2050 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 9804

[startup+1.50024 s]
/proc/loadavg: 1.42 1.53 1.79 3/177 29670
/proc/meminfo: memFree=31587240/32872528 swapFree=338160/354512
[pid=29669] ppid=29666 vsize=10792 CPUtime=1.49 cores=0,2,4,6
/proc/29669/stat : 29669 (naps-1.02) R 29666 29669 27941 0 -1 4202496 1541 0 0 0 149 0 0 0 20 0 1 0 13892615 11051008 1921 33554432000 4194304 5796924 140736502063344 140736502062568 5183584 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/29669/statm: 2698 1921 127 392 0 2297 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 10792

[startup+3.10029 s]
/proc/loadavg: 1.47 1.54 1.79 3/177 29670
/proc/meminfo: memFree=31585008/32872528 swapFree=338160/354512
[pid=29669] ppid=29666 vsize=16236 CPUtime=3.08 cores=0,2,4,6
/proc/29669/stat : 29669 (naps-1.02) R 29666 29669 27941 0 -1 4202496 3900 0 0 0 308 0 0 0 20 0 1 0 13892615 16625664 3413 33554432000 4194304 5796924 140736502063344 140736502062568 4648630 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/29669/statm: 4059 3413 147 392 0 3658 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 16236

Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 29669 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+3.20029 s]
/proc/loadavg: 1.47 1.54 1.79 3/177 29670
/proc/meminfo: memFree=31585008/32872528 swapFree=338160/354512
[pid=29669] ppid=29666 vsize=16236 CPUtime=3.18 cores=0,2,4,6
/proc/29669/stat : 29669 (naps-1.02) R 29666 29669 27941 0 -1 4202496 3900 0 0 0 318 0 0 0 20 0 1 0 13892615 16625664 3413 33554432000 4194304 5796924 140736502063344 140736502062568 4648643 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/29669/statm: 4059 3413 147 392 0 3658 0
Current children cumulated CPU time (s) 3.18
Current children cumulated vsize (KiB) 16236

[startup+4.00026 s]
/proc/loadavg: 1.47 1.54 1.79 3/177 29670
/proc/meminfo: memFree=31579180/32872528 swapFree=338160/354512
[pid=29669] ppid=29666 vsize=16236 CPUtime=3.98 cores=0,2,4,6
/proc/29669/stat : 29669 (naps-1.02) R 29666 29669 27941 0 -1 4202496 3930 0 0 0 398 0 0 0 20 0 1 0 13892615 16625664 3439 33554432000 4194304 5796924 140736502063344 140736502061736 4648608 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/29669/statm: 4059 3439 148 392 0 3658 0
Current children cumulated CPU time (s) 3.98
Current children cumulated vsize (KiB) 16236

[startup+4.80028 s]
/proc/loadavg: 1.47 1.54 1.79 3/177 29670
/proc/meminfo: memFree=31578972/32872528 swapFree=338160/354512
[pid=29669] ppid=29666 vsize=19764 CPUtime=4.79 cores=0,2,4,6
/proc/29669/stat : 29669 (naps-1.02) R 29666 29669 27941 0 -1 4202496 5037 0 0 0 478 1 0 0 20 0 1 0 13892615 20238336 4544 33554432000 4194304 5796924 140736502063344 140736502060984 4592160 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/29669/statm: 4941 4544 155 392 0 4540 0
Current children cumulated CPU time (s) 4.79
Current children cumulated vsize (KiB) 19764

[startup+5.20026 s]
/proc/loadavg: 1.47 1.54 1.79 3/177 29670
/proc/meminfo: memFree=31578972/32872528 swapFree=338160/354512
[pid=29669] ppid=29666 vsize=24316 CPUtime=5.19 cores=0,2,4,6
/proc/29669/stat : 29669 (naps-1.02) R 29666 29669 27941 0 -1 4202496 5571 0 0 0 518 1 0 0 20 0 1 0 13892615 24899584 5589 33554432000 4194304 5796924 140736502063344 140736502060984 4591861 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/29669/statm: 6079 5589 155 392 0 5678 0
Current children cumulated CPU time (s) 5.19
Current children cumulated vsize (KiB) 24316

Child status: 20
Real time (s): 5.26133
CPU time (s): 5.2592
CPU user time (s): 5.2432
CPU system time (s): 0.015997
CPU usage (%): 99.9596
Max. virtual memory (cumulated for all children) (KiB): 24316

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 5.2432
system time used= 0.015997
maximum resident set size= 22688
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 5654
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= 3
involuntary context switches= 8

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.013997 second user time and 0.023996 second system time

The end

Launcher Data 

Begin job on node126 at 2016-06-17 01:07:39
IDJOB=4098075
IDBENCH=107848
IDSOLVER=2544
FILE ID=node126/4098075-1466118459
RUNJOBID= node126-1466118432-29317
PBS_JOBID= 19904128
Free space on /tmp= 71732 MiB

SOLVER NAME= NaPS 1.02
BENCH NAME= PB16/normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d-equals-n_k/normalized-compression64_29.opb
COMMAND LINE= naps-1.02 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4098075-1466118459/watcher-4098075-1466118459 -o /tmp/evaluation-result-4098075-1466118459/solver-4098075-1466118459 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node126-1466118432-29317 --watchdog 1960  naps-1.02 HOME/instance-4098075-1466118459.opb

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

MD5SUM BENCH= ad1a92600821e0d2cfdc3c1c95f3cd4b
RANDOM SEED=984591390

node126.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.121
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	: 5332.24
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.121
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	: 5332.55
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.121
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	: 5332.55
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.121
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	: 5332.55
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.121
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	: 5332.55
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.121
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	: 5332.55
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.121
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	: 5332.55
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.121
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	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        31594296 kB
Buffers:           59960 kB
Cached:           125768 kB
SwapCached:         1752 kB
Active:           121412 kB
Inactive:         101840 kB
Active(anon):      38988 kB
Inactive(anon):      608 kB
Active(file):      82424 kB
Inactive(file):   101232 kB
Unevictable:      354512 kB
Mlocked:          338160 kB
SwapTotal:      67108856 kB
SwapFree:       67099252 kB
Dirty:             14652 kB
Writeback:             0 kB
AnonPages:        390464 kB
Mapped:             7996 kB
Shmem:                 0 kB
Slab:             569564 kB
SReclaimable:      13460 kB
SUnreclaim:       556104 kB
KernelStack:        1472 kB
PageTables:         4596 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:     506532 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:     34816 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71728 MiB
End job on node126 at 2016-06-17 01:07:44