Trace number 3719971

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 NameAnswerobjective functionCPU timeWall clock time
PB07: Pueblo 1.4SAT-5329 1783.01 1783.29

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/
miplib2003/normalized-mps-v2-20-10-mzzv11.opb
MD5SUMa74bcf40291587dc368e3a23fd278be9
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark-10859
Best CPU time to get the best result obtained on this benchmark76.8603
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -10639
Optimality of the best value was proved NO
Number of variables11247
Total number of constraints9744
Number of constraints which are clauses77
Number of constraints which are cardinality constraints (but not clauses)5755
Number of constraints which are nor clauses,nor cardinality constraints3912
Minimum length of a constraint2
Maximum length of a constraint68
Number of terms in the objective function 773
Biggest coefficient in the objective function 1000
Number of bits for the biggest coefficient in the objective function 10
Sum of the numbers in the objective function 76861
Number of bits of the sum of numbers in the objective function 17
Biggest number in a constraint 1999
Number of bits of the biggest number in a constraint 11
Biggest sum of numbers in a constraint 76861
Number of bits of the biggest sum of numbers17
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data

0.00/0.00	c Pueblo version 1.4 (September 2005)
0.00/0.00	c Developed @ University of Michigan, Ann Arbor, MI
0.00/0.00	c  by Hossein Sheini
0.49/0.56	c starting to Solve
0.49/0.56	c #variables read: 11247 - #constraints read: 13117
0.49/0.57	o 13489
0.49/0.57	o 13039
0.49/0.58	o 13030
0.49/0.59	o 12980
0.49/0.59	o 12930
0.49/0.59	o 12880
0.59/0.61	o 12879
0.59/0.61	o 12874
0.59/0.61	o 12869
0.59/0.61	o 12864
0.59/0.65	o 12859
0.59/0.65	o 12854
0.59/0.65	o 12849
0.59/0.65	o 12844
0.59/0.65	o 12839
0.59/0.65	o 12834
0.59/0.66	o 12829
0.59/0.66	o 12824
0.59/0.66	o 12819
0.59/0.66	o 12814
0.59/0.66	o 12809
0.59/0.66	o 12804
0.59/0.66	o 12799
0.59/0.66	o 12794
0.59/0.66	o 12789
0.59/0.67	o 12784
0.59/0.67	o 12779
0.59/0.67	o 12774
0.59/0.67	o 12769
0.59/0.67	o 12764
0.69/0.70	o 12740
0.69/0.70	o 12735
0.69/0.70	o 12690
0.69/0.71	o 12685
0.69/0.71	o 12640
0.69/0.71	o 12615
0.69/0.71	o 12605
0.69/0.71	o 12600
0.69/0.71	o 12595
0.69/0.72	o 12590
0.69/0.72	o 12580
0.69/0.72	o 12575
0.69/0.72	o 12570
0.69/0.72	o 12565
0.69/0.73	o 12560
0.69/0.73	o 12555
0.69/0.75	o 12550
0.69/0.75	o 12545
0.69/0.75	o 12530
0.69/0.75	o 12520
0.69/0.75	o 12515
0.69/0.76	o 12510
0.69/0.76	o 12505
0.69/0.76	o 12500
0.69/0.76	o 12495
0.69/0.77	o 12490
0.69/0.77	o 12485
0.69/0.77	o 12470
0.69/0.77	o 12465
0.69/0.78	o 12460
0.69/0.78	o 12455
0.69/0.78	o 12450
0.69/0.79	o 12445
0.69/0.79	o 12440
0.69/0.79	o 12435
0.79/0.80	o 12420
0.79/0.80	o 12415
0.79/0.80	o 12410
0.79/0.80	o 12405
0.79/0.80	o 12400
0.79/0.83	o 12395
0.79/0.84	o 12385
0.79/0.84	o 12380
0.79/0.85	o 12375
0.79/0.85	o 12370
0.79/0.85	o 12365
0.79/0.85	o 12360
0.79/0.85	o 12355
0.79/0.87	o 12349
0.79/0.87	o 12329
0.79/0.87	o 12319
0.79/0.87	o 12314
0.79/0.87	o 12309
0.79/0.87	o 12304
0.79/0.87	o 12289
0.79/0.88	o 12279
0.79/0.88	o 12274
0.79/0.88	o 12269
0.79/0.88	o 12264
0.79/0.88	o 12259
0.79/0.89	o 12254
0.79/0.89	o 12249
0.79/0.89	o 12244
0.89/0.90	o 12239
0.89/0.91	o 12234
0.89/0.91	o 12229
0.89/0.92	o 12224
0.89/0.92	o 12219
0.89/0.92	o 12214
0.89/0.93	o 12199
0.89/0.94	o 12194
0.89/0.94	o 12189
0.89/0.94	o 12174
0.89/0.95	o 12169
0.89/0.95	o 12164
0.89/0.95	o 12159
0.89/0.96	o 12154
0.89/0.96	o 12149
0.89/0.97	o 12099
0.89/0.97	o 12094
0.89/0.98	o 12054
0.89/0.98	o 12049
0.89/0.99	o 12044
0.89/0.99	o 12004
0.89/0.99	o 11999
0.89/1.00	o 11959
0.89/1.00	o 11954
0.99/1.01	o 11949
0.99/1.01	o 11909
0.99/1.01	o 11904
0.99/1.02	o 11899
0.99/1.02	o 11884
0.99/1.03	o 11879
0.99/1.03	o 11869
0.99/1.03	o 11864
0.99/1.03	o 11859
0.99/1.04	o 11854
0.99/1.05	o 11849
0.99/1.05	o 11844
0.99/1.05	o 11839
0.99/1.06	o 11834
0.99/1.06	o 11829
0.99/1.06	o 11824
0.99/1.07	o 11819
0.99/1.07	o 11814
0.99/1.07	o 11809
0.99/1.08	o 11804
0.99/1.09	o 11799
0.99/1.09	o 11794
0.99/1.10	o 11789
0.99/1.10	o 11784
1.09/1.12	o 11779
1.09/1.13	o 11774
1.09/1.13	o 11769
1.09/1.13	o 11764
1.09/1.14	o 11745
1.09/1.17	o 11740
1.09/1.19	o 11735
1.09/1.20	o 11695
1.19/1.20	o 11690
1.19/1.21	o 11685
1.19/1.22	o 11650
1.19/1.22	o 11645
1.29/1.37	o 11640
1.29/1.37	o 11615
1.29/1.37	o 11610
1.29/1.37	o 11605
1.29/1.37	o 11600
1.29/1.37	o 11595
1.29/1.37	o 11565
1.29/1.37	o 11560
1.29/1.37	o 11555
1.29/1.37	o 11550
1.29/1.37	o 11545
1.29/1.37	o 11515
1.29/1.37	o 11510
1.29/1.37	o 11505
1.29/1.38	o 11500
1.29/1.38	o 11495
1.29/1.39	o 11465
1.39/1.41	o 11460
1.39/1.42	o 11455
1.39/1.42	o 11450
1.39/1.42	o 11445
1.39/1.48	o 11430
1.39/1.48	o 11425
1.39/1.48	o 11420
1.39/1.49	o 11415
1.39/1.49	o 11410
1.49/1.50	o 11405
1.49/1.51	o 11400
1.49/1.55	o 11395
1.49/1.56	o 11385
1.49/1.58	o 11380
1.69/1.73	o 11375
1.69/1.79	o 11370
1.78/1.80	o 11365
1.78/1.80	o 11360
1.88/1.90	o 11355
1.88/1.92	o 11350
1.88/1.92	o 11345
1.88/1.92	o 11340
1.88/1.95	o 11335
1.98/2.08	o 11330
1.98/2.09	o 11320
2.09/2.10	o 11315
2.09/2.10	o 11310
2.09/2.18	o 11305
2.28/2.33	o 11300
2.28/2.36	o 11295
2.28/2.37	o 11290
2.28/2.37	o 11285
2.28/2.37	o 11280
2.28/2.37	o 11275
2.38/2.46	o 11270
2.38/2.46	o 11265
3.08/3.12	o 11260
3.08/3.13	o 11255
3.08/3.15	o 11250
3.08/3.16	o 11240
3.08/3.17	o 11235
3.08/3.17	o 11230
3.08/3.18	o 11225
3.08/3.18	o 11220
3.19/3.26	o 11215
3.29/3.31	o 11210
3.29/3.32	o 11205
3.29/3.32	o 11200
3.38/3.46	o 11190
3.38/3.49	o 11185
3.38/3.49	o 11180
3.38/3.49	o 11175
3.48/3.58	o 11170
3.48/3.58	o 11165
3.48/3.58	o 11160
3.58/3.60	o 11155
3.58/3.61	o 11150
3.58/3.61	o 11145
3.58/3.61	o 11140
3.58/3.61	o 11135
3.58/3.62	o 11130
3.58/3.62	o 11125
3.58/3.63	o 11120
3.58/3.63	o 11115
3.58/3.63	o 11110
3.58/3.65	o 11105
3.58/3.65	o 11100
3.58/3.66	o 11095
3.58/3.66	o 11085
3.58/3.66	o 11080
3.58/3.66	o 11075
3.58/3.66	o 11070
3.58/3.66	o 11065
3.58/3.68	o 11060
3.58/3.69	o 11055
3.58/3.69	o 11050
3.69/3.71	o 11045
3.69/3.71	o 11040
3.69/3.72	o 11035
3.69/3.73	o 11030
3.69/3.73	o 11025
3.69/3.74	o 11020
3.69/3.74	o 11015
3.69/3.74	o 11010
3.69/3.74	o 11005
3.69/3.74	o 11000
3.69/3.79	o 10995
3.79/3.80	o 10990
3.79/3.81	o 10985
3.79/3.82	o 10980
3.79/3.83	o 10975
3.79/3.84	o 10970
3.79/3.84	o 10965
3.79/3.84	o 10960
4.09/4.11	o 10955
4.09/4.13	o 10950
4.09/4.14	o 10945
4.09/4.14	o 10940
4.09/4.14	o 10935
4.09/4.14	o 10930
4.09/4.14	o 10925
4.09/4.15	o 10920
4.09/4.15	o 10915
4.09/4.15	o 10910
8.38/8.45	o 10904
8.48/8.50	o 10889
8.58/8.68	o 10884
8.58/8.68	o 10874
8.58/8.69	o 10864
8.58/8.69	o 10854
8.58/8.69	o 10849
8.69/8.75	o 10844
8.69/8.80	o 10834
8.80/8.81	o 10829
8.80/8.81	o 10819
8.80/8.81	o 10809
8.89/8.92	o 10804
8.89/8.94	o 10799
8.89/8.94	o 10789
8.89/8.96	o 10784
8.89/8.96	o 10779
8.89/8.97	o 10769
8.89/8.97	o 10759
9.19/9.25	o 10754
9.49/9.50	o 10749
9.49/9.51	o 10744
9.49/9.51	o 10739
10.19/10.20	o 10734
10.39/10.44	o 10724
10.69/10.74	o 10719
10.69/10.75	o 10709
11.29/11.33	o 10704
11.29/11.34	o 10699
11.29/11.34	o 10694
11.29/11.37	o 10689
11.29/11.38	o 10684
11.39/11.41	o 10679
11.49/11.56	o 10674
11.59/11.67	o 10669
12.48/12.58	o 10664
12.59/12.61	o 10659
12.79/12.81	o 10654
12.79/12.86	o 10649
13.29/13.38	o 10644
13.39/13.41	o 10639
13.39/13.44	o 10634
13.39/13.44	o 10629
13.49/13.56	o 10624
13.49/13.57	o 10619
13.49/13.57	o 10614
13.59/13.67	o 10609
13.59/13.68	o 10604
13.59/13.68	o 10599
13.59/13.68	o 10594
13.59/13.69	o 10589
13.59/13.69	o 10584
13.59/13.69	o 10579
14.19/14.23	o 10574
14.19/14.27	o 10569
14.19/14.28	o 10564
14.19/14.29	o 10559
14.19/14.29	o 10554
14.29/14.31	o 10549
14.29/14.31	o 10544
14.29/14.38	o 10539
14.38/14.45	o 10534
14.38/14.45	o 10529
14.38/14.47	o 10524
14.38/14.49	o 10519
14.38/14.49	o 10514
14.38/14.49	o 10509
14.38/14.49	o 10504
14.48/14.57	o 10499
14.58/14.67	o 10494
14.58/14.68	o 10489
14.58/14.68	o 10484
14.58/14.69	o 10479
14.58/14.69	o 10474
14.58/14.70	o 10469
14.68/14.70	o 10464
14.68/14.70	o 10459
14.68/14.70	o 10454
14.68/14.70	o 10449
14.98/15.00	o 10444
14.98/15.03	o 10439
14.98/15.03	o 10434
14.98/15.04	o 10429
14.98/15.04	o 10424
15.08/15.12	o 10419
15.08/15.12	o 10414
15.08/15.12	o 10409
15.08/15.12	o 10404
15.08/15.12	o 10399
15.08/15.12	o 10394
15.08/15.13	o 10389
15.08/15.16	o 10384
15.08/15.17	o 10379
15.08/15.17	o 10374
15.08/15.17	o 10369
15.08/15.17	o 10364
15.30/15.34	o 10359
18.09/18.17	o 10354
19.09/19.11	o 10349
19.69/19.73	o 10344
80.77/80.86	o 10339
81.17/81.28	o 10334
81.47/81.56	o 10329
81.87/81.94	o 10324
81.87/81.96	o 10314
81.87/81.96	o 10294
81.87/81.97	o 10289
81.87/81.97	o 10269
81.87/81.97	o 10264
81.87/81.98	o 10244
81.87/81.98	o 10224
81.87/81.98	o 10209
81.97/82.00	o 10204
81.97/82.01	o 10194
81.97/82.01	o 10184
81.97/82.02	o 10179
81.97/82.03	o 10174
81.97/82.03	o 10169
81.97/82.03	o 10164
81.97/82.04	o 10159
81.97/82.05	o 10144
81.97/82.05	o 10139
81.97/82.06	o 10134
81.97/82.06	o 10129
81.97/82.07	o 10124
82.78/82.88	o 10119
82.78/82.89	o 10114
82.78/82.89	o 10104
82.78/82.89	o 10094
82.78/82.89	o 10089
82.78/82.89	o 10084
82.88/82.90	o 10079
83.37/83.47	o 10074
83.37/83.49	o 10064
83.37/83.50	o 10054
83.37/83.50	o 10044
83.48/83.50	o 10039
83.48/83.50	o 10034
83.48/83.50	o 10029
83.48/83.51	o 10024
83.48/83.51	o 10014
83.48/83.52	o 10004
83.48/83.52	o 9994
83.48/83.52	o 9989
83.48/83.52	o 9984
83.48/83.52	o 9979
83.48/83.55	o 9974
83.48/83.55	o 9964
83.48/83.58	o 9959
83.48/83.59	o 9954
83.48/83.59	o 9949
83.48/83.60	o 9944
83.58/83.60	o 9939
83.58/83.63	o 9934
83.58/83.63	o 9924
83.58/83.63	o 9914
83.58/83.64	o 9909
83.58/83.66	o 9904
83.58/83.66	o 9899
83.58/83.67	o 9894
83.58/83.67	o 9889
83.58/83.67	o 9884
83.58/83.67	o 9879
86.27/86.39	o 9864
89.38/89.40	o 9854
89.38/89.48	o 9844
89.58/89.63	o 9839
89.58/89.64	o 9834
89.58/89.66	o 9829
90.18/90.21	o 9819
90.18/90.23	o 9814
90.27/90.34	o 9809
90.37/90.49	o 9799
90.57/90.60	o 9794
90.67/90.70	o 9789
90.67/90.70	o 9784
90.67/90.70	o 9779
91.97/92.04	o 9774
93.27/93.34	o 9769
94.17/94.26	o 9764
94.17/94.26	o 9754
94.17/94.26	o 9744
94.17/94.26	o 9739
94.17/94.27	o 9734
94.77/94.82	o 9729
94.77/94.83	o 9719
95.38/95.44	o 9714
95.68/95.75	o 9694
95.68/95.76	o 9684
95.68/95.76	o 9679
107.77/107.89	o 9670
107.87/107.93	o 9665
107.87/107.93	o 9660
107.87/107.96	o 9655
107.87/107.97	o 9650
107.87/107.98	o 9630
107.87/107.98	o 9620
107.87/107.99	o 9615
107.87/107.99	o 9610
108.07/108.11	o 9605
108.07/108.12	o 9585
108.07/108.13	o 9575
108.07/108.13	o 9570
108.07/108.13	o 9565
108.17/108.23	o 9560
108.17/108.24	o 9540
108.17/108.25	o 9530
108.17/108.25	o 9520
108.67/108.76	o 9515
108.67/108.78	o 9510
108.97/109.09	o 9505
109.17/109.21	o 9500
109.17/109.21	o 9495
109.17/109.21	o 9490
109.17/109.27	o 9485
109.17/109.27	o 9480
109.17/109.28	o 9475
109.17/109.28	o 9470
109.17/109.28	o 9465
109.17/109.28	o 9460
109.27/109.39	o 9455
109.27/109.39	o 9450
109.37/109.40	o 9445
109.37/109.41	o 9440
110.07/110.11	o 9435
110.07/110.11	o 9430
110.07/110.11	o 9425
110.07/110.11	o 9420
110.07/110.12	o 9410
111.37/111.40	o 9405
111.37/111.46	o 9400
111.37/111.46	o 9395
111.47/111.54	o 9390
111.57/111.60	o 9385
111.57/111.61	o 9375
111.57/111.61	o 9365
111.57/111.61	o 9355
111.57/111.62	o 9345
111.57/111.62	o 9335
111.57/111.63	o 9325
111.66/111.70	o 9315
111.76/111.81	o 9305
111.76/111.82	o 9295
111.76/111.82	o 9285
111.76/111.85	o 9275
111.76/111.85	o 9265
111.76/111.85	o 9260
112.08/112.11	o 9255
112.08/112.12	o 9245
112.08/112.12	o 9235
112.08/112.19	o 9225
112.08/112.19	o 9220
112.27/112.30	o 9215
112.27/112.30	o 9205
112.27/112.31	o 9195
112.27/112.31	o 9185
112.27/112.34	o 9175
112.27/112.34	o 9170
112.27/112.34	o 9165
112.27/112.34	o 9160
112.57/112.61	o 9155
112.57/112.64	o 9145
112.57/112.68	o 9135
112.57/112.69	o 9125
112.67/112.74	o 9120
113.37/113.46	o 9115
113.37/113.48	o 9110
113.96/114.08	o 9105
114.07/114.15	o 9100
114.07/114.15	o 9095
114.07/114.15	o 9090
114.07/114.15	o 9085
114.07/114.15	o 9080
114.07/114.15	o 9075
114.07/114.16	o 9070
114.17/114.21	o 9065
114.17/114.22	o 9060
377.13/377.27	o 9055
377.13/377.28	o 9050
377.13/377.29	o 9045
377.13/377.29	o 9040
377.23/377.31	o 9035
378.33/378.46	o 9030
378.33/378.46	o 9025
378.33/378.46	o 9020
378.33/378.46	o 9015
379.43/379.54	o 9010
380.03/380.10	o 9005
381.03/381.16	o 9000
381.13/381.20	o 8995
381.13/381.21	o 8990
381.13/381.23	o 8985
381.13/381.25	o 8980
381.13/381.25	o 8975
381.33/381.46	o 8970
381.33/381.47	o 8965
381.33/381.47	o 8960
381.72/381.85	o 8955
381.72/381.87	o 8950
381.72/381.88	o 8925
381.92/382.01	o 8920
381.92/382.07	o 8915
382.02/382.17	o 8910
382.02/382.19	o 8880
382.32/382.40	o 8875
382.32/382.41	o 8870
382.32/382.41	o 8865
382.63/382.76	o 8860
382.63/382.80	o 8855
382.73/382.81	o 8850
382.73/382.81	o 8845
382.73/382.83	o 8840
382.73/382.84	o 8835
382.73/382.84	o 8830
382.73/382.86	o 8825
382.73/382.87	o 8820
382.73/382.87	o 8815
384.33/384.49	o 8810
385.02/385.10	o 8805
385.22/385.30	o 8800
385.22/385.37	o 8795
385.22/385.38	o 8790
385.22/385.38	o 8785
385.42/385.53	o 8780
387.03/387.19	o 8775
389.23/389.38	o 8770
397.42/397.52	o 8765
397.42/397.52	o 8760
397.42/397.53	o 8755
397.42/397.53	o 8750
397.42/397.54	o 8745
399.43/399.50	o 8740
399.62/399.75	o 8735
399.62/399.75	o 8730
399.62/399.75	o 8725
399.62/399.76	o 8720
412.12/412.29	o 8715
416.82/416.92	o 8710
418.52/418.68	o 8705
418.62/418.74	o 8700
418.93/419.01	o 8695
418.93/419.01	o 8690
429.82/429.96	o 8685
433.42/433.58	o 8680
433.52/433.69	o 8675
433.62/433.74	o 8670
433.62/433.75	o 8665
433.62/433.75	o 8660
436.72/436.81	o 8655
436.72/436.81	o 8650
440.02/440.12	o 8645
440.02/440.13	o 8640
440.12/440.25	o 8635
440.12/440.25	o 8630
453.51/453.69	o 8625
453.62/453.70	o 8620
453.72/453.83	o 8615
453.72/453.83	o 8610
453.82/453.99	o 8605
453.82/453.99	o 8600
453.92/454.01	o 8595
455.52/455.68	o 8594
455.52/455.69	o 8589
481.11/481.21	o 8585
484.40/484.58	o 8580
489.51/489.60	o 8575
557.60/557.79	o 8570
557.70/557.90	o 8565
557.80/557.91	o 8560
566.80/566.93	o 8555
568.00/568.16	o 8550
579.89/580.08	o 8545
579.99/580.18	o 8540
667.77/667.98	o 8535
668.07/668.20	o 8530
668.07/668.21	o 8525
687.68/687.87	o 8520
689.67/689.80	o 8515
691.28/691.41	o 8510
691.28/691.43	o 8505
1481.75/1482.03	o 8504
1486.05/1486.39	o 8499
1490.85/1491.19	o 8495
1491.55/1491.85	o 8490
1493.05/1493.36	o 8485
1493.35/1493.64	o 8480
1493.45/1493.78	o 8475
1503.05/1503.31	o 8470
1508.05/1508.37	o 8465
1508.25/1508.51	o 8460
1508.45/1508.70	o 8455
1508.45/1508.73	o 8450
1508.45/1508.73	o 8445
1508.55/1508.84	o 8440
1509.25/1509.57	o 8435
1509.25/1509.57	o 8430
1509.45/1509.72	o 8425
1509.55/1509.84	o 8420
1509.96/1510.20	o 8415
1510.06/1510.33	o 8410
1510.25/1510.53	o 8405
1510.35/1510.62	o 8400
1510.35/1510.62	o 8395
1510.35/1510.63	o 8390
1510.35/1510.66	o 8385
1510.45/1510.79	o 8380
1510.55/1510.81	o 8375
1510.55/1510.84	o 8370
1532.15/1532.41	o 8365
1545.45/1545.78	o 8360
1546.54/1546.82	o 8355
1547.35/1547.66	o 8350
1553.84/1554.14	o 8345
1554.05/1554.34	o 8340
1554.14/1554.49	o 8335
1554.14/1554.49	o 8330
1554.14/1554.49	o 8325
1554.24/1554.50	o 8320
1554.24/1554.50	o 8315
1555.64/1555.91	o 8310
1555.64/1555.91	o 8305
1584.54/1584.81	o 8300
1585.14/1585.45	o 8295
1585.44/1585.78	o 8290
1585.54/1585.81	o 8285
1585.54/1585.82	o 8280
1585.54/1585.83	o 8275
1585.54/1585.85	o 8270
1585.64/1585.96	o 8265
1585.74/1586.01	o 8260
1585.74/1586.07	o 8255
1585.74/1586.10	o 8250
1585.95/1586.22	o 8245
1586.04/1586.31	o 8240
1586.04/1586.33	o 8235
1586.04/1586.36	o 8230
1586.44/1586.75	o 8225
1586.44/1586.78	o 8220
1647.23/1647.55	o 8215
1656.83/1657.12	o 8210
1663.93/1664.28	o 8205
1664.04/1664.33	o 8200
1664.04/1664.34	o 8195
1664.04/1664.36	o 8190
1664.04/1664.38	o 8185
1664.04/1664.39	o 8180
1664.13/1664.40	o 8175
1664.23/1664.51	o 8170
1664.23/1664.53	o 8165
1664.23/1664.54	o 8160
1782.91/1783.28	c total time              : 1783 s
1782.91/1783.28	s SATISFIABLE
1782.91/1783.28	v x1 -x1754 -x3245 -x4356 -x5483 x6648 -x7809 -x8958 -x10107 -x2 x461 -x602 -x755 x902 x1037 x1168 x1307 x1454 x1617 x1755 x1905 -x2064 -x2217 -x2368 x2519 -x2657 x2801 -x2958 x3114 -x3246 x3357 -x3468 -x3579 x3690 x3801 x3912 x4023 x4134 -x4245 x4357 -x4468 -x4579 x4690 x4801 -x4912 -x5023 -x5024 -x5025 -x5026 -x5027 -x5138 -x5139 -x5140 -x5141 -x5142 -x5253 -x5254 -x5255 -x5256 -x5257 -x5368 -x5369 -x5370 -x5371 -x5372 -x5484 -x5485 -x5486 -x5487 -x5488 -x5489 -x5600 -x5601 -x5602 -x5603 -x5604 -x5605 -x5716 -x5717 -x5718 -x5719 -x5720 -x5721 -x5832 -x5833 -x5834 -x5835 -x5836 -x5837 -x5948 -x5949 -x5950 -x5951 -x5952 -x5953 -x5954 -x6065 -x6066 -x6067 -x6068 -x6069 -x6070 -x6071 -x6182 -x6183 -x6184 -x6185 -x6186 -x6187 -x6188 -x6299 -x6300 -x6301 -x6302 -x6303 -x6304 -x6305 -x6416 -x6417 -x6418 -x6419 -x6420 -x6421 -x6532 -x6533 -x6534 -x6535 -x6536 -x6537 -x6649 -x6650 -x6651 -x6652 -x6653 -x6654 -x6765 -x6766 -x6767 -x6768 -x6769 -x6770 -x6881 -x6882 -x6883 -x6884 -x6885 -x6886 -x6887 -x6888 -x6999 -x7000 -x7001 -x7002 -x7003 -x7004 -x7005 -x7006 -x7117 -x7118 -x7119 -x7120 -x7121 -x7122 -x7123 -x7124 -x7235 -x7236 -x7237 -x7238 -x7239 -x7240 -x7241 -x7242 -x7353 -x7354 -x7355 -x7356 -x7467 -x7468 -x7469 -x7470 -x7581 -x7582 -x7583 -x7584 -x7695 -x7696 -x7697 -x7698 -x7810 -x7811 -x7812 -x7813 -x7814 -x7925 -x7926 -x7927 -x7928 -x7929 -x8040 -x8041 -x8042 -x8043 -x8044 -x8155 -x8156 -x8157 -x8158 -x8159 -x8270 -x8271 -x8272 -x8273 -x8274 -x8385 -x8386 -x8387 -x8388 -x8389 -x8500 -x8501 -x8502 -x8503 -x8504 -x8615 -x8616 -x8617 -x8618 -x8619 -x8730 -x8731 -x8732 -x8733 -x8844 -x8845 -x8846 -x8847 -x8959 -x8960 -x8961 -x8962 -x9073 -x9074 -x9075 -x9076 -x9187 -x9188 -x9189 -x9190 -x9191 -x9302 -x9303 -x9304 -x9305 -x9306 -x9417 -x9418 -x9419 -x9420 -x9421 -x9532 -x9533 -x9534 -x9535 -x9536 -x9647 -x9648 -x9649 -x9650 -x9651 -x9762 -x9763 -x9764 -x9765 -x9766 -x9877 -x9878 -x9879 -x9880 -x9881 -x9992 -x9993 -x9994 -x9995 -x9996 -x10108 -x10109 -x10110 -x10111 -x10222 -x10223 -x10224 -x10225 -x10336 -x10337 -x10338 -x10339 -x10450 -x10451 -x10452 -x10453 -x10564 -x10565 -x10566 -x10567 -x10678 -x10679 -x10680 -x10681 -x10792 -x10793 -x10794 -x10795 -x10906 -x10907 -x10908 -x10909 -x11020 -x11021 -x11022 -x11023 -x11134 -x11135 -x11136 -x11137 -x3 -x4 -x5 -x6 -x117 -x118 -x119 -x120 -x231 -x232 -x233 -x234 -x363 -x364 -x365 -x366 -x377 -x378 -x379 -x380 -x391 -x392 -x393 -x394 -x405 -x406 -x407 -x408 -x419 -x420 -x421 -x422 -x433 -x434 -x435 -x436 -x447 -x448 -x449 -x450 -x462 -x463 -x464 -x465 -x476 -x477 -x478 -x479 -x490 -x491 -x492 -x493 -x504 -x505 -x506 -x507 -x518 -x519 -x520 -x521 -x532 -x533 -x534 -x535 -x546 -x547 -x548 -x549 -x560 -x561 -x562 -x563 -x574 -x575 -x576 -x577 -x588 -x589 -x590 -x591 -x603 -x604 -x605 -x606 -x617 -x618 -x619 -x620 -x631 -x632 -x633 -x634 -x635 -x636 -x647 -x648 -x649 -x650 -x651 -x652 -x663 -x664 -x665 -x666 -x667 -x668 -x679 -x680 -x681 -x682 -x683 -x684 -x695 -x696 -x697 -x698 -x699 -x710 -x711 -x712 -x713 -x714 -x725 x726 -x727 -x728 -x729 -x740 -x741 -x742 -x743 -x744 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x824 -x825 -x826 -x837 -x838 -x839 x850 -x851 -x852 -x863 -x864 -x865 -x876 -x877 -x878 -x889 -x890 -x891 -x903 -x904 -x905 -x916 -x917 -x918 -x929 -x930 -x931 -x942 -x943 -x944 x955 -x956 -x957 -x968 -x969 -x970 -x981 -x982 -x983 -x984 -x995 -x996 -x997 -x998 -x1009 -x1010 -x1011 -x1012 -x1023 -x1024 -x1025 -x1026 -x1038 -x1039 -x1040 -x1051 -x1052 -x1053 x1064 -x1065 -x1066 -x1077 -x1078 -x1079 -x1090 -x1091 -x1092 -x1103 -x1104 -x1105 -x1116 -x1117 -x1118 -x1129 -x1130 -x1131 -x1142 -x1143 -x1144 -x1155 -x1156 -x1157 -x1169 -x1170 -x1171 -x1182 -x1183 -x1184 -x1195 -x1196 -x1197 -x1208 -x1209 -x1210 x1221 -x1222 -x1223 -x1234 -x1235 -x1236 -x1247 -x1248 -x1249 -x1250 -x1251 x1262 x1263 -x1264 -x1265 -x1266 x1277 -x1278 -x1279 -x1280 -x1281 -x1292 -x1293 -x1294 -x1295 -x1296 -x1308 -x1309 -x1310 -x1311 -x1322 -x1323 -x1324 -x1325 -x1336 -x1337 -x1338 -x1339 -x1350 -x1351 -x1352 -x1353 -x1364 -x1365 -x1366 -x1367 -x1378 -x1379 -x1380 -x1381 x1392 -x1393 -x1394 -x1395 -x1406 -x1407 -x1408 -x1409 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1618 -x1619 -x1620 -x1631 -x1632 -x1633 -x1644 -x1645 -x1646 -x1657 -x1658 -x1659 -x1670 -x1671 -x1672 -x1673 -x1684 -x1685 -x1686 -x1687 x1698 -x1699 -x1700 -x1701 -x1712 -x1713 -x1714 -x1715 -x1726 -x1727 -x1728 -x1729 -x1740 -x1741 -x1742 -x1743 x1756 -x1757 -x1758 -x1759 -x1770 -x1771 -x1772 -x1773 -x1784 -x1785 -x1786 -x1787 -x1798 -x1799 -x1800 -x1801 -x1812 -x1813 -x1814 -x1815 -x1826 -x1827 -x1828 -x1829 x1840 x1841 x1842 x1843 -x1844 -x1845 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 x1890 x1891 -x1892 -x1893 -x1894 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1962 x1963 x1964 x1965 x1966 x1967 -x1968 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2013 x2014 x2015 x2016 x2017 x2018 -x2019 -x2030 -x2031 -x2032 -x2033 x2034 -x2035 x2036 x2047 x2048 -x2049 x2050 -x2051 -x2052 x2053 -x2065 x2066 x2067 -x2068 -x2069 -x2070 x2071 -x2082 -x2083 -x2084 -x2085 x2086 -x2087 x2088 x2099 x2100 -x2101 x2102 -x2103 -x2104 x2105 -x2116 x2117 x2118 -x2119 -x2120 -x2121 x2122 -x2133 -x2134 -x2135 -x2136 -x2137 -x2148 -x2149 -x2150 -x2151 -x2152 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 x2179 x2180 x2181 x2182 -x2183 -x2184 -x2229 x2230 -x2231 x2232 x2233 -x2234 -x2245 -x2246 -x2247 -x2248 -x2249 x2260 x2261 -x2262 -x2263 x2264 -x2275 -x2276 -x2277 -x2278 -x2279 -x2290 x2291 -x2292 -x2293 -x2294 x2295 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2322 -x2323 -x2324 -x2325 -x2326 -x2337 -x2338 -x2339 -x2340 x2341 x2352 -x2353 x2354 x2355 -x2356 -x2357 -x2369 x2370 -x2371 x2372 -x2373 -x2384 -x2385 x2386 -x2387 x2388 -x2399 -x2400 -x2401 -x2402 x2403 -x2404 -x2405 -x2416 -x2417 -x2418 x2419 -x2420 -x2421 -x2432 -x2433 -x2434 -x2435 x2436 -x2437 -x2438 -x2449 -x2450 x2451 -x2452 x2463 -x2464 -x2465 x2466 -x2467 -x2478 -x2479 x2480 x2481 -x2482 -x2493 x2494 x2495 -x2496 -x2497 -x2564 x2565 x2566 x2567 x2568 -x2569 -x2580 -x2581 -x2582 -x2583 -x2584 -x2595 -x2596 -x2597 -x2598 -x2599 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 x2626 -x2627 -x2628 -x2629 -x2630 x2631 -x2642 -x2643 -x2644 -x2645 -x2646 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 x2674 -x2675 x2676 x2677 x2678 -x2679 -x2690 -x2691 -x2692 -x2693 -x2694 -x2705 -x2706 -x2707 -x2708 -x2709 x2720 -x2721 x2722 x2723 x2724 -x2725 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2863 x2864 -x2865 x2866 -x2867 x2868 -x2879 -x2880 -x2881 -x2882 -x2883 x2894 -x2895 x2896 -x2897 x2898 x2899 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 x2926 -x2927 x2928 -x2929 x2930 x2931 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 x2959 x2960 x2961 -x2962 x2963 -x2974 -x2975 -x2976 -x2977 -x2978 -x2989 -x2990 -x2991 -x2992 -x2993 x3004 x3005 x3006 -x3007 x3008 -x3019 x3020 -x3021 -x3022 x3023 -x3034 -x3035 -x3036 -x3037 -x3038 x3039 x3050 x3051 x3052 -x3053 x3054 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 x3082 x3083 x3084 -x3085 x3086 x3087 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 x3131 -x3132 -x3133 x3134 -x3135 x3136 x3147 -x3148 -x3149 x3150 -x3151 x3152 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x281 -x282 -x283 x284 x285 -x286 -x287 -x288 -x289 -x290 x291 x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 x315 x316 -x317 x318 x319 -x320 x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 x336 x337 -x338 x339 x340 -x341 x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x2443 -x2446 -x2447 -x2448 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2441 -x2592 -x2593 -x2594 -x2600 -x2440 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2632 -x2531 -x2542 -x2553 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2444 -x2656 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2442 -x2719 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2837 -x2838 -x2839 x2840 x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2932 -x2933 -x2934 x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2979 -x2980 -x2981 -x2982 -x2983 x2984 x2985 -x2986 -x2987 -x2988 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 x3032 x3033 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3072 -x3073 x3074 x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 x3121 x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3153 -x3154 -x3155 -x3156 x3157 x3158 -x3159 -x3160 -x3161 -x3162 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3191 x3192 -x3193 x3194 -x3195 -x3196 x3197 -x3198 -x3199 -x3200 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 x3220 -x3221 -x3222 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3248 -x3249 -x3250 -x3251 -x3252 x3253 -x3254 -x3255 x3256 -x3257 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3270 -x3271 -x3272 -x3273 -x3274 x3275 x3276 -x3277 -x3278 -x3279 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 x3310 -x3311 x3312 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 x3333 -x3334 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 x3365 -x3366 x3367 x3368 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 x3500 -x3501 x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 x3543 -x3544 -x3545 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3803 -x3804 -x3805 -x3806 x2736 -x2737 x2738 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 x2749 -x2750 x2751 -x3888 -x3889 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3958 -x3959 x2762 -x2763 x2764 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4002 -x4003 -x4004 x2775 -x2776 x2777 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 x2788 -x2789 x2790 -x4086 -x4087 -x4088 -x4089 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4147 -x4148 -x4149 x2802 -x2803 x2804 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4269 -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4390 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x4410 -x4411 -x4412 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4436 -x4437 -x4438 -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4470 -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 -x4481 -x4482 -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 -x4499 -x4500 -x4501 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4510 -x4511 -x4512 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4525 -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 -x4532 -x4533 -x4534 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 -x4543 -x4544 -x4545 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4558 -x4559 -x4560 -x4561 -x4562 -x4563 -x4564 -x4565 -x4566 -x4567 -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x4590 -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 -x4598 -x4599 -x4600 -x4601 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x4610 -x4611 -x4612 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x4620 -x4621 -x4622 -x4623 -x4625 -x4626 -x4627 -x4628 -x4629 -x4630 -x4631 -x4632 -x4633 -x4634 -x4636 -x4637 -x4638 -x4639 -x4640 -x4641 -x4642 -x4643 -x4644 -x4645 -x4647 -x4648 -x4649 x4650 -x4651 -x4652 x4653 -x4654 -x4655 -x4656 -x4658 -x4659 -x4660 -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4667 -x4669 -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 -x4677 -x4678 -x4680 -x4681 -x4682 -x4683 -x4684 -x4685 -x4686 -x4687 -x4688 -x4689 -x4692 -x4693 -x4694 -x4695 -x4696 -x4697 -x4698 -x4699 -x4700 -x4701 -x4703 -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4710 -x4711 -x4712 -x4714 -x4715 -x4716 -x4717 -x4718 -x4719 -x4720 -x4721 -x4722 -x4723 -x4725 -x4726 -x4727 -x4728 -x4729 -x4730 -x4731 -x4732 -x4733 -x4734 -x4736 -x4737 -x4738 -x4739 -x4740 -x4741 -x4742 -x4743 -x4744 -x4745 -x4747 -x4748 -x4749 -x4750 -x4751 -x4752 -x4753 -x4754 -x4755 -x4756 -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -x4769 -x4770 -x4771 -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 -x4780 -x4781 -x4782 -x4783 -x4784 -x4785 -x4786 -x4787 -x4788 -x4789 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 -x4798 -x4799 -x4800 -x4803 -x4804 -x4805 -x4806 -x4807 -x4808 -x4809 -x4810 -x4811 -x4812 -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 -x4820 -x4821 -x4822 -x4823 -x4825 -x4826 -x4827 -x4828 -x4829 -x4830 -x4831 -x4832 -x4833 -x4834 -x4836 -x4837 -x4838 -x4839 -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 -x4847 -x4848 -x4849 -x4850 -x4851 -x4852 -x4853 -x4854 -x4855 -x4856 -x4858 -x4859 -x4860 -x4861 -x4862 -x4863 -x4864 -x4865 -x4866 -x4867 -x4869 -x4870 -x4871 -x4872 -x4873 -x4874 -x4875 -x4876 -x4877 -x4878 -x4880 -x4881 -x4882 -x4883 -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 -x4891 -x4892 -x4893 -x4894 -x4895 -x4896 -x4897 -x4898 -x4899 -x4900 -x4902 -x4903 -x4904 -x4905 -x4906 -x4907 -x4908 -x4909 -x4910 -x4911 -x4914 -x4915 -x4916 x4917 -x4918 x4919 -x4920 -x4921 -x4922 -x4923 -x4925 -x4926 -x4927 -x4928 -x4929 -x4930 -x4931 -x4932 -x4933 -x4934 -x4936 -x4937 -x4938 -x4939 -x4940 -x4941 -x4942 -x4943 -x4944 -x4945 -x4947 -x4948 -x4949 -x4950 -x4951 -x4952 -x4953 -x4954 -x4955 -x4956 -x4958 -x4959 -x4960 -x4961 -x4962 -x4963 -x4964 -x4965 -x4966 -x4967 -x4969 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 -x4977 x4978 -x4980 -x4981 -x4982 -x4983 -x4984 -x4985 -x4986 -x4987 -x4988 -x4989 -x4991 -x4992 -x4993 -x4994 -x4995 -x4996 -x4997 -x4998 -x4999 -x5000 -x5002 -x5003 -x5004 -x5005 -x5006 -x5007 -x2195 -x5008 -x5009 -x5010 -x5011 -x2206 -x5013 -x5014 -x2218 -x5015 -x5016 -x5017 -x5018 -x5019 -x5020 -x5021 -x5022 -x5029 -x5030 -x5031 -x5032 -x5033 -x5034 -x5035 -x5036 -x5037 -x5038 -x5040 -x5041 -x5042 -x5043 -x5044 -x5045 -x5046 -x5047 -x5048 -x5049 -x5051 -x5052 -x5053 -x5054 -x5055 -x5056 -x5057 -x5058 -x5059 -x5060 -x5062 -x5063 -x5064 -x5065 -x5066 -x5067 -x5068 -x5069 -x5070 -x5071 -x5073 -x5074 -x5075 -x5076 -x5077 -x5078 -x5079 -x5080 -x5081 -x5082 -x5084 -x5085 -x5086 -x5087 -x5088 -x5089 -x5090 -x5091 -x5092 -x5093 -x5095 -x5096 -x5097 -x5098 -x5099 -x5100 -x5101 -x5102 -x5103 -x5104 -x5106 -x5107 -x5108 -x5109 -x5110 -x5111 -x5112 -x5113 -x5114 -x5115 -x5117 -x5118 -x5119 -x5120 -x5121 -x5122 -x5123 -x5124 -x5125 -x5126 -x5128 -x5129 -x5130 -x5131 -x5132 -x5133 -x5134 -x5135 -x5136 -x5137 -x5144 -x5145 -x5146 -x5147 -x5148 -x5149 -x5150 -x5151 -x5152 -x5153 -x5155 -x5156 -x5157 -x5158 -x5159 -x5160 -x5161 -x5162 -x5163 -x5164 -x5166 -x5167 -x5168 -x5169 -x5170 -x5171 -x5172 -x5173 -x5174 -x5175 -x5177 -x5178 -x5179 -x5180 -x5181 -x5182 -x5183 -x5184 -x5185 -x5186 -x5188 -x5189 -x5190 -x5191 -x5192 -x5193 -x5194 -x5195 -x5196 -x5197 -x5199 -x5200 -x5201 -x5202 -x5203 -x5204 -x5205 -x5206 -x5207 -x5208 -x5210 -x5211 -x5212 -x5213 -x5214 -x5215 -x5216 -x5217 -x5218 -x5219 -x5221 -x5222 -x5223 -x5224 -x5225 -x5226 -x5227 -x5228 -x5229 -x5230 -x5232 -x5233 -x5234 -x5235 -x5236 -x5237 -x5238 -x5239 -x5240 -x5241 -x5243 -x5244 -x5245 -x5246 -x5247 -x5248 -x5249 -x5250 -x5251 -x5252 -x5259 -x5260 x5261 -x5262 -x5263 -x5264 x5265 -x5266 -x5267 -x5268 -x5270 -x5271 -x5272 -x5273 -x5274 -x5275 -x5276 -x5277 -x5278 -x5279 -x5281 -x5282 -x5283 -x5284 -x5285 -x5286 -x5287 -x5288 -x5289 -x5290 -x5292 -x5293 -x5294 -x5295 -x5296 -x5297 -x5298 -x5299 -x5300 -x5301 -x5303 -x5304 -x5305 -x5306 -x5307 -x5308 -x5309 -x5310 -x5311 -x5312 -x5314 -x5315 -x5316 -x5317 -x5318 -x5319 -x5320 -x5321 -x5322 -x5323 -x5325 -x5326 -x5327 -x5328 -x5329 -x5330 -x5331 -x5332 -x5333 -x5334 -x5336 -x5337 -x5338 -x5339 -x5340 x5341 -x5342 -x5343 -x5344 -x5345 -x5347 -x5348 -x5349 -x5350 -x5351 -x5352 -x5353 -x5354 -x5355 -x5356 -x5358 -x5359 -x5360 -x5361 -x5362 -x5363 -x5364 -x5365 -x5366 -x5367 -x5374 -x5375 -x5376 -x5377 -x5378 -x5379 -x5380 -x5381 -x5382 -x5383 -x5385 -x5386 -x5387 -x5388 -x5389 -x5390 -x5391 -x5392 -x5393 x5394 -x5396 -x5397 -x5398 -x5399 -x5400 -x5401 -x5402 -x5403 -x5404 -x5405 -x5407 -x5408 -x5409 -x5410 -x5411 -x5412 -x5413 -x5414 -x5415 -x5416 -x5418 -x5419 -x5420 -x5421 -x5422 -x5423 -x5424 -x5425 -x5426 -x5427 -x5429 -x5430 -x5431 -x5432 -x5433 -x5434 -x5435 -x5436 -x5437 -x5438 -x5440 -x5441 -x5442 -x5443 -x5444 -x5445 -x5446 -x5447 -x5448 -x5449 -x5451 -x5452 -x5453 -x5454 -x5455 -x5456 -x5457 -x5458 -x5459 -x5460 -x5462 -x5463 -x5464 -x5465 -x5466 -x5467 -x5468 -x5469 -x5470 -x5471 -x5473 -x5474 -x5475 -x5476 -x5477 -x5478 -x5479 -x5480 -x5481 -x5482 -x5491 -x5492 -x5493 -x5494 -x5495 -x5496 -x5497 -x5498 -x5499 -x5500 -x5502 -x5503 -x5504 -x5505 -x5506 -x5507 -x5508 -x5509 -x5510 -x5511 -x5513 -x5514 -x5515 -x5516 -x5517 -x5518 -x5519 -x5520 -x5521 -x5522 -x5524 -x5525 -x5526 -x5527 -x5528 -x5529 -x5530 -x5531 -x5532 -x5533 -x5535 -x5536 -x5537 -x5538 -x5539 -x5540 -x5541 -x5542 -x5543 -x5544 -x5546 -x5547 -x5548 -x5549 -x5550 -x5551 -x5552 -x5553 -x5554 -x5555 -x5557 -x5558 -x5559 -x5560 x5561 -x5562 x5563 -x5564 -x5565 -x5566 -x5568 -x5569 -x5570 -x5571 -x5572 -x5573 -x5574 -x5575 -x5576 -x5577 -x5579 -x5580 -x5581 -x5582 -x5583 -x5584 -x5585 -x5586 -x5587 -x5588 -x5590 -x5591 -x5592 -x5593 x5594 -x5595 -x5596 -x5597 -x5598 -x5599 -x5607 -x5608 -x5609 -x5610 -x5611 -x5612 -x5613 -x5614 -x5615 -x5616 -x5618 -x5619 -x5620 x5621 -x5622 -x5623 -x5624 -x5625 -x5626 -x5627 -x5629 -x5630 -x5631 -x5632 -x5633 -x5634 -x5635 -x5636 -x5637 -x5638 -x5640 -x5641 -x5642 -x5643 -x5644 -x5645 -x5646 -x5647 -x5648 -x5649 -x5651 -x5652 -x5653 -x5654 -x5655 -x5656 -x5657 -x5658 -x5659 -x5660 -x5662 -x5663 -x5664 -x5665 -x5666 -x5667 -x5668 -x5669 -x5670 -x5671 -x5673 -x5674 -x5675 -x5676 -x5677 -x5678 -x5679 -x5680 -x5681 -x5682 -x5684 -x5685 -x5686 -x5687 -x5688 -x5689 -x5690 -x5691 -x5692 -x5693 -x5695 -x5696 -x5697 -x5698 -x5699 -x5700 -x5701 -x5702 -x5703 -x5704 -x5706 -x5707 -x5708 -x5709 -x5710 -x5711 -x5712 -x5713 -x5714 -x5715 -x5723 -x5724 -x5725 -x5726 -x5727 -x5728 -x5729 -x5730 -x5731 -x5732 -x5734 -x5735 -x5736 -x5737 -x5738 -x5739 -x5740 -x5741 -x5742 -x5743 -x5745 -x5746 -x5747 -x5748 -x5749 -x5750 -x5751 -x5752 -x5753 -x5754 -x5756 -x5757 -x5758 -x5759 -x5760 -x5761 -x5762 -x5763 -x5764 -x5765 -x5767 -x5768 -x5769 -x5770 -x5771 -x5772 -x5773 -x5774 -x5775 -x5776 -x5778 -x5779 -x5780 -x5781 -x5782 -x5783 -x5784 -x5785 -x5786 -x5787 -x5789 -x5790 -x5791 -x5792 -x5793 -x5794 -x5795 -x5796 -x5797 x5798 -x5800 x5801 -x5802 -x5803 -x5804 -x5805 -x5806 -x5807 -x5808 x5809 -x5811 -x5812 -x5813 -x5814 -x5815 -x5816 -x5817 -x5818 -x5819 -x5820 -x5822 -x5823 -x5824 -x5825 -x5826 -x5827 -x5828 -x5829 -x5830 -x5831 -x5839 -x5840 -x5841 -x5842 -x5843 -x5844 -x5845 -x5846 -x5847 -x5848 -x5850 -x5851 -x5852 -x5853 -x5854 -x5855 -x5856 x5857 -x5858 x5859 -x5861 -x5862 -x5863 -x5864 -x5865 x5866 -x5867 -x5868 -x5869 -x5870 -x5872 -x5873 -x5874 -x5875 -x5876 -x5877 -x5878 -x5879 -x5880 -x5881 -x5883 -x5884 -x5885 -x5886 -x5887 -x5888 -x5889 -x5890 -x5891 -x5892 -x5894 -x5895 -x5896 -x5897 -x5898 -x5899 -x5900 -x5901 -x5902 -x5903 -x5905 -x5906 -x5907 -x5908 -x5909 -x5910 -x5911 -x5912 -x5913 -x5914 -x5916 -x5917 -x5918 -x5919 -x5920 -x5921 -x5922 -x5923 -x5924 -x5925 -x5927 -x5928 -x5929 -x5930 -x5931 -x5932 -x5933 -x5934 -x5935 -x5936 -x5938 -x5939 -x5940 -x5941 -x5942 -x5943 -x5944 -x5945 -x5946 -x5947 -x5956 -x5957 -x5958 -x5959 -x5960 -x5961 -x5962 -x5963 -x5964 -x5965 -x5967 -x5968 -x5969 -x5970 -x5971 -x5972 -x5973 -x5974 -x5975 -x5976 -x5978 -x5979 -x5980 -x5981 -x5982 -x5983 -x5984 -x5985 -x5986 -x5987 -x5989 -x5990 x5991 -x5992 -x5993 x5994 -x5995 -x5996 -x5997 -x5998 -x6000 -x6001 -x6002 -x6003 -x6004 -x6005 -x6006 -x6007 -x6008 -x6009 -x6011 -x6012 -x6013 -x6014 -x6015 -x6016 -x6017 -x6018 -x6019 -x6020 -x6022 -x6023 -x6024 -x6025 -x6026 -x6027 -x6028 -x6029 -x6030 -x6031 -x6033 -x6034 -x6035 -x6036 -x6037 -x6038 -x6039 -x6040 -x6041 -x6042 -x6044 -x6045 -x6046 -x6047 -x6048 -x6049 -x6050 -x6051 -x6052 -x6053 -x6055 -x6056 -x6057 -x6058 -x6059 -x6060 -x6061 -x6062 -x6063 -x6064 -x6073 -x6074 -x6075 -x6076 -x6077 -x6078 -x6079 -x6080 -x6081 -x6082 -x6084 -x6085 -x6086 -x6087 -x6088 -x6089 -x6090 -x6091 -x6092 -x6093 -x6095 -x6096 -x6097 -x6098 -x6099 -x6100 -x6101 -x6102 -x6103 -x6104 -x6106 -x6107 -x6108 -x6109 -x6110 -x6111 -x6112 -x6113 -x6114 -x6115 -x6117 -x6118 -x6119 -x6120 -x6121 -x6122 -x6123 -x6124 -x6125 -x6126 -x6128 -x6129 -x6130 -x6131 -x6132 -x6133 -x6134 -x6135 -x6136 -x6137 -x6139 -x6140 -x6141 -x6142 -x6143 -x6144 -x6145 -x6146 -x6147 -x6148 -x6150 -x6151 -x6152 -x6153 -x6154 -x6155 -x6156 -x6157 -x6158 -x6159 -x6161 -x6162 -x6163 -x6164 -x6165 -x6166 -x6167 -x6168 -x6169 -x6170 -x6172 -x6173 -x6174 -x6175 -x6176 -x6177 -x6178 -x6179 -x6180 -x6181 -x6190 -x6191 -x6192 -x6193 -x6194 -x6195 -x6196 -x6197 -x6198 -x6199 -x6201 -x6202 -x6203 -x6204 -x6205 -x6206 -x6207 -x6208 -x6209 -x6210 -x6212 -x6213 -x6214 -x6215 -x6216 -x6217 -x6218 -x6219 -x6220 -x6221 -x6223 -x6224 -x6225 -x6226 -x6227 -x6228 -x6229 -x6230 -x6231 -x6232 -x6234 -x6235 -x6236 -x6237 -x6238 -x6239 -x6240 -x6241 -x6242 -x6243 -x6245 -x6246 -x6247 -x6248 -x6249 -x6250 -x6251 -x6252 -x6253 -x6254 -x6256 -x6257 -x6258 -x6259 -x6260 -x6261 -x6262 -x6263 -x6264 -x6265 -x6267 -x6268 -x6269 -x6270 -x6271 -x6272 -x6273 -x6274 -x6275 -x6276 -x6278 -x6279 -x3179 -x3190 -x3201 -x3212 -x3223 -x3234 -x3247 -x3258 -x3269 -x3280 -x3291 -x3302 -x6280 -x6281 -x6282 -x6283 -x6284 -x6285 -x6286 -x6287 -x6289 -x6290 -x6291 -x6292 -x6293 -x6294 -x6295 -x6296 -x6297 -x6298 -x6307 -x6308 -x6309 -x6310 -x6311 -x6312 -x6313 x6314 -x6315 -x6316 -x6318 -x6319 -x6320 -x6321 -x6322 -x6323 -x3313 -x3324 -x3335 -x3346 -x3358 -x3369 -x6324 -x6325 -x6326 -x6327 -x6329 -x6330 -x6331 -x6332 -x6333 -x6334 -x6335 -x6336 -x6337 -x6338 -x6340 -x6341 -x6342 -x6343 -x6344 -x6345 -x6346 -x3380 -x3391 -x3402 -x3413 -x3424 -x3435 -x6347 -x6348 -x6349 -x6351 -x6352 -x6353 -x3446 -x3457 -x3469 -x3480 -x3491 -x3502 -x3513 -x3524 -x3535 -x3546 -x3557 -x3568 -x3580 -x3591 -x3602 -x3613 -x3624 -x3635 -x6354 -x6355 -x6356 -x6357 -x6358 -x6359 -x6360 -x6362 -x6363 -x6364 -x6365 -x6366 -x6367 -x6368 -x6369 -x6370 -x6371 -x6373 -x6374 -x6375 -x6376 -x6377 -x6378 -x6379 -x6380 -x6381 -x6382 -x6384 -x6385 -x6386 x6387 x6388 -x6389 -x6390 -x6391 -x6392 -x6393 -x6395 -x3646 -x3657 -x3668 -x3679 -x3691 -x3702 -x6396 -x6397 -x6398 -x6399 -x6400 -x6401 -x6402 -x6403 -x6404 -x6406 -x6407 -x6408 -x6409 -x6410 -x6411 -x6412 -x6413 -x6414 -x6415 -x6423 -x6424 -x6425 -x6426 -x6427 -x6428 -x6429 -x6430 -x6431 -x6432 -x6434 -x6435 -x6436 -x6437 -x6438 -x6439 -x6440 -x6441 -x6442 -x6443 -x3713 -x3724 -x3735 -x3746 -x3757 -x3768 -x6445 -x6446 -x6447 -x6448 x6449 x6450 -x6451 -x6452 -x6453 -x6454 -x6456 -x6457 -x6458 -x6459 -x6460 -x6461 -x6462 -x6463 -x6464 -x6465 -x6467 -x6468 x6469 -x6470 -x6471 -x6472 -x3779 -x3790 -x3802 -x3813 -x3824 -x3835 -x3846 -x3857 -x3868 -x3879 -x3890 -x3901 -x6473 -x6474 -x6475 -x6476 -x6478 -x6479 -x6480 -x3913 -x3924 -x3935 -x3946 -x3957 -x3968 -x6481 -x6482 -x6483 -x6484 -x6485 -x6486 -x6487 -x6489 -x6490 -x6491 -x6492 -x6493 -x6494 -x6495 -x6496 -x6497 -x6498 -x6500 -x6501 -x6502 -x6503 -x6504 -x6505 -x6506 -x6507 -x6508 -x6509 -x6511 -x6512 -x6513 -x6514 -x6515 -x6516 -x6517 -x6518 -x6519 -x6520 -x6522 -x6523 -x6524 -x6525 -x6526 -x6527 -x3979 -x3990 -x4001 -x4012 -x4024 -x4035 -x4046 -x4057 -x4068 -x6528 -x6529 -x6530 -x6531 -x6539 -x6540 -x6541 -x6542 -x6543 -x6544 -x6545 -x6546 -x6547 -x6548 -x6550 -x6551 -x6552 -x6553 -x6554 -x6555 -x6556 -x6557 -x6558 -x6559 -x6561 -x6562 -x6563 -x6564 -x6565 -x6566 -x6567 -x6568 -x6569 -x6570 -x6572 -x6573 -x6574 -x6575 -x6576 -x6577 -x6578 -x6579 -x6580 -x6581 -x6583 -x6584 x6585 -x6586 x6587 -x6588 -x4079 -x4090 -x4101 -x4112 -x4123 -x4135 -x6589 -x6590 -x6591 -x6592 -x6594 -x6595 -x6596 -x6597 -x6598 -x6599 -x6600 -x6601 -x6602 -x6603 -x6605 -x6606 -x6607 -x6608 -x6609 -x6610 -x6611 -x6612 -x6613 -x6614 -x6616 -x6617 -x6618 -x6619 -x6620 -x6621 -x6622 -x6623 -x6624 -x6625 -x6627 -x6628 -x6629 -x6630 -x6631 -x6632 -x4146 -x4157 -x4168 -x4179 -x4190 -x4201 -x6633 -x6634 -x6635 -x6636 -x6638 -x6639 -x6640 -x6641 -x6642 -x6643 -x6644 -x6645 -x6646 -x6647 -x6656 -x6657 -x6658 -x6659 -x6660 -x6661 -x6662 -x6663 -x6664 -x6665 -x6667 -x6668 -x6669 -x6670 -x6671 -x6672 -x6673 -x4212 -x4223 -x4234 -x4246 -x4257 -x4268 -x6674 -x6675 -x6676 -x6678 -x6679 -x6680 -x6681 -x6682 -x6683 -x6684 -x6685 -x6686 -x6687 -x6689 -x6690 -x6691 -x6692 -x6693 -x6694 -x6695 -x4279 -x4290 -x4301 -x4312 -x4323 -x4334 -x6696 -x6697 -x6698 -x6700 -x6701 -x6702 -x6703 -x6704 -x6705 -x6706 -x6707 -x6708 -x6709 -x6711 -x6712 -x6713 -x6714 -x6715 -x6716 -x6717 -x4345 -x4358 -x4369 -x4380 -x4391 -x4402 -x6718 x6719 -x6720 -x6722 -x6723 -x6724 -x6725 -x6726 -x6727 -x6728 -x6729 -x6730 -x4413 -x4424 x4435 -x4446 -x4457 x4469 -x4480 -x4491 -x6731 -x6733 -x6734 -x6735 -x6736 -x6737 -x6738 -x6739 -x6740 -x6741 -x6742 -x6744 -x6745 -x6746 -x6747 -x6748 -x4502 -x4513 -x4524 -x4535 x4546 -x4557 -x6749 -x6750 -x6751 -x6752 -x6753 -x6755 -x6756 -x6757 -x6758 -x6759 -x6760 -x6761 -x6762 -x6763 -x6764 -x6772 -x6773 -x6774 -x4568 -x4580 -x4591 x4602 -x4613 -x4624 -x6775 -x6776 -x6777 -x6778 -x6779 -x6780 -x6781 -x6783 -x6784 -x6785 -x6786 -x6787 -x6788 -x6789 -x6790 -x6791 -x6792 -x6794 -x6795 -x6796 -x6797 -x6798 -x6799 -x6800 -x6801 -x6802 -x6803 -x6805 -x6806 -x6807 -x6808 -x4635 -x4646 -x4657 x4668 -x4679 -x4691 -x6809 -x6810 -x6811 -x6812 -x6813 -x6814 -x6816 x6817 x6818 x6819 -x6820 -x6821 -x6822 -x6823 -x6824 -x6825 -x6827 -x4702 -x4713 -x4724 x4735 -x4746 -x4757 -x6828 -x6829 -x6830 -x6831 -x6832 -x6833 -x6834 -x6835 -x6836 -x6838 -x4768 -x4779 -x4790 x4802 -x4813 -x4824 -x6839 -x6840 -x6841 -x6842 -x6843 -x6844 -x6845 -x6846 -x6847 -x6849 -x6850 -x6851 -x6852 -x6853 -x6854 -x6855 -x6856 -x6857 -x6858 -x6860 -x6861 -x6862 -x6863 -x6864 -x6865 -x4835 -x4846 -x4857 x4868 -x4879 -x4890 -x6866 -x6867 -x6868 -x6869 -x6871 -x6872 -x6873 -x6874 -x6875 -x6876 -x6877 -x6878 -x6879 -x6880 -x6890 -x6891 -x6892 -x6893 -x6894 -x6895 -x6896 -x6897 -x6898 -x6899 -x6901 -x6902 -x6903 -x6904 -x6905 -x6906 -x6907 -x6908 x6909 x6910 -x6912 -x6913 -x6914 -x6915 -x6916 -x6917 -x6918 -x6919 -x6920 -x6921 -x4901 -x4913 -x4924 x4935 -x4946 -x4957 -x6923 -x6924 -x6925 -x6926 -x6927 -x6928 -x4968 -x6929 -x6930 -x6931 -x4979 -x5012 -x6932 -x6934 -x6935 -x4990 -x5028 -x6936 -x6937 -x6938 -x5001 -x5039 -x6939 -x6940 -x6941 x5050 -x6942 -x6943 -x6945 x6946 -x6947 -x6948 -x6949 -x6950 -x6951 -x6952 -x6953 -x6954 -x6956 -x6957 -x6958 -x6959 -x6960 -x6961 -x6962 -x6963 -x6964 -x6965 -x6967 -x6968 -x5061 -x5072 -x5083 -x5094 -x5105 -x5116 -x5127 -x5143 -x5154 -x5165 -x6969 -x6970 -x6971 -x6972 x6973 -x6974 -x6975 -x6976 -x6978 -x6979 -x6980 -x6981 -x6982 -x6983 -x6984 -x6985 -x6986 -x6987 -x6989 -x6990 -x6991 -x6992 -x6993 -x6994 -x5176 -x5187 -x5198 -x5209 -x5220 -x5231 -x5242 -x5258 -x6995 -x6996 -x6997 -x6998 -x7008 -x7009 -x7010 -x7011 -x7012 -x7013 -x7014 -x7015 -x7016 -x7017 -x7019 -x7020 -x7021 -x7022 -x7023 -x7024 -x7025 -x7026 -x7027 -x7028 -x7030 -x7031 -x7032 -x7033 -x7034 -x7035 -x7036 -x7037 -x7038 -x7039 -x7041 -x7042 -x7043 -x7044 -x5269 -x5280 -x5291 -x5302 -x5313 -x5324 -x5335 -x5346 -x7045 -x7046 -x7047 -x7048 -x7049 -x7050 -x7052 -x7053 -x7054 -x7055 -x7056 -x7057 -x7058 -x7059 -x7060 -x7061 -x7063 -x7064 -x7065 -x7066 -x7067 -x7068 -x7069 -x7070 -x7071 -x7072 -x7074 -x7075 -x7076 -x7077 -x7078 -x7079 -x7080 -x5357 -x5373 -x5384 -x5395 -x7081 -x7082 -x7083 -x7085 -x7086 -x7087 -x7088 -x7089 -x7090 -x7091 -x7092 -x7093 -x7094 -x7096 -x7097 -x7098 -x7099 -x7100 -x7101 -x7102 -x7103 -x7104 -x7105 -x7107 -x7108 -x7109 -x7110 -x7111 -x7112 -x7113 -x7114 -x7115 -x7116 -x7126 -x7127 -x7128 -x7129 -x7130 -x7131 -x7132 -x7133 -x5406 -x5417 -x5428 -x5439 -x5450 -x7134 -x7135 -x7137 -x7138 -x7139 -x7140 -x7141 -x7142 -x7143 -x7144 -x7145 -x7146 -x7148 -x7149 -x7150 -x7151 -x7152 -x7153 -x7154 -x7155 -x7156 -x7157 -x7159 -x7160 -x7161 -x5461 -x5472 -x5490 -x5501 -x5512 -x5523 -x7162 -x7163 -x7164 -x7165 -x7166 -x7167 -x7168 -x7170 -x7171 -x7172 -x7173 -x7174 -x7175 -x7176 -x7177 -x7178 -x7179 -x7181 -x7182 -x7183 -x7184 -x7185 -x7186 -x7187 -x7188 -x7189 -x7190 -x7192 -x7193 -x7194 -x5534 -x5545 -x5556 -x5567 -x7195 -x7196 -x7197 -x7198 -x7199 -x7200 -x7201 -x7203 -x7204 -x7205 -x7206 -x7207 -x7208 -x7209 -x7210 -x7211 -x5578 -x5589 -x5606 -x5617 -x7212 -x7214 -x7215 -x7216 -x7217 -x7218 -x7219 -x7220 -x7221 -x7222 -x7223 -x7225 -x7226 -x7227 -x7228 -x7229 -x7230 -x7231 -x7232 -x7233 -x5628 -x5639 -x5650 -x5661 -x7234 -x7244 -x7245 -x7246 -x7247 -x7248 -x7249 -x7250 -x7251 -x7252 -x7253 -x7255 -x7256 -x7257 -x5672 -x5683 -x5694 -x5705 -x7258 -x7259 -x5722 -x5733 -x5744 -x5755 -x5766 -x7260 -x7261 -x7262 -x7263 -x7264 -x7266 -x7267 -x7268 -x7269 -x7270 -x7271 -x7272 -x7273 -x7274 -x7275 -x7277 -x7278 -x7279 -x7280 -x7281 -x5777 -x5788 -x5799 -x5810 -x5821 -x7282 -x7283 -x7284 -x7285 -x7286 -x7288 -x7289 -x7290 -x7291 -x7292 -x7293 -x7294 -x7295 -x7296 -x7297 -x7299 -x7300 -x7301 -x7302 -x7303 -x7304 -x7305 -x7306 -x7307 -x7308 -x7310 -x7311 x7312 -x7313 -x7314 x7315 -x7316 x7317 -x7318 -x7319 -x7321 -x7322 x7323 -x7324 -x7325 -x7326 -x7327 x7328 -x7329 -x7330 -x7332 -x7333 -x5838 -x5849 -x5860 -x5871 -x5882 -x5893 -x7334 x7335 -x7336 -x7337 -x7338 -x7339 -x7340 -x7341 -x7343 -x7344 -x7345 -x7346 -x7347 -x7348 -x7349 -x7350 -x7351 -x7352 -x7358 -x7359 -x7360 -x7361 -x7362 -x7363 -x7364 -x7365 -x7366 -x7367 -x7369 -x7370 -x7371 -x7372 -x7373 -x7374 -x7375 -x7376 -x7377 -x7378 -x7380 -x7381 -x7382 -x7383 -x7384 -x7385 -x7386 -x7387 -x5904 -x5915 -x5926 -x5937 -x5955 -x5966 -x7388 -x7389 -x7391 -x7392 -x7393 -x7394 -x7395 -x7396 -x7397 -x7398 -x7399 -x7400 -x7402 -x7403 -x7404 -x7405 -x7406 -x7407 -x7408 -x7409 -x7410 -x7411 -x7413 -x7414 -x7415 -x7416 -x7417 -x7418 -x7419 -x7420 -x7421 -x7422 -x7424 -x7425 -x7426 -x7427 -x7428 -x7429 -x5977 -x5988 -x5999 -x6010 -x6021 -x7430 -x7431 -x7432 -x7433 -x7435 -x7436 -x7437 -x7438 -x7439 -x7440 -x7441 -x7442 -x7443 -x7444 -x7446 -x7447 -x7448 -x7449 -x7450 -x7451 -x7452 -x7453 -x7454 -x7455 -x7457 -x6032 -x6043 -x6054 -x6072 -x6083 -x6094 -x7458 -x7459 -x7460 -x7461 -x7462 -x7463 -x7464 -x7465 -x7466 -x7472 -x7473 -x7474 -x7475 -x7476 -x7477 -x7478 -x7479 -x7480 -x7481 -x7483 -x6105 -x6116 x6127 -x6138 -x6149 x6160 -x7484 -x7485 -x7486 x7487 -x7488 -x7489 -x7490 -x7491 -x7492 -x7494 -x7495 -x7496 -x7497 -x7498 -x7499 -x7500 -x7501 -x7502 -x6171 -x6189 -x6200 -x6211 -x6222 -x6233 -x7503 -x7505 -x7506 -x7507 -x7508 -x7509 -x7510 -x7511 -x7512 -x7513 -x6244 -x6255 -x6266 -x6277 -x6288 -x6306 -x7514 -x7516 -x7517 -x7518 -x7519 -x7520 -x7521 -x7522 -x7523 -x7524 -x7525 -x7527 -x7528 -x7529 -x7530 -x7531 -x7532 -x7533 -x7534 -x7535 -x6317 -x6328 -x7536 -x7538 -x7539 -x7540 -x7541 -x7542 -x7543 -x7544 -x7545 -x7546 -x7547 -x7549 -x7550 -x7551 -x7552 -x7553 -x7554 -x7555 -x7556 -x7557 -x7558 -x7560 -x7561 -x6339 -x6350 -x7562 -x7563 -x7564 -x7565 -x7566 -x7567 -x7568 -x7569 -x7571 -x7572 x7573 x7574 x7575 -x7576 -x7577 -x7578 -x7579 -x7580 -x7586 -x7587 -x7588 -x7589 -x7590 -x7591 -x7592 -x7593 -x7594 -x7595 -x6361 -x6372 -x7597 -x7598 -x7599 -x7600 -x7601 -x7602 -x7603 -x7604 -x7605 -x7606 -x6383 -x6394 -x7608 -x7609 -x7610 -x7611 -x7612 -x7613 -x7614 -x7615 -x7616 -x7617 -x6405 -x6422 -x7619 -x7620 -x7621 -x7622 -x7623 -x7624 -x7625 -x7626 -x7627 -x7628 -x7630 -x7631 -x7632 -x7633 -x7634 -x7635 -x7636 -x7637 -x7638 -x7639 -x7641 -x7642 -x7643 -x7644 -x7645 -x7646 -x7647 -x7648 -x7649 -x7650 -x7652 -x7653 -x7654 -x7655 -x7656 -x7657 -x7658 -x7659 -x7660 -x7661 -x7663 -x7664 -x7665 -x7666 -x7667 -x7668 -x7669 -x7670 -x7671 -x7672 -x7674 -x7675 -x7676 -x7677 -x7678 -x7679 -x7680 -x7681 -x7682 -x7683 -x7685 -x7686 -x7687 -x7688 -x7689 -x7690 -x7691 -x7692 -x7693 -x7694 -x7700 -x7701 -x7702 -x7703 -x7704 -x7705 -x7706 -x7707 -x7708 -x7709 -x7711 -x7712 -x7713 -x7714 -x7715 -x6433 -x6444 -x7716 -x7717 -x7718 -x7719 -x7720 -x7722 -x7723 -x7724 -x7725 -x7726 -x7727 -x7728 -x7729 -x7730 -x7731 -x7733 -x7734 -x7735 -x7736 -x7737 -x7738 -x7739 -x7740 -x7741 -x7742 -x7744 -x7745 -x7746 -x7747 -x7748 -x7749 -x7750 -x7751 -x7752 -x7753 -x7755 -x7756 -x7757 -x7758 -x7759 -x7760 -x7761 -x7762 -x7763 -x7764 -x7766 -x7767 -x7768 -x7769 -x7770 -x7771 -x7772 -x7773 -x7774 -x7775 -x7777 -x7778 -x7779 -x7780 -x7781 -x7782 -x7783 -x7784 -x7785 -x7786 -x7788 -x7789 -x7790 -x7791 -x7792 -x7793 -x7794 -x7795 -x7796 -x6455 -x6466 -x7797 -x7799 -x7800 -x7801 -x7802 -x7803 -x7804 -x7805 -x7806 -x7807 -x7808 -x7816 -x7817 -x7818 -x7819 -x7820 -x7821 -x7822 -x7823 -x7824 -x7825 -x7827 -x7828 -x7829 -x7830 -x7831 -x7832 -x7833 -x7834 -x7835 -x7836 -x7838 -x7839 -x7840 -x7841 -x7842 -x7843 -x7844 -x7845 -x7846 -x7847 -x7849 -x7850 -x7851 -x7852 -x7853 -x7854 -x7855 -x7856 -x7857 -x7858 -x7860 -x7861 -x7862 -x7863 -x7864 -x7865 -x7866 -x7867 -x7868 -x7869 -x7871 -x7872 -x7873 -x6477 -x6488 -x7874 -x7875 -x7876 -x7877 -x7878 -x7879 -x7880 -x7882 -x7883 -x7884 -x7885 -x7886 -x7887 -x7888 -x7889 -x7890 -x7891 -x7893 -x7894 -x7895 -x7896 -x7897 -x7898 -x7899 -x7900 -x7901 -x7902 -x7904 -x7905 -x7906 -x7907 -x7908 -x7909 -x7910 -x7911 -x7912 -x7913 -x7915 -x7916 -x7917 -x7918 -x7919 -x7920 -x7921 -x7922 -x7923 -x7924 -x7931 -x7932 -x7933 -x7934 -x7935 -x7936 -x7937 -x7938 -x7939 -x7940 -x7942 -x7943 -x7944 -x7945 -x7946 -x7947 -x7948 -x7949 -x7950 -x7951 -x7953 -x7954 -x7955 -x7956 -x7957 -x7958 -x7959 -x7960 -x7961 -x7962 -x7964 -x7965 -x7966 -x7967 -x7968 -x7969 -x7970 -x7971 -x7972 -x7973 -x7975 -x7976 -x7977 -x7978 -x7979 -x7980 -x7981 -x7982 -x7983 -x7984 -x7986 -x7987 -x7988 -x7989 -x7990 -x7991 -x7992 -x7993 -x7994 -x6499 -x6510 -x7995 -x7997 -x7998 -x7999 -x8000 -x8001 -x8002 -x8003 -x8004 -x8005 -x8006 -x8008 -x8009 -x8010 -x8011 -x8012 -x8013 -x8014 -x8015 -x8016 -x8017 -x8019 -x8020 -x8021 -x8022 -x8023 -x8024 -x8025 -x8026 -x8027 -x8028 -x8030 -x8031 -x8032 -x8033 -x8034 -x8035 -x8036 -x8037 -x8038 -x8039 -x8046 -x8047 -x8048 -x8049 -x8050 -x8051 -x8052 -x8053 -x8054 -x8055 -x8057 -x8058 -x8059 -x8060 -x8061 -x8062 -x8063 -x8064 -x8065 -x8066 -x8068 -x8069 -x8070 -x8071 -x8072 -x8073 -x8074 -x8075 -x8076 -x8077 -x8079 -x8080 -x8081 -x8082 -x8083 -x8084 -x8085 -x8086 -x8087 -x8088 -x8090 -x8091 -x8092 -x8093 -x8094 -x8095 -x8096 -x8097 -x8098 -x8099 -x8101 -x6521 -x6538 x6549 -x8102 -x8103 -x8104 -x8105 -x8106 -x8107 -x8108 -x8109 -x8110 -x8112 -x8113 -x8114 -x8115 -x8116 -x8117 -x8118 -x8119 -x8120 -x8121 -x8123 -x8124 -x8125 -x8126 -x8127 -x8128 -x8129 -x8130 -x8131 -x8132 -x8134 -x8135 -x8136 -x8137 -x8138 -x8139 -x8140 -x8141 -x8142 -x8143 -x8145 -x8146 -x8147 -x8148 -x8149 -x8150 -x8151 -x8152 -x8153 -x8154 -x8161 -x8162 -x8163 -x8164 -x8165 -x8166 -x8167 -x8168 -x8169 -x8170 -x8172 -x8173 -x8174 -x8175 -x8176 -x8177 -x8178 -x8179 -x8180 -x8181 -x8183 -x8184 -x8185 -x8186 -x8187 -x8188 -x8189 -x8190 -x8191 -x8192 -x8194 -x8195 -x8196 -x8197 -x8198 -x8199 -x8200 -x8201 -x8202 -x8203 -x8205 -x8206 -x8207 -x8208 -x8209 -x8210 -x6560 -x6571 -x6582 -x8211 -x8212 -x8213 -x8214 -x8216 -x8217 -x8218 -x8219 -x8220 -x8221 -x8222 -x8223 -x8224 -x8225 -x8227 -x8228 -x8229 -x8230 -x8231 -x8232 -x8233 -x8234 -x8235 -x8236 -x8238 -x8239 -x8240 -x8241 -x8242 -x8243 -x8244 -x8245 -x8246 -x8247 -x8249 -x8250 -x8251 -x8252 -x8253 -x8254 -x8255 -x8256 -x8257 -x8258 -x8260 -x8261 -x8262 -x8263 -x8264 -x8265 -x8266 -x8267 -x8268 -x8269 -x8276 -x8277 -x8278 -x8279 -x8280 -x8281 -x8282 -x8283 -x8284 -x8285 -x8287 -x8288 -x8289 -x8290 -x8291 -x8292 -x8293 -x8294 -x8295 -x8296 -x8298 -x8299 -x8300 -x8301 -x8302 -x8303 -x8304 -x8305 -x8306 -x8307 -x8309 -x8310 -x8311 -x8312 -x8313 -x8314 -x8315 -x8316 -x8317 -x8318 -x8320 -x8321 -x8322 -x8323 -x8324 -x8325 -x8326 -x8327 -x8328 -x8329 -x8331 -x8332 -x8333 -x8334 -x8335 -x8336 -x8337 -x6593 -x6604 -x6615 -x6626 -x8338 -x8339 -x8340 -x8342 -x8343 -x8344 -x8345 -x8346 -x8347 -x8348 -x8349 -x8350 -x8351 -x8353 -x8354 -x8355 -x8356 -x8357 -x8358 -x8359 -x8360 -x8361 -x8362 -x8364 -x8365 -x8366 -x8367 -x8368 -x8369 -x8370 -x8371 -x8372 -x8373 -x8375 -x8376 -x8377 -x8378 -x8379 -x8380 -x8381 -x8382 -x8383 -x8384 -x8391 -x8392 -x8393 -x8394 -x8395 -x8396 -x8397 -x8398 -x8399 -x8400 -x8402 -x8403 -x8404 -x8405 -x8406 -x8407 -x8408 -x8409 -x8410 -x8411 -x8413 -x8414 -x8415 -x8416 -x8417 -x8418 -x8419 -x8420 -x8421 -x8422 -x8424 -x8425 -x8426 -x8427 -x8428 -x8429 -x8430 -x8431 -x8432 -x8433 -x8435 -x8436 -x8437 -x8438 -x8439 -x8440 -x8441 -x8442 -x8443 -x8444 -x8446 -x8447 -x8448 -x8449 -x8450 -x8451 -x8452 -x8453 -x8454 -x8455 -x8457 -x8458 -x8459 -x8460 -x8461 -x8462 -x8463 -x8464 -x8465 -x8466 -x8468 -x8469 -x8470 -x8471 -x8472 -x8473 -x8474 -x8475 -x8476 -x8477 -x8479 -x8480 -x8481 -x8482 -x8483 -x8484 -x8485 -x8486 -x8487 -x8488 -x8490 -x8491 -x8492 -x8493 -x6637 -x6655 -x6666 -x6677 -x8494 -x8495 -x8496 -x8497 -x8498 -x8499 -x8506 -x8507 -x8508 -x8509 -x8510 -x8511 -x8512 -x8513 -x8514 -x8515 -x8517 -x8518 -x8519 -x8520 -x8521 -x8522 -x8523 -x8524 -x8525 -x8526 -x8528 -x8529 -x8530 -x8531 -x8532 -x8533 -x8534 -x8535 -x8536 -x8537 -x8539 -x8540 -x8541 -x8542 -x8543 -x8544 -x8545 -x8546 -x8547 -x8548 -x8550 -x8551 -x8552 -x8553 -x8554 -x8555 -x8556 -x8557 -x8558 -x8559 -x8561 -x8562 -x8563 -x8564 -x8565 -x8566 -x8567 -x8568 -x8569 -x8570 -x8572 -x8573 -x8574 -x8575 -x8576 -x8577 -x8578 -x8579 -x8580 -x8581 -x8583 -x8584 -x8585 -x8586 -x8587 -x6688 -x6699 -x6710 -x6721 -x8588 -x8589 -x8590 -x8591 -x8592 -x8594 -x8595 -x8596 -x8597 -x8598 -x8599 -x8600 -x8601 -x8602 -x8603 -x8605 -x8606 -x8607 -x8608 -x8609 -x8610 -x8611 -x8612 -x8613 -x8614 -x8621 -x8622 -x8623 -x8624 -x8625 -x8626 -x8627 -x8628 -x8629 -x8630 -x8632 -x8633 -x8634 -x8635 -x8636 -x8637 -x8638 -x8639 -x8640 -x8641 -x8643 -x8644 -x8645 -x8646 -x8647 -x8648 -x8649 -x8650 -x8651 -x8652 -x8654 -x8655 -x8656 -x8657 -x8658 -x8659 -x8660 -x8661 -x8662 -x8663 -x8665 -x8666 -x8667 -x8668 -x8669 -x6732 -x6743 -x8670 -x8671 -x8672 -x8673 -x8674 -x8676 -x8677 -x8678 -x8679 -x8680 -x8681 -x8682 -x8683 -x8684 -x8685 -x8687 -x8688 -x8689 -x8690 -x8691 -x8692 -x8693 -x8694 -x8695 -x8696 -x8698 -x8699 -x8700 -x8701 -x8702 -x8703 -x8704 -x8705 -x8706 -x8707 -x8709 -x8710 -x8711 -x8712 -x8713 -x8714 -x8715 -x8716 -x8717 -x8718 -x8720 -x8721 -x8722 -x8723 -x8724 -x8725 -x8726 -x8727 -x8728 -x8729 -x8735 -x8736 -x8737 -x8738 -x8739 -x8740 -x8741 -x8742 -x8743 -x8744 -x8746 -x8747 -x8748 -x8749 -x8750 -x8751 -x8752 -x8753 -x8754 -x8755 -x8757 -x8758 -x8759 -x8760 -x8761 -x8762 -x8763 -x8764 -x8765 -x8766 -x8768 -x8769 -x8770 -x8771 -x8772 -x8773 -x8774 -x8775 -x8776 -x8777 -x8779 -x8780 -x8781 -x8782 -x8783 -x8784 -x8785 -x8786 -x8787 -x6754 -x6771 -x8788 -x8790 -x8791 -x8792 -x8793 -x8794 -x8795 -x8796 -x8797 -x8798 -x8799 -x8801 -x8802 -x8803 -x8804 -x8805 -x8806 -x8807 -x8808 -x8809 -x8810 -x8812 -x8813 -x8814 -x8815 -x8816 -x8817 -x8818 -x8819 -x8820 -x8821 -x8823 -x8824 -x8825 -x8826 -x8827 -x8828 -x8829 -x8830 -x8831 -x8832 -x8834 -x8835 -x8836 -x8837 -x8838 -x8839 -x8840 -x8841 -x8842 -x8843 -x8849 -x8850 -x8851 -x8852 -x8853 -x8854 -x8855 -x8856 -x8857 -x8858 -x8860 -x8861 -x8862 -x8863 -x8864 -x8865 -x8866 -x8867 -x8868 -x8869 -x8871 -x8872 -x8873 -x8874 -x8875 -x8876 -x6782 x6793 -x8877 -x8878 -x8879 -x8880 -x8882 -x8883 -x8884 -x8885 -x8886 -x8887 -x8888 -x8889 -x8890 -x8891 -x8893 -x8894 -x8895 -x8896 -x8897 -x8898 -x8899 -x8900 -x8901 -x8902 -x8904 -x8905 -x8906 -x8907 -x8908 -x8909 -x8910 -x8911 -x8912 -x8913 -x8915 -x8916 -x8917 -x8918 -x8919 -x8920 -x8921 -x8922 -x8923 -x8924 -x8926 -x8927 -x8928 -x8929 -x8930 -x8931 -x8932 x6804 -x6815 -x8933 -x8934 -x8935 -x8937 -x8938 -x8939 -x8940 -x8941 -x8942 -x8943 -x8944 -x8945 -x8946 -x8948 -x8949 -x8950 -x8951 -x8952 -x8953 -x8954 -x8955 -x8956 -x8957 -x8964 -x8965 -x8966 -x8967 -x8968 -x8969 -x8970 -x8971 -x8972 -x8973 -x8975 -x8976 -x6826 -x6837 -x8977 -x8978 -x8979 -x8980 -x8981 -x8982 -x8983 -x8984 -x8986 -x8987 -x8988 -x8989 -x8990 -x8991 -x8992 -x8993 -x8994 -x8995 -x8997 -x8998 -x8999 -x9000 -x9001 -x9002 -x9003 -x9004 -x9005 -x9006 -x9008 -x9009 -x9010 -x9011 -x9012 -x9013 -x9014 -x9015 -x9016 -x9017 -x9019 -x6848 -x6859 -x6870 -x9020 -x9021 -x9022 -x9023 -x9024 -x9025 -x9026 -x9027 -x9028 -x9030 -x9031 -x9032 -x9033 -x9034 -x9035 -x9036 -x9037 -x9038 -x9039 -x9041 -x9042 -x9043 -x9044 -x9045 -x9046 -x9047 -x9048 -x9049 -x9050 -x9052 -x9053 -x9054 -x9055 -x9056 -x9057 -x9058 -x9059 -x9060 -x9061 -x9063 -x9064 -x9065 -x9066 -x9067 -x6889 -x6900 -x6911 -x9068 -x9069 -x9070 -x9071 -x9072 -x9078 -x9079 -x9080 -x9081 -x9082 -x9083 -x9084 -x9085 -x9086 -x9087 -x9089 -x9090 -x9091 -x9092 -x9093 -x9094 -x9095 -x9096 -x9097 -x9098 -x9100 -x9101 -x9102 -x9103 -x9104 -x9105 -x9106 -x9107 -x9108 -x9109 -x9111 -x9112 -x9113 -x9114 -x9115 -x9116 -x9117 -x9118 -x9119 -x9120 -x9122 -x9123 -x9124 -x9125 -x9126 -x9127 -x9128 -x9129 -x9130 -x9131 -x9133 -x9134 -x9135 -x9136 -x9137 -x9138 -x9139 -x6922 -x6933 -x9140 -x9141 -x9142 -x9144 -x9145 -x9146 -x9147 -x9148 -x9149 -x9150 -x9151 -x9152 -x9153 -x9155 -x9156 -x9157 -x9158 -x9159 -x9160 -x9161 -x9162 -x9163 -x9164 -x9166 -x9167 -x9168 -x9169 -x9170 -x9171 -x9172 -x9173 -x9174 -x9175 -x9177 -x9178 -x9179 -x9180 -x9181 -x9182 -x9183 -x9184 -x9185 -x9186 -x9193 -x9194 -x9195 -x9196 -x9197 -x9198 -x9199 -x9200 -x9201 -x9202 -x9204 -x9205 -x9206 -x9207 -x9208 -x9209 -x9210 -x9211 -x9212 -x9213 -x9215 -x9216 -x9217 -x9218 -x9219 -x9220 -x9221 -x9222 -x9223 -x9224 -x6944 -x9226 -x9227 -x9228 -x9229 -x9230 -x9231 -x9232 -x9233 -x9234 -x9235 -x9237 -x9238 -x9239 -x9240 -x9241 -x9242 -x9243 -x9244 -x9245 -x9246 -x9248 -x9249 -x9250 -x9251 -x9252 -x9253 -x9254 -x9255 -x9256 -x9257 -x9259 -x9260 -x9261 -x9262 -x9263 -x9264 -x9265 -x9266 -x9267 -x9268 -x9270 -x9271 -x6955 -x9272 -x9273 -x9274 -x9275 -x9276 -x9277 -x9278 -x9279 -x9281 -x9282 -x9283 -x9284 -x9285 -x9286 -x9287 -x9288 -x9289 -x9290 -x9292 -x9293 -x9294 -x9295 -x9296 -x9297 -x9298 -x9299 -x9300 -x9301 -x9308 -x9309 -x9310 -x9311 -x9312 -x9313 -x9314 -x9315 -x9316 -x9317 -x9319 -x9320 -x9321 -x9322 -x9323 -x9324 -x9325 -x9326 -x9327 -x9328 -x9330 -x9331 -x9332 -x9333 -x9334 -x9335 -x9336 -x9337 -x9338 -x9339 -x9341 -x9342 -x9343 -x9344 -x9345 -x9346 -x9347 -x9348 -x9349 -x9350 -x9352 -x9353 -x9354 -x9355 -x9356 -x9357 -x9358 -x9359 -x9360 -x9361 -x9363 -x9364 -x9365 -x9366 -x9367 -x9368 -x9369 -x9370 -x9371 -x9372 -x9374 -x9375 -x9376 -x9377 -x9378 -x9379 -x9380 -x9381 -x9382 -x9383 -x9385 -x9386 -x9387 -x9388 -x9389 -x9390 -x9391 -x9392 -x9393 -x9394 -x9396 -x9397 -x9398 -x9399 -x9400 -x6966 -x6977 -x6988 -x7007 -x9401 -x9402 -x9403 -x9404 -x9405 -x9407 -x9408 -x9409 -x9410 -x9411 -x9412 -x9413 -x9414 -x9415 -x9416 -x9423 -x9424 -x9425 -x9426 -x9427 -x9428 -x9429 -x9430 -x9431 -x9432 -x9434 -x9435 -x9436 -x9437 -x9438 -x9439 -x9440 -x9441 -x9442 -x9443 -x9445 -x9446 -x9447 -x9448 -x9449 -x9450 -x9451 -x9452 -x9453 -x9454 -x9456 -x9457 -x9458 -x9459 -x9460 -x9461 -x9462 -x9463 -x9464 -x9465 -x9467 -x9468 -x9469 -x9470 -x9471 -x9472 -x9473 -x9474 -x9475 -x7018 -x7029 -x7040 -x7051 -x9476 -x9478 -x9479 -x9480 -x9481 -x9482 -x9483 -x9484 -x9485 -x9486 -x9487 -x9489 -x9490 -x9491 -x9492 -x9493 -x9494 -x9495 -x9496 -x9497 -x9498 -x9500 -x9501 -x9502 -x9503 -x9504 -x9505 -x9506 -x9507 -x9508 -x9509 -x9511 -x9512 -x9513 -x9514 -x9515 -x9516 -x9517 -x9518 -x9519 -x9520 -x9522 -x9523 -x9524 -x9525 -x9526 -x9527 -x9528 -x9529 -x9530 -x9531 -x9538 -x9539 -x9540 -x9541 -x9542 -x9543 -x9544 -x9545 -x9546 -x9547 -x9549 -x9550 -x9551 -x9552 -x9553 -x9554 -x7062 -x7073 -x7084 -x7095 -x7106 -x7125 -x7136 -x9555 -x9556 -x9557 -x9558 -x9560 -x9561 -x9562 -x9563 -x9564 -x9565 -x9566 -x9567 -x9568 -x9569 -x9571 -x9572 -x9573 -x9574 -x9575 -x9576 -x9577 -x9578 -x9579 -x9580 -x9582 -x9583 -x9584 -x9585 -x9586 -x9587 -x9588 -x9589 -x9590 -x9591 -x9593 -x9594 -x9595 -x9596 -x9597 -x9598 -x9599 -x9600 -x9601 -x9602 -x9604 -x9605 -x9606 -x9607 -x9608 -x7147 -x7158 -x7169 -x7180 -x7191 -x7202 -x7213 -x9609 -x9610 -x9611 -x9612 -x9613 -x9615 -x9616 -x9617 -x9618 -x9619 -x9620 -x9621 -x9622 -x9623 -x9624 -x9626 -x9627 -x9628 -x9629 -x9630 -x9631 -x9632 -x9633 -x9634 -x9635 -x9637 -x9638 -x9639 -x9640 -x9641 -x9642 -x9643 -x9644 -x9645 -x7224 -x7243 -x7254 -x7265 -x7276 -x9646 -x9653 -x9654 -x9655 -x9656 -x9657 -x9658 -x9659 -x9660 -x9661 -x9662 -x9664 -x9665 -x9666 -x9667 -x9668 -x9669 -x9670 -x9671 -x9672 -x9673 -x9675 -x9676 -x9677 -x9678 -x9679 -x9680 -x9681 -x9682 -x9683 -x9684 -x9686 -x9687 -x9688 -x9689 -x9690 -x9691 -x9692 -x9693 -x9694 -x9695 -x9697 -x9698 -x9699 -x9700 -x9701 -x9702 -x9703 -x9704 -x9705 -x9706 -x9708 -x9709 -x9710 -x9711 -x7287 -x7298 -x7309 -x7320 -x7331 -x7342 -x9712 -x9713 -x9714 -x9715 -x9716 -x9717 -x9719 -x9720 -x9721 -x9722 -x9723 -x9724 -x9725 -x9726 -x9727 -x9728 -x9730 -x9731 -x9732 -x9733 -x9734 -x9735 -x9736 -x9737 -x9738 -x9739 -x9741 -x9742 -x9743 -x9744 -x9745 -x9746 -x9747 -x9748 -x9749 -x9750 -x9752 -x9753 -x7357 -x7368 -x7379 -x7390 -x7401 -x9754 -x9755 -x9756 -x9757 -x9758 -x9759 -x9760 -x9761 -x9768 -x9769 -x9770 -x9771 -x9772 -x9773 -x9774 -x9775 -x9776 -x9777 -x9779 -x9780 -x9781 -x9782 -x9783 -x9784 -x9785 -x9786 -x9787 -x9788 -x9790 -x9791 -x9792 -x9793 -x9794 -x9795 -x9796 -x9797 -x9798 -x9799 -x9801 -x9802 -x9803 -x9804 -x9805 -x9806 -x9807 -x9808 -x9809 -x9810 -x9812 -x7412 -x7423 -x7434 -x9813 -x9814 -x9815 -x9816 -x9817 -x9818 -x9819 -x9820 -x9821 -x9823 -x9824 -x9825 -x9826 -x9827 -x9828 -x9829 -x9830 -x9831 -x9832 -x9834 -x9835 -x9836 -x9837 -x9838 -x9839 -x9840 -x9841 -x9842 -x9843 -x9845 -x9846 -x9847 -x9848 -x9849 -x9850 -x9851 -x9852 -x9853 -x9854 -x9856 -x9857 -x9858 -x9859 -x9860 -x9861 -x9862 -x9863 -x9864 -x9865 -x9867 -x9868 -x9869 -x9870 -x9871 -x9872 -x9873 -x9874 -x7445 -x7456 -x7471 -x7482 -x7493 -x9875 -x9876 -x9883 -x9884 -x9885 -x9886 -x9887 -x9888 -x9889 -x9890 -x9891 -x9892 -x9894 -x9895 -x9896 -x9897 -x9898 -x9899 -x9900 -x9901 -x9902 -x9903 -x9905 -x9906 -x9907 -x9908 -x9909 -x9910 -x9911 -x9912 -x9913 -x9914 -x9916 -x9917 -x9918 -x9919 -x9920 -x9921 -x9922 -x9923 -x9924 -x9925 -x9927 -x9928 -x9929 -x9930 -x9931 -x9932 -x9933 -x9934 -x9935 -x7504 -x7515 -x7526 -x7537 -x9936 -x9938 -x9939 -x9940 -x9941 -x9942 -x9943 -x9944 -x9945 -x9946 -x9947 -x9949 -x9950 -x9951 -x9952 -x9953 -x9954 -x9955 -x9956 -x9957 -x9958 -x9960 -x9961 -x9962 -x9963 -x9964 -x9965 -x9966 -x9967 -x9968 -x9969 -x9971 -x9972 -x9973 -x9974 -x9975 -x9976 -x9977 -x9978 -x9979 -x9980 -x9982 -x9983 -x9984 -x7548 -x7559 -x7570 -x7585 -x9985 -x9986 -x9987 -x9988 -x9989 -x9990 -x9991 -x9998 -x9999 -x10000 -x10001 -x10002 -x10003 -x10004 -x10005 -x10006 -x10007 -x10009 -x10010 -x10011 -x10012 -x10013 -x10014 -x10015 -x10016 -x10017 -x10018 -x10020 -x10021 -x10022 -x10023 -x10024 -x10025 -x10026 -x10027 -x10028 -x10029 -x10031 -x10032 -x10033 -x10034 -x10035 -x10036 -x7596 -x7607 -x7618 -x7629 -x7640 -x10037 -x10038 -x10039 -x10040 -x10042 -x10043 -x10044 -x10045 -x10046 -x10047 -x10048 -x10049 -x10050 -x10051 -x10053 -x10054 -x10055 -x10056 -x10057 -x10058 -x10059 -x10060 -x10061 -x10062 -x10064 -x10065 -x10066 -x10067 -x10068 -x10069 -x10070 -x10071 -x10072 -x10073 -x10075 -x10076 -x10077 -x10078 -x10079 -x10080 -x10081 -x10082 -x10083 -x10084 -x10086 -x10087 -x10088 -x10089 -x10090 -x10091 -x10092 -x10093 -x10094 -x10095 -x10097 -x10098 -x10099 -x10100 -x10101 -x10102 -x10103 -x10104 -x10105 -x10106 -x10113 -x10114 -x10115 -x10116 -x10117 -x10118 -x10119 -x7651 -x7662 -x7673 -x7684 -x7699 -x10120 -x10121 -x10122 -x10124 -x10125 -x10126 -x10127 -x10128 -x10129 -x10130 -x10131 -x10132 -x10133 -x10135 -x10136 -x10137 -x10138 -x10139 -x10140 -x10141 -x10142 -x10143 -x10144 -x10146 -x10147 -x10148 -x10149 -x10150 -x10151 -x10152 -x10153 -x10154 -x10155 -x10157 -x10158 -x10159 -x10160 -x10161 -x10162 -x10163 -x10164 -x10165 -x10166 -x10168 -x10169 -x10170 -x10171 -x10172 -x10173 -x10174 -x10175 -x10176 -x10177 -x10179 -x10180 -x7710 -x7721 -x7732 -x7743 -x10181 -x10182 -x10183 -x10184 -x10185 -x10186 -x10187 -x10188 -x10190 -x10191 -x10192 -x10193 -x10194 -x10195 -x10196 -x10197 -x10198 -x10199 -x10201 -x10202 -x10203 -x10204 -x10205 -x10206 -x10207 -x10208 -x7754 -x7765 -x7776 -x7787 -x10209 -x10210 -x10212 -x10213 -x10214 -x10215 -x10216 -x10217 -x10218 -x10219 -x10220 -x10221 -x10227 -x10228 -x10229 -x10230 -x10231 -x10232 -x10233 -x10234 -x10235 -x10236 -x10238 -x10239 -x10240 -x10241 -x10242 -x10243 -x10244 -x10245 -x10246 -x10247 -x10249 -x10250 -x10251 -x10252 -x10253 -x10254 -x10255 -x10256 -x10257 -x7798 -x7815 -x7826 -x7837 -x10258 -x10260 -x10261 -x10262 -x10263 -x10264 -x10265 -x10266 -x10267 -x10268 -x10269 -x10271 -x10272 -x10273 -x10274 -x10275 -x10276 -x10277 -x10278 -x10279 -x10280 -x10282 -x10283 -x10284 -x10285 -x10286 -x10287 -x7848 -x7859 -x7870 -x7881 -x10288 -x7892 -x7903 -x7914 -x7930 -x7941 -x10289 -x7952 -x7963 -x7974 -x7985 -x7996 -x8007 -x8018 -x8029 -x8045 -x8056 -x8067 -x8078 -x8089 -x8100 -x8111 -x8122 -x8133 -x8144 -x8160 -x8171 -x8182 -x8193 -x8204 -x8215 -x8226 -x8237 -x8248 -x8259 -x8275 -x8286 -x8297 -x8308 -x8319 -x8330 -x8341 -x8352 -x8363 -x10290 -x10291 -x10293 -x10294 -x10295 -x10296 -x10297 -x10298 -x10299 -x10300 -x10301 -x10302 -x10304 -x10305 -x10306 -x10307 -x10308 -x10309 -x10310 -x10311 -x10312 -x10313 -x10315 -x10316 -x10317 -x10318 -x10319 -x10320 -x10321 -x10322 -x10323 -x10324 -x10326 -x10327 -x10328 -x10329 -x10330 -x10331 -x10332 -x10333 -x10334 -x10335 -x10341 -x10342 -x10343 -x10344 -x10345 -x10346 -x10347 -x10348 -x10349 -x10350 -x10352 -x8374 -x8390 -x8401 -x8412 -x8423 -x10353 -x10354 -x10355 -x10356 -x10357 -x10358 -x10359 -x10360 -x10361 -x10363 -x10364 -x10365 -x10366 -x10367 -x10368 -x10369 -x10370 -x10371 -x10372 -x10374 -x10375 -x10376 -x10377 -x10378 -x10379 -x10380 -x10381 -x10382 -x10383 -x10385 -x10386 -x10387 -x10388 -x10389 -x10390 -x10391 -x10392 -x10393 -x10394 -x10396 -x10397 -x10398 -x10399 -x10400 -x10401 -x8434 -x8445 -x8456 -x8467 -x8478 -x10402 -x10403 -x10404 -x10405 -x10407 -x10408 -x10409 -x10410 -x10411 -x10412 -x10413 -x10414 -x10415 -x10416 -x10418 -x10419 -x10420 -x10421 -x10422 -x10423 -x10424 -x10425 -x10426 -x10427 -x10429 -x8489 -x8505 -x8516 -x8527 -x8538 -x10430 -x10431 -x10432 -x10433 -x10434 -x10435 -x10436 -x10437 -x10438 -x10440 -x10441 -x10442 -x10443 -x10444 -x10445 -x10446 -x10447 -x10448 -x10449 -x10455 -x8549 -x8560 -x8571 -x8582 -x8593 -x10456 -x10457 -x10458 -x10459 -x10460 -x10461 -x10462 -x10463 -x10464 -x10466 -x10467 -x10468 -x10469 -x10470 -x10471 -x10472 -x10473 -x10474 -x8604 -x8620 -x8631 -x8642 -x8653 -x10475 -x8664 -x8675 -x8686 -x8697 -x8708 -x10477 -x10478 -x10479 -x10480 -x10481 -x10482 -x10483 -x10484 -x10485 -x10486 -x10488 -x10489 -x10490 -x10491 -x10492 -x10493 -x10494 -x10495 -x10496 -x10497 -x10499 -x10500 -x10501 -x10502 -x10503 -x10504 -x8719 -x8734 -x8745 -x8756 -x8767 -x10505 -x10506 -x10507 -x10508 -x10510 -x10511 -x10512 -x10513 -x10514 -x10515 -x10516 -x10517 -x10518 -x10519 -x10521 -x10522 -x10523 -x10524 -x10525 -x10526 -x10527 -x10528 -x10529 -x10530 -x10532 -x10533 -x10534 -x10535 -x10536 -x10537 -x10538 -x10539 -x10540 -x10541 -x10543 -x10544 -x10545 -x10546 -x10547 -x10548 -x10549 -x10550 -x10551 -x10552 -x10554 -x10555 -x10556 -x10557 -x10558 -x10559 -x10560 -x10561 -x10562 -x10563 -x10569 -x10570 -x10571 -x10572 -x10573 -x10574 -x10575 -x10576 -x10577 -x10578 -x10580 -x10581 -x10582 -x10583 -x8778 -x8789 -x8800 -x8811 -x10584 -x10585 -x10586 -x10587 -x10588 -x10589 -x10591 -x10592 -x10593 -x10594 x10595 -x10596 -x10597 x10598 -x10599 -x10600 -x10602 -x10603 -x10604 -x10605 -x10606 -x10607 -x10608 -x10609 -x10610 -x10611 -x10613 -x10614 -x10615 -x10616 -x10617 -x10618 -x10619 -x10620 -x10621 -x10622 -x10624 -x10625 -x10626 -x10627 -x10628 -x10629 -x10630 -x10631 -x10632 -x10633 -x10635 -x10636 -x10637 -x10638 -x10639 -x10640 -x8822 -x8833 -x8848 -x8859 -x10641 -x10642 -x10643 -x10644 -x10646 -x10647 -x10648 -x10649 -x10650 -x10651 -x10652 -x10653 -x10654 -x10655 -x10657 -x10658 -x10659 -x10660 -x10661 -x10662 -x10663 -x10664 -x10665 -x10666 -x10668 -x10669 -x10670 -x10671 -x10672 -x10673 -x10674 -x10675 -x10676 -x10677 -x10683 -x10684 -x10685 -x10686 -x10687 -x10688 -x10689 -x10690 -x10691 -x10692 -x10694 -x10695 -x10696 -x10697 -x10698 -x10699 -x8870 -x8881 -x8892 -x8903 -x10700 -x10701 -x10702 -x10703 -x10705 -x10706 -x10707 -x10708 -x10709 -x10710 -x10711 -x10712 -x10713 -x10714 -x10716 -x10717 -x10718 -x10719 -x10720 -x10721 -x10722 -x10723 -x10724 -x10725 -x10727 -x10728 -x10729 -x10730 -x10731 -x10732 -x10733 -x10734 -x10735 -x10736 -x10738 -x10739 -x10740 -x10741 -x10742 -x10743 -x10744 -x10745 -x10746 -x10747 -x10749 -x10750 -x10751 -x10752 -x10753 -x10754 -x10755 -x10756 -x10757 -x8914 -x8925 -x8936 -x8947 -x10758 -x10760 -x10761 -x10762 -x10763 -x10764 -x10765 -x10766 -x10767 -x10768 -x10769 -x10771 -x10772 -x10773 -x10774 -x10775 -x10776 -x10777 -x10778 -x10779 -x10780 -x10782 -x10783 -x10784 -x10785 -x10786 -x10787 -x10788 -x10789 -x10790 -x10791 -x10797 -x10798 -x10799 -x10800 -x10801 -x10802 -x10803 -x8963 -x8974 -x8985 -x8996 -x10804 -x10805 -x10806 -x10808 -x10809 -x10810 -x10811 -x10812 x10813 x10814 -x10815 -x10816 -x10817 -x10819 -x10820 -x10821 -x10822 -x10823 -x10824 -x10825 -x10826 -x10827 -x10828 -x10830 -x10831 -x10832 -x10833 -x10834 -x10835 -x10836 -x10837 -x10838 -x9007 -x9018 -x9029 -x10839 -x10841 -x10842 -x10843 -x10844 -x10845 -x10846 -x10847 -x10848 -x10849 -x10850 -x10852 -x10853 -x10854 -x10855 -x10856 -x10857 -x10858 -x10859 -x9040 -x9051 -x9062 -x10860 -x10861 -x10863 -x10864 x10865 -x10866 -x10867 -x10868 -x10869 -x10870 -x10871 -x10872 -x10874 -x10875 -x10876 -x10877 -x10878 -x10879 -x10880 -x10881 -x9077 -x9088 -x10882 -x10883 -x9099 -x9110 -x10885 -x9121 -x9132 -x9143 -x9154 -x9165 -x9176 -x9192 -x9203 -x10886 -x10887 -x10888 -x10889 -x10890 -x10891 -x10892 -x10893 -x10894 -x10896 -x10897 -x10898 -x10899 -x10900 -x10901 -x10902 -x10903 -x10904 -x10905 -x10911 -x10912 -x10913 -x10914 -x10915 -x10916 -x10917 -x10918 -x10919 -x10920 -x10922 -x10923 -x10924 -x10925 -x10926 -x10927 -x10928 -x10929 -x10930 -x10931 -x10933 -x10934 -x10935 -x10936 -x10937 -x10938 -x10939 -x10940 -x10941 -x10942 -x10944 -x10945 -x10946 -x10947 -x10948 -x10949 -x10950 -x10951 -x10952 -x10953 -x10955 -x10956 -x10957 -x10958 -x10959 -x10960 -x10961 -x10962 -x10963 -x10964 -x10966 -x10967 -x10968 -x10969 -x10970 -x10971 -x10972 -x10973 -x10974 -x10975 -x10977 -x10978 -x10979 -x10980 -x10981 -x10982 -x10983 -x10984 -x10985 -x10986 -x10988 -x10989 -x10990 -x10991 -x10992 -x10993 -x10994 -x10995 -x10996 -x10997 -x10999 -x11000 -x11001 -x11002 -x11003 -x11004 -x11005 -x11006 -x11007 -x11008 -x11010 -x11011 -x11012 -x11013 -x11014 x11015 -x11016 x11017 -x11018 -x11019 -x11025 -x11026 -x11027 -x11028 -x11029 -x11030 -x11031 -x11032 -x11033 -x11034 -x11036 -x11037 -x11038 -x11039 -x11040 -x11041 -x11042 -x11043 -x11044 -x11045 -x11047 -x11048 -x11049 -x11050 -x11051 -x11052 -x11053 -x11054 -x11055 -x11056 -x11058 -x11059 -x11060 -x11061 -x11062 -x11063 -x11064 -x11065 -x11066 -x11067 -x11069 -x11070 -x11071 -x11072 -x11073 -x11074 -x11075 -x11076 -x11077 -x11078 -x11080 -x11081 -x11082 -x11083 -x11084 -x11085 -x11086 -x11087 -x11088 -x11089 -x9214 -x9225 -x11091 -x11092 -x11093 -x11094 -x11095 -x11096 -x11097 -x11098 -x11099 -x11100 -x11102 -x11103 -x11104 -x11105 -x11106 -x11107 -x11108 -x11109 -x11110 -x11111 -x11113 -x11114 -x11115 -x11116 -x11117 -x11118 -x11119 -x11120 -x11121 -x11122 -x11124 -x11125 -x11126 -x11127 -x11128 -x11129 -x11130 -x11131 -x11132 -x11133 -x11139 -x11140 -x9236 -x9247 -x11141 -x11142 -x11143 -x11144 -x11145 -x11146 -x11147 -x11148 -x11150 -x11151 -x11152 -x11153 -x11154 -x11155 -x11156 x11157 -x11158 -x11159 -x11161 -x9258 -x9269 -x11162 -x11163 -x11164 -x11165 -x11166 -x11167 -x11168 -x11169 -x11170 -x11172 -x11173 -x11174 -x11175 -x11176 -x11177 -x11178 -x11179 -x11180 -x11181 -x11183 -x11184 -x11185 -x9280 -x9291 -x11186 -x11187 -x11188 -x11189 -x11190 -x11191 -x11192 -x11194 -x11195 -x11196 -x11197 -x11198 -x11199 x11200 -x11201 -x11202 -x11203 -x11205 -x11206 -x11207 -x9307 -x9318 -x11208 -x11209 -x11210 -x11211 -x11212 -x11213 -x11214 -x11216 -x9329 -x9340 -x11217 -x11218 -x11219 -x9351 -x9362 -x9373 -x9384 -x9395 -x9406 -x9422 -x9433 -x9444 -x11220 -x11221 -x11222 -x11223 -x9455 -x9466 -x9477 -x9488 -x9499 -x11224 -x11225 -x11227 -x11228 -x11229 -x11230 -x11231 -x11232 -x11233 -x11234 -x11235 -x11236 -x11238 -x11239 -x11240 -x11241 -x11242 -x11243 -x11244 -x11245 -x11246 -x11247 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x52 -x53 -x9510 -x9521 -x9537 -x9548 -x9559 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x9570 -x9581 -x9592 -x9603 -x9614 -x114 -x115 -x116 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x9625 -x9636 -x9652 -x9663 -x9674 -x173 -x174 -x175 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x199 -x200 -x9685 -x9696 -x9707 -x9718 -x9729 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x221 -x222 -x223 -x224 -x9740 -x9751 -x9767 -x9778 -x9789 -x225 -x226 -x227 -x228 -x229 -x230 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x247 -x248 -x249 -x250 -x9800 -x9811 -x9822 -x9833 -x9844 -x251 -x252 -x253 -x254 -x255 -x256 -x258 -x259 -x260 -x261 -x262 -x263 -x9855 -x9866 -x9882 -x9893 -x9904 -x264 -x9915 -x9926 -x9937 -x9948 -x9959 -x9970 -x9981 -x9997 -x10008 -x10019 -x265 -x862 -x868 -x871 -x874 -x880 -x883 -x886 -x892 -x895 -x10030 -x10041 -x10052 -x10063 -x10074 -x898 -x901 -x908 -x911 -x914 -x920 -x923 -x926 -x932 -x935 -x10085 -x10096 -x938 -x941 -x946 -x10112 -x10123 -x10134 -x10145 -x10156 -x10167 -x10178 -x10189 -x10200 -x10211 -x10226 -x10237 -x10248 -x10259 -x10270 -x10281 -x10292 -x10303 -x10314 -x10325 -x10340 -x10351 -x10362 -x10373 -x10384 -x10395 -x10406 -x10417 -x10428 -x10439 -x10454 -x10465 -x10476 -x10487 -x10498 -x10509 -x10520 -x10531 -x10542 -x10553 -x10568 -x10579 -x10590 -x10601 -x10612 -x10623 -x10634 -x10645 -x10656 -x10667 -x10682 -x10693 -x2314 -x2318 -x2319 -x2328 -x2329 -x2333 -x2334 -x2343 -x2344 -x2367 -x2380 -x10704 -x10715 -x1418 -x1419 -x1431 -x1432 -x1433 -x1446 -x1447 -x1448 -x1462 -x1463 -x1464 -x1470 -x10726 -x10737 -x1471 -x1479 -x1485 -x1486 -x1487 -x1499 -x1298 -x1302 -x1500 -x1501 -x1709 -x1303 -x1312 -x1520 -x1717 -x1719 -x1313 -x1317 -x1527 -x1528 -x1723 -x1318 -x1326 -x1731 -x1732 -x1734 -x2076 -x2080 -x1327 -x1340 -x1739 -x1744 -x1746 -x2081 -x2092 -x1345 -x1751 -x1752 -x1760 -x2093 -x2097 -x1583 -x1764 -x1766 -x2098 -x2109 -x10748 -x10759 -x1584 -x1591 -x1599 -x2110 -x2114 -x1600 -x1607 -x1615 -x2115 -x2127 -x1616 -x1621 -x1628 -x2128 -x2138 -x1629 -x1630 -x1638 -x2139 -x2143 -x1107 -x1639 -x1640 -x1649 -x2144 -x2147 -x1110 -x1650 -x1651 -x1660 -x2153 -x2157 -x1113 -x1661 -x1662 -x1668 x2158 -x2162 -x1115 -x1669 -x1674 -x1680 -x2169 -x2173 -x1681 -x1682 -x1811 -x2174 -x2178 -x1821 -x1822 -x2185 -x2188 -x10770 -x10781 -x2189 -x10796 -x10807 -x367 -x371 -x372 -x376 -x381 -x385 -x386 -x390 -x10818 -x10829 -x395 -x399 -x404 -x400 -x413 -x409 -x418 -x10840 -x10851 -x414 -x427 -x686 -x423 -x676 -x432 -x691 -x428 -x687 -x441 -x701 -x10862 -x10873 -x437 -x692 -x446 -x706 -x442 -x702 -x455 -x716 -x451 -x707 -x460 -x721 -x456 x717 -x10884 -x10895 -x10910 -x578 -x802 -x466 -x722 -x10932 -x582 -x806 -x10976 -x586 -x817 -x10921 -x10943 -x10998 -x11009 -x592 -x593 -x818 -x819 -x11024 -x11035 -x594 -x820 -x595 -x821 -x11046 -x11057 -x596 -x597 -x822 x823 -x10954 -x10965 -x11068 -x598 -x827 -x599 -x11090 -x601 -x607 -x829 -x11101 -x11112 -x608 -x609 -x830 -x831 -x10987 -x11123 -x610 -x832 -x11138 -x611 x833 -x11149 -x612 -x834 -x11171 -x614 -x836 -x11182 -x11193 -x615 -x616 -x840 -x841 -x11204 -x11215 -x621 -x622 -x842 x843 -x11226 -x623 -x844 -x7 -x625 -x846 -x18 -x29 -x626 -x627 -x847 -x848 -x40 -x51 -x628 -x629 -x849 x853 -x62 -x515 -x637 -x782 -x854 -x523 -x527 -x95 -x528 -x536 -x154 -x537 -x642 -x653 -x1106 -x1109 -x1112 -x1114 -x11079 -x1434 -x1449 -x1465 -x1562 -x1576 -x1592 -x1641 -x1652 -x1663 -x1480 -x1488 -x1502 -x1514 -x1529 -x1536 -x1549 -x1563 -x1577 -x1593 -x1608 -x1609 -x1675 -x1622 -x1623 -x1634 -x1635 -x1642 -x1643 -x1653 -x1654 -x2154 -x1664 -x1665 -x2159 -x1683 -x11160 -x1676 -x1677 -x2170 -x1853 -x1688 -x1897 -x2175 -x2186 -x1689 -x11237 -x73 -x84 -x106 -x121 -x132 -x143 -x165 -x176 -x187 -x198 -x209 -x220 -x235 -x246 -x257 -x280 -x350 -x358 -x359 -x1127 -x949 -x1128 -x950 -x951 -x953 -x1132 -x1134 -x1135 -x360 -x361 -x362 -x954 -x1137 -x368 -x369 -x370 -x959 -x1138 -x960 -x963 -x1140 -x1141 -x373 -x374 -x375 -x964 -x1146 -x965 -x971 -x974 -x1147 -x1150 -x1151 -x382 -x383 -x384 -x387 -x388 -x389 -x977 -x1152 -x396 -x397 -x398 -x980 -x1158 -x987 -x1161 -x990 -x1164 -x401 -x402 -x403 -x993 -x1261 -x1000 -x1003 -x1006 -x1013 -x1015 -x1018 -x1021 -x1027 -x1029 -x1217 -x1219 -x1224 -x1226 -x1228 -x410 -x411 -x412 -x1031 -x1033 -x1230 -x1232 -x1035 -x1237 -x1041 -x1239 -x415 -x416 -x417 -x1043 -x1241 -x1045 -x1243 -x1047 -x1245 -x424 -x425 -x426 -x1049 -x1252 -x1054 -x1254 -x429 -x430 -x431 -x1056 -x1256 -x1058 -x1258 -x438 -x439 -x440 -x1060 -x1260 -x443 -x444 -x445 -x1062 -x1267 -x1067 -x452 -x453 -x454 -x1069 -x1906 -x1917 -x457 -x458 -x459 -x1071 -x1073 -x467 -x468 -x1074 -x1166 -x1173 -x1176 -x1179 -x1185 -x1188 -x469 -x470 -x1191 -x1194 -x1199 -x1202 -x1203 -x1204 -x1206 -x1207 -x1211 -x1213 -x471 -x472 -x1214 -x1215 -x473 -x474 -x475 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x494 -x1329 -x1691 -x1693 -x1695 -x1697 -x1702 -x1704 -x1707 -x1711 -x1736 -x1748 -x1761 -x1705 -x1708 -x1331 -x1333 -x1335 -x1349 -x1357 -x1716 -x1721 -x1722 -x1725 -x1730 -x1737 -x1738 -x1910 -x1913 -x2192 -x1342 -x1361 -x1749 -x1750 -x1916 -x2194 -x495 -x1346 -x1762 -x1763 -x1961 -x2197 -x1354 -x1938 -x2199 -x1358 -x1369 -x1920 -x1942 -x1975 -x2201 -x2205 -x496 -x497 -x498 -x1362 -x1373 -x1923 -x1953 -x1989 -x2203 -x2210 -x1120 -x1370 -x1377 -x1926 -x1958 -x1995 -x2207 -x2214 -x499 -x500 -x1122 -x1374 -x1794 -x1972 -x2008 -x2021 -x2211 -x2219 -x1124 -x1382 -x1803 -x1986 -x2215 -x2222 -x501 -x502 -x1125 -x1795 -x1796 -x2220 -x1808 -x2225 -x503 -x508 -x509 -x1804 -x1805 -x1818 x2223 -x2228 -x1809 -x1810 -x1824 -x2226 -x2237 -x510 -x511 -x512 -x513 -x514 -x1819 -x1820 -x2235 -x2239 -x1825 -x1830 -x2238 -x516 -x517 -x522 -x524 -x525 -x526 -x529 -x530 -x531 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x579 -x580 -x581 -x583 -x584 -x585 -x587 -x600 -x613 -x624 -x630 -x638 -x639 -x640 -x641 -x643 -x644 -x645 -x646 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x669 -x670 -x2305 -x2313 -x2315 -x2317 -x2320 -x2327 -x2330 -x2332 -x2335 -x2342 -x2410 -x1414 -x1415 -x1417 -x1427 -x1428 -x1430 -x1435 -x1436 -x1445 -x1450 -x1451 -x1453 -x1466 -x1467 -x1469 -x1481 -x1482 -x1484 -x1290 -x1297 -x1495 -x1496 -x1498 -x1299 -x1301 -x1503 -x1504 -x1512 -x1304 -x1306 -x1515 -x1516 -x1519 -x1314 -x1316 -x1530 -x1531 -x1534 -x2073 -x2075 -x1319 -x1321 -x1543 -x1544 -x1547 -x2077 -x2079 -x1375 -x1550 -x1551 -x1560 -x2089 -x2091 -x1564 -x1565 -x1568 -x2094 -x2096 -x1578 -x1579 -x1582 -x2106 -x2108 -x1594 -x1595 -x1598 -x2111 -x2113 -x1610 -x1611 -x1614 -x2123 -x2126 -x1624 -x1627 -x2129 -x2132 -x2142 -x673 -x675 -x677 -x685 -x688 -x690 -x693 -x700 -x703 -x705 -x708 x715 -x718 -x720 -x860 -x724 -x730 -x731 -x732 x733 -x734 -x736 -x737 -x738 -x739 x745 -x746 -x748 -x749 -x750 -x751 x752 -x753 -x671 -x763 -x764 -x765 -x766 x767 -x768 -x769 -x771 -x772 -x780 -x781 -x672 -x674 -x678 -x689 -x694 -x704 -x709 -x719 -x723 -x735 -x747 -x754 -x770 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x797 -x798 -x799 -x800 x801 -x803 -x804 -x805 -x814 -x815 -x816 -x828 -x835 -x845 -x855 -x856 x857 -x858 -x2508 -x859 -x2520 -x861 -x866 -x867 -x869 -x870 -x872 -x873 -x875 -x879 -x881 -x882 -x884 -x885 -x887 -x888 -x893 -x894 -x896 -x897 -x899 -x900 -x906 -x907 -x909 -x910 -x912 -x913 -x915 -x919 -x921 -x922 -x924 -x925 -x927 -x928 -x933 -x934 -x936 -x937 -x939 -x940 -x945 -x947 -x948 -x952 -x958 -x961 -x962 -x966 -x967 -x972 -x973 -x975 -x976 -x978 -x979 -x985 -x986 -x988 -x989 -x991 -x992 -x994 -x999 -x1001 -x1002 -x1004 -x1005 -x1007 -x1008 -x1014 -x1016 -x1017 -x1019 -x1020 -x1022 -x1028 -x1030 -x1032 -x1034 -x1036 -x1042 -x1044 -x1046 -x1048 -x1050 -x1055 -x1057 -x1059 -x1061 -x1063 -x1068 -x1070 -x1072 -x1075 -x1076 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1093 -x1094 -x1095 -x1096 -x1097 -x2345 -x2347 -x2349 -x2351 -x2359 -x2361 -x2365 -x2363 -x2376 -x2374 -x2381 -x2389 -x2392 -x2395 -x1098 -x2378 -x2398 -x2408 -x2411 -x1099 -x1100 -x1101 -x1102 -x1108 -x1111 -x1119 -x1121 -x1123 -x1126 -x1133 -x1136 -x1139 -x1145 -x1148 -x1149 -x1153 -x1154 -x1832 -x1835 -x1836 -x1838 -x1839 -x1847 -x1848 -x1850 -x1851 -x1855 -x1866 -x1870 -x1852 -x1159 -x1160 -x1863 -x1864 -x1881 -x1867 -x1868 -x1871 -x1872 -x1885 -x2242 -x1882 -x1883 -x1889 -x2244 -x2253 -x1886 -x1887 -x1899 -x2251 -x2256 -x1895 -x1896 -x1927 -x2254 -x2267 -x1162 -x1163 -x1900 -x1901 -x1937 -x2257 -x1941 -x1954 -x1969 -x2280 -x1952 -x1959 -x1976 -x1957 -x1973 -x1990 -x1971 -x1987 -x2003 -x1165 -x1167 -x1978 -x1993 -x2009 -x1992 -x2006 -x2022 -x2005 -x2012 -x2026 -x2011 -x2024 -x2037 -x2028 -x2041 -x1172 -x1174 -x2039 -x2044 -x1175 -x1177 -x1178 -x1180 -x1181 -x1186 -x1187 -x1189 -x1190 -x1192 -x1193 -x1198 -x1200 -x1201 -x1205 -x1212 -x1216 -x1218 -x1220 -x1225 -x1227 -x1229 -x1231 -x1233 -x1238 -x1240 -x1242 -x1244 -x1246 -x1253 -x1255 -x2190 -x1257 -x2055 -x1259 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1282 -x2240 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1291 -x1300 -x1305 -x1315 -x1320 -x1328 -x1330 -x1332 -x1334 -x1341 -x1343 -x1344 -x1347 -x1348 -x1355 -x1356 -x1359 -x1360 -x1363 -x1368 -x1371 -x1372 -x1376 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1410 -x1411 -x1412 -x1413 -x1416 -x1429 -x1444 -x1452 -x1468 -x1483 -x1497 -x1511 -x1513 -x1517 -x1518 -x1532 -x1533 -x1535 -x1545 -x1546 -x1548 -x1552 -x1559 -x1561 -x1566 -x1567 -x1575 -x1580 -x1581 -x1596 -x1597 -x1612 -x1613 -x1625 -x1626 -x1636 -x1637 -x1647 -x1648 -x1655 -x1656 -x1666 -x1667 -x1678 -x1679 -x1690 -x1692 -x1694 -x1696 -x1703 -x1706 -x1710 -x1718 -x1720 -x1724 -x1733 -x1735 -x1745 -x1747 -x1753 -x1765 -x1767 -x1768 -x1769 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1797 -x1802 -x1806 -x1807 -x1816 -x1817 -x1823 -x1831 -x1833 -x1834 -x1837 -x1846 -x1849 -x1854 -x1865 -x1869 -x1880 -x1884 -x1888 -x1898 -x1902 -x1903 -x1904 -x1907 -x1908 -x1909 -x1911 -x1912 -x1914 -x1915 -x1918 -x1919 -x1921 -x1922 -x2312 -x2316 -x2321 -x2331 -x1924 -x1925 -x1935 -x1936 -x1939 -x1940 -x2074 -x2078 -x2090 -x2095 -x2107 -x2112 -x2125 -x2131 -x2141 -x2146 -x1943 -x1944 -x2156 -x2161 -x2054 -x2172 -x2177 -x1955 -x1956 -x1960 -x1970 -x1974 -x1977 -x1988 -x1991 -x1994 -x2004 -x2007 -x2010 -x2346 -x2358 -x2350 -x2362 -x2360 -x2366 -x2364 -x2377 -x2375 -x2382 -x2379 -x2390 -x2383 -x2393 -x2020 -x2023 -x2391 -x2396 -x2394 -x2406 -x2397 -x2409 -x2407 -x2412 -x2025 -x2027 -x2029 -x2038 -x2191 -x2193 -x2196 -x2198 -x2200 -x2202 -x2204 -x2209 -x2208 -x2213 -x2212 -x2216 -x2040 -x2042 -x2221 -x2224 -x2227 -x2236 -x2043 -x2045 -x2046 -x2241 -x2243 -x2250 -x2252 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2072 -x2259 -x2258 -x2266 -x2265 -x2269 -x2268 -x2271 -x2270 -x2273 -x2272 -x2281 -x2274 -x2283 -x2282 -x2285 -x2284 -x2287 -x2286 x2289 x2288 -x2297 -x2296 -x2299 -x2298 -x2301 -x2300 -x2303 -x2302 -x2304 -x2413 -x2415 -x2423 -x2425 -x2427 -x2429 -x2439 -x2124 -x2130 -x2140 -x2145 x2155 -x2160 -x2171 -x2176 -x2187 -x2348 -x2445 -x2414 -x2422 -x2424 -x2426 -x2428 -x2430 -x2255 -x2336 -x2431 

