Trace number 3379395

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
UmSat 2011-05-12 (fixed)SAT 4.45132 4.45423

General information on the benchmark

NameSAT04/industrial/vangelder/cnf-color/
abb313GPIA-9-tr.used-as.sat04-321.cnf
MD5SUM6c3ea795f258ba82c81e44969c0c5fb4
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.211967
Satisfiable
(Un)Satisfiability was proved
Number of variables14013
Number of clauses481761
Sum of the clauses size974385
Maximum clause length9
Minimum clause length1
Number of clauses of size 11
Number of clauses of size 2480205
Number of clauses of size 31
Number of clauses of size 41
Number of clauses of size 51
Number of clauses of size over 51552

Solver Data 

4.30/4.40	s SATISFIABLE
4.30/4.40	v 10342 -9703 -9712 -9730 -9739 -9748 -9766 -9928 -9937 -9955 -9964 -9982 -9991 -10018 -10027 -10063 -10072 -10090 -10099 -10117 -10126 -10135 -10144 -10180 -10189 -10234 -10243 -10261 -10270 -10279 -10288 -10306 -10315 -10324 -10333 -10351 -10360 -10378 -10387 -10396 -10405 -10423 -10432 -10441 -10450 -10459 -10477 -10486 -10495 -10504 -10513 -10522 -10567 -10576 -10585 -10594 -10666 -10675 -10729 -10738 -10747 -10756 -10765 -10963 -10972 -10981 -10990 10118 -9704 -9713 -9749 -9758 -9929 -9938 -9956 -9965 -9974 -9992 -10019 -10028 -10037 -10064 -10073 -10082 -10091 -10100 -10109 -10127 -10136 -10145 -10172 -10181 -10190 -10226 -10235 -10244 -10253 -10271 -10280 -10289 -10298 -10316 -10325 -10334 -10343 -10361 -10370 -10388 -10397 -10406 -10415 -10433 -10442 -10451 -10460 -10469 -10487 -10496 -10505 -10514 -10523 -10559 -10577 -10586 -10595 -10667 -10676 -10721 -10739 -10748 -10757 -10766 -10955 -10973 -10982 -10991 10434 -9759 -9975 -9984 -10110 -10119 -10137 -10146 -10164 -10173 -10182 -10191 -10209 -10218 -10227 -10254 -10263 -10272 -10299 -10308 -10317 -10344 -10353 -10362 -10371 -10380 -10398 -10407 -10416 -10425 -10443 -10452 -10461 -10470 -10479 -10506 -10515 -10524 -10542 -10551 -10560 -10569 -10587 -10596 -10605 -10632 -10641 -10650 -10659 -10668 -10677 -10695 -10704 -10713 -10722 -10731 -10749 -10758 -10767 -10776 -10803 -10812 -10821 -10830 -10839 -10857 -10866 -10875 -10884 -10893 -10911 -10920 -10929 -10938 -10947 -10956 -10965 -11010 -11019 -11028 -11037 -11055 -11064 -11073 -11082 -11091 -11199 -11208 -11217 -11226 -11235 -11433 -11442 -11451 -11460 -11469 10444 -9760 -9976 -9985 -10111 -10120 -10138 -10147 -10156 -10174 -10183 -10192 -10201 -10219 -10228 -10255 -10264 -10273 -10300 -10309 -10318 -10345 -10354 -10363 -10372 -10381 -10390 -10408 -10417 -10426 -10435 -10453 -10462 -10471 -10480 -10507 -10516 -10525 -10534 -10552 -10561 -10570 -10579 -10597 -10606 -10624 -10642 -10651 -10660 -10669 -10678 -10687 -10705 -10714 -10723 -10732 -10741 -10759 -10768 -10777 -10795 -10813 -10822 -10831 -10840 -10849 -10867 -10876 -10885 -10894 -10903 -10921 -10930 -10939 -10948 -10957 -10966 -11002 -11020 -11029 -11038 -11047 -11065 -11074 -11083 -11092 -11191 -11209 -11218 -11227 -11236 -11425 -11443 -11452 -11461 -11470 10454 -9761 -9977 -9986 -10112 -10121 -10157 -10166 -10184 -10193 -10202 -10211 -10229 -10256 -10265 -10274 -10301 -10310 -10319 -10346 -10355 -10364 -10373 -10382 -10391 -10400 -10409 -10418 -10427 -10436 -10445 -10463 -10472 -10481 -10508 -10535 -10544 -10562 -10571 -10580 -10589 -10616 -10625 -10634 -10670 -10679 -10688 -10697 -10715 -10724 -10733 -10742 -10751 -10769 -10787 -10796 -10805 -10823 -10832 -10841 -10850 -10859 -10877 -10886 -10895 -10904 -10913 -10931 -10940 -10949 -10958 -10967 -11003 -11012 -11048 -11057 -11075 -11084 -11093 -11192 -11201 -11219 -11228 -11237 -11426 -11435 -11453 -11462 -11471 10671 -9690 -9699 -9717 -9726 -9753 -9915 -9924 -9942 -9951 -10005 -10014 -10032 -10041 -10050 -10059 -10077 -10086 -10104 -10113 -10122 -10131 -10149 -10158 -10167 -10176 -10194 -10203 -10212 -10221 -10230 -10338 -10347 -10356 -10365 -10392 -10401 -10437 -10446 -10455 -10527 -10536 -10545 -10554 -10581 -10590 -10608 -10626 -10635 -10680 -10689 -10698 -10707 -10716 -10743 -10752 -10761 -10770 -10779 -10788 -10797 -10806 -10815 -10842 -10851 -10860 -10869 -10896 -10905 -10914 -10923 -10950 -11004 -11013 -11049 -11058 -11067 -11193 -11202 -11211 -11427 -11436 -11445 10681 -9691 -9700 -9709 -9727 -9736 -9745 -9763 -9772 -9916 -9925 -9934 -9952 -10006 -10015 -10024 -10042 -10051 -10060 -10069 -10087 -10096 -10114 -10123 -10132 -10141 -10159 -10168 -10177 -10186 -10204 -10213 -10222 -10231 -10330 -10348 -10357 -10366 -10393 -10402 -10438 -10447 -10456 -10519 -10537 -10546 -10555 -10582 -10591 -10609 -10627 -10636 -10672 -10690 -10699 -10708 -10717 -10744 -10753 -10762 -10771 -10780 -10789 -10798 -10807 -10816 -10843 -10852 -10861 -10870 -10897 -10906 -10915 -10924 -10951 -11005 -11014 -11050 -11059 -11068 -11194 -11203 -11212 -11428 -11437 -11446 10772 -9764 -9980 -9989 -10115 -10124 -10160 -10169 -10205 -10214 -10223 -10259 -10268 -10304 -10313 -10349 -10358 -10376 -10385 -10394 -10403 -10421 -10430 -10439 -10448 -10457 -10475 -10484 -10538 -10547 -10565 -10574 -10583 -10592 -10610 -10628 -10637 -10673 -10682 -10691 -10700 -10709 -10727 -10736 -10745 -10754 -10763 -10781 -10799 -10808 -10817 -10826 -10835 -10853 -10862 -10871 -10880 -10889 -10907 -10916 -10925 -10934 -10943 -10961 -10970 -11006 -11015 -11051 -11060 -11069 -11195 -11204 -11213 -11429 -11438 -11447 7571 -7103 -7112 -7130 -7139 -7328 -7337 -7355 -7364 -7427 -7436 -7454 -7463 -7472 -7481 -7499 -7508 -7517 -7526 -7544 -7553 -7562 -7580 -7589 -7598 -7607 -7625 -7634 -7643 -7652 -7670 -7679 -7688 -7697 -7796 -7805 -7823 -7832 -7841 -7877 -7886 -7967 -7976 -7985 -7994 -8030 -8039 -8057 -8066 -8102 -8111 -8147 -8156 -8192 -8201 -8246 -8255 -8264 -8273 -8336 -8345 -8435 -8444 -8453 -8462 -8471 -8480 -8741 -8750 -8876 -8885 -7573 -7578 -7570 -7574 -7576 -7577 -7575 -7572 7891 -5875 -5884 -6424 -6433 -6613 -6622 -6658 -6667 -6757 -6766 -6811 -6820 -6865 -6874 -6901 -6910 -6937 -6946 -7000 -7009 -7036 -7045 -7063 -7072 -7108 -7117 -7153 -7162 -7171 -7243 -7252 -7288 -7297 -7378 -7387 -7414 -7432 -7441 -7522 -7531 -7558 -7585 -7594 -7612 -7711 -7720 -7729 -7738 -7747 -7756 -7783 -7792 -7801 -7810 -7837 -7846 -7855 -7864 -7873 -7882 -7900 -7909 -7918 -7927 -7954 -7963 -7972 -7981 -7999 -8008 -8017 -8026 -8035 -8053 -8062 -8080 -8089 -8098 -8107 -8125 -8134 -8143 -8152 -8170 -8179 -8188 -8197 -8215 -8224 -8233 -8287 -8296 -8305 -8341 -8359 -8368 -8377 -8476 -8494 -8503 -8512 -8746 -8764 -8773 -8782 -8881 -8899 -8908 -8917 -8027 8144 -7595 -7604 -7685 -7694 -7883 -7892 -7964 -7973 -7982 -7991 -8009 -8018 -8036 -8045 -8063 -8072 -8081 -8090 -8108 -8117 -8126 -8135 -8153 -8162 -8171 -8180 -8198 -8207 -8216 -8225 -8342 -8351 -8405 -8414 -8450 -8459 -8477 -8486 -8495 -8504 -8540 -8549 -8567 -8576 -8612 -8621 -8657 -8666 -8702 -8711 -8747 -8756 -8792 -8801 -8882 -8891 -8927 -8936 -9107 -9116 -9332 -9341 -7813 -7814 -7820 -7817 -7818 8010 -5850 -5859 -5868 -5886 -5895 -6399 -6408 -6417 -6435 -6444 -6588 -6597 -6606 -6624 -6633 -6642 -6651 -6669 -6678 -6732 -6741 -6750 -6768 -6777 -6786 -6795 -6804 -6822 -6831 -6840 -6849 -6858 -6876 -6885 -6894 -6912 -6921 -6930 -6948 -6957 -6966 -6975 -6984 -6993 -7011 -7020 -7029 -7047 -7056 -7074 -7083 -7092 -7101 -7119 -7128 -7137 -7146 -7164 -7173 -7182 -7236 -7254 -7263 -7272 -7281 -7299 -7308 -7317 -7326 -7389 -7398 -7407 -7416 -7425 -7443 -7452 -7461 -7470 -7533 -7542 -7551 -7560 -7569 -7596 -7605 -7722 -7731 -7740 -7758 -7767 -7776 -7785 -7794 -7812 -7821 -7830 -7839 -7848 -7866 -7875 -7884 -7893 -7902 -7920 -7929 -7938 -7947 -7956 -7983 -7992 -8001 -8019 -8028 -8037 -8046 -8055 -8064 -8073 -8100 -8109 -8118 -8145 -8154 -8163 -8190 -8199 -8208 -8235 -8298 -8307 -8316 -8325 -8334 -8343 -8352 -8478 -8487 -8748 -8757 -8883 -8892 -7597 7867 -5869 -5878 -6418 -6427 -6607 -6616 -6652 -6661 -6751 -6760 -6805 -6814 -6859 -6868 -6895 -6904 -6931 -6940 -6994 -7003 -7030 -7039 -7057 -7066 -7102 -7111 -7147 -7156 -7174 -7237 -7246 -7282 -7291 -7372 -7381 -7390 -7399 -7417 -7426 -7435 -7516 -7525 -7534 -7543 -7561 -7588 -7705 -7714 -7732 -7741 -7750 -7759 -7768 -7786 -7795 -7804 -7822 -7840 -7849 -7858 -7876 -7885 -7894 -7903 -7912 -7930 -7939 -7948 -7975 -7984 -8002 -8011 -8029 -8038 -8047 -8056 -8065 -8101 -8110 -8146 -8155 -8191 -8200 -8281 -8290 -8308 -8317 -8326 -8335 -8344 -8470 -8479 -8740 -8749 -8875 -8884 -8069 7979 -7124 -7133 -7349 -7358 -7448 -7457 -7493 -7502 -7538 -7547 -7583 -7601 -7610 -7619 -7628 -7664 -7673 -7826 -7853 -7862 -7871 -7889 -7898 -7961 -7970 -7988 -7997 -8006 -8015 -8024 -8042 -8051 -8078 -8087 -8096 -8114 -8123 -8132 -8141 -8159 -8168 -8177 -8186 -8204 -8213 -8222 -8231 -8240 -8249 -8348 -8357 -8366 -8375 -8429 -8438 -8483 -8492 -8501 -8510 -8753 -8762 -8771 -8780 -8888 -8897 -8906 -8915 -7642 -7649 -7650 -7647 -7644 -7815 -8339 -7593 -7592 -7635 -7627 -7590 7591 -7465 -7123 -7132 -7348 -7357 -7447 -7456 -7492 -7501 -7510 -7537 -7546 -7564 -7582 -7600 -7609 -7618 -7654 -7663 -7672 -7699 -7816 -7825 -7852 -7861 -7870 -7888 -7897 -7960 -7969 -7987 -7996 -8005 -8014 -8023 -8041 -8050 -8068 -8077 -8086 -8095 -8113 -8122 -8131 -8140 -8158 -8167 -8176 -8185 -8203 -8212 -8221 -8230 -8239 -8248 -8347 -8356 -8365 -8374 -8428 -8437 -8482 -8491 -8500 -8509 -8752 -8761 -8770 -8779 -8887 -8896 -8905 -8914 7819 -7135 -7144 -7333 -7342 -7360 -7369 -7459 -7468 -7477 -7486 -7504 -7513 -7549 -7567 -7603 -7630 -7639 -7648 -7657 -7675 -7684 -7693 -7702 -7828 -7990 -8251 -8260 -8269 -8278 -8440 -8449 -8458 -8467 -8016 -7645 7646 -7466 -7511 -7565 -7637 -7655 -7700 -7907 -7916 -7925 -7934 -7952 -8060 -8258 -8276 -8285 -8294 -8303 -8312 -8330 -8384 -8402 -8411 -8420 -8519 -8537 -8546 -8555 -7617 -7616 -7615 -7623 -7620 -7622 7621 -7936 -7945 -8314 -8323 -8386 -8395 -8521 -8530 -7550 -7566 7545 -5871 -5880 -6420 -6429 -6609 -6618 -6654 -6663 -6753 -6762 -6807 -6816 -6861 -6870 -6897 -6906 -6933 -6942 -6996 -7005 -7032 -7041 -7059 -7068 -7104 -7113 -7122 -7140 -7149 -7158 -7167 -7239 -7248 -7284 -7293 -7329 -7338 -7347 -7365 -7374 -7383 -7410 -7428 -7437 -7446 -7464 -7473 -7482 -7491 -7509 -7518 -7527 -7536 -7554 -7563 -7599 -7608 -7653 -7662 -7680 -7689 -7698 -7707 -7716 -7725 -7743 -7752 -7779 -7797 -7806 -7833 -7842 -7851 -7860 -7869 -7905 -7914 -7923 -7959 -7977 -7986 -7995 -8004 -8013 -8022 -8238 -8256 -8265 -8274 -8283 -8292 -8301 -8427 -8445 -8454 -8463 7568 7602 7989 8012 -5876 -5885 -6425 -6434 -6614 -6623 -6659 -6668 -6758 -6767 -6812 -6821 -6866 -6875 -6902 -6911 -6938 -6947 -7001 -7010 -7037 -7046 -7064 -7073 -7109 -7118 -7127 -7136 -7154 -7163 -7172 -7244 -7253 -7289 -7298 -7352 -7361 -7379 -7388 -7415 -7433 -7442 -7451 -7460 -7478 -7487 -7496 -7505 -7523 -7532 -7541 -7559 -7586 -7631 -7640 -7667 -7676 -7712 -7721 -7730 -7748 -7757 -7784 -7802 -7811 -7829 -7838 -7856 -7865 -7874 -7910 -7919 -7928 -8243 -8252 -8288 -8297 -8306 -8432 -8441 -7125 -7134 -7350 -7359 -7449 -7458 -7467 -7494 -7503 -7512 -7539 -7548 -7584 -7611 -7629 -7656 -7665 -7674 -7701 -7827 -7854 -7863 -7872 -7881 -7899 -7962 -7971 -7980 -7998 -8007 -8025 -8034 -8052 -8061 -8079 -8088 -8097 -8106 -8124 -8133 -8142 -8151 -8169 -8178 -8187 -8196 -8214 -8223 -8232 -8241 -8250 -8340 -8358 -8367 -8376 -8430 -8439 -8475 -8493 -8502 -8511 -8745 -8763 -8772 -8781 -8880 -8898 -8907 -8916 -5843 -5852 -5861 -5870 -5888 -6392 -6401 -6410 -6419 -6437 -6581 -6590 -6599 -6608 -6626 -6635 -6644 -6653 -6671 -6725 -6734 -6743 -6752 -6770 -6779 -6788 -6797 -6806 -6824 -6833 -6842 -6851 -6860 -6878 -6887 -6896 -6914 -6923 -6932 -6950 -6959 -6968 -6977 -6986 -6995 -7013 -7022 -7031 -7049 -7058 -7076 -7085 -7094 -7121 -7148 -7166 -7175 -7229 -7238 -7256 -7265 -7274 -7283 -7301 -7310 -7319 -7373 -7391 -7400 -7409 -7418 -7445 -7535 -7706 -7724 -7733 -7742 -7760 -7769 -7778 -7787 -7850 -7868 -7895 -7904 -7922 -7931 -7940 -7949 -8003 -8021 -8048 -8093 -8138 -8183 -8228 -8282 -8300 -8309 -8318 -8327 7824 7859 7540 7857 8020 -7734 -7788 -7896 -7950 -7993 -8092 -8137 -8182 -8227 7901 8000 -7766 -7775 -7937 -7946 7114 -5845 -5854 -5863 -5872 -5890 -6394 -6403 -6412 -6421 -6439 -6583 -6592 -6601 -6610 -6628 -6637 -6646 -6655 -6673 -6727 -6736 -6745 -6754 -6772 -6781 -6790 -6799 -6808 -6826 -6835 -6844 -6853 -6862 -6880 -6889 -6898 -6916 -6925 -6934 -6952 -6961 -6970 -6979 -6988 -6997 -7015 -7024 -7033 -7051 -7060 -7078 -7087 -7096 -7105 -7141 -7150 -7168 -7177 -7231 -7240 -7258 -7267 -7276 -7285 -7303 -7312 -7321 -7375 -7393 -7402 -7411 -7420 -7429 -7519 -7555 -7708 -7726 -7735 -7744 -7762 -7771 -7780 -7789 -7798 -7834 -7843 -7879 -7906 -7924 -7933 -7942 -7951 -8032 -8284 -8302 -8311 -8320 -8329 -8085 7915 -7636 -8257 -8266 -8383 -8392 -8518 -8527 -7626 -7624 7632 -7110 -7335 -7344 -7353 -7371 -7434 -7479 -7488 -7497 -7515 -7524 -7614 -7641 -7659 -7668 -7686 -7695 -7704 -7803 -7965 -8082 -8091 -8244 -8262 -8271 -8280 -8361 -8370 -8388 -8397 -8433 -8451 -8460 -8469 -8523 -8532 8076 -7878 -7887 -7941 -8031 -8040 -8049 -8058 -8067 -8094 -8103 -8112 -8139 -8148 -8157 -8184 -8193 -8202 -8229 -8247 -8319 -8328 -8337 -8346 -8364 -8373 -8391 -8400 -8409 -8418 -8472 -8481 -8526 -8535 -8544 -8553 -8742 -8751 -8877 -8886 7880 -7557 8033 8054 8059 8099 8189 8234 8338 -5873 -5882 -6422 -6431 -6611 -6620 -6656 -6665 -6755 -6764 -6809 -6818 -6863 -6872 -6899 -6908 -6935 -6944 -6998 -7007 -7034 -7043 -7061 -7070 -7106 -7115 -7151 -7160 -7169 -7241 -7250 -7286 -7295 -7376 -7385 -7412 -7430 -7439 -7520 -7529 -7556 -7709 -7718 -7727 -7736 -7745 -7754 -7781 -7790 -7799 -7808 -7835 -7844 -8261 -8270 -8315 -8324 -8360 -8369 -8387 -8396 -8522 -8531 -8585 -8594 -8765 -8774 -8810 -8819 -8837 -8846 -8972 -8981 -8630 -8639 -8855 -8864 -8900 -8909 -8945 -8954 -8990 -8999 -9017 -9026 -9062 -9071 -9152 -9161 -9377 -9386 -8275 -8419 7107 7431 7521 7552 7800 -5847 -5856 -5865 -5883 -5892 -6396 -6405 -6414 -6432 -6441 -6585 -6594 -6603 -6621 -6630 -6639 -6648 -6666 -6675 -6729 -6738 -6747 -6765 -6774 -6783 -6792 -6801 -6819 -6828 -6837 -6846 -6855 -6873 -6882 -6891 -6909 -6918 -6927 -6945 -6954 -6963 -6972 -6981 -6990 -7008 -7017 -7026 -7044 -7053 -7071 -7080 -7089 -7098 -7116 -7143 -7161 -7170 -7179 -7233 -7251 -7260 -7269 -7278 -7296 -7305 -7314 -7323 -7386 -7395 -7404 -7413 -7422 -7440 -7530 -7719 -7728 -7737 -7755 -7764 -7773 -7782 -7791 -7809 -7836 -7845 -7890 -7917 -7926 -7935 -7944 -7953 -8043 -8295 -8304 -8313 -8322 -8331 -7120 -7129 -7345 -7354 -7444 -7453 -7462 -7489 -7498 -7507 -7579 -7606 -7651 -7660 -7669 -7696 -7957 -7966 -8236 -8245 -8425 -8434 7165 7408 7438 7528 7723 7739 7777 7793 7807 7831 7847 7921 7932 7943 7955 8044 8299 8310 8321 7126 7131 7450 7455 7469 7514 7613 7658 7703 7958 8253 -7012 -7048 -7093 -7138 -6697 -6706 -6949 -6958 -7075 -7084 -7201 -7210 -7219 -7255 -7264 -7273 -7300 -7309 -7318 -7327 -7336 -7363 -7471 -7480 -6704 -6713 -6956 -6965 -7082 -7091 -7208 -7217 -7262 -7271 -7307 -7316 -7334 -7343 -7397 -7406 -7633 -8074 -8083 -8254 -8263 -8353 -8362 -8380 -8389 -8515 -8524 -8272 -8371 -8416 8071 -7018 -7054 -7099 -7180 -7014 -7050 -7095 -7176 -8379 -8424 7638 -7913 8084 8259 8363 -7908 -8070 -8268 -8277 -8286 -8349 -8394 -8403 -8412 -8421 -8529 -8538 -8547 -8556 -8075 -8237 -8291 -8354 -8372 -8381 -8399 -8408 -8417 -8516 -8534 -8543 -8552 7911 8267 8279 8289 8350 8242 8293 8355 8378 -8332 -8422 8333 8423 -7581 7587 -7974 7968 -7671 7677 -8127 -8136 -8406 -8415 -8496 -8505 -8541 -8550 -8568 -8577 -8613 -8622 -8658 -8667 -8703 -8712 -8793 -8802 -8928 -8937 -9108 -9117 -9333 -9342 -7661 7666 -8404 -8413 -8539 -8548 -8566 -8575 -8611 -8620 -8656 -8665 -8701 -8710 -8791 -8800 -8926 -8935 -9106 -9115 -9331 -9340 -8382 8385 -7683 -7692 -8448 -8457 -8565 -8574 -8610 -8619 -8655 -8664 -8700 -8709 -8790 -8799 -8925 -8934 -9105 -9114 -9330 -9339 8116 -7678 -8410 8407 -8119 -8398 -8443 -8461 -8488 -8506 -8533 -8551 -8560 -8578 -8587 -8596 -8605 -8623 -8632 -8641 -8650 -8668 -8677 -8686 -8695 -8713 -8722 -8731 -8785 -8803 -8812 -8821 -8920 -8938 -8947 -8956 -9100 -9118 -9127 -9136 -9325 -9343 -9352 -9361 8401 8536 -7690 -8104 -8455 -8464 -8473 -8545 -8554 -8572 -8581 -8590 -8599 -8617 -8626 -8635 -8644 -8662 -8671 -8680 -8689 -8707 -8716 -8725 -8734 -8797 -8806 -8815 -8824 -8932 -8941 -8950 -8959 -9112 -9121 -9130 -9139 -9337 -9346 -9355 -9364 8105 8474 8542 -7682 -7691 -8447 -8456 -8564 -8573 -8609 -8618 -8654 -8663 -8699 -8708 -8789 -8798 -8924 -8933 -9104 -9113 -9329 -9338 -8465 -8600 -8645 -8690 -8735 7681 7687 8446 8452 -8507 -8508 -8514 8513 -8675 -8684 -8720 -8729 -8921 -8922 8923 -8851 -8860 -8986 -8995 -9004 -9013 -9022 -9049 -9058 -9067 -9094 -9148 -9157 -9373 -9382 -8120 8121 -8130 -8436 -8499 -8517 -8571 -8580 -8589 -8598 -8616 -8625 -8634 -8643 -8661 -8670 -8679 -8688 -8706 -8715 -8724 -8733 -8796 -8805 -8814 -8823 -8931 -8940 -8949 -8958 -9111 -9120 -9129 -9138 -9336 -9345 -9354 -9363 8442 8520 -8559 -8604 -8649 -8694 -8739 -8466 -8601 -8646 -8691 -8736 8468 8206 -8629 -8638 -8854 -8863 -8944 -8953 -8989 -8998 -9016 -9025 -9061 -9070 -9151 -9160 -9376 -9385 -8205 -8195 8194 8217 -8226 -8640 -8838 -8847 -8865 -8874 -8910 -8919 -8955 -8964 -8973 -8982 -9000 -9009 -9027 -9036 -9045 -9054 -9072 -9081 -9090 -9099 -9162 -9171 -9180 -9189 -9387 -9396 -9405 -9414 -11155 -11159 -11154 -11163 11164 -10489 -10498 -10912 -10975 -10984 -10993 -11101 -11110 -11137 -11146 -11173 -11182 -11245 -11254 -11290 -11299 -11317 -11326 -11434 -11479 -11488 -11506 -11515 -11524 -11533 -11551 -11560 -11578 -11587 -11596 -11605 -11623 -11632 -11641 -11650 -11668 -11677 -11686 -11695 -11758 -11767 -11776 -11785 -11893 -11902 -11911 -11920 -12163 -12172 -12181 -12190 -11172 -10873 -11289 -10919 -10918 -10881 -11168 -11314 -11316 -11315 -11321 -11118 -11119 -11166 -10491 -10493 -10854 -10847 -10890 -11308 -11307 -10473 -10810 -10811 -10945 -10953 -11145 -11150 -11109 -11114 -11128 -11127 -10488 -11298 -11131 -11157 -10827 -10500 -10502 -10483 -10969 10623 -10497 -10614 -10974 -10983 -11100 -11244 -11253 -11478 -11487 -10959 -10960 -11181 -10944 -10856 -10865 -10891 -10899 -11295 -10474 -11160 -10864 -10992 -10995 -11062 -11063 -11183 -10836 -11105 -11158 11318 -10922 -11120 -11129 -11147 -11156 -11165 -11264 -11273 -11282 -11291 -11300 -11309 -11327 -11336 -11345 -11372 -11381 -11390 -11417 -11444 -11480 -11489 -11498 -11516 -11525 -11534 -11543 -11561 -11570 -11588 -11597 -11606 -11615 -11633 -11642 -11651 -11660 -11678 -11687 -11696 -11705 -11714 -11750 -11768 -11777 -11786 -11885 -11903 -11912 -11921 -12110 -12119 -12155 -12173 -12182 -12191 10926 -10161 -10170 -10188 -10197 -10206 -10215 -10233 -10395 -10404 -10422 -10431 -10440 -10449 -10467 -10539 -10548 -10584 -10593 -10620 -10629 -10638 -10674 -10683 -10692 -10701 -10719 -10728 -10737 -10746 -10755 -10773 -10791 -10800 -10809 -10845 -10863 -10908 -10917 -10935 -11007 -11016 -11052 -11061 -11079 -11088 -11097 -11169 -11178 -11196 -11205 -11223 -11232 -11241 -11313 -11322 -11430 -11439 -11457 -11466 -11475 -11502 -11511 -11547 -11556 -11574 -11583 -11619 -11628 -11664 -11673 -11754 -11763 -11889 -11898 -12159 -12168 -10340 -9719 10389 10399 10578 10588 10740 10750 -10615 -10785 -10786 -11206 -11136 -11258 10501 -9979 -9988 -10258 -10267 -10276 -10303 -10312 -10321 -10375 -10384 -10411 -10420 -10429 -10465 -10492 -10510 -10564 -10573 -10645 -10663 -10726 -10735 -10825 -10978 -10996 -11023 -11041 -11077 -11095 -11104 -11122 -11140 -11149 -11167 -11176 -11185 -11248 -11266 -11275 -11284 -11482 -11500 -11509 -11518 -11249 -11559 -11492 -11280 -11281 -11483 -11523 -11262 -11263 -11087 -11207 -11550 -11440 -11441 11448 -11520 -11565 -11610 -11655 -11700 -11177 -11174 -10494 -11250 10490 -10499 -10652 -10661 -10814 -10985 -10994 -11030 -11039 -11066 -11111 -11138 -11255 -11507 10818 11070 -10503 -10647 -10656 -10980 -10989 -11025 -11034 -11106 -11115 -11151 -11259 -11484 -11493 -10998 -11043 -11142 -11187 10997 -10646 -10655 -10979 -10988 -11024 -11033 -11078 -11123 -11132 11121 -10644 -10653 -10824 -10833 -10887 -10977 -10986 -11022 -11031 -11040 -11076 -11085 -11094 -11103 -11112 -11130 -11139 -11148 -11184 -11229 -11238 -11247 -11256 -11274 -11283 -11301 -11310 -11319 -11328 -11346 -11355 -11364 -11373 -11391 -11400 -11409 -11418 -11481 -11490 -11535 -11544 -11553 -11562 -11715 -11724 -11733 -11742 -12120 -12129 -12138 -12147 10976 10987 -11152 11153 -10478 -10622 -10631 -10640 -10658 -10793 -10802 -10820 -10838 -10928 -10937 -10964 -11000 -11009 -11018 -11036 -11045 -11054 -11072 -11090 -11099 -11117 -11126 -11135 -11144 -11162 -11171 -11180 -11243 -11261 -11270 -11279 -11306 -11450 -11459 -11477 -11495 -11504 -11513 -11540 -11549 -11567 -11576 -11612 -11621 -11657 -11666 -11747 -11756 -11882 -11891 -12152 -12161 10819 11071 11133 11143 11476 -10153 -10162 -10198 -10207 -10216 -10468 -10531 -10540 -10603 -10621 -10630 -10648 -10657 -10684 -10693 -10702 -10711 -10774 -10783 -10792 -10801 -10828 -10837 -10846 -10855 -10900 -10909 -10954 -10999 -11008 -11026 -11035 -11044 -11053 -11080 -11089 -11107 -11116 -11125 -11134 -11161 -11170 -11179 -11188 -11197 -11251 -11260 -11269 -11278 -11422 -11431 -11485 -11494 -11503 -11512 -10872 -11124 -11214 -11268 -11286 -11331 -11340 -11358 -11367 -11376 -11385 -11403 -11412 -11421 -11529 -11709 -11727 -11736 -11745 -12114 -12132 -12141 -12150 -10927 -10936 -11305 -11449 -11458 -11539 -11548 -11566 -11575 -11611 -11620 -11656 -11665 -11746 -11755 -11881 -11890 -12151 -12160 -11467 -11557 -11602 -11647 -11692 10476 10633 10794 10804 10844 10848 10858 10910 10962 11001 11011 11042 11046 11056 11096 11141 11175 11186 11432 10868 11210 11285 -11302 -9738 -9747 -9756 -9774 -9963 -9972 -9990 -9999 -10098 -10107 -10125 -10134 -10242 -10251 -10269 -10278 -10287 -10296 -10314 -10323 -10332 -10341 -10359 -10368 -10386 -10413 -10458 -10485 -10512 -10575 -10602 -10764 -10971 -11271 -11334 -11343 -11379 -11388 -11532 -11703 -11712 -12108 -12117 -11272 -11335 -11344 -11380 -11389 -11704 -11713 -12109 -12118 -10154 -10199 -10217 -10379 -10424 -10532 -10550 -10568 -10604 -10649 -10685 -10703 -10712 -10730 -10775 -10784 -10829 -10874 -10883 -10892 -10901 -10946 -11027 -11081 -11189 -11216 -11225 -11234 -11423 -11468 -11222 -11231 -11267 -11276 -11294 -11303 -11339 -11348 -11384 -11393 -11528 -11537 -11708 -11717 -12113 -12122 -10932 -11292 -11454 -11472 -11499 -11517 -11526 -11571 -11589 -11598 -11607 -11616 -11634 -11643 -11652 -11661 -11679 -11688 -11697 -11751 -11769 -11778 -11787 -11886 -11904 -11913 -11922 -12156 -12174 -12183 -12192 -11312 -11456 -11465 -11501 -11510 -11546 -11555 -11573 -11582 -11618 -11627 -11663 -11672 -11753 -11762 -11888 -11897 -12158 -12167 -11558 -11603 -11648 -11693 -11357 -11366 -11402 -11411 10352 10367 10383 10482 10572 10760 10968 10155 10200 10428 10533 10654 10686 10718 10734 10790 10834 10898 10902 10952 11032 11086 11190 11424 11265 11277 -11320 10933 11455 11311 -9710 -9755 -9935 -9944 -10025 -10034 -10070 -10079 -10097 -10106 -10142 -10151 -10187 -10196 -10241 -10250 -10286 -10295 -10331 -10520 -10529 -9762 -9960 -9969 -9978 -9996 -10095 -10239 -10248 -10257 -10275 -10284 -10293 -10302 -10320 -10329 -10374 -10410 -10419 -10464 -10509 -10563 -10599 -10725 -10617 -10662 -9705 -9714 -9750 -9930 -9939 -10020 -10029 -10038 -10065 -10074 -10083 -10092 -10101 -10128 -10326 -10335 -10600 -10618 -11496 -11505 -11541 -11568 -11577 -11613 -11622 -11658 -11667 -11748 -11757 -11883 -11892 -12153 -12162 -11325 -11370 -11415 -11514 -11604 -11649 -11694 -10942 -11293 -11329 -11464 -11473 -11491 -11527 -11536 -11554 -11563 -11581 -11590 -11599 -11608 -11626 -11635 -11644 -11653 -11671 -11680 -11689 -11698 -11761 -11770 -11779 -11788 -11896 -11905 -11914 -11923 -12166 -12175 -12184 -12193 -10879 -10888 -11221 -11230 -11239 -11338 -11347 -11374 -11383 -11392 -11419 -11707 -11716 -12112 -12121 10882 10185 10195 10277 10322 10412 10414 10466 10511 10720 11497 11508 11519 11654 10941 11463 11474 11486 11552 11564 11609 11699 10878 11224 -11098 -11215 -11233 -11242 -11287 -11323 -11332 -11350 -11359 -11368 -11377 -11395 -11404 -11413 -11521 -11701 -11719 -11728 -11737 -12106 -12124 -12133 -12142 -9260 -9269 -9485 -9494 -9575 -9584 -9620 -9629 -9647 -9656 -9692 -9701 -9737 -9746 -9872 -9881 -10007 -10016 -9305 -9314 -9530 -9539 -9665 -9674 -9800 -9809 -9845 -9854 -9890 -9899 -9917 -9926 -9962 -9971 -10052 -10061 -11591 -11600 -11636 -11645 -11681 -11690 -11816 -11825 -11906 -11915 -11951 -11960 -11978 -11987 -12023 -12032 -12068 -12077 -12248 -12257 -12383 -12392 -12608 -12617 -11726 -11735 -11771 -11780 -11798 -11807 -11843 -11852 -11933 -11942 -12203 -12212 -11861 -11870 -11996 -12005 -12131 -12140 -12176 -12185 -12221 -12230 -12266 -12275 -12293 -12302 -12338 -12347 -12428 -12437 -12653 -12662 11102 11220 11240 11246 11288 -11108 11522 -11198 -11252 -11297 -11324 -11342 -11351 -11360 -11369 -11387 -11396 -11405 -11414 -11531 -11711 -11720 -11729 -11738 -12116 -12125 -12134 -12143 11113 11200 11257 11330 -11371 -11416 11375 11420 8728 -8557 -8602 -8647 -8692 -8719 -8737 -9079 -9097 -9196 -9205 -9214 -9232 -9349 -9367 -9394 -9412 -9421 -9430 -9439 -9457 -9466 -9484 -9493 -9502 -9511 -9529 -9538 -9547 -9601 -9619 -9628 -9637 -9826 -9844 -9853 -9862 8558 -9658 9973 -9298 -9307 -9523 -9532 -9667 -9793 -9802 -9811 -9838 -9847 -9856 -9883 -9892 -9901 -9910 -9919 -9946 -10045 -10054 -9671 -9959 -9299 -9300 9301 -9031 -9040 -9166 -9175 -9184 -9193 -9202 -9229 -9238 -9247 -9274 -9283 -9292 -9310 -9319 -9418 -9427 -9508 -9517 -9535 -9544 -9553 -9562 -9643 -9652 -9670 -9679 -9778 -9787 -9805 -9814 -9823 -9832 -9850 -9859 -9868 -9877 -9895 -9904 -9922 -9931 -9940 -9949 -9967 -9994 -10057 -10066 -10075 -10084 -10291 -9302 -9303 -9304 -9306 9685 -9235 -9244 -9262 -9271 -9460 -9469 -9487 -9496 -9550 -9559 -9577 -9586 -9595 -9604 -9622 -9631 -9649 -9676 -9694 -9721 -9757 -9874 -10009 -10036 -10252 9765 10260 -9261 -9270 -9486 -9495 -9576 -9585 -9594 -9621 -9630 -9639 -9648 -9657 -9684 -9693 -9702 -9720 -9729 -9873 -9882 -9945 -10008 -10017 -10035 -10080 -10152 -10530 -9686 -9687 -9688 -9689 -11304 11296 -11530 11538 10220 -9707 -9716 -9752 -9932 -9941 -10022 -10031 -10040 -10067 -10076 -10085 -10094 -10103 -10130 -10139 -10148 -10175 -10328 -10337 -10517 -10526 9943 10078 10093 10150 10327 10528 -9313 -9664 -9673 -9799 -9808 -9817 -9889 -9898 -9907 -9961 -9970 -9997 -10285 -10294 -9697 -9715 -9724 -9751 -9913 -10003 -10012 -10030 -10039 -10048 -10102 -10129 -10165 -10210 -10336 -10543 -10696 9718 9754 10033 10105 10133 10163 10208 10339 10541 10694 -9259 -9268 -9574 -9583 -9592 -9646 -9655 -9682 -9871 -9880 -10240 -10249 -10613 -10224 -11545 11542 -9560 -9561 -9565 -9566 -9253 -9254 -9257 -9255 -9258 9256 -9265 -9463 -9472 -9490 -9499 -9580 -9589 -9598 -9607 -9625 -9634 -9661 -9706 -9742 -9769 -9886 -10021 -10246 -8678 -8681 -8685 -9010 -9011 -9236 -9237 -9241 -9785 -9786 -9784 -9551 -9552 -9556 -9557 -9242 -9209 -9210 -9215 -9212 -9216 9211 -8698 -9085 -9220 -9328 -9400 -9409 -9445 -9454 -9526 -9616 -9841 -8659 8660 -8390 -8426 -8489 -8525 -8561 -8579 -8588 -8597 -8606 -8624 -8633 -8642 -8651 -8669 -8687 -8696 -8714 -8723 -8732 -8786 -8804 -8813 -8822 -8939 -8948 -8957 -9029 -9038 -9101 -9119 -9128 -9137 -9164 -9173 -9191 -9200 -9245 -9281 -9290 -9326 -9344 -9353 -9362 -9416 -9425 -9776 8393 8431 8490 8528 8603 8648 8693 8697 8738 9327 -9035 -9044 -9125 -9134 -9170 -9179 -9197 -9206 -9251 -9287 -9296 -9422 -9431 -9782 -9791 -9075 -9084 -9219 -9390 -9399 -9435 -9444 -9471 -9507 -9516 -9597 -9606 -9822 -9831 -9080 -9089 -9224 -9350 -9359 -9395 -9404 -9440 -9449 -9476 -9512 -9521 -9602 -9611 -9827 -9836 -9408 -9453 -9498 -9543 -9563 -9567 9564 -8673 -9015 -9024 -9033 -9051 -9123 -9141 -9150 -9159 -9168 -9186 -9195 -9213 -9222 -9231 -9240 -9267 -9276 -9285 -9312 -9321 -9420 -9438 -9447 -9456 -9483 -9492 -9555 -9573 -9582 -9591 -9618 -9627 -9636 -9645 -9654 -9681 -9735 -9744 -9771 -9780 -9798 -9807 -9816 -9870 -9879 9554 -9014 -9023 -9041 -9050 -9131 -9140 -9149 -9158 -9176 -9185 -9203 -9221 -9230 -9248 -9266 -9275 -9293 -9311 -9320 -9428 -9437 -9446 -9455 -9482 -9491 -9572 -9581 -9590 -9617 -9626 -9635 -9644 -9653 -9680 -9698 -9725 -9734 -9743 -9770 -9788 -9797 -9806 -9815 -9869 -9878 -10004 -10013 -10238 -10247 -9633 -9660 10245 -9246 -9273 -9462 -9480 -9570 -9588 -9615 -9642 -9669 -9678 -9723 -9732 -9768 -9867 -9885 -9894 -9903 -10002 -10236 10237 -9779 -9777 -9775 -9783 9781 -8683 -9043 -9052 -9133 -9142 -9178 -9187 -9223 -9250 -9277 -9295 -9322 -9448 -9790 8682 -9558 -9042 -9792 9789 -9528 -9537 -9663 -9672 -9843 -9852 -9861 -9888 -9897 -9906 -9032 -9188 9323 -8653 8652 -9030 -9039 -9165 -9174 -9192 -9201 -9282 -9291 -9417 -9426 9037 -8209 -8218 -8848 -8857 -8893 -8902 -8911 -8983 -8992 -9001 -9019 -9028 -9046 -9055 -9064 -9091 -9109 -9145 -9154 -9163 -9181 -9190 -9208 -9217 -9226 -9280 -9316 -9370 -9379 -9415 -9433 -9442 -9451 -9568 9034 9110 -8962 -9007 -9182 -9227 -9272 -9317 9183 -8211 -8220 -8850 -8859 -8895 -8904 -8985 -8994 -9012 -9021 -9057 -9066 -9102 -9147 -9156 -9264 -9309 -9372 -9381 8219 8903 9018 9020 9103 9155 -9632 9263 -8210 -8615 -8831 -8840 -8849 -8867 -8894 -8912 -8930 -8966 -8975 -8984 -9002 -9047 -9056 -9074 -9083 -9092 -9146 -9371 -9389 -9398 -9407 -8676 -9126 -9135 -9198 -9207 -9243 -9252 -9288 -9297 -9423 -9432 9638 -9461 -9470 -9479 -9497 -9569 -9587 -9596 -9605 -9614 -9641 -9659 -9668 -9677 -9722 -9731 -9767 -9866 -9884 -9893 -9902 -10001 -10262 8614 8901 8929 9153 9132 9194 9239 9249 9419 9571 9593 9613 9640 9675 9683 9728 9733 9773 9865 10000 10266 -9144 -9234 -9279 -9324 -8717 -8726 -9077 -9086 -9347 -9356 -9392 -9401 -9473 -9509 -9518 -9599 -9608 -9824 -9833 -9365 -9410 -9500 -9545 -9073 -9082 -9388 -9397 -9505 -9514 -9820 -9829 -9513 -9522 -9531 -9549 -9666 -9801 -9819 -9828 -9837 -9846 -9864 -9891 -9909 -9918 -9936 -9954 -9981 -10053 -10071 -10089 -10305 9662 -10081 -10171 -10225 9143 9278 9887 9933 10068 10297 -9284 -9536 -9851 -9860 -9896 -9905 -9923 -9950 -9968 -9995 -10058 -10292 10088 10232 9286 9900 9908 9966 10290 -9318 -9525 -9651 -9795 -9813 -9840 -9858 -9876 -9912 -9948 -9957 -9993 -10047 -10281 9650 9875 9958 9998 -9308 -9524 -9533 -9794 -9803 -9839 -9848 -9911 -9920 -10046 -10055 -9812 -9857 -9947 9315 9527 9796 9842 9914 10049 9818 9863 9953 -9218 9225 -8721 -9063 -9351 -9369 -9378 -9441 -9459 -9468 -9504 -9540 -9603 -9855 8718 -9834 9348 9534 9600 9849 -8727 -9060 -9069 -9087 -9096 -9204 -9357 -9366 -9375 -9384 -9402 -9411 -9429 -9474 -9519 -9546 -9609 -9501 9059 9088 9199 9368 9374 9403 9424 9503 -8636 -8834 -8843 -8861 -8870 -8879 -8951 -8960 -8969 -8978 -8996 -9005 -9068 -9095 -9167 -9383 -9467 -9406 -9541 -5507 -5741 -6020 -6065 -6110 -6155 -6182 -6227 -6317 -6506 8637 -8961 8878 8952 8963 9065 9169 9380 9413 -8628 -8835 -8844 -8853 -8871 -8889 -8943 -8970 -8979 -8988 -9006 -9078 -9177 -9393 -9434 -9443 -9506 -9515 -9821 -9830 -9452 -9542 8890 9076 9172 9391 9436 9450 9510 9520 9825 9835 9458 9548 -8672 8674 -9334 9335 -9475 9477 -5508 -5742 -6021 -6066 -6111 -6156 -6183 -6228 -6318 -6507 -8730 -8704 8705 9987 -9610 9612 -9711 9708 -9289 9294 -10056 10062 -10026 -10044 -10143 -10179 -10521 10023 10043 10140 10178 10518 -9478 9481 -5503 -5737 -6016 -6061 -6106 -6151 -6178 -6223 -6313 -6502 -9983 -9233 9228 -6428 6430 -5773 -5782 -6187 -6196 -6277 -6286 -6295 -6322 -6331 -6340 -6349 -6358 -6385 -6538 -6547 -7774 -7772 7770 -6681 -6690 -6699 -6717 -6924 -6951 -6969 -7077 -7185 -7194 -7203 -7221 -7230 -7257 -7275 -7302 -7320 -7356 -7392 -7419 -7500 -7761 7362 7506 -6705 -6714 -7209 -7218 -7227 -6964 -6409 -6411 -6413 -6415 6416 -5777 -5786 -5849 -5858 -5894 -6191 -6200 -6281 -6290 -6299 -6326 -6335 -6344 -6353 -6362 -6389 -6398 -6407 -6443 -6542 -6551 -6587 -6596 -6632 -6731 -6740 -6776 -6785 -6794 -6830 -6839 -6848 -6884 -6920 -6974 -7055 -7280 7052 -5864 -6602 -6746 -6800 -6854 -6890 -6926 -6980 -6989 -7025 -7079 -7088 -7232 7081 -6685 -6694 -6712 -6721 -6928 -6973 -7090 -7189 -7198 -7216 -7225 -7234 -7270 -7279 -7315 -7324 -7351 -7405 -7423 -7495 7086 7277 7346 7490 -6701 -6710 -6953 -6962 -7187 -7196 -7205 -7214 -7259 -7268 -7304 -7313 -7331 -7340 -7394 -7403 -7475 -7484 -7763 -6698 -6707 -7202 -7211 -7220 6955 6960 7261 7266 7306 7311 7396 7401 7765 -5866 -6604 -6748 -6775 -6802 -6829 -6856 -6883 -6892 -6919 -7027 -5862 -6600 -6744 -6771 -6798 -6825 -6852 -6879 -6888 -6915 -7023 -5867 5860 -5059 -5068 -5257 -5266 -5401 -5410 -5545 -5554 -5563 -5590 -5599 -5608 -5635 -5644 -5653 -5662 -5671 -5698 -5707 -5716 -5743 -5752 -5761 -5788 -5797 -5806 -5833 -5842 -5851 -5887 -5941 -5950 -6076 -6085 -6256 -6265 -6391 -6400 -6436 -6445 -6454 -6580 -6589 -6625 -6724 -6733 -6769 -6778 -6787 -6823 -6832 -6841 -6877 -6913 -6967 6773 6827 6881 6917 6971 -5063 -5072 -5261 -5270 -5405 -5414 -5549 -5558 -5594 -5603 -5639 -5648 -5666 -5675 -5711 -5720 -5756 -5765 -5801 -5810 -5846 -5855 -5945 -5954 -6080 -6089 -6260 -6269 -6449 -6458 -6728 -6737 -6782 -6791 -6836 -6845 -5774 -5783 -6188 -6197 -6278 -6287 -6323 -6332 -6350 -6359 -6395 -6404 -6539 -6548 -5819 -5828 -6233 -6242 -6368 -6377 -6467 -6476 -6512 -6521 -6557 -6566 -6584 -6593 -6638 -6647 -6683 -6692 -5749 -6352 -5754 -5818 -6703 -5830 -5827 6582 -5799 -5808 -5826 -5835 -6213 -6222 -6240 -6249 -6348 -6357 -6375 -6384 -6447 -6456 -6474 -6483 -6492 -6501 -6519 -6528 -6537 -6546 -6564 -6573 -6591 -6627 -6645 -6672 -6708 -6843 -6987 -7212 6595 6847 -5803 -5812 -5821 -5839 -6217 -6226 -6235 -6253 -6361 -6370 -6388 -6451 -6460 -6469 -6487 -6496 -6505 -6514 -6532 -6541 -6550 -6559 -6577 -6586 -6631 -6640 -6676 -6838 -6982 -7207 6629 6834 -6494 -6503 4069 -3610 -3619 -3628 -3646 -3835 -3844 -3853 -3871 -3925 -3934 -3943 -3961 -3970 -3979 -3988 -4006 -4015 -4033 -4042 -4051 -4060 -4078 -4087 -4096 -4105 -4123 -4132 -4141 -4240 -4258 -4267 -4276 -4303 -4312 -4375 -4393 -4402 -4411 -4438 -4447 -4465 -4474 -4510 -4519 -4564 -4573 -4609 -4627 -4636 -4645 -4699 -4708 -4843 -4852 -5086 -5095 5844 -5034 -5043 -5052 -5070 -5079 -5241 -5250 -5268 -5277 -5385 -5394 -5412 -5421 -5520 -5529 -5538 -5556 -5565 -5574 -5583 -5601 -5610 -5619 -5628 -5646 -5655 -5673 -5682 -5691 -5700 -5718 -5727 -5736 -5745 -5763 -5772 -5781 -5790 -5817 -5853 -5889 -5952 -5961 -5970 -5979 -6087 -6096 -6105 -6114 -6267 -6276 -6285 -6294 -6465 -6735 5857 6739 -5038 -5047 -5056 -5065 -5083 -5245 -5254 -5263 -5281 -5389 -5398 -5407 -5425 -5524 -5533 -5542 -5551 -5569 -5578 -5587 -5596 -5614 -5623 -5632 -5641 -5659 -5668 -5686 -5695 -5704 -5713 -5731 -5740 -5758 -5776 -5785 -5794 -5848 -5893 -5947 -5965 -5974 -5983 -6082 -6100 -6109 -6118 -6262 -6280 -6289 -6298 -6478 -6730 5891 6726 -5522 -5531 -5540 -5576 -5585 -5621 -5630 -5684 -5693 -5729 -5738 5757 -5037 -5046 -5055 -5073 -5082 -5244 -5253 -5271 -5280 -5388 -5397 -5415 -5424 -5523 -5532 -5541 -5559 -5568 -5577 -5586 -5604 -5613 -5622 -5631 -5649 -5658 -5676 -5685 -5694 -5703 -5721 -5730 -5739 -5748 -5766 -5775 -5784 -5793 -5811 -5820 -5829 -5838 -5874 -5955 -5964 -5973 -5982 -6090 -6099 -6108 -6117 -6189 -6198 -6270 -6279 -6288 -6297 -6324 -6333 -6351 -6360 -6459 -6468 -6477 -6486 -6540 -6549 -6756 5877 6759 -5067 -5076 -5265 -5274 -5409 -5418 -5553 -5562 -5571 -5598 -5607 -5616 -5643 -5652 -5661 -5670 -5679 -5706 -5715 -5724 -5751 -5760 -5769 -5796 -5805 -5814 -5841 -5949 -5958 -6084 -6093 -6264 -6273 -6453 -6462 -3620 -3621 3622 -3154 -3163 -3172 -3190 -3388 -3397 -3406 -3424 -3478 -3487 -3496 -3514 -3523 -3532 -3541 -3559 -3568 -3586 -3595 -3604 -3613 -3631 -3640 -3649 -3658 -3676 -3685 -3694 -3793 -3811 -3820 -3829 -3856 -3865 -3928 -3946 -3955 -3964 -3991 -4000 -4018 -4027 -4063 -4072 -4108 -4117 -4153 -4171 -4180 -4189 -4243 -4252 -4378 -4387 -4612 -4621 -3623 -3624 -3625 -3626 -3627 -5815 -5816 -5822 5823 -5832 -6219 -6246 -6255 -6354 -6363 -6381 -6390 -6480 -6489 -6498 -6525 -6534 -6543 -6552 -6570 -6579 -6615 -6660 -6696 -6723 -6867 -7002 -7200 6612 6657 6864 6999 -6234 -6243 -6369 -6378 -6513 -6522 -6531 -6558 -6567 -6576 -6684 -6693 -6720 -7188 -7197 -5762 6346 -5779 -5824 -6166 -6175 -6193 -6202 -6229 -6238 -6283 -6292 -6301 -6310 -6328 -6337 -6355 -6364 -6373 -6382 -6463 -6472 -6508 -6517 -6544 -6553 -6562 -6571 -6634 -6643 -6679 -6688 -6796 -6976 -6985 -7183 -7192 6356 6545 6803 -5753 -5771 -5789 -5825 -6167 -6176 -6185 -6203 -6230 -6239 -6257 -6266 -6275 -6293 -6302 -6311 -6320 -6338 -6347 -6365 -6374 -6383 -6464 -6473 -6509 -6518 -6536 -6554 -6563 -6572 -6680 -6689 -6815 -7184 -7193 -6482 -6527 -6716 5831 6535 6817 -5066 -5075 -5264 -5273 -5408 -5417 -5552 -5561 -5570 -5597 -5606 -5615 -5642 -5651 -5660 -5669 -5678 -5705 -5714 -5723 -5750 -5759 -5768 -5795 -5804 -5813 -5840 -5948 -5957 -6083 -6092 -6218 -6236 -6254 -6263 -6272 -6371 -6452 -6461 -6470 -6488 -6497 -6515 -6533 -6560 -6578 -6605 -6641 -6677 -6686 -6722 -6857 -6983 -7019 -7190 -7226 -6481 -6526 -6670 -6715 6598 6636 6850 6978 7016 6674 -3907 -3688 -6709 6711 6700 -6702 -6936 -7062 -7206 -7224 -7242 -7287 -7332 -7368 -7377 -7476 -7746 -6232 -6241 -6367 -6376 -6466 -6475 -6484 -6511 -6520 -6529 -6556 -6565 -6574 -6682 -6691 -6718 -6943 -7069 -7186 -7195 -7213 -7222 -7249 -7294 -7339 -7366 -7384 -7483 -7753 6939 7065 7204 7223 7245 7290 7330 7380 7474 7749 6471 6479 6485 6530 6575 6687 6695 6719 6941 7067 7191 7199 7215 7247 7292 7341 7382 7485 7751 -5495 -5504 -6008 -6017 -6053 -6062 -6098 -6107 -6143 -6152 -6170 -6179 -6215 -6224 -6305 -6314 -9464 -7325 -7370 -7424 9465 7322 7367 7421 -5478 -5487 -5496 -5514 -5712 -5991 -6000 -6009 -6027 -6036 -6045 -6054 -6072 -6081 -6126 -6135 -6144 -6162 -6171 -6207 -6216 -6252 -6306 -6342 -6495 6397 -5767 -6172 -6181 -6199 -6208 -6271 -6307 -6316 -6334 -6343 -6379 -6406 -6442 -6568 -6793 5764 6268 6380 6402 6569 6789 -5035 -5044 -5053 -5062 -5080 -5242 -5251 -5260 -5278 -5386 -5395 -5404 -5422 -5521 -5530 -5539 -5548 -5566 -5575 -5584 -5593 -5611 -5620 -5629 -5638 -5656 -5665 -5683 -5692 -5701 -5710 -5728 -5746 -5755 -5791 -5800 -5836 -5881 -5944 -5962 -5971 -5980 -6079 -6097 -6115 -6259 -6448 -6763 -6168 -6177 -6186 -6204 -6258 -6303 -6312 -6321 -6339 -6366 -6393 -6438 -6555 -6780 5792 5879 6261 6761 6180 6315 6372 6440 6561 6784 -5060 -5069 -5258 -5267 -5402 -5411 -5546 -5555 -5564 -5591 -5600 -5609 -5636 -5645 -5654 -5663 -5672 -5699 -5708 -5717 -5744 -5798 -5807 -5834 -5942 -5951 -6077 -6086 -6446 -6455 -6387 -5778 -5787 -6192 -6201 -6282 -6291 -6300 -6327 -6336 -6345 5567 5612 5657 5702 5709 5747 5802 5809 5837 6078 6450 6457 6386 5770 5780 6274 6284 6296 6341 -4532 -4541 -4550 -4586 -4595 -4766 -4775 -4784 -4820 -4829 -4865 -4874 -4883 -4919 -4928 -4937 -4955 -4964 -4982 -4991 -5000 -5036 -5045 -5054 -5108 -5117 -5153 -5162 -5180 -5198 -5207 -5243 -5252 -5288 -5297 -5306 -5342 -5351 -5009 -5018 -5216 -5225 -5315 -5324 -5360 -5369 -5387 -5396 -5432 -5441 -5477 -5486 -5900 -5909 -6035 -6044 -5450 -5459 -5918 -5927 -5963 -5972 -5990 -5999 -6125 -6134 -5493 -5502 -6006 -6015 -6051 -6060 -6141 -6150 -6069 -6159 -3169 -3170 -3171 -3173 -3174 3175 -2158 -2167 -2446 -2455 -2608 -2617 -2851 -2860 -2941 -2950 -2959 -2986 -2995 -3004 -3040 -3049 -3058 -3085 -3094 -3103 -3112 -3121 -3148 -3157 -3166 -3184 -3193 -3202 -3211 -3238 -3346 -3355 -3391 -3400 -3418 -3427 -3481 -3490 -3508 -3517 -3526 -3535 -3553 -3562 -3580 -3589 -3598 -3607 -3634 -3643 -3652 -3670 -3679 -3697 -3706 -3715 -3805 -3814 -3823 -3832 -3940 -3949 -3958 -3967 -4165 -4174 -4183 -4192 -3176 -3177 3862 -3214 -3223 -3448 -3457 -3583 -3592 -3718 -3727 -3736 -3763 -3772 -3781 -3808 -3817 -3826 -3880 -3889 -3916 -4195 -4204 5391 -4986 -4995 -5004 -5022 -5031 -5202 -5211 -5229 -5238 -5292 -5301 -5310 -5328 -5337 -5346 -5355 -5373 -5382 -5400 -5427 -5445 -5454 -5463 -5472 -5490 -5499 -5517 -5634 -5913 -5922 -5931 -5940 -6048 -6057 -6075 3898 -3655 -3664 -3682 -3691 -4024 -4150 -4159 -4177 -4186 -4222 -4231 -4249 -4294 -4321 -4339 -4348 -4357 -4366 -4429 -4456 -4663 -4672 -4681 -4690 -3683 3684 -3180 -3405 -3414 -3495 -3504 -3513 -3540 -3549 -3558 -3567 -3576 -3603 -3612 -3648 -3657 -3666 -3675 -3693 -3792 -3801 -3882 -3891 -3900 -3918 -3927 -3936 -4017 -4026 -4035 -4053 -4152 -4161 -4170 -4188 -4197 -4206 -4215 -4233 -4242 -4251 -4260 -4278 -4287 -4305 -4314 -4323 -4332 -4350 -4359 -4368 -4422 -4440 -4449 -4458 -4656 -4674 -4683 -4692 -3686 -3687 -3689 -3690 -4104 -4097 -4205 -4207 -4208 4209 -3201 -3210 -3219 -3237 -3435 -3444 -3453 -3471 -3570 -3579 -3588 -3606 -3678 -3705 -3714 -3723 -3741 -3750 -3759 -3768 -3786 -3795 -3804 -3813 -3831 -3840 -3858 -3867 -3876 -3885 -3903 -3912 -3921 -3975 -3993 -4002 -4011 -4038 -4047 -4173 -4182 -4191 -4200 -4218 -4227 -4236 -4263 -4272 -4281 -4290 -4299 -4326 -4335 -4344 -4371 -4425 -4434 -4659 -4668 -4210 -4211 -4212 -4101 4130 -3635 -3644 -3860 -3869 -3950 -3959 -3968 -3995 -4004 -4013 -4022 -4031 -4058 -4067 -4076 -4103 -4112 -4121 -4139 -4148 -4247 -4256 -4337 -4346 -4364 -4373 -4382 -4391 -4472 -4481 -4499 -4508 -4616 -4625 -4643 -4652 -4661 -4670 -4688 -4697 -4706 -4715 -4733 -4742 -4760 -4769 -4778 -4787 -4796 -4814 -4823 -4832 -4841 -4913 -4922 -4931 -4940 -4949 -5147 -5156 -5165 -5174 -3178 -4160 -4162 -4163 -4164 -4166 4167 -3159 -3168 -3195 -3393 -3402 -3411 -3429 -3483 -3492 -3501 -3519 -3528 -3537 -3546 -3564 -3573 -3591 -3600 -3609 -3618 -3636 -3645 -3654 -3663 -3681 -3699 -3798 -3816 -3825 -3834 -3906 -3915 -3933 -3951 -3960 -3969 -4041 -4050 -4158 -4176 -4185 -4194 -4221 -4230 -4239 -4266 -4275 -4284 -4293 -4302 -4329 -4338 -4347 -4374 -4428 -4437 -4662 -4671 -4151 -4154 -4155 4156 -3904 -3913 -4039 -4048 -4219 -4228 -4237 -4264 -4273 -4282 -4291 -4300 -4327 -4336 -4345 -4372 -4426 -4435 -4660 -4669 -4157 -4099 4201 -3229 -3436 -3445 -3463 -3472 -3571 -3733 -3742 -3751 -3760 -3778 -3787 -3796 -3850 -3859 -3868 -3877 -3895 -3922 -3985 -3994 -4003 -4012 -3403 -3404 -3408 -3410 -4106 -4107 -4111 -4109 -4110 4113 -3843 -3852 -3870 -3879 -3942 -3978 -3987 -4005 -4014 -4032 -4059 -4077 -4086 -4095 -4122 -4131 -4140 -4149 -4257 -4356 -4365 -4392 -4401 -4410 -4419 -4491 -4500 -4626 -4635 -4644 -4653 -4680 -4689 -4725 -4734 -4752 -4761 -4806 -4815 -4905 -4914 -5139 -5148 3909 -3216 -3225 -3450 -3459 -3585 -3594 -3720 -3729 -3738 -3765 -3774 -3783 -3810 -3819 -3828 -3837 -3846 -3873 -3972 -3981 -4098 -3584 -3587 3590 -3185 -3203 -3212 -3230 -3239 -3419 -3437 -3446 -3464 -3473 -3500 -3509 -3518 -3545 -3554 -3563 -3572 -3581 -3599 -3608 -3617 -3653 -3662 -3671 -3698 -3707 -3716 -3734 -3743 -3752 -3761 -3779 -3788 -3797 -3806 -3824 -3833 -3851 -3878 -3896 -3905 -3914 -3923 -3932 -3941 -3986 -4220 -4229 -4238 -4102 4100 -3632 -3641 -3857 -3866 -3929 -3938 -3947 -3956 -3974 -3983 -3992 -4001 -4019 -4028 -4037 -4046 -4064 -4073 -4082 -4091 -4118 -4127 -4136 -4244 -4253 -4307 -4316 -4379 -4388 -4397 -4406 -4442 -4451 -4469 -4478 -4514 -4523 -4568 -4577 -4613 -4622 -4703 -4712 -4847 -4856 -5090 -5099 4330 -4483 -4492 -4717 -4726 -4744 -4753 -4798 -4807 -4897 -4906 -5131 -5140 -4331 -4333 3565 -3151 -3160 -3187 -3385 -3394 -3412 -3421 -3475 -3484 -3502 -3511 -3520 -3529 -3547 -3556 -3574 -3601 -3637 -3673 -3799 -3952 -4168 4489 -4084 -4093 -4120 -4138 -4147 -4309 -4318 -4363 -4399 -4408 -4417 -4444 -4453 -4462 -4471 -4480 -4498 -4507 -4516 -4525 -4561 -4570 -4579 -4606 -4615 -4624 -4642 -4651 -4687 -4696 -4705 -4714 -4732 -4741 -4759 -4768 -4777 -4786 -4795 -4813 -4822 -4831 -4840 -4849 -4858 -4912 -4921 -4930 -4939 -4948 -5092 -5101 -5146 -5155 -5164 -5173 4062 -3639 -3864 -3954 -3963 -3999 -4008 -4044 -4071 -4080 -4089 -4116 -4125 -4134 -4143 -4269 -4386 -4395 -4404 -4413 -4467 -4476 -4512 -4521 -4566 -4575 -4620 -4629 -4638 -4647 -4701 -4710 -4845 -4854 -5088 -5097 -4034 -4036 4040 -3887 -4049 -4184 -4193 -4202 -4274 -4283 -4301 -4310 -4319 -4328 -4355 -4436 -4445 -4454 -4463 -4679 -4334 -3971 -3973 -4126 -4477 -4250 -4255 4254 -3615 -3633 -3651 -3849 -3930 -3939 -3948 -3966 -3984 -4020 -4056 -4065 -4083 -4092 -4128 -4137 -4146 -4245 -4380 -4398 -4407 -4416 -4614 -4632 -4641 -4650 4045 -3667 -3883 -3892 -3901 -3919 -4009 -4054 -4144 -4198 -4216 -4234 -4261 -4279 -4288 -4306 -4315 -4324 -4351 -4360 -4369 -4423 -4441 -4450 -4459 -4657 -4675 -4684 -4693 3977 -4457 -4461 -3179 3181 -2155 -2164 -2443 -2452 -2605 -2614 -2848 -2857 -2938 -2947 -2956 -2983 -2992 -3001 -3037 -3046 -3055 -3082 -3091 -3100 -3109 -3118 -3145 -3199 -3208 -3235 -3343 -3352 -3703 -3712 -3182 -3183 -3186 -3854 -3449 -3451 -3452 -3455 3415 -2686 -2695 -2893 -2902 -3127 -3136 -3271 -3280 -3289 -3316 -3325 -3334 -3361 -3370 -3379 -3433 -3442 -3469 -3748 -3757 -3413 -3417 -3420 -4515 -3407 3409 -2689 -2698 -2896 -2905 -3130 -3139 -3274 -3283 -3292 -3319 -3328 -3337 -3364 -3373 -3382 -4317 -4320 4313 -3674 -3899 -3908 -4043 -4061 -4070 -4079 -4169 -4178 -4187 -4214 -4223 -4232 -4259 -4268 -4277 -4286 -4295 -4304 -4322 -4340 -4367 -4376 -4385 -4394 -4412 -4421 -4430 -4439 -4466 -4484 -4493 -4502 -4511 -4529 -4538 -4547 -4556 -4565 -4583 -4592 -4601 -4655 -4664 -4700 -4718 -4727 -4736 -4844 -4862 -4871 -4880 -4889 -5087 -5105 -5114 -5123 4190 4235 4280 4325 4370 -3416 -3497 -3506 -3542 -3551 -3569 -3578 -3614 -3659 -3668 -3677 -3794 -3803 -3902 -3911 -4172 -4181 -4199 -4217 -4226 -4262 -4271 -4289 -4298 -4343 -4352 -4361 -4424 -4433 -4658 -4667 -3218 -3227 -3461 -3596 -3722 -3731 -3767 -3776 -3812 -3821 -3839 -3848 -3884 -3893 -4487 -4496 -4631 -4640 -4676 -4685 -4721 -4730 -4748 -4757 -4802 -4811 -4901 -4910 -5135 -5144 3680 4175 4179 4213 4265 4270 4654 -4735 -4789 -4834 3124 -2152 -2161 -2440 -2449 -2602 -2611 -2656 -2665 -2674 -2692 -2701 -2845 -2854 -2872 -2881 -2899 -2908 -2935 -2944 -2953 -2980 -2989 -2998 -3034 -3043 -3052 -3079 -3088 -3097 -3106 -3115 -3133 -3142 -3196 -3205 -3232 -3241 -3250 -3259 -3277 -3286 -3295 -3304 -3322 -3331 -3340 -3349 -3367 -3376 -3439 -3466 -3538 -3700 -3709 -3754 -3980 3982 -3217 -3577 -3721 -3739 -3766 -3784 -3802 -3838 -3874 -3910 -4225 4224 -3215 -3221 -3222 3220 3430 -3431 -3434 -3438 -4853 -4907 -4482 5041 -4528 -4546 -4555 -4591 -4600 -4762 -4780 -4825 -4861 -4879 -4888 -4915 -4933 -4942 -4951 -4960 -4969 -4978 -4996 -5005 -5014 -5023 -5032 -5050 -5077 -5113 -5122 -5158 -5167 -5176 -5203 -5212 -5221 -5230 -5248 -5275 -5284 -5302 -5311 -5320 -5329 -5347 -5356 -5365 -5374 -5518 -5536 -5581 -5048 -4860 -4857 -4495 -4859 4855 -4081 -4297 -4396 -4414 -4432 -4468 -4486 -4504 -4513 -4531 -4540 -4549 -4558 -4567 -4585 -4594 -4603 -4702 -4720 -4729 -4738 -4765 -4774 -4783 -4819 -4828 -4846 -4864 -4873 -4882 -4891 -4918 -4927 -4936 -4945 -4954 -4963 -4972 -4981 -4990 -4999 -5026 -5089 -5107 -5116 -5125 -5152 -5161 -5179 -5197 -5206 -5287 -5296 -5305 -5341 -5350 4085 4296 4400 4431 -4094 -4292 -4409 -4418 -4427 -4490 -4526 -4535 -4544 -4553 -4562 -4580 -4589 -4598 -4607 -4724 -4868 -4877 -4886 -4895 -5102 -5111 -5120 -5129 -4503 -4557 -4602 4285 4415 4420 -4501 -5058 -4494 4497 -4119 -4308 -4353 -4443 -4452 -4470 -4479 -4488 -4506 -4524 -4560 -4569 -4578 -4605 -4623 -4677 -4695 -4704 -4713 -4722 -4740 -4749 -4767 -4776 -4785 -4794 -4803 -4821 -4830 -4839 -4848 -4902 -4920 -4929 -4938 -4947 -5091 -5100 -5136 -5154 -5163 -5172 4311 4446 4473 4475 4707 -4068 -4383 -4455 -4464 -4509 -4527 -4536 -4545 -4554 -4563 -4581 -4590 -4599 -4608 -4716 -4743 -4869 -4878 -4887 -4896 -5103 -5112 -5121 -5130 -4124 -4133 -4349 -4358 -4628 -4637 -4673 -4682 -4745 -4754 -4799 -4808 -4898 -5132 -5141 -4698 -4797 -4842 4448 4460 4505 4559 4604 4135 4354 4362 4639 4678 4686 -4342 -4630 -4648 -4666 -4711 -4747 -4792 -4801 -4837 -4900 -5134 -5170 4341 4665 4709 -4485 -4719 -4728 -4746 -4755 -4800 -4809 -4899 -4908 -5133 -5142 -4737 -4791 -4836 -4646 -4691 -4790 -4835 4723 4731 4739 4649 4694 4793 4838 -4773 4534 -4543 -4552 -4588 -4597 -4750 -4876 -4885 -4894 -4903 -4966 -4975 -4993 -5002 -5011 -5020 -5029 -5074 -5110 -5119 -5182 -5200 -5209 -5299 -5308 -5317 -5326 -5335 -5344 -5353 -5560 4751 4904 5071 5557 -4958 -4967 -4985 -4994 -5003 -5039 -5057 -5183 -5201 -5210 -5246 -5255 -5291 -5300 -5309 -5345 -5354 -5525 -5534 -5543 -5579 -5588 -4976 -5030 -5084 5051 -4520 -4574 -4763 -4772 -4817 -4916 -4925 -4943 -4952 -4970 -4979 -4988 -5006 -5015 -5024 -5033 -5042 -5078 -5096 -5150 -5168 -5186 -5195 -5213 -5222 -5231 -5240 -5276 -5285 -5294 -5312 -5321 -5330 -5339 -5357 -5366 -5375 -5519 -5528 -5573 4522 4576 -4779 5040 5098 5526 4771 -4518 -4788 -4824 -4833 -4851 -4932 -4941 -4950 -4968 -4977 -5013 -5049 -5085 -5157 -5166 -5184 -5247 -5256 -5319 -5535 -5544 -5580 -5589 -5188 -5233 4517 4850 5081 5239 5249 5527 5537 5572 5582 -5185 -4782 4781 4377 -4533 -4381 4088 -3629 -3638 -3863 -3944 -3953 -3962 -3989 -3998 -4007 -4016 -4025 -4052 -4115 -4142 -4241 -4610 -4619 3630 3642 3945 3957 3965 3997 4010 4114 4145 4618 -3498 -3507 -3516 -3543 -3552 -3561 -3660 -3669 -3696 -4075 3872 -3224 -3458 -3593 -3701 -3710 -3719 -3728 -3746 -3755 -3764 -3773 -3791 -3800 -3809 -3818 -3836 -3845 -3881 -3890 -4196 3597 3790 3807 3815 3822 3847 -3231 -3456 -3465 -3726 -3735 -3744 -3771 -3780 -3789 -3888 -3897 -3924 -4203 3454 3886 3894 -3875 -3740 3737 -2153 -2162 -2441 -2450 -2603 -2612 -2846 -2855 -2936 -2945 -2981 -2990 -3035 -3044 -3080 -3089 -3107 -3116 -3152 -3161 -3197 -3206 -3341 -3350 -3476 -3485 -3785 3782 -2684 -2693 -2891 -2900 -3125 -3134 -3269 -3278 -3314 -3323 -3359 -3368 -3386 -3395 -3440 -3521 -3530 -3198 -3200 3204 -2142 -2151 -2169 -2178 -2430 -2439 -2457 -2466 -2583 -2592 -2601 -2619 -2628 -2835 -2844 -2862 -2871 -2925 -2934 -2952 -2961 -2970 -2979 -2997 -3006 -3015 -3024 -3033 -3051 -3060 -3069 -3078 -3096 -3105 -3123 -3132 -3141 -3150 -3213 -3240 -3357 -3366 -3375 -3384 -3510 -3717 3745 -3749 -3753 -3976 -4074 -3855 3861 -4090 -4539 -4548 4551 -4542 -4587 -4758 -4812 -4866 -4875 -4893 -4911 -4956 -4974 -4983 -4992 -5010 -5019 -5028 -5064 -5109 -5127 -5145 -5190 -5199 -5217 -5226 -5235 -5262 -5289 -5298 -5316 -5325 -5334 -5343 -5361 -5370 -5379 -5550 -5595 4537 4756 4810 4909 5061 5143 5259 5547 5592 -4530 -4584 -4593 -4764 -4818 -4827 -4863 -4872 -4881 -4890 -4917 -4926 -4935 -4944 -4953 -4962 -4971 -4980 -4989 -4998 -5025 -5106 -5115 -5151 -5160 -5178 -5196 -5205 -5286 -5295 -5304 -5340 -5349 -5124 -5169 -5187 -5232 4582 4596 4770 4816 4826 4867 4870 4884 4892 4923 4924 4934 4946 4973 4984 4987 5027 5104 5118 5149 5159 5194 5290 5293 5338 -5218 -5227 -5362 -5371 -5434 -5443 -5479 -5488 -5902 -5911 -6037 -6046 -5383 -5392 -5428 -5437 -5473 -5482 -5617 -5626 -5896 -5905 -6031 -6040 -5380 -5470 -5515 -5419 -5464 -5509 -5722 5719 -5494 -6007 -6052 -6142 -6169 -6214 -6304 -6493 -7228 7235 -6922 6929 -8128 8129 -8115 -7142 7145 -6992 -7028 6991 7021 -10377 10369 -10010 10011 10108 -2325 -2330 -2361 -2331 -2428 -2422 -2323 -2324 -2326 -2327 2328 -1644 -1653 -1662 -1680 -1689 -1851 -1860 -1878 -1887 -1995 -2004 -2022 -2031 -2058 -2067 -2076 -2112 -2121 -2184 -2193 -2202 -2220 -2229 -2238 -2247 -2265 -2274 -2283 -2292 -2310 -2319 -2337 -2346 -2355 -2364 -2373 -2391 -2400 -2409 -2418 -2436 -2445 -2454 -2463 -2490 -2499 -2508 -2535 -2544 -2553 -2562 -2571 -2580 -2589 -2598 -2634 -2643 -2661 -2670 -2679 -2733 -2742 -2769 -2778 -2787 -2796 -2805 -2814 -2832 -2841 -2877 -2886 -2976 -2985 -2994 -3003 -3012 -3021 -3030 -3066 -3075 -3246 -3255 -3264 -3300 -3309 -2329 -10639 10643 -10553 -10598 10601 -2332 -2423 -2426 -2427 -2429 -2685 -2021 -2023 -2362 -2017 -2366 -2340 2669 -2039 -2048 -2057 -2075 -2084 -2093 -2102 -2120 -2129 -2336 -2345 -2363 -2372 -2381 -2390 -2408 -2417 -2471 -2480 -2489 -2507 -2516 -2525 -2534 -2543 -2561 -2570 -2579 -2597 -2606 -2615 -2624 -2633 -2651 -2660 -2678 -2687 -2696 -2705 -2714 -2723 -2741 -2750 -2759 -2768 -2786 -2795 -2804 -2822 -2840 -2849 -2858 -2867 -2885 -2894 -2903 -2912 -3011 -3029 -3038 -3047 -3056 -3074 -3083 -3092 -3101 -3128 -3137 -3245 -3263 -3272 -3281 -3290 -3308 -3317 -3326 -3335 -3362 -3371 -3389 -3398 -3443 -3524 -3533 -3758 -2352 -2434 -2018 -2019 -2025 -2333 -2335 -2338 -2014 -2008 -2350 2425 -1642 -1651 -1660 -1678 -1687 -1849 -1858 -1876 -1885 -1993 -2002 -2020 -2029 -2182 -2191 -2200 -2218 -2227 -2236 -2245 -2263 -2272 -2281 -2290 -2308 -2317 -2344 -2353 -2371 -2389 -2398 -2407 -2416 -2461 -2533 -2542 -2551 -2560 -2569 -2767 -2776 -2785 -2794 -2974 2024 -1619 -1628 -1646 -1655 -1664 -1673 -1691 -1826 -1835 -1853 -1862 -1871 -1889 -1925 -1934 -1943 -1970 -1979 -1988 -1997 -2006 -2015 -2033 -2042 -2051 -2087 -2096 -2105 -2132 -2141 -2150 -2177 -2186 -2195 -2204 -2213 -2231 -2240 -2249 -2258 -2276 -2285 -2294 -2303 -2321 -2348 -2357 -2375 -2384 -2402 -2411 -2420 -2447 -2456 -2465 -2474 -2483 -2528 -2546 -2555 -2564 -2573 -2717 -2726 -2762 -2780 -2789 -2798 -2924 -2933 -2969 -2987 -2996 -3005 2690 -2060 -2069 -2078 -2114 -2123 -2492 -2501 -2510 -2519 -2582 -2591 -2600 -2627 -2636 -2645 -2654 -2663 -2672 -2681 -2699 -2708 -2735 -2744 -2807 -2816 -2834 -2843 -2879 -2888 -2906 -2915 -3014 -3023 -3032 -3068 -3077 -3113 -3122 -3140 -3149 -3248 -3257 -3266 -3284 -3293 -3302 -3311 -3329 -3338 -3347 -3356 -3374 -3383 -3401 -3428 -3536 -3770 3769 2448 -1674 -1683 -1872 -1881 -2016 -2214 -2223 -2232 -2259 -2268 -2277 -2304 -2313 -2322 -2376 -2385 -2394 -2421 -2529 -2538 -2763 -2772 2433 -1641 -1650 -1659 -1668 -1686 -1848 -1857 -1866 -1884 -1992 -2001 -2010 -2028 -2154 -2163 -2181 -2190 -2199 -2208 -2226 -2235 -2244 -2253 -2271 -2280 -2289 -2298 -2316 -2343 -2370 -2379 -2397 -2406 -2415 -2424 -2442 -2451 -2460 -2523 -2541 -2550 -2559 -2568 -2604 -2613 -2757 -2775 -2784 -2793 -2847 -2856 -2937 -2946 -2964 -2982 -2991 -3000 -3036 -3045 -3081 -3090 -3108 -3117 -3153 -3162 -3207 -3342 -3351 -3477 -3486 -3702 -3711 2453 2993 3209 3713 -1670 -1679 -1868 -1877 -2012 -2138 -2147 -2156 -2174 -2210 -2219 -2228 -2255 -2264 -2273 -2300 -2309 -2318 -2435 -2444 -2462 -2588 -2831 -2921 -2930 -2939 -2957 -2966 -2975 -2984 -3002 -3020 -3065 -3110 -3146 -3155 -3191 -3236 -3344 -3380 -3479 -3515 -3704 -3830 -3920 2988 2999 3512 3708 3827 3917 -1667 -1676 -1865 -1874 -2009 -2207 -2216 -2252 -2261 -2297 -2306 -2378 -2387 -2432 -2522 -2531 -2756 -2765 -2918 -2927 -2963 -2972 -3008 -3017 -3026 -3062 -3071 -3494 -3503 -3539 -3548 -3566 -3575 -3611 -3656 -3665 -3926 -3935 3505 3544 3582 3616 3661 3931 3672 3937 -4021 -4030 -4066 -4246 -4390 -4057 4023 4029 4248 4055 -2047 2359 -1666 -1675 -1864 -1873 -2035 -2044 -2053 -2062 -2080 -2089 -2098 -2107 -2125 -2206 -2215 -2224 -2251 -2260 -2269 -2296 -2305 -2314 -2341 -2368 -2377 -2386 -2395 -2413 -2431 -2458 -2467 -2476 -2485 -2494 -2512 -2521 -2530 -2539 -2548 -2566 -2575 -2584 -2620 -2629 -2638 -2683 -2710 -2719 -2728 -2746 -2755 -2764 -2773 -2791 -2800 -2809 -2827 -2863 -2890 -2962 -2971 -3007 -3016 -3061 -3268 -3313 -2360 -2365 -2367 2586 -2037 -2046 -2055 -2073 -2082 -2091 -2100 -2118 -2127 -2334 -2388 -2469 -2478 -2487 -2505 -2514 -2532 -2577 -2595 -2622 -2631 -2649 -2658 -2676 -2694 -2703 -2712 -2721 -2739 -2748 -2766 -2802 -2820 -2838 -2865 -2883 -2892 -2901 -2910 -3009 -3027 -3054 -3072 -3099 -3243 -3261 -3270 -3279 -3288 -3306 -3315 -3324 -3333 2339 -2659 -2680 -2050 -2005 -2342 2347 -1672 -1681 -1870 -1879 -2041 -2068 -2077 -2086 -2113 -2122 -2212 -2221 -2230 -2257 -2266 -2275 -2302 -2311 -2320 -2356 -2374 -2383 -2392 -2401 -2410 -2419 -2437 -2464 -2473 -2482 -2500 -2509 -2518 -2527 -2536 -2554 -2563 -2572 -2590 -2599 -2626 -2644 -2653 -2671 -2707 -2734 -2743 -2761 -2770 -2779 -2788 -2815 -2824 -2833 -2842 -2878 -2887 -2968 -2977 -3022 -3031 -3067 -3076 -3256 -3265 -3301 -3310 2225 2270 2315 2369 2393 2414 2459 2537 2771 -1136 -1145 -1154 -1190 -1199 -1370 -1379 -1388 -1424 -1433 -1469 -1478 -1487 -1523 -1532 -1541 -1559 -1568 -1586 -1595 -1604 -1640 -1649 -1658 -1712 -1721 -1757 -1766 -1784 -1802 -1811 -1847 -1856 -1892 -1901 -1910 -1946 -1955 -2180 -2189 -2198 -2234 -2243 -2279 -2288 -2351 -2396 -2405 -1613 -1622 -1820 -1829 -1919 -1928 -1964 -1973 -1991 -2000 -2036 -2045 -2090 -2099 -2135 -2144 -2468 -2477 -2711 -2720 -2054 -2063 -2072 -2108 -2117 -2486 -2495 -2504 -2540 -2549 -2558 -2576 -2585 -2594 -2630 -2639 -2657 -2666 -2675 -2729 -2738 -2774 -2783 -2801 -2810 -2828 -2837 -2873 -2882 -3242 -3251 -3260 -3296 -3305 -2753 -2825 -2870 -2349 1999 -1585 -1594 -1603 -1612 -1630 -1801 -1810 -1819 -1837 -1891 -1900 -1909 -1918 -1936 -1945 -1954 -1963 -1981 -1990 -2026 -2071 -2116 -2134 -2170 -2278 -2503 -2737 -2917 2662 -2587 2596 -2038 -2056 -2065 -2083 -2092 -2101 -2110 -2128 -2380 -2470 -2479 -2488 -2497 -2515 -2524 -2578 -2623 -2632 -2641 -2650 -2668 -2704 -2713 -2722 -2731 -2749 -2758 -2803 -2812 -2830 -2866 -2875 -2911 -3010 -3019 -3064 -3244 -3253 -3298 2382 2526 2581 2760 2829 3013 3018 3063 -2517 -2625 -2652 -2706 -2751 -2823 -2868 -2913 -2955 -3144 -3189 -3234 2621 3233 2354 -2358 2677 2049 -1590 -1599 -1608 -1617 -1635 -1806 -1815 -1824 -1842 -1896 -1905 -1914 -1923 -1941 -1950 -1959 -1968 -1986 -2013 -2040 -2085 -2094 -2130 -2139 -2157 -2166 -2175 -2301 -2472 -2715 -2922 -2940 -2949 -2958 2011 2043 2299 2475 -1615 -1624 -1822 -1831 -1921 -1930 -1939 -1966 -1975 -1984 -2137 -2146 -2173 -2920 -2929 -1593 -1602 -1611 -1629 -1638 -1809 -1818 -1836 -1845 -1899 -1908 -1917 -1935 -1944 -1953 -1962 -1980 -1989 -2007 -2034 -2052 -2061 -2070 -2079 -2088 -2106 -2115 -2124 -2133 -2160 -2295 -2403 -2412 -2484 -2493 -2502 -2511 -2520 -2547 -2556 -2565 -2637 -2646 -2664 -2673 -2682 -2727 -2736 -2745 -2754 -2781 -2790 -2808 -2817 -2880 -2889 -2943 -3249 -3258 -3267 -3303 -3312 -2574 -2655 -2709 2059 2074 2081 2119 2159 2399 2404 2481 2491 2506 2513 2545 2552 2557 2635 2740 2777 2782 2806 2884 2942 3247 3262 3307 2567 2702 -1618 -1627 -1825 -1834 -1924 -1933 -1942 -1969 -1978 -1987 -1996 -2032 -2095 -2104 -2131 -2140 -2149 -2176 -2284 -2293 -2716 -2725 -2923 -2932 -2168 -2438 -2618 -2861 -2951 -2960 -2978 -3050 -3059 -3095 -3104 -3131 -3167 -3194 -3365 -3491 -3725 -2647 -2821 -2818 -2752 -2797 -2869 -2914 2097 2103 2126 2136 2718 2724 2919 2165 2616 2859 2948 2954 2973 3048 3093 3724 2648 2747 2864 -1587 -1596 -1605 -1623 -1632 -1803 -1812 -1830 -1839 -1893 -1902 -1911 -1929 -1938 -1947 -1956 -1974 -1983 -2064 -2109 -2145 -2172 -2307 -2496 -2730 -2928 -2799 -2826 -2916 -1616 -1625 -1823 -1832 -1922 -1931 -1940 -1967 -1976 -1985 -1994 -2003 -2030 -2282 -2291 -2148 -2607 -2850 -2931 -2967 -3039 -3057 -3084 -3102 -3111 -3129 -3138 -3147 -3156 -3192 -3228 -3345 -3363 -3372 -3381 -3480 -3732 1937 1982 2066 2111 2143 2171 2312 2498 2732 2926 2792 2819 2909 1998 2027 2286 2287 2965 3053 3098 3114 3135 3143 3158 3188 3226 3348 3369 3482 3730 -2691 -2700 -2898 -2907 -3276 -3285 -3321 -3330 -3447 -3762 -2667 -2874 -3126 -3252 -3297 -3360 -3378 -3387 -3423 -3432 -3468 -3522 -3747 -3294 -3339 -3474 2697 2904 3282 3327 3441 3756 2876 3254 3299 3358 3377 -2688 -2895 -3120 -3273 -3291 -3318 -3336 -3354 -3390 -3426 -3462 -3525 -3777 -3425 -3470 2897 3119 3275 3287 3320 3332 3353 3392 3422 3460 3527 3775 3467 9624 -9623 -5732 -6245 6244 -5497 -5506 -6010 -6019 -6055 -6064 -6073 -6145 -6154 -6163 -6426 6423 -5413 5416 -3396 3399 3557 3534 3692 -3695 -3560 -3531 -3489 3488 -3605 -3650 3602 3647 -4997 5001 -5433 -5442 -5901 -5910 -5384 -5393 5399 -5012 -5219 -5237 -5318 -5336 -5363 -5381 -5390 -5426 -5435 -5453 -5462 -5471 -5480 -5498 -5516 -5624 -5903 -5921 -5930 -5939 -6038 -6056 -6074 -6194 6195 5491 -5500 -5734 -5986 -5995 -6013 -6022 -6058 -6067 -6103 -6112 -6121 -6130 -6148 -6157 -6184 -6220 -6247 -6319 -6499 5735 6104 6190 6325 -5474 -5483 -5492 -5510 -5726 -5987 -5996 -6005 -6023 -6032 -6041 -6050 -6068 -6095 -6113 -6122 -6131 -6140 -6158 -6212 -6248 -6329 -6491 -9488 6049 6211 6330 6490 9489 -5007 5008 -5017 -5224 -5323 -5332 -5368 -5377 -5440 -5449 -5458 -5467 -5485 -5512 -5647 -5908 -5917 -5926 -5935 -6043 -6070 5650 6071 -5016 5021 -8608 8607 -6619 6617 -6231 6237 -5733 -6012 -6102 -6120 -6147 -6165 -6174 -6210 -6309 5725 6173 6308 -5489 -5993 -6002 -6029 -6047 -6119 -6128 -6137 -6164 -6209 -6524 5484 6042 6116 6523 -5214 -5313 -5331 -5358 -5376 -5403 -5430 -5448 -5457 -5466 -5475 -5511 -5637 -5898 -5916 -5925 -5934 -6033 5314 5333 5378 5406 5513 5640 -5469 -5674 5677 -5452 -5461 -5920 -5929 -5992 -6001 -6127 -6136 -6004 6011 -5687 -5696 -5966 -5975 -5984 5451 -5460 -5667 -5928 -5937 -5946 -6018 -6153 5664 5943 6014 6149 -5988 -5997 -6123 -6132 -6024 -5447 -5456 -5681 -5690 -5915 -5924 -5933 -5960 -5969 -5978 5455 5923 -5446 -5680 -5914 -5932 -5959 -5977 -6139 5688 5919 5967 6146 -5436 -5697 -5904 -5976 -5985 -6003 -6030 -6138 5689 5968 5981 5998 6133 -5431 -5899 -5953 -5989 -6025 -6124 -6160 -6205 -6250 5429 5897 5956 5994 6129 6161 6206 6251 -5204 -5303 -5348 -5420 -5438 -5465 -5501 -5627 -5906 -6059 -5938 -6028 5208 5307 5352 5423 5468 5505 5633 6063 5936 6026 -9695 9696 -10116 -9740 9741 -8852 8856 -8172 -8181 -8586 -8595 -8766 -8775 -8784 -8811 -8820 -8829 -9093 9098 10282 -9360 9358 8918 -10283 -8913 -2593 2610 -2609 3164 2853 -3165 -4389 4384 -5476 5481 -4129 -4633 4634 5137 -5128 -5191 -5236 5126 5234 -5223 5228 -5192 -5282 -5359 5364 -8582 8591 -8150 -8744 -8807 -8825 -8987 8149 8743 8991 -8833 -8842 -8968 -8977 -8869 8584 -8161 -8593 -8755 -8818 -8827 -8845 -8872 -8980 8160 8754 -8583 -8592 -8808 -8817 -8826 8809 8816 8828 -9921 9927 -8858 8862 -8836 -8164 -8165 8166 -8175 -8562 -8769 -8778 -8787 -8841 -8868 -8976 -9003 8563 8788 8839 8974 9008 -8569 -8758 -8776 -8794 -8830 -8866 -8965 8570 8795 8832 8873 -8174 -8759 -8768 -8777 8173 8760 8767 8783 -7978 -8484 8485 -7040 7042 -6871 6869 8627 -8631 -10307 10311 -11337 11333 -11585 -11594 -11765 -11774 -11792 -11801 -11837 -11846 -11927 -11936 -12197 -12206 -11865 -11740 12169 -11386 -11683 -11836 -11845 -11863 -11872 -11971 -11980 -11998 -12007 -12115 -12178 -12187 -12196 -12205 -12223 -12232 -12241 -12250 -12268 -12277 -12295 -12304 -12313 -12322 -12340 -12349 -12358 -12367 -12430 -12439 -12448 -12457 -12655 -12664 -12673 -12682 11394 12123 -11682 -11691 -11862 -11871 -11997 -12006 -12177 -12186 -12222 -12231 -12267 -12276 -12294 -12303 -12339 -12348 -12429 -12438 -12654 -12663 -12195 -12240 -12285 -12330 -12375 -12136 11349 -11592 -11601 -11772 -11781 -11799 -11808 -11844 -11853 -11934 -11943 -12204 -12213 -11341 -11593 11595 -11352 -11586 -11721 -11739 -11766 -11784 -11793 -11811 -11820 -11829 -11838 -11856 -11874 -11928 -11946 -11955 -11964 -12198 -12216 -12225 -12234 11584 11764 -11710 -11773 -11782 -11800 -11809 -11818 -11827 -11854 -11935 -11944 -11953 -11962 -12214 11718 11775 -11790 -11835 -11880 11662 -11401 -11410 -11860 -11869 -11995 -12004 -12130 -12139 -12220 -12229 -12265 -12274 -12292 -12301 -12337 -12346 -12427 -12436 -12652 -12661 -11857 11382 -11859 -11868 -11994 -12003 -12219 -12228 -12264 -12273 -12291 -12300 -12336 -12345 -12426 -12435 -12651 -12660 -11365 11361 -11397 -11864 -11398 -11363 11399 -11408 -11669 -11840 -11849 -11867 -11876 -11975 -11984 -12002 -12011 -12137 -12146 -12164 -12200 -12209 -12227 -12236 -12245 -12254 -12272 -12281 -12299 -12308 -12317 -12326 -12344 -12353 -12362 -12371 -12434 -12443 -12452 -12461 -12659 -12668 -12677 -12686 11670 11866 12135 12165 -11353 -11362 -11659 -11722 -11731 -11794 -11803 -11830 -11839 -11848 -11875 -11929 -11938 -11974 -11983 -11992 -12010 -12127 -12145 -12154 -12199 -12208 -12217 -12235 -12244 -12253 -12262 -12280 -12289 -12307 -12316 -12325 -12334 -12352 -12361 -12370 -12424 -12442 -12451 -12460 -12649 -12667 -12676 -12685 -11676 -11847 -11973 -11982 -11991 -12009 -12126 -12144 -12171 -12189 -12207 -12243 -12252 -12261 -12279 -12288 -12306 -12315 -12324 -12333 -12351 -12360 -12369 -12423 -12441 -12450 -12459 -12648 -12666 -12675 -12684 -12237 -12282 -12327 -12372 12157 12128 -12148 -12238 -12283 -12328 -12373 12149 -12311 -12320 -12356 -12365 -11572 11569 -11855 11858 -11354 -11723 -11732 -11741 -11795 -11804 -11831 -11930 -11939 11356 11725 -11734 -11743 -11752 -11806 -11815 -11824 -11833 -11851 -11878 -11941 -11950 -11959 -11968 -12211 11730 11744 11749 11850 12210 -11580 -11706 -11760 -11796 -11814 -11823 -11832 -11841 -11877 -11931 -11949 -11958 -11967 -12201 11579 11702 11759 11842 12202 -11783 -11828 -11873 11789 11834 11879 11674 -11378 -11675 -691 -1578 -13468 -308 -390 -2194 -13007 -1704 -12566 -13324 -910 -1723 -7159 7157 -12080 -12093 -14002 -873 -1240 -1524 -10665 10664 -12464 -13369 -13709 -13860 -623 -1769 -12780 -13911 -872 -886 -1319 -1502 -13658 -13924 -1719 -13642 -1003 -10782 10778 -12611 -1042 -13774 -622 -1852 -13782 -382 -724 -1459 -10611 10607 -13004 -13660 -424 -12895 -1153 -1340 -12965 -879 -1798 -6649 6650 8942 -12017 -1226 -13757 -66 -1076 -13313 -13644 -13837 -573 12179 -11972 -11981 -11990 -12008 -12107 -12170 -12188 -12215 -12233 -12242 -12251 -12260 -12278 -12287 -12305 -12314 -12323 -12332 -12350 -12359 -12368 -12422 -12440 -12449 -12458 -12647 -12665 -12674 -12683 12111 12194 12218 12239 12284 12329 12374 -12041 -12050 -12401 -12410 -12446 -12455 -12473 -12482 -12518 -12527 -12563 -12572 -12698 -12707 -12833 -12842 -13058 -13067 -12086 -12095 -12491 -12500 -12626 -12635 -12671 -12680 -12716 -12725 -12743 -12752 -12788 -12797 -12878 -12887 -13103 -13112 -12259 12263 -11813 -11822 -11948 -11957 -12020 -12029 -12065 -12074 -12380 -12389 -12605 -12614 -131 -1091 -325 -1415 -12956 -13431 -1419 -1581 -884 -12691 -13599 -606 -13295 -13806 -1389 -1397 -2250 -13874 -804 -1526 -1770 -1783 -1146 -1254 -1358 -6504 6500 -13101 -1583 -12914 -13560 -12836 -12939 -13974 -278 -467 -1009 -12479 -12061 -12849 -12936 -13964 -526 -1285 -1496 -1600 -12715 -13714 -13945 -217 -435 -1756 -12363 -12990 -14005 -12 -4965 4961 -12593 -13025 -105 -1020 -1859 -13308 -13923 -18 -178 -599 -192 -315 -338 -1409 -1527 -12022 -13105 -13553 -13931 -1212 -12496 -1601 -12542 -73 -1162 -1231 -1349 -11639 -13824 -351 -501 -581 -698 -13550 -374 -597 -12258 -1222 -1243 -1272 -1579 -11908 -12466 -13311 -13648 -512 -1207 -1257 -1373 -12072 -13026 -13638 -574 -968 -1430 -12537 -1368 -12024 -12387 -12321 -12391 -12018 -11646 -12016 -12256 12255 -11625 -11805 -11895 -11940 -11976 -12012 -12021 -12039 -12048 -12057 -12066 -12084 -12102 -12246 -12381 -12399 -12408 -12417 -12606 -12624 -12633 -12642 11624 11802 11894 11937 12019 -11631 -11640 -11901 -11910 -12027 -12063 -12378 -12603 -12612 -11966 -12056 -12101 -11919 -12054 -12099 -11614 -11821 -11884 -11956 -11965 -12001 -12028 -12037 -12046 -12055 -12073 -12082 -12091 -12100 -12271 -12388 -12397 -12406 -12415 -12469 -12478 -12514 -12523 -12559 -12568 -12613 -12622 -12631 -12640 -12694 -12703 -12829 -12838 -13054 -13063 -12067 11638 -12087 11617 11887 -11629 -11791 -11899 -11917 -11926 -11989 -12034 -12043 -12052 -12079 -12088 -12097 -12376 -12394 -12403 -12412 -12601 -12619 -12628 -12637 -11977 -11986 -12031 -12076 -12247 -12382 -12607 -12616 11979 -12013 -12058 -12103 11797 11932 11993 12249 -11826 -11916 -11925 -11961 -11970 -11988 -12015 -12033 -12042 -12051 -12060 -12078 -12096 -12105 -12393 -12402 -12411 -12420 -12618 -12627 -12636 -12645 12014 11819 11909 11954 11985 -11630 -11810 -11900 -11918 -11945 -11963 -11999 -12035 -12044 -12053 -12062 -12089 -12098 -12269 -12377 -12395 -12404 -12413 -12602 -12620 -12629 -12638 11637 11907 11924 11969 12000 12059 12104 12270 -12471 12318 -12030 -12309 -12390 -12444 -12462 -12489 -12498 -12507 -12516 -12534 -12543 -12552 -12561 -12579 -12588 -12597 -12696 -12714 -12723 -12732 -12831 -12858 -12867 -13056 -13074 -13083 -13092 -12468 -12472 -12474 12494 -12071 -12341 -12467 -12476 -12485 -12503 -12512 -12521 -12548 -12557 -12656 -12692 -12701 -12710 -12728 -12737 -12755 -12764 -12773 -12782 -12800 -12809 -12818 -12827 -12872 -12890 -12899 -12908 -13052 -13061 -13097 -13115 -13124 -13133 12470 -12047 -12083 -12092 -12290 -12407 -12416 -12425 -12488 -12497 -12506 -12524 -12533 -12551 -12569 -12578 -12587 -12596 -12623 -12632 -12704 -12713 -12722 -12731 -12740 -12749 -12785 -12794 -12839 -12848 -12857 -12866 -12875 -12884 -13064 -13073 -13082 -13091 -13100 -13109 12286 12421 -12475 -12511 -12520 -12556 -12565 -12700 -12826 -12835 -13051 -13060 -12502 -12547 -12592 -12085 12343 12081 -12487 -12712 -12721 -12739 -12748 -12784 -12793 -12874 -12883 -13099 -13108 -12090 -12342 -12477 -12495 -12504 -12630 -12639 -12657 -12693 -12702 -12720 -12729 -12747 -12756 -12765 -12774 -12792 -12801 -12810 -12819 -12882 -12891 -12900 -12909 -13107 -13116 -13125 -13134 12094 12634 12658 -12355 -12481 -12490 -12508 -12625 -12643 -12670 -12688 -12697 -12706 -12733 -12742 -12760 -12769 -12778 -12787 -12805 -12814 -12823 -12877 -12904 -12913 -13102 -13120 -13129 -13138 -12730 -12775 -12820 12621 -12366 12364 -12319 -12069 12064 12312 -12384 -12456 -12465 -12483 -12492 -12501 -12510 -12528 -12546 -12555 -12573 -12582 -12591 -12600 -12708 -12717 -12726 -12735 -12843 -12852 -12861 -12870 -13068 -13077 -13086 -13095 12379 12463 12480 12705 -12505 -12550 -12595 -12040 -12049 -12310 -12400 -12409 -12445 -12454 -12499 -12517 -12526 -12535 -12544 -12562 -12571 -12580 -12589 -12832 -12841 -13057 -13066 -12354 -12669 -12678 -12741 -12750 -12786 -12795 -12876 -12885 -13110 -12687 -12777 -12822 12509 -12486 12045 12484 12405 12447 12453 12357 12672 -12536 -12545 -12581 -12590 -12036 -12297 -12396 -12414 -12432 -12513 -12531 -12540 -12549 -12558 -12576 -12585 -12594 -12711 -12828 -12846 -12855 -12864 -13053 -13071 -13080 -13089 -12070 -12331 -12493 -12610 -12646 -12718 -12727 -12745 -12754 -12763 -12772 -12790 -12799 -12808 -12817 -12880 -12889 -12898 -12907 -13114 -13123 -13132 -12609 -12681 -12690 -12699 -12753 -12762 -12771 -12798 -12807 -12816 -12825 -12888 -12897 -12906 -12915 -13113 -13122 -13131 -13140 12038 12398 12709 12075 12335 12615 12650 12734 12604 12679 12689 12695 -12641 -12776 -12821 -12761 -12770 -12806 -12815 12644 12779 12824 -12851 -12860 -12896 -12905 -12923 -12932 -12968 -12977 -13013 -13022 -13148 -13157 -13283 -13292 -13517 -13526 -12941 -12950 -13076 -13085 -13121 -13130 -13166 -13175 -13193 -13202 -13238 -13247 -13328 -13337 -13562 -13571 -12386 12385 -11812 11817 -12538 -12541 12539 -12530 -12746 -12845 -12863 -12881 -12917 -12935 -12944 -12953 -12962 -12980 -12989 -12998 -13034 -13043 -13142 -13160 -13169 -13178 -13277 -13304 -13511 -13529 -13538 -13547 12751 12886 -12850 -12859 -12922 -12931 -12967 -12976 -13012 -13021 -13147 -13156 -13282 -13291 -13516 -13525 -12868 -12958 -13003 -13048 -12418 12419 -12567 12570 -12804 -12813 -12948 -13119 -13128 -13164 -13173 -13191 -13200 -13236 -13245 -13326 -13335 -13569 -539 -1124 -13002 -13315 -2239 -13127 13126 -12577 -12802 -12919 -12928 -12937 -12955 -13072 -13090 -13117 -13135 -13144 -13153 -13162 -13180 -13189 -13207 -13216 -13225 -13234 -13252 -13261 -13270 -13342 -13351 -13360 -13558 -13576 -13585 -13594 12803 13118 -12560 -12812 -12920 -12929 -12947 -13055 -13136 -13145 -13154 -13172 -13181 -13199 -13208 -13217 -13226 -13244 -13253 -13262 -13271 -13334 -13343 -13352 -13361 -13568 -13577 -13586 -13595 12564 12811 13059 -12942 -12951 -13167 -13176 -13194 -13203 -13239 -13248 -13329 -13338 -13563 -13572 -13185 -13230 -13275 -86 -1730 -2197 -10710 10706 -43 -1112 -13237 -1183 -13205 -1775 -12724 12719 5625 -13803 -1792 -13448 -13472 -1427 -13500 -13580 -13589 -531 -12911 12767 -12515 -12758 -12830 -12893 -12938 -12983 -12992 -13001 -13010 -13028 -13037 -13046 -13163 -13280 -13298 -13307 -13316 -13514 -13532 -13541 12519 -12840 12834 -12924 -12933 -12969 -12978 -13014 -13023 -13149 -13158 -13284 -13293 -13518 -13527 12837 -12960 -13005 -13050 -12918 -12927 -12954 -12963 -12972 -12999 -13008 -13017 -13044 -13143 -13152 -13278 -13287 -13512 -13521 -12532 -12853 12529 -12736 -12862 -12871 -12925 -12934 -12943 -12952 -12970 -12979 -12988 -12997 -13015 -13024 -13033 -13042 -13150 -13159 -13168 -13177 -13285 -13294 -13303 -13312 -13519 -13528 -13537 -13546 -13551 12940 -12575 13000 -12598 -12796 -12949 -13084 -13093 -13111 -13174 -13183 -13201 -13210 -13219 -13228 -13246 -13255 -13264 -13273 -13336 -13345 -13354 -13363 -13570 -13579 -13588 -13597 12574 -12757 -12766 -12847 -12856 -12892 -12901 -12946 -12964 -12973 -12982 -12991 -13009 -13018 -13027 -13036 -13279 -13288 -13297 -13306 -13378 -13414 -13423 -13477 -13513 -13522 -13603 -13612 -13729 -13738 -13873 -13882 12599 12791 12945 13106 -12583 -12781 -12916 -13078 -13087 -13096 -13141 -13195 -13204 -13213 -13222 -13240 -13249 -13258 -13267 -13330 -13339 -13348 -13357 -13564 -13573 -13582 -13591 12759 12844 12854 12894 -12584 -13070 -13079 -13187 -13196 -13232 -13241 -13322 -13331 -13556 -13565 -12783 -13062 -13098 -13161 -13179 -13188 -13206 -13215 -13224 -13233 -13251 -13260 -13269 -13323 -13341 -13350 -13359 -13557 -13575 -13584 -13593 -13088 -13223 -13268 12921 13146 -12525 -12768 -12903 -12912 -12930 -12957 -12975 -12984 -12993 -13020 -13029 -13038 -13047 -13155 -13182 -13290 -13299 -13317 -13524 -13533 -13542 12586 13081 12789 13065 13104 13165 13184 13094 -13137 -13227 -13272 12522 12902 12910 12926 12959 13151 -13211 -13220 -13256 -13265 13139 13229 13274 -12986 -12995 -13031 -13040 -13301 -13310 -13346 -13355 -13373 -13382 -13418 -13427 -13481 -13607 -13616 -13733 -13742 -13877 -13886 -13391 -13400 -13436 -13445 -13535 -13544 -13625 -13634 -13652 -13661 -13688 -13697 -13751 -13760 -13787 -13796 -13823 -13832 -13922 -13967 -13976 -13221 -13399 -13396 -13393 -13394 -13397 -13401 -13626 13032 -13041 -13266 -13374 -13383 -13410 -13419 -13428 -13446 -13455 -13464 -13545 -13554 -13590 -13608 -13617 -13635 -13662 -13671 -13680 -13698 -13707 -13716 -13725 -13734 -13743 -13761 -13770 -13779 -13797 -13815 -13833 -13842 -13851 -13869 -13932 -13941 -13950 -13959 -13977 -13986 -13995 -14004 -14013 -13549 -13624 -13548 -13039 13552 -13432 13035 -13030 -13390 -13435 -13444 -13534 -13543 -13561 -13606 -13615 -13633 -13651 -13669 -13687 -13696 -13705 -13750 -13759 -13786 -13795 -13822 -13831 -13921 -13930 -13966 -13975 -13242 -13368 -13377 -13386 -13404 -13413 -13422 -13449 -13458 -13530 -13566 -13602 -13611 -13620 -13647 -13665 -13674 -13683 -13701 -13710 -13719 -13728 -13737 -13746 -13764 -13773 -13800 -13809 -13818 -13836 -13845 -13854 -13863 -13917 -13935 -13944 -13953 -13962 -13980 -13989 -13998 -14007 13243 13567 -13387 -13441 -13531 -13540 -13621 -13630 -13657 -13684 -13693 -13747 -13756 -13783 -13792 -13819 -13828 -13918 -13927 -13963 -13972 -13639 -13675 -13720 13536 13539 -13623 -13618 13622 -13019 -13235 -13370 -13379 -13406 -13415 -13424 -13442 -13451 -13460 -13469 -13478 -13523 -13559 -13604 -13613 -13631 -13640 -13667 -13676 -13694 -13703 -13712 -13721 -13730 -13739 -13766 -13775 -13793 -13802 -13811 -13829 -13838 -13847 -13856 -13865 -13883 -13928 -13937 -13946 -13955 -13973 -13982 -13991 -14000 -14009 13016 13231 13520 13555 -13250 -13259 -13385 -13430 -13439 -13574 -13583 -13619 -13628 -13646 -13655 -13682 -13691 -13745 -13754 -13781 -13790 -13817 -13826 -13916 -13925 -13961 -13970 -13384 -13429 -13438 -13627 -13645 -13654 -13681 -13690 -13744 -13753 -13780 -13789 -13816 -13825 -13915 -13960 -13969 -13592 -13637 -13673 -13718 -13636 -13672 -13717 13263 13587 13971 -13011 -13254 -13371 -13380 -13389 -13407 -13416 -13425 -13434 -13452 -13461 -13515 -13578 -13596 -13605 -13614 -13641 -13650 -13668 -13677 -13686 -13704 -13713 -13722 -13731 -13740 -13749 -13767 -13776 -13785 -13812 -13821 -13839 -13848 -13857 -13866 -13920 -13938 -13947 -13956 -13965 -13983 -13992 -14001 -14010 -13485 -13494 -13890 -13899 -13908 13006 13257 13510 13581 13598 13643 13820 13919 13968 -13670 -13706 -13715 -13487 -13496 -13892 -13901 -13910 -13491 -13896 -13905 -13914 13395 -12981 -13296 -13305 -13314 -13467 -13476 -13503 -13872 -13881 -13327 13309 -12985 -13192 -13300 -13318 -13372 -13408 -13417 -13453 -13462 -13471 -13489 -13498 -13507 -13732 -13768 -13777 -13876 -13894 -13903 -13912 12987 13302 -12996 -13320 -13356 -13365 -13392 -13437 -13482 -13509 -13752 -13887 12994 13319 13388 13433 13748 -13454 -13490 -13499 -13505 13214 -12971 -13286 -13340 -13358 -13367 -13403 -13412 -13457 -13466 -13484 -13493 -13502 -13601 -13727 -13763 -13772 -13871 -13889 -13898 -13907 12974 13289 13366 13411 13600 13726 -12961 -13186 -13276 -13321 -13375 -13402 -13420 -13447 -13456 -13474 -13483 -13492 -13501 -13609 -13735 -13762 -13771 -13879 -13888 -13897 -13906 -13663 -13798 -13834 -13978 -13807 -13861 12966 13190 13281 13325 13450 13610 13778 -13209 -13218 -13344 -13353 -13470 -13479 -13875 -13884 -13362 -13506 -13405 -13459 -13504 -13810 -13846 -13855 -13864 -13990 -13999 -14008 -13769 -13805 -13841 -13850 -13859 -13985 13212 13347 13349 13364 13409 13463 13508 13765 -13895 -13904 -13940 -13949 -13994 -14003 -13376 13381 -1065 -1371 -1405 -1776 -1359 -868 -990 -77 -234 -475 -13475 13480 -13849 -13858 -13939 -13948 -13993 -558 -1140 -13852 13853 -13664 -13700 -13799 -13808 -13835 -13844 -13862 -13880 -13934 -13952 -13979 -13988 -14006 13666 13840 13843 13885 13987 -13426 -13678 -13741 -13813 -13867 -14011 -13465 -13708 -13870 -13942 -13951 -13996 -13957 13421 13679 13736 13814 13868 14012 13473 13711 13878 13943 13997 -13486 -13702 -13891 -13909 -13936 -13954 -13981 13488 13699 13893 13913 13933 13958 13984 -13497 -13695 -13830 -13902 -13929 13495 13692 13827 13900 13926 -1506 -208 -1724 -1574 -7178 7181 -636 -1288 -193 -975 -952 -396 -455 -242 -173 -795 -831 -1517 -347 -4571 4572 -269 -1006 -1762 -61 -1274 -79 -36 -611 -612 -1567 -76 -742 -1636 -1913 -114 -332 -772 -1151 -1036 -1270 -1417 -1555 -1805 -95 -103 -554 -1414 -19 -90 -426 -790 -1077 -1461 -108 -780 -1631 -1814 1592 -1133 -1160 -1169 -1196 -1205 -1367 -1385 -1394 -1403 -1439 -1457 -1466 -1484 -1493 -1511 -1520 -1538 -1547 -1556 -1610 -1637 -1682 -1718 -1727 -1763 -1772 -1790 -1808 -1817 -1907 -1916 -1952 -1961 -2222 1816 -1588 1677 2217 -1123 -1132 -1141 -1150 -1168 -1177 -1186 -1195 -1213 -1357 -1366 -1375 -1384 -1402 -1411 -1420 -1429 -1447 -1456 -1465 -1474 -1483 -1501 -1510 -1519 -1528 -1537 -1564 -1582 -1591 -1645 -1654 -1690 -1699 -1708 -1717 -1735 -1744 -1753 -1780 -1807 -1843 -1888 -1897 -1906 -1951 -2185 -1137 -1155 -1191 -1200 -1380 -1425 -1434 -1470 -1479 -1488 -1497 -1533 -1542 -1551 -1560 -1569 -1713 -1722 -1758 -1767 -1785 1804 -1120 -1129 -1138 -1156 -1165 -1174 -1201 -1210 -1354 -1363 -1372 -1390 -1399 -1408 -1435 -1444 -1453 -1462 -1471 -1489 -1498 -1507 -1516 -1525 -1543 -1552 -1570 -1606 -1633 -1669 -1696 -1705 -1732 -1741 -1750 -1768 -1777 -1786 -1795 -1813 -1840 -1867 -1894 -1912 -1957 -2209 -2254 1634 1671 1869 1915 2211 2256 -1139 -1148 -1157 -1193 -1202 -1382 -1391 -1436 -1454 -1463 -1472 -1481 -1490 -1508 -1535 -1544 -1562 -1571 -1589 -1598 -1607 -1643 -1652 -1661 -1715 -1760 -1787 -1850 -1895 -1904 -1949 -1958 -2183 -2192 -2201 -2237 -2246 -1149 -1158 -1194 -1203 -1374 -1383 -1392 -1428 -1437 -1473 -1482 -1491 -1500 -1536 -1545 -1554 -1563 -1572 -1716 -1725 -1761 -1788 -1734 -1779 -1797 1597 1609 1898 1903 1948 1960 -1561 -1656 1648 -1117 -1126 -1135 -1171 -1180 -1198 -1351 -1360 -1369 -1387 -1396 -1432 -1441 -1450 -1468 -1486 -1495 -1504 -1513 -1522 -1540 -1549 -1558 -1576 -1621 -1639 -1657 -1684 -1693 -1702 -1720 -1729 -1738 -1747 -1765 -1774 -1828 -1855 -1882 -1927 -1972 -2179 -2242 1626 1647 1833 1932 1977 2187 2248 -1125 -1134 -1152 -1161 -1170 -1197 -1206 -1386 -1395 -1404 -1431 -1440 -1458 -1467 -1485 -1494 -1503 -1512 -1521 -1539 -1548 -1557 -1575 -1584 -1620 -1665 -1692 -1728 -1764 -1773 -1791 -1854 -1863 -1926 -2196 -2205 -2241 1159 1204 1393 1438 1492 1499 1546 1573 1614 1663 1726 1759 1771 1789 1846 1861 1920 2188 2203 2233 -700 -916 -925 -1015 -1024 -1051 -1060 -1069 -1078 -1087 -1114 -1312 -1321 -736 -745 -961 -970 -1096 -1105 -1249 -1258 -1294 -1303 -1330 -1339 -1348 -689 -914 -923 -1004 -1013 -1049 -1058 -1085 -1121 -1130 -1175 -1184 -1310 -1697 -1706 -733 -958 -967 -1093 -1102 -1237 -1246 -1282 -1291 -1327 -1336 -1094 -686 -1097 1098 -693 -702 -720 -729 -747 -756 -918 -927 -945 -954 -972 -981 -1008 -1017 -1026 -1053 -1062 -1071 -1080 -1089 -1107 -1116 -1179 -1188 -1215 -1224 -1233 -1251 -1260 -1269 -1278 -1296 -1305 -1314 -1323 -1341 -1350 -1377 -1422 -1449 -1530 -1701 -1710 -1755 -1782 1376 1529 -737 -746 -962 -971 -1106 -1241 -1250 -1259 -1286 -1295 -1304 -1331 -1412 -1421 -1448 -1745 -1754 -1118 -1307 -1313 -1092 -1115 -926 -1100 -1095 -1108 -695 -1103 -1079 -1318 -1518 -1113 -1111 -1110 1109 -731 -740 -911 -920 -956 -965 -983 -992 -1001 -1010 -1028 -1037 -1046 -1055 -1073 -1082 -1127 -1172 -1181 -1235 -1244 -1280 -1289 -1316 -1325 -1334 -1352 -1361 -1406 -1451 -1460 -1505 -1514 -1694 -1703 -1739 -1748 1464 1509 1515 -672 -681 -690 -708 -897 -906 -915 -933 -987 -996 -1005 -1023 -1032 -1041 -1050 -1068 -1104 -1122 -1167 -1176 -1311 -1329 -1338 -1347 -1455 -1698 -717 -726 -744 -753 -942 -951 -969 -978 -1086 -1221 -1230 -1248 -1266 -1275 -1293 -1302 -1320 -1365 -1401 -1446 -1752 -714 -723 -732 -750 -939 -948 -957 -1074 -1083 -1218 -1227 -1236 -1263 -1281 -1299 -1308 -1317 -1326 -1344 -1353 -1398 -1407 -1443 -1740 1119 1452 1400 -669 -678 -696 -705 -894 -903 -921 -930 -984 -993 -1011 -1029 -1038 -1056 -1101 -1128 -1164 -1182 -1209 -1335 -1731 -734 -743 -959 -1220 -1229 -1238 -1247 -1265 -1283 -1292 -1328 -1337 -1355 -1364 -1418 -1742 -1751 1099 1131 1245 1290 1333 1356 1362 1416 1749 -685 -694 -712 -721 -730 -748 -919 -937 -946 -955 -973 -1000 -1018 -1045 -1054 -1063 -1072 -1081 -1090 -1216 -1225 -1234 -1252 -1261 -1279 -1297 -1306 -1315 -1324 -1342 -1378 -1423 -1531 -273 -282 -462 -471 -552 -561 -624 -633 -849 -858 -318 -327 -507 -516 -642 -651 -777 -786 -822 -867 -876 -1794 1075 1309 1322 1332 1381 1426 1534 -670 -679 -697 -706 -895 -904 -922 -931 -985 -994 -1012 -1021 -1030 -1039 -1057 -1066 -1084 -1147 -1192 -1345 -1480 -1714 -1255 -1300 -674 -683 -692 -710 -899 -908 -917 -935 -989 -998 -1007 -1025 -1034 -1043 -1052 -1070 -1142 -1178 -1214 -1475 -1700 -1736 924 1088 1144 1189 1477 1711 1002 1143 1173 1476 1695 -321 -330 -510 -519 -645 -654 -789 -798 -825 -834 -843 -870 -888 -865 1219 -256 -265 -283 -292 -445 -454 -472 -481 -535 -544 -562 -571 -580 -589 -607 -616 -634 -643 -652 -661 -688 -751 -859 -877 -1228 687 1232 -570 -615 -660 -260 -296 -449 -458 -485 -548 -557 -575 -584 -593 -602 -620 -629 -647 -656 -665 -701 -719 -755 -854 -881 -890 -1016 -1223 699 1014 -276 -285 -465 -474 -555 -564 -600 -609 -618 -627 -663 -852 -861 -653 -650 -885 807 -69 -78 -141 -150 -213 -222 -240 -249 -357 -366 -384 -393 -402 -411 -429 -438 -456 -483 -528 -591 -816 232 -34 -70 -106 -115 -142 -151 -160 -169 -187 -196 -205 -214 -223 -241 -250 -259 -268 -295 -304 -313 -340 -358 -367 -385 -394 -403 -412 -430 -439 -457 -466 -484 -502 -511 -520 -529 -538 -547 -592 -601 -610 -619 -763 -817 -826 -835 -844 224 -35 -53 -62 -71 -107 -125 -134 -143 -161 -179 -188 -206 -215 -233 -251 -287 -305 -323 -341 -350 -359 -377 -386 -404 -422 -431 -440 -494 -503 -566 -764 -782 -791 -800 -809 -818 -221 -219 -218 -225 -220 -231 604 -55 -64 -127 -136 -226 -235 -253 -262 -271 -289 -343 -352 -370 -379 -415 -442 -451 -460 -478 -487 -496 -532 -541 -550 -568 -577 -586 -595 -613 -640 -649 -658 -667 -703 -739 -802 -811 -847 -874 -883 -982 -995 741 -999 -655 657 -279 -288 -306 -324 -342 -468 -477 -495 -504 -513 -567 -576 -603 -621 -630 -639 -648 -666 -675 -684 -711 -765 -774 -783 -801 -810 -819 -828 -846 -855 -864 -891 -900 -936 -963 -1035 -1287 887 960 1284 -275 -284 -320 -329 -464 -473 -509 -518 -563 -608 -626 -635 -644 -671 -680 -716 -725 -761 -770 -779 -788 -806 -815 -824 -833 -851 -860 -869 -878 -896 -905 -941 -950 -986 -1031 -1040 673 988 1044 -286 -448 -565 -583 -637 -646 -664 -682 -709 -727 -754 -862 -871 -880 -889 -997 641 866 991 -272 -281 -299 -326 -335 -461 -470 -488 -497 -515 -524 -551 -560 -569 -596 -605 -614 -632 -659 -668 -677 -704 -713 -722 -749 -758 -767 -785 -794 -803 -812 -830 -839 -848 -857 -875 -902 -929 -947 -974 -1064 -1217 -1271 -1298 280 463 559 572 598 617 662 676 707 728 752 882 1067 1301 -28 -37 -100 -109 -154 -163 -172 -181 -190 -199 -244 -298 -307 -334 -397 -406 -757 -766 -58 -67 -130 -139 -229 -238 -346 -355 -364 -373 -391 -418 -427 -436 -490 -499 -805 -814 -32 -41 -104 -113 -158 -167 -185 -194 -212 -257 -266 -302 -311 -401 -410 -536 -545 -590 -59 -68 -140 -230 -239 -356 -383 -419 -428 -446 -491 -500 813 498 -57 -75 -129 -147 -210 -228 -246 -345 -363 -372 -399 -408 -417 -444 -480 -489 -525 -579 -840 -227 -317 856 -316 -505 -514 -775 -784 -793 -820 -829 -838 -892 -901 -928 -1027 1033 -331 -493 -628 -799 -808 -853 -907 -934 -979 -1276 492 625 850 909 932 -319 -328 -508 -517 -778 -787 -823 -832 -940 -949 -1264 -1273 -796 -841 -976 322 333 506 792 953 797 1277 -45 -117 -162 -171 -180 -189 -198 -207 -216 -252 -261 -270 -297 -405 -414 -540 -549 -56 -65 -128 -137 -236 -344 -353 -362 -371 -380 -389 -416 -425 -434 -443 -452 -479 -578 -587 -314 -530 -638 -773 -827 -845 -863 -944 -980 -1061 -1268 72 432 631 821 842 977 1059 -27 -54 -63 -81 -135 -153 -369 -378 -423 -441 -450 -486 -522 -585 -837 60 447 482 521 582 836 -24 -51 -368 -395 -769 -209 211 -40 -49 -112 -121 -166 -175 -202 -247 -274 -310 -337 -409 -553 277 556 -768 771 -33 -123 -159 -177 -186 -204 -258 -294 -303 -339 -420 -537 -762 336 421 -30 -39 -102 -111 -156 -165 -183 -237 -255 -264 -300 -309 -534 -543 -759 267 101 243 254 301 312 533 760 -38 -47 -83 -92 -110 -119 -146 -164 -191 -200 -245 -263 -290 -407 -542 -776 116 248 413 546 781 -89 -98 -152 -387 381 -1262 1267 -195 197 -476 469 -361 -388 -433 -523 365 392 437 527 1253 -174 176 -453 459 1019 -42 44 -26 -80 74 -29 31 -22 -588 594 -738 735 -1553 1550 1187 -1166 1163 -912 913 -1185 -1743 1746 -1737 -1800 -1890 1733 -1410 1413 -1211 1208 -13804 13801 -82 1239 -118 -13049 13045 -893 898 -12554 12553 -938 943 -182 184 -1886 1883 -12431 12433 -1880 1875 -16 -9578 9579 -201 203 -3493 3499 -122 -91 12226 -170 168 -11017 11021 -5272 5269 -7035 7038 -5138 -4805 4804 -11685 11684 13333 -349 348 -1566 1565 -12026 12025 -11952 11947 -12298 12296 -13197 13198 -5605 5602 -6 3028 -4959 4957 -13649 13653 -6905 6907 -5 -6039 6034 -155 157 -5322 5327 -85 -8993 8997 3087 -13075 13069 -1242 -6813 6810 -13723 13724 -133 132 -87 -96 -3841 3842 -354 360 -5439 5444 -7710 7713 -7 -13632 13629 -99 -8498 8497 -13791 13794 964 -124 -12873 12879 -1685 1688 -11406 11407 -13685 13689 -2813 2811 -1022 -13170 13171 -1971 1965 -5283 5279 -13398 -20 -3996 3990 -1047 1048 -10612 10619 -6664 6662 -6510 6516 -6094 6101 -12744 12738 3073 1445 -8 -5367 5372 -1844 -148 -149 145 -144 138 -84 -93 -120 88 126 -12865 12869 1346 -3086 -50 -2836 2839 -291 293 -6091 6088 -5171 5175 -5094 -5220 5093 5215 9124 -7715 7717 -9804 9810 -21 -5193 5189 -400 398 -6221 6225 -6749 6742 7004 -23 25 -1778 1781 -1709 1707 -3555 3550 -8946 -5177 5181 -3025 -3070 -10350 -13440 13443 -13758 13755 -9122 -10557 1580 -1799 -1838 1841 -10 -718 715 -13332 -15 -375 376 -12180 -13656 13659 -8971 8967 -9048 9053 -4405 4403 -1343 1821 -1 -12224 -1793 1796 -7006 -1442 -1256 -10566 10558 -10549 10556 -94 97 -46 -6893 6886 -3041 3042 -2642 2640 -5907 5912 -13784 13788 -11 -13 4617 -6900 6903 -1827 -7152 7155 -14 17 -52 48 -2 -966 -7100 7097 -5618 -4611 -2852 -2267 2262 -3 -4 9 -1577 0

