Trace number 4098222

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 4.47632 4.4782

General information on the benchmark

Namenormalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/
d-equals-n_k/normalized-compression64_27.opb
MD5SUMe5dfc4d846a48e79d65df8a4ed637338
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.84987
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables8372
Total number of constraints41046
Number of constraints which are clauses41041
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 constraint91
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 27
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 118
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.
4.39/4.47	s SATISFIABLE
4.39/4.47	c _____________________________________________________________________________
4.39/4.47	c 
4.39/4.47	c std/band forms        : 1,1
4.39/4.47	c 2cl/3cl ITE-codings   : 912,1599
4.39/4.47	c BDD/srt/adr Max costs : 1687,0,0
4.39/4.47	c BDDraw/bin/mul/srt/adr: 2,0,0,0,0
4.39/4.47	c BDD nodes             : 2690
4.39/4.47	c Es1/CC detections     : 0,0
4.39/4.47	c SAT/UNSAT calls       : 1,0
4.39/4.47	c restarts              : 6
4.39/4.47	c conflicts             : 1056           (236 /sec)
4.39/4.47	c decisions             : 6308           (1413 /sec)
4.39/4.47	c propagations          : 701821         (157171 /sec)
4.39/4.47	c inspects              : 0              (0 /sec)
4.39/4.47	c CPU time (solving tm) : 4.465 s        (1.632 s)
4.39/4.47	c Time for Opt-base     : 0 s
4.39/4.47	c _____________________________________________________________________________
4.39/4.47	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 x183 -x273 -x363 -x453 -x543 -x633 -x723 -x813 -x903 -x993 -x1083 -x1173 -x1263 -x1353 -x1443 -x1533 -x1623 -x1713 -x1803 -x1893 -x1983 -x2073 -x2163 -x2253 -x2343 -x2433 -x2523 -x2613 -x2703 -x2793 -x2883 -x2973 -x3063 -x3153 -x3243 -x3333 -x3423 -x3513 -x3603 -x3693 -x3783 -x3873 -x3963 -x4053 -x4143 -x4233 -x4323 -x4413 -x4503 -x4593 -x4683 -x4773 -x4863 x4953 -x5043 -x5133 -x5223 -x5313 -x5403 -x5493 -x5583 -x5673 -x5763 -x5853 -x184 -x274 -x364 -x454 -x544 -x634 -x724 -x814 -x904 -x994 x1084 -x1174 -x1264 -x1354 -x1444 -x1534 -x1624 -x1714 -x1804 -x1894 -x1984 -x2074 -x2164 -x2254 -x2344 -x2434 -x2524 -x2614 -x2704 -x2794 -x2884 -x2974 -x3064 -x3154 -x3244 -x3334 -x3424 -x3514 -x3604 -x3694 -x3784 -x3874 -x3964 -x4054 -x4144 -x4234 -x4324 -x4414 -x4504 -x4594 -x4684 -x4774 -x4864 -x4954 -x5044 -x5134 -x5224 -x5314 -x5404 -x5494 -x5584 -x5674 -x5764 -x5854 -x185 -x275 -x365 -x455 -x545 -x635 -x725 -x815 -x905 -x995 -x1085 -x1175 -x1265 -x1355 x1445 -x1535 -x1625 -x1715 -x1805 -x1895 -x1985 -x2075 -x2165 -x2255 -x2345 -x2435 -x2525 -x2615 -x2705 -x2795 -x2885 -x2975 -x3065 -x3155 -x3245 -x3335 -x3425 -x3515 -x3605 -x3695 -x3785 -x3875 -x3965 -x4055 -x4145 -x4235 -x4325 -x4415 -x4505 -x4595 -x4685 -x4775 -x4865 -x4955 -x5045 -x5135 -x5225 -x5315 -x5405 -x5495 -x5585 -x5675 -x5765 -x5855 -x186 -x276 -x366 -x456 -x546 -x636 -x726 -x816 -x906 -x996 -x1086 -x1176 -x1266 -x1356 -x1446 -x1536 -x1626 -x1716 -x1806 -x1896 -x1986 -x2076 x2166 -x2256 -x2346 -x2436 -x2526 -x2616 -x2706 -x2796 -x2886 -x2976 -x3066 -x3156 -x3246 -x3336 -x3426 -x3516 -x3606 -x3696 -x3786 -x3876 -x3966 -x4056 -x4146 -x4236 -x4326 -x4416 -x4506 -x4596 -x4686 -x4776 -x4866 -x4956 -x5046 -x5136 -x5226 -x5316 -x5406 -x5496 -x5586 -x5676 -x5766 -x5856 -x187 -x277 -x367 -x457 -x547 -x637 -x727 -x817 -x907 -x997 -x1087 -x1177 -x1267 -x1357 -x1447 -x1537 -x1627 x1717 -x1807 -x1897 -x1987 -x2077 -x2167 -x2257 -x2347 -x2437 -x2527 -x2617 -x2707 -x2797 -x2887 -x2977 -x3067 -x3157 -x3247 -x3337 -x3427 -x3517 -x3607 -x3697 -x3787 -x3877 -x3967 -x4057 -x4147 -x4237 -x4327 -x4417 -x4507 -x4597 -x4687 -x4777 -x4867 -x4957 -x5047 -x5137 -x5227 -x5317 -x5407 -x5497 -x5587 -x5677 -x5767 -x5857 -x188 -x278 -x368 -x458 -x548 -x638 -x728 -x818 -x908 -x998 -x1088 -x1178 -x1268 -x1358 -x1448 -x1538 x1628 -x1718 -x1808 -x1898 -x1988 -x2078 -x2168 -x2258 -x2348 -x2438 -x2528 -x2618 -x2708 -x2798 -x2888 -x2978 -x3068 -x3158 -x3248 -x3338 -x3428 -x3518 -x3608 -x3698 -x3788 -x3878 -x3968 -x4058 -x4148 -x4238 -x4328 -x4418 -x4508 -x4598 -x4688 -x4778 -x4868 -x4958 -x5048 -x5138 -x5228 -x5318 -x5408 -x5498 -x5588 -x5678 -x5768 -x5858 -x189 -x279 -x369 -x459 -x549 -x639 -x729 -x819 -x909 -x999 -x1089 -x1179 -x1269 -x1359 -x1449 x1539 -x1629 -x1719 -x1809 -x1899 -x1989 -x2079 -x2169 -x2259 -x2349 -x2439 -x2529 -x2619 -x2709 -x2799 -x2889 -x2979 -x3069 -x3159 -x3249 -x3339 -x3429 -x3519 -x3609 -x3699 -x3789 -x3879 -x3969 -x4059 -x4149 -x4239 -x4329 -x4419 -x4509 -x4599 -x4689 -x4779 -x4869 -x4959 -x5049 -x5139 -x5229 -x5319 -x5409 -x5499 -x5589 -x5679 -x5769 x5859 -x190 -x280 -x370 -x460 -x550 -x640 -x730 -x820 -x910 -x1000 -x1090 -x1180 -x1270 -x1360 -x1450 -x1540 -x1630 -x1720 -x1810 -x1900 -x1990 -x2080 -x2170 -x2260 -x2350 -x2440 -x2530 -x2620 -x2710 -x2800 -x2890 -x2980 -x3070 -x3160 -x3250 x3340 -x3430 -x3520 -x3610 -x3700 -x3790 -x3880 -x3970 -x4060 -x4150 -x4240 -x4330 -x4420 -x4510 -x4600 -x4690 -x4780 -x4870 -x4960 -x5050 -x5140 -x5230 -x5320 -x5410 -x5500 -x5590 -x5680 -x5770 -x5860 -x191 x281 -x371 -x461 -x551 -x641 -x731 -x821 -x911 -x1001 -x1091 -x1181 -x1271 -x1361 -x1451 -x1541 -x1631 -x1721 -x1811 -x1901 -x1991 -x2081 -x2171 -x2261 -x2351 -x2441 -x2531 -x2621 -x2711 -x2801 -x2891 -x2981 -x3071 -x3161 -x3251 -x3341 -x3431 -x3521 -x3611 -x3701 -x3791 -x3881 -x3971 -x4061 -x4151 -x4241 -x4331 -x4421 -x4511 -x4601 -x4691 -x4781 -x4871 -x4961 -x5051 -x5141 -x5231 -x5321 -x5411 -x5501 -x5591 -x5681 -x5771 -x5861 -x192 -x282 -x372 -x462 -x552 -x642 -x732 -x822 -x912 -x1002 -x1092 -x1182 -x1272 -x1362 -x1452 -x1542 -x1632 -x1722 -x1812 -x1902 -x1992 -x2082 -x2172 -x2262 -x2352 -x2442 -x2532 -x2622 -x2712 -x2802 -x2892 -x2982 -x3072 -x3162 -x3252 -x3342 -x3432 -x3522 -x3612 -x3702 -x3792 -x3882 -x3972 -x4062 -x4152 -x4242 -x4332 -x4422 -x4512 -x4602 -x4692 -x4782 -x4872 x4962 -x5052 -x5142 -x5232 -x5322 -x5412 -x5502 -x5592 -x5682 -x5772 -x5862 -x193 -x283 -x373 -x463 -x553 -x643 -x733 -x823 -x913 -x1003 -x1093 -x1183 -x1273 -x1363 -x1453 -x1543 -x1633 -x1723 -x1813 -x1903 -x1993 -x2083 -x2173 -x2263 -x2353 -x2443 -x2533 -x2623 -x2713 -x2803 -x2893 -x2983 -x3073 -x3163 -x3253 -x3343 -x3433 -x3523 -x3613 -x3703 -x3793 -x3883 -x3973 x4063 -x4153 -x4243 -x4333 -x4423 -x4513 -x4603 -x4693 -x4783 -x4873 -x4963 -x5053 -x5143 -x5233 -x5323 -x5413 -x5503 -x5593 -x5683 -x5773 -x5863 x194 -x284 -x374 -x464 -x554 -x644 -x734 -x824 -x914 -x1004 -x1094 -x1184 -x1274 -x1364 -x1454 -x1544 -x1634 -x1724 -x1814 -x1904 -x1994 -x2084 -x2174 -x2264 -x2354 -x2444 -x2534 -x2624 -x2714 -x2804 -x2894 -x2984 -x3074 -x3164 -x3254 -x3344 -x3434 -x3524 -x3614 -x3704 -x3794 -x3884 -x3974 -x4064 -x4154 -x4244 -x4334 -x4424 -x4514 -x4604 -x4694 -x4784 -x4874 -x4964 x5054 -x5144 -x5234 -x5324 -x5414 -x5504 -x5594 -x5684 -x5774 -x5864 -x195 -x285 -x375 -x465 -x555 -x645 -x735 -x825 -x915 -x1005 -x1095 -x1185 -x1275 -x1365 -x1455 -x1545 -x1635 -x1725 -x1815 -x1905 -x1995 -x2085 x2175 -x2265 -x2355 -x2445 -x2535 -x2625 -x2715 -x2805 -x2895 -x2985 -x3075 -x3165 -x3255 -x3345 -x3435 -x3525 -x3615 -x3705 -x3795 -x3885 -x3975 -x4065 -x4155 -x4245 -x4335 -x4425 -x4515 -x4605 -x4695 -x4785 -x4875 -x4965 -x5055 -x5145 -x5235 -x5325 -x5415 -x5505 -x5595 -x5685 -x5775 -x5865 -x196 -x286 -x376 -x466 -x556 -x646 -x736 -x826 -x916 -x1006 -x1096 -x1186 x1276 -x1366 -x1456 -x1546 -x1636 -x1726 -x1816 -x1906 -x1996 -x2086 -x2176 -x2266 -x2356 -x2446 -x2536 -x2626 -x2716 -x2806 -x2896 -x2986 -x3076 -x3166 -x3256 -x3346 -x3436 -x3526 -x3616 -x3706 -x3796 -x3886 -x3976 -x4066 -x4156 -x4246 -x4336 -x4426 -x4516 -x4606 -x4696 -x4786 -x4876 -x4966 -x5056 -x5146 -x5236 -x5326 -x5416 -x5506 -x5596 -x5686 -x5776 -x5866 -x197 x287 -x377 -x467 -x557 -x647 -x737 -x827 -x917 -x1007 -x1097 -x1187 -x1277 -x1367 -x1457 -x1547 -x1637 -x1727 -x1817 -x1907 -x1997 -x2087 -x2177 -x2267 -x2357 -x2447 -x2537 -x2627 -x2717 -x2807 -x2897 -x2987 -x3077 -x3167 -x3257 -x3347 -x3437 -x3527 -x3617 -x3707 -x3797 -x3887 -x3977 -x4067 -x4157 -x4247 -x4337 -x4427 -x4517 -x4607 -x4697 -x4787 -x4877 -x4967 -x5057 -x5147 -x5237 -x5327 -x5417 -x5507 -x5597 -x5687 -x5777 x5867 -x198 x288 -x378 -x468 -x558 -x648 -x738 -x828 -x918 -x1008 -x1098 -x1188 -x1278 -x1368 -x1458 -x1548 -x1638 -x1728 -x1818 -x1908 -x1998 -x2088 -x2178 -x2268 -x2358 -x2448 -x2538 -x2628 -x2718 -x2808 -x2898 -x2988 -x3078 -x3168 -x3258 -x3348 -x3438 -x3528 -x3618 -x3708 -x3798 -x3888 -x3978 -x4068 -x4158 -x4248 -x4338 -x4428 -x4518 -x4608 -x4698 -x4788 -x4878 -x4968 x5058 -x5148 -x5238 -x5328 -x5418 -x5508 -x5598 -x5688 -x5778 -x5868 -x199 -x289 -x379 -x469 -x559 -x649 -x739 -x829 -x919 -x1009 -x1099 -x1189 -x1279 -x1369 -x1459 -x1549 -x1639 -x1729 -x1819 -x1909 -x1999 -x2089 -x2179 -x2269 -x2359 -x2449 x2539 -x2629 -x2719 -x2809 -x2899 -x2989 -x3079 -x3169 -x3259 -x3349 -x3439 -x3529 -x3619 -x3709 -x3799 -x3889 -x3979 -x4069 -x4159 -x4249 -x4339 -x4429 -x4519 -x4609 -x4699 -x4789 -x4879 -x4969 -x5059 -x5149 -x5239 -x5329 -x5419 -x5509 -x5599 -x5689 -x5779 -x5869 -x200 -x290 -x380 -x470 -x560 -x650 -x740 -x830 -x920 -x1010 -x1100 -x1190 -x1280 -x1370 -x1460 -x1550 -x1640 -x1730 -x1820 -x1910 -x2000 -x2090 -x2180 -x2270 -x2360 -x2450 -x2540 -x2630 -x2720 -x2810 -x2900 -x2990 -x3080 -x3170 -x3260 x3350 -x3440 -x3530 -x3620 -x3710 -x3800 -x3890 -x3980 -x4070 -x4160 -x4250 -x4340 -x4430 -x4520 -x4610 -x4700 -x4790 -x4880 -x4970 -x5060 -x5150 -x5240 -x5330 -x5420 -x5510 -x5600 -x5690 -x5780 -x5870 -x201 -x291 -x381 -x471 -x561 -x651 -x741 -x831 -x921 -x1011 -x1101 -x1191 -x1281 -x1371 -x1461 -x1551 -x1641 -x1731 -x1821 -x1911 -x2001 -x2091 -x2181 -x2271 -x2361 -x2451 -x2541 -x2631 -x2721 -x2811 -x2901 -x2991 -x3081 -x3171 -x3261 -x3351 -x3441 -x3531 -x3621 -x3711 -x3801 -x3891 -x3981 -x4071 -x4161 -x4251 -x4341 -x4431 -x4521 -x4611 -x4701 -x4791 -x4881 x4971 -x5061 -x5151 -x5241 -x5331 -x5421 -x5511 -x5601 -x5691 -x5781 -x5871 -x202 -x292 -x382 -x472 -x562 -x652 -x742 -x832 -x922 -x1012 -x1102 -x1192 -x1282 -x1372 -x1462 -x1552 -x1642 -x1732 -x1822 -x1912 -x2002 -x2092 -x2182 -x2272 -x2362 -x2452 -x2542 -x2632 -x2722 -x2812 -x2902 -x2992 -x3082 -x3172 -x3262 -x3352 -x3442 -x3532 -x3622 -x3712 -x3802 -x3892 -x3982 x4072 -x4162 -x4252 -x4342 -x4432 -x4522 -x4612 -x4702 -x4792 -x4882 -x4972 -x5062 -x5152 -x5242 -x5332 -x5422 -x5512 -x5602 -x5692 -x5782 -x5872 -x203 -x293 -x383 -x473 -x563 -x653 -x743 -x833 -x923 -x1013 -x1103 -x1193 -x1283 -x1373 x1463 -x1553 -x1643 -x1733 -x1823 -x1913 -x2003 -x2093 -x2183 -x2273 -x2363 -x2453 -x2543 -x2633 -x2723 -x2813 -x2903 -x2993 -x3083 -x3173 -x3263 -x3353 -x3443 -x3533 -x3623 -x3713 -x3803 -x3893 -x3983 -x4073 -x4163 -x4253 -x4343 -x4433 -x4523 -x4613 -x4703 -x4793 -x4883 -x4973 -x5063 -x5153 -x5243 -x5333 -x5423 -x5513 -x5603 -x5693 -x5783 -x5873 x204 -x294 -x384 -x474 -x564 -x654 -x744 -x834 -x924 -x1014 -x1104 -x1194 -x1284 -x1374 -x1464 -x1554 -x1644 -x1734 -x1824 -x1914 -x2004 -x2094 -x2184 -x2274 -x2364 -x2454 -x2544 -x2634 -x2724 -x2814 -x2904 -x2994 -x3084 -x3174 -x3264 -x3354 -x3444 -x3534 -x3624 -x3714 -x3804 -x3894 -x3984 x4074 -x4164 -x4254 -x4344 -x4434 -x4524 -x4614 -x4704 -x4794 -x4884 -x4974 -x5064 -x5154 -x5244 -x5334 -x5424 -x5514 -x5604 -x5694 -x5784 -x5874 -x205 -x295 -x385 -x475 -x565 -x655 -x745 -x835 -x925 -x1015 -x1105 -x1195 x1285 -x1375 -x1465 -x1555 -x1645 -x1735 -x1825 -x1915 -x2005 -x2095 -x2185 -x2275 -x2365 -x2455 -x2545 -x2635 -x2725 -x2815 -x2905 -x2995 -x3085 -x3175 -x3265 -x3355 -x3445 -x3535 -x3625 -x3715 -x3805 -x3895 -x3985 -x4075 -x4165 -x4255 -x4345 -x4435 -x4525 -x4615 -x4705 -x4795 -x4885 -x4975 -x5065 -x5155 -x5245 -x5335 -x5425 -x5515 -x5605 -x5695 -x5785 -x5875 -x206 -x296 -x386 -x476 -x566 -x656 -x746 -x836 -x926 -x1016 -x1106 -x1196 -x1286 -x1376 -x1466 -x1556 -x1646 -x1736 -x1826 -x1916 -x2006 -x2096 -x2186 -x2276 -x2366 -x2456 -x2546 -x2636 -x2726 -x2816 -x2906 -x2996 -x3086 -x3176 -x3266 -x3356 -x3446 -x3536 -x3626 -x3716 -x3806 -x3896 -x3986 -x4076 -x4166 -x4256 -x4346 -x4436 -x4526 -x4616 -x4706 -x4796 -x4886 -x4976 x5066 -x5156 -x5246 -x5336 -x5426 -x5516 -x5606 -x5696 -x5786 -x5876 -x207 x297 -x387 -x477 -x567 -x657 -x747 -x837 -x927 -x1017 -x1107 -x1197 -x1287 -x1377 -x1467 -x1557 -x1647 -x1737 -x1827 -x1917 -x2007 -x2097 -x2187 -x2277 -x2367 -x2457 -x2547 -x2637 -x2727 -x2817 -x2907 -x2997 -x3087 -x3177 -x3267 -x3357 -x3447 -x3537 -x3627 -x3717 -x3807 -x3897 -x3987 -x4077 -x4167 -x4257 -x4347 -x4437 -x4527 -x4617 -x4707 -x4797 -x4887 -x4977 -x5067 -x5157 -x5247 -x5337 -x5427 -x5517 -x5607 -x5697 -x5787 x5877 -x208 -x298 -x388 -x478 -x568 -x658 -x748 -x838 -x928 -x1018 -x1108 -x1198 -x1288 -x1378 -x1468 -x1558 -x1648 x1738 -x1828 -x1918 -x2008 -x2098 -x2188 -x2278 -x2368 -x2458 -x2548 -x2638 -x2728 -x2818 -x2908 -x2998 -x3088 -x3178 -x3268 -x3358 -x3448 -x3538 -x3628 -x3718 -x3808 -x3898 -x3988 -x4078 -x4168 -x4258 -x4348 -x4438 -x4528 -x4618 -x4708 -x4798 -x4888 -x4978 -x5068 -x5158 -x5248 -x5338 -x5428 -x5518 -x5608 -x5698 -x5788 -x5878 -x209 -x299 -x389 -x479 -x569 -x659 -x749 -x839 -x929 -x1019 -x1109 -x1199 -x1289 -x1379 -x1469 -x1559 -x1649 -x1739 -x1829 -x1919 -x2009 -x2099 -x2189 -x2279 -x2369 -x2459 x2549 -x2639 -x2729 -x2819 -x2909 -x2999 -x3089 -x3179 -x3269 -x3359 -x3449 -x3539 -x3629 -x3719 -x3809 -x3899 -x3989 -x4079 -x4169 -x4259 -x4349 -x4439 -x4529 -x4619 -x4709 -x4799 -x4889 -x4979 x5069 -x5159 -x5249 -x5339 -x5429 -x5519 -x5609 -x5699 -x5789 -x5879 -x210 -x300 -x390 -x480 -x570 -x660 -x750 -x840 -x930 -x1020 -x1110 -x1200 -x1290 -x1380 -x1470 x1560 -x1650 -x1740 -x1830 -x1920 -x2010 -x2100 -x2190 -x2280 -x2370 -x2460 -x2550 -x2640 -x2730 -x2820 -x2910 -x3000 -x3090 -x3180 -x3270 -x3360 -x3450 -x3540 -x3630 -x3720 -x3810 -x3900 -x3990 -x4080 -x4170 -x4260 -x4350 -x4440 -x4530 -x4620 -x4710 -x4800 -x4890 -x4980 x5070 -x5160 -x5250 -x5340 -x5430 -x5520 -x5610 -x5700 -x5790 -x5880 -x211 -x301 -x391 -x481 -x571 -x661 -x751 -x841 -x931 -x1021 -x1111 -x1201 -x1291 -x1381 -x1471 -x1561 -x1651 -x1741 -x1831 -x1921 -x2011 -x2101 -x2191 -x2281 -x2371 -x2461 -x2551 -x2641 -x2731 -x2821 -x2911 -x3001 -x3091 -x3181 -x3271 -x3361 -x3451 -x3541 -x3631 -x3721 -x3811 -x3901 -x3991 x4081 -x4171 -x4261 -x4351 -x4441 -x4531 -x4621 -x4711 -x4801 -x4891 -x4981 -x5071 -x5161 -x5251 -x5341 -x5431 -x5521 -x5611 -x5701 -x5791 -x5881 -x212 -x302 -x392 -x482 -x572 -x662 -x752 -x842 -x932 -x1022 -x1112 -x1202 -x1292 -x1382 -x1472 -x1562 -x1652 -x1742 -x1832 -x1922 -x2012 -x2102 -x2192 -x2282 -x2372 -x2462 -x2552 -x2642 -x2732 -x2822 -x2912 -x3002 -x3092 -x3182 -x3272 -x3362 -x3452 -x3542 -x3632 -x3722 -x3812 -x3902 -x3992 x4082 -x4172 -x4262 -x4352 -x4442 -x4532 -x4622 -x4712 -x4802
4.39/4.47	v -x4892 -x4982 -x5072 -x5162 -x5252 -x5342 -x5432 -x5522 -x5612 -x5702 -x5792 -x5882 -x213 -x303 -x393 -x483 -x573 -x663 -x753 -x843 -x933 -x1023 -x1113 -x1203 -x1293 -x1383 -x1473 -x1563 -x1653 -x1743 -x1833 -x1923 -x2013 -x2103 -x2193 -x2283 -x2373 -x2463 -x2553 -x2643 -x2733 -x2823 -x2913 -x3003 -x3093 -x3183 -x3273 x3363 -x3453 -x3543 -x3633 -x3723 -x3813 -x3903 -x3993 -x4083 -x4173 -x4263 -x4353 -x4443 -x4533 -x4623 -x4713 -x4803 -x4893 -x4983 -x5073 -x5163 -x5253 -x5343 -x5433 -x5523 -x5613 -x5703 -x5793 -x5883 -x214 -x304 -x394 -x484 -x574 -x664 -x754 -x844 -x934 -x1024 -x1114 -x1204 -x1294 -x1384 -x1474 -x1564 -x1654 -x1744 -x1834 -x1924 -x2014 -x2104 x2194 -x2284 -x2374 -x2464 -x2554 -x2644 -x2734 -x2824 -x2914 -x3004 -x3094 -x3184 -x3274 -x3364 -x3454 -x3544 -x3634 -x3724 -x3814 -x3904 -x3994 -x4084 -x4174 -x4264 -x4354 -x4444 -x4534 -x4624 -x4714 -x4804 -x4894 -x4984 -x5074 -x5164 -x5254 -x5344 -x5434 -x5524 -x5614 -x5704 -x5794 -x5884 -x215 -x305 -x395 -x485 -x575 -x665 -x755 -x845 -x935 -x1025 x1115 -x1205 -x1295 -x1385 -x1475 -x1565 -x1655 -x1745 -x1835 -x1925 -x2015 -x2105 -x2195 -x2285 -x2375 -x2465 -x2555 -x2645 -x2735 -x2825 -x2915 -x3005 -x3095 -x3185 -x3275 -x3365 -x3455 -x3545 -x3635 -x3725 -x3815 -x3905 -x3995 -x4085 -x4175 -x4265 -x4355 -x4445 -x4535 -x4625 -x4715 -x4805 -x4895 -x4985 -x5075 -x5165 -x5255 -x5345 -x5435 -x5525 -x5615 -x5705 -x5795 -x5885 -x216 x306 -x396 -x486 -x576 -x666 -x756 -x846 -x936 -x1026 -x1116 -x1206 -x1296 -x1386 -x1476 -x1566 -x1656 -x1746 -x1836 -x1926 -x2016 -x2106 -x2196 -x2286 -x2376 -x2466 -x2556 -x2646 -x2736 -x2826 -x2916 -x3006 -x3096 -x3186 -x3276 -x3366 -x3456 -x3546 -x3636 -x3726 -x3816 -x3906 -x3996 -x4086 -x4176 -x4266 -x4356 -x4446 -x4536 -x4626 -x4716 -x4806 -x4896 -x4986 x5076 -x5166 -x5256 -x5346 -x5436 -x5526 -x5616 -x5706 -x5796 -x5886 -x217 -x307 -x397 -x487 -x577 -x667 -x757 -x847 -x937 -x1027 -x1117 -x1207 -x1297 -x1387 -x1477 -x1567 -x1657 -x1747 -x1837 -x1927 -x2017 -x2107 -x2197 -x2287 -x2377 -x2467 -x2557 -x2647 -x2737 -x2827 -x2917 -x3007 -x3097 -x3187 -x3277 x3367 -x3457 -x3547 -x3637 -x3727 -x3817 -x3907 -x3997 -x4087 -x4177 -x4267 -x4357 -x4447 -x4537 -x4627 -x4717 -x4807 -x4897 -x4987 -x5077 -x5167 -x5257 -x5347 -x5437 -x5527 -x5617 -x5707 -x5797 -x5887 -x218 -x308 -x398 -x488 -x578 -x668 -x758 -x848 -x938 -x1028 -x1118 -x1208 -x1298 -x1388 -x1478 -x1568 -x1658 x1748 -x1838 -x1928 -x2018 -x2108 -x2198 -x2288 -x2378 -x2468 -x2558 -x2648 -x2738 -x2828 -x2918 -x3008 -x3098 -x3188 -x3278 -x3368 -x3458 -x3548 -x3638 -x3728 -x3818 -x3908 -x3998 -x4088 -x4178 -x4268 -x4358 -x4448 -x4538 -x4628 -x4718 -x4808 -x4898 -x4988 -x5078 -x5168 -x5258 -x5348 -x5438 -x5528 -x5618 -x5708 -x5798 -x5888 -x219 -x309 -x399 -x489 -x579 -x669 -x759 -x849 -x939 -x1029 -x1119 -x1209 -x1299 -x1389 -x1479 -x1569 x1659 -x1749 -x1839 -x1929 -x2019 -x2109 -x2199 -x2289 -x2379 -x2469 -x2559 -x2649 -x2739 -x2829 -x2919 -x3009 -x3099 -x3189 -x3279 -x3369 -x3459 -x3549 -x3639 -x3729 -x3819 -x3909 -x3999 -x4089 -x4179 -x4269 -x4359 -x4449 -x4539 -x4629 -x4719 -x4809 -x4899 -x4989 -x5079 -x5169 -x5259 -x5349 -x5439 -x5529 -x5619 -x5709 -x5799 -x5889 -x220 -x310 -x400 -x490 -x580 -x670 -x760 -x850 -x940 -x1030 -x1120 -x1210 -x1300 -x1390 -x1480 -x1570 -x1660 -x1750 -x1840 -x1930 -x2020 -x2110 -x2200 -x2290 -x2380 -x2470 -x2560 -x2650 -x2740 -x2830 -x2920 -x3010 -x3100 -x3190 -x3280 -x3370 -x3460 -x3550 -x3640 -x3730 -x3820 -x3910 -x4000 -x4090 -x4180 -x4270 -x4360 -x4450 -x4540 -x4630 -x4720 -x4810 -x4900 x4990 -x5080 -x5170 -x5260 -x5350 -x5440 -x5530 -x5620 -x5710 -x5800 -x5890 -x221 -x311 -x401 -x491 -x581 -x671 -x761 -x851 -x941 -x1031 -x1121 -x1211 -x1301 -x1391 -x1481 -x1571 -x1661 -x1751 -x1841 -x1931 -x2021 -x2111 -x2201 -x2291 -x2381 -x2471 -x2561 -x2651 -x2741 -x2831 -x2921 -x3011 -x3101 -x3191 -x3281 x3371 -x3461 -x3551 -x3641 -x3731 -x3821 -x3911 -x4001 -x4091 -x4181 -x4271 -x4361 -x4451 -x4541 -x4631 -x4721 -x4811 -x4901 -x4991 -x5081 -x5171 -x5261 -x5351 -x5441 -x5531 -x5621 -x5711 -x5801 -x5891 -x222 -x312 -x402 -x492 -x582 -x672 -x762 -x852 -x942 -x1032 -x1122 -x1212 -x1302 -x1392 x1482 -x1572 -x1662 -x1752 -x1842 -x1932 -x2022 -x2112 -x2202 -x2292 -x2382 -x2472 -x2562 -x2652 -x2742 -x2832 -x2922 -x3012 -x3102 -x3192 -x3282 -x3372 -x3462 -x3552 -x3642 -x3732 -x3822 -x3912 -x4002 -x4092 -x4182 -x4272 -x4362 -x4452 -x4542 -x4632 -x4722 -x4812 -x4902 -x4992 -x5082 -x5172 -x5262 -x5352 -x5442 -x5532 -x5622 -x5712 -x5802 -x5892 -x223 -x313 -x403 -x493 -x583 -x673 -x763 -x853 -x943 -x1033 -x1123 -x1213 -x1303 -x1393 -x1483 -x1573 -x1663 -x1753 -x1843 -x1933 -x2023 -x2113 x2203 -x2293 -x2383 -x2473 -x2563 -x2653 -x2743 -x2833 -x2923 -x3013 -x3103 -x3193 -x3283 -x3373 -x3463 -x3553 -x3643 -x3733 -x3823 -x3913 -x4003 -x4093 -x4183 -x4273 -x4363 -x4453 -x4543 -x4633 -x4723 -x4813 -x4903 -x4993 -x5083 -x5173 -x5263 -x5353 -x5443 -x5533 -x5623 -x5713 -x5803 -x5893 -x224 -x314 -x404 -x494 -x584 -x674 -x764 -x854 -x944 -x1034 -x1124 -x1214 x1304 -x1394 -x1484 -x1574 -x1664 -x1754 -x1844 -x1934 -x2024 -x2114 -x2204 -x2294 -x2384 -x2474 -x2564 -x2654 -x2744 -x2834 -x2924 -x3014 -x3104 -x3194 -x3284 -x3374 -x3464 -x3554 -x3644 -x3734 -x3824 -x3914 -x4004 -x4094 -x4184 -x4274 -x4364 -x4454 -x4544 -x4634 -x4724 -x4814 -x4904 -x4994 -x5084 -x5174 -x5264 -x5354 -x5444 -x5534 -x5624 -x5714 -x5804 -x5894 x225 -x315 -x405 -x495 -x585 -x675 -x765 -x855 -x945 -x1035 -x1125 -x1215 -x1305 -x1395 -x1485 -x1575 -x1665 -x1755 -x1845 -x1935 -x2025 -x2115 -x2205 -x2295 -x2385 -x2475 -x2565 -x2655 -x2745 -x2835 -x2925 -x3015 -x3105 -x3195 -x3285 x3375 -x3465 -x3555 -x3645 -x3735 -x3825 -x3915 -x4005 -x4095 -x4185 -x4275 -x4365 -x4455 -x4545 -x4635 -x4725 -x4815 -x4905 -x4995 -x5085 -x5175 -x5265 -x5355 -x5445 -x5535 -x5625 -x5715 -x5805 -x5895 -x226 -x316 -x406 -x496 -x586 -x676 -x766 -x856 -x946 -x1036 -x1126 -x1216 -x1306 -x1396 -x1486 -x1576 -x1666 -x1756 -x1846 -x1936 -x2026 -x2116 -x2206 -x2296 -x2386 -x2476 x2566 -x2656 -x2746 -x2836 -x2926 -x3016 -x3106 -x3196 -x3286 -x3376 -x3466 -x3556 -x3646 -x3736 -x3826 -x3916 -x4006 -x4096 -x4186 -x4276 -x4366 -x4456 -x4546 -x4636 -x4726 -x4816 -x4906 -x4996 -x5086 -x5176 -x5266 -x5356 -x5446 -x5536 -x5626 -x5716 -x5806 -x5896 -x227 -x317 -x407 -x497 -x587 -x677 -x767 -x857 -x947 -x1037 -x1127 -x1217 -x1307 -x1397 -x1487 -x1577 -x1667 -x1757 -x1847 -x1937 -x2027 -x2117 -x2207 -x2297 -x2387 -x2477 -x2567 -x2657 -x2747 -x2837 -x2927 -x3017 -x3107 -x3197 -x3287 x3377 -x3467 -x3557 -x3647 -x3737 -x3827 -x3917 -x4007 -x4097 -x4187 -x4277 -x4367 -x4457 -x4547 -x4637 -x4727 -x4817 -x4907 -x4997 -x5087 -x5177 -x5267 -x5357 -x5447 -x5537 -x5627 -x5717 -x5807 -x5897 -x228 -x318 -x408 -x498 -x588 -x678 -x768 -x858 -x948 -x1038 -x1128 -x1218 -x1308 -x1398 -x1488 -x1578 -x1668 -x1758 -x1848 -x1938 -x2028 -x2118 -x2208 -x2298 -x2388 -x2478 -x2568 -x2658 -x2748 -x2838 -x2928 -x3018 -x3108 -x3198 -x3288 x3378 -x3468 -x3558 -x3648 -x3738 -x3828 -x3918 -x4008 -x4098 -x4188 -x4278 -x4368 -x4458 -x4548 -x4638 -x4728 -x4818 -x4908 -x4998 -x5088 -x5178 -x5268 -x5358 -x5448 -x5538 -x5628 -x5718 -x5808 -x5898 -x229 -x319 -x409 -x499 -x589 -x679 -x769 -x859 -x949 -x1039 -x1129 -x1219 -x1309 -x1399 -x1489 -x1579 -x1669 -x1759 -x1849 -x1939 -x2029 -x2119 -x2209 -x2299 -x2389 -x2479 -x2569 -x2659 -x2749 -x2839 -x2929 -x3019 -x3109 -x3199 -x3289 x3379 -x3469 -x3559 -x3649 -x3739 -x3829 -x3919 -x4009 -x4099 -x4189 -x4279 -x4369 -x4459 -x4549 -x4639 -x4729 -x4819 -x4909 -x4999 -x5089 -x5179 -x5269 -x5359 -x5449 -x5539 -x5629 -x5719 -x5809 -x5899 -x230 -x320 -x410 -x500 -x590 -x680 -x770 -x860 -x950 -x1040 -x1130 -x1220 -x1310 -x1400 -x1490 -x1580 -x1670 -x1760 -x1850 -x1940 -x2030 -x2120 -x2210 -x2300 -x2390 -x2480 -x2570 -x2660 -x2750 -x2840 -x2930 -x3020 -x3110 -x3200 -x3290 -x3380 -x3470 -x3560 -x3650 -x3740 -x3830 -x3920 -x4010 x4100 -x4190 -x4280 -x4370 -x4460 -x4550 -x4640 -x4730 -x4820 -x4910 -x5000 -x5090 -x5180 -x5270 -x5360 -x5450 -x5540 -x5630 -x5720 -x5810 -x5900 -x231 -x321 -x411 -x501 -x591 -x681 -x771 -x861 -x951 -x1041 -x1131 -x1221 -x1311 -x1401 -x1491 -x1581 -x1671 x1761 -x1851 -x1941 -x2031 -x2121 -x2211 -x2301 -x2391 -x2481 -x2571 -x2661 -x2751 -x2841 -x2931 -x3021 -x3111 -x3201 -x3291 -x3381 -x3471 -x3561 -x3651 -x3741 -x3831 -x3921 -x4011 -x4101 -x4191 -x4281 -x4371 -x4461 -x4551 -x4641 -x4731 -x4821 -x4911 -x5001 x5091 -x5181 -x5271 -x5361 -x5451 -x5541 -x5631 -x5721 -x5811 -x5901 -x232 -x322 -x412 -x502 -x592 -x682 -x772 -x862 -x952 -x1042 -x1132 -x1222 -x1312 -x1402 -x1492 -x1582 -x1672 -x1762 -x1852 -x1942 -x2032 -x2122 x2212 -x2302 -x2392 -x2482 -x2572 -x2662 -x2752 -x2842 -x2932 -x3022 -x3112 -x3202 -x3292 -x3382 -x3472 -x3562 -x3652 -x3742 -x3832 -x3922 -x4012 -x4102 -x4192 -x4282 -x4372 -x4462 -x4552 -x4642 -x4732 -x4822 -x4912 -x5002 -x5092 -x5182 -x5272 -x5362 -x5452 -x5542 -x5632 -x5722 -x5812 x5902 -x233 -x323 -x413 -x503 -x593 -x683 -x773 -x863 -x953 -x1043 -x1133 -x1223 -x1313 -x1403 -x1493 -x1583 -x1673 -x1763 -x1853 -x1943 -x2033 -x2123 x2213 -x2303 -x2393 -x2483 -x2573 -x2663 -x2753 -x2843 -x2933 -x3023 -x3113 -x3203 -x3293 -x3383 -x3473 -x3563 -x3653 -x3743 -x3833 -x3923 -x4013 -x4103 -x4193 -x4283 -x4373 -x4463 -x4553 -x4643 -x4733 -x4823 -x4913 -x5003 x5093 -x5183 -x5273 -x5363 -x5453 -x5543 -x5633 -x5723 -x5813 -x5903 -x234 -x324 -x414 -x504 -x594 -x684 -x774 -x864 -x954 -x1044 -x1134 -x1224 -x1314 -x1404 -x1494 -x1584 -x1674 -x1764 -x1854 -x1944 -x2034 -x2124 -x2214 -x2304 -x2394 -x2484 x2574 -x2664 -x2754 -x2844 -x2934 -x3024 -x3114 -x3204 -x3294 -x3384 -x3474 -x3564 -x3654 -x3744 -x3834 -x3924 -x4014 -x4104 -x4194 -x4284 -x4374 -x4464 -x4554 -x4644 -x4734 -x4824 -x4914 -x5004 -x5094 -x5184 -x5274 -x5364 -x5454 -x5544 -x5634 -x5724 -x5814 -x5904 x235 -x325 -x415 -x505 -x595 -x685 -x775 -x865 -x955 -x1045 -x1135 -x1225 -x1315 -x1405 -x1495 -x1585 -x1675 -x1765 -x1855 -x1945 -x2035 -x2125 -x2215 -x2305 -x2395 -x2485 -x2575 -x2665 -x2755 -x2845 -x2935 -x3025 -x3115 -x3205 -x3295 x3385 -x3475 -x3565 -x3655 -x3745 -x3835 -x3925 -x4015 -x4105 -x4195 -x4285 -x4375 -x4465 -x4555 -x4645 -x4735 -x4825 -x4915 -x5005 -x5095 -x5185 -x5275 -x5365 -x5455 -x5545 -x5635 -x5725 -x5815 -x5905 -x236 -x326 -x416 -x506 -x596 -x686 -x776 -x866 -x956 -x1046 -x1136 -x1226 -x1316 -x1406 -x1496 -x1586 -x1676 -x1766 -x1856 -x1946 -x2036 -x2126 -x2216 -x2306 -x2396 -x2486 x2576 -x2666 -x2756 -x2846 -x2936 -x3026 -x3116 -x3206 -x3296 -x3386 -x3476 -x3566 -x3656 -x3746 -x3836 -x3926 -x4016 -x4106 -x4196 -x4286 -x4376 -x4466 -x4556 -x4646 -x4736 -x4826 -x4916 x5006 -x5096 -x5186 -x5276 -x5366 -x5456 -x5546 -x5636 -x5726 -x5816 -x5906 -x237 -x327 -x417 -x507 -x597 -x687 -x777 -x867 -x957 -x1047 -x1137 -x1227 -x1317 -x1407 -x1497 -x1587 -x1677 -x1767 -x1857 -x1947 -x2037 -x2127 -x2217 -x2307 -x2397 -x2487 x2577 -x2667 -x2757 -x2847 -x2937 -x3027 -x3117 -x3207 -x3297 -x3387 -x3477 -x3567 -x3657 -x3747 -x3837 -x3927 -x4017 -x4107 -x4197 -x4287 -x4377 -x4467 -x4557 -x4647 -x4737 -x4827 -x4917 x5007 -x5097 -x5187 -x5277 -x5367 -x5457 -x5547 -x5637 -x5727 -x5817 -x5907 -x238 -x328 -x418 -x508 -x598 -x688 -x778 -x868 -x958 -x1048 -x1138 -x1228 -x1318 -x1408 -x1498 -x1588 -x1678 -x1768 -x1858 -x1948 -x2038 -x2128 -x2218 -x2308 -x2398 -x2488 x2578 -x2668 -x2758 -x2848 -x2938 -x3028 -x3118 -x3208 -x3298 -x3388 -x3478 -x3568 -x3658 -x3748 -x3838 -x3928 -x4018 -x4108 -x4198 -x4288 -x4378 -x4468 -x4558 -x4648 -x4738 -x4828 -x4918 -x5008 -x5098 -x5188 -x5278 -x5368 -x5458 -x5548 -x5638 -x5728 -x5818 -x5908 -x239 -x329 -x419 -x509 -x599 -x689 -x779 -x869 -x959 -x1049 -x1139 -x1229 -x1319 -x1409 -x1499 -x1589 -x1679 -x1769 -x1859 -x1949 -x2039 -x2129 -x2219 -x2309 -x2399 -x2489 -x2579 -x2669 -x2759 -x2849 -x2939 -x3029 -x3119 -x3209 -x3299 x3389 -x3479 -x3569 -x3659 -x3749 -x3839 -x3929 -x4019 -x4109 -x4199 -x4289 -x4379 -x4469 -x4559 -x4649 -x4739 -x4829 -x4919 -x5009 -x5099 -x5189 -x5279 -x5369 -x5459 -x5549 -x5639 -x5729 -x5819 -x5909 -x240 -x330 -x420 -x510 -x600 -x690 -x780 -x870 -x960 -x1050 -x1140 -x1230 -x1320 -x1410 x1500 -x1590 -x1680 -x1770 -x1860 -x1950 -x2040 -x2130 -x2220 -x2310 -x2400 -x2490 -x2580 -x2670 -x2760 -x2850 -x2940 -x3030 -x3120 -x3210 -x3300 -x3390 -x3480 -x3570 -x3660 -x3750 -x3840 -x3930 -x4020 x4110 -x4200 -x4290 -x4380 -x4470 -x4560 -x4650 -x4740 -x4830 -x4920 -x5010 -x5100 -x5190 -x5280 -x5370 -x5460 -x5550 -x5640 -x5730 -x5820 -x5910 -x241 -x331 -x421 -x511 -x601 -x691 -x781 -x871 -x961 -x1051 -x1141 -x1231 -x1321 -x1411 x1501 -x1591 -x1681 -x1771 -x1861 -x1951 -x2041 -x2131 -x2221 -x2311 -x2401 -x2491 -x2581 -x2671 -x2761 -x2851 -x2941 -x3031 -x3121 -x3211 -x3301 -x3391 -x3481 -x3571 -x3661 -x3751 -x3841 -x3931 -x4021 -x4111 -x4201 -x4291 -x4381 -x4471 -x4561 -x4651 -x4741 -x4831 -x4921 -x5011 x5101 -x5191 -x5281 -x5371 -x5461 -x5551 -x5641 -x5731 -x5821 -x5911 -x242 -x332 -x422 -x512 -x602 -x692 -x782 -x872 -x962 -x1052 -x1142 -x1232 x1322 -x1412 -x1502 -x1592 -x1682 -x1772 -x1862 -x1952 -x2042 -x2132 -x2222 -x2312 -x2402 -x2492 -x2582 -x2672 -x2762 -x2852 -x2942 -x3032 -x3122 -x3212 -x3302 -x3392 -x3482 -x3572 -x3662 -x3752 -x3842 -x3932 -x4022 -x4112 -x4202 -x4292 -x4382 -x4472 -x4562 -x4652 -x4742 -x4832 -x4922 -x5012 -x5102 -x5192 -x5282 -x5372 -x5462 -x5552 -x5642 -x5732 -x5822 -x5912 -x243 -x333 -x423 -x513 -x603 -x693 -x783 -x873 -x963 -x1053 -x1143 -x1233 -x1323 -x1413 -x1503 -x1593 -x1683 x1773 -x1863 -x1953 -x2043 -x2133 -x2223 -x2313 -x2403 -x2493 -x2583 -x2673 -x2763 -x2853 -x2943 -x3033 -x3123 -x3213 -x3303 -x3393 -x3483 -x3573 -x3663 -x3753 -x3843 -x3933 -x4023 -x4113 -x4203 -x4293 -x4383 -x4473 -x4563 -x4653 -x4743 -x4833 -x4923 -x5013 -x5103 -x5193 -x5283 -x5373 -x5463 -x5553 -x5643 -x5733 -x5823 -x5913 -x244 -x334 -x424 -x514
4.39/4.47	v -x604 -x694 -x784 -x874 -x964 -x1054 -x1144 -x1234 -x1324 -x1414 -x1504 -x1594 x1684 -x1774 -x1864 -x1954 -x2044 -x2134 -x2224 -x2314 -x2404 -x2494 -x2584 -x2674 -x2764 -x2854 -x2944 -x3034 -x3124 -x3214 -x3304 -x3394 -x3484 -x3574 -x3664 -x3754 -x3844 -x3934 -x4024 -x4114 -x4204 -x4294 -x4384 -x4474 -x4564 -x4654 -x4744 -x4834 -x4924 -x5014 -x5104 -x5194 -x5284 -x5374 -x5464 -x5554 -x5644 -x5734 -x5824 -x5914 -x245 -x335 -x425 -x515 -x605 -x695 -x785 -x875 -x965 -x1055 -x1145 -x1235 -x1325 -x1415 -x1505 -x1595 -x1685 x1775 -x1865 -x1955 -x2045 -x2135 -x2225 -x2315 -x2405 -x2495 -x2585 -x2675 -x2765 -x2855 -x2945 -x3035 -x3125 -x3215 -x3305 -x3395 -x3485 -x3575 -x3665 -x3755 -x3845 -x3935 -x4025 x4115 -x4205 -x4295 -x4385 -x4475 -x4565 -x4655 -x4745 -x4835 -x4925 -x5015 -x5105 -x5195 -x5285 -x5375 -x5465 -x5555 -x5645 -x5735 -x5825 -x5915 -x246 x336 -x426 -x516 -x606 -x696 -x786 -x876 -x966 -x1056 -x1146 -x1236 -x1326 -x1416 -x1506 -x1596 -x1686 -x1776 -x1866 -x1956 -x2046 -x2136 -x2226 -x2316 -x2406 -x2496 -x2586 -x2676 -x2766 -x2856 -x2946 -x3036 -x3126 -x3216 -x3306 -x3396 -x3486 -x3576 -x3666 -x3756 -x3846 -x3936 -x4026 -x4116 -x4206 -x4296 -x4386 -x4476 -x4566 -x4656 -x4746 -x4836 -x4926 x5016 -x5106 -x5196 -x5286 -x5376 -x5466 -x5556 -x5646 -x5736 -x5826 -x5916 -x247 -x337 -x427 -x517 -x607 -x697 -x787 -x877 -x967 -x1057 -x1147 -x1237 -x1327 -x1417 -x1507 -x1597 x1687 -x1777 -x1867 -x1957 -x2047 -x2137 -x2227 -x2317 -x2407 -x2497 -x2587 -x2677 -x2767 -x2857 -x2947 -x3037 -x3127 -x3217 -x3307 -x3397 -x3487 -x3577 -x3667 -x3757 -x3847 -x3937 -x4027 x4117 -x4207 -x4297 -x4387 -x4477 -x4567 -x4657 -x4747 -x4837 -x4927 -x5017 -x5107 -x5197 -x5287 -x5377 -x5467 -x5557 -x5647 -x5737 -x5827 -x5917 -x248 -x338 -x428 -x518 -x608 -x698 -x788 -x878 -x968 -x1058 -x1148 -x1238 -x1328 -x1418 -x1508 -x1598 -x1688 -x1778 -x1868 -x1958 -x2048 -x2138 -x2228 -x2318 -x2408 -x2498 x2588 -x2678 -x2768 -x2858 -x2948 -x3038 -x3128 -x3218 -x3308 -x3398 -x3488 -x3578 -x3668 -x3758 -x3848 -x3938 -x4028 -x4118 -x4208 -x4298 -x4388 -x4478 -x4568 -x4658 -x4748 -x4838 -x4928 -x5018 -x5108 -x5198 -x5288 -x5378 -x5468 -x5558 -x5648 -x5738 -x5828 -x5918 -x249 -x339 -x429 -x519 -x609 -x699 -x789 -x879 -x969 -x1059 -x1149 -x1239 -x1329 -x1419 -x1509 x1599 -x1689 -x1779 -x1869 -x1959 -x2049 -x2139 -x2229 -x2319 -x2409 -x2499 -x2589 -x2679 -x2769 -x2859 -x2949 -x3039 -x3129 -x3219 -x3309 -x3399 -x3489 -x3579 -x3669 -x3759 -x3849 -x3939 -x4029 -x4119 -x4209 -x4299 -x4389 -x4479 -x4569 -x4659 -x4749 -x4839 -x4929 -x5019 -x5109 -x5199 -x5289 -x5379 -x5469 -x5559 -x5649 -x5739 -x5829 -x5919 -x250 -x340 -x430 -x520 -x610 -x700 -x790 -x880 -x970 -x1060 -x1150 -x1240 -x1330 -x1420 -x1510 -x1600 -x1690 -x1780 -x1870 -x1960 -x2050 -x2140 -x2230 -x2320 -x2410 -x2500 -x2590 -x2680 -x2770 -x2860 -x2950 -x3040 -x3130 -x3220 -x3310 x3400 -x3490 -x3580 -x3670 -x3760 -x3850 -x3940 -x4030 -x4120 -x4210 -x4300 -x4390 -x4480 -x4570 -x4660 -x4750 -x4840 -x4930 -x5020 -x5110 -x5200 -x5290 -x5380 -x5470 -x5560 -x5650 -x5740 -x5830 -x5920 -x251 -x341 -x431 -x521 -x611 -x701 -x791 -x881 -x971 -x1061 -x1151 -x1241 -x1331 -x1421 -x1511 -x1601 -x1691 -x1781 -x1871 -x1961 -x2051 -x2141 x2231 -x2321 -x2411 -x2501 -x2591 -x2681 -x2771 -x2861 -x2951 -x3041 -x3131 -x3221 -x3311 -x3401 -x3491 -x3581 -x3671 -x3761 -x3851 -x3941 -x4031 -x4121 -x4211 -x4301 -x4391 -x4481 -x4571 -x4661 -x4751 -x4841 -x4931 -x5021 -x5111 -x5201 -x5291 -x5381 -x5471 -x5561 -x5651 -x5741 -x5831 -x5921 x252 -x342 -x432 -x522 -x612 -x702 -x792 -x882 -x972 -x1062 -x1152 -x1242 -x1332 -x1422 -x1512 -x1602 -x1692 -x1782 -x1872 -x1962 -x2052 -x2142 -x2232 -x2322 -x2412 -x2502 -x2592 -x2682 -x2772 -x2862 -x2952 -x3042 -x3132 -x3222 -x3312 x3402 -x3492 -x3582 -x3672 -x3762 -x3852 -x3942 -x4032 -x4122 -x4212 -x4302 -x4392 -x4482 -x4572 -x4662 -x4752 -x4842 -x4932 -x5022 -x5112 -x5202 -x5292 -x5382 -x5472 -x5562 -x5652 -x5742 -x5832 -x5922 -x253 -x343 -x433 -x523 -x613 -x703 -x793 -x883 -x973 -x1063 -x1153 -x1243 -x1333 -x1423 -x1513 -x1603 -x1693 x1783 -x1873 -x1963 -x2053 -x2143 -x2233 -x2323 -x2413 -x2503 -x2593 -x2683 -x2773 -x2863 -x2953 -x3043 -x3133 -x3223 -x3313 -x3403 -x3493 -x3583 -x3673 -x3763 -x3853 -x3943 -x4033 -x4123 -x4213 -x4303 -x4393 -x4483 -x4573 -x4663 -x4753 -x4843 -x4933 -x5023 -x5113 -x5203 -x5293 -x5383 -x5473 -x5563 -x5653 -x5743 -x5833 -x5923 -x254 -x344 -x434 -x524 -x614 -x704 -x794 -x884 -x974 -x1064 -x1154 -x1244 -x1334 -x1424 -x1514 -x1604 x1694 -x1784 -x1874 -x1964 -x2054 -x2144 -x2234 -x2324 -x2414 -x2504 -x2594 -x2684 -x2774 -x2864 -x2954 -x3044 -x3134 -x3224 -x3314 -x3404 -x3494 -x3584 -x3674 -x3764 -x3854 -x3944 -x4034 -x4124 -x4214 -x4304 -x4394 -x4484 -x4574 -x4664 -x4754 -x4844 -x4934 -x5024 -x5114 -x5204 -x5294 -x5384 -x5474 -x5564 -x5654 -x5744 -x5834 -x5924 -x255 -x345 -x435 -x525 -x615 -x705 -x795 -x885 -x975 -x1065 -x1155 -x1245 -x1335 -x1425 -x1515 -x1605 -x1695 -x1785 -x1875 -x1965 -x2055 -x2145 -x2235 -x2325 -x2415 -x2505 -x2595 -x2685 -x2775 -x2865 -x2955 -x3045 -x3135 -x3225 -x3315 -x3405 -x3495 -x3585 -x3675 -x3765 -x3855 -x3945 -x4035 -x4125 -x4215 -x4305 -x4395 -x4485 -x4575 -x4665 -x4755 -x4845 -x4935 x5025 -x5115 -x5205 -x5295 -x5385 -x5475 -x5565 -x5655 -x5745 -x5835 -x5925 -x256 -x346 -x436 -x526 -x616 -x706 -x796 -x886 -x976 -x1066 -x1156 -x1246 -x1336 -x1426 -x1516 -x1606 -x1696 -x1786 -x1876 -x1966 -x2056 -x2146 -x2236 -x2326 -x2416 -x2506 -x2596 -x2686 -x2776 -x2866 -x2956 -x3046 -x3136 -x3226 -x3316 -x3406 -x3496 -x3586 -x3676 -x3766 -x3856 -x3946 -x4036 x4126 -x4216 -x4306 -x4396 -x4486 -x4576 -x4666 -x4756 -x4846 -x4936 -x5026 -x5116 -x5206 -x5296 -x5386 -x5476 -x5566 -x5656 -x5746 -x5836 -x5926 -x257 -x347 -x437 -x527 -x617 -x707 -x797 -x887 -x977 -x1067 -x1157 -x1247 -x1337 -x1427 -x1517 -x1607 -x1697 x1787 -x1877 -x1967 -x2057 -x2147 -x2237 -x2327 -x2417 -x2507 -x2597 -x2687 -x2777 -x2867 -x2957 -x3047 -x3137 -x3227 -x3317 -x3407 -x3497 -x3587 -x3677 -x3767 -x3857 -x3947 -x4037 -x4127 -x4217 -x4307 -x4397 -x4487 -x4577 -x4667 -x4757 -x4847 -x4937 -x5027 -x5117 -x5207 -x5297 -x5387 -x5477 -x5567 -x5657 -x5747 -x5837 -x5927 -x258 -x348 -x438 -x528 -x618 -x708 -x798 -x888 -x978 -x1068 -x1158 -x1248 -x1338 -x1428 -x1518 -x1608 x1698 -x1788 -x1878 -x1968 -x2058 -x2148 -x2238 -x2328 -x2418 -x2508 -x2598 -x2688 -x2778 -x2868 -x2958 -x3048 -x3138 -x3228 -x3318 -x3408 -x3498 -x3588 -x3678 -x3768 -x3858 -x3948 -x4038 -x4128 -x4218 -x4308 -x4398 -x4488 -x4578 -x4668 -x4758 -x4848 -x4938 -x5028 -x5118 -x5208 -x5298 -x5388 -x5478 -x5568 -x5658 -x5748 -x5838 -x5928 -x259 -x349 -x439 -x529 -x619 -x709 -x799 -x889 -x979 -x1069 -x1159 -x1249 -x1339 -x1429 -x1519 -x1609 -x1699 -x1789 -x1879 -x1969 -x2059 -x2149 -x2239 -x2329 -x2419 -x2509 x2599 -x2689 -x2779 -x2869 -x2959 -x3049 -x3139 -x3229 -x3319 -x3409 -x3499 -x3589 -x3679 -x3769 -x3859 -x3949 -x4039 -x4129 -x4219 -x4309 -x4399 -x4489 -x4579 -x4669 -x4759 -x4849 -x4939 -x5029 -x5119 -x5209 -x5299 -x5389 -x5479 -x5569 -x5659 -x5749 -x5839 -x5929 x260 -x350 -x440 -x530 -x620 -x710 -x800 -x890 -x980 -x1070 -x1160 -x1250 -x1340 -x1430 -x1520 -x1610 -x1700 -x1790 -x1880 -x1970 -x2060 -x2150 -x2240 -x2330 -x2420 -x2510 -x2600 -x2690 -x2780 -x2870 -x2960 -x3050 -x3140 -x3230 -x3320 x3410 -x3500 -x3590 -x3680 -x3770 -x3860 -x3950 -x4040 -x4130 -x4220 -x4310 -x4400 -x4490 -x4580 -x4670 -x4760 -x4850 -x4940 -x5030 -x5120 -x5210 -x5300 -x5390 -x5480 -x5570 -x5660 -x5750 -x5840 -x5930 -x261 -x351 -x441 -x531 -x621 -x711 -x801 -x891 -x981 -x1071 -x1161 -x1251 x1341 -x1431 -x1521 -x1611 -x1701 -x1791 -x1881 -x1971 -x2061 -x2151 -x2241 -x2331 -x2421 -x2511 -x2601 -x2691 -x2781 -x2871 -x2961 -x3051 -x3141 -x3231 -x3321 -x3411 -x3501 -x3591 -x3681 -x3771 -x3861 -x3951 -x4041 -x4131 -x4221 -x4311 -x4401 -x4491 -x4581 -x4671 -x4761 -x4851 -x4941 -x5031 -x5121 -x5211 -x5301 -x5391 -x5481 -x5571 -x5661 -x5751 -x5841 -x5931 x262 -x352 -x442 -x532 -x622 -x712 -x802 -x892 -x982 -x1072 -x1162 -x1252 -x1342 -x1432 -x1522 -x1612 -x1702 -x1792 -x1882 -x1972 -x2062 -x2152 -x2242 -x2332 -x2422 -x2512 -x2602 -x2692 -x2782 -x2872 -x2962 -x3052 -x3142 -x3232 -x3322 -x3412 -x3502 -x3592 -x3682 -x3772 -x3862 -x3952 -x4042 -x4132 -x4222 -x4312 -x4402 -x4492 -x4582 -x4672 -x4762 -x4852 -x4942 -x5032 x5122 -x5212 -x5302 -x5392 -x5482 -x5572 -x5662 -x5752 -x5842 -x5932 x263 -x353 -x443 -x533 -x623 -x713 -x803 -x893 -x983 -x1073 -x1163 -x1253 -x1343 -x1433 -x1523 -x1613 -x1703 -x1793 -x1883 -x1973 -x2063 -x2153 -x2243 -x2333 -x2423 -x2513 -x2603 -x2693 -x2783 -x2873 -x2963 -x3053 -x3143 -x3233 -x3323 -x3413 -x3503 -x3593 -x3683 -x3773 -x3863 -x3953 -x4043 -x4133 -x4223 -x4313 -x4403 -x4493 -x4583 -x4673 -x4763 -x4853 -x4943 -x5033 -x5123 -x5213 -x5303 -x5393 -x5483 -x5573 -x5663 -x5753 -x5843 x5933 -x264 -x354 -x444 -x534 -x624 -x714 -x804 -x894 -x984 -x1074 x1164 -x1254 -x1344 -x1434 -x1524 -x1614 -x1704 -x1794 -x1884 -x1974 -x2064 -x2154 -x2244 -x2334 -x2424 -x2514 -x2604 -x2694 -x2784 -x2874 -x2964 -x3054 -x3144 -x3234 -x3324 -x3414 -x3504 -x3594 -x3684 -x3774 -x3864 -x3954 -x4044 -x4134 -x4224 -x4314 -x4404 -x4494 -x4584 -x4674 -x4764 -x4854 -x4944 -x5034 -x5124 -x5214 -x5304 -x5394 -x5484 -x5574 -x5664 -x5754 -x5844 -x5934 -x265 -x355 -x445 -x535 -x625 -x715 -x805 -x895 -x985 -x1075 -x1165 -x1255 -x1345 -x1435 -x1525 -x1615 -x1705 -x1795 -x1885 -x1975 -x2065 -x2155 -x2245 -x2335 -x2425 -x2515 -x2605 -x2695 -x2785 -x2875 -x2965 -x3055 -x3145 -x3235 -x3325 -x3415 -x3505 -x3595 -x3685 -x3775 -x3865 -x3955 -x4045 x4135 -x4225 -x4315 -x4405 -x4495 -x4585 -x4675 -x4765 -x4855 -x4945 -x5035 -x5125 -x5215 -x5305 -x5395 -x5485 -x5575 -x5665 -x5755 -x5845 -x5935 -x266 -x356 -x446 -x536 -x626 -x716 -x806 -x896 -x986 -x1076 -x1166 -x1256 -x1346 -x1436 -x1526 -x1616 -x1706 -x1796 -x1886 -x1976 -x2066 -x2156 x2246 -x2336 -x2426 -x2516 -x2606 -x2696 -x2786 -x2876 -x2966 -x3056 -x3146 -x3236 -x3326 -x3416 -x3506 -x3596 -x3686 -x3776 -x3866 -x3956 -x4046 -x4136 -x4226 -x4316 -x4406 -x4496 -x4586 -x4676 -x4766 -x4856 -x4946 -x5036 -x5126 -x5216 -x5306 -x5396 -x5486 -x5576 -x5666 -x5756 -x5846 -x5936 -x267 -x357 -x447 -x537 -x627 -x717 -x807 -x897 -x987 -x1077 -x1167 -x1257 -x1347 -x1437 -x1527 -x1617 -x1707 -x1797 -x1887 -x1977 -x2067 -x2157 x2247 -x2337 -x2427 -x2517 -x2607 -x2697 -x2787 -x2877 -x2967 -x3057 -x3147 -x3237 -x3327 -x3417 -x3507 -x3597 -x3687 -x3777 -x3867 -x3957 -x4047 -x4137 -x4227 -x4317 -x4407 -x4497 -x4587 -x4677 -x4767 -x4857 -x4947 -x5037 -x5127 -x5217 -x5307 -x5397 -x5487 -x5577 -x5667 -x5757 -x5847 -x5937 -x268 -x358 -x448 -x538 -x628 -x718 -x808 -x898 -x988 -x1078 -x1168 -x1258 -x1348 -x1438 -x1528 -x1618 -x1708 -x1798 -x1888 -x1978 -x2068 -x2158 x2248 -x2338 -x2428 -x2518 -x2608 -x2698 -x2788 -x2878 -x2968 -x3058 -x3148 -x3238 -x3328 -x3418 -x3508 -x3598 -x3688 -x3778 -x3868 -x3958 -x4048 -x4138 -x4228 -x4318 -x4408 -x4498 -x4588 -x4678 -x4768 -x4858 -x4948 -x5038 -x5128 -x5218 -x5308 -x5398 -x5488 -x5578 -x5668 -x5758 -x5848 -x5938 -x269 -x359 -x449 -x539 -x629 -x719 -x809 -x899 -x989 -x1079 -x1169 -x1259 -x1349 -x1439 -x1529 -x1619 -x1709 -x1799 -x1889 -x1979 -x2069 -x2159 -x2249 -x2339 -x2429 -x2519 x2609 -x2699 -x2789 -x2879 -x2969 -x3059 -x3149 -x3239 -x3329 -x3419 -x3509 -x3599 -x3689 -x3779 -x3869 -x3959 -x4049 -x4139 -x4229 -x4319 -x4409 -x4499 -x4589 -x4679 -x4769 -x4859 -x4949 -x5039 -x5129 -x5219 -x5309 -x5399 -x5489 -x5579 -x5669 -x5759 -x5849 -x5939 -x270 -x360 -x450 -x540 -x630 -x720 -x810 -x900 -x990 -x1080 -x1170 -x1260 -x1350 -x1440 -x1530 -x1620 -x1710 x1800 -x1890 -x1980 -x2070 -x2160 -x2250 -x2340 -x2430 -x2520 -x2610 -x2700 -x2790 -x2880 -x2970 -x3060 -x3150 -x3240 -x3330 -x3420 -x3510 -x3600 -x3690 -x3780 -x3870 -x3960 -x4050 -x4140 -x4230 -x4320 -x4410 -x4500 -x4590 -x4680 -x4770 -x4860 -x4950 -x5040 -x5130 -x5220 -x5310 -x5400 -x5490 -x5580 -x5670 -x5760 -x5850 -x5940 -x271 -x361 -x451 -x541 -x631 -x721 -x811 -x901 -x991 -x1081 -x1171 -x1261 x1351 -x1441 -x1531 -x1621 -x1711 -x1801 -x1891 -x1981 -x2071 -x2161 -x2251 -x2341 -x2431 -x2521 -x2611 -x2701 -x2791 -x2881 -x2971 -x3061 -x3151 -x3241 -x3331 -x3421 -x3511 -x3601 -x3691 -x3781 -x3871 -x3961 -x4051 -x4141 -x4231 -x4321 -x4411 -x4501 -x4591 -x4681 -x4771 -x4861 -x4951 -x5041 -x5131 -x5221 -x5311 -x5401 -x5491 -x5581 -x5671 -x5761 -x5851 -x5941 -x272 x362 -x452 -x542 -x632 -x722 -x812 -x902 -x992 -x1082 -x1172 -x1262 -x1352 -x1442 -x1532 -x1622 -x1712 -x1802 -x1892 -x1982 -x2072 -x2162 -x2252 -x2342 -x2432 -x2522 -x2612 -x2702 -x2792 -x2882 -x2972 -x3062 -x3152 -x3242 -x3332 -x3422 -x3512 -x3602 -x3692 -x3782 -x3872 -x3962 -x4052 -x4142 -x4232 -x4322 -x4412 -x4502 -x4592 -x4682 -x4772 -x4862 -x4952 -x5042 x5132 -x5222 -x5312 -x5402 -x5492 -x5582 -x5672 -x5762 -x5852 -x5942 -x5943 -x5944 -x5945 -x5946 -x5947 -x5948 -x5949 -x5950 -x5951 -x5952 -x5953 -x5954 -x5955 -x5956 -x5957 -x5958 -x5959 -x5960 -x5961 -x5962 -x5963 -x5964 -x5965 -x5966 -x5967 -x5968 -x5969 -x5970 -x5971 -x5972 -x5973 -x5974 -x5975 -x5976 -x5977 -x5978 -x5979 -x5980 -x5981 -x5982 -x5983 -x5984 -x5985 -x5986 -x5987 -x5988 -x5989 -x5990 -x5991 -x5992 -x5993 -x5994 -x5995 -x5996 -x5997 -x5998 -x5999 -x6000 -x6001 -x6002 -x6003 -x6004 -x6005 -x6006 -x6007 -x6008 -x6009 -x6010 -x6011 -x6012 -x6013 -x6014 -x6015 -x6016 -x6017 -x6018 -x6019 -x6020 -x6021 -x6022 -x6023 -x6024 -x6025 -x6026 -x6027 -x6028 -x6029 -x6030 -x6031 -x6032 -x6033 -x6034 -x6035 -x6036 -x6037 -x6038 -x6039 -x6040 x6041 -x6042 -x6043 -x6044 -x6045 -x6046 -x6047 -x6048 -x6049 -x6050 -x6051 -x6052 -x6053 -x6054 x6055 -x6056 -x6057 -x6058 -x6059 -x6060 -x6061 -x6062 -x6063 -x6064 -x6065 -x6066 -x6067 -x6068 -x6069 -x6070 -x6071 -x6072 -x6073 -x6074 -x6075 -x6076 -x6077 -x6078 -x6079 -x6080 -x6081 -x6082 -x6083 -x6084 -x6085 -x6086 -x6087 -x6088 -x6089 -x6090
4.39/4.47	v -x6091 -x6092 -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
4.39/4.47	v -x8091 -x8092 -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 x92 -x93 -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

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-4098222-1466118568/watcher-4098222-1466118568 -o /tmp/evaluation-result-4098222-1466118568/solver-4098222-1466118568 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node135-1466112658-21718 --watchdog 1960 naps-1.02 HOME/instance-4098222-1466118568.opb 