Verifier Data

OK	-5329

Watcher Data

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

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-3719971-1338506031/watcher-3719971-1338506031 -o /tmp/evaluation-result-3719971-1338506031/solver-3719971-1338506031 -C 1800 -W 1900 -M 15500 Pueblo HOME/instance-3719971-1338506031.opb 

running on 4 cores: 0,2,4,6

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 0.47 0.11 0.04 3/176 1933
/proc/meminfo: memFree=27534448/32873660 swapFree=7120/7120
[pid=1933] ppid=1931 vsize=3100 CPUtime=0 cores=0,2,4,6
/proc/1933/stat : 1933 (Pueblo) R 1931 1933 1765 0 -1 4202496 341 0 0 0 0 0 0 0 20 0 1 0 316728861 3174400 278 33554432000 134512640 134579096 4289037296 4288904720 134546737 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/1933/statm: 775 278 221 17 0 81 0

[startup+0.07132 s]
/proc/loadavg: 0.47 0.11 0.04 3/176 1933
/proc/meminfo: memFree=27534448/32873660 swapFree=7120/7120
[pid=1933] ppid=1931 vsize=4832 CPUtime=0.06 cores=0,2,4,6
/proc/1933/stat : 1933 (Pueblo) R 1931 1933 1765 0 -1 4202496 772 0 0 0 6 0 0 0 20 0 1 0 316728861 4947968 709 33554432000 134512640 134579096 4289037296 4288904756 134543098 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/1933/statm: 1208 709 221 17 0 514 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 4832