Verifier Data 

OK

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 961)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3379395-1305461048/watcher-3379395-1305461048 -o /tmp/evaluation-result-3379395-1305461048/solver-3379395-1305461048 -C 2400 -W 1300 -M 7680 umsat HOME/instance-3379395-1305461048.cnf 

running on 2 cores: 4,6

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1300 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 7864320 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 7915520 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 0.92 1.65 2.82 4/371 2244
/proc/meminfo: memFree=26565196/32951124 swapFree=63649232/67111528
[pid=2244] ppid=2242 vsize=11776 CPUtime=0 cores=4,6
/proc/2244/stat : 2244 (umsat) R 2242 2244 1684 0 -1 4194304 367 0 0 0 0 0 0 0 21 0 1 0 657703289 12058624 307 33554432000 4194304 4263832 140737039011328 18446744073709551615 4232249 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/2244/statm: 2944 307 241 17 0 117 0

[startup+0.021394 s]
/proc/loadavg: 0.92 1.65 2.82 4/371 2244
/proc/meminfo: memFree=26565196/32951124 swapFree=63649232/67111528
[pid=2244] ppid=2242 vsize=12104 CPUtime=0.01 cores=4,6
/proc/2244/stat : 2244 (umsat) R 2242 2244 1684 0 -1 4194304 462 0 0 0 1 0 0 0 21 0 1 0 657703289 12394496 402 33554432000 4194304 4263832 140737039011328 18446744073709551615 4236751 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/2244/statm: 3026 402 242 17 0 199 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 12104