pid=25207
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: 2.14 2.21 2.18 3/177 25210
/proc/meminfo: memFree=30080060/32872528 swapFree=1504664/1684536
[pid=25210] ppid=25207 vsize=6684 CPUtime=0 cores=0,2,4,6
/proc/25210/stat : 25210 (naps-1.02) R 25207 25210 19260 0 -1 4202496 374 0 0 0 0 0 0 0 20 0 1 0 13902719 6844416 248 33554432000 4194304 5796924 140733572384944 140735927888712 4621249 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/25210/statm: 1671 248 127 392 0 1270 0

[startup+0.100158 s]
/proc/loadavg: 2.14 2.21 2.18 3/177 25210
/proc/meminfo: memFree=30080060/32872528 swapFree=1504664/1684536
[pid=25210] ppid=25207 vsize=8340 CPUtime=0.09 cores=0,2,4,6
/proc/25210/stat : 25210 (naps-1.02) R 25207 25210 19260 0 -1 4202496 749 0 0 0 9 0 0 0 20 0 1 0 13902719 8540160 623 33554432000 4194304 5796924 140733572384944 140735927888712 5183584 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/25210/statm: 2085 623 127 392 0 1684 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 8340

[startup+0.200321 s]
/proc/loadavg: 2.14 2.21 2.18 3/177 25210
/proc/meminfo: memFree=30080060/32872528 swapFree=1504664/1684536
[pid=25210] ppid=25207 vsize=8340 CPUtime=0.19 cores=0,2,4,6
/proc/25210/stat : 25210 (naps-1.02) R 25207 25210 19260 0 -1 4202496 788 0 0 0 19 0 0 0 20 0 1 0 13902719 8540160 662 33554432000 4194304 5796924 140733572384944 140735927888712 5183584 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/25210/statm: 2085 662 127 392 0 1684 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 8340