[startup+0.100213 s]
/proc/loadavg: 0.47 0.11 0.04 3/176 1933
/proc/meminfo: memFree=27534448/32873660 swapFree=7120/7120
[pid=1933] ppid=1931 vsize=5232 CPUtime=0.09 cores=0,2,4,6
/proc/1933/stat : 1933 (Pueblo) R 1931 1933 1765 0 -1 4202496 864 0 0 0 9 0 0 0 20 0 1 0 316728861 5357568 801 33554432000 134512640 134579096 4289037296 4288904768 134547460 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/1933/statm: 1308 801 221 17 0 614 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 5232

[startup+0.300124 s]
/proc/loadavg: 0.47 0.11 0.04 3/176 1933
/proc/meminfo: memFree=27534448/32873660 swapFree=7120/7120
[pid=1933] ppid=1931 vsize=9288 CPUtime=0.29 cores=0,2,4,6
/proc/1933/stat : 1933 (Pueblo) R 1931 1933 1765 0 -1 4202496 1786 0 0 0 29 0 0 0 20 0 1 0 316728861 9510912 1723 33554432000 134512640 134579096 4289037296 4289036272 134532045 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/1933/statm: 2322 1723 228 17 0 1628 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 9288

[startup+0.700209 s]
/proc/loadavg: 0.47 0.11 0.04 3/176 1933
/proc/meminfo: memFree=27534448/32873660 swapFree=7120/7120
[pid=1933] ppid=1931 vsize=15656 CPUtime=0.69 cores=0,2,4,6
/proc/1933/stat : 1933 (Pueblo) R 1931 1933 1765 0 -1 4202496 3392 0 0 0 69 0 0 0 20 0 1 0 316728861 16031744 3329 33554432000 134512640 134579096 4289037296 4289036144 134527765 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/1933/statm: 3914 3329 230 17 0 3220 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 15656

