Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | Number of falsified constraints | CPU time | Wall clock time |
|---|---|---|---|---|
| Concrete + CSP4J - MCRW Engine 2008-05-30 | MSAT (TO) | 32 | 3600.01 | 3634.22 |
| Name | csp/os-taillard-20/ normalized-os-taillard-20-95-2.xml |
| MD5SUM | cf2755c41c9629ae5bc712eeb2cf6ab2 |
| Bench Category | 2-ARY-INT (binary constraints in intension) |
| Best result obtained on this benchmark | MSAT TO |
| Best Number of falsified constraints | 24 |
| Best CPU time to get the best result obtained on this benchmark | 3600.06 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 400 |
| Number of constraints | 7600 |
| Maximum constraint arity | 2 |
| Maximum domain size | 1229 |
| Number of constraints which are defined in extension | 0 |
| Number of constraints which are defined in intension | 7600 |
| Global constraints used (with number of constraints) |
15.62/15.87 c CPU-LOAD 11.74 15.62/15.87 c LOADED 400 V (1229 E), 7600 DTPConstraint, arity 2, 11.74 cpu 22.16/22.41 s SATISFIABLE 22.16/22.41 o 7496 22.16/22.41 v 151 61 651 599 454 21 1071 522 413 338 1163 1032 655 978 338 236 793 1156 895 874 82 1212 724 551 901 628 219 636 381 25 965 1145 1057 158 1136 412 796 1066 501 304 783 422 245 855 495 1028 578 972 6 134 4 325 1123 681 92 1134 362 130 896 149 985 68 725 591 14 120 261 421 691 169 854 502 645 900 489 1107 283 826 332 169 840 30 724 398 645 1107 527 287 627 333 893 779 939 1072 150 1153 448 243 173 884 797 1027 553 115 555 300 287 225 678 1037 912 63 1 197 1142 502 843 660 742 407 683 61 745 1081 1177 423 1205 838 1018 538 867 933 455 588 790 335 94 489 666 162 1006 1095 592 471 871 49 1129 246 8 293 448 716 272 382 343 403 807 513 985 135 44 1136 218 189 729 8 1030 612 552 611 502 1120 419 1148 816 130 1000 907 294 337 160 1138 682 566 116 458 800 761 898 12 66 1036 401 199 648 377 238 866 1173 926 11 1028 1082 527 0 580 868 174 454 1140 35 647 751 123 486 386 270 260 893 799 50 244 848 672 720 330 133 1083 346 970 457 1018 607 525 181 291 407 823 1162 538 526 65 167 1069 233 809 154 300 161 770 590 1146 567 974 705 713 346 1115 792 413 143 1185 618 111 1022 712 330 522 676 798 1035 39 251 10 256 405 316 842 508 900 805 34 332 655 1037 684 492 907 736 918 309 951 122 384 1128 548 236 333 1207 194 1029 1133 589 858 708 473 730 255 1188 383 175 902 404 331 484 819 319 921 3 339 340 767 421 651 208 1057 47 384 877 606 291 173 989 151 22 955 138 916 1151 461 1196 834 350 946 203 308 103 1156 2 885 1045 454 451 566 757 239 655 983 728 9 962 342 822 512 617 1132 378 328 183 734 67 33 1078 308 415 980 137 951 877 732 1002 750 532 315 652 110 945 262 1072 182 1144 323 1185 4 833 396 662 22 647 121 22.16/22.43 o 7497 22.16/22.43 v 151 61 651 599 454 21 1071 522 413 338 1163 1032 655 978 338 236 793 1156 895 874 82 1212 724 551 901 628 219 636 381 25 965 1145 1057 158 1136 412 796 1066 501 304 783 422 245 855 495 1028 578 972 6 134 4 325 1123 681 92 1134 362 130 896 149 985 68 725 591 14 120 261 353 691 169 854 502 645 900 489 1107 283 826 332 169 840 30 724 398 645 1107 527 287 627 333 893 779 939 1072 867 1153 448 243 173 884 797 1027 553 115 555 300 287 225 678 1037 912 63 1 197 1142 502 843 660 742 407 683 61 739 1081 1177 423 1205 838 1018 538 867 933 455 588 790 335 94 489 666 162 1006 1095 592 471 871 49 1129 246 8 293 448 716 272 382 343 403 807 513 985 135 44 1136 218 189 729 8 1030 612 552 611 502 1120 419 1148 816 130 1000 907 294 337 160 1138 682 566 116 501 800 761 898 12 66 1036 401 199 648 377 238 866 1162 926 11 1028 1082 527 0 580 888 174 454 1140 35 647 751 123 486 386 270 260 893 799 50 244 848 672 720 330 133 1083 346 970 457 1018 607 525 181 291 407 823 1162 538 526 65 167 1069 233 809 154 300 161 770 590 1146 567 974 705 713 346 1115 792 413 143 1185 618 111 1022 712 330 522 676 798 1035 39 251 10 256 405 316 842 510 1069 805 34 332 655 1037 684 492 907 736 918 309 951 122 384 1128 548 236 333 1207 194 1029 1133 589 858 708 473 730 255 1188 383 175 902 404 331 484 819 319 921 3 339 340 767 421 651 208 1057 47 384 877 606 291 173 989 151 22 955 138 916 1151 461 1196 834 350 946 203 308 103 1156 2 885 1045 454 451 566 757 239 655 983 728 9 962 342 822 512 617 1132 378 328 183 734 67 33 1078 308 415 980 137 951 877 732 1002 750 532 315 652 110 945 262 1072 182 1144 323 1185 4 833 396 662 22 647 121 22.16/22.49 o 7498 22.16/22.49 v 151 61 651 599 454 21 1071 522 413 338 1156 1032 655 978 338 236 793 1156 895 874 82 1212 724 551 901 628 219 636 1 25 965 1145 1057 158 1141 412 796 1066 501 304 783 422 245 855 495 1028 578 972 6 136 4 325 1123 681 92 1137 362 130 896 149 985 68 891 591 14 120 261 353 691 169 854 502 645 407 489 1107 283 826 332 169 840 7 724 398 645 1107 527 287 627 333 893 779 939 1204 867 1153 97 243 173 884 797 1044 553 115 555 300 287 225 678 1037 912 63 1 197 1142 502 843 660 742 407 683 61 739 1081 1177 423 1205 838 1018 538 867 933 455 588 790 335 94 489 666 162 1006 1095 592 471 871 49 1129 246 8 293 448 716 272 382 343 403 807 513 985 135 44 1136 218 189 729 8 1030 612 552 611 502 1120 419 1148 816 130 1000 907 294 337 160 1153 415 566 116 501 800 761 898 12 66 1036 401 199 648 377 238 866 1170 926 11 1001 1082 527 0 580 888 174 454 1140 35 647 751 123 486 386 270 260 893 799 22 244 848 87 720 330 133 1083 346 970 457 1018 607 525 181 291 407 823 1162 538 526 65 167 1069 233 809 154 300 161 770 590 1146 567 974 705 713 346 1115 792 413 143 1185 618 111 1022 712 330 522 676 798 1035 39 251 10 256 405 316 842 510 1069 805 34 332 655 1037 684 492 907 736 918 309 951 122 384 1128 548 236 333 1207 205 1029 1133 589 858 708 473 730 255 1188 383 175 902 404 331 484 819 319 921 3 339 340 767 421 651 208 1057 47 384 877 606 291 173 989 151 22 955 138 916 1151 461 355 834 350 946 203 308 103 1156 2 885 1045 454 451 566 757 239 655 983 728 9 962 342 822 512 617 1132 378 328 183 734 67 33 1078 308 415 980 137 951 877 732 1002 750 532 315 652 110 945 262 1072 182 1144 323 1185 4 833 396 662 22 647 121 22.26/22.53 o 7499 22.26/22.53 v 151 61 651 599 454 21 1071 522 413 338 1156 1032 655 978 338 236 793 1156 895 874 82 1212 724 551 901 628 219 636 1 25 965 1145 1057 158 1141 412 796 1066 501 304 783 422 245 855 495 1028 578 972 6 136 4 325 1123 681 92 1137 362 130 896 149 985 68 891 591 14 120 261 353 691 169 854 502 645 407 766 1107 283 826 332 169 840 7 724 398 645 1107 527 287 627 333 893 779 939 1204 867 1153 97 243 173 884 797 1044 553 115 555 286 287 225 678 1037 912 63 1 197 1142 502 843 660 742 407 683 61 739 1081 1177 423 1205 838 1018 538 867 933 455 588 790 335 94 489 666 162 1006 1095 592 471 871 49 1129 246 8 293 448 716 272 382 343 403 807 511 985 135 44 1136 218 189 729 8 1030 612 552 611 502 1120 419 1148 816 130 1000 907 294 337 160 1153 415 566 116 501 800 761 898 12 66 1036 401 199 648 377 238 866 1170 926 11 1001 1082 346 0 580 887 174 454 1140 35 647 751 123 486 386 270 260 893 799 22 244 848 87 720 330 133 1083 346 970 457 1018 607 525 181 291 407 823 1162 538 526 65 167 1069 233 809 154 300 161 770 590 1146 567 974 705 713 346 1115 792 413 143 1185 618 111 1022 712 330 522 676 798 1035 39 251 10 256 405 316 842 510 1069 805 34 1136 655 1037 684 492 907 736 918 309 954 122 384 1128 548 236 333 1207 785 1029 1133 579 858 708 473 730 255 1188 383 175 902 404 331 484 819 319 481 3 339 340 767 421 651 219 1057 47 384 877 606 291 173 989 151 22 955 138 916 1151 461 355 834 350 946 203 308 103 1156 2 885 1045 454 451 566 757 239 655 983 728 9 969 342 822 512 617 1132 378 328 183 734 67 33 1078 308 383 980 137 951 877 732 1002 750 532 315 652 110 945 262 1072 182 1144 323 1185 4 833 396 662 22 647 121 22.26/22.56 o 7501 22.26/22.56 v 151 61 651 599 454 21 1071 522 413 338 1156 1032 655 978 338 236 793 1156 895 874 82 1212 724 551 898 628 219 636 1 25 965 1145 1057 158 1141 412 796 1066 501 304 783 422 245 855 495 1028 578 972 6 136 4 325 1123 681 92 1137 362 130 896 149 985 68 891 591 14 120 261 353 691 169 455 502 645 407 766 1107 283 826 332 169 840 7 724 398 645 1107 527 287 627 333 893 779 939 1204 867 1153 97 243 173 884 797 1044 553 115 555 286 287 225 678 1037 912 63 1 197 1142 502 843 660 742 407 683 61 739 1081 1177 423 1205 838 1018 538 867 933 455 588 790 335 94 489 666 162 1006 1095 592 471 871 49 1129 246 8 293 448 716 272 382 343 403 807 511 985 135 44 1136 218 189 729 8 1030 612 552 611 502 1120 419 1148 816 130 1000 907 294 337 160 1153 415 566 116 501 800 761 898 12 66 1036 401 199 648 377 238 866 1170 926 11 1001 1082 346 0 580 887 174 454 1140 35 647 751 123 486 386 270 260 893 799 22 244 848 87 720 330 133 1083 346 970 457 1018 607 525 181 291 407 823 1162 649 526 65 167 1069 233 809 154 300 161 770 590 896 567 974 705 713 346 1115 792 413 143 1185 618 111 1022 712 330 522 676 798 1035 39 251 10 256 405 316 842 510 1069 805 34 1136 655 1037 684 492 907 736 918 309 954 122 384 1128 548 236 333 1207 785 1029 1133 579 858 708 473 730 255 1188 383 175 902 404 331 484 819 319 481 3 339 340 767 421 651 219 1057 47 384 877 606 291 173 989 151 22 955 138 916 1151 461 355 834 350 946 203 308 103 1156 2 885 1045 454 451 566 757 239 655 983 728 9 969 342 822 512 617 1132 378 328 183 734 67 33 1078 308 383 980 137 951 877 732 1002 750 532 315 652 110 945 262 1072 182 1144 323 1185 4 833 396 662 22 647 121 22.65/22.98 o 7502 22.65/22.98 v 151 70 651 599 735 21 1071 1101 413 339 928 1032 658 978 496 198 779 1156 895 874 82 1212 724 551 335 628 219 636 1 25 965 904 1057 158 1141 418 796 510 501 419 783 422 245 855 495 1028 578 972 1 1137 26 325 1123 681 92 694 362 130 896 149 985 1061 815 590 34 120 261 478 706 1136 924 502 645 407 705 1107 283 826 332 169 840 7 724 398 645 1107 527 287 627 333 893 779 986 1204 867 1153 97 243 173 884 797 1044 553 115 555 286 290 225 678 1056 912 63 227 197 1155 502 843 660 742 407 683 512 743 1047 1177 423 1205 838 1017 538 867 588 455 203 176 335 94 489 666 0 1006 1095 592 471 871 49 1129 246 8 293 448 716 272 382 343 403 807 189 985 135 34 876 218 189 727 8 1030 251 552 611 502 1120 419 1148 816 130 1000 907 719 337 160 1145 416 566 116 503 800 761 898 12 66 1036 708 199 648 377 238 866 1170 926 11 1001 1082 346 0 580 883 174 454 1140 35 647 751 123 486 386 270 262 897 799 1162 244 848 637 720 330 133 1083 346 970 457 1018 607 502 181 291 407 93 182 13 526 65 171 1069 216 809 154 300 161 770 590 896 568 941 705 713 346 1115 792 413 143 1185 404 111 1022 712 330 522 683 798 1035 931 251 10 256 404 316 842 503 1069 805 34 1136 655 1037 618 492 1056 736 839 309 963 122 388 1092 548 236 333 1207 189 1036 1133 579 858 708 473 730 255 1188 383 175 901 404 331 108 819 319 481 3 339 340 770 421 648 1137 1057 47 384 877 606 291 173 989 151 22 955 138 916 1151 461 10 834 350 946 203 308 103 1156 1 885 1045 468 444 566 757 239 655 983 690 100 969 342 819 512 617 1132 1129 328 183 725 78 33 1078 308 405 980 137 951 877 732 519 989 532 315 649 627 935 262 738 182 1144 323 1096 4 833 396 665 22 647 121 22.75/23.02 o 7504 22.75/23.02 v 151 70 651 599 735 21 1071 1101 413 339 928 1032 658 978 496 198 779 1156 895 874 82 1212 724 551 335 628 219 636 1 25 965 904 1057 158 1141 418 796 510 501 419 783 422 245 855 495 1028 578 972 1 1137 26 325 1123 681 92 694 362 130 896 149 985 1061 686 590 34 120 261 478 706 1136 924 502 645 407 539 1107 283 826 332 169 840 7 724 398 645 1107 527 287 627 333 893 779 986 1204 867 1153 97 243 173 884 797 1044 553 115 555 286 290 225 678 1059 912 63 728 197 1152 502 843 660 742 407 683 512 743 1047 1177 423 1205 838 1017 538 867 588 455 203 176 335 94 489 666 0 1006 1095 592 471 871 49 1129 246 8 293 448 716 272 382 343 403 807 189 985 135 34 876 218 189 727 8 1030 251 566 614 502 1120 419 1148 816 130 1000 907 719 337 160 1145 428 566 116 503 800 761 898 12 66 1036 708 199 648 377 238 866 803 926 11 1001 1082 346 0 580 883 174 454 1140 35 647 751 123 486 386 270 262 897 799 1162 244 848 637 720 330 133 1083 346 970 457 1018 607 502 22 291 407 93 182 13 526 65 171 1069 216 809 154 300 161 770 590 896 568 941 705 713 346 1115 792 413 143 1185 404 111 1022 712 330 522 683 798 1035 931 251 10 256 404 316 842 503 1069 805 34 1136 655 1037 618 492 1040 736 839 309 963 122 388 1092 548 235 333 1207 189 1036 1133 579 858 708 473 730 255 1188 383 175 901 404 331 108 819 319 481 3 339 340 770 421 648 1137 1057 47 384 877 606 291 173 989 151 22 955 138 916 1151 461 10 834 350 946 203 308 103 1156 1 885 1045 468 444 566 756 239 655 983 690 100 969 342 819 512 617 1132 1129 328 183 725 78 33 1078 308 405 980 137 951 877 732 519 989 532 315 649 627 935 262 738 182 1144 323 1096 4 833 396 665 22 647 121 22.75/23.06 o 7506 22.75/23.06 v 151 70 651 599 735 21 1071 1101 413 339 928 1032 658 978 496 198 779 1156 895 874 82 1212 724 551 335 628 219 636 1 25 965 904 1057 158 1141 418 796 510 501 419 783 422 245 855 495 1028 578 972 1 1137 26 325 1123 681 92 694 362 130 896 149 985 1061 818 590 34 120 261 478 706 1136 924 502 645 407 539 1107 283 826 332 169 840 7 724 398 645 1107 527 287 627 333 893 779 986 1204 867 1153 97 243 173 884 797 1044 553 115 555 286 290 225 678 1059 912 63 728 197 1152 502 843 660 742 407 683 512 743 1047 1177 423 1205 838 1017 538 867 588 455 203 176 335 94 489 666 0 1006 1095 592 471 871 49 1129 246 8 293 448 716 272 382 343 403 807 189 985 135 45 876 218 189 727 8 1030 251 457 614 502 1120 419 1148 816 130 1000 907 719 337 160 1145 428 566 116 503 800 761 898 12 66 1036 708 199 648 377 238 866 803 926 11 1001 1082 346 0 580 883 174 454 1141 35 647 751 123 486 386 270 261 897 785 1162 244 848 637 720 330 133 1083 346 970 457 1018 607 502 22 291 407 93 182 13 526 65 173 1069 216 809 154 300 161 770 590 896 568 941 705 713 346 1115 792 413 143 1185 404 111 1022 712 330 526 683 798 1035 931 251 10 256 404 316 842 503 1069 805 34 1136 655 1037 618 492 1040 736 835 309 963 122 388 1092 548 235 333 1207 189 1036 1133 579 858 708 473 730 255 1188 383 175 901 404 331 108 819 319 481 19 339 340 770 421 648 1137 1057 52 384 877 606 291 173 989 151 39 955 138 916 1151 461 10 834 350 946 203 308 103 1156 1 885 1045 468 444 566 756 239 655 983 690 100 969 342 819 512 617 1134 1129 328 183 725 78 33 1078 308 405 980 137 951 877 732 519 989 532 315 649 627 935 262 738 182 1144 323 1096 4 833 396 665 22 647 121 22.94/23.28 o 7507 22.94/23.28 v 151 70 651 599 735 21 1071 527 413 339 936 1032 658 978 797 198 779 1156 895 874 82 1212 724 552 335 628 219 636 1 27 965 904 1056 158 1141 317 796 497 310 420 744 422 245 866 495 14 578 972 139 1137 26 325 1123 1045 92 695 362 130 896 149 985 1061 818 589 34 120 261 478 706 1147 924 502 645 407 1137 1107 283 826 332 169 840 0 724 398 644 1107 527 287 627 333 893 779 996 1204 867 1153 97 243 173 884 797 1044 560 115 568 298 290 225 678 1059 912 63 726 197 1152 502 843 660 533 407 683 512 743 1094 1177 423 1205 838 984 538 867 588 455 203 176 335 94 489 666 242 1006 1095 592 471 871 49 1129 246 8 293 448 716 272 382 343 403 807 189 985 135 45 876 218 189 727 8 1030 251 457 610 502 1120 1051 1138 816 130 1000 907 719 337 160 1148 418 566 116 503 510 761 898 12 66 1036 708 212 678 377 292 866 803 926 11 1001 1082 346 0 580 883 174 454 1142 35 647 751 123 486 386 270 259 897 790 1162 244 848 637 720 330 133 1083 346 970 457 1018 607 339 491 291 407 93 182 13 526 65 173 1069 234 809 154 300 161 770 590 896 568 941 705 713 346 1115 792 413 143 1185 442 111 1022 712 330 526 683 798 1035 909 251 2 256 406 316 842 503 1078 834 34 1136 655 1037 618 492 1040 736 835 309 963 122 388 1092 505 235 683 1207 189 1036 1133 579 858 708 473 730 255 1188 383 175 901 404 331 108 819 319 481 19 339 340 770 421 648 1137 1057 58 384 877 606 291 173 989 151 39 955 138 639 1171 461 10 834 350 946 203 308 100 1156 1 885 1045 468 444 566 758 239 655 983 690 93 969 342 819 512 617 627 1129 328 183 724 78 33 1078 308 405 984 137 951 877 732 519 989 541 315 649 627 40 262 738 770 1144 323 1096 209 833 396 663 22 647 121 22.94/23.28 o 7508 22.94/23.28 v 151 70 651 599 735 21 1071 527 413 339 936 1032 658 978 797 198 779 1156 895 874 82 1212 724 552 335 628 219 636 1 27 965 904 1056 158 1141 317 796 497 310 420 744 422 245 866 495 14 578 972 139 1137 26 325 1123 1045 92 695 362 130 896 149 985 1061 818 589 34 120 261 478 706 1147 924 502 645 407 1137 1107 283 826 332 169 840 0 724 398 644 1107 527 287 627 333 893 779 996 1204 867 1153 97 243 173 884 797 1044 560 115 568 298 290 225 678 1059 912 63 726 197 1152 502 843 660 533 407 683 512 743 1094 1177 423 1205 838 936 538 867 588 455 203 176 335 94 489 666 242 1006 1095 592 471 871 49 1129 246 8 293 448 716 272 382 343 403 807 189 985 135 45 876 218 189 727 8 1030 251 457 610 502 1120 1051 1138 816 130 1000 907 719 337 160 1148 418 566 116 503 510 761 898 12 66 1036 708 212 678 377 292 866 803 926 11 1001 1082 346 0 580 883 174 454 1142 35 647 751 123 486 386 270 259 897 790 1162 244 848 637 720 330 133 1083 346 970 457 1018 607 339 491 291 407 93 182 13 526 65 173 1069 234 809 154 300 161 770 590 896 568 941 705 713 346 1115 792 413 143 1185 442 111 1022 712 330 526 683 798 1035 909 251 2 256 406 316 842 503 1078 834 34 1136 655 1037 618 492 1040 736 835 309 963 122 388 1092 505 235 683 1207 189 1036 1133 579 858 708 473 730 255 1188 383 175 901 404 331 108 819 319 481 19 339 340 242 421 648 1137 1057 58 384 877 606 291 173 989 151 39 955 138 639 1171 461 10 834 350 946 203 308 100 1156 1 885 1045 468 444 566 758 239 655 983 690 93 969 342 819 512 617 627 1129 328 183 724 78 33 1078 308 405 984 137 951 877 732 519 989 541 315 650 627 40 262 738 770 1144 323 1096 209 833 396 663 22 647 121 22.94/23.30 o 7509 22.94/23.30 v 151 70 651 599 735 21 1071 527 413 339 936 1032 658 978 797 198 779 1156 895 874 82 1212 724 552 335 628 219 636 1 27 965 904 1056 158 1141 317 796 497 310 420 744 422 245 866 495 14 578 972 139 1137 26 325 1123 1045 92 695 362 130 896 149 985 1061 818 589 34 120 261 478 706 1147 924 502 645 407 1137 1107 283 826 332 169 840 0 724 398 644 1107 527 287 627 333 893 779 996 1204 867 1153 97 243 173 884 797 1050 560 115 568 298 290 225 678 1059 912 63 726 197 1152 502 843 660 533 407 683 512 753 1094 1177 423 1205 838 936 538 867 588 455 203 176 335 94 489 666 242 1006 1095 592 471 871 49 1129 246 8 293 448 716 272 382 343 403 807 189 985 135 45 876 218 189 727 8 1030 251 457 610 502 1120 1051 1138 816 130 1000 907 719 337 160 1148 418 566 116 503 510 761 898 12 66 1036 708 212 678 377 292 866 803 926 11 1001 1082 346 0 580 883 174 454 1142 35 647 751 123 486 386 270 259 897 790 1162 244 848 637 720 330 133 1083 346 970 457 1018 607 339 491 291 407 93 182 13 526 65 173 1069 234 809 154 300 161 770 590 896 568 941 705 713 346 1115 792 413 143 1185 442 111 1022 712 330 526 683 798 1035 909 251 2 256 406 316 842 503 1078 834 34 1136 106 1037 618 492 1040 736 835 309 963 122 388 1092 505 235 683 1207 189 1036 1133 579 858 708 473 730 255 1188 383 175 901 404 331 108 819 319 481 19 339 340 242 421 648 1137 1057 58 384 877 606 291 173 989 151 39 955 138 639 1171 461 10 834 350 946 203 308 100 1156 1 885 1045 468 444 566 758 239 655 983 690 93 969 342 819 512 617 627 1129 328 183 724 78 33 1078 308 405 984 137 951 877 732 519 989 541 315 650 627 40 262 738 770 915 323 1096 209 833 396 663 22 647 121 23.05/23.31 o 7510 23.05/23.31 v 151 70 651 599 735 21 1071 527 413 339 936 1032 658 978 797 198 779 1156 895 874 82 1212 724 552 335 628 219 636 1 27 965 904 1056 158 1141 317 796 497 310 420 744 422 245 866 495 14 578 972 139 1137 26 325 1123 1045 92 695 362 130 896 149 985 1061 818 589 34 120 261 478 706 1147 924 502 645 407 1137 1107 283 826 332 169 840 0 724 398 644 1107 527 287 627 333 893 779 996 1204 867 1153 97 243 173 884 797 1050 560 115 568 298 290 225 678 1059 912 63 726 197 1152 502 843 660 533 407 683 512 753 1094 1177 423 1205 838 936 538 867 588 455 203 176 335 94 489 666 242 1006 1095 592 471 871 49 1129 246 8 293 448 716 272 382 343 403 807 189 985 135 45 876 218 189 727 8 1030 251 457 610 502 1120 1051 1138 816 130 1000 907 718 337 160 1148 418 566 116 503 510 761 898 12 66 1036 708 212 678 377 292 866 803 926 11 1001 1082 346 0 580 883 174 454 1142 35 647 751 123 486 386 270 259 897 790 1162 244 848 637 720 330 133 1083 813 970 457 1018 607 339 491 291 407 93 182 13 526 65 173 1069 234 809 154 300 161 770 590 896 568 941 705 713 346 1115 792 413 143 1185 442 111 1022 712 330 526 683 798 1035 909 251 2 256 406 316 842 503 1078 834 34 1136 106 1037 618 492 1040 736 835 309 963 122 388 1092 505 235 683 1207 189 1036 1133 579 858 708 473 730 255 1188 383 175 901 404 331 108 819 319 481 19 339 340 242 421 648 1137 1057 58 384 877 606 291 173 989 151 39 955 138 639 1171 461 10 834 350 946 203 308 100 1156 1 885 1045 468 444 566 758 239 655 983 690 93 969 342 819 512 617 627 1129 328 183 724 78 33 1078 308 405 984 137 951 877 726 519 989 541 315 650 627 40 262 738 770 915 323 1096 209 833 396 663 22 647 121 23.05/23.36 o 7511 23.05/23.36 v 151 70 651 599 735 21 1071 527 413 339 936 1032 658 978 797 198 779 1156 331 874 82 1212 724 552 335 628 219 636 1 27 965 904 1056 158 1141 317 796 497 310 420 744 422 245 866 495 14 578 972 139 1140 26 325 1123 1045 92 695 362 130 896 149 985 1061 725 589 34 120 261 478 706 1147 924 502 645 407 1137 1107 283 826 332 169 840 0 724 398 644 1107 527 287 627 333 893 779 996 1204 867 1153 97 243 173 884 797 1050 560 115 568 298 290 225 678 1059 912 63 726 197 1152 502 843 660 533 407 683 512 753 1094 1177 423 1205 838 936 538 867 588 455 203 176 335 94 489 666 242 1006 1095 592 471 871 49 1129 246 8 293 448 716 272 382 343 403 807 189 985 135 45 876 218 189 727 8 1030 251 457 610 502 1120 1051 1138 816 130 1000 907 718 337 160 1148 418 566 116 503 411 759 898 12 66 1036 708 212 656 377 292 866 803 926 11 1001 1082 346 0 580 883 174 454 1142 35 647 751 123 486 386 188 259 897 790 1162 244 848 637 720 330 133 1083 813 970 457 1018 1217 339 491 291 407 93 182 13 526 65 173 1069 219 809 154 300 161 770 611 899 567 941 705 713 346 1115 792 413 142 1185 442 111 1022 712 330 526 683 798 6 915 251 2 256 406 316 842 503 1078 834 34 1136 106 1037 618 492 1040 736 835 309 963 122 388 1092 505 235 683 1207 189 1036 1133 579 858 708 473 730 239 1188 383 175 901 404 331 108 819 319 481 19 339 340 242 421 648 1137 1057 58 384 877 606 291 173 989 151 39 955 138 639 1171 461 10 834 350 946 203 308 100 1156 1 885 1045 468 405 566 758 239 655 983 690 93 969 342 819 512 617 627 1129 328 183 1130 78 33 1078 308 405 984 137 951 877 726 519 989 541 315 650 627 1136 262 738 770 915 323 1096 209 833 396 663 22 647 121 23.25/23.55 o 7512 23.25/23.55 v 146 70 517 1022 54 21 1071 527 413 339 936 1032 658 978 766 198 788 1156 331 874 82 1212 755 552 335 628 219 636 1 27 965 904 1056 158 1141 317 796 497 310 420 744 422 245 866 491 14 578 972 147 1137 14 325 1123 1045 92 695 362 130 790 149 985 1061 725 589 34 120 261 478 706 1147 924 502 645 407 856 1107 283 826 332 169 840 0 724 436 644 1107 527 287 627 333 893 779 996 1204 867 1153 97 243 173 884 797 1050 560 115 568 298 290 225 678 1039 912 63 726 197 1152 502 843 660 533 407 683 512 753 1094 1177 423 1205 838 936 538 867 19 455 203 176 335 94 489 666 242 1006 1095 592 471 871 49 1129 246 8 293 448 716 272 382 343 403 807 189 985 135 59 876 218 189 727 8 552 251 417 610 502 1120 1051 1138 816 130 1000 907 718 337 160 1148 542 378 116 503 411 759 898 12 66 1036 708 212 656 362 292 866 803 926 11 1001 645 346 0 580 903 174 454 1142 35 647 751 123 486 386 188 259 897 790 1162 244 848 637 720 330 133 1083 813 604 457 1018 1217 339 491 291 407 93 182 13 526 65 167 1069 219 809 154 300 161 770 611 899 567 941 705 713 346 1115 792 413 154 1185 442 111 1022 712 330 581 683 798 916 915 251 0 256 696 316 842 507 1078 834 34 1136 106 1037 339 492 928 736 835 309 963 122 388 1092 2 235 683 1207 195 1036 1133 579 858 708 473 730 239 1188 383 175 901 404 331 108 819 319 481 13 339 340 242 421 648 1144 1057 58 384 877 606 291 173 989 151 39 955 138 639 1171 461 10 834 353 946 203 302 98 1156 1 885 1045 468 410 566 751 239 655 983 690 93 969 342 819 512 221 627 658 328 183 1130 78 33 1078 308 405 984 137 951 877 732 519 989 541 315 649 627 1136 262 738 772 910 322 1096 209 833 396 666 22 647 121 23.25/23.57 o 7513 23.25/23.57 v 146 70 517 1022 54 21 1071 527 413 339 936 1032 658 978 766 198 788 1156 331 874 82 1212 755 552 335 628 219 636 1 27 965 904 1056 158 1141 317 796 497 310 420 744 422 245 866 491 14 578 972 147 1137 14 325 1123 1045 92 695 362 130 790 149 985 1061 723 589 34 120 261 478 706 1147 924 502 645 407 856 1107 283 826 332 169 840 0 724 436 644 1107 527 287 627 333 895 779 996 1204 867 1153 97 243 173 884 797 1050 560 115 568 298 290 225 678 1039 912 63 726 197 1152 502 843 660 533 407 683 512 753 1094 1177 423 1205 838 936 538 867 0 455 203 176 335 94 489 666 242 1006 1095 592 471 871 49 1129 246 8 293 448 716 272 382 343 403 807 189 985 135 59 876 218 189 727 8 552 251 417 610 502 1120 1051 1138 816 130 1000 907 718 337 160 1148 542 378 116 503 411 759 898 12 66 1036 708 212 656 362 292 866 803 926 11 1001 645 346 0 580 903 174 454 1142 35 647 751 123 486 386 188 259 897 790 1162 244 848 637 720 330 133 1083 813 604 457 1018 1217 339 491 291 407 93 182 13 526 65 167 1069 219 809 154 300 161 770 611 899 567 941 705 713 346 1115 792 413 154 1185 442 111 1022 712 330 581 683 798 916 915 251 0 256 696 316 842 507 1078 834 34 1136 106 1037 339 492 928 736 835 309 963 122 388 1092 2 590 683 1207 195 1036 1133 579 858 708 473 730 239 1188 383 175 901 404 331 108 819 319 481 13 339 340 242 421 648 1144 1057 58 384 877 606 291 173 989 151 39 955 138 639 1171 461 10 834 353 946 203 302 98 1156 1 885 1045 468 410 566 751 239 655 983 690 93 969 342 819 512 221 627 658 328 183 1130 78 33 1078 308 405 984 137 951 877 732 519 989 541 315 649 627 1136 262 738 772 910 322 1096 209 833 396 666 22 647 121 23.25/23.59 o 7514 23.25/23.59 v 146 70 527 1022 54 21 1071 527 413 339 936 1032 658 978 766 198 788 1156 331 874 82 1212 755 552 335 628 219 636 1 27 965 904 1056 158 1141 317 796 497 310 420 744 422 245 866 491 14 578 972 147 1137 14 325 1123 1045 92 695 362 130 790 149 985 1061 723 589 34 120 261 478 706 1147 924 502 645 407 856 1107 283 826 332 169 840 0 724 436 644 1107 527 287 627 333 895 779 996 1204 867 1153 97 243 173 884 797 1050 560 115 568 298 290 225 678 1039 912 63 726 197 1152 502 843 660 533 407 683 512 753 1094 1177 423 1205 838 936 538 867 0 455 203 176 335 94 489 666 242 1006 1095 592 471 871 49 1129 246 8 293 448 515 272 382 343 403 807 189 985 135 59 876 218 189 727 8 552 251 417 610 502 1120 1051 1138 816 130 1000 907 718 337 160 1148 542 378 116 503 411 759 898 12 66 1036 708 212 656 362 292 866 803 926 11 1001 645 346 0 580 903 174 454 1142 35 647 751 123 486 386 188 259 897 790 1162 244 848 637 720 330 133 1083 813 604 457 1018 1217 339 491 291 407 93 182 13 526 65 167 1069 1048 809 154 300 161 770 611 899 567 941 705 713 346 1115 792 413 145 1185 442 111 1022 712 330 581 683 798 916 915 251 0 256 696 316 842 507 1078 834 34 1136 106 1037 339 492 928 736 835 309 963 122 388 1092 2 590 683 1207 195 1036 1133 579 858 708 473 730 239 1188 383 175 901 404 331 108 819 319 481 13 339 340 242 421 648 1144 1057 58 384 877 606 291 173 989 151 39 955 138 639 1154 461 10 834 353 946 203 302 98 1156 1 885 1045 468 410 566 751 239 655 983 690 93 969 342 819 512 221 627 658 328 140 1130 78 33 1078 308 405 984 573 951 877 732 519 989 541 315 649 627 1136 262 738 772 910 322 1096 209 833 396 666 22 647 121 23.25/23.59 o 7515 23.25/23.59 v 146 70 527 1022 54 21 1071 527 413 339 936 1032 658 978 766 198 788 1156 331 874 82 1212 755 552 335 628 219 636 1 27 965 904 1056 158 1141 317 796 497 310 420 744 422 245 866 491 14 578 972 147 1137 14 325 1123 1045 92 695 362 130 790 149 985 1061 723 589 34 120 261 478 706 1147 924 502 645 407 856 1107 283 826 332 169 840 0 724 436 644 1107 527 287 627 333 895 779 996 1204 867 1153 97 243 173 884 797 1050 560 115 568 298 290 225 678 1039 912 63 726 197 1152 502 843 660 533 407 683 512 753 1094 1177 423 1205 838 936 538 867 0 455 203 176 335 94 489 666 242 1006 1095 592 471 871 49 1129 246 8 293 448 515 272 382 343 403 807 189 985 135 59 876 218 189 727 8 552 251 417 610 502 1120 1051 1138 816 130 1000 907 718 337 160 1148 542 378 116 503 411 759 898 12 66 1036 1157 212 656 362 292 866 803 926 11 1001 645 346 0 580 903 174 454 1142 35 647 751 123 486 386 188 259 897 790 1162 244 848 637 720 330 133 1083 813 604 457 1018 1217 339 491 291 407 93 182 13 526 65 167 1069 1048 809 154 300 161 770 611 899 567 941 705 713 346 1115 792 413 145 1185 442 111 1022 712 330 581 683 798 916 915 251 0 256 696 316 842 507 1078 834 34 1136 106 1037 339 492 928 736 835 309 963 122 388 1092 2 590 683 1207 195 1036 1133 579 858 708 473 730 239 1188 383 175 901 404 331 108 819 319 481 13 339 340 242 421 648 1144 1057 58 384 877 606 291 173 989 151 39 955 138 639 1154 461 10 834 353 946 203 302 98 1156 1 885 1045 468 410 566 751 239 655 983 690 93 969 342 819 512 221 627 658 328 140 1130 78 33 1078 308 405 984 573 951 877 732 519 989 541 315 649 627 1136 262 738 772 910 322 1096 209 833 396 666 22 647 121 23.25/23.59 o 7516 23.25/23.59 v 146 70 527 1022 54 21 1071 527 413 339 936 1032 658 978 766 198 788 1156 331 874 82 1212 755 552 335 628 219 636 1 27 965 904 1056 158 1141 317 796 497 310 420 744 422 245 866 491 14 578 972 147 1137 14 325 1123 1045 92 695 362 130 790 149 985 1061 723 589 34 120 261 478 706 1147 924 502 645 407 856 1107 283 826 332 169 840 0 724 436 644 1107 527 287 627 333 895 779 996 1204 867 1153 97 243 173 884 797 1050 560 115 568 298 290 225 678 1039 912 63 726 197 1152 502 843 660 533 407 683 512 753 1094 1177 423 1205 838 936 538 867 0 455 203 176 335 94 489 666 242 1006 1095 592 471 871 49 1129 246 8 293 448 515 272 382 343 403 807 189 985 135 59 876 218 189 727 8 552 251 417 610 502 1120 1051 1138 816 130 1000 907 718 337 160 1148 542 378 116 503 411 759 898 12 66 1036 1157 212 656 362 292 866 803 926 11 1001 645 346 0 580 903 174 454 1142 35 1139 751 123 486 386 188 259 897 790 1162 244 848 637 720 330 133 1083 813 604 457 1018 1217 339 491 291 407 93 182 13 526 65 167 1069 1048 809 154 300 161 770 611 899 567 941 705 713 346 1115 792 413 145 1185 442 111 1022 712 330 581 683 798 916 915 251 0 256 696 316 842 507 1078 834 34 1136 106 1037 339 492 928 736 835 309 963 122 388 1092 2 590 683 1207 195 1036 1133 579 858 708 473 730 239 1188 383 175 901 404 331 108 819 319 481 13 339 340 242 421 648 1144 1057 58 384 877 606 291 173 989 151 39 955 138 639 1154 461 10 834 353 946 203 302 98 1156 1 885 1045 468 410 566 751 239 655 983 690 93 969 342 819 512 221 627 658 328 140 1130 78 33 1078 308 405 984 573 951 877 732 519 989 541 315 649 627 1136 262 738 772 910 322 1096 209 833 396 666 22 647 121 23.35/23.60 o 7517 23.35/23.60 v 146 70 527 1022 54 21 1071 527 413 339 936 1032 658 978 766 198 788 1156 331 874 82 1212 755 552 335 628 219 636 1 27 965 904 1056 158 1141 317 796 497 310 420 744 422 245 866 491 14 578 972 147 1137 14 325 1123 1045 92 695 362 130 790 149 985 1061 723 589 34 120 261 478 706 1147 924 502 645 407 856 1107 283 826 332 169 840 0 724 436 644 1107 527 287 627 333 895 779 996 1204 867 1153 97 243 173 884 797 1050 560 115 568 298 290 225 678 1039 912 63 726 197 1152 502 843 660 533 407 683 512 753 1094 1177 423 1205 838 936 538 867 0 455 203 176 335 94 489 666 242 1006 1095 592 471 871 49 1129 246 8 293 448 515 272 382 343 403 807 189 985 135 59 876 218 189 727 8 552 251 417 610 502 1120 1051 1138 816 130 1000 907 718 337 160 1148 542 378 116 503 411 759 898 12 66 1036 1157 212 656 362 292 866 803 926 11 1001 645 346 0 580 640 174 454 1142 35 1139 751 123 486 386 188 259 897 790 1162 244 848 637 720 330 133 1083 813 604 457 1018 1217 339 491 291 407 93 182 13 526 65 167 1069 1048 809 154 300 161 770 611 899 567 941 705 713 346 1115 792 413 145 1185 442 111 1022 712 330 581 683 798 916 915 251 0 256 696 316 842 507 1078 834 34 1136 106 1037 339 492 928 736 835 309 963 122 388 1092 2 590 683 1207 195 1036 1133 579 858 708 473 730 239 1188 383 175 901 404 331 108 819 319 481 13 339 340 242 421 648 1144 1057 58 384 877 606 291 173 989 151 39 955 138 639 1154 461 10 834 353 946 203 302 98 1156 1 885 1045 468 410 566 751 239 655 983 690 93 969 342 819 512 221 627 658 328 140 1130 78 33 1078 308 405 984 573 951 877 732 519 989 541 315 649 627 1136 262 738 772 910 322 1096 209 833 396 666 22 647 121 23.35/23.63 o 7518 23.35/23.63 v 136 70 527 265 54 21 1071 536 413 339 936 1032 658 978 750 198 788 1156 896 874 82 1212 755 552 335 628 219 636 1 27 965 904 1056 158 1141 1049 796 497 310 420 744 422 245 866 491 14 578 972 147 1137 14 325 1123 1045 92 695 362 130 790 149 985 1061 723 589 34 120 261 478 706 1147 924 502 645 407 856 1107 283 826 332 169 840 0 724 436 644 1107 527 287 627 333 895 779 996 1204 867 1153 97 243 173 884 797 1050 560 115 568 298 290 225 678 1039 912 63 726 197 1152 502 843 660 533 407 683 512 753 1094 1177 423 1205 838 936 538 867 0 455 203 176 335 94 489 666 242 1006 1095 592 471 871 49 1129 246 8 293 448 515 272 382 343 403 807 189 985 135 59 876 218 189 727 8 552 251 417 610 502 1120 1051 1138 816 130 1000 907 718 337 160 1148 542 378 116 503 411 759 898 12 66 1036 1157 212 656 362 292 866 803 926 11 1001 645 346 0 580 640 183 454 1142 35 1139 751 123 486 386 188 259 897 790 1162 244 848 637 720 330 133 1083 813 604 457 1018 1217 339 491 291 407 93 182 13 526 65 167 1069 1048 809 154 300 161 770 611 899 567 941 705 713 346 1115 792 413 145 1185 442 111 1022 338 330 581 683 798 916 915 251 0 256 696 316 842 507 1078 834 34 1136 106 1037 339 492 928 736 390 309 963 122 388 1092 2 590 683 1207 195 1036 1133 579 858 708 473 730 239 1188 383 175 901 404 331 108 819 319 481 13 339 340 242 421 648 1144 1057 58 384 877 606 291 173 989 151 39 955 138 639 1154 461 10 834 353 946 203 302 98 1156 1 885 1045 468 410 566 739 239 655 983 1181 93 969 342 819 512 221 627 658 328 140 1130 78 33 1078 308 405 984 573 951 877 732 519 989 541 315 649 627 1136 262 738 772 910 322 1096 209 833 396 666 22 647 121 23.35/23.66 o 7519 23.35/23.66 v 136 70 510 265 54 21 1071 536 413 339 465 1032 658 978 750 198 788 1156 896 874 82 1212 755 552 335 628 219 636 1 27 965 904 1056 158 1141 1049 796 497 310 420 747 422 245 866 491 14 578 972 147 1137 14 325 1123 1045 92 695 362 130 790 149 985 1061 723 589 34 120 261 478 706 1147 924 502 645 407 856 1107 283 826 332 169 840 0 724 436 644 1107 527 287 627 333 895 779 996 1204 867 1153 97 243 173 884 797 1050 560 115 568 298 290 225 678 1039 912 63 726 197 1138 502 843 660 533 407 683 512 753 1094 1177 423 1205 838 915 538 867 0 455 203 176 335 94 489 666 242 1006 1095 592 471 871 49 1129 246 8 293 448 515 272 382 343 403 807 189 985 135 59 876 218 189 727 8 552 251 417 610 502 1120 1051 1138 816 130 1000 907 718 337 160 1148 542 955 116 503 411 759 898 12 66 1036 1157 212 656 362 292 866 803 926 11 1001 645 346 0 580 640 183 454 1142 35 1139 751 123 486 386 188 259 897 790 1162 244 848 637 720 330 133 1083 813 604 457 1018 1217 339 491 291 407 93 182 13 526 65 167 1069 1048 809 154 300 161 770 611 899 567 941 705 713 346 1115 792 413 145 1185 442 111 1022 338 331 581 683 798 916 915 251 0 256 696 316 842 507 1078 834 34 1136 106 1037 339 492 928 736 390 309 963 122 388 1092 2 590 683 1207 195 1036 1133 579 858 708 473 730 239 1188 383 175 901 404 331 108 819 319 481 13 339 340 242 421 648 791 1057 58 384 877 606 291 173 989 151 39 955 138 639 1154 461 10 834 353 946 203 302 102 1156 1 885 1045 468 410 566 739 239 655 983 1181 93 969 342 819 512 221 627 658 328 140 1130 78 33 1078 308 405 984 573 951 877 732 519 989 541 315 649 627 1136 262 738 772 910 322 1096 209 833 396 666 22 647 121 23.35/23.67 o 7520 23.35/23.67 v 136 70 510 265 54 21 1071 536 413 339 465 1032 658 978 750 198 788 1156 896 874 82 1212 755 552 335 628 219 636 1 27 965 904 1056 158 1141 1049 796 497 310 420 747 422 245 866 491 14 578 972 147 1137 14 325 1123 1045 92 695 362 130 790 149 985 1061 723 589 34 120 261 478 706 1147 924 502 645 407 856 1107 283 826 332 169 840 0 724 436 644 1107 527 287 627 333 895 779 996 1204 867 1153 97 243 173 884 797 1050 560 115 568 298 290 225 678 1039 912 63 726 197 1138 502 843 660 533 407 683 512 753 1094 1177 423 1205 838 915 538 867 0 455 203 176 335 94 489 666 242 1006 1095 592 471 871 49 1129 246 8 293 448 515 272 382 343 403 807 189 985 135 59 876 218 189 727 8 552 251 417 610 502 1120 1051 1138 816 130 1000 907 718 337 160 1148 542 955 116 503 411 759 898 12 66 1036 1157 212 656 362 292 866 803 926 11 1001 645 346 0 580 640 183 454 1142 35 1139 751 123 486 386 188 259 897 790 1162 244 848 637 720 330 133 1083 813 604 457 1018 1217 339 491 291 407 93 182 13 526 65 167 1069 321 809 154 300 161 770 611 899 567 941 705 713 346 1115 792 413 145 1185 442 111 1022 338 331 581 683 798 916 915 251 0 256 696 316 842 507 1078 834 34 1136 106 1037 339 492 928 736 390 309 963 122 388 1092 2 590 683 1207 195 1036 1133 579 858 708 473 730 239 1188 383 175 901 404 331 108 819 319 481 13 339 340 242 421 648 791 1057 58 384 877 606 291 173 989 151 39 955 138 639 1154 461 10 834 353 812 203 302 102 1156 1 885 1045 468 410 566 739 239 655 983 1181 93 969 342 819 512 221 627 658 328 140 1125 78 33 1078 308 405 984 573 951 877 732 519 986 541 315 649 627 1136 262 738 772 910 322 1096 209 833 396 666 22 647 121 23.45/23.73 o 7521 23.45/23.73 v 136 70 517 270 54 21 1071 536 413 339 465 1032 658 978 750 198 788 1156 896 874 82 1212 755 552 335 628 219 636 1 27 965 904 1052 158 1141 1049 796 497 310 420 747 422 245 866 491 25 578 972 875 1138 14 325 1123 1045 92 651 362 130 790 149 985 1061 723 589 34 120 261 478 706 1147 924 502 645 407 856 1107 283 826 332 169 840 0 724 436 644 1107 527 287 627 333 895 779 996 1204 867 1153 97 243 173 884 797 1050 560 115 568 298 290 225 678 1046 912 63 726 197 1138 502 843 660 533 407 683 512 753 1094 1177 423 1205 838 915 538 867 0 455 203 176 335 94 489 666 242 1006 1095 592 471 871 49 1129 246 8 293 448 515 272 382 343 403 807 189 985 135 59 876 218 189 727 8 552 251 417 610 502 1120 1051 1138 816 130 1000 907 719 337 160 1148 542 955 116 503 411 759 898 12 66 1036 1157 210 656 362 292 866 803 926 11 1001 645 346 0 580 640 183 454 872 35 1139 751 123 486 386 176 259 897 790 1162 244 848 637 720 330 133 1083 813 604 457 1018 1217 339 491 291 407 93 182 13 526 65 167 1069 321 809 154 300 161 770 611 899 567 941 705 713 346 1115 792 413 145 1185 442 111 1022 338 331 581 683 798 916 915 251 0 256 696 316 842 507 1078 834 34 1136 106 1036 339 492 928 736 390 309 963 122 386 1092 2 590 683 1207 195 1036 1133 579 858 708 473 730 239 1188 383 175 901 404 331 108 819 319 481 13 339 340 242 421 648 791 1057 58 384 877 606 291 173 989 151 19 955 138 639 1154 461 10 834 361 812 203 302 102 1080 1 885 1045 468 410 566 739 239 655 983 1181 93 969 342 1149 512 221 627 658 328 140 1125 78 33 1078 308 405 968 573 951 877 732 180 986 541 315 649 627 1136 262 738 772 910 322 1096 209 833 396 666 22 647 121 23.75/24.09 o 7522 23.75/24.09 v 219 345 522 1021 105 21 1071 544 406 325 460 829 656 978 750 198 634 1156 896 874 82 1212 755 552 335 628 219 636 1 27 965 904 1052 158 1141 1049 796 497 310 420 747 422 245 867 491 790 574 964 660 1138 14 325 1123 1045 92 869 362 130 580 149 985 1061 723 589 34 852 261 478 504 1139 924 606 645 407 977 1107 283 826 332 169 840 0 1053 436 648 1107 527 287 307 333 895 779 938 1204 867 1153 97 243 173 884 797 1050 560 115 919 298 1 225 678 1048 149 63 726 197 1138 502 843 486 533 407 683 512 749 1094 1177 423 1205 838 915 538 867 0 455 203 176 68 94 489 666 242 1006 1095 592 471 881 49 1129 246 8 293 448 515 272 382 343 403 807 712 985 135 59 876 218 189 728 8 552 259 417 610 502 1120 1051 1138 816 955 1000 907 719 337 160 1153 1053 955 116 503 411 759 898 12 66 1128 579 204 656 362 292 866 803 926 11 1001 647 346 0 580 640 146 454 873 35 1139 751 123 486 386 39 259 897 790 1162 244 848 637 720 330 133 1083 813 604 457 1018 1217 339 958 291 407 93 182 13 526 65 167 1069 2 809 154 300 161 770 611 899 567 977 705 713 346 1115 792 413 145 1185 442 111 1022 338 331 581 683 798 916 1037 251 21 256 696 316 842 498 1078 834 32 33 106 1036 339 503 928 736 393 309 963 122 389 1126 504 606 683 1207 195 1036 1133 979 858 708 473 730 896 1188 383 175 548 404 331 108 819 319 727 13 339 340 242 421 662 791 1057 555 384 877 606 291 173 186 151 19 955 138 639 1154 461 1199 834 354 812 203 304 706 1080 1 885 1035 462 913 566 480 239 655 983 1181 93 969 342 1149 512 221 627 333 328 130 728 78 33 1078 308 405 962 573 951 877 732 111 986 541 315 401 627 1136 262 738 485 911 323 1096 209 833 396 665 22 647 121 24.04/24.31 o 7523 24.04/24.31 v 225 345 522 1021 124 21 1071 538 417 100 460 829 664 978 750 198 630 1156 896 874 82 1212 755 552 335 628 219 636 1 27 965 904 1052 158 1141 1049 796 497 310 420 747 422 245 861 491 790 580 964 660 1138 14 325 1123 1045 92 1035 362 130 580 149 976 1061 723 589 34 854 261 478 504 1139 924 691 645 407 130 1107 283 826 332 169 840 0 1053 436 654 1107 527 287 307 333 916 779 938 1204 867 1153 97 243 173 884 1149 1050 560 115 919 298 1 225 678 1048 907 63 726 197 1138 502 843 486 533 407 683 512 749 1028 1177 423 1205 838 915 550 867 0 455 135 176 336 94 489 666 242 1006 1095 592 471 881 49 1129 246 8 293 448 515 272 382 343 403 807 712 985 135 59 876 218 189 728 8 552 259 417 610 502 1120 1051 1133 816 283 1000 907 714 337 160 1139 1053 200 116 503 411 759 898 12 66 486 579 204 656 362 292 866 803 925 11 1001 823 346 0 580 640 146 454 1148 1082 1140 751 207 486 386 39 259 897 784 1162 244 848 637 720 330 133 1083 813 604 457 1018 1217 339 958 291 554 93 182 13 524 65 167 1069 2 809 154 300 161 770 611 899 569 977 705 713 346 1115 792 413 145 1185 442 111 1022 338 329 581 683 798 916 1037 251 21 256 696 316 842 499 1078 834 32 35 106 1036 339 503 928 736 393 309 963 122 375 1126 504 786 683 1207 195 1036 1133 979 858 708 473 747 896 1188 383 175 548 404 331 108 819 319 727 13 339 340 242 421 662 791 1057 555 384 877 111 291 173 186 151 18 955 138 639 1154 461 1199 834 354 812 203 304 706 1080 1 879 1035 466 939 566 480 239 655 378 1150 93 975 342 1149 512 221 629 654 328 130 824 78 33 1078 308 405 962 573 951 860 732 111 986 541 315 401 627 1136 637 738 485 914 323 1096 209 833 398 665 22 647 121 24.14/24.42 o 7524 24.14/24.42 v 207 345 739 1021 124 21 1071 538 417 100 460 829 289 978 750 192 634 1156 896 874 82 1212 755 552 335 628 219 636 1 27 965 904 1054 158 1141 1049 796 497 310 420 747 422 245 861 491 790 580 964 660 1138 14 325 1123 1045 92 1035 362 130 580 149 976 1061 723 589 22 854 261 478 504 1139 924 691 646 407 130 1107 283 826 332 169 840 0 1045 436 654 1107 527 287 307 333 928 737 938 1204 867 1153 97 243 173 884 664 1050 560 115 919 298 292 225 678 1048 789 63 726 197 1149 502 843 486 533 407 683 512 749 1065 1177 423 1205 838 915 550 867 0 455 135 176 336 94 489 666 242 1006 1095 592 471 881 49 1129 246 8 293 448 515 272 382 343 403 807 712 985 135 59 876 218 189 728 8 552 259 417 610 502 1120 1051 1133 816 283 1000 907 714 337 160 1139 1053 200 116 503 411 759 898 12 66 486 579 204 656 362 292 866 803 925 11 1001 823 346 0 580 640 146 454 882 1082 1140 751 207 486 386 39 259 897 784 1162 244 848 637 720 330 133 1083 813 604 457 1018 1217 339 958 291 554 93 182 13 524 65 167 1069 2 809 154 300 161 770 611 899 570 977 705 713 346 1115 792 413 145 1185 442 111 1022 338 329 581 683 798 916 1037 251 20 256 696 316 852 499 1078 834 32 35 106 1036 339 503 928 736 393 309 963 122 375 1126 504 786 683 1207 195 1036 1133 979 858 708 473 747 903 286 383 175 548 404 331 108 819 319 727 17 339 340 242 421 656 791 1057 555 384 877 111 291 173 976 151 18 955 138 639 1154 461 1199 833 354 812 203 1011 706 1080 1 879 100 466 939 566 480 239 655 378 1150 93 975 342 1149 512 221 629 650 328 131 824 78 33 1078 308 405 962 573 951 870 732 15 995 541 315 402 627 1136 1190 738 485 914 323 1096 209 833 398 665 22 647 121 24.24/24.50 o 7525 24.24/24.50 v 206 345 739 1021 124 21 1071 538 417 100 460 829 289 978 750 196 634 1156 896 874 82 1212 755 552 335 628 219 636 1 27 965 904 1054 158 1141 1051 796 497 310 420 747 422 245 861 960 790 580 644 660 1138 14 325 1123 1045 92 871 362 130 580 149 976 1061 723 589 22 854 261 478 503 1147 924 691 646 407 130 1107 283 826 332 169 840 5 1045 436 654 1107 527 287 307 333 928 737 640 1204 867 1153 97 243 173 884 664 23 560 115 919 298 292 225 678 1048 914 63 726 197 1149 502 843 486 533 407 683 512 749 1065 1177 423 1205 838 915 550 867 0 455 135 176 336 94 489 666 242 1006 1095 592 471 836 49 1129 246 8 293 448 515 272 382 343 403 793 712 985 135 59 876 218 189 728 8 552 258 417 610 502 1120 1051 1133 816 283 1000 907 714 337 160 1139 1053 200 116 503 411 759 898 12 66 486 583 1149 680 362 292 866 803 925 11 1001 823 346 0 580 640 146 454 882 1082 1140 751 207 486 386 39 259 897 791 1162 244 848 637 720 330 133 1083 813 604 457 1018 1217 339 958 291 554 93 182 13 524 65 167 1069 2 809 154 300 161 770 609 899 570 977 705 713 346 1115 792 413 145 1185 442 111 1022 326 329 581 683 798 916 1037 251 20 256 696 316 852 499 1078 834 32 35 106 1036 339 503 928 736 393 309 963 122 375 1126 504 786 683 1207 195 1036 1133 979 858 708 473 224 903 286 383 175 548 404 331 108 819 319 727 17 339 340 242 421 656 791 1057 555 384 877 111 291 173 976 151 19 955 138 639 1154 461 1199 833 354 812 203 1011 706 1080 1 879 0 466 939 566 480 239 655 378 1150 93 136 342 1149 512 221 629 650 328 131 824 78 33 1078 2 405 962 573 951 870 732 15 995 541 315 401 627 1136 1190 738 485 914 323 1096 209 833 398 665 22 647 121 24.24/24.51 o 7526 24.24/24.51 v 206 345 739 1021 124 21 1071 538 417 100 460 829 289 978 750 196 634 1156 896 874 82 1212 755 552 335 628 219 636 1 27 965 904 1054 158 1141 1051 796 497 310 420 747 422 245 861 960 790 580 644 660 1138 14 325 1123 1045 92 871 362 130 580 149 976 1061 723 589 22 854 261 478 503 1147 924 691 646 407 130 1107 283 826 332 169 840 5 1045 436 654 1107 527 287 307 333 928 737 640 1204 867 1153 97 243 173 884 664 23 560 115 919 298 292 225 678 1048 914 63 726 197 1149 502 843 486 533 407 683 512 749 1065 1177 423 1205 838 915 550 867 0 455 135 176 336 94 489 666 242 1006 1095 592 471 836 49 1129 246 8 293 448 515 1103 382 343 403 793 712 985 135 59 876 218 189 728 8 552 258 417 610 502 1120 1051 1133 816 283 1000 907 714 337 160 1139 1053 200 116 503 411 759 898 12 66 486 583 1149 680 362 292 866 803 925 11 1001 823 346 0 580 640 146 454 882 1082 1140 751 207 486 386 39 259 897 791 1162 244 848 637 720 330 133 1083 813 604 457 1018 1217 339 958 291 554 93 182 13 524 65 167 1069 2 809 154 300 161 770 609 899 570 977 705 713 346 1115 792 413 145 1185 442 111 1022 326 329 581 683 798 916 1037 251 20 256 696 316 852 499 1078 834 32 35 106 1036 339 503 928 736 393 309 963 122 375 1126 504 786 683 1207 195 1036 1133 979 858 708 473 224 903 286 383 175 548 404 331 108 819 319 727 17 339 340 242 421 656 791 1057 555 384 877 111 291 173 976 151 19 955 138 639 1154 461 1199 833 354 812 203 1011 706 1080 1 879 0 466 939 566 480 239 655 378 1150 93 136 342 1149 512 221 629 650 328 131 824 78 33 1078 2 405 962 573 951 870 732 15 995 541 315 401 627 1136 1190 738 485 914 323 1096 209 833 398 665 22 647 121 24.24/24.59 o 7527 24.24/24.59 v 206 345 739 1021 122 21 1071 538 417 57 460 829 634 978 750 196 634 1156 896 874 73 1212 755 552 335 628 219 636 1 812 965 904 1053 158 1141 1051 796 497 310 420 747 422 245 861 960 790 579 485 658 1138 14 325 1123 1045 92 871 362 130 580 149 976 1061 724 589 22 854 261 478 503 1149 924 67 646 407 980 1107 283 826 332 169 840 5 1045 436 958 1107 527 287 307 333 928 737 640 1204 867 1153 97 243 173 884 664 23 560 115 919 298 292 225 678 1048 914 155 726 197 1149 502 843 486 533 407 683 512 749 1065 1177 423 1205 838 915 550 867 0 455 135 176 336 94 489 666 242 1006 1095 592 471 836 49 1129 246 8 293 448 515 1103 382 343 403 793 712 985 135 59 876 218 189 728 8 552 258 417 610 502 1120 1051 1133 816 283 1000 907 720 337 160 1139 1053 200 116 272 411 759 898 12 66 486 583 1149 680 362 292 866 803 925 11 1001 788 346 0 580 640 146 454 882 1082 1140 751 207 486 386 39 259 897 341 1162 244 848 637 720 330 133 1083 813 604 457 1018 1217 339 958 291 554 93 182 13 524 65 167 1069 2 809 154 300 161 770 609 899 570 977 705 713 346 1115 792 413 145 1185 442 111 1022 326 328 581 683 798 916 1037 251 20 256 696 316 852 499 1078 834 32 35 106 1036 339 503 928 736 393 309 963 122 375 1126 504 786 683 1207 195 1036 1133 979 858 708 473 224 903 286 383 175 536 404 331 108 819 319 727 14 339 340 242 421 656 791 1057 555 384 877 111 291 173 976 151 19 955 138 639 1154 461 1199 833 354 812 203 1011 706 1080 6 879 0 466 939 566 458 239 655 378 1150 93 136 342 1149 512 221 629 647 328 131 824 80 33 1078 2 405 962 573 951 870 724 15 995 541 315 401 627 1136 1190 738 485 745 323 1096 209 833 407 665 22 647 121 24.73/25.06 o 7528 24.73/25.06 v 205 345 739 1021 122 21 1071 882 417 57 460 829 639 978 746 196 562 1156 896 1 73 1212 755 551 335 628 211 636 1 812 965 904 1053 158 1141 1055 807 497 310 420 747 438 254 861 960 790 579 485 658 1137 14 325 1123 1045 92 870 362 130 554 149 513 1061 723 589 76 854 261 478 171 1138 924 692 646 407 980 1107 283 826 332 167 840 11 1045 436 297 1107 527 287 376 791 918 737 638 1204 867 1153 97 243 173 884 783 4 634 533 919 289 292 225 94 1048 914 136 726 197 1142 502 843 486 605 407 692 512 749 1065 1177 423 1205 838 937 550 867 0 455 135 176 330 94 489 666 242 1006 1095 592 471 836 49 1129 246 8 293 448 616 1103 382 343 403 793 712 985 529 59 876 218 189 1143 8 552 258 417 610 502 1120 1061 1133 816 141 1000 907 720 331 160 1139 1053 200 116 272 411 759 898 12 66 486 580 644 680 362 292 866 803 925 11 1001 788 346 0 580 640 1080 454 879 140 1140 751 207 485 386 39 259 884 496 1162 244 848 637 720 330 133 1083 813 604 457 1018 1217 339 958 291 510 93 182 13 18 1001 167 1069 2 809 154 300 161 770 610 895 504 1109 705 713 346 1115 792 413 138 1185 408 111 1022 703 328 581 683 798 916 1054 251 14 256 920 316 852 499 156 834 20 32 106 1041 639 503 928 736 393 618 963 122 381 1126 504 786 683 1207 195 1036 1133 897 509 708 473 224 903 286 383 175 536 404 331 108 819 319 727 17 339 340 226 421 656 791 1057 555 384 877 111 291 173 985 151 19 955 138 639 1154 461 1199 833 347 812 203 50 692 1080 6 879 4 910 129 566 458 239 655 1007 1150 254 136 342 1149 512 221 629 329 328 129 989 32 1205 1078 2 405 962 587 116 909 731 15 995 541 315 401 627 1136 1190 230 485 747 325 1096 180 833 407 665 912 647 121 24.73/25.08 o 7529 24.73/25.08 v 205 345 739 1021 122 21 1071 882 417 57 460 829 639 978 746 196 562 1156 896 1 73 1212 755 551 356 628 211 636 1 812 965 904 1053 158 1141 1055 807 497 310 420 747 438 254 861 960 790 579 485 658 1137 14 325 1123 1045 92 870 362 130 554 149 513 1061 723 589 76 854 261 478 171 1138 924 692 646 407 980 1107 283 826 332 167 840 11 1045 436 297 1107 527 287 376 791 918 737 647 1204 867 1153 97 243 173 884 783 4 634 533 919 289 292 225 94 1048 914 136 726 197 1142 502 843 486 605 407 692 512 749 1065 1177 423 1205 838 937 550 867 0 455 135 176 330 94 489 666 240 1006 1095 592 471 836 49 1129 246 8 293 448 616 1103 382 343 403 793 712 985 529 59 876 218 189 1143 8 552 258 417 610 502 1120 1061 902 816 141 1000 907 720 331 160 1139 1053 200 116 272 411 759 898 12 66 486 580 644 680 362 292 866 803 925 11 1001 788 346 0 580 640 1080 454 879 140 1140 751 207 485 386 39 259 884 496 1162 244 848 637 720 330 133 1083 813 604 457 1018 1217 339 958 291 510 93 182 13 18 1001 167 1069 2 809 154 300 161 770 610 895 504 1109 705 713 346 1115 792 413 138 1185 408 111 1022 703 328 581 683 798 916 1054 251 14 256 920 316 852 499 156 834 20 32 106 1041 639 503 928 736 393 618 963 122 381 1126 504 786 683 1207 195 1036 1133 897 509 708 473 224 903 286 383 175 536 404 331 108 819 319 727 17 339 340 226 421 656 791 1057 555 384 877 111 291 173 985 151 19 955 138 639 1154 461 1199 833 347 812 203 50 701 1080 4 879 4 910 129 566 458 239 655 1007 1150 254 820 342 1149 512 221 629 329 328 129 989 32 1205 1078 2 405 962 587 116 909 731 15 995 541 315 401 627 1136 1190 230 485 747 325 1096 180 833 407 665 912 647 121 24.83/25.16 o 7530 24.83/25.16 v 205 345 739 1021 122 21 1071 882 417 57 299 829 639 978 746 196 562 1156 896 1 73 1212 755 551 356 628 211 636 1 812 965 904 1048 158 1141 1055 807 497 310 420 747 438 261 861 960 790 579 485 658 1137 14 325 1123 1045 92 867 362 130 569 149 513 1061 723 589 76 543 261 478 171 1138 924 692 646 407 980 1107 283 826 332 167 840 11 1045 436 297 1107 527 287 376 791 918 737 647 1204 867 1153 97 243 173 884 783 4 634 533 919 301 287 225 94 1048 945 136 726 197 1151 502 843 486 605 407 692 512 749 1065 1177 423 1205 838 937 550 867 0 455 135 176 330 94 489 666 240 1006 1095 585 471 836 49 1125 246 8 293 448 622 1103 382 343 403 793 712 985 844 59 876 218 189 1143 8 552 258 417 610 502 1120 1025 902 816 141 1000 907 720 331 160 1139 1053 200 116 272 411 759 898 12 66 486 405 644 683 362 292 866 803 925 11 1001 788 346 0 580 640 1080 454 869 140 1140 751 207 485 386 39 259 884 496 1162 244 848 637 720 330 133 1078 813 604 457 1018 1217 339 958 291 510 93 182 13 18 1001 167 1069 2 809 154 300 161 770 610 895 504 1109 705 713 346 1115 792 413 138 1185 408 111 1022 703 328 581 683 798 916 1054 251 14 256 920 316 852 499 156 834 20 32 106 1041 639 503 928 736 393 618 963 123 381 1126 504 786 683 1207 195 1036 1133 897 509 708 473 224 903 286 383 175 536 404 331 108 819 319 727 17 339 340 226 421 656 791 1057 555 384 877 111 291 173 985 151 19 955 138 639 1154 461 1199 833 338 812 203 50 701 1080 4 879 41 962 129 566 458 239 655 1007 1150 254 820 342 1149 512 221 629 329 328 129 989 32 1205 1078 2 405 985 587 116 905 731 15 995 541 315 935 627 1136 1190 230 485 747 325 1096 180 833 407 665 912 647 121 24.83/25.18 o 7531 24.83/25.18 v 205 345 739 1021 122 21 1071 882 417 57 299 829 639 978 746 196 562 1156 896 1 73 1212 755 551 356 628 211 636 1 812 965 904 1048 158 1141 1055 807 497 310 420 747 438 261 861 960 790 580 485 658 1137 14 325 1123 1045 92 867 362 130 569 149 513 1061 723 589 76 543 261 478 171 1138 924 692 646 407 980 1107 283 826 332 167 840 11 1045 436 297 1107 527 287 376 791 918 737 647 1204 867 1153 97 243 173 884 783 4 634 533 919 301 287 225 94 1048 945 136 726 197 1151 502 843 486 605 407 692 512 749 1065 1177 423 1205 838 937 550 867 0 455 135 176 330 94 489 666 240 1006 1095 585 471 836 49 1125 246 8 293 448 622 1103 382 343 403 793 712 985 844 59 876 218 189 1143 8 552 258 417 610 502 1120 1025 905 816 141 1000 907 720 331 160 1139 1053 200 116 272 411 759 898 12 66 486 405 644 683 362 292 866 803 925 11 1001 788 346 0 580 640 1080 454 869 140 1140 751 207 485 386 39 259 884 134 1162 244 848 637 720 330 133 1078 813 604 457 1018 1217 339 958 291 510 93 182 13 18 1001 167 1069 2 809 154 300 161 770 610 895 504 1109 705 713 346 1127 792 413 138 1185 408 111 1022 703 328 581 683 798 916 1054 251 14 256 920 316 852 499 156 834 20 32 106 1041 639 503 928 736 393 618 963 123 381 1126 505 786 683 1207 195 1036 1133 897 509 708 473 224 903 286 383 175 536 404 331 108 819 319 727 17 339 340 226 421 656 791 1057 555 384 877 111 291 173 985 151 19 955 138 639 1154 461 1199 833 338 812 203 50 701 1080 4 879 41 962 134 566 458 239 655 1007 1150 252 820 342 1149 512 221 629 329 328 129 989 32 1205 1078 2 405 985 587 116 905 730 15 995 541 315 935 627 1136 1190 230 485 747 325 1096 180 833 407 665 912 647 121 24.93/25.22 o 7532 24.93/25.22 v 205 345 739 1021 122 21 1071 882 417 57 299 829 639 978 746 196 562 1156 896 1 73 1212 755 551 356 628 223 636 1 812 965 904 1048 158 1141 1053 807 497 310 420 747 438 261 861 960 790 580 485 658 1137 14 325 1123 1045 92 867 362 130 569 149 513 1061 723 589 76 543 261 478 171 1138 924 692 646 407 980 1107 283 826 332 167 840 11 1045 436 297 1107 527 287 376 791 918 737 647 1204 867 1153 97 243 173 884 783 4 634 533 919 301 287 225 94 1048 945 136 726 197 1151 502 843 486 605 407 692 512 749 1065 1177 423 1205 838 937 550 867 0 455 135 176 330 94 489 666 240 1006 1095 585 471 109 49 1125 246 8 293 448 622 1103 382 343 403 793 712 985 844 59 876 218 189 1143 8 552 258 417 610 502 1120 1025 905 816 141 1000 907 720 331 160 1139 1053 200 116 272 411 759 898 12 66 486 433 644 690 362 292 866 803 925 11 1001 788 346 0 580 640 1080 454 869 140 1140 751 207 485 386 39 259 884 134 1162 244 848 637 720 330 133 1078 813 604 457 1018 1217 339 958 291 510 93 182 13 65 1001 167 1069 2 809 154 300 161 770 610 895 504 1109 705 713 346 1122 792 413 138 1185 408 111 1022 703 328 581 683 798 20 1054 251 14 256 920 316 852 499 156 834 17 32 106 1041 639 503 928 736 393 618 963 123 381 1126 505 786 683 1207 195 1036 1133 900 509 708 473 224 903 286 383 175 536 404 331 108 819 319 727 16 339 340 226 421 656 791 1057 555 384 877 111 291 173 985 151 19 955 138 639 1154 461 1199 833 338 812 203 50 701 1080 4 879 41 962 134 566 458 239 655 1007 1150 252 820 342 1149 512 221 629 329 328 129 989 32 1205 1078 2 405 985 584 116 905 730 15 995 541 315 935 627 1136 1190 230 485 747 325 1096 180 833 407 665 912 647 121 25.43/25.71 o 7533 25.43/25.71 v 207 345 733 1021 122 21 1071 885 408 57 508 829 649 978 726 196 560 1156 896 1 73 1212 755 551 356 628 210 636 1 812 965 906 1056 158 1141 1055 895 495 310 420 747 438 261 861 960 790 14 485 658 1137 11 325 1123 1045 92 561 362 130 569 149 504 1061 726 589 81 1 261 478 173 1146 924 700 646 407 980 1107 283 826 332 167 840 4 1045 436 652 1107 527 287 376 335 896 238 744 1204 867 1153 97 243 173 884 783 1143 634 533 893 301 71 225 94 972 569 136 726 197 224 502 843 486 30 407 692 512 749 1056 1177 423 1205 838 937 550 867 0 455 135 176 330 94 489 666 240 1006 1095 1139 471 909 49 509 246 8 293 448 622 1103 382 343 403 793 712 985 844 59 876 218 189 1144 8 552 258 417 610 479 1120 1004 534 816 141 975 899 720 331 160 588 1053 200 116 918 1012 759 898 12 66 486 433 1148 690 362 282 866 803 925 11 1001 788 346 0 580 640 1080 454 869 144 1140 751 207 485 386 39 259 879 132 1162 244 848 637 720 330 133 840 813 604 457 1036 1217 339 958 291 510 93 182 13 65 1001 167 1069 2 809 154 300 161 770 610 904 504 1106 705 181 337 1122 792 413 138 1187 408 111 1022 709 328 581 683 798 1143 1052 251 11 256 920 316 852 499 145 834 10 33 106 1041 639 503 928 736 393 618 963 123 361 1126 505 786 683 1207 195 1028 1133 1070 509 708 473 929 845 286 383 175 536 404 331 108 819 319 727 16 339 340 226 421 654 791 1057 555 384 877 111 291 173 16 151 13 955 138 639 1154 461 1199 836 363 812 203 50 693 293 546 879 952 1063 131 571 458 230 655 1004 1150 701 820 284 1149 509 221 629 329 1128 129 977 32 1205 1078 2 405 978 72 116 919 724 37 994 541 315 937 627 1136 1190 221 485 747 330 1096 180 833 407 665 1021 828 121 25.43/25.72 o 7534 25.43/25.72 v 207 345 733 1021 122 21 1071 885 408 57 301 829 649 978 726 196 560 1156 896 1 73 1212 755 551 356 628 210 636 1 812 965 906 1056 158 1141 1055 895 495 310 420 747 438 261 861 960 790 14 485 658 1137 11 325 1123 1045 92 561 362 130 569 149 504 1061 726 589 81 1 261 478 172 1146 924 700 646 407 980 1107 283 826 332 167 840 4 1045 436 652 1107 527 287 376 335 896 238 744 1204 867 1153 97 243 173 884 783 1140 634 533 893 301 71 225 94 972 569 136 726 197 224 502 843 486 30 407 692 512 749 1056 1177 423 1205 838 937 550 867 0 455 135 176 330 94 489 666 240 1006 1095 1139 471 909 49 509 246 8 293 448 622 1103 382 343 403 793 712 985 844 59 876 218 189 1144 8 552 258 417 610 479 1120 1004 534 816 141 975 899 720 331 160 588 1053 200 116 918 1012 759 898 12 66 486 433 1148 690 362 282 866 803 925 11 1001 788 346 0 580 640 1080 454 869 144 1140 751 207 485 386 39 259 879 132 1162 244 848 637 720 330 133 840 813 604 457 1036 1217 339 958 291 510 93 182 13 65 1001 167 1069 2 809 154 300 161 770 610 904 504 1106 705 181 337 1122 792 413 138 1187 408 111 1022 709 328 581 683 798 1143 1052 251 11 256 920 316 852 499 145 834 10 33 106 1041 639 503 928 736 393 618 963 123 361 1126 505 786 683 1207 195 1028 1133 1070 509 708 473 929 845 286 383 175 536 404 331 108 819 319 727 16 339 340 226 421 654 791 1057 555 384 877 111 291 173 16 151 13 955 138 639 1154 461 1199 836 363 812 203 50 693 293 546 879 952 1063 131 571 458 230 655 1004 1150 701 820 284 1149 509 221 629 329 1128 129 977 32 1205 1078 2 405 978 72 116 919 724 37 994 541 315 937 627 1136 1190 221 485 747 330 1096 180 833 407 665 1021 828 121 25.43/25.77 o 7535 25.43/25.77 v 207 345 733 1021 122 21 1071 885 408 57 301 829 649 978 726 196 560 1156 896 1 73 1212 755 551 334 628 210 636 1 812 965 906 1056 158 1141 1055 895 495 310 420 747 438 261 861 960 790 5 485 658 1137 15 325 1123 1045 92 561 362 130 569 149 504 1061 726 589 80 1 261 478 172 1146 924 694 646 407 980 1107 283 826 332 167 840 4 1045 436 652 1107 527 287 376 335 896 238 744 1204 867 1153 97 224 173 884 783 1140 634 533 893 301 71 225 94 972 569 136 726 197 224 502 843 486 30 407 692 512 749 1056 1177 423 1205 838 937 550 867 0 455 135 176 330 94 489 666 240 1006 1095 1139 471 909 49 509 246 8 293 448 622 1103 382 343 403 793 712 985 844 59 876 218 189 1144 8 552 258 417 610 479 1120 1004 534 816 141 975 899 720 331 160 588 1053 200 116 918 1012 759 898 12 66 486 417 1148 690 362 282 866 803 925 11 1001 788 346 0 580 640 1080 454 869 144 1140 751 207 485 386 39 259 879 134 1162 244 848 637 720 330 133 840 813 604 457 1036 1217 339 960 291 510 93 182 13 65 1001 167 1069 2 809 154 300 161 770 610 904 510 1091 705 181 337 1122 792 413 405 1187 408 111 1022 709 328 581 683 798 1143 1052 251 11 256 920 316 852 499 145 834 10 33 106 1041 639 503 928 736 393 618 963 123 361 1126 505 786 683 1207 195 1028 1133 1070 509 708 473 929 845 286 383 175 536 404 331 108 819 319 727 16 339 340 226 421 654 791 1057 555 384 877 111 291 173 16 151 546 955 138 639 1154 461 1199 836 363 812 203 50 882 293 546 879 952 1063 131 571 458 230 655 1004 1150 701 820 284 1149 509 221 629 329 1128 129 987 32 1205 1078 2 405 978 72 116 919 724 37 994 541 315 937 627 1136 1190 759 485 747 330 1096 180 833 407 665 1021 828 121 25.43/25.78 o 7536 25.43/25.78 v 207 345 733 1021 122 21 1071 885 408 57 301 829 649 978 726 196 560 1156 896 1 73 1212 755 551 334 628 210 636 1 812 965 906 1056 158 1141 1055 895 495 310 420 747 438 261 861 960 790 5 485 658 1137 15 325 1123 1045 92 561 362 130 569 149 504 1061 726 589 80 1 261 478 172 1146 924 694 646 407 980 1107 283 826 332 167 840 4 1045 436 652 1107 527 287 376 335 896 238 744 1204 867 1153 97 224 173 884 783 1140 634 533 893 301 71 225 94 972 569 136 726 197 224 502 843 486 30 407 692 512 753 1056 1177 423 1205 838 937 550 867 0 455 135 176 330 94 489 666 240 1006 1095 1139 471 909 49 509 246 8 293 448 622 1103 382 343 403 793 712 985 844 59 876 218 189 1144 8 552 258 417 615 479 1120 1004 534 816 141 975 899 720 331 160 588 1053 200 116 918 1012 759 898 12 66 486 417 1148 690 362 282 866 803 925 11 1001 788 346 0 580 640 1080 454 869 144 1140 751 207 485 386 39 259 879 134 1162 244 848 637 720 330 133 840 813 604 457 1036 1217 339 960 291 510 93 182 13 65 1001 167 1069 2 809 154 300 161 770 610 904 510 1091 705 181 337 1122 792 413 405 1187 408 111 1022 709 328 581 683 798 1143 1052 251 27 256 920 316 852 499 145 834 10 33 106 1041 639 503 928 736 393 618 963 123 361 1126 505 786 683 1207 195 1028 1133 1070 509 708 473 929 845 286 383 175 536 404 331 108 819 319 727 16 339 340 226 421 654 791 1057 555 384 877 111 291 173 16 151 546 955 138 639 1154 461 1199 836 363 812 203 50 882 293 546 879 952 1063 131 571 458 230 655 1004 1150 701 820 284 1149 509 221 629 329 1128 129 987 32 1205 1078 2 405 978 72 116 919 724 37 994 541 315 937 627 1136 1190 759 485 747 327 1096 180 833 407 665 1021 828 121 25.43/25.79 o 7537 25.43/25.79 v 207 345 733 1021 122 21 1071 885 408 57 301 829 649 978 726 196 560 1156 896 1 73 1212 755 551 334 628 210 636 1 812 965 906 1056 158 1141 1055 895 495 310 420 747 438 261 861 960 790 5 485 658 1137 15 325 1123 1045 92 561 362 130 569 149 504 1061 726 589 80 1 261 478 172 1146 924 694 646 407 980 1107 283 826 332 167 840 4 1045 436 652 1107 527 287 376 335 896 238 744 1204 867 1153 97 224 173 884 783 1140 634 533 893 301 71 225 94 972 569 136 726 197 230 502 843 486 30 407 692 512 753 1056 1177 423 1205 838 937 550 867 0 455 135 176 330 94 489 666 240 1006 1095 1139 471 909 49 509 246 8 293 448 622 1103 382 343 403 793 712 985 844 59 876 218 189 1144 8 552 650 417 615 479 1120 1004 534 816 141 975 899 720 331 160 588 1053 200 116 918 1012 759 898 12 66 486 417 1148 690 362 282 866 803 925 11 1001 788 346 0 580 640 1080 454 869 144 1140 751 207 485 386 39 259 879 134 1162 244 848 637 720 330 133 840 813 604 457 1036 1217 339 960 291 510 93 182 13 65 1001 167 1069 2 809 154 300 161 770 610 904 510 1091 705 181 337 1122 792 413 405 1187 408 111 1022 709 328 581 683 798 903 1052 251 27 256 920 316 852 499 145 834 10 33 106 1041 639 503 928 736 393 618 963 123 361 1126 505 786 683 1207 195 1028 1133 1070 509 708 473 929 845 286 383 175 530 404 331 108 819 319 727 16 339 340 226 421 654 791 1057 555 384 877 111 291 173 16 151 546 955 138 639 1154 461 1199 836 363 812 203 50 882 293 546 879 952 1063 131 571 458 230 655 1004 1150 701 820 284 1149 509 221 629 329 1128 129 987 32 1205 1078 2 405 972 72 116 919 724 37 994 541 315 937 627 1136 1190 759 485 747 327 1096 180 833 407 665 1021 828 121 25.92/26.26 o 7538 25.92/26.26 v 205 345 728 1021 122 21 1071 879 408 57 301 829 649 978 727 204 560 1156 898 1 73 1212 755 550 345 628 210 636 715 812 965 23 1049 158 1140 1052 895 495 310 420 165 438 261 859 960 790 5 485 671 1137 15 325 1123 1045 92 562 362 130 689 144 504 869 726 589 80 1 261 478 177 1146 924 692 646 407 980 1107 283 826 332 169 840 4 1045 436 652 1107 527 287 376 335 896 605 744 1204 867 1153 97 224 173 884 1074 1140 634 56 893 305 1156 737 94 972 569 136 726 197 220 502 843 486 24 407 692 512 753 1056 1177 423 1205 838 927 550 867 0 455 135 176 330 94 489 666 240 1006 1095 1139 471 909 49 511 246 8 293 448 622 1103 382 343 403 793 712 985 844 65 876 218 189 1144 8 546 649 417 621 479 1120 1004 534 816 141 975 899 719 307 160 588 1053 200 116 923 1012 759 898 12 66 486 401 1148 690 362 282 866 803 926 11 1001 788 346 0 580 640 1080 454 39 140 1140 751 207 485 386 39 259 881 486 1161 244 855 637 720 330 133 557 813 6 457 1036 1217 339 960 291 510 93 182 13 65 1001 196 1069 2 809 154 300 161 770 610 911 509 1096 705 337 496 1122 792 413 405 1187 406 111 1022 709 328 581 683 798 907 1055 251 29 256 917 316 852 499 145 834 8 1051 106 1040 639 132 928 736 390 618 958 988 366 1126 504 786 683 1207 195 902 1133 50 509 708 473 220 845 286 383 175 554 404 331 108 819 319 727 1126 339 340 226 421 665 791 1057 978 384 877 111 291 173 16 151 544 955 138 639 1154 461 1199 836 364 812 203 50 1065 291 0 892 952 1063 131 571 458 756 655 554 1150 701 820 583 1149 509 221 629 329 1128 129 983 32 1205 1078 2 405 972 72 116 919 735 37 995 541 315 937 627 1136 1190 234 485 747 327 1096 180 833 407 665 1014 828 121 26.12/26.42 o 7539 26.12/26.42 v 204 345 1151 1021 122 21 1071 879 408 57 301 829 649 978 727 204 560 1156 898 1 73 1212 755 550 343 15 216 636 715 812 965 23 1058 158 1140 1053 895 495 310 420 165 438 261 859 960 790 15 485 671 1139 15 325 1123 1045 92 577 362 130 689 158 504 980 726 589 80 1 261 478 177 1140 924 692 646 407 852 1107 283 826 332 169 840 4 1045 436 657 1107 740 287 376 335 896 605 744 1204 867 1153 97 224 173 884 1082 1140 634 56 893 305 1152 737 94 972 569 136 726 197 220 502 843 486 24 407 692 512 753 1056 1177 423 1205 838 927 550 867 0 455 135 176 330 94 489 666 240 1006 1095 1138 471 909 49 511 246 8 293 448 622 1103 382 343 403 793 712 985 844 65 876 218 189 1144 8 546 649 417 621 479 1120 1004 534 816 141 975 899 719 337 160 588 1053 200 116 923 1012 759 898 12 66 492 435 1148 690 362 282 866 803 926 11 1001 788 346 0 580 640 1080 454 39 140 1140 751 207 499 386 39 259 881 486 1161 244 855 637 720 330 133 557 813 6 457 1036 1217 339 960 291 510 93 182 39 65 1001 201 1069 2 809 154 300 161 770 610 911 509 1096 705 337 496 1122 792 413 403 1187 406 111 1022 709 328 581 683 798 907 1055 251 29 256 926 316 852 499 145 834 8 1048 106 1040 639 132 928 736 390 618 965 988 350 1126 519 786 683 1207 195 902 1133 50 509 708 473 220 845 286 383 175 531 404 331 108 819 319 727 1126 339 340 226 421 672 791 1057 978 384 877 111 291 173 16 151 546 955 138 639 1154 461 1199 836 364 812 203 50 1046 291 182 892 949 1063 131 571 458 756 655 381 1150 701 820 280 1149 509 221 629 329 1128 129 983 32 1205 1078 2 405 549 72 116 912 735 37 999 541 315 937 627 1136 1190 234 485 738 334 1096 180 833 407 665 1014 828 121 26.12/26.47 o 7540 26.12/26.47 v 206 345 1151 1021 122 21 1071 879 408 57 301 829 649 978 727 204 560 1156 898 1 73 1212 755 550 343 15 216 636 715 812 965 23 1058 158 1140 1053 895 495 310 420 158 438 261 859 960 790 15 485 671 1139 19 325 1123 1045 92 577 362 130 689 1036 504 980 990 589 80 1 261 478 177 1147 924 692 646 407 852 1107 283 826 332 169 840 4 1045 436 657 1107 740 287 376 335 896 605 485 1204 867 1153 97 224 173 884 1082 1140 634 56 893 305 1152 737 94 972 569 136 726 197 220 502 843 486 24 407 692 512 753 1056 1177 423 1205 838 927 550 867 0 455 135 176 330 94 489 666 240 1006 1095 1138 471 909 49 511 246 8 293 448 622 1103 382 343 403 793 712 985 844 65 876 218 189 1144 8 546 649 417 621 479 1120 1004 534 816 141 975 899 719 331 160 588 1053 200 116 923 1012 759 898 12 66 492 435 1148 690 362 282 866 803 926 11 1001 788 346 0 580 640 1080 454 39 140 1140 751 207 499 386 39 259 881 486 1161 244 855 637 720 330 133 557 813 6 457 1036 1217 339 953 291 510 93 182 39 65 1001 201 1069 2 809 154 300 161 770 610 911 507 1096 705 337 496 1122 792 413 403 1187 406 111 1022 709 328 581 683 798 907 1055 251 29 256 926 316 852 499 145 834 6 1048 106 1040 639 132 928 736 390 618 965 988 350 1126 519 786 683 1207 195 902 1133 50 509 708 473 220 845 286 383 175 1043 404 331 108 819 319 727 1126 339 340 226 421 672 791 1057 978 384 877 111 291 173 16 151 546 955 138 639 1154 461 1199 836 364 812 203 50 1046 291 182 892 950 1063 131 571 458 745 655 381 1150 701 820 280 1149 509 220 629 329 1128 129 983 32 1205 1078 2 405 413 72 116 912 735 37 999 541 315 937 627 1136 1190 234 485 737 325 1096 180 833 407 665 1014 828 121 26.12/26.48 o 7541 26.12/26.48 v 206 345 1151 1021 122 21 1071 879 408 57 301 829 649 978 727 204 560 1156 898 1 73 1212 755 550 343 15 216 636 715 812 965 23 1058 158 1140 1053 895 495 310 420 158 438 261 859 960 790 15 485 671 1139 19 325 1123 1045 92 577 362 130 689 1036 504 980 990 589 80 1 261 478 177 1147 924 692 646 407 852 1107 283 826 332 169 840 4 1045 436 657 1107 740 287 376 335 896 605 485 1204 867 1153 97 224 173 884 1082 1140 634 56 893 305 1152 737 94 972 569 136 726 197 220 502 843 486 24 407 692 512 753 1056 1177 423 1205 838 927 550 867 0 455 135 176 330 94 489 666 240 1006 1095 1138 471 909 49 511 246 8 293 448 622 1103 382 343 403 793 712 985 844 65 876 218 189 1144 8 546 649 417 621 479 1120 1004 534 816 141 975 899 719 331 160 588 1053 200 116 923 1012 759 898 12 66 492 435 1148 690 362 282 866 803 926 11 1001 788 346 0 580 640 1080 454 39 140 1140 751 207 499 386 39 259 881 486 1161 244 855 637 720 330 133 557 813 6 457 1036 1217 339 953 291 510 93 182 39 65 1001 201 1069 2 809 154 300 161 770 610 911 507 1096 705 337 496 1122 792 413 403 1187 406 111 1022 709 328 581 673 798 907 1055 251 29 256 926 316 852 499 145 834 6 1048 106 1040 639 132 928 736 390 618 965 988 350 1126 519 786 683 1207 195 902 1133 50 509 708 473 220 845 286 383 175 1043 404 331 108 819 319 727 1126 339 340 226 421 672 791 1057 978 384 877 111 291 173 16 151 546 955 138 639 1154 461 1199 836 364 812 203 50 1046 291 182 892 950 1063 131 571 458 745 655 381 1150 701 820 280 1149 509 220 629 329 1128 129 983 32 1205 1078 2 405 413 72 116 912 735 37 995 541 315 937 627 1136 1190 234 485 737 325 1096 180 833 407 665 1014 828 121 26.32/26.68 o 7542 26.32/26.68 v 206 345 633 1021 122 21 1071 879 408 57 301 829 636 978 727 202 560 1156 898 1 73 1212 755 550 354 15 216 636 664 812 965 23 1048 158 1140 1050 895 495 310 420 158 438 261 859 960 790 0 485 671 1139 18 325 1123 1049 92 551 362 130 689 159 504 990 998 589 80 1 261 478 177 1144 924 692 646 407 852 1107 283 826 332 169 840 4 1045 436 657 1107 740 287 376 335 896 605 485 1204 867 1153 97 224 173 884 1082 1143 634 56 893 305 1155 737 94 971 569 136 736 197 220 502 843 486 24 407 692 512 753 204 1177 423 1205 838 929 550 867 0 455 135 176 330 94 489 666 240 1006 1095 1133 471 909 49 511 246 8 293 448 622 1103 382 343 403 793 712 985 844 65 876 218 189 1144 8 546 261 417 621 479 1120 1004 534 816 141 975 899 719 331 160 588 1053 200 116 923 1012 759 898 12 66 492 435 1148 690 402 282 866 803 927 11 1001 788 346 0 580 640 1080 454 39 140 1140 751 207 489 386 39 259 881 472 1161 244 855 637 720 330 133 557 813 6 457 1036 1217 339 953 291 510 93 182 39 65 1001 181 1069 2 809 154 300 161 770 610 911 508 1096 705 337 717 1122 792 413 403 1187 408 111 1022 709 328 581 673 798 907 1043 251 29 256 926 316 852 499 145 834 349 1046 106 1039 639 132 928 736 413 618 965 346 2 1126 511 786 683 1207 195 902 222 50 509 708 473 579 845 286 383 175 1043 404 331 108 819 319 644 1126 339 340 226 421 672 791 1057 553 384 877 111 291 173 16 151 546 955 138 639 1154 461 1199 836 364 812 203 50 1068 279 188 892 954 1062 131 571 458 745 532 980 1150 660 820 280 1149 509 220 619 329 1128 129 983 32 1205 1078 2 405 410 72 116 911 735 37 993 541 315 937 627 1136 1190 234 485 737 333 1096 180 833 407 665 1020 828 121 26.32/26.69 o 7543 26.32/26.69 v 206 345 633 1021 122 21 1071 879 408 57 301 829 636 978 727 202 560 1156 898 1 73 1212 755 550 354 15 216 636 664 812 965 23 1048 158 1140 1050 895 495 310 420 158 438 261 859 960 790 0 485 671 1139 18 325 1123 1049 92 551 362 130 689 159 504 979 998 589 80 1 261 478 177 1144 924 692 646 407 852 1107 283 826 332 169 840 4 1045 436 657 1107 740 287 376 335 896 605 485 1204 867 1153 97 224 173 884 1082 1143 634 56 893 305 1155 737 94 971 569 136 736 197 220 502 843 1128 24 407 692 512 753 204 1177 423 1205 838 929 550 867 0 455 135 176 330 94 489 666 240 1006 1095 1133 471 909 49 511 246 8 293 448 622 1103 382 343 403 793 712 985 844 65 876 218 189 1144 8 546 261 417 621 479 1120 1004 534 816 141 975 899 719 331 160 588 1053 200 116 923 1012 759 898 12 66 492 435 1148 690 402 282 866 803 927 11 1001 788 346 0 580 640 1080 454 39 140 1140 751 207 489 386 39 259 881 472 1161 244 855 637 720 330 133 557 813 6 457 1036 1217 339 953 291 510 93 182 39 65 1001 181 1069 2 809 154 300 161 770 610 911 508 1096 705 337 717 1122 792 413 403 1187 408 111 1022 709 328 581 673 798 907 1043 251 29 256 926 316 852 499 145 834 349 1046 106 1039 639 132 928 736 413 618 965 346 2 1126 511 786 683 1207 195 902 222 50 509 708 473 579 845 286 383 175 1043 404 331 108 819 319 644 1126 339 340 226 421 672 791 1057 553 384 877 111 291 173 16 151 546 955 138 639 1154 461 1199 836 364 812 203 50 1068 279 188 892 954 1062 131 571 458 745 532 980 1150 660 820 280 1149 509 220 619 329 1128 129 983 32 1205 1078 2 405 410 72 116 911 735 37 993 541 315 937 627 1136 1190 234 485 737 333 1096 180 833 407 665 1020 828 121 26.42/26.71 o 7544 26.42/26.71 v 206 345 633 1021 122 21 1071 879 408 57 301 829 636 978 727 202 560 1156 898 1 73 1212 755 550 354 15 216 636 664 812 965 23 1048 158 1140 1050 895 495 310 420 158 438 261 859 960 790 0 485 671 1139 18 325 1123 1049 92 551 362 130 689 153 504 979 993 589 80 1 261 478 177 1144 924 692 646 407 852 1107 283 826 332 168 840 4 1045 436 657 1107 740 287 376 335 896 605 485 1204 867 1153 97 224 173 884 1082 1143 634 56 893 305 1155 737 94 971 569 136 736 197 220 502 843 1128 24 407 692 512 753 204 1177 423 1205 838 949 550 867 0 455 135 176 330 94 489 666 240 1006 1095 1133 471 909 49 511 246 8 293 448 622 1103 382 343 417 793 712 985 844 65 876 218 189 1144 8 546 261 417 621 479 1120 1004 534 816 141 975 899 719 331 160 588 1053 200 116 923 1012 759 898 12 66 492 435 1148 690 402 282 866 803 927 11 1001 788 346 0 580 640 1080 454 664 140 1140 751 207 489 386 39 259 881 472 1161 244 855 637 720 330 133 557 813 6 457 1036 1217 339 953 291 510 93 182 39 65 1001 187 1069 2 809 154 300 161 770 610 911 508 1096 705 337 717 1122 792 413 403 1187 408 111 1022 709 328 581 673 798 907 1043 251 29 256 926 316 852 499 145 834 349 1046 106 1039 639 132 928 736 413 618 965 346 2 1126 511 786 683 1207 195 902 222 50 509 708 473 579 845 286 383 175 1043 404 331 108 819 319 644 1126 339 340 226 421 672 791 1057 553 384 877 111 291 173 16 151 546 955 138 639 1154 461 1199 836 364 812 203 50 1068 279 188 892 952 1062 131 571 458 745 532 980 1150 660 820 280 1149 509 220 619 329 1128 129 983 32 1205 1078 2 405 410 72 116 911 735 37 993 541 315 937 627 1136 1190 234 485 737 328 1096 180 833 407 665 1020 828 121 30.38/30.76 o 7545 30.38/30.76 v 357 347 898 1103 579 537 1062 137 232 461 301 723 642 978 813 34 819 1160 900 1 234 1212 755 323 687 15 46 584 651 805 980 32 901 160 1140 872 1065 509 310 437 239 858 421 858 958 821 17 482 640 1139 1144 325 1123 1041 92 549 362 130 740 155 504 979 1117 589 1017 7 902 478 1033 68 924 692 646 407 852 780 283 826 330 149 582 2 989 530 656 256 740 735 376 918 255 605 439 1204 1089 1153 97 224 863 1054 488 1037 6 919 832 308 950 1151 94 547 137 644 216 291 722 185 1047 1128 1007 410 692 512 202 804 1177 423 1205 629 909 550 1128 1 455 752 647 330 85 489 527 1014 1006 1095 1129 471 130 53 521 764 8 293 448 622 1103 1056 343 417 793 700 985 843 64 880 497 189 1144 8 546 904 417 621 813 1120 1004 292 130 235 975 1051 713 320 160 593 1053 285 529 921 1012 759 898 12 848 67 192 1139 691 266 828 256 416 674 11 1001 790 1190 0 580 642 1116 454 499 135 366 753 203 928 724 39 258 878 483 1161 138 812 637 713 330 412 901 982 6 457 1036 1217 339 572 291 523 93 226 39 936 1001 196 1069 390 819 494 300 2 770 612 118 508 17 705 337 717 1121 792 404 405 1168 887 839 1022 709 330 590 673 798 504 1071 251 20 256 922 316 193 113 408 866 355 312 1215 1037 830 146 651 736 420 618 958 462 12 1126 516 786 683 1207 214 907 203 50 509 708 473 582 845 286 383 175 1047 404 331 108 819 319 644 1140 339 340 43 167 1023 791 217 876 384 1118 111 980 93 708 151 541 955 138 639 1152 461 360 1072 639 595 203 235 1056 282 3 896 33 960 823 121 442 753 562 389 741 973 822 292 1149 503 204 354 652 1128 129 983 587 1205 1080 2 406 36 911 116 575 731 35 990 541 315 932 2 1136 1190 234 485 753 331 1096 180 831 407 651 555 828 114 33.55/34.00 o 7546 33.55/34.00 v 134 18 898 765 324 1072 344 634 230 435 90 687 817 978 1139 1025 503 576 239 1 117 1212 755 324 239 15 48 682 651 796 980 437 810 606 1140 896 1065 520 310 318 500 279 1072 770 912 875 17 425 640 1134 1152 325 482 917 92 547 345 130 995 155 504 101 1131 589 342 7 902 480 1130 1002 924 692 646 53 430 244 283 867 333 149 582 0 971 530 141 894 740 735 376 391 235 605 436 1204 1087 1153 656 224 863 1054 488 1141 61 380 832 691 37 1164 829 551 322 644 212 291 911 185 1082 809 1007 412 692 512 145 804 1177 566 1205 1226 234 20 1128 941 455 752 647 334 85 489 527 1029 1006 1095 1136 471 902 53 518 817 697 293 448 622 1103 1056 343 417 0 136 321 843 1137 909 218 189 822 299 546 1017 500 610 251 1 456 329 130 410 975 1086 719 21 397 593 1045 298 529 921 1004 759 898 12 849 69 165 1143 1136 266 816 256 986 672 11 142 810 1190 0 580 629 1122 997 1007 139 343 779 435 1117 724 39 258 878 504 1161 1050 803 245 713 330 1093 901 982 591 486 355 1217 145 576 291 522 93 420 39 936 1001 140 1069 1082 819 494 300 2 267 618 118 508 8 912 337 739 1129 792 391 405 852 894 0 1022 704 330 590 673 798 505 1038 251 26 256 1123 316 193 114 400 922 85 956 1215 240 644 1029 597 736 428 689 519 761 12 1126 217 832 150 1207 327 900 203 50 509 628 473 696 845 286 383 791 1047 404 331 108 819 319 554 1137 339 520 43 306 668 791 189 876 1023 3 111 980 93 1155 151 543 955 138 639 254 424 1204 404 617 1151 203 15 1076 874 4 814 34 967 290 583 731 341 542 474 231 123 816 292 1149 523 212 329 652 1128 129 983 600 581 1080 2 422 21 908 116 738 725 35 990 541 315 230 2 1136 1190 228 485 909 331 1096 180 831 411 747 633 828 120 33.94/34.31 o 7547 33.94/34.31 v 795 18 898 729 328 649 328 1129 236 435 90 686 815 978 1139 1019 503 575 158 1 117 1212 755 354 241 15 48 682 651 796 980 437 225 606 1140 893 1065 520 310 318 500 259 1072 755 917 875 17 425 640 726 1152 197 1122 998 92 547 341 130 995 141 504 101 1130 589 340 7 902 480 1130 1002 924 692 646 53 430 244 283 867 346 149 582 30 971 530 141 894 740 735 376 391 231 605 436 1204 1087 1153 656 224 863 1054 488 989 61 2 832 694 425 1164 379 551 322 644 212 291 698 185 1088 809 152 910 692 512 129 804 1177 566 1205 1226 222 20 1128 941 455 752 647 334 85 489 527 1029 1006 1095 1136 471 224 53 518 817 697 293 448 622 1103 1056 343 417 0 136 321 843 1137 958 218 189 822 299 546 1017 500 617 251 1 456 329 130 410 975 1086 719 640 397 593 1045 298 529 921 769 481 898 12 836 69 165 1143 1165 266 818 256 986 672 11 142 810 1190 0 580 629 1123 997 1009 139 343 779 435 1117 724 67 258 881 504 1161 1050 805 643 713 330 1093 901 982 1126 486 355 1217 145 576 291 522 93 421 39 936 1001 140 1069 1087 819 494 300 2 267 618 112 508 8 912 337 739 1099 792 391 1028 852 894 0 1022 704 330 590 673 798 505 1041 251 26 256 1123 316 193 114 414 934 85 923 1215 247 644 1029 597 888 428 689 519 761 12 1126 226 832 150 1207 329 900 203 50 509 628 473 696 845 286 383 791 1047 404 331 108 819 319 554 1137 339 520 57 306 668 791 189 876 1023 3 111 980 399 1155 151 543 955 138 639 1070 424 1204 404 615 946 203 1161 1076 874 5 814 3 967 290 589 733 341 542 474 231 121 816 292 1149 523 212 329 652 1128 129 983 600 581 1080 2 422 21 908 116 747 725 35 990 541 315 228 2 1136 1190 224 485 909 331 1096 180 831 411 747 671 828 120 33.94/34.33 o 7548 33.94/34.33 v 795 18 898 729 328 649 328 1129 236 435 90 686 815 978 1139 1019 503 576 158 1 117 1212 755 354 241 15 48 682 651 796 980 437 225 606 1140 893 1065 520 310 318 500 259 1072 755 917 875 17 425 640 726 1152 197 1122 998 92 547 341 130 995 141 504 101 1130 589 340 7 902 480 1130 1002 924 692 646 53 430 244 283 867 346 149 582 30 971 530 141 894 740 735 376 391 231 605 436 1204 1087 1153 656 224 863 1054 488 989 61 2 832 694 425 1164 379 549 322 644 212 291 1006 185 1088 809 152 910 692 512 129 804 1177 566 1205 1226 222 20 1128 941 455 752 647 334 85 489 527 1029 1006 1095 1136 471 224 53 518 817 697 293 448 622 1103 1056 343 417 0 136 321 843 1137 958 218 189 822 299 546 1017 500 617 251 1 456 329 130 410 975 1086 719 640 397 593 1045 298 529 921 769 481 898 12 836 69 165 1143 1165 266 818 256 986 672 11 142 810 1190 0 580 629 1123 997 1009 139 343 779 435 1117 724 67 258 881 504 1161 1050 805 643 713 330 1093 901 982 1126 486 355 1217 145 576 291 522 93 421 39 936 1001 140 1069 1087 819 494 300 2 267 618 112 508 8 912 337 739 1099 792 391 1028 852 894 0 1022 704 330 590 673 798 505 1041 251 26 256 1123 316 193 114 414 934 85 923 1215 247 644 1029 597 888 428 689 519 761 12 1126 226 832 150 1207 329 900 203 50 509 628 473 696 845 286 383 791 1047 404 331 108 819 319 554 1137 339 520 57 306 668 791 189 876 1023 3 111 980 399 1155 151 543 955 138 639 38 424 1204 404 615 946 203 1161 1076 874 5 814 3 967 290 589 733 341 542 474 231 121 816 292 1149 523 212 329 652 1128 129 983 600 581 1080 2 422 21 908 116 747 725 35 990 541 315 228 2 1136 1190 224 485 909 331 1096 180 831 411 747 671 828 120 34.04/34.48 o 7549 34.04/34.48 v 781 22 894 729 330 649 322 1129 236 435 90 686 815 978 1139 1016 503 576 158 1 117 1212 755 354 218 15 27 682 651 796 980 437 519 606 1140 895 1065 520 310 875 500 259 1072 755 917 875 17 425 640 726 1152 408 1122 998 92 547 341 130 995 143 504 101 1127 589 342 7 902 480 1130 1002 924 692 646 53 430 244 283 867 346 149 582 30 971 530 141 894 740 735 376 391 231 605 436 1204 1087 1153 656 224 863 1054 488 991 61 2 832 694 425 1164 379 548 322 644 212 291 1154 185 1081 809 152 910 692 512 129 804 1177 566 1205 1226 222 20 1128 941 455 752 647 334 85 489 527 1029 1006 1095 1136 471 224 53 518 817 697 293 448 622 1103 1056 343 417 0 136 321 843 1137 958 218 189 822 299 546 1017 500 617 251 1 456 329 130 410 975 1086 719 640 397 593 1045 298 529 921 769 481 898 12 835 69 165 70 1160 266 818 256 986 679 11 142 810 1190 0 580 629 1123 997 1009 139 343 779 435 36 724 67 258 881 496 1161 218 809 643 713 330 1093 901 982 1126 486 355 1217 145 576 291 522 93 1018 39 936 1001 633 1069 1087 819 494 300 2 267 618 112 508 8 912 337 739 1091 792 398 1028 852 894 0 1022 704 330 590 673 798 505 1041 251 26 256 1123 316 193 114 414 923 85 939 1215 247 644 1029 597 888 428 689 519 761 12 1126 226 832 150 1207 329 900 203 50 509 628 473 696 845 286 383 791 1047 404 331 108 819 319 554 1129 339 520 333 306 668 791 189 876 1023 3 111 980 399 1155 151 543 955 138 639 38 424 1204 404 119 946 1043 1161 1076 874 1 810 23 959 290 587 733 341 542 474 231 136 816 292 1149 523 212 329 652 1128 129 983 600 581 1080 2 422 21 908 116 745 725 35 990 541 315 228 2 1136 1190 224 485 909 331 1096 180 831 411 747 671 828 120 34.14/34.55 o 7550 34.14/34.55 v 1036 22 894 765 322 649 322 1129 236 435 90 686 815 978 1133 1016 503 576 158 1 117 1212 755 347 218 15 27 682 651 796 980 437 519 606 1140 895 1065 520 310 875 500 259 1072 755 917 875 17 425 640 726 1152 408 1122 263 92 547 341 130 995 143 504 101 1127 589 342 7 902 480 1130 1002 924 692 646 53 430 244 283 867 346 149 582 30 971 530 141 894 740 735 376 391 231 605 436 1204 1087 1153 656 224 863 1054 488 991 61 2 832 694 425 72 379 548 322 644 212 291 1154 185 1081 809 1045 910 692 512 129 804 1177 566 1205 1226 222 20 1128 941 455 752 647 334 85 489 527 1029 1006 1095 1136 471 224 53 518 817 697 293 448 622 1103 1056 343 417 0 136 321 843 1137 958 218 189 829 299 546 1017 500 617 251 1 456 329 130 410 975 1086 719 640 397 593 1045 298 529 921 769 481 898 12 835 69 165 70 1160 266 824 256 986 679 11 139 810 1190 0 580 629 1123 997 1009 139 343 779 435 36 724 67 258 881 510 1161 218 809 643 713 330 1093 901 982 1126 486 355 1217 145 576 291 522 93 1011 39 936 1001 633 1069 1087 819 494 300 2 267 618 112 508 8 912 337 739 1091 792 398 1028 852 894 0 1022 704 330 590 673 798 505 1041 251 26 256 1123 316 193 114 414 923 85 939 1215 247 644 1029 597 888 428 689 519 761 12 1126 216 832 150 1207 329 900 203 50 509 628 473 696 845 286 383 791 1047 404 331 108 819 319 554 1129 339 520 333 306 668 791 189 876 1023 3 111 980 399 1155 151 543 955 138 639 38 424 1204 404 116 910 1043 1161 1076 874 1 807 23 959 290 587 733 341 542 474 231 136 816 292 1149 523 212 329 652 1128 129 983 600 581 1080 2 422 18 908 116 745 725 35 990 541 315 228 2 1136 1190 224 485 909 331 1096 180 831 411 747 671 828 120 34.14/34.55 o 7551 34.14/34.55 v 1036 22 894 765 322 649 322 1129 236 435 90 686 815 978 1133 1016 503 576 158 1 117 1212 755 347 218 15 27 682 651 796 980 437 519 606 1140 895 1065 520 310 875 500 259 1072 755 917 875 17 425 640 726 1152 408 1122 263 92 547 341 130 995 143 504 101 1127 589 342 7 902 480 1130 1002 924 692 646 53 430 244 283 867 346 149 582 30 971 530 141 894 740 735 376 391 231 605 436 1204 1087 1153 656 224 863 1054 488 991 61 2 832 694 425 72 379 548 322 644 212 291 1154 185 1081 809 1045 910 692 512 129 804 1177 566 1205 1226 222 20 1128 941 455 752 647 334 85 489 527 1029 1006 1095 1136 471 224 53 518 817 697 293 448 622 1103 1056 343 417 0 136 321 843 1137 958 218 189 829 299 546 1017 500 617 251 1 456 329 130 410 975 1086 719 43 397 593 1045 298 529 921 769 481 898 12 835 69 165 70 1160 266 824 256 986 679 11 139 810 1190 0 580 629 1123 997 1009 139 343 779 435 36 724 67 258 881 510 1161 218 809 643 713 330 1093 901 982 1126 486 355 1217 145 576 291 522 93 1011 39 936 1001 633 1069 1087 819 494 300 2 267 618 112 508 8 912 337 739 1091 792 398 1028 852 894 0 1022 704 330 590 673 798 505 1041 251 26 256 1123 316 193 114 414 923 85 939 1215 247 644 1029 597 888 428 689 519 761 12 1126 216 832 150 1207 329 900 203 50 509 628 473 696 845 286 383 791 1047 404 331 108 819 319 554 1129 339 520 333 306 668 791 189 876 1023 3 111 980 399 1155 151 543 955 138 639 38 424 1204 404 116 910 1043 1161 1076 874 1 807 23 959 290 587 733 341 542 474 231 136 816 292 1149 523 212 329 652 1128 129 983 600 581 1080 2 422 18 908 116 745 725 35 990 541 315 228 2 1136 1190 224 485 909 331 1096 180 831 411 747 671 828 120 43.45/43.99 o 7552 43.45/43.99 v 1044 901 800 985 425 759 342 1136 138 622 89 687 544 50 969 1133 254 483 330 1 132 1212 91 1066 316 15 24 682 290 810 982 914 1073 606 226 399 735 522 212 868 486 373 1070 754 344 3 852 420 653 535 1163 315 114 991 45 224 921 747 569 140 71 657 1101 601 339 7 902 1008 1145 928 239 696 501 552 430 1034 288 867 793 148 582 765 7 1085 974 894 764 753 376 310 183 605 432 1204 294 1153 656 108 863 127 488 546 917 312 829 641 425 104 75 541 225 189 751 291 1140 347 1083 809 1050 0 660 512 194 867 634 566 1205 1226 107 434 1015 1068 282 752 1144 322 794 489 1042 7 1006 275 1138 471 128 54 515 817 237 293 448 622 1103 987 343 417 713 758 15 843 1132 1032 412 714 109 1201 545 1063 276 615 489 1 447 321 208 932 1000 65 747 849 569 232 609 402 679 911 528 485 53 2 173 1044 769 85 1160 753 324 736 980 822 11 156 804 932 437 340 514 749 430 1010 457 158 975 698 1017 393 876 249 1098 611 411 1 49 905 704 330 1093 596 305 212 477 245 0 146 1166 1009 519 964 351 814 424 1033 813 1013 1081 943 227 208 2 482 612 713 508 10 1196 1156 315 106 792 229 245 965 1044 0 1022 41 333 725 1216 798 636 1142 514 538 834 867 524 191 110 411 136 735 1053 1215 427 8 1067 540 866 224 689 582 987 63 1129 887 832 44 1207 328 906 205 69 1134 1210 473 682 845 286 383 791 594 404 522 131 26 254 535 1011 339 520 245 305 702 791 1168 1074 331 1012 111 381 92 886 651 546 469 138 639 38 167 1204 861 9 840 659 1159 114 981 10 204 114 884 275 579 736 341 542 449 685 1062 321 652 1149 506 893 181 688 314 99 1009 770 1098 918 624 980 5 566 865 243 421 305 985 541 1216 835 2 1132 1190 24 487 906 199 1096 162 401 327 748 621 828 107 45.14/45.68 o 7553 45.14/45.68 v 1044 115 800 277 742 878 344 1136 136 622 423 687 545 50 930 1133 257 483 912 1 110 1212 42 1074 316 15 610 682 290 810 989 886 1074 379 226 432 735 522 212 943 43 373 1070 744 439 3 522 674 588 124 1163 315 114 981 47 224 921 0 989 874 135 657 1110 945 341 7 902 1008 1140 54 239 697 501 552 430 1034 288 867 791 150 582 7 142 1085 973 894 760 753 376 310 14 605 420 1204 294 1153 656 108 863 127 935 917 435 312 829 638 108 374 75 541 225 189 751 291 1140 347 1087 809 1050 0 660 512 934 129 634 566 1205 1226 221 434 604 1073 839 752 1144 331 794 489 1042 5 1006 275 1133 471 128 54 515 817 237 293 448 622 945 987 343 417 713 758 15 843 1132 1032 412 714 109 1201 545 1063 276 615 489 1 447 330 208 932 1000 65 744 840 569 227 610 402 679 911 528 485 53 2 173 1041 746 85 1160 810 322 736 980 826 11 166 804 932 437 338 529 749 430 1012 457 49 975 698 29 393 628 254 1098 1008 411 1 46 905 704 330 1093 596 305 212 477 245 0 341 1166 1031 519 139 974 814 424 1033 816 1013 1081 945 227 208 2 482 616 713 508 10 1196 1156 315 106 792 229 242 965 1044 0 1022 41 333 725 1216 798 636 1142 514 537 834 865 524 191 111 411 136 735 1053 1215 246 441 2 540 866 223 689 588 485 64 1129 887 832 486 1207 325 906 205 69 1134 1210 473 689 845 286 383 791 599 404 522 127 26 254 535 1035 339 520 245 305 702 791 1168 1074 331 1012 111 381 92 886 651 541 469 138 639 38 167 1204 264 13 840 659 1159 116 981 8 204 115 880 482 579 736 341 542 427 685 1062 878 39 1159 770 905 221 688 314 99 1009 552 1098 174 624 768 404 1117 865 315 437 245 985 541 1216 835 2 1132 1190 555 487 914 169 1096 68 408 328 747 621 828 107 46.03/46.56 o 7554 46.03/46.56 v 1044 364 800 226 733 878 337 1138 136 622 423 687 545 50 960 1133 255 483 911 1 110 1212 42 1075 316 15 610 682 290 810 989 470 1075 379 226 120 735 522 212 880 544 373 1070 733 332 3 830 674 588 124 1163 315 114 447 42 224 912 0 991 488 159 789 1102 694 372 7 902 1008 1118 60 239 607 501 552 957 1034 288 867 56 143 582 426 142 1085 191 894 759 753 376 310 15 604 945 1204 294 1153 656 108 863 127 1003 918 435 314 829 638 108 374 75 541 225 189 751 291 1130 347 1078 809 1050 0 660 512 935 129 634 566 1205 1226 221 867 604 1073 839 752 1144 331 794 489 1042 5 1006 275 1126 933 125 54 515 817 237 293 448 616 493 987 343 417 713 758 15 843 1132 1032 412 20 109 1201 553 1049 276 615 489 1 447 321 208 932 1000 65 730 850 569 227 610 402 679 911 528 485 53 2 173 1049 753 85 1160 810 335 736 975 826 11 166 804 932 437 338 546 876 430 1127 457 73 975 698 28 393 628 254 1107 1034 411 1 40 905 704 323 1093 596 305 212 477 245 0 341 1166 1031 519 139 972 814 424 1033 816 1013 1081 945 227 208 2 482 618 713 580 10 1196 1156 315 106 792 229 242 965 1044 0 1022 41 333 725 1216 576 636 1142 514 411 834 866 524 191 118 408 136 735 1050 1215 243 441 2 540 866 998 689 587 483 64 1129 887 832 486 1207 325 906 205 69 1134 1210 473 682 845 286 383 791 601 404 522 140 26 254 535 1035 339 520 245 305 658 932 1168 1074 331 1012 111 381 92 548 651 788 469 138 639 38 167 1204 372 121 840 659 1159 112 968 2 222 870 878 474 579 736 304 542 413 685 1062 775 39 1159 602 896 220 688 314 99 1009 552 1098 174 662 765 373 1117 865 315 455 245 985 541 1216 835 2 1132 1190 423 487 915 169 1096 68 713 328 754 621 828 107 77.33/78.10 o 7555 77.33/78.10 v 424 971 532 713 28 765 630 155 433 1156 100 359 844 934 164 262 23 1033 1142 2 1103 1212 1055 683 985 15 912 339 586 621 408 760 36 534 850 448 817 163 142 263 417 625 32 1036 701 463 499 978 1139 166 89 315 4 15 822 881 256 0 339 606 736 683 1098 904 986 573 953 116 175 812 261 413 367 633 521 140 314 0 38 1116 168 766 422 1078 336 275 662 133 504 869 1137 525 933 910 143 569 20 108 248 115 1160 877 425 227 430 8 774 1025 826 277 178 514 1090 549 690 395 116 1212 577 608 347 754 508 903 653 596 1205 1226 152 267 321 843 628 783 86 6 711 461 1009 1069 759 394 84 158 527 232 653 324 900 293 468 790 57 1201 1098 419 1147 974 15 843 985 841 427 284 1065 1200 30 533 707 753 460 525 1158 619 121 868 90 927 330 178 702 1150 1018 517 457 82 662 611 10 408 159 309 30 833 210 1144 736 145 1087 917 637 148 341 816 401 1174 1013 855 60 458 94 719 606 548 224 658 1 913 1005 1099 411 516 601 468 916 323 47 1011 898 1 252 1090 0 1155 176 562 767 699 101 350 548 160 308 1051 31 589 4 421 784 1081 208 796 1100 6 1072 499 443 672 657 887 657 881 786 0 26 303 400 1036 1216 159 1118 36 514 199 752 538 492 108 196 933 243 1027 261 2 1097 656 1164 533 866 913 630 696 572 170 780 391 490 339 15 71 1027 796 409 1134 1210 402 510 739 573 485 280 600 201 271 847 1182 63 966 83 365 105 912 786 972 174 1164 476 331 376 145 599 29 265 651 685 4 138 324 860 1097 1206 216 859 94 391 257 559 692 2 954 690 125 324 423 1024 630 1029 778 953 1113 762 60 1097 408 1017 659 195 1213 112 571 20 1192 966 6 872 878 467 390 517 304 260 681 336 6 29 403 1123 1190 594 180 839 514 937 976 1015 96 765 414 1094 856 77.63/78.41 o 7556 77.63/78.41 v 420 971 539 713 28 765 630 162 1092 1156 100 359 502 934 176 262 806 1033 1137 2 1103 1212 1055 683 979 15 912 339 1183 621 408 760 36 534 842 451 827 166 142 263 417 625 32 1036 709 463 499 978 1139 165 89 315 4 18 822 881 256 0 339 606 718 683 1094 904 986 573 953 116 175 821 261 413 367 633 521 140 314 0 38 1130 168 766 422 1078 336 275 662 133 504 869 1137 525 933 910 143 569 20 108 248 115 1160 877 419 227 428 8 774 1025 826 277 178 514 1090 549 697 395 116 1212 577 618 347 754 507 919 653 596 1205 1226 152 267 321 843 628 783 86 6 711 461 1009 1071 759 394 80 170 527 232 654 324 900 293 468 780 57 1201 1098 419 1147 974 15 843 985 841 427 284 1065 1200 30 533 707 753 460 525 1158 619 121 868 90 927 330 197 702 1150 1018 517 457 82 662 596 10 408 159 309 20 833 210 634 736 145 1087 917 637 148 341 816 401 1174 1008 855 60 447 94 719 606 548 224 658 1 913 1006 1099 411 516 601 468 916 323 47 1011 898 1 252 1090 0 784 176 562 735 699 101 350 1006 160 308 1051 23 589 4 421 784 1081 208 796 1100 6 1072 499 443 672 130 891 657 881 786 0 26 303 400 1036 1216 159 1118 36 514 211 752 538 492 108 194 933 242 1027 264 2 1097 656 1164 533 866 913 630 696 572 170 780 391 490 337 15 71 1041 793 409 11 1210 402 510 739 573 485 280 600 201 271 847 1182 63 966 82 365 105 912 786 972 174 1164 476 331 376 145 599 29 265 651 685 4 138 324 860 1097 1206 216 859 94 391 257 559 689 2 961 691 125 324 423 1024 630 523 778 953 1113 306 60 1103 408 1017 660 195 1213 112 571 20 1192 966 6 779 878 467 390 517 305 253 681 336 6 29 403 1096 1190 563 180 839 97 937 976 1015 200 765 414 1094 858 78.02/78.86 o 7557 78.02/78.86 v 411 966 536 713 28 765 630 162 402 810 105 1030 502 934 177 262 87 1069 1137 2 1103 1212 1055 683 984 15 912 339 1183 621 405 760 36 280 902 528 821 165 142 677 417 561 344 1036 701 463 499 978 1139 214 89 315 4 18 822 881 157 0 339 607 725 683 1103 904 986 573 953 116 175 821 261 413 367 633 521 140 314 0 38 1134 168 768 422 1078 336 275 662 133 504 869 1137 525 933 910 143 569 20 108 248 115 1160 877 425 227 426 7 774 1025 826 277 178 514 1090 549 697 395 116 1212 577 618 347 754 504 919 653 596 1205 1226 152 267 321 843 628 783 86 6 711 461 1009 1071 759 394 80 170 527 232 603 324 900 293 468 779 57 1201 1098 419 1147 1015 15 843 985 841 427 276 1065 1200 30 615 707 753 460 525 1158 532 121 868 90 927 305 197 702 1150 1018 517 457 82 662 596 10 408 237 309 32 833 210 634 736 145 1087 917 637 148 341 816 401 1174 1017 855 60 438 94 519 606 548 224 311 1 913 668 1099 411 516 601 468 916 323 47 1011 898 1 252 1090 0 784 1014 562 188 279 101 350 975 160 302 1051 24 589 4 421 784 1081 210 801 1100 12 1072 499 443 672 130 883 668 881 786 0 26 304 400 1036 1216 633 1118 36 514 281 752 538 492 108 194 933 171 1027 260 2 1097 656 1164 533 866 913 630 696 572 183 780 391 490 337 15 71 1027 796 409 11 1210 402 510 739 573 485 280 600 201 271 847 1182 63 966 91 365 105 912 786 972 174 1164 476 331 376 145 61 29 265 651 685 4 138 324 860 1097 1206 216 859 94 391 803 559 689 2 961 691 125 324 423 1024 630 523 779 274 1113 1096 60 1103 408 1017 679 195 1213 112 571 20 1192 966 6 775 883 467 390 517 305 253 681 336 6 29 403 1116 1190 563 627 838 117 937 976 1015 173 765 414 560 840 79.91/80.75 o 7558 79.91/80.75 v 415 971 506 763 22 361 610 163 1142 906 83 1030 818 507 174 264 688 1067 785 2 1103 1212 1055 677 988 15 909 222 499 622 405 761 34 280 904 538 824 165 142 685 417 561 1088 868 703 463 499 995 1140 227 89 315 4 15 822 904 151 0 335 616 1123 683 719 904 986 573 953 116 818 178 272 413 367 631 519 140 315 0 38 1134 168 1139 422 1078 339 275 614 133 504 869 715 525 936 910 143 569 20 108 248 115 1160 869 420 227 431 12 774 1025 826 277 174 514 1090 549 702 395 120 1212 577 616 347 668 503 919 653 596 1205 1226 755 267 321 208 628 1162 86 124 711 461 1009 1066 759 394 80 170 515 232 596 324 900 293 468 948 57 1201 1098 419 1147 692 15 843 985 1135 425 1080 1065 1161 28 616 707 753 460 525 1185 533 121 868 90 927 305 198 702 1149 1018 517 457 82 662 596 10 408 26 306 852 923 210 634 736 145 1087 909 637 127 343 816 401 1179 1017 855 60 436 123 521 606 754 224 311 1 917 655 1099 411 516 601 468 916 323 47 1009 898 1 252 1090 0 784 1006 562 188 279 101 350 975 160 314 1051 29 601 4 421 784 1081 210 795 1100 508 1072 530 443 670 130 886 675 881 776 0 26 270 400 1036 1216 633 1118 36 486 284 367 538 492 108 173 933 171 1021 260 2 1097 656 1164 835 866 917 630 696 572 183 780 391 490 337 15 71 1033 139 409 11 1210 402 512 760 573 485 280 598 201 309 847 1182 63 704 934 365 105 912 786 972 174 1164 476 331 376 145 813 29 265 651 681 4 138 324 860 1097 1206 864 859 94 391 693 559 159 2 961 771 3 324 423 1024 630 523 776 267 1113 685 60 1138 408 1017 591 188 1213 112 272 20 1192 966 6 769 877 467 390 517 300 691 419 336 6 24 403 506 1190 627 270 841 105 937 976 1025 190 764 414 560 1132 80.50/81.35 o 7559 80.50/81.35 v 409 971 501 763 22 361 610 151 1142 899 83 1030 812 507 172 264 688 1067 419 2 1103 1212 1055 682 327 15 963 222 499 622 405 761 34 280 901 536 824 165 142 682 417 561 1088 776 28 463 499 995 1140 209 714 315 4 15 606 874 151 0 335 679 1093 683 719 904 982 573 953 116 818 190 272 413 367 631 519 140 315 0 38 1138 844 1134 422 1078 339 275 614 133 504 869 715 525 936 910 143 569 20 108 248 115 1160 872 67 227 431 27 774 1025 826 277 174 368 1090 549 702 2 974 159 577 616 347 668 503 919 653 596 1205 1226 755 267 321 208 628 1162 86 124 711 461 1009 1066 759 394 80 170 565 232 714 324 900 293 468 951 57 1201 1098 419 1147 1027 15 843 985 1191 425 1063 1092 1161 28 616 707 753 460 525 876 533 121 868 90 927 305 185 702 1149 1018 520 457 82 662 277 10 408 26 314 852 927 210 192 736 145 1087 923 637 131 343 816 401 1179 1013 855 60 436 116 521 606 1029 224 311 1 917 671 1099 411 516 601 468 916 323 47 1005 898 1 252 1090 0 784 704 562 188 279 101 350 115 160 320 1051 29 601 4 421 784 1081 210 795 1100 508 1072 520 443 670 1213 888 675 881 776 0 26 299 400 673 1216 633 1116 32 486 312 946 533 492 108 173 979 170 1021 259 2 1114 656 1169 835 866 922 630 696 572 176 780 391 490 337 15 71 1033 139 409 11 123 402 512 760 573 485 280 598 201 309 847 1182 63 704 920 365 105 912 786 972 174 1164 476 331 376 145 418 29 265 651 682 4 138 324 860 1097 1206 875 855 94 391 693 559 159 1 961 764 5 324 423 1024 637 523 771 251 1113 685 60 1138 408 1017 585 188 1213 112 272 20 1192 966 6 773 878 467 390 517 301 691 419 336 6 20 403 504 1190 570 270 841 105 937 976 1025 190 766 22 560 1132 80.60/81.41 o 7560 80.60/81.41 v 423 971 501 763 22 361 610 157 1142 899 83 1030 812 507 169 264 688 1067 419 2 1103 1212 1055 682 327 15 911 222 499 622 405 761 34 280 901 536 824 165 142 686 417 561 1088 776 28 463 499 995 1140 209 714 315 4 19 606 874 151 0 335 679 1110 683 719 904 982 573 953 116 818 190 272 413 367 631 519 140 315 0 38 1139 844 1134 422 1078 339 275 614 133 504 869 715 525 934 910 143 569 20 108 248 115 1160 872 67 227 431 27 774 1025 826 277 174 368 1090 549 702 2 974 159 577 616 347 668 503 919 653 596 1205 1226 755 267 321 208 628 1162 86 124 711 461 1009 1066 528 394 80 170 565 232 722 324 900 293 468 957 57 1201 1098 419 1147 1027 15 843 985 1191 425 1063 1092 1161 28 616 707 753 460 525 876 533 121 868 90 927 305 185 702 1143 1018 520 457 82 662 277 10 408 26 314 852 929 210 192 736 145 1087 923 637 129 343 816 401 1179 1013 855 60 436 116 521 606 1029 224 311 1 917 671 1099 411 516 601 468 916 323 47 1005 898 1 252 1090 0 784 692 562 188 279 101 350 115 160 320 1051 29 601 4 421 784 1081 210 795 1100 508 1072 520 443 670 1213 888 675 881 776 0 26 299 400 673 1216 633 1116 32 486 372 946 533 492 108 173 979 170 1021 259 2 1114 656 1169 835 866 912 630 696 572 176 780 391 490 337 15 71 1033 139 409 11 123 402 512 760 573 485 280 598 201 309 847 1182 63 704 928 365 105 912 786 972 174 1164 476 331 376 145 418 29 265 651 685 4 138 324 860 1097 1206 875 855 94 391 693 559 159 1 961 764 5 324 423 1024 637 523 771 251 1113 685 60 1138 408 1017 585 188 1213 112 272 20 1192 966 6 773 878 467 390 517 301 691 419 336 6 24 403 504 1190 570 270 841 105 937 976 1025 190 766 22 560 1132 111.70/112.88 o 7562 111.70/112.88 v 161 249 843 1032 101 487 595 579 1137 348 531 1099 674 32 328 930 415 847 751 2 1059 1146 1179 583 997 372 927 776 827 523 690 265 18 328 113 386 189 867 321 181 422 1107 167 863 1153 817 475 615 230 964 550 533 4 33 1067 675 110 0 323 327 131 929 560 871 223 422 99 1109 690 472 774 1134 35 424 827 662 969 0 329 1015 237 1145 712 1083 355 434 259 981 6 869 761 60 989 910 946 550 159 479 510 1136 558 472 1063 732 23 924 333 859 172 5 223 1194 769 101 399 833 125 717 1032 613 325 926 770 208 393 1005 949 1226 564 404 1037 682 302 1161 534 105 872 461 14 1063 850 394 1054 29 577 760 652 426 1155 1194 468 112 348 549 487 8 261 193 958 994 921 397 0 770 1067 233 710 840 43 414 528 1222 1184 627 1004 99 1144 584 274 141 732 502 630 926 581 33 828 179 8 873 1103 234 774 927 390 708 97 485 1016 266 404 72 344 1188 1004 625 255 856 916 154 1045 462 773 563 155 431 10 924 672 1097 429 26 878 75 128 995 826 1004 1157 215 967 617 0 682 765 562 357 1194 498 304 427 1053 750 962 18 988 4 585 608 638 479 90 849 168 406 352 1173 740 286 646 594 373 1089 1204 1185 69 415 503 1065 317 760 865 356 18 283 178 843 782 683 961 721 74 648 2 1098 328 646 409 20 821 372 153 580 919 1187 442 259 19 15 996 1001 136 695 11 90 402 632 264 592 1118 1200 777 198 56 1137 319 63 466 880 426 55 859 558 964 248 106 459 606 385 935 175 29 1165 651 675 1 26 324 765 1097 1195 858 557 691 997 712 1113 1035 554 365 261 910 178 780 40 62 122 423 478 906 580 1182 797 154 224 1062 883 1156 960 687 473 668 434 6 961 14 93 1218 526 340 134 494 345 6 1051 1162 440 1126 608 212 854 270 676 576 945 846 774 20 673 1175 111.80/112.91 o 7563 111.80/112.91 v 161 249 843 1032 101 487 595 579 1137 348 531 1099 674 32 331 938 415 847 751 2 1059 1146 1179 583 997 372 927 776 827 523 690 265 18 328 113 386 189 867 321 34 422 1107 167 863 1153 817 475 615 230 964 550 533 4 33 1067 675 110 0 323 321 131 929 560 871 223 422 99 1109 690 472 774 1134 35 424 827 662 969 0 329 1015 237 1145 712 1083 355 434 259 981 6 869 761 60 989 910 946 550 159 479 510 1136 558 473 1063 732 23 924 333 859 172 5 223 1194 769 101 399 833 125 717 1032 613 325 926 770 208 393 1005 949 1226 564 404 1037 682 302 1161 534 105 872 461 14 1063 850 394 1054 29 577 760 652 426 1155 1194 468 112 348 549 487 8 261 193 958 994 921 397 0 770 1067 233 710 840 43 414 528 1222 1184 626 1004 99 1144 584 274 141 732 502 630 925 581 33 828 179 8 873 1103 234 774 927 390 708 97 485 1016 266 404 72 344 1188 1004 625 255 856 916 229 1045 462 773 563 155 431 10 924 672 1097 429 26 878 75 128 995 826 1004 1157 215 967 617 0 682 765 562 357 1194 498 304 427 1053 750 962 18 988 4 585 608 638 479 90 849 168 406 352 1173 734 286 646 594 373 1089 1204 1185 69 415 503 1065 317 760 865 356 18 283 178 843 782 683 961 721 74 648 2 1098 328 646 409 20 821 372 153 580 919 1187 442 259 21 15 996 1001 136 695 11 90 402 632 264 592 1118 1200 777 198 56 1137 319 63 466 880 426 55 852 558 964 248 106 459 606 385 935 175 29 1165 651 675 1 26 324 765 1097 1195 858 557 691 997 712 1113 1035 554 365 261 910 178 780 40 62 122 423 478 903 580 1182 797 161 224 1062 883 1156 960 687 473 668 434 6 961 14 93 1218 526 340 134 494 345 6 1051 1162 440 1126 608 212 854 270 676 576 945 846 774 20 673 1175 112.00/113.13 o 7564 112.00/113.13 v 161 245 1143 1032 101 487 593 587 1138 330 531 1099 674 32 334 937 415 833 751 2 1059 1146 1179 583 997 372 927 776 827 523 690 265 14 328 113 386 189 867 321 35 422 1107 167 863 1153 817 475 615 230 964 550 533 4 33 1067 675 110 0 326 321 131 929 560 871 223 1062 99 1109 690 472 774 1134 35 413 827 662 969 0 329 1021 237 1145 712 1083 355 434 259 981 6 869 757 60 989 910 946 550 159 479 510 1136 558 472 1063 732 23 924 333 859 172 11 223 1194 769 101 399 833 125 717 1032 628 325 926 764 208 393 1005 949 1226 564 404 1037 682 302 1161 534 105 872 461 14 1063 850 394 1054 29 577 760 652 426 1155 1194 468 112 348 549 487 8 261 193 958 994 921 397 0 770 1067 233 710 840 51 414 528 1222 1184 627 1004 99 1144 584 274 144 732 1152 630 500 581 33 828 179 8 873 1103 227 774 924 390 708 97 485 1016 267 404 69 344 1188 1004 625 255 856 916 66 1045 462 773 805 155 431 10 924 672 1097 429 26 863 75 128 995 826 1004 1157 215 967 617 0 682 765 562 357 1194 498 304 427 1053 751 962 18 988 4 585 608 638 479 165 852 168 406 352 1173 734 286 646 594 373 1089 1204 1185 69 415 503 1065 317 756 865 356 44 283 178 843 782 683 961 721 74 1103 2 1095 328 651 409 20 821 372 166 580 919 1187 442 259 21 15 995 1002 136 695 11 90 402 632 264 592 1118 1200 777 196 56 1137 319 63 466 878 426 55 852 558 964 248 106 459 606 385 935 175 29 1165 651 675 1 26 324 765 1097 1195 858 539 691 997 712 1113 1035 534 365 261 903 167 780 16 767 122 423 478 903 580 1182 797 158 224 1060 883 1156 964 687 473 668 434 6 959 14 93 1218 526 340 134 494 345 6 1051 1162 440 1126 608 212 856 270 676 576 945 847 774 20 673 1175 596.11/601.86 o 7565 596.11/601.86 v 74 1132 874 390 15 1194 585 950 271 609 542 801 865 1071 462 697 197 1046 952 680 410 264 285 76 697 0 1153 347 152 926 790 556 183 883 626 994 689 487 5 1079 520 1022 657 49 444 13 1179 375 1069 564 376 357 3 794 960 168 275 1 881 706 150 1166 618 722 408 1101 1 119 26 781 503 317 1052 550 235 288 963 1201 869 25 238 299 585 1053 704 167 791 435 893 910 74 383 458 957 438 10 1102 571 991 1215 227 792 1047 558 711 87 384 699 350 948 892 492 17 663 1141 439 590 1 464 279 911 880 655 1052 109 853 213 4 557 119 1202 776 9 405 189 295 1140 87 1023 448 1210 2 587 174 300 1145 917 1029 254 378 103 486 552 1054 436 695 842 12 766 1079 212 505 49 2 1050 972 786 873 638 696 445 1222 84 349 289 168 131 1005 522 1139 17 382 303 287 1089 1023 1166 617 372 682 896 191 836 458 553 662 956 106 124 750 653 1153 296 165 1040 100 772 360 266 500 206 677 915 863 581 1009 951 1075 7 416 1116 10 354 1169 258 1218 1078 994 59 145 663 605 906 180 524 762 88 840 914 445 33 1088 664 313 382 584 2 460 893 188 671 912 1131 490 15 215 811 83 878 995 913 1156 605 1205 1227 724 231 498 698 1119 21 311 465 1006 117 909 2 173 384 801 663 385 222 1166 296 173 1098 123 564 1004 779 907 512 590 1180 12 584 448 1 804 45 530 433 625 603 925 985 1067 378 888 1130 784 302 877 1165 959 660 721 207 145 953 453 177 700 1066 7 802 1006 508 61 545 980 630 792 342 1152 4 1001 259 103 550 7 443 1197 123 666 343 903 1019 154 711 1109 49 800 583 224 982 831 280 581 352 1060 1158 999 877 168 802 991 567 169 1108 669 522 1220 697 83 480 1 28 263 209 437 986 6 664 1217 382 1052 155 100 288 24 607 520 1110 799 876 787 1205 731 599.09/604.80 o 7566 599.09/604.80 v 16 283 858 379 278 161 446 947 532 613 112 801 1141 360 1035 698 199 16 936 680 406 264 285 484 697 0 1153 347 152 17 788 558 181 883 626 994 75 932 5 1079 520 1019 653 49 443 13 1180 704 1069 563 372 357 3 794 963 168 275 1 881 708 1021 1163 620 725 404 1097 1 1132 422 778 35 316 109 560 507 288 963 1201 869 159 238 475 585 1053 15 167 791 1036 893 910 75 363 674 957 438 1188 1105 571 991 629 228 792 1105 1198 496 1086 384 696 350 948 892 294 97 663 22 439 590 1 464 157 229 880 898 1052 109 853 213 4 557 119 1202 776 9 405 189 295 1140 87 1023 454 1210 2 587 165 728 1145 923 37 254 57 103 486 552 709 436 695 842 356 329 1090 215 505 49 2 937 1096 1018 865 638 684 437 1222 84 352 296 168 131 823 528 1133 17 363 763 277 1087 1023 711 617 86 126 214 1136 836 471 553 662 936 106 124 750 653 1153 273 334 671 100 773 712 266 489 1016 148 915 863 581 679 951 1075 7 416 1116 10 351 1169 179 1218 1078 994 59 954 663 606 906 268 702 762 907 840 546 445 33 1088 670 349 382 584 2 460 893 188 247 908 1131 490 15 207 811 83 878 999 906 1158 570 1205 1227 724 231 495 698 1119 1003 301 465 1003 391 48 2 170 149 801 663 31 207 280 153 1038 979 123 564 1074 779 907 353 590 1180 7 416 451 1 804 29 530 433 625 603 925 985 666 378 888 746 784 302 877 1165 959 660 1047 207 145 1176 453 321 910 1066 7 802 1006 508 61 545 884 630 792 349 226 4 1001 259 103 550 7 443 1197 123 664 358 711 1020 154 890 1109 330 793 589 65 982 227 280 583 353 439 1158 999 875 170 802 991 567 894 1108 669 522 1220 699 94 480 1 28 262 187 437 264 6 664 1217 376 351 1127 109 781 23 607 520 960 1047 876 788 1205 725 599.09/604.84 o 7567 599.09/604.84 v 16 283 858 379 278 161 446 947 532 613 112 801 1131 360 1035 698 199 17 936 680 406 264 285 484 697 0 1153 347 152 17 788 558 181 883 626 994 75 934 5 1079 520 1019 653 49 443 13 1171 704 1069 563 372 357 3 794 963 168 275 1 881 707 1021 1163 620 725 404 1097 1 1132 422 778 35 316 109 560 507 288 963 1201 869 159 238 488 585 1053 15 167 791 1036 893 910 75 363 674 957 438 1188 1105 571 991 629 228 792 1105 1198 496 765 384 696 350 948 892 294 97 663 22 439 590 1 464 157 229 880 898 1052 109 853 213 4 557 119 1202 776 9 405 189 295 1140 87 1023 454 1210 2 587 165 728 1145 923 37 254 57 103 486 552 709 436 695 842 356 329 1090 215 505 49 2 939 1096 1018 865 638 684 437 1222 84 352 296 168 131 823 528 1134 17 363 763 277 1087 1023 711 617 86 679 214 1136 836 463 553 662 936 106 124 750 653 1153 273 334 671 100 773 712 266 489 1016 148 915 863 581 679 951 1075 7 416 1116 10 351 1169 179 1218 1078 994 59 954 663 606 906 268 702 762 907 840 546 445 33 1088 670 349 382 584 2 460 893 188 247 908 1131 490 15 207 811 83 878 999 906 1158 570 1205 1227 724 231 495 698 1119 1003 301 465 1003 391 48 2 170 149 801 663 31 207 280 153 1038 979 123 564 1074 779 907 353 590 1180 7 416 451 1 804 29 530 433 625 603 925 985 666 378 888 746 784 302 877 1165 959 660 1108 207 145 1176 453 321 910 1066 7 802 1006 508 61 545 884 630 792 349 226 4 1001 259 103 550 7 443 1197 123 664 355 711 1020 154 890 1109 330 793 574 65 982 227 280 583 353 439 1158 999 875 170 802 991 567 894 1108 669 522 1220 699 94 480 1 28 262 187 437 264 6 664 1217 376 351 1127 109 781 24 607 520 960 1047 876 788 1205 725 599.09/604.85 o 7568 599.09/604.85 v 16 283 858 379 278 161 446 947 532 613 112 801 1131 360 1035 698 199 17 936 680 406 264 285 484 697 0 1153 347 152 17 788 558 181 883 626 994 75 934 5 1079 520 1019 653 49 443 13 1171 704 1069 563 372 357 3 794 963 168 275 1 881 707 1021 1163 620 725 404 1097 1 1132 422 778 35 316 109 560 507 288 963 1201 869 159 238 488 585 1053 15 167 791 1036 893 910 75 363 674 957 438 1188 1105 571 991 629 228 792 1105 1198 496 765 384 696 350 948 892 294 97 663 22 439 590 1 464 157 229 880 898 1052 109 853 213 4 557 119 1202 776 9 405 189 295 1140 87 1023 454 1210 2 587 165 728 1145 923 37 254 57 103 486 552 709 436 695 842 356 329 1090 215 505 49 2 939 1096 1018 865 638 684 437 1222 84 352 296 168 131 823 528 1134 17 363 763 277 1087 1023 711 617 86 679 214 1136 836 463 553 662 936 106 124 750 653 1153 273 334 671 100 773 712 266 489 1016 148 915 863 581 679 951 1075 7 416 1116 10 351 1169 179 1218 1078 994 59 113 663 606 906 268 702 762 907 840 546 445 33 1088 670 349 382 584 2 460 893 188 247 908 1131 490 15 207 811 83 878 999 906 1158 570 1205 1227 724 231 495 698 1119 1003 301 465 1003 391 48 2 170 149 801 663 31 207 280 153 1038 979 123 564 1074 779 907 353 590 1180 7 416 451 1 804 29 530 433 625 603 925 985 666 378 888 746 784 302 877 1165 959 660 1108 207 145 1176 453 321 910 1066 7 802 1006 508 61 545 884 630 792 349 226 4 1001 259 103 550 7 443 1197 123 664 355 711 1020 154 890 1109 330 793 574 65 982 227 280 583 353 439 1158 999 875 170 802 991 567 894 1108 669 522 1220 699 94 480 1 28 262 187 437 264 6 664 1217 376 351 1127 109 781 24 607 520 960 1047 876 788 1205 725
OK 32 7568 32 unsatisfied constraints, 7568 satisfied constraints
runsolver version 3.2.5 (c) roussel@cril.univ-artois.fr command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1111521-1215847969/watcher-1111521-1215847969 -o /tmp/evaluation-result-1111521-1215847969/solver-1111521-1215847969 -C 3600 -W 4000 -M 900 --output-limit 1,15 HOME/concrete.sh -c -ext 0 -s MCRW -max HOME/instance-1111521-1215847969.xml Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 4000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.20 1.63 0.77 4/80 16553 /proc/meminfo: memFree=1796136/2055920 swapFree=4180084/4192956 [pid=16553] ppid=16551 vsize=5356 CPUtime=0 /proc/16553/stat : 16553 (concrete.sh) R 16551 16553 16265 0 -1 4194304 295 128 0 0 0 0 0 0 21 0 1 0 41492650 5484544 242 996147200 4194304 4889804 548682068752 18446744073709551615 224627583647 0 65538 4100 65536 0 0 0 17 1 0 0 /proc/16553/statm: 1339 242 201 169 0 50 0 [pid=16555] ppid=16553 vsize=5356 CPUtime=0 /proc/16555/stat : 16555 (concrete.sh) R 16553 16553 16265 0 -1 4194368 0 0 0 0 0 0 0 0 21 0 1 0 41492651 5484544 242 996147200 4194304 4889804 548682068752 18446744073709551615 224627583647 0 65538 4100 65536 0 0 0 17 1 0 0 /proc/16555/statm: 1339 242 201 169 0 50 0 [startup+0.052267 s] /proc/loadavg: 2.20 1.63 0.77 4/80 16553 /proc/meminfo: memFree=1796136/2055920 swapFree=4180084/4192956 [pid=16553] ppid=16551 vsize=5356 CPUtime=0 /proc/16553/stat : 16553 (concrete.sh) S 16551 16553 16265 0 -1 4194304 315 128 0 0 0 0 0 0 21 0 1 0 41492650 5484544 242 996147200 4194304 4889804 548682068752 18446744073709551615 224627581764 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/16553/statm: 1339 242 201 169 0 50 0 [pid=16555] ppid=16553 vsize=838480 CPUtime=0.03 /proc/16555/stat : 16555 (java) S 16553 16553 16265 0 -1 0 2026 0 1 0 2 1 0 0 22 0 6 0 41492651 858603520 1592 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800971 18446744073709551615 0 0 17 1 0 0 /proc/16555/statm: 209620 1592 905 9 0 204599 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 843836 [startup+0.102005 s] /proc/loadavg: 2.20 1.63 0.77 4/80 16553 /proc/meminfo: memFree=1796136/2055920 swapFree=4180084/4192956 [pid=16553] ppid=16551 vsize=5356 CPUtime=0 /proc/16553/stat : 16553 (concrete.sh) S 16551 16553 16265 0 -1 4194304 315 128 0 0 0 0 0 0 21 0 1 0 41492650 5484544 242 996147200 4194304 4889804 548682068752 18446744073709551615 224627581764 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/16553/statm: 1339 242 201 169 0 50 0 [pid=16555] ppid=16553 vsize=843024 CPUtime=0.08 /proc/16555/stat : 16555 (java) S 16553 16553 16265 0 -1 0 3361 0 1 0 6 2 0 0 22 0 9 0 41492651 863256576 2820 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/16555/statm: 210756 2820 1645 9 0 205333 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 848380 [startup+0.302032 s] /proc/loadavg: 2.20 1.63 0.77 4/80 16553 /proc/meminfo: memFree=1796136/2055920 swapFree=4180084/4192956 [pid=16553] ppid=16551 vsize=5356 CPUtime=0 /proc/16553/stat : 16553 (concrete.sh) S 16551 16553 16265 0 -1 4194304 315 128 0 0 0 0 0 0 21 0 1 0 41492650 5484544 242 996147200 4194304 4889804 548682068752 18446744073709551615 224627581764 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/16553/statm: 1339 242 201 169 0 50 0 [pid=16555] ppid=16553 vsize=844108 CPUtime=0.28 /proc/16555/stat : 16555 (java) S 16553 16553 16265 0 -1 0 4289 0 1 0 25 3 0 0 22 0 9 0 41492651 864366592 3704 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/16555/statm: 211027 3704 1809 9 0 205595 0 Current children cumulated CPU time (s) 0.28 Current children cumulated vsize (KiB) 849464 [startup+0.70209 s] /proc/loadavg: 2.20 1.63 0.77 4/80 16553 /proc/meminfo: memFree=1796136/2055920 swapFree=4180084/4192956 [pid=16553] ppid=16551 vsize=5356 CPUtime=0 /proc/16553/stat : 16553 (concrete.sh) S 16551 16553 16265 0 -1 4194304 315 128 0 0 0 0 0 0 21 0 1 0 41492650 5484544 242 996147200 4194304 4889804 548682068752 18446744073709551615 224627581764 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/16553/statm: 1339 242 201 169 0 50 0 [pid=16555] ppid=16553 vsize=844272 CPUtime=0.67 /proc/16555/stat : 16555 (java) S 16553 16553 16265 0 -1 0 5115 0 1 0 63 4 0 0 22 0 9 0 41492651 864534528 4479 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/16555/statm: 211068 4479 1899 9 0 205629 0 Current children cumulated CPU time (s) 0.67 Current children cumulated vsize (KiB) 849628 [startup+1.5022 s] /proc/loadavg: 2.20 1.63 0.77 4/90 16564 /proc/meminfo: memFree=1784216/2055920 swapFree=4180084/4192956 [pid=16553] ppid=16551 vsize=5356 CPUtime=0 /proc/16553/stat : 16553 (concrete.sh) S 16551 16553 16265 0 -1 4194304 315 128 0 0 0 0 0 0 21 0 1 0 41492650 5484544 242 996147200 4194304 4889804 548682068752 18446744073709551615 224627581764 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/16553/statm: 1339 242 201 169 0 50 0 [pid=16555] ppid=16553 vsize=844272 CPUtime=1.47 /proc/16555/stat : 16555 (java) S 16553 16553 16265 0 -1 0 5709 0 1 0 142 5 0 0 22 0 9 0 41492651 864534528 4982 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/16555/statm: 211068 4982 1900 9 0 205629 0 [pid=16555/tid=16557] ppid=16553 vsize=844272 CPUtime=1.21 /proc/16555/task/16557/stat : 16557 (java) R 16553 16553 16265 0 -1 64 3450 0 1 0 118 3 0 0 25 0 9 0 41492652 864534528 4982 996147200 134512640 134550740 4294956000 18446744073709551615 4125718280 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=16555/tid=16558] ppid=16553 vsize=844272 CPUtime=0.1 /proc/16555/task/16558/stat : 16558 (java) S 16553 16553 16265 0 -1 64 1024 0 0 0 9 1 0 0 16 0 9 0 41492653 864534528 4982 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=16555/tid=16559] ppid=16553 vsize=844272 CPUtime=0 /proc/16555/task/16559/stat : 16559 (java) S 16553 16553 16265 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 41492654 864534528 4982 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=16555/tid=16560] ppid=16553 vsize=844272 CPUtime=0 /proc/16555/task/16560/stat : 16560 (java) S 16553 16553 16265 0 -1 64 6 0 0 0 0 0 0 0 15 0 9 0 41492654 864534528 4982 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=16555/tid=16561] ppid=16553 vsize=844272 CPUtime=0 /proc/16555/task/16561/stat : 16561 (java) S 16553 16553 16265 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 41492656 864534528 4982 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=16555/tid=16562] ppid=16553 vsize=844272 CPUtime=0.14 /proc/16555/task/16562/stat : 16562 (java) S 16553 16553 16265 0 -1 64 503 0 0 0 14 0 0 0 16 0 9 0 41492656 864534528 4982 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=16555/tid=16563] ppid=16553 vsize=844272 CPUtime=0 /proc/16555/task/16563/stat : 16563 (java) S 16553 16553 16265 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 41492656 864534528 4982 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=16555/tid=16564] ppid=16553 vsize=844272 CPUtime=0 /proc/16555/task/16564/stat : 16564 (java) S 16553 16553 16265 0 -1 64 2 0 0 0 0 0 0 0 15 0 9 0 41492656 864534528 4982 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1.47 Current children cumulated vsize (KiB) 849628 [startup+3.10143 s] /proc/loadavg: 2.20 1.63 0.77 3/90 16564 /proc/meminfo: memFree=1781272/2055920 swapFree=4180084/4192956 [pid=16553] ppid=16551 vsize=5356 CPUtime=0 /proc/16553/stat : 16553 (concrete.sh) S 16551 16553 16265 0 -1 4194304 315 128 0 0 0 0 0 0 21 0 1 0 41492650 5484544 242 996147200 4194304 4889804 548682068752 18446744073709551615 224627581764 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/16553/statm: 1339 242 201 169 0 50 0 [pid=16555] ppid=16553 vsize=844272 CPUtime=3.05 /proc/16555/stat : 16555 (java) S 16553 16553 16265 0 -1 0 7467 0 1 0 298 7 0 0 22 0 9 0 41492651 864534528 6385 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/16555/statm: 211068 6385 2574 9 0 205629 0 [pid=16555/tid=16557] ppid=16553 vsize=844272 CPUtime=2.6 /proc/16555/task/16557/stat : 16557 (java) R 16553 16553 16265 0 -1 64 3618 0 1 0 257 3 0 0 25 0 9 0 41492652 864534528 6385 996147200 134512640 134550740 4294956000 18446744073709551615 4125923183 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=16555/tid=16558] ppid=16553 vsize=844272 CPUtime=0.28 /proc/16555/task/16558/stat : 16558 (java) S 16553 16553 16265 0 -1 64 2614 0 0 0 26 2 0 0 16 0 9 0 41492653 864534528 6385 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=16555/tid=16559] ppid=16553 vsize=844272 CPUtime=0 /proc/16555/task/16559/stat : 16559 (java) S 16553 16553 16265 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 41492654 864534528 6385 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=16555/tid=16560] ppid=16553 vsize=844272 CPUtime=0 /proc/16555/task/16560/stat : 16560 (java) S 16553 16553 16265 0 -1 64 6 0 0 0 0 0 0 0 16 0 9 0 41492654 864534528 6385 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=16555/tid=16561] ppid=16553 vsize=844272 CPUtime=0 /proc/16555/task/16561/stat : 16561 (java) S 16553 16553 16265 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 41492656 864534528 6385 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=16555/tid=16562] ppid=16553 vsize=844272 CPUtime=0.14 /proc/16555/task/16562/stat : 16562 (java) S 16553 16553 16265 0 -1 64 503 0 0 0 14 0 0 0 16 0 9 0 41492656 864534528 6385 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=16555/tid=16563] ppid=16553 vsize=844272 CPUtime=0 /proc/16555/task/16563/stat : 16563 (java) S 16553 16553 16265 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 41492656 864534528 6385 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=16555/tid=16564] ppid=16553 vsize=844272 CPUtime=0 /proc/16555/task/16564/stat : 16564 (java) S 16553 16553 16265 0 -1 64 2 0 0 0 0 0 0 0 15 0 9 0 41492656 864534528 6385 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 3.05 Current children cumulated vsize (KiB) 849628 [startup+6.30288 s] /proc/loadavg: 2.19 1.64 0.78 3/90 16564 /proc/meminfo: memFree=1778072/2055920 swapFree=4180084/4192956 [pid=16553] ppid=16551 vsize=5356 CPUtime=0 /proc/16553/stat : 16553 (concrete.sh) S 16551 16553 16265 0 -1 4194304 315 128 0 0 0 0 0 0 21 0 1 0 41492650 5484544 242 996147200 4194304 4889804 548682068752 18446744073709551615 224627581764 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/16553/statm: 1339 242 201 169 0 50 0 [pid=16555] ppid=16553 vsize=844272 CPUtime=6.22 /proc/16555/stat : 16555 (java) S 16553 16553 16265 0 -1 0 8405 0 1 0 612 10 0 0 22 0 9 0 41492651 864534528 7029 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/16555/statm: 211068 7029 2574 9 0 205629 0 [pid=16555/tid=16557] ppid=16553 vsize=844272 CPUtime=5.5 /proc/16555/task/16557/stat : 16557 (java) R 16553 16553 16265 0 -1 64 3912 0 1 0 546 4 0 0 25 0 9 0 41492652 864534528 7029 996147200 134512640 134550740 4294956000 18446744073709551615 4125914817 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=16555/tid=16558] ppid=16553 vsize=844272 CPUtime=0.55 /proc/16555/task/16558/stat : 16558 (java) S 16553 16553 16265 0 -1 64 3258 0 0 0 51 4 0 0 16 0 9 0 41492653 864534528 7029 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=16555/tid=16559] ppid=16553 vsize=844272 CPUtime=0 /proc/16555/task/16559/stat : 16559 (java) S 16553 16553 16265 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 41492654 864534528 7029 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=16555/tid=16560] ppid=16553 vsize=844272 CPUtime=0 /proc/16555/task/16560/stat : 16560 (java) S 16553 16553 16265 0 -1 64 6 0 0 0 0 0 0 0 16 0 9 0 41492654 864534528 7029 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=16555/tid=16561] ppid=16553 vsize=844272 CPUtime=0 /proc/16555/task/16561/stat : 16561 (java) S 16553 16553 16265 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 41492656 864534528 7029 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=16555/tid=16562] ppid=16553 vsize=844272 CPUtime=0.14 /proc/16555/task/16562/stat : 16562 (java) S 16553 16553 16265 0 -1 64 503 0 0 0 14 0 0 0 16 0 9 0 41492656 864534528 7029 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=16555/tid=16563] ppid=16553 vsize=844272 CPUtime=0 /proc/16555/task/16563/stat : 16563 (java) S 16553 16553 16265 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 41492656 864534528 7029 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=16555/tid=16564] ppid=16553 vsize=844272 CPUtime=0 /proc/16555/task/16564/stat : 16564 (java) S 16553 16553 16265 0 -1 64 2 0 0 0 0 0 0 0 15 0 9 0 41492656 864534528 7029 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 6.22 Current children cumulated vsize (KiB) 849628 [startup+12.7018 s] /proc/loadavg: 2.17 1.64 0.78 3/91 16565 /proc/meminfo: memFree=1713184/2055920 swapFree=4180084/4192956 [pid=16553] ppid=16551 vsize=5356 CPUtime=0 /proc/16553/stat : 16553 (concrete.sh) S 16551 16553 16265 0 -1 4194304 315 128 0 0 0 0 0 0 21 0 1 0 41492650 5484544 242 996147200 4194304 4889804 548682068752 18446744073709551615 224627581764 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/16553/statm: 1339 242 201 169 0 50 0 [pid=16555] ppid=16553 vsize=850980 CPUtime=12.55 /proc/16555/stat : 16555 (java) S 16553 16553 16265 0 -1 0 27852 0 1 0 1234 21 0 0 22 0 10 0 41492651 871403520 23491 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/16555/statm: 212745 23491 2576 9 0 207306 0 [pid=16555/tid=16557] ppid=16553 vsize=850980 CPUtime=10.04 /proc/16555/task/16557/stat : 16557 (java) R 16553 16553 16265 0 -1 64 5133 0 1 0 998 6 0 0 25 0 10 0 41492652 871403520 23491 996147200 134512640 134550740 4294956000 18446744073709551615 4125763455 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=16555/tid=16558] ppid=16553 vsize=850980 CPUtime=1.95 /proc/16555/task/16558/stat : 16558 (java) S 16553 16553 16265 0 -1 64 19759 0 0 0 183 12 0 0 16 0 10 0 41492653 871403520 23491 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=16555/tid=16559] ppid=16553 vsize=850980 CPUtime=0 /proc/16555/task/16559/stat : 16559 (java) S 16553 16553 16265 0 -1 64 13 0 0 0 0 0 0 0 16 0 10 0 41492654 871403520 23491 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=16555/tid=16560] ppid=16553 vsize=850980 CPUtime=0 /proc/16555/task/16560/stat : 16560 (java) S 16553 16553 16265 0 -1 64 7 0 0 0 0 0 0 0 16 0 10 0 41492654 871403520 23491 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=16555/tid=16561] ppid=16553 vsize=850980 CPUtime=0 /proc/16555/task/16561/stat : 16561 (java) S 16553 16553 16265 0 -1 64 0 0 0 0 0 0 0 0 18 0 10 0 41492656 871403520 23491 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=16555/tid=16562] ppid=16553 vsize=850980 CPUtime=0.52 /proc/16555/task/16562/stat : 16562 (java) S 16553 16553 16265 0 -1 64 2222 0 0 0 51 1 0 0 16 0 10 0 41492656 871403520 23491 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=16555/tid=16563] ppid=16553 vsize=850980 CPUtime=0 /proc/16555/task/16563/stat : 16563 (java) S 16553 16553 16265 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 41492656 871403520 23491 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=16555/tid=16564] ppid=16553 vsize=850980 CPUtime=0 /proc/16555/task/16564/stat : 16564 (java) S 16553 16553 16265 0 -1 64 2 0 0 0 0 0 0 0 15 0 10 0 41492656 871403520 23491 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=16555/tid=16565] ppid=16553 vsize=850980 CPUtime=0 /proc/16555/task/16565/stat : 16565 (java) S 16553 16553 16265 0 -1 64 5 0 0 0 0 0 0 0 24 0 10 0 41493647 871403520 23491 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 12.55 Current children cumulated vsize (KiB) 856336 [startup+25.5026 s] /proc/loadavg: 2.13 1.66 0.80 3/90 16565 /proc/meminfo: memFree=1549088/2055920 swapFree=4180084/4192956 [pid=16553] ppid=16551 vsize=5356 CPUtime=0 /proc/16553/stat : 16553 (concrete.sh) S 16551 16553 16265 0 -1 4194304 315 128 0 0 0 0 0 0 21 0 1 0 41492650 5484544 242 996147200 4194304 4889804 548682068752 18446744073709551615 224627581764 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/16553/statm: 1339 242 201 169 0 50 0 [pid=16555] ppid=16553 vsize=850984 CPUtime=25.23 /proc/16555/stat : 16555 (java) S 16553 16553 16265 0 -1 0 68348 0 1 0 2483 40 0 0 22 0 9 0 41492651 871407616 63939 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/16555/statm: 212746 63939 2580 9 0 207306 0 [pid=16555/tid=16557] ppid=16553 vsize=850984 CPUtime=20.95 /proc/16555/task/16557/stat : 16557 (java) R 16553 16553 16265 0 -1 64 7358 0 1 0 2086 9 0 0 25 0 9 0 41492652 871407616 63939 996147200 134512640 134550740 4294956000 18446744073709551615 4127363697 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=16555/tid=16558] ppid=16553 vsize=850984 CPUtime=3.64 /proc/16555/task/16558/stat : 16558 (java) S 16553 16553 16265 0 -1 64 57967 0 0 0 336 28 0 0 16 0 9 0 41492653 871407616 63939 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=16555/tid=16559] ppid=16553 vsize=850984 CPUtime=0 /proc/16555/task/16559/stat : 16559 (java) S 16553 16553 16265 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 41492654 871407616 63939 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 ################ # More data... # ################ /proc/16555/task/16562/stat : 16562 (java) S 16553 16553 16265 0 -1 64 2292 0 0 0 61 1 0 0 16 0 9 0 41492656 871407616 64068 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=16555/tid=16563] ppid=16553 vsize=850984 CPUtime=0 /proc/16555/task/16563/stat : 16563 (java) S 16553 16553 16265 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 41492656 871407616 64068 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=16555/tid=16564] ppid=16553 vsize=850984 CPUtime=0 /proc/16555/task/16564/stat : 16564 (java) S 16553 16553 16265 0 -1 64 2 0 0 0 0 0 0 0 15 0 9 0 41492656 871407616 64068 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 3310.86 Current children cumulated vsize (KiB) 856340 [startup+3402.31 s] /proc/loadavg: 2.14 2.18 2.17 4/90 16573 /proc/meminfo: memFree=1545952/2055920 swapFree=4180084/4192956 [pid=16553] ppid=16551 vsize=5356 CPUtime=0 /proc/16553/stat : 16553 (concrete.sh) S 16551 16553 16265 0 -1 4194304 315 128 0 0 0 0 0 0 21 0 1 0 41492650 5484544 242 996147200 4194304 4889804 548682068752 18446744073709551615 224627581764 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/16553/statm: 1339 242 201 169 0 50 0 [pid=16555] ppid=16553 vsize=850984 CPUtime=3370.3 /proc/16555/stat : 16555 (java) S 16553 16553 16265 0 -1 0 68480 0 1 0 336988 42 0 0 22 0 9 0 41492651 871407616 64068 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/16555/statm: 212746 64068 2580 9 0 207306 0 [pid=16555/tid=16557] ppid=16553 vsize=850984 CPUtime=3366 /proc/16555/task/16557/stat : 16557 (java) R 16553 16553 16265 0 -1 64 7361 0 1 0 336589 11 0 0 25 0 9 0 41492652 871407616 64068 996147200 134512640 134550740 4294956000 18446744073709551615 4127316029 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=16555/tid=16558] ppid=16553 vsize=850984 CPUtime=3.64 /proc/16555/task/16558/stat : 16558 (java) S 16553 16553 16265 0 -1 64 58088 0 0 0 336 28 0 0 16 0 9 0 41492653 871407616 64068 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=16555/tid=16559] ppid=16553 vsize=850984 CPUtime=0 /proc/16555/task/16559/stat : 16559 (java) S 16553 16553 16265 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 41492654 871407616 64068 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=16555/tid=16560] ppid=16553 vsize=850984 CPUtime=0 /proc/16555/task/16560/stat : 16560 (java) S 16553 16553 16265 0 -1 64 7 0 0 0 0 0 0 0 16 0 9 0 41492654 871407616 64068 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=16555/tid=16561] ppid=16553 vsize=850984 CPUtime=0 /proc/16555/task/16561/stat : 16561 (java) S 16553 16553 16265 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 41492656 871407616 64068 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=16555/tid=16562] ppid=16553 vsize=850984 CPUtime=0.62 /proc/16555/task/16562/stat : 16562 (java) S 16553 16553 16265 0 -1 64 2292 0 0 0 61 1 0 0 16 0 9 0 41492656 871407616 64068 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=16555/tid=16563] ppid=16553 vsize=850984 CPUtime=0 /proc/16555/task/16563/stat : 16563 (java) S 16553 16553 16265 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 41492656 871407616 64068 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=16555/tid=16564] ppid=16553 vsize=850984 CPUtime=0 /proc/16555/task/16564/stat : 16564 (java) S 16553 16553 16265 0 -1 64 2 0 0 0 0 0 0 0 15 0 9 0 41492656 871407616 64068 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 3370.3 Current children cumulated vsize (KiB) 856340 [startup+3462.3 s] /proc/loadavg: 2.16 2.17 2.17 3/90 16573 /proc/meminfo: memFree=1545888/2055920 swapFree=4180084/4192956 [pid=16553] ppid=16551 vsize=5356 CPUtime=0 /proc/16553/stat : 16553 (concrete.sh) S 16551 16553 16265 0 -1 4194304 315 128 0 0 0 0 0 0 21 0 1 0 41492650 5484544 242 996147200 4194304 4889804 548682068752 18446744073709551615 224627581764 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/16553/statm: 1339 242 201 169 0 50 0 [pid=16555] ppid=16553 vsize=850984 CPUtime=3429.73 /proc/16555/stat : 16555 (java) S 16553 16553 16265 0 -1 0 68480 0 1 0 342931 42 0 0 22 0 9 0 41492651 871407616 64068 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/16555/statm: 212746 64068 2580 9 0 207306 0 [pid=16555/tid=16557] ppid=16553 vsize=850984 CPUtime=3425.43 /proc/16555/task/16557/stat : 16557 (java) R 16553 16553 16265 0 -1 64 7361 0 1 0 342532 11 0 0 25 0 9 0 41492652 871407616 64068 996147200 134512640 134550740 4294956000 18446744073709551615 4127316051 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=16555/tid=16558] ppid=16553 vsize=850984 CPUtime=3.64 /proc/16555/task/16558/stat : 16558 (java) S 16553 16553 16265 0 -1 64 58088 0 0 0 336 28 0 0 16 0 9 0 41492653 871407616 64068 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=16555/tid=16559] ppid=16553 vsize=850984 CPUtime=0 /proc/16555/task/16559/stat : 16559 (java) S 16553 16553 16265 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 41492654 871407616 64068 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=16555/tid=16560] ppid=16553 vsize=850984 CPUtime=0 /proc/16555/task/16560/stat : 16560 (java) S 16553 16553 16265 0 -1 64 7 0 0 0 0 0 0 0 16 0 9 0 41492654 871407616 64068 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=16555/tid=16561] ppid=16553 vsize=850984 CPUtime=0 /proc/16555/task/16561/stat : 16561 (java) S 16553 16553 16265 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 41492656 871407616 64068 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=16555/tid=16562] ppid=16553 vsize=850984 CPUtime=0.62 /proc/16555/task/16562/stat : 16562 (java) S 16553 16553 16265 0 -1 64 2292 0 0 0 61 1 0 0 16 0 9 0 41492656 871407616 64068 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=16555/tid=16563] ppid=16553 vsize=850984 CPUtime=0 /proc/16555/task/16563/stat : 16563 (java) S 16553 16553 16265 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 41492656 871407616 64068 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=16555/tid=16564] ppid=16553 vsize=850984 CPUtime=0 /proc/16555/task/16564/stat : 16564 (java) S 16553 16553 16265 0 -1 64 2 0 0 0 0 0 0 0 15 0 9 0 41492656 871407616 64068 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 3429.73 Current children cumulated vsize (KiB) 856340 [startup+3522.3 s] /proc/loadavg: 2.14 2.16 2.16 3/90 16573 /proc/meminfo: memFree=1545824/2055920 swapFree=4180084/4192956 [pid=16553] ppid=16551 vsize=5356 CPUtime=0 /proc/16553/stat : 16553 (concrete.sh) S 16551 16553 16265 0 -1 4194304 315 128 0 0 0 0 0 0 21 0 1 0 41492650 5484544 242 996147200 4194304 4889804 548682068752 18446744073709551615 224627581764 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/16553/statm: 1339 242 201 169 0 50 0 [pid=16555] ppid=16553 vsize=850984 CPUtime=3489.16 /proc/16555/stat : 16555 (java) S 16553 16553 16265 0 -1 0 68480 0 1 0 348874 42 0 0 22 0 9 0 41492651 871407616 64068 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/16555/statm: 212746 64068 2580 9 0 207306 0 [pid=16555/tid=16557] ppid=16553 vsize=850984 CPUtime=3484.87 /proc/16555/task/16557/stat : 16557 (java) R 16553 16553 16265 0 -1 64 7361 0 1 0 348476 11 0 0 25 0 9 0 41492652 871407616 64068 996147200 134512640 134550740 4294956000 18446744073709551615 4127365168 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=16555/tid=16558] ppid=16553 vsize=850984 CPUtime=3.64 /proc/16555/task/16558/stat : 16558 (java) S 16553 16553 16265 0 -1 64 58088 0 0 0 336 28 0 0 16 0 9 0 41492653 871407616 64068 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=16555/tid=16559] ppid=16553 vsize=850984 CPUtime=0 /proc/16555/task/16559/stat : 16559 (java) S 16553 16553 16265 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 41492654 871407616 64068 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=16555/tid=16560] ppid=16553 vsize=850984 CPUtime=0 /proc/16555/task/16560/stat : 16560 (java) S 16553 16553 16265 0 -1 64 7 0 0 0 0 0 0 0 16 0 9 0 41492654 871407616 64068 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=16555/tid=16561] ppid=16553 vsize=850984 CPUtime=0 /proc/16555/task/16561/stat : 16561 (java) S 16553 16553 16265 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 41492656 871407616 64068 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=16555/tid=16562] ppid=16553 vsize=850984 CPUtime=0.62 /proc/16555/task/16562/stat : 16562 (java) S 16553 16553 16265 0 -1 64 2292 0 0 0 61 1 0 0 16 0 9 0 41492656 871407616 64068 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=16555/tid=16563] ppid=16553 vsize=850984 CPUtime=0 /proc/16555/task/16563/stat : 16563 (java) S 16553 16553 16265 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 41492656 871407616 64068 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=16555/tid=16564] ppid=16553 vsize=850984 CPUtime=0 /proc/16555/task/16564/stat : 16564 (java) S 16553 16553 16265 0 -1 64 2 0 0 0 0 0 0 0 15 0 9 0 41492656 871407616 64068 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 3489.16 Current children cumulated vsize (KiB) 856340 [startup+3582.3 s] /proc/loadavg: 2.12 2.15 2.16 4/90 16573 /proc/meminfo: memFree=1545760/2055920 swapFree=4180084/4192956 [pid=16553] ppid=16551 vsize=5356 CPUtime=0 /proc/16553/stat : 16553 (concrete.sh) S 16551 16553 16265 0 -1 4194304 315 128 0 0 0 0 0 0 21 0 1 0 41492650 5484544 242 996147200 4194304 4889804 548682068752 18446744073709551615 224627581764 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/16553/statm: 1339 242 201 169 0 50 0 [pid=16555] ppid=16553 vsize=850984 CPUtime=3548.6 /proc/16555/stat : 16555 (java) S 16553 16553 16265 0 -1 0 68480 0 1 0 354818 42 0 0 22 0 9 0 41492651 871407616 64068 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/16555/statm: 212746 64068 2580 9 0 207306 0 [pid=16555/tid=16557] ppid=16553 vsize=850984 CPUtime=3544.3 /proc/16555/task/16557/stat : 16557 (java) R 16553 16553 16265 0 -1 64 7361 0 1 0 354419 11 0 0 25 0 9 0 41492652 871407616 64068 996147200 134512640 134550740 4294956000 18446744073709551615 4127316086 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=16555/tid=16558] ppid=16553 vsize=850984 CPUtime=3.64 /proc/16555/task/16558/stat : 16558 (java) S 16553 16553 16265 0 -1 64 58088 0 0 0 336 28 0 0 16 0 9 0 41492653 871407616 64068 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=16555/tid=16559] ppid=16553 vsize=850984 CPUtime=0 /proc/16555/task/16559/stat : 16559 (java) S 16553 16553 16265 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 41492654 871407616 64068 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=16555/tid=16560] ppid=16553 vsize=850984 CPUtime=0 /proc/16555/task/16560/stat : 16560 (java) S 16553 16553 16265 0 -1 64 7 0 0 0 0 0 0 0 16 0 9 0 41492654 871407616 64068 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=16555/tid=16561] ppid=16553 vsize=850984 CPUtime=0 /proc/16555/task/16561/stat : 16561 (java) S 16553 16553 16265 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 41492656 871407616 64068 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=16555/tid=16562] ppid=16553 vsize=850984 CPUtime=0.62 /proc/16555/task/16562/stat : 16562 (java) S 16553 16553 16265 0 -1 64 2292 0 0 0 61 1 0 0 16 0 9 0 41492656 871407616 64068 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=16555/tid=16563] ppid=16553 vsize=850984 CPUtime=0 /proc/16555/task/16563/stat : 16563 (java) S 16553 16553 16265 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 41492656 871407616 64068 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=16555/tid=16564] ppid=16553 vsize=850984 CPUtime=0 /proc/16555/task/16564/stat : 16564 (java) S 16553 16553 16265 0 -1 64 2 0 0 0 0 0 0 0 15 0 9 0 41492656 871407616 64068 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 3548.6 Current children cumulated vsize (KiB) 856340 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+3634.2 s] /proc/loadavg: 2.12 2.16 2.16 3/90 16573 /proc/meminfo: memFree=1545696/2055920 swapFree=4180084/4192956 [pid=16553] ppid=16551 vsize=5356 CPUtime=0 /proc/16553/stat : 16553 (concrete.sh) S 16551 16553 16265 0 -1 4194304 315 128 0 0 0 0 0 0 21 0 1 0 41492650 5484544 242 996147200 4194304 4889804 548682068752 18446744073709551615 224627581764 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/16553/statm: 1339 242 201 169 0 50 0 [pid=16555] ppid=16553 vsize=850984 CPUtime=3600.01 /proc/16555/stat : 16555 (java) S 16553 16553 16265 0 -1 0 68480 0 1 0 359959 42 0 0 22 0 9 0 41492651 871407616 64068 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/16555/statm: 212746 64068 2580 9 0 207306 0 [pid=16555/tid=16557] ppid=16553 vsize=850984 CPUtime=3595.72 /proc/16555/task/16557/stat : 16557 (java) R 16553 16553 16265 0 -1 64 7361 0 1 0 359561 11 0 0 25 0 9 0 41492652 871407616 64068 996147200 134512640 134550740 4294956000 18446744073709551615 4127365209 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=16555/tid=16558] ppid=16553 vsize=850984 CPUtime=3.64 /proc/16555/task/16558/stat : 16558 (java) S 16553 16553 16265 0 -1 64 58088 0 0 0 336 28 0 0 16 0 9 0 41492653 871407616 64068 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=16555/tid=16559] ppid=16553 vsize=850984 CPUtime=0 /proc/16555/task/16559/stat : 16559 (java) S 16553 16553 16265 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 41492654 871407616 64068 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=16555/tid=16560] ppid=16553 vsize=850984 CPUtime=0 /proc/16555/task/16560/stat : 16560 (java) S 16553 16553 16265 0 -1 64 7 0 0 0 0 0 0 0 16 0 9 0 41492654 871407616 64068 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=16555/tid=16561] ppid=16553 vsize=850984 CPUtime=0 /proc/16555/task/16561/stat : 16561 (java) S 16553 16553 16265 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 41492656 871407616 64068 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=16555/tid=16562] ppid=16553 vsize=850984 CPUtime=0.62 /proc/16555/task/16562/stat : 16562 (java) S 16553 16553 16265 0 -1 64 2292 0 0 0 61 1 0 0 16 0 9 0 41492656 871407616 64068 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=16555/tid=16563] ppid=16553 vsize=850984 CPUtime=0 /proc/16555/task/16563/stat : 16563 (java) S 16553 16553 16265 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 41492656 871407616 64068 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=16555/tid=16564] ppid=16553 vsize=850984 CPUtime=0 /proc/16555/task/16564/stat : 16564 (java) S 16553 16553 16265 0 -1 64 2 0 0 0 0 0 0 0 15 0 9 0 41492656 871407616 64068 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 3600.01 Current children cumulated vsize (KiB) 856340 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child ended because it received signal 15 (SIGTERM) # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 16553 and gives # childrusage.ru_utime.tv_sec=0 # childrusage.ru_utime.tv_usec=999 # childrusage.ru_stime.tv_sec=0 # childrusage.ru_stime.tv_usec=2999 # CPU time returned by wait4() is 0.003998 # while last known CPU time is 3600.01 # # Solver probably didn't/couldn't wait for its children # Using CPU time of the last sample as value... Real time (s): 3634.22 CPU time (s): 3600.01 CPU user time (s): 3599.59 CPU system time (s): 0.42 CPU usage (%): 99.0587 Max. virtual memory (cumulated for all children) (KiB): 856984 getrusage(RUSAGE_CHILDREN,...) data: user time used= 0.000999 system time used= 0.002999 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 443 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= 8 involuntary context switches= 4 runsolver used 3.85141 second user time and 12.6961 second system time The end
Begin job on node49 at 2008-07-12 09:32:50 IDJOB=1111521 IDBENCH=61287 IDSOLVER=335 FILE ID=node49/1111521-1215847969 PBS_JOBID= 7903459 Free space on /tmp= 66552 MiB SOLVER NAME= Concrete + CSP4J - MCRW Engine 2008-05-30 BENCH NAME= CPAI08/csp/os-taillard-20/normalized-os-taillard-20-95-2.xml COMMAND LINE= HOME/concrete.sh -c -ext 0 -s MCRW -max BENCHNAME RUNSOLVER COMMAND LINE= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1111521-1215847969/watcher-1111521-1215847969 -o /tmp/evaluation-result-1111521-1215847969/solver-1111521-1215847969 -C 3600 -W 4000 -M 900 --output-limit 1,15 HOME/concrete.sh -c -ext 0 -s MCRW -max HOME/instance-1111521-1215847969.xml TIME LIMIT= 3600 seconds MEMORY LIMIT= 900 MiB MD5SUM BENCH= cf2755c41c9629ae5bc712eeb2cf6ab2 RANDOM SEED=1081979596 node49.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.239 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 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 lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5914.62 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.239 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 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 lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5586.94 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1796616 kB Buffers: 18864 kB Cached: 87616 kB SwapCached: 5992 kB Active: 171160 kB Inactive: 45984 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1796616 kB SwapTotal: 4192956 kB SwapFree: 4180084 kB Dirty: 2176 kB Writeback: 0 kB Mapped: 126864 kB Slab: 27144 kB Committed_AS: 1019684 kB PageTables: 1972 kB VmallocTotal: 536870911 kB VmallocUsed: 264960 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 66552 MiB End job on node49 at 2008-07-12 10:33:26