[startup+0.1004 s]
/proc/loadavg: 0.92 1.65 2.82 4/371 2244
/proc/meminfo: memFree=26565196/32951124 swapFree=63649232/67111528
[pid=2244] ppid=2242 vsize=13340 CPUtime=0.09 cores=4,6
/proc/2244/stat : 2244 (umsat) R 2242 2244 1684 0 -1 4194304 917 0 0 0 9 0 0 0 21 0 1 0 657703289 13660160 711 33554432000 4194304 4263832 140737039011328 18446744073709551615 4236024 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/2244/statm: 3335 711 242 17 0 508 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 13340

[startup+0.300386 s]
/proc/loadavg: 0.92 1.65 2.82 4/371 2244
/proc/meminfo: memFree=26565196/32951124 swapFree=63649232/67111528
[pid=2244] ppid=2242 vsize=18812 CPUtime=0.29 cores=4,6
/proc/2244/stat : 2244 (umsat) R 2242 2244 1684 0 -1 4194304 2593 0 0 0 29 0 0 0 22 0 1 0 657703289 19263488 1809 33554432000 4194304 4263832 140737039011328 18446744073709551615 4232240 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/2244/statm: 4703 1809 242 17 0 1876 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 18812

[startup+0.700313 s]
/proc/loadavg: 0.92 1.65 2.82 4/371 2244
/proc/meminfo: memFree=26565196/32951124 swapFree=63649232/67111528
[pid=2244] ppid=2242 vsize=25976 CPUtime=0.69 cores=4,6
/proc/2244/stat : 2244 (umsat) R 2242 2244 1684 0 -1 4194304 5046 0 0 0 69 0 0 0 23 0 1 0 657703289 26599424 3493 33554432000 4194304 4263832 140737039011328 18446744073709551615 47570696144624 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/2244/statm: 6494 3493 242 17 0 3667 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 25976