[startup+1.50011 s]
/proc/loadavg: 0.47 0.11 0.04 3/177 1934
/proc/meminfo: memFree=27522644/32873660 swapFree=7120/7120
[pid=1933] ppid=1931 vsize=15656 CPUtime=1.49 cores=0,2,4,6
/proc/1933/stat : 1933 (Pueblo) R 1931 1933 1765 0 -1 4202496 3392 0 0 0 149 0 0 0 20 0 1 0 316728861 16031744 3329 33554432000 134512640 134579096 4289037296 4289036144 134527981 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/1933/statm: 3914 3329 230 17 0 3220 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 15656

[startup+3.10017 s]
/proc/loadavg: 0.47 0.11 0.04 3/177 1934
/proc/meminfo: memFree=27522024/32873660 swapFree=7120/7120
[pid=1933] ppid=1931 vsize=15656 CPUtime=3.08 cores=0,2,4,6
/proc/1933/stat : 1933 (Pueblo) R 1931 1933 1765 0 -1 4202496 3392 0 0 0 308 0 0 0 20 0 1 0 316728861 16031744 3329 33554432000 134512640 134579096 4289037296 4289036144 134527973 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/1933/statm: 3914 3329 230 17 0 3220 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 15656

[startup+6.30017 s]
/proc/loadavg: 0.59 0.14 0.05 3/177 1934
/proc/meminfo: memFree=27521280/32873660 swapFree=7120/7120
[pid=1933] ppid=1931 vsize=16704 CPUtime=6.29 cores=0,2,4,6
/proc/1933/stat : 1933 (Pueblo) R 1931 1933 1765 0 -1 4202496 3642 0 0 0 628 1 0 0 20 0 1 0 316728861 17104896 3579 33554432000 134512640 134579096 4289037296 4289036144 134527729 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/1933/statm: 4176 3579 230 17 0 3482 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 16704