[startup+0.300248 s]
/proc/loadavg: 2.14 2.21 2.18 3/177 25210
/proc/meminfo: memFree=30080060/32872528 swapFree=1504664/1684536
[pid=25210] ppid=25207 vsize=8464 CPUtime=0.29 cores=0,2,4,6
/proc/25210/stat : 25210 (naps-1.02) R 25207 25210 19260 0 -1 4202496 856 0 0 0 29 0 0 0 20 0 1 0 13902719 8667136 730 33554432000 4194304 5796924 140733572384944 140735927888712 5183584 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/25210/statm: 2116 730 127 392 0 1715 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 8464

[startup+0.700308 s]
/proc/loadavg: 2.14 2.21 2.18 3/177 25210
/proc/meminfo: memFree=30080060/32872528 swapFree=1504664/1684536
[pid=25210] ppid=25207 vsize=9784 CPUtime=0.69 cores=0,2,4,6
/proc/25210/stat : 25210 (naps-1.02) R 25207 25210 19260 0 -1 4202496 1223 0 0 0 69 0 0 0 20 0 1 0 13902719 10018816 1096 33554432000 4194304 5796924 140733572384944 140733572384168 5087606 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/25210/statm: 2446 1096 127 392 0 2045 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 9784

[startup+1.50024 s]
/proc/loadavg: 2.13 2.20 2.18 3/178 25211
/proc/meminfo: memFree=30075348/32872528 swapFree=1504664/1684536
[pid=25210] ppid=25207 vsize=10840 CPUtime=1.49 cores=0,2,4,6
/proc/25210/stat : 25210 (naps-1.02) R 25207 25210 19260 0 -1 4202496 1609 0 0 0 149 0 0 0 20 0 1 0 13902719 11100160 1989 33554432000 4194304 5796924 140733572384944 140733572384168 5087529 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/25210/statm: 2710 1989 127 392 0 2309 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 10840