[startup+1.50017 s]
/proc/loadavg: 1.17 1.69 2.82 5/375 2251
/proc/meminfo: memFree=26512304/32951124 swapFree=63649232/67111528
[pid=2244] ppid=2242 vsize=40304 CPUtime=1.49 cores=4,6
/proc/2244/stat : 2244 (umsat) R 2242 2244 1684 0 -1 4194304 9943 0 0 0 148 1 0 0 25 0 1 0 657703289 41271296 6853 33554432000 4194304 4263832 140737039011328 18446744073709551615 47570696005096 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/2244/statm: 10076 6854 242 17 0 7249 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 40304

[startup+3.10091 s]
/proc/loadavg: 1.17 1.69 2.82 5/375 2253
/proc/meminfo: memFree=26438648/32951124 swapFree=63649232/67111528
[pid=2244] ppid=2242 vsize=89060 CPUtime=3.09 cores=4,6
/proc/2244/stat : 2244 (umsat) R 2242 2244 1684 0 -1 4202496 25355 0 0 0 306 3 0 0 25 0 1 0 657703289 91197440 19442 33554432000 4194304 4263832 140737039011328 18446744073709551615 4215313 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/2244/statm: 22265 19442 247 17 0 19438 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 89060

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

[startup+3.90079 s]
/proc/loadavg: 1.17 1.69 2.82 5/375 2253
/proc/meminfo: memFree=26419180/32951124 swapFree=63649232/67111528
[pid=2244] ppid=2242 vsize=89060 CPUtime=3.89 cores=4,6
/proc/2244/stat : 2244 (umsat) R 2242 2244 1684 0 -1 4202496 25355 0 0 0 386 3 0 0 25 0 1 0 657703289 91197440 19442 33554432000 4194304 4263832 140737039011328 18446744073709551615 4215062 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/2244/statm: 22265 19442 247 17 0 19438 0
Current children cumulated CPU time (s) 3.89
Current children cumulated vsize (KiB) 89060