[startup+12.7002 s]
/proc/loadavg: 0.71 0.17 0.06 3/177 1934
/proc/meminfo: memFree=27517824/32873660 swapFree=7120/7120
[pid=1933] ppid=1931 vsize=19460 CPUtime=12.69 cores=0,2,4,6
/proc/1933/stat : 1933 (Pueblo) R 1931 1933 1765 0 -1 4202496 4329 0 0 0 1266 3 0 0 20 0 1 0 316728861 19927040 4266 33554432000 134512640 134579096 4289037296 4289036144 134527750 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/1933/statm: 4865 4266 230 17 0 4171 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 19460

[startup+25.5001 s]
/proc/loadavg: 0.99 0.26 0.09 3/177 1934
/proc/meminfo: memFree=27516392/32873660 swapFree=7120/7120
[pid=1933] ppid=1931 vsize=20376 CPUtime=25.48 cores=0,2,4,6
/proc/1933/stat : 1933 (Pueblo) R 1931 1933 1765 0 -1 4202496 4571 0 0 0 2543 5 0 0 20 0 1 0 316728861 20865024 4518 33554432000 134512640 134579096 4289037296 4289036144 134527836 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/1933/statm: 5094 4518 230 17 0 4400 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 20376

[startup+51.1001 s]
/proc/loadavg: 1.33 0.40 0.14 3/177 1934
/proc/meminfo: memFree=27516704/32873660 swapFree=7120/7120
[pid=1933] ppid=1931 vsize=20376 CPUtime=51.08 cores=0,2,4,6
/proc/1933/stat : 1933 (Pueblo) R 1931 1933 1765 0 -1 4202496 4575 0 0 0 5101 7 0 0 20 0 1 0 316728861 20865024 4522 33554432000 134512640 134579096 4289037296 4289036144 134527737 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/1933/statm: 5094 4522 230 17 0 4400 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 20376