[startup+3.10022 s]
/proc/loadavg: 2.13 2.20 2.18 3/178 25211
/proc/meminfo: memFree=30069020/32872528 swapFree=1504664/1684536
[pid=25210] ppid=25207 vsize=15872 CPUtime=3.09 cores=0,2,4,6
/proc/25210/stat : 25210 (naps-1.02) R 25207 25210 19260 0 -1 4202496 3702 0 0 0 309 0 0 0 20 0 1 0 13902719 16252928 3263 33554432000 4194304 5796924 140733572384944 140733572384216 4648608 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/25210/statm: 3968 3263 147 392 0 3567 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 15872

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

[startup+3.20028 s]
/proc/loadavg: 2.13 2.20 2.18 3/178 25211
/proc/meminfo: memFree=30069020/32872528 swapFree=1504664/1684536
[pid=25210] ppid=25207 vsize=15872 CPUtime=3.19 cores=0,2,4,6
/proc/25210/stat : 25210 (naps-1.02) R 25207 25210 19260 0 -1 4202496 3702 0 0 0 319 0 0 0 20 0 1 0 13902719 16252928 3263 33554432000 4194304 5796924 140733572384944 140733572384216 4648617 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/25210/statm: 3968 3263 147 392 0 3567 0
Current children cumulated CPU time (s) 3.19
Current children cumulated vsize (KiB) 15872