[startup+4.30072 s]
/proc/loadavg: 1.17 1.69 2.82 5/375 2253
/proc/meminfo: memFree=26411240/32951124 swapFree=63649232/67111528
[pid=2244] ppid=2242 vsize=89060 CPUtime=4.3 cores=4,6
/proc/2244/stat : 2244 (umsat) R 2242 2244 1684 0 -1 4202496 25355 0 0 0 427 3 0 0 25 0 1 0 657703289 91197440 19442 33554432000 4194304 4263832 140737039011328 18446744073709551615 4224828 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/2244/statm: 22265 19442 247 17 0 19438 0
Current children cumulated CPU time (s) 4.3
Current children cumulated vsize (KiB) 89060

[startup+4.41369 s]
/proc/loadavg: 1.17 1.69 2.82 5/375 2253
/proc/meminfo: memFree=26411240/32951124 swapFree=63649232/67111528
[pid=2244] ppid=2242 vsize=89064 CPUtime=4.41 cores=4,6
/proc/2244/stat : 2244 (umsat) R 2242 2244 1684 0 -1 4202496 25362 0 0 0 438 3 0 0 25 0 1 0 657703289 91201536 19449 33554432000 4194304 4263832 140737039011328 18446744073709551615 4247187 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/2244/statm: 22266 19449 253 17 0 19439 0
Current children cumulated CPU time (s) 4.41
Current children cumulated vsize (KiB) 89064