[startup+102.306 s]
/proc/loadavg: 1.71 0.65 0.23 3/177 1934
/proc/meminfo: memFree=27512484/32873660 swapFree=7120/7120
[pid=1933] ppid=1931 vsize=23424 CPUtime=102.28 cores=0,2,4,6
/proc/1933/stat : 1933 (Pueblo) R 1931 1933 1765 0 -1 4202496 5276 0 0 0 10191 37 0 0 20 0 1 0 316728861 23986176 5249 33554432000 134512640 134579096 4289037296 4289036144 134527981 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/1933/statm: 5856 5249 230 17 0 5162 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 23424

[startup+162.3 s]
/proc/loadavg: 1.89 0.89 0.34 3/177 1935
/proc/meminfo: memFree=27504848/32873660 swapFree=7120/7120
[pid=1933] ppid=1931 vsize=30504 CPUtime=162.26 cores=0,2,4,6
/proc/1933/stat : 1933 (Pueblo) R 1931 1933 1765 0 -1 4202496 6994 0 0 0 16120 106 0 0 20 0 1 0 316728861 31236096 7031 33554432000 134512640 134579096 4289037296 4289036268 6685744 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/1933/statm: 7626 7031 230 17 0 6932 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 30504

[startup+222.3 s]
/proc/loadavg: 1.96 1.09 0.44 3/177 1935
/proc/meminfo: memFree=27501936/32873660 swapFree=7120/7120
[pid=1933] ppid=1931 vsize=33372 CPUtime=222.25 cores=0,2,4,6
/proc/1933/stat : 1933 (Pueblo) R 1931 1933 1765 0 -1 4202496 7629 0 0 0 22046 179 0 0 20 0 1 0 316728861 34172928 7699 33554432000 134512640 134579096 4289037296 4289036224 134559566 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/1933/statm: 8343 7699 230 17 0 7649 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 33372

