Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
PB/CT 0.1 fixed | MSAT (TO) | 1800.06 | 1800.01 |
Name | /PARTIAL-SMALLINT-LIN/PB10/oliveras/j30/ normalized-j309_10-unsat--soft-66-100-0.wbo |
MD5SUM | f8e585aed580dee910146256b9cb9d64 |
Bench Category | PARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints) |
Best result obtained on this benchmark | MOPT |
Best cost obtained on this benchmark | 1 |
Best CPU time to get the best result obtained on this benchmark | 0.172973 |
Max-Satisfiable | |
Max-(Un)Satisfiability was proved | |
Best value of the cost | |
Optimality of the best cost was proved | |
Number of variables | 5456 |
Total number of constraints | 17015 |
Number of soft constraints | 5692 |
Number of constraints which are clauses | 16667 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 348 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 26 |
Top cost | 285936 |
Min constraint cost | 1 |
Max constraint cost | 100 |
Sum of constraints costs | 285935 |
Biggest number in a constraint | 16 |
Number of bits of the biggest number in a constraint | 5 |
Biggest sum of numbers in a constraint | 177 |
Number of bits of the biggest sum of numbers | 8 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.00 c PB/CT 0.1.2 http://www.residual.se/pbct 0.00/0.00 c Based on OpenSMT/CT 20091015 0.09/0.14 c constraints 237/111 clauses 6817/3927 units 1222 0.09/0.14 c vars 5456 0.69/0.78 c 0.549916 78.1562 85 136672 0.69/0.78 o 18177 0.79/0.84 c 0.570913 79.3789 112 159760 0.79/0.84 o 15768 0.79/0.88 c 0.59191 79.3789 138 170484 0.79/0.88 o 12726 0.89/0.91 c 0.600908 79.3789 151 178975 0.89/0.91 o 10111 0.89/0.93 c 0.614906 79.3789 163 183883 0.89/0.93 o 10082 0.89/0.96 c 0.628904 79.3789 178 187446 0.89/0.96 o 10071 0.89/0.99 c 0.641902 79.3789 199 194973 0.89/0.99 o 9135 0.99/1.03 c 0.660899 79.3789 214 200320 0.99/1.03 o 9123 0.99/1.05 c 0.670898 79.3789 220 204811 0.99/1.05 o 7242 0.99/1.06 c 0.679896 79.3789 224 207215 0.99/1.06 o 7240 0.99/1.09 c 0.695894 79.3789 235 213387 0.99/1.09 o 6053 1.10/1.13 c 0.710891 79.3789 254 218911 1.10/1.13 o 6045 1.10/1.16 c 0.728889 79.3789 267 223058 1.10/1.16 o 6044 1.10/1.18 c 0.743886 79.3789 272 227832 1.10/1.18 o 5538 1.19/1.20 c 0.758884 79.3789 280 231053 1.19/1.20 o 5534 1.19/1.23 c 0.776881 79.3789 290 237359 1.19/1.23 o 5517 1.19/1.25 c 0.78588 79.3789 295 241223 1.19/1.25 o 5507 1.19/1.28 c 0.800878 79.5078 304 245624 1.19/1.28 o 5502 1.19/1.29 c 0.808877 79.5078 305 249946 1.19/1.29 o 4526 1.29/1.31 c 0.818875 79.5078 306 252554 1.29/1.31 o 4523 1.29/1.33 c 0.826874 79.5078 307 254146 1.29/1.33 o 4521 1.29/1.35 c 0.837872 79.5078 312 256347 1.29/1.35 o 4517 1.29/1.37 c 0.847871 79.5078 319 262144 1.29/1.37 o 4073 2.20/2.23 c 1.09083 79.6367 823 269128 2.20/2.23 o 4072 2.20/2.26 c 1.10083 79.6367 830 270296 2.20/2.26 o 4069 2.49/2.51 c 1.19182 79.7656 1027 277954 2.49/2.51 o 4068 2.49/2.53 c 1.20282 79.7656 1032 280409 2.49/2.53 o 4067 2.59/2.66 c 1.25681 79.7656 1149 286187 2.59/2.66 o 4063 2.59/2.68 c 1.26781 79.7656 1153 289723 2.59/2.68 o 4060 2.69/2.70 c 1.2788 79.7656 1167 291277 2.69/2.70 o 4058 2.79/2.82 c 1.3118 79.7656 1217 293466 2.79/2.82 o 4053 2.79/2.85 c 1.3248 79.7656 1230 296096 2.79/2.85 o 4051 2.79/2.87 c 1.3338 79.7656 1238 298928 2.79/2.87 o 4047 2.89/2.90 c 1.34679 79.7656 1248 301308 2.89/2.90 o 4045 2.89/2.92 c 1.35479 79.7656 1253 302948 2.89/2.92 o 4041 2.89/2.95 c 1.37079 79.7656 1266 308671 2.89/2.95 o 4040 2.89/2.99 c 1.38679 79.8945 1284 315070 2.89/2.99 o 4035 3.69/3.76 c 1.66275 80.0234 1748 319741 3.69/3.76 o 4032 3.69/3.79 c 1.68574 80.0234 1766 321083 3.69/3.79 o 4031 3.99/4.05 c 1.82772 80.1523 1992 324575 3.99/4.05 o 4029 4.09/4.14 c 1.87172 80.1523 2049 325491 4.09/4.14 o 4026 4.19/4.22 c 1.91071 80.1523 2086 326143 4.19/4.22 o 4024 4.99/5.05 c 2.34264 80.4102 2707 330330 4.99/5.05 o 4023 4.99/5.09 c 2.36064 80.4102 2728 332845 4.99/5.09 o 4022 5.29/5.36 c 2.47562 80.4102 2977 339223 5.29/5.36 o 4021 5.40/5.42 c 2.50062 80.5391 2999 341926 5.40/5.42 o 4020 5.40/5.45 c 2.51862 80.5391 3013 343872 5.40/5.45 o 4015 5.40/5.47 c 2.52662 80.5391 3018 346924 5.40/5.47 o 3995 5.40/5.50 c 2.54061 80.5391 3027 348323 5.40/5.50 o 3994 5.50/5.58 c 2.57161 80.5391 3093 349942 5.50/5.58 o 3993 5.59/5.61 c 2.58261 80.5391 3101 352171 5.59/5.61 o 3989 5.59/5.63 c 2.59161 80.5391 3105 353747 5.59/5.63 o 3987 5.59/5.66 c 2.6066 80.5391 3117 355432 5.59/5.66 o 3984 5.59/5.69 c 2.6196 80.5391 3122 357635 5.59/5.69 o 3978 5.69/5.71 c 2.6306 80.5391 3129 359423 5.69/5.71 o 3976 5.69/5.73 c 2.6416 80.5391 3135 360736 5.69/5.73 o 3974 5.69/5.75 c 2.6526 80.5391 3140 363544 5.69/5.75 o 3966 5.69/5.77 c 2.6626 80.5391 3148 366662 5.69/5.77 o 3963 5.69/5.78 c 2.67459 80.5391 3152 369370 5.69/5.78 o 3958 5.89/5.96 c 2.73258 80.5391 3230 371330 5.89/5.96 o 3957 6.19/6.21 c 2.84557 80.668 3532 376474 6.19/6.21 o 3947 6.19/6.23 c 2.85457 80.668 3533 378956 6.19/6.23 o 3946 6.19/6.26 c 2.87156 80.668 3550 380577 6.19/6.26 o 3942 6.29/6.32 c 2.89656 80.668 3587 381342 6.29/6.32 o 3941 6.39/6.40 c 2.93255 80.7969 3694 383235 6.39/6.40 o 3935 7.59/7.63 c 3.42548 81.1836 5002 392091 7.59/7.63 o 3931 7.59/7.65 c 3.43648 81.1836 5009 392867 7.59/7.65 o 3924 7.59/7.68 c 3.45047 81.1836 5014 393843 7.59/7.68 o 3920 7.59/7.70 c 3.46647 81.3125 5022 396313 7.59/7.70 o 3914 7.69/7.73 c 3.48347 81.3125 5045 397517 7.69/7.73 o 3908 7.69/7.75 c 3.49547 81.3125 5050 399004 7.69/7.75 o 3907 7.69/7.78 c 3.51147 81.3125 5057 400503 7.69/7.78 o 3906 7.79/7.84 c 3.53846 81.3125 5097 404704 7.79/7.84 o 3904 7.79/7.87 c 3.55546 81.3125 5111 409710 7.79/7.87 o 3901 7.79/7.89 c 3.56346 81.3125 5112 412147 7.79/7.89 o 3899 7.89/7.91 c 3.57146 81.3125 5114 413934 7.89/7.91 o 3892 7.89/7.93 c 3.58245 81.3125 5119 415526 7.89/7.93 o 3890 7.89/7.95 c 3.59445 81.3125 5123 418614 7.89/7.95 o 3889 7.89/7.96 c 3.60545 81.3125 5123 421905 7.89/7.96 o 3855 7.89/7.98 c 3.61345 81.3125 5126 424417 7.89/7.98 o 3854 7.99/8.00 c 3.62245 81.3125 5129 426754 7.99/8.00 o 3853 7.99/8.02 c 3.63245 81.3125 5134 431402 7.99/8.02 o 3567 7.99/8.06 c 3.64744 81.3125 5155 432975 7.99/8.06 o 3562 8.19/8.23 c 3.71644 81.3125 5266 435757 8.19/8.23 o 3558 8.19/8.26 c 3.73143 81.3125 5273 437910 8.19/8.26 o 3548 8.19/8.28 c 3.74343 81.3125 5282 438560 8.19/8.28 o 3547 8.30/8.31 c 3.75743 81.3125 5292 440002 8.30/8.31 o 3545 8.30/8.33 c 3.76343 81.3125 5299 443018 8.30/8.33 o 3540 8.30/8.34 c 3.77643 81.3125 5301 445675 8.30/8.34 o 3537 8.30/8.37 c 3.78742 81.3125 5306 447031 8.30/8.37 o 3536 8.30/8.39 c 3.80042 81.3125 5314 448568 8.30/8.39 o 3535 8.39/8.43 c 3.82142 81.3125 5334 450271 8.39/8.43 o 3533 8.39/8.44 c 3.83142 81.3125 5335 451913 8.39/8.44 o 3532 8.79/8.86 c 3.99739 81.4414 5748 455568 8.79/8.86 o 3531 9.80/9.87 c 4.29535 81.6992 6235 457777 9.80/9.87 o 3529 12.69/12.74 c 5.53416 82.3438 8165 461574 12.69/12.74 o 3527 12.99/13.07 c 5.64414 82.4727 8344 462880 12.99/13.07 o 3525 13.10/13.20 c 5.68813 82.4727 8452 464869 13.10/13.20 o 3521 13.49/13.54 c 5.80412 82.6016 8703 467595 13.49/13.54 o 3516 13.70/13.80 c 5.8961 82.6016 8915 469508 13.70/13.80 o 3513 13.89/13.96 c 5.96309 82.7305 9118 471922 13.89/13.96 o 3509 13.89/13.98 c 5.97509 82.7305 9121 475428 13.89/13.98 o 3505 14.00/14.00 c 5.98309 82.7305 9121 478482 14.00/14.00 o 3489 14.30/14.37 c 6.11107 82.8594 9424 481547 14.30/14.37 o 3488 15.30/15.35 c 6.48301 82.8594 5345 485559 15.30/15.35 o 3485 15.49/15.57 c 6.557 82.8594 5489 487569 15.49/15.57 o 3483 15.59/15.68 c 6.60799 82.8594 5598 490291 15.59/15.68 o 3478 15.69/15.73 c 6.63199 82.8594 5628 491303 15.69/15.73 o 3477 15.69/15.75 c 6.64499 82.8594 5636 492677 15.69/15.75 o 3472 15.69/15.77 c 6.65399 82.8594 5639 493783 15.69/15.77 o 3471 17.09/17.13 c 7.2649 82.8594 7064 500704 17.09/17.13 o 3469 17.19/17.28 c 7.34088 82.8594 7195 502616 17.19/17.28 o 3466 17.39/17.45 c 7.41887 82.8594 7311 507871 17.39/17.45 o 3461 17.50/17.56 c 7.47686 82.8594 7477 509908 17.50/17.56 o 3460 17.69/17.79 c 7.59584 82.8594 7647 513372 17.69/17.79 o 3457 18.09/18.13 c 7.78082 82.8594 7968 517782 18.09/18.13 o 3456 18.29/18.39 c 7.8838 82.8594 8229 522592 18.29/18.39 o 3452 18.39/18.42 c 7.9008 82.8594 8234 525029 18.39/18.42 o 3451 18.39/18.45 c 7.9148 82.8594 8240 527003 18.39/18.45 o 3446 18.39/18.47 c 7.9238 82.8594 8244 529770 18.39/18.47 o 3441 18.49/18.58 c 7.96979 82.8594 8370 534030 18.49/18.58 o 3438 24.49/24.51 c 10.1935 83.2461 8728 546917 24.49/24.51 o 3437 24.99/25.07 c 10.4154 83.2461 9188 550372 24.99/25.07 o 3436 25.09/25.16 c 10.4494 83.2461 9217 550762 25.09/25.16 o 3435 25.59/25.66 c 10.6414 83.375 9626 554645 25.59/25.66 o 3434 27.59/27.66 c 11.3333 83.375 6275 561632 27.59/27.66 o 3433 28.50/28.51 c 11.6582 83.375 7247 567690 28.50/28.51 o 3432 28.79/28.80 c 11.7692 83.375 7528 570473 28.79/28.80 o 3431 29.79/29.87 c 12.2181 83.375 8468 573696 29.79/29.87 o 3426 30.39/30.45 c 12.5261 83.375 8799 577402 30.39/30.45 o 3425 30.89/30.96 c 12.825 83.375 9214 581530 30.89/30.96 o 3423 31.69/31.74 c 13.165 83.375 4895 586786 31.69/31.74 o 3422 31.69/31.79 c 13.194 83.375 4919 587835 31.69/31.79 o 3421 32.79/32.81 c 13.5419 83.375 5606 590412 32.79/32.81 o 3419 33.49/33.52 c 13.8369 83.375 6152 594422 33.49/33.52 o 3418 33.69/33.73 c 13.9249 83.375 6317 595895 33.69/33.73 o 3416 33.80/33.84 c 13.9759 83.375 6429 597189 33.80/33.84 o 3414 56.99/57.09 c 23.3874 87.5 11039 651862 56.99/57.09 o 3413 57.10/57.14 c 23.4244 87.5 5538 654454 57.10/57.14 o 3411 57.20/57.21 c 23.4664 87.5 5569 657527 57.20/57.21 o 3409 57.89/57.98 c 23.7854 87.5 6328 666153 57.89/57.98 o 3406 60.09/60.11 c 24.5813 87.5 7886 673894 60.09/60.11 o 3404 61.99/62.00 c 25.3321 87.5 9684 683574 61.99/62.00 o 3403 62.09/62.15 c 25.4051 87.5 4916 684918 62.09/62.15 o 3402 62.29/62.36 c 25.4831 87.5 5023 688134 62.29/62.36 o 3401 62.49/62.53 c 25.5511 87.5 5178 689733 62.49/62.53 o 3400 63.70/63.74 c 26.187 87.5 6214 696710 63.70/63.74 o 3398 64.59/64.62 c 26.485 87.5 6636 699217 64.59/64.62 o 3397 65.00/65.00 c 26.636 87.5 6992 702387 65.00/65.00 o 3396 65.09/65.12 c 26.6769 87.5 7097 704568 65.09/65.12 o 3395 65.09/65.13 c 26.6869 87.5 7098 706255 65.09/65.13 o 3394 65.09/65.15 c 26.6979 87.5 7101 707784 65.09/65.15 o 3391 65.09/65.17 c 26.7099 87.5 7107 710001 65.09/65.17 o 3388 65.19/65.20 c 26.7259 87.5 7114 712710 65.19/65.20 o 3387 65.19/65.24 c 26.7439 87.5 7126 720301 65.19/65.24 o 3385 65.59/65.69 c 26.9109 87.5 7548 723185 65.59/65.69 o 3384 66.00/66.09 c 27.0579 87.5 7777 724626 66.00/66.09 o 3383 66.09/66.14 c 27.0799 87.5 7793 725376 66.09/66.14 o 3382 67.00/67.06 c 27.4288 87.5 8599 731457 67.00/67.06 o 3381 67.59/67.66 c 27.6598 87.5 9143 735215 67.59/67.66 o 3380 67.59/67.70 c 27.6728 87.5 9174 736036 67.59/67.70 o 3377 69.69/69.71 c 28.4827 87.5 5856 743985 69.69/69.71 o 3375 69.89/69.97 c 28.6216 87.5 6028 745705 69.89/69.97 o 3373 70.00/70.05 c 28.6666 87.5 6048 746918 70.00/70.05 o 3372 72.20/72.23 c 29.5255 87.5 7658 752788 72.20/72.23 o 3371 72.20/72.26 c 29.5435 87.5 7668 753386 72.20/72.26 o 3370 72.39/72.42 c 29.5865 87.5 7739 757307 72.39/72.42 o 3363 72.89/72.98 c 29.8245 87.5 8189 760052 72.89/72.98 o 3362 73.29/73.39 c 29.9804 87.5 8448 762118 73.29/73.39 o 3361 73.99/74.08 c 30.2374 87.5 8969 766284 73.99/74.08 o 3360 74.19/74.21 c 30.2924 87.5 9114 767759 74.19/74.21 o 3358 74.70/74.72 c 30.5094 87.5 9573 770790 74.70/74.72 o 3357 75.19/75.21 c 30.6933 87.5 9851 772033 75.19/75.21 o 3355 75.69/75.74 c 30.9203 87.5 5288 774395 75.69/75.74 o 3354 75.69/75.79 c 30.9453 87.5 5318 775309 75.69/75.79 o 3353 77.30/77.35 c 31.7422 87.5 6830 780667 77.30/77.35 o 3352 77.30/77.39 c 31.7612 87.5 6849 782161 77.30/77.39 o 3349 77.39/77.42 c 31.7752 87.5 6859 783687 77.39/77.42 o 3348 77.39/77.45 c 31.7912 87.5 6865 787322 77.39/77.45 o 3347 77.49/77.53 c 31.8162 87.5 6911 790169 77.49/77.53 o 3343 77.69/77.75 c 31.8882 87.5 7095 792850 77.69/77.75 o 3341 78.10/78.16 c 32.0641 87.5 7416 795447 78.10/78.16 o 3340 78.19/78.21 c 32.0891 87.5 7439 796734 78.19/78.21 o 3339 78.19/78.23 c 32.1011 87.5 7443 800570 78.19/78.23 o 3337 78.29/78.34 c 32.1511 87.5 7561 802569 78.29/78.34 o 3334 80.79/80.88 c 33.097 87.5 4946 811953 80.79/80.88 o 3330 80.89/80.94 c 33.128 87.5 4978 815918 80.89/80.94 o 3325 80.89/80.96 c 33.14 87.5 4985 817468 80.89/80.96 o 3324 80.99/81.00 c 33.16 87.5 5008 819198 80.99/81.00 o 3323 83.09/83.12 c 34.0568 87.5 6625 825449 83.09/83.12 o 3322 83.09/83.15 c 34.0768 87.5 6630 826445 83.09/83.15 o 3321 83.09/83.18 c 34.0948 87.5 6640 830002 83.09/83.18 o 3320 83.29/83.31 c 34.1708 87.5 6760 834899 83.29/83.31 o 3319 87.40/87.46 c 35.6536 87.5 9783 846242 87.40/87.46 o 3318 87.70/87.78 c 35.7776 87.5 5058 848546 87.70/87.78 o 3315 88.19/88.21 c 35.9615 87.5 5411 852042 88.19/88.21 o 3313 91.30/91.33 c 37.3953 87.5 8427 860237 91.30/91.33 o 3309 92.79/92.87 c 37.9052 87.5 9480 866690 92.79/92.87 o 3307 92.99/93.08 c 38.0012 87.5 9703 869630 92.99/93.08 o 3305 93.40/93.42 c 38.1262 87.5 5032 872243 93.40/93.42 o 3304 93.40/93.46 c 38.1432 87.5 5046 873113 93.40/93.46 o 3303 93.50/93.59 c 38.1922 87.5 5183 874885 93.50/93.59 o 3302 93.59/93.64 c 38.2162 87.5 5200 876054 93.59/93.64 o 3300 93.70/93.75 c 38.2582 87.5 5277 878064 93.70/93.75 o 3299 94.09/94.14 c 38.3922 87.5 5498 881384 94.09/94.14 o 3297 94.40/94.47 c 38.5201 87.5 5830 885425 94.40/94.47 o 3296 94.50/94.58 c 38.5691 87.5 5955 886453 94.50/94.58 o 3295 94.70/94.70 c 38.6261 87.5 6034 888442 94.70/94.70 o 3294 94.70/94.72 c 38.6381 87.5 6040 890732 94.70/94.72 o 3292 96.89/96.95 c 39.776 87.5 7973 896679 96.89/96.95 o 3291 97.49/97.59 c 40.0189 87.5 8491 900333 97.49/97.59 o 3290 97.69/97.74 c 40.0729 87.5 8596 902638 97.69/97.74 o 3289 97.69/97.77 c 40.0879 87.5 8605 906147 97.69/97.77 o 3288 97.69/97.80 c 40.1019 87.5 8609 907460 97.69/97.80 o 3284 97.80/97.82 c 40.1139 87.5 8615 909989 97.80/97.82 o 3283 97.80/97.88 c 40.1329 87.5 8650 912781 97.80/97.88 o 3279 97.89/97.90 c 40.1419 87.5 8654 915514 97.89/97.90 o 3276 97.89/97.93 c 40.1529 87.5 8664 921295 97.89/97.93 o 3274 97.89/97.95 c 40.1659 87.5 8670 923269 97.89/97.95 o 3272 98.40/98.42 c 40.3499 87.5 9257 927638 98.40/98.42 o 3267 100.59/100.60 c 41.1757 87.5 6498 936262 100.59/100.60 o 3265 101.39/101.40 c 41.4797 87.5 6989 938203 101.39/101.40 o 3264 102.09/102.10 c 41.7726 87.5 7577 940671 102.09/102.10 o 3263 103.10/103.18 c 42.3706 87.5 8563 945238 103.10/103.18 o 3262 103.40/103.45 c 42.5055 87.5 8797 948470 103.40/103.45 o 3256 104.59/104.65 c 42.9245 87.5 9478 952029 104.59/104.65 o 3255 104.59/104.69 c 42.9445 87.5 9497 952710 104.59/104.69 o 3253 104.69/104.72 c 42.9565 87.5 9503 953796 104.69/104.72 o 3250 104.69/104.75 c 42.9735 87.5 9511 955371 104.69/104.75 o 3247 104.69/104.79 c 42.9915 87.5 9530 958641 104.69/104.79 o 3243 104.89/104.90 c 43.0385 87.5 9595 959635 104.89/104.90 o 3242 105.19/105.27 c 43.1614 87.5 9874 961364 105.19/105.27 o 3241 108.09/108.13 c 44.1833 87.5 7128 970942 108.09/108.13 o 3240 108.30/108.35 c 44.2623 87.5 7275 973189 108.30/108.35 o 3239 110.00/110.03 c 45.1091 87.5 8445 980948 110.00/110.03 o 3238 114.00/114.02 c 46.5119 87.5 6293 996506 114.00/114.02 o 3237 114.10/114.17 c 46.5829 87.5 6395 998192 114.10/114.17 o 3236 114.10/114.19 c 46.5959 87.5 6399 999250 114.10/114.19 o 3235 115.09/115.16 c 46.9499 87.5 7121 1002744 115.09/115.16 o 3234 119.19/119.30 c 48.6516 87.5 5808 1013845 119.19/119.30 o 3233 119.39/119.43 c 48.6986 87.5 5870 1017114 119.39/119.43 o 3232 119.60/119.69 c 48.7986 87.5 6119 1019937 119.60/119.69 o 3231 120.09/120.16 c 48.9995 87.5 6481 1024404 120.09/120.16 o 3230 120.80/120.90 c 49.3135 87.5 7408 1028200 120.80/120.90 o 3229 121.40/121.41 c 49.4965 87.5 7925 1034566 121.40/121.41 o 3228 121.40/121.43 c 49.5065 87.5 7928 1035350 121.40/121.43 o 3227 121.40/121.47 c 49.5205 87.5 7940 1036343 121.40/121.47 o 3226 122.40/122.44 c 50.0004 87.5 8795 1042952 122.40/122.44 o 3224 122.89/122.94 c 50.2774 87.5 9370 1045181 122.89/122.94 o 3223 123.50/123.58 c 50.5583 87.5 5103 1051895 123.50/123.58 o 3221 123.89/123.96 c 50.7113 87.5 5457 1055714 123.89/123.96 o 3220 124.30/124.37 c 50.8873 87.5 5848 1060353 124.30/124.37 o 3218 124.70/124.77 c 51.0372 87.5 6109 1062635 124.70/124.77 o 3216 125.79/125.81 c 51.4422 87.5 7048 1068228 125.79/125.81 o 3215 126.30/126.33 c 51.6551 87.5 7507 1071603 126.30/126.33 o 3213 127.80/127.83 c 52.2141 87.5 8519 1075608 127.80/127.83 o 3212 138.19/138.22 c 56.5064 87.5 9708 1091545 138.19/138.22 o 3211 138.19/138.28 c 56.5414 87.5 9740 1093082 138.19/138.28 o 3210 140.20/140.24 c 57.3453 87.5 6502 1105135 140.20/140.24 o 3209 140.49/140.52 c 57.4563 87.5 6733 1107606 140.49/140.52 o 3208 140.70/140.75 c 57.5513 87.5 6948 1112532 140.70/140.75 o 3207 141.90/141.97 c 58.0812 87.5 7911 1119484 141.90/141.97 o 3206 142.20/142.28 c 58.2541 87.5 8287 1122886 142.20/142.28 o 3205 142.80/142.86 c 58.5191 87.5 8660 1124414 142.80/142.86 o 3204 143.89/143.94 c 58.954 87.5 9618 1129800 143.89/143.94 o 3203 144.00/144.05 c 59.011 87.5 9728 1131016 144.00/144.05 o 3202 144.20/144.29 c 59.088 87.5 9890 1132783 144.20/144.29 o 3201 145.69/145.75 c 59.6739 87.5 6954 1139699 145.69/145.75 o 3200 146.20/146.29 c 59.8629 87.5 7305 1141615 146.20/146.29 o 3199 148.40/148.45 c 60.7318 87.5 9118 1150210 148.40/148.45 o 3197 148.40/148.48 c 60.7488 87.5 9123 1151315 148.40/148.48 o 3196 148.99/149.06 c 61.0517 87.5 9632 1154655 148.99/149.06 o 3195 149.39/149.42 c 61.2327 87.5 4988 1156859 149.39/149.42 o 3194 149.50/149.51 c 61.2667 87.5 5031 1158293 149.50/149.51 o 3193 149.50/149.56 c 61.2937 87.5 5060 1158904 149.50/149.56 o 3192 149.60/149.63 c 61.3227 87.5 5100 1159609 149.60/149.63 o 3191 151.70/151.77 c 62.1256 87.5 7257 1168248 151.70/151.77 o 3190 151.99/152.02 c 62.2115 87.5 7416 1169897 151.99/152.02 o 3189 152.69/152.75 c 62.4885 87.5 8186 1175125 152.69/152.75 o 3188 157.20/157.28 c 64.4652 87.5 5755 1182958 157.20/157.28 o 3187 157.30/157.32 c 64.4872 87.5 5768 1184551 157.30/157.32 o 3186 158.40/158.45 c 64.8961 87.5 6714 1191627 158.40/158.45 o 3185 159.30/159.34 c 65.2531 87.5 7451 1195320 159.30/159.34 o 3184 159.89/159.94 c 65.474 87.5 7935 1198236 159.89/159.94 o 3183 159.99/160.04 c 65.511 87.5 7975 1198869 159.99/160.04 o 3182 161.30/161.39 c 66.039 87.5 9010 1207038 161.30/161.39 o 3180 162.20/162.25 c 66.5159 87.5 9652 1209115 162.20/162.25 o 3179 162.40/162.45 c 66.6099 87.5 9773 1210019 162.40/162.45 o 3178 162.50/162.55 c 66.6539 87.5 9856 1211144 162.50/162.55 o 3177 162.70/162.74 c 66.7379 87.5 5050 1212552 162.70/162.74 o 3174 162.80/162.83 c 66.7768 87.5 5123 1213179 162.80/162.83 o 3173 163.09/163.12 c 66.8878 87.5 5336 1215601 163.09/163.12 o 3171 163.09/163.13 c 66.8968 87.5 5342 1216558 163.09/163.13 o 3170 165.29/165.34 c 67.7347 87.5 6895 1224148 165.29/165.34 o 3169 165.39/165.41 c 67.7637 87.5 6921 1225228 165.39/165.41 o 3168 166.80/166.83 c 68.2676 87.5 8186 1233106 166.80/166.83 o 3166 166.80/166.88 c 68.2906 87.5 8202 1235550 166.80/166.88 o 3164 167.30/167.35 c 68.4666 87.5 8496 1237251 167.30/167.35 o 3163 167.39/167.41 c 68.4996 87.5 8536 1237875 167.39/167.41 o 3162 167.49/167.51 c 68.5686 87.5 8646 1239351 167.49/167.51 o 3161 167.60/167.64 c 68.6336 87.5 8702 1240635 167.60/167.64 o 3160 168.10/168.16 c 68.9235 87.5 9249 1243827 168.10/168.16 o 3159 168.20/168.21 c 68.9555 87.5 9287 1244603 168.20/168.21 o 3157 168.30/168.31 c 69.0155 87.5 9333 1245482 168.30/168.31 o 3155 169.09/169.18 c 69.4454 87.5 5096 1249583 169.09/169.18 o 3154 169.99/170.00 c 69.8014 87.5 5807 1253804 169.99/170.00 o 3150 169.99/170.02 c 69.8144 87.5 5810 1254257 169.99/170.02 o 3149 170.50/170.56 c 70.0284 87.5 6282 1257169 170.50/170.56 o 3148 170.60/170.68 c 70.0773 87.5 6331 1257788 170.60/170.68 o 3147 170.80/170.83 c 70.1523 87.5 6455 1259149 170.80/170.83 o 3146 172.80/172.86 c 70.9492 87.5 8738 1264781 172.80/172.86 o 3144 173.39/173.47 c 71.1942 87.5 9103 1266345 173.39/173.47 o 3143 174.39/174.45 c 71.5601 87.5 5078 1271069 174.39/174.45 o 3142 174.39/174.47 c 71.5781 87.5 5084 1273203 174.39/174.47 o 3141 174.59/174.67 c 71.6751 87.5 5214 1275684 174.59/174.67 o 3133 176.80/176.86 c 72.624 87.5 7009 1284419 176.80/176.86 o 3132 176.89/176.90 c 72.645 87.5 7035 1285313 176.89/176.90 o 3131 184.10/184.14 c 75.3505 87.5 6551 1306522 184.10/184.14 o 3130 184.50/184.53 c 75.5115 87.5 6969 1309580 184.50/184.53 o 3129 184.50/184.57 c 75.5345 87.5 6989 1311154 184.50/184.57 o 3128 184.70/184.70 c 75.5885 87.5 7091 1313026 184.70/184.70 o 3127 184.70/184.73 c 75.6035 87.5 7098 1316064 184.70/184.73 o 3124 184.70/184.75 c 75.6115 87.5 7103 1317909 184.70/184.75 o 3122 184.80/184.87 c 75.6565 87.5 7171 1319547 184.80/184.87 o 3121 186.10/186.15 c 76.1284 87.5 8185 1325066 186.10/186.15 o 3120 186.29/186.31 c 76.1874 87.5 8322 1328080 186.29/186.31 o 3119 187.00/187.01 c 76.4044 87.5 8822 1330164 187.00/187.01 o 3118 187.79/187.83 c 76.8093 87.5 9314 1331590 187.79/187.83 o 3117 195.19/195.23 c 80.0218 87.5 14385 1342130 195.19/195.23 o 3116 195.81/195.81 c 80.2448 87.5 7669 1348350 195.81/195.81 o 3115 197.50/197.51 c 80.8297 87.5 8855 1354141 197.50/197.51 o 3114 197.91/197.92 c 80.9897 87.5 9139 1357093 197.91/197.92 o 3113 200.30/200.39 c 81.8726 87.5 6402 1367804 200.30/200.39 o 3112 202.70/202.74 c 82.9294 87.5 8593 1374964 202.70/202.74 o 3111 202.70/202.79 c 82.9544 87.5 8612 1375870 202.70/202.79 o 3110 203.40/203.45 c 83.2094 87.5 9209 1379694 203.40/203.45 o 3109 203.60/203.69 c 83.3193 87.5 9414 1382117 203.60/203.69 o 3107 204.00/204.00 c 83.4593 87.5 9721 1385271 204.00/204.00 o 3104 204.00/204.03 c 83.4733 87.5 9726 1385963 204.00/204.03 o 3101 204.00/204.08 c 83.4993 87.5 9746 1392007 204.00/204.08 o 3099 204.09/204.10 c 83.5123 87.5 9754 1393062 204.09/204.10 o 3094 205.50/205.55 c 84.0402 87.5 5633 1397107 205.50/205.55 o 3093 205.60/205.64 c 84.0812 87.5 5670 1397783 205.60/205.64 o 3092 205.60/205.69 c 84.1092 87.5 5695 1399732 205.60/205.69 o 3091 205.80/205.81 c 84.1592 87.5 5801 1403315 205.80/205.81 o 3089 206.10/206.15 c 84.2582 87.5 6074 1405538 206.10/206.15 o 3086 206.10/206.19 c 84.2782 87.5 6092 1407653 206.10/206.19 o 3085 206.20/206.23 c 84.2942 87.5 6116 1409379 206.20/206.23 o 3083 206.29/206.31 c 84.3232 87.5 6171 1411547 206.29/206.31 o 3082 206.39/206.43 c 84.3832 87.5 6396 1413794 206.39/206.43 o 3081 207.09/207.11 c 84.6341 87.5 6910 1417101 207.09/207.11 o 3079 207.30/207.37 c 84.7821 87.5 7047 1419466 207.30/207.37 o 3078 209.70/209.72 c 85.75 87.5 8872 1426385 209.70/209.72 o 3077 209.80/209.83 c 85.781 87.5 8923 1428535 209.80/209.83 o 3076 209.90/209.99 c 85.8359 87.5 9021 1429510 209.90/209.99 o 3074 214.40/214.46 c 87.7097 87.5 8315 1442253 214.40/214.46 o 3073 216.10/216.12 c 88.4356 87.5 9691 1449846 216.10/216.12 o 3071 216.49/216.56 c 88.6295 87.5 5155 1453549 216.49/216.56 o 3070 218.49/218.54 c 89.4434 87.5 6818 1460770 218.49/218.54 o 3069 218.70/218.77 c 89.5304 87.5 6934 1462132 218.70/218.77 o 3067 218.80/218.86 c 89.5654 87.5 6991 1462836 218.80/218.86 o 3066 219.19/219.24 c 89.7034 87.5 7184 1464677 219.19/219.24 o 3065 219.80/219.89 c 89.9243 87.5 7748 1469647 219.80/219.89 o 3062 220.70/220.74 c 90.4253 87.5 8613 1472305 220.70/220.74 o 3058 228.29/228.38 c 93.4378 87.5 15298 1483169 228.29/228.38 o 3057 233.21/233.28 c 95.3365 87.5 6315 1502381 233.21/233.28 o 3056 234.80/234.89 c 96.1854 87.5 7892 1510218 234.80/234.89 o 3055 235.00/235.01 c 96.2374 87.5 7959 1511060 235.00/235.01 o 3054 235.20/235.27 c 96.3394 87.5 8180 1513713 235.20/235.27 o 3053 235.30/235.39 c 96.3893 87.5 8292 1515976 235.30/235.39 o 3052 235.89/235.91 c 96.5853 87.5 8724 1519640 235.89/235.91 o 3051 236.10/236.18 c 96.6883 87.5 8993 1522007 236.10/236.18 o 3050 236.30/236.35 c 96.7653 87.5 9150 1523397 236.30/236.35 o 3047 236.30/236.39 c 96.7863 87.5 9163 1524376 236.30/236.39 o 3046 236.51/236.57 c 96.8503 87.5 9280 1526212 236.51/236.57 o 3045 237.00/237.08 c 97.0512 87.5 9728 1530042 237.00/237.08 o 3043 238.39/238.49 c 97.6152 87.5 6035 1535893 238.39/238.49 o 3042 238.60/238.62 c 97.6782 87.5 6154 1537307 238.60/238.62 o 3039 238.60/238.69 c 97.7171 87.5 6269 1538520 238.60/238.69 o 3038 238.70/238.75 c 97.7331 87.5 6287 1539119 238.70/238.75 o 3037 238.70/238.77 c 97.7421 87.5 6291 1541465 238.70/238.77 o 3034 238.80/238.82 c 97.7561 87.5 6308 1543441 238.80/238.82 o 3033 239.80/239.85 c 98.1961 87.5 7428 1547496 239.80/239.85 o 3032 241.29/241.37 c 98.972 87.5 8670 1551633 241.29/241.37 o 3031 242.09/242.15 c 99.2609 87.5 9269 1555046 242.09/242.15 o 3030 242.50/242.59 c 99.4479 87.5 9896 1559103 242.50/242.59 o 3029 243.90/243.93 c 99.9658 87.5 6068 1563489 243.90/243.93 o 3028 246.40/246.41 c 100.902 87.5 8055 1572470 246.40/246.41 o 3027 246.99/247.04 c 101.234 87.5 8596 1575296 246.99/247.04 o 3025 248.50/248.52 c 101.932 87.5 5029 1584713 248.50/248.52 o 3023 250.00/250.04 c 102.564 87.5 6774 1590793 250.00/250.04 o 3022 250.19/250.28 c 102.675 87.5 6971 1592277 250.19/250.28 o 3021 250.89/250.95 c 102.927 87.5 7512 1595655 250.89/250.95 o 3019 251.10/251.14 c 103.003 87.5 7724 1597400 251.10/251.14 o 3018 251.69/251.70 c 103.245 87.5 8305 1601114 251.69/251.70 o 3017 254.00/254.03 c 104.237 87.5 5333 1608456 254.00/254.03 o 3015 254.10/254.16 c 104.3 87.5 5492 1610622 254.10/254.16 o 3014 258.79/258.84 c 106.183 87.5 9126 1622808 258.79/258.84 o 3013 259.20/259.29 c 106.369 87.5 9467 1625525 259.20/259.29 o 3012 259.40/259.41 c 106.419 87.5 9537 1626211 259.40/259.41 o 3011 259.90/259.95 c 106.697 87.5 9960 1628959 259.90/259.95 o 3010 260.40/260.46 c 106.992 87.5 5294 1631799 260.40/260.46 o 3008 261.39/261.43 c 107.362 87.5 5888 1636704 261.39/261.43 o 3006 261.49/261.53 c 107.408 87.5 6000 1638295 261.49/261.53 o 3005 261.60/261.61 c 107.443 87.5 6111 1640137 261.60/261.61 o 3004 261.70/261.72 c 107.491 87.5 6168 1642276 261.70/261.72 o 3003 261.80/261.81 c 107.531 87.5 6223 1648604 261.80/261.81 o 3000 261.89/261.92 c 107.579 87.5 6410 1651403 261.89/261.92 o 2998 264.10/264.11 c 108.382 87.5 8406 1656204 264.10/264.11 o 2997 264.20/264.23 c 108.439 87.5 8509 1657399 264.20/264.23 o 2996 264.50/264.55 c 108.567 87.5 8839 1659915 264.50/264.55 o 2991 265.69/265.70 c 109.023 87.5 5035 1666180 265.69/265.70 o 2990 265.80/265.82 c 109.061 87.5 5095 1667255 265.80/265.82 o 2989 266.70/266.76 c 109.569 87.5 6229 1672030 266.70/266.76 o 2988 267.00/267.04 c 109.734 87.5 6450 1673816 267.00/267.04 o 2987 268.20/268.25 c 110.21 87.5 7557 1679405 268.20/268.25 o 2986 268.31/268.30 c 110.231 87.5 7578 1680323 268.31/268.30 o 2985 268.31/268.33 c 110.245 87.5 7586 1682275 268.31/268.33 o 2984 268.31/268.40 c 110.267 87.5 7619 1683516 268.31/268.40 o 2983 269.40/269.47 c 110.674 87.5 8665 1687749 269.40/269.47 o 2982 269.40/269.50 c 110.693 87.5 8673 1688414 269.40/269.50 o 2981 270.20/270.26 c 110.979 87.5 9176 1691864 270.20/270.26 o 2980 270.80/270.86 c 111.183 87.5 9581 1693917 270.80/270.86 o 2979 271.00/271.05 c 111.271 87.5 9722 1695646 271.00/271.05 o 2976 272.80/272.89 c 112.061 87.5 6332 1703482 272.80/272.89 o 2974 273.39/273.44 c 112.362 87.5 6671 1704933 273.39/273.44 o 2973 301.90/301.99 c 124.342 87.5 7087 1755938 301.90/301.99 o 2972 302.10/302.12 c 124.399 87.5 7180 1757189 302.10/302.12 o 2971 304.10/304.13 c 125.119 87.5 8484 1762799 304.10/304.13 o 2970 305.39/305.41 c 125.608 87.5 9440 1769915 305.39/305.41 o 2969 306.30/306.35 c 126.132 87.5 5144 1774710 306.30/306.35 o 2967 306.40/306.47 c 126.194 87.5 5219 1775866 306.40/306.47 o 2966 308.30/308.31 c 126.997 87.5 7779 1783014 308.30/308.31 o 2965 308.50/308.55 c 127.084 87.5 7925 1784825 308.50/308.55 o 2964 308.89/308.94 c 127.247 87.5 8299 1786815 308.89/308.94 o 2963 309.01/309.09 c 127.306 87.5 8371 1787306 309.01/309.09 o 2962 309.20/309.20 c 127.346 87.5 8416 1788020 309.20/309.20 o 2961 309.30/309.31 c 127.394 87.5 8535 1789190 309.30/309.31 o 2957 310.20/310.21 c 127.714 87.5 9274 1792760 310.20/310.21 o 2956 310.40/310.44 c 127.812 87.5 9447 1793696 310.40/310.44 o 2955 310.70/310.79 c 127.944 87.5 9694 1795870 310.70/310.79 o 2954 310.90/310.92 c 127.998 87.5 9757 1796707 310.90/310.92 o 2953 311.00/311.00 c 128.026 87.5 9798 1797304 311.00/311.00 o 2952 319.60/319.62 c 131.779 87.5 6396 1821819 319.60/319.62 o 2951 321.20/321.23 c 132.448 87.5 8049 1828342 321.20/321.23 o 2950 326.10/326.19 c 134.356 87.5 6377 1840986 326.10/326.19 o 2949 326.20/326.29 c 134.403 87.5 6430 1842053 326.20/326.29 o 2948 326.50/326.50 c 134.487 87.5 6545 1844943 326.50/326.50 o 2945 326.60/326.65 c 134.566 87.5 6614 1850077 326.60/326.65 o 2944 326.71/326.80 c 134.628 87.5 6771 1851320 326.71/326.80 o 2942 327.00/327.00 c 134.702 87.5 6914 1853365 327.00/327.00 o 2941 327.60/327.66 c 134.94 87.5 7429 1858595 327.60/327.66 o 2940 328.40/328.41 c 135.242 87.5 8053 1861963 328.40/328.41 o 2937 333.00/333.08 c 137.166 87.5 6776 1873779 333.00/333.08 o 2935 333.90/333.90 c 137.463 87.5 7557 1878385 333.90/333.90 o 2932 334.60/334.66 c 137.755 87.5 8130 1882580 334.60/334.66 o 2930 335.00/335.00 c 137.875 87.5 8324 1884206 335.00/335.00 o 2929 335.00/335.03 c 137.89 87.5 8335 1885032 335.00/335.03 o 2928 336.00/336.01 c 138.298 87.5 9330 1891156 336.00/336.01 o 2927 336.40/336.47 c 138.474 87.5 9721 1893051 336.40/336.47 o 2926 339.70/339.73 c 139.976 87.5 7934 1901078 339.70/339.73 o 2925 340.30/340.30 c 140.204 87.5 8556 1904407 340.30/340.30 o 2924 341.60/341.61 c 140.71 87.5 9496 1909357 341.60/341.61 o 2922 342.30/342.34 c 140.976 87.5 10030 1912396 342.30/342.34 o 2921 342.80/342.86 c 141.167 87.5 5365 1914794 342.80/342.86 o 2920 343.90/343.98 c 141.619 87.5 6218 1920005 343.90/343.98 o 2919 348.90/348.94 c 143.91 87.5 6398 1937676 348.90/348.94 o 2918 350.60/350.63 c 144.522 87.5 7772 1945396 350.60/350.63 o 2917 350.80/350.83 c 144.611 87.5 7927 1946604 350.80/350.83 o 2916 352.10/352.19 c 145.271 87.5 8951 1950873 352.10/352.19 o 2915 353.20/353.23 c 145.731 87.5 9929 1955690 353.20/353.23 o 2914 353.50/353.57 c 145.86 87.5 10109 1956768 353.50/353.57 o 2913 354.90/354.97 c 146.406 87.5 6183 1963038 354.90/354.97 o 2912 355.10/355.14 c 146.468 87.5 6279 1964009 355.10/355.14 o 2911 355.30/355.34 c 146.545 87.5 6395 1965161 355.30/355.34 o 2907 355.30/355.37 c 146.561 87.5 6417 1966459 355.30/355.37 o 2906 355.90/355.97 c 146.77 87.5 7031 1968862 355.90/355.97 o 2903 356.10/356.13 c 146.827 87.5 7118 1970485 356.10/356.13 o 2902 356.20/356.28 c 146.896 87.5 7267 1971544 356.20/356.28 o 2901 357.51/357.57 c 147.417 87.5 8291 1977217 357.51/357.57 o 2900 363.70/363.72 c 149.875 87.5 7186 1989185 363.70/363.72 o 2899 402.50/402.51 c 166.377 88.2734 7753 2061459 402.50/402.52 o 2898 402.60/402.60 c 166.412 88.2734 7789 2063047 402.60/402.60 o 2897 403.60/403.62 c 166.778 88.2734 8555 2067134 403.60/403.62 o 2896 404.20/404.24 c 167.087 88.2734 9034 2069760 404.20/404.24 o 2895 407.41/407.48 c 168.455 88.2734 6891 2080761 407.41/407.48 o 2894 407.50/407.52 c 168.475 88.2734 6906 2082372 407.50/407.52 o 2893 408.40/408.48 c 168.814 88.2734 8074 2086716 408.40/408.48 o 2892 409.11/409.15 c 169.113 88.2734 8902 2091371 409.11/409.15 o 2891 410.00/410.09 c 169.493 88.2734 9694 2094913 410.00/410.09 o 2889 411.10/411.18 c 170.026 88.2734 5358 2098307 411.10/411.18 o 2888 411.60/411.69 c 170.285 88.2734 5933 2101518 411.60/411.69 o 2887 411.81/411.81 c 170.356 88.2734 6070 2104433 411.81/411.81 o 2886 412.11/412.18 c 170.484 88.2734 6480 2107658 412.11/412.18 o 2885 420.20/420.29 c 173.715 88.2734 6726 2127177 420.20/420.29 o 2884 420.40/420.46 c 173.787 88.2734 6939 2129952 420.40/420.46 o 2883 421.20/421.21 c 174.065 88.2734 7550 2134388 421.20/421.21 o 2880 421.31/421.31 c 174.111 88.2734 7665 2138991 421.31/421.31 o 2878 421.60/421.69 c 174.263 88.2734 8003 2142082 421.60/421.69 o 2877 422.10/422.15 c 174.447 88.2734 8437 2145420 422.10/422.15 o 2876 422.30/422.35 c 174.509 88.2734 8531 2147247 422.30/422.35 o 2875 423.71/423.76 c 175.057 88.2734 9551 2153647 423.71/423.76 o 2873 427.31/427.35 c 176.544 88.2734 6060 2159854 427.31/427.35 o 2871 428.20/428.21 c 176.91 88.2734 6998 2164108 428.20/428.21 o 2870 428.60/428.65 c 177.102 88.2734 7434 2166146 428.60/428.65 o 2869 429.21/429.27 c 177.374 88.2734 7969 2169198 429.21/429.27 o 2868 429.40/429.45 c 177.455 88.2734 8153 2171368 429.40/429.45 o 2867 430.70/430.74 c 178.061 88.2734 9245 2176197 430.70/430.74 o 2866 431.50/431.51 c 178.422 88.2734 9726 2177955 431.50/431.51 o 2865 431.70/431.71 c 178.504 88.2734 9917 2178873 431.70/431.71 o 2864 431.80/431.84 c 178.559 88.2734 10031 2180373 431.80/431.84 o 2860 432.21/432.24 c 178.738 88.2734 5505 2183814 432.21/432.24 o 2859 433.41/433.44 c 179.237 88.2734 6560 2189258 433.41/433.44 o 2858 433.60/433.67 c 179.323 88.2734 6771 2191413 433.60/433.67 o 2857 434.90/434.96 c 179.861 88.2734 8126 2198184 434.90/434.96 o 2856 435.60/435.62 c 180.125 88.2734 8922 2201101 435.60/435.62 o 2853 436.40/436.40 c 180.461 88.2734 9776 2206034 436.40/436.40 o 2852 436.50/436.54 c 180.522 88.2734 9904 2207806 436.50/436.54 o 2851 437.21/437.24 c 180.903 88.2734 5412 2211354 437.21/437.24 o 2848 437.31/437.30 c 180.933 88.2734 5434 2212510 437.31/437.30 o 2847 437.90/437.97 c 181.332 88.2734 6139 2217059 437.90/437.97 o 2844 438.00/438.01 c 181.358 88.2734 6154 2217900 438.00/438.01 o 2843 439.71/439.78 c 182.061 88.2734 7786 2224140 439.71/439.78 o 2842 440.01/440.09 c 182.17 88.2734 7987 2225309 440.01/440.09 o 2841 441.90/441.90 c 182.882 88.2734 9737 2232384 441.90/441.90 o 2840 444.20/444.25 c 183.923 88.2734 6653 2240899 444.20/444.25 o 2839 444.70/444.71 c 184.158 88.2734 7002 2243263 444.70/444.71 o 2837 444.90/444.92 c 184.249 88.2734 7156 2244648 444.90/444.92 o 2836 444.90/444.99 c 184.282 88.2734 7260 2246416 444.90/444.99 o 2835 445.00/445.04 c 184.309 88.2734 7367 2247850 445.00/445.04 o 2834 446.80/446.88 c 184.96 88.2734 8538 2254781 446.80/446.88 o 2833 447.00/447.07 c 185.042 88.2734 8704 2255856 447.00/447.07 o 2832 447.40/447.47 c 185.197 88.2734 9060 2257851 447.40/447.47 o 2831 449.90/449.99 c 186.264 88.2734 5856 2264596 449.90/449.99 o 2829 450.70/450.77 c 186.695 88.2734 6388 2267637 450.70/450.77 o 2828 454.10/454.19 c 188.114 88.2734 9671 2276152 454.10/454.19 o 2827 456.80/456.89 c 189.422 88.2734 12429 2281912 456.80/456.89 o 2826 457.80/457.81 c 189.893 88.2734 7020 2288345 457.80/457.81 o 2823 457.80/457.88 c 189.93 88.2734 7069 2289740 457.80/457.88 o 2822 457.90/457.95 c 189.959 88.2734 7116 2290995 457.90/457.95 o 2821 458.01/458.04 c 189.98 88.2734 7155 2292771 458.01/458.04 o 2817 458.50/458.50 c 190.151 88.2734 7412 2295760 458.50/458.50 o 2816 458.71/458.78 c 190.259 88.2734 7729 2297622 458.71/458.78 o 2815 459.00/459.00 c 190.351 88.2734 7913 2298999 459.00/459.00 o 2814 460.21/460.21 c 190.829 88.2734 9042 2303586 460.21/460.21 o 2813 461.31/461.36 c 191.274 88.2734 9918 2307974 461.31/461.36 o 2811 463.01/463.01 c 191.963 88.2734 6529 2316947 463.01/463.01 o 2808 465.70/465.75 c 193.288 88.2734 8871 2324939 465.70/465.75 o 2807 467.00/467.04 c 193.825 88.2734 9966 2330347 467.00/467.04 o 2806 467.21/467.26 c 193.906 88.2734 10139 2331437 467.21/467.26 o 2805 467.40/467.44 c 193.983 88.2734 5189 2332761 467.40/467.44 o 2804 467.40/467.46 c 193.994 88.2734 5203 2333398 467.40/467.46 o 2803 467.80/467.84 c 194.148 88.2734 5485 2335989 467.80/467.84 o 2802 468.30/468.35 c 194.356 88.2734 5779 2338407 468.30/468.35 o 2801 471.40/471.43 c 195.868 88.2734 8601 2349091 471.40/471.43 o 2798 472.20/472.21 c 196.186 88.2734 9271 2352599 472.20/472.21 o 2797 473.70/473.76 c 196.779 88.2734 10050 2354759 473.70/473.76 o 2796 474.80/474.82 c 197.177 88.2734 5701 2359560 474.80/474.82 o 2795 475.50/475.57 c 197.481 88.2734 6266 2363611 475.50/475.57 o 2794 476.00/476.07 c 197.7 88.2734 6587 2366030 476.00/476.07 o 2793 479.00/479.04 c 199.067 88.2734 9411 2378089 479.00/479.04 o 2792 482.41/482.47 c 200.347 88.2734 6409 2384316 482.41/482.47 o 2791 482.71/482.71 c 200.471 88.2734 6550 2385580 482.71/482.71 o 2790 482.71/482.77 c 200.511 88.2734 6590 2386328 482.71/482.77 o 2785 485.50/485.51 c 201.711 88.2734 8865 2397047 485.50/485.51 o 2784 486.50/486.51 c 202.096 88.2734 9718 2401584 486.50/486.51 o 2783 495.80/495.85 c 206.017 88.2734 8144 2433411 495.80/495.85 o 2782 496.01/496.09 c 206.156 88.2734 8282 2434859 496.01/496.09 o 2781 502.11/502.18 c 209.113 88.2734 7489 2448884 502.11/502.18 o 2780 506.01/506.06 c 210.862 88.2734 6326 2462222 506.01/506.06 o 2779 507.21/507.25 c 211.322 88.2734 7310 2467140 507.21/507.25 o 2778 510.21/510.27 c 212.753 88.2734 9458 2473660 510.21/510.27 o 2777 513.50/513.59 c 214.066 88.2734 7179 2485294 513.50/513.59 o 2776 513.61/513.62 c 214.084 88.2734 7184 2485925 513.61/513.62 o 2775 513.61/513.69 c 214.11 88.2734 7222 2486501 513.61/513.69 o 2774 580.71/580.73 c 243.869 89.8438 13293 2599543 580.71/580.73 o 2773 582.41/582.48 c 244.76 89.8438 7992 2610126 582.41/582.48 o 2772 582.61/582.68 c 244.869 89.8438 8138 2612228 582.61/582.68 o 2771 585.80/585.83 c 246.115 89.8438 6193 2623198 585.80/585.83 o 2770 586.21/586.29 c 246.304 89.8438 6561 2624663 586.21/586.29 o 2769 586.40/586.49 c 246.381 89.8438 6731 2625968 586.40/586.49 o 2768 586.51/586.56 c 246.407 89.8438 6764 2626398 586.51/586.56 o 2767 592.81/592.80 c 249.569 89.8438 7118 2648903 592.81/592.80 o 2765 593.91/593.98 c 250.427 89.8438 7799 2650268 593.91/593.98 o 2764 594.01/594.03 c 250.468 89.8438 7829 2651365 594.01/594.03 o 2763 594.71/594.76 c 250.888 89.8438 8466 2654910 594.71/594.76 o 2762 595.01/595.10 c 251.098 89.8438 8677 2657096 595.01/595.10 o 2757 595.70/595.75 c 251.527 89.8438 9220 2660265 595.70/595.75 o 2756 596.31/596.35 c 251.948 89.8438 9874 2663799 596.31/596.35 o 2754 597.31/597.31 c 252.709 89.8438 5486 2667227 597.31/597.31 o 2752 598.50/598.53 c 253.559 89.8438 6310 2670090 598.50/598.53 o 2751 598.80/598.81 c 253.773 89.8438 6461 2673236 598.80/598.81 o 2750 599.20/599.26 c 254.116 89.8438 6925 2675877 599.20/599.26 o 2749 604.21/604.23 c 257.569 89.8438 5922 2691255 604.21/604.23 o 2748 604.21/604.29 c 257.613 89.8438 5943 2694910 604.21/604.29 o 2747 610.21/610.23 c 261.825 89.8438 7126 2709863 610.21/610.23 o 2746 610.51/610.58 c 262.067 89.8438 7562 2713222 610.51/610.58 o 2743 610.61/610.69 c 262.14 89.8438 7629 2714076 610.61/610.69 o 2742 611.70/611.77 c 262.937 89.8438 8425 2718364 611.70/611.77 o 2739 613.71/613.74 c 264.371 89.8438 5522 2725652 613.71/613.74 o 2738 613.71/613.80 c 264.417 89.8438 5548 2727274 613.71/613.80 o 2735 616.31/616.35 c 266.115 89.8438 7397 2735054 616.31/616.35 o 2733 616.90/616.94 c 266.561 89.8438 7980 2737710 616.90/616.94 o 2732 617.12/617.11 c 266.681 89.8438 8055 2738263 617.12/617.11 o 2731 618.31/618.33 c 267.549 89.8438 9067 2743116 618.31/618.33 o 2729 619.61/619.66 c 268.509 89.8438 5328 2747038 619.61/619.66 o 2728 624.00/624.06 c 271.644 89.8438 9939 2760208 624.00/624.06 o 2727 624.90/624.92 c 272.254 89.8438 5396 2764152 624.90/624.92 o 2723 625.51/625.56 c 272.711 89.8438 5986 2767457 625.51/625.56 o 2722 626.11/626.17 c 273.145 89.8438 6709 2770303 626.11/626.17 o 2720 629.11/629.11 c 275.158 89.8438 9229 2781320 629.11/629.11 o 2718 629.30/629.35 c 275.339 89.8438 9440 2782946 629.30/629.35 o 2717 631.01/631.00 c 276.557 89.8438 5822 2790575 631.01/631.00 o 2716 632.70/632.72 c 277.847 89.8438 7375 2796733 632.70/632.72 o 2713 632.91/632.99 c 278.068 89.8438 7698 2798399 632.91/632.99 o 2710 633.30/633.38 c 278.358 89.8438 7998 2800397 633.30/633.38 o 2709 634.50/634.53 c 279.078 89.8438 9081 2803524 634.50/634.53 o 2708 637.21/637.24 c 280.992 89.8438 10666 2806838 637.21/637.24 o 2707 637.50/637.56 c 281.251 89.8438 5668 2809196 637.50/637.56 o 2706 638.81/638.84 c 282.217 89.8438 6768 2813691 638.81/638.84 o 2705 639.41/639.42 c 282.642 89.8438 7209 2816153 639.41/639.42 o 2704 639.41/639.46 c 282.672 89.8438 7236 2816717 639.41/639.46 o 2703 642.70/642.77 c 284.951 89.8438 9973 2827208 642.70/642.77 o 2700 643.10/643.15 c 285.233 89.8438 5182 2830213 643.10/643.15 o 2699 643.10/643.18 c 285.257 89.8438 5191 2830586 643.10/643.18 o 2698 643.41/643.43 c 285.445 89.8438 5554 2832886 643.41/643.43 o 2696 644.20/644.28 c 286.042 89.8438 6069 2835661 644.20/644.28 o 2693 644.41/644.47 c 286.178 89.8438 6221 2837154 644.41/644.47 o 2692 644.71/644.74 c 286.377 89.8438 6468 2838696 644.71/644.74 o 2691 644.90/644.97 c 286.539 89.8438 6629 2840280 644.90/644.97 o 2689 645.00/645.06 c 286.599 89.8438 6765 2841468 645.00/645.06 o 2688 646.21/646.29 c 287.485 89.8438 7963 2846645 646.21/646.29 o 2687 649.02/649.06 c 289.413 89.8438 10360 2852929 649.02/649.06 o 2686 649.10/649.15 c 289.464 89.8438 5207 2853498 649.10/649.15 o 2684 649.60/649.63 c 289.719 89.8438 5647 2856169 649.60/649.63 o 2683 653.01/653.00 c 291.684 89.8438 8294 2864675 653.01/653.00 o 2682 654.01/654.08 c 292.323 89.8438 9305 2869642 654.01/654.08 o 2681 658.51/658.54 c 295.518 89.8438 7484 2880389 658.51/658.54 o 2680 659.60/659.60 c 296.306 89.8438 8481 2886044 659.60/659.60 o 2679 660.41/660.49 c 296.851 89.8438 9398 2889364 660.41/660.49 o 2678 660.50/660.59 c 296.922 89.8438 9452 2893256 660.50/660.59 o 2677 660.61/660.64 c 296.949 89.8438 9481 2894258 660.61/660.64 o 2676 661.01/661.04 c 297.201 89.8438 9922 2896761 661.01/661.04 o 2675 661.51/661.56 c 297.606 89.8438 5269 2899785 661.51/661.56 o 2674 661.71/661.72 c 297.72 89.8438 5436 2900930 661.71/661.72 o 2673 661.81/661.83 c 297.813 89.8438 5588 2902260 661.81/661.83 o 2672 662.11/662.16 c 298.042 89.8438 5854 2903543 662.11/662.16 o 2670 664.21/664.21 c 299.567 89.8438 7879 2911964 664.21/664.21 o 2669 665.20/665.24 c 300.355 89.8438 9019 2915945 665.20/665.24 o 2668 665.30/665.38 c 300.461 89.8438 9160 2917098 665.30/665.38 o 2667 669.92/669.91 c 303.592 89.8438 8814 2931079 669.92/669.91 o 2666 671.21/671.22 c 304.601 89.8438 9949 2936143 671.21/671.22 o 2665 673.11/673.14 c 305.937 89.8438 6272 2944748 673.11/673.14 o 2664 673.30/673.31 c 306.037 89.8438 6370 2946168 673.30/673.31 o 2663 678.21/678.25 c 309.501 89.8438 9540 2952783 678.21/678.25 o 2662 678.21/678.29 c 309.538 89.8438 9563 2953414 678.21/678.29 o 2661 678.31/678.35 c 309.576 89.8438 9588 2954039 678.31/678.35 o 2660 681.21/681.29 c 311.627 89.8438 7362 2964532 681.21/681.29 o 2659 681.71/681.73 c 311.958 89.8438 7760 2967063 681.71/681.73 o 2658 682.02/682.08 c 312.233 89.8438 7983 2968978 682.02/682.08 o 2657 682.61/682.69 c 312.682 89.8438 8564 2971674 682.61/682.69 o 2656 684.81/684.82 c 314.253 89.8438 5911 2980072 684.81/684.82 o 2655 685.22/685.30 c 314.595 89.8438 6252 2982874 685.22/685.30 o 2654 686.91/686.91 c 315.644 89.8438 7903 2988730 686.91/686.91 o 2653 687.01/687.03 c 315.721 89.8438 7961 2989262 687.01/687.03 o 2652 687.11/687.20 c 315.835 89.8438 8073 2990883 687.21/687.20 o 2651 687.31/687.34 c 315.943 89.8438 8143 2991973 687.31/687.34 o 2650 717.61/717.67 c 338.198 89.8438 7167 3052291 717.61/717.67 o 2649 717.91/717.97 c 338.411 89.8438 7389 3055435 717.91/717.97 o 2648 718.41/718.40 c 338.737 89.8438 7846 3060491 718.41/718.40 o 2647 721.81/721.82 c 341.154 89.8438 6048 3074299 721.81/721.82 o 2646 722.11/722.11 c 341.377 89.8438 6240 3076732 722.11/722.12 o 2644 722.91/722.97 c 342.02 89.8438 7118 3079869 722.91/722.97 o 2642 723.11/723.15 c 342.155 89.8438 7244 3082935 723.11/723.15 o 2641 723.41/723.46 c 342.372 89.8438 7443 3084998 723.41/723.46 o 2637 724.70/724.74 c 343.345 89.8438 8674 3090126 724.70/724.74 o 2636 724.70/724.80 c 343.384 89.8438 8701 3090745 724.70/724.80 o 2635 725.21/725.28 c 343.746 89.8438 9265 3093628 725.21/725.28 o 2634 726.71/726.74 c 344.678 89.8438 5491 3100052 726.71/726.74 o 2633 727.71/727.77 c 345.435 89.8438 6325 3104117 727.71/727.77 o 2632 728.00/728.05 c 345.62 89.8438 6497 3105328 728.00/728.05 o 2631 729.81/729.80 c 346.917 89.8438 8050 3112109 729.81/729.80 o 2630 731.52/731.58 c 348.237 89.8438 9382 3116256 731.52/731.58 o 2629 732.31/732.30 c 348.705 89.8438 9910 3119836 732.31/732.30 o 2628 732.40/732.40 c 348.759 89.8438 9956 3120513 732.40/732.40 o 2627 732.40/732.46 c 348.791 89.8438 9980 3121088 732.40/732.46 o 2625 732.51/732.51 c 348.822 89.8438 10005 3121911 732.51/732.51 o 2623 733.31/733.40 c 349.439 89.8438 5588 3125466 733.31/733.40 o 2622 734.01/734.01 c 349.895 89.8438 6081 3127149 734.01/734.01 o 2621 735.51/735.53 c 351.009 89.8438 7248 3131658 735.51/735.53 o 2620 735.51/735.56 c 351.034 89.8438 7255 3132577 735.51/735.56 o 2618 735.61/735.68 c 351.103 89.8438 7333 3133135 735.61/735.68 o 2617 738.71/738.74 c 353.264 89.8438 9173 3138844 738.71/738.74 o 2616 738.81/738.82 c 353.306 89.8438 9224 3139709 738.81/738.82 o 2615 739.81/739.85 c 353.978 89.8438 10304 3144637 739.81/739.85 o 2614 740.01/740.07 c 354.151 89.8438 5362 3146963 740.01/740.07 o 2613 740.11/740.20 c 354.246 89.8438 5437 3147603 740.11/740.20 o 2612 745.31/745.35 c 358.007 89.8438 5289 3158398 745.31/745.35 o 2610 747.71/747.75 c 359.707 89.8438 7327 3167630 747.71/747.75 o 2609 749.91/749.93 c 361.297 89.8438 9287 3175971 749.91/749.93 o 2608 753.21/753.25 c 363.601 89.8438 6020 3182493 753.21/753.25 o 2607 753.41/753.43 c 363.737 89.8438 6163 3183592 753.41/753.43 o 2606 754.51/754.52 c 364.538 89.8438 7079 3188725 754.51/754.52 o 2602 755.01/755.05 c 364.938 89.8438 7446 3190554 755.01/755.05 o 2601 755.41/755.42 c 365.204 89.8438 7721 3192042 755.41/755.42 o 2599 755.81/755.86 c 365.494 89.8438 8058 3194128 755.81/755.86 o 2598 758.71/758.70 c 367.494 89.8438 10255 3202652 758.71/758.70 o 2595 760.31/760.31 c 368.63 89.8438 6291 3205460 760.31/760.31 o 2594 764.52/764.59 c 371.832 89.8438 9857 3219126 764.52/764.59 o 2593 765.11/765.15 c 372.159 89.8438 10264 3221298 765.11/765.15 o 2592 765.31/765.31 c 372.232 89.8438 10357 3222088 765.31/765.31 o 2591 771.21/771.28 c 376.523 89.8438 10094 3239181 771.21/771.28 o 2590 771.81/771.86 c 376.839 89.8438 10412 3241114 771.81/771.86 o 2589 772.01/772.05 c 376.95 89.8438 5336 3242177 772.01/772.05 o 2588 793.72/793.75 c 392.691 89.8438 6208 3300162 793.72/793.75 o 2587 794.41/794.48 c 393.229 89.8438 6789 3303600 794.41/794.48 o 2585 795.11/795.14 c 393.754 89.8438 7425 3307532 795.11/795.14 o 2584 795.21/795.28 c 393.852 89.8438 7549 3310551 795.21/795.28 o 2583 795.81/795.89 c 394.302 89.8438 8093 3315697 795.81/795.89 o 2582 796.61/796.62 c 394.855 89.8438 8565 3318119 796.61/796.62 o 2581 798.11/798.11 c 395.852 89.8438 9787 3324107 798.11/798.11 o 2580 798.11/798.15 c 395.876 89.8438 9799 3324696 798.11/798.15 o 2579 799.31/799.38 c 396.763 89.8438 5890 3330456 799.31/799.38 o 2578 800.21/800.23 c 397.408 89.8438 6627 3334088 800.21/800.23 o 2577 800.71/800.79 c 397.827 89.8438 7363 3338270 800.71/800.79 o 2576 801.11/801.18 c 398.115 89.8438 7699 3340081 801.11/801.18 o 2575 804.91/804.90 c 400.736 89.8438 10600 3349071 804.91/804.90 o 2574 805.61/805.64 c 401.241 89.8438 5785 3351604 805.61/805.64 o 2573 805.91/805.97 c 401.49 89.8438 6080 3354010 805.91/805.97 o 2572 806.11/806.16 c 401.639 89.8438 6300 3356482 806.11/806.16 o 2570 807.01/807.01 c 402.285 89.8438 6968 3359483 807.01/807.01 o 2569 807.01/807.07 c 402.339 89.8438 6990 3359897 807.01/807.07 o 2568 807.21/807.30 c 402.505 89.8438 7159 3361211 807.21/807.30 o 2567 807.91/807.91 c 402.976 89.8438 7629 3363570 807.91/807.91 o 2566 809.71/809.70 c 404.3 89.8438 9152 3370516 809.71/809.70 o 2563 810.51/810.51 c 404.913 89.8438 9939 3374565 810.51/810.51 o 2562 811.91/811.91 c 405.79 89.8438 6032 3380129 811.91/811.91 o 2561 812.21/812.23 c 406.035 89.8438 6435 3382260 812.21/812.23 o 2560 812.32/812.35 c 406.12 89.8438 6502 3382751 812.32/812.35 o 2559 812.32/812.38 c 406.151 89.8438 6515 3383327 812.32/812.38 o 2558 812.41/812.45 c 406.207 89.8438 6545 3384153 812.41/812.45 o 2554 816.31/816.34 c 409.112 89.8438 10630 3393960 816.31/816.34 o 2553 816.71/816.70 c 409.391 89.8438 5715 3396023 816.71/816.70 o 2552 818.01/818.03 c 410.231 89.8438 7144 3403539 818.01/818.03 o 2551 820.31/820.30 c 411.907 89.8438 8855 3409622 820.31/820.30 o 2550 820.71/820.72 c 412.209 89.8438 9161 3411291 820.71/820.72 o 2549 821.31/821.30 c 412.649 89.8438 9512 3413319 821.31/821.30 o 2548 821.42/821.42 c 412.728 89.8438 9569 3413751 821.42/821.42 o 2547 821.92/821.97 c 413.132 89.8438 10160 3415714 821.92/821.97 o 2546 822.21/822.27 c 413.355 89.8438 5231 3417111 822.21/822.27 o 2545 823.71/823.78 c 414.46 89.8438 6659 3422990 823.71/823.78 o 2544 824.81/824.81 c 415.055 89.8438 7490 3425653 824.81/824.81 o 2543 826.12/826.12 c 416.051 89.8438 8708 3430408 826.12/826.12 o 2542 827.41/827.42 c 417.024 89.8438 9832 3434776 827.41/827.42 o 2540 827.61/827.67 c 417.211 89.8438 9991 3435789 827.61/827.67 o 2538 827.61/827.69 c 417.227 89.8438 9995 3436332 827.61/827.69 o 2537 828.31/828.39 c 417.728 89.8438 5425 3439101 828.31/828.39 o 2536 829.32/829.36 c 418.464 89.8438 6119 3442761 829.32/829.36 o 2535 832.01/832.04 c 420.208 89.8438 8123 3450402 832.01/832.04 o 2534 832.72/832.76 c 420.744 89.8438 8729 3453848 832.72/832.76 o 2533 833.21/833.28 c 421.105 89.8438 9141 3455045 833.21/833.28 o 2532 834.61/834.64 c 422.121 89.8438 5502 3459161 834.61/834.64 o 2531 835.51/835.55 c 422.797 89.8438 6212 3463229 835.51/835.55 o 2530 841.02/841.07 c 426.871 89.8438 6142 3481431 841.02/841.07 o 2529 841.11/841.13 c 426.922 89.8438 6169 3482156 841.11/841.13 o 2528 841.52/841.55 c 427.25 89.8438 6451 3483486 841.52/841.55 o 2527 842.31/842.36 c 427.889 89.8438 7150 3485216 842.31/842.36 o 2526 844.31/844.30 c 429.208 89.8438 8956 3491875 844.31/844.30 o 2525 844.31/844.39 c 429.271 89.8438 9033 3492512 844.31/844.39 o 2523 844.71/844.73 c 429.509 89.8438 9220 3493516 844.71/844.73 o 2522 846.31/846.33 c 430.689 89.8438 5341 3499834 846.31/846.33 o 2521 846.31/846.37 c 430.726 89.8438 5360 3500333 846.31/846.37 o 2520 846.92/846.98 c 431.178 89.8438 6009 3502498 846.92/846.98 o 2519 847.61/847.65 c 431.66 89.8438 6387 3504034 847.61/847.65 o 2518 849.61/849.62 c 433.168 89.8438 8041 3511180 849.61/849.62 o 2517 851.21/851.30 c 434.239 89.8438 9661 3516455 851.21/851.30 o 2514 851.61/851.66 c 434.511 89.8438 9987 3518544 851.61/851.66 o 2513 851.92/851.96 c 434.747 89.8438 10212 3519999 851.92/851.96 o 2512 858.12/858.17 c 439.263 89.8438 6494 3538443 858.12/858.17 o 2511 858.52/858.54 c 439.539 89.8438 6812 3540775 858.52/858.54 o 2510 858.61/858.63 c 439.607 89.8438 6856 3542464 858.61/858.63 o 2509 858.71/858.70 c 439.658 89.8438 6885 3542972 858.71/858.70 o 2508 858.92/858.96 c 439.848 89.8438 7060 3544166 858.92/858.96 o 2507 859.22/859.26 c 440.075 89.8438 7308 3545783 859.22/859.26 o 2506 860.21/860.29 c 440.828 89.8438 8326 3549459 860.21/860.29 o 2505 860.31/860.33 c 440.858 89.8438 8335 3549865 860.31/860.33 o 2504 861.92/861.99 c 442.14 89.8438 10024 3555715 861.92/861.99 o 2503 863.72/863.71 c 443.305 89.8438 6428 3561600 863.72/863.71 o 2502 864.01/864.08 c 443.515 89.8438 6667 3563000 864.01/864.08 o 2501 864.31/864.33 c 443.704 89.8438 6824 3563618 864.31/864.33 o 2500 865.62/865.60 c 444.664 89.8438 7823 3567344 865.62/865.60 o 2499 866.21/866.29 c 445.173 89.8438 8297 3569615 866.21/866.29 o 2497 866.51/866.51 c 445.339 89.8438 8447 3570774 866.51/866.51 o 2496 866.82/866.81 c 445.566 89.8438 8766 3572271 866.82/866.81 o 2495 868.02/868.04 c 446.474 89.8438 9650 3574365 868.02/868.04 o 2493 868.51/868.57 c 446.865 89.8438 10295 3577675 868.51/868.57 o 2492 868.61/868.66 c 446.944 89.8438 10326 3578708 868.61/868.66 o 2489 868.72/868.70 c 446.977 89.8438 10335 3579656 868.72/868.70 o 2485 868.82/868.81 c 447.06 89.8438 10387 3582470 868.82/868.81 o 2484 870.11/870.17 c 447.884 89.8438 6409 3587397 870.11/870.17 o 2482 871.61/871.62 c 448.846 89.8438 7751 3592339 871.61/871.62 o 2481 871.91/871.91 c 449.077 89.8438 8003 3593777 871.91/871.91 o 2480 872.11/872.13 c 449.24 89.8438 8209 3594803 872.11/872.13 o 2479 872.32/872.36 c 449.415 89.8438 8405 3595917 872.32/872.36 o 2477 873.61/873.61 c 450.345 89.8438 9351 3600534 873.61/873.61 o 2473 873.82/873.82 c 450.51 89.8438 9579 3601873 873.82/873.82 o 2471 873.91/873.95 c 450.596 89.8438 9647 3602679 873.91/873.95 o 2470 877.12/877.16 c 452.829 89.8438 6172 3609246 877.12/877.16 o 2468 878.62/878.63 c 453.882 89.8438 7763 3614656 878.62/878.63 o 2467 882.72/882.70 c 456.984 89.8438 6978 3630655 882.72/882.70 o 2466 883.81/883.89 c 457.712 89.8438 8056 3635262 883.81/883.89 o 2465 884.01/884.06 c 457.85 89.8438 8267 3637160 884.01/884.07 o 2464 884.21/884.20 c 457.954 89.8438 8351 3637958 884.21/884.20 o 2463 885.21/885.27 c 458.768 89.8438 9011 3640420 885.21/885.27 o 2462 885.81/885.89 c 459.19 89.8438 9368 3642004 885.81/885.89 o 2460 886.52/886.57 c 459.701 89.8438 10296 3645445 886.52/886.57 o 2458 886.62/886.64 c 459.747 89.8438 10322 3645865 886.62/886.64 o 2457 887.02/887.06 c 460.023 89.8438 5531 3647643 887.02/887.06 o 2456 887.72/887.78 c 460.553 89.8438 6067 3650390 887.72/887.78 o 2455 888.91/888.93 c 461.399 89.8438 7038 3655213 888.91/888.93 o 2454 889.51/889.58 c 461.872 89.8438 7468 3657142 889.51/889.58 o 2453 889.82/889.81 c 462 89.8438 7564 3657622 889.82/889.81 o 2452 890.72/890.78 c 462.591 89.8438 8329 3660373 890.72/890.78 o 2451 890.81/890.89 c 462.677 89.8438 8402 3661055 890.81/890.89 o 2450 891.12/891.11 c 462.839 89.8438 8563 3662046 891.12/891.11 o 2448 892.22/892.20 c 463.599 89.8438 9388 3664435 892.22/892.20 o 2446 894.92/894.96 c 465.682 89.8438 10790 3667971 894.92/894.96 o 2445 914.42/914.44 c 479.776 89.8438 9915 3691463 914.42/914.44 o 2444 914.61/914.65 c 479.949 89.8438 10063 3694693 914.61/914.65 o 2443 914.71/914.79 c 480.05 89.8438 10139 3696243 914.71/914.79 o 2442 915.11/915.15 c 480.328 89.8438 10467 3699145 915.11/915.15 o 2441 916.11/916.17 c 480.95 89.8438 6192 3705713 916.11/916.17 o 2440 917.32/917.31 c 481.749 89.8438 7270 3710395 917.32/917.31 o 2439 924.11/924.19 c 486.668 89.8438 6801 3726006 924.11/924.19 o 2438 924.31/924.38 c 486.816 89.8438 7035 3727606 924.31/924.38 o 2436 926.52/926.57 c 488.466 89.8438 8747 3734052 926.52/926.57 o 2434 926.71/926.78 c 488.626 89.8438 8914 3736072 926.71/926.78 o 2431 934.72/934.76 c 494.494 89.8438 9753 3753080 934.72/934.76 o 2429 938.52/938.54 c 497.152 89.8438 7624 3766026 938.52/938.54 o 2428 941.11/941.10 c 499.039 89.8438 9520 3774339 941.11/941.10 o 2426 941.91/941.95 c 499.645 89.8438 10493 3777628 941.91/941.95 o 2425 942.81/942.81 c 500.126 89.8438 5964 3782351 942.81/942.81 o 2424 943.11/943.18 c 500.394 89.8438 6310 3784414 943.11/943.18 o 2423 944.71/944.78 c 501.57 89.8438 7567 3789228 944.71/944.78 o 2422 947.21/947.28 c 503.447 89.8438 9570 3796901 947.21/947.28 o 2421 947.31/947.38 c 503.533 89.8438 9620 3797386 947.31/947.38 o 2420 950.43/950.49 c 505.595 89.8438 11677 3801401 950.43/950.49 o 2419 951.02/951.09 c 506.07 89.8438 6516 3804708 951.02/951.09 o 2418 953.01/953.05 c 507.546 89.8438 8208 3810795 953.01/953.05 o 2417 953.52/953.56 c 507.938 89.8438 8714 3813090 953.52/953.56 o 2416 954.72/954.71 c 508.825 89.8438 9745 3817332 954.72/954.71 o 2415 956.51/956.56 c 510.008 89.8438 5535 3820443 956.51/956.56 o 2413 956.61/956.63 c 510.066 89.8438 5586 3821071 956.61/956.63 o 2412 957.22/957.25 c 510.544 89.8438 6170 3824385 957.22/957.25 o 2411 958.12/958.15 c 511.222 89.8438 7179 3828582 958.12/958.15 o 2410 958.12/958.17 c 511.245 89.8438 7183 3829424 958.12/958.17 o 2409 961.32/961.38 c 513.637 89.8438 9652 3838271 961.32/961.38 o 2408 965.42/965.45 c 516.522 89.8438 7636 3848331 965.42/965.45 o 2407 968.02/968.06 c 518.537 89.8438 10060 3858194 968.02/968.06 o 2406 974.82/974.82 c 523.403 89.8438 6045 3880590 974.82/974.82 o 2404 978.92/978.92 c 526.337 89.8438 9286 3891882 978.92/978.92 o 2403 983.32/983.33 c 529.241 89.8438 7386 3899891 983.32/983.33 o 2402 1020.32/1020.30 c 556.324 89.8438 8633 3963557 1020.32/1020.30 o 2401 1020.41/1020.45 c 556.44 89.8438 8713 3965009 1020.41/1020.45 o 2400 1024.91/1024.98 c 559.714 89.8438 7496 3980144 1024.91/1024.98 o 2399 1028.12/1028.16 c 561.952 89.8438 10430 3988894 1028.12/1028.16 o 2398 1029.22/1029.28 c 562.796 89.8438 6067 3992330 1029.22/1029.28 o 2396 1029.62/1029.68 c 563.099 89.8438 6482 3995083 1029.62/1029.68 o 2395 1030.92/1030.95 c 564.03 89.8438 7462 4000426 1030.92/1030.95 o 2394 1033.52/1033.52 c 566.003 89.8438 10212 4008701 1033.52/1033.52 o 2393 1034.22/1034.27 c 566.481 89.8438 5678 4012050 1034.22/1034.27 o 2392 1034.41/1034.44 c 566.576 89.8438 5795 4013611 1034.41/1034.44 o 2390 1034.71/1034.77 c 566.799 89.8438 6013 4014663 1034.71/1034.77 o 2389 1035.82/1035.80 c 567.539 89.8438 6723 4017302 1035.82/1035.80 o 2388 1037.02/1037.06 c 568.378 89.8438 7685 4021528 1037.02/1037.06 o 2387 1041.02/1041.02 c 571.247 89.8438 5769 4031326 1041.02/1041.02 o 2386 1041.11/1041.13 c 571.314 89.8438 5835 4032138 1041.11/1041.13 o 2385 1044.42/1044.40 c 573.733 89.8438 8764 4040735 1044.42/1044.40 o 2384 1044.42/1044.47 c 573.782 89.8438 8785 4041117 1044.42/1044.47 o 2383 1044.62/1044.63 c 573.869 89.8438 8908 4042785 1044.62/1044.63 o 2382 1045.92/1045.95 c 574.711 89.8438 9901 4046404 1045.92/1045.95 o 2380 1052.72/1052.77 c 579.559 89.8438 5567 4060604 1052.72/1052.77 o 2379 1053.12/1053.15 c 579.841 89.8438 5873 4062626 1053.12/1053.15 o 2378 1053.32/1053.32 c 579.973 89.8438 6040 4064006 1053.32/1053.32 o 2377 1054.82/1054.84 c 580.932 89.8438 7239 4068403 1054.82/1054.84 o 2376 1055.02/1055.01 c 581.042 89.8438 7409 4069550 1055.02/1055.01 o 2375 1055.42/1055.48 c 581.351 89.8438 7965 4072298 1055.42/1055.48 o 2374 1055.51/1055.59 c 581.438 89.8438 8018 4073734 1055.51/1055.59 o 2373 1055.72/1055.75 c 581.562 89.8438 8182 4074770 1055.72/1055.75 o 2372 1055.82/1055.90 c 581.678 89.8438 8312 4075860 1055.82/1055.90 o 2371 1056.52/1056.59 c 582.113 89.8438 8631 4077666 1056.52/1056.59 o 2370 1056.82/1056.85 c 582.304 89.8438 8862 4078654 1056.82/1056.85 o 2369 1057.42/1057.45 c 582.686 89.8438 9505 4081906 1057.42/1057.45 o 2368 1057.52/1057.53 c 582.738 89.8438 9531 4082546 1057.52/1057.53 o 2366 1058.92/1058.95 c 583.762 89.8438 5442 4087594 1058.92/1058.95 o 2365 1059.12/1059.15 c 583.919 89.8438 5552 4088627 1059.12/1059.15 o 2364 1059.52/1059.52 c 584.187 89.8438 5829 4090373 1059.52/1059.52 o 2363 1060.12/1060.17 c 584.635 89.8438 6552 4093401 1060.12/1060.17 o 2362 1061.91/1061.93 c 585.822 89.8438 7861 4097757 1061.91/1061.93 o 2361 1063.12/1063.10 c 586.707 89.8438 8919 4100169 1063.12/1063.10 o 2360 1065.02/1065.01 c 588.128 89.8438 5479 4107074 1065.02/1065.01 o 2359 1065.92/1065.93 c 588.793 89.8438 6465 4110108 1065.92/1065.93 o 2358 1067.32/1067.36 c 589.742 89.8438 8056 4116280 1067.32/1067.36 o 2357 1067.52/1067.57 c 589.877 89.8438 8219 4117268 1067.52/1067.57 o 2356 1072.92/1072.93 c 593.97 89.8438 7172 4131389 1072.92/1072.93 o 2355 1073.71/1073.74 c 594.439 89.8438 7708 4132796 1073.71/1073.74 o 2354 1075.32/1075.35 c 595.638 89.8438 8936 4137449 1075.32/1075.35 o 2353 1075.92/1075.92 c 595.974 89.8438 9356 4139536 1075.92/1075.92 o 2352 1092.11/1092.11 c 607.663 89.8438 10434 4163961 1092.11/1092.11 o 2350 1092.62/1092.70 c 608.106 89.8438 5749 4168012 1092.62/1092.70 o 2349 1092.91/1092.98 c 608.282 89.8438 6012 4170088 1092.91/1092.98 o 2348 1094.02/1094.04 c 608.938 89.8438 6880 4175251 1094.02/1094.04 o 2347 1094.11/1094.11 c 608.989 89.8438 6919 4175928 1094.11/1094.11 o 2346 1095.12/1095.17 c 609.799 89.8438 7850 4179862 1095.12/1095.17 o 2345 1095.62/1095.64 c 610.147 89.8438 8188 4181711 1095.62/1095.64 o 2342 1096.02/1096.09 c 610.504 89.8438 8655 4184136 1096.02/1096.09 o 2341 1096.22/1096.20 c 610.581 89.8438 8740 4184737 1096.22/1096.20 o 2339 1096.92/1096.96 c 611.157 89.8438 9324 4187025 1096.92/1096.96 o 2337 1097.22/1097.25 c 611.382 89.8438 9518 4188252 1097.22/1097.25 o 2334 1098.02/1098.01 c 611.944 89.8438 10228 4192458 1098.02/1098.01 o 2333 1098.32/1098.33 c 612.178 89.8438 10457 4193960 1098.32/1098.33 o 2332 1098.72/1098.72 c 612.494 89.8438 5444 4195549 1098.72/1098.72 o 2331 1099.81/1099.89 c 613.279 89.8438 6771 4200679 1099.81/1099.89 o 2330 1100.31/1100.33 c 613.541 89.8438 7099 4202696 1100.31/1100.33 o 2329 1100.52/1100.56 c 613.686 89.8438 7287 4203656 1100.52/1100.56 o 2328 1100.72/1100.79 c 613.835 89.8438 7360 4204215 1100.72/1100.79 o 2327 1103.92/1103.93 c 616.16 89.8438 10427 4213765 1103.92/1103.93 o 2326 1104.02/1104.02 c 616.229 89.8438 5287 4214973 1104.02/1104.02 o 2325 1104.82/1104.83 c 616.843 89.8438 5954 4218278 1104.82/1104.83 o 2324 1104.91/1104.91 c 616.896 89.8438 5980 4218895 1104.91/1104.91 o 2323 1106.02/1106.00 c 617.599 89.8438 7216 4223671 1106.02/1106.00 o 2322 1106.12/1106.13 c 617.669 89.8438 7290 4224265 1106.12/1106.13 o 2321 1106.22/1106.22 c 617.728 89.8438 7404 4225379 1106.22/1106.22 o 2320 1106.22/1106.26 c 617.752 89.8438 7415 4225792 1106.22/1106.26 o 2319 1106.32/1106.39 c 617.823 89.8438 7505 4226289 1106.32/1106.39 o 2318 1106.62/1106.66 c 617.977 89.8438 7770 4227610 1106.62/1106.66 o 2314 1106.92/1106.94 c 618.169 89.8438 8035 4228905 1106.92/1106.94 o 2313 1108.22/1108.21 c 619.056 89.8438 8895 4231644 1108.22/1108.21 o 2311 1108.42/1108.45 c 619.218 89.8438 9121 4232874 1108.42/1108.45 o 2310 1108.52/1108.56 c 619.289 89.8438 9257 4233782 1108.52/1108.56 o 2309 1108.61/1108.66 c 619.352 89.8438 9368 4234570 1108.61/1108.66 o 2307 1118.72/1118.72 c 626.435 89.8438 7277 4254422 1118.72/1118.72 o 2306 1123.42/1123.45 c 629.87 89.8438 6291 4270556 1123.42/1123.45 o 2305 1123.52/1123.51 c 629.915 89.8438 6322 4270945 1123.52/1123.51 o 2304 1123.62/1123.66 c 630.034 89.8438 6454 4272085 1123.62/1123.66 o 2303 1124.23/1124.26 c 630.486 89.8438 6877 4274875 1124.23/1124.26 o 2299 1128.42/1128.47 c 633.369 89.8438 10460 4286432 1128.42/1128.47 o 2298 1130.72/1130.72 c 634.987 89.8438 7712 4294754 1130.72/1130.72 o 2297 1132.12/1132.18 c 636.094 89.8438 9032 4298938 1132.12/1132.18 o 2296 1135.72/1135.72 c 638.68 89.8438 7115 4309894 1135.72/1135.72 o 2295 1136.61/1136.67 c 639.32 89.8438 7942 4313639 1136.61/1136.67 o 2294 1137.11/1137.12 c 639.636 89.8438 8176 4315810 1137.11/1137.12 o 2293 1137.72/1137.73 c 640.034 89.8438 8664 4318059 1137.72/1137.73 o 2291 1138.42/1138.46 c 640.604 89.8438 9201 4320714 1138.42/1138.46 o 2290 1139.12/1139.11 c 640.98 89.8438 9677 4322771 1139.12/1139.11 o 2289 1139.12/1139.16 c 641.013 89.8438 9697 4323305 1139.12/1139.16 o 2288 1141.92/1141.92 c 643.003 89.8438 6791 4331820 1141.92/1141.92 o 2287 1142.22/1142.21 c 643.214 89.8438 7092 4333256 1142.22/1142.21 o 2286 1145.52/1145.52 c 645.653 89.8438 9565 4341181 1145.52/1145.52 o 2285 1147.12/1147.17 c 646.767 89.8438 10612 4343912 1147.12/1147.17 o 2284 1147.62/1147.64 c 647.067 89.8438 5661 4345134 1147.62/1147.64 o 2283 1147.91/1147.92 c 647.267 89.8438 5813 4346377 1147.91/1147.92 o 2282 1178.22/1178.21 c 669.376 91.0078 10015 4408083 1178.22/1178.21 o 2281 1178.53/1178.57 c 669.584 91.0078 10313 4410405 1178.53/1178.57 o 2280 1181.43/1181.45 c 671.699 91.0078 7903 4420954 1181.43/1181.45 o 2279 1181.72/1181.74 c 671.928 91.0078 8173 4422355 1181.72/1181.74 o 2278 1181.82/1181.89 c 672.047 91.0078 8303 4423540 1181.82/1181.89 o 2275 1182.32/1182.35 c 672.391 91.0078 8740 4425138 1182.32/1182.35 o 2274 1182.72/1182.76 c 672.719 91.0078 9119 4426843 1182.72/1182.76 o 2273 1185.22/1185.28 c 674.468 91.0078 5926 4432648 1185.22/1185.28 o 2272 1185.92/1185.97 c 674.94 91.0078 6569 4434585 1185.92/1185.97 o 2271 1187.52/1187.59 c 676.156 91.0078 8075 4438200 1187.52/1187.59 o 2270 1189.62/1189.65 c 677.709 91.0078 9492 4443205 1189.62/1189.65 o 2267 1190.82/1190.84 c 678.597 91.0078 10491 4446649 1190.82/1190.84 o 2266 1196.53/1196.52 c 682.607 91.0078 8646 4454788 1196.53/1196.52 o 2264 1196.63/1196.65 c 682.712 91.0078 8710 4455416 1196.63/1196.65 o 2263 1197.02/1197.06 c 683.026 91.0078 8999 4457326 1197.02/1197.06 o 2260 1198.02/1198.09 c 683.752 91.0078 10128 4461568 1198.02/1198.09 o 2259 1199.72/1199.78 c 684.909 91.0078 6062 4466366 1199.72/1199.78 o 2258 1203.72/1203.78 c 687.758 91.0078 9767 4477464 1203.72/1203.78 o 2257 1204.32/1204.35 c 688.186 91.0078 10281 4479550 1204.32/1204.35 o 2256 1207.02/1207.03 c 690.06 91.0078 7348 4487674 1207.02/1207.03 o 2255 1207.52/1207.56 c 690.45 91.0078 7701 4489174 1207.52/1207.56 o 2253 1209.52/1209.58 c 691.949 91.0078 9836 4495824 1209.52/1209.58 o 2252 1209.72/1209.76 c 692.092 91.0078 10002 4496830 1209.72/1209.76 o 2251 1210.03/1210.03 c 692.303 91.0078 10218 4498144 1210.03/1210.03 o 2250 1212.32/1212.34 c 693.927 91.0078 7352 4506206 1212.32/1212.34 o 2249 1212.42/1212.45 c 694.006 91.0078 7420 4506934 1212.42/1212.45 o 2248 1214.33/1214.34 c 695.438 91.0078 9183 4513235 1214.33/1214.34 o 2246 1214.72/1214.70 c 695.677 91.0078 9379 4514860 1214.72/1214.70 o 2245 1216.82/1216.87 c 697.334 91.0078 5659 4521457 1216.82/1216.87 o 2243 1216.92/1216.97 c 697.408 91.0078 5691 4522057 1216.92/1216.97 o 2241 1218.02/1218.08 c 698.102 91.0078 6656 4524890 1218.02/1218.08 o 2239 1218.22/1218.20 c 698.178 91.0078 6769 4525928 1218.22/1218.20 o 2238 1218.32/1218.32 c 698.255 91.0078 6840 4526784 1218.32/1218.32 o 2237 1219.02/1219.08 c 698.822 91.0078 7446 4529741 1219.02/1219.08 o 2235 1219.62/1219.64 c 699.255 91.0078 8111 4532986 1219.62/1219.64 o 2232 1220.22/1220.21 c 699.68 91.0078 8616 4534475 1220.22/1220.21 o 2230 1220.42/1220.40 c 699.831 91.0078 8728 4535176 1220.42/1220.40 o 2228 1221.83/1221.84 c 700.904 91.0078 10175 4541146 1221.83/1221.84 o 2225 1222.12/1222.17 c 701.162 91.0078 10400 4542488 1222.12/1222.17 o 2224 1222.23/1222.21 c 701.189 91.0078 10410 4543072 1222.23/1222.21 o 2223 1223.52/1223.51 c 702.175 91.0078 6537 4548719 1223.52/1223.51 o 2222 1224.23/1224.24 c 702.667 91.0078 7001 4551172 1224.23/1224.24 o 2219 1227.92/1227.91 c 705.278 91.0078 9525 4556756 1227.92/1227.91 o 2217 1230.03/1230.09 c 706.907 91.0078 5960 4563875 1230.03/1230.09 o 2216 1230.42/1230.41 c 707.135 91.0078 6152 4565089 1230.42/1230.41 o 2215 1230.93/1230.94 c 707.449 91.0078 6592 4566747 1230.93/1230.94 o 2214 1232.03/1232.03 c 708.163 91.0078 7442 4570142 1232.03/1232.03 o 2213 1234.93/1234.96 c 710.359 91.0078 9276 4575630 1234.93/1234.96 o 2212 1235.02/1235.01 c 710.4 91.0078 9301 4575992 1235.02/1235.01 o 2211 1247.82/1247.88 c 719.975 91.0078 7591 4603628 1247.82/1247.88 o 2210 1250.73/1250.74 c 722.056 91.0078 5572 4615995 1250.73/1250.74 o 2209 1254.52/1254.57 c 724.895 91.0078 9324 4626636 1254.52/1254.57 o 2208 1255.03/1255.06 c 725.281 91.0078 9847 4629243 1255.03/1255.06 o 2207 1256.32/1256.37 c 726.307 91.0078 5858 4634232 1256.32/1256.37 o 2203 1256.53/1256.54 c 726.439 91.0078 5988 4635217 1256.53/1256.54 o 2202 1260.32/1260.39 c 729.133 91.0078 10012 4647067 1260.32/1260.39 o 2201 1261.12/1261.16 c 729.747 91.0078 5458 4651010 1261.12/1261.16 o 2200 1261.22/1261.21 c 729.787 91.0078 5480 4651560 1261.22/1261.21 o 2198 1261.22/1261.28 c 729.842 91.0078 5508 4652616 1261.22/1261.28 o 2197 1265.32/1265.38 c 732.748 91.0078 9279 4664704 1265.32/1265.38 o 2196 1270.23/1270.22 c 736.216 91.0078 7277 4675082 1270.23/1270.22 o 2195 1273.13/1273.18 c 738.34 91.0078 9980 4684061 1273.13/1273.18 o 2194 1273.32/1273.31 c 738.438 91.0078 10046 4684494 1273.32/1273.31 o 2193 1273.82/1273.84 c 738.839 91.0078 10363 4686632 1273.82/1273.84 o 2192 1274.32/1274.39 c 739.257 91.0078 5451 4688790 1274.32/1274.39 o 2191 1274.93/1274.90 c 739.648 91.0078 5851 4690379 1274.93/1274.90 o 2190 1275.22/1275.27 c 739.932 91.0078 6107 4691723 1275.22/1275.27 o 2189 1276.52/1276.52 c 740.788 91.0078 7528 4697538 1276.52/1276.52 o 2187 1279.03/1279.04 c 742.48 91.0078 9407 4703674 1279.03/1279.04 o 2185 1282.22/1282.27 c 744.948 91.0078 7524 4713789 1282.22/1282.27 o 2184 1283.73/1283.78 c 745.94 91.0078 9138 4719552 1283.73/1283.78 o 2182 1285.22/1285.26 c 747.018 91.0078 5377 4724297 1285.22/1285.26 o 2179 1285.82/1285.90 c 747.512 91.0078 5848 4726802 1285.82/1285.90 o 2178 1287.03/1287.03 c 748.388 91.0078 7172 4732386 1287.03/1287.03 o 2177 1296.93/1296.95 c 755.54 91.0078 9722 4753033 1296.93/1296.95 o 2176 1297.43/1297.47 c 755.907 91.0078 10146 4754423 1297.43/1297.47 o 2175 1299.02/1299.01 c 757.077 91.0078 6118 4759182 1299.02/1299.01 o 2174 1300.93/1300.94 c 758.534 91.0078 7864 4765958 1300.93/1300.94 o 2173 1303.63/1303.61 c 760.383 91.0078 9890 4771902 1303.63/1303.61 o 2172 1318.23/1318.25 c 770.992 91.0078 11638 4796750 1318.23/1318.25 o 2171 1337.02/1337.00 c 785.698 91.0078 9900 4855718 1337.02/1337.00 o 2170 1338.73/1338.73 c 786.97 91.0078 5624 4861707 1338.73/1338.73 o 2169 1338.83/1338.80 c 787.03 91.0078 5665 4862714 1338.83/1338.80 o 2168 1339.62/1339.60 c 787.623 91.0078 6294 4865619 1339.62/1339.60 o 2167 1339.62/1339.65 c 787.662 91.0078 6320 4866145 1339.62/1339.65 o 2166 1340.03/1340.01 c 787.933 91.0078 6634 4867898 1340.03/1340.01 o 2165 1343.62/1343.63 c 790.495 91.0078 10004 4878049 1343.62/1343.63 o 2164 1344.13/1344.14 c 790.89 91.0078 10400 4879874 1344.13/1344.14 o 2163 1344.33/1344.38 c 791.074 91.0078 10534 4880931 1344.33/1344.38 o 2162 1344.92/1344.96 c 791.527 91.0078 5637 4883740 1344.92/1344.96 o 2161 1346.43/1346.44 c 792.661 91.0078 7063 4888385 1346.43/1346.44 o 2160 1346.52/1346.59 c 792.782 91.0078 7199 4889843 1346.52/1346.59 o 2159 1346.82/1346.83 c 792.962 91.0078 7408 4891548 1346.82/1346.83 o 2157 1347.73/1347.71 c 793.605 91.0078 8226 4894630 1347.73/1347.71 o 2156 1350.23/1350.26 c 795.313 91.0078 5859 4900896 1350.23/1350.26 o 2155 1350.73/1350.77 c 795.675 91.0078 6210 4903172 1350.73/1350.77 o 2152 1352.02/1352.07 c 796.655 91.0078 7242 4907756 1352.02/1352.07 o 2151 1354.82/1354.84 c 798.749 91.0078 9308 4914051 1354.82/1354.84 o 2150 1355.32/1355.35 c 799.099 91.0078 9566 4915186 1355.32/1355.35 o 2149 1355.72/1355.78 c 799.334 91.0078 9892 4917519 1355.72/1355.78 o 2148 1355.83/1355.88 c 799.396 91.0078 9932 4918113 1355.83/1355.88 o 2147 1356.62/1356.64 c 799.933 91.0078 10706 4920745 1356.62/1356.64 o 2146 1356.93/1356.95 c 800.178 91.0078 5693 4923059 1356.93/1356.95 o 2145 1359.22/1359.20 c 801.852 91.0078 7733 4929981 1359.22/1359.20 o 2144 1359.63/1359.62 c 802.164 91.0078 8024 4931391 1359.63/1359.62 o 2143 1361.42/1361.46 c 803.539 91.0078 9261 4935598 1361.42/1361.46 o 2142 1361.52/1361.55 c 803.613 91.0078 9319 4935990 1361.52/1361.55 o 2141 1364.03/1364.04 c 805.398 91.0078 11895 4941993 1364.03/1364.04 o 2140 1374.93/1374.92 c 813.481 91.0078 7934 4963323 1374.93/1374.92 o 2139 1374.93/1374.99 c 813.52 91.0078 7958 4964724 1374.93/1374.99 o 2138 1377.23/1377.25 c 815.089 91.0078 10168 4972923 1377.23/1377.25 o 2137 1379.23/1379.20 c 816.585 91.0078 5899 4976629 1379.23/1379.20 o 2136 1379.43/1379.48 c 816.815 91.0078 6087 4977632 1379.43/1379.48 o 2135 1380.92/1380.93 c 817.911 91.0078 7325 4982259 1380.92/1380.93 o 2134 1381.13/1381.12 c 818.067 91.0078 7543 4983518 1381.13/1381.12 o 2133 1384.23/1384.21 c 820.256 91.0078 9745 4990800 1384.23/1384.21 o 2132 1384.63/1384.67 c 820.605 91.0078 10179 4992936 1384.63/1384.67 o 2131 1387.62/1387.61 c 822.848 91.0078 6990 4998141 1387.62/1387.61 o 2130 1391.12/1391.18 c 825.382 91.0078 5390 5011256 1391.12/1391.18 o 2129 1393.22/1393.26 c 826.907 91.0078 7099 5017143 1393.22/1393.26 o 2127 1396.53/1396.53 c 829.177 91.0078 10211 5025268 1396.53/1396.53 o 2126 1399.82/1399.86 c 831.655 91.0078 7723 5034132 1399.82/1399.86 o 2125 1400.73/1400.76 c 832.335 91.0078 8333 5036774 1400.73/1400.76 o 2124 1402.53/1402.53 c 833.495 91.0078 9493 5039910 1402.53/1402.53 o 2122 1402.73/1402.70 c 833.628 91.0078 9621 5040601 1402.73/1402.70 o 2121 1403.22/1403.20 c 834.01 91.0078 10058 5042441 1403.22/1403.20 o 2120 1405.32/1405.33 c 835.594 91.0078 6654 5049785 1405.32/1405.33 o 2119 1406.02/1406.03 c 836.131 91.0078 7183 5052423 1406.02/1406.03 o 2118 1408.03/1408.03 c 837.603 91.0078 9367 5060272 1408.03/1408.03 o 2117 1408.12/1408.16 c 837.69 91.0078 9488 5061038 1408.12/1408.16 o 2116 1409.03/1409.09 c 838.339 91.0078 10307 5064186 1409.03/1409.09 o 2114 1410.42/1410.47 c 839.387 91.0078 6463 5068756 1410.42/1410.47 o 2113 1410.92/1410.93 c 839.735 91.0078 6820 5070254 1410.92/1410.93 o 2112 1411.03/1411.00 c 839.794 91.0078 6874 5070722 1411.03/1411.00 o 2111 1411.92/1411.93 c 840.499 91.0078 7662 5073302 1411.92/1411.93 o 2110 1412.33/1412.38 c 840.861 91.0078 8081 5075695 1412.33/1412.38 o 2109 1412.52/1412.57 c 840.983 91.0078 8159 5076272 1412.52/1412.57 o 2108 1413.13/1413.10 c 841.38 91.5078 8489 5077247 1413.13/1413.10 o 2107 1415.33/1415.30 c 842.859 91.5078 10208 5080897 1415.33/1415.30 o 2106 1415.43/1415.47 c 842.987 91.5078 10339 5082614 1415.43/1415.47 o 2105 1417.13/1417.13 c 844.265 91.5078 6577 5088555 1417.13/1417.13 o 2104 1418.53/1418.58 c 845.352 91.5078 7707 5091284 1418.53/1418.58 o 2103 1422.13/1422.15 c 847.901 91.5078 11161 5101350 1422.13/1422.15 o 2101 1424.33/1424.31 c 849.497 91.5078 7334 5107716 1424.33/1424.31 o 2100 1425.54/1425.59 c 850.421 91.5078 8804 5111830 1425.54/1425.59 o 2099 1426.12/1426.14 c 850.795 91.5078 9406 5114431 1426.12/1426.14 o 2097 1426.64/1426.61 c 851.161 91.5078 9918 5116937 1426.64/1426.61 o 2095 1427.13/1427.19 c 851.596 91.5078 10552 5119053 1427.13/1427.19 o 2094 1431.43/1431.45 c 854.636 91.5078 7847 5126254 1431.43/1431.45 o 2093 1432.42/1432.42 c 855.349 91.5078 8390 5128625 1432.42/1432.42 o 2088 1433.13/1433.11 c 855.885 91.5078 9099 5131426 1433.13/1433.11 o 2087 1433.13/1433.14 c 855.919 91.5078 9118 5132517 1433.13/1433.14 o 2086 1434.44/1434.45 c 856.789 91.5078 5379 5137278 1434.44/1434.45 o 2085 1434.63/1434.60 c 856.885 91.5078 5601 5138717 1434.63/1434.60 o 2084 1440.53/1440.59 c 861.307 91.5078 10566 5151542 1440.53/1440.59 o 2083 1440.83/1440.80 c 861.425 91.5078 10689 5153218 1440.83/1440.80 o 2082 1441.03/1441.09 c 861.606 91.5078 5565 5154736 1441.03/1441.09 o 2081 1441.93/1441.91 c 862.117 91.5078 6186 5156707 1441.93/1441.91 o 2079 1442.03/1442.02 c 862.208 91.5078 6294 5157402 1442.03/1442.02 o 2078 1442.03/1442.07 c 862.247 91.5078 6316 5157897 1442.03/1442.07 o 2077 1442.43/1442.43 c 862.532 91.5078 6543 5159130 1442.43/1442.43 o 2076 1446.43/1446.43 c 865.61 91.5078 10861 5170103 1446.43/1446.43 o 2075 1446.53/1446.55 c 865.704 91.5078 5500 5170856 1446.53/1446.55 o 2074 1446.83/1446.83 c 865.921 91.5078 5707 5171734 1446.83/1446.83 o 2073 1448.33/1448.37 c 866.871 91.5078 6859 5177148 1448.33/1448.37 o 2072 1450.33/1450.35 c 868.327 91.5078 8144 5181619 1450.33/1450.35 o 2071 1450.83/1450.84 c 868.606 91.5078 8592 5183289 1450.83/1450.84 o 2070 1450.93/1450.96 c 868.686 91.5078 8676 5183803 1450.93/1450.96 o 2069 1451.53/1451.51 c 869.062 91.5078 9227 5185855 1451.53/1451.51 o 2068 1455.12/1455.13 c 871.568 91.5078 6259 5192366 1455.12/1455.13 o 2067 1456.13/1456.10 c 872.327 91.5078 7088 5195831 1456.13/1456.10 o 2066 1456.73/1456.75 c 872.747 91.5078 7503 5197626 1456.73/1456.75 o 2065 1459.64/1459.67 c 874.946 91.5078 9915 5205707 1459.64/1459.67 o 2064 1460.23/1460.20 c 875.334 91.5078 10205 5207232 1460.23/1460.20 o 2063 1461.03/1461.00 c 875.781 91.5078 10784 5209533 1461.03/1461.00 o 2061 1461.03/1461.05 c 875.821 91.5078 5415 5210115 1461.03/1461.05 o 2060 1490.23/1490.24 c 896.998 91.5078 7507 5248974 1490.23/1490.24 o 2059 1491.73/1491.75 c 898.11 91.5078 8593 5254282 1491.73/1491.75 o 2056 1493.03/1493.04 c 899.079 91.5078 9534 5257846 1493.03/1493.04 o 2055 1493.74/1493.77 c 899.512 91.5078 10185 5261131 1493.74/1493.77 o 2054 1494.84/1494.86 c 900.315 91.5078 5819 5265723 1494.84/1494.86 o 2053 1495.94/1495.97 c 901.156 91.5078 6596 5268478 1495.94/1495.97 o 2052 1496.22/1496.21 c 901.338 91.5078 6839 5269762 1496.22/1496.21 o 2051 1496.83/1496.88 c 901.82 91.5078 7385 5272630 1496.83/1496.88 o 2050 1497.43/1497.46 c 902.28 91.5078 7828 5274725 1497.43/1497.46 o 2049 1497.73/1497.79 c 902.537 91.5078 8250 5276968 1497.73/1497.79 o 2048 1501.03/1501.05 c 904.815 91.5078 10666 5285623 1501.03/1501.05 o 2047 1501.13/1501.19 c 904.918 91.5078 5406 5286484 1501.13/1501.19 o 2046 1502.63/1502.63 c 906.031 91.5078 6946 5292577 1502.63/1502.63 o 2045 1503.13/1503.11 c 906.378 91.5078 7279 5294122 1503.13/1503.11 o 2044 1505.13/1505.16 c 907.958 91.5078 9501 5300638 1505.13/1505.16 o 2043 1505.53/1505.57 c 908.264 91.5078 9847 5302806 1505.53/1505.57 o 2042 1509.13/1509.16 c 910.785 91.5078 6794 5310089 1509.13/1509.16 o 2041 1511.44/1511.44 c 912.478 91.5078 9413 5318914 1511.44/1511.44 o 2040 1512.43/1512.48 c 913.285 91.5078 10292 5321996 1512.43/1512.48 o 2038 1514.43/1514.42 c 914.577 91.5078 6484 5327396 1514.43/1514.42 o 2037 1516.93/1516.94 c 916.437 91.5078 8840 5331797 1516.93/1516.94 o 2036 1517.13/1517.15 c 916.598 91.5078 8972 5332439 1517.13/1517.15 o 2035 1518.83/1518.88 c 917.947 91.5078 10888 5338356 1518.83/1518.88 o 2034 1519.63/1519.62 c 918.437 91.5078 6167 5341570 1519.63/1519.62 o 2033 1519.73/1519.78 c 918.532 91.5078 6292 5342357 1519.73/1519.78 o 2032 1520.83/1520.85 c 919.267 91.5078 7160 5345935 1520.83/1520.85 o 2028 1522.53/1522.52 c 920.562 91.5078 8967 5350143 1522.53/1522.52 o 2027 1523.54/1523.59 c 921.378 91.5078 9983 5354264 1523.54/1523.59 o 2026 1523.73/1523.74 c 921.483 91.5078 10031 5354652 1523.73/1523.74 o 2025 1524.63/1524.61 c 922.147 91.5078 10680 5357067 1524.63/1524.61 o 2024 1524.73/1524.78 c 922.267 91.5078 5466 5358029 1524.73/1524.78 o 2022 1532.63/1532.62 c 927.98 91.5078 6767 5377704 1532.63/1532.62 o 2021 1533.23/1533.30 c 928.345 91.5078 7350 5379611 1533.23/1533.30 o 2020 1533.73/1533.75 c 928.67 91.5078 7736 5381268 1533.73/1533.75 o 2019 1537.53/1537.55 c 931.575 91.5078 10797 5391341 1537.53/1537.55 o 2018 1537.93/1537.94 c 931.876 91.5078 5744 5393745 1537.93/1537.94 o 2016 1540.23/1540.26 c 933.457 91.5078 8352 5399433 1540.23/1540.26 o 2015 1540.53/1540.55 c 933.683 91.5078 8666 5401017 1540.53/1540.55 o 2014 1542.53/1542.54 c 935.204 91.5078 10230 5406670 1542.53/1542.54 o 2012 1543.53/1543.51 c 935.927 91.5078 5540 5409435 1543.53/1543.51 o 2011 1544.93/1544.97 c 937.011 91.5078 6856 5414049 1544.93/1544.97 o 2010 1551.53/1551.52 c 941.809 91.5078 11417 5424131 1551.53/1551.52 o 2009 1551.82/1551.82 c 942.039 91.5078 5932 5425275 1551.82/1551.82 o 2008 1552.43/1552.43 c 942.408 91.5078 6375 5427004 1552.43/1552.43 o 2007 1553.23/1553.26 c 942.94 91.5078 6951 5429315 1553.23/1553.26 o 2005 1554.53/1554.52 c 943.853 91.5078 7921 5432446 1554.53/1554.52 o 2004 1556.33/1556.33 c 945.14 91.5078 9424 5438382 1556.33/1556.33 o 2003 1557.13/1557.18 c 945.767 91.5078 9998 5440376 1557.13/1557.18 o 2002 1561.43/1561.45 c 948.839 91.5078 7460 5449164 1561.43/1561.45 o 2001 1561.83/1561.84 c 949.143 91.5078 7806 5450820 1561.83/1561.84 o 2000 1562.04/1562.02 c 949.266 91.5078 8020 5451957 1562.04/1562.02 o 1997 1564.43/1564.46 c 951.059 91.5078 9923 5458197 1564.43/1564.46 o 1995 1564.63/1564.63 c 951.191 91.5078 10150 5459113 1564.63/1564.63 o 1993 1564.83/1564.88 c 951.384 91.5078 10319 5459737 1564.83/1564.88 o 1992 1565.03/1565.00 c 951.478 91.5078 10431 5460376 1565.03/1565.00 o 1991 1565.13/1565.16 c 951.586 91.5078 10524 5461044 1565.13/1565.16 o 1990 1565.63/1565.61 c 951.845 91.5078 5468 5462787 1565.63/1565.61 o 1989 1568.83/1568.82 c 954.127 91.5078 7586 5469247 1568.83/1568.82 o 1984 1569.03/1569.07 c 954.329 91.5078 7815 5470831 1569.03/1569.07 o 1983 1569.83/1569.83 c 954.919 91.5078 8808 5474598 1569.83/1569.83 o 1980 1570.13/1570.14 c 955.155 91.5078 9141 5476051 1570.13/1570.14 o 1979 1572.23/1572.22 c 956.654 91.5078 5875 5481322 1572.23/1572.22 o 1978 1573.43/1573.40 c 957.454 91.5078 6802 5484545 1573.43/1573.40 o 1976 1577.93/1577.99 c 960.827 91.5078 10368 5495473 1577.93/1577.99 o 1975 1583.13/1583.19 c 964.53 91.5078 10482 5506422 1583.13/1583.19 o 1974 1584.93/1584.97 c 965.858 91.5078 6715 5513350 1584.93/1584.97 o 1973 1588.43/1588.43 c 968.332 91.5078 9288 5521853 1588.43/1588.43 o 1971 1588.63/1588.64 c 968.493 91.5078 9425 5522883 1588.63/1588.64 o 1970 1589.63/1589.69 c 969.286 91.5078 10335 5525614 1589.63/1589.69 o 1968 1592.53/1592.50 c 971.239 91.5078 7209 5533612 1592.53/1592.50 o 1967 1592.74/1592.73 c 971.405 91.5078 7475 5534949 1592.74/1592.73 o 1966 1593.03/1593.01 c 971.623 91.5078 7786 5536317 1593.03/1593.01 o 1965 1593.13/1593.14 c 971.71 91.5078 7859 5536804 1593.13/1593.14 o 1964 1593.33/1593.30 c 971.835 91.5078 7976 5537566 1593.33/1593.30 o 1963 1594.44/1594.49 c 972.741 91.5078 9249 5541288 1594.44/1594.49 o 1962 1600.54/1600.52 c 976.977 91.5078 7625 5554013 1600.54/1600.52 o 1961 1600.64/1600.60 c 977.036 91.5078 7655 5554390 1600.64/1600.60 o 1960 1603.44/1603.47 c 979.183 91.5078 10163 5563151 1603.44/1603.47 o 1959 1603.93/1603.91 c 979.519 91.5078 10534 5564353 1603.93/1603.91 o 1958 1604.74/1604.77 c 980.081 91.5078 6082 5566696 1604.74/1604.77 o 1957 1605.13/1605.11 c 980.288 91.5078 6426 5568304 1605.13/1605.11 o 1955 1605.43/1605.40 c 980.469 91.5078 6661 5569534 1605.43/1605.40 o 1954 1605.53/1605.57 c 980.579 91.5078 6753 5569987 1605.53/1605.57 o 1953 1605.83/1605.83 c 980.756 91.5078 6918 5570764 1605.83/1605.83 o 1952 1607.04/1607.01 c 981.654 91.5078 7744 5573410 1607.04/1607.01 o 1951 1607.73/1607.74 c 982.216 91.5078 8263 5575754 1607.73/1607.74 o 1950 1608.83/1608.89 c 983.09 91.5078 9174 5578946 1608.83/1608.89 o 1949 1609.03/1609.04 c 983.208 91.5078 9332 5579872 1609.03/1609.04 o 1947 1609.14/1609.14 c 983.281 91.5078 9463 5580489 1609.14/1609.14 o 1946 1609.43/1609.44 c 983.51 91.5078 9683 5581630 1609.43/1609.44 o 1945 1609.53/1609.55 c 983.601 91.5078 9728 5582187 1609.53/1609.55 o 1944 1621.84/1621.81 c 992.538 91.5078 7309 5607386 1621.84/1621.81 o 1943 1622.44/1622.48 c 993.05 91.5078 7788 5609959 1622.44/1622.48 o 1941 1625.24/1625.21 c 994.945 91.5078 10531 5619054 1625.24/1625.21 o 1940 1625.43/1625.44 c 995.121 91.5078 10761 5619913 1625.43/1625.44 o 1938 1626.34/1626.39 c 995.838 91.5078 6374 5623171 1626.34/1626.39 o 1937 1626.44/1626.46 c 995.894 91.5078 6414 5623909 1626.44/1626.46 o 1936 1628.13/1628.18 c 997.174 91.5078 8090 5628651 1628.13/1628.18 o 1935 1628.33/1628.30 c 997.266 91.5078 8206 5629516 1628.33/1628.30 o 1934 1632.13/1632.14 c 1000.06 91.5078 6251 5640627 1632.13/1632.14 o 1933 1632.93/1632.99 c 1000.7 91.5078 7115 5643774 1632.93/1632.99 o 1932 1633.03/1633.07 c 1000.76 91.5078 7157 5644077 1633.03/1633.07 o 1931 1638.74/1638.79 c 1004.79 91.5078 6204 5653355 1638.74/1638.79 o 1929 1643.93/1643.95 c 1008.68 91.5078 10295 5667084 1643.93/1643.95 o 1928 1644.34/1644.31 c 1008.9 91.5078 10652 5668521 1644.34/1644.31 o 1927 1645.63/1645.61 c 1009.71 91.5078 6199 5672037 1645.63/1645.61 o 1926 1646.74/1646.71 c 1010.55 91.5078 7115 5675483 1646.74/1646.71 o 1925 1648.14/1648.18 c 1011.67 91.5078 8413 5680077 1648.14/1648.18 o 1924 1650.04/1650.05 c 1013.1 91.5078 9978 5685549 1650.04/1650.05 o 1923 1653.34/1653.39 c 1015.46 91.5078 7457 5692165 1653.34/1653.39 o 1922 1653.93/1653.99 c 1015.92 91.5078 7979 5694321 1653.93/1653.99 o 1921 1654.23/1654.22 c 1016.09 91.5078 8090 5695548 1654.23/1654.22 o 1918 1654.54/1654.59 c 1016.38 91.5078 8350 5696746 1654.54/1654.59 o 1917 1655.33/1655.35 c 1016.93 91.5078 8893 5699175 1655.33/1655.35 o 1914 1655.63/1655.61 c 1017.13 91.5078 9130 5700212 1655.63/1655.61 o 1913 1656.33/1656.34 c 1017.67 91.5078 9643 5702509 1656.33/1656.34 o 1912 1656.94/1656.96 c 1018.15 91.5078 10210 5704763 1656.94/1656.96 o 1911 1659.83/1659.85 c 1020.09 91.5078 7152 5710813 1659.83/1659.85 o 1910 1659.94/1659.92 c 1020.14 91.5078 7175 5711120 1659.94/1659.92 o 1908 1660.24/1660.21 c 1020.32 91.5078 7365 5712057 1660.24/1660.21 o 1907 1661.33/1661.34 c 1021.16 91.5078 8616 5715959 1661.33/1661.34 o 1906 1663.03/1663.02 c 1022.45 91.5078 10142 5719691 1663.03/1663.02 o 1905 1666.34/1666.38 c 1024.84 91.5078 7682 5728408 1666.34/1666.38 o 1903 1666.63/1666.67 c 1025.07 91.5078 7906 5729438 1666.63/1666.67 o 1901 1667.13/1667.17 c 1025.45 91.5078 8308 5731731 1667.13/1667.17 o 1900 1668.13/1668.14 c 1026.19 91.5078 9267 5735285 1668.13/1668.14 o 1899 1668.43/1668.45 c 1026.43 91.5078 9536 5736608 1668.43/1668.45 o 1898 1668.83/1668.84 c 1026.73 91.5078 9844 5738844 1668.83/1668.84 o 1897 1668.83/1668.89 c 1026.77 91.5078 9863 5739469 1668.83/1668.89 o 1895 1669.33/1669.32 c 1027.08 91.5078 10304 5741384 1669.33/1669.32 o 1893 1669.43/1669.45 c 1027.19 91.5078 10390 5741753 1669.43/1669.45 o 1892 1672.93/1672.98 c 1029.65 91.5078 7334 5747164 1672.93/1672.98 o 1891 1673.93/1673.94 c 1030.32 91.5078 8158 5750159 1673.93/1673.94 o 1890 1674.43/1674.43 c 1030.64 91.5078 8609 5752005 1674.43/1674.43 o 1889 1674.83/1674.83 c 1030.91 91.5078 8954 5753463 1674.83/1674.83 o 1888 1675.74/1675.70 c 1031.53 91.5078 9892 5756939 1675.74/1675.70 o 1887 1676.14/1676.14 c 1031.87 91.5078 10345 5758594 1676.14/1676.14 o 1886 1677.03/1677.06 c 1032.46 91.5078 5596 5760647 1677.03/1677.06 o 1885 1677.23/1677.28 c 1032.59 91.5078 5758 5761525 1677.23/1677.28 o 1884 1684.43/1684.43 c 1037.77 91.5078 9144 5778807 1684.43/1684.43 o 1883 1686.03/1686.02 c 1038.96 91.5078 10356 5783526 1686.03/1686.02 o 1882 1687.04/1687.09 c 1039.75 91.5078 5762 5787149 1687.04/1687.09 o 1881 1689.03/1689.09 c 1041.28 91.5078 7443 5792903 1689.03/1689.09 o 1878 1690.83/1690.86 c 1042.5 91.5078 9111 5797174 1690.83/1690.86 o 1877 1693.94/1693.92 c 1044.83 91.5078 5682 5804335 1693.94/1693.92 o 1876 1696.24/1696.29 c 1046.61 91.5078 7599 5811469 1696.24/1696.29 o 1875 1696.83/1696.83 c 1046.94 91.5078 7950 5812576 1696.83/1696.83 o 1874 1700.54/1700.51 c 1049.62 91.5078 5799 5818881 1700.54/1700.51 o 1872 1702.13/1702.19 c 1050.87 91.5078 7230 5823959 1702.13/1702.19 o 1871 1702.84/1702.82 c 1051.34 91.5078 7600 5825329 1702.84/1702.82 o 1870 1703.03/1703.08 c 1051.51 91.5078 7859 5826434 1703.03/1703.08 o 1869 1705.83/1705.81 c 1053.44 91.5078 9998 5832590 1705.83/1705.81 o 1868 1706.14/1706.13 c 1053.7 91.5078 10349 5834176 1706.14/1706.13 o 1867 1710.24/1710.22 c 1056.7 91.5078 8223 5845244 1710.24/1710.22 o 1866 1710.54/1710.55 c 1056.92 91.5078 8485 5846477 1710.54/1710.55 o 1864 1711.13/1711.11 c 1057.35 91.5078 8810 5848321 1711.13/1711.11 o 1863 1711.24/1711.25 c 1057.45 91.5078 8876 5848730 1711.24/1711.25 o 1861 1729.94/1729.91 c 1071.08 91.5078 7880 5877362 1729.94/1729.91 o 1859 1730.93/1730.94 c 1071.79 91.5078 8795 5881794 1730.93/1730.94 o 1858 1733.94/1733.91 c 1074.04 91.5078 5884 5889941 1733.94/1733.91 o 1857 1733.94/1733.96 c 1074.08 91.5078 5920 5890447 1733.94/1733.96 o 1855 1737.63/1737.66 c 1076.74 91.5078 9326 5901110 1737.63/1737.66 o 1854 1739.15/1739.15 c 1077.88 91.5078 10663 5905376 1739.15/1739.15 o 1853 1739.54/1739.55 c 1078.19 91.5078 11051 5906631 1739.54/1739.55 o 1852 1740.04/1740.03 c 1078.56 91.5078 5840 5907741 1740.04/1740.03 o 1851 1741.84/1741.80 c 1079.92 91.5078 7578 5913925 1741.84/1741.80 o 1850 1745.23/1745.22 c 1082.36 91.5078 10438 5921995 1745.23/1745.22 o 1848 1745.43/1745.45 c 1082.54 91.5078 10610 5923035 1745.43/1745.45 o 1847 1745.74/1745.73 c 1082.75 91.5078 10802 5924022 1745.74/1745.73 o 1846 1746.54/1746.57 c 1083.38 91.5078 11231 5925286 1746.54/1746.57 o 1845 1747.24/1747.26 c 1083.93 91.5078 6336 5928663 1747.24/1747.26 o 1844 1747.84/1747.84 c 1084.38 91.5078 6893 5931167 1747.84/1747.84 o 1842 1750.83/1750.81 c 1086.45 91.5078 9255 5937605 1750.83/1750.81 o 1841 1751.43/1751.48 c 1086.96 91.5078 9687 5939439 1751.43/1751.48 o 1840 1753.13/1753.14 c 1088.15 91.5078 10661 5942685 1753.13/1753.14 o 1839 1755.64/1755.65 c 1090.02 91.5078 7293 5948673 1755.64/1755.65 o 1838 1775.63/1775.64 c 1104.67 91.7656 12671 5985228 1775.63/1775.64 o 1837 1776.54/1776.52 c 1105.22 91.7656 7085 5987523 1776.54/1776.52 o 1836 1777.23/1777.26 c 1105.8 91.7656 7758 5989928 1777.23/1777.26 o 1835 1778.23/1778.21 c 1106.53 91.7656 8491 5992949 1778.23/1778.21 o 1834 1778.34/1778.37 c 1106.66 91.7656 8637 5993739 1778.34/1778.37 o 1833 1778.54/1778.51 c 1106.77 91.7656 8696 5994202 1778.54/1778.51 o 1831 1780.64/1780.66 c 1108.44 91.7656 10323 5999939 1780.64/1780.66 o 1830 1781.74/1781.78 c 1109.28 91.7656 5919 6003512 1781.74/1781.78 o 1829 1782.23/1782.20 c 1109.52 91.7656 6262 6005324 1782.23/1782.20 o 1826 1783.64/1783.62 c 1110.52 91.7656 7576 6009968 1783.64/1783.62 o 1825 1785.94/1785.93 c 1112.24 91.7656 9542 6015777 1785.94/1785.93 o 1823 1787.84/1787.82 c 1113.65 91.7656 10811 6020154 1787.84/1787.82 o 1822 1795.24/1795.28 c 1119.11 91.7656 10170 6034474 1795.24/1795.28 o 1821 1795.83/1795.88 c 1119.49 91.7656 10546 6036028 1795.83/1795.88 o 1820 1797.24/1797.27 c 1120.54 91.7656 6681 6040364 1797.24/1797.27 o 1819 1799.04/1799.07 c 1121.9 91.7656 8426 6046505 1799.04/1799.07 o 1818 1799.54/1799.55 c 1122.24 91.7656 8767 6047674 1799.54/1799.55 o 1817 1800.05/1800.00 s SATISFIABLE 1800.05/1800.00 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 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 -x187 -x188 x189 x190 x191 x192 x193 x194 x195 x196 x197 x198 x199 x200 x201 x202 x203 x204 x205 x206 x207 x208 x209 x210 x211 x212 x213 x214 x215 x216 x217 x218 x219 x220 x221 x222 x223 x224 x225 x226 x227 x228 x229 x230 x231 x232 x233 x234 x235 x236 x237 x238 x239 x240 x241 x242 x243 x244 x245 x246 x247 x248 x249 x250 x251 x252 x253 x254 x255 x256 x257 x258 x259 x260 x261 x262 x263 x264 x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 x294 x295 x296 x297 x298 x299 x300 x301 x302 x303 x304 x305 x306 x307 x308 x309 x310 x311 x312 x313 x314 x315 x316 x317 x318 x319 x320 x321 x322 x323 x324 x325 x326 x327 x328 x329 x330 x331 x332 x333 x334 x335 x336 x337 x338 x339 x340 x341 x342 x343 x344 x345 x346 x347 x348 x349 x350 x351 x352 x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 x388 x389 -x390 x391 x392 x393 x394 x395 x396 x397 x398 x399 x400 x401 x402 x403 x404 x405 x406 x407 x408 x409 x410 x411 x412 x413 x414 x415 x416 x417 x418 x419 x420 x421 x422 x423 x424 x425 x426 x427 x428 x429 x430 x431 x432 x433 x434 x435 x436 x437 x438 x439 x440 x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 x455 x456 x457 x458 x459 x460 x461 x462 x463 x464 x465 x466 x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 x491 x492 x493 x494 x495 x496 x497 x498 x499 x500 x501 x502 x503 x504 x505 x506 x507 x508 x509 x510 x511 x512 x513 x514 x515 x516 x517 x518 x519 x520 x521 x522 x523 x524 x525 x526 x527 x528 x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 x564 x565 x566 x567 x568 x569 x570 x571 x572 x573 x574 x575 x576 x577 x578 x579 x580 x581 x582 x583 x584 x585 x586 x587 x588 x589 x590 x591 x592 x593 x594 x595 x596 x597 x598 x599 x600 x601 x602 x603 x604 x605 x606 x607 x608 x609 x610 x611 x612 x613 x614 x615 x616 x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 x655 x656 x657 x658 x659 x660 x661 x662 x663 x664 x665 x666 x667 x668 x669 x670 x671 x672 x673 x674 x675 x676 x677 x678 x679 x680 x681 x682 x683 x684 x685 x686 x687 x688 x689 x690 x691 x692 x693 x694 x695 x696 x697 x698 x699 x700 x701 x702 x703 x704 x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 x747 x748 x749 x750 x751 x752 x753 x754 x755 x756 x757 x758 x759 x760 x761 x762 x763 x764 x765 x766 x767 x768 x769 x770 x771 x772 x773 x774 x775 x776 x777 x778 x779 x780 x781 x782 x783 x784 x785 x786 x787 x788 x789 x790 x791 x792 x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 x848 x849 x850 x851 x852 x853 x854 x855 x856 x857 x858 x859 x860 x861 x862 x863 x864 x865 x866 x867 x868 x869 x870 x871 x872 x873 x874 x875 x876 x877 x878 x879 x880 x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 x936 x937 x938 x939 x940 x941 x942 x943 x944 x945 x946 x947 x948 x949 x950 x951 x952 x953 x954 x955 x956 x957 x958 x959 x960 x961 x962 x963 x964 x965 x966 x967 x968 x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 x1014 x1015 x1016 -x1017 x1018 x1019 -x1020 x1021 x1022 x1023 x1024 x1025 x1026 x1027 x1028 x1029 x1030 x1031 x1032 x1033 x1034 x1035 x1036 x1037 x1038 x1039 x1040 x1041 x1042 x1043 x1044 x1045 x1046 x1047 x1048 x1049 x1050 x1051 x1052 x1053 x1054 x1055 x1056 x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 x1124 x1125 x1126 x1127 x1128 x1129 x1130 x1131 x1132 x1133 x1134 x1135 x1136 x1137 x1138 x1139 x1140 x1141 x1142 x1143 x1144 x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 x1217 x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 x1297 x1298 x1299 x1300 x1301 x1302 x1303 x1304 x1305 x1306 x1307 x1308 x1309 x1310 x1311 x1312 x1313 x1314 x1315 x1316 x1317 x1318 x1319 x1320 x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 x1387 x1388 x1389 x1390 x1391 x1392 x1393 x1394 x1395 x1396 x1397 x1398 x1399 x1400 x1401 x1402 x1403 x1404 x1405 x1406 x1407 x1408 x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 x1485 x1486 x1487 x1488 x1489 x1490 x1491 x1492 x1493 x1494 x1495 x1496 x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 x1581 x1582 x1583 x1584 x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 x1667 x1668 x1669 x1670 x1671 x1672 x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 x1693 x1694 x1695 x1696 x1697 x1698 x1699 x1700 x1701 x1702 x1703 x1704 x1705 x1706 x1707 x1708 x1709 x1710 x1711 x1712 x1713 x1714 x1715 x1716 x1717 x1718 x1719 x1720 x1721 x1722 x1723 x1724 x1725 x1726 x1727 x1728 x1729 x1730 x1731 x1732 x1733 x1734 x1735 x1736 x1737 x1738 x1739 x1740 x1741 x1742 x1743 x1744 x1745 x1746 x1747 x1748 x1749 x1750 x1751 x1752 x1753 x1754 x1755 x1756 x1757 x1758 x1759 x1760 x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 x1813 x1814 x1815 -x1816 -x1817 -x1818 -x1819 x1820 x1821 x1822 x1823 -x1824 -x1825 x1826 x1827 x1828 x1829 x1830 x1831 x1832 x1833 x1834 x1835 x1836 x1837 x1838 x1839 x1840 x1841 x1842 x1843 x1844 x1845 x1846 x1847 x1848 x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 x1912 x1913 x1914 x1915 x1916 x1917 x1918 x1919 x1920 x1921 x1922 x1923 x1924 x1925 x1926 x1927 x1928 x1929 x1930 x1931 x1932 x1933 x1934 x1935 x1936 x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 x2010 x2011 x2012 x2013 x2014 x2015 x2016 x2017 x2018 x2019 x2020 x2021 x2022 x2023 x2024 x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 x2102 x2103 x2104 x2105 x2106 x2107 x2108 x2109 x2110 x2111 x2112 x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 x2174 x2175 x2176 x2177 x2178 x2179 x2180 x2181 x2182 x2183 x2184 x2185 x2186 x2187 x2188 x2189 x2190 x2191 x2192 x2193 x2194 x2195 x2196 x2197 x2198 x2199 x2200 x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 x2280 x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 x2368 x2369 x2370 x2371 x2372 x2373 x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 x2464 x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 x2539 x2540 -x2541 -x2542 -x2543 -x2544 -x2545 x2546 x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 x2639 x2640 x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 x2757 x2758 x2759 x2760 x2761 x2762 -x2763 x2764 x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 x2821 x2822 x2823 x2824 x2825 x2826 x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 x2916 x2917 x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 x3021 x3022 x3023 x3024 x3025 x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 x3115 x3116 -x3117 x3118 x3119 x3120 x3121 -x3122 -x3123 x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 x3182 x3183 x3184 x3185 x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 x3218 x3219 x3220 x3221 x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 x3291 x3292 x3293 x3294 x3295 x3296 x3297 x3298 x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 x3382 x3383 x3384 x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 x3474 x3475 x3476 x3477 x3478 x3479 x3480 x3481 x3482 x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 x3575 x3576 x3577 x3578 -x3579 x3580 x3581 x3582 x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 x3663 x3664 x3665 x3666 x3667 x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 x3741 x3742 x3743 -x3744 x3745 x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 x3852 -x3853 x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 x3944 x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 x4024 x4025 x4026 x4027 x4028 x4029 x4030 x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 x4115 -x4116 x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 x4212 x4213 x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4390 -x4391 -x4392 -x4393 x4394 x4395 -x4396 x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x4410 -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 x4420 x4421 x4422 x4423 x4424 x4425 x4426 x4427 x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x4470 -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 -x4480 -x4481 -x4482 -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 -x4499 -x4500 -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4510 -x4511 -x4512 -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4524 -x4525 -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 -x4532 -x4533 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 x4540 x4541 x4542 -x4543 -x4544 -x4545 -x4546 x4547 -x4548 -x4549 -x4550 -x4551 -x4552 x4553 x4554 -x4555 -x4556 -x4557 -x4558 x4559 x4560 -x4561 -x4562 -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x4590 -x4591 -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 -x4598 -x4599 -x4600 -x4601 -x4602 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x4610 -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x4620 -x4621 -x4622 -x4623 -x4624 -x4625 -x4626 -x4627 -x4628 -x4629 -x4630 -x4631 -x4632 -x4633 -x4634 -x4635 -x4636 -x4637 -x4638 x4639 x4640 x4641 x4642 x4643 x4644 x4645 x4646 x4647 -x4648 -x4649 -x4650 -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 -x4660 -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4667 -x4668 -x4669 -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 -x4677 -x4678 -x4679 -x4680 -x4681 -x4682 -x4683 -x4684 -x4685 -x4686 -x4687 -x4688 -x4689 -x4690 -x4691 -x4692 -x4693 -x4694 -x4695 -x4696 -x4697 -x4698 -x4699 -x4700 -x4701 -x4702 -x4703 -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4710 -x4711 -x4712 -x4713 -x4714 -x4715 -x4716 -x4717 -x4718 -x4719 -x4720 -x4721 -x4722 -x4723 -x4724 -x4725 -x4726 -x4727 -x4728 -x4729 -x4730 -x4731 -x4732 -x4733 -x4734 -x4735 -x4736 x4737 x4738 x4739 x4740 x4741 x4742 -x4743 -x4744 -x4745 -x4746 -x4747 -x4748 -x4749 -x4750 -x4751 -x4752 -x4753 -x4754 -x4755 -x4756 -x4757 -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 -x4769 -x4770 -x4771 -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 -x4779 -x4780 -x4781 -x4782 -x4783 -x4784 -x4785 -x4786 -x4787 -x4788 -x4789 -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 -x4798 -x4799 -x4800 -x4801 -x4802 -x4803 -x4804 -x4805 -x4806 -x4807 -x4808 -x4809 -x4810 -x4811 -x4812 -x4813 -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 -x4820 -x4821 -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 -x4828 x4829 x4830 x4831 x4832 x4833 x4834 x4835 x4836 x4837 -x4838 -x4839 -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 -x4846 -x4847 -x4848 -x4849 -x4850 -x4851 -x4852 -x4853 -x4854 -x4855 -x4856 -x4857 -x4858 -x4859 -x4860 -x4861 -x4862 -x4863 -x4864 -x4865 -x4866 -x4867 -x4868 -x4869 -x4870 -x4871 -x4872 -x4873 -x4874 -x4875 -x4876 -x4877 -x4878 -x4879 -x4880 -x4881 -x4882 -x4883 -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 -x4890 -x4891 -x4892 -x4893 -x4894 -x4895 -x4896 -x4897 -x4898 -x4899 -x4900 x4901 x4902 x4903 -x4904 -x4905 -x4906 -x4907 -x4908 -x4909 -x4910 -x4911 -x4912 -x4913 -x4914 -x4915 -x4916 -x4917 -x4918 -x4919 -x4920 -x4921 -x4922 -x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4929 -x4930 -x4931 -x4932 -x4933 -x4934 -x4935 -x4936 -x4937 -x4938 -x4939 -x4940 -x4941 -x4942 -x4943 -x4944 -x4945 -x4946 -x4947 -x4948 -x4949 -x4950 -x4951 -x4952 -x4953 -x4954 -x4955 -x4956 -x4957 -x4958 -x4959 -x4960 -x4961 -x4962 -x4963 -x4964 -x4965 -x4966 -x4967 -x4968 -x4969 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 -x4977 -x4978 -x4979 -x4980 -x4981 -x4982 -x4983 -x4984 -x4985 -x4986 -x4987 -x4988 -x4989 -x4990 -x4991 -x4992 -x4993 -x4994 -x4995 -x4996 -x4997 -x4998 -x4999 -x5000 -x5001 -x5002 -x5003 -x5004 -x5005 -x5006 x5007 x5008 x5009 -x5010 -x5011 -x5012 -x5013 -x5014 -x5015 -x5016 -x5017 -x5018 -x5019 -x5020 -x5021 -x5022 -x5023 -x5024 -x5025 -x5026 -x5027 -x5028 -x5029 -x5030 -x5031 -x5032 -x5033 -x5034 -x5035 -x5036 -x5037 -x5038 -x5039 -x5040 -x5041 -x5042 -x5043 -x5044 -x5045 -x5046 -x5047 -x5048 -x5049 -x5050 -x5051 -x5052 -x5053 -x5054 -x5055 -x5056 -x5057 -x5058 -x5059 -x5060 -x5061 -x5062 -x5063 -x5064 -x5065 -x5066 -x5067 -x5068 -x5069 -x5070 -x5071 -x5072 -x5073 -x5074 -x5075 -x5076 -x5077 -x5078 -x5079 -x5080 -x5081 -x5082 -x5083 -x5084 -x5085 -x5086 -x5087 -x5088 -x5089 -x5090 -x5091 -x5092 -x5093 -x5094 x5095 x5096 x5097 x5098 x5099 -x5100 x5101 -x5102 -x5103 -x5104 -x5105 -x5106 -x5107 -x5108 -x5109 -x5110 -x5111 -x5112 -x5113 -x5114 -x5115 -x5116 -x5117 -x5118 -x5119 -x5120 -x5121 -x5122 -x5123 -x5124 -x5125 -x5126 -x5127 -x5128 -x5129 -x5130 -x5131 -x5132 -x5133 -x5134 -x5135 -x5136 -x5137 -x5138 -x5139 -x5140 -x5141 -x5142 -x5143 -x5144 -x5145 -x5146 -x5147 -x5148 -x5149 -x5150 -x5151 -x5152 -x5153 -x5154 -x5155 -x5156 -x5157 -x5158 -x5159 -x5160 -x5161 -x5162 -x5163 -x5164 -x5165 -x5166 -x5167 -x5168 -x5169 -x5170 -x5171 -x5172 -x5173 -x5174 -x5175 -x5176 -x5177 -x5178 -x5179 -x5180 -x5181 -x5182 -x5183 -x5184 -x5185 -x5186 -x5187 -x5188 -x5189 -x5190 -x5191 x5192 -x5193 -x5194 -x5195 -x5196 -x5197 -x5198 -x5199 -x5200 -x5201 -x5202 -x5203 -x5204 -x5205 -x5206 -x5207 -x5208 -x5209 -x5210 -x5211 -x5212 -x5213 -x5214 -x5215 -x5216 -x5217 -x5218 -x5219 -x5220 -x5221 -x5222 -x5223 -x5224 -x5225 -x5226 -x5227 -x5228 -x5229 -x5230 -x5231 -x5232 -x5233 -x5234 -x5235 -x5236 -x5237 -x5238 -x5239 -x5240 -x5241 -x5242 -x5243 -x5244 -x5245 -x5246 -x5247 -x5248 -x5249 -x5250 -x5251 -x5252 -x5253 -x5254 -x5255 x5256 -x5257 -x5258 -x5259 -x5260 -x5261 -x5262 -x5263 -x5264 -x5265 -x5266 x5267 -x5268 -x5269 -x5270 -x5271 -x5272 -x5273 -x5274 -x5275 -x5276 -x5277 -x5278 -x5279 -x5280 -x5281 -x5282 -x5283 -x5284 -x5285 -x5286 -x5287 -x5288 -x5289 -x5290 -x5291 -x5292 -x5293 -x5294 -x5295 -x5296 -x5297 -x5298 -x5299 -x5300 -x5301 -x5302 -x5303 -x5304 -x5305 -x5306 -x5307 -x5308 -x5309 -x5310 -x5311 -x5312 -x5313 -x5314 -x5315 -x5316 -x5317 -x5318 -x5319 -x5320 -x5321 -x5322 -x5323 -x5324 -x5325 -x5326 -x5327 -x5328 -x5329 -x5330 -x5331 -x5332 -x5333 -x5334 -x5335 -x5336 -x5337 -x5338 -x5339 -x5340 -x5341 -x5342 -x5343 -x5344 -x5345 -x5346 -x5347 -x5348 -x5349 -x5350 -x5351 -x5352 -x5353 -x5354 -x5355 -x5356 -x5357 -x5358 -x5359 -x5360 -x5361 -x5362 -x5363 -x5364 -x5365 x5366 x5367 -x5368 -x5369 -x5370 -x5371 -x5372 -x5373 -x5374 -x5375 -x5376 -x5377 -x5378 -x5379 -x5380 -x5381 -x5382 -x5383 -x5384 -x5385 -x5386 -x5387 -x5388 -x5389 -x5390 -x5391 -x5392 -x5393 -x5394 -x5395 -x5396 -x5397 -x5398 -x5399 -x5400 -x5401 -x5402 -x5403 -x5404 -x5405 -x5406 -x5407 -x5408 -x5409 -x5410 -x5411 -x5412 -x5413 -x5414 -x5415 -x5416 -x5417 -x5418 -x5419 -x5420 -x5421 -x5422 -x5423 -x5424 -x5425 -x5426 -x5427 -x5428 -x5429 -x5430 -x5431 -x5432 -x5433 -x5434 -x5435 -x5436 -x5437 -x5438 -x5439 -x5440 -x5441 -x5442 -x5443 -x5444 -x5445 -x5446 -x5447 -x5448 -x5449 -x5450 -x5451 -x5452 -x5453 -x5454 -x5455 x5456
OK 1817
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2698983-1278462001/watcher-2698983-1278462001 -o /tmp/evaluation-result-2698983-1278462001/solver-2698983-1278462001 -C 1800 -W 2000 -M 3800 HOME/pbct --model HOME/instance-2698983-1278462001.wbo 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): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 3891200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 3942400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.95 1.99 1.93 3/178 14439 /proc/meminfo: memFree=30354080/32950928 swapFree=67111528/67111528 [pid=14439] ppid=14437 vsize=2136 CPUtime=0 /proc/14439/stat : 14439 (pbct) R 14437 14439 13912 0 -1 4202496 252 0 0 0 0 0 0 0 21 0 1 0 14413635 2187264 172 4089446400 134512640 136422188 4294361184 18446744073709551615 135811945 0 0 4096 0 0 0 0 17 2 0 0 0 /proc/14439/statm: 534 172 144 467 0 65 0 [startup+0.0980501 s] /proc/loadavg: 1.95 1.99 1.93 3/178 14439 /proc/meminfo: memFree=30354080/32950928 swapFree=67111528/67111528 [pid=14439] ppid=14437 vsize=3588 CPUtime=0.09 /proc/14439/stat : 14439 (pbct) R 14437 14439 13912 0 -1 4202496 596 0 0 0 9 0 0 0 21 0 1 0 14413635 3674112 516 4089446400 134512640 136422188 4294361184 18446744073709551615 135161950 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/14439/statm: 897 516 145 467 0 428 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3588 [startup+0.101088 s] /proc/loadavg: 1.95 1.99 1.93 3/178 14439 /proc/meminfo: memFree=30354080/32950928 swapFree=67111528/67111528 [pid=14439] ppid=14437 vsize=3588 CPUtime=0.09 /proc/14439/stat : 14439 (pbct) R 14437 14439 13912 0 -1 4202496 596 0 0 0 9 0 0 0 21 0 1 0 14413635 3674112 516 4089446400 134512640 136422188 4294361184 18446744073709551615 135161950 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/14439/statm: 897 516 145 467 0 428 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3588 [startup+0.301077 s] /proc/loadavg: 1.95 1.99 1.93 3/178 14439 /proc/meminfo: memFree=30354080/32950928 swapFree=67111528/67111528 [pid=14439] ppid=14437 vsize=42868 CPUtime=0.29 /proc/14439/stat : 14439 (pbct) R 14437 14439 13912 0 -1 4202496 10766 0 0 0 28 1 0 0 21 0 1 0 14413635 43896832 10148 4089446400 134512640 136422188 4294361184 18446744073709551615 135811945 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/14439/statm: 10717 10151 193 467 0 10248 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 42868 [startup+0.701001 s] /proc/loadavg: 1.95 1.99 1.93 3/178 14439 /proc/meminfo: memFree=30354080/32950928 swapFree=67111528/67111528 [pid=14439] ppid=14437 vsize=79892 CPUtime=0.69 /proc/14439/stat : 14439 (pbct) R 14437 14439 13912 0 -1 4202496 20362 0 0 0 52 17 0 0 22 0 1 0 14413635 81809408 18815 4089446400 134512640 136422188 4294361184 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/14439/statm: 19973 18815 213 467 0 19504 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 79892 [startup+1.50086 s] /proc/loadavg: 1.95 1.99 1.93 3/179 14440 /proc/meminfo: memFree=30279340/32950928 swapFree=67111528/67111528 [pid=14439] ppid=14437 vsize=81412 CPUtime=1.49 /proc/14439/stat : 14439 (pbct) R 14437 14439 13912 0 -1 4202496 20872 0 0 0 88 61 0 0 25 0 1 0 14413635 83365888 18960 4089446400 134512640 136422188 4294361184 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/14439/statm: 20353 18960 236 467 0 19884 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 81412 [startup+3.10057 s] /proc/loadavg: 1.95 1.99 1.93 3/179 14440 /proc/meminfo: memFree=30278844/32950928 swapFree=67111528/67111528 [pid=14439] ppid=14437 vsize=81808 CPUtime=3.09 /proc/14439/stat : 14439 (pbct) R 14437 14439 13912 0 -1 4202496 20977 0 0 0 141 168 0 0 25 0 1 0 14413635 83771392 19051 4089446400 134512640 136422188 4294361184 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/14439/statm: 20452 19051 237 467 0 19983 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 81808 [startup+6.30101 s] /proc/loadavg: 1.95 1.99 1.93 3/179 14440 /proc/meminfo: memFree=30278404/32950928 swapFree=67111528/67111528 [pid=14439] ppid=14437 vsize=82600 CPUtime=6.29 /proc/14439/stat : 14439 (pbct) R 14437 14439 13912 0 -1 4202496 21223 0 0 0 288 341 0 0 25 0 1 0 14413635 84582400 19271 4089446400 134512640 136422188 4294361184 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/14439/statm: 20650 19271 237 467 0 20181 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 82600 [startup+12.7008 s] /proc/loadavg: 1.96 1.99 1.93 3/179 14441 /proc/meminfo: memFree=30276316/32950928 swapFree=67111528/67111528 [pid=14439] ppid=14437 vsize=84316 CPUtime=12.69 /proc/14439/stat : 14439 (pbct) R 14437 14439 13912 0 -1 4202496 21679 0 0 0 551 718 0 0 25 0 1 0 14413635 86339584 19695 4089446400 134512640 136422188 4294361184 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/14439/statm: 21079 19695 237 467 0 20610 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 84316 [startup+25.5005 s] /proc/loadavg: 1.97 1.99 1.93 3/179 14441 /proc/meminfo: memFree=30275916/32950928 swapFree=67111528/67111528 [pid=14439] ppid=14437 vsize=85240 CPUtime=25.49 /proc/14439/stat : 14439 (pbct) R 14437 14439 13912 0 -1 4202496 21946 0 0 0 1057 1492 0 0 25 0 1 0 14413635 87285760 19933 4089446400 134512640 136422188 4294361184 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/14439/statm: 21310 19933 237 467 0 20841 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 85240 [startup+51.1009 s] /proc/loadavg: 1.98 1.99 1.93 3/179 14441 /proc/meminfo: memFree=30273536/32950928 swapFree=67111528/67111528 [pid=14439] ppid=14437 vsize=87484 CPUtime=51.09 /proc/14439/stat : 14439 (pbct) R 14437 14439 13912 0 -1 4202496 22522 0 0 0 2106 3003 0 0 25 0 1 0 14413635 89583616 20496 4089446400 134512640 136422188 4294361184 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/14439/statm: 21871 20496 237 467 0 21402 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 87484 [startup+102.306 s] /proc/loadavg: 2.04 2.01 1.93 3/179 14443 /proc/meminfo: memFree=30270988/32950928 swapFree=67111528/67111528 [pid=14439] ppid=14437 vsize=89596 CPUtime=102.3 /proc/14439/stat : 14439 (pbct) R 14437 14439 13912 0 -1 4202496 23133 0 0 0 4190 6040 0 0 25 0 1 0 14413635 91746304 21021 4089446400 134512640 136422188 4294361184 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/14439/statm: 22399 21021 237 467 0 21930 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 89596 [startup+162.3 s] /proc/loadavg: 2.01 2.00 1.93 3/179 14445 /proc/meminfo: memFree=30270812/32950928 swapFree=67111528/67111528 [pid=14439] ppid=14437 vsize=89596 CPUtime=162.29 /proc/14439/stat : 14439 (pbct) R 14437 14439 13912 0 -1 4202496 23197 0 0 0 6654 9575 0 0 25 0 1 0 14413635 91746304 21021 4089446400 134512640 136422188 4294361184 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/14439/statm: 22399 21021 237 467 0 21930 0 Current children cumulated CPU time (s) 162.29 Current children cumulated vsize (KiB) 89596 [startup+222.3 s] /proc/loadavg: 2.00 2.00 1.93 3/179 14446 /proc/meminfo: memFree=30270500/32950928 swapFree=67111528/67111528 [pid=14439] ppid=14437 vsize=89596 CPUtime=222.3 /proc/14439/stat : 14439 (pbct) R 14437 14439 13912 0 -1 4202496 23274 0 0 0 9109 13121 0 0 25 0 1 0 14413635 91746304 21021 4089446400 134512640 136422188 4294361184 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/14439/statm: 22399 21021 237 467 0 21930 0 Current children cumulated CPU time (s) 222.3 Current children cumulated vsize (KiB) 89596 [startup+282.301 s] /proc/loadavg: 2.00 2.00 1.93 3/179 14447 /proc/meminfo: memFree=30270556/32950928 swapFree=67111528/67111528 [pid=14439] ppid=14437 vsize=89596 CPUtime=282.3 /proc/14439/stat : 14439 (pbct) R 14437 14439 13912 0 -1 4202496 23338 0 0 0 11596 16634 0 0 25 0 1 0 14413635 91746304 21023 4089446400 134512640 136422188 4294361184 18446744073709551615 135026072 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/14439/statm: 22399 21023 237 467 0 21930 0 Current children cumulated CPU time (s) 282.3 Current children cumulated vsize (KiB) 89596 [startup+342.301 s] /proc/loadavg: 2.00 2.00 1.93 3/179 14449 /proc/meminfo: memFree=30270376/32950928 swapFree=67111528/67111528 [pid=14439] ppid=14437 vsize=89596 CPUtime=342.3 /proc/14439/stat : 14439 (pbct) R 14437 14439 13912 0 -1 4202496 23375 0 0 0 14096 20134 0 0 25 0 1 0 14413635 91746304 21023 4089446400 134512640 136422188 4294361184 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/14439/statm: 22399 21023 237 467 0 21930 0 Current children cumulated CPU time (s) 342.3 Current children cumulated vsize (KiB) 89596 [startup+402.3 s] /proc/loadavg: 2.00 2.00 1.93 3/179 14451 /proc/meminfo: memFree=30269688/32950928 swapFree=67111528/67111528 [pid=14439] ppid=14437 vsize=90388 CPUtime=402.3 /proc/14439/stat : 14439 (pbct) R 14437 14439 13912 0 -1 4202496 23586 0 0 0 16629 23601 0 0 25 0 1 0 14413635 92557312 21216 4089446400 134512640 136422188 4294361184 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/14439/statm: 22597 21216 237 467 0 22128 0 Current children cumulated CPU time (s) 402.3 Current children cumulated vsize (KiB) 90388 [startup+462.301 s] /proc/loadavg: 2.00 2.00 1.93 3/179 14453 /proc/meminfo: memFree=30269388/32950928 swapFree=67111528/67111528 [pid=14439] ppid=14437 vsize=90388 CPUtime=462.3 /proc/14439/stat : 14439 (pbct) R 14437 14439 13912 0 -1 4202496 23660 0 0 0 19166 27064 0 0 25 0 1 0 14413635 92557312 21225 4089446400 134512640 136422188 4294361184 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/14439/statm: 22597 21225 237 467 0 22128 0 Current children cumulated CPU time (s) 462.3 Current children cumulated vsize (KiB) 90388 [startup+522.301 s] /proc/loadavg: 2.00 2.00 1.93 3/179 14454 /proc/meminfo: memFree=30269300/32950928 swapFree=67111528/67111528 [pid=14439] ppid=14437 vsize=90388 CPUtime=522.3 /proc/14439/stat : 14439 (pbct) R 14437 14439 13912 0 -1 4202496 23690 0 0 0 21733 30497 0 0 25 0 1 0 14413635 92557312 21226 4089446400 134512640 136422188 4294361184 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/14439/statm: 22597 21226 237 467 0 22128 0 Current children cumulated CPU time (s) 522.3 Current children cumulated vsize (KiB) 90388 [startup+582.3 s] /proc/loadavg: 2.00 2.00 1.93 3/179 14455 /proc/meminfo: memFree=30267520/32950928 swapFree=67111528/67111528 [pid=14439] ppid=14437 vsize=91996 CPUtime=582.31 /proc/14439/stat : 14439 (pbct) R 14437 14439 13912 0 -1 4202496 24087 0 0 0 24469 33762 0 0 25 0 1 0 14413635 94203904 21622 4089446400 134512640 136422188 4294361184 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/14439/statm: 22999 21622 237 467 0 22530 0 Current children cumulated CPU time (s) 582.31 Current children cumulated vsize (KiB) 91996 [startup+642.3 s] /proc/loadavg: 2.00 2.00 1.93 3/179 14485 /proc/meminfo: memFree=29603164/32950928 swapFree=67111528/67111528 [pid=14439] ppid=14437 vsize=91996 CPUtime=642.31 /proc/14439/stat : 14439 (pbct) R 14437 14439 13912 0 -1 4202496 24134 0 0 0 28458 35773 0 0 25 0 1 0 14413635 94203904 21623 4089446400 134512640 136422188 4294361184 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/14439/statm: 22999 21623 237 467 0 22530 0 Current children cumulated CPU time (s) 642.31 Current children cumulated vsize (KiB) 91996 [startup+702.301 s] ################ # More data... # ################ [startup+822.3 s] /proc/loadavg: 2.00 2.00 1.93 3/179 14490 /proc/meminfo: memFree=29395028/32950928 swapFree=67111528/67111528 [pid=14439] ppid=14437 vsize=91996 CPUtime=822.31 /proc/14439/stat : 14439 (pbct) R 14437 14439 13912 0 -1 4202496 24264 0 0 0 41337 40894 0 0 25 0 1 0 14413635 94203904 21625 4089446400 134512640 136422188 4294361184 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/14439/statm: 22999 21625 237 467 0 22530 0 Current children cumulated CPU time (s) 822.31 Current children cumulated vsize (KiB) 91996 [startup+882.301 s] /proc/loadavg: 2.00 2.00 1.93 3/179 14491 /proc/meminfo: memFree=29314360/32950928 swapFree=67111528/67111528 [pid=14439] ppid=14437 vsize=91996 CPUtime=882.32 /proc/14439/stat : 14439 (pbct) R 14437 14439 13912 0 -1 4202496 24324 0 0 0 45668 42564 0 0 25 0 1 0 14413635 94203904 21626 4089446400 134512640 136422188 4294361184 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/14439/statm: 22999 21626 237 467 0 22530 0 Current children cumulated CPU time (s) 882.32 Current children cumulated vsize (KiB) 91996 [startup+942.301 s] /proc/loadavg: 2.00 2.00 1.93 3/179 14493 /proc/meminfo: memFree=29197252/32950928 swapFree=67111528/67111528 [pid=14439] ppid=14437 vsize=91996 CPUtime=942.31 /proc/14439/stat : 14439 (pbct) R 14437 14439 13912 0 -1 4202496 24356 0 0 0 49983 44248 0 0 25 0 1 0 14413635 94203904 21626 4089446400 134512640 136422188 4294361184 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/14439/statm: 22999 21626 237 467 0 22530 0 Current children cumulated CPU time (s) 942.31 Current children cumulated vsize (KiB) 91996 [startup+1002.3 s] /proc/loadavg: 2.00 2.00 1.93 3/179 14495 /proc/meminfo: memFree=29121928/32950928 swapFree=67111528/67111528 [pid=14439] ppid=14437 vsize=91996 CPUtime=1002.31 /proc/14439/stat : 14439 (pbct) R 14437 14439 13912 0 -1 4202496 24384 0 0 0 54318 45913 0 0 25 0 1 0 14413635 94203904 21633 4089446400 134512640 136422188 4294361184 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/14439/statm: 22999 21633 237 467 0 22530 0 Current children cumulated CPU time (s) 1002.31 Current children cumulated vsize (KiB) 91996 [startup+1062.3 s] /proc/loadavg: 2.00 2.00 1.93 3/179 14497 /proc/meminfo: memFree=29035444/32950928 swapFree=67111528/67111528 [pid=14439] ppid=14437 vsize=91996 CPUtime=1062.32 /proc/14439/stat : 14439 (pbct) R 14437 14439 13912 0 -1 4202496 24441 0 0 0 58610 47622 0 0 25 0 1 0 14413635 94203904 21653 4089446400 134512640 136422188 4294361184 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/14439/statm: 22999 21653 237 467 0 22530 0 Current children cumulated CPU time (s) 1062.32 Current children cumulated vsize (KiB) 91996 [startup+1122.3 s] /proc/loadavg: 2.00 2.00 1.93 3/179 14498 /proc/meminfo: memFree=28956020/32950928 swapFree=67111528/67111528 [pid=14439] ppid=14437 vsize=91996 CPUtime=1122.32 /proc/14439/stat : 14439 (pbct) R 14437 14439 13912 0 -1 4202496 24484 0 0 0 62898 49334 0 0 25 0 1 0 14413635 94203904 21653 4089446400 134512640 136422188 4294361184 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/14439/statm: 22999 21653 237 467 0 22530 0 Current children cumulated CPU time (s) 1122.32 Current children cumulated vsize (KiB) 91996 [startup+1182.3 s] /proc/loadavg: 2.00 2.00 1.93 3/179 14499 /proc/meminfo: memFree=28900772/32950928 swapFree=67111528/67111528 [pid=14439] ppid=14437 vsize=93188 CPUtime=1182.32 /proc/14439/stat : 14439 (pbct) R 14437 14439 13912 0 -1 4202496 24797 0 0 0 67235 50997 0 0 25 0 1 0 14413635 95424512 21941 4089446400 134512640 136422188 4294361184 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/14439/statm: 23297 21941 237 467 0 22828 0 Current children cumulated CPU time (s) 1182.32 Current children cumulated vsize (KiB) 93188 [startup+1242.3 s] /proc/loadavg: 2.00 2.00 1.93 3/179 14501 /proc/meminfo: memFree=28809076/32950928 swapFree=67111528/67111528 [pid=14439] ppid=14437 vsize=93188 CPUtime=1242.32 /proc/14439/stat : 14439 (pbct) R 14437 14439 13912 0 -1 4202496 24842 0 0 0 71574 52658 0 0 25 0 1 0 14413635 95424512 21942 4089446400 134512640 136422188 4294361184 18446744073709551615 135025990 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/14439/statm: 23297 21942 237 467 0 22828 0 Current children cumulated CPU time (s) 1242.32 Current children cumulated vsize (KiB) 93188 [startup+1302.3 s] /proc/loadavg: 2.00 2.00 1.93 3/179 14503 /proc/meminfo: memFree=28728520/32950928 swapFree=67111528/67111528 [pid=14439] ppid=14437 vsize=93188 CPUtime=1302.33 /proc/14439/stat : 14439 (pbct) R 14437 14439 13912 0 -1 4202496 24871 0 0 0 75956 54277 0 0 25 0 1 0 14413635 95424512 21942 4089446400 134512640 136422188 4294361184 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/14439/statm: 23297 21942 237 467 0 22828 0 Current children cumulated CPU time (s) 1302.33 Current children cumulated vsize (KiB) 93188 [startup+1362.3 s] /proc/loadavg: 2.00 2.00 1.93 3/179 14505 /proc/meminfo: memFree=28650860/32950928 swapFree=67111528/67111528 [pid=14439] ppid=14437 vsize=93188 CPUtime=1362.32 /proc/14439/stat : 14439 (pbct) R 14437 14439 13912 0 -1 4202496 24902 0 0 0 80411 55821 0 0 25 0 1 0 14413635 95424512 21944 4089446400 134512640 136422188 4294361184 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/14439/statm: 23297 21944 237 467 0 22828 0 Current children cumulated CPU time (s) 1362.32 Current children cumulated vsize (KiB) 93188 [startup+1422.31 s] /proc/loadavg: 2.00 2.00 1.93 3/179 14506 /proc/meminfo: memFree=28562988/32950928 swapFree=67111528/67111528 [pid=14439] ppid=14437 vsize=93700 CPUtime=1422.34 /proc/14439/stat : 14439 (pbct) R 14437 14439 13912 0 -1 4202496 25070 0 0 0 84802 57432 0 0 25 0 1 0 14413635 95948800 21947 4089446400 134512640 136422188 4294361184 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/14439/statm: 23425 21947 237 467 0 22956 0 Current children cumulated CPU time (s) 1422.34 Current children cumulated vsize (KiB) 93700 [startup+1482.3 s] /proc/loadavg: 2.00 2.00 1.93 3/179 14507 /proc/meminfo: memFree=28500804/32950928 swapFree=67111528/67111528 [pid=14439] ppid=14437 vsize=93700 CPUtime=1482.33 /proc/14439/stat : 14439 (pbct) R 14437 14439 13912 0 -1 4202496 25103 0 0 0 89132 59101 0 0 25 0 1 0 14413635 95948800 21947 4089446400 134512640 136422188 4294361184 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/14439/statm: 23425 21947 237 467 0 22956 0 Current children cumulated CPU time (s) 1482.33 Current children cumulated vsize (KiB) 93700 [startup+1542.3 s] /proc/loadavg: 2.00 2.00 1.93 3/179 14509 /proc/meminfo: memFree=28495792/32950928 swapFree=67111528/67111528 [pid=14439] ppid=14437 vsize=93700 CPUtime=1542.33 /proc/14439/stat : 14439 (pbct) R 14437 14439 13912 0 -1 4202496 25141 0 0 0 93501 60732 0 0 25 0 1 0 14413635 95948800 21947 4089446400 134512640 136422188 4294361184 18446744073709551615 134865248 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/14439/statm: 23425 21947 237 467 0 22956 0 Current children cumulated CPU time (s) 1542.33 Current children cumulated vsize (KiB) 93700 [startup+1602.3 s] /proc/loadavg: 2.00 2.00 1.93 3/179 14511 /proc/meminfo: memFree=28495592/32950928 swapFree=67111528/67111528 [pid=14439] ppid=14437 vsize=93700 CPUtime=1602.33 /proc/14439/stat : 14439 (pbct) R 14437 14439 13912 0 -1 4202496 25190 0 0 0 97830 62403 0 0 25 0 1 0 14413635 95948800 21957 4089446400 134512640 136422188 4294361184 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/14439/statm: 23425 21957 237 467 0 22956 0 Current children cumulated CPU time (s) 1602.33 Current children cumulated vsize (KiB) 93700 [startup+1662.3 s] /proc/loadavg: 2.00 2.00 1.93 3/179 14513 /proc/meminfo: memFree=28495152/32950928 swapFree=67111528/67111528 [pid=14439] ppid=14437 vsize=93700 CPUtime=1662.34 /proc/14439/stat : 14439 (pbct) R 14437 14439 13912 0 -1 4202496 25236 0 0 0 102190 64044 0 0 25 0 1 0 14413635 95948800 21959 4089446400 134512640 136422188 4294361184 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/14439/statm: 23425 21959 237 467 0 22956 0 Current children cumulated CPU time (s) 1662.34 Current children cumulated vsize (KiB) 93700 [startup+1722.3 s] /proc/loadavg: 2.00 2.00 1.93 3/179 14514 /proc/meminfo: memFree=28495204/32950928 swapFree=67111528/67111528 [pid=14439] ppid=14437 vsize=93700 CPUtime=1722.34 /proc/14439/stat : 14439 (pbct) R 14437 14439 13912 0 -1 4202496 25272 0 0 0 106563 65671 0 0 25 0 1 0 14413635 95948800 21959 4089446400 134512640 136422188 4294361184 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/14439/statm: 23425 21959 237 467 0 22956 0 Current children cumulated CPU time (s) 1722.34 Current children cumulated vsize (KiB) 93700 [startup+1782.3 s] /proc/loadavg: 2.00 2.00 1.93 3/179 14515 /proc/meminfo: memFree=28494780/32950928 swapFree=67111528/67111528 [pid=14439] ppid=14437 vsize=93964 CPUtime=1782.34 /proc/14439/stat : 14439 (pbct) R 14437 14439 13912 0 -1 4202496 25374 0 0 0 110958 67276 0 0 25 0 1 0 14413635 96219136 22033 4089446400 134512640 136422188 4294361184 18446744073709551615 135006280 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/14439/statm: 23491 22033 237 467 0 23022 0 Current children cumulated CPU time (s) 1782.34 Current children cumulated vsize (KiB) 93964 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800 s] /proc/loadavg: 2.00 2.00 1.93 3/179 14516 /proc/meminfo: memFree=28494528/32950928 swapFree=67111528/67111528 [pid=14439] ppid=14437 vsize=93964 CPUtime=1800.05 /proc/14439/stat : 14439 (pbct) R 14437 14439 13912 0 -1 4202496 25382 0 0 0 112258 67747 0 0 25 0 1 0 14413635 96219136 22033 4089446400 134512640 136422188 4294361184 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/14439/statm: 23491 22033 237 467 0 23022 0 Current children cumulated CPU time (s) 1800.05 Current children cumulated vsize (KiB) 93964 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child status: 0 Real time (s): 1800.01 CPU time (s): 1800.06 CPU user time (s): 1122.58 CPU system time (s): 677.475 CPU usage (%): 100.003 Max. virtual memory (cumulated for all children) (KiB): 93964 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1122.58 system time used= 677.475 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 25383 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= 1 involuntary context switches= 3673 runsolver used 2.45863 second user time and 5.80612 second system time The end
Begin job on node122 at 2010-07-07 02:20:01 IDJOB=2698983 IDBENCH=79068 IDSOLVER=1212 FILE ID=node122/2698983-1278462001 PBS_JOBID= 11233749 Free space on /tmp= 73688 MiB SOLVER NAME= PB/CT 0.1 fixed BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB10/oliveras/j30/normalized-j309_10-unsat--soft-66-100-0.wbo COMMAND LINE= HOME/pbct --model BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2698983-1278462001/watcher-2698983-1278462001 -o /tmp/evaluation-result-2698983-1278462001/solver-2698983-1278462001 -C 1800 -W 2000 -M 3800 HOME/pbct --model HOME/instance-2698983-1278462001.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= f8e585aed580dee910146256b9cb9d64 RANDOM SEED=1315258092 node122.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /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.839 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5333.67 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] 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.839 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5226.16 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] 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.839 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] 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.839 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.81 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] 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.839 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.76 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] 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.839 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.67 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] 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.839 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] 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.839 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32950928 kB MemFree: 30354724 kB Buffers: 109960 kB Cached: 2263460 kB SwapCached: 0 kB Active: 872796 kB Inactive: 1583628 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32950928 kB LowFree: 30354724 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 2464 kB Writeback: 0 kB AnonPages: 82496 kB Mapped: 15816 kB Slab: 76976 kB PageTables: 4168 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83586992 kB Committed_AS: 223984 kB VmallocTotal: 34359738367 kB VmallocUsed: 296008 kB VmallocChunk: 34359440975 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 73684 MiB End job on node122 at 2010-07-07 02:50:03