Child status: 0
Real time (s): 4.45423
CPU time (s): 4.45132
CPU user time (s): 4.41633
CPU system time (s): 0.034994
CPU usage (%): 99.9346
Max. virtual memory (cumulated for all children) (KiB): 89064

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4.41633
system time used= 0.034994
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 25365
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= 5
involuntary context switches= 35

runsolver used 0.018997 second user time and 0.048992 second system time

The end

Launcher Data 

Begin job on node130 at 2011-05-15 14:04:08
IDJOB=3379395
IDBENCH=84802
IDSOLVER=1861
FILE ID=node130/3379395-1305461048
RUNJOBID= node130-1305461047-2209
PBS_JOBID= 13324900
Free space on /tmp= 73380 MiB

SOLVER NAME= UmSat 2011-05-12 (fixed)
BENCH NAME= SAT04/industrial/vangelder/cnf-color/abb313GPIA-9-tr.used-as.sat04-321.cnf
COMMAND LINE= umsat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3379395-1305461048/watcher-3379395-1305461048 -o /tmp/evaluation-result-3379395-1305461048/solver-3379395-1305461048 -C 2400 -W 1300 -M 7680  umsat HOME/instance-3379395-1305461048.cnf

TIME LIMIT= 2400 seconds
MEMORY LIMIT= 7680 MiB
NBCORE= 2

MD5SUM BENCH= 6c3ea795f258ba82c81e44969c0c5fb4
RANDOM SEED=673892848

node130.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.838
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5333.67
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.838
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.838
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.838
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.81
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.838
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.838
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.838
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.838
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.81
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      26565476 kB
Buffers:        289880 kB
Cached:        4052608 kB
SwapCached:      10248 kB
Active:        2191136 kB
Inactive:      3906652 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      26565476 kB
SwapTotal:    67111528 kB
SwapFree:     63649232 kB
Dirty:           18772 kB
Writeback:           0 kB
AnonPages:     1753204 kB
Mapped:          20948 kB
Slab:           188964 kB
PageTables:      34608 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 88876616 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73360 MiB
End job on node130 at 2011-05-15 14:04:12