PB'05 competition: run trace

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 in four parts:
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 provide some useful information on the computer.
SOLVER DATA
This is the output of the solver (stdout and stderr).
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 1200 seconds. 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 1230 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (900Mb).
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.
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.
General information on the benchmark

Name	normalized-opb/web/www.ps.uni-sb.de/~walser/benchmarks/ppp-problems/normalized-ppp:1-12,16.opb
MD5SUM	41edd2db35f2c8eb6d4b1f0a68a60338
Bench Category	no optimization function (SAT)
Has Objective Function	NO
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	0
Optimality of the best value was proved	NO
Number of terms in the objective function	0
Biggest coefficient in the objective function	0
Number of bits for the biggest coefficient in the objective function	0
Sum of the numbers in the objective function	0
Number of bits of the sum of numbers in the objective function	0
Biggest number in a constraint	10
Number of bits of the biggest number in a constraint	4
Biggest sum of numbers in a constraint	102
Number of bits of the biggest sum of numbers	7
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	6.63699
Number of variables	4662
Total number of constraints	36387
Number of constraints which are clauses	30696
Number of constraints which are cardinality constraints (but not clauses)	5613
Number of constraints which are nor clauses,nor cardinality constraints	78
Minimum length of a constraint	1
Maximum length of a constraint	29
Trace number 42239

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc3 THE 2005-06-16 04:08:07 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=25460 boxname=wulflinc3 idbench=362 idsolver=18 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  41edd2db35f2c8eb6d4b1f0a68a60338  /oldhome/oroussel/tmp/wulflinc3/normalized-ppp:1-12,16.opb
REAL COMMAND:  pb2sat-v2 /oldhome/oroussel/tmp/wulflinc3/normalized-ppp:1-12,16.opb
IDLAUNCH: 25460
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.190
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 890.88

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.190
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 899.07

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        801736 kB
Buffers:         34160 kB
Cached:         176636 kB
SwapCached:        820 kB
Active:          53944 kB
Inactive:       159040 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        801484 kB
SwapTotal:     2097136 kB
SwapFree:      2095340 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5104 kB
Slab:            14216 kB
Committed_AS:    71892 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-16 04:08:16 (client local time) WITH STATUS 10 IN 8.42772 SECONDS
stats: 25460 0 8.42772 10
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c This solver internally uses Chaff 2004.11.15 Simplified
c running zchaff...
-1 
-10 
-442 
-6134 
6135 
-6136 
-6137 
-6138 
-6139 
-6140 
-6141 
-6142 
-6143 
-443 
-6325 
-6326 
-6327 
-6328 
-6329 
-6330 
-6331 
-6332 
-6333 
-6334 
-444 
-6335 
-6336 
-6337 
-6338 
-6339 
-6340 
-6341 
-6342 
6343 
-6344 
-445 
-6345 
-6346 
-6347 
-6348 
6349 
-6350 
-6351 
-6352 
-6353 
-6535 
-446 
-6536 
-6537 
-6538 
-6539 
6540 
6541 
-6542 
-6543 
-6544 
-6545 
-447 
-6546 
-6547 
-6548 
-6549 
6550 
-6551 
-6552 
-6553 
-6554 
-6555 
-448 
-6556 
-6557 
-6558 
-6559 
-6560 
-6561 
-6562 
-6563 
-6724 
-6725 
-449 
-6726 
-6727 
-6728 
-6729 
-6730 
-6731 
-6732 
-6733 
-6734 
-6735 
-450 
-6736 
-6737 
-6738 
-6739 
-6740 
-6741 
-6742 
-6743 
-6744 
-6745 
-451 
-6746 
6747 
6748 
-6749 
-6750 
-6751 
-6752 
-6913 
-6914 
-6915 
-11 
-452 
-6916 
-6917 
-6918 
-6919 
-6920 
-6921 
-6922 
-6923 
-6924 
-6925 
-453 
-6926 
6927 
-6928 
-6929 
6930 
-6931 
-6932 
-6933 
-6934 
-6935 
-454 
-6936 
-6937 
-6938 
-6939 
-6940 
-6941 
-7102 
-7103 
-7104 
-7105 
-569 
-7106 
-7107 
-7108 
-7109 
-7110 
-7111 
-7112 
-7113 
7114 
-7115 
-570 
-7116 
-7117 
-7118 
-7119 
-7120 
-7121 
-7122 
-7123 
-7124 
-7125 
-571 
-7126 
7127 
-7128 
-7129 
-7130 
-7291 
-7292 
-7293 
-7294 
-7295 
-572 
-7296 
-7297 
-7298 
-7299 
-7300 
-7301 
-7302 
-7303 
-7304 
-7305 
573 
-7306 
-7307 
-7308 
7309 
-7310 
-7311 
-7312 
-7313 
-7314 
-7315 
-574 
-7316 
-7317 
7318 
-7319 
-7480 
-7481 
-7482 
-7483 
-7484 
-7485 
-575 
-7486 
7487 
-7488 
-7489 
-7490 
-7491 
-7492 
-7493 
-7494 
-7495 
-12 
-576 
-7496 
-7497 
-7498 
-7499 
-7500 
-7501 
7502 
-7503 
-7504 
-7505 
-577 
-7506 
-7507 
-7508 
-7669 
-7670 
7671 
-7672 
-7673 
-7674 
-7675 
-578 
-7676 
-7677 
-7678 
-7679 
-7680 
-7681 
-7682 
-7683 
-7684 
-7685 
-579 
-7686 
-7687 
-7688 
-7689 
-7690 
-7691 
-7692 
-7693 
7694 
-7695 
-580 
-7696 
-7697 
-7858 
-7859 
-7860 
-7861 
-7862 
-7863 
-7864 
-7865 
-581 
-7866 
-7867 
-7868 
-7869 
-7870 
-7871 
-7872 
-7873 
-7874 
-7875 
-582 
-7876 
-7877 
-7878 
7879 
-7880 
-7881 
-7882 
-7883 
-7884 
-7885 
-583 
-7886 
-8047 
-8048 
-8049 
-8050 
-8051 
-8052 
-8053 
-8054 
-8055 
-584 
8056 
-8057 
-8058 
-8059 
-8060 
-8061 
-8062 
8063 
-8064 
-8065 
-585 
-8066 
-8067 
-8068 
-8069 
-8070 
-8071 
-8072 
-8073 
-8074 
8075 
-13 
-586 
-8236 
-8237 
-8238 
-8239 
-8240 
-8241 
-8242 
-8243 
8244 
-8245 
-587 
-8246 
-8247 
-8248 
-8249 
-8250 
-8251 
-8252 
-8253 
8254 
-8255 
-588 
-8256 
-8257 
-8258 
-8259 
-8260 
-8261 
-8262 
-8263 
-8264 
-8425 
-589 
8426 
-8427 
-8428 
-8429 
-8430 
-8431 
-8432 
-8433 
-8434 
-8435 
-590 
-8436 
-8437 
8438 
-8439 
-8440 
-8441 
-8442 
-8443 
-8444 
-8445 
-591 
-8446 
-8447 
8448 
-8449 
-8450 
-8451 
-8452 
-8453 
-8614 
-8615 
592 
-8616 
-8617 
-8618 
-8619 
8620 
-8621 
-8622 
-8623 
8624 
-8625 
-593 
-8626 
-8627 
-8628 
-8629 
-8630 
-8631 
-8632 
8633 
-8634 
-8635 
-594 
-8636 
-8637 
-8638 
-8639 
-8640 
-8641 
-8642 
8803 
-8804 
-8805 
-595 
-8806 
-8807 
-8808 
-8809 
-8810 
-8811 
-8812 
-8813 
-8814 
-8815 
-14 
-596 
-8816 
-8817 
-8818 
-8819 
-8820 
-8821 
-8822 
-8823 
-8824 
-8825 
-711 
8826 
-8827 
-8828 
-8829 
-8830 
-8831 
-8992 
-8993 
-8994 
-8995 
-712 
-8996 
-8997 
-8998 
-8999 
-9000 
-9001 
-9002 
-9003 
-9004 
-9005 
-713 
-9006 
-9007 
-9008 
-9009 
-9010 
-9011 
-9012 
-9013 
-9014 
-9015 
-714 
-9016 
9017 
-9018 
-9019 
9020 
-9181 
-9182 
-9183 
-9184 
-9185 
-715 
-9186 
-9187 
-9188 
-9189 
-9190 
-9191 
-9192 
9193 
9194 
-9195 
-716 
-9196 
-9197 
-9198 
-9199 
-9200 
9201 
-9202 
-9203 
-9204 
-9205 
-717 
-9206 
-9207 
-9208 
-9209 
-9370 
-9371 
-9372 
-9373 
-9374 
-9375 
-718 
9376 
-9377 
-9378 
9379 
-9380 
-9381 
-9382 
-9383 
-9384 
-9385 
-719 
-9386 
-9387 
-9388 
-9389 
-9390 
-9391 
-9392 
-9393 
-9394 
-9395 
-15 
-720 
-9396 
-9397 
-9398 
-9559 
-9560 
-9561 
-9562 
-9563 
9564 
-9565 
-721 
-9566 
-9567 
-9568 
-9569 
-9570 
-9571 
-9572 
-9573 
-9574 
-9575 
-722 
9576 
-9577 
-9578 
-9579 
-9580 
-9581 
-9582 
-9583 
-9584 
-9585 
723 
-9586 
-9587 
-9748 
-9749 
-9750 
-9751 
-9752 
-9753 
-9754 
-9755 
-724 
9756 
-9757 
-9758 
-9759 
-9760 
-9761 
-9762 
-9763 
-9764 
-9765 
725 
-9766 
-9767 
-9768 
-9769 
-9770 
-9771 
-9772 
-9773 
9774 
-9775 
-726 
-9776 
-9937 
-9938 
-9939 
-9940 
-9941 
-9942 
-9943 
-9944 
-9945 
-727 
-9946 
-9947 
-9948 
-9949 
-9950 
-9951 
-9952 
9953 
-9954 
-9955 
-728 
9956 
9957 
-9958 
-9959 
-9960 
-9961 
-9962 
-9963 
-9964 
-9965 
-729 
10168 
-10169 
-10170 
10171 
-10172 
-10173 
-10174 
-10175 
-10176 
-10177 
-16 
-730 
-10178 
10179 
-10180 
-10181 
-10182 
-10183 
-10184 
-10185 
-10186 
-10187 
-731 
-10188 
-10189 
-10190 
-10191 
-10192 
-10193 
-10194 
-10195 
-10196 
-10399 
-732 
-10400 
-10401 
-10402 
-10403 
10404 
-10405 
-10406 
-10407 
-10408 
-10409 
-733 
-10410 
-10411 
-10412 
-10413 
-10414 
-10415 
-10416 
-10417 
-10418 
-10419 
-734 
-10420 
-10421 
-10422 
10423 
-10424 
-10425 
10426 
-10427 
-10630 
-10631 
-735 
10632 
-10633 
10634 
-10635 
-10636 
-10637 
-10638 
-10639 
-10640 
-10641 
-736 
-10642 
-10643 
-10644 
-10645 
-10646 
-10647 
-10648 
-10649 
-10650 
-10651 
-737 
10652 
-10653 
-10654 
-10655 
-10656 
-10657 
-10658 
-10861 
-10862 
-10863 
-738 
-10864 
-10865 
-10866 
-10867 
-10868 
-10869 
-10870 
-10871 
-10872 
-10873 
-853 
-10874 
-10875 
10876 
-10877 
-10878 
-10879 
-10880 
-10881 
10882 
-10883 
-17 
-854 
-10884 
-10885 
-10886 
-10887 
-10888 
-10889 
-11092 
-11093 
-11094 
-11095 
-855 
-11096 
-11097 
-11098 
-11099 
-11100 
-11101 
-11102 
-11103 
-11104 
-11105 
856 
-11106 
-11107 
-11108 
-11109 
-11110 
-11111 
-11112 
-11113 
-11114 
11115 
-857 
-11116 
11117 
-11118 
-11119 
-11120 
-11323 
-11324 
-11325 
-11326 
11327 
-858 
-11328 
-11329 
-11330 
-11331 
11332 
-11333 
-11334 
-11335 
11336 
-11337 
-859 
-11338 
-11339 
-11340 
-11341 
-11342 
-11343 
-11344 
-11345 
-11346 
-11347 
-860 
-11348 
-11349 
-11350 
-11351 
-11554 
-11555 
-11556 
-11557 
-11558 
-11559 
-861 
-11560 
11561 
-11562 
-11563 
-11564 
-11565 
-11566 
-11567 
-11568 
-11569 
-862 
-11570 
-11571 
11572 
-11573 
11574 
-11575 
-11576 
-11577 
-11578 
-11579 
-863 
-11580 
-11581 
-11582 
-11785 
-11786 
11787 
-11788 
-11789 
-11790 
-11791 
-18 
-864 
-11792 
-11793 
-11794 
-11795 
-11796 
-11797 
-11798 
-11799 
-11800 
-11801 
-865 
-11802 
-11803 
-11804 
-11805 
-11806 
-11807 
11808 
-11809 
-11810 
11811 
-866 
-11812 
-11813 
-12016 
-12017 
-12018 
12019 
-12020 
-12021 
-12022 
-12023 
867 
-12024 
-12025 
-12026 
-12027 
-12028 
-12029 
-12030 
-12031 
12032 
12033 
-868 
-12034 
-12035 
-12036 
-12037 
-12038 
-12039 
-12040 
-12041 
-12042 
-12043 
-869 
-12044 
-12247 
-12248 
-12249 
-12250 
-12251 
-12252 
-12253 
-12254 
-12255 
-870 
-12256 
-12257 
-12258 
-12259 
-12260 
-12261 
-12262 
-12263 
-12264 
-12265 
-871 
12266 
-12267 
-12268 
-12269 
-12270 
-12271 
12272 
-12273 
-12274 
-12275 
-872 
-12478 
-12479 
-12480 
-12481 
-12482 
-12483 
-12484 
-12485 
-12486 
-12487 
-873 
-12488 
-12489 
-12490 
-12491 
-12492 
-12493 
-12494 
-12495 
-12496 
-12497 
-19 
-874 
-12498 
12499 
-12500 
-12501 
-12502 
-12503 
-12504 
12505 
-12506 
-12709 
-875 
-12710 
-12711 
-12712 
-12713 
-12714 
-12715 
-12716 
-12717 
-12718 
-12719 
-876 
12720 
-12721 
-12722 
-12723 
-12724 
-12725 
-12726 
12727 
-12728 
-12729 
-877 
-12730 
-12731 
-12732 
-12733 
-12734 
-12735 
-12736 
-12851 
-12852 
-12853 
-878 
-12854 
-12855 
-12856 
-12857 
-12858 
-12859 
-12860 
-12861 
-12862 
-12863 
-879 
-12864 
-12865 
-12866 
-12867 
-12868 
-12869 
-12870 
-12871 
12872 
-12873 
880 
-12874 
-12875 
-12876 
-12877 
-12878 
12993 
-12994 
-12995 
-12996 
12997 
-881 
-12998 
-12999 
-13000 
-13001 
-13002 
-13003 
-13004 
-13005 
-13006 
-13007 
-1023 
-13008 
-13009 
-13010 
-13011 
-13012 
-13013 
-13014 
-13015 
-13016 
-13017 
1024 
-13018 
-13019 
-13020 
-13135 
13136 
-13137 
-13138 
-13139 
-13140 
-13141 
-2 
-20 
-1025 
-13142 
-13143 
-13144 
-13145 
-13146 
-13147 
-13148 
-13149 
-13150 
-13151 
-1026 
-13152 
-13153 
13154 
-13155 
-13156 
-13157 
-13158 
-13159 
-13160 
-13161 
1027 
-13162 
-13277 
-13278 
-13279 
-13280 
-13281 
-13282 
-13283 
-13284 
-13285 
-1028 
13286 
13287 
-13288 
-13289 
-13290 
-13291 
-13292 
-13293 
-13294 
-13295 
1029 
-13296 
-13297 
-13298 
-13299 
-13300 
-13301 
-13302 
-13303 
-13304 
-13419 
-1030 
-13420 
-13421 
-13422 
-13423 
-13424 
-13425 
-13426 
-13427 
-13428 
-13429 
-1031 
-13430 
-13431 
-13432 
-13433 
-13434 
-13435 
13436 
-13437 
-13438 
-13439 
-1032 
-13440 
-13441 
-13442 
-13443 
-13444 
-13445 
-13446 
-13561 
-13562 
-13563 
-1033 
-13564 
-13565 
-13566 
-13567 
-13568 
-13569 
-13570 
-13571 
-13572 
-13573 
-1034 
-13574 
-13575 
-13576 
-13577 
-13578 
-13579 
-13580 
-13581 
-13582 
13583 
-21 
-1035 
-13584 
-13585 
-13660 
-13661 
-13662 
-13663 
-13664 
-13665 
-13666 
-13667 
-1036 
-13668 
-13669 
-13670 
-13671 
-13672 
-13673 
-13674 
-13675 
-13676 
-13677 
-1037 
13678 
-13679 
-13680 
-13681 
-13682 
-13683 
-13684 
-13759 
-13760 
-13761 
-1038 
-13762 
-13763 
-13764 
-13765 
-13766 
-13767 
-13768 
-13769 
-13770 
-13771 
-1039 
-13772 
-13773 
-13774 
-13775 
13776 
-13777 
-13778 
-13779 
-13780 
-13781 
-1040 
-13782 
-13783 
-13858 
-13859 
-13860 
-13861 
-13862 
-13863 
-13864 
-13865 
-1041 
-13866 
-13867 
-13868 
-13869 
-13870 
13871 
-13872 
-13873 
-13874 
-13875 
-1042 
-13876 
-13877 
-13878 
-13879 
-13880 
-13881 
13882 
-13957 
-13958 
-13959 
-1043 
13960 
-13961 
-13962 
13963 
-13964 
-13965 
-13966 
-13967 
-13968 
-13969 
-1044 
-13970 
-13971 
-13972 
-13973 
-13974 
-13975 
-13976 
-13977 
-13978 
-13979 
-22 
-1045 
-13980 
-13981 
-14056 
-14057 
-14058 
-14059 
14060 
-14061 
-14062 
-14063 
-1046 
-14064 
-14065 
-14066 
-14067 
-14068 
-14069 
-14070 
14071 
-14072 
-14073 
-1047 
-14074 
-14075 
-14076 
-14077 
-14078 
-14079 
-14080 
-21969 
-21970 
-21971 
-1048 
-21972 
21973 
-21974 
-21975 
-21976 
-21977 
-21978 
21979 
-21980 
-21981 
-1049 
21982 
-21983 
-21984 
-21985 
-21986 
-21987 
-21988 
-21989 
21990 
-21991 
-1050 
-21992 
-21993 
-21994 
-21995 
21996 
-21997 
-21998 
-21999 
-22000 
-22001 
-1051 
-22002 
22003 
-22004 
-22005 
-22006 
-22007 
-22008 
-22009 
22010 
-22011 
-1193 
-22012 
-22013 
22014 
-22015 
-22016 
-22017 
-22018 
-22019 
22020 
-22021 
-1194 
-22022 
-22023 
-22024 
-22025 
-22026 
22027 
-22028 
-22029 
-22030 
22031 
-1195 
-22032 
-22033 
-22034 
-22035 
-22036 
-22037 
-22038 
22039 
-22040 
-22041 
-23 
-1196 
-22042 
-22043 
22044 
-22045 
-22046 
-22047 
-22048 
-22049 
22050 
-22051 
-1197 
-22052 
-22053 
-22054 
-22055 
22056 
-22057 
-22058 
-22059 
-22060 
-22061 
-1198 
-22062 
22063 
-22064 
-22065 
-22066 
-22067 
22068 
-22069 
-22070 
-22071 
-1199 
-22072 
22073 
-22074 
-22075 
-22076 
22077 
-22078 
-22079 
-22080 
-22081 
-1200 
-22082 
-22083 
-22084 
22085 
-22086 
-22087 
-22088 
-22089 
-22090 
22091 
-1201 
-22092 
-22093 
-22094 
-22095 
-22096 
-22097 
22098 
-22099 
-22100 
-22101 
-1202 
-22102 
-22103 
22104 
-22105 
-22106 
-22107 
-22108 
-22109 
22110 
-22111 
-1203 
-22112 
-22113 
-22114 
-22115 
22116 
-22117 
-22118 
-22119 
-22120 
-22121 
-1204 
-22122 
-22123 
22124 
-22125 
-22126 
-22127 
22128 
-22129 
-22130 
-22131 
-1205 
-22132 
-22133 
-22134 
-22135 
-22136 
-22137 
22138 
-22139 
-22140 
-22141 
-24 
-1206 
-22142 
-22143 
-22144 
22145 
-22146 
-22147 
-22148 
-22149 
-22150 
-22151 
-1207 
22152 
-22153 
-22154 
-22155 
-22156 
-22157 
-22158 
-22159 
22160 
-22161 
1208 
-22162 
22163 
-22164 
-22165 
-22166 
-22167 
-22168 
-22169 
-22170 
22171 
-1209 
-22172 
-22173 
-22174 
-22175 
-22176 
22177 
-22178 
-22179 
-22180 
-22181 
-1210 
-22182 
22183 
-22184 
-22185 
-22186 
-22187 
22188 
-22189 
-22190 
-22191 
-1211 
-22192 
-22193 
22194 
-22195 
-22196 
22197 
-22198 
-22199 
-22200 
-22201 
-1212 
-22202 
-22203 
-22204 
-22205 
-22206 
22207 
-22208 
-22209 
22210 
-22211 
-1213 
-22212 
-22213 
-22214 
-22215 
-22216 
-22217 
-22218 
22219 
-22220 
-22221 
-1214 
-22222 
-22223 
-22224 
22225 
-22226 
-22227 
22228 
-22229 
-22230 
-22231 
1215 
-22232 
-22233 
22234 
-22235 
-22236 
-22237 
-22238 
-22239 
-22240 
-22241 
-25 
-1216 
-22242 
22243 
-22244 
-22245 
-22246 
-22247 
-22248 
22249 
-22250 
-22251 
-1217 
-22252 
22253 
-22254 
-22255 
-22256 
-22257 
-22258 
-22259 
-22260 
22261 
-1218 
-22262 
22263 
-22264 
-22265 
-22266 
-22267 
-22268 
-22269 
-22270 
-22271 
-1219 
-22272 
22273 
-22274 
-22275 
-22276 
-22277 
22278 
-22279 
-22280 
-22281 
-1220 
-22282 
-22283 
22284 
-22285 
-22286 
-22287 
-22288 
-22289 
-22290 
22291 
-1221 
-22292 
-22293 
22294 
-22295 
-22296 
-22297 
-22298 
-22299 
-22300 
22301 
-1363 
-22302 
-22303 
-22304 
-22305 
-22306 
-22307 
22308 
-22309 
-22310 
-22311 
-1364 
-22312 
22313 
-22314 
-22315 
-22316 
22317 
-22318 
-22319 
-22320 
-22321 
-1365 
-22322 
-22323 
-22324 
-22325 
22326 
-22327 
-22328 
-22329 
-22330 
-22331 
-1366 
-22332 
22333 
-22334 
-22335 
-22336 
22337 
-22338 
-22339 
-22340 
-22341 
-26 
-1367 
-22342 
-22343 
-22344 
22345 
-22346 
-22347 
-22348 
-22349 
22350 
-22351 
-1368 
-22352 
-22353 
-22354 
-22355 
-22356 
22357 
-22358 
-22359 
-22360 
-22361 
-1369 
-22362 
22363 
-22364 
-22365 
-22366 
-22367 
-22368 
22369 
-22370 
-22371 
-1370 
-22372 
-22373 
22374 
-22375 
-22376 
-22377 
22378 
-22379 
-22380 
-22381 
-1371 
-22382 
-22383 
-22384 
-22385 
-22386 
-22387 
22388 
-22389 
-22390 
-22391 
-1372 
22392 
-22393 
-22394 
-22395 
-22396 
-22397 
-22398 
22399 
-22400 
-22401 
1373 
-22402 
-22403 
22404 
-22405 
-22406 
-22407 
22408 
-22409 
-22410 
-22411 
-1374 
-22412 
-22413 
-22414 
-22415 
22416 
-22417 
-22418 
-22419 
-22420 
22421 
-1375 
-22422 
-22423 
-22424 
-22425 
-22426 
22427 
-22428 
-22429 
-22430 
-22431 
-1376 
22432 
-22433 
-22434 
-22435 
-22436 
-22437 
-22438 
22439 
-22440 
-22441 
-27 
-1377 
-22442 
-22443 
-22444 
-22445 
-22446 
-22447 
22448 
-22449 
-22450 
-22451 
-1378 
-22452 
-22453 
22454 
-22455 
-22456 
-22457 
22458 
-22459 
-22460 
-22461 
-1379 
-22462 
-22463 
-22464 
22465 
-22466 
-22467 
-22468 
-22469 
22470 
-22471 
-1380 
-22472 
-22473 
-22474 
-22475 
22476 
-22477 
-22478 
-22479 
-22480 
-22481 
-1381 
-22482 
22483 
-22484 
-22485 
-22486 
-22487 
-22488 
22489 
-22490 
-22491 
-1382 
22492 
-22493 
-22494 
-22495 
-22496 
-22497 
-22498 
-22499 
-22500 
-22501 
-1383 
22502 
-22503 
-22504 
-22505 
22506 
-22507 
-22508 
-22509 
-22510 
-22511 
-1384 
-22512 
22513 
-22514 
-22515 
-22516 
22517 
-22518 
-22519 
-22520 
-22521 
-1385 
-22522 
-22523 
22524 
-22525 
-22526 
-22527 
-22528 
-22529 
-22530 
22531 
-1386 
-22532 
-22533 
-22534 
-22535 
-22536 
22537 
-22538 
-22539 
-22540 
-22541 
28 
-1387 
22542 
-22543 
-22544 
-22545 
-22546 
-22547 
22548 
-22549 
-22550 
-22551 
-1388 
-22552 
-22553 
22554 
-22555 
-22556 
-22557 
-22558 
-22559 
22560 
-22561 
1389 
-22562 
22563 
-22564 
-22565 
-22566 
-22567 
-22568 
-22569 
-22570 
-22571 
-1390 
-22572 
22573 
-22574 
-22575 
-22576 
-22577 
-22578 
22579 
-22580 
-22581 
-1391 
22582 
-22583 
-22584 
-22585 
-22586 
-22587 
-22588 
-22589 
22590 
-22591 
-1533 
-22592 
-22593 
-22594 
-22595 
22596 
-22597 
-22598 
-22599 
-22600 
-22601 
-1534 
-22602 
22603 
-22604 
-22605 
-22606 
-22607 
-22608 
-22609 
22610 
-22611 
1535 
-22612 
-22613 
-22614 
22615 
-22616 
-22617 
-22618 
-22619 
22620 
-22621 
-1536 
-22622 
-22623 
-22624 
-22625 
22626 
-22627 
-22628 
-22629 
-22630 
-22631 
-1537 
22632 
-22633 
-22634 
-22635 
-22636 
-22637 
22638 
-22639 
-22640 
-22641 
-143 
-1538 
-22642 
-22643 
-22644 
22645 
-22646 
-22647 
-22648 
-22649 
-22650 
22651 
-1539 
-22652 
22653 
-22654 
-22655 
-22656 
-22657 
-22658 
-22659 
-22660 
22661 
1540 
-22662 
-22663 
-22664 
-22665 
-22666 
-22667 
-22668 
22669 
-22670 
22671 
-1541 
-22672 
-22673 
-22674 
-22675 
-22676 
-22677 
-22678 
-22679 
22680 
-22681 
-1542 
-22682 
-22683 
-22684 
22685 
-22686 
-22687 
-22688 
-22689 
-22690 
-22691 
-1543 
-22692 
22693 
-22694 
-22695 
-22696 
-22697 
-22698 
-22699 
-22700 
-22701 
-1544 
-22702 
-22703 
22704 
-22705 
-22706 
-22707 
-22708 
-22709 
-22710 
22711 
1545 
-22712 
-22713 
-22714 
-22715 
-22716 
22717 
-22718 
-22719 
-22720 
-22721 
-1546 
-22722 
22723 
-22724 
-22725 
-22726 
-22727 
22728 
-22729 
-22730 
-22731 
-1547 
22732 
-22733 
-22734 
-22735 
-22736 
-22737 
-22738 
-22739 
22740 
-22741 
-3 
-144 
-1548 
-22742 
-22743 
-22744 
22745 
-22746 
-22747 
-22748 
-22749 
-22750 
-22751 
-1549 
-22752 
22753 
-22754 
-22755 
-22756 
-22757 
22758 
-22759 
-22760 
-22761 
-1550 
-22762 
-22763 
22764 
-22765 
-22766 
-22767 
-22768 
-22769 
-22770 
22771 
-1551 
-22772 
-22773 
-22774 
-22775 
-22776 
22777 
-22778 
-22779 
-22780 
-22781 
-1552 
22782 
-22783 
-22784 
-22785 
-22786 
-22787 
-22788 
22789 
-22790 
-22791 
-1553 
-22792 
-22793 
22794 
-22795 
-22796 
-22797 
-22798 
22799 
-22800 
-22801 
-1554 
-22802 
-22803 
-22804 
-22805 
-22806 
22807 
-22808 
-22809 
-22810 
22811 
-1555 
-22812 
-22813 
-22814 
-22815 
-22816 
-22817 
22818 
-22819 
-22820 
-22821 
-1556 
-22822 
-22823 
22824 
-22825 
-22826 
-22827 
-22828 
-22829 
-22830 
22831 
-1557 
-22832 
-22833 
-22834 
22835 
-22836 
-22837 
-22838 
-22839 
-22840 
-22841 
145 
-1558 
-22842 
22843 
-22844 
22845 
-22846 
-22847 
-22848 
-22849 
-22850 
-22851 
-1559 
-22852 
-22853 
22854 
-22855 
-22856 
-22857 
-22858 
-22859 
-22860 
22861 
-1560 
-22862 
-22863 
-22864 
-22865 
22866 
-22867 
-22868 
-22869 
-22870 
22871 
-1561 
-22872 
-22873 
-22874 
-22875 
-22876 
-22877 
-22878 
22879 
-22880 
-22881 
-1703 
-22882 
22883 
-22884 
-22885 
-22886 
-22887 
-22888 
-22889 
-22890 
22891 
-1704 
-22892 
-22893 
-22894 
-22895 
-22896 
22897 
-22898 
22899 
-22900 
-22901 
-1705 
-22902 
-22903 
-22904 
-22905 
-22906 
-22907 
22908 
-22909 
-22910 
-22911 
-1706 
-22912 
-22913 
22914 
-22915 
-22916 
-22917 
-22918 
-22919 
-22920 
22921 
-1707 
-22922 
-22923 
-22924 
-22925 
22926 
-22927 
-22928 
-22929 
-22930 
-22931 
1708 
-22932 
-22933 
22934 
-22935 
-22936 
-22937 
-22938 
22939 
-22940 
-22941 
-146 
-1709 
-22942 
22943 
-22944 
-22945 
-22946 
-22947 
-22948 
-22949 
22950 
-22951 
-1710 
-22952 
-22953 
22954 
-22955 
-22956 
-22957 
-22958 
-22959 
-22960 
-22961 
-1711 
22962 
-22963 
-22964 
-22965 
-22966 
-22967 
-22968 
22969 
-22970 
-22971 
-1712 
-22972 
22973 
-22974 
-22975 
-22976 
22977 
-22978 
-22979 
-22980 
-22981 
-1713 
-22982 
-22983 
22984 
-22985 
-22986 
-22987 
-22988 
-22989 
22990 
-22991 
1714 
-22992 
-22993 
-22994 
22995 
-22996 
-22997 
-22998 
-22999 
-23000 
-23001 
-1715 
-23002 
-23003 
23004 
-23005 
-23006 
-23007 
23008 
-23009 
-23010 
-23011 
-1716 
-23012 
-23013 
-23014 
23015 
-23016 
-23017 
-23018 
-23019 
-23020 
23021 
-1717 
-23022 
-23023 
-23024 
-23025 
-23026 
-23027 
23028 
-23029 
-23030 
-23031 
-1718 
-23032 
-23033 
23034 
-23035 
-23036 
-23037 
-23038 
-23039 
23040 
-23041 
-147 
1719 
-23042 
-23043 
-23044 
-23045 
-23046 
23047 
-23048 
-23049 
23050 
-23051 
-1720 
-23052 
-23053 
-23054 
-23055 
-23056 
-23057 
-23058 
23059 
-23060 
-23061 
-1721 
-23062 
-23063 
23064 
-23065 
-23066 
-23067 
-23068 
-23069 
23070 
-23071 
-1722 
-23072 
-23073 
-23074 
-23075 
23076 
-23077 
-23078 
-23079 
-23080 
-23081 
-1723 
-23082 
23083 
-23084 
-23085 
-23086 
-23087 
-23088 
-23089 
23090 
-23091 
-1724 
23092 
-23093 
-23094 
-23095 
-23096 
-23097 
23098 
-23099 
-23100 
-23101 
-1725 
-23102 
-23103 
-23104 
-23105 
23106 
-23107 
-23108 
23109 
-23110 
-23111 
-1726 
-23112 
-23113 
-23114 
-23115 
-23116 
-23117 
23118 
-23119 
-23120 
-23121 
-1727 
-23122 
-23123 
-23124 
23125 
-23126 
-23127 
-23128 
-23129 
23130 
-23131 
-1728 
-23132 
-23133 
-23134 
23135 
-23136 
-23137 
-23138 
-23139 
-23140 
-23141 
-148 
-1729 
-23142 
23143 
-23144 
-23145 
-23146 
-23147 
-23148 
-23149 
23150 
-23151 
-1730 
-23152 
-23153 
23154 
-23155 
-23156 
-23157 
-23158 
-23159 
-23160 
23161 
-1731 
-23162 
-23163 
23164 
-23165 
-23166 
-23167 
-23168 
-23169 
-23170 
-23171 
-1873 
-23172 
-23173 
23174 
-23175 
-23176 
-23177 
23178 
-23179 
-23180 
-23181 
-1874 
23182 
-23183 
-23184 
-23185 
-23186 
-23187 
-23188 
23189 
-23190 
-23191 
-1875 
-23192 
-23193 
-23194 
-23195 
-23196 
23197 
-23198 
-23199 
-23200 
-23201 
-1876 
23202 
-23203 
-23204 
-23205 
-23206 
-23207 
23208 
-23209 
-23210 
-23211 
-1877 
-23212 
-23213 
23214 
-23215 
-23216 
-23217 
-23218 
-23219 
23220 
-23221 
-1878 
-23222 
-23223 
-23224 
-23225 
23226 
-23227 
-23228 
-23229 
-23230 
-23231 
-1879 
-23232 
23233 
-23234 
-23235 
-23236 
-23237 
-23238 
23239 
-23240 
-23241 
-149 
-1880 
-23242 
-23243 
-23244 
23245 
-23246 
23247 
-23248 
-23249 
-23250 
-23251 
-1881 
-23252 
-23253 
-23254 
-23255 
23256 
-23257 
-23258 
-23259 
23260 
-23261 
-1882 
-23262 
-23263 
-23264 
-23265 
-23266 
-23267 
23268 
-23269 
-23270 
-23271 
-1883 
23272 
-23273 
-23274 
-23275 
-23276 
-23277 
23278 
-23279 
-23280 
-23281 
-1884 
-23282 
-23283 
-23284 
-23285 
23286 
-23287 
-23288 
-23289 
-23290 
-23291 
1885 
23292 
-23293 
-23294 
-23295 
-23296 
-23297 
23298 
-23299 
-23300 
-23301 
-1886 
-23302 
-23303 
23304 
-23305 
-23306 
-23307 
-23308 
-23309 
23310 
-23311 
-1887 
-23312 
-23313 
-23314 
-23315 
23316 
-23317 
-23318 
-23319 
-23320 
-23321 
-1888 
23322 
-23323 
-23324 
-23325 
-23326 
-23327 
-23328 
23329 
-23330 
-23331 
-1889 
-23332 
23333 
-23334 
-23335 
-23336 
-23337 
-23338 
-23339 
23340 
-23341 
-150 
-1890 
-23342 
-23343 
23344 
-23345 
-23346 
-23347 
-23348 
-23349 
-23350 
-23351 
-1891 
-23352 
23353 
-23354 
-23355 
-23356 
-23357 
23358 
-23359 
-23360 
-23361 
-1892 
-23362 
-23363 
-23364 
23365 
-23366 
-23367 
-23368 
-23369 
-23370 
23371 
-1893 
-23372 
-23373 
-23374 
-23375 
-23376 
23377 
-23378 
-23379 
-23380 
-23381 
-1894 
-23382 
23383 
-23384 
-23385 
-23386 
-23387 
-23388 
23389 
-23390 
-23391 
1895 
-23392 
23393 
-23394 
-23395 
-23396 
-23397 
-23398 
-23399 
23400 
-23401 
-1896 
-23402 
-23403 
-23404 
-23405 
-23406 
23407 
-23408 
23409 
-23410 
-23411 
-1897 
-23412 
-23413 
-23414 
-23415 
-23416 
-23417 
23418 
-23419 
-23420 
-23421 
-1898 
23422 
-23423 
-23424 
-23425 
-23426 
23427 
-23428 
-23429 
-23430 
-23431 
-1899 
-23432 
-23433 
-23434 
23435 
-23436 
-23437 
-23438 
-23439 
-23440 
-23441 
-151 
-1900 
23442 
-23443 
-23444 
-23445 
-23446 
-23447 
-23448 
-23449 
23450 
-23451 
-1901 
-23452 
-23453 
23454 
-23455 
-23456 
-23457 
-23458 
23459 
-23460 
-23461 
-2062 
-23462 
-23463 
-23464 
-23465 
23466 
-23467 
-23468 
-23469 
-23470 
-23471 
-2063 
-23472 
23473 
-23474 
-23475 
-23476 
23477 
-23478 
-23479 
-23480 
-23481 
-2064 
-23482 
-23483 
-23484 
-23485 
23486 
-23487 
-23488 
-23489 
23490 
-23491 
-2065 
-23492 
-23493 
-23494 
-23495 
23496 
-23497 
-23498 
-23499 
23500 
-23501 
-2066 
-23502 
-23503 
-23504 
-23505 
-23506 
-23507 
23508 
-23509 
-23510 
-23511 
-2067 
-23512 
-23513 
-23514 
23515 
-23516 
-23517 
-23518 
-23519 
-23520 
23521 
-2068 
-23522 
-23523 
-23524 
-23525 
-23526 
23527 
-23528 
-23529 
-23530 
-23531 
-2069 
-23532 
23533 
-23534 
-23535 
-23536 
-23537 
23538 
-23539 
-23540 
-23541 
-152 
2070 
-23542 
-23543 
-23544 
23545 
-23546 
-23547 
-23548 
-23549 
-23550 
23551 
-2071 
-23552 
-23553 
-23554 
-23555 
-23556 
23557 
-23558 
-23559 
-23560 
-23561 
-2072 
23562 
-23563 
-23564 
23565 
-23566 
-23567 
-23568 
-23569 
-23570 
23571 
-2073 
-23572 
-23573 
-23574 
-23575 
-23576 
-23577 
-23578 
-23579 
-23580 
-23581 
-2074 
23582 
-23583 
-23584 
23585 
-23586 
-23587 
-23588 
-23589 
23590 
-23591 
-2075 
-23592 
-23593 
-23594 
-23595 
-23596 
-23597 
23598 
-23599 
-23600 
-23601 
-2076 
-23602 
-23603 
23604 
-23605 
-23606 
-23607 
23608 
-23609 
-23610 
-23611 
-2077 
-23612 
-23613 
-23614 
-23615 
-23616 
-23617 
23618 
-23619 
-23620 
-23621 
-2078 
23622 
-23623 
-23624 
-23625 
23626 
-23627 
-23628 
-23629 
-23630 
-23631 
-2079 
-23632 
23633 
-23634 
-23635 
-23636 
23637 
-23638 
-23639 
-23640 
-23641 
-153 
-2080 
-23642 
-23643 
-23644 
-23645 
23646 
-23647 
-23648 
-23649 
-23650 
-23651 
-2081 
23652 
-23653 
-23654 
-23655 
23656 
-23657 
-23658 
-23659 
-23660 
-23661 
-2082 
-23662 
-23663 
-23664 
-23665 
23666 
23667 
-23668 
-23669 
-23670 
-23671 
-2083 
-23672 
-23673 
-23674 
-23675 
-23676 
-23677 
23678 
-23679 
-23680 
-23681 
-2084 
-23682 
-23683 
23684 
-23685 
-23686 
-23687 
23688 
-23689 
-23690 
-23691 
-2085 
-23692 
23693 
-23694 
-23695 
-23696 
-23697 
-23698 
23699 
-23700 
-23701 
-2086 
-23702 
-23703 
23704 
-23705 
-23706 
-23707 
-23708 
23709 
-23710 
-23711 
-2087 
-23712 
-23713 
-23714 
-23715 
23716 
-23717 
-23718 
-23719 
-23720 
23721 
-2088 
-23722 
-23723 
-23724 
-23725 
-23726 
-23727 
-23728 
-23729 
-23730 
-23731 
2089 
-23732 
-23733 
23734 
-23735 
-23736 
-23737 
-23738 
23739 
-23740 
-23741 
-4 
-154 
-2090 
-23742 
-23743 
-23744 
-23745 
-23746 
-23747 
-23748 
-23749 
23750 
-23751 
-2251 
-23752 
-23753 
-23754 
-23755 
23756 
-23757 
-23758 
-23759 
-23760 
23761 
-2252 
-23762 
-23763 
-23764 
-23765 
-23766 
-23767 
23768 
-23769 
-23770 
-23771 
-2253 
-23772 
23773 
-23774 
-23775 
-23776 
-23777 
23778 
-23779 
-23780 
-23781 
-2254 
-23782 
-23783 
-23784 
-23785 
23786 
-23787 
-23788 
-23789 
-23790 
-23791 
-2255 
-23792 
-23793 
-23794 
-23795 
-23796 
23797 
-23798 
23799 
-23800 
-23801 
-2256 
-23802 
-23803 
-23804 
-23805 
23806 
-23807 
-23808 
-23809 
-23810 
-23811 
-2257 
-23812 
23813 
-23814 
-23815 
-23816 
-23817 
-23818 
-23819 
-23820 
23821 
-2258 
-23822 
-23823 
-23824 
-23825 
-23826 
23827 
-23828 
-23829 
23830 
-23831 
-2259 
-23832 
-23833 
-23834 
-23835 
-23836 
-23837 
23838 
-23839 
-23840 
-23841 
-155 
-2260 
-23842 
23843 
-23844 
-23845 
-23846 
-23847 
-23848 
-23849 
-23850 
-23851 
-2261 
23852 
-23853 
-23854 
-23855 
-23856 
-23857 
23858 
-23859 
-23860 
23861 
-2262 
-23862 
-23863 
-23864 
-23865 
-23866 
23867 
-23868 
-23869 
-23870 
-23871 
-2263 
-23872 
-23873 
-23874 
-23875 
23876 
-23877 
-23878 
-23879 
-23880 
-23881 
-2264 
23882 
-23883 
23884 
-23885 
-23886 
-23887 
-23888 
23889 
-23890 
-23891 
-2265 
-23892 
-23893 
-23894 
-23895 
23896 
-23897 
-23898 
-23899 
-23900 
-23901 
-2266 
23902 
-23903 
-23904 
-23905 
-23906 
-23907 
-23908 
-23909 
-23910 
23911 
-2267 
-23912 
-23913 
-23914 
-23915 
23916 
-23917 
-23918 
23919 
-23920 
-23921 
-2268 
-23922 
-23923 
-23924 
-23925 
-23926 
-23927 
-23928 
-23929 
23930 
-23931 
-2269 
23932 
-23933 
-23934 
-23935 
-23936 
-23937 
23938 
-23939 
-23940 
-23941 
-156 
-2270 
-23942 
23943 
-23944 
-23945 
-23946 
-23947 
-23948 
-23949 
-23950 
-23951 
-2271 
-23952 
-23953 
-23954 
-23955 
-23956 
-23957 
-23958 
23959 
-23960 
-23961 
2272 
-23962 
-23963 
-23964 
23965 
-23966 
-23967 
-23968 
23969 
-23970 
-23971 
-2273 
-23972 
-23973 
-23974 
-23975 
-23976 
-23977 
23978 
-23979 
-23980 
-23981 
-2274 
23982 
-23983 
-23984 
-23985 
-23986 
23987 
-23988 
-23989 
-23990 
23991 
-2275 
-23992 
-23993 
-23994 
-23995 
-23996 
23997 
-23998 
-23999 
-24000 
-24001 
-2276 
-24002 
24003 
-24004 
-24005 
-24006 
-24007 
-24008 
-24009 
-24010 
24011 
-2277 
-24012 
-24013 
-24014 
-24015 
-24016 
-24017 
-24018 
-24019 
24020 
-24021 
-2278 
24022 
-24023 
-24024 
-24025 
-24026 
24027 
-24028 
-24029 
-24030 
-24031 
-2279 
-24032 
-24033 
-24034 
-24035 
-24036 
-24037 
24038 
-24039 
-24040 
-24041 
-157 
-2440 
-24042 
-24043 
24044 
-24045 
-24046 
-24047 
-24048 
-24049 
24050 
-24051 
-2441 
-24052 
-24053 
-24054 
-24055 
24056 
-24057 
-24058 
24059 
-24060 
-24061 
-2442 
-24062 
-24063 
24064 
-24065 
-24066 
-24067 
-24068 
-24069 
-24070 
24071 
-2443 
-24072 
-24073 
-24074 
-24075 
-24076 
-24077 
24078 
-24079 
-24080 
-24081 
-2444 
-24082 
-24083 
-24084 
-24085 
24086 
-24087 
-24088 
-24089 
-24090 
-24091 
-2445 
24092 
-24093 
-24094 
-24095 
-24096 
24097 
-24098 
24099 
-24100 
-24101 
-2446 
-24102 
-24103 
-24104 
-24105 
-24106 
-24107 
24108 
-24109 
-24110 
24111 
-2447 
-24112 
-24113 
-24114 
-24115 
-24116 
-24117 
24118 
-24119 
-24120 
-24121 
-2448 
-24122 
-24123 
-24124 
-24125 
-24126 
24127 
-24128 
-24129 
-24130 
-24131 
-2449 
-24132 
-24133 
24134 
-24135 
24136 
-24137 
-24138 
-24139 
-24140 
-24141 
158 
-2450 
-24142 
-24143 
-24144 
-24145 
24146 
-24147 
24148 
-24149 
-24150 
-24151 
2451 
-24152 
-24153 
-24154 
-24155 
-24156 
-24157 
-24158 
-24159 
-24160 
-24161 
-2452 
-24162 
-24163 
24164 
-24165 
24166 
-24167 
-24168 
-24169 
-24170 
24171 
-2453 
-24172 
-24173 
-24174 
-24175 
-24176 
-24177 
-24178 
-24179 
-24180 
24181 
2454 
-24182 
-24183 
-24184 
-24185 
24186 
-24187 
-24188 
-24189 
24190 
-24191 
-2455 
-24192 
-24193 
-24194 
-24195 
-24196 
24197 
-24198 
-24199 
-24200 
-24201 
-2456 
-24202 
-24203 
-24204 
-24205 
24206 
-24207 
-24208 
-24209 
24210 
-24211 
-2457 
-24212 
-24213 
24214 
-24215 
-24216 
-24217 
-24218 
-24219 
-24220 
24221 
-2458 
-24222 
-24223 
-24224 
-24225 
-24226 
24227 
-24228 
-24229 
-24230 
-24231 
-2459 
-24232 
24233 
-24234 
-24235 
-24236 
-24237 
-24238 
-24239 
-24240 
24241 
159 
-2460 
-24242 
-24243 
-24244 
-24245 
-24246 
-24247 
24248 
-24249 
-24250 
-24251 
-2461 
24252 
-24253 
-24254 
-24255 
-24256 
-24257 
-24258 
24259 
-24260 
-24261 
-2462 
-24262 
-24263 
-24264 
24265 
-24266 
-24267 
-24268 
-24269 
-24270 
24271 
2463 
-24272 
-24273 
-24274 
-24275 
24276 
-24277 
-24278 
-24279 
-24280 
-24281 
-2464 
24282 
-24283 
-24284 
-24285 
-24286 
-24287 
24288 
-24289 
-24290 
-24291 
-2465 
-24292 
-24293 
-24294 
24295 
-24296 
-24297 
-24298 
-24299 
-24300 
24301 
-2466 
-24302 
-24303 
-24304 
-24305 
24306 
-24307 
-24308 
-24309 
-24310 
-24311 
-2467 
-24312 
24313 
-24314 
-24315 
-24316 
24317 
-24318 
-24319 
-24320 
-24321 
-2468 
-24322 
-24323 
24324 
-24325 
-24326 
-24327 
-24328 
-24329 
-24330 
24331 
2629 
-24332 
-24333 
-24334 
-24335 
-24336 
24337 
-24338 
-24339 
-24340 
-24341 
-160 
-2630 
-24342 
24343 
-24344 
-24345 
-24346 
-24347 
24348 
-24349 
-24350 
-24351 
-2631 
-24352 
-24353 
-24354 
24355 
-24356 
-24357 
-24358 
-24359 
24360 
-24361 
-2632 
-24362 
-24363 
-24364 
-24365 
-24366 
24367 
-24368 
-24369 
-24370 
-24371 
-2633 
-24372 
24373 
-24374 
-24375 
-24376 
-24377 
24378 
-24379 
-24380 
-24381 
-2634 
-24382 
-24383 
-24384 
24385 
-24386 
-24387 
-24388 
-24389 
-24390 
24391 
-2635 
-24392 
-24393 
-24394 
-24395 
24396 
-24397 
-24398 
-24399 
-24400 
-24401 
-2636 
24402 
-24403 
-24404 
-2637 
-2638 
-2639 
-161 
-2640 
-2641 
-2642 
-2643 
-2644 
2645 
-2646 
-2647 
-2648 
-2649 
-162 
-2650 
-2651 
-2652 
-2653 
-2654 
-2655 
-2656 
-2657 
-2818 
2819 
-163 
-2820 
-2821 
-2822 
-2823 
-2824 
-2825 
-2826 
-2827 
-2828 
-2829 
-5 
-164 
-2830 
-2831 
-2832 
-2833 
-2834 
-2835 
-2836 
-2837 
2838 
-2839 
-165 
-2840 
-2841 
-2842 
-2843 
-2844 
-2845 
2846 
-3007 
-3008 
-3009 
-166 
-3010 
-3011 
-3012 
-3013 
-3014 
-3015 
-3016 
-3017 
-3018 
-3019 
-167 
-3020 
-3021 
-3022 
-3023 
-3024 
-3025 
-3026 
-3027 
3028 
-3029 
-168 
-3030 
-3031 
-3032 
-3033 
-3034 
-3035 
-3196 
-3197 
-3198 
-3199 
-169 
-3200 
-3201 
-3202 
-3203 
-3204 
-3205 
-3206 
-3207 
3208 
-3209 
-170 
-3210 
-3211 
-3212 
3213 
-3214 
-3215 
-3216 
-3217 
-3218 
-3219 
-285 
-3220 
-3221 
-3222 
-3223 
-3224 
-3385 
-3386 
-3387 
-3388 
-3389 
-286 
-3390 
-3391 
-3392 
-3393 
-3394 
3395 
-3396 
-3397 
-3398 
-3399 
-287 
-3400 
-3401 
-3402 
-3403 
-3404 
-3405 
-3406 
-3407 
-3408 
-3409 
-6 
288 
3410 
-3411 
-3412 
-3413 
-3574 
-3575 
-3576 
-3577 
-3578 
-3579 
-289 
-3580 
-3581 
-3582 
-3583 
-3584 
-3585 
-3586 
-3587 
-3588 
-3589 
-290 
-3590 
-3591 
-3592 
-3593 
3594 
-3595 
-3596 
-3597 
3598 
-3599 
-291 
-3600 
-3601 
-3602 
-3763 
-3764 
-3765 
-3766 
-3767 
-3768 
-3769 
-292 
-3770 
-3771 
-3772 
-3773 
3774 
-3775 
-3776 
-3777 
-3778 
-3779 
-293 
-3780 
-3781 
-3782 
-3783 
-3784 
-3785 
-3786 
-3787 
-3788 
3789 
-294 
-3790 
3791 
3952 
-3953 
-3954 
-3955 
-3956 
-3957 
-3958 
-3959 
-295 
-3960 
3961 
-3962 
-3963 
-3964 
-3965 
-3966 
-3967 
-3968 
-3969 
-296 
-3970 
-3971 
-3972 
-3973 
-3974 
-3975 
-3976 
-3977 
-3978 
-3979 
-297 
-3980 
-4141 
-4142 
-4143 
-4144 
-4145 
-4146 
-4147 
4148 
-4149 
-7 
-298 
-4150 
4151 
-4152 
-4153 
-4154 
-4155 
-4156 
-4157 
-4158 
-4159 
-299 
-4160 
-4161 
-4162 
-4163 
-4164 
4165 
-4166 
-4167 
-4168 
-4169 
-300 
-4330 
-4331 
-4332 
-4333 
-4334 
-4335 
-4336 
-4337 
-4338 
4339 
-301 
-4340 
-4341 
-4342 
-4343 
-4344 
-4345 
-4346 
-4347 
-4348 
-4349 
-302 
-4350 
-4351 
-4352 
-4353 
-4354 
-4355 
4356 
-4357 
-4358 
-4519 
-303 
4520 
-4521 
-4522 
-4523 
-4524 
-4525 
-4526 
4527 
-4528 
-4529 
304 
-4530 
-4531 
-4532 
-4533 
-4534 
-4535 
-4536 
-4537 
-4538 
-4539 
-305 
-4540 
-4541 
-4542 
-4543 
-4544 
-4545 
-4546 
-4547 
-4708 
-4709 
-306 
-4710 
-4711 
-4712 
-4713 
-4714 
-4715 
-4716 
-4717 
-4718 
-4719 
-307 
-4720 
-4721 
-4722 
-4723 
-4724 
-4725 
-4726 
-4727 
-4728 
4729 
-8 
-308 
-4730 
-4731 
-4732 
-4733 
-4734 
-4735 
-4736 
-4897 
-4898 
-4899 
-309 
-4900 
-4901 
-4902 
-4903 
-4904 
-4905 
-4906 
-4907 
-4908 
-4909 
-310 
-4910 
4911 
-4912 
-4913 
-4914 
-4915 
-4916 
-4917 
-4918 
4919 
-311 
-4920 
-4921 
-4922 
-4923 
-4924 
-4925 
-5086 
-5087 
5088 
5089 
-312 
-5090 
-5091 
-5092 
-5093 
-5094 
-5095 
-5096 
-5097 
-5098 
5099 
-427 
-5100 
-5101 
-5102 
-5103 
-5104 
-5105 
-5106 
-5107 
-5108 
-5109 
-428 
-5110 
-5111 
-5112 
-5113 
-5114 
-5275 
5276 
-5277 
-5278 
-5279 
-429 
-5280 
-5281 
-5282 
-5283 
-5284 
-5285 
-5286 
-5287 
-5288 
-5289 
-430 
-5290 
-5291 
5292 
-5293 
-5294 
-5295 
-5296 
-5297 
-5298 
-5299 
-431 
-5300 
-5301 
-5302 
-5303 
-5485 
-5486 
-5487 
-5488 
-5489 
5490 
9 
432 
-5491 
-5492 
-5493 
-5494 
5495 
-5496 
-5497 
5498 
5499 
-5500 
-433 
-5501 
-5502 
-5503 
-5504 
-5505 
-5506 
-5507 
-5508 
-5509 
-5510 
434 
-5511 
-5512 
-5513 
-5695 
-5696 
-5697 
-5698 
-5699 
-5700 
5701 
-435 
5702 
-5703 
-5704 
-5705 
5706 
-5707 
-5708 
-5709 
-5710 
-5711 
-436 
-5712 
-5713 
-5714 
-5715 
-5716 
-5717 
-5718 
-5719 
-5720 
-5721 
-437 
-5722 
-5723 
5905 
-5906 
-5907 
-5908 
-5909 
-5910 
-5911 
-5912 
-438 
-5913 
-5914 
-5915 
-5916 
-5917 
-5918 
-5919 
5920 
-5921 
-5922 
-439 
-5923 
-5924 
-5925 
-5926 
-5927 
-5928 
-5929 
-5930 
-5931 
5932 
-440 
-5933 
-6115 
-6116 
-6117 
-6118 
-6119 
-6120 
-6121 
-6122 
6123 
-441 
-6124 
-6125 
-6126 
-6127 
-6128 
-6129 
-6130 
-6131 
-6132 
-6133 
s SATISFIABLE
v -v1 -v10 -v100 -v1000 v1001 -v1002 -v1003 -v1004 -v1005 -v1006 -v1007 -v1008 -v1009 -v101 -v1010 -v1011 -v1012 -v1013 -v1014 -v1015 -v1016 -v1017 -v1018 -v1019 -v102 -v1020 -v1021 -v1022 -v1023 -v1024 -v1025 -v1026 -v1027 v1028 -v1029 -v103 -v1030 -v1031 -v1032 -v1033 v1034 -v1035 -v1036 -v1037 -v1038 -v1039 -v104 -v1040 -v1041 -v1042 -v1043 v1044 v1045 -v1046 -v1047 -v1048 -v1049 -v105 -v1050 -v1051 -v1052 -v1053 v1054 -v1055 -v1056 -v1057 -v1058 -v1059 -v106 -v1060 -v1061 -v1062 -v1063 -v1064 -v1065 -v1066 -v1067 -v1068 -v1069 -v107 -v1070 -v1071 -v1072 -v1073 -v1074 -v1075 -v1076 -v1077 -v1078 -v1079 -v108 -v1080 -v1081 -v1082 -v1083 -v1084 -v1085 -v1086 -v1087 -v1088 -v1089 -v109 -v1090 v1091 v1092 -v1093 -v1094 -v1095 -v1096 -v1097 -v1098 -v1099 -v11 -v110 -v1100 -v1101 -v1102 -v1103 -v1104 -v1105 -v1106 -v1107 -v1108 -v1109 -v111 -v1110 v1111 -v1112 -v1113 v1114 -v1115 -v1116 -v1117 -v1118 -v1119 -v112 -v1120 -v1121 -v1122 -v1123 -v1124 -v1125 -v1126 -v1127 -v1128 -v1129 -v113 -v1130 -v1131 -v1132 -v1133 -v1134 -v1135 -v1136 -v1137 v1138 -v1139 -v114 -v1140 -v1141 -v1142 -v1143 -v1144 -v1145 -v1146 -v1147 -v1148 -v1149 -v115 -v1150 v1151 -v1152 -v1153 -v1154 -v1155 -v1156 -v1157 -v1158 -v1159 -v116 -v1160 -v1161 -v1162 -v1163 -v1164 -v1165 -v1166 -v1167 -v1168 -v1169 v117 -v1170 -v1171 -v1172 v1173 -v1174 -v1175 -v1176 -v1177 -v1178 -v1179 -v118 -v1180 -v1181 v1182 -v1183 -v1184 -v1185 -v1186 -v1187 -v1188 -v1189 -v119 -v1190 v1191 -v1192 -v1193 -v1194 -v1195 -v1196 -v1197 -v1198 -v1199 -v12 -v120 -v1200 -v1201 -v1202 -v1203 -v1204 -v1205 v1206 -v1207 -v1208 -v1209 -v121 -v1210 -v1211 -v1212 -v1213 -v1214 v1215 -v1216 -v1217 -v1218 -v1219 -v122 -v1220 -v1221 -v1222 -v1223 -v1224 -v1225 -v1226 -v1227 -v1228 -v1229 -v123 -v1230 -v1231 -v1232 -v1233 -v1234 -v1235 -v1236 -v1237 v1238 -v1239 -v124 -v1240 -v1241 -v1242 -v1243 -v1244 -v1245 -v1246 -v1247 -v1248 -v1249 -v125 -v1250 -v1251 -v1252 -v1253 -v1254 -v1255 -v1256 -v1257 -v1258 -v1259 -v126 -v1260 -v1261 -v1262 v1263 -v1264 -v1265 -v1266 -v1267 -v1268 -v1269 -v127 -v1270 -v1271 -v1272 -v1273 -v1274 -v1275 -v1276 -v1277 -v1278 -v1279 -v128 v1280 -v1281 -v1282 -v1283 -v1284 -v1285 -v1286 v1287 -v1288 -v1289 -v129 -v1290 -v1291 -v1292 -v1293 -v1294 -v1295 -v1296 -v1297 -v1298 v1299 -v13 -v130 -v1300 -v1301 -v1302 -v1303 -v1304 -v1305 -v1306 -v1307 v1308 -v1309 -v131 -v1310 -v1311 -v1312 -v1313 -v1314 -v1315 -v1316 -v1317 v1318 -v1319 -v132 -v1320 -v1321 -v1322 -v1323 -v1324 -v1325 -v1326 -v1327 -v1328 -v1329 -v133 v1330 -v1331 -v1332 -v1333 -v1334 -v1335 -v1336 -v1337 -v1338 -v1339 -v134 -v1340 -v1341 v1342 -v1343 -v1344 -v1345 -v1346 -v1347 -v1348 -v1349 -v135 -v1350 -v1351 v1352 -v1353 -v1354 -v1355 -v1356 -v1357 -v1358 -v1359 v136 -v1360 -v1361 -v1362 -v1363 v1364 -v1365 -v1366 -v1367 v1368 -v1369 -v137 -v1370 -v1371 -v1372 -v1373 -v1374 -v1375 -v1376 v1377 -v1378 -v1379 -v138 -v1380 -v1381 -v1382 -v1383 -v1384 -v1385 -v1386 v1387 -v1388 -v1389 -v139 -v1390 -v1391 -v1392 -v1393 -v1394 -v1395 -v1396 -v1397 -v1398 -v1399 -v14 -v140 -v1400 -v1401 -v1402 -v1403 -v1404 -v1405 -v1406 -v1407 -v1408 -v1409 -v141 v1410 -v1411 -v1412 -v1413 -v1414 -v1415 -v1416 -v1417 -v1418 -v1419 -v142 -v1420 -v1421 -v1422 -v1423 -v1424 -v1425 -v1426 -v1427 -v1428 -v1429 -v143 -v1430 -v1431 -v1432 -v1433 -v1434 -v1435 -v1436 -v1437 -v1438 -v1439 -v144 -v1440 v1441 -v1442 -v1443 v1444 -v1445 -v1446 -v1447 -v1448 -v1449 -v145 -v1450 -v1451 -v1452 -v1453 -v1454 -v1455 -v1456 v1457 v1458 -v1459 -v146 -v1460 -v1461 -v1462 -v1463 -v1464 v1465 -v1466 -v1467 -v1468 -v1469 -v147 -v1470 -v1471 -v1472 -v1473 -v1474 -v1475 -v1476 -v1477 -v1478 -v1479 -v148 v1480 -v1481 -v1482 v1483 -v1484 -v1485 -v1486 -v1487 -v1488 -v1489 -v149 -v1490 -v1491 -v1492 -v1493 -v1494 -v1495 -v1496 -v1497 -v1498 -v1499 -v15 -v150 -v1500 -v1501 -v1502 -v1503 -v1504 -v1505 -v1506 -v1507 v1508 -v1509 -v151 -v1510 -v1511 -v1512 -v1513 -v1514 -v1515 -v1516 -v1517 -v1518 -v1519 -v152 v1520 -v1521 -v1522 -v1523 -v1524 -v1525 -v1526 -v1527 -v1528 -v1529 v153 -v1530 -v1531 -v1532 -v1533 -v1534 -v1535 -v1536 -v1537 -v1538 -v1539 -v154 v1540 -v1541 -v1542 -v1543 -v1544 -v1545 -v1546 -v1547 -v1548 -v1549 v155 -v1550 -v1551 -v1552 -v1553 -v1554 -v1555 -v1556 -v1557 v1558 -v1559 -v156 -v1560 -v1561 -v1562 -v1563 -v1564 -v1565 -v1566 -v1567 -v1568 -v1569 -v157 -v1570 -v1571 -v1572 -v1573 -v1574 -v1575 -v1576 v1577 -v1578 -v1579 -v158 v1580 v1581 -v1582 -v1583 -v1584 -v1585 -v1586 -v1587 -v1588 -v1589 -v159 v1590 -v1591 -v1592 v1593 -v1594 -v1595 -v1596 -v1597 -v1598 -v1599 -v16 -v160 -v1600 v1601 -v1602 -v1603 -v1604 -v1605 -v1606 -v1607 -v1608 -v1609 -v161 -v1610 -v1611 -v1612 -v1613 -v1614 -v1615 -v1616 -v1617 -v1618 -v1619 -v162 -v1620 -v1621 -v1622 -v1623 v1624 -v1625 -v1626 -v1627 -v1628 -v1629 -v163 -v1630 -v1631 -v1632 -v1633 -v1634 -v1635 -v1636 -v1637 -v1638 -v1639 -v164 -v1640 -v1641 -v1642 v1643 -v1644 -v1645 v1646 -v1647 -v1648 -v1649 -v165 v1650 -v1651 v1652 -v1653 -v1654 -v1655 -v1656 -v1657 -v1658 -v1659 -v166 -v1660 -v1661 -v1662 -v1663 -v1664 -v1665 -v1666 -v1667 -v1668 -v1669 -v167 v1670 -v1671 -v1672 -v1673 -v1674 -v1675 -v1676 -v1677 -v1678 -v1679 -v168 -v1680 -v1681 -v1682 -v1683 -v1684 -v1685 -v1686 -v1687 -v1688 -v1689 -v169 -v1690 -v1691 v1692 -v1693 -v1694 -v1695 -v1696 -v1697 v1698 -v1699 -v17 -v170 -v1700 -v1701 -v1702 -v1703 -v1704 -v1705 -v1706 -v1707 -v1708 -v1709 -v171 -v1710 -v1711 -v1712 -v1713 -v1714 -v1715 -v1716 -v1717 -v1718 -v1719 v172 -v1720 -v1721 -v1722 -v1723 -v1724 -v1725 -v1726 -v1727 -v1728 v1729 -v173 -v1730 v1731 -v1732 -v1733 -v1734 -v1735 -v1736 -v1737 -v1738 v1739 -v174 -v1740 -v1741 -v1742 -v1743 v1744 -v1745 -v1746 -v1747 v1748 -v1749 -v175 -v1750 -v1751 -v1752 -v1753 -v1754 -v1755 -v1756 -v1757 -v1758 -v1759 -v176 -v1760 -v1761 -v1762 -v1763 -v1764 -v1765 -v1766 -v1767 -v1768 -v1769 -v177 -v1770 v1771 -v1772 -v1773 -v1774 -v1775 -v1776 -v1777 -v1778 -v1779 -v178 -v1780 -v1781 v1782 -v1783 v1784 -v1785 -v1786 -v1787 -v1788 -v1789 -v179 -v1790 -v1791 -v1792 -v1793 -v1794 v1795 -v1796 -v1797 -v1798 -v1799 -v18 -v180 -v1800 -v1801 -v1802 -v1803 -v1804 -v1805 -v1806 -v1807 -v1808 -v1809 -v181 -v1810 -v1811 -v1812 -v1813 -v1814 -v1815 v1816 -v1817 -v1818 v1819 -v182 -v1820 -v1821 -v1822 -v1823 -v1824 v1825 -v1826 -v1827 -v1828 -v1829 v183 -v1830 -v1831 -v1832 -v1833 -v1834 -v1835 -v1836 -v1837 v1838 v1839 -v184 -v1840 -v1841 -v1842 -v1843 -v1844 -v1845 -v1846 -v1847 -v1848 -v1849 -v185 -v1850 -v1851 -v1852 -v1853 -v1854 -v1855 -v1856 -v1857 -v1858 -v1859 -v186 -v1860 -v1861 -v1862 -v1863 -v1864 -v1865 -v1866 -v1867 -v1868 -v1869 -v187 v1870 -v1871 -v1872 -v1873 -v1874 -v1875 v1876 -v1877 -v1878 -v1879 -v188 -v1880 -v1881 -v1882 -v1883 -v1884 -v1885 -v1886 -v1887 -v1888 -v1889 -v189 -v1890 -v1891 -v1892 -v1893 -v1894 -v1895 -v1896 -v1897 -v1898 -v1899 -v19 -v190 -v1900 v1901 -v1902 -v1903 -v1904 -v1905 -v1906 v1907 -v1908 -v1909 -v191 -v1910 -v1911 -v1912 -v1913 -v1914 -v1915 -v1916 -v1917 -v1918 -v1919 -v192 v1920 -v1921 -v1922 -v1923 -v1924 -v1925 -v1926 v1927 -v1928 -v1929 -v193 -v1930 -v1931 -v1932 -v1933 -v1934 -v1935 -v1936 -v1937 -v1938 -v1939 -v194 -v1940 -v1941 -v1942 -v1943 -v1944 -v1945 -v1946 -v1947 -v1948 -v1949 -v195 -v1950 -v1951 -v1952 -v1953 -v1954 -v1955 -v1956 -v1957 v1958 -v1959 v196 -v1960 -v1961 -v1962 -v1963 -v1964 v1965 -v1966 -v1967 -v1968 v1969 -v197 -v1970 -v1971 -v1972 -v1973 -v1974 -v1975 -v1976 -v1977 -v1978 -v1979 -v198 -v1980 -v1981 -v1982 -v1983 -v1984 -v1985 -v1986 -v1987 -v1988 -v1989 v199 -v1990 -v1991 -v1992 -v1993 v1994 -v1995 -v1996 -v1997 -v1998 -v1999 -v2 -v20 -v200 -v2000 -v2001 -v2002 -v2003 -v2004 -v2005 -v2006 -v2007 -v2008 -v2009 -v201 -v2010 -v2011 v2012 -v2013 -v2014 -v2015 -v2016 -v2017 -v2018 -v2019 v202 -v2020 -v2021 -v2022 -v2023 -v2024 -v2025 -v2026 -v2027 -v2028 -v2029 -v203 v2030 v2031 -v2032 -v2033 -v2034 -v2035 -v2036 -v2037 -v2038 -v2039 v204 -v2040 -v2041 -v2042 -v2043 -v2044 -v2045 -v2046 -v2047 -v2048 -v2049 -v205 -v2050 -v2051 -v2052 -v2053 -v2054 -v2055 -v2056 -v2057 -v2058 -v2059 -v206 -v2060 -v2061 -v2062 -v2063 -v2064 -v2065 v2066 -v2067 -v2068 -v2069 -v207 -v2070 -v2071 -v2072 -v2073 -v2074 -v2075 -v2076 -v2077 -v2078 -v2079 -v208 -v2080 -v2081 -v2082 -v2083 -v2084 -v2085 -v2086 -v2087 -v2088 -v2089 -v209 -v2090 -v2091 -v2092 -v2093 -v2094 -v2095 -v2096 -v2097 -v2098 v2099 -v21 -v210 -v2100 -v2101 -v2102 -v2103 -v2104 -v2105 -v2106 -v2107 -v2108 -v2109 -v211 -v2110 -v2111 -v2112 -v2113 -v2114 -v2115 -v2116 -v2117 -v2118 -v2119 -v212 v2120 -v2121 -v2122 -v2123 -v2124 -v2125 -v2126 -v2127 -v2128 -v2129 -v213 -v2130 -v2131 -v2132 -v2133 -v2134 -v2135 -v2136 -v2137 -v2138 -v2139 -v214 -v2140 -v2141 -v2142 -v2143 v2144 -v2145 -v2146 -v2147 -v2148 -v2149 -v215 -v2150 -v2151 -v2152 -v2153 -v2154 -v2155 -v2156 -v2157 -v2158 -v2159 -v216 -v2160 -v2161 -v2162 -v2163 -v2164 v2165 -v2166 -v2167 -v2168 -v2169 -v217 -v2170 -v2171 -v2172 -v2173 -v2174 -v2175 v2176 -v2177 -v2178 -v2179 -v218 v2180 -v2181 -v2182 v2183 -v2184 -v2185 -v2186 -v2187 -v2188 -v2189 -v219 -v2190 -v2191 -v2192 -v2193 -v2194 -v2195 -v2196 -v2197 -v2198 -v2199 -v22 -v220 -v2200 -v2201 -v2202 -v2203 -v2204 -v2205 v2206 -v2207 -v2208 -v2209 -v221 -v2210 -v2211 -v2212 -v2213 -v2214 -v2215 -v2216 v2217 -v2218 -v2219 -v222 -v2220 -v2221 -v2222 -v2223 -v2224 -v2225 -v2226 -v2227 -v2228 -v2229 -v223 -v2230 v2231 -v2232 -v2233 -v2234 -v2235 -v2236 v2237 -v2238 -v2239 -v224 v2240 -v2241 -v2242 -v2243 -v2244 -v2245 -v2246 -v2247 v2248 -v2249 -v225 -v2250 -v2251 -v2252 -v2253 v2254 -v2255 -v2256 -v2257 -v2258 -v2259 -v226 -v2260 v2261 -v2262 -v2263 -v2264 -v2265 -v2266 -v2267 v2268 -v2269 -v227 -v2270 -v2271 v2272 -v2273 -v2274 -v2275 -v2276 -v2277 v2278 -v2279 -v228 -v2280 -v2281 -v2282 -v2283 -v2284 v2285 -v2286 -v2287 -v2288 v2289 -v229 -v2290 -v2291 -v2292 -v2293 -v2294 -v2295 -v2296 v2297 -v2298 -v2299 -v23 -v230 -v2300 -v2301 v2302 -v2303 -v2304 -v2305 -v2306 -v2307 v2308 -v2309 -v231 -v2310 -v2311 -v2312 -v2313 v2314 -v2315 -v2316 -v2317 -v2318 -v2319 -v232 -v2320 v2321 -v2322 -v2323 -v2324 -v2325 v2326 -v2327 -v2328 -v2329 -v233 -v2330 v2331 -v2332 -v2333 -v2334 v2335 -v2336 -v2337 -v2338 -v2339 -v234 -v2340 -v2341 -v2342 v2343 -v2344 -v2345 -v2346 -v2347 -v2348 v2349 -v235 -v2350 -v2351 -v2352 -v2353 -v2354 -v2355 v2356 -v2357 -v2358 -v2359 -v236 -v2360 -v2361 v2362 -v2363 -v2364 -v2365 -v2366 -v2367 v2368 -v2369 -v237 -v2370 -v2371 -v2372 -v2373 v2374 -v2375 -v2376 -v2377 -v2378 -v2379 -v238 -v2380 -v2381 v2382 -v2383 -v2384 -v2385 v2386 -v2387 -v2388 -v2389 -v239 -v2390 -v2391 -v2392 -v2393 -v2394 -v2395 v2396 -v2397 -v2398 -v2399 -v24 -v240 -v2400 -v2401 -v2402 v2403 -v2404 -v2405 -v2406 -v2407 -v2408 -v2409 -v241 v2410 -v2411 -v2412 -v2413 -v2414 -v2415 -v2416 -v2417 v2418 -v2419 v242 -v2420 v2421 -v2422 -v2423 -v2424 -v2425 -v2426 -v2427 -v2428 v2429 -v243 -v2430 -v2431 -v2432 -v2433 -v2434 v2435 -v2436 -v2437 -v2438 -v2439 -v244 -v2440 v2441 -v2442 -v2443 -v2444 -v2445 v2446 -v2447 -v2448 -v2449 -v245 -v2450 -v2451 v2452 -v2453 -v2454 v2455 -v2456 -v2457 -v2458 -v2459 -v246 -v2460 -v2461 -v2462 -v2463 -v2464 v2465 -v2466 -v2467 v2468 -v2469 -v247 -v2470 -v2471 -v2472 -v2473 -v2474 -v2475 -v2476 v2477 -v2478 -v2479 -v248 -v2480 -v2481 -v2482 v2483 -v2484 -v2485 v2486 -v2487 -v2488 -v2489 v249 -v2490 -v2491 v2492 -v2493 -v2494 -v2495 -v2496 -v2497 -v2498 -v2499 -v25 -v250 -v2500 v2501 -v2502 -v2503 -v2504 -v2505 -v2506 v2507 -v2508 -v2509 -v251 -v2510 v2511 -v2512 -v2513 -v2514 -v2515 -v2516 -v2517 -v2518 v2519 -v252 -v2520 v2521 -v2522 -v2523 -v2524 -v2525 -v2526 -v2527 -v2528 -v2529 -v253 -v2530 v2531 -v2532 -v2533 -v2534 -v2535 v2536 -v2537 -v2538 -v2539 -v254 -v2540 -v2541 v2542 -v2543 -v2544 -v2545 -v2546 -v2547 -v2548 v2549 -v255 -v2550 -v2551 v2552 -v2553 -v2554 -v2555 -v2556 -v2557 -v2558 v2559 -v256 -v2560 -v2561 -v2562 -v2563 -v2564 -v2565 v2566 -v2567 -v2568 -v2569 -v257 -v2570 v2571 -v2572 -v2573 -v2574 v2575 -v2576 -v2577 -v2578 -v2579 -v258 -v2580 -v2581 -v2582 -v2583 v2584 -v2585 -v2586 -v2587 -v2588 -v2589 -v259 -v2590 v2591 -v2592 -v2593 -v2594 v2595 -v2596 -v2597 -v2598 -v2599 -v26 -v260 -v2600 -v2601 -v2602 v2603 -v2604 -v2605 -v2606 -v2607 v2608 -v2609 -v261 -v2610 -v2611 -v2612 -v2613 -v2614 v2615 -v2616 -v2617 -v2618 -v2619 -v262 -v2620 v2621 -v2622 -v2623 -v2624 -v2625 -v2626 v2627 -v2628 -v2629 -v263 -v2630 -v2631 v2632 -v2633 -v2634 -v2635 v2636 -v2637 -v2638 -v2639 -v264 -v2640 -v2641 -v2642 -v2643 -v2644 -v2645 v2646 -v2647 -v2648 -v2649 -v265 v2650 -v2651 -v2652 -v2653 -v2654 -v2655 -v2656 v2657 -v2658 -v2659 v266 -v2660 -v2661 v2662 -v2663 -v2664 -v2665 v2666 -v2667 -v2668 -v2669 -v267 -v2670 -v2671 -v2672 -v2673 v2674 -v2675 -v2676 -v2677 -v2678 v2679 -v268 -v2680 -v2681 -v2682 -v2683 -v2684 v2685 -v2686 -v2687 -v2688 -v2689 -v269 v2690 -v2691 -v2692 -v2693 -v2694 -v2695 -v2696 v2697 -v2698 -v2699 -v27 -v270 -v2700 -v2701 -v2702 -v2703 -v2704 -v2705 v2706 -v2707 -v2708 -v2709 -v271 -v2710 -v2711 v2712 -v2713 -v2714 -v2715 v2716 -v2717 -v2718 -v2719 -v272 -v2720 -v2721 -v2722 v2723 -v2724 -v2725 -v2726 -v2727 v2728 -v2729 -v273 -v2730 -v2731 -v2732 -v2733 v2734 -v2735 -v2736 -v2737 -v2738 -v2739 -v274 -v2740 v2741 -v2742 -v2743 -v2744 -v2745 -v2746 v2747 -v2748 -v2749 -v275 v2750 -v2751 -v2752 -v2753 -v2754 -v2755 -v2756 -v2757 -v2758 -v2759 -v276 v2760 -v2761 -v2762 -v2763 v2764 -v2765 -v2766 -v2767 -v2768 -v2769 -v277 -v2770 v2771 -v2772 -v2773 -v2774 v2775 -v2776 -v2777 -v2778 -v2779 -v278 -v2780 -v2781 v2782 -v2783 -v2784 -v2785 -v2786 -v2787 -v2788 v2789 -v279 -v2790 -v2791 -v2792 -v2793 -v2794 v2795 -v2796 -v2797 -v2798 -v2799 v28 -v280 v2800 -v2801 -v2802 -v2803 -v2804 -v2805 v2806 -v2807 -v2808 -v2809 -v281 -v2810 -v2811 v2812 -v2813 -v2814 -v2815 -v2816 -v2817 v2818 -v2819 v282 -v2820 v2821 -v2822 -v2823 -v2824 -v2825 -v2826 -v2827 -v2828 -v2829 -v283 -v2830 v2831 -v2832 -v2833 -v2834 -v2835 -v2836 v2837 -v2838 -v2839 -v284 v2840 -v2841 -v2842 -v2843 -v2844 -v2845 -v2846 -v2847 v2848 -v2849 -v285 -v2850 -v2851 -v2852 -v2853 v2854 -v2855 -v2856 -v2857 -v2858 -v2859 -v286 -v2860 v2861 -v2862 -v2863 -v2864 -v2865 -v2866 -v2867 v2868 -v2869 v287 -v2870 -v2871 -v2872 v2873 -v2874 -v2875 -v2876 -v2877 v2878 -v2879 -v288 -v2880 -v2881 -v2882 -v2883 v2884 -v2885 -v2886 -v2887 -v2888 -v2889 -v289 v2890 -v2891 -v2892 -v2893 -v2894 -v2895 v2896 -v2897 -v2898 -v2899 -v29 -v290 -v2900 -v2901 -v2902 v2903 -v2904 -v2905 -v2906 -v2907 -v2908 v2909 -v291 -v2910 v2911 -v2912 -v2913 -v2914 -v2915 -v2916 -v2917 -v2918 v2919 v292 -v2920 -v2921 -v2922 -v2923 -v2924 -v2925 -v2926 v2927 -v2928 v2929 -v293 -v2930 -v2931 -v2932 -v2933 -v2934 -v2935 -v2936 -v2937 v2938 -v2939 -v294 -v2940 -v2941 -v2942 v2943 -v2944 -v2945 -v2946 -v2947 -v2948 -v2949 -v295 -v2950 v2951 -v2952 -v2953 -v2954 -v2955 -v2956 -v2957 -v2958 -v2959 -v296 -v2960 -v2961 v2962 -v2963 -v2964 -v2965 -v2966 -v2967 -v2968 v2969 v297 -v2970 -v2971 -v2972 -v2973 -v2974 v2975 -v2976 -v2977 -v2978 -v2979 -v298 -v2980 v2981 -v2982 -v2983 -v2984 -v2985 v2986 -v2987 -v2988 -v2989 -v299 v2990 -v2991 -v2992 -v2993 -v2994 -v2995 -v2996 -v2997 v2998 -v2999 -v3 -v30 -v300 -v3000 -v3001 -v3002 v3003 -v3004 -v3005 -v3006 -v3007 -v3008 -v3009 -v301 -v3010 v3011 -v3012 -v3013 -v3014 -v3015 v3016 -v3017 -v3018 -v3019 -v302 -v3020 -v3021 v3022 -v3023 -v3024 -v3025 -v3026 -v3027 -v3028 v3029 -v303 -v3030 -v3031 -v3032 -v3033 -v3034 v3035 -v3036 -v3037 -v3038 -v3039 -v304 v3040 -v3041 -v3042 -v3043 -v3044 -v3045 -v3046 v3047 -v3048 -v3049 -v305 -v3050 -v3051 v3052 -v3053 -v3054 -v3055 -v3056 v3057 -v3058 -v3059 -v306 -v3060 -v3061 -v3062 -v3063 -v3064 v3065 -v3066 -v3067 -v3068 v3069 -v307 -v3070 -v3071 -v3072 -v3073 -v3074 -v3075 v3076 -v3077 -v3078 -v3079 -v308 -v3080 -v3081 v3082 -v3083 -v3084 -v3085 -v3086 -v3087 -v3088 v3089 -v309 -v3090 -v3091 -v3092 v3093 -v3094 -v3095 -v3096 -v3097 -v3098 -v3099 v31 -v310 -v3100 v3101 -v3102 v3103 -v3104 -v3105 -v3106 -v3107 -v3108 -v3109 -v311 -v3110 -v3111 v3112 -v3113 -v3114 -v3115 -v3116 -v3117 -v3118 v3119 -v312 -v3120 -v3121 -v3122 -v3123 v3124 -v3125 -v3126 -v3127 -v3128 v3129 -v313 -v3130 -v3131 -v3132 -v3133 -v3134 -v3135 -v3136 v3137 -v3138 -v3139 -v314 -v3140 v3141 -v3142 -v3143 -v3144 -v3145 -v3146 -v3147 -v3148 v3149 -v315 -v3150 -v3151 -v3152 -v3153 -v3154 v3155 -v3156 v3157 -v3158 -v3159 -v316 -v3160 -v3161 -v3162 -v3163 -v3164 -v3165 v3166 -v3167 -v3168 -v3169 -v317 -v3170 -v3171 v3172 -v3173 -v3174 -v3175 -v3176 -v3177 -v3178 v3179 -v318 -v3180 -v3181 -v3182 -v3183 v3184 -v3185 -v3186 -v3187 -v3188 -v3189 v319 -v3190 -v3191 v3192 -v3193 -v3194 -v3195 -v3196 v3197 -v3198 -v3199 -v32 -v320 -v3200 v3201 -v3202 -v3203 -v3204 -v3205 -v3206 -v3207 v3208 -v3209 -v321 -v3210 -v3211 v3212 -v3213 -v3214 -v3215 -v3216 -v3217 -v3218 -v3219 -v322 v3220 -v3221 -v3222 -v3223 -v3224 -v3225 -v3226 v3227 -v3228 -v3229 -v323 -v3230 v3231 -v3232 -v3233 -v3234 v3235 -v3236 -v3237 -v3238 -v3239 -v324 -v3240 -v3241 v3242 -v3243 -v3244 -v3245 -v3246 -v3247 v3248 -v3249 v325 -v3250 -v3251 -v3252 v3253 -v3254 -v3255 -v3256 -v3257 -v3258 -v3259 -v326 -v3260 -v3261 v3262 -v3263 -v3264 -v3265 v3266 -v3267 -v3268 -v3269 -v327 -v3270 -v3271 -v3272 v3273 -v3274 -v3275 -v3276 -v3277 -v3278 v3279 -v328 -v3280 -v3281 -v3282 -v3283 -v3284 -v3285 v3286 -v3287 -v3288 -v3289 -v329 -v3290 -v3291 v3292 -v3293 -v3294 -v3295 -v3296 -v3297 v3298 -v3299 -v33 v330 -v3300 -v3301 -v3302 -v3303 -v3304 v3305 -v3306 -v3307 v3308 -v3309 -v331 -v3310 -v3311 -v3312 -v3313 -v3314 -v3315 -v3316 v3317 -v3318 -v3319 -v332 -v3320 -v3321 v3322 -v3323 -v3324 -v3325 -v3326 -v3327 v3328 -v3329 -v333 -v3330 -v3331 -v3332 -v3333 v3334 -v3335 -v3336 -v3337 -v3338 -v3339 -v334 -v3340 v3341 -v3342 -v3343 -v3344 -v3345 -v3346 -v3347 v3348 -v3349 -v335 v3350 -v3351 -v3352 -v3353 -v3354 -v3355 v3356 -v3357 -v3358 -v3359 -v336 -v3360 -v3361 -v3362 -v3363 v3364 -v3365 -v3366 v3367 -v3368 -v3369 -v337 -v3370 -v3371 -v3372 -v3373 -v3374 -v3375 v3376 -v3377 -v3378 -v3379 -v338 -v3380 -v3381 -v3382 v3383 -v3384 -v3385 -v3386 -v3387 v3388 -v3389 -v339 -v3390 -v3391 -v3392 v3393 -v3394 -v3395 -v3396 -v3397 -v3398 -v3399 -v34 -v340 -v3400 v3401 -v3402 -v3403 -v3404 -v3405 -v3406 -v3407 v3408 -v3409 -v341 -v3410 -v3411 v3412 -v3413 -v3414 -v3415 -v3416 -v3417 -v3418 v3419 -v342 -v3420 -v3421 v3422 -v3423 -v3424 -v3425 -v3426 -v3427 -v3428 -v3429 -v343 -v3430 -v3431 v3432 -v3433 -v3434 -v3435 v3436 -v3437 -v3438 -v3439 -v344 v3440 -v3441 -v3442 -v3443 -v3444 -v3445 -v3446 v3447 -v3448 -v3449 -v345 -v3450 -v3451 -v3452 -v3453 -v3454 v3455 -v3456 -v3457 -v3458 -v3459 -v346 v3460 -v3461 -v3462 -v3463 -v3464 -v3465 v3466 -v3467 -v3468 -v3469 -v347 -v3470 -v3471 v3472 -v3473 -v3474 -v3475 -v3476 -v3477 v3478 -v3479 -v348 -v3480 -v3481 -v3482 -v3483 v3484 -v3485 -v3486 -v3487 -v3488 -v3489 -v349 -v3490 v3491 -v3492 -v3493 -v3494 -v3495 -v3496 v3497 -v3498 -v3499 -v35 -v350 -v3500 -v3501 -v3502 v3503 -v3504 v3505 -v3506 -v3507 -v3508 -v3509 -v351 -v3510 -v3511 -v3512 -v3513 v3514 -v3515 -v3516 -v3517 v3518 -v3519 -v352 -v3520 -v3521 -v3522 -v3523 -v3524 -v3525 v3526 -v3527 -v3528 -v3529 -v353 v3530 -v3531 -v3532 -v3533 -v3534 -v3535 v3536 -v3537 -v3538 -v3539 -v354 -v3540 -v3541 -v3542 -v3543 v3544 -v3545 -v3546 -v3547 -v3548 -v3549 v355 v3550 -v3551 -v3552 -v3553 -v3554 -v3555 v3556 -v3557 -v3558 -v3559 -v356 -v3560 -v3561 v3562 -v3563 -v3564 -v3565 -v3566 -v3567 v3568 -v3569 -v357 -v3570 -v3571 -v3572 -v3573 v3574 -v3575 -v3576 -v3577 -v3578 -v3579 -v358 v3580 -v3581 -v3582 -v3583 -v3584 -v3585 -v3586 v3587 -v3588 -v3589 -v359 -v3590 v3591 -v3592 -v3593 -v3594 -v3595 -v3596 -v3597 v3598 -v3599 -v36 -v360 -v3600 -v3601 v3602 -v3603 -v3604 -v3605 -v3606 -v3607 -v3608 -v3609 -v361 -v3610 v3611 -v3612 -v3613 -v3614 -v3615 v3616 -v3617 -v3618 -v3619 -v362 -v3620 -v3621 -v3622 v3623 -v3624 -v3625 -v3626 -v3627 -v3628 v3629 -v363 -v3630 -v3631 -v3632 -v3633 -v3634 v3635 -v3636 -v3637 -v3638 -v3639 -v364 -v3640 v3641 -v3642 -v3643 -v3644 -v3645 -v3646 v3647 -v3648 -v3649 v365 -v3650 v3651 -v3652 -v3653 -v3654 -v3655 -v3656 -v3657 v3658 -v3659 -v366 -v3660 -v3661 -v3662 -v3663 -v3664 v3665 -v3666 v3667 -v3668 -v3669 -v367 -v3670 -v3671 -v3672 -v3673 -v3674 -v3675 v3676 -v3677 -v3678 -v3679 -v368 v3680 -v3681 -v3682 -v3683 -v3684 v3685 -v3686 -v3687 -v3688 -v3689 -v369 -v3690 -v3691 -v3692 v3693 -v3694 -v3695 -v3696 -v3697 -v3698 -v3699 -v37 -v370 v3700 -v3701 -v3702 -v3703 -v3704 -v3705 -v3706 -v3707 v3708 -v3709 -v371 -v3710 -v3711 v3712 -v3713 -v3714 -v3715 -v3716 v3717 -v3718 -v3719 -v372 -v3720 -v3721 -v3722 -v3723 v3724 -v3725 -v3726 -v3727 -v3728 -v3729 -v373 -v3730 v3731 -v3732 -v3733 -v3734 v3735 -v3736 -v3737 -v3738 -v3739 -v374 -v3740 -v3741 -v3742 -v3743 v3744 -v3745 -v3746 -v3747 v3748 -v3749 -v375 -v3750 -v3751 -v3752 -v3753 v3754 -v3755 -v3756 -v3757 v3758 -v3759 -v376 -v3760 -v3761 -v3762 -v3763 -v3764 -v3765 v3766 -v3767 -v3768 -v3769 -v377 -v3770 -v3771 -v3772 v3773 -v3774 -v3775 -v3776 -v3777 -v3778 v3779 -v378 -v3780 -v3781 -v3782 -v3783 -v3784 v3785 -v3786 -v3787 -v3788 -v3789 -v379 -v3790 v3791 -v3792 -v3793 -v3794 -v3795 v3796 -v3797 -v3798 -v3799 -v38 v380 -v3800 -v3801 -v3802 v3803 -v3804 -v3805 -v3806 -v3807 -v3808 v3809 -v381 -v3810 -v3811 -v3812 -v3813 -v3814 v3815 -v3816 -v3817 -v3818 -v3819 -v382 v3820 -v3821 -v3822 v3823 -v3824 -v3825 -v3826 -v3827 -v3828 v3829 -v383 -v3830 -v3831 -v3832 -v3833 -v3834 -v3835 -v3836 -v3837 -v3838 -v3839 -v384 v3840 -v3841 -v3842 v3843 -v3844 -v3845 -v3846 -v3847 v3848 -v3849 -v385 -v3850 -v3851 -v3852 -v3853 -v3854 -v3855 v3856 -v3857 -v3858 -v3859 -v386 -v3860 -v3861 v3862 -v3863 -v3864 -v3865 v3866 -v3867 -v3868 -v3869 -v387 -v3870 -v3871 -v3872 -v3873 -v3874 -v3875 v3876 -v3877 -v3878 -v3879 -v388 v3880 -v3881 -v3882 -v3883 v3884 -v3885 -v3886 -v3887 -v3888 -v3889 -v389 -v3890 v3891 -v3892 -v3893 -v3894 v3895 -v3896 -v3897 -v3898 -v3899 -v39 -v390 -v3900 -v3901 -v3902 -v3903 v3904 -v3905 -v3906 -v3907 -v3908 -v3909 -v391 v3910 -v3911 -v3912 -v3913 v3914 -v3915 -v3916 -v3917 -v3918 -v3919 -v392 -v3920 -v3921 -v3922 -v3923 v3924 v3925 -v3926 -v3927 -v3928 -v3929 -v393 -v3930 -v3931 -v3932 -v3933 -v3934 -v3935 v3936 -v3937 -v3938 -v3939 -v394 -v3940 -v3941 v3942 -v3943 -v3944 -v3945 v3946 -v3947 -v3948 -v3949 -v395 -v3950 v3951 -v3952 -v3953 -v3954 -v3955 -v3956 v3957 -v3958 -v3959 -v396 -v3960 -v3961 v3962 -v3963 -v3964 -v3965 -v3966 v3967 -v3968 -v3969 -v397 -v3970 -v3971 -v3972 -v3973 v3974 -v3975 -v3976 -v3977 -v3978 v3979 -v398 -v3980 -v3981 -v3982 -v3983 -v3984 -v3985 -v3986 -v3987 -v3988 -v3989 v399 -v3990 -v3991 v3992 -v3993 -v3994 -v3995 -v3996 v3997 -v3998 -v3999 -v4 -v40 -v400 -v4000 -v4001 -v4002 -v4003 -v4004 -v4005 -v4006 -v4007 v4008 -v4009 -v401 -v4010 -v4011 -v4012 -v4013 v4014 -v4015 -v4016 -v4017 -v4018 v4019 -v402 -v4020 -v4021 -v4022 -v4023 -v4024 -v4025 v4026 -v4027 -v4028 -v4029 -v403 -v4030 v4031 -v4032 -v4033 -v4034 -v4035 v4036 -v4037 -v4038 -v4039 -v404 -v4040 -v4041 -v4042 -v4043 v4044 -v4045 -v4046 -v4047 -v4048 -v4049 -v405 -v4050 -v4051 -v4052 -v4053 -v4054 v4055 -v4056 v4057 -v4058 -v4059 -v406 -v4060 -v4061 -v4062 -v4063 v4064 -v4065 -v4066 -v4067 -v4068 -v4069 -v407 -v4070 v4071 -v4072 -v4073 -v4074 -v4075 -v4076 -v4077 -v4078 v4079 -v408 -v4080 -v4081 -v4082 -v4083 -v4084 v4085 -v4086 -v4087 v4088 -v4089 -v409 -v4090 -v4091 -v4092 -v4093 -v4094 -v4095 v4096 -v4097 -v4098 -v4099 -v41 -v410 -v4100 v4101 -v4102 -v4103 -v4104 -v4105 -v4106 -v4107 -v4108 -v4109 -v411 v4110 -v4111 -v4112 -v4113 -v4114 -v4115 v4116 -v4117 -v4118 v4119 -v412 -v4120 -v4121 -v4122 -v4123 -v4124 v4125 -v4126 -v4127 -v4128 -v4129 -v413 -v4130 -v4131 -v4132 -v4133 v4134 -v4135 -v4136 -v4137 -v4138 -v4139 -v414 v4140 -v4141 v4142 -v4143 -v4144 -v4145 -v4146 v4147 -v4148 -v4149 -v415 -v4150 -v4151 -v4152 -v4153 v4154 -v4155 -v4156 -v4157 -v4158 -v4159 -v416 v4160 -v4161 -v4162 -v4163 -v4164 -v4165 -v4166 -v4167 -v4168 v4169 -v417 -v4170 -v4171 -v4172 -v4173 v4174 -v4175 -v4176 v4177 -v4178 -v4179 -v418 -v4180 -v4181 -v4182 -v4183 -v4184 -v4185 -v4186 -v4187 v4188 -v4189 -v419 v4190 -v4191 -v4192 -v4193 -v4194 -v4195 v4196 -v4197 -v4198 -v4199 -v42 -v420 -v4200 v4201 -v4202 -v4203 -v4204 -v4205 -v4206 -v4207 -v4208 -v4209 -v421 -v4210 -v4211 -v4212 -v4213 -v4214 -v4215 -v4216 v4217 -v4218 -v4219 v422 -v4220 -v4221 -v4222 v4223 -v4224 -v4225 -v4226 v4227 -v4228 -v4229 -v423 -v4230 -v4231 -v4232 -v4233 -v4234 -v4235 v4236 -v4237 -v4238 -v4239 -v424 v4240 -v4241 -v4242 -v4243 -v4244 v4245 -v4246 -v4247 -v4248 v4249 -v425 -v4250 -v4251 -v4252 -v4253 -v4254 v4255 -v4256 -v4257 -v4258 -v4259 -v426 -v4260 v4261 -v4262 -v4263 -v4264 -v4265 -v4266 -v4267 -v4268 v4269 -v427 -v4270 -v4271 -v4272 -v4273 -v4274 -v4275 -v4276 -v4277 v4278 -v4279 -v428 v4280 -v4281 -v4282 -v4283 -v4284 v4285 -v4286 -v4287 -v4288 -v4289 -v429 -v4290 -v4291 -v4292 -v4293 -v4294 -v4295 v4296 -v4297 -v4298 -v4299 -v43 -v430 -v4300 -v4301 v4302 -v4303 -v4304 -v4305 -v4306 -v4307 v4308 -v4309 -v431 -v4310 -v4311 -v4312 -v4313 v4314 -v4315 -v4316 v4317 -v4318 -v4319 -v432 -v4320 -v4321 v4322 -v4323 -v4324 -v4325 -v4326 -v4327 -v4328 v4329 -v433 -v4330 -v4331 -v4332 -v4333 -v4334 -v4335 v4336 -v4337 -v4338 -v4339 -v434 -v4340 -v4341 -v4342 -v4343 v4344 -v4345 -v4346 -v4347 -v4348 -v4349 -v435 v4350 -v4351 -v4352 -v4353 -v4354 v4355 -v4356 v4357 -v4358 -v4359 -v436 -v4360 -v4361 -v4362 -v4363 -v4364 -v4365 v4366 -v4367 -v4368 v4369 -v437 -v4370 -v4371 -v4372 -v4373 -v4374 -v4375 v4376 -v4377 -v4378 -v4379 -v438 -v4380 -v4381 -v4382 -v4383 -v4384 v4385 -v4386 -v4387 -v4388 -v4389 -v439 -v4390 -v4391 v4392 -v4393 v4394 -v4395 -v4396 -v4397 -v4398 -v4399 v44 -v440 -v4400 -v4401 -v4402 -v4403 v4404 -v4405 v4406 -v4407 -v4408 -v4409 v441 -v4410 -v4411 -v4412 -v4413 -v4414 -v4415 -v4416 -v4417 -v4418 -v4419 -v442 -v4420 -v4421 v4422 -v4423 v4424 -v4425 -v4426 -v4427 -v4428 v4429 -v443 -v4430 -v4431 -v4432 -v4433 -v4434 -v4435 -v4436 -v4437 -v4438 v4439 v444 -v4440 -v4441 -v4442 -v4443 v4444 -v4445 -v4446 -v4447 v4448 -v4449 -v445 -v4450 -v4451 -v4452 -v4453 -v4454 v4455 -v4456 -v4457 -v4458 -v4459 -v446 -v4460 -v4461 -v4462 -v4463 v4464 -v4465 -v4466 -v4467 v4468 -v4469 -v447 -v4470 -v4471 v4472 -v4473 -v4474 -v4475 -v4476 -v4477 -v4478 v4479 -v448 -v4480 -v4481 -v4482 -v4483 -v4484 v4485 -v4486 -v4487 -v4488 -v4489 -v449 -v4490 v4491 -v4492 -v4493 -v4494 -v4495 -v4496 -v4497 -v4498 v4499 v45 -v450 -v4500 -v4501 -v4502 -v4503 -v4504 -v4505 v4506 -v4507 -v4508 -v4509 -v451 v4510 -v4511 -v4512 -v4513 -v4514 -v4515 -v4516 v4517 -v4518 -v4519 -v452 -v4520 -v4521 -v4522 v4523 -v4524 -v4525 -v4526 -v4527 -v4528 v4529 v453 -v4530 -v4531 -v4532 -v4533 v4534 -v4535 -v4536 -v4537 -v4538 -v4539 -v454 v4540 -v4541 -v4542 -v4543 -v4544 -v4545 v4546 -v4547 -v4548 -v4549 -v455 -v4550 -v4551 -v4552 v4553 -v4554 -v4555 -v4556 -v4557 -v4558 v4559 -v456 -v4560 -v4561 -v4562 -v4563 v4564 -v4565 -v4566 -v4567 -v4568 -v4569 -v457 -v4570 v4571 -v4572 -v4573 -v4574 v4575 -v4576 -v4577 -v4578 -v4579 -v458 -v4580 -v4581 v4582 -v4583 -v4584 -v4585 -v4586 -v4587 -v4588 v4589 v459 -v4590 -v4591 -v4592 -v4593 -v4594 v4595 -v4596 -v4597 -v4598 -v4599 -v46 -v460 -v4600 v4601 -v4602 -v4603 -v4604 -v4605 v4606 -v4607 -v4608 -v4609 -v461 -v4610 -v4611 -v4612 v4613 -v4614 -v4615 -v4616 -v4617 v4618 -v4619 -v462 -v4620 -v4621 -v4622 -v4623 -v4624 v4625 -v4626 -v4627 -v4628 -v4629 -v463 -v4630 v4631 -v4632 -v4633 -v4634 -v4635 v4636 -v4637 -v4638 -v4639 -v464 -v4640 -v4641 -v4642 v4643 -v4644 -v4645 -v4646 -v4647 -v4648 v4649 -v465 -v4650 -v4651 -v4652 -v4653 v4654 -v4655 -v4656 -v4657 -v4658 -v4659 -v466 v4660 -v4661 -v4662 -v467 -v468 -v469 -v47 -v470 -v471 -v472 -v473 -v474 v475 -v476 -v477 -v478 -v479 -v48 -v480 -v481 -v482 -v483 -v484 -v485 -v486 -v487 -v488 v489 -v49 -v490 -v491 -v492 -v493 -v494 -v495 -v496 -v497 -v498 -v499 -v5 -v50 -v500 -v501 -v502 -v503 -v504 -v505 -v506 -v507 v508 -v509 -v51 -v510 -v511 -v512 -v513 -v514 -v515 v516 -v517 -v518 -v519 -v52 -v520 -v521 -v522 -v523 -v524 -v525 -v526 -v527 -v528 -v529 -v53 -v530 -v531 -v532 -v533 -v534 -v535 -v536 -v537 v538 -v539 -v54 -v540 -v541 -v542 -v543 -v544 -v545 -v546 -v547 -v548 -v549 -v55 -v550 -v551 -v552 -v553 -v554 -v555 -v556 -v557 v558 -v559 -v56 -v560 -v561 -v562 v563 -v564 -v565 -v566 -v567 -v568 -v569 -v57 -v570 -v571 -v572 -v573 -v574 -v575 -v576 -v577 -v578 -v579 -v58 -v580 -v581 -v582 -v583 -v584 v585 -v586 -v587 -v588 -v589 -v59 -v590 -v591 -v592 -v593 -v594 -v595 -v596 -v597 -v598 -v599 -v6 v60 v600 -v601 -v602 -v603 -v604 -v605 -v606 -v607 -v608 -v609 -v61 -v610 -v611 -v612 -v613 -v614 -v615 -v616 -v617 -v618 -v619 -v62 -v620 -v621 -v622 -v623 v624 -v625 -v626 -v627 v628 -v629 -v63 -v630 -v631 -v632 -v633 -v634 -v635 -v636 -v637 -v638 -v639 -v64 -v640 -v641 -v642 -v643 v644 -v645 -v646 -v647 -v648 -v649 -v65 -v650 -v651 -v652 -v653 -v654 -v655 -v656 -v657 -v658 v659 -v66 -v660 v661 v662 -v663 -v664 -v665 -v666 -v667 -v668 -v669 -v67 -v670 v671 -v672 -v673 -v674 -v675 -v676 -v677 -v678 -v679 -v68 -v680 -v681 -v682 -v683 -v684 -v685 -v686 -v687 -v688 -v689 -v69 -v690 -v691 -v692 -v693 -v694 -v695 -v696 -v697 v698 -v699 -v7 -v70 -v700 v701 -v702 -v703 -v704 -v705 -v706 -v707 -v708 -v709 -v71 -v710 -v711 -v712 -v713 -v714 v715 -v716 -v717 -v718 -v719 -v72 -v720 -v721 -v722 -v723 -v724 -v725 -v726 -v727 -v728 v729 -v73 -v730 -v731 -v732 -v733 -v734 -v735 -v736 -v737 -v738 -v739 -v74 -v740 -v741 -v742 -v743 -v744 -v745 v746 -v747 -v748 -v749 -v75 v750 -v751 -v752 -v753 -v754 -v755 -v756 v757 -v758 -v759 v76 -v760 -v761 -v762 -v763 -v764 -v765 -v766 -v767 -v768 -v769 -v77 -v770 -v771 -v772 -v773 -v774 -v775 -v776 -v777 -v778 -v779 -v78 -v780 -v781 -v782 -v783 -v784 -v785 -v786 -v787 -v788 -v789 -v79 -v790 -v791 -v792 -v793 -v794 -v795 -v796 -v797 -v798 v799 -v8 -v80 -v800 -v801 -v802 -v803 -v804 -v805 -v806 -v807 -v808 -v809 -v81 -v810 -v811 -v812 -v813 -v814 -v815 -v816 -v817 -v818 -v819 -v82 -v820 v821 -v822 -v823 -v824 -v825 -v826 -v827 -v828 v829 -v83 -v830 -v831 -v832 -v833 -v834 -v835 -v836 -v837 v838 v839 -v84 -v840 -v841 -v842 -v843 -v844 -v845 -v846 -v847 -v848 v849 -v85 -v850 -v851 -v852 -v853 -v854 -v855 -v856 -v857 -v858 -v859 -v86 -v860 -v861 -v862 -v863 -v864 -v865 v866 -v867 -v868 -v869 -v87 -v870 -v871 -v872 -v873 -v874 -v875 -v876 -v877 -v878 -v879 -v88 -v880 -v881 v882 -v883 -v884 -v885 -v886 -v887 -v888 -v889 -v89 -v890 -v891 -v892 -v893 -v894 -v895 -v896 -v897 -v898 v899 v9 v90 -v900 -v901 -v902 -v903 v904 -v905 -v906 v907 v908 -v909 -v91 -v910 -v911 -v912 -v913 -v914 -v915 -v916 -v917 -v918 -v919 v92 -v920 -v921 -v922 -v923 -v924 -v925 -v926 -v927 -v928 v929 -v93 v930 -v931 -v932 -v933 v934 -v935 -v936 -v937 -v938 -v939 -v94 -v940 -v941 -v942 -v943 -v944 -v945 -v946 -v947 -v948 -v949 -v95 -v950 -v951 v952 -v953 -v954 -v955 -v956 -v957 -v958 -v959 -v96 -v960 -v961 -v962 -v963 -v964 -v965 -v966 v967 -v968 -v969 -v97 -v970 -v971 -v972 -v973 -v974 -v975 -v976 -v977 -v978 v979 -v98 -v980 -v981 -v982 -v983 -v984 -v985 -v986 -v987 -v988 v989 -v99 -v990 -v991 -v992 -v993 -v994 -v995 -v996 -v997 -v998 -v999 
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Enforcing Stack size limit: 67108864 bytes
Current StackSize limit: 67108864 bytes
Raw data (loadavg): 0.84 0.94 0.90 2/54 15416
Raw data (stat): 15416 (runsolver) R 15415 20224 20223 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 967753239 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+8.44209 s]
Raw data (loadavg): 0.87 0.94 0.90 1/53 15416
Raw data (stat): 15416 (runsolver) R 15415 20224 20223 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 967753239 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 0

Child status: 10
Real time (s): 8.44179
CPU time (s): 8.42772
CPU user time (s): 8.23375
CPU system time (s): 0.19397
CPU usage (%): 99.8333
Max. virtual memory (Kb): 864
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	0
#### END VERIFIER DATA ####