[startup+4.00022 s]
/proc/loadavg: 2.13 2.20 2.18 3/178 25211
/proc/meminfo: memFree=30065436/32872528 swapFree=1504664/1684536
[pid=25210] ppid=25207 vsize=15872 CPUtime=3.99 cores=0,2,4,6
/proc/25210/stat : 25210 (naps-1.02) R 25207 25210 19260 0 -1 4202496 3719 0 0 0 399 0 0 0 20 0 1 0 13902719 16252928 3277 33554432000 4194304 5796924 140733572384944 140733572383336 4648625 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/25210/statm: 3968 3277 148 392 0 3567 0
Current children cumulated CPU time (s) 3.99
Current children cumulated vsize (KiB) 15872

[startup+4.40026 s]
/proc/loadavg: 2.13 2.20 2.18 3/179 25212
/proc/meminfo: memFree=30060584/32872528 swapFree=1504664/1684536
[pid=25210] ppid=25207 vsize=17456 CPUtime=4.39 cores=0,2,4,6
/proc/25210/stat : 25210 (naps-1.02) R 25207 25210 19260 0 -1 4202496 4393 0 0 0 439 0 0 0 20 0 1 0 13902719 17874944 3951 33554432000 4194304 5796924 140733572384944 140733572383336 4611179 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/25210/statm: 4364 3951 163 392 0 3963 0
Current children cumulated CPU time (s) 4.39
Current children cumulated vsize (KiB) 17456