[startup+282.3 s]
/proc/loadavg: 1.98 1.25 0.54 3/177 1935
/proc/meminfo: memFree=27497964/32873660 swapFree=7120/7120
[pid=1933] ppid=1931 vsize=36728 CPUtime=282.24 cores=0,2,4,6
/proc/1933/stat : 1933 (Pueblo) R 1931 1933 1765 0 -1 4202496 8487 0 0 0 27986 238 0 0 20 0 1 0 316728861 37609472 8592 33554432000 134512640 134579096 4289037296 4289036268 6685744 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/1933/statm: 9182 8592 230 17 0 8488 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 36728

[startup+342.3 s]
/proc/loadavg: 1.99 1.39 0.62 3/177 1935
/proc/meminfo: memFree=27497220/32873660 swapFree=7120/7120
[pid=1933] ppid=1931 vsize=37424 CPUtime=342.23 cores=0,2,4,6
/proc/1933/stat : 1933 (Pueblo) R 1931 1933 1765 0 -1 4202496 8640 0 0 0 33940 283 0 0 20 0 1 0 316728861 38322176 8745 33554432000 134512640 134579096 4289037296 4289036144 134527759 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/1933/statm: 9356 8745 230 17 0 8662 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 37424

[startup+402.3 s]
/proc/loadavg: 1.99 1.50 0.71 3/178 1938
/proc/meminfo: memFree=27496912/32873660 swapFree=7120/7120
[pid=1933] ppid=1931 vsize=37856 CPUtime=402.22 cores=0,2,4,6
/proc/1933/stat : 1933 (Pueblo) R 1931 1933 1765 0 -1 4202496 8737 0 0 0 39888 334 0 0 20 0 1 0 316728861 38764544 8841 33554432000 134512640 134579096 4289037296 4289035872 1580855 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/1933/statm: 9464 8841 230 17 0 8770 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 37856