Child status: 20
Real time (s): 4.4782
CPU time (s): 4.47632
CPU user time (s): 4.46632
CPU system time (s): 0.009998
CPU usage (%): 99.958
Max. virtual memory (cumulated for all children) (KiB): 17456

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4.46632
system time used= 0.009998
maximum resident set size= 16728
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4624
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= 5

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

The end

Launcher Data

Begin job on node135 at 2016-06-17 01:09:28
IDJOB=4098222
IDBENCH=107869
IDSOLVER=2544
FILE ID=node135/4098222-1466118568
RUNJOBID= node135-1466112658-21718
PBS_JOBID= 19904061
Free space on /tmp= 71692 MiB

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

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

MD5SUM BENCH= e5dfc4d846a48e79d65df8a4ed637338
RANDOM SEED=410045418

node135.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		: 2667.004
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	: 5334.00
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		: 2667.004
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		: 2667.004
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.57
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		: 2667.004
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		: 2667.004
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		: 2667.004
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		: 2667.004
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		: 2667.004
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:        30080480 kB
Buffers:           67288 kB
Cached:           174384 kB
SwapCached:         2296 kB
Active:           280708 kB
Inactive:         118624 kB
Active(anon):     158184 kB
Inactive(anon):     1700 kB
Active(file):     122524 kB
Inactive(file):   116924 kB
Unevictable:     1684536 kB
Mlocked:         1504664 kB
SwapTotal:      67108856 kB
SwapFree:       67099424 kB
Dirty:              9856 kB
Writeback:             4 kB
AnonPages:       1844224 kB
Mapped:             7960 kB
Shmem:                 0 kB
Slab:             571280 kB
SReclaimable:      15076 kB
SUnreclaim:       556204 kB
KernelStack:        1472 kB
PageTables:         7884 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1967996 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341987908 kB
HardwareCorrupted:     0 kB
AnonHugePages:    282624 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= 71688 MiB
End job on node135 at 2016-06-17 01:09:32