[startup+462.3 s]
/proc/loadavg: 1.99 1.58 0.78 3/177 1987
/proc/meminfo: memFree=27491628/32873660 swapFree=7120/7120
[pid=1933] ppid=1931 vsize=42416 CPUtime=462.21 cores=0,2,4,6
/proc/1933/stat : 1933 (Pueblo) R 1931 1933 1765 0 -1 4202496 9868 0 0 0 45848 373 0 0 20 0 1 0 316728861 43433984 9983 33554432000 134512640 134579096 4289037296 4289036144 134528360 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/1933/statm: 10604 9983 230 17 0 9910 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 42416

[startup+522.3 s]
/proc/loadavg: 1.99 1.66 0.86 3/177 1987
/proc/meminfo: memFree=27489928/32873660 swapFree=7120/7120
[pid=1933] ppid=1931 vsize=42416 CPUtime=522.2 cores=0,2,4,6
/proc/1933/stat : 1933 (Pueblo) R 1931 1933 1765 0 -1 4202496 9868 0 0 0 51803 417 0 0 20 0 1 0 316728861 43433984 9983 33554432000 134512640 134579096 4289037296 4289036144 134527759 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/1933/statm: 10604 9983 230 17 0 9910 0
Current children cumulated CPU time (s) 522.2
Current children cumulated vsize (KiB) 42416

[startup+582.3 s]
/proc/loadavg: 1.99 1.72 0.93 3/177 1987
/proc/meminfo: memFree=27483368/32873660 swapFree=7120/7120
[pid=1933] ppid=1931 vsize=47308 CPUtime=582.19 cores=0,2,4,6
/proc/1933/stat : 1933 (Pueblo) R 1931 1933 1765 0 -1 4202496 11104 0 0 0 57760 459 0 0 20 0 1 0 316728861 48443392 11222 33554432000 134512640 134579096 4289037296 4289036268 6685744 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/1933/statm: 11827 11222 230 17 0 11133 0
Current children cumulated CPU time (s) 582.19
Current children cumulated vsize (KiB) 47308

[startup+642.3 s]

################
# More data... #
################

/proc/meminfo: memFree=27471628/32873660 swapFree=7120/7120
[pid=1933] ppid=1931 vsize=56180 CPUtime=882.14 cores=0,2,4,6
/proc/1933/stat : 1933 (Pueblo) R 1931 1933 1765 0 -1 4202496 13345 0 0 0 87559 655 0 0 20 0 1 0 316728861 57528320 13464 33554432000 134512640 134579096 4289037296 4289036144 134527724 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/1933/statm: 14045 13464 230 17 0 13351 0
Current children cumulated CPU time (s) 882.14
Current children cumulated vsize (KiB) 56180

[startup+942.3 s]
/proc/loadavg: 2.03 1.92 1.26 3/177 1990
/proc/meminfo: memFree=27471628/32873660 swapFree=7120/7120
[pid=1933] ppid=1931 vsize=56180 CPUtime=942.13 cores=0,2,4,6
/proc/1933/stat : 1933 (Pueblo) R 1931 1933 1765 0 -1 4202496 13346 0 0 0 93508 705 0 0 20 0 1 0 316728861 57528320 13465 33554432000 134512640 134579096 4289037296 4289036144 134528357 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/1933/statm: 14045 13465 230 17 0 13351 0
Current children cumulated CPU time (s) 942.13
Current children cumulated vsize (KiB) 56180

[startup+1002.3 s]
/proc/loadavg: 2.01 1.93 1.30 3/178 1993
/proc/meminfo: memFree=27471004/32873660 swapFree=7120/7120
[pid=1933] ppid=1931 vsize=56180 CPUtime=1002.13 cores=0,2,4,6
/proc/1933/stat : 1933 (Pueblo) R 1931 1933 1765 0 -1 4202496 13346 0 0 0 99471 742 0 0 20 0 1 0 316728861 57528320 13465 33554432000 134512640 134579096 4289037296 4289036224 134559396 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/1933/statm: 14045 13465 230 17 0 13351 0
Current children cumulated CPU time (s) 1002.13
Current children cumulated vsize (KiB) 56180

[startup+1062.3 s]
/proc/loadavg: 2.00 1.94 1.35 3/177 1994
/proc/meminfo: memFree=27469188/32873660 swapFree=7120/7120
[pid=1933] ppid=1931 vsize=58088 CPUtime=1062.11 cores=0,2,4,6
/proc/1933/stat : 1933 (Pueblo) R 1931 1933 1765 0 -1 4202496 13823 0 0 0 105432 779 0 0 20 0 1 0 316728861 59482112 13942 33554432000 134512640 134579096 4289037296 4289036268 6685744 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/1933/statm: 14522 13942 230 17 0 13828 0
Current children cumulated CPU time (s) 1062.11
Current children cumulated vsize (KiB) 58088

[startup+1122.3 s]
/proc/loadavg: 2.06 1.96 1.39 3/177 1994
/proc/meminfo: memFree=27467264/32873660 swapFree=7120/7120
[pid=1933] ppid=1931 vsize=59248 CPUtime=1122.11 cores=0,2,4,6
/proc/1933/stat : 1933 (Pueblo) R 1931 1933 1765 0 -1 4202496 14113 0 0 0 111400 811 0 0 20 0 1 0 316728861 60669952 14231 33554432000 134512640 134579096 4289037296 4289036268 6685744 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/1933/statm: 14812 14231 230 17 0 14118 0
Current children cumulated CPU time (s) 1122.11
Current children cumulated vsize (KiB) 59248

[startup+1182.3 s]
/proc/loadavg: 2.02 1.97 1.42 3/177 1994
/proc/meminfo: memFree=27465716/32873660 swapFree=7120/7120
[pid=1933] ppid=1931 vsize=60148 CPUtime=1182.1 cores=0,2,4,6
/proc/1933/stat : 1933 (Pueblo) R 1931 1933 1765 0 -1 4202496 14326 0 0 0 117370 840 0 0 20 0 1 0 316728861 61591552 14443 33554432000 134512640 134579096 4289037296 4289036160 134520057 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/1933/statm: 15037 14443 230 17 0 14343 0
Current children cumulated CPU time (s) 1182.1
Current children cumulated vsize (KiB) 60148

[startup+1242.3 s]
/proc/loadavg: 2.00 1.97 1.46 3/177 1994
/proc/meminfo: memFree=27458396/32873660 swapFree=7120/7120
[pid=1933] ppid=1931 vsize=67300 CPUtime=1242.09 cores=0,2,4,6
/proc/1933/stat : 1933 (Pueblo) R 1931 1933 1765 0 -1 4202496 16102 0 0 0 123339 870 0 0 20 0 1 0 316728861 68915200 16226 33554432000 134512640 134579096 4289037296 4289036160 134520048 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/1933/statm: 16825 16226 230 17 0 16131 0
Current children cumulated CPU time (s) 1242.09
Current children cumulated vsize (KiB) 67300

[startup+1302.3 s]
/proc/loadavg: 2.00 1.97 1.49 3/177 1994
/proc/meminfo: memFree=27458332/32873660 swapFree=7120/7120
[pid=1933] ppid=1931 vsize=67280 CPUtime=1302.09 cores=0,2,4,6
/proc/1933/stat : 1933 (Pueblo) R 1931 1933 1765 0 -1 4202496 16103 0 0 0 129305 904 0 0 20 0 1 0 316728861 68894720 16226 33554432000 134512640 134579096 4289037296 4289036268 6685744 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/1933/statm: 16820 16226 230 17 0 16126 0
Current children cumulated CPU time (s) 1302.09
Current children cumulated vsize (KiB) 67280

[startup+1362.3 s]
/proc/loadavg: 2.00 1.97 1.52 3/177 1995
/proc/meminfo: memFree=27458376/32873660 swapFree=7120/7120
[pid=1933] ppid=1931 vsize=66608 CPUtime=1362.07 cores=0,2,4,6
/proc/1933/stat : 1933 (Pueblo) R 1931 1933 1765 0 -1 4202496 16103 0 0 0 135270 937 0 0 20 0 1 0 316728861 68206592 16075 33554432000 134512640 134579096 4289037296 4289036144 134527975 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/1933/statm: 16652 16075 230 17 0 15958 0
Current children cumulated CPU time (s) 1362.07
Current children cumulated vsize (KiB) 66608

[startup+1422.31 s]
/proc/loadavg: 2.03 1.99 1.55 3/177 1995
/proc/meminfo: memFree=27458624/32873660 swapFree=7120/7120
[pid=1933] ppid=1931 vsize=66196 CPUtime=1422.07 cores=0,2,4,6
/proc/1933/stat : 1933 (Pueblo) R 1931 1933 1765 0 -1 4202496 16103 0 0 0 141219 988 0 0 20 0 1 0 316728861 67784704 15972 33554432000 134512640 134579096 4289037296 4289036268 6685744 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/1933/statm: 16549 15972 230 17 0 15855 0
Current children cumulated CPU time (s) 1422.07
Current children cumulated vsize (KiB) 66196

[startup+1482.3 s]
/proc/loadavg: 2.01 1.99 1.57 3/177 1995
/proc/meminfo: memFree=27458624/32873660 swapFree=7120/7120
[pid=1933] ppid=1931 vsize=66196 CPUtime=1482.05 cores=0,2,4,6
/proc/1933/stat : 1933 (Pueblo) R 1931 1933 1765 0 -1 4202496 16103 0 0 0 147167 1038 0 0 20 0 1 0 316728861 67784704 15972 33554432000 134512640 134579096 4289037296 4289036144 134527975 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/1933/statm: 16549 15972 230 17 0 15855 0
Current children cumulated CPU time (s) 1482.05
Current children cumulated vsize (KiB) 66196

[startup+1542.3 s]
/proc/loadavg: 2.00 1.99 1.60 3/177 1995
/proc/meminfo: memFree=27458376/32873660 swapFree=7120/7120
[pid=1933] ppid=1931 vsize=66196 CPUtime=1542.04 cores=0,2,4,6
/proc/1933/stat : 1933 (Pueblo) R 1931 1933 1765 0 -1 4202496 16103 0 0 0 153147 1057 0 0 20 0 1 0 316728861 67784704 15972 33554432000 134512640 134579096 4289037296 4289036144 134527818 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/1933/statm: 16549 15972 230 17 0 15855 0
Current children cumulated CPU time (s) 1542.04
Current children cumulated vsize (KiB) 66196

[startup+1602.3 s]
/proc/loadavg: 2.06 2.00 1.63 3/178 1998
/proc/meminfo: memFree=27458504/32873660 swapFree=7120/7120
[pid=1933] ppid=1931 vsize=66196 CPUtime=1602.03 cores=0,2,4,6
/proc/1933/stat : 1933 (Pueblo) R 1931 1933 1765 0 -1 4202496 16103 0 0 0 159085 1118 0 0 20 0 1 0 316728861 67784704 15972 33554432000 134512640 134579096 4289037296 4289036268 6685744 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/1933/statm: 16549 15972 230 17 0 15855 0
Current children cumulated CPU time (s) 1602.03
Current children cumulated vsize (KiB) 66196

[startup+1662.3 s]
/proc/loadavg: 2.02 2.00 1.65 3/177 1999
/proc/meminfo: memFree=27458512/32873660 swapFree=7120/7120
[pid=1933] ppid=1931 vsize=66196 CPUtime=1662.02 cores=0,2,4,6
/proc/1933/stat : 1933 (Pueblo) R 1931 1933 1765 0 -1 4202496 16103 0 0 0 165034 1168 0 0 20 0 1 0 316728861 67784704 15972 33554432000 134512640 134579096 4289037296 4289036144 134528052 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/1933/statm: 16549 15972 230 17 0 15855 0
Current children cumulated CPU time (s) 1662.02
Current children cumulated vsize (KiB) 66196

[startup+1722.3 s]
/proc/loadavg: 2.01 2.00 1.66 3/177 1999
/proc/meminfo: memFree=27457148/32873660 swapFree=7120/7120
[pid=1933] ppid=1931 vsize=66196 CPUtime=1722.01 cores=0,2,4,6
/proc/1933/stat : 1933 (Pueblo) R 1931 1933 1765 0 -1 4202496 16103 0 0 0 170985 1216 0 0 20 0 1 0 316728861 67784704 15972 33554432000 134512640 134579096 4289037296 4289036076 134532537 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/1933/statm: 16549 15972 230 17 0 15855 0
Current children cumulated CPU time (s) 1722.01
Current children cumulated vsize (KiB) 66196

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.68 3/177 1999
/proc/meminfo: memFree=27457024/32873660 swapFree=7120/7120
[pid=1933] ppid=1931 vsize=66196 CPUtime=1782.01 cores=0,2,4,6
/proc/1933/stat : 1933 (Pueblo) R 1931 1933 1765 0 -1 4202496 16103 0 0 0 176948 1253 0 0 20 0 1 0 316728861 67784704 15972 33554432000 134512640 134579096 4289037296 4289036268 6685744 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/1933/statm: 16549 15972 230 17 0 15855 0
Current children cumulated CPU time (s) 1782.01
Current children cumulated vsize (KiB) 66196

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

[startup+1782.7 s]
/proc/loadavg: 2.00 2.00 1.68 3/177 1999
/proc/meminfo: memFree=27457024/32873660 swapFree=7120/7120
[pid=1933] ppid=1931 vsize=66196 CPUtime=1782.41 cores=0,2,4,6
/proc/1933/stat : 1933 (Pueblo) R 1931 1933 1765 0 -1 4202496 16103 0 0 0 176988 1253 0 0 20 0 1 0 316728861 67784704 15972 33554432000 134512640 134579096 4289037296 4289036096 134558890 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/1933/statm: 16549 15972 230 17 0 15855 0
Current children cumulated CPU time (s) 1782.41
Current children cumulated vsize (KiB) 66196

[startup+1783.11 s]
/proc/loadavg: 2.00 2.00 1.68 3/177 1999
/proc/meminfo: memFree=27457024/32873660 swapFree=7120/7120
[pid=1933] ppid=1931 vsize=66196 CPUtime=1782.81 cores=0,2,4,6
/proc/1933/stat : 1933 (Pueblo) R 1931 1933 1765 0 -1 4202496 16103 0 0 0 177028 1253 0 0 20 0 1 0 316728861 67784704 15972 33554432000 134512640 134579096 4289037296 4289036268 6685744 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/1933/statm: 16549 15972 230 17 0 15855 0
Current children cumulated CPU time (s) 1782.81
Current children cumulated vsize (KiB) 66196

[startup+1783.2 s]
/proc/loadavg: 2.00 2.00 1.68 3/177 1999
/proc/meminfo: memFree=27457024/32873660 swapFree=7120/7120
[pid=1933] ppid=1931 vsize=66196 CPUtime=1782.91 cores=0,2,4,6
/proc/1933/stat : 1933 (Pueblo) R 1931 1933 1765 0 -1 4202496 16103 0 0 0 177038 1253 0 0 20 0 1 0 316728861 67784704 15972 33554432000 134512640 134579096 4289037296 4289036144 134527989 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/1933/statm: 16549 15972 230 17 0 15855 0
Current children cumulated CPU time (s) 1782.91
Current children cumulated vsize (KiB) 66196

Child status: 10
Real time (s): 1783.29
CPU time (s): 1783.01
CPU user time (s): 1770.47
CPU system time (s): 12.5351
CPU usage (%): 99.9842
Max. virtual memory (cumulated for all children) (KiB): 67300

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1770.47
system time used= 12.5351
maximum resident set size= 64904
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 16108
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= 30
involuntary context switches= 2010

runsolver used 4.53431 second user time and 10.9553 second system time

The end

Launcher Data

Begin job on node117 at 2012-06-01 01:13:51
IDJOB=3719971
IDBENCH=1875
IDSOLVER=2305
FILE ID=node117/3719971-1338506031
RUNJOBID= node117-1338506007-1784
PBS_JOBID= 14635774
Free space on /tmp= 69132 MiB

SOLVER NAME= Pueblo 1.4
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-mzzv11.opb
COMMAND LINE= Pueblo BENCHNAME
CONVERSION SCRIPT= PBconversionToLinear BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3719971-1338506031/watcher-3719971-1338506031 -o /tmp/evaluation-result-3719971-1338506031/solver-3719971-1338506031 -C 1800 -W 1900 -M 15500  Pueblo HOME/instance-3719971-1338506031.opb

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

MD5SUM BENCH= a74bcf40291587dc368e3a23fd278be9
RANDOM SEED=1470345565

node117.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.148
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5334.29
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.148
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.148
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.148
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.95
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.148
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.148
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.148
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.148
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873660 kB
MemFree:        27534456 kB
Buffers:          554108 kB
Cached:          3857500 kB
SwapCached:          708 kB
Active:          2180884 kB
Inactive:        2251712 kB
Active(anon):       6864 kB
Inactive(anon):     9916 kB
Active(file):    2174020 kB
Inactive(file):  2241796 kB
Unevictable:        7120 kB
Mlocked:            7120 kB
SwapTotal:      67108856 kB
SwapFree:       67107004 kB
Dirty:              5844 kB
Writeback:             4 kB
AnonPages:         18208 kB
Mapped:            13096 kB
Shmem:                80 kB
Slab:             770688 kB
SReclaimable:     214784 kB
SUnreclaim:       555904 kB
KernelStack:        1448 kB
PageTables:         4084 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545684 kB
Committed_AS:     129472 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7680 kB
DirectMap2M:    33538048 kB

CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-3719971-1338506031.opb

Free space on /tmp at the end= 69128 MiB
End job on node117 at 2012-06-01 01:43:34